SHA512 (netbsd-INSTALL) = 3d564aa4913aea2c132e4910332d2af48fc45d8a731707516cdda77d5a4a3bc8c54dc10502801390755e75c4f637d8f163b6d7013e522500157179df821e91e8
SHA512 (netbsd-INSTALL_C700) = bb68fb7030bc1481493043ae52c38ac0871eada5957ef9c83c4daa20dfd7d9ad2423f54412a0f2784111e34ca1ea73b19b0576ddfef045402e979c3a6a8b03a6