SHA512 (netbsd-INSTALL) = c83867b78f55e328e405d8fe1460734551ffa85dc72cbb187e44eff783d491ac13e80e3aa11403f2f81ea8c0a8804ea9953f1022fb1d4d2286ac3b590ba01668
SHA512 (netbsd-INSTALL_C700) = 781712b820757dc1c330e6ef453746d4d6ff73a1398b08b227304d548573ba13ba1bfffaa384e5727c2b5891b93d29f638037872579e94325dc6d7c503e4efad