SHA512 (netbsd-INSTALL) = 53ecdb3126ba8774efeffa08320fc62ed0cedb98cf2c22df76de0b8fe777ee7d7d4ae239280e9fa56feb537839b456586e23fa1fffcff947b2e8abd873791025
SHA512 (netbsd-INSTALL_C700) = e72c71a317788e09527b3d6e16e52fc9eca06191fee30d34c23cdad82c4f8fb557822a89c6aa455f9d3e7ae744d87d2d5e9b5fddb28dbe811dbfba8d65b33fee