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 //*9 | ; Decreasing-Diagrams-II:threads=2elapsed=36.633cpu=62.924gc=2.268factor=1.727zXZִF! :]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:({pdȃ9|EF8p^ZTp-$%H"ش~}ѐOiNͥ7$I"  Z&97.qlj!y$c2J>N;yIbS7T]UT.XJѿ/򴌫19{`d d~bҕĶ~Y NostBҖVGZ LOrphe⫟ 9 Decreasing-Diagrams-IIlx 453Q7T-=Y}~L{+U B> A9VrN'ib_gFZcD6_g<힪h2{7 g8%S:sC _,MAdVfkCވR5F75ɝXWvw[O [ag4@D#bJ:V8|lvJYBD>ē#+8+8s"abvڭ_%XAÄs:2 6 E+%ɍLC qS;[ ~ֈi&g7_˖O=ÿ: [եT}+8CBcGQg3VIS/WAfUKvB(*͠G0)V+wvgaRV^Gd$vی{]KaS &Xk؇`(Q} Bְ;>p^w{5 w[ :;y؆J]D\Tv*QKn 8^PYs=lT8yliR)i.YS' Ҵ6BeuzSWWu9E?;./ŜchHi!Rb%&{-aXwp_' ΃c55'%-| 8zk⇺k^ݱ)M=npsR~AcTekff=),>LDx&5nv~r~Am 1WՐLq7<]0jAğԴyjB '+lf$<~ERo^Q|@WpPc1S!`qJrݴG*Ѝ@2'3Lfe6<}ξ ќ]/8Fy! .At'CC56$;+~C\{bKzuqpº01ƹ۵1HrE EX#s[BܠM| w<0E8z¨yDf(p|y<7ygHW'wUA*r2il_*FXSϲWY!JHh}yM֡Sq.~EI.7A)(Y$ۨ;{7G+zUmBR9&^_oEA|1;/ K…}-Da|*b~]gh(Vr*d#/(h=!?'jw[Oٻx^~oiVEW,O"XġHMW0BpD{5:nglFdc&1<ۉ $_7d(90P e p:b3os uۛCS񜺸YB_@4O7˯I@nl[}2{61ϙL%E89`ٕ*|%[c5zh;jr3u*,V,q޻mY +yde~]#_IZ M FXQè[T6ewKS, r~&$/P> o-(>=_w]0[[SYvSk8B S_^mxOm$-}=n ͝53ilGFvʮy\aY%%N&RJ(1G9}{p;ڋpĨDR9rtf&~l‡bɜ'EpREUx{]\sPΪ&d_4d^|eRcvAdiy@M="pEE;H1uqp?*}ﲯuІ 嶬x_(|I>HF(_gdӎ[ҍe:ޛjOR1gQy5oNZ]G8bqg@Qq0AY75AVzUbF'DO0MgPB͔h$ [DpZx lޒ"' v+,:): +9=u/$a%M:Ѓ4}kL `M 2!DKj?5lR|Ʌy u/ qթi{f,cDY@ Ņ 0+PDވeHpbڤb[on%C?!xo3EXӽ);[X>*< N_/`Vl;4J#b?1+IRoӼhNgh;=n?k^/^]3HRGQƶMoQ=I">WFN $QnbYJ1P>@{w˾+95i-sl13P@X -d-}=20kf.ԤT]6:v\o;:?mL cؓlE1S[Vc*gai6pmŭ~t}w)YyxavN^{:9)`ZI}^c)IdQ#Ŀ?[eqHT[YOX|e߳NIK"dH=I˅D11 zsH~b]jC4-(n'kf VK%Ct% v#/u%Bbѱ #@Nf5*QV+_gT #!w/?k;F f(C=oa. Th J8G&CP,R*xH^ 1QPq>&?`8Kl66 FO%&ih*dc pK&K=e:^qáΪV5'~1kȝ֞("4J CQݔQҥ ^{cs~y÷L؋ٕ ۣjBiĬ-N:B)Qm -rX q ~]o$c8[c= ,=o-EcIywBib]V$Oxr߇#j K2]63޾ q#3^3FQj-ކ f2 *<=V^>|N)')D=J+yҺR~'b^``a}t1l߮#сtMgL\i>'m3SPzWX"I-} Ũ ?J9;~Nw蔐"sbE ̰.tj&8rAB|+oNiXup u"L/dR5lu}$^Up%C]O 1&,-՘o8E*W2gkfRKjE[BpӖ_ͺ oZɩP9@ soeIVT -!&S9?M\}t2wqpk‰>a?14̂= `0lҤF.2nh\3$+%gM J `ڥ&IͳVeۈ]Dr1"U{/PfBr9,ZubXom.jNJEeӰ R6 @:WVh奜NXonRt(!1n J?UEnD){h_m($']Z,*15 oH^jr (w(W dh} )sGQbmk_lyx6#qFf?)A`lH&kہ{|0,v^E0sLXrbz'j  / l$r4XEA#rx Shj c+4PGE{Gޅ2E/ܼf P0ߵ]Q 4eeR8(s=w !3Y+g^PiJWMG4[en74 S{lW-Vk Ws6^fÄdEFB%`XjQ}M Zbip>UmF'm}<3=O }']o1c D7N3% n Q毀%~wslyAK"z3m Gy>a&-S2H8湒A_<1h2}?v&Tֽ])b56܋ҼJS(c:$ml˼h~i;%6UՏSS/Vݮ@#1RxxϿ2efE I"^;ƍRDd۪HzhSb%`i/= ? め*؊{[hғI;|Ob,P7IRV4!pлtxۑƒy /lhSg;21 Ý%G݃yRh\ԜFxZ=G ;`,C8ܙT'5G1=Giy;cF0)+ cYF*xLߌQ*(\IHS8d2O~j1 TlKRv5oMXkͬ1;m hՐp*"MEruc޵2fMOmk n2J8uCLZ]"thw 3:Hp<ڥSc+;/XOe0RO|i,U~5UcrKݿХRW#u&RXY5b' ΧFMbs q)@QjYkbXCђ Iżh*)(N6dㅵ!gp؏9]I_*(Tf\?(歼cfje8Xf^b7kEpQj TZI:@0J