SHA512 (netbsd-INSTALL) = 36c2d2c8081599ced0aef9744c04b279bd4e840f4dc4666078cea7a99d0246f0f4e31dd568f684849ad905cd03aef63dfe28c7cc9a054722cd83962acd80554d
SHA512 (netbsd-INSTALL_C700) = 72ccbdfc4d08aa92844d3c55d6fcb262584228fad8ea84935e05116f2f272ccb6488d39c9c6225a81c83ecfadc614defc0281512c81b1801126faf4071517c57