SHA512 (netbsd-INSTALL) = d281215a080c1664da8eeb739498c12eb4b4b09c136e8044c5e73d0e69d78cd11e02a0f714756755a2fcb40f46ab6d72c75104ca42b50c48b473b61882d43123
SHA512 (netbsd-INSTALL_C700) = 8d4c864418d2fd3ac9e24d8e768d3c5612c4b2092362661b7c0c936b4b67e8a4d14872fc49bf7ea7259b4b61f8b34ff2eb7d89baf45f0abab00b00bc18ef5c2c