SHA512 (netbsd-INSTALL) = 7cb4f0413057de8ddfa1e8f765c753e0de380f30339e9f6dec3845b6b0215b338d0821f0d8d61cce113966a8f324d24f7caa942aabbda1b68df0955c6adfefac
SHA512 (netbsd-INSTALL_C700) = 52057ce0fc8f3e067861cdcefd1ccc1b0fab253c9cd86efeb5bd898cf4295989ac8a550d2410f7e79cde082e9a7e7dde5f4ae8c8e5af30180f24d3e9995e395c