SHA512 (netbsd-INSTALL) = af16d62ed3aa4dd74b8c71165f582ef058f9e1a963a0f1f11866ea564fe273ab290b8ccffb6373767c7298cca83db3950426496e9a1409654dfe20f6bb3e4fde
SHA512 (netbsd-INSTALL_C700) = bca0fda15c9f3632ea3bd0ab7a2c03b1ad1651d57333625d8b0cf6fa3ae731c34f9259e76e574ea149816728940275d91e44dee2c6e9e007f3f0a70d0837333b