From 54b170f26af2fb6bf6150f003918ac5992314293 Mon Sep 17 00:00:00 2001 From: couchot Date: Tue, 18 Aug 2015 08:05:39 +0200 Subject: [PATCH] =?utf8?q?ajout=20d'unesynth=C3=A8se?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- 14Secrypt.tex | 14 +- ...e-navette-autorisation-inscription-hdr.doc | Bin 87552 -> 85504 bytes demandeInscription/synthese.tex | 177 +++++++++++++++++- 3 files changed, 178 insertions(+), 13 deletions(-) diff --git a/14Secrypt.tex b/14Secrypt.tex index e160bc3..a60e4ff 100644 --- a/14Secrypt.tex +++ b/14Secrypt.tex @@ -13,13 +13,13 @@ graphe d'itérations, ce qui revient à supprimer en chaque n{\oe}ud de ce graph arête sortante et une arête entrante. -This aim of this section is to show -that finding DSSC matrices from a hypercube -is a typical finite domain satisfaction -problem, classically denoted as -Constraint Logic Programming on Finite Domains (CLPFD). -This part is addressed in the first section. Next, we analyse the first -results to provide a generation of DSSC matrices with small mixing times. +% This aim of this section is to show +% that finding DSSC matrices from a hypercube +% is a typical finite domain satisfaction +% problem, classically denoted as +% Constraint Logic Programming on Finite Domains (CLPFD). +% This part is addressed in the first section. Next, we analyse the first +% results to provide a generation of DSSC matrices with small mixing times. \section{Programmation logique par contraintes sur des domaines finis} Tout d'abord, soit ${\mathsf{N}}$ le nombre d'éléments. diff --git a/demandeInscription/fiche-navette-autorisation-inscription-hdr.doc b/demandeInscription/fiche-navette-autorisation-inscription-hdr.doc index 8f6cac9abfc513f78b6fc9046bb337744e08dd92..16da0fbd9b415e1b58d10cd953e508d0126a5439 100644 GIT binary patch delta 26975 zcmceeby!v1*624SAQBSNT@uoWbV!#H(jna-(z$s_L3&B2q=X>dARyh1ba!`i*Y@?C z<9nX(`|IB4F8!@J=a^&Wnq#cF_FfyGLL{GLq)0Y6poErl1{NPs1BeJW zz!u_BWD_q4%qxVC}bX=r7 zQbF#>kM0j4RA7~;5Owh13y31b31S0bhqy!7Kq&;wgXzG*{m(k=f9O2^UvxPB(4qWO z2l_{2oPQ{>|Ectc4%Z(#qW_By_a8b+|BKG^-#QAgks16iN<4p5WdFbDy!fTV@oR?u z0uEo}0Isho;G%xT3c=WCpzk#`TnU)wglqmKeW64FH}orJ4aOFMFePfZL!d;76CMs8 zSX1JHe+&-@CKY_RXkbEx6_ept2?#_S)Q*DB0Ps|q;1~f>)t7MAK$z+&Fo8q_biQE* zQ@3vC4j$fUDnFR6y4VZ>U^vdpe14bZH>>3UMzjSSX z>&pLaJ%8x7j$f<6bl<;`Qr7yVJNNMKdTal-kiT`Ipb9)9^?m>`OxX-CT2lL$GBwiQ z%JG6Q`JbKWqB8pqlXy~VBL7|S)^FW9F_`>MT_$qwb(n;m*`DBUU3GAtVS~$-hRGoi z&?)?DbePgeyf6`+u*uuMm7k&ht$d>hlmA(<%$v^LUm`9E<-a>T30?|V#S9w1X>BO!fk{3);Nh(hDx3U{}ePPP*wlMjhy22$U zfiMXj${W1DJKXU5a(DnWT1@aS{DCzsYNF@hQo@3u9Du>E>knHCm=J`6PUJFb?MHBc zoh}N%qZ1Ec>Y)G=U|0->F1qo+D}59IUoRfm2g52bjChLzsO!fAtOh8+IT#LrVcgqz zz|IgXZvd7z0?Qj10&Yf+;Lw3Uqk?C!X~Tv*{M9mS%&_JiAZQ1SVDv9I*edsfjSSKR zhXug`yTfX##u@G^M>yfJwS$bez62?p`QKlB?w^ZSoJTC^!4+@omI zw_vY;NK;C55%{=nFNjwAa$n3AW4R4{C(sg z0&s{=KsROL%=^$7`EQ{yGBAWhg+v0H1upPdhKZI9jM0F3s$eMoyCf`NA%s9+t|1o z=&*(bz$q{UT}L+nm*9cNiVuO1fd#h-AQ13BBpqDUp1*Psz^Y(N{9gw;n0^H2IFwzv zU7(aP`mrIG&4p0I0ayu{0EG-802c}X$)VfPE1SA?H z2P7Y)5M&8t4FnNf1t=g7LB3!?pue1a5tz6DxdA~0y$mx58;BT)Bna##AP=Gl0=r#Y zT|iC`PY<_NFHZlCEL=cf>FJBpQ&95jfCc@KelQ7(b=LIvgDJ>qd3pKo{0p!nFX3eg zfSD+2z&?T=sEi1Q~V$K9TC@#no5CRY)5E2ko5H%1D5G@ec{ZtPm79<`d5hNKT z6~_R);9z7DWC~;kWDaBjWC;Xzn?8e_fd96Bofm$c$A6uBf1O)?ovVMHi+-K6ew`D4 zoxxcH8UR6{5qJQH43q#kfLN3sD{Nk|f6Xh*6+A?N1LJBaa00N_NI=LyC_rdHz}CS9 zU;1l>VvEtAIu<*Z+ z)PKjo$fy6?#6M~a__MbErdSpPf4Tbp?G~nSKp< zCj}eU9qLE0>i^{#jKR1m$a@e+kbICrEPyVN0kB9Uf>VMG>#@|Im4X-lDbSn70kkA4 z{2pj`@)i_=0^3Bw{L2*x%)dMUEs+HT=3m4?{^egz{;X~5&jjpY@!!Wk5}p4RgOPva z{7!%?7IyqI>-X>#0G%{jCI~9bxygdS930Grz}yAQHNd<8%;I6z4YOn&fFXV9_t3CD zAK<~PI28nDoK#>#F!KQKav3~;;3sqdJt60pk@&cB0|S{);gF)Uoa}&YH##0_ zit-OB8eipeRVv18tqi40997E(s3_M%^i+P+_HcA!52MU?-d$aDNeMM&P>(%l9vrwy z(ExNMm&i0+ALU1({m=Rl9tWEJg%Q8OnUp~`6!}!WqOuNMr#l1pd#Jf8&1z1j_?CQe7A=(u6+#9_|AeXXY4d2ZvHYh9s9>&oVC#QXAc)*?-p z^SG|~+GO3uTfZ~y?iDJfKb9EE@6!!2Yi|jlQoi_p=Hg2zo zAkl#-xH|sv`~%pWl0&&b>F+fliy(^CvEDyI5Jp6M5k}rDCKGZZ_WqJh>#2EmK){)h z$U|DSCA3L7BI0IsEGnwX*yln%8)yXmnl9(I)S7G*)lA2Jlx6oR(>?dk#}xbFe5gNY zw8ks97qI&fT?*qZqQ*FeVhdM0f#iHu4YUE>C(c3-Xw!Im{xjc{Wd1MB zUVy;%=q%x@+tWtOg4xzd+zJbF3d-@M<7I=!6+h}@k|O$JiR?L*Bc%m5;r8_E^S?e+ z6EwBE(frWhIIu~^wn9gpM?KVWX4_*64))kFI$Du5>f&pE)c*W>k06%-@9^!w0=n~| zuT;IQW**e(2T=T!cp+qf0wp~R2rF>^e)-)XUVT_k-CZ*?j>}ys^O~q3edw6z_Qlay zK2xpo$iunq&q8UNo7IYC5S8jWUZsncNYCu2K0B1PgJt6%`Y^j~ow?oN-fdO4_>5 zxk#xjCQaCc?uTOsO(qYDpX6sE##;=f>M|a>nanIO^nTT77G9mv*XBFP$h!S#l_x7;-CiEq*zkcXK*$5=SX)s`ApiH}EDN z{gR#d$msb>hjnMf&q(qzFz4SHNyRP?R<03uQs5>c`dNeiy4NTFAS;*vuLWLZ^)1j&`^CNeSM?l8nM{fX{WjRa7$inGl{B{VY6W$ zAT?r-`itV|OE1-KX%Q~%{glN$ls072LVdWTEslc}V5veFIPs{p_vXH-;rJ~HuSo6W z@XGme&H8=yy~qCjJ^8>nbbWEim;HIfth#Blh8Y0e-4YE&(&QLlK1FQ|)%?bRk2e07 z#RM76Du3<4Dx+Q@@#t3^=1B{^F8;T-Zkx?$`~4#=)4nxFPRM%9q>ax;&j`QEQH+pZ zKVe-)?>IX$?VTIc=dsgXcDJ)LRchL6yDre*w|MVK3^+;U=vOVa^|Lugex4+%?6E#= zoBO5UenQTT#OUs2P@pB53N{4)7E>4%>KOj=+3!;1FfC!IGdbRuU@*mO;#Vjqx+}RTz_2EHaK{s z`&Rkzky0*ZC%>xa#N|>R56hMG|pbrUqheNOS|`GkBGgW3XND=)hch?qtTua zzpH}{n{#aHl@Pe_z@7Hr$Hnr~!pHOB{EiIXL{S+P1K=HyEG+Qpl7^=IePdRy-L3;1 z#78QV?r2&`_1n+1FO@KrJDL-w_A==*I z`}(r4qFeDUcrP^N!n5*A^=z*OH`VS7Z=j~0bS5mu7^=8*i%DzwLGMF%%H%Bjq2D`E z=aBt8EORYGGOPK4+3;0bdF+4?Oo#j(zDKF6BTVm(Yd`nfPGGX6#JN`>Y`am}Td(yk zIa7}pK?x>vDpydVzU-?|Dl0pqZWD6+)bz-wQ9Vj|1OH6E!L(I?!!QUnWGQH;Ob2UT zBdyPRMsKe(q$%;0YDck2dw36^M@EE$)97@FEgDOWwcDW8RvTb@?l3BST(8nie`cOW z(Bvp{!DzCWdf%fD2Vqke;GJC~3p+5+ZFCTCg65`63f%nkR*vZw->TZEvk~f7RhO>4 zTv>s}{=jg;DL8iBkyorcS6f$XndKTbnIHFTi~2xFBb&7OT5&~yiQmK@PpPKSa^>#m zEj?3ym!&E5ZIpndO^274qpU}U<;d~6MWeOZ-K!3sN0B=9)fvK39Lxo4HI=%@&OvuN zYS7Xx^7X9s`>iK#LVd-6@>35tZG#q(YfB4J$?WbPi;Sx^Qz6bh9H&KN4Hv2!i>jNU zLH2`d1flVpgts$p1m2zIBDUJp#w&dT30DxzO2QN~#d<*>|Fv8fAX>0*wB zJ-f+KxYvpmGJ>F*+-#BDzu!1J!w=>fnumTWc<7S%q5iqfz(ZSCLvTm0rlZQoUe#?R zn!~@(C@$(v|6G65a8U^$wVZ*<$c#6r>uH~Ra*y%K3&#r0^%K~ii)-Q5r&%`I<-8=5 z)NN7RCGYZ6%9-B>)YyA|Ca(PK3vF93%IbM{&BGDiusTT5dV2BLOAU_(vmy@%dI$~e z8qi)Sx`!`Oq!HCD%T9L=*f;KLSYF0dw%$(Oy0>Uz>H1o(D72X@UkG0Quue;>b zvM!_cgBz52`b${5Fb)g0U(hv($1Oq`(Nh>y!gV4?qj+y`R%vFD!991_0w6dL7SL!z z5JPVMy3MTRmS^^$!aY4dIc}HmViF5?6b1k9JJksU%ng9RrVtnF0$3t3jI%_KJOtJVBA~&KGnIdeJylCHU1=nRp%%%IA|`%x;uC z<=L#j$YNOCH%#?D?TOy?a}A7m1(--YqA9VwPS~1as=KRFe*#HGywSaqIL=>TqRdP!^e zkDyppxcd^h(@>*V>bMnMjX6({eYuJP#S`j_sYOrIE_I-RDkw?^RIj2cp=t|wD0~ql zzkFIu4-v4x^OoDSK9)5xO}CE_Ini9x&F>EDEA}|cYYeFmXwM&cSn3#7O|nc$ZIVf- zI6P{~XMJ{j(B4styA1uTcGM^_@(4e8RJP*KjOOHRpm6N8Vd7#IvCQeh2k;YPiDe2V!`sGLCqxm&%AQFrwmW)qWUGH>K-6D}tQ>?AO50F9_OlE$Z7>Oaep z6*xU5FV2@5KAG~Z1UX~y=3VQCsOqn#Frqn^<|G#8wC5LfPSruFBUB}F2=xkcW}0@n zQzDNaxkNNXzZeV|m55laG#8djaBGQQtm1Zb?89%D8ZhceLyxoV;l>MSQo4s6Ah*x& z7b`wXCdDn~qf;)u%IwVUS@vCvS|TZ48X~G#KZ^c#o=MAO7RWkHcvwWiPd)PbW|66| zb&|J1Q^uJi_~9J%<$LGgk5U>}TKbO_+9$%t%q|E%g-hLI#Tt3EPNGsn&`YJ9=LN9rXKkFAu%sN81>Ir}yyr^zr4ejV&>_S@`pN9e`|=0=kI^ z)&zTI)<&0CQO9kx`B2&76NTQjCQXl+!V{lE?FSkMRQr!epU8O# zjJS>Mm8f2182JSYSBt06CH+N9M9PQz$-<{|{vBRL47s`mxtG`OPq+HC#u#PFx3L#< zamgn$$Netzw|g}@!*e=#l*XL)P$NODFIislFQpR`v2<^y5XDq!Y*8si{ZH>cikJTs za0%=vt27p4S$w(UQ~x37W$WIPe8V@!7+1~aTMK0=)@j79Mh+^2b88Ok?bz7g&+*9$ z@NPRbGO%yVcU~Q&#jRY++|Z-0XEHAhH1UV=Je%K}c>m;k6;kh!xp3S0DWb6!%6=Kq z+{*%G``eOnU)F2oU0XD1F|?N+aisiH_&YNPICXxHq9s>sq~<(jibB%dQnDbHcQ}v_ z$Qby(KG#2XwQuS>$o2IfRtnV^00o%ZemX74SoqRiFHRS6S_I_Swa9sanl(zGVGS8d z>2bSL^D;Pu-^K8&^2<)Xin?baFZ_U1Gz*$_F_TWYg#l83okbmK&d&~%eFjzJ%)vny zZV|$ILfXi>8!KBB$@e5~i5~5#_pZeVE(g>rGKWxB5u}H>PhY1mL@jSYa8g{XYsQOj z)e&CYH%lune}jsg1YUFsBDvRHOZ&~YD%?IQ zy(DlNx|4RjJMPhcAGUefdQP>t-ype7?pEvlz=Hks!xch*A=fe2|)g+-3(cCek;GeM_q$szL*N^s%ekg^km`BNU-e zCJxP&Q{kVugY}^m5_QHsKf^vlo3@eV1GhW=n<+vvYEK8AKrU)FL+gefbhN8Re0dyTC~MujLhp--k&_ao6?KZ zkxz^n3QkOqXPZ4t-xlg% zA%AjOiM?&F($idaT1|R0u7KZBi0HAcOD}M&X0u+D&63{4D?Dm%NpC`${*>{y{8ILA zyZZcQMvi!!NlNEzEJklXcN(O76#4)_^E0!-MAtiT;U0#n9#~j{&Bo zrqoQY{<9?? z(Bb|09{5%DB&0f5=$`#ls`ohU~@ z=%Y*fYT0=Rv$1wG0E-wGplB z=L=c6J*;U%;#zkAa|a7FS~sGr*lxi7P{8WU4(GGf3;wGIgZB?ikz@iiMU@TIB30w@ zXz>0YBzcdwqdAgM*oV=*cT=Z6Mw%DcL{$euqx9ow=wqFn$kevC63v@X40NMii>izI zmkGzmewx*ZVV_U$U^)ysskmEt3Pqg1Ol65!;;X5kj5WI9w#KFWX3?$bPU?t8_;`8|;{@zbGEv+DMShp3l2k4SIxRc)vnL{e%V&7B4M z!sqCLpGOwQ6rlQP=eqi!1;UZzX!X?UwO#G#+LF+vUjp?qhjW7v%|bEGwmNBn13fh( z$2@b>XEH7$v-cm$N=ga?R_Ert{(6KGza=p$rS33jGE#DQeHt)PZtUvm9Ga`Co%hr- z_{^n8wMhSb=sB?UEj*wtA?AmTPC8m1R6Y%}uzyI!cgF}WXJwWtS%^U7+K9NG&+)N? z7p4~rqV*RcvSk}XZk00CP0FI(saj=0>hs{e#wgK3EqgYfNXGO)I?r{4?^E?#E_2lNT=O`D?}~Elq0FBeVf7KIL~Z_a2XlD z=T1rAL~}v-d1N2R-_H>685v~hd*o=fO}_gD`5=VZVy6q$D3CFX!P+Jj|FFi**!y+& zevB2uvnGg({r5yZ5&_Z;_Ckjv1ZWx%5S#qksdle$Cfc591XKRq=lMP5M4T&u%`TaR zKubBrc2DQkh(1vW-8Q=o-*EEadN3`0&{l$XY7~>{#auz>7QAHR?NsCBcVAxt6WeCr zOD3%Wx-(CL451D_dRo2%XRmFwMSgB*6|&`o*QMoS1uroBSA$nQ9@JBpiYUB& ztGbBtqpVf5OATf=zUY z)s;K>&dX^v#8A#p^u6$d2c-zM_B+K8U4Zs0$o3xM|Dy-p!7FiXhFm>L`^b6L%O5XhRuJ=&@orzpkt?pxW0 z``Ws;8Oyx=#Vz66T6@ibwsr<`M=k{5xZwHQsqXgTmJKAPa_gz~lOHFyqSWg|1w4-L zzA-d8%UMQyjvtjJtwRdzPd-sxZ>V@r@$|JB>_MJ|H{y@x+7z;{GOR#JJkF(Uu2V{r zQ|~{V&=Iv2pr@FoEF&*T#* zDeV0Y*oHR+4czb&bi5)AdGje8D=L7EOOoW`OUOsQUcOw#$4*3Lk?AkHzRPn_P*G+1 zW@6B#bC8d07}C5zU{6rOA#w1tX=IT6L4V4-i-`1Cc0R&xes{MGqiC3=AgOLW&a;bm z{&LU7eg8h$!}fD7-eWPf==D#Z(Ve0Bn4Umnww}L#e>^{c_1HpF_5-R^}0F{(w{&Grla?WDXXZQ+hZIxa!snJocI?uS%Htnq)I^Oi$c-BX?hR;uy?1kx@hMH!~61P^SP$IDsG`-x} z)k)?QU zmOZqn7rSUf3-+9(X$9+sHC~j_O(m@U5#D5HA7`PVO$sI>Hl(-TOtiu|pgIl8rxt+dy9cir(}heHBkk4f=`nX$$^997 zaKhkwdqI13`ny5ZvO`(Htbty{S+~k=;!Sr&z1;fdNPc%Nf?@(VI@=meB3iiZ%p!c9 zoJw&dsU+2DB83HFO`0dyAKDCugDwk3cOZ6F4wnTD-o@yy?5(&HF4EV&mt<;2(D7dA zaZLR5E9t8FS&}`397#u(qVXS(4uZ~P&#;mQIEPs`EIGdmRk%wMO*85CTG$q^>`L1N z@}lB>?XIsb)xOJEkP5l7Z%UeRt#QDuc{XLs5UDAI)n8M(*X2Tk#%r4bK&C1#yQx5~6uYd4?r z7gY*UpFXMh$ZPZD^dnzwmfv@V5Q-%ylXJ0eP8sxH)$oUSR5N?oeHFAaWHArh>zZwF zaC7#mEG+ZJ8w}xH>F*^C#L3z6z7gHat?SG~k~R7F6A`@V*6cK12(x==i-lI4hC+{( zaw{S)7a0ecN@h5Rzb4oB=c*AzDU)({@|UsgUKi4^-G=kFqS@||tRp;G(<}LwPu&m2 zsw>=4A>0m8F5T7!8^hMmykvfgRi67U+WYmLYr!by#Q1aKM+yRNEH;QDX6jj8<_6?G zL)^_6z=#!_dG)J9Kkh^HxuLedH{F> z;{MjeE&bEM$jL%ztX7?6+hFG+EYO|zxVJt_R`)q3zSPNtg|!lUfI^3Q>8pCzfR9is zD*?5viOQ|hD}S5_R?`MMeZ*R++EgGr_xLs7w0mJ*FR}bRvG&}cHP9aVbTfQ9r(R~{ zyK6<)L%Ti(b(<9Hrf2LroZqL1XoE$CRJZjQnv68+1gL3winl(Bf8%nw+$W|et3H}G zy!@KjT5X=Xg@|2UzpbC4*@{B2*yl0~!us=g|B_sMa(|sZ z+&SllzTU5c7IsIW1z(!`^IcS+dw>FZ412W=b|0BVeT}OQ|6qY^>2dJm*SJfyzQ_cW zR9Xe*mYL~8&x*0wYZJqyOn5@XA3YTPk)Do-Ck1EMhHxl`TJYrqz9khS3cREa-ins! z2a?wBGn|5U^K8hZ-$Mw*TkiD73O1K@XH|~XUGPSi*&mhp=T*gZur<86X4-`knEv&+ zRpV9s^C$z?NB6v~@ob4-^*?4IGdp@YS-xZ84eXftOmBhQi(IZTB34(n&U+j$cHKwDf>y?evRGN1kd9F8de=FN+MK5FlSD_Oo%D0I$uHjecI02J zWrT&tdQ)OWv>x)C4+OBiaoSZIlH7OLI&yT;(|^?}eJ+DypcgenG;AGU{!&)kf~1^M zd{B0|UN&h-jVQN4_tj;Ae+-?z*)_WQgj=teD_? ziZ7t)w}XXDjN9MY60>8tt$3jp9c&|ETj!@IR>oH2cuvOU+t07<$8GdPrWHoNGUXQ+ z=vVzLHkq(_Ft~9r{pRlVa`}@P9?7cIQmNzj1K(1Q40n0^+`ARlQ*8xT+rm1$M%*wV zgB+1&kU>3)0q{{#Bo$7?W9aNi{(E$az2;+RQq|66NeX#o*ucD_@$rK%+`=IPH?6XGMYlQ>s-qrzUjDKR$sp>TGY zJ)VXKxl!6U4t>y0Pi)80jv#sNUa*iwPx(G7v3J&M-ez=z+bY)f{LBD}p*&GUA@K4B z`eJg_czY?>Szq!&9Y*X*N`c|nOeIyt%(i0@>cCp=L6?jhQoGT3G1<82)k&%JSKAqb zsOS^>uq(??61xqvX5BxxnFIm~2b=jXjhM;`3_dp4tqznBch8fk#(!I`6uF{two_KB z=%Q&XAOvCv)SeYzc!(2?^!2Zi(%F1Wf{MS{btw8CPv|H(N}FB%WxY@k?V6*Fumc|3 zf!~EBwcJ)Us`>|;8UQT5zx&)hR;!ITKVi11rMYLYCorH^s@5)TS>8ttLnVtgm_ zd56G@A$KLWzUYE6U;ko`?5w7*#WZ8birJQ(6UgDbF6#NvpYIw~UHL;B?MnS$NW`>z zpRiEI>~&={r+DO&YMm4=HCaU%e}HmU>3*g4dnO!bhCFOZeIEBCf`>ATPeR_hP%w+I zai%0Td;EFoqx1H{M%C<2!E}lr>|FGhX=-s+KLRW97|(X{_zT&R_!F48jX$)>ODLKb zKm#D@Dsg69PKB|#X{na7qlxp5HNK;2Yv-pm#Jm~QN_ZpGqL?cxy>s-w4!O{RU=<$x zO0JMbVy&9_ejNiQ+TjN_F)^3wTyD=*q6&J-ruWp8sccJIKXU&lSj zMduR9Y@412x4^DJWc60ssv~?9$b%~Z;uD+pTZo64@l@-Hk9 zBphP0&Jp#Y4i1ZwXwMS~`PFP%?3S~0`M!f}OoQQrQLW3&r?&nV^D#6v5xEJtm#SmA z06?>wBu-hvW&bQZiHS1AyOFT@C4X5<`GstSS43Wj)OL*#H!tBHG%SILRr=2KsnW!b zY;laxi-RP$*w+f~jwwf6&T8WTVO&K`!ls7>%BtdP7`g`x zx-*(i_ZU3t!$t)gq1+qaLTJ&bM|%0E0C*IP}&7l|gn+SWmJoRu|knK1`D@KyXVq{YLVSL}_ z+;Z017+$2;T6Zr0>Lj({$Uot$T-J74fw9|6iLt*8TfzgLHK-&l@lsQpU60!J-AL-J zZnKRxzOlH(2Lq1Jlm!Bpi_|tcPY%79>-bPudYjW?A?1w|$LB<>_eW0kuZ1$^Nld&E z^W=Pdj1Am7g+J6*idJyM{s^GOHhKK@cq0C&x`fVOmD@#arbH`icR%3~q`Z0pFf%LY z!Yb=x1v^C_^_%qW7Sz^8OtnucDw;+gjb`j_n9}WkjZUHmp?N? zd|%l6#QbDvS?L;c{ARsy5k35jyq)3`F=0lr2uaXiUeZQ}%Jh=xy z&TK+HdIXt5TOov$<9BjG%vt|)^LiT}{HXQhbK9p_)DgNVV%~{j`mwMl4zrbcw%5@5 zGVjl@{SNGv&Od)o1MDu8~8Z>gUly?eWXL-UQ0G}5$h}?5`#MXNmWxB`(7!bXi}^W z>DP!eT6d;>lx82PKD!G?t$oQ74L7KsH5nxq=)h+GT(qyVgqC59xj2WZ!;!uXf!&5a zdMU?tx|{H``_^G1|Ac9THa|5`x?E&jU%DKde8&Bv10Bmj=i{f^ts23x?8>WT^(2PV z(RGv2p%+!k5pSSrp8~gxR*58m_hX-W3yNN*Jl0YPb10$<=c=TIhAU4g%Azpz=k!)^ zf5961aW0yr@1dxTQ?cGN#gLbChhr2f6u4TgjFL`%;^#fMzdv4F%J*e-e=@s$vr0J= zLE2ugTc<8~JT`N_GJo4-w_4RU0i5ppDj(R7HVBY6=)f0%eC+?7`v0GRf_?Z;t3g{X z(^3gk;&)POSu@-IgYlN+{XNy@zORi=_bXj!Y5hNaBKkEIvvjvQV@=a~Sgi$4EO+)Nzm1=8=-Tlf*t? zv_5>>OUl0AnOhRlEHZsp1=ok@(?rbfb}~Zx7eU;X#jzCGY?`^L=n8#VNHZ3wV8B)8 z-;Qi+%44_gwOLi73LQEwkZ|qz;ihrN!Jt0wG!#|)WomPb<-NDoJ3}Sik9s3IT5i^Q z(-TudOzpx)GH{lA4MwU65~9jEBs|15P%ZMLs`J)$3BkO8skWkbS+vDSxT)W0Q4?IO zRq$y8!kRz%qzJ12g^Z+cZfCT<&OSM3<2;CUy+lusi2Fv*!vu=Y>pbsRVHS6%x2zk7 zbRl7*tMD-`%KdRzuD>wJNbdg8szc>74e3K1nZCj=j%cGt?Xd>-tojp#SVW`Qfi&Bm zIysYu8|_i(ue)pXk+KE$bR^z4*MG@f)nrjdDMx1R;?tKNnlF|UaoV|lUUYZ0VI8eF zCFd-p_F}l-vqutoAK>5}l|ybkE@o7?IGjuX4K>k-iGt2~2a&8*76qER*Yq8n-tOgE zcoj}Daa5KSJxxEz3PWwZ@?O3@ju2K%X>4`DrmfF)7+Welj(X*9ofW?qG_TYlILjW> zlWaLzxcIQ>Hu}Ub>QzYjvfd4aj>ym(Y%A2Tb9&>?u_GN&t;~*+CPP_i#*a^X6UAlp ztg82ZGTdt_MKFbie_%P~Pp~x@Ub`}NDl?h2{A8>@YE)AaEETHndgVkqy0>-pS1@nF z__B+lUHJRxdmVR{h8&CY>KHGMHoFs7Yqbo5&!$};wIaRpI-H;@3`7aMMcN0m-Oseu zZv?cXJpL+QfwoiS_*f3PhQ4SHBJ^*G4@-=UQ(YX#>T)I8rt&kN%=v!d%28}O|F$D> z!`2upc73~7rX8~M<$#GbYS*}U?J3iuetay}&*18WupO^tW~Bvz0VKINmup+gZ`wSU z(`A8AqkYp%3uoS-?l|P27!A}+*c)&i?k)(=J(uF9m4P11c!`9R*X5;9Ss@=r-7Z}Z zWfI9S=%wv$8t87};R`$&E`2bc(m!*^eK_Anwewa`?S@PBlfGl#hb?1H#WPPq!e)BC z(a)wMSqO7>ZkkOusmzV{#GKShp+iFg9a>MKrJ6$6E0bL4ZGE}h+g2+&7-PPjH*i(y zlDh4=<*Y$VJ_uEvBgUEx)IHnN?NB^3WFmAP*1St#NMUdL_^d_ut7NynEnRyRx^&Iv z2)q%y=G*<-eX8pT`elm&r#zJH5}kD)GW(WTI2rxD{k#nM(Ds!3Ec<*9VEN0t-cZD5H3&6b-_(=3*Snh+AF2$$GXGqNVy zuT^q&UDl|u>86iJQ}J16eUpu=v+)%AQClfsgvnX$t!_Ta`ol2A{ydm9KVJjzx8AV7 z&H6|ftny2%Llfcg0ZSphb;KZ7?ptBh?sP|`>q#`V5e^( zl~U+5bh3|G=4@iWB$w*y;!fq$!e8DKQR}_M+q{gWF3}GFqf04Cr|+X4dz}JEcsNc$ z*xp!AY%x@;xgCq-TA$NJ@fCSAR{Al-3XT9kAzVdJS_4;q^5np1B%bCgxfhGZA?#_% zjggC64N$cEcHACLMpc>=-!s$&%e4WtrILkS=!mk;ZNZ=qszQJN8O29**_bmntL)C7 z3RBizI@l|GYEjU(-Q;)L=aR;{KTy$wQoEET76pQRPoG{E^l8LQr^wjm+EEP1Vf2hd z-%LfCAuH?48p$#mn$oN*n9YVe=7m|L;x3=bk+*wzX@*FwR?s5~Mru)dESkL9!#<)Z zhiW8GdoDK23M!O{F|aa`#bDSCk{!P)qhk-YFJNZB60a9tG}a5boO0N#(((9?&1}nl zzbC^ZSNd?6SwFB1skofK8~1|c)z(T?6J@Ephw&q79X{ReqL1rZ>afCT@9Na&$ zZXAy^o_6FXmnA!1hHC4oDIZw~%x@z;(S=UbSlVVuFY{y1WUbb>26=myd-1j_r+hTg z6}9Br!8Z(Wo+)@fzS23xbT^uwNR-%>n6=CIGJ~4cwGE@?Ia8YDAFZ>8zg4}2F+8|4cDYsYoi5GZf7Fk)ddy2^IyPVU~A<@E}Cs?`)cg&JlKbWqIFIYx37xnXeJT z*{a&PICV^TyNSMTZ0c=lxYtH2>RX&UM?prakUUOWEjX;O;2y0J7Nk?>JYAu2&`LE8FBN4{zr;Mm z5TomhaGx^JeDYjAN(hZ8kuVnbG{Ayq=&NSd+OvS$98%Q!C#_npQqpxE);bLa!OK;g zdgSla-~LRUMmoFoEOX|C;wgu0)&Yg`(?#dxXIp1*O&{tSrXHQlRS#C`ttUGGzL)|! zPfD}4(>K*)G1_q>Qc_-c{>)3p^Byq^D*QTPZ(JYuj9pxOc>%#PLIHIz ze@+9|do+w-&l;8=(3=+S=6OujdSTYAgJ>g*aGNGw4~nclkpa=?(AeP)1LMe)iDPRi zWQCg+X3Y8mE5uyQT4$ zp84@s!vUE%vx3jR72zmzAY{Je8fiA23A}|%3G%?Suzco~bF-lwK^r4o-xf6DUQSxS zn+~0b@}4Eunis5kyA(~0K7}zOc+?}dDTg4K)8TaaFzUQW+YhRBnovgFTe@4-sx^u; zqo*ycG!vCD&`?wGHj^$37ta>mevdoM$$~hrK$`RCdM}>K$FG)-j4!UKYl4Y0q|=a! zOchhf=X;HQ<`m@^U&^nx6o^Gg03PubY(H9F5@ri(D@Hd>DWh_#vXbWY$_1sG@^h|? zS2R9ucl*Xo^Xv@TzPgw(9XKE%HnRWj&Ym7E6s=^dwfQErW#HO{{sTIare~PT*%6n6 zv+srX!CN7gp|rHLM`6|K8?O+Iz8<>K1t-cgPPp2AB_U$H2z*T&++kSQp~2`l+p!~B zSi$|M8LKY~En_8r(w-aWm0)a(U-M4A%)-rdF2MHc@&osO%Xpi@i0YiX^+gjr>;qwr zM*FWVlxM!J=NCU#HV)X{QGAk`$e@NYT#`RfTUK)vni<3P($~Jn&1Jcvaj+@kL+Fbj zL5xjXIsCl)mR=+>?uvQq6jlXy6#1wf4k`T;hs^%>M0t!Q zHTBhi!V1})ScEWoXvNX2=N7seCnw&;@K$SY|CO{MVzr8&fux1$8(K2I5;CK_L8q(p zbV}auvqX0N`v#5gM*X&0=hm&Ja5Oz+$)cRrjP37Apq&Ra%pTxfa^k(`by}36PVeoU zr(I6HH)-6tR1lD@su(2%7it=P9+xt~p~UGjPlxi+wp6_fgY+9u9a;Y4GWST|``2|I zWMN4)q;m61Uk*c!nM)FANu`3?2R6Py$=P#?LS@qydA(MT+9;XSpPgaqEc2qtMTaFS ziY&hIfbR8U=uXsB^lX1%5Y20|4V&)bxO;Pn$FS3QBNM&R^Oa_RBxt|>Wy;!l zLD&)|^3c+RykOUY_ab3ZiVaU{qYranpLJL%HWk}5O50%R&QhCo2fEQ1Y=QCA?0hPd zPIJ*bWx+cxnsH;^Yg^-t@j0Bt&ykTn-&ZL~C7}aC{G|-XF+Vy)#Dwn$MjOu*OHbG` z`P5{VVuHLQN(dSi91W#0%&pOHe~O(@9+4Ht8ojpT#C4%DH|ph1;dNskt!Ndd640H# z>OGX`lMJ;CHtkOs>Ne?qGhc~pC-m~GS-5%Vc#+lyalO09J^KWYeEUPaY`jez$UO%5 zRg=#5ci>Yk_=|jGF7OAm|6?M^Jco&)Pr8K0u5*p)-n`9 zK#q+7_W8~w`1b(*@i$Na##(Y{2kfr|{Q5#m+Z=rPt>f^XMTuC!O3U}b<5}5AUm#eX&R$1?X3c^$K;c#-A=EKC%flA^*h^- zyXM!#5bZkC3{uJJ;C?;A2ohjqYKS(Ei#fzxE0Rd2IRuxUxM35&xRvUwWzkdwUy<3G ztE@z4l(;=4!b+o+$G%kky@Nz*Bq9smGWyBlf)~i`$T=S@xL@S-L?gLT$3~;<#JHLc z`aV~*NsE0Ap!l8>uqXN@{_-uHcx_4tu30!yt$VkCqMU|8w?Nl4XCFv_#|>9qQhYh~ zHk4|NkdI5hfN$u_zBUtm1Qar7!^U#XOQQ}xOr?AMu-Z|);8?QaT=Ka6U4B@IX7D(~ ziL$gH|JP!2X4xwAM-}5kV zv3n3B_)SZ~IbeG?*cP7^&<+u}mDv^+klEI6(%ClbC{sIXtDV|UsexqHoR#TUQ8+Kx z-dyU-UPxI`DX~^Q-_dK=h5Z^hCdrH<8GKy1or%6BLU#|P{y!bt+=;r57oTKnhBDuF zE;6TIz_Pnk$xJU>VzhOEUvE&;@J^|=_exC&blm$(UlwlB=72xMuKvu@Gm|YII_^uX zVSsR~;8hN}XmuA&#FV!A1+bJon)nPKxUgS{A@?NGA6_D=L@WDoTzoc>)Z@K)oM2aX ze1S{ZCd7$yPh#8ji(586mHKx0qRmr+Y@w*t(Spy#ls}nNqlsWUfS}tXBFA)CrS4aB z5u2G(PR2)KG!FWsJ4%X`XPYYLm$AR5n3sJ@{cNa@w0K3gbP=|Sr>fOjZoQ|cOE?O* z#YRS!{MUug@2+`d==JFO=krCl?ANq%FghaWrIu9(YF44WX+?=jvyB)Y*{P!Y86+Ty6<$wR(WBTVN z*ih|cY(NyW{hQ<^X)0=>3{3P##qrW1!<+Sb(j%p0h+3k@BbE5XFdKCvvBVE005`kj zY2ZtF9uX}a)f)}acp@;*E3T?V6#N)J53h~`m%C4U6E85PbFVuwcz$Q`Y-a!_Jn(|| z+w&JOCojA7tA&TVFz5u`ENB7~R-%W}hUv z%=J(eX`wVU^MFUp@tqL?cI2wjtcgUSr-iI^AuD_G>ge9vdD$PvPbGIUnNF)HA4j|_ z7;4QDah@0q<`-0R2aNW#$ zIBJgd-L9c9o1l(X+mk>Ki_ZA->v-;6^YiVC7w7lDZ_YWoE0%sFI4xP!ZZ@PZq=fxk z=@e7Zax!InmvqDXlrm<+ha3uXeN@rXDF(As-;HQmA!u)mWxZV=EO?{VH`-uV=X9Cs zl;Jy?i5Ril?%4bAJn4pHUUlG_Qud>QGM2%3{B1E%CY-}4L;++^; z82#Nkd<$B_DvJYHfW%Ld!URlx zZ(k1HxJYtYa8Tuu-;T@{=+Dq!=Sxd4XP)i4z zOsTyfSUxz@lTLcLqMe}jG7)pFb+ekKX^AFW{OT(Gr+;4Zcb`kBQsA4UAIgWAJNyCW zu756MJ(J?CS#pQn09^}-`O5<6Kh9?!o)~6i(XOPtR~LCl*E@vnG<#9;(}ney{@I^0 zkPpb4)FN=3Y3VY4(v2@%^=?fuGnKCF>RcA9#gGC9BCZc+Tn_T6#*5wM@bz~82%j)x zxHN9gR!gO&aj{bv*GHXj;8tY2@JT%NfQS>EMkBbC<45w_$6YPwlZO)pWyOJ#8}EOz z21aId3Nx~&whTpuragK72|q14uuitHf%{XcrlJ*_4fQQ#F#G`iN_yxpY~j)p{{ zGLD=Z`-1EIbhE!@Rds@$+Uy+#j`5xG14JqzwE}AOdL{RHFqo2CV5`LM_J9kQm1IuCMum}$OMIyO zJIJlF$FUxfqQt{1?xI)|nu*MdkLsAXCg?v@tWjF&(2#RjM9_QCEHO<~q`Su-b2BQ) zp0Gdas~JRm+7!d=ilFnRGCB+*=_{z&!FlJyXryA5`Y|_QqXD5{_I*+hn{2ag?k)GH zN#agF`p6kSe`O%m^0`Bq@B6tFdD4d4&Ta}3yHWlNqz4xMUGH#(%Me_4VNJ8s0#A!G zjphmPv#~gIj5->jo8k9?2eUtjedShD>lUyPHbfFc$*E{dy{VzZpGpSrOQG7>46}>yI$7Rr+M!K*p>^S9)>UN)n_WFlFhRP>3A%{ zb=~1l`xa%~QbpLCb&5nEBX<3UZ_Qe+r?d>$$9~_B&5)dS(%3a~Y!Z|@@79ws8@hki zFrz>rK?@rO*gK`o)}uc<6r4J%YcTb%9Pj2Eobojb@pi+3SQ_9;49Ga5V~ zfG3`_(%Xnh+K;S5)y+puhA%P@(4V(#Uuv!rwf3VI8-4UWU6cZvRk2Rn96RC*XV}e# zp0G*1zQKCN!nL{9Pk?=IhQLSHUFHRqSvUDc(v%qqfOnHkzn_C=Vo;RANJV$oflM=G z(|j2I%K2^BoUT1zGkMJHq)#a>0Tgu>RLNr%VU~3+7<^toH;wWBgxXYp=xPTyF=IPt{?KbX8Ix z7UGwv7^Q~a>K#5*b`Zrv2P~UrKfu(|Z##|a`7axshM)8ZA~=a;rAxaB|a?LQh4)8!MFSRIJDfl@;tr@&m~a`j+J+%$S^g~ z8CGA=g@l?q66qxidfYX#F8zkLO`gypx_Rf`#AqdU&!dHO`v>7fy>JevX}L^B1ME+$6ut#h>=e=_CDC=RuxVSM2WAr`YR9X7U_nUlJIy^ znt9HeHIK)p?3$cS=xvDk4?%tkwA2*!$F-%P@Hp~Jg>iu@pY19hb zGo4i@d+r%M**mOkqU=|9f>+fORl}Wh9OGCnpFT$lMffnJyi&Q@Yd?3yJ(J=U+_sCC zjkV3INg71wZ%5ycvSlDRf7IF;R_Ck)e8YgT5cnCnCRXU4o3z%Z9ZaQ+tM|XhUt}FW z@nZEuFWyW4T>J8y=MD$z_`^ZVF^|?3U~bSFpQR6_^Wg@tIalIrb96G{_7pFUO@M|< zvv&D8)k04r=W?n)MjC(Ec`3s;h^o|%#=WlXS(za1QrB&%3f#3{1O|?GdYp7z0c0Sb zm(@_yic%?@1y$JvYH_Y)zWa=h5lKNL=9`7K_Zk{%Wd4jC7(^(+}lc0k*bf7Hqa z@(dpPwHH25<#22!A6^dIb)(c0)(oM1ddvL2Z@tZ5qW;#a&X~azw~D91iDs1%iX%V(p>F<* zZE`PiMhSeBgrBap#+N4jdC4Cvv|VrQOHSn1zZt5LlkdVV0E3f4`HpE z;{8^rDryeADJe2dI1$g~9}N)Hy0d=?aDa5a!xt3@tE?2NUnx9nLo9FJ{HDbJx*#&v zWgy4ccq}`&T5AYT1DE3Gk67876!a0}6(BGO$4WOUt@p@8wdXB8#WeH@IR7H3pzyV_ z)9nYtrTv=L4|ff3OI9qD3o1m`l*&q>p=kCFU^d?LZLF!fZEv%7wk&+Wz`qc17Ahzo zj!sl7mr7f^u6RLip|ajaEI?r}Qwm(hzw7q$uNj9XaOOT*DWfi3F>M<{nOkZItxdw1 zsExzMIH$dufszM|On<@lFK-m#pv-0w?`f`s(Mx)m5gYUt3>Y8z2|@L+nw)=q|1!Sz9mo6OHfljsX{NU`M?*W`cwS{8Bi z@Qitbn2U!Xw<=1I&1<1rOakmEW*LO@g$yenSCt!^oGWYC<{8&V9HCPQIlzHJHep6h zdhW2PEZS1LMqc_*e9wCb4Vl@3NO`E%3SVCpR?r)I7_eH!#Czo7|Hc*kqzD<}9X9Yy zLZOH^l|=rqP#Y{-5lqZdmudY1epqtL3ro;l{fP?YG{ZaWu@S^^jScQz$thxlC0cH5 z>?GeA`NT7l8C1EGmniUZ?5neSwdH5Ysb87p^}J$VzBp{;<99kt4}8)m7<5dR>@U-m zs1>>JEd>fSDDJiU+`9z0c#BenYi|=AMpEU$y%@D!9@py~V7_H_H)LC=L+n(CJmc}? z0k=dm7q4p22@x|Cs4e^DMVkp9KI1_@3x7R}%y|hNCakcN{dQQ*RC%YqP)*9>F-D}Q zeLVMvpe42#ZetU0rvqco(R(Moyk@yMQOst=(0Txh$xt9?wEYZTSaTdtM(@vp#v{f! z7Q9;PUG6U8sAx|)P)FmF|G@^^C8tS2V55*(nUFaeyOxwLMW(x^AZQeyr^Mug>YW#R z;1WV7fp44sIf3;_iu+Jx^<974X}Ee2-;`ObB|-@8!oczNg*}QlI=RFNb$ih3LZ%`9 z&98uSuP@B&Qv0WdI5 z{B#hTmf}}$eE0F-+{c!)6;2D9(fT|-Bqp*)sA64TBd~X(a510x=jAP-49tIS?WQ!# z6}^Nj9nS%EVE~z}5W+x~h>@^n6Y?|A90*^GdBiw$Dv`i)cBE>kvS|p9W=Eoh&McK6 zljlb@$+uFeB?;#swGn|Eo2Vz8hQS54RgOZm>-0rSGx{Q%0@ghE4bXtu zn+oG^J%4lzt8*rcZlWlAvMh}G%1y;izYY%$-$?c*$YOT;CBUB*I`*u$@Kkvq>v5SV zWJ_e%@=`I)fP)x^vF&SB>?%T3pl;gV8=^0hH)heeUEM!TnRI`YTF9QDjE_Z6XYiPT zUOx|C7tN)stbU%7KO@9hnD{8`7l6+rhlsly^r5q3i8|?50{Gk0IOR6+<-P{Kp6~_N zH%MN={93E`c+Yf>ZQ@sVJ>L019uz9kalT31b?c@u)idLT2vk@1sR)efyDm_h6>x#M zvruKFS9rV$?KG@;+)B{JF1iHBk`!}{3*2zb&cs=T; zFqYUN)9O?hHV<+x6J9v@_&T`^1#`I()vmmzfa~E)Pon63NuBb90B|IemPg#WjkyT~d@;av{oGKh<)TnkxkFX}exC9OG((dWBD@TrvgV4eI_$#SL;=s3?(OZiO<9 zj;1R;Tc=fS5Koh=7SHDi^_mcbi+YBJPU~SZ-@SWI$UfcTrh28Pw@g8NJ)Mnh|&r8o2LEp7kxyWMybF&7y1)h@l>^tfUdz9YSQsI`XX= zRAyiJ6=ue`zm2P#*>W3PIy0qqAUK>`(p{{y@U58qKIt}Sq6U~d6p@~8-;Z+(6NXV# z#+-!G9KI;qFXSvE4f2B?nOJAo19*Om&u6u!Fzq{d50^``&YI)MZ)TkBSRP*P$c8IX zn?N@{bsiX;`k&?5+KOygn9muaqC99=Y_+RKLz(6eokWK2~Dus~|NmE(q- ztS*kdX6#sNKlT|_JFj!zlG>Z;xs09z-CeQ$s7nruN`y6gQBX4)F6Po)RjOg2_@4~y zUji1vrlPTJ#~`v3$Uqjly5;t-KW%SpF3l`;oyZufMoBWpBFrB;X2vSI0f~crL51*; ze*%3!UkwznG31P&MYIreNHGf)#1m4SPI2|hatC}xrjtPiW&S>}#{#(lK@Fiso;-vgP#>TpU0ETnkOt&FD?|lL4D2fy!zF0R0BJ%xLLmT#0N6$q zjXZ%udLfUH9c&N)!jF_^2MG_d*q=q5mr$^lnh#L%!jIxMB2w z>?@S3(4XOfCD2hQuGvBQenSlWhM>HrLLUSLp5G8dAe;6F0xZ=2Pr>znb$#?V#Q1Lr znrje{38W(*cvU9BHmyJIbRbWE-Ddi?`|NM`d)HLxbD+TSJA!$TjsF92ALPONaR1d= z$kK0!U%w$3ud7ymN3aUES^jZn26>k2HtWCLH-Ec7yrx3m0);;jY=f-P9|$POvt6@; z?EZ$>{|&)@O@)2{3V$FDLG~{MC&+VMvx6M}hB*BV!F^4Ieg+DEAkIPdFT~ZeUihxr zK`#G+K!re%2fPqvEZ8+2Dk=o�NoOpn+4s_D?siMyud;BXrP+7aZxBe-MPODbc~l ztNa~O*dY6NNC|^BS2ZI4jt5lSKOp#jKt!)AZ~hJgLV(Oj)7XxHBxBvhE delta 27244 zcmce;1yohf`tW}M=`QI~S~{gf0g>)b=?3X$ql8Gqp<6)dkZu&|?kY<>;JBQZ2U|-^UU6}pP6}P&OZC-pN8mPj2O)U7x#rz2p%pHY6tI(C;)*#K2)y3 zlfgj)A5cU2Y_b2?XW< zV^uDqHaIcx9uOgF5G#la#0g>s<}e{-&>~e<_%=A`tSY@KIRt?g&WIKc0m6#{2YCcx z$N2^~3is%~njBco8LSAa1`nZtJb)O;pg^8O9^t@2R^Xn4Qe=o6tg?|L4Q-1>Y2&$|ujv5YjM+rzNG+zA#Dy4x1hY5Y5K?sla0Qwdj zuDKd4|4?4J=&2hCmeXA&_P03r#W-H%tg*5ev+L z(li_h#2*&|i33Ylpst#EB%bgP$Xk#=kYJEVkQk6QD23KbsFD^2)L1K!+y-o32uLUh zthogsMIfah(0wgoD77{Q2ojV<8;2140nEy<`-i|r+C4Z>Wo<$L<;SlUSYwr}c`bF| zAk+{@3aE$xO1RiyatPRO$osTl4F8}~)EqY9AP=Q9WB%w$gN=rrub%@Z|EKOecXTRD zg7bnaE1VD5wr+QdHNMh{?8M;_{^=r zB>ZG1kFGM(AKemTm>itt|GB$`w>-J`B5~E^ zKgt+?m2WNYb^l?Brs4fKn9MQORq9WJwGjWD7|r3ob!jIL^k6a#>KE{TbWhR#=o-6# za~*d4rxD)W8wW6nIw2iz;JqbYf!zVKgci(H;PD^b1n!@%Fo}hx#siLf-KT$bGob>y zPvEBlpys-dNlj5<{f@E^TIs(3VPgRsg0PQ*TA8DZ0SCp_LxI-nCEdrG`bp3-Fn)qYp^~TV;iABHI0p-o_ZMI zYza2vgu{Rm>)F9!LFtV-L5Y^J9UL~a)3}IC7;Fh11ns^>aA0d7;8YNYpzjldBR9iD z{lz=*HljcrLHqw{Ed=rz^yYS;E*vO#c@EZrV8LqsJuX1&KLM@e;tvyGLRm~nurU5n zzCsS&GbM)Fm|~Hk{X^UZc7)cytD!>UOu4a;|51)W3bivO#%?C~ry3&k+LQ$D!F`Bu zAHu^zD7)D!_;NTXhdB*2*$f^2IXofW87`>3)JS zfT;(NfM{6!Kcx(n8&>Ra6}F6s(DFAPAkm5YL~!Jla*pM27<{1ma}dZSRudG(nHr@l zG^6ls`!HN>IW1f?9Q3*K^H>*hxD_ac%VVs@`>74n2E7u@B|d~Jg_^ktpsD?BtQrz1 ze1xb5jyVD_^@Pq6Owoec;b1IrU++&qObUV6gIzid%6CCcA@~y#=(ksVgu&zxh%s33 zixPB=pe_QaNC+x$BRM{VK=R?BG43)*#bEz+po3CoOxTs*fVOA>NBb@`Ce53W1RPFa zWyk~x1Og@@?Z^;F^nJ+=C;_kc@8b;2V}K>jm6z`4D9~wtQV{aWeSa=w=x|VA<)e_t z;8Ge2MGOY7mjsOowTTU*BO4hR9~tj0*}aeQ|3o>v5Lgx}5!Q(K9On09!)<{>a9KD8 zfd{?*0}vz-6c98J3=k|3au7-oYLG`Dv>=Qi%pfcvE+8Ht#UM2xEg+*HlOWR|q~H{) z0%-y11epc7UtzGob#?{JP=ZU1KS&@*9Y`BUFUTSYY;ih2I)LnM?rxs19qj%|EFVB% z`ME#QC1%d;D2Of7~CCS#TFS3;uQ9hfVik#eJB6A7p!;mBZFgOQ1X(Fq?cYcCzf)i$0U91lg7tSP{!`!t4tv=8 zR-Qltoll{HrpGft$)O}r3MerMBbYY^&|y11*!(R8sRQ{6G7j>u`AZH?Q9lrWkQ$J$ zAl)GIAh3CS^3O*6A7`N22{>>wP^AQV-v8se;Dt}Xnk3Nlv~p-!0>$4u9Zn=*gkb-5 zG4~#Z8l1cDKwuuG0i+$IA7mLD`Y447{7}J_!VQ&8A%#Xfz=aMcvO^bAxDZ)x3UDQ$ z>j|3x1a%oy{+AOV2PZnr2|NS&mlJ^Plu!R@hmC(`X8-SHwEn3k{htiDcFuwwi4Wf5 zzgk6*y7}*JrG&O5;{gy9SQ|1x3PFlNRzUvcn7Baa0&`5yK+Hj4j>!k)UykX2Z~DFe zwBx_J`hKhXuTr>KXmk>Z;To^{)gKC%zz7@8#FrI9v+Pv8lA%R1cC+g zqVGUpo)qRaVGa`J3}KEB=Hy@w4dzDTpiCJnf4dMTbDsj{LSXI!<{Dsb05;#m` zj>77#JEpEmp5jkzT0~WD7#m~)78IgyPA}Aj3^t6gLS~A87n8e}OjvcOm3CFm{$yWL z=XS6tktjRUn2cyRlVLC}&Tuc_J~Z*I#xJ?`V%s>GN+i4KBHgMS(ar28Ey--wnUZS0 z;~6db;f?aDXa%~youc8GM-jmiaiIjnv?#iq1={WjAX`9!AFsq_2J zQXh$Wf>vM3^lti2`#Oz)iPK)w(iBffCMx7yvm5&C>^W5XjLsOh5BI?M>1kDE2Af2G z&Doi+ZoNR})TiS5;*;X76JN3~WJ8-*=A_Lf*Ah8p0?vCs0=Rgxe&qbQT#9#**OY> z6R?n8Fx9tgIe(?)^I-(Dd!pG95w78BGa`STe=Bv}O zxugjj+%8|+gQ>BWUP zDYNyytiO9+U+7*-yR{NtooB#4INX7EBvtXO!=O>(r5diqw7MRk968j;0pP!*MtMhl z_vAH;KP=IS*$EFuD8}>u{|JEpH!hWlea+T~YE8Hqj%XTljc8w;^8fe-|g27={)`Z3VUv}t zxtdE^Q$aS@ODtI?!-QFhy;LM#9iclKreVq|$6R7D;;WL0?ZYo|T;X72>^xDw zu}a4S_%w4STQ9F_MadY5R>|pd?Ys#_oY-9Hd~uMhZJrtQ-o;Nb**TQ83^7ESm1n2E zJdx={SFO7$An`xpq_#(XRT$gWnN$$a^vcz(Z)QpV=o?nL!QlDJJC;YaLdS#YLmh zGg}O5qb%8FhaFZ{KKX+;q^-X7n%*zhKj5YOs3rP^R~m(J+U85=@nAb;Wx`uq!m|JH zBK%Q+>7kIA;%jxJIF4|oWd1G0*uZr3Ec(P#(HxV`OGvt6!%3-CQ*F}@RyM7FN#s4lKMmCJF}~?kdD%%hsMO%7?)vKJl|swIOE%$! z!AZXa2LO5KHw^;0sXKQ3aMia%G^9uP&iNXC-)-}S9GBo&C$?CAtTqEIma{*E+76WD zxP6F}JL84~V~vbfJdDK6z6`VNF*yT-BTXs*=6SKuQpr&szNA;+V5+Of7@DNt(lQWE z-5b_Fb8aS5v8E`&;?@*mHRF*lJaUJr$N28LO#Jjy1OpwVQwb(DO`fN-I{`mp5Y%OCVBc&!&Nokkn+hl5%UMm6Xswcp_{0vTJWolQkQGeoiCAa;X=J|y%1rzSmPGeY)3wo zelO*^io@dfqMGOInd7Hr+nrB6^IvxhPBMz{yLPHJUr1c(WVJYy)5dJ!U2HGsoqTxA zKh35f{b;8cV|MPQNLVC%eDih;n&ZnF@?9Y|Am>I++B(_;Kliz=uiqo@tyesjfM`_j zp5~ICo3m<7N)1WHSp~qIjmoKMvt`t~g>K(XjD8j&4M(d=W6M6p6EG|JEJvTL&VLnW zK$?jy?1Uixs5i#%Y6gC?wjPima&!zy@9)4bJD=p_3 zrAVOvH?_&@14VvX>C~QS#?iJJz@#8+u<^5hlptc_5;{X)@K}0K$%}O$Hz|ut7$w3k>)}8C&A>b+v;6nj#omX;-{5mod94b-p|A} z+6y7QGrfmkNqfzw%&1ISKrHlv;B5!G2qt&po0Y>+?(| z#(?01O}zkaG1Eb2)qr+Zjr^dW@5@F9OxXyCuFgJ3jn!oKj67keO)S4%C0@$RMFc+ZzxB8cMo?V0 zy^(^OU5At2@U{Kmyk_H+`#_JhZfxk$hf~%Y_B_N|Cge}$&9;q&TudL}=A|%{oB~bl z2PVCEZ;5jq(?}=yvy_rUy<3dfQCP*f%9yjHi)OCQB3hcwIQ`L>69@;#)9R;*{e{-C zl`9Ml>NutSycrU?1zP|YFLYfcJvxeU=c&qw!S$>jo+N?uK-1D@I!0BktqA*-2NljM zXq71OF>qRb&ZoH+BK99xUcVj;6jyTlmZg16`)lS~7TDv;Ha~Pe_PT1AiuYdre)~~n z*lDy~C}kodjX&LO?R92@X(3)tt**-xBe5eV#-c)DwRQ*}K3*hn!aETLSIF&IAN=G6 zn+t9lPN|ka_X&@3VXt6mldSqRO@)~PJxx!+WL&`Uw$`nbN9pU;Lm#l$eFinUj8Tl! zP)s0)MuNYlLnGt9*K#r-^X0#J&%rCbm}ie~rYtw-pz6T7`Bl*Qp}k)W%X>uryQ&rzn=H|uOCg`se1iAy(wU5;nF-PJp^tf%!?8i+@ChBEfAp~ur~Wm{$DeDI5?r-yc!Tpu5q!f`!aJ(tIy1v?91HGA4; z3*?qs@xB2zE!>9K>}e3v*yWpYW@5zI1Xx?Wy+U}OGl?SQ7Ya9#BV3mTRf$+gWt^`P z@};#y#E8B{!I1~3KtInW28c=EbEOLv_w0K_y<2(g_4s2U3C%N$A`{LBoC<-Q5J$wx zpX^9H9~0>BYGywPqzcaP4NySK2znic26UECo%_-9Gk6br2WgZQ10Kt!fckGmGr6o;V+zM`FMsSHmw zc()VbiX0!AB&Sqd$El6lbs^BiughtP5TeanRC=JE$!-q~JUJK9lxopr^cQF166mQ| zjRgUoL$xLJvzrpRTvSsBt-CP<0o_JC!{$r-i!2gHkJ` zYC2AT6NkOu@(U_ zr$oMbC~Cv{Yn$`lBHYP`2e?7?vSMc4$N4*6zbaZ;MUja48Q?;($av5JTH>mJ;U=Fx zjM>y!j!JHhPr7A2akcJ;pFX(rOa)?+Yz9#^zC9GQ3M+B1Lq(ulI5&rJM^)MEOEq6cb#t7Y^?F4lxQ~lXZ&khmjvA_ zL65&Jhlj+!>rN~A+=0`Mg4+q{XrJ=+bMe%bQTJome!X5;o)z=<2@#gt)NQFZXWnaS z;mdEGuCkZsCDYsomBueWFP)lh>DXx?1DMPTi=W_i%0dH!wHs9%g&GtM$Sf@uf4ht` zQZ4a5ne5-2aFCf~%QV&*C>!*p$_jrQ)Ho{seO>76M5s2uRZaD&s9>{ZsvmA+8~H-l zX?3;Qg7%ODA`ya=I(8u42mHGqZO)A}G&zg>7o3kIGVW4CV$IFd>7%xe9aH^M&wvL4 z-UFMn!|OWR^U6oqTGftAyA$N&$(oP9E_Tzf(sh3k5zR!I!47}g6t)@sOXc@7CJ8o~^ zM9w0O@v2SX;%aTH&CkXuKXfa?KN|4e>OR)C}ddG+$&qy&ImwdEb_wIkHkML*<{OTr%1ezp?7YPEhzAJBpXj^;t~km6L!e$2GwnxlCEp zTlg{?@V+QRgepgF*s>l1WC*4OSv|jeTjb@cF1iYt-u4fux31byzG_Z}2Py<*JJ8#a zpUlPBEjJhTvecD^x;UHv%0nJCQ&iZ=-+$nM?1vxH)s)OSm0;S$`U7d^T5HREx0nc_ ziBR^oV}Ib~smY0c&T$4pv4U!vA-}v%0>9&(uT8IkSHkw>kI#65fV+Nn!xyPDe8}FI z;wcurI)-^{8xz;(+KrSYMLF*2pAv8PO=kwwO)l7Z&wDLj%-MM_`b{AP^&jbEO42D* z{OE!#ak^nLI5c-HWVRhmBkd zjqQyZBp~=F-Tp^lB5NuXuKV=6-A#IVshgbD8v7GPqS2pTiu~tp%kfR6pns7XzVY>! ztykMB$mGd-XW^xYnzmH5l+XL~vMBTV(!J=E6z3Jd@u^&)3@33`O~wVq5)I?wlaEFh zkv3!BHC?S27;I{57hCr14$|J5XN-`Lc{e}4XwbEMz1_+VVA+l!%0#y0=w6$>Se?NL9_XB8$uBwWsY?y~e}ilWGbp_OA)h zklYy7r>jpy0g~MpiSxKtv$`axE2Coeg~DXD>Y}%z0j@tQ;uXZ(@IOEO&<@EJ5Mno1 zEnxr_!qL!EYhOERUD1pI2iCoQC%Z$>z1|EC@p}u_6>?9uHXQdcvkIkgniVfqbbK@F zOF%|u)e>+cWmGZLuOto8#draJ=>Nw*rGIArlfF$o$YLxckxrmJxf{(9$K(&?D!XRa zA&WNE_q5gayr#;g&8LAqS!)CzeE*MkHJ}d{selil^!}mRg0fV)8F|;ioxsz?F2DyydAedzi2B8GJ(lG0^-KA$JbA&J?5>r7WwjxAZb(tn#Xp2I9* zjzYH6G?gSVH8k-oqTYt`pl?USb~9_K@iCLidfAz2#p-RHAk&xEO;g20;hAVBL_wWV zANc*+)e7!vw{DmZ${Z3r)YlD>`B>{qf&Hmj+f7GcyCqn2p$GF3Sx3>{fcG@6VG~x9 zT}n~^&nLT!@~(C2s{_7_wQIUZO?*d9`X3jQ?go*4OY83P3oG!fs;ADP&kXt1rLI2S z-K9S%zbSUTd+lX+rCD+3Q-3kF5N&u{Pcmi9JhD7+!$NiQ>QVmGstJE)}A2#@nAZS&XOn3uzR_}!q@Z|*$cZre|XSIC{ek)wdSkiE%!@nTJ4 zTnG^-2Ku+-dVeFHyw)XL$G`g;4atB1P>=Rau9CePGg0 z!QAn(q`AuM@e+@LqP{pJ!m=f0#hvPx9e@_5w3VJ?vEFxL6*e-cXU~vRIOpcOXhY1w zEi^nS6PrWls!=x;F)2qr^TCoA9U=5B*pF@m-^`M#d)(>^(eX0-IR%&E^*P4lJQw|i zeDkcqaE2jc&ta*oP%wXd@BCBn?^=}{1Sv;@-n7QZNsa8K$-<+(S;vA|F0lJ<9RRq6 z2jF`N7{l^lH++Zu|DFNAj{aX>b>gfhicd1+`jwN4V;;Ad0`Fq0-bt}Ogmi;VQ9piHP^elL!pNn*_H3OK-z6nQfjmVM7&}aK5L_g4V zNW^r(_5S7itsK%k4eZ#Xu>h#-X6i`_Uw(DhdbKa>j+60C4kgjYhum)A_PLBQJqaeM z%D7{fTFotF&qOaBDaN1q1wCf%AyD#INgyztEwJ;A!{d9X3h#F6gGfp4QyLIoQr3kd zG$rstd`AYLq9RgKGuw&RU!C?HTg%YD@|J(2{cxGA*_D^oPiFHaj~hC`QKPuD*0*7= zTOPf_08N=0Au-RNsAm0+Z(uq}hC@1Doj|)`D^@dYJKd=qp){Lph`1)at4HVb?fMr( zyf&K(3J)?%pMb91$WocC*va-KUrDm3DV8+D0G$v(#Y$;r(_of!*H+&u#f`;b^N~}- z*~*|;w3Dm2w_DVq<;CgI?D+G_COwPGbDy)Zs%H-=2(;(4H3^hG4m)#y__ih=97TyL zq_=#x;G%2Fah+I6t5l8(vdvA}eZQ#GCA`2HKh&gFsXaibcST2noK2Z%+1Y$-Q0Jdr zL^p{CkiMc_%hDL@($0Q$&}u9r#VpI%pCTd6HKBKQoO`$Z>lIaaWC+`tNQ{yB`03_) zsCi$*1aqHA*>@*#{3znqeKm8D@!P}8w>_RS3HWXb4sQ=t?)1Fqb7~yV0^@xvI?7x; zY~3n|X;Q~uvi7u$|7Z|JBaoLPpJF|?UrQ)?0{CU*bc?>yaWcWxm8iBA)JR($zz{R) zmz3|8y;z>a>G81MdK8d9^ZDz!7IT@~((A6-Uv6qR2}ITd(w&f%{C!#W=o5mnhl~ur z4U-aZWizq#=gt6&!1OE-}e2CVlw2Z>F9`Y zumePk8q_|orepHUeMT)myD+U0QyFmHZGW(kG$Nl%P&RZLUS5hR6Gn+@rJb{1+zMRgusnzJ&drMO0DbRYI!Q661#{F11oRd?y zOVB*_eQPLZO*-(zD4VYHQ+#z7bA0(xJqJ+cE8=;p{dqkmW#HKpJfMQZDrDVF?k!Q&ssGQjB%M;t=fjYENBG0 ziA|WJ3Ivj9e93AJ;%|Go*gn5e8KYNwf$_87?sshE(L9HK?u67MLEGGNnZ!mrAHMO5 zQehix?mBzT{2BIk;}XX+1(t$REoh+aw&O`VHU6UwTRNLqjj0ZFvrCEh#Pc1S$TO9g z^X7sq1!61uEFBajd2xB~qd87yub9n&auV&A6~wjG>FNoaWpgHq631UcpmEC?_ERxe z{bgiNnVsBYkyKYM-oJ8hAJ^UO7Dgl_^9{pmA$n+!<@3hIQa>@pPVSMb&Y7*!4 zHqZRWduc}HVOQ2IauM-po?wX5`(_^ zjakB1SxOzS=g0JOwv2aog4pI-bHJzQt2?$HwX3axm23KX8*fg4KwFXRdS;4nUk$me zi)Ve}?y=i{&&gCHKP=|TF20SgKYumB}k@OttCYNng}Px^LUkAErPn6h`uXlD^>aeH3j{GPQRhW zo&C^1%g67ak>sF+L}Rsc|BI_{;`ZZR_=b5WAD`J+KH7nqc50*1G}+oU9b~;|7Qs_- zhm|i-#PM=_`-;RLDc>79_whGeJ6w7q=RTQXpM5d6X^0c~q|1E)5T`z+X#HW=F)&o% z_o0qarzmD#YK{4gNuKWzKeYMroL6h{em_@*qHCk^`JQ{-spiA8USkW(;)6!rNL&re zUEw`86LY=mo=97sQfd3V-J*JhpAyAe2J9csoE-Jctf|Q{ecn^} z!eL*#2%Pt&Uim(DII|Xd)7cp`iP^B4o=o0!_pKtD4l5wfP)G2As<4~e%Dx%Hk;b_~ zCVoYYL7wslgUNOr+=zg)JewMZs5lY#HLT(f9DDieV%>C4X*W9>aPCmiryc;JN(ZOK z(QUGkpM`3!+<=|i=o$nOWZh(0s-Tz`ZU(I7l=wWq(R1`|0sf^l8b&|~u zSZS~Ju>I&Rm{`Im8?5~9i^?Br98 zpZpRJTu3-gES+V4tFGxL-Y<2m&*Bzy7NYHtuPG!i+#GB@ulnCf%VP0c^S?REXAk?t zetevS1xyh#OK`g_5YIOZ%~Key@3c@XR=izapEV9$iR^FM8_-82R?`Q*?OIzRe~(aER{UG=PPT6I$vaYOT3zvGVCLz$wk)IGjnX?h?0-kmzMPU1gx4JkwwX-Y${BhJZCrkU2DWZ zwPF0WxP2}iRhiTsOx|WXDVUGBH-Z566uHS6jmMd-X=^&PPFoLj#0+RMYWi!i`5*0?CKJ z;D6q}iv6tZbTnqStKOj0*Nk&(lUvxa-n*i}7vp{IOmRETJ=tq0mvogN%wCnI-SqJZzz>beUThv|KdzmKeZ;&?51cF z{TwB-Re9R)0!lmcURQco0BgZ3K=A6MC=3r9ab!jAbB5`g*8Spv!AUa3baC_V7S%5V zq+`I1c&!BenpW*uB)aRz2T?p01*KBIxpjtp3$TDqe4C0i->C}aR1$nUB|u8*`SM|O zq{(_3xS5XUxUkpWF z2~yEe#$_MZP{VmpT*us9{Z0un_WADW)nZFDjwoE-ieP^K9sd#i(m|+Zn!r#I`O918{6>L zrH$eezV9dY{)d+s0rD9c{L?R==#EVdxjN_31t!G0U3&kJllN_0s~UOV)Byh->X4sj zV(dW|$ie<3sY(lVwyK^lTZ1&OIKI=$#%^}r**m#-bZrZxHDRrYO&r0J>0n~1v9s7y zp+#qE$sxaM>JYvb8GK#!DKPBz>y%Kv#)NobvX{c@qVug0eX_8K!*Kbl8hb-!3&~ao zXNbendVSS`$M=?OOjoi~J1mcmE56nTx>Z)rc1X3OPj7Us(rPBxBmC@7u9&>5SY z7LMQ{mND>%+JsJ8UT2In^J8HuY{G|Xc7q1DFCqT?N#W5ix17~3IOQEC%1!N#)lU!V zCo>5lO?H;AeQHjbO=cZTqufKIyzsMQolGZB=O`abA|bQSZf|vkj#}~Jz6w6S;ToQ| z{rT9(x$|y7v@Y7|=I}|W@O<#V+Yi(?8^yPQ{#FOAERbgTFwYtv~3D#2V zXVVU^v?dm2{Z>%DJqv0Bx;y6HzcmnNMujHB^lRGB zaRg zWH<{k(e>4ilDh*q$WWS^G}T+P1I{6?dKTKv>~*7+6^!Jtf|AQ`l9yx->sHE#EDUWL z>1A{`ta$*l6N1Bpqq+Ua@1>JR5{p%=CF`aqp9F#QcQ{x6^EMfLE+;2VSQL$l@e8`F zzABCT*;;Yec9HLntIrZGJeKk&u`cb0Xr@X@ch7k9p3qJ`{=FxkfRi{K8mPF)kUPsQ zFIa9e)bD#lrGDeS_SRN=@N<}}Y1WBmVH1vy-T5wXnES;%Fl5ZEeQ;7XW@m`X#!*s# ztY@F9JJgwX^PPybSlZ*mv0E$W77cS--A`tUl#SnH4$q`$WL?>n)`BGQzs6tva8JIxtJ7Me29)~tOx2lQUA4QJu~1PQJk>3ls9h7~ z|7rTGZQ?vZ_v$->zs2z0nLky91F`^K_PF6k_8WKyI>oFdHB^xknZ$_S$8ZG-#Y5bh zCK+o;zYdF)bwe{P+-_%n8`Q`=a;OnE=^PF-q$tD9%qY?2NH3lh{gz?bCtKaV`_rz% zCIjFRXp3c@4yET@+}~pfJdyS8VA#Ck zX|PQ+ZTGX5tin!RCz1dD+0H8CWSg(#`dkm-%=?n!x9&C!NpTx+>mK^R>#nBV_q#$) z`7=$X4~3zx{l~O&-)8QLo8OP*aO0Kp8i@L$qQ9mdsttYNff`dwE+RQ)Z&)f6j6;z=nv889_j3=J!Je+H(ibNmB9?r{z_9$ z;P<5G==Z?i_1MSF<*hfYVpa4_gL?v3SLrvQymc4x%u_(dD~#O5n$ zAwOT+n~p;g0B>8bQcvZgFY4-0Bap?JQfNb}?hTC0si+g+9yWCYaXT=0d zBz=)u(~TWk{+M58Aa14>eRmfAz~F(*X)7_JuogL30)ksOZok4cbp8mO72e&iP%F4iW5mXve0Z&PiS>Sn|*Ig~D z_Vx>@?qdONl$hv*j=*!g(qnh5EX1s!oRi-bCHe27kLqyoqj4>1ER)#uvZJG^S^9>B zO?j=^EYcS0rirU8y|-}?X`Y?>d_yb95mtLaE2bTJ5qS7I&qFbfDE{R6RHs~C5H?#(86kytW4j8U&_H0y9yL?t0LzK zLT=r$ISj<;x~V9CHqWGC+S5K*&^Gi{dazC zCre2q&0DQ{R0Gc&g+iCyQV4|e?yxHCh*r`Z9h2hjc-5Q_Uhoo8sW}6Gv(_KxK5)&Dum8N5ZD+@O9lac5?<#4YxPG2r0t8FYazG}!E z`=p9p?z2?=ZuOsHmjJV^A`^9?1$J9|Lz5$)n|bO0QBRPBV%#WStBi}Pai{uy;{yLWHu z!d*o3WH%<~)^mrYvxEW$)vGTH>!cy4lVzJmZA}zsPgX7z4WDM|G>UHzQ9OBv06YgM z-}koPV9TyPd)>l&rZrcHL&D)oTz(tM$;W|FHR00~`nHOMBulhQQ(yA_K4xBblL+92 zCq_Vi@-Hw(#Jyen_|w0S$JSISPP+Ni$b)CNFI5U^)tKoF<~2RdFT8b9`V99@yiLA_ zk)*iWH8x=x#-M<|Oi|jPD@KM-` z7kTG?X&xO&TR)Xa#I)+?5NgR*k0;Z08&kwP-XDf}MrYc(L=MWpA|`02Nk_VZ`dW1B7tXaBSF zYuBR|q2b1r16~i7 zzatas^g!rac(ShP+J1?-oEP70ZKAL2q~ZHyqT$twb(P@*B>!DntWoSfD!YWMmHAoo zpl_%QgP*Ywez{1bgtOd1!b=PK{7g0{jc3equLSf3&#YK-d_{++Hh!1@Kw!n~Zmp^| zN7RDnUN?`Se_j&z;d5tuOG6F=#JNnQp2o5=mVrE-vu-*h$tZn?d`+jJ{;)zGGiOI9 z2_Suvlth2p#a7_1JxsIi{H&%k=Vf?lyiwBm&nPxig)j2(`i~cedd3z!%X=!kYzY># zznI7`9%UIV5XZS(v8wI@fd#LdMor(knZ%Kc0hj?L9Lkn9$9)OF*KmRWl=uizcFbe(;0)IaHdMl}^lOyj} zb`zr=@+CVxcp2CJnin}jS=)z0Iq6&`PxAF=mBSdV&(zGn7*p`x2^jZq_}|39Cu2*N zE1~n^<8ie)1rYA@mZLWcgTMCk2GaW$gXThAt!5KamMqr!op*nxd7tf@5hV%ef$Imw zZ|983v3I}@jeVfR9L@?a@Pd&Bufm0uMj_DVMj5w6xhl6RIECV(s2c6x)CpBGtA?@P{qX%+3U)~+r zA=(ic+s=(tY?M(9OmX<>3iNAXUDx!yskC$VE5-$?^e*_$NdK?ezB{U^Z)ux=0hB6I zrHOz_Zz9sANbevWDN1kBI|q?2y+uGk5s{Ac7P^9h^eP?c5PA)ve1{9(%l&=pTi+k= zdb8Ha%seymWbf>KPIgvKW|Q{TC@kh2S5Y3kM^VoQqH(&o0j zmsVzoKCw^oo@K^-(wU}hfEah8NOFm6{cPu?iIhgv!4Gv-Jd9${_l;7b)b_0oZ|&Vq zHWPAEqwEqWYB3mUp zQ)dvN9iAE)TObQv>9w&e7s)K%@Mag6E`Jx7h%&YT#jb)7XqLb?D#@g+kBdvil& z5jPf7e!rp71Aj~ojK-k1?caXZf5xxyS098fS&`EdH}0kq&p&s<`pI9v=z4C17sltS|0q_fw1Za&MPU~$lT zA6ETkO-8PEWJqPxT^cXX&0|^LpcQAA$Eq#RtWHRt;LZfF*q)NcrFA>qYbB}V{UAa7 zUad&&Z`G~h@qRZ+RRIcRk#o8xx7Ax zMepP2RH|O$2xEQT@5ofR_~s_wjpp~nxlNrj2|@5-X24oxOr?M9xyQPuYX~3tdN6S| zH%6*owOb8T2qCemB$fNS5QymrW1em6cZUOYbwRnKPo|ZVi3OgdPRtEB$`SH!gaFH}!;;!q)5Yq2c4|yWA^{X&B%NZf8<;PST3p z$J_T=Pk;x?G1gl=V=>Zk=-HRP-ZEB1XG7d+Zx?^wJ{4g7XvxaXV&q45{A46%kGXHr zc3O4CX}^)@mKsSMoR^n9JSDw*xU-FNTq@oJNn?KIh-myF*fb*2%T#P zv-Ee{Nht z0bAanP98NWS4_qBZg3XCcTN9BI`jiX zE7R3ZnR(6Y%83nLsFrmx(iw~p>&zcbr<>PLU!p&mRN3vI4DdeZ9+XF#_V=(+4sg> z0b@nnnr17+3tu5Eb!`nVvX?Su{nQ+N8$?(0ohLJjLJV zBtT)LfxBM&^dzR9qVX3mmc>}MSdqifloT-+9c zb0_7kK^e=})3d2J(%(mKU0*FAq;hjr9#3AMiu8{l>OVD`*7jt4{yMIN3Yz+LlT_Pj zcM|!)(2q{2epPwt2B7&1tLD2n&v>f+wUKv@fmS~fMgFKPTFm4X8IR(Y&))JnT3!lU zcz?%mIe_4is#|-x=gFtnZJtI7`h@r6eOE+$4pL-wB7+>en3v0l1MIKWAY(|+1zZTxZZsSH3)8MrNF9cCES}9FN;B=P*$g_v*C^RG@$(zmH}?qc?#h+fXd_ z1?l`ZG55F*{UF`%+KbbhGIusv{xqcZ*9{HPQ@HObwkJPadLP(!y5l4a^-?3^!Ra>t z{$^eT6W~MF*)BeG5;W&;D(4=(Q@k7LX5=3IrKbF$E8<>Sj%&48FT3)C(fR91*5*^f zHz(zdr-W6dBO62+{zz0Eh+t23ADyA;%97HaUo+RiqGbP7V=%5eixz-`=*5B=M`Pd_ z4b~>kb>tlglo94lXJR5(VX4bx;-LBcnqsG1qf8^&p`403rsDQ%hQhqU1iJOK0?C_E z3>6s(;r@rDy^>-dM>T?Gcw0Dm&d%&Ngvh1wqt{3J1`b-P7thkq>dw5*oPu{wrYKrJ z;k~e7ul+I}R1C12MOkC=kXm(UcWbqwc+6VbCv4u)_pePTw-Pwdk3EBr@a5{UjC@sx z$GSCQZuZ5IO{P{x6yZ57qLknx0zT@Qt32;ugk}~fOb$qEMV$|Y6X*W$L}jXFLlj4; z<;cOz2`}P++j^?iW-5tde{8$2>9K2eaT$*YyS@1Xe4w=rZ_JBd4SM@i-7mhU`DWh;2? zLPK=I-DssrRc4Mgg$*TM4lY*iAM2ow&wA4v%DdCsx3PyOfC_u}Dpb@u&8-gkZoHtH zTQ;^l2LLUfkB@|)Q=*V9SX+$^+q!>L3mlL{@k9(XZPAzfXnuPV|C=iCf4v5d^{sD@ zy;?^%Bd9r^zM-JB_S$fG<4Dt|oBkA(o==c1(*kB)r^os|(-2I&P z-~~8LLP)5(h`UyvoiSL#n40i#uD zT100`PYXY??tz$ZENu?4g_Wbo>c~_nMu&3pgBuAOi<)k)sJQ!!+1eSX*CzAo1y2s7K+GvPC)GRhnY9 z9vzmB1I4^|J*6)k|HOV*1@bhW)}C=RpraWTxI23O;wM@geC~w$IwNCT;J(!FlgS?U zb^w^E)H~77sSnv*{V99K8bP~2H#E01k`(W75W$`rC`ggnUC#z>Z|UuqjW6%{=>Nkd z>!ED`wQAr;tGW6xPBOvVPD^7}33-}NYpp&mFCC>bZttuvTGl&DHvv&?Lj>{qRbRc) zVwkzV>@T;~&ToVr=D?i?MZ4O&P6p{0^rei<6I4!{hcYt7@Oev`^O?(|I<9p_D0-WY z^X(sp{-BY(v15lU_^AHF4RwM*3O6}#%J2&JyObP_dioAw>{G-V40g1BW)R-S`Yc|u zoSkK};V<;PXJ2@5m=D;IP1#QnayoiK)Q&85I_+rE8%v|_D?F|dHz-qAoGU%mRnnft z!9e4zJoax7^w6Nj;}vz6X1WnJwgqM8qb$<33|KyVO7i%$W^bZ(P?=NEfViFLWVAaQ!R>vgdou&i`%LU8pZ;l7;Fkle$1&Q4 zDR+4Xe}vU?i0o_uJFb~0uW3UY^hLX>X@3%In-5zmnB|DH4C)FP6yD|+{d~&_x%@Wt zh+qJMmfT3@HAxwEJjR(jGL;=x6o6#|U$=KNe8y{ti)F?r+``N|OncA~9puJUK!j}G zOZAw_p2tdAjowvE`SmJ7e6(3Rvs#HDaYoM@v0BdOBT}^usD3rKvXcALH6VM-yd&!S zHs6iFgyaH29#psN=(Y`3TBVMVJu+D*y)un!QRz`RKA-7fx2`}X3R`sF-XN&K?#HWj zGSnQ!`rhPkc@{Xb7Ndp9d$t%MzVI&c=)PpB6N&Fy8pH4BEdt}wGqhxRv`#cUUIAl3 zr2Sw6SYK2Tn6=y)$ly^=H`0ik0J~&T`!vXz z7brwt7%Qc+)>Y%@(6!umdqE@{F4^rPhfvVU(l{T`c#qviimp=U-xQ{ZKk?z zsE_T(OVRe$>QWxj`)#UTrs=p23^T#F{M9a-4SRs;tIygS0{pATeIi-!cq7({5_t+) z-iAd|krO-Y+7gJ^nK8P!l516%w&26UT$T5N{LYf;JSwN8B(+S(@jJchZ0OYkFlQIg!+9~#7 z?d~Gr79ZgmuIi!tiMjrCwPAgf+)F9}OA%{ca{mQ>{%ZH!$_6-e1^?ItX&%f{WbUw3&cwnTLpf`GQGVu3E0N(FSZ;%J7iE^*y?-VM@^5kcGSPez$zc6 zIEt9?@}8)E7wjPnnI>4=;NvZ{HOz0v=c2wDBGOqeG3c=c-BT7GQch}U)NqlL1uE8i zVSnIrnO58_vWb)8!EC-Xle^kvv+#$^la&@}Gk0U8K6Cj*1gv*&N^`R-vZ zqiyP`NYABcJfJ|_)1+*GY`au*&VKgLh%;d8OV^rPr$Q0u$jdZv)1rQNz7qq8Se)8J z5zkN61o{VsTE0m8+@Dmm{wOh72FM>?KRHl)8N@v0?D6ic@ZiEjK21f_uCz5|Ci|oA zO(MMc6Wb`H|9kT)^W*tBG1p8cUxxk+6su{ggL=?ZUtbJwdWxNJ6jcMCKKyf!Ch3XX z2}a`vIndA`P-mfOakx@N{&R)EB#~7fJ5|2D6dopRjaZj|OFw16q{BsT1uRD{RYH-L z)rmv|24;~j%nyt|_h}F%z=Jg`b5gWkE(D*7n;OSa4>5IR&Bb#U{k|no+AKi{{kYPT zzzq8kkrqCmxl~U(Ij1dmcLR$2cvi1-B3q~KBx|v2&AP^Cv+?YBz!pVU zOg~n0*c-F?ERj@@Bz@_hZToK}`RePH)G1o zzlEaV=<4`gH=5M?dTXI4t0$;oFQF0wq%FEDVX}QsQ)kWBi-h7Vwe=zn2kBEv?+vv$ zc324BIIT3mm>OsPykDSSz1DWGnM1BhnKby{W5YgW!U<(BQi_I^@X}0*tOA zU#R@pd=ql`VZ|SVIxLNyrcbRW_9H}X+2tB0HviZT?7&tLCR;qtW}bo)u1YRt3lBGH zgX8>o6kLx?)51`+bOvT(HNX6wlc3AoIDMw1nH{V$Fr8@j(mVffG;VZvvprY0G`3*F zeP!ik>oLU!tSTZ-g>c}Qv8q;gEUDb?t#_Li=D&XFtBxVN9_%|=a=`Uma5KtK>v(q1 z?>NQp_`{(**f^}4UukrTtnPUVvgoWnV05R=b2&^WDRTKCl<@jg8bz?&OWF5{FH_oH zCTcR8rjAb7Q^IpMXm<(ks>8XSBARvT)>nH>n>Mcvfa(x+bmu7P?E31p`m^&1!wF7} z|0OR6s2ol04z@M)tItM)AS6OH%jF-m9cpp z-j1(<%#FFm6nyu7h`qqHA{KnvkB@pY3uDsx{{sfEVx`uerYuv~k%iE_DQ-JZQxpZV z6)GCE@Q=I%;T!BFCwCf#4i4J=PbZbtw2*sI$F9G8<~?mrextTeYCqWtnjg6pO~KZt zkS=ti0bd=TJP|0nd`zLdsJvRa2bElBt>_l|PL#n9r2?74mH5!yL;1LTRahF(}%43bncyx$9q}&*i4ym{X zF~+a-qlYk~SLWV@_(NcT{c!3gQQ;%)Jdh!&b;4n!x$3q3669m-6qXB3PI9 z^?%@appAct5&pwRd})*Z1HXM~Q~d+K13|m-uNS|2?kF~PgH%4DfLK8)t;qh>N)kvj zq>`2Rya(6VAh#;Th#|HRm_IAz77SE@$|v_A{OAxFnCAnC8bltv0rGz3?gPj*2)Z{d z?1%~Ci%yCO^JIp2LVm*bm?7%ea^U*~cJ&O5WPo(QTv#9grT~c5rofI^z}-KjV4bWG z03r@kWCMi=tn*w5z!cd*@d(y=F1TTe9H3x_b)E}mm?9@A?!h|G#a);p7sLw+7L-M! zIY;*RvC;gW&A^BVB~ZdotPg&U;nhwX8L zjRxz#|Jwx}01a-K2M@#xa}ZRu(a!rPhf4|SU`_ge$3ccKD1Kj1P+xV8!d!U3eve&A zrv>#pS7RnF(x)!c>8`k-)1YzLf*DYKb=d-XP-g&-e|KW`f@1!Hg7JzAx&RuS7o9k- zlKk?L;(Swp2Up@C%NG=@7ZglaTu=mPTvDuo>R$>LP-ndo2idrw*t(!#yW)awgT^Jr z4ygX6;5dh`#6k8hC=MII1NFyO;?U6{FjsDHMqh)#_PHTy*!)+VP$+o%T($!fRP`@O1i_f|?JWL| z2|D&A$&E`A;VVuk4w(7yVpMQJHT#l86pVRtB@Uh7lH}$kiP%*q5$NQB_+s7y8U9XA z2`~Ws+Vh`gkX$m5T`<68