SHA512 (netbsd-INSTALL) = 4f173adf4f706ef7efd56db3ae32e026db02eb21b1f6fe7d1419290a248e3ff0f6326902e03e66f9bea57469e39864f360b30314bb9cdf56654cc3aa1505ffed
SHA512 (netbsd-INSTALL_C700) = 1ae487af6184920b03a49f05a4179ff95224d48787597ca21e7e69db121062ce86da1c1be4991c29c4f0c1e114e6c39c85552f04d8ef07e93edce0366d6cd42a