SHA512 (netbsd-INSTALL) = 760058395e7bd3f6b1d564aa0a1e2a0a411724bbfb1de0ad4b68911277911ae68f619da5db94e28d08fedd858cda4baed7cbe60f797e4ae715f0e1c53f9083eb
SHA512 (netbsd-INSTALL_C700) = 90f788badf3116f2d72dbb11f86566aed5784cd46b4e289fbc95f4f39a69fff5cf2b926547201179831c585efe77f7a2d220e8e62aab44dae6b572c770a4148e