From 714059aa4efac821d99ca5dffb9c56cf3cf5a9fb Mon Sep 17 00:00:00 2001 From: Petr Velycko Date: Fri, 16 May 2025 09:08:49 +0200 Subject: [PATCH] fix subset vs element --- floquetova-teorie.tex | 2 +- skripta.pdf | Bin 227172 -> 227171 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/floquetova-teorie.tex b/floquetova-teorie.tex index 0d91c44..01929d2 100644 --- a/floquetova-teorie.tex +++ b/floquetova-teorie.tex @@ -62,7 +62,7 @@ Položíme-li $t = kT + s$, kde $k \in \Z$ a $s \in [0, T)$, pak Matici $C^k$ můžeme relativně snadno spočítat pomocí převodu na Jordanův kanonický tvar, což v praxi často výrazně zjednodušuje výpočty. \begin{corollary} - Pokud pro spektrum matice monodromie platí $\sigma(C) \in \{z \in \C: |z| < 1\}$, pak máme asymptotickou stabilitu. + Pokud pro spektrum matice monodromie platí $\sigma(C) \subset \{z \in \C: |z| < 1\}$, pak máme asymptotickou stabilitu. \end{corollary} \begin{theorem}[Existence periodických řešení] diff --git a/skripta.pdf b/skripta.pdf index db966f42fa123231b2dfef184e090a361d4821e4..d8a521ef8f89fcc369626cb68853444213c18a33 100644 GIT binary patch delta 9915 zcmV;sCPdlf?hWJa4S=)(py+=#K0XR_baG{3Z3=kW?OaQ5B)1X1=U2>8LNE+j#it_+ z$Qnt2-0bKSJBQV3Wgw0X7`s619P-;!MK;+an{3T!C3)A$8irkrj4h~KQ5%}NX&G+=|Tl)XchgUa;-~9>TKtEZq`fzi9uu3@V(H(z|7U+|5Ki{k`MA*T>ie?y0$4ez;BD zm|R5OrJHkQc$a>Q?W$MVyGY7E-lR?KHUzz}P6xZ$RYOC$z^|eqUhfTIrLe}C?GU^a zo`v>lX3QA;EYFe_&%+)ec;S6e;c!$aj4?js5o}@$B8bW~($#-}Iu59qURt>cjWt}4 zHq?VaT3k4QFv??`^u>RM405EV)_Kn#*0!&5Ti0O9t5x3Eov2n5)x#)KvENR>Pv`hD20aNTt9K8wJ|@L`8ME2=srC2Z4cF>chWCl2ITiQiMl` z!jo9q!}s(w2pNKe>ghiZe?5G;D1&w%>M=rG1MVo*AW$nZDMkd62K{&uR6Si3{VV%n zOk&??X-K6yJ0$v%eisfMkd5O#HHJjHX3uV|WX#Ze*U0D1SU!z#&acv`#sl&it{8EIW1mLuDOh*7c=&qjp`i&DK?Bt3nPsyDUH3b|$ZtnTl! zE|$_S!#c8T#ultVWV0hd>Ayc}ssncHZa@PxI}}T5K7YxKf^CGv2?N z7!6Ntpf?&3s2Ir`=C3_mt=2i(Y`u$%bf_^@{KjC2w;XR57VwFm_<2GCivddSgoYiL z4?Ln?*xAcGa@5)B9Z*n)3a@*18)Av0(qyZo(jD{e?KxW^8!Vp5Q6$k5aR;_lx*(62 z=JkIwxba~%y31vH$Ysthsv_zg8~I{^AX!B$yx}Tvvh-{BwpoKW0yG<^&O1<3?|{dX z73cAbBZEQ*?RDk(EHhr#V)%*4vrF>AtH|7#+W;=0>%LKiX^pKaW^H|+-7Q>&B92HP z&e$TINgpeQ^Cn2QQOM{PiMU(g;11Fz#cqF<4^Zr%QgfNGfC|o(32-iIS#W+=%Sv)| zwcj7z2(L(8rY64~j*~vB4|f+E@mTmc8B>Fm=}l&KsCTp^Uzg?R2)sC}R3Y(L^*iA- zy_AGbDKxRM94>(NJ{ZCd$ExL%nnvEVYR|^g1x-#G%9o$-bFsm)>>=}$zh_pM_=kVV zfCMEzTzfy$^7hOfxu~RN)&DZpdm;Exay`NZ|9+^5SPF%vR;nlxsNDXo-(>sv8KI_H zzt3C^atKY>#>XTy0fzXdT^sTbY zEmEt-lu70=49Mz?|Lkn5rv69+oT+~+)8Ios34-Vq+^&yDpbxS3hkahRb1QzXut0__ zjDHtO_TiuV+p$FgF9kVq!9O<=ewf#%4lfdhbQ>;2qd$P(Qttu3Ex(!=huDduf<%F& zibw<%Nu%`MlrZSq-F{v`a2#>z`x%?(MVvn5XCneQQ%SB&>^xz$049gGXTg7W(jK-1 zHm7k3??}6y&9iAO9P&=|%mILirI)}&4l?sDyt&&1EEuCMy}4KY3;BW#7LGf-`VA>Y zp+HFE{00+u!Ol%W!fFi9ihm!5zd(EfPOBFavo@~8Dt1vbYkZ05*(ZSV_Ko8?nqLhY z0yQCcO9HNoN*qVvNo~rI+3SDes|gFH`1=-~bK0tng|DG5xE%)<71B3i9n)d;XZF*d z8B#q7(>=4#_4oi;?Mtlju}zkuj*qQ$=mO(B6!wO{8w!P##3MZ=`gj}>EBKBS-AGNq z`SO%0?S-3N<5qp1Hh)Kt0ckwsgx<@>GsoMt8_vABJSv0h;&rFEEgF9?&FY_i4)3Sw z9gCWtjcGrXI3mm9gj zSgo0J{kWU+0J}RYoC4(cbH>-%klk*yIbVEzOtiecKB|Sj2qlNoMQ^Dw>cvB0uoXed zUBbBR*+jf6S3d>jsWU}>MF^@e+s_lz4O#{L9J#ZTV>VyTLY;p}=q6dN({z#@>ZE4K z7nSCpCc8lM3iy2bMYZ@Ei2S}r_9e5xtY{YJiIhZiej`if76tKV#~JWJ*BDU>@RF;P zdO6v3jS-1GEh)KeKX#4Nn-^~*ecPWUU?^1_u~aPz-=vrT912alqPjrH&$9}FBuF)D z$;oCL!er_Z6###)E{{g86KMT46hNBIlwIXi*`n-kbKT0=7_`BoB`s71+Yn=Tue9&Y zLw3NEvP!|HrPe^Lm2Y{Rs{SZx##|ZzRe{_ZsY%1pCV4C_9PDOT`iev8!I(BK`spge z55Z^lA$;~}hsJ-Jc~VKY9uoLiA=G|Qbf2jLR{~L)ZzO15W>JnvnQ6SK*n~AdV;g2Om-AF^@NsOh5#o8PX9J3 z(+T81>AHU&c34@%h{OAS!LG}^qC@DXWam@*ddz{j@F6?JM`i77w-iYWYI9!k#<~?8 z>0YA4lSr^6$x*hi+IVSfe^v;$YW;fev|LLQMcB~ja2iqS$kca}laio#B3&i-QsKhCzc)Gt|15Rrt$XX#%|GGUJkaHh79A(1_>gr=Hw{<0VuJJ+G21DCWRXopm zS0Y(U7v(=%DZt&s8 z#$cdpgMm%#7{|w*G4MG=blq`h3+qADQhv{6i`I9?XR$sI-5#oT?7K8ICb%A8NQM10 zBKkt?>v*sw7C53?**HE;Ggy;9kv_M%<+d~}_o`b|N08&M=>+n%QCIybc?36%KW&T>JNM z$RMOMrJ8Z(^D!}#I%aMPKG;Ok@ZIVbNCS9CudYajIt=-FQvo_*Whxr_N zK3CJ&Kbwy-=bm+Xg3sG%$nm9o!2V=aqQP;(+2`8o`|D`a?(g#(_}p->KCBturC>lH z+A0>rr(98GO}x&#K7SeMVfED`PA5gh%HMsury-3qNtne1+cIlx(@dlWtTlhSuBsdD zx)*4q(%nrFi&DCcg@Sxb1ZiiruiS>d5b-8@{6&iXhdl0t^Ppi{lN_K^@=*zQCm0hA zW+js(^dQS5Zzk{W&#xtDfqcM-6yEkwZf$fb_KAjK<(~FjTawRg;;K_^i=?fU*uFAn zPOb>AzD^>h4y!aFylG^xyS;xT1_>D>Y2*1=Te)L`#U@Uk6bOC1s;z9F&rHi(nW_~? zDIi#DDuLX|O)DVA@XF(MMu@xpyddkM%wQ$4rh|roZ#qD!8h$t@!+~Ig2wc z8sM0$E}5ifR4_cv9R>3cLvbArkQE_@3BrR1H(;oRsfMTV2p7^T%r5SZ*|2;#Thf0aV754oMJ6X6jdfv~-ozN&xu;k@D`WeDUx8dF^q zwB6DIV+NO$5!=D04zN$Ws`}8>dI1?;tw#TmBE+Csq4dvw5khh?SeD2f?9}9G&{Yts zI=+?q-!J`(6U2&XImQ~VB8itlK%G42T#NS;bMBe-xCXJY=1-QiJ@woTIzK-Ps;mZc zR;j3*@TwxWfq;LyZ{6-t)dQxY?|{`!Z*3)Cc3~dcrNznF*`?Itgk4e^MF`++b7)}_ zZs*J9AX>YJQxcxgX&|zlkP1~KCZQObM}_*;1EKzAJ5D*F9fXs%;3YK)$p=~Vc;kca zTn3d8bHF-w4yANGotgAfXr=m4*Zg$$P*yl|5$xILoYQ{{G*RCB?F1^{Zy3S~WJ*zAm@0!rRBa)JJ|KcqY`q~-R(B9PbL6OMNwIQx=@fy4cC!;nb1TT-q`0wwURb~G#Dy|O2{-$-7*@tkYl z^kY1m-mHJt?W_*H#+~W&PSGP+#Ka4)xae#fYWYB(0G7`^p754DFIjf*=h@|^)+@i! z4-lRJTo}hE(Luc+4?)-i7ZA->>&uM%nA~!|2tMxvT%C3kp)#bgLHU!w2BAt#`enDc zka$Z1=-mybEpQx7Iz{BkJCq^dOKz9j6M1kCo+5uC_m3PJJY_c`^f@ zL!f=PsJeMyoxZALld}p;2qlN}8p8wXf;_ z+sp}kU;gI5=9VHrhlTk8w}trv&1ZiNrYXn0G*3AHZ~Xr_jq&=fobJUPvb5R5o{g91 zQIeC{sATUJ3&^FeTVOidP|e)KX##rGW6%P0W{6|%OCGsXHt>n4q4T4UNK z9BAl4BT#G1L-cM(MSUcMczRoa$fbSO5#-jGoE5!R#C%Hk9o#(XCq!E3Sa~BnD{$0+5b`W_JA6>IHQ05e||_p<4InN=;GrVV*PPI2iexiKIsha$46rvdespp zVz+uiecRvW-!;za{l4XsXwct2j<^4S0`%n?9_iLB8q490rt)cO|oIP|0K9Se|V)0a*)(3kc)jcjT+P1?DP z^qjsl`I?&0p0^R-d}7R$ohJ0z|i82_9M3uI_)7A|*JLR6Q!p^7HPH z+GuJTUz-26%zPf^6E+0%N^TEQGB_0NGAO)nLYRUuGB5mqC4?JBgQK8qL=bjH7&i^CDaXc73i(vfdsm`+>3$n_Ert(0SVz`6e5Ik#|M-v(~5xZI)gYzUZEoqFXBjE4QRHDcYN#}3`C@ZN+RBc zW5$Mp>w!af#eI}rx+lZ{^dMLwCNld`KyVlZ14%4l2GoBKkr-E-1;s)JEd~h3(Lm@& z@}fBz2sILuIz!LWMA?EN*{DXcSrP4onry{RMx?z?H6NS6L|TwE;7ll7Lwrgm zB0^-Mc$H~TAth2oJohdVixS~J7OUxMQawrt@+2YAw@O4hG^v0B5JME`NoDpbHgO4uYOWWdu4$MJL!4p%w^qn0Y;^ zgfd;~L~2Q7V&YAM1wkF7ZZHW`Lme&7tCmS$$`|W;h-^l^p{o!!Uwz^MZW(hWYAcg~ zBFjrUBuNSOkTL3x_>H==JfeffPku`gnp!K;0*HSaIIbK}{zI`*Iv>A|P7=~1u;oR3 zM4g~IYgD1QU1e^Lj+Eh%m5DSR(?cAgRS^-Qm;2P5au8Z=kuq?flo{Yev{b0N5fzF9 z&aa5m*pVXg8hn#0`KVv%qes!{!XQ(lkoeD?lV?FL>b&AMjg>siqy->6(NhALln%O4 z>BN7lSW8Yyj~z+rR1bkTO#p^+r3~?Tj6GC0>3(umf35`|B!z}So?u`gR|$|@7zT$y z2PCP1LsraM;bPzD1mMqVzcMJeLF6N>Qy{kRS2|A?BHn3^b}^nAI+f^50(gvIl+jsQ zn^M&bf=QUBbsX9erc)PMc9Ytv9pM?C7ASw(W;kcM5zaC7tLlMhMKybJ3hrVEpp!1~ zIYF47XZ}fBU^hcIBCws2=*D!`&&J6MnNU2jNZsfFWuC$8igtft zBldwGPUlV|azQLj0=Ppbh0&3o);Wrh734v3MJW!VT!Jjh#7hX!sZC)*Tb*Y@8}~hk zW~4=kwKC~g{16WV@pgnR3qeRn~;}-C#nf$A_h&% z(=>Yi4|I^Ep)7kBC zD%_LP^7?)RvmW#{z_-;9y#}lx$A$Rzpke;&-ago{FNp1FEdy7k=g(RBM zT`E5j!LYaB>U|+RI~d-*D96_~smks46@`kqlBB_1a&3vLU%o9l`$(4#Hzs)&2 zS`H`U%f0FKq%1glHW^+o3JZU_UnV7Zc{7~O7UeIz`p@vje^0Y)v<=y>KWg!8JSltKOap2$F_K*g&*s32jfL4|)#UIHrdmk&Q4Dt+p!K_wrytDqv(4p8YKzbjOP*u;w89V>tS z`tIH9gIbW=pG`&&ffU_Fiv1p>AbsnF3UZlRRB;qlJpJ^`x%iWyZm38rh2gz;@n6A9 zw+icMF-^3%9njKAd}pk5#Fel+R`!lx9DF=p@xmW6u(Z=#$-jRqVd+JS(V>nOMd@vz z&0gVtc*4@FzdBZ$>8;!)z3rpFD_rDeXt8{ExV%4n|NQK<#?AwU7THd2<##2wLg?Pm zq8bT{j|qz@=nMvh7WKnJOScMZaFNaYR_>DDb`swiD{2!f|A<-9Xr9a$HN1$Mn(4sG ze6c*Z8P1{D_=A6~RF-nh|Fh#azrB6+)4|Efk>DGsQ2zjewTUg#jtmJ46f_`Fx91a~ zf99*KR%YuuUW0_9^^T!eKAK*I@bmi0H67VxBnXW4hz%!qH$!$&E{E)TczZi!qjG{W z)hEN-i_wtX-m}kRwisXI;c|G-?rz5HZZT%F+wvL>QJjCwrgT@ZJ2=g3#4cwN-FyrMkEd7TDg2O?DIBs3Odj}-E+#cI z)D^S66@1eQ;VV{j}M@iR+tFmG|+m;eC!bjqp6W z++lRNH}I=B@T=F+uWpBzbGTLc`4VnO?o&=D<<&BkvNOSb%b z#+Enp5vK5t{98c*?f6ZLYt`y2aLw7 zDyij$yG{WwI+U4^b343SENAR~3b@P{V4#1zy<2{v(N3=bisk*B1iQm*JHCu*;wiNS zh{hym{slCf%&y0m!^v(_(5XKz2gtgVldZXRL<+um`P-?igz`gh!QV{gp(yxT$Vtv9z(qaQ0Pf5-zQ_RU+Ry-Ev(Mil%>HM2WvPbnd*lh7P<(eHY{Fng*%X%y^r3R*gQDpO^6c z#h4hYYNOfx1!^nW`wiNwS|-~X_nI|Fy=JX3J2>lN?Yc33i-E=<`|UwiH_B#jsx9wo zlu%hUtCug9>+kMRO(W2)#Xa&eTE%~$$1*N!uIIx^ ztgIf5#*4ej@XP9HRc}#mlb#Ppv@E*FkIEaY2uE1At(QmDoxBdJZr$HCo7~^U2KCiY z-CeehZ|OIuE9XqVysaniy1qKE<$Uk<_kTZ2yJ{T~?qPR1L)QvjRhggCo7*h;AAec- zY0A}KBDqef^pw?AS(krpx8&^b@aWeMAF3(;0Z&?4)qcmVzUv*g>wj@6MdR&)%EuvS zhaAb7{*kYu`qWoT$W-$kx7y_$cMthp6EeH`A}Z*e60*?TTn_EcWiQuW=W8qGmv3G_ z|26q|$4blm@EOr}Z9oVa-!BRJCrRn&Yb{S}?JC#9XU)axl7I!}{{ubDm$+~PFG4tB zGcq?gI50OfHf1$qIWsUdG+{M2WjJCmVl`zjVKY8FIAJp~H#j&jH#9b7HDft5Ff}w` zH8*8AVlZMgWiVkgmnm@rM}IarK0XR_baG{3Z3=kWHP%;9RaX?o@xAu7qJl!~ii#pd zMZiMr3RqA?K@qTvC|FRiAu9IXMMV%$gT|IvNn-3#W1Ki+GUkoEBu_DuIFp$?#Y{%R z`LFHEZ@&4?y7!)Y&bj+;V~nYp|6uZU4?o1lfv>-RZ zrZg4gW?}-9-DGq6R%AbHAtoZ-9c{_c)?}UW#{g_CCgzo!Y{R5ljg?{&W8Kj}nvcjq zsJSh+!}i!g%+z!4Rev3Ml^*ScoyFvoxuab;sxxQA6xO=FD@|u|u$ZkM&afMOFu6PS zz!2<-y~Lb&=;lM2*U8=(hT&o^UvV=L%;;+)#oRgS`ablb$1Ja2z4#Z-48Kj^wDG$tV%I;QG<@ zF(Up)Tr-A7&nF%eFcHU!ggkYVzWjrVIsMcTr-7c6nQG9Vj4~pDGqXz)0rGYPRALTA#xzx&15p8-z5uY;w+qvb404* z-TYkU$C2mZe1BYk*|<>TW>+_#!+a8X5iZ7Dk!L@V60xYE8PF{tpQO|P+?xb0ZdVkKl$o^P_dj7k~#kc|W%=eHt zVF_-g-;4Wb^jmDB*-s9@gLs(!0Qo4EqOQF=jrwR zFW{$mk^UI@5?;nD^rd(lPtae*HZ&*6pW)|toxY5G6K`WJy?%=?@JkG&FGu}$L8zwbfg9T^lE6L}VaC8G7f8%fnypS$u zYj}hH30bdL80tUuQ+!4ffsr)dlKWs^)PLdUUyQC&~a>vdYA8@-qU8N_fhZK z18k0d*aBPP6aH)T9G;?HPrZhE#q|2TVA7z7FDuq%-F54(I2}8n?re1@th---^h4d* z>b^7p+hY*6Mcu{eKC=_{K;2>LezG@)U@wfsFdTu=*cYR4e;~%<5FCVYI2?8N5|6rD z)4kbvOu(_2j1zDoPD9;I>3%6yY>&6zv(&TPGql7rEXgyx)HAZivtO!b|2TJTGsQ;N zdrfM-YqG?q{p2+ndtEbAY*vWNv&3fe{ssG8Gh1w7o!1nlxn_>o_3ymqSdMGviY@)c zYbr*2R{rSve|ci78+px{UtKd_?72vn7l=K7+BVX)vDn`pyIdspO|;9oV*hyS@&>Vge)z0B zvG4D>Tq3qU!sR963tr*!)`tAywM)ep73K1=hFt0LFEa6^ymz@ud{frByj*;luUy`N tyKoQg!vlB-kKhR`!*V>0XT?|WgE9XDGT?5ympgX@AqX}KB_%~qMhcqgm#F{% delta 9927 zcmai4Lv)@EqipQPcG9>>8r!yQ+vby|P14x5ZQHhOzOjw}Ti)G0XO^>=#b7i0mq-Vf zNC6FCIVS)sKR>*StFxJr9lYn-h3=*UeX|pAW#B|qtw@l>(mySVI%87+^?IbL5cy`P zrvf_Z7UF8DSX{J{G<9D%VjBkD~^Xa)B{KWZk~hfi2V7F{VRvYAqUpBl13-( zeyU2pnYG~dudXlTEQp+}KM~HnVb6pwTK)TQUQr=D_wO8hn?@~*|5UR$9`0}wnTCw~ zKl`yc#z{1g!BtT@p2l;wH!_f3kPWP64E$Pfr=;O|6V?1$h^J05t;f5Mm<%>IA|A0Z zZ~*4@%ZT&KOIuTgHD1%#AKHa{$qxIsl~A8A)B;yiAXMMIUGJAYQUS^X<6DMkuWtFP zI}a<}2im6;$(Qvv-;&MWii%U|C+@}8UbMuAYP^HX5-OaP84vCPLAGM*M#B23zk+?$ z)ko8lt)_AQz>^B|X8ulSWFKJuGj7`p`5O=>SCO-v`%7}qyhFvx?#aPD6A-1c4G1gwp%Y(@1V%HAN<1wEvR@1$b3X3Gp%<`u#^SGk=ThB^+!-?bt57d?r7N8&?Yre9*{D>Y$SaNOZ?ajI*K3A~`NJIk zDU8e-yvi_pNzq@@5IJV-VZP6)VU9pO?0vRE7+ExH@t2ttr5J1l>~xl@VXbTN)$@Fb zYXn}o!q@SAb}=Ki*-VxQpMFo4-=j}nPT}DP}87B6ai$hoa`2egg|97=-k&_BTfA-52T6zFZNSeq&9fTWv(-AS zW@9LJ2>2EF;iP9=!-G{~v%CsF(RtH5@1GI{o-5LGj8sLLg&NqAd|+@BuUSq5%qJnc zqP87*)l7Y>p3m2GLL@}dD6qhO-j3!-Rr<$^nLkTCmd}t`)k5-01TnvSg!m5A3VtM{ zYDE$Rf(Mub$61DL6W4$kmR!kmA+iPGjzOo zLYkaPn(WnF5?0`$yB7`>h=Eyq9bDZrdaLWxG)WYwW;wv=wgo2J36ZLxkwL{Mj~GVS zz>#=dU*WkLo~U4}rI&=gDz-bs3~dFbrw~ay;bW^-Yk5|@XFp4cVI>ajv{X5l`oIL6 z(X8~ADNNZdIj|26gABy5)49Wt?pc3*J7V6A`Bt3(ch7I7b-$}PZtd_|)f zNY|?p<14$mk-lp4)FJAbtDdcvD^lbipJ#q_?3zt{rv8sl=KwVNmm4#wNa*zPmP11) zxyvvEt&P^RPmwnxWVTEd_R5X{GG?q~E;BE@x>#W1diPVhF0p{gg6i2*YI*PX+{m}* zlp)HVn5_n1?R7jY5xg74j<7+Zp~-U1eIdN4n!=*MmpL72RS>Qpf_#e@zNKs`*7tnL zys3lX-da5WEWk66&dn^#cZ5obsWVUD{s!kBb@9`Y`t8xbe;N~ux<>5!N_dq2{qFu( zlO#@qF%?5_vv}Y1-Rr_G#ZZj@aFFSw#kG#VcaOt(Gy5Rv_q~!5Db#W@EFnXy1=1BZ z#MjAP7a^m2G$&AYeN{y`m*2>=y4ZbFoNnf-SD!Vi9RTMr9e7p2w}H2kF+>q)apBH3 zebgyA!ZTkF`3)^e9~_-xE@4*zR|c(rK){re6p`-rpfZ`5LS+;i>o>@_)q_Dbp}&<9KY< zCn72L3#I388dqMpsg3-uXQ*40w{`8I5<8dXRZuKS9BpDeI1`(fUJA##ty@=+?^y4! zQMP^1FEC>=f*1WG_o?e<;>L+EnB~f0%Ft@P0{~$(lZQ90ewxKHDpT@ zP~$_2ceJGm_^c%OwfjJ$P1S~H<_FRK%jX|j;x)0W~Df8_5CoemiI7B1T9x9l5{ z1oSf1WKNe3KWf4Bd0U}$&yfh&G#Du>t!=&D%+~*aGd(W#asOxm)S+LfH7m7TKAf75 zz}%nYy#(W)WQLa8H8<>?DGYo)rW$-(c>0A6`q)C|#2mbSr4EXq)+7p!nGCh;t^VjJ z=MaE8E@d(7CKK08y%-J!i9^hGh+UrV0V$Ko^@ zAzkZ-%O2h_2jiCb=b2}sq*LXdWTCaxGvy%Ui4-nB<_S2dz!WWH9m!%vAytSSfE(Y7 zK>LkRQt|P z-w0i!)|Kd0_L^UTD`WLd9m-j!fKp*N1jEv8_xe}=oCd*Zz*3XbtU(p?JAv;}R=-8} z`OLF{d6w!@rG=prJI41P@q~&)0DQ6cj$6)6vY$D&?0q<$bP4rC|FD#)aj8^E@TY6V z{oU$RPrA+1UAY!**pofV{uEQ~f;t59IE~ANSlEPu3>{o2-xPZT=|DL3*TrP2AzCV0 zB9v?kov`jUaw+-49n;Y7SS*E~8owhha0EiPR^4jzd#nr_4iF$)s2yJofOzK2kLLJawQUt9u*n5rV(nLFI>nSP$gMQzMiH`Y`Fc2i>ya90v}*bvsBvaAfzwz|K{s%2+hd`RTr%H8eOU>xPEt zJVj3JEMg#$AKQ&QJR5jQ%eOu>EyA0P)5@DDo9t>nNm(Z!N3>dNcsR~R0uCfYi7OtZ zwG?)A_LH<(?1!by8q0whU6X_(9$5Bo0KWA9wN+bOn zogAxEXX9oX9wT$C!Ng9Vx{x~PwMu;icSSlVF4ik8h>+%Vk?#F$Ko1FnKz~;VU~;m0 zSyrZLr*YpdazyfpZnbP4{q^o-OPreBESzz3TWQP|2o)50Tss!0MF?8QT`AoqKr|Q% zX6k|0{&Hji;-bxEo$BmbHdFka8eZn-zB(5#5^KfKrG||_q>OxQkryt7k*&O1#gqlh zLx!RBiAS&Di~oceM~@Uw%d#)y_Z3q>gee_+J{R5!8BlZ8KI<-M-WqCeq5q?mAH zNT?O5yPCB~A0$U|@b~c;@5o*obi^||T|`{Q#XIrfmu=WANalxeKkrMH#kLf-wx6oZ zG)YgPBADKSH`aDk&*LKohWP9hbdsixx5}cL#O9i4&lOXdt2taX3@Bpfg4M!M1lX8Y zHg)3w)~XUIlRpg&l}|GNRtg5|!FLTDY!KFuneQIii>#rP=_009rAd%)=K>~hz`!pw zL|vbC6_-#~dgV7Z4{S*V%c-PuY5CX;*|Sgj#kZx?aP?Ew+Q$s4AbvQH30FnzO}J;# z{nHd2oT*cGex69w^(G|d=le-#QrXDgD08O*Fo>VzEY;;Bw#OUPEky~)3wJ2(UF@Ya z7QGk+;(3<71)90gTc4mzhmgKoJ}g~P_THA=dX-=vV0kHf24Qb5|syZtnd7 zmfdU8Q|+0c-9m(_W@#{u&y@6XyO9TJpUcYZ9-f?*Ls-Nw(W2RGus}$d5kKz)dwGWy zmH+&)6-zP7gU6Xc#<4akGom8e7xoY08`z{lSI1-FZ;@G;R5+?=yvMzlp(@ymNvw2a z5N&<6p}&32NFU`!B|=5RU56no^ClhzXyoUDPFD2SPvdevVyk|cI||{}6JA<>dn=$@ zKvG#hG;wXm{lE^32{0!i+{n4pQN%AUMNfPul+-5-P(PRb6NPeMq4oOQ#qYwvZ@N6m@9UMIYipc0FQcO zK88-4f*QE@WGDc7N_ z6b+d|%X7VyQi!wQ?l^{>q&(bJ_1iHSdw&oRKa>sQ6W{NUl|-bFFFLvCjxV`%o6d}V z`z7XH3v#k}R8;?AgSxrMH{}Ht4A2nw`GX~1aUdFru@}x@e{-u9Aq3}B`H6&B9`WP9 zoKk?^>!rR!^9-*e(JT0k_1ZNPR_>b5Z`#I(B_LOALRfXWrJd(e>nmIjuMQS52(Ex&BC5YJR3tOF{`EK@jgZ&@ zk6*R+ON}K~5hud#Np|U3AGark9LK{a)rDloQNvqe3<(OF(7~G}Ao@l8JK1uMf^2## zH!61PuH`*;Bp+z{^LJCg9k7(Vlxz5Db53U2M!ko%f(Qxs`!Skgk^cB}(vC1aL(RZg zcb==-KTZ#|c**GjbK_d?HLY){HrBG{z)mil+ax2}d=bmP2x_@{O`@u8&1gRexA>r~ z05;5Rbth}o$kuDFC^pz ztU2Tbe9{7_g&u^oZ}jSW0rtO!ts<5^4qX{9V+tpU9&I~#qvJ9r#3_85sSUOnsrG3g zeb_n*FES5aD%v`?WXM4pZQ<}-I1C~2t8N>LJwF^OLS+mI_c^EAZSR@*?MC+XGsZl9 zhhxSl=b9BcE)r~X9&&xW)jroGxUst#hTiUzodLk&4rH{=1Qp}uU2G$pfj{C z1vzls#JUdUAwQXvw(Gb?UmT9JB&N|WgJy|Xo5SkIJl;I}uAm4q-fwLaqC5{C+Ea4U zf%$cCQHG29D3a!(gNlG~)8SCy0c)f0WT z=%3F=r;ZO8j2y=0>wv@|?v{$nR&|@^S$w*;NaLRiM67r#X=iiclJ&~AW_5OpM-S#a zd0FC?Q7RnzW-D#h%e2rrb!AjGidKXigdWMM~d7&JP$>Gwdvx?3GCytL-2m+iPf|TqrHI@nlOP(wjrEx zP3^WUVCuE5heKlK^h;De(+pru?{Y2s-PN#cWvbF{H8*8eaC~1ly1elBu_F>Tnk~{} zvYp>sb9j5B=~bH>ouutU`g)|z-3=(lpy@3wI8`!A%Jv9Z5LcOho_lXLJG%RoT|=6p z;p`I=*PCmZEVS!~-iPrw)@!%g6#{>ul^KG3pj91W@}kwf*4(oK_mBGH#u}LNhRd1B zN z2c{Q|DRwm)Jg}b{N75LMB?s{TH_)>7lNyWJl1Y#=3R+ko4tsJ`up~BR0oOZ;atsS` zRGcktGR%@{F^n1%2z-ku6GDk>TJV7crcc$!$Uy;hG{ z%>>w|T1`2P_){g}7%I5XE;X{bTq!7w0GvEQjZ>?PD%0htzv5WZ!YV)*RBoyHh$U^{ zifIrz#z4NRD}wGmxL!$%Gs-s9o+%%C+sPX z+aIYEyi-dj{YKeW@(P6)BTEzs9R0;IhN3WHmv_>2M4>1+FuZ(o}%{ptiHJ_qn8Wu{Z31 z75J|NIe3hFFJPyy8w7z__I|GUNXMvB12tq(y0X=H6-R85Z<(&4({O$Fymty~;O)3=q(ayt zu~^jLvCt)cNjQ1p&tzPUG;O_;7%!~FgD@c&z=%k%c4$(}NDD{N{BD!^QbN^Oh1G*i z2Hdb7<75IeBjoT##>w2CxH`slxp<@s>wh~4c$MU+(U~l@vx=lnF(61I#i{35>DAu? zrp@Ome0+e~2p>a<5Y=Lsj0d z+LsfiSAbLP8l87D_ zYxmML;o3!$>~GtJDQtxYFTN+%Z%^xIbXBC(BEu%Wuel&$l6J$;>OTlU!O0-e0XY2+8ZT(SX5_4iB7m%C+;D}CaHz>QB^W^dSn6L#hE zClV--4x?(!_(EP-e#suF*kEcf8`4cgOq&MrYB2l@UcXIEQzG0dZ}1`@Nq&#Vq>#Mo z?`CbC$NS#S{!JM6XUy-y%q{6pKo3raQ9I(hTLZPU1BBfp{8K-AlK#hH?VPN`Ap^*c z_(N}(j6)>+u)Y8AWB2XYqL|H{h`M3K-I=bNt`$@GDHv-}Qqxyf6VaTMNF@AqH@8qH zh^=MB+@H>4)PX1TDgv`HG!Yo6uw+#@3dhqQkehThH0#nN+CV&3w0-Xd)M;f}kG@uK z(zmy|UO_tt2a?xFswKd;-n9WND~aI0Q1Ey$CF^&gGXi&N>U8yPgw;aAv);oqbi{Ji z!p~lQhiOr^%xI89-UGq$?dhcL)X5_5d>x&HbxK@9si*O~7lW1~_E)RNOga(OH;!B# z79JcX?#(#$t9D+I!PN4Axk?+|3SovhyKyoL87mDog1g*s&=^-c{#5e*t|@C*o3W2= zHerp(V@9W;#5srignk|RWAMk6{Hl)o&{pl!Ir3xdZ+iDp@d{Io^R&$xrnm6TI-2xa zE}a^Rc8lzl?Q@p5zRx?)$faPRrsi&|we6Cd%I7LtLZ5~pU9-48EBI`OLwT@ zH(1Sj!p}Mim+My%#zXwb!2vRo<@(!;b{&T2-^7}5kTj;oQEmCOqOK?n@@~d}ZDcB2 z&g|*WEcE1ad;Z|S;ra3#4F8cajPI*Zl*qmk*zsw&r(vsG@Lg6x*O+vY?M;0SKGV_B zUjv54di<6^12S;?@K=9w;9;_K?9FrKntwQ5+>=P}@>kmi{`2C0I6Kj3?jPscD0}yX zgC=)UH3&l7L_KlAxnHk10Gn`3cBGYXi$00PT>wh= z2;r9^u(d_sJ!4s{@on(dUp{ctsEN>Ei1j964P4YDj^ztHP0oCIe|*=JlTeI0kxnr& zbra-9Xn$ty-4R97qWhW1nf{%TvLEje@7pSOL4nJs4d*Eqfg4hEZc;Kq_sjm_S$wwq z)@8P9@2mr|#GQiUf!&X#{!k&=<$L55>dG(@KxcP=^>>OPOD6p|pr8qruFGdwZP*^o z7Q`;Pp`Y9I--y^1-Cx>X?JT}=GI_`*?h2t(FmfM{6O@7^DDY#~uF|Lq5kc8?d6S|g zS&*4S_ZBQSFWVWf1p^i=pwcsUADQ4_ig`vA>!f?W`iuJLkZS#oLMg-fs5F5E)3Y{! zQU^qfJ_om%1b3&9twC7;_o#C;KltpDCE4w_R{^qZemLvhs&6JXSXz>h;y|tqw7Y5< zzglzR_~5y0tK~5F-MYwmT1sCpnT<}w6e5kQ%6Qgs=YLhzG8kp|*gj-vzv4Ua&>KI> z?p`8X9M4>;>*6}}+RXmli$?c}EWi&4Z24dvYt)05_i}F;cT8DWW&R%J>dz0a%ewqTaV_pg)lor|lS_cLNbxMcNp+E|B7`_?KrF%{rf-hcr< zx5t*Q2+US~SNM&a+#gjN^NvZLa`Ei3X_@CwW7!C`#@X{v@J7sw59kXu`gprYpUJd* z{raU8!VI@s_f4GcK|zz4k4KVne6xCv#Uu|l>5_`H#c}L$w-@&e4U80(W#i>tZM74j zMQVP*LYmXhBGi+mJt8mMN@HNg1UH#&`EK`zx_Y$u{@|wRv)MyKS#wFV)N}~BHkRIj z#37RUU-F9erSbezd3_kQ=F6)zxyvi#Kd;s$mkc_?&G+f^i7rJ3TTAgCdIp)x&RrgF zZ{692dW})APc`isxi&#nWfKaZNxP)?=x_e)J`yp!mp}Qp^@5Wu|a37^XB{F>F4?B~t`YNYoTEDXE6umVq|nU&IpU<9o#b!CRWjs9e8K%) zV^VRWd*az{{gJVoR1eJU7Z~60@OCoO88~|Kv?BzbFbj*Z37d%-8xxo5FD_p8*Q0kRaS-rEcj0hRkHf&tmVz71_>-A$`{Q^rYH|yAOe` zmk9^|W8jMKDZ?fE4aa06onvXlfD*~V2wgXb&XMhCpIi42z9Z1dR#eDje9=4iUNq`7I3-`*5a|N!rl?H66Zfs+gfnYI}#TfoncRR6&g-dhdvDsoJl0RjG(8mz= zaX{Z#`fSse`i^@QzyFu+MB%tSWgxDfT|vtFVAYifv2;{l7f$5IFY$@^a(n)y7e{A+ zAOOM%<@*rnGsAbxyS*@<5Tg!}zbVO!Rk-r`**xG9VJ|>`TYf%gnFSgZ*|DBL8o&CF zofMlrt9xHGN5rT>Co;2L|h z6T{%K*ff`FZBd{Htv@zSgs0r<|L|)h50)P;8}Yp=^{3@paGQ73W4jevr5p%-jyC6^ zO{|*Yb@t#F?ly$0XmUFU>88+nVzXJ~$PcaZRC=c&Xap8{Sr>R%u4ny=U ziT(maIkOJ6e~w7FP>}bPUPTU!e+udOxE*1r8&Z6r@=B{jS|~2hnH)UTU`@}Sy=4zS z-GF~M-HLVmO$NzaLnh4`^e(YdjS}yKct&-!l?witkLW|?ICJ(3@D+>z^O?#v}F1lUyiQWGEzF;qAg1MshA z{^s#Fo85bi9+oI*V15)I_-IBWpESN83Jib0f2t)Sp79Xf6g%;?I1khVJrH{Dt98hK z#Z+kgM1078MddFF?U77l9P#@F|6uS8$Au@6`}yTB71cjm@};FPiqt;&Sh(fA9)s?P z2>+kaIEm;PfS#ZhSik@5-~`9sH8V&H4u*&Z#!GkbE0(@++01C*YxNHJBeN zDjVhj`L8LPxyLs1rj>|GhH2FF(YNC(k4fEHC;?BoUDo9Z^!8naYOX9$+KaJ_|7}{B zQdS}`t=BDB@w80xI5AzNMcqWXaVTayo#-Rspzk49w8AY=-8$afzC892KDZU_;Z?W- zWewY#`pALI1c&m&_6NadBaB`0wK? zYFuZa3(mzW^*QiPcWWzVyUV@xIWJ$Ae=Ft}o$eH-!JJKU`9N~V(jo6nA#icau<_^Z v`WsOnxhJAbE#mkMYZj)#C&$n`vLl#%@=eBnb0F&hfegzEPeCE3AP)aOD*)E@