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 ==4,T O LOFT:threads=2elapsed=205.406cpu=360.452gc=10.968factor=1.757zXZִF! 8]ŗXf1-/6vRZ0-d!'?BɆ/A*_D-n?SNPw{)*_ԳV2տ.KEdHpjDl ýP@8 |9F1zbpMڹ>RyOc.|Qnry7}AdQo?u1QW7FƔP0E T2UO~w+rT{~brE}_ZZlvj>".gYi^ӝfp:qžGH&OtN2-L@Mb倬CZ)D HrW{/ۿ_d`z%(=.P2ZtZۉ=`YJS$R,aN>ksD(9cOnjd*_:8RYz2аVOU2 _QYZfkDžGpP_W'v_wHj̩`}|Ugp}sWq];쪍(M/#ϻ׳LQ*TŖbqhlU$xҗqq%;h15AΆO&yXTrZQViwRC%*i,C #[aed%aqs zEۥp7Fcw38<-C,`~XOX* !ݒڀFweOE%49O◜$/ ˯1ժxKu iKաNg px0Egš#(OiVI-`gڊﻕ5Z{//mF,<NNuQk&;| 8Km"#sOȶH_Պ@g8B}~}Fx fq4 Fc5ЂY*jUGŸ]A'|֋5 =gp$iTG+Ptഀ"_tZ0O50U>CEv1&4x`?ULJ!s,҄di vG.ŜtXN8m*nMӷcf$)5|$b)MoeY̾P!=jc4.PN LX .o| B IVW8XK^aR>m%RO*R0ܠz)Ī~I:[~WK& qYCgYZ7zXZִF! j#]ŗXi%6?ƛ9*6|!v9&u&l\jT}f R~'jfQOM ^x+K.Y"˽W.d|&l#soFJQ^I~!% 퇌9w⍃ШNkqpܟ^VB4ժe^io*+.FM/ R$\'4| &P*q@93\ QVtvn(kzRX,)@զ;3Cv CD KP2A.b$QAb־q:G빿:95rdzQ:/Ag_Ct'[kA:+Mz#"gaH..,ns`Gd]b^ՀKcNlt^3t0Wd;*^R,ǕNU7#U7OMj -}>xWuZAST12֬+Ÿt_%[s)Hz=2ɣ@.,ڑ`.Ţfij1ZJSh6V+/ 矘o^(>iBd>ڐtWm[FT9 W=M bl-krUa D]R3&̽ex2_y[*G)+jf͇<مa3*9H8͎?aS#͏ 4fL}x>8,߬M3N\, e!n̉4!S;'XYA /\X\KElA+>MJAC Z"ϧTH u$|7ylPvR3:xs:R>͐ljWDxC/X`vChA~?mrދr=0rV?:0ݘXwQohk0- Znc]I؎̆kmj$ w^n."͡De6,q?݃R58f1ɘ=-pv NNe&$/yUM'Wkk7+b0$^ >BEoHd T`N9R8 B#<\ߏ /IU6G^؋?iJeC62v}4ʽ4@5 )r/4D"^l^s"oPq)o x`;,!}N@ڢQ=M<%[c4/*k NBZpPX@ bWsԲ <3 4͐@W\kȏCs{2_CMdz, bO@0xE  LOFT9WQg9ˆDwBY)J`*un mʯR)_ R"] >%P|HѰ \:g^@-/rHsQ7T no['A+k+{vo1: OMD? rg>#ބYZkO߸ g3sw3<y*|>VW([ EBI>vRs]hre08F62s aݍucg lhcJxDuChHfy rad9ޯB&rT/vDhڢP30;D}>YcmI_V7Tڗg  S R.vy ìzBΦɟߦH5T`l4H*n0&IuZ5l+ٍ- $hBLtxmø&UZL wR8'*B/u+ӹr(w*OQ62華@nqSZC0t“ĺ:C}γῴʢu`?oS_SxΤ<y)PfVӝE#46Ln_!2#Q8>_L!E 9ָż[-8@LaCG#~YA}殷 mGxiK{i`?֘2PP PZ84._^]~̀JOKXR0l:!Ixg:H>M},GNw֥LSIa-z}ߘ:fR7'&9cl\ ["JFE&곂%P#*$38B5l61Y4m]ˑ|N)f;*'y#A|]*fZo[C/{.A=bGdIr^?sCEs,s>ncSn\ BԆq; Xzj%wNݪ?ZM)2,w,nQU>B #JS%ghDΚ6qp:&ň}>c,5wvԶ[~XxFvnp@"kGPVxDD+~? |ĸaљ/0`L{n<`0?e8͛Ǽg4=x{N™@ZHFO`,|=j3v>.Z7c&5F`+׾98^mF/qRf3rE]ƘOlꪐZufI] .oiC8Ĭ A%/sWᠥBpFYDBf!S1=.ttdkřݺ_1,>i,źWE 1H9:?DVQĐ}?%s;| (u_e3 Toa|o3 e^s\îpB2Bnc"n[: @dL\Da5}/CF snše$nRRpWvDab׸?\ h 8̠n296G>{ia5r_w:. ػ!|%?r1%(m HnN'Ngب4Sh1 4ŭt/^.8'aQU=!x!lp@cHOYኺ62)|y|gYK#)BƏ睠0(-s|@/ %C7ptO`T6c]&Y? +1^v@ ,>NhDI>V.J|ujL 9Ry ;*W19k4Oʾo'>gs-8DwwQ P6,(q6&:emX5 ˡN/%(wir̫G>zI&=y]kl%:pZ̀{6dL?>6,)R0g84iu9~Y{X2b9-*`90寔?qWWa#0BA(wjsc`^?onn~1;8˳nn^ӛ2nI z}SX5G9zGx:ӿ*衁p O)ObPIݘ"?N[ O{I??PݴPQ2(uP,-}>ӓ̟RjZ? .CU$Yܺ٨;w5c_UIfmD 2UX^NxI;, YlQ!MDHD ny=%QRŠo.41"TpR1@Ts|lr<=zrM􆳝:g7Bx7< " Jgy W;]S8{w׽UpE,>:`( xݵڦ,0r:SL~qԤ ЇG5nRs"qƙm/Mg*ܨez]sb8s=&F7d5K[n(j$7\6m ƪ^$eS<%\Rul%:Z 66bnzȚCt^3susɕ"  ˷DNHW%y]:8mOx$Xb2Z9TY 9e)Em4X# LPUKSњF[g͂A>`CEř/.N#z\Ԑ6葿SLD"2+u|U9Ci(o/$[,E\Oi q OENX|jy_FS o$(6.{#cah ^ˣz*DGs﹯è"|@hF)YEEpvEC7hyA?iwf_02j9veY_vdZ(A]&lŚ1#\xmeJnx4 `.կ Mq+Fxi(PeAPS2L[,g:׹)%cY1T] St%.:,_Fͨoo݈i(1eq,fRjJ#⍱@s6h`pڽU7VfXW 3_#),ީXnee]`i\sS& ƌe 9lf&u'2 F`BT zhyrRĺS &P '2;;(&U@9)T[܈jSL`bcݜ##"h^Ip"ܐTmu yRVƿҒ-yu=M1M˧`A5K eT 3nvϘ܏fhf3+7PXCvP5tusFjVBْ,rn^T]J5eW.q?9zq2.,++ݸ&'bNEJ?Q+A5 Di%\D6r#pG gՒrxө?^{z0_Pf^ p=ĝ՟}ݲĒH;"4kd@cP~xK ETÜ T_?"݆hm6Udtb7gc̪uXb2Z$.6P̻h$O"6:,[ .:dk4=#E?9oqqPı.\*bʊsljOmk33ui{iZ僉k&R>So7wxFRԛDdTfcDv.;g*z۴& }Z|<]jT|Ĺw^_./a]g6/OB40q ]5 1#n7ԃbgt-n3>6944?$ <5٘0&ZACq|]l]@b&cR,a)iXnԧkI_c|v xccv=uh &ɺ%N #&=_/K!FTL0b/;Hb<{.FzBƎrR=H32ڌ5$\|U( `z,\ ߈Lpp+mLh 4́ΕN\z?{YMbG:?&X6\!ą=  X~I0atk<6zqP*}aC#'%V3җ.=$i m]U z&=aGA\F%K&yêrG01$đUHX0[kxm KIndpWvXTm{(%t/5L"? @4,_|(oEȁ9|;n&NV+[) z67C6RZZ}TcGۈ;#vcҧP=ɋ'#h Lq9~}XJ) ׼I1Bx|~}N+6^sI{8\0WcqTMW fAjUZ?pi^Fd() Ԋn) 8ҸNtM,:GYЂc5hګ,=0oϖ17owPB+vx|3 <ÒR{55eIr惠toq8 5RUy2 L1Pn