SHA512 (netbsd-INSTALL) = 1b8702e6a46a99cfeaa682a0c739c1153a84f4fed3474ea11e55d5c142e2c78a6ccb03ccd64d6928148cdceabf5e236e7a1fd42b6c796c4798b5294400e5111a
SHA512 (netbsd-INSTALL_C700) = c1d3e24fc174811717678e9f9f0128a8f48d2e0398ae89e0373809cb3f77908f5e34677c296edc683bc87b7cf684d825b9d4d9cd4ddd97c53055fd1d263f69ea