SHA512 (netbsd-INSTALL) = 463ac8259dbfa71301f618f7625bca1f44bda127eda8386b05eda807b301b261b97bc6f3a1a81129cbbe22acd916df1a5bf47c056c5d39a34f39a11e09c047cb
SHA512 (netbsd-INSTALL_C700) = 02204b548d7be190e389592436fd79a53fa997cd348cd011ff2b8d636ae947068ed495e3c33d36693c5e69b913336bc26d1c1274d6904d04e6878f67759565be