SHA512 (netbsd-INSTALL) = 3c40a8154302ab83594a57144e22d526c6672cf7d59543c8ce6d8df4dade7bf1bb56ad1109a6ed028fd569c0531275c5fc50571f42138ba6041bc7f2ede49658
SHA512 (netbsd-INSTALL_C700) = 91d017cc4f7193f722b0c0ab7efe68621e008a3e3d87064c7f68f1c59c6a0e1911b3f9858ac14ea8670c3690baa6cd9f1697aa842f1fa8067a20aeb19f6a16bc