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  : :;- LD ] Tarskis_Geometry:threads=2elapsed=47.558cpu=83.332gc=3.564factor=1.757zXZִF! -]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-uՎhFkyJ+Hz]V7EzG"3Pmo`=pl A)\A2칾" [vژ!5pV.+,EDu2 (w;5elCa-Aew{>3#T"]=EMN2sl4-X-b,}iʻE/fL ȓ:-Sv].ĮՓxAD 8>{f:DGg7ЌC-x3,l,yT$Mޮn9JTERd!\%wޓܽlQMio"cOcLOu E' CJDV#1JCFR(x~6L'MrCs0eSԥ$(f,·Q6h_=]Wh_9_Ύ䬳/ۇE->}رE]&D4Ѯ:\/'; ^JPZ <%$ _h*LCԪw&o^jU| Yv:Z/::˶61\@k? GcC3 fg>γso >J,0S*˟k݈V g]H;+<ћJ - SNUZWׄlw=ą~h+͛|@؉ - Tarskis_Geometry  gDG%Rk hufR/ QowU.5UI'0"{]F`O%7 cl2:F,{6ʔ{ Z=^=gYZ7zXZִF! IZ]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ ;HӰkZPCx\B64N0HIM1' LN;dc'K]CkL@qP€0 2JVRk~ Y.13Q̎a4o-Yps,f^ )mE",$tkɄgF·9YVE>"[\䤲&90vc>ܷg4.:yDFqt[|9)$ErKe xPLSKk BѴ=X)zEf*\c"mgYZ7zXZִF! ]ŗXi%>g/!8gT}F ~yQ@9WoCp{B&h <ϕpXtIGHTlJs,}רm l.]{W|u})$z&>n~;xͽlgsRAo9܍Xu vx|)|AwR@94r Am+0/lE8yWqJ/.epa)._ܝ,kY&k&ȏcrq5칷Ⱥ'ΈABMa'2HOl4go=.%w+aZZ~q*nŸt5y0fҚ'vH]a8jsC8ff$gU$Bk}w~"hE.EYI #aQW"שؒ_Rv<{l{tu3.ZsCfQ4\!m.-(!Ķ_K _Eg(%+K[V`TmaEK:NY}&q qŏuF><9Ά*$`G#&vq-ǀй ?fK;NPKt_nT.) PPsƋ<"%U2^[,yV:Ye+E;X](?$*h@tu(e*,E^!#]dRBbՊ^ HᬡvS?0rzzX-i5僀PCn>uKPnR߬9)PʍTj`ϨXLi8jby5$V@:3xq_T0Vݠ4[/rV rԲfI J>Zp?NH׀? Ǝ{#YCgfQ dN{z{ z҂q} l"3RT9;=9N aLF &.56SvFm>/GfܶmFaSGP^ ս/Ϣm΄"]:V*9i볕IIf[h>aFZa@&kH$ aUA|x&wa_jH˧,R$;頓v^sؒ,Pi]M{œ4a<  岨9êoKGrǍn6]Vt$ lʫ 8KmYPlD$!WMbBX Q7-YFPHL? p`eV CG=\pXA]'r0]Jzy^RDZ@-o=1`"o$DFtmfcexI$- xuMrW@];]StEHeu)&Qɲ oa4ZxFfLQr2bifSR ]W"H72L(q]߻s3aO0kz4Hȭ73CrkQYiG<3ӂWZxfbѱgYZ7060822aa45995cabd18cfa1e2a77a24cb1cfe1fa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91