SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  (-
45caVX2(!wgXZUx,S?kw6^@$5Rg=b׷SJ ( 3zd/[g*p Kr\3kG=Gr/&*:g0 & t"K̉eɏS8,9FwEV,"1TݮQ2>Qno/jK 2z48cN}מ$л!ΛVs  AX6{LP=,fWDY#8uHt[11>fēY_0\xaUE`S_S8 +Ġ9{=v',I ~5dFsppCE9Miޯ̮f's~8&0Ne%m ւ]Z&Õ%#Y3OB (pLT7ZslPjK͏R0Xd~VZu4Gˠn<~ f1 - Tarskis_Geometry  {y~L̦ܴ\). H C.wx/xHbvXIϑ6kqT0* n+xL"!G:u3h>|4R9ӽ=y3q!Zm8ppAwxmqJ7:fAO$"y0u fW MW>oV5IQKt3:NJp{`]"g{U;cLJY#>=0GF L(8uU}iB͓@{ dXgYZ7zXZִF! Lk]ŗXiɟMr^&%HiI6$ wĄ`m/َݡ2 ς_ȥTIy)8ip е>cXl``*Ü'/o^uݺҀhĘGh01.kbA:jv=2y5lkNcyX%mcbS ZË#w<"ml@|6/TX}qy A}blf |QAU(pNM֚^N 2~FJhNE;I|7}g:y0dCFŘ|U00;<ٞQ#e`4AzpwY V8p7Qtt gYZ7zXZִF! ]ŗXi%B4b G+o _56Lg5^+''ӝ!H>Pp!$꧸}6rRN-e5Kt*;!\[} q b8YI`*w+_k]prsM>@_3 g(E2 ޶7gBM3X GB.vuC ǏYyz`\)@g'&snLW^R 05L ++uS[!@L<,@82T:x*qDQPp2Ʈ%ɏ1^rqxJ!Yc{fuZX]XC ly%޲)D05r 9gϧpY(cӡvŴ؏UX<:c#6g$%rٯܙGe|_+c>/TLjэ^Y I#g#єyC֠-a^Bw`pUѱQ/"b Ey?c)[kFR{RHpϞ+_Qx.Ysv*($~ߨ/mëTfp [ׇyW pr #p T. jM[:st8vO=VհICJg5iqD^PU\":NX6,>g #/Q87g6aTp{0?_= ۳M2H8jn F#.JMQZf9n-b1^ "+z{,Cy R|$3@PZA]}Cdo|ns;Oe;eX-1.l$X6Ba BJ <,BKCwEd(n,[s8}Hg6m3+vW dƁ4Z9?D8򲪠{.ߒUk]E6.sK~Z휛u n<[ ⤐vE>&>UIzٜ3|t. Ϡ^Wl{8KBh23KKu6N.1?;s[A4W+E\ xw5q| SuCY?K :nSM(*a{T8YG ,@ed2a@.g|#շG.`>(Sܸ/ziFORx]w^8@/,ߜ? ; i4u͆5zkLlL(z70W]j0oLCvvrOIsdЕ(QzZO˧P ((!-X 0 Jj+<`N/]X0I~kq$ $րɞ ?nHVqL`QE<Ղgswf`G7=^xX#W ؔ(\ў1C2Ma.j,0P^{Ompҫ@7y@l=3MLi1vFBɗP D඗׉h.3Mip2c5J$o`e%pڲaHY4G7F~yml>>”UO;TN=q3|]de͐gV*@^!N&bV|QoWXԴLr#poٹk( *OeG=w7 JLBcplF+' .{I$O*J[:+[eh1 `[@iG:RBkuMf k|QK0 +@zԡ#;0rt|o;EmvP #?;a˖樁"gkѰ*MN~ >kgGqI(@5i7n0J!w$9#:n'FgC5A/X\P14ʾEfY|THk ̘ q3agWFϖ?٪e@ L^%G 1%ׂYB;{wY=3cg,o MozZۄ&sQp3/;a.1KhVy^ ~_7:.ԹXd*ZѰUǶ`82lKΊɷ|)@Q]+n-VIeh˱Jig=gϮ]]A^`< T c "Gh{ RBxfwoUiKER7540FQ ދR%ۯAΡA|cF?3c~Ӈo%G9R-Âo~sڬcfG 9˩5a=^fpvM}4E^ti1JF5b4DԷ,la\gYZ86fcb15ad2756f8e2bf3e46e25ae47909d7df3929cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8