SHA512 (netbsd-INSTALL) = 58cc6e8143ada337e15a618125eac319471bc190e9076e806a7e1545028cd09352b4c6027a1b51a91bfeb0224eb913ad2ae769e1423e22df80335c882664135c
SHA512 (netbsd-INSTALL_C700) = d6b0cf772e52570d820dbae9fba2e2f3f183894c00a8c96798763cec7db5b8473b18dbc19c773a5e54673eebbc57a9e60216aab54859048e557bdba1197a3f73