SHA512 (netbsd-INSTALL) = 7540f4de2a6b1f352615e26b4c1d992726c4c7f27286ab0fbbdac38e345e416352b796004936b180b9dce3c37172c3fbfcdd69e4b8fc1fac44bfbcae60196e92
SHA512 (netbsd-INSTALL_C700) = 9f458112ad889329f115be815b64889df58f9cffa5451a77b95fb2ed3ffa0a5c686c8540564ad33b31f7763cfcae95c43df4bfbc726ae564994021a383ec8d87