SHA512 (netbsd-INSTALL) = 23ccf8e8ce40b2a36a3f5ee884dfd9c1dabefff1ff8024237025d5934250aba5ac68681c91bd8186a7445fe0270e7d6ee7e54435b12579ca1e52f4ff4b28f125
SHA512 (netbsd-INSTALL_C700) = 9d17f2977555fc81677cfae5a95392dd6aec32eff846cf1ace7b9809d0c95a395a4e003cb06dbaed72569c1b5aa494b817298afa0f1e000532a444a1446f6d20