From 9ded9ae5f91ac0b5b3ff0c8585cd68cca9cb40e3 Mon Sep 17 00:00:00 2001 From: Petr Velycko Date: Mon, 19 May 2025 09:21:10 +0200 Subject: [PATCH] t misto y --- skripta.pdf | Bin 227258 -> 227254 bytes stabilita.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/skripta.pdf b/skripta.pdf index 7d50854371f20f8d637f2e3902e0e23f47bbe759..cb2276cf20b0165aac059ecd3079808541f1e7a4 100644 GIT binary patch delta 9052 zcmai3MNpg#lngGx-Q5BqxVyUsm%-hA&@Xs!hv4om!3n`FKyYVpmkjRgzqh?@RrjqA zUDcO@r3A7z>|ckv%FbQvS=9QUMfYxD zQ4`_ECgWA3+!L*TBG&MKvw)eIR>NO$6ph%JYc|kVBkiBMOLT0~yIs)L-lGT-s0b~2 zU+6my{VDY&x~Ru5-1U4I zmx@&)4G0yc-emWr%>ENof$%@c&TuL8_9{N@j21?cDs6dJeAp`5QCD`2e zP3sZ<+bSo05O){!$~35(hlX8Sd<|y3xcO> z3BD2Lyx;d37FaI_ynKD1>umtq!cSj6stD1>O1dai(bZKSYW8{AFDvRQQ0sTPr&kGL zj9mBIX?ZkP@47NEhDe}IsOuXEI}u=i3_*}A+PT23eP{nf4_oA3i78@k_BUk4rzqB3 z+y{4LMsdU&O1k;^$510@paa6US?9d>`lS@_i<1c8p_=a+u(!qe2_N@ipW0_;sn{)) zos)^D?eSFo^Jl@s1sa0YuX#^LxpZi(#-o=3xe&WkSy}k{->GqF)AbQ4#WS{;qae)* zzJZz1c36FFiu0_I33RBbjO$jMO9Y%5en_qfn}-K$_JNMAQ*Azy4vP{8?+1!9>rtq^ zIM}A(Yzr(5I1sB}nMaVWVcZB-_Ip%L>U{_OWz0bE4B#P%XJk!Zts9dKM_-w5T^Yv; zcQ16jT>x`qDfZ2tOoBtGO3;qdbuY44>vw&FO&?}^atwQHG??Hf4>qMo4;BHx^ahZG zMR~NWb#XTAd8x!PSNb|6q|=OQvc126C>ZkZ$IUe`#OW=DiyIc1I2o<-4;(^aFo2qf zS|2wpd*g{NEdn0g9A^CB^Yud_Ow}DN^gb~Vxy|~oMLu5O{7%fQ^om?VuaX4~UIP9| zP{&Pgc3>o1gMWUn_Wg)e3$gU+{q-n<>sQE`wlBp=*>IhXxaM~qSF`d<-he1o^XQaet*yUVC+Sq!PNq#nO0T!qLsg2TVlk`FuhKYaTp zl(zV!*aqWz`LSXpA^6C7Oggy8!!AC+2VN&SGc2|{Nw}=vqqCijv{$q0N3ljxda%de zO%N=Rh58$OGf7wTL&T|M3ugMF+%Mqmo9+tYxJ?jMr*$}e8A}dL9d|xQ%jQNk1<9Dn z%byH!+SC}@a@5vRWDn4x0lNWjgDzer^gmPpr6!K6 zHosB(;xES~3T;_l^o?4^`%=i^v8`6ZmWZ!kb!Y`NNVqqHT zfh0*F2~XI8?ZYPyVytUC%}0RpE$HFbsYBXAB8dPEmw2E8gvlB4@??ZG@Ue&61a&s+ z*S;GhgH+>4PPHb}?WCBYPL$$_k$S3KXBev0OjvZK{-zjUMqi8hP+za5 zK6&^b1HVYQ>;RfAvq&>nHIu?$>kxU#X2xaTFW2J1@RczjrUGr1bEN3yXk9w%l~ z(h2ESC}d(wP%<)xY>K!s6Mm1aS8A*N{^kGS0zT=;)CXZJC#y~876xn+ zsblNC=TYslXzuHB+pqoxbR{2osAjrGW%a(^`OzR7DTFdpRnV#bS|*(~Y)#h4YI`*D z6Z_do)l*L=C1kTyg|`E*>lWusFD4euP|z6N*0O8hRh5TQ(^yEi8%gDaYnQJ`ktq|hzGCajs{N#SLq#qUj{G^hOLq|0!gmqC3wA!|XWet;}u5%}I5Jg{p zmp3RtR`JCk;xVIA|8a3L;na|1Gw@|59K8aixRp zu``wIJ4PM?KAelNAw{&ojI8&^1btdmqfx1T#B`+K&>h8xAynrj{D6$;bCy7{UyYQJ zQdfPj2;0=@z?)tOf8`;Af^syGjt*~!Mw3ru=f3JpoFq3%odB5zeNcq$x4~{t{-KOG z!X@rHB^v%+W3R;iny~rtaikN&$UndK+;wfzM62$*%~<#a?WiU_fl(3^eG& z{%yn?yv-9#0ev z*Ua1~0Fv=8ZIPOk-D+O&3}`yLtsr$0rf!@v_Rbr`u?f|s3C{je#bnt0q`rEy7nw1& zIlMIXW-l0%cNq??sFYpST}s@~BltQcd(W1U_DdY7v@-0>er0ugK@7am5VG1wai!S3 zyRmUm*>)4HBdF>AK;lbWFt6KGN^nshlBqZ|K+~bAYOhq9qaBqA$>@kqj`yPfLqtib zY&8c?r)fR7#$3TXZ1QDZno7!XVxg+Ktx89>cXeEdNGYT6P#xU~7{+OPiloB&88-I@ z{e!R5eGUQ?2;~unIXs=&m=|HR&+0@+s z@U7%)n%-tzZn~;}7cEm$zh43UB5U(>VF%_Y50tb8hbGqK)uKCZKE0x`OfQthMyBBF z4pqd&qa+li3rVpn1H(^AbK8&%11;zUc=B3_x<3+vJbG~UZL?VUTczv=w;%879 zl(1{bVcdJ>UOYN+oeH2b3+Gp#zfe3QhaR=|Y|oe3zq!jgW&BMez z@OxYpA;c4v&m}mH)AIJghwe_Gh+d&5uL}Es>K=>M2kl$KXpvPj7bAcuS>ruGWxWG$ z?KF)R-ze`iBu8y?JAi`u^?P3BqJ~FRap%lTE`A>bkBk!PxACZ7FC;bb1*?hcMrR3W zX}9mRi%1mfZL{hzu~J{PU>~`Hj7#NEx)A<^amo zurBrmwaK;ZPrpg>*0IaoaWq6=8T#Q2)h2MNm9NpHXH3`SY9Tv-VKXeeK0pzV`Y|ye zvYBpwO9rEf078?iYS&7%_OPQFkk%S~Z>-rrbzdHS?Kb^_p*o8`h37)IXo+RuE+3Pl ze28ZFO340zx}f7yw;SS7zCoFsMtZoFD0vKqFBRE^5={+#Jk1S5+WiOEU@-=H#R`$_ z7Q5zHgy(Gti*$+HuE?$*+_3SrB;Alyz~Xem`}i5byKjd`$WGG7?u!yaLbdoFe_3rG z9`hp1NK=tN<2w_4-OAhcH4sOxH5L2i3;W7!KGIla5F>U|AqX%@eZ>&Q}#I{DF+5O zl1CEeKf<>0NW%G10yi}fn7|#B!}qv%%5nh^ByFzeA?&lrnc4L4#5L2{n4?ycPt4Wr zt2<|&WP|R2p>BbR9wrJo!07y|%5gGB%6BG9HoN z1^jTW8Y$p24(BbYN#xk1v;wBhdSY>0)u|oU+BIv$T3lx3%XreA`hz1VxM6<|3rb&l zYt73^elKrB_-?dnLoVSQH>5w~AX8I5f3bC-Ax1qbI5I`LtsiVbxkvEyV8E7?Jn@!L z)P^)aHiUl*ykASc5NE1@tW1S|z3GO_@uQ29rzdqRhk*XKmkv!A!v2}c2d+8e1 z4_t2xz(Idn8-d?cev0>}kz_V0Jm}FhLJZ`yG zHF-K2BrP)eH>cdWd%VGGp-vl3+)6tz`|;^pn=|ALfC1U5!sC-d{H|Uqk|oXeBU}68 zetMB$^vu0|TH38@$z`cr<@akm#-0`SMhDfb!I2XcwACXU!`$bV>%IkT^sNoj6eXX2 zBuoEMLU}geyqDiLpNed=7{Je zY(*p$7`6WQ_a;lU>^SKBikJJ>1eVz{6-Uc^q6GL(hEkbiIBZT>LT-=HY_qNd^bGHmwB5w{sN;g{*nvyB8!mA#cwC z+E2^zub>3$7V<}ih~pN7SY;DAMw^!S92O7fGpYlZBbSA5&WTv6 zvec6NJ^|t#oae|D3&ev0SE%GsU~HQ!d+};xN2r@8J5~|~bJQ~GNGv(R5?tiJXzx^G zdtCDmepsKeaWh|;sQ6<;g6Ue>;YcC@`Pk~o5Odm43b?RcTdG)E-I@C5kAr)>Ae1bbK`SXFXs8*6EwnClEHAp7sARaGiX)D`k zOzu^YQY2cH5HV9Qd=Q|>5&q~tvxVPgSGQ-z;PhcTDi7y(iRa%qMMlsNVBoIlM<%aW z?uR^R2g{zyV)gyr;;gV!;e1T{wSyoa5sw7XH#j)hh+f>?jED@8Jh223L!ZMTJjS9J z_nTPt>v+KyVp2kbYVdNu$+58hcW^n+>JZraNUMkoWs4(3L)OO5MNyjznZYdU&h1F< zhpLqAnu>jSP?!zapujd8*v>hYs-o}=7bU@Zzk}PfpUPxUrZl9M55%V7M( z;-g7B3Dc^|o~Q7_B%sxFlC|043CEJho~cxCD}c$P;XFpQG=B?I{?&w=3_|T?WTMip8#neUd>`U9xq8ql)mtK8pT!KWSfv0Q?4|>ZoiGdazE3!5q{*gSs%;E-C;|Zy#R2Oh)Sq`AG z2`6ZVGk7|>j3#J{BIpt_h<^jO-ftTZ#R2jS%e;Co_uqzAKn-Ahq>n9E(ujhr3G`Qy zk?9n-3ynKjdMI7e>CRVOlJt&}L+2Q2&5&tO&aavujhM)3FRLEt_|&~f%%EEd1QaE7 zW>4S>M?I=H-~p&n1X*K4ksPk<$;k z1+UOAoyxA1y_=BjjRkzHV@A$e7DdnoXCN4L z8Jia0j^jNtz6p&9O&DPTJxC#@d;76G`T+Ewdu%xb=VywTdeCngblWNO8g5SNxT2l-kjmK)SI{8{EWczn4`pp|qp+pAr zn3${^%r$*7yw`>uN()-uKZoF?=CXhi3gk#r7X_WLGXF@}aI9f8uO zREM{G^4`bu^XhyIRn>TSh}0hW0JR}yk0>8OjM^xKJqJFE28CBR#%(|57O-HhFpgI%c5q1WIb_(f}KWyAFs875;f zbOC?O;`!_wdDGz;f{=M{qs3ivZUf($kN5ay6W3jQj}6d}fach!#A{C9WxjM45w~J; zmaeiAJGm0Vx+3yC_-38ILU@-y;?Tm2*3|Q=GWXVM1%SB3d>pQOeF5(~;EJfZ=XK7> z01^;-`#65r4f)psawN&anKeB^8hY66b|l&4K?j8LHrbknY&+dS@usI^?g4y{IB~jf z&q4fV1CIfB_c`sBKGz(0!g-*$@_$k~Wv-)N8o*mZoj>OPsO$c@)A^^u5>~G#vHBA~ zXw5$;;DwPv==@6Jxi~Nps3*L!r>_&ssp?LMM8BNqH8UjM_Vw%-IC6K{()|zh#U>jV zY=^GZSJ(9GiR|O~~_P;BHJnU#{Nn>@|a|C!m&Ei#33O?#)uI!3uls(nTXR zK}Q<8Nss7?P#`(XoR##wY29F#kpg0Saw(U?jrDwH8UFs4I_Z;~)EPbXmxno5O;xsu ztjK+$OlF^JVr13}HiCV3?Lx7NMI#P^^5(~@vM}DS_!vZS`r4Y)=svlyAWtSP>O*gE zo8Hv&E1qj6+iyVJ*T3yWvN;z7gE#RkfZ`pw;2l6bH~97BBUYTk)XPU(-b~{Jw#bxi zPrO2{I&p1l@A4(D_S)*>JHe1G_eb3wN5SqNXb#H`A1qH3lcyf*w<`=?=Xr!93_$KL z2MHPVYC(d&UBE1YT(1b(q*z~4Taq3oBO-_KoS11*3o{Vn7>+v!Zyqw~+4}ii#0=lj z{q|c=$hqhu-YS-xfB0&dW>_mL5sM@boFnxnLRuR~rc zX9+MK&5K*;hvP{ymp?gp2zZ>N;N(x1l-I4Dvl5e}EB7i_>d)TSv`&js{PKgQ69lUW z*}tjB)B>jlj-}Pg@{FE_3^zq~k_M)|RwBl+Vu#^3YlKr-Q{HR66lWs-&rmBTAl364 zOKABH*XPk#ZC&LZ*JlIFYaI}@DsfrMM_DW@rlSKNF5l_C_~A9~*&0S-s}r+1$0d0!2LwcZeN93!lw{*rmV zAVmw44>&&kJXY?t_0YU-@8n;ruIp&`y-#!On|FMFX-gp-dEVP3uS&th#|hMx$6I)l znh{%B#E7cZt`);rq%~Ek=8F{`pJF0+g;F3lsKoGUKA7>=~P)E8+@Wd`{gs%?4& z`hX@LH_tEMgVOV=yrkPB1ILLwy^pHKUs5*%{@`fMseP?`!x{5ZEG@688}D>n0~|E@ zc#&Z;+T)QYDtcH{HP03-S2SSaONWu88Gj#xETy?aHJAE)&gdh-0a+zJp9)D9A>;+ z9K5_{oZRLD+&lvO{8pmET>p4a1@rvfRaFE~SAtWUHlY9>u`1I7q;#dWDmJL!FYLoHM38yhm+uWq$Ek zpOyg$xX$%ri~M@GF(q*S)^oU*J29wF6kY9#P&Z6t6zSk95_BX0EX@l*VWCq=GC3cc z&p75j@R@&d?o(+eZ`;9G5BG0CyWfQo{w@b)2k6D?26wrs_i%T*VTDrsxZ}nO_43QI z*2Rq`w6Y!LA*t)gq%kp*4aF+_t2s4Xlk8~OF-k8p42JA0lIuU<9Smk$7}_K!x0eyu z%!S*6H3j+x%^dJE6SwJ$)2mgFB`NQQ=wcQt_G8h0$l4doz4Sfw=+*80XCZ$~pJzv=vlGhUURZ3Mp^N7oFS zAf~(1I)Bznxqh0&DCSgssS(F0p_Il2v}(imProOR)D72pn3d-J#VO@Y@UFkNTmsjw zH7R=sb^dx?6%;O`r`#LbO|n#wcc{89(~NPOcy2Gv;3o)Bo>b8OsAj$!VaOZJwfjyU~IM- zN@|l~!EQ+aj|EEf%D5bI!2kI51+9KYH_2s7rCX-{eTeXZzO_Uw>Iw2w(s)cQX~2zQ zaTdsD$RFUXI1NDW_~&cUHWjg8fpvTvrT$ksm`}q^Yv_60f9m{#(x>#J(@({pZ*-qK>j;vl^VXu=0{5! zMNb^v3h2jgr~_ubG;*eNcLlw1CUeq-qHWqYKBJ5p`E?{uU3>lyA1G%XuF->H&W|p4 z;R56#6kc+L*W``3-epTJM^U;^!B^TQP^0a<$;rq=7z4qsZCR9 ze=l@}OcwQ&eVaqJ?$r9aVB!)gfFM`AMMM^}`*#50N9ae6ZyoK(gcit)0|E0t>tLlc zmRO9#nHxndE8O+4UV&T|{BMUD;n(96doqVJT#crR=cHncujw`x8ZLpO_5hm@3DJ209vOWK0 zcN^!sOL{-mHf;q7L+xtS-=VjDP+7%wXc|&VfM);6ugzoy-T6&;3{LC=&oM!b)^*@& z+?TSFsVv`}G}Y^DTA$iXHqicu-pabG+W&UkV6ct#v&y-+gZrRR+vJrb^h@_`!e)(& zN*%cEzveQf#(AjZm; z^1CH7eH!r^Gd%+d5+Xk#X~6sQ-E4@OQf!_OQ1sz)2VgM9b~SA}aopONGPM~%#m LN>4ANCX4z%ybAOT delta 9051 zcmV-hBc$B6?+v=|4S=)(vNV4=K0XR_baG{3Z3=kW?OaQ59Jvv`=T}T_5*E#nEIz%m z00&5dR4^Y2qdHk*$jdwRy>$gf=(8ugIXWU=b2uZpC0zwX42 z*^I3a2*@g+7+B}(k`F1 zD)wD@j#;V2-0W)K6=j)MTKh#*QWp)IR78p(g`lda`-Jn~O+qlQwXm@dJ|bn{gtco_ z8PuTdO^_pn4DG@#XvYnUF3C7 zu4jsSA?7xJ?y7}UXPsEof@?}c@4XY1A-VPGoo~}SP1#5>?*yp4u>93kcW@{T*8u$` zwtVbLL+A47RY}@4$x99O&M6^6< zH51n7rM~J*111D4tseUW1jf17c6sHtp}p&m3mCzdZ1r5*J*h${s22AoKsL4h!^?>E z0xCZhD4CpY^0<~tbC;TFUV0cpY&0>uFQie%!?*NcDbb|lI(2R^wKx#0c)J*0#I zkTNHgOHTA+1fmX{)~%0E0QM#WAOTbvN5bzu#Sm&uphqz&#Hb|}#eq_cpm-N$YRC~Q z$i7?p-_NnbW!Qa4--?I*B5elI^8F+^18(e_qAHC;+?3c=D@tvJM4$u2e%9$31C#!w&zPm~|KWwM8I0!o>CMUxjkPsma(^BiiLbNPd zh}K(}2tGqzA(h<7E2M%IUJ>OqyrLUjv_O31DHLJ&>*>-m;kC@XLFz7wI;O4jxs~d! zVY4uNz#GsxAv;eS_0b59NBvn1!C+k`d8K()V+?@FS>#(Q}!r07h-NQCj+6GRoWlA2(Ai(M>Np=eTF17>yg0$#!id? z=1hBQEy-G*nmxasl(z$Wk`m3_30W9aMl|wHJCjW1dn8kN-}FgHI-^8D!Nk9@$MQSL zPG*0JynL3lW|9##IwqM$p=0~S=pSNElExU8r0R=f2yPOP<}NO(bqvv$cvcI0DTwea zJ_V)({~-kmyqn+&#S8zsNRD(FvX*ouJf+@{;7sN)7?rSad;(B&zzat3YdHht6*}>P zyHnsdK`(@bKRFQ$O5c!%{Dw4ap5}`6$0QJt5lC&}z&JMoHF~?3imR^!r)MvjoMqfmGB!~aMQWLdvV4PS zh>zw)Iw!1KXfe*MluhXpu2~iiQPaU8?h}Khpc$O$Aw4C-P2X6TKG9n(T8U1s#mRpe z>08-lwZWETw4_@}wh~#YEb1YM!c+Jv(dU`2M!%HNui}tzovgBpUw23=oZkIshd-DS zhGH6$UWRl+``s_)V{{0qP=0>49=F1SNhU>alDwM zRekg0wl6ip)DMGLHRj@RJLZ^8RSSP?4US9#y&t_qU{G9u|MlT&40t_|e;M5-K=qp_ zIywB8f`9|o;1S`aIvMj~MW@RhJmX$1Wfk6?0&*4ae1my2 z-bG92Ib*_HC`{={*-0yM-<&9a?%33r7cPSEP_20Z8TShS;mTxaSPGU+j!u875~s06s5EncoyRH|7_GELhY zO%1dr)PuUS*2d|!s@ud3?lH0*&7Fxr$R&C1lm2S4X4^*STd{3rTnS-r2uvFDPfN!3 z#4a5Se?7)Axl=$neESgx5a>B zm-Tq!D6qDH^z*R|q(I4B=76Hl0d)oFTa@yCAScH6T28}C7{HP;Uvi%n39sOGp{YsR z|Lt2Kf-c%lu`@cCLa371ru zQ7f{hNgBY+N;pdNFtbLi=MKupWy00G5~VoJJ<&*m;R@W!emQM$XrRca0G+15-MKOb zDJU;>wwTn1z)Xq?39~-BtrJ$W&d3)2F$(aL!|WJ`NBTgg7PNzXvSFIBVQ%u)ZClot zchY@VBpnD4;Lm^Y&`T-eU>`PWViL%VlCklXt#-RBTW(ZcFSSB()uD!>VABOwjb0?Z zIGFRwi%a^|B>z@9TO5E;gH%`;ex|)Oi0X0;b~vi|QGDbD8zd%^1hhQsiE5Vax{+&Q zvai&VIQF%GF~j5oA#+nsLN!hhsTvY0ws&dwBOb?! zn9)D>7q>gZ8HmuD&Ml-koVL5;HtU?pnR@3!)KS$SLG_lrT2Zmn=~T-xdOjPe*ZODv^LtEHQS!eL9nX@?Vo0g_AgBz6^i zXW)N27CDnm2O*XM_CcjD7O)i^!_`l9QgOUa#cQtyhE*-O@@ z@uI6c!<6$HZK_bq`_U=qxV9UTBEyUWoMPEB#T*=ahg>7S(S}2S@vFb}=M&o^HI|rb z(2iGD=oC4KqHTC4=w#fP+HSR@ok6Y8?F)YkN`LzHb=pbrvkgX926L$}dfIJ)6+!p! zo^=DqB#}4>sSOqW=pKwwvN%*TA0!wM2h7@S&bWjgr0bjoUMZ|` z&m^amR#P#ZDs1InuAr+=YrSb77py((eoj@cUxU+_N{1sT^%;*#1Q*AQvmAfU#^Em@ zPy7}bHw4CuaGZUCp3OKNg+1}bX58xVFD}%X^axZzBf5Bdcw7Y1#sz_ln71&NdsuXT zQQV|^l9`{!>!#_?5Xj=baJsQYSQO5n(d{3Y#npd(0M5Dj6)*L+w@%vqm-&=JaT)Cp z8*OvrRC+5LWc)f1Y{Tid&jWuszM`F)(M0NZmq2+y(<`97^xv+z9_;6Ub+%>+&reG~ zPf0e8O+}6D##y~w#rWc4h&>iVK5b`zcD;7vSK~+Lg@*dZulC_WECT$>tzBvahVEQc zw|4X6)xP-AOX=Fa>G8^q-*U{=<9f{9qyfb%iD~|1fFs<|-)t-XQo;+8aQyI_{{esh zmIH?$LIH;#LISrRLIaH-f7oFog27BrIR9__|2WO@`mUVr#V2IxVGnyYUY>UO!7C=~udo3ON`qhm+ZLdY}*rV@=!w>lnv*e#%B4 z2$9D{=Y$APYM0`@NZ8e74^s4-|k9016U5xkXFXjHuf6&)si?0hW)4cQ^ z#VeXSM9k5fD2w$VxICvO3(+`w8KUBQ4(nx)_ zHP#_|x1*vy5<)z^EkNYbKI;f_Yb?%+UMpffrFI85kNOFb);V_G2+s-}`yjW_$Jcs^ zlw9_I6umv5PA;yffB&B!lF)dP*CM+3xQAGO9MBQpC&)hO4DZKBV;*|d5f@^&xN0k&3 zD?hXiZmg}-aOj=(Pq`jfrR`iv)yC0_O^=Y~v1{;R-5%(`0KI)h=nA;+JiYSw>ki%~ z77>+PU*NFBB)vEn6wP%^^bNfl#@8aYX=G9wvCYP{LvVyu$5%^(N-ylSN|JeLqpl2{ zi_kIn3A1}Bf051Lq3Jb!Ow;|^9Eq}lYPQw{W`XPrhiwVM|0Tt<3MUs`-k zO=!>Ci166cc-L(8(Zf3a=DyX}(wP9!?N@?F*0rlUf2BwXP9;^33bXvYJES(cn#Pyb zzb!MLhxvpJ!Mu{&gOm&oMY{|N@0$>&AdJilf2AAPpw5*U7$MHJ8fb3MwTm^wW6c=! zvgg(gkm8K9XVI#+}J_P-_YNx z0o@=WoQy(*aPIhka%I{PP^&YDbL15|67eF=BqP#Zr<#vlU?MF@8gM2Qt|8tf6A>XYQM}4D zsgM#WBJO(^iA9Ofj_psnnpBSxf;>q`^sN$+4lOF60K^aly3$DFbS1lXBs8*65}Hyh ze+W%ALq<~(#3m~op&%Zmq9$;S3v{94&Oy-KsEk18sOSWnBGdwb4lA!Gl~ATjgGeoj zOia9KvLI++)D0G4>Zqf|dDS!NOZj4550TBNHw+cR=BrOUz%660M15rvP-J;Yha@S% z9x_JV5x-G)mPd5Z{K;=ALQ`)=S^!Z4f5(*r%6}*}O6TL((MdwO1-871w`dSlXN@Wp zx2w#}(UCITvNDmTV|s`qv@0S)^m3oNQw~DAEm8*BNtppoL|cVw7*U}(;QWd>%^fKs zufaFDl8^e8K6(_LE(|ht3W@(bIC&Q2qQNU}(_G2JOxgg#6Fnt>N$H>)l}@~hf3@VK z^f-`|PW2Fo(*$5BSIQ9Y$Jj%4liHK3`g1M#ASpBq@&W?`xk`ZK!Z0`tIv`069I|58 z3Kz#lCjfs|`;|e#4I&?5odU6iztVZK5b;iHw2Se~(5Xac62M~wqm0hd-ju3l5KO`} z?c>moFr9|bwwu&W{Rq$Sv_R1|f5SP`jc|^sUsVr8E2`O(Q*akU0G)J+_X)yuKl4x8 z0=pTyAwd^YkrpTdkp`%LmKdT&_#!#ADZ0VU6!|o#BaJ35DFj_dCo*}guAuAUd7Ic2 zqJI!_bzFw9=+HLArd~j5q(>)5qZ`v%KN}Y>WJ2-8A`PPhlz9cSE82yPf7l0pIGsC< z$OW;q2%v>d3S%JMt#cG1E69W7ic*|Jxdd61 ziyUepZbT~838_>!sXgi*EJmc-jLyVs3L%gpqEn%6K?6KRWYQJL#QX`Fd}Svjy%c^` zObTGr6lVjv0pn@SF*>1+xba|MF;WG`lDtv)A)cIUi52A03U#f9Z0({PGwx-Q7*f zTY7TIpFWMVAC`;D`S@-*o5vHd^g!1pN@jcJ}pPbacfJo#-2Iqf+<+7Eh%g?1QWA(xGO#6J)6Coj?uf!n}S|8y3w-# z@#y`@#}zm7;m~69fzujV^pVparmKs#(f8-^g5`X#d<{LhS&R9`d_FMTkwT_}#Jc=dbVHy*{V~ zx&7H>^bknVZKT-mK?>5hUZ^0KsYMk>QN`0wzvw3^LiH>`(n?`?FJAmt@Y1cqI$BH< zEp7+2bQ0egD;;qq?2eVa;}-`Xk5|0#hYT$3^j7lke@a+-(PDI{qeW4A8|Y!La6dd@ z>D6ByE6wy)?vmd2(ccv=ax=78zB^prAHIKnc3NZSfkKOHC%5vul3O8kZ)j1CgvG~% z#b6cUF|?>39$LCpSc8jf=C^W}{I-+$&R9{KSoufHibnTjzNq0ve5jcYtjrh7gPY+T zij668?(RIEt|3#o3jO5vU~Q4{mnkJFYG^$*Jy1RWPAIYru}Wp{=8;>?$+ji^ZxAY zf8{Y|d;6!`w7&TU>+_ZEdB5Rlz1TE7C8WX74~p@}dD%3)Ya0G`JiT9Ji_vuDyd1&S zljZns@+BIt{P+EE!iMwt?C&{o$?oQ3D0n=*8c*SetW4pMU10IRcXTnSnW3(j?XBRO zRtR6Qg0yQZ{I>V}`1nsucG~5G_DB05e_t=?)k<7{I8}Kc4;$W>f5Wyi!t>~IhtcKU zz^~rGuU<#Lx*cB5;a276OSmDqPdS~GSIbn&=9s{Mi^*_t!~RpwXKXet+4AohTi(n| z_{{iI$rk0OatePW4_%bE<5Wt9y_gR#|0dY zuUoaUVLGqfV?!)*D;vIgeX@7@Is&H4i0;8$iFdh@3~(h&XV&P=s54C~%3WNE)Hx}m zv7q?zr{ScWUY0cv%P}%l?&dQPTHIeO%H^s;e^9NtVk}N)^W{wmZKf(5FdDO}q@Ek@ zIt9GwP-a5T?eK1~oU!{U;4)u;e}VG$Zux~~JG}xZmiKcK><+8#_%f!6r_>i98k3y) z7tm}nyB=Q-C&TF|LaAJVs?6+8uj_DISJUlv1i|I{)*&UG^IyYJ zx8SI2cnr0?S^j&%D%j-e0ec18eXJ?8A>#H5wM~V(Z8N2JXL|>)-p7TxW2p=enkaeExnAZ- zO+PBxh}3@9JSk;J|CAMNCPMWj=rpE3n~Bf==F}%8KATBTUANm?GBhliewk9Ur0-d6 zpM5-h_2Mlp0-JW!{Gk?Gf7i9xN>`bXPUyBw=ta|nw7`DLdb${Y&I{?cFPt@Jw9D60L3qJOfj9THosT7Mj@N5Gm^Yl3c<|NF1*;Y=<6KRP>j`#UKA`bS5? zrPa1dF=x;tf=qqV8`RftnWg$jfLKe}fUrxUIRK4=1s*x-}Xv z?k2-8tGiXbMZHaWJ{-}u=px@LZ?GdAVc)ji9#t)QA5=Bn-!;43-^C8~-B8_KwvKQ4 zUqz{$GyU?mp1kY&?!1=sz1!da{VY9I>xgg<`;;?u?a)<~`6<2mm?fyDpQc>>C6eou zN>5o`m37&+f7hgLYSOfmXSvp-ukC_fzIpxp*JQVj?AiSADCfI2l|sgM27>;XN%~1r zOMAAdy}C=()K-^dx19Fy@aWeMAF5300S~BI)jk@azUyd!>wn)XMdPK6%BM)^#R76# z{UhJt^{KCx$ExPh0JY1}fFANYpCZ{jaTKbDc>f0_1AWKQml0V56PF`#0~BlH90nBGdMOkI59M0HZ?IgGiE+KGdW^2VP;`CF=l2mGGsM5HfA$8Ha9pi zG-5V2F*q}3mw#~sNPjp!J_>Vma%Ev{3V7Nz)>lwfR}{waz0Oq>EZD`aAXPNo z5#lC?+Nav^DStiM7Tbx-&#?nVOMcS zj@x`R^Ew%Wu^2~RgVo|Lme_nejebvpxVr_`ccYIccgG%>h&{2FxM%llK8g7_a&PQ| z$=DbBVSgNeDdOI=ux}X1H^hs38)D5M8vVP2afrA-i+}9sCmhu?87ktnv3?kRl1O+R zYlhS4`K00q9EoWnQ3Gsp6q9T9`*V^PXCWn)!;|$CcDKE2`EN1k7nTfM78)svVNL8)P&tZNP zc`nYw`G1&;c_KHr*nB?oW629}AubYmI?!eoGox3d0GEjTGTV+W<>*B6GF*-;a3!w7 zLXp?E>{Ggq>GfHIYjGXwI#z`1u~_8oEBovQKC9PrBW}XYxJBf{2b=WQv6ucm4Vpx= zmD~uIqn_tB@=9EVh4kCWt8oqLd6wV~nsun>ynmD27>iKPe;2tJH=v&RZt^DFj9chS zv5ZFli)}P}$l5SBA>xlsOx+cxg&N$UF)h*ua7=I`bO7~`(QHaN~qu55Bp;ZyHW&YEY#KM8eXT-cc&N44RQ(UTeFj1?|-ts9r`ZllYfh>&%ZwN`SiE(4$VSbOruXl z0WQI%^!l7E!_KI`uwRoSF$%lV-^FieqEVmQWAyjPCs3cRD*A89_wgYRPuC zLr~W%U4<&J9_n4bi+WG%quxioYY#9K!>|E1#K-*B=s7$=y`Fjv^@{2BdBLPZk-*Gy z%ew28EHZLtgLZd3P`F&K$mF#%(7 z2=>D6n25>P8&j|^_Q%1fyO&hd-J0&rM&k%f!*m>j<8UhKZc6t{8RA8z`Oi|+AHLDA zd}Gi0#=Y}R_{X=$W#66$?b>FEmz3o<8PBbmDc;m>ev|pDHM7KfIASG?*Rzo|*FW}bLwN-WP8ulBuv z^mdpvx#Hc)^P79GtjQDaem%c=@ZOpg;yo(0oG;#w|5`2-@8tr^3&eX}ZF#MDZ$d3E z6z}&4%SFLlW_gi#@6s%92vX)M%ZtVP*xd5wVBT)IKmr|KSl%juPXB*)i3AdNTRs%b ze_38Cfk~N`PY3hQmX`(Jf*8vsxD$6{8J6QdJb*{=7@okBSS5kNXy^U|HHB-JmyLG= NAqX=HB_%~qMhYvH 0$. \end{lemma}