SHA512 (netbsd-INSTALL) = e6830bcecba2f2b57b84fb59580302b4f6cfb35e69eeace901962c4b2afbde0f44ad1cced350815fdf811f9b96881ab6d349b1405bc26f72a845ec1944b7e167
SHA512 (netbsd-INSTALL_C700) = b7f0ebca7a8a0a0f0c7182b4013ec1b99b1a7e5ff3070e72873d3d1cdfbae3b60c367cac4a98dfd101cb80a557559d412c97dcfe50a31880714f5e7502aec4a4