SHA512 (netbsd-INSTALL) = 73e2240668c6de35a0a713531839c3e9369627ac068da8dd588d06dd0c6844580317512dd2176856137567cc65444315b2a2949643f807dc162132d05cd61ade
SHA512 (netbsd-INSTALL_C700) = 3c6e51184956d690549b79a3eea52fbe20e2a6fb449467dfdd23a1436ba9c02955a7806bdea91650ff12009fde8bd172494b01cb39c3daed22b0ab4d0179bdc1