SHA512 (netbsd-INSTALL) = afab734fd335421011e88c58b167e4a073f5405bea0e880805eed6de3196d90b79ac5d9133387b41b38e22f024228142d3682fffa2b5a7b4640ea4f573828943
SHA512 (netbsd-INSTALL_C700) = 9d5b7185daf03488037db3a5fab0e0a9275280c62e07af1700d3ea560adcca06a9956734b10b3cd920577782af0da0aac425ec5623efa39bca89ad66c646f940