SHA512 (netbsd-INSTALL) = d137e530717027b7686adef3c99079774b9cc8a17ef555f9ef2a32582895549e9bf4d433695e87999ee75bfed03e6ddb09cccc3de59680e074a4d2a780ff0474
SHA512 (netbsd-INSTALL_C700) = 440e03c9315371f18468047b63e68048aa458cabf1facb9bc251c7994e550ac1d0229c07df7f9e333e1ab4288f80df51b4093834fbcf06bbf9d40e0bd473198e