SHA512 (netbsd-INSTALL) = 05f93b8016454290727917c2a5d8d2ffc487415fb0713f49be2db800296a6e5f4948e53ae0916dee0b62f337ae9fa5986f03836b894d056d8c4e68a552990bb1
SHA512 (netbsd-INSTALL_C700) = e0608ec6983287c918a4a654e2e78f384611193f775e948bdf8818b0540b3b0f7f5a2e26ac93eeac8a2d9a77bb9d1c6a56c0628f23435d35035c09ad4b360a84