SHA512 (netbsd-INSTALL) = 16268bb877f4b57c0589d387f8d8d7fa788052f3679907fb9a01e0e7e5f5f9ec25bad9d94a9f57df44dc26034de0c640f03a5b0d1ee3b24ac14d086e44a80cee
SHA512 (netbsd-INSTALL_C700) = 1d66e47f5eccf587fc2b3bb26b9870b23dea543fcddc3b5295536e866276c6db1e260c5630ca1175d95dd7ba0558a712eebb3c35b02cebdd3402bb66149cef84