SHA512 (netbsd-INSTALL) = cc1626642afbd4e11280fb235e83768e53c3c48bc785f0275f794733128a86d860c39ab54c7c5baa220a624a8c3abcd71f01944060bd7839c4ab82bf4564a4d0
SHA512 (netbsd-INSTALL_C700) = 23b03f8ddea9194ff8a3ebc1c0245538b10e7b1f4126259162dc652382f7b6a98ca4603847ca5d906b149d2f51a81c2cba2cc6335aae8a479f0824d28e5de1a1