SHA512 (netbsd-INSTALL) = aa3dd47cb4ab766819d36760b1831a9088354bcb181d6d447b5d6148de07766793d190ee3aa2fbc4cfd793c5f17dd7fab267f32c9dd6047a507d1833e7590e02
SHA512 (netbsd-INSTALL_C700) = bbfcef628b541a553bd5acb52df6f105602aacb5b8af97cb4b973e3b593b642879cb67f5061f8b1ad04495e22ac8ca5711626c8e96afe9ecaf8828f5e633b7e1