SHA512 (netbsd-INSTALL) = 88941fe8011b35729fd30025cc1a86ee571b48de9dd46e5f0d3547b99f8f51b08c45619208c463a6d49dde7a22bc7bcff8c8dcb8f987847814784b52dbdf1152
SHA512 (netbsd-INSTALL_C700) = 233ee9553ea6a690bfe1aee2cbbb63d75572379330ae468b1965d75d5cf6a2bc5d390f6dbafc6fdd2be02f993f3da67f928255db90974f38717a4efa26337ec3