From 7efc087c7442e263103d61196c65501edd9e8313 Mon Sep 17 00:00:00 2001 From: Josselin Date: Fri, 8 Feb 2019 08:00:34 -0500 Subject: [PATCH] Improve printer documentation --- README.md | 17 ++++++++++------- examples/printers/human_printer.sol.png | Bin 0 -> 18259 bytes examples/printers/inheritances.sol.png | Bin 0 -> 44346 bytes slither/printers/summary/human_summary.py | 2 +- 4 files changed, 11 insertions(+), 8 deletions(-) create mode 100644 examples/printers/human_printer.sol.png create mode 100644 examples/printers/inheritances.sol.png diff --git a/README.md b/README.md index 7b04535f8..6e2105d7d 100644 --- a/README.md +++ b/README.md @@ -95,13 +95,16 @@ Num | Printer | Description 1 | `call-graph` | Export the call-graph of the contracts to a dot file 2 | `cfg` | Export the CFG of each functions 3 | `contract-summary` | Print a summary of the contracts -4 | `function-summary` | Print a summary of the functions -5 | `human-summary` | Print a human readable summary of the contracts -6 | `inheritance` | Print the inheritance relations between contracts -7 | `inheritance-graph` | Export the inheritance graph of each contract to a dot file -8 | `slithir` | Print the slithIR representation of the functions -9 | `slithir-ssa` | Print the slithIR representation of the functions -10 | `vars-and-auth` | Print the state variables written and the authorization of the functions +4 | `function-id` | Print the keccack256 signature of the functions +5 | `function-summary` | Print a summary of the functions +6 | `human-summary` | Print a human-readable summary of the contracts +7 | `inheritance` | Print the inheritance relations between contracts +8 | `inheritance-graph` | Export the inheritance graph of each contract to a dot file +9 | `slithir` | Print the slithIR representation of the functions +10 | `slithir-ssa` | Print the slithIR representation of the functions +11 | `variables-order` | Print the storage order of the state variables +12 | `vars-and-auth` | Print the state variables written and the authorization of the functions + ## How to install Slither requires Python 3.6+ and [solc](https://github.com/ethereum/solidity/), the Solidity compiler. diff --git a/examples/printers/human_printer.sol.png b/examples/printers/human_printer.sol.png new file mode 100644 index 0000000000000000000000000000000000000000..ac0a7d5c24438eeefee9d0b257bdd0f9db1bdc36 GIT binary patch literal 18259 zcmb@ubyQqWx98osySuvvcXxLQmf-HtxF@&=cXtTxO@IKw-QC^Yhuk}N=H7XJ&->TA z*6HeAr_VZFRcF_(+TZ=D4p&iE5kOE{SL^V8?PCGqyFttJN?`22D zz;xdvB1lPWRWL9~OiZe3r*Kt_Xuf4`c5e3T*RdD#vwQDz#@KoR;M~rb!kMXRfhM)y#dlFy0}mcjWTgznTycA`hLfF*|g>@vs+glbh?8)qDeCt1%QhExvB z0&X3p8SbnUl6$_uXMy2ph;xJULh9D)@X&o?^iAo;dAB2)asv~IgpOwmf`V26plL|i z|5o;!+l@_NSvaa_aaC^Q-uctLV)yO9x{yy-4j4db<|*g&rsd`tqUgzLLPGUr$&Q!I zPFtD8dS*f(yj`Wjt@5V;kVH9eVUJ?>myT&)SsS$<^tJqQor%(|Fah7~&F==AO5Ad# zj_H0Hs&E3JMT{p~dID_8Lj>oLpjn3W3?b;xx4FiH3Y5X~q~+AjZB~`^+sJ_2sXOs= z0?Qv%rYj7tVgfdOR|iWhM^V$2-wI2*NR$mOcW)!4O(tMYI}03u-l`GI!#newNj&q_ zpTr4f;VDq1s&*x#9p&0d9p(tu*foywg&ABaS&p#Q8~kZp*AG2Pp#h{tL8Xm`gEj_& zkh$WbV$@O-cn0$IpZs>W@{5Ownl^nWg`b~=br#$=?o06L02}=d@4H%q--JQhrR3&} zUUn|#Eh)c>t*fl+Ap0ae7uw{Mh+0)jh;+Q-L?eN(9(G|k>r?Ze-A_;YV4RO9R?yOu zGZG1jc9_f?3{V_$gn`GC8$|)El$`v6LIQsVRy7%S*su-c-(X-6ya_9HWt!9Eue1t( zL$*ufLp8$Ya_p|ZyH4Qc;dz`R*ZQHSMgo^|@ zNai1gYZ~ePd)8Iy&N?Zbu&3O33)2kY{+{DUJPzRjg^0d(no#>=DMO6Pp|v}s>&#$) zFE>;$e$SGEeIO)bZn0-Yb2t+=F6)QD!HO&Fakx8l7rJ`UWp($bUYA?*x!99?!|$CW zbu&-^((KMNy^MWytbui5O?G&+Vy4|L%kqX#9Do2&eGbl*o|OpgrOGG(HJjzJgyu8- z+XB@Z25xvzh{6PXR`NP%;dN?m<&o++@=3b!Bo6w!X9fIy&S}JQ3)7;$<3ld_*XiQM zG);e@d9GYdLYMhyc5W}ang=rmu5;|vbs<9&fFs=4Vy6X}rq|<6l2Sb-IfcXS*ytWm zh+dT)P)JG6%alyV3%ql#nNx6qLRTp#Gzh$+xVk%0$Qxqu_0tu77#}tSxx{+Bua9$O z1X_39y%|NAo1S@5m0#8ebDMGiblj}_yWK^1as2Ie;}cpl?wCFID1!Dehy{Cn_UkE7 zkT&p>o17ObY7W-@x>RKA=gfpZx^J(pFa?~|J;{h)wRkd3l#qu7c>DbnyU%E>S(W0u zXa)zSce@U`sTJD-O7CDaeljd?9`Ew}_+k57jW|k@xfto~T?1VevaoSr5eXlC+%^%~ zDFeEgYY0w>6nFU?ayc&`AQC4j>!hAM zI|WH5(dlHA*5u^dL{V=hqndzqRY>w|_}ZF)B|8{kA~u3$z3eBrhza+=xirHR2J`&d zY#2s8j^|9y%XAu>AV5T#o94knFTuE|sF^cZ%qD66ht^!|XUxKIT{^=$8wY>Y(p)h7 z^c}*S=43M}OpX-G?sD}zTnXriJjC+s?CeQ9r73E~8aUYcu^3v`qo$=cDFzYsX3`fL zmeB}IEPA(JYB+i!m5NO%h7^Dz+j0%$7tN9pDsm@1%ToTyVpE--FIFi9u%{epREYar z);es;5me-?bB!F04aZghOB?)AX+~`b#@7keKn=a_OZMb6iS4XU;|7@`&1UUXZS1F< ztFhy3<*00MLCC)>iS?OuJNRw~g#~>78bBJh|1L7SR8GAQ^^lN@0Grm0 z5yAcLvtFF1$udaxv{D3VnR&EG*p(|1^W<0WtkPy_=2CC%sTN04BEdiSybz^S#)k1m zjt0l)bwy4{*I7u(XeW6WR0;r+eVxlN@W^%FL>-HO&Ht~ zZO7zOFO?OUo$?cNFJO>tQCkbKm(^C>Qsg`Idr0oHTr6=L?~A$6P-*r?&0X3h4r>HC zZaP>{<_T<$Jj-TUo11pF#dH!v&fGmN+~r8-X=`->V-}uoUsN!4EO`{%NJrKFT5U7Q zT9j;R1}kvUCT)1R>*Z#fVHElLPBqEPqPcKO0M+?H{$8lGN4y<8K0u}>3>HOhj*jF!wf1urBJ4MCz_B*|ChXzvLnvgc z>w1g63S9|U0EOCeYRQio^F}nEzyMsc_62fE9j(@wo-ecneSn;C0zKqYi|nak>$5-B zXFJb~UfVDgTFf37XVH15S!lv_>)u57;>m3RaUn&8qm%^aD|VC7)_#-%MZ<43&80uD zciQ;`&uU54sSW^h(#_|8)U`uVUiH>>maX;bO~sow-Ccy45Zx)h{7{o^ff6CXr!^U2zI-XM(2#?LE-LubHTC`s?^6T`NJTqJ7TC7f{ zgMBYNF?$=@3T*5D*4i#F%cwLedsZ`vAUHUdPtW@rBq77V*M9iWs%ur3uND0b6|&7K zXUd>WdCm@fz-+exHJUGGCWWD0@6m&dPpv&OazYgsK>e*FM?qGXtEOv=@+xF(3m@v# zbkBgCO?$k7i_5Jn3R4>&opM*l`xb(LjFDvVywmnIuIN`_8l&mpo?B!mY54kWNqs@9 zXwt>{28QebsKXX3A6|O$8Bf!E*+tk35Lc2B34hgx_6m(9--cnHYtz4>JJ1 zYt2sme8}@JkBIRn*KKFp-OUx_S#0I_A4* zOAItW7}G1Mfvz0aX*U5WPU||CSIXJ@h>{n2pZnaEu{!AX_j7B(wKnuwPPor7gwn;d z-d%-@4G#T?=1)O2*Yv(DgGpMIYI5hr%Ijqfux@vH`u?8&BgII$(V8z(Icc6YO36H1 z+F3Hb?3jJ!oBmI{*;Pd&VqPOI$6?Z8X~xc!B9b~xo{7q}J+Ho?RtevFXN^dLpktiv zp3AM>7tN=_D7D2mqw;9PII`@D_mfjz$Jbqwha2Ix%j;VLjdIvEy8BC4d-?K zNXKTdlA^YCO&~Z2H=mN8y{}hG-=cofBPCUU_L(OQQULvJV9Sx(eOb3AJ(Wnx&&yC2 z1m?HPS8{D2UBQ`&|Ku~r?E#r!3wcn&?WYb8ocJG(SkrdC93wjsGOQa?d_f96UG9ZA3ow{M^dh6VLIF|`M83@2oonyB;u z`TlXf*KQ~3CLZcG#*$}efIg3fyGlFESB47JPn_3iCJo+cMWFPe9Phkg3LZvb%I##x_S zl~_#aJf(4ViHSEk7ZSpq8S(d;*vs2);9JK8IZQ+?pM&{Pw*xRv! zUfDL;hFUKBJ(Ixqi!mtAiK!%n4%oZclN^?TG>b9>SXrH;t6i&2#@8=A_yv^+FZ+?u ziiwn4ah58x_=+uoF{J9vVlb|ZUL!L0{ETj@SJn1PPmJ$%u{N%+JHg2vRW5(Z+ao5K zWJ|K7QOwGPiemkzS(<}sym_aTs^QJW4Jg*qbk+DJ{Z-1TZ+J^VXuf?Y| zVap`AWe99)o%$0VO|m*R$G{1)dN0!teiP?gQ5TEb|Bqjca93sQjx?D+Un8t&Pw~Hr zO4!CoO2FdNAkScmclo*?Y@7a>6zyy(1W#f2QzHk<+4MYb=zG@^KT6t&jy6!NDB@gXr1X3h3b_1WoKgZGj70lYH9%{eKsELx&?GzEa>6tg@#6vEl>2O z2%*oJq!*6c50Pc$RFc0h1Y}gU(1}E|aXvhP^8z#WG)b02fN&n@UPkcpSTgjGh-vy4 zc(~t#>f%%V#Jo7o{?>*hD%an!FmPH&@RGZPe$w{x;y^>*Sx|XwV;5+8XwtHlO&HWf z=LLYpabQ6%s4KldI)-I?`Fw{*B{D#s>|P5ge4%REQ1fb0CRIn39(NN{SKYk@O2(Fn zYU|2R43oceq=H6vH^LQfn6;e!YnSfY2LUmXl|LbCs#**iJb-gH{9zS+Ox6tVj}p)leI;@4&5 zzw^c)=K(&WM3E2OgB5c{-y98Bz|kN@r2s^cQm{g%Yx$-I`=0#g(fIWwaRuOu#o#x@ zVyLFJf33*`tTU8)udYw>CAsEa-{k(-*PH-Z0y1p^i;oXG8vBMApN24@S>os}T?11A z^?)aYG?DbfUT>lfBr1K5-|d`nSiff%Psx|m2+T}u{6Pu(F*Y)ymyM2b&~L)%rKxOT z_ICLK4WSpvsGxmL7Qk9IZC=x?VKdNEYLpDrNbK>_rg;1j8x zbV!$funBgCLe~dUpomgy{x#>F{=*-><~>H_mD1cHKB z!v<#Q|DBAat{{#Wy42fEhp$eLQ*CB_3CDl#d_mVp)R>=N@`eS# zjv+D+Qs}S1Z6q*%Wo}4oa#KOHucY`Rf$;bF7>}Dm3X>LhokRw|bfhF#E+mg|R`AUN zezD#Z&fId|6K}Q1+(Wf|Lt;FjT055)DNAzD#J{{GhZHrGfW418KY5+^0F>v=s!X55WiXMpid5vXdM=c~tj|dWX%tYD;x@ z5aLnOYXsr{!(;yc@RiT@2F&QVK|O2gHC8BD#Ng`fsU~}?hgh5gbmHQy=NTEApN6+V ziQm=or%AUQ=IcAb)&B#kmLNe z=3!?-fe=KG#c+J{6ke)Ib1$i+DA}6J%Z4udLrDq9+dL7}uTxDYsp_xe-<1Rf7e^h7 znXC6R%~+VSa5m46#PB#Hn#zwYn6)a>^5A*~)M=X@Wq4WbMY%PyJW8UK<?U;Y5A)LH zc03ViJ657Jo!GX|XTxZ15d{0fcGC${0b#Icz|XOm&izyKMh3q%^xs}y3j99rVBnKY z5Tp)}*qjsjwl7Djx$5>CVcBUgM2X-wn$QkUEj@%qpddR@ENKR-!io3195iidT}#Y! zHu7NQRc)^Lzu(e>k%k%EpAv2zd6$$c0-|K2tz$^X;o5lo%nYL%Zwl^}X9xg*+`PRv zj6;`5(rE>VO zES4lBB%c^PjnD3TFR5Qh;9_eJepGSC5`ktV>*vkxjaN7+M?%ZqPiCsD5db3IHd)(( zV9x#d^IR6+z2R)j=hCU=RrG&^R#oiG#3Q(UhL)IY)pNlB?_7~!j#8by{7L(6{I!1W z@)n#7S#fw&HU{|$n|-M|w0S(I{ZUm+-6%7=YXFnWb5d`Q@@x469cw@%7qF7}4>~2Mn*lV?K8NyT>JyZ)4!u?GQcdT3NQ~cB}IQ3$5F!U#t$An{V|7P6W+V83@QE z8kDw64P5m{>gl74EwhzlYfCsuKj&l#R?)Z)~-q6lKFh z4ta96E3LB?TfhARbk2gZiqjE2KK4vt*Ah5jB`#Ga`$Q`%9n8^QK6TfpHe_?>5kEC( z)PQ?z<)ElzE2V0oL+^{EX<|YZUKL{)b zh3zRc11n_51bMx381-r$rt@oW`6{9i92|qZLJmyBacn-6YTq- zd_B43H#wpJ&61N(VThRGcp8F&g5x;0e>EzhuJ6S^6qAMmN%+l}(ZZL-#8<<)sCwZ> z^^<5V`CiBJ^2wO2eDr@5v`PJ5a=qNH?-{M|yO{p5G?kyfRYyIWTRr`svX%YsTgn1W z*9KwNLsptd%-GKid1h|;&Dg?PfXLe(;)>$O3jghc$^dWhY7;OzHAtT$bJZ>Op z^vBYNt1Ng10EfHFi(dn|;HLAb0n)ZU*9pmPX(agO7Qg>+g^idQ&YG~{jGdDXj^2P& z9FG6DF;>JV0b?FN(Llo6*F7?#yrj|5@?BX`zsv*+cMRMtH8biLNpf^orATBtIC;JJ zPEz_`1~RF)<~YQq20V~}7MReMNxS)S4U85UHsBiX)17b4pAaZIt7X5;>D%3Siuun- z1v8Rg0I(Kh1gA!fj^JYE7a?1t!t2demQ=FNVM0JUF#PXl z71aq$Mm+o>%M%JP{rxgnX0w7Ab8nmbkzWvc)2?q%M5D?ZH5JDYE~rGeP5-lz&g4c* z1oG}#ugmfIhF&LbiZUNfEW>bZGb+l10{NXuWF_DgWk=u0e~4PHFTlHdNCEZcv!QF- zHs{UhCt?b+?6i8pdAFaW-|=477mS@3Q0wbzcht6D^F3=otxoD%+ljB>-#bOpzY>P@ zvIeK0=T5pB9ZrgKw})CmnQ2S|0Io)gNw%ItCwQ4!%O|?TS64%1f)=>YGRVA2vLt>W zogT+MAHn+)NH72*dyH*Vqnol)QhxbwE`ACN7o~gYlnkVpV{$^EEu?3l_QCi5B`s?^ zXD^A%u5<-u7LHvagPE5LSe80PQ3${x7TTuhAm8o`t-G_G7C|=-tW@Xr@FfbI^C8Ho zHCIgu0w7)3^a%pI+mes}X|S+G=N_hr0_D7R?smlM^XdYvg}JA<^X4V=&sl3T5n4=u zK-aCBafS17gB(~k=LjX=!?Ue}iU zXgHY*d(e;Ryj4Cm{3^WtEJ$&2m5h2z!D1j?9$EEx@-^!9qroX_s%XR-+9jFz(p)D{ z=cSQsuhEY=SgzIUt(Uig%sD5*^SMCKAncXfg7f4`mxtY2v)0K&)5ToYl6z9xJ{l&o zb(h-2mlKvQ!w$>)I=c*8?P1Iif3-U{f3wRs_*2@5;%C!UYA1ayC4|Y+Z5iLzy7r`1 z+eoI*lZ%Q2cU8ZjyW) zw^P}d^7X;DSR~qr82X7~Ys$rij2ZJr7U-U07EaMYbIC@XSs>ux*lJHuyW6T)1kI%r z``k(u!3%brmR2&5aa_N4=xEWe{blg26;#_a+hjiY-M061&+jwtiPW!YemsiVKJ?~b z)_y+_wDSouAx05<}OccuQIju2ZRlPOp3)#DwsFQy}-`@#aI`dRHB(@LKTj;mRCT+fEh zuS0;IEU-Y<*0U;^g(BpzWkPr$zt( z)}v?Xx4hv$W0@(9WQsi$m0o58uk~27@WC!_Xv`d=u`)&(o1Bir2GRy^dGg zMSZiz1g@&SY~0*h5i{?B=AH*)4LpvDk;_l}4+-9E)C~OuXUh*6g)|KdSc7&ai%{0I z_jd}-?PZcLa1)D5cFpC{5C`E4s_DHOoP8T1-I!qqV}hbC= zOuBvr(mxGgqpj3oIKSyF5rfWhQj@4#RXplNW19^rVBw$U3%_BU{^np~0cpn7JHBAs z>NL|1txqROAGaN!>+`5j6uPj&w6s+T5*`3+j{gWn$AAIIA4W?#L4q)TWn5b)fuytt zO3dOVBjJaA&G63Hay9lft%iPO10r5DRZBmOkL4CgglY&R*}u^Vm0i1O%TMBgi>ge} z04y?7i>H#q;;3zXUF02mY2F_?v|s=U3!@Goe0|>y5{nGQn7L7kXKt_x-`L3Wl@-oK z*{|6Gk>%ojWTL0EVgP`F$z)Yv4qxMa0#0?joF@PoDy!B_Q-vMqsg-;$uuTe1X#a=0 zt04*90VuUzS@WjjcOHnet`JFz@iQcAESkX4n7--!cf*Xf)A4nz5TBFYVVCQEb_cAG zKob?;#oM6N;R{qXN-T-MDy5=P2Hpr5DYR|)8Hw;icPL2?1N-+~P_2a-?zk!;b2o4M zz3KD)ilFC34vC*rv#{$&PH*rG5-@G#bfgn+cUG)ewniwH-s0}tvDtqqk35?h*YEIj zM$oG2D&BpljB@sVu<*#g8w~?t(!wXEM2ydS%K%XM()~Brl%a4t^k`3!&N&brkNE&`X@I$MkB_?qc zN7c`(SJqPE{e<`RLyh{i;JSH`l+%3c1k^LP|#RD?HJFeMj>7wc-wHmuQ|8v`pEeACg#zu z?Wtw%cB1nOjJwwioh7piqzjsvd*bK|zHZfp`>?Hfd)cF|o4YRS=Ycxj{O7u6FY$|@ z6Oec8F+9eTV-*SmQ*fV3a*W(@PZ78>@_`)>F&ZS)D)P3waXP#nIe>Jv$Nb4ffqF>T z&wk=`*e<5Igy@+&dZN19D%_D=3?QZJ`501XJhCUMWwHpjeWytLhT>F7_GiaIUSYo< z58pU5Q;421Mc~an;aGxfbY|cU%DNh z!^Fm=3At*=X4l@_U7FyS6-%_SaRu!kZIZAt3@I*`aex6>Y{^OP(0qUEs+K|L{XPvQv<$*wV4uHw}l zOr^Z|h${m)@^TY(^TV@NXkyt=TXn9qA?Ou06w`nZlY3bG`DbaNE_=E`%H~Iw^{h}Z zS-$h>KRV*qO^OXxA*omN{0dgJVMFZ;(c-Ez{4SwrTp5&IIO@kDulw2mLkU!w_$dCL zndAF^$tuBVB5~o;n2GJj%N6GNr!muCj{3pL5Dnte$`cJbmfyey7G&C_%&G8X;&rpOv2bNZFf(cuBUOec`hQd>lR;9-`@VNQ$GY&LmH^cCX;A$@jE&2rYfE)>l|fsMFNeo5H&0mWx5KC3hTPqbjODK7|`meBwZUw%%4V$5H|0qZ?e2_L{Hir_EELh`8Dn8tY^39c=TRdf#b6% zvWRvXs(@c;ZJw}gHU1vuOCv6~v7`E}Ut@8u$E1s_p>+^DWX=mU7dMv@Dh61rVb5EN zS{d9OIsN%wM7Z%5Jtk{8GoR1945QTvNUm)Nd<8aET>Ulr`ZKPrCJ&FK zuk~H;!Qbp){QS$~!2$L!cSiO}`VZUQ-{^xzYheKah@U%-2W-SU9+E+Gbv70(LbzV- zaFK_x{{}6JvhrRN&kSo6Ud%XC0uMO9_pA5#G6?*O5t;gyQ4Xu#)prNbdiCvPwg6bl zBsRnjcNL2sEvo0rL(L)h`(=BNK40xQq9xa-v;$&f7j3Z+Fa}BZ#_JhSi34G$0E${OWm%#o|JMp9A}mo!^#+9 zBF#$2?rGx#j+U)*-mi!9P2XX(O_gj|%?=U?L~u>bamA)7Qc#RG_+Yc4>OV85#OAU^ z$*!)>7Qq~N%#0#DSs5BPv^3}pm~TkluL)fYv|~y_05~{~I}5t7NR9?Pa|<#@pygoz zTIy9_VZ~FrY8i;&QO>%q{`}?wEwq<*BL7Ozjuxv1`{@EYi8gBz{Y{Tddtegy{{Tvk z1dfbL{!I+_+fAk}-J8J?A&MDu=31|h`pY6E+o|pLnXQxZo_#EOwVuttUhXdOdvg!R z#maB41{t!n-)0`aQB_(`l~XVGaq7LBtoz`lDf4g=57&flLG z&Dm8>=hxolC!^dRE*iFSTyk#LDvz z2vX=cI^lVkrBOU;K1Bx)XIq|=(s1?Lc2_lcoM>xBc8nN0`q5~^swH;u$;+m*VKYf72?EL9s&R8D~0sn;i+|YXXbSv$^G#cgO z=sq*>lNWpP9}y;^^f#Sd&Z4B-f-|MN&d`Q0vvl5w-k%_g+; z<}INtkFZ1DcZzi5^Tmo{MtQ=EKDy_S6YT4p?!b)c^H%^}a@a4O`Kg(y>JqTrszW>{ zD+V6Fezru*j%lfA>)&m1u<99e^sx7skp=>g$xnXlXp~8DtZ+u$Jn-3eC;blV_s@BD zLFE)(Z!Ir}NQ~7B4(>`)g;lr4S;=3yFYtwWJx2X`S)^RN{bfl$^n`_TK+G5$Dl_Q1 zxucC*!+rC0TXHqn&iK=;@iD=eYrrI8QEl|DDo@ads~3&oK&ehS_1h-0si*r?!ta$L{a0 zS~iNFkHODoNP^~jhr$k>8S8v|b_rt)=Wp6*Wz#D02-GYE$iWuN$Aa(U2*FyqQL4A5 zK|2yv?~kBc%1}y6#opQ8fipzY8BpN7i3gaK9= zH&aM<#wzn$%xoVYf<9#e z#8T-bAV7wGmz}T5-uY|>SNeiFsj|W*M9}qVa`s+H>$C5)p{H4l5;KVpT%9-si=X4% zaeHzELoCR@c<(a#j;DU}w{9_(CRNiS9&d(An{b-|BbxgFPWK#lv2$ZDTUfCKAprD= zW#9N|7~u>s)r^p zUjKyvfSnIX0W!K&30!R+rk8+n36;5|jsVExY}4zh{u}-=v#>awp#7q>t?q(;PEh{> z7_}FwVhfMYw)O$wi?8c*jDVZl!$j9@bYoQ$r#zP_fj#&Abk7%Va4EW^5N}6?A7ckw zXz?A4(_QyxZ}3b2%i)?erS*2xefzK7t8MmzeTfe(cs6HqyswSY{*Sj?lIrx&WB4LiwJu-)&XT8|FxV}!eIh^0LyLHLt)yIRE(YRu2qkO)a^sTc`N$!f+Zr}6AS65(`1A3f*eh259+n@W5~R}K2ordHiP9=4FIfj~sNB(d?Ln$A z8YDwlCZ(isK%U8AB%1HlCX6p>u80&FqJixh9T*=soxQumEB)}s(Ce$?*b&EvEM!3+YcUS5*iuQ4cA(uhIOJ}Ba(*lQLw9903$)#IKObdg&Ws=pq7$1;-88J&(t+=fr~NZ|m0h^QlZfDf5LpDc#^=lV z#kYTn=-MuQEJ58&)43o~aW7t9)%55I5lDt(E9C~9PLUo?b3U!n|oZ&`#!li#{=fmN^{7Xdee*%O!2l92qcj_q`W(&8y2@Gb~E3tbm z1+Xnjh&RP};^_{Q__uIft9oBg%YxvJhg_&tSAjBjeXF?3-b=loUsv;K{gt(etB$L? zTs9R%6YbTqQJmcLym=&1@rfV+5*Hb&Ha_0SFKTwb_fGn=HE_dhtWy*t`Lg9O@9dui+wZ=5hSIuJYoyiR06=p8JXCQQnAM=2COu3_ z3R_CpZ@av_Gl}Jm<=RC7qm%7Q|HN0#vVX`Ojj3MTU45NL`2z}9=+ZNm$}c?K@}_aP z{{%o%RPgxRvZKoxt6Og&?{Qp^=l_R5RC|-9%J9W zP>!ceY6wogDgMX@sdjSE{mD^Zl8NSeD5*V$`E5*IaQ&Y;Qmwwi|Im;UNcVkQT#fFu z9AFLOR)Oc2pM@0;dK-l*8xXaWbouD35K`a;cyk9F~*DWN|w0t=Jzqq)+IbbzO_y}rv;fKt>vvw$@qydq9OZW;+@*O2h!Ec ztyOVFb9#?G?;RlgXbjPN5pdp+DW6?1aY;iPCm`%3G*sz8m^D7?_5S(+aL}b1>M`FL zSXoM1a1#l0Gbn1!l-HsLiEy7m3NWy5zA2ho9!0oX9u*00rlc_7 z?;(uCRrH)XEicb1=iO1YBlTvq-s;~JLoAkJNGg$=HA!B32X+g9%tWycF?}jdV}$Qj zq69n#$6dflmsJM#x+=lj(~x|c zLVwpvxbi3Q$2jP-l4*utB-GAH}~CRUHqGtWfK;5AmKK z*?flUuwt01rB5q?V=gFZc=Vs>8|UEYFQB^p+F3*Y%%gP-o28RwHoL4ltPR1Df&paK zi-aFWL4tJEy&8QV2*}-Ce2f(}&0lUrCvihIhEjbD^CADn@A=eNa}S3vl&}jb1N7RP z^SWQ-Uw@t={QlNdDKof}x{n5zEvhZ%QyT-qiUbo#?oi)f$Bx9omlk|ELMnLnanI2tJpd-7Y+u*>Va=P49UX176|7DX&`i zfPf4pEclTlb?S~05m9Ms^F>OxMAv!l2#fJM(3<#Y3>N3?p!jMLC4fnG?X^C7QXc@& z+b!vODl}dw>hc{RSNgq_bD{{O0sAtT(PaP*_;nzU{BjrRHPi|Y7Vr-Mm`~_A7S8uV z^OAv3n8%j(h;RD+`8I>^8(+SnAXTo3-w{UYEcJctwMYaD*v3vu&f*oOUXboFVdOJA z9yJMdaGO-xLk)2K2g-z~7+5ZlWLa_cQ>jgvKC47MdFt1`JonY1JiOh$%8g4QaXV#? zE;C_z-OB0tvvij(`-H6Q8a>MRDES&={j+i_r?G7T_j8Xfgb* z!*;#x)bIRICD+~!*ww!y*GuvjkBu4PNaC9RLxd(Zb>=f~Z+ zpu=>4>m=coId^ntI#$SoS(`nsx#=I11O?+npD~=Q9&ysVd5w~M$!`>vrgUG}cpZtL zY%VJ=MUm9g&fjw}Ch`9RZ|IfEc7bZ^XOX?t(tlsBC18UGv}|EgE3z%!>HbH+t1KTK z(nmD-(R=dkI!DGOCCfDt)n zmV1>SvQ%z>vALgEF=>b@Bii*@-(@t zZ0)s}l;N+oe^^?D?%NCrB&F`XfmnXOz3(AarJrGlPoswp#8S(0pXbW2#bQXrX~p0K zfTtR}t#cZUzo(Oxa~#whx@kvgK_DAox|%}jqQOE!N~&rMLkvi~Hbho&QV{jAj%>W^#1JSW>kfIm`6%X< zpqmKIIV^2SW*%~*te4W@E`Kw8bQ-=uoQw!Wz^*t08uXipsW$1hEO(#I}6y8f_#RKOOl{C~~b$IkbD)cEk9pv!G5 z_6+`n4+l4JYMeNXmafpaHd3Rw&~UcQ|7ySLpmtzeC~^cx)He&i)Jk}lV#H$D;Jw(S z*i>N#-y=-toz_+7@e6e*k5##|WQyG)ZHnj&_!>NO-X$}N7pw^tQi33DGl9MM5#qaE zD-qqY&N3voS|Z-^QIgO!xgJ=McQ?ai_q1z64Uvv<4eg~Ove3OG7I@w_#kIeuys zEOMMnQ8qyx<7*3{Lg-kg4wZUA|FXf3ZpJ&ZWH^@0abcs zji}@~sZms9{Yw-DdLHB-NyC^96&vSTZHb;b-r>~{{r*Z#fpP&)(k{7J&;K`j5$6C~ zsH{JBG?HdK0?C$?Yl0S}(Elq!A7nF&s5|+3*R8EwyNKR-VJ^iYcX9Bv1N(QT7Hugy zeLZaZ^A&@$p!0e2T$xktWdUh@J#~l9l??BL#l9@vJ4<4q%2FmS*z}TM85&F{!Px1p zxAtDPIn!@doB9fg`VTn(L1OlQO*+J!>(-S>3T2Dcj!F*&j#&^dll^yk^r-+8*xmIf zoLpw`JgCzG&-gU20i+N1$PPen zn`PGQW` zn#C0n%}Gw3b#7g`dpXBTY-_KON13=R&A_>t?)Yu#WL1kSLfFN|(*OBs@|orcMr#3y z^B%?`cx@Tx%_Ak>5)km+yc2lSye0n1gW`%A2R0a)pZ9by`634);>&+}?Qf|2g+h;UVR|GUhrNR%U2oUQ5&Q%%{xOGHmG*0$gi=e9jK79g5EaYiEm}8>r~6 zmP#|8f286hqk{61-Ir_`F&cGJFe%pnd6T^9^WSz+#u#*YyHuVTzD=^r#VBjYX&tC&GB!yV#ivcy zTS(yJ?p4vR{5QdWpoM@C0DxZl`@aDHP5h^X95>hfE5!Kb_n)jo0w$(vtS@gC87AK} z_+Mb1t4rP;C`VF`)=;V>S{Ce@Yr5L??|>N5K`~K#mH#OapQik8ffzyczYD}*q^q3* zynD#HB;M~^|4k=`02Kb#6iZ!d&=PGa(K*>7`#E!;5l&jRQ%k`~K=B9$_P_ViF3`Dz z%dBAIA1O7^;bH$r)06ubSSIKyNP7hTWh;r#M0oh<(jfyYdmVeP4HnTUiUHrqAbDTG zoSda@*1_p$FxR#O%((r3HT7(r19gPP`WoiUUbYQHV*?Z8k-^ZcyLuby#{i{b-Eg4~ z4r~dJO>dC<7-*Q@2T1$xo_S8W1Z+~XKO=WOvXbk~**kHNRaPxt4+~j=x3IlD4LTc8 zg?6j0L(PwouPJ&tewXmGp1Z5>^yF^%^v>NL5H$Y~y8-~uej=4Il6Uj_j8J@LSP~D= z4;V+@u`}vFJ^6&#Dcp5opaV#u+aN_1dgODX!zux{!o<8Fw-#nrjh zK9_&;l^%)d;?{-cNb2m%%SPoqkO@nh*!Nu_+Pt)Dny)Gbt)=ZMfXkW#K$;-;7^QUF zVMp|j5pZyDZPy=op+jVYF;~VF#WwdoPhqJa1&8 z%&SEy2=p2J?Pf$(S=P%N3nrHk&L=t?#^gHiu0!;eq)~q?jh>a=7n%jlHLmw zS&SD#>R~9wv8cLihAj(?=3?u`zKhNSytK_fn+s-Un0O_UYo1A>%kQ6pMnd|cMVngM zP}!iv!mQX9wgN$pp>E;4Ome#zfYJ8SsQIRt!aRfjO?I930oMyD${(ejTxZ~t~oSK}COtJQl<%Hh4mur4G z^T0%#$9t~*?b(;tGk50SSi|rld&^JnTEnnxU7OhC?{l`CaXqv@av@*P+TnV-~B*?9#}!cX$}oB7H-5pH;TWt9y0m%9ACQ6YHFuqjMKu;=-}E z#8N_6hjo=ywpGW1BVUeoPfGu7oV(q>X4?G~=?oE}4MC=%+i&hkezrV)$?`MZUmNdz z+tszn?djtdgQ%HIOiAKPbmy2?w?*8Ky1GE-j_Bekv0il-=CHoZ)buoLWXkm}O`hNT zR^z#nO#cG^gb&Z&wWZCCe)4CFEBEtrU!GoAGW$qG{p-5jGxsw4lrEBxzMdY|vwh*R z4`I3ek9XgmFII9P`lUdpMURop_2@GPN~C#9S?Xu5E?K-mbJTZ2%11}O>lR2g1ft0aCZ+D+}+*Xo#0MzcXxOD$a_xT?^O4BtNYgN zKlcZ0YQwH#tu@!2b39}09V85Pp70iK`(Xz9xNA%b!SWBvM=F5gb45?d-9UD_d{stV~2+6 zCr6rmD$LZ9Q5B^yaXWK6OIySHgj4omJ^tbKS75~HDx2}xa+2NdauWjp4(h{;j|A;! zh4~{l`?HyNG+WQ7KhHIOlv(?9$Ev#{?fEi{Hztjq;=4@|Q$tK7(r!{Gn7#c&J$N#1 zI>D&hsxS-s{ROn_jlQQuu49N^^@q_-#8WkIO=umJ)%fY2cUui4bspz?4aJ)104v6k z=fz6l_}d;{oEC3z^b?*Y$Hu2UAA!0SuO}%mcwl+|*q;Jba{RYgryq&Y6>6IW|XhW1e%+HwU!GDgCg$uJYyx7U9{=#p;tfK=R$MZou%%^h6Mt4~_x-?ImnAvOo zutNyMeyPCgsrIBbqaOqc9>7np-EFs!PbIlKTQtk6eF#xrw#m32?Km~L5xgDKGmI^K zI~UKW4Pg7?AT(GVch`HReZM5z{gZk?^X4=Iej>Dp=Ni7o%V5~6$X(w;FQgo}SXKt$iR(VSM;>UyW+ ze*Ju<-9Sysy6Cvf%s7!Cq4m@jCNH}J<@KfHpHXhkrOO6QjyW9 z5PWaRde~#9DPA%a{1=2Y)n?%A7!iNhB4Noxx*HpvHB8Q zP-rl_X^MoXSLA_pyXr8!?QQnLlezlxuc}>`;QgkuHRy$vgJ_ABbIp6l;YF~*6@+~R?%yeOC>SRzv)V$~N( z(mZTBHc+bNG9Q#UV1f2W#JAin`N^V&HJ-CzP$V8=3qAhxX}7c5d)|1pYWI!V(N&(e z7r!`&{JVj*H63U%TD3I#~+i|3ls@nPWsk+ zSjO0_KQKE*Ra-4qP?jb?^4v);1fFy=*xlb*kKGzsYiD7-*=*{7m(vq!<6xbMWHDH&9iinYl!#ADrk z`9qKO!)H2RQsRKjZ)98{7h!2TGdJ|iZhQ$h1I1bJ3z!lp{Nt)*4?R3zjEoiY_HU3P zS7C@k4{09F{+xmkDrP!xxj^s+{nlP@u}M2b~+GBPXPGqKPt} zIv?I%Wx@3FG3R0Peak?x)!?xObp3E=5fAXY=tWNDj9gO6fnHgoX?g$h;wG z|INi&LD;kx469s$rNc#yHXKJmh$du1C`;N{y2KRx`9Pw7kLJV-;WtP__hF7jxrOirR!2TLso4v&@! z;+g^vu#m6G zrm>^j4Raxusc5NOHPDng_mHo#mWw|?Gq=WPc_XK!4luaeWR|WDfC9qDnN{Z7l=2y? zf|A37O0x=D8@mF;972+I$@5aJkuzUR~DOloga#P0#7w zO+vfY6js^0)BEMw9WcZDOZ--PcLVt5z0=9oQy=VCA?nE6Fpi9|LB>k-vP1$ zs|8O_#MC^V=YvVJGap}znSLzP+}&`E(h9?~lCwu8Y7Ngha~Nky9OG4wH=QdYQMxn;IA$J?}rxdq4^FN3=|cb##VgG&sob`C^{leU64 zMR}`pfx@RN<=0b{)<)-33qd(<1lCc_{$_F=@Qj{<#!Z;sBO?kyjm#GW0pSCVr*T)I z;!9F09@oBtXA$Ps{4AB>qPtbpG7VO@ZZ3*%8qC{wO*a;^>mt#WIge>*oHb~pREb{d zL9r2CS|#m|G0j3TXU(xBNPm`;KU={6dAEDw>>D^3zsQqk@Uc8z<94R8Fd#oRPTda!dB}BlKZ|m1O|D{NXulZzdP=-YXb#giGbxWGW>dpT0R+_}?tw3&! zWf(KJATr$+%+Mw;WDVmGc8N!dX0Wm8bZc|0Czjsp@|o!X!{n0|tB%=R#%pDHzFjU1 z$0qq!9zRA-cs8$-O+WV9L2$y7i%5F)E?SJ0&Ne+R{8vOyaWUr4huRe#;iGTu;ne{G zRopjYPv6i2l^4C91Dg+DD|nI1h42$>lL)Dybgr?eWCvx%Ga?;051BOI$b{q;viCNL zP1!gR^4n@_y62wTi*_kr;zkBo)edScCSnR;cleKwuADsesCm$#wF1dmCS|n!DVHr) zt|(H%Ah7iUTtg(PcFUYC6yG?c*|^XFnMq%a2GfzZ`>^f^tJZ)&$9!40PgZ*uf|t$_ zUKKyIFy3msdpjs#iCwm1j~P}>$PV5jKx$%{LXL>Rkvd9 z7$SGl&oVKnzl31p%c-x&nS$((q^hGc?DBk)&dsIAVaiWXUr)k|%f(X& z9EOYE9@|x*3C#5SH|CDUROtW_R7&@IHyaHA$T!)8!i$ZlkGT9KhqfA*l0vit#RW!; z0I?c%7F0-(7o5^Y<>lHg2MQt}>2|;omgZZ6oofT@8Og$?O0Im~B+U>l znA&dKk`R-T0t4-DW##~YUFf-+;VY9u@ZDRCiB9-9XXB>^Ys%X z&=aIyMy5qPL2O+`_4}sk;=cbit0|e6_JCs%1GdNZ;}JJnHY;tdc#T}s?M)-f`;KbY zdX`t9na~?0w$N2ji*ca=0`&y{8t#=Gj`zWj4p8Pii`#xi2M4C!5}9xS;5p;2wSH>& zo6^@W1meGo_4&|fRb0q86qCP!3t@}G14u9h%Q;ER;<=GuXUCmy#;UcGnxR-$a04-a z#@I9vGi@(7=x4fBvK6n4q80EjZ!gsm4d-8#BrIboETen$n6NOs2VF>1iYn3OyF z+i|U~sPzQ}6aAy$h(7O_D;n-X=P+tSfo}jS4JCV95dy5XaUh}vLZkDU5=lJ?(AM)G zPuHg24pspyRV8qNFgu;xr=!G?7R8%7qp8pBHmm}Ivys;*lk)9xTszI#AhMof0Rx`q zZ=JO8KUUzw@(S8&6}a@pPXnNyX}DK*JJ(A{y{h6uwu{X0#&LbWscsJSi&bl+<&7&Z zHeJ?2ECl5=l0^r6If=%(`jB|~m1ZWH%<%QGwTuJ2#Y;2q3hdK>{G~#cFUgxK^0%SH z?9nDHPZalqB2+9`bK!2Rh}!;&bT9R>PT_H8EDRtNjM=eJw1x!bGyiCLv77+@fD952B_kj^@tsrY6>}Ahb6;E7DxUR3r}> zmTcH<7Wa;6mp|x^c&!<3arKaA25cfk&xkvT@-gl-#1++BZdarhI4HjNh4O9Ig+Os3auUz5hZ&RIxJ zGaN7-MsfWHD{+ySx|v4c$z2IAvoq0FMMO3_E~gUP^YGdP84`WpfJsobE9wkWOF(rn z7PM?@KKwG68;&+}O8&6G&S>0xG7cfV(Kl`H`UD=%dxCV5+uqncxwLl|92(*njIS#2 zm;J!RS+xciw;y(yA=k;ZVhvBUVBdsR~MLtTJGg5DGb_~DBdRb;$U(Qp$@I-dmKYz7=U*@V63-0=`T0P*P=|7!Jc5| z+}2{RjShA_y?H;QHy8<`DyP?{TDT0Q6TgPh!i;*J6+_L{Q7=?P?hlFo2KG;*p&1 zU}mNW zxB83#=z!+mDHPay#pmCt#y?AU2#-}Tv|p*Wn2~zlXt~R>wwCI`J8&(4WHelQyy2*4 zBS)YM8vre#lsn% zOwtvle=&~%PSXfpD2<4QMe`TgO^q@c9=})=%CCFnP<+wZT>pl=0upgQ(qnjQmx19O zP$1g4aHn)<-sCLIy`_7C@?lMoA^Rgx89&S7rRH)$Xh8hE*z}>act@s|*y`oFcS(7K z)!tx_2X5{`=rb53@3f1)d=$0K{U!JB+8h*(1SWvHM+T;%`4WTYYALW9t z&g6`xkq2@~w{@C8t*?Ytgs}MF$DwCC+pO%pY#{9nH5{T$clC=}_v{11r&yyg8=o}w zmuU3o+Q?66oEqZT)k*|>gOY5De<3Vguoh*bTQ=r#GhU-G5O{bv?}BCpgDK}WRee3a z^i><{i6+g|0KDZQZjCqe@^Z%_>KhF3P*8&+QVdFP=aTZg)Ae6a8~$%~s_5 zFyM6>7KVdSlD|(|zE2R;8t>mk5i5ykEIN&?-m)tUknl7jO?`NDu=}p<6TEauShz{3 zGb&!z#vQ#OJxwkt%&;^l+z9%i1{Q9;8Hh|*AA$AAaqC`rp^F(8lPNUA?HzI7y=L-p z)&(rOK050YF%1tG5ZbK#x0$(p>IaI^#-uBF@4k8dp9xPQlgF%Q2Xl|jH*f=a40sVA zBixkqGu84W$GAUpA#FoTDfzZCbFB=|Ykn;~&C}@Rh_V6>- z8&CZhTrfa*H|s)&(OWZ(nI(?7Nk-1?dhx)gY6ukQBv5Y|bgaW1+9!i0mdeOTC4}9V zN`2Z^#wlCjyM^S0m$>PqXaLhNlP@lzp=0kzQtHY7dUvrNXGfd1CP5MX0X#JxV9;o1 z0>|HhrVg8I>YA4@SkW)%#O(n(cbWyP7tqm+FuuVMCQzXAh0!_K9X>zne`EUIC#Tz> zFh7i}X!e?$RM+z`&Xr|Tym9NmwBa(G{fV39ux+kTnV&kt6s8*J+#uP#Of2`dU_8h$ z!ywVhWzIYHW<6PB6vWT1Z&3}IJ4 zo_lAn9{I(}BfM|Ey=9pP)7b3H5pqYg!JJkW9)w)%*NLUsVc0aJdB*5BlD+bz@2uvI z5K**>U2JD7Nwd2-GlOQQTJFO9;ubMeSoz?xpZ3kI4!XBuK9lVvB-0t^XKqdDKZPTz zc;wLdMPI~{i)H2mK8&JBCx&ev8=Z|%kSRyk?S)Isgk^CmM-;xE0iQ^$!9L$wB72W2 zJ|vm0^!dfb=4BB`gnXkvyj1Edtz+<;B@0Oi;7G-W`23v}!yqYBHIQLXc+Y_il9KWh zY;NoDs1>xDM=A`~j7RKv|3>k>&*K&!^AF6gzan-iwp7bQ3)%!V<-BiboZZp!qcKT! z+nCw*XPg3j8HolziMq^h=-C*UeRBox9(}7c;KHdnG?5xDu*`|tG5r=~>-7-0nmMX? zV>Pol3KP<`Td#%E#;X~NYWf^E93qThS7A{oGG=j4KGlA>k{%kUKgTo3<2G+>rzbWN zCy;qDE#uQYfVnC&Cq1BiXF_}Dwh24FQ5k@l@sAe1G$G&jPLpZD@DkcBN0U0-yEc=W zK(QTf&`ljQz;k{=qAwMBO`DyKs=ZFxFPfIPNX{+0y;AqtUfvL&IMFM=DI3k3mUx!6 z)X{*0Ol7U%-B=D%G}?_}(`C1LiieD`UkX!qoBjmr^Oa6`I7?Q$DO!s#@dN>=g?nSb75S~#>ct3UGpx%}y6WzHMNtfw(lqVukv(s9vmk~B@LT#EBP zEUveS`oYTIXjJ+(bZ3{2N-VAI!60>>UMH@q1ms&KTJ(?w{Z*|hD(cQAg|Sn(=@oK& zrC#_pw~;I!-7{|#Xa@q`b*i*=h3nyMu6piIczO`COth zJD3z_Bd8(lEd&I=4~oP);hjEpW+hi?$=*kbQTkPWHDEVqSH^`~-!S9@7gzyO11(Nc zdXo0)@P5hY*Zp&0bN%p6Gu#FEl3OP6oeYK(6P-#(yps-XSk_q5 zU+c8!I6&-gTL?60d98T-o>LK7LH5F}U18 zWH=1PrCYgWbk|ZL+4k_oA@yAC7t9vM`##{(??=b86#dO7(JKtL_UreCjW=2*=szze z`1d%bJfJ|ySV}QyqCpb%FJ_~^!QM`WggV;#){c@FDqbbgdB8mFgyYuHH0*hW>LxSv z{0?VwjdMkvH@wRLpe_Nxq#NF!xIaLCH)%v)wHh+{CfqJojv7eOojy zOYC>Q!UBTiV~k5jsiTWK9@E~P85;tduzu<;y9Ojg1cxLl|ipNSU;$WK~I+e@A^E89M|G_ zhnT(*WkFh-D)Lj zUaEwpL$3FXcsUEjS6!@)-!6cPpc92;YYH5Aw!6O4prTIV2y2z#ox{o}NUL98ss6$d zHY-($&4?zb##`dC4g-V#wn)UW`9WY5~0oYR-ftPt`>MJUj;6~fKr^)zi^2Qg z3&5c0)U1Cz^#8ViNU5pq$AQRr^47TnBNwfbz7h)ZWk~PXuwy|zz(*{j*^e{quM!Xv z0$c8Js93H-Ao##n*l^N~NaJcY`~5pT!t0#TwwYahKcV2)wvS-K_;EgOr9~yZhx#C$ zwz}aoWP@bk828tEaW~X}_p27UuCeH<{lo&8r(kL9Rs*KQoHGmoMUq^m1NM@v)S}y?I_1ag zN|w$Y0vadUOX!<~wuQExQ~#xcBsFP=Ij^iEbm({EP%NcrQ{2z&t=e!@=HTb%mq4}9 z&WMGLR^mL-h)tCi`+%(B(qDx&+dKIbta-1)as65`B!019$UyfRxz4R`_%Gq=QtPle zBpnt1pxrJOdd$xJ@gXhlUwqzj%v7r0W~%i5JeQot8BTpUD^}3RhU!t=vYnbw|1!(q6p3OvCB}p`w(3NVA`n z5hGALW#I@4K}d!(lcmXOBO#IBb<`@2ILspr%yGFLE7remIya zEt(n|naS<@;(-SVkSnDW8--~~8KDHy{wDb6t~_0N(^W2&k|LI(L0ZJ+dUD;VV)*e7 z5I@fo0-FPo#wC%5c(<{yW9#Hee)ql9fdD#B=EUr5PNUztb!#Yo`W1Z|gP<9h8)>GX zUe;ku6o8YCO(fp+TWJR%f$^e%DRH#1#|QomlD)ATaFzE+0QvT(4x$Uy?3G^kWgeTz`-byD9-^*Ne z=ETAP;B(%(V*}HTQ1Xg!A==cUdo8=m=t{_$$oC=(Ti5Pbd@<0p6DkkZYRYmA)Vy^W zH4rF*Dxs_kde53+9Ks0VzuFNaH4h)_@r|m3QVtPkvATY3)6^yjO^QaV0l$e7qh%jv~>58TsgN#8${P;XnV-)H^axG>XHPO`Ms#KSp zLkTBzFyLe=jrlQ_E@n@XQjJkp%(E7>X;E6e4IQW~C@Wa$38NCBP)TJgBji@XW^BN0 zf!ED!(^OQ7O=s6voUH{V;+|_hv#Qgi1^_}OX-!--?kPsrxPsas2IHVdgoeAu@fPcx zQR3iqPAk2QuG$fW_LjVc;Q;{uA~&=v$S2^%b?GyW_@MD!=c(+~tuPY6KgCN;PD)AI(3FYTl+aSRmw$WN>;(x(X%xp&`sK z-W2eZmK?xo3j2uEgurFq3BP>7D>%S$*)UO7A*YRP{)-vS?r70-hH~2N!iD;9mj%3p$XQQ+$-YTHLs> zbXl-RL4-s*U7OH8HE+@l0F#XnJOe4IlyMaI8pJx5$CMs9?W0|w08^9o6LJg+3ShAI zro;>Y2nsw`6YcD%fFDNERXkCFL?lHlC;=kB)YQaUoD$snzzt|QtA)wwanl8i4L`29 zo8+!MO>CUg7IbxGmcyL%k_sdkFpc5yK6}ZO%vd!w8C@7*{&WP%0eFp1g4TJ1FoFyQ z!sR@w{~K)`(k#+_=i(gHT~Y~=UBL?m-$zax0x8DD96EY7YK>Fs07o| zcbCdzbr$ExN=NzR0|?AEnM?8SUomf`FkcKMCU%$Mc|NpXD};nW)aPu32`_Fbk9SZR zujd%2guwxQK3V!Ok&JHqvINt|#pF!jKj4UDyhne$H;hk)JeBqyA5S@d*S>)zkcf!t zxi~UF{-lHr;0FPCIbBd9n3{3mT&Vv#Zunrx#-JmuCVd=!lpiuyOM!S=*R!P)zYVaT zD@F(AcFiM1gN0nbLWc8_gT1NBD~HVVgL?0DVQb4p%VRT~ABYQ_EgwDc76_lMPQNYL-S3_WVW4xnkVrqhc{#)8&e*kT zl$jQ(hD64;GonmCw$lw4$s5s#@_LF{_Ih!0 ziNOK;uS^dol#~C((8|%O$!+7-B!5@Zig^Q@Mzi4vd^ zTJNXqtn(oJ?`QeT$^V_@TJ8-0Z=TyCW{I3}f8F+%IUwebrN=wS*x;mw zQ_&EOyQ7FBlsbJUhQjR`jt4mT0B=Lx6E@aW!e(~%;w~8X&%x#Mf!e~pM_-O7DlNjX z(WP2dXI)2&m(A_9F=pd2i6nXoz|7eO>m_}7RD{tkRE zSULs=#16U>Z<5{mZ+4TjkpLq)$aTV!t^08KGZy9pI>6ch7ZaA|h3crf0k^UNw=hDB z?d?fDUy{RfJvWNUaXzu>P^G=0=t}J2wXa>Pxl$)7|By=moIYas-{LSp$o|>>C*PNJ zooNtICiAw+lBwPNNn$iH(+DjNF4|B^LMrN2`;c&IWl$gv*`!GSI7((=C!{3Lt zk0LsMZC@3{n4JMRaT)skq%kw0{d))n)b6IEUq<|vx$V^F+Siy;ne>6qfcl8nE^S-& z+2sCwm?qX^*k%r>V-Ns9lEF4PzILldkwftNF{ZUu)iFKI1_I#ga9=)kk1g53Dvu@R zuj_S;FD@^8pr^w99fBdirp0w{9`Tx+j)s!!Wz{LRaCLI>9pfn`_cI+keR8_kgy>aQ z%8Be%yNM{zUlm!x5G+Q!oqfHrJG)#~waYKnBHt!hG^?FCIkY^06^!)H&PL8AYjWJZ zGt#a#dm6?&;l?B!|7*qhA4MDfn&Ry~KeJ)$Q9m2XuoO9?Byhfs9mCM;egErsAR$Fq79(#&BPjzrG0FfZT{f0l{3(Yf z=VQBs>YER=OO>Ep*rqy3$ouuM#GY$GBlx##Ko|<8b=-wqR;aA7Y-UU2T-2F;@9+sH zp|t8%$e?xr=10Y8O0oroLa(;f-IjwrSmF3y*-`36*N*xZuUn7R$IsY$_;FOO)Rx)t z-CH_~;v5|Aqh~3mW0NdaCEvo8*e%qrw-5N6ke(i&(=rl=5g~uf5k!cEt3CRaZpl^* zx=gV+hf;=M(PX?CXy_T9rFfC-$^O~iWf{G*cgLIdxXUV957tRg5s4;^%z9g8S*4G8 zo}N8(0_yCw9d&4LT}QQe$t9t^$V}Z=_%^4vG0f~jV0YZNpN4Re{w6ArvL(3{OYw@7 zvTm>3F>74;)ufn}Pl|5sSu>feiB@0Iegac97Kzhf`kjzyUw!vZzVC)NTR5{uR<{j`G=A;TgV^aC zA7I^BprQhWgZ@hyiMg2o{?ltiH3(px`Ir=OJ5vSVj|`+XP_h~R(8xl8c0saD4u37L z)dRr1a~to=IbsyWa0Q`G_FSco%h}urmN$Z@;&;c=u`-ZIwySFA47hLjRb5!Z2}5!y zn~hCf-A`?)>HH+p(3AzZD4TyC?4}!n%VyTC4iSAG^x4uf!?-WoViUeHveC*;Mj^K8V>T z#KNaMBCMb1_K6PIG*~VZg=f1vLEm=-19Zwy5=S9{qUUqTLVo^K)AktA?e8&^18k=W#b8HXcZj&TAecNhkn#+vBP@xuys3|Hj#G z1OC0UFN!Kx7MvD`SL{}=ZL9qZPJj5P4iznV|ATkXj!d}Cul!bVT@)9eVW{7>bnblH zoU%ZGYY)CeQ*RPUZ@#@arh|?lDt9j>9G+2qbk9qpkXDaOW5s0p-{U05krV^}8I!=l z+#WS|IM)sDe zR(EHRYHrfimY=oN-UTY0_hvm2W#Z>@_ojxDj66b4LrO>R0MOcbi@_tMjeHjP&p4%| zEQj$eG4b~;w>Z%HMfQ3GhA!iaTkU=&!s>Ir;H>MsSZ_^z@eBP20`9g`li9nZ8!J)ZY%#_GgEh@FwU zU$#Fki=2yK)1!t4j;rDx__UKb8Ro19m*)IgLwxM-^3?ZI7wD1(oL8&euxitWF1 zE?*#>LfgqpQbIQLDZDVC)IiK<*2Y}eMGy}X{r3Uc%@kXWG4p{K6e3gCnBC(oBxL7z z6cfB=25!k&Jv&f8&|9C(`EDKd?R_WJaw)BUdhc;wMqvT@S>Vn8vg+#x+oT>IZqcnF@Yy2em;zDJ#5;5V^{aE zz}haG^26c|L}i+C=SMDE&$NrQwM9*Vs@OYz*(igkuVgUbU2{B`ycg<9D>Z6TAOJt~ zE)O>pP`OnjFn-1?oXD-`80(9Do6O0V8!Pg$v5$rP%RjwyXG&9<qPsZ=5ES(dQ*Vp6ra@g1O8;s;|uVwpZ21CGQk3*+_!*BS+BqIHDswzXMg5>Z|iC zjuTjd7W~n4M#p)4=Sv9ie(oA*{*KE16u@;%X)6`U3KBZ$iwe;E%N^JLt;^XLh1tCW z5h@-AJ;fNR$~$)zgctnpw)w1cn`!4~S}+o)j!D|Yo2)c2fN=O$BHZD_GD5-|4$mytbcEN zgCGIOrjOblVW*#be}|@k%wk^BDk#t+Dh8Byt0WqN{B{@_nK-}c+S?kZ=a~c^?0=%5Noh0I+n7kXe3+>m9a?c^Hsj+5-@cta*R!{);d{ zvF#~1b(sH_=k1DF*}(53`F`X4RR{)7u8Py|lW~y?hp-BuM?Bsh-$7(*~z0?)EbaLEE(;z|6vIgya&}WEph-kWWMgjv8ju3qA zt6k~hKeXg^X{8scU6G8I5{-GC!u+c@ex|nEUQWzurK-@iC)9R#2?+18Oa=RCaL;@) z0P*gY9@(MO1X=oijaUPh4IVvl7o>aSPX!Y5nRqmQFr0PyI4n}|4}Hn`u9Ip<`}fXu zl@ZrEE&9ZWU=xI6oAQ@D`@LkhaSpMHVe^6ys5{#nkf3rf_H_-ny5mKC#c{A!4+k2x zdm0V?A0?2!>If@zdsJ7s_Wod7GM;p6rV@#2;1M`8nuC%GcjxQRaf7S%x%WVU1dLKh(ZKD#mUFyW#Z4gwp}14?$LHxgN?m4bbJ z$kEN09BmMk%Xw^Fg$|gPPd#N@E=ATV>6KN$Jz|KZcET&nw@3o4%g>17vr}{>>ATbJ zhs>C&;Y{FV++%)WhulMZ zTh@xtye}6zxd$G8t`mQ6K@V-(#oA~f^rBsOM_*;jgV%DHH$>gRgM)4yb?tDx`nPeH zjG5Mk+WO<&*51^nG*&^FK)gf9xSsxC-(4mB1_C&}o9P{!4F*YHWJ9qOR=fDZGwY|` z-pzTd-vZ_ve%VAO$np^F@vBl_?KYw(Iz>r`NYzr~lZdbDZXGc(-hpWxDlxU^VRb16 z>=bdYZ&^;qh2JmK;6liglj7>^>uHRV>io~77frJsUL_~CAV6jmqd_Qh3aRU5Ymh(e z6utbzY5XenS1|9M82S$+keIhe71%>u%$hX8R6~?nQB3->kK6X?1#`=;)#KYx-j!9w z1w53ZNp!l8n+8F9ao~y-dGz7Rfw{k7qdsQdk0(dXYKNBcC#_e zu8J-f>$OTEaK#%3#FI%R)5?!QUsNzUS^twsZEJ2Wkl$Og&Jvj@)!FQNIK(;tio;A0-A`iw0i;mD%K<*%Oa`EAbFhM`M*gd~V&PDMVHX(@L>O6~HRwt#HV^ZO6~!Pnqn>DT^R#ctK> zr*LD9)qO5^rt+{KB5ozxCedo}tBYiH^>%w{Dc#*|xGyPHM2)0iL@PNHH9N%^JzXu0 zO_4}QTj;BMQuQm?$4kACT+H4EDO3}bNmB5xFkiQ{yLZ#@zuL!9w_m<#7`7^q>QBp} z>{DBAZgFT{*m58a%FjOQT_$7+ef!MxFYfXRWcL97bE8YsRRSRq(a%PLjH>dNf%1In z{)9H|FopX4rp6#Oga}^~nv>&mrVguOHt{u1roYL+bCR=}9w1kT3%3#PNwR1es4hD{ zJdHBYGYdr<- zKV<7D`gkcu1*W!DB(ue!YgkLI=b0NfN(!T~{Hsv<*#nP*OULp>@NkqV=@zx-0>+3k z%p~)7qZj&g&&q-^XFJGK)}3IU9%9y&nTi{XW07QXsYv+|7B9d2?XFO!2|+UhS^o1# zp$9ca7@i|shaW4l7pa2+7Yxj1Vz|QTP}fuln<&tP@9$wEezopayX~=~xrrD`82Z2F zb_X69@c%*J9(Mh@{5X@TU{lkuBR#GxhObj-LgP_TH5C8?{BJqq|278??esS}_<^o~ zSxp`beJJ4-_8c1KSB_p&_=1uUTx0p1!a)WSKeZ!vbA72~KT5uma0ty#ot?a61(Q!7 z;c(H5VyWE4Qa+AK#ZC!VQb2jPBvbisT^ucY9o z3akh3wMD1m`2sqRcs2Q8fcM)~`kbRH1`ru+TVG6X=O>FY|?jyGhGC zS3bwcTqa*)QyiT282aw);LYC3JB$#vNU3*h2yupMiKdChvkU&PIajv4M0Q^0BnIc^ zdfg{>l^c!c;qI~#WqK2T0pw3v2b1y;2^jFydv$u9yuV%Szsgy^3g~|g3;e%T!2{LaZL}Z)|MVc{qAu4kqwdS;^q46Knqh4$&mp)nbZG)4%HPZmJssD9b3 z*mxi*AP7Y<6xO_RnoIOr?g7=MLY}4~qPkk6#W}VaJx~9?q=SF|6d_BmR{M~V65jUt z@{vw>#NX#?%y8b-XFI+zEMi~*Q~d_kvn6eZ^ub*q(SM-2az}IJ=nSy-t2u3(z)55r zV#R{+Zg*y8qDdY$7I6Fu1M%J+(EAnSKT_=6mj&n|PW<}2WI8WCC$TD#D%*$QjRL6* zW?gR|DJA(>B5Yas|1I0)-34NdEvdtJSWG>k6P*yT>PZb+2r<62uQ>DCJAYvG>h{kT zie^e&Ph`-)P*^*7JE)8>tA>M<6 ze(Y;a5aJ6Q!3TV#(kI`hryu%kKW5MWBMXoz@VF(A1Sy|DWTVBuY=CPDqYFeugIP*z zmyPd(dw24lJgCQBVjMYhjXTB0(F1@5$XL%v9&BE;uVY3)#d>w$m|5CRPPDZ4SVQZQ zgR@m6#C{R1&8Nv==AjZyY+tf3=9f;2t|mZRxR|qGN^(Efk~G-AhT0=4E+Um!#}qYh z?lum4|21wt5Tn8B%9dSR(K2|PNEAwGn6S&T0ymJ6-1h4nd#UC^gAtxbs&m5KD<pm z)I!^crJ>0L<-oVJr~Up*@FW2i5J}I9uZh<$=)ddBDAA;MJ5mz7TZ_Op!O;Zo{r``s zrsxXzzoPo_aQq8#n5{mhe*$XVv1nMa?z*QP$sdw%N9 zUb3>P|0j!nTsWg6ndWFzPRxXQ@I(v9R4pnnnH}5GD z-C?C%zkkjJJz^MC4#@FgZBtS0pnvpY&YTn?+*er9kPwy?V)IoOXRk0XO2}JvS9U68 z>77>|H)C8pMF-~By=9K4^g#pSCm~Q>(XM!;TaTEZ9~}64zTA{qndO<9c}%FSHQ-Ur zsI7S}d(M*o;9ntc_0BejB;@@;=yMFCY7{L>&yYlw z%RTOrUcy-Y~@BsRWrf(o(n%4c-#%)lr<-=J~`&r#O?$- zx0-(7H|1)S)=leDIm8kcE5Ax|=-Z5UI6|tnRiw!F<$qPSS--49O=ze?9oNK+t6Vd` z*1%lf_gD#~Cs5~|fno(RA%Yg%>u0PYzP%y!e-R@MYn6mkqc*=$H>Wkq*LV$^>eYl* zorB(t{m2SY^cgmNMkL(n_|eM}aef1*>-@2Ngspk)fT)oskxg^%Clc zs~*Cl%b1R#e-0sZBf*SyS|OP>x7TeSs8PYM;8?a2;_su99AfTKC}X<&Fr?8&W%V*M zp5$VK42-k&fk$+W2rd4iV_IyB_Khtp-rtJkTy^Y?u@1vyNh<_Fw%TYwEbtk%&U0 z`Nicupb$tx3X*KBKBaOi>VEDcgn4?U*Eu@52(R4A-nv3H5XX!-nO9t$Kf#+72cG~{ ziT?REN-K$&T{4lO02c5Ws)>pHa+v7uRF z;N+?M)Z4q$E}V~x_aKZB+)lU>qt8*+E7%s^y7&xXzAIu!>*R$LqTy<9wFVPW=Hx&1p5T$gtt{$Nl1$y`Th|B2LlH$ z^B5PGSW9&U-%BjIS`BkhKO4Z>6gG_7D~$^v@iBHTO1Eq0Ek(Wub?p0$D(15*%<%3% zn{iduDc$K9ZCKF@FuOgV3J3@zJ;w`pv2Qlf7+-?b7>grqU8o-2)W5=9Wt!@AJgo2L zv^yXd@I;gU@*G}RjBrvo^7t4>rD9`rHaCSjn&GHT@IlSO@T}qel2f2DGo89>R^FGF z#z{+my09L=vaYjddvr9{A75a(b&EF~PvmO14*D5^9T}wzu5`f&>c| z+(K}7cXxLS!QFy37A$CRcXxM(V8Pwp-5nbEdY^OmJ@?+7UH822S8o-6b`@Q-=NfCR zXFk6%*iW{b>+4RAesZ-qywZ1h5Ii@095P za~nU#QV&6@gGCWVq#t29{o=dh9ZA2voLjutRH<%0R}F7I^B9@GXNB*qsjxmu!Bk?N zq)AefoR~tts7@!qv>&{2d3XNR@cwJ<=ZQ6R%*DBba@yCE>nOW_7zpez!Dg4CIo>zO z)-)0Gz5+zc$IAe4-=T}~i|XaL!&I62(+X!a;bX9oD#0Q^1bX_`>rpqZekmg^jJ7Z* z_jhO^%4airkC(wF)}yckOsXO)lD(lO0Kt(P| zha;yDYdLhgSWNOSr_?%N#jE%@yV7i({}0_vg0pK(Z~Gl-?6;hY89X@%o~thprZ4c` znMx~FtaJg$fX)vtAWz4$OyGmL!LEFEuJ#GW&fJL(4hlb;_Al0ETHd)eEq1vNah2P1 z5p?5<0KmL<{fT_W%&P=nVq@>KXvD)n%~65WdjP?snBzEd7jgY`pQ(D&z!*0uil5U^rVJe1Kp{NyHndnOAgKu?=YAMQhIVA=*(7+9!+xO1umG_$z+?zEObP3 z1xUqd-PBe=+!1+u&HV-&#uu9ySLqSbJS#6<{H=36L#YQ#E)94`eOTW?&sjb)?dLO% z6I{vihJD@FEWjhaI+av|bHs8s{x9BDvOs-LdwwAa_Pvc8!(T+=jVKcUrLl~w@j$G* zi$i+;6Xyxk6%Itq#|{72d6(T0PZL^GR-J6-Ti0e@pXo(|)k)v%-4U;SQ!ZP{lP>yF z8>v#avg^jdhOdcu67f`$3JO+G-`Cxd zT|9CzD^C(uvqq}Q**<^|^E<>WK%H6W*>S#VaxfO64Y+5N~ExDqT{BqQ6F@tAfqr0)0( zVW}X3zu(hVQjT~7qDD?r>5Z@Pj6L(*uH1mCWS4ER8P#K9e(#TN%p@Fcr>z>pSad)b z@V?s~ys`CPCd=F6mSIP@8?$~6WUIO%%gUVbG#nvbY>LN}3)-Qu)_+#1%&K1COU;GL zW}dZF_TvSzJ7GT}ozl9@=;}B**4~{3#YlJAUQb&wXFSsNblJs2(g{=GU1idFw~G+( z>g@TV^Nw!>s{8GdzKXDWCduUdO#dK1;_RsTwi^PFtxOO!mO-py?kWUvTkm#QpCTdNU zZ|V1$Hr<49o@Cm0y){FSAB3O%@SXE1XSaYv9*Rckt1-?$hiXq+V)|J5~{hN)xZRnmR%AB5CLwzUR10CB>xa?H6R4P{V z)JzYMG^8rND~qo#d~F*`cUnLoR%D6eS(;8`R284Dfe`=>gOc-by$kKN7?wy?X0>gh z#2fqm3I4_zNg&;IX=Ww3(r)P6qG!fUGh{4F{MkNV z1)8(!9D3R%1C#8F=RyhLMO$0bL~xh3)}=EfGNsa)tI0CMAWtLC=5j1T)z*AFwWe^X zcB}cR(d_xi+L*I)@v)`3%r8Q7 zb`vh~7%u^VzF&2+oEN9;SKFIRY|l2t+dM+pcQ3XLXkduAo)aWP3u@{Jo$*eD6q|}E z4M`OJq?RK+o|Mc$l~+c%BJ^RDu6&xH)R!eHBp)T&$V1SNXZoh+&QSWWfhXP8Gsf;D zIY6I_g|f7h*!4+ATz$u+-f9R00GQZ5k6!d?3*NYL&EdE^v;Vs}9C9UhWY0T1bi8XQ#qdzcMlgQNb(GD3*)Y;0Vc z&u2Lw@+u;!OUq-zA=F#1`W!+&Qw`0bFW#2w)oy$OH(whL+7p@Nsf%E|A&$lIZJIF~_5OUbFbgnjE^EJdww$>At% z#-M8Vy&$Wn8}PMuO7iS*(&1nblEyBzg#48(p%_m#R5_x^f) z`(1M{#>~KYWqg}c%G=@EQ2wI`#64sjy$i06a2&iqX?EAnDaR4(9l)pK=(tl}B?QF% zU~S7rNc#l>fb)F4KTHa5H0g&#e}Vap0o-z{cdcPFOX%%e04#Ch-LMs)bF>1fttp3l zxE0YcK}}MN_s)AaqKxZtlzg_bhWFD5PR)Ax^|etEYygiJ0im0#I;>P>|0dGMIE}ze z7;~lAU$c`oPhMyOAqe5VH3ZzO+lV{!hW0R#QdGj@+|~K$V&P|+Tbofdydm{qd-n3N|?tHo|2@)oOz!t>Yy>j{dmC5<~&YRA_h>`G)h&FJu2h-q^ zs$UBV1jkGB!Ue%~AGNMscXK-U&Jg@%Jh0#DfeWyK#sr|=!|6J0i{(wM!`S9SE>5JrCgSnot=*SAHXPO@``n6m`rA=ATn59q zOoUag6z_wq*oIM#COhL ze)tWAaV#?#HeT-bY!ou)2C6eo34@LcqD}hT{(z*UPjM%cf@>!_f zXQUItr>U=>)R=}MHiPHXt{c2cpTl`!ymsg^vay)OId3#?YQ>h+>788~0q+60rO%;N zLf(o4ShKyT-YBr$VbDGY_D**IK;Gq-VYlX`w5a2vt2r!0nbq9h#VNvMl2^U&QnNj9 zspR}+MXX-{nL9Snp@DdPBO}hvKWtP!8nf6Xz>v~9W5%&L7hfMoZH&45(fA2|!T{XU z+4>?3eR&_`3b2B*@TthpNlW5#E2=+su(XT+0K+Ywf)g5sj|C{y&@B#RZn&)!KKl+s z_Uj{~eo*;pt1zxbV|Cz9Q)|mAFK;EX-@%bzkGq%kvztxQIjFZO;pql{TTMPT{H72{1n{+Pr#jIIOJV{%+E_W@Zv)A|bLO6?kaCoVbO*|23Lyb^V}9e0Ge zlA+*TU*C_G?XRe0W?p<2M8tN^Eo-7u$pEbG-j5ojcy4OG{ig5c-hw~99f0PLrt6i2 zu9bqrWrxLDS++BNS_^ZQUZbb=s@pVjkP~;nCF!_xQJi@sBKvUpP{aO#fg4dRcUY5E z(9&j6aWk~14@p>FAd1DZE}-~USy3uItEwJ9Vz^Zp+d@H;CxAyvQkjc5JW`}&+Fe86 zrGlE_r-g9;9__Dq7J{X!lGdsvLUT}{u+y1#4O@Tdyo|cX0aFTRx>{=Cd7Q^7wifd6 zf|l>T+)OQL)-HjT8c?~`ZK*eTulBSbCVcMKG3?A+tI4atENfE;XyHxR%Xba zt3$g@yvd`HmB-LYuffn;3WGR0&UMCm|2GJvBdA07^9w@;fXch{MO>%3!(8s%`r;`F zLTO1<*B7PlU6-~e;D^NGYzQkZ2X}sFF`XQZsdSPhyoIZTh&Io94IklhI%&fidJp+; zvf(Xym^AIwmOE21B0PAP&^olbKZyAsZ?%!04}$jEQwNZT(`g06`c2E`mL5e6{*Hrm zVOo_wZ$GIvBWez%OPE^ShR{C#v2&_s(X=g{kWD_kkTDz8B-k>te1+;Rg0PxP&n~Nn zyNVCjQi-JP$y#Nb(&R-JeE&28!%lcpmcsEIr2==WJv!^vnxl0V`m3iagc;b8UT^kN z`}9t6+=3d|QCH8)A#{agTqtOimAK2mw z?(%z10;LF7f6Nq@-zx_i>!}j#tL`Y-F#1g7=_kuQvQyLy*C92G#1voAf+GzHG3?a3 zR^MNgRhg22{#Hd+Z#^OU~j%DUE5{z*7#X@6h%gZZN05#y1mF0_94k#zx5fZe?VameOW@X!{S1tr1f4${w{+?;y}eLA0` z#o78AZj;5!{Re4tzFnS^)k}*4i1UuBj(=zzjRde;dpw};nBG8bhg^0x1vu$+SA(se z8X@ziy8^wmUZ4Q-1hV%q?*lV%!Fb01Ojz7>B$cy72vC{Df4qj!_-oD<*Qu9Pmv~^gMW5 zbc4xEA1LH4A6#VBXE#FzrT6GvLHwJp0D#qrWrnBPPcf@-+`;gw4W}s4l092JHgXgQ z!1{WUI^UXZ*RxNlAP$PT2)oz^-m3M10x?N2JepH{KJ`vJ`BEXuLKH*q!D>_cV|Oa? zf`NBrwOO7P!!$8v@~c^z)#T!Sm9oe?lw0R}t@eF7&VA(d5_5e;>GU}E*HOcRuDK4{ zH4aTbR)vM@*LF|I-2k&RUiFvR*Xe~O+zL2(40^NyO&%D;-ACIJ0B%1SRFAoclgq$1vfvNV+ch*OC z?Axks^@XyYvLzZyA|t>@s(t;ft{9KJgki?O9Ee`}g4nxIzFmXmh4>^F`%B&%d%ju2 zW6sCa-u06!WPJ5Pa7`+fUN>mz02`gI5o4HomLjI5bNSG~Tbn~Ba3CaeS=EKuyi@um z*yfQbNi2YuHa+=dxB6WmBtWEq=Y0mhaN*>+|C?j$t7&WYg!n)Xz`EpadrB%USp67$ zHIW4eq}E>QX)D|`0FlAurHZC$kXp+%#r_g`Fh_b05+oNgDgz$9yPpZTU8 zqvN4T1WHg__G+UnZqLe9BWZYO%F|E7um?x!urbNfv0%G6cb#381;bNi>PtTWP~G_O zn#9benXmB9wX~xpKhI2CH75>tGVu4z&JGKFB!2$MT)NtHG*~_e?Siw<@PO}Ob^;X= ziC#LA$>L(MN)y`wE`l{Pp72i>0KU<)eygD2Y#%{qFs;1V?zRlMSxRiI+5hhBdaN0Xhm)=N*dX@o^{eSjCGA-;E#onN4 zryRZ0^y@(!XrK@1L*|yR7rg$N=(`uwJ9f}fwh5q^fhrn3n}3a7LT)AWpIw~!VQ+EuGQF5S?Z)_9=ZvgeBoC?Bif+f2 zaQ}S9Sn_ts^Y%{q1wXw;eRi4Kch7TiHMz{BJAL?krja$PqQlEzr36{6`z7pevf@-$ zSlhu3yu7?64SD+`Q%LC_tzQ~@t_C_MqZ@EtC8FH>nYY?2Lga1lZ`)>9381$Rmx1J% zHb$lL>R8z8$t4ZEGwAvpXXS9ZEqX=FH2|!qr^_0HX;{PV|Daywf}0A*#pRS-I|fF{ zpr>ke{!JjzF$WDf3zUgq6OLj*F-yD3;=*Kkzk6odLaBOMoXVQw&;6p1e+Pj|rQ|T( z)*b1yse`Pwq!#q6E(ZGEZ9gZ8vjzLwQfRO}(h)1RBvgzGOdn55XRM!VE zFrHw%A{ZNEn)7&;`o0n&qIgM>&+ZzRhOtHS+|zVDu`DSnT7Zv&O;yVJ&mvWUB8rZf zc}*_PfBQ)Y-G^V{!J%OT6gdnP-uq0Yp;Z>_h_=~xsp$D0GDwxBaT(vVZI=LW?vjRo zA1oE+P2O=bvYR7H0}#l`AV_O6`X=K(zCqBss;KoXx<5&~9G$TcLpdI;e_eRhffy0fqVb#*3h_k8p#6JUN01L2n@l3@quK7-e5@4VU} zkNRz!H(}|o|AtiVDAM80tB8#dS9@V8_y}*TQ@(iOP2HJPG;F(!m?{|?CKOeB$FOy8 zS>F#TI*qS*vT~!^$;*p7!gP?bNX|~Jjzixlll2U|{Y(goic9A+(2|);=-}0zfd`B) z$dR_P@tTI*4?|>pai4|CyE%t1kke!kP=_xV8A3(O)%qvq`r4b6u%NQk@y?hX{wo?= zAGrNX4z}=rWm-p~S+QRgSbtiz2o7pspVTDL_&vkbs~+J}X#yM@Xq>ke{aM@$MbF+3 zB2!t~S#}1o#L5%$Ywq#X7v(HSQAjASqeP=Z4Ob` zeK(K5Lr~k;SFuN+SJB5fCiGp%tfEq3(9g}^s21UI4s`d-R2+vDYlnBJ{Fw76zNy&3 z`6x9X={0xa0R_<6Kh6htm)pbW_i8KIv{vtZ0^Pq&ZbBygp?@%6*Jac?NGcKr0U!p1 zF)9?&BVli&dDgyyLq1=_O?dqhqXchN`?}t>?`bm+$ZZh{~?T z4lL?x%!AR&^2+d-nzt)7V6R5Jpuz+Qx61+edccq9*yT0;aqC+%rWoiP<8*bZ>dMvI zrgO#p0p4G-y41M%0^W$KqT)q5Ve62aW7r_f-aq0!(dcCBRfSW0Xvj!2ua3SZ{Q-2x znxUTHyO05$=jq(S8|v{#qon6wXTsxBs0 z(%r$27|fWKVI&OGtYOgqC|WQ}L4je=bd;E^49a`KUznq;P45mi!L4ct#xS4;NF|+S zwGJ!exuj5Ms9*Ebsv7t7x&2C4=SCg0LG3s^ zD>SO3Osahxi`p~FH_h#*v1=~iCRC0iXI|~#uCpQQD5f^`HI6J*Z{)3qcKX=Zmlimi z6@z0Z7$m$=jj$0u76Ce4h;`)uCmEyD%{Pcjq!&prS%+39L1<6@;cRlaowrzxJkq`D z3MAcmN@44+#)A4t000&R8k8~eAaY8F`laQ_hKu$gAplfL=~TOuw1M+Oek;^=q_}}; zY)FUb%S&He6wM6_q{axEE{Dm&Xv*g%>^djxGN~Tx-S|6fCv!I;$%oZfVhr?eFw1Jv zhw*wLuM`4tlKxpE#8-m?L!kdHpCxuvFHaiDHHwpC~ZY#JITdCtZ zKq@Lb{My;C6b+T$F>O%kZ@Zh-d{?HKVyI@7Pu>1CX#`K6T2AF&iti5UxXoC<b&$Ej`NmhUEt2l0Pm53 z7fd8=wfRgVP}@7jChIj^UTZNrhdbp>tR|gL3PC7BsIu9Egy##i-%w1^m&r@yX*C(P z8sJ6rQ@Q7M_x!W>_dj=cjS?XIm9o9p(bDLcG7@_WUqj9vMo<(snNecduk(H7=O@z& zJZrAy6wq{oscP^&BhO@6H9hu6L<7laFVE z)^dbpGINs2)Dh~Um6&@{gLnLwe-WS7v&tA{5Ov8d1{20I+NyjO%qu?{j~2seIZpjR z)&B&!i(!pb9))myXj5p$MA;>B zClqb!)7M`+H~J}hVdiG{qlr~4CGEP74xdxeOTAPdSW$`PtiO5Q4DIwS1AJoYo=5dBa#I0!3^(?lA9A z{%QOydt>n3+>hlo&?GO&gFIRWG-C}3QveQJQ{Gu1%U!s5Ulnxo@(-lDYrlLVMSg0n zZ|3SY*f)Uqt$7qWrSTgSM)X^?2!tt1PBnV`?7o=&Fm*~TB3M#({5-pO`V=^OEF3OhVQs@i zoG*VPJ#n54vLQ@e1=zp4P4zVFFx9*bTiAk62)YltNIZ#KLcGE6va9w-rwvWJRESp+ z6J{8nvf;aR7u~7j%0g=y^P1tal(`hZ!2hYxT?cJ0l8f?ukBb5h>?}`?A3o5p-Tk7% z_@gi7$HdnIujD)8w2>gr#7poh`o?ibAMBD>3?+gAd*0qSxh1Jcy4vuBt;6Q$n3JZ8l zUQO2#8`_U@#Nqq>;8v7_^z_SG(_XTZ2<-Jx63G;?u;u4I_Rx6FlZ>c=p#r7BXu6d7 z#w)sQr$iHx0;xhce|+)(Mu8f+dM0A#ws(vb<_>Pak)&0~EwO>%tl$n<_E-sBNsH+Y z_}A4n^q~8y1)=f@>w^dTf#!H?)$9RHzQHN27u_k0j4S0ceUCA`-JT3&j3fHv+Yk_+ zG8L!sF6uCa>Fk zr)o*doPIeJN|E`c4aT6?dc;Fw<6c>B#R^f> zL{Byk?qpbP%Bq12N7miv)n+%tt*ppL$uF%g-jL!Tr=v%BxXoRYG40gYSfbsxZM%c{ zw)J!MTovsR>oRNYEjt?QeH_~z9O#+ZWZ@~^;*W(YMUn9H+FTt^rVB2#{E^7ilHtvV z1U}Y_PlusTC_>Gg$Q6WF-NT6IW=Zi(wsVBfNbu7?YiAa*J0eU8tV>w*GpeZM>Oed5 z{sig|@klX{14^WD??Rq8yaNO%MX;%JuG9u|MAqAbt+{>!a`=7o{X9)qmrZ9K)VfL0 z@Q*LP0s%#J-L2jhxfaWh*zwcbAnxh{SykA`g!?14yLdY53#zh`LW?_cJ#dohDSf%+ zVU_)L_OR*jG!Wi(rF^KIL-6pykzn!t7N6epPQePDRyJlS53)4K{Lpp2nS&YNDcz78pQ{95zI&G`)- z8aE{t>Hn)g0{AN&613I3l>a)FFu+1}Y<@9q#h#$bfCnJr+WB@5!WN1PBuD>jn^IuY z(p1aR0|Ag{x?9;^1`pFveqpx+Z`%9Y25YyG?l(R%JO<%hj=mI9Luk?{x6JrUOSi{x zo98=kKBZvAb!f#gi4kFJMlw$~)m#m&c+sWO&h`0*0(-+w_BTfY~j2z`db3|6nG#?>CotCG~An0I(XS{ z2`5pVnhR~%TB5qvfYSFDrENUG90^w=R z7YmG1?*M(gpbZWH;F#Xqd~Q_=2_S-<lNX_ZZQVOM>LYRX3YC+|AwyGF?9tX^<1|bAT-3Qij>~ z<1S8|iLDjLZ;C~$x$ee2Y$7C9)N&K-Sn*+18vH{5BcZ%p-$mRT>_QZ^m@b=#T()TX z7P^-GFD)c0lY9KWs;Fzw-{*&BVcK(vzXDL&o)=oc-V$wh3^vWHpsg+@C)Y!j#`%`8 zQnt5Tw%ze<`E#er;&5umkFL-t%GfU|f zA@r#(bN=PJ71K$YfUxK1{t=ReMnyN}tS>;#r~$&ylv$|9vtC_)qhLk4E|W;B?QFzD z);;kZIl)kv)2vN|L;M{4Z=%!Bp&tFYIeozLLoLZBb@qMg!cHq6nu@*6AVt;lyt?|= z9f=UUzE%Sr>^_BDu@zt5PFn20QX8|8Kd8-=vUCZny^YYa246Aq7eG}AbVAEk>D)3T z;HA6!lXx)izzhudJoy&|E)-R!%ScCpkIr zwVrtll={%QOdGn=$VM!?sxbjSe^loN@$lTOxgj!mpotbc+fAR!W!weOrA=j{muAVu zxjfh+KT7Rqi;H#s>_gWUHEEU3P?M>qKkWhucgksMRcrz=Y*KYv1+zJ|eRE6Tlesp5 z5!t9Y43(DFHhYFk{13Wv-Ns31$~JRb;kq#LX2m}ooDutF)_1*cANub8vFwSDizkw; zobR=`vbuaH`NPHB&E4F?!TvEw6s@h`W%;;~t|S_g4Z%_Tgdvot(XG1?^(S`7bfI=R zOydu*5vm1z9Xh1I0lXKod!i!+*pY#c|1_Ede}!-Sn>c3N<&>Ds!^#Had7O4Oz$L8{ zE;<@``FU*;HH~aG#B5?KDdOc3gbENMYY%%v&t6D-@J|@STDkcXI$Sl&_u(TeVnVpj zJoe$uH!(pHtOvFJuEBsWB3y`xd3H)3b5`K8|>={nS8h`eoEp)|n4y zMYJzcaa?X2gFAQpY&F{}3C`@_gJBpj4UBsULb-iZl(2nQqZZ!(hi25>t>`zIFFsMP z)>ib&Xv%a{#<_4H)x2N54RfopESQTr^ghhP5}eNXAAp9306-)fDAuJJk#@PfoG%M< z5(f27(WW<~T}+z4K2&0J02t=(8*{_n23*GUDCeohTQ+e!6S{&=2hKD>TfTlN9oIK9 z4|J;PT=2Dt50To%(@`~k_awB+p7g`sC6C*!C5_+zn*I7Yr#Bvj*RTqVqulk`yCY=9=?us1U%biU zApn1biH_pMNF_ShsSZ6?5cr9;$GthA|C725c@X~)ja9&LJ7zI!`oo+NJeFxnZ5I2d z!*ftD;{0ObsFluQzp=vaZ85cVHx}lkdhEV6M*rF&AHjl%()VP+wTOKKW+hR}ff#=v zmIDl%jLts{A{~czjz4hB1em}~+fA?2&?2#c^_HbqpOBe63l2w1`A>Q#zBH&;B=k6O z;I{}4YQD0fvKsA0s}uJ-0Xn$5`gvWI;rSw^ui-}F<9Gik*b;2ki@YwuhkCCj`U^MD z+jIJcEDVQ|q2Ix`?@&A&EW+hDVcb8i^6AJ`s7J;CQ@?x<5m7 z{$J3O3ZqRKh?E2Zr-ppLOLy~ht@R2jB!9~%gTY?cA(uvGf(YH4*7ae7iZ&Q!)buwX zR`Mr(jzSuUvXHHbSb<>}sjdh)6sGdXZoWx^pdVw}k+kMK^@i$hh7J6aupgGRkWS=) z=ck-Uc{giuOR0QXN#!vt>I4-b>qAg~K_!HdM+Ya)3Ne^+znq*OjFrr+E%rNqgIVl^ zi#NCwmD@dDj>F#$%lTnYI;zQzC#N{a-hZS_{VQ5QHpMRQwlRpVQUAe)e|m~Yq*xqF zP$>DgLR2R>w}5_0K`MLT&mx3crgUWBxzbkN8Q`4QXwlWy5WK|40jjWFNxVPWef(Yi ztH~}Cf!}ST8+kOo;nedk!&u#E38x->@{#s3)nZzKrjkKX)l_5_&f)v;ur7)ujHQlb zOrexh?t*MLBnqiha<$~riL?Pr;Yg$OGa?>Q=zWcr+LhJs!**1Jq2ipuGvOo7Ig-jDb=Q}r_WAT+bWdUD)d=Sw#f)tM?)d&6T$?XX*!RMzp|>X;ll<_4`MQFkZb{@>XRtyos9kDZ`N?dhNaA z<0w!aJL4HYTu+CRK%K`6s6DP8v+iwW-pCh!n*@tm$lV-Xttg;P=09l{La$vMT(vE; zMpmb@vRJ-p{(PaUNu81YX>%izecj@~;W|&ha_<=TiFc^lbeKTDQKUyatlz3)*{1Le zHZU&WOZ=GUJ(BU76~!TD!_McmgOS%e;~N21(d?d7vm$>S-AoL8$0vr1xshvd1Ae)n zeDr4D*F?823)!>dMSG*nE3wP%iC`rZUN&x79g~h`v`@d&wyxf*66r*BBQE*1I8gj? z8}kGLzttD+EGKzy@{0Ycp5GET*Z|8S`Tt?^MO(JWt%PiQimj?ze6$9ub%T5Cx1NKr%$ z>|kw0uAP_$k-~XmNKv4{zZX*K8VSdc1ZTFEjVcvNw%Jv^&YRnZWJ@m~&l4odb{g>iXuUNJB<)Tp46%J@ zbQw_57d|`Tfx}FYU$CHkSCqGj;P@ zMi|GaN3r2}swO`Ivs+y=EX(;eMQP_pS_2a=iR>Wq!-;I4a)!EEErQc6>}JuX@kh>* z;A{c!jV+F|qDhzJdx@y(%Z|QPSk|8q49z!xx&Xz6|C!dJ2ew&r1krp7N=f0hwO3N| zO~kxTrcP;J&|5m}$$bK^D}SKb-+C~QVXD9LV36B{^Pn`5%~A12C)H_fq$2GroFAEg zJqJ~-x^*i96t7J9ubI;ta&Ol$)!0dA!>1(gQ4rGq6}q}?LjN;$rN_jo#AbxKt@8-N|y)N*`7T$MATYPufP?(S%ZlwCItvl+Ls-QZl4P-q+5s z5Uy&ujRrypaCvuay`uDkXQNx{KONUZOMJKX5<2vCT3FCz66{g6;!KHFL~Tn!0OSf$L)$1Nra(b@Q& z9}foL^SncUvZy@(;X^^*ME;&B@c& z9)Q^c_ZJh7#BIE%wNQL~*Yxv{YXN*N*8~|(n1WL(1G}FXu(;461zXpEK4%C(Z(uWc z2^&9fS=8p{lp0j;{bKqGvGlhQ7!5L9-neS7FP4tF23~26#1FT5Zfy`-uu(Rp>_`|UMC2wkL@4U8F3`oE& zgXb2ul4Kv|;OCB=`R{@e$Wy2UUlGIZ|Bh<}M!p>mu#9||;DNyWnpp8=kV1ichc4ao z>7BTto4KU9TTU`T6)!Homlh` ze=H0)FyyjlDLp-XW=ZLK*BnMZip^W+%O{H%rctP?1z*XRF6E9SET30C#Q}9mkvcg5*v3y%p9h%QzoJ#$8g~Rv+Q-~iAf#}HT)rCmoLBpB zXY>hqh@xjOx1`b>c!H~V1R0LNf&34zV@ZDsfOqEQj!pN&MDic8nSz4<8k+%p!9b*Q z=?Aw~gaLqbO<}yUmA2OgY=JcoW+-4YW4}P$lunZ6HL~^ z(6l|u3V0EG6y-@FMw4qaB{C&c z+-}6n{{9Ie1kav6Yb*@_z@^vp*>AY5pludC>fql57tF`B5)xqi?8z2mT*&~nRD6RN zN8{6^{h`I)S}3`-DjTzM&hqNb<&$uC5##?UxUl_S!G(Hb1ofZbg6n?)7rPZ;aFJzn zL&{;YN1wdUd$VT(qe%unFKN(V5eT1MeXZsSfdB1P@l@qJ z)T)Qu0n`a=uk*vvF8Yfrcw_{fcmg71UH@-j1H-Gy>KC#Fn0r<(I zL=-Z0^`*B0Xa=C-Hksk#xR7xnhfFj8l4#5#EWBZZgaPd05GKS{Wh!`GHg+TaCcJ|H z@@KupyN_$}2>CLMw=-=zGlgTV-!{Lp@kRh(Re4L__wHHLleW8AWBotFLF=kAMGXBA zI*%7~4D3yadUQMtsR1bbzdGQ>#4%qQ#B`RMuFmLOavu!qk9vN%lsqYM{}DOj&*@nl zmVB7HBnzK_TBMSj{rX*fc;;lIN6MPT0>>fFw;PY>YZMA2LB2SH&Z93%5lUY+mZMMk zE*d|2Ow(hLq#~;-jQ&xrd*mnXy>y`Ho<5&1>YZwu|I%K0ld{I$ZdS!$>$b&5@WQ~0 zLB2Oig@y*0;eY2mW`eRJSzPu17jWQik;jC2@dmmO5U9G*BY}YN3*<3L;GQZ2M&u}O zJ{d^QLutl}LaNZHDz-`iy>&}fyxR_uJ!#rJAE`SY=U1OxmsacNLNzist>NGHgd~5& zA@2Glz!ohKJ@6?;lS$iTcQ}=E>FJ3in1(Dy@;&vV7s2bf!EWjuu-(yNbtm=Iu;N{I1KoNV{Im%!`%8=4fUdANUr%uTd}d^_qJ+QY=3D~dkK5WT?pd5t^5y5@ zy1HyyHi}#==^Z1W&KrPKx-JzOP{W&PhKfEIs%ZREMwxvCyqjhOaz4GRyN#CQA8oI+fq2|gPj2_L-ceFGDBofz`WeL@n_*6l_{>z+GAnIcB$1tVZf;Zl&F}q^Ff_ni8wU0H|a&~+>*wsrBtdeUasqQ zhI>RQ$8wPsPi-V`Bdj!E3iF@0#Pk`&@;+!y>&gmj+!dJ2riNgfyAS^&i;AO znEM0VclS0Ci-p|G>FY2ZFt*WtGrqs>a}Qos&VS`d81>rOmTvJMo33r403>v# z=K$lFg;A$4t*zj0-@E~24Y_P7BI zjtb0hJxqzg4FPlQRy+k>3ytR-mXCccYtD7v=bCvB^>ItB`ZOTs6W-;N1D?ab7 z^i?Dnn9{wrjJ7cz1-7#dD!{~hC28?)}J}r-xy#8 z{u_U{#=?>Db-NgYPx8j6Y{FMi#f z3h_*3LLRQ{n!M`-?*~-D(u`D>K{{w23>3 zBcf%x{DFJm1;Wbp!zOBisOf>)@!)Xz*;BXob9a6NIijO!`LYTJt$t4A=F91~h}ZdZ z`#aj|QzXHon%Y712_vE|XVPyIHBKEJG$i15t*`O}Mm1UV^qN&wm4yN%Tbi#sFE!rg zTyrBU5<$ByAG{3(Usp}Muk-00QyXap8*4YaY&Gd#I}FLW&b8iQ1!_Y|>VIIqInp1l zL<+#YTI#jj+D^~^V|EfV^j3LvQ>8Q6lAu1RVx`r z3gS!TQn_&I1pazn-b=-yi&ty}Ws4!1m>&2BnGcG`po%qz6jIwWRz{LQY$G3rWb!72 z4+a`l$5pmk*>%=u?FZqJR6{bMT4bw_m~VvAGPIkDzHYopOAXpQ`WWchs|~4QJjtVA$FK23t1pwf5V^)+84-RW18|9n%oS16qJ7zp5CIAE~)@s?A z<)HyYvm9Ox+_6?|*$Oh=JxWbVWy+Ep(s+{LYLUU+nfuEX+8-*WlCOgfOtkL)zsjz{ ztE#QrZ$c$RQc=1~y1P5&Z~*BJr9ry86eJEEQqn2i(ub685b5qX$bomf<9lPgH}3t$ z``-Qo_84oexz{h|+;g@NkD}uNIN+6T9f%Tv7k>HYyrRse##ICDekDM>^w@*8K{yi# zfIaY$f5$}@2`UUe$6Wer)s@J>%oYDU**XOpaQpvnqqYX7ULKgz53M^ zV&3mp%wTcNVLwJWz$=Ag>8!I1IOH2oo?(%Qbty&;QhmHOXJ*_^GbH-q!)3Ez<=DoT z$eh;a%IylHpN^g0T!tAZIqt#5?yfseF24JYT&anIUp!x}=H+upW7VvDGZ;X8*81SD zHY0!wSifLhx^k>gXQK}F_!$q+L)jk1p6y>4hO9EahEDH+Hfsl-)w^Z;ls8QZP2fXx z&b94cvt;H#`l(g1Wx6zNz~g&CJOxV0Ryte|P6cD(U@JeDl6rUk@8}sa38clZ2j+WABGXyUeta+P>yecwI`-Tg! zA!BT_HUX}gEk0+LGxlPNJ_F{^Akr~4HCiO&t%j=+R6yKzeGHr2CjM*6$|*jih*{C- zbS|SSP$}HMpn3n4#K)kAU6_|0UH8xqQ~sD()Y~INH8u9#968aiqG6`pXV1{_{u^@eNn6qKGzHS zj#ubUW7cD*(E=bbJu?#&dOtFgz|j)LN)Ni%SJKBYM6I`*o0Yqg`a+oh_(j{)>|8Ja zaCAA!NbXF3E2(wtI$slwiKJ9i33jRNi|rA@ZWe4s#s=TMKd(8~gS8)}xuF7Si(C!D zMZ|C3W94&bE3s+wsceJp}?+x)Ki!^FD{glJ1 zf14|n)U0dhee0|>9p!B$gx&FBoCTSp=eB^ckWV5P4?_D`6@D|oh-$u;(Q=}R+wEv$ z%qjm(7?QNKeCI)3KJfj+6en^(UhJS}FX)XbPaAa*jSLA14(J0XW<3twa>iz@jl(h2 zOc=S!NL)wr{YZ$(OV{&RXxkI-lGq+vz#Csq2a~COhe$W5+dyO^@^Xp`S-j&@ZM!Ly zEpH4P4Pe;X_{EqTg0sJc47dL1rfP5k>Mp!D_<3t1+q|4b=5R$iGmQ6Ye3VjGaF~Tstw``fIMT4jUe3$w2-{@Q-mHx- z2tGk}T)0)3JepS`teaOwcxdK83>N?TUPJ^cD?bjAS#OoXS3dPzMCi_H^i);)*aWnW zv|h^O1tJ4M6vo|aU_{IJd#Tk+e*BN?N>D?wHv!l(-}4L6QhqJ_aLT31o)IoS;!b5R z^3fC=Y2b6A)~p)1B%7q1z_o6g#I6*UF6zIs_i4XD zw7T{Rl1;v=_=8M*qV5vaqIKO!JBd5{7EZhp5-w$JschuxU}91st8nsEX$UQhEN?gR zrCJE}1rrOBR0ty*>R?`o2YSEsw62yrSWxs z|7GoJXU+&koFP?MLB83I4Ql6hSjpk`l0kStz69(-&Uepes>}+ZQ8GRz%Czt(c zcZD4mK#%JE2>8N`7yqV_??`EDyxp<35No-5##m(S$coP3HwH;S66oXjE4f_Y3zdbo zFU^8!u;lwu;YZV>Q3~N4t&lpfYJEQ~@MUAZfU`RMlK!0e)xTt`yoD^snh^I}BYZhP zeA46@g1!t4dHJyWzEd1r4K~^R#$ZFmQQ5ZmdzUgeF=Jv-27;-0KD~By?i%ht?Kloq zPQj?J>(DMr@lI~?%NBxZ^FsACz6yJ6`Rgv;;sS3NagiA5%leiL{G6IBbb04jUmL74 z>|TXKgW?~hVIHfs&kjW*BNxa%!}&e+j^QtzE3QoSG@?%MHssOyOd4^;SlGtyvxuP) z*emG{6eJ+k1j?syltttA&5&{t_!y`ti!r|Th6phzi4&m@l%CN_0a?=%UYnZ7f&B9E(|0IPS_wd0t^ zdprR-_xh^8UwDxa{85&1fx#->=2xWGxT(*Nuqf?($R%o~VdR_FwKZxL9pil{ak=zd zyvOm`l`*&BIK^LGJL|Jv&960DKpB1MRN|Z=PvtY2S=1;)U;+Lm*Th9-QJMvNquAIa z_6H>93FV-;j>22{H8DG#dX*LD<{3iDN#zon+wEr^asw>O9_giC>;&|QFe0YNJ^H^( z)5vinorA_3KeMAgx#Okxb{#)>drtDZz62f(9mdc+3;Da`U5@&@{Wb?O=~*Yo$0%LoqYI~hGg#&uh=5pDt$Q_d#W!U>h#5(p<<{B zE{Z+h6(0s}ZunM?t-{iVPy2qU#@Zl?5<s-yqjvZv-| zrK|)Tu|S0-b~?pJubtjUWo7uRh>WM~UY!Vcec7R9K`e@Xk67s+#Is9&nPc6$nuOWr z7NT3x%W1`*!5M`MF2%f}Ao^I17pXR7w*^psVKqb9nc&g@&!P6~*XbhQp8IHlS1mbeT>oaM*jT`yamt3X030ImMs{xI(}F7 z>z$BD|3@k}Oa)IucP336Ts)9o>kl%#_-wHvjA2F8jkqC2gS{@d4w44nT4ZQ45jz~8 zah}fv_v+O%RKkJ`J9aB+g<_Hq_zll)R1I=H;}~R4XR$&BHdHd+sQgboi}}~9LfgL| zGDf={Nxh>zhX~R}37RfDJez4BQsw`RW2d!KTbm-K0cd~aLl1pur>3Ld{Y5HpE|$P< zZ(QTXIa{>_ORTVZIrc*(`^>kshCt?auskeR2cu3o>Vm!8-;qxr=LGcvvEDhtQXX;3 zz1fZw6H*MmBd12>5MCp@={Qro^LyD+(#pjR)784yBZ{VTtjLtQ^J5Gj^@td=Pg9^o zXfyB$e9BFk>vTdfIqCN0Rk9v>7KBaU#`V91olafEmnbrxZ5OG2H$iX2%<3O6+dW)e zwJcY>D7a)$Y{e#T(|#ZHx1s`G@ULyDo`{C@)qSTe%aoK*`R7r)v2U5QOI(>4eIltD zBWUm+%WV5C*LY;kKe*f#HXSSKWC8)%aH;Y+O`;wdOZ+?iXWPM8ma;QWRQ_2My#Rg9yP>Saw@nz!0tV zhG8qp6+W+VPBs+Ft%!C=BDLvz+q&!g3HemQ@8^%sQ|hwBFU*lGRi&jmFAaZxb_&^O z5}UNx!abA_77RcT0bi%S$F&QKFFvpE`COgMWmA(+R*7-Nhg`BAgF+5e)I*433M*$=c4n~iXa%-_3a(BIpE32O%0j42q z(@1D-URof{jurrTnyDZy0fxL#^$=a^=irboe&-l7a}(#WEukH*{WDO}$jL`p#d?XOxw?uBm|}}V$k9VoE*jF$Dw60vMC>2k|rzK+UR3X(K`K* zEHsOG@WV`|MvUmM$qtG|@sfc96%q@UqPbifYxHMqz8{6Fv%F-1orbs>ZDyFo1q=xZ z=*`dnuk%*raA_r`ok>6JIry7$O1m={xp~CVclEU;%kuj7#TM<5DrPR=2-d^xxoExb|d4T?`L_VI4$U9<{wBug&@O{GEk}M4>j-6h^u21vTY@2L0k z?0j1N0f%b3_SxJF7qt*cAv4wb%EdeBjSZnzPVF2L(U}ySlZYDy$*0}y2j5)ntkUsQ z+Z#*6)z0o~2_g(Cwl^n1mStSSh6!of@_h%@_m(jzOzWy-6ueNK^sl*Gh$x! z=_S^e5R)%ILaV~TEA^CiqiKoUjBaZdR)>!eoqssgLy*Pz#dVT)hK|R_irz5Yb(;V= z8e`3Jq(Ym=ZiZsH9CHNp7#fxi?4!%ZDb-*`Y)2F;$$CR{pfSr)n|@+sVx)EPO*36x z6*%W<^)ewprG!pM*$$G1L{^PsX3jxY+=Hcs%Sho{r0n|t3|md+u=4DoMGBtdS{m&i zT?O&mz10w&^6qom_%;pkhfa1xq_Q7i8dk2P*}eQ1d`i2ZslO`y_)XDboix97xb@Qb zG>K)tW8X8jN73b$*>`9C&U0t%S(ByCjT`Zc$nNuhtP>bM_#jUteo%;YioJqiD=$Lt>c0rKvfWMM%sNg8q^=a@0W-8CtPfCAz1K&sfh?b})xa>duF zl~auBQ@HznE>%|synZP26#vr%&Y)wB9-SzkgQOa)UWY$KDc&4EMqqoxg(fc~9PBm*x?o=u~`%Lw7>$-KJAaLnz zzCS4TjNQZqBsN7dG@GPz_{K2=q83u4e=obb-pQ+hb5iaj3Y-gc3*)o%aETpH>qX0NIBpr*S zif+xTr(G09xpE`0r61LqdGpp!jauV%1h4m#diQJTL`<7gXW&O+EF`!`)zI z@2N|ldCqrF_X15m(U8^sH2b6F{|){$Xi}wZc1XLv-F#ZS0|$pq#50oH?SWiw@_L!= z*4h<&j~1VdfO4f?m|D5JH4qfo-4Lp*D*1jAK?888BQ(^G5#3Y3FV4tn4}D1kK&F#5~u5+!WBPm6Pn6Bb!H5GqTh<;?Xp7aPFeFSbGr z@FRZb+Z%5rn@x^`mS8{XyinJ0y}?0-G{^R(jOlU!qqElQ-b~Ol;rC@WswA}vu$4wZ zqAbTk4e;LE{Z z&N#9L<^F}k;uJ24?`Zt1eLq^^MSLjeMXlhI%!$mhlR^?Dc$APuWgO*xjvsIDhAGZybS4p)|?o5Ii}C z^$aZlmE*MS19T`HyB9uldRrd#E&yfUY9P%p9Vas!0A- z9QY*;qS%0PNHNidovm>R z{A~`L=XiK|ci&&p&xc_HJzzeqM_Bl8mIKY;S@_1(m34!y6FyP;S z>1kv?=I4$5t%%B9!iu$)up)50oq$O5^Y}Zrtha@gZ)q<$6A_@h(3nW^w8zM2TFA`( zR-~oarN7(0K{{P?zWME;QA*>#F-m^$=aFh-3pD;}XW+4mhDylh5!fYu8{t8ZeJ$Zd zuQ>Hj76|#O10repJO00O+Lb8>eWuCBJE}QnChM)F#qVhy+Z)$yZG)QL(NydbKI?Ux z%petLut8^Jtr4xC6)>5m5-_YI$4Vots4IJTtZ;@%ULQKjcT+F^bIMsb5{CQ_Zi1i= zjx(t<-