SHA512 (netbsd-INSTALL) = 76f536ad567359bee45172da6ddf039f2fa43ae15d93b7533c6c87e88dc00e142595d929c4304eafbe01a2b8828403d96b641462f9003cf2e74cb719e999ed69
SHA512 (netbsd-INSTALL_C700) = 73a6b291e02622b577e37354e77b302a0349de97376e178388c171c0a3e7257771eff0930e335bd550432ae311c8030e42e4138db2db2818d5f10075f6b11d4a