SHA512 (netbsd-INSTALL) = 26509087512249746ae62f83dfbf868386f28a7cd1656a2c2541925b2a5910de53b3d2c43333876ccc6cbbea4961697e77cfc9cb871ddf74b763d9b9882fa4ff
SHA512 (netbsd-INSTALL_C700) = a0d3ca90c0d7ce0ec2bc47b10bcf3b65bb4b050e1cd9814fe854ad62494dadf9be9bd01b49f96dbba86188d5a8dee2297b04a90301f22ae7e480482a3c53d28b