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  6 6;%l$ ] UPF_Firewall:threads=2elapsed=131.522cpu=217.232gc=9.840factor=1.657zXZִF! 4 ]ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%|">FFۆ DݽMlO9t (E3[7o0S½ <vpFxd ?+ӆR)DQÅ#e.brސ,s" A&|9GPz5'avb6;fE@@p˥$64aRhTI7vsĐStW#7C-;~f4lG|y0tճ.bnoac=:ellTV;n{!v!g9G`u` 6u] Ǯ<*[U XV]%ˇP5*Fqo>zv~ݏ0cL%Bї.U=in4w$tS$ۤ}LR(c&:E#g@Wev)$ "& .M kI4 '&ؿɼ4煚N4|QX z\tXg85e:7&WXMag'ח0 QE`S! ['Y@:_[J.2^&\U(8 i܏pҗ*Ҝ3ZgJ<ɯu=Dfhfϕ8ƶF; YxWh&iIm4J \`J*jf\W}x+hꡣʷ|hIs̓3-T'o=lG8c٩ A[i6 ($Z<)*TU] -Ok;,`9ba!gCdJ%{7G39H5sht!z=q)[YR/ $r&QL&4(*m&? HNYYs+g.M=P'O͎w.6_Pmؕԍ ~c (fTJWfxb/),डtFPqFPV8T27m5a!բ!4m\B&,6ƒ9bSU8a3~z>֞ B|dQhq+[>v>1J(B꟎Z (0f&>.I[?]oP ii?L%xϒZu 2 cs s%|M % UPF_Firewallr$[Rt1zmVx%, P8JR=d/_k ~ڬM.T=̲KѝRJaQ e:sδ4\:3i r ;k+=_IqzrHu(ς`uzozyFā&-<^I0ᯰp-1@|Pb^F~h;Ţd)=a['ʝ$Mo-g)0q/v^"ɗy "=EHùAc:&?2RA'T6YɬBPbc͜l[acUʞK1S*@2BQTkdjxc>S}??ZE7ۯXsI3{)iwt0S#yn u֦m_;VB ;Kz0|mwrEaqVou}"iBy$XhQ5P#br_2$w@hѷ2h3"5LTz=Emm^7d[DяbəqFsUí_9JH5q/jAx[&TIõLg!LBs;8T/z*/:rm*n͜UK4g6IoVK GN4i$ZnRyM.n߷R 6=; Ϗ)s$hYB$o"k3 $Wa']Q9>əÁb:&&@5~ ofotI`?kžs$nCE psm_|aR;g]I$EtЄ7&[2'Q3xo5sjC&D%@X3D>慕?3I  4cSSPY)gtg02_ j8 ,wD% ] KX_OTS#ýyOjg-b9wv!GNh}C̡8^TZώt`thlݥfp~a /XH1ͩ X }V|yߕ\ͫ{K$qȖޔf% ō[EkKTbL%'Uىs y 1EԮH"O}q|I&16Chs}VYaaVc|lXۙo])L)C6>6(mX)+-g AZ3.xZJ>ūnQSo@lLƊNG;ꉢW[^m}9/9SZ)4gf~ ";:oqو n술2.ItL1{G9QeV0p*C1V {lZ!.hˍnJjji|;Ny9bdX̎}Ȓ _$i~H'ԃc>( _w ʴ6ӒN(UGve[Zf vO coFJԆ1ep(/-"D,2-T#lt;A7;g0k~fm1Zz(`}-89==#@2:8RjwE*ᕋ%vEpA;o" y4T !g:T{.unAhw_12M"ifoWaԩ+*MS%4+lwynDwB&(п\dϮ[R)~sEQVo&_)Mo]@@=sM71"R7zPpw|PþJ!lWvx|!_#^d` vkƅoM#(X~zbВS=!8YϠ2~#c_X -!F2Wִqx8 Rm:ժWTILZNL6EXZ}aw[#ȚRrء U@[4v6?8Mz^k>l>FC yp>:*i;KVTVȡ3@l%J\pA;.\cЉb5SԮsv裠\i@hDRIt ׿iH48\i{}JZ0^9CQ ͔j䭻p47*A %c YKj_MM$ͧURzjg*CI D-Oo L>zhI:Fl_ L Rgћ\cyI|?Hn6PoEG@-"=XOAXRKت~'ȋdݳvf5>G£w@} Pz}8Զ7Vk79 4Th`ѫ)<$Ng=:׆'";|5 W8썗l<Ǧ=E-WYk23ܾ#fw|`Eʇ:]kE)^~;.DlW{N 0iUE > ^Glbq(Ǯԅ|;'m׋|?x<3] M:1GURj9b锒 SK7vx婌OǣP*=;'0Evfk/eN[tS +.uN8wZ3Mݔ2ڵ`ÁIM(xrbE{Bs> U橿f$Ubn E̻#,ͯwTbLͷ}\"=oz)(XxmԬ k̤v$XZ͏6 ˶ GL%bnSh 05`ͣhCfߋg&5뷖>.y@M$>OwU|S u<កx0L]rs$9A$؊/N\񭔳$n3·Tv4ܷu:57 hs`_<8=f2Y2Q<733:$d8t>S'vO /$OuTv -m}N&l$I+f-5m*D[[|bPO }Pv %C1Z F,g? ƌ(*tvegi,7?(zf 6Hly^Y"^0.Rjpi9 Ve}(Ӟ\RZ%őTJ"HdJB yuG9*HUVJO|(<P5MizٯuO:6Ҳ<:vǞ⪕~>6ĎuWPl&{ Η6*b yټjǑ+G Վ5xlLYQCTa|IxbJ%Qat0k"KP=9 o8~5-̰T @u2R0 Lbh·ыf<O$@]5s!-C]xZڷY)F{ ~W|NFZ2ތh:er)>??Qjct읂r*iH"̚,P ܌2DF \V^PΆ10G2@"Sg$)>J!3z-$jS'ݺmStE9ѹS͇[mTw8&jL[V%q(*@w'ї#,bBIt#AMg=r_{F4nCX \j~y;8jvL 㭞n ʺ~(ϧ$lV˝mQmqHN orqn/;:3}[$/uf&Eͻc7ܧ=YZI14gWWD=(ngk&U3j?kׄdI1V^NT(*Y٢y|ٱ%S 3PV3Ao̊Q'f2Wc¾h2ݲYtՏ^NFOzF˦9N)-ꄵIS[$;LʽaufL\{4qf/O(#"KLco&vrUyUJO`[oU2DIFaWx͡rzpCBj@}-!)5dEq>?{(y4{ڽR*@\ K6!Sz[QB-Ռ@ua=(;-_hq*׼fC9NP_@OWخ* X@1%;5U\wSd>;+9x);Y $Ƿ@No+8Yxe[U7d[7%"ߩsf^qFEj 9$kxk2 rU꺞4_DjatS_*74 HꮱgYZ64b523c6c7484fe279b9755554b348868fce8f4a0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 fb0165fba74d06efbec8fb27fff8bf0cd6a383b7