SHA512 (netbsd-INSTALL) = 52847071439386bdf3337b299270b86c2d0caf8c8b2ad403307621275d320b7b9eb52b0a721d1b6da9210d0e98e2c22a80e05ae586e0263699450e98687f52b5
SHA512 (netbsd-INSTALL_C700) = b39abc53ca416dfc2f2af5f2f1e33d22a89188363acbb2941423c2e02828207dc8f9f48bc4fa07b68039271a50df1401b052e404132d1d72cdec4a9ca8f31564