SHA512 (netbsd-INSTALL) = 6aff0e74c53478ac75f79df1c8434c59addc8d45db3dd6569a9191b02432bddd9ec864b72a5ea9165416014742eaa987b996b038ba667a852c19ebe7ca4b8ddd
SHA512 (netbsd-INSTALL_C700) = 82f8d261b1303ed74f9291b88e7e7d48560bf3462f44a0e2abae9fe3365d62727b2d0490792ae61d002871420c1737bff12afdec1c8e3137ef814369c8219871