From 5f68dff9761f2a52f36b02fafe255d9df083f75b Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Sun, 31 May 2026 13:54:26 -0400 Subject: [PATCH] Merged old notes, part 1. --- refs.bib | 10 +++ spec.db | Bin 393216 -> 0 bytes src/index.tex | 4 +- src/mal/brownian.tex | 176 ++++++++++++++++++++++++++++++++++++ src/mal/index.tex | 4 + src/operator/dif.tex | 125 ++++++++++++++++++++++++++ src/operator/hsg.tex | 114 ++++++++++++++++++++++++ src/operator/hy.tex | 197 +++++++++++++++++++++++++++++++++++++++++ src/operator/index.tex | 10 +++ src/operator/rt.tex | 38 ++++++++ src/operator/sa.tex | 125 ++++++++++++++++++++++++++ src/operator/sm.tex | 126 ++++++++++++++++++++++++++ src/operator/solve.tex | 122 +++++++++++++++++++++++++ 13 files changed, 1050 insertions(+), 1 deletion(-) delete mode 100644 spec.db create mode 100644 src/mal/brownian.tex create mode 100644 src/mal/index.tex create mode 100644 src/operator/dif.tex create mode 100644 src/operator/hsg.tex create mode 100644 src/operator/hy.tex create mode 100644 src/operator/index.tex create mode 100644 src/operator/rt.tex create mode 100644 src/operator/sa.tex create mode 100644 src/operator/sm.tex create mode 100644 src/operator/solve.tex diff --git a/refs.bib b/refs.bib index 3a77691..9800639 100644 --- a/refs.bib +++ b/refs.bib @@ -37,3 +37,13 @@ year={1989}, publisher={Taylor \& Francis} } +@book{conway, + title={A Course in Functional Analysis}, + author={Conway, J.B.}, + isbn={9783540960423}, + lccn={84010568}, + series={Graduate Texts in Mathematics}, + url={https://books.google.ca/books?id=Z9JFAQAAIAAJ}, + year={1985}, + publisher={Springer New York} +} \ No newline at end of file diff --git a/spec.db b/spec.db deleted file mode 100644 index 290f0cba8d3664c13eaf46c2edcd7702049e957e..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 393216 zcmeFaYiwKDmL{e{9#N!TlpnHOwyWwCOSZ|9DD(Z0E!}I`vdg#Za+P0Ymu0IDc@Cvh zrbre^*;2{8-IS|tZoh)*4tly9Gnt-5*)5-J%NPtX!%mB$?fSEKpNE!o7 zlAbhhfk}`D5ae5XpBG;e<+7{ptvY@jp0nS3?X}lld+oK?y8ZEWt*%Oia&<$lOYwn; z0YMn}p(G6qh(8(_82BapH~t*Oi)eh{SFpYJctsg=zw?jBMvo8pJ);Ao(#UU({A^@o z_z#BP_WhCX2i_OH3Gd+8-x&JUv1^`D@&E2oh!gBUz=41RfmaKG7sn3|O`SU@e6?Da zb49hTZdA%uxw^fYFK=w9rFuueqf57zFWy;}?p$2DzAObg;sa7JpeX@KE7jFCwJLpd z>)MTrw;o6zEI*Jg-o114+J`9M#`1@Eqz`Z6|K01?XQhC=Szj+#15#bxs&|GjZ^&A) zGqO^y)m7A_$aS@@ZK(E)Rry(GhV}YJdoeG@_3nRQb$|B@gq=Joe8t0bK$x1{`%CSN`7s;oy zxqx)#=B?#xS3hK98Z^raNw=1-EZaUPF!GQb#o*>E?&h<>l+kK%5V6N*6EP zxrPAzyZg~)LMAgT^o4(D>e`ghd`BxO>ejW(_g53iJgQBlGYL7R=39C)yW#nnpTu+^;;?`ssfKf((^IYebQccGM`E)xlBHmNk`ME zNH(GtGMRKNosFzj<;uF2KipY+?>xMAJtu*N>c3R3Xsq_;@CZY@<`agBdNTcIqIK5U z%BaZobsg31Q_VKH*5#U!!WL?)yK@GG!lRz4izkHvHVU=Ri(rmcF-gnpdsVM~HLAZH zDh>}#g~LK~gf*Rw%W9!s0}&||w6*r{v6jx9ZI3=1d}5~>v(nR$^vSh5@87(8N4j4&85(fy+c!H z&kD`+Z8d7jmQ@=*MtaqRxU<2Ux~3_!Aad1>S*fyCD$m+$vqy*8di>eY&{QZSboN-T z^I5>44MHdn_i6z}_U>q|Sk6D;eQmluLsM_R?QMS2+F7%sdJXrk-MVx4;&pu?Fk_`* zN&j>A_O%bMNVsZ!MeOA&x7WlxQH3L?wN(0rFQ zLf+iMzrmKiVbR#4N%TbB-W&g)%Ee8!Z8Zp;9`sCQkMu%t6ulb7!!s5g@X~_2JML!f z`O?kWlhbneC$_c+AqKtcy878BpVektV12vN-poCg#=2H7c1gai%3apc%4V*p)z;N6 zQJYnLO=NWeqU~!ix`m*&@DN~fyc?bV=#Xb>W=43xz@!t7n)>;sTFR?!pDQikYl{q) zXizen&3mT=(jhtH5N^69+ZT&Zv z(5^#9t@{wo@65vn%_Xn@Y1@h zl{&L4T2;;0i`%!<0v1FXug)}}|9zzDNTVznbJT|KUCQd3F2Al76*S0%5PBikw7QlL zNV#&ksLCbq7FRCby?#duMndSOR=cb{)oNN9dAg@4l*{!}xo&hZGz@$Wk4z5u|CRs2 z`0tEwkNtO}|9s?M`u~IRM`M5A|BwB@<=^x#_}}plj{oua|2qCp#xIVa9{b{%rKnNOa`J$UhvJ%*oM0E+S`? zbRrswrQ~=vn~Ozr^>wveRX65yAburHE`>MbY8^Ny7u8yH4uACocX+xBiuP2>W1wpb z0Y)Oa!no+=TO6Pa|pkjy93YAjI$ z=3%&OU?|f!+NHkq`$Gr zV|1al$65`rGRJs>4LPO?YCTuf`l%$=QpuHaRZ?YieR^d}lUB5nWC4@)*8mW!!ZzIl ziz^TBKi*jZH0p9=b*D}cTT!C)p zuypA$S{F2d5t`l?8V>*sWH(`f_aIQI-UvzImM%jUK^XR!V778uE!Khjl(NH#2S4!fGtj$G8%O7AsR)TcT+s*ihPBt{{ptv#2BR@53a7gOg6m%HVy zwPACkrC<#7(rQPNmf}}dj0)^IJMthh9IT_fTB!RJIfuCeS%J}0bGBf_u(D#I1-wBN zY-m6;wtJ_#Owqbk>*E;eYU#s*v{&0P!E07-`?RJuTk{$tZ^s3&JVQV6x~H(DFZfTM zl;tt`{8!twpf`8CzCk(j`5GgjsS~ zD-16!j4wG8V$7Tbqn}GR1G%(8r zUc~v&6GL6sLm0V4!hPGbx0!6UTOc}>e`kB z+H%r;Uf>W)h9gM{;EAT@WAV9EED>poi)QEJiTPw~E*njr>lqhI&$Y*8kZC>id2*)E*G()2tkIrRd>5vu2`iD5)mPk4q>=GBBkH_aS z$>`ZGal8-l*qNSj>Gt8&6tXEtn8=bP^%)YZeMB?em zo^h$f(VlUU)Zy-Nm=EdHAuFzw5K&61pijHwy1c_-8(Mf>J^uc z$HhS`h5`RQJO@_&|HA)o{AK??^Z!%-zxMx<|1-bp{|o=0`~P46Z~K4K|KIw5>i@6( z|EK@&`2W!VH~l~M|E~Y<`v1iL_x(TfKlE?=>;4!1|JeVJctKQ{^T&aJ0|5sD4g?$s ze4`Nf=}9-qYR!$^Pe*8D_vM(^HxQ4cV>ndLf{QOGF;$L7@taWPLMoO^6_i3uR+6b? zUQH{JD5RvBJfbuCLb?zusHsRMN1KpeoShx^Es^0H+R_lAdvuioo!lrhv zZCk5L!dv&5x(L2)pJ_@)xiGwSGx?}7t8b-KUG}zfF};F2d^3H3T9*w0Foe|*7hF=S zbO<8dunte!8}g`uzYmSSdaG!c`+bDPm-k#G_6hkXC*$$4_<5oYhkg%2=@T`F!{B{ByQ5Lkqz5J%ISYfO^6<4625>x|p2Oq8G#)2O zkw&6}_P2a^93vh2>u2%!;0zw;PvCJQh)3iI9^pfHoSnd9;UpgOZ{U$Wjz@9|kHt6f zxcMF)SKh&6`7Jzd&EOFu<@~wBc)a1k<2Y^W{VqK2jpA{71dkI#cuczSxEjDCehiOK z{9|~ELw`9i_J<=s9o+snO0cUsUFX@&?oeF3V3fWvN_#B30F=n)+-UAv6l?5F6%sThvAkI=S4cPb z1{Bx;HcW3o@pc&ys&B8?>y_I4xpP!SZEmexUMs3|d6|Fz0GdtZr->)|51xE+=cB}> z9Vis%N|+bfbOzhgbQJoe@d)NiF`uVksx6*{wm}AAHSC|*BwD_4o9WWCDxi;!5i{CR z!_;D@Qm1F_9!^HARMg`K?`&Qs#fz{1Xf zK*;m)2}1SqZ}VCLD&1?e2t`(ev4OWIKfXJ8ajkj#tB{Ed1jpOZX2$&$(CE2OIN`kq z6>()bjJFSE(MHXTt zUxD}s3EDH|Y&o7AX`i>HVvW_izk`-GIvU9;N?-D$!8sV5C(1 z(rbHZy6DtO`f+GZqA0B`L==Ql#l+);A{pVm937T8vhG4)eu}(ait)~8sj znPIFeP)k%x+Gb5UE5TM0Sv!=-n&5qIh3=A6k%IUilR~CW8`F1!iE$%MZ8N7gr4Ng6 z(mcwGqBPUSRYlgSq#*eeHUt4}CQGeJvq*SfTE_1~{C^}Bp|(Y8TFcTL3ZUkg1w;`* zjR{Flp>>0%GRkYeNWf(<@ptOam zw^^UQz;i+Rg3t0|(H2Lg&~SZ$GUnKXSkueCj#O8q^Q`1GTaF;oQfV<;9kVP9bG0O` zG5S*kMe5dYUWL*4t2Fm$hI49FRY3=#T~=oVg{F$!GFi|aRt4p-Pa@l#(U1qdDVJdE z5$`cuyBE+j3nql}27DOp>wpSx>iZ_7Sz~2jBMhyzRRv5;K-!lm+RUqyS7I)v<*=aEzElRKO+fJ}>Z0j4i?mh^Rve8Or8AJvN)tjjYrL_*b&_drtC7^O znO$1x-Zg11Dv{!|G}p~65zI9i7m=MCq_6M>DYJ>J8`g!gtj%WL&y{Hb!^%N4Y22v5 zV!`ZuLpvPpCX3*@k%I%6@ViFmja6`yHw<0>bGJe1@v$bCYOUbV4H`td*jb2u4eJhi z6Uc7w5@QD2s& z1p`(m*b3PO1jAZn7ZU_9Y}ne01K7B@tQIuj4c4@_`mAopyH?qTaR;dKTK&KJd(tv- zckC7kt>|}48d>khMUr;t8?aAAJ4Ze~*9QFqG~yFgeu8@%#mzmtp6D{w;&X|YhV~us zHkSDi;{7)^i+qFCMtAIZ=S+B;iv-ZR*FNDbLk(T94wSAP?{pqZM+@CXE5@1_uYh3? zW~V{>|1P^~7?j>3j)qh}Y$kYNJsVsHv-x53Ldsi^tF<)?~!ZjthLwI z?Xma0ySEHm!eTWzvEXld@Qy8VE zz0EpZd9wgXouyVvo#w;ms0`gQGqAw8nhALg*Oc3N@R)M9Shw%f@;SB}(lfPKJdhlu z%}^3!wP_p98bHi$s4uhp+&F!Nr&X|1;Rg6wLHMflZ+3qPEH()%T1@Vv8~|%?oBPi4FzYVV# zrfkKO&MaY{PWw#-5ajp*ATSpL4_FOBX$ik1L80O!c&9!35^SD_kO%S^GVtHM9xj+5 zS&+?SdK7u;Y!5~~QXkv9@LXE0vE8B`OkyT<$4tb`mGdwwDJ#H8iDm{-JnWF8Rvi}7 zIW*kDX0tRMYIT5%C1FLvR=B-D*amMYhD%-S(iY~8AcABUY~4}-8X|dJI~S%t#qhVK zCbf^IvmHOAJ4SWw@CzGN>fkVeWL8PA?^12G3&a$u%EqEKFYi*-90YWn5<-?nJ4B-P z)DaEu47~b$XoW=AW-egtACpXvkZ~0y0m)XY_*E2%^#kO~PKZ85PmIAbX8@rmFM;Jp z!w5;My^)lJ47X90iTzA=MfF^PkV}Ke`W=kC?!~_nkPnK}O$ZiP=jA7bBv9mU~ zX!zQq!6%6%e5To#H$)lP>KI?j#^>D(n{(YdwZP^EU_Hx-fLZPgg?EDluNEtb)X(C9 zVhIjCR}VYk=(Sorcx({p9%Mpa3P6^)%)o##95|53z`UT@U2Xu|!;aiw{`+c%&)mK` z+lX&?8)58S9l3!ir;2}#y_+L9(0#V`D>vvOw`mg;9Y9WK6IWf@+lNZ42AjL1LJ>i@5^7oA3+@WM-dnh{9RWhBAyr;9e0n5MdM3MeezTG#*Cr^Ze+c3Bh|5r3u&leU&E!qRmgmvBAMXujofrgA<|< zh;#&9zQ1q1uIk8`e_|587kwz{glF`~1^>Fh0oh3oe%+iayr_|CT0%=ID?(>h<}~40%UK zhlWNDdxi#w#z&3}`bPc8bL<4npC0xMio@eWL-;=G_8{?L|Dh3&e|XX};TazHBt1hT zgTnA2l_LZPyObnI?zXaoc{F2>(x$0_Z9PN|!E?+rDlD?@yM3p;~ZU zm!nhyPc2M)JJJh6R6KrW>iC4GdFp8NaL6qjpSFK3HWM@Pg^@w8PaJNpTuX_MKT;4#f12XegtuT(e1t6j0XhQZI@>#6A(rN zGtH-wyMpVwAigsrc$&e8ONhSXZOXf!xy0rV@LzEWagX?A)g!*R?h?`=ara%f=(#Tl zF)?+{?;n{s;~sX8xZRWPQT!iwd)xuQWl~6m_lQ)Q$r;Hvo*wiKd5(_`x-*0B;S+;n zliuNDhdf8drskvX`v`8kCwu_g`7>_+q&R)JBTR6e7B2YrEJ-{zay`~Ob;NUc;mtL{ zH7ra_>7T;*$f=Y5<39=lQ}h?{#F}fkdF=A9NjUzGDOkVpDJr-yiif&k7#=xLlWo;ddju1%Ue^{s#ciLfCc2GaZk`uMnX9F7d?&lVUT6A^xEt$l`==^yINOn+x|rT8y{*-Xq6AK7BrM>ez^Q z^w7x2=%FifyW~x#ttY;i0jWk+H;~CSE<}tM@acas>v5r##n( z4$X|jB17Kf$3GYoydDGzVth!zIv{utBV2Hu6J6(o!y)hRSo4Z+H|p{Z;Z+c)eHgY+ z1o8No%jFTqJ&}6Gui(?`5B6A8&3e0#)u?7gAW=%M~Q$fAYA z!$ty^NWxzL{viPWK=AHX{+%sR{3;3P{zw#mk{J|VWR7~8TW`C?=-a4#z~%a7mq#Jz za>~?bx+yjT9}BLG%XP@*N{OzNFdS?C(s0n_ngB3{gKm$)j@UfnuRlU@v+kkKHsP zu35KG^oU;_8+4r=6u$=D(^Y+iP| z!l(`IPes?;g6mB|{Pp{2(%CW3ZuQ=v>!#?sBZyz3^SehxmnOJ0x9g_M^`YBUDHbdU5F97a!~A2%L-F8y zUSVR?csn+1rF5P0J`BAVxxF~KaPs=tP*89&X2t~^8U|;xD2k&Cf+T)$Y-MOpI`Lj` z{>*4F`=-k~g8;!hj3AH`9w-ctQVA|(JbEO3Wd`^^cIvbs9!U${F??YFCMaNHeCEe* zGzWix@{i&F*o@#kg>UyDQz1GcHdVk#aSPj6NX~!m$G|nS_!$vjoN{~A=2O9=;Nd#u z@-{zsG2nK+J2X6Xt(isBCqYyIksy%I?G~FLV{w;f?u8_{?hCH4Yq(M=!pa<-TLPcn z0h(4kE>-b(fBNq3n&{oF?yk99RaFEt=fV=P>wBTRcvtkyzj)W>$`84w1lO@iPxIo4 zOI*VL-A_@)C6`dc=vFYgB_Mz4rzN072=%}Jj@bOM+qLHQ)?m_(&QGSO05E7UGCAS> z^3d)FgWe{dqhfQ&mU9a2qxo41RNll1f-9+i10T3FBz6p{!A)W-vop=)!-$KyG zZ+PEt9+6zGtDusSYh-hctgo}aO$|3sdtQwBfxaHsS&!F^=@J%qMYn515OU&$@rkh` zhlYK}yhEaQd}M0m$k5o)Lqo%3z8SA?r8t1P%Y?m=cC5!?eP(~BD}m$C+QSOi*} zatR=o-cdmWmp3WFYWNNYsmsBhz1^Qg<~p=H8z=%^112?7Mqk*kv~D&9Ldweum0z+ixc z9v6;HHpjfjrkY{zgcnN?JrUvcAn2e{NB9g$38l;nCe=S3hosMb{G61<{oeJc;Hnxj@id5dhHdb}b7o zBGd1Eb{BlVYr^F{f;SgcR8)_MyO=b)+K^D2aJk(={fO(4;97Bkn0R*I$_k#{Q(58o zm*uO?Qta3dPB%|3iHDnI{Z$a%mj&^~HSt*U6z@cbB$ z@n(ca&?+GLMw@4j@7}oU@-)Tccm(cxJ-hBzw^&>iguLi^fA^%|xq?UFosEybJnnvT z`t%3x-D8+Hw~*WAIw_p^p*_&$N{Yw5*WP*FoE>{B`8d^) z@Q#eR-+IgKc{?+5{DbCsHzpG(<4@G447O?aJ)hq<>`$J2V|OVrGjV8a{EhkeN#E|E z|JKoos5J5Rlz-SgK>h~?1Yr>Wg+Y(t9ylES@8=OTN?r%(&!GR`;Qv3R*URwq_cQqZ z`wRcSaQ6Ss{@>aEGXa6K|A)lD+5g)l3C{lC+5bEHe`o*i?Ejtpzq9{$_W#cQ-`W5F zob3Oxix06Ad~*GFm%WjcvF07}U|(RUQeprY@v5P2#O^Ou?o z)nVUJA)=L_lEvckGSt?6qtJXqf5PK`PW%6V>;EfA0RAWczx4kz|3C5nH~#<9|0n+c z#Q#VBzvKVg{@?fiw*S}tU;2OSf9C((|HQBQSN#wCxBWN#SN%Wq&->&4S^sJOTmIwz z!~PM!IR5{Q|6k)j8~@Ake}$r*KMn*O2sjXMAmBj2fq(-62LcWR90)iNa3J77;Ppaa zFybDVXg(S|M?Y_fbMArh+F%$TFV@6ad^{3o@Vq(r9>u!`L-^U97J~?TPdtm~#NZi< zIW>5iVvY??)0a5-F8%ya3?PLx_zph4+z};w+!NoTOyZk(j*6%7{8&86o+t1;C%%E_ zl6V}?i-S{?EhiqshkI}mA1}5BkK$*yGI)f3J|8?xKTF~vq*xf7z{gLva1EJ~kK*IS zb#VkA%Y#tzrx+hTlA;&SggAuf#X%1uej_wEh@aj1ph!PYMK_`bMHikfae$tV|G(FZ zf==lU1RMxB5O5&iK)`{30|5sD4g?$sI1q3k;6UKpg20ITq@Y_yrrQA*S8CeYhCDAl zjKB$?Rw~rDLxvx|OF>)Ud5Igu-%%Qrplp1W8nEXNgTp15m}f;XuXz`8QoacHR11N+ zx>e5=0*lwRN)3)|>R((qms=!fS;%7^03kK zWFb(JpTdt090JZEppq-gRb}p3RjaGywRL{J+g>u4hC4+WtgyB1`r10oa zK&or?qPh^cgc{%;iq*hd{BB^8)yP@}mvp5?cyi>wWU_lYxN>ttU8AvN?g(~P@&%hK z0t&8#ruXv*Fe^4|i=20JToQn?Nnlsi`%aP2T1mbob`saA(K7xYnTv(t|v3~Yr@ zIN5NI&`}ON#68t&8hHYmz8*AZfH@gT@M#&=eG%yP_fd3ipVrw+)yu>*>MRFNB^bV6 zf4oy^SfB&U;7qfn4YSNLe?Lw$@2~FE8?eAmWgD(8B8|rs$RV=2Q)@^HJZa#kEkTaQ z)oi{#FcnIs1@!4V(jv`a@}M(aVKX|$se^r{ukPHLl`69m=2X`y57&6p5sBs-9ERX| zr{7tvJ|(PrQrqFv^nT0Kd|csE*jBrqSbZAQ=QVtISQGwng}mOapisCORZBa}4@d;2 z?)Ais*sa!Da!>|FB695!aNp6`gFFCt${>0dGUA}5-ADd=hr{&gs(V^Er)Xm96gV#|Gb#jlH zqBP*SgG1+B46}k(RvLVwbv7qIwnf@Dn~=E!L@g6yAIH3}WKm9ZTa@G9z@m&bn{!d& z3QX=*U%`sZXVXjYf4!DNPW^K)QKGdJ5(i*gBr90lrNU;3@ilOWB-LP%uU6P5-?TI@ zKuWVix$>s2u<93)?tXMr1K z!)vy|J@w#vbWTK?zCSN<3O)dE^<9j$MIkY$kWigRxgK{w{UXmMq4P|m*m&qKfPLNP5S>X_t=1Y%=e#; z{KdB=k@#-c`|EQ9Qv=Phv9UMbo|ze&Ie&=${CnG8-=TaiuM}c(G@j3-V$oNg-!kUo;v)VrmU zyaA7bpQyPScJzCH8vdMPQ7M|9Po(GLk-1DP^6-)Q*KqLK>F2b~X$QE+daJ9+k9Y_Z z6TDyFCf={K&rh@%MkCnw|au{h@_ z{`wFWs<@g}lt`wKjmm{cURDxmIbX=gg>+Vl7Gkk%E*VM2BKdqWl8vY1nPfa2OQlsg zp2#W*Iijevkk2dd{k}<#Go$oLD|wftyT2fV$7or);)%|s>swp&owWp_?ZEs)$Gdx7 zUJJ}evz-X+%EaHw^M#nAVd>}rT&^J>DU%?>pkZyotLog~sxC43N#%7UuFKP9G zNYkDC|IyZa;=8^7c6#SPz=41R0S5vO1RMxB5O5&iK)`{30|5sD4g|jM5TN`2&i?=V zjs;Ht9SArOa3J77z=41R0S5vO1RMxB5O5&iK;XL$0cZdJT_0hme+~p32sjXMAmBj2 zfq(-62LcWR90)iNa3J77fI;AGxhUPNz_Jre!bxQDBq+^F%p_X`FQNTRu^~-OqLfeY z|2phJJ;&cCFsR0?s$D@zFaiN{Bx_aN_|~4P#cgRrm1~<-nM|rxVOgZSA<>O9*a9ro zH8iGdG-g&RNS9DnP*TtiZam|@-ZECYf}$mV2p$Kg>@G^$pB*nzYh^s1t6~D8A6Ij?3>ciw}K~Gr1_*v{#e%%f+!<~oL$O+ zT{_rB)9=gF&<uPm_kPo)jU@KBCq8KCBQ@N_KTRhU7 zgeyL<4GA+NWJB}QE->im10~|QDlYsjnh9%#heh5MxR7h@hUH$}v-uO+BNy9tkijYRs&YoGU+7rS)TU$$|TJ5!$%R>)RGVkNf5(8TqI9!$1X^zac)w#fCO&HGz z;Lma>eg=~^dS9iZAbSKEXbZQ`%IL@=&OB{sD$?VDJ@?k ztZ{zCaO+^T&#<|20Aj+e6Jjt8q6vUoK;N&koRSo@5-h=BnKTFpC{tO|>e9w$txmH) zLbe6DVcFzdG%hX4n@Sn>WL|Q8!^+aK^jpLgxJVcYvv8=>k zk$DVV6cd}Qp>dKhix4VuNxDb06JJIpA!G?+P~y!j_KVC%(15-U zUIO6eq^wXb7R%4b%pXj!N-)fc#j^-Tu?r3m??EHanMM16En}QHqhV({TbT#f)^e zu30AaTV=dfm9xX$kU1zN>n3&$^$^M8STxV(JSRW|G6QuDqGh6R$uRtS1;)2w+6%_Ri^Kqu zkvXd1l3dJh7GbWD_DZdMG<{R}eMZ!1rRtr6pgF_hc@9q1I!hpeNmIsHF)1DKHT&f? z&Fpd@@W!&L*g%G@s#l2uKbP>cfCp?XW0tN~`RdCv==i|WENwG>XMf;O!>Q5sW!z{y zfu>tLtB7^3TPz1rdznU_*HI=q%fTmCDn$)j37FtF>c@JPs$mj{IXzC5zRH|L9SXLJKHiPI~ z{TcCDBv`>%8Jj$a7O;+CS5sw}3oEM-g21e283s7}F_>!E`z(;(0#HoaGZ#3BYczGp zpnk1^&Ra&AsgDdj%r5B^4`ah1SH;M{^1imVW)@&Gk_~#JZ#WHO`^#ivpA$wSsNMd) z#r7E1bc3-F%%v_vtb*Z%Jzz56YjeJ!XthdF-VT#xZ(_b+O!eWXy3JV~kib~x|A8TdZV$f&2MTPJ z;23SgHyfacl=oBfN@ZO$4Bo0+72W1)n4urDnq8>M`5kkxs7kZ$#!jJO4Vq<8zOo3M zD@m~1q?<$rdr1h)HqK-Ngl(X2Y3hbtDur*?HMLm(3^E84G5f&3u2Y_Y(d>~iqjUfw z5>5mtHmKA>#^gt61cu%T2$2pK13VnLKBX*@HJkg(RX{E_NnvM}7BxPn4gUtLPHItJ zDPu*jK#Z^gRvNU{q*urfGwfU^6|zqkMjEl&NH*4Kx-czmg9<{lsJpY^ z4rw0P+|l&E#!2s&pV7Y1ko!{U7@*CPA;G1!p#+-KxoANwf&-AMny>Tb<+-32xv`Sr zTm&}npQ^?p%1qL))YQ*+3afCRQrpbcaAfnf7fzegrD^zZOrb$OFY1BVSdT+mB|0~K=nVlf@h8PXUS#+=^*QDtZM_lGd z3&6To!T|vHHPFWb3$7&CyZX@Mofwubj78TpF?2V!*5FGUO%KDCJ8?7-aO7?9k@)Pv z8hLpQ+ve3;kZ+hnk~NzQz7mTmbJDSA#qc5nmWv!G@ckZa`;a6BtLZri8Sh6|sxJ9s-0vC+9Tgfd>wOAYw4iUa7TD zAn0TQQ4$V;;j5GFeyyaaTbODJ$89>JCD#lxlfu$|nw{_34rFbDR(wRb1R#Qni zlFiGBbOr|O^QxN9r?YuQRSWrynnk)yM9xO?2{|XHQmKqWTQ_zJInRL}wyOn%4YdH` zkD^vuw&7#BIywhYnSlp;#o70XFYBZ)ZTXzA8YHo%O2NG7UHR>tiWqQF0RTc47r+0rDKI`HXq5Q<#b%PyF8!6UcaQt zrSL|Xw%*aXs2+2hSetUmbj){y#kYOFiqYxf5d^Kk-`D9w5fqQP0YgiAr} z_sL~kE90aqEC6Dlh~3Y7=DA>{Tr^xesU^6+AlVvbUQufi_Lxy&2%(;ktIc3Er1K^= znUIx?&LFX>prp#8(Z5!3u+_@MOpeH$CD*;zP!slVMy&5IEfzP_o&;}^G{BY$m zq->D9QA#dOGI->#2d;DF;$kO4W5)GzA!&M${A;7`;~@A8{*xzVc}zb4yBd-EFUQDs zd?X!9B=gx=B2rLdFbW^VZ$gy|saP&mAV)PyGL_7$X(bX(L^GK@qBHqIx)3X9Nhl=C#w8Jx?L`A5@+A$-^;?cM6%P%!Z&91zR}^}EYaB- z><(Vq2EWNC@(oS9;eBJ$rMlG`d+A#D7cI3nM7RGhxZneDKuDTO=3y>&>BYwN0Uqh&sgox!Ui{0Q zKN*6MqgmFa9FeHp{ChV&Cz0S9cFiAu-2Ag&{@;eMZPrux4&`FGNFpQW)0tE{nTX1< zcq|S9MIuOH%QXi< zokjw;c3rO+lnpGYR+OD%LP(8sx4N!xU^p1JOS<+IZ*|pUu?`;9$2&bGTsTXG%A27v zXDBCi&kH3SG|!TbHChVBN!!wDN0OG}EwvMS&W=2Y3C=L=S6?7NtXa9CPf%6m;$spUQXdRKSY@$?UZ905&=dfc)Fg~h z{L=Z?fi6sZr!;mH2sF(zYkS|?A=3&619if>G8gm2PUvFmG~|yYN3|FFItIUhD=~6u zThg7(+kn=G`oY(kOW{3x)`B(%02kNZ)75kLtO1eXV0G__LrSi?=X+AYKr!w$p*2F6d@GLc>E4ctfXHVZi9BQ;a)kblhWXsh#~kf^i>|4B(BUT)B04;Tk|%zt;vmy~=aW=d z@MX&Ry1sGMt^s(U0p%^W9TmQ;TEIn1Ex_QgNGBjA1>5%Iwu?gT8UZE`_DXl9Hi<&G zT%aAw&)L~@SCsA0;fI=Z9h0oQp{~gxGO1uAO6*({<`s-+Xnh&{+YTsGUE6?Wm(qa7 zsBr??C8c8LRM??7q%SbU@Oorqq=96J-M%?F8D`?%mo2}s!*|B>fgXZ?G39o7DBW?Y z(n(E?^`oEVV_Bykg&?CKop(KqJ3fqt;6h9b5qq6S+Xs{iw85v}8#DV~3BVfrz6m6( zsoml9&~|GA*QD501zhbaJmR-f+LqFyAI?}S6vA8rQ0ua>6?=- zWg7+BW}kkCFSMr5ylSZXX5)1uO7bNTg{vcRokS)U*ioQ$&B%B=yV${uVb8Fyn#;ao zF6fZHJ~0>D4z%#jx`eCiqV^Csm-qq~GPn{`0;Ve}S-Xb4uYvc$GDq3caj*<-sF+MAvUK?|oyozkBI@w7BbNwE(ka)iCb!l3H4?yVlm7N37mv26j0c z@b6u=m6i{5OT|_sFUX*hV91$1oN>|n8>+l3ve5l`h^6gUz}ou&DN8@Bq=iJRcWqaz z4VcymqgyXk0~|Q%eo`Zbw)0B1k&)q+J`_|oOI#&e2qyS&glSZJz)C7ncV~VSgFA31b6)`pdstKK}=# znZPb!#3K24JekA&3nil{scc40MUvS}DpJVAbLn_0C8v_9ST>W-Ws|X3MuwsS>GWq} zaVRxJ@;U4SdupsReR(~BF3NB;^B37E+9GHMzqY~FeMd9j(adL>5B;npj%L22nNPIC zIA?cG=GhT3nVhmVj&_K3 z9A7&p^WX22`Ho{wcG}H!L`W83)4GB}1Z>?{!em(0s%b&ez) zkdll(c0Lr4V8XwsE(9*&#)5R6-&k0O;l_o)yMaY^gMr<0;G&8iB8yjVVS-tr33EF% z(<^eZvM!TAQ(A#33Ni=qm`;9l%S$VA4x&+(hM60B0(mT%tC^OeNXdg?7loKJre$Ou zm)s=%56fa0GhfifsEy6=g>mBhc;`urS^+#a473eK7Yk}XUeDM|EFVgK@yb4j_D>Jd;Oj4SAEoNYxNqXQ(T7*^- zCrLN}-Lk71GIgqHG9(2hN=*OfJRP^9XP^4Ue7B0y?G0YY8S)^~`O6goi+f$Iyl^hJ zNVdTBTboaGYML+G%w-u$W%8=t=#FMh+wbJO0@cTirTW-r5ec4wKI+>*mCc6J>s5^G zve=eejoXB+73Eu5a{1EK2VUvcd-lQ^TxEo!AzL;L&GPB%4Es895Be5eU28GCYqxA> zAeyPHe5Ju{Mca&>bz=hz7NB*qplt_V`=RRFtI3?tuo+_O(cD)&7qZq|;Eq;E2{?{Q zYOn3~X;IzSknNl};WF7{dX=bavjkEWd)quBQn(xE`uWs<&yis6iGXZ`09js1Gi9mN{ zl~;Zlg)lgE{@@pQ>>{`B0^aYskaDm6zhk|T83JhIRiX#8-so&CoUH}jMEQFAe``PR z-P>B+dR4}H9n;7Am_Fu~?vmk1Qi^8gld<_kY%Y_|I+pI{zpv(=EOT#N%x|?Bp3-eL z>ei?}gqxzkd_cG0h(IQ4e!sp^MCdicf9(yqq``ixQag7WH_Gs_Cbyda)6FbKyV$;h zM*d6NzS5gOM%PbR?iaz*ondOOi*duY$##JG z-oIH^z&5|G6%}r4Q=j|ad+OVT_CX%>(sP{bC2!kCmvLjOAjfcqWodq!PJgvJi>Kqscrp z=rid;G8@mQgBCxg6(6!+UO z!DdsScg(9encLgS!QVLHr5g)ta2fIJ*>9Zw>V{3}K#}1nLWZ%#OfCsUf@~p`RkEpM zRE1NBL^>)b6gig8Kwye@Ydv_F(0uCXneX-SOu`o1ML+DP8yfnYgq6clQ5LXaBEO ztz974f|usLufQjpTGBRafAK57Z&>i^;I~b|ODxuD^Sf;a`f?kw7UyT+_LvLFHX(@N z;-brD(6My?-L!P??Eei2eEXYjlL&nKO?jw$K-g(u&p!pF5IC5H`%+84$*`;SiuGVF zTY50y{dR3o$MKbE6c~kM2i{s>d(B%{xN{tE&#p z0d;vW&dlfB>+uT#o2?MI7;^*01N#{*!)#@%1s!J6gK59RmZi<66RfA zWs$4|_EYsIoyOdlcipgVlts6h*`xYkff9$hn{`7YV4~ETO3kh*2(HXF$lEJaZi{6&IRoW1GCh^68e_fej*8*ub^6oJ zp)mC>ZSaswYdE{w`ILE?(=~Dp>#}?*)K@=4B#j)rY8&pq$%0hf2CY{tRzXRwJcD1FV!7v(LiOMz8czjOE~If_m<-WD6t%Qd~{iszvIa zl4`ZxXuC*$+f_-0xq74ZB%oJ*ntygCMV=eO(sj7`ngG!Y(x@D|v z?Yhk|iWLdK@%e8UR^n66vg6Y--<2wGV&CR=*Rr!uAFG{)s$6F`qz6Vn>^Tidz+%qVgt_T*eN-oFjS<-p>Syctcj_zG$9Lh`w)1mJ$R2ClrSPU|JJ ziP5pXzpOp(OV$PibC1r<*ybZC1+Vedoz_hPz(=@Y_qTSyB{mvC8#qEOm#xmd4&TvW zOC_Qf+y{Km<%Q1tzpn&^thEKDS&8{QkKiT5y`J~Jw1PC(CCU_%Xx|;hA_e>M>>I}A zrN@$jzcX+JWD8Sxq1`1MVX+HIK%Knsm8g)fydNW5gcX!vJ%8t5Anv)U@|8itCX8v!buP8CpwS zvp19v)~CRbPcb%xDO4Y&;@c{E!=4Jy88)n~ct+`GS$Jy+XOM@GfI=VG%B3*EU&_UC zv$Z^X43*v5S}N6Quf1FzdXSQNA3Js|T_8lW23#Nd!y(W**Lu$s3+<>E)b^Jx=?v=c z)^8*9ApLG_NB0se$euC#d>x}<^wmB}R6=|Gl$NHuJ>4UQTL-Is=Agu+lYg(DBb^Dp8qrbfA`FQd&d38{A_|G`uZt{Ay94+XxfFp zrs(w#QX?mzoE%efaxxxCLj5}z%cmo9cR?8`4J7p_@U|pM>n6kN7WOK%upLQa z|Asy+BN@NQlEmM?<)eEHKbV@D8XNeHu`gBIJ%&_7$rn!|;o&CSF|9AHPEf8?_|IYs3+5h8=mh?YbWgxfBK)cP8 z@5=t4&i}!*uwz*|v0Wv9gR9KfAb#w}CaarZJ-DmE=SYV0INhxvSQnf?fP0ay?CqQs z32`jQ7#pMH8p5nYVLFa!PhlO+(E;2{N4!-+xTWOQeEXLiW+m6yu~HSRm(jvaTMOZ5 z5#jtGlKNYJM!HifZV;%7c?=BZ3}@2NNv$%N)L=PBs;XzJ_bPoKWTzjZAVweII)Bfdg$lK%P5U8g}NqyrH_MS;~-AN=1eG$%{AfH3V&ja>EJdjt&)Rfdt&pn&gdNDgEw*f zzQzCu+@j-crrZlN)vzfF*A=%kbwe(dP~PpjrWWg;K^Y%O{08-qtGswwxqM2MPJLI722b17SpwtJ z^i7a-vt-;Spw^el^=`8g`%OvFs#u+P^?7#hfari$g5hskwV)Tz)kX@drJf+@KIdzj za23P4P=MM9_RQPQ@k@AMQUm&|135s9@FcqZ9J^mYgcb@)&D5{4rCmi78t_;mP_Ff& zR7^XG6g!ZVC!`PlCKor#&`*Vgg088_H53hfq!M&<6pd+Y&Z63uydh9MJs?J9#MX%N z7^Ratb_8AoxecNU_Nl7_S=1O~c&WV%exh&n$S9jn5Q_|u_EZdgB~aKkeyp4(ER3PX zY`=~?&?6%wYSj&NRHtYplwq-?mqi!>T}j}~8qJY1YoT5kl@LXJACZG}<1(_8n2Sks zQHgE{gQ{W~(j^0la6Cem0b|kmcyunE%{Y<)M>60@23q#Tj%5HxGT=xC9Ld0ImJB>H zmfmQz(>@40=x()7qI1u!f{HtwrADA#P|@xDJ78D<)b0O`{OJJxeVsphp8vy`9?m}V ziF7WSh-TGfs-Q*+F*PM;V#$0YE@yM8crF5iZZND@$RzU61jr?l@nk%%M&P{OIOMlq z+{Zq_Isf0P2l;Iw9Ua;L+7ScU^*xWo>$>=7Q zTB_rwTxIbJWG#K(B(j|cTV8H)v%7-pvdrln+`V8UQ*U6GSbH9PPA*NK2Wuo$(ckN# zPyd5c zfh8mjz;!B18c=(V6m;NDA~H78?44wvA?X5_px6hHcI*p~I*}B?x=lm^Vv<{tkh-TJ zr5l{PYrs4E+<>#sb@sW=KDPw|zmWUf|K*&`1oh9({mDtFBswOj^`iyaAf%*V+ez&W zbCLdruJ@~-Z^DjHQH7bIaJgV(5`KO>@%5wQ_Z>4jMq+e>kK;Of?56yF`pG@nDC2Z$ zuRGSdiXSmN@RCw2Kcgc~IxIF(r2dT>HNb}dJ^T;Anhm&LX(eA;-MP{TZj*hR5G)Z9 zjAS~F_t)Vda7+g3cy;c^TslxtD1hJcnD&I{>7oXZsmFZk$bN>?rld5_u^%dx;*eQGgX1 zvNlQG_iCiLi}|M3WqV006>Swpz04p0lx^z1)-Xq329y>YyALyOx^1Y9rW-)newk4} z*hXB(NOL3zDPQZT_Z+W|(Z{Zhg#j9^nR?>I{?j#n@Nq0?ThPRr-e&Wa5fxxmu@&`5 zx4N~B2G-%!RkFdD&-%RqjI6ru6U;VaII5dPwXex#v#wTetT6ixa&dKMtHGKUVl#qi zf!pKOc(@(LA=*{j3fpdUPqdQPs@S~SOS9Kx65DRG7gr=o2F2}RqX~q!h5Ej%eWnjP z?K8nG*lTu`43fhPF)?F~;euh%`|Hb3muICb%)HT(T%y&4-8F%Iqv^Y*<;G>$og`M| zo*BY(lq*m!scq(JY8@F^61yW}6riu1=cVhx<@3^&5L_+?$&WG&{=}xqa#h6?;FY#P zd$%;;4d^eM8*DKT+Dloc6<<-IY@+tHwy)gR^tBPo9t!6l&~P(W%)A1<6*B^piHz+^ z@7prbV!+5}M=mqQA|I7Sh^N>LWn!s*`oqCyw1-x36Kd#dKTF`l%Wd5;I{gUT66>GY zQc#ul)Ougdv<8sO$)<}iZM_O^5hnzegYjUT?XWi*s7n0emR5s8+_b(_p=XSDTW;{| zG?LRgOJ&6M=Id7EVr9JrD>^u{^U^(F*DK<}4!At?(Qc*ay8n0+SVSnliS?Ja#g0%N zpz4pcYN5k0Wl19tGG_+EIUdNvtXa^FJa-t!!(OCZVB-4=nnAY%iyu)aH-4+D9pZ9R zt;n>-Kw)Y%91}>ieJO9&A?d9#`?hOp31BT5WW**DiTn_gl_ zYv5x9cth#>nQUupx1d%)?^f_McM2#`r*(KKOILJCLQCWqoH^GGn8Cub9>C`27wz*5 zEA<6gT8Gl?Lf~Be+y?;zI7O}WBwVR#*ePrW7P&1IT6SV&tB|pzwn@kLG14MHKyz(Wp_GO>w2H}ZubitxBEqigLIwPuGD#`mfA9Hk)>9e+}1E) z$H|5OE#pH0KDd3TY-v__v2DC^mr_w&8>jpQBonl8Wz4tPOrzSBPQ$HjxS*d_UNJ>J z!F)*Hl{{fYtc}m_3Kg7C)_Zo(7~_3$z3brEu^$Zz83SO0|GtApI^)&=Swo|P9gT0X zklZ?+p-09L8bgZocBAy$4aq)Ip-1+*%z@zO&}BR-i(G9N^q(zr6>c2;<)Fo(V{hI5 zow29xt1o(=fZI9%7htf^246ish#Ao(7*xOjG8Ub0bNJ$j(O1qBgiJt%MD#0h`!xIXb27mA_g=|?SMK+*KM%2&Aj#!9$GtigD&Yb zq?JH~j9rH{Di$v6QNE5jLiuhpAu-xcI`61WV*~@8G zAY&VKc?lOQmvHT${3satnMV7~%gePn>3upevG4e>n*?jpvH0sN6mZpGTtE)@MG$C$ z^n@hV9^0(q;I&xr%Hk5}i1HZ>W|JIzny;REEBKn(KRazQlhJ8*q2bxO201}quE8V) zTiMyxAh>0%>rq_}+c(W`=_%w(dWnp4UVx4ZorjU=Nndt?Mg?H%3q)Y}l52!gL-yF8 zK<3bgv3$%Yq;#iJj+A9WLdfc4H2f{0{KXe zd3#4N?J~BYd2%1`jNw`4S7F$lFscEUi6|aWMYP4w%Oqtni>DM1P=>YFy#t+?I|$>| z60(<2aCxI#h3ZgkgR9MSsf%mR?Aan3akF_OAYVq?uTa-oS6;I8f#_+VHZbVHq!m-KdP&4AU zvy2q&wLyx7zg&aJUXFEni|U~JZbk{l?Z_*J{FjT7w^`#kr)FeetXfOvcJ|szX>S;> zlJ1RJ@nqs-3u9-6Sq&roDDbN2eD8S5ZRHKIsdJTSa2epghY_SPvv-z**A5Hr*+3;3 zc-uZV^g`?v*>R9&aIeWh#Tq!#ty4JOv2~%fGvCPc(J|9HWkFY{8Ld;`RZl46RZh|YP-g8VJQ-&CS zR;Tnl^)k@S6x!SIf|ddUOTgmWzO3+&^ghC|{~w@&Emr}3@=nm31+!Cc5S;?&W%J!- zIYJ4pT&A;srbrv2} zLJA&cT}IY^YK9kvEe-yRc>QRMUZ8}gP@y(4Avik_HtBMCLo2aM{g?Ecmc)wQ;m1U5 z?&=J#T!bxV%k>lkBxwzEUKEEcINRn;-BF-YVZRAV^*~U|yw&N7D5aeTk1031Gi<1% z^r>-7mtvo(#p2vS_%BYX4&(rVP!J&)S|-+t$`ryVkG!G&^Q{+K#P_t=aCw zJnerl|G?Tjtl7Sd+5SF{2t)t`4=FQM)!kGk0Yrp{pPzs3{vE%siVfQHHF+3u+9ylq zSi*F1c05@cUx-#^z=koy$D85>Jf)vc())rcklS}-!*B`Hl2|AON@y;@uxL)eeA=*Q zw!#t6oV+BBq6slT)_%8HH`Sl4u?;KhS-ZTHbhoClpca*%IGZ4`AqelnyiKb$n$t)$ zj@Fv@?4&XSD<#H|SSvvnj97gUJ%2(2UWq^e>@zbSS+5zc z2-dvYyHOV?E9wAPGl6?G@*Sn01oqL|6GpLEIiiPIERZergAt>!&1&If9DA(}51&{O zYW5fbll5aSa;L@dA7B7&9RG9U$s9TU=hCy;^u+X3#_~RF6P!HN?087hf@ZJ7JH{QS z%b|@lfcnq^S8gAOyiFYPmg3$o7WzVdrMR`SB?U`|txL9@-(^c}-oXj9u@c>qD-pV^ z_^i58+9uXa>HmK$1}}hPmmvzEzx()`#@|Tjd!GE$;-4P8{VV)q z;@H1Q9y=ELBTptpzuO;Ff}=Nw?@hQmqO9N5bg5?pp3i$def{ySKzH|;@aJ4%ugBBv z@(#F_E+ypc621Wu=oX#6aM-OxI!_Pxc?Z2GkY#AlQ$HRI4|o&>|9el0^u9yS(YwWNGZO>%e*my|3Hr>Fo&!O}K>1EBrzUi0;tI2wnO_ zK!~95_6a2{2174|hMOMY!+)KMOHq3TQu*kOo{&E0kA#`lh1}T9(4q2Uv6TLm2)JA> zO@vUCD=b(nx$D;D#RJRb8@@m&+#Lw`J;=pr#IVO7>F^4V2zrLQ3LwKjB-=}#xRG07u-ELfWDJl|ogd#pQuuNY{wOJocW`RaxhY}xV9@j zV=2*hrnfJw>VsXWjuD0R#hq94dUiB(!ROLE!mBUcm>Q4APY)zMxuYvmv z%`3dm?cd3br~Q}^cj$|W*?C2~r)Oe}-{Y!#I>!95QT;{oKI1o;7#?M+o=9?*8rJlD z{a0M*ALFmYSw!b&;{Om^>E>`NC%uui{gbZpDwkprR@<^h-CJ z9N*_*NzaW&J;5oL$F27HUCOje@%Fm{-I}*2qIL#)XH(Zb)Nl2E54vscj1uY=@s3^h z7(dO+Avh^ms&Xk56<( zd_I5V>O?)5^mxt&eg2M-SbUo9X(X zH?9BDo8UZ*&hRD_)qqn}#UCCcyD`OWS~-Np4-b&{14TTqZq`&$KdJIpTo6R5Dt;do z;_Vt&SC-3#jeM`S)8Ex~mU$KWW_(OxE2{Xu$HhN#iPs@6&WFGNdamH3`-|^VNAhy63B)&{ODxWVfjID_})zHO!M3EQOVX8hCV`sXlzfgMEo>H-~m2 z4_<#(&*_O#9ZOoEkMRI8%&w2@ySy9YJ|tqDS9-th)IZXa;~DS3Mg2~M@eZc-;U)_Q zrZXd%#957n{noD@ubq+)YL7g-n;8xo@?vK*FNFUBi;B;BmfRE3 z{N=hW3v(0^d?G!vauObg%&0}!Sg;o#`6 zkL#|Fk$(^V0;5bD#I@pDgJ5c-Q|M*%QAuI1u#n7s6T-mhGx+j}ok2w{>o1sE!UrGZ zn*Q0&F@>LUdwXx_GpKqump@WTOxH_>DWqgtGaqe9QjH>}k3VIp_nXaq6 zTvD~aK2={9T79Fw%=t!HU^B#8Sm*<^@~0(F5$2K6^dBk ztcKBD$LOwt_*egW6(li&@~;mI{nrX#RXN2_Ve$Rv$o*I7h$^!F94s>|20(KCCs6P&aO>`I?YiC><@_4BWR&~1 zmY)M5M;@_yz4~c&ClCVps{A8WQ(zP{F6u(z&lxL-^TBYSGvf91Xl|heeZ9U;cc3fc z_69ton#b3{&inU&KBUi`+L@fY7C+rpzl}voboDiUGprt>`;<7Nf8C{pJZb$acegv> z)lTbQgn3XOmp7F@{iNe|LVwz)h6B+awKtBxk<;q6ez)-Y=q3mUw-~5VcvNm&oEh)# zQOBa7y68vh$I-Cbg_#=mnK!X3#BCPz8xNR2AoG*&_jUED16j4BPtEqI%x_#VHQ1*z zwF7s~h6YdOBd7b+(_t;3^bGe02h?yU^ZSf%H8^+@`xQq5?vh?qVfAwTGBH%X&iESR zs^XFXPqBLdXWF^Nd1)EsFb}dAhF$h)KdYEXR^Cv=aK#j z4||x75cr_*o{ydM z#C_);+@`>Ko7>0&g8>%W$9lT;fY#Hik85EKOAvkHf#$(IE+9`|8R2fm-ROzc5~i599`*ii z1#=_M#cMD2S#$aW#s@f$bGNA?6M~O3KHA~0_guTHj|+YY>w@6ZOwH=Q7I{I>jRfWhrVY1WJ0;j#Lf-TquU=-AOsC$%)ZeTmnEGpc1ofox zfL4L1$FHC1tKYiMRbBMqBX(a?>&jC_tUP6`DAeoq0j6HXM{M}{-M4+piTLTylzI>5 z%`fma=L4+&6X#9NbD~eXG5noA78uHXH-m-5jR6_{j%nJP>^jrj^cn0h9`dsbF<)e+ zJMhSt?eS#>eIeHweRlS4!P4&OuqI~zUTFTk8t z+-LsF@(J?_dWK_x`82GWnJU46Z+6yq1!RdIOt^ha_j)o(F;PKhafT!*X{h}+JiiS`2MhE@%&-+4tz37i! z3#pzh8UOFtwPX1I#O8LB-7XNY2!EcG_K6CqvPT{#Hh>9ks_`9a^Dmwq;s2GNMSiv)7S`4gC^}y#uf$9zs8g}| z6}l!jCuuh@591HA-<+3LE%C(C=g-T_gx!FRU9t9NsaSE?CeZD5_;*P&fJ$`*fe_$) z4b|eV*lPbY;{U;Spe>r-dpR^Ntx?ZPI}xLkVb2?vfOFCk9(^klzzCbHn&Hg3v{`<+ z`35e^+uMmp@WH};AmqX8*MT*6UZUe2?0fWXumeZ?BmBQ3b+@Tla%%jK z)ZIqt8K~h5KZV-4dx#E#i)Hv&H*4YE#5VKGvDs7`?Gt>C-&_0Sa3wH(DVmG56@RIj z-FmMhb@!3F`v~X$2n|`?MwIa zX4}&@Dbesq1NaRrO>M(ehtrP4gR$Ji>^hJEZ?o5$(N%U+oc=wA2aDB6cvqTDwo}79 z&WICd1Gb>8heT|lj*%wz7!_(Q{WhFdF2U1;+?f!*49}JwE?9*1eHG8hB>1)L))85) z&BoPhGHaD)zA`pF-mO8}Pd4Lgr83^YQ@isGheERTw+ckekY=UXXt@>GA-p0$zN@6)f*;zO}1+7%Z2pCOm?t&2%mWURe^=kGMgm0A2=0?9Ie9j|#Bdl-D0e#r zrFjjhol%e7&(7c(ITh~pHg$7ziLWsR7F4OxcEcf(+)b@|5#MNij}RaBs)gATM&}zD z8Ic*=HQ5M8XbgwZ1(fw86xrMfBhkmG#4~iI@wB;-^wh2n4dgS}jT4PRLT7_Qpfk_x zn>UqvaLzPL2EViFZP0IX4XgoeP5BJ9aHf2QA$cu_zJ04{$bqkQcnxys!+V@AuXTXLIpx2F; z56R2tWpuw*mj}sp4EG3Hn{2;kbDq6KeeLCiy4;z_V0Q+qaNZ{dMs1)s?e|BFkP6MA z1E({&BM*Y3kP1g01V0}{`kcGKiC7H>ja>d-t^z>9EHK7|vtL%U$@$dXg!)0v%|&15IC>7yOlQIM0%*Wo+^UgQ|VMOJv}*AhMR7p-1XJF=GA)+|LP7=oV2J9k>B(}^t62TMLO7D!) z@xD0mmu;MQN6yj$Ckum!+UCaE>M~HqVAqnjP=3jPVmx1zb~#1Z!i-DXmsoUdwFpDi zuP?+_^Dm&U+g#h2z>W37T7IK6@$JU{`&oDZy_o787)Yh`-{=3gujl^$kv=T@(Gw|5 zmhw}Td@47YEM!ut?9@y$nVd}Lr_hVVY&J7BH93hWrs;e(m(S%&nRK~4T`tT_7c-N& zGVYoJcZ+cVs0@7Eym_xIE4y2>xBJdd(Wjr^E60P%3)wRt$(Cd(g5m~3vHizvV2~L_2?PMHCvq{YjFr?Uy%DqbuP_vz;N{&!H@5=-} zvkBIL+5NMUr`%D^N?G?fB;7xrFb@?X0+iW4K7)GIZDz`}S;m`>;uv2z5gFhh))!73LV?+p}aC|6ppmirXq8{aB zwA4ldz))WjSw8g zC_y~Js%e$NSVUp)D&6wiJ6)vPfSw&`sgJbOhL-LybZ3g*_t4}a2M5llW!2rrz8t4k zv$S{b{N2+3=3@U+JbgaAhtp51AGe0@&)_cA;F)b40$^s)N<5Gl9M&P=sukVXwEs8! z|D(r_MJ4uM6aL>>!2SJcQKJ8Gp#No$xk4}0a~*CAf`Dl~03q-sizeQ#0t^W4x2LZb zgr;v^EdYy$po(%ph{*WF4@Ce775hXTXbt*xu9i182|b7lE+}$#SO5-2)JH@Bp61Y) zS8I}u14*Tb^f$S-0vk!d$*lB>x6u&)ihI|}l}fc(1>Ya`p3;|epfV{E;(-tPSxqI( zs|$*@vSKLFdWG)yik(jcf28oBqCH<M{4d^3)WxUo^pqep$+{#_46Rz539t8>gHwr(Yx;9Yb&0ej3Z2gYlV~l?$_@@D}bB-aY8!q@;Yg;wdt3TMu zJ{3HRtN^Fs^Uif{=m5Jp&v*#%9h}d(wE9VXN#PfOJk#ZJZ{$nW;%2Rr|B~^iLW490 z;a7{)hXCiQKj`2OI6v+|+r-}t0^H+kbj2hvw(ct0+D1tREa>Eb>e*rdI4X2Sy{=F= z;s!{F>IGsUh6boEA-C`Wea|O6n!DTM^J{LUL%0F9C?c%T@y@U4;qLHr?`cJicLPza z8u54{;f|qhZ%4Q<>{q)!J)x*0k&ce86W-29*dH00@P&QhoWBEDfa%^-K3`7kbcMM%;bmX+9R3}2T)K0w!U2mDQhuYP6&)iHRvsv6|B%A{cjY|*Dh2^9q6h_m zjV?u;2h?Ef+^$UU8q0@E=~$?~TNSC*nQPL!X0#!V~KBhLuQwdo@bLRDX8> zATgAX`O)!6$~d57G%q(U2U*tJ5kKz9_xl0y=$Yv921kXbKjOXaO9J^t1IA*%@f5&e z#&gyMgh4As7cw==l)0V(gkYz4_;{xmc!ZtaF)EUEG;T7lhi)@3%EE*G)7Nz2eHiMS z@iyk}zVNZ|zSZ#6D|VIy|5kNL9Wmz2 z8=5nq@_rwy^>VHViX$EtJ26aNz%}W>>4_KA1~5F1wc8(`L{{(6V2KIKxq zEA%zY&vHIO5O)3_Hq^JTRDjA|q;DReU0x&X7LaG|Vouyq-R8zm4NvmrkiqUo)S2jOCT5}l`MJ&2n*TRkZ1@>32EaH} zeKx?wT!1TUWlZVYjNek+W>^vQEnwm5_c_~8`+m3*@2TGM1&TAeTlDE&_7%{sRPXPP zP3o7??VsbTH>j&810U%623Ry;9-V!rxxH==;HKO` zcfcJ25@&bfI6GTudt3Yd#ZF47S9VhB*+8Jj<8y06<>TFYw-)vfow+!01z2NroB0*_ zfDHw^0fMSV)Sy4yb?2jBv!OuCjSj_nmn(2~5n8Hu=seTT(PuCcUiki2e1VB@nDJ9w zeH~v=2lW%7+mTZpCqsHAbUehvPt8jv27qta9|SJhWqP13ep1IU4rtyTF?#Nd&`#o$ z;0-a@;;U}@Q~dpNb9zUdtHZVj+2Z8GQ9ASZxmnmTPr=odCt|aNg;1zsRo;Q&v^}+c3yQe|k#Pk14>Q^AgbF zX*7t5?^gt$^APm`o{5C&pz>OMs4yhN{1AYMFmSg-cxp$9p7PhPF+lP8r{zzsW_N%) zm(%zyE?#0G>{WM$#yzSsIu59$j|9Jjdc9G2R&kp^*I}XG15i_UNLAim#lwOsA=2U? zub9stz4%?-{g44WNf4&d{XxJ-YG2T&c=FIMB0z=0QnaAbnsi>#^p0CuWEQ~;$TC(D z{);^xf@<`CY<%m5sNa3Aqu)<_~qLJ-{t<1zgIAk3I)LdTzJJrF3*geC|+4 z?VV-nNk6a_PXev66A-%kQ1mCxUv#8c^28p^5x>0T@%QFWMD%VgfSWSFeFVS;fesh+ ze3G5oxeX{$iCajYz&OMInlG%oMpx(V>Sq-KXuFDSj{xSPdRBkRDcNaImjK);qum)$ zVpBDJN#+7vMxRS1%dxf9UNxw9f-u8;*d^-ISV4xdp1@292yf4T@ODXYZPYebur|~O zRsKRzUY1K?zdoc-*L%78OP$`Ra?NsE6PS?%l=uCw1fKyC<)FfQ2)qz)cVUfF_^iS< zL^ui7G)(x1;R);4P&m9$@2(Gd9u39f3-$X<01=tTc<_RCeG=WP-xOzGh5Af(H9v%j zdaT}|7@RQ6HU`qy%n?HI697#LA{AB8ip1E=v=!E@*hsbAKK+EmwxzVAI zBtDZYu8WDe4xq3mm^MT=)HzDs%hZS6fF*ngIL0*ZKi+dZob}9hU+d}sqACB9`TOJ@ z<{hJZLJ%~(s{ZcjC855ZxTFc{@o_G&WyW3`3%95OMUH~DV37i~)rYud9T_?`KB+%p z8qeuZxO;0=TBoV%iMQ*(hZKC!!?8VAYoR+_6N9r%*x4h{>ze+8_6dNr zLuIkgI{}b8KzkBY;{Xz>9Pb?H^RTlUZEp+x6!*RjpY#R1!JU*xiMRpTc~gEf?Ni)#tM%xBqUxRj z?kTU9H}dd`eFX%{ZizsNPashGI93Z$_bYtMtw^j&ED9$v|6Y_=JNd5}-&WN6-McP6 zA@~FqqXqEwCyasie*lVLK~3+Boz^FSZ|e_u0;3#qzW!{WSJ!j$?2<`RHfYrUd=%f-)PT?DeK-YNW<(~FNiA)tI>VH;=aCmsN} z((;GZ^DA?iHs9@lI4`{Ra z0$_4I#k_x5nsNJu_lHq@VG#3*_f$Oi`XlCz$uF@3oW=xDl}9}4&gBZ7a{#fy?xXs=T#Guw{f!-_ldd;933gWP`^gzm+yTm1X%ENv zbN5|l#6&}LSa6nCfwPO%yF6Z8gU##eCM+}8=NsPp@Uey4`}37oQNsrOML8O8P}@)1 zo3aBX$u)X&sr+)C00_UXy&0F}mwbXq;xb63!-mS)uiI}b+Xm9*2EtWtH%xPW?w-xQ zd(XyS%1PTGIx`HpX$AW9&7nJ2`a;8ApTcz=NVd^x=|U_v4};6)>gpRTam%Y`w;vKA zKY0Tyr{!(3i=CW9oKL&&WqeOOT$C{)7oR3AZa~9PNXVXkV}ujD@=X{QBX&$t=h!Y8Rc(_uaVn~tWA<$z+nY}} zMwZQ)w=uF^+E^;DmaIN7XU5M>D7p6_lqCp>DHJOV*KKMsIFwm0d zD4K1>n1j*bIdqGI7nZ6p56{0EFPoakSliiBNi-M~CPF1qlgz)iJz`Cr_6dx5yH;{z zO|`D@a@3kDR*2miW+c|&C5qbz^(aC2R!k6Iyo><2zzQ+T-j!J!!d{{l6wwCw&>T2{nuy4zjYdvHB61KmcasRn z%2@l`z1QeNNn2)b5Z%ed8$^J1A&taaBc&~h9la+l-m5;ZuH-jXUX58GBOin;t=+W2 zN+eaZr$;NH1I!zIpqXZ^G>yzKXB+!<=Zo#>u5D6l`)@HNc^04xY`*M{#+6n0Rs(H( ztL-|wK7X%Dk-2H+Z+^QLg^Y+cp`|EtmTtK4Z34s(LZ)oUG&L~t=ms_|Ypd@{b|yP+ zw+u#%!3 zET4?C55+quq`Gkub?ir5&jO9Xq9Pk*?{ySdpOz(YCfaW>?5QK?H8QCi3iOkGHG{O;DC#oF_s!|8!7WFHOR zZz}FScCF9byc4cK&%j16#LjJ=TZmbQmL|6#N=;@nM%)HEYDBAsFb^{t{<@gqCW4rG zE;c~M-hl;YcCp~B#e#pLbNf57;L2=tzmt#jT#{!)httw4@B`ChiI``?I>x`UkJIK^ z{pD^arUW{`x%sQaqpwKGR5Lo*>dA+Wpc02)=c3owq*Qq<3MPzAKpeTlnR#oquqLD6 zNGL^^A+%Yz;OH7HRY|RHRL_V~MQ_8>0cHkJY`iF23n{sV#g}U3Z{Ad%u5MfY;R}bC zt+Zb}9nReG%F{Qi+utF^gR!`O_X-CboMBhDaVo0B-)W4OHuGDQ8>S-oe8tQWJKE(k zVCouM*4oxOCam+ky!{=7Es3oW6pf^4=(pt({cx~Ax#XFHw)%$TJyA22EOphA{v3X@ z68*Ni`79dWJ1cTrcM6tps$Zd?aOgcmJtFAFXdD6!q@vbt!Y4Kgc)WbcFy=bMB8#&{ zV(;QdDC~{wrM79(kY}Zrw|5DTmO8YzWSPivNJDr(OrV=1g*A>1Y! zSlG8 zjWW;`q*JHdDM-22-U!H2Xq13!iex{8;W%z3rApmkWN;r;OMX9*J%Cfuxkt_HOsQGz054z4%&j9MTwDufa z%3<5SwobS(|Gnsf^Sk5RQUBqfrL%#ER^6;rTA7B zSOK~yT~nGvR3KwjfN*~~RoUBCxPzDUzyOj09(NtH4U1bc_; z9I7}~+Q`V5a8~6B6u8}UYeJ5;eQI=3Yo69SKS!QutU*JLt*li(77wGdtiCd4ux#Q+ zOMil}9o=Bf@=+s)r&8KTQ^J{Mi^f?B8)dgQ1dABSL(`|x#Wu?|D9!3Hod1v6oo1(M z=8e`+*w5`;AQ!}<*i>&^8T5H@&f{{BYj}gY)Xry1&LATnbO4^cx2Vq~dz*jlPxcrB zLt2M6P@RZ9%6gdN`9(uM2f5sSOe!riptZwbJA1DZZKZ2i`b_cKSC~Y*mk?tqrG7_s zQBMcm;L7NK;&Jq@$#k8G8_dLNoaB0k6KEm7HX<$b6xEcrHB`5+FtW5Mu(;q?xSK>> z=~)d=_kKoIqxXo1;;cw4(s+p&D`ZCUlLp5~LMbS@K_E5!q6X8q(KYnl;Cr~+2&Vw{ zj#<L*s(H+`{F5+_pf31VQDOc>~_YO0(Hpya;rO0Cz zsApEJNED1{k%y9fwBMg)P}xK@i%)~l58jY8NV|ep?8VpUk5@7~1F^hm_dzHWBgPgr z5v4*M47t)ISui9DCMtZpN}I9+^tB;8sL(_{jOYMw971+rM%aMBV9z~S`#Em|P*tL< zSU*SJI%}_@VUF`PIwKKndUphyb@N7=a!W7McF)RPZVRzf#4e+Cmnf&Q+=O7pFSO=i z>|^W}S$P{1#AX9@B1mI1NnPPQx!P|UO+;Tf&Zsx>&fW*qoARtdoV4k5YWETjrj%wP zdPf>WV6w?628)L%kQ2!}S-PG?Ck&)kCn`aDVrD9Rgi3IPN^pcqaD+uY3B|ZDYWAMEC1aw{D1WCs0a4yfxmmuNl^0V2n0R% z$B%zEJojI$8Bp?`NI5+OWSQVL?)>||`djOs(+Kx{A*FBG zkkZyZUgB*;6O9u8r-hDwbj4_IZ*Sn(|8VMGZqNPcbA*sMAz}4rrc>qe)Ksp3hUN-0 zl`LABn<`~WX#mBir=}{&Y-Kt(T~6mx#d4us$RVD@|Z}c_a8yfA3@Mp zYtKIn1iekVQWLyrC{h=q>kuNWOQoX~8359OE730?mXoU1MnnMICb0lTSY5<#EXu1$ z2iZck3HP6#1N{(>?U1O5Rk&4XWKSs`A`e^o^9AH$U*MimEQxNKF#1UhQ)yS0;i|T8 zjYxtctz$8J+e;)Sk0cUD5{V;;MALcv=MV1H!2CMGNnECYFov zH&ZF5XG&AKVzxA0n6%D*wNiQ9K4{b+{cJt~+DDI?54>dr>_ zMYUEXgFILmR+pdWb2G_QC7GU~Lux5IQ^=MosdOn*&ZlOkrb>l0 zYLPD#lIdI$2g+n}CYhbgA?#T)S3#V!+;k(d**}tF{h`Nm-}C=;KAp*x^OMDNVJbU0 zQ!15`#bmmiDln(sU(@e#4lQW*{HI#FSw=iWBF?y^WJ%LY#nq>9zD~T74v?n% z%8v?PcEee48#08F+Fp(njy|GTg@1dM)fQP5Whq|qeh|& zQ6uDG-0-t=V9=~ooA6ZHFyzAf)QwmUF&R00`!f@(Tg`eO%I#P>6_>W(ls307Nvqa+~(Ihrovch+SzItQaPb6Q%58#_S9tcF&J%~_2#9F);4pzB$AbL^zqD!{MY=F9R;w3E)Jd&?}5rz!D)YyPW*!Wh)I_wo5A2N1ZI_)1`PEUi$Yqb58;#FqPbw&&j0&OV zvOd&rt*vR~>`ZD@)oQ4b>ntg>jJHbwOplV|Haf-V6EhcdysbgAYcHMko%vq@#cawP zj10%3-#)9NC&}&6jIn@Lk$VQ!fgGcZ4x5!xFliR7uYt;_RixK5EW~ARO0}Iyj z@S(+TvI4j24OZ*8 zBBHULNRGFwSB$D&Z}haRY#!7I+G{S}tQL(`t+w@iUDnMw|*0B0X3HVNnYU-UN0DQ zyV7Wo=?P*C1H4Zx`x_&bP1+O(_Nti~oG#GQ4{+xi?id-<9gA8MC?+YN&*9TaoiAk$ z25s7-Vvom&q(dSS<9({G{nYqnUz>g)m(6NfZM+b@0bigq$ifPFi z#-gTTEBfFDIT9dn@p3yK0z@{P%pPg%k2Lm23cNp)0`DlY;p&mb9>xkE+K1q1!vC2j zeCp2-60i~5Fx|#Rh4h3iRx0NHuGv)P3uDvQYX8sv<1zLh`Tce>yF(rO-%s{s15UrA z#A{!HSG2bIYNbrV?AqqI{5`(;YP~!gB`nmbIl`kgela7rUf>9##M+PeMOGF!!f>rhZI z(`Ip{TKxJ#Y&HL)x=grC6S%QnSj%seCcfPO7A;w^C1{M(bLMQEZJe=;+as~4v{}0l zTUc9vg)P3!*#Is)6`PkO5ip?yyqbp$PJ&y>gHn7kZkQv-7oNOX2jp5JzAmBL((w^U z3@GBlih&DsfJr&3COyXYlxfWxvcLCLB)o@&xxLIRzVxyRiJ{b2FG|d}E2NWo)VTdP z-jE4ER`?!zg?Cf*8WQHEwddt!6IcIc{&}I4M{tns#21Sr@n(S?s)X7$DogS|!mX2c zOGYk<##1TDd!Hs8UJl$woJvUct=b6V+JSEmaId|B0YFMj1Zt_$WAl$%uI&@;M9L&) zyaN##MR$ES1tf^FYAQUx-D-z2*@O!wm{G+ppa4x9PNrnTg9%DUM=Qe3xmvR z8%oetg5M>IrS@3D*rwvz%4E~Tgh7L-v<&lbvs^*2O-HB)La@GSYAPBsT5v*3NNdux zLrg3C%dUO1ls0}9Qd*^?^}A12XTkA)hx>)v6Y;79AJik<2EF=hao(mvf2e$ zC6Vf7tb>Q#U~lJxK} zm0xbD{95#8;wq%a(B;6$2$*!vYM2T!qiPTyJ6j+LExv5PzZ!C6*_|W;w>$Lk64g1Ihu_pj*46IYkNeW zI|#-c!}#@mdcoL0w2^I_&1?~EQ@{_*;YBRM*ISlaAXQ1(HZ5c&i?);5@`dC|-4!9AJZCel57U1~AIc<1O? z6LOboh7JIvZ_NM(f!`>p49gP!dJVejm9-j_=#}VlBV;J}BUDjwIe*aINt2PvX)Lde zr7(WU*ocue+Li4@5_5xA^22lrmTp)^!ukP0i@2C@p1SMP(#>&pG$LwsLmu_Oz92SM9@4 zo)Nasu$5~VKv|76sH*w4wHDeW)-o{p=~cU2kzI8I$l><-{2JVusJ^+HR zfR`tV*tD*Y-TBu>%fUOF%4=8Lcyx2m=2_$WeuLwrd{oHZX4+kF;Gkg->8PDOG-kJ> z^3ITzZ<@z*jQ_}EXIYJbFvy|JcsK$C+Ey`#Fdl46$_9Bl zYj<#CoT(4h7PC#DZLhGe%mCBioe9@!x}&ch%%HXN9Onj$FPS`~ znL&&^wrRlRkM>yZlfU^E@d5Ma>$YQJ;2OuV1(aq>H51^DLS&F2B40p!yQmdy6#E95 zq1-ZJ3@HU77MOnTw8ymG2XgFM^z+MCY7^1x6w+Oah|EyeG6Lf6<;q;43^9>h{lN|o zB#@>PSW8a=%GNQfjPA9!-!iOczVxfD8p2g9W8sy1L9-TC`G?&~H#U+fBS?&C6PmA; z$H-`~amb<5jj{G2#W8&1X%U$D50B!YTkIR*1ng7fTh{=WGHwsZ-c~ zKo}G{%aY0PRZ-fZDf=;2e{h= z-k3vb0%T6$iD67@iDt)|QeQ!uv1rMV5ZUH z$rI%6+E9z^ObxrpN3g3TWbNHmc73Pbrj!SFyAqVKZB*DW#k3{UWcGMP zmPEFiW733@j4llmOJfuo{zcYcw70Z0j8JJXjOqMJW=2@eRvqLCURpm(|9|%P$JpN= z>HjU~pxt5|Z~*%_X2}gqscl1!&=84y82x`5n*3}o13bNSI+>cTl;D#;nVOuOnJQQE z#hG+*x(qyq3;^B=KzAzwi;leb%V{9=O~SQ52LdGnU|S_Ef$q$^Ul#q%NW1od7N*d;{vCRIRPAVOpY49C-R=6_8O})P<9o);Q5mrK`_MW~duJ64nbpPk* z{LlIQW4^Qee!~<0Xed7PP+0QUe;N=B|Jg5k`hY8VA~Z1Y`R9Sp=l)owSOLFX(>#%x zLb6;2MB&tAGCiFtCTB_jDNI5}QOE;au$Y9*qB5DvOc$mr>HK7F8ld^5$$WaUQpf@) zzgVKED6>F|%$VU(7I3{;-nh59h8qwQ7iH8F-~=GTF`Ua07goBJ*M58g11mc_o=HYi z)3fQ+Y$i1^lgS);-X3}09y#LunH=$sJa3OYZwV&+LwVksu*m>VHsdv=+r;rY3f=Zk zFm&6S?f>gqw*T7o{(3d z)|S2uO?qvJ_i?s1)Y$N{Gi=NsH0~I0I91)I8EHjo4`6}*HSEtDwy;ooC$2!_Jpv2c zMEq;Z)6()+vNYeeMq!U!t`Lr-sS7`p<%Gj0guJ^9krdey8EQzwn5XdomL$@`{CY!l zl^}10J>F_OahhB->CO++9;0Wi`m~BP4%5g-u()b!j@4+(vc_%$j;5`t&9*kuTAk!L zCrf#zt&DFu49lUihuSdrur>3oZVfOxHr*OPVl6%mdn1Ax=Xxhq7^ch)bL6(Z4ex7` zdH;t>p& zA>XQOz8aZ}E^UL0`DGNbSukM#^AJg+}sKBe|J)6+ZJYcCyK_K^pLgkPIUqJzua~lW7Gk zRATe!JTjtdv@1&B66enq=7|jOR>KhQPCs{vGBb5x(wPUlbiMV_$A9mauX(Az+s3sV$nWdGtdQBfi767 zu0Ui2d~&$57xIPbN_F#<0o+K;P4Y9c#WQAfv4WXQm+KIk%JL;{iCG{9&MY#%gp?RO zCxeT^<)^gv95?_QRR_bPch7CDSibfS-}?8R{$K7n{U;H`1Z?lyYONf#;~#yn`A;mD z${x3EP=7iu;8h6z`m4GcU2(Jz!s()*6eY(6l5La=7{UaQA#Xm}8)*#l0DZ z`Lt%vzw}=755m+o+|L?Lhe@%)`{24p$fXC&&x`Lr^$c&Arm5F{$<3EYAY20a&K@iP zOk!7N3os_Cu5PVu?Y)%Oz-kZ?f(()KD*$VVFOEeYVrh}=LQ>b>TZU*2Lg-rM6&W!* z9c{ln^{~BDoDDAHjhg>pqMRtL72!3wx;e32-n@cPG5C4u)s2#gG4s%zStHRmjkoA! zI&Ts4o4}Yp!(wA3GgHqsCEX}*Zf&eaEBTdL*?zL!NCUW<{00jDBENhg2I{oL>xh?> zrW2!Fah)xEaBA@2yHUgDts;Te3Hiap}(hvDroGy2Kc_~XWo3H#68 z+tmicmc#Q;f>-Z#);eO)U~litppE!{|L&Ob?_dOQ^zZ$9;P118gw=Ng!PzsJe|i76 zk-0x!t1rk{dRin^sALduJ(DY?bEV13%*;$apDku!uTLO-h|``#oW61f!Q)byba5&( zJ(){o)0Ij-RV)-s$(-XvZOv%Mj+%lMI+EA|fIGW){%vl(mq7WyNjjSQ$1i_doBO** zjpiQd|7G~vRCC-|LLq5}znM8<>}Pa)C^JHR1U@%c@SfPLUvY)xg0`9Rw`x0dCV7KjFG8K z!7O8%0!dc#aFmmRGqS!oiq+}Bc63h8hP-cFMhhL!8^J<<{JzMROB5@RY(a39cZ#lL z*a<`4a=LVl__(wQs99DetkUTSB$gl1-o#dYw>42s6&H!ER^QZT3on z4&sk3X~D(s;B>cy&@v6_)Mm4oYAkwDO6*CtQ`>e3*>0>xjgS!EBDM$etZrIWtv!d> zs*E$ht~wvkC3tMOq?$gs);N-|-62x8&bN?V5qmJYZv{Yk(j&$^#Mbi9*U>CmD-c$u z=Ae|H_)PM}o<|Y{;c!IHrDZ32wIO={aL1Dd^^Q|#jN8)xA3r7cIqze7lBCC&l@J%l z8v^S1_>26?7U-5VE9Pifm6CCE;tm-UW+o(~)%A62noy>jYwK$(Ys;@l3=OFo1f|a@ zGq}0}J*Zell%EFlh&lU_4MAWWYMNN8okfUt4bilm^9hR@5!0&nT}@7!&26XJkbG*J zc|qI$feuLWB5H|4Tz1&W(l$?1ErTpcy1Oq6BO++X`SUB5;6C3}^(GOn1?9NM?A^OU zKk-aUP479?GSS4vt!0u1N!I?sCRg53=#QUH_6pZV@@_9*dkF4r@*`e(+a|Iiuwaah z3r!fQQh+Q!KEAqz*gw+49U5yA-jf=pnbt}4-&jG(WO}ce1x(bHH^`!O&X7icR5`^h zKr>r>{I=8~N@Ar+;8>E)MR4^^BRjizsb!$_yU81`p*_yQkYp{{PFor2PfVHjZNfCL zyy!fVMIk?*DTxs#+gu8<@I7B&t4W39&qapTmaCyUa%{L34=V+ho3=f6I^%8Eb;ly% zT+*G6lt02g0EgWy{$~EU2x&>DXak(kzL=ExmMHEa&DEb-f;(wX75kJ9;dyFeI-0mA zEw7^YOnjFQ#>VM9XH3;`3mfLgPa}hs&PE-(8EeK)*luQr<(RG&jP zw0{fRKZU`9<9vZVd%K;CF-#2zAIaxU7@)&z6;o3`yIL``ms$~8EV&K+5nSt#)=GP< z)rZ~$n@6raH^H;*N4W$GJdB93-!FY<9WUvSiT$!^o!8h4Tx;DinCms|viB%p)mgx5 zYXJ=sB49i#tjf35^6C?8l1+n{CF9z(f1y2vgx{~C#nCU36xJh#Q4ElPur+E=u4D;i z$Q#-}C;OW*XxnP*wE21gZCC@Plk6(YJ&v^}y0#5_sm4~TaX^UMRc+ee&`xgGI*Pt@ zWMM3khZ*gwPu>vJaAQnhx`jbUFPo;LjR%*INE*A4agoK$mH@uBfxziy+xCkpV#^AQ zfuNVq}rsVQ@zJDkegO8z4>%EWseD&-8Rl%3mgJ0_B3 zbM_{oCL#Ha$hmt9|Ktov+J_}u)@N=RX|_9#-Qyt2P{yPIi}NZv^xE%FlT zMWPkNByL#oHg-$@`{$2v@Cb z-x@u;i988-4MT0lL$ZbC=Db4di4Z`54#@{CMv^WkqE0D{vr(;0vJa1o2sFHVBxDEd zN9%hLxmkMy0B(^+D}m7(YfmTyp5qusD;_ry-vNfxu$VR{$nLrm%p48lB03Z0o2_tA zqXAq#i6w`MR z3<_p((M$L??iCz&YY?TjF`G4C1qU06K3N6I;V3GJysR5AGXs;e7I$f?il$3bRTP8@ zArj4Ac4(L``uQw;egppOUdB9qi<_YQgEUm4hmZ7(#LY%_(94-U@FL{h5-(U6p z&*{y-ztwjfYW{mr^Div?C#mnZ=l)@ioZF9ST4ZvjSV>JnW1r8aphB$_v*pR$WHvil zEalV1;^btpl1r56z3a6p17%aHO;M2ae^eAxk$` zwS68rwPx>Yd;E(%Wg3XKzE9a7Ouk|Bo+G8~ky5r(FWX`RutNeP^Yt zW5P6VOOLkxSPXx@t-pcpksD9u2;C!>p3P<^l2fUMpZ8d7b?bQ(%E1S>?iq_g-MeY} zR-5oA&Gtkl7z%DWO^O`QCky$N;?@eR+_7gptff)5P17e@8gH5gHP^-r_SjOJh8*CQ z^vJ=};v9mc!yGP=C0z%CUMTu_J#7sCj6qJw`_y{ z){59wIYRenqICkPk;OpDENQSZY|=3*~Z-pP1}(6&tN z&#>5eEci>sQ-*!9yr+skoD$;u4dI5shFoxmHGQN{<(ls9QxzA?Ir1wbe46oTMcXVd zOT++G{7tVAKU7pN??2&Fn3o^N7guxjS*B*|vl?4bMg5e@w-wGktfs2J^L-`Mov*&q z1i8Se;`@wC@XLxDTALbf2vHwKQ%gnnU>`A3ZJvD~SS zk9ARB_;fKAU#Q3Qg;B3>6slTZ&2>sU)xxJR;@h`^AzJr&Nfx?_G?w_ zT=DTy#>W&@LaCQj@jI^&I}a7MHmvfUQ6czM#(t&t)n_7Z)upK};dZHgdZ&Hm^LE|o z`CMVVn~BpsObjU8RbH)?SBF*oqd~6fu0h7WR{KKUfZyX&gU3&Z5DNy4D<(q6(H;?U zNAIX7zSGAv_fSsHc0Ei4xz>R@N>8VK%dggtJygWdLx#cqMZ!Pe9~W!gihZ*nT zUj5O%yAK3+GwuPc-QcaXIvZ)GtG@FrfIlF5=9Naxy^W(aWCUR7WVaC zyQM#zi7~a4KD@ox7(dRH{OWR8>@W^W0^x1o?;C}EJEH36zTrH{_?KLPBBPhjGCrp$ z2#ts_TgRAvD#Y8AOXw-T`c}IyRQ=R_g>4FudmmFdKH_Ru+a_%Z1X48o!|P0N{E0!-dHgGdzjy^^lE-j-%6YZi$?q`!xnQ+UZ!E5>A2IJR zeJSd5u!+^>Ve$5Y5c;CxUa#RavH5zqC)lGubm@vq_uWS={5@Rsx|p|*t~p;Tf)RAM z_$k5jE1jA?fBz!W^b7Yd9vAgTDD$$)S6-oKKT^TW6ke-^wYQ!1&s>_0PruMToG*Jt z-HS(zJs%$0d8DeE&mHi){4Sp>BnDqJU2ER@rJxvAy!t4#uVZ*~>{W~tw=rdhp@u6fD^<}-v`CNb>S2XfL&M$*m@pUxCEyy2Pco!tM@?Ml* zgWoGDlTA$rMrTFOmj-L13nsc!u@2?p)rkB2L;YjMH!<>b#l(e&KJZMhtM2~Z3(C@; za$Xu1^(A!474B(hd<5^q{9yfq^Btc4u23wrGjkJUKY)?$@9;3Srz^z7DS1akLq5Mc zH+%2ICrr5K7?E`p^Z%0$O+T+cV0;j)%+1QZ;%zL%mlO~L_i&dy8VaF|gG+Vz>%G_R z>f?ehFg_#r3{!LZFFCC*DK7M|0%papDt>+RSN9`e#1XD_;TIQME1Ol7(;bWxu|BK~ zJ78?9>e>2SBpCVYg^+Oh6gA*?Ywm~^7SZpwn(u%GbR(f}LicnpxRf*QGoDX9pL={- zQt^a*p-$oT&|M~c9wt<`Lf@0Vu9#0d*{QhIXz!$F@>Hk0%hRup_oz=4COloNYoPI% z`8_fL>+m*`^!V)jx$t$f4xh*KshaRy^DwXc$%G%pg+1)DS16j|_bD!SU?|>uimp1` zpN(A;ic1-B2Nf5XR)^za(9`q+>*%vy;r?=U`B`CYYvbA4TB(zN%lHcr7kcdvgIJ`$ z_K43TOx%ue1!l9oLJxVx&LzPgD?GxKwNg1O-eO_ZGnk@bP5<)kDn{nGB6b!yt0xyKzw-hF1i`K5ttje zT>qR4e}MBYwL|yTXEdD!M>&7S{Y&yE<7-@m1~6MNNyPa8_iwJn{NY<1Q`E2AkUuf< z>b?4}Iq$);KjQX|_4+!4%sWb7N>4~TA%=z``fxqKv@kB18X1ake%VLO1W(6wN1tpd z;0>KZzlCMuX1CCPt?((XU;`9ZKdWEiJfQHPa6$3DwxNb+{E=Ay#kXN_zezt+)kq9$ z0OMykKgGoc6i%vlPWRwBpH=utj@clf!rB0x-Ua&^_3;tL&vFHu6|B(#EKo~~t%rpN zl%%0f9_4iwYraNbf%#ASwXnL66fJ^HZ9+&%5^`uX@-9mV`c_Ps!0qeTdNW%Dc zSf8pJoqQ0pS#g8W$W4=4|722C_5Mj0afk17Z$~c)_3ij2uk0t~@#+ld|!Cnqy2_A5RyI{byQ5sg?dTDh$ zeV>apAm4QI3gcx(sg+CE+#M$h6STK{QC5RLjPC^WXPv_To&4sWhO3 zKDpp|Kgmw*+`de|jXSgg;D3)VtgCwO++F>w;Mgpr1h#GJC~;w=JcFvcIM*=pGxVou z>00@f%p?VlPGu+KtlB4hOiU#(Di873>GnRJck{pK&HglipAy;mcm-l6c% zTyE1MJS^(lcK1xY<@DIN|_=T0^y13^O{d8{-&*EVfYbySo7wUsz7K$8UYh)oS^9 zewA{}W4Db0)|PQh#JRLs{}t%$BK|5M%hQU`7HK8KvRB7ZpnjI&zj{52c=7n#s7uk`^au@u-_h-fban^M1_HrIP`?t1 zg#D?=UHx)*(05Y*%I}SY&-nWML+Nfc9=_fGD1625ulICybp|53?^g(*h z@X_grKhSr-+P4~+%myPnU8z8*Clm~YPtfuISUWq6y)6c$eTJ=5-Gy`nvjwbSh6xQB zYBZZ+kd+vjhLlp7~>ME zwP1VXnXk1%N-QGP!?qSX4uGGA{RvE5Ec81lu3%*^ja>G442vEZcT21`v;QQbOf#Si znXOsN>*$8*?9b=jW6tC8pA7bNq+8;{Yw~5G7>VJPYk0zV_H0fZBi3vkaLKy z5Twq57Cb-C=-N&YSEW_fZbPr;J7mLU+B*?`aKlBxicz$z%Q>` zmS(#RzR4udsIE*jz6(;3SSNLpWsED$xKaEVYByq8ahJcrAQ1}$BQ)Hc@WTpZjaW3z zu21bkZNNV2NEv?=YU4;5f253W>Vcn0MP_N`GHtbT?{5KdWAoqs>*$r2)f$4=7L6UD zy_0LTL9r^4P3^XZ$xLM4TQ&G)IsbLT&vch|uu*ERU8x@`)P_}yBW3)NGXBFU;~Rlp zGRbzt-!kv5vz$2*Z|9$vW3w^Xnn?$QSi_htJ<~3;7S;Y?Gt0Eitc4jIl$mJ(VCw(b z$NxWjZx$TKndgZikIFhwxB-Hf$Rr4n07-yVSvNsK;@y-eiION0Y=Y$ERbWYls!~;f zBm|**3Z&FKGd=6^+B?S{(=*Ytv-a+TBfJ~2>!*E~NBh+e-tdEC-t66ojqsbpe(>-A zWoA`o9XLpcQgr0L)w4-0o;Tu|gb`B>%}8YPx|&U(Ls~HUEp|&gj1d_GD6N>+nrU2$#BJtQy+iiH z9Kc6}YV&%*(1{#twWbZBj|khf<2hL zwMfAZ4qvU!&E<)*0i*# zBs0Va$YfPBAIoRWyb?>Nb2&{1=D7+8epSzF3DZm^QyCN7iDV)fhvWJd!R_^MN7Q&% zB>tAMrGw1S`DQ<;@16Vr{u-ho>sviG1R!Cm|8rZHe>NbE}c>JR9Xe3yb|jP%1OPFWTCfBD75cKJAKSi zHwIUC2sQ@M#-L>OWVYS|TgH|@zajKK-`A)OYQ4|CMoGQFR*>>Ri7HKfUwOVO{h#&e z|0$pT_vwG1{`d5NPyhS${}b{uTJ;KkcZ6S|J3ssv!0`v5b{#Qs8+GQ>|33Zi()jqk z>3^cho6cz*k(}3i`ko=&Tadsc_H^B{NbB3>eT956xh(~DL~CYF%6+HEEqG?uV@>#I zI6!yY^f+M7ZTMt8?H_!n$S0pG%7X6{d1trJ`{xw-x51Xhw^gDYeAl*0-N@{CEai*Y zeKOl8vpqznFJ|}2Y@f{b$!x-WwH3>|1FHHKB?JKl3?woVU0o|$y7#?7Mc<^D-Er3a zqcbM(>i_rs$3AHP|2yvg+g}O&uTIE^nXvi9iP_mdz4;5l?IS)PPbIPm4Hf~JWHOhC zEAebb(X#nODxHew;j0{~^LkDiI|o&QdupdQtixqDr;&A zbo75?<^OrFdx$rN!QVten1d1U{&^Q{a;|pgI*jI9=1+C=#MjjY ziQ`U~%%L3%oL#wHc6?C6xfWcEz<{9scq6v?h&hk7e9|ID4PM8LEA+QLjy7Wj8?~nY zx5{EyhbFsYv4O;2)&Q8(=yEX5li;>e~`3t+4vBC{!^|sL}Ma zZdplSAk>u&EZJTT0|_?4cAU1z{B<(tDy$i6MaL6Zp>D1gzBb{Af;_2#4R(dO%Y6;! zE7RM0Bep$uId0pC@AkZ47fG&!Y4AKwq}yDzxYD0rE5ZRBxq<6c2(qCcd`CHNz)?;& z#zZWa^cfRAW5Q=l_>2ip5BQ7;pE2PxCVa*O8T)tV$=n42(DE(wBVb+*0o?{EL$#Bj3I=(iaYm7^(@sg0Y;MOr*?2 z9L$ZBshSBDs{L88TvDlICK1;%Fm%YK(%^t(p~|ml_;19M@KUHaG@r|~p@mL}v(E{? zZsT0I_4$oLtx{Ci=bSiGOl9N8LQn3>oo5>*khqXY%x9CnCa|vwe8Hy#JojK35z6LMUW~z(+{>%^eys^Rh4*gXqn%9cDck$l52xp@WV^RD z{hDpVR*3ATb62vx@DiQIXvg^fy{^g~qh;0854!lv;*H&RWHNRrkuLDg0 zU$3m+GG?qLWNYrv&dM9jRFt?_)|o=kJQTH`$d_bK>;+HMs##yFmgKxztnI7?4=WUh z{~;&lm5b-qMTY6_ZsF%Am-exROZHx|yB6B9U!#S)*YhVCz2(|qx-KuTm`qMT?JUFl zkDr3wi<69Gq6&$}=xkrm8=Y@5(XwkRrcacL7;N{sCj~Cq>@Q z;NEKiKD+RA7FBPB;nhViqQKsL4}#KX}xmYxH;*!bGjF^*4aIGxY%z8~OSl$!$ z@@fT{+Yvf4vRsJK&6|Si$aoetB!n;OBJWI%*Fc+xyyjo(_x=$0>ao$#=)RZ@o&(8|L_n?Ow zJfYB3UaO$T@d8`OPQ!w3y}!)>bOgJ)+iGe7i^XcFTE~q22D61G2lXz|rtaqskBd$> zwD{N#B3yDV5tHND3rhS#B0itF;$HXn2Bn(Zx-;d?t89uGG*m+0CCW$mdJ3oE5Fo0j>b{kad?-|M-LPR&8lxK*1`+mj!xa`v9`9h&y zhB>a`+BZW#V7azdfrYNT49JKY`@Flk?6zoz z0ziyRns3iojWe9?D$Q=fI@`8vc4Ap^N}Cwj#8t#Bl=Ag;mmM}Ef2hGkA?>Dqj^MPn zF*wsu=w%9S1-5A~^yF!{B(ZMY8&HyE7;?at`eMNm(oZdRl8fi$i*QL+YDIa__I%ex zOkO-saTk$BbrN_5|F&*`cK)YRi=W)f=4hxN+NtKzcZJ0!@4_W%CjQIxvV(Yd69ZR= z75cJXsOp;_{cJOJ8yV4J(6olWzPYS}N_B7(pBJzg&Uv!yl@*L)TxHfDu>!&6VFK{B zTt2ig251&|xjvSq%nqENX-^Y&E|;xkcjX92pw$tsTDyD7>IWzAL$tt}8t(xZ(TEG3i;`*;`UX?m6AwOmr`U!%LbFrjv}P>}oT z**N8YXNHPeo!!Ll^}H}kQ-E6B6Hb8^iIre>yLIG5ajzz}o~P~9)ABZKtTrwdwkZq3 zV0zhn`e1|YBc%;HBkv)pY(6ASmDYZO&I4o1vt=fGZJFd_gLG2n6SRJ?+RkGYyUx`P z8y(sc&8M^kzN}f*vTAi!ncZaEF1wpsb-as%T-l^mbd?6ug;vou9}JO`&+KL^mpaSE zsJk{xY!^1??A2@Cqcm5Y37>&#p0BF<#@$Dlu$vpD6PvDjuqD(S;~osSX{-eWE4w=r z4lXQq!-bpoY?xn}2AR**U|Ll*r|qqebp^wSa1Y}STXc(+W$m175ii*X{e7l(w_6@w zi-q?FC!qJ{=o-8oCY(22mnqhTTR6S+&EpNa`Jfo^3R@2yYD@0JZilhj7MIJ0_OMu# zvzUuBHoI~bOndV8S#lVs5JmSZRD&SX4Y?-<@i|X)mrf{&Gf3n^5}!HwsajmK3e=%*j3#Nl(v`Z! zzAaafT}wJ*ZPIQ*Q4NJ%!OhT;a%lL5N?TlPr-#{2&hE?=FyYzya1Y8|ydutbsdIQB z;vv}y#aQyNyBR;bf&pnIo_dS&3BM}xt;*5bGcT7f+S?%kt3=Eqkml#`|onlLEV^76bPyh+tP*&^_N~_|0tm3U*fo7Q~umT|i zO-Atc-!n@!aQROoVWC6<23FoVtJ0K)MZe0XV1@Mny+q?c4k8V0x5x#RlCNC5>CS>e zdS>3GqUbEvhE``8BpX8Uk5JZmj1~pc5K#G;x2$~YV(Sroq`aaJP)0~a^S*O!x#uTq z$&W*v%A_$kx@f`G<@aqF&K_4WwP%m(*t+M@M%1?Qu}82ayM+Gf>_w-#kYufu*J>m~ zg7i}+8LTxyI#({;{4M!pcgbWgnIye$ThTqLdcSK`&q4OqzKd8}g0-7CEButJc603e zeKv*Maz=aIpF)qk&$bK_S<&_}hlO|>(|N`bcH_If2pL-i!L6N}i9m_9vg5(hHd#sj z@7(;%r!zJk3^K@t=vATZhi-@!TuMNG(1nlImz!vQT=S%$1Qwm#9)K!>{R66wFt0k9 zKHJ=C_Cjl>_JP*i<$lU2BW$X;?XgXDR~J{-H%s2D@J3~maU-ri#y6+0J9rf!SgrmC z>w-bUSvxc+UL;4acO4^awyxm;1CC-h2cfdqwvYe)@Bf8+AKxVj(X(W`Jg0GW%cWGEHUbB% z05&#>{x20E!CftrqIrvV)5{dxVdFZ?oav?A+JW!L;Bm_sE8B|~&q2w%zAMQVB!hd9 z32rM5ob}LJjM#S=!n^LR-CE6)4BD)#j>vV#?q~`ZiAtWflpDaI0Y!NijENn25)7uV ziTV!iEh*-Zu1b2LT{PJ2P;jX3%-l!kqMoEKVJrEN$OTmKvYpzZY2ODk9E>eS`Mc$e zB%z&SIUoaYyKI@VBT9zC1><`4WIpX#!HB3{pO@Rtne8c)Y3&C+7^FTg*Tse1XI^es zDmCSs%lj4xK9%ZIsooy&sZ^gz^{G^!O8u>(QXThsZ`KTgtmB=Me@H65$tviI%?W!3 zFS7vjC|MqOnFV*7FWsn|#4NC(A_qYKbHV@8hySzqO21kBeum%ap>O%vuYPs!z(s%e*x7ZVprvrU`LuR9XLkq-owPuRqR*Dn168++LdO&=k^O9MutA&!pi@f** zUxvl46<*w$BF258$TELx1>N7RjW^iw)!e}ME)Gdzc2Fd4TxKH4pD=)E{YUseEuT&Smcw)isNJb zk%h5pW18bHa{Lg-kMsOOAhdP7u`KYHII%Gv2v$|2px0|-{O@u6V==_cw@W&8(h@r9 z^HKhDo<9^u+r(cU6~*tqL|3FmvGK7GDp!p{Nv)e>{8Nr!<2Xaq#^p$0Xm}(T3Wuaf zzc?TWAu%is1;u_TAoh#lP;esL9}NYCQ86e8VR3}hM)#bgF+4H68hKlgrY8=JNQIGb zcw~6=*hFM>_~39<8h`ICL7E*I9UXrwGBz?C9hsf)AMPJcMMtAUqB421zklRde>5AB zg6Dq1iQ~h(_*R6wdtmoz&~eIGufoMsjUnOZf+93962rphf)YI@@X?RiJ8mjAIM|2@ zq96qDPrMikb5rL#ULCmVN_yjZ@U8xl+{8dcJRBLB62l{rw+_(f(W7E`Xe=@;j12IR z5Jlpo=)?dQktiY;MaLs5$45Ca6ydGMqg*mFI(;at9*&9wVt9T$GI&-DA0CPPq(Al{ z;*D~HhpkX)I5M@%WVxOi62oJW6Nknk5&CkDisVL{FS$sVUULzYg@Ez5 zZ#Klp)5u8w2`+M;{Sl{ca^hzZ9&<s|EA>a6ea@?z=J+WgTrE5WqT*8%b9d{6#BcCi zUW#sw2DUN*DN>|AC-^fwKg)9~QuMp3^m1Jiqm9e-mmetP^JaOqT&+AQ)K-TM*pNjB8Ai&&L@;uM+0i=9}-!)GB z`BMO*AG#!_i}>E+4thMWXbYiwZ1&J2p5G=oh6CX)roGe&_VhxMKrt zFGd9?EiV9uLkz_yk6q+K=jn5BWccd0A5356#NlC%Kgmm9PhXXeHr^WgaOC9Z@u5b3 z=+F>9{Mdfv#3O^8czBSDG_FxVXzAUp5;piy4#2C<3FSd#c(3}do19-kDq`UH_LM7X-hzm4W_;Mt3*Dtp@zMRLIPy6=g04z*7F`rVjnNO1$ZQ1jKgn@ToW z&WO{ZEJ_FOxSsf+3e{LuGjTOIA&BAEat|8cnJF!w%?nAP_CJCVq;z4 zH9i2iB(sX;aAJt=K=mim_<`AD{o&Hfk#CEfI5EpfNBhIPl=!yD^XL0R2TvZx>q94T zRl&FfBaNR;ZRG^<=oA`P5%~f$-qrKrMVId~9MYJTw># z4ULQ)JJBDEPlXTlPfF2&VNnpHAxVm!mgon!o3MlftUrkV!~N0mXfzZZ8khRz=*XFY zk)xshU@$mvU^KYUKOhYZNYYpobL>oz7mtr|je|4$nQdqg73E^nJ(?jlZUmx1F%%9& zqT=zP;CMJ3m2minBvA;6_z)w((IXKtG!T{~#0p2lEI8r>pAiG>-#|zdafu5K90`YT zd5LO+7bo7Xivd9j1_W+gY!<>jIrIv}a908Yqfu#49z7cx37!rFq}b>L%IOycDI!D% zgpj~p5qFI8-pSomm!Dt0H#%_?SJYr87&$zAEEqX7em)raJsz8v6ds-6B8Mpue<&E| zZ4iqr7~$#p&^Y(*ho_D=21bIBBjZS)4oevDfoLEa=no7H43G5>@Y1hMd8lH zyGG(dvnbNaIC(-0MvjLEr9u3C3%?klKt!Z(+(CC3H-4lU%7s|Cl9fis1L2{i^jky6 zLqn6Z5s@lC6$o+T$6MbAGgdTiIB7@ZxOGwbVCyI+y^oJ<EN3Sn3}!V-oeCsN~Yk45{3-j$>v4#(*b_wJD$GUa9(qxPhUgCgh;p!){G zcstVN?W5_vRe_Ie>BCnh0^+;FqWI1PH@fxi*jS@H+CL;nkH*GuPxu1gLkG?u4PL%9 z9>w4U`OrKbxWTyn7*JOsi^kS{97p#O?TJMLchW!V$EN#Jj{6$>D_XiGa(A}Q^$!I? z5~!tcU@#C81A$>Ncpwm(3V6W4Key(_|JX9e~!w*|3~~g z(Eaw$-<~;j7%t{+O`bS$_UvCh{AK^bKYh@cwVg;PTHZ)z;z=!=Fw;pR6*IGXJf>%o zMm&|v#}X+cu9|t%&{bVElw>-UQ8Icmo{GiQTuw_UEy#)sa0ow#>v*}eGUpg1f|)&^ zZAH1(^e*x#izk0tF0#9O+oRh$@>QKj#M3SCh*r5Ur$vqAnYIGIUnq%I2YCDFpS?Fl z1M>j}CX@NY_=|~!Uq2ohdHLl?Unn$^*D|SiE}zS$@|u}SDY;}erpM!kku$QfWFnVO z#!|_Yl1*oFc^%FGlUY2*a+;de^+Z0Gaur&1U>fK27K4WDisP+FtuE?nH`w*%z6_Jn zW0+7od8TWzZ)~u-_8VzKC=0VwGULNtnz~x9tjo7?_bg7?E)h;nEf(pSjJBB`|02{j z7+?ak>9IioUI(G$&qt1t)5x6VH1cwJ;a|MnbQ+mfbtPuxGRcf)5J!7VFx|xg{c}yJ#RM6!#5(^u%#R<5+Yj2Tot+1?_ zD}~aAlXi2LkQnlIw)`;qsx8;ml?_zN!k=koZY7#YJw7*JBMgnXZ&!!^nOq^=H?8Dcbfriy}ySU@Z+C% zPRo_9^69o?e-ABhUFX|om}{cHN$-gkQ2h@#y?^^%MH2nbN9Df3;iw!a-I@7UU%IIN zzkc@1F}RNOsea;4G*6;8Mo4zyj1U>QE&ZR&Cerb|0Sev7Yr2|_nR-%>Ct_JWpVqPp z=(kKFZ^o5;E~l8eOil%VAd|{u&0H#%jGLJjX@8+B9qZHoT3M|c^Utb~2HiEE*KPlU zJN4U-f&O<8Dr{E5wA|ILWs`a0c(jCKQ48E?8n9{1!(SKNsp(}zt*e$r2(w)2=~i?% zHYo&4=Yl?%0d9m<0HHwHkcjloHa~H2I2nq9osiY1Wnj{>P-$XcFc^|%ljU~ItL;oh zeq0b;ZOjPEw_YOUGb1ke%!n=&QX5-j546dxQr%nupcsfG@72dfFEDg!+$`ihspoBf78ePo2a}D9Pc_IXloS*{QG>duy~PvD?lX%hBuK6 zDooQY#P8|3Uo9SWlmrrqKmF_%BTy1(PM4UPHZU19J!2%(D#Xo3Hj&VbctY3pWRj7c zStXUz@@ZAWo{>uFhN9;b>=8ybrDkK@rb`RfnC6U2T-`Be{_^Azl6GFgOpeF@r2o4x zW-{h6lalAsIX#!ww6v)tGuXc3nJm;5V)?9@$Ig|8ih>^3bv3EvRXwjIFwK*xjEUMM z6Ulf?ap@+s%R772sU-8`gu5vfRLPNgDkd2o}r%m@_*YUhp{;e zg1Ic)kEKnY{zE8=WR>$Ug3BN|Qq&IyJ6dDm4M?$5jW-nm_SQG#(++z+Y? z;?WfNL2J_NjxJ1ZlAgBdrS$fq*v#nrwErh%{|y69j2Ld*@-tYLkv}Bn9|+Pj%TF5_ z>&y3;(V4tzs`G%C38Oi8)8Bnzah?`N-wG^(1U}4a?$NuZS!%x z=~k^-ujy7*=hU^8RVYX?n^4l!>;U6~PdHZ=7Eb?;ka!S3-gvYz7Y7ib;}q=%K_*|>&U7~h43;MCp;d{m!XO0U7N+UZ&h3(~ z$$xSA?=nkp^HK#wz}%`@{nD&XEzT&jot_k0(clB5j{X6~TwxCM$Ti0{j(etCj@ujRU!|~e_RLhFyL|^d4t(x_sX za=}C_Njbk(!h$WA&>VOu!R}B3FK|_@RLG_04dh4uq}m->dEbx=C&ogwcsDeX%#w$E zsL^&qJ~H>LhcDA`%5h|U10JwUn5x6Q4>{{0jL;kSehI;F_tWlm2JU}m;REO!%iYne zd~=(qRPjfpW>kWaG}xprk@u;cc1mw2P_eWgyl<%lEGpNwh)0Tc6aKT9*Dbpsa%YOXN6x@ggCuR&+k z;CLA7I*crFv{YnEB?Ghs&A}c;@Qd4CI z?vXe;b8=}7Bnx;h)=D4@f$&9HLW|)xfL+@ss=K)b2!V0 z!nxKXwbq^KUE~MXh2(y^?v2$<XX8X?!Q37*3;&t3Z9P> z%e@|gmsqv#(*$-%R%SErEH~!&_c z#`b1Ry$gruo@ceVTCUY$-cbc-*4+&))hl_vE9sp{_@uW_di$iehw${R4SdquC%t!R zZ2(1)PwQnEBh~5!ouSS6&Y%E-Aj~Oz{P!_=2T)uRVoPRjUAdLS<^E z_03xc13*yqa?jwk3JWZCO>0(aNCn-7$S4@%7zo>WlNIQ*=mrCnlw z-7R{oYxF{`%xYGL7e?pi`H2zi@)t_qOnQ)d|J7wlGpPaW(!^dhFRCO+`ke@}T86 zF1P1oRM0cZ!)ANf8o)ehE6}KvtY}5nZkak6iuml|@kY1!7(BMNPyj{795FgGts2Od zRv_~49jiSjM}6a3$C5TG9T{#H*>noGs(8J#f@WL&x1>I3GwMd(eGwvO|tFG9c>%{n=_r{^q7`NiJjj^70 zg?4nGPSeLp+p%i&f-AJ+n62O#VY`Bp{?0aa)Lc1r41->Bg?`xHkHuA|BfBmk{fR4a z$C}mM-P{?fyV725FIca;LOYhG{@fM1)RA`G6?(rT)ZLU1i0Pw!m>oj^y9 z6aGnicul8skAiD@b>mKZFsWL)lHY3&FP3S;(#p?G+`ZWPy#3Mb`Hn5z{JIs3%F?ur z>p$&?RndxT_U=tt>E&X%`k=a^J=}e4?`Jc-tt{?L(bnSeMAoTnH@3s*bAR zrbQnVsVygpg$64Rtr*Q{-L54R*Bbk8zM;In`KC)|B`Y^42J-2cLzItm!C~c799(fo zWwzs*V@0;79IF9qN3ZCsxV6)jh$cTfnmUVz#-_8suo#^i3><-=KFusTj)Agf6EbWe zezeVX7|xAavuWc4JoP+Lp*V>`Q6qhW;*bX$;lB_@40CClk zq(J)+3R~6+D=W)TO0GYyv_*RA98Ro%IyO<@z1Z`QwVyrqY}QS0WcKKZ?7f#kv)R>Q z^yG=`zQPsNHT#}q?T7R@LsMzCtvOKAMc3Yb6vx$xMa7Gbj;XD$YAlxG#KN17SgW|2 z*_nKRuWbcYX#`mbpJ1@O=L5usu7=T5&xX~Sms2__IxeTR=Fv*Q9fxPW>RfHv=yfFj zEj{V)4-5iQ(C+3Mjv4uF z$Hc+dTxi*pLmQu@(bL-N0Mj$8j%~EfZ82#}*?d>V8?Z%iY%&~^jO|<4JroulO^c1n zB2!+!s9AO~m!@dxYx$|gHg$Feo##?%-?6@O!LTdj73beh(* zAA#KnA%JXeffC=71q#z)X&SsRMg1MSh~NO}fF|0*GQ@%C+J*sicDG95aSdAjGY@d9 zT`rXJ_4Qe2t{QGI1k(8@oWL6UWF|duPhhkRdSEdGOP@UzP;wVQmI9svnp4O!`XMDG z+k^?5?oa-0`EARk$B`ow6aV_iKRyAM9yZESXe4FC5^74G=e_c%-#lM%QwB zER|Q(R8rNlIslk5S~{a<&2&};f=M!wO2jqAP|{E_AeDs+g?briJGRrgxt27a_|-`} z(p@VqY4Xsod(dCmqe`j;)nRAPa5|Fm3>ESHqU!9__TSC@6e=jB`La%SJLn;=A(hhI zifXYXk^pzwU_L|1Rf$(GZThYa4|>kpPF$NtR~19BoE~qum&)Bu59VhL1lTOrqI38d z&T=lzZl0B`sM?GZ%i8Ztn;6x^Rm5aFKy&3)7SUEqd5p}AcC+E^((lN&Zb#sCtK+&0zj$=FxWrW=Ys(AIG-l?9$dI`UpJ#LRIhF zOf7Xl_b$1tLnq4F%bypRov1szURl9p)KzBv5i781Gdc@v!d5OHx@=oLI)<-EE$SEFU&gUDC&#_3)VT-J6ejv)jqqicgHA*cdv%+43U$MJC`m>+1M^@ zJYmeB3kp_tca_iS zB@Fe>I-m2N4f8A0m;&fs4Hv_zIc;x!tScC1wEJqb!xr7TYFRrcTf|HDy1dVbpWSMV zwiHJ9VFKdjd5huyiFzOY-%{7-9Q9YY;Cj$8q@-s0DihC}uFF*GqN6&!^v&Z9y2fL! zKtr|lfNpausP1XZn1Z^m|BoBrE81EA2J8R-lkpjXgIoX{sX-Pe!q!V#HsU!hznoDSzoRZMuSu>kK2wY&Q`IdUm1-D@~ zAyg(>VJ*heWfx$D`@4Hjd1Z1d+akAGB{Ei4LY{G#_We>`t#<#};nOa+gID2p@U4-N z7xzZ`!l98kTux>bEpEijOfHv8>xQbRaW#Y2ad;L~lcols&{!OlZX$zk>1KXu`O+r8}@w0m#r`}goW zn0-x6`!-A=$29(j^EsG!gALta@_&y1Kl||i&x8MtGyr}aKYvp?Lqx-MkZY$;|Hb7$ zC@=i_vV-2Ahu44veA#KLnSeJDLj{2r2bzD($g1(Isu;7mwQlcsEs`1Deg^?ZJm9y z55lt5HOB5z$zu>o$8s=yOX@r6rIvz_XEqKz6~J12#B}T1qMmzj50Fd>!Qv;ak00&@9w%+&!1b zlRzgDwtaWAR42TN+LRYn4aQdvk`|TVkn#*7jb2#QSW!_8A~=D7MzyrF_UbRLGZ^dI z8X&~gRz^%~wuyP(JIiM#?z5G0%{0*74_M<_sdwyBN%g?GI5WUILek#p@=Wm9ERNl! z?XcSC0Oj@ogF$(9_99{3m4F9G!%LJ;Z_sy&!Jy2wG8w8FHaV`6k7Wn?WE2+$-4%~Gri?yjaQnspmmw_UfyBYZm+NU8^4WJ2_Q7f`a z`L{0rE&ueYOzfQ2&|!wrc#*!teN>LX&SFqRBiuR*qVGPkHPFd5`>lhSXuU_1Jw-ly zg3NXYM3*hbLm_vUUvdxQtcy~iS<;Z)_*7zb58g;9v%^A^oZdZpp9iIPVS zDr|a}!Pd{qcb`^X`Se&zSDfs`0>X!}M%Sc_Pu+inP!Ugc8vxLbM+@e(`GU@% zi;P8~VoK4*aa&%)w>YAzc)IpTS(6{3X(g5tFYw5;!r`ccW+ypE!B(oXt&=cGX)5pi zRBSZ^8${cQ$PNWJhN2R`5KmuF67#8C%4a$FEC-+E;IkY&J>at(e3paHa`0IW`@?du zsei)%x9tD_yiXYE`*V+V4zsFT0&V0rU&B?%GN7}FZo1atc4Jwz!Gf6X*5wjVqw$?? zO?entm7fuv(=-{Z$xq5fdT$~$(SX@ zlg!wWBeS#rUj5U{3xEBYrFaq^QIupRt;G|$ydKXav{WvZ(eq{^m(9T*TT^p!C2yoM z>4XWb|4bI@>8Yfd%_W#BdnTRB*xpDk5R1aCabmx>{f&FHJ!;-3U)QAQ*ruMGS}dxX zStQF;X1KM8O@-N~GU^W&pFfzc$!_M_j(8i*Oqj;Z&gdAl;nIe@8*4qst{Hz}e%ISB z6Wjll#~ZbdC|wT+GQU*2=pA?&a*V-KfIcSBjy#Msri@^Xnst1*Ia_;jSL#*>0fVBK zdP8@=qjZM#PEs>h$v~QTki<@&Uh+6R?Fu{r?IUtoN-SmK+3kGv6`ndK*-Z$JmZ#U< z<7`Z`!L_VnJxq7j$8KZu@5RZiV;auvYgRRlL4lnl%w$S52|G>u+;S`RzP9Iu+JhqeT;@ zs6Jyy1P%v>PwU8!YS@S!n1j=cahTez>WJ1gDqNTZJv8(xA%8-q0(&K=Q9K3&c~$f|J%8r_*c;m3^e~LI(=?8 zYskNfR*G$4AaC+2>S1{>VxDP>Y-=(?qW@l+Fa|`$qzOZwF?ZI4q1a6Dy$#82NrhWj zVwMTNTefW}MRiv#anuYff_azZvCUK6B~k2B&nF7Fhw{)Bw8Nrz?Fen;ZKvuEbxxC% zMTgHYN0`)bYK;5J1a*lS=0?(`Py$*ICAM^Ls3U9{zT+>`eql-RJp>xdFo6`V3@N); z>wC`}>!$o4&-#-1DPI!rOX59pXkYo?m&E&$cwZ9lOXBxO67QfJyjeevF8M#v|GO9Q zfG6{Y6>6pncAIocD^QcBx3ZbDUe;=j3gXN z)-%c29Q#eA#XFV}(cGP~h9yQbFOkx}Bh>9KXdtqf$ZPt0+9P4G_y-<(nTaM^S-a&6 zpnN~;DLZ@fy=^s#Y-#q&@M!K{uc=kxhyUP?g9*xApIxt|LseG9gxKDHT-5bmYD@+&14Qq?I*a2fdl(uq0>`h&HSoh zIXtw0xyUi&WAb5%59VX!R=bBpq_Ev;x>LY~<>QU*^#3&@meRD8ZpO4&T2IGQF(qce zAC{R@vYB`?t?6b)O(pW#T-H>8*`A1-2+pW6HJeW6bma%Z|NH0TXGyR89smt5U;g7m z-@WAmG)$-S*=#nQ%chl-mX7C41xSX;L=29+v^=oTb18hy##Bv>rPa8Z%O*_VrRO1{ z%Hq^_M;YKP%uBKlz^Gpl3T}-RF6L9>J|*r` z;vPEGm;d{exKD}ulsJxgpAz2(O8iG5|Mv|*$aQyNbw@i051{;;roFxg0}x;F`dRv|Y;JO3f2*6zo z14)}{3+)MfR9Pfw{%L~7wnonW^JwGDCVcJfri!--O?x>Htn-cdCXkqxjY?@lwScuZ zZH%UklEY9bZEm8L6h$MbZ6`u$vx&u2S!AL|N6&gX&vZquKHks)^o0J%*Vi{^nloe; zwM6_TAop%+jJ)c|E5C_~=h0PoV%{w1Ym9yMbo*@<2P5toQikH)YhAP;!CaOX-;=io zAFSQ7f^jCy8wYET=Po3YptgNw?Yg?+liEJ1z3L$}eG#!wYWt+NPip(5_CAx^sdH1M zHSb=Vm`_5xn|gZhD{c=8;}4qd;_T8s1WF=w&R<&-y_NAkXSWYj@$W_!O#i=cst^BX z(PH||;`cNBUh5nBZ}?d3SD(N9ef)@G-+zep-5mOFg{UM3B~cJ0Dcs*b+u1bKX9Gg?f-D7cLgPRnD29W9j3fna;P|#aZ(@{ z;7}1Mz*{eFe-eU`~=4z2=PDT`AwcT%*oNl%H@NxljpNF5wqYjCmxE4;-T|g=*2|i zvM9wGcr{ZKqVk3|6vq6JIsPygQs{fAp*M0Ie~RaC^8u5*NuZ{eUk;1>F`hpniUc(} zCT^8EajPUm-5A}o{B4fEJ;c>eKNa;`6!}X6U#|@#Cw?#>HijeOi>o64NZ?0BeyxH= zEum30J_3bkwFH>bQf-JA`A}iCP*khMbxHgOSJ987f&lk^(&*M(UwkJv!i|10`r>o? z%Ztyx5XJA}f>dZ!IOz#K#20ZsxC-}(X01NS&vX2Fo-2#umVoMVocQt!NqliFC~kd# z=i7o*WX>^%#qUx9@kNRcz4-FEI2015pNm2${ZS*#NkZx)9^E|n&W+(KBaJM_PjS-X zjbTo_FcRi!NO>74FGt0fAEPNnQ4$&o&nHFUsaeDDKO7PplPGRh5F4YsNG=COKFaYC zZm|E|Wah<(*XXLy*^y2ex5uQqj0>&Pr&#+aDvsahsEk{Z`0*2t|Cr;mywn(qqt7tgPor*Tab2WokNAId zACqWiK-#K(9^mhY{AZXa>zFg+BL4-)eW`ftBZF7Lcb6i7ls1;gQCPxKF9yO|1z1Hre1Aa@tL^KRq57=2p`#z(`#=%6ql2C&NqgORWhJb+Do zP!t0r(lLCBVldP%^-FXdpa-vm%I{ZbXtI;#f2~8a*P02c$7p ziGzaJ-yfO6XJkMW!pIu?$wVkB1W!w1C@ck|q2Nepc$|}_r64EDquj7yH-~Hdp7f?` zaS$ao`+#fo39s3u*m?)w5&{qV1xXyh5sF<^5(AOoLcbV9{~hWV@P|SoR!HN#G)r*@ z(KjLvj<3QUg*Qa}g_;lR*a(qSL7oloZDOWi&7vkisXV@MS5?9dy5=zQBQU z3?H|X!i*FghzSFSf{1cn5)bubJ!5Jd5Ql_;BT_hu9U;mcKm(c&(F9Axok0h6CgTOO zx+;lV(-Lk00=!>{(h=G;58)&9hsK%HV(8n%nbXqf3~ij#b6eQ^PIF@JXI$j|G;N!a zCF@U}!lIFh`%^DgIDU*1-<#sat*9t|f{pYOj?ZBuedmrK&fF0=QyiTdJKR`!D<=(b zqjK}>sfKptBfSy)@V$Zj`!}@fp*vUJ7Y}4x4>-)Y=tUMs9Bh2jIPl`rFdu4+Hx6*o ziN={o;}jPixBf~mGGTsdWMJ&*z~rfk(0db$ADhXE8BQ7<7~`bKz$7mo#O>#x$RFem zG%j6gNQdV_KOYNVt3QHE5jQw#J#(ScNXAP86Cv*K@r{%HVtBqk7!Cv_jz7*t4$%v4 zFlN6x#a}*j6nkx8+M3E8<#08{=kPC1-q5y=G=3ruH>%dRuq4pgyfrisYW&{T7wGy${OUME zabg6PM80a``$@z&(H}j2`J1gEj%S>_@;6-Q?$O3+F7zpViVyEc#o^C69%u9wiC^IO z1wm>oCk63(QW7DBFvUniN;T%VNJFGQ<6CDMm%qK#Kquo)Sfjs~MIx@a;&(jmWjyX> zCvh)Z6avhl@tnA|fScGf?u63tgVA3sY^^j7@ZzyiKDt$-?~?RgdN3fpNDuPji(*84 zxq#HD(5YbLUChp#9FGpec%ojFaFux>OXpjh`0;U0tc-DkjbrRxD0C$B0{h1MoOn3Ihf22i zSQ7u}FfL^UL4XtCNwM)Wkv}skzL>*aAp~%*tFBJ+pYi;`5RWVU@OS543^bmMeIX8R zSYL2W#(ZsjA_`xvnZu#gZ?+^}JpYZre;E~DoDuo!A@LiK1sg*_k=%(4hZ>)~EMj_1 z3gU}*cxmgSnSdmm#YceM+9oka=B928@De{ih23jF2$VpR8GSs@i#1SBlJo};u87jh zGgl<>zbmW~Q6UFg?bK@h!qX&lvK1=+899`K8HI}bmTO7JFI6fL3Y9vO-29BS| zL=H0gU-;kq@V^F{|5bl}mF_-OB_kt3EuGL}s*zL;J)ceL`FKW4rV^gI~=G#tLU@4!)0t=qf(uwHk$y0J@_S&ihGZY8?iWRR;^tGcx{fX>Q_nJ02dgE} zYnZ0S&MfOjxsJYN5nz}C*Ed%_hx03Psj*`gd_Ycd}4_(#kb>aVwWDv<7YNt2Nc21*p?nNV+23X~o}<)#q}N zz$7}v@np0AOU>1!uI>KOEV|t&#@r@Vm>GMfbyMrP{J8D}pOc%)I~#_h-D5Ph zd#-eiX}HyVER8M3yqhamaVj@AhW1?mo!ouZ;zDDTSAmLJ z<|ehne$%rg1nAf|Wah50wWG-3q++XKAcELl$dIL_u%toBD1J^>JPXw6DqDkzoB=i= z2JJ#%ceb0+x=*9URG6?mG_{yKs!I=MmMgS_s>R0}Rq~OC5w32|<{!?WdyoX*jjBuY zYPU9J_d1JaPWa|%d#aNb)g!7~kK$+Y6nVC1CE(MdwS_n!x4Y?)2TKp_in;aC+%;mF zXV>!QJPQF0&erhPXVQbbJaQ{Y~?@uG_F7X z0)aGgrA=r7u4&+J%5<{SAKHtCO(m)Wt9EHulay7@o*Vd1*~3{QX&bJsKHm5O-{P!9 ziiZlcVqzA3F&E$L6<=0Z3MFs{AWH?=6JIbsqeq70zeo!)m} zZ4Yhj5j#%O?xXJM1gF>ctD+cQE6X|AJ6P@s)E>6Sfpm(vMBR$B$mw2W>z%Z&eC;XZ zB=s&W`2jmT?Zc}zTamNk%43Gb%FnhUJY@5^dmnDo$mTL~saCsJ)NYTmZWH(!9U&gQ z>1j}LAoky4^nd7dAO8D4eh>IP@LSXaKK<|0|4m==@XgoZ)DcIQPycu4H2Czt30@u% ze;^PZ-21OSA36wD;_0CyM{eC3_+a7B3M2S=u@MT77;$g}H6@+M#72Z7+hLb1PN}Lt zk*Dp5;1J3)Q1F2wE=i8r-zL7^XLk0G&V!jIRQpKr_@eI|bn59c@VZ3gcZ{Iw)hGxBrhczYe6RxF#LPy9?%HlG)2$kod8 zGsL-$^pt|qe~!O5n$ILJQf-WHR`?twH~oiYG|Nvo$-g1xVA){~ zvC3F+&*2?8^L~zBdVdL@jsve&s=6yitIJIK!$8s!yccMDnSR zu3e{zw}%;H%{FTW_LwtQJk_?wk*ePEt2cw`=JNPXZEv4ASI|=L)M>?{DWrKb@ODaT zsA!^}!wjN1L|MAy(cn|4(|zsX)R7k2gEy7ZmXAGYT8qJ+I-QMbZxZF?#A;s~p803> zj(ZNe8`j<|%67X({ou=|c-Xg4uR|*qCA% z42d0!v*~JYi8hsum+nG8tvfa|@>R8{uNBwW4zSz0B)in*HEvK>s^w>;0?yJ8%8VP) z=FG^sM|QclK?TWf?%pr2*S}hW%)ZDrL+pN6;is2wDjzh})7r)XSIJGMDn9k-p`Cm@ z2%mb~`vUw;pdS4Nf8htAT3b79mtFt+rPeKmfqm-!aLfWF-g(HP;qwXafrr~Vsl|H_ z{k!%{Vt#CFlKh_!{kpIJe+&Iu_^7Y%UwwIs6!~w#P2JhEfBo#2V++4tXv~7w&lLIN zN-AL{VoEZpL2X#c<;|?F=X5h`8frRg7|(nNJ!` zpK}*#hB;?x>CV;4mccW&$@y$6%C%es$Dt@-oaI0LI)kvOc zD{wEm{QtK6Hg)F*u#1?O_}54N@ri|BKYlUfbZ0KBE9qR$Os3;XA|F>FBS|LWDqQ;I zlzbY(6g8bmX3%ZfTtbN_jHH=JWfeou;&m=**u#6FP%qClX}7r+-3EVu^GQ3BJ?gjW zfA??ccV9X!)#@}md-NEJgb4(S*h@Dt$9d(FUM%QeUYaVYPhoZsmEL*0sAy%iYRo^Y z7V73*sKC#VVvVw}Q`@arziS@)pq@>+hOH=3T=i|zh!;gXw&oAdH z)dI9`*QXY57b-P42(5oD6RrYN>AwiUInz>Z@;9dMT2>#s(JO?&5Q>-;u=?a>Fg|PS z^X{gFRcXOa&OjA5MtGJEQmEnJgqCIrFw%y#bYfY`)1^&}YT_zlGE~SW`^`p>#FUUf zy>@+9YN||qns}Pe3#2v*@gp%NnG$oWf=jc;b{;a?;UUfEs$OTTlM0Mlo)v1Q%|mfp zXzWh4m^d!Y6%A!WH#2c+@j=_Ov-skmcx>h((lkwsJfrQ*2krb%rxriCm(9^oKeSWX z8qE$*i*&@u(x=G|c8qmyGOc2ua}s~l((Wy+tg17%X7QEBwQu6Cp$D&4U#m2Yh@Kaq z15euet?YVbRoZYxdR%|R3T*23dvp2FvMr)npqBx)!OVN8Bf-Y5OwX0pz<6ZrQ_yi% zB+}$3n$n8I9CF%C*tuNdkhxpHbPh?)+3JW^(=2^pyQi#vZ~{LhTL7l7>1bwSHWK^% zwhQ>wvA}}q6=tZjN}#jtpy@6>+L*yoVsja$1;j079HHq|me+Dgt$&T~W(O-&$Vg-p4xo{dxfcV^hbEE#@1FU&eE-gX61>RA{aY_pD>D7E(WJZ%^Ew`Zr1 z;0(=8PEHQ={pr;|G;xMDHb-9EXLk~45hS5pkVxiWmZZetB3FyW<4PuLD2kCv=Q8P} z9*?K;*-R#*b z%ET|jo&M^7cl0C~|GmRj&0l7I8NjL`ogKQztI4dH){~}!wUCcP87CG?>akSPfDNDu z2h=7UQD?MNERl&Nm3-1nW@E8zDxt??Ca(A~VCB%7VdouPH*rZ=onzK6v}_a>%4Yb! zESp5PWuv@-Wz(g7ufKBkWoqE?e5HB8_^7Llk4on+JF9jykTahaY6TKtPdj(D4a0j5 z&4E+8hB;{K%pq%S54kp>y{9|#q3fA_AXZ?gxXoE;$(eR_qV05W5!$=l;AliYueg5+oo&tQDu`dbCr&5;tJ9KqEPP}9G3n#DhqY~ z=Xl}&_&xCb_Q1cKj?wA#>A#e%zu=Etz4}jtKYnN7*Y}-MDy5m4qUIID%q3z8#YiM$ z@kBa_qbjB4m0VKIn7OzHlXOi@#Ist;$mY^UBCngc;-%s#hx2g(imZ+-XRe%|qtj~5 zLPeLf1NUF%Pq_O`j#FIF4~}K|_BpnWSJE)5RGY^+ zF)5lb81P5vCLPzV^ z$*IL6Jri?@F{>6aS(w%v)03I@mj+lXyIva1GqKl^PIK*S<4DI+=xnY3b8>Hx9%yei zZ`a#k{n&^XOBZAp{7%pPhnRfu)WkgJT+|%qGvU~1fK+hAJ~I48;Rtp?KoB88XAsjZ zot}XfsRm{jC|rgOB}*P%tJEdmhXjbZmpgJleBZ75&idS6^E*Xp>o6JV>GyX(c@ zDXO*Fr707j?SxQb(ysHRS)E#(QD$v*Q5QG36^+nFfNg@4va*Qn$L8kk$t}`usD+)q zB4JB@^jG8av?X6<7()N3{EO4ByGkmV!!;|LO{8>dR3Qgc|PF^$F0PPx-XmUjn+NHl{LGFe7_ty zSDV_~{Q5VJwlxec_MQN{Fy43n`mJ*$uw1}}d~GZEk52sJ(}iDOc5dYHWG11QS#X0) z)dcr6hWjS~+i?2kQd&&c(rGY>@(Bnq6+pKc$*c-KQw+jQC8+>!Dvf1MH|-1S>MHnF zbI(*Tt#C{v=JC%C!y!vix;U>sCvT9zp>95~8hTHD;*?3$)cRMJy) zf~;Okbh0nA(uHc}w2}3VJhOjobCk~^?Z$Y2ir+r}eDTkh7K+tw-0tnq`Qj0~!s{NS zy*OmOj`zs4qO!OP=X)yfjyjHFW{FW*yp?A+446RIs|Agr>ob`jE+>%wP4~XQ(A@SS~{e``V-bzrC~BZQF>Vu!C&UZrVk6-4H^6+HK{E zv@Ay|x-k$tUZk74ErmKtNQric$g*ouNd!X=(I;rP1^O0!r9MEr#L&^+c&eUSPt3jW_`|83xl|8WF30vrL307rl$z!BgGa0EC4 z90861M}Q;n(MRBm2M@n{6b0v(7oR?O_~j#brk!JAipKvNpMUfh#}~j6;0SO8I0762 zjsQo1Bft^h2yg^A0vrL3KzRgyHq#0#ZflR-m5ev`5Rg(u6(5+vrNsu+|c0h)rLJgFXXR6(cdUBi)B{FW;MO%u&i zzKRFcgZCztN`L@IdW@=Mz}RISKj+PP72XX(l`azOi=k%SEdvgy3j-iswcfpkBm*w? znjA%?*u!2PQ5utOR#R-~Ed>OG<%Z<@&>2k5Xl^&AK;ln)&ku)TloWd?Q=v)~7^{m( z1ov_2@^A*f2N;vnj?ruAY!Ns;um)sGg9)J)RaOK8Ko`KtWPtNi8XQdvl9apHfF?%e z9TMM8vGs_A7XdL!)l?{q6HS`~cdK^| z_xb^@X{=kz3jt11wb?ersRbrMm$9{wrWN-Qi8po9iNlnD6y=b}Wq6;s@j3VvmOU3E z5I(3ckWdz?QC!U3lUIV8R`wK+`3nlKmWZp=!*r0?g;ago#T;A-H^?X9N=;_r<4$fi zo_B!$1XA>fGKz;BN@+D(j9I$`1X$HE_vM&y!7@}Mkb0dNfqNAvIJ0#yruI0O6ihZf zk3DM7#nVLnpl(LRHZhml0Yn94iW389lcTCmb||5CEX8@K)YvWtJs4q!5I5(RiiT|N z(Q`1PM~{Zn(K;>1cx-91yMq*@!*Wxo7q^s{cFl5Ak^le6pBwmkdSQdN@j6HGnx^$i<(>9$3eTZFUR3Z6rSl1WBZCB0A;-yZB8O0sd~;t zM1-N$wzyCdgVXRLU$nnWi?wNejq98j>@PW)(1i`%4^|f^_znJ(@g!;QyFz)tkKg6H zzVSY$VKj=>v_kXZ;_}PNK!wph&T7TOee!Lbrv!XUaCv=fPv?%uz7+G*os^^cLxfEl z5$+>w1Y?*Rz;EI8hGb zmX0u@mXjQ=nB*9X`54-V{vWG-yzD-C3%8gUFjj8y;qlTfhVGS?ZpHin&A_B{FLYXU z02c>1A;mr{T6)cn|Ls=C+1YM6O&6u>M%B95g@>ZTDcryy4Vel+EAEKy``?B@)J<`j9Q6K4Km^J@-6#hOza@RNmpL>yb zsW)>h#Q`6`@k#tjNq9dg%kJV&T^|E&mR>uTJ1%#f8YVk$T-uA19dJmPYYzvYK-N0H Mz0gYCo#6ld53Xbb+5i9m diff --git a/src/index.tex b/src/index.tex index f80ff8d..0c97c27 100644 --- a/src/index.tex +++ b/src/index.tex @@ -1,6 +1,8 @@ \part{Diffusion Processes} \label{part:diffusion} +\input{./operator/index.tex} \input{./diffusion/index.tex} \input{./calculus/index.tex} -\input{./sde/index.tex} \ No newline at end of file +\input{./sde/index.tex} +\input{./mal/index.tex} \ No newline at end of file diff --git a/src/mal/brownian.tex b/src/mal/brownian.tex new file mode 100644 index 0000000..dbba563 --- /dev/null +++ b/src/mal/brownian.tex @@ -0,0 +1,176 @@ +\section{$h$-Brownian Motions} +\label{section:h-brownian} + +\begin{theorem}[Cameron-Martin-Girsanov, {{\cite[Theorem 38.5]{Rogers}}}] +\label{theorem:cameron-martin} + Let $\wien$ be the classical Wiener measure on $C([0, \infty); \real^d)$ and $\mathcal{V}$ be equivalent to $\wien$. For each $t \ge 0$, let $\bracs{X_t \ge 0}$ be the canonical process, $\mathcal{F}_t^\circ = \sigma(\bracs{X_s|0 \le s \le t})$, $\bracs{\mathcal{F}_t}$ be its $\wien/\mathcal{V}$-augmentation, then there exists a previsible $\real^n$-valued process $\bracs{c_t|t \ge 0}$ such that for each $t \ge 0$, + \[ + \frac{d \mathcal{V}}{d\wien} \bigg |_{\cf_t} = \exp\braks{\int_0^t c_s dX_s - \frac{1}{2}\int_0^t |c_s|^2ds} + \] + + and + \[ + \tilde X_t = X_t - \int_0^t c_sds + \] + + is a Brownian motion under $\mathcal{V}$. + + Conversely, for any previsible $\real^n$-valued process $\bracs{c_t|t \ge 0}$, + \[ + \zeta_t = \exp\braks{\int_0^t c_sdX_s - \frac{1}{2}\int_0^t |c_s|^2ds} + \] + + is a uniformly integrable martingale with respect to +\end{theorem} + +\begin{theorem}[{{\cite[Theorem 38.9]{Rogers}}}] +\label{theorem:density-brownian} + Let $\wien$ be the classical Wiener measure on $C([0, \infty); \real^d)$ and $\bracs{X_t|t \ge 0}$ be the canonical process. For each $t \ge 0$, let $\mathcal{F}_t = \sigma(\bracs{X_s|0 \le s \le t})$, then for any $\bracs{\mathcal{F}_t}$-previsible process $\bracs{c_t|t \ge 0}$ such that + \[ + \zeta_t = \exp\braks{\int_0^t c_sdX_s - \frac{1}{2}\int_0^t |c_s|^2ds} + \] + + is a martingale, then + \begin{enumerate} + \item There exists a unique measure $\mathcal{V}$ on $(\Omega, \mathcal{F}_\infty)$ such that for each $t \ge 0$, + \[ + \frac{d \mathcal{V}}{d \mathcal{W}} \bigg | \cf_{t^+} = \zeta_t + \] + \item The process + \[ + \tilde X_t = X_t - \int_0^t \gamma_s ds + \] + + is a $\bracs{\mathcal{F}_{t^+}}$-Brownian motion. + \end{enumerate} +\end{theorem} + +\begin{definition}[Mean Value Property] +\label{definition:mean-value-property} + Let $\bp$ be the distribution of a strong Markov process on $D([0, T]; \real^d)$. For each $0 \le s \le t \le T$ and $x \in \real^d$, let $P_{s, t}(x, \cdot)$ be its transition distribution, and $h: (0, \infty) \times \real^d \to [0, \infty)$ be a measurable function, then $h$ satisfies the \textbf{mean-value property} with respect to $\bp$ if for any $0 \le s \le t \le T$ and $x \in \real^d$, + \[ + h(s, x) = \int_{\real^d}h(t, y)P_{s, t}(x, dy) + \] +\end{definition} + + +\begin{lemma} +\label{lemma:h-density-martingale} + Let $\bp$ be the distribution of a strong Markov process on $D([0, T]; \real^d)$ with transition functions $P_{s, t}(x, \cdot)$, $\bracs{X_t|t \in [0, T]}$ be the canonical process, $\bracs{\cf_t|t \in [0, T]}$ be its natural filtration, $h: (0, \infty) \times \real^d \to [0, \infty)$ be a function satisfying the mean-value property with respect to $\bp$, and $A_0 = \bracs{h(0, \cdot) > 0}$, then the process + \[ + \one_{\bracs{X_0 \in A_0}} \frac{h(t, X_t)}{h(0, X_0)} + \] + + is a $\bracs{\mathcal{F}_t}$-martingale with respect to $\bp$. +\end{lemma} +\begin{proof} + Let $t \in [0, T]$ and $\mu$ be the initial distribution of $\bp$, then + \[ + \ev_\bp\braks{\one_{\bracs{X_0 \in A_0}} \frac{h(t, X_t)}{h(0, X_0)}} = + \int_{A_0} \frac{1}{h(0, x)}\int_{\real^d} h(t, y)P_{0, t}(x, dy) \mu(dx) = \mu(A_0) + \] + + so the given process is integrable. Now, since $h$ satisfies the mean-value property, + \begin{align*} + \ev_\bp\braks{\one_{\bracs{X_0 \in A_0}} \frac{h(T, X_T)}{h(0, X_0)} \bigg | \cf_t} &= \frac{\one_{\bracs{X_0 \in A_0}}}{h(0, X_0)} \cdot \ev_\bp\braks{h(t, X_t)| \cf_t} \\ + &= \one_{\bracs{X_0 \in A_0}} \frac{h(t, X_t)}{h(0, X_0)} + \end{align*} + + +\end{proof} + + +\begin{proposition} +\label{proposition:space-time-regular-measure} + Let $\bp$ be the distribution of a strong Markov process on $D([0, T]; \real^d)$ with transition functions $P_{s, t}(x, \cdot)$, $\mu$ be its initial distribution, $\bracs{X_t|t \in [0, T]}$ be the canonical process, $\bracs{\cf_t|t \in [0, T]}$ be its natural filtration, $h: (0, \infty) \times \real^d \to [0, \infty)$ be a function satisfying the mean-value property with respect to $\bp$, then there exists a probaiblity measure $\bp^h$ on $D([0, \infty); \real^d)$ such that: + \begin{enumerate} + \item For each $t \ge 0$, + \[ + \frac{d \bp^h}{d \bp} \bigg |_{\cf_{t^+}} = \frac{\one_{\bracs{X_0 \in A_0}}}{\mu(A_0)}\frac{h(t, X_t)}{h(0, X_0)} + \] + + where $A_0 = \bracs{h(0, \cdot) > 0}$. + + \item Under $\bp^h$, $X_t$ is a Markov process with transition function + \[ + P_{s, t}^h(x, dy) = \begin{cases} + \frac{h(t, y)}{h(s, x)}P_{s, t}(x, dy) &h(s, x) > 0 \\ + 0 & h(s, x) = 0 + \end{cases} + \] + \item If $\bp$ is the classical Wiener measure, then the process + \[ + \tilde X_t = X_t - \int_0^t \frac{\partial_x h(s, X_s)}{h(s, X_s)}ds + \] + + is a $\bp^h$-Brownian motion. + \end{enumerate} + + The distribution $\bp^h$ is the \textbf{$h$-transform} of $\mathbf{P}$. + +\end{proposition} + + +\begin{theorem}[Reuter, {{\cite[Theorem 39.66]{Rogers}}}] +\label{theorem:reuter} + Let $(\Omega, \cf, \bp)$ be a filtered probability space, $X: \Omega \to C([0, \infty); \real^d)$ be a standard $\bracs{\mathcal{F}_t}$-Brownian motion with drift $\mu$ starting at $0$. If $\tau = \inf\bracs{t \ge 0: |X_t| = 1}$, then $X_\tau$ and $\tau$ are independent. +\end{theorem} +\begin{proof} + If $\mu = 0$, then $X_\tau$ and $\tau$ are independent by rotational invariance. + + Otherwise, let $\wien$ be the classical Wiener measure on $C([0, \infty); \real^d)$, $\mathcal{V}$ be the distribution of $X$, and $Y$ be the canonical process on $C([0, \infty); \real^d)$. For each $t \ge 0$, let $\mathcal{G}_t = \sigma(\bracs{Y_s|0 \le s \le t})$, then by the Cameron-Martin formula, + \[ + h(t, Y_t) = \frac{d \mathcal{V}}{d \wien} \bigg |_{\mathcal{G}_t} = \exp\braks{\angles{\mu, Y_t}_{\real^d} - \frac{1}{2}\norm{\mu}_{\real^d}^2 t} + \] + + Since $h(t \wedge \tau, X_{t \wedge \tau})$ is a uniformly integrable martingale, + \[ + \frac{d \mathcal{V}}{d\wien} \bigg |_{\mathcal{G}_{T^+}} = h(\tau, Y_\tau) + \] + + In which case, for any measurable functions $f: \mathbb{S}^{d} \to [0, 1]$ and $g: [0, \infty) \to [0, 1]$, + \begin{align*} + \ev^{\mathcal{V}}[f(Y_\tau)g(\tau)] &= \ev^{\wien}\braks{f(Y_\tau)g(\tau)\exp(\angles{\mu, Y_\tau}_{\real^d} - \frac{1}{2}\norm{\mu}_{\real^d}^2 \tau)} \\ + &= \ev^\wien[f(Y_\tau)e^{\angles{\mu, Y_\tau}_{\real^d}}]\ev^\wien[g(\tau)e^{- \frac{1}{2}\norm{\mu}_{\real^d}^2 \tau}] \\ + &= \ev^{\mathcal{V}}(f(Y_\tau))\ev^{\mathcal{V}}(g(\tau)) + \end{align*} +\end{proof} + + +\begin{definition}[Brownian Bridge] +\label{definition:brownian-bridge} + Let $(\Omega, \cf, \bp)$ be a probability space, $a \in \real^d$, and $X: \Omega \to C([0, 1]; \real^d)$ be a Gaussian process, then $X$ is a \textbf{Brownian bridge} from $0$ to $a$ such that: + \begin{enumerate} + \item For each $t \in [0, 1]$, $\ev(X_t) = at$. + \item For each $s, t \in [0, 1]$, $\text{Cov}(X_s, X_t) = (s \wedge t - st)I$. + \end{enumerate} +\end{definition} + +\begin{theorem}[{{\cite[Theorem 40.3]{Rogers}}}] +\label{theorem:brownian-bridge} + Let $a \in \real^d$, then the following are equivalent definitions of the distribution of the Brownian bridge from $0$ to $a$. + \begin{enumerate} + \item There exists a Brownian motion $B$ such that for each $t \in [0, 1]$, + \[ + X_t = B_t + t(a - B_1) + \] + \item There exists a Brownian motion $B$ such that for each $t \in [0, 1]$, + \[ + X_t = at + (1 - t)B_{t/(1-t)} + \] + \item $X$ is a continuous process such that + \[ + Y_t = X_t - at + \int_0^1 \frac{X_s - as}{1 - s}ds + \] + + is a Brownian motion. + \item The distribution of $X$ is the $h$-transform of the classical Wiener measure on $C([0, 1]; \real^d)$, where + \[ + h(t, x) = \frac{1}{[2\pi(1 - t)]^{d/2}}\exp\braks{-\frac{\norm{x - a}_{\real^d}^2}{2(1 - t)}} + \] + \end{enumerate} + +\end{theorem} + + + diff --git a/src/mal/index.tex b/src/mal/index.tex new file mode 100644 index 0000000..a62c2cd --- /dev/null +++ b/src/mal/index.tex @@ -0,0 +1,4 @@ +\chapter{Unknown Chapter} +\label{chap:mal} + +\input{./brownian.tex} diff --git a/src/operator/dif.tex b/src/operator/dif.tex new file mode 100644 index 0000000..15bd07c --- /dev/null +++ b/src/operator/dif.tex @@ -0,0 +1,125 @@ +\section{Diffusion Operators} +\label{section:diffusion-op} + + +\begin{definition} + \label{definition:diffusion-op} + Let $d \in \nat$, then a \textbf{diffusion operator} on $\real^d$ is a differential operator of the form + \[ + Lu = \dpn{A, D^2u}{\real^{d \times d}} + \dpn{b, Du}{\real^d} + \] + where $A \in C(\real^d; \real^{d \times d})$ is symmetric and non-negative, and $b \in C(\real^d; \real^d)$. + + It is assumed that there exists a Borel measure $\mu: \cb(\real) \to [0, \infty]$ equivalent to the Lebesgue measure such that + \[ + \int g Lf d\mu = \int f Lg d\mu + \] + for all $f, g \in C_c^\infty(\real^d; \real)$. +\end{definition} + +\begin{lemma} + \label{lem:diffusion-symmetric} + Let $L$ be a diffusion operator, then for any $f \in C^\infty(\real^d; \real)$ and $g \in C_c^\infty(\real^d; \real)$, + \[ + \int g Lf d\mu = \int f Lg d\mu + \] + In particular, + \[ + \int Lg d\mu = 0 + \] +\end{lemma} +\begin{proof} + Let $\eta \in C_c^\infty(\real^d; \real)$ such that $\eta|_{\supp{g}} = 1$, then + \[ + \int g Lf d\mu = \int g L(\eta f)d\mu = \int (\eta f)Lgd\mu = \int f Lgd\mu + \] +\end{proof} + +\begin{lemma} + \label{lem:energy-form} + + Let $L$ be a diffusion operator, then for any $f, g \in C_c^\infty(\real^d; \real)$, + \[ + \dpn{Df, ADg}{\real^d} = \frac{1}{2}[L(fg) - fLg - gLf] + \] +\end{lemma} +\begin{proof} + Firstly, + \begin{align*} + D(fg) &= fDg + gDf \\ + D^2(fg) &= fD^2g + 2Df \otimes Dg + gD^2f \\ + \end{align*} + so + \[ + L(fg) = fLg + gLf + 2\dpn{Df, ADg}{\real^d} + \] +\end{proof} + +\begin{definition} + \label{def:energy-form} + Let $L$ be a diffusion operator. For each $f, g \in C_c^\infty(\real^d; \real)$, + \begin{align*} + \dpn{f, g}{\ce} &= \dpn{Df, ADg}{L^2(\real^d, \mu; \real^d)} \\ + &= -\dpn{f, Lg}{L^2(\real^d, \mu)} = -\dpn{g, Lf}{L^2(\real^d, \mu)} + \end{align*} + is the \textbf{energy form} of $L$. +\end{definition} + +\begin{proposition}[{{\cite[Theorem 4.6, Proposition 4.11]{Baudoin}}}] + \label{prop:diffusion-sa} + + Let + \[ + Lu = \dpn{A, D^2u}{\real^{d \times d}} + \dpn{b, Du}{\real^d} + \] + + be a diffusion operator, then: + \begin{enumerate} + \item $L$ admits a self-adjoint extension. + \item If $L$ is elliptic with smooth coefficients and there exists $\seq{h_n} \in C_c(\real^d; [0, 1])$ such that: + \begin{enumerate} + \item[(a)] $h_n \upto 1$ pointwise on $\real^d$ as $n \to \infty$. + \item[(b)] $||\dpn{Dh_n, ADh_n}{\real^{d}}||_{L^\infty(\real^d)} \to 0$ as $n \to \infty$. + \end{enumerate} + then $L$ is essentially self-adjoint. + \end{enumerate} +\end{proposition} +\begin{proof} + (1): Since $A$ is semipositive, $-L$ is a semipositive operator. Therefore $L$ admits a Friedrichs extension by \autoref{thm:friedrichs}. + + (2): By \autoref{lem:injective-eigen-ess}, it is sufficient to show that there exists $\lambda > 0$ such that $(\lambda - L^*)$ is injective. + + In fact, $(\lambda - L^*)$ is injective for all $\lambda > 0$. Fix $\lambda > 0$ and $u \in L^2(\real^d)$ such that $L^*u = \lambda u$. In this case, since $\mu$ is equivalent to the Lebesgue measure, $Lu = \lambda u$ as distributions. By the Elliptic Regularity Theorem, $u \in C^\infty(\real^d) \cap L^2(\real^d)$. + + For any $h \in C_c^\infty(\real^d; \real)$, + \begin{align*} + \dpn{Df, AD(h^2f)}{L^2(\real^d; \real^d )}&= -\dpn{f, L(h^2f)}{L^2(\real^d)} \\ + &=- \dpn{Lf, h^2f}{L^2(\real^d)} \\ + &= -\dpn{L^*f, h^2f}{L^2(\real^d)} \\ + &= -\lambda \dpn{f^2, h^2}{L^2(\real^d)} \le 0 + \end{align*} + Since + \begin{align*} + \dpn{Df, AD(h^2f)}{L^2(\real^d; \real^d)} &= \dpn{Df, h^2ADf}{L^2(\real^d; \real^d)} \\ + &+ \dpn{Df, 2fhADh}{L^2(\real^d; \real^d)} + \end{align*} + By the Schwarz inequality, + \[ + \dpn{Df, ADh}{\real^d} \le \sqrt{\dpn{Df, ADf}{\real^d}} \cdot \sqrt{\dpn{Dh, ADh}{\real^d}} + \] + so + \begin{align*} + \dpn{Df, h^2ADf}{L^2(\real^d; \real^d)} &\le 2\norm{\dpn{Dh, ADh}{\real^d}}_{L^\infty(\real^d)}^{1/2} \\ + &\times \normn{fh{\dpn{Df, ADf}{\real^d}^{1/2}}}_{L^2(\real^d)} + \end{align*} + where + \[ + \normn{fh{\dpn{Df, ADf}{\real^d}^{1/2}}}_{L^2(\real^d)} \le \norm{f}_{L^2}\dpn{Df, h^2ADf}{L^2(\real^d;\real^d)}^{1/2} + \] + Therefore + \[ + \dpn{Df, h^2ADf}{L^2(\real^d; \real^d)} \le 4\norm{\dpn{Dh, ADh}{\real^d}}_{L^\infty(\real^d)} \cdot \norm{f}_{L^2}^2 + \] + + Substituting $\seq{h_n}$ for $h$ and sending $n \to \infty$ yields that $\norm{Df}_{L^2(\real^d; \real^d)} = 0$. Therefore $f = 0$. +\end{proof} diff --git a/src/operator/hsg.tex b/src/operator/hsg.tex new file mode 100644 index 0000000..58e842e --- /dev/null +++ b/src/operator/hsg.tex @@ -0,0 +1,114 @@ +\section{The Heat Semigroup} +\label{sec:heat-semigroup} + +\begin{definition}[Normal Operator] + \label{def:normal-op} + Let $H$ be a Hilbert space and $T$ be a closed, densely defined operator, then $T$ is \textbf{normal} if $T^*T = TT^*$. +\end{definition} + +\begin{theorem}[Spectral Theorem I, {{\cite[The Spectral Theorem]{conway}}}] + \label{thm:spectral} + Let $H$ be a Hilbert space and $T$ be a normal operator, then there exists a unique spectral measure $P: \cb_\complex \to L(H; H)$ such that: + \begin{enumerate} + \item $T = \int z P(dz)$. + \item The mapping $f \mapsto \int f(z) P(dz)$ is a $*$-homomorphism. + \end{enumerate} +\end{theorem} + +\begin{definition} + \label{define:heat-semigroup} + Let $L$ be an essentially self-adjoint diffusion operator and $P$ be the spectral measure associated with $-L$. For each $t \ge 0$, let + \[ + \bp_t = \int_\complex e^{-tz}P(dz) + \] + then: + \begin{enumerate} + \item For any $f \in L^2(\real^d)$, $\norm{\bp_tf}_{L^2(\real^d, \mu)} \le \norm{f}_{L^2(\real^d, \mu)}$. + \item For each $t \ge 0$, $\bp_t$ is self-adjoint. + \item $\bracs{\bp_t|t \ge 0}$ is a $C_0$-semigroup with $L$ as its generator. + \end{enumerate} + The family $\bracs{\bp_t|t \ge 0}$ is the \textbf{heat semigroup associated with} $L$. +\end{definition} + +\begin{proposition} + \label{prop:heat-estimate} + Let $L$ be an essentially self-adjoint elliptic diffusion operator with smooth coefficients, and $\bracs{\bp_t|t \ge 0}$ be its heat semigroup, then: + \begin{enumerate} + \item For any precompact open set $U \subset \subset \real^d$ and $k \in \nat$, + \[ + \norm{P_tf}_{H^k(K)} \le C_{K, k, \mu}\paren{1 + \frac{1}{t^k}}\norm{f}_{L^2(\real^d)} + \] + In particular, by the Sobolev Embedding theorem, + \[ + \sup_{x \in K}|\bp_tf(x)| \le C_{K}\paren{1 + \frac{1}{t^{\lfloor d/2 \rfloor + 1}}}\norm{f}_{L^2(\real^d)} + \] + \item For any $f \in L^2(\real^d; \real)$, the mapping $(t, x) \mapsto \bp_tf(x)$ is smooth on $(0, \infty) \times \real^d$. + \end{enumerate} +\end{proposition} +\begin{proof} + (1): For any $k \in \nat$, + \[ + L^k\bp_t = \int z^k e^{-tz}P(dz) + \] + Hence + \[ + \normn{L^k \bp_t}_{L(L^2(\mu), L^2(\mu))} \le \sup_{z \ge 0}z^ke^{-z t} \le \frac{k^k}{t^k}e^{-k} \le \frac{C_k}{t^k} + \] + By the Elliptic Regularity Theorem, + \begin{align*} + \norm{P_tf}_{H^k(K)} &\le C_K\sum_{\ell = 0}^k \normn{L^k\bp_tf}_{L^2(\real^d)} \\ + &\le C_{K, k, \mu}\paren{1 + \frac{1}{t^k}}\norm{f}_{L^2(\real^d)} + \end{align*} + + (2): By (1), $\bp_t f \in H^k_{\text{loc}}$ for all $k \in \nat$, so $\bp_t f \in C^\infty$. For any $s, t > 0$ and $k \in \nat$, + \[ + \norm{L^k\bp_t - L^k\bp_s}_{L(L^2(\mu), L^2(\mu))} \le \sup_{z \ge 0}|{z^ke^{-z}(e^{-t} - e^{-s})}| + \] + so $(t, x) \mapsto \bp_t f(x)$ is jointly continuous. By a very wasteful chain of Sobolev shenanigans, $(t, x) \mapsto \bp_t f(x)$ is smooth. +\end{proof} + +\begin{theorem} + \label{thm:heat-markov} + Let $L$ be an essentially self-adjoint elliptic diffusion operator and $\bracs{\bp_t|t \ge 0}$ be its heat semigroup, then there exists $p \in C^\infty(\real \times \real^d \times \real^d; \real)$ such that + \begin{enumerate} + \item For any $f \in L^2(\real^d; \real)$ and $x \in \real^d$, + \[ + \bp_t f(x) = \int p(t, x, y)f(y) \mu(dy) + \] + \item For any $x, y \in \real^d$ and $t > 0$, $p(t, x, y) = p(t, y, x)$. + \item \textbf{Chapman-Kolmogorov Relation}: For any $x, y \in \real^d$ and $s, t > 0$, + \[ + p(s + t, x, y) = \int p(t, x, z)p(s, z, y)\mu(dz) + \] + \end{enumerate} +\end{theorem} +\begin{proof} + (1): For each $t > 0$ and $x \in \real^d$, the mapping $f \mapsto \bp_tf(x)$ is a continuous linear functional on $L^2(\mu)$. Hence there exists a continuous mapping + \[ + p: \real \times \real^d \to L^2(\mu) + \] + such that + \[ + \bp_t f(x) = \int p(t, x, y)f(y)\mu(dy) + \] + + (2): Since $\bp_t$ is self-adjoint on $L^2(\mu)$, $p$ is symmetric. + + (3): Since $\bracs{\bp_t|t \ge 0}$ is a semigroup, $p$ satisfies the Chapman-Kolmogorov relation. + + \textbf{Smoothness:} For any $f \in L^2(\mu)$, + \[ + (t, x) \mapsto \int p(t, x, y) f(y)dy + \] + is smooth. Thus, viewed as a map $\real \times \real^d \to L^2(\mu)$, $(t, x) \mapsto p(t, x, \cdot)$ is differentiable with respect to the weak topology on $L^2(\mu)$. + + Since the inner product $L^2(\mu) \times L^2(\mu) \to \real$ is smooth, by the Chapman-Kolmogorov relation, for any $t > 0$, + \[ + p(t, x, y) = \int p(t/2, x, z)p(t/2, z, y)\mu(dz) + \] + is continuous. +\end{proof} + + + + diff --git a/src/operator/hy.tex b/src/operator/hy.tex new file mode 100644 index 0000000..e7271dd --- /dev/null +++ b/src/operator/hy.tex @@ -0,0 +1,197 @@ +\section{The Hille-Yosida Theorem} +\label{sec:hy} + + +\begin{definition} + \label{define:generator} + Let $E$ be a Banach space and $\bracs{T_t|t \ge 0}$ be a strongly continuous contraction semigroup on $E$. Let + \[ + D = \bracs{x \in E \bigg | \lim_{t \to 0}\frac{T_tx - x}{t} \text{ exists}} + \] + then: + \begin{enumerate} + \item For each $t \ge 0$, let + \[ + A_t: E \to E \quad x \mapsto \int_0^t T_sx ds + \] + then for any $x \in E$, $A_tx \in D$ with + \[ + A(A_tx) = T_tx - x + \] + \item $D$ is dense in $E$. + \item The operator + \[ + A: D(A) \to E \quad x \mapsto \lim_{t \to 0}\frac{T_tx - x}{t} + \] + is closed. + \end{enumerate} + and operator $A$ in $(2)$ is the \textbf{generator} of $\bracs{T_t|t \ge 0}$. +\end{definition} +\begin{proof} + (1): For any $r \in (0, t)$, + \begin{align*} + \frac{T_rA_tx - A_tx}{r} &= \frac{1}{r} \braks{T_r\int_0^tT_sx ds - \int_0^tT_sxds} \\ + &= \frac{1}{r} \braks{\int_r^{t+r}T_sx ds - \int_0^tT_sxds} \\ + &= \frac{1}{r}\braks{\int_t^{t+r}T_sx ds - \int_0^rT_sxds} + \end{align*} + By the Fundamental Theorem of Calculus, + \[ + \lim_{r \downto 0}\frac{T_rA_tx - A_tx}{r} = T_tx - x + \] + so for any $x \in E$ and $t > 0$, $A_tx \in D$. + + (2): By continuity of $s \mapsto T_sx$ and the Fundamental Theorem of Calculus, $A_tx/t \to x$ strongly as $t \downto 0$. Therefore $D$ is dense in $E$. + + (3): Let $\seq{x_n} \subset D$, $x \in E$, and $y \in E$ such that $x_n \to x$ and $Ax_n \to y$ as $n \to \infty$. By the Fundamental Theorem of Calculus, + \[ + T_tx_n - x_n = \int_0^t T_sAx_n ds + \] + By the Dominated Convergence Theorem, + \[ + T_tx - x = \int_0^tT_syds + \] + Using the Fundamental Theorem of Calculus again, + \[ + \lim_{t \downto 0}\frac{T_tx - x}{t} = y + \] + Hence $y \in D$ with $Ax = y$. +\end{proof} + + +\begin{theorem}[Hille-Yosida] + \label{thm:hy} + Let $E$ be a Banach space and $A: D(A) \to E$ be a densely defined closed operator, then $A$ generates a strongly continuous contraction semigroup if and only if: + \begin{enumerate} + \item $\sigma(A) \subset (-\infty, 0]$. + \item $\normn{(\lambda - A)^{-1}}_{L(E; E)} \le \lambda^{-1}$ for all $\lambda > 0$. + \end{enumerate} +\end{theorem} +\begin{proof} + First suppose that $A$ generates a strongly continuous contraction semigroup $\bracs{T_t|t \ge 0}$. + + If the following integral does exist, then + \[ + \int_0^\infty e^{-t(\lambda - A)}dt = (\lambda - A)^{-1} + \] + which suggests that + \[ + R_\lambda = \int_0^\infty e^{-\lambda t}T_tdt + \] + is the inverse of $(\lambda - A)$. Since $t \mapsto T_t$ is continuous and $\norm{T_t}_{L(E; E)} \le 1$ for all $t \ge 0$, the integral converges absolutely as a Riemann integral with $\norm{R_\lambda}_{L(E; E)} \le \lambda^{-1}$. + + For any $x \in E$ and $h > 0$, + \begin{align*} + \frac{T_hR_\lambda x - R_\lambda x}{h} &= \int_0^\infty e^{-\lambda t}\frac{T_hT_tx - T_tx}{h}dt \\ + &= \frac{e^{\lambda h}}{h}\int_h^\infty e^{-\lambda s}(T_s - T_{s - h})xds \\ + &= \frac{e^{\lambda h}}{h}\braks{R_\lambda x - \int_0^h e^{-\lambda s}T_sxds} \\ + &- \frac{e^{\lambda h}}{h}\int_h^\infty e^{-\lambda s}T_{s - h}xds \\ + &= \frac{e^{\lambda h}}{h}\braks{R_\lambda x - \int_0^h e^{-\lambda s}T_sxds} \\ + &- \frac{1}{h}\int_0^\infty e^{-\lambda s}T_{s}xds \\ + &= \frac{e^{\lambda h} - 1}{h}R_\lambda x - \frac{e^{\lambda h}}{h}\int_0^he^{-\lambda s}T_sxds + \end{align*} + By the Fundamental Theorem of Calculus, + \[ + \lim_{h \downto 0}\frac{e^{\lambda h}}{h}\int_0^he^{-\lambda s} = x + \] + Therefore + \begin{align*} + AR_\lambda x &= \lambda R_\lambda x - x \\ + (\lambda - A)R_\lambda x &= x \\ + (\lambda - A)R_\lambda &= \text{Id} + \end{align*} + On the other hand, since $A$ is closed, + \[ + AR_\lambda x = \int_0^\infty e^{-\lambda t}T_tAxdt = R_\lambda Ax + \] + Hence $R_\lambda(\lambda - A) = \text{Id}$ as well, so $R_\lambda = (\lambda - A)^{-1}$. + + Now suppose that $A$ is a densely defined closed operator satisfying assumptions (1) and (2). For each $\lambda > 0$, let + \[ + A_\lambda = -\lambda + \lambda^2(\lambda - A)^{-1} + \] + then for any $x \in D(A)$, + \begin{align*} + A_\lambda x &= -\lambda(\lambda-A)(\lambda-A)^{-1}x + \lambda^2(\lambda-A)^{-1}x \\ + &= \lambda A(\lambda-A)^{-1}x = \lambda(\lambda-A)^{-1}Ax + \end{align*} + By assumption (2), for any $y \in E$, + \begin{align*} + \lambda(\lambda - A)^{-1}y - y &= \lambda(\lambda - A)^{-1}(y - \lambda^{-1}(\lambda-A)y) \\ + &= (\lambda - A)^{-1}(\lambda y - (\lambda-A)y) \\ + &= (\lambda-A)^{-1}Ay \\ + \lim_{\lambda \to \infty}\lambda(\lambda - A)^{-1}y - y &= 0 + \end{align*} + Therefore for any $x \in D(A)$, + \[ + \limv{\lambda}A_nx = x + \] + For each $\lambda > 0$, define + \[ + T^\lambda_t = \sum_{k = 0}^\infty \frac{t^kA_\lambda^k}{k!} + \] + then $\bracsn{T^\lambda_t|t \ge 0}$ is a (very) strongly continuous semigroup with + \begin{align*} + T_t^\lambda &= e^{-\lambda t}\sum_{k = 0}^\infty \frac{\lambda^{2k}t^k(\lambda - A)^{-k}}{k!} \\ + \normn{T_t^\lambda}_{L(E; E)} &\le e^{-\lambda t}\sum_{k = 0}^\infty \frac{\lambda^k t^k}{k!} \le 1 + \end{align*} + so $\bracsn{T^\lambda_t|t \ge 0}$ is a contraction semigroup. + + Now, for any $x \in D(A)$, $t \ge 0$, and $\lambda, \mu > 0$, by the Fundamental Theorem of Calculus, + \begin{align*} + {(T_t^\lambda - T_t^\mu) x} &= \int_0^t \frac{d}{dx}(T_s^\lambda T_{t - s}^\mu x)ds \\ + &= \int_0^t T_s^\lambda T_{t - s}^\mu (A_\lambda - A_\mu)xds \\ + \normn{(T_t^\lambda - T_t^\mu) x}_E &\le t\norm{(A_\lambda - A_\mu)x}_E + \end{align*} + This allows defining + \[ + T_tx = \limv{n}T_t^nx + \] + for all $x \in D(A)$, and extend to $E$ by density. By continuity, $\bracs{T_t|t \ge 0}$ is a strongly continuous contraction semigroup. + + Finally, let $B$ be the generator of $\bracs{T_t|t \ge 0}$, then for any $t \ge 0$, $x \in D(A)$, and $\lambda > 0$, by the Dominated Convergence Theorem, + \begin{align*} + T_t^\lambda x &= x + \int_0^t T_s^\lambda Axds \\ + T_tx&= x + \int_0^tT_s Axds + \end{align*} + Hence $B$ is an extension of $A$. On the other hand, $(\lambda - A)$ and $(\lambda - B)$ are both bijective. Therefore $A$ is an extension of $B$, and $A= B$. +\end{proof} + +\begin{definition} + \label{def:dissipative} + Let $E$ be a Banach space, $A: E \to E$ be a densely defined, closed operator, then $A$ is \textbf{dissipative} if for every $x \in E$, there exists $\phi \in E^*$ such that: + \begin{enumerate} + \item $\norm{\phi}_{E^*} = \norm{x}_E$. + \item $\dpb{x, \phi}{E} = \norm{x}_E^2$. + \item $\phi(Ax) \le 0$. + \end{enumerate} +\end{definition} + +\begin{proposition} + \label{prop:hy} + Let $E$ be a Banach space and $A: E \to E$ be a densely defined, closed operator, then $A$ generates a strongly continuous contraction semigroup if and only if: + \begin{enumerate} + \item $A$ is dissipative. + \item For each $\lambda > 0$, $(\lambda - A)$ is surjective. + \end{enumerate} +\end{proposition} +\begin{proof} + First suppose that $A$ generates a strongly continuous contraction semigroup $\bracs{T_t|t \ge 0}$. By the Hahn-Banach theorem, there exists $\phi \in E^*$ with $\norm{\phi}_{E^*} = \norm{x}$, $\dpb{x, \phi}{E} = \norm{x}_E^2$. + + + Since $\bracs{T_t|t \ge 0}$ is a contraction semigroup, + \[ + \dpb{T_tx, \phi}{E} \le \norm{\phi}_{E^*}\norm{x}_E \le \norm{x}^2 = \dpb{x, \phi}{E} + \] + At $t = 0$, + \[ + 0 \ge \frac{d}{dt}\dpb{T_tx, \phi}{E} = \dpb{Ax, \phi}{E} + \] + + Now suppose that $A$ is a dissipative operator with $(\lambda - A)$ being surjective for all $\lambda > 0$. For any $x \in D(A)$, let $\phi \in E^*$ with $\norm{\phi}_{E^*} = \norm{x}_E$, $\dpb{x, \phi}{E} = \norm{x}_E^2$, and $\dpb{Ax, \phi}{E} \le 0$, then + \begin{align*} + \lambda \norm{x}_E^2 &\le \lambda \dpb{x, \phi}{E} - \dpb{Ax, \phi}{E} \\ + &= \dpb{(\lambda - A)x, \phi}{E} \le \norm{(\lambda - A)x}_E\norm{\phi}_{E^*} + \end{align*} + so $(\lambda - A)$ is coercive with $\normn{(\lambda - A)^{-1}}_{L(E; E)} \le \lambda^{-1}$. +\end{proof} + diff --git a/src/operator/index.tex b/src/operator/index.tex new file mode 100644 index 0000000..0fe57f4 --- /dev/null +++ b/src/operator/index.tex @@ -0,0 +1,10 @@ +\chapter{Diffusion Operators} +\label{chap:diffusion-operators} + +\input{./sa.tex} +\input{./dif.tex} +\input{./hsg.tex} +\input{./sm.tex} +\input{./rt.tex} +\input{./hy.tex} +\input{./solve.tex} diff --git a/src/operator/rt.tex b/src/operator/rt.tex new file mode 100644 index 0000000..6a30b62 --- /dev/null +++ b/src/operator/rt.tex @@ -0,0 +1,38 @@ +\section{Interpolations} +\label{sec:interpolation} + +\begin{theorem}[Riesz-Thorin] + \label{thm:rt} + Let $1 \le p_0, p_q, q_0, q_1 \le \infty$ and $\theta \in (0, 1)$. Let $1 \le p, q \le \infty$ with + \[ + \frac{1}{p} = \frac{1 - \theta}{p_0} + \frac{\theta}{p_1} \quad \frac{1}{q} = \frac{1 - \theta}{q_0} + \frac{\theta}{q_1} + \] + Let $T: (L^{p_0} + L^{q_0}) \to(L^{p_1} + L^{q_1})$ with + \[ + M_0 = \norm{T}_{L(L^{p_0}; L^{q_0})} \quad + M_1 = \norm{T}_{L(L^{p_1}; L^{q_1})} + \] + then $T$ extends uniquely as a bounded map $L^p \to L^q$ with + \[ + \norm{T}_{L(L^p; L^q)} \le M_0^{1 - \theta}M_1^{\theta} + \] +\end{theorem} + +\begin{theorem}[{{\cite[Theorem 4.31]{Baudoin}}}] + \label{thm:heat-rt} + Let $L$ be an essentially self-adjoint diffusion operator with symmetrising measure $\mu$, and $\bracs{\bp_t|t \ge 0}$ be its heat semigroup. For each $p \in [1, \infty]$ and $t \ge 0$, $\bp_t$ extends uniquely to a mapping $L^p(\mu) \to L^p(\mu)$ with + \[ + \norm{\bp_t f}_{L^p(\mu)} \le \norm{f}_{L^p(\mu)} + \] +\end{theorem} +\begin{proof} + Let $f, g \in L^1(\mu) \cap L^\infty(\mu)$, then + \begin{align*} + \dpn{\bp_tf, g}{L^2(\mu)} &= \dpn{f, \bp_tg}{L^2(\mu)} \le \norm{f}_{L^1(\mu)}\norm{\bp_tg}_{L^\infty(\mu)} \\ + &\le \norm{f}_{L^1(\mu)}\norm{g}_{L^\infty(\mu)} + \end{align*} + so $\norm{\bp_t f}_{L^1(\mu)} \le \norm{f}_{L^1(\mu)}$. +\end{proof} + + + diff --git a/src/operator/sa.tex b/src/operator/sa.tex new file mode 100644 index 0000000..2ab12de --- /dev/null +++ b/src/operator/sa.tex @@ -0,0 +1,125 @@ +\section{Self-Adjoint Operators} +\label{sec:sa-op} + +\begin{definition} + \label{definition:adjoint} + Let $H$ be a Hilbert space, $\varphi: H^* \to H$ be the canonical map, and $T: D(T) \to H$ be a densely defined linear operator. Let + \[ + D(T^*) = \bracsn{\psi \in H| \dpb{T\cdot, \psi}{H} \in H^*} + \] + then the \textbf{adjoint} of $T$ is the mapping + \[ + D(T^*) \to H \quad \phi \mapsto \varphi(\dpb{T\cdot, \psi}{H}) + \] +\end{definition} + +\begin{definition}[{{\cite[X.2.2]{conway}}}] + \label{definition:sa} + Let $H$ be a Hilbert space and $T: D(T) \to H$ be densely defined linear map, then the following are equivalent: + \begin{enumerate} + \item $T^*$ is an extension of $T$. + \item $\angles{Tx, y} = \angles{x, Ty}$ for all $x, y \in D(T)$. + \item $\angles{Tx, x} \in \real$ for all $x \in D(T)$. + \end{enumerate} + If the above holds, then $T$ is a \textbf{symmetric operator}. + + If $T = T^*$, then $T$ is \textbf{self-adjoint}. +\end{definition} +\begin{proof} + $(1) \Rightarrow (2)$: Let $x, y \in D(T)$, then + \[ + \angles{Tx, y}_H = \angles{x, T^*y}_H = \angles{x, Ty}_H + \] + $(2) \Rightarrow (3)$: For any $x, y \in D(T)$, + \[ + \angles{Tx, x}_H = \overline{\angles{Tx, x}_H} \quad \angles{Tx, x}_H \in \real + \] + $(3) \Rightarrow (1)$: By the polarisation identity, for any $x, y \in D(T)$, + \begin{align*} + 4\angles{Tx, y}_H &= \sum_{k = 0}^3i^k\angles{T(x + i^ky), x + i^ky}_H \\ + &= \sum_{k = 0}^3i^k\angles{x + i^ky, T(x + i^ky)}_H \\ + &= 4\angles{x, Ty}_H + \end{align*} + Hence $T^*$ is an extension of $T$. +\end{proof} + +\begin{definition} + \label{definition:positive} + Let $H$ be a Hilbert space and $T: D(T) \to H$ be a symmetric linear map, then $T$ is \textbf{semipositive} if $\dpb{x, Tx}H \ge 0$ for all $x \in H$, \textbf{positive} if $\dpb{x, Tx}H > 0$ for all $x \in H$, and \textbf{coercive} if there exists $\eps > 0$ such that $\dpb{x, Tx}H \ge \eps \norm{x}_H$ for all $x \in H$. +\end{definition} + + +\begin{lemma} + \label{lem:inverse-self-adjoint} + + Let $H$ be a Hilbert space and $T: D(T) \to T(H)$ be an injective, self-adjoint operator with dense range, then $T^{-1}: T(H) \to D(T)$ is also self-adjoint. +\end{lemma} +\begin{proof} + Let $y \in D((T^{-1})^*)$, then there exists $\phi \in H$ such that $\dpb{T^{-1}x, y}H = \dpb{x, \phi}H$ for all $x \in T(H)$. Under the substitution $x = Tz$, this implies that $\dpb{z, y}H = \dpb{Tz, \phi}H$ for all $x \in T(H)$. Hence $y = T^*(\phi) = T(\phi) \in T(H)$. +\end{proof} + + +\begin{theorem}[Friedrichs Extension, {{\cite[Theorem 4.6]{Baudoin}}}] + \label{thm:friedrichs} + + Let $H$ be a Hilbert space and $T: D(T) \to H$ be a semipositive operator, then $T$ admits a self-adjoint extension. +\end{theorem} +\begin{proof} + For any $f, g \in D(T)$, let + \[ + \dpb{f, g}{E} = \dpb{f, Tg}{H} + \dpb{f, g}{H} + \] + then $\dpb{\cdot, \cdot}{E}$ is an inner product on $D(T)$. Let $E$ be the completion of $D(T)$ with respect to the norm induced by $\dpb{\cdot, \cdot}{E}$. Since $\norm{\cdot}_E \ge \norm{\cdot}_H$, the inclusion $\iota: D(T) \to H$ admits a continuous extension to $E$, which maps it into $H$ as a dense subspace. + + To this end, let $\seq{x_n} \subset D(T)$ be a Cauchy sequence in $E$ such that $\norm{x_n}_H \to 0$ as $n \to \infty$, then + \begin{align*} + \limv{n}\dpb{x_n, x_n}E &= \limv{n}\limv{m}\dpb{x_m, x_n}E \\ + &= \limv{n}\limv{m}\dpb{x_m, Tx_n}H \\ + &+ \limv{n}\limv{m}\dpb{x_m, x_n}H = 0 + \end{align*} + Hence $x_n \to 0$ in $E$, and the extension $\iota: E \to H$ is injective. + + Since $\iota: E \to H$ is bounded and injective, it admits a bounded adjoint $\iota^*: H \to E$. Let $B = \iota \circ \iota^*: H \to H$, then $B$ is a bounded, injective, and self-adjoint. + + Now, let $A = B^{-1}: B(H) \to H$, then $A$ is self-adjoint by \autoref{lem:inverse-self-adjoint}. Moreover, for any $x, y \in B(H)$, + \begin{align*} + \dpb{x, Ay}{H} &= \dpb{x, (\iota \circ \iota^*)^{-1}y}{H} \\ + &= \dpb{x, ({\iota^*})^{-1}\iota^{-1}y}H \\ + &= \dpb{\iota^{-1}x, \iota^{-1}y}E \\ + &= \dpb{x, (T + 1)y}H + \end{align*} + So $(A - 1): B(H) \to H$ is the self-adjoint extension of $T$. +\end{proof} + +\begin{definition}[Essentially Self-Adjoint] + \label{definition:ess-sa} + Let $H$ be a Hilbert space and $T: D(T) \to H$ be a semipositive operator, then $T$ is \textbf{essentially self-adjoint} if the Friedrichs extension is its unique self-adjoint extension. +\end{definition} + +\begin{lemma} + \label{lem:injective-eigen-ess} + + Let $H$ be a Hilbert space and $T: D(T) \to H$ be a semipositive. If there exists $\lambda > 0$ such that $(T^* + \lambda)$ is injective, then $T$ is essentially self-adjoint. +\end{lemma} +\begin{proof} + Let + \[ + \dpb{x, y}E = \dpb{x, (T^* + \lambda)y}H + \] + be the inner product on $D(T^*)$, then for any $y \in D(T^*)$ with $y \perp D(T)$, + \[ + \dpb{x, (T^* + \lambda)y}H = 0 \quad \forall x \in D(T) + \] + By density of $D(T)$ and injectivity of $T^* + \lambda$, $y = 0$. Hence $D(T)$ is dense in $D(T^*)$ with respect to the inner product $\dpb{\cdot, \cdot}E$. + + Let $S$ be a semipositive self-adjoint extension of $T$, then $D(S) \subset D(T^*)$, so $D(T)$ is dense in $D(S)$ with respect to the inner product $\dpb{\cdot, \cdot}E$. + + Let $E$ be the completion of $D(T^*)$ with respect to the inner product $\dpb{\cdot, \cdot}E$ and $\iota: E \to H$ be the extension of the inclusion map, then for any $x, y \in D(T) \subset E$, + \[ + \dpb{x, (S + \lambda)y}H = \dpn{\iota^{-1}x, \iota^{-1}y}E + \] + Hence $S$ and the Friedrichs extension coincide on $D(T)$. By density of $D(T)$ in $D(S)$, they also coincide on $D(S)$. +\end{proof} + + + diff --git a/src/operator/sm.tex b/src/operator/sm.tex new file mode 100644 index 0000000..124f022 --- /dev/null +++ b/src/operator/sm.tex @@ -0,0 +1,126 @@ +\section{The Submarkov Property} + +\begin{definition}[Submarkov Property] + \label{define:submarkov} + Let $\bracs{\bp_t|t \ge 0}$ be a semigroup on $L^2$, then $\bracs{\bp_t|t \ge 0}$ has the \textbf{submarkov} property if for any $f \in L^2$ with $0 \le f \le 1$ (a.e.), $0 \le \bp_t f \le 1$ for all $t > 0$. +\end{definition} + +\begin{lemma}[Kato Inequality, {{\cite[Lemma 4.24]{Baudoin}}}] + \label{lem:kato} + Let + \[ + Lu = \dpn{A, D^2u}{\real^{d \times d}} + \dpn{b, Du}{\real^d} + \] + be a diffusion operator on $\real^d$ with symmetrising measure $\mu$, then for any $u \in C_c^\infty(\real^d; \real)$, + \[ + L(|\mu|) \ge \sgn(u) \cdot Lu + \] + in the sense of distributions. +\end{lemma} +\begin{proof} + First suppose that $u \in C_c^\infty(\real^d; \real)$. For any $\phi \in C^2(\real; \real)$, + \begin{align*} + D(\phi \circ u) &= (\phi' \circ u) \cdot Du \\ + D^2(\phi \circ u) &= (\phi' \circ u) \cdot Du \otimes Du + (\phi' \circ u) \cdot D^2u + \end{align*} + so + \[ + L(\phi \circ u) = (\phi' \circ u) Lu + (\phi'' \circ u)\dpn{Du, ADu}{\real^d} + \] + In particular, if $\phi$ is also convex, then + \[ + L(\phi \circ u) \ge (\phi' \circ u)Lu + \] + Now, for each $\eps > 0$, let $\phi_\eps(x) = \sqrt{x^2 + \eps^2}$, then + \[ + L(\phi_\eps \circ u)(x) \ge \frac{u(x)}{\sqrt{x^2 + \eps^2}}Lu(x) + \] + by the Dominated Convergence Theorem, + \[ + L|u| \ge \sgn(u) Lu + \] +\end{proof} + +\begin{lemma} + \label{lem:resolvant} + Let $L$ be an essentially self-adjoint diffusion operator with symmetrising measure $\mu$. For any $\lambda > 0$ and $f, g \in C_c^\infty(\real^d; \real)$, let + \[ + \dpn{f, g}{\lambda} = \dpn{f, g}{L^2(\mu)} + \lambda \dpn{Df, ADg}{L^2(\mu; \real^d)} + \] + and $E_\lambda$ be the completion of $C_c^\infty(\real^d; \real)$ with respect to the above inner product, then + \begin{enumerate} + \item For any $f \in E_\lambda$, $|f| \in E_\lambda$ with $\norm{|f|}_\lambda \le \norm{f}_\lambda$. + \item For any $f \in E_\lambda$, $f \wedge 1 \in E_\lambda$ with $\norm{f \wedge 1}_\lambda \le \norm{f}_\lambda$. + \item Let + \[ + R_\lambda = (1 - \lambda L)^{-1}: L^2(\mu) \to D(L) + \] + then for any $f \in E_\lambda$ and $g \in L^2(\mu)$, + \[ + \dpn{f, R_\lambda g}{\lambda} = \dpn{f, g}{L^2(\mu)} + \] + \end{enumerate} +\end{lemma} +\begin{proof} + (1): For any $u \in C_c^\infty(\real^d; \real)$, by the Kato inequality, + \begin{align*} + \dpn{D|u|, AD|u|}{\real^d} &= \frac{1}{2}L(|u| \cdot |u|) - |u|L|u| \\ + &\le \frac{1}{2}L(u^2) - uLu \\ + &= \dpn{Du, ADu}{L^2(\mu; \real^d)} + \end{align*} + Therefore for any $u \in E_\lambda$, $|u| \in E_\lambda$ with $\norm{|u|}_\lambda \le \norm{u}_{\lambda}$. + + (2): For any $f \in C_c^\infty(\real^d; \real)$, let $\eta \in C_c^\infty(\real^d; [0, 1])$ with $\eta|_{\supp{f}} = 1$, then $\eta \in D(L) \subset E_\lambda$ with + \[ + f \wedge 1 = f \wedge \eta = \frac{1}{2}(f + \eta + |f - \eta|) + \] + Despite the deceptive appearance of the above expression, $\norm{f \wedge 1}_\lambda \le \norm{f}_\lambda$. Hence the inclusion extends by continuity to all $f \in E_\lambda$. + + (3): For any $f \in E_\lambda$ and $g \in L^2(\mu)$, + \begin{align*} + \dpn{f, R_\lambda g}{\lambda} &= \dpn{f, R_\lambda g}{L^2(\mu)} - \lambda \dpn{f, LR_\lambda g}{L^2(\mu)} \\ + &= \dpn{f, (1 - \lambda L)R_\lambda g}{L^2(\mu)} = \dpn{f, g}{L^2(\mu)} + \end{align*} +\end{proof} + + +\begin{theorem}[{{\cite[Theorem 4.25]{Baudoin}}}] + \label{thm:heat-positive} + Let $L$ be an essentially self-adjoint diffusion operator with symmetrising measure $\mu$ and heat semigroup $\bracs{\bp_t|t \ge 0}$, then for any $f \in L^2(\mu)$ with $f \ge 0$ (a.e.), $\bp_tf \ge 0$. +\end{theorem} +\begin{proof} + By the Dominated Convergence Theorem and the Spectral Theorem, for any $f \in L^2(\mu)$, + \[ + \bp_tf = \limv{n}\paren{1 - \frac{t}{n}L}^{-n}f + \] + Thus it is sufficient to show that $(1 - \lambda L)^{-1}$ satisfies the positivity criterion for all $\lambda > 0$. + + Let $g \in L^2(\mu)$ with $g \ge 0$ (a.e.) and $f = R_\lambda g$, then + \[ + \norm{f}_\lambda^2 = \dpn{f, g}{L^2(\mu)} \le \dpn{|f|, g}{L^2(\mu)} = \dpn{|f|, f}{\lambda} \le \norm{f}_\lambda^2 + \] + so $f = |f|$, and $R_\lambda g \ge 0$. +\end{proof} + +\begin{theorem}[{{\cite[Theorem 4.27]{Baudoin}}}] + \label{thm:heat-bound} + Let $L$ be an essentially self-adjoint diffusion operator with symmetrising measure $\mu$, then for any $f \in L^2(\mu) \cap L^\infty(\mu)$, + \[ + \norm{\bp_t f}_\infty \le \norm{f}_\infty + \] +\end{theorem} +\begin{proof} + Similar to the previous theorem, it is sufficient to show that $(1 - \lambda L)^{-1}$ satisfies the bound for all $\lambda > 0$. + + To this end, let $\lambda > 0$, $g \in L^2(\mu) \cap L^\infty(\mu)$ with $0 \le g \le 1$ (a.e.), $f = R_\lambda g$, and $h = 1 \wedge f$, then + \begin{align*} + 0 &\le \norm{f - h}_\lambda^2 = \norm{f}_\lambda^2 - 2\dpn{f, h}{\lambda} + \norm{h}_\lambda^2 \\ + &\le \dpn{f, g}{L^2(\mu)} - 2\dpn{f, h}{\lambda} + \norm{h}_{L^2(\mu)}^2 - \dpn{h, \lambda Lh}{L^2(\mu)} \\ + &= \dpn{f, g}{L^2(\mu)} + \norm{g - h}_{L^2(\mu)}^2 - \norm{g}_{L^2(\mu)}^2- \dpn{h, \lambda Lh}{L^2(\mu)} \\ + &\le \dpn{f, g}{L^2(\mu)} + \norm{g - f}_{L^2(\mu)}^2 - \norm{g}_{L^2(\mu)}^2- \dpn{f, \lambda Lf}{L^2(\mu)} \\ + &\le \norm{f}_{L^2(\mu)}^2 - \dpn{f, g}{L^2(\mu)}- \dpn{f, \lambda Lf}{L^2(\mu)} \\ + &= \norm{f}_{L^2(\mu)}^2 - \dpn{f, f}{\lambda}- \dpn{f, \lambda Lf}{L^2(\mu)} \\ + &= \norm{f}_{L^2(\mu)} - \norm{f}_{L^2(\mu)} = 0 + \end{align*} + so $f = h$ a.e., and $0 \le f \le 1$ (a.e.). +\end{proof} diff --git a/src/operator/solve.tex b/src/operator/solve.tex new file mode 100644 index 0000000..251a60f --- /dev/null +++ b/src/operator/solve.tex @@ -0,0 +1,122 @@ +\section{Solution of the Cauchy Problem} +\label{sec:solve} + +\begin{proposition}[{{\cite[Proposition 4.47]{Baudoin}}}] + \label{prop:cauchy-solve} + Let $L$ be an essentially self-adjoint diffusion operator on $\real^d$ with smooth coefficients, symmetrising measure $\mu$, and heat semigroup $\bracs{\bp_t|t \ge 0}$, then for any $f \in L^2(\mu; \real)$, the function + \[ + u: [0, \infty) \times \real^d \quad (t, x) \mapsto (\bp_t f)(x) + \] + is smooth on $(0, \infty) \times \real^d$ and solves the Cauchy problem + \[ + \begin{cases} + \partial_t u = Lu &t > 0 \\ + u(0, x) = f(x) &\forall x \in \real^d + \end{cases} + \] +\end{proposition} +\begin{proof} + For any $\phi \in \cd((0, \infty) \times \real^d)$, using integration by parts and the self-adjointness of $\bp_t$, + \begin{align*} + &\iint_{\real^d \times [0, \infty)} \phi [(\partial_t - L)u]\mu(dx)dt \\ + &= \iint_{\real^d \times [0, \infty)}(-\partial_t - L)\phi u\mu(dx)dt \\ + &= \iint_{\real^d \times [0, \infty)}(-\partial_t - L)\phi(x, t) (\bp_t f)(x)\mu(dx)dt \\ + &= \iint_{\real^d \times [0, \infty)}\bp_t[(-\partial_t - L)\phi(x, t)] f(x)\mu(dx)dt + \end{align*} + Since $L$ is the generator of $\bracs{\bp_t|t \ge 0}$, by the product rule, + \[ + \partial_t(\bp_t \phi) = L\phi + \bp_t \partial_t \phi + \] + so + \[ + -\bp_t\partial_t \phi = -\partial_t(\bp_t\phi) + L\phi + \] + and + \[ + \iint_{\real^d \times [0, \infty)} \phi [(\partial_t - L)u]\mu(dx)dt = \partial_t (\bp_t \phi) f(x)\mu(dx)dt = 0 + \] + so $\partial_t u = Lu$ in the sense of distributions. As $u \in C^\infty((0, \infty) \times \real^d)$, $\partial_t u = Lu$ pointwise. +\end{proof} + +\begin{lemma} + \label{lem:truncate-smooth} + + Let + \[ + Lu = \dpn{A, D^2u}{\real^{d \times d}} + \dpn{b, Du}{\real^d} + \] + + be an essentially self-adjoint diffusion operator on $\real^d$ with smooth coefficients and symmetrising measure $\mu$. + + Let $f \in \cd(\real^d)$ and $g \in C^\infty(\mu) \cap L^2(\mu)$, then + \[ + \dpn{f^2g, Lg}{L^2(\mu)} + \] +\end{lemma} +\begin{proof} + Since $\mu$ is a symmetrising measure, $\dpn{f^2g, Lg}{L^2(\mu)} = \dpn{L(f^2g), g}{L^2(\mu)}$. + + By \autoref{lem:energy-form}, + \[ + L(f^2g) = 2\dpn{D(f^2), ADg}{\real^d} + f^2Lg + gL(f^2) + \] +\end{proof} + + + +\begin{proposition} + \label{prop:heat-uniqueness} + Let $v \in C^\infty(\real^d \times \real)$ such that: + \begin{enumerate} + \item For any $(x, t) \in \real^d \times \real$, $\partial_t v(x, t) \le Lv(x, t)$. + \item For every $x \in \real^d$, $v(x, 0) = 0$. + \item For any $t > 0$, $\norm{v(\cdot, t)}_{L^2(\mu)} < \infty$. + \end{enumerate} + then $v = 0$. +\end{proposition} +\begin{proof} + For any $T > 0$ and $\eta \in \cd(\real^d)$, + \begin{align*} + &\int_0^T\int_{\real^d}h^2(x)v(x, t)Lv(x, t)\mu(dx)dt \\ + &\ge \int_0^T\int_{\real^d}h^2(x)v(x, t)\partial_t v(x, t)\mu(dx)dt = \frac{1}{2}\norm{hv}_{L^2(\mu)} + \end{align*} + On the other hand, for any $t > 0$, + \[ + \int_{\real^d}h^2v(\cdot, t)Lv(x, t)\mu(dx) = \int_{\real^d}L(h^2v)(x, t)v(\cdot, t)\mu(dx) + \] + so + \begin{align*} + &\int_{\real^d}h^2(x)v(x, t)Lv(x, t)\mu(dx) \\ + &= \frac{1}{2}\int_{\real^d}h^2(x)v(x, t)Lv(x, t)\mu(dx) \\ + &+ \frac{1}{2}\int_{\real^d}L(h^2v)(x, t)v(x, t)\mu(dx) + \end{align*} + By the product rule, + \[ + L(h^2v \cdot v) = h^2vLv + L(h^2v)v + 2\dpn{AD(h^2v), v}{\real^d} + \] + Thus + \begin{align*} + &\int_{\real^d}h^2(x)v(x, t)Lv(x, t)\mu(dx) \\ + &= \frac{1}{2}\int_{\real^d}L(h^2v \cdot v) - 2\dpn{AD(h^2v), Dv}{\real^d}d\mu \\ + &= - 2\int_{\real^d}\dpn{AD(h^2v), Dv}{\real^d}d\mu + \end{align*} + Using the product rule again, + \[ + D(h^2v) = 2hv \cdot Dh + h^2Dv + \] + where given that + \[ + \dpn{Ah^2Dv, Dv}{L^2} \le C\norm{v}_{L^2}^2 \norm{\dpn{ADh, Dh}{\real^d}}_{L^\infty} + \] + \begin{align*} + &\int 2hv \cdot \dpn{ADh, Dv}{\real^d} d\mu\\ + &\le \int 2hv \cdot \sqrt{\dpn{ADh, Dh}{\real^d}\dpn{ADv, Dv}{\real^d}} d\mu \\ + &= 2\int v \cdot \sqrt{\dpn{ADh, Dh}{\real^d}\dpn{Ah^2Dv, Dv}{\real^d}} d\mu \\ + &\le 2\norm{v}_{L^2}\norm{\dpn{ADh, Dh}{\real^d}}_{L^\infty}^{1/2}\normn{\dpn{Ah^2Dv, Dv}{\real^d}^{1/2}}_{L^2} \\ + &\le C\norm{v}_{L^2}^2 \norm{\dpn{ADh, Dh}{\real^d}}_{L^\infty}^{3/2} + \end{align*} + Choosing a family $\seq{h_n} \subset \cd(\real^d; [0, 1])$ with $h_n \upto 1$ and $\norm{\dpn{ADh_n, Dh_n}{\real^d}}_{L^\infty} \to 0$ as $n \to \infty$ yields the desired estimate. +\end{proof} + + +