SHA512 (netbsd-INSTALL) = 870d2fbf35e5965d3b86b1acfe3cbb398e39220deca33dca521d994c4428b7d72009b670ef677b33688c845ae35bc7c131e86b6305fc7656ef94cbbd40a9a260
SHA512 (netbsd-INSTALL_C700) = f796359a4579c7b86c4539bff01f1c7386f8b08f4d7d93a49fd52e98a9d49db525eb879e97420eaa462c22ef06a87d0d1756b6bf63428aa979d11bfb3cf3d24f