SHA512 (netbsd-INSTALL) = 673087556b5e0823ae89e65c7e994083d6f9dba94624f462c992c6e360eb964275a9357225e2933c8d777fbd75d3fa36bab3535f4c6a93e055eca1d343aa04cc
SHA512 (netbsd-INSTALL_C700) = dc00cf5e0fe28a8aeeb7fac29fc32b7c0ce50d77cadacb0ec54552a105a5aaf4469638dcd9c85496d993cdaecb5ac80ae3877ccd26e97d523937cf3f1153fb49