SHA512 (netbsd-INSTALL) = 6114694b53081dafa1357a061c5ac5985850bf34c7a68eb712ec8a0fcbc23acc9640ca8d9252dcb617afc6583417b006ae828d0ce8017c095500c9612a13a039
SHA512 (netbsd-INSTALL_C700) = ce594a1d6d1a122dd740a3f84c59abe5c9c72274403512515cfd2ae6604738d77071c8f66ac0c9026b97a3129d08b19ba65c3cdd388ec38bd0111b588c854a3f