SHA512 (netbsd-INSTALL) = 7bed33248d83cd8e61861e9eb38e2c8c58cff388cb60e735850c100dda7dffaefe7f2e3662aa0c9e147e4cdb13b9de0239c85274519869016ba0fa5ad3c24f9d
SHA512 (netbsd-INSTALL_C700) = 7190b29d9f7d9471b2332f807e1e303d7987af39efebdfdaa8e5df3205ff4ba24a0213f3e15ae649fa58a52a2403a4937fca6fae2771959830b0960cc20b10a6