SHA512 (netbsd-INSTALL) = be1aa99d0b9556f08baa23953d4cae78765afd2300f9824f6a28f796f0b99184adc32d73a2019146eef8c0ded8e28589ee8570d96a3870a7daddfb5b7f06fd53
SHA512 (netbsd-INSTALL_C700) = e859f8044619074748c33af4957b53ff7c6636e8908df71705bc01ee38cb53974eb532e4b580d7a5ab64c05a37b5cd3dcd38c966af70d5f9e93dc83e8f08cf62