SHA512 (netbsd-INSTALL) = e1ef94e8fa5e50351bffeeca04a2781720633c4e0501b24ebe60fbc5129ff85717fef91fbbd24cf39c6cd73b9a778a675a78104e719b5c87b42d780ae7322d05
SHA512 (netbsd-INSTALL_C700) = 097eea5a1817d93f94ed9ac8eff45d721f8220ba04247c44978217883c2e6517a6a02e155ad13cbb248323a7cefe8aefc1195708f9a1c386b7fcaa9303c78fb0