SHA512 (netbsd-INSTALL) = b7b2b9c1f796dd54f8cb5fcf9804847365e71ce20965abd274d3f71c7c777bdcd6a6305aaf06110c812fd55233305d7f1221e7601bfe02fa8241394adf4c7747
SHA512 (netbsd-INSTALL_C700) = 4f22f33f4d56c518eb7f4922599277e3930a8cc23effcf17c0a2312664029258fa673cd2577032de5141d4ad56422ca3c21d2c6bc458abdfcd8567e7f12b745a