From cd1b27b67a1456b57043a4bf11cc1e155758a531 Mon Sep 17 00:00:00 2001 From: Sixto Date: Sat, 24 May 2025 13:37:17 +0200 Subject: [PATCH] =?UTF-8?q?A=C3=B1adido=20el=20ejemplo=20de=20m=C3=B3dulo?= =?UTF-8?q?=20reflexivo.=20He=20elegido=20que=20como=20ejemplo=20se=20demu?= =?UTF-8?q?estre=20que=20cualquier=20espacio=20vectorial=20de=20dimensi?= =?UTF-8?q?=C3=B3n=20finita=20es=20reflexivo.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- TFG_Sixto_José_Martínez_Gan.pdf | Bin 194946 -> 196939 bytes TFG_Sixto_José_Martínez_Gan.tex | 21 ++++++++++++++------- 2 files changed, 14 insertions(+), 7 deletions(-) diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf index fd6e7f2d1208a779333f3389892d1f2bde37a418..2fc4329d27cdf963fdd0ae67d1fe2e0a0c3fed7f 100644 GIT binary patch delta 36744 zcmZs?V{j%+w62{e*2K1LYhv5BZD*1v_QbYr+qP}nnD~45KHtA{es$HVzN@RcyH>6H z>Ry45aFc=Xb(&V-tX%BOiALa5z-3(>k4+8~zt>vD-6IvaVSH2X_c*zQt93c=433Wl zF2p8LURiSGWpbU@)!RK`&^$q<7<|qT<9H%ycymbBUHH(E#7vl+F20Y^&Bj|lRZn52 z2`709hgwS5LfMIkiT%`u@y+3*?WEjZ;79GPA6ZiH@AM)`BLG;s{A}bikQ~*x)qvxa zmF6yq!Is4Yi<;!Bj__)W1+LRs6gzW@X<#e9 z&4cWqELT+19o$cV4aLFdk8{wFE6flC{K093ZEKc1+64N|NWLI9$rAE+)b+6H60J&6 z_O+gjGr?0{xbgDKzeUCg;H#me$GV84_~Z?drs3ezADauk(K&cFr|;$6l+))|NOEI0o8d=q!}Nc4IL(UVO6S-OaLiSab(e*uk>;Mg=u)uZ?Hm$zcn`P%i_^; zuWpg~b1I6=6AOQ`icPbMFA#8?S!7HILVpOL)D&b@bS?vQ-ZsakT1~BSvq`aIr1zp9b!my3q22AT|;Rr%UuhX z)kaRD0jp?V`QCw$h|^xBuDvNCzW0>>l%#1Z+I?{%W?QhefPJ@@kJzIs^vVfxxf+=+ zB_;A8cTcgt*nc(cJyN4lH{D(2?^L4>v%;yvhgz&7(xOtw|4KK)w^)~ErRJGRp@+&4 z^L`wb^fr@zurE#5+>s4()w!9)P$k!^o=#5?$LA*O$bgO!9p1p{mT=(n1(HT|pTc)v zzBQ%$$>2V-uo+WKQ%Z!W~X1-^~f$nAYG3l-8=5 zNX5tH7+LzLasbFZo6~xbQLE7EJhKD!q4<8Su?mIR{AAZp@=c>8k(N*Pdu6jlXDi_8a7(?$%2zoa$gkl=fy(QeI>gB1X>ygN z?td)Zz-ulP}O`e>o5QnDLa zD?o2iO#)t3DhxMNohEx_%C=4?`xcTWX4=&{sGoc4Qf_eLl4B%+HA(aSRpbt2?oO}c z56|EFFLN4_f&a@%zjco{M+sk?r0EWYH#0H~hC<8vnA#9o_}$bC4byimi^D4jbl#z^ zt_LHtfb_V4dNjWwtJT3Qwp+d^y9JY5nx>d8*t~w^(lF1(dQIm+RfIRw4TI%&$9R7h zWYBiXmc0M+ll(h6ZOI&Si%&*;?vv%`hcsQVh{e{6I3HifKL1v>A|v`o_v+|%VzT-f z664F%zk*3lXLg}j#EHnvx7Do|$dFu&tZt`cOYn<9-RcSqL~V{Y%b|&9t(cSBSXVhS zK8XnjD*#)C;@a*R=Ujys^uy|1VXjE6ao)RA4?k;r*c~Uch84tlwBA`)8m&nyyCv1o}_oO4>iL8nA5GNIBG&EqBvE>wD1ty*L?*wf&%zQmXj zlI(Nq4GR_vrNHR@YCmggYUo{QwOu`)Ar3Ix_hz$!x;s@)@DHLYl2t_^vZJ zeCwq}5JSUj&$)LR7#3&#FDnnn=DcHS6o)W zfakI=YhS)BnPki04#tbdVL_8I72;wHZ73fJMFbgKtI@T(8V}3DFo}O7_AI}J+Ze(} zc+p8E(gjj?j>!89II? zy)aPDapp3NNmG-@ylgf$jU#%C#y=|M&M*mrY&@O=Yo!zMPB!vIP7nLLEOScX7j-1m1N&Z zoqR8vu_GPpS``P`$|Qez?vxAFW<<5x8(<1htFYm{>yCD?h_S8JOl59aCzqrSOq@}5 z_sAFk?R=gf(*vlems`{Gq|&38ue3~Jw%ig-ER+!)+s{~Jc^>mvVIpyFYYA&I#e9lj z7^_!~4TeW{&{|B&@4s>{<=X8C={9esmq(pfciIjW0SJDVJ5{H0-K^A|l?9oFnjI0G zAWD_Z>}x#K7?MR*gG&s#43qEX27g>(c9RK!PByjE`I8Ie1VE1bv64EE;pGy(Qseh> z8V-A`S5XU;?7`kT`s;gZ9deI0Mivk<{d30hq;oJqJA2e(Dqk5a!q?eXv2IK4gRKP) zaobGeWe&7^nvq90*1-Na(+Rcng+wb23CmYCwhPS!h0F(g;I|Lk#h+9bn58jEY1sxPalq+309nLUN_Kx{80 z60>4>BMbZiNB>Z;a~f9W(?RE}XM=xOoewgU+IQ`F2Me-(&8W7#-*2Bp*;&`Z^XC(j zCaI!-#3vWIb#2ljNJA{XWtZkdm59Lr(93Rj}m^UN`ae8y+eJ=ix)knh2?@OyIQ?Q zDm-EyIDE}@41?NCJGW*!U*>T&HHkMX|0T2fD~n1KSWLT6A3fWX1r~ZR13B}rW-K)tu8Vj^&e{tn3SJQ_MY}E4nfo|`k_u+H*y01;txTambq{d`< z;j%Mj;*VM?X5#$Af$ROw_!M>!&9nbcl3|{2^+GpXbgydpjRqJ?1AsF0i)wj}Q=6?* zg4y8*mmV6aXeJ;G<6lU?{x>eL+Als+nC8PLZ?3+!vOuAdsL9hOXWy!krHniMWen*V zyXq1EBKDbsTLthT3v+=o*VP1IAUXbbB^nN-mJC1ilq&`r_>S{Jje~Z$CgYVqf2Q$i zU1*jeELGRVI@*$2g;Hq6#*rz>LPhM#BSPHV{=hChj*?_u@yH=O9#aD0a3cbT_|LJL zs}BDGi*1fmJFW4PJ}@SYQPD6uav(torm^5H1NpOQFL3oV8-KU3^cg{;I=NcmN&OI) ziutf+FpIkC%@6kf4q);6%;F_6WeiS9`N;6{5u9TdotP`C8NDg?SWB$LF`v^z4`9zaQ(;J89ocl&Kv1br~{uu zfn6E}35~w{2*!qI2Z4YV2DiP^)F;zWr`e+P+7$~*3HYM5UYQ?Wjf)?1!m)cIu~@GocP}G;kbA8gO+Br zO+ogpr^-!%E$GE1fwN1u{mT^_HLzjWXoe;UqiIGepUWrl%?kL6un2p(FhSbwKLFXzQHDfj zD^yGlZXzZk2V-kkK0a7RSu=YJS4$#RPPRnDG+LmR%hrD`dbM`1=Wm554klorMz#82 zZ5{7rqu$-%fNzd9X~;B`bT)tJ?Rm3J5(F%gRBW6=M~8n5&@Wzy`}GV!GSk4G=;3?& zJUAMck#!7JB90$gA2y>FBO%jmx`9^X`F6$mFKd%Z@T{1z^vnapUrpg2ysgn^ z-=0Bmc8fF$uUXGJa8?H+p8k`fL*Wt#E3Fx+CT$^jE>d|^bEaaf6$a(A>6lZSWQ*}} zyus%QfhjbVwP(Ra=_xcTr4-7Y-g*5kA{aEKkK1iL^`~4}8AJKW*f$os{!93Luo~zO zvu>Y32>W@pqZ0b-OH;Z}l&W|uJX~2noNlye zvrE@O-Obd@oxPurFE9b!6=}(09HP{oRh7tG>FOOJ;#9wvxxSHfSvFRM^~0t-oqQQj zItyKs%09RbdaI`A-u8)|^ZxeV1L0%5( z#{&2yXEd!%@%ZbDOcc&Dmc(p20YVD5_)tA!fNfl8_ikD?H2wJ8rRHc3v<|`=;XnY@ ze+1DJ$=c`g=Zej?>tP1ZvTQ!EDf>+4bQDgGwqD{su0A_HW|JY^2CTKpiJoL;aGN>%pS$sSmI7pNNrrP`=plL4=Q1F5)K9{Lr z_5!!2hpAwM`^}HPC<8y|=-EJU+X3ssh6HrLnpA;o{creJ$vbs0CLpH`Qa_F@T`?2I z-V`|8UEW)pg9C8|vpzP?6&xWxIW&&#VwXN!c6V*-V~GyD!+A5JsmWo0L@lbK6s^BN z%rDIcq%09nP@Qto6F1zyLPR-qa6^TA#OxhZNXAlm{8+d!gk@j#l_ITXJiq_W@nJIp zcoM&V6_Vrk3X-|PDFe4xWf-%91uJq|FA)wN-tAq-jPRw%1AB@1lavGLlX_tYk;+oO zDLe&{RJW#w(D=4|2o~=YL2r_?{+da~@q;MWox?{kUwKJ?RK%==yf`IQ?!`zlvyLP3 zJ@cKmFv&5dlwAJV{%X5*w^^(}2B}%SME_i;B536(-TxBF)dv2{I0>|Q3NT2CvRgcr zi+pCHwd{DFIc~a?qoG$@C^Y-GA+S=Z`Uec47E%dON?1~x1bsD6+{);A!{45AtcA8eZ>J9UiVHLS)4$ntQ z7=(V>S062X5Mj7oei-*C(nsXn5w~QWi>3IYnZ`B%0liTS5hUZSylLgVxw3l4<` z0Xl|VA5^*J2AQA-uUXGA|3Dte@3TSYc+x*K*-z!4RJrd|H<=1G3wWrKBgL?FM0TZWbytXs zxI9C=2TZ9*hm)rYVaMFWrmnsKiiihJ`iot9bDy>MNc_K)u$3bhHAzSkK_gt^G;u=M zHTg=b!h|h>-{5gMDpN#k!^HZr4#kxTe?@^%T6S%#pubLhkBP6puk4yu36QN@X*xP} zp$G)dLm~|KFy4NXNYlyeVpk5tQ}kM6*d+y2R#ckpo3GDYc9QTyur@{R6XEdp1x5HW zi(3*;SQ=an$4*~}OQFkT`$ly}_2XS-z3$xYdJlG$Hxr-(swLb^Vjv8w18~(WIRt?A zYRnz!w=0?IW(O5kM!T9#NDK~o@`c)4FFl1OHMo^-L{Bn4($aY_aDvxu<)!-CsACZ% z8ph4hrC^YJd*eMamzjc0YdRyG<0$#D)o=KZt3m=nN&1omm?TEYL^!bITF6j2VGk;) z=3#IwRU~pAHLu9XnZ9Lmzn>i8Fwub3k%kb)S2e~-8flGR_NbktRb^N*H&fAeCXa=B zZ)=`xSh2EMBYUxpc7B;VXEE*P;w{tHSCx4$7!`{-(0AbaSZY05jC6T{fz!g9X@pjZ zdvS5ld}hcw&6_Bg1tu**{lpr_zikJh+=^O;yvk#D`)pM&wx%<$)4kYG+zo+D8L(ka zqnuW?64K79TS7vgBncBn&yV{3C!B~eea<6&FngAn16iPZcv<*{9*6GFc}7~7pdn}5 zlO3#?4R>YNTT-kwoC*v1QU1qja`doTFIk-1nj>;^Y_gI4ZdNThtL7$}@W+X!C$QR# zQfMbbynvufUCr}oIuh-Sfli=?6rP^QQTi=f`o)uYokb!zoCI8k6qLrrr$~x4wS&R)T>Z(=)K0 zQe!@N975WRZn=48go#u#Q(n)PbSdvY108Fq?PY1cK{FtZWby!_|cW?BK65bjhXJgaULuZ3fZs>0c5|QG<=?>*_mlS ziG)Xun2B4s*7k0$)vB~FRC1bH!eUceYj7n*J-t09#L$~P{AV4Bj%j}&{2)Z?aQ{Z+ zqdc7#k%nB7{UI;N25kUZTUC6{(XKzRb-x9*DTZDReggA|cpumtQxMSLG~GA0fM9mP zFjr^8lgYQX@&vQW88F3WtqWt z+CQmnJ>2Yam2@D_>!#gBh%Z~kU0vQUE-T;BJpps}IXo9u!zap}{ z0p(|(WqXYm4u;&cuP5n*AnVC+hdnj+bKJW38ogJO^UIJBQ>oVal_B|EM)X7m4^_RWD-5%Q~ee~#mI0g2nK1>>$ zRg{)HEUURss{)xbU;1sQzsb9~_BYrc%`0bmHjdUy4?+k^ZhKD43FmW2M9rOxY2$2( z3Olqsw84O)Yb=>0c52Y9dNW*AUUB=s)6#do3Up&D>NQrXk}!%|J~mvSQy*X6amBr5e2 z2DEvFeT9M~a4PRGHT}l708uJ+eKy_NFZCI5nOK5-`0vf2DFh8m_TFt`X60nBfWYYb z@(S=fZS^F~8)nC!NFsUUS-`FKki<;n#=K`j9-0^;9xG7M(F+&5gG=@*?sWBJ=aT!pb;xr6y-x+> z&eosyT)ey1iz~CQs4aNKla)icJ$ZFh{SD;JKl!OVLDZN&m1mrBe*UCdOeYOV0?=`C z(0bHXQ8!t`f&ZolP?ampFuNTHujjr!0Tg9??cn!|0?il4pXVhX&8zt_RtQ(w5nQR7 zm5RSM6!f~QVJmvWIJU(-NG0}Yi~(zZcqNBmic&{)TC+N*Zc};ZCVwxvEdKsn0ORdK z^yK*1pLt$Be%@QcjvkHphD7=V!lc=YU>k~Fmyr~;sH#n|JJ`TIF#46Bc6w)i5)hid z6Q=!}>`WB)k_2!i-YZc9wRIde#WDV~v0Slsgk{_=ghbGDZS^*Wo9tD5uB$UaB=zMT zEtZnb@mICGw{s|B5gl_WTP0dx7^m(hx;>9h=9UZb1(GrB^#i#rWNH?CPGr?|46++y z5?Cx%?B{|bouWMP%gEUoRYt4Kki{181+r9NT9^1*AuRc(4Kv!n1OZHGKnVOFR4bb&C1^(|(qVqFEa~#XR=P#OPT-Qn8@O{5;n)ra6QKl&F47B}{4%E>#o= zDR8hVB(6NreP~QsqXwD zP}8_8G9Jw>^ZCNxioD-FIB@v9kG8H=}@5YfEQST{q9O`6xdb07rImE-gr zKZdFU)O1Ms)a=V5sn%dosDq5n&A(>&Q?5hNS7i$r3n5bFm{!tPuBe_cy0>|shjqdd zD}|J@>yy6j`(c$58|M0K^JAW&;zbXo-+SZANHLt3I-A$%b3aJkeVg}qIs3zqg*fjf z%TRs!uKl231Mk`X^V56t!$|zY`1%v@###MvOU83-NB%7#> z=V%99%fF~+(@|OWHk-qifA+N3R4hVgHBbD&H2!luv?t3OGFpIX+=XNkf_2QsC)A5{ zxHiOflvXdYyz6z(jBQi8$lri3$W<5BVKLkZnzP6mwEOPS_~$`yWOpLVp+@fRUx2U1 zCb7mB14zGc&6FWGq~*P6aBK{OoArS5fUcjWkk-SsqrnWTl(H}I?exZ_gJ}alGv{_m zr3I?jc)S_5)_u>zYa)3D4YZLh4_;> zSJDu2A!c=VjpyXwMI8q;=6JT4XT{1g1*_%qR7Jswgdw2S)}cDi~uFMBed zMi+V0+5Sc2w`&MUWhdI^x^UX;{5;eG6BV?c>MCV1gp2OKrsdpRbx?m*p#2J9Xqt!ekLkd3wAH*kuN zMB?Tb2MH&(hS;Syl6+_=T98t{5TC3d0~1#>!-ULx(ReJkq2((}>BM(qM~7t*ULJNd z_~KW45Y4=)w5DZpQoZ#vysS=(GgJNaXP)nM2?fq{;HsKpDJMS=8ymi2=l==d^V!RW zzL|a#EqvAc?EG#&Xdosw`PGi{56o*gJsz{owvoyXlA2ri!e`_0(@~UB_f9K;6FAA7 z7`7CiqR{!r6B09PrmBl~g?Vu1plb&2QJ(PW{*U0$2A1=Pg?I{efX+v@VVVU|*fXqUAL4OCUVuCZjn9}-P5|D@ zI~|szNXw$=O1{qMZ+kuw?dX9Ga>CX#I>Yf+bqoHY-+pU_E~)|O4`Paa@5RTN)oIwB zK7d9Es6oTVBg1$!NXjEP7C0tPN-X!}LTA~zt#4Dc)UVF0DpyMaegs~NNuY$j!PxkO zBWs&PcGG&r^Vt+>%tpz!l22xp8Qo1vZZ6-p3O8{>`Xw*>19nbzXk7u8MziS@qxOSa zE{q!7M_~li{d|V_1RY@-OJ#0soQ$Q$-qJ&Q9xr^vn&<#wq^PCBPRAAhgMFNv(!Ok8 zwJALblP881sg2@=d%?zrEHI$b&XjxKKS7vR3zPNqb?hRE1(S3*m{j?*@^*ju!}U3) zX1jS?#p}iCo#>!riKqq+3T1WpWvF_RA$*c2akgP|%p3o1YE^m(#!Amri6^i^?y@wHdZd~|1BtR^%6H* z{`)2nLU3Fj5(gp~H~vIQXirg{NzqKmqjDNRc|YSyrbJA>nrg7CcLhpDb?0iqONf|V zA4}8(f)VvK!lJdskTATeVbIm}epE}LRTM#$$fDQPrIjX%=GDVQ&R4A6wMF;cD4R$r z(Dk`V36wMAflL;U(6vb$7xo2e;p>;v@#eH#CnirN6r((S7F=BBWMpRK7w z#_Zgl-5=bXc5aqjIJH*>$7dP0IbYVOlE|vhU2MXZP@z}d(MTQjX#M9+$>|DSmVRi) z6AZPn3PpLYLFXfh1UF7~)A3^++Le6i{R#N!UQ4_F^NJ-=V4` z)Ww+>Z;e1iI0UA0G%qclyjkPLK53?4;+~JwC}{b8I`>!%Dl%IJSz=7mAw;!N)oMSU zWx-kc?)@k`ybf~>56`V)-I~p9raY)STdxmk?Do=J8-gwO%#6+!j5EDPdxro**GS4% zd;B;0v634^O2f*fhasSGa)qubIlowmjIc`s#$CJ_q$j}!0am|rK;0oK7nWhh5>vDG zNpCAxkjV(@Y(tIr$&p*9fyZ;b??p@*-XcAOsd64?;_G%|@@WpADS^?a*XlQTsL4Ws zV2gafFqROu*#MrlIWy>oBflzP7~-@TKijD;7qJCHf@vXzCC>Rp1;^MK|Y`ps0<6F7dC{ zi9WXMXa1=li*oM(w8No__4n>w%MmbZ4}Zqe-`rTqJjo#t+v z8iUrQt;fcj*fJpHx!LAbhDq~&MCDn(Og4bC1l0$f0E`xPOPZfM%5k#nMB11X@{hC) zVdb`4kaUK};-fjjb%{u-ztWX;=Y7nMV5xH9Z+H7iNn|EOT9V?ad6IL*_1kP(z)8v9 z8!a1RKtGgyy29Bd(D!@U+I&|Uu8)?_CTf85m9i(rOo^P{yv#FcU)JLf`dp*7+b;Hb{xL7)Ya(>lg`{OgGWJEgln3re5Ay-fTonKny6P~ z`y2{ha6aGc?H(}HWH~uO)$;Po506AdSP)#SL;yXWlRbvt`qTo20Pty3Eb}KL;azta zPh!8CR4H@_j2o!o;w5imffsUPnt#L!x|-h)qoJTm#%kOAvWn?%+2L-xkYOpno>|jg zb_PvBzy!3aR6s%@l3_66r4SO)sIEz9RSg%BYRe~?#e45F@m9dWGPIki8Xc$O^3s`L zMu0G46H<$utm`cZSpsUOyaEL(qN%%ET zIu`{xpt}GH?Z0~mT5+IR6Sfyd+2yK*-G$eZVD~McsM?R0HD($L$=ZD=s3Kzo;rm_j zQsM;R?2FV|P@l)6ZGA<8nf<%14N$~_0Sxt$Y?H5YQw>B)Le3I~_iHpn-xg%CxxfS_ zKOS$HKk#fYm;tlSv3m?1aA1MPBhb4uOhw{}%z-YZomQRrixJ!TWHj+!kXz9x>B*R4 zD7sjIZ%(1fruK#7U6Ohkp-N?~-%M`rHS5hc(XFl}dxPBof%0s;Za1lMIFtN^D>S+} ztzbnVWH2*+`l3W4dQ;4?5nZfbDL|LKn+Ly}5>0OG0;0=o{P}8x#MD`R{V&&$d(69) z0>SqAsHr|!q}VDCjWxs?jJecr_veF?3m<`v6AMb2RHg_}Uo$~zxSfhkti|wdQCECU zhPXQLM9DfLZ2(DMxG(zO*9KiQea_!M5=%8$fK6wNBOxx$%OqE8E1I+##UoxbN4qfV<>2$X2iXUT% zg#GN(s}AZek3Hxe%nK<{A$?4doPe2eIUv#}T)pa}j6l}E_1RJ7u_$RWl~w))OyTPw z-=cRaUxAZ@|ItTN%a=^Or;Qc_hXDj&H)tRE{-PX`xl~i?wrHM3jEHZFavFHqgTplj0RFP zd#A`IKCNQW7p+xNrZcc<)r01KG1rqj(pbG74ZTd`$!o&Zs@8iF+_52t=V`8B&Qq`2 z=DmIg-&*=Z*h9=0=#c5>v!Ulvk=`rgvs7{6Ua6SPov#>D0ih2cWZjyBZ)Ob{ATQ#gk5R{5VBjt5Gzouk zKgTvcc^0S{zvI8Df#Y%VDLURCl=SHG5UL^rv$@Q4r?)2;8N(3` zzh2bPi9O9o;GSmINVyfK)43uf^b_x4-4sqYvg+=XS6amV>D*APK<8euG}E_V40h-! z^SH0EHgr1r?I2QO*A%uyS31o2O!L1t=abL587=`nHlZwIhl;ZGLYI%Ejlp8I6Nc(M zp=NqW#@dY4$!6n*cK&8p zlhDs`2aZ|oaDQ*9;pzvqT2q2w;E%5dd9~WRo|Owjc~|U>UawB)Z+I&#*UUWD>c~Sy z^Ks=?A~gI75{C$jb#W~<2_lE)1qOIiOHVZ%58m)Srt>OLqwjc)*hDHrGmI?LkEc11 zE#l><(-mh#9wRjca}}3aL$%&5xK+lrr#4`g0!2D|%|N9zE};JQFOd)|&4E=GU>Yqw zKoWRaDS-CbpDVFq7ibGgho6R~-I87gv`c{-J#8nF2(3eK)Jj^j6{uhU4D4_)l-000 z2Zc>^jS|N=ELq%3@5&H1&GqIH@n+HS6hmk~0 z0cr(q^nEMSc#(hh@4`l|$5(kkvLxswK_AHcrgSFD>kVtRIjLT=uI*oyGyq2qR52X_ zwWt&4vJ?4O_RjXks8;clSAb<(Ge3O+AeN-9IX}UMQ0UDWmWq~G?SfB{z~?Nc^w|SMOkMb6|2BK~ZT8ibCmLtwdu|qgX(wXp z7ZqdJoN0C~1&u$Eimp!Jy#$+X!PQt z8Ijjefp(=9(*ZSj6|>xrILLz?pWcXZI3)yb1lN{JUoia)BwdUNko{Fe;0k|dgG!ge z=1Py^@-mC?quaLIGQzdPawFlk;f|+^Hs?;_OGx$VtKaqEr&U1!hIG)alsy|bT|{M@ zGN=H7bmGy%s>nSqPx`uzVL{Qau7-RT^o?tFbmiJ}o#KS8BxS}A)L=H*oh$jq+?J5xVv|oK(9;paRmszEnh6c%qL}s~gaKibCH#?mh^*P?`a(qGRq|9x z-VNo*Fxd5x45D>81>%qp`lp}XMa!2Wk#0Lga6s%dv!(I_>0n3$3W-$c56<61IB3LB z2c4eu_DGs;AHjeOoaBok-(uCH;ai&DaRPL|nI^jXC<4w-cws97fLQ|TjLB!1JR5$~ z`AH2PWJht*bhhpVg(wElT?s_RFC_-ayytMtwR%baEVoUSSqsXvZ{ z2q59~Fq<39xyp#k7D9)cmJKRGrn+c_nTF%ZRmJcO@J*1%Kwh&02a|>{6#bZnoR4%< zI~Wk58t-Bid<`+`5&4IEbm7GcA*DSid6N07@U9-p1FgS%{6y)|kUX&ziKWQ{B3fqb z8sv0gjB`g*a?3~+e!MEK;cuHpHq%q*SlLiyg7u@1MkmYV4^y;v>^l4|A{;i=XLZbx4Kw6u-Q!PeWK2NLMHJ9A)HeFVMA(ist} z4_4Wtr$ZXDK{ zYkAflHhv+HUy>;%pVzK*y3T+YW)86L%wt!U?Dcn`wX6$|R|1wxia_3u6=;BW5WH~w ziC3E7*dlz#3<~s;Z;GJfp#(KZ?*x^Gpzk7l;3x~r_n%~Fo}(T$D^?CiS5VYzLCE`$qVqZK_LjH>tGR&-Cr$*HL$h)sLPxj+ z8@39PF{FB+8+S9vG_wB7NbdH;Q}2(q8MIt~AL%fiLoK4y=~8{Z5yigjGZW{*P%&Bl zAC!glzaBnhP-Qs@StHL9d;%H3K+0E#10ug z<7~h9`f|0_t_P(mzz}7tsNa&V2t?>?98S`pADLn$@X@w7kS#3ru6?FJ69;y;qG~5u zjXhXv(?@K1-IXuGSOje(yM1<};anNf#Y|KOuj8zot_|oOFE3#tar)JqVwrsMCSM)G z6$pAk*&`S9Dp)tkZWt_f`HM?Na;482wTlkgSzbOs@eQ0`e(sk**o1YNAqJmcp=6gi zY?$)U75PQ7}qiV1%+K%<2p|hzmh!j=?F>Qq9Ep!SPV7f zx@j+199qKviB&6E(Z-%>YR1Nxg`>~XyK0munxMfQ$Yfn3ez>LEF=pgsFH`Ce|K~RT z+ka5j|AAnri3(Gb0M16-X=wm}EwSzat+O#u>8-Y);ASE=6|@XHQ5wEFAd=M-`HvmAP(w(C1|aGS^(UL0H*(qPYeU(`Tl<$ zJt(NO)c;wiHChJri}C+xQ*(Sk5y7~bIaBL=Krz5LIXF`RwE!xhrFn0qe0NW4PDN?OPJ)A5A}Vdg z99-rGE*SaMweDFucA6*1LrTj?&CJA0%fri-^V5W&i-r{@DQ+L-2!ez>!v#2-bA3}Q zDyuW#0ff!J1cVuw2jd?C(Kj_c{YwG?soCSswSleG5ujL3ZKJrju<#}GkP6$k_Lw_X zTHILNj_-f)*#FDYpu+A0ci9NB{^X98urY0wgq&n&MJIN-DUb)I=qKEWll` zbe0TF@2?%59EfuYg&?m55qsa%4vgVrELh*r&dkz7?NSyHo4-9c8z2s10hJeVT#7w6 z2!3{lDGKEX!n3Z;!wcjGqss=I$cwu(FC8 zYB%3Ba{PZ1y5oa_{+{lxyZ~*!EZ|cZW(09rA-T*`6mlsTa(kxfulKNiE-VgX7D)v;R`|p;-bUN2wfcAI?z(p9Lye27mP9e=wy# zdzJTok{`Z*&|i0Lo(w|&{dna3WNQyBkBIM#y)**8>n%WXqejLM?%HiYoc()K{{D?e z-Kz~Tv3dZenAay=b1+m`OyKUeJg!%yIETH5z7mF7CO`j(GMoU0#yfA^A~oI#82 z?-_q3O>H@Kk-(SU^%fv4t)F{HR7EKm(j8$AThB)3_vt<(4KlJ1qCe+vRwz#YoRGwG z7c7C%_{@;$*Ps0t2a*$Db}vplmzFn(YZ?$MEiDa@yZiI`d0F)8z;@tH@lpbOj*pCr z&px-f{3_jJTpL;*KW{t$It0y5{dj%*K>G_K=D}=D6m-KlgsXY0hsw~q@9edu&D0W@ z-}NhoEkG_84ES4r*#A7;?QWrm*0Sfr|4rn(wabB{L~!t7Vfz^Tt;vzJUEUW3`UhyB ze6b_E^eYlUe&dTs{7ZQ#TIH|h?W9*bJ+vJH#q-y-6S>(}f(BLKID$H5+9cEkh;r)y z2z-MN6q!I`(>vFce3Cd))5a}jDVmf7;%m|usYnpmwnkjHk7rZ6Q{7RQ_?jOz<n|`AL9Y7Von6p2zgT!j)7cItLS^d@HR{YJXk6tww5BxWb=na< zFW%Lydr1$Osw4j*^!@oSD|Z?7U@ll)hyTqDZ0YJzng3bzrRrD@c_j5nHsNWC1iK=k zPK^~mBNsb&|G^R_A0Jxn-*3_Qr z?C|0>c)Lj_HXEs)QPAX~0)zYRp5-lGObOhyidzLn(PhR!x@-(Q*%o>(`dgU5(l)Vr zP5{B0aF=$LJ*t2Snbq4O692DkHwi_P=xaPtKgWM#TNe$E2~kbQFR?%daWn561I~q{ z@?b74Xw5%(@Av~m`=c8?jYLpQaB>nTdad0_dGQs+N{KBZ#$VmbznOYk5oF*|{sD3{ zB!(?>47QQmo%&D8^(7|J-zgy&O6M|EQw*Bf3Q@)b&_lX&p1BhfhmQ_acqEMoxj5~n4EeO$XzjKTn3p$1&%J=LmeMK4axkgiJQ6_z(HCs z5<^pXmd5CS>f^?q>ig|Cw5wxA^DcpJH6@v6s9#oBHnaMu{NKr*@HFPMsvvOekwlgm zr&ja-n0d=UgKI5>lzqMv&}c``z423O{|557b#l5EF02!j^+N!E`S4BiaptW&{ju@+ z{{S*T&A*M}5$w;hSwT&v?|K~4sneV0{{1HI-J;5wZBPi~ z^$^`ua5G>MM0Sdp9EcuUgQ-pI?gN=?GhDn_|g9J3CUbm%-bXN3*kLM$6h zjD&boV~itg7viluqHhP$#&9fu2pjySRy(+AhAJHDf|va#K~ddEJX?C?Pche6Vc`J1iGRi|BYnDN>41LB zhKygL8P-jqeQ)C%->2mmhw2NI#-wSeQpkb=sNfWclJwQcaVX(UFi)pCX1inKYRK1k zZOv0(Cn-^rVhpt_A>YV5(Pa}|%)iqCD!FFM#HSovt zK05n**?9E5phi$tQh(MN6Hik1&-U|UH?T9Lp95R7%Z9PlDdo-59tc>XT!-@!bmhF9 zG$W|K8uKmhZ&~+OJ)%>UEhK^^&$=nUP=#w6{z=7Ar&|j$uKt?pObDIsO1(vDV;A}! z24+-bw6^zwkp(8fp4vs>!GAup#J)PRXJ!hlxVZE$x*Y$Gz<+)Zeb-A@p#+mlg*(53I(exup=m_=Yt&|7Z@hIY~FN*`ZC&XRqk<$CIZzOjGgYKI^PKf<4d^7pYx_CSp&KZ zp6N5v^eCM({yV}QD(~Det&54u?$7w665h}e0>;e7JN+>D9~4^3+XPH{3pNC4(IYH+Q@DEW1ZYF6hF?KGn*PQ_0O` zw^?LovoO_y4`-p;bdJ={uZFE*KN+QYy=X;rvh+baBB3NUa^KDkR49&60ySdxycZ$X}pP@z8m{@COmO&R;q zZ@_5G_45#qIyYT0hX<`FZ6g*Mq@;E&M@~TSB{)i{^ghSEkI)n%z2ui>mPe!^)+BN! z2E;2Es!6FJ1_9~F1y55Kzp`c+6dhxh`yyrPcYlY?DUi(eZ_-iNWbUwlSN70F>Mdy# zU;eR{nJyPq7s7T!-WcKqW7-a#JM>9r_KF*`X$_M*+oX{^st@=I%yKZdqjld%Bhs6O zg7L6z3Z4_7SCTUFt^ z_J1o<&pK3o^!Nf-x#C4hT%s5nB68TQJg|HCGT#g>-*0_-XGLY(!t9Z3XSDU?TOTGl z%sLPI6h?xnZNQE=7Z9a2#(liRZKFbH#4SaFgdQk^y#ZZpieQng_H8+qWNd3&ez++* zv>zDrMEyN%qMVQ?a(6ijF+`OJ9u*UO@BE@ zk5cO)e8grOhL;mqnw7+Y>7<6*^y)1pVmnM+RNnm_c|;n#vTm>N7LUB^ zd_a0PSx+*pTNxMbrf8t{c0J@5vvws%Pl&bp;8Cv*m+}zP=pK-48U0vFpQHLV?Q!@J zw-J7)wK3gKLy^GWPR-j@n0K-%T^97kbrpPbZ7{^YdrpYSe@of2@oTvzc7JtfvmDPC zl(~vX)d&c--9admMY*4#UUOri^yuNM`~K@~8dC@FYKWqV7S#2sJRYsN>Gi5v!WRbz z;S?qeZ-(E`F^_m%3OGl6A_81=yZwJb$X}|GqHhWIU%Ghbnt_{*;pO(LbX^C!uf|^G z2aWJA{h9F~E%ERpB*>-K;ZPa>;Q?MiD0&f)D{-w)=mgyhoup0FReB)6`AKnA6 zK3<&FkfcY^4yptY4hLY+Ab8OYMX!6d;X5)F7anM-;`8PdCG$!Vczz?wF{~ub6tvt^sMH2}g302GpWotJz-&KUW zHnFIxV32GW!m!^PUJZn=te8$kc~@~XSzik?^jR~Ddcq!D5fAXo$(MNeSeqpuezZSz z?k*G3^}9Radi%EoA?m+M!)z;jj}eXst!D3d+|#XFIfLCXD}QAgI=7q_KbGDxK)Jq+ zwuLEuGO+$YHrd*gBOpG_n<8jf(Me&#VAlqENL9)TArQB4wwF}_IO~~2bEyPyg()d zO~S^a|9a5XQ#Y`C{kp79Gfuym zR^)`8ZN7b$5kbG4=n=7%XZcjwfI^->S*r|bAUn)yR(}{HU5XOo84d#PKt_=EC2Qn} z*0^m72ixr1dCvYa>C?Q{$8Wf@vb;?kL4nq9XQ^50xbDkx?`@sME9y6vv}a+}SNJ`$ z1?eRbX|Eyh4`n;fCE@W8C5u=Ps;Vm!5-;V4Z>Ga&lgU z&j`Jj#0|5bQ2#D(ULZ;i_nxRfwNvP;{LRa@rQg97x?y4$hAo5$iAT9&rdWHev#2$i zYYgVL@?cW(qp@3w3Ww)Dlk%0T<_W1L*{16E9e?b}o6R(xvF>O$8^=R>FBZv10}=8D zdKsh0Xg?vDz-j<*-nXHd+66FIFv$+`Ka!v^qpOTq6F7Hklrz0 zWYg0%)BwFPJ8GTGZ#Pw&}U1ceFyUo{d5$+M@n5aooC%L|v$F-3*dNtHJ42#f@Wigath>>LW-Y78xJo}6v}%K4TssCu z0E#;(AIq`!i^A-fZ>9-m7Ig^}my%kYK7ZI#MCW!88KnaiBigW8qwRKyI<3in$LPY% zfNsEu&ZJ&^T(2CoPC{38!^b#E3*O?9qO671#KZ@j8f5{p8hZ0h*T*WdNgtP!;uld` zuy$!T7Iz=Pzec3{&mx(r)-O-rlpv&%zAW}zWtQMNUTaWy0WL2Gdiy1PrY)fO2!A00 zx;3$zv0(Op5l_lD6})aVA-bXMe3-16CF#a;eA}OuVH(MW4=K)c>Ma*Jqmy`fo4+pv z@`HUpyo6>|QsczenmTFWMiY|_>D(5gWbk1+?`>A?S3V?+mK-sn!wM#fJ6$)RCszAT z$NDQU7P-qCaCR_KI$7lMoS?L7I)6|UemTAP0IIZ>lsV3n>{uT`>X@Y&s9T2vzq}eP8?o>9E07Rs}c*1|t@ogoX^fcKhf1EenuyTZuI3z;UcQ+UW@i`bA$}dAtGY z_rcF^I0R!#5E}kQg;TK_YUB}GD;#7W+Zl72{H6M}X-Q0Q1A~DohwBoRu77*rI2=;vwjfQ>3d_N?muo+FQ5PmriBFyju=u5C6Tcr=j*a^q}6oUbYzvIkV z?!Fj-eD~fPhzT}LvW%<=twimjya%BaPb2<)xbU;LXIJ;Dq*YRv%%txw2}H<2Jq;R` z?~jE9DHeHuF3cOcMy(3JAAh(3%eOJug3W^sTJpROAP`SO0`fY4zGI?5Ai)5d1@WvB zbW33tf$F(z;~jT{Ql?fLPgEw!=BmBFjowi?Ku|)m>XmI`;REo&75-oWf{kU_GVtlY zF?+m&&YiajF7cjJ84$CsPpXEE+iT!8sr4&R`J6`+K3C}8E!!V9*nhXVcRy9Vl)@pq zh794pPYNen?YlG1FUJ3s@9H<^txC9g+?EoL7L z0(cz92!4|1ET}NMQ-8~!3w|J+WZu0N>|w@?HxLf1Dz71x><{V$C9We%>Fg>QZFTM^ zOmN*~Gdp2Pe8)mn+CyiekqD`e_>Ia~`)If8;6WS-@6}%qdD@(SWh`EHNwsR5B@#RA z)4`|C`2JMSik}Sw0CT9=yRplM+CG4f3H7*YS7kDAf{SRDSbuT9kwGHAtgmtn2mOPi zda+gw*mQW>Z<+NonHwn=rvGwb0NvC6tNHk#F{MZ9_9x75Kb!uU7d{G%pc5Gy3c1u_ zPBrE(GHmwCbz!`z&Z%o@9_qIbmI$>Fxf>swM|n*RM|D}9&@k8{e6X1LI@_W_%J$L# zb0=N!;2v#_?|;+#hyBImz7yaa?d!t{;L~nw-fgxqN&ygSb6elC10~K0qU^Z2GEl^u z8X-Y2IFIN`p)o~!I|FHY!$**+@dsJI^9L{#S7Pcw9b@_ReNF71FnrdNWrmP9Jq*LQ?fua!Rk><)JPJZTLC$-=?f$q*H=`^}`xZ}^5T7Ii4ej{0x@}yAOS2IVHP2Y1U z4!nSDYu{9vVe&Q`a+p~bJgq4((j9wIR=v<6`S$AVXa8Y#M%d~o@+$ocDG80Fk~AHE zzNOxCH(4%5PdBV*>o+w@9byZ#Z|o!3hPL)g9)I>ezq;n#pEM4h+B;cUN$J`VVn>oV zc*GeA=r2FUbs+nL>f(pqYvp&b^D`@ZaL7{@9;W!VcFfdFu-fOVRB%(A$GLywm|>Xu z*4zD*k;33)v$6qMaPhN?>D2GzTCz#?VWkwAym1*zhIS%p;C6tefd=zh)({vUs||84 zgMa#tix-=J_jZu$r-*s2{ZkeS&4=n6ZAhKR;9~1zSrw5HH}{u674NJ>w{eK z-JIqGIjLHVwoc+aOCr=NkOwv{h~`1qQOzNX>2tLdd)z;EXmagD+?_i{Da0qAhG@ks zXecLM_cW+QDZwvhM8%m#0VhMDe0dx;fwrH&8Pq4GnWENzF?UmSa~e-fJ}^7ZRDUD5 zBd)6|lelbgXxEg{dU-V4F0mOgt0;!9NW<<)8T*s@cfYNx-AS_wM6@1b%t4&=6H*?Z zdQir(nK{c*&mPmxhZTdxq}@JD?-cZ%hf5Q}Fz1y1Rjb$x@2g1)Q(%&a zb-3&EM(uK+b6NaB%U+uFT9F-U*MGSv1JLXT;m{tH?sbI~wL{JwgtjH}8W_U7DoOiE zC=z2>PZsMDE)E{WSs#iILG?F4AL#nuIU={S@nem9Lw*$FcNH?)dGaxz`W@=%RltYL z8PN0IS|q!5?*BNx48+BRs^+@lnYh}bLK(EeFDd75uyNp}s?QF_qc#UgcYkWaBgQ9} z4Hp4knS#qem#1)_H}-_`EL7rZR){ijS>WOkFsfgYwLSFikJ|dqg2#<~56pOBM$$?6 zS-9_Osxmn!GXx?>)qkZ*4-z<#X!?b&SD=_tyJX3`;P&fg1LJtk*Eq}>VS92qrlfke zJ#!0a)1ocSIr&a)--q;{Qhx!${_MCh6$g0~so#*FwO5ksM5AO*oi@7V!kWM2D;^dA zd&M-;$`;&52ZWuM;$@do+jfRfR<(@cxaA9hinTsAv+XSX^#+6QMX2z*8?~8}j1t@V zBNwIPp;w!cD|0uc5eqGMYW3b3R;|<5*_3v3fa%wXle#54488Xj^nY{lH#gtGKyC>iEY>0%SNoRIh5rcB}L1#A$)u*u*AaB(J6n z3dbF(3H>*E-@>NNQKOz^B1{`F4_by{!lB;J|9AVE*1%q1pl$+0E-B-BpF6GP#2W3> zh7{wG5$DjRL$JVlqqnZmSL1H+q5F{itjrSQm_r>3w3z(3QGcdL{Cm{G+$L{pxZ?W2 zvyy|_>H8D@5kh^%Nv-aXx>AH(^am1d)dF9No(loLjp`~cEBURJm4%|J)R9!Su+6&g>s1RGjc)Te-^N!>Ch z8#>S`-1^bpl?l*2(G?L5sNk~*M!!0(>?Zybjf^5c%eedSePszWMa$J0K2o?MaG%?F zVQm4B=9F$b9FAo#a5QIAe{le z!6Y!CXU);K$A|`g^Z6RqcGR9S4eHE)Y2WP)A{kU0S|;dR_qhG?+%j@7E*Vr}$h1V= zzkYrE`^oi6G{Ry~ek-c#q6t^Ftado=C4UEE_PLzb)`1gZu`9J9h?ar+A5!6V zEP*Qv_HK!d>vI2?V7Y_*+h~NBFD&$Fpohx|DBW_Lse!C`vqJbQG_x6z^}nXbJX3{U zXdH(_?%|dbVc;LR&4g*gXu5zzb{A|Cbyc#&Pd_}cxKjp(2r3B#t0}AjkTVRmAVW1m zSAS%xe$ii#sg7KXn*^ay7sdCp2nhf2pDCK~TtH`K zm=TUFBS!->s3PRm zEg@en=Bq?a^R>JPT3fFkU3no09wP?3!D_ZiYUiXon?SdDRoVn}(#gXPSCk_U1b=81 z2$YN+k%JdG`&5!r1pBZ$bSehpWTNXWQ#wJr6rg_CV$Qs%KLQ< z)Z5xf@JzElOV@8Gjb9)xwS%HifGD>+9a%c^atp;$Qf^;^Aqre=9yEdhIKGP3Kd8Hu z!#q_%)%yP?Ac_FTLhV3;IDVm`1CygA@g*kQ%1Kpm7{%Z~t1sfWFT2#AGjn+4-ZX?( zqli;=8S}p|9mS?Ty3X8K6o0Jz1_E9m9V{QqiP~6#w%^;8R^P~@1`SKPiuX)#PWaHX z=k?=dWOtvBnOv|5!w_irCD7iPjU(K311p!p!*F({yB$uDh)I2v_Vuy^G!EoQqG z(TkY$)#XH*)OJz1+cT%0XnY={X7^Dd`wqvt}_!>cm_!%Vabs$5|3(0;8W8I{@ z1wS98{lUQ5CH>WBvOAw~v+jbrzB`M=kY^4esq1K;+N!wtVT7Szm8&$47a8_lF=+WE zaY99P<{Q)NJRMV;c0q?&bJrLzgT3ak9%o(}@8Vn2ijl&*q<_QCj4+)h_l!QeM8{Dw z0%O)**D8Z3Nsn?Us#6o|dEl2DsBr@d((cteLr@EMy_;MbXa`&r4MdY?`)WQ{V|M_C zjrj$|cl(Hk6hUE3v3>h-*qE8Y_T-XA)lx-Vn4}^Ow`&hukO|Vk;UC}HoaEDZ%o@QQ zeO`Y^W-JP`Uw>ih^D882@I9T+othe7juILZ&X(wzZLI;)!@Y;a4+O=Y)3BL1iJp6r zwcm!G8h#_X^30giW-|5CG6!>nk_U;5g=9F0jiIOHtM_*t*A2e-QI&p)A6Z#Rp$Rp) zJxVzEvrbtVM{Etcu4BuF+2p(c6%OXK-Q^LV?fWx{`hWVG1UDgsbDD#fnX-5n4KshU zvLj{MjZ`krC@@lW`cy^b>t>cob8n2&BAh*1O0TZVrb@l9lK=`Bx02NF>MN9~%fbb* zr;7U`*3ELZAl6jk_@IO^)oyQ6Zz=ucO{8$KvR^9%)E}(Q9B;~6O8mkrYpNv&CGFF!(j+~+T0bO_ zlYhf20Eh_fTCLx{KeTtr0dAI}TRbZkcOR}!z-kHQ`JKp-L>67`)Zwt^%l zC8o!pHvH+ekj%37g_1J%$qd9K2!9bWl>ZYEt=yixtP(bZkAdX&GHzqFXu7TS&YYgy zJk}tosV)JYR42L&y{i+wjwe9yYm%O-{C|2R*cDIsMvBwRkcM9OLPjVz7$=6%F1uw2 zq!Ib02ZHaR)4r{16rt9B*0238pkh^XBwo8PO40oVkn8jid9c!bp|_ zBG!~540bVv0o(vIwe|5*xF35^AJ7}7GS!HR+AK(PS%8|-x3n>J=SlN*|9?KP{@D~I zXSVM07202A#8^JqQ0}CUek&G#a;hM-_RytLPKZKMq7DR)`Vry4mV*tRkMx|I8RhzfP1P}7ym`Qlm$#kz~Rr1 z%S|4LGho*dCHZ|-0%k;mk^UCK7@j3)fKr8a$j4h08t)1CX8bGo)KT zw`P-_3kNwx34f_RfFD3TE5rqRJ2zbSsDRoamz`7^7s-^aL^yfS-o;+gZ^SF>MSC4$ zsQ^I@ip;qzq3@|x(fG&V`?kQo)3_OJ`YUBt7ubGjBxx_oOZqq?_pK<(Lodo!23fcM z81hVEGwFepFUryQd%+!TDsAP@=g5+?y9Y?b;rIMKk$-Rddz(EQK=BpE!_G47ay2+` ztH~jMbn}jJMWqG(q>ucq2w3rcO>D84EkVqYFDb;U)*#`z?oOWPSNzE58gE{w=go;( zT%mn~f&-$&V@q4C%0VabJPQ75VdoKSR!d&)TSFElqr zNYk$Yh>(#}a^CdITq&f^rBz=n^OpH;zsiA0=ZnW)2G|&w?zwqvAIp9AMbMXS#CkXfV>>>my7w)+|2R~x> zeSbS{z(uTSlbGI29JMvEayHSti=Db;6!;8=tAeERX|rNutlcv4^=F_Q*6d_fguHON zDTGl}%Bh?Y@A;At8<5V~>9&I$B-(jCo>L-*c2Yn*Q+>@nVLLp1f2kqm1uGV~9hlW< z8!?6XV$HmGH0ueM(~hUolqE~sdWWc2 z@iGDRNa%EZEro8J^Nm_ZxT{xd^w#ITel(2*%?P=2g4J%kSL;(;xKkHpwQ8LELVr3> zrU3>?j4%xOS|+2fJAr%403ZU&-p&u(Q34%#6r4y>!QN&BKIho9&JV3YT$D= z2GRzMx!tXYmj1OS1CD)ktA#(Gl`)=1=(;zImii7FWCUc{eowL`stmn0eS2do-Dwx; z#IvC@|M6O!uNIdgspL+;K}-pX-hTtg-2|x7>AbvCA2w;DNvBcUfk%8`w*$vWirAo0 zi)*D+SQ4n3l={JI-TAVWCAHdndCpB&{z+U6P?>-Ho_|{|zhFEs zMv$~9@}hUlfvIkPC;4D%TQS(At%{2KrG)vbDJz!8Fs~sB|F>bB^yO&?|DWHUc%+xZ zkf=GmD+K+J;OQZ@2aB0#A;<$2<4rE|4o557E+IJ6m31bbPk5$kRSG(fWUCaX93p62 zL?#%1VF$43lZ{5gCO#9O*ncfungM~*Ijj<9%KVh@hx~U?)oOo=@M?o^%T5`U`@cK9 zIaoRuL!!LfG+jX79cpR_S1*bg>5{x*v<*cm@<>))P^k@8BG1(z>F2=w%%)av42v43 zE#s_b-g&0uCKe8)*xJ)`L{6T?^@$GhTE;JO3hOMEK@h#`$SdpvCV%{xhGB2d>8$_nqC zKoW~+e<>%D|0+B3yjDPV`0c~)@1#7TW}rF41fKIcG=c!kFyDzUN^7O)C1j>${LLyO+?iK`Ui3`!Ichcf4s_w ztcdmiQSj#^rKMxR434c`>t|RO*uN%YPAUPKd6>kFPmAZI((DUe$lvyWp{sU626eV_ z+Sr|=1zA)y1n;%26u0G@35(tM*3;aVq15NZmU@D}zRybF*MC>*Lk3>Z-aLGK~OdOk0E4lJ5xf4u8PTYK|V7Tr6{Z4mYdobay)XkNIMLW z&4}Ttj+~}i*?*kbQ(zZx+=N%QyDIS)GJzDY`^qAHH@gY~xpYROU?kl~K~1%fRcey! zu4iCTmp4$XKkK=TvLAHp{puFh0UAMV2oWR(Hl`=eEUt;}#d^=Ob1-{Kd-0tfu7IT7 zMeQutuv6CRB%%7gg*_sxlI|~P8ho0~00ql~09Z$c5`S!`5~cyySF6-SwSaC`Is&{D zbS7`xFE@i3wsYnI#JaXddEP?eOWi6SBS@DGicId8N4)i$0#SctAS@^J2F_ls^Xn>r zfl6v$8lCxCZz0A`nax#LElCJ!p-D>Mz_p~^(ZOz7TZ2>s40YO2Skg^Nf8vg|G#pY7 zn*J0iP=6TCuPIsS^E!f7T?ZSvb-A^1;#yk)-E`9)5n-pp0=t0e|NW79cd{Q7-%L@V zaiuXpnn}!KC}*9COag1et)-4g=) z>C%`#X1o%r@E{EX*T0| zb$=Dlq&kU_9O(sC5Ubx)2R9vPQkfn%m z63?lHO4`Z^ANy>xTue(|lHz=zm0;a(an6?1MH77anEnm}J197RK1H9rxX=04n{SBR zD7=#TMY~A?ruaa!)7`UqXBIW!)j1i}Cx48-)5WpMC;kjNlb&UQJ}at-Gq%d>x}$cv zpS$Xc!#k}~)O@CVbA}uxEvvW@Bhf^f7Ej0E=?|TOl?(ENNKYp%+Nv`@XAC(TTH(!R zBlc1sXE6T)@4k{Ht@-JES*h8UMnrlpwAko09NGTA=g)UJ^W*K&1N7yeY;$aiBjJ28qA z9}YZ$Fi&71P{-BELg8+;H1_6l!zc<`oh|waE%i8lY{Ytre2p=EerhmJI5o=F;= zYs}9<7`=CpPOucICdP-k;v+dp2!CMOkMg%tb3M4z?aNk|rabkbQzIP5TJykZxlL#b zn<>Ap8Z6*wPUzV~%q1>6!Q*;yyhwxK5XNm&q`V1ib>TYgd(!aT?&BKQOXc(snRuGj zZfC@48`1Pdg0_Y~Rwwu*y||=m)CfBoxV!NPj(PzxPv6(ayWP~G6sJhJTz|ygXIL{P zL0e>m+g4Im+jZ0Ma(+BVm64#jX2JR66e^+;dJM8~SOv;>H(CSntH71ZBGxW+Lx++}Jg&{DFOo#GYa|FlyX4y)pXS5&8 zxTrB&)egM9>ElmDHV$znQmNHm;W)pwKupYOp{br~JK?LbOl28CB9$_Tf$NV$A4|I4 z?yoS%+8?c~6PZmM#$At0;`cQX{>mikrxGWt;Wqe{YP^U@{?yYZGk-|ryy2N!VY1n* z-_LMotNEu1?TR7SNVYdI<7RWismX~Z7z$MI*ebppnR+tQ*M_1hk92!NVw0y@r=9k_vM`A<@AG&`-dUV*}sI>C5uAgen@3-Qs6z5bF zNs{$$*xU!L4zE|JEy6vyhSe?$)ZxYQ!{!tn4IKgwER{jVeSg#=g(i2u%J%}#dm5e8 zCn-97pfT9S?o~Kwc~pJrK{f;+pIjfJ2z2^S$%vmyU_}$RW))sZQE{VoT)i zwhq-@rFweDhUbt}w1%@_0M9_?6dKMN%+1>g(+^m?_B`4-w4%ipK>^|*?-Xx(nd@(E zbpF4(x40Xns4OU_y5E$3G?j+Ln8}b{+9jfz1;&}%B7dgjS(tmL7|upO?J-_l%Jhfg z9rQqA9#ENJWMa@yZ??1XYAI2sdwz4TMPkIwEG)t#Rd=CUiaH|aCkZYR9!AmD2v^g`!LEyrk=BzdV8dcBX!qDW~I0gBFmsoj%cH~5#(0OE&g^8Lgt_rjm z3b5mZ6o0@U6sA~RtZj~`?)~XvI#Xb4@icAJW={3tPEaxKWngH{NxM!~qI_JIkN_H# z*IJj?wC)xm;p<*qtWmeHl98zRIlUE_J(Frv;6ijKG?-ZN<)-_I3u`wknA68*d5IG& z<-m4Qoh#oBZohIpM901zfx!eIMwqy3$lJ>5(SH=eFVe>SF&q?+y z(T^`{Jl?HN5>r6~VmOES1{>BMl)I4J7z)3EL)iLbh&fhzuM`S#8B_%jB|K&K7LjYE z#L*OCO3cPf%`&Qcnn&H<0`B&^ccNZng5=OOSv6O)#PlOh<|L+%K#aL?6|UiIbPsf( zxqsM#8?=LlCT|&sLVJYa5T<|j(xAknLY@AAqhq$L5{A1oQ3Z=^yYWHH=wV)TIZ0Y{ zEgDt+u=^`qt|tPa3k#E|{ZDyNnXHR;E=2m~@gt48ZSXlO`~^8*$@5~Gc0&Knw`dUD zn&h+fz{kvb0!-f#)Xd9s?Pz-XQon=`D}NL#GBo(8TjcJM4$l);p&cdZ8qw$&7oOSJ z0VbK2flTa{S;fj7$j69f^^*%SbCn*C_Ew-m&im7q zBI=oBU>{)?6nB5KpvtptRC)HF0A7mIpGo&%HgMK8C}sr?>lcMc1Pu)9OL$UVn}4yq zK8XV~2vvqAZ33gZtOA{Rm_Z!Mzbk4xDo{YaaFi0#nyi@6c012zyHU|N&v>xYL8|Mc z(G2XFv~4xM9_EBe(ho$=pq*jidh;Nke$ayK!lgC&lQc%rU7?8|zF{P`;#)(*c+lKn z>A1>0{=BZd|0TohqFoK)OMPB)wIKNDY^YO)Xm))Nlu6xar*lkYcokrwf8Ce&e*i#S zK;)O9#Q_unIJZu;0zCqkOtbAq>SmtVY0u3O0AJ8FyyD9H0}36Y&UK-~dMX z4vc6(#hgKkS)!04gEM|F!08+=6p7}D5bPRMXPQioZ z@Wd!|Kti0sr5FG+4jtH!Q|M@q4B)I(fEi$%Ltv2zU;;XSG7((kDwPO{^FW(W!g`?! z1!CfyB|>wgg+oWfDh|sH;LsZG$_zLMG!|C_n1HPS4NO^!upn@T6u@>8v2y{c;J`U( zR|@2aYv?Fg4GNIbA&)YV%DDjt(Mc_V2LUifW5+ zM0q0M1`Ke2(39c{FiMzE$PHjsO5l`Alm>KM>O@Q2Lz={RIZ6xo8IHKbQiqbIiDeu+ zU@#J?2WxRc$$>WxD!d**(G1sc1@wR=z;+7s%^V1oYcLs(c8Wp(n?kg}5aX8OEUXX| z=>kcEr2`4vprt8l2i#k~!~M~iqy!mqz{I5WhJf~ehbG1)7^%{TALPZ9Q62+YCz>XR zmuZToD`2fgW9R5IS_nG$>8AmCnp^?Z;CvSe`S9^mqFri1*_MjbfWT+#$>j6k=bv}N z8tP$<5vd0A>IKVOD#1qjz-lE@6jvWuWlhRJeZ61>;AQ>rO5;+|lU|`kih-yPEX25! zg4*wYg$4bm27^o=;2JSysgZ3#B;<5HnJ}&aaSY~Ao zPK5&layFlp$xlBeXy`MFMl9+lum?1`dd_;Ite(&k!7l45 zeA502s3mWf^U*LblPe(c=~+T9^RH#nFn#%dZIL7G<9q--&B}aMt{}MjT?gbMU(MIc zQNHp)-VeRZZ;I?>{x!KmI+ar?hxB13ORf71yJbs20o-{mV$oXO%O@Tw+E|#en7>;R zc3TqqAW1l0fgjIibHI4z^CObf+1bwz$Z&mK`sWwL?DqjVnJ;hhrQd;mCclt#a(cyo z`~%W7D$!H0mKplI*3={HvemPG-6@Mx7`7)nosYuyhQ82NR zO#i?Y!#077rIgEFuu=*T6zc`c7)wx z+A=&RzQ^z)$vW9zyD@B?KCDWyD(eG(tCUV9)LwmHp%_cCD(eF)gif(!=>rQPC)J$) zE5b|HZd#_&GNM+5kL+aIhFbQ8r4gk+F2r*xyY_`e@1yJstM9({)q;JX?AZmYtxKs@ zy};D1LI(YCS3j=EJu%lz7Zkq=6I zEO~!etmAAe$>Ql1xp2lL^#Q%UJ}wk0t8dmHkHckOuzXb z>#Qv1vu^%<93^njO%*t`mNbRk@x+;;-nD`|d!P>BKadV#p}toeI^fLV;BeK84)NpY z5TFSIb&v#2P&iEcvxLP1FtBTX%)Nv_+UOKU_&GrD(8jh47!7Glsa~LP;s+BFy>cmefxQEWthMg3L>6=RIS!JHHl^jWgyqt&_aQbxuwF?2nayQBOWSJKyf32k;l2ru#&Wi_C*e?Y!z^yhIRt*Tn!ff3Nb21pF{kq88??lD^p zd(nPIBa6D4)3O=!VyedwmPUlD${f51aGVA9)#j3sD!Lc4<<$==iZ72Zy7sO2V%Gcd zqxc#X?6`36UE{TX+GF+axxgu;g2O`+T86$9T7#~$-6|;NMQG!3;1tKbPb%-Fp>+mV z`PM*5&O)oWpRL*mXWYh`z>85I7Q)RqhMw=+c$F3yQMOx4k+$uYaZhNtSs!OYYm~o2 z?7FwLK92Qi1AM^U?BRE;TI*%Wn12Xj_ks;WOjWo0o~U1cP{q*-MTK==%VZ_nN($}m z?zy=gtI(YTy6uscEyXqvwXs~QwcRG5jc;-Ks9K2*ytyzTc^Dq0pH1S~^!l`|h}VBv z52RK4+BsV9*AYh-EHKrD!b@Ao&X$09+h$T)pj=z|h(*7UE}HaOyaI=v5y^^M4ii+pB2(Am4W2)E<}4NJ0%;jc$91 z+F3fIg1V)%AM2FPia%UBD@wOY)-Kz zttsi1Z;`4XbtnhgHN5SJ&QBWp=!AuYiC@gEB6iec)VE?`Zo0I`DRV^!D=2+lwcs zFQ0v26ecFwc$LTs;>3Tsa>QkF#GS^^B@`IC@$c=eM)>85ge9lh;+MP_-<1h}Jm4lc zail3cotN397#+{XlN=|9Wj_54P8I|5A*_&s0fM`1iCs6V5Ey)7EXR7IqAHq|ALwM_H{MSmxX9dWHD;a-B^`Oq)ogAMZgU()_@6(y! zptI_8K!1SRs7yN<>r7h_X^r7zthFO1YrPr1S8t>FbefUzGSA964^t?k>T5%Y zt`#G)sDY-?b&}g|cB8XWiVh~-m14`$s{+YHMZCbu)>MJ?@d8%wZ%9)Ya#O^Xb;<=W zIM=Xd&~@KE^F@TR225lB)zxnA5HS-QYHdcU^3H zYG1(EsehT>2?Fa{lQv{=l%g&sH|TwI{R8)N#*Mv&HQ859^XlT!3?|U7hlF24wWBE2 z`6JYs&$)|gWq1(jj+%>TyH(&83i zlhOCib7Z9`gZP7RoG!NneQ0I)ey%c^_y-)=CU>vj1F~hy;^3u!D`c&H0m5~=J7*w zmI!n_7dEIDth_LQ#(;>~S*0EJTM&t>f=m^ncGq*i4gL*&V&Kx}G>EthwEZGH;Nne5 zVKSzpOXv2t*{`dLpVR7OcHdf8IY*?2RwZSXe1D7`u4p_03YwJUwxs$-3h@t>H%B6l zX{hVo#Wx3MoA?#63AS*T8F_W4&QWd*{^-!J_+*j2x2OGKp>omI*3fs);%Ka1*fX-^ zPg_i1kbLX|vw+5N;n|t^pQzqTaG)t$gk}dOD4?qs!I$E$Icx_m{>2xht6Xk?GcHtI>cfII7n5Y_oq5pP?zW z?)%e8Co~ew9cAp{nn5kBJh4mXXy38M`XB@QJ1jz2SE%;p_ZnUOQo_II6)6@yMDVNoFB4I4k$@r6{f9l3NStPAYv)LtBbi^kq!Z9y7jF7_p#qu{t z%<_CRer9({pUueqJm9zBbLuCD~`CzJ5W zn^>}aExGM|loPY~&4%(fZMdQ_Dn>hpXhR&xT_{O8ojP!VqP3T12ctewHW2dTSzWBW z{>*RjHh6kj!qk*Tbr|*MU&vH5UYbGl&3_ogJpZWAi98rdEKTyP2MbD=I=07LjZ-%# zqM0wR$abowL~&8A02W;1Bq=L-Gy{kv$9c?<0us7;fB*%K_=OaZXfOVMDYHoGhOPpL z0G#V8z`kX815gXV`EHPwrELSw0k}uofT0$%p8y!(nj-GSE+C3ZSwTrjSy>s!w+G<) zS7_}4syI}Da)<|kLBSv;HTi#|76lc>|3oc?IX))bkQ)Qb+ZJc;Q%R^xv;j5EdFlPA zK#DZ)%ALkI)>Ig??7ZciA6BV3tZpt}<^b^U_%wWLyH2A$ULOJcm=tX)K(m=7@0}=< zXi8a^C7vcJ79TAd97# zbaDb!eV))KkD5poaRMk)K4Z3ffOyV~=+X83$dL(qVuE6g(oHeYB0Z1e80|4$W2C+Q z85sUVlfJ=;%_^QzzREP>pDNJ;vmaZ-kRk=|o=gf(?Owx)3~jo2pb%h-mXYUmuN=df z_8lH1S^DSeoq(bjLP)ZT$uI7SwR_lWTbBM5v3h3Tx3fNyE0tVcPHwEtJ%)?!+l)jg z=lbC1_QaBcl_8RmGYOi1p?O`ma(N3UTsB6Rt@D2pF1nD_G%-KeH+X&%BP{Sl zvl@ZQlA!?3$a@@tD)Gqj*i5arC&AoXRl00_2NC-6TxFVD$;_=km872 zt2h&WDE}34C%EgZYmszypLbTJw46XCz;L;%Q8{uu8uh5v-KSh z;oob=#8q3W(~h>qla(W_`<&QK^ZJ36yz+HEV>wM^=YCJ&?4|=_Js%>?IIT2YtJy@S zE6<^z(Bx4@0=VXdgTFx7F1-N17K4bUkfxMhAKf4FsxRQSiWy?AWFGJ4Qv zefIgiFg9wLqzT}%BA4CV)h>idoDur?S+`A!U)fN)cZy5r-D&ToxxO;|ol`t%s{bvEo+q%D9OupBQd>r2{hto&NdLfZrfc#7lc zkidg6ZKt^hgphu_rhat=6qx6GLkQvK@*-pY&E*TG*V%*-%5SxIp!xuu$#Q|w9u$|3zJb|iy+PILHA zn;jlwG$5QcNR^seyp;qC4&|j8{h%iT6*WH-RD!&e+X@lGxSdrS%m+VJm=rK4>^E0! zS8jTz9dZ&ve)VZ&X|RZ!!~%@aRV$zu;@zX+2#z@4T}9|}&t%lo`!4mdi4ZJ;8Wmbr<*!cCnD*L7QN#C27dNtWA)wHO(Xn z+BC2A3&Olk*IHx!)648Ub|M~PPOHu?nK}6tk74E<&qd{?a3hWl`(;WRZf1kZw(g$o zbqq_#FQ`K_efh7nvIfH?n|=(dN#z=`iHRh9-&9lKFA7T#iy4rpkd__Ob%*rRR7m%! z@rz*F-odT*MA_G;Bg8%|OihP|(w|zr+^m-(C}-9!DZL!J*Oxo!7S-4J1wNkX&`TAT zdi(J->duFH>oBYPLf-A~{;98Sd#9~(Tx8bNJ~Xe^#78!uuhT%`T2T@lMy6z3y+F45 z*QK}cZL5$iryc88f1P^N_v7Lg1egf}c=!R1UBj+oMzlxnO2sGJ`Q>5gkb@o`PZG*D zoDUC{G2}|S1d6$E`3?9u9=Mbh^01|imw0=%mr&Qb1m{ok?SshV?GG;OQ0yIMju_2w z+&=tpfn4-CITb5k=-cwX#@H})zH+BEp@oWS8T5B!>T#2L@VwBQOZ_W;1-+IGpt~zBFJ#;J>Z%#?S&*qHbD@4V0Gi@>CJItfrgY_tgf`&>8hX_sWLc&8e+x z*_(>TvnE@z)`KZhF4!AVwJxYgDMvS^h6vQ(M!4xHnperO-$hs6+kHz4D-&go@)^a@ zy4O++TPf;a3{;p_w69rZ>lgg?lCTW41(s^J>HDI>-G`DR_314ugHs>2(^=o~$>}_? z<(=-;&))Nf+Edcka&bA+SH*?Y^5r>^qhnE?QPv>y0L5>=+m{>Z!98rAHa|3Wsct!m zq3IjKpbPz|&u0#4-OgXJi96yvYgxRb>XHt%2JQzXjtfIkIbNEyS66p2Pf^kc5?3mK( zu86QDUnp@Xc0xTCHjaq8u!UHX*($BM!iK$~(DxG8r?B~=y3IVgIn@-=Zh9aiglCo6 z<|jNovxJa20#l{uz81$1GDlce*>3J?ylSeY>;i<|7|igA^XWFI+pQ(n&D@PP27zYj zVcijyqU9HFIuY-gd8 z@*%PZ>+cS@-L%RPVoDprb=kqn2kEr_ a3-}p~*TC5l0erM7Y7iBmhzQ&S0sKG23g#IA delta 34808 zcmXth;A1lLSH|vig#4d0|15Lb7n-?C7;)gP6TB^LY8{-_;X%yU-3c2P2JUPw(!^ zrjCN4HkTeuZdjjOzFN-G|NeL&)c290g4Sk{iXQ;sxxnG4ZUwB$h7CGy>(Q6>IY(SQ z53?uQfXBX;WJ0b*!+#?aytL+_kt(4zf)7d}8+Q8Gj;4sMC6P|7+4v)$#0(XZB1>G8 z4LA|qUFs-w+260YqAZdlVa|mUR<=yDWm6ZS6MWnDKsEx zDT>x#Xn*Zf9s{(Q$jES~&zoWk?C%+bAzb=HAbK|->M@{1vDgN|o1+QfyMti-m~g4y zDaLspSxvU9OJ9Qq^SLIIs$?65)ko39V4lqPZd1qW*%rJkoDy-xvoxT?$*SW0b~wlD z{e+WBPS}+fErx0nbv2`7#|e;&h1y+qgAjOdrgahEeF4&swTfaQf(j=t6?w?j!3m3t z`=vBE?gQ_V5)!B(@?kK=4ynu_$`z6@`lYG_Rr3B^YpivD!j$YX)xC{}*1pz?u%y9J zRAn1f6&jOd8&$Xe{9!P&oC=g|i~PPfTimoWS-)#y(GURW((AV(UNN4))S+JEaAIFD;K*1QD}C0ylhDoQqzD}UTJZ*L|Bka4(M+gMq%Oi)~4y|=xzbd6;*y)-l5IheQ$`m7@y zHAsa6Lr?xGcH~wr_`dP$B(X$nYzxE;ndiDT_yH~>E5S#dNtKnSa#uQOOHSm0?p|Jv z(VzcbBd$iFeqP-~?6o70q9Z#ah5J~MEqr_A=#({48I&VTc*0Aks2aXe9~l6)?rv>n zeG%lmsrbj|5b1Qwk&9VUE*iGE$R2zayrqD!O*VY|C)r8@B^=1=U$XMuuXD`hnqWFB z69L;&MZqy0o9^)Dcyx&e_iTxYfw@ziNzl7fj8D^i4~BIZdx#A+m zBSS(?X;DT9OFt?5a7ufaK8>9^_9W|@SOELRm|5v_*nae069mx8%c-&;F_e7l5>KdS zE?CYX{<&FCJs-A;NdK!-sfJ~K;Z1vN&{6PCtU%vfB`-J*hPX?zszaqXmI5!}9#}_9 z9bbPoXW(hpLkczK+Lf0My4UJ&)9u^^APcITU!_~bVjrcN+nV%(o59m_)6w`o6@Xi6 zAK3V(s2F$PA)8np_Sm zOMXCM3D-GYz`w3JIlwZ|LhD>4kXAlIBHYO@7#RqRw>hJaSJ?)m`?H)V zFkd#1t!SSKqZE%$#KvC};hP&sTNW5bK@b0MHoSD4TU7cwkC%7wkw9>D{jfyJ0Sb#4 zE@TEfqxQD)JtWTY^0siIX;&o9c1F&ZhZ(&U@yFpUh)f6lYTCl=a^0#qNqvs;MXtkuR_BZE%P>^$RQYfQb$QIGUFD-tf?1!{mF= zSiHSo0TRoK- z2O$nCr6r}TGjB}#H0vOoGXT6jfc#1Y+&FTOnBvuP*m}w#0}^5xfzCnn>ax>#8+++y z#cHY}%4|(V>D#wzH|4TIb7gzgq{rU=3KKNFOZ)l6EHP$8E+e~9%1D?~s61*C%7yf7 z0T=qx4{KpYbT29#sqO-^XMK<@RwzSH^_&{53~G=hOUeCa(TXtf2C#KOLMGG#yRHdb z@SfM0jZT!|nzz{Xw?&510KH6LFGKkub{PEH~~<@WG7 zGgThb&r0l4naLr`CGq%|vt_)`Xv zvQvWAE;MmV#XsSPbKQEScZ4LkC}vV0ruxXZ0D%ODS!#%(Iwo%$7E-=CIWbe~Jbt2d zoaX34=Z!x;Q%(ax!}~W~aXBthUdr0LImfiO8UX>aN@lfSo5!WMYO`eHmFF6*?e@m7 z7vtkq21pbl8z6u;0^NMDJ_*??$g~B4JQV?g&ES-H!?0x2?rD(2IwbUYwX4hC>2r5@ z=h~Xik5V5ZpO)jO$S8csXWrEXWck+ijRVWqJ({3Xf&(UZ6Yt&`s~;gzKoO7PK~A&* zW|ib&jbq&jLRlj|;X485iHv%tNg>)!CWGm3@i57z3oz(S{}FY`eo*Vi)MwT7!oF_J zUN!b7UNa&r8`TLMB_`B}U5q1u12-naFe=jFsns!6o||WQrPK{7{YV{Z%>Z7YJK%4( zwVcjqRtRlT(6d>X3nV^(+r*WTcB+9XYGw^Wu-u)U|4txOX2=d7tmQA60on#-Xwwg>gmDY5)@bW3#w+1F~nm7c$$&Kn$g=e=GT{a6h>*0K5-(wN$K=k<34bkNMqkKnZJ9w+Oj49~RDN zfPqS&w!ZA~1*7f3w8GCXwkiI4*QKkbcbwc!ysrE}s17I$9sr-2B1jPx#kX18`rXFy z0qzyOY7PW?Iq+&APSi!4$L*`!dg8@IFe&e$hemN3#G#r;rndb8m`WN>HrW~{0Q>Sf zY>$W;skmrF996X(OKptbvUA%l@sP_U9rCRm2St|R-T(zU!u@8qYpbQwmlIWB!=~~# ziPu|YBP3b)6=37O+ykh;$!z7culNHvbQ1yhcV=COr6to}K!w^6rM$jaQPN!+a2 zdP1D=z*v0m0Pi=DhB>BjS(nJ))|e}EmJ%?Y3Pt~z9nX7IYY<`w_Lyk{MCm)1BLBNL zr|`EBasSZ_<1e2hSlyu_D{>^LnnVnW;Z+)9%2R$8n@P$LVO87~DGDOY1w&$14Qph9 z1L5ok3+lzvl1@zVe5TE*-Xo{eAL?)U?X>PV7vZ!0(3HZ}-Mqw^jOaB(x%pzQZmlo)U|ApyEL(Pe4s3;hy;zGFAp&FVI_p*R8w z+vSX3b558T2CSxW?3Gm$L#^{nePi3My;9;jx{P29NXIW3d*i##{-N@O zh{Cw?z58^=Mo$el@2}CSqG9DO3H}yEsr#EB#Cr#ugiiG~AWR=FJm}L@YbPC!7mF z63)Q$u<*}y71|;M%;BWAQ5QuBLc(VAYN2OW2J9UitNEW^mjq6aPf7TfDHv^=A)(z{ zGiU?9q~p!-r`^xN)CI*^+rFlvD-=L%-ef4FV;oaMvZGCU9g2_^zx`(LhO7yUnf6y* zlj)jFd{Rv&7g!99Q+@BGX8irTI@Bpd3ZNV4w_7}7()VouG~`oBUR6UYS5nLX*~sR9 zeJI)o8tppi-UM`rtTqJtnL9&Z%Q1C2n>w4rSihW_L2$ttlFZ0Qlb$O$YBjayf&Up= zLJuw#7KFQjRvml9-9{#UPs)GFx4fUf5$ppyb^SWK6~XARfZo^{KQ23N3ilp zN%F6de4M9KN{5Bx5s4*}q?bFue#2}u-Nk4Mc+*)s3+~I7wt~cFVvAVMPSnfLtRte=s zthdGhxZKCavY9Rjq7_ir;nUX#kg*lGNRpZRpfYjOy3QhOuw9E-wZ&`+h9J52g4YF= zmS&*s4!N1FPEEX8nuYJIi-Mxe5I9(1@;(2iB?&^*QXxiq0KL2y{+;_xlMxb~Dh>_| zK8gD*J8N|PO*vgpFOa2O-aiUYluI0wLQ?swYjt%;$xXQYl{_QCjvAWr-cGuZSE)4{ zV8*X9eL~T1KD$MxFkl(8_AR_q{M)m~GV63Rd<>N=xH-hU8 z@1i|8G1%fpfEJ#qW*r$qhA9Q`>HQ;xMt&h8@nFZnZs5qk=ghGC&V`v6gC^!w6^{PX zL|)Ew7*1+w>S(yYz%xKUsFjFd(j`-bs);{eK91vtZ>;DwB9{bhN@U$lTB%5pB)g&s zka;)-37R|pLzY$tJVO5zd^Rquf3)T}mufI8%$C0h-Zmc6B@*7xbnGIunZOETD={ zt3_;Q#UaMsqcBTY-ZG?;5RQega=Qq}!Y zQ4SLw2NG7AWMXs=4!I&{9*HOfn9`rmRBB|~-M0QXu>DBZ>LFi57F>C~z7tc*Z8sj& zq&*RQ1ZH&zp8R6NKU_v~mSMbp&!^d`syorDz)*WI9t@jsWxuZ8#0_*mj@}z^(2NwP zn-(@1yV2@Q2%9@+?Hq;`;1UVZx#}(dhCDo5^GK%#mBh?7r0AKKpC_^3kKql{64j$ie}-FAI5jt_~qzczX^PgM0LaclM6J2VoF<|fVO*1JFM zvv%C)-mgyqgfpXOJmjeyu0FKyrSK44e80c?v%jlxzp1CcV_%u-@9rqs4=pJ_rW&rX z7Xi}~Dr@zovbau5-F!{}yS2iLa<)yyWiPWiY`14FPCDv^2<*o3Ls;e>MaaFl15Mp+qHqc*HBWgn~x0u;vAE7or-I82Eg3gY*QVGb5dbyZG|n zpq>r%WvSKCcZyc{No{ia`Nwv5i|nF$EsUe$erheKV#Yb=fG=&T!g9B8up%Ioa8lIn z{$RQzyvxw$uPY}`F=Go_-C)NC;$#qeQZ*KxeMWnEM2+3icmEyef!lQ0ClfU(%kvb%CB+2rZKbjEA% z*J19F3I;#miY74_$@0s?UBh;pLo|>^?9ZMoN0jS)vs_j>V*ABxUp6y6n*n+6+4M(a zm(EUY`6550HMG2&<2*%h`C-5gCxfyo&KMpsRM(y>B#BCDXH(i_@yygm!|GOLh&_2gtvP* z55H(70Sl>sKLPp%mGzKcOr<9w(JbH=3pfS<@AoorFgagF?y2$qx_%R-AKgA?*yB=; zH3REjOt?q5qdGlc__ur=47NFFp<^KKDb~0_t=w@=e5sU0(UpAdQBXU+KUz@(TjaY@ zXLJS=t?K3iMWDWGiO#D2=nrCweP6}Lnbm37odA$VO2|Qj`XhsQGziKgSQc0&4@NA2 zTXtcC+}xJ0xmxOX<5iW5g`Ggmrun3Vp8ojEgad0E<#p3~#q`+}YRg8+wz_v}m8tAa zN^UOSw(~l1gXS48=L2?5wVk0jbB)zFf3MB>st<)KeN`+4!LWoi4t3){lZh%{0g;+K z-9VK|^MD&JG9y%I03Av`zvpE`=vXH}Y(*@XAGkH4IjnDwZb5t{Z|PdJxj7v~V{^=D z0D?T&t%1R8hA?iK+LS>&0$RK1O+s++a`yZKRoC09^VI3Z@q_B1V~MB+Rsv;p_+_Yi zk|BJOc#xwgxr!6`lzvklL%?IQ+9X>=)1rJenH69`ZhcIZ=R&KAS_f?f2|7dcksi}K z3D-V8%hSKwu4Qa)oLrIE+arBldjAXLm5zRp$ZUy<#mPj(L}YJd1;fV&!zgQNXYOJ_ z#KO$P@jnEi>AcB-^dCVO?3O{2v#)J!-`umvGwgTftr%uAaIJ9ev*wH@H;fYmM0XEnBrXoO+zcH*)Re5go!cr=4b(IGf+K z-+-f*OT^c|vr;%wbQxl5E1eBKx+#U%t#X~eHGhA#u(?-Gn50h9W}yBASdVs$&U5fR z{9V9O8cv9k9%6Eh?7d)5AT<>?)QaIM&Ni4iO(zSXA78k&{X`M4^fKKP+<3vhlU`)B z{lxwBoTh3-)#Lr}KQoQlOWMXTE}5-0y9JnoW%PNGgo!FgiYo18-WwvobCAt5`QNDfaAYxDQXH)dMaq zFuQK4t}{$Go2gPvw_75w3#w8FX{UkQ~@S}XDYai zjXILBf_E!U_4K-9HkyQ<9C-?jmrfaGs4_B9PiYR5LE6u*jRaG!eqhpy@=l@93)6hg zkA1H`ZQ#wv;hdK^uz1Y?ro#R&eKDm!q)h2{6Qzl&A7H1hQKVd;m&q_&acM+-gF!ez zG$J9yQ(i)EbTFYU(AvaP?SM@8#e2N5Fj&9UK~LixHk>0=38_Dl!6a}VBylq3`)^pY z;i~79j!WPUOKfpwLW+Te%)e3gh2~(6!Vo#bCi$aBM-I}s&iz`pMliGWrENW?k?*7u z;W>DU;&Jgjc7^H?9gtx6nmz=3qH!sILV`^gY>||-6#Qd`AY6tV=K%BVctWG}Iy_d_ znbm)Y;@&Jf(!rGGn)$X78Dxmy2bKM3Ty7)N#F~K&VCNZd%@{IV4{xJ==s@LD=*>g_ zQaB1?8E6WM;Pny-P7&*x8n4l4ALnY)lYy}iBN!YQt3I_M&Gm{nu(^jt@W&9I@n?E#xy7HDV%kHZ(m@@&zjygOrAPEDvH@TQ~|tgm$1 z#CRg~dx}CvD5u6geAZYtn^D#3fEkM&K3Nby3>#yC9OzVQrn;HDf}5)23ko#& zL?+1ltOP*IV=E7ofhdNz6o0;NI(^q9(x@U|>=`w8Mi*(VPyekEDje7n?@=%~m>inP zS%;O1|4K=_nJgk?MTVLbWIVG~=g!awt?(Ba5nq*DbvfE4*+t-^S`74aX!HM!R z+f**)9!wp+F=CWG1(b%g47P{=g=SnQb2f$GtpR9B1w~Cd@nLk45@Lh~4*HYC=8pRZ zQ7i%KOlz%J*M7ydc4T|-!!B`Zv)H)wR{O2WoFFy+IkZ!Btsd;piiWRwFGtcqev{u? z=KVe2`3_kl?5DTrG@;sKY~@L$JY)9h#v`*`&lm_IM+~l)+A7Bko7)8jq?fWZk&U!! z3M{}+DiY*H8)6I(%z%mvor0rHY8wxhO_0sC-BI5p75{{3gr3b!zb3O3^6A8NF@O&l z=)sw0fj97VnoJs88`K*!kcfxd#i;Eps;wm#GW42=@sY{?gBP7b=PCNY$`?Zut!?YQ2p)ms;Y4tQN&gk7uC7MO& z-w$kG=UDEracE~{X1s9y6^1>!|2k=2GWt_1^Xa%vC$rhaB1%|U&;#tFh+Lzi#CwmM zV7hMinx`H=4+vi;Nq~-I?P~aII&@+|H%D3s=dis(PZcl^V%Bq7$CM?-+k4uq){D62 zzc}1|T{Na$IVRRko#CV*=s=qUKa2s)h#a;l{d#y@pprARieJ)s%+LvbrXf|2*31I} zzbHx`z?0UOodZ91QycQ|Se7qP9`d0GEpZ@=6}zMe3$UjYBiBqpiiR84W=@u_L&0D6 z6hXX!pPqYp7S&e$MEVqAQiS51q~1ABJ^off7vJ5sbEWkW>|8$I)^wxIW4Tu}jk)Qk z;&n!)*r9lO_Fpj<5_9jwDeU17MogIvFl`=T$X-Cz12m%>UwDx z$;rNL2e@jsakn5pH&m;x)a_})KkawLq=7Jv65pB72e+n#U_DP6$Ys`Qmqjf7@*CMX zzO00iYs!|hrfjTEg@*u387^T%wLgQFrP*HU9FfB&2bnPxPC$eHAU)3fh=wKWTVLwu zrX2=j@@SgZQ z%Z>8Lw^i1I`iR~4e#@? z26))at){v)nz-#PK}~<$dl&q%73s+YT19m8=pHSSUL7MK#}G#_L4juY3M zgJ|ezWls}!muG$fBlksY=$5m~cGQ1Y8yIj(kGA>DNa%q56&nFb+*oomb)E}rz_L<4 zH^P-r?xA1ZyrIV1jR=2hL2Mt~9iMZz0idOPrYs{?`<@LrbnYY=ivT?p%8QriSf>dq3PR*|Tcocnu@GZlw=b9uB+Me@Qcw6%%s%2#o z=+?LA&A_tQOWx-JF~U-`+O7RW36)pgx}=jYKAnrJb?jm`>Aj#>kA>c0Wf52UZ%9J} z1I=cZVH^`@7E$(thCu^q?xSIAwG zN0e4nWS|STzLU{r+g&l|z48<$0D!Cgg{zic)dyx4{*pB35hP_09?#^+yI=57g z7zWnfJT2!Sjl?Y^5eck|1uR8e6g7Ik>@T%k5!sM!LA0K-CoJ>XR%4q-$vSKh7Ejm& z9M+N+e-a2Z1={0@xx<7!R)Y94y%YE*IP90^X!`oIAb$q7BF)#}B;Rqhqr{<2QLT6CpP7nD?=*Tc4l9b|GP1gvL~Fu`^Pa?a$+=pEHZQ>Mp&M-b!mF^n!Vhj?i3Xy6NL zpzte7j2o|wQ-D&@tl^NeKTC%zh*PV?NQcL!L1$hry<$-GySMvi^y7=R+tv}fdha=K z9lCw&+nq0@#9$}Z0Fvx%AQ|3hxTIHd1Q2du?(%XtehIH&9KAH|&bsy#I^k}&McW80 z;eL1;SX~tTcBEYu@X?Tft@bmA@C%gT)7qS?jMgEpi9*3dpG(0T*H*nfRyxl9sO<4Xd~}sEYYBuErprjrzQ(&Y)-thS%!R26+nqmn zEG#)gQShicb9S>?XB?9}VdOV56Ecce{E#EOc~uTZZ#9Ub_n-A^-Wjz3{bfQ2a^msv)USEITuU;TUq^8&iFvREs_L5vPtDVNMbEy~YW~$0Kz)g{l)$^ed>ELedeh)|zDjZU1{{lv` z^!P3-7x5i6;VrOoA2HYG=L2fylrF$~M>|=?TtSxXdw$VZ+urWVGv9$-!C?`X;3&{e zHTJVWZrRBfK9!6$)JDkdPwGMhvBe*yFh@clfEkxZ1*$k6e{awdmJ37${+<@h6_#K#!K)FXKiqu3F?f8zNHFnUpbNN8vGvfa-(=UU|%7j|9rc@n6!+&`rQ zuip*)QB12+#@R0k{GzW<>BKkw{CY0>ll)Tm;#x*JjDno2w3_Y-JlLZ(9Ml=RTeh%Z25JbU!y6;a{U|+o4?gzej>-zw76Sr+t zyPfEcoy${l(1AUbR3qCwJJL4ib=eCpZR#3Fe7g7q%E%E2_U^9njm$ik9{9`v;H;jr-~*F| z@T1_xA*UnL;!zIj4OGU~|>P`)^*AZv6{ z%cyl2ZkfGgf85(En7cb0Lp3*Y@0u!DyWJ$Y#M=4KlWP9gN+eP3n@Fqci@FY!-payW zuP|dsssbpqL>lCmFyRpZ-9n3jD9abJ*wA~qzEY3^tpQ_EJ!+Bg`9Y5);>{&34K@84 zCoVQPb$UkYr)@Y;_5nrq*j0L1JL^2Uj&428R?Q^5I_rtdDl7!m%izL-;&*RG=fenH z3p4tbj$!;^k4vmvyX^$VF&|Lc2r@27=4vW(P<4q2%C8U&m{K}mkgGaN^kh%T?$SQh zRi#B>cn73BF7UL{;UQhbYfj_+m(73DT-QU$e8Wkx6)7f}$WvayC|JK%`UtKHi4t05 zbrw1R+_8sKa6ON+sm0b%h1wFy7)BBt!?UBC)Kdek9jQ(RzCr-XWZzW9Z8J(0(hk9O zm<^KsuyfyDD2o8V-_Xyd?w;ZTE>?1(U<<%ba0kz82@;vzgt<~SCak+?Wkd;{2679% zv#pkDox+UUP^1pIVUH)E*4SBgQ*FfEx2ku&avnO6OSA`>_x0`6KQUjnbPG)zQpU)4 zOcp)^*7b95GEMVi^eu~Uk5iI0-K{s{lbMz8X>3~D*T4cytjfTiEtasg1}>NcK6M7X z(K(S!t-2UQ$#Ir}jcn!l>o1i1r~O{hl=%;-j#f=^B9;eRsqLL;BE7`NVV0inDax)D z^vHUog()*1lA`-!YM_rcwjqsp7oKRos z=1#bwgKz=73N6p^QVOfu>aeb3rX8z1Clve=$E5j@fAT%Ai@u|)i@m5+Qm9K*4xs|u zdFc>VcG4td-?03PIu-0lApWCKko*ybVT79HP;@T4o!g+Hl!?_1mqJ}CL2K0uA9H3} zuX0%K0B-NqME6l8!p*Nsl^P0cJqe$Jf=8_=*}n}KX$01^)VRRbVIz)yvzR=&TUq<3 z)1Mo#2NK#uk23n2V2_Y>`-Sp3UMUp9EGCXVCIKK?N#?gsb=Yc6yO*cvlL7GL6cf-N zjUi{!>$B=*pKq6&B@giMZ67$qY$WgOx zMI(n}&e?!!{$pFV`QuS)qswS8tQ;0B=cMq5 zO;p=9<#XT`UB;a*LX>*RD%IU!(f1EI=$rA38=}39us>U`11qFc2^XO@6Y)Quw8ae{ ztKCdQ{A}Qiry1yp(O&5>9*sCNAI@;6_esYvr+hmA z*D{vBjt_oe7z+jW4be21^3MZpF8w~biMhpxVJqprSIB&#EE?78WF%%G0uxo=P}Jnn zUrgvWUNF#-PQRi^iQFadoAkGu#AxXZjega*8{S;kGc1MqIRh>B*0lui+FKV#vO@rQ(=E z5i-TYRc4V{Qb(TZV2MW&lu>h-Tv3Z_O*ikaru!S>_D356EdTS4|7!@LCT=cFCg%5| zHnuNv0RywAI%)xqfAD1cd8|5Mcd z=OMKcTLaTe|F5dmxEVMO^8d@Ax`DY7|G!Lq3Rs>GnDu{pv_pYNOa1Sytysz+-;Dp; zAeANn1QC>-?`Yu6Y;4TTss2;IQ~(cWkE87dJDbh(wU%qysPOfATS`=8qs=r~ zoBv`!D~Jzb+uTJZd34fCY$w zDR|x8-Cds&(9jh=UpCz|y$;aQ1x*HIoaq6~EzXpx_rQ0Xj5l1{WOogC0Z3WX4_ zIT3u{)DE=4V=Q>z(9X=#L+wHq09&wKGz(Z9$Q&{+{J0c%ZV>G34pS7-0f=W^i-#BB z3-Ol+bSgXQN=IO}ZO%u0*NyeF7uCt3;djgMGu$VEdY!kEE0ar;rwvG; zkS1K_hg1O*mNd23h*#Tp0LZ&>HoN47q6U!s#Q7ri7~X-Uxxo#p<43>%01UH0fXLEk z2^s?uxVbccvO_8xi?iQ*S@IycfTyFgWNrOsW^&nbw*c8Qy%%6#sTa|Bcs6{$ zFD<{`tAG=O^8>ghX5%1Z!|y1|g9q%*tp$Xb^IG5dde%nBI;P)2yNioEg(>*6r&nO5 z-(^;|Tq&&djm>or5LthKnS(6M3qvk3@X{}9GWPGQ=#PHf8$fLD7v1yscj((a`e%~- z=eK+ISDyad%DB+LaAaf*`fjzap6$I?C)$SImhYGM z6tG(j{Ux#T+y8!hCnyrOmJXm9>Ko`EyGLv+ZY(N>oKqcN7#;$E7?_zndU^mhm#=00 zRzmNE=?~Wmoxx&db%c1?(OftZ|mY$do~m|ikA|=b9_Z)eD=Bd<#*{mj__@k` zZ)v~z@vqLW544{UVjlF?L_s&Sewdn;S%(b0+s#~Co4h_E?3-fQAIoknC1IgxpH_g@ z8;3&i{%5S>NQl&qV08{`DMIh7sU@QCv%$KeYbg-pBQ)UOxP=$2A}7^m`x!z&+LH|O z;w)QXckRh>D^U}7Iy-{fNV3|K%uYTO<>q>pK~0VY$k-MP2-6rLe%zO=^5p>&uOg1n zoE5CXEEQ^OE;1XYfdTbfRNZ%if>eSIAAI)BrQDBDPlsdsKqskJ zVd<|MIV_-wRIU;8^PK&207qzB&kK{UoHpY^r`Kq{@5+_k#h#c#2;xl~=_9BA7?ny> z2E!V~%{#hbcl6b7N;a-bin20i{``e~FW;9Nd|o0UJcIsFXXJ2&N@4Mgwo{BX_lTx> z0>_Y|>!Pr%(rK|?kYMEX>xw+}KL6|d2J3*()d|r3JnV*|3O#DSn-3%2QnwXbEc34i zu2QbAE`K9PG0&6ys3#{*Acr@+VyP^H89L`jht`0hyh$s(=h>^aaWCN|Q?>t0WL6^g zd6_V-9ON0h$I#2l%(8+SiL>WY0A=%Ph1e?;uYLpw%427eyVr;ysKo34!5!^qfft0r3D>WS58m1`z z#QL=i!MM$XD9&RJ9-;9BOIoo;C{v0Jndk#6Kj|HCM{cL|)k?%@1MEvL-x{9FoDemj z3DsLN(?MFsJR;9g0L1mrL|#sl>)iChX%iqpnFs@FzncxG27@e50fHe|>e~q=`4-+X zLpMgeEpk|Ia_Yl~Zc(IVxm0vr_a#&z*pya@j4GP z>@U?{N!=vAeC%FbtF%k)mki#WA>6>{;n@`Gb2P9@emZ@MBji*1B=fj$?q#@_nS^e3FUe7 zQCn9b;<5itL{@mAztw#i*fg3>&Pq;Fg{sCR=3#Q(%23Z>ZI|dL8)H9Kp zSlbz!Y|+wPn4=Ld76W;tq*=ccvw4Bx?F#n5NaLa&FFC<7Un3a0y$So#6~!H_|8FDh zu2buJ?;`n6kpze21Ff%?9=wB7O@tz5j$M^a+q3i9+{!mWPN%N`1!>$p*)8^kLz#>~ z48uS{F6sT1WxVb|O+5(-uonOoUR(U*Nsa{=H0}A^$LM?|I{&+OloO`(I6dU@A$ioq zqC9at5TtA$EgbcEncAUjPmXD}WW&7E_|R9e>V7?=v`axbpJD{dN<;XkeSZ-?y2GN!do~xuL3|(%jzR2C%`2* z7P;LgpXv#3GfwjvTrFH|kn$lqhI9NuizuwIGkI3?DFa?uccYarEV zM`ORVuMc0V;=p#c8W3gOQ^bWTT-v^16TiL|`~wZjO2eYH`P(=4A2>;#7d;`hrD-1g z#b4)S1y|S8d&ks`#srW!@QDaMEojgT9w{D1v&T{GU#Ne1YNok2-V6%LFl4SJ;5t8d zet5WAqxgnqeMfhfjHQYz(TJGf#J}kIfW;#MyNeu}{DjTmdyn4v6y4sj-{sjn;aiNP zaJ$MY7|QGdS8w|kR*Iqe+bCPMzM?sz-kaIXUOG*PY;ID_vDo27KULPa3H!k&?SY@K} zDv^B^s{ka4gice(MYY(oD6Jjc)cLu`%!y^tW25T(*Po=zW3powaQx}PN&q+RaLa~# zlER3Y;BB;&ON87Uir2Y7e3PDnVQM{e-IXM5==}J)ufvz#QOVONV5P&=#JK{U)>AP9 zJ0z!g&KOu|3UZbGPUnYVZ+2kh7Hd+UO0}eAr2weL;Iho-mVunzzt=nrM=E;^F*gmN z)up!^#NL_qoNM*$emu`aPPmD3k*v?2Ur@CO$Tn!Y&gCPATk<-xr`y4F(%inVUI9cd=kRojB^m7L8_FrS1&daVt&5h)xK24QNHt_j_m z$^jO~raKteZjC|7ID{dA$Rp6$1g6l)6var=sBU2o-gXEFJ^XuMO%d?S=>IH2Qaa?>v{CgOa;)r`Zcf!8CvlOZ;w2{(-Q>KQ_9;g~J z$h0pK4nYyKpmFwt`z&Gc-I&dMX?jnj^dsZ!)jmB8A{U3EeHZLx5@T zW&glA7^{pZGMs}3n%fo}uS&(N&feO0_c5hs#=obar%@CB`KQx~Hc3uX{^-`rc)zx0 zT5vCss%6Mpak;jp&^EKzJk`guQRNN1=T^(u!qT?rJILzjb6~9rFn@S3s!0)gmC+_lBTM7UjD@ zz2?S38PLO55B%3#HKz{$s3VGfx1gz06p>U-}hQ1{IPL7ec$Ze)dTAUN>v2ZV@u>AEe95*-c}^``Q6;+BA@Z@JMoXs-vu= z**0z89n?CDGq7Wod~X!Ifu*a2=IQbaSk1b8{_&{95AVTuA1|&NNV4N-2Q@+nheI%E z5d7%+qW68<@Lk!;OAoXZiFtF%l6mES2>f$HK<$V*RJ+#+pq_mn*keB?xzkG0o|V>W zPBu3vJDYcvRmeQozQgI;k@_p6#`^&Y zRkldWdA|+#lA+NQIVvauvAK;$I4A)DPhCRH$LY1fzMn{O7Obg3e)q#IdG<1Y=!3+o z19LXBTBM@XbzkM!|C$bCE7$Wy$wZP@QVlag#oA5XcNO8GRXnOX7$ggZC~SMftDfkc z4b!P8_a=@u^GiXxK3hgnPuP(iFW zrVO-PBmRdMVl{&seInLT=kzxy&8u`5?+0Pwe5N5c_jGdg3|el!`Myhk)61g9gmN3- z!`4U$UPvMrqd+b3#BrQk1rBCAJcftblfh*lRKgkaeAy5*NgIoS+adQqI_6r6Re+kb z(~|GjbGu95ZGLCg5rGXrxQ+|t5vK9;{v6!9eP7m~9cS1~Epo!nGT%8*k6>8-?h&z- zYxz=Dk3x|*S*rqRAoq)Z%d8+qrW7T_GaLloft)ZEH*@5e&bW072ixr1MfSlm*~`4v z$2MG9S?(r|kYLNV^OQ^tJojb!Kdl|bD;jr}bmw6;Hv~O$`DrB)sqZ21Pi4E#CE@W; zC5u=PYHBMJlI8cZauu*H+9EkRFc++S@g*V6-L1xa0)AS_$WobqqV?b`mnU*s>+!80 z_x|G~859~=xhHWi^;27dgd3^Uk}EoR-QW2KvChGAxVUb@XN3Qh#QowprP;1%S|Cme z_nxRbvs3J^+U8^5(r@Pu-7v8W!xlz_#HU&@Q>wkyS=1WMF$Qy6c`_*}Z|GL0#^HU; zpnB*2@q+Xt$)O$JLgkcFBa)XJu&hIdKr`G=l~J9;A#M0?ziEY z+66FIFsXKmYbnr}(N!j_37iMRe!*mh&ESt(t6s(xNbeY2xwJG*bwF>-E?h-QvMJDx zT<-qe(|fiSL2*K$?}ub#aNPlp{H&4$N-44K@#@h|;y!7A&V`PZywg4 z{2%8@E9s?i_{<6uaMCYJTgO7#AyprsG)WFw!tK*x14wRyoNu0a^hj`s1n<^v&P2yK zSy_Th9M2k|9U;*!_~N&?>u&U+nairOt}-tME!tohw~j#(fZ}$l=L)QYqA)v_yJ^Ci zMO{LrrNkD0rw@)~vAJDDCYeB`h*oU2XuCb)4r_|-7+ts-&SUa@_~V;Z(KCeSXK!{W=`YficC@VAyZW zUoIt$&17nY(C0jaFe3n9D8YtokvSUUAR4=m@y%~WNdhZX$1e+#WM*aw` zLhYn_1fh~hCD}e&=<4m+)BPf4mDnje>AOb?5pq~Zi-zS}zK|fzs^HI!c}L%%Rq0oM zju)_eAA>E_G*qvpz~=x0@iHu^pmSY_i2{KH185S$w@T10g;@k@rrc1Qh-%O zXCYoz!g^H?Y|_EaJRN`qST28v29#(t8)Z&fj|yANIvxV>I*t)`QDiTuvbfWKC|n4A zAe?4Ayyx#@#*Eh!{Zdm|Ln=8K(h2&$jwr3Or);#qGu zE)Qzw5I!c<X8b|GNtp>2^@N&>R>t`}IQX#^C zduagO)7IB?a@dgEBYocmv+ZXyF!RPwi4k-vOG_!A@{3EIrIQ?+<7!<5f2w2ZR)&}6 z_Xlf)dWig;kIl2fS4~F^Ii1ij*dhY3nE9W!MMG3=r2*zny5PY*+M0!b(+5Wb#T331 z;GAvizY@Tw-PpZbZDW)JAlBx#zGVeUUJypv@o=Z3NHjJ;f?#kR)0aYHiuHB`()Nar zAk`2Iu@wpgFcw!~>Q7JjZe2KW=5)ijHb54IqOKFRB&iv+q})*tH|ePerxIkmuofKf zOP0J&;!q3bGLXU+4T?U0ZIrRVz8tq334-Ogi=;5mRH>y~{xI=_SmA-iqdFq5SH(t@ zoUdaa)xHsBe2}BFMJhGBk$kfN@m)_>8l^W8)x#ebs3Eq-bFUTfc7$Ep1%FPf0%<9U zRJN~c535 zBi~4O>`g`OQit^0ySJbHhuJw%i=*hfOdnDr8fg_-8o_*Xo#$SXe2kuMSkKlr4a!f% zW@z8oXRr-z?YCTi>;nOfuMgL$oV>LUa&l5KwId{sq;c?wGm_A_<>NY#13^FIhyT|y6+RQ2FcBriNo@o(*#sheQ6%~z}9B|DGvY~z?=nEKY)b;(L&aIst2fGoK9*~N6| z_j51Vr1-E=iB8_Rj3q%kk=FA#z|um4c`a)Sj*ry_IhR3y72@H?<~{sA%<)sgyw&cK zgF^G6{zez_(_?6{<+-ey*ocP*_qy_rFQ?OzmCKaUK_Mybfx(B%V2!!WX5umo_K3m? zI-~FE1@ISaz^Q?RAvEOnL1j}j#z*2J&cuLUtT;FpOu*cl3pGzj64JB$N4*uLk;ta( z)k)`X&8V+`!BTTpmm@r^;TsEQs3Zb+MNAPSx=H#VSNwNp*+EWf7NaebIImI&wTcvh z4GUtq5O&ma$m06k&BY#%&+T8icOxDy9HSKDlg>i4Viq)2zTfuLt4ArrFQ!MunMMI8 zL!o?m9X5fspT8M2CS{nT*85nxsk^z1Cnld*9A|2O5Zn>h)l^7bwm7wal+k&4G}$h( z8?mS=g|5iJ?n@i{llyo7URQsRVH1pKIl-8NI2|COIyv*8ieoo(mZzCLp_>mY28&6( zf12LS@4pC_A%bJJYJ)~lu?5#HUG=I_wfS|RE+s;VNh;p%uFn^>$8*7LagCO>H0iY> zH{7Owb6EzUJqW^~J1*Vt3@d7boI4C{{my4#2=lHi<0q*^f?+*btVgssbR1`WBryy% zP!D~m>;K@0+{P||HSP`hQB2TTz+~si&vNE>q@z~}A2Mgaz;|zv{Pjhfm0)aYf$x)O#>$>pKe`H&Pgw{>Fl&lh9Rg;A^TnIV3v_B2PVVqs9Od zIQZQZm%dl9m`S^2$vgl4%Vs^(c=ne#%o!1T3VP(m9ooK6XtxINR}?#)5Vqb5-3{e4_rc1@2*xRB+3hDg1a*K zX@6Aq#nune%3(F3GRSTxdC4MYJW-hXW20hQl=-Eh1yZu}K+oN>n5+Pw0vXAFGa6!v zv;T{PxkJkM$4UZZI000zTKZ0l^XkM|zTMcwCSWA@M;R23J5nS1HhTZUrp>Xy1?_2!`kV`Q-Kj8eWgjQ?vS6Q z2s!9aq&#Z*zLY&1cq^qpk~l1)?cBdDdkjBNkwjCnT%F-3gDV2}xsMmo76gedM2c_^%rN1(%et9Y3 zDJG4LqPlA+f$L?WnAh>0tFZvBphM8C5{KP-W{_jj*Xd@TuRKc}q(7 zb=EUBHFtzE9qwSQpo&0<6ct6@#uLBt3NP}_bAhh0_WdZSlpDC zE9E-RA!IR46Z2YM$R_$_|JFWhnF4cjAw zo-z&U$a`zs>kT3uQXgI>>{$1>$9-)cIUJV?DlueUq8V7fJ=wmXjU+FmubxI&49aUk zRa-RS&XUs($GhTxM9jL7_u4viLM(QrF$B>v(6}ZOX~Pn{vEb;I+_F8Q-sj^w4>1B)klaG0=)P^gB|8UQ)NSPL@zL->Y&9FNatp6DmhQPX$(GCOHt zKDG~McKCo;-*bv1H`69zDAZ-~<17NgfBa{PCNdY$Q5B}i(i^c{Q7bE}vjO2LqT$Z9 z$zA}X5VS?eFpLi{%w( zqUS?M7Ar=7m!hsvh0V|b>gvbwrG)lZI&26T<@iBn?O0EyRIhe~i_RkEB(XMHl|*Ef zAS4LCEZffGB8FqW57N|UOl=B z!VtVhjCMmc?2|Oki4Qh`Zu4q%3Fu^#NA0dC#~uiO(5et9>ARwbZ}Rpjq@{|4gwOsH zXH0aXL26Xe^ADZg?X1=Yq-p>`O7``7bx6g7RCP(y0|JUDWN6_$k4}n~5s|j2@s0Ax z&gz|C;9qR5S8I2Z+@_N5z7}Q;f)d3PNF`3!3G=*2nD49yv%)IgraU1f9|z7J9xuNi zUR8d7>t<4UJA4od_9fP(MlSn8MVg(i?GC~0xs*_1AQ2=9?`F2T4yfEY8I$GFj5@Ey z3`BIU#I~r-xaW@|T!125J!fw!!g~kpIhDlfda}baK7wCA+PZ)rc}Rn)8(w9zDP=!1 z_@A2 zv^Br%>rSZg5|cCvztY#|L;u2&?h-(MsB#c50)-;61YiBbFQvI5vMem>JumUNYUV49 zQz+e?!6=)Bt5he0yoW&vHA``2L(JKryMnzZk7+U6xrkoGtgj(2+Ni#V%F~uH^+N0O z933BzQ4mL@0BXDkzlVOsY)u}ylu98h!JE9ivl#bntqk9Ow0I53%IFz?Fp0f?bi4m< zh2~5_KEfzNq`4EDCCuLdGAzI-Wv>Gna#29uC4zOA{5$ydF!dS(XOFC}-(+t-{cha_ zb$xFZi80q4L`v7uKBYxz@xus1(JDuI96vIwP$_8n?fZnP+RQiR_j!8eR_*+D@uto( zK1Tbmzx23rQ~4HuH?9~d{*iKj*qsrf|H?C?k1pAMoP@xXx!<|UC`Q_&5{l~7$aWEk zdj~acKuOlU`d|oZ;jVX=LksPIhoXsS@@ikh?`rH0z_2mDq%5?LcuE!$!4yBRABT;Z z8EQ)^X;3Rw!h=aH;&i+9umzbQ8~RoLt<^~(mDj8R%+cq)Tq=E0gyRN(Q(r(aQIr4W zV(!e;_-d5Mm}s^{&unWAkQVO!OX5&S{52JunTzSS(w^WeF;KJsND9CT9tMOFjL`^?Btm))t-8 zYjlL;d{~M(h4&4rC!I?uPmT9%!Lij%(+y~$d05q#`X#`j1(l+BB84zA89T@Pll@Q{ z_nkltCkPY!06j2vC+M>QLunmrEt4~m#pGI^i?l)ZlQMnDNK971m$?pZw_{T$jFA~r(6Dy$5vi>w}RMkjSE8P3L z7q}}*yJo&vu=^P$eX}9E$W=C#`QS8FMf0qJ|a@C!4w?77enZO!fA)-rD^27!*nCMJzZJU;ZK&KU=O3{xIHh*x&>PTX5E7~*Z}1)~dI7f=6r%Yvu= zS~dr)p0^l(a=u%*50ZwnghnvF(uolq+wr(;tR2#7BgrhfbFj<`^H@7i5hACeHFLj3 zaxHs$vmqLPK7f-{yOO(Pya~*^-V2qZPDD=LR*$|bu>!mxGPo?t-@@G|Ori`5P%%!N z6KEGrRtEfRs!m(_-}mQ^%Dv>3G+vFBvdrU{?vXxZfb>on*Y_Bh0gs zrgwo;aJF?F>9DuM+wy1WSIcL^C4T&N>Fb9t~ff z-{npl0z*nmob*zq<_|SmyV+LsZEq?zhb9)bTbOzq?N6(;r_4l5UerPL^$UzNFGNXy zNFX3Yax|~nf92V+l?3z*k=aHp%d%X?Sc8aLq5K9du(zu}E>q0zff=LsLcPtcjy?@R zmY!J}!bZsyooy~-E<^W1ICW6I@{ z50do=3avG?0>7oypR}betA_cF$y$Mb1X}IYDvrx)F4-6`^96k`B)WXHmt9zJgtL7y zM%@2)kRRP3An;fkegllApx$2vG{~@sR|Ztf4OI{`c#BC&^usglG)>ytLDXurc8N^f zg!%G(Me>sFEv-spQqxce5-QRqh1lAcg)cM_{GC(9j>j6YM2^M>NriIoIRuq|ja@2+ zY(LWFcDU5k7y(A-GAkp}FUi)GiaoIc{)iCyK7crMwC_Xvd_py|#_(A> z+aS|4M|o4e1C78D#lQm zs_!|N;yWtk^p~9nR5K_wb@OoTIN(h{Fc4ljiW1sKWe+C=1QAyq_C!b@JlO652X_Eq z)1b$AfQ=TOsmX`z#emQ6Oh4Vyz2)WC2C&zcm5T`RIIhT?vXZ_No{L(4y4RZslG49< z2n~nr-^}MUdhBeW3LhfZ>)p+7kI{kcS_dy1(c#*tLEQf;XFL$=s#6g{{QVAR0ndM& zH7&}6sCA-Pz>3P-c)4^DLaM5u#?4J{-J4EW(V{hRrmFSYl@*cN6Wu8wUtND} ztbixu3JPKcx@FL35(;ETx^HHB`t0jA4OCffH*6CgC)qdrsRt?dyH`ZvXJ6K#=^V6qp=t13Vh4l@R)D&ri1Awg+cbRX6EcB%~}0@-2b@3 z6&H@hJx1|;i=Pw%^kdV;(#h{+&Mq+ZE~cQ_4f zupVSO$VR|HTJEr=N7QH-zR>SO)t7vaz(DNQGeXzSZM$-{8H5QELZ4Wl!3g`~nfLo& zzeqFHmQWFYPKot+m+70=8HeZxPne-FY8TM}=&nAt;%e;MZB@#_M&CTw9tv0#eW#0f zaWnbZRL8H}GmSx*L$%3>&*gYvto4%J<4}vzxGh%4o7>31teqKBQ2t&2@1F8=9A;QP$hWxyjaj;e^Qh?9cB@!L?(y>q2% zz_IUtHNeu(q%ecZ-x^lkZ_hlw9jWsJOHJ=BJ3!LMpTv!nyTz^_`y<|;qJPF4Cpn_W zjPr%^+&XDnyYQ>tc7`1=n+)&hB^Z}nGxMn$33YC zHOZFD4~AX`NEPZaozbuIPGl3_xbDX{CJeh>&(PfS1TKzad{Z%8yk}xOUjR#uard%< z0oS@1ED)JHO39URy2VJYOlR3XggRTK5`v;}>ZN?jzc$g8y6`Px#{-(Fo4uf~Qc|UV zGGWz9Q%BLZYrYAK7aqyAo%&E>(6>)C=(2cYm>MEAhL!nV->>F3;QX3jg+SW?wU0*- z#p!h+GH!+{W;9gocXb^?q=4vGiC>O-64Orv3rZPTO3l_B%Z3|mj3^$sKDr?!%Q~0G zYnK!ckAWLmG}uH5KtNx$LmFQL2rB%4LTSAdv>tcm=)2sSn78=yZ7L9M8s%5C`Ohz^ zRLEw!{3y!ulRFdqfEuB+#_AmxcmZ7UsN^sMLIpVI`gmM&~tzD+Gupw75SE=invWV3J04*e-vv=*A?G$Mw+Y-hOLL-se_zm2*Ch{jrLLJLx1FT_g4=ha{ubgH;30}2?0ZWW z!*zS^wA0dvzgQ8CIcs#ypwChp$D+PBDqb%1UR{GaE)tDyZhh?L#y6|4v#W#36)qWT z4z`izRZ7}}+N4yiphFCMjVZh9|3nqq>-4kplAW}UyD~d{-WvwhFRv(n6|(AEM_O)q z2tSQC`B!nJhE}YKmH7wq^Rr_PPb`5TpCqWJf?(A`VLUK60quEOGqRlNc6s8F3gKef z$4-XCeokFc5oCXIfW<*qT70bkQ|OAi7xxET$LkwViLub(W9}Hg6bl<^$|^E^jDd`l~D-oNZOVD;^LA504?H({45urp7OtN~ICvG?XwaU~f%PST>> zsmAw;C8p6L=+aB?M{dRVr24*z{jdZ*MQG9;6|>cgFMEZ`XtbrDI6*^-m`P0tq}Q8! zaaJhaLu&04y66ah7XicD5S>7#zq?+5vYcUeKhdwqM4z?QZ%{WaNmVtq;+RJBhbyeGexut| zbAQgz&a#fdHP_F=p@_GLx*vj-U{&`EcHj2x$vN_U+VnVo6c1i4!9mvzd5LV3a;N3H z%K&bj$&!-r7|Sd}tmFbVL0JJf`ylRh?`&2|Iq?(zTxFQlq8gq27D!8O+mj2wc#wKb z4ri_iin7P4#!lJ*rCCtY;{hA8U#vZXk^J7yFU@N`+F?`5vD*7wuB=%usi;Q2Nf_v8uq6J53;2KzTIHc>hh+5Fkn!l=Qm=i23K!bv{d(#!`& z>`j&BGlmqnyV}0eeSJ+c57+@b&8rSskE>S^Wc`VMKb*fTZ=9{vJwis9ae1tJM}HNB zh*ql!1YbPDtK@@KpnKBBS6oe6!!Qsm0l-3%LUR}U{In#|=Y9eHW*M4_|Ha+-9~IqHPLY}4A*-e9)?el)*HlhO=jgyhQ~g9K|$ z|CoFUWA(+yJfYcZm*ea(u-LuRCjX5Nz7~RyTt_nVOC6>KtAe?i_VB%PGT8FPcu>7n z-iGeYM>JFYuxrE@gH0|6)YJm9oXC#ukSI=nT>tWq5<7Q6@Ue_CCz{D!HorB0z2un- z_5AT~`=~hzW$*28bmj@zwR){uj@$|`?`oAp{iCHc1ZJLSkB}VZaN`q5T!Mm9*HMzn z@+X&?ss-fB?2xRz$HM17-P{{g)fki*ek-%v;+2{uC5#48$Qdbqk|E z%8~5=>I_)ew>x72kW9zpD+z&3UZpgDpR#tzVUk#DC?^DCTquoM7y53-Mhu-yV!Op- z$@o5tFzX#GdDLKK*nYY92#D!{*Y8S!yu4NT4O*+ijnxW!3?~Q?hL5{HCIc#TDi&tR zx_Z5#=&(e^$sFhYpq@E2AGr#?69!FlRmnV!G(|*M3pFt_6_I`~yy~Yy_0Ma6F-|m( z)Q`g&huKtL{ay?*2u}z+9w4|X!iZdEvmyKN{}Cw4SWZ+^S6TJ}CTg;L)8H9IM0}3Cvu{eP`dusQyf5awW=ygqyHHtx z@|xvgBm9Cgv&J02%K)mvN@9umv1*n6?vNK~qYmP#`nube(>#>gERM!t78E*H1` z9s>5xKI#aV(776R5^0rEXED!0H%Q|3^RfAfcQ;}1ZR zWRUgTX0f`+s-fhmg}{v}=d_ny>5=)#^E$jJ2tG-K-@>deRS!oXY+T0@txxfUp<><7 zsRj^WY_F@RZo=KQEexW6cU#Bc#_#L9>m!l`sqpv(!^a8I3R&uCD_wg(d8m>&!1Wre zILOzc^FiF=Nd03j@viURM|SYgefVI~wCh(9w`$L$1tLb$z}sz|S@aV6#UlklcD2fI za%rPnW$l77@w*c{h0S0JU4%phJ7L6We9G~?d!J7) z)cw%(Co9|ZX@0dr)R%31dvRE6(6BzSD3S2;3ty2DD`Ei-v=~d7OKz-+cqe#Cib7d> z;Qst+03fyN@F^uW4@|{iTq5<^6>@Kg`l2X`&igDY7$cWCdVF~CHPSb&A^s)!z({Mo zfzvqBx|+pFhLTZ#{0HHoj{aMRW;%^O$d;Stqma^td%9tUK?V7ff>o@3(Vebg7&Otb zmUxP(AZ?Iu1*%jnf4d7c-9UA+mwUxg8^P!boTjE2605IXK>jbXo^>$d`kEiFMMR}C zOugcP_$XdyW3pBjOUWEubZp2ym)kwnVuDQ0CJQ>2JqyA)yjR%QjZR4X==RHQn__5T zOVyJJ5>T~dt=iiB)|-@yp2UstMBhdrNNx6H%>zykv@I5CrxhbIp>HwrII zWo~D5XdpB)HZha&Q7M01>vPmNw*Q{L!XI~wie)`5S4~ZA5(vX?fRJQnfE0Dh={Sk+ z^lQ4^4D4UOzaz_T+1;Hugq>UW-UTe{addQa-m=|rlSN6yQy%d|;Eqcf+-1Zw>Q|AF z3U?ieG{xOSQUDfpX*BLOQb~q;7AdXvxJ@FJrIAh|tpH|hq%D8Itc+3%w5VHaaTif0 zu@u!4O%)8%Vs23hj2d;R;#2@X7l1DIpj zU_Ftbk|uIba5R51MR-Jntq`yR*8~t^f+W5P4nFDxLm~kqC1!xD(ts~QU{)$Xi;$?K zSXp4Y<#NwplGUI>08Qp*qsJ`;+GJ*Fg%kpjga#532D8BqC9!Q_Qi}E{ATy1OtXqP9}R z$4DDu9~!7&d8n68HAq!yWVCWDj#7~k(=*_Q3(}WU+t6_H82L6kD0D#^X=BVAI6Grm2h# zba)VKlEw{Yw8iscW zY=c&42)j!{1nn8m7U%PPRKNh;l+(Pbip3OW>6$OTR4>n~yeeR>)Un5op>WX;KSb=9 zlRtllDm%bqs9(l?9eS4~zRtPV ziO-KCc2Rt(qIT2UEyAh|i?HH}7GdQei+CbyLuQ6-{$@^Oo191=#fePT;0M#`3>Yt6 zGS){AXud& z7{v#{a?UsW%M%qPw6u=WbgZspS(FZGF~A-vxKUVoisEHvL-8{8Es7U#Hq*nU8^V7! z!Ncm962Bp^TAP?spCPbHq_Ie{L9oc>;tUDN5Lo!E*a-1wxR<`(bX29IL>&(w=*gxI zb@Yp};Dmoa7mq}|uV0i-KS{qRuOF&k9oPqwo^7zkW^sZ*J_J@P9cw#`1_`fZ5;+J~ zP}Y;)4~k4Wrr3#WH0C|v|A{Q3t7CtG9`&<`j{0>yA5IZuuHVhq3BD0z=}`5gAWJ7f zB8d)y^_YJ-h`7~T&sv&0Lgh~+rp~}X_N~c@HZ}Iyougcl9AAg@l3C_~7hUQU* zZ|T4)ViLR2GR6`5fjmHbM>?d%2}8GZVEqgS(P4DR??;D(BS3*gq?H?>zwt~fq}}9%c?>7S#_3)(nmx9hPEcu@ z#@3g}2;wZ#N#ffz91@mT`I){yoay?t*0J&M;YvIqWc{T?8Z;*Yelf-qP4g6H)4Me#lPc%Q7DbmLgY(M zw&cr{OlPyy7FoP6!+z|P`khT`XQjT(Qkvz;R2s5jS8Cx#>oUL@mZ2o*;)!z${+4E( zEZ>#kEXwq=Eu~F}w#||YN2tG9=VyG0M42w{yY4Nm^J7Cw5ASieYq%Bb(mGyp?i!x$ zj-u(ID{+4lYCl?|sIl%UxvF_vbD_K3J-2MjEHY=0ZnLMOOQ8+~WysfhZolwo z!&?|W>XP2~1{Vb+2P1;;vkpA#+K{s2@rF+ufV2)@TYH=JdhFPQh3#e@WL0H-&)H!zxFl~~Vd>ICEFVjOz_Lk#dW_kJku zhShKVYeawIzDpo{oKhJseH@gX3vO2sdmWL@-33?LG+%Fq5P(>)MeMdW%Etmm>OeVN zTIigTXy**i*VZ_~bwjt~^_GH4QY(n-HIkgOO-P|MsZwf5aR^Qtm)vrK@cJ$^4k^Zu z`#v|U$rO`aP(grm8rKNHD1V+xYzFbQrF+$KRL`a;+?;r5AU zn`9H5PsAI(IKEl>Hb}H|g$ZtR5BJt&PfdTA6t6u&)=8fGS(#hY;nLnv`pL7~na#H3 z&P{(xtW-yY?Y4aGY`xgS)R{w+~JtlQ- zgx5yXW0nrMI4gH;mV$+l<$Jsn~x|GAQ1rw&gl~O4-TbZI5+sFioBua0y3y zQNWeShA(YInR-iU;sn)cthLJ2uHhR08sKRjx3x$^^VODjBd#{J`TBd<-_G%M>+8*U zJI7m0GuAg>NnbhBC&n2aJd%FI?H{H#%-1zKF}H#2+izVNZonciU?kkK8B2q{#(;m* zq-(&mS(S7RSZ{d%&w?gU7qyGxOMSnq%K7!|k14@-dmQ|_ zYc=nJtmXj#4IP%Zx9iqbFfu8x*NtknMnbe)z1Ol0ctHWlc`W<#>zlyoCZUw?Q_-0 zEfqWEHkwT)IlEmHc~vafxL7XPyjYa8YqlKc%e(GY)5mP}{O$S0**k3YY}Za<>3*k4 z_LQBr`f0MA`wWzmg=)#@Gns$!TKIve8R$d` zyt5^0wi+jd*s&|!(YJpj+|>bl&R(#W?1a5#r`X*&d(ZB^&hLt8cbkv$py!7lPT#zE zc3$Pv>wIy2{&jM)eXDe!+^3&^@q~VQmheD)I_Zfo?d;X=*lW1eq_fp>dQ(oz>T7pn zkMfr&EU!DS z*oa-Tf)#bsA!mO#CH{Rb*v)LUV7IJfWj*@e>^C-M6Ek?jZSuWWO z-SZ|&|Gp}g^pz)Duq9g-pNlD+TXdKtomcdR_rtT!oIS9vVRtfSw}kQqdew| ziw|c9r#&T`IAv7hJUq?$(hH?IDVhe^z3Er2778> ztySDBc9;KKBJ+#s2=biXf*S~Ckn5B_S-ccAVF-WtTdfhC@SE{e*91k%I!khjK{`-t zgL4|rgOEkmwpqIv=MEZ^^}C3SY)uZBu7g>u41TPn5X`t3Oj=yEV z(HVI7yVqC*3VJPF^NYT*@Q#oE6M?RyqhBZXoE`ldzvGDLw?95c(y!~iAEuwUdv%~6 zws?Q>)6deqwCN|;Ue5Fzb1!N7arxTZ=mC)zFa3Ue?ZrL~5~E2j7(2Lp6Qz!-TB;Aow-AhAI@3BLlAloNM+khe?)&%KfgCLtco}k{t zfgU|3>C>Y^4v~*)>EWC7@W<2BKdbi%68B0hF@ePFCPAVh=wBf061tah!2%SQZQTMC zx1z`bodcKs-~tu5fZYOr1D7-90u{Fu;Q}87mucw&6Sqd?0wV;Mb?gFLx5ViJu>zB! zcoUa==>kZ%(Ch-R0+)^Q0?M~a@B%~v0Wr6a@&XJ4mpT0c440?%0(L4gGB7haFfc1H zGAA%FCn*XqO>bmGVRU66C`39kFfuhTH8L_XFf%zYFqcR60<0M}3NJ=!a&vSbGdMX4 zFHB`_XLM*FF*P?dlVJoXf1Q|XPuoZohQH@m%*UpPW@gS@C4>aDU9lT3OK7`og;p+D zG!i6iVpiLKzvs-@X6$j&!UwSZ`ph|x-?`b5+%wLEmP{DUBo_<>UV~xE0P~y~shJnd zaZ*vSnhAw}LM!I66)3zB{=kid2h0VINm2}*P>k_(g14+O%z7rAe^iVTIpdiXOn9tq zES8tRu&m@>G3}W|rjbT0iMkd{0!XGX4iHRXoHEFZaawo=7-ytIekLu_O3WcGW$~IY z=$~Q0ogPVV8A!|}5e&dlFeSj}0&EEu%K=&8xx^E!$DkAQTA6Gzc@=+Z#{|I@_xCfMw8j&w<=tc zC`OaRVqMZ5Ho2IdeL6bZnZ3Wfgap1VoHxD z)1tm`ZZ!Eczp1{j(L5PL-z~0}H}l0UDk3VE%MXh=iY1c{e}c5X{|v}azy1E#;qlJN z?C?YkA*w#2u?eE*38Kn@^z(scho8?+-|ft*VsTTfZe~C3rvq57k42;Ji7Q;SV332E z=Yzfba(Q^z1>2q76^rU`L7wyxE$<`x)H$4138Bvk?ehu0oc;EB`sdE+{QleH`eJ#1 zy7bfClk#Rhe?TYubTWa%x%vdBRW|f=j_Y1v=;h~&gYzElMS1%;fUCCR>cmS8zk=(Z zk9%cCqFN4 z%k^k-w0uNPOn6?bN<5<-C^Y|LezRs@UASUCRAGYifBLB6QHuH)?q9v6f`B?_Tww8N z<59bKG(H~V+WN8@uFmCyH@IU)ekr0ZWvqca=Fe(~O*JIgpSJZ)uy3BVes&MBe!TAG zID4$_<_k&_1_W){p)L&wdM^kUv4U<}&a1ltMF+b05?@2&%>!oRV%D(R?zRwun^A|s z&5a|Fn!N^F>Mbp6%G2_{ie8iQ zG^$M_HmA`(Ni#^(nyT$!n%ENZmb!IVZ*v$@0^6}$ckC7&yH&4PYq#p!-J}n-)W8F( z)^4S@v`p>R19q#{ZY2iOgqDKq!^}t}DTq#n*`|bZ34)uX^Q^z^guGb4!hxtt*xPJQme_xp)IqUy8Vny?Vf9j|352 zX#|cTl7FWPHHy|YiX=t%36s)oT*en~044BAN-|5SL;w=f2+S%>%B4}TDV9OOWmIj! zCTJMRVq>4CcO=+E@W{+fA{^sDaOpJ)zAK<2xEw^X<0NXB>G&fxPfL;@)BgKN6=Yp> zU0zc^zpgvc^i;C6F})SZRt<`I&NbVmA@vO&oB_^t02%>%zr3qg`Lb=0^5KY;H_nq>0Ek5J!$q@J3`sAdR0@ zxm=a^MKnY-%!$frwwO$&Xk#;(W}lUrOasQkCiVc-4bR|{yEM?66)BO!EY_JE22ajU z!+*!-{4{{9@5}U5abHRCyGWhzE%;=G&gjGB$>8acjOeTML?-i?9>_pnrROnfGdYaA z(Oba%IQ$IODG#Z%(ocx-DC;BCM^zv7_N8vnyrzbEu>(-|CB)tf zKT&RZ(!oslb&r7{27W;}Dyrgcc{_@qicepa%~xOY{ussqi1uyzwmiYl`^krO*+m2g zaaw#U@78;Jlheoh^;eE3v&m|I--MI5`}GhSFH>oHWgs&#H3~0RAX_mYGaxZt3NKP`Z*(9t zF)|=9AW{l1Np5CuATu#DATS_O3NJ}SAX_{|IW{msMmR(=I7C7*MKwV*LNqouH#aai zLqRY`F*QLxAUs7mHZVa(I7BiyL_#q|H9<5&G&VLjH!wIuK`=%!H9u&yus?05$SASJxX8U#%l~4sWyKY6zx>}st zI@&+fmZWxnYKu42=BX{Dw&beXJ*hR$l9xhHW?ncz^%#`FD6{=k<**kfnKe*Vz&@B_ zR!>z4Rj|aYj_Pr!=26R;)za3$6U=IuQRTY89dUq}mS|HxEt;6IORfWP(&%HR?Hi%M zte=@q(0>HY%uX`X(OTdjvms_W{UJCEt!||)`f}Rby4O{;yXAeVj=)iFD~1v%b*nB< zudMHVEjb1qZsTvM?SvxQSH*KOiM&7Oj1;8}PMo`>V`0`$X+FaR&X%PC*w{?Nk<*&i%G~3Z^gnx(0`Ci_DW!fUD6}ZBZGt88YaTs%( zzoUE4a$yhE989<^e5nhs!!*pW#HnWC9Gr&>z-Q$1Zf_3jwgtEdmtYYtgO0HbIwWz7 z^xePr8@C19M+Q20F_eHFi}M9R4;~@PJlpzQw-Jk|aJ#;&mP7=R3MH}1ZM|I=6ksK` zmVbxg_Yn$Lz1ydwTB4ki&LECaV4V&`4x$}e+%`VbVug_C#bMTI)(UMv*5W7-sptZd z6T~7?!Zsi1jvgRk(F+7A2v?A%AWcDpI~EWsHdO)&;%fq=vW5PyM~gekY}6>U20_V-t+X51^kP&Mn`{hz9H z?lX5)op)dTNYw@RueVgqx!+h*HShkzx2hIA%j#5J^la=MRhK+__XAano_#lFp53^f z*!(#0{f~*8-y|MwCw^T^?EIU!-Ie%#IdSi5;?HY|`~0xIuoo(z5%g;HkJJn;a7z#l zfnI1Uw80V3|3*7>Kqnl7F6f3H&mMBVe^%{(+|R(83T19&b98cLVQmU!Ze(v_Y6^37 YVRCeMa%E-;F*!3hIWh_*B}Gq03SxM(Y5)KL diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex index eaeb2d7..70e8dd7 100644 --- a/TFG_Sixto_José_Martínez_Gan.tex +++ b/TFG_Sixto_José_Martínez_Gan.tex @@ -97,11 +97,14 @@ urlcolor=black]{hyperref} \usepackage[pizarra, barra]{conjuntos_TFG} % Vectores -\usepackage[negrita, parentesis, vertical]{vectores_TFG} +\usepackage[negrita, parentesis, vertical, punto]{vectores_TFG} % Cosas propias \newcommand{\modulo}[1]{\nolbreaks{\ensuremath{#1}-módulo}} \newcommand{\submodulo}[1]{\nolbreaks{\ensuremath{#1}-submódulo}} +\newcommand{\espaciovectorial}[1]{\nolbreaks{\ensuremath{#1}-espacio} vectorial} +\newcommand{\subespaciovectorial}[1]{\nolbreaks{\ensuremath{#1}-subespacio} vectorial} + \DeclareMathOperator{\imagen}{im} \usepackage[loadshadowlibrary, shadow, textwidth=20mm, textsize=tiny]{todonotes} @@ -285,9 +288,9 @@ urlcolor=black]{hyperref} \end{equation*} Es un \modulo{\anillodepolinomios{K}{\mathbf{x}}}. Tomando $f \in \anillodepolinomios{K}{\mathbf{x}}$, aquellas derivaciones ---elementos de \derivaciones{\anillodepolinomios{K}{\mathbf{x}}}--- que cuando se aplican a $f$ devuelven un múltiplo escalar forman el submódulo de derivaciones tangentes a $f$: \begin{equation*} - \derivaciones{f} := \definicionconjunto{\delta \in \derivaciones{\anillodepolinomios{K}{\mathbf{x}}}}{\delta\!\left( f \right) \in \engendrado{f}}. + \derivaciones{f} := \definicionconjunto{\delta \in \derivaciones{\Kx}}{\delta\!\left( f \right) \in \engendrado{f}}. \end{equation*} - Puede verse que si identificamos $\partial_i$ con \vectorbasecanonica{i}, tenemos que \derivaciones{f} es isomorfo a un submódulo de $\Kx^n$. + Puede verse que si identificamos $\partial_i$ con \vectorbasecanonica{i}, tenemos que \derivaciones{\Kx} es isomorfo a $\Kx^n$ y, por esta misma razón, \derivaciones{f} puede verse como un \submodulo{\Kx} de $\Kx^n$. \begin{definicion} Diremos que $A$ es noetheriano si todos sus ideales son finitamente generados. @@ -329,10 +332,14 @@ urlcolor=black]{hyperref} Diremos que $M$ es un \modulo{A} reflexivo si $M$ es isomorfo a \dualdual{M} por medio de esta aplicación $\psi$. \end{definicion} \begin{ejemplo} - \todo[inline]{Poner ejemplo de un módulo reflexivo.} + Veamos que todo espacio vectorial de dimensión finita es reflexivo. Sea $V$ un \nolbreaks{$K$-espacio vectorial} de dimensión $n$ y con base $\conjunto{v_1, v_2, \dots, v_n}$. Podemos ver a $V$ como un \modulo{K} y, entonces, \Hom{K}{V}{K} son simplemente las aplicaciones lineales de $V$ en $K$. Cada elemento $\phi$ de \Hom{K}{V}{K} puede representarse como la multiplicación por una matriz, puesto que + \begin{equation*} + \phi\!\left( v \right) = \productoescalar{\vectorhorizontalcuatro{\phi\!\left( v_1 \right)}{\phi\!\left( v_2 \right)}{\hdots}{\phi\!\left( v_n \right)}}{v}; + \end{equation*} + y viceversa, es decir, para cualquier vector $w$ de $V$, $v \mapsto \productoescalar{w}{v}$ es un elemento de \Hom{K}{V}{K}. Esta biyección es un isomorfismo de \modulo{K}s, por lo que tenemos que $V$ es isomorfo a \dual{V} y, por consiguiente, a \dualdual{V} también. Con esto hemos demostrado que \dualdual{V} es un \espaciovectorial{K} de la misma dimensión de $V$, pero para verificar que este sea reflexivo debemos cerciorarnos de que la aplicación $\psi$ sea un isomorfismo. Para ello, basta darse cuenta que el kernel de esta es necesariamente el vector nulo, que se corresponde con evaluar todas las aplicaciones de \dual{V} en el $\mathbf{0}$, y por lo tanto $\psi$ es inyectiva; como $V$ y \dualdual{V} son de la misma dimensión, concluimos que $\psi$ es un isomorfismo. \end{ejemplo} \begin{ejemplo} - \todo[inline]{Poner ejemplo de un módulo no reflexivo.} + \todo[inline]{Poner ejemplo de un módulo no reflexivo.}hgfh \end{ejemplo} \section{Secuencias Exactas} @@ -456,11 +463,11 @@ urlcolor=black]{hyperref} \end{itemize} \end{definicion} - Con este aparataje ya tenemos una noción de cuáles son los términos <> dentro de un polinomio, lo cual nos hace empezar a vislumbrar cómo dividir uno por otro. Lo primero es entender cuándo pueden dividirse dos monomios de $\Kx^r$. Según la definición \ref{Definición Divisibilidad Módulos}, para $x^\mathbf{\alpha}\vectorbasecanonica{i}$ y $x^\mathbf{\beta}\vectorbasecanonica{j}$ dos monomios de \Kx{} tenemos que $x^\mathbf{\alpha}\vectorbasecanonica{i}$ divide a $x^\mathbf{\beta}\vectorbasecanonica{j}$ si $i = j$ y $x^\mathbf{\alpha} \vert x^\mathbf{\beta}$. Ahora sí, podemos dar un algoritmo de la división. - + Con este aparataje ya tenemos una noción de cuáles son los términos <> dentro de un polinomio, lo cual nos hace empezar a vislumbrar cómo dividir uno por otro. Lo primero es entender cuándo pueden dividirse dos monomios de $\Kx^r$. Según la definición \ref{Definición Divisibilidad Módulos}, para $x^\mathbf{\alpha}\vectorbasecanonica{i}$ y $x^\mathbf{\beta}\vectorbasecanonica{j}$ dos monomios de \Kx{} tenemos que $x^\mathbf{\alpha}\vectorbasecanonica{i}$ divide a $x^\mathbf{\beta}\vectorbasecanonica{j}$ si $i = j$ y $x^\mathbf{\alpha} \vert x^\mathbf{\beta}$. Ahora sí, podemos dar un algoritmo de la división en $\Kx^r$. Este consiste en imitar el algoritmo usual para dividir un polinomio por otro en una variable; pero en este caso, en vez de guiarnos por el grado para encontrar los términos <> del cociente y el dividendo, utilizamos el término líder. \begin{definicion}[algoritmo de la división] Supongamos que tenemos dos polinomios $f$ y $g$ en \Kx. Para dividir $f$ entre $g$ aplicaremos un algoritmo que consiste en replicar el algoritmo que ya conocemos para los polinomios en una variable. Sin embargo, ahora los términos que guían los coeficientes que vamos poniendo son $\LT{f}$ y $\LT{g}$: + \todo[inline]{Escribir el algoritmo con la librería que toca.} \end{definicion} \begin{ejemplo}