SHA512 (netbsd-INSTALL) = 7764629504d359ea395ccfa0fb39a3821512d29358b5ffd71aadcf22d87364fea02047bca3ba4cb702516ebdafe8af6d9f735716c4c28708b0b2e7e12bc2cb9d
SHA512 (netbsd-INSTALL_C700) = 518c25bbf522d2d1a505c9245cd16e52365348be4fb5f35c4bbea290d7ec3051d52103620eb4a63f0e20f81b3839553155273ac8c01ce8d80958427df2dc1a08