SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^) |D !S Sort_Encodings:threads=2elapsed=46.850cpu=91.584gc=7.896factor=1.957zXZִF! ೽6]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 6ZJ"K!1ݰ([UDSr(~~$tR궱.[%WAwv=vZkOpHQOw2*jKǵO 1!KyKM$<*04j{WnI`:̂ ÿ<~\(s9 ǭrsF8[SzW3=s ˑ{RCb;ʉ>#D;-U0ftI41r%wevǼ2 ) Sort_EncodingsI۟c]HGͮ&, sV*A- x2L!8mk.;یHׁЗTg)EaUX|x{`GX*5^6UgM+tbqqCrkeU1;jD$rkh [i/u_֭!i6)gޛj9֖u9x#4 h _^p?:NY40L%vf/l88=}SwN:ecs>?| =cHy_:nLU^\ﲃ:y, aA9C$!t +X~/J5=*qoG3_+2 ;ݥYm~Rf,ԇS_ 'h1~`9LmPi,t>yf2KqVt+6.FIDp|R;o%VCrզ$wP"j _0˫w@d25j}=qKXG q-S!wCl0_t˖tkblҎpI.rsœZ̮NWdG,{O4.o!~<Ŷ䂻koJ3S`,ޒ Q6QdaOcxOi'Txu owtT1qP@ٺ&Ҩ-E?I|Lh4xFNaLQdzPIGhg8f!"V32^7c_IQt6  m"ߑ:E@lC[^uS驄,:梅-_ǽ1aI rg;jq֓l @ a =T%,s5U (Toa@W̵<+杻_9(>FnWԨ)K26l f8sWf[Bͮ#c? 4kCA>o%u8j؁Qn)uYv(+bҎ>o]L%X13+{Zƹ$4\T:rӵE zDMCMTIZx,p+m5J @x֠t$ ,I5j2g1BySs]C"mC:p4  +H>y!9M .ڻ1y{u%M+ l:оߐ̙ G$t}1όS`2Xȟ#h@4mkPBƉpQ %)P=(̆c= #{i}uS ()5 CDvXhw:?. 1: l%é >Q 6nta4.;˴L:ޠdNF-VW^y\7:YefWw)7~˷!KV[8[७"\Yݦy{'`T {hG /c$4' (F e̬}p"{'ju˘CAy@YX(t0V)ޗ2~;$a '>1lYQOxsPքB(c+f8omg0NO~y1]ObptC-ěUF}{"yÊ+~GW?2m,6*'&X AF:kh݂]u"6T#iy*j8cԸ\Cn=3\I?z?) u/^ _`,n en&1JojmvδѬŝPjeFnGڏT~-e^~RҾ;y!Z\[CN -\7 vm\Vzt 0я[GP-Gs8ţRݽpVw'f([j]`Rhe AJbՔI.^6Oj#9eWsZֈTetnH`8KkT55Q,rNmT x}}/C4py& glީ7N$ 3+ș) ķ8 aE9 ĆlIDsKR'pW>qVODslHSG,4 +NTDifZڃJTw+ ã/ dL;(0\QT$J sG]0, oA(+YN3=eL#oFW.TXn>ztySRIln)s=duVbDǒ m82 wN?<Ǩw;?$X/I|NZpB`jY7/CwSG$^op @IPZ niVN9{lA.g֢RZئLB'+mِAofNTKoE(P-4TaqyK{ϪF7JZZB"7ef" H;g#W{$:h>6 yuw 7I|=o=?x7:lWPtotZgYZ7zXZִF! # ]ŗXi%VoԿa-󙛄b>mo*ݘ8k{4_7nNh8 Ʊwl/hYT瀶ǡl]"`ps@\9bmiS4qWj^%Y5{yQ@Mtx,el䋻| @ZqL'䄌5~QTb*: 7+鮵>[Gl%*lΚbmwtMj5Fʌw,G19L%mZ pS?1 |]fAe*`#tB>4썎ہ}Q {Y<9IwzDv^s˗V|xFHӰY=v9 zJ爞=JOsWdog$ T8>+KLD[}F ڈl:[M`n #r!EMu/sMD)鸤ɔ._WMSiB?MJb3}8Qa-C<1R{#~HQ.<+}{^B!Vű*Q{ $غaN9w.kUA$ $l*MIjl6rRh68x^KhLM^74ΎS @bSEvtBXHǐAѹ6POʦF;:9du͝޲0^IͿS=<2G^=K{A(mϏ ouz+DMCrk= ֜P#H&OE->=U7{J{(vUpXKp+NeWS 㮸%qXHpz<{hD ݽ m>-kRєovKͼ {,6 KL\5O I'M<4Ʌؼ DԄVdc?Gk}kR)?qc G~~0/RGWx676\MWD&ã Fg.tURWu(EиaՑvcQ53gﭼ-Uq)஧Xyݒ+LAt;2ߪd+o K> :qTA[ պ*;Qf5^0z\72 ֝L$3o)aBSjY1ou݈zuծ][8~ BDuYǫOJPk7MRy̸+_5Ac{ alV(V ]oC@̧KeuAǯӴ#KE=' 6VJD{PC\5X$CB^>ks<=,=(}XAYp W,O< P|›*}ߓ}ѪGg)ekت $右)R6 -V|X`tMop;4+NVN5n, eY'oo'8eWKחQeQl' oCNPK;"H)(7i!iuo*sa o]>8nE^vYʷ='I5_ _nS&OeIXM̙5&˹W$XYlOhE-Y#{ tʇЎ&S@;EpnE2\@ՎgeXYhTsFf^ #C%m"쐹8A0|y2ŀ ѭmUgK >tKhy5K}|/=Rs*"a9iw(/)`|RNBezMAJ^49(6/F,N!ڵ7S8H`m:-ΌPʔ$|7_ pzH}#{d~8{Ʒg:̥Oyx6Hb5-:ʁk}MYȈ`  5),eQ!R≵~aicÌYoD Sl5&ä6\7O! ̱E< +ҴbXmot5jgGkI`?s+ sGdtT/e[A9l9ƿPuKG\rc^ S jn