From 8c9cac6cf196aad73f1f18ec0d495da4782619b9 Mon Sep 17 00:00:00 2001 From: Sixto Date: Thu, 22 May 2025 20:03:12 +0200 Subject: [PATCH] =?UTF-8?q?Cambio=20de=20la=20definici=C3=B3n=20de=20m?= =?UTF-8?q?=C3=B3dulo=20reflexivo=20para=20que=20esta=20exija=20que=20M=20?= =?UTF-8?q?y=20M**=20sean=20isomorfos=20por=20medio=20del=20homomorfismo?= =?UTF-8?q?=20natural=20entre=20ellos=20y=20no=20solo=20isomorfos.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- TFG_Sixto_José_Martínez_Gan.pdf | Bin 194225 -> 194804 bytes TFG_Sixto_José_Martínez_Gan.tex | 9 ++++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf index 6577a9f52d472de148ee5f2d8450a8439f12a6f4..ac4b7c7438343646d6a9634fd824c5941121e752 100644 GIT binary patch delta 11197 zcmai)Q&i^<*zL1jlbdYYwrj#K+qUbQZQHi(np`v4oG{sL>iwVhtaE+t_F8*iKkM0_ zwVN&xA8rvF1wx?MSXeky&>3j~9c|Z5F0_Ev2BY0dShCIpH$Jrr=LL)G*81&=Zq!-{ z{wW!CGVQC|^PWyG_*OH1LAI18#z2xrt&7`BCbL|9OCDcdZx2@QyI_@M^jIV=ik{9X zEGeBS1w1R-X{O_K=GR~Dyo{BDukYsCyA0{mFIo;_4LWa62S2B+Nm=Fq#NA#d?wB^< z@ed`YncBajf&d-$#;4U7kg@^I)^>qwTqD@gJAV*&fkD-YAcjGUudX& zx@jqr6}v-3FkG3LikJ$3>UJ7aK#M9x&q~HMrfpugxtng_$r+gj;YrQ>z3}9AhXxQ> zCtJ)tgm?)Oe}_ZDhtY6)CMC)^!S^|1;Hs`2kW$cyCuhAALwO=ApQUcILg(N!PhZ!h zwK1z;ONKsC_Ef--qEp9h=U&ncV5H8nOm}D$syEc+bSzt_uB-q|l)q}~09F4rMu%y0 zjor{R<@fH_@ON6)*x`y@rqb^3YZNY0qRH#P+R`Yb9L zx#VxZSx&vFhi2fev+&q-%=4@>G8alkgI(c%$3PUpNZB@p8M)$G7J` z+dFL~fqD-YNjU)0;BJ0dgsmq3Orb@8Wt4FTF@Z!oJ-mF?=CIH4Rmupn#fha5EE1c@ z3bBHI0y-~&@CVt#2*iz2$-*eafrwSa5vb3C6UKgtav=sGvce5atmTg;?Tz`GAtss4 zDnlqDVGxyj6gG#wbR$1h1T^Tr7KLPgTZqO@oy_^~U&;dWd>nV;74pLF?e)8tXE|-e z?r30_n~w+qT<%`F3Tmr z4=B87?AC+oy4n*(;72vKM?x`$6RN&%1#h?!V?Zfw2urteeyz$bvA`)%DZRR+A|$Bo zl=1|#H%b9jgUGV*5CRI7*o7EoxWl#Jp$*ASf4dvM4d=dlgOW~yVmraSwhLBICJQx% ztW#S!0j*)jrk)i~@eCCR5`OlJr-^pO>ZuU4a9l-L*nQdlJMh2<3scjN)kMriJ89 z&_n^aZn5c%e_z5}l^F%PIPf84T@P5`iwm#a-FCYfiiD6&17qXfw0|IiwWD1|dmP*K z>3BYm=`%no9S61eGo*BS^A0v2Bj0`mf3Qd+9oVC`R~LR@R)ochP>q5sbmOK8)WahF z=G_7KFMqEhr{)t^co*2;&k}&zOa9;7KbxyGq3AWQohr(+CE(Vi_-ptiuhmO}Hoo&;5>l7vewb z2)sgiy5MmLjTZcS!E^bWS(d>f(p@P2UbhmMlsuL8a32ktve*h*s+LcBv59_JfIFF9 z=;21kS5+t` ztrXmf8kcVn{~MZ$T0P$?4;Oh?2i71}EMPm$%!l1IE3PaUD};66cCs|>m3(>7{ap{B z6lMJGx<1rZ2&IyZI>#Bx5ptwjE{>WVFDLqkC$B;_ACZhT6Sb42?N)|3koGPKLrgFo z4W+&Hbg^_xiwB&LE#^8}CJtG{a%K9b} zB7$eRuf>4jek0c()%T-NeC~oTqI7WpTTJ>AkwrF28t+j!y-jeYKRl?MJi1WIAEY4z zlY`l=E zEYH#)$qq8ZlZI|KjF@?blF33L&2BC5=#1{01D*QB+_Zc>5+2!2+8K| z2!}||r>~4!JZQrFt-+f*{{3+;^-WWp+qwql1T<#{>a#6Xnde=%UvYsBLvzydt!F&( zj%fdLMgImAk>9_6Kp5+mxdfr_U)jPxOF~khLKtD)ArO53DCHR^olQ9JhA<2L!O%eV zmt~BIYeO{Vsr}NZ&wmRlmm0z;Ku$8imJ|>~Pz$LG>TA)&P(_O)oGZp#y>h*7MSqA! zIg0}thO7Fb=B>>%B9e@k4We=X;b{w#pIe&!dq~s(D2$->R3&ziYmMhj1KUs*zaum< z=2!3)+ns1i{vtjbp&(edZZvokGee88y+GVh_l8 z4kYx5qCG-9a4s+eXj2--(Aru&Xkhd=3C293IHV_}Qoq|Eiag}fJeZEMGAb!zX3_)_ z!r>oz$Xp^6@OTOVMqF|5G+@wJnrJYm$syw3SAGUL90Z3U+MqZT8cR!yu${dvG>z6e zAEYJ;dZ`gypx|~6m@zm393n;)3C3Uw4cPuB_+WA*kCmWxHQkK47&Hr58h~U%`ht%e z3_W>HWgdw11A>I^+b6P!`d~yb>4FHM2stSz=6~=M=RR<#f-U~vS2SU6J9-xWPeJc;@TJ5>-Q`(C-V>M$7YI4qL z-G2n3pv56z+*HH0@)2TU&l5ZZMZ&c`qBl|<$b#WNB9G5c0vo|1Q&J&VpMq#IJg7+V z5)>?8gptyf>&aG5>LUA&mDO**qTWzt-V)&65++^;qF!4_c6A$W3<3M&UjpfF5JT9Q zVDj%LJz#^VA>2_S&~~2*%v4}xET8qyq&K=gD21qbfkhv7?d8UM8;X%aPG1@i>YVPX zKD$V0%NPjY&QEB_=ZJf(P@TL4o$TnaKj6^NLnXKV5*HTN*FUGsPT~x|VXpSnRrMJ| zM0FO_1iG(Rip~ztP6A6yVyEM6B0!Ib4BqagU^@{aEAyftY42hgiYTVZ6azybFt$AG_I~5YNB;;| zQDkwFcaxQU$4I8aW8{T?NGmJ^m64#(uRsnkPGSX-LDa;0zCx)n6{{PY0}_Ex*j@J! z<_Ds{FNvjzCC5PkE2K<~<|furK&nv%$mjOJfD#vBIB;i%uOYtlWaP}!>=kUuvcB5U zN;tL>lAL391*RtB8OW9;_4wbFuAk=9dMebXH$59PS$%|(2jVZ(2<@wIC?{6+!G-lR z;5MV|CU*Epo>io+Ipi*7gbeRSi`M=W^w`7jZnvs3m59%Tph(|oc2aH<+o*U6F_Vyc z!k9}(Uu09?N0>IGk2%(0GgxBM_1`*+F(tLJFz-G*0J8Ugx~=QOlXg?t4!Eb!Oxq)< z{ZsoDObN?oR$Ou_GH4^{9Tj)Rue#mxVfS@g%?o}e`Z+mHKIqChY^+9N1~V+`9`jHw zC%C6*bTCsio*E%;5|m_(QzNgD$uo)lm`57N>GMZ1Y+r***kt92WLp?Z8F@t3Gb7?3 zxfig$0^svLdq$P`s}oNWjnDj6!@M-Sq#Co)?e+is3hVt53E|)HV4*DwFX&=_Y59xO zrTXXmNdrFTQ?cT3{AvD8-KmQ}2GiA7p%7UPt_m2EX2<9oIQg6Fb-`=IDl!wWzBsoW zraoEU=^eW$K^FJS_S4D+A>*W&vFrX&@++|^2$(}i_ZvkK3gJtilN=FxJq~m@A8L?e zlgybqHGy`u^~dZA?_)Ksj;*aW9Ou3+*4!PD zSlW19>U5lbw>(P+UeU>5{~Doy-`lUzp%Tx`3B2ficm-Fmy7-ff7Zxm&^>;n>kB$`yzOSv0Oe@B zl+fcTzO2aw$e;Mc#=2j^vU^k)Z^bV$p+qs=9&~R*L=!U2Z31VLGSSOpm`ghAfKu-E?Q^ysDHQ2mb+SrGQvX*bIk40@7$7uJFg`g=N4P;g( zU0xHR3{BNXWLdY&T{EDgR6*|u_^u0I3^8taZ|YJ|sd`c9J!Mp7Q~{kaQJ%MM<(D5n zhnq19I)x>j2`LZ2Kj)lDPNbCh+JVJUd&N`4&*oaet_RZSOZzITpVc;aOKU87S%>VUvhL_SJPE6-y)o25 z^1d%-B>QcXfgLPA*XBoA+jr3DYpV&w7jo4-(6W)RyvWvHrz|)C8@YQNQeKMsal1&C zC#&qPZM_g(Y4p?UiQC2!8<`q==Z3)~wy>9dmot9>~<4 zJl=hxpWDZgbQT&B2GOoU9ZAw6R;4qpLp zT})n*REyW z+~kmblA^z9!uIAr(rXK!)EMz1XXQ8xr6n^5`{z(_`+5?unEWl3gvNdGUT961BW=u% z@}X41H15yF-YAQp^#u<#v*va!E3HOXR`AQ<<}wE*nQG?W#we5_!wKe zwY!0F=??aoKd0lSXmFlB7O9ASl~t{F?U%oV3;{nKE*12zbzM2j1f3vVg>K8CA01pT zA~gb|DOjk;RCL1J?!>=otvAH^^m9AuaL0EEAB5E9`q|Y-AWyz68S7cuUGRM5l|#KS*=soA z9%{)lRi17U)>E{(VK-vn&!srJ3{Z+GYosC_x-9ffwfp>RpHgHMBFClVT3;}f9vE=z zFg?#;2i(TuWZKpbPh8Sl7vfI~tP%Be@_0+0m z-n|yl#bDSL9}cxu+%g{6wCPCAUjvHOwIB)`Dx}Cbc%%)h=sap|*ln~OnVK5BCXgj5)k3-v|+!Z*F2g*6c@yzY*{pa=%s0NeZ^M#bN12 z_O@DdGTinTm#NXta1m#(sAp#RUB9Q_hQ~&JH>Y{KbSr)sf6EE0nYuGd3I#&+_OA{g zip;xpNWnjaN*43snc?~++)8rxLY(`gV6Jyw*1gVSc)lO6EWJjbhZ_)?mi;RrPceaT zU_X)RTD0^Z=89ujhm)#Z@B#WPZuuR-Em599-hGNEzdFpm_(;TR(LB-C2_8s7@Lg1m z3vo02f7SS&)^*(f4HHYdss;8Bm~m_=kW99iM2@vq-@Dm;;~>$cc4CL(N&X1YE?Oe4 z$=mY}OA@TprJ$L285gwx7c6p@tVD&N^p&yzGy-X9GpV&KFDYF`rW+y7dM#SEI{FE^ z3E@g{0{ENtC+APlrUVLiL*Kxhx=Dpe$89{`mSc}UX_erPxs;Qr9DucNa_lzur;}tA zeI~Kuyyprvl49%grQgQ6Bc%&OEX$0QJ#YRrdczzcu!Co9rdHQG@a*~$l^B$ehU)qK zZSd*1&^Wy_GED=ADQ+Fq%F_Q&!KZKGp7QeBp#v4c4;A)dq2qsruQDbXC+8&Y#EV7C zzaBO?00FBiGL8HdeqfF=cMmjkTaR_We}nU+Yx4rwR_X}q+80-MS+`-J%&Bff<{{N_q-{%le5e&oN9Sp+|_88zC z|I5b-Z2#lqcRc~n!aIs%P`5A^e0eQ-Jdd2p)AlJ|0^F?%)4gXJQF1Boj~$4?STb^K z<`w^(R%PLW2Thu;^&>gb_~gi{tw$>Z`4f0FoN&-VJWS+Cd!5mtEKaLQjYwBi$$G=v zQW#7&$ug|0h2c_iLwXq2Q^xpLjo_RD%@{yBfmSk!0VEF%85heGu7?qbsj!KK(a2!9 z(9A}JF$~41xU)%&4!KZ0@|WCb6cKJyd>LGD9wnk5Fhrzi{BE&$g%rGhIun4< z_^~6p1Hue7BIhbFL1+Ova7`F54kL4x*|tL&EH{Q)lfd6_YY>%(W064+9O>ZtNNBq1 z_>ey-u;v3TR9Z=BM3VwkN(v!(Ot>)gz!@qECDsU1=_zgy{Ij)~S{S(y}i|J_TCr&t6AX}FW*w!U-y2oH7(vSXx)g~PXomNO5Q)M3B4 znV_IiLCbE!NJqrej$s4yu{KGx0oRno!$q-z@=1nRB_TwhqJdR_XhKp9EAk$y=Ru^; z6l)Gd(?S><4b(-@8U9|ohtUCQgph!y$Ermm3;MnW?XFO=F?fMQq_P(!7taD%os!T5 zVIv5J@q?eM<5OF;D#x@_!xbf!0f!Ziqp`!?T1ma?&(wF@c^RBqd0UvEwvkmR_HNhU0$V>zQ3ldCmBX06U0n z>PA3rWp}}OkjNWC6{($dF`+WbYr(pha>m>G_^R?w_{!9kH-v7D8i#0Nry-&sTJ zc!GT4-X%&L@qI?1@xynVg2LyyFME$5lsjC>`8*ufFfX@m3_Lzzf2K&w4|`A+p(ckO zQNG;Talyud>QzLNb@+jvS8%*~M}+4Ox`KavB-Hmu_U&%`6sw1@E=o!bmA)d`QqTyR zV~G*0-s8BRDHQG4i&c@N#9(VpDKji&%qJQ5aBjC9WI4<&*7zgA10`l+j9H)aG@*6H zN#Rzb63ki;4yN|ZT5x|@DaswKX^UJhJ%++x!eO3(=FAe-kJhqcMy|0 z>xMm~c4hkICX8OpS~Ku&Ih1xm-!?{J2-|QN7J3-h?SjJYD94g3Q5hs^Gj$&=M~nT9 z`|+kA**6R~IqcD6Rzd@M{01==+a(211!xft;Gt!QA?3U?b~)%=5Y9%`(!=;=q^;l- z5Po?#9lO|S%>)3t6_P>)ZGR3HX@*4XNQ>x*bfd?EDKu4#Yzf5szC^q%b`z1{`w=}1 zlZvz%1_gbShIF+d60-dN$UwHwVF+mIez*|SVz4Q7UP2>UilMm+YoTCQFGF$+ipQp* z%E{B;pDYFXq6p1WVDdbDilgUC(Qf0b2eaI*?TPdZ1yutTlyo0SMIAx&kVtlj7x5$0 znkrSMAN$2P3`@oWMSVtLnoif_*+v`|)i^X2e45ALF09wIwK(4hUEPFzj2X)RO@x(5 zFw}m!E}S|1vMyT|Ow%2y>JRd~Dg8qjGovx7RxO%`*z zEv%GKCGGG%#YJe`!(Q1ObZrOL)0Cfl3^B~6;s(vP?S0cF*M_@su{sQ>CuX9m0L1ZQdq_vrUKt@=76OR9_@RgS`E+o?o1x*5&m zRRDITxfe}&&)2oK4o;@{M{B{}asBIk4+h;oX7JP=em5qb!H?qV=^g&cQMxK)^B9s* z?jU(d+RYybvzJd>7wH;*=f3NEmKw_!Aw${Ith(6u+**z3W(rMd7D75QDafFNLj$Ll zDPCNCLiXebkA^Fd)>-}S@tW^#qw_F`iq`ZriwojcEJh%o^m;-H?e(b|(j*~4UCa<# z`6KnJ!UXfO8=K`N5^Q=WVip+qbtqkp1J%UKSjn`Wf*SG>3<)Dvok3%$f6J0oIzCqKV!-j}5*7Ui7p&c1jk8pQOd`=S;@N&=EqZ za4+HNl!>r~(PO^Q~7tc(;XrJ$N`2Dct@uvL0 zAI2dLGl}2wk=69b*H3V4vxL9}YM~)+UOH+eKnJG=Id?bzhNjePI5ljrcLGA+!;Qx` z8L84rIncPPd0;G43Poi(DD8hcp~cgKwtj@(JfTnroX^bf(~fWHB=jk`n48hvuFA$P zZ%$8XbH{38YrOMWjcPEwIEOPsbny?H)U?L>6&;;Zg|3%bb0;)}_$`yKNjbsLr-1<) zl=~>(K8k+2hQT_k>E3hE^+*T*I$oy~!~t1Y2Ru zb|W@y4Ef?a)n`@ss4)kM6pe8QUHWNVf<#QGL}mH{{ByC}KlnkEO=!s9R_tCk*1g&y z%Gi@thSE#)nUi$oE!9G}rIYH`N z8>^$-sT_COG}$-(jGxH^sS54}z7yuR?5!K-nD>R#2Pg^d>jQH=K%VE9=dYeJSw}%w z&s@-{{oHx~MK#T7nqv|jvpWrJHfOJO)STkk;Uqkc^AZk~UcQ@&b(!3yVA&Mr+IZIn zecSq=#x3Wd+P^JLasYW7gugM<`6KP>{CeN3Z|phl8g&1Nf6cnAx9Q*Ye#7bP`N7tl z=DZnE760BHAvIS=viYg&@y5@BNQjHzU@&`XRO@1t$3cXf^-Xp$==G_#XL`s+QA4!1 zyPB`O`%H3&V;B*>MxiJrxu)AT!kbLN5p^g2gwLxc*bz0~5~!JHGsL<#f92X&xmfM*@FRdUUJ>##-SUSk;b?g3Y6Uq#NV&GN85jJ~$ z>5tq4=N^h8Pa9nHPExv?zqJ#XbaK%$TP)Z&VKr`WM-H$-2^i(%3=KXVX@e4rW z^Y!nSx6BQio7x562Dd3;GncGnH}@*!j7}+9iLb1D0Ls^u`r?ikt>wn185o->v&?F~ zX`4;^1;}frxVi6|EfWr(-CW+>9SAo1G{vahxc#y=DHyi4FPOSIWM@&r$fg`pHl!jr zf~}^qqDBUvI79=_{ruS9MimYM3n%t`tB8xw^*yM7*O`uk5+O`jV0B zTh<_{1h zKuQeqak8{bXnSw@Vvo~|)4DPH*VUc2fuB8_hf1&C?djcN>EznHQ}SFiAlmj>r+wJ{ zP2>XmI{{&N%1?hehh{R$j&-OF=jbfRVe_Pll+BN;c!n$2X00P+yvh)<QEz-{B!s#8&~k3%4QjWac3S zv*nj!03{|HB|F=+C0aEHPAv=zlPQV$z*4gNq7&{l-FfLy}!3^?fwYHMx zGC|hhZ#6Y5B+R-{Q>seiM)S6r?QL+sXMdFu;(TP!Ru+jg=UkfC;OYz0iQKYJ<*It% zGB`;juefI`TTwRe?s?vKsPM1^B!#-RD-P?-qgFqpo;6@&EFIw%dk?KLWNW99S0BTB z><Zwtv226L_7W9*)AFap|y$4EcNZu+{o+nOm22QuSCrdwDi;C>KV`Gym-88jv9 z(LlDp(M*iD{Pm`tj16`EJeq-KENMl@k<-%?6=oD{M-pI?QIEgqio|O0hBAaB+tns| z52!6MB)^ax6EO&0!_g)JaNqM%e7;Y3qa^>E-DE9A_0!g$LLBJ5*+=`j>BalJK^@g0 zWhqYQ;s^#V_t>cevMx*5KUG_~F+Ot49kE`xr*>d&l#}|NZXFZ*K5rlToW%qRydMv= zjW9RseXG=E8W^b6X);yH(QjVZ7NUEjTP2;P!ixm*C>nZD2tT|52$bNI+|rsEfAEdh zzViL+tE1L;t|tb=dIUGd8Q+E)+&aG zTW1pea0>3W?B$XLh{!S63MVrIDU|(>P_BNR@JmFGMA;G7Zc)POMSYm|m)f6}u{P8W+oF^5r&0#QQN~XpDo~(eT=cB`9=bok@pA3c@yXxf3}W zfjgsBK^~ZmKd5Ku-NOZ4@fNjCruj~$6){K>yVy%!0pN#_!F|;!^N^SwJx37vFwp*~kmIi57g=&YUep>o z4?-SYGHp?`r1`D2$c}FfUH64XDTbnN8VMO*PLRSxaIRunDBD0bfV&~E;kZK;*3Qxz zmCzd}u8XlzYP&-fp~)kk3o)ByWsI_nEfZ#7v9502_$@rkzC-_^qBrbbTjLS<-X2^G(j7k9ncZNVxc!b9;XQCPfwUKdISRBFn;er43ET6h1^=#$$z(_ma`dSaVt5q)7>ui8&(+j-LU5DS?a z4DR4J!r=&C&;FHdgxXq(#Pn*%eG%s0NW8HJ);c1}14ZP7JE5WwexSqyUT3_By!(Jl z7@_vNjLl`4IX5)mFG`Dh!Q%~^x(ABIKE})tQpba{Jj5~>kgJ*Xd13p@NwlimNX7iP z$PhPJ71uNaQT-1KxTSG2V!(at)Nn57lS2v3HT^~4Wg}*=%0x&+pkbcc&{pE-@W6DP zk0beBX*!%N8f3xdL=ZX}Ij@uiqrSQI;A*lGdDF4%%#W^|KR5z|`D=PRtDaPf=?yLe zOOCg>|GDwNvGd`~F)4+G)J!dYWVA-5z*D9+aw5wg|5;N_RAiCFSQag~g{jmA5}6ew ziW!|i61;u31+&sgnUo|PTafqr{Aw~)4$Kde($UC-Tj)AOnW!Yf^YHI~!-PnLu*n)V z|Gej^zPfMMfG@|=8z5J6_21dZxG!NEk5u2A8pKrsLS3iJm1p;S4P)vcM=#Fr2Z#I3 z@NsXOy?izECJmqze8C=S{5~zz-VY2dS=8Q7d@X&H-YV4I9OPQp-3ZvAYXFkKG>F)G z7)K!(w><<{7MO^Dpn>{gr3=Tn*)3wDi9o0frK=3buMFdh3&0MQ{`@5W0$Yu2jrm_N VnGyE{fseq=!;3&kDXA=l@IL{_KFR<9 delta 10624 zcmajkQ&=Sopf%uZ+qT4T;P2(J#s zb9RIA`q%E=*tw5PDGG5psbhc|wzpmuUMv;` zr-iUCbJ#jPqJ|)}DDbk_&lqDfnV^!@7_|3Ke;uFu5omnE%x=K_@D|+X7}O*QA+*Ee z_}tdQ>#|}Je|eMWgyF8L5g>bu~NrjtsI2CqejDgdJ!zF>i`D64)E@_sJnuJbimng ztTGO9>Dv)Dph|&$XRHR z0EQikvOTwyb!>mZyR|Ov;+R6rR!euV9a8esYeGgul9-?Q?QvM|V)?eZl{1t0ce?== zaA(sUxT2j~?&T4P-d~Kce!3EQ3}%UYyrPM2(3b8&jpf3-s;e$ zPbC#;t|4tZ+%PCFiPbrJELxmsL4_NK-0QT+j zkLWEwNMsMYr9rJCzq!IXtd2C7VRa+%{kTxxxLoS&A>UC+L$k4;Iem>QJv|+q{PjGd zPj$>6rMaj(GV5~w2RV8h%KB=2irDXoXohWbE|y~_`dAcw<~uK&^HKMMyZP0N+E9mE zmG)AHGiPGFfLn=X1#Lmxt`$T(JP^SX$1R&<6@m6znOW9?{m&%-e6Pcq2bby|C_jVM zlOO*Q#!QeEbm0kM{??5M0doATa+uw1b=BV_srX~%z;RXPEA=mW85Q3dYvuB3$incj z0{WPAz(b+7g_mwtJ2@paO5CVd&cBqIXKg~n(eKAwD%nR$;j^W!u$Fq z)*L}0We*3k`6y+Q<)Y@UkV@a}x%1xdA*FnxZ zk}R~+QjQ-5H`*q^5DEb%lJap72M0|<90gb?Mwe^$w}i~>Y6!xq*-H!?kwTpTM+uT& zu9Bk$#ur_{ZF&|{Ed9ny6a`o712LM!8-njRkM#B{(8LY{<}VpVC_RSwZb@RpqPe4| z*xKeRff-tw7!wF#6|flt!(t{s7*0ck0Do=8B=#Nx(QJj4)SShwOu7%Kgd_-+fdsa| z{3ZIE49n<9ryUBV(TB)QbWct(58=xMl7e@KC`7@K)1!j^nFSGfPzonbgTq94dku2J z$YsrysWPvDK_U$;ThGf0o=d+BD{UI9#H8R78<#BN2W0J`rv3fL8w1z6zzKteS`zVj z->&CE5lTJJAccY*hnlKh9r?gbzzu`~f5^hsLg0Euk5Yzn6G=h4H+i4P77nT|Su)^I zd4BNvZ~bc`LGU7y8?75j$x~C3lj55%6brYnPaHJIDng;a+;Jy~xUHJOFK^_Nd)a}8 zjJ_S*{Y68CJs9Sf1LDa=lZMUs0@a><6;ywPmVd>Re8m)e<>w3_-F|)fjXe98lH^5|uCI6IzT4BNPse<`cdg)~?gCw+|TZ#RG|o1X76B!Im97 z0NxsN`C%-Fef=VxD$yuSH30@v7=H>iHBlhEM(C|N;t|%7ALsi0qw5o+s^|xgzR0tt z^@tRtX*(4c;iaiI0ufabf}$sd``$T>`pTtUD-za(RbF_VS^~>UbqcDrJW1bEx~bjp zd)bsbOntq*%aidlm*h!cO?$a`4e{Z!7S`4dohN!vZaM#q^hHS=Y+!S6`uYe)Hb zt=b_;R0NTI>Nw0gT@{g%<-6O@k^9<@E8i+?*-ih5Hsx-s0r`53k5ta-V1pB+)P_6H zc?9mby({xp4t-i2QfjZ2ksA+?)q^;a-)HbDBNRgFhfjb0NjP*JI_YReKg`+9vnx7x z@=1&um}~ovO5%z#AcVd(fvG_tyGl4N^|LMD0*}uyE@_RUOWvdPjXv7pAFrC16H3{0 zTH%3U?;$PqJkTLS->;-ntQKK_Xoo{bu(QjvUVD@$mgdi!paZB7W2a$t6U+YwFCAdHrZF3Hcc|PjCUD9MyyHs*6Wyjze%ttHb=2_zp41s(A}M0 z66W~Y!cQ>#v^1SxBeDYz?*gcvH<_$*cp|CtH zbYpYU30QN%?A;X*BEBMhKzdKLIAFKK&6&|QIHWIwAJds!(id9S6HHlJJnAdyKYsR1 zfKd` z$C1B1+?e03D;6o42W;i|S6Pg~paO=C=Di~D z1n35J7xPNaIWePzN1%+>atx<^m1*%eeGH4JF_D^@a^}v``k>(@U=;kO_rMfHWt9fgW2OCf!T|B<0QSwI|EAw(>P9{Yi($#L6=Y zH@e9*7i5x7!iXXJ9SQ^4A;cRK-%{&X1J@M8oHN`nx-LI3dfe`wtI$XDdFJSUj5|)d zw>C0NGiT#Gj3afQGcYT(7UwdamG$%Y)_{9wKeRqHJTR6<{kL;LC%{{VT?_YrK%)r7 z(dO6k^C3rUmF9EnD4Pl<2_659xChHElZHxR^`~KbYk8wCOE+~+(0Z(5yWpQGHd+{> zLq}9*B^IyjokYG2M+ZiQ)3kx*Ep;6}Zxu_^sl!JDI>Rd0V@2J;SxKIkaNj$4Y}P^; zGT>@$?VpvF9(S)N=L4@0WzW4DAi8NqnYXxlaOCAdLx>1H|7(;@)a2}7%nkeRUs ziJ@I#+MYbc?BUHkk>Ef*0j+V~^0scyrisqKnpQ_Od~06Lp}-V@BZJ)pGM2i4Jwr|9 zCcoe0U+bMa${F3{&Iw74JcDty|4gVHRcqH{m0l70QZApjJPzM89%V44f&7hcyA=(@@+b)Bqt z={4R8SG=&s9ho(XbNC@kPNst@Q~mZUC7taa<3gY<6UF zMZR_NbS`rY5_3hG#DKR|v5y{s^#HG%Q%wHEX7|~KQ7)tJ?8RQSIMMWso}f7IRD~LV zx*n$Puc;$xz;$qdZ{fUfl{MldX_-;xY*rLfe|#U#9dYw2g-eAraBl_;x?C;yMg>-T ziRxoCkkxNO1I^-%^f%m_Z5T>pm%4Qe-&)V(>Eo6ijz?)R{}?XSfpam>lT0%3pt7)5 zw=>~=MCFnDID?^mZNk3C?WL$0zW;Po#L(Y*X1%N^t!7T+2b!cId)cGQw%WW>2wxDb zfk*bKBU!4nWD`jc5X4-k6tvdQr=U=$n#F#<-$IermJ$!CYW7Sh@v43)*|f_4m1#A3 z0*;0^0Zs0p-@s(|uRbqp`rzT~)!W?C`toe|lFO^n2iq|Zf(PUH*f`dAa>z3G6x)>X zvxeiUeg*O%`WETzBg%Nu$QC(jvZGHNK3mc1{o0Bxt{&wFrupWv2b-JXZn%{Eh*D0< z&E)TFrF`%-Nu6FRC8ou#pxP?b&}dLUIxO0fKs5JsE*6N6;~IC(s#ihG3+blSxy)jp z?aBAHyS&e2-@^OW8ge*8r_LtweZw4{BR5RQ;z?u({*KK5VEPH&99vXaJ>F!KcqaIz zgHH#1_^h4|oZPZ(ChD{C}VmK>zizM88DYL#mxs0!asNsZN;$JF}vSm~hxMH_n){+(KIp%|Ib9-fp zwkRl)vsV96r{lPjoq!f6Bk;u9zhPgTwQqR$qA<@5Y`hA~+XbMzGPd{sW)UBr`>p!y zzS6JB+0KkUzDAurtkP~P1lZr_X-kBAP$QGIpv_^NB(D7n?Hf8HAJ-jN;8XxT(VpOP zGmJh5$Jb4eAOnVd{dZHP*oLy0^y6t;#fz(6kOL4W<2An%&@emTh8ySD+b=A;7bAn~ zZ?^aiD68IPRu$3?)$qpRvzK~ZZu!mcSrY$XiYi}EazdnW}|L{hpBTLSF!}_3$7rU1! zSE1j@MxEl|QdU+OP>Gp2VsO22E%IS^9%kl`}s(b;+lX>UlZL!d~mn;@vSj z6z#_qA(&s$dkc+Ts8d9@hm;Y%^cY|7zX|eY+jG?3U*HjFE-1W&um~Y@&xiQ5@QO7@ z56rmqC^tw{RVEhFL~T-x{|*sW^6`Yw7^QZqWA^hnkTZ2u&Uz&D5;}pe>xr>j_s1>* z>c*aEH?Wk~HPM0z<|r-rD#_D0k=^pr9Cx0aAL$y9lMee?y>j+u!jmTRH<^mCQnmxl!-?63}u!Su%NmJ+_ z0y`K!k!#FTC(?gIV@G?BLjLp~g>u4zdqHagMjavGrAOfc2uI-RCt(X%P>>0-=NWT})D%l0a~Rm_Qxu>XaQEA=+%2F3 zSg1Pa%n2#7{G{U=qTr?@P0Ui6ORyX1h?`M}T^mHZz37@)M%8T?OD z=t4{}GGH#l9U&q1hGRu#cnuQps%6EBwYNwSSV6Lj;ZMNXrMhDlH)xt&QfQ_?U>WeN)gOl3GH=WbSbmKh=j&rzBM`80%j z*f7pChTRUzIaC6gHo60J+hTxN7?7T+s~Db@8>Lyzj?suz557+7UzuI84!@@~w6qA| zuO^Bz0Vgx$f=rJNR+dztjzP?jswgU!hXC;$-iW^lli04lM{0_%zcy|>WA)Hh|Fc0K ziH^T^Xh5^2*sRSW)5~d9WII^*sYO*rPC8!*}lLX)S& zefm}KAI)zR`w8UjkN3OKUc+gbkurtG(Crgj#4eV89qLAp=4O_>)*Zl)J(R&m6r z=gh9w>F|MIFzH-Nx$p?pi0PTS7%VWSI^ z?^kWXrw9do+n95U8?)8QA-;!-N>g=@c%BR{l1^nxG^c-+8MPX1`LcxoF5@9IgrH9v zA>HB8xkpwg+ouk0n=~g_Gw0ejL#dv2QIu$`*_(R-BQfVMEb|W-`8AVfjB!mlCD8>9 zi<9+>aMl%vlXPJ;pnMC|(Xo7%?Gorn|3)|qUw(P=b3M`A@dA+PP#yd_XrWTF!D5bF zKTpTATis`ty6p_ML1sx0&3^n2Nu@I>ehd_6S;s%#C=~*H|7cgD9vti#yj<;dg3S~dgU9bPD@8jXy!fxda7WQ) znD305ePZ91Y5>V8@&2mjebq{Nry=(erV4MV$cC|6dLJw0OIt;Y@^yhsKeIGHAg*@T zK)xJzQdedj1HPlp$vCGQW~odrqXPriAxiy-xjQ?+kCjtSZ#k7@$eTIQw^{W|L0SJl z{s9FQTFZlteIQqmnF4`F{BtJBpCET&x)D!M>d9EPhn7*VP?wBG(={TL^5;%*6TEJo zhY(j*>u7OixCXU4PU(;38bn(cB?nFpP$0T3tW*pK*Zl;S@jwPZ8&bq1)+VODhdX8D zn}`o^=KA+f!{)iLW;C+e@K+28n&)|vW@wiSv=xvSQ-z1Kkee`CrmV1y1aUGE+KC16 z#6QlUzXm^Bc7CIB?`ku!v#h}JJ5A`G@01Atc);s-B(luqf0ZD1M@sK{Lh;KS)=rUM zu8+h}IpkE>q0H>zyz~dZ&h1GVR21)qV$Kf(q2y3HQW0PtS8^IaeRjePDbhz18FsG) zIcFk~GgQMBeDL()(|wQE=Ti@qRN7wXR#P?PS~%orre5cHSEKbl2eLOjOsgKd>l?3* z?GtA^?xC6pt7s7k@402{QEf6SYeI_96+r%pk3q&q!QzZr#gR3Kf}`0y=6iGBtm#DH zt7jya$VA>?gbf=@WPAsX@J``@ew?M$novH9{f3a{F#;<7!M+l|<7pB`&tp+yyk+n# zq{yzzvK#Yjn|o^{so*wDi{KE5jp@UB$M~4;ng2}PufAti%Wo}!@kjQCXN#dtsUW;p zzA&p{oHK>MgvWztPgN*y|LEyRF{}Xa`gJh!&`d8QWI5J$>&(+dy7zN2fa2lQ(b2Wf zM3%(3c{QUW9KZ^Fhz9LbQRREY0G?DaNsL7~UCYB!(r2ntfOTeJmR75)glo|Y`xnY7 z_lwR?hb%eV$(E&dQ@BwDWeOu~%nmXi^IjJ}H({P1{K7^x=)1F!I=JhUXgUd$hKf>G z=DMkV8mB_`>2`Oy&Bsm^71V?p(IBD9Yre$5vvISNj16sy(}wehsI}`|=D_mAHJq#2 zKsY!a=I?LQf#db<==afd7i%6yFx0I0xV~QMdMYAI2#y@^HmK z#K5*RZ+(Iu^l0P=39Fcqjn#k_GXqN4>E+jtTTNWDN-mp%SF;4z`6jX&WM*IKd z(aor9KZ{DL*?0BE&^8Gz`O4E1+Nbz1$m;evpJqJo$oit*QN}UeA&8WFp9$}spBg7@ z)7ku{{)du8Def6v!eo5gzFN2maA8tAV+) z+Ak@7w|lSw*{Yl!Qo> zGR*AaA!Q>ZsW220oK4u$5L}^c!C=MZb&6VFgK3|r;7U^)dEHiKPc>Au)l&QEI+8}rci-Lh)nmZKes z^?>+De|L!&3V++9N;)2loN7zdGpN&mSFO2&>2R;VQE*;%^9BYbUjIqnAS!QpQ;^&s z)MdKr-y?eB^OV?#^by{kMkLcr_TI|wK{w^{&1Cs!vw3ObFcQ3_%zUz(V*K@x_=z@6 z1rG|(U$GQ8t0UF3b%vL*kzV#O>lgla>Cr5s>5b8p+?`aDY@@-E_$)T;pt&js_TFkA z5yGte3GX`LNeb-K9{LGC7k^}@K3lgoJfQ5Cu4;C8_crBw#a>j{A99mw!@)6ol^uJH zL4SEPiHQxy^xV-wX1qo=3EJu-*_*lYx( z=H{k{n~vVxMv#(h4%)@R5IRH-a=zh9Q@wJX{g7>e0F5{pCOgxjQfK4;<+4iIt%{x_GV3OIPnANQ{5+Yp;)M!p%Jh ztjybfrrYF+{CRo#b!i=>6Yi9wb|Y9T>;3o-eDlKj_x$07ti$pDsi)3zrZLJDucooBo`x90sleLuRRScj~)+nL)Kdx`K*ayNP zK*c_Pf%{d622<@YVkA3Nj`#meMAp64(tzxEZKAHO<9uyrrCm2EdvxK3PthvZ z)zV$>!D%Ch`9Uo{f;&jVWcb*-p-Q(et$C^P-;7zoRy=S`WI$w4Gz(t*epYC{DpD)M z<@ngj(V30DmX*HBBqxQb@)Y}+MQ-xOnR#^e$TF=O2bOL;m zC*Ym>y%s5SyW_)oLQ#tiPBM?D!gk8jVR(?s9W~nC$^O#Dj>?V*agni!4c&&dTL!%> z3D9|{K`Eg;bxwWV0@0N?-ZJ50SE1vaHNH!LZVrrmo7PL^3KraTkrPRacD;+XShu+= zK@bpnxxbu=w;f?B-ad}s*!u~tyQtp>0kKH_+ZyjLGBVT;;QH?(Tl-7ryF4~Ljx7c% zSCjVo!H!%$YQ68*uP^K)=&a*Opo1WT4?eAbqIuGdf{>#wdo5$;B1NKyhn3YH9)<~f zLB*EGp>Fz_FV7vlJ=Ay6tz!cM3`QX#Z?}tePjlND>G?~y7QFskZB0qnlBuM_c6S zyMn|1J5a(eRz|r!S5glT-Qln7@XZ+=WDivZjo05_lmqFUxhagfS&QM*zowt&Tohws zraa_r=7pQM?#b&cVojaXVD;0ifj1R75~1%3Od7&0ap79P*ewz#(?vI`DP$LLr&!Sx?Ms14mgwWRBu0F9*SN5%=qBUGtE8Llhh ztssixUndIs==rBv@eXeZ(r)t9!`L#s}_%EtGc5xfM-4qz6O~G z8^H?O25B%eP2Q$_&2DHQ4n|?w9wmz-d?Oy@%Z}6tz`X0olrR2?q0`}S{>Sh2)}-T) zImkp)ggKMn2*B&Mca3%1t_*G{wSm+0>d?;i5oQ|zVTP@~k9)|)txBcT3*&{z+BExO z41onLXZw9;E$v$uZN_|3U}Wqlqd;lPW1r{k+^+v$w{|^pU+ybI%Zz7{s?+DGcMjX? zWf1vvUqdEq*Xx)Uj6uTGo)T{c~;4h~#Q|5EpaWRu{;A*xWDdAgTdH^BV zA1>{KdX=*rJxKlHD9Y40(k(_*z%^R*-Cd6!hVIWomdtfF8l~sH?i!`Q0eV?P>h4u$ zg!=APdIak3TuQ{_&C`VVSLdCHAm!yucz`>3bCUB)pB9sqS{61Fjv~V%j9*Z$owNz< zdKo|Vh+2_K+DbkekmQ3KQgBFK<<@$y|8vt%XYtne$znYiKTwA)3%48ZxKG#LP7^NV z+0frmm}RS}o%HX~`3fTe?4;CHb=xD>AAgMBw7+~1)9A|NT6n}Sx5T3<0{F!XCtyhf zXf770EfCEQ9sZi<-#3q(o?dSEz})l^O=*>L_Q+$17L?3<0FATDQK_*2W#F8ca1*mIZK9-2wESUs%zr5tIRN#*cE-<+l83ybV}RL3eNyuuzw1nm6Cni0f6 zr=Ar`b!Yz2L|R$p^VBuEs8>OW(IQm+>~2(7Gfa1k8tVN+&}ogb$IRa0^HpEw5xH$dVWpA4sr42L8ahm4fCB##J% z(Ek}R{@>@Hf{&LY9TSQXNc#t@sAG;ZapTz-&_?1}x5Jd$;3ZqvS0il4py7yvE47Yi2xll2r3mb=nu+$D?R)B)dw6+?lN)!Sv3T2q z_)#a970HB`>F5dh^0%S(uW%Dprrl^A4JOzK)k>WAu(6gV^KI!6IFC0U^1w^`W2{uU z=z$l_S>H~xF`$R;$FRx1)+$yk-iby-l($>BKAJXB`3RxSzZw7qc0jJRrgfOE<#g{u zzW&%k&I|TunUGD_bWlwYgPG3o^o|aK^fWKWoimOkVjG=J|DpziY_ve5D4MtP-+WTiVtMb` ztbXE!@^JvCKykWl%Ah5L5`a0W90-{fJwI7axv?CJMx8Qq83%SDA4iYx`uYL(trD4U zD<61sjHledeLFJQM<+4~3!BktEHSNm4eMpqDTmNV!W~Dlwg5YbaI456i4>FGdwPU4 zXGkoYjZg~0J-~uhIan?|72i=^-{HYlK0OhFkyFEBbb?=85UPAsE{QZ6jUTd5EQm#F zcjiaaN=54}xXxwC3%&cH+C{<7+n}9qsgA4mV6GQ