From b5a1a77988e20091aaa6e9c3cac5b926357f89ca Mon Sep 17 00:00:00 2001 From: Sixto Date: Wed, 11 Jun 2025 15:06:38 +0200 Subject: [PATCH] Cambio de lo de las resoluciones. --- TFG_Sixto_José_Martínez_Gan.pdf | Bin 578709 -> 579004 bytes TFG_Sixto_José_Martínez_Gan.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf index dd6dd588f8a4934dd57a8cb72b6d4f574cf16845..dc5a4cac7239c1725d3356d5b63660b63ac2e15f 100644 GIT binary patch delta 26760 zcmV(xK z6u=J;!G}%C2<3nA%b1l%JGexV*6rPzXI;Cg`_z_lMTB4hW1ZSlPRxu;B(>5Jk536n zF9?aJg%s2Od;5tKG;=rbB?`}bdN*HHF)^sV(8Aftt zKEOUz+CJ5SeX7_#xsJdG`vhE!iRhEjK=l!Zl!4~w40Hex3!7ZD&u9ae$ldeyS?J;+ zeANqlSTavmUBpOe--J`e4%=9Do7p+=uv6?QOYHdnil+TyDF+qD8S z0j;=SbCK1Xy9O;MFjy$ie+%sy?8*Pi8xnk9zVBR2#J4I8ev;$;q z!z|5q&0S+xx)wR}^0Tk?w%jybYh$h*+J?_|V}^d3j(*UE*$Ug{#v$lQlw$z*_>_Az z)~$ckyE4=Yg3dpkl^aqKW(J*jwbml*s%}QWWH*9kbu4rsiyNTJe*jt9Q^lm0&VYDz zkQr`sP1eT z$kOg$&FY|f1sX0_6V^kwPfMK^K?o6z$MRQXxBW~Nf7``I2#kaXlLT&&VEku z7$Tvy0LXzuzyu!4w5!u#Qd1t^qxf7FxU12@ScBN&6Kxd?!2#e{Hjle?xb-AC5i zcOCjKUQnWQK8xa3RhY`QB|g8ZAr$9r<4q*Ct=9k|!P>c*e~o7Zzka^OXAhn%$zuUp ztk0QCt|!*w)|;w3>>#N7CC+XR$?(KxDCItttWp&h!G&_sroptAR zTld5F?rAmCLOW*`W)d`V1t!T(`(mhZ*}w*ZtAS@v`eX=c#Q?iYxF{ zmxp*1IjRTAF;6jRNse+98O~&ni%^ zrU_)7YH?!sESR>?GEKau>U?UM4=@jw#@ugNY0ycJDL!<@Jn8Yb;{Jkt+j_cg?d%D`1yRy}lL&E1DZbw{U?QZAY_TisM z_yAD*@vsm!0J`mAWF|mOt70xEq`^xYmYVb!{S@X&*f;21bCLVR$HH&A-CAV(f2}L# ze7gbW4<6^VFo)rx*+Aof-5+jdO}?P4hjzIK$U_V8-Vc`jQ8zSn2W!-L|3QBU!;|9U zgPNQ3K1k?uveQjN4c>?jel@cEgwT!%UFc5G9IBHurBP1Qm}ZWR@-i@FQ}R0J#DFe}RWp40qr|7sQ7+RgioVyQoMvV~89p?{5;3T|utL zk}bGtF`W}JgxkNch5ZPnr^V{YJ;`%>;;B8wC^eL-d;z0c#`vl1JlZ-vx%DKs6#VxI z%sP#cE@3nuj`2m3S)dN8NHB{o>mE&6+Lg$`)`~pV_o{0L%US3NLUuQHe>NYcLT5@C z57l?+Lj}lJ&BwJg<5MAgMStjhh41s(@zAz&;jlXAX0Ht7+xAp6agrno>tXr1lOzeb z;?Y4;sv(%;{fdYIv&BxFs@Te$D?EwX93VAdKw$y?(dAUaK!D{7sXntwDV3*D+eY_j zy^hO(v+Zij&%1S=y|sBWUkq2NBt(<|7Eqq zFL5aw9PnU(Ny2%QvLM+<(P~uj_FV({POKSrm#a{b0>9kx)fv{tGu+fohe1M4mTI{bv_E{T^;SV&?;z+avz)Q|vjF z3dYw%7y(Ze%VW{hi_ej{&_~Q%9$9(fKfYgre-4s6|C=lBL$NR+zfXG9CZT@uOi&;+s)GN2T}Q&Ei%gT@Na*kO$l1jx!= z*a4U?Q@+-Hi-0f7#>wjvhYxqnw)uU^K5Bfd2H+5Z%pB&Zc}%J<-Dr zSMldX93zH}r-Hs9b9+swmrakx-|`IY%yPeNe>PD!^9B^4t;_A0zr~r@xm#MUSIK#5 z+_h*I&<3PuN_fffmiNhiDbu;NNO7iLDhbtRFIj4$q&(TlC?L1XqeFH;U$)J5>m)3} zX)pYeV!Zs4&bP(1YjdBzq$Q+2cejd-KOd;l{UL^D;vdtmAxPsZmpAN!-Q+_%{6{GXnZ83dxfAB1#PPxhBE3La{?Lze_i>UXA`Befbhppx6 zb794LmXD#qWi#Nry?f(6Ky!O6x8J7wQsA6qQ9SI|D$(yXcK)7Rn_L!bi|X^g<4^?5 zaJp*Ww7BE8Y2RH7&08etuGxE%Do^xr3IJeb-)$O51}{Bh7Jsk%e|Bmy846`?lhgwc zw}6!b$TLF;s{U0l*l7rvMIS3a**OMjT}U|1i1w$e@`Ay7%z%~0iMQ~F@V^J z-^mr@Ip8Oc=?qQCW4cfrk%tN*0OQ?0;f_4yBu*HJY7NO=)sKt;1m<3is0#s@R8|6p z@ES^38{QIp8WG{wAo@!*6rmgu{(HR$m|ic!TNuV6!qcf<5H9^x{AUFR%qr|u7zPC@ zV?uC2f65qSf5-{N1m8<_7$ktBH$j&~Fl2yeU@!{?tRjkm z2VhJL#KhoqkT6hvV!=R_hfXo7QtUB+Yl+E3?pFyru=GnYF{#cBIYp<#uPd-)MLi&FIH?CjFi;N&rYCp+FXtR+e?)K{=LC5$H5YY9A|t&^UMI@VzrbQgQQQy2*a&}2oly6BLqbpRNBb6L9-xZ_hNRrg=R% zo0#UM`KD_pH|^EfMoZtC@4g%1PZfCyX<4P8f0*W{cmIY7Z5CZjunES#zPr5qd4@I3 z!Q^ssbNYFF-kLC-ay;(3_U78q^!EEN-RskC+_h#Za@4$z|V zFD741?WpJ@9bMBp`5C!DW~dnL4*3BaBAg;pa?;%GG3Hq zmA?Y6Jx8Zvy{wFh^NX&v?(e6E|9t)Sf6e~Mo5L3;NAtn4r9wH{Iej8Un?XB|>vM2) zaJ0V|q$N}Z=@K@%9-ET44jf;D<)j){L8HLiT!#h0TR||_U_FecOjCso&;jhX%Uspn z`aU}ci95{B`Md>P`tp#(P%DMi$v&UbT5gmz`Mol2H>WE(Sxi?=i6^A%?g4u0m>!Xf-OPrhb%V271yu=l#TIP+HCWV8Hm=B( zl~`Xa=Q_DQWUE_z71nu+E&Q4GwYh*^+~nqyV31RTj2PtMAg8o8^R%3LPfZ;1ONryl zmWe~IK5^!;k5KkXY|M~bhZU`wf9g~~scH*9f(7Z=pd}=cb-7dt_QKcqJsC^ki3g$1)) z&r*j4Sr&ADHQ10d3X4jtWGgOIVbR6f!2C?ax_y|gEmn42kwjjK*%-bie`c|5E;JB& zB%mtkiNN$aHJ+XaY}HUKc9~*}6m6z$!DiqiSuWZ*qlcutvVw1ayBl{GlWVk@es`Tj zL^7ZlRz)HzDYU+p;mS>l+_yGo`v*UsuGM7StNp{P8RVWN{{C(h@zKfLyJxHE7t`$T z?e%YH_RrM}&1v)Y=fBDpPpKt%xG`HRO{MTE1HSRvy^U3Ai)rX6*Z9m>M-T0Tr z?Z18Z?UQv?`btJ}u|j(8<}CM`JJgBgkJVIJA;x+poyR`Lq${wZ2OY_8#(H+Pz-0jj z2!X2vYu#B~s=|7Nf|Kyq+L;Gi?s}G6w`V_<YzocJwSj;F^te>7Vg%@#~Ez4ah+ zmuv@xeAdkrRVP@_3t7TdP}QaEH=d~hnRj?@f;VUIETgXx)W6zeB^0cTcn-Xg?)np) zQ?vZCJsk`>L91UKrDD0B-cKg;RT&|d*Gm-YL=Orz+M&B)wM z8r`-%*V+Bc&!7D8e;jm6We_yTPwW*e$%H_?agfc3_3~KgES|^eaeOtA&SU3FM?IOY z!N#l{7VEIyS*jC@M6&vwp$e-l`NG-6A9&Qf{`_jbqh4PU4taQOO*tq%cTh&AWr9uH z5^UNjfd=f!1!lt~Ks7yn<~-$5d8Ak*8y0gQeMJtW6*&Obe`XGwvEGY~Nk8Xgn^&EV ztq@Elpbo54!e?)z&(BmK44dt>VZJ_O2a!F9`MK11YW!weir?&>62EgMul#PcguOr9 zk!W4;o3VYb;j(^1wQkiR;|jqcmL*18hoz)FcB;a9>@w`*pK^G)o;K$LWq7PP&!NNM zTEmo24X&~re_X|FOOCTDGnZYGq=r-U$s|q|^kW$PhKp!^B-=>*7){0D!A~vn6Lsnsv z?~g31u;hA6)L4oG&h2C|#I81@|w zuzfg=M2}@llx&UmG6C+tUsXTIZn7y+8rjJOhuG$;)m>d(@2={Q$^C>(p51)^^5(0* z3Ob=A(?rwB%eRx9WQ9_bT*H;|$;;*B)s&Iho0mU+^;b%Zuqn%nj57v3nO1);cdxmW ze-DTCb~a~{OnGLn-JX;K6fk*K__6L&Gs9t7XVGYK)ffQ^c-pK+Vw%O6PQX%Rc}r@KiP3P~e`!cW zG6gUa5s!%In(I-mt4&ou%-D3hx6HV7-52qcb;d|Do98L40H+HznUjpbtW2|4DYWoR zaahc@)i2*5ozehBF&lD8qh8-6rf)k1n$Azpeh$r4ZksK(wVidfw%094K0rZIyhv%5 z!r|aw5@6(+$n7c=PBv#wGz0y%f6Z8?q(Br%Wn2CIhyQ2>Y@1PNr?nsNn^aFU)4GA^ z=YM^XfXVeT4~F|Hg&dwyX^1)k9k3-q)lgVi5E)W9^!|Cf*`}6@6>!_I>fe7dUC=y} zxuuL;MQG_$2A>42-ll~CS3K&>Ob3~giSXCorp5sIulQ-HuE$AreI2Que@C*WOS3t( zQa$fVk_aiPrOcqjxvv37=O)-4{@j}3u5fpiyh-qc6a=I?<^JcZ* zxZA~cGvm|Uwg#D4*;cO!Qz?L{01Kg2Hcwb$E8&AyIOMGbD7o6k&hZ0p78|n=@UpW& zmVtZAdjWZ{QCund@lw$3N|IHP=es8YksxrW7)z~Kcz@0j<6$Ci>8EyhCq#p#g z6gtc^=83_|g_rO zXp3`og$P6kha*-WeLW4!d0f;BqB8t|FEe<&4pA?hAD74OoZTUN_r%yIHxHYYZYUeNeawl*ASQ!+Vu7 z@zOStK57%ehy%;UTcA(E|nB;;1 zB~zgonrVK-!{a84|j+CqQoGSwLr1myK;f}f3_XiSJjN_DG(9R&iYWgkLz-8 zZ+5nW_oZvSbbar(>y=qb--`!pZLf=M{r*rpO2r2EGYpO4766-;%dH#7kSm}ua(*66 zn;BqTV*0>=%bS)3Ua2 z4({4ge!t

Se+TO;W$YXm(5J%&ubIe))DWX>P&E=4 zVe}OchF(@M=!dj5gMNE#%}|+=7~mR%j~HU)G3`MU+05b}$%O)%$mNKI3T54C3HmJ6 zPXXj7`y#U&zzVv_kZ$Sphqa~Oa($0{25h)`K*fUJT7d@*4iBsK>eo=@K?^IvO50+4 z0{38-*>wX+9UaPD0mRAq6mCSfNMbQ3N+RD^Qgup+h-BnsNqduh9yJ%(nh_(KZUPVoLE3b|+ z0ysEI#X^R~d;rdscdZHy&I_AJ;2xpSvHCcHX3r+3?F|8zDkOMU_!|B^5B>!+z_iP# z*37h_pno(m8%>(!oPj@o*1nSh_@03iyq?^sELX;44PU-69mAj6{ObXnI|%13h&IV2 zvP+dew74G8cpOO7K$E4z8r`iN%DQojVN!XYCOOs8 z!GNQ}Gs0q*q|0mSx8b#ifzZ5+U6Vmxi(C`0Sl*&}ZmeE#>dKUVr@FRRYms-o)+7c= z4wg?d#}_FZ!p6cQo3V+o@#9h6AyFM0W~(HP!4LA-W;|-^sbrVB-(@;-)m?&u$Du33 zKCE%nV^BpVTXJ6}?PRl|aWy;nGNN22QI~hZl@9}olZAlQ-WF-xl^8@YvRWV=v2=tK z2msbfoL_yQ%ZoaHNfa2|#aLndu@#cU$XpO-@Ee*D3~tWA!}9^%b%~RI!Gcjv&su?&I$6enATFlP z=I2+SPCt>iba}M-RYVtYwpq=0`J_xZk6y7NUU*l7ngfTbH zTSLe7yuGgexmvD1CG8Mx_VTW#^W`X=Uwm$z|2`exA%75^KQcDPuBY^2Idr7;dvcJ| z+~m@ZV)dSX92DR!iOc0+^YbgnK|hfcPxs{@!)zayW+_k0LD&3`D+k*N+C4^|l!GDG zhC)UnMU@d-u}rj<<)3IO$N+qRE=JJNh)BbyE^SkAiUrNbEnmU{B?Wtm1?ql&1={u# z>8(?ewoQE0Z{41zZP)ydOWW-PkI{CBwW|ca9@2Y%n{BqZ%QT`XvPI1_YGrz4OF$c` z%gMI+`T1mfD%94a?HprHQG!&35W`>8Vc_sqD+%_8GPNJLY<@E$e1e9e-gq_2F@8_R`>H zw_00Abf4K477jYyxsEp#;$z#4Zmupacx#*5%_DrjD3_(ZvpFok+6F$vATdBQ_x>k)DF2a*@w8&K!DTP_sWQ zQU}p(zBDIAu(=Cg*6HoP0&YFW{4Kq!L<^a!C5!W)nk1a2mMp!^rd)b_r-ZDZ(GwMa zrp@<hAQf+WLJrOz}2i<=d(XjvS} zwMkLpPO!nv-X{-q@BtpHJk5q`92>HK%h@o(zh&v5lJiqKrmIB}RdUwbYNj#0teC#5 zoMJ2Mt;5B#x~uG+v(QY&3A}LCVDJGnt(D*AX|wfuD6=nq#)|c=|4pcLu=Q%c@k1G- z&-NE-ZhZGpd0jNOYgi~S>pNvcb(vWrFnXHgCYh|p2 zO0-E=M3RNag(u0a?ZMc3M3_{6AL>$l;A-UrBNuB^eLkl^b~dwr6}?HCb3-!b zt+z<_X{BllTH+%0&ZMwjkVRC~_X|}UoE{(xV)FS(>vbV?h7l25%ZT{O1KvGU#C=QY zbkLWIe7@|(&P>3gZWGrqu@@nGwA0vc(a^^i{)3Tb#k90fhWeLo&iIK_-0_QN?!B5~ znqIUy%e9F`M|$Ax5ZXz9TV6D9oQBM4C)uqh8ziT_+!&t7jX6aFTDGWj688c8+NKVI zC6Y@JN0xtzQ`sdnE85w9nbJx%uC&rr;HFRBp#?P5EqWj9ln1tf3X-3L;hmA7j?jpwDq}@7>;Bztqhl$1^YKF zDshEB6&}>Y-8oHvfl0MM!)v`bbl;E5zCKh<;zSKv(H4$;+Bff9%oI1N!D6T0#Bo1&Z6U(#q2njXL#@x1t&2&%c_eTv;&1nT5T(Mh%!|nc->cv zwoC(_!BTEayifMkJ0BBKs6`GYv-KTW7D&W|EvO*pz5l0d!4+ONe)dcIY_?JGCT14pGmPzh>z*pr z$;$7XP7vlE|HXzzQ1KIRtim+*6UR^F;|@c~kCYJFQrMuCLB`S+(P50*O|5na+Lw1u zq`dJ5Xc@5_6-9@?IrhBRO zJFuyL+()~evM|v2_|^Jp^@B_bj8%ve^@EsSsz#ixsPo3a{BB?;Ocqg~00AiL)q34* zdd3c%02ia-#h->Er>!S?81ht9o*xA*&x&@Sd7yj{!lV-=K;*a4(YL9yM9lF|mu#^b z2PD;{&a}RyUj51`UvHDUwq4LZq!BGaBZo(SaK#4<%AqKc0y!x1>_=s?KMQEW}5 zHld>G3JjmGUyA3~oEM4op4}$o&DehD}6GZ;M7Cc)Eig?+3LI@Th zZPW^8{KD}@Z5&i#_Slz{U<0=^zlNa2sfB`ecZhSbx`ep5FD*e5=#`pd4d&pk)y_qm za|!l7=#ASTviHE#&s$k>j$g3v)oW>V){9BO4Qrl%krO+o z7~;nb3mkS-N_Ufqi(70mM|ptpD?4bncPu+VX?IS_ZCkyiq^Y8u7ez+MPy)Vhb+P5N*1OKA?KCP^%yA$KtjIFMSw=m{M7Rv`|4>Q}QwjpFIe11Njb zo4fhVkFGV5phhm9D9!PdXjtrj918%464G5G+s5W^rjHHGllDsLl(x_dc-n!7`n&@V zhaguerE($U7a!Jlq3x58w|&Z_z0#fjhxGJ2wojGlt3Ul7!^h;*;rEc7e+z~`#s|L9 zrF?M0l0MIZ`l5VrA>{H8!UrdOfFXb41RuoYbdF-6Tv`Xe!#vKaXpM@0=j~B4IYkly zYXtwF4LQM*tsHB2CNk+1#8~f<6;tpPZYZfTUw@iHF;y2ECG%m;qQAi19O4r zMTv~V*b;`p0yc@a6wzXGTQX_SR+j{KsT)RZzRdln=C||a$9{mhA7L?hF?l}ma}L#{ z0HeuJ6wC7q%_0r%4r)q&xZ-hOfrtp|2wfxB#zjFm@0*TMyLcHbtn(Jwh5-5tNmW5j zxQa=1c*2!zUN%cP4`*r~=4MMAX`yMIT22DXiBBxkl4>Lv(}RCpM`#};n4?4d_7syW z+4DC3yfyL@ITJ9R$-#7unoLigF`u^Ct1ts<_+P3(72OJDZe(+}jD!R9xB)Yl0VfD5 zf9*VLliNm)-~B7}QOb^(ev@=6SLHidj%5En5QpQ`=o@E9vFi0>4tr12oyDd`qn_i)QuH zt3Q4DM(IZ}B1vsVP~WYjTf#KgO4;SLPE~!Ve|GH^ zy~Bi-<)+2Qw%j4vO1b4PE2)>ql0Zr(#fmX0Qrkq?K*@8MI{+gD=rcF7+2jA;geb19J@`y6ST{&ZD^)-XxX$Sig;6% z&7tff2#QU+Tj}M#xYkY<4L35De}cc*dL77@)vqfhmc`mLWi4HvXah5mI#SJ1ufX%U}%h2p8hsHVp-mZXxVsiiydO3PX0N8t(0{}rn%P=2k z<(F+ieY+#5#lEgK#kP$~%%q95G6?)OCJ2;Qubc_tebIs9AAl*sGYbZ;f12BsR-}x%R-;mgHF$ARZ#L*u+RVrbov(K=c5V z&3gvOxR7A{@%+Dzf1%5hEO!eDV7$xz;PoX30Jm7%#3C5B|6i~1A~B9p-iJnnx3ji1 zapB{Aj6j3G7Ai}Ow$lmE1Zix)Kfj4;5Xjn1m!dj{$(%}Hj7fn8=2KK6#O4UN^+I<$`M_eYYj}eM5e&$TdcoSA2+-?<3i#^w$X#{BE7E#z2!fh2&#y&oAk9N*G#fn|>_Fa-uP=LN>W#uxhR z0?RI2)3YHXf4i0fY(oDF$W#f4lMKn!jbs`;#z*B0<_|UD!vuZeyI>GKfSvVSvQOc= zj0V#GEG=L+LW8pznDw`)Cd&j7;`&ySh94OsSrA<7&+{wy%X9! zcr|=`Mn7`Uj|)RdHwmTADT=vFQOtWNioQ%yf6OOT6nUYdm`fD}Y_BmV;cAvY8m?X| zC(n>*l?x>PIUcUa%=-L<PitvLHCuo)IgdH&Am}w67 z9sm+N$Fj$S%7|$a#AIXF zeD;-r2@VQ(z+dHOqWU_Z$W=F(3!`(B! zgm%Dxv~A!T1-Iq9m4r_lEb+ zQn}wC?)%glccC{wGYuc<&b!OpdG!h1d4I|loZUL&&S$WD_yfC;%{u4K=j34P$KCmK zF#>wTotJYnIU5f5z36b$s5?=Ze-3k=9l@W^v(N0$$J=q-v;KUVq=WVPSpB#x+*9wb zALqio^f%Oxcf@=8(s)n*JKj4vxjLUa#>1;gy!U-|2m5G4Ua{dC4}DT%V`hn0YTFc; z&n>7L3*BihtO5jFKVrstV_$)EMg606D`%168G;R~L)DO(1{?5B!3IFoe>}j>*Ys7p zBBA%^jNx^;!J53+K90pfs(4w<*q7k!`4EP{%Ld8z>1BgtZBJ%vMvTDf8_s6GXy{3- zECXQIa_XE4asX$!yMZr()Vt6{lQ%TkSRss+i89$~-NENMf06oK=PyQo$ob2>u1(?@ z?Fj63yK8;yhSG1!o^d{Kf1~=f94vvE9RW`=`LBzWN<)QdU(|G}%tLw8i7cV*FNl(T z&zj-Om6FRhzL<}-UX0H)_#k2I#f~D*fMjxR(xWN4REsL+;6qxZA)YPvzP3z<1-fmy zTnadW_Qao6-J+&z2wo*y$Y+U45MKC7TRsl~y~CN~dCz@JD1bwOf2V2KTKEsOAjGwGrnS(&#QJ-6NaWa_@8xMhQdStUeKeTOy%X{ z*}6G^uC8NKzo~uBMyDWQZ|XFz8A;eQmSt{622W>R&i?QXI{gV6K96P1KaYos1?4;1 zTd$~x|M!L6A!yTB$+?HH%?owQ!ww~h@G_A(jyv9$I)Z8Ue`LDpT#~2pqKTG$a{e-` zNtyKq8RWu5(;T78uRdre)w=V8(mE{&z&mnJ(4)bBe_w=Oe}3XO*5=NekxB75I&2;( zAndYq8=T?%5sVfCO~!7rn;*F&Ifv6*=R@o1gB^RFH02TPU2TI zF4Wm|g}E1nBY1*Yk31>9HwiRjaYi_3{Dz0#vqjyFe>amb1|60Uc@plVJn8*(A1Ruu zuES>3-i)#*0b;_AG5I}XXx29cbp2d_-}saiJV`C;I6hwX>OO6K@#@Jhyjo=^zFi9o4Vi;gvX-zqpgHsI1iwfy(QoMs0F~G-{kOsm z-){P5{Ob8??ZBu|8-E0!e>E`_;d$c3<4^E+6kf+*-JTZzL$tZ98eUPbc`uKfzV=^c zHmF8Pkhm%06C8BDkTBz<)H>0w&*eOedv4D4f9Lm9ih($fJYvu~KTZ`!>@^KRf|A`- z-qj|U9UI#OX3NiA8%WdL@Nc}2`W^F8(wRyQWf7*dJR}WWj{bG-$z*UlpbQVF)P-g%#)C&Q| z&DHb$IfSrg@&4T?sh(%c7d1Ukcaxki`#`6UOW>W?)+TuKsOer)z^5R{ZOQohO$9#l zV#?Wdg7-l#dGOtMi_No>o#cvfFy5{NZ-%Z(E!LS$l%B2TWRP@! z$C8_UB;iBLf^!4LC2D?OBKSGue>-SmatCejtfqI+dKa#bZFpNa@tT^k_tYm9y5M(t z>xL0tJfS>Ep2qsF$ zGQ`WjK6}3Y=EV;Y!qDpQ%`5x(%`0jB5z>TytVc-`JeTn4$iA4Pxb>`R@MujPs8Qqmk3>W9PbubFLG=~ z?`bsi3Sgs5L&|qmQ}5RHe=c$GdSbgO3OXIs|4lS`iQE3@TF|g`XUOns2<0!s1)?v2 zc~+*#Jbc7*qdHHFlb7Ph!kS*HU_ zr0lrfMrBCK)Ua-N54{Nstv8#T9iz**T}WtB*03B^=@iq<=$5=de@=c(S3eb{TM^&B zhyPIk*7sq)@O=_?chlChIC{96%?dLO$=M#g!bsoyE!`PIv}q^7SJfM$o*|U~n_VTJ zU&cinb{|sMHHinQKVEh#H~UDFl);>>{0t^3gY7*tiIHrPc3_2aZ;`;I^uLe(Z|z%P zZYcyQ-%cX*A3@v@e$EOr;WtBdu0RV1I?&-m=>;_ufNAAZteCO8W`h}res%yH(eow)!>Z~ICpXH;=CNL9ZE0g4s#Sj-jcpF*rHf6LE=%0_YB-DAva5zJa)4L2NjP=TMqL8CxK!C!HZC_c;=Hel<#M14WwgP<*`-BP>i zN!HZ1)OK-LLptELbF#RF2~uCU(a||h*4tu9qLxH!YTG!XqTvl*xHr~~a!wk9#wY{r zJ+*zwirOu;Wlz$M+Ii~(1LJ?a_ufm+nb3Y_gJMG1xcP@ov9@@i4Q;92V#{&0o~#cB zea!Y2$`owe5}jd&%PHKOqxQgzb#aBTC~%1_wKcV{civIFQNHK5SMiYjR)gQ3g$!`2 zAzWFeU_tcArvyq(ibxno+Ixy`6d=~+Q9y#Q0$BFP4n~E1Q*b3*)MdvvHaoU$+wR!5 zI`)l?4sSZPZM(ycZKrc%8}t1$4^#6r4{O({ea^#q*j0N~t-Y75+B+NQ#Ht8*&H&Y< ztYTt3YnEoFOa)LJfl5`ya2P29Gn=>b8bq7Gf#mzztM;kzX2!$^VY=%NlJ~#1~ zf#NJ!Uhk7a3O@9sg!49hcUMFk6EI<3KS%Z!<*)FjZBt|8Mt*3xGqMhcREM-l zeqlFTtwLA~JVb;5^FhtO-COWmoXnkU=vZ ze02GuezB&jhV5D3vN`w}AX_tXbhul^xVD??WB;kbs;*Ti7sQ zp)5tNfAl!XhWC*C$Q+1F`a7j&61u62e&Nng+o_8p(Ab%FGT)$Vl?lXEDxDSACwele zd8*6(hBZe&aqVeQWQs5=M(kw_+BzEFRI-J}Oyg*}1ixrJ!bV~48Y<_E93e(XgwRh( zrcMMAr|mK{mSeYIw@|UsA1+y?|SH>dsIjBZy(_p2m;Yr@cg|*+wrRW)}YSW zU;~bJ77q%EbE5|qf~KghRTJ)M=P739@BHOa6Prpmt^VeMO)}g(2?UqOSo5}XRC}s7KqpiwDfy(GC6DRjaUs?mA1VjG1APw@8(im5QLYpYTSCfU zM3N$HrkgcKQ-Nnuim(^th(~_z@>u(}QL#nKbX2_d874Ux^#%$^&Axd#J*dA4`)rWb zFddmj&J6a{?%BHq_P#f{hbLWq*b^$VlR?@<&Vm#Otua~xjeNB@zpb#_jrDxO`^!~t zWUPeJfdq=RHCEyv$x&SduNm9RU&Wv^$dbxw6Gy3uqk)}&7IaKDx#V6dg$lUuICujl z5Ed{y=~e!5dkGih%MEsIQ8$(R(2zl#Azkr_J?&4p7Ft?6}aAojDG(tdky*aPv+FDu$Lv@evTj1myzs9as^J{y|q z^1QuVCIc@<8U(_5cNZleOu|KfG4MODga&gPsL@9^i{Fve@akeOk7fv@YtatJ%EfTW zGGKKt3TxX>7hwk__+^oHck7%yrNkOHl_B#HF#$-4$!=a*CGQ z<4sIQVdYaC4k*Em(`Qrba9nJxG1KdcPIn~Y5Cjc)%X%Cd)U6pQ$1Sjz$Ti zTOBybuN!p>v8sD)c;>j2V`gpQ!s&SWXa7g-KLQsdybD;~G+Hzoa%;@~M$4#drV>2O zQgf&gzc@nFi%LDzzCqB&0&Qg8%b&R~bkR1rxOrCQ$37Woe&zodwc?UOU9aZ4KIN=?qs@Yg^uvuRSRZEw z{{}^He^t^O`U}6h2R9l)K=Tv-8hT2SNFK-3`Ia5Xhs0l^MR?$ZYW^+k)1Q-kx=kC1 zE+bX#!|zW<^jA7r*x9cn%hYg`PvNJ~ZKg!Y-K3v?Av)mZDz6qAeTj6q>JUEfZR01Y z-HpP|xBMm{7^bBka4JZ%3ymME#ge2tlXS_P)Ga3x-rv9RISPpJ%oZ5Tp_t>wn+RPZXot2Xd_fHu7p8y;wV>re1^+W^kF5>O3X?iS zM(5fluMKSm2@wIR(S=q4`knyzj|xJ|qkyp}sS~k36PZ+x|CEnP8dCashx2Ou+t2rQ z^Azan%rINazsNFQF;Et1yPR2@`R&5};=w<7@3an9@{4?)uW&vK;OXk?$=p|~xRcpY z+A&r!niB3xAan7Yk^U>&tHJoWc8Eisjg>njkg#Ryg1ATgIMeh3edQ7yJlz=SoRa~FQ&foX;ap~nbs59t&L;-J$Vofz%t$fm^mwK&q;?MKe z(G#2oCAKrZj9s`FF!ULFQj@U-n>M}G&Xq6lqb*iO)5pQ#b!Szxo9b_5!|zyBE#7y& zM>GB{hs>KfH6C$}Ub{MLo++ujp%;O-rzK~{H}EBklG}=MZD8LW3C)G`r`_Y;=K;$K zrbqyAr#Zzqi}jPu|HHrOL03t2E(WkDzl#Ri&U-@tonstfZrq#f7AjHMweN>js5mx#iSB>lvWkl^HI|3 zqEMOmZ_cO{C`nzE$z!RbQJZ?;+ZkX*u+(2=yJ+`9Q><1}pDBGtF0?G=Yw&k?;xM#y z^swpz8w0CJ2sJj*&=6ns)o~hn=hKhdo^5k+bf^OvCe@)eoQ{?qbD4(HnF<0aTJetn z7N3b|Y#8C{MG9W}05OtOegBEuA5UFMBGzBDkno<;h8k#j{jTSH0T!3ZT!iK_q-47A zl&wWX1hT%XM8U<8TwA|FJ5T9PQCPV@X{X8=g6gRV3MJ##8_XDRxRm;p6M4P(T+wix zL~Sz+Hoj85$J*O4PScBa``cGyo%BJA2GAnRmETj4ybdhS2Se2na+CBUO!)G{Dp=C? z-@=SaeG_MeDxbE@eRjH2_wy7yN+HMj{hWZSYejT7!)k%K9QcpV?uJ)+$J^S=(Wv?? zi5$Xzk_|mYWYs7A;wknAht3B&Lg@rtv->%Kul&-S;Nyv;_R6)3) zCqrmt;4(ep98J9~ygf|9w2BT4_t*TAILl+Y#dJ%w;Hq5oh?3?l220*#4&HLdkKExL z+A1~OQw7PR0sKp~lqYA##;wzvy_m)qWaXJgwLJ4Rsyc&B4Z;bA3xmGolsID~>9}>8 zD$HjYKqJFg-NlCaYvG#rhPnuGCTj0xXW(!t&~(S6?ybh}i$0X@@k zaW2Sy(>LYj@`^?zJ7H#Kx=)0U1ju7#86>=SD9uBdN&8aG31IMS_~ng)3P&K6N;cLCz<>e1jec&teGj?TUM3W>ZOY*T62{k1M<-A`?L=p_Y3{dq9%q28Ue#9w}X{hiNf(v zeM8p-UReCVXfx$gABD7_|NmCm-CaS?4$w%EiN?_X0p>rz{s*|WL}LI85d_cwm~PPn z4fNeMq#FZQ>iQ3y9N{zGjx^{!+&!{a&sG~TX_!T3F&x~Kq7md?8v8!)S2(`GVNoS5 z^QTn`S)vkv2J*|Uwm4FeOEJ=rTiGLms>Dfm87i;`ROPM!Bl2{o*it2g9&|t&xz(qmeYxsnmzHS+VwfRw4C1m_rSb3ouv=Wt6KeE1D z#oq+X1ZBb=>AV#ALe#zD>Y@}`+4(GG1b#No;$QCKKU@}7^n?o_4EwdgNo92Z&CkJB zc?CscbfJ=UE=#5=^Oqfb}!^_yRe{Mz^9Ij2TvwF8X_9KGWrAjE$)curPtx z9v5IOl?bV{LT88{>_cA|3mK8Aj5IY~p^ATYO{+B`Cy3#07OkqRIkM1A`E$T~KL(>6 zb1(sez+H0~+Lr;%8cA(ia&R>0KFPa?aZa1njJH7&ejft4tRGIYIl^M^mo7x`@=~2$1N^?60jE3-VF=KylP_Br916 zXBr&u5^?Ozb+a@N%BI4hgDS;59+oL29wUvX{!2=ge5~xuyPvN)OdvBavH1|zRm4Mx zh-69^t-wi~6yXAUIt&RWA1|a>EYTj8{0BxR8PF#WDF)AXQ9`pzb}L{4laoH@@O#js zp9K-(5ZadB~`FhDTN@9snk!E3S{OF{as%fC^T~Lp4eGLX5vsdu7+uNlP zk4cZ6y}e<9P=y6&$!kY*iVe(d>wW6QDCca+x`piz0haD;teysL!K?|*2O6N^OwBZb z!E#;YMssDTiB-owZ$4@dDL$V^jWEhr>qLVOW^+c2$A>U@D>=uy0(nML${TzFu)PoM zLf;b~%krwUA(dIy^^(w$rI*QiOY7pTI3+EWh)u8d&EzS1&EQ~CwR-=~cx9$k@gVjF za`rygFPy7bTVDX<`bdpd0h4tlI*h4hvNWUxJH(RZjncp{vps z=9qXl=zj8So~2Lz6>)H4>hMe-Kdz1{{B}jQ;GDbIWxbXlB#ty>1UevsY-m^rIu0pq zY=z$V-<#gQv&%p)$6GhI*a2N@Q`vQTT^&3r4l(FDyM$@O@^Dc}r&F}evu&G(DZ9ts zw}igg^BiX2$U^LKvCqvp+4{~l3l8Y+%QmwK+@3qV%~iFczNik^ktFeas7?O~3Spu0 zde{L`+v#r>)kViGuM>!+dUjIV{b<(wfz(ZO9ClKsl6U&@yuY<%!C6(uJkmu%{h;fI zdd@#lsY+qY+5*>TacZ#npFPRizZ)6q!;`7*f^sonlE>0upim&z!AcB9X;>baTYULj zU1;88ZvtcmJf!L&^{~}M6eGUJ1Vdk%1qOttkkp>t%1+)>s_#S zV*-y*)zD;u14$w}eDIi)tU)2$4wjeL@BP|$)L&b_Oi7c}I3q>z+Zq~{Z|dT^T8q79 zH_}LfP}S+~WqcLS@kkAuT!&3wbT4gPdm^G`Z1bTfO{Ni(Q|M2ka7SO_rH(O3X#SHa> z_fI|J3+7UiUd6LH+mAX0-#~fUsqaKNKcCQm9tgMQ!<#33BF!{I zlbUf1>sdMXsU1|urU&0jXK%WLXlmAjW>N@po0>7E>{$F(bzK1|_v_SaG6sIr+NL`Y zjca1{`-4<&?OohUU~!SKF6gJ=vU@}{eA~|%1g{U ziLNeT_CcAuRk>}AeNN)UG4o_-o9!NO)YY-(EJ&@T+Va5|cn*%m2H3eD(>dSjkQ7)M zP-cah;Yo41I}#;n=o@7rV%@ak(O=bfLdag37D$&p@Cr7iQkdreZ z{mt(p&{p$?`7>Ldpi{w>$JdiLtQ%ro}K8QFy6cRqBIG@pFU`Vf;(AEf8e3R^k z6=M661d6GzJep5d(`Xzd$4{TCPY-vlu|MRfXO8&O+AM8_6kV+FRG(i&>gS%fuMcy( z?w;q$Zx{Ui)t)g}`p_36*7e@8IM@cyjSr<4UfkPPC23N6s4;apglze5JtUUt8buwf zM_Wn4W__t`kl7k}dxSfa1_ULL?3SM8btdh)*7L{L?Pq5Lr51V@$_QAj>n2o^!HF{2 z=3}>N1;KRMHT$x=yKOxm4~Fsv8RCfNf_9KXyx`{64M)AYgnYSvoR^G70-s!n!T>E{ zFL1?$q!F+YW-m(YCQ))SGJt2;q$n{UrR$VhTrdC6KD&r5P{*<4pUW#qIUHaJ5eljf z2QUGZ&lXrFt|#)BfjST~#8Lp7&LHpegfvxcoM zba(j)L;FpJuVPGG0FP0K%i@VH;QG^o)+WegY4;!q{YqUCubzCM z%j|?`yW*fDaRnl_hw$ASK~^xE&$AC8C~5(74p7JgJE23WTg8Fuhhd-vg%y*s4s3w5 z$XNV!AO9qUdI0?+tOF@Qa&+@k9&_;33~ou53T}5;=!K?jS|rD^g@XKY=nX_l5rK9N zo`+WPP(wiwsj_f*aGbCGwmv&r=`mC9%wCM3SG{3eeFC@31 zfdR3I0M_6SLq41HX$fH#s1#vR+T5d{m@x}lD2X8gHfILP0ZH?tqKL&}hgCW=J}LE0 z)fMT`Flx**b&9Fuh#X>NL#`!U(TB!t03>-P?(liijX`W%?Fi^8|JoPRQ$BL4C@}fjoTr;yTb5_35J_f-jbcY9L$8e zukwzY#w^des)M&wZ;FddP;eGAWXA&>G&l@ZO_m8sOGnVx;k-H=7EAh9xN>n?kU|6x z!H69$65ZDqlmVvsx7YC0Oh@3KJ8 zhv{He>c-rc(L8{Y<#B`UFjtb%-)^zpV7prA6pY+NEH07J5F_y}$Hp~i`{x7LV2ZO* zsB1BPu@|t~(|=5Q+iF{zM(gmJCKuMgg{yFM$ozKVC6P7JQ8}fSs&eJl1FcHk7L$o2 z2xZ4~eQ7j=X%@@o%9XT9uOWqo0b%-$T&G*rpBN2>ScNTKt=74C zfQ@LC`X=3qoWdb{WZtP!Y84x3-J>!91qv7=hU8+UHxq%%z{bRqRY5ngVIJ36C0~`c zA;Kd9Rp7%txzGTWg9=@lXIo@{TxN#xVnw1E{8ZHo-$xsBNsXVvi{u9f-CPPwYGHbP z?LG@%M9lX1YlV@Pdlu5$5`rA->EeA(-8#f6EM>s5Hvwr13?@-WJr6)`AzV7y7FsCZ z8DSK^8r~oA5jrF1S+nWJ+qVbPD+I zOm(0mB8+KE`K!05uKPek{BIjic*behRu5Y6|1Ixf)Ge{AdR?xhNd}p#!O|CIiP={8 zCCGDv7J7S#Aq_QR3|oOw=Y<21)|Jgw4O#6|70_S5zV)hQ-E&~!4c}%Xrc?iMeRh;2 zO*OfrbkXP6dtZbJsWPONuJzGJ={Bp>$HY-o1+k}3>(y^9xjF_$yV<7?0(Oekb|zW_ z4gW~q_?FAvVg4+SkvfCEuPq(i{SGjVHB+M_P#iZE!*REO8Mj zP2^V$K?iAVMY&ke>5$7uiFcWX8uX_SveqlrYh`eByIi=Y?{V4~2c|ZT?JKCUIh6@n zUDeK}-9mkS1Ixjj%8<;uE_HIsVHMAPby~&xVDgW9Iyb_Ho4c|~t}x%rQCry;ug~Z8 zQRrh~PCRwj+rl`$$M3l9DG*y6fD~9j)aRGSaw8|Wp(%dFiHch^{_K9Wzg1i_tnAik zGXo_1(Ynz6_X;nPY&+3vHTb^Gs&360C3EPw+^7Hh6>)-c9ggFj`CYlsrl1_I2+vGr z%CXN~AwE};`v(I)n;pw`rYu(O z&9k99^XJvmR6Bmz%GVO;Fb+T~$Ju1H{dXhrLW+X~=!7%1|55Fj^{33%ZOPw3n8!F1 z$n)i7z0gNPPLdeS%Ir8oa4FUOJK#+Pvj+9V11JS( ztX4&`XcW>Ie4gy@8eeK&dJgxp)=usvvNY)PXyp4k$RG6XPknM0uB?g@b84+x+wxRs zitdo6OY=a42>=4%L1oTe?e=9D+vkB@r_Ic^;`7!edC#;qm{T|Q?kD-Ql4lX_s0t5! zG3Ex~@BlZFSj6WwQ3mzPhw_gvekvBrO@Xne-UO*-RS8z|Mu$F1yw1d)D1yucXAx_5 z+`1L}46)G5!|u3hUKzF3%oQML9lgYb=pbK?T0wSckz!tkzHcqQ=s>CVcu@dIQH_sSA*U!tu>2+F$>Pf7{Zu}ag)|Oz1z$ytBWW> zN7u-;Im2;@A|*&}2vCp;DJ2@_s=_X5@DOwY9$r$Aq9|29rYz8y)z&5@g4kOk4Xhlfj;Eeu2$oCKsJ4BY~Utz8_2yBfA=7Efh{ynu;f!FKy+-ni=r*<_R|uH0UQ|D)W82X1^BOGr}X7mRo&N%+y+nDf*GUL7A$zd>AdQSoO#{ zx`rS9ku>Rr^yWwv3EZfuc>Da%I5(S+3GC_xJ6()ESCg)|KP#dy0vH~Aw2MD~gPU&8 zbBz(wd)*&g+s4tr4dx8j1IZe@Ng4u&7wF=Iou@}}v9R-um2eIw$3bGOJ>03iOcBJA zGlxGsZdt{zI*?LOG4(tGwds-!8Sdju$5^dc960XrkKgExtNd%4jKGIH*t!)hNq(#J z`EN&aMWH<(Mykr~lR4YSY+Zxgn__>74^(6KrTJD2f1Zhz&ZxC=$k1)q%Q#W;Uet8I zs`Ongd>u8*cuCfe-|f}as$G(53mW4c(`%t>4EtMx{E`9WYWt(cBtqx5;g?M+O>BHe z`f{bT>bo^|STIty6Puf;V6OVs)Bm{maXQhu^HLVhZx&?LLgAxM076PH~Jlg3^X4!MaPQh3YS9 ztP^Qbn%`HYuO?-!e6;B>azeir)2=K9e6cf#|tTt+I!YZs;XG!2ateHR*Q&AP}vb+Ng zo6sfos^U3qLy3D^zm^S$cJ*v=bJoUthF;Dw0+F3#C`yE8kdbFv#|z1@2Kc#Jc@4tw z7znFU)kXB!KaJN_u*ys;#&aG@>{i5ba$>~$4Q>yOFv5rzGQb5ZVc_RUBm`a<885^T zDd2v|K3k(JQt&~}*f#aqfaLsy72=9kxGvGqov z|7|KxFD>rqMUd;D>clA&rIRwMuA%tAnLwe#I}K54Uz747TTnsaK}_@ck0_Hj`)G=K zZsyG-6ZkEXSt`c&b}i)~7vb8XwaiNJ<$NR9;no*NeWtF(LOwRGOiSqHyuwKZ2k5s9 zrE>W?B|75kI@YFpdoxL}3`3cH1n< z0iiXpoQw#{VMQL~)L^OvI^f-04-FH`#2ED`%T6q@rb(9y&}{F zfD$S!;L)5g$i|C8Q!wM2C|F?n!TK$f75cv#F=s_V?Z@XuE=qsf2e}9T_%#TvIEZy3 z#K2R^^zEtwLfu8^{-(Vb zc}?C8Es}YV?*Gow$uh)nP2UZ>vNy_Kho>*1sQ@o%-(h`er$jj_F?|bm^kCTcspB}e zzIJ4tC~)W7ELhUyE;azWesLJ_A(C%EM^uMfbuy zC%eRm@-ra0Fg<}{Wk-%hC@0{G-=b4tTj_P55h$we!GrLAOnrq?4FQ5Xf;yt0Q+O<8 zUXvH5uSGhnANdoIFzCKaI~*lY0isgj2i;uB{Hij+{0RU1gBy*_$oK0qj3W1zhCu{K zMWVql2#o*t+5@Y+jTL#(Bp(*41>5~UodQ!6$EqW#ci(^Q$0H71S6u3c*u*C()3>a! zRAkKwIKid1EZn5iCPQQ{t@n2-!x$p-^=}^Oc^!p#0wWrEt>OLDT!u&rCUiChhE^|Y zs9Yf*7VAh1CRD#j!FD=OXF)<%o#=YOH5Tg@FNvEgn$6u#!8Nmx_NGD(X3P&73&2_A z^P>f!St!5YXqBfS2ws3g(Y%BUo{qqe0FSqzEqh-i&aIDhV6hY`r^(Bc^&&xYJDa&p4Vpn*B7g*emyZkKKh~`xjqtw!v8@Bk delta 26376 zcmV((K;XZ;t0R@EBY=bfv;xY80XLIy5-NYq8`*Z;w)I_KF^`;64UC0YXrDZ|iIa2E zI>)KimsoB~4QZJPmx(x&R{8o~Y$U+}XCzxb$&07~E^!y!9UxxauJG!+i@#o7Jo`2! zD}qsmGqSq+u#y-lAyzVjCuOUvV)ZUj>-SgRKl_#tHHBn?p;RhZ$N+tv@2(l=`$K=- ztv8h8gd+QVeGQNW4EK7O3+!^!AIu z{-SorGQ?nCKFjWyLQK-Z?lx56WY^unKQc?o+74{Hc7F#tl*2g5lB$bIP7#y}^$7bE zar+bt_9;U9q%r^>>=SSi!h%;u1C>V@Vg{O?GtdEmEfBeAp8)}vR=VfyGn3gv^=fG<#TJ5Dy9r;!BHk9vH+Q5*R*1A7X(akeyw0L$H5BRFKt%5+pL` z!C$pDQV-F(oV4ui^Uw}!P6d-8tmMg6fr2r!*)%@2wX5##)&k4~wBmkE zSyFEIm9-o%U?xB>q!WLzWB(gxNbr9Cu`@Bz{wn;iU3OQMMP7IYys?=d?EqQoFpHC> z+E;p|YnBqXfBI)x=i91lb zxvv!%p1(RPH@HAV4LWhPmMrOtZpOfb8b*>b+;m`zD&R{2Thf1VMY!9Y0r6_%Fl`ty zR%~~v)Vm~-y;%dqXzbvK+dx-DW)01*@V3mOfdOnz4jT0)>Y*{LGk6oPy0c{^>wcXbj>YAWMAn@!2sB?!tMReOg2@Yo0qh;H=Xrg zG{Z=ybQZ<6st}RXxqW_9LMTq#%9%)LTkimbgSAsN8&7|befwo?pFMc8sEiqCu{>uk zshn7gS#PTDK!I2HOFO$gL{c>qmztR}BpGB>ZblZAn~oXH4^g?(X(H*=3z7;Gg{%TWA&EFw zp#mLR-8X--0cM*wP`iL8G6+5(=`7g~A+61|yVnz@nq(Bbmex@{QZ*XMt#;>STlT~I z=BYJPLmOx2XCgdO0VYXK`(mhZ$sh(~R|C%;^~n&@vH`YbcO zKF}bd_^A>n6Iwfvd(@SL(fk7_FzH{=80hXdn2V^1m|ajrZPr>hAR=ten|a3?$jmtZ*jOL>SV z*+=o9eN1CQTG~fGZsXEc>coLP$niw_CE0&*zvPclTJa#q0~sKj6+_)njGtAYR7?}d zGS=d>-7|06O!7GM5{vVxWjeq-csJ&LOYa7r^q9g!2TlYM0Kp}LLff1=ynByV1x$Xw z!iZ&R^g*0>;TtCHcs$b&WA^#Z?4#uz zuYOti|NeGi8amtk>+T=byts46hJ6{5Ob~r~0tE^X7>@^O>H(9fNnZ{5>Q*-(F;+p^b4W3rT$+J{41R7GC6vC@k2n1EhaG8S#= z7P5Ue-$lndJ#fIg+&B9Mk`G0d-+6)Pc;&pOsjaCgTTMB{T>fDwqQchhdft!^{{)*4 z0HquE3)u!hS06@U0@SoBrhLL0{Am4BlOCg+vU!s28}z2RNL}Ki;kRA0X32l9HpQH4 zH^BVC;hYxcFg!FHa2T-r!_BP8=au!)F82VbZvo!B!Ms1}hWhScX*J%x&>#Hpr1*GL zb93GY@qJEmx@joE8{xsP29_V$v?E3rx)V5s>f}smlp-;vnPa0o_X63L{S>d=b(8jP zoi>IWQ@h`@LMjrqHW_39sRDobfrk~uQs6=t#D_3d;B*qZFpD>15Fab=ZzGXiK(0rk zEx2hhogy}b+rN+ndYF*YV)Z0V{2Wa*MpKAVLa9m@Fp6c2pDWHI((y^sqtX)a-)9Kx zG)BCHQ9T~x>!`3m9Yhup7GBmp9J90yOTpH%G}QN^YX{3&=m|o0H+FwEAErWQN*D*# zckx37$XC^;wKT(1A^X$%L+2}8pHGkbww(!w#W^>-QIK!zQ_;vt63euQrRPqPIOK{) z2T8GpU~2DI1Ok{XcH&e;SLRgMlc?h;h*q%Lh4PK6At~3)(OWhz~XtRtYRKc15!i`qoTBM(l=S@@p*#%EW!;M31d_Z+~Bp-T8Jf~8@ z@OlVA;Hkp>STyzQOJpwi2{V@`*530Me`kpXl>lTeoJ_S~+unN_?n& zt=ZXOTX4~2>#l!pniD#Ehttd#?)7M~3ghOe&f(qpTPoXqwRP|J-B{4LBW#a4cPrc@=P9zo`k7kGLDd2XjG$X?o^b6_C0dA&W< z{#SpnfD^-5lf>HwObkxK!r!ksGkp^MZe>A?BXVQEt!aOnly@P3C(iJm*^^E^K0mwC zbGq^1H|lPksszQP@wNi;m{3XC+yE;?B)8qA9+AGxudA)*(ZJMpW~-1UDihFvXkO$LVb56yI|hc)!2MxgPwt#tab%}qaT%xv|m2D^R^;X%JsxY@zj z^pCw2uaV!Sg|o-p=5_lV0)U=1@xshj&5%^vu`F?TtF|z^6=C;dZVt4j9h4~vv54cE zThl&D&_TO=K!@-7&e~%{ae&0<$mI zJVEsM`ib?Q)VSwVP#3A0LaFix>4@nwHjHud226vR9<0u@9UZTX=(LeZV`B@kpCe9E z-y_l{s*>%{3dGVrtnTP%=+DOR3Xp}l&jT=D$6PVCR-ggj=9O10J$%?#b@ltSsIsqp~#=x-&O%4HYl7_jSdq1#eh}H zx$iP_Z`QtZtB+fy^36uW8I;p^Yw!S?YYp6%x`TDp?bWYoi#6Z|aOY4pzRyeChYK1s zMk2i2JNHuM4$d4UD-Y4#{A~K4uH_zS@%n$8`tur(AVtPQLszdES|jSEv#0S>pTSCV zy$em~+$Ap4%A_Dv_zSNOq>3$`O`l z?_f$KI6v9w$RPDggEM$QpSM+An;quhw-!FM81Kf!({VO!>fFcga4{~=UA-dX*9Ct? zynRIMk@=^zbCBin%A^&Ix0`h6)*qK45|N=0f3^XiJYh7drBzOGLj7(>j$>h@0 zFg_$)we5{B!9<5=#TgEI^+r<0l}+~1glsZr6Uh`ucq*nu9{G|@$;FU^6^Cx*V9F)f zEkJ*H@_54dP!u%qG{%eu%tpK?SB&R?S03FNo{&d(p*SKB7eoNYw|&ALdDuyu&=B<+ zmc6<<1ummQa6w;XG%|negkpm4tvWOkz|otaLn2IMfN5aR2$)j1 zU;+b3gkF->U-Zg483DbDCNCSm(e9X7cKT8H#Qos7fC$=MzzEiPlxSGgXJNxheHKAOr&iECDRuCdLl}P% zmX34MH{Nj3oJ8i^P!B}OCZ6EVVARsw^Bb;O{ch=U#U6k#_axFi`p z2n?12AlAdc8(7YahUhCX$%9ms6B>+p${7u?m9UygXP-du6m@M84@taQMkDEDz`2xR zl?p5ukbw1?v=gGid0lZq12aRgnZ19mL@635y7UeWT?x!b20cc5d!y#;f1g{^>|b9` zx>0j__o3_W-&|b(I%-}_Za%g*?;XO@{oMS}95x5k*atZ5D=my?^*&*SsfglU)Kao4ps*M_FI-+$>|pLXM}HB*zL z=GEl7>wS3zu6qP+k9+0&7>%<#)_70%H$j8{{zfIC%x;p#{`5=msQKyW!+&);)cWBS zdVwxI@bF53`2l!*GdVwPF>inH_vI_ooV8y%MU8)H56u1OW=nF6ha(L1x@)hyTgXT6 zqfY$owXMf+aW}-@t^5)D+$?_AQ)HO;y)a zQ}w#wK|Lv)&hi5(LJ+Hp7bRKMuYhZ>(WzK3D>-p~(Y4n7{q*pkuit;Z**|%6_~PVf zo*Y{`l%t*VCsMQ-vh%n<2S*1-`->zkp^BtS*yMU_O5QqXd<~Y9dRzsKg4O0aECk*P z$XtWNXH zAPxsHrMa1><Xx4vJ=K@kyTlf(yM8^hA zA&IQZrOL1u#%5RrE!nz-k!{J?AxQ`P9TIM>))y_lzDm#s^nEHx!%{M)_0o1E4fT1& z0Q*4FfRsDdVMDPg`YJ4x-FlWfEX1;)@~gpyoRL^mVkKK~p$dyC)&}Nh64vc$x;9za zbw(0-iL)_$4QGF`Z7viLdL*DO>50JfI-NW{57?@pSgbO|7Aaax+k(x&N3vYBa7GPD zd1VIQ{&qL+E+*F~GyU!=iHKl8GOUh7WKt-7En_J+IdWgxob4a{c)He;b)WVRpJs@A zmiYU(k;F$QbKjngrXNhRzqi+aq1ivzX=qNHwz$=Kvxp>1p$@7g`NG-6A9&Qf{`_jbqF$d8 z4t02KPB}& z{LStu{GFTf%HOS)u=j^M60HkHA?wZa+PIr6}Nw_IL@-nTy`mvN~h?PNt`U?$1v&*7g793 zwvqTTnT$KkSeUT!8%|;aszoH0mQf@@vca|0di}$HCX)_dYlpSHvbB6gD9&Rw>n?#z zBFsbCjJ=okA~vl`Lsnsv?~g31u;lugsKG|;7|~M|mI|;zHe++L&S`{$7W`Z#W#tyn z?(5@tnB*i3b>)wN)!WDa0jqR>7Pn#70z8)jG&qw1Eh&FJYmeJTlHdI+^ijf&n0}L; zAPXeBUIW?9UJUyV3)o&PN215FB}%qNdzk?D-><44WH;HAD2?pofb1Cl+>+NjLB$@KeUcWE*)!yDND|>zRX~v4_Yp&F7U463e9_;1C zYO%Uom3tiW32}h>D?rOa5au3+IVV{z3k%89_tj=b)pTbdp%NfrG>bayPFv-f7Tize zMOD^z%92Mj=9!eugx|U*By6HH$(w$@oz1D%Q=Wh7i^_~>>0AEX^aX(A#KJV;SwY>L zSgH?^i9*2K+hz~8SuVn6GK0ywfvUtnA}a)R!?K*YZfI(1GRpx)L90K&^Z>g_(5T30 zk$0vSgQZTv#3Pv8Fr9S+D%BxO4=G^stng#qrDlf1vd*H>AElCDeH`pW;V}LSOHEK zYBDDofmxYmuTp5?nc}dRZL6QZK{}-Yiefh8l19D0Nlf2%3N)Rcp8Xt}soXYOY->B~ zYHhDukbHoGq+N+E}5R2rg=KnH9|P&E`57DR>=4!wWcZnmlAVg=kbtopYfO&2uJ zWNs-VR}otJl))!KtG8)kz!i@=Gt)t)WFq|ax2Z8e{wsc3s_Su5U0+A4=aH=G(riwx zRL{GAk|aWkYAN%vXunI#yn;Lq?cyrh<}6%+T~kc&LA($!W&}lECt_NetDLS&`@C80 zH|}<^-OTuOx2-`YR<_k^!c+=iD!@W$mCYlT*h=`I6%Ki00ZOj6v2*;uo5jW~1ib7l zkY(WB@?Jn5Y!p|DK6&(crw}si?3+|)Jkwl%e`#vAR z5_!r<>>{|}GO&RdV;(iksh!U&Utz){Fr%|Vw`OHprBh?~kn2$6;PNJ^v8(br2)VI7 z&V5x^o2~PSKF%ng9;(zZbFN|WBye~E&^zXR;jyLUMN2ZLj7*(Ll$;!(ijsWv3L(CK ziDvMXM@H?Fr!Sv;e1hu$y-z4OloT+V6O~cWYm3d3S8vE<2_JueF2U&dZ_{#vdd&!* z_2k8q=hj8-z~{PB8gv6RHA8x9U3X|&fxifldDrkYAtb$^lmK;rNe#|q)FJQaTq%xg zcVPt8N$nmqyRLTc&P(ee6#eM4aXsjNvkAeksYO|8RV)UOOTA!&RY^jxGFZNFQIdWT z+*0T;&zL6$D;Ht{WCaCk5F-e%kspH;$O;C1h?oLtk_1tHt70?_%4oW29~5utXRvin zQcltb)kSgI2MwtGm=78>8%Ohl^u+NRcUam2Sy!1igCQuSv01WR{ z%EU|CMEa;r1S1YC8*iP;wBe+ChEoF-^vYAfiy=?ugzf0UC7f{ZLcue@P^AC%6fnsJ z14^js#j3o)CpyLOH@uc{fXc9e<@?q(Po!z}I7friQiwyA%y*o!dE6s3o&LNt!0uPbL^WFAx|r@)wne>dI@vD{x29!n z-yGbvrA~MVs1tgr4<1i{`E+~ZTDX?0da*S`3|KLsZ~RaWxV5|9mWHXJyN8+NQ`b!k z;7tk}`|9qnf*yOj8qxL$iK*nz)oa2Z^Ue|$Y5_IDNVF7a9pEj z1AZCf4L^PTZIXqoj}fTk*My3+Dr9+V9Ns0(4-VE>%GfzBpihT?4PG;m52+zW+n{PB zF2d+5APl{%V9*a~YX<%H*qWg-B{9G?1|KoR$V1wLCbF5u-;)akG?B{@3l++`(-QPq zs-FVLPxeJ-H-Hs%lOf&G>C?5P-*SD2dUkYO<&fOF+t zt3reG!X^^9M<{fxK2D(7vx#Z@gaAtw61*#X4S${o|AHA{+GSL0X4+8DKbn}0Ce3or zz#o5W-w7czstN|4S^DJ*(=q(1&A%SNxr1=tf@qUWBD*A>hTUaYRW+D+Vp{H#8h~d- zn@;eqM2qVIjmLpR4K!IgtkK=dp{yIX7$%kXX_8Yd9Sk@sJR>Z2NxHnIejQ%B9|+CM z*fkmCwa7K`isdbu=f>&;zSs%v|-7I}ZyYfWO1vKgBQ8$TZ9 z9TL^CVYW)r82liQZN{Uvo=SG9`(36ZSKTEjcpSPi?86#IJqA@|vL*Lr(oQxT8dtNE zFC)rj5_NeeTzNmBI9Ui-?QN09U5P;iBdZ0{5lcr%fdF8w#QDVsy1b~9M1jFwj1_;z zA6p?wjLZdb2EU;hK~6G%!~4Z%68HB!{C)HD=dlhu#yt!bY;Ic_dHfhbOs zr)z!`Ip;wCs3xC-584SHkEyft)O&)e(j->c>7Q_>F6W-sq* zI$w^``Nikf`R~*59r8QT`6FXv?0QNcmP1Eczb6Md%}p-tC|2*uK>^;9xLkh@Hb1|D z9P|@O@pNAfGR*dIX_oS|9CXcpzjCmhpxtBSNjVr|Z75_UQdAkS70X0xS^j~hf(*b1 z=wbvNjfgaS>e4m^r&!Q@-0~$XP*SkRSfK9bSD z@EC1}Si4H#>ps1=*=CEoOe24qB3sl%`M8a> z*y!5(>;>nhjoK4hR_Pp!99-^m_Jdp&0A`>O6q!*L0B(s}VfO<0OWwg_y?`f_!9j4i#YK717x7UQBJ- z#po<#B9O9`z1P!nzo_b^El4svRr*Xbu((+fian?gSg$?0xb;2Or?E%F}G9 z#<3y0oDC!VTb6$gDmg!;W4c-tQ6*=+t!5h2%Zll{$|<(8-a1??tJ})nISb8XoWKiL z4F(@T(^~m$o;F*rhcf%(C#+cC`rm{~2V1Z98$XmW`fPuZ=EisTmDfdcyM~1Vv%XVC zRF|100;8u%Zj#ArOfJEfMn99>=Ip`q%NZu}ZEgBY8M%L3lUJrC&lvB#w}LwlWp!b5 z?eOj03=I#H*HGUBqIz;YM=}c`a`p;*=-DgKz{SCDLcsG*vSBblU_!WrV$d(kHb2O2 z8{sq7^qpz!iDEh~C(jN2a+WiLUNnt11{JcwXpbsYrbL@`MI>2xTzHb)+8&IpM}$fB zp)S=2t~P()@)P`$rnbB&!IYHza>!-g=8Nar=6MGS| z2Rn`Z77cxT;XfE@R!mF#WT=1X=8T^>#T~zR=H9C*rs+kSvs{~4bfgE~4xyd2 zX~=(^c9PwCvO#j%%Z=fQ+?Z1|pk<3XCvoq=uWjleSR%Ouab)?YIF(&Ov!b2tmnp4O z<4P+{1#bG}9a=y`-JIJ$%l!*`zzWd&y1Qs*bLf^ z!Gb^TSUct&%>d%)j3SoFOuxzcrB9NAhSqYz0qv|?_{4S5R6Y?`&~6K#;tmR6RL&`U zm&dvQRc&m6!7cy>aZv{hNn4*giQz~l)5>s}S+M`aq7qm5Q{h2P+?~@Dm{bciyw-n< zL-+l-?CV3-Bu>Z_jr+xFz#Z2+EDq1gBi>hnX;^*&Xa+=XDm1M2eB=9sE<}5mn zSmHQE(EYv#h$fK|4^Gq}8^9hbU7Og4cbuXv;L<87$?-#QS7lz4I{m71Gm*F3wKFZ1GYr*qXV8DeO=ty6hTJIja!3kn&av|7x8TqXR7$1eDt_9j zU;}{r8weBi>_&FdKTVj8ox^kjMZfd$SJWtVwW#(h7tyu;4l|WmTT=wafF{=dZLd7b z7Kq^|!(xmD@l$vR@t)bfTDKOyuN@3-bnBem*mv*BxO|J*vN7zV^_AT)Ti<_?Wr0LY z*n$dj-ur*b7F^+V<7dCL&t@A1Z(?RqKEv4Fx9+J@ovi%M=>%c!@t;-PCG_pnZAkL<&4CN)*7R^bei}ercRF75mz* zc!pEV5w!;G;RQ&fmHsGpIwCb}fp8#Yi| zR$luNf)BnVcE7TGODpVwgC-d&XYZMv6gzXO}feYD#t3j=?Rk6*1HS3k(4 zz*vPiQ9p?JrE0|4iaKu$%P+iP>ea8D^7S^kYug3w zLmJT%G;(+ZSA4*r9EyJuDUgFAKTZoY(;{$SOmEg+HEhVexM;>PR~IS4`hAkIyb~~w z;7j2eL(S|I9gN&+7iZ7`A4dn`Gw$9$jt+$E9L3f|YEz086aMANs;!oX?+?3mncSHv zz&6v5OFbn=%T3N=^Sk8oc1w%duTae~E-7|&(ev1(*nv!oDB6GYT>>;K!h>Vdj?i6r zn%bD+rvZ7?o>F#A`F|df^^SefqYnMa&x4#@5ps4GK&+_u$QN}4Llc~NA93?<f!=A>Ds9vTbbsX8PE`JZZ0_PH79hfX5wpsLwm_a0qghQYsfhe(_;_7ur7gc-yB; z+AH1Ze@IWiWBXKzzWUSeF?>u;9exkV`PX3hV|?HnUCIY1Ea~$ss4vO~7eX$7Cwy?i z2N?1vPVhlYPUk2F%B6MiJIv#(iq@!j-X0~BQzU;8utxCz*^m<~*~+oz8%DuHWWZXH zQn2QoJuW6u_(ZX*u%%_HSCcoU$r9lB0sg*6GcXr;UX;i}agsYfDhbLUg=4G>#^Kho-VQ#j> zkrtZPspTZFocP2tEvZI=F+KRlb%gdof;l?GuTL?_l09$Z&s!rukuw3~nH)^lsLAx? z8S`nIy$Um+hW`cSpB2IiWo~41baG{3Z3?%7gahul0x>z4K>-9Re>>Z9x zt!2^->y64p@^yO^f4tw*(69ExrOqV1d{g09Dmg$?);Djd^<~wse|YuP7k@Bvz6xVhYPEq? zx&>&BKu-j(d$sZX8!gg2D+ub_wX_K=bE8z2TRXmCREi^3_J9BG0KS<*)VpYYk}X)eP!7Hb@bJM&I4Yr0fVYO00|u(9V7tUI+_CjK|;&49%$v4ZAE>%Be2D7*Vff` zAElVdQ<+Im@aq^MkX|EmrZn!00T}-PnYf`~Jsc@3@IMuHm7ts-X$TeR;RG zutICEdf-)H!wb)PUYWRo+g;nkoQ`0TB@b;+S`W6?NY<;jm0t(E?5_?@@1y}p2h~- z$U>$9l>A2LX$iB>5eMKh(AKn$BFz;8UJ4;%E6GwRK-f37GP(|2j5Mk(Nc_A?_o%WT}yIj*pJ*0O12r-Ymif$T*Q;{`vZU ze-j(7OpDU4B!Ka7e{uX$0)Sm@vNS_5Z2#NH@gg;rhrIKR2%jz5^3?i|Z(|4={Iya= zYP1a(ydb2>M*I9G%0WPD8z@+HY9RBF0P}%Vnu9P0LM>vuRydrLh0Wy^R~Hji_L5G;G2-G=-fmrT)bb)qG}}Lcb1Z8r7npyg_};MeDTSEc`H|Dqae-Ww{V9eNw!N50dDJ$x<+yf6)H{ zBvk@}B=eA@-d)TdBQq#Jqq9(wP7}I#hvR|~^aOU&aVb89<1(8_|GT(=eFzPnrr)f; zMmbrgm`B;n{G6vTk97kfF(n?1foJJ`(JKm!3eI?ZPZ5 zijYddZ##zP-$ZpLc)z37e;RdbQH*lsVF0HSB7%7tv5a(PQU-xZ=B%6If1Hdw9V5)3 zzQhEYj1CEG4Yqwgq&joR$WD+t^Q%-QKcU8@8uwy>nqHu$1JwQ=7i1Ll85C@=zGFi)nG zn*G-gS{`rzkY1ekQt2prfYW7*h4BdWNMJn9(<9=Y(e4RnLR;8>pr*>Er2e;S304vF zd+z8Ww?4m}fhE5^a^h8CZv?Tzf*O2Z1t-tWl*zM9VR4ozEZ)Zy7H65l;&BCMK8JoQ zK2X1fyikDuDT6(xfBZN&V{Own3q}|{H%T2s!yO$S>w)u^Qu{OHrDIPo6}n#81+xP<$3w#{2V`gTh6tqq zwUAI-kwG$m7fgQNv_)<^tO~i5`!p>h|uP;><_H3XGq0iLJ*S`r<4@ zY(Kqr2v3IoT`c!A#C@Nd8TN3$PyY9B;ln%bU;7 z^ycMKO)jQGf4lcicOIllVLB{y=gZu5bk}~-hdtLDcx(Sz{5PKuYsO0@k&s2h56iyO0m$L=Bg?H zr{WQSndOaL`OyXS&yvnLXOZm~YZzZLGy-z00UZ=;e;7-JIMA?j1%2(VN~!%%^HenB z<0_9H9&rRI>C9JhVV;=llOS5S3oBp7qL}5n#>yH(CQ@88IWb&%L#gR*Dkei99;oAw z2BMD-Wrn8a`M5j=Tp45`cRX>8%hMP((DI(8Dn$|sS6Df&Op0-75jGLTAKuiu4>gQ{ zWlQe)e`Dh+tK6QIB^EmQT0Gn<1esO5;p=dm3jR1M!{*?~V9TS8Y=IDNU#gDksNCG{ z1MaES3L3^4iN2qv(0 zvFET1xMWxb<5LELZb7K<~Z+M6Ac8jzok%~PNH}j ze=quIl^-Xpd@LagM^9V_(1nqvHA0sw&4YGgts6Hfsga5RoaugoHVps%zVg5R{KTo! z{>Ev;pjH@7v>TKLFI&LvO2UZCV z)K73~Q6^{#7vDkqH~XcA#;K?Cz&Q>)b;uV0-Y}-ScG&GBx;?HQmIrO;d*WiRP8bT-0D5#6-^krQt&fpMcK60qI-qhm^&P?u4oWJ&lh&AeN9t8V2f9QC0 zij29F5@T$xsL&SI(01Os4g0HEyzC)@?U_8es_ zB0)vJr7r+fV!L$T3OjvUkInei^YzApQlU2f2tNNZP!#_8z-_~y;PXSMAuK!nVXZgB z7fIW*M1ixD9P801kwxZNqajE%iueTAh3n53J1MnJwH>4PXYm4bYsV8?e>!}}F^@c> z=Q=k}>t`G}4M9AUU9~7hJwfZb(B649hy@HC>3S<> zMer9q!MaQiwR4BzN8>H0e-(UT0YUib?1uMEEh!``M<*&`CWvlajqz%YR(~Q8w(YOj z%V6JiEb<6yNM2WK(PQQ-uhOSYJH9JvAW6EMB*orBTZwdC}4Hp*1P_ZU=O_K%>mPY}MYIM^1N~ z0zL&nZW|tNG%E0!qf*JP6TDAkDZTH;CblddSdt4KgU1~j@Mh>%%xY6)snROs&$izZ zHkR1}o;}{ym{tZYfA`$6-;MSTUP+KMW+UE_>Wc3B*f~GJi+8as+5=^shKp6wWmxV% z<_EujLe~}2T98I28c;#qx;l|j8 z&B6n(sh@jK+=yX@kJ)i*jPT+q#2|I^+el_UPfbpRHiZuE#>iX+X*i4Hfd9i)o!|cN zcabcd1h}%C((aLwq^s;G{X-o5jIJNNsZeBkTJ2Zqf7XE)Ci1^)~5ZgW#6zs83|aByBVd9okwvi=VW42qW% z5xUMH6bKE?9#Hx{XnHnq49Us&0Gf*8b-msGbp$*B=@8<1z)AG)3 zd1J>!1@GLz``!4g(}5|{3|wHL3PdGTtTo%vD=%oH+T`pQ-Mt)q9+R?$&8#k?3R9h1 zasoN|e-TPQl_8Hg(}nq-E|7zKAC`je3O#mL`)(0OPd9PrDb;02{t6>~=eGD*kM4ixT3~HC1S#JH5&HK)ZU_>#f3tZ0+Wp2Xqt2$d`#K2I-<$~3Wf1U- zQ*YY6S%nEa30>Uw02w_;#w?JbB!F;g7jg2)2tp!dx*@(5Zl_c5TBgb zKxMpS%5$(o`9YiY_N>hk!Dh+FHp^2k;E_kEAHIP-l+HN*;Qq($pnt-S{|oCgxj71D zmlGcZ5tock1Qh`>mvKD=Du2yd-EZSI5`WKM;YS%4bNMBHTyYQEUK{j)0xdT8P;B-= zv6WPXETxuRZ1%73%#gGt$7#Hf1@wiqhUAbO4rhKdG@m`r`0VED+uN&mKWH%%oO$lW z?Dk=1IdjI$tcO~v+3jlfF;jZ}>Gpr`eh|X-yUN@%l?&iRy}m1+?tfICZ+CS&U&x$i z@8=8QGZsGnKZoB<_+9>9uICGtJ*A$@Hh!0Lk!Rbv%VNW-j2-Tj7WEQY!%D7rTz{&M zH?c@dTPV(K?!p3pT+eY1T;#Ia!s2*VtjlJLb7+y39n71^Z5N2EYFU-d3YVjK_QzbP zY*$8U*uk8_Xy*N18h<~9PQ!IMCQY7tlyQo(4)y!R`c4_O3i5;59#I%&Q*P!mE5Z^) z_SA0Da@#$F61M@p+U`1#n#iJS>o~4{WtXtZ*+N*wWNzSxV!8HVeMMJ2HbvMw96?>g zy6SOYG@gUNIa5-HfxpfjG=<(_x$xsoSy^wZb>bEe_NiP|L4Vl!LA>qPBaUQRSbJ>c1 z@2ISa0vonQWPdkMNtOKvD(y4awWSlYG(6|!vjaCNAM=JZ26_pz*iyoyNb@Ik}2Ex1a*?&vUnb2-#ykbI_aQKHqF(!MW z18u3?V99Z}j-(F)-6nYpm1k_+7H!UQE~ij$j@&)VjSV}5O@T^msH~`jvvZd0jdDG` zy$My)TMc@9mS=#U8qAep3N}PjK1ZiiM~j4ZqIvivT#Qo8s^|iv@W4wb2{PkBbl1UL9KM7%gHNSjw5sq4!pmhQ;R7!0 zHK`|lNS=MBmM`#;=QIj>BTY~TqK%T7Figm)WCrd`IRBM0(*`#vKqr#SdP3@L8wTng zSLmrTG5p-OjuH|0q#RnO5fM5i{X#+l?&|Yi2!AM{&wCAtdN9}@eENlaRZtvS5M}Ve z-5ml14ek=$-JOBp?#=`!xKD5y++BkQcXxMpw|%?&vAbXUaZcUp>Z-mUx9WDC>eGVy zXRl84>Ljc#C2ENU)DVV)?>{{;f%{ei`#3CXNPMF`k=Stk_h|}E5?xZOu%Nf<&ivd3 z9bCsGq>R1*hHrQPQ&F`Z+Uc$!T5^vs>CGK^KXwpgeO}wX#wEKXoAh{F+0tQD1Uh|{ zKFovA7{~YVYJqr%3u#d6MNK8fNbR}(eu>_KsF55uuy8~cAD0Z!vL>N!dSyMB;bnf5 z49|ZtH*|+0g{eiq6}NS)83|y#V5|F`huqNgxLQ{V=oEK_a#phY25oMrlKds4IML6D z0-MAr1@+7BQkPvAbAo(xNH?IbI7zho)kmI{#5BQFKM<6p(6iv~R^QIvb8Dz=*GBDU z%!OmFQjv6?I*KF?p?x;~a@WuBz;xmtVTB{st|d@$&Pmh?5^Xg{uDI zd9?HhRWLTZokSoe3f~0{s%(rdNQ3W6b=n^er!l{-ppHT!w1vo_CoWtCs%kVc*GzKi znldGK2NUGgvlSj3j@;CSFVsy4nby8g6z0C#MkEkKpE7VG8^I!%^xM<*>&)Eg>no#g zB6PJ_IULjDh!L6J;K09}2;WF^LMj?64VryoN7>{gGbV?R+sIE+P}+f0Wp3n9p#AQ} zJ@d&*c05Smg`O7G>Dp+D%ooNk;r35Wv{<&L$#~FFtpcjic%rhowRHhfz zeTRKb-WqL`5HEk6UN-OEds2i9XCGNj8x^C(<&Qc!ck@`BA~A37yOL(@aLGQNbmGj$yy!b%uV;QMYwMS@jFrZ zp}VIi(=Chy`eXMAUdu8P{m{<9dTXbpdCA!HRGftEQs`G3!@ps+K1<^>KA$n`n{*AS zM4U5qDUK3p!d1Wv5Z*F)s;a3tdH3;D^#JWoWr>NH%u76*gvL^syKPJ$z}U6qsbB#^ z55#qx*%>S1{4aEL@}`Ux5-UV?^0w64lPmeqwSIZ7jl!;vM#TgOwLEcIuV9$D5hQ1M zZFoubi!jzd-CvRg|Gw~C#|rLsCSqoO`YD3>kfOxu@K55nNp+Pw(%PPGrKy$)-vzWn zvf_nlbp@AXqNflYsBW<_1X3}zORku@u;o#$lFwhqw}~`ZEKv-0ZVu33bu#Gs=z{gb z8&$`+z;vDc z#E5y8f&|}aOEaQZC6Bo$Qg+}!)g}=BumobmnU+F`CTzNg`9wcM?hN@5K!big5Pc~^ zCwW4c%)BOHAu2d;x93+&Cse|bL(=${@|R=QBOHBay8z!Jc)RJ%IH|tdXU#rH(6G0# zU^1!}_3s>x4nP3GhQ95Q55l8|jF*3#M3GT$eG)$C;GU`m%CXqc@8Eq&Bvvc93k_Wu zMj&gC-l{y7pBEZBw&{GpR6X#+9;?D3CIj)#afIwH=YxNHZ@ZK%=a8BKH~EY`nU`y? zvnPADHVF=)`VUq{z**6>s;s+ghQGll-1whwec*rEuyRlwNkG_dU>+S66@NIj8YBF~fCR^J!ogA- zU!94#!Qb^Pef0Qn;hpc54|{^POG*0AhN3`+^(BTe|Gj<3rNv{jwz?pL`^QoH@$2bu z`Lg9A8|=izas=TpII>?PV@)h1sn^wOuvP%YfpS%&E`I$TbYkF(ynMT9Zj9fB>^B^> z*{Zt0Nj?EQ;g?6FuJ9EbQjVx?}?w^6A8^juap6`fik`ZNm@Oa=lBD(T%yI%Jog^LUtDHLZY zatQOENLdYNpWmMqwOR%6f-FBfUn=cI*53=QFII-W z#j&=2qNc$he2^uNy)bKm+BbW^;Gw;;79^?Ltj`i@xH(^Cv8{rZ&ZnJZF0y!^c+%(H z0A>ay43`|(6XK;X?zf~lU|(uYtUB|Pq)d$xhIg}bJVgw=N_{?+xUjU z_S;SN?U-q6!zTxNk@Z4WJIfz5iWY`0dBF94R5r_3juRvbyWe5oFd-flUN}+dv?j&Une8Ne0A!wAPKBy- zkeuMpHGO3Fa#bgjwNuGvY4C#~tO!dRaT1E>uI5>9uo_Z!f_|6@Uv5b0_mrL25Tin$ zxGABs$8|IJ&A*8|Ir8pBieNJ%SRT+JKYF#l?~-{ztl>dGn#}u<_e7t;h6tJK3I+Y( zVZ7UXGXK!oXSK?ef%;HU*G=cg2tsuevYRPRBiuy~w5RA+Xt`I+@pPh6?oAtL2>VSu z>=LyZNKNS|^E`u4_`U*P({{)1YX`<5Mtid3xA#f?Cv^PPMTS2Cm1&*k7e1KK7#3B4 zn*n*6uErY97A|%|SqF~$b7o%b`$Ou_iN+YgCE4Et_L?_H-*ZN@2)J9-v;Sp%J5|*^ zk(b!-A-oU;1C3#EK)BTgYZ@dYjOPYjiAmAMC{ocYbmiDj(ttX~A;+^-vzPqkr`o~* zUQTkqb@$r{#lFr{qeuP64^4RaJK6ICqeJQG5^rpp_U=b?5))=e_Ko-Vz3|!V=jG=| zy2IVefm4(zy3DnsRB`N3=s)im6}ebIvdI3BX3`qF9yO^%&<|N*6#esGwitL(S-q?r z8gqKG2%_gjv3G^NCpGF>8)@#}jqgdSwKY^}TVz+%D1{bLlN?%ri9*==k$uMhyLhK*;BvI=|+9REpy=TXzuN)&RA zh7T{=K2kr!%E&Z%nHdgDs%BR(q`8L4s|~X6v%u4A`zee<++H3nxHHCuGoWhpBG)GBH8NnmlLnfj45pa zSXjKUD2Ryt2*B^T!FGI!W4r%(BS1p+<+{4uSZEq$6U=|k{l_LA?%I8&ntC+y>w2^X zFq||2uzoa+R0Isiq&+(Hk{$Ua$q)xsEj_QGvKcL`xs+IsK`C`Y(&Ka~ z7pYgvr;Ymf-!ye8gY|O=yj!dh_-<&{L}~h$=rie7UI>lEQJ);4EM2D>Kb9W5#t5{C z?Cpb_lb#j>7E)|UE}RPOjTNrdPss+>>`qYOZ@>iBL?juU*>OTubndDWrXddN9ED2m z1cSx^kzk}7)|HF~{AO)Pl{4peSV7<%sQBIjkIH1$AqLqRHE=Yf^)`O23t1M?GDHf;SqGs zm^eaB|9UY^ESh*HpzIj(%M+$UG$;bZ;X{pe?Mbo@X1ftW*V^viQ6*f~xw3a4pPV6h3iN@kK6Pv>){~ov6tN(#gqFPr3T_peWqG{J?}i zZ9<7fx|lf)HDDh+Z8|-{GW6$ae|oULBdOnNIx(RqChNesMrsz1|C z$gE*j(E4z;eA!yS@^-SBtjThB`s2>*UaY%OQlHVq^k>ouhVjgz6bDg$(Ea{}FFw9H z(KTEAxbo|pzW;8UCyqt7#oMv)A5JH%SJl2@z8@*^#M#LEizeBM zv2pOnkK_&57U9IQE}z-~(&+pp@L1*xtsCK)7~pOAvX3td64hx<^Ydq}zbY(H`5>ZC zUJt`jTGbSf$CR-8lRL@!^G{2-Q%oM#v)=xxpYf^R`ub&+Vt|7K8}BL8e`AX@$jA^Y z+K5@rakduZMvRDdMbaSOWn$(g-SLgb&0GBRj@f=MpXp4_$?P?0(Cgr8|BlOth@vYu z>Ei5ihQ+;Jq#n|C#!+9@#ytB)qN}Ql_NS|LepA2DOZt#iWhG|2O|fl$6HU&(_!63{ z*j-;Z`n{ju^??n0`n)#&?z(5vOGO8a2dTMc3H=F2kra{1@LX$)kgjxn-0q{o&~&-C zcx@onX<6vI%Ug0W=noVo?XL8+Ys}KiWpK_zXDl=#pjY8{CWJe=MTh+)Stx*c_$&08 zPh{hKRhPgey+@glITubo)+2psBv_!bGXPKJx*#Zbd% z{P^{FAVq>IXZVld+}hfO>&uw-rUEaSi4+Q$id45^zS5@@5K8SD*IvCRoWC8<8=M<{ z6?f{a5v;lt*3`CR41Yy#-k7m37ACT-_%cZ-BY)yNn=!U$2V+P=`wm(Qc2zn%OXYA7 zBsEnM{&y>eu?eN+`M#U5k%DE;NxiI)QRaend(?5e@~n@W-sfv#b`F->t(3Io8mUB< zn7DWkBsFmc^t-UcR`NJhWp!7`I9h3Q{PcEu$KIbm%OIr2Of7D#nuK+8cFB$8RIA~2D=QA$sxsgs-(4Qw!+RV%p1VrerHj!*}Gq4 zcwW$mkp;O-PCYQlwou4&*;6T*5DlHGz_=Y65H6-yEdsK*s%(1aRzF*X&bIz3(KE`( zWISU_1C|BK?*jS98aoJuuUpQJJ`;?0#)Z04ct5+tQFZMUVZy2EZCGavCkCn+%U}+mZkBc!hDLMgDyh2ty0r6J-F%npn#DjAz`DA*W&AQc|zU z!DmT}6sVF8dQGcIPP`$R#B`99Xx?jpX-bs{(Y3CZ&Gp^ru1cs&14iQH@X& zjVm227+Nyir2$CCWQTsaR1OP*2WX)RqY+%Q^oKw(Vo?zLf3@eiSsOh4)o+9rAPD!B zY=Xqs0G5oR4%#E6aMEp%n?ydX_HbP#5cBGZwdvkTkuw<{DQoeATUGfxbPb!r)mIa> zNH5S%uh66dVHQWSyLV`4*Q+DSv@t6EeQcUO0EQdH*fAVLMlQA zTI?fR9t5lu0U(C83rWQR+eZK>K?a`h{GZyNf#^I_cG_l2DeT0{wpbxt35Q0@?+HUixWGh7q1oH;vt$uTqf4)I5n96k+! z9eK3PQcVTVDlRM-pYZq<6=T=8e`KuqeEMMfG zyTkyKF@W%OO|XD61G0s3H#1ON@y`iZV8`+byWxUjnK-JxL~^#Ig5aP>V;NLA;x@65 zpVTyMD$mjx6w`u(O#mKi7b}TsgKO&d0iXg07|^ci`sV<}xQ~NPARW5^iv*hH@JHYy zbVl${2BcLh-^bkvh@tZW=oLrMX*v9iQUwM=^}z8 zM`&%h8Bs-J0%HZ|1x1l(v9h_0uexmEs;{Tlm;|*Y*SakPomZvW-pXg{*W*Y%(Z;-JHQk>w&_*tb zE2fh_rw20NRbo#~a^b>n{s8FXM9EE?$e|(Ei$x#782C16+bUpb+v*Lc@~_{6wuQsmecdZU(FZ zW>{GS;leiBpT{&#UB!Pqs6qx$&86qebZX zt*ZUVSwPUONb{QqcSQq;K!*#OBiAJDjS5p}pSWBuq6X@!!C&UXw_oJ1l}hsgZ@xqo zck*|dFxbvXNcUrm36``~Ofz@i&8_M6i3)P(rksWg3YzJc2IShrCXDF88Ot?nM>SbF z69eF=VuzR&Z5Q?2_{lA2R&pcDXZNQ29^Ewa#i1M5Ep`D>!*c5Kg%fYq1n~7iUqu?1+}$ zcTmzgNPKw_r&Nt+f2)3*>%Al>hu_7ioSt-GeOp1u1#vsobY00*qMMC6sIbo9Uf)CK ztj<_8d-?3NH&U*)7|%EupZ8+Nv7RiBl7025{hRK5**xAtSiJbT4n~aye3Rv_x7Zk4 zeLR=sAP3pujqjXS*k|;ITf5Hxbrj~#N&n>hw6>fD(NdAe{bpscA0WDr{F~f`1bMw5+`6mjzz4B_uNIaTOI_*G z@+pkokNUTNpF5r*d)wv9M|Xx98Vosfa$Rjy_j-3H-dVGb7LdoRDvPFOa%DQmEy_d@ zISU2gNyO;n=BK!Or>-gY?5Tdip^FO_9p=kzS=MdU#zhF*$E{79)ufRk*eMQx148FP zEWlm`?DbiqlL`C0tp~q;@+X>hpvXmnpQgSGFq_BM&8r~|pZgi1#psM||3H!+;e@be zMz2_~E0YPnoNrBg(hVx-L{d2XiA_wmqW~vUgDH@)zl94cp!xk#<53vG!)Eu9tWEs% z`SFtEH-F0%)@PkwS>*k6wS7&g3{sD@a{NQP&)yE`p=qL2mwIa~_Kq9t7tf|z4&p2D z`MBV=tr0YStIm*zqVMS128a4thEE7FmSEfv4jECh(Wi^&f9$V4ehk0;o$+MEI}gn*7_f-JOFo zSG(pK9~9=>pnE(uK4JuZRkBCtUp}a1jmF(tQY9xwZC}5?kGma~@34-FRW*2BQS(6! zBeckpv=BaxJrxB-`1<#`#6>?2Tj@RPB!RKm3pp|(d#oD77Fa)M%D_L}M$ia|B(zTd zx+7qJLNh>R{Q$iL$%~@;etLL1ktJuc zJB^d7Z9Y+!S`3?M?w<-iO7kmIB9l520t0V=V&xN;3^aANq1kLGgac=x z_F=+(|NV)!Db?-^j9G6*RE&+>F6jDjZe7A&PBqP&$RmiJ&lR5HW3gQ|Tw|@KBsQvR z-wt04)_mfRU6aqpR3mxL5@?8(d>N}hZpmNoKz!%ZmQ+i7&sWX!SJDq!g2n^~3|ighB?NBmu}#!>)+C0@f1~x{bwsM8SB;00EF| z^-Wu=u{Q#;{&PgWf@IaRtgF~ZnYU8KH$_JCb(mAVghevv1R|*iu0@)G;I>*!^glnYqS`*-%ql~nKXleJ(Gv6gnj#B zt@InkX(VJUTVH20ly%Fo=Jz&ZyX#1nd;8SwBeMrhdwG zr|TVe4`@Ew7QcCp#17U!Lmz~oj4IulB!9=)eCHO{|C@E2AZD&IRk5? z04!j;?k{KmmkQcEodW2ghhyVpXX65cy8vYW``Fyp1^9}lD#j_!Cn_c(B`(D#%E8LX z!z#fhDK06&!OG6XDkdc+B}^gs|4lJO`mSK^VCiN>!N$w=KgCsg5Y3{loq;y#;Pq`6 zM>e6r29~8O$?Edi*H~;v-9e9?3Z=89>wu1*wr{^etp4RA$s~Av!R>*$nqq(}OKrkP zEW(&+XkL|lb;4Qru>#GEk(w_hNP$TfKO#;u_Wt4ZeDwC|dYL8g`1X02?L48$B*7Bt z*+=#*-Bpvth2@Z`4CLr+{S+(4VHszQlNM#cIl_C$fUj1TOJsvLW=?cx&5a7i4#=(f zifTK{>Z=Q6LDen>4hJLMPAn%OMW6Mu0zJhsFk3v+ybqY2-25wAO$j4Pz{PJEMP74 z*tpOQRZ>=jhjHRlxx|E+qPF($5dqu--S<-CXRTjuQ1?!TDrx6pc#>8nl#ENsJASVz zxs(I$yY+_7sft(Ep)2=d6ZK_VaGOLkTE$9f3)c-!4>?cR!KZU2F#LR#ICnLp%wEzdnD&{qjFIy&Dz`r2BQBl*#hi=Kcc(9Cy_CEt(z)cZy=(-( zM0wG~SyAXrV5NX413;vgF~zwfMmm#3@+7G71mQn{OKW%7NX0-jrCt~(w2AJDR>I<4 z4H?~UQ1jNIt;!#ts|Vv2ZG_&K2?DkkX5vUO!J}iepvxj5o!3;z_f_UL_47Y}rQW9lZZ=Zoh-8qmkIA22O{;bql8NrKTb(SOB=i&SZm-jky;b8_-`aIR{v8J++ zZ`-Oms6YF@TfMy#w?s!7^_e?L*jcmK9sy~>6DsA%6AJFIu}tFz4tERy`~GO)l3_gSs8-YNC)vyUQmA5)MvQ-F4aXGb67`{5Orl(;GybT>Rt8lWE6?!=EwV9{{<9seG#z)XR2JR|E zRuDy*WreBFJ*-&awN8tw1{jBFZ)tj=8ii-@SH;IVSQkKNH;)y*>S32&$Jd_C zMIp)0?gsQ)i-hL%Om5>}$+w_(1sV5|dLeIwd2aDs=|7SFMZWC0+(y5WZb1ftf<*d^ zx2ms%{c=~CgC(uK;)D{_t4OTMb8&y;AvMSk=?;kGZ;CqhuLe?~+^OcqK^x-Ph_*x9 zuprxsK#$`z9OtG5H4)jCitzJI2?fR?Sxdj4!)29|!j0n`L2?zvhzrK= zF4;))@$!41W3X44PnC{g(&<4{96%m7-GzrEm~|l`?4z`r!8%;%8!aJT4v=G5j&ksj9kbiahZx-ZRzl4pQzsqJ1cx>&_ zf8IsMJ}4%jGD7~KYK|cbF0^MLV4gM_LZxUu^=iA(dqg`kYv@0WEvA?a5}eLA;Vcyl zi~`{*V3`}rnS3v*CQL*Kd45n=Kp}lKLLkm1TrwNT$b(yw8@Nx+>MAU^@?J+;H4)wx8+HobZ+;`5{A$^MQ*Xu=)mRK=T5lXiZpn)b+W)xh>Wqw9`{Nq55AS0i z2u_p#N5BbeA>Sf8pbu6NUEW2KhY8&utM8j|6`aFpQ=16y##1>&=NXaRdo*MEy?K}|-GDA`UM}VqNL)PJTzq^;|FzW0 HQb_*;69pp+ diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex index 5b4787f..cef41f5 100644 --- a/TFG_Sixto_José_Martínez_Gan.tex +++ b/TFG_Sixto_José_Martínez_Gan.tex @@ -664,7 +664,7 @@ La demostración de deja para más adelante ya que necesitamos introducir algún \begin{equation*} 0 \longrightarrow F_0 \longrightarrow M \longrightarrow 0, \end{equation*} - encontramos en este resultado un criterio de libertad más práctico sobre todo a la hora de demostrar que un módulo no es libre: intentar calcular su resolución mínima y, si tiene, ver si es de la forma anterior. Sin embargo, explicar el cómputo de estas resoluciones mínimas, si bien está al alcance de la teoría presentada, aumentaría significativamente la longitud de este texto, por lo que nos limitamos a indicar hacia un texto que sí las trata, \cite{SINGULARLIBRO}, y a ilustrar su uso en la sección \ref{Apéndice a ordenador}. + encontramos en este resultado un criterio de libertad más práctico sobre todo a la hora de demostrar que un módulo no es libre: intentar calcular su resolución mínima y, si tiene, ver si es de la forma anterior. Sin embargo, este cálculo no está disponible siempre lo cual hace que no nos sirva salvo en aquellas situaciones donde sí que podemos calcular resoluciones y afirmar que sean mínimas. Una exposición más detallada de esto puede encontrarse en \cite{SINGULARLIBRO}, e ilustraremos su uso en \ref{Apéndice a ordenador}. \section{Producto Exterior} De cara a la demostración del Criterio de Saito, utilizaremos una operación que nos será de gran ayuda: el producto exterior. Para comprenderlo, necesitaremos entender primero el producto tensorial cuyo objetivo es \emph{entender} las aplicaciones bilineales de la Definición~\ref{Definicion_bilineal} como aplicaciones lineales. @@ -1570,7 +1570,7 @@ a_1\euno + a_2\edos + \dots + a_k\vectorbasecanonica{k}\rar[mapsto]&a_1f_1 + a_2 \begin{equation*} 0 \longrightarrow \syz{s_1, s_2, \dots, s_l}\hookrightarrow \Kx^l \xrightarrow{\vectorbasecanonica{i} \mapsto s_i} \Kx^k \xrightarrow{\vectorbasecanonica{i} \mapsto f_i} M \longrightarrow 0. \end{equation*} - Siguiendo de esta forma calcularíamos una resolución, que no tiene por qué ser la mínima. Ilustramos el cálculo por ordenador de una resolución mínima para estos valores en la siguiente sección. + Siguiendo de esta forma calcularíamos una resolución, que no tiene por qué ser la mínima. De hecho, ni siquiera sabemos cómo podríamos calcularla. En este caso, sin embargo, por ser $x^2z + y^3$ homogéneo, sí que hay una forma de calcularla. No la explicamos aquí pero sí la ilustramos en el siguiente apartado. \section{Con ordenador} \label{Apéndice a ordenador} Con el ejemplo anterior queda suficientemente ilustrado que realizar este procedimiento a mano puede ser tedioso y en casos con expresiones más enrevesadas y con más términos puede llegar a ser impracticable. Como ya decíamos antes, se suele utilizar software especializado para realizar estas operaciones. En nuestro caso, utilizamos el programa \cite{SINGULARPROGRAMA} el cual entre sus muchas funciones, tiene algunas dedicadas exclusivamente al cómputo de sicigias y bases de Gröbner. Mostramos aquí cómo realizar el mismo procedimiento que hemos visto antes a través de esta herramienta. @@ -1628,7 +1628,7 @@ x2z+y3,3z,-3y2,-2z,0, -x2, -3,0, 0, 0 \end{lstlisting} - Por último, veamos que no es libre calculando una resolución mínima con la instrucción \texttt{mres}: + Por último, veamos que no es libre calculando una resolución mínima con la instrucción \texttt{mres}. Téngase en cuenta que podemos calcular esto porque $x^2z + y^3$ es homogéneo y que en general no será posible: \begin{lstlisting} module Siz = [0, 0, x2z+y3], [0, y, 3z], [0,x2,-3y2], [x, 0, -2z], [3y2,-2xz,0]; mres(Siz,0);