SHA512 (netbsd-INSTALL) = dabaefea080637d2238b468985c9f02e88cda9cddf13518bb3c3d9ffd433035fb6cdb1fe53fc116ec6372c05999beec86c9476d516be9562f745ef9bac8e56a0
SHA512 (netbsd-INSTALL_C700) = 1019c276102ac7f802d23e475c51cb4f518b0ca923c7e1bb73aa76b54418747250902f3b6f8f161700d0a99d5da84d9d6144798d28bee7a540a5ff61bc342791