SHA512 (netbsd-INSTALL) = dc3f6bbc6f7ef80634a10f911e7c26ac2cd6c86f7965154ce2f7b0a7f4851413f1753e1faf508e07c5f6eb7a1814884734da52993d1650256d5baf656760647f
SHA512 (netbsd-INSTALL_C700) = 260e0a6525c89df7df4df679997f844549af966c9d3448004c0263c33bca913ef61e53e45e17e682f6fe12cc5b5bf7990f14ede8dbfbd90520af7640ee1888fb