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 ;Dt ]S Treaps:threads=2elapsed=57.362cpu=106.956gc=4.580factor=1.867zXZִF! 5]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsx˂]$3sǯK@SȉHiPl\,gNSնk*Y`h}G<^:yA]# 3L[/;T'.M0!'v@ϙΖ/zaGcIyh S^K7[<4i-} ǿx q[ @(y7<|[t}1#eh鑅Ftv"yEfy=q1XF.?iӬN,OsJIGׇjF' 즈HR?;ivg'C}^Z W)zU#J0s6+,j^B):VT TN 11'z8*,\^%:75UwԳT3qOk|ؐuIESAvzX"|XH!oS!P>,qi.oDЧ=Q4V?옾L$^ێ+v3Ǣ>_~1vM~p<(O2ۋb`,O%IRqN夲Qx˙&9veG~bS*e7n^VU+>taX%o ϖf%s9).-S)kxdTN;/zQYVpG?,Jچ84nQMkfsqQДE;>i\ixdZb4w/@Tiۯ9$FgWm48c[]]a-zN̊f kXgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻=G#N.aH;6mL:Js Mk̳|C9jc1|-sIyAkX~G7;\OPm>ooin\R/ ;#>M1!Y]9ͮIȇ[ ٟ7N“V' äƌs 8:}#mk[D#P謜z?}FC`xEtv,4-rت<e"r24 nea? "Z=hIfVS5=2 6d'C u'1Kz5vˆr"= ͼQ>   Treaps  Kɕ\qX\qݥJqRvk }BW̱50+xp*WydUqv*VrG~\h]"]|włg*'P[L&T=NZv]RBeV !*? " O!gYZ7zXZִF! }3]ŗXi%;H[vJ[]Wk,!lc3'x-H+Y\n0=n漽vzAs=7Uq u1w9 _!AC|+:Fc=ayEPɋʮ{_1Z3/ DRh1@B\MlC TҜR|NQOT~:0}vA|Y+8WZ$IZ_7,W.mv&Қd?Y LM, c܃'mҝȇ]c /%kj%/\^}qVjU?P-f|1ZO @0gD ߔ/U ;#yZc"C[zm) F}.6"yPw6,`)NCTw+îgp5媧<݅$V1lxY2(NlUʢK9ݫ'{ƒȻakH0c7=sE2zZr< H?d&2zsJ4g)sS]!4(c&زBitDOmhŢko*5S\wG|yZʷ`d$uyr,Ӫ^LĭC#@za,S %,T?Ÿ}! љ1ym-̳kt>4N! 4-lLvě,[Q0jƾ:)K뛂&*:E^]):ڡfoޗ_g*_~œݳQ9b{cjo55©(w&M{||" #r>#\/"4čaO`#[s݃D'n9[A =[~W wk[LצO#$Eh\cڠI~m8=/ĚScH)S |Wʭxl/mVNn(۴αKk:`+WL$LXt {7댣hHjx` ;p 4sJa/1/JT*<`i( ({AlQr"z]HUFNW {GC7Bۣ$=zD@} o/ :"{WC_P msJOvӎɅuH&WCzBjEKB 8:딙h`39|Ckw 2`PQKɳiND g3~:ئ y.6n7E:Kz 4nӸS`f$#>#N -=ѕl B>Ŧn`VS3u&P7j {}^Y+(=`= mf2ua)ԁD)ǵ%k 3ɩ\vAeyR: =xH~U ϻA[R',M^BRi8%Ӡe+f>MX{/EOth0ܳAA/ȝ s_rO7# G=بlM(X]}Wj sos &w͗Eo(4ԹؐI\4*ٰ[eP# 5镻8/Q9Aω fzJ*OzAqIcܢcCu ^̕${,\kD1k:>-^M-pҺQ]t|6+[Y pC{RJ]o[i'})a残u '+97-N[hrh b;)}Gvwrg.HGAkJ-J聟T,Vf2N3 K"!wR#t<>$?MO?‘Yw_Sgd'0yx\[ :ƗoB#wM{ivz2"ȿ`7qCNh([xaE9`'!&J$xB$k1CQ؏,8gy@{+2;>ğ Y WFvW̡@r8׈J]DG݈M%OH\L y:1Ss@N?Hh&5a6׃m^OKrFrS@du':cs{ g#v@n"^9s}1O ^7`c;UK`{Se~-bgl5^;& j˦|.瘮([H pG6H Sal$'k1!:Fw*P`"ب쨠L_;.5DiAtc5jAm[̸HW(7sQwCpB Ro%q*sDax Efk\NХ|1ɨg{3FmX.S`}:[5p'O6z$>9~`W9h⹚b_-k7Mߐu%0nS\|6Х) LM>{ٵUͳVlbn~${WaG'~l>C:Ӛo~:TxS8RL>n5寸MCkJU/{+ͳ>I_}ѬM6$jL/ejza,.]17z3n