SHA512 (netbsd-INSTALL) = 492f9b3fc08aab66bee639682fe4513513bdf9e29dc98690859b881ba207cf220d1f7601902a52c8de477fbd2361f5c80dec2144a6b8831bf3121f03a6fd4740
SHA512 (netbsd-INSTALL_C700) = ed623ccce010353a5401c82216a121cf73b584aad935af0b8c467a2fbf6e06242ed56076fd9d2d4b3f81f850c73b260eeb88e13c51ce013dd01d9400eea1caf6