From f17af6d4086770ad579a3ad55e003b2353d059c2 Mon Sep 17 00:00:00 2001 From: Petr Velycko Date: Thu, 15 May 2025 15:53:14 +0200 Subject: [PATCH] oprava dukazu vety o ex. periodickych res. --- floquetova-teorie.tex | 2 +- skripta.pdf | Bin 226707 -> 226869 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/floquetova-teorie.tex b/floquetova-teorie.tex index 29b9e05..4d2f8e8 100644 --- a/floquetova-teorie.tex +++ b/floquetova-teorie.tex @@ -75,7 +75,7 @@ Matici $C^k$ můžeme relativně snadno spočítat pomocí převodu na Jordanův \end{theorem} \begin{proof} - (ii) $\equiv$ (ii): $x$ je $T$-periodické řešení právě tehdy když $x(T) = x(0)$, coz nastane právě tehdy když $Cx_0 = x_0$. + (ii) $\Leftrightarrow$ (iii): $x$ je $T$-periodické řešení právě tehdy když $x(T) = x(0)$, coz nastane právě tehdy když $Cx_0 = x_0$. (i) $\implies$ (ii): Předpokládejme, že $x$ je $T$-periodické řešení \eqref{eq-linear-periodic} a pro spor předpokládejme, že $y$ je netriviální $T$-periodické řešení homogenní rovnice, tedy $x + y$ je $T$-periodické řešení \eqref{eq-linear-periodic}, ale $x + y \neq x$, což je spor s jednoznačností řešení nehomogenní úlohy. diff --git a/skripta.pdf b/skripta.pdf index ca4b4d242f6bff3da9b6314338b95f0bc0c955dc..5617d759b024b407b8b6da81d818376354647745 100644 GIT binary patch delta 15414 zcmai*LvWxCkcKC=ZQHhOV`AIJBwuVzY}>XcwmH$nwzdCp_q0{-u`gZS)m=~5+ezmL zEf)v@%^>l|pe*cZzmGw1fN^Ge%)A+&!0O-NV+u35CWra+R`5d&fx@6B#|b;Rw1S=M zc8#7EEnTVEV+kCKe=L$7Kh6fWKV6~tWWEPxDsqB}LBH2~K67jR;(>9>%n{66Ic{Wf- z8#nYJ#;vaOw%jW2PmRk1fl}MVj&w==-@5a64P+hLs)bK2L;YisRzh&u0MD625krG( zj?Su8)PwV?^Q&s=e&e6Z%YL4kRLSfQEV15xep{P)SotcmX)z}tM1c4o^RK-G2U8am z?|b_hg~hH1U3@Kp2|_ZOZ>PNU4QBA3dPS(Nf0YFldb?8d=#H(W^{U$YQ$DcUuyvyE z&8(R4y_%XbS;yATv|f9D0ri_;u%BPHr%icFr}_pFiPJVMMSLET`M|yS0z`N!-exfIW(d6~ zdGN$JMRY18Xo$K?hX^ZLkNd*h4_Nz2YAYyjt?C7Yq>8bk`JYKeknb-{ix5$g@h4(k z%$k^zTe0v2(YT6XwQ}NfqM+1bCg>5bkx@=L7;kxefq{}|TYb_=D*2$SA->^*Nje)_ z&u$#hI6>;m%K&ik)##fNJCKO6jK$XH4Ior-#MOttQ$2|85W>`@FPUBB zy|Wup)DHX`@Z)aKSmpzqdEr7Tm-;7BEBknl!#N5pF6Zxu<^GnWrwNk=DB?iz9hA7S zU_m!3(qjz0Sd^!Yfn}^1;p`1j;*jWW3W_efr|`5_hXaO{AURc<*;^cb0HNIc#_K*bc5;m>BDf1Bhs2CRK?RA%zInVArtglPITlw{oF$5!6}jn${_dcXxBOA#p5H z*1Q7EqCSl)XI7Mzr(JS1yhv2!SmPe8Q{uJm9pKRbD z1EG0U;~+^Z``P3ril$2LZLo`aL3@OHD*wEhIn+8{PHk%CO?{9dJB4&cns{bShA&9~ zGVGpGx{Y=0q)`&zlDj>ydAwftMnvHY$*3AllcXHZU6co_rrO1SaY7c>tz{>73mVCc z5m-zx^gNa!+S~s#9O`4nqd2om3!<|bCl)hA+3T4?nIj5wQHovwujaW%{CjG{Kuz}Xb>uqV^5y7 zukKZxsCr}LO`rUuCX8UJUi{5K-#ISn3LsiwjZTj+K27b=X#W+XtY*I>RR9SQLRo!p zs>*;0e=GB9b7|{^;5<|yjdf(Xa>GE$(9v!{15#0Wc{5a>QE5Q38 zka(x6jEwc+O12kn?uUItYAoHBD9ZjucEGT;^}Fq(D$+Y5mcKHQIzb+#f|$EAPMCd) z?pK?49u_V4OndV)j_!&?;&zH9S&&QVf?mduH?fUKM&dRh#SV<=I!y!5l$@8;%B4w$ zg703kXQ8Fc4{`b&G&G9wDLpS=J%EB9yXdIvwe}4w3Ia=;+r=vmPc;rSIbq}#gVG@} zrz$9989Nu_TM!<=7>{(pHISc9^`_u#Sf84Dr6{!2{Xu(ie(cIFq*DXkEIpvB>Lidc zfxbpa~pte`b&@14+Sd zN(sviL)k>S8Z>7gYx3cgEHi4x=Py|m%F;5d3#x_FqbLnQj?(i}&C=Y4c}>MNZcVx& z8itfdj%zFum`EM@&yBBBf?b@88PBV}%-oI!Tw$AqDi#gzWrlykjlD+;OKtr&kT?)S zZsEyt|4v;KOpW+=_=2LY0Ey>5F(bl6G-$O5FV?@mVn`>;(%cEee@UmV(+x|PM!swl zmfevTWR4$VB;)s?c-Z&|PB1;Sdqg`{(JI$I$(Km|2^|%lr_zqYK~Fp+jYpx2UpCjV zhh|LI^U>S34U~w7gt%KnF9-S-RnbbAuWI$SI+Jp3PJp?;y!sB;z@Z2uv#M@&d+*=s z_Taxc7>MY1_Xwv*5@?;|+V&NgJ6C8FNNv7jOA;I!%9(!|5F~T<(ZY043h~hf58EjV z^?9UdZ1lLn#wWvNmi%$K9ZE<}j?1%iavHojWZfuJ@Rr(VnxtE8e`BikmNR~H?}FCQ z?cV>y(k`@>IC$o$1@g{d>7yva70pOZPVgieW72Q@VX|a=31MSUN|X&;;#I4tvI1EW zO=#tO+I!={_8$)LZHpZ@tJJYe3FFqvF;g7pWb^T174!lr5$+btg@|cX8FXCw?ZhJB z301!Py0-Cnn2d003Y5*(r-n2blg-rtYJECCt$KNa!$Rd0z(y=)yvO?2Ilk;mPK<`E zz@Z{o`up|-zs9plV@wH)u*RjcYc8dNl>8kxgp*BE@4^$FtkU3Oh+SR{%Llfb1(B#_ zo~Oyjs0x0H-8rFj4#yk9bny*Z&E_%~Q*cZk*X&ICNt3NiIrZb7LqggZ0nGATo>H=4 z&ZV14$Dw~OfQ?aTb)CulPD{_yegSdCsa84@ot{R-safb^(X~=9Pn;|9dR_Yr9o&tc zMIR-669m5c&gkCmD;P58ynr8GLYUA?RK!Ok%CczUYpteaHI4!8q`C1>7fhKWe4A9; zW!&Y*5yRc>$aRs~Nyn>xnRwwPv-3bv-z<=v;DxjT#I-{dGn7x8*Wj_yanI(s{t4!< zC!Yq{e6s6iZ|$QFJ2Y0ZVm&4CZ>7}x*d!T+q{F?-^ zqL(-f2vtHMj~|UhP2RouoGx@n#$Ga!k@()29d_^itY${<{U$v)Hiqy6xM-two#Okq zkA*sb8nZP;3e)lL2L2KZb+JCYU0&Fn8~~=Ev;OSXESrdMT6PPDNvco^%tnw62iYW5 z*NM=JSMS;4y!vkF}uxlbLy71;`&U;ozSJ}a<~qF=uYH$dLz=J7{;ikam#+}JYjY?W%?E7 z>f>+2$E$d-J6;N}{iRWwihcfu+rq+gBri%*A>J%Soajn?A0 z-;vs0$DF4jqqPWobf!c;7bx|lw4U5Gp*Ib4@M6mw@XL0$R3JpJ?mR}GcDRq!iY;ft zp8*A`p^g1MW2EWVffiXeGgpGfNUt@3(TIDbSa4#lSkz4h$rBp-O*m9V*rS0JGG~Zj zqVuMWYi>Dtm5QOq5Lvut^R>M5j+j{Nb@k_zX$QKItg^rUi(e9ZNsZi(O_Yx#H~8w$ z7@JSJ@_E~;z^8T$jY{h+SJT|FbXINZ{*LRW0gkRb3K2KG)Y#QlZA-wO~&n$uwJe>hPJ40SBY4e5x||KtyLj?WjA`ob=qZ9BHEn?+~Gg zzsL|Fm>piL1F?8xBq5OM|6L2j@a=Uk*lfk&tDEi?fjA&CQR2pQQplX9WMg^@dHMUg zG3>!|GUc}z$#TH4{GBSGY9ZG_ly&rdO8>O%{c)RVV=x@ItMLi5>X8 z^y;9U?*(z~P~<>Z|a-TN|Z2^;MlXcebP^Lt=abI1b%9LS>Oo|>RGr@V3%3? zD-x3iN7Y&mW8a>_l{~QW@DtokjM*r7)|`E$ccS2yr+6kidBV$=uH5bukK%Ff&HP?p z;2?r54@~X6(ppI?41)x2_1yPH7aaTq#!|InXI;TE97UCfE6y!);kJzy4mvtc7Q2&7 zkqeUCS8l2oRJYAdoF{9w@6?2=%{EEcrR}CB7Sk~sF~Fe)UrUGO_MKYFr!{d}>1X(? zSA21BFl$omevDB-mIT={6w?iP_O^p-JvJ-M_v+*foc{5c894(g!X9E)Len~o^$8Ox zuliL|dGg5z_)LFEWj9K@EA63B7fYop%n_U$9V(Bc2#l_L*!|u}6wGN_Kq=LhNKJ*{ zB2ZHOg4vc`p>}%aP)bGXRO5chGS*5#8t|Y}Oj24aSrv7>sJyMKXl_gpfg^yT@xTgl znf<~HMkgottl|W8&Jxuac#6+1G&+F^s1)X~8acsW9i9U>ileg5F3z~1+K!t~Gme#e zr16m0ks9Vzj~U$zeD$Kh06`I3A%~rP#7pq=aWQVkf;^_`CXW(dFU5L$S2=`^P)ip$ zc$B%&!^mKf*6bbhvcgfHUeTi>)W;j)!rn&xd=c(bD+HhldD3pfr_r4|Ww00DthM<0 zMVN^xVRKav??kuPD*K7onpU$8iKhj}nXfO(Qa0@DsD-W}++#n-ssC8CM!d=T-U=B9 z%`-r~i`gFykvhm`)slYj5fMLM zyVU4yKIX|mX;oBGXyUO{cY~lcrOihSA=27;=akMDn3bdZ2Ve3|$U2P*rS5{haME9O z{*MrbCQ3`HZ6q%so7MmaJF}o5tgD-gxv@R0*M_?mjGNkOhW~71i6t}g2DI6NbeKFS zBKVYQYKSm2)S#laXv9x*-PTa^@!w`Rb%`xcjWAtZ#PVg5F|>`#rlu&L{NG zin6i0vDZB1_%aoCj*LtZnex{qSR1gGBwlfXA~$s~^8!$Hwq=P&HOq1oo8&iwN2xQp zvupLlF*7RyeJMb!Ku^CsL4%r>qj8n)khem#ls=ip4EIW-l3Hc5SSQ2hqeHZ&GNFPa z1p+tYX@IS5tXZ{1N24S)Ex9x|nYN`>opQN&I|>#ZP4}QgxP&2vF8WZmqcsznHjSo5 z_GhFzofZuTY(;6ao=(AhC2fie!JfiyvX)g?e%d$>xoMmwR2oXJsRrqd-OvtIqkE)BJ00!DFA$TGfCnQ>9`cuH5la#@qV z%SuHc zX~lP$pTj=KxS`-{#dKNp=@x*vK++kBxQNo3p##Xa&DFT!xhL?-w=EJZk#r{cG>6ebp|W#~;lV%(ZAT$wxgzEa%EO5S{Z zRsiF%Xw^So=shs}i8Q`mX|YD#hF#XYt+cMLt4m2fJ;dbVi8}VEQG=fo4*~jC#7&sU zxm_V)Yt4#Xy8pr>1mT2OkbKaL1sflc*%B`^M&TcE`_^x0-T=f1WfDd=J}^xoGpV40 zdhoxyE$`V5-RKPd_Tcssx)OqbZPVY&2M!U|Kl>)G zL2N#`PqW?-`cH2@5-E+C_JCCrPhy%=boq!GS1?SBziV`8Pe_);v;~(}08BV{RhZpZ zrV(pYHt9-UwQS^~NDjGoreWE88SpQ)NC;Z@_? zK8Kxo7js0S3cQA784Ue;SON?E6S5K~6t)L6(OcO+*!}7pag%ItQroo^ z{gXGW;#XER;O@6nPes47!`YC7Eq+IL9V&D`a(&( z$}WGsgp6L_1%$)s{N-#2ei<^Wv*K25gG;U-Z?PEq*V1LzpKfbAjavR)Lu=8g$#ZcL zAmStv??}&!iN?X6kj>5#TQG7H&ok~6Wf?!}`Vad}+^g2?;8D$;q6K)Z!%Ai~U3}pf zB@(|p{s0R%(1%5cDZu$SaQo3cu$IA9+YMYE@p1VuwY9$MGq!DBf-)kH9lC99k%mv6 z@?MR`4PRbHvc&367BqDRt!EOJNl!wWb9W`Jfz0mB}4 z|DkBAF;M6peKRHShzWF|O^N%3Pwr8I7D^_2oG497G4FHu#F)Cb=hRjrD|XeN&Ay|U!maE17{x%& zq?CSP?Q9H^``!u~d*^j`<-ea90ZQx>^{cO+6NXkZHczQ3RX|lGw;V3y`h|#3b99b( zQqKCYsb9J7%f$6VO;oPH@w3|n6r^SCuyt`Jw1X)js&vASD}R=caYuuwC4_P*q+iR%SS6t}z2N(W^xCq2A^&ogi+vdBW0Hu893d^eFJ8YF z;WY2b$lJho3fI9!x5YZz4!*~yDUdFYZ*T4TgB%~NFxfEbNj)5KPf<}R)V)oYL$BbLon85G^h<6HQ^olxPVb2D}W??l#O}jJ?zK5C(2if(eM0> zAkLHO%AoxglV2LjaHB;kCw6E`=1f{6Yu(%n;?_oWH*3+60Lt5-czV1wE63?Dg3K>qbN}Bs62IpjSv$hXy16G# zwY)zWzX#eJ`wOICXcoh@yT5zQH^2B^@u3;TB49|(-vY-B2DdArUAChxV3}t}WF>;O zG!zjWP1luBbDjk9;Hdv#^_??t?m189>3snesV}Mqm-Y(}L`kEkv%8k*dqu~{fVa`U z4cv@s$&p&>S(pKxjY-#o5JM~AF>MBs@&x|u(WqV{+yfDSJ()){Iq}T)KGoNVFTm(b z2MizeJAUze@z0+as3k;BqE4b7fVd)^{*C zbPfNsB*C$M)csX#@6_Vvv@X4j%uM9}0l`b!5egn;Q4QKO4L{oCiFn;Z;y~$tY4>WS zj&AMJ(LV`p`{}U&FP9u1eW?GYHV2nu03d}F%=)bJ>_%(|I=9An5WfkuP3}9pl7KkK z4V{{-;G;2a)R93X4JaYr@0H#v{OO--lU~~+1^tL+q~bCa&i<^Up0-Hny^|-Elb+y& z5z^1$e#PP^#&)!1v7)g5C?Ll^P*V71;GOb$N1NkyG0V@%H2^)oEeFLVXEX|u4TNg_ zyd$_%WoE`?Y9BhDny;MnS_tK#Lh4ayw1-8_x7G(iTchxyu3V+DZAppxwT2XhbOP zI*juE6d$Ff6@BXm;*VQL?JM#NyEXLb(`1^t8>$B$7wsdMJcF_yZjLQ$-fh9;*e~EH ziYJc6gI#do7KKD7Ag?2?EXjn`5iFNZ@eX`hS>djuNG#?GZf?m0>p4`UF++Z*uV-MJ}s~EjHC?8wcbqh$rA(93~c7x*koqLHv z;@8MkYzxX{RyIP$g@pt^?sO5^FuYZrolHNBK*&2C2Seh2Cm;^>i;)$08()KfG`Z^j zoN@;f3_oin62!@9or}p!u4nK+$yB2yhApgp7{PnG0yevjS3Sgy&6{8d{l&>n zPNgI~p6}Z9zrRRwA}Cx!9pb}d)aCn67otWv?^+b8aQ5v8n>ORVcw0r$t!}h83UX{y zrs1z-%%Iode*Mk*a34`u@HAn_$R~n>8%kQx5^rJ!`mJ=^J6q9oje@K^;#3j{gIJJ$kyHXdS8kd4?*EU{zQ(@AjHZD-$JwZqRci!d!yh zPXA>8S&z;%5a7<#@K=Urx5QwW_ehEhiUF?n4l7 z!PMG=%V;b#uqfQv3Hg}BIZ}(e7_`I;ZH>^lT1tKzBoL4s3mB?}eqc?lPa)N^lDmkjmu+KNuKbXzSZj zl}iJ{T7pOsuorPXSdn#Y=a5BqA=j99mGPiDKz%ZVw*(TTVn7HsL>$IXN5u9Z!DUQQ zVV47qjOPNus!%y0`TNr&g~>)v!sbQ@GGKe8Esc_226{sE!jchcGJpKSW44en9|2Hq zBAOQ=v_-^@Vb2*LAG)2$({K9=In~i}e)Rn6M;Kxj!DOT^w1H!~85=ant(K}iz<97N zKu~hg6&^`iVaOiz4VaR3Arj%bAqsAww+Rk!*Zd77bBC{Ij0+EvhGAIDuAOb8ny7;k_O?$4oHa8Hi)gIAqGnxAIvfF zq@orVYnSBnF(b{1!X5BU(EKBeDMyY4k3j`Bf3P{3r0rZhU`UYmjbe?u0=7yAV@DG%XCS8Yc6?C=L=djYg$11RPX*S?RznUP7E*GUa;_hB9rIH~f(dU*H{rT$}9eYH=u z)^I_`_51bp7y?0^}m`%7e&%=hBZso`G=!PM2fh7&t}gcTMyss2pGzI8|X)-2N`1V1gO z(7TJ4N%wgpZt_BaxMiofHw&`!U)NTyoSD?ZyR2fAqQ&82xwMR!>;1*%7dHk$+uR09%jMLA>gx0@1I45%>p@w?Eb=B! zeZ5ZdrnR+dr*1JDs`oWF1hN_!RFGtziqS8vwRE5r~j+4)J*%q`cwq)vL*ohZs$vh|vIi2M`r z_o4JQ9@Z|w-B@or+2(zX9R$H}muQW&$4*rKHscy6yXqn0oi3>yYQdm`c~ewNu|dXi z+SIb97HX#$FU96UXlkb>TC=o0m-M;443#R!!luHE>=N*hE`e3yLRN0#zC0Rh?P|I@ zp@w7YeTBudkJ71TQqx8t)<)6VC0E^;cQD0xSJi~se11^J^hC3IREP1gWFv}6Sw&n1 zLrNiXSrD`CQJyTY90uD}C2FaGy>0)o{XnGQbkp}#qy^~g)xe!<2FHsbykv$%cHG9%p_rAhkbSW#rV~8fG`^QrAm&LH> z$VGn}VJAjY%cj10?LUPY4a`PdF-eURz1Ohb7DFJ4kwZ|-_O|SgtOSWJnVUINVl+c| zLU&3Jc5fH0sHBTF6NtI&7HkG9?neHER#qLOVV69OL>^77)%^}@Nk!vb;1o^BRAlo1 z7J5$gSj|rqdreJ2CUXl4Dsoi|&Eix11$(|?yBe9P)nA70I!br43Z(bsKrg1Pm}m90 zFTwgUZMFvfGm2WJ4(!p9%=$99GK5gHyU;s-{&Dl>Wzdv3($S$4PnM7m4?o>E z^%o(NV-#KtTV9%0{Cd`_og46ThRBc54|gZF)}hxUrvKuDH%nJqQoBEUHlX7SlAhL2sIK;rQW~D~!u^JWuI-iCJoRl*He1S76ah>DljnsZU>R$=EC;PTF;<8Nd0D6y5z9i#J z#dn?%dBH7toy0HT))}MW%UKv|ePvwm6#jZt$`oJz53S;`!(+%>tI+h0ZT9lJ-=tEZ zNZ&j6_7@a-KGW(=K*|Vjd-a)KRmM+ta1bVb|US1!epZ0zpoG!PeC$ z6yMNjpD>#7O?!wVmS2{vcAeW5IxgYt#YRW@)V)VjhBdx9z|H(bJtQtrDShitgdHTJ z0@JB!;?*i}^~T0WH5e7 zA`2CoZfV7jBKbw6Kwjj!=u5>iykLf^Xcyf$ik-Ux#{@0 zwu{g1sYxVk&l~^quU+bU*1f-3fvj#OB6(19ZO0M3U_PYn3R)ykxZYvNg8C)#kJ{(M z1tloJZDn%wACx~;6=S9jXPKlIO@>eH@!9@CM8fsZNPNE!Go=ZLL9(&Z1=2Ci~uA_b5^jW%Y~eB(U$wQ|pQSlBFaSH7oQ=u~sIbNEG9LW<-rf zEg*zjcH^kPrvUd(OgPb{ASK9D6$XhQfpsg%9XXZtxRka!$RlT`&_d3X4T~uyjZn}8 zxJ5PEasr&+O?T&~qM^m?qrA2S6%8pfJnJ1$| zv*s-f=N3IDAr)tOs^Bpvrp!em>$@+W`axAFA-Wt}u8i;GFOfYGhyHtcH%V_?>Qk0T zAW9JvG6Oes2)N4ThjURm#%QyyJ}{}7ExUdRTs%Mzp_Xlbn>E5Qa$X`HF)WF?iZsBbl( zU{mH1V(F!mZEXp@%F7B>k{CF=FCf zSmc#LX$<0*uB9FpNtR0(7Pv(Pb+b`RpVK_f_zxhE3URDaOlstLF?p6m|3;|OqN!Hc zsroGmXvavm;N(QEqKgtsh?j}32SIv8jTO@+MBbvYzD_7gd((VWrla?l(#$}zgN-a^ zo4SdT#Z!kw>YweJ+eMB8VX`6o_Gou5H{vV>@{b_ z7nh&ItXBX5focY!Q>&0(^6lw-bWc(IHQ?jz!rMil80zbyW3ZzX=4$ixG->j4n^2+7 z!g=Sxr(1ibkADMinsH+E;_;XI%;@5|lvI&RCq7dj|A@4wXVM*z>cQ~3Smylj$Hke4 zXotb_-s>%eb01L%eZlpKgpnnyt9+W!&hbBgLxMP4Wyw1gDfSblUJp}SyFmF62>CW zlf~dnj$w=Ig&(1S);GN4hi|5N5yP1Or%JTtz6=ceF&k0wybDZ&MEDvVo4s`&Rmw(Q zw^5%WlOSw&vwUS_M`){Oh%q*m= zmAS$;@#vZ&3Cm{fMd9e00tt?}AZ3W=xdAI)Q6}UPfLI6cd2Ex6o(^}`v|{1QFNy!E zwQ|m~YUnCDJc+mTCEC{b`w|WwZ67=gAZce`LPV#z*9+4rndK+lrIP|)R;Mb41a!5L zDfMz@r<8qk>VuT(f3K8z-ajvfPbZ^r-UF1!>-bldQSN;6|7j4ZC)6+Hick~J1O-Kg~KPxQqhGEoO6Ihos$s1@#*q^c}zcOUL|fn&F^3^ zy0A5C_wwm&6ZHcA9y+GSfuhlNRBd-%iMk|ij#etMA;Y5~!$z3@Sena;2z5F&w1cDV zj@n$(K3bDrX0%nZv|pvBq9pIlddv4D{w~RfYaB%%4oo{C4v#R|miW@FehBgT-*0Ye z2>}Gz+4wNMfv}HA#M)VFq?cm}^}-@xsP4XkC~ua%6E^0pwfh{>)H>JLK8Ho88qh*@ zb$W}=3X(zn+VN{nE}m>=ScfiSwc%}TVw|*8?M&C0`{Q=B*aGSBj!cqb9=@}J@#`kP zVl^lC1iHF#*w{^*Ht&3vgKZ$Xf}f`(F8~)wbgDy>f!fn4WgbhvA50+x0u^G`^EFYkW_+p96xdH=~T}5h)i@`b~J87C?h8r#Ty^ zC0wi7^99;_mY;>;8bDZQyjef>B+RTpyoQPFg#h)p#`)&xbA5f%H0J3^sSO6~9zbB; zr9-~)2cH{ii2N}jA6(#wv7dI|82MvWy#Lb6r*90iXm7%sC#Z&M@^RfOtj^4$eUHJRD`+72y^VVJXaZ)&{Rxm!@t28;~!&`j;yNGoM^FLa3 zN>7T0QvGf?^8)E~w~SheAhl+vYq&k6?xofe9no~Zd8y3VG0}y-*t3%tCmWB9c_d2* zw|+s2M!!c(bm(E6U`26g#k4K1|MFH7&8mQgsumDGHEHc$cUz^|m7ronb8!gwj6RIn zQUXbP1%*#;^PFU2-#Enpgd4i^l8ijlJx0@54Eal1f6S*JOc@4SB&|QbxNzerN}%)2=g(Sp-!PwUd>cIu!TF%;#|A}~~e(kAoQYZ%IPE#}qH zOhi0Y`#Q1BrGiaPIUmnf&zm#9>}WoV(VKjkM64V&GsKw(^TgQQi?+$%D-|lTQC~DD z8&iH~-m}(IUYxEu-_z@g6YiY%*_{q;ZDv;5tbSxA7BV|*1A^~fFK5HLQSVtEOCJSC zTB{s=vRWAlGl#8!e0twqH!I0>#SUvI<4E59-`7i5a|O$;8hxav+@8;u##T<*PVb0i zTi-T)|5b;s(;fTOSU;Bidqt?8rtQC?vHsQ7(69rpheJD!=ksL~Z?vr)_l%zF-q$33 z=e(T2Wy@8$!BunIlP=N1@>Kk& zFLhl$@>YwMFK+Gl0FIg!@GZu}XG8tg44nzU&Ew|DQ~B#LJ`P{5%06YRZKhstHKdRR zTcuVB_%#J|95wRX5I*Y1)Y;+|tFn#TuTFBw`<39JwO{>Gt?VD`}9*}N6d-JS*CSDmYQi22BQ`syTZn-~32 z-aXLh7&5%>gP^{AFs!KI4y@X_09bfSY5eX`>%4^}j%l@jS^P#@b8FAvP`gtPdp38z zKk4mr+=rUOw-({`C!I77ePkW4N)CkX8}Fu)bNa-2a}tkfs;U|pHyuvb_V(uMhy>M> zKEQz7s>aGsNnO8HJp0w}Ox387F7Om2p*er<1(r`TL;lB#y40YGBRu<-NxVzKyRK3r zkNXz2IldC3f{tMP4Zbmh+Mb!!l`*EBZvQXayW6;yl-E7i{Ob*KWY%5<)Q3^2(|0ch zC0l!f)jyWg!)J*Bhu>gWT74A%UEt0B^IoN;D}cfO_pt(oD{5lS%ErmX&TY(WVam$J z!OUW2#>&cK{@=)E<2E(pWD(^5|02>f9KobP*wS(x!LWfJC~4*GV5AZMK%*p4L?AG* zh9Cy?kx?Kd)WJQSu!bR2P{d=pWd81B&PU9r-_cZbr+2@YsWzyVq*Rh0k(if$AK%?o z)%6OpEiP`k9^;x$jmF3QMxrFJG=-z@PicqLGDWE!M%BB<-gk`QRyBkFIh6h*i@-u> zkMeJTt}`2uy2tr9j?bCvYS@K80IC5M>7Iu0PK94`G3J+OOp@(vF;6T}2SjTzkBkFF zsh=m`so1sBlY|fp%IlMrZCoqGxjY_xf2&C$;`+FUe5JcK9p(Hep}o>QOb3|FRYXob z8)TG>zN6uCsMhIx?V5tTN1VV$P7$xGj=XWkrSBZzM)o{pfK6W7yfg#ORwN}>&lMKM zvtniW#*8M8_{Zsj?r1@V4{ac(w>2-lOW}GauNR326>3))KO}gVzpCk8W$KwiY9ARt ziiI0Ke7}rabgByX9g)mC9Gaz1bB!`pQpgj1B+~o4On^7D$cOTFJG_133FbkC^lQ_O zEld)awWN>xBQB2$(`!yO%2sjA140!g-q$LX#8YW02t&1x{yRjLk1ZwRH>tIweUc~| zT_T!omNonBfqHfvn^UQDarf~9Gvw0C~axRGSvBz|`Ey^|m#az$+GJzNHn zl0ir`3tE#?3)tlyMm-TlU)1^GX$mYY5x)1xC=&N4po;y=?W;CT87S4$S zGpZZc)Uf0{-5{@}9Wh#YwZVjb0D-iRQ(b1jN7KXaDi|_@=JMt7%J@+1uV;|$(oF#8)jy7MY$*p=Ox z8_Yd+p-KQHNkxmQ=PSt>RwR$O1{p?B)fYkPvh^$fkdn10cN ze~BsN*_j(g-TaB8CG)iV9paMVG^0Zmr0yCyOzW1{kL+iiHuss(quNI*CFuJ+KiTuB^b)Xld=SWu`}qCL z=fY2!|7F=j?CY78leqP`0%VQ;<3^VsBFB$MWE>n$k0hKLq-aOaGIrGq>s-+=f?Il& z)hZ}jLw#i25$h?dQNAwPZh?FdF?{&5vNi_9=KfJzIIq?`%`YTo%yiUBO+KDQKR8%D&PA!ZMCQ8 z3m@E|PP{{Vdz7Gcba(f`3YTh?r|KGUX`AYx9!+lg{Hy6k|ISzF@vn*#VFvnGQ6I@J ztpzW2_P=|YJnwNY?GroFr45_)7atnPy0+ExUs^``Cn9Zx;Ih9xr;kMPjcz!)s#j1C zFRCy0YN-F1=qxR5IcZX*us^cIdi(netmk7DsMM#&oPrPm^TH-She)>wHoKBvrrf7+G3Pp?yqp5uZb?8Nk*V3|mqK_Iq2-wn97IiP9i-r&WQpw=FH@Lz zSs35Xg~ULBYYWO3Jts&Pt6JtY7bQwGmBesSw84IC(y&Yj?}l+h(^0##w)x_SK`I{M zgFzyA;Q>ZrSr!$TBG!)4Zu6sm)pT`pT8}z+kV3hk52VRGKF&M2B1;mp>6DVdCn}m$ zBpIBw2-w(CUf|+=qi{=R0#wR9y-8#}s+Z!fS8)P?(`Yhyh^=@V!NeOO^rGa!6BlU` zwSm7#Qth~;EdVWwxVXZFS2z$~#5YkIT_&s;-t4@#E{n!QKjvM+bEi1|R#>AGgB4nA zVtrF%cHtXW~zg~Oa~l)Y5txC_l0?6!vecuDhQw)334o?37n^YtBD`oK;D~ghcd|f<`xoU+&!cp z1-=;Zc_jqnylvnsJs9$~497DIU+U&&x*G#<_i~I{(MHkk2^mfm%AibAIlt-mQpKw@ zBFYBgBz4=7Cleh-hAY-&EQ&=m)+z{_%gS$nbB|?nBgE~bM*qGVR{=EsdCQ5GY#sx! zhmhb2ScnXFXn&-eiM)%<{8#76U%G0gsI68-=b5PLa$B@8qXj@<$lv3f#0eh{oJd^^ z2bQo+>IwAyN1=x+8Nfw5#`IL1CM|$onKu^O`|3_Iv`0LG2YPpx#64#t_7N1%1>;&Wv$?kpcR9TY2$)PM)bpp2U3AYHJ|cun3>R3^2SXNaY7>vj z6FF05r0WEDN2Fp20MaJA4%nQ-58Z7br|+#K_0)7_G@>ys!L46Y5`Taby7H2UuYrW1 z_lP%BSbauQR|!*3G-<4P%piQ%HJ)0=^J*5LZTW>_b5Mh3KL&h1#-N35&D5CNG02Sy z631XU;s6$kD}fWo15U7F9`QDm z*s6(9te@)2n0&Ptr(xYZdP$+*+mm2A_MtseX#T!H^WdE<~x3Y#gC9 zp=E0{WE(+-NKrNR&0M20l7y7h5XwM-`41~!wMiCfRj+}bK~?Nvf?N(8(#&=A$F4zR z;Y%7#-->SGP>csA=oDkqB1WnJsWC3xf34k>E}*VKIFKO*$VTz;IP(QGxlBw+4+`qo z&BucgqQ6-9jRhmtg+?P@EF`==zXj$!*`JjWzB*P+8wom&o(LOMd;u*!)HCRr{o-91 zbPyv4%x^R|AU_lH<|L)Iq@7BY$)PI3Orbfu(z(xNPBTEwUg!z&G}~fKTWi5m^rrGj z0~a2i=V4Jv`u8ui{ckcb1j2ODk84NcN3_v6IFu}WrGw;%S{TMUM`&Q!py{E6*n}g@ za-<(=$VkGaC?^a{t(mian36L)lcQh!@e)or)c?RQ?pUfC4U~h%OAfXUE17%xPx4wy zVZ_Rk78;8D+l!jlw0SirR$p1yqDhWEc!?u9Z`siK41T!~TZs=4wb1uCyk?hA)s2k<=H$XPttHjLLqYq=8}J=Q zpk{WL0O!M$J%itD%a-fy*$WkXaqMo{!GLR?wI%e08<3OcNpI7|S@xxVAdEf3ygxqm zxjkTWxv_Ji33-QHBVK4&yy`)*;3eU(0J+J zXG1u8A9m`5zh%N--MML5)S=FvN9W7AkLqGS!Pm=2ED^H z^4JVli4eNNX_9eksjgqQQVRd(HHjM5lB&p=OFKKZdz=!sjYNctJaqa&R)oh9ZfS-0 z9y~b{5vIzA_kKreSV4ZVi-*VP@uW@>TjgfSsC%A7lUVek{994i=RycvOWp4oOM?Q5 zm8h{BTm63EB8E1)0%Go%`0y-Olo?Lr?iVU&@-sg=HkoW;&mm!{p%N#UDfx(c+T-n` zAY#lyvTIFZpMAZmiM9_npjcPEPlhhgg__+NqKkcOruqAKiFB*gI7~AF39Fa**U!?^ z_Lw_}eM^{VqB$F!R;O~B!dIbNZH$3PHt&Q)A?*?{3_IC(@^zah<(3bpI>l!q7qa2G zH`Tl9y4Vay&h&TH`oS{4LRMVHp)<_xqJ@9y4OdEDNIBe^ppNM)$>~4AkZHlI;a8<* zZrZhFfdpRLN4zYVJu2PyYA8cU93lI>T$VYil_X`A^S@fjJ>u8W6=B~lMUQuOmdKN> zA8&R*&4{92+rdjJlgNQKEU#7hOkO5{VZgd}52Bm^v8j-xr)mfwZ6t2KEN?c64tckxT?x?JcQ~P|n!emzv~`uqGGi3@5FpoIR<_rK#zZ$9ED&#l~UY&LBm(m8JL9LoCBnA^V9h&EgPQcoD+0V!PRtZ##~@$kLC|k;DGF-2T~jfC6`| zKd~)P`s?Cs{I}{G^%*surm_~14G(b9f3tK5YRQ_lML}a^A?Gheaw=Q=8(!VnTj|wl zM?x@_9;@-2R;I3M3mWwNfK0l_nV$}ti(GkUlmNSS*R||A=d}(db9LBwe+zOAE-&Cq zDxI8wl9w|)Y&{L>nn&;Yfn#SMTIl?ua%PB7Euf7zX-+}V%uXJ%ixX${Fb?SKx5|^| zR)bW=cV)NagXn(NcM?EH(Y?^DogeNnqs}+ULE1hl3%T+DS6QF$fjlUBwc%AqaZOia zsWHFQ64d&R2IIDyc%a64RL8323Ci=Gg-E=E+i`|OvU0&omMnW$54}!b-ee>X$(J{Mkl#~E+c4}?fBzSAfHfWcK*#O#-13zGT+A#VlKW< zJxL2?u~1BKep_I?<6AE*xqSNCZ_t@W)9izVA3=Nbs4j2|=_#_L^8qi`!HHVus>stP z*4`hkpqpw!RRfz|+UE+lcG9VC6HRuAdboyGsIe)K?Ng!m!Rnw#;Oj5y;teHzwEZ6< zf@S8a?mhDj=Ms)H)h7Y&4E4AhxXBdgBFse&6?o2DaO|jVFG&%035bnS2}a0`e}8R+ z*<(W|+7sxs3r4XywZs&e^hGU^2SZpPgJjyag_hj?;3w5PAL1bgi z>gMPDttC*T5S){#nO`8ZmV4LP)N?Ojuw7pdxuVlLK7_qF=aL!jGSMJYcf=#OG}K3B zV9b`W7Z@qp9B8ak(C5cNe)m%IUG2;G&kVq7R41rb7}r*!y8w%s5x|FIq2kNwL^pfl zA@#u7RwH|JZ!!5>Jc=GG_x*z{(4>&){ORl|{YtSeCU)$gq%$Vv>%b2lCuShT&6HUl zYp}@#{R>kJDZ^jFdsv%vCk?3F1LU`$2^J^#WIOmEDdjF+os$j_a-2@aYTT#7VQdOY z^PcH0dxm~*(X6<8E)PVjPGtYhZ*9hX1N^v z)h#KWncAC8bZMXH$aHHS&_}hflhtack|r*I*S(7@Oqdhx$Nb>nK+oW zsh7XTC?HFNYz0c_hCTZ_z_p%Q80PwTd4k!(u5x0Rdw1(UlCsY6f9LrTfAbh5sgs`iWk zSupq2MiH?TlqI8XW)6CBppzhp?at`nRO9zOUUYH9e{Ag{GnR`|;2I%RX3 z**;8j7Gx-cMIZ@i*DN7-2KnThgflH~%}KSXAdprG3F+{RZUF)}BpFfBTLpr0=o41v zNfqY9FKIPt`v9!AhdhLQ@weWnbv@a8>6pF0@0fo+a{EQLSDJps^>!Dko)woN43r=J zqAYthWjtgegR@iFlxra9Emn(nR;a(t11k+zb}mO`y834uhi+;?t|&JZr#P%g>X z8q6PzH$C&zF0nA>=l))%m^0-ArlDcmFZ@wvF|GG_~=sgofiD+&$*zScCrhx}KkyK!G?n1ioYbwzMs-7hB~9z%R( zx0UuNlI!tBIpk(?=M(EVVKKTLgHl@Vh`)J?yd!=uD;SK7#^4j zMmow~94s?!JTD#@Rl#lpU|%j}iNYn4fv2{>hQua-WQ8Z5!O3{}d>f{o>y^+v0qwyk=G$)o-nm7O)VH-#F$P(2Z6Z}yj9@@s1lF0RZkH@W+tQYryi z6&Zx)H|Hn%fX{6(vywdWp&B6}X@Mm1xkY#zM2b>O6}rmUMMN7R_k?-nr<6<=Ws$0M zUdh~|07(U9t%~eL`*XZ=Jz7N~U`e%Au6|`=HM&Msmdywr$AoUCY+)LmdX&w#Mj7n_ zwV7_H#e1i$nojAg`U<)hU5jV_n@C}*HG8T%uDOo)zKlWTTpFF(Qe=A)VCgYM)u2k9 zuJsALN3?Lc3d5YWwn^2XHc2C0YpklOHI>80oMC{BR$blt0_M6-HCDb3SUZPIqXFw4 zscKl9WIa|T+p1c7L^0_Nu3?_3%BVKJNWto^!?NZqU8q4L+xoIyc7!#_E{@S!qfIe6 zWssPh-R&o4uJQG#zAWnPvD~y&t;IO4o0r|qYwI5>Dn`7dvtf2fj3KTRl;7H|TBmMx z(TrI~vtm=7r_kalHX7d|ia zF1orAapa#!vjzeayJY*t<0%BP4yE6<6BuqOh0^@^DTI#1Cw4*}LKKQ9V#07_G|KYi zvNJVPp5t+zae&fBiG~@3GCyDcZd{jRw3%!o=G(c+BN&7c_VWy(!!HU&aD`~>D#E+E z3{Mj+3QQi?+aJq;JFv5ahp0#zNEJ&4X1<;`$lHq`%+kr>sXUvsmdz)Xi9rTr_}}@8g5L5tHKPL=@qF zODPSfK?8(aw|KT=ICB{_9j1akS|8! zQ7@snFcn{IDPB6c5AS>n1WcgWT6E~!UcEPIteLfAjem32H!ck4{v}94EJoA+69U?! z0fy-qEJP^j0do?&LNUA~n#>*`x~l#`G$IfiKz02H^zldjT`;n78l5jjkYte$VfW`0 zz9-&2z;*23lWD^65cc`{B_y-?IhZ}kvIPIyo@ob5&yP@4vJ?-U2_OYIv3a{0lX-2QujZ5ds6@Z|VqIvc16+a~;dHnkU3c%M%QD8mhX zg5l}y!T)q2e_m!5;IY+a&K&lqXyaUM5kAfZLL}xAZrzqK8vAW+3DR_2DMr`thCQt? zL*BUM!w@)o6EHfl1SBsEu16@rFIT03De#FPWE0pjWo&AOLtvYl7OTKc_1DEOJ1w$dPpMwW-JTao_1%Ly#`wUj9hdIt_dQQ94MZCV7={m>x$*v{0`0t1tX2cK zt`dazzV4j{&3OLQ3)*?IgPGcZh?b62K)$M~ORKJltjXdlmLti?gY)s{lc;Q+&WE z3f0MVk1@!3j0k0(mO$do0YDS>Zh0>?{%wjoy` z*+uoUenq0!{+kBhjvc+9eQ)|Cc}UuisfbgitiP&BlbfZ}Qe7}b=o#8{FK@_4-B<+G zq}Zy#s>fIHf!;Q<04vJxc2>yzx?p>#^pzDEP9-*O+71Quhi9};TxOX$eHE_9rKN#A zNz8rZEl0meIa-*w&sv`rGvgn`LUeHLC?@{=P~R_+Ve#K!N{ zv~M(%_YM3;$-lIK0co$-#+hZYt zasxhp>E8a@+$&J6*^M1Sdj=#4DBUoG;NMAmmPXHce9wIsn10YJAOgvr(F5nN_ICre zzbyvrU%~6#`&M2?j`rA)!%WLeIsP^1`}t8BLt+jgne;liewo%&8-g&Xe^iqV50r9z zjm-mH!N02V^RW9^e2y@IKD%kZeTCZ8>`o8IyJ4IpkE)fp5HS2&5Hqk44{wr!_9KoJ zo`xN)LR60_7UEXcXqkUjw}F*%-&#uH~<~2?{ta7fWX} zj1df1(@~9C|8?SMB3I~E@@z1Q@eI)e8Lwdzh}k@1@scGbiOMMn4Az0gEFZV#Sj(0t zkC`$|4lgkf#ELyOsK5g|4vrU+f+`^*Nvr_V3Yr6i3}y0-zUZ6tMHqeX3gslUKoKB1 zv3*O{r=lmbx~o(+8F}JE7S3D+A;V`ftxMUNOe*-Eh%*)Kxbo^VQYpbWWvyQ!T3m_T z&G)vF?=indI+N%FZTU)xa6VuoeF?;Ww=bET*s_av{=h8g!;VkN0nPwP&(L2s*{iSl zcM(=y_~Hf8DFYut#_Aa;A2r7e*Y%Ebjp0AkyG^Ds*jGILHxe{?A2D0}6=+X=CmW{CtMuOlhjzk34MX0s`$`EvU*q&?US-Y8R)6gGPwRv?pPk{yw! z0>e`qxaHwqwXB-PkFMybflFuM_e|Ngm&yaeu?-H7ozCS$0D1Z-s&`uP!w@wtV#zf0SWz$7z?8z z@{&YBzdpEL0h`XjBI4C*%(w!AoNn`LH`1rM3C~5{w;=(WxU$k@y18L#sMj5P=~N_S9oVKw($F{% z2Zl!AvZpMVp<>FU7o(o-sqW@tgAN3bY(GDoh(Gm zhC*19*xMZS@0R$>;3ZJr$rWM~twU2DR@V0K7U%Lf5!gLezg0polUvtYN_q@ukFs?C+hJfx1kWI4u{xlQTt%0BCpFp?21AGRNR z8tL&g?49xF2@TE?SfhIhm_Ii;U?E8>Y(dTc%sTE7XRhTm#>&%&_boe8(Es!YM9^sX zHl4%+6uo`V5!CP$$ji?m|Gu=my3`|o+Kru zuEU3vQi22&3Ji4-wB(@zw?`DD z0g%&^uGKd|KR^9dl%R~epLv?l7Xu&aM$Ye*HXVpJn`D?gY<11R0X0w{0|>;M4^9f* zhjk~8C&i3u>S#=BQKiO_yOkA{2$M|-YcL~{7!{K%Z6%J~qx9H=HLrlXjioJ-Uu;Cg zAJm<&E+T_H3WO}ia4^OMnX33zj9UwI2BUz%Gd55adS3`~s{%o<#%iFo49{o7Wh5RkxLAlae_Fhj8qbd5y2#qfrlh6Q>xSy9sfZ=FIe0aIiPxTfP zl>g(&Zv#CS!#M6w!55?BzVRphDlJrCxTUspt|H>toUqC z?lxf5#>byCkLlFkEWQ_?QM0EhcugP+HZBSb1++*lU{uxMuSF5VP=@iLo$Nyig(Hm%2~4@V z@nMTgFMiNS^3rHvNCXRkwehEHI^&&t{;Q0o?YEoW=fo1^I@Nt)a1V-J5?7Ce;SGJ? zab$e!C#Ci9sT<4LygB8;$16L7ph5IZmSxSjPAdfu9i2sc`U1IYRzuPP<#>$(RyyN2 zJ*Ore{!POAxFDxNvI3Q^>c_+@8=*lPX45VhNAwF*@}^VEb^m_}vdNR8mHD@l;I_UyCZ5l<5{<4JlM zh4BjKZ(=$gd-kH!6Op>BQ>IJWYA3B|higNKRqqV`OdCrQuV~O)s{t@nYFRu{xVA2( zhFm8oj<>lLmewu(Vo=>enD^0}k5rF+^ayT7ju zen?Dvg31WYoLJDM|v z-PA=TB;qft31_Nu>1Ir5CD(Hr8T5H%szwQ_;m#fRo6D-1AAx16L1&`T{9n-U>Lltl zldjj)_!&<8lU0;1`Bx*ouvWU!CbyQAoKgSQcixhBn3^SiEaS(p3=F&0&R*eds@CAH z=DsE?Q|G|=x0KveEm8n@%*jnDzH7it=At}Qv!WW^E!B8&TFvKmO-n<^WwP_ia0?;#Ne#`~ z3-?;10-6hJPl6W`2ZKHxFh5mb7H9iBrj>4KiMBQmu)yBQ)IK*%?26reV#Zl`eL7sd zmf*_TXP7k}CK&7DUf2@CsvMDpZnyWLW#eWAqep?B6u+}C!X#2=ovr-qpu;!TcOAa0 zR}7pZmRxqB%mkkkT#Db_kAt$JMXO#T>7N{)yZNbfNSumN#+GS>og{(+-y@6Ii>*<6 z;hl9Fa5>@Cz%Y-yaOb$2jD|XAA*w(N2|uW{%n4NqX&7D7sdE`5Hu)`B7MHA=Gkcae zctNUmzg;9ifrxinm`L}Ky{U48UGv2E@aVCSWo1$Px#zzTZ9K+vN|orV`oObJ&!662 zBHE!|l+nD2x>YoH)cJu!U3327T6(?02A2pI_}nJ%MR-hQ2YsBnNm%4|2o~jmgSyQH zBEN?PgB2jh)gY2f$Hpw0W6LqSnP-cY4`I-YI*M1Vg3+6-Cp`b+qg)0+=END;~f0S`LQdf#{SCtaIg)&qD zM0xF;Pjm!e52y`}Jr+J-NM4L}vYw100@lOcH4#oBVD`+=Nkd%!LZy%|sQ;GD6-gnh zpG}OwYNV=%WS<^ECDMZeLpcjciYRrO)K+m4aDuL*{@W{OE($M<6hr|aZ6<;M4_9GM z7~V7&zCsRnZq-r#XRK`c+ZZ1q#Dkm(Sd|=jD-KXKJ=Mvg)?+5e6G*hv6z3~U5DyM8 zuz?znXjwTM|4Yl9h)IsXjRw1dypt3eft*QgXnw9P9r+LWrZ;-HNSyjFJ%@pUPaJ9x zzl`)_Eoven0!_iMVPuFdRk;HR*UelZCN;4UuK zsptqya6!8YP9UQ4+#H8Q1q3L;sDTn~A$U4&qAqG?hNGILi1JVcp4>_J=_B@8gce6~ zUkcOm3`rBtQ&^eks^3#26ff;aG8$|qIJ%DEJc*2KLwJme=dj~q?hy*XBJh603pYke z%gL>1>W}l$?|RI_>xXB?8p_ZrK{UHa(#__$(bMFKD0tu z1oG9nn)`&XRg%PnFb@sepGd1PWezf0bf_F7l=40@2{Vq@|2(Nm|GZRuk!h$%nJmd& zJ|5LfQM0mOO{aoC1rnR}Hk8t1$~Q%6u!B199qn>b^1P{-Dz8Aea1P}!pjfAB*sI_u zp$}&ze`l4@N)S?#=nydyGjl>UxHKbt@K6C*(&8TyI*VGTMte8VTgz4>9P~}%dz57w zWW86q+$K1b8+OTV>=}3hDK|CzJ)AsD z>U9fl%Py2@mb>aau(>E3;PWB+<_NN|l>WYN5OeR$XL8#ghcE}}SqZHYh$!I_kg9x& zunLquX$AWz2PZZO!KnkCQSK6CHv)o@!#igP11zNV;UeU(;DqV}<`9u^N@C6>P*pMk zURK<#)w#7*ZZ8tFd(eVH3%3f^cw-NV?go^PKSD?7@&W-uMtsMo;7^>1bqI^ZCZHLd<>1l6f|g)I0^+_%5hu zluFKGw!17*=#q$2b+5JpkUUb>Ggz~tpAh-JCNxz;*nV0{hz9GZW{{=dckIX5xwB(r zuqJ?XTrV73KtmxFP&BU%#+%1$pQTWKxWL*Qm$Fg?K4cNEPdbop}nauF1JWKu!&+PM{*{~XMHB*)V^91azZ94D7?w45@` z0WPfOa2S@^X92cWDhMsa>L3hmv{}&F?mtAUv*La_-Azi} z%WEs1_k*?Va8C@bZ;}DPhVk7F7^bD~z`i*F{pLJD>V=fRL~AdlO((kXZdb-~^XeGyqAx=R6n|H4Rt&bc~_^wg3M1pm4st z4_6&{Pty%cD|+=SmGHh>R3bv5=5?#_{-pk9yH~IRqVsFb>=9Xd&c0;zMg(@g-LQf< zy;1^0N@ZlhvkzZH;t5`4Ue?5m$?#L_cD{CyS63d5!2znp4Rr^Hj=-7XGA_0E01JvJ zUaRLe9G?E_QS<&rR@-L|;8syAq2hyQ)u;vRAj)faJg<*SweX?ylyUqxy@AE*#L=bS zAz-{g+7S}st8IJ`E|h3X)_XG;uSM?SYN?PM+&3KrFvH$q>nKM+3`lT3=yl2k zY{>Xo)>J6ee3Ds66#K9mE#8tc+LR^JK8)P&T5yL04!Bz9dsA$`^9lOjuCA){5fy=o zao{_`q3=-0H41i#9%j|;gUu;I^t*m-0cev!}Q=ahlZ&vHDdnZqsw!GEj z(#Y5sD0qt34q=x?`iN^!x6dA9l1Jb#M_T~?Oa+KytmM6`5vwtWo3#@by_k9xTb>?E zPcG9i8#@m@!+KriN@LI4ytN2}=?LI{i9Y=*2LU$i$)y9gQCxWP-0OMNRinShAH+4+ z=OBW{omCd!am7`#O)p-K40&c?d|U~P7~uk5J;dO1n74B zFI;X;6yZ#3=EqdPr;8yc%5D~P2Z7QJ)*4{ZfQLz{;mM4rFWWD2lN6 zQNOAC4I7qFseV+Ao19Kf-wX>|;ugn1-o~PW&cc`OwG3lWtA_Y$9k%~UKuGW#EjQPL zr}%4bdTfQvmxFvotCE)M&;&SyK;VeG=l$3_bn5H4tMwo1i;cDrnNFOl?;j{O6E@3p z6ep_9yC#n_{``&}cXA&3R-3l8<78O7zroSl{wMeP?^SIa^Qhbf7D$d{kkWqOmJaXB zLS*=@!AQ2`mw##)car|nu9bYxrWZ$5++?xTRn+gWG!b?->=BQ^0$i`Pdp&;|-#)v5 z&R`_#f^wzUK9XhqlS-efQ_P@hnWdT1-GN%^sw!zJa(AFKB*W87Z%deFYUb0CJtJ)8 z3~Z!MuZDUL{hLKMx^ZUL*F#e{^#~0m&&0*=1}i=%^A9|2V{Z$hl~TtR6I zkgs160ZX6kN3~qo8!^)k)&oP+lS*{!0LBV$i5Ao$oEN4gdyJ4KowMfOC#G99Rc4-W{LMdyQqyTV>TyzBAhaemdER6kGhmA+5cC82fDlw;q`q zE=E-|?!29Y+bX%V6pD%H=z>IV^?B~v>D?YHn*^Qh8QUfeFgJY1Zg}0Nj9hE^s?zxs z4E$YF9=e2Pf+#dUi30ordS2)eD=il4N5sr^{)}5#0n?zTME(kiAD%6mFVrhoCP}Cz zWc^(lSu=E>8klN_;xbsstz7$lbEIO5dl~QLQ>P-LC4a9=psvyhD-xPoMvSagsTD$8 zCNoy3<`8M0y#La&v?)tFBFZJ``65UGeif7boww1WxUXfSU*RaQf|X3!ULeAAt>aNc z?2+=v0v=psL7r7+9&*ZQrV6I!r{8{!WMJ#5Z8$3H37Cu4=GEym=i4rymj|ORNA^Ky(FWqpMW?0>jHHKC*4f zi$(-kS+c4MMp&l}>Q07a{Iq*`kT&o4kBxoUF)mMfEV z7O|CodK#U1^VySBZ!=vr{A}hYOo@u+hu#zCRW*}sdb}Q9UXK^yNK3>&zojZ`Y#agA zjyLPW9$$RPs_bn@>Vh}Ia=X%hALBP|&((|=Ak?N5>{=%&J&@iE)R?@T7yjBgp)J>W-{ym-c;LYdWub+Xz4kQV7Q`O?51X1Ts&+REGC?+8~_s*PEK=fHd7W(fCZ~5fR$O0 z|Nmp8zdC|RgRrNIIDugUF`OfzqoN{+qu@G_g(0vuJs0m$W3#N-bu|f-%3qU8R8xm#C&Jb9YSdND-hqrv{qN@&Y-|Es0-kj&qwHLKlH1wn z@}r#E5w=bQm?ku7yONu`*axOD+^W{_I>XpT*#s8rdzhOc8_sk<&0WOJ$Zlt(>me{N zXe3hx!aX(q!(y+TGK{wpY^s?&8QZM5L(bK-vbaq}`F3HxwY=@{O%T2)7^Vg(KIaxV z9ZTL~CJz)e9eb*7)=Ex5aK`x6)tm!6Q9^g|G2v;rz?{*)9)xENkRI9i=fQ1&i_6uV zaNPMn9F`G`wi_|vLiQ%she<-ly$jz$K8^rx3>dTczq@h|3t~2rLuL3O5dh=TTBei5 zV{7oprmgo6$s^b}3O9QAo)bRFv3GH9yjcJ;53JNaHGZrqGp^7uHjCr=72ohZ;vOKN zzDWT;HsD$tpX#{2|7z|Ie~B&fMR549UA{08&3^L`Cz=)T(T{SUJSQfS^viK=oJRiK zTXDpiR7Gf`c!8(NQV`5?pFS}}myazwQ#-Ll$et~nQjwf%n$y*KfBeBoknv9_DV~6b z3raHDm`p|t4Jp*;l{_umy8-3_s{D}KKV<8OrU$vqe9`G)`hTP59r`8Xf2U8Fg>rj9 zU7btEnpZr4l<_#dxYf)?huxmfr#5lZBv`w+`q81 zc+SaV8)-(%7KYU;u5b<`_8kU?U($SMb*A-OzULfCWjU9@w#qZjLHZFA+VcI$J&1D3 zGp<JVNG}Vg?G*()!p|dOUK!uSZ_vv{ zb-lc36XH41^=5k6Mj%Q_lAs zpXiRW`NY7m_FK;0fM`B1tnRsd(JzlJ6|EZ|7o>lGnjaAk<7biF?S&Msqra3_x+E7b zif7`1-$gS?|Eaf_s=VV3FKG(jYdE7FBWCb2eE^Z=-0{mjcD`Bwp}e?G(dX+wEpilq ziTqF}Mc)&Qd*(f&{mAYDb00}zXB{bqH`Ao@q6Wo}0j0*Y=jUz&jX`^sks@FEY zLBQir+$v1|y;1SWE&P+uImaSh*~$q;GNc4QO(y3>ou222%xQdA^HOfZbpW3!)M9S! zwVZz=mB(Mgif-=zy^w8jog+3Ag#iJ~VY|lgL(bfwWKP&|gVZqtbJ($_DxOSeDxS7o zT-i~{%qW(7>^XsODxPXxMp;aXvji_Xu+uIGGHwW0=eTXd9Q->Rq<`G4ntR(S_u+q* z?T?o>EE>5VvbQMT>g>}Zl6hB-*`1q=I;7yx?2{Q4Rbn?%me(l7a+<)~D}j9$*`@o7 zAzf4By>(9kZ8PZQCS@D!VQZ9fIcy`GmeH=)ST9x!N^Lrn(^FRMoxr6hk)Esc=!b@} z)bOob;UyefsHY>};)w2eHZWnwMiD`)Q1m6;ICe$OpZ!DY}t2vOmXD+ne|Q zy(&LHmXGcCKhy0VXz#!|SB3N$^8^{{r?8a7v!*z>Bj~BN62981R$bU>9 y7;A=mJBW|~7@7wx{DI{Sgfmf=wJ$GELL7&-Qt9v>U_`LYES#_u6cS33u>S*lg00N}