SHA512 (netbsd-INSTALL) = 7a95bc87d1336621f88778aeceb909d84740bcbee490cef9ceb4f5fa84c81b088fb750f2080b2d828b5520d7aefc7543587edc8efa220c695e68404a13a9b649
SHA512 (netbsd-INSTALL_C700) = 941f19da12a38e1e7d3221dd687b201d639a3275ab32581b3e0de604adf7a56aa003b7873a9f5ccaee7be3cf817ff14be6e6b14cb3c1ff9378dc7fe1bde6018b