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  7 7:1 {9!ƠX찕.8pp 7xYdn0Ar&cXh n 4#]hMSnC;tMvR0G@u*L0)=ȚP ]eP#PAr8>DxT"Gb9y8|~bj>42,ۮI/>d' k4 T@6K3.6Պ9 \ٞAh}FVD$N][우b2yC(D='?,ػ%g0LMo~"[ed2 Z084eq^>ySү,5uW[=z&@C7  , _T!YCD ECZޝaV̉ aRݴ8{#VM\Cj7n`v!ǡg4&ȅo%fj;LOK"޷<,|A'nu/,gA/(geS(HVɧwidZG}G,v9* YX!>l5* *τX%؀B!XRqfq~ڃiW^kߤ8<e3 hHQV XtGBwrž%`@@?7E1K3ͪ6O(ff3GSUQхwZrLpxvgw ^N M)A&&9Rd?S "7oX kʠXهj6nF*Wڎ# xua&TR,律3 o]PQ>*l=5lNXOXʥ%(eƺG)GC?f(oh ]n-/\r@6hYKwL jyO 9.=A<.?+>P6-uB.1 ao: m@Yſ.9kya.Vu'J>#dn˴< Ny4j ̡x @2*0--m|K^PO@+_֗%3#5Heժ9!'xࡌ-Gg,_f)xk?0{5ܫtk**$:wLUh"c4RM4hDR( 4kQ1:dNp'σ.5^`}ĕAUrNbo6F¢c˄ۯ:9d%tmlty`ɍ>JbnUы؊y𾎐.\z7N& 5)|_'$3pg'2T7zyX ؼP3$?xnݔ0֑-D/&~vkkfp@-P`Ds-I21k7Hz6ʅ5pg&'UNG/[הF"DT ۊop,P5W9K=Kz;FM]궂I+߆)ArA)Wބ6!ڰ[C˃g؁z+ꅬB(uJy$(?D ]"g)ٷ_I*zFyQe1.m/^TzHR~ 1:5w< ɟBK =(tt nxQ /DzVA % h4b&Ks{["b$H⭀ gCzl-y2f5a#j| ESfT0pEk+gYZ7zXZִF! 2J]ŗXi%qDbVTcnk-h]s4e,oz*if굒MqBt،ղTѫ|Z-3@:tp[57K1ToŐUz4M1Ğ~|˞o lI"_9e?)ja4!zh m3⻒Deq{KH~EL\R_vj#yӵ"MՂԔ90}]+|;5qGEdq~7lԈX0*0qZRpZpl|h@i H]F *ѡو^G?$G@(% ۄkHLl)X8¥!nkػ<,-?Ц|^kpXJg+>^}CO~qsUY>e5%lZ̜"5iBH?zϚJ͜QjŻmQ!K : L?D1b>tJ + HsMta Y">)igYu34)I;Gz(Lf:sP  {}ϕˀ-W%2)mg•aem+Co#PwRbQ⸇߹&F_`J^jpA?Q(L~|ر?}5/ʒjByiOQ)Rc\+MSVbk5,-|QR@N2=}xH MjE Q*O!&RXP[jU+-u+_~I`E qeQZL6[yhb$g֑Z^[ s!VHfvh0 *_ ΍ÔQ_E2ŦO5YC#^QtB2MCPm~Cx9Ld#LKemS?9 qFǢ6jz2P9ncˊb~+vmV+*7^UxXĵ%XI7 =||.ݨ0P-AW}ь8/y/ )(hVvTŷKuro;`嫣o=%hfN/ ҭ^vh !$>y ^BjܼF[㩙OjadT3r3_K}= WD"Y5%'FQIMܭ޺#W0YnDO1ܤ+f׍.1]RGh_9g(;ĞO Y(XiEҗb-08D?Ԥr^"%Fbn++iBNQ.Ё摚r\/) EV ۼ"4=.OzBėoIDۡ.k0~P>P8}*Un 4ۋ[?f?Ѥ[wD>: DlJԒ.Ug?V2@MNoMqZ'bVx̵,~՘sތC( B'jwq gj\wǭՂ~ay_D<3gC|W'Y>i.s]q583,z;k[%U hG.n尪w{ l`_ EZf̮ S߷!0BwSZƚH㣺 6ںbhkYYznØX_޳YDm(ѳz'kh>C߉ҿU3|4LȰr3tXȣ_qI?7(tYIkF_Bq7WQiyye.`w__D"J T^֬{jR3^e.{Kq D>ܻ%gݓ;'-(sμ 4øʌ1ϺV bO6mQDb+6Gxv;L$0WXD Fɾt+zYC mYx~.х&W`'6A*1fv1H1]?&O;p I/*d~?./N^z 7Gtg,ahpG7bAw{nOԫ~:daaA;lgBW1Jde:T< O  -tn;1|#hnQ`YF>x{Ya)r\Hu.

#/QHiNE޴S!p+= 2R*l$V!/l p7HôeiXU2b5]3%8jnu..~WVNlldB)#i[!qʍ vƘ/N)d=|-' hK`/s#K qC9P\ρ,xZՀS*P"-) ct4xѱ.7%/HRA-ښX7JLpB7XK8doFZ4 XH ֤򹬚iCy{fUo}/ D׶ ep%w. 2AGl&HH&pHT0 Q3#cLiLCccx;rƮ@T#N˜Xv- qcO+T}x);?i=,9*.diV;kD/Lsnh}JkOGK̰QXd*89ف6FYK׸kww8Gx#!e=d6@МTcDRU~U?>lEcBgi2xOgrC5UiGEcCV_cDƣaVQ/Jk|PϔD[mS"d²=9́Z7U-t{8Z>X:Y$` M{_WjZ+?>aG)y O]tOr<8<~g. <+,py'!ywʗ]'5jIGx3j-}NSD"Q0V/+Cj1'5JN5WY:('*v: !ҌEF8I8ÀHyfҩ,6SOaW蛌US8xY!dD B-v㵻eK:$fg90uCP!{ut?j5yV3ƴ1yѦ9#ee~vHH 2+ ErsdFد w`(hKs}ätCr@ /iGVq%C:$VF=qxN̪x˓%=H͂~J*Ay*-b\]]# "l KS#Nzk5ƧǮgD!Sj[Y@OQkTu']]«Aݠe[LOCpL~Mwu+pyJRu$n~,bED(u44Ur VPY(b}z*Q\ЋbNMo!3тO(yjP ۜŬ"SݑV- x!rF3Nv=$UN{+\}֗8ZZ0RԵPɢnWigpT"%/IxtKއ xn0*,Ge#6Y΍~ܘZPcYEf6m=p=PP8'A!ݞ吐Μ5?7{Un*@ÅgBG@@Zqta*G7?ٳÉ94Ô5=hZ`(3iw& ^0/!9fQCYldFJf?vKE֍Ni4]?' WA߰#cűgYZ0df57a61a9f61ea9bd4b302924ec2b9d1e62a98a 170af3e35ee85ed693c7e02d32474cad45081a80 191a957251a8b03a2d2d352a354113609efd9408 2193a97defd5e7fb223e6d89485b66babf61f605 21fb42582593ce413310d14a1ed380fb0e815f7b 264e89fee27eb164a16d7bf9313d6c11ed496746 354e887d84ebd03c3f16f0751c4e5df7fa942a93 361275c960007649c3c65c12d0fda220d5a6435e 5f261943d46020bc849d02e372f4711c78371bf5 62271afa978ca8f3adc87673151e8c514bebb3b2 646197c59a18508cbc13664ad2f6e4859f49866e 71178cde3b57b67a1dd777eb1a36e7a0359d73c8 93e925848e25e810e5d7f19707ebe62a2637d998 9f54c9665a859e58e7d6ad9599de56da6149c75c b996fed53853d902fc5d54d192b14c90099500d4 d4795970b612062727a3e8263b997d8ef29e3425 e905769f90cba473e4e70563b7c5143502dfddfc fb3278fb0990133d686b4dfd84e3ff912d7eb53f fcc578c47ac4987f8e3a4f62108ec5a587c53418e32bafa5278104b4080f2c7378c9e2c506c4e27c 6a4c2b648ffbbe61b70156c6b0c49ab49daa7b23