SHA512 (netbsd-INSTALL) = 2467367fe2a9850e3f195a326232c35f37e5497fbb2f12eb0510206dc11a5977b17dca5f7845ad6f3403c34e87c733c2c47b242b250a2acc3ce7d6122d48b879
SHA512 (netbsd-INSTALL_C700) = da07d313384ea33ebd7eeec0c6c4261d91c9f584bbc26ce01e222dffef2bbad94fd4db4c588a214c525a4bedd98f86779db88cc6f2f39512802abd6b48485eb4