From 7244e71ae22d281472263c89946c7cba5e892653 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Fri, 21 Feb 2025 09:50:44 +0100 Subject: [PATCH] preklepy lol --- lokalni-existence.tex | 2 +- skripta.pdf | Bin 60622 -> 60617 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/lokalni-existence.tex b/lokalni-existence.tex index 3199bea..7101995 100644 --- a/lokalni-existence.tex +++ b/lokalni-existence.tex @@ -51,7 +51,7 @@ Teď si zadefinujeme několik pojmů, které charakterizují množiny funkcí, k Nechť funkce $x_n(t)$ jsou stejně omezené a stejně spojité na $[0, T]$. Potom z nich lze vybrat stejnoměrně konvergující posloupnost. \textit{(bez důkazu)} \end{theorem} -Následující věta nám řiká, že na nějakém okolí libovolného bodu existuje řešení zkoumané diferenciální rovnice. +Následující věta nám říká, že na nějakém okolí libovolného bodu existuje řešení zkoumané diferenciální rovnice. \begin{theorem}{\textbf{(Peano)}} \label{thm-peano} diff --git a/skripta.pdf b/skripta.pdf index 9fba8524cdfde8423c4a2c7c9a8457283beae0f9..73aea09e47b9430791ff3bab46749d20cfbbd0a1 100644 GIT binary patch delta 6572 zcmV;d8B^xY*#pVh1F%~X0Wz~(5?lj+@(i*_`9-{;5jr*JZhFz}=8@TjSG|7~f7<5G z{Ar#yt-h>MKdh!v%v*BC;+%cwoSXf8&J&BrS~uC>mcL}8)CJ#wMvfiLH%t|($OO%4 zVhLG-m>)7D`+cQpPlXc2tT0nqk}N2=^Nh~UJtM(0st#U>?2Dlgj};zP0titi9?yW}&O5&5@rDR6E?RD`4&xTj zQ=J~E>rPKiP@Tb8zj1oS@_sj-94?D2Ebn-7cWv_K2=@>RI;#C1V(pDSk+&6xeW5fB z?Y;*gExC=|H{KPyUo;w5?8m`>dO%0UzT&zJ2V@_^4B10mVeoi|?6*q>Qqq9eZOO?P zq8-x7@}b@x;~cTXyU)^CF%pXj41R4f_N$(^6TbSuvG8pq$}KPw z2rf3l2U{~i@A6gmEY&_Mf}O1e;VQup-J}Vl#r*Qtm5fy@z^=wUx;!I)foVGRk99~m zi@D2){~AN+s!qHB%d^`c=&cl21bys=)=)c{P!ZsYgesm1szQpQb9pShRD&HmPgU?* zy2sj$r`Q2NhNPR2a7`dUP{+F31iEyeL8Qjm^x!^M_aZ8qzh!uw5kUOoRr_JpqP-68 zQ>o~yROS|YeI)PiJ|C`s03n06-iJ5%qn!smU&0zFVFFj6 zL?q&5xMCpV*F|O622T=HkAciI1Lt5?V(48buUi(erk5dhVGWmm7)Yn z#adNw_fckND_=leWST<#QV%6d+XY*P0`-uAvC)Ms}5msU-J+b zxC>Aiq7UJd+xPc^L|}E`E0F;LPUn5{wx0|TjnhFMOtjZ>ZGJIbGHBwo`-H=gB~tys z$e*3}>z%j7bw^%w2L3`tW#8<*^~-71{pyGD5c!37zF3@pEV$g8iJIWhFQ(i^9M_~7 zzhnsDo`*_|i57N}n12PM|8wl^5K~4;l^?gdNp>P&L~yv{z&cJJ{?JgxdFqvYVDp1T zjgcoZ3P~{lA?_^+kDaNo5~K_b580h}52Rhl8INq=XJ92qTH-}S#G~tWk2OIjfPjv1 z(Mn*-M&C_;DXdYZj8f5J8WZu2x5N1&LX2hmCIpGk|{0} z1j`+@2m%~r5tSo52Fgkw6GuS+Apt&ctOC0-GR3`rjh=wuumlyF?0oNLLH0XwU09io z?k#!HGn%*<_MYo9$FK;pY-zu%ov@R(kuE1T)k0G7spYY;CG4wN?*IlptQvx#o3J1j z$cnm@C)q1d5DaJORrpBY^5uw0!+KsYC5E4fFcc#MO_c%vHj5zHM?>4?>fv(X4T6xk zANkpT=UG@M(yyh=+nN|Yj(6W*);V9m96UQi9MF0jAVt)UiwIKRq%(ga>XY~btm_R~a~+D`zZNc3)@ z@+D=tm09oL`0_HsZW%{be$r#6?c%Y=_prAJ_?%&S7kjG#m|;nNAbUGRbH?l1uUDe~ z)KQTeS00bLUEH=nArB|YLsVF+D0=SGLCAabPJS1#? znLOuU19NL4Q%N>2wNxAm)T+@w3t{2C_ zMqN+TsMDm{8FfbD3+d9NRiSlPem?;DO$Frlv=g5)S9&YZ&P`$js{v1b-X_Ma1GzRo zK`2r+;ez2X3X`zEYR+JUoeRF&|Iep?*=O>BG*}E@;dBS#fAit+x5L6QNR8@$Fj885 z930A#!3TtAfH7a=GLWy+D)yKE`|$h2?@9$O?w;4p5)l;GT!U*xs(tS-v=8Wj7sGZf z7F>-mftYH4=%jB|d=x~kWJ;lfnuWgE; z8eMbBrndD}PRa+;!>`X0t#jP(5iI01kp9)IP72^s(USX`b|%#AGK1atJ7BM z{2bbBq6c4KMznE=ve)9#EoVmlURw0GJKaw7)x@WIM8JOMpmr30Q;XG3eGI`q zJ}qDue=JTw;9=@nWv8H$(zA#~z$|K-9G7DspMzyaG z%z^{R=>GB?zVx#I$$)4sUeG+Zz%65|9env=OD$U}Z&Dj_@Jy=S>EIc@g^9AsnLD#; z!ktd(!qN^Cglc6My8l~GESh&-;x z6bhvE(IB#93l3PvDW*VF0*Z5g^+HI|PXdD+B&+hVI(dr|yWo3nPazVgcG%O3&-0ZD zw40`p2>y}m{($K&vBN}N)~cp3@&o7nb_LY%0PL2lJ5W1z;7}uf#jWZ3{}1H(@mtfr zIw>jCc`6w^1TMGx6v-}=Z)rX6JI(n3DtXAmr|#ey(?&<9x)usODL6@v#Ym22dj{jT zW98PKq*~b?Al(lTrpEdf* z$FuU`x_bDF%x&R+lEio81PsC)FxkXQR%zqjs!>c&9))o=9;I}U?|Q_!3F9hm~H0=N5XW}5o)QzKJEPzwr~JTaQ}QmtMN za1f+ZQix^m5HmP0p&==0my**m-Q_t9?Pm!jrPuIN3Jr}`1(-g9#m$CPtw zdfma(<|O~N&fVAjGGrMh4w88xckPTTV7MpRm;LsCF*D50uITrRVSsLdgqb)Vj*!3w z5sk7Epd-%K+G2+8@`VV!pT#Y(dqi_345h1nTk}iDVb6)zy^Cb%#{I%J{`6x{;O!8| zT(hd%O80BFI)hU1#a{myDhp;_S$L?SxV&ViW7wm=Y`R%1cMouA}9qY}jm+&gD`jwT=d2FftqO6bZ{VLR6s;0XN z_4fTl>$`~x3tsVVqI}2JyA`IDm)cY>X;hJa5+bOxigbRu^VEv>&Bw0qh}m^eb=ct5 z#9y75_o)jk@maoCSDs!#FgoC!+;ApWXSLV&0y6hq2&Q+7_4PmIv25_o9XbR;-a_rBBU3C zWMC!0{veT$Q3jS+3|M#h(!J6=9wHQVdvCkEzgGtN$eOlm?k`_lbKRI1bIdUG+x-G6 z`4ED=xMsmqA?V$b>(xtl%KMXGRQHr9YL_qVwp($3dAH(oD@-h}AY_6ScH%_XYO22D zk5wps_YeOET*i^Xv&kYXy?+39_+26XAOAIyjJJ2iaE~c5jS@$_vdzk$jk-ntep0-> zFOlKH7LMt3)}~>z)+u?CxigR$fP+ri>5pz1b^wm^P$uRd8+7HW{xQ5$Z1Yik&_`He z8l}JKj6H#UUedq$QGfL(7(QeWvng1lB5v zrO@HPH-BcPRi0KJJ=exJDT1{ov0&**MkH!R8(0?&e-LvlxrO?$XUy+posbtUt|Q+; z{s;(aPI$(f+6d1iI56+0`avGuXkDc1aY{FP(6H4|LBpFGuAcYkY$zFp@c$8%_iy(_wL~}EX(4UrXpl}y? zH?TUnlFlFlF3Mc+2r7p2^iO&XY2H|YyN!g z;D7j#uBk)h`<+R_y~nTjjz53+<@D@)H0TVGN1qqB_x;Y8hF^S}l*Qn9cr)U&#BFa< zj=$~fbw^i4BY#T|>UzW5o#QS}4!!bQ1Cs9U`o)0G6$0llnjdGx>v8W6`98nHp)~sN zBhJ$z|HvZgnP9r@nmn&t|^(pi)1yMHp;`~q5iz?lrm_}%NGcl#xc+57YMW3P+j z1XegtwND3-U7RbkT@@U^;(!)dp!qS9_}=y2@U~xMB0uVPZYP<;yx(wqeSxfhIGPkM z#O$9HwSO1DFm4awrFWHD2+ zI9nr&tB^(4$O7kpEP~$r86t~+O0ulQuSynECyU#HEbHdqmMs1OS>*O)IsSCC_woHq zned!k@ylF^Kf@L8)^a7NDp!!)?0+iky3)|Q=%)@WYv8L=CDf>*#Wrze_4L~^B|cz^ z+MX$w|GIpAemc{|JtI@5Z+aF?Nzdhelqo^4V~TU8!W1hlF@;~NKRr{{!B=65R&}PB zEts-q`fZsa*n8@E$#tZ%=T>AJ9&NZ`J}QR?vMK2=b*}RW^3fnPz7g|wQ&Vm zZ-pzKcA!8nv+4B^7`mD($|-5ZTEc`!2(uc(3R_G)xi#A)w<{;#mMZFDV6od%<-_5J zSC{7%;yx2q%yM39ek!k((toU_imoLqfs+;bDWqVk=qIPjY6z=Tsi(GPo78sY~|Qj z@UKI{G3A2;1!{b#I&)W=rkJO*YU)}qDtyp%&Y@qv(l1=S743?nLVpTpWCt9zlXr`L z*~yE$Nv}T|%DmqhTy^Ky`5jiksGDDp27^xCFD8@xmR{5qP&_}*Px7<;U4EH&@~ga? z-{ix5oKNyH|C(d1%&AiYXj5-QQT0ZYOWqI*XPB_?#k&uem!~HXb@97@=nD4(t`Kua zi1l8eJ^rB=C@+lkyMIdh8Kw`a>V>H4UKsR-_mjLc9*_PSlM4CWxHl*&AXY8g7(-pd z&@3~$0%Ft)5P#cyb#n4MM4hkVvwvzni$xAKOMa@)cVkfMiag1$4mYEYTUX0qbT{NX@8w>tH58yWMlYU4Sv6# z!czDJ{BPc#?VZ16Pp`s1JR6C{DiY(gy&L&=$@F^1+nNKyDiWuVLDGtG(dD3#V7?oV z&^NiiniOS~>P6a7^DAVk_;#=Q72s=VY>a%YA}@tlf*vRRIrgZ}p+9-|>GbW{FJ~9~ zXRDx(n?rBE2YbEFZT}KeBj9bFx)!vtUF(jD`W07Tu3jM!v!|OI&e!{-3f1B)kR-5Z*wqh9Za_b zrqK&9Z6yaf`h582^#w(k6;R6O3c7w(&{ckhqEZi0^nY~}IkZmtoynJ4fUWNT3(K}k z+Yk1RE4t51scn{Gw@!_Tiy_KtXyu@4uY zdafN8G=F&*!f@ib5YS!z{7HpWcW!@pb(|Df#3Wc$@`XRlB8 zX{0p*v{j?&% zaAs4`#K!4`UlrdCMIB1&j0Id?)!|wS@I54Qw_W2-zbw91H^-VO+r{<6!{c8+eq1{4 zKU-|K%dZ9OPrVk1Zv8Wv`fCBicKT%m&Yko>lo|is*sh#X()`flna3cl_}12671(WF z6+9wh+c<9?#(6o5^Zy0k@S@d|@lX?!QR*5(GBY)1HDY2nHa9aiHDzQuVKHSmVK!ki zFl9C|GhsF`K0GorHD)zpVmCH7Gd4A4WI16mWjJ9rVKXpgHZe0{HZYT|>PLSuK0XR_ zbaG{3Z3=kWEzmhnRACr~;qMt2L_rW&#EoHb#t}r^MG!${Kt{v`6hV;1aUBhbP+15a ziV3v|g^7h$1{)gq4cJL#Wr6>}4DX$Hnk&zJmV7xUgpkcfLSd+d8aN79p#|FD8gxJs zQg8!;RwqJW32wnng(ANefjEEMfo|x5yU+^{;2{jaAUuWrHo{9q-uXeB zAOUY61Dhcawy31upUa0mPz1%W14>{k?1Wvg8}`Fq*arKc6rxZD2cQ5B!XY>eN1z-E zVLMbn6;#4;sD>CEQ}nm})5>Y1I&H-Ajd;>Xd@*X`M(r>Em=mhYST=u7de*7whh_7B z&y#8ywQOtktXJ~0WoOj$lv3T6T|Yff%POcR<#|TEGnRc{js8Wyc2)y_EeCU_ozoC^ zhclk%H8O8GHsjf zqrPQ*-PZTFzM8a96#Z6D@u8)vT3-uh&|c_jN_9rM~V%AN0c`7=mFK eg=g>rUg@9xt94>kPLz|T>>vm+3MC~)PeuyC5ARq2 delta 6581 zcmV;m8A|5K*#pkm1F%~X0X4H+5?lj+G7n{u@{4#wBXnxc-Snc{%_Fl5uX_I~{GsSCaVjT}3gZf(e?_ z#1gUuF+XHR_WMfHo(d(3Sz)HKBw2tM?ku6J@e!?&-x5E<{u#xA7lQ0`jc#^-jM}S( zorZ^*dq%5#=NX-ydq#q1R2{q$*%w109xFVo1Q4Q3Je~o`op*fA;|&pDT(sO=9mXx5 zr#d}S*PWi4pgM!Ge&h6t<^66vIb0T5Sl;pE?%L$d5$+)tbX5C2#M&EuB5x}W`$B0N z+I9H&q@)3_+me$p z$_soQDl&Qr+Pb($MLVRE{mT+Cw%pRW8vFKlv`jV z5L|4854L84-sP+AS*m?j1Up*`!c~GHx=9m8i}~fPD;cX+fL)Dyba_U90@HNrAM22C z7IT*o|22ltRh@VNmS?v?&|4|42>RF!t)X@@p(4N)2~|83RD~2p=ki#1sRlcCo~q!r zbdR+gPq71l3`sX3;hI2zppJF533TZ`gGi0B>A`)j?nP8If6MSVBY^nFtM`LCzJxVU#zM@ZVl-zklKym#Mw_4CAW=pz zjX`@CojC?XBj_l}SjCx1A{*Yxs4wA~f+1`0Rj~~a_;E#eryjzcdIZHKgCqE76L=RH zr>C1R5Rr(J;fjHbUl)~O8$3x+Jq9w<44i{miJ^C$ylz>k!cF`OFfhb-TEq=@2TK}o+$ckQN>1XfG>bQa8* zcp)$si)WH;yAU$Fu!zo>*MglK;>0c#Y=Ea+T}^L}H>zRAxFpgd<}HW1i_mGYOf5wJ zaDTKm%rlxyTE~ljxCeR=0FMOv>_g8h$n2_@xXD9kNG>TKMUenkG(~%phtTX6tU83j zea%B$;4VO6h(3f*Zr|Sv5`oo$uS5n2IGy*&+kP@YG)@P3FwtJiwfV(#$)JhT?h_6} zmPqvjBY$?@uXo-S*ByD$8Tbnom3_1K)-R`3_p2YqL*y5K-uYs2vfy%WCTfC1znF3x zaa@yT{E{Jndmbt=CR*4@V*VA3{?DSXc35-wx-C2r-&bylJ}UZ|}!BZx}QlRW64$ zNv60^5G;4pA_#DhMO2RL7$_@!OdJIPgar7&u?p;e%E%P=HhKbr!xB_zvh%&01=;V! zbzx;Ty0_#(&uHRe*n6(a9K#~WvZej5cEV2DM!KBXR0~PPr!po@B2;K`@-9SK%Xp%al zHwZ$1;(p|3pJ!p6NWYdcZ);-sINp7KS^F#)bOSUmVi8_vp@+Pcb`0AYO9?_#1ej9a z6^5VeT7EHX?jNbcyr?rc{aC zvP+dz8g)HUqfV1*XVe*qFQiM8R)yAG`TYRoHx-cI(@uQKTVW1ffXPgbRklC``issyTxZb}smTYX3iWl5p+iviGBI}>Y zhtD6bw1MpD0FAm+Iw^pc2|E#qSmMre7`{8PUce%3g~{x11UIduh?%?sPlRR}-J=5dr&uorBs@Of6PB z^)Uqd__Tmsl$Xf+dRibXY(xAxEAZY~0lSb?n9s8Ud-$Rj#hT)E_`-x;DvyBc$SjaW z8r8l&FbfVKqx;Kq_|ne;Bm<(kctP{r0=JB(T`EvsS)cE3x6I+u5f|j>?1JyPJ%vb|+F?&C zKF?Ps&~BPWBKSwL`va!C#10d6S*x1D$Pb+N+Z9m51F&1J?m+E-*nvZh6t|}9|38rD z$8Syh>ZGJl=c#1y5V+j#QzW}gzNPiN?=RKrDq~Ihu79%;9 z?HP>Uj+I+`j@u*hluyLDnjxOnSjm_wRll7a+0cuFEY1x$-~AuSMA zWv-)8z(J5sNgNbeHEaw4WuAlwQM6DKs=%6)+>;{xSnIpiv7D zzMB{kmgCj0vLWA0+dmW0OY%sri|C8hTvs9GSX6Rw%xQXHkO zfO@K<@==%a6qn2(KBo0I(8I(J|9%aCQ5I7sG&+_f{VfZ?8hXkYf*$ILK0yQ1GOh5@<-5@zCf zI6?v!L^R4ufQ~p@Yl|7W%NHW_eipaD?h(zEFqE$PZOtzohdn1=_b!s58}|#__|uO) zfww~-bIq!5E8VZz>I_Q37km9W}r<-L9kF0K5bs zA$hUU0^<-`t9EQ`1e=dq>oi?Tkt_p4BQ zshaL8)Z6zHt?wo(EO^DciSiv=?^c*rUTRZ+y`)h^N{FD&D$@Ds&QmMiHy^vcBWBk@ z)nS8I6MuDL-ls0G#Ao?lU3q!|!RUZ@a>JQioz-673&`AeA(-AR*4O`-(;CPpfWW+c z0Z)HVZY9Vm54z=5IfkYuxfA3MZdAT^ed}0#HBCD$ONC^qF(7AU+6zalerVt@)#5dO zb-1aVwk@xCtcT4{>!*+TGrgX!sd;wNRtj4&zzR!8q#Tc4YzQfb-d{GbnGR1XE_!<} zLV7Vs237*>4-)wpWnhWLfOVHI-7C%GAwp5N_qNOXdu5Q1tZBRE{_@2&*Nu5G#|%Ti z-7lb$40lLMB*YCr*T| zrs_NXScT$u|L}hi4Uxc;aU>J7*&-Ree_(=?yF&aw{%a%|Z|{oX9#di(C60P!o0UHs zb&LG{q?^!A@L3;vS+ zQ>SinUtQ|54v2@}pTcd;x}W_hPC`U-75=(MjI}yGx%_CKW==2MT+6h|Br$z%jdij5 zr43UAO$G-t-gq)z`Id{it!)c?e{0)lY`U&(JYQMCSJq;bYdhCMIBUDWS6=azH?2U0 zqgiNsZU+HaX)(rjuq|!rIAPk+QME0FY*CLCE|pTXOt2_JDplZiB`k|pR&uGeXK|!3 zMqo*6!+Mj#IIbw{@$~idFw_{ zhG9x8LW}N$CsDeop%xz1x)qdT2jM=lmxreU04vKzMa$MW$)2Gr7z0GT=lg<5Mc_Vo z!$?vbN=S_|axZyDO^)KF$zsirY7r6J2A>z4prnNda7xy zW5wy|Bs~kpm!1w&GZ{kuf;W+OYT@`k3w=cL84hS#>*TjUe#02Hlpaef@_Zl?M!1n4 zxU*!;3*XJ+r6V`dG}t=uO->BVNNft+6HRg+owPA(cIRv|cB19Ye+YFRhtjpubx68M zY&Ap%Wm|j?xlc?TjdmRMxt$qJ*EY2$0))1Skuc4YcLAX$y;LFu^uq$?`u8nU}1Zz!V!P1kANYsorur3<@Am&(d3-w{onBU1d zAun89N4|sn5fIdz@QgRL5uQnKVBSylgJM`Yq&N|f3QLck;98r_LL6C@TDc{1i%V9K z@{q#3^8_aKaqM#`T!6~-qQxo36eOUp1H-8_BGQ*_!|k-}e?T2VTtv1`YsI00MDZ%r zKE*^Q*b~N?X>4?9HDW>@JGG73gt5#flDl>c&>2dkV&rj=MNH^vZ7yNV>c07Xvz12%N)cew-1n$Gtn` z`}_`v(&)pFI8TfGBfl)FpDyZm@IajwjERdD=@16p8#=Eq3ld)Irz+kTOW{HWi#on#L4e#7zg z1+xC(Xi~fovwv39{=J;qMkj~$_|b@?Ucb=vnkF5xfM|ikrcx`+p1Wy7|Lo3S-+i6` zI=mirf8mO}(v|@0cA&(F4tD8Km|u?G4|^D00I|okSWTAw&&MCmKF^g=&qx-fm&sx` zB#Wz(#Z1ZKY>h0gLKa;k3!DS82zv8ph%Ejo$+8x|Dp^dOEN%<3tebyZviJvNk=v8y z_|wte$M-X3!gF%PFLNdS3|G8c%ax$2TtRZPf2*+TN<;6WpE|Itfv-xHP@{?#+r*XC z({Ia^_<$*Dd!}6e>+<#a=}Z^*j7*un=~*x(J(v4YrUbo?DbAS+Q>?Va6n?G#^h{X? zUxg`J)tO?pV9J{5w`Gcy52&KIr^@fYzJLGrU>@Pbb8^KlbH)GE4iwi$6%(sbMN_&$ zf4{&n(m(kQv=+ZASzMhgVGFXXn}2JzxCd-8+p}fwZs;Gy7 z#cofP4~HLKU7lBn`%F|Z%XzK&sk~N7f3ubbscXHc@Ili#hkp4=zi{<~!o}NI|#qa*1 zE8GvbLd+c@)_Z~W_=jGgyfD)5e=6x`m_Deg7ow_rVbB}iPx8)qJo;-)D&%+L-k_*} zShZ|p40R1dv&`rUh*2*<{B7^m$;s~!b-s$v{;Bya7CF=``KdnNnK4nfUlvkG4ipBycA*ydYts<*rPs&{^Z@K z)3;~8oL%gnt%5#o4!!*zfAnG*^(yPJY3v#$GNtL4=&HtgDP$e>^9ouu12#oV3RQEZZ(^KiE6E_|j%%jhHib`5vf8!f6t>CXak#FnJ}K63x)t>gKfgNJ zJK{~oK3sh2xprL8f8=2Z!-;n{;xL5+6>|3|Yl~0H6+3QasZ|Zx7&BQ9|8hC}gR(1= z?N`5@y*}Beb-e;K{ag_%tcqB2mL_Th`Q?Zum*PH!sS0KlGd72;9^|FlFu{0pe0gy3 zFUb1!(~1PcnN2|x8>bh3ReU!TbttJb7I1l0hifUo_mIflU5-2bviMrv9BZa*7uOFD zkAMC6ap}1KY_Z)gzZS4R^;#gh_0MGLuLTg>>6Z~Wchdh*X8dKa03H8C}2IAdgCIAu6vH8wF} zFf=wYGC4RfIbvluGcYqgJZ3d9HD)+tWMMdEIAb+7F<~$?HZn3fI50V4Wj8Z0Gn1<7 zM}IRuJ_>Vma%Ev{3V7Nr(#{!Z zjcM9l#Y1gVT{s(>E^SztbeBS3_&YUwRgs{CG2{|DFWpEK1 zp&pvyF5HI}Xopq^+L#T2CFq0)3b}qP0)Hj&2)dvLx}g`I!ZR3vL3jZpkb+Ujg4Zw( zJK&8XAN@f)Ar4b83A``8YU$+;IK`tDGLy!mi;4mD4qmU2BVLzOJlTZk!pa8Pr zG@OC6a1PEx4jh0BPy|sZg<^=oB^Ca$ZyNn<6ptIRY@?*rh<`WAN{z(2zszNoPk&q1 ze()?;-A~J8@Vuh>lx1_1XN6k6S+*5W5q z@XvBE^R#LWadvpx^SVYBEl1Oy4N7Hxff~(x^3|l7Enhb@7xi^db6