SHA512 (netbsd-INSTALL) = a2bb80e6a17f574bea0bfffd144c611985cea220327f18eed431941bf5cc50b27ef0d6f25127feaf2cc9c7ba1a799cad4008e4ef387693bec02b3ff49c0e2535
SHA512 (netbsd-INSTALL_C700) = 1d108d3de0460a571003a2bdf1fac0271926b378e10be2bc7f959a21c1a9eb9884f2ed3e69773d46aba8af2add51f84664195755e1067cd6d3d461c923c58fda