SHA512 (netbsd-INSTALL) = f71b6f89129b26f7164e0515e52eb1a0c48c477064c507b3d4c3ff7c6e195df2ffc2350f359d18d37bb48c8ac680db97dc54533b78c687f711020d0c3ab4de56
SHA512 (netbsd-INSTALL_C700) = b9683d911f1a2495e089c336ec3804710d9e4e1f1e5a3eb7c6c02a6eb1ba988341449fe92616ebaeeaa1c81077b4c0a7ed197f758e8b00bd989b41c4c555bbe1