SHA512 (netbsd-INSTALL) = 84971d7f801ce0378a668aa931de6e38cb081fde915be74c0a3bfe2c8afc6e15bb0d2fff16338621169fcfede251b59411ca4356c1168ae2f4289a3de29f9377
SHA512 (netbsd-INSTALL_C700) = 6fec50d4b3990e1869c110fce59568e5a6e4533f0163bee5c97442279a826341a71d15f4d53d7743e1410218e560d73b686ed25d1658eb90f8bd7bfea2b7a795