SHA512 (netbsd-INSTALL) = 13315dc2b8dcadcd10429c0e9bfe51dabeae39e21f7be3e03f78feca92973aa75c60236d01a51795df8463d17babdaae1b3c9e68ba6f8d1f7de25650ae0766a3
SHA512 (netbsd-INSTALL_C700) = cabad45a6b39fb1bf1ca6f05fa37e8cc5fd7d7eb19a8a8773b3df1af68bb9ec28de25641c28ecb5731acafbd243a564ecd98e77550a823310e8a5febbf4922f0