SHA512 (netbsd-INSTALL) = bb8bd29e102e0c8d37d12479ee841cde412100baa67725963fc2aff0e82fc7299ca0db576ed909055d09cd70c4db306d74fcfa4e1231ae6d7beaa2bfc4565e55
SHA512 (netbsd-INSTALL_C700) = 946343e034aa44995c3b769ecd6536a217b0af209f494f251d2aa17089efa7f0212cff3cd304bf5a93b8b9e4660ada4ead182616a664e505ce0caf111bb34f11