SHA512 (netbsd-INSTALL) = 82ddf618a660f3475a6e13f056b2022dde11fb250a44de060879a237a46a7a74f0a2c1d4f644a9ff4545e65c4d637b412593a8d52be5169a7db607a3d9fd53b4
SHA512 (netbsd-INSTALL_C700) = 557709593f14f6652e87dc41491b4d598ce6b243d73b958e65a1d6901dc662c6997c94dec7253248f7b95a2b2613ebc2ba69f3f7d934ed4b8b1b761cec69ee61