SHA512 (netbsd-INSTALL) = bfed6ba9a0c000242c54fc3847dd671d1b04878d8ed8d5687fe3b7a413243672664905e92e98b9de49ac0527f2139483c0f05c30b61d3a9b613e95cb39a21444
SHA512 (netbsd-INSTALL_C700) = a466ccaf53a7912f7347f6188d387efd52703fb6494d3d56d72fd20ba30dc4c432558806791fc589efef4b88d235cd26a07d82f64d501bbf2b37601c80f47ab8