SHA512 (netbsd-INSTALL) = a7883f8bc42ef47d86f6c647060a8ac548cf5c8553b84a30c4ec059ddea67834eef81433381bd0827788d7a3c74872c12d6323c39befc340e5f7257645c32aba
SHA512 (netbsd-INSTALL_C700) = 08b98b7a03ce72db4676b3daaa559aa460f48013264b05d65843d9720dd6e76830dbd6f33cc26ed0c5fe595d9dc75a3616aa4f57838a37dc3336a4fa17a1d2a1