SHA512 (netbsd-INSTALL) = b3e60ca5b2b3bf6540a99cdb4fb0d01671370766080680e5d5aa3205af9dfb65425d7ad4032b96f55873bd378ee77c992ccb750efbd1560bba0dd77607896dc3
SHA512 (netbsd-INSTALL_C700) = 57ab8d948a7ce24d7075ec4ce3347d7e30024040e2f4cd89d62f7330767bbaf259dbecf57ae8ce021c29335d783b948a1c8c3afd0f685104574026aa11bd03a6