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 tD ;% pGCL:threads=2elapsed=38.144cpu=74.324gc=2.256factor=1.957zXZִF! I]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߎ$'-#aD,%ߣgL(]Q<:Z*2 W4BhzJ#`r57\;;ʈJ]&[ľz6ơJ7c--I^ H],\*@=Cy 8?Hm,\[^q,|mnVzx |C[8 T'_q  pGCL m|Jr$"/%5m€ {ƛ]f$;3QWC"0,JU:"ذoግpdޜnƴ @(y~ txa#1!lu?w-93H:XV\qzAI9uCSR*ttӸ>qXx!۱;gK ieSdSXW$ ;2ߢcG..Jlu: oa\]|NsTeM'wgD-amktxB[?D#FQ(jk'tg1r7܅oCe!f.޳j4֎rwU̴GYI%Ք)J+U(1v["9^K=9dcȑ^_S*{ ( ) nZx8ȯ~Ъ`M Ȑ7u| вɇ2[!o7Y)3(_=s-Kqޕ f)@'C\ Wy3ZX5X"^h7=Y@н; !lXJHW`Sfw<;vR LEI)&wЧ:\D[fj1W*_?QUگPea&+,L˛-Gq1B|nBt5]FHHP[?>GloTtIU,skrKC J֖ sdc$1F֤[njsx2Fq؞v.[:vK_`sXqteGM adSj O .qaN`w :-WÌQ {~/oF.be\헾SMM e-I&XzLtCLtȯ~\̻^H&1G>h_L7aBye.8[k;SJP+cDm\,JYH|ˎzO_$kb=Xͦ ^S; Ԁ7$drMGz~$z+7qPT2f D؝= 6{,ΓS l8?M@@nKYk3` ƁbwO0.ƹ&'.SNJO|+9r?B<ɴ4Fp3_n]󮣾Jj҅=M1OZ6+? T9QVۜ~E&9ws4VjpgWZRۑ\q:H$ +bVAmy$xAwŔ|mUũ%gDRFKQ$n[lZ42 ,=pş_a{UQfSz[vBM:;&I媜CU!9Xil}źYv*,ro-M A`XUfg&:S~oչsj`9HokA(OAԼŌQV]P!Ho )/ :q([j-e6clpK$l<+ڏsS-G@^i=L< ;ڋnlXc9I-/TX@N_H0,U=l <ЌJ*EܐEԟ\/M2GcQL-w׷ qL|(\k>I4 8HV$f"T?5Y''>!z8tD-N~tBO+'LjM:u<†zT/!~6@W!osSUP>56F⚯o\TUĀ*UcJ~N;ɦ݁o;WMi׎_. W&`ZsmJf11qfv P#4yar3?.$#6烓rJ3z=ZDva]Ɗ^:9l5`Zm w h~L %v-'&98|ӐF'I-6ɍ-SϽkWpD& EO%oOӥ|m,G~A''[q6 ͢!3I-IQ|)c^wm`yJ4Z=6;쵐L"jmaic2^T"K`4,O;) X'7** .Ma9 3_K6sE{*hk@,k|$TPߩ^ G3$',1ĹV9joAC+rUIbϿ7sWfvU±‰& 0.ibLޱ? Fs<0XxуG8Z s27_ )Nͤh~lr|zYtjZ?sDh0Ŕ"D,L7ȗt{8· ,h3[*`ݠ(,!|[+";.]3 h g2 .λκ@Uٵ$wbQ ,RcO@xJLԥt |eOM=U.ЧN,,tネtSĎ5-Mhs;%}^M݊C$iRmŌ𮼁p6 }>0YݹJ|`-}I OM Ԋ|(2Yk'h,YȃК -GN(;"1eIr M Z9$-lL'̲ 4HGJk㻃 ?/@cbuDK?T z3 n(qLwV~LYvml>}HXtZQ e!*XRHD &#xPg,w*ped}]Б8{b ^~\tE>Zv]fƻN0?bP<ϝa`x$C > 08EצĶGJc_]Zw [JŦ$(}jL;72 . -T^sX ȐaZY]{?oCoMst,_h.DwTZΟ۶p7Fm/KW2cURb; !}҉Ÿ>q< {Eʭ'pBG\ؑ2RZ1u ~x!ӝ yo89#F|`5' hE11@o|QpQLo߮Òg_ AN f(4kT##H?a(ޒwq9eIY3UStSZ3#=IBB iBH[j QL3tQZ(vP!R"pC:"qT(6_*pp " TYz驝Q薛8G >] ^mO58<$?W]>I-=|4щe-'0t6COC1XS³fFT Ȍ ۣAaPA^5p>TTT2=GJ"LWxkж07.nvYk$ ,tZgߒC'MHI*1s)%9@ٗg0Qii8{ Ĵ+eV[[CĒ!EPJ$osx3>11=B>Dؐ ~ҍ,(W'M/ܢu+&VC1GusjZΫ$'`fUfʖ1oəE@ᣬuS ab[FCCwWrp QCG<̏Bp6Іx ݠk#U0MrZn$n /4Ȗ.e l eBu2ø]93%4OOR6VRNi%, ph|1He,>K4hP6/ {֦\ H8+_kr5f{)ם^8enMJKXІAޥ &zO ~٪%Y3fӽU ,R4P)<7ɺdÊe %̱얢d~~.GupP{P<4'KȇS +R(.F@}+C8k>8t0,KVkX4T#o XU~{O+xY [N^g0\BhX&[Nq)7x:Q(/!ٰ :N͒"L}8Gn[33̱gYZ7zXZִF! @ ]ŗXi%Ϫw^~nM]v@hN O +ieVSOѩSG{Ks,ҰBwؓZr7B%D=w!^T3,4ENB~ Dk1v_oLʮ CY"c]pzpwՄ0k ނxB!-埳[+8OSdTz={WTcd\=ᡦIm,쫀-fX#6!TRKeWpJ LD°=Ib=JNiO6^ʞ;>@Q؊Xz 9j41.Vp@zMqB!M.MUiYF~y %4mbldtgiqsNVP_ Aw:L9&-̎s6]hZ%X(qvJ9̑=QEм V&8>i"6VFrǪv%W눼0K Qbʋ]%,Be_a4Ÿ擭;ϢkmuA}@Bh\]QmS:'HeaYf?Cl dJ4 6ܗDr佩x57'-hsk45}'Υv$=xA*{|yꂕíHkCLů!" OU}Gg*$ >sX ( eF<Zl1,%>  y0[YYr-:/oCSr#kFTRݖZuKq>S%w2Q7s2T>˄b< \qE45^rk̘>\݊#dߓ \j4򜇯'px:*:- ]f-~#ȈֹO`d1 T  #h.}/v ZZqR|r8|t.&z#v8[%cYl:t|HFͦ,6dXd EtUdNȊq)!,Ѿ+Gpd}\XJUy*݂݁nAv:/}G0y20BxH$k?-b!k N?̘-Ǐb=7qae,56p6RjaHl-p0XI9Oʱxh鑼7ޏ8NOKsř؍Jڿ6"Tz)\BRMm]YTI[i)T,[_F} .;MѥzX9ԶNKhu|/[7E_$)3pV1 I=f;$5hH҃ݓv,*\8HeTj9sn"χC"yM`^qsU8bײ~=^b UQ`~8 ?} Je hlj 4rG \$ 7otew}{̗,P 1WX}oB(HMBQsAǻ?*P> <4[~/F:ܺ>q~\'&HoRfa wTeڑif>*sB xgdH3Yk3{gga"qR/D@3/ SHpG`v5J|Mֆ)-#P{!x;!D QK$y3"L \)vaڄYR`.~F JS!x~.+X$QA l<2Ƕ4Bv˚W rGCWJ♻yrN3y~͂;|ܜ ;TAHzta_coО(οxj ~:oQu֑ߞJ1^X96ua]ݕ[QXzb$d= Ӧ@>Dhb^crhV3v礆8y ق;9,`fT6%qg_