SHA512 (netbsd-INSTALL) = 88802160ad49940dc896e8bf2c312520aeedf15c24a9a0b8f2e0e8753a3af232bedefcd8466c737f8ce3d8781c9203c9106efdbc474b12ffefd34e99b65b9e20
SHA512 (netbsd-INSTALL_C700) = 3bac11807d5cfdff9551c7feba59e9ee7267d719de8d0a7110ca2bead475a2272c44adadfe402b9dc36423411914e0e80eb0da5d2804110255aa4a94cbcd7cd0