SHA512 (netbsd-INSTALL) = d20bcd23990fb75278e2d8f89a22be255d2d489c23373ed8e10473ae5dc83dd3c5319cc41e1327b465844d3702899744fc91eabbf4ae44c3679fbaa56b4b2156
SHA512 (netbsd-INSTALL_C700) = 16e95f6f6b035b752f2fe59f4b0e8bfeb39e30a5df11d900e5ff82118d1b6ddbb0bdd721b9096e60f4c3c4d75c0ce7f01bb8346322d7e067a21718d74ab65a05