SHA512 (netbsd-INSTALL) = 9927b86bb1ea18827a740fd220e486d0a02eb8aa13c32c7d3422f2ec55f3ccf341faa32efa8b51f56052542b596d67d7e7a36380a81ae6e1a81f3bf7c66f2d34
SHA512 (netbsd-INSTALL_C700) = fed52dffceb10880a075585b2dc05831f1b2cd5233c6697cd60fa97d2cde8b340d99d3c7a6a342e13a4c8d9cc7cc0d8e6fd5ab976fb0d83f82dd6b8704946118