SHA512 (netbsd-INSTALL) = 53d2a1bd6d2d0b6746bb48ec3153e06e002089e5eb8838c5587b3e662bd46e17d73d874c84bd0a50d63a61089972a826fcd3ccac8aaff0e315828667316224b0
SHA512 (netbsd-INSTALL_C700) = 07075d8071689cacf86e8674d9d91f4cfc718ae2975a40d75504e3d53e88de5ee922cb8992fc649081721bdd6a98f426cf1fc0e80461056c19c76fdd61f0e7a7