SHA512 (netbsd-INSTALL) = 7814d41f8f797a10dead8cc68b5452743fd4ac1175345363fd036fd14c984656e776bc93d13aaea26ba97c17b4092c4d2426b4aa475bc396fe4d4e9dd1336d2e
SHA512 (netbsd-INSTALL_C700) = b2d928f213393e2ce0e8988f24d0999e7dd02161c694602bda1ec58ecb9aa94de5d3102442f00b88b93ae26c14bf25df80956d59076d68327188556cc1efc000