SHA512 (netbsd-INSTALL) = 6f4293e55a411fe663915c70d0d06620b1e98ea0846816e12d4f9b88fb01195f677c8de5190f4fcfddff6a8038459a7bb959b6587a650ace43c35c6be916de48
SHA512 (netbsd-INSTALL_C700) = 77a0a58b65dff1d767a78e70d14dedf34a6ec3b3f1e6b5e80559d91dfb770fbd31a87e07de23f7c018a47a2bb90985af7f2211b31fd120a08804baccda933232