SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  q qw# ؽΒ$%`?D+l6 \಺pR5J^o+*k, uC(UU:H%, ki!Cٵ%:_7m{: b89w,9[k0nN B5hѵQk>R÷TLI_ ^UAgaX8vB,{,!/2} 8om\li5SZSZ!6 E~j:[OJr8.{h蔪<9XXq% g>}R+EnTu>}}{(J49„k{CHbԣ1Š1M݅<3GyUę8ХEch >w+{_hu/J@S3}É$T>avՙۖꆙm{+Hb3#7& {JiX{oPe ,jݶ_3:X 7(~D|PGQ[ ?:'"C l9|Af/7c>(U30&Y[(āu/!; }vk%ӼO&,0en$4g~ :A(JQhT7n&  '`n*M;  lWȧ`jb傕8wg۞ amߝĂ>*] !g__Ҫֶ@}eoCiFr ~1)GI-fT1 ';:@MǓZ@cPAJvTW0k B]^EEwjI kkV+n%455PY^j1@UB!צ8 ڴx =3D|~eL_ M)g.*]/NP}es^vJOyŸ[墴[̛1DO*u^nմCx>m9 ;u\(1í~ wm,^?B<$/miDW!{4yH}d+eO)W 0SvrRiԛ' #]"%߂ D ܆"qٷA|UQp{R/"`jXRgѴP9D! }% ugYc %4az ^bt l 0{ {0SB lt=;ѭ`// B3$ $t4 >"sݾuWdR2ö-rv9me9'tV(Y_+Ncw +M X= 5ޙׄ/Z(T3%7ÚJHKt*IϫԽ? RJ-CGVԓ8#F].* %zZڼbmvC y1 :^wC8Kkn\\rN.l$ Y&VNeɢXj Q7me3]WZ`zʠ0A_dSǚت$8>JaO^bTQj ktD^[24h־>ҶAdT fme1}&YZDٌM5#tYcu5;k3B›Qb;Uhː"O4_kQJƑNJ"Hv!n4L\CT+&ӊo vrr~nER^?{S|!N0.u$ACJgYZ7zXZִF! .]ŗXi%7-[d49@ed&r1(>bu5=̣A]&G, 7P#Łu/G)CؾZ95p߃dxT$#(ag27t'U ̷qm_F(AM*xǧnYn+"=1DöS#_NKk![%V\ͻ3YeY2˥5TiN-Ŀ% ǼvV$;Zhdz w6ݔO6G7aai key30@.Hv8 _1C/>L{q *p _ PyjU$DipKAF'gVьEKZs+2?0ZrgiUQA&₽HGݷB讋ơ4kg]چffǪmL~6`j0z =TImDom~Kž5"q%=Xaq& #Z ^@] \X) -vrVj1 ˩qٗ0MƖ; i4仭9Vejܸ؇E~6y&L 絕Sʢ CFvyM9lfx"Qcw,I|}l/٪dQBLPe`،"N `zpoXfC@)?WQ@7B.?97`wDҞ.B=źv^e1rk^P(+e6M.- Ikfٴǻ-"HՀÇd۞Z*da:)v mcx W ?ja^"”8ku>8gbNJh g3Z0'YXtXmN&,?/KD5` 1z; [Ӳ1>#2X(fۿh uE\܂4{'!KY*|!1dak%`ɖ'G1C:Y%SB_Nna"w`_K{ 줾C 8vQK -yјHOLz|mxo`t +kzJ`)8s)ؗrM!D}qͭ5UR[jȍ57C ICsK|9jKŲ[X Qw7 |YhOgⷽsCmn׻ 2+ 3$;_6 ]|~:[v]ᠩuq=ߡhLԿ+kΜ!%aCn]:7/ɇJc׵ 4- }L6Ix$dV0GX9Ʈ{Qd+[2sv}%NP5D,M#v|ur$vw 7%+O~P!5DMy.S IsrbP'0\(\wo[!h'[g`kȆknw.1dCa;ڹ2>rK XZDuБvt͉Gc#& L:?S(7(V];cAޅXݳ*B*2bckgYA*.2\#̝hkt58acZ4l>ɘMX֥H n:9%g#1/}f!\n5$jI ^XLԻu؀ p1wֲ-XJL*,Qh_Pbi& 7nL<E}0YK9}.b Mjj߼i)6xY^B4?.@$E8WLO* lQ}|ͯ8BJH.GgkޖagyH?苜 #ƭ6ےaN cuZ'͜Kb\7Bܭ4ԭx(lo?y-l=s<)+_$Cvrn8TzTnG*T^J-]Ģp7?ܭb|UTLXqtF˛)+hVR`ɀCx{{uYԂt +gAti&W9̐; !i Rx~|a-;id?=B.#wT3R#Oكe,JjMDvLks7Mg tQm'@]t$lLKT.o 1q k= НtV /; 0}W̫?b0o)LxY&D9?P~b\@v-RgDk'gk $i`üec]ȭ qJoa"߽KZB:$ B u6LpabZ?YrsM*& }(<3v, ]j6ЧkN$@2d ܭgd]&Az}\b$(|3 ;r-3?6 wʩj D垪w(01UQi:Z5 +؛$k-n=R=}^s&~e'I`K+:X :QݤG{y X#}[sQg٫mUXSy[,4=VzU'_2VEWF,Żc1u%5J9ւ (8(K#*86h7 7w&` m]#,诏VX0Mdzx rVnvVfeu;rԦ =AHYL.y[[d,A(✫;*:ÜjpB֝1 LmeQkbӝsȲRfs'Yh$)7]-nۃ ^;I\> ?J۶(giesj4]4P~Vi-3i*\=QV`҄O+(K6rtn?kdu!du&*ZA69X3$O==ǘWBx]D_{8KJ>峲IhN3Vá *=WN:*Nrh4nPVH0dUﳬYɵA>kdj=w(D7|TlCBY3wd/g3`;IҘ ˞ϳZBˢBfP^:]t}slv ּi(iqь>XiqT -9Zy?a\w;D%銨C"み'3 N'v>C{zƼTa?daI^{p0OF20k @>] ybBu3ϓPsJ(fNp85oɣcAN8eh_Վrf/h#w0f “ˁ#+'fPޚ k $!Y@c+8:"hk٣,Ni ^; h}Ȱ3|/=Q9Rjͩ='RiqG_ 2l\9?$x7hխ=s Hrĺ#]~f'R8-c\Xe-fvhl r0򘘋T d&fTؘ u}0-;jQ@ʄ$A_GJ(H5.)+sR*i 5b 2s!ɠ*iˏ(>/>A׆~;2Z|j$ĎxxVVݔ優Y8ujĵ$W3a6.u!x3\) "mO(]e/5~%0 |NO7h0}ҕQ'&BA )BD"Nɩ%̧:d1W]_z0%-V!DӮg LlfD44L9K2IϳGȧWEێD}a72N]huE!~v4zx.ܿ+$~Ŋ+­l.)GʉQ>U]Z#drD^NgxBgVf~kJ{r |'ͬW?ɻmvYȮ_dZ@Y ѩlfuJ"?1u=vi#L 7VyR^3oHd j?;+  ) ۧ4ff8%ϖ_[edu!`ku KƐw(,!F_h#2QHƀZtG0NMx 7e* B'a4SLkm Y*# 'okc~&T7ILHLff_͵"OLPdT49~M.Uk!tAi,N1JR]^j>q =ln:VЀc