SQLite format 3@ .  YYQ77Atableisabelle_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, "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 AA0L {/]Simpl:threads=2elapsed=111.276cpu=201.028gc=10.672factor=1.817zXZִF! a8 ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~ÿ?w%MK.:nmO<ye[/OAedK0t Hn ,)Y78݁@J1.rQ&Iv>K}U@mګsL⥱ VZ]aJ!<^g%e0rvmG/k [T0q:{z'6f s"mF ̣jlۖMkcPp|!68vOO[<'Yq]Ш3\/xfZ^4풫 /Uj?om +','ǷSOljun#Uyo=)uU ' R{"5m7de涰ncGN*v3|n_(ΦRhPiut w5T?iC{Ipj6ޜ?{`>VI$CtrOĴ2pnX!)~y^K6 s OD'h[aeI<@UY^hWZ*F|Ȩ(߄ͥ4x#\oe ɱFމ+ SPC4J Wz_]{dB~5$ W #Cw&Na#4~~ x :)( l¼جz^fTyYml,~H-G@VK!=3+eLy2uz>uǰNHDI0 ]ٱG\2qo>d5┲Acrao #w?]]C7D4&/*JעV~5, ]x鵏'uZ_!vz>(+?(I9!1ngωgЀwQ (njeid;ʼU+Ȕ(״,};IYk##WQN}]]'×ܼ3JQPfZKw=ڷpC.n*~2i9 zmGoHSK]wI>bC=ۡ3?oHPeff +" kzs ͆5P0_8F [p `ĆxE^z-fJ%5#2lKzubf0 ܛmev _9yGՎ(:";hd7S셲Տ% ڀDJO&f^}-P>`"' H!G^ tڵy2]:N+y}L$zNusNF)iLxqޱ9DXm䀛/ꍩEmqK}/;th=vo'ڻtWKqAbŞRH#L͎QR1~mZ\?ډjh`H:֙rEw6F%c0=0iUhIR\w6GQQ1`y5T&(~!=/)^ҧ=+X#>M x Lp'Wi8j+Xlo+ޤ1\p 2d^ CNa3TmR. v>05~jXq?Gz(+LP%CnFg#v"l ۖin-CZIMOˏ,WrjttIjcS_m-!&T hZxݣNy;:k0PiQF֯M{)+ œjDv*ئ\dўN%jMZ ,gѪZ(*eȂޑkt@J Yvųk:r4Zx?d)%=4%AcS8s-'\dKt3'P@\WP!&URg׊D?8/!E%[~n^7# jN:I@sU#ؿrn*JNB>by@( ߽k}qg[{A10٩SC3em :lВ)~.8R@H#x2?߹D{>scDNljiG_1yEi79;:f.H=V*GAZ *;1uѫ>aKALqʹGwN=!GUYҭˈL=bN=lG+_ T0RW\ǃ# , k%1%1ƣږ"Ͼ&*b-Hg /0-}ؙ oކ7PHߚTq~)Y۬=oZ$ŗ^cd ǍahdSNi%Yq {˼KD>5֚bw#8P[^Q9 I$%;aـ"mv<2[^[rS!ַ:M`+ Mo!zr0\dur;eK|L3a6QVQ3))Gɯ9jw [ic`N,lX@&  SimplTM^?(*18YKX@H4*\9x\81-G4om|c+CN&P sHHOn_}3x(P6!ER][XSR׿-L6YBEg$`^n+2ZLxy7|`ato{byMM^]pma].d -*q_h_ Lqtu9yV] !L 6UrgclݧEw I3$դSݝxXe__( RZh]a䯑AOCp"= l^_dDv<>I#r$$9_ w 酔B`?ZH{,i %0H/ _>M>o&~pgB{ټS_ƻk]S[Ax:ÍlDPl&=tPn!e\[-,SZOu\/wf{~eḌgtBr2z{㑖&r;@-nRcu7L#jW$ߜ9)lDrI?K"զ`H{bs~P @PJ:-ã9@sG΅<+Î2(XJOnE,.c8<^dSƱsYnjBZR]f`+ZaVE8$ ˴!n(MPl<`7㨗9NnS~{zr,NLv-!7^ZxL3D6[xm?V=yw[F"7FbHm}KmeG 45v\jrustϼMCrhf ES[z"LB/։b44@w_*5h`zN7|,gTڂ r4D]y-ؔ "ĵރұ~BWl}I.~>T˕ qCƒe/GHj1ܞebM 29ƏcfOic8g6D&R0|ˆB02+"${BݍZh.Oiv z+҃ QHZ?)wUдd6u5-h8;- cGs7h-%`i/#]H ^%6`cnDs .+1BSx8RgЃ{PF/%Honl[8~,b*jn"mT8tn0M7h@!jEJ0Y::ܬm8E4۳@<+M0΁!]1lk[V3'3uǭI>Yv| 8pn*~uif/=Ïqajm>z>G Cy.9 ;on6ڇp3n{UxѪv4$837)|B`4Z4GaLTV -N%l*:؝,,iRM"`]N$x-Ngkl@=EËLfC 5ޟ".kziעۿ-|z2*Y Iq%3/f $-yx$lɢV-z6j. 7lLSd& Fq&0 -u$(C)V\|ȶnu-a&]֭<]q6`F!l Gɻ=lKOa;\n+Vݢ&iQ݆6-Wj -o[$oS "PdSTF3/4hoJ#;Ths/D})0[mQOahW% %z ߐ^K m钷ZJC108rregĻG뻿SX5pHEj8[-9dm3HY%͌ 9_3r\"~*hY/Me}a޴ 쎑Q)pJ4f:XSpPe8t/lJ( wee,œTtr"U9txd89hM w"ymZ Caۛ1Md`x 9ɵZkY Aep7+>Z.O?)TaTEDQKx` ې`'3;6IP2Mb'ӈt` aߣw .MNÄBcd&-߮l QWkXɂOYQw3Xyx̯dx 'orDzڮ'uX@ vGvyW1SKYz̝ϫ+eځz%Vg(W"ވ) cOU:u@U_#?5<6%;1]8Ixzc*E *ެd]fϔQ;D LʹYp,YIĸ2S8tM/{|HVj>/m6X+sjº"eޖJ9X6[zg+]dDO05Y}gy`Wh@@f蛠-XGϊ9 = 5c 6UkުZ'$0m6YΛ|UdǶf2R뎓o]lKuH" ffbƃ̣߈8v9<Q]~ ;C0;Oad{z l |u kr >SsrO7gUyR+{VrkQ8> D`&){ܙa$Qg8-y_-h_xI.ҭ`hP3'~3|`x<[[Z!Ui?4g1+6^2Zw7(5WCO\GijYLwbRl%[x]-ZlŅgui%j"hH|)4ҳ&r4fz02+>o7f&o®NΫ%6$p^cS4i8d8܋ئO*MƾA;ưa 6uX v/ % e|*I6Ĺd/4~Ξ:kd wو}#&Ղxq^UtTCpIOt@W2]8Dէxe׍%[V"'C@eJ?`0kJtOd ]leX!ejy"瀀Ej'f*}W) dOk$5a*±vFF)}kmxB hY"; %_41˺4 .%BG8HUM+2t1 Us:|-JgϪ^GR1 \t/ښ9c7<_' I@{ i y8_4+lCAu1=`ӪrVP.TY" [)DnrX_/[,8>RH%Iw<`W'FR)ҽ1 $TT7DRځ8ؿ9Ly\fy..Lc:E06B ֎ hP4#8= Hwߧe/hi8Xh~Ο>&Q4ayȨgc;^\giE$JlXAi鼟"hJU-st>>lur)yG!hY#ƪhö{֔RH TV!?pUhgI֡E\=;YH+_wy} kF Ri?oFn?2hITȉE#oQI५ֲ o i`v%e{C! qyIN߾)iE!Tv9+U&XedgMgL#Q'W E@֊k#j-!޲-ZܕJR-*LetZgS%we.{|)M? h'}O0JB @,?EZl)P'!y#Rrak 'V"ԦV [@cLvE;.76pj7rQ(r=W-=:KyI8 [ ;`c齛ȨົF"jw e.gDМ|?VsoP%ʍ#jgm #%|JP4Lʲ?7ơ4cMA2x訣ەsj-nm8f7jtj̞AZ㱩j?-0s@Eh C|yKqD'?eYs4k/o_yN w7N]D#nr}_)b~[I 1i10לv˫F=ߧVE/IWLb!@@"a,%HtkXc#9n`k(jJbW:X3+}-U7lyTw_gnzz~ݧVJ;kqhXl!sڈp7a16LVX?1Gh+Hǎ/R|82d2PL#(o^j1'