From 47c95c2640843f4e9931444dca2059b3a0d52f3f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Tue, 11 Mar 2025 23:30:55 +0100 Subject: [PATCH] preklep --- lokalni-existence.tex | 2 +- skripta.pdf | Bin 95860 -> 95845 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/lokalni-existence.tex b/lokalni-existence.tex index f4ff2bb..fc0dd50 100644 --- a/lokalni-existence.tex +++ b/lokalni-existence.tex @@ -103,5 +103,5 @@ K důkazu této věty budeme potřebovat pomocné lemma: 0, (x, t) \in \mathbb{R}^{n+1} \setminus K_2 \end{cases}$. - Z Lemmatu \ref{lemma-special-solution} máme, že rovnice $x' = \tilde{f(x, t)}$ má řešení $x$ splňující počáteční podmínku $x(t_0) = x_0$. Nazveme toto řešení $\tilde{x}$. Potom ze spojitosti $\tilde{x}$. Tedy existuje $\delta > 0$ takové, že graf $\tilde{x}$ na $(t_0 - \delta, t_0 + \delta)$ leží v $K_1$. Restrikce $\tilde{x}$ na tento interval nám tedy dává řešení původní rovnice. + Z Lemmatu \ref{lemma-special-solution} máme, že rovnice $x' = \tilde{f}(x, t)$ má řešení $x$ splňující počáteční podmínku $x(t_0) = x_0$. Nazveme toto řešení $\tilde{x}$. Potom ze spojitosti $\tilde{x}$. Tedy existuje $\delta > 0$ takové, že graf $\tilde{x}$ na $(t_0 - \delta, t_0 + \delta)$ leží v $K_1$. Restrikce $\tilde{x}$ na tento interval nám tedy dává řešení původní rovnice. \end{proof} diff --git a/skripta.pdf b/skripta.pdf index 40be9d848fd5d53bf2c9406593a57132d727d281..35f8248f35a8763dcdbfa36c143070da9044d498 100644 GIT binary patch delta 7581 zcmai(RaBG>pmtG^Mnbx!8wQXLX^`&jA*8$ErID6K8iwxf5Qpw&=OKS;`RE1quX6vjSnievG8;FPL70sL0~pdGMFXg_+r-lfj9@W+f_vXOq_to(BL;dGIB z(?o5EMS}BpQb|E2duILh!24c=e8LE9IJ7K@U(d7t!asus7%|LwLZhnzXe#Gcgk}ua zf+Z&CQh{^_RW`T|r#7GPBC#giZ_zURY;5<+BKY9By75VNHp_GJ-?6VQH)&!?|7amI z#`+;6jCG*Tj}l&p)Vf`3K)h}ZXQ9QG>F@52XcIdIZ;#m zG24sV(IT1;R$`rvZGjXK-&pkoXBf1FRoNG+t7g0b|KSia%YHlYy8$f}75N#nfi-PI z^Y0%cXHMVLMf3P~xYWkQ8e{amcH%Az?iBKd*8^_`pFwT-dYDS$a7r;cGos(TSX%?u zq^LW2<&0)jHouI#*I>yHpTgHM-n8^7&70=nd$-3av85ajjSq3=f85%D7uj^0zUH9o z`;1TkY(0-tlJsHIlwO4QU>cv|BceKqWrytka-&V8QrP9Jk*=vyp!<}tQDp~tP7$ED zlyUZl-EH32hBb0H;wl8{2D3`nFXymym;jpP_l#w1HtI#I$~qI3vGNwNO34k@}>o zp*Z7Sbp|!D->eZF^wJh=7kZjyi&q^I4}E0OC)a*|6%QBd&?Efkw0NgvrG~pm_j>R{ zws)}JmpVb<@;>pXA1H4CT178C9J5>d-Mmpx8^W0hRME=l*bg#tql)zr4vkb4%%X1q zt=QMILp2<3;q|YW37dwnHI&Sa#63|<*SF+x-enn~+b4`*elsyyAy&%sWlG{&45QV- z5`1-RESuB-Bh|SBX-O;PV>RaJ&BEar4B1>(p_}s_L;E1Y-~#$rgJPq0PiQ}l)j!ql z`jEScS5l_d(~P1(H3rso|9}niE=q4;*IWT!a2GMPd{JXxFVtuZo#BVuiMlChesrh0D^$m1Ho$rATIq(qPHb>-bEdD%{?}cYv`~>G^xQ!4$iS z|FDwwJ|Tv;5?l!Hc*ADLQm4+<*gJDL zwDuez5Ts>3K`COcygdnC3Ft%;hQCSXP~lKm3TN#gW@JA3R)|7FVr72wlkm$`l#i4F z&exMqWf2NAC0FhK5saD0#}R_+z$M*q4(>=(|2D=d+xf!revusK7YQcbpPDO0Y;;*SkXx(n(ymHX^(kN@taV~4#PilsE&>PxdGb!$eeNbbIEc}raqi9Fqz49ETDdg zN}4!K9^~xsUR=_y{<`mJ&){!LnS)_@;F)1BnbRhL=h{+(_!;%-qnvQ4e(TGjVTSHZ zb#xFaH&#!PM!vQZM}o$1(aPgo`Fzn&{e)RnHKV4@lLPK2RMM7BnOHK|c;Vh}VbwN) zlNz(;^=w|h4kHV1`&wTsK&2XMc3-?^CWXqv2VbN$`AcufP|s$OxBzVcj2kDKnO|+x zCZ*A{NX_N+$yt7B+MO~&gANQ`6_PrQ+U=@~%V2i7}l454B z`2ZcDVF*A!DmIe3;JB#C3SFc>LK+J_O)?%$7}oz59c%MRPE~z2$?ULn#H6Nu!m&KZ zA*S|@^i9p*TD*jj8W`) z{3;_QEa7u0h3aQMu<${oe)q7Vyz$F9fHZ<|hHBve{_plf5S)d_Vt?X;|o z>7g>ByF;kW2}2Jf6Cs!t%kpiFCF+8OWycC0G2TxM-=lsc^2Z-V^2cRb&3P+c}4vtpy{xXzAG3 zM$g9Ny0$-2U(ICo@)#5frG+;&s5{3J-ox2DftGJgWshj83OTSJfae^W&FaV@fklM# z`61#*R@U%y_uY^75~GbY{X(`0v2v_fqqMB!E-d@!xXR1wiCW6GlU6IjeC{i$3^$YM zPsx*H-VBM_R-e1H+Mw+zT2$+!zJoF4^zRkm5@+!t6W%(x2k1Xle-P?$JHl9-zM8f6 z>9vHta9e#J=eU4M0<0YJ1IyGD-G<@!ohRgAFHkozJHe~WV8hMeMXFBjU-E1g#+h5h z{)#QlrBWBMC{1_*nzg)7CpuD63mRH@O7q;3lSfZV_gO~;rA)y-A$iCA+Uirn2OSLQ zQNb&DCO#qwBln%97Y37~_&%BKREd*=5UGu@g+{0n!Q{3S;9j@utH^H8x$i4d3RxOh z!M9oDU^w3XGVOi0id57mI1PC{zpFZ(PSrw^(p2Rp!PSiCNnPZ2i@zUUY$=xM*dwE{ zmzr_>*(kiMYdq^DyliZ|@kD-B?`i9-$f?sCk+bzG)tTWHD=1DvgO98v*3#v!I@dYh z)OaQTG8bzN7I72rDfI^8{qLfqc-F zVkd5W%ocUp7j?XwV?Hn-w}}yW{rFrn{R^#Yg?Kz6*!0L=y%B6-s;aA#PUaV#oFQA4 z*}UoO;>f-G=c15Vy}dn_?Us}pxJLI$HQOP&rQ3@G>cC7P3Wh@Vy*qtVLraGi$~Qz; zV9&Us<2sF~wZ;!!oHjFI=;e`&#|kxT=hm5gT8(a5AEB9lysB8LXZY!TI;uH(nOR`v zdwRLAhvNN?JwQQ=X)4D?Y<9Cz|)p$F^&BMyHk-d@AQUbQc`i>mi zOmj1!;uxYg>tk-mrZq2Z@7^MN@et<&9``YHT*LPUFZn4NpOXq#;c3|Zn$YbyWxc~# zT0V9>s_AFF3-I)p;Ag$N$A2UqSz+yQ60*AWA-P)gSjlP5_b`>0@A)J+)4qE4n`iLY z;F=7UsH1mQx`?>BtUCT3yA|GdDsgFx7{dwpQt3;u%UiA==#S=H>@sht_-xUnZ@(z7 zQX{odO<;7;P4>%ne3Zs{5cYl7L83UJvNO;!3@EezQ^g$fiP;H&}VLNDNb|0DR%ZZ66PivW|`7I&4-u?UQ zc9Hna>tmy$(5t9WnT_5ZhRb@bG@_<*H_;q0uQJ<~T!Tl>EyuNqqP@6lcTq_Sxx`Yv z3WXc-lXOyzduOopJlirDH+Ql2@FyVSKAKc|cjVQrQ$7D?)~XY&Lpts-r5P5J|BYp5 zCiba|m7pQ>(YtNPERmd7Zrx<7j=aI;0kY&4=}Q9wL1P6Oqn-HZ>Zjw|jPTVPFs?y0 z?eLH3IJCR!q6T+H8fuXl3agRGZR%i%k?E~@eQG}ov%39uh0>LKl4uiSH=r9yag`#~ zVE3~I){*VUttY;I&Ki)_$*DO?p_nYCY3V$q(DF;JgH2=&G1ntx5+UXbKlO#|L?Oy0 z*Laqv5xds&8LXNC9jRX#TKZvqDqR;s@#|^G@{x5ia}aw3ip(GfuM(MzBg( zW&k&P#OTt?boAEuNB#RnuSfpp7}Ncm>jD|U07&MI%iH1T;pElb;r6loeXb14!M~$B zGnu}@ovnI5w-kPTLq6YAcu;nRm)k84oJAo(3m@GAdk}S^UqW_rQQt|2brsCVe-yNKEsLQVuGGTrzra)U;!P?Lk-Ll{((~&gbbQ77=+6lKNY=boXDln&E zHIOdR*Ys*2W)KjV0Axu=vA*r7tAI~H`Jbhbd_#ahW&sNH4OKV3Me9P-iD+Tk^|vkO z$JJNru#y;dyOO?*jVJ1(Yz0_im1eAD;njCumE|4%04fY@{J$F&94eIl+ zT_IIwlZKzg4^}Jc<4Bpc20x8zWh}Uz8mbv=GP5PqPVPSmHkD%8YyN1h_Tcg9Nb_5M zYV)mSu%5lnJ}YW;{FL}r_8k$$vSVTe_ED{{{~>Z~il-;xpo4lR8n)f@->RV0uwRBt z+@UUbAwBDZs{rl?>v&3J+olRwfz_Y;*fjXE=Zu@6L|OCkuS-rPx~;RsRb#)?Md+S` zoVO;ToUAlAru(t*maB;P!l#s76DauB(lU%V%7b_{NKHPhmJm-Ubh-q+815WzYqnk* zaFB)LXGBya^PtP1L&B`!%ieGFab%~3#~qsEWzVPtxdLTK%eTXn1ogq-tR7O@h{Ew{HAt*E$n74DA4NOK@|J6sdb zc}TrfAfq}81cV4Nj-PX5cV!f-B--jI<+L)<-Jj?PkzZxkr-Y31O!7lijF7&gW2WW{ zBE!e(kpNHpckXtF!J=8P6%-&>Uho5(T{x6hBAOB9tAOToE%DGkANmx%Y6}yn+@(G=HZchZO zU`;upU~>{*iv->$t>qW=_EBJao3 zU`(x-AdnX*KejWSEn^}`;!Z$6OuuqX9JCNxfN8Io9E0#%mXg%R%%mK>7uNUi!CsUhj3_(7*5EGUKD;<1_*rVsPFLvdntOY0|RlVZwWIMly?wjAtIf#K{Jmg zwMNXdVi|X;5J-}FdkLx*=|=*KQekfor|TmqCc9C0wjoBzsz`vo(YivotIgZ_iJ7iZ zwgS7Q=_9~z#ByLvK^9|aWl`g$2w0^K%#O;?Q&(;cj@AgrxcLh+)>z9;<_MucDAJ;D z9v_IAPcNGo^_s|mu~75=!Ar%e{ROoK8RuF)dc7fLYh|Hi3fG!w&&^|r0kVbe#mSMY zy#v_(=HzJn4mSR!iZP|Tto+*`s>rL(6z>R)e+t?ZDK5PZSNtSqaas~5VBSAFeCd)v zH1#UL*gKlJ<<`sqfGdEEFK@zSU`Ufs%Ufyx>{VeQm)kr(3AY~Gk(+Te%$93yS|ncE z26(A_`0gV@(u*r~&BA2Ijqs_V))3!QT*>O9#JrL1DB7$8W-T+iRg#3sE?U)wjTwpG z5`;f-{sTX$KuXgZ)E)%jC*?`;Oa(7(g8XAsW*5B!@qKfxkLHY{@Hf7q9r)%IMZa}h z*R5EqK123)TS|~9Hfma(F_BXrj6Q#eej=~cnMJ{;SF5Eg@?!COIIr&dH#L*rjlg_W zsu7FVr40T~-@~r)!lQBfro#Vvce}Jgz-&1tA^x9v>i5Ug$T|grqd-hSQQ`J*cu#uO z?Letp8GBfiy?Fn{yOfXD&*EV>_Lb?cb=S|z7aKhy--1`S>^Obk3N;2}YzvXEgk{BM zU?_OIoN^jwnhL99udFp*E;HrA&NY`UgI^R9!*h8&ONlX>u+e0I>4xvaa0AP?>Z~! zVKqA)gzEd@)(im=v~V z#vJ!V9_^X0y6UJ}>Re9jhGzG#$O5prJCT7^n(p~*b|6(IH{vEH+Ub2UQ*_3^lF5yi z>+^X`8Fu3wr{*wJcQj<1Pb7t8cr@rLQ-P8;lY<6(cG>e$BkifQKYuo^Pd9RrzhPmJ z&@^w)w;|vl4EShdrHq<7^LMrr<3n76UA(&pl`Ykc6vDNwAf{Iq24mGDqwZ497?bI- zQ8z?)zkuXuDQ7wMiBWH79a22{e)j&GZK&^! zneL0GA7eK@@Yg2&3%9o?bhvnHE__SJo_Eitq3hAf=V_ZC(f4o1S~KxK#EQD6ah;Z4 zh6zWK7#ule06~5;&As3|#~L?m-pi+fA^hg?6sY09QZbku)V3%X)M)IenC70h=AAoK zd&ty_?;(A8d3n4bJhdlz>i37_&Z{5Ud{k%&(`p?I_C@X)Y&l!6^Y#V)c=!YU-aKFGA&E@Vww;L3KZpS$l_q~8KgHyv zBT&sox0hzdpA)0TRg}@u@yidYFkhFg)##cdxujiVOy22F#xZS4|7hZ6W$!iUcLgI6 zuorVItaKn8x#H;@%#(no+_-2MtSO}KoD45w0R%72VA#0t68igdr#p3TRhI$ zDx}$p+iPAvpd7Pc#u2_r0^V7Wf>1FCsDLE(w(l)ZSe$x=pQ2D;{n>kohs*4n!Pwha zn!6GVX)4I`^7eCe z&sZnyS=J%(w#YiN(|z+)>r`x9{CRM`Jga#2EBnTKoAE*!GtS5#xj|*LFOR|v5b*4D z_b4qOrlrkP9bcMQ>dffo-9O**<0n^=-ieOpke^-k3-b2ZaEGjDMMQq90byjkpUyr;A7Gy*1 zlTrpMRi>E+Z;Erv7ii3=)s_0&I*v2AqBpX1HE_0np4Yhly%ruLy4kXv38b_|X&D+^BQ%8SxtJHKBGVJq&I-mq4E zqs6@j3&U>W_-%|-{Ahqg;UPJP?MPWirQ3&}Lg~+VyA8LIfpWO^5mhOhcr(e<2U|2hl6rt&gxQDf4o(S~k}?~AV;EO?|n z%`A01PAHt;OjL%vbT_mtEyM8bn&AG4<}>1|B~3qnN)vK@M=Z|4X~Dy!OaXzLwynUW2Qek8K`h8BPsB@0gJNnzopSx&zr;h}&D;>AsNMbf0-f#=5L znCqoT&5xlTfGvTi9?f&xMkr3o3su0dcm{Gig`w6I=CR6V$V7!+R@7UdYYcH5_67g?ndtbW$` z#i5VqFl-&BMO!)K@U%(i7pJUgCUiDOzzd;hhTg;8z1Bg#t@8Mme{$%bfJs?s)@LJb z@}%6d=)ZU7{@7p5hXw_l2|b`&gh6W{9GOko(;#7IT%|uoe25Tdmiqx`K5}{!ikM!V ztRMa$H-D3=YS4Iu)$13v!*p%_Ehj?M2##3p z>Y8`UxjUUx35=RgRlR>5v(&(oZqO}tYwsB*G;}K0(JJprl--G>#A8exrOE2wSNM%P zr8>rLoPts=t`>ktrXC~RT#ZLEOT)ZttL!@>PoP;O?|6FkDXW9z0=K;R1?(@@r1|qs zOcM}2;q*Mvp-{u9X<^eQu>99ZHJPCUtN*}|@SZR}wlK zcZt_5Y0Q2w$C7r3I#|t#R1yHr_{K?Ka&kF#(7k5Xc(7y)6b*TJWR@_WA9HY~RK&)` z8C!ol3#E&9rfZINo#Mj_X*{J^+vgfl2u=eWebxg=kcN*}O$d>h7SC*$od@B^kH_Vm zBH4-|{U}jQOaBd`P#HY1VxTuNWox|;`x$w<-B|v59a@T;l;uF6WIK`D9e;fFUQ|IGp%^M^qk0@1e=bBi*ypFC&^S=R zNIDj7?My4sUj3b~paI9a`%KTsOB;I=-~;VK>Zml#3T^^@!aIw*>--bUC;8HbBAi9Y zH<5z*IiS!hDWK|`|uwqnR5#& zg&fmJ=QhJ208Lmc!GGLPw%<*f>l798YDy2Suf~XhnbBd zR^06AySG%4$j%p)ztZgqCJ#_5Jb7o8fFFH>FzSo3U1KMSl*mnCUTam0^h;x}xB8RB z*mZ_LR@v_h=EQ~8XaZ5~BhN$b(e;)*{JbWPU4oyC5P%kBD$tsI9|%#NJ0 z)JK_dyG3ypMg^8whUYRaS~KJ(`bw4(KW>;9Y#1VE{z?9`(_77Fs&PtPjh^vw+)~Hp z;6p5yBT;6r@L)^M2l3aoH_W}x#gzgLiA-q_Ubr6wiMYTCa>=O5@{zq?Cs+~EJ36Rt zUQEOdIcd{J!x~V3nFYe07a-$=E9#VHFoI!kA>Nb}tATn5RBF|?WGwAP@-Qzr<&Yaf~bYyX9#)Zs#jM6#L!gu#fPjqK|CO)iT#4Eedx`W`0 zKa;r_r6+cCu@frCh z7elb3h>3b5baV8w(Vm9$ph^;&WKeK|qh-wUfX-bGdY$|+vfWqNQgB84?+=!a%>%L~ zNF}GjJvOu4-9oAZHIlnt{X1w#|H1fucU22>LeM-{e#IWo^f3y%D>+CYD8i!UTMs^j zdI}FVgh5qtX|YK5jXyhCQkr6Pt?FcHudnR%$83h4Iu)W^nGklX)1|5vAA$&1d3!Y| zI-TLRYj(kbdW6DE&)mYh<`H3@FP~Y@mN_vR1!gFHnmCn3Hw7<-p!i|}vJ@OxNvnMq znFQYi_AxiV+zY?Uw4WUW4Sb=|L_hT{nJ3-(Wt1Y)Jh;nDo~0$tkx7R(ytbTM|MV=Y zq#b$4J99x_k|ut_52r6h5IF7Zsuq-zCE@hN_00SP3o%;^Z%-yp!lEV{X;Dd;S;Tq! zzZ&DhMXpP~!mLx<_!5KeT=VH0(UYNdq#mY$CJP}1ah!dY|9m6Nj>ACbrX~;ZOBPJ; z6{3~7F$kJ43NqiH+6{Zw;L}vP15X;j2$Ws((PHY(G+T7BjCygMh~?wQU!5mYh42;0 z!NQ*c>Yd2&tf7baQU|rW68ky6au76HvA8GBHt{Euv$S#P&;j&Y|WW8<( zs7ld@qZXte#aBuC*SySqCR@c%-7~&A8|H)fyQmUviAPhDb#(_xYU`BbLBS%|UUwN$ zD>tMR_D#pz*s#zv`uISQZq)m_6bMDcpmBj!F7b7hu)2{Ki9irX5$20UoN`LYYRBMLTDKWXTatc=OFx=%B z7yOG!dd9l1K6x#dJceSL>|JJ(|M2EmK6--_q6LfN;)c}l!ZJag6$MD93J(()Z3a#G zi36+Tr!V|1As}Q!^CgJM@*8DSZ-U9Xt={h{cCW{FxnGPuA-+W{hs*3>yK*zs=DIAR zm{=?=7o`UJ73YYH6yIBGJXXoAs~sR&2x?)bpq3(mi(wp{-oV5svC+Hhj6Ps}6wZX- zMRPF!fBSWlHG6%N`3m7wWZ?)YB;m4a-UXfdd8@a#cc|{~h`H9NCJ`aL9U;63WZWQP z1V`mT(>?Sq-2KZ{Ww>kIKe;wD9mP6$K~81+SL>yJx5^&?$Y79y@O^9?fa}|VcVa@u zG^b;c zAB|=2eY({a%k(d$9FqP?;&?!P5G3fXNjWN873F4ejsXDJK>er=3fEBV7t<8ZiqxL6tU+F#Hp@cj{c4eB6Q<)cLY-^)~G2*4H+CmBL5*z(-pI!=|TfSNH!_io4 zXZ-W}rCf5)Tk&)JF5F0|A(hf{O@$rrVz19e0ZxFx^kLi)tbHI}3-d<#%_4`%kt1{p zF{a@)wXR!{3C(F~wa_#5Vl0+C{I6X0-Y{Mw;7noNsM0oikevdW92t@qteWbI_EJwjPmmpS0FpUJdJE z!HpTAn*5-v7LUYFCA%Q=fBy9cb{Ku?W_aTVJ2S->GS16Z6<~*}Vo*2Wy01J_knBc+ z`rnMpjw?o+Gby3(RnB2A@H|3iJO6Md^x@gy{+nt|L~%7s4pw}%BE^I=dAH)r?up4< z$=Wq`T07m5kkaz!v)Ts7&d+BJ4elYyeoH-VolIo4o3gOWcRF+RUMN)&7Cr`2Md8YN zH;dEyvGMXFW9YF$D~NkTUGqLoIoDk`a=Xh-E7Bm4KVUg^oyjFxrvvv$xcW1*t2Bj_ zdN-*AN`-<0P@>71W6il%+ywfOFmkmJLwqD<;czl)-8FGvX|VCOoz=Lxxv`RiV-mYx zUPZlhUftwUxJ!uKYs-H&gVk(JfdrV8Diw$#q1tqX3H;$T1_JP9NSAXJv~PM^f7^Ar zZLWAq2xt}?)42n%jk+y|o0AC~$)LbT2z|>J-27YBDcOxhHDb2Zt$GcJ4Uh5&`pgWo zHi?K`;9hmGP@kghjt!}qmBv-;{DDSF{iR!bKC)IgdrWKOMWv!3qKD7C>YkUK-#?5@ z=Or^(+h5)$kp7)^ons%bAW4l=Nqe_RseiDdM6-QgeTN%ZyxFC{oZCOCU>?1?P3@r8 z>>lzQ?c#dZal5b$0siXgFUo@egTTR9duI>};es!~zQjl89#_p3t)9lRvW++@N3(N3 z%Ul~@t|x34WsW+(f6j;=XO;V{pH{z1d>cRYNJQxbk)KBkD;J907cd&UH*q}H z9v$VsPbW!@UXt1Vb_jWl96ZieSpIZU)LnRlRo`eBLH4_QO`rXu;&AH5(m!(Exnn2RP#&W?Tk&W3o zmEi6tdNrN1yOV95+@Q@zId23z~?upqIDh}X1Mo+HU#=&)J_ zs>KNLJW_aDhk%#GHyq1WSiwrrhAF zC6uQu!?o|hYH|42Rn+xBZni2pb*6K<$W_*6?FOD_UZV+XNJf?5m43xz_xR6c!VOUE zNb=*KVk5!dhNo*9lH{DU?hnLL8s^#6d&x|HirHF(ZOd0COU+1rx~< zQi~#8xvnmilR3QS@_sma+4{=);@tb17XszE2@ISmq53uRH&6t0Yj=C_2=wv1V|;

9H9Pk-SN+h)je~pI2Slfyze1*5?^3 z)I{v^K7mMEC zM^M)%p)_jZ(5D97-2hQuaf}QUXG13A7>pk8BEiI8dT8l>iQ^%E5V0i|k9|O%$Uhm_ zR57w5CC>G;2UL2Qeie0={`g`7V(9yUX42eNof^w8d4{4A6g;6>N;|au9z=wKUYd;J zYsM8%N^zg>CdOyj2;JAFR9GsB=xDrV+4;zHSaE&f+~oKitEtv7T{9~ z?hk32CQ|-5#K^A3{Vjdz_pUPdpIB*jWM9<11n8*RD{!a~I$;t&4e>lTKva0hVGPzY-?7#A&@wM=l)WUbHC1asD=g06jF3BJx zog1^2;^A5~!aJ`$7V9Q0mgx~d9K(HfbC z){9P3fKfg?Epy|MF&n)VYt?$`LZiQ#OIm(2JB=4oTdYgY=D`KJ`n8e7}&5pQf*N#mY%I*OU=_MV*1Yf?>Id`~ShI5{yQ2-Kx>729qIFD{4KP_#_Y@_Kt(-| z>|;O5votzzyGT~QiMs!Wz!~x7GpwtszMpz(vANQJJN_1=@lfhdo_t%6i2-EJnW3*u zn#*8_2oH-^jZK+Jc|a>YxNTAxWh0M{VLL7zWH1QDrwtMyGJfvH1JjH=Cx>J2eUppS z=-1L!wG#yq^#^S#;rSqq&pf!sQczVQUo^X^XF;(DQz^Cy5RN~7#T#O1?$c8JV_9o) z7yq@)2I&ygX3vX_k5D7~9_RIqgoymyOzQG?M5|Wyd5mPKslj)0Sk&cK;H7!@!c`zr z4+YEAv$kh}N4mV+3K47uZQu*$JaZL~Smb^5N$KpZio zIIKM#?c|gAqlDsRp$%cd>c~l~0NNW~yg*gzarhLdx&XoDH_vepH87?B5HrC_@Gznv zwb#>+{`K zK6d&PYQ&v!Huh|7GC5T~<(!0md=6z>$6iQ;l2B-mFsJJzC7I< ze+!a{>tkCWFUG`w6Ia$E|2-dC@{6$tjXH~hTKEghB}K`su%ygG&#X#MPLu=XRe|@r z%A{|drg^Zj1%OpdgZfPM-J=Z?CA(y_yOTf%Bu64XVpL>C##}mRyXZA5$gCI9kectj z@xCwAAc=G;F_6crYh0IFzR^FP#j; zUZ4@337!l)Ur^O{S&fP41DrZS^(6%a}&B}^8YwjfQ5)G1~D)CjeAY2($5HrS>$`1~B za{QYZpw!xl)#~A=*qTMiSuF#e!Dz_hwU3`&Kt$5dIeMB)9 z-azCuyM2%cuPK0+sX3W{Nk}|ChK?o%eQg|hKxYN~dk7oN(P$J-4M%1jwb>f>_dk1! zfneV;0^$_QoN5n4=v2j?LjH%cqT+{`KSvD}u=RcbugzzCHhTiL^Ps|QTN037f;O5S zzYAjJ^nw@sO}0!mgjLUlfGrfK(kEquge}kAX7n^UV*>>I@BL02e;3=~#|$D(nW()f zy?pG2Gd}2kC`L?S+!|a z&3#nz$d%+RWQ)#N2E0PeMV%z|8vHD1bxAIknP?rsuykx0~)m|@}|TOgQxaS1Nml7HM`x~e<>-ytdfES~3J8cD#T zZ}jg~D&&1X)4w5982EG@*}|z;Y4TMocai3-lEx}59ECwANOGUe;iT3;Z@!J=dt~Wd zQhEN>Wz4rlnkJ%#DaI5Up81mPT2pNB#1`x`SiM*`zr?AbVLhd&Ad z66;){-B=2qp(~c@O2B7&z{g*;1nLn-<%9LmxmwqZ@elaAw|Q^?1C3d_uS|2FQ@qs{s2F-%c5}84Nf57^bo#3c^goGnnWLIo z%%x^12R0>?sZXsD)hKhPZNEKRy60$Kc*PsmmEbIW(yWVk zg9t04YHox8Q%k3{=TQN>zyGQmJ(=Y;cY}g-4FuXXTWg3%X0svr?VED59^7~>^Pg`y z!8=^~Okk>|)xwMymubJ04gW5Jzte#8fc^!qF(GCW?hA+jHR$>2X>g9`$C0a48%~D& z2j&$|Z5l4%vrSaIfk=VSn_e3e9!0hn+tix=LY~p<{$z0)Zj2A8uIDEx@ago47S!br zK3O5io zYIZkrp4YS3F7j2ow+K_;@!M}fL)&#Bfm??sJG2MWgg6fgD#|48A7oY`iuw*a6RljU z^4VratJylAV+?k{#C7+IV#^A4)Da=B<`(j_7%q}Kf9>BPR6g?TuY`{M9cQ-+j zW66&8o`0EB>wo?2y?*-JQ|&(F_x+uRwp-R9KmLb+e@keQIf#xxkjdqZKrSOJY-?-J zBgk*h$0KC_h0o4jfZvK=NXYgJACDcskiC$k`2TN_8Sjmt0OIBOe`}b)KV`kYR-|KB z2jjSGjH$G;`+N%7GUYPmpR!}nX=UT}D$^6P9oSS#`Rofw0Ky`a6pF;ckW*s-VE6sk zf#Z$H#!b*h(3IKgLwqbhe`j2PGL!wLlX#Ni6=A_ZO8`0drU)T?w2iK{I<}*YqJESP z)Ek@GL^^SaZa(S^_?`hs?6|~U9}8MUqTZx;iPzLyO*_ryAHG|pT)QG`*Sf-L%;n@I zGbxHu(Q3{IZrk4u%^xO8veC->wP3jo8a~R{HUG+gwq|RWmvV_Yo1qq~9NAr|5Zx9$ zjm+1_pF8FM&{0!L*;OrmcTOB&G@CP!>Sjou+Vjoab*IA+70 z7e?TTe-9lejniI4eX+)z8VnUCvGHU>+2T)t9+4(|@nD)7dKdn1uoX-hi@}3UvQ1+e z3HC(8hL&|=j&0&%4i%7Tav3{$D?!QtvG7yQTbY6!b`D~1!{4)Moh#8w*Lw;FvE@zK^^`HDQ z=p4i)<3)Swnq?kBnK5ROzo))4@kc)}_lV;ng36gLlZv##P)MT zq{3Ib{Z#)6vcs_v;VM#oO}`H6{<`--a`J->L|6Mz^{Uz-xpQnW|DwP4RtxLtzM4XS z8%Wi0R{T5^T#_SWkAy#K%A>)rsFHX|wdi(kw*NQ3+PP(__#xnt6VFZKZd