SHA512 (netbsd-INSTALL) = 94eb3f810c5e41511d480d0c7162984edcff8e3e2774486951458974c95d0569d181c8da7a1e15c09c382f3f47ef86f3eb972b49b131534e5204cf2ac9cdfd68
SHA512 (netbsd-INSTALL_C700) = 44a1d7cdc00de8f35610db00ab2e7abb4238e3aa20de1bec8130bde23c902fb0b328fa8dfd549cf91c27e87f2873dc054604c0df24c919ce9d0af17b2b3e146b