SHA512 (netbsd-INSTALL) = 9386fcf2fddaba59d5b4f71878dd3c4675838070f5bdea0e829de0a63ec0d10676e04835877ebb5a4dc93d51106d65122eaad63f4376189fe4364f549d848758
SHA512 (netbsd-INSTALL_C700) = ad79898b05e88a1563595a7caa9d754b14d1928efdd915357983b391d075661cc72dc8f72a061f0ed58646b062686dc3accfd9669cb6763edf87b1eecb315e9a