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 /M\, % Password_Authentication_Protocol:threads=2elapsed=104.956cpu=179.460gc=5.148factor=1.717zXZִF! ~e]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 ۔e!#m]UfmmEƈ94϶ATqK{h$س=|\cjh5Z'J5RZ;nWZL=7w$nPSo6{ |ބj МJJ9 >]y[%`g%J;(L|RT`AUt?'=}3U)5xr#BK6~k7c/}u^su$u@_zBe'+ijդ5rULՅ&43f `>}',ߵ_8QzyjHԒ?/YJ*ALlUD$r`w_Wb$T/ )*+)%sDG~W0ݸ^gyh0bDJ>pvI>Yv+?1V]ތ)e~N#C÷2IǰZ #M Password_Authentication_ProtocolrER"Ѣխ:/[zzcEiXHsJn4! y_C ,0zmֽp]xax`h3q&.&d54'LgC&9nčfe 8$iVp>kQXUD,Kze.z3tbpg.{2N>G3l 6#|p.ę-V'ʸl»vhn/0/7{rͶ=bWB֢_{ e54z$8`-k믡h y"܇ =eƅ@M:ks@jeX43Bl ,>FRӳ r@?bE 5O1C]fQ6>i͇)W^a+: 0u:$Y 2!T8ý4Msom/:Vg,_qqrq0چx<+Q~ŨECl%4kwvKH~ij@07L_Nd)#CH_MUBBSgKY!xz+oLf@ 7Öb,΀UFSڥdDie+nUmS_!?rgx}Yt&md-"lv͝hKdH-|Ɋ;BqKy:)41^Ǘkm\%Fm\(GLqtӡDL)Agf f:x=n.3aܑuc-U!w) Pz/b9(vଭ?(pnOgHn{مZئ9uu%eDY{Dn-1E7jfܼRab JQI%ӓh!ޣ<:` ũW;DWh_+_:\D6q>wQbo,I7Aӻ! p/&uþLّ60T;ן.J}[GߙL%yCRP9iarEЧ =gצky"@깹;-,W,otq#bdz =!-&UIiêFlPYY.@?s; @z߯<1āZ6nC&+ d?_%%᜺=YD 4tiɢ\s<Ɉfy# Uc=$S޶F͘xm\j}Gv"c[=SՕTEyw .e)V;h6*W0zxahJb)S9gYZ7zXZִF! ]ŗXi%Q}~PS16.~Uy;GԵD2Y l|G(P!R/6CPg+ؔRn/j-#Rݎ !>t_ UMx#;>h.Uz 5n^&_/ZT}wWv]36C, iܾ3m@o_FAvҘQ1js ?ʝAC !"H C&+$!NJv}U8ż_y킕 P.N:`F*8ݐ3 $R  Id|TKc_\w2GO+4BzWp[ ⟙BTŽƐ{I* 0?Dl~\8hޟȘ؄nI;s?QLf2D ,g؄tEy(7/NaT>Tήrf#fRFh[u?Lbj>3GFmAn!H=&s_*IȜ__eVSg y3o\w[L_loz5wB_d7N5 X!f|<$UrD~b Ŕ96^/lNjP<_l?r Z(;]Bdt 7]3kz"3LΤQ#62ǩSxnG>|\xy#uƆPHb Ȅ%Fmń)oR,׫rb+2˪רי$%d>Xa y©Llb,7ˊT&*[{0TuZ" ?dv>6E+Ad|[D>>&b3_Q ZhPHﲾ tT鴱w~uښ]3OR͎1, ӼI& @UiF&3cuLْ[;~[נV*WhUT@?y$w9 O(wLs@e BU&L7< @fdtoͻUMp6W n 2$jG() v\ By BhWM"5n*[~,Qi8"dm,IA qٱq] $v Kwr2'M㋵ήZMf'&'#~ UW gk0\Q+!V1y,q e٧:' v%[lP*_H5F8u݌dՌ a";pxE:Bwr[7>;9 _}K*vq Q:I}VuF~=ޤ,*ٚF_YGo4 0xMOknYraڮ&7MmcPAn 6bd@د_{fRF_?)M|v2贛+N0yj#wZ:WC=G::KL?~7΀UK71QzQ o6 76ݞOA*=Q?'zhTw5y'M)rzGaY5A~(%io= Y-:sl( s躾:=O0erϓyD2^Od^,ρ&V;'`2չ6(yJa ĶN3߼Md {NQ| ZAYY_Ձٶj쉞z2󆫺K bLhbEݪc= [ LμL'Ձax.Ö@KiSJu)Wp>3H/vBc1QD6`ЩJ0u4;TjUAHU*p9XD~1ۭ-DZTFƩLfT,2ܱ@\tL2)1n-z!p埂EJ9/V8iDt&8wmF5wUO9rolK|VkiIMYc7Ƌۊ'eEyhp{ŐQC#i /0<=xylئ_X3P >؆#X$\ Mg v+jUUB^ !RqQ$Ash(aLĨ(Ϫ.d,-,wEf lc7 D陪.,s#/K'J[q$P%}C .޽>rG Б9 ɭ `E =roqi`IyMĂrhϟT|H{n)^:b7]+hv( "xmF>t|in[y'T X1Şw[xb~~6A^&(rzఊ /=8ŞfR=; )A/ىV`~ȫ pXM'dS=6 -(×EohJ+մ\(.>Iˍ૽@׶JCz!r\OT$;tL}Ԫfdh! Ce"F5S>êWHjTYLio[omalAc #%@G5P[2+NA:c~L)M&'o5w g M"< )E.#n*',U|W vtC35A֕1\;8* `ҮF`ܷ\ccJbys/D[OX+U\Y\*"_(څ{F~' 8n 9;1&4'އ"i;X&$A~Kr򦠈SJsvk;:-g~Io!oCkTwPj 0%dw$WSGLr{_]Ci'#g 7QnRu*+CޡUIJmFH] C2̥)kﻥ-hOo,_=G(.+BX)C7Y号*W^+4>+Ë$L*l? n܏ `}IM$۷vf"L>7Jg cO|| .ȑU$>g]qܨ: IҘlW %jkZ++0Q e^ ma6)8GQOL$Pş0ݬ*0V5|u/_Jg t۩Bu#Raʩ9=i=znz~ %V>RG?#z:?м^X܉Ti=ab1fIPtLlܣ{~(Zb|LGhT3Oӌ0YsuaEyX-^BZ~N%uw܇h_73 Wɐrv>q>n]ĦouSe`pZWIv 0^DPߺ34IZ&bnYN &MF#aVjrpp zdGׯ(2) "qNK 8&04r &<S\4fdk Bd;a_!H+Xֽ+F O^jbt6SjYJ)dTSVgm&(ʠD>9 j_GC5|CgU$@qF!0c GްNj9@:BU|չ 0`z+>2j5Oj)$6В0UP]ЬiK;%2gO ,&Ϯv[:2zx&)ro1xĸ,>#fsIײd9euI̽1P[/'|}%u?D~xM:]WiCj3tD¯ oU nU" Hccpp1hT6N4_-$OFV?Z(3 @+y,)j!uO|8&f%SER?oLys:sPX?R0}ʱˣ@!Қ5"LAL6߇;4