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 @1 ,| %S]Nat-Interval-Logic:threads=2elapsed=43.626cpu=64.020gc=1.464factor=1.477zXZִF! RO]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߀CzGXX!BhLL@w?ɾhk#b`wpG/";_AK~j?W> ]bx~tDhD;Ke!I_3bxg#_Q#uUX1sn⏸/1Xyיypvv?瞅YO8Zar(w(='6x˧_݋ӑeχ9'^&sꕒ&Q^{+c"e8sc<׊bqԝ]1^5Hln`; W͜H<5܎ 'B T~6kQ> 9&KZ3,Omi{ /:AU.[q_~R PnC\I{xx'$evTyf nXZsgJp',3 Mw"R~1,tcFnf|@9p^De/ELIDŽJ4Eu`^ݻ6'-Qh?U>HK9ۋZodL”G!˾4sA p,|;lV.|F'Wn%{Zl`^K֊ZE7 0K?G!' 1 Nat-Interval-Logic=j[vW 0sJz=f&k Z\& )!|ʑػZa+0^B/) b{BG`DT 1@,Ft7Aklr$,{/hU':CydYϭZهj{Nz*|4vD 3A'ߟsC,Ith2|Ռű{u1UorD3 i'5GN:gh ~gy=]l!WxXd<$@֛4W CИm 'Ji?[,h ]9pF7 ޼U+ HCP}E'<[m_ï} Qֱx$+uOqvT7V KuGeUHvdֈ +4w$*:xy?]yoٸV A͘~PWO`CT,JD8VݭGluazk;&AF{[*6loH+NȂ@/0KG $^Ӂe{Λ?Z 5C[ /&lv[P"}i VK8e[#IsHc|e\De2jeR+@K o ]]3o zpίa$bjVtYEDžTL@%g,QcT)MJIaO mU3%߶NpD" SCo P 2x8[ cgo wiEMu"Xx `p Jpʒ8k<)M;E箲 8qqLC5D_+/rЕSf};oa9&?Jdr|6O0f&ײ^D xGO\8,dpf)=+\4^D1")S]#b.@Tdz u*ZWf'̏i/+<J,b+gQ4Лoa8Fbw,tcbN{#羟䰰B_@}6GkIy+1- oNk+%.rQ !A \yw`@v ynOξ+7E P]?y媟<'U1ɶ,0{t'z]"kٌ6r>^m$CYr`MM (li41gwd;*ʺgЈ4pˑ%10糖(r3I n7Õ0odGQ=l}&.^CBD>}9|3t67TPD0+tEJU89IGV2;Uݝg;@&I,gOL,Gyr"hi@viyd0GEOWRGv`NcAMyOfQ"2 ;ǹXAGKH!ˈ[[e"A[yD_A^>O$ b56]4`'[R4ޕQȽl8pw*C˩XZJ|w\f2ЛD! w)qX_wHɫ"ڸݸYLɾC) g1BRq,aCDZd*,[hWTJI|?_q)⤓fck}K!b fñ攳޲c"byXY2XwنWS;Ӕ݆vxxM&H{d[Qǘ2OvL ZBl7AVC#E9C # $ot .!|U+4yeg2Sg'*y슅^_{:J7k$Ń? -VB @Hlj]a"Vz APQ`E7N+/n E,dJ56])qo` ƏQ7T(n8mH {QO4$[&@Hs]J"`* Mej}inۅk3dM37djA8=PJ&h?Gќ2ٳ 7^*0C 0l0e31,I^s9ѢNiwy;xx,2 ?؛|1x00b<o*8ԚY\>̟ڝ>6A< 8 im?]glo).1",6VLr@1SkhY`ٗP>|Hd[IN-BfR2(iXJ4"%͠QOa \Vrzy5*DOZcV3[1nU"Z?,WN{U ~d=߃.EH oS{1XY ,_v'oi,5`AܯY\]uKW碸#@ղ*{t6ؓtMXn "fH.pS@Nı,B"I1|S@[_ʵysA6/gy[w f"Fb~ k* k.#sc>V;T<=@^l !|.2QJ!8'Ǯ5# T!҇baZ|ԛgS 4QހdQAgS?Z$H&7TgW~=[ʟ9Ni믝=u_KGEA?HFbGbS#L}5i\$QM2C8m5GL؄͡aH*_S?,@&DbT V\Ev.ؑaE۔&?d-Y+dB܋M ;,ڎ~qqr!L'ցy U~ܡx#ГM5#9O8mdB ׿8,EgNP}NI0 -b6tzύ@uR ºi! P HCw fE.9D ׶Y6 "LC^)^ /d|1 tbԎO gE،bPL"y!O{ gPAD5-*X[_(P #e;,`"g⯱e6 ~JT0vGa1%+A~S{TJ$41'5O$a μj/ݒ|.I׌0"Y)0Z^`2}cB"^/';_& "]6s/% 2|N#<[iynf{v\70@J~"z]vgQJD;0x~z~S!̩)<=!e_|e4d]d hSsuY45(mj1%WUT}TgQ+TK%_WNyA]uDσ`qR >̡uUSܜߕ;+'^Fq/F+&q"TX%X:훯f2Q/5k]Dz앾%U*HGr@sCfX? 2.BTcpH j}56w%O'RQxonN~Vj %bÓKaKmH붵n&IGTyhk/>U5W^M.%0<.7_=2[/CW'QUJ9WJ FTiTA ,L\# pc+ao"3Q9zqӰOm>!+_fX= z GWHsO& :uM!Q8*+a!LP,g`ҸӬ#e#gyԺ8&0ݎd )I[fV:IS\ luss֍!ؒfUSjgw8Sy̟@\IU1 #O6mmȍmL,j+t#BCo*jZC{3E u;3:w1~|#sљNZ,ʠa{hǸG{:l wm ?+c#7B!kynMEhG 8Mdݦ$URJy%2O"c( O3P[\"nQbnS E+?-! " XN1JNuQ8I,5_Y V?)Y¬mbxr,+=JSGhqB@>-%d4V##Wxd+u!k,կŮ._"N8`^Xb 8z(˻q04u&!U'ʼw7,|..lݷɄ>bޡLK2d-}ܔ2CW݅wkSP_ ZƋ$2Y-J>ɪFߓY qNB{DT[! Bm "<p4gyXo4< N'wBWtۢiT[@Ҭ3pV8.c %:]!E[Lrun%vFAr>Ka4渓 ә