From 32a9e0e08a33441ed40ceda626f52e478467048a Mon Sep 17 00:00:00 2001 From: flavis Date: Wed, 20 May 2020 11:26:20 +0200 Subject: [PATCH 1/2] add intertext to improve aligning --- ana8.pdf | Bin 164569 -> 164569 bytes ana8.tex | 11 ++++------- analysisII.pdf | Bin 522673 -> 522643 bytes 3 files changed, 4 insertions(+), 7 deletions(-) diff --git a/ana8.pdf b/ana8.pdf index 550fede22e26c6f8682524162f43dc390cb14466..0a5b05d34bfbd26cc4a9e0ada7dbb3ef8708e864 100644 GIT binary patch delta 9081 zcmaji(_bWjqXqCVo3|#{ZnkaPwr%dli4!K-JPyIH&0xWC`$zTKDm@I6oG z4>)Hd3}qt>C6Nk_mn(%`o({ZiXz0E*iW|7r0Hx$d=JD&dJGCiQ&zAo(SK3z2`klls zrd(fLOHm_k)cJbrg&8KKXBci*IjR;hrm>aJ@7}22{rKWMSo1?>=wdu!U{C7D=U{N-0vys!%&s`})Rkxd!lp5rOFF%3P zr1FQqJgOyBCBz0={_*x4z(zwJGs5>WKbD1qrN!4Y?de_~^8~*RJ^pp!nx?jfS3n7K)em>$D?O^$drxP0wz<=>`vJ;SO`lpg z#SYZ|f$xm)&JWS}AxojTxe0ep*JJWzBUIOkR3#pmJ9(GAWj-4Q! z7!a2k0_(*0;Wz@A;rcG4*FOxTG^U9}a2zT2X_EuQP;u4sV3iArBOM*t{IJPi#7;7@ z@@d4S_vz2piD0-(fAMZoLH;9u6pL9=&5M%v3)i;6%j`G$?!dCYNqH+E>BeARh@67} z+p|9h>X89u@&ZSHy8qs)K#anq-opN)+zc9jVC>ceVc3=~67p=@RXu?FimKC;EitJ~ zNz!}xn^d>tsnS}^$5YLT+{I`dOHCxSa>lHt0=#jRGIX+Q0GncJR z3V&~6=)5k`P2KIDt)HHBbSn91!XtfAaTY?eOLY`k#{^EUbH@UbE^)$$tjH1fjCzx0$il-b$q^;| zlz_LH4k=8o0YFuCNi?)4*Tn^?O5XwJXb80u?>T?CaWr==yTXLrNGjzM-(YPZOZWMR zCD<{$mU4uQ*g5f?d^Vr6I`PTuSi8Hrw+|;S!M%zJDOIIR*!qjp?tG%GcuZ{$y!ytZ z$Hy8RB8)_;hm?LhOF_~z-<+O!QFY#wj3mJ|9c`ubscsDO`%6_<#3dQ#(?OyzP(7FJ zilmcZi<;M&fbJTju^gkiyqBl%ca=H>Y; zl~Zom$Z=RFqlATz@ux2`2B?FfKvY<(VDH3ANK{oECY(aP^$wOdFgckM z=6WnG7q&=df^cyU-7|f#FFxiz8?32bJdhW1>g2tXp;$_Zx0bsQ=%~?%K$$2E$_X54)~C8LJO;R5lp z7F{IU$I(mR{`3&L>kMN<&T0;GpT2Bf=uZnx4YE$MGsj91_lWjcQ>m_SfRl+~@WOiL z??)WErJ)WT`9Hn9c@DJ=3ETEnFc%7Z41BUxY>Ka-T-Q;pGqaMWd$3~q+Hr_$I<=ea z26s1XhFuLCE{ss8urSH9e-&)|bNcZk)I>``$pYw=th0cTC@ET%UvL}&%w#>=u$vdR zZ=yL`2`ekDL`LxueX4httgi#!ur#Im#0pwGS|wiGz#5xvOO7uGMU~M*nScmr*nt#m zzGtG?hMkA8DUDnZD$yeu3W9av)(26ZrhFhku~24t+q;bmJA|$Ue1nv(hVUhWmUsYV z9Zj|oN)QV5A|ANbq7u9StX{!6snaot`LGbEPR+wyWeTGgkPRe>o|Bx<_jQ%U zNPVM=B3kYTx8z;)7$jxWF{qZx%C>3?JH#r~Y_}exF0v*|?$8ab-^a<1x67;pB7`Mz zNK6Dssfq72YjNKXP-N_15QuP;@So~@+XBJ|=l)VE6E}xxL*RlU3|}|7f{9?&pV8Al z%~an!p9=9CQt_k*WW}bVFk&uu{_SOruXfTH-Kow8-zHcKZ*XB+F2gc7e@bdG4v|d~5PI%jI`vV^K$6;Ao0GFS0Z! z0bH8veOx}gwl`hZ4;{=^;vstTsC<_6Y$QDn3}Izw;{_SFMqlps=W7XpNJ*Oq7%+3& zGMY}nc7ya5^#5E2?Je`iX`C|TrRr$|b=z{_jac)4BXd{?8N+)T$4$<~TvIY^Wqn}j zaQo~0jQpkxS+FxXB9&zH54E~&G>X?PAURB79Xd4U1R6fxog}jF7*X{qP!2<@y(6qD z{t@3~q;h!h^{+;sJc^`mS^SvxPBxzOH|&`uBZ5YES!T}?ku5ZqWY6X!n{Trl9|g=c z8Eb!#p3nt+4Yfpxutb6Futb4t)`w%~{_kka5VeBi2S*bC?TEIIQN@Dq3xrE zh$oDc3mr1F$2-NpAPNF#<}gRK^-KsJ3(8C~x5x0(i-^m6yoH92jMTW{x@j86!_Nx# z(~IE>U_xt#81lHAw4wdF)U=exHm^T0u9VO4DDeVA)0NDDYGo&gaX}@(cDKwvC>60f zWpVB|08M6tj=B<(C$1!}bXlF7Hei(n#{3pXC@{Ez>Wf)EmQ_*+@SBvzvfdYy%t=sK zAdy_*wp2)^ju{!f5C@4OnS^!OU}{iXDGwwcT>hmTUR?_l*6tnBNsDEW+atNnvz|BwTvn9x~iH)q?8@919nO2HwoVe7Z&=Xe+I#0l)M@Wm+ zit-cn8C`sd1CGZ+1}jqLpbAjCYhOmlI>Yb5@ToC_gfR|tp&}#ohKsTga*$6qaBT4g z#tCL9P8}Q!3bTWekF>zVL4XM{6Og7P7~;=vhhd0*ZiB^EU+&Pv>fK|W;j50KkO)E7 zlIg|&+$3lKq8^Y8ew;O9!<~oI5(h)Tz`}$VaxOkt5_Dssgwd5W6?V&QC%k{n6q2}=5wl$9ngOxS?V#G~dIwXgy zVRPi*?zPicY_oG$+K(fL#3ZmP9)RN1+I9_;raS|RD$P$3&9HX?-gf`|!O9~R&$eI3 zNLffU60|ol1sh$zsJ6uH(9ZlmcrDFyfA}ML)9SM-B$WIrvBYnpBRd(j=}Q4_X&^?< z8)J$Dimw_tK!q!HF5hj~jo*9l+FsKe|Jo!?T>V{pNW*V~#qh(>Dx_kmpPLnN3Qk2{ zj1&mMcMTeb2y6_I-dEw8Tl{N;X= z>ZG}DUtz#|huhWUN9rSgzD_gP=dmz(XK$y}CnU^;>-;;?m|!ZgYzJ!fiI=e5`RgN(J2oFQvca6(QdfWc zxM49==2s0xD+&s*Q&zKOH9~?)M$Jrx_03C~&atByDQ-g_JH0S0WD9wo&=hqVgs65V zS+|>f0pmc%Wd(GByGRAMC##JNzRFsEnvK8ux^Fq$=ADtIQHOV}?yw>e(yYX#x*I*o z9pEpk-sGaKRr@5MuKvKlAii>L$YA<)g2kJ-ckmba>SfLYCa$A5FFfVCit*6zP_%Od zl+k#Fe}I}I0A#bylrOq%rQ>!>pQ6g*BK5uDiHh>1Yh{e?lTA*>nH?NHm{xnmC@-)( zyCASO9$}L^VN=v*?4pJgUGSg(bmCY+g>KMU@49Q?(y!lF{mA6`YHrFCpQ!san@g=^ zCJxjV(7SdZn74i+IN)+Ck>2`!-$zrrEcB6<-*=SMwmyljYlruK*CC0 z#H#NeVwJ>`={qX%PC>zsV6|g}KLrxpYDM{6qN;O-HYLMmtmRWru^#HoRD^J=g!~`m z;>68;aIB>BU2qrsqN&w!Kttn0+atBe2wYa8d)=Fn>)%Hwy&Nu!uUr=4OqF)jQLh%MZKPT86^=KFQgt>GC5f1nr-vp@#klddB6rcWl zb8^#&*giKj+$oa4|00qgB3U3?@TLcY^hN{&eEtsmAILRSA3F+?16EkGz$UgglLQ=zq99%3}*MzfhvKmbwZ;k-r?&O~k0t~zu?%QREVoab3 zLd9)B>@VM6vY>>!!XqfHRO~-!t1JQ$U9EhQ;4B~zBt0AlhW*fi;(3iCYSjw5Tdnb< z&@MF#2058)9OZP{FRo_G>zoW}GQ7QoqZq91(dM8l?ej2*3Va#x;NBk}e81w|2(uoM z=p5nauX~v0JN%=2-=t&oM_`^`ODD~CKfJCPj+#8aqj*G<)V#2K`6~4>3Ydsh zo`Y_Qh}2)DRllvSbI{gp!J{OFXQA1Eap4(Wg62}=H+03xQH;}aHd~ge8>VMWiwV`B z+MhJ%;V3g+zssrAu;h0E)E+V>9^_Tr{681#?O_%CZA1m^@Y%P>Jl21R{VY4jg{O(f zM42HgBl%@Vrg@A&?_5MwI;{ZloiKo?ydZK*_`zk}AvwDaUyjOtfXm|5hm11eZ~OjG zu8oW#@JFgB7Je85Z{U1-N-wTe81E~FvY!;NhI58$H)N~a?g2nYKP2PT=(A z*f&x0#9^m`B>qqMvPKUJ^HkfRo1 z-C}Zm)rG^Nr{O!Oe{(s=I@?E0o&Mio+PPe04>^>_3`X8Fh z`pR1vl}+OZ#{Y6@G9ltwbKekJ&X!ytKM{Enzb`MXl^*nJL?`WHINYmiIG8)8=quj~ zKY{Y<@GXvHaRW-Z?hKycsvyF`;(c_aT7$~8ZeH~@+5lJvQ23IEn6W+$$o3VNZt@r7 zL&{{Q^P1naPztyw@tIUeksHlb`Y7C5O4t1pawq2yx_#E#xq(e&d{C9vfr!Kj55_#Q zM2n+hhkv@seXa)?4Ix@^l>jL7DJW z6p`Cv04%tKOPThO_s7ARXtu38Bimlj1B{6@mA=KrOSw4e-BYTEcSYSI^m-Ik6+p0^ z+7hPi(|<$Lq?C($P#xCyq)d>Dkt#Qx$0JwEmdm&_sV~NuHqDfGP1Ln$A1VQw*;y>} zN}o^2O~A5w{?7D*d~9ZDOnV*%(gt&lMEc@<-Uf(gvJb++daM)aM{P=2w9M{NR(~;j zz0uSc{7)o)DENFmAAMz^PqiV)zSsg))b|uza38GiWvefJ*RN>c`%#pnL**3kRnFvC zV;yY@byn10Q(dnbu#_a(B2?BYMiEC`X8XRx6b5b`B~L8(Uc8FuVPnNQk|vci`FsLH z3UWQZF)?r`xy0snCHsU70uFm=Vbu_jQAspG8yhE5M^{D;A;xFEjIFUp&StpZ;7i06*%$m4w*DLXcGUuAcmr ze)dgx8a1QnzCGi`=LgkaF_!uj4xGgxg|Sr5Dr`di3OWwSDRCXPapE}`6HLVDh9a*Tt(J^(m#*N?!BaYkWov+;fX1TC zgLvXWmS^PgP$c_~ck??YJ7;O}{_lcQgbM$L(Pl!2g_`cbq-1$qAyL(AqG5ddVtMFB z!V+Mhk|sg{ch;zwC*hEip2U_Im5Y(Yq+vFr$Q{-OFE#}|p3k$2)M;C;^hqJS77Q|* zI-)$`#($zpaJFLGuj|~mBDAo(Rt};IDcqtll&>GPVo6KA8lR`tX9;<(8)11dvw%7Ma&~Y*y!7XC zaX6wighgj?{xj!(w#^@~&^3r{#&`mqd9bNC7I(dXo){ov#_iFJ^4sAM$hMd?XO>)nOrtyKjNC`^;s$^tk2g_UW zwbstr-zH;R%&tTqIuw^rXga4W1;<#N8=dA4U(I}4M0nMXUe~wJNtiBR238Z|kKK@W zqZId?n<|~2CP7+{aT_S7Ta=o=ajjnHykgWxB;&o?i|z2~Ei5FDF^qvpeYmyV^y;i*~0*Ls(hSR zJVa?BHy4MBlCw5kkM!Bh3yB&ITuGifKHnh{8eGoW?##38fW#PbqN8H7RQDW1&aqwH zk4>>umpf5z$e&Z!<`$}6(UnESQyb1kB^w&%>CRVfkTmPendT8#U@RYj?y>PqVy|J0&)L>ZITH{@fPw0S^upXe~X zt@G}C)9_fsN5z-@++oTj6EJU=Tp(h`g&dDG^z|w3dyC_3r7_W*t?ty6&-M3Y%iHrc zU5tW{+l~lUlKvDpT-&83X=?@6W3eQB9O7*-?$X+m$%3tBjODZcRN=(X$;y(K*RzlQ z?=Xa-Xn5ModnbP39AeQ$_&*k53GKi@j$C1k5Qdl7Y*-Ghd}Vnxd=GIA`7~;IjM9^+(-oa! z5j*r8*_oR|=^OVO#hdyp9@3n>shb;n_r=^++bR1c6J{IR4E&jj!&d&hjwNeB*Fe|V z&5`0RyZX(i^Xt;5#aC{c=*xk%mR*ApxX=JX(+cPzMj_*-vLSr2Dbp>09ClRVUAGeRXWN!{% zRV8D*g_!#sU=g{0|Ix{<*fkw&eOtS`MSGmh<{Z7cE_SYO9>$0JWt3;knl0S|eid@v zvf&pLw9j#z-`}}-byG@j#Lzbp4tTl!Hy6p|h01uVwa{qFt0{dhmDZTY0C~HfV;3-I zUAg=FHYeKmoHV~NxKW*Hm{Z) z;74%Tys0@bjls)eZTS??EDTRBc#&8s(DTUElga!cfndGekzM<$`Sx@USL_}bfPm_E zuj{^$uYzpxoyXY!Z!COK36Y+rIxFZ^D?Iba3ARDQQjbN z1`DC#iEQyh)@nRe#s_1{e0%l4%pi7QLorSy;QfB$#x{1AXUjYo101Makb&q)dXDRA z(-2$~ndRF@*lEE?3EdDNeUUe3-F~`%D*e2*G zcCnxt)#-1+;jB;;5DJA=fAfJT{#5)f0(!WgnR6w~U_Oh!m&-qy#wFIM~>@IoSTU(h=zkX9-Ya6Bn1{=Mv}R zmyzKYmz3t`l9G}T=VIsM7MI}WArtz4E5<0SO4cs69(H7WTq&5d3}EVIZ>sOg-c&2D+Q``P@$$%M1q~efX5Cftz4fBlS}Vs5KlgLt_#c1t)bG#9#`y2~#s(f< zZs(4K`uz(0{{07djll9(P&z3)%q5| zHi{i9j4QeROA4i~gyVb6K)Jtd`J1k)3moiZgtvuQ?y?32uV z*{^}q>u5GMr_-=hiGV2iFX8d}EM{J$Y_?pPg1FO)OZ#Sv>5xP(s#HkQeJMOLEv7|s z3%i%d9EUZ!ULzcn5G>v{oT5WWSto~$K1QQInp__8A_+M3wvKF%YdjZ8=bJ2}euj20 zT8$6$Dk!+E-pp9DQ3S?`4xOhRHivKJaKvnix=|T=k770k+*YE+k{5{C==wz5;|Bf9 zYBopP*nzix^!Xk!82(_~`dcD3|1hQCbSfqMfV#^i0WZj(m@f%k(Y)EH0>Z{{!dfo!-*L*n~JXpojTiHk-dBt9N)Xz--dD3 z@AvLK{x{SbxKN6E!axH~Y9EPQ*IlX1iA?B_+18RSCbeIdq+-`D$*1sh=02rPwk}b3 zO~OF_a)&w96)qDnQmuQLaZalP8en=GIek|ufwfTnzHp?yBZ~M(E;o{M0l%J$o>J$P eSm-Qj;!qTEdizI4V+b5M5;qDpwX~`X%KreTidNwO delta 9084 zcmajj(_iKdv^MbUy2DI%O}2Sw^UgLWOf^}*G}*Q}d1|sT*|s&=ZuaxOhx=q7eAl`T zu0LRX*2)i*l^-ba)G&OUNxg&gfWE?aq9LrVTkSI}I-j9i|GL7K;ljON=9>IijCf;+ zvLWP>_{rsUcR{_a&zGcHksCWvKI!&G2G>Z(!5unXZyL zHuG25U$Z;S9^r#OM6Fu}TYYsE=8Uf0=-FPVx;4B)%s+edK9jdU5f$2s?pB4k+lF(} z7E}3s6qTtl_}X5;pFJl!tR&u%jckWnn#F34f~bSoh11jU-@%Cu@H@RLtJ`p0`yZKb z$4_@mE>jeQx}CRLZk)#H0Rq!^Y>8;sALN8pKcsHG6T)%jYz!Qz6}>_+C#NR7Cxpsq zDO>4AZ5Y+A{W+^ankUtFmu5NG14%3dRLTqA;Bq#@8kPj>JQ1%<2*I`A^@4`Is9bWf z2%;m}Ks0O{U)Z8@0JXqQ(rTA57=?Lz#ad?kI&-fy1EvCb4@kMPA?uU+@1D{i&8mX< z_EKb!(QOMEZ_#sycP5MWhZx315c@W-3Ker1p*-B9VHTcJxr6;j)VS$e(lV~hIHRI+ zx^!XG^}gwYfoy9zpHKRhCTP!c@YX_L?4-m(9LGt`#NQmlf(4>o#NcY5sjv8I$kG;?u z+>nnXAKQ=aAuUjVgxXdeq=qDZ?T$_#m2Z1+VUFKt;5$T*(d+f_z;^7pcj95#Gs##5 zyHrODX>e@?@E!t5PL`>$hQbkC=~BWFxTD)h{|V%>2vX&<^&&TmlPgG&r%X_6TB^`< z`w(BQk=g2flunQ-%TW-;hQnISxtXpIuvDG4*S&?Kj=8fZ%!R=mCh2RX83-eW&lBIv zU9d=KSp8eRt?5KWi&}-HhA?CbqxS#Sw2#8U5-gnso;zC}$DA&IOLXZ*m+hrV^dfvq zg~H=Zq&g4Z_5?w%to$Bmy~&q4ek-W2bU_RUx5PTq_VJtcozsUq#0>ZohewKIav=5b zrPUN8M;EX=(gn_JS|WLCd?pC=*yI0t6~z9}K_D|cW_oj9R;SN(tWbTsBz*(yi=B)W zO)sMgxQFPz&(JmSQdZgiilqwPulf2@h(hxwReuubbn-c;pCar-UvaL4WgvYVhZ_zs`Hi z5H5zI@R}zL@4|KBU)gJp?o30gCHSHrZ83&oVL>LOqK({F(LqCZL#-fc@{K5y^D zLa2M(l0!A_1PPUld)vXf9P2`aSt15N`pq$)PU;~$_UXYb`%)RQ<43<;XN~G%+82 zzYvArCgPT1mAL-2sPDk?Fo&cu&7CX+J(ROccE1-i|{SIL82dj2LE; zL{lGhnx87XQPr?o=CkY#Q1bcKWP)o0)Qx_Bj_{4E=DWbzTrf`)z7OM6NNN~ul-|+j zDOj#EEIzJ;;1_#(}|eGTUu1w4VbJJa2nMwk;OobhiUb`H=r<(`xBqkt}@wT2? zi^j2_gc)F%(K*x<0_E~Ib-veJpNM6zg86EYyvDDr2~O&zX4$K(NjY_EvVgg_mu2B} zv3fhWIcjii#fF`!?Zy0{BO=B9LlKQkp!dgF>yQUp6+(@%%T*od1?9RZ)Jz z6k6GDZX!r_io~u>#+5v^RAFhjl{GWpSkjHFsKbtpIRz$hUDQr!Qb0AF^8a)!lQUw| zL65I0`o!vAdy>vGp_snFFDD8qYRR#HLJZCoyft1I-QB;Dog|KKGX9JKA4eWm@-eXd zt!|(8I9ZHE6Hg@p;`1~aGRs_ z!ja~Eg2lx+;8vL{gBpW%5k#aU?fJpp*taAr4H`S}y#Fu-KXb5 zA2?;nIUw+m``35DqF>>&!FniRdMMD%dMGfzbYa-|lX?~D(s(Rj_<<;4^63^rKWLj# zjY5}{)Rfv{=af$=D20hXXXQ23v{y6aS4NSve~hN9+CscYAO`RxGD$t2p7trW`A~qDOX?Q7T%+*LpgG(mQ~`hBaRr(^H!Qn^$_5bRH?Sg&8}{8yhQ{ zPtuxZ%TJrTw(>A+j5kg5wp_p^zE)fF)}rZ6)$gBhBtScn)m^jt(~Do&fp(&QEXvZS z-asSaie{qH-Puc6#1Su^XVP;fcf2$#&G;u(AR3WFwUFe@u)qKar;$U(4UNTAq@|@r z(p)Cq>hD9p#r&5v<;nOjZTG8T{39bBn2T3|J~m-I}dxhgi6Dyx#jANICTMZ<;e~H$|N` zG=TKkEc>{QF*-b9t>S;jrLq@LxcAJj7Ao=gRn;+Ar`;}T&+Xyr1yy!rv!tEB!L$V% zlL5LPSKj=FO(_N=PZ#Zn6P0P$B13cXJRmX+;Kt`Ii%X?$Rm7a(!lcyz8Mr?FrdU~xX#(!GCJB~Z)N-cUOs`>w7 zfR@>%RQggo^!J;*eZq2v4OT+5f(!nV{ZeM)dQ@`)j(ei?s%;v4G7_F^heH~t04(Ev z@jo@c;%AIYkYYNtm25PXNTZ@lX^7Cw2cq+PvW;HOGgTKIrEmxv8W@-$sOZf&g~5|F z{VlLR?+di9M%+cYF$sSm@fNu25#`D$0SNCR^o&=E(OcwXR5hLLRmop}$H%Ev;$kOT z7J6atEL5ND2}VY`RTi2}EJZ}NX+w~IS{GE(4_s(=eqm)2vQ}Z| z=^G!oq1w9)ImvP2P7Y9Q|Bb3r-}I8|E~pSvt$d#RQTt3yb<(;pLqx#b|Id} zJtjR@<^7VDAp*{na50%??8jgPW1b!Hrcl+?Z@T zGDpuLY&mOcHk^Si0gXSR&ZV1M-W>=rpDIr#+PDhB7U@`K2;CXfuE)c^3tE(H72f*c zcMp&-K|N4dtnH9)rFfN)I@hwaE>%0%8Xs*k)yO?w_Iy5u*O(pDo3>@ba#cyJaEstI zCD+X(O&X7%Nml*pYUZo`(~BM3D=(sSoM9%}kV;QL(yUNUKz*)Rw#>E7ip)hK0f~EE zwoYcEs|+e^k*B0h5mENr>^w&?FG1Z@v@jsPgrJEW??d>F%|fpIh9osPhHPHRbkacW zNcWCvATbY0w^eBw-7@pMPl+5eoZ2Y}iX;(FN%p4_MsuT`UO>RqnGEeYr4>;KLVKEQ z*h!~ZPtS}*0YUM6KaraS$_9A}b8>L9ZiFhMZq&5%zkF#M74insg7X;s&8M^Od3N9{ zKI->?O>N)(wx?xs#Osq;^Xr)fXm=~7TKw@GC98ESj^BnUWao?fGOuF(g;lMiUH?iT zZu34Gbb@`38~3HE^P4rr;aT~pJ~&LaBArq72AnY?&LL4vloD)0%_CFN?f3!@I6t1m zEJ_C!whywRzbtEHosq~Npdv#GKA`}g71*Z>Eqrqb(j65wM<%^Zwy6-`;b^nA5szh` z9Dhsqnaqhk2BVc!`hkRr2hpe1Ix$k8^}cug<~9Vq2;5<|sk=@0!zYq7Mk?Situhrf zo85_0rLW$Jke=-c>MXhlm>4%;1n1XROHAh=%)G-P%T$GJ-s}-W_O0+?9_vkE&#u~= z!oV#>;T!iMe6yUm_`h7p; zr!r#j$`ANrsJ@{&&8`38*{!z_U>Rxs7!2Ee!Q;(McMa}rIxPr?Nn3S*VFajVN)Ic~ zE+!Ugv=2uU7gTGsTKAP-$q@||p+D>5^wVZayZjmO`xe4u>o?;=k%-25Pf-h3=F;T1s691$w_O{H*adb6)w%W(d&=C;lX_xvGL!lru{8N~O zV)bs_^wdq1A%55HLN3G%mjY;ZciLVAVHkkwhcONFC!Ev-mO}(VfR<-kGuPzf`kkEQcmKI54eDSy~l~5@h74tA;bt zFahzZPo$A-_)X@s?q4eD5$6Ij2xSn0Oz)Pf+*BD2)q8MAQuXjgz5)(`6=Vw9Tz-?& z>fS>gbprcO{J$PIAFDYP`D_s^1@;J{Yr+gct?2gTd*vmyfd?(vk}6k-+^=-VddsU8 zT1kE?U?b~O`WlBJna>W?>3Yn5fyw>3x#Y&lAcmb%9Dc#21%^JT&q8~)0{JyeI31iH zD4#4ZQ`Y3X44UnPy@1>iL)mjsZV6#qbK&>?8%b?-c;puLehk};#WOvt=-2>y?E@b1 z6CThqvP6TOLbGqFaeN_{Qod_e8|2PNO~&u$y0s_&R)^qx1T`v_oJ1<-Ty|>*X zh{v2J6C=xvrn7Jgis7Nj%Ow(n?<1nqrWhfBu!0O6$o5HR(Ea;iv8k{WZW#h zE_jnprZ-Gq34e{u$~KanHXtLGz~r;ohA|tnA?I|4qp-SlEW6(nYAJ$knVu#4tw#Yb zb5-tpQ1wFs{{#nVOJcd4tA`l6PxdgQ*e7Vsc65T7w&XTAPR&{W@j{G6xQov}++3pM z*-A1_U}EOuNr7Fr`H`j6U;VJKe|k8S%QTDc(Z&)!a~&z4n!F!((PEx{S-I&*mD?@0 zWJwqo4tk8GU?5~QEZ3%Y2;NBFgcr9BEm-YJ@%Y;Ix?-gEAk0FbNpj@&61jt((nx7~ zdMbJ&j%dos#LD;YN=eGJ0$W)IW8x;+ggs*3BRTh3r2+UfOBg1axhXd!xZ2Ypn~mp3 z?!{dU>$}}qFy&)g5!0tK-x2tUdRq*04We9S77&j#2-Dw3gA;Ar*K`_nnC_WV@-zJs zK}U5OM#Mg7a29{q0EF}C4Cb5NMdw82O1C+|2rU(NQEW3hgkOG2T4m7dK-6h!Rg%uO z@PnCvmIaPx^U2v221+B8VQqeQm@$7+^XI^eRS~RXa}|zCneQ-GrVGmcvF%Bbzh5pv zspM2u{KPcj)jyh;LN?o&@({X4dpTHNrCv_}5$a_>Q2Z(>y+|K99#4I4L1jlEfry{$ zz=}RtAIsk7y14ayIm)WKC<*if8I?!&3~Jfpy$3*w{megDOe;kv_rqI(A51``W*Na* zjrav2jV3GDRUlrOrR{Z^3W$2Xk{X$)YwYyVSSx@aWPN}A&_esmpyxH*h?OF-K=6HR zMr+lT?Uh{-Uua=pwW2RWVg7K_mwIro$~@3&u>W-7nZuQ(XFSM%wiinxZMAnXMl!S3 zVi<@-Z1M#s8huYtxmlJ*kl2h=P)?-?rI`u|6@B0colm*oQ*BV(aIeu$thy~)G*Nk< z^#>V^PYx-Mt}`1+xj+TRcx-Z3s$OKI5I&5{SCIGa|Xy;C4Dgojo9cR0bY(;Mh^7}zJcCvtfT^G(=#+?wi36qje6=KCbp zA9HA$ctb16H#uA7imX4DR@!{At!YzA+?RCuzC;Bb&<}Fo)!Ob2-DD6VjOz_{XqRGE zpgnx1hAP3}Fm>c3(h<=g!{Wm{Afg1hcNw+LVXZG2YR?LrvOruNiZsC8s&_f60B|84 zMj%0s=_iKkhIPUgB0O#7g5;KOGDH$Z%s{F(t+F zav~@`MRb2=nA8e|q81Ps$CACHNSHE}aS0dOjf*jJ-uoo!#m6~7ah(aLNxA@Mn9GKs z{vUm#ehe%*-%Y*&>TCHQs<{9-6jCnp>EOhi_>cG&+#kOw%974tGvWMv1dMiA5lwsIKE0(Yd2BQ|B$CJ$74F#m$ws(s)(4B!~W9@(-Dtp**l71V#bpGcbpIM6Rl+ z{MhtbY?Y-gp_6=6jrq06Bal`;r{tLd@rX5CHCf4@c<#Ni@^j3ee6DX_5!P9S4z4C6 znK>Zd#!36LW(HZgNx3e+B5L?N-z-zw$2j}|Im0cA3?sg@mx9EBA5w_Kf#aa?yK0jK zCDHoT$sI7nIh0ssr=+EqEqlPJ3V-E+446ZDrQMH;D5w2a85B-}%O z#S+)1J^2j#p_E_z{yOw&u;B}s(%9uE@%^C-m{QoX?2*KLRiXIUFVmh#6oL0z-r<6! zmp@*xB!6M^2!ejb(G>=;l=yYEXb5cGsFvvP5sX@-!S-{Oj1@#P?Dl9lzeix97s!>!cxt1co0C$_7lZ%p&8Q0d{qLET%Gs(t=cXNUK7aFYMi-MdO0Fj#EtuxD#? z9a}c2&AgpYW3Vo8ME{g#wfb@D?H&3&naP>EcObQ9U>U&**U>7_Zp0O31w4CgHchy= zyU+40<&Si)Js+eqnUekL@P2tX*~-JxJ;T*Ht|&C^b}Wrtj$kkq)U{C(W zaS41}FT`=>FlSeL(|>_=Ba1p~Ryo3|EOjaH^5SK7Z2k!t)zn%qD<}#78v=dX>OzDz z`q#FA|L1Rj1BI^lr2`H0G2qO5!n5{y!4=&7cDui)n@QX4Cha6phA1`iVX2Tln&2E8 zoAvPa^?9jKYIn?DEYE&QbXZxC`sXAIc!I@htUF%R=&_oH@t=l2xIN%F+c>YcFZX@H zps`H7PbXUmFHdk!R9*5r?L^1B>!QD|0Z>d@%W4JW_nxeHian?`0V>8FzHijb!&b<_ zOTL&VDxYSIf80Pe`(1RJ-T2dS_fF1Ar1QYQ>;5xm?j+BeDLdK6TPBzl^cTF$xH)bF zD}lv%@5|{ls3jfH;0At3>N9G)J%5!E0l(~gV>Ke{TBfnPvI3#;{~^o;G=8+PJ4$T~ zC`MQNThm)9r@4A+Ai%!d+ORmY4nA*htnrF;AGF%*YTK(|FrAwotHkz7XPU8GV|*KmWhd{KFf@98OhILY$9FT0&Y< zLP~;3BBYEJz$x~-{nq7q z-jvs-An@2a<&&cJH?KfL%6c|{i&{RqTy0P`Tx?v5o@m2LI!G2?E#ZzgxkZZ-cYr)4 zg3?Md?o_EQiLTH(Jqcw1h;-1DvxKCwd-I~2$+gAD7L&{b>nAW|SB5ReXBG?8<64r{ zXje#QV(Xj9obfA>O$YKNz7&VjrD+IP<5nnT%aW+2%~P=$^khP)X46IPm)a9)3I!ZB z3kBcE6aY;GU1ra_pf>U##zsdA>%w)tMAeiFN+tF?|v{7mebz?EtmE5sVoWwjPgEnxH5uyZa{rhPm8)q&@7_|WlltUdBphGeyd3& zQMw*fDG3xiyGbYjpMFwW=JtiOnCP0?Xn>j__4UsUmGwbz%Y=zLVS0b|ADN(5Q8BwXv0UcYeOYYIO(kzIwia1mtkz`|6a z!F7vG%TbQ_O!V2w;1VelFa5ecl&WZ$%H5v7pXv^|b+S-_S=PX4FB1}##$2zJ9<$}) zU&D7Wx-mU8Ds?M(_RerC&?by&tEtdUTQGu5y~=oXcE7;mP#p1S*uQ_r+U&6dBW%%}w;hdrog(hJS&*5l!0+Wn;Dh$d0aq{`0Xa9zV z?|AxNHFB#6T*JE?><=27Ash5|%Ni=dEa}`VDfGmA+dforTEkthQ27Y(A>H=Jx%n(a zhwx+lafkFOoY$}s=96{cP*@L+RZ&Q%O6yw#$u@sjat$o&MR3|yZ)Nv3dhL-C1)cfF zX8rUQ;>jC)Qm;jLIq0N~S#sc4YiwwwEBgtZ2K7@4B(_g-m(z_)k-GVf9v!dMvAPH; zAx=(!kR{a6jwA-NNb}j4LoGVsMpHTxORuyDVm82ka-`V}@Dvl)e{q-WcET8dL@y(H cF7Bx>0B;8yptQOm7z!jllrLYTRHRY<2PofDIsgCw diff --git a/ana8.tex b/ana8.tex index 940c4bc..ff99995 100644 --- a/ana8.tex +++ b/ana8.tex @@ -22,13 +22,10 @@ &\stackrel{\Vert Bx \Vert \le \Vert B \Vert \Vert x \Vert}{\ge } \Vert x \Vert - \Vert B \Vert \cdot \Vert x \Vert \\ &= ( \underbrace{1 - \Vert B \Vert}_{> 0}) \Vert x \Vert - .\end{salign} - Also hat die Gleichung $(\mathbb{I} + B) x = 0$ nur die Lösung $x = 0$, also - ist $(\mathbb{I} + B)$ injektiv und mit \ref{lemma:linabb} regulär. - - Bleibt zu zeigen: $\Vert (\mathbb{I} + B)^{-1} \Vert \le \frac{1}{1 - \Vert B \Vert}$. - Es gilt - \begin{salign} + \intertext{Also hat die Gleichung $(\mathbb{I} + B) x = 0$ nur die Lösung $x = 0$, also + ist $(\mathbb{I} + B)$ injektiv und mit \ref{lemma:linabb} regulär. + Bleibt zu zeigen: $\Vert (\mathbb{I} + B)^{-1} \Vert \le \frac{1}{1 - \Vert B \Vert}$. + Es gilt} 1 &= \Vert \mathbb{I}\Vert \\ &= \Vert (\mathbb{I} + B) (\mathbb{I} + B)^{-1} \Vert \\ &= \Vert (\mathbb{I} + B)^{-1} + B (\mathbb{I} + B)^{-1} \Vert \\ diff --git a/analysisII.pdf b/analysisII.pdf index d4716bc1914414438d0ac41fc6a45a4a1714e5a0..ece0cdf613c8e00432b8f1d63b032a54770ff9fb 100644 GIT binary patch delta 26975 zcmY(q1yGgW^Em9~Ub?%xOHxX@yBkGH8bKsP;?f|Xq&##;Nk}6trF3^Fjie$ap~!pi z^ZU-c|6zvNK6}pD-NQV))SS>KpU?+~!|GAK{(+vB!--LZ1R&X0D0iXiRu}@gT{W+g zw@Et^$e~x(&s3DeTgnqV8oPzA8tNF%vU$g9n4<>i-*VnLdN4|NCl#w`^Yeqwu$-Ka zzcVeRByZOIQy)~sJ9;LLZ|+VETu$_`FS5NB8}au1%P0`1%1B(mQ7jm&r&vLWrudgvW z3Nbar3_f9@Ux|jBrMI<8U+p?%v_;)qy2-E2iCpqpyukIh2yV5N zcePfiVsakEbYfCuTsgtm&p>*Zro1S(34M%$aQTf|9*JR0&oHlfCV)mtX#S(ruev8j zf3P!B+%*G5>+wkhM7YeNnrmcF$%v|NQ2gNOf*nUm9!AmV26|9JD7pBOZ8lBNcOP<_ zE!jprbp6FIE^sH6ll|lJ)|&!EIb_L~9p!-*(?|%DmC=XE|R|n5P(4{|K*|PW5m; z3gO3aQp&O^^KwD;&-}TMT+C z^)nh<|EM!MAnxq_fJJGpG|ZF7AQ*#RhdpIWzWBA>`rVCM&jpi^1#-SieF!6h479RVXbB>o3K0&TwJMKace?NHZ@2Fa51F)!$Tn8;Ft~ zCFqvtB4JWycc6+(xrY>UnN-Xc;~(f@Ob2q{g_pAyTUnp-VMC2akc!<_bm6(8KA8^| z>)DViaige$7X9)Bl9L?!*WAmr&62xhf5bz7BGRy9v)EQcNK7wWn}>7B_O)KW=|Jc1 z|LC{oBtEUn(BzH%7#bE=5PIh=-~+8lgecbP7`ql(V_Fpo`CF= zfSRU7#TvQ@C;UAhJi<4q-3@L@rFkD#$6*=Lv*~UlC`<%4R>&D~VpErx>{w$;KJ(8a z>fgkeA;Rax?wmYq-n$bOjAz=x#IjsTtDR*+q?k&k#Siey&Kt{B^}54dWg;1eFSWJT z2(nbZqQ{W2Kh8z>xvCy*n$^W7;gO12-kZLWmvars+#DprMO7%PX5ipjPQG+M`P?FO zh?)F(U3nc_8xv{Fp=ELzD}~XT`Ex1LHUq|PoFmi|v(Nkcv4rbB?U!*M77r#tn&0%q z{rs8qWulLn5$5-@r%QMl-25z@UVp}`%a`STnyv2OF=iIycJCRH}u0YuV80o=;$Pit1E-Q(C&eg@znFj5WRKs+|uq)kj-?b18xLQa=fi0`g!GY-R5He32HuJ@hq)?q{kRuSDAu_fwVf` zuF+1^SrT2oGT-jh1|CXfcP!TEQl^^HOXVN+L*~=3?UOY6g?L=q!mdAnQt$C;YYpe5 z&apl`bfolqX}*`qPt;`L=Q?moDaW``bq?D>HVa`SGY1~dn0XzEcEvkR{G>Uwn$b>q ztok!^%?2joaeO#*hwnb%rLU^dp2^3gCr83`QJ^-cgbMo z)+m)5m5f!3gR&oO6;A_;zDettH!IZP5Tc?{cB?OilUxy?z6&-A;b{7BclyJ<{6~=s zKcs&$AzRTbf4Ns2b|-Y$iQCU`PU))e@#h73vvDXBWmC{D2?Wl+ey?!<+cU$nbJNqr zx1C~4W_l#^zeA0^NvU1qna=CHz0U93cz5Z>(|xvLlcU|Vqh0=%HF~T~Yo3EoUv)R8 zZ++5CTl<>*?XLl^yW25qNuOHg_#`dxM;N%bdQe0f^dgE}vv9Z^O3BqZsuI8;Zv z(wM%=zTAmRJk(^+YZ-;Qx|plEVHqX14E6qNoi&QNXSfgEQ29!S+qOh{(B!iPWD8QD zPe@QB(Vaq*BXz5n4kWmK&(IU96=gZL#U7`A=esKs)3$kWY@U2RL58tS@MX0;GR-y%!@vi{v4$Oq^G;9hW%6XkbkF@LJc|;PsQ> z9;GT05DI0@}6-mHBi)%@JlF{uT8+ls>}+JuFN0f%t3-jlHbYJ_vq2i|iovECQK z4Rewz86Llw{U6PxCGHe-OB^v|algY`CZd$0dSmu0c~`=zjAO-kQS46$^L|0ZF(C!s zx-QcAm4k^J{<;CoIE@yMp0TS=ls>X<>UR~4M&(h8Jd;1n_XBa`5|=))(w6EAFGY)) zg5JCms$!)BMS4Z_ru-Y5vvQ(bw^zQeYTbF{Juv35%8W6^ zI!h%?B*I$>MZXrhxj5*&sy`oU5vwvXsOKQtr3%&i&yEUq>J#4a{AQuzeL76zkNwpT zlcs)-CB8$6`DMHx^MWuD@1M}J#%@XpQfCF~x`!KnrJs;b+1ff3|ip*0L#&s^x6RPsP!QQHk!H1{b?*kReRC>vw)Lbd%vSs z@w6g6HK;3eRnp%`r;o)f*q5dARlt8vFxq&6>w^6j|&~e zQ4!x_%oEz6p%BCHQf907h{_vn%_&&6xIxc4GarQ}9-t6IKA3P(m}oK#l><3ruH{an zg4aG)^={)wQL!n@KAZqY%qIo68XF@Oe}GDwV~_!3eFiZ}@$*O3O5bd~q0kiXn|q=8 z6l57+uQNX1m9FjIOQd+{L9{?9^m^S!U94=wJX_Ucu!(P=DExQQ!^)`9XV>p{|SsD$=W91B1D`Dku z!R$9tx?JzBr`2K(99cOJyr!&UE|OJE3)QE^UMr|Z& z+eyF)pg+R?JHasCcRk+eaph*z59>)=?r$(?)P2 z?onaqSF^REVntdtVj&{zD+&1XpOZqE4)(sqHhkm{UyFqEhik$!h49@=@hlrHbkp33 zR!g(G98q^YE4}kq)$ZE7K%hLRT=jmL<{dGFRfoBb)n=2tsgCvQIWmGl!~zDGR#pPX zTx{jCXX~4GH32s(GA2(hulAhV&3MLSZfYqM~`A76!74$?d8Vt z2s)KE*^qDf(5v4B#J{nMS&4FaU9o@LZR<(3VSI7%^;}QgesbA!b-l>D($aC=WOm&L zo%){d&7j=Gi-xKqt;4rsc7(oB>FuB|qJ;I%b02>6u$_4aNb0C|Ht!v>FA7azE3Wv#*jD4Nk^fdQiS9zd`xm> z0+I&B*G2q)q@ppmRhc_|RT0ggJWuBFson7XVL)?9h@mUXDMauWN$=!82 zZfY;r0-n{Fi6a+VJv?gzZhpjhG_`ru2b?TUaR0I3(U~*J42dn_@X$@diO)_lA}ENf zWr`QnOnx6X6Vqs)RmR(DLFuiw81v415QE*~ZQs6f-ut-q(k}z1kt$+)?Q+7*W0iBz zHaCK7`Qm%2#m7g13r+E@H7|UQmYhR4TNW!SMMRBD<~NXJiK6>sb5MC^{wdYnYnQYA zL-LjP9Zigpa(?kw*r`kvTs9{M>r`C2I7hqz{V1XoU({uU)IJmk2IROhDlYF~@{mtB zFGhRFwMQvU%cOAU2)VpnR`{{zPc6obMt5(G|6z!t?*nDV9|K%z%>fPY;)C~hhlv6X z!ivo$T}mvGcz2?-M^Zed-Km4z9M8gSsDrfn8?0xQw;oDYnb7G>$Us z6J!3tnBd(56qONamlDdvurV`BuMf^VJmi_CX$@w?$5_)Ew-Zf7JBN<%nkaeZ&1Lj)Ao8ekGFQ>JddbF=sQS$M zz;xC4_yf}YIEna&roG#BUl||G&7o7u87DR318=*zb;Py!?Y6|{7K5&Qvw?XQff-Nb)fa0(c>;Co3!z}50 z!p!vH-@dD=gxkkGO5F18T6&OGhc6(7Lbv3rol|=1WQ-+UxQMPCwM*Qm?ZM!_qWYJs z{qKXY6=W(a?wZ5Z-&E*3+e3}z4Yk3jA`E(q7>}FC3p}69)#7ugH~~{c%b3w%9>=vZ zaGs#${Y?1mT@P~Ov_PJRx|K6a>_6_h#zgO`41e{xBfwZ#V%&?#^Vq^^@{xV4zmM&E z%n#|KJ}>eY7W`Xd`${4+3d3}X#RaDoJ8Y!pVev?67DDM+ZI22HM(I%6a~1icbW5Mf z9JPL4%0(R}x0~lWL=ioOnuh1Rs1_O8hda`5j56>|i>~ffOp=`ck~xUNwokf#vL-I` zmgToIc@*EW^@UMfBj#3Uj3V7Ky5DHkn7L#Zs@;k~XyC<&qyN*<&o1jx!{hahw6-#5 zJC?i3KGho~E9t4NpO+gr7nb;9UQ{Q}AAUa77+TWW840(bP87-)Z7df%A1U-#`E!$< zzip58_=(*!FVDx;Znu!TjWgCg5op2oXv@NX zKo0VNs3QlbfI%h-fEe$C;D!8U;n+~EJiHL{SA>%`x+uU2VbF>aoH*43&ePbc2xo!a zIzR%g=p(oxI%Rkdw4ee|w+c8n#GnFihL%+U`dtNn1btNlP=5=Mqg8`@$16hLpyr^se;Ay;KNXZK0yEI0r#p507UZ+ zczdc3Z-rtEf#HScz^Ow6;DEgm;N}>@`yoqXa3ro3@Viin5&Q#81k(G8Acanq5nNEV zF?<1< zxej(*YylsE;vND_P5ZsN=?Qb1jbOda-W`KWmxLu0I894OA5q=j28MpwD-xj!hW!gqNNfbo-B{xaXMjP!pMZecbc2(_pzrQrWjuHI3Z(lKPW-_Gt_y=6 zdjcAc9#}s9DSR5*dIpvs-33uq=m}SVK}O!d@b71Ea~M?N13X!=1cp<*Z^Lug7qB{g z;5aad%nyL8zHpKMTmGNFMt-;cM*9Q%_^QBu^$YksG!Ovnf0RRTHTL<#QD6{m5Ma~y zf|JAugrmZsEF|!jAqegdgEoSJ(JCbT9t@fd`Ok44h&cpa2N8z>&Rz(d69yTE1E<>M zfWAQ(90r5@BLFU*0+ve&hj0IvtML(VJ{U9@1vrn^L5NkC!|@>ODELR{Q#9~qISL4t zy#(BaX!r!w7;`HZ3vO%oC43YriG`~|H!<*c5EKWT_?M2lRd5XGFc#1hUIAKJ96TNR zehV4D0$INB8W>23050&phF3t-@qqC)3ZwvKJP7TJ1hB#FcsK#Ljzq9JKPwOvON4)b zz9s>^fm#qX)oCEz#gjm~cP9hopGhE|f2072^AQk+rNF;Kt#5!ZNF5&N?i=_k$SW0a zN8f-<%!B|Wc6$JIsqh`hBMrz^LGUifA{{{CY4ADd?IuVP_jFJTf-?cF!v|Q&%Yd&z z&$ECoB|p&Z%!D^VY1x1aE|?o?%mUoO9KhAx2f}mN@Dpf07jTzz;8)O8-Ypabmw?#v zK$7?61C+lKs8tlhF(KTS;IOXV!X=?c`EW<5>@DDe0y73>7XawvTM&&gg#dDyLGVGV z1@KbnK@m8YoI-d9wA!QtR8vWmdfD3t&-q!|7Q!gvQDvl4g}gi;D1P&vLqZMP7p zM!ZmD30xg|RSM^W3d#U&yc9ll+t(q1tOUW{-WS7hp`T^&5Xh_o&|KpH?QbNYeJlsH zM(;hKfx5W?QCHr&(GIx(?mPWGJPabJ0$i}SRcQAXVyS|EhFYrubX^6)sk8<_pxP}$ z4YdIJ7i>ExOe?q4pz`=Ij2QmD<0j>gr_?v)? zZVuSBP$T>gRL~43ZB%T6Tfv~?7Qo@104cc949AB-5^X>eqzF%=Kr0**2A$pFT5TXO zi`oH1H;mwg?zMxbX6EB9Dg*9rvmM;KTPFy@osaMc7}VJXOg`=d^`)W{P6AAH14-N- zueu8JhpeMb6=y!Y4I_wAx=+9?R)yVsS$&g-nDhxs$ z0PNA*qHodq10 z6b5O{0sVj15IhU6fny%XSj~ZV#B~8c|H_WT{B7CcSOhq70R*33A4m@AZyXAgLX| z;?MynS+EUiOv^6VzWxr}32^p-5UA7cFv$G?Y_ggZgiF9a$jjU9Ls!p0OjI7+);-Lh zK=S8zI3)`7@d%tO?N4|Xtbx(0 zmBagXi9FtoUy`K!FlLqO%y^CyBqhmn;$1IS+3sBuu)QDNJT82g)t2EU!tpA(<~fd! zAm$ih?x$@@r8h?h#hW}IuT%8DTu>Cdn$nffnB~YC704kG4@rduUrd_&CCK$+;+}5t zTC(2XCAb*Wl5oc1^0RAOx(J{6oK^HJJ4*pA#lQwL%6Y;@u$OtwB#qy)=Z9_&g~;&p z$Kt}8*k{AN4pBI2k7d%+CLX@dVl7UavJ<=@N|9$nw>!1FXHT1wUD0Kr`=oZ3)owiV zGe>9)F;+Jl(#m+&rM{cSRrXLWb3l1mz)@JIu;AKGXg4osiq6YR9<2vMLTA)!uWM(( z%!AKLbM$d5X0O&Lbu5ugGlTc~=G$qx6O15q%}J%7oTd>tY~SThETUxLc7_LG0Bx=9BF;+c;EoC>q+=JSud3S!;p>uAK)DY|_85G9p zWHK;CTq+Gb=4a4P6(*O`AB~&k5$ac}aQk$p-aAbjq4XW6n5YZ$JC7JGW9#DMQgp@> z0_}bbK_tr?{(HDi!D(S9Df+{obvY(53vtph8q~%~`#J3sdA1C~2nRw{Yh71KB18=w z_$4%j-RYzjU6FrQ8n>r@Mb*u1XMW!(AIdx#%JkJ0z;6g>S&)`O`kwv0`h0nRLZ0(# z>2fHxuBtL9SDVC0^!I|*PX>vSfEHMhOMosBWUs7Usdl*51{^QXTnr zGOt^ZSZlL*$Hy#9zdzs3Gu?B)W_`_4xS2zZr*lIFT!r<{#n!30(<8-q`F^_B1)`AY z#M5aZm)KJ-4Kt)d*p}2!FukXE{f2wyB+J5!DD*A-1J+9;HN=IbXC)P1svADiy>_Ns zteeKHml-0k5=rIK%`4(ItsCTj{WogAoP2E5y_mRqeV={mSKrBsdvWjA>$fD|Uvns3 z6X-1l`T6;w#;~u$#0o8>hJKIyTKK&!di>}5GjeMz^Sg=39N$<~5xRHF_4#+-r9O6Z zIfGLWeaA$roDYFYGd`OBu5+0XygtNa`Xn|IUXXWtG0U*JNV=~qb+HK4)*mKuRM_z zi%6Em?T1EY1BX2`Xf26fDvNQb1orgj@Hl8H2ITd!W>uWD1n-+CPpdd<8Ri9F z%@Q1L$27zA`_Ggk%s3~5A}C3%#sI@mB z?6&eT=G)%3+sXd7Fy%$} zX3PMerlpX$gXh2|`xZ&ZN@Egado*SIJ9HrP`W4dUVMR=C1?J80X7R+{8Fts058D|Y zGUmloZ}I)GDTxfRWE1+H=(+a~w|irIlO7e7c~=H3&F`IBlBpvf#ve8sue}(1_t%fy zWcaShM@s|$dG-2l4(}JLm>c>uwap`tw#QimyAKN*S_`f#y?v)%AlrWgu5idy8?K08 z!Rd#(73X?i#BL3(Km4WCy zonu<}u7n>Uea01O`5LmR`7Gi)D*eu$;Iog-mbK{q_V+)xf4CNQ{MTfFL0xLtvTjU~ zHf`2#zv$Ty8>t~*mlMyAbyxI4lTz3}Hx{d}Yon&nhqpd!t5NruUL+rvd9!Go`MAA8 zR+-b&+sV!yTA;07(lL8Z@Z6M#B+U5=IK~%UeYp40{N$T`{5nlnW^2oeE%=O}A-gW5xubSfz?^>@(D*bn>POe8@{F?i1^j&5yuEjBa z%soB0XW#nV=~rFDSc_Tf@7%dXuakvuib(1R$1AUANty}n)PLf}|FDP&33VGChhz9? z8|ZuR8=PWnl!Wt#zBA8g&W!NT#Dr-mH_K^}Q@AtN+xX#y6FPLgE$TEQl9jZHre9a8 z-63I(Vbvb=miJTSV%XCR&{gAeWKiXfd8?N^MK;q%5`q_H*+HT6d)3~i;`LZa_H(2c z5j%wI=r8#J5KECeBq z>ElE*zat;EwfUWB-?4ug($O67^z3;3_>3g=U7EMr-)yT<(o#u*Rno2rGpm}7zy9|e zBDwMONqtx32M_jmXO;P;Ipgi|wT9AiR!o^6S){aeNq-XM8d7!3B2-Id$5+$QKvL(| zo%YL0327-G`;@Z2H!3LjdxP8>=J*|p!}zx2`Ptr|t3OFLFV_G3(v*g|v}N;EJ+aK` z2yLFvIm%)>ONt|+d(e=S_Q4@h?m4%bvwyEG=2s0Kb&Tb6B3K(7r$gvBT-CTu|%=?YY3GiQRH01qq>T(IyV?HA#`l!cd6(E z9y4?akGj&gVABtjN(Y3@M}HL_Z7wCJUH{sQ?*71TQ(G!k6ZR#CU$JVD`08W`soH5F znf@#MZvZv+1lLNhJWg+8jpOO|lIio++g~i;m$1LPtw8w0)SBSSRfsm;`E||d)454v zbW5JVkt$xPEUZM<-yZj?+$eC`CGRO5`r-u6-#e|Le1R_H{94cb6eVY2T!{pqVM~Hj zr6i-`fRyFcy!KB5{y}5KFW$&J>T~T6OazUNVF%0?mDADj6Zpytzai5*8wI<1gz7gwMV)K97=MYK3F(5|05nIR zY@Cra`(%(D4P|7#jW&z!&m+HR!R0{w^NaOa^|@L6qNiS>Lvyr;#>{5OMsrb1QZ~z1 ztBfbKyjd3NO_`}i+Qu!y1k?+Zk%gR+Ok8SYQr0C@)nl7ih2gZ~l61bA1O9mO_t}@0 z8B}!U6ZX73zHF6OSgG|j2Wd)7O7c)AHfkI4HhPYaX)yWO*Q^^h^G3!hzI}{MrDUAAphi8(S@RpUe?xIdJCJf*qoy^)K2O)!6YKQ%q26r)M5Ei#Ye&7{Dgciz^< z)6$>e1*qr3V-SZ%7WAMb@BIu-bXbCYja=JLtIx8O%X0+S2X>E}kMl8vW<&bQNyhTT ztRA7%>xTAy;-;6+gyrFHVwS`tsLu-&n~{|jYI9?b5EwgEmJ6AO3M+?>J{!K9_!isF z+B)+y5AA`#JcdABGAA+ywK-v5rA|g-6AS;@r`(fo_{G;hqg}S5y??xZE?#)>T5OkA zB}+5DDUWV#UX^>Kmh?BG)gLQpfR5_UCNE#MT(h?%7X`-skUQ$npK;<*yFUE&#=}M- zf2EF;&%&8xuSQp7({ElVIbezHq$|F4j-r>=Id0>xz%MDLv->O0kn|Lj@K5-J9eN(L zx(881xm3(S1sQ*i24~IxKKI>E{c}V%$AskXK_jd#G-9w~n6f*lP;ayR5EC_deM~CL zr)TNsCLnYiwSH1&!|-vHHjvAXYdQwaXkIFd%jbKJ4{vvE##IZMhQ;#u2DQ0m>-gOU z7A<~{Cta*>e-kTzdyLG%cX}3w!aV*4U(#l7^jhF!7}N2F-iksArhWM&K3&VS^ zP^awY64{z%iDXgB`sB|B#ENBVscOVq3Oq^gEO@AO6we)6i5k{;i~2iHAkWPf?xU;pGp z^ZD}A6M0T^{!1{S(s=#*>s(Cy6M^yft<~G#9vffO$!xk4T^klJnK4gY6iPi8CjQNb zozGgEcPbac$>x=LAIlB42t_e9H zNkQxA5$}y`GBBlD*RGl)^ld&Cf8PGONoaL8tiUDuKJ7z=FUZTVmuO8V zpRl`1yC&HF1ao75H!~@GSB9ukr924c%ULR6@yMI@TI?S|n8kDaR)G;AQMoIIJ{4it)Uv1ZT;y8z zLlQ~yKMmd4IDIDE4mKoxwhh%)n<`AkUU831KD`dxBhs5yUTkRD3Vg`QN07dG^uz0! zpnM}@c0DOIIU>9MXKA6WpA;FP*DO?!oP=k!he7FY?XHEMVXM9*7-VIT#q%n_2*Yr) z#)u&6xu}#E(y&0Q;$1aQ6Pehf_`IO5y+dt-B z>K6uHw(P5^g&k~0#wJkUkNOyVFLd7OZfU*$@i@oWGt0RDduoN9Q%VRU?d2l=c5h)4 zZO5SB*ZFBVyGZ;h!2y&DpGlLwEhg=)iprGzP`e@VJml^lzO%l%c28F^5>?XWoTN;} z)Th&i$2rjxIe!G4r2cS>{8+l+m^|D6nOSpqmT5HQP093RucpvfxYkAw5()7wQ^#7_ z+@fdHj zSZDm*Y#fmF-dk*0ely6F&7Xr=nxl7=iyNqDetU7top>xIgu#v3r=slL@C+^ib?9 z$jVP=Dyn@os4b#w)5eM$p}o2$9M7>8#1XIM=Sorc#k7B2>+wp$Ccj9u11pT_&@!^q zU^GkJWW6Lz^}|#8)A!6ngRBW(z1D&f=aMqmBt8n{H1F;1p1+p4<8?nRNBzUs<_E_B z*y2JeSWlOrpG^{d5z*!2m2*Qs)5m>58TH9yPA+0jlAY5jVunXf$aOBj>2qx7kyT5s zb0j8LHJROu$Uw~yRLQcU{SS4D^>}FWYP9pNmceN=(Gk|?9M%F)8Ro6Y@pEPRb=9?U zY(50ouV}wH$uoYOPObUA?(C%~QD`Y?@1Rv85@+t@Jok-WL#l8T*|Z*%a}&-k@5^(V ze^ayeqD{o=F9*$GPl*!Z#9XcA)pi%ZH_aH`%Y*mYu^6k@WLFVs7yicTZLM3e`VWA7UGh%m< z5J@rDLL2fleTk6bX|oTa7YxP24C(Omj-TI|dEFUZ)42LT-kX|2#s8u3 zG`NQKF`KzmmVXqONoZC!j>5k|3oiZgrfA^)t;=?^;|2C-WH@foSQ{t&T}N*#23e;<7% zyT82k{xy-C`OmLEn#dD;J-&$e-qF+U>OBn-F=cihIKOP}nt%DF%(=#095ym%m#V}s<4!tNJV!L2C~caD}C z(Nj6N+zz!dxwKPml1!K6dS_IiZZ5@@aj!t|Y-pWb@9ij&0nsSD!;9?B-RXd&`;m`_ zwCFj>L&N?Um)#jyz~t{c*3U&w4>;rx$t2jaRD8fmS4g4`HU9y-VmRW488_#p)jsGp zYUr<?zM$&r<|f+Oqs0T{-LYJ%J0L=?!ZmSOa5sd+ts_8Jl4F- z1_?z9bRTw^Ig9S?zyG^-O)+}OsF>=j?@zl)dm?bZfWuJ5u~vBuk%N85pqQ1X+~iyP zgC(s8sI%pw;l@#Z$5oAwF=HaMIg>xUc>(Lb{^=ir=9M|y{)lN#dSaYQ9k`xh#EdI=kE!g%xZ7g`*C!Jy~acblSR+1(|4<+7yjP@i! zkT%{YMu>qHA}NBTF$&-?Xp{_q;L|uA4B90}5JT4^;43#SIpPbnO##q9OF=@}ogCKnJ&| zJT0Q^UoQ%D!PlTndO!lLD9~79LSRB%^oXaBI|Eqfry8Iw(j(qLbc_J~Hw#e7fbf7Y zn1IHTIrxbGkP%T1ePjY{ZCWNo9^}Uipx}l7Oa(x0EI{oQGh!8@Vg1iQ7DU8$>klhp z9l~b^!t88_9SENTa6vnS2hwIobV2-_0M&g4cCXC=9~a^p zO5*_s7Q>Ce1x*cJ0G9J03c)`=EJ@WPl9wBoIxIkQCs6 zF3Pk2TF{LuQV1#-R4W67@H#=4C{G$e1cTCLfj!U<S43PwE6TvczXs8k65ID~%`%ydDx;OPS& zaP<(N6+Q$&h)Ew&3XK>52#kjOxb=n4KLe}Vne5HSi(83RZDjR9O6A!eZ; zCIJ1HEkq`WC1}tT904ABV~03}a_s?4mKx|z zJO-PZbO5W?*(2z|s!o9OFXRXvZv%u*7E<5bl57 zz>2_YZV2v%_zjV}0~@iqz`E2E#3IDw0l46(xgleBu;UF6z?Jbp6hbLa0Rzl?WJB_v zfCh$8G9jsF00L70JWz-yq7Ab20?UJZ1bOD^4R-#|4CqlJpnNaHBoyESEJS%D&LCG` zpa+HyzCxd#0~Mq%LJ0=t`T-*7WAZ`>KVbX&3n2ZkE4=K709|4B0D%81qH5~Yhce`yU3^4-*MEocG2Xc%=5U0KdPPIiKD*kH(`bXZLYE?840c~*} zC@l`eGhQ?zAA0c;(Ei2qVKgH4zpgvT5^kvZC1MUzj|FS|tDk_21ueyZ3TYY#G(f;! zf`82f5NO*^-&Q_SNLLoD8Tty*0U5*t1{mt$hJs%srXb-2fI2UN`$~=nOUfqR8n_(* zd6s|}f!LD(`Y(He6G17!O$I2K9Qx;^CRCS%Fo#%E!0|97BS4^Qyg`sQg1Hi67?hL> z&JRrJ2*RLp2wcR!h?qzP5z&+eY=F?cgu>DRBfA|0XYeZoMrt}D3~J2)zWysC-RVH$ zG80IEeCL6#GHxqtHbDPHu2>d`T*(|@iC_wxhf+4E($90jlAubn!=Qvb;0Tyc0x`Ut z4}@Gc;M|SldAI3wJA(F~N!qu-F@^|8LpVA|O*(0?@`f zaDenBprYiJf^`~85PL9)qyp@{z7%1F0ufaLDo4dF6|EXjSt}81FleL(P^qdBbucKb z4uESlh_@h&8i0Fgb%-Ju^y>qV)onl&!yvO}0Ae;GbWx!C765|LDG(Pmt)R~JwIIGj zG3|iZ*NW(YLB=0}N8sd|q2C>V==2eh1p4@000d=R1_oVq1JJ4qkpbo;J^>JnDlo$! zoL&Gbd_oNTm&1+V$q;}+Mg725a3`FnF#&Y-!O+(raIU!@QT2b_d;dX10t{*!22x;D zA_v+V0s9yqzI`~*#sK(t1c3pAkmJBMMESKu@2CI%WFVoapiW;pc?&~_wg9_f6Fl4r z-~MN@atm1ey$z%bz9CG(mE8_J;_V<_!(gIN$T2EOW6driUjQb4ix4;3Q=j;}k@qVzR>S{fBgxqh53VX8;T#%%E1$z{DGY0TI>zbcq{>B+&fnZqu8n z(bNnr^#1=ef25$9Q~yu%K{c8d{r{G3A49X@y3I|ZMu96dYU=+MCT+AKMUUnCpE^tl z{WM|-a^jdmsvQ+6M*b($mA%=+4 z;?4X3>fO6oscL%(4r^;`z8r6|iAc)}%i?t3kbm@CG_tIXp?1+*eUmV3q#vrh_FAD! z>~&~a%1=7fhn)M0tV%_1NZGTVrttI;#0{zYJ0MFDcuAL7=QwBEI0{r_xNi&}i?#XIV!_-?mht=Y$G`GSreIITWvTJ7;<+$ju!fJS573U{5WT+P(OUI#q z7b8|*cQ&QSy`o_94gDmziYiBQL4nan%1nsc@|5{yXVUXgJ%@EBL_rr%3#Jm5U@Ttf zK^T&$MXl>4yLWuBVaV8mJrbFEord$#lWN)8lVb8MY)3YTDKihPQjN4BuBI@-jEM=U@ zA}Gu#B5IrIByUb0CoOwhXeA0i$=|$wX`Qe{sp=lxQSeySpfjJ=Pw2?QlzovHAK#gl z1^Kg!Q3~xeZrYBny`3PRw9pc*OX|75CeQSd)g~`Cf?}q1HNlRpSCt>_K4$MgKMqRg z*z=!Sk#A$3#LNtY+Wd4Paq}>^D7fRRtz?AhIhDNf>Qsos=5*Lfop(^Zlya7TN=P%b zUWmumeaBgHu_)DXZgzMzN_&(g9Ue$Z5{;aux*L+{SUP4y?Z=aun0PwebxQRhuDI1B zmA@9#w-i-KU?aanIP_gZ#)OxU$VUv9r!tlUT6mY6fo?M0x|2zA8qeva@rcYT8S02r z&5JSSAnXw`nO^ci&}RWojW_B71l*`P4zf0O5>IVq;c{>gZMH)kf~^^lcTZR=B{ zA|da7k7k0B)eJw`*L$RrXr7yMU0gBL89Ju|BvAsDN!E&8p+!zPZOes26B(n9I!Y0IG2ViX{68v% zE&jf!8G9efp7gZV5Hl*T&&Jx5Pp2e`)I?|*v*NqOXl8vBx*k^t zzH{0s)(#!t9ZLcW=%{8hUkJYHM(wnoGW7PdZ@?r_E z^&Ami1j};<2urUP@t1jCT)e21EBSwZR7NE|MDtkq86(L~VdjEx->~JiFhU$<{#Coq zfzV_nB(^qLJCB&z`2T*y$N&F7Fh=pYXP%0$;@M@tG`@%O)1% zxhLWL$<<+s*YTr=9OJ%rGAl>5Q~Et;=V_#FAzNdZh0$m~#n{@TcRvmDo0wZ-^6pC* zdGx)jM3H$WyYmn=PqqX(LGr^fm1{oFi;7CDb5}U{t+bQl0k(F@1V@j68j8ASy%s6; zacyO&aNKW0IW#sR1NBfv8>}C}xuv0nsw{GhHRNhE>Pd=3=$?LwpYjXUSTGr4$kkA^ ziq(lagTo)RVxj&ac$0GsWsQNjwJ+x87%I*KaZkofABDlIkwHofXJ?wH_nPkP zLwH1NV}_5ysB10BHvg)IUQy8`p4D0{omW7p_ro08dHUTY4hPCac_T=P_;0 zIj{9FCj<~RfG}dh07MHQE5GNz4|c=m*7#EueFXxKSDR%>V!S#3eVT?1!A6kmAngmw*%c8AjZO^_3mf)OR~ z+H|isxX2l!6r#nc#%(zEJ@oCwsTHT1V*35I4kn+BW_%_UVI-u2$(#RRa4u3HVWG1n zjIBSA=mShPwOCPFHH}E%Cx1XG_Yh?_u7_X%Zwv);DY^DeQ(3tweS+sfY9gAKc5pAz z@N1t~U-|7PaUL(T7H(QQ9KTk{#)pel^M4BNLy6`f*a$|muF5xJmo$Cc&y?3)B_H|o zCG04@dOO`ZEBNxo7xcNkL&T@Kf{%mtj@m54QSSunGnybATmN6Y(eZd<=pJNGSA;JL zdb&a+kn)}FV%6)Eo`>VBBrN}5VP6##XVY~XAZTz83GU9|Zi6H^K?4ML4emSvg1ZiR zafblGg9iu<5nBFIdLXL5<^oalVN%mjEnyNlDPLxM?(M01KzquI}3nfjc-%X z3#1rX_wk#LqV-;f0VM-BVZrD`aHLi;Vdl{XKs=;ZEG?2lZUYZqYVZN$FG$WVFbz5WB>7_`j^6QoL6XZvh#2<~3GZKCR zY{P^@yNmtpFQv}gg^Qx-afu0S?uV~n%G8q?p?^u|8 z%0Sa1f65xoe%vgmD*}hx1qVg`9i<=t-L_Co*Y-${GiQ*fn%r7>!4miRaRny!1$H1>9oEL0MFT-5*QR>itqO|aST1*!^Yxk+$$=u!^N{fVL*z6f;3iVbh+g!_Iw=S zs=S>3CE5C2y6T5_WwOSvJ95~{ko@JPl0>lj9yTvD&LmI4`b-rVZ(`-$?SJhUf!<%}WX=OnRG(7>=L^-q*kKcU2)FlI-qm@6` zp>bXsC3SWeXH%RY!ogQ-WIQYyYJMN_d4z#nwh4z(k%CcapXn8j-cww_DuIE~jD+PQ ze}vK%3*v)sy&qb_=~rx?cY*$Eum^QfiJ+Za()!=7JM6@Hb$3sr&a&W))+RT^wnO75 zYQizH4IsY?zZAht4mF>=jWZkKg66Mz=~wl}Ur#@wv8Ka}E#cpnyF$#C!|x{lRC6@G zpz+<4l19)8iOTXYfw!-KPuZ+7NbgpG)1MT4yrGQ*T!!r}TT!sf1ML8#C|}&^WZ1fg zr~~5CxywWqnZSptr$Us&D>&#LwNC+*$WJ+NIc z#h6u@bkJD9Sd<27%XZr{iM2GvwZV% z*j`gcYyko}TO|zz3k+Ncc2RH@-!St{{J9J94efM%;|5FjUWewpIO$W;0avYE04% ztuTfQ+ZtySNY8pUV~g9La1KwUu@sLzHbRLeC!I- z?X9(#t4CNM#4frE_`k@GBVe~JOOuG^TUSi)*}aRvX8E4#+#1a;V_wA7g>opUGMEZs zpRBA8097luz@Z#MxhKb>pkNB2+`KfK;P}sNlliadVrTOc+_El7mm3!VY)?U|$4J7}UstU9&j05`^9!F~{D~6t zQJ3@>pLO|W&1T7;CiEp2Fck9S5mi~#x>O^gEyUH}0MOU1ohO>l0ZAMvGQZwdHJ zelyDR6Qh=Sz5_D`dF!+XpB=5AwGkCBCR7u=Y9v2i6jS~fW+M{zrp|(6lHkdgCmz4# zk8h7||JLOD;jlr@nni+m5C%Oa zq8D=?x&%M!Tkw7nvogJTy08>xET#$cxKZu3KlDU!hkky9)fzDe)02O&SPQ(Y?@Ed2 zsq}+vypn#27e?icc;R^`tCvD9%`v|o>Wv&7z%DB)z|k5lWYM$GNe#`4a9=JgF?uS8 zlkv^t$AFoQ-_`h$g4N9$%&1o;R5e~($u8}yp=9kHosdfx$6YiKz3NBH6Q#}y$=en|R^dp%9WpyA`0uM@-O;`-2Rh=Zm)AHbjoWS_G zyR$Nyxn|S`9@5$~o{{4?Qpl)cD z`tmjzUo77;AG~eM&y?*K8si`ea#l0pXJGMFU3`D%!g|G=S9W1+m#NHIw+V-OB%b;r z@3YZ})=D!1Q;BUVxu<@fdv)2YF#UbCBBWv}8{rFnp{v^L#BWN&R0j0>DC6}kc@_>7 z-6Dp2WkX-AIshyb9|F&R<-vf4w^O~5XZr^`sS`nRB%{X1I~=WT*ly3|9{>EgKwvBA z356@Xg8kNZD0pz%33ims$3VjNit;z0XN85`L8RxO(D!NZW?o~uozKT18&B>RG~RKz z8!oI65zL>oeSzPP2?3^QV!X;cpLY&K(8v884D1oadb-TA6aFbFM+&B6Yw#1fn}Y`; zZS(a|L5jpQy>-L$lCNb~J4#_8wko*^^lWy2u7y(uRI=al+o^%ngN(R#2&HP;&wjP} z6GgruORgx&r~n{B=Q)L-tim|j;><#QuFt}TdquHV`wOZ>0Pt`e)4P{DmGPqDjuc-z(fG8_@j8W1sx^OgFw7@ja<^bTkEXpVPsTvWIuH? zh>+2WV@{Nl1Xfly>xb@I`RQgIZs~3AXAV{fgN5w1r#P=77Kb|FNnfNUtuM0R5`86u;NrvcY zrH>lmr!s{v;0}5oDLUVzDHg51Z3l7@NwGC|pT-CQ{6c3S?=FO26l{fOi>^5E6YN9) z?kg!<+##-b=84xiV7}JA@;>drJtfxP4zGD&ZFMleK?Uih%5$Y_*f8W><5M zb5i=!a(t~Zmtab8fIeJs$k9LM{>#czNbBCw1PRJDPTjv98IYf)w>r1EIxOH7bDz9& z8nO%c?)uvkjReZ}I*Q82)woFdNh*YD5)0jxsZw7-F7wR2i`6J}-%!vS8O&rGkQc=x zO&>gG_oct#yx!yt8(yf~pG&!}>q4F4pS@xu*`CfFT=O4h`KG7VyG7D_A?C=mHDnZ* z{AoW2cL8)tn=x`O&L;Sc!({Z@U7K}#Oza$h5uJ9~aBU;L4uf=0Wfs(+ZNK-$*tY!7 zOVpr=t??cMfDD{Tx(^6{<|3B)Qf-@v>hMl=D+`9U0f`VX0 zO~h+dC$oWi4s>+P@2@ZN#KoF~3hzkCOyU=VAlSUTcDf_@KkfqadKm z5i%<@nD`qe9?p)L^t)O5l()w*{F_IY@;{D0a})jdD{ZVBGh}>U&eVjPlb>&@hFcGG z-cX0FI^fuD`bT&bYw*pw$?kp+<~zWgVlki*72NboNjxCXJ#=$FTH`!xxoIKjHED6+ zkx69rc$u(ga|}_(w`sh$@$H!_SU&)Eyw0^eiji$0a*z2YO*t_v4q`;LIoKk*PFMw> zH>y=LcrRb`#H`;%uS@n!&|}&M!Hs#6%3%PyMxtGOv zMY+EN{0Omz>hKG*){;_=pPN;ubO7B?DT*aXdKO1=KTQQzE%MjGI`Zq=+JMjQH8;bh zZr&2xZJ)2Nh3A%dZy)tW;0ljLrSuuoj{ z2D%yC{|Nu1^xCefx~ysTR{~oMTlEkrVK;UsCz?!>PSwPyS(MvIMCZzo9@!^#N+xeX z2#?ZkSy+gbe@e)Mp^6wIJv-o1Z5<@>mYYubLerMlKm)|?;_JvDlGf^DB_BJ^y24N2 zcrwa1m@(UHSyENrP+5`vJs{cyZ{@8sCrf0lndU1|jiX=PL5Bs;urxJg#Uc!qt&|nW zEU0x;1NHf`8KN#e8sCS+S09ku(!Oh8K-{HrnW++mDts=cvrnaJLTK>doPlO z0%t`5!DNo7%-iJQfI*sPeEa7SaVSkRxvW?=TU7ZXe|Cq6&M}pGhHpHyZd6iP2WFdZ zUGCJB%;z{FDcM%U7S+1SP3?JH&GwWTLGGfR;p^kBpgBL&f!Pn+Baf~v^-iF9V~k9> z9c->#=FetCx{xU_LrsPrHzdE9AMT}9raQy!WMOZ#!Vnq=_`v1KnE_sYi z1o8TX9m)v;35p1daSI5t3ka}t;_+*G*eY51*fDS@NeT)G3J8b@3j8+&LcN2X{r4q- z`W?*orKHZF?G{M^wNCo@t5PCLJRxA-ZE(xF4yR$S^h|G%FIH zwTb{h+$@?l>fDe!z#U*M`Co7 zmuW8KCGNpu%OznZkp7v1kH+JiUaKjq9zxKgu@HK z_slsjGbQG^3DxqvcLwxk^SCL3%f{orC=e-^M1XIkt4?OPY$~^H*T>LdRd0{x~)yE zK(?iW{4Ea5=N(cd_ZU(Sj3qv8v%5~BJo79t)12%O`?~Q zM&a;@HY)B}lX3glb9g3a5o+st^YER#_X~|gFGot0>SU9$T8(%MpCDNJ_l)CKPO$E6(!NH*0Hxv9K4HkM47Y- zR2}HbA|;}w|6r--VL`pvD`iwa^*cyt%FS)w`GHii+VI{Wh~KT0wkx=2wx! zJ2O@6x`6^S=x;ieTMGVR)%@v}jYe~=<}t@1$VItV#@bD2hcm#Z{~i6eAZOs;g44DJ z?zE~EC~&G3eJ8$g!zg!&yY5nV@+{(~0Gd~Uwfht8aBdB9VJczL1#qp(UXY-#Ne%nV z=28$P?bdG^xVa{o7O_v7x=!A3tyVM_v#3j5!Dl6x#Yy}y_ZKwB4r>`lSLXlex4PWy zDq8uARB`!Yurr}hd^j_0v@^qNBCOBhWi1Jyrsbv!xK@CkN1M_ais#RF& z*c`6#XlRu4MjelQd2VqNU0`*vtW40GsY03-_cq@!3xDrh-IV*6i14e$UfeoySaFJ( zXOQcS(u>2!v@;C$uU=Numip6dHmr?=15Q?m$)~Wf;%8>MC5a8ugK7O2aWC=8jXa(J zM$gK%6z!H*rti zhCX=i0zaTj@xRD?CpO5JVtxNhB;MFTINsP%I^NjHJ>2Bk8>)^<8F;OS?DGHw3jCb| zoi~|jI-RoZbyNLes2W8`G3w+&Gma$~;N#kfSc!6>`pFm4wb+wvA+s8KfjGE?Rfk?! zi;a@3oK?SbWmYLm>&wA5ENJn{E3gt%$fU+<6lW?l@R*P4N(= zNAnT9qv;eTDsPMh+yiTAGotxUCBzDLTtl<&cm`^djE09vje#D{6w!;eUOBpn39+`y z6@Ma+diOBCvzn(%Zp~i4XRtjkSQm=OVEK}(Ze!+#yj$kaz(DTy1Ttlq(wy!t;O@6? zxxmjq_s=#A$5kP^zpyFLgdwuW*vx>)J3M|pryx595J*G>kKc&F6vQCJ0Q%ed#>2zs z-&R3}zqiKm_+Pu*d;Dt({g0`{U@9#xE~X-=q9~{!qM|4uCIJ!>Q3NZBD2Rg<#6b!| z!VgeleGnxV(E8jD2*! zxWc4HqFl~tOr?uGsMtEK1YI|>ErcWF;8S^0d*h#^&bl+6H5%6rj|T9pw@I{o$UZgZ zVcj)5vjdqBb|*k-mhE1Wo*I|5fM#P9LbCB*S7Ejm6V65j>Cgi-@?giONyWHj;P`|N z{9s+ZS2ownspy1~3S#>|czOGFS23{$97#at!k869HeYJ9aD0nizy%58jCn5CUl%w& zn_$2eG#jUHc3SKlk3KN7|Fgb6O@G_}M6$_o2dvH49B7SRXE;r>EFbKMozJiUr3tg) z|FIqC*&->gIuZk*OJ1vR_7qJ+zos;?OP+mI+@CD3Qz7xeK-FR|evDT1pjrw2UT};N zT1HUDEPWrW5qYyC+%L$ z%(O%jm`u8nkMeEwP2GxZP^q45?HG_{o+T+x#_?6EVpgP0TdNB9hUOm0rqiY!#oDS) z6jytb%^Q2r*vbo0#;_(g6-Rl)7M6LHBz}D4VaU z_SOG>aYqRB6<)e}v}(P-p~@rY!y>4K;Kj!0nF4;Tyo9I8RVlHzv96_9;{Lt)aU{y5 zx-2u6Up=c-UN`GT_v26>t_n#V?QR~1{s>A4{~5~>>saRff^wO+w2zS2nUMyu`qiQ~ z(krg2&QV&2Mz_N|IIPY52P@Ok49nhSuS=n>5J?uPF6aM(x8*vqGcT)v-Pm6vNzQqw zEzcLubcN79g_ooo{e-{5Ti!6@wib!LpU$59H&6d>nwH{wpFWH1slqIi@c;AiT?H6R zIC6Iy*Q7IG+u|r&VoKP9I$``Tj#wy&_utp1we!J z7z`k$=Wn}9L+3N!&b42EcX2he6-*tKXT$Ks9|RE(%fI{|GCj!ZY_!;{#82EK->&#i zg2iQ>Z|a~tDTWmRFJp%0SNf;Q@{Z_?_)C1>gyD3}h4f`Yshz3YTUYZjV8SWf@YnE&a{r^}}l#CZJ=q!|!-Qm_#f;GVXoXpA92@Jl$gVR{VOrqycxod(B+ zp*Fk$>pKnB6FXuoG!g=EfT{( z5xgt0j9Xi!{zqQ#Riw|z6O^t*mLa9Bw?vd7x8uZ)t%(~$%-HLezgYr6$edaurTN&W zor!4Mc`D~fj;@@Z^P+T}ddr4kTu;?u;wJBkxFO{&@qJ;QDdlstLGLA^4Yl_%dy0w9 zqr&(=zd^i5MN-fWtKa$5%PRO|Bm={7BpA?<3=)^Ph6LpgqO4bS zK;QH;%lqg{LLfPPp=1D@B;$l4!-Gn1l3cH&!}{ZKL_QS5Dpg(IaK!;^$$=laDS*!N z0;+>vYF6@D32boBQgKBklyg7M1#)R5u&c4+);}a|HmWI=xV(@ukypVr9RNC*-*mKg)lMfIQM^bt|(0KMg4k}Y@ zStJZXxuL9bvFiL(kb5JuZwh9ox$U0|+i#Ke9$g-B9R6`GbOyt%HG{s|aR?7mF{P~` zR_jrywUer);@Dzot~sd~lB%tn-`$SNJ^0P)+U{P}+Qwy(S#*s-w4SP7V2w8=q0XoKHY?zs4mias?Y^lDK&Uq+MJ<}Eck7vU zcgc4TKiTAO%&6^|@krr=+YW!;hKKJ1{Ma?|#n zPCQO9Yf zQ@$gN{cad~&4XXI3Fzn?NR`%J$c-cTn zquhh!S z(>T?(nSHC@G(br7%rzFAnG9j*y6|eVEjI4J&VXS$OB5F&GEs!GR-Ncgx zj`fFSY^bj~^y288K=S!r(v5W-*E&BiS9}PmCcf8P8=TM_ZSe#RuUnB~&71%~BK6c% zGOmt3VPWJ1A<27}`wnVq6z|3=TKw;9Ch>R)@^xLn-Geg*A^)uRks`$nj#z@aa1hwF zCoyi}ufxW_9aq>8@xyZ&F9}Fdfh*y-mnB%!#559*xFA%bg4|wqq@=5r59V2RMe$Ab?uW}S{}vyR_*05c|aW`~ED^UlX_;9c`3Zf1u__S&rN^aITKAHJh$ z9;P*Q>ht<0HTml1O{*q>d^d~b^Ulb0e*6YQY)D95L93)9DD%TT;IQCW^#qk>f(h$; zcq@Wo|D7j?z`KZMH{zaaj^yCNh&eC^o^1Z;MdtbHLk#(=D3;lXWgYB8MVTrhf+9xY zh@t7H|0vRw{dXOJZlcI$t03AEF+Yvv#Xz;JC^Zs!IgKW%C`&HS&hc?_8p=wPG2;#A_Dr>9Y{U6f#eJcO} delta 26962 zcmY(q1yoht6F2Pj97++SQ%XW90R`z$LgbPTg+CtYPlYq=74 z5qM3MCUnic&0jzF_e;5b%Lkv&&Nph`@S?1lf$v%CuypyOrHi9CB1q~^;(X#%sG-5@ zpAqAq$5hA0oKFh_&RN7R;!N^;p`=vP2j@qNKUNlh8(H6fnzAY=79Qqlr%JjW1nmP%oD z7Jt2ugr&dRDOrM*7<%haD8*iq;>JJxDt@MP*Edr5R`e8~5E0@Sw%9NYh9;xMWF7PR zS2~({a_JRYu#M_M*;J)c5*ad5wXehKY`C|*pPHj&BH&nU?el`7S*1PLx)|pnj zeHM+`S_K^6M$fQXwYT#U3T>;=t>b*Z>zRmJBNWn@*45vbJz=SrX*bbO&aPskT@upM z*@l~s^(vS<+I>v0`i^11mc{bN61i5+lTUd3?Crg2b{mq?qjn zkndy1w^9fioe8}44b8H7rjAB4;*r)hT)qBLvc9?9fUC3Mg$CBC^lh}Dm{_{3WA3_N z_N=V8-j{E%nMB-kJ>AcQntHl=DV#`Uk-Y3T3hO+KS*y!Rz6+A=#Yd3`4vo(Qu02*+ zjB#j*bKU6^>y8`24u0gRQk>B=@v+y1M@*|v@1ES+2(@OKb{}0}6k-;Nen=zzM$hxo z%Eh_vW8KMXH{IVN4PI)|Y6Oh$zv;$qz9qf!CYddxqo+-eF|~ME0!QA>S0T1bo6%TR za>;bH>)kIf|KpNR2mN%uDlAB}SsB`U6y=wCaixY-rwyUHv zsZd9fyI6ztOme0v_STQFP_+N$VJlPa=$Nk<%VH|FodLKOG|&9~201x<@;iPNO7<+Y zUJJ2J!^o#jSIGIuqNDquZryZ5{=4l;Y~a*{C3LvtdU4?JFp$6+=4R!EN+U=BLNm+yKXcC<7lY5Rag{IWiROSq7P8FCLydl*^5+svyI~Tfl zu*+2v3a5n{Q|_(W=K0EsvPbEqL=nFVY>z&7AN#0^(@(V2c#txGvS z$5ub8f}o>dzX<9A5`PBcOzh>(my45%^~Se$h>DuAKher7vQ0m+X1S9!L{FLP`7El; z?^WGh#+zLxenugbqOR{v4^svDT7nctj71bN37#kF?05{kXXt!b5b|2}?R9_CPuVj5 z5|Xpcn+wv^xB|q)2DLvt(VLVLf8-z1ijVo{$h3&qGu$cdHEkE2HF^o}6q<5s9cB(b zZvA#Y;Vi#{^w00u$;a1jMr&>R{IDcQ&JyvGne-TVqxZ;dqRnz*AMr^EWhQjefpts0 zEQRPFmt3bXnmf%1FUIPo5q{QgOI_hg!f)b3uDk3IXx1B9_M|gJ8XJxOsgP{1zt(KO zkT1>QE%oIC)ts`{^Ig(f`qb#lVQKq^H){`rJ{G$_GL4l|U8I#&-2Lexu@ms zv9Y=FU0Tn+b3HqE28-%T*KCh)(_Pmz)%@;cl@D=l*gZ#f>J~rBwn(49^b_>Q8CqJ} z-N#o8MaT2#$~*Gi-FR|=wr~8%O8dq!qg8M*mp?Q!B5$6NS2EH`rEudHZOf3JUYx*I z{^o{bBY&!%@Uyr(L*DB@k6i_0w#U;X9yMugQ{3DbO`{jtQLw$cFtKRpxs6jR9rXm~ z`(}i$U7U;|f2if4c~erXpNSG_FTrLT1!?E3aif2K!L4*VCbqkGu+R<9GqWCT3|CxO zHAmhF7mq6N+x>(sc~2wsTc~`}2Zkz1zR>}VI8Czxc`3}2AeQyV#dn1+I*UuqZ#v{G zrO)MRv^|68tV5}P3WZTKIjA$LzO49_vrW5`;c?ht|4?96Rf~W(rq-YE5WBcwrt|*c z_N!v+xSv*1gdX}yadeN+DA5O#Z8s0}gOu1&BE*dkFsA6(h?e#%re~UCYKxlBjZYXz zG*$|5c^iEcpOo(xQOu`N*x}Y^nV()0Z_gK4wq49sk^_a{oX%Mp#ja?!LI(Izx&oCdHUG z1IzRu!Yi%`ElbpH-q8(x`fkjOuHct7Yu6$+>3wR#Jt7a;ZSAbW$9gKOg8=d zDJ@rxye?jC;gar;2IRHzrM67#ytOndOW6OKT+hUIvaPg{* zPo1f*jX0~?EafA^Jl_Nzjk4~iq+<4?;`V+I7 z^Q)VzGEb=@H(z6uO^hD580-A86)s+G(Ja_bk_x5u;wYXASN08!9jX`j+P=)tA=KEp z72GIRHt#zmk7jt_TlzB$72e4n*nRLkiLFPiyC$9NTZr|&eGV?_(@X~Xd+xT!UyWeV z`4QQOI$2*bTbVF3vpv0={4W}{zXxyOdbn%`j!9T#y`LQs$f_x`SR~J`u$aAjW_Y0M zutmkBo^M20QS7;|h$pYqtdqT>f3*cE&ZGY5t2*7njfK`c@Yz@>q0Lpm``vF-8?5?; z*6CBXtK+{S%+=iyyXJ5{-}u8Ncw z585OXRBo6G%q-%*uJBa$tjme#?+$%+xBGhlj@ogw%~)Oa=kOV=`W(dt{eC7A!%7)J z?4<`BKbGzWqlp;gWISb(Xm+CRe`g&U7RwcXs@12owM*Vd+Eu2pVckksojyVN4nvr2 zk)fxjHa4WxH<{+tT+El>n89iz{EZQYzEO_rHvQkmQXt}SU4 z`-?vF7#^mhH#?^|C-*yjtJt>wpm0OYLXlzZt3-$z4)ib@<1TtkQ^%I7me6yeba8q6 zdPm~7J&5b-O191Q+3V!?G}D-Fb~>4Nk~IB`uhd;0id2qI$5vb3k0O4)T<1X5>5!{3K61VhRPtw@|u8#(Mq7=7c^leSZEtp7j#wvm^Y)$NfF>K?mP}Vhb4KN92 zT1h$ZC~!;#>pL0VrC4GW z^7R`@pdw#;c<9vwx|3`sjXRm6{CB0~$JB4yRFRXbGQOxcBP>!Vd$$e zG$zDS8N7-6lnvd@6?UKbPO!Zc$@8%LF*3va*Tbw*=v!36?*CTe9`L=!mV8aoK=ufm z5VwVfgghiEx3$?ji;a_LC(Jd^Fx3c|N(#Dqdn99({qemqgYj(w);>P$go2bzbN?R> zCC-^c&pC%Tg1NZ9hs=|9zAvg^V=xV3W0rXGN9Nj*yAQz)w6=kM56K2Avu@a(FhbI& zPeZ>q{P|Pu(2J0fZT1_wovkDNc7GNY?)_G0*DJn<*3oIi-|OEqIKBK8_z#EF9nsqJ(LF!L2d|U+sR+pvGej7FtUpsZyc+e4c(9Y+ z7(YGg15NqPrb32aw|K@X`7mFW@xXkFcifvSk7u!GPK=BDjSN+E-fjVHWiM?}K1PS! zdlQO&yoCaD(O+7~+Uob!NLsNz!*$B* zA}aj9KTkdqZ3|Wk*0tX*P%AniuP)M+ymRuDHkMBB1D=RFy9KteCvn-ul4e6aDMn1Y zXIp4>ucO)L=<6rroQ(`CIIkXuI`>X&MsD_wGz|=>$(85{2+UZ$M93maZJRDXo$fd} z)@TUSE896$q2C-I`Pm7GIaa;7{5pL7LW@0ef-G4gwCkDOyJ+0fTQMd#v%{+xBKh8T z6o-#V*F1JgoZx~w(KQG%XVlitfCMC}b?cXqTG;s_0Y(wK#{o4uc)>u!eRGRq%U8IK=^Qiv4 zg-IK*BJ%4Vm%oe?%w7t^4YZ*$6KSxoSLDix*fMu=8pB| z))0F!TQKdFNC7(Tn&tA+)!5M)`#Hx5FURxLL~0ur+hkIMu4vs#YXSTir71*7P(`{< z=*yOV*W-|$#`e*`u^+p}KPwebRpzwuS%E}O2Gv)!&}aPSovSkE{CDb^i2`wA)DJl1 z>PO&lmp4NzjuE}#Weu}=&hN&T^XAsmiX%OH$%Cg8MFWHB78pAlidqMLZ*2=uV+n%tV7X(o!g*^M?bAsnWwU{@ElPN)e(gDul!kJFjtae3iaPt|p@0%@W-fj?!moa9XBbFIo=lFyIE zB2wwBNX~N=3g)F$3MVt$KV#9$pPp)j<{OI%DBT<5Cd@Ld)%FZp7bQ*Fq3)WL7pYgP zzqNHDw(e@$J7;J+&Ukfh)c-r($6u9rv*Ek_Ct91)_ZuI&e&9bI&N+W}K`Uat=6ub> z#@Nxx!NkD&FS0eXxWX%24N5fyznEyGn9a~klPY~v~__wkcdZ6DI)s_groQvB19pgkAdkQwh&uw zmL$Z8LX0GVW}_0!j$lYZZAj-6AfA=kjj>yUa>EbQm?Wr78 zjbOzsX`x-7ph>|>Mx;dD1`nK(58w8j&W&VY@|>PO8d(rLbTMO zWaODTKw@z)do8a9goQ$m{?hWA&>uut6O0oc2h$1Hg8C6TEr_VrS{uSdA)4C2c%Tl% zhC*7*fs%qVSks@n5IG8|(1l29Y4jl}6oRAwcX`!;-)sYD3^6tUnqh{}8S>f?2ojAz z7y(9r2R1tyd1wrHi|#;~$pol;HwLp2kAvB2^-TXpMP~{WZ|MU!xn>YG3NbYU5saBb zoc~2oOJ)JxMj?;|;L2G-*HMU|B^W^44+bPyL3AiY!wQJ{tRYeq^3fW&n)e3FN^c8x zZOI1AYt0r?Kp~^HK(eI(f^e~iMiE|nh@@7}0kTCQFC2j6)fU8Fd&3F3he8G%fjKbk z$0$VD8FxBy9)E5wIFDqa5MAY2@dE+gx zS>gd*MIp8x5DC)!0L*#s4Fsc*vNs?wEHB6dh3tC*OI!6owG|EFppds{FceH-0qOMy zN<%&nD+>AS13crsg*Z^inJ<9yeh?7~5%L4j#s6>64Eit$BJy`b|D;1Vk;4F}0m%sf zPWc?bvEB=WJ|X3Sz)^D$G>m)*0!SQKq1ePfTBk-xbo)7 z00AaDl9mE?Q7;8(zas&&Z%l>u5p*h$h8hCtUK+Ua{S5yVhp~AEL1=kNMAOTgS^cKo8X@VHT}2# z`hGz9Z7$dZ$y}gpo(HufDtQ2j=Yv&Y&j$#k0XFd7fDPRJOa99;jbRWr;*<|PMw|+u zd&v5GAgDVAdP@ahpRx=78sGsN==}lceJz9nkdQ*avnm2dUA+h(ko*1xiHn4O0NW<^ z0YruV{NI*iBi_Z(TZF$D=z&?XA&*Kx5`#(rdA$_sK#u>Sl~Sk?87c(`q%#hL>pg^p zY?MKHh#`0r{!1l;<>XZ40tQx>c&<>Pf>_! zHCX(6X&?^DTId3qu7OBu**-%0D1_`I*va%dNDzgD)&aO(4?RF3Q}saq#(i+83_d{~ ze=`!eb)TSAWELd7TJV2e3;fFySS3+A0rJczXuh}Zv4Ui1r8g8c3R zl0RSm#=7+dK!+YE0fp%G044Bu)=cFAo=1?15#@SIz*n% z00YzHK=5uB*i)PZfu+tt!YCwo4(OCB0n_9Q;1o{H1NW;7kOT@DSpX8jZ_o+C@(ucz zZ&(rgC9vy;{=k@j1_<7B8Nvh4@iI`%5CZY^to+^Q&=o-ci$Y-)L;yR}H$yx_vB1u4iMw{TCGHwDTi!DeK^{;?gJFyK>Tt(Wq zL2%F>l!Zd}c7a0OPv|uY$@vMw`S(4+VIO2Po_#>_9RS2|0Mt(pARiR6`WJ$)7T{rX zKLVaU9)r7*dkmQAC(s}`Mkm0W?-{g;LOn#@eaE6gB9BqH$h!;Z##R3RN~cKo1%!td z!bjZ}UuvJy=Lv1bJK_nUG1jW_XN;!rP29RTyKHP@C6$@us5O?S@vR=VA`P8rbNqJt zT9f;<1(&;{h4P^v&*Zy6b4)F2>5)ZYni#5-MS&UmYw0Fm@)oD?356Tm=%OETcV+U& z=Vuznn;lpT(_QDmDZcMs!<(7@lEobL7QP2pT$K&c^$kfE)z(Fx`L5`X((IKh zEphE?7!<@TMwqtTBQT|#89R^Ho+vgC0mTPq3S25i>*%PKr@b#t_HaBIEwR$eJJH6& z+LMtt-rn2l>ZG3x@)FO}=MFbE!Ny~g8^CSJ<`)q1Q@CIj5c3OStmE>_asGOARYP6r-QD-g!;$)pIQOwz?aSncrC!`Nm}>ke%TRvJqw^(8#Lkpj4?E6dR&}Oh zW|9}eJ{(FC%AcMFSh76k?@}}QLX*mbwsMkVvL$>iMSa9!@-PVNvaINlAhT5}b`57{ zprLp*qstxr0F-UWb(b$0ayW}6xDJN5hw7MQ>h4he3V*JyCudyZ>ueV9lki?j)R8o& zk9@%pecwT!i?%Ez%w%e@EHFt-K(a4pETJH25#e|n7Z#yLZ@Qf z=a%*|A6K;+H$Q$n&Qk)0ib7#;>LzU+F%OTUr8f!F7j`a=j$WPuAJ0zucONc@HV8Bb z&~6p`K8>sq6TNI%+U%IpuZ?V?-Xc4xof1U_2R@Aq*d}6!wetJZ#G@}q*NFPiQ-K1J z&h2+2SzmEtPRQLB4JK}@qjqPIcPk_GH+Pr#nf&W!Qe6aVqT970Qb!W(Az|VwjqmFVlcb`e!yN%>kFb$Drd zzIC}z<@x*f(yz7tqoSfsWNkvw7cDUN`~0Y3dzq*RKV{@Pd*_pfdDz{o27MVZG8%O) zKF{fYzCX^jnW{86-yVxpgC>96+a0j^EpW!|DOK+@8@Ju6GZoen*d{zbK_aB272Oe8 zl=z6|2D9f29rEU3gSU|dRCHqOO_iK4+v5Z*rOaAs+4vq^eqv)~`|bI0Qk)OXxFs#k zLhzZL<15PNEnlLCiq@f`(rp(ti=HlN+0z`Q+cqke>%Yj~KbE1yXif8^@Qn6&9-iQl z5TN?~xlh}#$CMEtuH&s4EWhue5kz7B`Pfr(!hME+C`@r@vnOGe*3!}4M+4`pm(Myz zMog-%uKTNJ!UtOfUAp7$ryG8SWazXw1&)_nkE5#?+sZu8&&FmpCk6v!q#Cy;)|zxa z@uSbS)$$(~S1(9G=6Y@KRi-}q{5C^ZTPNaZu_9t8rMn0nN#DLX zZj;#=Diy6)U5KCQbw0bnp4}&M=`7N;py|IUQhBzfqhjBna_T-e)8>-JD`wg6we8{2 zx00iJ@{oBjF=d`tt4U~PciQfu^})pE@NxeyNbAsgGc((0E`fSl+cxUW{HI3&mr-rvp3a zz8A-!7-rdV)Jr2xtALORFlXkql`-IdTc3rbf8(Z_e9Li0}b zoNqnxAoDpgFSONKF5+wsH(F(5vl)v?(Di2j#1)@d0C;jbm}gqHy=H8d0xjg zUetJEQsl|r)W5VN=D(iSrS;>t>F2Y}%dDex%SSp@U2C-}&EGEf&Kb|ArcLKQ^j{8I zzN$a9ax_f!dFWX$K!6;~U7Ax1J2&aHuZ3W;I(#V^_-kZ9 zEr(^eE`^X46GCMc1-A|>%+)}6rH#F$=kCYy4_!;6_@TT}6?sD2ul}P1wo{$=yw15_R69u}bS&rP z32rA!`*BbAvtW~G6Jv6k-$#)V{L)7?%iqWPd-v58$Y$>A%70N(Qcw!8(tIAj zt&vAGFWqi6*p6$65JnQ}I&v`m(8zcjpLSikSu2;VMg2mYguDF3d)qff2D18@%!R)7 z4-@^9u!)Y0rXo$m_P(Nvx6jJAvY4Zu8@6_mCJk}QR7MovGQgj>Mqe~@pYaA8iYag< zzX2=yf$B{IC-0m_Bd0!#l8LlK5(x*W^*G;D+99n31&gn^ z@{J-I8^cGE)wDCp83g9?A>B1Bcy!yr(;ur?!pPPVy=z`qY~w7WJNU@5RLlGQ$zNDG zmXqJBsoQJ)`ytI)Q>V|SWaVg2ZIE_72%oU-ci}3zY`QD2i2b6*i2P}FUZ5g<#R_f7 zTCsd;)%!3zl*e2|nKYhevEkg8BxQ7<>@hFv_Q~GyT8v-S zj}(hW`9tmOw#Q$kggAUK_)QO&S^6|0U!;w7MWcReaa?O?PX5;6#qVY?xziJjB}CmvTEiE`h9wXrXLrw_n^3eT{qB4 zpGt&+x!jn>gk)HjEJcNAAaRzKAmxj}&)3tj&x*|U{b?^onyvA;Qc-1r> z`TSfIe_zUUG&r#*GnL#Pm8&g9O2rx1Wti}c@nz&6D^?e zF8`)DPv-1?C;K%|y$1R9hNbm>NrIZt+2kvV`ws>bG`{e(2K?f4CaCL-UFT+etx3+~ z_8o&Mqsa2DMsgL-)YZNfo>*_QCFBb3g43NEviZgbXva0#H+8IJyl7hIB(umtuW(BvHO6hSvZi*wet8p4s{JacCOTAThHQ{P;_|NK2C-YYp6=Z=TnY8*&Q;sBbOVO9+20Pm2$8KRJW* zJ$StOX_Bs-6!*QA_-HNKL-9-~;)*nRS!@GTQ@kckUS7hrBM>rioA;Wv-g~THUsDsO zJcXF|=@0TJsLzQkI67bO2M{TEr2Q*Fh!~c+1RIiG4 z+RQD9N!j;bVDWA(qAUfuVd5OzfylhG&BOPv@5~MA;auXJ#u`i!IWaxq9fhP#vFl6@$!Fn;}pv(@b~b^c`Op zHW#(dWitbs^K0Eg7yeC2FNTe$Umm1t@LSsd93z_k5h(2)`?y&!r zA-l$Fh{5cv<|Ou(%9ZVd$4*xoYcu?FZfRf1CVn>kb%0dxzVJe<3B^s?6Q2R6YaKs) z3>;cB9~r--cN%1J-Kp!_VC3R=IC}MM)>NpW3io?i`-PUhHUG5^SGvRZ~otp8&6_-KEa)_@tC)`g#m#@P^NAKqU2(DU)bO}+RfdIS0O_q*hXjWk zMKrx(21~|08R`^{iQ)B89nHyY?(o^zeP6c&zl8#mZ(kWLFviwHI+k8{-?Y|?(%I0$ zRE#vG`COxavTshIdY_e9QEQC&=}V0s7d$#sv<(K-@@|}S*G_n#NN}Gu_+V{4_#uvs z`@)2Em2{N{uh`hvapyVd7Nz2Wbi9Snj>q^D$?FfB1X}a>f7l~fwdSkmS`>C_Y{6b# z137_HCbmMCz0tT#%cOt>gmkuYeKj0 zsGy6^Ji>F|b-6KqS-I6mnONc$#vT@Wqa%RmcS6{0TlZN*h06U=h zc9Wh^`##Qlo!mkiVMZ<{+!1!|WXoUlydNwleAWsxvY`{A$Zgr>im0RCF^&)TII_VJ zBqa3X=J6-G9m>I3ih95r;%!eAOEC8qLZeZ`doJqBvx_dRdAFu*uvJ{V2^x+ zl&fjma&)+5njW+JsWN3+o7y0Da^UKtG8Zof{3)8bwYmKZNmDKD-K+N!u8?$+2%*Qv z^ z^SYAX#EU6DjC_IT@PA`=Ghz^uu%)1Dg0+xek~H>Deu@dX>TQ}|>%1>>U)J8v#&LI| zydh7sHDc3?qs}W|V|o|ObN%V)=V6y(8&9!qC6%BT`>$Q=1=cgQu3EauZT7dyX|Ah` zG`^`PRdnJTFN#TW(YL^-c*?XJ>*9HIxBB@XA32ff6yJ)N&!TUKoN-bQl_IX%A;aw}`(M|eGCGUdDpy~lh zJljJD^${Ba=Pkomvi7S(GE5tf3C1G%3aYO6`qx*Eo>Vup`F?PHuB@HBL9vO3!k_$P z)y@lOUccqP28XJD9l=B6RD(A@A{eh{C={Xle}NJn$Lfo1y+d8!)4)boa7obKu> z2faTo8-Z?}dvmKZyvvsE>c&g?q>0m$hqb%blOK;=ek&9{?o&JHdMK1NlFH?i>qN5~ zUs119tajj0B&d7avL9N_)s20R&fI=RZL3(FzEUOd1Rsn0?(&_tW}hEB#>pI#tNPM} zskm7tS%_VH{y=p5EI+{5u$MW5Z zOw?S<&Zjy(9}HGd=CH=Qn_#N*^f%Ew_FVaJ;P177O>V2^ zOGW@dod7usZt1s$SladxO06W%^)A*@?@Dyu6XaN`>7!>iT`)SW zZPfJJzfY5p*VZ49DdaYJvtDATG+e#iIbPBnR9?--WoY%pJ*+qu&xpuKFibXVn~RUT zq;0bO1TcsI>}mFRdf5!&XDO;~laUL|_Y9lQ*bgj=lmYPx{ROKG5Tk86XNxM#(dB6rLfr1_g0w1K9gMN6 zuDiK!E6|a3`3rxA-?>OcXO)qX-kcYYi?y%#N)hHA>0!DT_p5I-nj2^9TpWMa8zY%> zeufrf-aZ$G%Nb=Xa3avcZodMx%I;o^#l)DFOjSM;fZ^7asi!f-&;0ZTn`x8S{Ie`b zvN@vzD1OO1*fnQG)#IM`vEqgelU#D7j0i{8Q}SvO8=HBXjZPSRFPm_Zty2&x@W>E* zy*xOQ^*!>>|xBJjoo=C z8H$5$?1z|RQqDw&$KFIlQYk~HGvdyIIHkO_A6!LGwe!p!J{$cIx#$pxAypK6a_GA2 z;mYa4SCCI4KaC||tIN!N4LrExRitD2 z`bqPNnP%%J`negL{dI*|e-`)GD^B}p_=Xs$q5lN6y$AowxV4l-umB3dB7%u)&4^(V z6rxNFAShnZppZ8t;E(7F{h*?;O$yH~BclU-Yj8HO~O! zAlGPNd!&U1@Ibk|8S$V6KJ^*FpXej#U^_&f4v_VlfE1yJi;&-RK<|Pc&P3MeVN%3= z3Y3>=RK>w;p8m#aoLdgo&$bt<9ML<qf2cTTYhS1)FyO2drK)y)^Boi0>5m~(lR&S3B28ED0E?`%T2W~*vd4LYy zeK;RE`-^Tefgld=!!=0tefYn+%fu;BI7x7X-1u2lJqiK0YuFQ2b@B zRp9@t^sisSOaKNoAXNdNudfPfN@Ie+cbp*b4az2tC?s46KxPq`3WX4f0GE4Bpt#~K z3WHvUzyH7Ww_L%F42!|{#RH0C=L%JZsI@+O3xhm-4bB3K@uR2xks=)3h8+S zB>yTt;gawvA}0xx)FwaqdrShJ023N7!4mwIg6EMYDc~Cvv%&D$r$B=B9NtIvp8>S@ z6n=m_k_JcV>^UGo$)62TkO3s9v=bxuU%)*G?F%sYrYw9Hg`B?t6aQB$-d2WhAVG3) zIwB+o#{H{2M$*Aph>bk#hp@;4-oJ9D?h9}%1r*>6!*89;(@Y{;A{JdUKPf;rFkgYEkD5}rXSUIHoD z9}Wah9Zp3C)L`QLCUr2+B6T1D(SkhKC}&<*n}0L1vOGWAQdzLsUHE4{4KqcATOqYQO8K&@_r z#P0z4?^fwWfiyuE1xU~;^cBI128hxd3}cT06WRJp%K3o>e-aC?AsDe>*+6>^ST^=J zAo+Jf%HzQa`P=gK-*N0gz;O&kfb`!C!9l=A78BsNNJ0Wo`Ilm{62U}_5@C|svZTMc zAUWxOgUM6C;HhLl?tKNT%#;c;_-YDp%9RGQpb)Awur&XiBI&@XdODDR$})Hc|K-i0 zOqd-s2GM}w_}L(zTx5Z5Xvv0~QAkNPV1mrUjx^_jMtqfFD4t5AY@mIVb`Om?iKc3i(wGxTmFX6(|#z0&Yt=3<}J}Y0IXMy-%3y=LAc>4clvRbqG zzt8%=)}V$3xDWtBtbvIZ`g@}Z5rtYTxOO-eQ=RHR8>F@3Wth^m|JeXdF@u-}tSGKp5DYuj-%CkY zD@KA9dG9~(B(*D&ST47~$bZ4w8Da@j{cmK8CsqqH@cvJdkb{*+2)zFzRBEvraQ`zv zRC~J}O92~5{%d;Z!+L_YjGU>dxfE@BL@Te*PPo9RKutF|QstH^JYDrf?6ql1u&qd1 z!S?f!{mntmoI8p&yuowYi%W+3i8*|Aw6h+LQC}x56?x;n#>LfN`>Hno`c0s;`dVQ| zl5}CGnzWD9as(1rp_`Gx%JEoSLT$QS$0SBreDn>`j$*#MPW->MaB3& z%@6CF0Zgg_nXpW~LsH+9?^b2z!yn1Sy`xLsEDJR9#UXt2&T(p@W$<%Yk}TZEuE+jC zcHv@*X}1b}`%hf|D9sA;^H)dZjK|T28hgHUcyHMKi0U(gNWqcPk6Lo;8dza4X=|ab ze?Di&6^IvoBtbBTjwN2{#*>!8!`#RDUSRr|b0hl5siW&9#CPdTtT0|FDDGXEN7-L>zDkZUA$c{7@{QB8B%Gt{{1&+if(ITD z$~aq+9h2DEL0Qs_h~%+%=8vr8R$3-?zTrr==MP0r#|pVxUTEF-5p2!;P@P8SM0MY1 zJubP~+V}eyW))lZkWEUe_^VQ8>;aw@|)P(cx1Ey?B^L5bZcC={MxQ% zIZSRUF;l%fv8WR$&|65cF^mh}$ng^Wydq*C$Iw!_Zi?ppqjEX@;^r6Zf&jGVX|1I5 zpWh_rg$?!fp(}4kgB7}p)hZ9i`Zug-)N7?bLNv(o{!m% ziTw#yTrE0WZ3$ezHU%6ATC;r>k4Rr#OUB>)h{-or6mvHGYir|885uCOWptFmUG&Nis~Nj6 zFccrS^BLBJuE(d`(^j}s?^wY|l&tt9+aUWiJTb`ztG4h{+}-rHCWTiH{%%jJNVqs+y)W63s&)h$fv2b1=bh~p)8aL*o@*ngCd)}Xe-=aIRxBVmg3 zVwyQGBsWjvYC`wSY?o5{Y}eO49onSY&9}qa@s!2$CI!PAI{z=YvR3y9EgZunUgWBA zwTf`Pisad11#EsOD&zffw-PqTm>vWi0RBJDKd_@deT{KX!+<9HD>GMUD_|eb3V8PViGDq$kL;tVupfBFv-m8 zhgx2uA3i87YPpdtN4ll^Xr$Y>U${n6=SJG3Q-!_>wk*qaKAp^U;}%SwAURUl=4L8; z&@7#x27Eg!<_Q<0pa$c2N4^59Oxbn4S6-k5BU?w8ooW09x-2Kg zKCm$rqxcIYdPbqgY%A(i(x8fIHF<4n__E~Kd)^^hG3e1XPaes_-pzI(cldZMb2Z( zOY+I7=K9afljp`(koSkJo2UA1vB5rpZm*+zEPS1y6kIV`hP>{m)`*f=F~QtC<2 zIRvRhL;S5<#ji@`cKQ#3^l;0x?XKX2(l$@K;vG53H@7y5w0%~MJKua^^(>OLd@kl<{u^&;xxf^E zfNImg8TFX1b0Gk_n^UD5*z{y?hq`v4}-(y zeZKeJwZ32XNAEsWb-HSGud}N5>Z-HJPykW#qwjc#E71rn8r0W>m~m3S01TL4(STN! zBlgc=H!&z02re1D+e;CQHUfLg%xL^i2^Q!bucvx&-uDn(L{*ApYTJW6Sz#4+$xkTs zZ!?4$rJyrXsKGB@dQn^czwxy8xIRKv<9&k(#UQ8#@EdxMLp|V%2Xc43Nly7u?D3!a=HjD^J)$L#+KL%G4u>C7A1_Vj!jER|~EZF_;Dw z4@5U<;YNeX@^TOHra`R$9hrJYQdBb4hBVT9{iyE4qF|4;%||G~Ve=T`EeOTR7}-nQ zgnF)>R$j)!SA}y&dp%8byl*>x^$)&LsDUlvvxs@@>)hP{9o8)~gD3)q4uJt*z7qMf zhHU<*$1+nD?#CHX2@uBaF>m&KMaZO@COGT)XU!_=1 z{i+4Jm`beJcD}sTt)zn)XP6(o4T4j$Li|~WOT=O>GD?ZlKU}HN(3OCHuourF9WKm8 zsV|Bv4_yAU0W9ThA`k9Y@#S9}R8*n_kn3ziJddV&7&Hef(YWPxa^dN}+NRpH+d8Zyyko3jw)auX`C z=geH|tMT?*GgJN@rJ2YtkCF{9XLlnjFHv+ZTcT;t2M(fOVdWebWaasa<^?!oLB7f- zLZvQIk4n==6NX6&u(amFuR6XU4j=1vdNz9Rq!i6|CFT8#Jn;;<`v&Eq_1yd3lUIjK zxyIjqES;0+Huvv2lV;ZszKvo_GY7v)tmXJ@$C8A!P0M2#Gk5*^C0l}J;{N*sz3eU!R3ta z@WtzfsLRTw&=UO;=!!__Q0-8Zq}!yD5+Dh5O8|;KN?+$%KMQ{gR!zgsYRm40G7CAy zt=C&!S)5xE1fs;;#LpzRY}D4|!&VQyx zuz?gQ0%Z28%%Ewn_S~Ct(DVu5l?C5$3~b5(yHx88-zSYe9nNyNtc%|K{aLSYDjPx; zz2Dz9RSc|s3xNC<3xh6n2%?;6tQ+QzrDTE%M??0nyz6iK!&O7k($5Brm-FD3JjTB# zPS`jIdDa3t(~X}ZI{Y-d9sF(Slklc`foF}}>Jpp!#ZuU#8PChPsyp}Aw9a)5L!F~# zfmI`HCFg4NH*0MY-Naf^OLkITLK3GenTJ|&GCQv!xlZP#qKF6Q5XUqQf%@oK4_9$8 zn4<*nyc#>2{-C3CxVUHyX=FupGo)+F`ITDVV^v(1Js$q8PABFSt(R39?r1hM5MrP& zmhCc&JgcfPyfuhMTv@VvS-&5Qu)X;q^=_HUh6Qf4Ze*gStn7g~i6Jn$sZ-haH@@X} z%I>bNKxwpob=9s%wa74-YGT9Y?JIx9SE6@M;Q|s}v9JHY@4F*Vm(H{~Sc%5@LZ8EX zAJ+v6pCo?trf5FBD>hl_eufQ;0gP8i!+KgQ_5?(qF^*O8lQG+7M*Ot*=zZ#E4y&R1 zJPZna?YiqVR5RFzgI8bg!td-JD;^Tf6FEgFBjij>5H|SOc3dg-US9~fK_}?&G|BEA`Y;xI-YXxuKhGPfRfbG-Dy8A z!2MOBPh`t)U zo4EV*XlL@Q{cIyhUn0af*>!W*M&+VhX1-bug2D6GN4NI*o6!5;~yz?>OYd&KUs}N z;Q$~Q{U)(&l5N9_)whNu`G$H<#M*}_e_JVgFnh=-Y`cWpTLZdZ@e8#VoMuhOZ;mZe z2~5k0-FqMp1}S&u0$H=CwPGReV;0=4Svgfu3w`jc?x=p?>Q?oe_p|fSnVv>E;y*q4 zsdVb~JJUJFT_1rTMyt~h+_Ox7jwjD&rH1Q;16&HFK8v0jb7yy!xOJNY zHYDtk#_M%4ANUOp0Wa+^)BRU_m<_&Tm!g!!$;V-q0;)cxb%7n%YOZ#FYj|G6!|0`e zgxGUvRJ^5Cda4ek4kR|+b1OBEn` zCvqUyVyc2kmbD}yuD4Sz_BK30YvkWDU zbQ>VlY2s3SFnWuN<>ype|TPdd>#x>0&;5rbhm|w^qpKvC8m!6aD2d=69 z>=5V<+Hea^)o(Ve*5zTBWgGK@2<^UeCHu_+G(it3u7xnly94jGE^`a-k0y$6IpZfr zke=s9k5Gt^(9aZzNd2GSlZ` zXX1fa2B;>T4^NAkHX6BH|2XHp`^ek^72)WXUkT?(Z__gZuR4nVe%B5NK(51Wa1xt= zP?}(SU%wE<`o+i*8Z0gXzKdy(>zg5phK7~r{f+ulO33BW)uWBY@B(pHLeDdJY@c6C1YQEW9*^^T!QcN}raWWq-OyBUe9a*&79UvVc7xi; zG6==R6V>kvr6wb}uJR(kop!F4vpJI>1tZYZwn;wLNCx$EQ1PuZ$59jjZ7g1>GIZTta|hgp6A z4;lLa{V~4wX>NZR%fEgsXM*WkoUNf+DC=>KYXQr@*&$F!9enjLi}TQoRqb^XKJgn; z)1|xd8E$AJxO{XRcNr^Q(RlE7cUjnO(X4yR-_10@4t-tXWe5~(kt6Q_j^qLC{+V{# zWU3srBhK}6QR5N{L%p@TULYOY`>)7v?^WkNu>4nw@x`B9}`6-o$;M)+9EbMeeU%R=5TqBKKWY zwETD)H20lyK*iowH^3(Y}4UHhH^YNS5z}H^1|iG{s1BdxmjLQUMq4_K9XvC%aTdKTuEiiwd!}t-N$H&abWAh~6%P5s-!M-7oy5TAon6=*7XqolU@{@E z)t+G&l0iL(s z%7+Ud@t9(E~&TMC@HV`{_|6x_dk0MWG`||>7&jR z0vKV}5HvP_v>8IC17yV4QP!VeQ6@TagkkO(q>ARW;>Hah!H*e}dNVOG?6^bZpa+=p zrn-AXC9y+h?(HsyYnVvn`*V1C!wBck zxl$|G9#Yk2(&0@qhG8yrBy15V=%4#>=`&)v@X4umBLSM4y|GPUph-=_wLqqT%1R#N zE}o}d@`t1^D+V1EF)LO%n0TDDwuf3lo-se%g0}iXNY{ESVxv!SNXuN%g-)Bvh;xnm z!*RiRaygiLjqPLoIeNX`R__$e7H!{qv#n3Fpse%Oaos*dhfk63DQPSKN?esc<;}8q zAo(voF2Y?uv~u1AHly0rV(wv6d_ha(;P}o#5M8hs43#sVWRoD zs{g`33<8y#lOI7TD&b6|y=YlsoHYA^PqC@m55`=K(Y6O~09X|_8PDzR81S3s(vMue zKi-?O@r)=6>kMNoP*t}gIGMP=1^{vJ`Ztto?A$*qYUgJ~FeUhzl16fH%nHS1S8p6} z#yHK^ddo?Q<&e~?u#nQhExy(zLF;w$%KNf2l>O;$pR;h%hn?(-l z?Zb{dWBTPN#;d8+P4{ia6=#Zq&5w<1h-fvUrR55+2L0Y2{N;NsQ=r4c78nq}W1pi# zsVLi|JG1dS@gS6TmqG9LKRxUuG@5rSVx==`xJUsXKxhakG%V=ciN~JaL$dr-!7qJy zV(5sPcT;Q5oU?Womu(qSX+{Z~P{;%gfvlJi?*Cxd@-rurd>btIo+d|LGuPNsRv7-( z#y?b}N1cPyWYMEC*^$Y-srF2Ii*IfEcxT-~+RL7yUO&pu$$<}#Tg!h(fUGX|YAGzh zq8E5i0iUm5j;j%qhSX`qM`6enIH^aWe2(Zx@XdD9;V&Y@??msy9< zsfBE|e4Wmq9m_k==2w|=h)lHq>>`AWB(*Dq6v`}B5!|b$QK2iSfbJ1RifR{T4&_%7 z86dG1y~^QH+5TW8G}CisRea@f?9VQd^-UvH!o=_V(v-=FDs%Bm-d(q9zR*60v%Ma6fbwlP_KN~dx^4J&)_nUFABw8zk;AOa$d^#1{f-&C8 zq914s-3H+mzoXM2|8BnC}ROCBVRDT#l`!^J{}1m^ud?Q zqc4p+t>%Llb|&>Cd}HOact~RfZAD34r>x8P-h1ZwFI|}hUN$=Xt*?bRlg3I$7vk6| zk)^8EO&kO&?sQBBdOuhDBpCyEs&?uQpB-A}66O}1?gg;D!H<5ej{$bz&IO9Tw^e{+ z>jB3s?fqLn{fb`~9&Y zz0WOX6qQHsxRC!rksSHXdik zCaeGghITDcT>**5z+0xz&vsmFk8@vif&1@3;V3rt>9|0*M0TeC{*BKQ%(IwtYV#3A zSN*rb|17yYsno|Pw3xicXdIvH{H&Wv>Yd|fUFR=EWbGQ|JNn8_ZUSI;JH?F+vj^n zjY>~91NE=Tm)YaMDz{GLkfP| z`E>dCyVZR>tCeR$r1hPgMg@8#<773dRyb)SBPcqnqKUd-r>C8f*(DWK@k7D(KT+z0 zZD;zzMR|zHUo_Q8MPS;Y+vQ8q%reNmsb6?MLx~L}d7Qsv@$Z&E z3GO1(&NmY|nQ>a*^T{zHvE8JgD#~j#Jihrj6RJ{%pl!U}-E6nerV@N^WPQHY1jP}S zWDu^iy z$dGZ?^u~6$xJusL_BC9eGFTWTyKvhg<>B!1 zQ76A7he6XO|G6|#wy5LvRZtgf3FEH!74h4zraz*eFuX3`F}^YUVa7==|4Jl{A5FfO zm>7Mlhu`WAey?nkNGvdCxjRz%W23Z3D-C(NH8d{Ga&TKnE%-%cdv;DL%HkJksfg}9 z>V1s*;1}T!GhF#`sGcfbTW;e7&UN>SUMh7KNff#vBjcFHPMsv`1l;=MDT3oc2jj6| zi{^Jbg6MTYrUQK0?T)!uxJ7By{oB0bp#jvouCzn$&R!$V9~1#DsVG!U70Jzk@v&_4 zP9!KIV^&M3{d=Q#BBl%huff0O@s(CIt5)aCb+_i)R%A|17EtatUIm~(hlPB8i`9!G zh_?QdOAu?l7yFF%0g>U4jiBABQ{fzk(GyztPo^7=tT3L>gphEFKUreSI#riOPpCv+ zqVuw@G+(>A?-H&6PSG+Q76-H?;^xa`YU6B8JX|G;=23JfBm7?Tj3oRZ>^-E_Y{S-G z=acVi^Oeo-7-Q3dBm70K;TY}391Hn!Y<&n>_pk;}b#|^s0&HXuExViZ#Oa)JYag8m z<;lv^#4(TkhZ0S5X8QjH75HdeIT)V=0U9B)T)b_L2(c8u|C*(ivP|U=K?yj{z3E#))y)B0KN>qG=1o{x_yVOgS-vXo%5hP2XU6 zM@soSB`2B!I12y9l&R>w*>oCOKf6Z20%hh)_;Kr*yp1?Eq^1t~2k}wKbCjuq;0LZr zxPU1^Wte~&W@V`756U$l7?X&2q@po#w0VPK0r6Ddg|z7KB5*{gZi1Po!j7HGB4;d0 z1(};<$dWoPNDz6GIKtw;26L_>o&8W4m~&bdMvJrt?}a0eR9MZLEb{ zu|jAe{`hr+fiw&I{j@!%QyyDG2psy8Uc_bUmzS@M2L(slH~dwR2ucdMiDn62@{2hCcNZGB}V;+$A5Q$0WbTBJX;+ zXTFRi5+));luFJsD1L~%nvVkeVq&_;_(dE#Pd}(Or@l23bxzxdXblc%O!Mi+w5l*; z;f2yO1Qx_GHTKVB_BVw0!TL7~-hVbRl0IPX)HZ_0wseH0aj6)&eoJdLHo9$3yDDtS z7_3fbx27VP=K?|w!FU1z%zrH-GOZ&scOwnO37fwWx)Vh%V@HZ~;d|@gdt(xLKVMxr zU9;iHu?wA2c&^lIuiSrhU9Z@D^4tt6-u%hX_dwb6h46<0_Ax$oE@Auw9iS7W%PX?;A`xunYnb2#i;%-=V10dlGNqP8N9&kaOl$L zuakC_Bfx~*RA>E(8q13y{4Tn8W*O)2gE4}uW4Yj(QozLKgW_RndJ`R99`T2^ZPX^X zCFnsK1hFXlq;6h3yQ16< zDxC4sml(mSB-eayvN{%tRiRfxNO>Gv4hJ!3jrdGp|B|w=Y;Mz1JZGLR_`U{SxizcT zSIiN2cl;^TzYudye=vwJ9KaX~Qx zWzoc0^kHR+0UG(lBS+ymIK88kv|J#pom<3^j`G2ee^NG^ z`})9rmf1KEkT+LjZdwWX&3nip zBy637SC4NB5L_F3svA|wEP;DPtXUMFmdsr#?)^Kle1H(Q1DEYZp^m)|DUXCSpDVDW z05ZI8v5za0`VWB#Enk(^`YpV9dODQ*#7?99J$vr&7xwQx>+VqS6`udta)G6QYjiED zr}q@aPa7$lIO6`vL}Dd8lM*JnqCcO+hf^W;={|m)dSwNd(OSq)Bsu|HWa;Y4#h+EeV6FTQ!-y$GL0}t#(fi^vxTnVG!h-?-#s!b~g-V3AZht_hV?ss3RN62jA|56%15|b+Ls(94VCI?XOpKUTS?fB| z6w5c1xf&|Vo?SPeqZjfeupp&RB{v+I(KQP*R~@h)SH#YhZ%jctXASh(JGTrRtlD9&ot59Vrl{7fsxsIE zweuV8TVcl>h80c9&$P=1o<`*$z+tCN>y)Zed%n2D*riG|wav4l@xu6^*rrN*qIiwe zrRt8ovADL8RPsFxczq94LpVu~uJ`qbQQ#cqsOlJaX1FS0Oq>Kqy5HjzYmQ3d*yC-5 z6eV#*i=_S+cm2QAm4rJFP3wh-BG2X{TT1b7ORAP3HRfY&OB)Y`1eBrt57C4YqvfIU mdVZ(9Gy5t$$#o}DvC*cDW|iuAi$aMi$c;u%FZWR%?f(Fp1~!TS From f4c36cb12910467bc75b2e19d99fa0090c9a9b4e Mon Sep 17 00:00:00 2001 From: flavis Date: Wed, 20 May 2020 12:11:34 +0200 Subject: [PATCH 2/2] fix double fullstop and add support for more relation symbols in salign --- ana8.tex | 4 ++-- analysisII.pdf | Bin 522643 -> 522643 bytes lecture.cls | 11 +++++++++-- 3 files changed, 11 insertions(+), 4 deletions(-) diff --git a/ana8.tex b/ana8.tex index ff99995..8c3996a 100644 --- a/ana8.tex +++ b/ana8.tex @@ -15,7 +15,7 @@ \begin{proof} Sei $x \in \mathbb{K}^{n}$. Dann ist - \begin{salign} + \begin{salign*} \Vert (\mathbb{I} + B) x \Vert &= \Vert x + B x\Vert \\ &\stackrel{\text{Dreiecksungl.}}{\ge } \Vert x \Vert - \Vert Bx \Vert \\ @@ -33,7 +33,7 @@ - \Vert B (\mathbb{I} + B)^{-1} \Vert \\ &\ge \Vert (\mathbb{I} + B)^{-1} \Vert - \Vert B \Vert \cdot \Vert (\mathbb{I} + B)^{-1} \Vert \\ &= (1 - \Vert B \Vert) \Vert (\mathbb{I} + B)^{-1} \Vert - .\end{salign} + .\end{salign*} Damit folgt die Behauptung. \end{proof} diff --git a/analysisII.pdf b/analysisII.pdf index ece0cdf613c8e00432b8f1d63b032a54770ff9fb..6c7d7e7c8f46f2e07efa77fa1237cf1a9efe77d9 100644 GIT binary patch delta 3983 zcmai$X*3j!+r}+1gPF08v5hSvW8boGV=K|jJd%AG$z;tMlEK(_Sw^84iAdSEEGa`# zAx0yz3{uuCP1d|U|Nnc=`|%(Q#Vs791{z$D)$ ze!|oZ#A9Xi${?6Vh*F4+cVquODCz|w4G1qCr8uztKLyi{N^xeC zIQU@lt&Ft}mgjPrx{vx)T-3C(P`o|Xf|m)nQfq>G!$qVl)jwRg;AAyBMNs7A*&5|3WNt%*Sqd56H zcnwgw#TdIjJD?LgU!8M`^LAf|w{*C(pl&&+E&a{!>ilolox;Iyvs@bcU2ixPR)jQ4 zA%$$8->#8Vyi21JzA#*J0?4+Um$~q2fpmeL-8+xMmOA{nlQ>R7qZshGq$Y`zv^zZ-({N~=I?_5&Yd&=W50%hL z@MXDLn@}P?^ofX2zBGNIA(oMU_}g*S29ldSD)=qt$j<}H$Eic5{eHssn2Sq##8ng{ zO*`C2huT}(7T)E_EY$MK>Q3D3Vup13-W!}F<@OJD<@yPw^2ZocoEAWE_LlO@spmhs zY-zok5|Ns8sg9Wjs*lch*WWGp*4<8emWcW*grf*w)M=?mGpy^W;=`sYSv}cf;p1HC zuXweO`G|V+=roT^&Ef|FSHL$oHP-FIg$<1}cLSJg8I)AZQW}r1R;(jN#tHiwP3jq8 zSv8iFkY7;l*DJRTx7{X>xPEg~g~-{fiPSOrmwpUBfv<=Wdf*01-egN(2ZLwG?XMEN zHfzUWJ}i<_O~t>WdJaOHy7mVKA;k;S_`vLIV!P}d6^_xUpi@q+%kABY4YNjyD z>Gq^Ax7sUtPSqBv&$^l$dne_U>~M|V4}yS1&gh)wb!zF$K0{ z(EAzR^GI8F<^BEA$k}%$^8CJ$=S9=oYS}4eQF{DVsoK}Vj57+Ex3CS3;eyGgdWGNJ zL@yz|4XhHS_y~9!is_Qcd0DVmnS4HB2gN97oR;1(L?@-?4E!WZu!yK9d>hSos)_s1 z!4?{4Ac^h5oyo`;oGE)CnIHQtdRR*e+dzd8BS;Y2xXab+*gyH!ZzjE%G8R-zf49a# zMn!c#p$T@1%`{blOwwo#TT7YdM4}%K=%8pv_r8OM;IDwnu5zv-71hfKf%%_=ggU4n zXX&P%vy(u_TQ_URKo1CaCwcr#B1Z?vbeCrDX%k%>C;U~9g-ktogI&M8I2}IclO49= zPj?kA11LBJ6-V@>pF~Y;uCa9gXc62?j2RU>_sR%%q)Yuka95_rgA+ZJMW}uGxhRH; zGA?sG!GFkJ0I)c<$>+#hium;eY{+&F$$fc&Uq|vDJa^U8K zl!3BH(2<3TJxOT+K}F`8DolLwRtVSdsT@Ap6OAR@0z%$!?{h|T%=MwQSO*u* zM03h4@EtQ4zP@rxC??5mqq~lBm^nPRz^TQ2n%Hy;@+V>UC(OCtd%8L-cer=q-Yq{B zSj=TA)pa;=l+c*_3jI-=>yWhM)R^)L zWz=(;M`ppgi3 z5U5|}e*x-D+PAz@_??9W175QX*`DgP2V4Y6sc=oA;Gd?h9~qB=fY#y(5^u;WD_=b6 zyM$0y3{2G}`lia7I4LfLRT3|hg8L7}3;K0A!`uo3uAmspxv6g09Ue<8Zj}~zrOgTG zD_#{>!pg(%_;R0)?-BL@Cund@8rd^@fZ=hfz|y#sq~~1~aIQV0Kk@9Ed|yze(o~S8 zpZH=q?62*;i5twYixP0IA+Dd5NBD33zmO6wz6{V#Tz#Ci&P{x*9~U2$rf7%IRAMI%<^j6W`pVBwbca z#*Yof>o`Ly3&7gWkn*dr)gbL6ySw#sRRr8r_N60f{T#cq_3Gd<%9#hjQ;+P_>fL5e za4oTg&h$#kzxnw$KHXNKQ5QL;BOAWo1N5eJIg*_G$GUsJkD>QUq;}?D-3EN!Z7BxR zW^?`|G3LEqGthTARyr?1uLMTu#q%NC1Hap-te;mo4pN~BsoX2(=$uxhI?S-?yzH+| zr8``EO9&W+N5y)b6^k+sB+9=3j7r3(sBDn!Zx{yT3mCphYNXUdSGRb0?VfsKYKrt6 z_`b?MnL#M}vRIIzg0!LYw3<4aPpMbxQ-5+Zlgi!F_HQZe;l!eMo}Yg~@t^T>0oPeC z=*tDTDg+!@&FEleG_7ZPOlG!=+kIP$PEyU-kw+$5i5=8#KM$`MAU$Bm1!3N>AHF zj|@@tl77_VY`WO5)|T##kK76=ChxA1IflvU@8>IDl84uq5nuajk!0VFpLr1{3HJ1^ zh(*SR5{-zaCi^kRXV;%6;H|ws`rv@3fN7)~Z_|yOfCvc$0-=F0M7(1XU`bT| zB0UKn_uN{CZaql_XEX+7Q=NI~sR|+FNia?S$;%C|hSIFxcrLt{!FdC0e)g%1fwpvb zJ(q4CtqDupMUY`2F2%I3*Eg(Mj}X+nvpqKz>4iK;Nhv4IkotN6AQc(X?{OncDkZRq zeA}9gUfmD~F+iI~&pDO6=c}?W5xaS!K2vyIK7+8W81$g-WVv}iGyk{`<#0gPG!IF7+LIC3>el?0r64`48FW-=DcbUBeBQu*-(x&(Zz|f-@Hu z^;JTiv}fIRc5|62dv+i^HCJq&UK|#E;1m(guhd!K)msXjDgSw-dw+jDp_amCSA~Ht!cSwnH zhP{^f(-SQHHk;ca8zml(!DEmAIYcZGYqU4#b_+G&rZ($4}|O z&ka2}wo1;Jn>6w}HIFt5H=MY+U>G22&|$IuwvDYI_8w~J;L4R6&ng?OQ^B#LlHaU_ z5uc&h3u8xV^)Vk-H{UUx>mc5pwit|YjVZgQMZG9O^G^m$rw*B*a%l~O7H z$hXc%ae1wBvSt$#BNkW}O8nxH+v3wcF&6f$U;zWGYqPT^cIpf|wm7fCLY`fnu6)?* zUU!-JEZ?_Ip19ue#xcyfvHF$clw#!I+T>8sJK|QeoeR-k^}3ODHA{;GZ(|wcIubIG7=;oGE@xCvFdr3o(7x0l fde~Dn?s*EpC3G^L5`7K;5=ncoGciiFMG6xCQ_?Pw6#^KQJZRMt)N!<*_0@? zsZyJAfA@dyhx_e*c+Ppwd7qE(dC!~uhdcWZcT56tGs&N896XH#(#G?bq>~bT4{t9B z=lbc)wY-r(cJ!FbvXG9uP9k++^&gAJk2j3TioK(k>;vfLUpHr%_z^1=aY-BD6NfKx zq=HqMm|lviU{#$16&BK&8viBcEH9bRLTbCh)up(Fu)-my$)XC9e)d6+Eftn06XDKGaCwACgG@mE85<&OoFWb@A{bd9%?_A=aRA)nvXcz!7x!SISJT`Kdgb}34(w6xzNCbFYRAv> zBg^cw30BHY`tK{%NqP1wm>nLRg1*pWU)E4gZH+G34y=>DmY0rb7l{S>)SKNgqm(6r z85oG~G6EC-GuG8Zp4E8T@0OVn@L*)Vs^_3{9g;EHDdPS+ELp*FOfD71CC>CdYfjr~ z9Ckw40)Ek&Zs=~D?j6&sUB}D}6sjg==9&S{xVC}jW+#tWthhS}Pmd`ktbC1yWmAm2 zzkTH(b1!d&oQW#-hsU5>W>xOL@;&8?u$#@x+A8aT9rEOhRRWh8@2Y}wEKakxVQy8z z1muF^bu8a*S>h1`J8;zynfBDoi*D7J7@5ZfOS#o0W|pYcVT50eqbH!sTwxsI!9>$wYKao6N%vRMmz*N65-9C`lI z^KW-*m<}B8lt6oWZAR^LDWQnWn-ztRZY&iV8|-n!?Dn8l=> zGm~<7$;(3vK_mCv=W6%lqvJrE>tvNgw$2(1E*GD4=FJK#0Ec&z-Pm{YO|z;te~IxX zd^?C<{ZexV{>7HQY4X8U(Ta2dRuWo8K@)J?3-LX_NlOJ+3FUMe_}a?o3JKfN=8zV{tMZ^ zkpBxs8Tu~FQ2!+eYDyi|P{J)6}wd6w=@27z%9%&^R zDcr<9KpbtV4eCEsK6~uHEk`9lm8lVvKvZ(}7(vB9#eYn1{gbb>)WgOm0 z9~Y=4umg(+Ex2$p9-5anL#LAAk-5}*mEvX=5Ndkny6}E;TkgkpI37=DqiAr3I3^$OlQJFhMm-@gxR$>l36`0RHu!+HhBqnsI_;T&pQ55M!DHxx?B>^0 zPqZ?5|D9x3W(VMqRzBcB3TmO9x0aMbc;Fn>L9fJlCNJh=b<3jVp8J$BE@Erx&Xv77 zXNZWAh`7WcpxA9{qYA75V`%j8+3hGS&2kQc)tP2Qn2ZMIMx7yXj`(r9=Q7VQY zqxOJ^=r-FS0p9ru{>{@b9=Mg?01%q9awFyEV48dW)v6zd`@JH37o3xEr5pG&w)qK| zs-;-ocRY9c|88U%O~B!u_|8i5H%cK#2{vyvDP-d}#;GhnhOXJ|TRWoN%rE(Pq@y!)b;ERROU{y8>d(WC4k z@fFsbILDBD(jIo@FqwBp#wKzD9^uJ4lB8rG2Igt?iH#v6VLTR^t}U)9OnPcBP!l&@ zPf?iI@|#nI4!yfV9=gr18P+lr&`vDhBN&PgH|8*g@CgkwQ`ebYoJKL zH1iUlWeNA1in!m%WPZ$CTRod;1oDDXP&}pR*c6KYSYCJkaLD2M%TqEIdg|^Q#%!Dh zqox@f+B<6rVNR+<`%^Zveta0;_PE8i2Sn+?QxjWH(F39&a-pXnW}wv!y>G{}6?;w2 z;#t{PlJcPbZswduza|y^jK)Y0JDYm_ytiOOY##+9hps2j|42$?9+|TO`rjf(GZD-E zt;tCACARiX18txD!wkPSle`tN`4svUB-a(|YV?a5o}^!aa?hlnN9o7r>C39A>I}z* zVAMAkT^K=dQr#d-u1rlC>r@iVkZlJZg`%LfDYeHeeP@5AVXPY;I7oD5q?ChXbq-KU zM2ewC*PSiBc#?{9DyCL+m$&2zX?$StHUKcuwiNKKkizVBK&3KI2 zxV_ymVLz?_PwJ4VZ-QKWs%bAw6aPbsM4SU}NK$59TBW6F`j`Lh8JkSr-w{!$M+2=( zwS$<+4r7y9bs0=#Vuw+owh z#FOu1>s)jgdb85}rap8B)(|Hb8eSjzw$1$OtM}IyHQ{D8t_Y7@%u~Iu3%mFL zmsWZt0*OSrBcqYeSq!O6rA7q`i)sdD_E{z0VsY#)fA2dwdCc+2FY(CNvDHZ}K{Bwl zfgP7Qq3FN&4k^kyE-FHI^&8R>=WO*mjIBC8X><$_{g76tvlYftP(X{Iwzlt8${aj1E2UL=l#h_THQh&YQI-4$u&m$4Td z@yD!r?za(A4)nfe(3~*kTr(NntdksyaeX-)y+xm22^Ww~OR>4z-`ms~5onW4S0b2b z?@h`^6h&tZju&3J`lN2uVOfQ=Ty3(Zt(|A%y-IV2@NF|;D~rznkkW5Ty#6dm0#aam zF()n^P*fo^&}L>52^jR@p=Pg}WHze&cw9hWwE?EQzm)!rs@t+95@jPe)o!(0A3Me@ zqeqJCa>vdlftNRJ7-EG~cp82M>^L~;xOL%}7u-#U)_*nyymaIu`mA;Ltc;mL{W1cY z6!JoP`GcpSz?HOVrQ|nKS9SQ}mQXZA5SsQ?tdBV-sc7h|cAR)cEJ*lVG`s?O9Y{X* zZ6)_*2*x5crl>Z1*vw=2+M1=IZkt>PjTceHtB*1MF-^HKDX@+vRwzQ=7grJJ&&7A& z5C)XdmwY?s%?9};3rA1=2o_d-t4;X%j9S{So2dX zrb~eO%dG;_ml5o6Qy)v>>I1yeYDg!`lt^Q87wCG(R6*&#~?*{j-Y(;Pslsg>!nMkwSx&eFuE>vk}!~ZKjBAg z?kc=M^agBu{9DH=%|sUg+2jVhW;|aSkYq9Vty(x$vW^RAM-0@Xlf10)p&oM`Egf57 zNL0a1=mqXF<)kf@wqCF0Kmpw(BDtG+Xa&R6a${!)f9=8`*RO5xR%WSQ0`evQea)0^ zPoY7cvs9Y|aQMN|au?%)qUj!g_$SI;K+UgYuUNh4kme5+BIaF>yn{RHj+$}beiEJMRr?UPa0~QsX`gc2ugTee;)9;BthL_R zIh}Fee?s^)W9enRb0Accv-W(Od}b)f5L%CaP%?7Fd#BX#W&&!Y_}25rRs6`f|-J~879%Oj-Q z-ug57>Bb~8>n8F~#Vr^Db`YwSbhO1_*|`33vR4SuoB#O(NGuV8&T#qWxS4SZe;&34 ygz{kg={PYAp~kEsB%Cldju)Uyn>tf1WVupz2X`dl+%EuNN@;2V0c`^v>i+^s+;qGE diff --git a/lecture.cls b/lecture.cls index 580d9a4..be17257 100644 --- a/lecture.cls +++ b/lecture.cls @@ -162,10 +162,17 @@ % uses regular expressions to calculate the widest stackrel % to put additional padding on both sides of relation symbols \NewEnviron{salign} +{ + \begin{align} + \lec_insert_padding:V \BODY + \end{align} +} +% starred version that does no equation numbering +\NewEnviron{salign*} { \begin{align*} \lec_insert_padding:V \BODY - .\end{align*} + \end{align*} } % some helper variables @@ -210,7 +217,7 @@ } % replace all relations with align characters (&) and add the needed padding \regex_replace_all:nnN - { (&=|&\c{le}|&\c{ge}|&\c{stackrel}{.*?}{.*?}|&\c{neq}) } + { (\c{approx}&|&\c{approx}|\c{equiv}&|&\c{equiv}|=&|&=|\c{le}&|&\c{le}|\c{ge}&|&\c{ge}|&\c{stackrel}{.*?}{.*?}|\c{stackrel}{.*?}{.*?}&|&\c{neq}|\c{neq}&) } { \c{kern} \u{l_tmp_dim_needed} \1 \c{kern} \u{l_tmp_dim_needed} } \l__lec_text_tl \l__lec_text_tl