SHA512 (netbsd-INSTALL) = 0141813f80c22b799ad739c9999972653603c7f1dff3e750f0c35fa9b8ac28d10087c116ca8082a853bdf7df16679fefdf3cf3dcc1f336f4528da616afb2d3d7
SHA512 (netbsd-INSTALL_C700) = 001fda3ab7c8140e97a1703a0c477645fad0908335a853e39e1fff2b548184507d0cf385a709e45bb73cfa326752a6476c1ca0a7f77592a4ada1e06cb72747c6