From 9007b2828b1e8cea4d9751da7cfa91f66c1e7462 Mon Sep 17 00:00:00 2001 From: Sixto Date: Mon, 26 May 2025 22:53:59 +0200 Subject: [PATCH] =?UTF-8?q?A=C3=B1adido=20el=20algoritmo=20de=20Buchberger?= =?UTF-8?q?.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- TFG_Sixto_José_Martínez_Gan.pdf | Bin 224246 -> 228188 bytes TFG_Sixto_José_Martínez_Gan.tex | 39 +++++++++++++++++++++++++++++--- 2 files changed, 36 insertions(+), 3 deletions(-) diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf index 19d4938b85cc4db5f1f155125d29e5e21668c6fa..a3b61e0f2c7f7d88061a6740128a4bb4682be37e 100644 GIT binary patch delta 41435 zcmV)6K*+!L*A3kE4X_4J0W^~l0x6R)Pb~onvtCbz0anBx3>@wT&i>SE;kL?}w93k< zLhhriDHmzON@0(PH;))Tj+oC?doFDp+Wtoey;Pw+18>P+OTJi3K7ICgL9s$q5&&(Z zLyXcs5nm^!`(XDAxF4bHvpZ3;i2^n`lVJoXldyONe>ReS?_W`|Pt~z17$-r>u^ZtX z%bFP53VWybVMDD4s)}mU%c^SCp|!j-|9vx&-~kYI^r4nKF%eRe1aT(v_%e|!KDn9j z$;*rXxVrf2J0aCXa8~d_Os?KdEN6L^O>6;IcyqOwyq^Bos=S;@!>6}Rx!ToD(>|6P ze^)hhf4%zd<>kz9KAq9!$8uAz>D5oy%7{(%J3akpT|wJ7SAY5HJ1d9dYb{x(G|bNp zEd*A&;C{yObu!ajv0Tf^OcqS$np!F9SqL%g+AwWQ+wpJR;FcAZ)7UJx*+j7-qdMBx z;lTu%&eder*Q(MzX+4<d+>-45oi9yE7#dhQ}) zS{08r_aWWW{fs96F}*~jJip8GWNLXfV;R&NE-yK&j0vOevAD-$s*4v_7w<0w%mKQb zXq7Xg?8F+&gi@3F^5XRyK3Txazf3q&MLzjoS9OWiL3UsQ&E&5aKYMKu(OfIoJOk7a zf6#038CUt$cd)2Hm+*9@7aR%_cvs6AWGHIs$6Fi@l>sd}b#Z!_1gQZw6}Uvyn{q^GX*xnnEtm~OJhHC_cpKD( z(oDdcf1-oWiw+|FJ6>O}eg9E)PlR19lhXbX0McmlW&+TiHWqFKD}*|2KC^Sof2X>; z`gv+0jm&4pnUTfa%%?s_)z4I#`3f){#nTx+p{!B^^C*LaxFjK(7fHDFz^)E?vf+XX|by9JLPSS^TQfhu68i;lIne&pL zc3y)GP@t);=uP&W?D|O328R8Mhp1qcN0Y+I&e=@ild(2!5 zWx-s_BlcQih(v1Wi!&i*tlknlm=)(RVO#5j#a7^RYhJ+cig8%d5i;^2s_Jk z5w7LSQe^gE;7b*Vtn@jQkU2B?@xT}MrntTbDIOC3I~SJNW9r;WfD-0BZLXtG+~Xq5 z)byOvJX@LTPp8boEu1M}e~Jv`7;ZoVP@^A8;8{~lZ#VT4&yi*-<6%$kb@gjC-|zfu zJfgzFx0jMn_w%Nr$9e_LR%@!WSZ}HH!=*6OYF_!rMfGdBTC9@{ggPrT9hZHZbhO|$ z>$ddYk^vLJOs4L@tAChK2_P^n&Ou-Tqu}Z^e*Th4pweN*hyrQ&e;ls=%fQb#^|SX* zpSC*sEUP0Q!D$&mj<2!SWTp*g1|~N1fo}J1QEhMcctE{~X8QElkyK*%!(f6DyP4n#-v^ptwP_oQk`fJzgu zi~3TU>4$n-zioV#f7`Vu%nz4^oL;4mbnx6#-VK-Eq|Xfo?B?($I8=G7ed9gJSjOek z$=(?ubbAdWoGVpd1i)p@r+iwaEJGb*G0;O4g6 zmUQPYTj1#=;lMmAlbP-mcot{maOxVXw}p;k&~|O<@>Ph(|JNCNOHJayh=H$+cDk@87rU zYditG)mW}Of2Z*lM1g~@JXkW`fDG*h)R!oyaFNstz8pLZ_wE_hJ4{_^!MsCfuZV-?F<4d@maFqfEFYPHpY@X@ZJ;ExMupnIX>FsuPKKM?&83*G=hdQe zT!=;U_0rd>R&=FAR@KK5urSmc)EBVFjfAMfd-nwLXvnc77tWeg;5#FO5;kEH~t^xHmyL#y#BT2%d4;TSiHx%O_>R{h^ zG0^p{-jo|EtNeJuym74F%Ymnl{^CbmwLOCGv_{uy*%x$EO)Pj@@AgBw^QkkwaNU+o zy(rrgJbpVWi!)_610fNN0i(+1~8X|zZ1d%tzr zf8#P_f(H6L8mN08v)-2m;;~LvO2sX zp_CJygN$;Qzk@FfATQ^;N!YhdHF?*c6$Qg6tsLxbo4aBD@At$Jl~GK};=bd+7|cRZ zFwWo8rx_Yt8H1mzD8Ood<%{*IwMwgce+4egI<$WcAs9Ze!@i*Mma_dK2S3dL<4&gC zSMgQja2#4g7mkCQBiK3vKbhyB1^9XIPv*ke-oU>9X;0`%sbac*yQ@|NWR&t=9uzx} zL`940fIAL779HS!mxk1;KLhPtpSm5}qtdZ30Th>cM37h{h3_S-}J~&RV`!*!|G8_0)#ngr0esdd6eighf z>D6}sc8LQm_GHO2epv3Uf5Qbl7S}^Tn%60uLU|^~9Fbse-W(7giHQq>XGc_J#xhVs zvq3dykzs*1V3Iav!-xVex@8Zx6a#JKnZld-zHC5C9ts?TJt=y7@&LNXlXTG$T}GOq z?_)OH+2q7$nhS=X=MKgB)qw;EE4#4|T5P9?J_i{Nv4=Ur9*Wsqe-e9`KA43k2J2QW z!oyIyE>UlhfF)0W&{*Xs%%T=ujYIH60IX3RmCo3YHkL!6OM8^1Z3H>G^^B2%&Iu0S z5lcyJTcn^5A~b0vc!9ZC z(VaBR7P<%3GsSbVf7{%)b{pO*iD7#Hmx|6GQgttD1y!b-r3a752*-rHm4X}_K9unBHyhyOF!)n znvyGb;ND z%{=|?13Wn@HTCZU+g4gfUSuuEk_y|_*H0Tit&@+k@<(S7hsOR#chRXxH zqfle`$K`spUeWcV`b_C<4ql2QW|#3zD}XX7NqMPPyp z73bze0Ux4U`_vt~DBFj1e3O@L%eHv6-j!6dla>w*f5hMFYA}l0A9DB|{o%*7cLdhx zjwh|J(kQJ^;*?6uhKaS$lLzbIkgAi3Mb25)DsYxlpKs0v)sCz``*hCXD7>rtfa|ZP z`Rpdy3nJp;cU4D1>h20ez)e6{E z0Mc}Je;5=v=-y=7NR|x&4sHs?os17jWz)AlB4vC;Dx3bfZr)a#-GK8#)x$ZHy}xxr z}EJLxC#53~&*2;qB$?H1-$nW1Da? zW9%D#d9gb5^^qP<=FI`KX8V9_t6u?ZysZ%``AB=Pbw?Q+tQWZW0i^iJG4%R&y{!ia z-4Z!lo#HVKa7YGBhAqFL%ied?G7R1iW=aJg>GC67ioVG=v)(ef0zy5oZi+l((aoj6 zf3pU#JP7_4F7?33j%l9-9ao+){fq;?+%XoCW|EEI-_L#5K`vl(~`qDzk z;XW&+dl`7ar@J+M5d!7gy}vyM!yH+Ni$j zMvD{xRR784;3(yfFEAf!y&=^H4-4Pke`ik2v|zc20`#Qhq?UvU;Odp!vm~V~xIO*( z>1T{68Q4}Gh@Fm^7YcegbP-N9{ckGwAzj(!y-;>$_X22kDJWu$yA;UYP~ax7T`QEt zsC=5HpR{1*t$h*#o{QSe(NLwvuc!vqT3XjP`}Um4ySWNnZyiK{Lxz>OTh&MAd}3S3CcP zKF5H@JExpn+1`)c>OhWeW`_Cfp-OGz!;4c! zBnN$FqqEPEV~Xno#?_}BQ(yr*e>5SeyYhVc4llYRTo;ycl>JDBuhMz_0Nupt#C{9# zZj8W_KEn_=-X!n`sguuuKW(pI`;exs$g7vmtlnpVQk{P%3zrq{=A|{dq#9b5@|mB-7~-79dyUW69$A zaU~!mD`cMq9jqG${Wk4~S|+oBho$+U)0sY#4pu32Mh9K6_T>4zVMc}0Tp#d*g^Ip1 zIWz?{UFtlc9S<7Hzx$cHe?c|BlzDO~+=X8sw3Nt#1S{bOqF*AHeaaR^Khs)RyHqCr z$Yb{0+LWGyK9qnG-ZriOYA+|Q?uGji1pI9aEQWtSw}0W^%KdHonfZ=peNU8-W_7Sf!EmIgs@s|X z-f&(*;DOiK6MNs!1RXLarOTBQjH7*b|A+VUvJoU*H*-+lMze^4msRb?3` ze=<#>CsXV1`NJ(2Vz*z{R|_VRIVbk|w|rY{?d__t*VoN0m-4PE8vFccFK-_|KHiu4 z7GL)&aYXtnyr0sUB3jB6U%y~dk%Y0?f+r*s%2L6<3L4+Mdqv?UnNgrzkSr6kOeQ3e zVz%78`fUakU(ZbKR|(--iP`_mu-N`le*#V2zyAGlGYi}P*!!!@{|CGNvG;#MgsDfU z*38tQgeN*lVO&I|Dw}P3MJXdZV~L)vXRjp5B$tE2w;>sR@C!fsMQ`|K`DvE+7j-yG zW>Pn0QSBPLE_NAuE#U2xdnWibf6VP#=Ii@gpsKP@Ww`#o)Xm1#`)yy?ZbLq#e>5XP zX1?F=|HD?|Sx^b;0IjahZ6cC5g@o~z!c|u#BRWe=4M9=?6G@4L7no{g?0t-66lSZd z1+S#OKiRJd9i}Z|?_&exhIcPMyl-P2WkhAN*N>+;TzUzj)ve=4BS$^?;X)D)B%dQc zu4w|oN;0Of%{emFwQrlBEM{#Le-8z%DENVlMIpeKOp;WoS(Zv7U~$c~q|@laPz-ci z{ow4JL;ka>JR8P3{BYx2^aj{YTAybJ^I)d!ZIM3_22@G}PrqywpeGDZz90%5=!XnJ zfGG;Q&S_l!N5%j*jwm;eA%HV1vQr|CLx8LPUXJ!j6c!eRNYTW9MfF&FBj9ge*qrEwEnbx8-+5s<((L$aWSBr@J_FZccfv+wCgEJCSXx_ zwKh?SGB2Ysks9p%;lT!oT)Xjaam=4j}VP_uu)a z6DDt@>~M)SPhsYz}IqT(^ef0RTJC7mNCJMM^a z)xS7QX^nlF-vog+B>Z!u=lQ;&VGE4)o(-sfo`Odc*jcbJfHslcbyT zKTS;&{cI}T5UqqVBRWZ}{>X}qA4pVwMxY}#tT)wmUeqM$D8w(;*8V~;=VYXBC)drx zqBjvSH}GJ(oKJAOe;e93LpBDHk?J5HhfwxS)b|UwzJd`KAR9P=0;IBxFlv9fsje2B zsd=&874~kKZ|iG&`_RSaD*L;0nH{}j~?sLxUC-WmGI#&Ep zH2y`tyWg*Y6roX!h|TZ*p5Xul8#k8J5PO4-{M?sD8OEVrZi>-tyJsl@xY9gqdo*F3kiZ z?SAaY#&(n#f4Oqi*R^FiE;vzWPX%kRE7#>mH?trJZa#1`a;q!E+{L}#+;Yix#kS~V z#gm9J`B*}Oh6 zGI+NxHm-&1LeC%8If%tAPw8FWc9OSk%4%6Yl(l_a*}gOky&qh}ihGdzIwmIeMOs=~ zHE?)QIclNM2oYR6u{U*AuFX2P*H*I1D>}z@bj==JYk(FU!Pd6k!ZNmRXy5N8OCwLY zAGiCve+_oG+P6ik2`Hr)^i!Y2<0T>JMK5DSy5@$+y++~x>#zav*T34Ev>;9Kcg z))=#FDqjN6ofx%cn>v)4ZF#@PXlD^>62o~Ne@M>F`(pE8SW{u#n+h^)9r^-ccjc`z z_jdnKSNB&S{g!$)y}xFPP}#Z--b`$sy@<(IQD7!X2e{wFm1s~zGL32oSlf2@KY-nf zUcC=7Hcb1B+POzVvz`ZLJ&iM~*5{h_j}ruSnG2^8)Ow`{9i@u*Df)VHp3+NGbg?OV zfBKrG@hOtgDN=#MX0&@N7BEubWMS{%Mh6Ni15H!6xb z*T)r@$GAJHx41taO$S)?w+Ylrbh}H0vmg}_>=R9bJU$8OQzjwYXjp%vVR23oU@G@F zn#UG27jDA=Y?daJ+uLv&w>f0e?AMLEe~o)WWd>aBY5iq_VY}V=449=um=$^`h65pk zndg|A5ll%0gce<`=ZLF>i5&!1CS1>Oo9JwaYGcegf%^0m>Z5o(T$L1h>D2;L4fVfe zVV66Phx8bck{;Yvfs)R;Ahxr=u3e`O>vCyrq0A~0S*T!U(wQ7i!OZ#!rq?bFe={28 zW98b|uCjUEtcofsm!Jw$A~Xv*{Vy#ycJrr5it%nn7!xCV3>pSfs9U!E;XmJYFYfvN zVZyW?0z%LY>&wUYH~$@>DePs+u9Kixidm0v3x$1~oGF1?S2`}2&XQH4)d-!EH;5+c@X;W<5f2z?aib7LVAJ)=9@VnFyZ_PoU4H$EC=O@7DIKyU) zWL-2oiccw#O!OV5&>1=w+~7P=0{aLRvd<3eGiPOa^Q$q&mMz+jtUNT=;^;b?zbd!8vZZt7%+uuB5x3ptjWG>c3)6UF>{>#F+_$q6?M&S0e`;o6A<@I5 zke$D(^7d(qJJy+?VW*aZiJn+nBC<2E$U6jz##u5e7&qP2o!zs?k%x&_Q-h^EHAYQ1 z*r7&|bome8Ooc0Say)ctG3k)X07{-X(|P`ET{b(ST&sTS*R*oYj%xe-Jc3wUr}E}U zKNk(SOihpmrfJ6YL5~1Tf4WlVdF?JW#*0n*v#rqcCq0e}a^#UTo{GkMDOQCmGcL%X zr_h6lb=NJJ)*zld^gY~yityteg&zG$+9D)ejpd-d;|&Vx<-Td$ef}G^5dUVM-j?=i zF#~SUIrAQ|^V;=Uxju8-XAP9)OQ*U-Q4=f^rSuUX;oTNE>4uO+Pn5W0-R0}HP6p(A)!1lt#LFlFZjA`m4g|vG{DlRSAX(s+F%3D!T{?jAaw)gRrI0>|)3puHeYY z3}W1?RZQRk;>e};f2KnOjaLw-$<3y{nm}1~Z66Hsn>DEIwMAzWkAwodnz&lwVuedp zm{2Une@zGm z#ibxwb~y5;l5hsV=4`{!PN9TOR2tiYrJmk`nLHEW&e?)TQH!ig`joMLlH(C?)M7^r zGYKQ=;qXK5yqvOejL${D=fkl(Hs|7mor3q5xIAr% zuPvkJfBULsdK;TbTGuobZOsuk8Th89Rh98-eACdPa^(;8%7-N3$p~DNSG)3~i6lv% zbd{Oh6eEUIDzLN$c3rV9Fonjav21tF6NHD-_C?bBgkg!e;S+NrqsE|XrhQ1q_kmboXyco(=Ju5 zvClSjl%=B0RlBx7pwDfK$w`JDtm)H8`es8x8=HwTyz%(*3e=rXZ zHx?aPGOqvHUX1u-vbljn)*?)=$KXppzMN`&6XxugEyKJxra}VmXM!J%H42@brs#(W zX0N0DxpOun9buRt1gcip-Qz@eEajh7t9*Udp{tYhrJ(z=)-Ce@a{7pcdG37fp%Vf=MsJLKGODa=$l1$#QLkjytu( z6ggqt+Q-0`kBwVBC~UT`f;WG(57uQ3tuW`>^@xg{yY-sW_BysZhKiIxsPK0{&3^4u zGVt3lxN&ZZRf+lEr|g@~FZ8`RVnDS?yw0N1rHRr(L>otpExs+6|Jv47f6uX-415u~ z3qKy&ho#ZY``a+S;Z6K=7s%&nM-gMO>`rsSS`4)FaM!Zwon7i&H33!vw)r5#&Jg#{ zsGKsQJMYS5W+OWa%ZB!m1A7{ld6uc%@9{D8sUDD6w z2T7D3t&WWNE=I1&(faU2e*}|&x&*FJxhha|z+10J5c_xo@?9-aqVcJ~@ZSfpJKIFT zaL80>BA6TuI`A||qEs{+V>07C3)BC?HwI4dsrN-4^OHWc>~x=6NK5Fo$YX-kQZw{5 z43-LvAx36#dYkseQ~I!&JVe`)e$(u##1t`J~e z2EQ3ONf>I5go%S30o^EJju0p8GH%baXvUr*MB^dw1I|$nswG3B#bMcu#SLN`I+(RY zW`o?EzdDZ*)iyC0uWPqo*{nq@al4Rx_%**<=l0hBZa~0Fx@uv-J{vn@han1k@7|GD z<$7KBd%;ts>k^t?f6;ka$G_yr6(?zueU^_b9XJhf?dH$e^E*tLYTEqO1ei|IVOk}u z!T6{h6cz4TR;Xv>yPDW%lm7(QhoahgRYf|XmXi^dL>afp|GfxH3fp9M><}4#eI)58 zT*tnkkaVE+$v?>zGu=gCx(}1_(6m_es(HQGExz@wNhe|Me;ls#2?z_$nfc6Yz-u;v zILaQumkXz6nRiS3sR=8%8Q1mE_4s49S)Wc(6Q^YrRc+Ei3l30yuaY!Q* zgvk_YE6xt-b^$*y9Z0fD?e|7ATt$}3p$L5Xy>a%e-M>Qu3A|a6pIVD1-hXcGl!8pS9PdlF)V|$R; zFoZoS=*i-dc105Mv%&6i{zy5Mn&~?T*Qh zq6!fU!bP%dg7cs+k@zVi*+!q9r__l&^)kRVW+{FNSeD{1!BXs*ER~+bQYWPDPA727 z$$Y8XB%#&@@^{qU#UK!-Fi8hrpZcTl>;GfmfMLf6WA)(6V&gOM`WYZNscFdr3NTo_ zij6*1F#7o4&AV6s3!0;9F_X~)6BslxATS_rVrmLJJPI#NWo~D5XdpE;Ffx;21So&a zJ!^B^Hj>}{E9T><*2Bev07-A&2DFG_U6TZy?gQ3AGnY+&XR%^eD?1BEMrNo^(-sk3ctKt z&3>K#t0}J*Lb3VXx@`9KdhH&|t-XJ%)^vUM!<(yxVr;&k%RkF)-O^7#UrWWe)gScq zOI^XczrFkWUw_DiKYyBvM9UQ5GgEVkon9~t@oeFKUx+N>g{EG2?G}cWn&5!zy4oOQ zGMfXy6~M5)O49^kx z72TA}c5_!=OU=v1&SwE|!+g5pYF;h(?Y7!ke3_50)G8_9*5X@HAI|wKONxvUO_Ds7 zvjqplEy8t-bSe>W~ujrNVhO8Y(WcE%Exrqt_0kGszhiI9N2 z*YC6K$BK|fnTEfL**Sae0s?37o1qXB1rk!I%<`9;GhCFU$bld-5ou2S{x%6)$EuGB zmN*-%1@xJ}!V9MhbC)>Cf+t)TCt=PaFylxOpk-#)<=+w1Kv-3Zy^4QS3@ENcN~XDC zah|G>#aYPWDg5p;L)A@sOkQ}DQ$g@@Uta#=K+FAZ1#|;B6A9-QwC|&o)rr<9MPA4A zSmGu^w-m^#zbvPo2i6zo)ELYmry|hm0h}tL?0}q_ng(In=5>ryGb2O+H%zf=8nCLk zj8*lJRXbAxiklOC-5r0YyU6&U`WeuWoiX@R>Fe9bngIVix)jLEbl((M>MPdQw=pT` zfDWa=@jbYE&YRjsmmiQ(Xx72&;t$c#W0xl6`)!Ob7m{bNW-uVop>TkI6BSJ3P8fMh zPpN5b1@q|~itGdO3ndP)SevPjM6Jo#;!w4%?oz(mm zBUmuTVt2UNAcCvIy0wU5P7U*Bm8I0GiXya-0$hqbrG$T*dIr4I0I!e%aSUX8&Ia5p z#_YH7x`7bNjL$KJDl-8~xo)Xt*EV!BNF8F6OC9cB((|(2*thOW`*wMAEtM)ahOGF? zwp`YweJE+Nwe5VjZSUG$$7?~V_*c_ICc_l6(J5x8y0LR(KG)|wrwPpYwOQf(u z{UfEgGl?kX!&e79r*xu|MNcMS zKLs)upmeo72{V5L$q^CB8AY6#=7H!q=nX&6Ep2}(m^F!M0uKC`IbbHz=^SG2$4=0I z5z~(q{)!}H@}itT9rZm0S7+yh1Q==g7~ayQgb>d{i1Tx?0U@5ur5aJ`+)#Sx1S)}K zQn`M}wpci6N2lSWqXZYu3No$I(P#sP5rOz5WIIv?9w8qXkAIuIr^S`uge%{XciKcWqw-u4qdaRT2=&gN${eX5MbeJdc3C}$>3uH{UB(+ zQCoY0NMD1kUhnHW>L^I>L5FgEOIxpA8||3(q_Sh(UIAC4Sw&A1P3x7}rcJ2t>xO8b zBk4s*`gTw6IBQ$3%NyJB((YPc2{!*+8<&4KWo-U&Vw(~;qho#}W3wXB!Pe#b_5-ZycAv?M=DcmyH{7iw^W%?Os?_ z?z+clvMIOpY!pdh3l@sZ)0zgVUN^yG2aFL&Ht^ZWmpU|45|i=bWJsAkfdhGNNICX- z)2VopbCqbGJxhdqZX~JBizJm}QiFfr_gEo>DDMdSXBor>V8l1%&)vG!-=)S(56G&L+^*w!jKz2g})R>;0zfrlHA8`gwm$IIWT-Sy z6!+FlIKsb)%`Y_oa5`4zd1f3U8HnP@K~5>v+x5GR>|j_&?@6}nrsn%18%wvb)$Fj( zT%P;i6D3~AThJ}bkNcpy$O4jg?gjW1mCwcb{0%r3THiF)wri)F##Dd9`vbKOVhXwo z6`Uw2FoSEgt}s1m5`hJ90bCRf4?o7UON=F=c+TvSI-Xq;nD6)c`Hm7GQPKsl7kNQ0 z7CfRTiQENoqW{6@R=C{I5W>R_NU4cfinr6NM^TKzDKXY#*sG3JTf!^ z6ky+T(aFnqCc7_#zZjS|IX`G~Pcxd_YpD|faB~X`%zA#U*)8%R3pY-El93Bnt z(zJjD=OJayUI%~f*5OVHPkUFfzFAk)WW*TzG<8D>8hlvUUumBU8sbQTa!)`7T!!SN zK?%)U9hn97%_Wr^aYg zT2v^oP=ml=*=}wi?C*q*7sY&CH}rV|qqxSj8R=uJGt)b2p9-%~rSJ~#H*p>1MfM4e z{xdQ@%|{KGy1-xu+fXaxHO}_APIRiz;(BpXw6jy9t^K_?6i@`rxA%IAioI~6)9`gk@fX>hCi)hDYhtv9cP^X8RJ?!eXa z=Iz&7&~0CC?%HKbJvvr52}NqN!^Ia%fc8l`zx&o3+eXy z1!)*)uo@<62C^h$`6)BNl{m)?Fg9jF7J7A@$>Y&7?lH2H&SBPnK=9KPJLH{)b97i9 z%C%kTNnTsX0u%rn?C(t2BHY2SbL=oVG)N-(%2KfjL!2`Z@${st>pHmYB)ij8ffH(c zEBt>`uKVxiY(lH^OWCB$&avEGk6i&4;wnz%InGPoZrba*@@Uz2*3?U@wtKxDz%xAO%lF@%xv=Tfz=~OADR5R{Us&MC0sfs`KJ*a^)qu7@K4R03u1z_{ z|D{^C+ZDYmZGs4|JwxM@0TFK+*Y8769w_^`+{AIhMEJupKuRsC$W{mbWI{oFkxE~2 z$dA?LZjF-Z&qz;wbpk$_O`k=KVyns&0ZPT^EfB&)F8F}Uf!DQb==YIqg9(2b{T^Ob zA%YB+@@JEfLZ+Y>c2%<}cS~s5uBo)ryiZr6A>4c@x0c@UuyZcduxkXDPc^-kTk!F^ zGiAF1Xa(V{A=fKvC>vaM>a}*Sg-AlLHEvMd5Q*TCI2?OIfc%Gh-8K;dId@;@o1fr~ z>W^jFBs73W5d>;y7B9ygs?~o)T`_Hv2Y9}Z`+dC6#(y*AW)=Cvipbc&sRQrvoLT@G zOOFhzPgD_9(%(;{+vO-i8#%sOoIwEfI0VQ~5nE?pP)UCW1?{S*T{(+R zCmnTw9^>+3gbk+tQ`r;+PGvEO35K}>EyDb;*;tv7T8J}6dUQR{h5cdakRwYpf_<3c zmcVKv3;fZ|auZDf0C&hSd`EJ`&#*{poJlyI$eMsT{bGy5JJ7?;uwH}ZrjVsq=KSc+ znf+L>@BY$7%k&XN=VpJpN|9ZCd#L;1njGspa49HGqKHL;vB1yRBu{u|2Ywqv5c=td zE$(R39b(bJx}CAXe}*jZsSn>_krlk2CtAng?^gu6U}?lcCnC)}l@$i`LIaxM8v##1 zEIkUxQ~1dR!r;*thD*apxSz2bOTe7Ap7O`}z#> z*%~Zk0g4Y;%^A(fBwISM*Wv+Qz?1?ZD{@bhh9s3t1EJ2Os8q)&>V|q8f`V==B9iZS z@I1Rog3`Kp1U(};S5K!bJ55|q2}gFqAr+>Wo*i)yfm2whU%{9#XvM?DuofUITq%K7 zH}RPeDK&t1RDFN#0jy&vu`|%oC(+UI(uSe81cAOx1iFoq_nQE(Dd@#CfPior`0#k4 z1E>=2m%>ey+A5F^dDI+glPU}GA7zfSzQ9$UF75an|I9oHK*R(i<45M66}pdq*p49> zyX07(i4&->WMzD;Pl$eD3eu0}a07esc>?6#5xD3iqG5kBm~r8Qd_PgU=S9R5VWsZB zNIYZNxtt6=S@GDYU$k1Ie7d(>_mk80ET)c}oiGZ8A7#z_$V`eZGAq&m-NIxLEF!;5 zMP|hyGCSup2|m3(XLwBaai`i7$=@Qh8pYE`Nae@VROACxqO&E%9MhIf++_zRQgxX8 zN5q^jSO>I3=DH0ki7oienQX03y`5=NV#Ab;qU+a{NHb5jzTcX)XpY^ zS;fqQ``AZsRQAS;$$BUau^WGqNNT~go-(2^YpPC}i0mvAAs^L548ENmBzP3CRFK9y zLRq2w-Q33w#xJGpgLUvlKPDo?{YE?R*pU()P$6(>>_ARt0#Ut7*XpOv#nzy6%X5msKLQkm-RK%qUpKRL9c z-f~a*LPcNq_a(B3d^(G$`sn8K)k1nsPgo!#9tHkbP1%tzP|m6fb$grLer{iz0gIP| zS(krQ7_QZc9FqR3a!BdqDh}8yPclF;OJp7->w+W(FN8^^aSR)Eek_aOL~pV{q8kh1 z%-o${AfxFma5A+pHm3KP*n~pFlC(t*>RFtM71ilj5zmJ@#}n}SO}YZAK#<4Kh>vmC`8{sy27Pn;yP~0bc zTrGl;{X=^B3zrcuX!x&Nil^vRz@k@5Tt=2uyY?8 z7QvY_uN-I=lD@19pRPrgEe{wwuIzX*Vi7 z1E43QM$MT{_{;seWTukbBe#ew3T^>q!J^zprv!G^V}GZgEKL~8Ba?;0j9Gu+egY=x z9be!wi+vBw>-HJaKC$SJk&Y@pLRf?mzHwTy??E_?eP|z_G#}>_Lwxx-r8oh^f6}7= zXcxaJ_lK=JW#k#KbN-w}Xv@CR6SYN4_}wNU+7gx(1b8xQqzP*Crx-WxpN!Togg}N9Ozs z2?|<74@4I6P2FK7X*vh0m>3k=_BEDo)4kD4aK)TfOFbzSO|AB*n1mj`bz`I*Rc*(P ztmdoZRJ!#@v3MF3Z(?c+JUj|7Ol59o zbZ8(kI5snrVFW0Df81G075_zAvj{6*QU z>o9lobxg#loENU6@KzDh9i9-5q+r3SznqZ5T^WvYC4)riC1|FQRyYV41qqT&IVsvo zb)AhU%)J$Vn$`=i>}KiOMZK&SmG7Jz|K0?jm0sl6-`vnJNY@OOBc2Bxudu+uS{YkH z8Q6+2_iKHdbcz5_=xoxF`xNAQjuE7F%$wv;X2upXv!qf2aUr@&RVfS2Ks3?`tRyKn zdn26?G7<(m6y;0+nlNINyJzpgrHm5*O}U&_#i_Y}qa%Z7(`zwhF0RKER;Za4t8!5{ zPUyCnnuT$1`*uvl=&Sit%s0i#4>l&F!oPD51Kbr}`o<4_U(YMM=3b}_I?Y`>t(SM3 z<+^rHXC=f?aZ~%LEu_KH31LWZ?W|g_3Zw8>Ko2o-sHKZTtxR+juBSAi@z?#TY$_8; z%Tp(R&{Xd6vTj@lMA39}y|Ungev4D+-r^KGJ2-_$%S~_u9@VE_qIS=!<+NVi*Q;Vt zd(8^>VD8nrE*h`u!&r)uf8A*XL&JCpgBxqiY*WFgsLv%4UU9tsKbKb+(`7YvK7dIm z1sbEIKS~eNN+Jy4^a#5s3-{((3XC*IM7IHd@H&NT2BXm+@nbSX;8K!2O9dp^4W(|7 z%o22Eq++@v1L4hc-X*Lz;|Yj>70?jZ;LxPQAACuGO8W6nQrakpPb>C$fV+rsEmA7q z87(5&T&c(f4{murrj~~&#F##~JnXT{b2~_eF^8Qc$8$F9GUCDEkTdoD+_lAgR#`(VY}VDh`UV`ufD>FSQp-;!kUW~}>vic8ws~Rcdu@PPMx{g}YCPQy#i4}X z85-_Bjwce^;5J!qUMzsoe3F~H_H9S;P95=XGd089UYAz&*%)vKmj;Y}v``S-xX|`@ z+eF(`vrYLr5#Bk{QgVk!Nx`c`03eBf50BUT34u_gX^W9SE6%Y-nI!Bf;((cM6jlT2 z5t4g13a>E7=~{*XnAyQ#6X{9&M8cz5C0@a_roeTQwnd07fijI`t`o!+hv6=7r5VX_ z1%4Se`aIxnOe2NUGy}Ar(_NYoqjj1g7~)!O>$9U)@H5z=MrbcuA)x_4Z1o9$ap(z@ z#&~^yc|za6B=Aa|Bo;S)%XIv3fWndyd~^Uhz4gq4GQrm2-7 zh+&OQWe)XkuChg^OMoA9DYAKXB9W3z#(fudRQOrizd^l;*Kg8M(C%7@;*s}bGpx~z zs$4?t)1;}ALKFqR-WCtVG5|S$Y)Cl9qdT}$!qi}?HI%T1gj;Cv16bw`8T=5I#WS!B zJ2u@G-)Yn_NS2Yp2eHg!9{*IY7Da!HI=m;agepZI zO?+RroMbi)NKs|pAqbmrvcKKy=^~5AJMX^VzJ4CF-mnI(NTBeRAcG;h3>l>b*rM<} z2g(9x`tT_RkXeCxE#%a4#~uZgZyrHa(h?%RSlBwbj?^rdp*_ClIP;|GCu3e~wF?eD8!3 z$#}lIbmr9YbpP|r$v{qawb@}UW)3u9SAJA%?$8$OJ}`YcZ?&(#0C5FFl0mr3Tu^4_ zoI0n7!_4KyzhCCs8n~Cax^6p!Ocfy$Znsj@ewgtH{~-}?62h%zGLqh1!IgT#F~_PO z0e?lP;3`wr$P6!C?(uH-3JQxB&{JRZ-j)6lVAb_nRx2*?| zNwhxZ=mtyD+mFZT3}(vpZkTi=G}4+xaS|h2*i)pV)@}#c80Bue@HAw%uRk8yhmM$b zLLdOW@-1&ow?9(n64FncIl%tQULoTW{RP6@K4e z!N&xJxpTh&hEd6m69Y+`T5gfX@WWbWWFfLvU9D30-}n25L++4!5oM`1kOsmG=W^!E znR6dgqe;v{gCs+F zoFK`@qCt`|4V`}g$(qXH2#kgSN0gON6X=by3Ju5?v(82?3TX2T91P?a)Cn@T&?h`0 zXB@)|4IW#K1{6?MJ_)Dt3RGh-@f#=c8aq?Byuo_q0O%nzg<}VyIHjvVWu!`n=;Ta6 zF42=P5Cnxy(AYs(9+7G#oMH>=CL*;4R7n|d3`LVsi8+6sn(Qf157jpmv?86L!pt)yr!B(?5U4G3r1Lm{5C&>hk8|;?3;IlS8o9hdP1-lVFvuLE0o(<9tmk zoC2#&tf4ZKV5N1n0nZP@N*!w->`vfn{&ab*pCK6StOxc>HJ zy;wI;2@ZeE=FgXx>+132YW`fpq$G4b0X~P!;dgQy9?#{rlu3wv&m}L|^#mPM?$MWl z!aPM+sM}3J?fl2p^7N!xSFb_hv**?PRr7IO^{0OIpR0znpEWa_>2lp%uCM9FxO_H$ z*<3GgR;SH%a-wPIhvwb+;&}P7dd=N!w6(%iFtUFR@eOuctbhUp*aTki*82@_T}*O- z!>PUBp$jE!mYMgucG5hg7)r*EL~=k3CF4t8k3}>T3Y@VF_Y+F6TS5u?PC^M;tVfrZ zOJIDRLLo^S?VRRk^OKvm>(u}L{PNe?{CK%~*R0YG;?4ZK`HT6}*D`fT)9IS_<7&hZ z=t_SbAXXf>h9l*^wNijON_;=5=HD(~Eh|X+t97$nH6Io=e8SgcOrZma)|2(6gzfc3 z)QQn%U44Sgqae=(GbC22neuK97Hw8S277{3GYFk@r{^hMsDuGaHxlFi|0H zM}_F_t21|q3UOLg*az!EtVOVsV6CyW4by1Q@E*uEC&41;t&xcz1Vv6?r#p(1wHyI| zk;G$v#2cw;seVImhGbg_^>F@6Nio(%-fr#}3}Xtg=}z^KK~c*Z*QUx_h?Oid9)W)e zs_Q~+tlt?Hn}6Lb*5}L1aa_C~B^o<>#AEDQD}+JqbgjV#<5i7vFhIjCjsi5@?^M$r zz;@;czEDG^!0H(AoCXW+t?lPZ6c6R$Bb_g8>VVfCW|X`pOS5fKpKLa9%WR~-pV{yo z!ULL%k*ekmTOxl`NJ)$~HSfpB+u(mW{cTyK9&4!#)3vmO?VUTw@RLAs{jRNKdcfBoN>EA_{#311+ghvctFGLx@XyCB1ZeQV=T0`Sa5VgkE&iUGDeW$>2&pa!_VQZKgd^}&3BOwV8 zzO|ti&fm%O?nj6fU1 z#6F;7gg0>Mt3j-d85|RYEXfhAf2o()Y|m`Nilp>%Ny^2fXB``bE2a&oqDGQ~Y8ngF9TD z%=QJx3ybG8SPQ45)uGo*n`5lPB%q>7pGxT@-^)j|4n*2b|g)_JTS-6=s`tfQW4A`F%)A=|3p|xZEJb`3aPNqCuPI&ZXJupg_1?(IpRQm zu)#+)cy0M+qWZtD!3mE5$yb}6KL!A=9h@-R{GK29`CF;Bz#Vy{kcr<2^A4WCMer0k zBJ-8{)QbVJrrIoNKL;OrH`Bye{+E!B~Iq(tO{~ZNj9r{Mm=p ziB=Q4r(s^0euu%QO)m5Pf9X3syaw?}=o9uO_mrv=e^5K;YR~i6{P6GVkZT=69n<;S zehU{3u1k4k9xqp>acgbuGJLs{6ht=O8sw1SjAxyZOewulInx&!N>o`9a9EbqmaPJG zO2PefRuayY3e$hVCFA3dDx~b^aQMF6DGX`g)3}ydsa-gNEr(FjUOI%)`8pa)o+SDT zXERh7nML01M2N)l5@kDJU90S2sALHzX|?Tw1WdpfvWL>G#SyrDmdEOkSM28!4j0=yI#83MyO2U6vlzrx*X>PM`xR~$x3q_Jy)gLYeySSwN+`h ztqYuGT}pyQisTmZ!$(QWPj$J66CHt;}bx3|}N}b^| z?tYK7V_ScR#7iktC$l{cxrZuG=c)aP$CLnFY*Ur&yzY#me zV5KVU1Wmt$OOSgMI9(1}Q!aw69mUm>$Q+*eo`rwEIZdK;XfyFQS*%_LVu^0|^WUt9H1>?CW*)9?Amz6e=pisxqZk0TNqgV6F+-kig z%d(zs)teleENbhdN>HrdS?-qOpdJ*sT}AdLBD-e_t~|8d9EJ!$EZCy<+Z*$-f|0gR z&Xj)^Ca0wOHPiF84UTf(((PouWl#~Vf}~NW>70Y0LRqSk4^$k&X_qbqk`P(nm91h@ z$AqUHOKUUsHpsP}sm0$1G1YHxJ7e7(w9}~G)*+FUvE&z@uTeI;z4 zaOXs`PqGP@6Y-8OiEsRrniJbHn=F&(@@!r9)Qy)(@y^?H#!+TvY0reqWWB@+&N^im#H&J=wRE?Z7Z=mQ)dcjoI0nmQR-~f?WwaBVk)&AnpmDG!i3_sYCUr90VlCQB-|O_nKt%bD)JcALra|2TS+72#HsoU^`x!uk8 zYqG_3b7S+>(X{{06?yRxI`CT2RXLiwlUp+RbjwLxOF$@i?Pmty%-uW z4{OBGfc5UEyU)OSNp()VD_tJbm3~oHjk1uiP8GI7a+i1QQBT55w&2}(-V}e|z4(3S zS#y25I=@;kSMB$nzbrmr=9?dnPrm>8PfvgN<|ipIaj`hNu1pJYoIZa&Ql@&OBLCIV zSSWh?>(A>`e*Q98@^o?aU2}f+eqEu%O*rw$3G`m97Z>NJN0(<84JS|5&4+*BW-*)p zlvfxnf#CgO#Scqg%@>zvZ&!bd(_fqQMf1!0`21`%@^&z?B8ubfAwsd=G#}gN`}O(N zyXC(xiDEdC;5S1zS3{7Ss{$aCbhhceEoMHPzuR=ySM$^J)#*iZb#ZgOZa%K(SNvSq z9ii;xUQhU-clLEFi09{Epz^Bx)OeddSp6g*(V674beN?UmTYz2_|SbzZ9FoWIn**a*K6^_+S#WPs}!@L$Vd zI`Il+Ze(+Ga%Ev{3T2bs0|%D}^Z^#PO>hC+C;~V!w=0BR0W3-aI5oEk z^Z|Pam%MiZ6}OrE0T>aN_`w1ex5o_vOFWkd@&XyR99jaO9hVL<0~5E-cLFI&msU0d z6Q>Ho0x*|gJp&S#9P$DZ0yHs~F!BNy12Q)>m+=h(Du0w^U9%;ewpHmoY1_7K+qTV0 z+cqoh%t{-Twr$(l^}KK2zCG^u^`GwhWACw7%oQ^t){GV798y9BWm-WKdm~dZdpj3e zMmh#AfSjeRk*l+ky{()*rwpx zm>L6^n129_oSd96qyS-i2TvzUa|;&$g{qP|B{en8e_H<80xv!%Hmfb8#w zo2iYxgRQBZ%U_EBYe!{MQ-F(wDZtFq#uOkdub?R@Ck~(xms16Zo7$N={VhVl)yT%u z7$9S5Y-;ChN(nHtcLLb_djT-Ew==Q)r!;4}zkghU&HzJzvxBLzP`xpC5reN>v z;%w|>>EHtR8&yF>?B991SQxte6WiJHFAT6Z`@7S`-q`h@lKzGLrTL4x7+Tsn16)i! zTz~$FWn>C4v2=E@G4%W!`!AV;ljXnCaCNq{Gyl&FXaG*8=7vrtHm1(be`)@5|8qM3 zStsCstKQJT!N&7n-uD06^}lkkba6JdF{6WFWcnM^*yV3*b4xoI`hWUG($35tz{v1# zyNRpAe_(E=PX9U}ihp{B@^2D`CiZqVo__!nQ!^NPIeVACApsQscPi8U_lf-9An|{T z!2d1s{=bR)Up4yQF7f~Ceg3c1Vy-qea)!2l8{pq_2Jm;#7}^2;&KiIW;Gbb*W9S6< zXW&>G|9@N!Z7pp)|4+{Ub+@|dzq9_Ioc|U6cL+f{^S=twGP2UK{@ZNnEN1CpYJZ|& z>0)dFFf+9IdwBn{tJ;~EI@ws-nf?{|U+4SRiGkt2U@8`t#@2TKsKNSg$kfi{zt-?q zw|`YYuP7oYuck@;f0(xa+N|)mD_m4O9ZUiLGm^Tjy~+Pt{6i%qWbXm+re$Q~1kf_E zGyJ`bf3G7a6N~TvPuPDEG5+UT)_>5&$eUE>7_zq{4!AETv&nP%1=VBiY+Jp*l39bIm<4S!+!-cJuw8e4bpv$ zC3d3Z2`BG~5QSsg815$$r9QGFDu1Auk!?aqQM?lJ-cE_0E}VpvYLw0B`OfOs3mHnQ ztX8A%ygnK%*d_d?l+e0S3sC2L^#&z>0sD;H(m%H{w$v1g7~S_A3vYE{R^+a+&4gC7 zfm|i!@=yu9rzk!go_~U=$Hv^$l2 zy&OEJ5(XtxiEBb7n}!u{5uph0XE53UE786HLNsp$j9om67FFVpq1}p!&aw@o>HP=q zHEv1dlaC9!5T_2a$JoyZK~nBKghyR_!x7jBZ8ry=7Zf%!w|}NQoaicTrQ^GcUWt~g z|6Y!FVvI8vo7YRYy*WU#NM7s~g+VVO=0 zH^B4uqy)uN)*YS`8)SjvW4uy+aEkAG8l_oz8priesa6JqmL0@*E!|j;;HGJyBYR!&v_J6_Sj1MK02*Q( zj^8BD)1v8nZdlnAwt)#j^$ja2R)*d6E-YUQ33>YAV1MLZ`FBU4ItL{5=?vrikZSYW zgY9Kzo@Cz&Sx0Ygn_$o>A^FE@Rj@zPRuv_Qp6hAIZ|%M`_oDl_FNJw~X`(U3v5d(YhHU<;$HNaSC0^$n88V|d8oM5KuOpuLtQv~FmhlvE}%o( z4|+N82e|1CfhLo^XDPxVuDDsd@rvum;#txoyMIMoV+92RbpJGM8|u-tNCpg|H)iw; zXIM9f4t!2-7R|`ek2Dl0PDoNwq>uy!P{7C&B~t&TgH_x*dY zkAHK9as^2J1uRC58lh!W!AN^12YrTs(-6%|KjV(A~@D3$j3gKDn+PV3hap{LIo_H z%CFbO1vl${ob#0OKikq1u720wZ*DCDAK-JJKi1{B(@Dz&@l7JqKdO(x3cz4aDV@xp zP&s1nX%ol#kKO_g%f~-V&6u;MFK9?@X?{a$b>8Y|Qbr&eSJ~}9N8Cod8`*QYoPRM= z^|hwTWDK7Ez=C4H$>vU%Zz!kkQQ@2zXLJoS)xBVHmNle9=b5hP zBq6xTp)2q3_CaudLopH@p zBah;ZwTI6gsh9hQ-K&q2>9vQvezar3O6o@(%>2W_oAd!bDZdL3>vS70<}XeTyRBk7 zo5kr?To?e;2&!4uzJ|-XV|*d!;b8l2YJ)# zApF!VI{g5NlF2n~s>vYqY$7!`Jgm6ZrC;_G{NeED>eu7W*bBn&t#wD0w`hzODmE(oHPGrWx(loW z0Ij22l7Lefx00X3*xtqxsDd0e&lkinIFN!*DCmse zIgIOA=wVrp9Dfs=qNIn?%YM&;kNfx2wTpMI8K~I=PVS&`*Il6dTI_9p&=~LX z&8!DuDSzChS@I3(*IdTn$V;7j|N2)qT&IX$&REWV4^z8NF(TF%!d2DWmXX0j-5@Ac zI?!QwB#A2dadz@thnDXya)ZS=$ca*cHxl;X@^wP%OvNR%dP4!vWK`0(_t1xr7kdpj z@kz9U3Lcol5eOs@PIP1O$ANA5o>bM92TH2wf`2(#>4IVe&V>P>Zp<8_)9Vz_$Z}xX zYd;~j+fLY-o!)LvJV|7580nOx76fIP7Q?fgY$y;rmw%mI#6WV}S=eH5l#HHvwhacl z%jWw#Z8WpS`w;`U(oKFyJYX=)|NE8f~qLhG}&1;k8Ac^!mSY3_e zzJJy&W$r5Io6zew`dn7EU}c%>fzpZp4K>Ir9Z5&mWY+;5Tb7paG*t0AA5pE^vG8YeXi}-Uz$LsI?6?~dO zcPDIb|JERQy$?yKUHPII!Fb>r*3Op$oqzh(3+O$wGKP^$%NfyA$vu6fyN767sIpgm z>u*Hk?JXGs;(DuOfohRPINGUj|SPT7}hzgPrAJYUn_?23%qNarba2iHuBz z33V!K&oi1^iZl@{z;fv-hTj}0IDe3PJoz}Z0(0I8%<(3oQH?+Yjc9Ww?vYTzdQ=w@ zo9iNXZ@OAh#2?-a_IdjGe6XsL2;=8dFxk;iW-bhvb{$P10shKn%o^y>DEBU^e+#9Y zx_GTu>amJS3-=&p6>s-n2eGq*in5wC-HhVT3f1EcXq2;2SE;?+8m&<`jDOyK3)Q~s z?tC)CT>MVQB@D$|9F>nf=5pFhy)8WHdwR?d3`I1PiPnU>J}ZLt?qgprl5=0H_%JA; z)WO7D!U1b^q_{1u`#N$Q@Td=oE=7cmK`0T{sBGk^JJepUPZkas%P`R%ISrXnv0J|- z8GR?-FUBE6jwNyr+4NfO9)Cssot}>d#Wc&sq1YIqNr68hmE|E-u-$pBL%&+3UX9SE z^r=CCJ@faQG;(Ax3%QR>Z!c7AznioXeivTW ztoM6M2Lb!mzYuA)HS((awr@eu*az+SO>;}>g0@VirY8NGuTxwcA%7pCxjZ#uNF&(6 zFY}K=jav~a=(6q~Fpg%)eT@|;q80`UZ}zbB!^RjbNdjm7?kSu9*^D7tOXQiPf&7Q6 z03(A0huanrskIp zvqAnOMt(R(kbj)$kqY*&F_6frbnU~-*PIOl-I;U;AT<{0b*M4Q*PT^JVBC|$mQ4~{ zq^T+<(9bAUaMD(tp4afvS{I9R zicdYbuGc+Yf_uREZBD(q?>>ciw^<_!*1&vXtV50-ZMUTB{7@h~#Z9O?5%~{cTJ1A$PrrlQUyOUUfDQF5<4ylZ3IR+hvK{hMXcI%}miy@; zf?<>q1_l+v;@gyK_}0&zb_uAMtcu!aPVWnNZS;I5xWo=gWZTm~yG7mM9V}+twWMj*$o3E7Tk4{YIj_(lm46iSobW;6{+Cooj#7QmHx{NC^ih{j zuW~$1BhF^{ zIJra70-!D9WJIs0f+amUFv;iVg+UYW6# zBRN(x8T8$l+#_96KdgP#E+sAZ^jv@E)4HBqKzcTcl*&l9J1BK1nm{N;Gn<0om+~8f z^QSXs?FL>gcK{W&2&n=;o+jx<4~IgrYJYK0B;H-sQ!g5{DS`tqoVJT=A2aq6TOU^; zE8#0hQYgWLUUFQxx;i;R9$`sC9i(GD$C|f7rbc_O7{sJ>vc_+z?Rer9@$_#*2A6VL zt2Gvtb=JUaDyx^RpeKi3Qwd$wA%D(9)g>)yWB6aS+P~vZALA&A95vOH0&_OAb$=Q<>+m^^x`IlX4w7t2!gp<;oy#lu>}mJQTWQ(8SPj{1L%*C`R^h*@c5u4BG|P z6;DxD6nV?!D1>@f(9YgZLTTXn2!A3=AQX@{=1ZoVFLi5Wj_KvvznRQ}2OBZ&bX87` zO|!a?k^#dZDT!qk&~PHy^)p?rxnDO;M)fg~?VrEsRUwY-P!fV%cYV{-yXa3iH-XL- zaf_rlR+|(R3Krp%&tO#{s=L-vOj5OvtjM7e?$ka9U8AcwBT{DaVH#{$Q-22*rS-EM zt9>}g-UrEu)>`~bSrO|4?2;<-L?1ry1cH~^o_ZLNn$<)FZ}J$Km}pQ(vBmILHEsv_ zFV4UKU6+uA2n7X(d6cn^Z~7|k71b}6ic4o-+x{S@@DnI`Frq0p*Pe(y#19&-rrZGq zbdce$W}&6u*34ae5G?v7rGE|7OalqVTv^ujdS+@Oe-Iaikxq6WbG|Mf=?5ovyrjKy z7IK@G%zz8~{31F6uk6IAPs08r^hZ%d92BF*{a$zf+`=2>f&p_rqv1m_mr`ylQND8K z5XYw6z*zo3sm%BT?!0&5lTE4JcP(zIuUi{Hg+)KgS?;0pyI_MH-G6a_EP8J%$rzgW zj{$z_v3ZRxUR@sDBt6DZP#M!AX%L#`q!-jpH+SunW@T$U7{_{WID4jD^3wpMZp1YZ ziP)xm9jY%io|y$@I`DU@EgbP^PDvU#($z1V5ApH)4Cg-_eD=9*~Re!Ft85 z0etjA^qkD6l9fF(Tz~i_fY`vezKVI_ldNIVV~hm|VY{||@02mzYr*r{kAQN!4-6&- zMPIQpnj^uqG%smEQ=8e;Ammfj52_o=hpguCK&Rmde+2eCgEr@T$zvz0-lE~V0SVd7 z5fnP}pK34F@Y!Bab_H@LG1XVNUUsII&e8&DnNcX09i!Hub$^)8z9F})1yI(Z!g1T& z`oF;L(ey%Q@bM*0X{DJB^jITk)nhj=_wp)lRhT^J&8}SsnxnmwN?5_gJ|BNWC-<_n zWFs9)%u19`@*UP=`Y_8lBYMooR>Av%u(e`Q*pbwSLQ1?EZfA$A$Aye-bFT~_4hnU$ zunEVuW?iz~t$$5s6Q>c|^}n4tIKJE<=dbXGeI8aoeXs3uvW8tRQNSI=78@&XzGeSJ z(Odp9D7c!FpQl{kt?Shq2gVadF4}L@fgOR&r18#Qe61?SwcFZRAoM%m4T)O>B5n|C zw|RQpn8QZJ?={ze!Xi=b;sCKFfsn;9-^oBRZ)R9ZX@4FGjd+!cSJmL14ZGELds->K zKPsUM!kB0Q*%Z-K#>mUL0+ZfRrb0)Kkw#)T7M;iP*vnn;N>`G2^iHOAP)37dQIgFc~q=3JUC4Lo&_H<{V)+^gFl7Jjc zdf}mSOI3>W3H^*9M0{yy;$FB;z)gnc9y!NzM1Rjxoz?J;F2h!+fS10KF#cRIemh(p zkQ`EQw=A4U`_?rr7hbVyzL>NBRe-7}B}-M?zM?pv-w25xX37xRT93%Z@2cM!iY~M> z(sZ0h@fE|!t%e3i-U{!jQM$3zU+o9*YKW(94K>n@sDg2gk{ixF--JRdGd4faadugV zMTREJ(P9{>t2}KCoyNM_t6Cbe5%}9j!GBP>FL8sv_4{o_s%~0R=unXshOYA>WNd|V znyejx&9pa*1<^WZW)>pi&iqZR_|?VAYIV|1Os69EDDrKrwy{=oFFl5>qi7&9(ccI` zXKO$2T3^IL#YMj)!V&$M(-1r~Yg!iXGXDTw_oiO$^XzG!xI6R14UjT=SlEdn(SOCc ztE$^xbE3|DOm$1d3lYEhCyWOrD{GV`@z(q|06N+TWxHH=`Angpb8*L6JEQb;=!4cw zqvG_{3>z*Pa-+4?is-Qr3)!gp4phJMuwqQKbQ`7Pv z2hvJ5=b;}#89y7Jn2A^xVKTJYF*xZ@BM`iM)!q)~9V+U3`ahT|$zF(#eM&AjF@Hi> z?1%z`6sX>zUj>zfmwKuKh*%7PT}O2FGBqOe%<9=4&`uN-6}9H{&j!&QPk+;#{!DNU z^EJH3JRB<9m%__as0E@R#hxh9{UK4w)5p#p4`fOP`$LFgi@ak|mrqG>o$@Y8tACv= zkhJ-xd`q6kC1NXk*me*7>5Cr?cAq!#78u!S50=f0U*K}z?M3Lm%L{%*(M_X$4aH?{ zBd}@=RwGr?$l3Sv5hF*lVSi{F6>I2AkV-;?k{X_9L^U%VnhUGHQ}G%8^WEmu=ZF$< zx77&9MkGAgM!|6d_``D=#sbE6Z$)6#D>h)zD-Kr_B|i$sv4eS+qV5vrnS!%ZQrXRX zX%kaMNT$`!jBk(MMDO+zDJTi!xcz6=2Gf>|kHQ=_p|1j%%kaU#_j%axI7odqH94c>xVa%ugi}SFVfmp#Oi<23GkmqOY{WB!QTtqrtD&SwvG-R&0l8g< zN3t#g4KIaz{VBlr2tJg0v--y<9Z&>A)S@|LAN-XS;ADKHST!jf(-FGL-c-}W=gS@ zlvysDetK0^tiIIc4p5yw8cztdiCRM@;0C--Az*FmG7ck5=6?^qc(Gh#B;to0&vyB8 z6P7K|O$gR0bNu~Zc)x{z4ugZEj}bO?60o{X0;zWVboa1XA8tp4ARaEm-$8~s7FzKo z@5;$3Yl4dzS?VOjMn&*3qtp76YJfg7DMh~k7ih6sakL;f;_t?8;4i)dZ-`HlQOOz` zUg_5#aVEF|s$({4=@yZMp_DN&8|9Y> zMFw+JOF~$-IJcA zh1fihr^N*P*TSk0Wnl9pJXrsjmoxBh5M7!lXuoz4&Pp~c9NHciB=5)0zVK{+ zTb~#z7xrp%@BU3JN5Ag4;S*yiLR$fw6`ZW$$n7FhG`rO%vTU44bA}t=x1{Z?nkcKE z2D#_%Vt?}wBJsoebACC5o<4-C{6?SE{H=;AcYXTYR z$kMNLnX*4q-*Y<4|J>$i^+tTglT`M$wd50r+fR?*4iIXyv2fR?x35tJ%A#$c8j1_; zcjNQK?6A?gH8;0z|3a<)nLS6+Ma{i%Q}t;{zJE|!TZctCu#gRE-ZCCjEf!Tc@q&|K z%m9=_(5HsxQg2(}q1=eo7%Sj2e#{_Idll)~DSOktc7GN8$m~|C_I*}sHX2*@>nPS;O& zxubKDFpcY{?0f@&IX=JrwUcpuWw7nByMI&8V+Y0C``#;kYLk|&5I<*(>q9Oj_A~}p zgEtf9AC(X5X&ijO=RWFjtC+njXVG2+IzC)FLq-=vqdpV03GuDtvB9ByRu*SC%e;$C z(-NO3mrx5=Jl;tKn+@rhavv$ARuf*=eh>WNk;2ZsjxKUQl(xqU;>mdPwgs84Xn*@M zVMR0fI4>kRwXm#yYxaN=&!$@tj#FXfMG?L9m^G9cPBS?Z5)d!?MiI4o63{3HoirX- zb=uxkMfhR^P944=@sAV=8KoVeHw3twvDJ#|9(D%?Ks;1&iI-dySv@{ zt-I%guk5(Oi$_kvKh8%`2nM6whJRWBfIo*bFdkCH>~2B$kg<64=V9OFsg?RMju^GK z%btl3laDwFQ^`~b!PIDq& z=JsJSnO-`tb)p{uZ--#U^-SMW>-KyU@Lot;4%6|>&9Q_k%-couSpxqc%zq6Vd1+w>p@*Y$kr`;wU~vsm`r}aQ z1+jtOc-J@-*M$?!4js%)=^1yd^rH^rCM+-cdhPP1O) zBTChyFDZ8ij(22Cz)pOLw`|PSfQgfIYOMlr}#9e}Dge?H{ zCSXW zlO{LcW9uf8A5$l6w4P!fel5G#O%7t})|xA0-Vo}thpN3M+wWMeL}Kcla0kQ+4i%oa z$$3|08#Gy3qcaT;9cEy9xPrF|a}HRNg@K*ov_TZp9(>uj!7FQIp

