SHA512 (netbsd-INSTALL) = ae220e5be505b353455a663a2c7e2ad2ed89b763621467c8b5534141fd3ecd92f1f18c2d393cd358c2443bddf752b9831277923fe97b850dc11760ea0e0e4e76
SHA512 (netbsd-INSTALL_C700) = 8e134c27261d1ff4ca344d894c76095f6d3bd16d3ce35f9ebf87ccd4848874ff5f7e721f16675e1a0e132adc39326e4ae3dee9a8cf0d0da7e359d93dec5ba6db