SHA512 (netbsd-INSTALL) = 8f41aa2b912ff25b157a5d462d11d93bb57eefafb9a6a74466e542c8b9c2c4aec58672799ba507670f21f934a414b4a1d463a09c2b4b210b4f3f2e9bdf2ae4c1
SHA512 (netbsd-INSTALL_C700) = b2ac6093132619f614525055dda48888e931e517bb57e116f4d1aadea66893b68acbb399c76f4893557e8996df0d71ef0d46c02a59139a8e4739abfa7f153fba