SHA512 (netbsd-INSTALL) = 20578980d06143f31656468f7df7500db4bdae0a431bc8d103a5a200bbc43f645dc499f5538a80a8a1cf9ff698dd36a215cd099dd774c81eb1881e9898f49dec
SHA512 (netbsd-INSTALL_C700) = 99626755259b61a643b7449f8975e7a3043cd2ad8d5d43de9a34e6bb83e9227c2f08464041f76925f73c1dc446958f97c2b8c9c0cafebf06c379b85eccf977ae