From 6f7e1eccd3e267e9169e986a347fbcbb02db8d17 Mon Sep 17 00:00:00 2001 From: Pierre Wilke <pierre.wilke@centralesupelec.fr> Date: Fri, 3 Mar 2023 16:16:53 +0100 Subject: [PATCH] =?UTF-8?q?MAJ=20sujet=20+=20r=C3=A9ordonnancement=20de=20?= =?UTF-8?q?deux=20fonctions=20dans=20cgf=5Fliveness=20pour=20=C3=AAtre=20r?= =?UTF-8?q?accord=20avec=20le=20sujet.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Sujet.pdf | Bin 1542435 -> 1542490 bytes src/cfg_liveness.ml | 14 +++++++------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/Sujet.pdf b/Sujet.pdf index 1fb3da27f96d7299a31306178e5d0ef2b562e855..31c225b8c8101539583d0a20fd9e622ae5262ecb 100644 GIT binary patch delta 36057 zcmZs>Wn3J~)`!b5gS)$XaQEQB0|a-s;7+i?-60I_5?lfd5L`oWcT0i?m!RR!-skMI z-`~CW+p6ckR@JKR>Rw&lU6N|Dnradp4hV;D2F^(Vcpx(@AQtcfnS;xZ;fpU|gvU`W z^NTi4jt^33rK)L+3UkU9g;d|Ew-uWQGH3~2uk%U1_}hACB$Zj|r+WE_6LaYf?7Dh; zZ+;H&dfXt}6X(+{`n?^oNu-PZCyMea6FoB{AJYr_)k&>@ZjTWHPiicqO5~o-OD00+ zgZn_|R8_UhPJIu!rI{ImmkaLb^1Er@rbG*)SIPA8KXa>vr^&3)CJ*NhUfjg`Q&2r2 zz&R^W|80n8@!cKNw8wxg0{c%@bxvK;1!VWxV)W_g(NPZW_VD}2T7BIgcTpORC@FHe zU{erxTyiW`5PBE?`r|h=V9MZT&%}5F6CH(Jxw(<=)_@Y&j}m9$BK=4fWWcI6K-yCF zA<b!gY(NseW5@J)dxCl^&~5j*LCfeKT!{3`p`Ut?<UDCd;;IlBf@B(4M}CSz60Okx zBQm__hF&k;qbdtiZ~S3J%4F}P9~-_|@ZMzw<@&Ke$mKF47D4INvKL?}d^7oD5>++> zST(0$4LSstYE|fkpd0Bg=&#yT%uZa#pYvw=&dZGH0d^Y44qhgg_FZKWc=k3^t0f~+ zDeua8MCh|jZIeFe)E!qf2bWjdtCxBjhwyM@h}~8*vJ<%?oMw{w&|nGrNH?l}Tq1e0 z0BsS5=RP_aaAx+rVd!d9sP4Eg`-~jxFz-TceVYyTZV5a#y!uvCdC5cll`O!AU){D9 zc^MlaW_l3Qn!j<?O7;MQR?!S$_nWk9-q>sn<yq#?_rkVvlqBJCX5KK#M<+?29=3DR z#|f{8V3Dwf8!ufOKF2v|1V!D+&AzDK3o7@Y+}C<~UQB#+vT`;kdIVp4^Rr{4e`)aB z#1wr2FIl%poeqz8qSYs%l|402rl9(>Ivk3?*<q@WK4C(EzlYYpr$OJQv?4!ZIR(^X zytzqV=+PkYkJcDoZaF2d;neJMH>R4GA+W1^tYmq+@$u(qd@%Ae8~cfLM=JH2$l6bR zr==99)(MORR#6(x907J+E+%n*Yc@rAgn45-u(cxg$ot%o)aaMqMw}3h*||XioCC?* z<-W3Xkz|#&*)+(Bl%cs1sGx~>{fO+H9gRlOk|2n0JiNLE!`O+BXwS+zFYV_(zpC4! z<z8XOHihmtbi2G2pOCL_!t{_zPa2ln)9(FaUZZ>WOvH8evGYqT6<+c2hy;iE!<j40 zfK>#a>9_i+6=G7a0+sWe;yk^YJU#?Qx^QD{M!Z_zS655DX3keSy9%Wg4GpSc?fk%< z=j`bLpXZ`hgs1n-guJA!l#*TE@?bIlmGqcIcV>^XnO9Yx|J0znx)x5CrTMbjFa2@@ z#0#-c$6R6(R@K4^GiFtvZv(0s;c>cUNx^4V?$4Sn{D-UZ)~mSQ+35#Z_N$XI{I8Sk ze^8a!<DD%J1v1YG;2_HMfBGc4!{3>THS-O7*?gM(KC`0cy~6c*MH9)JpG3&qjU?gQ zW}Uezj;f8qvR>(?_Dnso+&%7X=Jn3ci1h65^6|y6X@#|VLRR2IFV&}x1fLiBMgic8 zPzU;(oowu%kbnw$keH^>;27l~o&}C`3bhw{O+em<-%+C_sRS10m$|VE97+t|B?rIb zI`Zvu>HU;-wa^pznw833%H4dk<*hGsBU<^93c<ag*PbB!{j@0GA>*i8&M^H%Y6K(I z(6K<RCYwOGQyza;S@v9?9y*6c{NWgw<~PYeKDs7L+#r$p3a~z~)$GuF{#C}@I;X!% zTtSnQv3P*c8IqM&wPyVD@yZXxlR#~k+17~ldu!((nIeQqbPbl{2_J52S=YLKjVqid zvmE^VT;6gvoPJE2lTl_|o<|s;d$F`zF_hcGE9+veh|d??Kf4oFAvJ#C0OyZ@ZHP2~ zPK<qE)yDpOhuaw_tSdCKqnVqfc{<t39a&UbF0%Kwp$J%q#NDq{o7nJft=S7AxZ(n0 zuH!znn_C<v##zMMaOZ60zHEl8X2%6@%n%Szg6zXKWd`*^W-Sp=nTUC@d|cOf9)Ecm zNO%U?&FaZ+$2-Olf-Q=&d+~h0_}IU4s^ps7?3C7jIHX?iH=5c!e(PX0jF|Y`P0DJW zB)=NUjrkz$tP2d5OL;+=AZJt$B$ju87aruu+>#mTsLxWtoHnEVnjWDb1>wX&IRkv^ z+N%`DbZ>2Y)VvnX%n5(23r|?#lwJ0UEq|~;i@=_dr%uEqFs;~){rQR>tpCX%-sWQe zn*cfQ92Q)#VUw(aTcAbc7fV5!_X>k%?=wV$PVpH}#EgCXW&Db0pj7BebGu2x>?6oX znB<C#$tfKv%EmvQUincLzqh)<;Lf#lt+r)APop;j+;QOJEQB}S2OCFkInww}yBI!| z9n&4LIwe(dClw#0=SGb-f)&+{$T#U!cd67hb5P>OwQXkvNj7-W@ebIT$w$ZY-{QXK zdsPeac+YV!qrXu4v%e}=YQF*djK6#=H2l3pbqL$S%BVwJ3LDT2kelU?R_d0Paji@& zzDC>H%qV&5(7Hmnf}!f{-jRsgHAi#|wH$sEfBlW$E!=RjgH;Oq1iTZTSE8QzUgDRv z;(-5h3Xe<t$#BeN<Th|lc8YKH=v23(XY##t{}cI%<_3DKn369(Ges67BP29qZXb2N z10<Wn2gUftL*Zut*MrCNYfe2K?}!aQPuxtB?|SUn3r*QYB?m6^)AJTZUNI`mOeLjC ztro6Ark_>lD;WUE9#~XCUH%=@J<BxVn}>sId^d##9-;{~)A50d&zePe3W578_QfEp zilZzo9GiIiDl<J~ntix;6qe_Z887XHwaCch&DpH2l(oRsgi0AMk=aq^FHNi6Y~~HU z9@xf(RTG(f^3oicer-~F40fLGS^L=~VxcSjwQW<1Aj6uSD6s2O^vV?UzD(enO$D+| znDqMl#?uQ;3I(g{Y3Oub<UzCtxtUh_$K7O(ZFUcM_){%>nyk#Ph%LTkbSTkfm636C zBB5boWqTm3vYc(}b}odAuD;v}@j>Tp%O~4{;rWRKGRgVd@B|d9VLn?w@<M?u9bHMW zwjQ2<ug~rcXW+)^sK6+Y^5lKvAKk)Xd5BLB-aDp0M0S=&lqX;uMbLLYjh9DvMoQOS z8Y_n{lzNfmVy>RcKnDuhS3%zp&`4H(yr1doaH0)$Z8q0}4h5e*FYWRTzE#T8HL_pj z#blmz)HNj*x4a-~2#v|VU3+WzjJHdl*dc(7yrQ6J%nE*$#WvbJ%7t<#rpErTK1_bd zYd?{U`0HZ{*YuCECflScePxA8jy$$zMRn~A<ddz<eO8%K2PSoN?cVuq-0WxDQO0q8 z?d*%@kL7bZexC$#yFcItge7z0Z{(eLWM_Z5-{Qs$R-`!JcO-gKCKj7?11Dw?g1i-i zmWeIugcAzZ8Xl=Ii>B{vMr(s3E4T$11y?SOt|K86hGI=m-N6yir}%wCI*$&3Gr@X* zGm6czxAvvJwi3O&_`RKPB0tx?g^3>bgIY25_YW-2$=c2Usex~Xs1#uwhxbw&bF#B+ zN2wK+Z?|Nj#9*C)16hKnXKOnhDy7q3Jo(7>#jX!v0aSaHh*|QX!_^wjBF=LK(Tto1 zAH+x(^Tdv`I7&VAQ){iy6~##Hzv&-p%zBV|zK8rgGIQk-?N^&1P2kr5`KtGKn^6LT zVF~KSH$T*gN58uK%i?mww`2+ZY);+iLVt2!)_HcgBe?GzzjTNll&xDf3Cc1JeUuzs z?k?G41oMTV1h*ZT-wJiw8`$CTyB~%3if7weym|b2-2GA<W)+lc;e~;@XmfJw*?lhr zuX&3Q^eEHtY<g$rySg&JG5D!GeKa5~e=XRXi){ZILPL?>=vUdbJO*y8VED>_b}q_X z!64LH;7ebgJ5rD?Mr}$h^~nWUPlvr#-S0vg8yqw*TXMtS+9BKeUbE_k^uR%MLY8UP zMG|sgiT|*Uc(%em-GETO!0Q;+w>snXj<ONd9sZK)#)T-qc3k#T5t|p<@IfelX;LbZ zW@mK0SWVx{${dyHvGL2W9@kZT!9D}?^iMp_5Z$ATtYXMK3r0n()tLEwc#Vi9rx1T5 z8hE*G@&F$0m#uOCa@PeAKQw(9zOOf5`0K<BoTkv1Ln^50hn=K9jd?DW-buai4)RO) z;S!mF-NJFS4X141mz`1q6KE^$`-1gCLX_w602hgB{lo#&(w4^9FQoV9YE5Hzq8qCV zgp2R86!)S5OFDS@G;u6?Bg-A$SSu&uDqz~&0s8er6U&~9#>q;r4KRfjbKX3?!*OD7 zLWGAhfYK&S&HYAu@m9w@XK~xbk*bky`6Ne<ZO<RyPx;)_z@7E0(9pqkcE{2!>)x6i zIwRy4P#_s~O+GNq)@uvrMc(AeL5fOMQQfMy%(1a#@)7YawLGZ9EdCyj^FUCLiuFAY zNo33vZuWbLy2NxDF8Y-hpb7=<F{-t*m4~OhwYk$@mW#!ERDNEFc^MENVxtDM0Ek0J z)qo%2!Lr2nZ<?fw`;c@I@p5&}peE#`53iOeGSgotyiRso|1Gosht9{w2!8h|cE{21 zn-%;hN@p?B^~SH#heBy7jOCCLrIHmNF}aaEam|4dVS;fVkdThhvMr<r)#IVTUI^X- zP~iPi^$Gi@ph)LZ8&NMxGLBTk9~&izlf-M+P;sH4%z(jbN>tM@e|v{%0*b|VpY#}Z zaRRYVs}RfL+5+Z9F?^%GYAlEFSujwkrU!s-S>w$#!oKF{BC&-)NHu|!;NF)uiev(< zz#S1@kuhf;mMn6){*w4@uNIr&#O$n`_*=+3;W{#vNmk&($5vSyy*YEy9T8ew%ewAq zdS~ER@5OCrsJPW~p#`?;aV|opI=|%y%xxRaA>e&x*o+~q8M$cPzTqsNmlFAo@3#Im z_-5k$;w7H@*n{Kn>*MPO2vie@2TqkJ_STwtz$2iB-=J_dnG?*kz(4%6T{z18Ho^!= z^toBk_Um-1auJWt3Yup!rE6)tzccVa?oFy5g|~TmP@h9W+bH!AYm&+cI@X-)T3)YB zG&waP?RCXZUwd?Y^y>5BZ|HI<URNyo?Zs7O@VsQhv46S{=A@6+kwP|UQoyh1=Cb|X zP)@M4Br_n}EL%(|=XdUUMJ?C_XP6VIEPXu+UO+4mTG(DNx-bH?!GB%c8?P>&`^6id zK)T)iIeRZ1v5bkHK>bAf&`EcfudPNTU#!nQ29ZH9Mc&h?ymb>~Hggj9)M~mZ^l^Iq z`<+@dNU#XMBks*=Y*ETwbt0~H&@a*^=R3%S?6X~<@kbU>ImoIO@D-Y+y|GZiI-e@s zHUk7p8_0&qB1Wb8aGXSy&ZJ0|>HtyH21?5EnH|DgrXbuZXGaFy^Fig2bwX>Spr<63 z?qW2uIr)Nng-zeCY0>VnA-8Xy(rwT36klaUT{f0v<#7cntSjKKYz@OfCbWUCsJ-E) z(Ox6fBt1JFGhD_0e4uAU>`fef7zTt7k0uTWK_NssKs$tQme#4PkZ>KK1i%?Gr~?!O zPj{3JLBc-QGbgk}X6{ZUzj>BpkPe-^3S&tc>>oVW>#tLpj=xdSw9osb`7keTCoBYh zv-Ewd*9b1un?P9!O#DS8t6fMc?fj7vYsGguAto8?Yq5KX;m_W!ILt&mOl-{B{`=Q8 zO)ER4v~BBe4`Q<_(hPN2)o>lIm)}@BVy2>JP}2dwtqxzeCA?rk5_EwSfDA~rF3=23 zLN07~@O;Cyel!kBs0Rc90A3JceIPqB1$AgKbYZIuqN)!hL#Wcq9vg-@=>y3DPLNob zjwqek7E-?h>C%Ty^E2dGAIJ=D)$3GTeKC{bjm5hv@@+RUOmhDP=M$Jb-i3l(N5uF; zi$syCYltiH)s_)@AG&x;Wv1|ivA1Yf_Z!V{^4sJ0pI&~LJ<i6FAEL^K@5y1dt}O}j zcor|4F8FylZElkr*j)>Z_~@qKA(>SQU7@1N$9}y4^-SE44YxT=u3!p*zV+?XK|UD( z<pB1OQv)CuzyU&K2qZ(-UzSSjQT{;7_DEy}d1DBqhn*J(Lm&xY2NGcj<N&;ZG#dhi z0UMB0L!dmx>3rBSP(Fcjnq1fT%h_t!S2c24>DTIA>s6AMypVTBz&EhCEF&N@AQ94U z1Qeo9!hAw0HgkAEDxu&T`v18xLL|}<34r|kTo4URL>4faL(-bS<>MbzupwCk$pwRk z@H(K~Xs&#MV%9t4aT-6w!b4EWdS%9vbIBCUOa6{??2F<T1%JtgU^$G+9akY2cPiuO z^Hfgfqc}Ua&(VaYrmlAhgaLg7KVl5%HTr4u*jgXseiNw-Da{2-&3Q#kiEYnZiJLzC zaJ>+Jil_r8$hVVhKRqrCmDs*x^BtUJ-i@n1j!@uBOXb9M(zAkVHhgLh@LQ(3qII~G zX<yBh9o=1sldn!lcW-y9?x?MN?(8&iy1P6t*}x5!(0>lNIT_N`1>&YfX9*!brIJw6 z5lB3fvwKhfKB2YX;g5T1OL>fl#mhJctqy&c*HZ*<&!8_bnlq-xffh4;vrWmX9s(Ug zu+1}|tSM|*iEn*bo7^41UZp!KIC$reW5q6DAHvrLsDj*@xD~r>IPgoM6yLZi=i!6j z<;YnREhXN0;9(G!l|-1^ld~G(39@Jgd$oNEyp3b%&<_{l`y*N1p|3(M5fIpTXI~Ow zBG3wUeloDHdQ`~b(G8KcLoiMZ=fC7KCS>g%|MX$pSuCfg{b3(1bfYsh8*-<)lXNCg zCvfg>$4c64+_$z?vsR{?qGh;V32m=MZvM>I+{k5`FuQQ4x*p2bUoz^{Ud>}f9qr4e zA6v|krNc6_mXQ(O*d#Bn?4+Dqa`8RhSWp}69gu@Zao*u@QJFDv1SkI3g(MLei5E1n zZX{+?sWPnD)h0%s6Hu^3*%Di_%UVhMo}g{IxZ#@c;dm_ft6S%hj{c*0&>5w8+>L^= z`Kn$dI}69f4|p4n=W$ZK*3ZF;V|G~p)3S}(P=}*+s#nQq(&F53DOM>z0fI6jcbAo5 zCsJh<#28!BdC%tSi~cggpn9hkC<b6%=Y4z4+K<L>zn!CS)^UBmI>Hethzl^z;|<v; zH2$P6d;^Mg(S7@i>g8j;w{yxY7Y@Tt93pf`O<o%A8lME<tSe$-6X7L|cAl445+Wa2 znID?Pl9Is2f0*gA%W%qt%xBs?cB^j!*8D>KF}TZvhwQ`o;z_7O;&MOoZD(PUNO~|9 zLzs#8pE35Y#LFJ(O{m$0uj>w(uD>A<d~V8FkofGU8a6qz1EMb`cyCZh6xK>Z0q-uW z`5^*cvA0r+G&nJ^0k6=Pe*#117U}mhhy2>MEMjm3Rjb#S<QQguC)5h-Q=FDBHCQ|T z79?iSKTA)`f^EhjnYyF<_>BG8kZHzx*iH|Zt06M7+sLam9{45s32{)Ivlc0(W9eEt zAk^#DFM7K--%xfB1MgNA__nX%Z4X7-x&T}=eNyCdT(P`91-WLckT+2@jc7PKPxPHe z7Qsuc6IWivt>gahLjfd)=`qI~L9j{gw1Pp8+`R7Y3YlJw?Pt$Z&IJSN7fD*#Z@o4+ ztKk6DNh!esUsM5}89p*Gw^qID&l8Rc)H=aE${&+7I#oz9Fe~Aqk|!Nu3q^+vWCjsY zz9W`jFUBi<a6fOFIM%zE5Z%|ZI~n`C)J!KtQtc<mWA7(G9Dhd6<PmvP^MXmUZOnpG z28r_L1>dH*5_}S&jDEGjS#aw$z47?=<#2aL)pD%UU~V%GRE$|Sk|S}xpd@UX2Qp1K zqmFT#g~w5nf4hdgY`>PhJygc-@I`*I+bt1mq<DRMJ7pdFATVdHa8=Z2D&NZL3jv}K z1z6Ik=`x;Evw?C`IMQ*KRtlWUpNX1_|BN@el4AfhsVAC+!{p{(ZT4QzqGzZ^Q>#yi z0enG(ClCa+GKklI?ksY~^~|JYZFSng$1kL)$Nf%_P-D+5T$HGbnU0t2_(tzVNF{ie zE9EF3fcvapbIxif@VQPSwAWjVEW&QoZ0$oX+l#c8-<LBzf{M}jdn7PR6;A=@om~AP z|5ec<nQfC}V6YuB$cv&gg4e)qM5C<Q>_g{0RF06mKbM`9xSpoKZgaDqRs*;*{M$Kf zO3ttAL>F6SApzPJy+>p_YMdmj9gGcO!5!Kux7Z5SlNqGtLw1IuJ_NN13XN-am75Tm z!8bcy($=$IQuR$fSb|GN5%KeW16<6p!V6Fa0zPJ2o1FeaI;+!;MUj-FXl_my%Zi&| z#quRMjMhQ<ab<iUKX6QBn56Dmjk2AQ{~8g=GZ!vNVim3+JRx}}n-3#35kGN`9(ylY z8%0$}9y>}iDP3NMa=AUGGxw))Ply7tkT2D09au1A`=fTj*aBGfBSa9dG-ZnVUZ@d0 z`E}#dOyZJYnK6?Jy>V)Pwwl{V=P-$nb%z!+HN5Ohi6=QVL2I2Xr}PxYD&Iy*3qUk< zIy^2wf;c)}RkY6>lOes6;w9;{!$-lxTqTtIueMPHaDhXu2lEsoM1TBU-d%C551HXy zAIS77(^SM!-#>y|lLY9Ra`}v?vbolOQz%gx&ptXG8)&SiAt2V96l9~i9BsASJl>|N zv??$=^)kWb&GdN(G8-u2Y>+KeH{Z%F#c|*oVw?{}3~qj-W@A3!qr@gp6<!c-&yCOn zHyKCDb&`1@HHLIt@_6J1`Ph+d`Lj(ASvu^~$VC01u>^yE(6N#5;v@|f`#9@=aZ)yQ z&vZWR-D*ET9pk_@D+<c>QB&*E#iliRhi`m8ZiI~5+*on2i)%`w;i8V~7Hx|zxh2dg zKVTf2#&6qDV=FjP$|mr%IT6yS<k_JGif#IVbCQ-b#U%f+Om|;p{b4URM)yq-v91MU zWyqP|3oQ=VUq+osW1F|0WnjUi08Rj-AKR1EsF#R0gb{PoFFfoVr!b5UcO+iP;-a_W zM^1Gu9HK%1&BjLR4xEt4w$u?th6pm(2S406>hZPMIk>b6<He;BT4V~)Td^{R3n{&5 z&ZNT>qU##Y&tyaomu8O18Lg#CGvUbM@`GH|BDGxL@ravTq_-jy{XV&?ea69ngpLjA zFRf<t4PS>46aw)zOpyggsOp4hh&W1KRlX%6?kLwlk}%#5d{fU9QYiC_g@hMuLuWh4 zrr}{u6S|S#`*{n`_k&6jZGfmX|7}ZA%V%gi`&f5jC{?Z!P}0dm!lapW?Ul=<S%E$W z0n<t;*iLooLLc5Y=&LXNB57~PmRkn4If3Zz#ZP7$F?nW$;_z(-M3gUAzVK}ILc)1) zCFPAVNy3BTwWl?~$#8DjSd*xe@8qMHqUlo(U4+Gihbqg=lRL!Wh&D)ug@F7G@1vvp z5*iim`d5Ba+jXlr(bga~+Or98L`kAEb#Pr0fRj;XWpA2H0dhZC4VK$pr?06;iPcUI zt1ty72vi>}eYjr@64EKa&U|P8;oV4)$d!v^^ZnWx)&T?69(e&xG12evA?oSQu__}u zBxpHppwFZCR~a{kj~vWo_AfC7{qCpKeN^`>2PGgVnsKF`BnJ4lWPLBV)~D=pX0u2| z5^RJRB8?srm-Av;mxxEU8&f8T(Z8T$ZL)-|T3=a!8q>&0Py2IIx;Ppi&tB{kebYTH zH9am5C1nSVAJnEe0u*>FHdr|8jT+`$_a_kd4+_<56~YNA((8St67gNVd3G$(M<lDt z6!-E6siyfU$DrKIZ&B;7Xc|bkUWZ4JpMalPVz6u|B+Bim>3=lQ4GUZegfh74ZXph| zJQnwWEuIr5rUBrYHHnnXNg}wjxgQsUw#DS)>(WHK(-e4+m<VQDy`hl10jk^3{ql3K z0IQ8WJ#<`6_+>`?;PsR`<xg*b-Vi5YvG(3^&;2hQCD-Z}q$Za4pRQvaqEpj5MZw(L z8iPU*svJ|4-pT{q)qy=-pas&sc6Mmg0#%+V4Q^-uP2v3lu;C&glz|$9%RSqa1WzW2 z;dHc~PxD*uSbeHc5f>?$&z^1}F708>>-?mi$vQH_z$)!OctTvA6PCW0Lt)~bNNdcM zQW(R8_q@JwNIrH2y0jyM0mAxEVPG}Fk+lmj$yMMVijFflf+?@!U1bqVJf542$&6T0 z|EhM&Jb&?hus|wnMtR!fN4X$zcbUHFcO|7r4^@8M84OWuSNwtJ)iZ}1jN$D(1OklK zuaHDo3hA09-u4N0Xg4|uK6}~Z1~t=y6KxL`30_BWZ=qXK!z*cx?780#lYo^~1Vd@x z$o`t#**>h3pEB_uLgpsfj1%=}6KvwcWXfZRyjx-)c|L=qkbb;pV)HJkVRCk#-Iip6 z+J^6VjL-}Dy3Q_gi*o;<JNbi*KzE1}SRz8VA@lCf+X*9AdTJF-3u5vK({6z}OyO?L zUIx9KL+(91`W~k$DO?&plXS3Ca-WFXh|3-Nh|99K@_EIDkW~O*JkY=|wbVcTGb=7? zv+fPjm(T79q%0QPIBb$?qU94mV?#@N=LqYVeNjKve<|iF=p1L_eq9>XE7E>77@iX@ z_ZEZs&bv>b;mb=BIvq(=4PC^UY#S%Kjj~6?S_(%FBe@)vk{G7eaQzCnrJrGhmer++ z?6}Xf3~ooeTaMmEM$KnoHjn5P-s@6G{o<ee?|sHu^3$40+*i5+CrDo;X8Y)a4_kA; zbSU~v;vm0IVf)-~ia_?(VBh2}-0&BokM?hZhr0Z?Yp)+h2tM*q_)N|yPerFBi!f}! z`AkW_(qbCd`WWoF*s(Ty3N{r_?|}ojcG72ZU@bTYJ*w3?h2f<puQ;anvgSHB*|GvF zeIak?rt%O?YvT=cqGkyl-t9u#Yx~7-!21XrM>3190EOPn?R_Z0a|vqv*7P(JYa&v| zN71K99~_j<Up2+d#;9*)p22U2{F+g*S6={0%p;8d+ZUq$`^Jo)4^q?%!~+To3Z(UA zvVaYaJ=R-sUg~;6w+3@&`Uc~upNn{7EGtHT?$94yhvi*N`y`KN$mid?{`hmVF%&vg zVx_3FVZ%okisss=$L0<G(#8bo>HgX0<w1zBB!wT~KfD9RKM!UdPC!+$(koSM5Y6q9 zuzaPHji{1cSN$@MmmlD>-6y!P!g;>r;{+BTI|<)kg4n8=DBzq&muY+p8>^Nio+$kp zGJ_I_OMMciyYu<Tbv&+SqT2nlYJBR>E|!{rA&Yg}@lm<Mr)T32Ei0D|4-==+y*;Z> zLHExqS7R~Jj24RIK=3FoWeI+LP*SM)bs&|jO1a`Wr{E>_r)91IjOMs)K|RI#l0RVK zol$-KV`{?4q2cvmUetF3vs&vBWpEj9?8?Va-VLMQ<spy0OHd7{InRrZ^_&7(%~hhm zCo|gMAV0*;VonoF#B5Q?RQXBAJflxg<7T0aQe!}zOa{_TjX#1+3Tzgq3h}A%*s_U3 z%FG!Xa9)LQ{JwA)y|0^;aFoSe1-pP-83oLB4c;4R?@qcQ2K6##HSHMjHeBSZrGOh; zymgmczP)#`4=OkNIMDMTqNg78e9PwBvLGF$W()8CT_(%vh35xhqfi75P9k1*cdkZ| z9Km5$tS|Z_{#cNcs^R|bO=$Ha`5(8Z{kBQw60x2Y?{+F)x%WUn{AZ(@XQ~>oPqol; z&D&n6V!8IiPzL+{m`V1leHDBDcz`MK@i{~Gd!4zs=K;#Zh%UX)>U3FJ0UMHe(UxOg zHoCR7x<hb+I0=T$^_Lko^-eMUZ3CK4;V2RvmOrgoC!JQ7fvKB>8Fv0_+vt5d?tN|9 ztWN`PMjD#L!gh#JEX**NG>^H!9#_rc{3ZG$n6z{BihA7{jfc0@6@+YtaZ)F{tM2@~ z{nvCH(bhKxq}{{n$mJtWAo0zbH?>)dVLt!`yJfF6G{4Ww9`}4!O1yEXq^mbB!oM?n zd$ho}Gx?6~X4UO2?seZg`@OYu0-n>=RZ7Qt<B!2AAN-|iI}2?+@{RWc!DsDP*>ztK z6n#%hI*)%Hw2#Fa?@KU_co$FV0SpxU8MHT!+9k{6!;Uv>t!2dW5*tF`JI``K6I>KG zvhQ?Hv_K6*$U2<&Mre;!Y$*v&dplP5xt6&7Sfs>(JeMK-nRj*PG>PwoI9?E*xMD>j zut>2@+->iI#hQ1L(5PM;f};dWkn#!_MwG7$OYo<|Iw-_5(?@3r{?x+$OpsbHv^ttl zV+1<eMV}@zZte7RQ6$wKuR6~7c=LC4xZOlXeQ=7Au0SP)n&YGduM4(4?44fVlPjX@ z8BAjJA1lbC1%xjDq%`*naXH0VQ`-wt@YJ2o!TdHlcDp&7D~mJW3#J{$z7RUV&>cI& z5X`7fNVC6ta9Heg*dm0|rnCp0BJ?iG2HoxX%{jfsdJVR}QljOG<g_ut3cW(6yLl1M z29rM`Il@gyggr|<KXuAkl$vaJLbbKmN&Bfem$09o{I-0ALBvJUXwwR-#%ub16<>h~ z2>HO+0grR?bMo0IupQORB|rooLx`2_;Av-sk7HA+<UHJ#)Abta(5U(*cPLEizSpCP zelpcAe9>gwQU|)Cm1r{jom_X`=43V8FnES7fvA0SJM(S%TRpak%o1T)6eedtRl!QD z99*5er=$xK+D>=btpn_(#`Ay_ydwdLxS<MQQ8PP}gg`9}{8CkjD|wZyY#{N2Eo`hS zIFIOr-HG8z&|F)H>z9A-j2Rv0@B7C|@RBdBHRo!$=s3!j^=`|?Lnr7GgN6{UM2*+z zLM>t;c~+{)LX?(JxN5XV=&EmX91qjXx!d!=imHj6uj83~8liC@-f*0zZ6sL2%8m$X z$)-RqOvHo@KCWV=s$IQ;GhrG^;v{=)(=mI#C_$3=!-N@hIYspJS|cKs1Y)5B?H!PA zSK1UQ$X4MY`BtfUuGBym2cJYXYsSF3yK~jQAUgXM30L`NS|~C)H3U9yEEM^=7GE|v zyXdTFCQK&e%x5_Wk}?%)jwi8Wdvp*(Gb*V-dtcQ7ZcQ+?XfJS$|7!muyX4-&_(@im z5B43gI<f=)szb-FxH2*UWDLYg;pq#sC;NpW`@`3WVP7ujt1?w&*$hYSjt3Hl!R5}4 z`hws|N%c*1^r6<oz`OTG&7L^a2x_mVv%3|w34gJPA(V(z@=~Fi#FaSe4c^mx_pGcr zz944qftP-}dC?f|p+s4DMWo~!@Wwo9?$&*j+^%7+3c`sRr^7dV>y3A8k~|~x$$pxi zYj1v_m?gBVfwBD){+FljLsVIO!y-G@a9nf!mKKJ0IyOTi!*faan%s#y4qlGt4rGRN z)1$ib_&_xH1+P2`Of$YypaEX%1Alv;eitym9lUSgOL@L~k(Y<I2<a1Zvgi(MnT|5o zGpHeF3Xf(NXVOLsxG~?%V+lAruAl!fFw^(CUle|Pje?Ngnli$V*QX>>;RZV?`jOwn zS}bRE6XVV|AFI%`n_3EcYa5S-1XcV-&f{<c@cWyPe3Ig84Qa<YG&2-=bi~jcSLgW7 zk6@GwbySw&raH2Bxl{8VQuC?tfD3hv!pd|zJ`8TVjvr<+_kH@rCatrLK3i<~91)s# zjR#o|N7|d)mTV}Nx`ttzZB<9Wyq7X0wmkydOK@v0Jb%RO+%8#2`_Ms`?acS&BrCbw zzTsXxgjo#NU44BDm#K7{9ej54F2YV7Aeayvj$i1vAzCIJap^lBc6eoWeaG1mPIxt| zJgpG^CnW2Q7Swo^()lDqgg*i7n?{Hk*!FbjU#@t#_C-Q_t0mmxa^Wxe;tZ{>SM5pD z1P6vsh`t6VUvFnIrd%XY&^^nfhPL#tE({#EU`?u1Hj0FPVnC#p@ZrKsd7Ik?q66=w z(IT1rl%p*jEC^uJK$MKEpB)e=R5K$>{+)lsN<bt_;l}FOt|CrKai56F6hs)M+~@-^ z3$a?$5P)8Z5BzDG=d@|P&Dy#h<)rP|4O}qjeoPo}rwu{hSaiz3a?$sYVkes3{!k-+ z-n*1Z{yGxR^PyRY-oIzP<vN9(<^b%E$feNytei%bD3{pQ__EmdR$}*qclag++gBv+ z(o-i+<~MAw>T1^Yi@Ew0v)=Zn&S6NGYeh^cAC>YDnOM_$A!(+dy7DGBEmJ*}Mv11| z{Io<4?{*8UG#Zsn7Linh*x)a_o6ld1VM9M)o_+B!yngIPuCVI(aji5A(j^0TRM5xv zV0?4~d*O4+h^4}9_AMq&`v~L{&io)PEmT>P8c}d7M`Sg>d*5%npH3vL_A<e7<-Uzs z0I%{ghQMQldZm{slizJSVf!YQ;YX5B$8cyJ>6rkT%~D!u9|m^1{VzT9cY!8haO2h$ z&b*C496Ze5!^Tj8hu{1~__nXWBueNFXD7z25kAtmVnb_P*SEyTjcf}~bqetPRCqYx z0DA5euTXkPq1v-Q9(-1`S`Tds->+JHc~h~?GVD`1Qo=z!)_PAdXx7*c%ymzC!j@~I zR5456SiNI7#;~r^6$N7ICljQ3_Tox8*f7jCp6hT`ACnXKV`|8be+pfL1LZlYM}EM) z>||P-y)ZdsX>+!s{6aO6SLiF%2*i+iARS)fDgX&CtLJ@Z5s&-?eYbLVxDS~yRwlup zA5IkxCljswTyNZOI^7neU}}Fh5S6s)N6P3HJf$9xvX+50DQ{H@Xn)N`(N1mdJ!#!R zJm<_^w0Y`suGwgnLb|R6)}K-9v72le3!Tx`-l*D|Qz?7jpVWX_ia|@rYideS+w<Ds zQ6E1FyP`sljH{!d%UWQ+TjfVxA)9sy_Tl)LU^&zX9QNHnJo9qI!nUhGzQn++w3f(X zY{Mz-rR6eCmA10=v(McApQW#m98kZE_UiXgy`FK{o6^xg`9v?CiuY_Fi6I0ofLKTY z_|uh1Iy=Vm`vGCB5R>UI(V%5AU5)fe>1p+s;{&}ZP$bs{mG@ka>;InX|9z|%;Dsi5 z1F1j&K8TqPh#r!BiiQE%^aIKQ_@Q+Ez*}4ZKg3)IME5^IFfDHt1Cp2sOaXBHA4NS0 z79s%sm;^LNgpecxc_8!|zy<&}L@Est4|<RR{D27%{7=KH47iLA32^}8L(Q9jM<}qr zmv_uzPNtneDG)#q3fpF=A_I7#XJ3J&*zjD!|B0ep0fPRH!h`bf0yQvU3IDYpfo5L; zsZii~1Ryjkz*k^p7cxQY?z8&s#xB?UOe7Ryz~!ejICj!O;ZptpSMnBx9HmG$;9<|1 zAnV%4&eRsf=0wc?)Gt&~GLwP>G%Sfnp+CNI*bIH{pdX59BTt*#=85}(PmWOd&Qmtr z)?F)B6W>FYPBNYB?Gb*xaAWnITNMYQLqS;F3<!>*MDZ&a1z}+CmxXjfT45og4v``c z>a?P?osdjoaV4P`K`3tnLKTlSL|PY_LoUQDmSY#LEZUeBnFB>FP5FCjLb##^_WMj! zM6yB<fG++G`iC<3FeOZ4EM7}SV&ZtZ3OG4^jo=0gP7y~pVcY8o0t9vp6B{K&Rc12| zeRXVP+dd|6%bRI_-Ek%~zp79v^ClMDVcH{R?XO`p$P5Af0VVcf5c&|KA*7Jo8j^_E z{8EuwM{jKT7FJ2gULT#$$fS+Z@0xTNvYk>%CeW!dhy<(w9OZQBKZ_UPBzfO)Yc4Ox zjWQ=|W5iF*+8b4+h2L*y=V22M5f>*9Mpg%_2oOz!jq!O0)lD1|Eqg28U+It_d}29} zE}4+4#YBukPkw`v=2W7i!%r#v5ufZF86lXVK@&qAV1p!{%A524<aM7)d0U~j;&%36 zv@}yiTWVSY9Qi1Po^g>nSqLwF4ob`l0fIG1=2Zknyw1=y!lBXxHT|&8`$i5k2pl0= zIbwz!t%pK=*33G2sFGu1V)pGo4+L+iTlB?awwcp*Zpf;mEffuc@&cp+f7@IyRlhFF z=TGK~LcX&!=r^6RU4j%E8|xIPRq%ScuC@zpwte1P`Ai_!ai;3;{%k+90RF@C{KejM ze6N7%s&2q{vD<#Dl~axG)y}w9r(T=pT{Y3TWul3B(A_7&(3FQ<I`yfInG^>#qes76 z^SxEw(<o*16||Rw>6Zjla6NTJoWz;&;{|l958iZ}Bi1&2`tW9{-gd2lG-G+t#EO`3 z@rqD_axmjSbN{YSe%S{(gYQ1RmluR)`ujYF=7<*eLtKBg9@1n$-h>**6elAGXHKW6 zDI4QerSjO3+7@BG8sUCiOx#9Xxj5p4hzB_xB`J;QI=2z0M@KC+IGTGyYa1io*_?3j zn=x5@u*-uu2VpCOz-}q%>1NJ!7~}ZxL;~4C)@N&T!j^~$?;P={Tg3Y$Y7{yY_-gZa z%>3_|YvzJ&7101%igLA5`8(OwUSq}0#RM8XHtEgc2Wm$vDkaiz)$@Y%Z@xc`caKTs zboJVYe{wTtKjKgLgUjt+tHkcftMg%@t*POywMOx_Izr@splT$srr(Yc7$lCRZi~A! zE}`eph|`Ish*`33r@)Dr-zc03HtkJNeO`gzPz^A!o(xHbT)JM?S-4z9OKzr4AT>g{ z(*_MUML;>xfr}I(T9*We4w7j+CcefO5&nn0*}UdVQrZF!;Pq_V+6VHip<xf+(=Q}v zD-%MLRtkIa4cU*s<`gJbda2oNt@BYO;=3*gExsnWB^$v$hWRfdI!X(;$OC0OqlXwF z@*a>A%BJr1r!yK$byN4G2i)Jvfhb6dfr??DB;LV4B(v9ARA}7P+3ZX2n2Q1<-MZJU zT@nKQm&Din!C4(E8uOGV`LbQo&340)@S?^MK`FWTw=D;6#!QQLAuHF^S11?*bZ4); zmq>;Y9S4KhSuh6NZ?g-I;LN@HwkYA{H<K%GjV!Vp(7j{w_U)9ANZ_?8`=k!{n-wlu zrU#aDJ_=U(cKK}H$ol(>76;M3A~@8joDQngx|DiX2|jmyRcqnHkXpUG#yc5KkNIJ2 zj>*PB%V6ykE_JL<b%Hp)x^kqA^me?>FFC&Y!hg@jLCOYy;8wS+V_&<Ha<58@s_~Wf zefLPXgOu4?;8*19<mol&3Z-w)wcbP5M#X6gW4INcx9-DhG~uctAKf8EDM;rJGcGC< zS{I^e8Sr68WLFVue+yK!j7E?4R_<zGd2OKkyY=8)9DkjQ+R@VDY)e{?ThcZCd^h;O z<ayu^vup6q+@G&pxk+VH@|b(kVGZdiF-}6|YvBpoWj21a(#|{E#42%Jxm$l0FObU> zQAINev3T|&LSp--1DovgLrf%~h#(WMOufm>J(>scNhj!rX?$PD{FkN%u*%6tuS4p3 zHhPS<raLUn;TmL!8x{x;o|o%C#m5y0!bgW_r~wI}Sy&)dOjup}yZAg%fcns2b?xuQ z6bonw6;>``byN%DA_8KBVDW=+;RS>tl_DT&h=?{w0TRa#%7uL71NlMLbwD^kf&YlP z5Dh`l0)$Bb#tVi17n1`~69$b#7=>VX)8IeuP*`8?00@}~j8Pc>!^A*!008fQ%BaI@ z&@sY)%IkYsP&6_u*T2gvqADm536?9Yn)^duv_N>URJn~oOi);2i~vZO7AWAar2dOb zAZfa=u}yVAfq$ih0~F-_+r0z=wSqkjwCaOuAZB{75LjaW4Jm@A8G<kY5DNnshUEss zP}l(807#J$jL@0>&k=&20b+pw%s>Z_3KN)QZT_$Hrv}6Tm9PNG0U(EFpnwdkf26-h zo`Qs1!UEuJ{-xb^ATG$E4X6kbX$_MQ?LhednOO-0Ce1)%ZDCVDfB$blZas(ra_}Bh z3rVtvNw|*xO0WPX$hjk^5|Zu!3W5+h|09h+E}cR3kZdPd0Hy1{^xhRli(Fuo!Tldv z1YLE9<pBBQ2Ez`X|6*z{kTU>s>H))OKL6rg9}qD-B+(m&wf+9ZsQw^F0A%?C3||HO z4?|dDU@1-of{r2H0kG)`fd83p5%d=rL<@j)1i>QWLjD&4l?(;d03etlFl-<G4=#aF zM}Q_FM`0i^#3}MG3Jr<;>s+0~KH5M$qyO<Mg2D#G1wejB!Ejsb-x%gN2PudHl|V#e zVYDayf6kEJ6j*lZF(6b(Spw)gL^>X(gOdJ@I!=N`MJ2*0TFU>Tps*-B03<OPhSk&l z!E+G7beQv8Dr}ZIAOD>tZ0+CxAgk#x=WNJ7J%5AvX2Mn^1q4Qmvi|9!=s)=cX2Xsa zT^8(w?&bVXg68CcfbbCe99RTd!9TbJ^7rc4v;m<(;0r;;ko<g@PE+*%(kZK9I&v{g zFD-=WOeO#5MUcWq*d+xl1#tr)RmCu^vFsmh1hVm0w~%sBDTJ>KCbd=kBmEu52u=G0 z;sHQJD`1**)j!$@grXX@$c8Fm$3day-{SzgP~HO|<JB<d-MW9A|IU9FVpj*F#|{6` zA}A~?T>!+X0d@?$KL3kfHUG6x@0wuVUt0dfuC1U~0LbeW7$$1_7mv4rDglseC=6eA z{EI8TfXD%V-5l|uOP!!><bUpm5ksIt6xgK*+X3K1MW#TW7_i1)cS?x75+W<~WF3@) z0(**w-7e)J(|aHx*nR?KALJ><P0dC94wX}$k6KWW=f5^T%;x>CEdaCm{<dGg=6vJg z>`5&qM$P#~5Qh1o?fW1o5VnbMI|jJ{;01*tZpwIg(BHp6Ca}+edmyckl?be`fr4BR zh(7*8FrfcGg9-hg!G!)94A!d<gxVE>NQw()@&6|Ubs?B7@L!vo8`co~Z$lVn3;lm{ zgQYAa4DAOXe8UC^q+l~)3iF|Is#rVQdfHL*zy?sqM0^D{aL^<h!+EYV<=)~*|FQBx z!r7><-;Aq$_;&_PBc4jxqD5b9giZ@vOrB}MT*(6U1=q2Im8N1L{X~gvYsI6d+SIku zZl>8=78~>+TFt{HUJ7~-10Gg_Gy^UNilbOzfO~Bgok)V(c_G%ggRrYe!zcS(>vz7S z+nHLapAc-oMKo`UvEflOm!`wtlt>O9Wayath3zcja7T*nAWiz>vrVW(M03QUSkhvu zprA3<SSZbo>+qJ@**K`56C#YIXW$@2g#smr3sthSGE{g)J<H^UntjJhX37w3yv*d3 z6^-q*2ZadhwBe>Ed1`4W_X*}QtacFQOtM0*3Q>H)O;@-P#96u-Br%-ze7xUS@WpsV z-s7U+OUCh*qI{*)<g&cj<^FPUaG6|%vWXtetxPBO)7iR|W2ok>!8CI)5f)}`3ML=5 zz}rHGWQ&+cEA~Fbba;{wL?t(Y*bu>H1N0m9SdW;@43MwybUSkc>Zj2-KGcm_ys2wq zgdu4bFr~CC&4ub<#@!-Njhztd8vBzE@oo_sl`I_h9*SKCeG0bX{y}UEu_yQRbZ=-O z!fG@;JGL_FyN(baTm%E^Ysz#u?rQ?iaP%THm3R$xDe64GcyvJWE#)9!`CMHynzW`E zH)5Juh!AieGV)Nu5QxxMj3gk2PZxo`{fhY&*#7;TR;(-{92yE{BY8T03<h;d|1>Tf zCb66W8=>k(7?T>}5TU4NZ<txV{>5!QILz@w?}NFfSm@g5kZ%B=??bwsexrWUu?^S& zlXVf}zSeQADvOK1`t{5F=`X0YA$Jxj;*htv{Yn~B&GI5hgS%u6k(AGKRy)`euDKcx z3~kMECc7pj&ex{a4aL{)Rlm4h`u*}L^7E+A6r8)I`<9EU_<Fs8H!>!)Ro_iL@cl{v z#ZceAy<AO!4v@`$RwwP2yfx3448Okm>Y<oKXMeP@w7l!cSL=1PM59b`<BU53I|AK@ zXn9|Q6*JUiAKqVlH$!|Ru2s$|jQo_Y;7oEdH{Xbqc?srQ&P{0LA9uccA?Eyr3Acq( zq;DnP<r)ngDO1&la2lh%s0?<6r1X_B*Za?Dp|AT5+81%P$Q1b=YnCgq-Xp5kt2SDl z{t_AeWJz-<VRE!JR0>WqjZq}J0VlK$#1h;^e0rEBr4YJL<eWtu-4WWsl5+4*0r!6w zz8}@@^CF3I4L^EA4TOsPq_i78TIl0939G*SjixJZ$n8|}8`<zzM=y(0dLrwc^e;&x zH21p{GA~|N)7*KlxDoAjw$R@p%So8eC$=fxrw(BQ{W1~;ch+ZGoCd#sts`GquTBOB zzoGOzkc-=nlrardXe4txeuCJS^nrC`42g7UYR1DMwYReZaZbOg7(42u0m*G^Z5TU) zb>nTdoi^(pSDl<c1a_oO<vap!8q4HXF<pPk${xtYVi!Dqu@luy<#wI5=QJ4S+~M(` zG3aYas$PR;2$ah4ab|^;eePd}Z<spV)<tyMua{a|d5mb~9h*kX86g^|G6y>hxX;g{ zKe!n+_&89ldi(wH&?w!TE6)ug#+drBk=t!(iZrFF-Rd=vpR2{hBuyN?U)R4cPV1Ur z`apes8~wG&un2_k^9}){!=~r`VjaBQd0&?8EzW0Q&zSDCm5~j8iJOo~OKI|}@K`lb zO8FbBxZZ}=o6oqY{w#N{(q!Ogg|7wSdZs!GxNE_V7lkZL`<kgo=U0Wx)=nN$Rnk*B zH&ZhWeqC3;LOvkvKln$<txm3|;~VWX-y8Q2t~t5vL|-wWm7p5)4;l^FZ^jsvT=k6e zUk1Kff~P3$8GYN;ZBt<q^fAxRKPu1ff*ML)?-%mRBxxY-;ww+Av)cq%dBl8>?o;$V z&Z_TqwDt$rg416a$x=|c-!bT08wz4vR?`>;roTVSuC-G&yLD_G%T!bNwpIhzzq5~> zn4c0&`;bV~z*`!ajOcaR#z(x!qu?`SzO*v;9sjY7W?228e#$U8(M?q=1;_dQcRQ1D z;tHovjA$sblBREgL+Z=~_@T30eGGuOUWX>!tDbH$3P21<|I74rD)PYSlWz;43{5ig zV4p=8>3q{3oBW~3O7&}}`Xs%T3G*l(FK7BuOcoJ_iN#(7E-LqxG)Y+IhoTyp@lLyQ zT$l)s&LUEh9vnxrrnT4`vO5sHO69?ZA@1mLv|U=+Jp?jvBN42v2Wyk3{$&}%tc{zv zakMfvm~0*j$s+pZ@O2#ReA{|2f`^>vO1d3A>qC)P@Hi|9NgEU9EE--;WbQ6lGf~#Y z1lz*z;|D3p@7jAq8pVo%YmBZZv2);Eg8jUl-e(i1%>pDe)15x&Hir0o<+-FqJvZ<V zf(_MX+#ZVv4aKRexmZgqkCVvI%jn;zqL!5Ozf@j++~7KO=MomSblJ6d<?`eP+G(rj z&dzT!k+i3SjRv=4&23Nkm-PdC8jcrlrp*K)fmF-vvy<jb_!UF|*abi6{lK`qAz4kK z^IetG;2>;{6`{+Hf7{Vo!oa?r>ly5u{PV`E=L16`B)o{q@m=*qil5I$>AG$fzL{^7 zVmm7%zXWF8$-)a|!icr`9LZ&EI@pS<CQj{_rYqQIZ$o4)^X<q&&e1bxNoxbCo(J{Q z?oi+6m_)<Hf#r~Q)y@cM_=xH~=j$r8Hr<330SUeveQgDEp;l*>kRXuv)Cf4)NK-8u zmDu)iS8*l2BW8&x3HnGSZ=JeBQm)st>lw|N%UR}~6yAGy&NO|pFyfQ!$wQo>(jW4x z@w@g$?#CZ&IT-H?Zo1d4;J3g^TP~lh&lq^mrO7q`S3c;F@4pk50*9x#-UOSvX3R&M zPkp<3l_lMn@`uuiujI3zx>x}i{rJbsPki6kh=p%X_D49)(iiR<vdJN78N>AC_su7O z4@fr!Omyf~(*kI+&c0%SbMzB-N@iEx{u;Xi0z6-Gz8KD{c~k-xFpu&!YP;P1M$O)D zz65OQ*nUY%%bxjcs#{TV)p|d^D3Eyko1pic^#rrIq2<2K%MV@ZA)ZYhjJ-BQ#->`D z7geLutLjJDjQfDx|K>}4sQh7xL?~3Xl5E6Mi-)pLv&0#PL7}=?*y5Z~`I&?5HVp&K zEqnkazh(N@p*BZ3z9VSgXv#HzsPU$WYUUeFm-I+PA+(xngdqt{Ey|>Ib9}M6CRUkY zJpHmtthx>r>~EBxkJl>r|FHFzQE@HNwlMDQ5Zv9}-QC>@9^9pI2=0x$2KV6Z?(PsY z!GpsiC+FPzz45&twMXx&T2-@G_ZWLFskH&pXADt6S%|*t_%IAUl|>=M(T*sj5bxL_ zhmPXC#~^OW^Vo~Ww_<WqmV{!;RvY%?S61IycnGvYOuT<L989g4*|NtCnNoRHf;X#B zk=rZJI(hFSaMpMZ$p5zDwDV!FK8|Vp4$};MHk6u$vO@;hiAu%Tx!~sDj=os6RjUVh z54xM?mt5X@jN#J4->7$xF{I#2OgC%gH3aNG)OdHLBX7SeQ#vH8`?jt!Z5-s|25x)R zuj`xxr6?BqZS9QY!^n5p$2(XrHsn7myyJYQ!KT%_)8WY|`da>EL#Yl&vjaCPzfn@t z2>d}HFi4~=vC2sn#MQ&lG)p5!ykZ8hrp`$sC4PhWMjeS1xKB=6DfjG&x9xQAR}8W& zDZ{SlkiO?5aor;s4Z|Yv^+4nTTBnq}QxC=XQe+?iCVif6)UiQGlT-)>JJN?+#2a0c z?DDtb={u~seo90Si-O+T;g65fBb_F=!6{s@2SR2Ro<9FqJObEN4gm$m!wUSM?o=(i z1duwQAJ)M?^j(n%@)avZ15zEB%lSdyIsT#Vz&%b#U6y}YxD*>P7tg;W{Ey+l^OuA( zNqra&JUoBNxfB;MH#0Mk#1RsgiuqsOugt>y(fKd&|Dg5U%>NR9<qulV%?#`+hQtD6 z=4ct@f@DVfFl_$8Mj#960Qx5|@c|B_r9cj{0_R`Lrp3e@G8+yUBL|59w9|y(`(xK2 z0#zM8Ky&{A?ZnFR9~d@bZdT@hfw6yl{?8EM`1t&vA@Tv3mF*8;Jhs0E50f&>AG!ZE zL%3Q0KV}Fw>;IY|+^pQd?qWzxFjk(HP)A5b+z&U<Kj5FgLc0F(75#%fBnol`2l)2o zL$kF-A0XNPYWAk+L$m*G@}XI7w*R#J0hH}OEq?%I`%lXsK-qZy(JVFlzhCMf&9eWe z<`2!X|EJ|Ynq_DEgANOny=AEw5{wj-^B-`{BaptJADa3HTf!)$8}3JJ=pWx2-acd? zJkV(n0;8qo7o_J$c<8TVj_)2)8sX#SpGiP)s6x2^BovXL?%@78<=LWz3)O)9p9CQd zR4NiEa{>w_3J*K;|5{;eAHViLN1k-;)jo})zWp)7z}!sSw~P`iDiV8*op)St(fE45 zE$E)_#{4nEV5e%P=Nr(Zu^v*{a6X=qG7Sxz0s;a`_kwJR$O*7N3e8o$d~JSo43%1t zNc!?p7B^XW!i)q+3ing9lP2kMV}%I!!?PO?SZ%_KvYh0hhJ0piiwH9T$l?ZvS&YH8 z9i};Fc!SN4asS9RUGvm-kF|!@xZuZwBI|E+SNYvBFYhy#7<O{Z!t2YbYQs*-mNBFn zgj<M-hlU7`Tbx#Rj3ir#npcg$X3j%BE{{=%oouG*J$F4JiWt*V2_#2PkBN|<3F47) zHzqJCAney~#8D@clogc&m{E>Fv!f_7s54oKE0`&YkmW&f28j$H;<6`tDG`$9Mc_5c z<4G2PGF6e`;<zO=@<(NeQej4=?$HxOO{uUuj+4cM21ac4rKQkI4lv=+C&dR<ny`cf z70!LK@!AM1RJ96`fRbRa8VTUQj<8lTRd1|)VNDF{U4xeMOMPhq#A6bA1Q)lXa>J0z zeVz$&qZuV6fm%smC$dR^TGEv@Lm{AoF}b8LCRO#ONh5ucMy}{h5a`o)EXv#y=d=g_ z_9h%kqq?!{LO2JLk;Ch9(wC^qJ{f}el2ao2u)A1*@n6<f(x-BQNLVFQQ^mIz$x(aM zV)~9D^l(DhKwd8ZsE)~=NQj+v@wU~paT?>LNR$PYv&8ZQ!EYg>shcSBAm)niiXuiJ zKKCK&Lf}PqQg(#FT*OE-tgy`uZN&-wt}h(FpDdN>tvBn4GJG;#{lf9Zd$r-EAP;N& z>Et5Z-ylb;^Ze0MJ3DosE%j$E)_#edpnd1D1>fLcEl%zaz<!u3<BH5Tu%J%D9-F&m zC)i>zzsM(Vq1WWFZLj`;EcEqfz9M<WGC~6azc#DLo7bxvOxw<EdC5T@D2k@#K^?Ez zh1?a%_eO6cyWjOjr}G7r)104k?B}H68wxzGn;5ASG)mDVkT!YNxzfJot%8)_s&2WE zSI&S3V7v-*0OER*hnoiP?)*xceu#Qj-ee)w`u1hH@JmvtRjEgUFH<|1Z_0p<;!FgP z2q~pC#mZIGe*1acVuLgj)5bz|KFSt_(00;hz3J(Bwh0ONQr&0A37!n8KUofuaX)Ei zy`eXZVk!*FCsfr-Ty^8r)Y9#eru2o_EhZkKBFr9i8xYZeiUjv~Afb}uXO#w@GaN7n zX9q$J5aam)Iy-OTKkJa%Zt%A0tUiN2+(_5WH#W_fW_{5)F&#BcQoDUn=)6Ld8w1xz z@KwM^)4+sKZ^?=<W--zJ1O=5=)+||cSWN;&@(PBEp=8y83N7>y&f4ZP+eUR%R{VD- z?bjCk7{K*}bMKaYN6Pi|c^<xzVO_<}+sQ<`!V=X(H_g_&K4<!34!HaUr@z0Guji!{ zC#?{cT@8+ZC9$XO(fh7N3Qcbvt=+SjK{ht-#%_=vJ*ZTZ`LxtvZFvQYj7;^a%A2hr zP_2KYr2o{F$^ovq?uJUehq~<7{slD2TfqBdIpD~G<0CnxqK&r`A1iHVc9?bA@aK8G zi)TGg=6f$E<lPQpl60R~YG>u?hg<l}?-cjPt^XxZo$9HwoC)63y{EdLt0pm|d#n;e z?&*o{Zt)^xX*QgHaU~?)MtxB#$rr}_7sfkd_~2Qm<$}RtDRw#ktQ=Bx6WT4yuV06r z(g676$_d8LTrFyM1=xpqS?w$3Q#a082=j;IoMo#w6;P0bn+NvZpC&YxwY=sr?r<7L zGTVv{gl%@5B<un<))T{Qlc8teDlqS*G5NEyjwFM>(L}Q~G2dOR4}o&vE7>g=eh<HQ zAVMuFSDKJ^N;!SMM?o%zghsrb_blt_H3VSNmNkMxvPZak^l)%nL@VJZQpu*^GSfRl zxh)>^^<PG)$2M!_s<jfo*r>FIEJEiyyO{qdY07i@)N1D93NMblu2h=~;xFubU>mXB zabSS;<96Bn^35Ej_%p?b@tGxnzdEDU91QUVMq4Wxoys0`+|c}a^|wsWVE~%dN-Y4r z0^eiB&1O`9GfY!TQO^Wiw6vW6F2S3g&vez$O+R0_K1Rl0)6tR(cPJM!J=+sl#xlP3 z_Da-)R=Qa~TpBWab!f%@U2Z8#6ARhXOrA<dOhbr1qW+P!S}(?W)a+ZQc;F_VO@v2@ z0HrN9se%KLmC1tpz`d#nJ?8|n`5hoR`3t0MEA%8(a^_q<x_+@aM|ITedHflm;yL>8 z#&e#2LjQZ(x|-6^=+WBRx(2NJpb2wkXICXq!t^Vc<?x_JKUCD&8(f75as^8cVOcxq zr!k1J<v|HI9ptDeSJI?5q^NmTrSFBH_T>1py>So+^XLVXz9zG}SDkHbSv`Q86ALhH z+VgtEW8=<GIv0{%%bO#~rZk9iCn2@lRI^z>N0S#fBrk5g;aN9>s2%C{8x1d1*7>gj z&%VR?s6S<dQ2W@7QEe5CS!KB?)$`4pdU=!_M*f^?)V-K`yKuL>)i_pI$@$__a`#l} zKN-7x{s8NhUosDIlC3|VCmsxF6w8eksq(sxrYcN6y*%K5wDw5AQ%BiFQF2jqIA=v? z|1y}CccnB2VM4+B<hR7JsngI~Z8uX1@rm8UPaEJ@rr2$8?ycQT{2bc<6wV)L#I0+@ z9h=K%IZSX2F?%v205-Bbe10pZ^5`~vuE{{q(6S}8!SZ}77t|XmV)+Dk6{k9$7@x{3 zr1z-KtaM5Y7IICLuooYk*)(rDG;~YSAUr$b{VE&M`*nCcGPI`Pmu$#%qUF^mI{s$e z9e)-he-Fiw!z@SSO!Rr&`8Z!9W-bh?RuK_qxVN-hGsiD1A+tLclv^1DkLF;68irSI zzCo3;u}?k+Wkyr&!oKVP-^}YbNMa#I{cOXaiX>!sEh^3W5WYnM!khYTjXsBj!MOtZ zb;bHIx}wYzO89oyzGWHBV6_Ux0<_ODS8?GlpQHguzaQDP>316^QQ}ge{CN;xz)J&- zCfP6VrNO(SF)e$zO}TV}e~LEdXI92+z^uz)jqLqKrIDgay}~I2AdJ88ZbTV{8~ekj zRE*a23p}_T57iJ=1-Y3P#ev0He8b)7?;~4T3>g+EGte$^*VJZg{7GJMtgSlgpr()2 z^5QYm134f7RlRrJ&pZ}BsG(mKzWWZMMb#elfARf)3UTl-|DlV2N^<b?|K(!9+8%I- zmO>Gzc$oi4^+&j181}zZB2smzF2q0KP4t!<6R2>g|M*_46;u^0aL42$)}Z7Jl@1BK zmWM!ZdG>&EMF94ZprW+|hCt;b{tZ)bCPKk|aNw4Y$b<*tfAP_YkBl9tzwyz(*-qhV zrBELYx<#!N#>4Cnl|%;`c7W5jz{0~~LHs47Y{;-=f5_<nq)3H_W5a$lxR!8i__Vga zI9cc5uOWb%*sv@>%YArGpz<|50@z19AblA=3;u)d{%_*d$M82G`7%5UQ2Z30<IhAy zVA?V~QcL0id>|x{bN}y1W)i6g3lQZDUKEt2MePh;5e$fa`Z4s;!|_jg7RE1lZQ%AP zJS#Bg7yL(g$d;X7@Iqj~{GWe&*#Da(2%Ncs#{=5^f)@ZX-oexS-EsRDJaUWOHGC)- zkm%~~NDT1g>O*$t;V&xu7Qx@}PGG>R+mBs8Ix~PBcknDN6_4;RWI*pnc#jrZ0)#PA zU;{n^OACcC!sZX)tq_7+iw6}V`OZI@Y^jDu;s67JQ6aK~W56MOG~|zl(t-hp%7K!A zOpVCJ{Xg8Cg&W9h@R8g#nW69}y({eE36q~P+>wVo`~V{il&U=YBf)EhCVuI%S7nLl zgO!f)%Dnq+>#Wx&X%t}A*1MskZV)8)r-zG0nkQIgU6E5t?)xzpr;(adqvV*1KFd@7 z2(jdZP23wXm!!#6ko2ly&5!mq#<-8Clk^SJXBWqazYOD-jR44%wW35u<R7m-;KWM@ ziE|F1{El8qXA8Na;lYFD5rd40qzfa@bH5(qV;C$8T2mcS)`Nqs=__h#fqmUb9UG!z zNV%j`6P}zAw537LhM+{bW#YD?u9di4Qyi0aoI_&{chLp=TIN<37>VTp#Z>mwT{>23 zuMn2UyMqRb6a~OormTVD$|oJf3@09GL!Y*dJ(LL|gt8`D%tF}+X(S#-(#ed5su`w5 z3U7lnHGpAk`C=N_g;wx2NY#eSof^+r3<ndjEm~YsZ>08~8tD+nn|K$&C4gfFpa>g@ zjyuKd9)QTxASD`a6?#>k7t)h`OpPZ2Egaf)McHd!s|gS$&F52*k5rTdLoYN<0~X5Q z;+Ln&EVy18msG;C;Fd^{k_3)HI5d#v4~@~}-yJA?kqLkgFvN$|SI**vV8$x=WC}}& z<yq%>%SR22Org%QkygnFCIv0To}xv#WfNA*mi?NiC?%>=nhaC4ORCZ-&_Sgu5x@vK zBub@%uLwXzdZ^|!ZQMA8DQo;Vs2nF+SXHHRH-}%qiO}Y!*7<zqpxuk*%CIjZF>!FZ zw`bMZ*{RIguE}XW64WhNkK=)*y@AcK7<Dq}>h9>pU!AX`w>RlDztHftwR~r}W^zl! zWn<wuybDL8eO|__xmmvH(~JXmcglJwBKUA-bPz!GhtUq4_91T)94XAEKd6cCCJM&4 zt=Fr!TyI~4$FsN|s-edgu7;C`ye|_Z?7pqG-&*dLhbG!zes_=SY6w+H9nTe&Q%zDq z1ZW1UG#LRh3@3-~N;!#}YW!=2vWSFo{W-#E`}>yYU=!>T$Qs@G#V}9bY_B?3Z%@&l zM%)1ImaORof&HAs-@@=v?jEy6t2WAbzk6>tK5kD@y~ln#nqLj~UgDIOTC6yAyW3M{ z*o#%yxP6Zo*oaidb*>E|?jg~U+|L)!Boq5m$}tyM{=3AX6p9hx?CkH&QStNPp`IsK zk^V}pX<hh~Jd+s$d=-Him5yE%<i(0*0E-sj0;{xg8w1CXQV;fXj)XhdIA+by9Cg^P zhkRZNOD$vZ(ZpVCAL%AH7F|27|49-YAcW^?NZ`zVd@guQjRVDJ;CDOt>(eU53Pa+c zuN{kx&nT3n@Gl)E3BT)p;z;*`?$?5w(s6jNPBJfo4m3Bflt3?rPos3LZyj5}P77v$ zcc%B4X{Q5Cv6MEZar&TzQ;5C;e$m2i<Q}a)Yzl?G%8GooCuH^ae%ZeH=exS=!kueG zR9ho<@9p0H_Q0$7n1OyZ0ROM?k0XBABYWNW$>$V!g)1S#n^H^Rc2{v1PT0=2fvg_+ z2PXNqPHg$|bi(Q0B9Aa~&&LX`XZ>UVS2Il<?$3{t(K;rfX_%T3I`HOdeYsbno#w6N z6`8?)<^tY7&Af2L0sO;Q4l6Ydi<oVw^a%L9eV-+3Yega8H({_SR<xhKs@78ghqd#n zJQT3RpmU`A`_MNf`_P{+kO5@v^j!?`3hH)-7!6n>P-B{N;0%o+JA_?`YC-Y<UEbY- zlAaDu;?{O9RIRm46r}NhjgNXYh9(X{?azp#mg9|Gew9A{!{6vk7u|d=QP}qOjp4n_ z>rK-Ev8V&aL)daov;<k)h*9$j(07ehep@)!EQV2@qH{A@rN=mLA%eZ$MnCu|fb^k- zJb4Vci&IOQdVnUjrG~Gkc~35Y_ola;ERM;;QloFD<3J{NU#Gh_U%TP?I1M$Uh5d&8 zRciqscV|Jt3bX6P9KW3CTtC5@?gciVCEpIur{J5I!!^3^I&my4lmnhln&f$GTh94X zOK+&*?!P!1mpS#9J94wygXxj^N6<DA>TUUsS8oGYvUYS{!4q6nm)p?*mn4}OkqnAh zyibdxu4{R9Ye=4WIK?X?KUt~~L1IwhZXIb-jkCu)k*IEd5GbA!1aGme`>k5YRY}yx z(yM%wpHOQiuLIJ*<*c0p7wBeXImNe56(YiQdcDXzKD`%dsbN8aloeW9a@{mN#rr4> zlnI22Q0~nMe4=(*!BOD^+}Pz+I&vywWg!O8hLJ6Cs%+%fMMHH`xB{a_uK0%~-<vjm z+~TR^9Np5YrXRsMvrg|SNx8T1#M8HEX~)k$3;5^E+Y0vAQg1%WLgmzia3xCUkf6zN z!8setsc;4i7PNHk$+GYKeEZaw=;CWv=3QrI<<tJ^_`0YLETsZ6HO$}taI6O0)xY@) zR^Q*}5LvUmgIn<-pZx!M6$>-lhfD2G>cbKV>MPt|pBj405j`p*<VX6$KO-=#sA8@k z^y!})qY_jcm%sj2%$68jG!p7RKDj^s&3+LyWQ~snSjI6hKN7joAh7-}fYAb4g(mPP zd;6aSRGZNVQ$GB8A2-t4e`PUSrVG(0|H%F`qxKQq((k{`={ztX)jx>I$Ex=d|LrS? ziW!UW-@dy9n52K$(Lb`-G?)>te`T>+nzJ#p-TvFx5*=$X;6F#Pax&JN@81Q`TTD^0 zk;Oq-KRkV?EX=GN|3fD@xVipy^%>~7tV`DWFW2<!^E6q2yX2Oyt<jFAE_v`Z@9T{r zH;S+8s}+c;#x`{OKeH0!fruoaCD~=~%g*3{xSTvbu?iqYXlfKkepA-4fYb7#U+JR> zhSVZItlf#i0K+oPx07f=OHK|-{8k&HbTzjYLZN0=vk#iApC8=&mLFM;0YJ(#HNjt& z3x$R9nbj~Mjrpcwk`$#qr+keihb0@B!%Hn;vkMPh*o(u9!D#gjJ72u;MBNjbpbU=D z4?$g3Vg{9mqb;Df7TYZH*h+E;i$+r&nJGyO3UOgccb^)nx`~34zHuQ3rOwfw_H;{> z4cyKY6-FL`D)6R}-y!_r7!ct`z}^sDAN*MneF`aq=aVBl{w8G5q8M8Z3^X!g2ir<; zIFw*w5B~z3YvJ__{c*@3$YfCI=Mh(FOw3)C#sTo_+;2t3jc~+r{9K3y;IIki0vIu* zB0AK%q3Ei3k&LEwaLTtdn6N*p^Bt6NqGC+hLm?AvRFU`dzN&5!K>&#I&4n2Qkdo~h zFEP%%0_aTua7PfP;i^F=y2jeJp{Jl}fz+bnEFz<L$h5%}Kw*JA0e;t05OsLjvhPq2 zvrv`}q_>uN`r2vVIH4MQg5Ye+z)qp|<|zZ%EBi`Wgr}M5>{X6oqMG3jY(Q0UmRi9- z86za-igi>%ZxCFAjR1mzNFDQvndNY##5mMFzaOzX!@*T&gW~4nH1@ahDhvL^kKR4b zQM&3O^JfGhB4lxd<wj<X{cTl;8b41s07;2AyVB!}PI`bij_ZJ@Iuu}UC(1$^wMCK4 zCaoRpJ`ik_b=9KLi&44fKDN*sK>WJiQ_s?3h8l?1HeS3#sth0i<7Z<Lg)h-2o7sGc zwsFDDwfC`_l{!{IS+h6ryl@ET<QNf~dB6aXICVmLVOK|-ZVflzEpLF!kp#)Gg%BmX zAGA1&2ONFjyQIRL4M=`cSgIZxQKzvg)`~blYbnJ`hd&*s=`hO&y05Bh=c44dXK>Fg zY^lciQeD!QDFW0o%kx{)BUG6QTMIrOKmH>9)1`aRj}9cnsG2#pDpvNGw811AE?*)1 z!N*>iV~Rera9UI+U3eB0xvKbZQh!I!>i*eFK8s`KoEOHDFB2$4Ay!_-#T*p^1&SnB z*pg3+s_z-GfFe7aK+zwB`arXyIMLttq`HWYA|a-D>;Z71>|LZ-Ua%rDA2DIZ^l<Eq z_n^S@HKN)D324F!+Nf7GueJ(dmNQti7tvH~55o&Zau*mpq5+LX!JI)g5#&^pLefjZ zKxn1#${nvw1etWp!)HC@tt!>*=hpvG%9X!?tVSrI`bmZ8I$JqE3Q7RfKLGlBoaZbX zk@P~!upyu<M+Dy$BDs!(+u0_evif<~-C2AHV(oCNl~5((yRyImgHpB}jx%n^g-bS; z^h{l-p($hj5}w82JOa}eIF!xz{m7~kN}(1^+B`9{&ni_pmk{5x&aOuim43y1*AQ`| z%py7NlTSAJEKFhFgiXv=i`a2Di&waudX>WNJ!uM%cu_qsBbu&_VxI5%hI>ZNW#_tq zoUcnpXFX1TnhLhb2+gmmxhu#C&TbuPilY_SRumD$uPn+i08M?)<+`2$MGdds>u*j+ z_W8@%BiDCy3uw)kUTDTBMYR{pnK$}Dw#pM_@Mf%@(&;FKL2q?3M|P~eZwSw13kY%5 zJk-trIsGInSq!DGe1@~qn8W(VL9ORjvxoH^W+o(kg{@=uTKDFkIx4(WR53`<jr5gn zORZsdDHxbE+-xKE9Q1^#Zubr;(HvygmEj~#nSGx>>$%FBzixVWD2gvsQG(|*X}CGI zmP8DZ4UWmvJ;ZgAs#S}q6&r|^1j!IG#7kWR>|QglNkcORepizI1`|Pz?swu>nSKqh zy!m)!*;&w4iXwgO$H|S4!ROLhQ&%4#bOkxLmZHx)Egca{(Dhcewr~HG7xu;z_6Uvh zM6|<8?Z1OaFfYEYRf10xlrDi`<q{`{fAXWMmZC)p!*;~dD@ww`xA|v+9{MC|bKcYv z0AGA<L^4$G3XTKnJEWGx6q%K4WO;oL_GdVHhtqO{Zx{^pk$d>OCMn0G4N{Rs<p^g? zv_!q=b&}$TdnPHS=%$1bVQ_Bs=?;vCFzx9{E*wA3XPj{-p!Tg(^lmnzAvf<dMwaQr zH@;|K=j!PqRFcW6TIaCHYWI<~FN96+09b1xi4)kyAAYM)j#0DaB$Afhk$|Su%F3c} zF~is5>d2sft`t`V^M%@#4cDe8Z%%h-pAg^P9iqs-8nKd<H^AP;8l$VEKu$z&q@6SV z`b#qMWO2RelKec86~k|=FA+>z$)tt4Qekf!2&t1g_E>>;J=MGM<AiIcrrAAB98e-W z3IRjx7>D$>I>U%MRJyZl60}iR*(vs_3nYxEsWVWuKAX4xdD)X5dD~GiKnPL=1HKg# zNbeMG;fM?I8i*3*Ua~Y3yRa*YZ7=#M21Xpr0lu#c;dj4F!S`f|3}<CXLiV|89#cfA zt)%<eh=~4Z+BJuP%`$mrR(s{TEWmjXXI>%RebAC}T;q^#oGlIX7fxg2xR+15Sqw1I zXTAQ|sUA2yAT_n3VnjvY)qOmAXV&O>mtDi5f>d)sC5QpVO~2z5gH8>flB|(5l%2CW z4nV>%1WIXn97}LbI(ZSL;X%T=@r-^yyzp-qHn)1rn=3iL7t!2STX1w#>;u?LHA=W5 ziH6^Q7Cr&^pPINIO|SvCltEcrcUE-dM-(#3QY0c>N!eBsNU5eMx<OzPEFvl((z|vO zt5jp!m(>e<K{Dfn(92oX#r~~+gl0__lVlMsuCf|g{8nGQaD8eF_YS{j*<2DR+U@wr zO=<clB)K$7;(DuCcr{GIq5yQA*zIi;vW*AGVL#uuDt0LeIIg<T{bH-~)+>C`IQsT> z5zhLqE$vTFE`*i%-UUhdtfaW2`WdMuH-Bn9LcOMn`6vgy<2#Q=76yj3vFuOQ!_@0? zl6RV<39fwB*Q`RH?c~E_9z?@gw9@O}d{p!APv-np_WI5W<K6t2$P@tG<HtkgrYDf1 z)n}(A8rP%LqwT@;S<)<A6&byskVDZG;#zY{(w&6Yx{TERLcrp2?xJsTa_~n_#{B6& zxWz9`)U;20hBWf%Xvi3@rpn-x^*Axyj+*2H%A~9ME2PK{$#4j0z-1Ktm$!<kTT=0% ztopFM=Z2uD<#cE^zb6AGlUGwo%aF@YUt2W&EQn6|woyfiWiO8S>(05ejW0Ez)TC&X z-)ehQb+(S2i^M4?)Q{I9@g~_CXs?noXEw-&kF((Pi*Fz2;oF*N0Bs;hhKsNUVlpi9 zi-}25sWxhfGWk!7Mx_rs)H;Xdcp5!<f(dc1t@wz3y#YCFHe-Mg-EY8$eyr>$`N#H# zXpvy3&hb6GM<j?JUwI`;#Vp-(^0Z0F0zBB@e7SJfUfEUi-7DH&HhA#|RpHkc3M`{h zfNT=LWx4ie(W`J;)6ck@f<xlCW<zRo2;Yjp7NFLij3e}f;lJN#`33EbLrbU@6N>7a zWLhgOa=^4}7|#HfSkNEz!lSh!S`~-X3TVq~!!*{RbXa)TwU+e1o=HX$nb#Nt1LPv- zfzVN<koO=OV;Oe642?b`4HPsA4hRq(;OumGe&^r82-wa7uM1o+Wizd_8KIP<YiylO zQ}6d1;em^fpO$}QF6;AEzM^STdcPMinY`;I^{{>%dv*jo)hWMSY9tSa*Wimto18$! z(!(uRPjYBagl*46PCMMd`@D&#jmfiNpP6!WgAKX~qQ`@<sY5u9?=Jk*%wvs5Q<Twr zjcR^n5+v(3GZSI;o~>R8JDMME=9|{#@!9xD{Pc<`>QPfIzpn2TZkmpIfoTs_K9YXH zN}h@5mKy`W+|tNN?Fc^DN7e?p$>-su?DbgoNT>I|*-`xLo;<NxTgz#8YrB2z-G291 z?s|DW`%bO&8GF2afAGZj+KnfZXyz_y_M>`}$NklAg(ZNG?|m6K>kOe(Qm7Qw=bTbl zxO%?_{PsOGcQ!FIy4f3`OvtD>j6Gh!OMMaDwe<<0B<N?jmlTXPJfifANos!dWOuOi z1c%9pe)y;ct`K>Qs}<A^kpFr#`!eXM^P=SC#lo_fe|V#^cat4C?QwIrDJGbk_HKcs zL^;#>EgBm7?PZ7PeZ^+VVN1}{|D9vX>+1OnTZzmsuPG`IUYD=!6Ne8EyZies0H523 z$8%qRYyLMqsfLr)HJQ!&S?reM>43}44%H!c^c$Mdud@~cb$Ya`fvvr)jFgsDSsNx^ zr5$>NK&nHb@#n+BYnjJJU(GjlK_;VQrg5#qGJL;`xUQIS<U?yO-pnb+u?A=TSgBH= z9QPI5Y3qx&f5<!4rO?I`cY78vcWnCbXuBKWPiT~!<gA+m#6BE6Fx8(L!=0%)T)y&U z<)Z_1W-;W4_)UyUwBi7Qp`u3bopl(6rib^PAJ;28=(|(4$G67;aYqf!)OJl#)Q0$i z0I!Q&I+bIE0vPH@X~2|30gNcdY_oVEa6O_x_LI0%a;Ve9akE8zu{g}o)&2a*@e6<# z4R>-Fd;V&e0;o;hl=g+5x-%-zaLe!Q_oc${XPkw*J!e|176iPQexWio%?LVm2B0vo zf3GbRsvk_wU)hkX2cTcbLm}SfMrr4fep%Sx?^8pxhz|7`oB8BuUkNxr>nkjR{s?y& zSgrcNE5j|K-MbE#QSBb2LR+fhTo0f+9GeJbRjB{n!vZ`dPBw|bJ8wk5?{2+6Jr>Nn z_H2Ba&^LmNnhk)HXigOcI}zs7v~5-gH$o)637NQj@l}uQW~8)=O}d6(S*)=mQ@*fm zO^e0K?UikNs#_<$emZHltkIQzh!IxDg|c7FF=jSF37hp5eExZ3_ZzZP$_J3~g$nxh z;ILu8pQ`T{S7tzYJ?sn-E8XVxtn~~8=Yy4y9c1_+$@3OR&J*FoDfCVik;l?ZZm(rG z<95NeVD^L()3lJ{@U|_Hpl+U+fiI}#n~5OrE30AR4P*>2L9Rl{yvpy(O5?fds4m@# z%ZC>PH+$dSQlpQ*`fq39GZ8@Zp0)i*E~829)njzHkwIMzw%m|70v}Ii^wIvHxyl<n zMptKAgiXU0mhJfR$zc#y+Lb9!;NzUE%Wo6e#WVOXvw9&@RM9H?02`Mi|6|o!*Vet4 z#QbN?w;|glJdZ<n-KJl!zRs>MjZ0gTzhUW8#STLi5Z(|usB7Bmt_uJ($kYzYel_~{ zyu+PP;n`RX;ZhD4LfR4?S8!zRjj`6udyQ21K|}-jA|O=V8P1l?d<?47gk2radlmxg zu7h?}<(6lc`*s8l{OjuWjyfJaO8GwC%7Pfb%H0)f+CdK~rO5VQQr}S+3oa0vW9WMa z!mHZNCb2E|ANO22jaC6)q<s0lOcTDi-m22`WcJC!``tta3n@6FTVTRh+<b!c^!RCL zOx_G4(7IR$kmGDJZ$^iMGhTJdrc+uSTEA!<*!J>2x@s5ec^*98J0;fA!dcpPaN3#n zr?w0SPjB30q#x+bdjmHa`M#L&%2PO4TiGmdhsTC;_>`R*le7<@nl=)guG@^-o)(%Y z(E=+}bD}c=6Q_B})XWb<IX7VHYUuYbidCNq>~%(%1$EU_w9KU}Ej&5itK`qs*JtEK zId3$5@x4C2i)yilsn!-^00CiXWX*WP`HT$0-O1BK0e>>#T$-}Cm_${BM6^e5iQOPI zK3PtzO(=ZBauf{!=$Xt3t2#v8E``<R$?z?x*fq#6L=EU&a}W^=TQmtl((z=9c=Ae_ zkr0s)yr0u92Pyiqh+sJ|VMhx1HJ9c%Ts&uF`#z6{Gv#!8%|X7Lgr7hJP3B|hr#Qux z2e&&Mq59Ir<!KyKYp#I-<jI%=)B<9CzxZ^SP;EawUCjdKJ%kP)4Nvs4gVGD0nO`bI zmX~W|+Dl9jlLALRZBb+gr_#?9S8_@fQdn<i{gyUUrKPP?9gR_Ayb1ob_I+-pL+$iD zM%-|J-j_e9?%8D0wL{yEXr0(t>!;(=r~c;53`3kocX)Jn-6((Wj~9T=uSpbFVU)S6 zs0MOoMlOi~Y#TO3;?_v)eTHM!ZjtWFt0a8p@-&<8Y$Vp)0e)%>&lMPUr73Tlqfw<b z+Z>EGW{uhP;gJH6>vLkG^jlcz*?f7@Wuk=~G#QA!zt@<b_pV>Sd$=AO2NS=K7d&(Z zzh%H2JnXr;LuG@~C&dvBGjE)Ds=O4uge}PC&wZ8vR3*tKo6@?L88OMTRH);qt@p^@ zL4d5f+W6UbbgW!eL0W|hc`1hpk{N^_grM0_TpWwI=!B2LjN;35%gnEukJj3Nmnj5J z#KyEXucvSX-h7XJw)RTZcp&$aPsl>~k|4UZl#M8<IXP6xBD1@6YEh3>K9v#EjhJ?m z@__CO(CN%SwlJ-qk>nU1=51J!gWPcdRw+SYt?8z}2cIcV4LwwN^Q?ynRkR2a-22lJ za5hgh_W!8L_F&XEMWpF4Z3@7t_EjbC|N21M>mrYwjNX`e4d2C1!*sc6h)DO=<ojsP zr%1bXhf&hRCn{#e2_IT<`cpNba)rg7E2L@(pbPn(sXiP`+5W_L7r~mJv~KR4RQ*s! zQdA~eUj%iWMoeYua#E+tL|O6BVcqG}zzc@3nLkWBuLD`Hc8xnyJ7qeu%=U)bRQ!xs zW4Pu1P)C6L&Diqsf}x4nP2k7#+Y@-~`*nXJ;}xanOW~|(w9=BV+N^HP1GM;TRVq~y z;L-Fe9VDYdoMdY>>g(C)>h(<!z{Bn5Q;YS>)IDP7teS@_!QiFmEP{hOk^ga02qTf^ z-2+S_GMUp%hlb8*<(rLz)K=Km?7b%&-{t3XL(laW-L~QUvy*sq{Ggfy(_5e2%gFl? z0jy^mLOpsY*gb!Uj$HyHpuloc-L>ivAg#`N#l^?O;ekRij;{rkpQ^6ncmKv^W(uK; z-zep1RwGgqQ7=+A%n1vyy4HZMRn2Gj3-|Q);gr$tT~?y5<?p^tN6n7m?A7m_jS9_c z$nL>k#|d2odhx7lW#xhwt%VdHBgu_`!!zg(a10=w>Rqpw+*xU7PRr;_jOJh>0IC$F zi_rGoBBi+2oMAO<&&kcWUx<_l-V=BHIZpk(vKw(~t$X0bTi)v}$b2|x$8Q<=HR$K| zZ?0uWnLa;ED55mmKHJ~-?WQpGcz-D=4Noy<Y0`|FF;jWm)af{d)QIb^osC{^E4%O8 zi`k=H2UBKrY$HmeeLiCB&bL{W1|;se`Rx9peB&AD#Z<iOjGhC01N@$Y9Kv$`%+#?- z&K_?Yp3tFTtGRheRnyi#G1$rM0iKU^Q?h92**==VH=(x@*<x9!v_B}~W$FI)A^~Z~ zJNAU_sg$McwSN@1B!F8A?8-urjqbrL$5-(H>e9pK^5so8Sep~=<qlua1t1R|WjtuP z1-9ofzG)oa!`4HTQR=cMVvsW30a`$W*YTS;b~fD4NN|0lb=>mJ9FntY5fN$^h#DG& z5G9v>Gw_ibee($A=;i(xdL#`#g^+vHJ(j<HUCIW?th*yF=YZ+vU;rC7me|>Vep6w{ zedPO1dKsRu{E7UMi&aAX5ipUDouwnmGEUCQ_R%@CVZBtH=3M&KL@ui<grmFdjhJSf zyzV`atv{*0lRT;BX9}BBf3SIP34+oXR&ITBv1_p(4o|3d(+e!%R_1*IS<j3UMv-7n z=(7LRokEcpF?LUEsr0<*G8f$R)+{HpRTZxKS7mcFrfT+QB_`lJ(<o#!`MtjRd(>7d z^Bq(Kp9W~=8#FvZbI|`Qpuqj%NvA^M`d>dfD;vw-*G~HB$VHJ$A$2X+j1->joWzr2 zATx*ceqIe7q;L0O6J+12w_Zsn^d5@>yve4-#TTSFS<%Xs50^?EkB`N&FqwQs1xCva zw1H5*$-|ren65Rhl7r})qKDQ`91%01uJf0c`_YZlmuUOlcw8>O!??e=Uaro*GKzzt zDx#)VxC~IKd<_==pePbcy;~oWs)rA)YP>%&MpFu3FO@g&V_+=3j#y9h2XUHqYc0*S zeOZDVH<8s>H*){@oh*znTHGt5TCL<p?W>?YxkS;&C}%kYRj95A{2C1RB^)@XEJ+0H z0fB8sd;*)@<O5BM!=c%Hb{fepVUlvRGmM@3gdG5bzEUg#k8>xPlVW8S$U{&HIv=>H zg>1~t=R^7yG&*cX9&t^^Cc^**v;6`w^TX6ftW*j}W7r`I(0U&BF5@&1azwM~b2^Du zOl=-mbwy^Cg3uc|o|({jIi4GjCHgGxeVLSCr!VD@U+B*`z93mj=3i3LL$Gp%3VlKr z)|UoA1vV5&-}T9;>^VCrW~o|~!doyhS&FBdxQMEg9*uf)jKp7Armh-e&jpS&48HLI z@pZpD(x!hJE5Ee-Dz_Uk_tpc_fPf&K#CE0CWqOD<&uia$t<^;<2U|C$VR2hg$q=2d zA3#P=;gaDCDMzDz0LSxD_>zH<gPFQZR!#yCkE39dM1<v44uLFCt;dMm*|rdg+}XUK zd41S^!Kn1^-}-((^pnZ=_|41fX#{B9`7(U7{`2P531a!eq2*m*s@V7W&Bu(O-R-gp z(DpjIO=#)U_=9Anish3nBlPi3EfnBse0+WRIq>l0V%n(vqLj$+-FV)?DOywjPB$9R zzRm#yg-nLOq-?nq@79%uZ!}|zIC|ft<0GB7jMrDGTfg7fU}Mv=uW#G3yJ3qRo|f-H zy@Es_vUDB{bU02y=59j5b1ciLDMVg59RSk%{~YfPt#UQ8J{@<ZfSA@g@9LY-T0An5 zvi4gnToV<lu9?IWusvPk&W^K-EfE0dK~K2}HXEMbBn+o@(penKF0G4c{}$Mrdsd!X z(7hKaTfbU-Rt~zbZE{aIFnr|S6z}_mC(GJI=gst!TWJc5%`1*4D^_4+iIHi0gHFlq zv%(Yq2-&2M(ZaLv2Zr0;L5WUejL%((CvaW{GM#iZN`C3{B3mcYoogpWYZU;uZ#ix? z?v?Y8FqBnx?iYbB*>PDVmKAJlNE5ygI%3`v(b?%v#y@)3F4?{LW3o$~c1~u2C&5t_ z4J=4@{7<X~A~kf`nNB-DdVwZdx8HI3xb}M{+wbzW&)})<HVYuxz{33F9M)laP>SZ6 ze(8I2y3bBrqRdwo?>brIx5ofjh*(Up)cm2#(g<z$KVG`<xZ0|1*?xCgG3#TyQm$XQ zKf#L~D(+9o({*{-G=Kifw#CqIaZmfAh<b^=DHaOWvrF|JlFdkB`5r>6#(_r7$lO<A zSnFhw(diVvv1U)B{nq9v$;M&HaNDKEy~KLkzDY*u74(MX&WBF1gwPq_ARDG5&8jeJ zsOIbdrw}ffu4-OGvydq&rj}?8=T#`#iCF%)WNUZ57VrIOt`Tvx(WGW(35wNz1uXkT zGk9S=UU97!O2%+kjmejOei1WL$6%ItYkn1~6nDTP0@o*aZzj(eFNAP!<x_}Qu)g0p zgGh!1xQk?=0Pbufd0#Xj7{o`;(F!&#Bd7(YwgqBrVU3>pb_(oPRqWQUYKal;xEN`Y zX%nkG&Gcu_lBs=<V$KQ4?b`%wd%A0(0ITt{*iC$=5V+9=%Tj=$0<Qq_x!o>g>8I>W zDVyf6x@hnv&Cj#CHwaG6c)S4QTZ3ELYw3EId*RI`)eGjh7Cw6ba-}`1D=5AO<9wBQ z+H9iEBAs<!y$LaI3^M%}=?-pO_c=oDb&wmJc69d~MS&AD-HDk`&5UZP$NB=w94CQP zmOFfG$OH1;TLPrN`1xlpbLKK2Prgpg2madNSH0=c@b0MR5h~J}@2Tv^yU-U@_FAY* zO!6u{2uz46HnEHYWbtt!FW7A!3wm1dZX(%zy0aSm(K-5)>C~<>(`(V(F!dDdLP=gP zaQ=a|vim;md)$x7%=?o3_e$4IJEpphZQa)^KVGG_0e5c|hji{u*2t*Rvu(77=Mcxs zkz~mU^pXa%I1+)YdI4Ok@!TAt%`QeEz|H<y&Gy^b+lzZQz`36YZ=4J8`t$DY?eWh4 z8DyEF$|0)>qXxd%W6tvsQ>>7^&Xs_Wq4;cW>AtbsanMMxa|4=Q@*aqKyZx(03E8gJ z%MdcqEFqy*QD>XzC)$u9nicFm;}Y%HqS)i#dEs-g^k`=#uZI;cN^)|M(g=~>1~!xo z)}*7dL5Y{J0QxpUSwVV)J;l<m#EIW1sL>D!TDhC7w9~{*jT59JqvQ$*b*Xyl(`<26 zt{14e$*X+3V5K2+$;OlO(J)ZOiPXA2<cnxsijuyNt~mR@T_65_6k-DSKa5a8wFJHW zzJ4ZhXhH541hjT{_@~l*g?!axC43x^mj(5wz)dOyydk}psUGA75><_Lo^J0)>)HMi zNIppPk>i!>lKN$$J1klHqsPzTfpL^+x?4z7Z38$%yQ3rbj8ciFgZeycNZ}kNJA>BS zp=Ff<vv9|wC$<?(C`(l<tx0JO*wBEJ?6XD_XDBDN*6kx8UPzSM><yP#78?zxfKDiI zg03F~aM1I-iA(kk=4Uk?IAOUZTsh%XM4dUkcvPVqt7d=m2~o{1sR;hK_{2Dq218*L z^YV66+tqeu`^V84wWr3>1*O^QCyXbl0IA>(B?S1cL_EB^NJoFoKt|P9)*ID&B4|%o z_Lw(eCh-DG^8(jG?p>9KFe`>~f>81$GeQ9L^RU&<KXnDG$tT*FMm0z$GGfF>z@x=S zf?XSu=tbtT<t40WT6@S(^WDJY%N8-{VVg7wl2ryuoDya%7OAC=>#ey4>hvy^iXa3U zef2R0Hy{qL*=Ov@yp&nhr1f*cpxVzp7fOT88-|a;lFGuDV3~E^RQL|kXsj^O$LHA+ z86|&Qv$GxPjG5u3Q|#|KXu^712{^tIsi9G6{y(S`3mZp^vO6|9DDFoU2uW*a7gu67 zHn#uCPheqVXGzNUrUq1LD>xi*B6LpI%+%4$M9X}A`Y3Y-v8g9C`$cJxuw>O5#h6Qm z3wGx1`E*tjO|OxP+I#=<>wymjgRML}!WTzzaK1>?Fb_fa=pE7y_K0zHV|CxlHfkQz ztJ?ZPVo*&3Gy(c=us87@i=<K%77r^du-Azm=jdo^j`X<cGWY<?BC5zK<midytRs*w z$=S#veuIxV@p0j@Y%*272Vh<YX70VVO&P?}B7#Va<dYM7qLi2W$D$_YKMu?<A?Wz> z^E93MP|Jw2Jij(c8jz9%Su>EMq0wKE)6UcCn#ONta<#w4g-;Lr+&^o1gjei)Ay`%) zsDFBi%H(&3f@A{lpH$8Pv19cKQg#~()uk9pV!H|B?va;UxWb3Kr~7$K%1hpB*8zan z$0rlbHoaGq``<sK4^4ZOZ$hm!Ox4G*_Ieq$r9nusNQEbOQKd`EN>@X(<HH!C8^WzT zm>&x-dUu%C?i1;Ye#=0K>4-;P)>hGH->GEw6<}2=1*iaKz)j%GKau&@qJWxyjuM`* zgN@imE1_>MQ!tTvwwN?k9VO9$A&<fZA2l5kt~ZAdG^f$)OSZsnqM@&-wY%m1xG2*^ zd|g6SMnSI{uF1n?N&7&f*XK-y@UaOTFK!h9-LW}Fl0O)0LWhtc*n=+7<x1Gk)hJ2` zU2j`(z})W#ng$(lssr3g1G#)Uf}J~fCdE2d`mA_axkP1|@gm%*4st=WYv(K8qabmM zR0HVGyX6WLx!6-}vCxLxxKoXen!M-Zw42VHdhJ7+dZSM19nFaiM%=b^uLUVM9vLn8 zE{Zp>eE~J@nz$X>tz#I_{RJ4D9<xhrP1dsufVMgdk+J~yDBqWTFQr-)_NmN44QP+L zE-HS#03^r;47^3fHl84ViDnd@dE5NJ1;d%73Eaeh+n+}D=LMXhEWCqC`^;j@HA=`m z2)#4)Ehy0>RPep@-VKTnA6ocFQ4<xl#__kb^yKh?%p@NT^`p^Xftk!Yz}^6|nE|qC zhDtoR<afNIGV~CAi6W{@23bj=#Cjy~BF*)!X8Gu0A3sKc03)T0{spuH3HKyaaMu=s zz}HabcvBLMw4+G^wN!(J)LN(hCo|)XYO9A{)8iM`txeu;T7}@<VLpDlh!aj&5<S&h z(^MZCZ?B2jOD&q>(vthUL_|P$SHu&Tw+0y==Ri?$n)9CWvK%4qr#uh-Yrj$^*OF+l zb5W_WZk*=F^2&1y?NAZ%X7_LW+2;mDG)`~zv)9&D9fHTneYDYEiaOxVssgl3I!+B^ zhrpKZvs-IAq4?g^!ENq`fmy8rch>U;h_=M;oHc<Dz$shex3bJW3v&SZW61f}R$M<( z4y;|FXqoD0udjW0kzeyV!c2)hDQ>vW-Ueb7ZzqnaEVc~*l?m+fTq`yqpQYJM*;Luu zO1j!RUw$ly_XERqFQ(5bhM9(M#`_K0;qMp6lC61LzKKlkd}fy{_OSwDUj7v6#`h}J zwC0taSILMyajhI0uzUd&tN;?Ot<Rzs)XTHWp9q{;McImQ>u_rxRn6b7d}x7s--i63 zeDb#$sR~s{0ejnPYn?S3g_NNg7&fZZ9EB_e*KP2tPa^AM&Pf9bXg2`fk@HrnFM5Lt zL|lFww@&lJnJ(|LB8Trq7kWNJ*gww77@RvR%shnr39D%`?q9`)JfvFQe_uL2xcW4$ zzv~kP`|v;MI<~x@T<y-^O&%A_au6myIq3k%4#L;thF=}-hnqW~wg?;;lcoI9k2J50 zv;dJn6I?V5pn^L#5|H2k9vaB+hmFe0WdO&dX6<c3%)-LP1;?aCtj9vkM$GcjtLot3 z`lt8b<F+ziK0Exm<p2Wwumu4I8kphJZATmHl&vxu%QBfi7H`wpt>-xvk{T5<8fDhW zTkJD#Q;HmLP)oq^i!jw=CCqVzg;AndS%Wd0)O`bp`vcen(@^6JnfC*b1nZ(*P*4es z&5a!aLcfT%EAQ5ybCwNlFPd78EPlOE?>}BSIf7+Pcp5ITP1D_HrJMssJw>(+*}-ue z!L8803&PAO=KbuQ4ALKJ;ES4Z-=6|?nT?!v-^B_vZG>wC`vN;s7;3fuy*Lk{3dtU! z1%E=!R`Sze6-bKJ_^kV$W}r=DlNFz%t#HIrcr!r@)`Zl01ZPk?$U;71A>uwG#GO_9 zZ1XN>z)&=B^w~<!DN`80rW?Q+(hk#@H!1OHzyKjNZ!yol*8naxpF#Xnj{%Zq9)rZ$ zusx)`72OQyel^5TEAMTE?*zt}YrKsy-z!9@*034{H#m$L))X5JH{9~z6)x6;+X-C@ zX*fA|-~_B9W4`Dc<RSm0&Uh=yY%d)XC)CBRChQ<$h$_)LEpEvJFo@_yRUmVQECrSf zFAi^oHN#b*Yk_kFafXy=EfQY{uSYh+X@RmvHX|zJ%Jg!?mN?ABR`hIyaz>UYRpxC4 zbA~O2RfIUE?}ckv;pNCMhb{#-gLx3G#4SaY<O_fx70^%ucL~Afts-SY2NBXF)<c>h z?wPrRnsF6K+%WI~V)M_<JA}|hp5MV0cBSj77*}gL2MSFx!alPn3XJAiUq&2-m@9!b znpwqsC-+G-+hS&SCLvi(YPG^`^wv)lppjI&Op<~f%{iE5S6SFiJeR@EpoDW~{+Qxr zb!c_tB=frn&7KhNF*E*Lh9iSA83kyrB-$v;-g?SURD}ho!qejVCYBjjB6mV^Hj6hy z>vR_sW5r<Qjo_E{xpC0y#__RD20jB!yQXJ^Ty7?Lz~XzfO+7*tqC$<5I62*nX5pdJ z*ODT{Ds+Y1SZVpS*`++peYC+*+K-o#KAoEj&wXtMwP$2pO{$boGqxES=_rC%2u$v$ zuub~X=+BM_;2O=j%|pzyexh1U5@e@H5)Cz1;>=gbvpykSP4aK-w1Q(x6j%-73@xz; zH&;sIL|5fE2~v`t3ZWoLXRo=oz9ZvFg1xD48PmwP)}>K1um5CAh66@s%ts83{`n$g zl@yny<}sHMQMdV+b^>b@iSQU^DcLJ{(q?9RWZb+4;6+ec^b@-1%Qp|QPv~>(vw+gc zGas$jku~)eeyC(GsmXR{@v6#hnily|Z3Bb{VtCnJd}XkWBtyVj|6F1Q=z)bU2%nS7 z54J<T3VbV_iOl<ARBK(H(Rx>m=zW_MeVA_(?MLgUT4HD9nhY~wtspT8iue1R0a(fo zTaUK4fELLa2&_N~V+w7%twOcadJKASI$=61aDqJe#?1R0S~o*T&0xh^sLFlVu)4O% z=YHOMnXTt~%T%FafE|c{F`Kr-mIKwo3_NEbXe}f{5J^L)<p$(lHqyOe`IKHS%rVzl zyWSe-uZr(@;O#wxc@@z?1jYz<T%Yv5b^k0H2Y}N1DIz+9$_F?#Xvr=*V6TAx4iq!4 zSq=4Ws<$cf{%mlXw;CRZ_qm6j8?I#X%`X%WDVQuZ{X$T&WY^SsxL3w;g4OMHPBCr! zckQsLeIAVG4+rYRR8XCGa2L;L*c%~FwJM4{FpNy0hvY_nYDkMbeCE(n=(=yhFtn4~ z*??uCZ@s>?Anbv<H<p0XC0=D@JmJE}T-eQ<P5&fa>_E+#{}Vt4zxizbWq~wRT8n|| zD-~4B!Aj5p+RQ)wjykuSf7|u$dS9K9yBerGS`Sv4e{QoH)&SK*8^A`;ZT^GLsZ|9~ zFK@XQOG$DFYcm)Go6LXYadoER$q#_7U>FRU|J09v)k;m1-wvoy@+0Q|?Bk)Jh{;o- z<O@JI8Z-ad18Qad%TItQpqo#c|NE=dx)1CJ8ig5f3{0DU;TCn71&09@MLLajf=N|j zaoqg>zNLOAEnE2ytjGt%OO&y|e?nRS2$g6Km<x!Kh_HxiK(Phoe^qCqBqB;8q9mFJ zh^DB25)dj8u@Th*>g*`Apm9k5C0-)pB_cqgg@7oD8ayv^{v!*z-u5i${(?h~8{eSM zrFgLEjQ&f2L`y-F1#Pv`h?j`EJt9;hLMmEjLI0y_Wlc_JJoj@~p8B)9)c&U&4ua{Q zI?R6PaMX7=KJ0MvFAf*~&EXTTJACpDhs$_>pi}QUTu$dGaQM`y!|BxF+AfFBzT^<Q z@D9#i>Ttsjha1NoZklws`JBV8_c`45n!_FZ?XJ}hcXvCSyT;*bpLe+T8HfAccevkk zcp&HS;2jPRae?nFa`@f~hwuN=;fK#TxT)EK$G-0H6Q1wM7xmJlOGH9MZ5C{ML>fDP zjA$Jo4Wdp93cJ)mYDDBr#0DWEU7}u~`o714r<>J}Z9zo#MA{6HACby^(jXeJ;F%ZH zZ_t9*FL;*qe&o>oyfm^RBF3W;3x0D}no4`s?PNuyGGI4gY7UurLdDQt3;tNFQnvz7 zK&DhEDRCc70um=8Qz9}YIsizQ=#T|}Z~R(!o3`N10a>I_r2mpL(GhSIkXF%gpzJxx z-8{?nbm``1*~VU38Ot_3Da!|{uCsueI%J{^sieaqK>Zw+0IKG&6qH$Z^lDw8+_K}P z?lWC}ox}N8rL6&!bYYEUFM2^5<x$A;8B!OAwSa0kWMvPjfy0G>$~SBP)VpDS6QIfs z7l9Vb-aM)6Ew=0}Z^@#z4VMBc+Hg4_XTnxM^%|}O)U06#pi&K2TlQB6b%9RHKKp?z zO3sivF<fui*KU-y0Z=D~gMgJd9I)(L3)M=67gFJctjXc9W#4;94HSGK>u*T06S8cF z<A7=@RDftVw%c-nuYXJc?c^qZf%b3vfOcpz;DF`IJ|4G2gwJ6tfkG~vwcLVVs8#zi zMnBg0p0Hf&%{0WGRn&b~7Q-ED3&qgJf#n9@Rs*9SGstlj$XjmoZZ)WK8^EGKiy61L z+HzA@s8zciMljYsrOt9EhSb1-raVxr&5Cv%O_sYvp%OEyv34DdQM}xLa?v-`z~IG< zR!q>u?UwuWs2a4*SPxk9;x5bG@S+;JEqCV^Wl?*_D((9$ch@(iDc{&Wq`j7V=mu#F zUOWs2Eq8yNw5@bGip2=Vj9|>*#UoZ!(ylHHXskk=v5a?FQSB3+mArhT!{4uRcw^Av zUv7t6@*g*Wmb}~O@V{4oJ<B)LIBePPS?ThNJS!_6*7d0CVuB$ax1#d1(p22>EHS|l z69+MI5EBRS0V{dw<9@_JJZ&Yf-Q(_&Ud?^oLQwMdS%-Hfxo?H~5hXEO^LW<E=6ooP zw@kHd@vL^=D`=?!cHk+Ild8Ta15)B8C0<h1VN4Gx>5?)>q>M*@%0!Wp_9-EiGFzks zQmV))2P(!?L^Bhnnh6QBlnr#M!k<7&nI2N6hg5|>(?d#drS(?P(yAwIu!@d8S&de) zc1Bi{Reb9aS<P0t;7_s^S>;fTtQM<0r}-~kY?Tjd8cCN}<>L>^T545eFUwkHRp*;! zEw`%om7M7ct3Gpoovc=?e*T=SHmj+)UDisgX<R3(-D+AdmDOQ2_vK`*vam{7o36I- zD-X!(wAzZtWHDK$j7+NC7)K@PNvl28tFx*}pbhFiupj8K>mWD;bbK-cX2D@_1n3M! zhbG5?&Pv^+5ER^SpZNioFK~QP;Jl>3DPn<R!vg1Fg&det12{P;a8y#@Y@|>E@}Lxy z0S-tCoQM=S0x59jQQ$PHPz^X^EO4+|;NYXcNk?G;;9#}DX=9-taNJR71WkY=*1{sI hJ?(O<_H&25{{to?|52Cuh!-FVG%_&?B_%~qMhc}uHQ@jN delta 35750 zcmZs>Wn3K3w(rd_gS$g;f=h6BcS&$}hakaia1W3mO(3{C1Q~+6YY4%D26uu62;ABG zod4P9-sgF<J~iLpTGgwntE+3OdikSS(MPk;NKhnV6L?M<Bn;5@f?1&R<j%>zS}q=* z&~N9)2D6yD<PO4#m8bzmr8!kkDaq|{DSKx@8Qakh)vhn{pF4Re4yBEcu8&Rw3@qf6 z%V*t%&I-&r{+#mXiSr3=9$OMmb+vAuOMbo}(@!Ml=Pj@-5NO=F-v!7^=}H{?930%d zlZAT{I2VF$fWuwmyCdjZ4vMis)V;j5pB;V-gNZThXao|0?<5Hncv=2T>}N)Chw3#_ zhfC@oshbtAbg=FvEHaaI{J9?tqAkJ9a9wS}df&}{wueEbvu>}7cs{)++4bjex6Vz0 zJ}YJLHRO&V!9P;x@!VR-xVN*;jy6?U>;abZHMe4fs~;;dVd)lH|1n8X&ReWh<iiB1 zIB&heF9$Pw=ZD`ZEK&>4Rn&H(DQ8`+pZ?a*$e=*;QGPnh5N~1L4PWF1&qVY@aGE(L z2fpDZWAXd>@%%Ok65|0ly(LZd7tG$V?aDEh3B6%_<`4~g+TcA?Z;aYiW5a5HwV5?T z{^j?Db>p_1<K^WI)YKz|1O1#qTtCA*<87n%!LD7*Id7)lci993@MgpG{_|<=^siVu zR^rB}8MT;rs=LxJBE^1M_R0QwwTG2np`|sBTE$+b;XG3$bl8=Q9DD9ar;FrnvUs)Y zDw7MkX7=X^1VP%ko_H>E0aFn~tOq%=M)Q-LHL_Yi3qyV}L*Fel)vOw?FX`K<rvr&J zbr-9;nmMa<7P15Qj<J->j#kZ6u`{A_AA8WpN+LEyNJ>n_*BTNAr9D&$sNQA1wj&Nh zYe_r}G2GzC&RV$wc_Uj^t+Y%yw5qQYy>0be$XoBb2VyVwu6lbbVc*<kbZnABZNo5+ z%PV3>uyw5gDCvEmsh;!p+liC*^LwEM5v3!F3U}BS4%0w{Nf4|5%$Cna*P^l2)er7( z9DPr+<m-+Ry5c8SZdyawR_WX~HSGvT<KAT^FqCU8-j`~E{DTz_AH}kIV`sXHON^C_ z@olv2kHo50MZR2@el7CYVcfQDR3B%UP@Xm;)5I?ggSN5Nuv>am$B;3{-QiG><B>8@ zs>=|BQQ7oize?j#^Egn|G<%D)jDAEnkU6-aXPzpf8in53_A=j=(Im&!!MW-y7Zcmj zXL`vx$9Nc(D9Sw2+1(pE>8goN3^{?r!K@E0{Z_s?6Ot-dmh}%S9V6sF-#olS6488F z1r};W!G%T>PWsJh{^p<vPh%EdhkaivRRWkq0l@x__+ev3D@GgpnqE11tKmw5bH9OU zf4Hr$J>lT0D4SqE$QM1Q=S_%5;#O)v69rbm%8d@5(c^{H(|y={1@ak~fKBSP?Nx4+ zW!7S&TC>%~Tdf5vzmO3<jFiGP9s8Bbnk*Zh4yfFVvrErw?dFDqWhUEY{E)1)%w)&q zsW^U#kB$U+g^sCbOM}7ea{~Cts(tz8ft&mtZ?0xls243~D3CJC*qxQG&dYqr6bK1X z8yd(WH!M0j)Li5ngyp=`%*i;r<GH(kw{F&k{6(hc_{PhCl*%Kl(;c>iAO3sh_`6$M zRSZ-cK?7?+=~F*H?Fi?fnKG(hsYfh;Ht^C4?=*$Ro1!`>XYv#$Rgr;hpl@E7s46(k zXh?17_Y0S%9WH}yC3h<Wfss#o+{N5Y*Xu2Yve%-vUbx)+4DJezTDJi)jH`@)9Oo8` z4KHSPi~LrLz2gU?-Hq+l?JIl^HpGwt<{0SJPRc`~rRIG_n*3Hm{c+gBD`R)BKqsOq zk5fRrbWn4tw3bRD_ZG}kxx+H_v@`XK_#{}jZtjHGb8r0T5Vtowo}$HYEA^#X4cm%I zN3FKt-UPpRr(hY00n^T}tC^3g5<Z~zgJ<q0HN6jmN{)47ELD4xe?&vDQ;`?Cr}LnD z4POTd{oe_@rQ2~Q*Y&Q9f2D(9=WR{A+Ieyzu{Ka~s<b{uB9BI!OTg1}QjbhuwljwL zr~Xw4-6H;#<l5%Vtq^%F*ZniWHBpSC$7!72pxH}43Pswe=r)C0FMmQStPkzSL_g)v zmI?8|>>oI;Bw2jectS7r3kUNI${Ek0Bb40X!P>4LTqu_DZ_l%A{M0GZmUIk#4=U^Z zf9P7LAD%Poa}7!BkGMJ`oHL_K6n**&sl@r^AWxILD2yYruXWp;ItnsUgOD}ivN&8K z(cw`dG%rZ-Z_@Y@`$FR-8ckE(*E8z5=VT&H%N(jXYqe1Ef+1V`uP?lfUMbf?Wj;nZ zCCsuvnY2Y)+dY5~&Q&u|S>9?+xZfT#%3;MFt4~@@Pv`U%ca|Ob@Du~co)2sJe6CNK zbDq`i8$GEuh=vv9t=|RK>I#3+Rx0SN<MksU!|ci;EmI-v2;Eq=a{QJq5*8#|g8HbZ z*DFNOgZtQfl@)8}i3sKZhP@D|r^{TbNX#v>@gJ1$-|hP7-pz|#sVl(PcOU^M=!!hN zv&u5>6-sn1G)@?x%vD)wCL-yL`(ngfokKo`DOv<J{3#{Ig8n;PA8irXLwPUV!uV?E zK87e)*^>`s{D6#vO#aBGYcCpA*I1A)yuG(t^*OG`d)etJPl1=z_@sghl?xQI+M^+C zS;h%8{B};|Q#?WL-0o4>_R?>fZ;AVTOWWV{)4DHNDd#kb4?2RKbU64_+^%#h1B5Ey zJljmdjDS#woZVV!!_r_)j19LE^mabNok$T3`6FynT&z`3=xWb5@)bq|#;grr#j^4@ zEMAo;+H5&oNZQG2TDr`%(EcDCv_q*wW=W*wz7dL?Tsmwdz1_+`2ZLfkBBJSxVc&fP zMb(=kk98zdS^E-c)zc|3Xtyb(Dy=b}c-mf71<cL3&l`$7i2iQZeBky*RZ#RNvo+Ss z9>+&U5kr|Js$Ble7D&GxUlBuXV-}&n3Ha9vv(ja9{EdHj6=#uv1$|7(rEYlm^Q!wt zbZ*qai=X(jOdZ+JlJvi=k*3UX+vad7J(9qQ@n60i&mnc#YD)Fw#M9A}6MW4lcC)4j zHSo>5dl;#@r<8rq-6-%P=%`L<p^+e)`1(`!6h-0()W=b6_2(au+=<5G;<=^LyP;u_ zQ?_F>(m=#q`ljrueke3JxkUI_l+eJFHtD(>pI@S_>w)rv$nS0`a*{)b=L97>+=Z(9 z_3=-BJ)oGBnv*~aBJ}f~SxX!j%mlB;G>i;Z&*AyP2=5iSFYfi0I<Udev;Ku0%mEFf zJbe?#7JCY<pADv_mRE^`=Dp~Qc0b)jU9UCMQXz*%oHRBsiM*jT<u+ev=1Th_<5tC* z_dUr2i>FKZgI{p5DAMxwkAJaGt`t^Ps(6*d?xn1yn}K?=wzk6-JnGD;g~|V`%@=L* z%J2)`JJ)nOAy?b|ru2g<tTMM;#C4kasKRzwu$lHd$!F0akh^WB-;|G~4r}3^0S*n_ zl+7KLNl)yeM*=Rim`6eaNtS-I*|djf@vaF67hkPY*(W%3oAwUjG7)EnJ?=_dLP~BM zd>$}^vhn6ojjbPCz_ik<*^P30C6aX#bJBAzWT*Twh!pDQ{dQ*u39D*JCX3W-^qA_q zxH|nwVXc4G;g$MT!i7D5qJ~cIx_OM<--hiej$d&pjOfEqx1y9GJ?4|wpMA2u8Lot> z9EUv#Zl-$9Cr@7AR_uojZ<rzT2eJler83R>qTdkQHCw3cNA!+P;e|N;AWa;lGY54I z@4R4NGSYPbrnE_C=ig0clJKwoUUnd~BYUvzx!8O3<shKaCJmo<H3m>R)1YcMN&CgE z_{?O>zE>;IXge+tu0G`iWeiLm!@5X8ItRB^@zP~tKR0OU+8k5WCs~`_t+%(WdNpSX zMy+TuCNb;=MHToPg%e#?qq^#v=%o5dtp4CDhC^VZhX$1Fn>5jp>d7Ge^NyUV7W34( zD03ZyP*a{9{qX1EyfiTya~kRLGgJdTW0wN2ttcAkV|koHm9dNWsLNONiXYAeoU44~ zIpz5v)57G}`|rp*_F8&+h!^!VyRnF!RTp0S58(NsJrj{wU?#OJU@+hlzw55|7s?e} zla7|y9DOX*G;Fr9MCW|)Xde<@xk#-0jZf%s6$cEkUEjIPs(wm~wwCwY;c}AEt7#?) z&ss!+y68K5gAh&|UpbzvorBP&Rh+{tHl`@HZyZ87KCgNwx7T%?E8Z@y!E_!JEy9{3 zj)MBAkAu4WJwphc-Q{O_ODHX_8ouJis0(Zc?rUI0CRJH~ywIY^c>%)4Q&^Zxd}XsS zXNZUMvh<?^CtG|253!^%S!%yMLY~{_%%xZ2Q1taLmCm^5W|pN@=x?)2JqtVQ>8%2o zRoY*6F`wuieT*0-5emo|IfzJ|ro!z5zMqmdG>_@k+`pjtu#rSZo^6|?p6-1AaZjF? zKqV@A;MPkv;j@GxQcBIoz-C&n9Pi|E4-doTSF3~v?fy+3IWP5Y#>YqH4YYY`=Ie1& z8sDOJv?m!XqK#Gg9|!ftYe=@%ZLCjN`>E^NMH%<PSB~vPgwGQR(8&X5Q6wsa6bF5V zs>{>uf$-80iM`J#2%P({dh<I^qG;tFf~>=?vE(L2L4&+!P`Y@$9lGsXn|EHGwwA8{ zD!ExXq4NW@oe)BRRugOu(uYN9g3}S93Z#D&zR47hqUa+NQ0Sk*%qU(2uq{w#W=Omb zN%8o3E4%mf($~%ek>PLrri<~I4OkhyqY&k4^|<&xUq%{hF|0_X=)hM@emF-wwSQQc zXd(t8q$jm#4^*S~W7Rtf;aj2Q`8-#a<8BLzOf0mL^q{5SN!LHwsQ|8$67J#RLLr$! z^bjg^>xe){=NU@MA8*PHN_OyqaZf9e84_EAzKde{#f(@khVfaIP^+hfKyKI*EnY{A zWb31_M*u(GfT^G~IIWZ^lsZwHBD^9KZ+TcgQONfdCDQmb+l3}&eacScPkAF;ORhG> z2G-4Jk)t)3vuxiKp~JVX?V6zv0gv}w+;oJC+wA9C;i?~fM#|FSxAw>0u;UyA|H+KN zGoiDf5Ut%a{>JC6Lb2($;dlkTo^<;0o4|AY-epMQ=;|JLrww21W=R&d=*->|5YZs6 zQoc2t6U?+DJb2p3A7y?MWr8C5w@J``WTx1-fJbi=XwZgdJ&K7l=f0BDV;4(7Lriy7 zw(aMLX^dHQJ~W0Y|H1p3#jvxmk{pqjd?@~@6G>b4NDC!wjrIfU%ekxo1*$2Q<`i30 zyG5&M)!dF9@0fYJ&<slwwWSgCFd`Ic;rWdnlM542EAq&X-HEEgxntSH_Y@mljaj>C z$R$klL|P}hfQAkjPcX*IwX|go$zt{-;jzVhP3Y6i&#gPnCWv4GVOxU2N_@eGxvC`F zkYm;_Z|{H$wZ9I*rs*uA%0Pw=m=&YQ(NrYwr+_-b20t*a17^o&6QkC?KT4)fV^Svn zSOp;If~DjHEDjK@Q;}{|v!a6@_+W~tdf_!Ouv0Q?Pcd4#yj;QE{4ZlybQphd%Wf1N z)9lZ3R9Qd8{BHR5DTgaq>8BDN%lZ%mh|>kL(qtgaU`U`;C;xRj;=fGXzNcqo>`5BE z9|A=VjV29+v;uRwU<agSYuk^afRr9s666Mi>Vd_eTJ0r+Kty95^ZVxL%$;Z2_xA}Z zk&v7{6m6=wsJP9BNYhXGWJjM$zlppqyQ&DB@pOMmtR3tQ`-%WLVa-Ux=JxUCdFK(% zxOpp1_2nX;oPd@(MScenHWJoNLP^0yK|^5_bqO`FZR}T8aQ~V!L&U4e1gqA|rT?+t z@P2F&o1TnaS^+t&`Tc<hITRaE)(2C9N&$O)umy&qe8kSc`Ko)}Xe#WRJ{SZ7MFHOp zz#OPKG~tD?`SltA%@9nEbf}XxJ`AuJf+;{JfPx{I135giHLPw2@Hd1vvl;km2xi7< zGw4uWezuV2jVHJ)@LK}T4Z*}_lUzxx>n51JnBtuknZlE+KBApd3fhqrH%Ct8&%Z1l zzF|-vpesi1Mq#(CEC}&<6)u|32Y9=#ZBrOIT<Hz_>VF_Wv8WKbL`PSQAGv^Z&;J=8 zYIUAk!WJ6q-J=I=jKK0BSD?}e%mq3ER*b;pm`01zN!_acbnFi#wg93rn4Ubu`YpZ7 zG}Zh2tw|b&v_~orp3@n3rLY)Ui332|82k#P2e=!9h2c%BGzKeDo_~*61S`I$nxW7) zZ9iL%7}2DllabKs{8=gWyAi-P0V{xZ09_L>Gbk4bF#!wF0oaddg%-}wDDN8uoBw|% zJwARw3IG#=xc;@{#0rIPIQ@igIQ@<P>tkdA5S!EO6e5`jYNWPBrBck`cvy_Iw>47K z+*A+qkJg=G#(cNd58NBRK1LiuRCQAN(En+(LrJ{t?gGi&gx~&R%L$LOOZ?Y4HRoM8 z+t7QX%*A?x>_I!<o72P!Imbh;%C^$;EEKW(x5FgRmAt<Q-80ap8`)Y#>!<6j<5^x7 zVlg|%&%Xx;cVtK>i?=a~I1)HQTN3h$${tp|U)#Ah)MYq3rzO71l{Bg?Nt-RL%C0TA z_nqJIoGkjQ`6n9Tar8Hka5mlbm9)UY$}SZ$1Wf#fG~E3G{2HQK&PcdZD@-4UuYYpr zSY>V^AMR{187M>ZXEA^L;36N73gdr~e0dqX+HvG5CAYY5$D-Ec>({6KNjLiuC+5Wz zAus5;`&IP4q(&c;>ZX9D%2v~7GFo?z#eDWu6%GXEX4CI~w!YCqoeF0Qy*ldI)$ya8 zw*+j_6(~8KfWKJ;YwSbZd{5FfT}BjAA&)mM7nepDl+FIox%=jCI=%&-N+wA71w?$p zgnCN-e5`=jSb0E>sXx#2->tl9G@t7?PG+0t@1b3P1HMK-2kUE>P2%US*@y#XLvLJD zwB6!67-s~^YF)7}`I${??6;6@@ZwuWs$6q65v2zRM&A&6k2a~Gt=EnzlO8=TZ+_b* znwkyp7%HuTinNDl<5Hcsp498idUwWTtWHJbN%W(2+rE93Td$LKpff#vyWrZu_Cm5r zWoy4ghkIVd#KCa)if}pmGJM9P=}>>^?rpAbaxO!_7gft;IpmDAy*p1dUi}a|Ec%sQ zu8$cWX&_VEt^y>%@2x8fG$ediVTiE|2@E*ayaN%6P|eGh$+!`k3$=cM9QNQg_ll@J zZ?m)C83;+~Mhfb_!KNgl!<G<V2o(W&4}(>5I`|mPT6D<36IY83aY#^==_dJE%~k@Y z<oGF8-LFW#<?cWU6(Nu3WzXarrq_DA8V;bY$vyXt23w~d3p*A1m#VHJCC1)K6v$z_ zvnwtDln85Hbs4`$l&P@+#f^f*#9M|~q5e!Ipn@8INOm+orUv>B%!7PSQBobv>O!r5 zO>jSny4qNoHxC##7HX88yCdSyq4RUhBuFoOqeAqOGk(BA`WUJm!G}QAp3h|Qi=R)> zYw2Y5VFl4Uf`AMmqibb|1I#aqdijbeSW3MK8m0JVFqX+;7E@JS?G25TX()Yv_st`2 zV|A(n4}lIlGGTQ|EoVmOt6x&D<hqeOI4gffIJ661NqL2PV?W^bhKUIZW$LRf;wLjB zt=|7ViQQgAn2Be9kz|(9pK`s1XB!a=1Cf1`HFy~n%c*PlComOd-oJXfC0A1r$pw+p z7Mfjny%nj#bIV@X(l%n&ZzcYzgcn-z1MvU_pSGu#OjD@e0(HvLP2z&Ix@4A*JWa@$ zE_%t16hDQ?;_S^%Fd=8EUW9aIFS}Offu(wRz-YA50qxqk0gu?bl@)rI8ItVrDt%jz zRDJ(BKj-S1#Ar$T_e{9<?_UaV_d86De}&E)V(E&$>51KXmwf09OLZq|^%ld0UDXF| z9hLjn=RD0{{yh??iw}_RAVF^JzfSw}(zqtAah`F}DF|6vO$|kfnX-K~x+erygKCz$ zr<;0~@}(|kv%ia3aM7Pm5E8IJ^u6L@Xf<_M%?l=jQdWi&tE!h%Z;Sq;Kd?WABL~V9 z+lZ_imRcCxCyb(d^yBC@s);K)vz)Kn%O+7-`9S7Cu&5#bhg9yzj2?ga9b3Jo?`odd zyf!<fY^zTY2TfMl;=)`kZwB)3sbgX2h#$vL$MXWv>R&Lv5wA8c6jmkdLYnva!K0G0 zkZVJLGnv>rML_U3uKvnt{WYudBpM5}k{3Q%>elUZU)KI`F8lJ^4rdJ)^^ny7qpV3Q z`Bz45#O}qRBxj=q?ylFYlK*=&`Acjcq7N_71SM`MBz6w4+RVdv=bOxaZE<yrsGk}g zUm&A~e4=|z@s4OkVZ=y=xIo(dL3ifCde=fQ`8wVxCjxDzmSe1N^urUX&oVU|)K#Ew zzX{6^EQTAx=yj><R8+XU+wK3Z<_#u-lT&_4iOuL|H?zQ=af9I|m3?y;Sy5KA?nOHu zx$Z24)AB0`A<SX4^Se%>^A9Vic(v+tG>5U9d}@e}*ss%P_;w*%L*G+Zi)gWrC*@vK z4wzDh(F;)oxx4D;CDIt!@(*~bLybx1=X>)Tl4<_%)nlg6)<3f3)t=${x@K|(r}Qo3 zaHl8rQpYcBTD`8}<-oyQS#R7`e`xC<^5)}a$tw)mj#N_`?ZDSzk2|q6$h;207V@c0 z)c#F+B+lBOX!N-z6yJ+pB;It%&G*>+{<c$vBfys=M}ASUJIZ5p$BT*{3SGcjvs24T zZ957kZ+mD7-sw~g=sGar&_HRD+T^dY*4>=kTB-G4$VnX|j_yNd2koa}|HuwrdL6r; zD}_?f!ug=r^ufS6?9~**jS;e?WdzkdI9!&iEPzeFe&dL`e*8=3ZRcBQ0So;c`=oDf zx28wNb*fDl1}gz0iyM9;-=S-MII4_l^x6%iiN-%%+s4W$us?}@@ttb#Yr+sRXqD8+ zE-PDOMg1VREx#baLlREm>cWEZbwCmIyK$P_@fI3*1~xVJ+LvU@<|OX5UgJaqiz<6} zsxYp8TnJ}6sOb3q#dT`-G>W3PM)Fi<>-8iVK{r{Hl}X&EeB?Fq;{@oytZ}$VGU9k) z0jmDPUr4<yC#Ll96jBHGF9)l=_tfs&l89b}3RZc_D(qxSUO}E;iAX_+=BU1c#X<;4 z$bN(YF(pZ2YPnQ@=uj`)wif%h9jULex=>{llL#~&m4miPw)(AE<3En=inV)oapH_2 zdmONi5mM3=?4^*3$_+!wqJ?3(mr}~G#&fbVANM^AsgeT$EjLdsr_Ajw#A1o03Xaz7 zITGMAGRdpLN@h(G)V4yiKuOd5V1;DGq<r#4YaWIt%$N296Xn7%+}<Q6Eo`x{m|>l? z%~jbq*2W}GE03ikRZdFf8yLgi5N0|$15Lia$Zm7cOq6IeQPF^Yi74hzpKFBFKjQvY z@-w`+YH5rlZCqs0#7@GO5hi=Hks@MivgRQM%F?IE(FlDrXE12>b_1mEt0xtK;F*;? zg|1<x7{erlnj;vrzchN0Vq}C|up*8-OKGY0QVSyiIfk^FWUgWF6o<xMLe<q;4Y@&9 z-z5tRM51wJwyg>seVxf{dV_+A_Yg^}_v&_@v6wcQpb2fxPHEQ8`?9j!Y^U3FfqDaY zWA}&Vy{zMIGO5E~K=XEwfjWi)XJaNow8JXJeho$URY62`g=4#D*GWQ(v2w}fC}Z~X zh?=E<FX6i81Yy(bpq0SdG`9SB$@|wy!uf}$r9pk7X>kzfDsRfWtS9qV?^6wSJW80b zzRb_-&hl-j)|Kaci;dHKNw+=4R~Sn~;K(!f^2;AWnq!hriOE0R{a`kIQQJW`d;?p# zC$|_czV6OJ9>HcEd8AnpT>CNTh2p!J-)e4F9(f1K8$7cDj=u%D#NPLe4J%i4XlkH^ z&2w!9?+>FLL6cv12(I2qkb$*$O>RcEPdef)7!Oic@>^QWVP_;A!33fL-R8F^Bu#F6 zjZoi{Uk3wBK@{S41(zQC;c*!K;mN!jo1wRxngPA;sh1++b*IT}3a?o}zXfcdKmBVH zN*O6z_DuODT6*fej<WCHU8R`6Shw`ATZ|`1vh@r!fLin>Bl_-$TeE!#B^`ahsZl6T zl40w4FZ=5uTJNV4^W@(ly*!P9xrX$V<<(%(*qUl}nihQD0lh31Tg^c|M(%AH>zyBq z=mL>kom0a_7y3)K*$dQ_soe;dQ6&ECg61a+e^=_75ns<cRVGvS=>2RL4m61SOm}&$ zb-_!`ssUZPfF4|ki^ZIZhz`EY5ekqVc9tn!TUpYwvR6FtQS+$VJ)So59Q<~*;bd!Q zqA{VR)udBVE@eDFvDdJjX(N$?<HIk}^&^rCDC`@Pjvot4^4vqE)Od3q_e#g5?b<z+ ztSqm3gnHAk%{^*o@mDr2rk|9;wN0%ZXEwL>0~K_ebF1eR6<fuZH{fQ7?LNjXh~aeL z>zdqLEB65@w_o>L;nPNt2=wNXI%V;COxzPC1{2%M%R|9H!dE6dM={1lyy3mLkSt}A z=FEp&8X;w#Z<O>qXLA$&iii~a3`1+PkAu$R_>PRXXh}bNjK!}PH|%L)qMu&OVQdA9 zdnZAu!%!b2-RDtE6l+CjVhpE6O|RE#p0<hde5$^-qYm$_I{jJtd6?`@sF`ONbZl|E z*~oAKHm1KY#5y<fIFdklQRd$*CCW~qE{Oj*K=s^&ZQT_3Q@t9cWymVQnP+43u#8JE zm5pYw(Nj><juP3Zne<*O;+g8LzSYs}>(??+82^yYr-z%w;e3L(;s@J5>KB*fzmaQb zhT4*LO?~<3G2_b8!PEx>OG!@ZUfIM^vo~)Vjdk@^fyM%k4xKjp-hI;5U(!A8_3A|3 z^ls>tUW?3lT5fI^&3EzpK-FdVM|3>!_77%w?mZqaG`QWq2s}4w==(mqOH!I<QJKIN zTGCA{lH0`6kwf^l!Fl^LRnpOYKfl$<_Dg|uo}8<-FR)|+nHP3y>%FUAKcY{vG1jKV zw(Na<@azk|DS5PI4*eCi$+x_);xFreg@$sBj3(k=12Nn4NfkFXBEvG|FaFxNPoi2? z7+}7$6R-A=Kv&l<$oBk7rEN2zcoPvB#Bqjb-d%A}#J}HNTC15s!Rh<`lnzrY!C)f> zhc#(V$^G!KyHM?_VCIRWO|1wh=l~Ov@(a*#(fn%zO-u}(Q_c3Ry_W+Gk075wYHubB z)ac0VrvU!*X}8RJH4?i*(7^{Bl%}`eoM#oY?%b)j`m}r;6@85yixg`+yPxcY()2#= zOa{1`;E@`9kaZH0#kLRO{hd$+b8Gco_#CyCLlUr_=W&N6e(EvkSKT3$XjpFT)+zqr zHKbF_r%uX$qV=5hvg6Kjyz{KGaebqX8j4OaZZUAVQq@ROS90z*@{Ma}ZN7%d3jTM} zteSwBQEJ)m?C-c!`*=e2WR)ioeZ$A6c}-5eu(WUHzTR{E-=7LPOp$)pt$pIhyA!Nh zuL}_i^ybIs#x}&4?=k-psmMI|urBKcww4T_O?BM*J3RF>fHmH5!rFmkO?0Msy$Jdw zyftb_>d2|`l6ZU@cY1~ZO;x&^Of|#FWy^ZVK#lCBsXU&l{B(uD+KJ_XlC@2t?Y-Cw z=TBUpMwrSw+;7kv*sQdSc)9RJ?x)!({}|@jQ=>-=Q!qU3QN%7!kEJU;wv^c|lH=fh z<+@_8vnBK;Z$dE;Ambb_N^zu>W^IRB9qg*ff#c+UPPfuz%r__g!I!1YOhO5ffBM7N z?yBB7qR(5C8dB*PP%*8(l*w^;QLtdayAQp}I6ic)=tm~GK`bDoATyIgbN&|YEK4$Y zg59`a8*=#fUBLU1ZErdQMEk(=M{O;hq@=I%KNf#Q#&Jowl-(dkCb!GKG*pB^Q6qnO zcwTYHFwR;=Q9~1QyAo~$!jf*?v>}WcrFc2FZj_ms*M%Z#e={o%;-+hOH9jTEyX8DP zT++EsK=s2uR=Bxpjt+F!jPd_=iGAyuRCi%-eRJawqX+V;sx7U}(XVUGTZm>hJ$NBL zJ-Ct{`ZGSc7QW-NzP6f1w1!&+#n!HO?AHw5n`CzDmb~1Emcs?nucD;m!;Z9KQaO56 zJp+BkR&Jlh4;VxaOQbM@p(iQwENbW;r88Hjk-v$P)ijgTdL2YuG|XC(Gj?+W6Uj6O z)^62(hgH_xo~>KZns#`Xs*TS3FNV7W3)mgV8LYb>Z>#?-hA{6k=7@DbC98uAN6M&c zc~=z;*tzeWC)v<?NuS(yz2hT4^CE3dUN|p{aGp`Q+P@uN`*f4feUKT~2@U$fExz^y za+JDsu73tJB^ITu%1=RRXZ4agx*lB7aim&q-`O53#%cRdce0PPR2tuk$_As0&x{x+ zsy3?%q<lHp|2h@#tuK@X%|4MaT9ef%2H8jXk5IqWum)4{p)0lqy>IL`M}Nz+&HjRY zOg=Y|)gvP^aAtqtr>%GP`<;DT_NmuJ0?q(2CIZbDzBhBGlwxz8B?MBE5&gE2?3-hQ z1P1<&%fuf_){4M~u2_)|8OsZAqQ2h)QIJJeo`9BESD-;;o1FCp6y;f7m_f>&|2W0C zfl=(Yzisja+M@8R#Ef#E+p#{<X{N`^A9nR0fb2)@y)|cw4;EjO{$8W6J!Yo+GP;Lm zD~9&iAy^-AeNZ<{H^=&lp6@<~*D&IdZ8B_xlVq1vkL3Igtu8${^vvNMFY1{*F)woF z2X|i~Nm~cv7;a)4Iq2tvK-{Aiwmjlm1;0&*S?~JOx5eRR#9zs|;&&HyLU*HeoOkLB zxuV#ujVAHRGD$#`XL?8TD}FLto|{tD>hPYp#9$i#Pqmir^4h1}tS(e}(XSFo>DE=R zED`+)Nk22)bG4-GgZX6_WE)YSh-Y;Tf4N@*NOKBr`)a<=5<tOkFhOzKRfo%b8vUNU zTcjVS71H}F^c!ah#AioVBdV5lY#qf}-Wk`-$Y^8jp&Da}$&Eqo$i~4FXmY>&j2ZUi zyCzjhB5kW(x%&5Bh&64?`WnyUP+FsVu;S9r9k8>OG`vq2Kq%fAK{1*Wls<??#!&3d z)L8k16ZLsXJqc<!@`u@T-9@eCE2#9(s<l|o^sZxHi@|rUG;3={4`_u82O(rCzVI-8 z(GEK=)6**p_nxaDMrkfz*<z#urGzE4B%h#MSlB6hP0%#Vj}A9JNrrh7&^0Efv$fTG zToSrZl3|VJKGtg|PHN%iSEuZ3mgTOe(psHg^1)EBHiy#W)XyK;Fxg+f@Y_vt-t_Cq zZcnyjCH<UJd(-zS^K3cFa)#qg1`*vrMs86hl8<R73_yPfw)}uh-6|@i;HMZGys{Er zJQ1d4zvuG<w?gA0*3V*gBb9S_=oUdNcNe@5a4O*r2;RvlMav}T%<2RL_OIG~E*hrK zW2S96AcNLMiXs#AY8pr?oU-0r=%KURT&swd2<5p<BfVDrf;=EAAJ+1waGq}<|G*~# zZ^zi#>Mkzyv@_VgW%JD<);f{6wtnXrdC--?`{?Bt9eu94Zlj<pf$h(#+%?4?pLusk z%UB54qLE|`-U<Z%GH4Ro(d40f_l4tJuD1)vVdo39+9&3+SeZ{=)}R)dQ#Z`ExOcL$ z|5~*N<4uKiRS)`hT=!M;RvPQM(vR0f2K}5aKN@r`Y!DCjFZIImx)N~o!@}a^uNqmo z_Cz9ks&Ig?RKn1`lq*XwWadaSQT3Oec8fx3n(nc~4OA3!%sgwE!NrmcOa_%ztGQ;i z;=<BU|Di3^!VFaRM|Oo1`L?}&22wQYbfI&wE_0B|!{{KsErQKrI(7>v7_t)D;i02n z)=G0o1?x*u|K8t8ZLYmEP-Er6k~D?Do}$(cOy&kn&$LeKXncx0C4ilHn#+Zh3a6a5 zX;Q5lvNPc;&8V;1{h1lh!f;yhL!LH02}ObWy!?Gjsy?%q>Z#-t^40l(L0e|R7t`XS z!-Gbuo3DIQYXfwlPXo5?-x4v)&%A9#`bMyngb+-eu1ArSlZNX~$!04Ouj1o|%TqE2 z)%`|8^mQ4du-1}g8Bq+gcw!30{9qQlgzS$5V&9@!x6UgYIwi{dVs&10mnG&Gw_><Z zm@sx;+dJ*6JqcMGo3@9Y^hDI!<sLQaG`g6%6VhPe_+30I<<QfO{o5H|p1ibuORP6q zr520U#Rl47by6Se=ii^d$&enb8`^7Ni)|u#Pf#OQ_YV5TUm5_irEhIU9i!tJoXRh~ z--k^)eO`CTG@L?5mXy*e<$gd<JtQE9LM#Nto6F+Bv6=2|ji+rjGrgQ>B|_SxT2`SE zZpj>kR7ebv0c*-q^ShXE!f;VZVinYpDfxjsYL!GA%4cH*^n5KUEQXZPcTmlcdq#;w zdbw(Y@;xb;@RfMOtElNwZf#k|oxQQF<)JpE$MOz~^!<jPe2QcYsf*2Kgm1W^`gF~& z9YYUqpkXuhu%#~g58e-S!Ww_Se;7X86bgm5+K?GMi<>eICeVb*_9o-K;UYWgilj9~ z`(<pP8BXF-u6FT}N_NJW+2!%~QTA>^IwpUT<3qTx964|07tY}D?tK5hX<bumiZ~=4 z*Fq{=5Fo!5AI74op=g5|YnYP>eQ%P&<$T2D8tVvFD~p%}o3Vam*NI4F?TyB@o6S<q zL%+$bJS6VSwPV$N83NJe6CvjIzMh|IO;%KWKJB+Gq#|+cISlbGUHaV4^ZqY_ZTX8R zC3~Z;xWGAYYAu&46zx;9>i6$19dvmU35948v8k9<Of=2|(v>PtT#kQ#Red07tI|cB zEnrpmkgi_ehOZcG{&ix!5=0!Hw}qIAklV8$x!}*KBBkAJ=rI+XPx76l03qTRE2g$N zYS!UX3FkM0Fj|#IoSzk8z=a2d0K^Y`z#}4nq4|QbA&C6k!0ago7oZ#nmII!X!Pv0u zK=1)RV44Bu0aOCP0;xI6Siqko@COjje|aWlfCYijKrj|auq6d-iVSS(K<EKCC<qIH zOAR0%82mIQ5gWi+1QEeDOTY`5!1N%52sZfze1Hbx1zxK|2w-C!U}*?Q2!`1UR!0Rq z&p`w*mr*b(E+RJ<%x4Kqf(a7*_n{7~a0jf34dRFWz6A5Yqf_$(SfNJhZsdZvoo96$ z4V~`7{j@QVM1()(sR$e|284_GgWM^am9kZ$*}(_hXW8jHDrUw;U?WB3NCsc((ankM z%@i*>?_LI#q{1yj%DpX5pAU<U?%cM3kPw;_w=iCBYEIe~;h>TOB({{XL1ge~U{v=J zUth6zd3YnX8k`?j4UHLLCKXUnOf-rQ4_~$*E36MoC?af9#&i49jDJ;>#T8$K_?kej z^yAB}*k3b5Bitxn?8idr#VN-IGakJd*~<9xw5qAa7GEfT*yYg3p)>0^6H>B4lvspo z(I<;h({Uq}4(W`CEAq7}*|dnC&I=3kafM{v5N&k>?IO?#$)Ge`a*1E9GCrBG|3J;N zp4=B~WFeDfZBirp)`N>b$@*31Y)t*zK7Gu7<wl&p4vl9Nng#l7><0^;*MmwahEDoD z#)oQ==zN=RxV4R{tOAnjKOcxM`%W-07)TN|bkXFIRrCl|EZWZnNmZev7l-Foh0(g4 z(ho(xi(DdrOr$`Ylt~%OLU(n0S?7?xXR9tKdVkIOE344!g*oUDy5<t^q&Go>RZ8@l zW(JFH8{yI(8w)iGk<eb@^+}IIEtj>z*$ikXY)o}uqJj-lWJ`w&nw!k`<<1I=X3o!3 zn<YXk;Z`AR2+42$xYV;1-{-T`GsuW?la3xPMM#M5hxMN2dyfEQpW5QfgjGoB?hVV2 zMG8v(lNcx`Q*E&C(_XQo`BZ7bsFw#47<l^(riNy9jG9LVRoG(%WEElDz2w}i+iN^h zovD3QHC;AGhAebqLgDt)@bY*mi)Qt<RQ&5x)Bd3(^wZO76Q|wfbgI7~O-{4hGVEkr zTZZBDr&tmUUv$B1GJ%Bc`Aobj!SJ|yQnd2D)BTZV`1QpfxZa(x-S#t-9>2SvwR|MU zGlLf7y?W~KJsDmPLBR+D<q>Mil+7L0nNL&oIT=_9|M?taX({fuY0cJ>VlM#2$+cLg zHE1nOMirB-KljGT!oeeH7&Im{8y0cjJ#q>0^bg_o@L1Yj{bR-bNt2SZN;25EL&ESg zCu33@iFzPrmiMlZLcTnO(N<Cs5`&p8?gSLKB!j56;v5}Wi5=$372(Bu+7N|frblD? zaIv5XB@=WhhCS1C#r+Hk6wEXItky#w`*66}OwG7X>|5ctz|?w1@W`B}#C>v(CZU$M zp?C*b?_ZrT^CK0|yOBq+V)>)xhnuk}Ibn;NA#_LMC{|eaE-+%s8FS6zFR52jvm$h_ z{GsIC1d8&WLG+wIWjn)wq&h{A&=tdY;+%uYhws1Q2mX4>XBahz`6qvt&H!iAa^Q=7 zaHcD|HVw%9Zq4S->Ad#Hoz21ZbKp|s9d=}gU<QTUn)fm59_rQyv$w;wTUCV271(`W zXoL|cV=R<Y-W8wBuu_qUAT=@D^648x-(`y$4n?oi=451@c~4_8nfPjQ|4Q2Xz;Y|* z$#VK6_S?=ZhPYGz=EWAm(IWY8TF(c1N70)h!+PR}a=vnN+P=!3h<cOnD?aaHF*8~T zM>SIuU6h-i?cvRv`d0LA_wP61Iq7f0!_r<<quVPkjzlt~`72pDN*6w&;AsCY=uca> zo!n0T<E6FniAn6L8wcO1L;jbE4g+i8(~6Yjft`;*907GZbu+)mT>?@LBEOwGv?Z;2 z|MbAgsBgATw_GIb94ZrWHZUKc)@W5+OLlzrlcx6V(AvTVX8Og<W)vwn_r-@DMlKje ze2!VKzaL*u%`OtSo}3(K<wmQ>Lj!eK9lLc{JyUd8{e{whGzea4;Zw7@4cFrHzFN~e zYbbBB75$=7@}47c^(f7hJe`|V-#XbN{bs!N1@=de^ltm77CajTZWpL-WuRI5p=GVg zHD1-5`LjTkRy+vR^6Y!5WQu?Xf%fB{Oyb95^Yl&R3*z78QWD?zKAfF=(S<r)AQ_`u z9Z&F|3Xvqn03$0z*II3FE%X&B`Tg2MUW5}VcRBn_GNs%gO0Jomi|mU@y?@{A^^4E# zr*)fJ!5Ovf^ix3$sl<snW%Omk&7aJ0;VqhKIU6gvh<b>bQyLT9Hkg7U%CYma<Xn;G z(?nB*qgRSBv~*MW8TrPi;1zT3B@OfTWo3VxI-XPQfv5`(Ra+`)g!j*O(g}*&agp5! zt5s-CY&9QXxdbLa<mHC7gCR_qh<sfC^#;1bfv91_-)izyknb2EAz;P^i4gXR6*7Ph zL<&Fx0csEu9#}w-3l_!?fq;NWAxHr5EC9hr6yyTnhz4jYfP2*nLVf`LB5>_V=>OJ& zfLdY5IN&b^*Tjq=|E}wQ1r~}z7C?MJuMtEWm=uEu{ZF+bS&$$=<Q?QCFeDB+11>JX z1h5ea$T1Q~5Y{XQ$wr0e41d?Apa5NZa8G!e_=vm$Fb`dbItb`8fFpR8cwj+Z0f75G zqyRY6hfD$8Mv<W%$3jA!HVKHi7%Yvm*fg+q)3<+Zcic0+7t%IMDPTTmW#HLFNHP zOE?WP|A!U=&KVG9z}y0|4{TY(rGCqQqyoUC2EqW#v4Y5hfNfj2W@hsr?aUCu00`Ma zs)2obxMX4XAL)f7ga=Txho^nw2+!Eo;s286fJ<jMb#nR-rFMpV2ku<q)ZOJj6kZJr zpy3Ls0G`|+A%OSW|48tbFala`kUID`;qa&+_y4a10gOE$Re+ioT#xYlM=yfGZwfvL zIQD_#QLle+0W8ED@)iUL1i-PQ?|(3rAA}SU_#OnujRF6`4uKFC5I_orH(V<iLipeP z4#dX6)8Yt$904w2@Q8HiKM{p6)ldj62!Mb36bu}M{euf&x#5s%5TFqa$HS5TgMpwZ z$PAzz3xNXT(f^^LG4T8MDIV_oE%qN;2!me~4+P{V!ZC5eKezyZJM#d46Cg#vP7++A zeE%;A1|LjK@YbimiB<Cd<E)$lcjiuoOO7A@kwyUdkC0<PC>`F?n$&+<`tPB{1Ei<H z0|EhfKy&&(0fjL5c)|q%;h*664)_QEJ0BL{M<#r{3}?fo=THAgBfv@)yvH7L;rCeX z^FOoz_UAJMj0hkWz@7c`{s#l_vBCt1*+Vb@i+o5SfLa9Cp#}es9#jR_?F!-g#}c?6 zRrHTu2s}4H7-5#h5N;6gsSK{+l>VdryH$*Ulp{R$x)f3jysU)l#O43!|BhvVU6ez3 zKmcnsyhrjX|F0fl1OltzLvpAV9#&TUPgnsA{unudfQfoImaY3A{9i4hu7}hBdW~>N zx#1tF5C%_D4+La4!@C52Soq)1brCGS>0e{_4hHuoYxxHk!lqjwEFfU64UWBA|G@<? z)~}EX5PVG!pPk^twEZ8U5Qf|VAqT;yP}s{(NHr>ap+7SSX+#4Fq`GrR!1|^kDp>FV z4QGTvwF)vTOm!8Kjh6leNf!{^gRp_P0sB3O7XuG`SN;t;ry?JXpdjymm-*pkzW*)@ zz{~s@`w(LIs3X~jz`*e9Odml!K=4^Q%$JZ5rh5W0BLF4^kaPeP5E8uJ40j|FKm~+k z^uOyC`d@Vm{ZqFfji3;JMkx|8D;K=<uk!(TCR#%9vfzK0xw+v#g#P=7FuW`bNS7iJ zf(3=SU^IwGW4Iu}54cR&!rcG+NCBV~1j9d3&?Xnge>ycUaKlI+Ph2xzRxOE_Qd-1X zs_8NHR4lKGBa7u6lEvyb_3VDi&2Y5@qorbLlvhQ3QT*0qRC8Kp%rR;fNE_7$YwmM? zDTBMFRPd)FqJFucHtL-jb5mekGIt;E*IuSsQE3INj->F|gQD1jI0=<^D1Ep|Gpb=w z4BrMLW{j@27lb2B(PP{V-pqdWE&Hdoq<#sfYb;F=Lb`VfVdsN2tc+XCO&{|;6dWc$ z=g5Z%i!wF6#zRUDk2%McH&zCpA)-$#S&n502X?5);<AB)Fonp;dWS_V)2v@K?f0NJ z^pXCEzh%Z9pn1uK=q0T}`a1<To{QEB>V;Srdw|bIJ}1?S?p&-0if^f=?~e)<mX`b> zeH)qVy#YqTP?g3)HEMnxMW3lH9f6F5HII+^3v-ATb(aen9UF=BbxM6f6SJHE^IW|+ z#X!B-Gc!u0v^aS>4Fh4A^wL;btUqHWLocxwjva{iL*j;uKVz2d?kB$%vlpC&(4Jqy z;3;+$dTA}{uc3B!();rDNJuC`J;a1`D-^%vF?4?WapR%j(WlAb3M%E&loF=>2LDD! z%B2ZFnj{#=mj<&yUWePd^bz-Za0Vf+q{W6|3*ovD7iMh<4D`tO<CT<v@Z!qPb5Y%W zTsTP?@$03v+CJj9(q2i$wPM|+L&vztbZD9(oI|nS#oi<QQW@4pxKAH&K~AQ^8sqTT z2t#Bsi~Bvf{)9bG95#BPLmNLj=ocj9_jspZ^f8Xu%t%hn<%3>Y_GGK$?Np^D$3)Zk zneM{;iQK;9^}+Dzl9|4DvsQ(r)?2|;4Y2_FF;@j~m(2YZOaEWT9f;fDacCp@%$ePB zi?o}?Pe&x|(fwcO5Z3j_o722&_pzWo!X!)AklVl&%-cf^3aP#t*Vm^D)S@5uI-U=z z?PfI(L8W{LhswU#cZ?rUcB<|>zB<J4XL)@VIQgMibf|p!nxg*kRa>~MRDC7t1#Xcp zhe2r2(5B&v$!7*lmHGFh#l27j6qc)oNPUR%8OqMuVEe0i^F&5!<ek(~@yZpxd=d6M zKy+spbP2?;)9nUtG;xZZ+vtE|`xUJ>Ls?a$xY2dUmH7h;gMJ(fB4(J0_NQT-{V-I- zxDos!sYmQ+Z{UHisaAti!(XuBcO}1^k3L`^r#91ORve2Kg(9Jcv;eiGpz}K<55xSK zm9pN$GgXaQt7jHbh31Q)&+9E<=5U7FVvrxEZDt!>K%_^%@k7as+{*HLvL`s?Cm&^W z6-GPi+QXLQ1=}N&S#oo)^;Q8j#}*H#O0a`EUle@V+{BB5_#(kVhSO+U8tHgGMn`y` zaCDl)v1ss3|F}u-pG|0`iQkelXK>@sAw-v=JY6CAk1$b~?dR5X;ae||iRW9Uvmal} zIBwr^cvg0Ea(tUY7?zfcHY;AlBJ?6ZnMl{cL|SPg;kaXqoHA?DAdcQT{83Ya<cK$^ zdK#)nuuHY!=Pb<@(Soy(fAV)#W~JTML3W}j!E!ae*^=Lh9P|LalZl5ppS7PJKkj`| zn`CnJz6s$I<IK9*KDigMd3#jpY;>{TDj|{aO@Sr&{j_NDF0$s6d)BK9Iqc#KzH;Z8 zjrpsJvJ;U|Wa=-C$)A675v@^bN<IlZJz{%7q8AlaD5<AyDEL!3ko%W^OdB~x;5B0^ zIR2HY%quoA7f^ZwT?q~L=&oVhv#*}tER+8Fvh5~ZJxb8{x?7?De!h|EmR-c}keU*H zD^H_4gL;jZ&ptAStlbi~2$}!ps<kLPwynKj2^-^=5S#fr)G)pM;v3tuYlzBCR^G=a zR!IhELf*$VKo$3s8BP1#$+?xpm&C&9$la0?uHSe%+d&wvP&BvgN;)COws=el%{En= znPa)FT-u1HGs=(*2m4JFC)T^nI-Ht|l%*PM_k=R`Jk59Ap<UyTmPDky3-}g1zmvF$ zpYs^pGc2AKzCd{X-r}k@T^4^PyqWx-{DTg@%l7a&_0`@nP&L4z3^9jljqpbqP4IIB zji5yfl<z=fp_lS%8eDf{jN1^|%Z9-nR3(Y<@#Y@I7hj2A7x}-h<Cn=mLcgXR?^|Hw zh8t<P0c5zxt!PvyzF5@lSZ53tS4Emcu){fw5YB1g{5)8G;)?+mhP~lkh`gO)zTrp1 z3@_^swwr8dpKN<&)Og^&C~!kU!7~o+1IXb;Uj&}<@K`n0@jiVDxbdZhn_C*V5ybnK zp@W-+f0<kUe;F#)@$kr0os1~A*IpTemz~-fNN8y5hZD|0lQvzBc&#A=%I5w9{zr7~ zFvV<NlHM(Sxq5O9w3kF<H$}}FYkqRR1T}rywOnimU!hPVk5kLK9IbQpUpakKZGmW_ zE6~7Bxon&=1_x74qhCSNgaNaM`4|L~zHNynZBUbejd;twNB%|OKv;dYEB6`s@$Rd2 z6rY5qcZ<rV%!Ou6#9wp1qWK8Uyh#3(aw3lrNa)gQ)`aZtQ%POp8P)XHMvLNFU9t;( zMRjNf#|K(5zxLr{_vxFbDwBAnwXHW#@v4)s2<P@msKPG~-L|HfprY@2NEAm~MR%l+ zk{!YAuLP#1hOUq9SL=#uy^swqX&$ftJe?*;#$D{oa^%kU<6xmCFCVTCmb2iQVYRw; zxn<9_>3kzLXiG=D|FA1gDf`Zq*OJx3<XCrDS2PRCZD#&+?KGHFS2?E4qTwlOl~zD( zNHPV#y+2P1wnDKg!!y@gkB<(r(NE*dzG-@4zv|-taCMTPPJ8iJ^*&^hqn$HSo^UzS zmFro`m*Lp~I#>2gXpMOnWik4G|E5@^E|o2f{NSutK~%&Qd1r34UigK&M(Ey41gG!8 z0e2Ko4Z}Q~qtVy=2d$cYcqO(tBP(uCJY)sh91d-c?T&s=c8n+ciM<MZ{X2UDBU^7z zT`mH5OHfQ!+;UG`PW0>n#M0eP%{|lLHeTVkkmSFW5@b2PCrk}39^X5vK+)@d-Wzc> zlMgkQT$l&iHx#2*Kpi*#Cq1g0mvLOm@?1vHELmpq6V@?0)_AX2hwR$7L3l-a7q}l@ zc*n3y3%ec{Nbwm4ob_)7-dM8WH0bskU`!53-ryVcE7l(|gspN2GyrEGYADX@PS9EY z#29RNu>9)VuOI($bnrPt-NP}m;<cGx*|qMDTXI$EyP+Fo<4%Itp7qi$+28^KoaQ%L z(8zQumB_8<_$G=lW&;9?q{Cx>aS{LZ3x&2=S_i&UuX#VdpP8Q%ork!R|I$bCUd$M3 z%N^C@i}8WR%Yk^3^8Ey<$Co@+38)&U?#r%$e6<Z#*+bib)I%BJxEn?1$=&13-r`xS za@R}$hpDdsimPe5#)G@NySoK<cMa|y2p(Xu0Kt86cL~no?h@QR5L|*g{QKDZe^q<8 z=FW7_^zE%%d%EY$j4glWd+@y~)lii`E}yXp!sqci8ficZv0O>eZ+pOX%xky3pU_3u zeV4)vefoo2oeBS_Bo}7)^&V($o$X$sOm=>`D-Bt{|ND3cC!jTbJ>z}GRg*=lIb+VA zTRyt=$*n?5g#jILW@5IarZIIN=i_g(H0gyVsxZEu>S&%LTk**7F*lJ?OR+ZuE!Q7d z5<%G!?jlOnyXEgnZ5NfWp}buRj8J5!*k;mCJrdE#95Dk=+gl$5YH;40$$NG}q9F;~ zdb^Ef(q8KbAH`dyVJYCRYOGN(U9QH~i^AWbR+RXG6yTs040^eMVCYQ;vLJ=khXm*A zJIP?t@xW6CK`yYGV9*N&-@Jc=Z%aN{1CD<ov@91npTNHe`Y(_#An-4+=OO23XaBd% z2QG7ffj9v@`@ivk8V5VL?qARjhUEP0|AKZkFeK+^=lKhU<3O?Vf@Jw&*)hSfz~6@D zD!{rx0s$_tD8LvmY<Lir5^NPdIB)=`b7~QRn?>LlVcrF7rU2MXS5D6VhUX&Z=j8a; z6mD?&znBDUBIkc`1K31P?!Qdr=H&S|9^m*(@Bc>){G9(MYT)Pm|4{=!=igBS4ipzV z=z}Y)3IW(<f1B$c3F{6C+#$fk0l`JXF5~~_O3q@ijXZz5(xVvc%74cIyON*lKevMI z<oeI8U^}_~b1T?RZg#MpgmnKt(chlr{?DyoPjdg~)xSK+&Ha}ralt>PUI{D|CGh77 z3_U1#1lA7{D1HWm4Z<9Q^(27g0)5|wO-6zg0Fhq6M!^FUF>o+J?f0+>$bY4zut5Yc zaD|9qsZLZl_`jrv2;hd${>fJ5GQa^*AvqGzY0(9^|4*32%>iD@g9Xb71oFe70K7I! z=~~+ukw5IC`msuy)9IxcM18E%v(+}2{~X|-Ln>ce-vi3()i5Ujre&Yy932I;9i(Ff z6~t3YF}SloRDVl(ag=T(?e0`#wB-&~)4?JPmC>@5%Fl8OCa?JvVN0Li!9$X0P)7dI zH(HHDj=O4l)t)<RS_PI{*qS;32M`*Y__cstMH-_6gH|tG20aXF;t#dbe0_-e%pcs3 zsVLuYnQK?gJ#7sn)3g-LK28;<)Iwq<4pjt)Mf2K9g}}{^iW^C0%hH~G(;P4m=XcPL z3Pp;Xj_8y2j)=xK{;Fh_{3mRf<4^it3Sn9$$~?+M6ATNM)Mpisksb$DQ!zl&A{-a9 zF!44~{U3{M$RvkliSdxW1k38cpa)Y;Z!HO7df!Fxt_Z!>R#KL-n8bvIW-i;>)MZRe z$;o;o0x**HO7f^diL_!9mxgp0WAO&eSP_QApUqKRcAQ(VSb~)-Hz0szBZL&DsNvp< zs1O1-7MNA50*%;tQnC3K=vsiQX>D9wdbqgy<kYa#xp|5zctqjIVeiN@nyEr5P6@8$ zKaiO_w2j`zJrZ^)+!2Pc2M~l!*11rWwsj4{Cs2kY!5<OHgV6G78V@efF^Zv?Z9*9) z^NM?@=wuuCxM@&G1qhdky*ncK21q$0Szv=xf=t7g6^Eew*b@!Kz&i+Fj@9NOM5qnP z#?n}G4XByr62{Wwh7_6eTX3ug+kEHWrFMX@9qBw2+yZQk#%<x*yzaDa->LAF4Gk9- z=tla1UUa*4yH){18w(Go8d;QekFp*vjVdCs3i(2hn+vtN_myUZR(I@QTdDMUqCRI# zzz^+WNuJWXGrjfpJ9_}sZ^G>m1N<no4#LR<ALEuh1cW8MK6WwA$@1Nn=3fJ)jexsm zbfS#MuJ45Ai<W<q#SQB74Hc{*(_v}^EI0}9l`=SC@b&t+=O9bM%(wUAE4@4jbJ~A9 z{^+#V^SZJbv>Ihea47|BImJEW;hYlRRqPGEY*!I4zCP_Peqjbwbe#6SnCms53dNt~ zW7n|X%HIOb$P|jVpMttpZrW?UIpWuSsU074glWGry?@xXGBPGc22>9Wtj^e~8JlY8 zeAUjmXFIu+t*i6b>15&)dSu&eaGOYVnqXdY^!{AW_-1K1{HksgqgiJia&B~Xf=yR7 zqzsWSIRYVO*ERw$LA94^#8D8=A<1#sMCvz-hlI2{%)`w_yzs{@)Umst7SzlE!IN%K zMbdj%wwE=<yZ@vLUR`D&zL-BPFeDFm`37ycUkh6I+-P=Y>9{`2`Uq0xHdNOA{N0fe ztLE9WN%$iBiyQ(O!^S5aQ06Z`jWe=SQk+6Vxeapa-U?iRq1=~;6$P|!<~JRux!pD2 zO5>%mv7vY&lDiR4ID_wzc|rn+&gCEOpF$G7toXjaZ07NIV|!kmOS`HEAO?lB;op2+ z>%SHsZLz4cnPODwWeKN_UNlo&<HX)!EcbSZ6;Y(oFvyn1KdPNL8<i+<Cs+<{YQQ;< z9uH1van*VSl#1eGw~iNiw_nPXi$?Xo{W&)Hl=L1Ba^V}~?SJ=pJU<A?7Q*5TJUSbi zno^BLeW!<eMJrxr`%1<LpA!=Wuz6)%;*``H`1$PWp}x;fmy|9E&*@10Ygl}xa(E%W zSj&3A_0oakT=jztFNwBIyR=bc%!a5PLK@S{_Li3h;0^MfuQavr&foa>cZ*>Aaf;sd zWq3eB_xc7FUajSq=C^(l&*L2jt=^ZFgb@?1-6-?G8BlAf?w^Al)p8Zb(hB%-)WMkN z3`Y5fs4#6e@h!jnt~aCcCk3GeN5v<?=cGyGG3aI~8+Y7z#^rJUktzh^ldpVb?*}C9 zI|(bX01}T9&DVF_m;9IsFfFA{v_~iSnh-}zKmu|wKkPeo2X#!W>nN+fM#V(nPCQpx z<sx&)*rmX=CL=JfPC+YnswYnJH=*TzGf$~2UMm(#8*D)-1r>1+89Uh{=C7sX4wuld zw+v*FEM&?RonT~@({)nR%C-chydW}&lgKZ>0PY$+R|k*cU0*UxSAN4BFZ`Of%k?4d zkLgoKM`!2QZKpw!uxSx?qPmp|V7_`iE|LhsCMx{ZG10Mxod(#qbS3mF7@`DRgSw#= z2~5afUUcx?y?OB6FOpE)D5Fp|4b~JE-4;p()MuD?tqV9<d?Zv!)lKi?9QLyrJ(Qpl z0I8tibRZ|O+gDTu;u4EfpRV(aPKqw7sJRc&rLF1sHkFFQ5}t~0`#`UE%loVC4|w=f zDw{h&OM;n*s(yCG&N&bJ3R}@ogzG}A7}N>$p93_EmkNZ)?tu|-E;^E@q-E_e57cU1 zjBJ&at~DJ>x|-!DWx^+T2wuXSQPEUgfPIZXzg3E%=o<8r+D$TDT`E11>Uadx^4iML zg7%ZSktgn}>KvI8Y(=7Y6}IAM-tYUTN+sE&pO81J;>hQyBH%#vn`yTM9*J~8oLIU$ z(PJjW99F8zO?#3Rk&8mz$#d!IQKejkx~J~e6Ho4UqF#cU6*HX!yXkc&?N2;H0ON*T znk$KZ5CWrjQ;GO@ID$A49Qhibt7y8yWI_W$RpWDp*+9fT5;uYSn?*KGaUz{)1Oo#` ztO0uUKPFWh)7d;kj^l7=3bnl}Jo``e0lHaNTj<T5Rk=y86IQPln>|xT)l){peCI2d zaDvo^Ms3$ym7AX$uE|C!*xIeV0M<Jh{%$ev-b<&NF7CR>f^!#i2I8d*LLsr9>Gx-r z)w%=^l1%#ZGFr%UDvK@5ho1F<<N;kNWx+%per;80&y2@iQV-NV``vYY%?l5{M_qo8 z8v+=3Unqs$RFv#7-m9;v_QT*<K=f!j{iN(D`xdC0`q0MKyV)!1(K6fWfY%ep_H^>f z#KN0E;^M&$s{O(nkFjT)z?a6)x1Nwcj73>LbsCIfo-2R#=C%S<hHg<rO&2h?>(mR{ z7G*loMY%ruwxm=+mM&IH;e<8u3X@#9P`olMXWFrw^gX8K=P;x6nG=S}s)W>L*rAig z!<k_)Z3epzc-G?%e>*J8cBqO<Px+C;9G}ukS43Q`H>8=Di2KO%F~S6^bxVw<nzp;- z!ygCx;hNm4;3o4TRj4@W3i+LcogG~)QnWnJM!B;r_jK+bDOLLp^3`1`uIZvzTawTR z==azykx`ju^Kns?%ge~`NQPN^nLx8WBrGU)4$zG_Tp|3w8F~;nLqCK7o=p6r1vdjG z{rp4V(KCk&g9B&&|H|Qmu5IC}5WqnDZ)#728(cap81N~3!-XM(GxGDHaP=sEO$9_G z!VyFMgZw~Aa8@W_Nc*<}dp?{F99a7=9#S}{6b^iS0D(&3y(}OF{+0lO*+NVpCnN-1 z7%+egMML0)2SzL*afE~467YoxI>AFqYx~bK;4IQ54A5f_i32#ki^TgERS5~WzlVel zLR?0QLjrmpBXR!KQUR1a0n3yfBk}wr(|7`wx!Xeuf(62!|I?BQoIVFj^PMAc|1AS8 zAixO%ogk?|0YfhTX-EgETp@h~_FN({{L@YM6%qzW;{u5T3aEYiPfIM2{0`h9;0j3s zk{i@_g_HyZ#CrUvh6lKDjD!jty+zUiZajkflzRNvAn;&3pyWFw0MuVoX8%&Gz^xfT zJQ8FtkoFT&A0<#v44DIn_Jkw@iX}lFqXb&hp?H8M#gNnYfwG9G9Ki2l$Wov+Iuz<{ zNP%W}RN4R2SGYGK81f;afiHBBHzEcPIwbF3GZy^Z|C_Pk;1l?pah0*=3}#$~UEE@K zII{NrHVfOsmVuzNLlui6^h7K|@yn;r9H^!uxDr&^>UytY8T`pOQ=zv4^@|xz(vAPx zRgMJ|!S@r}Y`2iFH|jE78NN;#4}rGGbU;AT8+VkpHQI(Fon%a1XPVWLDo7U6Uk($C z^686+1UiYJOtqvuIY5HaoW2p`W_QIR5T0P)5-Ok3tW2y-0Uh-;f!>NbHcu~<mXxLd zA>5332oo7AxY=C0!|7Xv8e)YS;hN52_8Lru=2}IXS{Bi_(0yr~Yg^++ZFpKiJ@H^J z4lzjtOY=}q3M*;_UW%_FP!q&%37o!@=9FKZVi{G;sM!@JH~{5V$b{0=1M&S@65r+G z5$UK+t+Fxg$S}?9gS#+C(fctWcQN`^Apyyh6Ubib!Jh+t82a_0wCN><zN6y~xo<;x z+ETEyg?p-Cd{1_F3oD$f!^Di<Pb2y=LPg=iPs2^eJ%vx#xBY2aHq^gG>=K?`kB$yI zK9B~+S)t38i35N@D=E+Y9X|w4S&k6lv%HdNSd_f}BocrIfnDN?_A3tw`N)jjcdm5y zGKg#?d@arhO==kYePmSF*m3qXIXBMYTV2ReQ>YNAnLtRY360=9ZOF1e#0vNbdobC! z!H+bOY1rR`1L`%+pceLIp$G#z5DQn!H4(#Hr&Vg9Ow9qwa<g{*%;nmsS%N+E4B}!7 z6A<ul4ER_iK~FQAn`OSY7y3>WuSf2S(G`VJAmz;WTg#`ZGGF1$?#crfV%!qZAI4g2 zm2@udDQ&yz9(t;T*Kp2_wG^MsxU_cZaeqQV;&O$}cde{(EhLoZOc_rq-Oj(b^S-IA z4WLaF%2EMdG;wk=_+Wj7zSveQ0p4IumZ1bWb4asQ*i=;Gy6G~Fn25M6dsWEv$(Esx zG7Cz4Ifb$(<9-e$t$qUW<MSzh%<a>0x&yLJUKd)g&kuoM3y)VER~zTPhS6ZH7>$0^ z+=6<pj1JaK<uS!O*<*yRQM-#GWOnExgh$k_0RRBcpbT9hz@t1KKg$W~e#59b%A90> z>6FrK#oKJ!@8p^e9|)p2_F_9t)yyxjGMSZAKW*@?<^4Cq`kN0yPaC5Tm#0y7ofCb$ z^n-g&7!Mbw!m@aQ@ihavQ#N=u(+6!HQIi7hGu~B%_QHz?e2A}rj%}S#Pbs#O&Y=iP zf)K#41TR(%%<1cBc$AM5-EPCaC2!Lku6?_B`?<NlT{q2F<<D@vZC*DCR<XR4*tZGN z+s!a~&CT3h=5PHTP)J|aH|^!Ne!y+ahkruxZNzuSLH<VK5(xen>Ea&1L}{-n@^V7C zO$B^BO1gkkkCrr34>2<Sq(6G1n+WQyL<5i*cM_%PuE-mAUQC@RufT?2J03Gckr6DG zx}%js5x=)Qq+qzUyG|dl>UJRL{<1>R&GAgCY=qP;?^o#K3O%d4>fCmVil`<dlsw(W zc&YXNG`wikPZj#+y`F3YQvMNdMV4>LrcPOhK%_>tg5JO)vT-5q%%qmenrvrE?*rh= zpCA%T|0?c-Ci@lfY17WZd%$@j5_-6*C6j~68NJ~b9EZa<M}-FtV?Q>1*3sk4QIUGc z22`zcxS5NKIvRY`H6f2dXP78x+1i#&3}$EaUUR<S1S!Sh+%nbXJvXusjb}Nd5rTiz z@Nr46gb>hf0iu42o<@F#6q$Z?KH7i@0}3Ml=EU>Eykal<WLz_a_)!PGPn};)Hwoj{ z{rP%{Iy2ErJjBlT+YvUmH(<QB_=@6Lp3gdm+jhLN+T<?oaMPn7_?N{=2|B$BuPma; z;kZQfqmtZR$NGP{J7ISoJLF~s1THb=#B&FXVhMza=BqYBimKoW(*UdDh7|!~h9Z@( zot@3^_J9H}tOfPk;T^@-=Oc@`tnBws+CU)C)6Mtt&eEK&K~-BbcQGk$_c7e}?a%Az zo`o`lobQ8=pwGi&QCHQ$oyGOhO|REE-=ag!wsog*lP<93XQWi8X49vaj}Cx1#r7M6 zRYSuch5@-*?NQ8V9U~eo#+CqG>zSxaNQ;(mn_DlVS>+Ay;I&&gQC!2UD)*bH`v(1x zUVEW!Cvy3^fis>TG3<;~*oP^wDYn_;ovd`%sKzS$vjCfRhW7KaCWS?x$}Pj2gyQ6C zyknZE+*00fo>xTu(V=J4+moDjf!-rL;wZ0Ix%eV&NQmRZjg{MgY7xMmF%gHaD))%Y zr#3I>Z{aZ*R(uz5V{l&3R)ZT5W#;_m4n%{x+>0~l;?Qhgo|M%L_VHUgCTRA?IDu<y z2e_@lhi9n*GgA?`0>o&ynMKm5!#%K#BSC}0$WgN!HJ0123bQKp^h8qTM>68Ejvq%+ zYnKD~hKXhZXZxY!s17hK9sO=Cw;p8URuNzB$ws(n!CAX%Ol&AFJ`f8f209XuvJ(aq zq{@PU1`EjnGU3F~aR**Tfq7!1B^dZ$z>I5jCGgE10VX9q7^eJv!y<u+ru|PMO$~?% zhYKb>{9W%*jrkGbALWi_OwyG9lrI#qxb^;1<}bqf`L8nJ6PAsCk_06t5Ws)~3rh3C zhSK^=9S2l1j=d}WpL!_<PTXIl>c7WOB*mdb`e*DQ2Al}@|HdZG!O8XbXY3g)+=W1J z>aR2z7sDTt57df*M=1rY_rfCvlCwf1p>wcvvi}bz@bL5fMQmUM80mjmYpD;oui4)1 z^kAf|gVxs6w4%GSR2>?%tQMx{-940Q7Ea8P|5+p28AvS`Y2Y}iabIFRA1a4#>(^Nz z&&0^YsgBL4Ng5}}Wnj^7IRx*x%#8mH<%1Ny<2NPSm;<Sx>OhvmN)%%pOoPocaYdV1 zgQx>X+U!Au&?zl5z-KrNPAg$l#waC$s6shN$LU55YeAR}-HHk9Zv(i0q_A*i&6#?L zXCeEABd4Mp=Gjb<Y&4~<V+LUv6IRH}Xt+wL!5Q^^*vU%weUxgsbY^em*UwkzpDEyD zl5uT%6=%`02=^0X(ZxrS^LBXFOQH)JK4-e24s*a`*Q}9?02ItkUVac*Lw81VBU*EP zCdwLEiTBur*ZGv55*qStt;&@js=(o+JTl&CpswvNno?|@9k_!--VdFhrsqS~Iuc+f z_P3kKsS5%-p=y+a55)+n^*<<E72H_mqsVKC&nY<Kl4hv1GWV?J<6t-bDS`MkU#s?A z?UX^U1^Y7~tR9dmp^q(u41JQChqyfD8%Q>c)k2GM1+1qx#s0u0DXT_0EzN*Kuk{DY zfKaDcc%2Eniyh%X%FjakUPNm9A5ah5a6uKYy9@|oM^NW#gpFb$oQl)^5MLkwV?o@F zJ(ZC2y09%3NC(@D6P5V~IiBn_I<*Q}hKVoH1C^*s1LOeRRl}A@1sAziaZzy_2zRSL zSx`9hfiW;CApxZOJaAg*O)`W?U+~d(2|h5|mgjzOukQZ}eMmWig<PpdaUBS3%+uG0 z(3fXwf^d*-&}6m|E|(|3pmM;D#L#cl`QDiuFjoI^{4%$2`eJb>0uV7^9$T?W-D2vF zRUJ<<K@|m9ioSQ;Z_>A;IZz*eTSZF<*0)v&^^Z^1cow-98`ZNICqUB@{IHaK|M`RF z>CT~JhfHT{%o6YGh$Zq;A^DVldeHldms3Uj2fE7&1l00Do<G{U+`_{c!JD!*^xG95 zKJJmmPDfa{8WQborTHi6o1lBh*{$b!e3UJc=rO7X$WS*w1RP_u=G8^_a1qMbfqK(_ z5lDspRQM$~`<fxM#}%t9?w_%#gj22TlN?+>f|LDTdrunO9ua=};jt7w9-e6`hJL*o zmNA4<n=1$=0BLNO{kF(@JN20N{<{scx`rSd3lVmf>(IF&yF9lH8FE=ZnytpR{iqru zA<6_LAWz&>P0~fuNZ8x!;7G>SM=}+;Zs1b8mV~Sn2MS7MFOZ&)6AsbM`KK1k+>I?o z(TEwl@=sHG`Kc1yKRyJQA0Vol(D#Ip#P=g*;471*J=jJN6NAGTgHSyM22Us;Vuui( zy!GN@=i~cRsbQs^89q)q;h}dde^_PJIG<~)0MJbIJ9YUIfvx@xP6&NGmK5Gabf3wi z>p}Yiae%?rW=-<Ft(G70Rx={xCXjOzB{u842Zlbj|Gt=ullHR-arQIDAT~<4f{H$& z@HdKP@dw^JyC4{7$-7YXU<2@<$KjrRDBct#G|qaLb>-3Ml1C7t?VSfr#S<c1;94CU zU@Gfsv=9RnFX)L&OmWz!lx$`#rn%ZC3Yi|{v|TMyE#Q04*~M@h4_oP7gW6RX(9y@* zr}SJ=(kS0*R=Dd5zks-s+&odx#w89Khn&LJZi$<OKuN5}AL0@JSR5hoB#zL8PL|i` zWT!s|VHJd!|64|8VqNFN<ulzFD)Vy^KolQ0rszdA|J82HMsF_v!zp}_Dp3gXZ{PWT zSKfWU4NuG+4qPLy(~If+&#DC!Y9c9Fb-~t*{09<v6Hb!iz_lX+lpuJ~NszaTKWpcQ zDFsx8U{1?lQO`8H@`x0~v*u+L=gqhhXnDK7k8Vld`Kp!aiz&4UyB?j0kQFQ+0W0=h zDl+qDskFk1?Fu&LQ`AKF$xK`<+oE@oO06GQQan)-XqB!UV}%o~PJqM_F!q>h4S)C% zsioP`4lbow;-GUTeQ%g*rCDo{1gKRk9L0FeH;e2v)zQDQLpWog)CE?M39Cxm+sPLf zpF0N<J}u$z=b9b@f=}{Zg81B(0MJe*>23k=*8A#tlLF4JB}AaUjCE4=(*)xvLuUKk zCS}n}=K_v?6?)tszr0pQe1i-xp?Kh0V0EQ`_RG6R=1=$NLTE2`l$SnBP|(-Hk9|1| zH0q$4I%h~K;T<s15(yr*K#Ln2oI~uT9S}zMfIYTs*j$bz@NA&9V4PUV2MqG2q3q95 zZcf@z;kqy4vIf`)3_Krqc^hf6PlwUV7q<@4n<0tL6!ZECV)@{}$hXx;xR6;DM04(@ zYrr%;6$O^mmL!uqo2v9!TWTVvl35YT!iRk>R>fr2aHKl3O}lFDk3r!4g)yVV!2?Ez z^h<iB!bMqm+6i!_hd+wq0e$iO@GsbR$(-2!V|@y+wOM`69Cgju?_JCz^-@(P+VNf@ z6HcE3paVLaur#g$R0ZV7KgXfI>CdoY?3eE0DfW#OR8@<=8t9P9DVnb(&!z(BR*!<z zVUK*ozkP%-K!@ufg4X|qs%VA}^BRO5<ym4d6FYC3cP*F~;|oI>2mryFVIvOj@TeP) zQKE2^L!lkpEuGedQ(TNb+e*RQWDfOJHiK7ZuI3fAF2mjj#wx5M*-KMtL@(f4Fwi-# znwiJFFd_aVgc*7@?MB)mvG(j?lCs4Qaqq!yv94xuf`Z8b;U8L1Ov<l9*hV%1JTbKH z#&VS`DuNStf6>sf1Bwpov_`*kRl`4PTZth;Wc?B=LJp;h=|4E!<ZrXDpmX(`#l{Y* zD&^A-kf|#99dkN-@P1eN01$qT;eRy41KiODXKhZ}GSM8wC#y*^hznz7+lr&6x}hVA z$JXQ1(L)xwFAg7LX)}B4R&bbVEbs1Rj5l$!Zjl|7-FLc%0rnWO(P8n>GBkN7J5R#B zIoL``{lbul(5)<*Ruv4g^6`rg#Z&etdGW;Pf61-RS5)*wNMlx=f64XEk=btk-R?c1 z7S}BG81)l$+)Xz2LKXi4Pb~^HD$3R)^*#z~STV74H>d59Su|gXRMk2R#pbL6iwE9x zo;}4g{VMxN8zBA0#lpE2R`UBGZDXw@`zPu6HtaWk4A53x+S@(eE<>~HIJei^S+TdR zdfq{}r1UG4T*LitMbgO+mLJ_wT!qs7Tm=kH8@Z+vEhUE~jXatzq4?ui$Jtdy<NToo zaf(O>$Nk=%F+OsA;ix|r?;{+7ofQa<urDHfgWbl%Ism7_sjl%j->tlF%SwG=3X{gj ziy1{6E;N!26;YwNx1l@dhv4WH_2E}qk{6O!RHW7XHMB28n~s^Dr<X64C}9e2{C;AN zhm9j3l3B6yXhHqPL*j0lyI#N3Dk};`^k0&X+s~*l^!v@r9Xlc*2!uLG6zTRA-|~p4 zVGRty(*}s^s;eU_Htp?olx%8QVg_wu?SV9_xU{P3=VJs-HONL}GnVfnH%-N+j%c(c zcy5ti%%h@}OI|kh!K})V94ps2Z#c|rv5<nfd@3PTHD)}Fo(2q95hCof0K)QVe-D$c zA1FTyj!-vl3LK)*K~&PfC8qXWrivfNnnlshWB`kTXpY_VS$KN|EHxtAN;JuJD8V41 zt_7f)-vhZ^1$Xc@PjkYMhEYguIaWw>EW_}Hpj1azoIhm_Lj{9!Rel#poHsrDjLF_P z@<buh#c8RwG_VvKm>Zxc%+m6q4BbE)$vJ;RGKWQ8&euG?M@X!&U}ij)=TJ}IOAD_U z4IsNJSLw##E#dnK3#p-ltklSRHG9j|Y11dBb7PjzY);~0>xTAJv<W_IU*r-}MHDZR zt&8?-Z&3FqxrW&&Tr54}-1+23y@|-&Y1*2tp$~U2k?c+BGOVe;?VI5S-Hoy2Ag#;b zw^RGe&nv~P$Tj&jR|!R1LGMGQ2R4q(asZjB69XsjkN%GBCsoM}!^&ob8M<<`-X+}H zk2h~H3nFYsipwmag1J4a;s`O=2g#gJ{$sQ9pUM3AXzGHkl=ASuZ4cP=fR9Ufv)5b& zWXvrz7E^gWyB~#vq1WoTNkBJa!;80XYm4qrRh!+)LHB0at=w4F?XlOds;I^v-vLW2 zgWcWHxKu5i1ldzulSZg$rCas)(w?%*hqRrnBB#GUT+dy(CE$F0+?ZK-b@O}k3DUiD z%c3&&sl`_wD*XUFNW$#y(o4px;iS30;=6=fe(QV9m2JTLP5GSr^5j+(2|YR7-!t3} zOLj4MagX}oUG)YO5GL*aQ=o=Q`~Vo;oDy|u+~;#4%MtdDamWE|IS)3DkkmXrINPw8 zWi}C$eDrm@xig8&%~E2M0T#4;;m^)uF`6eibMlmhbN}?<Wh7B<ZN?kwZg$gTuuOt+ z)3Zt*O&2vMXtXXKz}F2V`#t=~_89Ww`o;}N6`cZ1s$Stej=yM&jL9A}%m9`+-_vsU zOXo&!I7P?DJBYK5*|vL@Z1-L?-w@u&`rkhv&)xW@<{so;Pi@tR0D+JExqEnzRsjNC z%-41zu)ZlKDGir5%<r$hZGpJ49ODO%9WRJ{6T@3q(p?Y2Oyho+!`$6JyZ5)QE*=46 zD~&9OEX^2$Q6WjddqBA~1wi+EUp~EGPxlR_dW#gcF-R)Ngbza+Lnq=FJK}D{jMKQK z<ahMw-=MkC!(X(R1e0Uq@{e}CEVv3ZC5A`}PE=*UdzDSnj-zGdkhV{sWFAgqB?`fS zrAuYtcVwz!UQPe6wh*{}C?rocW2&C+s_86rN)sU@-Zkcj%iiACB|uyyEOf&cy&HL- zfR6-|aM;}OH9exz%rGJ<3R&b*f0~2CZdImB$I7MJmUlaNucgw5)W2?XDK1c`htb&A zYUA_!etBQmffoBcYI~X9YWyK8F%Z$JIYT3OKFG65$Eggi8DDCjA$@0Xke;n(--3JC z^$qs)*sB@i&?{w%t`P8OQ=9lBz!6W%SoG`ti#8HMJ7xrBUm)OX3lV-YQK%Vrrt<rP zaCU(B#f)*u%9yyQ|KrQyww?KXrLq{#3=H?1(T{i*G7>mt({FLj{W_oH$!af*ewAN@ z)C9n9KFQOCy}^k*d%WSk-W_>+`ubnmX#`aIJ=n&gdc47AJq`m_4sR4&$q$eSJq&VU z=#tcL{#2Qk=c*3bOYdC$LiVWc*z3PoDwG!@RuhiU5iUo5d?BP|Vk;5$e~t0?$K)Iu zZQN~e6<|8p^?7qqd+=nJZ&MyeF&|&p^HqT?$zmI-HIC%AA)}k`eCqSM37#HI<FJ2G zwQ?>eYg5r{`yl}6wm$6I2Yj9|`1NB#NB!i@WjI`Rit)_IDHpvCnUT%Wyo&ZW4@k$D z`#0q8v$l&>54JDsil3Jm(>@CNJ#U+3Uq123IMT=N<ZgwN>};QsqoP2yJot`gFF4~A z<%s(FTnvueH<?Y^Q=mmw4(1Y|&u;lP<?HR#p9kkk+~2SR0Ld+-V*;J$w8@pk${7cs z7ujEwPd`oPCNP!!mfM6D{d{zOf?p4Pr*@J{r`C^OA5M10srRZBxSB3Ger?y_uFL2r z_1K>(KyDhg;o;L52Ij0+tasC7DsW~Zz{1uZw)|YxY`$zZ{PxgJ=at(b1kqs<&ALR_ zTHn)13RsZ>m?b*ge5S<WUHc{=nl=xhMkW9;Hguad;-~tqX%40ZF)ume@W#gF<a7vs zZ{3Kxz#}V7YU&w@-$2lVz<_!$;Zc{AyK_$6Ix-X0uwumPF*TO(gb4YaboBV(&P`yH z^BZq>{KV%&a5d$S%W#}YxA$6@sq)J_1jK7{RFP;HU<DFF=7-AXQ3=7ybw-U2-=~{} zUaC*OZ`_`|>)Nnkb|AUQ9DZgfs6b11qKp|b%?6j8s#(=3r<DZ{7+&#^QHWbLiNZ1o zWJ>r7N?K5mB?-PA2`&Yz1c=Ds-s64g%@JAEoC4kZPwI5N{w~Cu+7dp4dOO{<L>}E& zL--NV0(hS8-Dp06Z`PKL@AJTBatstr#lY`D5R(-FbsB?GT>M}6{;af{?D{S}=`3e# z^yZ$r9vUE-x%@C=@>1?6Or@oC@dmm>8gR-2HC$q4kY>9G&Jq+f813sciit{>_mMW1 z^&A}689eS}<c)UybYe}<0}Qwr4z4G^5WzTZ08njOIUL){kBY?=LF~?zdN(I0;VwDa ztc;FDVkuDyIJQmYast?yx46FZDt2o^&hsT+WvWgrs|j#T71bv=c5|<{PEDs58nxAw zukE{dQ^ws6pXSFLg{07ae?@H04_B!4Cerde52nmVj7d$l)uCQfoI4#qiHd{RdhiR0 z2ec@wy)23Y<l)@heFQ&-^g^Uwma5Vyc^Uj{xbOQxUu{WQr88eqCPh=C)OLK?2UDq# zu91Q=Ujc+bS1z4h8XBh)>MDj<cu4wSbx1X<t)N1muX7bk$_?~Li;ka2xXI+sR!&8( z<P03c9ywi3V`{IiM#vggURND&m_O1y23XXaV(wV?4mxeDm|8D5P7o$3tsCIbG9`?a zt)w$cRq6h!xt6{i$~{m-N_q(KQ@*ULV7^m;d|0y@j|xhk7p#8Ysk!*AnI;>q=hSbq zZfG3)T$_N(WTd@ncD?vR$cDBy%u=V;KnxWqIvM;+!Vh;_F!jR~$ExxhELp}L5b)qw z6O8k2AoAWuKnHu_%ek;hl25^%`E3Gw!IJ?=aD~H(_Zw@f0c;CfeK@k3(~+Mwww*Ag zx`XF_<O@F~g+_K&{-4Lt{E^a!y{cJu+whmTN&Y5UQ3$k5GI7>;(LfeGE8=vvtAli4 zijU=Hp+|hh?%eZBRR$(toa=om3}ArXMtUtN`WCp`{nnCK<Bci&wqtAjD~0AltMQk% zOgBrUGmj|g)IL%)Hhu<aoH-HK)6#Ck;DNw9?aAx|$o}o;Gs?z_$4s`-lcn#=tWpgq zH{dWOl$5M~I9%~jjR7?g#Mm_PP^t*pcRD2SkK^lvbs0Mi1ueuCe<fbc0idRbO8(&~ z$KO!l|8z~<I&5w-=^rHx3~nKUtnnUNvYNWFWOih<s9NSeUCFNHdqFQ9&Nf2Gk*{O& z>|g(rltTK&e>5z)bzX458Aj-Zyl6a&WpVk3N^6o3m@M~mYu7nuiHmYUuoLS%tn$~# z^P92dY2Foyv(Wb5J}aQW5&)}80YzsdwHLSDb<82s?<48gUnoCd^OQqYoxO=!CvIC# zzT-jb2j|IStjBnNh!Xj@?@Ov0x|7yU)K0>Tf0K6NBWx9xlu}DnTE7oloTGcb7EY>! zU@2-nl1crw(uCx=ZkY=$yS_|wiFp$Ih|dsJ2hd-A^{AP{bZ-89#07j?%Ng`QEAu6O zO0iyFly1VpbxF}Z!VR<wOnM#AO6%r*X)CazqQI%yK=1-xPW?oa;h(wZlz1(ETPb0k z2F1?_?VRzJixUcIMS*D4m)-}}z2aLbPeWS`;XTs$7`*z{oXpSJT>_{!bK-uEKN<&k z`Nm8o+-*N2kK5eTSOcbC<A!YXpni$=1-@{SwxY+1?vD<OQ4VgM_3nlfDHp6z{#p9+ zFk)y59}G+O*vbFm)M}{IXL1z2e}wO?p*cY1GIbaZ=OX;wj1To$WJ;DbcYBNCa%O1s zA?O-~?mH*@<`u_?_ue({kCA$W4M)szRx-eCL|jKqAXUHZV+>$-VzqkvO4<Q4z&=CZ zXYV0~0GSWw@I~F+6x_NuxG-XAJU~@y{MnM=ksfPmV%-t*VmD6&m9U8kTUz*PPdp-1 z6|+DI>Y41N++C#N!D#Tp_e=py_f)T?=)?LXEaQY^R*g}yh$%Im`<W;F4VJulsH~ll zQ0|6F=f|LY7)7ssRn*hKO#E9hxs2#Q(@~QK`+{kT)x6w{(>pBjZXN7D(+2!pz&|h0 z^r$@l%b;^|vGXP6`_cpa^+#i=hfzA0bobOf($e)t^dQ80#DdMB!<d)b2n4zJ5~l-8 z+Bq~WMgSMX>y-F|6Pngst-`Fmz?3s1grrP!B`n=feS0Cf=JZKy7`hn}W}osUd?H1Z zvB~evC==Q_X+HSNYARe}W@oxpX_nbB=D4D0mXnH%X=x6n&|Uzbup=`&=xp~wBT(b& zLuDr7(S^neVXPG1Ffo$}%%COHnI;Iv7$n2<vIsEX$7p)c#9Ofs$&0s%-Q%@BW0L5@ zs{Wy}gEe7;^!cWiA2J{@@h4;g$|sGAC$#qqUE219;`S+(GYntBvjC6OJ?v(sa3YL- zIbN>1GEi?i{}T)#o7v-5KX4ar%3p%Uf@V~Hj7eW2UA{il4GM-$TlEUQ#e&uEvdo1U z{Tco@BALk3_fKNXd#bFG!R8nhfrPr;(Z$Qc>d1di^ND|BM5=^J_)yD@&cHsZOUxvY zS|!7;sEhxSL-pmR;H!{Bm|mfP;<O-hy={>o@Nvx(gv68u{J^su3=K`do~w#B4C9Kx zOisW!AeY~c{4Or?sfd5NQrtdzClOWZQ)M?faBqjKya?i8gnD#9A|^h>EA2;UP=Zhy zHKH3Zu=1yBzOI!LasAW}>()vv&f+L9oFv6rE2#`Og=-Q&yrZ-bX!7I&d6K<|?N~bG zEbmmiQg*{VK>6pKTf}2rn@+(LjbFdlT-eA0-nQ19p8mwu+>7RzIGeDNy<NRLj*}p? z9OVMh0D!(u;?BpK3zP1ybq*fjMVFyc?ge0-ovrdpc74|Ed2a4tP0{8N{0%rLWCoxt z*69naJq@qr-usXV8|-d7FH$f#bXO&OY%zH^xLO0$RuTN@T0-6eud)Nti(A|<%6-O_ z={9_Jvp&<zbs_Hux-{KcJ{wfCP<Jh?wl~<1>YQfdXt$#r2$B@p<AtaF@EAElJrhqo z%}%LtNb%a4U%d@9s`ESZ?-3Ecq|usr=KTCEBa=<=wz%zA)^8?Wlk*APqpAKdjc3NM zO_BnDvO9YcW(ViR9e0sL!Hg%zGk)OXXZx=miWU=#DZ=hFw`-ENj~K4b{v+=88~5TZ zn|~Ib;<L{j>Ua~1bRON?zVCVDg-cX;wr(jB{S0Zq(Kyj1R2jy#bONTh*ry!0Sx>(D z#Czq*nyf$dxF0Lt_6`hIqn-ZrOE^X}G|FED;3$-K%^#VbxT{t2l4yOcD>2sx*$=x3 zlBpD@%%5+#vR)?~-Z=7Dqe63Ch^NNma)l2~n3?YP8eF>9dJA&rphBz0b!m|)eTs?c z?-?p&TSzhWD0cmV-{SM9c$r6UotTg>JSdazM7(=piEQ30W`7=@{%PagKo<Na5x#~2 zVie<sSStuf%`2L?J6K~ZK%D!;bGd`bWT-|;QBD0ar(~CFv<^0zx4$Z{3Y)gdK2`0e zdyJ7_J{nm)Ahy@USo4|u)n?i6OC?>muX$1y?>&ykWAZkkdw%jYuyTR#K+~kkPr6^% zdEw{fJn+Kbs&cheTL}E9P0dd^27o54+&d%P%;)kgv!9yXO}|W!{q2?I-<YW@OQ<Uu z%6Y!2hUaK8Brae(EAQkp6lL@+mbp4WYp?l!pVT2LYYI|X6RSWm{I<wjYu`_JxDCoE zU4#>~?Z*tQ>eFQMn<%Xuw`yuDkmx9GKvmI>2;Z6#0Vg){#Z`Fd^&%`B)ByN|mdD|X zi9I$m9fF1GxzS|?n6CsM9;Xd3!%`i^7vmQx;j3vxat$hBajF`&4a@x-{aF@iF}D=X zDva8AJaq<F16c+Qf=D{%zAim|QCZe5Cb~_yY!me(t-rO|K4BTcoUV{BJP69>5w>wJ zbiJ0F6jWC>S6T2BGEmH6%>h)04Q)aD9|Yj&Q?Imq&2x5IxnPe15jmk%RdaGfo@)Or zHI(Nlq-~h3DGC}33$o=FscoUWbhKQS`?~E2J7In*vwY-!+$vh4kJ4#=;x~pFQ~9A{ zKVW+W|6ynXn&XS;1uh03DXFcuqTOil^LLd}=#3ViqWz%Cr%Q$7m(PIi3^;3&Mep6K zpfQW?Z=)j}>Q_A@V;Xf0(m!J|KiDriKZ)qs5^kV65<SmEE<7c!iOe7Q>fV;i`!k;* zb#!u6!<JlX>OG&k{t~HRb6Et2-8Ia*Hv|mS2RJk>-Ou?PD}uAHH-@x1&grpHs!QFp z*4HRz2ML;l>Mm(Ru^WK!o1XC}>uJNchnu52tEYQD(T=yLbCdhhse2|u5eKEMms`-% z()0Mq>)ob_tJpX_iY_rfpTaH<6K#w}a5AazACHQ0gLhaQz}t-<SuOpBiOe*heM@9= zIn`OUvWEf}XbhFzF>y%?dDr0wy++-W-GuYKDE6>9uYDGhc@L19bn;4*@L-%MU7(hH zqNQ<6qfPA}Adbn(%iMLYz+1IFV3ce9hqAmA21DUIKb$_1REIo)UXK}*2q?ADgc?Z0 zabYGk+JHw+&9*h73rXpA<Vu@fzl=~1KQfg3qdgI&e1!N`UKgWEK(w=S!}#s`<={C^ z_i^f)^5yLDz6Ox%aslx7Z5QqC8c7}?K9#-p#(qvu{*~9?V_7D;O{QH>+z3rAoumCs zz&V6e&qW3|8ap97E7+VQiDj2wB*F)MQMe<S>Y~~`)z09YX@z0BY%8=DCFMD=*dk3C zZcB72O_>&TK?Bt!ob}Ff_`@9{%F4#=0?o;)lv*yy{}ezYP2B{{gC+JI{p97+|Lf$3 zWq)GQ$UGhEK`z5>qEFrZ@5Jk=@^I4q{$)wv_0$UMlHVI&HMFTl_Ut`}oCo7AX1R)X zQ#@6<Jz=q6rvkR%AJ5Kxl3Kf!mIAzMQe7z@jYA~dZ`bCcuCDv-0U4CzSKxaqLz;F| zSF+l)SU}*Y^EjhNGTjH*CdA8I@gSzu&4?^^v$*6?mLmw=E?yQQJcOo-BZ~aRBI-U; zWBJgJEiSyHxJs`@8n_6VJ=DiPJRp=>v~i+C4He0->CMj!!HZX$WPAI7$EIB7OTTlU z<66d=z~=Br`j{Zg_*ASSF}o<(BNF^B7dHdaVAb%#j@!psLM4^8FCw45_d;Si{)L&a zfX4oKsGwm_Ja|X~Fl>^sbNk{>&c)67KLo|WCBXeRg38t#cP5ra?zqss;UFTPjX$L` z#b^IznDaSNbGv_N6CcV^v5uPj@wwKwS(j@rOP>Y^+iRbweR_a8!`{-1fpSXEj_fKy z5auP08NIFXhrNL5yJ=7M3Hj@#pjh=UdQ6QSI-J$=;t)j`h0`>9Ud&-mawMPO{M3SN zet8l+5&&>4B=IT&R>zZ4ppQ{S0&*-QNvmMd)GdJA(%LfzE25sCtR?pPXKBW_kZS>L zCP5Ro7&%sCX;Uja@3J~+D=cP$Pk$&4BuBpWMBsQ*_*&w+QgGZv@+!3UAhKGHwd1jQ zE{T$gkX&qBm~4=U5Z6eov{On8y$;3XwCJwd9Ru*)BhWO_%IQYt`;Wi(&r=<bE?j$h zy}nMCW`^s}T$h2`foxxmXQ+f#vBEl&4(W1=l<dZsDkZ-@>`e=<md;!*?Owj^?B8AQ zTwX8%r13M9Jn1)L&h=Q~Y~woObZBIX9VwtZHzkDQO(`HF^gmqFW*6jG<9Uh`ww+Fr z763Lj_u{&~h5*X^*+wNARn6Fwr3VhdM+~Ok`OlZs>LDGI@*pCjH=}2#k%xSPA-8UZ zADBoD97(MmtB-0UXQry=U@P~Wr9%?u@@q!t?#BZcf(b&bL+e?XFP_Vk&B{GF2{)#+ z^{kPCY8|K9BEIWnBAOR8y&`5{41epS1yt3a7Vv(<apyEBl@+He<gtLYGG{-cBd2@1 zANGRi`e7*A-0){Kiq?A*Q)^|CQjkM6&y%$&N5rSeVbrVmW5;+M|JGRTX9>p3K7^Ec zryPQmqiv5_g70IL?K!3i2g1j}`reJ@)IK}&uEKx%Mn9KmxA}+?wGTDlB^EO$Islji zO1^0tj_Tv8I2EH$W-G+tYBV7};?$?~TkbLHT1iK3Zky^Q_wBK+R%mA81`)W#w^jyv zexef4ZxpOQcz76|qc*o51rcOY94fD+e}Q4KFWn*zI=8h(5}R;bg=O>~1~RvoA@yO- z5>gY4K6Id4!|NRTh)$qaeZ)oTg#zqZQs{l#?QCIXKKsjE(E+YP1*H*MX2#4geSY=m z@JN;v=(rPt=!;vfB;&01nrT{QGkGStRaqkv<jk;Or&>-}`A4{_;08NdeHkjk3IlhN zuffpE7(t4cM4j^zq6h!8t~bxbBub)J0)J#bT07MU{KGyOU|Z-$V+{eq$WUU#$i9dD zBpcE-Jg8BatEHi1{he0xiy#)Mqej~#HXWrqc53F&?v_bSvB-S%HGP~Hx=RFsNncbN z3(IYg?0iz$g%GE8p2&rq?_<qz0VXFzRr!$scegO(w^|<A-+mQd2_-Fq^z`XJVji6| z$4kv{WZVtnWcW0Uzn$Cyepa%dw-K`(b;1d~xk2}NyR0HMh3~T1sKhyg1S<nj1}64- z&;c7hC<ER1<9+>)=teRo(<CxRz0~02vQ3oStfHx}9O!jme)C`>1?zIgIT(dGZP1-t z-{{|Y@m=sFh6&GVQE^l8Qt?pn6$&kzY;`^F1H=1)AFA&UCc}pTY{Qja;q7<G=M~vH z354^=&SBhz9E=-)9;<KjBCg-HE05@vW$gr2@F-$(MYp2K#Hy#X5}QRdvl(ZO?yAU? zRb^~t9A)ff0)`H#u5-6rKUt{8ydK5qi#Fy&%h=tL$vodT-%&d*l*#AQe#=Onqx@lF zEgKSk(7CWUwWE^?$fR~o)O%YJ(ABvDmH#S<%M@{bYB}1S^mrE*2YQ|X3fZbZ_Dz*G zkK7snH(noD3^lngYTnmLHf}-T;r+vFXzeGt9z^RFCriQL5-FL;rXQ)1aN7`8vI_7C z|EmA&dH2@kewg<Y^hIp0i8kp&&KBbvQebZj%HL<R0cEN&QK2}v{@NB43;4w!4+DkY z2$4<G&ew{ZgM*77nBb3xgZ}S2S$St`m%nOxfzAGSA^=itf}#7@yXP+6QD9N4^BnDD zr&C6W(`uvLEU)q`uU)2}Q$~?f2Dj5{WS$y2&@M=Q#f>02b4(c@9lt0Lnm>|?KBO>Y z7hbU8(;I~QJV96#D`hbJ2r_EUmgL*Rq)+abu8ql@dx7ViU7vD85k;Q>cjBziavjMB zR>IdE8UTY!y)i|X3^A^F384sHmBSG3Ro6!UP=a`6AI~q4tN1&@>}1vGPHbk7^ioWc zYm#~}Zng`yK7HnD!Oiea$+g(bVh&<N6wJ`SZO5lQv2+3z8k=m};VZ>>4A@px`XHF4 z)<Sue^q_I`&%}r*KOx)C+!dUWS3xUk7&9IeIsxdaKA_mzH9CdH<RLhTtdg5?*^1A- z3yCcwrWPy|++wjpkI$qQIMFylGfl5fKf$l{Dl~f78o~?pFgCI_PKH+Y5;j6MDu-s9 zvaC8c8uxkRAu0PzOSX_Yimin=C)5%-N@YrDmi2bpez7Hj_n^9mDW9HpXZUDIW`J8A zr3QF66*XYWAeCgZL3hGgHIV3BKC`WyxnZ-_2%B!sucnv}J(pUGEdiK}))FaSw@0dd z=Z-A#%F`{SUJv07ZcbD~5Dw#wELr-o=k?=Hh(aSyDCbXV1GJ11M^XO3k{3f2Z*--6 zhIj6b@E-0}>&D_xu5I>JT<+pAX8z#C@I`=xH}*vS(YtmA3G{>T^0!4PZ>ST&29tms z*<oaoJ-g_YUF;0nnjrLsVY@~P+dXe^1#^@vq7wpzb=*PWDEb4{(5Wj$2JSZli3!q! z=|=kPYW#*_8e3`GD0q&q9S}~Cgk8}bUq8i`3|dftb(m(xX8yQ?d$DgsY_yjEcrZ&D zMwC#r9a1(DHY!MbRAX7i<Tf&XpTKOiZgi9AjDTyz<^GsqY>t(I=?zKIfDXzV9e4tz z^?EZH2pJ$yG?1~$8ithUO6(6XO$*Mrg<2YQU@Avt8q*OF)kw@ismaMT4?9fr7T7U< zR_MT0{w|P<4jeSHRiIX;LXF`A<T*)?WBxk#rZN!C(12(d?zH7h5<y7&xEakGTXNHT z>Pof>lOaNv_VHYHEv{s~|CB?~GJ4Pg_Zt7p5cB(GsL${2`2&P6L(dcA>v?LtM#DBr zcpHjQbaKr>X0=$vdB7Aw>!yhC2?y`tmArBjU9+YL0=%6<@7azZI1kee0KUo4?!HG> za*3kZMko&dPz(oeOkAMdwXf(b|EJ7D=PzPEh3q#6C67PKT(H*W)<i*)S&DI_eTWSF zI?JT$(|9AV4C$AC3fYd(u-~xPuEQ{G!(p=-BRPBXd%$WGegx~7sTE%<&1<-yP*?hb zx*FmTT0f*2ftb1qS~+jA1Mq=$ZYnj<cN*S6Ovsk^qBMzc7BMyWcOFU=1W6uJ757Ct zB8oArP6$sPmTh9VtrPo&>d89O<3oFn{&`Wr3<_^Bi)p71+o`53+A?x;Z~!|5+~kmI zJJP4R@tq%0Jl;gpAD<?CU6Pu!pJRj6^N`m*z#T2LZz0I^)UL=?1^`ORvkQ12Z&Yqq z?}OAEbfb8j(eR<iLL^PsPbUp-uNLHPT72&{t=|<ZE#QdZWP2M|zM7~HGxM95e>?wO zbo?{H6FCdwORB*<-C4^c6Y2GX9uYl6&f^B`tOhxBy(wuNhx1#hZUqQFIYi?6Lr!Wc z^k5!LaxiRO^cHD>HUa=j&FpQH<FyKLK2SOjgP9x9EYle!PNLSTjYc@p{ep2{wDn^y z-a4<KZ1m;2CcfmU0*4uzu~3VuoZg=Aecpp`$?Q!zsD0k)f<en?9zpB0iue5vIG;~w z_fc(7QXuJs_x)7;_6|a)&oVeQi&HrYlTP+Ean1Z~mx{0hM-A}*0^$W7`sd^*Vscb1 zxoze@y-U42098wF1Pq)1>wDC(3*-R{UQRa}HUHUn)VmjqgZ)4^pEUoE^VNF*90Zz$ z!{8X0G5^g54VeW;z)_xlhSmvIR^@?9l@G3FT<BS*T(2%ngF@h2+Mkw2zJ&9@d_YQt zq(w+tgw>$P(xq2vFj*3ke<dMV5|#l{Dy#scN=R;m3jq@!29~aSL%$_oLh>afLBd)< zmV`?@FLm}aOLyJkS$adO!^Ree-WrF^N~w^12`RS221~d7LK^uJl6oPj5|T~fGE4XE zS8p4y<gn-d+?6NKxJw;4;xGlK=Nt~->u}_(!`$B-PF(45&eaa*e}2>9OE)^4&jX#j z!{H(ZU;Lm$=srN{Q#UwV_Oip*E^+wA&mGP<Bc`u<+u@pb9j^V*;kq7&8~Pn?y2jx< z{Oslz9d3Qq;d_f6?rd_n>s*I>?smBEeuw)Xb~wA%;UO;Y!{0bO@_UCLebM2^7dSlr zk;Bh6J3PtrJr(Mof5t8$h6vj&y?s(z2VidyVuP^L(xWm?h&4hy6Ltga60#2n$@Z|v z(oa95ahrfP16zQ$00Th9d%vZBdy&QsTKcVPU9Nc(4jW{RP_;Zc9u8aj`DSUjBE%J; z$^dK-szzsh4p?{s<<Nws|NN-xT?)vcf(hLM$op^-V4M)Ae}p(CoC4S-oVN5oF4Wy- zEd9=FYGI*Jzr{1*Q7{LvRd^h*vkr7ivuyX{YNaew_oQ0BW$HJorRq8ZsHp=M+JH(r zC;-&YK@p&84vGO^@u1W)yFSnb7FcHFdiR<x{M6xrX=#*s!Fo__nJ<h;<MSC%>jeRz z8V>lf2h_m9e_}x88`J^n-Jl*&<pzy_+BRsm%(q_D^;#@*{YkZ20Tpeq3{b}gcqX8F z4cY-UYtR9xRD;!Ejb(oKvM$hRnddH7s~c<u8!YpBS{ij{FaQR@4$yCzckfg$WnMs; z7w};YhAi`Ot2(IWg57|MC*a#1<N+m9paeMx#w_cff6*_rlbZnAzwHOwwH*T5gH2hs z<nwuBo0ez~CTN#6YuTCs^|Fdav?9Cp(4S7=tYXjm<6p_uMS8={P52X0h{_EFjp zX=hVx+1;J$DCL%_nzg;r-lfX2lR5P=tC99D%v-eBvd8|a4kk3w12K&ea}+gL_Pk5g zs~rooe-&w8vD~s>?NNue9@<xEgV15w({HJR$&0i>Q1!pwvR5k)qHfFH+^Cke08Cl5 z$+EZfNt54tK(A#VYLLd{MMGfFviCh9P30CF*+}&`GZ-;>(XbU1KC2;2XheM#F_+O^ zD+ne%D|*GPe?@PUI=uZChj+j1@c!Q&K77jIf0Ii+%hmqGVe7v=D_-V#R#Nbqu19ef zkqlAZ3QFswslww~B9b8@4<hm)A`hY|D|+ekapXZXV@0obao;kBf8NV|>m2^`FNgm= zrg3CRM9m+~TFE@+ZZv1XewG$LQEh909eCmc)%UCn2@Xiemqc|K36iipB-kZkjYyb} ze}si1!S)F$m9SbQs`-^U?57hIV@znmN|<ORB+U{P{^V6cA|)&ji3)$xEMa*_NUo&L z${K&AXI^4uD_>Bn-pV@PSF6Fw9^9!`qm|cOqE?fY4?Ln)vz6ceyjm?*{%E3BtCc^o zNv)+;F``6DmRZFQlnlvotN29kDrvLIf76v}t+2{Jbg0#CRb?`JveK&Ro>QyCs@goY zR$0~e?^bKIRacCuwZ^J%ReC3#7L;jWOjs-v?Zz;1a)KSHXTb%pc(f*gcBuz|4nlR} zbqGuYouM2Cv)~9g3UrX7lM|hla^<|c^670{InQ}mo->p@hbDQB4f7emp;&$%QsCGy z&+$o~^O8IVB>5aD1|^^ra7vQrSR~ImNS=d_JV#RbD!@TwJ^-A4<T>uhbFi9U3^;Pk u*8$Ev^7Vit)_fyqvf$LHd*-h%_5KeO@B4a}Fo_o+3Ntn~3MC~)PeuyJOx+Ry diff --git a/src/cfg_liveness.ml b/src/cfg_liveness.ml index 1671af6..194a291 100644 --- a/src/cfg_liveness.ml +++ b/src/cfg_liveness.ml @@ -8,13 +8,6 @@ let rec vars_in_expr (e: expr) = (* TODO *) Set.empty -(* [live_cfg_node node live_after] renvoie l'ensemble des variables vivantes - avant un nœud [node], étant donné l'ensemble [live_after] des variables - vivantes après ce nœud. *) -let live_cfg_node (node: cfg_node) (live_after: string Set.t) = - (* TODO *) - live_after - (* [live_after_node cfg n] renvoie l'ensemble des variables vivantes après le nœud [n] dans un CFG [cfg]. [lives] est l'état courant de l'analyse, c'est-à -dire une table dont les clés sont des identifiants de nœuds du CFG et @@ -23,6 +16,13 @@ let live_after_node cfg n (lives: (int, string Set.t) Hashtbl.t) : string Set.t (* TODO *) Set.empty +(* [live_cfg_node node live_after] renvoie l'ensemble des variables vivantes + avant un nœud [node], étant donné l'ensemble [live_after] des variables + vivantes après ce nœud. *) +let live_cfg_node (node: cfg_node) (live_after: string Set.t) = + (* TODO *) + live_after + (* [live_cfg_nodes cfg lives] effectue une itération du calcul de point fixe. Cette fonction met à jour l'état de l'analyse [lives] et renvoie un booléen -- GitLab