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 M $4L ]/ PLM:threads=2elapsed=33.442cpu=55.048gc=2.068factor=1.657zXZִF! ).]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dޢ7="6E:. :h~x'8(+ʓg)=#+i眸6AeOXj]h](=$r%RR33)CQ~ Nw|v](CbZrBbiS &酉t) K8mxj>8 sV}_Fe:\jX=Ô1G3YdeR_g&0l XQ=‹T:`,N>i#un2L2i7lr \y6Wwœ _etd` !d k|eu.C.;f-e]}#l=c _u@r >W41hZ5l9]mTh{6 CUK{X!(/@ V0A,de9rl]x} gOP4 Q c6~J.]aƘ L@{nSugj~T"e~RK6JO_7)q z= ӰXnl%+ ";EGZ` ҞX|jxA@I]v!}DNM 0 f"D" $B2>I]FJ dNʳ![:Rd[h=}*U\Q́#+zqufOl'<0H_ZSv`| MϐM\&6(alebײ'nh \Wh@az'Y0θmZ[ R:AgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT.|XIu52Ԡq-,nlhv12x՗gOMS_>ߖc,%!D^}\e\a?tX) &)bAVe*2f9y^y*h&X,P6ُ~h֘6R;yN+$C=B/#D7< CCp*y"W!߀7-UyGS3@c;!@7]$&W"6 ze7DJ~RkH yȆC[x'`L:jޠR7;PɨU "ufФZE"~Ȣp&&Úept1B qo*6≐@d)L2Q[ 6w@0n N؝yGY׬KwMxNvOI&; ;d4\L|HZ ([5l+nf ma9 垸>}-1=*xc6vh `i{+|UH;LmZ߷X1$hvؘ^1k&͢Ŵ>٧RV I*}3pāO>H^JWδ|aQwagH߈6HLuXr;jqB0x'mOMJ/1{lKJ0h "-s?idA,XkT/Â%p4PciZE:Pc;Wf|JT+n1^p63/8TE4J csO%)&&z %Ѹr&pS;)ZO@^}e#%[ڹ? HBD8lrQm!+Ԅ@|h>F:L#)*8 `j=bU$LH]}\E E^l#wQk\E7=zf?80栨Ź|]'NF4,}l=9m#O ||ΣQ<)Ѱ$}@ +9M`8^a;WdX0{cAb+7U ?5Ѷ*݀D`ͷW-}IL&DY{ߝ͠F+LN\f3[ijzս}/)h(#o-cb.l_` yր_%}JBٽ[W++YۄsS1-0EQħN,lQEڂOGHP!"MsYz bF4 Hz_xoYط›wGM9t8F\.)\ 1I~5d:U#\]gPjUg4J |A\tl $CRyPžMSɲK>'xV\VzTY 1Sqj0b ɈNOt' ptՍym[r L;yqnNI3*ؽ P0\OPxU4r-M:m7_xJ6QGF<"A,d$fH͉jC64#vwh ? M.t>y#ɵ=)=nh-ؘi,=oHktW|~aAMhʰ፦Sd}_TQ"CΈeuƁzO!|˧I<- DM\N_hQ x0uݡ;Ūv x"G>Ԗ_[u{NNf[`4H%SO/0J)AKeͤ1=CxwQzNknpZZm/-EOBsrd!0dX*@$_.3Yz"84Ϣ;sf~K.ֳߣmB/b\&:H( wQ/,i^ftgȇh bZ'˳uN|Hef@f[OU.C@