SHA512 (netbsd-INSTALL) = 8729012cfc8bbee2ff6b8eab1c08d5aa27475a11c896a00f9b1de8113ed8009b373999a9fd3d3beec7c2a547308633c58708ede2beedf7881f74edbb5c83657b
SHA512 (netbsd-INSTALL_C700) = ca15185d14d4a05b26f374514712cf150967363c541fbc0ffa7f53181cf58d573903a9c0950327c38e58329bf8550e7fd20e6c6fa56ad7281e2102fb49e02fc8