SHA512 (netbsd-INSTALL) = b29f786e4d2ded007676555aceb8c7c936d934d25e0cc56f39d92e9cc64d9c157b52534855e2a31172e20b135d902b35f8eec11a16d67eb3922bc6ab3da5fc38
SHA512 (netbsd-INSTALL_C700) = 252fd309e95db1e8e3037157332c83e856b38f340d0cd975e16610d52fef732acef1815e6e651837315dd55bd7fc6915370c693707f102b500c401ea82ea10cc