SHA512 (netbsd-INSTALL) = f95efe68e9f85276860aa8130a0fec89cf74cc90b986a338666c8d56ac4f4b5c4ce4a0008687c2908f03dceaa0c18360a699bafe7e516c3fac4647c3bd530455
SHA512 (netbsd-INSTALL_C700) = 4db47c4ecff12d21b2d17ffa34a0383b4ee035370e17c239cde676cb2307a9ca30026f4833058790ae217fddbec829d09acc4f47f7be11992a6ee18c67fa1e51