SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info bbQ 44 m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.649cpu=22.344gc=0.760factor=1.647zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"@6eB|ׯOhUP tAT"&[a?|[B hMZBFzԯ\ݒd\Ȧ]7[³]BVO%Sn2H/OW^<"Biζpl)PGd),j#eLnhE{ f6 ӧGGSG&  Q7>)[ K&Nxڛ+^K ,Ud=Uzlk'Uň7_ WI?gYZ7zXZִF! HR]ŗXi% ^8PУ-\HJCtfx4,:uUaXu;|giv|߄aEˍ,ƧUcD)q{`WՋ+*){ <9>a8Z)1Ǥ2|6 B}F\ `k sNJUտ\,S*ZJV-GԄ.:>S-w&Z Jm!Ҋ&$ OF9AR*|tb1j+Aj1Nt08LKgB5fqQy}8g5)_^jh'ƊYy?hb.UF%F[*ieI޼;@]ŝ<GK(9l1|;!CXy)a|Nf[RbpA&tZ(x P?ȦnmS-K-i΢`;5nБ<n\rdl[J#r8shFFZCMǪnQwt &({ؚ+w#JjNcSZ7#gEQҙR^*vǧt.pX!?ed3!o3 91Ǯ:( llCdK|]fp#B7 hLa8+k=X 9gΫS0 {Ο ɽvh+uooz v|TmTEJz4,a#J=ĞXP7yͿg߳72Bc4eCݚ ۯv.%os")b`aҨq[5U` :z[ _8 MRܖh(;`m3E^ءI]^4LC5 $vot[D=9anY/[)4*TYQ⢩v` 3aߌ SgYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa %Q CryptoBasedCompositionalProperties