SHA512 (netbsd-INSTALL) = 94dc1289dedcf73cdd961c831f9d0a27a0146fc93ff51e30fb7ffb651bf3ba3c3407d9793bd697098910f31349114da675bb1f6a2edac45e16e0cdb4f5b2e326
SHA512 (netbsd-INSTALL_C700) = 679238c6d92b337794dee39df8fc188da54f9d446a99c65a34e440fd47c928c9e89cadc374de20803659b51949193e42b5464b5c5d11288263dfc34d3403dc28