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ԂcwuT 7 MSO_Regex_Equivalencer \$O b:~6&u?tf߅}_R_x,un3>E'g)Z4AnxO`ӯۆ![_7<] r4yI-$^@ߍ4fM!JՑPB ~kd z f}&sNj%e3^[@%Q+^(0fJ3KrkyeFnxBYz=oQ2 HT*<0Cs-(2:LA { ڍu[dFs]Y,BF:[3/W7XK3YB|ӽYZ`ҝʼiׄW,gvՔ.Ou9ʿWQypX`"|AamY>zIiQp>7̕*jw.88LȪz _:}vL"s lLD[wJ ~qxfBQdkMVg]"$w4qIӺ^ӿmm]ؐIBއ> 8q=6ce+K;_w1*Era{nШ7qz|,gHUX=^hr|G@U&.iv anB; :k}?V؁](v {'u#Svΐ657Y[Ba o2zj֠4 ;a]gC{+ gp}鳮ˏpTT/+JE4Tړ"x!/`+[\Q8Nِy8(?0}[0(Jy7@,H 檖$!{N劢Ge{I~6KMg6GߪGZ%ej"AbXKIdE{1۸o DwYzW"sim= ;`&}y[߿Cu,(xߔ*!p%eEp":?T Kꅲ0'n>b!$p2M2dR $VFEwIB%)EC#7 vPDz^*f|?_#KQ&ɘpb+)'qee%^l6e:2]uh!#|0X>3$ksx? uD~\8^'aE=>hl^ NvfjA;}Fl㘫Dgbq2{nD\3 P56B, #B1 xRHOʀ)yEf|Q^MURFiޫ>SPH>WMrаhd 3VVT ^nES}<yaA.ޒ, (g9E俣x*N7ԿW!Mh=?ڈgFdpω7wCn)?ڈK~L3I63]ic`&]&=KT̀}3$T^%OȻ>@y{;BhlP6g2JfwEMihpUr*݁zVI/mX|1O y*>bPsy!lr PBՋ,2Tє2^oVT> e;Q:6>cT#Ofx/3Js+(h(<VzJLw{[@M5<7q)mUE|=\=YyǀqzP{OmՓ 6GaID/LBM@B :0 (?[8 F$O7gEt+೒{M47.Iozv8tmRh" ' Me38=Ԇ,Aۜ=:ξǯlz0F*웓xܠ.:P0cD·<--(˭aP)MJ+^oR-$* ,*"/\̞Ӵ@W8ڽl`z\Dn_ tĉrEkfV^7' Wh%h'dUʲNH"|ڪcE#p֛0JxM=Rj4->Xkq8mK,D7n+U9 1bn?r MNVv>-ЉGT+[ (+p,A['q(,/~01+XoDyWt7˭Sx:1PS­ DKzihE9h]Pۿ*tJDOX1e\M;l)Wx'/y6[4Hhq\IRN/"LxV]4I"B\`uy}wf!S2oEj4͹a] D%ѦFʳɝmURsLu{)hs pehEC13b•Oz^L,gYZ7zXZִF! 2y}t]ŗXi%6x9x(gc$T3#"APr;)R&#罤o,[$PQv}DZz6h%]%^rEhG&4Qے-I⮪MFW+㼖UiqIT̷9>6{o^m-V?5nصWƭ%loG QN:|3aMC y |5e1T3 SM[ ܘj'vcinnzy0Ơ0|%_ȾQSb53!mGM3ןjp"K-{7yyXg:bcd *ȅL2ÑBXcB<%}YaQYn4` K&,_7'm!pCND7 $!!I\󶪋gAmDu`rUێydz{ yhp6lq5(ͤJ ^ږ ُ^L<"cS'1+)ɚA;J1.+qVpО2^an|L5}ښ)0e'GHk– ǙMc /;fĨMXm<_ѮHޒqќUc৵ף=&;UЁ϶b=?>22(EL0z܁'/Y3 E}ImySN#9*. G"! 0ꇲJWmBBNZ_|?^egZ/~q X|7YgNb( $~hL]VىO7`a!|nq*.IzR J#&^~4KL>Cq_ޮ9ϼxR>#}KѲQ m&s(X@7Sa\M [Nf'L{!5呈`9eq^&O9@Ui n+Eushvkq'XAN*v֨fH*E#NuR+8Qy[,Zap*WI #&@͗hqN%BJLn8Y~^`hHdMEp*/$`vj˝~Sє\Z<΀O+4a? 3|Q(?np r8k: .]ʭ ݗq|zDK޻DS\3e5a2yLP.sL^lW.ec898:Yy^ &G׻r_17ԵGeM-~JΟON4f*85[ jLq욓>o5`a h߹O=Abk3q}*=2H1Ioγ(&q ǤWqY-;{j.y}-aSpp83.%Z&*ޢmF&>1YPޅd))(nX^pp'%]LAҳ%YY\fđ7]#e⨏y^"V ^#$*_0,>!EeX!W0/&AΪ;&Td?0O+͝ -۟/GҎB͈fp)Iǧ3ߘ 9y7SQQ(|ɋ7?a%6_-1[͜QNݧ?W:FܚcvtO=> w'PK= $ b7|,NHEB$SηA)өSN]LX<~;}Y0l%ZXjB0k13.*45i"E2`+e6^x4h/-T k.=- P# A$@qtϤLprBO٬03Q4N$ɼhi.2HXí>&1qU e@I+ 챴{hKY8i[4Rce-FOm hi恝( %r xr_Yq%nƒ9wMrNXjB5(u;~mj, XQ¹6ɚjκ,-: U>lZm! qyˇ0l[Y),KUQ_DMeSH oO딩?c9m<[mz"" /- [Odf+DGRe2m5Ju(<Ȝ6j@<XEUOїMngĒ9A/`7=E^=lb8AL]u Ǔk^6p S dB]L~ pY4)Jpz +cc[E(;l{ӧ ?(Ek-\I{bf |2 @d2õuS<~@0Y ٽcm9wϛc&5՝OD#|͚f) Ń mOyyy+)x{rgSvvDv%,, w/UK0V vQx^t>h~I|Dy|eap{$q Ul2VŠ {Kc~'@.'+.4O7@V3AZpF ۷85;|-㗔.ۀ̾kF}R!D7yj`%nIֺP8W,>nwкFsq }qj *9W!DA;{!S JNvX/~"$`'?;$(8j.y51W LM9VD<.Q S:{3`"# ]^.ܨ-7{W!KؙtIu|7i@v,F$9p{7{c 6]v_{کZ}jE3]WڵkAԟ.*f>N%ESQ<#8vr2ndCKỹ+b%!H(sҔ~wWDpb*NIZ᠖3KJ3v]8pO&v}&3 /ՐZlp)2/0V>s29u8[k @v5Kն9U:ᴥoo^T0< ,@G^5-70‡GYUɄJώMS-IW -nmz2 ߗ:qa GXTyh,d7SIaȴ*31 5>vMt5ɑt_!ʲEi3g+aŐ7V,7!a Yhk=i ( r9Pt`,n 4:gk_)ToiU䖌6苀 hpG9_ 3WZٔf31XeM+8\`QIz;_ҫs9G%oLϖF6q,m;cT1<*LĀ)W7}].㹿#39lߖXB+>q%6ʢ+٬ݖ'-hwDc& Ia!EE,i+)|{m~S1IYM,PP?-b?6mĬtR0-pd7g"l p#]7P`OڎvR;iOmt3ժxw#G~e[=.=,cڔ-#!)ʙs6^ԱWxXE/S>8KKKg%G̓ʐ א)d^wկ\Z?*~_3#=d>*T-hnǟ;CᴰzxWxL$/ܫ0'5پ)#;"N<8p43GNkM} *ҍ {gi'rA4\!$v*ϐʏ$@NlW-7'~p;=rJAz=`{+^ݍseQqv } }CS-̥A̭]fYGVJ /2<9xqWV^6Jq5jj &_^1xpHIց<s_C#-R!$5~4;ڗ0%!at q8:(V.&%Z£%%:IXpx_+9CniĉQ~xi>EkB %YCIH H%QS:^Q׵*[ҠYd}'5c]%FûX59⢩Nh9J5p\i.:a&%Tȥ:`wZG^I)eydנ*k%1)it˞]MvG2v@T/onQ[Y- $eOb\C93REu OEÚT;@~6k0E7. (4eJǰF}^͹L!怇ݚȃ1|c7s?},!: 4n:>9(Cm i>NgŶI$bHMu$݈߰&xX"~|Bx ^6YC!䙑c/-LzAu0K{04YN0MQ!u#GEs5o|K[}!DjwK#\KLaԋx#Κ#e&jJc3_s3Ңޕ'Rx @E ԡ $t+А5>G%kr:H\3+U%&#7gJoڞW4ܜTw>xuA9FBZހNδv_lΘ~Yq3tA珸D'dF֦ÓRe;E&" MGm i'IJ1>BmL.$^z&Oja;ՏKh}^U=z+?uP7 neC_ H͋r "eH蹅GVתQYTiE#]SV*]5Vo5$Actndf꘡xIfße+ڭ"T21),F$GI3a9pOF_ H6o'S D5޶/!ÿtǻMLUCKpG]HD[.]H<2gg6:ƃ>^mJ܄N.Uv3mmV.A-?mOJO2y,N)q"H݁3lV]X3ba'<7OS;lݻDx~:_2ڑE۷baaLp!٬k\<ݡo1UtAs Mꉀ&yڊJ^o d[IL{-xPUӯ9mX,%kov!ng$a[X 0]E8M7wMO]95pk2H-T\U)om1wfbILM6$a 3RC2˖eV-9{UZ(m@$Xu/ܸ}x=]J|(&-\3d^&MvuAܪz-X;4|PYS]sAF\CSՑV;ڻ(+M",6>w"+4ÒAc3l RCM{wgaK!ՊqװItUA?'o\La]L}WgA Cv?7:ZQY_uwJB^Z!wli"}- ʢޣǥ:z4Vg܊#?=c< F-o^ irM_tyOMR#]dJ1==(v8Kjǰ0VL˟1`Ew `QRN23׎ ? P]'*049dgp D0jE"x`Obcsh n J0 gi+߿1O}'bSѥQ:E٤5ChO& |dVH.! hN!7C8*Hnk\8*WO~&yXId_'H&y nQ9:&l9@~zPDd#%67ߦ+5BRz_D~>&ztFZkۭL?L*8'(=?y(₆L]ީfld~Zt{m@3SG1u5Ip1Zjfo!3Wnaur4~`ȩi%o#1OCZU+l'z&E|)r_$WI%Iy5\>ϕGG72i摬sLj;,Èi9/Al|`; E~c]r6%Q*Aeܿ*?4Y!auߑ%q |~Xꑽ3o$uPhlDTO)5Uc/YD j4" Ec]3dF[༳SHUOl׺cRjHJCv+g-jE#]@KJ)tK^vcJD/M@ǝ\C楷(`v"̺\'`:d`Ttyc5yk?#YL"*\\J37#|Z 3x?MYi(UIgX5ba"+h++ i) %Lu%۲vW}Uwf0&}A_frd$ 꼫Ax5d#vSJO /y澈0HӷgZlX ӃA5yԍoowmh{邒Eu\A (=wJG~Aԇ@syu oI34i{Ĺ'ۛ f̏HؼDtGfxcW3LIpRYÕin$;$YM.L! $OǦ1lf"k& ?cKXm.Dm__qKv:XU^LG#ԪeJއoKt.vo"aLռPxp]_tjiX{uŷ~i"GF%"m *,oJJƴRș ѓqtm.Fj T_7bx'UdkY`TMjvs3g-&L :ޅ(*8qN i@uME}sEsIc["xnx_v{O. %ǜT#wARMr@$7C2\wYg'fB瓖7A( 3Q[K{qR)I}AۈBU|f9PZj5gk_SOisՆxl#B4 s^3gē1]¡f'n<=꺹QyگvKqJOO}}#sr] Pp=sX,3uQ9,WR@v[2$3S%$-$(cq.WB X#cRA1QnkI}Fσ}#Xkh|n#-efj :$:WZ@򐱢^f?,yrpF6SZ\ o.~|'rM 8uos g [p["G5ҐH~O|1q^FLtc7X{isE;7ǻqO NU@#-]˦l(ƇnŒLut'ݨx.z2gNj=b4xQWe @>[^@Q= ]S"WKT 32':Xx]A%g" mAa.(@lcv !ƂuFOdـVD} jܵXJ N2JٞYO]ZƸ -WmlV.'uP g:vNF?Lg-ns`pvVբ]dysZIoz&X!Bt]pm p;c;cЉmƮwج Zv(A07*T0#)'"؍mSԳHXS{R)8Ti;W'Gӈ;̘I-%?:.RN '˄ UkC3Ci PV 2OYƦ. &~f*t/l3^=qIT=*lGT* @܋ӞY+ :odCu|e[2R fVU8) DJ*A_R f:J{l\%S NoSk2H:gEnʚWᔓ㹡I"u!f ѱs%@Lg)oRp8+W,8զ,M,'BIY2C d &+Twm^%7BNGI`B/`Uk9L*B$c ?IµI>eD=>}{L+GǾ Ԣmſxk\N3_c*X cP>=APd- ȭ3ˌKaRorxE羁CgCW?JP N7׼ %|&$.Z5B/Pƈ{Zw;"3\Um>6!_]7-p!eKf ʗC n~Z!遽UÄc 0h$ VMXcBM;]<:FV7 TʼnJ]oqCb)TGc !KikS~XW?w h$3 %UHjءY$}1l)Sr/ ;oiFR2*z@%}lGAmK'_ݯkvrr9X|Ow.Efph)|fpe\Y hVdCpx|,^Gٻ65[=F*(!to>MVckhޗ[%^(4 "`OcɃހ }?śP;_ntS^OD0/S6j^9Pr]3L ]Ț&$#@0vgɲFL-lX9ФA.2{4xCW']%fc %%ǂ2Bt="V ue(} kXʟeJ":3hݓޚ+^b\gt5jJAn$3%]9T+ ٫п.XB0Bvțn`CoQaQ}ynO*YsCss* yzk5~T`zI5-OGQ #l?knj\c.WڢN'09b)X=i k> p^ny6\%Pu~;>y- ,t:.XQ9a'y ~cis2аS`<")CְCm};ltIOFt8j4J}zI$P3(*m Dۧp%Izws_Gߵmd>(LqlmS㱱*aS]DI(l97PAn$W>)uZH%>bp|T#/[BAv~?˺U@rkGSILi:+=Yb%)7;ڒĘ&]1 Km5c]t: @ +j0 )WT ¸ skI*d)Zݟְ(![L)@,(v{ˌLˮQŰG>b[UI`,ߖ'wXQMv7nj@m,sy(*"6H8$j0N.a_3V- )?ppSh|^4r |iwP;}ѷ\;h0ĥKd 0]r_)S4lTd;۬:=NpRJN?6.`(ɻ/ MnR"|tӪZD8[x~I (м狴fȲ^&S.rOmOP_S̫ b5t14/@z9xKU"YOGG6޸K 5q8 ^K (J;nt:CɭE:ջ7Lgg.SOaI@mCuS`YN랧O٧$9mu(!W tJ∶ՐRyjߺzB|9ڏl1l0/) z5rK-Ngi+ٍB=Nz?ZY햇lOtzLzSM; 1ZiGs7|}y%!B_8kOBU>dxEpBd| D {u&ă/73(?f*Gz@O;6lk0'\~3[h;0*~록+d`c/EFYۭ'µ}M"N{mJ~n iZK(+^7Bn[?;|+6GvӁo_6zl4ũtpahl*kڷ*8nn:LsMgNU$ŝczIJʬ~5XBaRTRnJAF&b7LG=gg4-"pzax(Mէ,l\V,<e̔w1Zv2Ys`[V[\(F@ qlq'4cw (u6MtzH QO;j.ʡ)J87cZRoUwe|ϔŵC}'xFɦ쟋nGR7*sĻ3"Mc S穮 .X!k|ؕg7j r*"uUt&du{ sмzq @6`nyjA{*=!wo'FcUQq'$DhR],\Y^z?e\OIa^cgxaНl&}2%~eK#"rkyJDNQ{䱴yV5|nFvs*%2싹v,J`B[·T/FV] XNN+-X[Bd^d(GYB/c*rӁ0]DH|h:d&Mx89j͞3cJG3w#!4M$zyrd[ )Lu:69ʥdfy]׍ۻQzKKqh]sfoM!&_o6181Uz;mv5E7?,PϘh//-ɑX[P>f) cb$hőol!kl%N&'xzH oT%0Kw,i!$ P]bdiƵ|5&ZuйhC^oTw]8C8o=41i;<I]>nPTj["SE\SS1Ύ}: ˼OC6@zLM RdX:)RƵuXyReS/$p b7FI_AGHq?Ilqh}?*s_!6D`r 6NIq#(Ԁw w[U?$1`M݀%ӽ~T ROkVeƝ&f˨R>HR<zBv;xJc O >o,Exfy_t UE޵MMgr: j8}uc[ _d#_4KYrz6) Y"r =r`-qW}m){"3\j8$J΀\e!3PePYGeICefq.0ox`k $20T;+#I\t 9Q`Z0{qr שD{сY8 63]}D5L_@n-k8̥*I$rCkdZ 5)E5K6,loSМ1eO̐I H>8YIJ)k@>u/Dz1'@E6.'İυq3m`Ż1x#ℽUKULzY'C9㳚奺F⾍ _x3xxG6_Vcf[,-S Thtn\v!U)-!Իj 뢑Di[Ɂeq!oUUeUY\Fr9Fn'ğڱ ~w&5tesO7h\l< '.RYJ x}/3H++#'dzG^PsQl|"8 2D V]4rNֱ h7Vu~AO&_!Ǧ/1[(Jp*ue7I)E9 K&8>{ 7r+?>xWc6lПk2H* ZxK1EEtc tFTcf(a[Z"JӢ=vPj\n^hYq#x*n|:OgweOzSagL[+U1Ob; L'܅k(Fs0Ԗ*ffaQ#G׆4sMbh&lkҠДf+4PLƠF_A0i5XX\6 ,lUPk3v. %^ NnOK5Q1aO7^:^%u8bl"'ܧɘMYbrVWݯrVഓf Pa^ *7c hf.,/n<"raۢL mT@X`) d6; 067H>C`C߇>hJEKuM5IVV}F* "j5^ %*i]D[0eL9QfHBC(֟>7윑3O?3x4goLԺ! yӂYU12#Ӥ"HׇMMy<}ʰ0$ގ @>UJvvpBHT/0krXؖa>l&Kv!ѿvhKlOW#dߕww~!҇r1gxkr lNs26~9~1)`% C X5FxVL}jmA.@S3B %n ^O,O>cqfʚhwǩxҮn(3f'X[T=d 8$XLxL݋o'Xg>,ycZ~ 0_u 5Ml[E~0i ;ץr9lO= J6wK~sGl!}L;X- +G6f磭v:!fGHz;ϛUU(]21e<1et2˯)La# E 3o`R^kKd.wCs\5-dGpsCǥP@J3G\[`ŤFegغܾ}ێ׊lv ɿfPC꼕V;8rt c?66ކ#ᡓǠ@ׯ oq5/(>K{.wo5 >S|W᫼uh# ]m"NƜ22V-(omLÁ Tו)u >=}2&?9:=%?#8 qlq> @jSo=8X6C4oxhl<"Kygh]ic^ L5WBpjǜyIN\פQ,3e]IG }E!kk)Ck39zat' SA4qV~X d/ˍM?A8cDMnxZ1g8SOnQkmSw|<(Z~Z:ۗH!rmb}p}̦!=2 xWَ:OQQ&^'S:ճ0t's,gX.)y|ܰ"xEκpӆn! 'ErtB"7=^yȹnd{%W2&1&L8pTkpG8b,#EڄQ-1r-M*$u$0LĔ!6'ԧJyߛ+YXxemW9nG~\b'L8?Jde/~1HSD*ܖB,B#a5B=u ڝ=&O>9Yd4!#ol~m)fRxFγݼ 48u*otT;*;TX؛o !4#ۗ#a7X~D HKޟ\LP|}}g HvHV2c5l=9#-?~ߝ'a<77GRbۜ/,jOL.+v߼5+9'3(ƶn;4J}~EW Sމ~ x"Dzȼ"n 8iyhJ'A1nƎo&/Sz 6GڵA'&/v*UB۱UdZ^fQQ`^JaE?U  =T|K6eC@'4mIZ-'a{FUF={ix^FPq1 ꡉvPǞOl' sʤ@GLqvsڹT(O&|$ ৹Rtҍ rS{wA]N,Kr ^aM.C<7~vq}5fR<naF+fEn `Mr]yᓞ,[SyGrApiɡe/⟕|𻾺u7AV7_d3fan˔e)_'RQx3N pOߒbж+ԂSe05,Ou70?]IEBpVu4*T$(`3gst]4΅$YS:H 0Or9+uhg-I42uηIH[`V-w0hJ7UR ”B~!!3ܡR~y{OKOJqף/[Wn>SPY5 !q ;X2B5qZ "1,8F `<($ؽEr Yan6`I%4S됨R ppB_BHe{х v K{7B㮕tO*!nLu Z)N0s@ܐZא{9^avV`NHpa8'=mzBDH xf&kMa=9@.p0/gP'$eD" !& 'I ]WLsPװ 6lZ-`aG-Q)r`E͇ʝi zs;`<:)܎ īFw<^ )&avO闝Ε27}C 39*zUZ!(C'E}onPuz2qQ7H_JRP+0JWc}XM|ꇩ5#D (r @<7Juy3 G*GϰAZrvF1]M"f0J2@ l F# A=*i^'IR<7pf}ڬ!֛=\f}셍"\ɛFd(1oTJ8w r7G:xl %zR6ߑl$"{9jt?%|b*mw`cHIka*:;{CcA."tqaZ7s!z0K eh}_GA3WpG /roȮc ֲF *&iP}؊ ',H^bJSg;#~,TouD7 y04t9]$#04"pv$8[L[P: dڿ!ߏoE88Y+;cChݭq\+tm ail{<f_RE1R5[ Dָoa^u}$E2| 9~#[|G?U/zK,GHŠ/ţ&h:݂_kF ܕ&-u(@X5;`[|i %冞7[ԧmo@2[lsD/"Mϯ`v|AׅdUь5>zBvIu55>k!m=Hdݡ"0W1ck^ch+⻐Op4fJ`JVE'Xw~$2%2 ޔs5d|B/O)H[q-bj!+L5A{wcKϻ5~Q1eswGRsٔ6,^*r#+"q3i4-*r5%/6,j LJ/3čqpp>p*f9RV* CDn\B]߉&ͨq;pԛz\e{nX}˻\|Qp20X֛e.ziS f=f|eQjGƉ僺Yd-88e !IUk+$TVGpyqmcIfS^I ;GK5Lw&ہ]^+;hW*k%Ot(Qvg՟Y'j|Mo)]nԩwnZ`Y^6l̹ƘVUzi9׺S4pسf|&i⛆-4])>1'DžD;7Ue3G<@7]?XW?T#4V},rLgcmfIoҶ~\ *-V"-Zߌŝ U1R=ΖM)/t m$+Lp=Q'N43@}Z_nL-]&7xecdøc1eE̵m9ʽc2E I[;/Hل:.еE5s00KWXDلڷ=G5f'w` ?20!AaeQvv9hYWo(gG?!NJzbCUOHG}aKS'~fUSV;Z,ۆ$ Gh* ?'}R 5Eߘld%,5!}H]fEZ^{_ArYju/;"ץ{2XS!6 *s?lxT+ⅅ443@@F;]}cmc1s(@\X E2"c͘e0D&Q]0'XSƦDCh6dh'Xhhnڐ@%oB3)cDq)(ԿS.[:a}K^`b(^8T d6r2b> $zljf]k^E^N} 4"E >`wx =v1I0- pI\8ZKp^8wp9ŤJ 綘u*Zܬ,DŽtQx{,0cҚr?xiLB~ndy[ܵAI} #{#Z:f79+=p5M6@'.>T,ѫ;J&~͈G5 7Xk`Bi6-dm$FT{9ouDCKuU[vz#[3߼ml 5~K3#;Vc/WAw"9]zrG0MVdI}J11Pt#ps"j'isO,,3`Z1-({ *=A5l 7.J 7B@ch m"DYތ/?K(D8Xp.Ak]Hj;ի7<R,sYSzM/l뽧W֫/0v'vs[}Ak耩UEdk[ak;9.w@u_@G,a43a]>O!Q~,eNN6 .q*%E&oh&ƛm`A޸{ Elƭ@ Bey_j*./(JSWS{}.+{TpQ5!3ďhiRdٝ\+V;dm+(/3\ڪ5 &ũ#'gK3=71' ^iCXհ I|xj6q}*[ͽ; +w;*JA8P`jvGi˷Xcٵ34-Z8D݉~0 "S+2̴t,Dt_"EJ ?uL20eZS\:ɢ./y30VpBtnEqMN>ҜW>?$7Hw!!2N nY-Ώ8dpH,7 ^WM:0njXf0\|Jj>$yt)"s_WTM?.S@0Z kL3l t:8a^7XT"Ej>U+ [ YdZ/~vىC .vw%&9ރG7m.ɝcx:h]gq)(T􃐿[!jX9Om5II0tVt)U2L!M :22&5Ÿr8Ջ ~XܐxFj6o/Jx7*bKN:W;yQ|78^`ʀ)nΥbznyT!!+*@GZ~<ϣEҊ#I`b/ Q<ISHLD (Bv\KP=@ǫ򘍣-L Q]׬я +T*Qz(㘃" ? WCD ࢱ`nCZx,%KtHbmW1ph@G ͎h7vm-uJ"qEKٔ:7U<:^udrv?sرFY EE,2+xf3'8r)!:} }I\6SAf|xعK.9JZ.U%3Wm_ ,oTR#0hf,"6c[;iҡW r]~g5gIc G(You5@ jOXW6ܞ0i!x >Lai;HKK%Q0mN1o քRM(8b“%:f–*Gxg[dpTu sR M"qv#\6>`xxwkmFpR^MC{wzet}X/#6(|rdD%cfșLlly/Ps?ƨlr> GWj #~́?GwZr,hfInh0|!̓'%O7tsNO+ˤU(,CINTҔX7lm ,:jRm p((@dWU&zK`T,-1i6I܀5GS{z(.-89n? ⺺SjުbA,454R|Ԃz!K"%x_~CFzc3(g 8UJǟ>O@${4C&I 0ߦvoVdٞ*_|?4^ҵVc-!nvUcyНsV4FMuJPU %9v '?l+LD{#}T!fmt&;4g6Xaf P|&%O NDz'S'z|&Z`QRlχ&!p)lAw 0Eu1Td ZաHY܊JT?qn(OxIʋ'ֻzJ#55iws 8Oyp|J(H\I[Iؽ<=o:̕ .RME`WzQ,I eRȮ$Cщ˷^hiJc(#mEl>Ǩ'Z?:|YjQ @xe F߻p{MTKfY](-;3WͣȆIVa\J H_^vtmRXvV_f&@PC @ rqt'eD{_ó*}G[y  <^apɴo,A?(M<ߋkż&Í%rn墕#/ƀ>k7A-9ۑbP'lz%X`9"4H6S3j9ɼ xdȀp<lWa c@F㧚TvBgޞw2Kd"l4|$ YԮLEq%G_Z2?G.큲WR;n|AN<ykqG9-©rbmW=W͕ϵC>&%u;&ZTuluHBcpXN6%C;O:֎"ADY8l0 nZ">'N_ b")= 3m/m5]WV3#7ڿݓ*^ۧ`ȃG0'oJWHat Ɔϯ]q_#'H2) ¨I7C-虙K4`+z|ЭT*(^vHYQ-gG\KōE.C"TvWKW5eCk["q޻Sv~n0rZ qpz% 7NdosbQe(G=F׫?KH9Ł}Kg 7o%o{}i$\2~2*IiK4RE;˄^Miw(5ÁDSP\(:=:Kmơ+$hNWj` +3WSۮԚ;@-"D6<aa~&ӤP8cLJ8::VqxUe^MOjjGIpRg=Yx#a-\2x[v#7,+Jq'M2aϺV1sDWn&*dqĜh!t_P:ɑux9PMo(j4<˦Zx3q }_נ^<Ж\Zwٯ޵mc>c)(éFt U:`4~P,aXJKuŒ Ty9fP^ftܠAGbM~%:lCZQSQ*&X"1ؼ'a3/7!8_@м[: 6xު@%Biǒ 횗h V0[NLFw+2ƦS? qep~Nc "Q"؇jCWص]ߍXTY* P94բ (9y BlOhc6=魋Y}Md;=)bGbrmAVT9 0־-NsC{ڑHNOc$9l l/Q h$r[[A(tm7Kx :q5||۟#QR2\'CBj(`q8K/I)V\?d7RzI??8O9ZiV~B<S 99X\t^ ԛ6{W"5VsX /efI+Sݣ%W;|Vi#U|rXnٶ|P'3W< sO\v:pb(?%c(cPGn%s9DV +9Hm$%~,pE,Yrt{nALU4mW` L{Q _z$sn"^O#_c|s!kWYJ[L.B/Bpv$ );"cAis=2Q|kp󠿔]WDnJ+QfAuF-ʸK&H7T'a* J`SFZdږbě#yKrK.ӡT.w94ZT_EUh?kț0 9B*MucR̘ΫX/$ds p 9 iCFk5g<.;;6ί 1Cm|c<^lҌ` 'dupgNQ3e8?60YyP76tAbةnί!4oτ~"eʛPN R KoוRu .ZmDAYWV˃q B7խ˜-i 5 B`)t\ o_ G$vgd~D%  x<ǟEdCT&dj$2bhU j+=S~X*!,C+Q8"CG9]NW|YTAAY{{$@$v06z(ې m0QM1 IAq!}