SHA512 (netbsd-INSTALL) = 914411bc6fa251b7cde05b5a697dbe604a77d1924468b191521e6d2eb2786c8502d61455e953c8a1554bdc00bcb12e4081aeb939dff0cddd25728e5de595bbbe
SHA512 (netbsd-INSTALL_C700) = 82be6d7e2496defb06dcf0e6e4ccc1ef74184dadc43ba4db34c5514e2fcc6371e80bc9013345d82af18bd3bfb60b24c01b6de9e86161560da9260927a6571f73