SQLite format 3@ N- 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 /!l 3]]HOL-Proofs:threads=6elapsed=741.283cpu=1678.968gc=403.880factor=2.267zXZִF! i]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eӏyj?Qa7{Q]h*aXy4PO`Ť]g0?IŽI1\=Ѫ +1LViWCpy ha~P̰x>T 6Њ\gDC-ۏt<%(iל 1{Mt< lA$ r:\Jf)!~쯖| \-](gs{ %;5Ғ* nٗɜ1VZ$6 pϧ˫lI',]q*cTOm7Y1S1XipBOPYwC[^-Tͪ^6뷿p:3:  ! HOL-Proofs6 4CXBP3M@8^zRmel%[-guyS"L'Be9i}x5=\)&C=.WDu\c!r<+Z!e7:f)=+%9;Fw l0`HjĶI$c>?ݩ[w> Cu (eqB efd Rd+mi^S֏(KfiȸO98xФ'NN\v>EWDpgralH1T\[8n7x>0HA(~ڞ+d=[9:6g{':^l'A=EIѿs4%V&?t7J C9S.=),>A ګ Zg>8U! =!g y:;h.-qsY/}ZYJ:=1pZ' sx ^ D`4ˢ!O:OuSx/eⲦ}EGb0)I4Y-)&sx{ԼBP%T8"--Vɥtv!śws•T6kls˞{I3Z`UZSS> ?<4q;i1KUY(U8-ggk^!vw];=?}CA#6!#LJõmr.̻BS&p[m1)b"t zGp{ ]AAm}Mފ#563YQ(5ZKLv1\FKk@rj\ #LEHk/*I>lf23 ˗^`Oe6pb5,f;BS?A?Aj`vc>/$(Alz$mHT|D^o s-?'5g[Jc.Wcq֜җqN_q3K8rrE1%lpf?&|MOx x`a0-ZT61x۱&{'L ޺|4jtLnx52/wMNho2Gb(I\J~2< )Mzdr'1eƢdRm}^lgf]-i^Ep=5rf7&BM]_Z%Tk>3LmEƌ+>2phI̩+P]c26Ծ^WÜW2O܁  hKsJW<8jaNc0Xg9a=ٌ<ܷMk⊬pB\חq6 :FhKAWkD狱΍)e3ilc*>mf{*ۼDL/F7+s8q0)Dz,]^N(;AI}g[twH6,Ξ-zvTMW!UCҨ;Y%;_ДxFPQKY]2c`aVlyR*JL5ջ29B:C}6WAPbחG̯~AuW;a3"N;itCIycl<(~M9Ť6 hӚYT8dEĬu˴0;n%aUHh3.vW Ti5 \-S]8IKi5 v۔*.v#NM2;c+HsxմR+Wh@9c~w걨{~Y[YZF%ZVp}/l>>.w+eS-_-]?^cL*8IPn^o9s+8רj^PlVǍT7w6nK$E7|R8 ]r3BO gݐrc?I!ĭ>|O _-e6Zvw~X&8_~F(lTzGA A};W-g8ҺUrg#N.m}bp]c'x N3QxBU; >I;fBe}##$"zxҙE1ڍ~9>ƕw$a3*wJ(֗ aF5\g+PpLMwyNa2#/uV4M2nӗx+-j*u$A=X9i[-6L,( 74 L@ t:dA:UNa6VBkfR9WH Ɔ06v{KMŒ"Ka+,Jv(yPY%]l.9a;Rz-J#6Ms飷T165s# m:Y086-:0@3)20Grn\iZN&tkt'@0lW5tp< {hS-ʍ@d;8s~eZ2Cs,ܨp(2^Xs! aKBkZ8Bewq>- #R WfS#wvmK?V #"3!̏ұrR#I]lU_I-24k (-ւ'egͰ~o?r6!0÷d :Xq&oZrVq>/*K"/Cf3֧' B6P:TuTlS9z'8|e+yaHxGni+r{}i j(LƊ(W&s,>%_'읋9Sk T)9{,}!c#[GY5'OO'8vfe.7{¬Bћ'c8 :?bG-|NTJڀ۩Z (?*41GŪM{ַULd%?<\=2 35s;)w1)އѯ;$V&A7^CЀ!P(5H8 Ƹie*-xr '~lB[:7~KdZ?Rz;*دLK/nw/\USnN8~QKnFUvfw )gbp/\s?s7:U'm=6OdB ~ r'mz9FY^m&TS=|E,cEb +}c !<͌~e/fx_U^O\ʰП;nCn.솝/ng JEbwg_ "ې͏mAW\~*֑4G[~ۑ*M+;.vު8 KWq1"f?+)Mr*=#>&, x +V>7%7Fop&Lka߇TTkqa0 x2oRHF>(KT:4[ wy : 5zƓ.4um{'(}\@Pm4y<]!Ӥ~ -S3B{2a_9P)hOW°"LƅNSf&ň6bm5<"sOvI!ɛȂm@gBoq9"8bA-^(]ʓ6zjTr+kek>` +?m8_l&Z8^ئ5do)ޚDzUrP x+il`^{A T ٱC9bՋckX-ڢ1_b% &k)U7M]D*׮D@[&Ccj({Hn*ZʥKӿԲb5nV~o% ?̞*GG#;UDjopܛÌ>aI0e%puEC, 7C?ךn/6bvG<v9 5Ǭ}}1ɿ!5>AF6t!a%0|E1s,BOFp#!t6_$ .SϽ*S!]0NaLpˈPD&f?@+`' W] 6xa5X}e=͌Bv*IJ<<,gxyE CR0`goQRQJB%joe`iŷ o?9O(Wؾ(ax*PDpo犾2'+oF[o||_WBn#3cDs Sa~4ѿzkn*K]sqǑ u3\"#2š['LU<(+kJd"d͆8$vX{S (j$f0I'$fē0>y0m=?t5,{ȣ$%^rC&4ЭfOX(i:Foi4aׂB7S{jY+.;㽘'w_ۇlF6|ަ4yY."9~B) c(ZgfU *lxýASp0꟭ph92 k')%41ǃc n3GY4 P+zfk* f-xJH)0-wn~ ^]r8rL{H` ^àL vx91IQtAZ=LD$:e Ss.Mo)% YBA .z+# A'tP .v<̉ӣirRF.;N_(Jv r8pAd+ X$jOD)GJʙjK*7\h(O'1J(uY)6J{Y\QhFuNv3Ł,?1޵W#w@}gQYI]DpM!.[dPTƲȸ?wUPlFfN-wRBCiwQxY8 `#="R#Jju+dLe:c,jLu%%%GwBd.{oUvnΟka4.'ڄ 7=3iǹtn(]9f35H7@5I$]V iX^q+˾'I^b >w[5ڈŜm AAoΊ,/5jPʢVD>Ȉu##J>o&<>oQXgq~j޼LciE%|LTt2*Eyk^}OmcB=2*Σ^KX󳱲cc.l\ QgD9hc.r{Ld u\dˁ0C0G8Ra腷:7H L4# 'N}Á#rbXRhs &@gN"Ozlb,){Z5f?Gl^3룴$PEzQ{QO6d6zWxڲ/1UHJq TεwQoBWrd4 u'^HKSb@ jCnbTm*KԌA|ۯ7U-n@)Ql"h$ $ĭpɲHn)'䟞YhLwAW(|fv0\&>j^ɇOf.Y`aVa6&<h .UT*^!Y&zj[0ѾPFnrœmHAJ3ū=+$<biwf_ZҲV;n' "}l.CIͳ*޲Jw^ A5V9m,ksY_1Ґ60up-6˱Z8$'0gXr;dIj冄A1Y O$ rAPi &D$ 'rO!?=e1{99@Riye5pl?s(LXm8ܚqnQ:6l4%4)"9T#Wh#Y*DiqjcNbF4ՐRȚ&v]qr̆K~+픩vw'-1{AXwD֡RM2,S֔Ȋ ,ssYZP>e aY?e X'f,=T_ jAy( Z E)~2lB}a-[O1Dg}t ((-,Cf%<#T? 8kyž6CmQܬ)_pRy:K`yOC'JNH\Ȭ{O;;{ײ}P S1oe ԯDRTqNTx_/\uWx =&9fLMOYb~y?1JĚTۈ~'4ݝ&iG~`|q{$t1}K:LJϐL6?n~`D }-]"qMN^apXttw\O$ 9X5\\|FY?tū(+ś ҧξ"A#'@/ccA,~q5 .K(w[S ORB0@Ko CFBxlOcc~)Gf$L(X>~.C79bԌS3G y"T!I-q,M!{Ae8b n `7=R}Sr *ר^/ґ'ֺͬXAFs)\xA65+t۰jfTZcJe:9Zɟk4ݤUUB>6eBM@wG7YK& "'#A&|.'A>oݥ&N:YpcO<'.H?$SYig5g }PTw϶7qdPf>_1+o4Ktpy1'D2\#eن_y ^.,1w(Uw˝ ڤ5DA934 :Q"̖8; [r W\'el\AOL=I0Uty.\;Oz#1EK&V O&Oyb # HHI֫K iFhd+/E{+Ɲ!hgLt+IX!& aI8DłxNbH(^qZ,E嬕A_/8T}i(2軔`cHknՙh s~jշQNm "=$0AOG_S iaYkBɽ$~}5ȼ#}NVE :#|[+ؕvXoLT]rijS}5SHLUS)v25SMYwՖӪ* OեLiU" e zPHIOs_ uN:iŤs<_ ڪdu ( Er}M(<\gFΝ>.us#Kbz7TYO)PABײ6oHqVFJ"GlJ՞fxlS'{Xs,mC>).鮺:W_uBÇ Urv.($`ZZV92I 髖89ŭuUU}|oЬ* ^hZ5M_ ξSInd F$4; |fT{fre:%+ OES3ODy 0+Av&8 ߿đ4)l!9 BS4]X"`љ/,z6o"sEãUwcOXi۪ %s,5c:nC{BVDuDJP>|naN(Ow BuEbk:D϶=]Z-L W6.($z4]ぼ!5`éN 7UB\ pV6C3X ÆD=3Կ$E*J0<ɿ)s;q>x #YKPg[#)2ǭI1cK̗%Б؃7HF!dB$K]F3B)1Sڕ곫@#0zGDIs#vRf6֡Fgar=erT,3o1B5wm Aɑ׵{zUYrL]0p/05\K.Pعj9í{ZL]b|iir7xȵ3 sN :P'.'/uy\Ic%WT0 é?k3?Ȫ",elWZjvv`C(t0#Tʈj(X+T/ܴ&S<S= uD;Kh;V^zr@ ZYZN<$sׇ"oQ(Г)W^\ *Xd=59M"D],@#qIB#gbG'nW>y}znrOrd=_ZVA!+zC@33;1=i \aɤ}t~Sg-璫w. Ǥ-d>LC2*0Z&'JVl0eMpt (@pI,Tq_,UoNuTQjrFr^8NVq_EMty3ѣ0N"a۷uO:֦x:G!t˂eϥ[](kTݬ>V* Nw{ѤEC5* LМD(UdbT ~4 Xm58'x7۪K2%w}Wtq2\c86|A<X$`.2 #JAIC;.U^Q*itSy{dڕtj'U-V} i==::"v| 1+|f NO~)-~}ihQWlQvmYKهPykeotW%R z1Td(sއh=)؁1A<8޸sBMRRt$h 5 \͗t:M$h څμ-SR|ST-2Hm1?Ԥf5J/S8k B+T0Zo=.iչ3 9GUɚR}X\ U?`א&qAݫ,b"]'l3Cުxo%9-s" ? P6,Qp:SxToϻ}FWnT iRl!&_gnc\};3R'ބ.qWUE~sh{*ٌW@X ˆЁPR`ǻNE 1~APuk)--\'d  lq<5NXN];4㎧ |9@ ^ :`&EQ\MCh4h 8A[r9Vf]6H=<1#BY\QL.z}2DWBkRd觵`٬AxoOb<43XK])v=v\6Dr;TBoTg]Hd`࿦ƱC xJ]2dk>` Gw\bL23 T<6 /݁m vYXBY|wMӧK a\ >eE*; mYHzHrkq993bPmaR3kcJl~XTS؊ ^ycZ{K0bW -\ŃΛ.?1-n7۠; cL<ւ^ 6g1Ƚ춹{BC q#2>e J%xInɶôRkQ.``_-Yc=Ԫ3pmN.qY7+F+bS]ɊbFPRb y9E+ݗ>Jh_:`_9JC yw;T1b^<&e4͛SCa[\~bP!UZ49?C7/vyvH @%w~>fnjՂnۓ}ࢥ+;# '-}ͳ/(ҀpҬc#(0T(<썄" NYR,6fE?Żddv(t89Vi;A $Q;-%ʀG_|`%M$@?iey}DRyZesVn՟D1N3,5gVۖ>bWx猟aqrO58alHL ѥOǛzT]"?h0qWl 0VСTZ& O$ pphqĆް79sk%ő,?lܮҐ}sgh*BI/#I2kJnt-h:zc] \Sm,_&]cӰ6+YQزUf!?"8.`3,9oAoɌp T`(`%Qҽ̄HRuUY/~*=g@z%ЯJ.Ҧۋζ>7'aJ3)f/ہІc:fmaŰD=}V*9\6;5жve^#$Qs팶R6VΌ|n/S6lfʍz _xkֳ:XBG8UHdM" ݗ {ѼwZn2Bs߮* !E~q6$㉡mIU(N[vsE[{ Y[fKz#TýEЭnl2GYW38FYOz0M+ց_mP3+}A9PKxL<$bjҸ#G}+۠R_y}EꊁC\Ie:ȐZa > %K&ѩLvKO!v{2ԁempsI u9mKP[OFTbN$RN9xZ)93 gحtaCkY0d_euD,A ]10<Rw,,ߠb٭c3%d!ڿ]t'R}!$^e_v H1Q{|eL$cנAAQyj#OÏ%KsN@#(7zn1k2~W 9)׷ffG\JY4psnKu#*xWCE,U-BKp_1֓).iC}2H|ۺ1JtpׄFi-L1f8n  {,ǪkIΦeTwvAĉ'la?DŨ0U\n7~v'g"` }!D*`oZ*[hh,QzY2?KfL+4·Y'5B^׹҈0: f]Qaˑ,ʔ6 H ]2DEg{dd/`rȲ?&n@T=9u pan883X&NS Z lg-l uLog|XuTli*bk)ĀЇZt &1\_k c6/KƞTof먘W\hM3A}f&¿\.4H%1we A~vO,JY(`gĥ7[_2C׹e'(ŹB ұ3Μ/یw5~_{mE){J@ [s&K(׳N"H႘f]ތj8_ﶛs"&ڇ̢_>Bz%+%H yU `!nQ5P\E|[O( ]2hyg|a`lUY1x%zIKfP,*]*ews1q×{.UO!h!TNZ'Ӊپ*,-uNj-UkqXvSV1%m^ytyiD{=B Je"׎c>oiw+T>OZ(7w}wMf3^NJJ &G|&8{"|6plH{@ l|B̄_.?s'ME{ޜd^ \ d68\QxkepLapbN.ц3)Ep@= xv:Lf G9~̑T0Tj:t`P_fJ+@zH r~(5IO@N=UTL[OQ-TjBݰ_e~6ntX}Cr63xϗ{D@,ʩm}Aީmf£skEB 2³O6X-E9J|WXRpiC d!g.#!pN/.fr1˵0ݩT\lH48nL&eIJ[+e1y7bvX~4pݙ*TrGv*m) AFLKem , whdK:y{Uzxx~:a@>:Q[/oK^#DO6V.5VW&&mNyX(4L7BE֜|/ $l>r2*xͶ!T^[&|FrF8ҍs|4m'`:-sILؤx̦iE ?TlIev%{S@x tC|nWDP` ^y1Y~պ4N25nnaϜi:6XOZlKj,k pt>"9j)H|$.+5Z.?A㴐O XՅ6@-4>>temt4o.$6oGCE>%T\3}twoBP~8b<_}agEO.cYq~! QX<ęOEz.h{XFwlcAQ˫ ׎>۴pd^EX? ZsBX{ؕ.YY_eTe,fMT{)^8:Ҥ\Woh&EwYcqMarsRsENir{xA&뚡L$ Q}s 6W27w] q|R6bW?1rqoб/6TWyOkHDb #6˕RgcW0if U2_Y,N0jo/8.2.iap'6vZ([:6E.Qi Q,_MW4{?mTRDbe%q+GUKq6B$*>&4[TkxwIlؿ:6Q7*{Rсy,Cu?I'i'^TFckyf wv!Ka{ T[%Ϲp :6GIfALc>i#%nx&d¼^{:ZH\s۵1ß=;uR$pŇErk@s9:[s']WީoU'a)tWVftbF"P,.-d_$ua$Ώb )XQFKAl rm &2%#;LJDƦրzx%oEW8;hY}A,ˀْ4`{oG_:d9&pKv%c2oXbi`aIҀDJ@m3wpcLV$ w 61Apsڄ3b^˙甐U"@5/-L);lW- .G.1W4倀Kw7#NHS"3𹘋/B;j! ?iݒoqv%̪yD}:*ڧXZw'uɿngׯW.}tI|Vbq?"؇yy]b<& }g5܎Ir_4֡_1px^XU!O9rKq+,6ٟ%ݪM۫fK]l·lIXqNRl'jny7^{4:_=Cy) |y7 qX~UH6S\ DsdV8p\F -B.{flDC~W[j7ff}ֆw/>Ŧc"@"*4Mt B MoT-k^K#5 jrȣs"ob9ˡrsS>I!< 7$Nt-r];2UȋR2 A)e%Ѯ639wPWg}&h&Jf!t"9rewFΩ =rvKxTxTJ!;jP +]gP j:X%uo-ؚ'&=[͋ډA)(c)8\=\̥`]Kd7R]TFzSǤD:>}>K+r;֥[%Zِ3 $JhYg䎌R r]u xTK$IfXM5&U V):u%*5%c&*Ԃ!vN7GiFDNԂrT;Ii m78]>](!9A%^ොM+q9`z0U vܺu׼&tRH HA/V7lD i#NQ*=c/5$5w.oS!Yΰ 0b[VGna*!hUdБlHRoل]BQ%F)3Ak@>6=.moZFJY1\c  4JBХ\z߉hR#nzx3/&C'n,6]ikqqs@r;[Dv>ҝFOXu<F֤#5݈olj!nE-WZ}Wk^aɏ{FwbֺjRQEGyI?RHF)SU OAV2N4TRt B7|:nܰd垒8xĥь$gŘ-Er2]t'"x| v@wiaL(%'fJ^»DX ?zlfvVJ#^b\Q=+Ổw\EaNl4z&+b&)#Q(B5 &XUm2,*NO M<"9gsl@{ _ue/WWhadz Ѥ ;৷=qz!kruN%|Dfa6ԩC {3-{}k{9an@ryO7M\JK p]lX8NsP7aԹ9i 5zҩ4& ҝ2K`^KuKT | :{at@eB~@!?KM[T^֏zńT@[sjʂ؃R5`b'LJ7: >?Xru ySiG%Au‹ |E ˉ -=SquSmke~pjSwE0 j[ -kn #'LIOb `oE:Pm0`ƓEDeId{ɿmሼgx?T?]-{})bT۽=v&,u#'D B 5~v?Y\4.wN_*$PPCqP?z@~_zJjodڄujdoa|_1U٥p}~%+7Rd!dklֶ;' &ލ' fF>V8ĉi"or;z ![$F?g!@>)1[XOxtb' pB'!|4M (tZe<5'UVw=hQ5Y&>[EOk97TnY\vqA]C7W6n[gMj_ҷ2mqC3ӀPI:D-S,HY 11nѥ^1*p^hof3y"i?i6# vGm{{t?wR܆s2-d;Ӊ`~7mhn ј5aPfcV&֘p֨w!D*Pjg*jfhҴ PKu$!*e~`HYӜn:*Be-) J8"b!n|=1t2É2*W$J缼_pON~nZF9곇B xk4YظW}x/mnQ?C-&amt:}ZQʞϽ )][=S)w .  UM'VIP6NU4Vgapٖt@#R&/2m⹘mCV 8{/yeLBo~"K g_6o;Vq=a2v^Wmfw!)}^cC~|Q^ۏm%ݾࢺmW5_^/({ IXVPL:{-y.6}pw nFNn^c,GYr)7Fl噏{f[[^]3qw؎rW;"2R@c TSf*6ל?o]ߔf?!эsۀ 0Oc9j;=߲׵dEf+d+& FyYrAJtED?>"Q~,iY֍_F򀡣Zՠ|IJf?olIC֒8glZmAG#< #y2+d NV 9ː(! .rm8W.o\",҆N#C|=UȈf' *83*/eP ɇA܍tijM0]<kH&Y_ Vuyi[f]%b%Qe*gT"qxt?F2a0~WyNĝ݁CVk7Εљϻptdaڙ|fL ;a eh%rp[*a.~b&:LE%žs- Rd7@QK2`~<}RVI}$ZҚ)RIiY/Z Oln t# C{r5Kl:*=9'j =2*Z<:dV:13MEYdbZWwte|.o3%9JyEAn l^K"mL=1:n } s Pkڻu6OgTV/>cFP36'뇕 f?g7-a:keG4ڿzdvV+wrLmgA[XX={/6 Osw ޜō؊9Xc]?{xtǼ/h2R \ jmM +HдiwJA$d~3=)ɈK $Lh}5Z!X%M@{t"T_~ {nVqD`D9N Ǵ26]xR (>Sribi8l2$.m]-Cw^Ew{}gMl40 *_we\ӰupB\AÁˊ1t!ynEoRA lk9*QCÔKWkcS @|-zvĜ=|{^ms :>eW?&7jD'!t]J҉Wbɳjc(`n{fwLa4~{RGkcGJhqC)F-s.hCt_d$*RǂOyE> j‚ܘ"<>)Ylא&RԆ OFT\kFU:J-qƕ#Qd ]^IU\SPƹۃHY)_w$!} -{,L`` $=nzN~TJ[*q%o|HOFC wK94rIxu~/8H͗NWGXc~;Š:L%[WzbyKⓨavj)>p*,]vi`SWS j?&> ?-L@\2eAHvDJ# 9{C) 7}YG͕?\3\-YS!d%5R៦ : C|C&2FRE¼=zYL ^yS0T?=]CUF3/ n.sAA30H7E+h_/wEmNi=]vD۵ HW y (|hT+.̩)Q"c-c=+/bf#0ݮ2"h?Ǥ%6B{y@+?EuX["C4k1t_*V(6[q TLJ-Pȕt^xN8b;} OO/Q/]/1Gn,YǺb . w$tx$rj%nPdOTփ rDhSAQQIe{Epz!bw\caz$[0e=b6r]y%Hc䏮3dlRwڿ!k@NMS ڊ!qvFRʓd3Eɱ`@RX>\ս䦬C&ԡ.L+-L+ Op@7ą#4[>Nu=+#yC 7uq&y%mXi| 6fbgBQČh/ oږIWNxDȉ/J>M 0>(ڥդ juyI^}C[W*w}uLj*3-d} &&VEm0BUk,һ4H!F$7c3Ws]Up̕97QB:q~.X$Tʉ<r,R0T#@a@xK3LǭɘG[ЛQz|W3=; |ma|();k,DMJQ}ư,M56Wm,;IvjfOCJ؅l^Nť#+8׀o`]|GuoϑWBzLhHFE>tO;k~h42=b¦[B</^2,<!}r~Ğ rZ&vc *A=DZ03!0S`j6t69g j fݜ5G-Z8O9nDTO<3guQT*iHlKù@ԌHbؿsiRCL#B Ww^6e\/gdyf a*2D%:[\.sߎr8Rޣ&JsKe$Z>xJ]#xb㟆Bųwyl߈oe8k=["!Sa\m$!u'lak Ԙ3-ڟְA[4. B(Ag!owDk CqQ@7'KW'փ;|*޼{ȦaGV̋0$jj GV<k7߶驗|.A*vk˛sb"1CWaG4pz}rK9+gyc&cySKZ[gbK >$RF Ƨ x~xm6Lb>qh uY}=Q@GFLƷϥR}h5 =A!CNw}nk.edA%56-o?;9!Q̛Ě47 Bl7Op$"q1GW~ h&qLWB &TFS욈C?iY]'RZFaI>Nr)Z#GElGn#;m@.q9YWU]Ѹ!K𢌘JVLs^iWB{! 2x-?噲Ӫxd0*dd߻ٵR"VijpAr7n;sr#3vP<o՜RA=x;s+TnV)ԑ1@Yn5}fkطLC8) &'jQIa-oe=CKz.IGˁ*!F#_M"-䄕߿uxgcpwߘt]ffK &.y7x"k)bnڢϢd6N5'f @;6}~0#80Sa:(6[U-o4;"_5Uy?.UxeZǹq@%͘~0ȲLx;zRibRQ Lݛz ^^U (c}lq~U9oh XIzzP*ys@QLۋc5<vO8tW4!"9/6A']X,_Ccmʿ3!ﶝ4B0S f4$R뇫]%ƝJG,Cw mDu$"X>+k8AHqdtM\TK2 b+ܳOmNB/Bk/Z 0/}#ºLP2Xu]IƑB$>B):: cn .vy*'FTm(lyж !﵃c%21=Ր* .KuruG+oZ&ʩMɨ c'qS0X? U?I!]?0 *8iQY.;(+(1"g=wI'V"zo׍Y($Ȗa/׋Aj`EpP+%gmz *$C?=-0U!|5k7o}r=pB a(T %׈FȄi:^ ;L%( OO:|,*ӡeo9},v$Ģbͪd!"9޲W/On mVTL L:#{"SU6=}5+QK6HSU׀Cz4ɲxU+GFm\<:ڃx%?7#kw>R yv?Qڳe -rLځf3co -hg+[4(}TpZXCTGm3?DxB`-Y=( ]]B3br5!٭ 9bGVgt.`!%"jP#gG=HMMD/yB r H#ȳIsGh&MFM@eXȚW*5 cM 1EwU5YҦㅄtd@aU2=N f|s >~S7jh$zXQlڬX2 pIdqN!)O}f_84<:4>¨+4Ozg n`#?@!m*8,w@v#ʙOoÊО(VV됺Ŀ{y` XIQ lXn{Ҹ"ԖL8djXD1"B1 giݫ&3}hc)Y-zdsـdcⲌ;5>o^Xl%UȤ:4viLS)vC+c[rvhG!QP??8LCnmH qV/jK/4bwZ'@OukP> Y@ڒz$ N#MB7#5K0XsA$-ONΕ=f wCO ~̓<[ :~BV5uVDLwܓt t3tlSAc4|1)Am9*4<qA FgP.|Nx1R}S'/A)t( }Jrڅ ߺ* a%5"KqZ%X18t {c,bmr,MARϿHD?Q| ĞZ~6ꂎ`_;II5'M~+Xy` 25Qm~mNpSC^<2ĉ|;z'2b2j8N=r5$,ۂ,R6"=~æ~weJGuaȏ^&ANMrCNV:Qߔ gK|klSe/DngVصU>+A&^XN8j%^ٍjOu.&}V?)8L&0^4LM2geAǯ78KCeLKVQ0̚+,4eHJ<Zu,i"^kB,*YP1XK/ȋvMm?}DdUSVk":5wt +N8"fs"1ֲ׏0y6Eejw;b-W$5p!Kw} FRQ惼ƩԁtZ(M%<ǧ;CV@@7FΔ?{|!FZ]q"l}[s5fj,F'XWgE_ 4DyX y5U$:\.;q/E^2-Fc'DVu&]:[&O`A Ӈ(k@*t3Q?ox&V q4tƭ!\YŠ<|l_7<ի=-EZ@j[P FfwfR6 3&5 fnO ,UBgm-lK0gb'SS8?Ӗiy4F9D<`^`iqYīivyqZ0:=Z\ OXgශאơ_E3b4U;0yO Y+mǎ uޔ|ͩ+~x+ZTҟW/i9H /l~#:jW9_ҼxG lM*Ai720-tMov=yyl;L?j,\yQC4Χ}wX9 "L^XN}^-iX $#+ո$ ~Y)#濆@UŒqΈg):ȜG kBp":yğR3Rp_#qLS؈r acW~\Z(FD6e58i싟M)J 3sf*IP?NUNGN;ݠaLJù} ($d|#SNf/%U| sAV`Wd%`MEj c$?fvZߏTOيxpA5C)qݧHhggTcz-գ H'/(ض1l RL P8>#P6dXpprKU8-u8Q>i&z[B9fx7'Cu8##ffXT&"~P?0c2ҍ΢uk׮` msBr%QKJamTw"tnXyHr+6:_~9x%~:!%rc'#O[h^/7oaM]xŌmx4u`]Fj"[ Y58 d+(W@ [V+gS& FdSEJ8Jsh+2p Ym0VIuV݄`GOqNyJQ]nk#Ü폁bыCǭsnmN__<8X{CO筣S2F^=cX1ʛ1͠皈y{#͕xdnk*7F@5 RD! ^=j=y>.GcM>2-ƦhL >r&1Ŝr8mLjeB17:!N+%P o0r%["]Cn ı2܂{,O^{ PCآ ia:$Gܛ.y[/G, "vB.zU ۘMI0-t_A#,6g`t*WCOAl"rŏ@=\cJ<^(8| Ix Kao%6XEߧ?R:9ACf~K Uh8Ѵ)䷄ NNΕ bWֻ^{ri+p}`+MVh'110|~e1!CQx/Ef< j8bܻ٫XfvJw)Ev*6ԅA$mM"Q(^sRLJEDKqvZ+dc{zr|T؈XF޵ $o絗Yh %eY ??ty/;cJkgp2h CȆw=obb±=^;n ^~V3` 56;r [$X?d8_)ea k> d º U* SXy8.m:'!:"{[Y3cm5Ewǻn%kV:O ۵n{3@},a5͉A ,t֍iI^"`}3z DTXLml)D%"뢳ّo;;Dbb%6CF"$h#JX>Խ_ioA0WUnh&\!2{U$Ab;ve%H fSR8IECU{F?~Tbg~coϔ`lSxfLߍjei??+J7x?EM Ԓ{dYx(K]ͱfE\ubaHᲝH!9YvʦE–=Kcs@"_WU;Tax2lyNVO=hXiЪ/[] ͜ҺʺC}5Czd gR9K9~|-=d̙*QW_&Roy;~B(DQ;= hK# arcd/ &B 4 :K0)m}LGEJ]#ZVٞsbU ȵj8&.J^A+h7H̸!~6 xϻo'c<4'$4ru㙘 -ɑ 23=8-mpWrr:s;H7;@'$2/eTJt#`X >vԎPڷg__ܠeyzxHV>95†'wѫ_O!ܾЃ7Hz0UG!RXC?Vkkxj=dTKǎ wlٓ[t@ޥ %GE(%u2CeN+DC1 Fxw~ 4sndw8Tuu$fb8 %tvފmA'~c’>Ek萝qN7Nw1.\>uzpMQ'~jeMKŅ Aс 'jb""쮶\fQ~Iy_Ti%(}R1(ۄOE])fG0Q7C,N',wNZ)$)\9q+a μy7! W8tlf9bL a)MLj>?"DԴt!\:_ꀑFn-b:T_M*@W_ psS.& RbؿrզOtN bC_n ΩpkNqtŬA˦e{ m KP˚g.(1 tXr!*JO`ϋm>E'{/m>2gU$Yc^ɍ4"\p5.OP6rx9ukM+ h4}D=GA@bvC!Mk0 pU1>B.>slM Tc4aQ5 0,.673CŮM.ݓ$ I"? |#3+$heURZv~uzrʵ1!N94GBab뗇4`C=Mi]'zYކ+8͝$+! ])k$H` Vp().gp[RD*/Рy;iz ¶MKYEx2t8fZqA&Jaշ%,7TmJ.a,v%|F }hH3^U_v-8D`vTy4.}6=Dl]܂pl%L.Y є }ġo4'_ aD*,n'h^܅AfHY RsŤ psgt'+"EʳL%P/L*ì]PA$"LG*ʡrq涹) B]ݪgWTYdX‘ؙS ,(AFNxGjJ=*gz'ϙhZ`P\yy̘8ϵQGFf : Gv-6|1soXJa t pH_1\=3P5*M /JIjX$Lk*kJd^14b\oC T"{Rs 11PZk#]B۲|@ nD=N)u~sSe1즯a!*—T%χY%i/دI{AS{&,PF9<.L F͉f#Xv zAUPB;z)"-1Cڹ-X7Jl%q(߳શ+v' \ȍ"L Y/`İ>綾3=Uzlμ(Ym䡙9 :Id}7 i%m!EۼSOoUg;^fJ0$B'pu]eOSHo/֖8yU/<|`N"(dcuCYzJZ+,(\UG)1O(fưT Tͯrkcͯ0l`ֶ[Ђ(JHYi%B<׃9iʤ'x`3,Jީ8YZ|.EPKg}GCs 0[ r]W8H<^#24Z<,ΒomBT+`#t W-LrASP;::]p =; Qo[KǷގwa`}S=V, SFʉ@^ OL_u;coi]}7''4W58jvq&qe3Ec4)=!I͎Q@k/ڍĀ>U`[X~)l-SE@|?/޺_+ḇi((=6j UW0N, r.`l)hr@ uV # 0E:F_B ƘW/-1JiSht"WZ1x:6C5wLQ캀PvmܕWyhÝp:,Nk|g;fa'~3=ޒ+1}w' :k9<dU0 + "a6Zo4Tz l&`R؍M.zt2hLӔ#/ UncKogε{W:2FÆvl7q)[v!u]CG+3ؚd';vj2Z'\O?ƔZȌnBoCA0E uTv Z +-1{ib#X.ltSrexoyoqJ7)Zf*ry/0(<[kvmdӔ o%c$Y~d>`&8!B0?: *jsŬ4C.BK؁L4C9Эv Qu{jǗ$*uca-n2g_آP1P>PF?SI'0n!}^.J=4!_"ǀ$3qQO9 >}YNU!^K+Mm/P>>#1DzlnZ+3XHwЙ2-BĚ31-8)CYt~ ωVuD{k`m9p*3lΊ(cV[CXN mTZn,B\5V2P}!^cDe9FصuW;F Wr]p -Z xbA7k8.1goK0~:d(G,& UCsz9-\h#+nӎ`{bzit X>5z}ח-D)3? (nRq:7M D#ӡ;u\RlӗD${k3u>ԪHDCqe8".}2 D2hrD’aXzO& zǢ F21>*uCm%J gյK54'_/oK~೩R2S~4B.'>be$NRv6F|{M0-z['i%y@mqd$|OT'əSMaXlo%Zm?P3Uim($kRltep3)>4h V{͡>~?ER6+}{wh&ؖTĻF̘2'&6z/2F-|\X Q{fq̫GU*t'[r5=486`F}Nbb̼[G֋"K!pgM^;1T8}?)Ő"R,\>LͧJ$1X߳I?Uǀn,(7נS%=!( L՗Tp߆\{ElZ4: yM *W9JY $\ϗtGMf4C)A,7N UoHn°ky. BAAYDpi~T QO(@V*+j{#Aj,|5_t osj9smT=i#>Dn#]fp |0|@@@#/Sfw[H, {WPmE$X߈-sۉ-fޫsZBR_T+-BU!?#=tj␥ Bk bb_ǹ2rM1|+]hR}Qq_Վ1y2)tuk`*L@ ,OSn8vL[ ;̢n:Lo?8:B[@]Ypnvh7(| @ ?B+@kK= TV h7eɇ@#6):T%v\SDg7,Zk"w,¹wY\ؿ ՋrayLjwP iO飃mdlP0]iX!c@~E1+lX ?w#U<6y)ce!;>?h&R2hJhZgi) JH"!3jl@SҟW/U9nxֺaZsoH[ﵜO xuj$RHm9`y0 _u}L+q}X,m mV6|$'4:oWA1I i%KãYz#jj'-)P# _))H\MFf#oD> ǩs jѦ&-$Ìk(lIYhʒ~;=&~wbi:ʟ74Uuo{בh()aӳΘf^n`cV>dqjw, 'Ь>D1 թ=tV)H议q4Orm*DpW /`7XHPsB*O ̓SA_e\>Q9Zx7g'1yqfT6]EX " tSʻH îP_ˏ(&ѣLSOR-.Q"ϵjѢ&EqVءۣkb|VvY-FsbNJ}JcvȗӬw^_LcE Tt0kIAP YږC#"P}3qˇ򵞵Aܴz/h еyQi7 S+*^3)N?+$Y5fP=2f(5>-h_ W!"K yZ'(BZdELg%BAR^l; I|Ї3t:m23zvyR*TusYMF:8\e$FyTCɂm7::Q2/:p}<Vϐ4H\Ź!, ĎʜKu'jZ8>ZyXm`2m͍RM,h-ef*ܮjgCtĮ*ڀFYPB@(덫dS ?5we_ R-_` .BQ(uToC- P5[k(Ϸr4TxUHG|Xmu6}u68Y?.VB? R=un RNOr)И2;Ԯ88, P77JFwo!?coc~NbJRtTAWP)DD4v6'}U|%ӭ\$ҘߊPC3{^ɭͯ#WZuNh,o2< _"s.jX'ҫy (׷k/v4ͮr BTͦ.z5o G!di;[P!"',ވ=#o2! 쒄ύpl*fԔ]3pE$(*s_[LdAI )YLZbS \ZהD]˅} G)"klsfۢف:d ym}5f4jF7:bY-ߟ\DMvuh^Adj5,8܀vE \ 9e;|lt[,GL_\fpkfX:NuUl{ܥJ.c3;=e*hÄv/ņENJ T<34UZuyfo#l\ m׸WG.C 6vֺ%)JR}ш坺UGWvgV\9K1%2,zC; hWfwzj#H&e’$zhOyb#Y'zh; .ʼn I0Cl?Y 'ӎ?c1sBXB}ƪ+) -MI!L&Ugν8_ߔN«`{ -OW6', L% P E N5#>C#k>,cN.UoѻBAS$M!ؠ #l^)k r{qtB+7LUVNp2e[Uf(PdśqAyCb_./8/:Q u d }h}NJzwjHʐI~ܚ =E&K/u$ 0ٷhN9V\0/RKxT2:m׷$-$ Hw}Nt]!m8If(ufԣf`?/paϝEoۭۘzƺ-KnX"sW2{ lT YػZ4i iǩz'q#tbKB+tTu-[*<qBM9w6lbt - ZO2Vr>t/!}lhGlfʶ=$@Mns) /F !- Z%W?/tx+ ˰n; r xVWph)Oue݁ S`ɉnֱR?PWNlG BphBa>ןͫ58C]Su\<1d߅UO9J08݀K`{\ȵlJ zb,8'; Wz=:{ƇRn四7P9e_toV瓁VΜ=66g{7ƞ[VlH%G "ؚj~pB$F YyEs!\Lg*Ve}W"j@ Vb~K >n}iOf|a$hTóqh &/h:d 5io}qحuoCZ׸Q:AUL[\DԂrç;F o/84n:ò iWBcU^$r_z6BŠ 9el3*wnQ_m_3s` _xf()S.#cTdњ[ P"v4= c_J.&]ޑP*)RgKvK,[d.B:2|$Ri_S/j Iht]k3N~޾/R|spYt:¯ǰe W|k EH- ]*IE\H 8m& `!Sh[_Xf5}bY_r6QH+G e/=F震Zy+ !ˈ:j+iObISRO)ė*nm7ɋGM1?#"jyXАPC05xTUrl|q^bZc4PmD= h-EpV9RnnrTH!bte ielj-3 ,V$-qGؽOCǁjvI]v+v;)~Y*85axl܂sOٔS_'hS|)c L: ]R uw]L&^?AyMGvT/^;mzHEeQk1cSjY U.O:|%)S1ʾI$hW\)y@NY&z= ep60MҦ-BV$j5oء%|ޅy[nt{tF\$^j^HXHRZN3d9mmZ?PX>4 Ytx[ g./ ͖ÒP&*"x_ а,+yrY:U#5YVCj08׀g >U>)ו.p͑CCÅ') f] tpɈz iJ١ej,\Z7. 0αc,Q8cԙ:fK^B)wοosb➭ג݀xxhHQXΒ)*Q(Em45Ӄ8 bV!8Y yY6Pm&A7ퟬ6::R ^3 +=MuK)ɬL6oFEץ2hs1h_>b7.{ ؇Vw#9l3=~+!N1XgaŴS)Ǵd0\`A_ŷi6Gnꕵ3o}0n2pX}. v /| ƄifV B)pLX8Swzuߵ:2W޶`([q5&[#+s<(< n!\.R;ɲb>㔤#Ũ=g#*Y\MJuM\H,f=τ6-MbV}[v˷@ᑠQЭA(r6E :LVRǹE3#%؜R7b`C}]ol.yFRr~>kh_nS㝊o9_A:G晁m5ă7dE*z%8CXӚkӴ}]ؼǭ'2 r־OW38BPPE4sYMDIE᝭R3CFlN+6*1_&' Ua-CRJ[UMl "Kb7Gt;^|X>`&`9/\UN=ぬ/JQPBŁ6EnTE,~_,+HJ(387?T]\ ܭ&ÉEN!ک@& G *5l)oִ12,Tz\3bk|v);4[ЊK5ī,.JzN4H:厱 KV)R0pȒ???uw׷LNkc b!JM'e޵Oq8`oKO,ATC=l}Pb/; %8I1K93搟ڐ<;W|94hD"^Z"] 9x ۍ|]IDw;pT eGХ21dHqiWɱ߽Z;=#5n[iKԦ4BvN=V 8mJ,Ņpҹp_8j1RMdpr2?Un6^ABDėtԹ ^3;ak:>Y{چY:aA-uj. Pw}8/0#)1;I8PL՛1&>RF_6*.f%T%BI)Al5AU m>%"i 5t=yI<n!_Ȍ1e~#O~ꮺ< h N_t`sns6#O:O"B b{Zpm5P1ҫ-xu=LqeAՈcV~kF*}mQ!XX"0ge#3l>WrL|hE7GMCj]~@\:X;%+҉B -0:;Ho\teEπ/ ʀ1}rA_ "yf*yTnWZT CV<uic#"}6w:CƆINlTZ` WBὶ.&z]E5#ÿ z>x)'Ci^8*Vbj>W5]%2%S ܬ8w{;ܺ`kNa0%Inێ59|KMiD05kM*v>>m${JcxŒ;Iڪ[ڝ 3<= MLB%˭ԡ釞bY\z@.(YŸ<tPX^X<Sso@cay& ?TE]GZyYP).iH׫G!⹺s 3?9hwtP]w8 _SLQٯ8jU@XA FpɶL쎡r[!#B8K_LBO?h`CM>߭La-o{S$֓Q1"Ƅ8a^]$ wjt=`si@i; LΪ:lEql_;qHC K/tVW 3^9 ̕@|z ,eh}f MV 2ɀw1t1 V0!Lo h>Q&W>H%FFN fl!ǡ):zKEr, X\) |YD;3Qy(h7CB_ƌY-DGi!ٌבڛm`ַ% 3kF~V M|LCQnyc tJvETy<dg͏ u(TLl>R% >\5}ןcgXh.r±kƮ~˃Ayo9ceCS4BMsryZhkRRY1ܸ/Y}Đ&%',U#x#gCء弼BQp 겵so3a/q @ҩ,sۉWRO|Ӱ$@ w a5h^W,+!En8ܓW}H2 w9å_~~JćErƢڎ\^v6-tA7qr@d"EGoHc/} y<V&sPȊA^L=:O[LnM.Eס+dTw!o;O~F`ʧk]Qar|H3mm~6e*&x0[UqWx5ٲVX,׃!hL59d;XTZ'`8]ekV9Vo֟JyoÇӚJ4Ebl~@o}a虚𴲾GӘ,UEKԌLf{I{b()1㫽8pRLƚy0}FWrqUz3l[2wW{+`F(zʸ])~=`.r|6.$m,`іy]j 7$99N7e,Hr^xvaO- AY9+2S/4? 8Ƿy*R C0Q/*|šTzXK gpFɘ3,1D@GM ":\ fWw"֑o- L0P?Lg2Ϭ8ȠKy'iҼ 9+0/~;Ydu)7fA5dBNad1R[(@#*=7Gі3Hr_^a+٢)eω s7E'>82.WnX K6/jveoKU.z ogx_ XDnܬۿQsY?ӰDc}gp&*׿ XiE!}ن3c^PM!'52*\~{81(kFWPB3KSW]&O03 m5cL^9NM dKq}@8[9txLr}9]Y!ߥoψ`THAOMߵA-+C\̒.8 :yɋ d"oXnD"!lKz2ݦhsݶ齗\1W_+3me 3sCIN=mtzVf-7!n e3$>&Y(/C[AndWbUGZ祵mMre󸢛;:㼛_)8.A+M|Efl=Ay zeP}csfnWMkzÀֽQT۽,<\i6Zwì/sw0ʚVL>^d-=QѭT=xW[*)Ŕ~R JTVQDkGh Jսl `&uDf. \ZfdNd5}|U#;??* ǜ +.z8L=܅o@mc^tх*b_L8C9s1St"s//Yu:m%sj S1ҺO^n@n >1%KZ=CQ xO#[ kN'~y  \(䣁Ѽ7$[ Ƒ~@w g]1a,RFN"ToR6 >O5miNl.8Hb~qC Ň؜0Mp I:ppm'\]]Y"I7ztP23?'N=яSq!0p|xxO9_!!P'(`>s9+ cV1?r(Ek?Y4