SHA512 (netbsd-INSTALL) = d223b1a5f948b8fdc49c0127f13bbcfeba0e75706d8611374fd2f18f96361c3c3260a9bb9aa9070436f834a6372e2aa5425e5fab4f07efd15319213a93218840
SHA512 (netbsd-INSTALL_C700) = 0ea8823f6eafd43283aec953c9d1e8a0035843eb9716ea092f910c50b45e4a1e4ebc2109b0239422ee901aed305e18103b1f4896c759929f49d3477132066dcc