SHA512 (netbsd-INSTALL) = 830710285b62b5d4f1c77b72d92e68eb233fc8a2870c8f252196365357886347762a4fbe0e2e80f70b6c4a91b5302d496e8e2a6b4f1350527b5065051cc8bda7
SHA512 (netbsd-INSTALL_C700) = 7fb826c0e6b9f42421442fc570fa8310b7614b5cb70b4f1554a9e2a3ec8e852010e39a8e9b62d6609154692bd224e13d1f47e7279510446d21a53d65348ca483