SHA512 (netbsd-INSTALL) = 7a0b724df2524866780b5ca81e4cfda523dd8e07e0d03ac18eaaead3c844f23e24ad6f67d7e4489555394afe5c988cfacf92ed9f1797c050e65df181735727a2
SHA512 (netbsd-INSTALL_C700) = 078569164a0c2b6f775fa8fb6aaeae866082631429904b7e2f3add750a92ab5f777530a616b7c5916d07e8c5e0e6a4c7532059b673f2a9a65fc898d055644476