SHA512 (netbsd-INSTALL) = de58b762c8198d8706a9e78c54aa5160d6500214bb3b30fd0e1b72627fd963d7bf6937874c10172fa6916ab096dc8cf4f0aab1fa232635fc949a47900ee45e11
SHA512 (netbsd-INSTALL_C700) = a3f7d0cb0597e43b1a1c5b036bd6169e665bf70ada6c36707736e34a0536e9696585f8a0030143c9ee2e7db333efcf2cf5def73324e2b317bda7326914f378b0