SHA512 (netbsd-INSTALL) = 9b2c747083dfb821a63ced8782b705e67f301668c11160f2b95cc36f1903ae10fd37daec378baa73e245014aafc8660ef450dc78ef57e531dc0d85fb40be13e4
SHA512 (netbsd-INSTALL_C700) = fe72a14ea9362088ae707da6f95b08954744f27d7e0ffe908b66133894fe85ac93de7450ea698e99567cade53c245e827856bdd1310f595aff3102e6e1f73707