SHA512 (netbsd-INSTALL) = a88ee8d22a3cb357e9b65690a7a639e447bf7764a216e812f794f4e5764e1c17989a464116ab8229ba73985cf1214d9050b1a9cbf9b9a133c64d4943c32f3793
SHA512 (netbsd-INSTALL_C700) = 4c3403635467a179a112014d550c5eff28d78931c4dc86691f0d5363cb12223983e0fca685bc4fa8cd8a940dfa7312a525819711e430d30f9f27168389b9436f