SHA512 (netbsd-INSTALL) = 8dee01454931f7237e8a813402d9b16a66d5bc24dbe1c5f11d959cf8d6cf075e94098ae6ad53e9fd6fceda4f25457caa447932d2189d81a8b3396bb968755035
SHA512 (netbsd-INSTALL_C700) = c4bb9e1c0372062f458500dbe2778b7ffd0e7f1b78c676d3b7c4ec53879720a07aecf979d19fc4ecf522d805174ab389a9d305f096b453e8abb82d84226311e3