SHA512 (netbsd-INSTALL) = 3992d832a9c11053eaa64d283bb1537c439e983bf4645758c26fca823ea3c4620f0270e53b5e9c5a0a832309986d3d680da967a23fc6aaea816498259ff97b5e
SHA512 (netbsd-INSTALL_C700) = 85dbf2a5c74a29e8564f3a4385edb0fd884d8a83233b07256460ec2485d2762828f92eee16d2152c5607d7fbababa2d2643c42ef4d4d5c721f3d14e16d79f7ea