SHA512 (netbsd-INSTALL) = 19136585ac7da18d32816c36e3c29040ae3590c1ed959a0ac3cce72cee08c601e0a004b4b3ff5a9180154a272a3011ce2fd66fad5ba19e0d5b28d816497003e4
SHA512 (netbsd-INSTALL_C700) = 0ac3348d896356218fc5aeac2f5dbceca730349b243e237a0829d6a87ba2e29171c67877bfae369877caeb11804391cb06febdda83c19b42669077ff0d85be73