SHA512 (netbsd-INSTALL) = 358674cc76490ed58a488ac60f37aa81571a4368e07ef0b6074f0ea59eadbc4171783efc9989e3b63766bc979359ddf2b22ecd800193bc0c782d1bd2864784b3
SHA512 (netbsd-INSTALL_C700) = c82dd7a8f81fc40a9276bcf711038a14d335f9413f41fc541c3b29fa5feb50b0de20fd58805a0712a101c6d72b829b4c79e5eaab90cc1b693f3a526a9d35a23a