SHA512 (netbsd-INSTALL) = 099df8699fffd3f4703f72e8debe87dfea18282c6a20f492a9c20730d53b0313720863776e5849ca8713f4d5fc9d3ebbf0d542dcfade627f666aa490f5069ef8
SHA512 (netbsd-INSTALL_C700) = 693e7677940148ab3fd79096af147991fdbd52b7e91977c3ddc828cd719b5282f19247895855c32d5d789ffc8dc529cb70f2c28e2d4d681a14e23f3b436f5f4f