From af539f50ed6aa569aa0577721cfdcc3d18158b7e Mon Sep 17 00:00:00 2001 From: A S Date: Thu, 11 Apr 2019 11:36:09 +0200 Subject: [PATCH] Added clarifications to GRANDPA paper --- NPoS/ComplicatedPhragmén.py | 5 +++-- pdf/grandpa.pdf | Bin 303173 -> 305232 bytes pdf/grandpa.tex | 16 ++++++++++------ 3 files changed, 13 insertions(+), 8 deletions(-) diff --git a/NPoS/ComplicatedPhragmén.py b/NPoS/ComplicatedPhragmén.py index 3617cff..2fdc49a 100644 --- a/NPoS/ComplicatedPhragmén.py +++ b/NPoS/ComplicatedPhragmén.py @@ -297,7 +297,8 @@ def equaliseall(a,maxiterations,tolerance,debug=False): if debug: print("max iterations ",maxiterations," actual iterations ",i+1) return - print(" reached max iterations ",maxiterations) + if maxiterations > 1 or debug: + print(" reached max iterations ",maxiterations) def seqPhragménwithpostprocessing(votelist,numtoelect, ratio=1): a = seqPhragmén(votelist,numtoelect) @@ -340,7 +341,7 @@ def SFFB18(votelist, numtoelect,tolerance=0.1): else: bestvalue=0 for can in a.candidates: - if not a.canelected[can.index]: + if not a.canelected[can.index] and a.canapproval[can.index] > bestvalue: b,newvalue = maybecandidate(a,can, False, tolerance) if newvalue > bestvalue: bestassignment=b diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index f7556939607aa53c12bd4128ba5d2fd589274754..bca0ebdb5c1c4634de5474b433f33cfc371c40c7 100644 GIT binary patch delta 70648 zcmZ6yV{9gj6ZTu%wr$(i*0^hP+pUeew%u-R+qSi}ZQFRC|9f(hlk<5dSFU6}%=~6D z!+mITb7*y_*kEkjNvO3nz;3+B*n_q^A;UdgGoz~0FC3DvoUJQaFbWv1m}%oi==B0S z^G62>PcMGMT(1N#K=xs>d=vv#)Ua3MX0D;o=QFQ@yYaQOaptALOeYP(7mK2sw&trb zY@W?aT+BREN``~+ zlOftIjN|@*$1+o?HUEzhH44mN9M4!c4UGIYF}PX;F*WX$aIpFHiEIl$MS>v|q#Ddi z7)!M34f2){Qn%x2fXu1J%L3qqFp1W!*w8{HR3dPT6z+=*&husGS@N>qJhARk(bw`^ z4p{)d7A6+#CfD5#7>*V2!4CW(3Xa(9?&~B!ZcpnTg=zzNg~jf@zB;Wqk7czV6nX@K z#yJKpc#L^#5;ilw?lx#9c+ufTjKjDwo99KF3g94?{y4%4`VO@`GhR&T6+RTb{DNH? z(E|%?XJ@Cu$AJDFKJ1A9?zj*2q%yJ)Dy}Dy!}f}(EyQyQ40{i>=xcmhdN?~5yLJ}L z@#5~J)B6q$_mad(Z@-&{qBrNenTj40JhM62%88R(%x=e*;sa#b9HNGs^mqegNKI+= z`ofLwny;Bi8W4E@mE9P6N>Rm=s?22{vzCiL{)N=Et7AEXqB>`@(!YE4BNt56N6oQ< z`FDBz7jNVpsJ;UL?rK0lvO90Gi#L5n0vG+|nEh{0KCIRj#a;^d1wrmw8JAx4#Vru5 zIMqhAgLQZY1efan*xUx8ixW=^A6E8h-HnFdD{_+M;4hD$k1b+4 z;cSv40-0?7g8N$_mum*T*P@VE>_3)>@}OY_F|cM&mlNQfrDDv}qD~u~O!?-1?d!}f zdYPjS6q*(Zi!pGh-+k*NhO2aWGSu+?eM|=Y(YjZkNKE-pdR zmADpVXhbLIS_LMIk=8*dTzorssEZi1cBRLBECOTx&g|YNJvt~cJf;o~Bde&K^NlCH zOqfSzDpQQ2v|OCXa(gmm&yDbNfX7cChSj{Sx1-NIlc4#5F5XGR)k3lqA}c5t=vF&w_k;jjfPA!#E3@ zsbryP6V8PfJ2sCx!j%`2dR4czy2gfuzYd2+wtrMjS`azodE9DLgeHwy46?%#)i5E3S*HZ)@V zvtDy{7*f%sc$Nyl@{2Wm1-bM#$TgRvs;!nF+@okRRqiOB+SEMyUnAouHHyZ|eN(gzSutttC+BhP;pxrPTTI zlS5j#dQz%qG3)x^#$%~uGrydmZdA2i?@K?B3rVXLH7be(KKBH^(DOh-tgqZ_g5eB9 zh&MLn9~jQi%4X5nG6&8!88{Rt)z_J9#1btut)FS>YosYx_ zN_4iQ`M7v>G{ka$sP*(DJg=@9qOM+>hgNqSDFtlenI;May954;Je)}rf$rZJgaEIS zW`1UO&anci6=@ty=G*S)Uq@~%r+f8;fX;gF_5$RgKPW{h<@o*C24w!AcZ3x$6NDX@ zG5WnUp~$7UH5Qz}AR>r3tDx5ubODgGz)>?W$NQs57B;AwiM0-W_`x*{KQB@a%Js5% z9+)7g8rt-zZxGPe^+jTUtqx}LhFx6>YJggmGe$cvGo!>~u8j!-y>fa}gE3C&B-rP? znp+@hiUDmZnfg$l713Z(lWZ|k05iUpUDFm-P{vUm{T?llY1Lwp&dL^Y&g37iR3lAJ zHRpaTnyNE@3E93c@xGP-%w$=k+o$qWmB-v_YB*OS(pJvs81AItXSteyYi9lU-w#O@ zxv16FU;8J%u(I*y!`T^|sezso^K(}g3p@;;tMkrabae|7ThKTOOuM@7rG9mA$JYp= zFUwh|FLb-WNW3V0MhhsEjcq;bxmB-h?77tV#DoWO9Oj+PrY9GZa;$n&vAfY_dfp{^ z^d-bzBl0dae>sw0a(1wkFxESqxJGv5W>iP}YiUrA5~8;kwx$~Ju3r1|tQhY~Y?acN zz~qFNt;HIpHbEp}u6TTb-J_vmf7JQhQo=rP;kUoQdLf6ah0W%*bI+=sMA@!I=$7k7 z4>>T|E>-ZWT^K8l)^F>9&!M>4s+dnAY`+X?u7ICMtMU+HiE{l>Cbd7_@(yC~qow69 z$hK~4>R?8b{*U$Xl;b#oBoGDW*7S>Ui@@Se$8r!(8SP{FLD6oddL~fbY-q}QOv`Gg ztD99I|9T)aHGKU+g87865~3pxJ`wgvqyF`(MQ6&bu_)rG7r~;xC+Y-%RI1`O0flRZ zHC>((p@p)lVq`4d8?9cNTJ0`IDtxPS)F4Bz`OX^ZzqoBx`lldzTqFG=fD|W9%()6xMn^O!6L!o<%{my42R*W$EAgN*2iOCXVPn6 zBEoM(u3yJL1Y;N!NE2wb+33qM!vJ;RdUQ5$r|Q%dNj!<%9ptjq;%UaLKrTF~Z%vPB zVMI(g(!+Gh-O3)<%WG)Zu8sO(odM7RZt*eQ7ET#EKx z8g;;eqG(0EiVlaz?bsQ4+Gn|6XsWXXq9>a<)>gTIGOp)=79b`0VBV)rz|ii(Kn-OC ztY)3+t^M_q{_lv?!?N)%D1rY>=Fobm5Pd}W}zsH0K3 zxtw!cx0A&Zuz!?T6()L;U`s-N)h$^S4gv1(gyr4}Qw8%+;v{!Ffx}|ce??^0&Kt5; zq@eze4Q0Ay(g29vWm5eV!Yzcro!sHCKB*ySI__dy|M~d=yA}Gpz2Dmb6+Eg*G94NCY@8Ez|1L4vp99W%_V_R z%Yq^&DNu8RUMB@piy(%zbe>oifNalZ1+MVWrnUejPco+=LEF#?YLdTi zk|7__%4l*~$KP>JN~1{ywM$~6WdmZz^)53MxBPC43J*zVHGUy~*;@Jdu-NC~iQX`E zj+`?zJN3>sd{T~!I)(DF8}d#v4Ms}b!%?w@Ki{)_J5L z|9cvKuoj|rGUU$G{P@(fz3CUb6+`MW<`uGq`JD&^NcDaWf1*M6gP&2!?g21=i?Gd; z?047*V@6fs2vx_&$fMVe8 zedwM~L10a6>%X?AF-T9u^9p3$upUFulDaN?lSYUnPDNohTto6$)_%G+lY#2Ert{Bb zkpRyV6)IlOI0?3{!4fyXu$=1Avw6rvImmda5Vz%G*S+>iQ29Z66diOzRw%p z=J}M!LXTDAr<2YtY28n54M)Sp?B}e5eiSe7tZ(2z(|04xRTwbL{_??|xjN#Kay;?v z_iqJzp9(&F3}013SKz|3k3xNyla~>Uhn^>ZR@&Ys<0SD-st`psjhZioD54HD%^L)AD~cm$?Cg4~*0!6X^~?U9?esG!3yGGD90!PTnn-otV`inos!FRW5EVs{l*wpm6-C*?XNF$Stc^}jg4L;3CJ=;Cc& zosXo&yU6kp+s%!%Qzu+SLQ%n&#fxa;YoOG71G@#YgMA1>a}* zbGTPWwoq7fm4UPeA)21~37LJSAW0j9+`X5X7D^hB*@viCEB-?2FzCQo92AJrwR!>b zz@;CXz-L-~s&MdgdJf>D29&=bzj`)a3QU#1;mzOjwO^lJlUXK(hCCbjC)mwDr>i}^ zSZf$I&n}s`|B9y!tpWt@u=xyxC8f>V$}Vu?R{lb z`B42owD-8e=l`%>$G0d7uva2;l*tJul#i))sg0%Cmu5QY5^cl%YLw+~WV4pRNUFaA zL;|HQU4Em1ut%x(CawzdLrx?Zo4dix#j`Q1;hWj>T{oy@u}%k2>lk8Ilm3>R-*8pYS#9 zW=mf)u{uEwGPk}|C>-AZG7pc7$To$X+S+-%x{1U|Zv7j!AAN-ghBVRH4x0!v6a;8| zaxj#eWE!}0vlO@4X5V1}^5=7XtbxKdO521U4h$JP7OvMUhp|<+rX?!1w4b{87u|Fn zrT%LpU3RB~SWtKLIAaH)&!hPD>=Vg#Re$vYgkUea@DkTH{r=?S1Ky>6*2->L>HAl6 zIx8dB-A!Oh4g+uE`j{&?3rjinK`n4}H1-9QS4Rm-#Qxs>+ehfdo6bFcB8UywIVsG3j1iC;xQl5- z7#tat6(x$cB4bDouWn5Qs@1RnjBpLol{&rdClI*w{zjY>!Jj3N4U`Ib)UWTy8TZAV z7(_qO&kDj*5KxxnwZZM@x%KwGv@U&o|9aILBWF+f>`a1u@z7Dbp7YxKB6ol172#Cu zJ7Z;_&Dc42AomNOphKG}$OZ~OghHvAy_vlUzV!Pnwkos3mrW20wH`!tf^m#^@`&6A zmD%x!!|9+bh{qU2=U#_?H{~Co;c2T-sQQgIlZ0u62nL~ba?Z1199mIL^!2Z}BSzv_ z0PItoIP@9(jj5y+F`OwK5H8Vi6L$$tQdM0%rtz)>z7fM7D40F;6oFli1Q=_fCELO? z^sM6mow;H&XC8&+>JSkJQiVg=G2}9E(>?P`zeS&&mxCP;8ZpO6R%2i)Dp5#w@QDEa8Uw(`%&)$csdJ+2rR zvDu}>hk3VRJN>RKTEGfOt>m6LcS->xE%5;B_#%$Q^wb>3EWlO@;OC6}u zMH6)5N9{fy^t=fMX(znct-<2?WA@ti6p&0G@GFb*BoH)Oim-B9y2aVUOxT{6yH9yq zDLfzyOJeLp3aFKR@~}iH-x@bVonL)i^I}K6$inB^ND*$zC32Gyhbm0mmdR!|cws2X z%l}wV#E07S7urw!142p_Vi@U=2&s^ak;~s3y;U=7FjoGgW16N}Q3JJt#!zAwQtklj zq($JN=SHX-kdn)r?Rf|dXO>oEL_%LNU+Q}+K z>@fF{L5PzE5(SWB|6^wF*-n=|BXM&>keGsQL3LZ>V6W7L_iUltvlMFTbHXOVd=HeK zZraQXQe>L4RMi`M#A7n^h?(-U?s;JB8sK z)|*jURzMmwGMxu6IJv~e3WZ)N@;eHC@#)en87O~pVQr}Y2PzJ1z+i5JH>GRqmmo2y zrIS>CHimruiD*q!#C6PPCVPa&8+51E;rN`|6)2tnOv{c3bb9zbCM4R4`70p1MpBAP zJK36RXYGqh#{s;QK<-Zr#Cq%(C)&Kb-(d5tuC_x*%2vr4^0zM1n|T&Re2UXBeDn(Z z2oS&e0Fq2QaFFY?Jq$jmZQnRKR#3uI)um}qZnm%BCfwVcR*~F4iVY+wvJ!C)oi1pO zTMLR@0GgeJZbz?B2m9F>-{-P4Q0nmZPK56k)RZdMBvm6TuK3rL56GQHSF#N_`CH^M z<{__V1zU6MIj8laqGD`zt+I4*TJeNBGq4TB6gz6(XTkV%_66GSzbP0nW&<@lm{Ex= zxhK7u-MQuS&rkn}i)yLHt0Z2pxC2h-S=^!_y~sbvD;52g?+tyIXZIDSJq*03y^hZd z)zVeCGc`_ju#~-2J?(u_J)`B}bdf%eG$?I$fTZ)^b072zL#aTQzYn+s=}EIXcOYQ* zEIUNYL^NG(sl!p>Zx;1>jIRSMa>eFMRH?(U2F@PdjW{kUXZ#Ssdkbqi*SXC8!~qFg zcU{2!U>R%@$p^6GN{hHj)@HWydf+uIO``FkL7vdRRZ1QLVo>62lSeZnvUXp)Q{RVq zjnFpihIX9^KDP&^>B~lG6(e=_P3`Z&z?2QvJ-83DxWL#b0lG~WYGvj;J};3}-K5lq z?$g?RUHZwVuQklPZTN!YZ)}Y(pZm-j$WP<1OQulpBu(bmI5L*No0LAy zIKO}EYUD3?mjwjV9biF4W+9ousf2~#K07|`FLpymPG-7>*Tr*`-)nc(sFdpkAX{4^ z>TX9#NO+g17QsdkLRZBe)5{Bk_>pFhMfQ2-!@2+7w_aqX(z$AGAWhfrUJc2qY$ z;?JnFdrlo3D???l(kFMo->>(FyBPs-d5gz;i)Jf2We7$88P=c!BudqvA3CqfM%FMS z6djFPc;REtz0sBCg4BQ?Wk9#)Ihr7e=-6#9is+x^_2I93rSI?SB&Z)ShTtmX{|nsf z+)UtL9Gw66(pIgr6<5@T3heDQ*&aBxfWZmcE1+4|Xefd3He;Bd*y zXrD36eQ#iGvSgw^D&AN%@6nlY^ypwcA1RW}GCMvt20l1H zjvf=sR(w2fB7I%?S~Sqa*xxM3jJE#xys|6Ie2q(H0qLBRZWoFFJaE{|D5RAT>D%mc zFfwkH_Q_e}(I@FfO6$P3%qEo`_bzz+t+e7n=4l$t%|A$3dG-M$DE5JKhEl(-XgsoI z{dI)9D|W47vupig?E~Oa&!GhJ>v1=KuwZ|=)OfGmS`XEDQ4c%-JS1_6*0%zPVL{#$(dX_WqwZ>dUYm8bjRs{8QcI6?2QkMr9z;f4b&|S$d53jL z1D2oO>-!%d%p`kSs!9e&mzAMwhV^93D9W9tEw)&&RU@19&Bx74;wfqm-U24+5G%T= zW;>|PPslr0al*{<`n%{|>fy|8d!u&4o*^OU`cz8dQSOJ3>2v=%REoty#GJ8ZR}a@B zfFVqr4qN|Q@`Da2q$#*L+kuFo0GCWn0cJxbTH!yMugjS%=IncJIZ`9MoU940u`E9> z2n0l&QM6J)6*i}%3iDoxZdfC)8{(neM}TWpJgoXRY3A%%DUz-ym|zR)N2PHDjg8((7*|C%RCx}g=`A^B!y-i35oFc)FBJAl9>7aLsI;Z^*cPfYNSL)k@+fBIQ%}b zfc>krvhE8d%{Y-18O=*Q3=BjiBn|D|JU04;Hfdb;RxFg$0o6_MYfn`xl*t}v z4bi#vW;OT&9SV^g(c}1sAOrj@ z#*pF}pYkFpRs4rxJKGzZ|F4wlNby>_)W%JRr&5-`q6ew13y`y>ph5uz zd>!T!LXcv7->LrR1{|zE{gf$r_|J2f)|Pxw(Vsw7Zj__OY0e9KV-vf@2Jsw-<+0OO zv4=naSz^3xfVq>}PzvarWFJ};TruW_+y?JTl-O?Q?*Z~eN@1v>JQIDJxN-Fv;fNyH znHU=Khh*dCNaUh0@HSFOaA1+H3l5m5gN?o|fn8x%MOo@8=1>8gQ5G%MntnCdwobcb zNl8Y!_HS<;aX*v!UjV+9llYpHSZCyAD3`*6fjWzOZeForGj1ZpLy>j$f0kg?o{I&B zHjJow7uUUy;CxfRXAgv-Ys%TcSKL#-!}3_tD9&=b^7X*$FfULSV1Q>v`pb+~YHleC zGAC#laNAlRokPE?*III}dOratJweR1s99i{Xl&M+1Ft@Jv>5v<{MZwRbd`vjmrtUuPs5C4A6RHV>WEW#uC`b z(Hym@hY#kXa`r3Tw~evUYL`wLk;@?i??P&RcY%vs270J2$siG73itSqadd2$^;&@c zk4GvZg6AUlGP<_Y0R`#y)gIvAOk94HIG<>!bs`OLSq zQbi7VDe4RvsLmQE3WDbb(IVbm&Y&;(d~%pWC!YAAHeVWK$mkRvI2Nl3$K8UPekf07 zcXx0ZI#u3@M2c2jy8h&J zjtaQGz7Q$+cIfCTQ9h{#70%0oUFNTJIr9t9r=Gt4*aLMf`~Z8W*kXleMgnPU6})+P zhNfLV*gPlcMv~>Og!D!@G@@V{cr6Vv)q%`RNRV{~cT0Vb7hh;{ozs^^=DH&%++qQdKfhPH=aPLQ1 zQ55~yEr(&2PG_i9;Giu<(iV5~z#@`D1H3e(Q+ZwN@QhJ#{*Kw=uPuwmc1*A@=pQ+w zA5=7KFHk+gOvtyRSJCj)j|ep8FHh!{QH@BXtesS5F;@$%P-sI)Iiq80G(@*f>S+IxWVh$d*=@PcBgW~D98iW3ZwYiDWL0DVFI zu*!CHWFUON=Gz7rNn>)_mXl7tn@0(+?iT++Di)eat~Q(^ZwToPpKykjmWQ-TGDfkw zJ$binIyQs7tl6%1!wk%rnkLn{@j>N<{4(nz$XHb*2lHLxBUcQTx9uLFTw9zMRP~R) z#Lj6i7<;n*5MxMq-)4F7&Y&vm0PZWeRE0eMjo|kc?K9PC6c=;exm*_%ZDTvigmrPc*VVC*^Y*&sR^THE z_q%2c$Zo7GzZZp-IKnhYC|;kaPo4t9AT^DCa(Iwt0LXL@@KiyDaR%8513#q3#&~g> z!ih;vhY6&v4NeMJ6xZNgIp#I)1fW2TB`o@iVq62wzUIQ09WU?Vg%v!YG z%y{SizqZi^HE@&-to6qHOIu0JoR9z->u6NO2*a2ZG?zxtB2#9o6MKZ@lrqQaq((JU zX>;KD_XZ6nUbbeLeKBkUmMQZ~c=X43tzV%D4%R*dmK7hj6;(WQE;}n zcpHs|N?wuyC0txU5IQvj^eqx+jZAaQ_TN|>l5Q+63l6S#41xo*S|lMac~!64`CDK5 z=&ic`{`C!C>LabSaiGO4)ej*!`g^R|!%D3~eA?vF$}=`DL2ps7RAUcVs?6rSM-=i` zWLf}wo5F#P;sbvHw0AXQLjN>5Xyi@PC%FsLsY%%ZpCa|u+43R-*aa1&s?JEqVMmS@ z*t}Y9BQmm&W@UqWQFB{KZ%Ts?bASAnT*LFrE^W=_W z9PS?}CA8p`@{fec=yfR8_$-K3V+x28Xe#~1{KU4m2Ni~0-|VpM&zq(R&qm>HfP=+| zhcX2PDxh#KRj7IyfaXO4+lz6uO{>bioP0`%0Sp*hX#r^{$OMj7-g*EmPT60Ik zk+_#M$n1G|P{Dm({FH79jH!m)N5a#0!&;7|C_FNWS96p!8EtYq7O21_{pt)u{0_M>)mwI? zR)54=?Y=JGbhMoiLXsv@?q`O*2NWYke+fONh-h@&*=Fb0veqdwLeDcoE5i5EuA*oL=(r|LmBXyR?PmT8>FZFb2ow9PnM^s5D-d+3Wy!HW#d(7We^Zm&jc#4b8+9T6?0^B2%j zR7B=fN5>9oYo7GNv()020-ssjW2&Ulb23|?HIJ>aeBa*jlh|01#o^4>oYCVuN=^i# z=QE8eOG{2>=7^`Zh=_?S1k5!hu3&$h+r*7w`;Z2wk{w$2dW{CBSV5>JPBW3&{?#bE zVbhQ;u+WB028yQp5Asjp0m>>b z#KA7vkdj2gVnvy+9*3&2o^u#ly(w@do5@rp`+Ej;Bcg>lqG9-``^Kt8gi46;f8VDoiHQ2!_fiv-RQl&C6``Uy7*rT*tsX#DGq zH?n0=ms3KT5$3^FMa91$0p>K$zdH&I6Qnk=-m?iMRr!p}T20jZqiv|ABVbze?P26w z3wM(L%-vmmN7Sy9-%mBejg^IOI)Mo}HVd)JkW3oy-31adPzr=Qsgu!xX?J1ID8weAofUa2=`@jSlKq5}%qs}YHwM;N6 z8LCL*QMh!yew1Xg@k%wt4!QX4Enk#^y`{@`2GqlRR&+Y$F+j5@AV?ya9#v`=_Xwnu z28bZ0Ie+gK*cV;>8cNJUP$?Qxtp+>hu#r_fF z<2r}mmFI0`%?E>R)Hvp6kl@2vQ|yq=>61E^fyZP<^p2=564-C+VIft1rRcv5P<}k& zZTCEHe;AQUtx-=T-}o7x3t$p!vu6j*!A-;TpWRly*rvDLTnW=M-h%?GwK$6D`cxgW zz1m-CWzj}x!IQ~m*nl;U?|PV*ee0wj1fj|rcPM5-^^PeDRT&H~GA9OGo7&}{ow>j8QVdKO3F0cpn?;W%J*CGZAIz)5OMs+@avoVK?QQSmhA%;;(7gZF{ z4hankM+5t+&BOt^Wbkka?qw0{8{F;$;4qb(N;?4DA3`;FE9Llrts0@rbw^t#0C}4G z1VU4-IMy;;bVa!c zk}tchf{v79IbNtZUfR!|4@HWiY^o5ry^KN@J==vcL_Dd8GwJ`i;^&vO59f&n>?WSs zJ=K-Zmn_!vF+4lJ~{*#k(b@>4e>y5>AU&GfzOMWrz`BC|qx*AxV4t;v-pp`lK+jK zDUID$NN~SQF+Mws%m0Uer*Z5lDs)q5F-DDOpr;r1Js*2H#>+0pBx#7`IDGFJ2nc$d zSB6FgQU~->`w8LMobzLPsH~;eN^*6xQ=No_vJea#M_2d46*D z5Q@izXZ>=xRVW{Mti-d<92BEaQS>b2<{m3T{JkYXRoTfC=KYkwjR3NNeJ+Delf6X2 zqUg$crpt@X5WT^fGuf=+PAVbey_qQ_I@xSm=v7GuTHFJQho7#Q*XTrKofk)wx>K`6 zxq$?SEvRq*`_0dFAr~q@A9hqw%GGBdZYT3GG;fD)BmxZyK*H*uqVPmOjm;K}?V%Yi zJkh6c?DWz2wWcai$yQy0gAmhgG;<6AO-JTsSq$DEnW0J8LU^Y=EJ_&#hn69dt_1nJ zvjvC+5kXlpjD|02!fpIoMdr5;q8%RD%&t-cCuy54&9(j6Rp3T9YIAZG$cXP~@HT{_ zTPCs6B89+&oze#JyM2s5>zb#g=@;NvA9a90|0icc0|O>77_pbote|pkOh{`JCPp-; z{Z$|-(W6Jrclv1V7Fi{XGi)s)9YpqO`}ns(+k`gJt5DV|j05bOS*M^Z{G_RzcYi0A zan*+25Hiw?YbNCU50j4+kLXSd>*2eS_Q3C?Fwagj9qhHjV5fYOc2TXMdyj8yxa7Dm|>{ zBBV(3IUX!-zch2YsFTt9vT7&!xeh6fw|>lNj+cq8Is~f|Wj-R5qZ`*EssxETp2gB2 zG$@iUmaAbkl?5+&>ftWJ94p2}N0t+2RA)`I!mS!OX$`qIu-dXoDwWD6**> zljtIle$PU^W|lJGC3NNxYh7N<2sf7zL{6NZh^jLq@@|8_#{hN6&Q&7&$5C!(mH2T@K1|3Zt%pC=?QaUytx$LQqhq;>e$*oD@_;HyH26zva;ze= z2IkM$$qUQ|4ZS(^(+HrSFRDHe2?AE&ZOnO`O{A5WN(x}|vrswL57gq0S)f>#nuN@t z8SV<-nD`05Q6;}o;XTmO*v>HiF#hxM!1I!NJ84Uu8?LwFDtFVhN=YAWvpV;?#js{)6w?Smy9DfUwJ@#c~gY-E^(%jp0asaRzf%pg~ z+j|1FVtrd}6wz;MV0paD;UL9=OOI2Pv(%y7r>0)38@57*&eX7yL@ZwnWBL6M4RuU~ z&V2ad-0u7rNJCc|3%kCcRP()S!11kNv1084{Xg+^_s|K-Y!L+QX@}5719r=F?jUr#xSt|JY>4hkm$^H+B;VBQr5F)Nb$k5VPuVIrQ0{xcCoQwg^%|Uq znPgD(PPv@YJn`Kxk5i6W=XmP5lz}yq#qu?OkE|99`#SD1M+tLD5d}C_9#M^zhB9*# z`uz{URSf~~9Uw{ha1eVi(r2N@)$2F>!r(^$Uq$PH9W+{Re`^+O?agSlyLsBMh9VoF zOimy+)wn&=N5yhOX})8%C*7gy?}b^C3H47h4|dbkF@U^&orGrPZwvfvB*FkZJ01}z z%j05T89$qbXn(VFy8}@H^Ex|{EO9p`@7+@wLh1vj3iBY%KA{wv%o{>z<{K0n!0E*f zrQAcqRSzqkkv>#y$Gzu3s!lnLSzph?9yqmY`Pxbs#DH&36(N$wPtt{h-AdgI8HKtX zY6I-uA`g4nX|}&*DZgZrJ5z`5;PC>oP||rb$9is+a)&5!ErFa&-G}+ZRS>T}yZrvk9OSHHj$!V+vBrGJV zaLlUa&i1ZOrsmEhtQ?7{)Jc)#Xh|0O{#cysOf0;tBL{}DD8CN^Fkl0UAtw)${FLU87P%>Jjz%E6nI=SrF+ zVnh$hp0wwRk>qcr2F}C&|9s$13v4(Yw$$Hz!*!dhujNPJgC1uU(J2ncs+A9=XdDR) zmBVq0Tc;Byu#K<9+&`U3aeLrTN&a4QHQ*ot0o#h{DJ-wO?s>icZT=@%F?r^2dTTHy zgow&HSn>-qSG-m?=+EOW`-uDv#=qQk1Pq4R5Wi@5hw$CBGK(UJ`~_%i>u86zSo z(BQ*)ZHKP?Js6nzJb1Mp?((#_S+nPSNn7BmTm6!1Z-8Tp4ez! zws|UFzo{=a&ZybxRlfPU(&=D1n$vh9=Y-FE_o3I6+|U}%F_^2oF5cc8pzmxc|0^!t zNc^{^GN)W0{BR!ZkYyYw9-9rrD*%3YlQ$Tt;hv}A(He_&<1QIjwpE2on5UnJFD_#@ z`DZ~B;SNhSp{63!?}zC-01?o(`KU42z4P9_Ge2mL{{Ds3Pp{KgRm-*Hta9MI^KZAr z(@U%m$+emGJ#qOHfXOi-461L-Jm(wMEpn;9mdcU8lfwMzHhBTG%j|$+0Y~yh*OXpd z;GN&v>j`39mRr+!@b9fdu3A%FVb4J_-2;ho=O`>|UG%U*`KJ_opSn#Ok6L%9?xueS zaN|e;4f$@_OkNt*H9-(wWY`XF*N`_=GeaTa%W1gs-&{8XM}B|lyuMW*nR}$})fC&E zUzLf&h2xBMcISCs00)Q4!R(6=NeUL}2ypAor+pi1k9Zmz&qdg_B=p@|vvCsqO_sW3gK z4SG6TLcZ&Q!Wl4ovm&LcmEcFDNqnRj1wrUEzgj7*l;0qXlD!FuVD2LFkDzu9mu&gQ8KkJD}xam$rDW&ilYh>RdUYF$u&&oRePtaSNv?jv@qVPlK)meo-RPNJ?o)Bd5)w#veG%Y%1a%n_$TUl?6_2m#)kLGPG8A zLR6)=LXC=S%oy`47=SYzw=E8$c^=!UYF(hldI#IYRu;z@kx3-+D+#25c8F+rLa{b{ zCGtIC=ghr`uI^VVEZ#O7Ea6gl-D~U$T^|=ZaRP?Otf_A3uzy_q#I}RKal80nKXdH2 zI0&%dzC;nwV8r)Vr=PYpO_0$~JRorgQnoga5wrAyaWBHc-agU2CyCnjszvrVjhvx;$^$zhT~Ya}Sv|os#*Xp=h{rO&n02844_W6Fqe<9k>$dHl zp0;hIkp?)686xqkJhQs^OBY@m>OB>G0V#C zkHueN^w{7kGhsloS!52F<}1l21b|I7$6TI-S*DPUXJwR|hAAk#KTc@Xjs$|p7lFZ1 z0{h6AVQrvqU*opt`aEFCK|{<9=dZ3wl%6R+54Zf2fx;i6yquRd*&uIHg;Gn;`$t87 zdo;6@LNSMl%^hw(rJnAa>qkAFhb?sGsV2Z#?-9*m69@|98X7Yv>twGv0|~He?&rdP`*YMqy#6LwOHWh|MNA7EB+4^=Qip5}w5au_ zi4F{e`!0ax0UtpkB01rL9}RyrNsr_J0`U&@mTT@kkQ|obKf^RB`3#n_QfVLg;6Vc| z951(>KZAeXl`y8tz%=9y1gv1$=*l84x6rhG`1|t5r@Y+MsSA2JnQuCFIPTG5MLJ>9 zT?a;}RQt|O90dE@P6~)$2(Uf!m>3^i1#mHV2}4RU%FIs>5-}*!$g0kVzEb*~^0>PK z=ft`+EaQ{y&&jkKnv3y$8KyOOeg?pvYR?Y)5B`|3*r zv>67>WM;5wh2R}00Ohz>MwkMne`z@<@Xd?;sf`|Qw;;iSNGnSPU&oKiupOoFYY~*$ zrVVDvIo(@}9GBzfsXY=o+Y*WKWHx)C6yx~M7Ed`knvuk4_PAVi1(YY8=aTe>x8|3O znPn{lnC1VrT(nDqQC9o{CvQkq4WGN%=vMdD-wySIM>T3d1q{|%apA2e52t9VVmiGU z=Sals!3N656lXDUl9k>>QjEGW(j&*=v&X!CL41BgUo(PG{p)skdL+&v-8B|4L>fA@ ziR$P>?X#s~PfW|%3Wn?Gzolmi@dr%4*Y8dTpP>wLB(8n3zLE)RazTR0g#`)X_gyo} zv+#;DHI@Dj@Rq4;%WF3jk0-O7aI>O)ykNgoDk(Il0st4#>PC`#bfQ7S7@S@Uv>9rQ z%oD|*d`gxSh7_lfJh3yGbmKaC&tb~SsRQrnxaF-&iU^u!6UcZh2-{y_&buYRx^y3h z-|8J4Z3=7gG-|0e?F`5DvF*$iSwIyi#j(LH*_-Ffj&pz=2BCTfAq(<@*0Zcyq^|nm z4`KLK0TP(PF9WxHR%RNP!X#z(&StN1uaPJ*66 z$5o|cGR83plFESzvAYZ64yPx~pjRvBxks7FhZKs#nXgB=d-&0>90bwTq$+%^QhCE4 zdN`j&N($ z03H@~o>czA_DIwIbW`TO$rVDiN}M4KmBA1e^We};-+nwbk7Y+ooreT^Yg8F??oSHA z8Etv6HWKtm@n^oSqYupz@!c}EmbUZNUYM}$Oy@+D8k6nf9r){<5sCTp)BfqSr`HS0 zY_bRdfv5e^_V>6}20C-{8 z=#uReTGCWj@@h&^V18bm)r);g`A`u$XWkT-b=A)S2c@jq7nU7+1p}qn_nni<7kImq zMI8Drnq~IAZd{kG(LCLwTnFS|eO{RIwp;A4W8}&QDonxT%$w+o>*AfhJN~wBZLg}$ zRj`U+?Xxw^N3R%U9Jh~F`hm2&fLKwcqpR9Ia9g?&*e!KYY%s1wq9_UN%$Rkq3HiYY zC`~$g^6h>`rsn{jlf&*ag}o%@`0!9%JCc{>ma{^X-2LGvB)Tu!p24yr9_|>ZsA1DN z_N^2m(^AJMB5-jxI6HY84w*Ft9Roy2`4-h7J-4jsTW)R7I7KP(@ zbJ^^r*Hptokgda4GVhAj&7|wpgivg&*$88%z~Rtz=i#I`d+&0H8I^CKSP-gx-$*$n z{424CE1qomsY_O!biZG2*~h}(e#MoH4cgGRsiT-!TfIH3{$KBEfRh3shhe_Uy`(?4 zE;SEdEvnEKf!rjr^Z*Mg|H;L>N{8J(OW@U;-e2k!FvR3GYhhYtFGwze2zOE zmQIL5U-=uEJiR5hGsSk0n1+MK{L)!x`h2b`UH_ur^g;;!XoNbOm549pbR3z6ExiGE z^*iBQAzYZ+ z`+1Th{V1$o*cqHr!+^F~CmfZM+J0tniuRyMLsTW9ldzOjaY>*HiM3<1<%|#kp*% ztG;iRU(iqW8xLjN&m0L zK7ye;zL@6@09RY~21EZNcwG|d#pH@npL!tFV7fe9^q^@PwdJa!Ot>txbsIMHVkuw; z2ec6>tEzs4;3UOEF~Q^CyEO@Nz4xY)s8sj94eEVj!qsgJ=9knS7oekvAxa%Fn(B*Y z^pbV@4kRu-Sh0gu(n}n0d(y-?zd_SaoLR^n`OxG6m=2#1GB~vz9n*Xv9}651=Lkbv zPIT=^>t716G4y*LJtn~h__&hMx(@NwosgK|)I-qMXJ#YYt&BCI!1#r7s)|{kldK9^ zg9`2wtQr;Y>$LmvmNcG#QRT{GX&B{th=^@OTHc=t^MrOi@>|FEmSk_+N;qaM!hR7e z7a5%cj&poNA4Wm}E6d-xU4%@|DyLFN>{h8cr&C-<%0C3$VhlQ_yqG1Vn1*n3#0yo& zl@slTdiZT%uP3jUfyJ53GMvY_ern7)%h1cjqp`Fx!0G2D)8N*^Pwq6sQ)ZXM`w_jn zFy&kbUAYxCwmCx67f76dj3U3Bh;eegEWrW*eQpVQq6=~lIJGz9d5J|U!BF1%i%J)6 z8M-XWSNgzg5}(`1O@49Ird!zK7AdHmxT&D?R|DZYsK@^CD2u7A6Uf5a&MO7y6KChC zaF^q_{_r=BI;fM4w(JT}KddBGP~ByH%o?C5C!tW*na09>%6@|;Y$uAm4D60T) ziU|JlJ5e$)Co+v0qjtf2&sphLgX1G7$ESiK@1MDk3hfEDjW?^_9&aOF!q?~C{ ziSroPTv#Ii>7C%hAfw@j>W~Xx_tYN4n*mp0E+{+%m#0DhO+KQaZt5KM@6L-)$nJE8 zJ=ZxR7M8a;I^M7F?b?H%O`riNnT0pNIe;oR2ZpLHRkAH5$0s9R5RMGe^*!;2iP&@? zNOmYqt1Z&!2pGjs+{W^?5)88{EfxKW&Qgv;L4rp%C@F?^+Id3f8~CjlUp7Ao zRC~M~w^b>hbiAIsn;c6_tE(D~4Eg61&YMq*So`F7W_3f(M7KNVVR3xg^hC0Ewjh|69WFTv+wr3 zH}XOM#kjh?WEGd-j=-mSK|Tk$ihF+*$s1?E&3{N?v>_6^o?4Kd)>M)MX0AUrhku+8 zuNP#9m)ivw_;Yl)GNy{$ouH<^oA=EhvF{z-%&-xvWfjaW8AJAdbcYGu+xv0QTmQUA z|6l$m#mOF$h2y`0TOyMFuT&c{V2(sRXH0ZX%jT|YfQf)Pn6 z3-2bnrk?dA3DN;TP@g~pdOLvUx7B0WWVMXT%#YDbrPJgj_7HRr!l~)6?~~B0&hMqI z9f$sgMJJzuRwA$NV=}8VA2qk7?Ik0xSAf9HDW-ddwceoJkI&EFQ$1!3+QFbP(PBFo z&HeC@p`fxX^yHhLdIeEKjQCWsH^yDPnS3Xm2y=uJ*ZEQkruMyF2tk<{3M%vmP~Wz0 zBQh@;%y@B1-DZE?vOin}_`yWn?!iwKZI}KG{1%R06 z_#A@O3Pr<)-%;7B1I$&qemM9(M4;V|wC(U%ksi zl{>BUY{N6jxZCk#WQFNJo<{@1O#$XKjoZeDZwA(%bKmo|CIBJ^|NF7{a3_Fkk4R zTZzA3X=!W_QaPfTfr^NsJ1_&5OY((QJh^A7Px}J2hv_OY8Tk4Gx7-TquK>JldWhDp zZN7LxULzl8ooDvh=4HnVZnqE9+e0mJQQnx-!^!f$+)ANK-@R78e1wxt=~a1iqAhm% zoehn8e@<`bpExk#>kNa~76yEOZ-zeaq0hwt4H}E{Xd%c)!7tjB*Wup2Z^_9F9%q{J zceG<_#^iAWSeil~Sdl`vonz#*3)(u?7Z7h3_6gca^N$R&>CS@b!mjG^yTHa8pe>@Ap#idspAU^`8*G|d z^3$o%j{T|@sAJ6|Bld1l(YF}4kmTj@9eTN57i8Q}v;@p7=+~8@=@6^_DE&1>Dt8#R*#{=kGB!|~n_{Tr zEjZfxWApk5#?XQe+5s><&mSbD1sT7KS?NNwVD$qW7!!RZZ0`$D9)!DX9Qva8$ikUb zYns*+GMVU?hKfF)<)qTTV7KcUSIyhATuLF#bhXUnhlj+lKp@)BpJ#$LeG-@jd>+IG z+;0MXm)|@GoopVx2T_sH;j(#jSZN{cssS-g^yLTHsr9d$hk!}iJUaS$=`>SEWtq`P zIcrhzu7)BqcUYiexDzH?H{L`pndZ8W`CpkJHA4}8*lHf=WfC|L9R8@pc-s{*ZlNIp zuw6BI0;)$_GDt1b<#8}rZ>^NS1b>!|f8ixEn`4-^9qQAhgC~WLQ`I4%YW<{%Z7mvS zwVY({Fmw<@7y#rI%i2d+s~cUqpmb4s(iS1jYtG|YR+u4G1ee&5^ZSF!S@cxaq%@ti z<+!fG&A+|K>Q2MTc++iC8-VOvs2*1KrZoMCK5!flnsIS7=kZvy2|VT)WYV5He5QgX zqRS7AQubhi$og-{plS~4hH|J092{x_sxVF?wjOA?7y(%C{v%bmv^lU}uA7n>!K20h z#FbR!7FU250|p8*I`u04joLOcYc<|H*;5sDKM6)dEXi9vU0lY^zuWcN!S zFtrQ@L$9gbvcnu5^e8EeZ4tZ|cfqm0gnhLSdrrv1b&0WhN1kNU`laN>v|*Kf8l1_L$Nf@nKT z#-{8J=ESN4@b%20XKr(WN^^=D3@zCKW-4Rx%xnimHFnxlLiN8jS=M4_Nd?3xZ)bJpk*;8 z>x2@Bldhz)sMPjAGYq13*<@9aovF`PfEv&brj-@^Xd}}t2TPlwn~2G2Kx#=`bc8-N zW{z_raLjHQ!bLd~88N_rVbQX47bLVh0iv>CCxj=AiOmh&pomDdM0sfB25K422`?fa zlZ>4dYll%5KsCeJ!Id+l{;9?d$xDvmmS#0)#TjU=z79=GGZ}kBxOd@I|Js#ge}xUO z?0sMkG(nKbg&c|pEe=OOSOMQnjsoka``m#IbrovpL1fPP?q2sNlL}u+joWN$0%jad zpD&C;)`R-0?rAgMb3X=mx?2`|ULJ+|$gYVTBG$&jq`wL~L5-B}NsQ`=jA}G=@2SfK z#LN0@!{?HVC%M&P*sSSBYF^I$DXh{229VxwO+3xgkC+cM6YMYys()7r(It2bap0ge z;Mqy_PBjqnEk`SS*17daTJ42q0RrJ+5DvKE%oJ|%42o_{_$Gk4Hr3n~vxT$FBpZ{l zlQECkl)?p?n^_oMK+6}-)A=w%$hDoVKhj*Vs7z{t+l5p)N97q2d3wWiG2+ThrX0AS z%~KQ!5WjUrDbg`fKb7Zeg4H_~A}ixsFGj9H3b8XMMK)e%rq3MBY8Nw@05}lo;1va9J(8KJ+93?jlOh#qSFmLM%bpeL>q{p(EEh)iG>yCr&V5c#C=pFk5@t!u zC~r1JIvT(R675qVv#DT{0Mz@$B1agNYadj~)P@Ogs{&h%=8dUmp}ur!Mccp5*t5`z zZ<7HQqZ5DC$?E9v(uvrQiQHN;Cd#pT2f%y!>M9nWDjH-*ZgUe2eDRp zbETVg*HxJE%`=Au3w~J!1Flx~B0pV~XRaAKZ{zF3!J*CT zdj^G#;Io>mv&6tgPQ#>Go7ev(MP|d5a_w{nd!8DF(s*kTDSrzNYVSQ_f%I8ILfsW) zEX1>wV69h11Bg-zyc2;k64z{eLYoJrF07-G0>QYOYTZ`HJ1Q+MdL4d$Zhe$mcjW$S zxjZGUl5Gg9;jRHJhQC=_)52-3o1!uf@t0oMt11++W`2i5pi-7;(>Ci8W6&mw{e;!* z8B-o~g7J&QxfMDj&2oq7RP2K zC7iX?#UwkStzrye9M%I^oYQ#x`&sjPV;pr}Nw0`b$2<)Onr? ziw(x68qQ|5CcOemqop(*kD@RMsF8Gt130@|-Xz>vLcjBhw#Eq2^!}b%iWhEt$-0l@ zX^~Om<~;2kZC1q6Af@=HzLyiR*wO$b+uqbNovLInt1rjCOys} zXQED((uopyDK*nDB|nFNE}PZ6Lu3eDVr=ZLapo%rc1dW z0pJ#8ZuyGE<^BwlNlnRTg6NVpb9lE*%1`^WLWE;C6>%N2qnma8K@>UJhb~bZCs~{< z#xecC3Cf z423o=X2h;!Qrza)K6vtSY5Q~T4Y~L}-T1cDo~}WtDCUdweu4q{t8Al7Br>p+-9x1~ ztdcQAWm(;M{hj+%vuQ#Q33kfb$M(Em`9L7mLn8DWrGFZhg}_;RHHZk~y4`jMU$0S2 z@Xt}qKQuIMRWz>$1|Qd>xsk&#@4Z@RG98Y02jVuE6Mdb_bGDefy&tEYyJWp)Tbx*X z>ibjeoPdbnIq=0`1SfBopX&#^iD07{sKz!uda21KMcBjNjY>4vYLWPj2LFq=)Y#{mFct+@8*+nYypF z!`vgKZi+eNkbQ3`?}S}+Ith|nT!do9?RV#_`2i>^qS>vwM&WogIWx~a$R}9JkM3^7-?}dS2c7xW>F5;lAe}CSg8uP5SDEBFg3oEw?PWZ!FKs06d<5()PT6I^#_$Ej(wGT4PjgGI;lK|SlzBpN|iJjh}{yWXUvqP$)f4UU;k6}ySV4PlO%p*fhb)RX?nZ-nSrg6`wIPl zviac6I-2k!JN)2_Gn8I1G%8c4xkfc6!2s-LQ0G8iDxWd$`9TC2`|UZd(=8j_N_M?5 zdKOvaY*{#Ge|M=Yp%Q$ooqh6V<-yf-mf3`}52KOlq*xfVM^}?DGPXlSAIr?2< z>{o8Lsu69ZnKP28~|lK;TB=z4d^})agnKdKa@m>oG9ZqS@m`en{%ZUGRCh{p0$ z^;60+*pIC_8=kRv7*t)3z)W|WWv2$#qKFCjH=P6nNroQsSd6}r4dA#WzHd~ zf0phY*}u@TkY~BJaAumyGw5ua2Tfk)=JPIiP0JLgaO?T`KF^fo?oQ{LpZtziz{>?? z|LS}xu!F5pUzCSw-E8ilP6HM%R#8Ldy~whOJ||t8(SeiG|tBzGTDfo{SJjO zon&H!I;$cy4jhv;16SuDE9#Cwxc|9vx+Ml+CRs`Tx+Flb#8WU~e+0lNC?#qni3z5; zgGr9_bHY8HHGriW1;E{Mi9$Tecrqd5VdFKL(+jk{dXUDs8VfDLd-;{?4{?tCTA7Y+ z>(C#nW;zWd88j2q=7NEnM8jI3CM^X^q)?#Ky*OFdJ{O?6CEBon?aoleazWe|*a3!kAmx=!#OfmmuyGubyR4;rB#l+W z|9j=8r2gps_v(m`O=RX-N4Dx}RZv<1sXjV_*v;eOr!)MWr@L>1R zW-Jlw#EGPgpUk2CPUXdN32d57N8xC^-|O*+f-?T$D9c!^of?44>9QW*$l%I^_M0=z zEQRW3jI(&g-4ThKyuS@zpJ-nVVjAmp$Wka0no;iEQ{Po-!#*`Id0?EgYOFj`yy>r7 z6S_@$B2{A|v$sWyA9I-e;9L}H&4_|aD85|1!Wsm%By=EP_QILQa`F9^tIDw;G8ei0-fc8 zWSah6!M8y7vwg9L;@OnGv{6s_?q%sGDII#G0j0~-K_ozr+$|D67(Wi@N!pP(K^72k z_Ax~#{V|Wp`}O6ART?F3Z0Q6^%ad9KQlDmf%3nQMGLsqc)nB5zGG$MiY zEd`q@-E0xsBJsi(t(8-I+aDJ+<-O|Z1p$p!=#0<8{q;=IR@I=AhA2GS7pyTPQ8E%1 zZ+uDywhcf&BL2hD0fZC6F?m9=7pk_wukJm3 z(}dkG$XG_;wmHQ%iWD~~P!V*J)qI_J3^4nc8kmyty10eaX>eKDjZ+Ux5_IU#YsNAN`*@ z==2^_(Tgxg8c(vAQZ~MQ838LyWU+a67t8`b0uEH(x8uFcTIhZ)Eee>=R58z7CsX>t zg;W5@$1DMHBcJs%YsbDKV8FQPdYb*UQAc3u;|t&pA{^#y0&dBg`Y7#%Imupsd>711 zRpR(D6qi*qVlZ+6&i8?T>dbE&Lep^6`Zb|z)^%-RsrOM;G#YO z3hE4YB)}jRUfgUX2>gr0#`T;zsuv;s2!55B*_q3yQ2G1gpr`w?yP~qi2OejDN*|E2 zq~EK|;_JUO?OV3VI=vYtvYA$ z%0hksakD|tA3B|D>aiMkCK)^(_nubm3kXC;zCdPT4LR~@EU4Kp-zZ4Ij(3Lb_?SUO zfqa$zrGv$%32#%Vjrd4Pzb51tnF+9rDplYqc3)-LbfyxpC1dq3DKk3IZRMk7Uf-I64%^2a2Ny;wme_vn+% z8N%9BF0K8rmItkLRa2`}`&D1S!|sg8o1>1VYrY_o+f3`j4*&wb&S>{zCwlW%Z7Z02 zR_QGHfB~&$k;1Tb#k{cy;)XMIbumh!-~sYjJVZxu+Q`Jn7{9laOap+?!`PWB+!nyO z+b9`wA!DKXN&Az%bGr$YtKA|y8X$tvNzl?6okxx0^YZkC%-2SqTU4g*s#)EF=iNLh zK{?Ai6Dn>ZHz)NncI0P(b&>AJ0Uw@W06)2F1fSLs!ix9iUy`7#J!~Lf{C$rZ;QoF2 z!tU}LlpOdNakH*2ix$vzhqv=kR0@N$_PlPTf?}*key(|H3yF~!aB|rTI>fG{u3trj zaONNddxFgthS7sT%4Ph2J~ipxW@XWoXWUx=iMHjrZp^kj=~llOByYdjrpudPw? z_-4OV>;*&kyVZ=YM>_(MuuC3uzJg)13rlG9;!HWhuDbm|7aYK`ml&z(@kNjN=c7wh zjFIpa6W_bn5d~_RS2rri^q3k{x0VaJPRhaJ<$-&VIF(XA={M9~%sw`#G^(Q$SyE() zoHe%2D~eAqP7hr6TM#aLpNNl1j+$P)Bf707^capof0ex&88pAQEFx#IM`BK%1Qg!s zBog6A(#XW{)qE&`O`PV}`U-5}|;@*_nq_DIf%7WdQN4p^3&c2EOO;`p#ov zjLYv|*tWuyhyt#zPDlIw6}XF|>65iZ4aqjbP50pR>I2|u3RT5*lTHwf)8z<*yy9s} z6HY&kk1^LVod4dF&Ytr?`{^6q6Y~lS0v3mZXZP6~luYo;9NmU|#dX_gKSs=7%NIhH z9ptJEoW1_w$%V(<{z|>|hK5`S|KRBNy^<>zjP@`^Q-T>4*v+0F1#g*u0$o$a{v}je z%j!26fDTxM@Fnz7Xs8^`qKJ~z9%{tSEHHlMxZ~QZzW+CMfaGDuokoFAPO;5gibfK0Evq{8SxV#mDm%8j#Kx0^pk zUZB*UANlfd{>CByG=w6;iXqQHV!6q+B!ASlAlwZ?i%tJF`oUHX0*dj$sQYSHscyL* z+6lNBG@uzCZ*PLoftRsT_v=Gl9$&*MSGp4XY*YJVND# zh_jGIb?xK#Qq+aV74K7P5RjVVsnBw3X0&6E7c5=!Mk4818hMOa$5wWumL8B!k@m-% zFnxbNO!V1PP%!|X9UDC_2PP9|W1smLp$>pKLxMzkJDa+v*I0U;1UGm`AH>PgRB|J{ z{nu_$55JEr))DX33~oYPOhQ&gw3lP`8xiML67U;Lc%!5QLI~G4pPxTqM8RgxQ ztWAr_c%R<34fD@z0Ylj@_HcR!{|&w5u^&oF=os~m`1%>o*K;nkf0d)D?U}d)K2+@B zy?p9KIwQ0^UhTy;-PWELRRT%+tv0^`KD6hpP{R~W5->3Ato(io1nLSAZ4bX9e}McT zxrhG~EHsWMw*iAQGtn_HCx)alK{9c0(s8nKCibQ>LHrYsm>D<{Us9PNSQzLS|Cvk- zX*T~cCCzl$kr82M{+fF?@y z&n*W@RNXj`mIG_g4`B8Kl5Q;`d8HxQfD7UC`tXPK!>HBH;b=SX2qh)n4Y4juIbwtW z1VPxPha@pMkz-9&i0Rj-XP|yL{J*V(<&t&V&9Bb6Cubl5p&KLE+b18-C-2$m3jQv9 za|vdJmrdW!zjw3VszJ+Aw0Tg>H zlWUP;4L?bro`eb-f;~d)rQbv}@7p!pc$=)eu3lV6j02YDuK6x!@*k`VEQhcEPSb~d zi#?YwK~y!ys@yq+FcOdy@%xb5{u%P27^&h1H-4}&IahC%p=X@%;=dlD8V4Tg@3aC} zW!>v-GV?{2rT`ZcTweZoI>pDYJzwWbK7HsQz%1e%qkgANaO&YJo+H3E>brpmT&rJr z?Ru1*@A$^|r?%#UZj0_M8>|vE_~-f9A&Ycf?ty`PC}U}h$q8JL>$eWARqb-TnrlWWWBnOR;A$p?C=qIb+OA+OJ~NJlv&&w;#efray|NvCk}AW)$)iN@xdAVy56U6qvBzQ1Ji zYq(03(tmZh;ifxXp$e8FvCi;BL)2Jr4$;1l-jN^$Rdv8#Kx;izXGO;&`)q6caN9t3 zO7sCcan_(aw-9l5m(9 zK{bQdtEARi8W#JG!jMsd%7*r(;tr3iXo9|xd1x?7$|_m0K|i4k1vC1@Xd4>I&P?JE zkN`9eSU(ZrM#niIl0elsLZc9-%jyt|HIgYACb`l~L-4Y+2w0!gD@g#%*KAWML*bPV zStF#t^ZaHAxhGIe6p9lrqdQa^Zjva>@H1x`R0g`m@u}3c z)v8STPu4HH&m)^SSQ1`wa`O0`+Cn5rHkKeAH-oqIKH&3!xG>#m3eQwyIb8h-J3tEC z?m$r6$IQn-&-PqzgI|H5Ws&N0#Pcd-S(8>Q^;tU{K6psmC){fs+(f=nD*X3`& zyI}#|>=sCt6)Up?UM6AOx4ox`6ktb$$_~WM3zlX-&=!-!7^@>bADIeVK>`T86U;FR zefiLj0)q`+=_qswBFw9(c@wmuW1$l847s*jl!W=*FRGgRCf|-2@^0|RHAd)mtJ^`U zai*V30fo#XXDT#DDl~VjguwG_`uHN0*XL>J_gv@=o?;eJt4$`TzQT%MKcMyTsi*X3 z9fV2F(td%^8wCVTPR5n7312Y9ahaeL+j=fI$g05-=(P-2AGK}#O%zEWS_bBry@ z(}_z7RA%i95X2VY^m#+9$|vDJPvzN+h|gz+iZ36^+pI{f0IRXZ9w&eI&f2hh!Uw)6PP3X(Sy``vX;@d=)nfN=645VTUXyVvgo_o?SB z37xiAfP7AY z8@}9w_K8B$0l9-Nd8Hu`KfpIqQUkG!Q2nDD$uHr6yPkDNt=JB>PJohW)B2nw^HB&y zprxXQu@vQ$Yvy^fAvGN!ZDNz08}_DPbmfbUZ@2Ke@eTT={(QC#`raUKubl%xtM+^?Df<^15Im?&NB!3lWZdie-_ z`^9*o+a$nCe<5OjdG>0VQ(@|!v89jeLw06!#)+4fL(xMXFc+$r12a(C&+&Ybm}2t+ z4zj;DBV}V(h}8X?wJuNO!F|+j(jtC{pv|V< zznHsTkMWs*)8av6(HKobQKWyd$?k{3fNz3^u)qr0+AvuI$0};6AUC^No!NZ{ng_aP zf2Dqa+H-?)KfvZ%<&3#h8d6VedJ7)+%H3xi(+df%yZ(3YFb`-+YC$>g#*1)Lb$ByB z=ce)B%%zP~=|3$%lOheX4bRhHpY-~F0b=$cI(h5~$n6gV4B*zw>2dT4jSgygro&@e zVOZmE0}@O`Qa@2e!MLcv`N{-D!-sKnaN+%`*7%t(z<^th0UXgaS&wlJ2SG|G9Y)&P zzg*H*^PZV?OTp2h+t+4#LC!#LrhojXxfk;Z#erA~uRv@lbeDzn9Kc3j&LkCRLEiDH z`XF%#e#vV^v>qBBMN@FWeaj=Fx(VacAz{}h&+=<8AQ*1Ejd&?eB>M06ol|-e>0kI4 z-M$$d{Q@LAMDI#B)kaJyKS-@&Di^vGmu^5fuIm$T$D7^^jGP#N9Kcjk{nfS==#Jjk zP2m0Hfs6aM^d!r03%d_xx>mg=PA@sJd?}j>PViQN^m98>x~I%Gpe*t}Z%&5yVdDjr zW5!pzp$E7Z#Y-zV16)re&Ezt$TFS|hg~hd# zMxX!tHqP5IaR<9UJ|&Vmf-%!iu9is21wHhFstwd9r!fpN8f^))t2Urs~!#V z70JnKLPI%w;8-p&-Y_r!w6&!jn_b9!aNWca5DjvPkT&oYew|OTJ95Q5W%;VxFI)Lq z@c`gt$vHj6gA(^NRx5p^+p#g%QnalPTtP!hvlMlhkMH^DOz#mo146O4$!7ZGT5{u> zG7Z^{HpWF3t)#faVM+h387O1MYjHDJMhY0 zdwU`{kH!xp$*){-mr)PP5pU!=*#N9%B_xj8QEQF4U=NijE}8_trp;0YqeTCr<^6au zy4xgo$m~XtJD&!B@*Jzu3^A|hR$=JYZGmaP@aF?_HZIl~Gj~+-dC-`$isD6aG4?04 zLAj?~+PcdKcv3X(H`{D_Zzi-H#5J6@`@CN_W1~L`~NL|s;GXXs1!7MVG zUabUS+31Vo0u#)7)&`>ISzACG8gF^+CfR{)3jX4O?+kl3i#A3>f*)AgAp>Vp(E~mo z4(0cTo89s-QL|SG z)^w|i$YL_z-3jb_9*N0jg8}?SBn&F2*#vWSE)8#h?6hhVBVOv3s%c5wo^D*Cw*A7>bC?k&@x@ z8ph*Si%ASK;8)T1+ipdy*nu=_#jGHckOswso^I)?oIc>!=6n*}B`N@6L@FVRDr1@$ zcGw7l;RwS>l4L_l&p9^=#+)-mfjv)SKyXTCb@bhch{W2tQz7H(oXjVg z%)~n3p#K9+G*ozPBKys(HQOe~5Y76JkP=&nhN^tuXH&wkvldbHi+YXl(gW8JSFRBg zGT@=wqb^p*t}%fzd^zE}@WBX@dvXEd7&v_HVR%gIb45mqri{_2+~- zc+I?yXes6|YRhAUvN%|2-)%vi3iJ?4HR6qsB1V&#M!%_K1qk4i;ktNcI@VSMc};&Jv6g@v2VofW5O7Dt()N9FMs1VNg*qejB@$u311f(ADgZ%eOv_*aYjVol5e zjOK#gL}lRt*t=chN9Z>4qMktnVbU_o%|P&=dWCp1_vX{yrT5ZBC~lf0n_eE>}y1D=*iN%qMGT^>bN@V}m<@03%)=_>Vbv-eF>{aL2Vi`)R zw}V5l^#MTbt9Ct2QWu+96wfO*+cw*}efe_WWyIyR=5HiwWtJ9q{!PLP6;zSBVzzm; zn`%mKnBvf<-{%PY#J%O>%JJOFWZrE=`0)YP09W)e3hC zjD>B5n8#UGE;)i#XV>fNKWep*;!KC~e=jm6fC9{*p`*uij6a9EMwtmFe&9%sc%1Du zf7KLn`fSaSpG4u-qP@qTCaamoA6X*F=^=H{Kc`k9Q@Z<1A<3~%X8n@##Bn1ntcSuJ zQ5}wcOX6v*6bGx?%;#=$HxgbC&aLdrMMk=C%vj2~BcG2yK+lA(_r*uGu4hTSSjeZ2 z76#~NSP}+n%C8Kgx`M=4rl_isei{V`EzE~a8# zegS+5;zl))YlX+$F^%fCCXZ z#e!@%tP_EjHih-4aE+AyuJ)Sh0|}$#GQ7010;T39s1qdjZ?%FnO1Ewh`M<=lqyWV! zh0M+Mf;q3;DmBsp?_VE=Wtid8)%mFT+Anx?pc@BWx^PEk$%SE=az@8$apBwqMq=Jj z{_$r%p0%b~CWkdU1~a^|0wkdY-EWh*mX8avsClvYy}%i_nhNvN{c*p;($R8W{O1Ig zUbTFlCkgZc_ur`AJB0t4YFu2M6Ew@=fm#2@(Sy#!$@c$?$Z)d!L}cg^{%ym+GI4PI zPppNBlQH3_+zx|{gM*%hm5Y#-iG`kvos*D_^QVNv#hD=VO^^^#VTZ=@bC~hJ$P3qh z?wudq4?F!&7UusredC8wP&ogK+5Eo^Je;im8FjM3M5C6}5|8E=5PqT;qr_J-9 z3YcyXKB3$VCc!TRJLv@&KE)T~r@|9nMF9UlSsy|M@&8`WlF*XMnebYL2Fk?B^pm-v z0VM2mI(I!+&y426co;z=0tsDLk!(E457^4ut}vlJ8Cf9MMl9w@#9}Kgc3v7>`v8HB zfRL%V$thfm5ep&5iW1+Ci;{0`cD`{BS{KC`wtbHv{471%Lr+VB0ej50 z<^3Mpd!3+t9()3;jgwu|t|HbXrdA?6-&tfF5BJ#C=i>`aDJ7Nk$~r|0`W`m;+h2~x z+P2sSwXrYzX;r%%Z^L03I<$Pmt5JGi*Sjm3H+%|;rpv`(ZFEUUYaqa+H-)YCZQ&n> zb+178u_@lG54sKZ?^i2T;Oamk0FNr{WuN9=e7?T*wb4Tg0k}&TY)v*eI2rkjBQQEF zXcOLB$cDKSt!A56DD*VIy1-lbBd&bqccMB~GQrdBpJG?Vp-33-Q;C=Dv{#nCUW#q7 zV%5Bo^F*aB^H8uraXn+7SGy6clQBTeeFq0xAzeX{(sG%}UN8p93nS@sErNH#r?{e9<YWPLL&FlKuDq=2mj^S&O)6Ryt%vP<*w4~+d*4}4U!?al%4U{$6>FmWk@r*`gd)tP@v>DHk>RFiy31wVyIY7Q z!}`mm^=S@yh7bZTC1@Qk0cV^CC^tQ7{6H}6YlK(=cHPiDpz*g!05H{k#I+$be#~Wz zK>+{$j3D3(yyQ|~eMYvoTu)t0lAymFzPq43vswrf8p-R+zHxBgqD(oSF z8gfJQ6DdCPNqC|_KxCsQJ^}iaeqb+mdDa3*a4RSrYl~js%e>W-;(O$jk@Ob z%_SxPIG>DeEgQznc>r=w{L~pWaJ-v1*>k0-I209&KX7#vc1k&7POiwD z6uGfP@Ly7&G!MBbw=j(T)_Lc*3G;0UP?S=5gt0m?puZj{#Z zkPlYTfERJ+fZ)0K$a8Nz^n0bnx@p}V;ZLYoka`|Hh4$y}iH3Z;AE_67{9v_h%Nc=2 zd2+A|Kml*v&m3u`Qi&$t_N(-7+oNZ)!2Gz~`a^Mru*(2T7UDCP{9kv(m~S{f6_^Di zwYRJLZ?>*UfG>_H;h*n(jEPK)9*`+dhV2`*+r>!!YXh>N6@J;q zt3$2$JO2>upRW#NpX5|YG|AhUGZ!16?kLyL2l1S}59n`R9V88jOt_<;CudBI=zCPz z&k$T%2?{;a!QJuRpojN1{{+cMT$5dzFA>vKq}EeZ)T%cKBf9;Dh{7x)4&Tf}lpe3u z_vzv989PY)yf13cjd7(wLSU40m;vjz)6bsq-A5snKwVC8_Bb){U`H!zNc$Do4Aad2N}E zCRoyTugKIJj+SXEb5hs>;}!!!t)v?)LNOPrn!k!X-xi4yLbM!};?f#2GJ=1Vf44f3 z$&mL`P9jPFm~Un4DTfup3$#)RnsnEM;+|hC0PE&*l%>WF3)8y2pS6!@_jkRpOWX%# zLDyO(I`cE4>` z+AQwDqw=-Sog_%^^ZTP(swag^L3fI}0COa4nBz4dLdqK;*y>)xZ!kDGfG(kjRGDiw0TfB; zV?QGtkWtz(X)W9C91zImo5i-V->Gu`p&R!;+2@8Xss@LoE&-<&ud|sJVHoiZDGZCN zDv6_{l=Hl4yA%Fa2kh>PRne-?h zTE}g9(U4%IZTk$vWo8)qyTRk`3W%73%?#RC52|E>Iwyc?FpEx>#!TU~4Hq-)U8gqe zMN$NnZVi-^VF97t9}){$hZ@zn4nk7YI0yg{EbGuYWl71K1XoP*KSSSC(X<5}E7V~2 zZ<;pt)__KPUX=IaE#B}fr~#7ew&bPE${_&iyNoJFNv=p*^b*t-3;w6R1z^O2@Pzm8 zQAK;Je)=Fi&jMM58(WtBV4OyoDXqb57q>Rblr97Zl1uWyJz-ErASt0;m3i=~@EKEu zsOubCWMj7yqD~*Q1MYOe;9ZSixX@O3sunpsZu}xsWnWfW)y;FJBIWIhA6w)SL2J-- z?G_bLli@n|O3W*pu9mSF2P`NKjFE>Dqu1F4X^#b=L8G_P6-Dw3UZ7ypU|(sPmeywbvzcSJYKKERK=Q5iD_eDRV5hp&&7i$H(zV^b!@0- z-rL!P#^nyEGx90wvF|~?^UQnI{XlVYMc6Q-{TKqd@Xqi81+5C-EB>no^HF5TwZ{%D zZQ$wv#6PD?+8_e-0YJu5OW4Eh?1H2TrcJPJfZt9cXxWu{8a-Qp;Op`93avgXm;IO{ zMKR6&CR3~|(Y+)i^*JG(M*PB!!?#(DKajj(kH~ z&TRGDOl!IN_=rKz8m~)rIwcp(8n))yV`AB3Dzxy7db%1vd=`{bTNVY`zub~CJ zuWZrhOOGiifeY^fxrWcd?kl2pbG66k<*Ir)BK8OTfV%fj*XnEeq*41Xym1BqsHTAR zFaTg4DyS*Rt)zsSk#vJt>8R`81BcgeBo^C9zu$M%wT%nAIf0;?1RY?INhTkn(UK zNn!>>5nvFE?#Xh1i`dW;Put*#Y@YXasXkp_^iIcf;gs$q_#Aeb+#LSfV23RQIv$LH zY7L1&GJdB}{|hC>vsHMxLo5J6pkpJU_=#w)KXp5lx; zJ1RYi!f;rw!!ZlBW43m)3!aCW1NAa6RxsrK27m%ObY=?sguA0m*!j=T{$)TTU#+Ri ziBj4(^W7TN`Zl_{A$;1I3aO9l8Che+vq6n*OM=Kj7X5yujT^^TJ1x#2dFIRWKGwGm zjLAYzKSIK5>iCczj@rp9E!?q((ChgmWBWZd`2xZlPoy{NxS0#`>roPN5(mHV4LN(( z0YFz>HhMHsD@P0S@0$+dMe!vtJHiSMfkrb7>UaE;Xsg}9d9mcYORL?QANbCL>^{m; zb7}EVn@3`AiBE8=uHTxg2rleUTUe?Gfuz9W@QVV=1Q`{SM5{x zkWU5qx`7BYn79X%ae z0EG^Yg1;4!t}A#aan$Q0Zvab?=qH@YUQ*890$dK?3J0L=_x(7|Ldl>oy=>`7nl80# z>)D|7^HDW`2HnQ<up6#pd` z$|t^XMeJqSr6y-}b|hv@#S@1}BB8Fp3zQIn`ISp?$HboC^-PN{KfB1BhUHY@Bs?7} z5rumdRY^651u@4t;+>->A>fGf0S|^FYILSYkQ`&+)W0?_|7v&`66QDWLxQ7U=LhS+ zUD!-7k%813N2HY=m^%Q~`JmaK~4ECW9BQds*Da#!y}L#1{9qn&{24GLM#y%Icw!ACIo;K73i2QXR- zgcQ#bk_Ogb$?Ns*Y=G3?99dzlcX`PTT+tappdbk9P0LuM>vrZV8# zF>ce+z9fZAEMGx9!mr`8_$ z55+VL58xBNP3-AbF|W{DSua($-?kjD;vcku+XH+H7Zc3kdO^2J2g+9y@NDC*h>pmF zyp#|VnbVlIFNZuhLi2hjb9y3Iv=lzOu%2iIeL)AUEr#CK=fN4V@HAAw(aOpw3FU)L za)N6pKLFD)8!N1j0s_t!XEGulOql5);0=3%D3;t{>6E;pF-=KomzT-RoGMlyt^O;@ ziA`qo;ihURb*W z=i0tG>}F$|_5l>Xy_T#qOf4SEgZ(B|uWbK2jyMe}26>MoCvHj&q6tETz4) z*sXdPtxSvIt@`_d>FMHIM_`Jj7LszfRdB2lEIiZ z$pEr`CrC&DVjrb(;*VwVCKZdKKfRaC&=Q4RL@)?uKo8i4KGQfU_!C}&+p(@2YswLd zB8@MaVwi-;T)6kv@ZS-37mS z(&?z9xfs~x3ocYwLeM$i&5% zpgq8nz*nh_&cXPftcZz_nTwtNhnI3NasFt`*%Opr7!v*r=%KOwh{RcbQ0NaiWn(8~ z=U}8~=VbfuEa-m^nH^M0@E?Rm|L-(2Cm}N{8$Bx{Cn5XKT}&M8DYN9jgbCe)Hs~xr zW73#^N`_2aKN55nEu+sl5j)nQhuFk>qzvz~Q>qno? zl%PJM2L7`sR`!IN5oU=07%&HCijn2d9JconLU2~jpB1Gb{r%Zx86^T^Vy0(H*mXrs zupK3WU}vLe;^a(77&ZL$fA=GQ)a*>090|Z|jHU zr-1QA|HD9x2?sl_dqW@p#Z@k8t$B*~T$ylyAV}JX zN1lLg=X*bc`)>HWE<+VRT?M)PScp-gq7k}A^Pg_|Z@b^Umv^Uo%8ZR2tM+YA?v1bx z@LzG`!?5~2yZ#asb z`a2NVNB!m}w#9W@*gM0!d%IUGynAc6&ZYXU&N>?6)%v>{IOh>9fAQ*b*o>8Nu;g~N z(;L*I=5^<>Tb>?F+|ej))?hi(K-o24B2}`ka`Y7lXSyYl!Cy zmNIGnnXclR7ewLC=wFMnVe+i*@!(pPhlUoR`ha}hMRbweaa&9~jN z9ihOrhanKy5P4=Q9iWKO2_QmeaoDARtn5@ASarBifbAqn z1(^9M7WdYT%5?otWMX5yweB9z_C@%Z=FV=1=UtaKH_!WmKoeQRa4o3=M@;v}e5*&^ z7~LwZJ*(c*{x+j49!*z{Kzlzs<5#n0>2&ulM5b26Uog;k@?Teol2TDWK|9nZ0#YI$ z`1NWDcK-t6OvP{B70~!QAZm6G01dBQ?rqVjx@QwtG!1A)P~@P$%4^qWtf4OlzLg-i zwo|HWxAZ#mFxZ4@O*1DwcE{|NBK%;9K8K+?YAuFFFYed)!sC3EThr9BBS81oRMX?^J_7cZGH z@EE(S>2L&wMEEh-FNO%21Ca~yhtT^smvLOkULqOl%W2ix903VnEj{FLZwV+o(f<^t{cTk?t>q#+uA zd0`?d6j+GtpxiDlM^CeF{FU&;ey@onBBj$;Bid0y@_w-kg>+n*0fP0vIyUW=&&?tA zjQ^1C`9=#+@3&6iFq&S<8;?Y#3eCPx(qZ^U5#6(3)upY2kVGAiTzE8sx5{!ito4B9 zv6*yXhJrqIB3}MhqZ1SZvrN5@0T#l117iW5LE+Q!v*qAuG(iZ<`X#=Wcpa|hi-|^p zHdW77T%nQGr0;9m2?%xU{qq=T`B2qTv?)psgxgw9r`JE%>N~rOciJy}Wby2q)NT!) z6SL9iVB|p{l*SEhW|T1~MM^C%oW>a>O2HQvbGn};;!;K-;j8DTX#sJOam8AuMUT0{ zj=jSAvtg~c&IlCXJjAZNj?+U=O$ZJNvFCml1YDS20a9xKG{4Owy;I}I4O1)oBK&}W zvWo>nj{C@;a?HIi_Tq!8WG00=OqZ~eYdiw8VO*I*gY302`vnFg)a9OWX`kF(-W`Lg z3U7$K4LjO2IVs$Au5;yng`0L;pntKymUkA9f!+!x;J;N4=_AeTDzPwxsL=yR@3i8vGLxqS|d<$%nY#3lf+ z^m1q4ylMNHTWj13VTQk^F6g&Oq@~!?1@1pIt2i18*g@pAh*R=}rMzqx1=`sJ^*<6q z0AlqUdKtj*IZ9HbaBV^Ok*6)LL2}dnd*kGnT@5A>Up7hgN#P&H%0q(K3Om>a*!ZFcF{W^2U?I{|Tx3{`QBNOnhQbMP1i ztPO7fRL$jjT~LHDQ$aOBChfPk8Vu5RB}T_j<%ka~%c&s^v!shmLPBf4TyBc-g*W># zh?!C4{nhfrWgYJ$CMGF{6(x>lL@5k!unoK4j{wvliBwW2h>4YARvm(;7|$k?fAfP@ zKy}rNfJx+~cu-{g@v!sS1s3)!Z%AVXk{81P&jkfQ;CiU4F$~R%B0jC z!jrAz9$TM|$93MRWT(+A5oE6dAL&s-bG&jKJ+a_?w1{L+5T$s+nLV=~mOv~xKtVjz zK4$gntwyQ2wTW8RYVl?@kLBUNAkY_ z94wWmF(8D5oz7tKGo^@dJ^N5-Cu5=PRVaF!?=K}tgp{stY1DSmOedEDM#-ZvL0GI8 zto*!{^r$)zRaGVTx}Wx8c5&q<#RH4CSS@b}$44tTEnE*^=J;K&Ko*$zt-$;tyAD@< z>-ozQHz^)+xIAth+wP4f#Q%uJ>yVlOl>uFff{OrVa$xt7$w;>3jSFAR1r^;5z5A9iQw>AWId2ZZ985M% zdpq;x#9iUO3f`2mWAw@+lg`01g+oAVrzR8{FghBb-fEJm3053s`PEegBsdlTCK;gC zfbv@$IUXA*bMlC5uW=c5;_i=tM8M?hu$)>65V{kA^s*U~MO@(%KQ_@nZ-ix{S}^MX z6j(?APbf8hIaH1XcKI-(WMAxZ7jQ~phZ8$SYop;c%ezhvIQno(M>@3TbR% zWuGi2*WQ3pd0l5&-i;G=?aUhhbr9=cfN_yGIwlA9ck8VWcJwH{2AoWY zf7&M8P^a2QZ)&kLBkeR!>GomgEJX_xwl(mjRv5woI3Q^3&m(uVUF#1GDT%BQsJdsL z7kj_X8M>lY*Oms~7xxpHo|t8#?|B7+sV=d^@HtK546zb>P1SV#VUP zO0oZ?Y7F`lrcpD@F0k$pyB$Ti^sJBhx3`pQ@|mu7=J#g)|t+meEfZLLr4Ma=Xoe$BBEOQYC7K!@me#|AyU z!7n;=r`#TlV6mxyV z{rMIOu9O6Viz|j`>SOx_sbVn=96)o*In^sRghVC*5_nI4+ z35eDhGTHXbq-`tz4R4uL@wX$YwHN3~eEbK%GccPQpO$CPLR+0C8}^kms>Ck&9;uF- zl_W5RnKzpeNSiAuhXZbHyvVwz#m9lNG7Ev_*K+crsb%h*G!w3cnO>WN)skRK^YkuR zc|;pougb%&5kZ$&xvC>=b#w&F*CdZFmp5*c-sS_nI$NWydtY5_rB2K;UJBj^4sRO( z<*92!gtQfE@-oCj>}6O9&vOTR0&!FVgwtbJO(q=ocPEP#RLf`z_{P{Bt8^-+S}{DD z_}KDq(4|d9`9uoMB@r9l%wxPtbV1`TwBtNJaUpL?t!=;*&vThn+#>si>cE6c{Rh%elJ3F``F4@R4Fm zw}jxQw@PCzHwswyl#Ynqtvj-(+wXEU6m88W-lDOZ)>Kr4x;jdRhoQ5;-xQ$Rb zM+q8@iq|g&A}(bezH_%oU%$T+_tf%E2?ObW3;f2uu*nS|>$;+212TG-7ZEo%`NE2< zTP4}dG`->g%0+=$=44|y%U+I!_#g){00Irc*8Ys}E~F-l$i4w+F(U)Ot>q~PkM@&} zT~jqIN^7z7kZ7>snsJu>HH}n}T?REegk3L>eie(wl4&qr?DVS8$~Nt%o$V$9=j8Q8 zh9h-jt4;*8Jf_J$s?~!@S&0Ex8rnswW({bx$dmNR<)#>Y`}1I_R}naSDn22=DpI;L z9iL+Q7S2%&#F2Wu+u0eQ`@R>t=G|R#li{pJp@!xNG4>O5FYAG0m(0p%JS1lE0)Eht zs_&aY$65cQTUS`7qi0*9oOP2gMHIXGhZTLXll^kJ&S{AOsHzyq!$OlLwU$Mzh(5y5 z`zy2(_%e=}$;K>mPE8!c%aWa3b(=@#?`ZWpuVy-_`X80v)AT3+T(+=Ou)@S`9MEKa z-kM|AQ>RfdbqCh(j6K7mZW=jA4=8HMp<>eJ_M1))8ym2I!|P&wa@S-xMKT-}bz%zC z*1NlTX>3x8$g^f(6+Cd2Qr{&Ymyls?!|2-|Z{yB}&FUM;Dl!84z^gVUezLf7vZh|147`yvF{WHodwzl@VH zv*oXmrQcEcxts5UP=`m-T)wPL_(gSj3*K)ymMoWaPvx>tW7d{E!PTb{gZ&BRRFBf~ zdpn$r^dHe{6YofqsUEFL#{ad#hbtNC5E|+`;UI!e5m$Im+6hL1AgDaCE&nJU|03*v z_lYV(L@n%A3iigy%r|`!K=^uqcJhkv;CxInb}!?IP4GHWoD-Tp`!mAi-k$R z|3XSI-O)i~`oYLdT!cUPmV=r72gLpdc>gzA``;B{yJ`?W12EZtpzrK1N`mt)0VL~> z0-u$Q^=Drs!KaEG`G1nH|C^f?|38>jc2D`g?l~wM6LSLMk9zJBSIS|(x@4#R4>X*8z_^S0_W%VTr`&F$5>jeHFYZ8lE}mcJgp{n`ak z*+*MVg`d|u=q9x5BbS|e7MH)-GenxL=7Zb$+FMkm=>gwSHMTPK3lQYHw>SXGo;jvn zPw3>J!k&np65E-^?D!?;7T9QCoTrY?!fyl~0XU5I;c9yNLbn^Ge}C(>ZQe9t{euZC zn>%`MC-DXHFYn%H9=Gf`=pF~7Rod5QI0eR^kYWmfEGo4sMZtuuT>R^r!jJ+NRL5gI zE<@EP8Ue;hH8cJOP+kPZi0n=)bE%>D)yp~p z7Xsi>KdMya)|Q3f>3%!}#J72-A)BFcZeLLiGHlbSGmG7596@y_CQ>1w)m!KtTRy4| ziWXSl1hpf~t7YgbyPO`RgMj96vw9v^j!X*{K>+8&UN)LWhWX|tG~Td3%ZTO$ji7vH z;6K8VQx?Kv3nIv1s^7uk56&l7e|*$fT-Z%A_0x?YVn}fA>tQ)*Ygx(uQWJLhjl~Ya zhmVo&<>zyt$LNOSb39yCiynSW)A8shAIOq6d~b#%jMM$iu3=U>|Ly7S{dy?OX{!HX zzYXALZ9hWH^3R7lmqO0A#}-B1?g%}KOkaop{B~a6+&O8V@s;`J<9O)avRB{CUAKR- zLc^=tn`>^1xk>d4n(G6w>a1aWc+ZD$G&^xPxgoSa4Y9=cXjy%O4tY20RYMi+5<)oq z#*`YIKik@`*JVFv>uhNU@^?V|<>Qr8H4SJP8426PQb%qt>1Q#2>CP}7lV>S@45vCS zKE>pKuD;zjI89J#f!91es80+DNQO>6=ID@_B7F6umE>H=LrpZsZSc5*H3N++EmZwx~ zz%LJ&0R{?W`;dB|n=&Qf4}`ybczuOQh-EQX?IL-=&Gi1!Oh3Y@NwXP#7Qpm3@I?so zXoJq6!o5c9Eh0iAl{Og>>^|E}F9MRY@{?T&JWo^A9ual6BVisyh42q>A%D$Yk3^-_ zsSYImuA)si=yR`se^{C0j3-!WT~$_?RxX&*j0Cs^{p%2bIkB`{86`o4ses-ppEHMe zne!2$v)2DUka#QJrYj5NL9`=X?jSl;Jg4}3vG%#o?SCzEEHxR_x~aH*=?;LO0jcrJ z<=}hUZw2cYT8NioF|M|&A2t#O&aJ|CP~^)QzC0=_L{C#$0k6bk3nCAkG{?}dUK?US zN;hch&)f!~n14e?@Yx1bL-+GKhr@B@WRgI3S@*H>b>j05BL$P+#Lj@pvAw7WCs?@W)P!9BRHUz7xKW&slUCZ+NS*l1dfC}g3z7}{tuwkWcG8Q5oRzR^s&T^em~ zvBrLRlAUJ02;4@F=m~C1AdKv=ehG7@SAD+4m18z;cm(^*tg~QRa=d@;`{KyLtkFGr zTMN?A9G~3e6$4u$T#Op7#TyDy{9NKrepX0m$QlmfQs*}Wu#Tz@g1 zg3uC|UbUaQ`LmwA4$FX=O$IU(hZetP^kLKO@5yG$Fd0Fn|G^k*0-^V3-fByr_ULu*JHgGx(k<_A(z{^~0aJ5eD=?PMc8-!3l%AOh za(2KT+@jSIxlIy_QS6I+lorkd;ceg)-}IUx&{#R0@d5ou702#w0I$%dcjG-Z@q?{{ zOhyG8rt$XOz#`z4qAK*G27SD|rrmND7!?e~Xn4}Ro)6Vud(Rhr2$KD_E{@P*=EE?g37ZlBSB(EAjuA6)H++yVyB+NZH3SJc2!Ae%$ZYKwG z&2DBUV`K|gyp#)p_7+f!O`F^cH1!ZC>O(uopX3-dDOo^gCTCrxV2PcquDH+3rmG*1b(C}5Q~AaDg{M``dv z3AIo)_u$P0=~zkp&lGA0WZNB*K{aU>b?=K3=eSY9Y@3~ikygj_l{?vr#;`WIj~qF{9=r$6*S@m!*t~KhVdfIJ8{&?4H|26 zfiW)fc3gJmoh?yELkTB-Y3kc5bQE2>BK|ssk8x&io|OhKwlYp!76D!M7 z5*L6nLMbxDUlkxg&8W8&(YYPsevvKW4$4NCm+muvn)U0j&YH}1T5#qTo0tNWxzDXb ziE&mVgWl90W*Qc;*s-4!sxCW==wVkmRN|7jNT8&GmO2+3>kUc!;jhWT=R{1&HS(v| zgbjXg25jD~=E+d)-ch*9s~LpG)tRl{gJA$J5^FZGrIDbSaO(!Kb<5(1>-r=2T0tJf0lpZK4>}m-)mN%ep@RJY z?ND5Z77VR6Gs)}svyF!DhLpd2Z?SWQ5Z`RxyB0^|NW2IH&`?VXZUU?Nex!{+zZ=ca8y87oqF8s zZ|{cZ2M+CQfF-mvul)BO43R_FK_ReP6V=aujl!1DLy_GPSFT(b$(k(H)2+*<_Dd5) zWXyHY8tsrwGglkj(?4rY$`vrFOWowD%)cv0X^2iiu%}S#2yPkDjuJwXBS|`mRA}-b zx5tm~zUf>4uANsD(DI^7D?dAG+KY?&v7<{Ax|j2^(#jphJ#Rd#-oqdcQ95H00w)wg z%5jlXh9gk1s0EfCT77MN3~R2+&8wgMO5^@;#xC ztjp(<+izu^kXhxXHU*rI^rX2lM10IHtI{02zk4UjW-L%M1g#D3p`W89LV`Fb(k&i? zyzb=y0b}$atCZVQeuy_Ja-0vVL3$5CtgaOkuW3x2Fp>X?1rAreG0Mg9=>T>EKhlep zv9qOicD~=kV(~BV?b|qBsOymK>SmPq!6v0yYo1XE5+{61$7F{E_{PN!Ps?`7hX*=U$Xut>e}_H(aqAT6oetwvyrlS%#UQ)=fW? zrG=q>{Vw8EWl1l>)-b&pqZMPC_FpwkO*#Xy{`W35^xRs)X7@Lz^*i`+-GX`ylW7CF zJ6BZ>PtQJm>IA@7$N;veQl7d}@u&$ssL(htZ=4&jF?DgXX@P}mJ+@RuGX)31Xd}(P| z%>BZ<I;9)I5P`{R8kdc2LkEJ(j;HKQOcQLZvl>YX`#?+rQq_unK1ZVgsft-d+V`DLexm=SN6(YW(w3Sl*nQyVPAR*++~Hc z+)t3dv_+(W@skM-2f>0$4iY)xQrH54d)4|l!8v~ZTk7RXKZB!2VPT330vnyh@lviH z)c~R9od`sOxxImW1B(SwR?O6)anE6zh-sSG)C#6jDX(e$)W6*5kHep_fF@e77mol? zVj5eO?fB*T)|%{Oi#a1*IY5%2BV*Hyb^|B_%0m5SYM-I^U1PUPDgEHT zS5Q>LY=5J08GA7X*lL2c`WhI*ZJ^XTNsDd|Z;Ph;jjVl9NN!POu zs&Vxw)aiQ|4beZCE~vQ{>N`UYoEQ%`M>^*Xyvc19EkvWBp)!WyOZsh?_XavGHSw}+ zbC~&yL1K%~R;BAs!1PIxT&V%YU{$6rmXw3VK5{yDhjKgJvH))yDyvJ& zufN|H$5%^*cFSxxA-BAs;EAd^Cg83kibj92EprZ4b$SBFCN9rLW=Q$mQ0^^B{|WIG ztv%UL(Xt5sj6At$uJz8&+08g~lTNCCW65Lr%5gBMX%v*BS8(~Q)dW(9C8$Vh3|?AOXMT&1kIV{iGjhk zNUWKZ{Y)cW)}CW^(cjf0DMtn2qg%O{M=sj|GADQWp5QuTcCbIL&x(D{mJpCp>`ak# zbq8p*Q89gboPlwF;2DU)+fqWLr#y|Fo=}NrZ|TGTrjZ|$tYLVdf!jm=|vVY2Q|+^5KBm~`kpM(she^-+!ze~;g-?s%Q`IbC?t6NiUl}bcyimCAwLP2i^bspdsx5+0Q-Xb zM$vFMh=hQb#sEG^5fIWgSdve#8zx(B>}4a7Q37xbMjDSp0>mvGz(jvzhRiX zwL!;@z=KMW0GErC#)Gy=2woWG-@ec%%l>3Zezakfob{8I9f5_D;JKs{7&yQQgNsqo zxMam`ft|<4IzNq)6*d8i7(jqABycd0B?jasU5bi80p?)IGe3>^;ot!>lJsO4(6J=; z0F)PoBz?kxPyyH%bb@b-B{^}^kdFisCf#KMfXNsvN&pEWFp$8{q@o!3um0A9tgtOZ zULe06&@vnpL7;$4z@uw83GxhvjFc0e+`DDSk46BNVWitpP@vNY0q}4eFo)l{>lF(_ z@8ruIW28|Pupsda?qx}3p=6~*CHH9`PF1I5WkdZH5(0_EOCzwU9+ZbA{!TyuS>urK zU01h|)HTbWoe1Tiw5CK7VU(1ID6z@i1xG4;DJi)Qk^z*7=^T{Ngyg|W=DLkjo$hG% z1G?cKB=P5tjP#3Iq#M6E8FJaTL4zj-&R;4rIsbEGi9tZaz(I^-uP2IY^G9{#Mxy7) zrs+_M!Of|ePvhgdNoo(^*s3e{a2=lVd>&in8&mTu(wZ-Z7avOpu&0y;1%9b|Je`yE zD&U9Y(PYMRGAHC*Mk@&JM{l{K6IM*)EvIF-Mn}Jf23DVx4GGB!K(kd>;IMV?mY(2DJ?A8*rToi0-c zYNpr16l=SbZ&^`+4tyltTkdX?n}^1mk$tQ_@7Z?AW`i z)=}E8ezCe@vQ>u5O&6bOT`w=`$uZ@exaR(~SjNj@c+GXWsN7qXc39@K`X_|POAzCx zy=n&bdSl(S&iXXO{HGo7gXMdp!MTxXy->QEx($Oo#rMWH)sCRCa8Ia;@;Rw{Ez1cm zLfdR^S{&I*CNJ(rCKFN&k`D3xl+YXJ3S%4c=79z^S_T9*3AymTlB;6%d}aJ5-YtI? zck78>(p0YTnq-c+(8+b9ElN6yVk2)UDx#P{5{C|f`D*=r{+P=jeGV*-=xr+cfGxnQo6UGJ-R4 zKPZnTr7Bs^JQqQj)fs0!;m!DhHlh#l+`mNdIQj*X z<||Qm&2<@@WYcqXgaqqmGo|;{4=sxABx}_AXffv=wd%m8UL4#YXDK>zx@5i%bf*EwA=ok&|M5VR@H&;Eh3@q2)}u4~Ra82U&hw=P#(jSq`1-)T@3wa|{IoTh)m<&6Qyb56tbbRX%RI5{)>w}76mReH za*``1T$iU}&hl@%uzBuk`B%;BN(WvzGzcrai>{`OYvhO;ZnU!Z7YyL~9{%WUiDwA2 zk+-ruN`FT4m-DKOVjyC^zTuqTCVa)Q&W%~D0Qc6RjfI-Kb7&| zWRq*RmJ(-BfX9Br{Y&A_OCH&bG>tt}jXC&KDK5lAee3T;S){MeO2%zwRd&2Xi_l7? z-9=`{5&tBr{WEQ66mIdFkH0B@ap(AwdbO8%+&!wJZ4aEO6Hdw!jOFAZF0@#qvO~|s zKFCAu-YwXU|LB|dQ5l7&Rg1(91}$gYxvhT$6Qi|U=^s}01;YM_SuwEWMArO?&|E#H zoxn1u!hKt{t9qD<;Yn-U)l)3Qa+>uCS zB?>+1Q&cLexGiMGt(l-|lxGmNT1pDva75Lf6G0&Crfq=P6~RUmmbS2nhVYPf%puyk zA^{P_(QD;p_;`Vp>yvVaRnwiS6w~$9VqeIba=tY0U$kx7I1C$P1s7YWs#(v_!%J-{n1s0?ITFK(V}Xa^{%#3w@lH&1k}ed+=Iut;|*F zch|+6$5dV^k4y;rkYIki6k*RW#9(nLtbv*;BgeT`8T1K8CiB@)GPdE$lEA3c1(Qei6p+LVu*DbvX|EG)Lr0Kpvxb zIKwy1*y2$6rcDFF!i6YP&LKm^MFh1J@5BkOOzQnISB)R_57*(TeZ#x&G5S{vro()M zWa@^l4c&>er|#gget55}n3Y@6$~ySm$TyiB1Kn7kPtropbe&-;5|8dD9=M>EZSnr* z0aN?t_`_X<`vc!^Gf_Ybk3P$0)TUi4yn9by;OhMh25!2xH6r1KhsU7)XzV#Xrc+0b zcGFSZY*RSK{VXR+dT-j7BTQ!RIa$s`aN8Dn8y%#%a6yg>hP|oThxDM}u3Du?N&hrV zyh34h;70Iw^*!3r`TC*^KWsW1LMNQkw%Wg)eSM@~x!lY1_GPn0kut{*VcpV9{`LuH zo?MylqFNW@rsB#H?IhT)4EqoM;C46rfSbUwU~E)5C;erq z#G#RHPJHg;T-E0MKC|){isb{fS>=T^+4M1KLmnq3TiWIAX|9W3j`pD*{<-R+rG3=qbEXG{IyXb8Cn%A?PVQfvj zZv}Zw7`i3vGba_w%&Ax1_`Xi)!3xzonDJI+S9>}I^@$3c`FkhKS{NMjZwq{RN1JqZ z?EI6|p+cVfTn+i752j`nHksnEK}K^TG5AXzI!vP`#$h~XKOI=VwUwr9+M6cHyA6f(cDXpvpTe==A%NID3Fp<$ z!(Q!I(QSN&>>gEV)&FGnB{^E_v*Vl6{n04jwR8{(YcsEWzbIPa$TYtUW!Jy#eta?n` zNqQG%)IEn5)(?%F+I#de`S)ksXRs)a)`!=1o zFG#*&3a@^wRL~*1O5kP(pM8MTmSsR7cNKBkJb{&$KVs=eHJ ztS)#@%TVs-wINuW86>;y>#~1kWEdXF;$h z-&DP%X?>CBM(kdpfeON@KI=`^O7Wse3QgCBk%T^9x`m!nqVXv4m6l@S{Nu?mVKue9 zgSp*%9Z&Og>-wWTPo^|dhhFRYA>9#pJ>&DM7WC?uYx5DtX@kziLbn`5hOtPMN5*Lc(m*qQEI>g}AEl3@#tY=B3tt{gULPvEGvd_}de^uWitl%9@ zbLPTsR336ZUhJV%Ai)Bnr88fV&>LL1GEuWEBz!sSGyK2)a0qOuQGk;zWwkC zd#9@qJ3&$`skL;!3ZaVcSt+!-5c-Jm(WEv@aPR5QBF4}2^m&>L9tFO8iO?G9j?OQ; zx3Ms;{NxU{y{Bg8!_U2Ym!fZ9g=mUfdZZrL<$V7#EfpJb>SOwkp*TU51lz|d5vwql ztJYsrUM0A(>wD&2O0RryJ(hMh)=I@R9cMImGQbJjr&}Y4;NZGPxKvz}UPZ6<^yA^k zCqmk_ryYH^2Udg+l?Cqi@J8FRINyu+DWF;Ps``S`IMb0)m^#O-AL%4gA0V<~VUsVC z7ehaHM4|oi57F4?auQyue1|1uw%St`_B|K4cg@zACG|*E=;xk`f@XB4{hywRXpKTP zmYP2edZv7x*%rbLF~SJ%e2^cXd&Sov|lMv(6WBH;>Ydon_}TPMU8Fr($iSP^pA?%!iF$_sS*W0gAdc!t(nc>Pm$M3H)WJ z+1ZONE3W()PYTKT*pVjad{Iy^o&m@7BfE`YS{~M7`CgXKSK+hKryh$X|FMIpo2OiT zZfb5VTy60ZJj^KnwpWvJHGS;_kq?Vvg51#`%?qFEv(HVX$xpX^c{{vGYSfZBQX0DS z>DpOg$E`r&GEoNGxx>n4tLeS;ErMaqkiDh+ZOQhr{ zzD}f!N#^!rB%ZlS*-eGRSI8t$Mp_e8PTTnyIr#~QLzSQ^P*v!0s18&Qst+}U8bOVr zC!r?LQ&2moJ=6i};OXY+0d<5rL7iM(PWwTfq0X-0Z-5ij+0)+#>H<9tb%maVxcl%`M+3H{)b5r(|U)|6aTULFPkI={|9TQ&v~5&4gTiv z|A0Bbo3EQ4hwthC#iB%oo-~y+%IHr4lDJa?B2o8vxQj?*BOdVSqNzW?N-yV zXx3#q4d#z`KZk-p8{6fxR%T~idXPPxvdB4PdhGB^Q;pY@t_NN#3&E7{HYwu6tNApH z87UxF7^pAUi&$EU!WenhIdqzwXw+&5%~$EFwuN%<-LdUNXH&LWE-qcA3ooGM5je7+ zDfJp_>UC-=N_)ku8Ny|aG9E?hnZ3RgU-nY_CDG-|?j_2wOvXpy@eT!vYdwx8UB&NK?Fk68ni9Br!WFZbMYE0^ZddB3xTGl zib1$nPb)Nn0(z*8lOm#8r8iTbwxKYJa@`jD<@T+;$zGH?8FsUTu{I6$IF3X6_E=JT z9fDl(s!#Z?h*RthpKhjXlQ}>^BQ8F6V&S5~-iYveXKE()gPXF$Hof&MjZF0y8=2_( z_U$N)Aa4MM9 zlWnQOXo(|q_(DCDK86Zsjip?U#w!pg7Tfp zEnB*4gc6%({bvf_reCNx7g0!lC|^;fY_O@XAAM9fIT^0nP`iC+yUvCgdGf`^nQAIR zz|V>ky8B}G{GgA~rig42QKKwDAP5w$ngR{mqh^eaMfLd2?QOKQo4RSemDP1kU`vFdIDOFNb7 z)orI(YX$?zvdyPu$}fbb3lz+891FL&`w3M zK6X~gtENtw-*V=1vd!;a{^WS?I)50)lbEdHu7lSGR{hT3gUaWyc__uisl?MU8Am56zgT`|$@^c-@!5KWK5cgb{zOX{V+NIUq~X<`Rz7`Q|l3m8B2p|1%T4s>-d4sqRfCkR=; zKf|y^cNOWbwU7I*1tMY(wjwHBuEgtA-nP*7uqgutNAJ@~*#!pIhxC#kS z9;uxX_gcJt>0?jsQC~(DzL^sf&omK(?Qa5JSw63=9_>8wVO1?w1h@3OLY5xJ&umIS zJeH{Jyszfkzi-kje@r|%`4!Ls1essQEE0dc{y~*dxPro%T`U+HJlHUwHIm z$)NempQ>ni-+wt9bnwly34Q0iXIJ~Vgw2buZ`fFi^sebRZZUOZ!qOfEwzP3c=uBe>aMnO96d&DE~dwqIy@cXw<0Oc4}nE~%sJJexn@HcdhU-T zNKG~`WE4L0jn!Oxe}^aMmc-pJCyqnKW9;p)VKTf$Us4m~&-97~`)Y(Wm_Km4ZXlvQ&tl!ocznVS>ZHKBqHY?IFY%_>JF%Vi!4 z>zYzrADHNEZ{n_b;Y=wdcj!zfj`ba{zbT>2WKi<~XZ?er+Y?LlGgkG5>m|XR&iC%L zB*3;zuS=^K2GL#@Vq#e|AyQZ;`*x{gJ0N@W`iUs2fmbk%`VB+=ENrw$Y0qkDp@-oSU2+9EwRk2T_) z;UyD<&8ZjqIdOJ=1;)icn=fTNoMF&&69|n8xzL6S)S6Vf<%|o-mb`E~b>Jh^VfoWY zTnyfT+l|1Ky%#x^r00w)T;E4k)OqhcoDw$D??m~fqE65}64j2EbXXSPwN3hhx zKDj51wdO)5d1tCZHB;Vx;Q01{BVI4+WxF(Y--5@4c;)jlrjzYCDH^MzteVnpS2d`+ zMjcKkg<4>kHE^}A<{;!~uKzR7NP?h+rn{axDvqz#upUGw2yAdWz^viAX;tQE1yBgNitBI^ttlsHm1YFrgmU!>-2h}1Icg{GTh^ED9^GDR`>@{Jv!LE?Ed%h%l(%*dqUgF44f8H%@)(CDHrjLWw!gxok#v z&5hVM&&QgyPfE`A5NXFsG}#S?b#%-1X797L<81OG#P|lZdifUaBf^5Ab+(_uEo#ap zJr-Nr$LSomJ!gi6!by7@T((pt;4&Vb^CcwQK~> zT2v!4;pDgt4Y#ewDYIf0mQJCS$@NnJB#}vYR=<5mJG3xV(TllplV7IO>EY%j*8 znH)|(RpE5ZSB&N9+Rd0CzadyW>!i>Ab)F5^#!EeXIxx=*O7EU}tQ0ZOu3(rXW=lK6 z+v8-mF3L4!t?V0kEEhb!V7-s_%-aDELbgaq_jBLUi(B7WxOMU)>q|vY-cy-jBGsR* zZ|WswDN!e}^=L7Ve-&qcniX|aE?H#hh~=m)(Jqskp-qqv0qdx8eIn7{G}usJ@z!?j z&7l3w%Evc`tD9V$m7I=O%70(xJbH7&nyoumKeVLnqPeEU(ok*Jt&(SYjfF>4O?wIa zHhYXbWaEtw`5abgr5eG_Jjn^LT@*b@P?lfLK7daA#9=AtXF9QOlK29z)+X~#?I2t3 z*IV50quU}G1g%Am&luZ!h?x2Iv#TvP-m0V(%W8FXVjIj`xwgOG;U`U6%eB1~`8v88 zJ)9gLGryG_?R*ki>5?4RoFTs48CQ2gijYFp{4_q;yT$17Vw6H>rYL9DLi9SE$-m}P z-cz)#v*ihY+p4&U^yvJjwQ{nWNq4I`?}s|-u=n?fvPCmJPs^>WJo()rKjMozyGxB+ zDB+z}XYteJ`fXUfa#pvUc?V62BQ()2HoZYf%nGmWYB~Uu7|88(4Up?u6_v$p-)^@JN?5o`LB!jW`5$R z^m&vLA`y7E`qbINP{rcCAiiUzMxnTrMUynJ1!#I_R3g?D;&QK`b)_pNJ$KNu7kAwBaEO6>B#mH@3h$?}zN^U^Pm)hP zvAca+u(kay`#}q>%kx4HXO~95-fwV-Z}@unOWEMnGTu}(Z<*6KX3X`BGLzy1YnD)t zAY#ow86y?WJP#h=9!J-#<}@RuibQyoXH3WWMN%*8r)q-71CS8P{%h~l6 zf?#ikW{RBR@+_k1uI&%Svi%imLX1g={BA#ZrD%0o&t`c!|E^SR^8K;Qs(k^DH;5G6 z#)H1-+xIvd%m?s^Nq2IV-u4_zdlU2O5dHb95w);3vjYSi_2H zt4}J|^)2S>iF~WVM~ZxTlYM&Okz+yNU7dZUbY_dFJ7$Z)tq<>2ozfj1jfg0fSaUD? zdGj4ErGxQi#TXa$B|7NJ?fZx-e+BQgbt%cI?CYO-OXVpn`Zo(pn^II0gZK`H&c(`> zFcK2FA0#-%T*+7&tUmfeH|6yk?YfD}*RxF@A3&WsA90$AO73bLqPn(9%$_~|Z9sJ6 z5j^fC#RTPfHNu^;ykVr4`NTzE>yP$7)GuYlu06|g@ylBCIWYD9S%rK>Ms;PQX45@n zi|+tO9pd@jWMu_-Yt!XG@o#d$j_)2G#@{?6K)_z<(b2tabBM7+VSZa*r&q)OYZe>V zu?9ci%b~dCnS<#@ixxsumX%X``bxjJ_!Ur`?6MM;=5OWewm0IjJaCD|+)CnV!28uZ z?=O9%J5liZP?|T_H1Sdy{ z1@BG1K1C;-G^dGP9UwJUCMDXziHZA=R4?k0;dV6mg~;r{F{{BY&7k zy>xuuWERV3lo5MbOWftS$j?Wc;;z^XL-ERzBZ#%vG)JL%og%WRja20hac#o!L6+le z3(jjIlD!f~c^-V>mbcS}f9JuS^HhylO*B8S_#}oP#9yzI{PDd%lDBr5UVUq_Nk328 z{H|U5vxRfqm&&BBPF&8pdJ4at&DZJ{Ix%3Ef4a!5Q5#_zxo}*ms36V3l+R&B?BGjn zIiVYKZO0PK_qrI4z=q_Ub4J7-iy%BNWsf@tG`~N7+F0-0rh*H?Qq{fprXzFO)vphn zE^%EyxrZ?L?VhOc;xz{m^Fr+2V<# z)h>aOvo$IbN21?GdA=kZ2olWSD40MKW^|l3rfE%jxP$G7*97&R9VtCAWXXFh_O;W& z==D66X3ybkXeG1!mO=eXjH@5(>ANm!-s940{c03Ji04arqj9QU(SPVnmaqO=J8jAA zQy-Je3Lgd)3E$ARgV~gOJcHaNgwLO;bHYds^_wleJXNFKxX4-Y=`7Fr!kg#zx--^X z>K8#Z-<{MKX&Bw?4-t`dNL;;G|LAnTHFuFi^LgoGCDGqoE()BPzP#n|AcSyd<>*|y zI`qry`l&I(#QYv_Xkg`(nm2sZw1?Y6?0Jx%N_p+#=69@X%6j_KCfY&|j;VY!Wn#S% zuS-N`279%YW=C{ODsu=|!MwrQQCd(7F^=qkv>Lc4}J zzs-2ZH4nGtU*Yc7sui5pXJfb(Y0!&YaLO&@*2B{dEuIBJVAf#CQr$ z-VQt4GLgM^NOy$J(c}J2Peuv2MGeQM+*D9zv9yVCi2UjVA13&lpxShT=5l+`lt4j9 zgg*8;E~==^s5V<>u9!y?R`*EiAiZE2jqZ>2+*2RbQIa9tDDD#so_inN@Oo$UZur(7 z2=i){sB;zJN}lr(cc0O{#d+34&XBb@2^mARZ}%5&$yDV^i!Ry<&%9>jWjpdF)~#(E zBKA(Adhu8eX4qNNe}MJj5BBE|RpTDc(^P+FTaI$tJZkz#KD^~r&&gKEk_wOfu+?Hq z?=_(}a(X52IkMXcSi8JJ{zr|SB_qp8T{kaavR@{CTOqvN;7=8KcAFj?NU=GVb4#B^ zfc^mU)zkBth7#FULhT75g_z~muYwj1)1?k$SSjTI4r924K@ZD;<17PUXSr4@PjhqX z&V$RmxI9by6I!*;@90!@ITeRIwQLG#8m%90@)JpZ2j^jgsD5%I6vnGx_K=|#XOef| z&&rxfRoqW#xj9JFbxrB;$fPCi;wd8W0&RWRwnUZW{(~&HHh(^UYQ1 zm5xuG=cQ**A#+g;6xzPyjDhOl*V9!OpQ{|q@9O9|PDsJBF<`w|DqP=0m3B?vn4fYC zHDev_*LC5Z;Esb4JEsRsCVQ{HI9!ouxsEuq$v4KWS+vhBPx7U?vbszCOJOXg2Tf&$ z--AfLf;?@!_iXuliyX}>i4RBHih7La3z(A6hgHuGhDZpT-hbKYFl!<7I#j2T<>vR& z;y~!Dqd|mdVr+rn)v_PH78DOPTp#5%y=bf9nalfjKj3aH=S&8s!RS@JUVvL?YrxwjAyKhC_=+2KR1y^n2(bVvJBgt5P zwCD1nJh{>7g7>Y9?H}tdB!yRPgxHTC*_`zb9J1wOCd8c{PS?&rp1x_o!CD-ln|w}q zIlWpY<=B;>2@D`R3k!tj(4`O zHtpEV;3o?qoWd)HEsYPnGJ&DQPp%gOT=U(_j6XiHCX5FOJj*#YSlfQEy{;xB_CfN; zBRS1`)6hTN5h)Hwa!VX?y9>RK9T<2RU_5%h{Kf&oll1k3#XL4Q?3QI;&{>n=4wKB~ zQ03k!Yr2o)`z-SPufM7o$4Q!flPW5dsanyW6xh0uq?Lc8#9-=N&Bfrnq)z_Bl=J=W zE423Q(LtvP=@xw6nP0-&PGua)h~E4eiCtK=8SfYNPkx2n@4j&XN~iE?^+VF|d%=DF zn^g(0ED8PAJ@W-W8oC2(7!c2&(B&Ei&6H}|heW=zm^@sxYR(je3%=eL+Is8q{?|vR z#h;gY#hGOtn&vMqpvX*DN|l(7U_LmNWOh5s|MT+HsWk!vm9g&H58cm?UX=~feCJs| zl6v#?F)WqoK{E}{ZLiXM*5%u9oYaFLwx+Yr`&^OL;`2l%F6sMX=UZ(K=H-}=c@{d% znyXdWnYE4cy)`n?I@~o=UH|QdxZs_;1~zxG`)iCxx!{PU^J|!sCQn3T${l!>`dYt_ zJ;kmKi@&ytB22_SIJ}0ot?!?lSmC#kI;$B=r*u0+l=j?^x^0ifsKJrE=JXqaSD%f? z-Q^cg$t`Yv$$d}O;O5-g)S;0Lcpr>cLF;^h&7);DHj`lVs{dI?hIsI~@GxkF*z%Tj zkI$tu&8#J^CW|hde{O%irAzL;d@^Ppk7A3FHbZclk=Z zdrfm$-VM(o4PQBqKwXBn^VfeTL9@bimv=BGT zZ)Z>7`&zt|Md<%>D8l!WWx<%ss~|6DLXD>@52uIQmohQ-p2dN@&Ny&J{9DWAurTHD zmp5G(g`1$(&L-Gf1(V^fVGrI+c}+}THp!N4cVkKad0gJyyGGAo_M30IoALQl;z!Ce z38rnfdsm*Zw(IE}+2rWIh0&7bdS&mUuzs+7`VHqbgjgX#L(#(i%%$KgXE>$ygG4Ic z8#N|^!#-1oCq8TV-Qxe~F??Fdzq@R()iV1@$@2mUf6c=0GLbGNjzyP733^I&&un8( z6r2lh{%n8J$KG>*+vZA0M0(!SS=FeO8s+YV_XP&spt|e2?j_w~NG8msV-uDIHm34R&aXtZ4MCtP!W=_7AMpnwto6iB!BJ=077wd7Bsvo0 zLno4lHl9Zjz8V(WzHhf0EHIUDE|DKRWj35Y!2dQenkhQzaU+9_YhWPN?K|6+v0@YI z);?F{-l`MXlX%HY_ng5W4vkb&)yn#=F%_-RVcbr*cZ_D)w;0OdWN6ii9P(@J zy=s~~)#K^dsd7>N7_sGSB5mBUFXs2kb%m_%wTaoE409ZZM4A=rWLTYCREs;Ib)XB! z5qI9Agu!_X?|Em?f=La3KUVI@{kR{PpFZ;s;F7wvR@3LMK8-CjKV=|iSDu^HJ9M#w z|5^@Ic{AX}eF96c%QgO?*F_?nWAMf?dsz;Ml!sH$9xws>Kb?iRRlh_*j zL|RtwBsfgH`q6*w{fW0avukCo2c&a1-fbq?y&?oZ%Qc>0uv{8rtJ5)_k5Lb(<^9%t z=R2blXL)ijt^HLmAIG)l=nt2~|QIz8SU_GWa+( zC0c^^qXG?0=zTPDvo`g8&v)$t>Aj<(Z&ZGk7@kv*iXG_^Th~nXO!Zo7{c1vG)Hk+G z>346B$8Q~96`(~qGl(a7o)b9`i*8$`VY_B3icJL%5pbP*zk>FAG{s4O72L*I@ zCl7#@a`W``*~zo>?N^?E@IX#G@E8&x=+`%QR}a90hm(sP2`&X7NC1H1<>N`hM_V?GGH= zKj^JrnnD7x?QlT?vC%^-B8(w!d)a@>+QZZDpFxtSn6ZKsP}BUH7{n|)$S0!pRZ2#p zoFhb(SZNRWnmqFO*RP6x2gno^3mUd_t_%(?=h(T~1A`&WBTuy?5gBKEofJwp-VlbE(ki4#^qbdO035cu8AYf!!h|v)c<$YKfIMXLi zI_?N=BO$(tfT(kTBc1}Fau`g&Lx7(22@Yn$5f~!sB18rpS=^NdLt}`Mq%?3^kd*z8 zatJ&YLF~T>!E>O%`9|_Y91cSii3Ew@c9dO-Sa6++A1M(9PMMOI#KO_UmPpVfxLSog z4THcD*)BowMCMEgD+B>foDv-`L2!rgNDR0XhV=T~F9ZsOAeQZo;RfE9c;ef%c zD-a<90*6Dw$h(fi;jrYg!T|}9(Lmim!~bRn)CbP}lGE@wa4z^SwgC^M`Uqr192Oj? z{+ot}AxQ?6^!iuAa2QYn@{Yp6d?FhO7#xKr-CF-=SwO@8E=%}jWdIRDx^Mokj4=Ez zWXBT%4D@_fLE?J5gQ@b0o`*zbI9 zJ4POcK!UY^tU|DylFw!sFnhb^DGrZ>k?8`EAnCaH-yK21h<1q(HUgU541ij}Ra<1a z5qL05|E3}Ez^svTi2#S;$t)7kSJVErI3jKz_AO2A(M_JKSfZnvcZx6L7TNdbW*bAf>T!Gze|6C8rv4#O~DkjaJ# zhCu;0my8+GGEOc93{VRpv zqH+H!CgC5)8cbp=np|8Mpsc%?!N7J)0rNk4hXe;N$QlN#FZs+Nz%UrZZV>{{c^B81 zUB(`i1xpWEBUm_Um+=8k`Yz)Gv;zc{*|C4WZ2%UI*tIrdKr7_p$HK87T*==<2d;12 zWk0ZBr$er+z*79ykAFQ5EC|m{-eW8pIF96vfCYGWg@|3s1%kBfnk9gSBeSds0v?7Y zn-VY>4s77awG{^g6N-!(9EgGQuOj`cM__jDk{}lIuetp#X&h|Fo!XKAe>MPz0XI#O zH-Z69(JmTnHw^^f*uyO;qR_&=oeYyN><{a;=QiB~)xwVP|OeEv~* zr%QM|mVC{-}f&j0V6tar+`d2cbFpNAOsX}t61nlqd zAP_%US;Q_=4Tk}TbVt&l|Gygnp_+Cz48l+S*47=aK_ggl@dIX%F2nE}q# zpNdYBKX9dhY{)Z$#}#CvCOIYK1_aP{ZFfjC^1T;{M!voP8XoL;$Qwo>$yYHr3^=!B ziV0-8Yas%(U7j&8QAqTzA;IAPk?L>%4-O0x=1a2RsM1WqCtQSy%9 z!GS|E8UhPE)IVuJ{-h;`++TwOA&^f+u%iW;|11oCqQRDmTxZZ&6o_y3w-S=JT&))v- z2?E@OLEaNU!=lKffB>UT?#O~CT;!fHfwYMP+e5NOK+HMvwH(X`47r5^G#vT5fdIEU zlj{ta*rdpGe+>x&I74_8ng0ifSaRb7Tp?hR$O@BoUF4F%0}bAl53C!zX&@HeKlT0V z|A7aqyViF=!;){$01XT>IWs6QQFhS~K*+bhMT1A-c8QwwaEW}F zzzFZs1+X-cZ`pty#O{7j2%K9Cng0hI_gy%za!wZSuo-G#xnhIs!rM9CHoSB0ygl)?5&RrR(E2*GRO7a47 k|G!zR1mxxEef{iw{DQ!LQ_+J5;y^3u4Qsxsq8VY#Na`Ss*W^0R>xm$sCWQmK4=N@ew@r+2^o9Hxgb_oFaP4o{au z6o!5nCxrNj}aS(Z*>rOTGh{RW>d{Na^kLLKxf72g< zX?6fcWtv9FG|Bv=EDxtN^5ZyXp5N=UZjVv!Js(f-R}a7in1#uEY~)^a480&Mm|YAq zCVre`#O@Rpsh`F1;gm#v85GPgJf6ZZO1(dH$2j!Hp$9&pS3S;S-FM8UIFx>wMHw;) z4yP#eizwvPe>)bj2WLyd(mVH^f2k{!2z%oV$x-0_^Pvs#B65G>@85$k5mgkZ3Y>ZA zW$kkVQULvogI|xfbyIc6Gw%Z&6Xt-x+`uV)V?G>DS(tk-H!a(})J?-J#VeV0jtp~P z&D+s>ImMvA;a++eb>$yVc@TSlLMyVAFu^=n7}O1_gAK;&xDWj}NrNUSf8%MvDJ~*U z8T^K)jL%f5VA-#TbOS^T`IQW!mq;g2*}PXye1~ zk4Ds;c^IB_vOLwuEl|aL^{~)F##*?76T#q1-CaRt8A_tj-oJ8>Tp&ZHU^~riGKbhV z3#{2-V6qK#)OFCh;`ZZCe|99lqIqH=oMso_)iBoQ`p)))AR{WcnUkIcqTv_(qXsm3 z0gOLAMk}TkzE|Dp0hqt;nZEBDa$}fQGk5GoXoY7ur+TiN8sgy0)UEr6d=&U9{unXd zxyH$7Ca&Crc%68NZG^2y$5Dt(`c?~9V;=1t1JUp@#R$^VIic^&e*x`Ik4`21@Krc; z)vnL4l#GrUx7>Ee- ztKIsPFwoHl;NHvtl}rErq7)G3cMfA8tWbUO}lWAx?G2*aLf zPTN+NP|S#vZt5;UN;7wvYtY zUBQGAxi`A&lV)pW^PKIr{@cL7aTw=?!*uGFdq9_S;s|yUtjh_UU~S#Dx~jqLz+)gK zg&0p^^6z_hjZIfRa-qwvmW}NGrjhB)@xr6-7RifswgnW$A27^SD2$Ier@BbkW+BAB zicW+c@R$LYv5>^oXJ7u$iQ!c?X~Jub z=ghUPjnA(R`%JYV) ze_H>F9ZN%y0U@%@BVpDwUz|4KkUWN*aMbrBWgUoUvP3n5R@JL?Fz$FAUnR(?=P&sb zaomCxP_2MRe5jH$7K!&Z=vz05(*l!1<6ssEsGfBDaK@plI5&>VY17i(*M=vN1EeMM z5mchb3{lN%$1XJVT~Ag8;^rBE#FkZDf9VEwk)__3A3y&2`@f**AK%LsvZX~CaBFn! zw|k2TXAOQc1MSqlLsvUAiV^=SV;ltMqXS13~8^zK*v0{z<4?F21Ky;4j?D2ajA9K$5FNhJ?~e=j>%ZM0n` zjhW|gDB&&+Y%?kqG&TchG3gAW8H#6Xi@2?X)!dIMiFiAP_!SSzGU}q8JcOAQHyT?K z(MGOAw`Pl+v7E!7D#cUb8H>ERUlgU3h<#fm{(LOq5@cO*WhS?&V4kuzbh}$L4huiF z{G5UctTa*e0a|1W_}1OIe;=%YxjIACqjhJTdlPa+g~hHGHv@_-Z>|$)EWOSXXv;`R z%f%72mv3%bdOovOi`WUF_+#^xobr{4>rPy-6Fvx_61XNMw}cdgtnZ2pFt!7kNx69T zr2#!rko+=RSk=Ovp18CPLH}8L^@#P4GV;Eg%Jm7C$Kk^ca)$@Jf9$waFjD%B!Sx!>c$FZ0M= z;6H6WweW)|wc}W2%57~4c4%SyH1+<0#V&i50NDy4bu1J~ZVZ_q45DRfE8L%{{z_-# zQ~`33vdou`gLa>=e=Y$%T?QrCioI63@^@^18RE`D?YL!`a@|t{4r9UN%JXcMJGQso zO8GFLhUa=5)PVOQq_M(`OyMIVESw{lOC}7yC8DavNRw+4u}3>o@{LZ2)u(N(Opac6 zgqYJkVlfSnv+CQ%=7Exs_u#I%OT_qxAROoO(Tsdj#S7EO&vKXAN`@KOM~AVm3;NCN!tHM^)>mOx#C}>Pme*hRwhR0y zb2In`Tknt5TvgUD8zYRCohHqh*rN0RS$K3w}>!h;)8pe=^@YV(zCwc$iJvJ7(#Fs{fnICB@9;-p`-K^d<^D&iep7 z-Ec*gIs=%Q*)u%nGUSQskW6?>86ie(<|6B|tA!#j{-0`?jQt=NObb^wuz5b5=z?IB zVo8dBf62u`d|jCjJJOvZ@YSNA{|+ca`DX>h;vEddR_vhAB2yggB2x;vaOgbz1OGn! z5&wZgq_cuS+AAjzxLDaw%zTsjiczh!*mBf#u)8#23CU}k{EsF~7bcwJH;C(}2v%|6 z7in(){{rT{`{C)`zX6sD==BO^Ze(+Ga%Ev{vlb%=0|GWUmm!D&D3eGg7JuDJoH&Oh zRo;pZwhz<{rJ;9*lu6F6c>#Hiy(o9uX@Ap^VCEsUxb^XKpe|+(kE*C?wrLHm_^ZweENi&?03%`kGi`Ph^7CP@L0lRqan z0rr!3CqNCyw!7zNq5$5{oPo}dlf)-00zbo(@h4^h6O&jdAQH=3gS1QXv`8bySDCbQ z+8f`ulZq&o0dF+vB)aEz$51@-W=d=rbvz}H+~TkyEbK7xU~o1g|+5|;a7s! z<-+)}GIR92T-v4?G!{$iiuMPyvUnf@fL3wO9Z9d=c|R~y@acch?hf2Mk+nnPmQ{_~ zBo~y4EWy%Vf7tNkhsB;ETLQe0s-o~De~iEja3Cf)p&~MeOLgX+;|g$Fn_?|^psC&k zwdDu}ePpfpt`j?TfN8)NtR!{`n(~>y#TZrG9&|CcNM@-7@`5tAfHn0 z%yYstSBoJpiZf_=Y74XcdiQCDB8F+>c*I=nY6^ z#%r%Zwr}r;ra3``0a!bI8S@cET2|F8``6<2HR!A^A+3K6u}8dcMDZL%+`M{8m=z0C zKP}9gqO{ASjN^@m@yXfl+agzl^ zlVqJRg2KC?}IO}SR-)wu+$ zJ4y@i?+|~J5n_lexPc#IP783Q-8hof6stfTo57?m3p4!baxdVYZE#fudf+nmsTz>J zN!6f-u|?@q0@4$~G0@?^8>gX%%x~~Ksn^^wiQuHo=UqQ9)Ivrg%@bxjm=tah7H47* zgp8}!-f#=Ma>zHxp;1;Tu$j6aC^hSci4Yrfkg$KK#o&9m1p_~E&n*pZcJ+DmvmPbx zfErQ44D*lE;(M?D@VswC_3=B2Rw1#X-cRjxkQTrY+_gN4x*~b3u8}+}Eayc~u%O|z$}f==>?_G>^NDujtYMhpmogzo*k-AjY2_@+T zyuWLh5kn~VNChV*(_9&FoAxE4=KpuUx=Pd2Ojk4HU&_G=`(b}a^kK6EoG-*d>$1uu zCcdg$EqV9Gm(gU@s;(4jZ=yRc`Ox*a@F$t_PMoDNskPNb-O6X8fT;&|W7uYep$LC? zwJLZ?;{A@40R$@9lM?DMSHtKR0nZ9RWBI#^1}i>p){dLPX%1}KhaaSqd4qD}j;+_y zYUTJw?&9oH#iAGV)`NUWQQ#*GSgnkdkc0YPY440NH*IP^w}5|W1+PGSlr%2SR9bBW zH#Gb64hK5G=m(J-v~K~F4oH;C+0cJMHQC!j2kl|=!8Tk%*F}{AJ`Gh0c<-we^ujxb zl}_Uty%2<~@H9o2t9`nGy>DX9{x%Q-$zmOXqtmOv2ai9V$;mlG&&=ur4XRR4WGb>0?-cUo+o`79mWQ`O(`?ettV|jb#bj(dmZEdAk3+EE4K%+$QF@%;Z zTZ#i;F+$43b72p{YBb2Kk~0eIY~|}!H5#5pvk({Iuz>zXnXBhvo&X-R@W)y3tVjZ^ zJfaaQ1x83kyD<r09ovelGPd#w z0JL`X=nrD>z4SsxgADV7uYY4AyDlS(seNf-XCO6M+| z&|oiPa*J*UAN`Q~b3KSVYjEo{LC^2RPqmHrium&Kyasz0=Qa4{ss3;+W=xAs{JUVK zCrgf`Hgeqn3{2|9`0Ic1vEzL}j@FX_(Azz~M$n064b<%&zk2{~Z_ozxa?r;Km%bZx zvs5{i*WndKC_(y8(nIJLrv(1)bZYi3s0@`kU_^h*XL&$ZJPMqpO3r5);AGF}h4~;u z3p`aJnko-Tlzy@9zK)c*gq&Zs-M-;^zLxxkB!HTYdI*AeBiMh*A9w{=2chC1=VFk= zHPYA00#%wvz?JOupJLtMmJzypFb5C&o`1tK(8e=IlAuu`eOGKSMsi<<^6=yrIDqSw30*zA`Gx?|_*2RSIb z(06bh%$0v?!4;)1^j!%L*ws*A8YC$VHKwI!94A(HCD#9XuQ~g&UI2l2e>HJ!eA>VH zOCvg$I!Nuya@wB@>3p?5Ndfx;B+9i!TA89BKFAYoay8MZALWyKQkS4N1Bn@5nT^xq z;TJ5Y*_Mhpa$haKt6VaD+SM%(Xi3>9*9oBAalC&ixkL^>01o!P0#{bvIhGiW$;JR$ zHlu$hlK|aJNiziDl>)O$8@n~a3x!)Fr4>|A21E$0q50_y-tsh8QA50 zzR`bG=lOhf$>m<`Z-=3~Uq2d<_J+3@;TQO*v%D5*{a z?dE~s&_02Y6hW~Axrf83NQ({N-o&jH=dk0_xo$H`ty5KmD$2X)xj<>$;@p;J-uK<- z7pw9!r!$ZIK!NO%6bxiVRr<6K-bZe@kiCBthAXox4GLi@Guto)JxkSvM^d+p4~gON z=+7f?7bDHmI47C6KzTw>Ydk!Wt7B(vj?A6=k{K0?9fxe7W1QJrNc!Aq`!EJw|b-XMj zOK`9T?e-vH5C=Sr(y@owPU?-8Tj?22^c^KgWht&AK#DTJk&0^!&=cx`&^OluBP<8y zH!9y;o?4gla~nMC=Ym1x$niiR^CLz|KD#WdI3G)!+WFYwZ}9@E4UFWAnOBhAwCW}c5IH+ei0k4xk0D1$CkCEFq;E@Zfqt|a%-XyI+ zeHVjd%6Ctgo?Z}{dv>vRbW3v-Rz}%jLF48VrjM~$u1d2)J~&r9$)tarEJba#(82SK z(JM)1^hVNJ6b@!xj0prxb3u?bgH<%Qsm?bM{$>0}cQ~Ixf1vl3UGo6K@G##Q)*c?b zxR%B1hxul)TrK#*;7O%rE+&@64qS71d$SmHQQtcRT;Y@0T5g>$;2uGc-SNDC;#^1< zAVu>6(yL~V%aOD)sj+|V2>_B|yk1~E(by#<93KG{onrK4U?RDFZM=Q+(glXN7qYop z$~t!6F3s$-2T)*CGss!~n}U@)G2!C+B71_4i|i@fZzm`(P&#@nmRpmS>NzZeTPw@; zt=Scf-V2WA{ufo*WoedGuT_pWK8TpKQ0k(_LsuLw(?;{GdlU6VIk0LOFZ7~#m{@L+e5hdE9N*D}L*_BT^Xs}0^ z5rPr;w3p(gd2N5jDB-N||8*cNV*OD7f%Fqsy<&Il3kMP5`2c5TE%t6S{P)h?dBWPm zu&fO}@jnD^_Uq5bJM#=JnbFJp)S{_C5jX)ly$p^!6h{4jspzfF#vD38XjQ!~{Fv8- zA79OiS_b|bVf9+6OZ2ch&G3H@L2lOC#jWzs{`&s2{{jR~=&4k*yf;Au0yj06A&3De zf2~?eZ|t@e-se|%R~flhC5jTMbWz-kHbII2Em|X4Bw5HavPZZY$q;AkOn-gPi_~Li zCl}~uh9VEi!}H>Ij`ZpNt3Q9MtD8ElD^=axKi(L1WAZG`3UhP6zxg@&Tl-6v>!CY! z<8XUdm?Fv3+q*o`>Fuxg|A5Kma&ndCf6ClsJoSg$GEdqQ)8+YsE;nhOTTl0GWTiY$ zl_@>N1FZzxms!&A-}7`^s$@KkIJCo`vFDN3?sQm@I^cmC<0Jg*I(ZpS?c`#7X`QM< z`)z-WFlN&X8ba^^*UkMt%*EhN%^({-PT1A#M0g7pUQvdJZg=3vV{_s0*-8S^yfSLlcvDsZ*oscO{;swekdR>|a`ukX;Zd zIDXLELqFc$DGTR@pU=0xb!fT)`zt=ctuhH5;+Bquy<|^K-<@#ef_-K3)a;*7OE~^K zjSqc$jImhTRO?_B-6J3Qah$l(f4;Pnhyi&+!}!dP&!h((p z|9V4wSrBl;8q<}6-i^w@`nur>_RsQUI`?g4KW$-J@S~6M?ey#)?o5UR3zGVwrJ&Vv zm%F%=7w2jh3r&^JHi5eQ3)p2aXc*uHB$|U@o@vvGWK6@&i9#$K*U3&Jxef+*=@~|T9@)L!Ujc_stb+OdsF!k@ln zUpPdGhVzllcuFH8f4GAvThH@(}az7I|>( z^umEdNH2oPAb?oAiMKui*lS&{qQ?m~2)dmoaWHIOy7BBVBwVhXWDXF`AeY67BREBx zYpJSQrB#)`CsjaprI~^474(CPEK4h!uVcnXlx$s+X2FV%fNfrGOE4$FI55=y)*PSv z76Q4>;etohf7kNJZahe@r)7&cA~WM~T_S@Kgv3@X)D zFPO~b{7xiIa&AQ##X=cgtN1{AIDj8=UITQq4kOB`5FS?>PunP`uIf2_Me{Y4r@5(S z*~w zO`Uv?-l0ndVp>ZC==;0R0Nuc0UI!lkIdV_g0$e{>`d_2MoC^uR@`iE`z*ekB#8%S5 zx@Hf|0*cJQ^QUUz>tn1e`k`X0mlR+YK(6)K!nFL?z*QtKywIT z2&zm9x#&7fOx@Fg76W1hyE=D1K4VgaYbnhxj1AWvyS|x(Y+udv{Y)9+>_;zf7JpBS8y);u&CXLz^XYDraduE%7X(C;BW?c z33RM#i4g%n>_CB9IPLN-RMV&1!y(AOfds7=pDg*m(NcpQZ;*d5BRLishr=cuIz?8wTpuKB^+ClW<-J?a;5};}EK5oiPv91BYs^cL0Py|$1ogBQrq4$|N zbgp~oTj9C~X$}oyzXg|z=tne9;{?I>=;Y`S!6H|Yfry{y?_irdT|vyR%=&5*gDJoW zPSVsNa&!GORvEd!wM9Y!219Doe_ved-AEdI+I9lzfEaetOOk;(<9T|^F?><;!@`bR zp5+5WnGCJ>M3&s-B*ce30xLTBF?4ZAN6+9PxVt=~r>=D&6rALWi5$Io#z|8Lkbuk^ zM7M8c5xQIoiI4Dq>W&m+{-2eEZz=1<6XDGO_H*peg2o}1eq#EP7t8che`lH{qq9OJ zgI!li5)LoYL8PH-8}`rjfhdqG;Xnc64)GdVmIVqhXv%Tmq94Epd9QGHMEK~0jSbJT zNWcfGGT_G>dtaogstBp7TBNF+BEsOqg-06Hpp=NXhstdYSj?{D=D?_duC65^1KyU$ z*dC!F#Tlhm`8LfaOr?tTe}H;l;9$pTuIr7!H#x^#UHTf1qpKv3=>-;=alZsmxuaPS zYu-rAg)LK4ZEE%YU6OsD_0pvIoIDRPw4T>`!MOr9qMSq4HRIi-7O?sg-VJflknaCT z(GZ#Lq!>w_8!>LBQj-Uc?_=-s0C|T5BwB7#s-QIUOY2SlZg-%He?lR+h5QUcA4cE4 z!}IL%Gz{3^Dn)^w>iPWx#e%}prLBuPT=dwMiVF^}N>N15B=47^EM=tcm7*ZSoZkzv ziQ%%0KyaU>&%*$fqOgB1Md4Ey=Cv{{_&0X%7Da`!N~?17%46g7wPB~PLsh9>lpUe% zOHsAGE=9qxpJe4Fe~Of%WXbC~6inIFp=uMaLlwGCZSi{|&GKM)$8qvj4{J(0ydoJ+ z%#>l+%YIztsVz6SEA9p01XWqT=LA?t30~4XjcE*z6lqbb^#%C7K>f}`BH$B{#s^Ft z^5l_gJ!QGP_PC=vKKFEi(UBn(376P+` zCiT7XJnUtfpz4}4*^!opC(h$DtbR;Vl|yfo*>%{B9q{v9@F=v;*osAFe-6F-ac1(JC}Z-!HQ99Lzs!dK~F@c9hR zf8h4~RSdn_6VkaT@qx)W9mg#8&`FMeWyf>Ye~bG4z3j~XaftSDw*y@hMw64mb^HFi zUwkW3&4q7zMOe@aj&Os+W5a-g9~PH8Q8q*5lCEu9RUyfGjAaGYoP>SN->*cmH4xfx z+lM!=h4N}zo~SNR+RH)YbYt~ZV+FE1^B_)-!c zf0I;gV5AS10i=_Um-Tz^o zV+`oealn}!l$Nx~`I-MAG~edrVuo@9fBbV}fA*g}TK03}zfFKex1Yb6)fEVo;^>%! zk<3iM&gl65^EX^7lu(WJpTB+JNEf`Fc;srP<@(R!zJV@bW?bVE56Cc&P+EZ0)Y0XE z9UB(0ivZCv;4kc2#dVoUK7)<3lZmIp$W6YQv5Stoe|r&%aoX1uu;)mn=l;~)e*v$c z@&4TIW2{C3`Be!nr`mKVkfVI_(#tpHJnJK!madk7IGJe0EcVIm4XZ9nXMubJ51^B) zv_O7lh=Vnqk$b#c-r7pOXskjJXmix}zq~YRt5@uziUAc2<}WYJ{2d#TJj1wrd`Zv# zwFtHmutF%B=u6Hg?wig7Cylref3Pakn29`jZYHqLw&$ltHt{G>*4@1ACQ{=3Or{|B zE`PwY6$9NdON7Lg>+H%mJ$1gyKA|9XV%*3oBv1ev z3s49o~x*&e^pp6d;Qn9DOH_XE2yQwp|Ada|JDBh zJktTWlPXH_6*M?BE;TeWAUHKHH!?OLG&wacGdYtX{vMM~OQ8iZGA=YUlk`h61~EA_ zE-)~Y!8sF?KTMXBm|P5#Y+wijFfcfmA&3Def4v&Za^$x0?yt}-RF#${0lwytO4%E) zy{VL)vQ?FX?E^G}(a_?M6F#DqD<7YJ0R%aeHpwBE89bVeMx)=r*Y{t1`JuYm#k)ck zH}}Vzs)%=4c2lNFoaplA{&4ei^x?MBQPKZ=omclflkEgAv1jT`T>Eri0JRXnzYoPrSmV@5YXh?z@J;#*-PjwKq*OaPxSZ z3RNC2E!Bk;8zkhgaNb^9)j z43E;+ZaV|dAN%gi6AJ13@99fT=UiLeMur z@i02%q&G0i(&?88WI%}&g+Qx?#DFb8>UJ1$DeiT`1e^|;RfyiOP*>NRe}u7>9mS#N zdOUHfhPB6m+bxoeqFRxtqF|$P=P54RGR#^CGLqHO3jy>A!9+p|J<|-Ghx3|MIUTBI zF(ZqUD_E?X9)&z0QFgVMie~Jcc9VD457-EstELLhm@-!?z@TB4XTb_XcSca6t>9&4F z8gX0bcXkv>X@HT<7NhFXQ6hppEEfdSb?+BtKO}s+Kk-p}K>l*60x~NiH}8OVTrGEu z(uiNZFbo{xdGQgU6q}TRkD-uc>S5^~4UBN3mh*CDBXD#V%`e2VeoeyR=^;L*bqRKz&mi1GT8|N zW`9vEqJ_elv7(rHNAg@|0TIx8;Z~r$xQ?|;>U#T2l4hU$${X?|bnIp|<1W!zCLkSX z?wmr1fWW-axeFsQf9!(a<%UP>WM4j9c}y7D6s@r)xy`}Cd}QWMFvg!XKKv@Hc^zjs zOEH{4{NBiJ%wul_tZQfbHuw?nOnW1tv(4Bo&*D5Q{u_w|l*Cw_Erk!p9f>eSB*M@% zaKxk8uEiqCu&S42@hJBc>%-8BA2y!LDICw@mz%I%k z41A zfr6|a8KgrVNF?kIb8z_N(<>jiSWMW;q%O6&2-r$o1RcqWe96U-)$g(-BQJ>mk}yIG z_k;hhaX3wjI4{c2u-JXn` zk|YdM1|UVOl;2l+y{`&ZSZK$-3sn_2K{gm0*D3UZ$#Rag?`6)9-_GiR-Qdi`4ymk+ zlhw(7H77q+ko=U(=nG__2;cHSzjz=!6m^9H_!-XZ{) z`55vETYBart@vD1q@pvI=yPX9q5dp|X$tK$fBjD_QOxr?zhRCmgrH+6(gK}MTvaN+FN@(KaBANKlzaf4|*9h|oVVB8Wfcl`xh8`414pDWb@e=zVtvPhSrdTU6Qw z_*E9YH^T*kWh`}E(Z0fXPYz;7`a`*$y^K6SVGaB{{&_dG0}(WbM=NlYi;;hW2?;WK ze-^L9w5L7p#0&rc)8@)BI~VN%#Idh!duU_@S`}*|v@jBR7s3kzs3urw#?ADl0Hm95$>30z=h&sH*;j z*7PWpIN(;_*GRY(Fgcik_=*FlIT;lNKzLp+V25mm9TZ6!eH{OQ46jP`b5Go2N7vO< zih_PWQ5~hiG|>t)D-jHR``r&e-SgOB8@rdoh8c_<{g*r#_-b0ez{HH^7mP+gVe}nO zhZ!z(StP2f0{LIf z#97>H;xiWROzfeO)R}S^yND$vW1J}e&v^PLlzh;-k0TF@P9~{j90?b0f8Y-&&+VuB zp|Jr1Uo8$W57Psu?7o^GBW_^Vumac2?;;nq|4;8LAG^)PZeWZ?PE7 zlVYSswr{?|0y7JZ!vWDaMn(1)N5B2?tMC8(Hx#h1VxIb;6_RRMLn=I)?`l>b-K|Lr zt}(Yb8W!S|6AP7tf6j50X(_bWg^*4(#I&}X1~hf}0SUA6G8~lDan=a3HDNRfspsQ~ zWfqNeT1hzw=W1D2%67HHb_ZEYtTI9}@4LQd??Rca%BAi>Tfz&x%eW;Qd}meqm_Ui& zSK<9UTM|_|PX?{`hRk{prUUT3J6VKa&x#J@a%o;T-G*Tbe|S|THy0(}8Ii zHj@xQ8VQJ@V zr8?5q!x=-nf4m|unI-v3uedJ6Tf_Fj9t~&#gZd{V*si$*1!_GE)7dU7PwoOATkfAL zLR7sH9&vFn_X3V>DO1tD2~W3W#Oik6Oa~Ns3^!ddLsdIEA~+$R;N#dzSt&c%t&A1m znT-{6AV}bk5Bx1z2I#ik$N+Qfe|!--`0whZ@iU3Gf6;P5CQ30c!q)OXzjDEz7{99W z&J5cRQ@x$Xxyyv#reXAn$aP_-^v+A3kYH59hNcDoLKk>>^j9;wyl*-9XS%KEyZ zb5@$>Vf}*D7RJ~jp{DOrN(QntcnpFN6v7?J662gtJaEpMp{9%)CeYC0m^qlsxEvC* zN<)PC;%~TV`p9#uTRQ@0Gl6LNfSt#a^^un%f0=wSXf|)kDOhZWY4{gAptSOlX zF4AgIs)X)&u7X1EP`kWcps&gvsnbjX=Sx!_tY!Kj+i2Wfj!;#%o;q&u^%k~{_L&g5Y$QPlh1QS}4NuhjxJ+a{p7<*Q@ zYNPFsmfs%Gixp1K++7-?b7J_e=yf0_9%HPOr52VkB-hJ)gv)^o}v1^z&5bT(_5 zGuv-jVl-jS@I%8zUIij<4|JhV71c%n$f=2~7MBoy-*oMx9oV$ez~T*qlA`XFWpF~~pbL4jo-SIz;olu2O`Wpz9mxYB-=k{s@>Zs`4=|s4aXQbBN%6H&tS5u zRQ24`Blj#!yQf}P=^76D>qL1$e>U(-rpL}#x0Fasu-*o1f}P^IB|DbcL@#VYqTR71 zj$hCS%z4FEG+6I+Et?y zr;rrrZdhg)?WGbirqQ3+m3SjheLg<#LW1kMl=s&4?qKE;TtclR;h}lf7MU6gD|7 zG%z(FF*Y(TG&LYIH#aUgF_S=EkQFpJE;uzaATl;FE;unVATl*LE;2TgvBwsZpmYV2 zUm6fGATS_rVrmLJJPI#FAX_n)aXSGclTBX{6*M^@Fd$MOFIZVxAU84~H8C_UI5U%T zUn3hdIUq0~QXnr_Sy~`BG9WZLHZC(bHz00xY;2PZbQ+UPObV0G%QpcslMP^J12;4? zmm!D&D1Ws)*>dE#k?->r{bnlM!Vnh^UlE=S&v-T*-id9+?t{k>rm9#fZkI?6$?CTJ z^_z)IfJdRKq;B~|MFJp@naCRneRucGx8E1OGidv~{cm#cTVOhu~mcX!)&e@m*H zTWw|19}l&-xiw{$e1B8uFc4c`hU%h%9A~{JXSZVNS^7_`QaB*BP7ckd8^TB?tw&@Ss1x9! z2Y&z=A58LdDh&>+4$X*AJX8NewSA~ZfeU^6y|(Y95!z%5_W;(_N))B0brsAnl}&!? z>qGO{v{m2K1AS+*+19~lN{T{B`s}auc%v2268<A83Nb))zwM8BF6o z|IN*9mYL*#akl{zV|4PlIUMlGz%;{ncz>qWu)p|n9Gdol9xEF9gsAspQyu67lMK%- z?N#5k-EpAN58W^{PxRc@j!>U*kb@i>5psA3$lpUl4irDqEWFx4lRKWl&AVlE7F)Qj zhfUuw#JJxI*rBE0zsbMj158|RkTIzBM>qCIdikTE-=7e?st3%*X45=XExwNfb$@QU z$43P0*fyJLtZB|qO+~%@bys&XaD3zpxIAFEl;j?l2YwVDX+tkUYQxaQz0YZ!(%-R)k8hdPzDs* z`+8FcF>zhp>Pr~g^wc*;1_7e&sek(cHIB^!54!J%;rLiD(9BpoNn1$Cq9@Z+M#9F2 zzIxizK&J`hoR#Qvnh14**JIH9-SfYgL`_>$)0%YDN}GhscMMQ(YjvF)XeDnPC}`kkOItluCWQS&tJ&1ow5^?Q|*NI=Vdn18?!RPY<1 zg6B0Z&iFxwA|Gn$%ed>Ja>ZjJ~{_1`~O^cYu1*P?%aHpWapLL!PKNf@4+IQ`ZT-~*18q+Hc2LIJe>_RVD%N)Zh( zZ84z6{J*IUQ8k@?MKR=4SX%Y(Hfm}CybYy1byxu_MzT5q8@QLTf`1d$HMR!BsD5BO zpYKlM-k!!*1hqxEq4ND^^#aeJQJ?AIZ!qr`KUbo-ye?uR9T$O=7m**xA6!wLmu(JI zw?{JhZ(J4=OI!VC)b3Qa2pLB(yMLZ6;Rk)j^b}8v(ci$mCw{`EjH3Tn3E6 zfhX;Ws251Amk6jvR&sjWKh*v-kkQ|Zaf*io%~_yXbn-#NbtIzI6+=wW<`mc%BECHx z_{VJqZ&RL#V22BtlIIjE@@lMGADo&`vDdIF*=!T$7{bZNmHxm+cRE;{PalgX!4rjt z98om3$&bH34FSyg)T&EBaXA*0StR5aJhC?AjMt!g;YC1gK!O53U}@dxj-+VtAy8T# zT)8TGJlLyN?e&Qv%8h7^0|U98CXlv@FnL zGCrwfO*?7GJv$@Lt^e4!B2;3+@U8kzmAmMgq zVrvKSukRVHA*I9zZAkriOys;jSQ5jj4?17)0+p|r%ct#*ZY`>q#L8Uow#dzWGe7u2 zCJk6@q~S^Y>&#d@%d8)L2z|8aWt)!kCj}?WkK1v&tETCG0f9A5F-2_ju7suKKx>Q^ zsOsF-6yfYk{0|NE#cDTV+oAV5ZH_js?u7onsA!D9eQ zvZ_wWO(uO4X2pz4S3Bn%1t1`v4P8=I7RByGM__clL|SRgmyt`IBQ8~Jb(}v#0WZ}g zX(4B1;nIEVR#caRH&GVk+J+m$tSJFr&SR_IP;$F4`SmcBx(`sOaR)RqTJt!MF$``qDn!0APmg;|90nv+>T}hS&h&cco5b0ogIr_ zh`@9ooTW>BW3fsowmCESRmgIb@`!jNAZ{!d9w9)Vn)Gm(y4<10&p$#oM=6)jXN|5q z6p+Y^qx=RL*Hh*7Bhcw@G~zvJG@t2r@l?%p6vfKO8XaDqtsJwnY@iua5d*LsLZ6m5 zTaM9cVl#;nmww+2AXYs3k~8O;4pDzaoX~zHyM#`vS|<3Lz$`*D4@!zDSg15VI))9q zTs7N1z-}?1R909wxXj=6#k8^?L}y4-ar9f?9rf7H=PWYUA~jF-m+5=}pyp!T#Zyl^ zz!cnix!PG!c_&bOAtqsLAON5knzFhKo>wYMv?C6Yf-q_7QvS^F_w%^ae~&$OERU>! zAEk&cB>BvwrLpJwiCOZ>L`{a8;9%T@avawX%LGSPPlKI)@BBVGGOsh>c{Q5DPbYJ{ z(%{$p>P4%k%&)UcQltwpXjZ&;tBi|}R^LO#xg%J(6H9mH!XU7WNOC|7!+VAnf|0t| z!iP8IlMr222BysUucMPot*010b8MK)xCx8ksrsP{mVlp+;q(;aHPx{cx-}o`w5a&} z;~3_#wTWpIW4tAe|9qLSaJT1_6>tLdNn`00uhO|aY?3v&SXqtF^ocJ!oaZKuhXI$83j^{J<80)4 z*4Tv-;pLItbdeDOj+q$8`+~vL1ZwFVgE>`qdfqlFjG+fd{a+Ajcn;&Fz?LH%iP4llkJ z??0i5c2b@BdSca+Mf2I|`yvMZo+ke;dUyT#Fjvx+>k2(Qa-?}spFJfh9;o_Lk_yRP zAW?v0-8x3bHw=22RPQzK84j4_e8EG?f|(_%%fl!+F?ERZ3oh;oV=Gse1z|-=e-{Q{ z@tCKCnO3lXm?#S{A7HscB}%ND(Vd>YJ3)PxyI0>X91v*dckkw-b+_n?pvPl+=;&x+ zLJit~Ce4hI@EaLLoHH27*DE8?ElSRan#xiBA(5_G3-4AWhEKZ3GJH2BIz`n$Eew3< zq~K@G5$*vps}oJxb4;=`O-0z~vRDk~U2!?(VJd8L)1xOqK0F7FG(L1%Ct3A77UPx5 zrQip_t(1`+Cr@FQiS!`vy!(a zq?I2V>Yq3la5mJNSN+jkwEaTM-PLZwlU?|E7{cip%cZjji>F|LjRFNtmG+OFgj<_) z&f4OvM~)P5XSJlyfo)`wmAY!uMwqA&PH=T77bg&W<2MJbN$N2SZ+~T49tq05hq?k< zeE!w8m8R7y%I`qbi;2diYlYkqmw2@N&>hy&XAt9C&4BIeR4Kotx6lVB`r~3$H z3PbZzul7j*di{|(_peD5(V6wmI3tQJ?1bxt$1~+ig{6F1hO~)w~IfdWC!A3hVsZv$p9RxZ2eCSGf!z61>h?QarWMs)Z4UQJ#k9Aq#zEpms|V z_S9u@u-JP|!3>(4*KgO8h({!@8G`(g4OA5$IBoyoI|i(La3Uu1tL>ZoWE!_(bzv{TZ`8`uH< zDcZTcq*|tuXu>l#p~dvmJgQ3*=oHEpV+t06mivxltLAN(GbKZuBH;vYsk%9l14~ts zOe(U*WADyuP1(LeQ3p# z+oP0VcCzNHV5&CrvLjr!L`kEpYHKQUVMusHK{rDqJ975tSTZ!<97ij4*$6m zgbH(suM56{EulyOau0(`qi*{jr!3$+0ln*Utc+*v5L2e@HQ{$uy~Ax;q1q5eK*yN4TMorw7!=3YQ!1 zX1r3b$d6N0@^XuOc7Kg&9@Zsqr5vl6j6S&jAUciS9bF9#0}9yD`q_JAdX^Yq&yv@z z_=x@b%tPBDZyOeRb`ukWF^IGKH=dZMuL6l>=V|mYZSJV)&2H7Zoc|M0ZsWdauWlw3 z4+22{x`smG-m=)zjYQFQC}uCd3V4sZvVS;?(KxyZ1O$l zx6tJNu!2baW!tN}OE*JjxBE6tG47n$S%U07`4=e)zFH6ViujqRkOuC|74(H0(Drup z1&SBiO$iKg35Mq6_;3G}#tH<*16B|50P}f}fVQr%SnMoJ9IRXJ$XqnjPlx&J}eUab$m4ZMx+1QOGQsxfMP(&h{b_{tha($o!6y9NRG`71ft$qhwQhgJa{p-pD&HG+J8gu_q}q@% z*;kQ!&I2na4>573N&jYJ^hb;fz(3qECF4tQ_E>+L$EEn|Qu3e9b>7WYMO!KZeKT!u z@Z=8U7hogoAFqAuR3w-O$9l4`yN^+}6I=q#(<9TgL2bqqUB`AZqkqj&9O zo~Az-U3>lLj^M2D4S{LBqH|{I-ND={=3f`D-th!@L>*|@yy+^4`~gW~P|Xm!0v4-X z)|sFV$e&UCeOv0x_Ogx705eI;+UZ~2wcHQvQO?%@PBqLe+w*wdLv_Pli?0VqVKrmR zCloAa;oSfz99aH2z;<%*m-b~E)9syBdtxBT5B+9n`mkv~k2<{VH6v zeoK%<6azFkO3*@aX-B3Z$_w;njH{auEGqXH(4If(yf|*#t_tu-00m*>&qL$*ZiXzV zZ3O56{I0HW*s^U2<3iXz=UT@=4D#&LaauAjv+_2bU-$rA%Du z+$B~zJ#Hv$La*f*QCu0Dk+T%(2U-Ls1{fo^;R^jnKxIXBvpZ3)`G@bwK+N%$E_j48 zXP&7M(r$>8If`-I1bxKN!Kx(#BiWb~{x!_FDDoHIPR&0KKysYxvr<_S<|NE9cDpo8 z7o_HDo)P>*?E?zc)|(C5bT$m9%oj&yD?|?VkKH?!bxC6d6g?EiL4;0`HL%W`(t&Z> ztm}&{JnvpmSr;+humcswgD|HgeJ)Q((?makPOwQCCt4uQQVR+DryJz{XJ$7UFk{CcU0&mQfBDq1uFe_>Al>JVM5w%o0Io$_(X7#?Ra zB$^$OVK9haHyP|+RjnPyB05`A=tT#()#s9T_Rb^2fQcvv46g(H!4v#lP7{|&Zo0lG z?iMLNZKlTcx&U>OHY(2uF^#u$1Z~Ue2>Qs#oz}5$5JZ=%pQx3}4cG zc2bfTfW|QrT~- z;WW~F^e`IPbrs(`QZcE-<1T7MYp-^mPg-{;U}2q3U3}KjXUIaq30&&_euUpStcJuF zaF+SI`}dEoX3zaj>3i74QB(5%_}lP`26tSVv-H}N^gwa$i#d}1=+Pl_QRH4q7MuPf zYg_)j&Fn|(I!YX1*+%AX_kY}+=o(y07^prTAPWVE4cdBh!Hn)0G5_ek=`9-DtaVOZ zz;$*qm=^!i+B;!x}=bw$070I#248a`B zqNC~tSB#F@{YCTe`M-(! z;0GK{ikri*O*F^{ zTTIFlGr#nHc&YvT@zxhvm>VOYZI#?4iyrGOE9SFcMSpa&ho%gPCsM?ambl$=4N#?L zTQMJxn`saSstT@K)(xn>s7UT4A?Y>UBd<8uy}CMUk02G*h(^t8k6b8ehWL+-)ZY_C zOH|u5BNW3)O*K#G7@9ZkSx!0U^VYA-ISm|XU+~qFdZNm z76_LkvYKo~IkpJHzk_Yi32u^V0$w{5=il}IP0NMShWvS?jq61EYztxU&<$pX4qL>P zbmn}*=R=NKNDt|uEE#$DMY>%Y>W!YwiR{=FVyd29&I4o3ly(O(AJD@;5bWd!x z>qAT?y3oIrMFHGHx+{;b=PZGJAc9o*4CTWyr)O*=xGM<)_=o` z-;T~P(=@j=#W!W`+uMTK*E-=22=RYjOsdI6g!3nDBD#y#i=!x-^#fKwm#e`gJ?lF~ z)?qMEq9JzMr<+KzO5L>QZ(pyPJv)%s!T28`sV67u&!(ZzepBAz5^kZ`9XPi6f z-xNQ8;diwW6?|MAW&YLJJvWV?RF8c?Zt=FOte;!lH??e#atX(bg^~QIFNYQO{Ox2F zEB1M>=Rm;4(EOrz+yt1%Xh5A%;?E;|>6ve)^%^Ml!>R0V3Z8IYzsy7l3EJ<=BoGLB z$G(ZrAx^stKqJb-`WN?nyE$VG5Y<#Y(gxbo_kHHbm;z)8#uEpW`1n)j4P7!nUMZE4 z0&E@Kd8jWfdJ4v9^*`)PfHdrbZ;bD!F{P6eQc(CWY5YGRG=~ zONYF_T?$FbBLQK2+>(RkpCK2N6VnP2TST3>>i?oakE@_|h&+n9#~xp!N~l`a7wbej z%gYD$Y5z0~O8}!qc363;dNU+FmEXRHn9Mf<{+UxZR*yymK6^&!uKNt^$S|bD3QLHy zPeZzQx$%Ucmfyiv>FbyD1a;q(Sa_=Ku4Mm>R=*p`js&PSKJmo54VmRgqDfSJ&XmU> z6KR{X+<_PvUQBC`Z*)7@c6VsryDF`<2H!} zR;pSEby#3blyY4C*jg+(i!~})_-aVQwtzBbiN$@1g)I8n8!S_p?k)Rx<8`x({{+@p zaukTt6bA5Rlz!GpNQi7B>yYb*Fma>Zo)u=p;+M7sj21nn^*yEuET1M9d{7n{pa~32 zCT?XAduCh(V(vg5@|#E4@O7z4X$+fql|NGvu)=i2oJOZ8^EMSxhRwjLmPH(y>^fpa zW@SwM5&^Mt5%VY;4} zdCl!jzXxIf25ry(5B9;u@gM91*5I!6MjqCr&e*b|pxH!_3 zaX?9dZSF`=|FZ@rP>=#K!_hJSC#?Q&Sc9A8J9Kif0eQp8|361K*f^Ou+5ZzqiN84w zc%VWZZW`Tp2u&*oekW1h1BA4$@b6Xn_Y2VPJD2_^ph9w!uyV2i6Wr;6LJ?SCY+U~n zJ{NU2Z(rwd(6O>Kk^V7e6-@yD_3U?*Yv;>8^)+tMO~h z$$=hK1)aL@H&?{h{(0}YPRB+8rlIUE<(zKPq1k9Ov*H2C3cRCA|p?c`Le zBCH`^^AfF%T5MrP-u9Qn&+p?dLbxN42mvqe5!84rSrNB|G25DpyGIH4*;Uyt6P1`T58JaO~I)9bH}zr3fiXRN&O3QEawn1>$#0H&zD zhqX8-a>Z18Z||D5k4Zv9p{<+4nxQ3--)G=Wp{nC_vMKv=w4WO8_Ejw!i_rE$n=tLR z;e5W9VAz$Lad`3i9}A7c{(ad*n%Wz%GelJbdvV|v0k{5;JEqVOvb1UaP5!-D2}JF5 z-UFQc?k;7?I{t>p+LDR+P5WDby#%o5i)sd^2(vY9k^tJWLOlvY|BPMmw28n+g)sjB z#*}dhTT2cDIJYno#*Do*uixmkokNctr@T3HVc!~US8Ki^6E3F!$u4kkk=v`DJ7w|@ zZqVul$@=#*s7HuGb+BeII9Gq}?9(}ax~m`un#JVyW*VJNTQ1&F9jX>UYmYQ^*N?$# zOJW%qG}No}dYeb}C$Y{;D*qCv+|@dVon}B)IjQthy^|$4z@MpwPp!SQ)};XztX!?A z-XCb3@Jpo%9cq?_*OXl5JVmz-NE+5_J<50>v71C>2HBIraG?eg{A3yE#N4=#tgrh! zke6N!&K0z_8S(Wjos|xd{`XV$VoU7Vd43Xl`0g@{K*?1Stq}zA;FLd_0-9V- zDApdAjjw|<@q-)ksv*IJn=&}-)gAbkr}XgG7hOtj8|3Kkc-kAl4OwVlU-9+KLbx{y+4!g)eQf=2hqwpaUy)cNAzIIChF>lc0|K(TcoID zD)%Y-9)}dcnag+pM7d7>i98K#q?CVu0RUP z(WX8fkPkU1H|Ga0AmbJL&#WvhX6hJRm*#=t+!l(jIhNWj5|C9u>$wNSLCIf}_Q#qa z4SarW#xor*d=VhGxBYNG51Pm?b=Ryt3nO^U^rlN%3fDgeWE^=t=qjv(SZMLiy|{5% zpE*@!A%XHRp%m|-&E1S2fqIVGvf4lFKH%Yjw8&m8NSdRK%J5fy2(!O0REH4zl8t8A zB%u>y+RPqX{2?9wMJ9EU9Rg=Q&ISwfTuu5bctYL+Q;UbH*bklf;ETxR2E7A*=r2XI zTLLsEJ;y2|pfiZRf|fz1h(un%=_hO+!JBso1E{l{0C15su>3GDD7PG-$tY}R}IS$d=C02`si1XQg=kZI=FcdcB89iXe$w?9a7 zxv}$GC(m=tk5 zMR4W8TEsL0{kHISR)q?itK4xYWqbI`0SU;z?Kuoztzl!l%AwDG=T>2#d52-7>U0ym z0dCy(kZ;9%R%uv=DTJN+MvaR*v(=tTveV?Y{al23|IMhd1aN*$77X9-K=>Or%&o@r zdftXp5iADj2|S^3DlEc2M~x|t|G6XMA4gaLHenZ2Yu!S;QQXJ-ax8A zuGBCtVCoFQ{x(H}rO!_O$hTP0XeG<7?~3zAWz6E(saQ(Cd0261K zU02s>Wj~lWz_3~POb8e-OPrmnp?HJd9!?ehpo(~>dl>kcV5*>hGg4 zu3x!O^of`L=tGDXqEL(Cwq!-y7(V$u>?jBFqSta1iu-9V|0w$RxJM0MzRrz7QZi)< z;rM$fgPy&t@@LPknt3qq8y~|VApqPJVmhz@mos%K4wK6=p=q^5u@!L6zKXE?=Y7Xl zs7O`xgl-V{JvkxqUv9`eYSx_s4Vr^X;?yGlm0dCd^=v_UmH{Om418wpcvE0qeCf!#|hU?B_V(IDC)|*Rcx2RyrE!}=xUY3XSGazzL&DCOt@?tbn)`w1u z_K1s;fe2$~wUaUJyv-0)7C`GdJmsVnle&VdNO}^R4-t23ReoJ0QE>TD0(&k?Vw5TJ zOhkD?O?1LdSRLS|eo+KR|M;04>m>t1hTplL*2+>lK*RY7KPlN31na3tc!C+>=#3l& zzaSZ0Uzfme4EeAA0Gap0Yw(deYEZ(ifbhZiLWEmmB!dcr%?d0=8nD%xaC~5g_(w`l zV=qKv1e=WWn9XuDIf*#9AnH~EqLgy%uyJQ)KJ9geh`8zAEyQy-%Y!?#gMd>~87!Fj z@*e4ibwn(e;6OrnG&t|zXKcM7q+j?nG@jOFTboYzOav#Ue}21z({SO943O&8x4Gy# zjhh6dCWHP{ief@D6u{oDFB{J58n8SsQ)EtBuP@Mo5bka6p2};DVIMGa?^$X!Rb*9w zd!X&G7~&WXKaUmqBP9sJ1my3}$QMo+s`Laf+50r509EDy)H!C=KJZ9*=jd@Q*`wPZ zRhTF-Elf)`)drtRb|CN~+v9&RPI8~cDwj~3le@+KmXHy4Py!AUdWUE0@g6+&LoK>X zV19HL{8Jy1c}oNL>Z}obepB+VE^~k*2&U*ACw?+E=GFB)N8Oq)E`x)(Sik55gKet? zy4yJ~|BCt<`gOS7JIEbg*Q2Fzjp`%=zl#eq0JD96t5#@M<{_k#g3b-^&q0u|S{{Ox zQdd%_wTZ|I^$NK5S6s?&{VHNG>quh;ZF6;m7NJ&hTx!-IN0u#}pNyfK;HpKMYeKrG zJ#1d;*v&@;c|JH2+xi?osPaRlFilT*kB;wh67qVAF_4PdmlpA1|IFrkbPkBy2tcVl8hD@dA~S1My*dc4 zGty{LR4?=WTk64E;-#LOF9$=EcHVNx3o_9=m}NueRv{t}i&L|FM34Z&@$oo1@&~E_ z-I8hYXDGfN z#OVVkLv9j}P(gLfPu^{AZmf6W7ZGWRwGgk2pEmV?Vcf%LB(VoFZ-qQaTmIShib8=Q zw*f?LDAT0vPf{=xsLytD*Pl4bJ}sR%e-OZwM5n0*9iSrq7JMtM4xU;TI40k~8(Ix_ zd?8>}PlG(0VoA9=ad0-bns*Z1GNXsgq*Q?I8OuZLgwi~O&`U`s%e` z#zgm?TFXx|y+E;8UB!ENNRC}fa=oF@84ZuK~N_$g$Dlt4Hk`gTBqq{MG_7(jkqH})mPF4$l;^}-s9!iNTutsV34!rNiqU(0;r> zL0?rBT%XXt;O%+lq)O13+gH0FxE)X;f>o36Qd?~xVXVZ77Wr+hTgxLny4FYo8JI&o zq>8?o{{V?8lVWoDk(2L7N7*f;O{Ob_mfNv~rair$%15t6neUz!Mv`OWZ3o6)X*68` z!_95kU2AWtF{~fzxQykGXZXoI{=}W&NWgD4+eOJ#K&!)hi1!(m&7JeJzX$;66?VCC zGC6<2{ini@H(-e*ap%OB)og%{#Ia;7!^b(Wgo@eQ+yKZ1KVZ$cx_GA_wi=isXWH!`2F#qR{Gf5U3aJ2S+Bokc!dp_e(PZzk~=HxHjZL(EZaWOMMSU2weQhYJy zRD!0N!}!)a3hptm`dyVzqL$>?`unxbf`BUJ7w2rQ+0rS3{X|KVGVJP767Krg)dVzf z*EnUKXEh^pYj7)!;rFkVVjdk`z8+myHOGHk=2%XieWtE2nl`WAuRrZB{qy(mfd+V7 zzdblzU!N|HGjdmLe)dc2wK4Iv*Z33Ly{lV>qZf{es6bR$jjhhE69IjfDM^erApi53>z#bCUk7kEd&sOV zcK6miGWV~9KdAtkyw4J}g=QtWFAD z^p{TO_9)@jZBGXq8(72CO970Ln=JOxUI6HMICXL;@rtYgd|XMq1<_nTqms=9o*5?w z)F9snA!7<5Wg65M2_#)nMAKAg$ZAZ6|K6Hw`8Oh`}9O;TRN65stB;g?b3RZziUtWzb`3^!tmk1PW^P^&S4PjGCESBerW4vPcq@4UjPOjFy!wcvOWsp_* ziNdU-P~;7LyD!Y4+jT zMWay=Wz{mny_$J{eDgIC2FGr-gAFDu(x7ONMsNxS!FD$3CeZ80v;ML0YcAP!rJXLo z3V;0NIIycpCV22cJ&*W~gxRdm(k!4ox()5KXpMqk05?S3 zguXn!NWKEm18^c=3k1KkZtxeC6}*be;(YKwzLZkL-fWi_CM2INBF+Ne~ycpgJv2kVd=jut<;!U=wHoh8_cnrc0u zl;)k{D=|q&o~+4bdi*?W3@m-M{`C(U2SrnuM5EOG2SC`=5VEOb*1n-hSo4RX<$?qB z&{(l!F+WA<25EC2Ru#gzSy7BXVgHnxf-axVPmdJYX6rrm$FQYlc(qgR&+45iuU8t8 z{X5Ki(iJ6@;ao{U1%T;V3$I;=8pYLZA7f9y27B6R7e4rT{IJi#!SKkTeu8~`_xBTC za)Ux*_5m!g94aMZaInQj$I@}TVeV%ri+!fy1TU=NAWpFy9^F5bp_QKU+6AkbR}Vtn z9A_J;71UrQW`*QxpuG-}a%G!~;R&nJF-en#N5x><bG4K#Bkic+g-^BGqbHpq-`m%#=|8;BIu~V zUBC?5kT{uhS(0Brd@_!2$4T0l6xB@K@2C#5vmn#69%glmca?Q5T{k(W$nedAbq-aG zDQ50j2)=3$S9W0qHCnqEVeH_t_@i~r@Z4bfor1p}CLg_XT zd6&Bx%7uR4NDVN|JP1D|kAI1H920Od)l(*2AoQy_2P-q2Y z(Q`wIhJcz}QFPY)hI?C153#eQ$E-u0MBugB4aMp(eyd+O7x5h|ZhBVMh~D+d7Yw^Z z3RC5e9PZMcRI>#z)vkz_UI9asg}`!!wA%8j9moTMwlI}~^F$hE1o(M+qq^O(0P~(C zwPRrdF;Qm|zqv2f>ix!pp)4BUStbgLOa`fl3pNe+A`5}yx8gK^9n6pC9y;Vb)-G2d zoEMBCbZpW8KW);%V zewmWZ$h;6cl@@{lO^?~fexv_HPqUz61^rb9u>hm6cx~D-{u~(1NGNucF2I2q?VHSW zh*TrEdq?1sL6WzXRp}uXK1#PIsV{6|r(_bqXEZnJmNB>KWzC3ig@4UeU=N)Kz`-_o z(*t;MO}@IC0B~`%WJ*_EEj6`31_#t|g4E<56kB@pLu`x)l7oQN7{T6t(mwSf1Dv!I z8sAE6vlwJFl>L9WPd%Jo2`ePR;O{>$KZfTP@q?icc+ml(zY{1!qG?7>GGYb;+)^%_ zOd2{Is`#`k$3JJqzn@;@R&QJEbX<}uFQ72H=KEri0FYF22=SDa)md(?+@(eMJFxMZ z#BPfZ%Y3-y*v!}yr01AyUTVB*Y+94J=4U<@^m8>Lb99Q_iskri7oumB%$8L#v@7y- z<6vj-15vTR6yEF2{_FF3;h2T)&}H9@BCowTV|&4K9&FrFs2`pk_b=_n`;$(mO&x_G=_MMba(Vj#- zIX`_EX2$i@@zh4!KT3B$t4NSHQTR^;hG^x=_h*s|e!~`7rq3MHKRjdNqFP9<;g)+H z0iiS&9!C)g_^TWm2j(dw6(domjIsFyT>Gh@Z~%?St(ZjWuK84#T`!Gl5cRl1X6ckL zYst14UKF^3GJta-EPa?Lphbfwh#-lKxCChYW1|4+jV?oJT~|6;SH80dGv26vr8N70sVU#d+=qOGRlj0txzIz(?@0RI+F5$zt9O33oBG|BVc6eHUDiJdjN(iX9 zlTb%>>{!1vPqiYPhiUr3W^&0sy^KYD zppUEOuy$>|<3Ov<#6{LJozsr&D0ENsFTnz~*Xf|MWPYwDMAIP-EXn7QDJP>d@OMA9 z-TI=TOa#n8&KPNaj&+|aL)oa}N&WTG;jUZ3Yi^fVK}W`9w@dyWeU4^(HiRw<5r9RV z<78RQyep{XC^{nAKM~7Iw3IrvJ{hZ$A~z9p)osW9ZexuyUTz8=Hgr!ti4~rxyfeyt zZ++gjuUfiU{7a6J0fobytXyO&)X*@^G$PStz)DeHyd-(FF|0nVhm5@gbRVfceuaUq7(BRs=6uD+%V}qBswa( zlwcUib*cUEpIVu-g`X_D2wn@6cXiBU(-od4QpccK^wv#j6ykow-nLY@p8$3-peyda za$0ZV*l7iKb%Xha!PeOK8Q7&jR zcEiK*IO~N`O^s=|XzJtfa=>EKS1tHo6;W^l#~Q zwQd}C0`C5~H@Go*h@z4}JOTsYLmOOV58XPPGE8?$J+V1jzdT{^qzT_A{BbPhh&Ass z`0qgbgb75Z=fxQIQvvBUkeBy>u(ooSn32(Q)2O<3ZR*r4OD9pZ6BA)zI#=p6Sm}KIXzl39-m{42N`DacBcAFEvfAK;r`=!q@d=Q> z$tY=_{;Y<~z2s5#Aryd1(SRxc16yMdoKn}G)n?SKC?KmRsnDUgcQnOi)@G!A2hpHmpjp@ z=w^QadUiSXn{sczB(LJN&QZt0Kz(%G={R$#0_92%Vnd_cl#mtl&*!SXJ`lh``Uud` zZB8Jhu%;A(^i4FEz4w&!D>SvTWYOgSPDVj#U{4)sXuHXEs7NpjOczb+0u<^7ZcYY~ ze$Ye_YC4i}tnc`7af9ne#S<=cQmsl!U24veJQW#V%`2Qlu&LakEp(~+A(cy`yrT8H zdY+GDu(C7pa`BLGvGOpnvwaIoNPw8Nc39kO{~ftt<^0y6aDP)N z|Iw?me4A2a34x5m=wRPpg8HFC$iv3O^8Hy>HV!6s?r-_Yx1WTY_rLQRTs++W`{Xnp z8wkYzQZziA|D|fESb6?qJo!ImC_MiezW9F?C~Ul}Ok6;x3=H7&Z^Zv)Il%)GA5dX^ zt5sNec>d>PssGY4|9PKQ3l548OmU|I9@JrivvIThFK$Lp*5%uS()CnZJ}*V95fn+? z`?nL-zLwgA03FGp(d238Ht=_0+et-usn*%nmf^J=g+XyoWs=TSZmU`#N#qYQ_S;`% zKnI8I_apvxOD)q7?TszwYU5ay=uFM(q=!BCzt8J;?tYXPcTO#B%Bjr4yOQCD)~)un z5}ohqivWV<%iGs8sej(9M5m$qd>iM@gzA^q{qvtoKWr@k7w=V1Z{Um99;dP0+n+Do z+fKQN8kYUmzp*i6{{h~~7s05MWuxOQ&39Aqr__p0{vWR10w~U)O}ob3-66Qcz~FAd z-QAtw!C`>l5Zv7@1P|^W+}%C6OR#V9?r#16ZWUDzHPhWscMnX#nbX%@@eL$rr7XMX zjGOsfSIOv8I!Ojl5G{MhG&)9HEtm4zZYKW|ncc|sBhxD3`+ggH2`H1REjqet<7~y_Wp7Z zgeUeqkv7?;dB%lHG=n6_gwzJ7NyEk2QaOvp`2ujdWA33b(?mBM=+7NB)4^|II49bD z$)U2O{AMV-*+jg<;Ln{Uq(VN1?{SX_%J=2F_s;?A*SN)c3 zYUF&{^Z8oM1S>k?XuPL2lhfKgq)AEJdLLoj+_}hWMB&yHyI1|X>XE3!t&A4N=RE{( z*M1T6;{##Q8aL0$MXD;$79bZR|F3>kp$$|iT^A?@2$SP~yO&(0JaSwwm z!TMVAZmxxeksxL+_Z)IF`R|+O%_BH#o1XROVFhp7FCJ?e4_7Y}o0vyvf8Nz)lLJ2y z(I}OF%E#w%;eCr;6*(gh5{aH=C_q?~<4SC=%WV3Z4YE)yF*ViTG|J~XvDckrH9D4u zq_3^}DT2!tG#>>FBD068gRpcIgB&==<9DPM(!kBc8V3QZE1opsJ-s}suaF2>PG??q z5Dh7XR!-uyxd zYrhZV`m|k+AE?jqn`m}?4w>kUzy{V*n(55>k#D1e6$#s#l4W#FJg-NEpJ7S)=OvV` zIXp;UetHK+doN(4*m@s-S&~sGp-eT7UWF2$-ll5fXJ7I$2=z0HD(1YSCZOO+=UjN3 zK-Bebdu~)a)`aP4xg_Vx$mgP<93^Xk41FbOXkrW5B|16>A{{MnCDTYZBzev+15!vo z%rdjoVZv}_vOF*8+>S~yQm(iZ#~JFOsKY^g*T##fu$1;Ee#31Mf=@z9?_h6tPebhb;?Sst>^tWNANM00^33V==UIPX6IW@RNiv3nj#^~b%Dy2PrcOhR&a}&^kfp`LFzRe|f_8z2mkq9kBmR%1;VUGEgB_QwKX0{&9`MF1L&4oVMcGn6 zbu~|mbDWB~#U0X3{Mf-$(+IinlN2QWiUopbUP<%B%lC^BMb z^8l8YH@ru(6?>7Slr`Ph(N@;=IWnf>;$H}|k)<^^L)tgUEpRgHBbKqE_b0G&V7Eu% zH8MSy6-CZDO*elIKq~hP)=2<$>PONmYGMp@p!Nv9HGQ@6!QBUR@^cq5W+)igU2N;G z1YZbUcy4;oBU*{BxtP*2QZ6-_Y{FZQIu?H6KF0(Sr(CY~c5k;|Ug|lyTQYI5 zOd!<82v~E)ywm!g__IT0u6pM~#3Nm5{Z;s7;|8hmRrKq(3x+Cg$b&X%q(BdPGar4< zg1zF{0O8?TKVD7<#cmtn@>~-Vh`x!KAJ~$MSAT&NKe5FpiJc-*FpZ!oroVoF|3SLJ z&{k$*A2y+_{K`J1KHXXmB540iWF-o1SpzYRV>ul3xA5E)CWX&C5(73my0#v~IQhv5 z#ogD?&fZ}*SZh8y3+c1mfTU3&~KrR`#3)pKnMlIS-Nj><$R~= zz)2l1OoXS;_QKaf-1)M%T=0il))_AcHrA3hkhcrFh1it})$(fvR<%nwuXsflj>(Y7 zCE}~LrKh?gax;KjQjU)K1hD`V*ZF0>cL(M<*S?%2bMB4ooJt6nSt|VR@QDV{ZJtql z5&%$%;l$f|LonoTP=-uwl;_(;HPF>GUE_6MHYUZ#70Y~_c>>lZL4DJ4OrxIBXKR_j zlStX|%u&(P%)& zXIYW%M#{%qreFJx*-|v>G-(f)@?}hlCsi;ISH*yvM-blBJEL1Y?3uWrr|?dXa!XP$ z=5$PH;@(=Op!QIPykD!!XAA?rG~##kcM#D;P|86qay5`s&kypL5K{(Hi;NTu8tKgE zW)O3f#1!R0pd@F^hSzX6D(WAL=sBA!p}bh;zpITOvleJh#Q93$AOa!4)qmYIUyFy;n zm;>e5i5Ag3d8NEdorqn9QNsEAGl8+CRBX>%C zk}6aQNYC{Oh?E@a2Yc>i8*@|>R7==JkfrxEXE1*<2Z89TRkJs4yf*Do71^8$3Av5k z#q$w5^mP<8W{;qM%cdI82nthf+!izaVGQOpgxruQH*OgcagYvkLT4}IogrSvrEEW# zCs9`TdY{h*vYbr}xg+0v5Q3$)6oG{~Jf*xFlyfI&-&*tAIBqNkyKT#f+g)7n38~xd zPrhvJaWHA!HV_eS;byCR=oDAG6dS37F!R#?hjM=TX_Qj_^NmWQI3GdhP2cy|(^G8! z&v}8QJT86SYSVnfR&Jzd7S#r|$eY0|>(Y5P>{^3QC@(nMSoxi^1^rBIHSb^BJh38Y zL0*@dZmYgrQH@VXiKV$rwp7IY+YM@;VHy^V4iPyU1WQesh{%h0ofI%{(@TX3{q#-~ z^cM@>u2;xgEl3Blzj|Au9q{F)32|18A6R1bL4MmmFS-mklF*AfI#P^+@y*>j#Cg(w z<>;4)V!I~vxA)gPO+aaD*sxLE{_Div1saxOdrCMJon`6 zt1y8$WP+f(c6eT#(CFzbLa{o49)G@>Yl|~wCO9Dz-}EPWnnD*6W|22bxev09FoZT$-dOIO@U z>2B$7cS{x@Q;(rPFf;Z-cn*(LXSY01kCKVor_IP-pu)9=cr;!iU1TrF^YS!qtDm9g z%oO1omFr@pP5k0-TYSYfG-Uz->J{cf@q^GHMS&g_XkfS;r{Pg_owB%Cz6NAlD6~W{ zAfxmnG&@-+ZasqOyvZfa`B1RFHjyP@*KBb zU*SCG?RxR`kd72m^*B^31~(oiw%(0cw486JkQF2vqm?ga&Y|GdzZHK0;azUNK9(b@ z5MsqZZ`A7L+IT41;V~FuTPiT`Qg~PgySL>{r#6|T^&mF+iw;QsdBRr+A5c*raX7z zck5Z$;`;G)&ff;Q#i3K1l;Md`k+U9WDwIW1Yw>fMdrY4ih@cJB3NsWdOeYNuLcL^3 z>woM#!xs+D4CbkffX2hf5M6*j&}^ss#&?|d5L_RzH`*R^cF?2!1ocji2AT%q?Vi@Y z#)27CHq?i%TFiF_RF$nQb<{dK4atX)8%ZoUpS$=2mgRIgn+5vzLIC7gFX~pyRBCN( zQIm$;4GbxaY5k}tlt%-+Ja8c)efa6v@DW5;Ph~*#$?25>#7l-sY2kd;rXV*CtEhcBX&Wo|7WvS(67^GB z7D2&7ymwo{Hrael2p6#pr&<`hW|8WO*kpb@`gbyEC0x&!jnRtCpv_1=Wv{w(k*dzj z0qZSgPs|_cpt18qXtVA6R8|4CiT33WG&-2ejWz|EN+mybN2amn0)Y{|i_i=haTJK@ zO1`AvY-@!=^={M|=oW2dH>$E1n6BC{d!|uxt?XWP7u-yYd}H~lW6rMIkLslK=MS@g zuAwH!K5ak+YLY-O=g~^XDqmsL3O@IQlG>^{&ONf&fH;!T{FujS-I6)vC|jg1dve44 z5uj4>*d{o~BHGZ%i^|2mD+_;~8A@isQq0p?w9@xVwZ}P*UWh}V+Ypv7jabj7@x+zU zE9k4+nmiA%oz}ChP#gtz(fi-34WF~^nF}*t$5heTN-+%A?e>O`83tpr7f%6p31;^m z{NRO7L3akF>gz1+>&dr<8mP2J2Ctqpx*QD4EH1XfB(1=Y25A`Rv%o{2>{lnE3}> z{>I^Fc!UNOj_)PTI=_o6jIrQ^J&H}ny~&7juuu2{{tlyi{d#N^m=!57rq6yOKrxBT zWB};a)_9M9;EIHByS5OdCA`bIaQ@OSKXLF7zs-CZZ^zmq$f~f#hcK6fB{6JlGdY!y z1bu2gK!+@$swm#fj5kAsRdf12H5T%riU%|h2yz@i3|g$J$V?Kuqs<8LJl__GX%|jb zKg=6Z8`wDW9tRi$~$Xe>rB7(IK04WcBQ+f&dXHH2Cv?ZrbVcY&_M@5yw_s~rt~ z-+d&ZpEDjt=M9-k7y3>+d?_{#6Kq?m7I>;#N$Q_AhkiPsENtK&kl)(!^x9+e*PG!Z zvgxw(F?>9GSkX8Ad3kNlnePKKY*tj#%5ofoq2j9O1FC<&3ait0=T!dII%Us^1=JW( z=CP7PaE#Zzry}PtL~U}NB9&Nj|K)7p2$QruQ2>$nZwj2bmo>JEs)u(dtAy2K?&gb$&PcD8I(BvfuPv&m}OJ zTkYN52g~Wg*NI3O1w>+g)yP#w9D`UH%cx5;UI%}!6*p#jN;y`~#vGbAs9(K*`TdHy zaD1BgnfW7K%ZOXG4li-Y-b&qQ>d#eilCdI3I()#4b`lDHnpN@h@7GUlD_Kv5nY05a zckO2vWnSZ}F}T*Y)IDS3puw{=Y#q_jQ1a}1%uh3H}a&JVF!F5JDBcra#8^Jz-iW; zd=x+q0Ju)pe^Fk&SFEIOBZjzqJYWFKOTozw&a-Ccp!nAX$d^{f07(W0!8l2DzxDq` zUvqNtP;dbLMP>6*aDpSSxq1Fmd+T3|-@o;7z+u>6Jj@9mo`(lO0pMY01^m~X|J}uA zR2vq^0S3rP1EU;p-0a}qd`YjPoN!$1;Kc!xxW+i)zzIM=Fr9V;f6L3q%Ff4^R5oUU z_Fuch_W8e{aFVhIZjwDeVUoo7XDAM?G>QmF2GBVe0aNk0f)VgG_)z%|yi4gA|Mbn} zx=z534w&Bb`=HZQwCR#X&DYc09vF9LcxgaNX(S}K2ytR|$=pMzids=7JX_KVZ}>fJ z#95g#{Ycka_tUj$noiaTIUSsM+npNwdy=W&c9u(4Q=MVN-45?Xxo`t&ZubBUj^8YR zc%JGvc3^cEv-bax8r7`ccY>PVT<_DeMBXo?<&xOc!1aB==`vS8oDySYwUU>g-a!%6 zp+;VojWJ(@$sYxrrYk5?NV;Cbr-MbUwcPebG+h|*mKw3Np0wJh zqv(EmSyq5g?DxUA&q``Kq=bI~(D&tp9~{KH;s|Hg9ROj{9yna#w#b>-si+gs)NYmvv? z>wSfhHPoLiNb|?`2S;*&0XS4N6PJnPpXGoaL5h^*_dUZ-r*^jG(D||R(q80Hkn1T~ zk4Ycw!yfm^o?n-?SFNbWQCc<~ z1C@>a*WRVsy9I`U7^F0We(qZX0jgnjirrs#6j=qUOUe@H%A8>GT%AfIs6#5!6F4Q? z@S?scrN@IKs)pVUqws%yfIQpb79dzi=s>K0Ak}pjYi^YXzst*=^RQ;v7AfEq5KqU; zQZ3V1$W{`LKnXOdj-L6d6Vr%vsh*e<)8s7EpYI4G`sV+#`}}Fo%!1wFWUVK+k;#@{ zOU2!y_*fxwyQl^+Wwsp^Yx{tJO=W6Gy5^lx4mqN!R8Uu$Szm%V1?1ckX-9c(#)HNC zTCLwQ&#}xWi7_Wy6QG(RNq$@~tZz8vP)icn=%n%{UVA{dUS#^qQ@W_x>o%Qlfy{6QqN9j@gHoWxoq^4#0n)O-p zX^`cCuq(0LY5uF~9H>95yvtK+CnNzqRZ8_n5}b87rFN(142$PmT^AeCk>22Ck|wh{ zkG-ZS#oXD!`-aWRUf8!uW*dwce-^N;IyN`(o^eQV)1cB6XWFCtpYETU*`s9@K zS5cu4+Z7v~H18lR2YdSj&&DiR34aN?LFA0j9UOVMY3tqB9{%1ge$zH}ujjam&d$zG zEsMtZHd8jPoy~3h)uOA-EZg!nGzU}rrpu8>3_ei&LQY+q{j1exqlfeZJN}>9Hyw>? zxjq%|YD2aiPmpnl$OX5!es02Vs-bl@32v>zS@;L z=R6NMmPZn{w^*5+VCArh@|+Ml=|G(G3VfZOA$%yc1w9my_l0M+`QDTHwzq=XBy4_n zBOt^y;Bh*eHGf6;0z*;wk?ZxeCVj-^C=jmED(3gpKM~#?&=ZsZYbZ0xh&&6ckD30> z-R1FWXA1Nw+SluO7`B2}W;ojZZ>^~8yaMZD^c49!=P6VOVw1I0PnxP-H8NshjNaEa zWDJ+p!plMF7P@FPC_&4~}ogK9wqwziDs&!F88tU;`A6@k}@gHX)6A_k=ZLRIQ z4y~(Sc=VfXP>id4Q^T!MBaA)i@nBk<7#+_LkamJ8adr(6TgcXVJ8lKfvqCU?I*B3M z;NK9ocb2{^{fhINNX?=RV)YbxfkP)#Y;js_IRmAD3wHbsS6+M%hxEN8-x^%nLGDHT zW@Wszw&p{cdvUtvv0)@&O4oW6!TTfW7=m;c?x7~n35uOaNu05R*@>VV<%ubMC6F zG(=a$@DHT6&_u~b3S2>m0&1szb60jVTOnwTt=BK#?5NWdlMf~i9x*(tw-+C_Hv~?s z@y!VCG0B;w+(U@nS$m)Sk78Dn9n>^d7;@sAqv+ENiPu%$DqIJ&Rg(b!YPH2F$KID+ z%m-b9Op-#P0}9HYExb|Pe{9t~aUc_D%}ox7Ed`*DTcVr~a9T?FM;E>!$J?O^ghqix zl3F=?;rrjht9`|XDa+h``fwU6 zxfOIoncd|(59f8z-mU-KZf%{p!>0Z9Sb*Da*`vg=?`KtGKGm0m39Kee_QKCmr*o$t z3t9fBMRr5}UQ4Yk;oGU$?k@U=Y%Po+wd@fSKH?83k^BgoIH^D~y9S5YR_>Q$x_d0z z=E}S*i_4oR8G>+V3#@Mf##y}F-W|1thvYz8Rgc6(-MlcfBQ*1-3TNkv_hsf zagHlLJ807)RO&rO{-{pMYhBcyNuOJyr&WC_3SSv;<|}33T#i)JZ!_&3>8BiP=p{A7cx{}>EY@=2|}jp@2QzsdBMr+ zJTS6j5Phuk34PzRNXv|+rA1E%9kgvej-MF!E$VSIRY0JQo|iOnOZF%R5%0RLv$qJ0 zK=I_lTgBjOIR%r)_8r?Tvz2Kn3r7F~v^!_Y=hO>+U&^&8^#F%^Vn-U|RDD7=yY(@r z*o1UVntVhWioX05`@QBT{gT9^xt_mUH1gghqPP7@?s+>lrd z1o--+1!+_Uv-OTkz<R5*vhc|&C5p2I6yAc^bXoM|p4f_zfndr80j~;J4UJY~LJ^R#OKBP-UrZ3qiC%46 zNmf@5-;Yz%87n&>JyeR>pQ6vCQGVqdQdG2^+`b)|FL7C~f<6~A5R~wq&Ucv3Hw?Ne zRFfK}TKnDc+oL7nyPrA!x89s_vat|uI^T*S)ftzeJom_9(3PrGw|_{p0>gD!;2zDl zG{ZW!QMukRpnXWbj2>s10Zrq6ZP%Rx!Ac;U*>K+oiUP}96YotH0;>`g?~5k(D;2;0 zHX`V!VPDnZx4#R_W~EO$A*sS2D&g5y4!}QTYBZ)Rzcc2WB-|~lh=a=RplHx`m&Glt z%d6b*cL`-RL9mxv8ZhSS5?Pl>Td+F>INOT9n@sc$HqV{B3Oe)hPj+EK{kH;5?~~A% z9YKyf#&0*y`ai5Bx>$Ld68(~kGc+r7@S>Y^6gC4dgoiZfjYax<$t%roP00H+)%H`K zhP#T=rDK{O1M(G*nUXK^iw+BOxLYQ#wxsG$xjV=WK%{w+!6Ime?F{C`X^EIayU=YO z{Fr(BA?fu&HoZQRlKAf5M<?-ZKl*dbMZA@rQZC_nC9Z-9jKOV8d+E zNI|ncoQ^wRs3MZ8M79Q_IWlpf%VDgst!J!@Px;sEiVe%E;C35eD3N)t=#agOXl_sK~=HQ)FF*{j|ahap|bG_hF&) zLp2dS`b|0=qR?U#Z6#z}{EuB)xY_6=&{J?KcL+#Nh{WNbpIq!Q)?c(iNjOp)+GGrW z?;0O3gSAHq7ni~Y2tAJ=w8J9$o0!@+SE@=&6_wK;>b#?`JNg@ix_Y6qYdsIh1TUhm zKrNlFDk1HD5s_aFqv<1-h%~f=zsG;a>0?U8SmE(W$46~BxVJ4XTvyUOlhwXLHE5RL zQ_VEhMf+KYZCZu!8Hb4iu)}YgJYtFu*YpUT#fUPSA{?7}+H5VIG>aFN@yy_W*0B?k z>`f)+w@_siGL>L~naqMIS+@_X!t8i21FCf1_p{q~Rbrc!Lv35tWgMv>%MY`MKcOP# z0mOMFw?=%o3%})~C)e}t*9vLeiZ}a_4Yb@{yR6){#k)C-m;@(JVJr&G*m85O-&ur6shg%AOU^% zp)iWPG2uQ|`*6G1WoPnld@bZr;^NdkBIsm~-|L7c{_bbFC}i;KoG~+ZmWQyX=lVbw zIZZ|EzCO7KT7Et+*I5W@RVdF06`I!#A&va zn{_%@!b%N#k?~Vox}i-a6XXbg0*!&=1V-Wgm$s@gEd0q?JGs9#Phf0pbpDkd^hq!qt##Lb z*UdmG4gnOp@ld(h*Ji8egP;q56ktH8L#TpvFjkCd9{L%ll(>yV9jgzR{K$V*Ief*a&>39fJXNt zS*(ORG=<(8x5Pc0@;h%S%0mjSY;P=QUi;mZ^qjzRkKj!3aC^f6Nm!8 zGRZ`8ZwQBQVR}ZXKSrZm&Oy2;jC zWvq-!3$K{^&}-i;%oa!aOMk?m-Ke-TmsfvHq?qeRE2)SC7ZEyfZUgaS_Tw94?O?eX zP>a?TS1#7n_+JtfAd1|$`DQG>nc9x_f3l&lO-o$AczxOY$$|*8*d5)RW2pLowyY44 zIOEOWYLW0YW(G5oxmc`T4(n@%>1a`Z@=5ZYG=C4p7Dw$XYl)ldh7hy73y%NaP+RAy z-<8U>h2mM4^DkB9)a;;GABCHOfv%Pvn;GQ0%V;P?LLt!RUGOb8=WWv@oWkd{yw)I} zvSu7{2blRp>~w_$|CKM~QL0edbi%~c+j8WnSk%YsX^FwyYWTraQm?`c1%CEnrB%S+ zLcNiVPD7$qXKQHQOs4|E_)kqIjnEPeJ&#UX(wb?vs@E2X=pG=>G)2s*#U24*iY{-{ z{6?Ia+{Mm7MInW!AMfs2L~i`iX=HS~y^*p?(x3r=35G6vn2hxKRRly<7kPv^b|+|7 zBb^L!X@S#>6sW9c&NA;Tb3M7Df7PaA<{(NRUOfMSf961k9fp!F3c#iA)s51sB?=sl zPhhnGorGixUxV;4Nd&Tf1wSABsX(4~%56Z~c$pfp#R)DBkL)ax)J*!;h@e#3LD@Gc zX9r2<7aLy|r39_Os4w*?rZ0Oer57lx10vz?p%cy<=_blXe=I)le^z{I6-gfmpWY}O zTzbP4BY#Q4FmrR-lORr`sh!|N6Hg_`Qo7t#YsC@fkOn=Q;t!8x{JL;3=aw{Bmw9{# zmCrDbW$|OjuBN%eYE8xjd$Siujtcq%(|K6OnaHT{)N`LWN`+CsW^fKes!kgA9Fl^s zjyY4;v3r5eI43{pke+V?Cv#=41u5jjqLFh+p8^Y!9T>@;0$0rY{~RgDRcm!*KSJSk zV>m_OfRyK7qCLr713k(oDetp;cHKjHE*J;;6j8Rr3ay?*T>M~W<4~>nl4Ii_BzzD^ z%7#D3-z_8brirw+oz7}s<^L%Vec3{494N|&F2O9S)J}lbZLV|A9msTSInHFaPFsQb zXqbK3Y;fUrZ==jQqQwz!Z@cDSEZOQ(!g&biXL;u)N!^kELZ_sb#GzQosCYqv$dxT9Xi45JIkS@=4&9QaU%udgld)6MVRw8(c>ad;x-yE%2XG3x=r_Nol(d zxL}aW!@*4fK6U=@0;aC403g?YcrMSL6)Z0|_%M1>;T|V37dV!V7fg2lRSGmj5*GfS zI*1(Xd`SU&WbgoRI2{ikZ_@gnMAD@(De?a%ssF9l0>GS^1DJ*h1Bsnvw=a^`0R;|C zcQ8SK=HveFLWBS4>RwyQ=3~vYT6H7lE~-|dE^kVfbV(`gg5e6a?sV$96{Tud;#qaB zvB=Rj1dL2jqQmpU{m;zru)*wzB-z8BWZM%*=-uyPe{?78sK(E3-^Tf^vNLpz>f}~e zjt0-jZ$VmZcH8LPZHt;*PHj%wOKR=U{iXUB5Ay+=ptCf6ht=o32f5p4tdI4bya}I; z3s0a!cfnRz*k(0%z%r=%{r;J)`#tD~18v8l0wd3lUFs0DA}`@eur|kgjQrhs1!BTW zvn>3$@(Sa3_JYfJUSFV{mCl!ve#ltFVe6&r3cZ=~^PMalb%XJGK(0l=a^S!dH}2L0 zCj59cC^Rrl6V3>7FGQ)KQ_k^MnFt(cg-5WcB|0c6D{m@g5Hg^MJ3gSu}^G zl4^q|ccW8-uo0EkT6j&HI?JwH>wiD4Irc-%L2grMWi)))k>{WmSJy7cYiuoA+c$(I zrKxTsMEKd`%k$K@iKdnCA5HC8i_z3Z8(bswUEatOuv|Q(Zvp-`m(F(*$6aMxZxUXM z8>RYcDN%*`TS%`TLk8$@8Wn`*hi}LNtn^ zj}6D%HmOLKY%8V5za>2uu`WqZMC9+^$@m7>dQz0SV4d`Rd)7Qy>Acz(sWv^R78fIb z)ug!GDiiB{p0l(+`Kqn7)<Q#HQxKrRTU+OOzM>P&7R>@DXA!>_~9aEbOpS8^b&ZPpuE`R4qfHvF2x( zs(@Wq7c_^&E0?#r2y@%5-`WkglGcY1XmJp-&&RuY**m}{N-*t{!RVZogKUo&1D&@* zKLJ$U6!A;vqUjqy+6-!l?U2I$N?zNIgp6op)y7_ZFx4y^8WpA1qOZG;SNe?n>{da* zIU|8b1sJKSjjAQ6UHqz7NJU^Y97=fWnRJv8>Xb|1S7&%%B(=K2HIR0=kxw5GSoms(2|{x0ZA>tfIImiNy_KLi_GtChgT3+p(pm1!!6tCh zzEu^dC%RbUUS{0&5(rkcQrd*a{rAnUr?%Z4_PMVQa(y{ZS?*HvtbvcMKf}{6yAg~2tWJ^tic-Bblplxh z>>KKDxjAc92?RZE{Sxb1tR-Ua zii%-lra{E{*-3}St7%*Jt|hS~%@v4K3;J6Q=iEf6I+j}Gsqn0}3P>>%mzpj`xm0!3 zk({P-$HeH}vuky7)Yc}b2u8Ee)t~bHm?ffR60qpus(wPGF`Qo)nfJNGWgS7UW^!sT z$6YsQX?6JBWLo3td=2uHeq80cCXj(uD(VbH{Mjclb_VN+=k_~QK^9hI4OewBW)RAn z7YF&w_Bec?FJ%x4ULjIyFuP(4i}9_q)`NPom9gN4Y#-9BkL&3P`eK9e!g@+F;AK(5 z5-Ag_F~4zSu|_MJV(m-qSH*6cF7+%X#Vu>0{NmTXWP3V5k#L{$Pfa#wF&GKZ8~4S zu=Co2tFG_+<|>IKy&4e$QMQ%F@%J+VRE!IhM)rOW_*Pczcneveb$CJ(xeBkn)lPTdI% zOfW(4wuGJ4uT3trZgLE^{JPszIRMV$@~(-!h^_@3^c9Nm=*+}clLuA!LG_qj7P9BG zSq)Vfd#!SSoaKnix251bDj<9`EOjjJGxDX2Bi>846@$_JAPh=?=F`wZ!d9lrfn)^i zum&`HpS$frO14r@uv)~|$jl>I?ZH6jWrRm$(cKmja-qOqPs;_sPi7Hof4*~igpO0U zloqp|cQBN8BuFtmhK-!jtqkv{^^3!;X2GDn(oaf*jKa`=rDNCu?t?(PPN^$vy@eB5 zvL$BubZEu1Ep-}1m5@OdvFoxz$#MjuVvw)ltfw@hi!T(;zJ2hJLcQnhN8oJSibGIW z*{{0MeL(;8(%BTI{{p=Vfv(mbi2$QyfqS~6r6Jh(som%ED*)m04 zVkY_olq%qkf87m(ZiD^us^pmKhl9$xG*()qg}@>4W8+cc3wI+r`!fI@YN8BAk04Ot z)g6;i>cj~&yZg)gZg)UPV^ ziu6hug{x4@d&bti;99=4H@zf=g+R&c{?M_eQ2!E?&15yZygymNIA+$nVMPDs4AHJM zHRE|82w<&AK6N0AV#(_{z*1%Esj+fT3izfaEalgx6ng7vkb3-^rx9uU`g@WlwxwkG zIw;%g2M49smKY?ywq`4VG=OzK5{fkm-?>-c$xqTaP<2(UNdKY&1A@=$g&b_EbdDOE zL;G8}KhEH3WxJO1RzLnIcq3rciez{cIQgC;@~MXMFFonIbZXGxsc>I-KkdmrGsopY zsB1nUlV*N{H)>8zN=5olY5Kyc#$gh_O3)^YW)Z_-jPJ1Kl*QG>i(F#-G`T5Uq$bge z=?If*zV4T_iCtnJ38R&Or~V^!kpR&Jm5C>XqTNt$Ml>XumX(da{UYz06L`+IYzj84a(&2++Hxe53`fW)8jT@&oGH1g70$uV8+GC@&@mywvEMaI>fvD2enSE^(KMhWe!EwxB%_Rn;4!lYvsLugnA|P`lNW+qU{pPhETf9#FB0f!pqv7Cs7mEixypVR>6EbDNjR6liJnuRYIKY0 zpsUQcUPT_H0JK9WM%h|Boc{Lbhi=7Yr%nw!DR@B-Vac6C(0$ED+7A!Q%FK2KacMdq zvyTgEvR4TJ52L@}8^o9k-*$KASbt0HL|9-n!(YQ)DYELMBvft!lAC9zzBZ8kwEwSf z+SKZP-&0y>ZxYB2R()$RaU;S4pKl42%KRne)C1+mzRdxkuamA20%EL58zTE1=e&ch zc9ai*0*sbOc0`-<2mFl5rz829U!9^}HGykC%|+&Jx2l{kZ1SEOV>J;80Z7`wz)=f zG@WBTzN>pnsR$LSQez+z3@3G4a)gs+gSoep=CVD)}==g0xovN=jz~vu({+)P}JBm zR%MV1dsv#;xqTxL*WL_)1#Yp{Yy&@R*gz*LzsJy7LwKn2Q1~bc8h z6#jXz4`%F~5z$@fbFv&WZ&7BXMlBD3Dai?a>G}!%Qjz|M@9^GJ50osUr`F8A{g`!b z^{cSe4TXQ?3Ml8Inf_Ay>9O~=&A~`BPXG6f0EdrZ4_@PSLq7>)8-BY*`27TM07*{roL93_h4 zcH;Lz&ub{c=nzeBUKZi#oWgW-B;unThj*p>mmbFpoAr{q^j2<&pG^&Kk>F zMt=xnsVO-iAWs6>hhQU71*KxeB9XC(d67L;jrKr;r}T$hA&29iVM%U@pl)~XC6$Wg zVmL=^M|`mCZH^c|GTnDX5qdr6PO7p$Yeox}xv(U|9Wo4}_o$G3AKK|x1JWmBX!Ihr z@I$9~wf)HrXns1+ub4{RCM*d#X&%IAke%K8@+p`2mgDktYcUYB-iNRR>*mS?pwYhxd)N|9wPkFmRDg}$cNX-!+F%u^su7b zswR8d_!{DQS=oxo2}T&?)b^CACPQiNPZk_d{5KvE)=J-4718BD8%YIZgsd{O^8Rmx zPeQ4Qw{!zZ#2SZ3?h!@LiNfYhF_&dd$QGQxv2dOMkq|$?E~+!_Mppqxo*JOTiXoe) z_k%-ByU%uP=0yUv5$w${vb0x=vBhk0_T+~IqrLqp5Dyiz+g3>%`x1oA=;oja-$e@& zTVP$Bm0A8a19&IsC$+YM8;|>wu|b==O=tIH<(;c`Q28DM^L^|1CEb}tCTUE5WApZL zh;gj3^Vrv%=hJCg`-`5Gr}0tBDu9PTq#SmMib5u*o#snnW(+jKZw5)A=oT49Gftv@e*8FByjM+heEg_ z!%v*58IFVUhDs!j1FtX#4e9N=uyoVbH_BVz}$V!BZ7a4TvT2bb>dbhb4?;NX~6!)9>9Nc88rP z@jX!+3r7jbk5Pg~fe zJctf0o8BSSZDdC1D|_>zQ3w+Zb>SgxLeH}X$NWMyR1AN<*_|{h8ZTlm2s7ykni#&Din)zl0X>q>)LBCQ7D945;wd<0gS z1SgDXV`PRy0&Z=DHwvC(KVD3q!xNVphMz9)F32M8|fuXp|r8R#`zk^k)n{f5s!EfvSV4_b+Bwn z*Oux)TCO*}DOthk+~CWrO~=LZAr$^zZgu}-s30A@w$YPkTy`+GWJl5Ggrwz}-HhPd zyF2;5D;FqSW+1MH82GXcnw^j>k2 z7+=)LIr%ujrY08!7Z_9i1B_s;6s%+NQgDHVRKS0$qb$Q%Nuw_sNq#Q~cw8JDth``< z6u<@U_pcpzXuyB_qk6AaNo22xc)UEU?0|oID0nDvxkn%$*eB)q9}5*H3FA#IsR!JQ zo0Am)Hc$azixj{Ko+J-gY6bjH$^ceU?VASqKhc#391j4NSy{QbIKUK@os|m!pa60K z!0`qD#8*I)`nwt#xX1=82R8r=P{EILfQ?jcZdN{C@D#xJ0N?r3J4e#pyE+NjKLz{~ zS~+-F!Hqe<2?=~092A`3!TEsy6j+L+-FK{{ln*sh4qkRvUOq0cCdvjdk*jw!2TbWn^p-0iIuVf z37#i6*o*yVw}PMK27+-c4|uCMffOA7@GkGaaZ`pNvC@1XA=OAZIl+Mr;9{9P|CSB} zFAY2%?|*d#^8L$oNMj*@#7rZEf>ci%hlE7L!r4)E^t0Frjxv6G&k{>480E1H6uG)9A(784Gh zjK9MFuA71h$?*?P6F~BUE2c0uYrsGf;r$;c_&@MEEshA%9ptv&g4y+=ecV(OC527# zB&Vb`n6+wQpETNLhwg$ljl$KRj?VJCt_qYF013lKvhrIBiil#`=5FtFXdUEtdojFQ z8Z)Y3%|lM^6vfQ=z4f;y$)Ie&?X~l5&4zMZv!`t4d9Ksft{*M_$IqZ8<>e8V+T|6r z4oOAAl4ZgH;T9hjA zFAU)lTN*-3m83rNp(HxsTr6qU{Pi>Ez~JS@+WlrR^`A-&J9kKs8HUu(o_iU0U%ttM z25DN`noJsG`vyKx3}9yIetV@U+tHXQy6pN*lnNt#0A{8wWfopE6Xq=*I```OgZ4G` zU03x1QS?hwmsy)P?bY#WgDg4yL;O&d7y--zodOVjzFi8BQ1_SS)u4|HDw^{|TZW(& zkpm@Olge?qx{7;J)G5}imcF+Y#PCV+tzY_Uhz|w1${o$Jyk2mXB~cy!#a8h>l-YkM z4}UnkkP=haxjC@qdmEDC;#p^&Sk2EzGsdF#dBIQRDv!cue*ThP&9nOM=~;Sx2{ctX z^Frlh?|N`li)0O9a!=nj;q%LaQMF?+DrO}fR?;?7>JL9cBLaf#TCIn|3rgA}b+oKj z$bUAHXPHO;G?NRl9^&ZBR-266cB~i&G25)=6;wtwzWE?1!DMvH z$S8G<4p!$}J2}oslpb}DhtoWiSj?eFCSn+JFPp5gwI=4!je&v9Smv2@5Le-Pb6A(cep!@d>7Ev5o{}R6L^)=WX&_v!o@Xr z#3@{*haRIp)V(gKd>SJbymxP+!`_C+f8|Fp3uY=3Jex%as-^oOo2=?tlwbk*Dzp29 zSr#H)@g*&?%|vfMe(P?}h4`cdpE5%6RFUU;!b+bXsY(vm!1QGxJx` zQe3YE>@WB$tUPP>V{fhd$w`Da5;Eu|cDvl6Tv^}$DyNA=->XuSMEVDSbQgcRGL|-b zz=1)DSBkU*rg;)9Z(Z`cL3Qa1HWbTz7}`6)^H6ne(815^W8OZu_2Asl!9qGM{JkRH zM4RNx7O9OiF&R~Y^pnl*y@uZhY!!{O?yRn5PIKdSziN3}o*Q9-r=?m7B;ixOkZLDo zn>WLXM8~z`0(AWMG&}LXz11`c9_f8i^L-2R*in?7B1uU>s|4Ps>_ey_Hc{uYe%v7x z$NI8eV!>uhli`&gUZP$RD0}VM$)oI~71wGxnu-itS4;J`q^(|h=0+??t9xsAPXBtS^NrI- z7%YBNzC|=gFMn#%l3bYni;vUqetd9@XtqI2{b0QWAqW&Un>Et*Oo}U0XJ6~%o;ZeY zz;CvHB9s|Mn2H!y-80H5*ehA#ZZ14t8KH3DAy?p*&5*7-J)01 zlrmYAxX;Ne&n3lojni@O$Bv|>SyYagoDp%hiqhQ`w(sWKMOt-e2KqNlee=D#IV-shTn?{N_t3)MNFEsD(j^T~T6_ zeQ~ZuEDIYFMnmmAjY)IXGSlN-$$QhZZD=gGrb3nFdeM)FVsc6E{zvmNabbc)F%yx` zKQm9>+mY|+G9{F?ysZ_yx<#`V7Dxrhw6xF1UV4LNG{Wy9B>w#spP0o`!1;&mRH6*3 zaZw{%>|3}R1Db|S&w=rdQiOE1-|!C<;3!3T2aDB6cBv7zg7>EsCC8|FIjstPrrY5PwT?VmlDiiWR*$@jQ2&@ zxI12ZrrTZ?M`I6REbDKLrv5bk=r)3rD=;vdTYR<@)YC@ym2TYSwN*06<9Od>@{ir4 zJn8CPy`5UF8YF?Y@3!N z3285uHe0uyi&|yuT6n~?V!meUU&!v7A*%Bf1#7ns%sUt88Y}M7Am7W&NW_phZcQ2T z3zfg$X%1F{U#1ebr5O`iTqkwDcp-Lqgr4h`sJ3U?#Qp2aDipU^QpuM_{If|h{)20s z&*=JCknESV$l3%Ok{2*b98OAw02j0d>T1s{^RDYZJ>aiKg`=BCFV8=<8xs8pJ5(~oO& z2qQP+Zzn3A@e#UoFx4z1mbj4geR9{Ru$lft{<|H%&WDWOT7PVP#CO;S&073=kaigA z+2ZlOkMf>c(-)ZVq+Bx#Rr75|GIlVXM6aB;QO~br#$I2x;PHiT(3UI&Glq&Wm^Ohw zDL^*p*b?=5Q(D+OaKSciQo16xuyDIzs(WSo6~5prx;OSC_Df|1sw_=E6MH^vZ1Xm` z+AtK*edV%L{POx5yY~^6^tY=Q>ggL{lV1Cf=er;K=w0VD$Un1ft#`}>RO!xOuKJZw{4;Ry#`OF_HKPAy^*_Qq|Vjh#>CReUOGyDMFy{$((ysQ;K z%b@l<^Qhy}i@u2Dj^acSzPk_1KGrF4sx%V1xEd569jjgm=DxTX8R^88g@N*Z*Hnzi z-pY`UmA8r&t~;4J{XqU;v6o1YN+OkZNr_ss?0Vg$P=cAIsuFj7R5qUhjXF(B9+rZY z-}!dc`)At58jX}rTeGhDA0E*ArV?>jwwZDJ9mOqeyuP4vlO{mwuCQxVx9?NbbhgVX~pefQ1#ij3f^-iKRPc?S0e%Pze)^>|!0#iyZ> zM^x>A&-l8zDz9j$Fc9kMcDsaeis#_#-F1&Qm5Z$UP=jz?*lG!NoKVU;rR**gV?BDf zsIA3zFEG?}hSvH+rw1%WoK@Sf>Pma!y$iv6G zN%cp@vlb5+Tk47GvQ_o2Y$yt3S3cDpgdi+f9J7#o z@n&jMlMT0nzE*X6+I};2svfN$2A;9E`(?7O%3a9+R;=|}y&Z3@V>_s1j3+I|ai)prE^EB32-B*b@69T@zkQhY!!*cnXhqN_*};_sl*HQX#GZ)$U(X-M#Hi&pFNMG(j0!sUrn)3p(PpyGN?21^%D@^J8gmO}W+8G|- zdd^#Q)@Jsnqq|%TJ>tX_mCP4O3VMMsd_L}#x{geA zY=|kZ49!QUSDI%mUNm8169URwc43I+>v#Nvy_{R@_KE{GJysi6x1Be>OG&xU-I`C2 z8)IpaBD%w@$Pr=`^CZ_`eMnp;V6)!fg@OfhW^3A|XXr;UY^*YSEm!&QI#NmRx>4O0C>FM?eWG&fAcBt1D$9e9Y2amGYB+tNY=$)A!2~@!D?o zF)Eb`Ieuh9#_LsI)lDj=I!_&!pEVQ6(2(vVU5FFD;is#UT1~=xOoHm%?4p-h-juZy zu5yRx3^*MfRpj&GR}$c#<;N7L2oc2h04{(Pq&M(; zF9XL>WWn1Bk9dAhTVn{5BREna+$A4(dP;6#O;j0CR5A0qJs zuq@Ufa_p@r{I3LPa0PQTzOO-r#1?*}WQ7Hkzzkl&_J|;wrJ~K3-~~s8O*X-R2{xOQ z5Jn9{l8UIB+dgu%gt8+MNEEg>n}8040y2YQ@yQ7JF^nw^_kmN>63lgoRXvoCXxw~qhycDgc!f`kUn!Sc8_s4Y=C0dcA zrH{ULCf@M(@92@2rwAe^QbYY-LQtxN!A%?6ca&d*5)-fslTc$Lu3%$`f!n(@`;wGAoi1xC{;sba z{_}J^7P?E{)!Q>d?RR9FS*}7VO;5J2G*Z#vz4nnV`Pk5mZ!HXlUnNi^*luJ{iX&T- zzsP_OmXVnT2X{BzT^AHH0T*qWm>3usq#Ipv(ZJA+$>>NkOcQ-U5d<5rfy=IulkN|K zrP)>pj{4*I_^BEPXx2`MkusyEwT+exc*N|})C_$rS7u)Ne(b>;pTVQG(SPw$ko>^^ z?U6q_`Tk=B-ZPDjhW=yvV?mm$2jUFmFH`mOnv~g4efUOHN{x6IDx4G`lMKdq3?#=2 zATG?fMy2cfYYd@y-)1g02oe+87BJ#BR$e%@?q>1!t1%f@n3#EOC=_^n(+ZMWggi|3Vr@fw{yl|7d+TxXk+px>ivubv|p93hre6NYlQ#Qong&? zpqpidgwUvm^*vt0>FR!kf`BmPi;o-(FIYP9L%ENyiBtNGo)$mDhWWV@zI}mO4Iq5c zAc;9G{oF2+^^zoSn z1Ns-QQPlf}lH(RKiO)p*#nmGk^ugn^zmJsFxIsk6<;Iu#pm<;=id_z(Szm4rAz*!9 z3OVV%A3toygJ^J*`jFvIkCEYxWb|Y<*lH?LUQ00Su_N;>T{$V1#)Gs@#YWS8{fJp* z-nWy#nxh06nc`jZD3+{uatr|?<`&ry~tlfrp zW4stBQ$8~lYPXN`h>NgX2@nl(qt=7BMLoibwmAA+`0GCX72$OMdpSiF zVb^OU=#`#q9+~Wfg!Mj@dgAJ)xNs03|EZ|wu~dN0ld7osyPsm@xnp*YGrp!*>{5+d zh`Sj3aPMc~%YM)rizD}473<2|nc&8Jf0SEH9Sn9hQ_fqE-&Iz6Kesrrc~|kW5zB?I zri@ZI7+zej)k%G4N1!ogU4pD2E<~9Pxf0n4#o1GMZnF*~j}LCJgl&)O(#!W?ru@xP z55itHCM90J~+bnw#achVf6GarqTeJNd0xm>ORoFjg#XJe_k`Ng}JX6QSHQ5#JgVWl@elxYJ|U zdS$|fhI{+eIRVbS()aEfDVU8$6C+m0U)!4K`F%*SF?W0oRHm|XvibIN?l14|^hZA* zPY=!IB2ch{aDvjXh42~t?ByTUl1)wv9Y03HikPp?Ht~MHzmLB`xG5qo72~~^D*a`W zv7u2~;YvC`$-8&W=x+69MpkjR;4xdZ*5r;jWJ)HYfQ$~rr|Z@^@wOuDI+E-} zB8!gH%@PAF;w4muzAe&SJWWLnFl=>g<;?h+_NXa5TTQq?RlG(fqU%m<$A)&*+C#q{e9tDU-D^b)a&xXOnM0xH z@u)a|`11|f*F5blx!5pD?ox>Ypw;{uP@&T z_DYmBXKzcpxYGYVW4FYj)1t6=AeQe0&+&%7t|M78Cmqw4u76KWq+Wf2(ed2U*JHf7 z5DkC)>q{C7M?#&KKdwYKVG9P{h!7OoXLDM1SGlgFfSpjEQ{Gj*8yuWUyE$@G-N*5( z>wFE#kr>;Aw$anv@hz+S*TgZ|T0%*w)Zzd@_h&X*UFaf`9p(lFnRjPlA;5eHAlX?Xod$7`*i zutL?Q%8skQ3P$htd?39tYyNg}yZ}N%EauZimA)OO=58Jpug+Yn7)3~g(R}lcF5mEB zr>BLjlE~xI*~AEa`_zneQdyb&sRPZYVJ5;_L4{ijL0Rb2;LJAGQ03Aq*zkzJmfvda zX(pe{rtM2QD^07()93>}jhh@FC4wl`J9uuF9&gjjC!|S*y*QAj&Fa{TjW4SCBger9@plD*o= zKm(8CjcDI2y{yXSWbjGOD?VF5P$Bzyz?XHMK&gO2HBFLJW+UHzg!_0z_s-ycez;5E z;%fzI*O2xoW2QnY6($Pjg8}LUzx~77fJBhYq(z?ou+Da%%gR9sd<8?QWLq1;b>FY_ zM^Rhz4C;E0*vHR)mMEionNJj%W6%#5Ykte8>rOo1h(uNNN{!tTVM-!TBNk$UuD>%E z6zeFzq%Dvc-A*}9b4%DV`le`dL-T;ZakU5MYfGlbTHRnSkAyCa{JN>7>Ii+ccCV58 z+sAY~_j2n=4%`KWC+%f1)gZ(ZHkZ`Xfe13HmnBw5xekMyi^H+X(zuda-nWyD9AZmc!+mAo1ojolq?uIpWwq}rmoV)rN|#LTt&269r?-)~PK zZ%o4`!x)X8F@5QfQ41>l8N*5FC^GwMz5ZGUv)(`u#W&VGKU>v#Rm>-2#&rh2%r~pr=LvCn;Uz2 zVA=#mr!6Qfr)Ik+ojeG>#WL@?T$H=yPiwyUdaX5pExuimg{HRaZTE#*!S{xK37!#F z(JT=&Uw^dR-?iP7|9;oYuf0+s?KM%q-Ya=3mPG2aEF4RqBZ4VV`IsB74HwxD}`eYTn#r&_? zjeuiQK#cbqQny0aD=_mV%NfsCvq+MQ-?5$|1}?f(bq2>on$VXP^fZirH+A!JU0CzC zRe2)bwH8+RV;V~MMT4dM<>GR=O*=xNjJ-QC0K_JvWg=;FMYUi4m4xQ$cXey!rh5}4 zLr(9DU2Lg_=N$O7Yaom#{lSf`+s~UO^wOt8MSGqLXQ(KoT!_Yeb^GAY(-vCuW5C0O zy>{Tjma0Ib22lr2W;H0zgam%N_IPPX zMM}PVqRBR<2JK6SxgYo}6&Wa-i)2w0pm2*!aV0d6k#dpvx&1Xs^N8f254)Rf4i`E7 zE$R4DO7)K95d%G0c}QoscE7l28Cej?6`6YF;F0`KdTJ&0I))5`VNa)7-n^jCiM?kd zSsLZn7ec~h8L52jj%Gr{hIrBGmvgrdp3<4py4_D8Ds%+-=p(hf z97kl(MD?zb0RI9ev3!9R-KYEp`}S$o!@eutKaY*`CU3Pm-~TGy1tXwnzO@jm$AGNc zZSuEC;GNgI7PsP+2W@_4P`}lcMJf^_Je<5x-4QXLoYE0@`1a=tn^+ZVAmJGA^Ry+V zhK~+>ZhiSrH!FWoJx&|-`?PDhL#0{YMXb!!Q1DQC&Zaal6jM_JdGfLLUengYw~6@kHUQ(UZ<|Eu}}-2oUsC(PxsIFY}+N9Y3@ z{ezG=E{LD@7JYM(v~!r6hAo|g&tX(S0yiUZamuU9zK4|wpG3Nxt8l4CcJq1hf`&MZ>Zt}9{1k2 zuZXw~no}K~<>ji-Eo$^OfBAM><5F}%AX#A+Hz;E82_c=nCg>{7q2gEv^~WT_EM;YW0Oc^g50NsOs0GnmbaV4iVht~{C|N&vb&ef z1M{$w!6P(sJs7LRE-6XwNmH5}a?P6J*JZ72ll1St*u^{#Rwb|Rm^4onw%0c-G}9sZ zw8UPxy^|cW*9w+Ob9t)&Yr*4#1-sJyVF|_12r+4?M;Kjk^*ObX{>-x6(2{N0uarg8 zpllBB+rBc$w}k7=w*4;KPP|{O-t?)ES2Hxzs~9+E@HAnDUlJM~R-#t4BQGFG9%iUP z-F`v#<4e`&?o)fZx~gd0tQvTzDH415o7EQ{MVBa2oE7bfc@yur`r%rFo74-~kF`A= z4eMEAkG(An)zRFpkX*XMlF4WWXU_4kl}zoY_*Kv7l$G8R%?=6~MVqkj5KcV(Wj-$5 z6>Ug?rMEMJw_rY;ozRr(0nJ<$RI9)x`fbmZUuAu5>o!^M`|CocbB03}1trXWj`MwZ z7?z|*ojKFH9EsLrYk>Lms2CeQFqz?gIPihB&R$Ox(>H#-JiMUgnuSGoH^n5M1nK@A z)j@d&^81uQtY%fae)jvLBt$uK9gj_9J$y&e?WOCF97CzqRw=kx4YLf^OkffoR4s}Z zSQt$U2bz&iZ2nvl`jUl%(9Nrf+hyMeLi-;!+=XgVT@*jvzcV}6n7P$W_*`sK2X|YP5xoN6~u6RK82zQ$t{8s^ z(~W&P+oK(%6dypDH&b-eYlfC8??MXUwO_$}TbPEzt;%6Z4Itc~v6xE@=t!(cHKS4b?7qEb9i{Mn3hY9~xbsm6BI(&{9FVF)EZ{cXT?adaKM&QCRd( zvYL%s1i;(pSW<%1-B7dNVH*xQEQhS+5$$!C<3ke;eph<>8tlYL83CDxC9IFDt#~8& z<1q%-7IDUIPOn!(f0~&k7up3+5g964WFp-LD1GiczqI^NvBfShE}lEw>riiaom2LR z(tXX_T`R0FR6ID}+SPntV9t1&>{*ga7LRu^>^=)mwN^K?yXgcG2PJWSX_#K(>W!em zh0BxVJ+EHfyYoU-U+Dgvjis#r(L1_V3m?rf`pg~NOm}629XqVe9~)FU1A(3W^KCCO zJao|)%kO+xCE|9jUou#mQiN%dtvG5nnR16ogKiz1D5hmN!@6hQ*;OUs!}YpNt91$+}xx z;dR6A0`U(|hJHLG9HLI^N}Vo_i+wL9+th=+wnP8mhL(}T!+nj(PM?S-GEPmYMgO|W z8`#SZeV1lr?-hKwk?vh(^>l>NkWI|?WJhmKoF`4MSE#f3@R@OaDt5w;V9WhiP)RSw zn-<=2caOE^>(j-^;`oE&pigkRuvg=OCKH77pL|OzyA~z8uMvG?B0s7rRFvtzxFspn z5H)U61?}zsSod4!NjFBXd%sNM6T;6aFS1r%#zOzsK!ZrmmzmzM)Qls%u)77;pQyYv zzm4<6R3Mw2WBm|;4BI>7nI@H#ltP7}PUCB7N_c`f zjfx~6Ei6K>%zS3MUc2yS5cvJ02;MS&s$j;=*Y=)wMX$x?dBdvTN&KQTcVfDMBnp77 zGVoqW6J-9rTc~#I{zc+NwHBJ(xxBikWs>qe%FaC9uXkxz4KCL!?#wUN!4^&T9vy_X zQ!IZ7qjhL3=JC7#J1o(aT<~MU1^?(g<)7ti9CsakzGz-dex&er5F_R0=IX>z>{}r? z);ot6R*@t}A(faQ#>?#-xd^8Oxfv;Y$zg&{KVRFdkLim_A>Ntk_~t8@q`%ESH{eaZznc=C%GA-&pJuH6{y9aq*oHlFKz&uuki8Ohj?(VA060b)k(tJmg?{yHYU0oEVBxC5I55B$iG6vgNxKCPfqTy`jdV9h`Pu{wk{g z_uvm$mTu>I09bJCxG>L7YY&|;mdqMnYjUOdMoxfA!1Fhi;*qWQA8^ka+8aG7@{i?s zY2S}(VU2OS-}t~@x81a1bL;h3AnQqLqa$zB7<85Lf}({T>re|muHUXw5k?P#=*4*}6gRDvWsV<$>u#UA!6ISi|lN{M$^o6J0NTWzk z4`xm;{82HP{5+al28%aq^Fm{%3Nd4*IZf)e%o>LG1s*it8qYLj{93Ku{d}Q1kxeN* zsCx8ChHM7ScW)=rj(pBB`{L->&v{aHUr$fyx%j^}IXNj@xHYo0f>az}+STNG?emb2 zD-V@q5R$v*tn>|TwIS2>lc6Zy`h@4w=IXTqFV8FXA72FudF=hZX|79|JHkba@j~o) zc0DB-on5S&WRTaYonUR{(7OCMd%tA)bJw2Z2k66I$rp;Oc`XpfcwtB5b=%EyI%kb6 z!46vA8rZW@&P5gX5|(c@pCboItuOT2bM}UXr03jiPosCu$w+JsmyW#rAv?*~pN?NS zR5C-<#qV_}o8Q{ay&KUwU$PujrZ9eWs?LW4le3;51PFgp-7c$9l|Yuj9u;0I21(_( z%CXMRz;)S+%x znyNV|keX2M3r$~~n165TSib*~S|I%-E1B`NEuR3)Om_*%Xg^735tuLvq+NtcHFI8av`9x7XP zRlFl7g)aT5aV21CNshEY(U3&lX}KH8-JtN?vuIZ9N5Mr5r&DOvcgvfO-^IUR+==hc zDu2117X`Ll>HV@v_X?$lLd;}fuxe$$68o$&zKJt_?hMuyryQdXV!88k+(gb3IyBgK z{Sa~V>9X0l&-=Vqv8wIk_@aHw{L36tX`KQF96A9sAkpX+v}gC7GN;hAQAb$AWfiVU z|B-7h@UlbdXV9J?@8#6myyIqqJ0oPNj6DUPLjle`Vm(`@Uyu8iA{G6;FCns@i z7wXiv7e{_w_0Kn69a~*^vQ=Ge+Lq`$D@l_6iC%FpC0CvJv0@U6fr&oeuJv0(SxBj| zegc8eJdvIHcP~b+JNhO>4>9b0_Y@suzkU-GHlX;XdOvs=L~aclUTF$kY8#kpd;HB< z=)PxDPSUG8m&m^LuCCk1_{NP=IAlwQ{pis9+4N3oE~@l-W|g#9JE4|fJkn1fgv9pO za;@^EsAsC-tYs=uQ4R8-&vrs1GY z!0fO|OXa8d^RQWew7lQ43z7DLz1-K8x>CEli*&3`ByX1%X34U&r>tsUUNX-$>?==e zsNwZe&AIS>YWywUK3jDr5$g`C&_?^rM4nQC*@HOc65r{hLa>opm`N^W2Lqa^;^mM| z`^xuSyZKt8c=i5%StC#}#)ljsaNC!aQU`7!AF?}UIJDipUQ%|yc=SuHLh=NqC6nn)6|QO%^awgAr=Cy3)JzQA;7B z&~#7wKxgY-XVI0H2Cv>*K*peiobvFkf*%q4UY}%@x;(n#gl0T^d%EA?apqelshDYs zwo(M61&vvzXibed7OBbROUIHd@7u`}L<|rQu(&Y(5=RML*pYOOh%tDX&dHiDy#yg{wpb$_mZ2Ro%K2E#9h@C&O#?up=bzUs2qX z{5`XBy``!tZ4PqBG%Zo`$a7a&7fk0G@}sAEUcxh~-JTbIeP@2a$wcC}CuAo6fMP|R zZ#m5GHsziXUiQpa42iQOS={PL_2*r*pG1Vx^34Y?dp4pk>Ksx%`u)lA={q``e7E-K zHKe@N0Q}Qe&}V)9=J!I6cT zs})iegjQE88v6FRX9RvluHKg4^^jK;SkPAMt;eMPio&K% z!P*6a=qYiq$Uu-R1(3TG%+3dd!UsHb(Ab$kkP;9nA6V(x$8O6`diE2@Pzprl$4Ui( z#4ZEAL1)k(We^xP3@D?61D-KBWnipKFo+hr9t7gM0>o*;EeE6FFsw*02z>>P2EsD^ z*%%D?TwyV1g`z-kDBMCM5{m5(24(~YpDP3M0btoeKxlfP|8s?+SdLI&N-sh{*BDSp zz;Oz5+YkamF`!UD9s%4^7!r=93jM1T$W3sr6b!~1h5}QD{U0L(sbI11&YD61 z|EzOOA%LUM=~*cfamImX-~ToM*aQ^zb{Nnx7|1^GXCVrW7KLL|&Ib^D_w3XOuI zvA@F3Muh_TYH^z)AtX{zaW@`t0RwW+PMwvCiXw4IfkMLp zmJx|KD+OHb&h-rBR={E+{#wuZj-e1>tRYZ(9Sz3iTQC?H2d6&( z6Gg(X%~2p83=G)0KL!H|VWQ_Ii-ZCmX@As%0*4XsAH=~BK$3}b7|`K4O!Q1Nfx(#n zG0xen053z_4uR|yxEK-*J2wdOza9RsKPU=;{6A=Q=1=**F@W*Gfb${@g-Znp91g=7 z7z~7TI}@yD-{0I0U}z`~6#xv1#%&8mBXI=-P!Ea0B^LmqfcS2>gP?%)9DiT{`H^Ux zNdqfJoGFI0@9zl$i-W_?O&WccJNm2|=AVjS2wGGWr!jzm;W&E-1_Z)cn&`9d??Hfi zfS2QW40nP6q0xW#cSe6G;CYC%5&(nZ9#a5AfN?1Ug(1(88iGdR%0i$m;ClM!1OW=d z5Ez^e&&Y+#G=NS);&MM22CxlIhd@2ibCiL?0TKDc7;&{7phA3I&LPa~09& z7!EkFxX1I1fzSMg|JV{39M~va42HrP1E4<)5I8u@1qNJcagW#;2Dl#M4gx;6?=Tel zzs&VN{(zxifR`+8TYzUUxF8CSt5Co&l;}B90~lZn;B<&WoS!rbfvXIF{?O3B+hYDU z8&D`XuEqhw;Q(QA27$vNXF1W&zQ4B)s0YI}C%}LK0l}>Y~Sy{8X}6jO>j7H7XPdVa5dtbpaJUP${B!XkbndB+4=j|N<_g3AT1Fth5~BfVrQ<= zI2Z&7N_h@L{6p&hQW~HP1pW_IG5@jJ04ki5)nHKwpj*#%cwW$m0&@A>1OdzVpF#dR zhA0vW_+9@wX$)Wu{BJh@R79OQ>7RZ7?6D{kkm|S?;G2yr^+b_~b1GOANUn6QEfR?U zjyu&Kg8<<>r4vAO7&zc3{^#&#dKGs{2*A9?-7EwkU~y@IfCHP2+aDYVWO@z*z%vYB zihtIPfQ$YutNw){&+$8;c+MSC1YkOzn~W&*+#yAX0?zjTn#^BJi2$|>m)`;7?3{EE zMS;%|7a@A)X^%reQN+2;0*u#lR6v3e7!>ZnfI>O9`v60nqXH5Pxayx97=3PFBm{g; zl>x``zZCqJQU*W-?!F^|SPi(E0tt`-m(;+00gB6>NC*(P7H5J;AR@yblRl$AQWSwY zUlECWRsgki-X=n#5$7ogC=c8Tq5z%p?|nbpFeGq4!2B_rza|4%=(w{+qk*s$XHEXc ztSI2}b#4#@U{Rf`2Rn~}|7rV=QU;>{DS}ICK=a@lSwKA$?nU$rJ12qwVx5zR0EVM4 z0s5l=DT2$v0CrB7p&^KKngR`6fN^CX8VZPA94Y_`1=lbK#s!kW;VNY`5Nrci9Rce& zN5Zq~&iQ&ktPI?Nfy)H$mH+`f{#nT1N*RoX!p;c`06Qm;(13Y|OD!~@`Oi%T;8xrd zfkp$?>z@Bcb^fcAfyPiEw8$STIm2)T z5+DNrae-S80=Qh^Vt`G5u0I$Uw?7C5ut{+ZX$W9X;oge?42o+L0T=>^gMu?@7;v}2 z#o*^25g=eV`pmZeOaJ_>?EscW0KsK&Iz#~1gmV}I*J=Qs1fZfgqz16FfHXM$p`ib= zDlvb(WI=$#h^urUPy`b9fdatLxJEc&tDL)Tp502%Q30?Eadinq6a!crxO)c}8@NIR zc+&t_7-uC&C=AyQfB;0mwS@szMc`ig&e->_dS~?ioBU9KJ#bA@06V9Sp@5jd)#U&N z$2~c~Q|Mohrf2m3XAGz)4Dqky{@4CPVSv$$Lj?ds;&M80dqv`MFn|G9#y=?oFbr_> zIEMj|k#H~s8jwG@0|Q%(D_Wr_VA41;9l%iM>jBkpq$6--k+?_u4Ev9M0oMNyY0wbh zMHOd;XbAiqsR2cVtFVBE=Pu^}2FOC({?0b)U)UM_fv`*Gi~|6JpMRNzA?rdLy zdVui%SBHOL=Vb~Mkjj5rK4)!V0RQ7yJ^+Y3$4CJ01G!Vr#`_nw0A|45PvGeexM<<$z?25DIdla2YtTJQ-22f;<|f zAR~j8m4(Wn6_8Ll7)+8~;{RJkpB+e7;NWO%@91i8Zb1qN6ND&)l!r&*wj$~O1B_v~ A;s5{u diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index eb6fbff..34c34e8 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -113,13 +113,13 @@ We say that the system $G$,$P$ and $A$ achieves conditional eventual consensus, \begin{definition} \label{def:finality-gadget} Let $F$ be a protocol with a set of voters $V$, a constant fraction of which may be Byzantine. -We say that $F$ solves {\em blockchain Byzantine finality gadget problem} if for every block production protocol $P$ a voting rule $A$ such that the system $F,G,A$ achieves conditional eventual consensus, then we have the following +We say that $F$ solves {\em blockchain Byzantine finality gadget problem} if for every block production protocol $P$ a voting rule $A$ , then we have the following -A protocol for the blockchain Byzantine finality gadget problem has , each of whom has access to an oracle $A$ for the best chain given the last finalised block with the property that, as long as no new block is finalised, it achieves eventual consensus on some child of the last finalised block such that the following holds: +%A protocol for the blockchain Byzantine finality gadget problem has , each of whom has access to an oracle $A$ for the best chain given the last finalised block with the property that, as long as no new block is finalised, it achieves eventual consensus on some child of the last finalised block such that the following holds: \begin{itemize} \item{\bf Safety:} All honest voters finalise the same block at each block number. -\item{\bf Liveness:} All honest voters keep finalising blocks. +\item{\bf Liveness:} If the system $F,G,A$ achieves conditional eventual consensus, then all honest voters keep finalising blocks. \item{\bf Validity:} If an honest voter finalises a block $B$ then that block was seen in the best chain observed by some honest voter containing some previously finalised ancestor of $B$, \end{itemize} @@ -249,8 +249,11 @@ Note that we can easily update $g(S)$ to $g(S \cup \{v\})$, by checking if any c 3 tells us that even if participants see different subsets of the votes cast in a given voting round, this rule may give them different blocks but all such blocks are in the same chain under this assumption. -We say that it is {\em impossible} for a set $S$ to have a supermajority for $B$ if $2f+1$ voters either vote for a block $\not \geq B$ or equivocate in $S$. Otherwise it is {\em possible} for $S$ to have a supermajority for $B$. -Note that if $S$ is tolerant, it is possible for $S$ to have a supermajority for $B$ if and only if there is a tolerant $T \supseteq S$ that has a supermajority for $B$. +Next, we define a notion of possibility to have a supermajority which needs t have that if the set of all votes in a vote $T$ is tolerant and some participant observes a subset $S \subseteq T$ that has a supermajority for a block $B$ then all partici[ants who see some other subset $S' \subseteq T$ still see that it is possible for $S$ to have a supermajority for $B$. We need a definition that extends to intolerant sets. + +We say that it is {\em impossible} for a set $S$ to have a supermajority for $B$ if at least $(n+f+1)/2$ voters either vote for a block $\not \geq B$ or equivocate in $S$. Otherwise it is {\em possible} for $S$ to have a supermajority for $B$. + +Note that if $S$ is tolerant, it is possible for $S$ to have a supermajority for $B$ if and only if there is a tolerant $T \supseteq S$ that has a supermajority for $B$, which can be constructed by adding a vote from $B$ for all voters without votes in $S$ and enough voters who already have votes in $S$ to bring the number of equivocations up to $f$. We say that it is {\em impossible} for any child of $B$ to have a supermajority in $S$ if $S$ has votes from at least $2f+1$ voters and it is impossible for $S$ to have a supermajority for each child of $B$ appearing on the chain of any vote in $S$. Again, provided $S$ is tolerant, this holds if and only if for any possible child of $B$, there is no tolerant $T \subseteq S$ that has a supermajority for that child. @@ -274,7 +277,7 @@ In addition to a set of voters for each of the two votes in a round, we assume t We let $V_{r,v}$ and $C_{r,v}$ be the sets of prevotes and precommits respectively received by $v$ from round $r$ at the current time. -We define $E_{r,v}$ to be $v$'s estimate of what might have been finalised in round $r$ given by the last block in the chain with head $g(V_{r,v})$ for which it is possible for $C_{r,r}$ to have a supermajority. +We define $E_{r,v}$ to be $v$'s estimate of what might have been finalised in round $r$ given by the last block in the chain with head $g(V_{r,v})$ for which it is possible for $C_{r,r}$ to have a supermajority. Next we define a condition which will allow us to dafely conclude that $E_{r,v} \geq B$ for all $B$ that might be finalised in round $r$: If either $E_{r,v} < g(V_{r,v})$ or it is impossible for $C_{r,v}$ to have a supermajority for any children of $g(V_{r,v})$, then we say that {\em $v$ sees that round $r$ is completable}. $E_{0,v}$ is the genesis block, assuming we start at $r=1$. We have a time bound $T$ that we hope suffices to send messages and gossip them to everyone. @@ -303,6 +306,7 @@ and then broadcasts a precommit for $g(V_{r,v})$ {\em( (iii) is optional, we can }} +Nite that $C_{r,v}$ and $V_{r,v}$ may change with time and also that $E_{r-1,v}$, which is a function of $V_{r-1,v}$ and $C_{r-1,v}$, can also change with time if $v$ sees more votes from the previous round. \subsection{Finalisation}