SHA512 (netbsd-INSTALL) = 27fcc8e10da3f54553a8552884523b13cc72b26fae4fcbf438ee787280baa8f256bbd62c516559fa5704ddd90611f82f7d9d06adf1c686c905b93619fa2a1bb8
SHA512 (netbsd-INSTALL_C700) = 15fc2b8ec1f825c5ee8de36b3e5407df14d60f22ec13bb254c445ef5134518ad8cf0f3695683e4b2aec72cc976adeb216a3140e1c96c00ef983f2aef1d63ba36