SHA512 (netbsd-INSTALL) = a3c243ee451cdaf83a1f58ee5f91ee09e1d1385d84176064c8343b083f59a41a4b93384d64d7480abce80179368cf8ed7496a6b40e359d9a1966349b3c0e0c52
SHA512 (netbsd-INSTALL_C700) = 7bb9bf986cfa3ce7b5a24d8d97c16d2db33050b8b12f0b028a8ab35ff2b1c28469e52d0d674c20a2ff211d1d5b5d7beb39269ec72a57acb6dd67c8dd8c7002d6