SHA512 (netbsd-INSTALL) = 737e09a95fcfb564ec733252f05a226fdbf7d1c5cf6e52619483bd21aa99f286b007072ec0f7996be33ece68f242618dc9f936a1ebdb9a4ae3150c5be3a32285
SHA512 (netbsd-INSTALL_C700) = 8035d87da1e65f02e07b55f52bdf6be7ff10e0954eda4f040daea0132fbb68d0b10ccb88d3e938a7cac774cdc87a9bea9d761fc0d19ae9ea0699d53acf46e495