SHA512 (netbsd-INSTALL) = 5098077fda23a6c6c81caf2e2a1eb4962d45a2be2daed7b88db455dccc403481676f844af7640ca59c315c69c3100e013915b51f19d64d26f3d3aae971c0663b
SHA512 (netbsd-INSTALL_C700) = d8c0831a711913cfb29f8d9e00bb15c3b9c8124a36a8b69e052c2a174d905c6455c68c262557614fbb1d843f4db6eb986b5e6603e4c3275277960d8045563154