SHA512 (netbsd-INSTALL) = 8823f74e5fd3722b3b9de1711868aadee46c0d2d4fcf983cdc1569109755d930533bccf3a8f7e88af97f7e20f946ed20bedf01d5b0adba2ab62f9fc9329e8f78
SHA512 (netbsd-INSTALL_C700) = 35a42372fcd74075e436e356b6e77e89eba864c415b21a2b3a2c0ceabd8700a90666a4cd2683112ca5fd22eafcf59072c07a4bf49c141f840a5d7f6da591c0ef