SHA512 (netbsd-INSTALL) = a48b588ea896b9ce577966e6597251866f17ba3d1c2b62fc080a35f2d2dc6945ad6276deee4eb9bfd0fa09ef2c3834ea39c867860427821292e3d855b2b2f224
SHA512 (netbsd-INSTALL_C700) = 0dac368ee32c9bcf8e8de45f29e3d10655cbc4a70d1757200cf289dcebd6d32ffb7211204581ffb0cb291329109e9951f5371fea1ce8183c2ad300b3e72ca785