SHA512 (netbsd-INSTALL) = 78dfd1841976f605a2b8a3347bc5916a1c8fbc6c9e046e36b34824d87d5e2f00a1595d94f57de6b6d170073363b82bed46fea3bd466556451f12ee1ef195ec49
SHA512 (netbsd-INSTALL_C700) = 34467c0061361772b7c827bf31a042032b63ee91db44f8014574165acf8b002e7a55128426ba2634761bcf21e3f69fcc2e29f977214baedfb5b9662031fa7e00