SHA512 (netbsd-INSTALL) = a70204152ffcdb7e723689ac2e4618d85046f7d777f8e815e8d7e1abd5a226b000806fb64b80ad3eec3bad6dfdae8ab72c85ac4f8bf0d62d458373568c9bf122
SHA512 (netbsd-INSTALL_C700) = a1ca9dc42d000a05165939ee95a40aa2c95eef90460b171cc81f1c06054dd3ff117427174cb265fae1f1e324ac3dd923ef5bc0ba5fcf8eb6b5c0b45fee643d5f