SHA512 (netbsd-INSTALL) = 4b1880f85257e34d0a194a5799421c49a972b28f8d2b8d5528e0967396164466e75d8fe7a9f1b944d0fc96407c01c263d0e002aee5499163da5ead85a53ff19b
SHA512 (netbsd-INSTALL_C700) = 66538e600adaca759ad7d49a1a88272bce772bb294a9327c5d827436372aa12e1d87b99ae3e25cb42805f217bc9f77b8a2585f57d9f5e08c61f170bf8f4e1d7b