V2TWmBRqbQ!}zP@7ry&GiDAe|Ye*XT&k`c!4iOoo|_ zuE%Tdj)bfEM1OUT)M_{j@Are5ft!e7aYLf@*+j4s#9pc^7 zgK(_5oXbB#*J@vEh%a2^fdu0W?5nyGJfE4s=pa9noqsIqR|kB}p=i@$cy=1Y68zXu z(6zChx^j!f+!CLS(J#667U~FGSrRX?h1f2hduT9&!BPLAxvxC*=RS;eW4eG$%tMq? z$s>?7r=9LjiCARz9-J@(YBX^Dod~)QRltsti%1AY0-UoK6Cpap_#-!@pvu{ z&`mQGB!4Wn*}QLY0jp*6PJKEVHa{30eEZfAw`iK9(P^kCH0 zPN?8Q=lVtjyXe|XA+rZ|ntv03S+9lh7JS)f8?#W^-zYgx=JVe3 zthtQ_pF4B6eqb?GD`H2sK9~~`UY7TW7k2>yt6;GzbgLfTZ2M7yi%4`}-7{yR0ig|z zXcZg^w^wPqx>eo5B9vr@$Mw9{*_KmSWkOli!5=C?B<{8C$!Zx96vUodRqSjUyhbut zB7dQxKzDt-1NEHShX~uO^aLm5A)#2L-$z!KUhNg_vPV|9H+DeB68p9d)|yUS`%$hI z36Hf%e&`~Z?Jk}3f$mReqxSEC@^Jr9h;nzsM{VTrnTSkSv4e(V_8~F_5t_z($+wN> zGH8KzE&qhIGBtwlh~g+%t=Gn=mRV$LJ%4vjJXO*NYPfb1`{Qwe9-%SYECt((w+G15 zOaCdH85)@kY6e;8M0NSqviI?!3bx=W5Y^E^6r-Qs8YaR^-GRG{i#cdEgH>s$$Tcst zgfm~bfkyQeQJDSDT!|o3zeI=jNN`?{ITKNXM`QeT7+?$Eu}VR0TU7c3j%5Ex`F|kF zBx&kV610V?mFNH39koN~??PeUImx<95!c6EPlZrG7ewhxph5;Nw?X9^SXZq$j9fAh z)&-LQQ|v6U>k%;*q4(yPRRC+yW?^2pB-C7|%6D)&ciH13mCi|#Ynx7f!qP@26#%{Y zX*k$AT}T8=`Ae}uPo5DPL4BDdB!4*h<%RHVPn3O&6nUjK2Oq0KIBl+nTMR7`GV>-1 zoIlj2eC*@=?rd4CZ@;1;YVa#y<|Rx!ic3TR!3#oQbIsC+&Z#>t@`T@weCV8H`90W) z?ahXdmrql*82|lMhL)0D$knL*ZT2`e+rsg#`75>l8}GN5S~p6&*u$n?5`X5$ywsbz z=WLw*7_7p#kRdA@7BuaI7fin-R&`xC{<2enJu$*T;(JHsIOai&19k*4Lt$nC?bch~ z4p_VGPS@la8{DXbs~BYdpIMkyL}h$=GNIe(4{G}^Z59+sz)%sd#RCJ_XYE_}A)mkf zJMbn%Q~NLgZcKaX2Zx6wFMs!Y1%q$YFk#$AmrNpy9g_oN$Jag7vw|!}5)^v>cu2avTZBTiqfBG>Z zI~($qRKGI=`BEbj>(c`U>FjwAOklRifTuF22HK!>lZ0Hqxre-^+p0!WhMwh|9i7rB zC_Nb93zaGBMBTG8M1N;(7I^{y1!;kGFbbDf9f<0v{%Z%uJbpnuAq{t9NGsW@KIKAL zZo67DZy9Ph(&(~;%Q!b)dd$0w-sC6GcH(Hrwyz8IMyv|~@cVVUZCBvI!Xl{MkX(q0 zb;b`YD&=@0PzBJ=C9G~g|L}a{_Li^ucj#Mfy!yGYfIN1;IDg!;>HFw!VscT2nENuj zas0xT(x+h3_X`IF@lk+Ceje)Zj^RqMdEqQU2@`R|TjJS%XtWN8)c35zZgCODcSqSi(3dV8QW9?K!N$g`frWP0(nk>n5;{f$z6uF9jyV_bW06Ly-r`{6u`hqa@VxLU zs%WCQo^&;`Fn=7iGE=7N#t~hjF75P+Qs>CAllY|G>S{Xcg@IWuTGUCUqfF{>mo;g> zv=JhY?znjIDl?X3%kT#)fwd>R+kad3;g1v&1QE6N`Nr?N%!Rx}r4Riqr-F*DJ^W%5 zdw3UiznDHZBO2F@<{e7{+0kZmAmaCndd>!Oc_dRFII3~BWVd9o}X6s#MAVKfR9ORU0lqh(tZe(XGmn> zaCcn-H_!FVET4cJKbNEBIqArz4tT9hV5h3dbTfzN=nOlYRq(=S7`zgF7 z+>1-56zC+6IE&%%C9Z(GYL=x6DJt7llLaIaf192%7w?<{T#mry@4o559YCn@CsD}bEX**|C@)7bc(_2$3;`6 zmmz_wbXuB#NbG0^%bC4&2g{ZowrKuLTrn%-;Q%$blrsvFcqRS~T^WJqMO!$mEEK0< zENxQsd)6K{k`Un-6VFDvOA{qwHF@DR&|%?7jY&1CP34MR?dhl+N7D0ra_&{SXBMYPIkKf+0C4&$=cdBa;X;gIUrBb(%I z>oe~M8M{jgZ}h|Dp9^y-;Bj|)0t~pRkXx|yE7`Ghzj)}HgK4ASbB1s`O*YSCReExL z1-%L0`he%UIL+N;(oBn)qIOaD{60#rx{H)cGIPv;l8w&cgya}@-tS)gCbQ^|1zu5; z^Y+$<4U;4Xak=?>ygug*$2O2C4tldP{Q{7sGDBp@<~@J&Sr!UvqOp&f{yxiSISAj4 zXXf%{uV=m~X}R(a;g<2RJH8=hUDe2+RJ>#W$bq#TExqmWBTF%S(>sE?Tcnf!e&&zM zed4gw_o{{Hk%|QO*Yt+z|H=}&(U4IzEsuQ#z+rh0Blr!}`wu$pw3Of;+#ZoPaCUYa zlbiRV6zB+lBk`Gry&U{K{M5ijpd;7bK90Y;vzs@hf)tbwS<{oA zI4k!uKiC;-{|t%gp9-<==B%}l6HJC7p}!<>zu*#rC;R<{z%a6j+X zl)6U_#L+|ngUnL}mx|{J_o# zw^XSD`u^i?qcYm#$_CFF?`D(-RwxPPu;G@G54NuApFI2*&Fne84TP29Oo2Z+pcwqbBj$Sfk7^U@owrS9= z*S6BIcTqxhJF6Qa>g;&U#eAZMftiqX^K3K|J01%?>T%`n)A1M~<1f-G1{`I|f#MoB zLaJ59_hY zz=qRIkD~asBsho1a8Hs>jQdbS6;!pkVO|@7AluEF@)T@`>$LsFeHW>4u7p-0syr%J zuEG-MM(d#E2pGSRBlkZZ09mb~4rFOq9g5-0>V7$D(N*@ZtzWT`Wl3^Xg%{YES?gU; zhkv8sBQkKoCL@{tiAi7EwbIA6h)6%up7-R9R56T?4m-D2qWJ46O}OZ3?_oEov|cz? zaK}2%80ELlOXdkF4U-WT=25iI4D#M&6B~RQ?N`^`gF|1G7m9gbAK>;o{)u<0>qg9F z@`WkY@;9Z@Hy#(5(bj7@tC2A7+qUFgmAMmY{;AgU)$Yrxv!Uj_1p*mSZ;TY3xf7GC zk13h7Zyd=Mwfih3pVtq!mFOZjdE|D-hJ<02kk2Ua?IfNYwuKXn`;8O)XwuAtcY#@Y z&|B*(oxtBw^VcUV4A|sKSJA%YmCsP^$AdF{mc`Un?t1)(VPpffr@_h#n8jSq?-OIz~id!M~X?OeE- zsnfMbXvsu1Df}82=Epv)E!CLM6!bd9Uq=xgluNX3o7;?t1*8odU-y=^Qt3C&x2okF z6ZH^O@pN@FG7;0|VApL2tQo-Df}`nkD$>U7F4e5}+|zh+XVro$xS21+!%4a}cYEZ7 zZTa-wYcuu6yrh+W;%CthamOtZVIC8SnI_Lw4;0_o}KZmgOaTHuUzLf{GtPl7wW(d*oBS#IAq zI3KuL^S@`Dy1zskAL0x0+39~-&TZ1V(h^i_7ZXtH_PGxr=|&rBlU)1^Qbp{iOs{kO zGpOnuIp%lGQ15Ibb&_x@v5BLduNH>>Fc(0gOg8dLt;F;!-Hc<4NB)pvfsrmso6_mk_&Qq z#IXm3r6CFea!bOI17Ty7F)yb_V6rXV-h@%(;xu0gwCqMbDtI+a|NiOfI(}jzH>MFx z)^^l?Zg2PejM$Ta;Ul@`!`9{Q$e{ZR9-NlR zLINzf2-r^DvIF>J)P8#vwCG@6_7=PER9Ul<@W4x&V*iposvA&gxH`c|TXeWGO=#}! zYvOp}Ew;nq{nWlgh*Wt_>ST-*+s zq)3B?LVn_ge$oL=$J%Qi>*A&{xLJi^)&~^T`bd#>@Te#?j3yd0{r89$EszNvofg%Z zSto(lmat^=OU9#ap*Gi0^NB>XlS*6}t)%(Xj67aY|5>gO6tRSM5j!N4v$(R{H!-VD zp7IgGNTQmYdH%9Za?UYDvA?P-(YvT)Jg7{T9N0T#VD6KVgOZbH^>k6*G;5wLu?nnc zCrfLnhVBz~*r@R&%SCBr`ihm|(}NtRz_R@0;*T$E59^wEmX9tZ)nPOm-}A%cK@V6w z+n4%oap@<8Xtr@p8TSVa?z4D0L|@G!xS;>%M|5Y6yDIc%ah;8yD`>7R?vhJlq@)s2 zZz!p?P8Pa&e`6qDipaw&joxSItPWhspl|EmkTs{ofGf+;vg(?7f zU(PV|R7HV8_75xZKkf$xtB(MCfv}nelW=L@m|WPxi9?LI!hb->&fB}U7wG0q8ffIv zca=Zl52`kHq-q_|FtzxRKCaAG%kw`Wnz^G_N~SHlz=*ZNEzta2CmvSQ=mnBICt1)5 zFmmznNk*uam2?-*?{QKgjib6a@)fh-Ks;{-8TQ(A<2s8rdRsu#v9 zvm{)sl!3FGu)&X=J55VsCG!tkOqO}VGP(2nidV#m&wUw#S6h>fA+%HmOYpEk8uQ=3 zcC`nrtSM#+wAS#9F0UczNrI{Ny{tEJnuL)U!Nh zJyEZu^zXO{iwZr%Z2Eqf~&FdqVk44*iLig0g5UR0SRGqrt)iDP=UFV%HaG@xw9yihBt73+}$xCqdTpyu#&*G zUx3R$I!o1V?@T2=bZwwy+6_vkGqOdhz3qqQwV=T^dBm9nUC&nzqrb@6moP7J3z!1} z-KF#uMCImLuN9nsH6&n`hR}Yn+h+X&o!7=jNIDytP<^cZ;t*XC4;=@K8q$4CpE8yb z1gx1@0e|-%qr?Cg<(pQuEMWh>d9Va3NqN(eUEl7RKNjFnA%08aZs_$}!tXoOGNSsB z7_##H-uBELS4|Ud!8{eUZ|>LFiNc62GTrfQh3aShfDl`(@xKq8`EKR>C>FBWqruZN zh>@gDG4v>ebhN+yjX$?`Y9(%6l4zYkyA-Yev~#&@h|&0gjtH?v8fvSjgGt?N>P#^C zSXj~(au}yFfiE&J-bJ&1#yHmDId?N{#>2s9lHqMc+L;+R86C@MVi_vhI{@fYYI73% z;r#;Z1Tp>YT6yxL?>839ZS7AXLY@deP8RP4WF)IyWnqiCgG$u2t8P&qRm=X=7|>_YhsxJ5si$EU(l$U6w`?FZfNc|r38NK z;9I5;k=nML6R*igdrYy6y^eVi^1kp7SG2J))CmcIJU!>W2>LO2l{~6H_mW6zD%Khr zhUQrE!kDiWPS|i^mbBYpxskD%ais=671>)3QkmM7$OpCUCOQ5h$n^E=C8@yuFd6SC zD4CZ7;$^cL%IDpl^9Ts{U#oO#9L+4jHJ09V$k`UF*jXLhd~f@P`Fhi3lnO4jdaz13 z1ID0OtzqilP^mcQ%1E*#g`*&nFIM7ZG;T31dIjsPkX`HhJ45VL8ZoXYXqn=<=F%z{r!}1j6BlFb;G&Z;bArk*?tj`9B5Gib?Km+NZNifQ ze;KrJTnXehar-=QARVNCkX@KD7KZz0C&wGxoHZ2w7DL#{8H?rt6HBvEb0v$3tnhZt zzdK8gb?17lGiJ=u!%|e1>Ay&H+o44BVDkz?%|ivwq)x`HVe;0^|We>{_3aS_}{X0Ey^+$~H*=88jq!>zXWp3p(XS851O+0g!F|t^{a+g5+%_ zR0SXbAo)OON&vmqPz^vm6cigP=+hMk*=YdqS`)NB`=Hp^{?`J1T8^y@gPj|+VgMleKl;T0kO0XFiZKKbeC6gqV3D?Ub#wm@P3(UY?^xNn|2vSj zM$gu1y#wR@(zri?r&X4&79+Swbe_v0om;up01H*Vn$owKX(hRH!}y<-tQ<8JIQj?d zFLbUVtLYqF*|nnvGW1<|8g;}r`66=|Z6(E_-7K^bUO`rL(}5w@oiHk-GCVo&64fI3 z6(s6x=nn?rJyL8aYFEoBS2R;B#71c9J z5n2`+Db|!Cs5AqLR}q8CTRb^~78_C)k0BS%n~xkp3Cfj7&YK)-PBBC()fvxuw(biO zbkK5gQ<4c3Of(tWq~o0iiM1~A&(fB$^(o`s*k);`Q zhB=IUpXX=FAY+maEsD0B8T=o3n9or_ksJ~^UQqnd4#Y-GSVS-xJirP%L6)481b$k! z$eA4$*4#u{)E)x>ga!?_R2P?;7K$FJkuwy`= zON-V+G&7ogtruG~Nv)qtp`if!-uNYJvo3=flEA=!V~2XW?VDCzF7B;;}c*ez?P7ml>E53T!jQ{TBUBw zUs%xBon2TEjHN956ae4;`^!Q1?i_!P`UGo^711CZw_lgvH{7gr6#L0;7c`c>R?G?+Mzw#8G91E(#l)d3jcI?dx<8uAwFUx#wy z_7c)lG&S@(&csI=TF&|xkTwi7 zw8~5(=Ev~w{s0)KAosk~N(Wb6UAoGCWc%l7_evZuGEW-@26_d0;_$YLi71Z# zbK;TOu;sVv``q$`dq>ivDJP4`6O$pMdWS4XGf$c3c?#JOf(G$P z`-qI2n{9)b)D6m+Azu1j`<`|#JX7^y2GO|qfh>A(H>!%;xd(XK1IuP`$ z#PWe6TVnl9ia~FasVP=V1hJz?rV`$OU1RJs%%QImrEmQhacS5zt3ijCP|Qs!4r zwn&GxIp92^YH}Dj%N}u7Si>R88;zW}gt6Wq)_^7<)dM|1W0q%Epsa|CHnSFbIw`5r#fZca-Z&ghnr%%mG3zzun=Tw zWQ40Bn|BVy&{d0ufsAZLc<9c55Bq2%3D24i|p694Ldp z8{b$OZTfcg>zIp0VZi|TUzCKw7Elepz z0&Q0_?pA9Oh`2q*%9KOm+E-UU2T)A8uKOK9U!Gc+#j3j+YC0mdH&iPeYRX;_DvYQ+ z8DdH9%Ne3r9RUiT8H!vPIonV_>fs?4?#`mLloPXph8)uL(tB$B(rj z)c~T#cbg1!%+Q(#uV|Z)OI@lw(UjX9fW|?|_r2t z9gSHx7ljqeL%dJ5E+xbndxL$vU(5px&QQ;;@-SU-P3NU-{P%SBa7!*J7J)&|6Vc6~(~^en8vxiipf57BRre&p z3CYc+^OeAW2ie_4m}`P+njo~>E$mX`A;j`9L#ukVV4KT5S{tz5YNOTkLR`5;;^D`p zAO!nssOF*RaXPbecXJZVbM>%9B5JkB)%<#O*pz3(z|g;A7Z)0&?S8?-P`Smkw<_B!*xE`nE~?;tlfrVFY>zB ze(j{sZy(ou)Uo(qK28koP6E)B99RF5V*JR)h5Lf@)fNH8`%2Z7_ zJpkv-sYR~9_{$4HoK`nZfW;IF)|N%~wmmmiIhaN84E1O9S1zStq)N4(EJ)5uD$Qsy zt_LMcm@Rw!^mRO(9ts!H*4tCZhkmY2c1~*j4og|D;;pr00Lpl}<8PSlUwsDFt zL+gb1bSQTfBm0D@z`{^LPU^bRhr>Gb|u2r{PSbEh_pb$&#qp3o3 z^+VL_K*-zQmonN)A2rJaFma0`O?Qt1u4c;{K{)x@*c0(DEljuzLHrn#te*rpLethh zOJX}pZ);!H1Tp+1!;eTNgfLc${=AL{jy~z=T&p1mLK-4{0mhE@kgg4CG_&-Bycfey zz>dd%Av$1p$em7HFoG#vjiJ2T5hm$VpLCK`O$8xsOw~Puo4K>)27mUEYK$+yJY+n4 z`3l|O!~!F>Mj`7BZ9}Wi5oDie`C+dmtx)K*$g|+((zz zK@#U*(^ok&1y=U9eylfcP&zP3K3L47lZPrH=@(iyyz;Z33iCULC-6}hD_;Q5Vg~^5zu{WRdfW^!zS zG|J9#r@$Y`F^AM|C>p%LAApR|vdDajxkedInIcV85sa^Y#iJ%Ag%A=mWbI*Q9tXhs z1r(WTsQj+@e-kOvs$mH;E%f_Nx}7}{M~Fbzqb@(y7U}5D+-N`8rwvnHzPC6ez<|Qm zLe`tn)T~>7F6g$sHH#FvX*YLAqLxdTmqbkMM*>GIMP)83*Q?jIPaRx*R2S~5!=lBJ z{AI5hYvyfT1YBWP{${rFh5BZjWm6Y{h4$Z4%#!C&EteHr2KMjiv(r`bW*3&K-)KVm zGnn&*mprfEP8aG-^7EJ)pMy)2hA!IofbOA3j{k4Wnxn;kFvA=iT%Vi@(3mxV7|6kG zh`^#@>uX8M!NHBdqD`vLM#@3T_Gzj+Ik|tD9G|V~2rP1rR!*N4=l@iar22vq+>#t@ zV$!^9(h^d9l44vuyd0kv8xNnjqy)E^n1nFt|Gx$KbD{qs9`katrJzI60jU-hR5Y!z zMsAuPcI~eRN(&4a3uuj0RRy=i(8FCZ)w&9TXl2dzYEBhlN21F{P6|@8cx@Nt_U%39 z&uHp7QkMB$DqTu$2xPba?H_=emjky09>A~Q^+|dVds9Z3hV$A~C6i`*yU?FWtirKRu4SiI`rP(l}}`ww6jhZR^}CwEKRw6R&K-m0${1B!KNhq*dq}>gFc> z&oKVkl({>iqP@!_pgHRv_q({C3}0XI*vtT1YvwCID+qdHNajIunapqrm@l-UtE0Q{qlyE2JTYEcD8QJLI#LE^$g+D3lWoJYlt$2=s-8XnV~m{a);Q5HHu}KZFT=` zSMJym<}EyHd>x3YlzJTP%Gt6pYI{g%|HoIpylJdeIWAars;PNhebZjaKEuCNMeplr z`3Xk_ce7NE3;8V-R}M6>>{q7y6kZv;#C_022ODEbDAi$_&tPCSMgLZbu4oxTIzPg} zyc40sxuUEUT-4Poz`kd?3}aqJ5hx(|zb7rW{rlY+!nXhyWq|DDZa}m4UMu$$5shvWWsXGm~KiD3d_#1%JkJe&1ig$`iM;9M2UqkSnQj zj%A-Z$5z=nn}?KE4-g5h;eh0d7sYat|DNvY!DYY!$-QVLpE_020vOD-r!QakG{`5n z6F&L=;@_?>zWPo`H4&WUJQtJecN5E*%d&~h;R-+g~MGn`LnbosH^RBL+m(~UA>Q~pj*|6Y~Q_RaNQzWUC}{`gu;mMIPM z^Fs@Pl`eRg@$fpCX|9;lax#-SlTK4BMLi24`du5QjcGdmtsUI5+;SS5Ih#!s%QLE@ zLmeJXkZGqTv#wT|?n&#(Ou$k?EsfKpJj6D0;+I(YVNi-clD^btJ8BA z8Ph6%vbp!^p6=&h@*mSnM9TB~EKjDEXET;Tz5eo&v&xt->H&*;I;OgKd42KzLckoL z%ZXNw8D%HdSSFO3%$FCh-|)!-UjAjmnabVdzkSsuRtMRE3DlFnUHlxh!GPvk!R8sD zhJS!w^Ut`-ufBstMZ%oJQVzE#-o+ehiDq}?X{|8IQtA{-#Zy-4jR7+Hjj_%SH%3F# zW@C(IS%&SRjme^gWh~eE#A*v{>S)j#&UuPdj%nM<-wiiBsdt%FvZ?gt>d$y(LP(~R zImre{fvlN%Ho7={9|ikZCG`-F8m^y4>wndP-94rgK$?v^trHAzR*&_D23j*Kbj*5B z#4vJP(t9Kwm2`Pp(uZ3d50wEeT6J-Hm;|W-Hs!cP)SL2v(9*PomRc|yi}=948sKeE z7fLe$Z~lP}J}){L=-_8!d@xcy) zK6c=kS`NTk+oA5$EO*FBAQ*7x;I9aEIyblL4A=!w^{lH@?Z6+NS2rqCs~3k0ksJ`B z1#18_;5s{I!NCvKnLcJ&urmwW7k{lpKB)zNR^>b(6&O}6&LWjY`m3Wj8+*&lfL8xd z^?w*u@9ng^x1Ih>N)9LADG4xBz`}qsA~W?*Np*rG&4{KM)PXy8O&} z$xl14-UcYp)K+vR`(AeaK+<}K{fmfvWQMs++|OvAfk+;%lAq3AOP7OD7JriruEriS z*Fsq^*Yb$HmKY+D8v5c)NI6t*2_DSybC|HHb;4pR@VPb5VR*$jEa`|Df~92nQ7eR< zWjc@7@?|M9I~w>>IU*~44ke^x#vKoQVQ-4-2aw`1;lFcXi9M#ytpq4x&eP_45Q=+R zgqfP2SDI%lbN%U*dAx-)1%FJDfgHmPXaH*TLjgQ%^6A~CTH-m{Emn(ll7UcXWv1n_Z=R8h<{=>;E$FGfw^N zz0;?yjy}uk$R}`G4j{+ZSZgxVhBE^bn}tBPf43;NcY8db-d?O7I};a8i)^k*ATz1fEf#7bp?pSxopVl$hz9K`?Dy)v|Ujd^#?b1 z#kQckaM=P+CkY4USs8cA{7EMU=5OezbC~L(%XWz8>=Oi7o_|%gbP5_C9C29+QrKe# zBJca#&t@O&G5c^Z^Rcaq=Kfsv!5*;>pk`d&pZP~(bT3KB_W&eCu?X@|1fkiK+ub9C zMLQ;SixoF%u;6lc94exyh`$S{c*4Z6&SX0=&|@zH$ghJh02UiC`|Wt z-zXkj7=Mpf6s${zH;aO9$qHqy9N|665nk(1=LS$;y{netaUe-p^Z_Fv>zZO5L>=rK zF9y2aRhwc%Wn~yInm3Nsc{%X(F@tx-2)_aPK)I?ULu9 zxO3>+FfId7c$Zck+#DcWHw*%SgkrMtQKY01t-UIgwrk3+z>UOeW>& z{3>}eze)^FvIcY{4H6SljGRYG?jlOwre~Gg^C$Hvymh!4X~5O1_i2N32WhlN@O!s) z*?-eAWP%3zJQ}D6AG1D`2I8qsR^)>Mi;1b{_n!Lmp9T&@81%km0&%5b!V0STzp3*; zP=-=Yv;!ICK7R*a7(ia$cayMhn{x85J1dHYQCfM}-8A>Z{Lk-+BPyeql=(x)fiakc zqG+7|OP^+FaAgdBuA%^|g_SSXtHvs=s(%%@FzeX<)r4Sp&kl!zGFZyyiyZtk2aG$J z_E05M9fsr38v1Y?+#JEy8TiTEeHP#syg%uLx4n^l|I?n(l~Vb1{dQNb2*@ZEygVrO zAc=|=<%l~DJ?1Uof0u^TsyhR1U7xBMJD}1-VFD;F-GCrNkrcY^xeoo2Ylf@X0)Kp} zih5bDb|t-|ldJ8#=$5*rH~Uqy=*Ms_9#9U@QdjOf(=s_Ujx zNBDUQ$ACi419baq%bAhV%G!N+-GA!6u7dP1;sDol6~K3MEo;B&X3|SWfG*Gz%xpw= zAtL<>S_G+Xn6dUCRvK$rm@wnbap*6p#e;qUgFWk2yG?Z#=HAt+QnWtojM4s)7Y{qU z-G#lL7u$7k*^zZu!2zRJE&GH5?~&mh@;ymAexs0^nD@x<5L4*x_R^56B7eNDL~mym zUPexeI8b;{L<$dXj+{T(+$uUPH+M72c;v+F}LGbK|s?1mh zN@&)r<}ETT@D@zcrl=WF;AOk)-j-sZjXYC$Gv60AXvwj_G1!y5vnP+Bi#$meJ)p~h zCg}Q@^>;Qo@tNj=;pe%1aeg(D0AXc2_Nc}7is*BYVT?V@5%y5bI)6#*VY*-zo*1kf zwFnP=>AFO{MFN&Q0YYQtPMAe4+8Sf(kz=OeneLNU&9t?;x(SRGE0Wm-W z?&wY$W^>(v>Y3t>?0+`5jopU3#%{yQ)gFp{C?3kIMH%iEZOy(J=l;0sMrlEB3BkgR zKV5(I*W*Mg4 zViN`8XO)eW*%2tA{5R9jbm(Kfml`S&LU3YAzN8~4j#sk4PJax1$zBa&3A~GBn^Dp13I8^iHs8_5KQJ(AU1xRG{k|Jl2`3QM7if7 z7d3j#+d<4XJi{Vr3?YUbu=ls+4d)WLyqT}a`BX7rmq90k{j{L&yY2cL zk^x)3qRH$-M}JA%r5($5GgN4loT5=Gza+p)wtLJmH zaP|$U!3HYSUg2@MUaglE9;Nh`+5@ObWo(RhiNlQlH940kJ%v%fFY6*N5mfq9hS6d+C%8bqInaLrSD2Bd5kV+u`x*OlPmP=5}KSL*WVaXh( z`}z}?u%$ozn0D2`G-mhn)Lx|_W3I$0{R&XOi<`Vip7ML|_*9lt4(yFzrl}*4hNNTG ztM+IL+&5P)9c|Xy^e6x85pL_x{x;biBK7=uOgd*B8he%OBxeHSM2WHZVD~_;_viHD zs3`!0gnwUUIG=Xje)xBdw!Q?$6##%eJOH}_CLx*4l4X6|g_}d+FcTtW+4OA)l$j7H z%cg&>>bK=)*WKhu#hYT?qx2kH&+rX3Ca`#KQsfraP zX&4M6tXGrtaS4xzn1ZLfa2U%DDkXBgQw zI|ix%Gr&dAg*TV4(=Lhd-vGsvIfUf#2O+DmkD_#cGH*sKob3!xqiF#Hy{!y9!u7&2+{2PVtxqlqMr4!{i8Q4}GiJcxYFBEig=mW26`kz!DBF(Z*$DyRr z_65-FQcxfpcPWy+zQ9dh`&KB4gYs#be$s-qxAs{GcshbAPKL-brV;J+sx`E(Zh!a9 z@mKJ^6$6%x0@E?WO68_6{h^->hhtJv*aDw#H^qwXswM0KIJNVtxS|rDyQG?wUbrD= z5?U8cUg>67h5C0Of~cA>C2SYo&{rbRc;}UqFWZN)+q5Nm3_-xa)mm}CY0cIoo5di!1rBvX-Qh$cW1VNcK zB1KMf$Zcq}$SkPE4Ai+B7~Mw0^pi+hoiflTSV42{kRe~}Pr z$8xloWI8><0_3Vfh+Dikt^|Z+x$Kg&qjkfe-=_Uh%VgH`urwb#H0l!kV3k5=bp8fw zPo@nRW>hTA)rdbV)ZpWnv41I`=~Cwj?ct!Y{QFs1R&nJ1UReN^~SOBq;@XeE3k z4kn!JGRY_?o7TeGXISwk9<$@tx(FQfp#YTdwr>2VkSC7wLSDZMVJsi(j(^e^<)!^Z zE`-C#!*!N{6b-(O0O4AP&aMXWv-z4pLU{Zbj}sd0nsLJOT{+)XAAf?01|Y(YO5QBU zQKSrHEPF4n+q^f2+0C-~&FA^@;{61weLwMaFZ^#a;7@K~G5q_v`3wJ6{%_OIEOa#M zdZIiztD`-Nh9gB)-cyz6ylK<|%LLW7?BP{U- zlgeK0ZoIC|?Rk^6KU`Iu4;+b^Fe_0LO3Hcs*IzdtBte3rWRIPk>#D})LwGbA-9L0U z8q5~=i)``Y*T>E|3=|O zuPD=;D1RZKC0pvR#lssejI-mYlfjUy4I{aJQS%U0*bBxKej@*|_INcX{>r z?(x1V4%pqZ%o7=|&_AUMLvp1AcE4iEkc_d#if2Si;2XC|Fcbh*ZV&s z(v~AM&zUVl3D5FOz_^GJMlW`~SAr3)S(Y!hi)V^x#ns^DtC);1_*EGFsyBQ){Zxzo zqz<`cnYydW`q;R6ansPN0liZmgy5&*v2b%)Z13LyRkeGn;`#q^-|T$3UrwcKHkLz5 zHGh#xhj#z*U#<|>Q6VS;wE8k{GMS|*B#gHdZn`3xI@ORSMyp;sf#!JX6{uD>kMFD=_4J2JML3Xr zjsEzm87M2!%wU~sbgHZ0R=-%y+9Cl8T7Ojt0~xDAgfChVVa!4cMI=nFWs8_b7lvw( zx5dwL=Nj@qsK^JySce~ee5>97Tc-78cEAVAwpV5Go-kkpkz9P*_K|1_xg5!0tzo%%GF4}@s;(ndUol3P zUnQHvUS(T)mm)r5?bFddiNeyMu(}9^)dh&gCJ~KuNiun%)+QlMe;B0cr!s5&K$7Y? z#x$A}LHz=z<}u9||9mm68{kwmND>m-!HE$`Goq}70O!aKVr-B1ogrd>-}HUW!y zS8A8kDBBrLsnnpYkxtz@NLwdcML;v@RtHuPc{pGD(c`fqxi1ABgeA zKRZlmLoM9^lbAB#!wjZm^fFZ8?}aMydXIYXTL&l3wBuo^N%IP$Vf;#7H7Uvz>3IH! zDK^pH%%mHll{9ul7pc|n*^mhXN$SrCbW{%WO>@T=GYL8d@r$*kKNHNk80lN)dOoar zj7Wun2ki1O!NYOr;|#?ZRDVX9vvM3m*;mQfFWiO#R$YK>kOV5xZwF(7x}TocH!IG} zvOFA1cegGM`&)PW(CpXcrrhlh{-^zJk9Ya94Ar*oT5Rw4O?8By`=Yb>-u}o*o_hUI zHld@?+^;uOF3WfBVdDv^>SI|Si^e@Q<>s`mnwX4ru_-*sK)t`)TYo&VRs<(f_z5^+ zFkQ>#VQ;rs;BHghFuDA-IzR=HSzOd&d3VFI<>|04?C5Qc%3Wcsr#jRv-SxQNxMBiW zvJExru4?0k<{lr4rf`Le`n1K7;oCI!frU#X%|G56F?3QHZw2e|MoGsHX<3cewPi5U z9>$Jx>_&-OSHAdm?|)>DOHK?rRM8w9t8Mkpa~3qg^8;5SKf6*c{l?eJH(c>!c_=%j zadl2*h#UM=+=V@`UvVmnrrIC;@>cr2llAG*@2GkC9<)(zOPrwlsyVc820ex!9-0!C zd{#CE2?E9>$;05jJ#DJejz`#$m1|3!2ra?QqyP0Mr&@Rm;(rJO-`B-v?_SvMv4v)T zw=Hd4M9{8@hiw6B@rDa}SG0{3ZJnxKR}YnMY7^R8N4tx{GT^Z4Yl+{hI-(A7=DGv7 z$5Mb(yRMxGvZ_^3|T;`Z25e+{Z zYtyPLHKUsPoN6l2Iu&mP3qB;jH9YL_By+XoRhC@u%QG zq_@{NkZ^Vdg?2kTpSZUEy!CB9Y^$~PwTfZ7<$jlQ14s9O|aK?;f3=N zut-&VPu2Kz5#udryxD}CU_Ulx_$6(ZVSlP3XY#yZ2De=TRPe8$&DL$lhqTaYMigzO zHi=OJ3^v&hU_xW)=lhYl>k&L7e`_5dgKp*F7#vanL>T~4cB?Sc&Xi?3N1qFwr=(^n zLc1O4c_N8x@vqig?)osEB>Q9Nep4Nem7`r7?_TH2?ABL29E-*p?LH!5mNqWp1Ah`aruBCxRC=hCdys^yMfu$L*5Ji{eQFwiU;KhKt+&+9N z5&BS>rcbS8lQJz5KqA!?kihyrV%8W)^6Sw1qXWscX&S!|AQ|mPTmAORdPLoCFjTqn zW&zBN5-c_gc9jcLX4!I!s=q0%8H>->MaeL3UvEO0*w#fzU`$UW^udxs^;1WWCR_sz zYTPSTPT&FJ$P=%>6B9F>L4RbE=cc>bovZrRJy_(obFg>U7M-ob2QS=g;%vo}6;D-Z zH%IYqz2Et1XRx*-4o1^{SJf?0LwUD6@XRcCW$kFm{r*AbMG9{^B7EssWO7eOuSQQ^ zh!9aldX4JY z-_s5&S1R%VfUqMt^PWaetO1c|+#B%q?G_Z=784ei=Lx z))zss{&ee~z6gpF$1JkRV-{ad&B{kOMe+wTzLzhkA<0KiZN;!|>B(+5_mkpx3h@gKC z`5JcL7oX#J;H`W6=zn$ih`Af5!i5LnrAq|ByVH~bPGPP5Z8mey96E|OGm>#5NmLg% zdO4BQgQtb(JO_@sL6>Y<@@S{&J|VNcvs$q=kl6nd@&4ZmihnG>zzcPkEL_q%Ck$Mk z?&!(=*^^_Mdz$|}p%@gWf@pniuMMOii#Y&3XS)II4N7Rlh}06S^64d*sVfognk9I& zccHs9OqFUUn-!Q0t=N&kOu~qGYJi`TJUQ>$obe2#;Asu~x^i1$ii^+L0&09D2#<-K%BBnarsKUC zk$N@)-H*{jW8a4G6)c#z(1k3qLlq~41>RV?+%-EB?0*WmHTW=ON0eUHRkp(w)Q87t zX2>8o_ATbBxuiKEy4Kuer8h&7+EQo%r>>?57Djnhq7Ki#BB@4Y(jrB}`+ z{lO?4t8vTzhNF@1U*lHXu0nSoe{@5Iw;dX!R%xmf$-Cg`pVH{fh~%bo4{gIQTtCh& zz<(`5G~M!Hj^Q0p{qxB!8_er3TtR45W?>#4o;!48*|_`*cd_b^+20lpS&J~e7Nc+P zg!eSZo^Zd}E*ZAtlnF_}s*`+nuTkbY5h^6MsK-&O+wz{fV9Pbj|v9vs12ShdFNTiZkHj z++_()ELBt13J0^m9fW8qTozoG5gHN|UU^s>;mvw$m5zI}!@ly$dT@_XEFUYkc2HdH zR7X9(a}O?L4Ye>K+P8>?oxcs1)8RI?I>v^SM5qXNK+S0zvNG^%Ex2&*%1yODTz|E0 z{=??{(;PnmMpaU~a$@pmM;k|sHNLLa|32*NUSKyH#3Fi0Iy39AvbK4D8O9!7rawS| zaxOZG7)vE|+B46?G@^Lba%rs`EPy=9lpoP1VVz&~%6SI-J*laTo^}U?lB64PxUvEnK}_y)0fB9Vp`(JMUhgbmKx3FAg&hY3Jb+;1|D>04}S_ejq(n_ zOHACH{OXjw`Fl#Ga$Fzjd}7u6#55;0s-IxoO%TAIhM%mOWDJc*!sJ(;MWE_D&# z_;tuV{8Zd+3wIlSw-Dg;+<&wn;GV6gal}mucklZs>T0{)_gle(p4$ql-q2;WPk&vJ z8%{)*!~01;e01gr#I5I__2`e7G}VM-lOh9|Gc>k3tiGvH&;?$V{#w;&X%xpjanCjb z3a$@jeF(;i@+z$+_gFGx<^BKO9*clgQqScl;}=1)eg<~xs|HyIS%07WGg;BiX(>DM^j)@BhW#UuKf;1rj6H?>!sCHeHLLKbt9 zVoYIlaAW-S9G?7S5A@jKH3KsXPjT8*zccojBuoh?Z8$q;*+ug7L6%*+7JV~850`3o zH^JtB_PM^<*Hh;Pa(}|jOsBf{<+?XugHQMk`DI?ix#P8?!#TH!IK6{pjK~&E_!6@X zI4A8U3M!#c2=SX?LY?2@?J3456MN9u01d^&Hlr2%Ub$%@q!$RGxWc{oCVl=bGsFCk zQOHv2mX<0tc<0Ua6}3oB3Ya%E+GL#lp2p;dN~KIGP9o1HI&K5{F;YKOBH!rK%aplL zralg^jYWz-g-G#_AyVuEMM_*GQWqrePN#6I$&9HtSw@`;6z-_IOFLj7Lk z_5U$&Ah6>Dviaa^U*mJ|`3HdDoTb&I-2`pe=<@`l5Ar>K{p^1M^rBKJlhFec0y8+1 zad;C0G&wkvVFW0D%^OX3+cxsel`BJA(lzf`UHm*hvmHKyV1m4CWgUpWIIPA!Ua-~M*>!&l#1Ib1)>Br_@l{M^z)AD ztX7DbvQt2~0vx)_j89+C%Xzsdskd!f>MSaPuGX7&O+(jGt9e^pb1vs~1+%QLrB(Fq zk8MSra^9|g?#gRrMA`WDJOW{wKQD!zR`X5URclW#AJVIgW(9OTy%oU-Atsg;mJ?4{ zo~g-90O6kCI>kE8By71LQkpRVfCZz(dM zsW;^cc|b$ARRg=XXulyWl#Q^kEQgVqG%VMaX8SgOP-TXY*qw03vy7nL?`R(i1d|Gg zAHe=U%?Tn(?NvA_s;jCNmHB%|YCHQGH6Z z?W&OVVo*)gBRc8oQWNO556LT`lorsG} z$0E*uV-e5b{ZJUHe$iw4B9f8{ikA=d1pxx9*bL55#D6>kxH`$5`n7kS3Ptgk7AI7hkd@oN)es zPb2Iq<@mlZ5}#Dq<(DMv2V*7k2w|5WC+z1+LiXv|bRqzFlqQ_%3-`hao6BcWh4W~X zpNGazxXJqwlQ|wS#kA~kh5{yxUmjB2>5}1%=L|GjM0v-EgP3^aaeVW2s#-Ktg<=`Z zHB*3Ti2YuzvB;zHeA-p(?Q&BtT6%1Mu%M-KJH4yARULq+y4BIc7R!X#nYYcNp4ZpP zsD?gTU8_v2>Fv91)rIfZ?M>&qSTRd&r{bE~KB@V4DoV6&J3YkP^j>f&MwluPC8|sW|hd2~!hwB&gJa1S2tNYS_UEW+Pt;?0; zD}K_I^Sbm8B`vn}z;|7H*RFeEi)zJh9fV@z8nQDgZl${MYhyvz6+bIYh7L(iyJiuhdw60ELKCvg@}pgA(3IeRImH6l`-fW4Ck>e88l+mnAakI9o-QEie(DMh z_=d+6)RRGiWR}YZ1qpRB_>@AQT@;ewrL(69m(FIy8PO6lLOls1&M(GBjCi(~YL83j z=F;ORP)lT!&dp=a#o|SKK8+XMt8n3}pwl|rn{6a8GEyH#z9Z8R5{i-Y_!Uj7k-@~{ zgGw{dKs*XczvJLdy1tfwWAM3yIwe5%7%iGG7Uk zlEcRVdLik+(RhD?L|=oiUT*3;0+eL;0H9pn(%I`^jE+oqtnzc+UV>DjTg6ZlUF)Sg zr)32Dsv+Lz$a)#GzTMC_!P}P0^2U$6@W4yO&<$kij91r#wZ#A^^Jjey{(dB}&FjIGr0tQ^>hn*lL(7h?w zo3aTrb{Ih4)!~Ch71|A^lTF#tvoj=xzp+r*fz@ zFX~IFr+?Oe>q{{W1sFG8jdNrC3M^ta&W#y;@LlT{-n0w97IORrb??J+jz^x67It3| zBmKUHi(+6u?zZrGIY^4b{USfs-zn=VbkPtVY{u@UbhV=4b+dVShfLpqzMPjjd#84F zSwOG?p@hh%RWMknj5YoKBTRZW96AUVNNUsdpSVMJE_O&Kr2$Q^$4o?2Po# zdT}ry&t321V$0jqZuZpMQ0M;rz!fi)EdaCm@etG$Hez`nT|h`t4W&4rzJ|EMn46~R z`f<8{)0i3f-bTg#HN_kBzEzVY5MR<1_JAl}&*eUue=07Fe5htTu9>RLuauht&sk8NFbRfvr!W^=<~ zS|8Q80z^q;HRK@Wd>1WopWwi&_f;PQ!p61D29SrS$0IU#F;YK0jQsdhO4&07+~sn2 zF;DZ;*VA5}4C7%Qk<9M0tbh#{k@a(bCmncLhvz6F+XagC&9b5)r^X1=)D4wq@L}QK z(lHkdq-g}(&cFmbjK+ihBw7577u;pK<~Tc|6&ca+sv)8%xW$oG>-@lrwB!p`h-|bo zd*(;+KI*8}Bj%O#jQR1U7}i9FwgX(BRmas7VjDiZ;hAPKbfuR2Aw=Y6^SrlzmW#GI zkgq84!-YCIlZgq>oX@7BsMO%0RIKImc69?uf3I_*D5lH0po8J@(U zf+Au=f6w_&wqm)-7{|zd?`$Z4r7OeQ_91O&+UiFs`=Lno*iHSt8&W$4?UzzB{eV(x zOnw~g9wGgKJN~e^c}%+xn*-F4c9Y=tZtvyf|`v;g08%L4{$(E}u=R8g$KW z`^jr7AI)nSqIvCWJJ1fIdH-uI0Na$SyLR3ZL@(>Eo=9VUy7X>IFh7}pl@Hsl^a<=R zwmGbzMc&KL{iV@Fg$hUgl1vN?coUQK1D08ypYj7j%X9ny=lfE~bv#?fBSwBQ zIJCPT5d3^d9P-}81wPET<s>Ky0o+|J~k zB$cwCS63H*T%a-lJ`*j#2Nrswa)@8Fn#@-hZ-3*H1-$$LtdT16$^RVa3jQopCYvlL zZ!Z2bngUO!RiVKI*<(`}5CAkg2d4lma!`%OOd%B*tm5H>xZlx#j(A2tqg6&S74GX% zN!5x_QiWb9sru_r?j=a4uT%?fEZvo=<#v~%;611%wRc^6gsJKew#+TF?l_v!qEhB`_ zP8PNQgzP7Ds%2Pz$N%~mdi^a#H)kCHsSODv4y~ze`sIAnxI7X%Z|cT_u5LBnjq+>#d-M6Fr=V}Egm}4Plj{Hun};?G5E&QiVL=M zeN5%yH^#+ubQcld^}YxCF6RZXdAV*6;1nz+&RVWh1ivps?@Mpz1|FFYDiBzYM=Vxt zD9$hE+hy6ogltzN%b3cH^fh^r8iv{PbnYB7YFk_w^Si(-t;%#!j_ ziy-_;2o+peRhgcdSPZg`%K+*~blNq93jl3zEXlL74$w}Bl2Hvs}RHkVOE z0Tj2+9sz+R0ya3eQA7dx904$wQA7b2w_#xcJsp>~9sw7(f{X#&D3?z}0T#D(wE>zC zmq}p(6}KbC0U1h{Y>WXGw^9%SX9xi>mr+Ck6t~V80vHhiGM52_0u{IXDFRD8m!5tB zDi1g`3NK7$ZfA68ATv2OIFn%nD1Yr+>vPjcw*Q{LLLYaFiu(Pknwq)<28LM}n1sE{ zKvB1pL?m7u+iNQf>|ejX(`wl**$xWHovGU0f^PNW^y%~N(~={sFL)trD6}qwn+11gfwl2kwB5i482W+#VR(kQM|*bkYn_s(fLHRKo28?E!Sb6_SG^5ket} z8woO`6rh_6G_XQ)Fr&CUkk~{jZ82id2n39dR@f#`!x1p>IAT2j#v6jc76C$%LKI3! z3=2qu1So|n6siLWo|QC2i+?YaqMZdAMq_6%t*kXsp2`y~5_r4@umm1YWJur%3e-uB z29Y6Lp}7Rj(id7P0yc$KmKwIuhD+k9&=ylrj_c1tulqddXh+CY?KH`gIL!B4G7=b!jSx>q6QQoVLK*}@P8pr%Srg))d~&7 z+JhpCJ%Pb0a1O0l4Y|UYtTu`SjRqDAAco{*VI4^c4~Rw@>KkB$9awM8fdt)75UDUV zr!`Hv0wACR`t^!<$ASQRD#*5iBVY@g=3LMaStHlfQe>ATBC=`$O&>^5D4+^pg>GH8Qx(9e1Ae{@)C)j(1r{I{vdQzDm(&KOgaQL!Vt}pOxze54!-;DfITkW z32e`cLRUqRW(h$oPWV;V)uv7&C`>nYHC;$ z4IHp1^I21T_g%rB2uUjAE#MPGAq1b)M%c5dE#TKAsjg>ZDC~NiqEzZpKm&zoisGSa zHwCrq)pCAzQa8mrkofpX!Cu#&n_|uN>o1F%Xuqfrz|*X$XU&RY87)6x$MtG{y*#T| zF_Oli7xnq1I)9pfF5c1ZFt$=+%4<>j@E*HWOP~M&CW2?Ob#5bD8=@Xyprvy=Y$1nD zI&)5y@Z%-Y>4vg>Oc}OG; zc8>E0?Bx2iiT&r3*~bHRG+&%*K3-!vYDxk2{e$4K(f806`jM({Gn-8b6K(h3H|q8U>3qw?vM3BPbI4GG0`yD8&Hy4@o@spLhc^ z&CRbL%_ukK^8VtN6ntolbj7*bVHn~88!uM(d4DJ>QR41|djZr+BGL{A6HM3oQX9AP zSgikXT{V;WYmgYONnDpSyd{C0e7ddnJlD<>3RH&wc8KsNK&f={<+g+b;FZZWFfLM!37V4ZTRXM|aUe zmVZGTdi4V%g|R9PccCOwBXYX0Wsz!VrNWQ5(j0aj+(CvL1uF40dK_AboJ8%of$oBZ zwUsXD-{&0IZ>KlJ`kNAz+=Rc?YUQ@o%DY;vOu=5>tMy8c(288sTIfy{ip$b_dT%6= zPJG37!~I2iGIWO|hL`lRGw_)I8Y4>QzkljMdgwv&79J#bd5|x$^(a_raW;xD3YKn_ zT&h1JRqu!88yuq_=X1BXDLuM-sxH-5s!p#+Z{aag%b~|42d5Xb?bFn8KoED>C=`F9?mE7%sRos_BnLqlTbJO`Yc+GduFJq+M zdb3AgExy59GePTduh0IUBIY+sV*8}m?yi!!#rdWE=og8*V2uYg_iM_#UnG7_z6D!c zeE6S74@E@s=phh)|9v}nR<(m?Rev`4=piqK>40N<1HYcak~9@JX?KcHi{-^>@ovo* zdt85-oYluqkKPlhh-A8a?8AB`JIoqa6Srzh!##=CV?6fOf)WSS!!*18Qo zGJ|)9Zk5G?K-t z=$@LAg7_hwo+ieMyZ^J2#~?%a=o>5cCFx07M){z&)|QU=hjg8DrBAg&1{xy&ZNG&J zT9-PlOyl{=IBtw7ZGz8t5`UbK4Yvk4Byjp}-8spavUVz~*M%G<$Ycm$mP%}k)&M%A zp#4-b5}L~mrh|*lhc?Z3b6|em?hJ-#pr^L2uwpw41X}?ir#%k{1O7T1bD2c?vS8CU z7?D)o?L-h!6zi;B zk3}(cV+6}H!cA)qQ3NzD68mOTbf$`7A-1CW$v?9a@nvP-`Y2|*AAc9SJ8=yQ?Y(Qf zQ+uxdJq1po4Xz4Bss;H{svWt`c5OV8(p2Z;;FQLrPnzhZsSb`-#o8%LJ{)T!<7``J zIP*H!1Qo$!SV#{S1b=yctn*b?QAF9UJtx|>Yat_{>EUCXNwqVvq}X+1?PDApQz!U@ zd%Z{8v8{cSr4X@`#2y8khJP`Ep#i}Rto*?Zg_+ptH_-by6usk zE#)?l)wx{TwZkf*%^&&k(bk$AcvI*=iZC)eel`csrZuMSMSr~U%SIq=kFTAh-F^dc z48d|!+6fwe;}jwH7;wBCw62^TvSx6u=0v9BIr!4hj|QVEE!vd$>!emEJYfl%_JJ|b zPt&NjEgmc5*G0NPa!w$U6M{g|!iMOtF*14WXi@ZCLICn`rza95>fqb0VkEE>)tuB{ z_1;`$$xgTGO@9teB5LbsN-(T{v)nD6gQ`~$b|r~764^cD;Yv)44KsuQ#6m1`zrRsF zmI=~i#u?MX7?k9C&G>w6gCpNJ4?D?j=}_UVfy7a(C^&mg24%>UoF~H}IA!CdKoCT- zcWH_c%`xI>$Ku+Ay*=dG$kgIrA7XO7z3H5F!)RwwYkyydMqcg*mc6463umzO>ij@@8lBYMxVh_Vw-1^dGeg|)@4uKc%BsRyiF$@c~%zpjJQm4 zlwtB5Ie+tENABFE#PJo>=HHsFlso&R_B?ea5<1v+blXeJ&eWL{G)$f2*dTQ_^6ROy z;e0DK?#gXa=T7OvLUip*o7aZ1r`$v8yf)@dD&6U(b6KKd+hr-`Zza>+*S_Ym^h5l$ z%X0r!m!%!P)n)&C-~I1>_uu!v+nV&wd+?U?(tlqHY&)-u8B?NU)Okx(C8;AF=;!c$ zAi6l|_?-`2!m%!N;3~cqOFLD%{L zZhzIyxooU+V8{CoOw4NDcVM;q)ZOP`YfW`QyenNE)0Oq2WEy!P!a7sfI+DA*Yma#n z%xDkZjpu##-HX2OJg!$~%gLgdFWc`uKUY_n`Qg>k$@8}l9sof=zQ4Wr;f>&!m{u37 zLbnh{@$=WA)Wx9;^tWo-z|h-Y?yb(~^OwewN7aAg$9i&c*%au|CNyzqIeO2UYC1W4 zIJ=nEG};|;o7Riz z^{RiVKR0Yap9?z{@=ofl3GekT{@g0!$piwF*5;oYzoyu?e?5Bm>>(8U;@LjMDhb85 zFAL)>Yok{ibgo$IRi;`&leuaSh3=H=jkUeSLvdR3p%&z#v+wOD^O zb9ObEU9Z^H^%Sl?{laGTMf??XG{)s~Ytj<{b5>vPMy`{ zYBB{8*R#ndKvdJdI^}KD`M0M(y*YaJ;Kj+&i+$=udUQzdB&5=cUJ_&>*$xakY}C0o zBat~LgXP-Rh>LGi~eqc}8bM}(G0(U3u4ZHlZxU6S=Hg6SiU;OyfUyj~B zIBBZcd9^%0`EvDqH>-3@g+o$SM1S%>cz*TsJUl<7 zUk&Y%2F|oY`lVsaEfI?IGpK(bfkU21Ngnp-T=d;m^bPz7uG<?c_K z3-+?@w1)qh{T0Svv8o+BWoPW1)vRv25jp!X!T(P+`!K&=vI_=-YG?n>KC&shVly_I z%xX4g^LBiGK0(l2O;&7<;YD}O|Kqw|#rV5qE4HdX)iZ?6&#Yn1<+2^FS@YYRU9(T@ zGyB5+$^Ka{=Y8$0W9YvCc<<=_lhFec0ys360fYh-w_j!gpdFXE7y=fz6@&sNN|)s+ z0vESZ&I0@|mq}&<7Y#QGFHB`_XLM*XATc$Ukc#l3N!(*umG63xw+xU0V4Jeo=%qL7A^oPHDwKIT3WjQwEVLL zVC?xH$X`!qOLIE_#orG%ppCtQEzr*8FU9}0qY4lRaIpXa%q(qy01*X6Eh%{k0F{Ki z8bAVQ2Xy*dgrcjljim`d*3txM=M1CI~)5XHb<)7HjmVaS@z1iQLruHVT|CIDE z>@Uq<)Wyis&VL!;0`zeCCzde~U~1{?U}NO@H}+pL2PeyarQzyqX=nbQ8PEZofaXR{ zrZzxl=f5<6x&Jwx|Ev@6zg2JK;9%qVFK_#Q?fPFiSh_d^ZOjJ8xlbE zf2T6Tf1k+z4HEyi2>jn7@Bf>)|5c;^?GpdL-sk^HE$(V#BX4B;w*me=X8?Z(jgcMT z@2mmH0{$5`Hbzc>e+G`F$^XaI$kx)v^Z(@hUw3N&|DE;!eUu*cQ+rKJc6qQtxk`bo;KTO+yZC3o-6)vit4nV;FjHDrFZ~DI$|4<1F z+j{`K>6tmW0rV`KOn)!q-|NWD!sh$`6ZT(3%zyv6mNRm3vh)DxFflMOF$4a-|Ks`3 zmEM1$5wkO~H~puNR9uYgO#imt|1$goo47hT{Z;&5)8KFA|FQnpB>)0FfF^JotM(?m zAyygLnJ)F%`J>aKI)nYp;G>}qWeS0D3Z^gpD2eX#zsf_?jQ$_ z@oDqoVaa)ou>DdmiBnuW4V`{BnS4UNxqorG!n-4Sqi24&k_Ot5WY~)|crCuN1WI@7ks!a$vnpa}}+XczfPbXpJ zS`{-!fy;)iBBruxtBsg@ulGg^PD#I6WsF|*Li9yn{b8vepgv=FjL&V%t+hp>#t(gG zBD*~}m3f;S^Px2yV84>{_-F+Gq<<>?KDmIN|gEjxfkSpn!KdW+T1|CX)F6exRV zz`hh|7cj1F!p3fzTMJ%P4TF)b`esTamyVlY5vhdeXE@#oFWIpSMzUlDidQm@5nbw! zrPGFk$+icl+f2c(MjaM>Y@S9 z#@yN2QgXSq?_ALx(tag(Hh)M3l(CnEM6@TiHO=)ReI7(Dn0RtziG4-O+%OC=&jq^O zA>2Hbj0CWCgqC-f0N`F@^4MCJ8kuEpjSPlo4ZiD%a-A#|Jtvs&W`>DA(QWfkXU>+; z#bD9}sHm-AAuQA+!gterPmAWS#ZeU?d?O2z+8b_ioGhp7eOQ4u3V-U{@8hutmF~_! z4K8Tdi+Sdy5w(`L-?rCT`BDSx6rKJ3?Lt8p#FXzF)xrKOyVcZW`mPrt-8uv5?!^!B zpB6RFY@>o0?`PVGf|To_}#WiINcSYD{s29YK8bMGhSz+89n1jA4U6)N2RVY@8xJu|ksF@X_$7gOhPq zg}QL}VdcVY|AY!rIM!IGG$lntl}Z*AKn15jl&r5tjzbA=f_XL9 zwb&OIUq`;hYipkNK1+$39BZik1M-8s8(k*J#k`mf@PljNb}FyLWrk@z_9p;oi-*p` zY{K0U3K{#}fp|9{kq}YwVj7$A4y~!0KN&{v|il#R%+A(2oOj z)k-jVRCrU(#EQ7ORiCdb%Wl?#_*bbFGkY>qu6{RPZ*HxE?~sch*joy`8RX?cgr<=h z?=@!-g%EHT)K2D4=v;9R^hpzgr*DBL6_f8kGuG_6pLFE5bluR}U3a=#)RD+0)pkeE zk#~`QjDPKUTrQbu2HMhOGlws*abcM7b9gfp8Y^h~RJo@qS_o9@Fb@0H8hmFMjBns( zdzVcwvqy9pJTsJ>B!zak^b{Q4-ifYGorodU*_P4Ir+*U26n#fcdj$BwU@@%!vC)#x z#t-8E2HHmOkwB0e43}TUYjT{YykkqoReT`UmRi}jxBdV&+ ztbZkEdp(o;C6P(^MX7TT)k)b)Oi_-xjbkk={s@IAZ7Jixv~P^{{%-Xl|SXW4-uL|WRwkR zW_v^#V$C9FVL-ftp_-I`#~>h`_{G!G!+)==83skinC-qwnO5wuI|q{087>u#P38^@ zcxMk?rQVY=@#UXtTj+67bs_9DF{bU(c|@OOX0LuQo7XUTv`wDKr}~1g#;gK! zJKy$=G9rCwDx3~Gpy0U#dL=ut;9Dg7q zkI{;io3}D!L}kAt^=v@pM^7kpl`UPBz$1#KAtHy(&Ifyfukg*(@(mx-`&m+PAjBTU z_LH`eeDBL7ms#iegu>{1S_iNz-UUQyi}3_M>AReHy|577=Gd&1Lz&yk_DZ@c$NJeCJwh(!4+iyvvL9_->&r8v9id}qnj!%(QLm@ z==*{h1qV_I2nSt$cMjt@6Mz1_rca53M^)NK?PY)H!OYJJ$pv_G}%rzZP=I=>Z53)_I5qv7qxaJM^B8i`r=Wqjga&Z)#w|MXq)_6 z%UGfcpZ7R>j^BxR)Y_RJrlCmW@1*AKDayaxm8uBBb=?Ht-5L$??|)koWb)rrwrrNG z(!{O}ZI$K0MOmtjQjLUQI~s*DS(WVt^;((=rALq0Jn`S|(3m^@R6`U=vY>8M17W#F18bM*g@L^bdjd{-NQph>s6B*#5+vh(BA%CMvioW-K_{POM&kWpb3O{dH zrRP4-eKYQ^AZUVr?SFQ`gSZUg+AQUk{BtpLcUw#_2=|1B-XUcTq6qKP<xBK5JGet<%FfsBqjf^MVRt7yZ~wL+ME!Rum;;64SfK>aT7UMgmt)Q*cz)CT~EJFA8 zS*WVN5qYdv;Z$2CCR-V-wq!s38 zUBTH)H!BMgVg*fuKHM}pMa?O0INUOuwC%_eOc*)j#xQyBm42BZxfqpJ?+$jBCuyNW z5t;}^4QIWhp=7eMm8P_5?0wG|ZmBXP@BquzUw^UR%|U_#c_&lOLMw5WoFE);Bb(HT zG%-ka=HnlU6|Kkhpz(Nq<{i$}D2e(bn!!KMJzou1SCL?aKLt~qj%4M*LFm-e1riai z@5F9`kBsvkp!>H{%WFu~d8M7Hsyy`%9T&gzTa`6%;{RkGLFQVe^nZ}csN?NZGT85XZ&XURTp5Xr6`mHH38|_G zsfO>(ZyWj1CjDxRF>62z4(eHO)U25+i&MmV3cUNNYWvl!gPc%)<7M?p-_B2le>U+g zCFKbZ#TZipjiOTP6t9x8a3EyS<5D!?$A>iq1Z0-*1jrS`WN+IxQ{v$A412 z(#ja+7~S=SF;hCxK4H0kGsMd- zQg{oNSRILHvL@;bO(9k$hcanUIhyh`KP>iuN|s(#mZp2I96yvsV;jAI$c7ZJyd&Sr zMZU4wzCUWBT`Jxy$bMY zwhLZZn6q7~<+X{sHt}a2>`rlo)1jHF`tR^yE+bhe>3tZKPTeuEQ3OMP(0}*e831C{=ChpPxsOl1T$K<^wyG zm7W|^0ufb{v0jxQY+B{RQLuTPP4yk-N%F?jj4zYA9#64_Ri@-S39ouVzX9|@DHaCg zhgW{@gN77p@L5`)x~zr;(|=e65m-U;VyCKjKPJGUsxx#>u3vMv4fWmSNv{{M4!#{w5dN>&y5%}Hh#I^5QKh2 zt3i^t>Gr)wjMuqXTv2`KBlNr;@)JD(uI_RhG<=V!B${S*?D18zvwyDYTM249bj&os zh^*B&FWKF<>Iu0&%5nmY3H8?2mEtWz>;zQ83fB}ZGHk&xFuIFTaChMzh0^odcon}{ zS(`Y{?UBdhBUbd)##{}E<7%u)X)J4w!vq^2Gp~3Y&cX5hX5Z777uH%3Te5?3Hf}y> zp(@OxYAwJi5tavWj(?Y9stbj%h7<1e-%1#;apjSR@X7S~xcb3-XbafZ$Tr#Wf20z` zk*3(Eynr<|l4*UI8zCA+8)ITpB`y+LgI*zb^piOsI8d*=53iKv5FK+AhSjlZVD z&beoQ{jJ!H)$hWk=sJgaat6$a-7((Kdii?q_)Mp z+MT*`3W2z}&dDiv3u3(diC7`Xu1N~A*HhuDzC47~^YikZ=A0FeSEJx5_cVQ^ZdE3YHv7^jkkAK0-r-5-Fd!w6PxAv4LyTTQN(sqhB0qS|&xa zTY4{nbX_9j3z^BKg5GMAO?8VsFo(wKWjE-_p&uxzr#9lxousy^En|ZCqfVzg;o>o# zn#55{U4J<+cPB?LkT1_5#9^7`&RK`PG3)~@GhYFpdD7#kF0uIF)L>!qkBEf@s6m$@ zZ19H@&WC20iqToBfmXB*dRZFlBAx-N0b_EWBX@OIq=tMs)U65{D20b&k1U2bCcZy1 zq%PIi;Wti^U{#|I!7Zf=^mQfva(OD@{&kGYKY!<;bcg~(QKe9dsM|}Wb1m0;b+TuS z@*Q6+X2HWvSoeCW7bd{$9+VWoXh>>OxdkkOC|<*Sk89rNZL@JhY*fd`4@NbpQ#-W8 zAlC!mjEo+}bM76GE2VG6(p($ON{WRm2r8HGYEU&jTWF?fI;U2Yut@jnAH%LO)!dP( z^M3_!jW+CQLn|@{*^V_nToiwXDM&V3{ebMq4FPt^mHA@7KkfyCSKFWZm{3~O#e{D2 znORuq(8uw_2{$zFhQI&3gaGthLlYwv78>PK$2qHPW&SC7SSLTQ}&Nsf*4auZWwa&negr$LAT>uR(<2ZMPhktH& z;Wj0v;}Av6;cl`CEa{9PVcMB_tt~-)KEpI4)<{q}%L;iAhSszf%xy1k-K3D8wIwZ=kANcPQlMnAGj5wc! zQ$F1>Mg1PoD;>f5C2au$jKYlEtbZ3$Reke3gr$JE!1#g6C6V*&QSvjaWhfE5_CfE| ziElSTS9R|J6?X4fEKEwi;^lOwLh0#VGD1L`g|r~l3-ouITk7B0EfIlEqmlkdocV_B z&JR*&PFDTJqxVCSayw&a4CdkLFExlcUNClr^5?NNzrK0d0WF zypv1WA;mu)yJ1uM*;;c@P9zs3E2afb8gP7AWu1{dmg1@reZe@|aH;Ib8bYBZUyb&1 zLbl>VCiZyOhmePbyVy8H;(yw*uQ~2Fr*lZtN$m#TE*%_SZcz)?zlVLCRKk319&odV z-KN0`|DH*2sJ1HO)@^vEVvskRJ zHygb{#g3`;z%`n>Eq{U*f?WYJ143g1S7RT#-`kc+Yw`>_Z$Z?;Er^+rC_9jO4xK}{1$CzMv_1KHqcX_4OK8_cWTZw zP#!&#%Pju}q^rukAW7|~hwdFs8OjIjGm&;~z{} zjv_^ZjP=CH=gP^u(VBpikiz>lktF)Jo;mr5$_?|C+@sGzbR}syn!1j4rKN%cc zQ&d|6GS7EcgRW3a;r+4ZvwW)0SY}>z33^*d#d*Ya@ zMTTZ>-r%inh<_Mb6Ay3;hw8}@A%wVUpFrZ{TjF@C-D_QIwvF^a)Hl>l&{b8Gq;|&@UfFBb9-q?eA@0Z|lI*>Sk{n>2D*17WwP?7iMZ{j7dE>>0>({|#zm3gO8ZxeM* zby|lRu^gSnLs3co#z?xmNBK7fq7JGq2BndXn9tlskfGUgas<}}$C!Gz4eB44PfMh| zS?_Lu)PM1lqAo1S9_|A*y^h**4c;@FI}(1Vgq@i%KD6xYakiv8^KJlaj4|3?h2Gkw zVqw?HzOznd*~Q2^y_sg^#j6<}LJIVDTbmV0_`EJqD=J<>OC0Q~mgF=4*Fzh72~4#o zcEe7|)o)My_!jBbOiM~8z^#WAsiOvQuBTC|tbZCb+TIqmkh;gdz%Ah1u%oAY1@YJ7 z!IzLjfYY8(0?AYJ+KdBv6^HW(c2H(`(-SKR+X`H!4ks2j<3%Krcfb1E@sdMjL*L*# zOBKZn$(c{-^$t!rl*PUnC|IG|J?5{V(uguoH2?{l5vc2!o_>~QRK8gQrvt{hqLPyK zqJP2VFs9>0y3@=Q&!|A-pV;3gD)wcF3RLQWXee>#$_z7Ps`&P z7WDD<8ZnA-?$m_XD@mo{+^gnvI`ic-@el8mWkWx(>_ z4t6O$BYym`x$rrqMm}gW2C)&12)0pl+y;I3oP)D~vprlF9QTR~81{<)CWclJjqljW zdO%fw4fjmN-6f^sX1=y5s%nc5r4vE z^mu4;SM_=_Bnlu(Z#?#+9@os#$9&1c8tSKyOO&8cj0&6wgtv~jE7NRf6ee00hZ0Da zC;9iu_!})J3Zj5pdNtQ~tOZE0h8$W-X2(f$Bfdzd%6OxS6UEq|+~pR;8Wp+7XDH*2 z#a34%DbW(|&%#1VyG)N1JtR7QDu4HeQ4pC9^N-lxqG5~4q}rw?#c=+$e&2e!VZN4F z)4eUBD`&|EHcTI*<=5Dbp7E*2pvj4C1KrgCEjJ=QE)$amKJF3S^`l|8c)A7RG~-R) z1eL-}iFzZX&PY_>)_ zkfBIN%L(^U;m(BDeJOi#bIY3%V#ijyi1E;oe9RcMXVMHY=clC^mk|OjHY!h-g~t5d zI1T+J_7RN;$ug_h<07j327eX%yGxO4h!i<3EXgIKh!CN3(3DIAnEfc=eR^d_6Mz1AefA<|Z*-uk zf{Um8+4f>Wv}>VPAzvxJ1mbBih4{I=Vb=Kh^UyM|Wf~D;aKg(Ov>Qy1?g`ef1B|k1yqnRQH zKgyix*7q%WFS|C{Du3KC@5)_#>9=UYsKKINF0rQ%@s-PZZ-&Pu17t@s>xx;(lQ7Q? zQ*)(VdEKqp{OG1&W(KOvD?^rCc-o)bu8NtvT>ZFD0E;iFzczSw;ZdbgIAw!I(dHQ_mnWIeRJ%YV1kAC{EMWp(wq)I-ZT z;O4E9u{Gk+MN=>MnI=pixkLl%7%mOAg&rzRxJ_|_K9grml6AkLJiFv>J2oGF1wXR7 zl_`Cljx!Vp>Aq_|(G{OyqD?zWSmO8TZtF<#9sF_HfMgm=0ndiR5_ zY`btLAc?3YM1QldQ}qrrO@DaRLO{^DxwznqeZiF-1mXV__p@JUp(dPqYWU$r-Ve5W z-V06nQ)6LHdJK}pu)%@heD~SPw zPvQI&W+S511i9F{IN*)RL%}g=n6>i_0Ok7l^4CfE=6@@TXOGvLdKEV;(J}C+%BL=Q z%?kNr-lQSqTJlhHcq4cxN#RlDq=C-C2XgVf;afGUca2TIu_v^1WRacUGdMys9}Wox zUl_=yKvK5yJv0}oX~QVZIrBFWP8uqij)@d>xWv*FqQ^p{swjiQ8HH0_D(@jKEL09K zEPh3#RDWOBM9U2IV^O6!_zHBhaE~yR$$b5#*GsR^8F*`VNNxqcQ1)vuwv3Qn2DPty znAJ7rVPDfQMjZ4EzXU`m5Y$VaSz$#s9Exf9f@pMD5Hq)eRok8f;XQ^r90iWdFc;(( z!kNoYFh&l5=VfHKf2Qxb(D&b@i4t*Bjx{}8 zAzx#-eol6AKM~i#u_JH{>Ifm zc^TPA$*%_2fUCzy?jDm_ARpAw8_VVJbbkb4ui^b2gt>c_B7aK$=L0rA6FOZR?1e;J zH?X5N?(r=|Z>qq3>5yIIeR+1eo4@5x)Tz`!B5500lgh-O9I|LhIt42?_ICZb;9AzO zQPUfF$5Uz)TSkL9hsNNhDL>7GAGwbcEN~Ko(lK4TI zOS@WHVk72^KzN47xQNNdNrq@iX&vGvI)j7y42Cr}=dIFyUY$|l9dZ7z?7c(@WFkfJ zsogl~84@D}$f|zmISk3(eo}~L*MFY3#eFlq7*UqG_rCT%!w1r>NWWwVj1-^VYw9Av zp#(zdgNRYBvIdk`Mk zzD8yj+c!}6JH&JjI*Zbs1$BTHtx>POe5E3@^J=G{R&f*vs?hNq0Aiez_HNsAzv(`IcLcAu{O;B5#tDTBo=; z8rd(ETW!r2mKPKt`wm=aWT}>b?wu;o$sNA4x{DDMTGwFsP9?F$DU_9obG!m~z)F|) z)B9|;my1b;lea>6BAte`>WzC8=|H6b>+9>Fv-BCl6b#R$@0Ru2u7Aher0=cy0pE9= zxwVJTiU-ADR=aj#%w){m0fD!X2N*?lFN40}#%TY#EhdTh0<)^-KQ$~<6Qk`_ zdAHc3!>NXoFa0M;6@Mubfis=ZZO~5y{8PHWMYU2_VZoM;`I2ta4#$|@guce}Xo3z& z^H*$sj+~?`^8;n~#?>H=nv?hMLUfZ$spEmFk#$lnFIR@1KC3X5JA&d2hvef|$MyQ) znM_C9l_qkbmE0jr1OcECRlQDf>^sh3 z=Au?D4_%wOg}E3^%h=f}?39L`j~qc{<`B0QKOnPRl^Lb;pKW$b+WaNltPN_8T_Z?q z%E_o51Z0|wxqpJfa>p+pBz{rbfaX4rjMBfbZe@$;4iLOp?(K?}LJE7&xTmlsS2v_0 zrUTYQd>wh=Mb*k13sEDc$Ty0)Om!9zc zML{!8UaazZZ~Xw6kj4MIPhg|wxK~@-7=B_3kbEH9W8*1h9Q>t*&J1kIN2gCI{)jzK zJ=cD|R|s75*NHW4M1!*X6<1`qHc^heETHH~^GFHnL&(cvr!=o@?-H`HQHr27c`+ky z;2NFfix6)Hf_2@z*M4A(*k(F*cx)qNK~QsJe1Gd~mt)p~eB&-6gv5)$?y`2sK z4+9Colh(fGwQK>f&Hg%B*E24@N3VyG=9@a^euhjXdJj^w{)BRtN$& z>Cuq#-!X9p%3S)z=NU%$)WEZ|w_C-buY&dvlha(v8fPmJ=E$e;V6}|Orb4z|NwX^s zL4Sx-=Cq?9Sq#O?SHmzbEITY;Se}ayfjtVnH^$WWzMV7WWWDpm?P5ws zE{eA85iLQ3g-+B;0Ye-abW1a?{t}=J;(sXRaisivX_~)b>8QgvJarU(AJf3nPDXuJd%UKVN=Mt_k3MFr)NYiODdr}PkyC@Q%Wgr+0j-Y zTG@5g!FiZ8%bgSrbLXf>s^#`6OehoUiwfe8W$pP`O=7xSVVw^6oVmYg;2D5Sq|akw-`2bW&sKR!7@01gD85A$&V zT{m-!T2TgiXWizI*79M7G7yBvS|VGWcYio;afzFc7P4SrV?k% zCMyQY`m4}IE@S4^^cYH;t>w2RIJZcSp*g+c!F&7KHS3cUxg%h5uti93D}U=d0}hyb z*`r;*t5`K8nGla|@aP+skOTwh9#LSmSG(%zcPu8YCsNAKBC?9FJ=TpIK^fjG(5E^R zIs*HkH61^(#+@>P+P?80^22L59A9tynqJRUBgL35=Bz2AK{)WD<}yF4@tjN{+QV1` z&2D8>eu_>Q=3$peSDneY41bCFa#l)`y+9u~(lUMN2k_FuOCaph#;_8(s?G?K4J*IA zX@~paWU4F^ftSJALETufW0#7%=n4pnuQ2eu!dmZTm4?Z~Taes{v?x2fHH8p*%yQ;SV<+LqH7-o`8h%X+kIqCPB}&hgFND>)YyK3qmxh&_if3m!$8FZ4geGHX!g# zzPLNG`$8xl6 zt#PSo-a4uY*N@mm7i!zxw8oF{?ZuZ4KwGv#3`%auDQ(A&NB$y$ap6@%W3Rp2tnW|r zx>7r}3-J|2s(<8IweU9R?hVTPw{Ne!hSRV?nNo(Q{nwJ{%d-70E0H366=N#K7}j9L zKgz=YH2tROcjDyfb8hr3W2^{B-4)H3;5a-Hk+YOVx+8BRy`qc_KK|nv_J|ipFanpX z*v6ew#1q3jRPS$>#;7Y}V>MUNpjTHSj*j0X4NW%dFMm{>G2%N8vhDrlr>gWoV2Dv7 z_Q@H!6RxQx&GuTfuv*rn?zLg5+Xc05#&#zai>Z}Zk*$Ur7V4l=cuIw*54yqNbv-q+ zU=@|oDtW`8?au|GizcFNp(*~#^7T!6RIz+bpuj>e7lK2XOK<3H(n_Bv7ZlzHC74zV z>hiWZU4Qy}5WTpBHB_5DU;#AqbOI7<1Df0t$MA8gFhss|^6cX_Un2rt)&WuqLT<@o zZV@W8WchYLp6eVb8TIS3%DGNa9N6rz?1>G^vSLH;8=JYQ5>AOzXF(G@h-tY}CQ=s{ zb+CN47n8e9)kqRfq*~v0IsvUIIBeor)QlSdOMi{rX?z)47jSkT#EbYRvWft?c%s&* zkop&*Ss6D&*w1i7|orOK4yF`xLGk?}vG!b+OK|qRq7sGTlHra)X#8dFZ6P^`Q zfEvxp)X+|kxyHkqSUk7BxLmDH#)?JqHnTbaI#{;BS)R6F)pnuq5 zN|%)!x%7s1_FvW><1Ozoj%>eRWW$wMaQrkXnXDc&I423^Dq`-cQgG5TVvNocq0lP^T2#6l`Dt}&1jE_Q8r z%VzpkQR9N^e-MM3>HUYPfJ~^&kAF92s9YIXWm-OYWSoTVKzPPXOg9fRONSJn^Po6s zon1e?9aKt|sC)U+;^#99{_iE{US7I8*!Z&`!_F2@SPBT5-Buh4SH0pI&-W)ZEh7%d zyFNv!_7x)T*Y|0BnX5zJg5Yy|8HU0jHRdZMGk!a7b@8NlrB^o7`ZSBWx_?uXgTJ!R zLC#=rvTF_6ZjzGif)ts z-Dk?t;zdVS(|~qjFUG}Ab(dm5j*kHL4S)dJwoO{wdMjm62R`O{g4sy9kY+{8{oh9s zhv~1*XtuW7mPeKg)TIH7`vc9TNr40xTJt4^9%g{wCR)Lu*|J_&i)VRYz>iaM+OZ=l zHv%l_43X3+eMi;3xPJwq&f7tPwz6V+@XbT!$y=pOh36L3!zV>VYeq`jLi|h!tn76 z&)#C+V+Vw@Ce_A~kw1-_6=~7YHFgaC;o(v?sR{d3u&2%6NM%)yT)fgpZPJ3$R>n*Q z5}Z&`E)77vR-B+UVm+4#h_)dy{vc59E6l~Al`3w zHXH6wG&7ErfvNTRKCuzC^}{0>dvwa0glTD|yzWa=u(6?_Q#11x!d6*tTm;PWkJ|u`!R{K1=R!~@({ zGpguWi+{+Mby1Pu7#xCg(2NW{;G3L_Mn4d+wFXCNk8n@fgsE0*3j$V-z-#gGCL}#1 zqJkj$69(jJN$4Qa{y0KZ2L>(u>F>Q?_c@J#zx*AvfvFCa!k8u07r4p~NoA*1NquPH zJH)imU{!k3jFBf`_VMvO0zSz@MUsph$U(8H5`S`-j@CHPq=&!t!?)WOl>UG>Sxy#@ zh~OD^w!X=nEs>C`+&^nnxrX%}dKtLy)*>pN zb8mX`z%_0jhF!eCkS6}prCyO;z|*+_TMb=OWLME1^9b~jhZEf~N!8mgZJ`9Ji(Yx_ zet%1RUjxwxUnY;0ztWSP7Wb!gzY@~CTOfeLRWeoE-ag%wGU055OWtulpINoa6j$uUGn6^iw=$33RCs{XT#A$AIA$9nUp=kyJ@c+p7%B{2$rgWW!yQM@jcV|3|1S zR4-mwORIfxakbs_Sli)B6>m^Q>Y7G zcJ+dTfWqS#P(x_j6rZ6OwJBLt{<+Xj(d#`am-(TAp*~-T(}`EC30e^O0)brn8h?VIoX;zP ze+C4rfH00A@s@ntvBx?GMX}BHsNX}|8pF@db!(4?^P7*gI;-&0hn^OJS~DNvu3Uqp zXQ8i=*UXx%i-06rnCbAISk5=s#((g0BhR5xPKMz-CYO#SXz|#l)|3l;5@LF`uuK53 zZZhEXH?ML+BaHcK-`6ykWD1)pJ6VKTl&p-{fd4L&0+(P3pkGP;$EG}KB+#w07O`@} zhstzURcwcj*%YG%e810-4`d(BliMH03<}?(i*A<6uA=IOa+#S}6gN}_x_`P=`x0gi zc!rOMz%I*su0~N?$~;b!?iH;TV6L6gcI9d>h0t+QJ70nhWRqPD?Wj+8fe&8SG#`r& z$xI2Ig^?aMRpZOs1Kd---hKI!=SeO#xI#)};}O1@9HwtCxL2xf$3G@D1Y8m5p6 zwd0HDz^31*(3T~e5yP&|{eSGd8KWQ6ZEwh(ZU)C%FvOTW=)4tN8wY<`cRCiob}7>1 zYHkhNRaViagRe)Hoyx*iEt5;cjgdWf_XGFMaq-%xd&^eHh*jy4$*0@-=$If*`jdb# zx73$${qwpx1Xj&*D^=u2T2J$91qU#}X>b%TriKysdlAnx{7NNctbZPLM(c|8_ekY} zrpq78=7PR5bPQaqIhih&*t=As-b~rb8df<(Z}Jx};+YeR!Ud@nqIDA=Bd5stOvZW= zVX-{F6>vnpG&gb34%!)K8ALp*09k>CDHe+a_Codv_JbzvEqe|0w~J_+!A{7d-F!be zgC|S$o{~$5IWXwmnSWX~V~65Q+t!3>0FwJqe%cz6+Q~S~(hB&Z6&(&Hc_JL7=ajMR zZ?xYd3tjw4mD4;sO zDu#74c{jYTP+^e!4ZYlL^UGJB6DBs+?Msnxj)=A`9cqRbkG-+3<4~mz1!+BD<}wJ| z*&C46%;)mi*Zu?}0IY1s{@`bF>xk0(7;bA#*O?&XCf7zQ8d;x^L1EqxD7rNCbt`V% zCLHTpj$%nECVy2J4OG%?%amC5_{5H=bBkwdfnzNK%N%-*u2gR>Ur(yvTT={7ksv~Q zZ;K7plSyKQoo6%~VB5z@qV_0StJJEkA|YmpkysVAYm`zeF{}0pjg}I%s;N;iJE%QU zr6gKaN{tS+S3^;wMs1$-J)- zcWpjYZUZzY$rNsYb!W+ZHYURs;XiVk3qUsnvBQaSz9?mY3ui>>>tS>_vp7$FGmWEpO~ME?q5&gnX?U- zUQMfA4_1!hxp3<&D-~3TJO}vuKz=#mnpv^XP*rNe#Qn4%-?6`q$7c+eQwQEALoZr# zWxN-=3YjR}P&r5~J$xfe*Qc|oYN`-9UbcjOkHacC&&pg*4Qz9dHw&*aN-6kxsY;M} zUg*JE!`8&FIrs8!2Q!?&$T$~tC#b9c-l zSy#GJ96X&@?}~l4(Xf*Al@U5n*#nMPmpGJu?GiOHTB1?aJ&32hT7w8WrQfKv^Gu$d za@?DKMjxwraj<4G$M;?2YKL{HL^!F>-lCDSmb4kFGO z&fR&bHz$n_(Pu2eDP;~*Q{6^@z$wyrb?3>vlIhrEH*9u9w$sgxwpV8{CuMr0d9L7e zLC0%Kqv3(Og5}XJH+B~O8nu|4^UmIJwGc21J6qn{N59~HgW{s}TwIxVC+h5|o?KSz zI7Qpt#O$8#Yxh)CUD&Y3-}46rT0}bBeuHgCP#L+cmAU)bS=S;_5eAO_WeV!g zts2QV+`=lygFv7W9C!1@Rl?%!_v{Oby=R-)A*J3ANGsnxABoKs_g|jBhqLc?nB1Pv zF?V}`S&FHk{D>Z%7aRL%&q1nsODFQW-N{dA0ikn`u=9jn`$Zp@ZxX!LM2hP4UGvg| z)wkN#Z>1|;4pbEO)(S-~`+TuvT$FbBiJ0qXMhCF&j4Ohg8@(!NE2bC??~VcCbpRZiT^}(k_!r$4kXy?0MC&C zRzNWj;RzhbLxR}>B|zDF&v;0Fj=+5Y;Tw|HqtFWoCcU@;>;(`iOldi-WK8P639JPW zoKZmDfAwY(?R3QeKv=T`@{(xzJ^%nwBjloich4xpRG?5OK@0;F{@>UT15Brf5sKsJ zg#=Y$EJ{dp@SPA*mH)%^gQ$Yl{)brK(Y)x$@B*_e@^cO=x3;8()Mv{48@vKB9&tzi(6aJ*sgqdznR-~l@F3B2?%k2yiOd(`_uo|dqW@z^ZpBIE1Wp!|&Y zT(akqXHty&RZSE!rD(>IVvssE7_{WtrFd)oWqLxM46~`a6)(p6t_(YC51ZwE3d+mP zjlGWSTQ2_i9S<8AZV~SzX({`o$ht(p8dx>U90Il}^^d=>o-|6@jVCOS&`B&vsq8P}* z&XVsnziD5xE1v;Vl2w^68dDyav%N+!xm(-FNgDPk@|wIRGwfwafP=!tBQzsUV&DUD z{de?T2@T7h?QPDyTNTc16Ni?tdrF7i&!gwVEz(n#M!sz}7Kr35QNCl{;%xC1egJ&- zZ!eQa({-&*Cz7tsAozrS6B@&GvxR@~Db-V_GT9`HJ~p#|`e#?a|8WZDkC2}kBX9Y6 zf>uMm399+E$l&c93tjl{(fGIulB@*0*T0#6@m!=nH1CU(vn$XkiU%yb?Gtp@7 z<%{DH{!!`Rv(7PDuJp_7Af^3T^ftTj5NSJJWLP5VYI?&b+ng^v2M-H}m9LbpFEJkE z7UHrYr%Up0%Lvr60?O(0FL;-P-Qd$6bm{)KoYT~>Z`2Jkb{cyp>Pqnl6{8pUtH0vO z)lIa6`R2;EWMDnZT^t$XLp<=bcjXe zRc(tn;52aikh@nk&{-09_PKtN&3U_+->kZ!Ra zpgB=CBd9IRzaI6a@h!Tu`ki&8_XtHsWzDATMq)c?*LfeiI>L|~surdiej2qR-Hsbf& zYx#?Ho%<^(g97m{v~?C)7x@iW|3nj7!s=m_Fs_F~&*b5h?XaHXXBN$Zl6_~ldBRMx z#)`zNZ-`=3$UB}ZF=*#AIIfy;soBS*amhZ(<}Y&07Lk=W3SIfqM+N}RC?@`Edza@E3$Jkhnx|IX?Njpf@-sTdA@QD8PpMy7YF=(X$H^J5m7jMUKt+ zsd02%aQnGH{u*$z$WBmVcQldnAi(g-uM&4I zdUc<#^yfS~U8v}a1*aO>e7e6v0|wU*b!p-|-f&JB6$oI3 z?6oqi>jZ+Y{YFkPZc3nX4ksPokViit$9lc}*Kuu&N3>P4c?my8Wii^NZ&M1ohV8x> zJn{E9=6C>s) zjJ^{m9tpR>I~HqIyyE-$9FYVL%XvQ2Zv!2@+%a!Q`S>W)BNGjAd{cbF0^OAu0B*nj zGv|?B-z@n^bVZ}fcd-96;Jybx_R?{;aDAZ&#>uaBI?}7o%VoelZ8o&`slw*EVG<+I zfmkDw%2DU{r#U8DWi!<5#Ib}Y&;#!`>3UPTBYH7vS)&&_hv+b3b4qm>xmLq3oU)`> zD)byPD*s{iD|+Dbhj*ClBu^h>Uk-n=MtF_)-q>VC)m7CsJOA*SF0C6C*lzf@*G_+? zo^m`{{!@$5R#=q+8t{>}UVfNoxA6xeoO1o`6&g_@GyO?n|AH*sf@9>ey zt?12c>c&1NH$z#m@sC8TB(qFZ@?r#BFR2-p!0STtu%Hv07%@+-v~2NOW@I>cJ(QpV z1PLuSz>W3s%v{U!UwEt}6P=J53Ke`AA~1#H2xP4qdzFxeDYq3?Ctl|~01n`E(7}T{ zPYPn|`;?T=p4=|XK7M`8i>)l zNc1tdpg7gab$B%5e*q3!(p=)E7$8F)6!koTSr+#-`P;f&-b63-&zMfrj{?!Rjh^7r z*?6*z1g~`on!~XlfW}UxS0SSol!?O{Ut*54M0M*bpP*GDe1S9mIP^5vn9uz_QY^tJR2t(-Ui2naW*lCUaOVU<{fd7%S zv6sGTUA3{~`tT>WHOS%XB(=Cx?yeFS7wEhmg|SG6NnwW78T8YV{}w*XG5>`!40gUT zkH1O^CN+k>h!|)~GjQS=oAaG| zoM;#ESe-dqVrXpAro5H|1s+E}xWDtf7qG8+So75w7;1N`gFd|3y6*^b8icLD3d{9q zo{EK4G-_{DxLo=iNp+1TF!cQJm3?%mrLr&X-76{&+EU5ig|}*vDO& zB*{l`7E>{=PbP9GDUk%XoKE=;nqP+DLuDP#QaNaNOagB=54h)idM{cX=skPE`L1k^ z{I|GK73X+BA6cP~qP=LR-&7R5^2W7}$*i_d4r-k&N{_h4R)>^0*M5(&zO47%*}w;+ zs(F*1hD>*fl4d>6@+lG*W(z8vy|7<-EplwV(qkls^3K!-zu{y@r8Wj)|Ab_jRL)*L z%Ehbab!T!3im99geg}yqu8SNt?F`aIzkZB;l&Lz-D%qW9+a9ys5Bltw;4I+K5GHDm ztj4oBps3zsHKJa~PJE(33nbVR)blZ8=f0XnL!gvBl6I-*{bxNI@UZgPNL;0!s9czp zs`bwXG1#HyUOr_27ykn*nZYh0goNS!_%rKeMb9G@@YjFfF{6po+a;Kh@ER}MftVc( zY6nTO->Q&LbGcy^doo(d@J+YQKDFXBAiAl{5~HZ`Nw8lsagoQoZ;~f1p#86%YSh+9 zrE%%BNey@2FXMZ$Pj4lxZ6y>QCP-{0By5srvdJ6I;f1l;qhz*ZowfD!Jb|$5C~LR4a{=s62bz>@*fNU-TnXo diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex index b501151..14fa59b 100644 --- a/TFG_Sixto_José_Martínez_Gan.tex +++ b/TFG_Sixto_José_Martínez_Gan.tex @@ -150,6 +150,8 @@ urlcolor=black]{hyperref} \newcommand{\syz}[1]{\ensuremath{\mathrm{syz}\left(#1\right)}} \DeclareMathOperator{\grado}{grado} +\newcommand{\spoly}[2]{\ensuremath{\mathrm{S}\!\left( #1, #2 \right)}} + \newcommand{\derivaciones}[1]{\ensuremath{\text{Der}\!\left( #1 \right)}} \begin{document} @@ -539,9 +541,9 @@ urlcolor=black]{hyperref} Cuando obtenemos el resto de $f$ dividido por $g$ lo que esencialmente buscamos es un representante $r$ <> de la clase de equivalencia de $f$ en \cociente{\Kx^r}{\engendrado{g}}. En este caso, entendemos canónico como que no tenga ningún término divisible por $\LT{g}$, es decir, que sea <>. Entendida así, la noción de <> puede extenderse a submódulos de $\Kx^r$ en general. Es decir, dado cualquier \submodulo{\Kx} $N$ de $\Kx^r$, podemos <> $f$ por $N$ encontrando el representante <> de la clase de $f$ en \cociente{\Kx^r}{N}. En este caso, nuestra idea de canónico será que no haya ningún elemento $g$ en $N$ de forma que $\LT{g}$ sea uno de los términos de este representante. Para formalizar esta idea de división más general, necesitamos de algunos resultados previos. \begin{definicion} - Sea $N$ un \submodulo{\Kx} de $\Kx^r$ con un orden monomial de módulos $>$. El \submodulo{\Kx} de los monomios líderes de $N$ lo denotaremos por + Sea $G$ un subconjunto de $\Kx^r$ con un orden monomial de módulos $>$. El \submodulo{\Kx} de los monomios líderes de $G$ lo denotaremos por \begin{equation*} - \LM{N} := \definicionconjunto{\LM{g}}{g \in N}. + \LM{N} := \engendrado{\LM{g} \vert g \in N}. \end{equation*} \end{definicion} @@ -572,7 +574,10 @@ urlcolor=black]{hyperref} \end{definicion} En este caso, procedemos como en el algoritmo \ref{Algoritmo de la División Simple} pero, en vez de intentar reducir en cada paso por un solo divisor, buscamos si alguno de todos ellos nos sirve para anular \LM{D} y, en caso de que sí, lo utilizamos para reducir. Nótese que puede haber varios, en cuyo caso, puede elegirse el que se prefiera. - Pudiera parecer que ya hemos solucionado el problema que planteábamos al principio del capítulo puesto que ya tenemos un algoritmo de la división y además sabemos que todos los submódulos de $\Kx^n$ son finitamente generados. Sin embargo, todavía podemos encontrarnos con casos como el siguiente: supongamos que $N := \engendrado{x\euno + y\edos, y\euno + x\edos}$ es un \submodulo{\anillodepolinomios{\reales}{x,y}} de $\anillodepolinomios{\reales}{x, y}^2$ y queremos saber si $f := x^2\edos - y^2\edos$ pertenece a $N$. Al aplicar el algoritmo de la división siguiendo el orden \mayorqueposlex{} de \ref{Algoritmo de la División Compuesta} nos encontramos que ninguno de los dos generadores de $N$ puede reducir a $f$, por lo tanto el resto es el propio $f$. Como el resto es distinto de $0$, estaríamos tentados a decir que $f$ no pertenece a $N$, pero démonos cuenta de que $f = -y\left( x\euno + y\edos \right) + x\left( y\euno + x\edos \right)$ y, por ende, sí que pertenece. + Pudiera parecer que ya hemos solucionado el problema que planteábamos al principio del capítulo puesto que ya tenemos un algoritmo de la división y además sabemos que todos los submódulos de $\Kx^n$ son finitamente generados. Sin embargo, todavía podemos encontrarnos con casos como el siguiente: + \begin{ejemplo} \label{Ejemplo Fallo División} + Supongamos que $N := \engendrado{x\euno + y\edos, y\euno + x\edos}$ es un \submodulo{\anillodepolinomios{\reales}{x,y}} de $\anillodepolinomios{\reales}{x, y}^2$ y queremos saber si $f := x^2\edos - y^2\edos$ pertenece a $N$. Al aplicar el algoritmo de la división siguiendo el orden \mayorqueposlex{} de \ref{Algoritmo de la División Compuesta} nos encontramos que ninguno de los dos generadores de $N$ puede reducir a $f$, por lo tanto el resto es el propio $f$. Como el resto es distinto de $0$, estaríamos tentados a decir que $f$ no pertenece a $N$, pero démonos cuenta de que $f = -y\left( x\euno + y\edos \right) + x\left( y\euno + x\edos \right)$ y, por ende, sí que pertenece. + \end{ejemplo} ¿Qué es lo que ocurre aquí? Si nos fijamos, en la operación $f = -y\left( x\euno + y\edos \right) + x\left( y\euno + x\edos \right)$, los términos líderes de sendos generadores ---$x\euno$ e $y\euno$--- se anulan, por lo que el término líder de esta combinación es menor que los términos líderes de los generadores. En general, esto lo que nos muestra es que $\LM{N}$ no tiene que ser igual a $\engendrado{\LM{x\euno + y\edos}, \LM{y\euno + x\edos}}$. Esto supone un duro golpe para nuestros algoritmos de la división, ya que cuando para un \submodulo{\Kx} $N = \engendrado{g_1, \dots, g_k}$ tengamos que $\LM{N} \neq \engendrado{\LM{g_1}, \dots, \LM{g_k}}$, aunque el resto sea distinto de $0$, no podremos garantizar que el elemento esté fuera de $N$. Por supuesto, si el resto es $0$ sí que podemos garantizar que sí está. @@ -615,7 +620,35 @@ urlcolor=black]{hyperref} Con todo esto, ya tenemos una solución al problema de la pertenencia de un elemento a un submódulo: obtener la base de Gröbner del submódulo y dividir por ella para ver si el resto es nulo o no. Sin embargo, no tenemos garantías de que existan bases de Gröbner para todos los submódulos y, en caso de que sí las haya, tampoco sabemos cómo calcularlas. + Recordemos el problema que nos habíamos encontrado en \ref{Ejemplo Fallo División}. En este ejemplo, había monomios líderes ocultos en los términos de los generadores. Para desenmascararlos, lo que haremos será lo que vimos en ese ejemplo: anular los términos libres para forzar a que estos aparezcan. Para eso, dados $f = x^\mathbf{\alpha}\vectorbasecanonica{i}$ y $g = x^\mathbf{\alpha}\vectorbasecanonica{j}$ elementos de $\Kx^r$ y $a$ y $b$ elementos de \Kx{} de forma que $a\LM{f} = b\LM{g} = \mathrm{mcm}\left(\LM{f}, \LM{g}\right)$\footnote{Aquí podría haber un pequeño malentendido con la noción de mínimo común múltiplo: por ejemplo, ¿cuál es el mínimo común múltiplo de $xy^2$ y $x^2y$ en \anillodepolinomios{\reales}{x, y}? Lo natural sería decir $x^2y^2$, que es nuestra convención, pero también sería válido decir $3x^2y^2$ ya que ambos tienen el mismo orden monomial. Ambos serían válidos, pero siempre nos referiremos a aquel que no está multiplicado por constante.}, definimos la siguiente expresión: + \begin{equation*} + \spoly{f}{g} = \begin{cases} + \frac{a}{\LC{f}}f - \frac{b}{\LC{g}}g \ \text{si $i = j$;} \\ + 0 \ \text{si $i \neq j$.} + \end{cases} + \end{equation*} + \begin{ejemplo} + Sean $f = 3x^2y\euno + 2x\edos$ y $g = 13x\euno + y^5\edos$ elementos de $\anillodepolinomios{\reales}{x, y}^2$ con el orden \mayorquelexpos. Como $\LM{f} = x^2y\euno$ y $\LM{g} = x\euno$ están en la misma componente ---\euno---, y $\mathrm{mcm}\left(\LM{f}, \LM{g}\right) = x^2y = \LM{f} = xy\LM{g}$, tenemos que + \begin{equation*} + \spoly{f}{g} = \frac{1}{3}\left( 3x^2y\euno + 2x\edos \right) + \frac{xy}{13} \left( 13x\euno + y^5\edos \right) = \frac{2}{3}x\edos + \frac{1}{13}xy^6\edos. + \end{equation*} + Nótese que esto desvela a $x\edos$ como un monomio líder en $\LM{\engendrado{f, g}}$. + \end{ejemplo} + En esencia, lo que buscaremos hacer es evaluar las parejas de polinomios en el conjunto generador a través de esta expresión, si nos descubren un monomio líder nuevo, lo incorporamos a la base y, si no, seguimos. + \begin{definicion} + Sea $G := \left\lbrace g_1, \dots, g_k \right\rbrace$ y $N := \engendrado{G}$. El algoritmo que utilizaremos para obtener una base de Gröbner para $N$, llamado el Algoritmo de Buchberger, se define como sigue: + \begin{algorithmic}[1] + \State Definimos $d_i \gets g_i$ para $i \in \left\lbrace 1, \dots, k \right\rbrace$ y $t \gets k$. + \While{hayan $i$ y $j$ en $\left\lbrace 1, \dots, t \right\rbrace$ de forma que el resto de $\spoly{g_i}{g_i}$ entre $d_1, \dots, d_t$ no sea $0$} + \State Sean $i$ y $j$ una de esas posibles parejas. + \State Sea $r$ el resto de dividir \spoly{g_i}{g_j} entre $d_1, \dots, d_t$. + \State $d_{t+1} \gets r$ + \State $t \gets t+1$ + \EndWhile + \end{algorithmic} + Al final del algoritmo, $\left\lbrace d_1, \dots, d_t \right\rbrace$ forma una base de Gröbner de $N$. + \end{definicion} \section{Syzygias} \chapter{El Criterio de Saito}