SHA512 (netbsd-INSTALL) = f294be7cfe7a9ff26fd6cb03e1f183e28f416e92ca64f0edee09ff428078afa09306b380802760e562d5ff06c5715eb95b61fa4f5e09d915f80a380933b17479
SHA512 (netbsd-INSTALL_C700) = 3d9fad887247de14bf673c011e54eb62f48d6fd58a4406634c575150b6cb110911b1581f30ce7f972f8520b4232ae730d81781a36c594a3ceddd38cd4c956642