From d1821ae509fca0679c7acfa34b58096d31d7bfc1 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sun, 13 Jul 2025 10:47:02 +0200 Subject: [PATCH] Fix translation for theorem --- config/config.tex | 3 +++ docs/docs.pdf | Bin 238286 -> 238686 bytes docs/parts/reference.tex | 1 + main/style/counters.tex | 33 +++++++++++++++++---------------- 4 files changed, 21 insertions(+), 16 deletions(-) diff --git a/config/config.tex b/config/config.tex index 0424988..e5ba08a 100644 --- a/config/config.tex +++ b/config/config.tex @@ -29,6 +29,9 @@ % Set the default language. \setLang{en} +% Set the default command for theorem translation +\newcommand{\theoremde}{Satz} + % ----- % % STYLE % diff --git a/docs/docs.pdf b/docs/docs.pdf index adfeee4adba5148a620c92ee3345b56da6fa816f..1305fc30babec88393998ccc5b6f1916eeeadfed 100644 GIT binary patch delta 49366 zcmXWBQ*@wR)3uv)Y}>Zov2EM7lMe3K>6jhcwv&!++jcrm{`Y(KK3PX~jap-@gE?!~ znjS*j9!0D(fB|JoG6ttk3Wq@k+R#o_H`u2s4<^}TJCd?nkYdDSHvt2A_*2~=^b928SPD5br+a>H>uAO$ConB^D$dNIWPnM+NtVo$;U}Tc%N7((G z@h1d!6kIBX8yynahKJkRZ|{Z-SQD!-GFU8wyx+lNa{{iWwg{2E~ zj$}V5oFu}gQN@y{Eh^_`diU)RZw$<^S*jbJTMl7mWI`x{-zk0ge{l>D_L*wJ(VyTP zl_^26bW=h|sMS~Xq4qlh0jVfZ_9XO8PIt4JZ`jh(q2)-p{jk)Sd*~b87T6|EX;eq} z9pK|20X%t;?yyWONhAnYJ@2^Vf5Z zCxg3-)Toc{o7x!gqJ#V@feHCxEzvjB-!~xVk{9q`6f{ziz&s&=uLq6|BU=`m?;=(N z;)+MBE19pI&=fx(gq>CQc&-(-lMniop zO-Ex7wIrpWj4(*8Yez9oGz60jz9sa-AW)Pz^g`ehdVNlU7@nHfCFYl-F=_5uIrkv9 zG%+lkpJ(u+-2LcLi@>>T%a^oa-)>6S?3o`Zicy+43Lhv9GBtrN0o)YHPb)Fv=Y)C# z@&H;mgkxzyg|to?n?{-hQ@o%cLK(Uu!JGVLI8dE9)FLwwT`V#tHm}~=@ipI|$yd`d zz}*W`yjHuXX${o~YF8V4hu{`0gaz9cCMqzQ7)RPDCxqJEMTmktuR?C0{3*bK_%aVC z0#SaPyaY@+hQ=wp^q?*fW8qZc`>T=j>Q8ImJ#e%Dj>wmmsubSy^X;rNvqh2vJ|xXa@u zi=f~-Qq;y)PPI`J&SNu;j%V0()U}S^z~mon4?A+|TX5vH!5)SIb)Zu{{I8` zx%5jTBcqMfiykrEHlBrmj}-T!m#VLHbMa`SB#5NQ{cctMnh+|M+pLWg_ZkVUQy>M% zU6DUpp0e0>4UNEI0;B=nAfKz|rO^5B zj|tVf_Xfh^y74@8m26w@$fgXKJzqW`yIH=|+m_2&r!WVJQg}};XZYjFNF$sey6H7s z_~o^ud}T@D#i!eji@CM-_}baPy;0t8snz0Fe$khYNeu|SNL>C9pN?Yc(Jz#RP=9Tn z2#YHZdx_FNLC*3-)mTzSlSp`;dt24=4IeS0tbX_9&pU#Z@E%@rbhTk87v4`m|0WTv zcj@dCgc>p$(v|w{qi8RU{5pMf62>OLg@%FuPwHn0-p-O^wQj|>+`Y)XDxy~$qU1>O zf%bw2^X6FFrrhW%{zUxwq3AWnd3KtLig&3$Evr>}u^;_VAPKUYY<;~~EK4z4iF zWm0;WA-Hnrh<9ToZfhlvlW};b^#b@sy;IG=enWs++0cTvfZpVwbwayXsCDv_nUbu` zSaFvs9V){7Lk-q~t)STZ2e{&W z7-k|iNOs<~Cfr&1oR_REHvBWyX}-kny)-5BEgwt=A|RU#mt@XY*Stu^6A;1EhrrA* z0iAU7l@hBRt$qag>odG`<$5y-=Orq!cY&HW5jfPvGAsKT*ux=H`rB=(O8nA)^Gno z@hK>1w-YcNY~kzw9qM~vIPZ5q*s(3EYBn?In!~Y)pQtif3tk&V^Q)QBo@YZ z(^p+5)Rld5VA-Uyu1sn)DJs2kkXtW;3X?B$hUMI`j7_+T^0-O{X>R52>lMa#)F&Q< zN`}R4LdM)LVQqB!6Plvqp=)=|@N^(+(~!F1SEsI@j&nR9Md~k|%9evQ*Q3wxD^-9x zeO(wbMjEGJ&;T(OLy-aA5xHIKuT8N6LW|)%Ds8@x+s|%F!$ghRv+cw<|5BqXOW275 z655>gujaZFA_P?^5G?1AP*baCwzY=(+dxOVxDs83XquxW>-jErOX z1NM%nFVCP4gd-yidAq#gIbBcO**JVXGz;m3Ri{)EN;~f;RxOAIvEOMriap&?+3`oA zE_+n>=D$Lc^98YO0nV8Vz2V6}f!lk!8dB14p1ab3Glu3ms`2|WF~tGg@Ac<=!E30Z z;3@}+LRsb-6Dg(sY9K3!KWYFjwx19a59fUs)K3|dw`JSR8*_(0;Se5DJgk$<0vrAe zk!z-@eqqn((p|}zzmr#eeJaC{#In-g#y2?PCE*y{-c36b6|QA!zu~6mwz<#Q#I{r) zxnLT=2!Ja05KhD7MHsx1#5xqE@x=|4bl&PYm`zXn?Q?6H;u`#U{|}QP5ak~gVkPV_ zI@n9kvY~K1+?Gtor_{gvfYWK~bh0gDm|#w~@%m-_ zV&ntXe4~emCvVD*OJ~>fOoKFN{kp?&Y;No+W<@gYS$*jc_fPKVmER#-^zKK*F*SZ| z+M_>f^It_H1bf>_OxUaM()b_GUu2{eQ+RfO@a&t3^DTQz&(VsjeZF**l-c`gM3MtQ zg3C+ayoB+E6z`T|f92V6zzq?8V`&c)+cNTLQ85A|(Oq)b;sHJi>RbZSRlwBGJAI-Hi$$KeJ) zEL70M#FCb;uSEK&FJ)0=dd^?qSI5H-XNVK z2Z=bNBehdP#Nt6wLr~z{Lv9jryKdtC`9u6SWZp$8PtqJ1TG9*=*8ewB09QJ?jvJil z{?D~aM6jbm^wFsHvO~;y@|`u>%MO)XO;YbdvQ5P)nEH`2#|T@FJA2{{MXS1uHtUFf z5%P24hwTqpOfJ>j7amT@To(4vt3fxa6%f8lovl$(#wwNYVS@KohcG+ujuTF;$ z9%}HCJvSR8@^z=P9fxyo{Bb_ z<-Xz}-@x%9RqX5VBi)pg$eM(+#DfURoAD{Q)sF(22DHTDu#+3vyHau-z6_*oBxI#F z%ypP(eDn~FCc><4_iAi^-g>M_I)an z#5h+T@h7=Vj38zSVCpw1%R_HB-*OJxpGZ4j zv%TU^CG*F5KSQ#dO!Nx92f@spSDgF9rp5gGs13EVGYoSOJ2I31OlQqLKb1Jf$C(nQ z*k(pXBoxfz;SsfsgVv21R*N$WyCg`&7-UFm-S53Y$*$ZJ0POY=iF45rwJY-w4h$n0 zSTqPFukxw>r{Zfs9G4imY5xeT?d%7q&NK5z6xe4zX0t_%V6&;ik2wG+>p5m3?DfhE zAAuPoCMmm1O=~BVR(PV$=jkpDpK1TXL_jC&vbFgwEoeB^M>nOa$P8y6O(B1+R?bXa7RK76WZXG3 z%VJUe<`|4Maay?#$}?Ky+fu|N3iI!KHrf!zmUpE<57mY3KtpVosx3^#y@f334 z-gD>9thgW}zPrN)OTAX00yT!qHHesbsv}sg(|@v&i*cZmm1;cgALli-(?{JxYiomP znsVJjP#taBDO!wi<3ythb_kBWDtlfWWkNmQ;v73FAJ?l?r~-je=aq+YAN+u*7>2vp zWvAZHJHaoDl?rHs6vc*a+8%;n2muOK&Sq(_#U=qDOZLM{W5~PxvJ!NHJ<-JHn)Iv7JnawDWc+X3Yi8 zh@W9?%_Mv)F#NUEnePZ7_hq&PxcebJ%%$SaYA7oitU)SP+PH0O2L<{|$8J+Iojwdw zkJIFX9GwLY%Y)TFJx zdJ|zX#anw7CBipLm{#8vT&Bw0K_`2NZ@1fS8_i>}Cv65J)Y=*XDR6grY7Fhtt=m+) z1?T$kb<)us$jrmP<@2O>FkX@3Ylfq_XjL=6vFX>P?s}eWn5n7K4NjUfgKx;Z5w^0E zQ4bRIh`*&=kK4D!_Mp6Qf7V$)LB`jf4QImcF;0Ag#8Jh#{GYBi>QUYPz}I`Jl+jB3 z$zonYjm}@?9@z#_(AHJ*fpj=ov-F?(`p{y4v9kOZ=>bPNhH)F5sKAaQ$>Sa^n5}p+ zwKi=HRMUpt0&)07c5EkMqQESwJzPA6CeW}3{&~&ym&AOH&i=r@Yi-xSE($l1trrK; zGR&pA`AA35z_+)}%i~I1<8m+`OD8&I$dt-W)E3i~DhFbjwAo-oFgd9lYfYLzCKxP__4>Y$flb23OSZgX$LS(o(PX zqibd7;wuz;ZPd4vJ4wA7`jgv(6f?jo>av)cb?PCy#XF81YX%FeSD!i0iJ=86m4`m6 z+RW$fO>;$NZ%cN<{e!!~0sRP*T66@#&+26P1K7{Sav&0#W`Jb9o4p{z4pHbc*(Xnz z!+H4e{tMN$bIR4o26I*O$b&8_nedB3vmsHO6oxq~iN_haj7MJxBF|h;@r0Rwuh&^b z+1w;UHdJ_ItIfnpa znmk#hPd(IAeFob5mvtSNx<(b0cNA$KULC^aO%#k>fNsNmK^3y)kPF!khozAXUFK9B z%wz<`wq+z*w+SPi$JL1QVfLW%oI~0;D^Mxilg^9RUy+XK!jO5%@K45sOO-rUZ{l2~ z@k%N@42$9^FEsKEes!L6VqyWDMpI`GkH?|tY{O0y%S2Yeq;FWcs>`l2lQLL3yp_%L zU+3WMOXSgvcs=IT8zENV<-{LKG)D_ZF$&a8@67j9HBIZkvbVFDYvmf3cwA0NEx-?? z$}$%)1JG*Y#Wq~NW0YCPxB`Uen0&of-k*)*6$vy>Lt!7Ei(a;l$70H6T|K4UUo&V# zSAM^;j}jH)is-l7Vrm87pxaKsxly4x9>QMn^OCq=2(*dnM4P5csxY;aCU&HubBVZh zO+~{i1a57^$!2S-B}sbM1N@}s@c>+2Z~LJ^gOR#GBpBR7#l0#*&9Jt$^i|@eJ^9Y1 zVP`8`U|2sJ@(7Mb1=>7^IUR3kPkZk1n=kY9M1Uxw?Tt_*HXa7;y!1DL5Q+K2>ulju zuii&uRr{y!Y5%zw`}yB1fe-H6zn4^J@ORYVrhGIDGi}i{IqAZDpv+q$g8&Oe)3q47 zVWxYKmpMgi9B9=Eoe?O1XtibC6JMVix;tWmr?wJQV5nn+;4h_8q?mVQ5sg9`l*bka z63xzH#EgDyeq4&I=;Ke#3haPQ<^Tn8b@1#tOjJgz@>)4)PT227xkqM##Rg?ahDxOL za;cE}3VMyTH*x}eOCHHzeZZm7J*#u%NCTeTuy-yK9rzVrxOcWl-Rf zsjs$KS(8q&1R*v*rAV3>h>41*uD}I-?iB;@vjnG+!mXm1Yp(T?D~&he2@mFHoUiVQ zIiWq1yow=VEg;07W6zeVr;`VC-(qO5kZbVj;m}-Azd<6RZ*1M_|@~FnWFM^2iq_cl+?{P zs+8U?4c!Da4LJo(I3OCXgq@iLuEWLct?j!tTPXAl$GWGQN847ROQ3Tr*r&vGQZv4& z9I%jPkpZI`Dr9w029y02qZ%VYSJQ{_mj=UW=8K6?(p)y0>PNS3K2e#_lDHrgYk;hy z8=t$~A1|x9*ggTwp(S~L1(jrKWOasT(9&6`tkV@p_i~zz5#Y~ePtxK}tSr$9pR9Sd z+FA`w<*P)I3u1<0y#r?)24*bemlh;Nnax~NN~CJ1iftS>-F?-p&U&By{44sW3%9<>XE|^r0KB;Qf5s}!;OmVX8=4z@Mc=b}<_XxbUVY{?41pFL8aJJ@2R7KcSJ z5{HvkPqSD%MogEqtM;I%FX)qeB;@9=RiN}XRTkx)vZVcd!Tgz0Q`GYkS|!A`v}{uC zX~HO80h3}I&KM&GM_@h=?GQ8{+sCnOVf9zE*ei~=9^hRl_Hxa=c)Z~SP)i{>U3OLtU7=ePorXVMtY&nZ zT?+GmkNMIl8b_7&nXa1-+TD)+MJVQ>5$C;#*5rxo;fCt`@G=1IT z{jau6ln9ZO?M~8{Y=-9u*8WHGknm~nkQTL#XgiY#4P__E{&$ocZ}opB>O&dx2MhE6 z<&%wkDwL3;lF$%9WP#P|HlwJVWrg@|Db6!ax#V^MEN(l zCc}c^A=P#$Rh0A{(h)SH&oa=-`HiH!`djb+fW|wYLr6kno5ED^kc*@N5y)8acOFF5 zzuX*l=?Ly$NR_PPnrZ!%KhTmOga7~ZrcomJ2Q-n#$O3=3Z6~PoMR*Se{&q7#F3JoJ zLJ3;VH&n1V>eYXj@s73t;74{oX&zU5PQ{dy%SbNbTVyqjz=BG^S}?qw&`htE*8;CV zwgf)Ey14c6d8gWYCK-(m6g(FrCBMX!=an(A@Ru&BVSWz{*_gXWR_kS(xwC+4{c|rL`IE`yGKpHKt7Oj0|Q&L8{kJR-D4{+eMyRS#lhMYDs4RIH2BloS~=})P@0k zTqYS^!kh*dRI7ur?;^6UFwtq_rOWJRWRcZFwFalwHOxlxcVVGMO3ch$CdU*8od+1K zhDFSYVMgQ>7M;WH6UY=$aTVf~Y?GZUb;zukLlgCf6G+*chiOE~F;?MRP$cAN!a>zM zq>aY2@`*DpOf?$!g`(ZqOD#y37!j*hNzC?{HCaru5uFM%w9_>AI33LZSbj z$RX40H)LuXHRu&CF?wOuqjjN!MnFGBS)*>OfYILmrb{#eARxHb^a_zR8qfwJ)mQe} zk>wz(Q;aUlFdTI*$$8C#wCT3__ZnErGcLhFQsJj>|5adMS1gPhAxPPX`^+&yKHxbl zS=k3&j~{!TLP`cH^=U(3vp&|6O0YOcGk}S7a!?ImsLj~u9RxxwljK3z-4&ctsv8q> zjs|x_=qf@3$(QizKk$~yq)1p^pu)LTaq;otGgkn^7(G{RLdE0YsJ=96IUY05Of`qc7 zlQt^-(>yK6UtJQ}%oXABj?QAKr+P&D;3v5jlb&_#{s|}U0?43q^K1JCqtZ0XVCO;G zFsE)>C)hF}NnFyv4?+011Hmm*#VvLY2IP;Z++u)T7oCuNrZq(%4f#26NyiPTY` zH-Tga3ZMKH`2#3n<(ZL97yrd52h&CzyY4p{wmUWYT`py6gDs7id(q!7i3 zVH(^A3v;Fg)i^i8ILp+VQqb!^z3m|EY(c^!S3FemA@T3Cl=pOoriGxr0{HY zsB-_A=!8k(`0wkevXAjBzWnfm#tE71sI~IdD5Q=KyH7|UC8=TuEjnGYcpyE6_`VyU z-{8~CAY6Rx^^=Der{8M!;5EV4AWmR<>#Tw3w{Z?AI?;^e!7Kcl#=BMHKRXv5e!Qu5 z7-65Y(z)07y@fH!l{YBs`qmFkv{%j?LZnhJ@WH<+UKe{fxUFO1S%tb6oNy`K=(8OTW-RtaH_6ePO~ku_$}C+R8upx2J7E*ov$Az z|Kt}Y8JQR<7uvr~x%~xwJbAuHa^=6?9A2(&KR)hq?rhlFYq}UGwx=%i8*tj0gQmaZ zIM=G%2zs+LUXI!*dhu&s%-`U9@sa|0XoC2TtCjK=H!Z$~D4Pa)ptrEp+h<;YZLH$S zEgJpA?(lhz1{hj8qchTpAaopI*H$TAX?y--)iDi~ag8=AouO`r=+1wU-iB7ivjo)? zYx+p56VP?luKJn{7_sT|9^j|2pfrxsLW$kvd3HiVXM}poV=|8!onsa<+o``gN7wfw z84#|62EK!)SiN#77LOxPTYjhk8j@yf9%7j5l0xRebBdhUpUb1e6$0p6{8AGKx}CQ< zH*oH$R;)Zy^DKpE}b`%p!QdZVM6!T5)Hill})`eeG7ze3nWKf+jztE znlc*4w9{})JXJQ}sxwmNvDqUjRJYs1*8x8L&}B>9=8a;jAPs++PoTVWNt%1qBYRL_ zgDvHyq_Dkd24V}4BcmaXR9?^|NX7r*3cleyO8M{u8pa0;XmOG zCQfQ4P69nfM&V?GWs);@uynIxC1z!1(!OF(X$&qB7L=F6dP)ml}fP_Vx z-=bi4^9*^l9-02Q{_b&59H;1)fw_W?^ zX6M9_iOsJaY$22^ zAgH;60%}It6MrihFt*g%_r)`Rzr*IWnt?b$L*KG|A0Z-pf^@9vWCnwb9~b>d7*^bxAbrw1K|qlMyQ?XX4`J_|z_da2LE?8o~ZD$tN0 zTkGd{ASVNWUtqgNM=xpDL^pkPN;(( zp&`-D%?Tu^uV%FOKB>VSR7Yg}dg$M?*-ijHzmUN9|9ZryJk^p`ZDy@D3Aao;2zi$S za>S&EI}IyB%mLxq+1ZK#a3F4wAp8vWtNwGg-aMe+fQripswnO4gR_g<4=vFskhe7* zFp}?hKfS4~K#;mIwK4y30Ag5=vGJR)!zFde4JV%A-SFZ|D-cj`Nn=}${mO-vQ*!VboFWm3G;Blt_5QzMubxA!V2es5|F z(*4j4(93Rf-11#?7hcOZx{gA8>)8^|`N?GZ3}6O)zbe6MnD>x9E?Umsd+`F zK^_5l_dtNCnss)3d1~+5=BWQTUKAOsyX6~bjcuu6ZOIX$CZ`FHWNm<(n z3b6TI)6z>w2ZA|j^%aNcqLb=K9EYemD)UwRLxl09m!w!Y^|wZ^LQGOPmeKXT$#p0^ z4lDQ_h%YyBs};oKhixRNT@|q;^B@EW%?y&!)oIX&Z9x|w2KJgm?gjfO_VftG-|Y1k#synL_i+su z)FLLR|3V-U_}|LNP-bI?rOjXXc}JMXAIAUT;e*xF&Gj{yz~uG~37Tg7*b|71U*7QI zSpyLUw1muB03j*EoexkF`-X2YkzX&8G`%f{To_1$7~t)7f{*e0_<&?MH}97u!r1m% zE3U{fxVLlAW#DqJ&-m0`+~Sd7^>G+G5vzmlh~V%;CD(NC2m*HfnED8R1KdK~n_mI(^=;pvB#}NJ^`gj*GlIk++ZRaC)-lgFhs1K* zLTSCCpC>F84zv&aDiC_;UyCKuXCOKmE|gq;P<33} zmwK6Oc~ju1B^?)C1GrLK*Xt#OhZfkqG1qorX!iQ)iy~rHOLMRn(lk|9+Ye?AVPWJ( z{lgvGVg2BjxepwAeV8<@oICs}3Mg5L$wRvb2{VeG5>{oEiPN8GX!OqiJlLTylFx{n zD(IW^n{6FTR<$fefO5F6bi_@1I@$SoAwd_Do&8;tsbH`l065(9)rKk^IAZ%jS6sS5 z6R+L1Wa(S=&)jr2ihJ~sU;drpFvpfSx+1S`p1B&{bn$U7j<^uyyuDh~Sz9$OD7I=f zX+9p=A|XmxZP8;&{LF?gNeN6B>l%cbm7EY##7>` zdT^l}ZV42xM09*rVTJZiyI7`sGzFE*>v;OD9IpMyytCD^60$HhsQc0ZLZE^0Ld~YN z=is$Wq23+)FKfpNGCMH}>N1&=d2_3?x&fncQ0q;ZE8wGZhC;)F-C8q*mHEHVjwtEx zOX?i@8hnr?r@tP2xDp|j5>i8WLq%2j!fKW)JE!Jq#gPan&F@v%-9jJ6yQAI*PzSUh>9T?2Zfb6YtTrB&2Y-KOmw;A>}njk9zFPDsNRmdRK05e8=lh3 z`c{D?-%U$_TmA`VZE_O$?03zjxW?zM1n@{pumf|c_8e1kE{H>y;3Xsb) zQv)E7QCb(w-9};){8iXuW%7GBZf#)hcQlr`+%|gi-st)CLCsojTDFR4`=_wjOI1z} z{O*acrb@88tkmlcL;^3KUCpCv!avcr&4S@OgE2ItY~U-X+DH%=-$ZoFyDtX8fa_atu3E`rGQ z`S~T3s&4V4a*shwM<7H)Ziir5d+)#D{1rKj9e&>wVb%5>aJeYKVOxoGoiR-LGe$Y! zzw15YtS2ftwcxxwx$KU2jM4PcF^M!}Pyv7}D{i6sNs>_EOs;2}dixd)Jez#&k>JTn zmT!fB-^E6K42gvy1%sfbMw|Ndl4UJ+r04UVK80KkOUD^xU)$kNBnu@MlYC`23^{ArGm!5k8f9Ara0}f{d6&+XO;>odm|NKdLEyGE~h`ng+3%>%f=) zcTGVCMWoTxE!|!}yOSI9aY-(Af|RpaYHHH4dxLnh=V0>ywDQl!KZU(65SB>!&r!N2 zZ{ZQv2E#EL!=z2yj7|4rmVr#B6qN=1L>NhT3^>r?Beg5B3Wg^^bk^dsTnEEG{@cO3 z&4_&KNgnHEf?DO+(wvrtGecrOZ# z_lN6KEJ8HZr&-TI=Rf4*D{zy_#6R+A?y!3-99UkmGwyD+P(W|Lj`sRE?8!M95w z`umulqo#j8f@8<^KVxQ6X*ogoW5G1Ww(dK@2(#=(=QP(rWsd$5A@ZBZckKM7gMp(Z zNTs)0Jz3brzL{i2ME-T3sFAc<#njn&wPC$j#Pa|?<~E4KPLaIo5i)Tb=j}93?m8$~ zV_>-fr~V2Li07BS@s&bBB?5tpMPf05GQqG%&vWUna)alWbEJ7YtV{f%^~eCM(xbbY z1j|rHhRo8Cj^D40+26;_#a+*ncv@fi%SE5-_*tUAsY}M4<3~~vC|o6SHb;-dB~p5< zBlD~Hcu6*FZ`+)_nLhC_xBeHhL~wvKnNCi(p?&6eLLvG=cr%of^cyomjG& zV9_mNlipOqbVF3Qt1nY8p;y(cj_<}3>q`yV&+91$a*)5ayQoRoIq(-2A_qxNdtb`G z@^R&5uU_Z*5C1Z-Iz{lzommHR4^s3|p4IS-A$(uzTUFsCbtAFtb0~fOI?gUn=Ky8G zs^6^0Y=1A}O87^eV-3h(Q#<4e^FZO4u4#PhUY>iIm-xe#_BoN{9yOp8<;l1+e()0z zR35L|q8Z<`I?~=OrEoh1 zA6i@3=&d=QG^l&gc=gCA@UFe|8Gkk|d>YYpb#O-v%0vN#+JU~XMg?QnJ1G+4xuwG? z<(^7)Jxb^;-h4Ea{QCokz}-pNVthx^1MaE?R;=XHfsY1cPmJ>4*yh>-pf=tV8&vD$ zckL_W7sNgWOsCKgMP4{dVXnsFMOR?Wb3c~2ot+0ro^Oi+QXK!iHgzI!y=^o;xjmRF zb-kEe|`J@$@bco#Y9x?>=2aN3gvoF2ZC!^*MO{w{~k< zkggG(>Z#_1KO^HBab1ALtb?XoDT@a109m-->H&ixoJ_?M=c&rSXclNjKU&8_(_gY; zVEOnW>z=sG66908iz+43{w3bl86IacHW!U@>ec36Ljm(ik%jAAdvb)X=?r(B^#*M$ z1dh|H+xijE*{o1rNXv@z#JnvUwf?su1V)Ok2*a5;!~@Gm@pt%wIoq=O5MBN*QeGRo zn) zSV@-j5ettF|Mf98KTE9T=NvEc_m@9tAztvRVbpnjwaJ(3BuBHcS8PmC2itc|YM33X zV^$hOqw}QO6@B$Yi-pzOjcLGrUtZ-z!tRcbKNdD+NY}p)4z|ZzwjNf(avLdCkQSNK82c}?LDspvOZ7-EA`AL+XpfY!7 zPD8Rnbcd@ejsKMtE>c7ht=afw=1U0FTLbb$&I_p*>N>n^?kN{cis2sr5`B-#mA@6T z>=$?kdJwwF*3O8Mx4aKW&Y#bpWcywh<>Ff}f^st=?$3F-{9ZR@TLwRoBYY zhU+mY60kWl4EmyWStud@Z*w|k>I+SeqU{a_kBg)@>ahwVL~Vp z^Z$16mH%#BL{rShA)q(WYVH@zB)?eSz$cfg5oR!&jF!doKG{_tGTIPAzXAl>99P_n zbx{i!3rUPcDoBhSzK{AIlFq`lKkfQ|5+3cJV^#8wM7L4RL32A-r(h$HgHk-(c|aK3 zc0YKd`_oyBjXso-huqF*|LXAFjJ$XV?O^37qd|ZA}1ceO0avvxGZ)!(Q_KRF+^s`3q(1r+tD|F z^eUA#qrC@SXn)a&W#;I6NLgL7Z5MQ~$>~`G_jn8)sSEgW`S^RD(*Sv1J3}jRU3Vh6 zWTF95fMqf_#u|@t%gC#)ar~*qWC&My5#_>48qpGW$LCl;Fmq;BA+_ESEX_EaX#UOB z*-Qy;8OoRd7}Qeh8h)0V7y4_SJ5k_V5ByfNE8X#&3r&hGB!lYGrh{YiXV2rmOOJ2* zz>y_LITiTQ(_X<3P{3W51%V-sySi7OHAS{as?k!LT7Sz|$|Ltx#>8K2JDpq!E$0AN z$era0X9Ci1P>Ek}tVAx?oOji5;b?3k3o5Uwgh}_!Pb5NacW5JRm`R2T<}v@)bYRfy z2U?mY)mdbMV*{#~QbVU`CS>v9CFwm2m;RmJZ4iH&O1!65Cm@DNX;D%6FuYTw!La%a zJy)Wp3Uk9~wwMLB!=k0=Fy>{M$??P$dF(i@D-vlvK34)Q__vvYuot8wIPb+dsKGqQ z5ZC^EG1d9WAYC&`)yuot9yUjwW$#!^#rKgfR2HTMThl)?Qpd9K-+_+&7#}v{`A$(X zgM5F*W^tp22aqk6PPwwME_3hnq0FLC%_9j|6H%jesJF$?o3t9`YuQ1 z_`SzsRGn(l`9*T$B2#U9I!nbvWYF>R>ToGN=`{yNW;Sao@ElL8@v`J#Qoi&L@1l%9 zS1pB2+C%bD^s~e0vVZFImKNAoJxa?07bCs)TT% zT~x~o0aQR+{<+;| zC(*-8^|}y8D=TQ8+Z=t0s*|}fl5d&<)g-xt%r%dqd(2$)aMe(-JJXMU^7`K-WPz|8 zJUJoh+0o|@rD4~hJT=8wzMSCgQw!xH(nJ2?3#ffg;EXAzbR)haP{uAbIPjG;WI%Hv zJm8BzV;i-sS|^t_x02zNj@oW2H{++|NiF!$pa@cVl@MGsto-0yEb^r2o*g!!8gI35 zrQFdm!>A4M8sCHCdqdJOv>WT>&W%WO(vF6zJvUwJPzU#5aCFaYRm{Qn|GVtjze$zS z0d%3p0G&qSVR_2Xo$ykqP^S5Wb;;eP!{)0mb_N>EFKZU2dVNkEt5-P6u4zg_ED6-; zm6Edci+XXtCJvsAR0?e(_8?;{;UisvQOR1Y`$w7?dyjNJnIZFgLk7GLU;EJ>6)G=T z`(3Lz&+Z4SC17IlOUsy;+oNHF&0zKqFm!j+)h}Q~_>xjYv_5$y0Ux&dEIvfSvpuPD zXy7N2JNAQVj79hN%3*iLt2Lp=9EeVn@sk#N$y)1gl(VcjeZs+Pr|@Gl@-pvj-j)-Y z<9zT{e-BZP&R~;gqQchCUtoMJ9tv)Fd&u*x!YDP))|bQ*ZbXkZKFYx=H__?Ofaod< z=~U;3t+Oi~jV(T%Yp`ji-m#S;a)z6H(e$b=!J{)CudCsOOb3~YWe7Rvo8z6zx3 zv@$KNa2AFZ_o|R%ZWYq*Y^G%in}?h(ug`<0vR92w-qv3kNJ(b{Tim}q4JM|{G0>Pj zW9*s1YHM@a#hTsyGfqyje=CIQeaoU&FVHE)#}B!PDJq%MXuO)To%OlKt;w zQ}j)gCds>6oyEYi-nrh+r^zksI%Nx1;r_qnfT{srwF-3luyJ>U!RgV-E!7+}w0cwI z4NSTpSj< zX3o3g(5&6o&h@}BMRL@poDcP|4l~Ju%snu*B%|4!?5RH|DJhbugY3UR~SI=5o;v z4aJ+m;|7n-6rerSbCi+UpMIvT*@n_#>)0>5S?&g}w^!?$6=mA(V`-lVSobrhTMfuJ z#D@m*eGq0SlOm{P0>yWf1EG z!v&X&#Qx_p!@UNIyLY!dIZs6a7eJMP|5!j7A~+=x+C~B@ohxUt}1UCt5x56C9xRA?riFw zxCwC;!LA}o)skeB5Dj=~WG1YY4Q@x1sadxZ&9E6K4}f-mfcj=kPJ+r}iXEBUU-lM7 zS}3lJY#{xGO6oV6HoUJtx2zm*Zf$y{=DeUKo8-9EK^xo1BY|7YBj`4U_>#0}NR7R@ zP`0_gPfr)X{d(|fNE8(}OAJ+2q4M!LI+R(ULlJIW zDbVLBH3rpmGmU-VJ{Mc3Ts3;%7_&*{1@%leWYwXBCpd_!en#2;y`OqGkc!XXB$Puv zRiw0i?>-mJoUM&!RG>C~T9@#Xzp~6IXhi2eY*3810 zIykljxV5HzV-AK!-?VkWVjyP~h3CnwTSZ>*XCb#w)!5|${fKW~c&fd&9Y}{q4t&uS-#Kpj#lVLO$&?7T zMC~-ZcvcIV$WK2#GzqZBDuJ`-Q?sl*^_x|Hd29sF#6r!3aU_a`>&}d#dq1j!v`SlC z*w1d%r1sUmasC(`MD@&*4hg0X2NiZQWG4dzqd2moY3LaNIoUBCn$P+3G~HPU(_Gdg zIsD||F;P^wN>7@yZB;_gCEU@jZ;Id#d|A#0ZMlH4n&eXpTM^u-@@)Q?_MvkIF`Sow z$4a6*pc^Krcr?-tt#OL;XD-*Hr?xd%@LS;uVeX<&Fr%LlZ4Tf4T+5}IbE{j?8A-4` zU%3!XwtXj6n%WL1$yC;(jcYR{pD(k(qe5xy?C?NppTr%ng|muSB@f|+<+{sUy09$r ztg-SxKbd=MExO;@; zJ2ehPY`@$qx7 zzCEWCZx5oiGviNv4;@Hq6+IMCbI#ynk9|xS=rgKiL7UY=$0mBOD2M#mfF)V-a?WoC zH632&E*|@k&?9`oQZ~61=x12Wp^Qe#2{LYk!KlBm@-t77=YxSgBr}>Qp0U*6#{M3G zB7Z1woNQ+%dxacVhuWpPDv4Qt0wC`CS$@-R|My?(cRckw-0NG@R5JcXO&C!5{6_UC$9B`g>M1=B)jQdH6i zw-7#9La-ej{VS(}UZo>{O$&=5M%MJp5scc*Zl>t_&$tS&Xfw6iBBd#G{bh{Kpuybl z-iv6fHE$a*u2yHMOdnVg;3<5ya-6);NuZa+Ko~t2i1o5?e<7C7;m=<~2h=cx*rk1jR01ZIR;o$wl5(aBz5PAG(o4QU*S$C_kK|BxwcRfff;8%Xodv z`C5D}(55MTZ6p7GiasxFe6h%XK1SB^=S&E7^@BOBZ5F-ctk?7Rp`Wv`iCFb#vAMx| zb#v=UKLe_}1vJp3EjNaYk(vu;6RvfR&z>B&wLRf4zNl$>~4)sz}xF+58rt*>k;HK=^l z(C`^+&Kq{!{n1bsB1BaaFZv#k!$f>M)!5fh7Ia-EIjAEmJ{Cta?Z5b;Ji=8SiMfDd zwh0JlV=h{MqX~nvtDg5;&+Ckhz1`O*ALw}h*xUTw`lpc;;pyEMPZ}aaxWzQvlXf%@ z(pU`xaeU2MWDD^C0TfC228SA$Y^Hf;YSA_Spoqf81co)Y_T22Ac>yOF77^evb{Zv2 zp!wyj9LYlDx1;Y?7@Br^h_vx-KS}0uH=E){Jh+p8Mj~J)r^H}vwX#^cGDMO-;o~qV|i#PWmC|dNTql_&_j}brF zmSE=3D+U>6%AY$N^7_*he@a!Dls}!1=CQMNc6p+wu+v+UI*KaQUyVh6euH5y>2NVz z*q2>@fgXeWUK6IzH^Ymh59L#4joFbES+R1lftu3t>AN7jTWN~rkW4Kx153vDxam|N z=!~xz6vJy``Be`co!9vHuSsHl%s_v}eC-KdR=HEbPA6ZmB*c@Paxv0rw`g8I9gQ>q zdhKNYFy^&k4tVb$psV8ja?Q?CN;{s5OnWeY&uV!w0?_v|Y@?qhSOhegDgsqJX4M=i z{GpRro6xMk3HD>ORI`F)dl;W|2kXqn+#kyFL%KvX@it0l?#C%)hIe>m9lz& zzL}Xi>l{A2LB8Y!Jh!5V@7E9t{hU8qp^CDei7a#$-g6c@-VhUI!HK2jU(}8B;%mW# zi_mpaqZ5-WFBvB@hP3)dl+I%+4s(bYMcN_U_A;-@E;OoqCOe^eoS8H*QN-<+<1C$? z37A3k)+VG6Vt;)+SFakMgzLdbA{T;x1~X~RT0>?3sxyEI>VsYwvH*i9CXT#u#V3Av z-c!d{=R?gxCYYCw;zpc*>^bkN z_t0cRyS5{ZUA&rROQ18C*{97)$_~RPWG;jXmpNubnllHlgtsTR1QZ%BbEzd-xib`h z5I{;o$rL?BDb4+Yq388jHl6JbtuDB6IGs4|yH85qEIXIr{Hdre@E!U4RAv>Y63tL~ z?m5ZZBI(O=CTs;|9HXDfnyBo5?GF?OAGxmjH<8|0Q28hgQJ z8!x(^gVjQQ#lMFFebi5Xt&#{#lvY=*kGJJw33gqXcWc))^PiW{9QJ&!1T86fowR-F z*>qG}^NdIKq#1zMcH*h@+hBLY=7XEnBcisbxo--CvaZD~0-j`guO{>)sd$Uj;dQz> zUDs@|;=FDXOU=y;U;Ac$N)kClRV{!HgM}Oeokm_T_fZ`X9ksWA0G?!0x_@L1dHJnf z(p~46i$I9*@p4_kOW&0kywsX7JNQL`my?ZF)To&|<5Vw6&c>*}S2hHM6p2D#rm7x& z7S2j=%%Z*M=ddU6uWSLhQqpY(dcucC&8CY45oEJ&DSeSU}igJGN3OsxhG&q(ZP27R*eqL z;?wGf&*;>|^yCtzqN-uSN*(P@jh@Zhs?`jVQJayA=O;{(X?Luo_Uji~xth++8>{Z3 zXL$G=NIB@~wN^`^JXWSHPGnXLLDH+sQRneMFAucv7KH16a}}SYR6>}6QEO;4YyN?m zmGMS+G6E(WP)0}Gu9<3ivBco6s~2+DB~Q^_JE4Uv1rIb_2mUc@?8o5-aTu8g1Ly&R znzC{!8=|DFD1~T2)#|ZV-)fsnUsYyx)}l(4Xda06ne7?tt4;u`?W20#H9ZmWIKFR( z3IVhGCtqrR7-Ak1nzQw)$SqqdfAHYz=8@L{1++fFg=`~ zKYnQgy(^igEhH3b#IZwD6D#<<7m?UqmxuLLAR5Npuifr!m>McrI@sgOUR>T89r=T2 zSS=39H)ig&v@NJ|n`k0TjGnD8vNy*gLtiu~-(r!Pz&T=`ijc*gze!B&_?X|W^0Jg~ z>|P6hb7-2lO^j$o53hICHTgK%-F>kRmNdjJnfQy#-LycBOq+HLgL?;mrJTgYqI&a= z6VS1`+Ulpow}K>-BN#h^$ZRdGPnR_VH}*HqwLZedey1^JWYyrl88UA=W}@8DnP6nC zIi872`_2I}YU?X8%8PMxMd;`*?0|Q|xwCqIy!I6ngPN+^lCd-}x(Pb1{7xvowi9JD z56_e37wfmvgbjLqQG{ef!vfCcKVfg>v&?m%Hg-oJe|iLbn*T`(u~|%6B!D%F`eeK`>s!#yjNp?O9bUarfruqs1G4 zmUhAKMaISsRR*{wvi9a`bocSuT`I(|jNH+=H|_g$?nZuM#q>x0Na;tf97a>k)mbl= zQ^OY*iqD}@!$Wpj6a(=OD|w$!t}}&jEh;prK8MH%t=yjAX){G-?n1u|FL_K{D*U%%Wo2RdD zFQUdTV3Q?weH&LIk^M@p7w!F>Uemhn!1{E`7U%vL5`9(z*PM8deKH#xjZ}6#dmG~& zEGQF;=Z$R$v)-51Gqd^NknBAl4}YNd0A5M`82iafheTGv#r#7wx6??FlSkiwvHBvAtl_MU<#z+QZM1%H^)ls3Jew*8$cH~^t_H)PYJV)7 zv=;lmGWF568;0jV`(`gNq3eaj(iQKb)m4;ta;PeBM*9=-nb2n!_4#$kbkZAlvs>nq z$x6|M0ls`T?uYx6WwL6d*DZm6wo?J$+f#a36h$bNx>JPLcOo~s)tmh^+3yTevy!NL za=Vr6{ijs<%(mKN6LvCOtT-i5`EJ*s)@Idjn$5}NFdme^(NnqO3+YtKNVhypz}& zjBe~FfMLLylwgC|;=~_y_kz|Em&9*BtThJI`B6U&Kc|O4cx=)!%^r#`LQyqJ7Y(~U z5>ZM!!e?-~Gu0;&(C6`3e&S_zBX5Zs z$#f|$>?&?#_9_<(A{_1pUm+Dm-}m!Eu~S%2+f*QB3n{t=NtOxGeo9e< zr_c-QZ1*L$PMb#=qVD*wDWiT-o!iJmjYjHH%PAN3yA>=}!Otw?nRYDc^`uhK#t%&uh4opWuTcaHw}jEXGV$WnNt%D}1V{@S%y9f#>_kkrKE#WsTKP8vd+ zDPQ+{+>~B_`GgnYVRt?BTy|@|OhIpgf`gtSjWF%_3L8zOxA>lJNhH=1p@dl*Hl=s= z5u#(_)i#Ti*>J-ws$g%SY$IgLhhx4E*D)yDOsP(tYP*gZUEzG)pcp_@Zgh$A#adXE zV-h7oz=iRnaeL8s@85`Loj)ccxmW(FBcWM0ef@raB7H_Fr;AktJ$bZIT?t`)x#?1- z-%Y!^O_js-&c++#;XD#etC(_1U=xzw?6#NxLylNB&W~?vSUHD?NHo+sIVDL)*91=| zsQQl8w){@Der@7n3_6`4)*C+I*5Z>W*bdyK$+l_GwZ{3yjx(N%MYJF;Tp31?yG%M5hkTfuks^k>Hzg!FIKxJHSh^~5-;hB>>0@J8>HdTeDK-bPA%W^IlkD>r+L zYO%GO)%VYe{QSe{K7u63MlewN{Ich%FqKz-4G>&mZeFql*ZHMl@=d=&RN3NcL@OoX zRj=4iUc-BXPmhT6ra3h?mcs8&Wo%PO)!LG*9@5Jv;$yrz3RblxF}ap}$D`a(w%dV{ z9nNSG{n-7>67#Aq3HYx1ZH*MNj&P~(e4l4ucEsgZw;Pl5ZTtX3&zG>Lj>jrI_l2W> z-@On+BBaK4uidSpq6o`1e=rnAYI*17gYVF%Ef5}5Mr|fL#NfK4-*hBUUX{5SS#&Xt z8Yf6nP`)&&{%-k0h6X2SSX|R%1A`oywS+g#3!b0Vg-$S7`n>DW08dJj6$||;QMC!T))(w z>j3~!D zi@OF_@Jm_z_^Mwzc`!|q7LhZqDC!>kxQebV%;b5IhSzAAQRt2X!y}m6*g`j+id-IV z&|k@R?xJsKi0x#jvZxc%#U`W&Bw;HF_U=fA*62wsG8n zOcG$4f3gA-iz?_tdLXo5Hw0&YsVcis4;B5KWZH-A3 z-Y}Vb)1qLAR8ve)tkPnYZ7rfBt+#5H%MhZEn78q*-Y+d}>AfRCKGeOm)Pi68gOlw; zt7JPedj;m&k-`qD5qZE|mziQ5TNCC?TKH~8jadBiEvWr~s(Me6ZS{2PeI@)B(WPhcDz93jL9DC^hP5-eUW`<6&REB*&K7Pqtjfal zPoEaW)PvrZlp>8udqKy8YDtxi63wQNB$+g86=5b<3#x*eZ!wSxZ5KXXAwtVzyKeS<4oW&{TBWu^lwLA(h z=!_obtw3~K@q6Uv?yl{$CcJE9{A{bR)v=*j9A+iK%`m1hCHrK0)jFZ}Nq{oKFE`a* zZvR+b^YLW{XP^g2G~93A7bN6P`I2IropAw~NO2h4QlwQAF#K?TI!&;lnZ((Syh(Qq z?N^gy6gGfpv}t$?{ly{~*jL{yC5!p0Yx10>#vSKD2wx-rXek{U=NzVBD$(}6R+BBy$k@XB=d&5@V`HKLpAgUsaiQSZh_YbW9OV3cNho1e?hf?048hJ#V_KVE2c zfhE3-j2y<>?{ArwGcmW)6_bQorh42)GS>|`Io^u@cyKL$*j+~ZQaxa0M3gdLdZt*a zKP2zUZ<^R9My^vVSGq^IL+Zk7`5=Qh4|i*Ee03NbkJDew+2~uTtwV)2RisD}7E_R= zybYtyYm-cwn+)~E$vBNtB`sNb9>vhp>WAGN_qE**bLRH5=Aaz-c^u;UFb<|+m1AtSy!k!lYovzK zW#pl8i5h<(`CVZ}g5tcMLKOu*VJB*I2b|Oxj~4cSxtOQpqw!3=Sy8|5xSgF*Zf>da zj}~qYDCmzOTGho-W zr4le*DWDFqUyxpbMa-%3vsDM0kWpJDQHp^R$@XQJ2o=r^hA$S9Mu47ST-U8 zB$8tc&7v>1@=bi8?*Y!aPxyel#x&|3F3`$LVphCB@9zxm|&KvB11n-@j+g}X7d~+!sa#HAAp`98m&ojvGxP0zb z&D|1x-AM~a_1dgAtD7XG*`@r5Lo#%5VY>FD(!99oT63ce_fxxkfU&?7QrzA!fh7+; zl58mcg_;6M8q4y%LV{X<|5rnF-@GxXv_n>yr$?ht;%s_pO4r-v&eq#;?F-3&ujS%1`UBsY@dpqoQ~e~AKXM-y*z*(uk|9qCGLbkP_wR@gV|kGgF4Oj!qW zB~a-;ALeOS+Fh+b+v@2$lHBo3<~rRkxR*&DVbXC0-q{^5J_E^VdW^+dSf` zVc0Aw*t{+iS+kY7WjDxwLT+d^mizrLz62I-jf^L23p+RV8r_ciN+gtian;xyLgDi^ zDJ9%K__}}ma3GtAXM9D9FKVLllMcXV{8dTOSEE6+3R@*2fVlnT=T9e&5gcl9Q2O2y zV2UWr;^!BY`rralNv`mT`_d9IEo@VuIaT>o51{~@D!H8So>$v{Vx{VQ|F@h=>=z!A zFW%cYUdz&)lv~v@ZTZ05Rbu%yD9WAp>rBK2kCpO}8_Uk_U&u?_=#k}K)K*OHHQ0&} z5Kqeo2qI(Of4`TCTVHrPu&{OYZMBqVwO>8ifRfcZq~x68J9N;4yt@{IcZNvWKn&oA zoM$o3ngRn?S&HX>hpFpHVd?e-MF|E0j+qbI#V|+|L76=xi2-gG-oX}IHgs*Zlo#IF zFgRi~+x2&p+~36m;YKt2#*-O$S>jgq;*P=+%G3<0;k-I^qtjgXBVicCZZ-^&jTnnR zc_A1em~K>%;qfyWi-VEOvMZ>K1Uf7^oTAUgk2uI8QTWDxblVV-WnYxO+!q)tvuT>P zW$%$35v6`?j_uUY@?0tjdm-(iIXjfBzk(%sGv>39BRW>(UG!zMP5!mq2<81fX+`|Q z;SD|KsKo`>N43klZ_YjlhbCw!eiLuH!#S2=KhjH^i4^zX4Gbk|zT>`~o<>All4Ym| z?B}Y$jNCwf&(?b+jzy?q@DVH9$TdC|b3D74($>IG=8$CeyIjPrE!)A5zLrm(fA6Nj zE}Gz(lgn4}${@f|h}gzSA=m1hA}-Fj=6N;+l{w^ay8R{au=+v*>z&x_91tm<#=3LOVJEpnD)G;?& zpS%&GVQ*-HS!_9^3E?+rmB^Ac4^^xGhEwCtPqcoQEvqZtP1@x8wE_=9OI%b z83yiggM7=E@Wo+vK*XOPWuy#Q$0~-Y_h6E~p|6p2$PP`xIxXhZPzMe%&ZgE3s;|XED~go)=S=mBkQ@wC zc!j_uab51@RD}erL<(Eg!WL+dQmd~a&}J&2!H0)!raxm69{ z-%Lfo%el~;kadS~frrzR2R{BBB<`0*!L#!v7QMs)4Hah5;pw1dEZmI`_NJ+7fj<85 z^LQ>r_Wsf~1l;;B9*AHa0$FuqT@_WbtE61kIZ@3Jlkh~xq>884VTs5DR?} z(`U!JyvwbLMMGY1mxA71pirI0lx@3X(bPnxe~JY1&$`m1UZxWN`qa5cQ8(=7$s+`Y z>hUaCVGLDt#DlY{_N4HCfVdB%ibHX^ub?mxzJ>RlvY}SxS$_QSY)L~N)qD z{|?AC=7EioLVXXXOs+KZV-SInQ75J(dVXaM&i153yCZu_x~P|bXUWx%+V4+v2e+pR z8$Ntkvp;ax2|Sou4?}2k-M)>!x#oDUXpS9gA+4!r$fS>OoBVl4dOCV^Tj}mC(@uqT zozbiRCv6*&a?$~U}4u<|QrMTvflgF0|VJWAQmRNU6Y_cr+~b@^ML zFkv>z+``4>%452Jkx{tCLqJbLsoi5+p@N^l`&joxlyAbs0cgOa7;#es^%INziWL6@? z;;_+4r_jQ+?zr`M)xLf&Yu10$n-xCl(FLJttO=I@K{J|v|GvaT!xo}V%EJLLnf#Il z$fOd$rLS4PezX{wknhADou^U;k+$1LOD^`Lc=DV%aFH?Fqj{!Ab$XS8WTed40+H66 zA;&kWbD7>O$k8H_iQC10eYCaNwG`s2&E(tIXq#&md#Qz@Y)vG&0?fcDi%W0`P=$-(kOI>71EFXm z8A%k0BMk#WbMVeg(%VaQ+>E&hR_OUo(XL-O@f+=yu-p5LM$jMRI#f)B_Ko4rkIk~OKy563AgUy|E=HQFxSfBqbcA>ttdxY~PIq@Gz`P7Va;B^!zHsHSofGKpRt12!0tB5= z1|o*sm5V)qHwIzQJCr7Y)gSrd5bC$U1f7z9gV^19{?Mrbzyf(OXw&hi=lDr0rVk%m z4$F3DfEW>d{;)^J@LwKpvNOwUHewLNO*q9)T!<6BUMtRzcP!(NV~QtEf6%-- z;`9G7bqvX*RN%|x(};__y==~TGZ$gft!g=2f^?O$?+Kw2s9MS;2MxT7d!-wHge56U zhKlZGpHkTx?!I?5!x9nnkanRsR9#wS&T0H|mkT*)_(_fMEm6M+XH&RuWXUCm!J~rUOqK$Lf3+p#0X_N^ z%q*$aLc|}^I{h!i0C1tdcaUFzna~k|4-ZA4iM+MkY7YM%oV)Dn?$9QG!ZKSb3hDGS zR~2I4&%(SavKnlB(u+)2^}dq8mN{Y^fs62?9@m2vo9N)8*&W=AMuSZwp!lk7@KwbcyoYcA)Ly!lLq3o+wHvm{pq_}ap#U?43!YKzjOvC+ zhTU5y8{Do9DmdYmdqEn1(?@*Ekrwap!jqurEf)(du*furdc`$Y42LOH9wrQ2!Tuv= zf);(X1Zo}4Imj=DVKS(`<|Nw3T2s0Sw`by*SQ=<-fOwAF$fDZ!-88Qs z(a1(nUai!`Sv&SrA5)&$mfv{+=1YDlg{oEKfem~*)S7~CB%Xm;t6M;{8^p{Yg%6$@ z^dGHHVTUs>?8{ewwa{S0*~qu#hWAAh=F@802kV}&r_7CQ{Yxe%0k$e2#*>QYnk}}1 z+nSDKyaa6U%AD8LO{^*G-{Vi6O#mM1P>h;3EU~D<*Dx+0#FxNO`!Dw&f;6{PanOvq zJ(sGI_^N6_Puv>=|CeXoi&a<2F{0XGb9nCChHIH?cbw*bICW7`&1<`S?%CT<={%}G z^8e+RaLNUUGl&@$ozM4Mmp%|4(*C~qjYd`}W?BV@f7GkCM2^Y6>8h%|I~qhQCA35y zLb_Cc=rPQkNUNOc)i9+2&Q(_G=|0c)<;kU$LnXli)~(yB(OV3ZHYWQWYZee00djC> z%dKuVS>3#U4zccYk$!|3^iRMxVmA1hvc(~e1rXQTBp+4?a5IvkvwxVU7jAIZF>Eqf zZ`1Uk;zo+)RkxPlGb{o^H*FbFquq4LrvSQRQObtSziU_Y$|WkfluTj0lQ%+{V8xXm zF!nM*zUxto87mNAbU0aSE%7OFWAUgOMm>LhsE1{LU&Z|yOZS+UrTa$usyaeIlL+}< z4OGnDJDyDOz3?i^u12i~ov;~ECXZigc~DcwZ`%c$p~j@*)5e6!{aLVPQ; zxS!yG?L5r&JP?{K$$Bk^S5r%UQAt;hF0XH<0m4!Bk3VsV;2H;dtIsbdh{C5UyXcoF zKX_?>wTgI_!euecen^v!W&=vbrIdNYXh8?9Bk|#2T%(w=^+_8w6+X3Ru-hGmF6Ks0 zgbASm?CJ1~bsOCuf!7NgDjn5qoC{0$uJv7k|BkbW=?`I46%1% z2qCk1$kRo&GwdJD26mEg#bdpLG!96=9d%p(YH{6+*}SV2=bvCrQScAhO}tD*M#Ham zPaoh(wTX~u2GXwRRWy?h5vo1uTv_plJnmF4ZPpTI8-VvskEY)kdD0=Y-0#-|BCG3v z;<;qVF_&f;FM|-9p;>M0voHUrpf|iSJ7gZIj3K>ih$ooF?Qs-_>@q@$x3rOvp}>{wI9 zz6KTN%qnB?B;5lA#@|&?G)(bvBJ-<%8+-Xx6MPC7z8;l{`me$$0sMkm#6SV)IVs;h z6rF_IzmwOGn-n|%!(#Qo=jrMxNxJCUPdbr>-VaqxD4#t5WM8GBQ4u7rC6TR66r!o%1ESOXcqbIhR`TsN+U>xMih3EG*S(5~j9 zCnl^qPT5J}-goUZ3iiz*mINmYS97vD;S;iagsQNB#unD{!uST{V7U+l_3V1t&t}@T zHQwH1|IY^5E>p!7+mCeDaG6JcZvCYsU3oAJw@284&GW2}FNC#o>4rjC8S%r*xl(s} ze85L&LG|RI^oveCVlfULmU3=)&0*v+#%=2Rij}WA2XMv8z*YKWg0Px4QA}NzYOgvl zcsyeXW^vDTW+`IU!3P5nxb)vPJ)29Y zD|6_=GuSC#_N6%RIz9TKy*xnubcNWdhqXq-b2SWMuRfR-Uxt<}a}tRTSI31h{{er; z#7pwrYDLr3ed~%0t`8>k=`c$N{|LdZ+-r=41fzbAM$YdKREcZ) zb{{a@l8W|=pO$;>{ryh@FdcDQq@JAU*ItdxGi^Pf@(C`5~!B|jX2eU+|iBh!~$k0!-U=|D(sBX47s2#=tH%G-TyqGl3NG$I9JV>Xe+s!1%tn4i}#)1|g7+$r+txNEWJcI={YQ+P^+ zsV<%V^`SqBD!Sx~aIJF@Ytf8)pRDRY?Tl{%8Ze;veS5D{;t?%_nG7ruVQ8^V%VZbP z=)mLOAS>22E|jeLSi|!?(?$dk(9IXq1F)b{@Yd zH4qAarqejzJI(yFrKIHG(0oVjraB7-UsYy~RHW|t6ZXUCv~Xxwz~kG#`f zMmqyYnUYB|Ids(NsqxN#FPRUQ3hT(U6~2DY!S}6UY-Y8 zZwQ8Wb(+nVHA;MfmYt_EI2U(A_=T*+`iDbI+9EU>%cm{^(W{SuxguM&$Sez6x*b`0 zT2m-!=b4gN-{KE%PKt~Bt|Q)7YoGFKxaZb@rmB-Zds|PVZr25)M#qCRYz?t&5qd~} z?^+rY-u5i!dT zC#tNJBB604u$b!*L>6O}laFwePc|um$&{0a>F$sqd(!A0;D=B9V7!R-%qto?0}ie2 zz{IEFj_^ekD_>fheIlG+|1i0F*f1yb@MV9hl&dz3MS0$k}lS7t}k zebbpUtMF~14!^N1{qM)0Zr!nk4|jiRFn^e<*K62(bH!oR7q(Zg<(Q1kcQVC)Os6xd zm!dt?CI?%Um{+ekZB&DY+e;tG{EJpiDl!wgHcfq~JYT1D4kxE4hr23!!ubm@61!1@ zq7B9SqF0mBu<Ge|~x7jXA>XTz6wVUi=UlZk7%E zPr*@Un!=|#m+GTnAE=5_a>YjzfJUIP%VJf@BHkR`E*uh08Gm;k-Wgss%^a>9*yZgw zWXT86j^OAYIXx)|eSk-9GCe^o{n82~GeQ(#9Nj7vcj#Avs_YKgrXN&)&uD~fZ5vF* z*-r{>W8v!HBk=Ai9tPNetP`~-&laIxfQrebboi-4AAV$4buPyNwvDs_NM-HIL|MVM z4s?t&55*RdZOaTh!~VFOUzaGQdv@2Wig@v+sU7XDjLIvah~1dFt{QzP3}=!G(m2Nr zutLfeap@X-UatALsdm?YA1TPl zV~GVpTTF{&<7~@J4Y`*D9(K396u{$biHCv0F#`K`$Xox(1`2k%SqKqrt8^39FsYdJ!gm(=La9{~KhA2Le>#Bm3xZ zP|(kEHFks20)Pkw3rZ9s7}1H{5h{cw_Kh2iY8ky@{0a!QJi#ch%>J_M%kbPpX8y*n zONtL%lnJ%4Ic}UzWDIWC%|8!NJ&2fO#Ol4P6VSZNhjhi8@#lut#8p;R4( zKwCycI4E1ha5EoVCMH}hExXV%s?bG>j!jx2>Jr^{)~c@+TNQd3I&@xYorA znzixK!%}O1PhNhvm5I4%ML>254i3W@=2<=B1G0cpRe#fH)mo-hTKCe`lV!MJ*hiB&~?racjYaX`*69m?g2&!A2Z*|}TIN?I=Z3L<-XABAN+kt9TLt-m1el~M;NX3e| zRww5uKV_{zwJNZyuLjp`V+#9wRdT5J6^+7F9c5v?2s%nRFz_&JX$s{~&)YkO=?yd7 z#lz=+P*ROIXEu5+;E0GZ5udcWCx*kyk|r?ATwOp|OT;HN-|>U)~ZDK}*3D10v3O$fsuBO;NyB+RylO0XH~?|C?*82$?(Vzb)13x+6V>!>wtnF;rzJJ+#wJ#R}Jd z4FC&%RehM@L2w(yj_{$IXbBPaF-sBY9!nz&k+uX`!`B^}jNj~3FD*BDCsl2fmW9*q zBF=eI7mZ~4>q-w^&UEt$pd|8jqd>dr4{1ijk7}Eh zp=<*_Qp_a=>GWok)ue1TVowjbWebdKr42bAWcLyZ@q1~`4m|Ny`Zx7tA3r)F%5`vSnJrDJtVQ>ik-N=BM{5~VF83$Fadl%-0 znA~}s^9e@NfkUoADptZi!!enHQiGA0#q01j5!c2z)IeCI@Qrxv2(Gy{K~_TiL4kd% zVEy2MABjR1p?VtS6@iJnU-UA#R`%*sJ0`-n9e*Xk;a|ZIGtAJKx3TPvvNibW7lIAu zIlXA1kbtAi%&*>oSN&R`P~S(!#lA*F${h(RKD()Y^N^b#J#%^@7b?UbnFARrEFzX2 zYg2h$KX(Zco~R#F#dH*0zU1pq>suc0@KBryAqs=e0Gc-y`)3M{4&(A9eD9N%a${A1 zvwRrXbZ2#4G!63wAx5znNE{MTIW8zu)$~!E3d-bIp@3z~AT=QXxG0T^5s1jjhiPN4 z-_f-he?qzI25S|6f8IlSEX+G>Gt(7)fn*znC#mav!A!DyqykU5n!LOy&2Z*|x#1u1 z^R@%V+T2tTb3f~&A9kW{cl}$qkC6^U_w?wZjl1~xg11mYl(uL3AO%dzzW>C>)nv0r zghjyHkydcb*Cz&;zB9hGRFNUAVE`{B74f^6OwfIn7c9l8nic zD-e^5E_O^(W+hzQ-F6zmi}=E%$b{QPPv7MN1Szp{_(}-8*rPRq&@%4TDv)rr3^Aei zP*Ju(#e$eSJ2Iq*|yh~wJa8)3d-b@u6Njfm*qqq)(4hUtgtjY|2jF+^ErL}%!X?Q zotgjp5&;I-H=79-`+mnrxU%?t#nRz@>fYJ5^j1*4(Qyi5whb~0<2%M~r4J*BoEF_S zvy3{w@wc00pt1@dx&dLJNaJQ5lW2GKkpMQuI*sg5ozg^&sq}luPP&BHHU!2Q`_U75 zt40W~xEeoS`8AYex0GP|Fr0~vv7?iNiNWvxw34SO!Jv{+LBTLl*_oLCj}_0!&dT!N zsCWo24o1#oAqmj$K=VITycHI^4A}-9qZ2H`hR)weFf=ljo*qVUkzyxUNlDi*C+TEX ze@Ryke@U9q+a0bWzN3z-uj&WyGYzY(qt(tQ?+edL1Eaqz`zj!0St7qs?KpHn`E$qx zrPc%mQ9vNzZb1F~Tdb|c6*#c>8JOtPVIfZ7#Cj;cOmYGP0pImYlQH6EPoCcp_&GaB z;4m21LS^!zQichH$);3N@zI{<3)jXkK)1?=Np%E??>o8 z7X6SYF)=8f_aQujy|Dg)tG?SHzhlz*22S|%5n-ShMVAFhY&O3z{gqcYCnq)HvbW~u z;*t0F$3g^Gfl&uOFgM|ib5JN0HJHEPU{LQi*g4=1{_iU|MD%z)BZQ}~#p@^rXNR!D z!XQsz*z-_euANVIApsCw!xozJBmvF$o=G4#R10;OAO~FyN(VuzN^)|b~g?0eW z0BdU$xhdin4h$RUnxH;n5FHgdeh!9a2@n+g_cas?27>?_Bo72d!2%f=AIkc2 zbtAI{%tnZQ`fcsLA-#KNqE3OVy-^Z>Drk*-z%MOf?t_B1kZh2Ac73V7bM#@NfcWOJ z+xQ-#@KEDFWgkBohF)Ype_qEbF!*v^XL*8wY+oH+F+_NJ_@UaRJP8~E84TU2H%2VK zb+QC_KDCNVLa)J|Z{c9U-5|vvK+tw~L6}eh;-0VW{A0fyKn3)DScSkQ0z~p%&{!UH^i47hw57PW}?`|BAW=_MX4K6`Udk zeB>U!i+p`424v(gUUef}a-CheOas3MKECyQE#1TJPiHO!`{rKCeU+=Yf^S^;fvp2b zk5AaSRb>hcFzU#srbb^>8lMSxU%JfL7)Y}sEyBPS4Tvr%@ipM|ly0);1~|5CvfLtL z?)%t(@)W|YLxFyF8u*jufuNwl-VQ--qDv`=LTvxA>kiisT_VDVy1wg0wRxiVeS3Td zZGs`cyh6uBhqxB_qhLEmeD91xTq zSIR|l&b`>O!Z_x2cjX_GslDKp+S`555p-$ULNTOrR563BCaK1V3)wq{`3RUmjnnMp*7{B+1?m;STe{)1;b?16h0`lYb6|q`!RA z@5`}f?++F*EH0l3^2NcBtG*N~6l$wi+Vs~S{!IT2ip{a&K>QJj!^ZbYadHgNUcKuR z4z-YRwYJN)Z+?nkGQ1o-X9c>d ztmt^Q0!s$(dJbi4RH~YdxLWb2B8G!q8bz~wrr8O?X4PcD9g3g=n+cJ@6R}i2+wxgP z+ymd*zJH`!ciET}3TSf~*6x*KO)43+j*RSOeq*Z~Z5?ytbz=B_R)4ZlO|E&&Xknxg zSI_*<+XDCD8mf}^)P;Y~-bD4P`N4D7C;D7qos@xvzFoPb>fbY)^n0KCpAVYLHds1C zqlrwVi@D%}TN;ajU~%JhhN)}+JF3L1>0$0^d0IGkzrS84Ey_o%cD5xH!`qsQx(F>+5LAr3yJ)=3p)(3-XS)!#}SqjHc)rN=54pB49LA>xsl0;q+rg`EBL z%LV2cE^PBH4&dl*H>d%9@lVdtjk(R3ET>pX=7=DOhuzo=EZn8@hzK`qqyAe@ito+d zodvxGNk6QmKck%*SDHA(7;WOW0QjfzaeDT)8afMkBtPDz97kyaljuHICawVuFH3L4 z;AvRXoQq5XDZLCaj#8jevzZ# zb#kh+$n`Ac_NA>KEgDbt`Ki5N;JsP^#v${5thIyFrb)LJKKxaaXKiW~T};s%ubW~h zD#-A?fv0eZo(Nbh3ed5aa~o6mVHWp~05WF9eD{4n0x^^2elnEON1l6DsBHPxlk0=k zWlYAP0pPFivZ$KZ6XR`Alza8YH%80DyE`>hha|osKsumpfHfT|?&+J0J^W*p)o*_t z9<(b2_d@QsuAip^JMy*>)|cJ}JAP5bY*nF_jFx~y>IFSxoE4KIhbU8R={1_ww{dWT zt_%cp+PC)-g!!JzL)$1&DhzO#oxr-tK`A~94XPUMWok}{(PPtq8dY6#Sctc;a$%s|3*azPn z2)(V*9?KbqI9PV$yOxZCeWXGjIW-O|Wsx|VQ z@88%z49TRN{_=}p%;8Je8C2dV+wg+t11oJIH)2DS6*|+=k>kcSsWT^5XWH)UeBVnE zJb7STtNm|<$*Pvv=;p(_>>B8q2QRPOWggsAV-fn=B8lGCOtK5= z&0rn6L~Tm;=M;g`8Y#{N{Tn7{AYIbz;1}`Yd6Yfb;5ykth>y|wI0;kku`%W>@xSsI zYT;890+Dz5Lz(l$6yqCY*H;a_=SeR|Ly>s4Q*76Y6*oIyC**Rb#HC;fj#j|SaFS9& zx`06r*eRtnmLPhTE+atJ{f45la+>!jAiid6=`?C! zhsq*(#uyeCk%F1CL?7^G_2DrXaLXp8^rS}iRr0{`64P0_UfMzchY@bDbJ!B>fT-Q4 zAoiY|FH&((l#`k^jKK*9%W&?SaQa$pF;%EmSfd2EJxdWq7|NH^S&z35w(%lH$8KQz z98}1ujH>pJUf=hTxf`ni6M8v9V3?{^3YD$un4x3TnliV<6oaItAt_XQrk&rC>8^^ld3FvVcv@TklI@hMf%Ccs+30)2b zyd=C;7Rm>6S)})c^cyi_3Lt&9SyZZ{?)R~&r(XNBk_5|TlxJ8b(?)z_@2CusN3tFx zyE6B`JD>>U@Empkg?_V!%s(LxI6|G%x^ieFT`ZYr%4^w`!J!GqgqfyI1!Wybti<%B zcj4D8Ms?>@r}w`=Cs!8bd~j_1xi?G(;o#?P1gihG^6cjPD|B4a_F!n36LRoyQNa6E zWhGFR%b1d-xJ7TJAxyIq%Y%6}DH}4Gd%3^Jt3m<0Xuu@}AkuqPvWYdrGhdILnZUI} zvN&UJ=XOnbp{CA`c&CM6&NtH4rc0QpFH|E?I%ZrI%6d&{IvP1}W9yopB$1xmGJr{` zdsm=`oqKAR>b^@h!)hfMb*7jaWk9GZOk-z-;dx+H<$FqYj_g7T_u|a5jk)XB^{)-B z3>3^R8!w&!A5MtHdvx()jnnIO@AzBoJ%6p>ykhsL6YMwDq{cK6NmWOJhIyb9>0Np$ z7Tys?I^*ZDUR;*ogQKSple&7|1rx+w||2sPq~=Rryv+0TPaM0vXbaJTG@apnRCtuQIp{#t5~669Gq zi_0UQ!KRRhvlO%9W`jWI!EuZLL7J$ zXN##FvihdldOG@vEs{Z{U}gftLWTvt;!uQG{J+^&&c3Ijwq%4mYOh0$1Qig!YCJrU zKrcZ9KXxErxzoP$+A)DSx}{%@D<;+{M_t)V^(dyC!CTf2;oQ%}rbj=|4vCzdAK4kMk)_AN>ge%+w#9bZziOW9n03Zp6Hf7 z4pr48y|ri!jDI%72SJSbQ{KiZZ$!v%m<_ARn`2brF3zKX)7|k=DkvyjTjZ6IAZFB# z)Ocg{^isV!XX;@_Lqj}>?Tde~H^+#m6bB*8#6o9cs$g&%bWzpTvlikohh)=<-@h9N zyk{_-a#_B#M*J&AC5z0P4ZvnawSf3b!u#S}IP#m9l#mi%X zCzWv%p+h82aNemc>y-0{Xd#RdPP-;=a-FoGN$9~s+#v1g3p7&d6hR4(M`E%HuJ+uZBOqW>Y-E?`C6`!-IT($ur`e$ZtrvD0L}R^n{bSs zv`1kj0yJIS;|{S9GAgb}V6sbxM>2)Yuvj725A~Jf8SA8HT%c|#x7vb_6ZW(i7;i2n z-FaC@sa$B(LtUftF=96=@hfE#nYsL-IeSjmdaSkkP*{7k%s#?8lvH0BNYwxq$bgZu zv@H)WE)R*TxE9#I4J(v(&)4>|BY_*P5RVz{mkTNLusm(&kT@4pr$6rN6j3ZH1HInz_tloqm+V#Sd3fM^?zDy|r; zvqy5`pv6*-o}II^iUH^{LS$JekUxrPdPgszwb}M5-?R}2bW$KCj^YOYN{CIpUc~*Z zF*0+$N3U8X9SmjPggkAA?n!q8)g)DXE#Mh`Kb$ouKrWq(_Xl@ITqmLU)m+D8>AmMR z$WP6&faF0`M#ROt0`DPf0o14;&@XNa+s!|2^uh+?5oVGkj5oX|ii4$MzoxQ(3wIQ> zzSyLi`bE|EQ_D8s=5ckI^F!5Dl%@wbp;KfTb*-^Bzel+UK<%4NumTfrUzD?!`IT}* z*O&in=0uMy#aGXt9xX$3re%cj%k_j34p9-jalSk@_+SR6yKlY3LZ1GI;uZ%ZS_ewTbV&5>}0KRsh># zQI6S>SSC2#$KPJ6EW5zaY;Om{PdF~w66pqYs|5@{o<$t1feS-7i56#shR<4OuIawJ z76#htdmD$NM-k#fJpgVx&)O0uSHy#8h_EQ%;w92qVP9~?QBg#v2!tA!ewrRn8 z?Z*;{e>t1jRc`%=S1s&>T~i38vFZ6k> zeX;{*rD9J@>A;KmZ}aQ(%ujpt;TTIC%trHU2y1x1!|s8Z9IV zS7JFQKlrY;nD9K?L}tz}nRI(2fsOiRUb>ozcM<<|EplDjle)2Mr%RUHY;g3y}p@L2)HQLOxy6PAKkJ_9{nMu~> zJl5IRZ@|d)y8zMlzWLdWs+57?j9fz7O zRrgMHomfW>A#@6LpXl+PyrU^yo7wg66Bk&oKRtYDhcEK+;OXyP)@+j>HWU z>M*M1#}a3mPdt?g29u1uSTPBX{Myuu-gCRp6F@jV#d)ZGn~W05eF@@X+fH8~_GsYk zIQ(a|GiSBjo`Cij*>#kcs%W88kzd>}=0MltMFGK}ct~v`$7)dK4T4B+`O(~QYD&G5 zm~O5rtVM0GA^i1i_&)O-@pjwHiQF$5@+!1p5!?6(naWoeD~af|$dai=|BJ*bt(gcl zI)F!Oo^j0uQsR8lOKD|iWxXa+T>R@F|5bHQ)>+FnrSM38WaVko!JtkX$bhdH4Nd*% zjh7$f#%E}OZ~V!iGVyrR!&&QNp6kSDZqQ#(^zZhX!(H_qC17^gP;bnag|@ap{z?*f zvbH|P`ex{Bf5LmYUb+C$e6Ls=>;A^23heaJQr`#W6X7&3x6a%v22({}^-Px8-=a!v zr$2dUM;vAUbck73CdccO@5?w+zq=;HefxVi)Zxj4T7fO*iZl`lTkNbcAnI>{4?y*a_jlw=y4S?1Az2l zfow@mUFw_SM7@A_Ri6`bX*glT%p;pFC_2nqQON2^!J5L_9(*lkyj2^M-@qA#cbLD{ z#Lj}Z%on18b;)ZXadg~T%7K!W?;Oy=cvM!|4lWp-Mxef}z3os|DPj-xXWq&$?ncga z#O`K`L&@Qvm8KC=?bd4f=YM>b4%k5#y;TUzMzOEQmxjp;3xv$&R?P&d#+~OpKm~P!H`~k=<{} znZo6}niZV`Hl*`}d25@9by$|fP_ zw+-Dra^nr@Cq7XxEFH8;0=rQ8(vogM)-|*UMPA+sma}A<2OZ8@h-NP??u(J?6}FYB zN1#HS;8Cy|QT}kLbv)Wgm|Ai} zd})THr;|@9EB0x_bNW9^4w9 zF%=An1LoQHz-a2Py@b>#xf*7IkHt4WaZk(e6k!4Jztw4;b)@kOFQS}m95&QN#_l!! zB5r|e9cKGmN)?8t!`@06FNQW_%j=)7XvO|nORq`flw7CIeJAQ*%J#6;dMAZ`VeCp6 z&=Ws*QQj)o>*0jcfi+DW&xz3?vq@KH@$JRTKr2~q?t4;Zv#+upOl|#PLP3b9RCRxB z<7()-p6bk|Q8j0)86UbpWzVjsdFP`=oOik7&|MSs%uF9MCC&{p#hd5O2)D>>yIIb# z8H?WG`ubKZmQ*ZA5-*`(9CcoiU$^I?1hcTyuavZH_1OX%z_=OBj0T;HZVt$U4=Cko zmt{z&reCw{P8s#^E(fR4)ejO1d8?@tDVL(?`!FVBxMoGP$59T6`fS#}xys>h%;cQk zai%$>*iPC%^47-KtHar~evnbvV~?0$vxqHWnc}ai#1%0H{Fw%Fg{`mFsiB!`ZjC9s zCW+O0EEO&+f$TwVPmLvd)~EpB-eJ7?EBQI!@I*C=s>>v=GFkLK_C_H6Et)0M zADMH7Ivwn0lhCnyMvV+}^b_uK+!Ge-cvgjyYXe*_U zH#1^}>x`S54TUsGX(sa9Q6v%z9;V?#WN+98Fc0|}n^5;==(EEE)U07^g#-v_ z&ac(CKFM6_6dIrOPMk|vwDvcgKqR56(z$u9yh9)lt8e%J`JGa0u$NK)_w9Ood?`ya z!4nQHxT5ef@PA9x8Z#LfR~ zaMQ6TfRW&^S+euOnjzc<8ihm4-ug!o<$II_>2hi0RN6VHIsSj+lCpc5u_j5)2Q5U>RBaY-kskx`Ovrj-fR#T(v z^uTHNX+Y(xS}TVDw&=Bn3C$D}b;?$qljJZ4P$OE$K#rXKhGg?1acpR*3~gguETcG{ zoR{2iJvy~S*W$LR&WjdQc`841+m>7sGYW%>V6m%v>L(O+aL zFmt`2yBdrmHqgRV!4nLhGRf%Y7-5g@>tCFbxCs-D+BK5r9hQ6=r+w5JB$9D>%F#*% zk`IQ#!2wH3n^D{O);UB6{H@Pxh>q>;t%E5#hs#XaK?dHA<+Asfh1=I%#GGSUN|}F< zu;4FmF(z@(u4^5Y7kXQKkpdTn%4}3ri~64ExPXFG^N3zwWVucTGDA<}Iy0lyJBY6ZL9zSEjJXTi$f5mi4^C#VGsp z@~=tmKUh4ODQ8Vn!^8xx{kWC+N=3EMS$0ll(=;(Ce@Su%3sf3Q&Ouaj)R-hU*5q~-Y38mEAxT%8c7u4!V zpROG+jB+&;uAK$F3LqNOC>EoEn6wDaIu7Ea@teD9s<+cbSjP4+wOi|g?FP2_W<<|N z4|Y`Vl9d4!mHMltYFLOC+1bBloy~daW)pl=5aw0REGD-Lk|nZI!YhhuX6v51Gj*H6 zqsLf`Px;o}SCuVNJ5IxThKsUtQ`@SF+c64toRXa6NBWk*1#VT}@Ejlj6m7(sI!bA%w0@0a&^fbj@4{QD`zT~~&2^i}QtOo`f?tetKG%Qa_g z$_ZD=Ld}nXBtn!r7?R*`aD0<5ye}g~)=2rz?cU~XP9t;f1rqZP6tAf6 zkv1BOD|B_`~^w+wtTUpKZ(L~8bqX! z?wbXUsdlS3kQ`r2Q+y(zN7*nv-tV*L(R0g$_wfv zMU#7eL&B87-2)5)U5i$w7ZE&=w}u5Q^G5RF9k_=W{ z>OLNocoqEMMAp9e%c>fuBy<%uI1H{jg5olY0FK=@4XkjZ9+{Xo^!~l#BwQW*jklojW{pr|I$VUaS4^n0BPD~dr>>6BL`H}z4nEPe) zg@Y+JX84l3Jd94jMnlDi4Xfuq`_sdXSVKbiB~O97ZbAUM^RLmBcK!9cp9&iRKy)iCdvr>G3Yc@_bf2Mp>r~}`s633&MMc#A3M3aFKln1iwMNToD`U9+C z?-=`AxuEOsVz_2c%xG&xn)C$BA3+8`?m~ci0fK6h)-$C(eP4I!VoO8yf%tso1knt6 zc;p%?6l@<$32Y8(oONy9Usqd8l+r+|ENOsK8IXy#axczMLUO#P_*4lq>!$zsyy)r> zjyImH`1lyVB0ol(z8Q+k;*? zGR`W^6)$I~!Vu-dn3aE%I@UHHozlul)35H29=_S->x2A+j_%Ns z2y{-i(?p^@TK%=}*lneaPUPH$q$A%iO}4ASQ{`CTFkVXL(j8VIQ=Tw-W8R)DTqnrp z4hkhgFbAvX9`A}f*zvZ_(MZ6X#qG;CAuz_RpS@B?>35DHwT-}4w=Xq-q^Uz*vNs6;N?x zK^(@d)TZ!rjE*b3x=rH>t!&X6cJV;05v#sKASPw9Um3`L6)|Q~9*?r(F~q}cF22Ij zlC*;JFmI-QS#6m*YE9W85{I=CdSS+Ifu8Q$c{!hl41BS`If5h~?pt&9Plw0`JE-(; z++6DTRz)Gon7&y!)Y+v%qhj#A2XImAm^dsvgs=Y6XW=#8MZ>nrGCk~V9Yfa#So8cn z+T{XmYJB+1GzDGr?7m6xymo-+w;xt^WuhgMR%`Z|VKlKK$FqB=W{>8gw8_*>7km6s zI^V^>bw{!k9!-(PET{uJ5BU0i*v=&XQNU+O7bYbndJ09L&khuk|NXWZO&m+wyxFgH+Px~Fo2Vr;ouvO7k7hVU4)SCx+b*a|W|(6# zAsrzr^{0XU(_zh~mn_2U1L(~8JJ2XZ@fb{X6{Wr+%P*Z8$dMDBikj{ppwZ}+Cv`@h zi;9DkslvI|K2g^eHR^u$6bjW8Wh;{k^HBNHsM450FfF-vAf1`&R3Dj}5tuRpl<{YQ zC&hG#?CL*TBD-#UgPRbr@Y?xOhUZe%l)4H0yo!w^LB3Jsk6XxE1MY)+LlO(WNC`2} zt-=6{7>d723EY>Ng@_#mUrAAO;cfTloIY)X;@poK_sa;L6KX<_X7M?$az>?p1hRIX z4%NWgR4SWU0=s@4-n(o~U|(`%$Hj`&Nb_|Ll>1GD8Anco1#|FyXwdsvmeiXv@W8+X zBo;oZqLD*OEj=eave|c2&&lFPS0{q1|EY%IV+5K4y+`Tm**9F8eL-g3>XAh;*k4340lO-QGAL;3zqwD_UBOi9cEK5j;HF zy1QhiXA)L1@?y9#hA{q?kU~7$G3LQp>_j$STfk9}c?An|=|~pC(eZk<32VW!=FQAr znj669`&HS&QNu$6_ic8JA`$9tB=B^8`A&?q25I+&0~)pYg>(rh zoV)rud48#V;>SJNvpwp)fBC`8DB#Hm5Pqm&6VW<386@_iDyxS?&_u)q5me%bVhX{> z%vmWYTPeCBD_PF)go0RsG79}bCQySY_9OAd@DFJGL!BoG9Dr7vBhL8R%}Q+lnSmwo zZ3HC_5`IAuH=y%}9D^egvQhZ;({Dmw+kbZ%K2$0&5x)g%Q>oq%dPm5d>Ng zs;3wIo;FR)XgUBCqpAq3q97(a9Q6pS$@fRvY`#VB2%LUGV6JdaBcu^^fRk<*fk`Yq zC%#BG%0IaUz}W9w!U&!z8X$!E(-uK6hjoJSo1j=`;mtlR=eHR|5L64&M=!x)B^&7T z;7$-$!j9g!wH<_r*Pl+T@H9dZPHFgY8MDNQQ#JaAQu6G1)|~yh{dwq`)gMU5L4022 z_Tm_!NNrU)gxvKYu1TR){fr=5IRSfG_lm`}5>r*NKz$DmR0o`ffAUaf=smkH6>%&0 zmSChH!ZEQu$h4@e4v2M3P()5zaSbSuNKo$$v8FF}4s>zk@{P;UQMT(?=Wf6^B;orK zYWb}%#S~6ZKX~Nq-jUsZvX`%xyKx3Qi^ep4{PmD;ztSa9-uN5XeGzti3dH3y>Ywr; z8B)!Cfot7{RayUTB0A1Z^0GG}D0jh+qCY>6~ zlGI|bPHs+`7wY#GoK%F`2K+J|0Q*K7pU+n6C(IDq*^7W?!@yhcAiFpNJ-Dgy6IfW4 zI|x`rk!GLb?}9h5Ta z$(Mry_izILFHH<oqNdZv~h@UvIfB)@&jmDy8_sYEGO$AaTe8Qv^U9(L1;;h=6Ytdl7AyD4j9`h5+;s|SzxpW!WbSCx zeQIToXpPVlCt_Xg8o&3&^5^Z!{L#TzI8Gy>*0D)XysP z=$y$Bn@Q!qcAW8}ZECG3x&&UT{-EdYE9$iF(N$(5Y~h3)o|>iDeiFLkQM(&6iyW4 zLWB{>-Cz#A5tw=IL+}TH7h?^bmkU-#$FFZgVm(a9SkPVIi8IXAO&?_UyELiY^R<$( zxrAJvO#Z%kx{xWgNo6zJtNUN2tY$HEBY#8*-iK2r!dYC3UH6Ko;CUc4BpD%vuqJ$IYqByh0}+Om*=Vss7N--+O~?+BPmLrT(3qg%|X z>qkiiJuu0^;WNPM7c||nvU>;Fa3-4PNy$9{okQtYM?X9O1`cYdG)_jyAeLWbe(l7f zOk_9R?<+IpEtv*thfLfLNliPob_@uF_4br^bhdZ5exU36YM-0P(WA5(2P07HfqpZB_BVj4^cAl<-&I z@c(Jzd-9>*@?}4A$aKbfnS~TpIYhBwML3h~lC`h^O|2bnF5Fh}f1#X;HP!3BqnW85 z{)IZ9;W(K!X4=xst*4P95;%)+ozhzr>Mnnyn^`eyW;B_7VR}kMG}etwtc_TSN%&(X zQgBtHrrduHVU36%8nQJbEy%MppEtj|-6PJ6 z!f^v$%&>I_Ck-Gv_?&cBk1`^a391cq&zr<$;*Z+V&Y5lyI9fZUf#sg7Y3D;ziW+?q z3T>t1(+gJKi?jmC(A>X*56z{v>UY=9>vBFtJ}-pWkD{hy$G(l=c}-6>L;Q{)?~qv= zFTG`{oxH?3)}h>t(KiAtW#JAjd3BuL5D0<5C0Mi#seR1{GCiV(@JCM^hyhv+vNN;A{Mjg3m2tAvK9|x|VP&22 zR${XNW7~Kt#eXaPLguaFa{J`0GJ~b*xiGon;L@o{`vPC3Hpg&%*sLZot$Xp+;0ZkM z|AKR4%J%8{j-brzUiYl(~IME(cpCsxD)=vO`|`ECf%)mi0QkJnO#j^|$yo36gE&!0~}UyiVdhv}0!{b!};CSU)bAh|6!A^6Qe;O1xe# zw-0V$OWt?)jb%(=X{e?MB7MC`e#EYIB#?_VlrKzc-y6cMP%sfh1L7Le>FmUz%o zHZ3=PeSEokn?@2!&1bU0QPh$ixSADT@9%BrS#*>vVNm|*t<&|X zrHLSHZnd$or5qRiNr~@I`(qouR^h_NhaPfNRxUjm7qn$bf>XjPiRnF%-q%pSsnEDr?*y~b0nmj?%0wRXDx-gsJulA(_r&jHENc%U7+BR!K z>bx^(BqNXA%i@!|_lArt6;W|MAA8lwLl*6iypy|#h!?}!0)x|=?ekMZ7d90V^!Uv5bd^7&~%u{G- z7Ecswv+tCQb|nG?cz6QmHi!jIE$ejreI5>Wmy6?KZSn(YbhCWCW#Sw_OGm8-cV)<&UaK6~}G@~;lN$%(davz<6*=W0^0{oFp z+oJ4pJZfC5W;d^8zat9O^ydh*G#^Hu5K@IYWQ_2qK;fHasG!{o2>usWk8pWzBBHwB zU7)U1f&a$%2Nq4iP0V7bYgMlJQs}*U!Ir4auHO@=MchxYn@fpqc-`#xR~NQyogJ?_ zwOD$PQQdnHU5_%RlH#dtw}|eHgXZX)kfwFnTMqOs+VblA^4)cRUY-j-)-@NiwUp^g zOh1bz3$yW^mFnx{q`Ky(;+4GA%qS_NIAAS9Z50yjSED{`d4odVY3wPT#u1XXlC8GV zp)``Pnb!8C`1Txy&g3}KHFG7-pN#=&*PP=GFbdsDMVV>phw}j|$scpLVsASu9Zfh6 zFdMt&64$cz-ov3%3C07f9}<5`w6;~S+}?w{%X7{u4er>ys7eSQ@_#l$De?u3AOWG4 zFi;C=f}^taCR9J?6%tAoiT@(s{j3imkF69kULt1WmWr`a7>(ll#Zlq}L@pAN+Ng^- z?Fu3d`k5PGxn!uEKgZ#RgUzN1I?1Bk`G$)y5#x^JZ!tCobYTk$uy0H7jf4~-g`wa{ z_Ctw^Kr77JKm7~Fb2&5^SxZ6?bIhPK;rV>s&54m6G9ssS_z~Q^%x9i_z|-+R7(u#h zd!F#{w~mso!IR9J)i|tSv$(b=E*4kUG(0tELK;WotOqo?*$oLUM?-6ywF7)?e_YZp ztt4BeGwmSV;btRYFg8O$GOdVPauoWMO0FN(M~>$NS%2GkF>~ zGlU`&Gl!_C7_%@Zv#^kekO&i-D5DUIFcY(wD2uqLFtZpxG4KC7MCX6gR$Lrh@u*o?&GY8%l?257u?|xf$cSG>epTDEtEq%m?(bpB}irWDN<68BG zJw`+y+ZM4p5Fa$(ZRxs-MBbmN1F@qyW^Wr~)478q7F{3B7TuPB3o_h|<9buD3r22l zV?awJ3)Jk!@l1LVAR^CAB?wH3OCKxUSsM{R;U%o#TAj|yZ0Aw@D;|bOl z75Wo*=Za&56!Asn?_uGa_zLPr8-%>G49__|sBqlE+(eN!zlp5wspF@WPh#v?{Yke@ z7hl?o8dwTp%yku>!(5MD@Yd%Obj8g;xL_doVwM@V*}b0g!14>|QPu=0`%~8DyTs+0 z%1Wr!ia}@LUxUi>)+PkffQn^H=(i8SZbOOz_ga z`+<SpDW9NpY)MI@^mu`!HdYh$a2@12LOFcyKAy{171PP!~7qFcDEo6?PpT zbZ^m`VozU^){1!!PmYL=6BfXnH9vlXMCQQagPx|lMDjF^6l(H90h+z`Gf?xqRZE5; zYsuNiH<>o_S7oOTSEVWo7d{r!D$#Gcaw^qtW~pWTPa)%FuY5OOzYyJ&mKE8KNBgSF z;Ihu!%1GodzX~mv2`Ul-EVg3_x_a~|P?fn`W z^B&w-iz73A>K`qNJ>1b2jyjs2E&HJ@dsXmb8F4da?szu0S6LOWcUR?#GlTT zm|MET)tEGPR*+eo^w+8ap0hjclNSK3z84o(qjj~BjVGrip*9(6`CJB;)-S-7X%g5g zI98g`Vz`eoV$v^Ot;A!;9IA*f8hTh0lI<*LRf^+=@c)=sbW^t^C%zhVej)3b-TfAP zwF}IbOxZQ6!!{~U7&gDVuhnV@c4taJP^L(HE;)v>hD(Bl>%BO9JX|7o0U@MAtc#)u z&euKGjKw{{Ax)t4q(lKe5a(2E^QYSbFyWx9?Q=;;U{f(2n-uKS z;)J^}6tPi`k_M*IXV7)Wz||l(`%{BWQ%tqVlG9`>FrFn}stg4nTYT)O6k1mp*65fj zB`4do`4Ha0mZT?NdHZ4jO&0hWwM{8`g#Wu{{K?=C>+_{wH!E@ui4mGv5_xc7r{N%~ zSohTDa4%M-X>Y3rc;@2044GuDj|H;yADeruX!nUZo3t?jxfhp&9Yg6 zG8H_+8bKlo`yt4L9Gphdh4>gHuXut)6qW`XG9uU=?ZXG~UsOe6el!gNfnbKw^S%NF z@0S@V&^KNutO&p_JP#LXnfn}pnnnlJ7$l0V zLWH^w304NMYV784Q-a~8lhDA(Nd!>C7C;;?_VJ_Wp7c#5`fxo8-xWZNXwS_x-}~$^ zdi2<__3`q*SFG?Gq?y9jf!`to-bn6)l%U%(h|VXHl7qu;{xG3&g`;i<`BglV8H_vk z5G=qhFkc{3HZ~@l#49jqat%%~u&`h(EHE9(#_SG&A(L{823Jwx)VdG;JNW&7yZZ~B zCYb|@6CUF)eJZj!z+$h!7h0|g<1cIBoj|G(c6{ZcGUiA9gEIMU$%i5Fr+`%poAle; zUrfr!chgzr6xXpuFKd+P7;Z!{B>k>Op+CxP#OX-Ncd8zNB90-h9n|ez;05^(X}|hX zNhAOYFsHB!LScl)vAQIuX6{sJ&yQPrwP3|ua39n4R^CCXg(LfU4Uj5@wtg1W<3%Rb zFp`p-479YS`iC3*+8U0Y781kkP?^(dT&ce)$;(^V>mfB<75B?m!~h2yNhX}XC;zZlRG|CAfva$7>WR& z*8^@|MPzQ%g~nX(e7xquC_F<&rW8xQo_>Sn+nDQxvNdYPLRQY*wOWhCv1Yntm62hG zXmYZFp*2#4X^3K`#AisaJF5QQ?QYd~4rp#cbwsNxEM?KJuT{Nk!stJ-JdDUO?}NaU ztzz+sn%=ryV+ee9URah8>D;x250{Yw!Ex=RpZjC-*7JhBmYoLX8=$$a`!1$q+qtf& z|MD-;_eb6o=v%|-N_nI#iZFM4De*rcoGR?m)OXu+*WelmcmYWNStu=!xR6-5Zlqx% zSM1|-Zh1EY&VoZpoM7P!7X~I&N;aTBO8z9W#D2Z?7@>6j{59_fy5#Wqu>*7?J~I8l zArbE0$wtR|iuc0Kh3mq=dXMh+zQF0H4hn`EdyOEHotzd4MVt^829kyc+iBQKnV~yxRom4a;s> zoHKuACejpvVx-%j(l_-#ai!SKwMy?kM`n*o22{o(7& zrYAfkrRlqD=+iMXXdu366#D9VSj!+6Dh?N&KZET-U9D=xINf;qD12>ssPKMzum}6W zz0_-0%NsWM55xQXv|_YtUss!KaG9*O$pmeQ=^fBowZ55-@mlIQvM~T2y?#nLzhZ^4 zU%pJp1d|0-E*Eca%639_W?j^@`fKPNQJ7`GcbniF^2qAm>M@dvwkP3=+ZeOVNqGS^9W4y zeU8`>>!TZOl@sk~e6COH+q80Jx?MEXEHvn#UnfH8fEr^msq;>H77`{NmE zV}Vj~ebBL4RC5+{Je(s-)n0Z}*}Wv}_9iA1$bfxVEww_0#ac0D1g1AB3qy9pIBA1z z;(TN>GIhZF&R6%oh!%9}r6H}rBil0(b`tXVxIi!_vH?M_ExCAz?s->O^i~hBlk*O3 zVP7Btm%c>cn5I3kpoMokqiGIUdA)Up%}X=3)!=;~WkR4br3E>S*QiDRPk40Vp<-#% zDm~P1+5LE!Gmb8h=ztzErgweR4o^J5BLy&z=vPFgI!mRGriaj*fqZkXE*KE|p?HhXdsM zsir&!T7*}bOM{{0w7ZvrvT0L|r-u}Haf|fxXs5hhy>Dj8y5MEMhDfN2hdBbv&1q(7 z(0aBV8UMc2==~(@1O*9cPJ603Uxy4v6Al1R;_p*6CKPoznCB(!pwfLb#`qf?{sEK? z5W#9RBgSWw(O+s3XzM6>)R0~0^8z*XN=@F99hsIUfe;)xzCmsT9z>N-jzOkq&p}(4 zotSz=B>|hZSjs3FY@i`8$c9QxhW;6HzA!hx)V<|uirVVLMnkfYPgrAS5Re*#C-KT5 zRPh7%vW~2nck;F&BwH=fz1z>AelC`VcllQ3uB1n$bAfjcw$i62Jlymp?gO-p)6zq$ z9GEmX29E4K$e&ItWCW)20-CD+P8ec=aQ2@E=$Fdq`j#+Hb*p2m(8#BeaH|cEk`}x@ z-lXF=2oVVGQd7*>tPJ)!R%{BPK?Joya2IP^ixIi6CdutBl!Dc&GA;{Zpq*YK7 znzmsRJ!;`!H-}}uOq>6PJoGZSB**~e9st^Px#B@XC`wtxQT70BYYKJ_~W8{7)FBH&k^&_ zgEpZHhnb46iNQ$j%9RiTL(RUZ5RF-^Ck#aa{(?NestAr)hIZCO_&WD#bJ)(F77PEm zHDPHEm!r67Cb|HdGwi4Uah9GT-9K(3;dAaJ=>ak2&tXsf=KR=I#T8RRC_lf+XpLaI zWWM*^50}2V1Co(%)<1uRqCX-IGoZzLr6tYatnz{l6LmxYE{f$&^I*Td5^RP8VUrG&Tw$UO1E6FOtFMva)GTj7ki}sDhY=L)W~l z$bM*jzJ!F(w6;shT~x!Q-dS_R7qF+v>9)8Y zno;5U=jbhm#ad|^BAKP0@>+a~tV+@EZ<>Q#uX@x_QZ?69z;qkC2{kngxIw{J!j%_}9;hK@mWpt44a=87Fl zF+1C_X_ci=SrB4%_=~@C4?8bgFF(O= z4jRsE?SP94`5jU$DJ{(!%Ly^b2vNH#-(6nlK1!e&vmavI6OGl&j?!p+G?R#4cd|JS zSV5sEPBm)LhQ(@Y#$VAT=SVvYrT<)wZ1^Uug^eBM$BV2Ix!c6FXS_;)&%$WaL zjA@4z|NhMX$msU^I1j)j93>A4CLYbKnp%=}tdL}xJ`>>ZNiTQENereqQxU+}jb>rE z-qMunu8h~BOUL+xMhbUJ-b`|=|fu)qb^KuZ6#L8$E)s$B(p=wpZSryL_qe=Xp&Mh`)LNm@9gFX`<~@wIk)0Qs3gW#1t4Ujt*RVgX z638Ra7#P@JmfaDLRBMNkUVaBMd21xGxu+vUg9bkgA%?}P5c3DP}JHHlZvsf>-m zhRh*IniX-hnx?m<{HT!lk(~_Zy2h$*nhLw}507dxtv{DvE-C4Aa+dm}V)a@KazftK z8`>{_OY^fVR^<$N0z)eS2;0${L`{w`7JWEx&`aumE0blOS-kT#;JU#4d-dj&($kEp zpTZO0)70oB)pG=u-P4^+&>0n&eH^UTE}or-n5mzQF+ev8WEcI0Z- zyU&-Fz=mu-Em(0U_H(W{CY#Q0Qz^EPZt6#E1JQl)N^LZ4HpgowUU-vPB1?^D!u)j? zsYUH3K}De`s|Mv@4A;>Dy6w807x$~8uHpuqrCf47`l3y>K(mv7_WCWW(D(XRhg1E| ziqDlTMm|4JDbWNuP|6?_iN?JRdBrX!lRUpZsSZXOu}-7Hq|oT2#&gD4G~2)00Di-( zwDTKzF|-!)QIF+guWV*49U^7!JGze`O5BAb1ldyRkf$0)tu33(VmcN^|A*t3d-r0j zL>k+S%L$&~10vDeALP&3fBAOVzoF~I@YFnWtH&V6-^aC%fDiXFe!+TtXfLH%qY3vu z>EsUr@`9bV_wzi`VK;@8pSVYJ4!1gZ1NGH?PU{uzJ0Qfd9h4O$3a9Wc+UQakPT4eK z)FGI~fA|)nS}WJHY8oQ1^QwdH8BjMP#@B?qcd-ZO&e>N2OUOy|n ziskAM3gLYY0n#t!BBnUtrxhEfHW_Z2uVRQV{70T{ZTNZ~kJFeASPV;cO6zfE5(X+g z(&BWb13of$WiL^~JL(e2!EfJmG^JJ^@9(BfvvzNR-8bYbQQBC24|HHR&G147i(&mu zl2OtjbT*m=pg9L`!+**H`HtRyAWr3n@a%D_w0!SCNT2J)e}kM^cX=?d6@SI{cSWP$ zc-2A$Is4pD)-L@go5!tAuZz&JV|NGmRHArV*y3+NpTOXss`NpeG1fGdNj8sOh#v}6GRhe2A%vm3OcXIZLT65*Uy8HmRYBD+qWucMfo|_?kW6zjL0qghZly#i{dL45a zPenD#6L495$aOhR0(S@czO`@eDyB4%&41;VqtPA`hr+c$N@(g!3#OW96g!?A(0ROl ze4kcuz+qR6bxhI+_lIOPESSE2S0ii-H0zEk8ed4t)CjZw-kb|{Hqy)f^f?BeKo2*K z4Syha3kHguLeP`Q2aYGPFx4?p!M1i5fD{+>^^~d8DVsmsMrKWFr<9ZT)hQm6i{!oi z2F37CaoWlr{2khB99l3lTonfw6m1^Mn11ps42}2$sjLxuZpFI$A+2*~%-uU$Uk-ew zIrBFfbEoz}Eq>Z8mg?L$yjMTaNA%{veey)hbe~N9M|=HbaC)v^U2TDIWu(<69jvTj z%GAwPRT;s$>{t2uKerHD9WA0E!jf1Ch5h%@{_SPYcI-u(7*K~k&bnS2syYz+@yW>w z$*kmwYM-qf;qqk5)Imm+c-gL6G%C+xUHzI)_k}S&*}?{$=_HHgATJhx3%9=_E5(^) z{R3lJR)tH0v|4xUO}Fw&Iy55{V<|5*{1{^OFDqTe0Ydq)*FdWCrc9&8YX{A6MBtEr zY@wFK(h{O8R5lWm#mMDK`TRfd4TCUel8)g3l){h6%#t5W4XFi~G&TIyzEY|hHlshC z79uX?6fb{rIWE-vfvGG4;K21^i;WiBtobofneAf>5QC!fH-Fo#H&%2c<5&*=+5cP= zw_$SL=jK%2Sy29d9g+fa^^Ze}w#cd{QW*~--M7JzEdCQ{Yf8B#SUO z8FT!_cx4@{k*eOqqwO@mu~iO$hGOQVODi z=7OZz2RO-rR`W#x`vKk-WIB)~RXfB#Q^IB?)MoC7mHV#QE(ILp(_-=`y-rz!7#lH~ z2#7le2ITf=QH{m%sFY<;8_oQ=oikY-?kjB38J9O;C}) z`8Pa%?hyaR*{T*=ug2Wv0}~RV`VyH<$F&iPd)IYslq|8vy&etd;$G)QNl6AbGK!(v zN|`vN!H(G96Gb{CyY4U&P0-czD`zv#!D z$-8vCnMmgY?g+98_>9SuiIqu8EvUT1+&J+pJ|O%NV5M&WSaPJ>I4Yaj4Yj^}d1{1d z1+Zeg%Pv|Whcjiv7s$+88l^QcwQ5d=7a}Fgg_Dk%C3XKT4f8ZuRT*k(8`fYEq5UCb z%ORd%os84?UyUN2d(T@0vZ{`Lv!5wn;19Xz#+2Eg~LTZA@0C~5@S0PVk#0c zqSRvh^LOy}rnnGQu`2#+%1PPcI^%H1Waza8)1+zQ@@q%+c_jtDMeXj8GUNJ@uX2I% zK=>I~U45Pp09OA2XArOpo+-(^d*YbKa{Qxx~hWSO^oG?5DyCN%ocslC!zt zdp{-t?1(hdt6-V+n$dfe6j}?;Ym}4d*+hT;;}~k-43Lo$Mc};3ZVD*d zkUxLh*++O(j~yy@Wq@QE6}8@HctEX5c^g0l6d<(AYf$04(co!V8OjEDf04j5a10h< zZle4x?qktEIvo_FF^uI4$2&u>YnS@%lMU9BVAm>GdU(T@hO@4-yT|s{ITG2gog_~( zRr9{B5kzKRg@2Id^0sv`pda4{1AeJmK(dE%G}0l~$@Xv-Kv3hB<2k z@Fz{UJGt2J93F$&wYfP+j`RhgnvVsHnhhM|111j_3v62AJ5(j0=qR=f3VX> zMp=0JMm9{lyNOX(a7mVm;;_d(N-?8>07TRt2K(0=xA4VwMob2MH-dbzgear_r?QG$F30ysJ zRz93YE6pa;lCETZkIin7FV$(##%q7V7y@{`7ie>$zBhhUqL}|!zZ#> zRHUU}j2|`{bUk!X68pmPEi&B74e0++x0+a>oc{wcYk?z@oI2dC z`Ir?2)#Ct;m$)@`D}-(GiTOW}r8yQT_y0g;=J~KhPnm+6(v0$NxN&ONuq(})qs1}pGuOm>mIbMOG z!x+Z@12ii596}L>a9YX;w+T|yo6c!885}Tk_^1y4SyMXt2H6*%ph;8;qW%9{D~*Lg zU@(MFO0D=cS5V|tL~rVj9?Nb%BYYO@X$qQOL{9T)z5iRrN~Ae}HoEhydRyqD>3{Ljw9!J=_rV>pS)jx5GR86ABso=jQk~Wn zRfsqhBgl8VsDvfKd5bU(h80_$=Q&e@saA*zF)|a?EQtaP`HNZL5ycf;aG*gF4Q(od zeybud)~4~qIN4fA12TN7x?4s225mA8n`JM^y1(U!=TxdFT@WhfsND$5B4utQ_ zd?=M_o(k*&j^7Ai%;u#~t?T~Sr}npkY0}uF^y2=FupXu$TM)E8&iJia%R&$64{iF!onKh-^LpM zgCb_+QN@KKBcP4=c(YCaweo1dFl#V7Yd|SC@lf&Y{%!aD_!E~_@7u?(1CEJhE^TNu z-FR|vGh!dgjsX|%FekXMa4t9aEAuGQ>@@e!EF&XuC&d44-X4agQ#3o6YT)*gsg$p6 z;tVMMiW#P+aCJ7Ne#QfW@;*YaZkGX$_{ufQa`FJ3nS?gbTa9d)raPQT* zE?vO_jq={Z{y#+7Bv$G@f6}skP3KZ&dvs3}V;H~ZG6VVyDHnx!$u{T-{xIHh$ykgj z^iV^E;}YC*rJPMQO=vPKTy9hYpZVzKcLCrLBm#v9r8OLm$;e7jlyS{ZHsy;usqv9g4N-bnR;Y?rKBBeWFDKQ^taRY`}i< z&)3D##?kBe+U0M;m-Bdw#wBaN9+=mPw_5i~2L<)UCH}cvi4`IytV)p+6UDK!w|Wx; z%d?IR6MFXahYpo)m0G$(EgqGs%nV@1MhubmadsxPl*$Dg(TiUI=`-@RQ_Z9KI@E$$ z5qcP_^3~Wiz}Cicz1p|Fi(e?)00A#>ukz-kc4w+by9Yi9h{Gf^?XwQqM^Vh3o|%Uj zT1bA`-Gl#qor$b5{!HlS+ngM1S0mMfb=rM_(>QSN%JI_I3L_m2M_fiT%nQgZ*knMZ zy-`U?i6MU`f)0Kaeeb=te!X6%E}dWQNA~o#@$>2A)b7_d4rfLhFlzLUE*yP-^SqB< zK3>csM``SgM<2QBJ=yEuB&Zz@!0-YB>xZp(ejm9ZVH>Nx(l}TG{kb)ecH;5IwCT+Og;th41hQAorI`5;D0u6G`@GpgMc(LW3;i2(tDcJ?L}gpS_?9A1eo{RMQ6 zYH9ab?U|J7&RFwX<Vg01*g3H0c<+0IP3apNwKkLfvC60Z z=yIZo7b@!?J(BI9;DyGDai2nz`uf<%`TEYjv8kVNJ>Erd2t55g-x-Ks=;E-<>}*JR z{%zCgC%;a)mAw^=7$_FsyAvF3i@Fir>#%CcXN$RklsVjTbyezs`B-;f1&emG%$Z)( z$vjQtz+4@QU6FAG5_<(QTT)d=#1or19OJ}YLr6Bs(f@QHPBFSXGCoi}FWHj$gR^~; zkc{Iq$%;h=iGR}Sz$Z2Fl1t`8!@DNo+uR}deoMWuKM5bdcSN3-u^G#vS>} za0S@sc4Mra+-6Dr2B{?I%MY?iY_&-QeMO;VY^Z#5nV&?y6 z60@>#u`(ytLs0=yEs#pOTP+Mxo!-R42iN}%#^}yY8)6T~)?K823Xizm>zaNUNAK+W zZ0`h@@80w7^NMSMlG*xW-A)?mq$OG!b8}8fb8~eF zI5<}uF1~vp5|x^LT2Hr{fWYIM6~%=Gx+B1JUzjT{8we}}7hc{%>KlME+&eVe+cz_Z zs$*rl|A@^mgl7`QKQ*$0QZj@X(S=D(f<)i*FWDDlnY z?jP3O9@$JY2bu@+yOFgO+Ke4?9dr?2zIuAA>zfXOqc=G-^9R$9#L`kKvbpW#`T1d$ zxIcuuR=|}xq!Ncahx^ztzuJ2MdNeDRqj^ySGA!iOLcrL}fNFEUKx<*b8 zcSlIiHommjpF3FBG(%e$SBd*wVq_diOZuwo}l_2Fpbi{}c)!o30-y6p=iy!T{AT%Hd1WpCDQjgd zJ@>ir5BObB5Tg%b0Oe*50!|0b=701I#5n~Jeth#qvCh5in0*}49T@Jx?7o(2qsV`& z){pi=`@ii>ih#e|Xhy{3m2*HVed9R$nj@L3&S6b{-%8vf?B`xYVX=#AC~Xi(sX1Kk4+m9-dmu%kF_k+w=$WBv72{ zn%8b87jv)|ANoXmqICzl7 z9HG8}dC0xzaA#+bG;zPkFA*RMgmPXe48D*23EBxfZRner5F~L3K*3`3m$^eW24$A{ z6sZECJQE5->?6O2t_M#u{U%m&dliC7(%VA@Gt>A85?)LG3KCwJDKd4ihy92R#v@n$ z&&MeH63K&G{32F@JpUFU7IUR@Y3&6IIGuk95{9(?F9z29Un~Gv2T;m{v;Uhm?kG3S zmiT90_YccZzn!4(dQchpFXFh~GXMoz+Tz?2IwSr&zOL~*WpxAmn-p}ham@hbH_S0W z>QDP^;r#95-}^Xoofq=1s7GupoM;T)^i2mBh8ih^a%l1o>!Z5qD>3Mb>)|Ca>8N#A z(I;l-IOduWkN}`@G`}E4?saklcy-3CNZ+693KaEUt>_gAVVV9TxKnvvLT>+4YvOfTd+==Zd{Gp%q$sS}!veDOR zMst_F)vlZb&vGLGUDVZspk5W@tGTMdQ+5O-iTTu|8HFu{%_B2r7g95ir;n0_IGGR! z7Y?^Qh-P=TXAh5M`jDl3iihq3xRdIam7T-5&&)TC`o%Nn>-RAq*^GoFhlnGq?8UXG z$`$n21rA#O)>|oRIlqke`Ay%NIH1@^$d;?LZI&!UQ@*@n>yK*byCDFX)a6+Qhu z6*>nnB5K-ZPO!n#AT40G;3i^ zJmz$zhL18B$K$&wYc50G*Kj)UPcPwSq4TiEZRxG}61*BjFeVK_x>GTUJhD?HU5E>^ z%%nh{p+K99onHc1V|&G7+LvvIpMWq3jUwpE*klAPi#r(#Jz3SvVGL`*sGEWOX#Mi# z5Jm`Xv=wf#?VQWjaO*Zy1Mc+s)IZT70$#%U!#|hT<5+Gy^Irn3k`p#iK|U7c)oP*l zvpz2CX9IUM@hsdQo!ZpQ@GqNI?zlhXBc!@~5Hk-j0=P)FsXz{#O&f{eqb!DMx_p5@ zc~n3vVK$uag{v%t1ZHyzs+VV;h@2ak+;TNoRKrdxJY_&5VF10RO9fDIV(KU2l|y`H z!LIsB9dTGtOjS-U<=h3FBx{qm8(its6~cWF?TO=(?l(CJvjIq`@Gk8{x+8eNX#J;z z$>gBQ(@5CTk)+?M`J)qxuBxh@Udr4UpGkhMZaEcqn54<;oEMD&;OtFv-`F_y;|tv} zvnv%!M?~WIV9L_w(LLV9g2&u@Vi5&AsAXozD#@+VJ}u|5_YoK&)Am4QrYM-(`P~Ea z*TF%^P{a6{cz%+#BhiYfs`EwVJ?itSj~zGHGqLVYTjWWEL@~78ntppQ)#V41r^t5? z5y)P`34emj#FN4<5-X3CucTCrlRVPRD2zOlK+R%V78A3IoW?KOR``IhIqzg#3fY)* zF`-Jd`zmv7#8M!Nm8X4c;h%{bofz76iazr8c-HHS^us5L;3i*ty@aef+<)C>?c6ZF zwR(4)hwB(nIJGKp4?(=^aGY0Em#n6Af+mWwAm6d%1qc4EA7+`N;JHT$PI6YaJ&N0Q z7Y5qL?P{uU$u}eNNFQF#{>noCE@gR7$!ED#7qM)nX)^##+qBaTcX50fE4)_U`&=>s`(H zUf41gFVuwkx0rLkU&Ph`BW%#*#!w(wYmzmThT!G2C)VG_22kQ8aYp#TME6~#&Zi=J z3-0vl%4s0^uAS-NHGqm)F1bxg;OQ^Ty>0Q!YTIsSX)vg;j731wGjn$9=${sQ+OvFo zN;U3JBO&6=0*>!|+}g5rzvTPL^csiv$9gdY2GKXqgyPl>PZWTiCA3VMxJsL4-S0YPdxIs4QSpau zP*>e^0kZ0!FhAl~gn5LdAjQe1Le|(B9;R2Gb35X?pV4Esxr1o$FAzJg{q5U_90z3S zsUYQe3==el#;0w!#Z7TKOUmHjB2`s_I+!lJ;-1tTt^^ZV5(1cSvE49`lZ$*C0y&PA zer5m#|FjEkK9M=B(DIfS|7cY2%wy?7I3($p8Sggjqr1CGk06Pt|E4)%CUhMalZW=) z5=-92Ig_{i?~*$}`ur$PFo>+G`EWZx&G_~=6qL<9edq`zI!Ciiept;ojB!au!8DPx zIEh4dx2SP$jWZ;-4VWDN!_-}l@R0W8S;_*$*!@c7ig}c8O$Z5VF?OKFEacP=upb+u zIR($X@fybVacqXen~5)>+))uZ@i?T1W0j0XD^$5o;qay6az6r7KDGJ|b)4h}^$lP! zQW>w7;u-gT1WPP^P&D8OI=C#mqPOvKQI|8XFj$>}TUTT4lHeYc@?^b=RrxJU-FvdH0Lv zAn!i06%?#;pFRZ8@az2O4im&jcHyOR?63O_Fk-BilQ_}4%m&`C(qzrbb4I!4cooh6L zl3^veyfh{stvlkSTwy3wf(H5Tc!kD#*KL}6`n#<2k&ZiYe^s0t^&bF9Zby}+z%4B$ zRxVQK%r*i=D+>IeW-zH49-4J^sA@xlw{gwofiw%%ILkkg|k6yQ_aXYqXRQmpuu z5X!?_v!qBDZd5n(%lJ|cwNM3_h$o?{HsP-nv5Zc=d3B5nhPP=MOdAK=Ta_Wc_Jc^Y z=x3yHC%%Rc1Aeyk$N*5D^V4bhzHVlk_&7bLu^q7Z{Oet`f7(fr4RbVV0P`bZ7Z)w0 zRLH=D(c(zd`&hZyqzpF$qTf|5m`cekrFD~9@TR-i{P{F_-VssB&v&LZ!*NWc0&uSq z<7kDuv{Aq5E%@sOo3$}z=*;Xa9gvjF)F%>LsDL49$vyQgm<)s~Z52tM(owB7wR>4v zW|}q3pWKpxoJ?u(H(bA+G=*jKELfMlZ8VW1)b&}u1ZU%GBRAdT6N^>GW zX_d{U;g92KWX?8 z&-@q)fmON<1O-e&nY!u3vxON9zZ4kL|9u7-)OIAoztbo_(c=P8B`l#lO+yz?*-0!55%I+eZ`FQQ z4VC!oW;y)xsUHz{Rkbj4E_>{I`5b zr^BwX`SQ9R_iHN%JoK}7!my4VWPyA~)l~&h0Q?2wrUEAWrq3=@r;oc63%OYtQp)TE zD7+@nQ1l2BS%_g&f{fb1<36+Oq*_IB7F1t}9n|s%>xj_uj_=M94?(D@FQk)a75}0B z6CUp2@~6!mSppplN5VRWk=5PFDjAV#oBbjWOIsjXXC-B{`=K1xauIPANU-0W65$B+ ztx~nIHY@4qFk5A+HyU&GNu_K590A%AwA}4-giTnwsm>D3Hdz-*f3?w>z)@CF%BN3! zLv5vdAemk7fs91sWRcr;#J%M(&RCU_HLmQngsn6CaNOUVnhm9)~zpcZ@iv}(R zM(rr!ftKmTs>B-#vCbluqw>?G&|d&1T+KqA%h0+uF4Na+t2{$BFSvaDpD+=ZNOaBv zG4j6#Oa;kBJG+u22Vv2K8HKMgq_~td;6hhpEnet(>=1ZW@g#9fgX(!TD&bnNkS?aT zq2+tsC~jH4wHMuJ3Kb)h0kaV598fHVW?>K+lD^z6E{k9ezw&xwLY+WuXea<34*e|W zxqr=C9On0pLAS(JEcT@d^^*YXW(C!ngAZd{y4p3Kz@t24aD173FG`vt7$FWR6q8mq z^_nQ|NmG`^74Mc1shUftcWr#9ZfVW8oRd`DEtl(c>A~qE60xTiSK6#6dD{(-#C%>Y z)c1LcqKn})op1KH8jX)(atAOnrc3jZrlfLzQF)J!5M!A9KEDhSgzj+owB)a7Y44HJ zR3j+SHIhE6f{cxNmo!^Lvc2p+ujvp$Eb*AVY|aVVg?p9AkgwoPzc%EJ|3|B(j!*Pr zOTuceIoL3Ad=6_vU2P<>DiaI2B9Fvd5~0GWc}wtLOuZT3jfF9P4LOh{N}inwSuHKQMyz&WkEjh#n%`f@H+eV7n_~r^; z3KrL4&r;q$q7(p};V?{FfkQzuH{-b668x_Z2u~6VdKhMV`odE-1qObD8$zdQ6zk`g z?SIos->+nLq)!8p6Q^$J1>q9hTh=El(RI2~Dle-?Du^!%xo5d4LiD2n-cGRB(Fv~$ zI3J&B>#^Gx)fj53D6vi1D1#}j4ws_qRZzaLmu7#{4?+N~$d&Xz-KsNp$1#X&XSfzZ z;BnUxKYo<9K`2`FV0=!+xk-&?vV;SVSMLJ%nqGD6)f(jt>~Zt(6ht20B`t6;!Cjq?cLF5WJ=&Iu({?=Ov&cGoK=5`MjFw9Nz@vaKQ}XWomOTWt#86jLMG#Sstu zREaQg1Vx+ryaS}av(lIQ$rc`3EHU67tu%Qw*BPGUn>Z z!iNhCH7~Q8;*$|T9`zZf{5}VkNk)H{khX_ppu+08hHd3uWB#|MofShLgnPYClT1Xb z=5Q@5qpxyk9?P$w9CKng_uB^`Un*)*%@#=R%RvMGR`U)m3&O61v)evg;BxmKU*;){ zo$ESudwQ#AoHoLbrNc2yI$FZRgDa1}z>+V{US&r|rKE_esP`YC2`W>}LUn6%qkEa+ zE3kTiU?Jr;7!acyyo_brC{jG{3`TVCFR9@uf zI1aT6x!>m#OOF4dv7Pg^+~eP*q$6rM>0IHu6=77}qZm86l~$6mie);I2I3c?YkV+T zHRn$Jf*2ARJ`fasULRdz;vf3H_y6!I#5MoL;t(e>+~sRwl?$^W@i9=0OM2no*Qp5a zWiX|kl8|H8__)%ui=x)sJHjHM*AKvZ`3XM;y*VOJ{=t#Y#aP=LZ4hG+1-rj7p-r%{j5YnS1DTZyA@sM@zx@Oz^1?& zpP%Sj%)8frRQ)jFi3!0JsOMJ^y4KxcW2afc4Gz*Ow$G!09`YFYwM8^NGro_qTS=M)4IUVLu4yMzGfv(p3`B3 zVAhY;KZqUScwCakHGCa>zWZ~k8T=GbHrhSI3I5om4(L=-cTy=Is2deKti ztY9?zwq1=cOmeuGb|hkmUxRxnhgh>F*1|{Owl=m9-oXTYphnlK)r+jxidg_ae?CF7 zosbqKGnr*ZAP$gvK$PH%s~{TAfKp7Gk?h3o`L$=}c>iEED8A$kF4iK=rsA-(k1!Ur zM?Z#QrH3O%i45O7m24g#w7-ep)ZbBH5A&;1rbO_z1 z^k5_|E=T(c6BIDKy<1u80{Q0Px_-KeeD-VMZPHEsl;-GNB5$xaqEWN2^4Pp1SSnYf zUGqca--F1wbT7hKRMG^?yN;d$L#3Fvb0xpwBi!6BG@Rnz76Wz8(i@e7e;h{85JVzd z7Izfs@E(zMeJffSSkp!()&LI{l(s-OaFktZdvqFNMj;rEyoODLl>i1}yEN594u>D{ zty`RX2hRHxk=wY2V5tiWA$rPiIwVNL$Pa?PZoUh}NMwm(efgaBR+*7TbpC;go}w@O z_bhg*yg5RpLqPidvYLMEf3$2nhBk5^$uM?AI#dl^0q5=GP=wy1VToF@lP|%Q9lFni zcd)zwZb^ooNE|0=4>y>BGnVvWdaaDZxw>yH1PvFTSxtRTBVwqjzHEZMG9KaV6`ZuX zCipF}Q?CX+SBa%YFePfFW5+X^P(*(D<*9~?F;Q*4cs;ww$kDi4e^bDO`-acgIub`9 zSG?^^D|GauHdwv9&4u~uURnHDd4~1J_z03$fkbEs`3HyMUYeX_0PjbZoG1!vT0m}2 z^jEdF!exs7Y}h$Ai?Lj8;t$au$*|;K)ucLW_}A>QV33t>dNv_}6T+d!Rw;CFoX^B^zS-|zhQcC7UbCz3D4zxtmZ1?wRe;ImRMd`+uSW;Z6K2?z+ zT|q@-Hd-*ljkcWr1lfCuiwX*_q32P*&8>5(3&)E%X^v!DnM6+mZz zqjQIoZ-M7^cD3L8#|Y-hF-c;Eqy^mbnz;!wnxl4;qlDutkXrcduIV8q!c_)=D|-*7BVj zY73B#`ZJlAWy?rA+m5K&zt3Ae_a&f)?M7EHyx|$5S$Xof&-{AuP7OqJn+ zfIKDApDJB2Rb|JRk3f_;ZIC-}u=v#rtI zNGXpFfh%iN>`aJ67~vku1&QZoLq#p%R5U1mf2L+)GD^#saWjTmpVdzn_0*0fD?pj0 z-We%Dq7@*ie+BNwo{%D_q1?K!OS@T{tvGjLhKnuRW9B%0ulb2u3>9|#nkUBF!~;sW zkR^b-j>=r^YFNm;?x5SpB>eVj?sK2U6}qEDmn_vv&4)ciW~VYYLJ9f0j6QK^vOp{- zf09=`-`-r$*lA8{;tW0%&2K`5Pd|K{ssOk3UK#3!AJmSuR0^wGr_`JM>r_iocwfqF zSK7KyFm<#h;iQH3jt@OqO=gA@w6g=B^Bm%{$Opl58(zsF0eoxG;-@>!^Q%|K{rzdwsjAo8i#YG& zS>+<_Zj>A(ohsb|9+>X$;OJ*4g_bR@g&~vMkaOQ(=Hhr=vSMI)-=iaa2lwKdf0V3@ zhX%%{Qr;$0l*pnC*!NKIfe`A^5 zOh#<&{l&pMxy~1uc}`CZ6u*Z+e-h{r3z^QA6?NDet6B;<-V5FiJo_vPjHdl#7CqVL z#BZLBpQs>FH1gvBoJD-sTi+Mj!k^_Xb|NuM88Xv<=s9iK9Xl3(h(a~BkA0Q7($AFRL3V?RG+x*P8!g>Tg$_j2L+N%C*rf6@)bUWOw~XxdyzUG^jydB zf0JuWYED`1!9YDay|-#oe}4j4!$I;=g~rgtN0{{OKW)JBwXq(ti+7R*A}{#{J-Z0l zumXDa>HRFmBNS<}1r~J#INfTRUpoEv&H#uVgQLn(3UBIPn4f>Hs3lY9_8J%YSFi8q zdUI_jLBIx6pAb`c;e3qz8nFwn<#I&ZTj-}o@RKL|_;&fCb=u}wf05B8nn#ti_qdaq zX)QY_yXrPl)iinei2lB3YP+=DecwDRCb}!!>K72*KkDdJ$foyj!(SZ>0>66LH_X-V5`;0gY<3c`_P(tE^wO3X_?+<=+i zHnf%T8(kNN_yzaNBkXH3I6mSH#s~#CM&&{<64-`eok8(8#?U1BgcLLX24IRuz7H0G z$QtI?9}s4g1cuWyB+qJbTkf9+l`Y^fgH|FocAlMaoJy-b?DM(-;mnY21j4Jk6`^@kkbNPHUJJ=}n_RzJ)#f0>RHMG;l#hj_pj+a#D!AWOafK#WUJ$DM4*aY_0&mrE>QY_iq9;b zJBQq9oXX1KQXQsPHR5R10H_3he^YA9lTFoZae-j zO?UdwfBKqaOe_13wp`!7Gqwy|}fG5?|U?cw#w`ZKdNp2I?8Q^`Lw1R53<1+5xohE+^_4Aj9e^a>5n*Kt#6u|Jh8jtoB1_HXsUn8uJ zxN@9W9#&v{33%t)br*? z5TA;{VGy4PyYz~pB+16_vg2)o^an z4(-dp7elPPfI8j2&exDxn%Sy-L%k4pzcnFu1dR@f9kGPwiRSM=arHyEQq!klJ`E7U zh994GBZ~23*{sj9M4uf;98N5Me^Dkb0LIRnt<$*0u$>W%q|CII4vp)I0tjnojaJZl zw#W02zD8}lLP#qLF*P_w zB%4IorR93adkz-U7&f)o*d~}!IZ_-8cPwK2Y=e7eXy>yQ%65rNMCPI1XbxkypHToX z=2midiVC*x(~Cc!wdTA>e?A11(&m$N(pO4lbuR3Ae&pxxy1+(Pn)(ukj$T#y7RPLe zqdt^_!xz=J^Et0vaXWL$`61U|Eshz$TTY<45qG^03|^g;=k3lUzT7$7y-E6gcm)as zf<88IAct2%gfJW{R!{XpI{!N8s^yiQ5DvfA&nTzGmvmdZ9hXi~e+B(z$JRTj)}nX% zhtSEMlG<6zi}WkxjCuT>>f#~PD+cUlX9t4G?Sa+>+*sQcr|u)a4OF4;b+p=>=LkPR8b@`e;2L!5$-$QNUT1uX2*>VJs0KN#`sn>+t-=+z2h;H?IOk^FH*Ne z6kdhv7}}g&gd%;tBjTvXqR}B{<)#?e@ttJekH-#P=a7mYZR4S029z(FvXH@XfSCQ? zxkce0tZwubMidB0J&B4HBrYP=*M3RYL3a0tWeQrV1^J_Je<>s@U`e__O^2kgMybtD zV7HkzJFfHl`IhFCJG_Kq97^5qGdJ@Av|kwcuT@D|0zdaTmVwRp+3prXbCW4SzWj=! z31c-_qN>Am%OK)1$*ySddgv(fIUB8+R4G2p`W*6M!huis zy@lcNVBx4Je?m!XWSXq>wlW_hP187=3|k*8`fdqp{I$<5H{na+;>}295!ZC<2vH8i zi4zM-4X3zVl;O=@c@>1}qJJzrgP^H6L2r7K6iy+me@0*8p(|Z9!(XFzY>Q`xINxk0 zPKh4N-p8BchvqehR6;ZX-((J!(LMFxB4+Mx2C|+T`o07B+G%AbM6}s6p3FYsX}k?K z%~KInD>Vc=NM~;;M=^r8mo*c@wo&beUKSH}VgWko1qJm`Xw~tDEV!{*Oc##(=Amio zORwXJe{&+oKc2-&T&mi=io)b>skvu}6POZ;G5s>F>JPJyY+(^ZK4Ym`2cPfWG9d2i zV~P42$D~hZ|7)zDvAm^t*0YAz1V4MHOl&&c=)F5He+D5hjjfNY6ZqQ9xr7TGxKDx| zI#Bqfp_^$gZ|OF?25#319!ZmO=dfD9jH~~>e~pJwGr?E}_)#`&bmd~!duHxvUdpW| zxc&_OAut&TDiQvgw$Di)m_AXOMy?D%pJEeRJ|k>TLmx2G(Bv@S3th7F6L*P{4Tm ze_CZ2x*g#k!jWkpc-eGSf(G`kfHwAFZAs-xX1oKS@|b?_toE|r7TeO0CYH>4PdFbi z9Zm>F^bC8ZM9Hgtb{!!WjqYO)?SUH3F^d9}1@^x6fG^KpihTH3naI`2P>PR!#!;51 zHQjk99C1=Iig|}DFPF{LDf!;bUaN|NfBJgA@1x7RTdFh0{V9ToWUBfdorsICIT^={ zeHcRgk4GHs$(zncXJb=JbUbQ5<%h_ncTzhr57n}2Ov?0&Y{v100LrUvyfE^r!>!)z zao&%PcJ8rD27%2sKP>Vif#9bI*7R#ck59~K^H+-v=HQG)7{m59f8z;e zU5~93UDoS*#@f>5{iNuw$U0fshwOWIG2O@PP}-y=BbKZ%j+Ms)YG(^#U?WkQ^)s^2 zkUL@-nwVimOtf5S3SXNejyV|<_IXco;yxo|OZ#Knz-g$~hGUWl-;i(> z(_>PdrP=HTbEt9oyfJ4;6YaC+e``yC2`jm}ttaTRE22U{I4V0$Sh~%ij$~ih(xUEz zRB;(*a5kSw9J`rt%`Go55?C7%@=^RAm=3L0)v!BCh~ub|1Cy==hnb(I+aNS2Ni||@ zTNKCdi^b0#x$F7{zU?)PPOMB|Rd!zsVc-v>Oz9tzzR}G^EqU3ZK9EQfEtt^hpluhp z`N~V(O40~lD7ZaUA_z$?e_$-bExy9_zKogt@F7r+?e?XWcP=q|S|y@oAy0v*`syod zW^)C(Km9(_YF8jr5&y1+8-<|DYb!*nm9fHZl(-TwoIa1x~IJ(B5bByTnwA|5uSNvplvUz!aA8Kf7DG^+=0IA4+0*W zH^SM~^F$)}ijPGVQtcUJo*Aj9{)N*f$0%v1tvxZ5n0OzWEMd$fYrB-vux&bz!zgM| z6^}1~hML4?Dp0SOir?R$2x%iX?=&X^wYGyKb{Xi+%yf&9Oc4PM{^>trdq@)xZerL; z)y_t^KW03vM$(({f8dt1DF`vX|EQ4aDiEX*6B>@-`EU+{wKI=N55Z|1^) z17bxnPWkx91u0DFKKOu^K971o;0n(Qo@6K)b$l@FjwBNQOZk{XfU=icw8E8Im@K{p z$pF{@T|k@z{D34k*+nI%j*bigt~{X{Y)O!5`tm*Jmv2#we{B!>ua!NE>cML@q}E0+ z=Qc1e;T#M=Fp=<4JL~TD%Dh#^)Nan%oN62Qu(NKxJMy##6lwF&LlzWBra|P-K^;Gt4uW37ZTN*QNk%B`(^JgaBP$iu5Tm4RBt!+0w z267TU82w88_s5*xNO%Ido3{wJzFT@teuT=buvn(bl$={an9M5i<;BM)OqPWbMCP!B zpp!@%s4sc7eTe&%-x?eQgbfE?0j7vaJk9Y!{cERAe>#2dCAw_cf>{^#5YF$?+$^)p zzCyML@3;Mu4=y)#Mz`vCx})agvh-Y76s!?$--Ogl&ei|%4fSB-TpEmS_r!_niF`Z# z6GTlL#^>p`I=02-MrHSU%x5^UuZ}OK4!6@}#^?TY-%v4_`nqXl9F+`VT>(??c6Suc zCp~?mf4T3mQ~D`)b&%m-XE%@%l0|$>EF8aA5gwh(P;4CsZd;k%diGDGWI!aVcEdT8 zaXfI2%{OrjUiPc!h3IcujmH#Ht%B^+p-aRxA2Lu)BrYYkIdro(OtS- zx$(Zz;0+P0c+xt^`3ZIg_Oqs*HL%p>g1JR|f28#Ycq&-ddQdqAW|O9TJej9WbdC^s z&*L0EPjQO0!sfaRrZ!_sdQ zuzhDzl6g>YH~pwLrs0bHnlO4w&>R2Zc}=>_c6s0Dr?Ysw4d&v7Kx40ZE3xpFp?YT2 ze>bmOl{Q09YywAjbrdu$_#NS_Rhm)suVWx!X?XBdtk{WoXvf&b(hD+Nyl$=J-^N4)B zh#g2S9LE0rx_HoD^{#b2c^(Nh7`(d&@|bVO|0(1!d0C` z3xSd@6*T>VJ3AAh8Ijkl|G?bJBD^-sXa{e31Fsn>G%!ojZU#&8rPBs+urb(0f8UKQ zPx(rr%1aXpfLS$!*K(2x6ItAnBBtG!8|r4wo}x+_rwgN(8rjak2zTssGm9L4C;fO8 zj3NA;)yH5?Hb4Ul?A;_i5-$@c#dYlYh+vw zc%f%yl^>;)aEkP~9W;q#BF2fIBQ{PnXX49RgKo;8<^3X;IC?vGn3)Y1BIaC&EC zD}H`A;mFQRgsrj>Mhb~tc^i=s(+j~4^~DTB)-FyuQ)^7*(#f}FHM|Z)e~dJ1#4*aR zO*AvBm2>ginSu#T1d<9zP<6G|oY0+2vyWWaTXlon2IgD`Kkz>#k};SSqeO#!3v&HZ z!%rjz7lK8(`kp)2t&O&tk^6H^#7rP|Nc7<5x!R|hOak8K`#Z??{8%2|{C2+{O)PbZq=tUy$!MMmY$8nD5KSY(+k5ExJ1P8ucX& z>c&}{e)`z~(cb%hRJA$M8O`id>yI!em4YT8MPUOW`syyW%)H3<5()DiT4rdnhA0|0 zsx=u$_n`oVxfPF?!`GKy;?GAEMyEFryGzQ9;{CQkD7wz58^xGEe~th;6sbBCQ)`+D zzXW5y|2Xc3tj!5qr&VK2&8D5VK3lW3H@mq*f-p(J=c?N%qn5okz&EzPO@J6zP4-X= zJGM**$VGV*B#Cn}DKrv&zK*xsH;H5=!x%rzuh~WGI?>OjcIYeva?F%A=bD=N(Wqx& z5n#ZvBR9o8+hF~;e@bLL5S3zKk8-f-bemsx@5PL}#zUK7Q-WLT|Mlr!xhn+OA})`G z!G{Z6s`9CgrC*4+x6#xzm&m*2`;P;nDY<-4c^4jSv0u~fZ`(=iFB+LwmzF z>+^-{B}N#WUgEKvAD6cG%*b|4HlW19aO9(x!x0G?523|(6 z!(Qj6vIn@ie{F`$YJir75^mqM=AP9)B$Q81Qjtm4IAGw1mQ`1WOHRB`-eF-0YbrH% z;td^xvE1(IGdnUV_7#*R^=$s4aHH1=;rwr`36lg8e!b+YPP|Ex)x-|*I1;a`)A-=o zg=>k%4A{8gPr^WH;2`*%?E*<*i8yRNcFeAzsU=G_f0JuADv{Vi-a3xjQzD;^Ex0Rv z%l&ez*TXZZ8wSPuu-ve76h772l{-FXFZIj`CAMb&{HwI>?^}zgO;o(h%Y+$UvLoAj zOT!>K7CkpH#+3SQo;O|AERq#*WP8g!q10XwhN0G!Y2&naX(iKYYoK#nQm)#So>2F) zRkA-ye{gGc@ih19pZX&mGOT=JJm*SIlqupxVCcR3L z!ViD%3?+Z6WwQc)7hWv>%_=j=4e^Lb;?2R=Wqvy^Sk!_iJNDN5*X5UFE zaHQtcYmk4RS!pWIO&W7Kil&~rE@_wR zf6E*#c|jeuRdh?b*q$@F!k(!9eRw$}7>AD_J!R8dlvPu0`1{JHO`|7L#)^RSZdd39 zEEVE!?vPcTN4sSiR>NJb8g%*i=Xv@Qat{Xa;K0&sVu}b?oTPNidqQPV)`-PRXMTYl zdRKg|b1Qj&!q-S5Cm%sXzH(>H!Zsduf0RS_F0yHYFMGM`=|Tkofm8oZ=9fY>D1!a_XM< zdHtwEN}D}#TMEd&6jdmfg1>}73hpB8aOQXP#TJ}`xKN>aUyq_)tWC6WTYz(zf9mE~ zeZC&dVweRz8<2+Qu|my$ZZgy53_X#*3AsQAExq4f3qdx8`4u=V7Ul0X0 zLiJfDpB!8g?}Ik3Gta-L$kU?5y{L=pQi`P52|#?n)_KKe?MvmvTH}hSfhylOo2X2l z7GjHG|)B8qR7$h!VUy=FL1YRfUx^YA0UQZ800t3pRAAEA`hxttZO678k{>vCLl zvJ9v1T>v^T%l0*n!Z>LF8oSc{q{>PkLtoD-zN;|YeCaMf5imm1f6ungO1&-~?fca6 zg#ON60euw4XQ(w!X`+DRJq{iU63VL0%Zgdyc-sLf$57-zSo04IHvT+FR-Igd6&aHo z%cRKL2G}+gE$NgXh223)Br8`>3t?G2W2Z zt6!}h>VS_{E#y(oe==HnYZr>95rxYoVuDU@j$3K4ux8f}k9Trweu&r<&NbA(JBUJ^ zb_UCxXvbD$+0ntES=R~1&1=6JLc@n%2=&o$Tpq*BYors8%`~Nurl(*? zi_)j?6R_Zlo~FnFf&GCi|Bt(rJurE1UlH}y+4`efBDHkTmt^&Nh|U63zm>xr!rbazOdeWE%`^+4{%WdlE=UeM&#{CNvCc@ z4tm&(RTagG?cuk%8nJ_@sg?Yn`TDSfl;6fnsFs0k=s2$#Q@o{4HdUoG=4(F>Ud?mQ5u|NPwR4YiS} zWUGqQW=i?G_!I!)nOJh(%_@hIQGeS-Zb{gdMfCxDsk?*^ z@eBA|rfNsg)DTr+KTqfDf zf3KD5(2L4qxykcM=pAbpLrmJQb-JB(bt7+O;Xz5f(#y*B4824f-#z$Qxhp13!JgDtTBZ6EU&eIQs`O5UpSlQcR z)+bXmE172g9Gg7KI^**kv>*7fU7*bm`wr$ZTUuLXRV()98m(-YQnyua8M%?u#XWYH z2Gw;$NTW~ePIsZ$@RHBk3(_s@f0|~E=FeOQ5N*}XIK_CL0;uZpt&cw(sP2UWPzL=%UB1?evt~TD=p8G)*l&&mucNk0ljA8u2Gk zPLn2X9Uo|pt`E!nM1IS5KiTq@|FxRS&y8P>o;7uo&Q{dr#{?$y{t8V*e>5%|AvaiN z{{CE>Qta*}7!&(t2%pzRux*eI8a~_5WRUn8oq5 z<7v}Gq=YFTHs#gqa66By($hVb(D#$X?jXUDW>329xFfyggZZza2}moK7l9Hcj2 zcmett$vb9S{p1z4wMke^5wI!daYOaIXclFBL!uk6XG?6ZA1TE}^zT zOreCTuU%|9UYenP|9$ziRt}*Wh#gzDTx~4ViB{o)W1g#DMYlCMjUJNdPE*_OYW~&n zV?sfN)=3=K86e=Uf2=y+gP6CHvD)=X^KQTwLgeO^yE2c)`;mh8^;0M8bjc#LY4?k@ zawgbu_`ICsVTG~*j(9a9P=O7rtwa0QX`L81h7!~7aI@?O!UyN^;j>z(yP_k_XDDq& zZ?7L51(*$X*_|2pacZ0OVXb4pJoqL6t8xlayS#H^VVL^ufB5)2YQv||N$$GV^*MpB zVUtc?Y(2!T#m~d58Jb(4U14fh8+ssp5S8@QKW;2btO5jd#x)$e%8*#f1grVqP8$N} zBXP93(}El)6NkwABD=T5V2E@?SX)1 z4V<%CB^U=Cf3KDr1iT?lPH?uL(S_AdX26XW9EzmBmsTfKrgO<_;myFfBOpZq2l+hb ztj?~N2*@dCw~Y;RNd3s0n6p1tNWTzcOLJ*Kd&aUucJ;Ku(c78`1mK}n`W#hj6v8?y zKq|Q|+>T^w<1$S~&a12~*#rO1j9nXW;xHLUfq}5Yf0OkWDbNy|ufk^d`sT$6!zcbw zo2Ze=whuBJ?m$%Hk90Re!;It6EQRI~qi08*id`z3MDer$KbOjs8rT&M{yx%Ae4gC3 z5<7|`EU!??0h6ehUvhLb6Vw`3R`_D&VPMj>((FiNhx-cxxymqnj1dtjY`Z8LKq{qw z5%q@@eM{1>8k#Q)5BiTEHrsE;bfm1Nlq6Ell? zpETp2nj&JS%+rWl?L0>abY6Fa%aQ2(13i`19{NVdSzXQ3Ybqb4rV~0Y+^P%J$3b)+ zl2;w}q$18rWgUU_>uP3<;`(d3BTReF<|-Roe@2D=N-2pT)nf6nQe~|9b#@ro2}jpm zpdN$}uhEZ=J9A87< zn_E)_{`94G=%)@4i0#Agp)g-EekRphTm1nrq*@rQc9gDK*u0uKe-Wc3`~p+2?}x?( ze;c2GJ+QbGqaPu5h=zkqwz`5&uk<{FoMRzO?yFx&T^t#reXXS#0auBuvGcSFxRU#K z6Ame_oW9$A#&N~TM0NMhDHFP2qL6MHkuavj?m9lsplf3d?iuW9tm5*_Q4KFxl^Y1?YB#T+n`P1uPF z`XHHLjH&*o6Z_+>&p&|VumUy|_MOXZB_S33cxwMgt#^Bx-X+THi>&~a*`Dvb6x`Q( zQD}EV-9ypxa(D;_jRiNI|bAnk|$BDEOj*8rVR|M39Mbg206f_aNo zoi6+)!TyS|i%}`ddXF1YhuLqv8F%Pn5qM38zRO=oXUGGGMpu689ta&&IppqxN6f;j zX&h5+0Z5k%;S*Nr>4;Sn;-!?8e>D*qF3j-F<1ChBNJ*`*G%$lei zGhp!}V+?^X**NBfB?Pb~5Mz_viFt{10}Tye8so?IS{fRMU&HvhFxuw7&9ylyLFdvU zw6ko%XVP*>96_}Fv2v-HSYvU0oH-3i+t>2E?MNVt3P2)wt^Vupyf5cBe@ZUeHM_^K zLy8pe*)j&Ct==>RyMGlrmu;1qj$A2{=p>M00H1WdlCy%~cr$K)b93AAHcxJh)e&Nh z7|ii)d||aK{Zwsky}60gG(W?rE!9nYR_eqR9r?9XRMd#N-k?xUS!r~#Y+*w-L=mxu z3@Mv6RgO$VU|71(bI+sRf5$F^We=Kms;+1Xjj+ZhbR1zQVwk7J_+Ay#|J2Wn%lgW- zz+%rAwVIUH6f&(QLGNd`pPe?WWwhI8!n96&-%7>Zd(Kev+us+E=Z$?Pq$Z^P-+;aP z?HjiC>jUgX0Vq;Qkr?sWWP2njH1wa%X@}pf7Z1w(PBU%Msd`BLf2@}HW6vzj`K_ST zln@5?r3OgCFGhBVdx8VL`-ETj_;=rjpr$$B5`%1?eFGJHlx%F6Lcvr#$6-a~zRo${ zHEw1Ong!=ha{-~AnuP`u-(%GnqP7Rsmnv{AzOzo(dYP1D__roFu2zMjw38vS2h$(0 z&;!Nk;@RX?TK2kXe_@ljJb(&kLts2|k(+D5rzz~lPnn0QnWQ(upQr3;Q1+-b0>Rfr zyjyy$$P%~5V`CDLQ|M#y)R}#;xfDpMioV}4dp780d3br4SheN1$=6eg^hyXd zY4=oyws-6NbW$`d8%DlFu|V*p1dTe>Hdf>xVx3a2`+GdIlM%~fRUd5&;P|gP;6WbZ zk5V#V@bfJSf5#{oaCU<`46=XRlUwBZVAVKe|6Vh|q-4^99l^v;OReGIM@NYA8TnZ@ z_k72N3lqb9SrscPKsV)~LzrplmGeq>*(ABdrgu$*Bq!SB`9^E00&=iIqmmOZx)(;5 zfX&TIlpZrFhMD)=K$yH*MG`w0@}~y{i3E+=feMB+e+&yH< zWc6T`KgzPUxBwL#wO&Gvcx6@1_1UJyZ6+?>8tFGGM1j``ue1NfU)!Tg15j%_5|Qyk zKC9iNIH-xZVKej|bw`Z7du=I+ZjHZ9{}3lfZK)XAJQq=WQ=Zd~34A37Wvk+5M?Tw^ zUxc?Je<^_x?<^)+xftVd_6h}&Y}Z-!o}WB0 zYXt)?C0lxjHw819#Pk!eaOERBUA|eU04BktC`#rXbN|!3^52bjDjjaHdP^43gdu}H@>#3HphVuI z=eKF4OZYDBhJ;stH0oHefV5b>W*K>(+EHMk1OS}QUFHd9f;mn)a+&CQ2b44l-5`c( zs#&KuncNXfko}~&C!pB)<8*2b*|{Sg(P%Qpvy!NRT@K&&wWK73U}z`>!&vx~q`|7B ze*mI70~kX1?sWRzi7pFJg-Lm0t zLmK9vRVNvjAMQ#K7;UEWn(DdG${80^e>hBfa%+7kIzWIf4KnWy_+HTD;nyT0d5HsU z|BtU%qFcrhBM@$=Mx6ve|!R&zdT^2~>Mu&lTe}i)WvmaX0rBYsQCVOthgZV(ak+uk5xsUSJ5 z(YUX1kN-8TVP%GEurOvJY6==}Qim-_oxT1s^jLUB(89*)Cn@1MxwdNBe~@g0C#r2> z*ozsY(g3*xX+XOt9bp%>DmmCz6kO4e^b|VjKPqE*w(M5fB9zKKyj_;eq&6-A7*fGfxNGYoc-Alz@y4~qvK;1Uorfd z9jF=7?zWcuF(ZvpuvamCIi!oS33Qy;Sz|^&FB2FE{^Ggmg>?!kKGc2~%4>5KHF9-= z7ubII6ax^!JVFZL)i~AlU#l^2Lf!naphMhuD0}5-7z>AJ`IvFse-VJypq2AMA7HSP zaVr~LlEe)_fJKm{6{FwMQ~DDIpq7hgw$H>#RX{A_(r30-(hV=m$x0Qh5QfL`R{d64 zfWh(6_`U=f+B+PUl`-x#ebkrnmS7%rt-+K+PDhTO+ZU%zA)4cj`SjVv>~s+*Q)-Hp zDH8Efy>I+i-BdM5e{3ua8M>-Vg_xgk3bt!B?VUmjVI6J}-Ru(Tze-<$#7agD$}SpS zG6}^`u87q!j!3~KaX*Fmub8T7PbG5hrM?sd(pThQ{i*7mIOd~3fAzT74@2h~#SwkU zY1pv<$c7mqlrNe1nb#sc&4g>xgo6=8u`&ccsk?{8SpKDQe?X}tie?1Zo^Su?KUcpJcAR86n9EHx$t3|;f8JxIH~<_J zTJR`8d|-}7f2VYkd8Hw((B-XUa!bLrPP~truiCR;1f0pq9Iy&0xOhz;Ul1tLCm>kX zrTlr--A`R7Di+eCobwYR_w^uIj_Q4*D)fcyvb|a>;EV=eTG#f-3{PmYLH(2qbGh~| z>*{uSCLH#M%d{IUz{N@^$Ib93yD*Sm_F`-_uRDH~I?*7NEz*v`;`O#fYr_pT0jLhx&JdJFI@L>@QGVpxm%@A<)o1GW`(7 z8b1x9(ZX;Siw9sV(DqdXzr&Vy{(ooyz=>{08XVh5MyHf~!@JBDW!{tjEGh)Z-{=c_ zDHc$Ve@3k`tlM)4ZDant(%NR+!`AGN#JH34ex5@nc~$f#>5H%W*!46;CF+8vPR58} z6l6sYIjTDVb{+%*ueUbyCl`syQIN~`%!r8{C;y7n8`o>n!*gF23%uBKw)&M!*xZ+y zpZ`A?+mj$uX!o!fHk1(FBZ(6uzgDUB0%)GAl;0m8Uvmp%6p zoCfm_%;YwPnysysby!WVDP)RFhsDD9v*WotMV|*-^G_W5AAM`@!}%l*d)<1VY>SXM zPg{8O(KE2;hQiFIt{p5{g}T2e!ianQwX8r7axwe zf9XkQsTnl;c)rp;kql0YS3vz=nl5c2yaLy;K8>?URenAKX+BwZZ}si^tA#w8 zijo)>gC?eGA+&y@_b8{P>YO*CgVJX!e|5mmba5I>QXkwhN0WnW=o~{Y1kq(OeBmaO-?D*{A*N< z)^cbOFIltXnWR=FhamNFpJ7DrnVz;50YeoqvI*FEB*N-ehjIcjf5I}YP(6Xy&%b~auOrE_j0vKszm7S1>g#1G&CX`V z@MQcjUBWLX97JN8X|6a$GS>bqJJo9pe`ye8&?Q>R5`4oTfj?;q%th>!%Ib2iOXj#V zJ!ZFsOC$(Jbt9$Nr>2(cd^82>{Hr8jMPep>83~oTRhvIbty;w1X9>N>e{b69g>PH` z+eEqa*Mua1(CD^*fB$X9hGp{{X%()6jeugw5I*={{;@Tj(%NoZ&(D|UkZUnl zj+?;;2=qd(rCqi}mxyI+;IRJf0IPMS#9gXfL>+zQE3vM7FH}DSZtO)^T`?JB~}$Pa8Qk5E-L))4Su7wcmbnn9h=-ceQWDqFDT z9R-}QchASVj*H~Ef8n^j*d6qY0lwo0n-5Q8eX42Q z&QDAU+WP>S9*O5kP@9z|HqH}e`OSab@5>eh?sWs_UeupRe_mxcy@m{3;t-bAKH7t) z)?Lra>>OhBNq=Q`rRdP5`8iEVx0<@iUanr2?C=b`I3W4vWzNA}6)ez`LKOd9EPL=X zlCFgaq!($oFnpIrX;$HEkVU=Z+;QL5;Iz`H0EJ-`6& zt8FfO_KunOe+UPqyk2%K*0SGLwS*nyi7bxEj8n3qrbs@>$x*(ib`w1fYWnzV5LfAq z2u7QpF_^)i%n3dgTQh#cOuzL{lk{ecqzo%JcZ?7}d{W>od#TS*Q~`Oj`2DNu$xVjXP(;$)i5sp9Un@I8yz#^E}(3=Xh|#=ob9 z=wa1x!;srZU~O?@!`6~7zXL!?3QTaNWBxI(7jJCeQ7D3|0;3I1G;xKG8n&Ar3$F&_ zyD^IJe?ovGSLJ4^oczMYZjOJsh`HF&*$8a3SXj^j?%|j>?vhA_3j}Zhxdxh*z$7bT z!N$smg`HE3CQO)x+vYTspjNxfA$ z=Q)H)2DL+5>VdCy5gyj`ox5;e(vdad9`Hr^s}q?GQo}n$B(VTdWZPESd94okOC;nE z>IHwFKkLX}U^vd>sX-yOeurMCnNTiH)Q^D9;ZuhmgBQDUM-PB|~oNN{|dWZFg;=y=_ zeL-Dg1m{#{vMRP>?_`onul1oaC62MT>8YR9+;Xii1yG9PM$(H-+PpGZxQrJi{cC_z z62oiWYfS@6n7O)~j(HurYp1(FjId=w1dQPlj4}#7U4t>FFY)NQ@#f6qqLQ_AW&-|$ zCkQlm3xe>6=EJFXk-D>_>Qt_Losz>Q+)C|jGJskb=2KfT=>+W~Z7ks-uuu&ih3ZX8RW|qL@nG)H!)*gmppx>zdQ-QXDb?@44XsXPo z1#}1W>QXAI{}Zo#+V^tDSVD(qx@TvAiZUIvZZ&+!^@WHTL)=1oIi7RSM4tilD@-7$ zl{fMC`7x5|F`lNU#r!a;0?6axP;kci=}av=caq0IjDPUJkziv#7n3yE+)jZ7I@AT9 zMWS+KFqG#HAG@a>S)MQ1T*=%E`2a2^o)%NQ7)4w_9Cu$!hdWK00tEERNC<>PF@*>Qv)54nTPR-PcE?VK&6r^Tejg<19Wjsz00Jkp z{h=Z-=ADxY3zxTt01gEM3N~B>HeBp4;E#kv@kU<&D+H4Va__$i()0?9MaNKwO_$jK zyNL~4?=G;7|4`ctB!^AspI21GaihNnBx=q8Vgwop+$10YS@-Z2!A3yQ*Eb9SBIfm@ z4kPy)lH?a1DZ%d9**Kz;+kv|vV0F^*4upqL0@9yv6+ZeFXamHL9c~VSGw8=khkZm5^5uieYyfIAqn|(C!8Knn9ZZ!~ww3C!mXx2MRg(9nboMOScAs`gr#I-}ex>cX4OCNVYr|{5;eSSXQ#RPb$ASW0N8Fw>D5~|WHwuSAYu&RmE0P-NA?rlurK(zyqM5P;2;6} zi9|qk)IgV}2L!j=-TCYQoKFmj*A3sDfL{7daD=)}dyq@SdeEJp-S>_Fo<1Ow0o==* zkK8_hc3WT|kajryF9Z0Nus(;Maladgjj#F}dVJu2`v= zu7YcJ0uukJeEF69ty=dlr)T!<#m)ivn>(##vfH8`Xa>Myhky#cz6pT-=BNIujsM{f z_?fu}{C)jFe;mVw`GP(Eg#G#HBQS?r{IDPBHrq;gd0%mA-vL?uQIhQgxT(R~z&g5r z>#N{GckFO_!fL_4@`hNPa z*(XQNzKPZL{6aeY>f2cNrdw&%h z`UCM#fqUYEwAs(%8=M68efbvd3jqa;_UZy?kp2BfdT9ZYj{ZQWJE>#5ZoP9eKOQ0> zz#wk%-u*w5gixs9Py*kB$v{v7KaAi3K)|bj^cRy>K;l-Zd#Cy*e;uX(&>Nx;e$=DO z8{%sZ#|uD)P|)B1nvU=C)`oxUzPqrj_ zwP-Nu?wUrhNK5juw^n+*G^gLg@{6ytx>cF@831-u;*&_fOfkY!=JKbykIOvtoe(`S zZV#CKtR7?j@ogB@a(fjwNel$B=EtzgA)1<2OH{#H@yR=&iBc&Xc6|jrbQyQbSZ5&Fr zG#~?|Uc@Ojjdi(eu{Ww!tMl%hMCjTjZy&zk-6L^hYsC|u&wDis^{HeN`5gh35?-cG zZypL_u?xa&V64FQqd!xlLiIr~GX;_QP?k0^SgiuC`UZskvhjj9=vf^uBP^{ubg@*P z#fOZT_nEyt|8UftO_L5Zo4e4iWriiS3_xikE8E}T-E2$gN#()gLQje9gtk*mFEkH70^x^&t6;=TVJe)-cNsb{C+SE`|$LZ2Y36#antp}MKc ztTpsr#$CMr+L1g#WjWL#X0k~?b334%RFU&{{-tz>Ci2yv>GS9rLQ3Ryea?ib5ulUp zF>S95?pWZGni$i4*jpr(+vI5c?&}+jjpKE)feo$^4MmfydZb%8{<>96CyYdq?*yR30VZcvQ0V)*4Pa}I^%U0zbYt#Ra1Xq~cS(&LHdcy<*@f&lc;Jp_s z*=ws=3xTT{oa=G=4FYV8!+09X6Mz?USgaSO9K05V&?SHY$1kes#MZ^%Eyr>`9CF4Ni=zwL67!ad2vgm`20q?&c2Ob zbB`FPMp)WfYwd7EGM}<0|C=+M9+_n}qhkpDI2`+^&r{n{wiA>|00VY|D<{ULnez471|;xFpYQC%gY{yX_V9`h|2I{Mg)Y4uAXqaHPfPEE)Hii*j4 zY@e>Xpy+Y#j+v~hNqquCls%8E%U<(~7Qjz{{0RGJ|rW7g2H#I>NIy;7m1$eo42f zk>~lUy!ZP${cE@7FzU~p?;+pf>7RkH_RTh0kH`WH{(Wa^E{Wl&#i3sb|ZL99y8tfu`r>6j8({P{m5^sW8Sbx-tRz(hKE$Qr%_AV*x_j3ffqJHlajx@|}qP-}+ zqF-HVu9b}}on8B0a>~cCj&R39D3E$5b;d`s0ijw<&xPyV33zYS(3#$dMBzSn=KOi{ z0Pnya)2U0JSK?}sa0%uyGfsX;bIDzohZtGoES{Ko2KF3+E`Xnn?w}uC=;WZKJrV~( zNlEh=0qNR~^e972r&inR)H$>u;e7~B=BCXbT#H}-Yj;4SzGq|;(NfB?b_jQg-twP7 zjR+)cA!NbA9$Vm0k-gaF)%^@+pU4BoodQ)~gahS_`_)vj7ep+h%84A8V>cx!lShvd zudw8M@9Cai93Zi179y#FS+o#HyVGMul|B)5VrGxV88A!C)@5YBEZTn>{Z>nZ8{UwG zDhHPnH)P99DNIXSFZPMCbKfpS)g)ULaHHmkdcF?m9+|O!j(T2<6eC%Sm##TeaP2?c^LH9Y@27 zY3?u_V1Y}n;IMrPhRGsj@RJqLy)Vcqm$>k@M8aU?T8`Afox+aRDjOigNVD*3MI%2z z8nYt!$H^qTd7sjv zfR38=iPb=Byc0IjG1gJwbT-1tUT>Xy@Sh`MOx$>vTE1~uY3LLJ3_0|!wKF_Z2JZ=- zHYQ(Uo(fyQP%W$Isq~kbE|)SgRA-A^RqD$rv3JE+ggCLSL1So@el&0H6T^jh7hDee z83sDX{E-GNS2Ww12s6}5l^5OAg()*M99dSYqqq8UwoQWslnRhJ)cx{Ni~np zkugI(IQMs>DgV5;yy{$*?$+VTo>};Vu3J?&RJOls^Ya!Vr0od!dr~pp-jzEE`OeEl zAe9Tw2n#ACGZQw~A&s;oDeryBes}v>9p_?p07kHZ3-P5*{+T@u6Dt z++WNJ5*@y^V6e~oF^{F&Qk16WFSS9RU9PM5_BXPX4f5*@e|-c7#y)4g#v#;6`smvs zqPaPehDK$vW4Re22Kpojja=k%g@ExFt;Qdz0*Jil%R%Mch9;_lZWU`qfOZ449j+?Q zyhk7xv2d96AG9*@QWNeiXS&5o%Rk6!ZBA;(eZZiMvry(yYB)18qXpOU2Wb&pw}FU3 z64<7dEg7Hi25LI`z6Q;~7DvjWGk&pOLlS~9GCXuX>sSqklxv6#o~j-?n_OclMGWg* z$LFw+E2Aewuy8kDxjeLGfIZ8G?3BhPO;$fjHUStFR&0TLgssG+c?VS?y19N}Al#DB zigF%B%yDb3@ZiK#`s?g~IhNYlI(HbEtqT5m6_=aC_51#+!}AmAuvFT*5IUsozfPQy z_~0ROG`W?$N1c1!7cuUIlHIKrVcKpX2GZr7n$bcCQ#M8N$rD>z&}#WXvRe} zSlUlzvZK1CyJ{!k$bic*@pai0g8KHmS09n*_7 zgr)?Z!F(>9s$^3gVj*V}n|)lXAEE zdM)iR8+YM(L=ga2TDt$S8bm8p60M8gq^T;tLQ(i_{Kiu3W=sc8L4{E%zH5^Awg@Sr zlz9-SryexE6V_7ot1h}zNp4kDb^bo^aAzG!8D-|1U{qaC3V=O@gi(9ah^1pNTvont zuQB*Na2v8vOBlUXO@EBy*PKr2oXZP4LC@JQ2=MAERZwL9mda)k{yBJ_qv) zf`U&cC<8q<3yLkjB`Uc8S6~i<%LT=Qq7`+IW?D*714arjQ~e_r?%vQNjMZhQ_LM5T zLDiL>h?D~IhxJMJbj4`750tE&Ox$_Z7>(h%2|{Ek9zg6L%GJkWFYf&r+0z`LJ`h+z zm@yaM$R`4E;)*DQDFThdb82qZv>}1BIcO8dHfF}2f6H2uDOx_F<>e=?Aoto{+ayUq zJ2(Wv9&YfDZmq{M%Pm+CAP3ZIi$2+A+gS2wli&2OXI5}PU~D}i256C?d-~{hWVfXX z@Kt5n1L&13v%U2>@W{={`8*Bx%XgIjyXi^EOoR;mw zR1$HyKXm!`DsY9eEWT{>^hRMdnDGUaS)}4zJ|uQES=PC|&dnwJ1GwI=caxgc<6tPNmei)Y-Q_!ak_-%bx>g26UVT=y^41zA z0yYbj)YRAbAI;v{=k9l#{$6o%{{H9(!rJa(X_J%np+jyI;e8UH;?B#_Z57ZS0GE4| zC;QWEui0*376i|q-&Q1kuu$K4#}FxCSnkX^`Wi0%kAg&*K@6*f6G<yx1{{ltV-*IE419kwh0=&+7^D}rLz=LEWk2~ z9f&7<8Eml}^X{_vCDC8Yt*PfBf*&86d6#536w`w*wEs)>++Tck1=4)`M4O;3-cb|t;Xpwd5Dvw1blaZJ|`^J=~S`4l#CLDS#B)sg^ic90u_MoP0NkR(w z=EODN%vd_Osf?%kFzn5kh_l<~3c$(A4CN+qv~KDa=&Qw{v&`;u&N;6D;qZP}hI2A1 z=APuPOv>k{8A=?JIdZO*$?CRgEt+q{i@Hk8*0~gw%4E6rUQmeVle4tBp(XNAOH?bT z3?38%tA8L&bl3_L#F~6LaBt~^fcdCjXejK{ir2^z$+7Dgnt%Lv?WOm$50K(9%Z|_(~HE2U4%v0TTsjyYiVNhv*do~6_or}4nkE6Mkp!ce{L*c=M z;>fQw?vo-oLn>uuPUjL=CAfsod|2Cd^f=+?{4e!8)+X9OK^F`a*2;$pFo?^ozVRmZ zpeg38UxnQo^VL4^32RQy4TxhhjYvTZGRfZq14|5bU=C4FB_SjRJuS|ELvr+R4w>6X zHsGC(gt&V*^1u*eF0LM+OY0GR$qxG5XFg$QS1gFQ>| z)kwQeSL8NV>1?(O614)`PBizoJ>yJ0l1J z(QCG|R}#MBLd~vY2f#=ig_=JMEN7;F?of&F;ak`2bPf7ATM5ndXpe-9J3U#_)v+;~ zJ(J4=qg^<3%^@6mj$jw#;3G!ct39Gmd<3Dh@puOaqA=R#$E0r(;@AACXl*|Aug2X= z19v_y6z;9lfk;o4JCMuXh<4n$O~vH9;25UTN(T?|J2({|0?_v8TYQsDCe8N7`E0X{ zPa?l|h^JZKxpc8$^z(`~&>8)L$TglGEo8qp-Hr0pW<#z*6?KOhi-In7)t#E97y{Qk zi+*jl6I&}WMz5*?{Ms%R%{{j@*8L%JIA<>}25e24qY1yXL;S=vt;Q}l>jU&^zoKpe z(&T}!k7m#F06UzzT#%y|_eVL6i1v|Ek&JOPZrx6B*E5Xuy9)M(1?WcLF) ztX*ni)`YYy4ru*usO%ng*P~b>fbm7?0#!$PSu`_&KSnk3ivB4#*(F@fa;V8mK{@j% zLMI$<#uStiU$X4wsEQA6ds72*we|zJ>3a`rBGl^!0QD9&KIku0v9JyyY^Jkh*OaG9 z`e$Gdu2gsW7W-q!B%}Gu!Yt2HF<|S5hv{xF#HWtynF-d z6K_Mi0o?2TUpOIOxP?Sk9Mq074woz&u31Gf?R4M5tTSPiuV2_l>a8cTdlzBpgZ~Ym37Gt6yn$xgUBjbiO%dNZfzv>J-)OQ!^OFWo_F^` z0gw~Kj5tdVL*_fL5ioqR8J5i#f!GQ#qy(#(3r{XbS#fA8cStpamPKi?)aOb0{$rcnQ6uUM{kD)m$W!J< z&{eq)obljpM_r;l70OZ1)`VH>jibt=+1lQ>kohQ)X|gVIBiWAgF0Cd<2YBicTKRkX zjKB7h2IO~oXThgTve80sA%B|~-N7kR)}eGq$uZny)}2n&vuRQr&@JlG2GA?`1H5`c zP_Fb`1@x=?)=M2!RgLbj_g1|ppvsfhl_3(Z&V+f5;MNLglY@EhV-j$Z$hcgjp!G+< z%uNg5%+Abs59vFmv&@&~&8&}#NMb=VV*KRipG49_-I7fyruvK@^viWxT5456ertL* z{F-DMN2|xecXgZEPt9KGjWf)t1RQ)u2LWE4{*+DiW@ zraIs9kz<=W6X>n&bpnY6L~0Octk5EAj*M3gJr{NZPumb#qlClAZlvUsOCl;^zM9Uj zlrqR4?>oKO{gNN%MwEXHi6};MEg*d@7>s@wlFu+wOP>|clf2kN)U!P~0T|M?2sQTE zo;Hq}9UV5xKheXJK`byqGOcpS{7V*3DchH`sm?~I8G2nS5``Rlf>WPKo*2QA#tpB7 zFxoFJ#-*rOHmU=k$8~=o9Z=f_qwJq3i&>O3(_r(mT zkEHByRead4^}o6YIIt zS>-y1`tGPU^Aikt1V!zQE4NJhANl^#@A~4Rv&T_^aS7oe8kWc655)QmCh~#d^r8^# z=>VspT^4+P?*!YLO)ia8LC<>x((5XbyXm_;m{wMdI~$!Ka$Vt-4Gf<|Z_-iaD4UVx^`R9Oil0`FQ*%v& zG9t>Dh#{C6Nf}?24nqXn@|jpog3WCU(jj^!2O zZAq%<_u(jC06r|or)x>0qVuZc;}mSf>z>+H^2iiOd8r(~jEp!zaTsyZ zFPFjjgOQZNmH>TBXY`OhRUMoGCDun&=Hs?Q@w+2rmHmstBju;M?CwiA6t#CWE;rwj zRnnUby6e&6L8v%Px|fsdDU&sc667*c8B)u-q0Q%K5nv@l%;5~SEZ9N>I;d3_9ZeTz z!Nqg2E<0E=*x*a{HnB;Yu;Dl~9SW1j!Np8-?}`TJVPKAamOtvCLC-bUxkp{PG^$M| zb8$5{wqhBYQY_NY9r|lBwDmiyQdwo6YhPlA{53yz)@cu0$R#dZafFeBBO?k|Vk+~6 zY6??W7~n!;@_`k)(nD`fXfHn!)l~^ss9kJRlNu3#D%Sc8e7U_ISvholH_LQa_Igw| z+5*~m87&a}wNx0@3J>H4k3TsJ$x-C7!0_{u5hJU=4u05qyPu(hQa0(qom%#T(w_c*znDWb)K^4j?<}bWHTd4iW*F8PQc?x%YkpYbi*4 zUYGL#hFTZ5hxRXRv)5cl8~DkRmSY#sabE8dppndj8x{XnbyuOhFi|9zlOgIK03^uDGbYY=G_wy5oLA!b#2N-&IM!CQ(0et*(2>yc&>GwBKF&f|rHy-mrq1T2g(jA^lej&)Z zIqaJlo`kX?6{XsIRnV&Qk&rbuUY_PR2DHn>Y`Imm`lPZ&3AzL(zRDCTNNgQlwd>xw z`es)NzV51g?MfKGr@?R?t{g8zo@FEI_S(ulB-(CU!faqPhx6!Kz$+{X?%cYaY6lSi z#e2$l)#XdVvXX6u{$2B+X7n-|b9Ts3aD#_o9PSZZ6_3Z{H<@!1RGEPL-auRxtW_nD^|3n+&mOxU_9a{Xn!A}#hr z^Ji+9Pijgd*=JI$_5iy_TI!uKA%up?yUPt^@zOci^R%`0T2OMtb z>Ah?2@`B%SNgt_Cx{%iTPWiQmNzlD6TfxS`bMSHTR>c;xXmb^1p}GUg8bBP`%S%$r zG>fm#NN-&1hkEPKdLQ3RG5$i>jOfB!C?>tU!=Rv=?5AxKe+!xrfCE%%`F%eb)KPwB z_W<5ZrwEb)oN}wub08IPPB~)Bdm(gPfZK0240KG2lMJ>3*Fdn;DYz9@do}zxq@b^` zSHbFKWfO2L#T$dD9EF-!47h`ZZxKN|Sb<1{I1AWJ{-v*g-SnRQCBS3u7!G2&oI5kb zfF-XDjf*64Jyl8=7Q&11aP>+7qv`m3^ojy~vj97);G|29x(bPUX@Y-~Us>Oy;JrcH zub!}v_*4<8-xF4jX0dPZL}L6}=ZAdhn2=wrP*xsU$U@^ZNpO`J59p+uu2$XhdEvx~ zfb73#_zD!XbEgYn06y#f z%g&PYzPBDxN$J#}LchnDxvm_IW+ukl=BAr1e22_E_s$s< za!j>ji)jkETpSG)1~}htsFiF5ISu4ETs$+O!;7g-#wdttkz$LgC$1`K$qIgG!qJ?2 z0%#_C2xu>-J+K>URrzkk!~%FJJ&FjfQkHhH>SvL<=1*|SL=zKMcuuiU0B2Z7h1foX z5e4^+NmMt|avJ6h*15#eEqk3Qq;oVIIwR3o&V$97sw2{O02-PT#t=clKjc|$Sc)!j zM5334rHW7tR~sgiR@S}%wPQYwB*m2>1r~_Tc`|cQ8JKKSAHiB+ zXpDdfqumgu%h*%HxytkSlUNTSZvSbR>rP1zvLBjGq^QNJRvXO|Sc>G>eMb zO+heZPfryTU^GNf=4EYS8rQ5x9`u1<*+nKaIjkc9wsFF=GuD(42f^Zm2OB4P!o@jj4i|&`!E^ITlAROxV}*liypBY{xgL&Jh)`ZBaS`Q zIO?;IlpeABMvXr-akWn##gcd~Z1E_;^3n;sN0FZh(HvRY z`|Wf101H}6%3*~|Ba;o#USI$Y*8m<;OMa4@7}o?=${*W5RM)qy$s0kmux+N|X@hG! zAA(cLEt5-WpECmzC;S-QXX)|2kFKPBKwEddH?0LXyVD&CD?XYB`hMYQh%AGU8p#*y zO)>RKY3MCE`V$l<@Bp-v`#tc>ijM*KwE}$t092RwM+Rc9`k}K`#lekbsv+m^LQruX zkOvH`y|UY>aBOXOlw&h5ocixmKBjL=;sY#QQchdwh7>)=kdoVsfEJ&JeRQC0)ah$2 z6IS>tLP#zyhgYLgO2d&2KQUu6wtjZgnrecu?!2vUj`VC<<_RjhKRH|yrNtj-DM<~f zsPfmMoV+zsK6&+RnDaqDpoXtXx?%ssT&)TepyCDy%>Svk2w2!yIFby(C;(U5n)cYE zseUK5r=#sqRW-iAfd)3?PBz2RB*O`{dyraInpty2bfTOyUr#SIOIu6Rc2dc_mJ>!=0sT&N?c3uQ!LuTFCXFqZkF+OKROiO4;|`B`*D$|2}@J-YeT zU|5Q$7UWv10~UGISs)Vwz<_Q#oai|sbiFYl>0Jt37HLc}-sm)jxWM*iu#sgWa4<(T znWmkq8MtwZ5TsbIm#O-G}A4P z1gfC4{Im3e{%A!Fc*iRRZ3}{>!}>#Od6u;ialpd?7a`$HnTjBTQvnb?L}7!mf}^%a zBOp$V;0V%zaYBT$kwpzz9UAf~Z}CnANlS z@J%4Szx+VV2C-H}y&NE@(Y%sJu}-PyXRCy6gd}a95FbTDaO$>TTr_bEL1!XR5lDsb zoAg4VPeWKQmpF*PC>-&y%R_r;9B>LQ%D_s4u$~K|0y`y|egh_gvcO{*c4?3y(<#W1 z&uAsE6E*{|Ar?T7VI^<`To)I?`yhhGMg13*7yER|>M-U)-UG*WD+DfqSI6V{r>f5qs`DOgxEvc*3yfGnO@6OP+ZS!$0Pz=4hWyC?>v+eA>C%b8^(< zfi1@}&%AW2(c{t2?#@=88k3$}bOl?6LM1)hbgH880W=fBaO4@GxPh%k!S_M^4zf%* zLf?5!@j3Adtn#}Bm>sUUB|yXE@pV3pS~7t^fy(hap!f7HA;5D$azc@1Dq(#0_NhY#&sI2=ZFt$`DByzE9Gh!w; zsFW7SGL?!d=4IKZ1Q&r;p%yq#T2?Rr_@RFm<#5`rJy0K_;ad@tUg9U8aeTb@{6U=X z#_XV>LRYN<7A(LPEh4(QhSBBysluEvcVT&06aZ&LBBDH(248%|!KM|zTP}9J>*e$h zc;7a+a%Sf2GBJQ@1&>k%wer{6p%c_Cu<5dmsS`65IULK^h=hvFOM*lpyXaz0o_$DK zhyh+!qek%6F!uvJ0~`K4MS|k$c-n$=@xdUVy10Fioz|P+iRyb<{dvXX?gnur3^>7J zd;o;*jo&(W^|RUqp!%RYFo%r+LRp}(pwjtZsUC*4((A{?s6r0FAA<3V1DG0AsNSTG zDj;o`VcT{fQdR^3+Hrc-(Bz=247en(m=0#EtsI2$;sRgQ0@*Qwxoq(ad0XHjJA@U> z#zclv^t9`sMtvXy%ajX<^C4SMM87HjS!t71t?~Ua!t##h=ED@9*SR*YSxxaDL8MCo%v1-F;jciWQA&X#xfPZq=%%-K@JELLX?Gp0z$HVr#Kux=U!Pr!LhX|ru&jr23qjUXSB{~HURs7 z3KK7eXf2o%dh?bh!ZSO3Me!II97I}rLwv7t+E7hcTIa@ys|ZPLKlrsX9UnT}E%AWg27B%;{EAi^M#st1h8%NvE}d zuaBfK6`(_6?|Kyy%UfW?=g8&?w*v5RLd)m|3~Y((MCh6bc=En*gsXcP0PRys6FI!z zs+d@a%N58J9$I7wno*eArn0_!E-2-siJ}+>!fW#^owM1^W0CH2z4%B+d@6#3?i6>d z-XqF{VnEcztPvd2{rdfk)bob-$4w*oSwFZX-V11^nkb=ke-Boc0{WW{;1AGUA#Ii* zVf*x#{Jk)=ll!wYyF>AVPjq7;K5p8SKG`NC4$F0;F?RGNpBE&ll&G!I z2^1Ak^%MyI+s@VUtdv+56#_sK)s}IXL=zJYg6y22g7Fwa5}>y3a#-l)(1vKTd#8YD zAwGs8Jq}AMEm(|k6)j#6=U!)JWEP%;r{CU#7i^ZfPPsjT*|PG@>Ng zGVcAGy2e>j$skx-ICHLd@&}T1RoSzPXf)-Q^;y{?JgHMT|MnhuKmY)UvHTFdma&0F zG^jK);~gnV57UynHbP39iwZ`T811TKS3%Sh<|6|?PNwTjz+83^yL=baTVsVsgX^Xl z#@+e~rGat107_O?l*^RuizRTq%B9Irt?lg)86NHBjG(MYnPO>!4?XQdXTc|Z{fr%6 zq8f|6QOBxdWFh{XCmVouX%S)WJc+Gje@Y`!-E*BLv@fP3RjBMejXk@~HpW7%?A%?< z^k~Br87-{5LAUqs&@(1Qv&<#R32W>#Uz}U&XFLYa|G8$c3hVoXgH0w+OG#jXGlA_I zALs-R<4lFVJ?;OtQ06_ANONM4RY+cfpBEiKnjzIWS_oNI;{eFViq#~rCR?CwMD)CE zW~^aobF0N^IKgU%jIcIs+S5!J8i+`!S$$v<)+k4~yGi|hG`E)|84sXEEQLPZ@7t5-o64~)OJ0a{!`#6ZSsKf^s4qupB`~JuvE4iW(?Zr+ z@7zSYM@+G`cyw|e!)2YCI|+(QCG6Z(l&e|K-bqu&Ki11TcD#AVxzGZB53$quKr5(C z1TFt}*{R}F#-`C5;(T%l`QaF$j=pZmKUc)UpnmjQ z0sY^kg*qFVK3f(xNBQ26+v~(v?NH`+wXd-i$m)VGEeK#n>E*HWjHj|@W96lLiIO^9 ztCG2<+NCZ+^B|M%@uadD(&^6tKPv98iw>$&$m*c;V;|N|J$m&|(3Q$F^V7GdrMpJ; zF#gM4A144AxXV;&t{u!Es(cPjFZvC>raDi-PD3#>)I^x%+v{ZZz2}?sTZ4}>UK;t4<(syrS`T&U(Ieo&wYejMj&36E$kVeYiylM4@0*8~ zexjm_hTi=42X^uJ=;+=})sL!nqO!N9wnCJX`iJ7==)_5p&Mc}zCsmrFR(h9RTQ9lt zzN9O|mv-go-AYyU=zZ4IQ`?X7ho(0bkn-~lIq1XzYI-}1EaIs1L*$7uHLJ(N`+dSU zSOpL>ScYQ$UadZO3D6v(Wmq9#9;#)E-vOC&50H^@E@OB2&aIaCxo~R_#bP3ytE6YJ zK=A_Uf%V=5e?Fo2uHB~vux`G++>baq)IjO6{=MC_F+&@HB@$>WIDro>qVcjkk5{sd8W})Q9 zIxs%4kSecPh(p3x+Za}Co}blAsqJrMaDntayLj_?|E(bSGmdK>@y!&B#DP2^Qqw4h zyzYup?cRTR__lV}+3LSGd15T7P`NHE(?-no)N(o{uyIZewN$Fg8bU#NvNR3fcL!*$ z%-<3nTrr=GLx`0S=C8`DO6p46k?bW9f7(zmD>d=*dcC}|mlw=9V6^_Ns4YEYKQFd9 z*xyOLJR7f|UzGgb;q%r0&SI-{ai-dwqZIh{rAPgneC=Gn^{*#3NgAToj#xps5+nIR zRGhONp6oRH!`bxG>bk~vrxtA|+ZKRQ`Nyl{=kmq4;cV=^48AswG5E$}GxG;ldzS<@P&`cKEt^T`Rlq9ymQ(R`P%YRT%L;xq3 zUuZ`(3Faz8FINb7*P3h*_< zWXTL}+QX5P=(Nhg$lAVBOL}!@W%U}RFFrr7hu3}TEsk~+O<#nzVYEB`;)}oYrY2Lo z)s>Q+NXt@1$0=2(vYxk-!#m*qR$bxQ#mCw(vyWlN^32t6((lr9Jc|HHSj)ERxvOV|yB`qqfMyH7X7HkY zR+;$(cU+zJ8SC1L>wYB{)jxmMzZRw3(uB2RzmL{Cu!DKos_o^&n#*SKa941$)9(J_ zvTd2+@$q_j_xB55FNepI(<=!i!7iBswWeCpG{H`Xe&Jxte0m0E&xL&~uJg}jYMy@g z+t+X=z8pfF{(dfM%qoDs?@w5*mxM9ywoU7Vi&9gYHu8q%xk$~}sJ6!PG9^z36@1ZN zY1G3Jc$GfG(dGRwrkDM$4$5uoG|WD}3DQ)2wtgT-JN}w8WbFR192tA6ckSC4>jnh3 z$7>iEWxN?RcI)IGfz}_>b)LSzH;qwGOYq&e!cC=@Fq-?_xol$>zKc0piH;iQtZ&%?xyF3K! zF0)tPe}!<9IQ z$9^R3pjI>|Q_hsT!jCWe@Luf^!M3yAv{*#cxB`yo=miX3N;mB-&zS!Tks)Z$2>k@T ze>@heCr{jPu-O8ZJV{6$s%3Y49JvZj23`A@epGe^%^W$R#lt7N?Hbr3>)DnXj5EWi zgHFB#4cTYSSNKE`%=h37u=k^szmq%}6h2nyvZYFv=UJNo@5!Cqv5fUN!Lf3Qm53Ad z0(Qbi>;fQ41gZQASLgSF_He$v*m&}3>AN$jCDH{->^`m5^{QYj3!B;Xh^ifTx-s^t zOs$msHrvfqeG1VdoS_{n{EH<~XzSh-^LDyT#t_4HWx>hwj@F|_>1_?bqWv>}md--f zKJ8hoN+75Tn_4G@LRy7azMbrP-ADPfOlit@L;!GU0pGR(=hIzS>beA?|NEzZ)wat8 zGIE<%VSfp0_%T{3POdAoiK$w#2_J9TIg>DKj<&}OY=>ptJvv=PQmkqVFcjVauICys zx^kusu4|8wIlIR#_*90kTEQBA{#(RNKt-6LY#B_-4x5%+u^_ZSq!}W?FI^prmn6al zo(RwhQ9dsj=n^F5cA4KHSp4DK^o-;njD?v$Oxo*BXppC(_x~VJLk&25fGZw!A&D zKB>f6C7WtOyu474eBmH37TtY@_2@0_=-x3iz}7_5TIpo3*wX&cTDb}U5{$*;O?&+V znnKOM#>mLP!pKC;z(mf#Ku!rmFKcfiV(4N@Kq11##K6SL!2VxJYg;BL6PN-si!hs* zkPthY5Sxgguox4&2)pRNfl-iEL`a00lbMfz=l?Cy{oju*PL8zs08lCbY09*{iYn&F z&dc`9W0c#wpmu0#MrzAnc`3`VK;^tup?oMISRv`CVkAi!7A)DtUDkPn#i3$H!UPfH z&(-u-$kUl-*iA2^XzzpAkSH%d#7zC|6HfE%?vt)rPGd9L&Ir%u-A5 z^Nij!XLjH16+^UZ3Mqd8niqB=z)b-&x~)w`^BokO2>|Ki0va*Rmmm|qi5?2)TB&7m zP8?G|u?9jlc@@@{pnp>LdbrkZO1OzLx!^5?4iyG9NoMb9j&0p8 z)kEgIP!hRAY2)EKD)Loz?Bcc6#u6f{6t0T(l5>b4 zrJ_$VHMpE4Nx?tloDi;r_bz5IS3Ibv0wR_Gu?5JqKxr6&8O6nHeG4n?sSAXf3&LuQ zjfzxpUKP_$NWZx(?z5J4C)%J?jY@vEl>v2j%b;Q*UpYrC88N?;BCnpS zX9DvaKU9|qtpKj-?-tN+po(k*dWD@P>&<#qx}|dfp90v2Aicsvn_eYp>+FP=&)U_j zpX%2&D1SMY1OG_{LdVXB+*01hD5F3;ZhK`Ct3W7A_;g>a6Xx{9o)7Ig*JX)FOlALq=zZde)9&hJzk7QC*}UP)R1>`_{(qK+o&8LbQ@cLHqVi%e{{tj+q2d4l diff --git a/docs/parts/reference.tex b/docs/parts/reference.tex index f1f5b93..53f420d 100644 --- a/docs/parts/reference.tex +++ b/docs/parts/reference.tex @@ -19,6 +19,7 @@ \item \verb|\renewcommand{\street}|\{\textit{string}\} Change the street (for letters) for this document only \item \verb|\renewcommand{\city}|\{\textit{string}\} Change the city (for letters) for this document only \item \verb|\renewcommand{\countrycode}|\{\textit{string}\} Change the country-code (for letters) for this document only + \item \verb|\renewcommand{\theoremde}|\{\textit{string}\} Change the translation for theorem in German (usually either ``Satz'' or ``Theorem'') \item \verb|\setcounter{numberingConfig}|\{\textit{number}\} Change the numbering of definitions, lemmas, etc for this document. 1 = Separately, 2 = Combined (except for definition), 3 = Combined, 4 = Off \item \verb|\setcounter{numberSubsections}|\{\textit{number}\} Change the format of the numbering of definition, lemma, etc. 0 = $<$section$>$.$<$number$>$,\\ diff --git a/main/style/counters.tex b/main/style/counters.tex index 3017aa9..69d0fb5 100644 --- a/main/style/counters.tex +++ b/main/style/counters.tex @@ -5,6 +5,7 @@ % ▐███▌▐█▌.▐▌▐█▄█▌██▐█▌ ▐█▌·▐█▄▄▌▐█•█▌ % ·▀▀▀ ▀█▄▀▪ ▀▀▀ ▀▀ █▪ ▀▀▀ ▀▀▀ .▀ ▀ +\usepackage{xstring} % tcolorbox and other stylistic elements (i.e. inline versions of them) that have counters \newcounter{lemmas} \newcounter{definitions} @@ -55,7 +56,7 @@ % Theorems \newtcolorbox{theorem}[2][]{mainboxstyle,colback=ForestGreen!5!white,colframe=ForestGreen!75!black,colbacktitle=ForestGreen!75!black,title={\large #2}, -overlay={\node[overlaystyle,draw=ForestGreen!75!black,fill=ForestGreen!75!black] at (frame.north east) {\large Theorem \usenumberArabic{theorems}};},#1} +overlay={\node[overlaystyle,draw=ForestGreen!75!black,fill=ForestGreen!75!black] at (frame.north east) {\large \translate{Theorem}{\theoremde} \usenumberArabic{theorems}};},#1} % Lemmas \newtcolorbox{lemma}[2][]{mainboxstyle,colback=Aquamarine!5!white,colframe=Aquamarine!75!black,colbacktitle=Aquamarine!75!black,title={\large #2}, @@ -75,7 +76,7 @@ overlay={\node[overlaystyle,draw=SeaGreen!75!black,fill=SeaGreen!75!black] at (f % Propositions \newtcolorbox{proposition}[2][]{mainboxstyle,colback=Cyan!5!white,colframe=Cyan!75!black,colbacktitle=Cyan!75!black,title={\large #2}, -overlay={\node[overlaystyle,draw=Cyan!75!black,fill=Cyan!75!black] at (frame.north east) {\large \translate{Proposition}{Satz} \usenumberArabic{propositions}};},#1} +overlay={\node[overlaystyle,draw=Cyan!75!black,fill=Cyan!75!black] at (frame.north east) {\large Proposition \usenumberArabic{propositions}};},#1} % Examples \newtcolorbox{example}[2][]{mainboxstyle,colback=gray!5!white,colframe=gray!75!black,colbacktitle=gray!75!black,title={\large #2}, @@ -90,33 +91,33 @@ overlay={\node[overlaystyle,draw=red!75!black,fill=red!75!black] at (frame.north \newcommand{\inlinedef}{\bg{blue}{Definition \usenumberArabic{definitions}:}} \newcommand{\inlineformula}{\bg{red}{\translate{Formula}{Formel} \usenumberArabic{formulas}:}} \newcommand{\inlinelemma}{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:}} -\newcommand{\inlinetheorem}{\bg{ForestGreen}{Theorem \usenumberArabic{theorems}:}} +\newcommand{\inlinetheorem}{\bg{ForestGreen}{\translate{Theorem}{\theoremde} \usenumberArabic{theorems}:}} \newcommand{\inlineaxiom}{\bg{JungleGreen}{Axiom \usenumberArabic{axioms}:}} \newcommand{\inlinecorollary}{\bg{teal}{\translate{Corollary}{Korollar} \usenumberArabic{corollaries}:}} \newcommand{\inlinefact}{\bg{SeaGreen}{\translate{Fact}{Fakt} \usenumberArabic{facts}:}} -\newcommand{\inlineproposition}{\bg{Cyan}{\translate{Proposition}{Satz} \usenumberArabic{propositions}:}} +\newcommand{\inlineproposition}{\bg{Cyan}{Proposition \usenumberArabic{propositions}:}} \newcommand{\inlineproof}{\bg{magenta}{\translate{Proof}{Beweis}:}} % Enhanced inline environments -\newcommand{\compactexample}[1]{\bg{gray}{\translate{Example}{Beispiel} \usenumberArabic{examples}:} \textit{#1}} -\newcommand{\compactdefinition}[1]{\bg{blue}{Definition \usenumberArabic{definitions}:} \textit{#1}} -\newcommand{\compactformula}[1]{\bg{red}{\translate{Formula}{Formel} \usenumberArabic{formulas}:} \textit{#1}} -\newcommand{\compactlemma}[1]{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:} \textit{#1}} -\newcommand{\compacttheorem}[1]{\bg{ForestGreen}{Theorem \usenumberArabic{theorems}:} \textit{#1}} -\newcommand{\compactaxiom}[1]{\bg{JungleGreen}{Axiom \usenumberArabic{axioms}:} \textit{#1}} -\newcommand{\compactcorollary}[1]{\bg{teal}{\translate{Corollary}{Korollar} \usenumberArabic{corollaries}:} \textit{#1}} -\newcommand{\compactfact}[1]{\bg{SeaGreen}{\translate{Fact}{Fakt} \usenumberArabic{facts}:} \textit{#1}} -\newcommand{\compactproposition}[1]{\bg{Cyan}{\translate{Proposition}{Satz} \usenumberArabic{propositions}:} \textit{#1}} -\newcommand{\compactproof}[1]{\bg{magenta}{\translate{Proof}{Beweis}: \textit{#1}}} +\newcommand{\compactexample}[1]{\bg{gray}{\translate{Example}{Beispiel} \usenumberArabic{examples}:} \textit{(#1)}} +\newcommand{\compactdefinition}[1]{\bg{blue}{Definition \usenumberArabic{definitions}:} \textit{(#1)}} +\newcommand{\compactformula}[1]{\bg{red}{\translate{Formula}{Formel} \usenumberArabic{formulas}:} \textit{(#1)}} +\newcommand{\compactlemma}[1]{\bg{Aquamarine}{Lemma \usenumberArabic{lemmas}:} \textit{(#1)}} +\newcommand{\compacttheorem}[1]{\bg{ForestGreen}{\translate{Theorem}{\theoremde} \usenumberArabic{theorems}:} \textit{(#1)}} +\newcommand{\compactaxiom}[1]{\bg{JungleGreen}{Axiom \usenumberArabic{axioms}:} \textit{(#1)}} +\newcommand{\compactcorollary}[1]{\bg{teal}{\translate{Corollary}{Korollar} \usenumberArabic{corollaries}:} \textit{(#1)}} +\newcommand{\compactfact}[1]{\bg{SeaGreen}{\translate{Fact}{Fakt} \usenumberArabic{facts}:} \textit{(#1)}} +\newcommand{\compactproposition}[1]{\bg{Cyan}{Proposition \usenumberArabic{propositions}:} \textit{(#1)}} +\newcommand{\compactproof}[1]{\bg{magenta}{\translate{Proof}{Beweis}: \textit{(#1)}}} % short environments (abbreviated) \newcommand{\shortex}{\textbf{\translate{Ex}{Bsp} \usenumberArabic{examples}:}} \newcommand{\shortdef}{\bg{blue}{D \usenumberArabic{definitions}:}} \newcommand{\short}{\bg{red}{F \usenumberArabic{formulas}:}} \newcommand{\shortlemma}{\bg{Aquamarine}{L \usenumberArabic{lemmas}:}} -\newcommand{\shorttheorem}{\bg{ForestGreen}{T \usenumberArabic{theorems}:}} +\newcommand{\shorttheorem}{\bg{ForestGreen}{\translate{T}{\StrMid{1}{1}} \usenumberArabic{theorems}:}} \newcommand{\shortaxiom}{\bg{JungleGreen}{A \usenumberArabic{axioms}:}} \newcommand{\shortcorollary}{\bg{teal}{\translate{C}{K} \usenumberArabic{corollaries}:}} \newcommand{\shortfact}{\bg{SeaGreen}{F \usenumberArabic{facts}:}} -\newcommand{\shortproposition}{\bg{Cyan}{\translate{P}{S} \usenumberArabic{propositions}:}} +\newcommand{\shortproposition}{\bg{Cyan}{P \usenumberArabic{propositions}:}} \newcommand{\shortproof}{\bg{magenta}{\translate{Proof}{Beweis}:}}