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 ! TL 5/ Splay_Tree:threads=2elapsed=48.960cpu=75.096gc=2.072factor=1.537zXZִF  ! Splay_Tree! N ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H)'YÃHcbK@C0SY16oPƤ7bIse+5ڕԘzVWyaS1@4`F_+y9 8MI/>:Žx_j"H~yvM2Rz b pI&ȂqFdl4w9Aۜ 8NB87!Y*_6{RpҦ$}XRdQaS}.$t}"(<G2p*t,Ip&n꿴/Nۣ~xOE0>|FO5 9*mxo)jPÔv4#H㱇hF8Ҳb⢰Z"o+;Rdx~{fۙ@DB-[w9+6YCt|A٧XrieQ;2JC79ZzWOA``~R-XZFe6Is wܠ޶hP(Ґg QM,;Gt #XE -1i:u$J/p/DĺvR"*9 ރVIs&qs/r XzkwE5\g qf^ڈM.N{̆-Wгs&cabkD^lBiO;ԪӥaV$ A? s1.?S5d:mҲe*Qo^{$Gl"2Fr[ z_wʝiɯJiԀ]ԵYȟbf %wn|y뢃;jBSi#"׉ǣ}d3+hKg)YM#Wf@ov~C3:.ҕ}#`$.0/VHHbwJtU=IK*%Zڨ;t=h !!}"} פ p9KoA*|E4!'T>i]ŏ"؛/*ShMV҆AB>rIlX/gz yFiɬ,gzOy֒ QTYa mKs2ȰnuNCU=ID%?"HDci-a4ZE8tG$!rOh~.Gb|mJ,JDZ\8*΅Gv3eBޤ?xr$QD8Do»Vxպ`.vv/Ʀ"^68񹆊7]^XH':nҰKVxmc~Edo2%܀dr"T4j))F\!ŮƽDXEfyջx2x1W9qG4/ DD>kZ:]Uÿ_{S'&CNI1&z?XJ@A0|qe{`UQѨ+>E)ǾGcx"P"\eQm KNÇP̆!Kv.(DI EapeZ+ #sڢ7@7N?Q$Fa]N+0&\T}> dYBvI]n%DRȯd%LԸ&(lܶhm73/5vJ//Bn#th# 9ޑ&PĨL@φOmgYZ7zXZִF! ]ŗXi%;wjm&Z {gmڤ\"ݗR\gхz8(hR&oyK/PFP'&Rt.DJAiʪc),W9^@ \F48k_|ND*~Gp `/oN5(uƱ[R3.%lGR9+<UicJ{3_vd`߆y5$|OpҦ$)sc=ECZ"x$qMSڽV2RyEȂS&YmO\Np猚d F5> O>|YOum>$MnYB&I.lfl]$9$sH[R+zv=_1PӒ*#>G,YT}?U H-e}4 Zzj1{Qث٧5Qe HPb'x5qKJDդV7H7-z+C{FŇIhˢ K&DtCƠ2^ogd/p ~+lZ׌^‰' /ڥuEMݺגf񸪨H9Qi~(F| b,`~-0@|Iunҳ"+ _7 `O;ӦԄ8L~B7'Qo YoU ki2V5D -"/Py`^4ޖOqIY켨aIn&pݝzp,jfA@ؕ6M"DfHoX}AvQkY7 0NZdkۡ8pN5ԌPMEWt^xFv, sO[s xF{YcYSqQ khW!pB(;B Z3Jj.q쏸ӝIʺ?R>rߕ Tl陔'&iDQÀ;o7_n24i0WgJ/ۂP;?RRg i=[.)utA P"gA;O4kOFVx3{q'(ԲFb.=kches} HM')$J{ͽ. wa o]yרsj͌ gMGbW(8-smo iƖI TkrG`ga^B @:< `ojs#:Ăԫ8AfdE%^|Po'͎4%MҢe唯X~*S"6\0< fm.γ%qhVFͅԵPo72dWj!bÝe?!o/ ݦCm.̘ <6Q/+$8G+ztq:4 RvIC\`9NJXqVK=r?4s$Ȉx9u2=AJCnr =h3lLnT@2N7S3C& /Rx(kPm('WmwfAj;]9ܓ g -3PLhjj'~E0h2qIdIo;֨c>:/ P:xpTвt{F JbtC,T!r܀&*pQ p .cJd e{ lR p7<:G~~cb&΀@+אBܬ]yɀ9l[GYck;Z