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 II Tt U Circus:threads=2elapsed=53.933cpu=100.740gc=3.300factor=1.877zXZִF! $]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'>Jt^ )a(mHyND(<˃A)/B{>F3kJy7GrE?uyؙgzh}g'rç 7W 5[Ss8 cW#rroa] _QA|_ ճq   CircushՑe]vHA`0F:-W:M/p})_)C&("DT7ʗbwtSQߞys|=ulu-\]:W->C{Rl;O(Q(1S`߀lׯVꪽoHF 6֜oF? r&;tha|J. c(&f,CI1+kt̢:RɭmH֟#zXTnO $ҝ]WA4ɦ[ء@䩜xI/sT67na)CaHpAyp[6ט7ai9GOvf@^X9ӑPsߩYFvjT/!ILQ3Zo`Vǎ5hri4 X H-A?u%S0bVZ'OiEi53L̐ l;DdWe$|}@ݲCxڝ_H3iMc݈ҥK̜.x|X: eM{ Ek Ŭ J37},-i]c]Bg?Z.r=Ynf% <)tJQîg Ox> /Vipk}"Wʪ*1Ѡڨji b()bu]= l>D~Uɦ >L0g:ε.̰*8(~CA!x|aD):Btl*',3̓r5|tw~‡=PʙGg0-3X.7t~%~5 DaAkXJ<ܒa~/GPyVtֿj=TK4V|LA?=<q8ܐ&T<қe`OɆ0UgQ Nd`b,!>,o?'nmDDQk:jvjxL$ g|ULږlrf{F"޺7OT:yĐ "p;HCv<[q$U^UA3 l?$m x4=wch2S:&:ԇK\;.Dx-6ժƶ[JO~fkVhE6^$.72Il MT&eA즟xL^d)qZmNؐ,]>q=C^Ui$I"iعXC88H拻ЇuK"aѷp%bMMp,nU#]i pL`׸{g1uWSw@G6p0wZ0W|"5ӜMj. | 8W.hIx?ZT D ίl4\dkEE(ត?fsY$lȱCVg )>I9| Ϻqg:05t8eGh:=]\=7^ijOFKןm*j1D:n֚ .4"uۂ+ɭ3B+GS#a-a^k10fxO.q*1>~xRx!4T+0C%4ɰ";/ă a.WN^oLo%mMhe3Nn܄duzT7YM4(mJ$" z=LvٟTēDi͝\%5]rf6uz0L~!@RLe39vRR sdz}*JP]z%"S_Wō>w _f 61NU^Vĝ`NMA]XSȸvu6}eޘ\v8""x9Xטz:??P\g7]Ȯ%ϕ E/RN~䋸aW sBR|>I5=ųiH}!IX7: ©dsҌm!(( +U%TBZ{m^16SNJS5=K,vg=*@zDe\>ƺrWt"=A2B(z%$:zνh+!;^܂ pl:sW*Bxlr9.ASS.'Ic)c+u(H֜2jVeуP?Z"Fo{@ b%iјcTnU p3*Dkc"G$<}ͳXZsz6{ܩzM%>a~XqZn"M),ri^ZYTfSGlyc8(?n_'| 3e(sq6:g,~M6~?o5poicXI~dVjiu̞lCgExkGєA)Ʈt4qپZmmzU.ٮWZpPB>OS14Q1pL(/QV>?+Vk$nn whrx>p6P >|FEOۘSȻ5 ]5ƌu% EuQ)r6}E_ wIǺIaqbe⟤s$Ew@2k v~pv mHIr進Zw"7nZ?Җ!GEB4]^]M~ _&)59mf-U"Jdgp^X1oZdA+jj)rb&+;Vy%oɅ]/Kc0`9D )d ã!p B:IIBEO,9X-v E}8Lv"R"pΐlzTNj3AOWCV3 p't^խf? rb4: Cz 7L滘|t i<-( \4rT~}H9{*8Bf/RH _#',8Jo1dɠukyk\ )'V NI"$Ўh.?1{~a0kqs_n?.0rKn s]~%UR%l^I;LrP%x^^w}lU|7]^A`軝`xңY,]7q نR9>G&Nm޼':2!|qůePk0{S KտeYb~@d\yL}y.3]>lbg.\AH!(~5EaD]m}MnY}mg=d[VC5bo`뱍MrޫEy|X9I{G-=FJ_{޽Q9k33~:F$̐qNJފ9Mo ȕB@)cN__΃YpܜB,qk368BƯ!=X:_SM~&!ώə缧(I Ab@@^/$_ 4ݲWE4\c;g-–K|nیw~OP7|y喸|UXJr/{IyF3 ;.s}2nQM jdBί~*JɄs}, º]5dRՙxk w.tqd92V ƣre6PBǨ B~sC_Zz?co\i 󍜝jh,=Ю=\a#$:=Ec69Jyi*> -+) !"43^ o#xn $^* kw&rX7`_d 90д{vf2?#o;m/<#6\|dTGss*_}MT1)Žgb^~y-p$(z d0S[LLDRjX=s7/lHxVM&Z&q;MtđwiVDk/[3MgBSQvqCŒ''~")6P7Dzi.K.<{cxqhN8- 9ŒC~Jӝӯ  ӹ-:Z)p\ͪz;WԡUwt{~!r$c2T)LBJ@Oʲ#GKv@fe/=Mjcr^ؾ!s|B|)Z=$%GLI C'\Cn滥Vf^(iE=ys.kQl3$H6wB,ʑOV̋ԟ&ӿo'uKqD%z.4w$eLaϥn j]aR\Zɏl2si%dQF:jP-2U< Y`!όɭxu.=?CΟz5)*s:2܎U:KhP:Io?M:(CWdemǓU fBm1=9Pa 1*= ^d`z& ̀Ssxz /"hëb*O\J.kk'XEre+%ᎦjhaHV7?≲!-sDºJKQgwɉ{eù2T-tƮIIAV]B) O:=ЍrD'7cp w?MhU}\(-Æl˛}K4i yn-qկM鈽A-  Nڽ%RSr}fDj@v#Mø( E9id= h((W Q$|h$Y^((_YBƚ U_+BS7 k 8@a8YN 7vb%:>PlG@` y&Dk9/[@Aˍ^ _HYhi1qSwX.O?DITvcW Dsf*8wKӂY345a=3V"Wﺼ+@͇2f 8y^@6͜YA`jr +uu-ټ]bۭ6:t_ \J"RݔS^S :a&h4Ѽ08\?3$,FRB^o^eQK=B&Pwv%VFrEB_BqН-Yr؏GWzm?!6..!mMWa]ezxd̒Tm|@]cS@w?"}x@߂ Y}؅hB@PqӞ Hgc 49O7ػg$ A,GhXn-֬N?}@7Y4p&"ZDɨ/wx J'I/n -6φY^p)Sqߙ||fl6 P3ߠAf[vyS2e0r"R lej19OcɍȣOI Jm$+F`7ꃬZ9ׇJIQE0oLUa!"-Ug40QZUP؞M\2Y,dM|YbĀ!@G(bO"S[061e  #n鈊\@$g{ U c1f:4ِgYsTn1~c5i(ICwL1/c'.lD67aɋ<N%s(dZ