SHA512 (netbsd-INSTALL) = 119b4a42c0ae2dc46468a3e225afe69719ee0765d6717dd2a9422f193f0372ecbbf4d9a1a3f49a8c9d9134ab3795f311c95b8836bf2e1e238274b6d53ce5e162
SHA512 (netbsd-INSTALL_C700) = 410fd2727bfc46a5d2decdc6fd16311edd805d030073ccc318133efb4dfbbda5712d28115c78aa63e222e8e77230cbe58afc03dcbdf6e1d87c8038753116ddb5