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 f)d mS MFMC_Countable:threads=2elapsed=68.691cpu=122.436gc=5.020factor=1.787zXZִF! ^"]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]\m, a!e%csL;LR(ݻp'͌`UjJȜ ) MFMC_CountableՀɋSXȤVEу?S ]QGISq)q<ڑ=r:)p& +(tT V"^LgDs-ɉHNQv;?'XQ1ݹ>!܏8N<+_9r,0wG3M7'P >b 3q&5'Rzi_RA~)TZـA=M*z+zJ H<l@ln-(sw-iʀl!JHnT& I23XG(tfƍ)_)GY ziIOO6L@0)7ubݻe,f!RLvVvDYs{ŝDp*$d=#LĨ bo]]-M+sz+WiM1_Zx op|G)9v MVLkă34i"IP^Wa4!b!,.n`Y>QadjTyõ|^MÊp Bʧ̊E߉]HdbSPySI$<(2ElɞYP}4xzn0ɵ;Y)xʢ}N$n3ylEwY?}TV `Fsr)NiPəSŚV/o*5@;|?ʀ$zgo+CymXa eH_w){ 7r̈5$Hc(nJŐ`[liQLkOu1mS^ؼVLvy]G<204Oɡr ߀j *ƣNrRKbl±֑A'KUY5>}r9bElȽn,%n !QOBBuy&f#,ŽRM]n;iC;7#-aHb4FUH*]i~j )-@ fw .(:DĊЧ} ,D7*iE(=zH@86DXVhyk܇/b8\j,:]@T-`\`uڹ4EYq2oa4"g@?micZYz )N zXqxeA=(BD=qQ}$t8:@V3$-x5)g4nȥLAsKKc Y͓~Chોv2A.G=I_m=?G-Z.@||>1+AIDQ}D|EѴ X#UiB6[uh<>6|Mz|b; OSѝwwGˍM~BSh+#xw篳},JX0)eeo(HbyO%uL&׾Ix`<ßP@y_.f%cqBB4_H WLrAZ4v*UlhU_ek p!s(WORX# dl qNDOZ^{MJ}BwL@-ړ^Ǹ$[ΊB]{;`_ sbe*x`5VfrK#ՔVHd~t mҽ.F_ S6'&kv 2E=`‰?5aG z7z[’1"X3(B +/.I@˜~5eZT"XX§\>TԉUPtK!q?ߕ2\4 8{3Ty_ jН^n:N>hEqFZw(%kuju(x o`:8!MNhS=ޗuyB~fB+VuF^qV'%>3=uL}u `ŶToE`|Dfsio%\|jU"6Kd=U-.[jzRӠ~9 p sҠ;>D BǓy8" atmTe}V9iA]o츘5<)rj.Jܫk=}wkчFH{4{/NȟEy *ڰDd,t* _B)?k3FR[YgXo*rM27va/O~z؃2#d珽fz x]R|H=)g7,/EbM<;Hez:F}0 1i| U(8 .OQE5| In({н*g=ϳ|zq&($n{ao {-E,φS}}Ri#sBūd2S׈=A8,ɩbF؈V Rg%d);a\Q#+FJ4M!LuҞV(-ߍYF'J!1G2y)7(IR&vYbiy9;քJzM8;+HbL>^k꽐XvN0 W?u zFL7/ԕ>:]O_#JxJH])R[KUt& 9FEiۮeZT`oY*+=~I^4BLg e]H_:JgNҏWN];K8a^P`5ƒ`` qjrՙL 91mJÖ;r6"\شy?u+10^Œѡd % cنű" ~Y5B'ԆF#%K$KjΌ@\GvaGKYhK)և8|+Eo42;wiy:G ۙ C\\!e>g~z!{հô4n*8ܗGTTΫz멄U-(PK|jYD{k/N(@`Y1% P;sN5_ fW b>)ʕ`&J-w[3Hnd[fz[1`m1^Gcz۴0n5Dn\I ?7&l}9TEg))R+-ĞsFT"wIGPt>}a?tKmwA.S&?/hCX ̑yhv`>̡oa.o=Q>yI/;B5M֤ ΁Z†F=h615xw<.0?Pe-n+9!r;[54n_2%qW[۟䮚ւ*nPI&{(T|Ujg aSNAPu0sR,lVfVٹBSѣ*rrOi,5S+ 52e.ډ#>Pk)ãd+H㯈J֥W0YX &*Ʌb/pD \bUr Obl[zBkf/`y LI&i]}*$eԦgvBP[X u9kDaTR yÑ+bǎ:v @LoGd݀_2SF'-(T7^`t(͗?`j(]MEFEY\h9U̗Qˆ{+.Z)cct&קyλaEta1U&6>z3&RtJMb@Ml'WiK""ٱ:>w5n4tZX$j%r*AaZZg ,<~аNE ^7-79b{ )|vfg%b AM>& K6RcEa&Wv+rkϟ8#Ƒ-\YڙAHz(KFFFuttenU®q"-4Y7me,Lx5ҜBnN\֨,f>s6L0:7 QdW:Wol7a].C4kC&+PT#2.ј8zQ₷t.&K#N|p#; _/p[4e.ASVz9E$?%_9W'Ĉ>{A@izkx͟+(TпhѡTbU(w$Ȗe=[(ї-/@' jTV-U<' qc -t}Oxj*Dmdly3']׳2񦓡='a_yIP"+bD"ˠs5 NCp9lf Wm7b:v9da\ 390~% ąi "qtx"hnL6j1^-SvS<>Q||S짫 @xf;<ض `w;w"jIQ Q 58?3b)ն~kIC? `u 3r N~5c}o{_3n'.^ Mū[A P58`RM;VͿ&lk^w$TXGT>/" fy/h'6 ;" j-b}3\@K:V1ΗO|9[V.e^Cu q<ԎIM`67a0CTI ^8x~ }W\`g;[1L%R]2H(8L&:"ѥXZoeE y趝Q`Tu̡-6>Ч)@공ۜ7˹%$w!*Z8*eCm~ ]8^3s5nA{"F(-# w%"]wPs~.W v B+Kbac{tgQu }SJw&R 'EOp\W }8xY߭'U`d xRG>ztnUޙ9Yx9#F?_vN/*s9>jd)@8 ]ҧ Fv 2Eq쨐$MWռPjx#Ae=W?173k,(-G< mIbw\j`n-Pa#< -iYz r}/i2= K̵),f0#+<&s8)792TKK>ހq,%5I })$O)x s>L->4Pw ȌTcġ?Vˎ=XXO-/ZRZW%1sv(Z"JC I00 ^A`Xu Dn/si2,nWd ,W^[BeR-Զ,Vh',,ޅsƐn9ǶXFvqUdc\L,;+窺1K'"2$Q {ubpj8k2)=3̑@(o Q+wt#?w.0)–"i(/B7YsbPf`dCGT?K+d J_5BirA5lOB049f1O->x:0J_)C$mId9MWitJVmp=t/eY$YpJE. h^f"Q["y̹@N[#QNwwQ {iFAdit$xF >gYZ7zXZִF! X]ŗXi%H^!3.QG\C+GQ3X hٜK=U9*rȗaMpA¨j Sv&@{#E:F /VCO j>+3nMh80I3HQO,<1ݹ[Lya@2A!DgSւ=)[Hu9ANȴ!.(ɵ,2yeݷТO 27SZMK=)8{-c֜-k;*ñwj1B4Qg&iLV0;JW"zB؇IC_X4r|Ѓ;e㦲,.]F+K^nkQ ^MY9IMSgtswEXqD6:= 1Rb3'Wj$u&>@6)U,ϵ=$UCAK#Jd9~H($*gP$R`0uTuMLGϥB=8x65.I on: (hȾ97-F^67"C$6\;D0ujΊ#7T 8IIyҨ7q(I޶ `f:xq̦2fhf?qC1qjyP{;Z'd뾕J!]a;qCGs(!Z7<>+B Z8)qIM9dL Ut%FF+Kذbw 4xXWDŽؠ_d:5w<{G7OM)ȸ>[2TzAx֖|eW I͜h_Nm0tuO v b[Gf[.ZgȉV.k~24N"5h&;,#4D͉ytV;LXRy[ݮ<Ѹk bX.WlzHǾ3|.b3_avv=%4"ײf+BI -9(*9)!4f^]#(koa߲NZ ];oEA(sR֨e?߅dѥO2֫w^kKlY~!&b֘0`7 v }ClN}~tnh:'eTxފ7g)RE5p0^l9<=ڧd~m&mV["w6X vRxQE dA|iԕ9mkݎϏ~X{_t[pSe[?E7 w9h[QzQfZؘ+?qnoQ0A_I76Ou#ѣ{[3I o^h:cPϲk;-ˇ ҦT=}6%:7 / [`P1IGO!=+/YF8K$9?Tm,9p\ mvX6r'Q^]Ǎ:=Hk/gLQ!0 :]n(+? ^\A9Ea ߷iv:C>?,W.:jil@M=<3`L`8CVUr')vBrdٮ[ LDa"Ï;e׃]BarB^$mN7k{c3T \eёtw%vJnYEu\lw+d A$tLkIrFw/'vVG';ЊJ0;PS 3*G[&RŠ\Q5SoKq(С qdvIS!,7ilM$fKڊt^ysn’-&tNHȑV k_5x0ipDn\UL#!L#k%RGLė?SŌ ) Ņ6_({.1CBf$6fq^ٸ@SbX'B$"ra\kkA.+f<9Y嫈jQ~눾dYvltFld͘}s嶭'J*]2ރEHLI@$ $T c3֐A5^~V.zMh~Am7\ `;_ oknqc8Lhm:4-LO~(cNǓa^;ƎNi$+xVZ!45V?5GSj+!HBcMޥo4hf&4#2~5Ug{=w $rp,_Q! lkwG3-H,IЎm5JD^4wΆ }__ ;^˰p(=i^fʛޗg ӖvsFs-g/| Ĉ'b^tAMڊ[<We4QL;d(̠v'Z?7S믣=Qr|˞/)QԩE ݠ\0(B Q*s57z3L$ h"_Rs"[ C!4XE4;&"AʄYQ\#hd{57 ,5FzPۊ#9&z`ny!7Xh,=B&`Jirw2~B) VDz" @f\Mx*@=&> `&LT´C?;R6ތ1HSQ0[^t.)G##++JAP Q+V"Ÿj!x50lw]΁PR_'|-y:RK$ȬGpfЂ.#rC_Mv Pb基o⃌I\ + ڃT\yaPVRSe*ưv ضR馋C]{?(M;OoF7 )u&0^cIhߏ?UB:ECU~si_c 5ܬsK1c*?m/V뗁WFY$:aٟXTaގ DN`lաeLzJKܷe؞H1FE:gYZ19e2cf0910b7071efb7af8472164cf296f5e5ce5 346146238c66aa3e706857a5da86223bedd0d725 444d44cbf04fcccb63e0be6f75dae67a16d01f41 5e2886080de1faa06657d403497f877b8013669e 720ac04f33ddc2813d1275c854e6768f8d752240 727a3bc73d01adf44a32e16a42e3681b2739013d 821ae2330fe72fc145d299eccbf2c16ed7c94604 8f298abcadb3bba8f71b6470a1d7621e1385a5a8 afd761f8cc3d6e32c1731867d5a823768c7d35b38c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 09b65d430a7a9891a3f68f37dc3b73e82cde44f7