SHA512 (netbsd-INSTALL) = b500193186cd581fecfc3bee2bc4e659da855bbde9553f697b3317c4f1fee1170b720a47927a5c2ae52871d1b625d729376fe117a9f3a126aa2cdf25c4af5609
SHA512 (netbsd-INSTALL_C700) = fcf90fa2a81d0d4d9226e29c7c55553624c697d59a8a901f285c784504dbd39514ca246e39b48561e79ff591358ba20517642963ef8f452290035f03f542f24c