SHA512 (netbsd-INSTALL) = 3610f066cd8ea841c7d9c28a24e83d4d2bffe9dc3b1f9123849e8c785f28ff875d33fc048544de635d5482e709409f186f2792c442b840910128cf9f34a41916
SHA512 (netbsd-INSTALL_C700) = 5dac69ff618b3cd87f4bd5e62cfde0043fc9208e0c1c919c6985aef1272ca4faf99fef2c2fb81735ecf70872bd8e9b421a6fc78a599d18a9c13cbd5fe0c129c7