SHA512 (netbsd-INSTALL) = 35da9754a63df6c220a981e7f2dd723e9e981f0b6e5c85d45dbe64f88b23f3e4d45546f669927283cb1fc2489e1ff4f4f356d18ba394f59cd87c01a339d248c2
SHA512 (netbsd-INSTALL_C700) = a9184385e2bf4011a41976fbcaa79a6a3b30da489bd103c7ba0e035346a3a6445f853e7548dc375374be12f5190cafe7828c618e6afc7870718bbcaaba1bf5e3