SHA512 (netbsd-INSTALL) = 85614c711deb8afdf048dc51c84540828a2f196c577c4e85f1b958878e58320ec7a0bdec6bfa36ca66e63179eb1a09f9ff99ead4918cbb32fe239b97c9af0987
SHA512 (netbsd-INSTALL_C700) = 508e30262a3263bed1f869b1f072424fcb6815adb0aa6754db8468e2dd55161a61647e74c5c4fb15f8ac25cd150512074ebfa92101f3adf76b3af78f48b8a340