SHA512 (netbsd-INSTALL) = d894d73da9fad00ad4b8075fae1791a75d8012804093dc8cd018f8136e28b1f11e9b0a19753309f5470ea5fde90d49bab0fbad56c7fedb142886bc546e2ddc81
SHA512 (netbsd-INSTALL_C700) = 44c58d8f8773310f4c46030452bd7b29c8d4b72220a689a4a57bfae81bd1c9cd26b8e8fe8fd0c2f2dcf3bbd453b546bfcf6c060982ec2602163f6167e032f09f