From dd774bdaa6e57d042529777f3feed1604fc11f11 Mon Sep 17 00:00:00 2001 From: jakobus2205 <61044581+jakobus2205@users.noreply.github.com> Date: Wed, 8 Jul 2020 19:02:23 +0200 Subject: [PATCH] fixed a critical error in a definition --- ana19.tex | 2 +- analysisII.pdf | Bin 1062199 -> 1062206 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/ana19.tex b/ana19.tex index 9f0cd17..1f8dead 100644 --- a/ana19.tex +++ b/ana19.tex @@ -17,7 +17,7 @@ \begin{definition}[Monotone AWA] Die Funktion $f(t,x)$ heißt \underline{stark monoton} falls ein $\lambda > 0$ existiert, sodass für alle $(t,x), (t,y) \in D$ gilt: \[ - \left( f(t,x) - f(t,y), x-y \right) \geq \lambda \norm{x-y}^{2} + -\left( f(t,x) - f(t,y), x-y \right) \geq \lambda \norm{x-y}^{2} \] \end{definition} diff --git a/analysisII.pdf b/analysisII.pdf index 5c41f33e9014991744010b7204d273f05ca76a5d..3c95f8cc7e75ec46507e42c31ee175c2662267aa 100644 GIT binary patch delta 22312 zcmai62Xv12_s>yT+lo+)~ zW6z&ah66|cYK(8m`9jrm{(YqFz>LeF+O)2 zyUP*oPrNI8-0c*Rr-@Gmt3c%j&8~dD*7?TO!GGKjoH0atJac%%iTnMwM+~Y{?c=+I zxpk%`yn8>b`RR(GFHW8PZQ+`~x^_?#+V%QnMP%f+k-;63r^_oxSFKnvdZFI>kWzDH z`yZmO?|J{}()sUe%<0`YIr-tj?%Sf9ulnh~2OUSXIv+dZhtT_X-riqW$NJQ2*^!uK z5j&gsV?MaA zYMC{1Y3KeuI)~*tSSR@UqHBHqs{HTr&OckOTd?Gl?;GRidn4E0JNK~j!4nPtp7g%- z-c@Lk1XtetI?Jg z9sgWVWNGjx-*G*1-Tvmq=lyei{$4n1c%ueM-h0;UakPqQRo&b?s9lXdeJB33dd1~) zS-Mugw#_ozb{q3+(ubg%HQdgPUs-GDr9Oq;`~JE9Zouk`le*+tUDy3)zBbm|;-jk+ zj2V=p$gB7~bsy($`^s%rg^~NepL%TR*t(nIX2liw_)CvgQCk9j`uWu2vxH0BTMA24@-`BD#IBHGW^;^{Q&*QC<8{F&cm|LUYtr-#dZ|vCKy==D~ zp}9Ba2``|2_k8e>zN5ECw=SBio!6{_ksX`7Y1nMV=4>+pqnhU^vg2yo5@(M*32B{B zZhFhkc}si7&zl|;es;g;pmp)nU<`Y}`ACYf|Y%5ju!;s-&C4KLedopc& zfq^d)E}iXKcG1#5Hl6nMy7OXr$YkqdP_>X+a*GjTmDzv5QD?xA0W3=lucwM7C7u*;^)Xx z?JkEUtY~yMxciN(`Dazj*R0W}-raV!8?=7*`0;H|jB3_2$NiI=`e^&UUgI<3YV~)) z(q+$`=fC~>Wqg&n2d$CSKE4_=`SZYm_ac_ZzpgTF@NWOvjzTX3|2p5{?t`1Ji*4NV zY;Dr7OB$Ex8hL-yy8)qxtzTwT?&|mC`t_}T8~#}~Ax{za18xrvom`R_+Ge#dQ5(N! z^^7*1=6|T^71qA{)!tdo9`^HX@a*!ue|mfDY@BP$)}^^O#_hV^p;lon$EBdN$K~YE z_?)rT8u)(p`QB^lxzB?W-yi$>?e@pji*#z`_-Ag&k>-(i&kq=t+cR;^!hGHG>mm89 zfw!LB>DW<95Y;TQTC93rw@Nn75=Y>1Ry}LH? zz?8KYtYO`@Eo|a7dBjlw>7`ERE-=pUb zezE-RvsdkW#E%`{zNy@IPxgYB9v3t3KJq^C^vKWKyazpbGq>>Xgfob{gH9sH7j&J&U5IbON(cIC|*BGjo;Z&$kOvjK2dJL&6c?)_j`G!+VZ?Ln>VaDU%Po>@6T0oCYwXcJpS`t-D-bM9$sTZ zyYY$fTaDiR&o?~~Tjra-MYDffuI}i`XSR>AjKfd6c_>9RE4T6}C@SP*pFT_8M1?Gy zd8X4Kxy07^P2YV}-hasHr=HP0mj^U|RVX+%@6N=<#p_vs_8vZF{p9K49df95rE0Yg*BtKiZd7#bv2h9Rp&@NIevF*^d#(bt z%36QOI}5CuoVVKT!RwdFU905!bf$K*(l=`DYu{zx%(o>UoV*xNvfZ#bj;94r#NXR; zZcM$2Grjh^H~lr~?41zDFaKt(J+W-o0Ugdne^`Dpd6Cz)7Ey;b%&p)(^3Bq%x!ao& z3^!UN<7LCLJ2! zn=R==z>|3;K3om|d-SKpRpUB@AKs9)?EG@!2TwmQ_k7PER>_mki)3qcr|W^K6Z7;H zR-f9lGjdmt#)l^)#jjnT^wotzYo8s7IWRM<{EIA;iP^r!LuO`cvWb9Lg%#%*`S zZ+8z|_5Dik8p{q8?^5P`XugsQJ1n;IRQGCnYzYs>khEeLiGN zrIw3xCog{ZcHdex=Gz{o;dx}s13o#-{zg0Z$!ek`zpBQ zOq`~^iMNtFF5cCt<591{{#{#tbZhMOq1~+4iF0!XP93)CT+3HEV+OV!kkFw;==$&m z^QP=*-7s7GosOPohgd7hzY6GlEIH=(&b?hrCVu`t(5f4lRPOiPpBjAU6QXVjesJ)` zHy+lm!Jq%Rv8(OcEH{dGSeU0?;3BuEw^d8}bqwykz0U1`E4eFOv?h$(erW{p|j{9rdz(s9b(`mUjNWi+dd1wPj`2wdV7{ zVvic0i21?IvvHO~HyY$TG_Bgxr3){Wu37X=SbMQ`{_cMFmj87*X5-4BIU@>hI<&{H zUh=9Z;@q${KJy0lsCm*e@nXsUvW_fS=-r#)Q3c=4>3=*dwBp0n5BfIi-0sBwi_!Xp z(Dkv^-C9_yuLKzzro_6owIcJ4KKI`WweJ}UMb?|nL$%4A7A0tqUD@ zlI?bPt=OYq-RRFAML&NNk;gMz{;3n&`QVogzwG#ZgJj6XIx5nou<4gLp=xHtX$&u*(=$qnXhvjT=BVHy3$fBNM?rV|C8F_iN4J7H zV}@uNdhEgFj$ZB_k`_^Ag`@iy7Bo#IV)Y8g3=dh1^;_w<=jov+u?1H&&_A$G_y$A6wU$iS11K3Tm~LC|6^pLZI|Eh{EsZ>%FU8nM`Dw>HK z6?x*QV2Oe&v#^Gu6Zr*AmC1=ggP^gwxCv$~akN2UHc29L6+NO=O2LHP?;p^-NK; z*g&W@W0xt(Y-3Yq>{m@i;^P#9iiB!9b;NQSRn^o)`o@}UGWKhVKov~Y6p7k5&|n@j zvl=(nWLCbMZLkbz%m`-%kG{$P&gzCGh8=^qDrRy-obUj629JFAa73XQvH`Yy&zMZa{I%BIL zD2!XC#>}m5DttXd*04t&7xu$o$`Rr#N4^#maKNbP%mo04QHu=Fo_c6UaE#5cD*4%WyV0ra;jg1{&;b@wC*knWh2nNv{ZJ zOrOyZC0Bz5VaH@c`@%q``-UiUKw#(@lA9(ghNvi1&!US5qu1r5I?EfvN$2 zO>T$D>K8UKnYtO0s1x>Mu9AM33}<6Vl0*io2AmvuPfSjcQWqh`IObRk;2v^0%*7@y zT!6CyUYA{oHVrT3GSGe|k?AVN*(yU01Ko0^VXnZOjUgcjpw7mSC4or4X+l}aO;n82 zI8Eh;hL!!oI44eUIvYaNp0wz})-b0}3ZhmMVRMG!=Z5+MuYC8 z)6$%cJ(+nlL*=&IP(|v1Fjrt;6$;C5tTHTUTBc?S>^<$MA^n8uMg>eDvH*|3sRiD)7KlCz-@qru-0`GY^?ETf)EdhAvRfU@pRY*Ndozr3;+Z5G1BLF!N5KNq-UqIDDKgaGFUus2X@V zdz{Vx4E7reH=~B`G#2T=)G&}Vpf@o^>J?QC<37R_3#Pn32EwS51x5YOiN4+DLneb znrZRLx+G;jVafq@l{yZX6d(|~AQE!KNT~oDH2VjduBARx2L40LDRLHquhjMf_p$&J z4xWb8$lVE4;6RgIp&s}TqDK8TXa@Cm$l*aUU2hDULj4A48jYS|R|UQYz!2__b7lx3 z2CA+nv=1mjq3AdO6{51p%K&WCaY%C#4r&72ahm3+>Cz7(l09@XTr^uym9#~_=FVqv zhO0OeTY)86Gzh#a2)C~YohMcVG^Wg;scA7+hU9=~&}0l^4)F^#nP%@WPNUvK6AQ)CDl7kBs$ z8hasOCQ|bSnw-uVXXF54`kOdyDQG$kW3Veq4CHo*$0+Q@I4;JbEE9dSa19s-`cBYC z_MYGi#ljkBG{^@Hu_ZmA!jb`+h*uXQ&Uxm}3sXeL1LV=?0%S}xcNq+dh+5;wXCc2Q zQ=AAIOJLeG8he7qvTB-$Tr|4^GJK2%WvA#{1MH#j4>T6cf~GM=7Y&n3AKWqH1w`EG zq0`W}hB5_vAlqP4=ECE%n;>4JSv5pH48egWQ@5d6NMrF$Ai7jcCG1R%qa81E8h;Xd z7-hdCr-Tf)_s@(5>pU4 zXm~tIL-50C%)M)HVKm_d8gKwz5Ash#bq(17qUqoQ94d8U5>l*eL7f!@;X@RDIXxBr z+5C4pKv*5-F(hO$oYI;K`!)Ch7YK(nK+~B!gwtj&4QaH@<}T&^H3=AwNjj24^u{uB zRrD~BqfGCa`gAhNv3xGz8ezXI+SwOIWECz=hOuND!^~2tmPM9%0TShE3{0I0q;P*H z`{7ueDfqNN$Brm5!d8+@<6tnU+R2#AZY(P_V+tYCU6Lm@|3O4FKsSLGp}ERtAOwKu8Bx&UZqcgchZdMAm5} zra?Iw;2A%lWkr0ZdTp#XW9H3Q^fx{Z=0jYsX`8Xsq(o=Z9N1!IOPl_`S z^qo}rcdFYeD#3IU)TJ3`pmmHh$ZR@;;&1Wct>Ge`#lQr87RL$;LBSm6uf>^f13|H&||CC8 zsr<&MX0QXIAVk+gXhAc)$cq^kQ#-rHOu2v(IMa7jTp2d7V-?D3yPioef)ZjHTF!+3 z5au(1L*|3|17H`Y`%H)FNCdO+%urcZ2F$AIsyX1l23Wz&Eqoon9b!~=lP@?T6yzCD zG0;FqpUFURmF3WoyGzfEIt9}}R)pFGly5S;Sekqo;3`!yKvr5((Cq3>+C?((pMm5z zRXdDh00dTn!7IZq*Af9n&klQcGzSp>0{jPS%LEQQV0w)55_=NUPQcNP;n*mvQK{jF zkq}!`{0B$L%q?OSX3fwa#r%QYpBN2hh0>rAj0-TV)F7cCjG!jP|74h8bXYJDf$|NL zV3cpZFb@8h9tKet;}%%sq^09OSWIesu!BI^4;mtP*G)hJ^kg(#kJ6AICkNCmJIBZe zB2Z$J;Zzw7WpGMEdl9Fpl!L$|y8R?6{7*MDsO_OjL>H7LnvBFafIT)&r||(m4pyY& zl*}dJRQ!j5$P=)ECM|p-wJcGA1C8}2gNBkkT@RR?(JUY?BEj(ZEPDkSj4)jgy)kS- zpci6Ap%3tZbgtbA1DehM4EEcFVmi?NPJqztvIud}cJs&=#<3n%Kt~~SiYDd#L1d*~ z&`>j=8v}Q;!vH6;!^kWPY8S(37zY}JnNH&(x z0YU{1Wfa;;hvFJ@+o0*p1|ZSrnw$Xt5fQNp2WZGT(8Hi{f*sIK5YureA8;DN6*^84 zG>b~BgobMRcBqa}3N; zaRz&^141EO4`YG-b{8>O5UB*3wM6q7YySsLWd}t5lm;t^TVc=W9(HRf!GCD}bEZa} zb^)-CqFc0@BY2_zp2E+7@}^attq4`pPXNjmP!j1Lkt6n>)zn`;hoC(P<0 z6;Ja47ElG^RC*H>L#YHKWMkL>B|i#Uf%H&tq3Z#sP#Rj3@FXezC&L6oBPi5H=@`05 z7KAIIDL1rPrW=(^>)GWlIv0+}DQ{``4=HWd*aRBBtfG^7ao=VtjTt~gmVnMh@se^C z`48k;*+AA-kCcPR{5wDsv-2<&G?9t9Xt|?%K<_|H;lESTk?Lcf4Rr>FkPwygacH=s z8lj*h&u9QS84fEA{~_{c<`Km+8m;Imny8&`mm2kgmj2CT#=9dwNdiqlS49qPRSUwE zahjBp8U}(7gk8vMF!Ta_V3Lm9eui+R9}u>ha>4$v$KKcGzmxp{)eJ5p>&xCwg@d8$ zr1F#-JPx`g=|xbn$}~6S{V`DE3j$qHX~kD@G=+-qXbt88?KD1{3(aO+)h+Jrkl`gx z0&j=tjDiw;l)xn2Zce9aXSe4vnMu#C;r_d587vaB z{m7HJbXeH@2aaOR?x3-+qYOAZ>e=jXTj-OZ1rieC`tG3V^w7v4$ri3Y{Ee9Qs?Rtw6lS5?biAL+YH&MNf%g5rIPvi4_q+ z%lI}hE#rwc2mTEbJSEk4Bzk{j+cf%*71%Vp5@OpwrwO)+G}5tYNC47} zS)vN#;B#Ex*ruVYgw4$qZ=~Wsd!SC-tWEpE?NGvHTu_imrkkK=(bcA4Jw+psT!jAz zzGAmSY{wSN6f`*B(*_K5W2b3NcWl@gUnaBXgyw*j!v8e=v60+vX^+#n%pgt3Sd9)_ zb`i8ZrpkvC|6xJ2fbfB|Z{8k9)2g7ck0)&!fFiw!9hhgPq5gt_XnD*`Org<+WP2R# z1+{7TSd7j^QH*f`rh;)5sauPwiTx=pTM(H8MuQDzG+Ktm0Z{0tmf*+r1EbmdkJdot?aY%=}&+8&2b*CG}ux$B1n)>8t4grFcn zsUM&=2tWgVpsEBK4FUqq0HvN;uXd?g|L>5_rE1sCK6F^fkYS^S^z4=0P7dJTcgkMA Ke1qme+5ZpCXP+bh delta 21464 zcmai62YAir_m`W9B*;x{V#MC^-9xR!s8JD{Y7w!kYHzL)G-wIcuTW|grD}^!?5%3A zwklDgKQk0H{-1B<-ni%FdH#K#`?Sx=JI;IFGe773c29b}T32tY)L0Pn2&C+1OSqwtm{ReK#-n{H{mRy%{aPEou}F zh`4_DQLZtKN(|^ZY(wJE(3$~n$B%74YUTD-mp{99yHQfpZZG4m-x@#v_r&?l)(sDg zDBISVKK1#yrY8fY#B1|i(UtR6Z8`H!aHo{3OM`;*6i?RHU&K96G-s4L_SUyyU8wP`4)^Ox~NLvG1tICwnaW^iEvr(rTbh1~O3-#0~k+1tSTyww4iDEt0+!|N^C*PN0 z*Y@wb^<6^6ZX>Eqx)<4{f8&nnPhKU}dYC8u^pwMIeO=?0`@cF`XV0pHs-0VnKe7Mo zuf9C?IC52^n0Dve96E69hqRPM(VrV#LxqnA^sj!StT}XJg-St_>xjLN4(c?rLDSbec@Jy%+n2?fRs9F%b{H0XH6ZcB&E=ymu&=g4-?)6xU>3MZRf z5A~^fJ$25eWqTV{kq5S4C(_YW;k^ly{6FlP zFEZ)TuoHo;@>?5g9;*0FvmReBDSO6md6OQaDlSOzA0KvLW5;7-Yu|1BN#0*RiM}wS zs4FCK+oP^=TdVzf@L8j#b5bgq;`&FYr+hW$iTwR{`>hy9ROO`R<8s$u7qY5T#*DPo zq1)G;N=r}5v#C|N%4)Nyq~o*4`}}TBf7WMri+bH={}Vgt%O(#?Nxv?N~9`^PyGi@J1!g~Xg)C_nJh_HmU`MOj?LzL2 z7(ZxY*FO0x46iVE(pM7(w-z>jWR!pLeZt*tyO(GV$H&!gnWFfeyl&~0SI=gYxjZmA zb<(lk&dbsI)02hQ)CzigV?)Nddj;R@+@92>f1yijo*(*Ox>DzpleufR_-yW)sh0+? zdc1#5wBAS9&cR|CH<*dYJTt_4y)t3T}fz{^$4%{zKVt$LO|?z2bTFALqn8dg2C z{7FIm`o;pWugZQBTDS><_+=q=_Z3+iHmh!)20h}pl)K{>b7pt3v0=}v4?MoU zRE=i+(gTwUl`oPKv!Z43@EMT{CUl&8ZAZ`hN0pkpeQs3l{c_K|k?YrQS^JrEq}PzA zw@2sp51ak*+p`I~qici~I9?~B)AlFI-W%0UKN(T!#Jv-7ajun5dX)S(xbyC|7k~bu z{a+3DAN%6Z1LxvOAI$jT=I<+)KdRE9d-CAaZ#IQh+Z#4%PqAIwf3Mr~e9vF%Kd&mh znRIzl?Q#pwwXC~i_sfbe2hR>W+N9_Ag%Z}zt~WZx*cN}WL%@|ivvb_o*QD(?es>EL zS*4tByzvXiu81{N%k^~>eKu-cD;7R_L`)>wi2kX6dS3i_+S^IMrjw zxoQg>wT^fA^=a!jzc>2dfW^(1?thpbw4#5JQL_A9i|?(U-&T8@*Js$C4o5;Ze3GNx z=`)WPG=G(+bot;{fnjq8JH)1%7x#j)_+x_LcL|NPjW>b=wG1N z#hFv4j4V}b#rA+xPqkY&Ki>86&^AlU{`G43ADjEhcM{$>{%*Jb+p8PnT)hYQ)>&et z4j7rXA@8#JmHK^iy5E>tt>!v6zDdttCg6|P#n%PT^N*`JUcBOa_`BfQ52sukTHbHo znVc2IuIRq+rwcyEem?l{b{NN30AkUFyO4 zUh8yo{FxK;Vzhw=&D%3_|DAaK;N58>(=r;m655?Bb$;-ru=u?@515Y^q^T834r#G3 zB6#G(3K5fbtS$VaVdtL7hhDxe)8%lBS&a*(fBLZclQJC({#fn=u=zOO0P1ze0tm=J!I3!!pZxh|tZ?MB za*Y#RIZFjKTAuQy_T=iI^x2g|b9E~`XKA;H4qayL4?E`{k?-51g$oRduhu`qC%xM4 z(bEUy9#y5|-9iWa1IBh9S!_&i|KZQS{OC#ZF(37HeLn3$!Q=IxMwDE#==$6Mp9MaH zj}Ix%&^nm&@y~=jTvj%3i$gD!lTGj_HFwFOh%W-7(Fd`c?{k7$;tA9T65Ee7D^X%kG5r zzOmx!>@AC*$5fskp0~%!S@|~hD|LKn+MAlq?o8S->s+5BpO4*JXVu#;;@^yqU*Dwf z@YmBb>-(Lwyxe^abf@RmusH66gFe7zFi{_argF#?v3YfI=pyNkFOH-$OfTz<`w++mj%O>-IaqEg@%>*cwvJk4^H{_I<5Rx zdhxPmQK3T)$(MQ@U3z3zvn%(H`sccJvSgT6^VgRpQ=V;$a@F#CWiJ0a#^GvutiR8< z!Bfg#+0cK@Up{@JcZKBo;8*E?#rBPFl_ETkIUtldG5U7*VMk9Nt{vO%WPwBTroXto zNn5*mW#Y0=52p+3PQ<*tQ2Tb`tRSCXzv?%2E$1fXI=~w?=rQ7U%GI;fw#NlTrq!r(|PG9`& z);Bi`Zu{U=Z0gqsj_vs7@VH9p;;on#&cjVdJ*(Sl#gk9>PcM0MZ+ODO&J#Z@V${9V zBD%=mH%=aY{K5X714iV!J-n~D;MLbHtNGpwYyKdhM2#E4%^uVmk?VsiC1O9R^iklj z4;?xD+Pg}hn;v^y@eO->;%WM*!CwWou9D=qA6(~1$5jWOR;qbK?6bOF#+a7X@)_Ox zt*_rFFy=x1st0a%9$Gc>QSHEK3yU{CR%lR{9~v|tvADv$Q?G7IJ=4}~o7pCAbI_2T zLRagPr&lJnU2=BQfh74!qvE4mvhZ`KfOI@ zey)l2{@1DctQW7l?e3VWm+#ysUy)8Z{8JB&?vdWM%uad11=rRxWoM6AxnxX}-+DLM zJ9EQObzYvbiyPG`+PCni=nEG^3J%>;H*eR=1$y+9W*wTMHQA4s0zDYwjbTDVzIu9m%hyr+qLcnEA;1p{8JM;1mG8lUl4w|@yml>Ui^ZS6FNAn z8aX9J5(I1eEN98g|GYlSIkk$egbVgR;r+vd?0>7eX^Pp#ZjuR-CW#WE35KYUO-&O-G8e2FGGV}GR}j6|0|Sa^{6|afIoG+_ z;j5amRbrlVdS$Y+s+y8XW~;g^>7sRZo^z2yFsy+|&ip=tH95&yu^^d^eQ{du)XBJIENItf}+0(}%nwGfG8CQ_4 zD4B+C{kYIM%^@kt>LTZDUx%zGmssj7mdl~4$>xvFZ+#uQY@PkddDWq)$!pg-2m67) z(i@#|K2q}Jjn0`qK4Nmg&CW$Rt0*dESX8s2Nm%&Cc4rkIhhQcL?sSGZvf)d$ci-*o z>u~6*^}}9gv_sO9pYC<;_X8W&_Ji-(nS03jr^BJi$s>o!GIk_+B+j?3lHO>6EQ=dd~o*9^_%l9IG{THsM{)08yR zNN#f1ndDbjFv(w4MVC~n4T`Q)9aa_1#EDAZcUEu-vbO-ShN2N21x=L*$DnB{pR0>> zt|}TT(K}TY75&{@m*;4zVhDy#m{CR5>f>-*|}!Q8dVm!1(}~m;j%DsYvBTn=l#el>rBOUSui+* zhDj9zIxkS+>axr%0krp+$(m{dUU zrI~>_%Wvt5;1*hzHR-ycFlKa9pu&J}*63|vW0?uaguW0X(M^S{2W!#|S!J7;s>Gyg z!u@zJ2s_l7n@2uHy)q)5EKzGR1VL6^-V3URAn|<1L?*|_8GJ!iWu6tu5|xZ0Xi!31 z6NT{7?kvy{bZT(mT2K_L&oM|`)otYCPNW_W-b=wvHr~aAhjE!}X zkApk&9*4P59&Z}vYM%PZ<*^UAI5H4^70EuEjD*dbhH;WY#(~B%DQwKbyUQNPd@$6Q z8=Nk)%m?G#2A6g3ibmrRHWu9q_ue=}j`08DTb83Y6jLWBu_v>@WvJYL8+OX;Eg8%e zSl)?oSqFAy*0ctaOg0%7&h8V5Jrh5CI?)Bw)C_)2usSkMZEL9Dk#eo^93R;Y_W>HJ zP&QW+b?ebfXa3scPpW}xf}at^gZC2lIFyf(|H3;ld()tjY`CtGahNaA<3l7eF5JtE z>~UP2P?k(5;qguwC{e`#O=d-ap(DX!n?Qvq4c?B8GZf+~5$p{^=MKRzxm!e~!8S2v zx9`tV`*(TW`_4o~M#_=`Q$T7&y^{$aL7jvtXe{#pFv6Hd3yLZl(i2n~L^7rbP0OTt zyc3dOnxX&}5fq}iph*<508M2!Xi7Sh3=(L8sHb)2wKFHvW5f{V;1LF>{i0M8M9B($ z15 zmXjeqQlJgvbd{aTzV~<6nPpALF1a2dHKnGF*i0*1WP$?KBhX};jDe<+kn6J3NZ6RS z!fApiQe_2Ap*|lpjTW)CPb8aQ4@sh-88lTB=SGGwr>LQ@piUk%q~w%K1^MpWM65t` z9zXTqU-ph1=2&GqO3hz3PH zG(i`$p~(~`!#It)eXt_XXabre|`g=7U0 zkSBmLdc~s3yt#&Rn7Y-{FFTzKJ5z{8N(@ zg_(?`Xk2EBNiNI21QZ-hxGD?F7{`Dm&h2HjZUu$SDOD1|$RW%AD&?4KWZ1EnN_}3LqImcSO$nh1u2UPO>2?;X-vhSvg`(Bv^nT`WXXfQXX!Cu z3ks-dXdY4^7gdx%(LK^ zvCihsCX%Ap!}2I#LA0bs|3_ttjt&94b_KS~*hFN`j5Qua6wM>_46K29vXeU^G`(qb zTscp848Y{hN_qk6#ehk>$>cWX_vDTq9^06EB25(lbrK~|VOCUGR0LxblXff6x90W_029mIAPa*)h1Z-=%s zY3sr1pm$6>kxf%*KLRw?4g!reOi0A`zG@Vib)VTNX1W#ZT6vfwYI95BN$fS6M2Ge5Z4yVZ6F|>o~hxNc2l9M?& zIBDi1(F|b*3=EK+&h93=Pv`de=m9bp4P$ZBvXl_&%A%YGu#_zby`+v%)8LGV_-$Xp z#_1{v>!>{tE?Ap8Cd(tC^b}OJ0cCeplI7rZq$^a$Iv#2;W)Oe)ID-WsbO-<($L7oKj53!r z{5s33bOqstT&Irb6^tc#Oe$i4U+%eCfkj8VR)HieUB#tJrZjPcw*{=@`@QhQb6~)JUIb++6rL)?3O^y&U^(5T4p6SXOb0J zAe(T6rlC7Tdv-+AkV(tP20TMu!%|Ts225EHncWUM%M+kC!{QrSGYl&-5Ebavp_9VY z-arjRRR`@2ayWz|1N|E6vF+vr4Wj5n(5|Lt;5ir71%vkoF%FsH1h&dJLxY9JD=ffF2FAfTL$ITc9qmX4 zSeiQ0fOitfvQ@Oe-L;CxNuZa{A~`x0OiR%e&t@F9p<>6`yhV(t4Gfpd9eop`;yUhB z6s^djyd1=z0Iz%R1sZIY((r0Uwi2-feLR9j4`5U_94$#k!!saC16amsDisqF1Kllm zPxR2?-bL9Gi-9M$7cw{^LJZeQ_Kp6Hf>%S7CuE{bf>2MkhXVU}H`k*J2#_dN=z?gK za~d85vT;a_C=GBCn+pZ@rnztu+xybV$ZObwfW6r1;E0Hm&;>l$V2Xj~RNfn7Up#fv zt&}iskU9{5c9F=`-+NT|-CLWr0h;7PLDI8gf&*pvqna=m421DhnE_G&UCzkkV}6IEE2X zkue$~Af-V|*ohIzRclF!Y|LH6D(ejnkm9^anH~^HyTXY|bd52Szm#odNnfOGjsbxe7_d%L{TIyjr96Jjx3X zgrDWo5Un)D5=-$2iI+8aDnQqjRochFI9Rwf0ZTBiC@HMDfv4=ieCVM$1xH$5?Ik<)lCgq#A; zgT!*#T>>8LQDag7$}*b$Jc@3QGK}i9{iz2X2Y2C4^RtXe72F@Tc`6zmpc}2tbX4mf_2%7vW$wjKvbfJaJ=qfA4)Pn??&?n@00on}+XcytW4o)sVNA+BDB+FYfSW6Onna z$)4|7GHuHqhwskWIQl#T3zla5(ZHZ&}@)~ZjXe7tp|(9 zJh$82?a4Hmw`n@x7zw2Jonahn_}es!hT1gxP|0Nz@f?qGjUh)@SaOc_(Ae|# zM>dT*Oq&M#jA0An6EjAm--lqb{Z5gNvy(qdtih5NdpPw3HjVcDKto9>TNAJZSAMuz zrUZDAzzhPQ597@KNR4uf=)_KnE=nftJ>`et@CDJ_VGB}74d;O~XH4U1x?l~AfS4HX zCK}9iSxAY}u&|(7DOiH!c1SPrDx7Kw3K^2_+T&0Ok*)AJfQbqHZW1mrSM+FDmi^$J z14&8jff{E9Z<5%?sOK2dfNQ-Y9@az2>OB|sgYuNXd^U~tJ8T-h6rd+YlIp!6#@Qt_ z8%JMQ*yB*8Q~MF|29iw%6whuDwIO2$-a)aJh}kFxWJ`hv_E+JbD4%%oWmu1}1hXIH zaZI<6$8p8L^9Xhq=wmZ(@%Dq-6dFZtHr=@$_(UIEu@a^1cw%3fVK`t7CP8$lsjb+d zhMFMYFp}@t>v>-Dy{D}38|>ck_>vtQsV=)ZB+%^OK(Lvz0$K8A&{kG7NBJhS*=LWV z=%r2bl>eTHD+1AE>#_f>0_FnsFuij-n+W8AY7l}9I|