SHA512 (netbsd-INSTALL) = acc75826797708a2e74bb08ae7d6a4ac25fa0b1d0464c275e585137891f057150ac7aeca6189f8ef16442ee6f993a18d3e9d3b7832c7d710f501f7e7e5f23189
SHA512 (netbsd-INSTALL_C700) = 06d69bd67fbc3abf98a9f7ad8b60bdce97522ad56b2e5edb36d8d2b7557a2820b9c65db12bc6259ddcb560a88dffec5a75e0edec4b839932de96b67926cad3fa