From 63fe29e7814e5f895aecc1b9e78f825e39102ebb Mon Sep 17 00:00:00 2001 From: Felix Martin Date: Thu, 6 Aug 2020 18:49:49 -0400 Subject: [PATCH] Finish project 1 coding. --- README.md | 3 ++ martingale/figure_1.png | Bin 0 -> 47881 bytes martingale/figure_2.png | Bin 0 -> 30061 bytes martingale/figure_3.png | Bin 0 -> 18220 bytes martingale/figure_4.png | Bin 0 -> 19575 bytes martingale/figure_5.png | Bin 0 -> 18253 bytes martingale/martingale.md | 7 +++ martingale/martingale.py | 107 ++++++++++++++++++++++++++++++++------- 8 files changed, 98 insertions(+), 19 deletions(-) create mode 100644 martingale/figure_1.png create mode 100644 martingale/figure_2.png create mode 100644 martingale/figure_3.png create mode 100644 martingale/figure_4.png create mode 100644 martingale/figure_5.png create mode 100644 martingale/martingale.md diff --git a/README.md b/README.md index c8e31d1..96d277a 100644 --- a/README.md +++ b/README.md @@ -23,3 +23,6 @@ might add a makefile to automize this later. unzip -n 20Spring_martingale.zip ``` +[Here](https://pythonprogramming.net/candlestick-ohlc-graph-matplotlib-tutorial/) +is a tutorial for how to plot candlestick data. Will come in handy later. + diff --git a/martingale/figure_1.png b/martingale/figure_1.png new file mode 100644 index 0000000000000000000000000000000000000000..ddf354988fa42f509a9e678f4fd3542e6a7ace89 GIT binary patch literal 47881 zcmeFYWpf-$6E!#^X0n)>nVFfHnPoAP1-8&)i0ssjKJ!2keo8x98C!ZowL5B`F37njq7 z1Ao53Sw@0?!@J1pxdQ;GX8$(eACXc!a3imWl&*({v$cn}nVS{B(agie!P&#X&YaZC z%FW%**@=Uhotd4H)Yikpg`b7x|LJFTcC%qgC5ib70FVOYB*ip+vd=brziA$H4qs34 z**s)e)?LC=qQNOFduysKH)!nCcQkUUZv6UJ%HR zRyd{FeewnEf5)H37=W;UhcCGB!T)Osh=CFX4-$_QmWIgx*CR(G*LR_6y&6+sG&a+2D=61up+hB|C4w{4>KQRH{5+XL^HjT(Lys7pp zI|m2&3jQrGClz+i&NMELp=DRKD>M0i=A0HBla0iI%-$`gR^kX^! z5W@xm0YZR`jEqj=sqyjsp6`%C)wL@Qlr%IX_n8-YpPV}`=`OtMx1Cj|4Gj$mnVC_A zw8N(u{~qU>iX92EdrJj;_vLbdw*b;pQlQhdy3Wqda)$}<@%_qw=;`T6lB4Sz82D=e!7b_R zR--n=uc-!3JK+RQN6%fIojE^#K$Mr4%PJ}gZl;m{yDH1~DG-H-NM2}YX!VO`7dwq1 zfRT}rl7S)GYAlt_@6HxL{tJ#lr)odf{{m=wwp^?GS38x-U`Ptb2ujq*h{(#yYTf^` zGtbwdeIsteN#x{uU_kPJvwvVo(ImI)z7Z+-yJ&Ey|Kr2A?x4>=Zs$!!d3gkAXlO>= zn&9?}w&>km^Qh?P*3+tXmsUeVzvB{sPp5I$ZO*03UMx>yW~MxNIM0U1my(i_?7){} zlLagIe<<;0@Qn#_`{n+W?|xpxzw44Xwex0_L9fMyjA!c`N3UsueRXH*;-WUSa`u0- zB?|s2ek4BIKt^mt93u~Oa5o-@b&bo8IH%HUvq}8_+_igdDUhhAI&lire|kT=xydZi z^UsTyLf>8kAgUn$hgM|5dH?Srnr_!WWQ}Bzp!|Kie}ceGXe-1#Tu+;mOxYp-qvUYT z#8lMWpCS%Lq`G*rU@`S)oU7p`0TL3XYF9`13bK}znr1S~IZ^1-6#6Mr;6mwDN)i}W zcy}r*Y^?8`!u`{2umk-*=D=D^SY9+jIpe)jtrjI1Rv^1n&CH3kuUS zGXa$vB@|&HHI;_(?1oq|R~sPeZrUqO}O zQA;iuixRj;pY!h+yQk!YNY_VTj4)vvWR2P5lAZxQeG~35W;s7Ur=+F^TY*9{&k7et zp=sU~lz7ew-3Kt_WRB0v5elVDJ4Ym{=nSA>VyYOKe5MxgdP`1CMWxk&xlKO+X$~3! zkREwkRgU+&7P55p`G13KzCfHq8N%b1k4869E5|tn7l6!))2@QDKH_Ocb4i^Bu62cq z`R4vyX(eDP?X|;R_LyLC#20Y0QXD_d4-D5-z5mFykRcN5@_#*UNjke4imkbD<$b13 zcU@CkLW>_>X>q0C&WfF#RoA?qp1zK1PP_e(si?uFC+?TaTK#VQXS`9_`slti-}l_) zC=mYIlkziA0a_LAnrjLC7e!1tnjc(91EOX();$C1lA_eRr(OGqkk7t7`ehoP&Zs>Z z3{oTYn9!Ud9y zzCPacE=NCW%)wHIs`F`dCyd!lk+BFQ5om7)JNlx3q~cnHRvobsyM+K!&}+wHsz z^6BFaxXd)n&4|C*ofj7`OwK+yGD*~o;T>j28X|K?uv~%_0^ub^Lm2T3UfCFz4`9+W zwXWn}c1;OLn9)_}jv_M5N$vZL%aVhO4RNf#3Av;E?VHrnS(S;ykjhd1PDs6&9fF~w z*A~F?1$4B|eS?x4*JuVZLS5$}cx2S&{@0Pw?m zCvybI%J&?bZkijTkC32UTMY-y*~%*_d=JBH_^RC*o4PMc#q6P>VFKI*`TC<|SJz1t zG9e8D`>tQXfcLQ{2Y&W9nVYb}4lV5|ImkI5XB`R=g9fbNdWHI@h3uVTzwxgNL-O@w zk8yncEtcZFY(xUY$aR;`BpT17+T19_lYm=!6?MpO%5 zcc%JZG};d#Hv>*wt-o^T3V-60a|=*-RodKS-)8K8gi0-R7Y}iz$Mnc}e5Ge_GU#Bzlo$!u4X3O>2gNh4G4(W8tTI*&Hcpfi5iQgUWTTY+GCJ zxL<_oS29JAw3dADCi4>g?;m|EMm>JhsV%O5+M_tEK#6Ad_k~q|hC%v5;;DAy>+A+D zO0U{ZjFNJwPUI=%70p457`P)+@R)=PU67YU^K#rv!E8O)a5Gj|o!cL9YGvd^dOojR z+tZJ&D_hgFX4IQ<3M|dDy~IE?UC#V>GTukzNYQdeM3@#Yaa<1QYIGvO!oso*=No1z zAE+hJR(7N#Yr7$p17Tms9@qQ2U2|yKO?*pqM?(?!ljhg1xSw-QMk`cF0HgdoFGlvR)zp8*sDb#cq%JdF*5(kmp2- zh|eR=e`LB}nP1*bSxEk_$_nC3)$7)%{I~aOAmwfMSbONaY;Ulvu_MFMEdLig?)YS9 zw)cmF_R*v_6Df9t-&Ekx;oEnNE#c)`Y>TN(CHnx_b`jyo2|Kg50rAC)&@>Fe@kNK0 zL^97maXYB!>u9DYy=4Q)VFyajF|E$XWiw>UjZB1pxGv`^k7O}6eiGt-`MsPO?dVJJ zU5jh^MzA<^BY6mM*`dr7)EfZU-`{`B3aS^6{N(%>XPA`TNY^8zo-}b>)^ZWrUJR7e zeG7UKt;!J&rplYID<$hewZYu0HF$cbDtdnC^Avn_#mYCOP2eE?`7nuqa`sLIHkukH zqTK>T&6}5iyyS3Z))>W?-`8*BE4(qJWP|WM@$~|{Io`gMUS!euA(f7o0Mm~FwFV@D zo+ew|&vtuY4T#F^=etmq%Xwjg6E(7wO+f{>vJj@yeFjqRm3`Jp>U(}tT zI2UI>`^w?zN^H3X&FaWk@v|CZUCyfx*2fi8e7!of1ULMp3~9dh?BGCCOKYcBEEo;Y zW?s{)uUtdXm%LnEvqq9%U;jl)?Z4?x%Db`r{mKGB!!Z3-w~o|lVJEM=IxgXuS$#<% zDA&fuCg`|Zhio8-8_ee-gW5M>-}fo`RDY?S@i~a zcI>fhmoc50pf7NwI<#MH*Jd>%Z{Hd#vu$?N6;i8_d*Ygo__!9Zgjp}e}&~_CpaADd{ z-aSGsgyK83w1>xGH$n4Tox=-38={m|MFch7WsvPs2Qy>C?5q^Pe%2=gM~*(BRZ&@^QUl4_E;{!H`@)dl394sOef;4)YIcu zVks>bl_P!f-}WU-wR=OEQ*;P=dNM2|6ro23|8Tntv(Ztk>vbN+TIfl*bmNiOIVD4) zSf#QYkUvB6n-1+aZ-0MLTD+CC9L%TxiYHnvW<# zn!0zBH=_|DehreWoXmaX#7yz;awXd7-Lf{_i3cukJ>dSzVkzd}f(~Zz$(HMi@Nqd7 zdRoo0b3WV8SX;U|oH91sHz77ReHLCdQk#{3NXTJ@lJYDhkQ-kW%CkGTl|??x|H}WY zHRc++md@9R(!3NtktS-IQc+q)DdCA7F{)F%m0A~DD?@Jt?;HmI2hB8s^_$g{YUlZ!r={*=Z?v$s*fHQ$A+ z>r~bw(<6LG!{Mw0hCf>LJ;A^5LNf9}7`E^5B-F4+ig0e)&-cOK-EHXuEA)=*TW8gX zBH^($n_J6CN>1-?VK1UckG}<>;^JV#pXCCg$*8PvBlGiA;8OHDPFjk zeFWZ3s-wt%#qC>WLjepK-7Z8*-{C^og&3cElcncFHHg8|1+p4iOHKrpOA~@*LRBZZzYm=4mRT zb8!shj}CvdC|{bin^8%(VkFJQl(7F^5ah7icFqE*;Z0D`MJ{UAy%HF|(s=8)f4=I5 z$%he!*dD&@mOC-$nNg0FM6O8(PRqgBe*=_%H68eRC9_4!br1w6IUy9Pr9e$_QmXN& zmhK}dGe^-PaFU^mVQF0+>#pv|i@)lB5n^6n@CQLcg}uMfDEd0wQHV<)5dgd3g}t^k z6Uy4R+rTfZ*p$pKj9B(RL{Q%+X* z0wxr<)aIK_yxsw9mArqs-op`wB!1qTw18t|a&VIKIxN(}^~3v_c=Fp7q%gfR3^-Lq zN@yYeiFv5PWGUK~C1T8-`i7}9HKmlD8N$~8_Vq@e4Jl+0*>OIsXn(n~gX?$tGwM6a zWu->T$2QM%+<`Ku5ly2tZP6U@kUML125L1a-$|*Fob{JII7jx1AZ?-1dJ+GSCleUf z%049Hg$puWb0>YT3`9wp$_V;k4Wdi-_W8=f75;}hc5G_g<^o!TwR-PF8!cIVwZU;o zL`WhvOeFFwdop6P*t(pp?pq!0Tz|H}c-TSn$zr;U?AUVpfd*x9dCUm&y-|kh;+mQS zUVfI&TDZI^8UMD{dByNUPS7!MV8R`*JS%5%Evxx)z4-!QtMxa510lGql7fNi7kr6D zt!0}_tf1yEOz}tyGI#LOIn0O|>wcWKSW{bv9IOFTa(hnq?rV7<%umkt;j)4|`{k@h z6{)|66-m6{>xcgwf-z$JnVtO8&ZPWe6YR3O79=)}I}Q`&K^gxy1|BpOw#c<2w1^K9 zrP8COVKq$XH4?X#pku1+)?K399IiC)LJm9BDu|v1J5$sQf2cey?u>WezYRV~W%x6B z9Q|6H1sGcGkfv}loYD^&X&Q+uqmw0LvJ5J)q+IO@z53`B>-Y!=w5q%E}agsvV|Y?Abhl)3}oUHs2ua`i-?e=`9n?T8T&5l2QwcCLp>N^5I>4MyYa zkrTnqi1^}^7oAe@E@A;{ui0yjfvmGwC`{$hbrBgLIe{fZS29YX6H9Dx{zsf1%)h1< zj!@lK11?=>C`f9zTPGYU9r{ljZeA6nZ}*#r-M`AgOqmE}ELDrNGQ9PkECS|4Hb>I6 z>|6aNI6AP2f0`eCoAXH>OI}iq&D@J-?cD2dA}gZ2JUK0`zI4S9gQnDC ztsrY1>js9_8rH)zzYSDoEYUL(rs{*R9~UCIG9dwXJ@qfe1sD&H>vsOTm+ZfFP$(l} zZqwPCyHQV~qrSP^JB-ED(fF5G>w5$XLBB7B`}nhcgx${}-I}6AMD9x~9h>yF^pKKq zi0#!yn~dSC?7t!-R>&%kZ{smhjYx!P;f2S=DA!566G+^F70T@xyRkPs>8~e-#v84X zfBg~y%DC%J8N}39v;?sLDy4Z1;RuQIvDy2936vG4)$x56I9Xi=Jdgbd%|h_pY*Qf*;tjg4x%J>;ltDm4vHgVQx*dwA?a!s6jG1V z=x6%}X(mIgZHw2ZtZCm}*HD;Lk}@+#w|hf?a5Ce7bfQ&wBmWmK*q*y8dMk~ZGLR4Y z#<$6GeKED|Q7V@OH`PX#HvzC?IsGH9;P_d^WOMW}Z&TJvfrjMLd1rmAdbb35L9l!B zte7Y>CsIo5X|PoygP-*;$OiKJhQqoCA4}CUHcj=)sQdjPVF%vOT6QT*AAY=>*Gl`F z$HrdFx@rgpTYAbhz0G`A1QYQ=H%&^y^)L_aTMw0G%-!5eZzo^?DQt~;V<>-LjB>%c z?p23{t%Dq1LhV00ZV7G2HXK0dOz2nIeaETcNFvhu8AFQ8V49@3aWz~o_h?R7v4->z zQHcbZT;FV)pzZ`$jzfs)%p=nB0kPOU{6pz}>G9RxuU=@5tCC-=Q&?zdV9nX?gvR(N z_#q}#%PK32+g2-Aq4_8H0*PM>p5p-)!*S=&TgHuFc*tz&cu0;Ag6%T#@Iz`zzyI-# z6*B5MF&pb3MDGYg+l@}-3l_gqJ7v&+%H#1)IB8;IrT7k7(kUoI(8*ID$PEXKHIeN9 z#t{Mbfam6DqlPLLbk^Wodo9K4NRGj#b=lOA2StuIUyijD8J+Q9*nLa(sE1O!qg!(3(W~ z_k7y(l$?fUP1V}+R9$O!vG&#~6Qy0CGEpFPsUm+^H{%;(yVp56+l-6^Day!*rHze+ zB>4b=_bv(yU7cl}Ooc^%IPyLSG>3kI5RBqo{c5DC8M<^@0=g%6UU@&uuN>1=uz$ zsXN%0B%}(N5$MzG-0NwTmbx|gi5IxKwt4Cs??O8+01kh2oF`A`3h5D@JL2k^Hz|m@ zCCqpoNi!Wu_Y5BH+kWTIN?UYun!n4_jdUdJjL@i^@r2AxrcVy9p+HyzJboX}q<$4H z#iQTR4fPoXm`5omUKBE#(HvKK+}zyq-i~tsX%%GiH|(_u+}+$*3)Ol^H#;&C)A=lo zw6&#aG0D-mvn1E6Hi4>ITFU$*>(W(}gXakchh2C*E(EPPQM;BBMW2YhkICYScr3B_3S8O zKADKq;&rUFu5nr{HbSQ7e7GB1y?u;i8Xuaz9!LWJq=s3eP0#85XPskZ3br}-r{gwY z+7nZPY=Sjpn#P_4B&x^p_r8&_RV#3e^%@IGdm+pd__CRT^IijnX~ z#Hw3SOutV-(=H<;no$jL8!+jYt~j7yStiU`YOiNQ{ggE1-y2JjW>=Pdrhsb?C-X_6shm&{VR`Ygd(AH<1wYwf@q>i1iO?XlyBlOhNF~im=X;>DTuaxWKeOJm1b+nZ=)=dYu z)sWf`Yz!*}Cs3^5%F&1AlWDa-8jhLW9=NmY4>lek%bhyokGR7+r1*13EelD!Rb6J_ z*t4-HFVFUm&%0>?CXqEA0w9ZO@q=Qc2i{N^p~uQL&P5dzsS^@@{8$Mftn+XgVG^+% zHrebU_EKdv7gSPll6jQ5T6-^sUG<09PDo`Woy6=6UHCf&S8A1n&l<0B-jry{7EwW!;Jm0LKD^yJzytIvcQMrlg2`Uglmpap6@XrwVbKs3Z*5{) z8=R6(ml#uiEMVR)qWmTeXjqP`0*s>l%khx@GnQzG$UuPerL|%=C4HuV?_EHByT{H6 z0szL+XZcvGwhRF^n=N!XdP>7UTl!>StKV1?swc;P)Gks_cixowCi~bqe__umi~olS z0VEK&->+)p3OD!hJZ5rLfvar!rtaGC%81?D>2O*`f~ z-r+o&bmo^dkzX$M82jF)Di!3bf+@6krntH(Ri@?k4tj6s5==$oD&-}C9-<0$MNn9? zZ->6+ZE*q^!%n(%lg#D=joteb-r6-bm&WVYyhNEp@}+t!XAa6%Tf!WsRyH<8<@6Un z^(1k!Qo4mE8={ zr748qRWo4CE!flkS1^163q1yw63lS_)or}Jx!sNjATD(4Vq;Sr1-rY-L0lQF@R~Gs zcS~Bzx#~SlC(=K94hY7cp6glE^}DiCc~Vt{g3waQJUMxZkDvA8cR;1NCbP;I-Ryx< zl5A<58F|`@GYa_9{tQY=hiIi1$*mo7H}NF-&j-KeZJki4+vs{^R)+X7nEJ^mM2pbL z60M1866fN9UrKinH=~E=klIknqaaywQU0FdYY9i4Q4OX@e!c~UdNmgEa;hJqQhZ!x zSvK<&;lpI~qF|c32*T>*rWKzN9vZp9YiVh9XyBQu2oCi^-KHz|Bd43O(hNIny2Os= zzn?=&7MeZq(vNr@5_@)oas#;Y3_aNBgh`|Y18w1!zru(zU?*y!{%vdZh(;8MdUqE# z7BT{|UfD_XbTR~YE&{;;(%yckBSh=_!=yQpnt~<;&f% z!&=k1dmQaRPTFEAxx1EG@C)z-yAwL_;V^#kNpCQ5&E{_@Gq3V>E7 zF5~W()HgsxhBpojJXiY0OP{uhy#WJ*czg&L*;wMQFD`i8nrk4&`E?^8QlkXtay{1iFD%i1*2v>S zL+O86?Y-kr|{>L}mdM@mP1J+R_8Ye5aev@YiF3F7~%y9IK6aZt>1lxVDb1|)H~$BC$z zjoU(Lg6e}mhz_3C;nyEGNM`)XVd$S25`p!#6m;v-L+|I5BIdnW9*8@sOIO4l(f$Zp zoKj@Rea_|pe~!dIvQyRuAOLseO5d){hrE;_g{G=FC09t@9d4sOL1sZA-l2?AZfajV z_FLq~`|I3{85yBhAuWtMj^X%~8ig7Xvex-Yq?RZf=2rm%J6qeH)VyG-K`~wj=8VE} z`aMEsw;%W`FRYxJ4!)fN&hG2hvdC-Wk1XSpeNN3_6aXtugsSU{`7`*<`B8Ho(3+Jy z?*I5#>oVGw9e(TAmFO=($e##5tS#_8FFuLL6gCVe8vNh`PVYcR<0)S+1zAJa_1Xx1>V<8+Uo>dl{(%Vaxf!7u0V`-SY;t!_Dyl!c^UBfk z?Cm`Tni*Hc^q`e8 zB~rsgxWRX5jfCMC|5p?*EKi#7W5YOPaHFp#$!)puH?h>YKE;$O?erXPK3ARV-cT;r zGr7^un05V5MzYdc#bIV}6!vi9rvGECqQPak-q#;Vt+${rC=qgsif8xPg|v!ec@G)g zkP6cL*T1RFV`Dq%g8|^x$xfh46rhP&kFcyig9Sh}fUT*3z>R^nLu|f(iv&|_wBb2; zBj9?y4Juf#go%yK?z|~DIyUk1`t|X$w5uyOgTv;bW6`OZ!*P{UyW03&E2j!g20qkc zz130x^lrzM)yR7xNzmPzpA72a`MJf#d3$=p-({dT(WXmi&lqJsz=j!CR+}<@p)1}( z7W(lBN1^Q?#)0%T3Q670nmZcsq?)5J(gACy%(*l&=1N%UNZk%_lOoh>TrZqq2oTkZIkvLHmd$m|Xr23wm}4@lFH&vK zNBGrKQxl@XzSfg|JWnKVeVq>Q^k!v=e3h8E2eUwU!-*7|*utmce0w+{*)Fc*4L$AD zyoaCiefHkZUK}=R)jzsH(f@Kf*>vu|@$usP{B6WfX2xS{)@W`{LM(tIpObnln4Q0O z0N^@7K(A^@+uFUlwkzEUd27e~CeXpZFd1xC17J32TW1`EORe8>MOzv5AYr$Dc6%EotgUAoy+$c~gjEpZ3V&gQNs zE`1iWGaQ7WnmMThoo5${7E0}W&MZ~wLBmFaBqMu(SM$N_%1)WJ12#^n!LHRG$bXbH za4+B>u_v7kM-lOKYS#X<1l5Q=$uj`17Bz3L;}#r<`9ld+;3uT9fLY(`|E4T$1rlxS zKuJjb9AqFdn#Mkx;{&Z2O(8WMCo%%gX6?uPIobB1$Xi>&q7ci+Z62)Xc%ow&U{P zzUw~}@_Uh9M8^`1e?S#q0o7Pr0?_OoB-JMNXt~{WwH3Tf`^BTEex;_zL-k)jV~HMZ zz<*mtV-?Nhh!y1&Rq8q8U&KUKdIwDz!I8yz^l1a8_)i(Tu4A25_4P-OOY@tvEGIENFJM}Twh0FS>oCeQo|zKCZt#^VYB4vqCVI>(z+`^sQXA5S}_yx znJ`wTp*KH0#IP`t423Bh?m&U=ER7xgmjI4|jkPB{ED|5GzelYzE#R_S+Q$7$+=Ewg zq8!w&7)~DQ83b ze}$NNpaQcJ%VVTYtuK$etTbbxM<81x*Eb(T~l!599RU zhZ~Z}b`Xem^^G?JwEk49tIm~a;1g%HWQM(c?Dm?y9u?3vSL5dj8}+EC@T@5zVQ^f7 zXJEsyK%jWDXrUDho2eD2woWmJhgp8!kq6AOvuET8rp)RB>wiz0-&NM*aa54#g>9;I z;z(#j6f*EL%yC0Zx0V5=)M{78Yrddl38YMKJbz7>$i*`n%m1bgjfOHIBBVQ<4`YWwx2^{%I)$_d|8%}p?H7eDE$Lv{=tbKpvmrB1nz7%pPQb}7RK5&3 zr^pBIM7&@W`p<1bj_`efi)|cWiq7i0Br>E7?Z6vPo{jc7dmzsRzi>Jy9>rkgS0x3L zQN=0sK#TQ0YAeB?W+XQ6eqU6SW}l6Z+@jj`|YrWUqmf@f>|2Q*^K!>T^@^2Q77q0@8dqvO`->P2-M|#Xm$(O_!R#ls{&n922U~Dh;60=r-fN!LrfZc;~OpN?e3u^-~UlW zAIuyL&e#p4oreAe2tTg7=e>3m(yj--p8wlEbH8BFK=rdO8-t2yCqm|a-wR@I)*V>u7RZoGlqjmCWD(28EfEA3 z{J2*iZhkiYK%)3nxLA7zPle&$Fq><^ZE9=Af;S04jWurJO_~)OVPrD2DpC)cPZCor zb9B#)$MSQP*@e5P?;RmT)gOtKEJ;F&7Hud4qsYz)aHkA3Cw-BhK-~tBxCNNO2B0fuf_Y zgpqrTMA>#R{RPW-MUNDih_xH)69TK&%qS{k1-?*S>sn89OOR+$>HV?L`ocEUyn5@N zal}egbTb?7lhQhc@(i+~_p5M~Ra8w=Q!&0{jtAX1`M<6=vkbXER4MViniubR?c=au~LrYD&753 zq@T$IJeXMn&T=7bkBs^YB6I*o*0hxs6{p7?BB|79yz}s9GjRnRkM6WlKTg~VygdjJ zf+Hp*G{1D)0?smd>;@*#;AD`2-pgn7eu4*P57!ei_Ga)LIgB2l(TJ ziYuO89<*MnZ13c#xZ545&-=tQ2YGOJ^Pdhk*jn@0dp{8@Ju`!9LS_GCjuk$-W*q2c zcHw|2bKmPl_i-yP0T{pzNG-auUUgM=b53Ah^{n9B69@>X2 zGUk3SS^&LKPBR{K#NhycM8@qEIqW#}bgXO#sFg(>2=(VC9fVoN=K%NgA9(!*vTCtK zhzAIh6eQq9#h1WCk@jyA0Y2~J1r{8&4}}{cd~^Yt@m47L=cd}c>I^0R_K`TUweb)rC_7!e(VTgSfS|cv8U8l3$&jknE zD%MByg#7&cPqyzc`rm}ZV{?NGSc>fX(J&I-Y7TsA4r$Q--f#@ylrqXu%vtven*um_ z%zj4vca+w1b?htjIGky(T}jSm-B?ZoC=WhZ?$h#yc8Tvy#2Z!h2!c|W&;DGj2Mc8R zgN-D55csQHAj``OPx+actabT0q28V^Gpsm74h@GX0A9!e3qEE5uAz25r7;0kb56#q1`!C_$Kf~C9krC z*ThlS{gErGDAYUlw*4+X(?}_JGwKhgSe*P8lubCUtox<`jFXnlLwD1n`pKkC4@NOf zt2Mk6HKxd%Nr{y%JIE1-gl!v6;YfIWO^$1DzU*=}nCJ@=oi#}uJom3f z4utzVZ{wC{7i3r0`iv+9IGgNUOPzI|&^L1?4A`lt)wU-`i7-agx&BA5*GLkZH2NR$na_~OY8d&K3HwnNx@ zc#@L{Lse3(qIO>3G88Tgf@eElq;E$NM1CdsWgOl~OE}#-ydm_lFu~3TK!~${be73W zD2ZVGPg_Nsmu-&^_R^GBnvcZ08Q4Edbx)2TDn1^E2Msio?5y*>8`XlNx_cHLQhR&{ zZh%C7{r}vSeLCMf%h$+5M<<6c6v+bS7>z&j-Wi?S(o;M^7_qA}ob`PNh?Lh+O{tF9 z?uhl|LP`6P((fPMxQWMB)$}?wb5feUj9erMEl#1>=ghgM`d^;J z6?!~QGazvt1~Scv6&&63X|a1qG3;KFsnLkuJbl0>IsXuPfa(dFhDvm3tZ{fVt-5>! z7vTvjC@ybzute{pwE@60naVt$0m2?9b#O|V&>6fB=<7p$ylpROZ#7k97RlwpE!El! zO1mV(nDaFY;G$xJeVS_vTTV>0yJ&v=ToJfr<(s76_@wvB&9+GnNpToS3~?CaX6L1e z>D^bjGrFn^)=P~xGwW?PP9pJwKXg;lon@}shYkVXH{)1plBGgZvD%_7C!fbfRr%|% z&W4dtt-;q=nb}AGTwl(U-2V~jBc>rT|j_W4(v?y0^d4cihvubbA%Ld&k7j5X+mw(9283xGz>W07r619<_ zZN!1gi_|YL{(gRN5jrjnAe>;_4x~brzsJtnI6~Hyvc%Cd#MEnPXr2B}L8c?-5kDZ8 z2`(oPsRc3zk$4j1J(H9l{h&-Qx@lmg<1xyZuuGmXt~gOlsWRjNe*OUP3mtG_q_Q8R zgCY6uvOwBjvh=Z-!HF7)l~%XkNkqn)B>LA|e#ch7+wn9(Zf!NB^={_5zV~h2^m>In zi^yJiybo5cHD<_~Cx05Yq<-#N7zRG62u=q=rWUdfYd@8iUt-{P<|(O&4D^S%R{g1K zIiG%fc6%@VS%wI+vgOKO zoLz0y>Sa#qWktDs!L1NskVP_)<4oAWCE=prc>Mrb@DyN)O5fx%o<7Z zGEQ}XyfPl~dSLR@+lSPuJw$`{>+|^{1>oC3d^@nEgsoqCFYnj@ch};L;;%dE?ILPW zMD)eG&__#DttDB|*X92r)hDL-jgfmYt~=lO?*SuPpIO6szHoDAAaifW)r_C@&(9_r z;$97188)wGWV?(qBqwx238;drqdr zo}vW#M{#3-A7Re`;FoItk#30-L>Z+9*ocm#i>fEf3OyI}yxoT~TAB_rlno`2|HsXe zh=*ODhE0U0PM;$ZU2|>=%@0J@@f}7G;UkFZ9dIhzoQm^!OfsVZtos3k)A4WRG?8_GuOSw0BRT}zf;_;C(rOWHhA^ zPjnFT!r{aH%J|WGD|@yUjTHn$qZ0ef)}POhBZB>_clSv3mo|#S6&^Rgu`val5u4lC zn7UsQaWQni%IAekB*Gk7a3d6zQnQ8QbaA-@zs;7c-$N{SFg9B@uSVz%6}y`njHLxP zUSo!nr|^?3L7rV15a&u35dBrw;e60G=Ly6XC-?7sxD&BLyk9M;5US+AH1X*GR5Vmm z#Du#STj%*?yB2B^kt9yS!R0*yEc&7jcj(;nL3rJ{htS%!&gX7%wB%1$UpA3M`%Og} zYjNB84{t6HBhp_tRi^V+#q?X@@^bb&x89M=>T`9tK8VDOl8GfCoo!gW_ov7NIMen= z{jiOV$2zw@nBx+mVGn;pc$BpNr@i2InAzB|yRcMqo?)Vzij|@|*_b4)9l`m48=J1}Xj!hip zPr)?`Ddr2Hy{%1kVeb=E_2Sv^m1NN+N>N8~U0WKJG?M+QcP8YnEMy)76D7YLl{e>v zE;-mW-X5m+N2GrG)E`=ewhQ4rJ8{w!OGEf&T5RjaY9sN9*l77INVq*B(fDaZd}y#T zrU&C^@hlkZ_{wmVte5h|JA1j%z(vNbo(Y3o3w!FmjYHU$@>Ag}qk$iqB<}W;7M`|DVnXA#*1?dq zILAvBWq4;jI{t7Ji{rg5dC1iUqrYiLde!Qn97L)WtGA!4KFJbJb~BdogtVej=n$q@pd{isWBwS!*$ZDSk_3VTjjS%%f&K=d#udDSic!M$tn__u*3s z%E3W}Lc&e2ttn6^^|Jo2_tZhL!l@&)Ib#PvCmoEu# zdGve1<-<=7w6kpgQX=B{VAz#R}4rV z_uIXG_qcc_zmCa^7jgmSK=vWGx+)Pwz}Gd{$Y&G&Z+#U@@{Cn3 zQE>hq5+hTp@__LKg~i(HoQ(ZF`bZ-wv^;>2kK7NLWRe^GV)mU61~ z8&ghDTV6gs*_YA%K?Q0uNlghEB3P5qOf{XFSd`gXt}J6!Ht3o$pUWkNXyYH`xu zpU~iJlczA8+ue~Gn5t8EnDFgu=UTlQ0d?cH3(%nW%!!~KiFHxrwc&Ovv2H^}*FSUD z@qEyQl0=4{0C3}xki1IpEe;(JE-_;`vxr*?)xrJ@zho(m_dn?q^+vk7aPvO?aSGnvyEgU1Vf4f;o8!ObtQ$lFQQ6?EFW|BCGOnSBl&X*H*r zrXQAl>EVu+7x--Lgl5TK_98%$$voIHsWTHN5WS7_HBKGug?whteSIH)fov@L)W2}TKOvI#A5&Ym79e$hUIqOACdjAD+DFFp;PyW=R+~;wZ0$< z8(21GAR+;DRZ2Nv+yT4hzfDaU*8mx%#{7*3o&DjNE$$j9tp|F$J6b1X^28i&nu8I) zX;D|42yaQ{SVTnbA|l!zhFi-DbJz6IK-q*!`>J$&CHi0Jv_o&$+3)X@d}Za3c*+O1 zffL*$QLo)l$7zy_E^dLK*Dcp8RzF_uFuDM=+pFZ;o=)%9w|_WEgJ0$yXronNbvEx~ z2SnV+Mf}o4yK2i^OQsl{eUW3op;`6B6c7yLzQm^uYOX)`F#R>FqOP}L@a2{5dP2)? zg7?88{k7QaXp>7_hD45zuUY^#pB9XCaW?-pupfngx9XuRQZ{7doVP@@$SF9Ip1x znS^Ex%oNZR=W<5I9X!8XCcgFlMVn{|tsn^h*ooE;(bJ|=&tdHr5c-hQ>E?l-%^Mt- z_73D+DQRhGSAY>KET1$wRLy||@^j^ehQjb=?dos2rH>!y0eToq};+H*Dj>_lm8nQd6MW%HRu zgz{OxPQXB+R=NW?(V_smqrkq?ArEK#PZo<(hUM+W6d)`jYW6TH5$r-?r05M%>XR8(Sa!;}w39%mn+-fC3TQI2-w%nA`L*Z;+qu%CK@|09V`IU+sa%Ws||QJjO=5!krQ zKJ~pBK6E*)r~4(0Mxt}Qp`WQSsYSYL?q6}<+;5}3fdr`Een^d%ulFnWe?Vj7|D1HD z<+$9WIUbK%6xd&UOYm)yWo>u!17>L+aa06kcz)hGQswbuYWq6OoO-WrhQct+_mnY2 z<)y3-`7Rb-pLoT)4Yq&YybnLon`d8}6X{*IGI>KHqWEY^S8wBIBU=DXt+`*8ff1&} zyzw^8`vMw>$urDu4N%;Nf{zL%zbB0*C9Mn)mCR_*`qKoRaotOx8m@fH#R(bBg{%HN zQ{RFl;%EOarA2(PR=X*vjWn-j4miBhZhM&>MnD_xI=W#Bz~=SHd9=y1s$JH#Mgo9+ zv~@fwqO`8)SD*Y&zZrWpeL_e6$b9f?SQ?P>>?l*63-p}h?M>nZS*Z@cmbH-OGihH*wJ#9(gtYdG6yta3 zTQ7=aINCvW(?0$D7s&uzk2gs^ZJQ9lAm9MGT5a$dR<0ba1FU6y@?o`bCC=-qOxi)l zQ={px0uk$f|AxqEgEue=NMx~kr|8ZU2i1KjI$qvmd_w=bu~mUZT-j1`tjn0-$n}7j z@9(}YRhL@c7qwBmkuE>2_9TL+H*q?DV<;r$=l<4XG=oyXYLfRZzm8ZXsGY=xrd5R5 zgLMik(~f`GaJ#>>cA}ak1Lv3UPpBV_iGE9i8HCD)H7(dBjdP2kU#(yf&?CRB(TdQkYukW@)_ zgqMmE3Wh&E;u;Lyhh*)0v}-nB@W+#gpf7C9g99vO8dVYE(OvWw8-=n|>$wem8}E4` z*i63*H)2dr%UYdX%zEnA{B14b)>`&$0I82H$=@UR2OC{}j~8r-e-ljEZ72v1Y~qO4 zOE;w0jjD3neCt`0*hj^?NYqQTlGM7?e}3ykpA*f(N~S^x_8@vOd>vQnh{bv(Aw?^vT%VoTh$Ks=in}$#oF1 zBoZBx$_1f*bI?Myj;WWhX(;gAO{VKfD%ugpQ-@Q^)QHZkd&;k78(Q<71&H!}N4u_;F)Dux z$)4lQTDByN%x77(ACVc<{*4#Xt7~u@LWrtBM=+cw0&8`gqx1rB z)_vx{R8<_tg#JITRoLxLvn&05uqWMe)!V^&RPM4w>*h%~2yM zqS*wed3eV_m1h+Ja)-7)>TDi_10th+h(#X%AgprcT_ptQ*5%(g?G|#0%bAgPe$A?O z_;NLryI$+AK>bVpVy+|!4$iqECRG#NGr%RNKsVg$%F0p4XrD8Grh zLQ@4DP1t=&OBgoGqE)@5mH1O)%}96eA-*43Ju0EqH9xQ1j(S;XruM%D>EnRP!Tm41 zOP>D7g2ba7eq5@7J;+hAsQw#)dwtPQ$Lc#ryWB~>n_-!Fhj=}!AvzfnM@E#csdN~0 zL%6G9&JG}W!5lvT9-!?*i*VMa-4gSwm5MG!p7dVsI_cW?Iel+NsM`*V%a?>t%TvRG zx(L36HI44}{2=*`n6AK#oGa>pFp`~|R5H?qFY5GR(#?gm?YKb?o;W|YzuoO&CNkVm zkPcp<7Wg(q~NWZ(6qcTiWiZktd|1?`&!@ElcBg+};OYwi3T2 zxAUq-Jjw&wx%r&d!xYByTS2BYMQgnknOqV z%#jfkUtBAT5(<*Mv@{v}9V{PtyDAuNcJqjvk~*sN-sj7fJ~02(glI6w6NljjX7oDK zzF$F;XpoHwI2Wwr)O&elVN7o+%RW%$L98GweIRAbbICK9{t}w~2tU&4}LY+-vcxU>cRPNP}L)4oLy0!wJ7OLoG5FjO%J0L?9+s7T zgL42nZq~^?4daM|Ge)9!UAWg*{C4&FMnaS`09Zu7wN~!mCunuCEon;qOXb+paMS{9M}Cjpk92o;hjvc!U`8Oq@Xj6K`fVfb_PSl+gXYHqi&gwlLi;edxXKX4r^zU|EiJ z#K(>o1`Y8?k#ay37%>G4VcfpJzdQgNrJs8FI;?5qfYz+-DVvzg4ZPjwi0tNQJ7wCh zmy=|6ZJ~XiL*_DRG`na*s&!lQWN`R(pM-JWZuLw-K-F9#<#eRg`>)UwAJ^g31XWg^&(c%EdjE}?-{cUtZEi?5`1 zX}kE#Rz1tt2RtyG)4?!xVJHYI<3YX5#v~1>fosvGos2bG#^e^p)ZlV{7pm zh0>MklE^kC5!jUQ!+N(70cn{%z|Q6sxn6x_A8K`6>+kNb#HWi1^APTr0j<)=8W{I~ z1Vs_tbZ~9VDx<ZYB~grD;06(`r!{9yD=+1dO!>v$c0_Pvd*^vDGKTy}iCBcg^CleCB# zhTU3wPpmii?YDtf3%uX9gbiE)u@1FhUKv3&< z?#}yRA}t{Ly_#EADLP&^(_3bYbr24@aV2%j(!~cMab1%y_pE60B1H(5@UuoZAJI0GozBbGKlg?M^%@7R#bEc>6ldb`(nVi4WN_7w92QolX> z_SIj$Z6jdkGX#@HdZ@Gm*fHX95{xX7;r>y@fr<}i-=r%Ma-#{89)E6j>%G2Au`Ewl zP9WF2l(0nLHr(k{Z3Zbe`cOVS*88jO{R*PE;*5W`C*+`9wFAphRlN8C?WZ4MKT@9* z9};ap!5NOWE~8Q@3o+sBgB+npe~Nj|lvXNb{i22rRn20hLtypwK7$98pN+!i?c4K8 z@#q9{nFxt%*%kGeKyeHAT_Y)CmEmLHQOFc;r2MaO{Y3c>o}H#hAu}kxAwN3qKOAdm zhihTP3#T$q9MSqUMU^?;Jr=spTol0E%l77kyYjNva{5PcoVkU9vcBnZ%UAQ0uvdNb zw~=01h;Egey_B(9`Rqv$50*Y-2AhdheO-`)jlv$kJmeRjlDZK-8?mcGW7H+VrzL&2 z7&?wwi9i4K0u^HR(Nv>LH^M$sDqc1vId6HnB~Sggsx^V>{r9=-`SVFn49ln?;nL&p zCu*p07@g~?I&$mZPrvy{r?XSZ0N_ANWPV%Kh3S!mTr@L2?DFt=arjtQPz6GPi~WTB zThSXQl|NSwyZ*QVzc0#K@~l|5AV*=H4s@r*4!D}{Re(}?z-UqgfYWY|1`Hn@DJ3%j zXcb?FYz0k{MRu-rgo!1PMs8Rp$H|_D_=~VSe>(}-!~O?jx;`&1&X_MSru<{S@U>kw zO`WPS6ZMqIN?rLDuN-K11w+Q!wt)h>nbo$6wtWU&DfB_6T`H z?$EUGZxmw9$7k8|%w;Xk68(Hjh`z#s8FYXqFj8h*+gnaIq=y77$} za&75pCONwV9XSY*$-|!wFnrE&TXG^3TI4#qq!fox;MY|1c2bv?VKxL~S~3_l^H|K` z%PEwjbrCLmu(Q(hPTi zvDy2;BoQoo)EG`)V({$SWfB!s+~ThXP$94IsOZL{mr2_O_-QWW4b-YWwZF9xhS1~xP3!q!C{0X zFg+9kv?T4hzPciix>XIfzZlIfG-UZf(nCLC>e>`}>c2;KbSMcbC4SIbSB|p&tPb}q z{uoKbci_?f<+Nd)y=?nwxuL|g?B^tQ7U3%xU!l_?7VU6jgy$c=qw9i@^{zvo zExPK%MxpYF1abAZ?dW}Os&{aaOLnCr(}|*3bXiT=|Iyba5#5E0(- z*I=1KD=xuq<1qW``keNDYiIqD1hUXl<gd4w~BwL zT%~w3OSSo|M6?tpgt-TqK5CQieemq4DwReLdZ^{b^k08;e*W|m8}sg4d!abyl2 z`ID=&K1GY;(g7ORgR<^0MW(nRhHsFJko@QAVlMMtfBGyIRa7o0FNR&t#xE`Uy50(e z?jQ23Nc$CBzZ5mUQ3uE*`SezB{|<~_HZvdFpSV0y^DL(A)1#nqQ|*(_$HiHDkIdzt zqqXzQr!%Z~#FIrsX$Z)cg*H@u{n`I>yzhgg568L?xq_joS^YgFy=m#cxTE-2?{chm zJDsih$QY4izOp>mt-;HBG=@c$6<9)Wc6AS`2>C_srHg_Sd>e5Qpm==e{E}Te^xmQV zcfQv?Gd0G{6s&Y)9pSxoaEs=jJ`=}45IY*0!K6;RTAl%!Xt3#|MUP?Gqe7`$-RIA5 zJoYFk*rS3>=NlsEEe;hlyHvj71+88HJAxW0U02A&=26|L^f-%(3xU-y$PmdXz)75p zw7h|b-$n_U_}$VMx7~cEylx``c^|cWG=#=Gz@WHz))bhPiySfTf_?(Zr(#IT$lrpd_I z(&xXqSvYhxj<`Rs5pHliA+-*meIY0Qv!hC~oApJsD!^}|hA z_<4;~)3Qp7&4TQ>n=)<3q}buvdYiI&Cu3R3kYr8DPUJ}bm+FsR>hX2@aL&+DtC!(8 z%_50VvqtCrl1`jBufYVCLb}O9VZ|H{GGtokP8%f|y11tKZ?U~u{!hrXau}{PSHG(c zv`b$efATva?Zzlu;NT7f#;=v&BPH_`%cpQZI#3TvhcTw)40SsQm1CX5kgB}{1)0Q2 zWAPUUzZT}OZ_&>WEG!(F|GL_e{q{liAeeBmV{$zgfp08zsN%^symCywZ~Xfq@arhj z((Rz))45H?l5^2pg`>UVu9N2B&E$|B9C+~;5~|T9`xM-X$y8gV-1k2eoE}VUZha(( z4r*r|=JdzMDQCsiN+d0-ndCl+jC4P1;hd3iW8|Yqudb#j))u0W8c5%h$QoQ|j>j2k zi}z8C+NQw0aNHyG4^}YrO1+Vj0icWe1_tfX7M8BB8Q#v+QaU&0J2vkoTBHGH{FXW4MMYFo4G6&dGqjh#Ol^d$ZR;$Lr%KdHe0B(%d|$@6?3kbV~L4 zQVrOmQ%|JMY9jIN-SV`Vz!|)e`+{z7HT`@=_=L8@$T``Iez9BuR8dGBGZ=Ax?VO&K zGd%bpb94H7@Q#(?PG{xJj zcv9%F`upYXlblk{_4c*nZ1(Nvr0Ep6-nJp7rNunfx(BW(6)l5A_Ph>EI|kKWQY3cv zZ&BZRa#3T40l2y-wqBg@2o8#f7A3UKgOTl+-xQ<6^D znUbM{scup`51cTIEiV^i*MtUThUFs~Ea#ps*TP}-&_y!5AZz zwMWx-Ph;GR1qfQKQj^MkX{sem=CYHeEmH;W1%@0WMB0%af$hr$of;eb$tkn`zmdEJ z&nB7LE(gm54D!DIE(P1%rYqJdur7+}NTK{>5mu!F4=b|wOVn=!?0kc}LA`;=#2n7W z24V3tp2xtNagi5`)u(lV65A5l+?0?EGzVDkDSbst(?_9^#B3_b|IGz(c_4<<$-hoi zNGy+Br$IgJp&#PK;Ln1NbnDGOY)soP?>IaHI3t#^0yX2HU`b7+)~^cj2@1F4k!fs9 z_a!*CM(c1+rl$WK6E@O{?DE2E=_86Bq5AFk!dO;?h`vKyo;ezyV{u|!GmPBgHTu?R zo80lq3o2+?2Msj)ncUNl_3>GkqC(~QKH9T5a(Tpz=jqy=;Dp7TYuia?v^ecQDk)X= zt2Aj<)$=%OV|wZPOpHLnz3lM40Aa@(8&65&?F+Q~$LsOb51hD`-E2$4zC1odS3qB8c(#%&F|}aMn3}QE%jxV@d$)wi%wff9J(JICf8zPrD@#F%EkfdDo?vBrK0b;(wh{)GT`bu(!2(kRy zZl0KvscnX`X=ZCG%9``Ts8eiX7X4#xJnAm?&+K?Jl(Gt5)*G&`FHihT`JYGb3B2T) z{4AstVEyeomP$|6rU`!#CFZIEL+GO>MEWlxSJci^YA+0R`$1x4^L#TlT$?O|q0ei; zjw>ha(TnQ~Z=Ye6+migtb$d?MklGK#$lnMM=0w^@EI$}qKGkK>JM;H6!?YzEh9rVn zygq~j;QAV8kmfDjp3?Yyc5ulc^iMati~m{5mH8D8Zkt|@DY4DLt687+3v^*NjWUl^ z^gN8|Ls^{73w^ZfTMx?jzBh48L&M)`L`?=?|JlJT=4|Ayz(BcG#^oK{ry!56x-mB< z{n*t>J;J($5Z>UVHu|KjNAgTaWc#RRj5H)_IT>HCdSdS$#y6Reh9u6}K(GPRD9Q`iDoy`-5zKJF7P7B?@fLAoB?DVN#3U8T&TD=E=UKI=Q;8Xd z2wziuW{jp)Be_`KHgS}6vD6MSoOF2Y*cCjCbRGJJwFIp7q7tcqz@LWDkz=5+oTOn1 zyNRT@bT(ihl@3+12B_bmm#PD6AnJcd$=+=;0HSf80U0vmZGYqRulN zF1}%U&m#w|30!AyTxwr$vLe{j2ZPMHrEQ3T!@RIFro9!LO`XHJil;5!BP(XoZ0eTF z@118wQ`&D%U-(tnGz<~pTk4GR($EN&!k@gemF2rSfAfgEF1t?|*#E$aGx}K7^%MKd zg=7NvBj$VTrx+LGfl;%!MF>tr{e}P|_VURCzXxv4l3O;r-;D5ahSf@IiIGw1^%yEchT+NyK}@8}0r6=FdN!LpM|lc6+NYY>J`v(b@%(?6hsEO&4vPNvtj}-% zE&b{W{Vift>JXRQ(oewH(q9AvpN4%4VJx#xLBHUYnz~ZO{5kSVBEezBqL_(SucgED z`S&Ywf{Zk{dAGO?GG5Xc4dwRh`qZX2lPliJ;kEn$QhQI!3!c$^&Wr!H40BRZTfs(o z@_`)X&-P==D9BRguw@mXq*wftK{<~(b1yH?6jN0pGMD;U8?1b0S%sd4Fd&*)LP?em zj%)0(79_M06E4($asmw@+Bd;~XIEHkmuYQ5O22_=Y5L6-8C;*I4Pk8A7+ctG{x%@T zx7=nM5-bnz-U96M?z70=*fNll^@qq|L#wXnP(O8{q9VlRq%U8}^T1vT8)9}XleoU~ z070m`z*JNZTzyMv>;CfVnD^K9uJ;|Z(RTHl51jf*vkR`XsEMu}rSGVF*dlUBD?@of z;USLFy``xNZo=AWi%xF$i;CucE6>4)2Z%)fGEarqS;BBoX+%tc@-(w_r9BJNW+?o>d8 zbSuWjbV=?Or@vuVfjt77!{M=+mWD?73qb1u0R{JLRlI+U*Z9-ZKq#X$DuZ-zy8c}6 z#D%nM?wLYI?sY|uM>?ehO+l#!LUB?(J~64oXbv7et4X1)5(xCKKA};;Z25EX8dn-= zZi$A=@7k2`N^T|%0fSamy&}~4%WrDPmJu%hTw<9r>Af3?q==_crW;iO-@dp$B28Z0sCpY z3*&!e!$1CTe7%g%EA=_rWV`*9!ztgZ3Xkxy-b1&eW*RlmAc3q}-p2#f3;uZhM%5}) z5{XPJM%>iv%B~MzeE2~dE4insM>q0$*L<2j|J9N;Ah_G|CDy(chI9#}7;*Nr$5dfr z$5x~qmPD53JxO3mB(!FrTSyNmFKnh(`qLvIByFvFXv+vkT8)_>6v|ndIG0fvczqi= zgR2q}PC=rM!=E#dx&nAyk%@Q6h+d>B8zShRUjM8mXcmxrQ*%hdB`3)ApY*D%Cmp(*ND)O+ZVkYOnm+F8&& z?U~l5FSUzlX=!6po?)|Yio9&qr=^}C*Rjo z$jBbkdTdBG(NpXJoTWkIRIIH5!OE6Al7V_&Bwb_+3U0#kGl1O;?`t#O5G=R@*=~j? zL-&#a2gum(KdtQ+NzgT$YaeCZ1ERs-ttWyh@}TbV5rpn7TB-&_ENaH@J2v4?Kpb~b zD%wUe@;O&z(r^Y5%VPHK{JrI9adlI~u1Tsqwh2cIJ&gvUM`>ie|Nbgy{I(6QGa$m@ zSOcyVqVrh{%$>d4_rlw<-&qq=6xE<7%N<06R+4u6N|vB{RW`$*#o*Q+qbsohCT!UKJYpmoXL#J$q$w5Yvq^x*5uELn_apj};Nl zhUJIL7^|zb)K+LY*e)}Xgw$a*&{7aHgQTdE(4Yj3I+6r2Tv-JSPtQ#@uYBj#Oc51% z#+ZRXTHmYDXfOWXtnfR-O#uxTcOUHb&b+yKv)gj09Ze(NS!xI}277P%T3#IvNN8W8 z)T8PoT}GuM=*+Yw8qm8I9x-dP%8QAlO^I{~NyE%e?~_CIq%N%Hx%Fd(YH0tf$->R+nZpslQhjeDulK6nAphG!}Mm{xlcpBbE{9u>- zUDU@1BGS+?N`0s@(UFb^;B8oC!M`-Xi=WpA#6(Rm;N9S+Ph2s6Vyu38QP48-w%DP6Cba4a{jo`} znPbd1n}X7QT5S&5;DI=$^?FU2_n}Y#9v;(2r?ab;Kl1?^&JM`Z&_cI9Lj&|YE!YG3 zh%8|@qKGD+5dll9Oqa;Bn`eegmmBB;({KkX_Iv<;yaFx1j5P}_9IZ|B#VG%okfU{) zcKc&8-V%(lEg(4#dar4tUIWqM5u1!|NJE(^P0h#o&YL7^Cy^dH?nSFL0R}|_P9+9- z>dgbT*f~BTN3M^zPy5tnUqKM~^B9}BCJBjmmkrFu9s)*y(o{+7=d|twUrY-R;%C!~ z@nYOO=Le6v70U#xmA~13wnoPozOG#RtsVmERzE;|0@1P z!cQ`Q`p4EW_ksOHq@4i=T>F-O+c9F`x|jQC`2;F#olgr+ zbe>P28gilLNzZB%nRwU@9qUNpF>ASwKJ%+0!5H)08rmH1>}l16Y&>lUq2*M1L#@gb zI68lkn=F7yrB03%dN87M=bs%VG^F&WUutpFp&dSdRSfpYU zfHfMFemyKhycdo+RAGvIg)ue|ZefV(msoiX9KNvS#mY#su>#}$s!tr$HQCA&lbqWh zA@Kxr)ubOsE&|<9{vh%7bqIXW1Vh(_1VUQW7%&45e<8U#f`}zXzTmeVfUCY3b>e(I z#Il&%m1F{yF;!qtvayQJ0R`0eVeywrOg8qq!l$oHUf$4rul}r^z(v;tL}zGU3~F#eG>QX*%`lTDaOzx-y`UAmjdO0dmpYO5dTDe z@heK$C{y{75|3|WKZ=_W#@`_{_kl1{@Nt$gYcBxG$Iyyr@MYbY!oT>7wk%di?}U8UHx;Zv zD=s6p4V#N}9f9D!CuG%^L@pgP8iFE?*nZo>ruBZMC-_!^dw|hrm{h{*8c?_+93cu~ z;q5lIm|&W(${9_9tPMA777dU-qzzDgED}<6l;hj`%;D&vep3QvVe|RxtDBdlWh1<= z{S;bFo)$@1v4!w|9Dq2huo*m7(a^UU-_Z}1ivrkxRdVsiedQ*s1f-G%P@w;kT0kpK zY#z1|P3nu3XZU=1I7;>!!1;pg3zh55_~Ln2e&svo0~t!I1NGttwSuyAp9T~kForiF zXG)bDcSwpgxN)EuDu-W~2w0a`41MK>^ zsUvyM3nIPInitctl&njc$r2#|4OgN3>x1UYLQY7R55y;9sIW?*;A;^w<~~f2S|8;o z`OzDQRAAs;QAY{Fz++_Yi@ZBWH+(B}b(AhU55}B~9M1bzqx%@!$`6O_bv`uVQRcJ& zL*2@OB^oGka@KOv_WGzzkX^eE44R>d5&j;6O8t~)_+U#U*^bk6^<`H!Chhe$Hc<@k3as z4NU%X3JSgz*rI1pZYTbtGpCnPgdf48TOv}V(SEF^+;R8S@?Eg0ukFFl7Ba`QE%)(? z*kc2KOuQp_smYeS08;(RRGd7e;C-AXmc_(R){?PGef)))jYXWCj*a93)bFACr@$Jf zlZ^&yqGeK3=i&@u2duR(a9BWPemoefRRh+3sW?iSZ$L7vh*dK|zuT;n54{Ux5AU9k z1NLjOfPXMn+8xp`PFQ<;&pF`6DOBeAF~g4cC`%@w&IJh@@B&)>!)K~TfgwG0th0Qa zz|~$9^KvE~>hCW$aY*X0T~YJ;yP_tT)Ei>eC!Ys}Jphjk<^n&^U3|bZDD2mKNZ7)% zsE#g|y$HOVK9K#zrT$YdTRv(uv-Htf0%F6 z3U;7D70iz_ z(reD6AuKdsnak;qK*}+jiCjf_f_F;b(0&uj@rcC;Igo7KxDkvCSl1N$2Lm#*+(%#J zR;VO@F+2T3$&`6sEUec zHzS~wXdgBb=S{W<>TA3~Cm_%8J0Hx&L5&!zmounYQs1n#>KLxb^6tHvWShT?j9J&YD@TY&e-6;z1$!+??X9>-;C7qkT1l14kY#)L0 zhha=w1WHy@x?FC|KV&8flRw#FusFoGiWCyqv1+25DoDhfc0Xc2Edy}EW)Ob zspzf1&^Lot{3`yZelt?&IL*f%LZ*(=&bf+Q=VAHpstDYDEkrV0HCr81E`SR6>GIz_ zMJBFtP@JbTMkCkfX4f0h$=I!z9K}J!dLTg11WkcwVD~>hK7f~=YKK)t@u`NsKce-p&@>9B0#_Oe;@WsfWM$3 z2%Kz8dtw|B#M`*uh27yu#Q&0}1ns zu@$f)5i|mlw?NV}&&uwPNPiM?!bn2)o^m~jfqf}F{GY7xU$85p1f7NDJA5l$f_Tr$ z)|`IWVz7k1?GE^hO>}anqiX9wbZg!}=b?a&n!w!ySv7P9xtSt}Xvfiaa#NShs*$ntYjF(? z*=9pAg(LQ%_Tr;H%??lPsS-k{ct3i!J-!tqy4m)v7By7-{7n>Cg8Z!k-G`&{8O0g^ zwY`>z?U3EHtH(AA8GRLYRt&FI+c1c51L?jRFw16yIzK`+sds40VpA0i9by`+L5BF$3u1z@?+>1aOjlE@dP zV$Ta0#W2PS#~%Limn`8dt^iK%J<#sVx_cG>E*4dMI=YEArlME~nuBH`rQMQ}k0{nh z^&D!p2G~_isGK{8)$A-9VvRfkE9}AGU5jK~;vfeHus)gsq>6Pk!pQQ$O`>divi0*?<697vI@gu+gy6 z?>84;-{uH=Gefv(C{X@hIHHg92CH3$da$I(7IW1g9nHi5dg2W2m;R)Np8fCC`wv_P zuu-ba@){b0!IoccZ!Ukf`AcFD(B*&ngoosNa}e2bz2mZeH$1Pj^cky;SFh<9e7RYn zYp4V#@hVm1`MP`Jf)L->8|Y|x%@AvjK8JQa7<6-AhzY`Nzl05u$Pe=Ib0n@6$#9d$kYWnWJjeDAvLH;FG5edif*uC!})- z4A&qpSGJ{5J@CO6FSOM#_R;9i0H>*nf`*1R-MmnALorxrpthZ@U z>M2Oe3b^Wzku_Sm`b4;@(Ld~M)d%57gVOQ;qrVbFYag#xm!F8)>&k-@}yJpLp*1p!d zf}5fFE+c|5mbew0w=e2B^k4|WybjEOiq-#8`J}~sH(=qk?erj2tmVnTB{=prpmTPr z(vkqRJO8Dmva+b4AY?dQ3>=Q)>Kd!bDl|fQ1P;^LKll6n@r)xV9!!FW!CF9n98$hY zgZc@N24ysV!K5p*T7Vo3-G6ZTYPah*OjKy-Jt``y=*{XoMh^J&=@Ve)+JQa? zA~!VP`u2d?>(hl8upwyvvsaS%l73VR8p09F=VTITe|M`_)`3h44A;U`2mI`3D{g?s z2eed$J9R7*M^b_^kbKv>>T`AQZ>2HFLr9&kCj1+b=h}rg^ih%=$yL!5M9O8f|D&-j zX*A&G5EmDBe~BO<^|4FqaiR`D&sC6uv>#RSk;w571S_`@h*Z);)J7%=e>2H`D#nI> z(tpSeXHf=lbnXXA(qz{rvTlSyu-?$UioQbB?h*!>Y#V<>9T!>IypYNu7x3OG-RW_ZcCp zyK+CT9wcybBrM|{OZM1!R3NL^_+W69)GT`mlk*;&>REU(<~Re^hvo&@cwZs!wUMD# zp@a`pwwW;=?#v$~`z6JuhJ-3l{aY6r=U-Ce(@9aBG{wggwSb%M-6-^K;V-dGB(=wc z&2F8co3o!5h2J?q4?s7YGm{FnBgQ0*d)|O%#q6};_DJO1G!sgu_^tItHIWHqJN?t* zvQifGPk8QTLM+<&u2uQEN3Jzyywf>Ad1WqCj^uIg-<&OtV zr@wq{&PzBt>aZEcr18qnw6-)_vMOXn1A%!%xyqtT-#;;rJ0Nm}jq4ZgRp2KS^C_A^ z{Eo&|4nPLnB;Xd@=A^8ph4*rMIuIPsZ4F*A0ZNAcMd~y83Uu~j>+v5$VKFhA zpEXYbB)HSN=jC@2?}%Kv{-NNRal+Re6c6}1udA_O;X3I2FSHn>^-<=}$XiOu)zhGp zWhX|!bzhDlVCb^f*YtmOnmxO74{)AqBGfO`?3k{$sdibAX)@!z+E9@VDlG-O;QK&_ zuHQ7joBz=+PflG~*&D#ErOhCTFO;z9Z-i0|YcmjyXnf8)^*!*BmPmG2^*_;-Gqq+<7xR{Q8bDpuH5xQ{-2y{&7$l@vK?eBLH+?SQ5k0j^&LGKF^`qSuh1dbn3zhbo*+^E3m?J^qqs!a<# zM&O-LcNYsp`1LMGqt9Kx*%Rb{L!L-RVVG6TwmBLX&K}2Paj&qv9QX2MN63F0oIM}z zBgdTb3oFA`ivbx`Ma(rrQk9Ef`fNPfh}9jSx91bKoK1?d(nl4N%4tK034iv4WcLgD zi^amV7~-io{UmK!gr&OGAC10rjT1%!y#vKlTO!h|7VF(&z-vR7Q)%SJM<_l;7#Z*r zCa*|BI$OyAPVoR=K%?IkI3CvZU|H#lWhm?$=l`qh%fqScqQ38QIOLdTAyZ~DG$7+i zr_58v2Am9yhzJ=Ek)ez!$}AZUnNrC-gnAkfp}|}kQYazgx9;P4hwHtr_q)EYf1c}l zoO7Rj@4fa~zx7+cy%$-ukc_k7I@0HJw)C83a}pqgh;04@sS%k`g-fZ8!WG)M*OF{v zdD^GfxY1kwTW-tQ$_sD(&fXGCRj{vGbJfp*$>69Xhoq=&1ff+hq;Dm0I{6rRwpI(`>>XGu(uGI8K|I-y!&R9}wV*mbL$ zVb)x5p5owd#VU9L*Ii;weStn+a4;t6Djzn*A|oT8WFP)D#Z7o5L&^pFtiq75LT(0|pyHbA#_;Qkygqn{Hby5zvkGp@MAXlYp{vdi%z8B+0buK`}Y zlA{DKA~I2b?ofY8K<*+fp#jV1gCCq7K0-$j6D#3EURJqeV1FiRhIE*J>x$Z^~if z(tC=v|L-@dUSqA1WcLT!>+@|zbb3{G7qIL+1*>Oq6@H4N(K=B%zw-`+`Pd?Lowp0< z?qd7p$dV@q8S0jzqs4E?BHGY$($OREl(vcJc*Jb2s5hV(En1I&z&(|0h}wH@w~2Rcc`1u)sA#aSwlkXHP4bx6=V3 z4&#?Qpsklxs2kSc#vxAq8ktf5EKc{Gd?N~@Ip2}(aFTZq>rm&r$240zuC-M+<@RmS z`)6a#f2TIBOHf*pbm15y{&@ioGoBz zGCQ^CM$-JHJnA3Gj(3R`W6z~wpVYGC^y6O3ki_z$iQI_H;|K?OrG-PS#-XK%I{lf6 z;jKA6i{N+?cXP!4Fg0u;d6yejRBXl)Fh)p-HlPJ_b8~WieSP9`kbS+sGWsI@vgE48 zPRT^O9sRgc13OOrt^pJJbV79WYVr?cWwF=HxjX03YLn$c`#$UAC+W@m|8xt>kt;>c z;|D94j0wC-)X#?hK-54LwK3xHRO61b=$Ni4hH(eS89taFc%+|BCv@Gp79De*Bmd7TNfg6#qYT}SME=$JPa{l{aBn=wtJia(E z-XU;_=;fshN&*ZThonq1qTjFRCz@L}bA(6SHMegrHg@8Sp3@?)s*_pJP5mdb2s`TC zr4*}|ipD(}KBP}Z%`<~BWhu#YX(%nH?CsRN$V>;wt%_$zNZkPAq-8)Y%+HqwMm6 zt=IWpdb$_nN@5xs0yrElO(#@aeIxu;rE@2^)ktV{!z7@>^y5h^p73fp$!$?)G?BYmjk!ZiB`och6{ZhMN_{HliB}s`Clma3?aQ=_j1fku3OK}Vxc2 zfZEjjehS9kxPd|Q$;eMXI(~h9rR+aXavQ4Uwk>yPheLQ{KI#@07GVVilF$i=1wx<9 zRYyCuTsd+KE5{jh8IN&B=VGUL5t>b%{l=IzYvk{iJi66PFbO;N(fyw6>Xa+54>!~P zOB=e{o2}$IN`O>On46oslK;Lt2p$PXjzkJ=BBMX+=8o#=(SztAPuSAh8dunRUabJk z=xkTkfsJ~&p9p4YU;TsR?vpJqU0m^M+-;4pC~Y>LV~wTbs<_v95q1k=-Y{cLWhHx^ z-&_Y|i705Qe*E|}Xhn+3%HrEs#NK`U7z-|@t@GEfUx|0`#`O2wY@}6H?QK*3=zZek zNec%Dq4}$}Wv7a5g)Nh8FcAZck4qR014h5@-ebHVMDXS)B)^d*=cW_ZLke2Uv>-m@ zQIKz6zmA<8S><`+F%(-Ky77JGt72#jAf55~u{OJgfX5HJ9=p8ckdEc}^#lIT9i8ms zY!=q<=e@R^t9jcOuYhb(gX=&|l3BFygx-R@d) z0ow?kG~Q`SOeuxm+?=s(YRxye1xbiYXQn(CZ^=r=VxOFUy%0X>%pUS80t^X}!Kf*=}=Fiv6d*ZO$%WN~-S z9gr~0{+J2*oyqZyO9>1|`S=d?VRVneHE95;+hFTV_1sqrSd?yD|7CkU z$cw(nm!YS8tYhI`r_u?t5Y+knXe>V9jEP(^Md<{N(>-}d2CH0w$53thYl1XG2SKH) zzg+SkJUHDMzsnyo7O&1-ej;*mjE~NCb->*>i<4izeRG<8o0+D1NvI=1IHA5?v+w=; z+_Ex-pCe{_E%xrqb*SUfMDT&^cYMmz#cjg9>hllky5Y|H9z6ICVa1|u_eE7c6B$m6 zvDDJ#6y)dAmN%|mc;O6<4=>F{*f$mVdU$WH5tWdWg^&W74$`UBoUBW+P!-f-tT;0CfJf;eu>Um3Ctq zkCuQe zOLpKkT4#r!m6+8cw?vaol58~WVe>Z328Mchv(>$bn7X?fw0V8HD zc5@TX_ZFiQRm|`lGO!x9>X(1=ZMO#^L!Btv?^x5IM5Q)-&cPTHku!{k(w!jPv*<&= zU!C=jMe;0dE5I_2bb_V>Ys!8`#zT+L;CKNL@C_$ln#P6bnz(jZgWk+z(eBvFDi#sc zc=9^X=_o<)EVjw~Live4rc5RxHnn7Gx^e)W05_aDN#f|c4Uc2`lvw_Ig!S@l&+TOB zNCYNvwx^a{cN1f-o4DiXvB4zWW6~=7!|XmX+La)yH|_^X@bPnFttmX=WYh*L3MHj=` z;vwT;kRpkSFmUKJ8W_!O>Je~Co6ePn+XF_8>5JB*Q)ka%$4ntVNg^TQfz@~tZ#p6Q zE&$y}c+ylRVGzyV(1nn2~`YR8jAU=@VQk0UPVDmbEF0uam?B6_E9UL-Q#+sSUn z$A3UkX(IA#b6(`%!P{a|)G}qKQNy%8!hEttX46DO(#&(^bJRbmu|z8&$yx@dFez-l z`H5Vy!E$6wQ<8BZIgrH(O=g_Xr3CO7P|Kmo@qLh%L*I#0-;cKfTYkytDj4`k_Su;Y zrkLow7DWGv^q4P}eMR>*47Acj1gSSn(+b(8y^Q=iYe?imO`XVsT5iFc@T29Tbh8{9nBGJMb5kDF3i_YvBPW>Fn#bek8 zakB!53CDj~@Z$XjvgI=|Y1ql%u|M6h4Ewgzk ztw74D!xvqblM=W`SoI_ki5q+{E%(tan>?FO>%4{V`O2xaPYMx&@ilWDdc;0qbTAFD z^=%Oe)50o-=NT!aQWFf#P-e43$*X4nI_iw%f;WGas@MrEd3+cRz0-?C(SlA0|MO40 zCXTi#Lm)Y9ZOvU(Ri)%Ms02-tjRy?7M^?bJ_NmO8fT-3@C^ zXkHO(7m!EK7W4M4>FYFQn%lQ;`!BTfUK4tHzE`rZuWxE@^4qtWEsy^lN6z&wNIlB2 zZw`l-&q$FW9mbje;akG0YJNCl9_iJi=A40^7|(>BqY|AfZ|4&^6t+}ssQW7s9klB62;Vy*33w0>2H0FoUrBU8Wl z&d48*Zzx^tm+u=GK!g731Tgs0^78vN^#Yq7KYqXHU3Tgj$Fpb8RzF3v?_T{WkSJ@% zTXA%hQ8}IP+5q3t_^BnbY1>|VI5?41`QuI>YsS`mSLRQ@%AP}03s+Z(j`&?SR#yXH z&6rAT%T)v?blyC`g_C+6p)FH0BpQF7LN~Dw>k79VyYV@rO6}mxk3svf3182~WooWl zbSe57eZ`X}Jde)2!Cy6oCRxw3L&u-Tpcz1?aOh3IrZuO^$c7`4jJ$|Q&fX#~^~~!s z6DeF}SZOwNpm(u!0qS85Hig^%eUCDx0;UwuSn$$c0RaJJQZo|#Aq{TXmp@g*mYJCe z?fz&HxGgQGrbdmD^I;?s(n==@DzG%<+(CM}y@$@lFpzx#Y)y=}-#F*talLb*rRTmL z2DyJUPS@0wWfRH?d5<4+gW0|K=bu&pMf1-&p&>|=aKD^C3WR_h9rLZL^c>U8(7eha zXH(jocjU&gCt@xJi3+5bV}?{C+UCyClY%M|3PZb^@zEBs5%n5l|HgA ziI7nCR`cp!_*ZedjSg^B%lAJ{UtT2HJ#pI!xk#aol&UJPhTqTUAcs~8S@-|)^()vQ znw5BMg(MqieR`OrZZIDCK6)zdzsK5Yj?~U z-rosh_>5Qh%vG`3(kLLvZlQxhk_dZxrFiE`ee`7`@Eu;4uwEY8GCAyME$ zE#8IuV3vj0pH|wTmYp2#HLo!0X(F!oB=rQv-luKvON?z;M|`pXQ7{2#*4+C~t~6{KJEGTD!um z6QaZj`a0)ZWXYH1l+oEN-pgOjs0LB9TZ1_xPc$o9`WQUOXfO~(IoqS1{e+thYj-6f z*^iO0_I}%tODlfZ=%_2F{xL??143p`o`hQl(TJeTJ&JEma-qDiD1t95Ft|69^1PHm z++tE6idZMou>Ih3nugHCLKarlES-+0Ta$!C-3QcJ?L4rU|A5g?Wa5X12tMH@7twKg z?M!Qq%rRlHF~*W&ultMT=|i{+KA*cpa|ad%Ry^+~hN+*{NgW5nrRLk>fcI1$a@zec zj9)9a!|a!mLHGgmw`khAc7>|4QEO;`L_RG-!0}8xX#yoObjq$PklLRzs=eT>UfYJp zD3~!TK_p+QlOdA3VUv1k#}@)dErQBRL?)En=y}K0#KiUj99epRvq2fL~Fx;;kSw_TJ@ajpqW32RjQYlcU05^sgp! zSQTT8ls1tTs(>0cx+rqzjIP8^)p4JykV1=W(){p7j?tL}aTTkG62wr@TN7B(g(3Xg z`%4bChoYe3^vBuqH=4(xsQ67aqn)Q~95=xmxZQe(8{d(opi=^Y|78dUPk1XXAt_2j zGLeIlY;sU6+tdhqQTG%0Y5;hjbjxVALllsZ*c|-(ONyg8-pxZ>77eH4cZ-SbLkAPE zELPtEEXHA?(zcr+T3a{CjEb0b17@SqVz&@aRzQHk;?Y@YVKsMfKs!&L3f=f)2Lvi` zYRsJnAVv)b&K>dfRl(!&N}-$UWas!@8rLZlSr=E=(}NYK(NIAXjtjtb`|RYqdppg% zF02B!?<8^SZ;^vP*N7`ATq}2S8&kRXHCH2Gu?ECLR{DUiNCPpPQlozY7Cw7-o$f2L zPzzaC`}Q{T#?q2+>G4N&$moLqJRHX11(L2E8ci>JIGcU?ZN@=!Ywqs@<@5+jH9<36 zpqe^z4@Ut;qJ8=)Zg$oU5Q)^UlPP9Rz#reNQLi@ z6E#B~@{WyyaI~+Z|KUk5C`1Cox6`zc6DYQG7cR6yA=KQ~HnqxHR4!l+V;nEZmZORo zru|IOh2+y}%CcEBRGsQ)4d0ny(w_zW-3yIm|17f#s*z)3@mlMc<{`h4xcGRuT=g>jSFgZT_TBycXZ(!}a%;(v_yf2M%66Ll_~EGT)}HN5B54sb zzc}4%*A${9boC4ShV#GROfWSyHR|aQmRZ~mRE@%?en z;j8zvQ<&S0jJyg6f#7OB;iJxM*-`w@q7Y#$@&M2fK-Vuc(9hqy&!|%q!mv5NwaK^6 zu)3f%@UQm;P_|98Rrt*62?s~a%v=CwjU`>heQ)V+It0*|U1QL}x7j)gd3j>UP@E_% z`b0-uZ^H2!Pf^$|Nq6rS3tOH#<+kIVOKU!(oz&tLyLUc?T*(l4Q^PE*xijN0VzwLw zvf1+3W1^#5Irib)tYKXx&9ZK??>XeP}&uzlzE@ zw8wltk)RX*%zM&lezXN4LoeO7X`j{~z7s186N4bVvMIG|VIeWepOaUR5w#-JAzSNGMYUb28({v?G6(k z;w?781ipvT;R{)DYR-*^pukIEw3CLVkD(w-v}z;MBZ=GuDz1x!*tE|P90VlfTNhFz zx^JC3gE4P46+z8>CJ=R=FYr094Vlsj*hmT@Sl1|N7k~} z7QSt7F~Q|2VgNO0MVdC0l+Xu25`2QUV%k(>uVeIv9GOGcEYE-vw5k$zPS+1}5tB$o zY2ok;#t%4oE;(|Gfx1+qMp(o*9iT?3_$*kGn_wW?dNW_bEI*OT83s2sK6E9~TJMXA zPR78y@m!E%D^`5&hGl^K_4zL@YPAX_GM4WC#AW1E+C7&UB_xNJtMDXzT+_o*p_vA} zSULd1+c zM1bUJg@qe7%25sTlvDfntwm+Y$v@?Ox5KjL7LYlwn97@BsH7TNR!&d8GrW-?UW!Nt zP%JqNT2y~U=1{>fx|)DTd?lbB%oJ|WP0LY5=|l?*D8Z%jLx^x&BTW2&0fvgY7f@XC z#|k+Or>uO@p`45H!1l;h-+`-U>)7xlxkuNuCFp}-Cl8(|;{_+8ip zvPTSkz`@tG=i zA^V@vD=lu*F(@T#Qb*qn_^JofN^#kFwqBx^L3|v}Z=luPSQH~oDotbicLa;F9LSWO zcBt{^7@=*=1h}}$1b;kZgW(#c$%|sJK>`i%jRmioJ*B{gv;iGInSRxrW`j&<@RY36 zh+HG7%CxABXA;62&4|QY)W$xVie#11vOZUrIi$xgGkFBY@k@$Kv z_(3KiC?2TR@96x41=#t!n*3u`xc^vdd7F#j03e^u#+!53qNR^hO&!_KV0jE12?C_F zTO2pvv}QG2H28*+-`wzmg(DT&nsrM04C?Rn4=O&{@+6`3pVi9Al-XW~(gy8ZQG;;n zyle4RF=aRJ*&shY(@0nUGT#1ffm*dapK)vW_5g3aqjd^^Dj`E18@HGp`!hmlvU~zTN;;Z=4i*4 z|FoK79-&C`cK+I)fTh{v>!b8K1n5`~w3Fw?p8@nDaH!7g7c7)EZ2pAOF`a@MzD(BE z)@X(g*>{E8hrKq@rAp~4Tp=IxjjtH){#w6chWW%omJu8Wn@!4^!VF#+f6n0F;GhXz zfB6nv;6iII5D)Si8g^amFI5(-`+sGp5;J>+Z#{y%%Y+q0vsC#G!#`^ zTbq)_!=yLDIQS})ker$F+o_2mVk?w`{mAa=0`i+vjX^s>=YSC|fB5hS^xKv+P9w(& zsJ4FRv||AP1h5jySsTvi?GYzVobX(l{ov1}arN#)nl$ki*`7msvgdF2%>SEx9DQev zY-DN&^8*;{{P_4HvvBB4ap8RCTo66*Jg6YV!qG9oOlN}&ilO2Nbn)VLb#=Wy$;HDn zlW;pVl|JYppe!FBpQ*X0j~}Y149``T4kyv}c z29%N#^udnnYTg#0YUGvRvd^h2%*4=5$x?VH$&h! zy5aR^^FWNz!vZP+iSSjhY$xZIPFNC5JfL~`U28ph!nw7z`~YIwKrcJ$8KLN+qN3u| zOva#!03-*%7N9A#$iH{rJ`9|uW|me^U`gZehgE9Rx+ZhO1lR{y<26?LGMayl|Kq!N z;V*AVIX{nPw|jJkS^Mu7PC%Rdl&hiZ6T%DYzq?Spq87Zm-@$(jr@8Q)(|=_w>JOqC zxa0;;1#~T_6C(KO>7~wCZn;5>TjaDl`6YWP$1b0ILm$@^H2Aisrr~p}VK69)G0jwu z9BYdb5bAZP|6h45VYrv%My7_J({TM&KAjLvs73=uKbtoGKm<*ren$ct{RWhN1n?~2 zH^BUT>V`b)hC~w<9Oab$gS=u-IKr4w+|T^^{cyaZmQeHe_f5-+>KZ*i7jl05!>vY} zl>mtg*i#PdM`*NHbNOrRaL*86^=Xyx%_%U5seftK`k=pGQ@t9>%CDBU{JyOhI+Fg4 zdE-yH53-B05F9qJi~VK(Mu@@J&nkZ{B>}x~aSu1PEEL_(reZ+?DleaO~Ml=B&;^gZH08$>OtUxlJr@ zN(td$XJ>zqRxJVhz+h1%`S^(w{3vW)^m$vLcVqhp;CIlUy9U2{Y~xfFV;T%ry4@23 z4f@}IAHj#p#>DctAi5EW#1tn!WOp@Ck146C&ZyNvpHinpW1dpe3@3lU^s5sT ziqp$v39!AR08Y{0MIA)g?mH-@h>Bq?PMu-`(IZGc-p<$D_8#cz2@~F&kAjLh0W#Ok z1>r4rxWZy&{I9$CshZzYzI8NZJ&=0x$B$j5wJAFl!@wy?0x3|<&)V;vBf-mK;PR9N z+b+K2mzzu;cyORgdrjV>;g3yl?kq69^&s$Cov4?LgR##8k4l%IwZxa@KhA){^iLz3 zDj>HM0&-U>;N18S2yxUxH|sY+YOB0axwYQ4^&Aq!`A69sOi|Ff3Zw%dM41QCin!%(12%6Zn!mq`h3(=D zk~y`Y6(ts7?VEK!YZ-eB%?1t&l^f{DeprHY1xCSNlJuB_>lQi$-lL~d82BwN11C_a ze&#h_Z)d$j`OM{Kebyy5)53KDe<&axDDn7QqwH|l7?1RU2;lqN$%B3%vOKnL@7_N5 zPfw;hQSC9MZOnXYGIUcay!tsQmM`sf#lzPeg zW1$Mxw+CGJ!&dF%b?^@x$OnMrJ~KOuHt|xrGGo=&S!kLW`*b)!?$CWhAt|#gR6X_2 zt5?cUlL!Krf{@`ZD{%VnJsmPlrQp~69oi}`{{+2DIA}C>#>;>;9XW#QD$j=AjuW-t z%i2^M7pR8=K(^5>JaKiu-``)Z2m!=ph{LU(d7V^#htws1O(C~WPnbcaTU1*5<-qxH zOm_hqVuTXt!6RQ!;N{@~=KcT-i6wN|FEq+=^H=H$oD7HnZHN#g;Wd!5qCCd*Wc=iN zZMn%Zh)Q?w-hJ`v6=MJs2I4v^8e4U?{&v}cLXTyadIY*WpvFP`h29iVVry&F(K9^| za*^hXdyk!&x=J*7k-9v(8T8P4cl5D7 z>C#%B+7i+V*e@$5=Y_%&2vw`hZ#2u3ZhZN?u+IM`tpHs-D0yg>M?yop zCm;N}TKe!|yT)AoHBeO1Yj#|GmqkK%#}(Djo;2}7TCt#Z8UtZ@2MDcDJKXScxYb~X zsV;_k2`Hm5q0FZsO&(Qb#P0zm*nPc(4u}$eJV;r#Yo!?)sjniT))oY*{Go(gkSHCI z-m|A2K7g6mTwQ~M8PPiHW2}RZFY-dxS{9lykRROg_Q6hv)E3t>XPkgKLcKb=lR*YH z3S!@}?Uezh1I^%}g0Vj+2t*_3>~rp?eCY!R0k0*D{*Izz)T^(1GX~)2XFoiOnmoWH zHwo74_2R_~B|&eH*+4wXm{g4bC%^=cIBa3Tj%4Y@!PTNL9jMd_T`YKts^;5^?`l0K z-!YXNeYdhc0@|u_gMAF=Gz|hiJ#n{0w*p){XAulixV}!IK;t)W-`aF#X{Ar)#@IMI zmj4`XIJp6;?e{<|QDBo>(lhhtXFr8aRt#DA4E#`@kcO{u@Msu)AJ7kvA3ogEvfHd) zv2jJ$-ObGkYEjn647irQj*g>$KowO&q4d8U+MS@82YdWfFcj2k|@i z9sMygW7zkU+b{R+1Pm*;e_)^lj=tOp`1X3|6(|c`aCLp44&~A;J)Nyzid%VbyB7si zUN&9XI^|9F&n_RKI+U@u67aGh0ED}e>TI>VzujDYt1(vun89inOVr2iZcyBn8-y~E z*;oH|g_hm9bB6-PJ_Dy=&Yb%oPBpA-_4s$k85h|8sH4sd+_YGp`XA1p@5*v z#$F+H#z+0V!7a&RsNx!pMt=npNX3hcx&sYJp`6h0a}54-8-!#f-zFzZ0QJpOpYQF1 zvC;;q#&FJPI>10P)vr+0eWuJ0?B0ENkBp4P|KG!1Owq_OE?m>v&>V*r6QCWaQ!5Gma6WvU$zXIUTAEuK;jlQi z3N%n+Qc@Ve#+;H8Mvx{#l`#JAfLGm6&0OPJ-lit-l@M1n(NMGD3?!v>-G7a{_OA#^sT%@(3` z)-hWfBU^EBkSRmMj|H~0(Tjsn@P|a5T_SFL+(}R?fD68cdK5VF6rGVFcypHqkB09o z!N7pw^5x4+U3Zn8>4XBNM3H7oGp$GzSHd9<;KFI3i9KCZTNuPEOl%&4sJMTO5IuaI zwES}@P5p{2q=MZ&J*U$e-90=y2AVdnpq|{E3-{o`g9Qx+B2gLCRAPqw@G9tp0X|VW z-AW5N2HiG!`yAwl<~BCh!^5#{-r&D!hC{bDmNAH4ykHANd8KpRB456I5s{LjhYYJG z;EycmyLb5rg0xjHL8zTs^)vbJ@5%eQxuQ!W^6VDEs6HmSW6#si;pllCAW-@19Teg9 zx&btR&Hx^T9!CLd^BC;9Z@mV8gse3RqzQC_`+TOlbGn+~f+VKmmyqm!f=2SgN&>VFQYQ@>E1%;k;Y&(?{7?yf?f;V7zk}2*<4aZ2*;1_ z9KJfaD`>uj9u<&#{rGr5b7Qd=MQElOYN%`%)kZ*OcB=bsbTZVX*d@^3(ax~uNd!D76?iE>Q3a8k7`r61xS3O5O^h=ljs7!Pu1C zKki4m)9vV(_!38Z;1j38YKju!I?R8);{~}ec#u8UDr*Nx~e=L4kZo<1j18Pkktf%P=i4rlx1v8 z;2r*n#ecvrbT?^5ZEWDjANxZjaQwtsLEjAoA~1V=p%hCL*#d70xxdqM*K)FQ_cC*} z1UZ2AqVS8cY?(QtY$@#yZb2zzLb0*S7M}a^uK#H{R5nw4{Fj{v6?dqQcR%j0!s6gUfq*3Ops__;7u?CFLjn z-&JYKm8?Jng;iBw|Nb>ER7snu8?oWzvHkNh@M?_=q*D(0*t2pd%*@N1&=rOyNW=KJ zoF|O7!U9l2bPNq~B_WX1vGck*KF|HddH3ip(--vgIn&&kH#Ziw^HuZqDvd@QWF#ac zFPWHfCTvj8p8xm#kVQv9(k~x@k=HFaCOx%FawG%!*5M8;I$qF+)ydGD3^2wWcA^oW z|GWNg`xv%*9WcLn^JXrI==l-{NLft{OFNO1kulHK&(_vfONUELjHY!-)zY#+jkKz+ z?)%Ydf1}U7-+pt1u-iJ{Qbk1tGYd<^QmYp+6&2NH5koj(AiqGjmYURwgs1@3={CmQ zO;3#_m-CBg%IS0A2B!!Ixasy3eup8ww5o~<-u(Q0Z*MR9jb>;e93!~7xjDb6sMcnJ z;S&KJe(;jx#?3*8HR7iaD4JUMTVy0QDLbV1Y9ot4QbU7iXQq60LY~gyWKk}UC~sm8 z>Su3X2JHAq)srbL=hc|;UEYegiM*AApopJuH|J~jPVx(`Fyp1e)0{Kgr&S$w*0Se9xfIh=~UW2hD(0Hk=`v)E;p2r_sq|eKh0Cy#4y$FPxY!I5=WUD_TCo z9b04a^Irm|H{YGZDR@3$vt+nyR%Ipl&&Ov2@E1MkY}_n7Uvy>h}Ilfq+(Q`vS-DUwk!nH5LK;Q#ZMhaA^=J%x}i=<>p(8nvQ%eY}6` z>}$%CR!=Ea)tx)i-#K9l^s*PzYd0WFEnu=;TwJtub$=695#}1*-+MJ}GI+03G@Yn& zrNPB#%tMY{`5VVpQ>>R04Hho+@Uhey)C`1Sno^UjyBYdzD*+N`a@gH26Rl~cxXW%_eAkD}smdEIhKCwCR^*ef2 zAnf|4?L2j86s+U>MfUi3YHtso^9xmOkGU(8Fjx5Ty15BL8Ou)7C0moz9dQ!)jPkG- zhecVY-RKA0y2d{4;8r4Uvcx&v!K!S>*_rJT-l#jMUZ4WW$rcwN zP+zmYA7KYF>ZQ!I}$Z7{qlX%K<($UL#+H)`@5{>yKR)YbRuI zAE1_`mrb&6ES2jwXz1Kuf~FZ0SoC!^B4N_8y|VRU+(fa$mp}q!rYrjctP}M==VyDptf1KaV3txpUEzJ z9ev?6y!&G^l5{)@)S^rnDt8)QB74}Rnyyj~zn~?~?OCPstWijFpIMJ~wxEC0!TJ3i zxS)y!gzJgP#VA8k4&m$oXV<&@7KvKQq(qg)E`<`S_9b&~FtFoROBg?Prpw zF>+=18;H*PBK^@JvnEb7payE%hWV)mQ^oh8H9Y(TRhA7rk%8z+8-%N0FHiv~BX*0I^ljqKQj_gUvvQ&Tk8*^a6J2$CI`Z&V|(3KqOX z<2N~|o1D7vyXanQ{+hlha=ByAthECcFywd$xD9Q7nYK|~uEYO)&$Cs(wK4S=BC3HY z_HO#@`^;Q%y`ZM%WM|-)81LGUU3A{N$-Ku?vT%mRcj}VyL~?O`hvg1Bd!EerohfP4U zXV&va5enr?iW%iZrRDKV@ZUcFe#fK>@P%1ksM7a6C)zDy4L9NE=kL8^n$smRd<2=H z+Z$PCt8(C|n*m0c!fITQy-6pZvuT70!px<$O+Pi2GBO5yvX6sf+8MlT^^jT%$;n5& zcdd(8a}-hKk&_Omw?$(N$A%fTYR9$J@c|K-KWkJg1ODUXOG)sL3s038=!+%)Ck?Ub znQOrG*S3Bh3qtmD!iVsE%YLEC3MqW%Q8;9gP5$<{m5W*5fDh53vB>Iv%nRRGZ5`6x z`PBf9Ok7ha>n@URt{(=gbsOwR)UfvY!#kn;bG|cG3{370xi0Fja+POlR6FP&UeOOc zaHZ>QvDd&|11LArZIFejcjnusBC{M6W(LojG~|&lxJRw=xKlHVx|x z;#^V;SMAxGyw0134yeRJJ(L|?pFenw64G9|GG<+*Eb|Vhr943f5fl=|B;y^EzL0I& z#>{H{NSM*Jrin7jJJy-z)D70{QW5M*7ltjIttAD-HO^0ow4QAAtdFQ0;-0K`b${$? zzK^xy@tGyZBzftFDoM}?A8|M+U!g-fSg5VVpV8mg+6j}z3`&)Xd20)onBe$kBsvNH zxV9e~)_$Oifrw7^dyd!s{JP$H9?K zV$+gi;1YOnAoEFtzkiHe4?D~GN{SPXe=3@_6>RO8G99?}#}PFBHv;vC`^KRUcUx*u zyrqUuyqwLl zeUgrEa|m?X8c>zO@nMO`fSp znHr`Ksm?5I}nTRM*8~dc6PmNK*%stdW>=j*S>Rgisd9vVS1+5r{_os7Oed? z-SXNUihKLlA`mfrZ@)DUGRMY;YynY&a--cpLIIG`;+UVyV91u!wv~Q-66M0q{Vz#c_L;?tg&zNL7rNh~Q6^$)JLUK4E zf4G@fq>e($VOFALe z?$^VuleYYC16G`8b}P*9|Dv+t;b&eI1}~9#lr3s>MP@$P^nk1@@AUtTVPacQ?=Ciu zAOoR(V3IYj=hrkU`jn<7u8)VJL?=n#opgKtl!zG-NHsJxMQCcC3vsbnS0=#~Kl@Hu zGcu~vubPQ_&`}w?g&l^~bA1LiHiSU>-^y`$r%Ltzy0Stgem3=)#YM~j%Sb~`tkOjI z(^C_}Au1)$aZ#pJ55Lkul~{9o$7i4kIkAiM)Ums)iXt!9Q!|q!xjZvn1YogI@}$qEg@C;}gsF)f}Yk#gH57WXuez?eRIZi$GtaCFs;Yq&ecmm2GX~X zHyW@DpAWLYj!CD|E7tXk{%F?!gt+qfpWrPz%Q#n@si&)sV;xnhw=E6Ae|x$7a%t0p z=&9Bzj#+Hr=T(&@CLC)`&<$V~_L4UrpON_cPNKI%bccNyYm>ia^?5i|{QX-kyyz}X z=MKS(k4K;;CGt_e$PFlUN*8(&b8zrB=QR}tHZVut`|$GMA@c=FBl5FvXoL)ggH9cU zM&a=C>s_(CI!dc_UM$B}mAh6)n%f-{gpYM)`*s`6?u$}(2k@}x_dltawDvYLUw`?JXr$vt)y~9+n_FNV<~Fs2__iisMm)6$pRtY- zqL=js5L_h3-=luBMWJLdgYwdyC)<3KK#^X5@I%-149fpc)G8YC$ziHEEK5-DZQGHE zOv-fMFHTO2yLL(rU)$G~I`vlY?)rDPF8-Xr_|YVu?`}k!Q3M`TPS`X#KqY8z{m~la zSkQQ9uc!}POW5F962|bl1^G(j2X2!)R@jrkFdr__Cx+QawbtKEL)B4$Cc=rw$KVX|Cr6O380&^$56^}~$ZNJzOL-smb2&1ru*`TdV(+c~Js?8={WQ4U z<(Tp(!t&#q;llwqdQjzM-}A1;6dC6Ri?`QT648>CXLpO~h2w|BN@dvE+QEJy^2%nAcDM3X!?#dh@iVbe83QWcPJXCePi5LuOsvdw- zw9M?=>k=u*E5>ji?^L|s4)v#zj$BUY07*w?Ptck_8=BF4nsjd`tgAN6Bq;pZ!_Urp z^8`P4&9bg^0c{d%(l_F>*4#A~p<^gJY3vvl&0IQaN@?>V>(ns;_ErKvejrAp08;N-A)O zstfl^rV<>hJPnKnWKiV-!8>`s4s-LLNISkNFHZkMDI1-v#$UW>l7R$0G6s98-HK$_ zXU}u}uCJ`?kNf7Wv2Nan_Uw6{!1q}L7d89dS=4fGyBpqJ<5XnMrHQKTt3jg&5AODp zXR^MfViw{l_dh3E4E^+-oS)hVS{+YnXFl}2N_IXnCK`yCd}&H-(F2OvGqj6qvwzHE zzE90fd61v^pZ$P7cjUXqloX-)U?uI_vMt=~T@7g%v;Xv3Ysy8Z^qQ6P;;y|~gZ-n| zq>9lS(DRjoLd^Xp#zzQ$yz^T2>)J*sbZ#4Z)<@xJd|&+)&KXVrJaphmij zGPADgfY|0;9RyD;Gf0`mXf4OGH{}(~@df)#@9Uz@n>RGFRA>LJduvJ*FoHeK!>kb^ z5W^4XI%#34zF5rVv3OM4bc*z{m+=Bz((a+5sIOkzwk@q`o-9{1%i&=}LAG>-RSYEC8oCFrdJ!mN|TVwiD+4EBDQ7 zPTiCAg`TxgFNB6lYNL}=KxY2S$j_QG_6}RaB)lR9DbsSUbtu6S(R+ifvov2ckY~PA zK0sbd!~`G4Cq4TWdkm2z2|1K&Ph*zlExn)?8Peo6(*v-k%Z!Ovme@;I8aK!f4uZ zov7w3tFwcjKFiK^?M{%gsO}m_T?}R}nl2V&_@;TwrosCgfO5+!%Zh;SS>4}WEqWmX z(gRG_?*K|p6(E40lCmuW1n|zT5()jk+Og~^b-a<5C8+f6AWLcAuU5~J&jU|6wVgWS zBq~zb8^OYQ2BkIrZGNS20HT61j*hlH6{8j~xdK{nSe=@3&U|(~&*bP>J$0v!E@#tT zzpBoigf{v6b6Qa+Y}E#GbXK;qHXnX0SmY9plc?t|Gq9@n`U2wO9qrv-0;@E#lNgq2j1XWjc7I!6C2PGlNA+`{5-)o^es7PpVDJ|H;rdQ>G2;r z_t?QTm6Ae9NlE#)zV5p6k*wxU(zoD$scQGK37Zdp@)d87e{*)V7!slCRA{3h*&Bcwz(oh4=A zrQbb118G`K=U}bjVutJFDvKhS==bf@xRtS@wUd=fzoxULY4QG~DL&^DgASg9MS3>9 z_AfwMb(yw%<9(hMT4({#+H3U!-*RPMwTMXvZh$DyfD|CR$@hJVkI-_w+5z4baYJA^ z!GN6AHt;nC zYin!I$;i;YCMK@CW!2Ty6$aeT*$Y6SQ2%z>*#^rmLlq%I=K**15cx*oFe$u}w$pFd z?LN#L5_Fij!52uU0Dxy78hXL>tF>I06KRHku_A|%|2{nQ40R2IT9zC$ZyJJE*8_f& zb&zoj2*z_diDm9EuT5~We**Hh_ugl2dya;~rS(6BH)4nLz8th^JwQRe=r#o6@Us*a zR_Py{R0+*t@x}R3b*qFAm<6dO7F9z*U zf1Jh!`gb8wp4KNEi`F~af2+g8r+CvWF3Gwn;Qcm4- zO|3RK8RsV}MJs^SOmm_VA{1~8KUxild!hr{bZx%cDcYIW)9y)XRJ9+Xt^Y7?=W|#l zwRp1vX>VeRk9o&m1~=%@A}bbP=Z&~9l}3Khv{1I6)9oR^xDj@dgfvpzV@yA-8iw|) zxdK)H6t!f+HE|k|wYgmhNv(z&6h^uJa3p_royMKF=f+`DF+&n~D0R@#W2>G1qX4zf zsPzSlyn~YHxbDP!b^^eZn3e4W?K&0#V$vsE3TY`RsmY(6iSzA${`}F=?^*|BBU)H# zX3}3| zL1W@i;SF6?X611)U$jyrZ0@WO9TN5nQ`h2Ml&FCggZKhu2HvYMZU@XDTA&0;5r36o zt9IA9L|3s^k$}ZV^45kgweZvEM$FK98;KtXiL+dxS~UIDMnGMsw9iWn+?o9;qH(YB z*-{y*_g`6(IZmU6b79@GVBRt9>Go`6!RqP=FC)RFe4KdCJ=h^;n@7LF;+{S0YM;R3pb9VJCrxNxa!|Ud} zD?zRMWURE=9}Tm3II}-zra&xtK%qYMk+7sk=-1woxdr>KI*AihH5b1sF12fGtK|u1 z;>RnS(+DZ(lFDd{-{^q%A+7NH7Do{tk0qiT8NtT)uB~*D-k^kLt%&^Eva0kUi0GOQ zmEzJ%H0(^DU?}amxjec7}k|X2VDMDB>+P zyKTW6IRkFaE%z6jlSiyL9LIK{M1LqLO{ZB&799|{q+f@0t~sEgeI=qB zY|wnu_HDR)-|b|C%ZtO%uRK*+-K5gEG$sZ?@M;V1|F62lENAsD;;kB0^wy*S zK~DQ!!_Z|6ZMmab25g4UVboMz|A*w4C|hI=M80P3=Te}%OlOQLSzOSaurciacmdiz za?X-eBh49k#lPi<{q;Bi@vHF)=_}2g83Hh1GeJzxLz`r4L%v$B`F_u{5 z{T2}HDspDlcLiiRvw4EwfzJR^YkN<17?b1!0I;g&DDSK^>mf}$93<#gA38@fp!+u3 z&#B!^3q)futwyzDGUNW8tpc3n%H=ON=A-*GfR7~_1!mwf)>>MJijNZS0vRL$yn;3i zzY0NPVh-2SSjj2*-}ATZO`tKWecH9>Kizh&6Fa4RZ*DRD&p)VV)T(xyj+|s|$&*i} zv%W#D!Z!eeyAT`k)0Iu^8N-Ban?~<4t&5>pwU<@{&T@LZ{xCVBXQN4SNG)zHg8e3n zZqX{7ai|1Pl!Qt==#x0}Sv!h_E;=&G zb=Fw20;*7C)oWCuoV^UMMm1q=d-GDPG-+bq?s&r4?5m4@4Tu}`49 z*1$x{@v%02WY$OMz?d%aeVSb+io1{z+mi7pow4yyWCW?p;P2m;CE3Fpm*oYd4F`>= zhg+!uhC(8(Bg>rRzAW;!r9TsMQ$J-Bpa@diEN!@!bow2CI1_2PapdPbSg-?wHd7j# zT^N;9(UVLn*4My3WDnWa-%paoOovql1x>4QGRv{sKkT=%)&jVY)z5{?x6MgrO}%KMcw?_}M_oG9 zNgV}C$88)a*PIy{=^(v~CXRo1SM+c1XKf96I3jMujeiHwmH(RA?A>y8I|)TL9hIBB zhE-T=#ea+nxXY&u8_1shmSJOchuBu#Lz}Asw9vNg9_!jJL1d>QONo#7YX8k>z3A4< zSFhCjgKpTn9oo%?BEYie5|_pm!Y&sU5b&te#JmqwD}nBg07 za(Ojd(%2{f(InkDCQ(X1fr2(gRvhfK_Ws9`XsY5t&hDa{0a4N%115q|V7{;4CC-_lRT(2jC?soL@=S!dpCqIQ$1O_loViuTG=kzE!rR;0q|NL}hPl^A{9}D`axmN#L1eL+fmV3zt}L&e zr!JAh)JZ4W_AQ9wh?y_OcdLyh9Q#SmMa7Hm(V-vr1~q_#ARtU4cv9_x{nVyn?WCec zK+~a?`=NV9yemuoyT+In8MTay2U^h82Y{Fq3GT?`{u-+J#u|TT0!26I6c9WBq)24D zc?q2wlhCE8$D-5zC2JB?-atm$Jy#7iaXs!Di~p9pj^(Q}b*P|pVg*9MwCbw?a+OU& zCX>=nyCY-KYC*BpzoC?%!u(6)Qb2?USZ(2*{S;I|;s0_FG2wO>C+(GV;vHR)ilC$q( zmDMJJ8ZwP6S!Iq{o|N`;pm*;~MbvTq<}J5()E(O?Mn!g(`*DY&Equ%{xaGuLTo6Bu z`YsfiyDhP|uUp%EL)c7ThJz?jNohWuSb4AF@%QQ*Jk=^JHWO$w#_MQ1L|t_KBC3X7dJ`|KbyL4H=K$CK<&`B4js2j+*|E#M z&Xoo>wXTObaC1BVB5Ch8@ydX-9~|{h@0|yNY~Nt3sp+2RO-`Db%9W*}*-Y_%h=hvl z>zj{5&rC*^^m%yAMp8QkrO2e+#h!sa<7;T=BR=r*PE*y$@$TT?y>as%CDvPqRWkW;rnQEP)XN3~|pg zuZMoR(h>}bd+duvx62Iz?L#b>Yg3b6038{Hl&ASiKqhSlx%BkvZ>Ue zQr%KpREK&{DmPl-9m(k1TDOV=^;7~zf}u!8O|l8Tey%A!wl12_q|)eF9{}wkm!~wQ zEL=hS+Jo~EPfNB?il3qfVy^&@rl8<>Y2!@F;|$@G@r$;#MEs7Q zo_4gL`?KK?zA4!%*DRd6^8*6=z9XCZ4YX9kT)&;ngIBp))3ZHJ9T+#P(r|!)oHMky zt#6w$X9O59V5uDS&KjgPG!BDAj5u(Y_&~R3y5O%a{WM=wVZJBzESFFDF~b^?lPS|#P{4YKR^Pi2KfLi2Lth`k zgez4p@{H=~-E~(Yy91Jw{3Y6}@UQgCj>CI8^WR6(z|;AYB{0y%{>Mmc{tuQsT|abb zmwHdd{IrAW8WEa1d7jp)Nol;9cTt!T34j*lWF!`Qzl9aV5^%dSlFplprFA^nv_JCW z)_LQJ%1-ZoifS%V1$43#RcK?F2QO0)GI^NpY zVq{c~YS3nUw=ZRL+B&rZwsegf-zDG(-+cKDJS>eL~mZH2MmyMXuok7PDW`& z;`c=O#ZA~u(LJo|M`ntxRJ1M^rkVERJB`(3h{7M{&dy+s^8@i!fo)!!rEh$_)*Qtz zJvfU9M*gi(gf(B(`2%F2;l(WHFb^?lKc14c`5(xx`{LHY+Li^zuTCF_{w%7{W83mwMcV|{qC6Z(GH~fYEYVz zu#>jVWP?jvf?mTC71MWphnI8%pj13xxr_H71{;obHe5xPWYM|N^o;QzE+cSG1?+=& zDkI!RHRk`d2Y^xfgC2H72~LZ$v~`*RP;=ojN=@=M@Kj?wQ!WB3{L`*FeEn@}G%mlB zptivjHob^E8EqNy$d)^o{oF)GkG+o5I%ZfZS(6zWF74v|O@D9k%0|UA5Ck`jfkKdoIY*#iI`f4juYt!X;5Gu?wX2(vQpI>YooFiGOtF-cjzB>&)cu7(}1xocy!KyYD zKAY%;2$@t3vxq%fs+cWppq1xAU()dWG3)YMv}0n~S<~2Vqs%M?0BZnbQ{F7)@nm#; zMjoHw+#Ba|J+8dY$zh7nO}hjl1h5>*?HfWHxHcf$GMf&Xk6VR4-= zck(9=j)IJipCn1gT?QN#<&6y;?{9Z&rw#vD{?@)B4!XXG;A~e%!tIyxP%qVMYNi(Z z)dySZ&w>EI3mp*M(5M8Z0|S@Gb|@N-FA57LOP<^X++1@wN;qdza^S908NDmd_#w(V zzQYG--h+N`yiSTr?wY)n@c}XZ%G`nIji&Q=|zV{&@GOqSDf4^`jf>=;)~ ze-lFS?dcUJU_|MCCwGbadZR#AtEuB$QX|T%wG<6iGED{ig@C#k$GgE^BP2yGPv;-G zpehMB^?qt~n{P>F7&qlKm&*xl@KQ(@$g}mj(Fc_EqhMY3)6jM6-3`_aPB>u~Gm5Do zzBlkgG*3WSc+fUZ5lW~XSgniADF&@4qUY`c>mHH{*EC)5NL~WnP!rW8uw>mf6sL1kj4Y8&BgDkBA$6l@;t|$A z^cQ7`!y@dp4iM^k#lAF!1vJ-}6%4$@=X-WEAU{YY^=SG+touerS34@bY?UI29K_l7 zFGFkfY6{RWaR!N1)q84bQiw_`50Zt&R{Od_G49bM@(K_e!rYZ9o0WtG!oA*6#z`c64fwk^`pFA=?KJMFE6slGFvE0Dy)CPG+AWlBF<1AzZ7{ZJ*4eLG`|@43qLV>xqp)jEsoh*cy?{mgVGZ^q>ek!-JQkZ17)Ah;kOEbCnn?yQm-H ziY4EZNqVu}T%%`cof$X3I{USj91f^9sS<)DYKgZ8j=>gljC4t7SAW_;NKaLjvh| z;dr*FskJh1y|Q2za6vbCw)n8+>za@!WT_zX#!LH;DAQ+@t?IG`{lW5sTRG&Ejqy+S z=Q1^aQ}=mcx(s=~Os-=kSN@kfw6GnT=s~=k?S!z$h}M7K+FbI)-OZRvn_3HZ200OQ@zoif$o1kJ$D7hP1W3K z*cG_49aiJ@aGjJI{?LiW**mvDZ@>Swn{-Q~!kdw9mkjw*4$tD#6 zj~NS(^ehzr1s@&iIc9JLS^!At{W9S6F3QwI`Q^|EFn9o>?3-ULZ(QDMoW3Y1ShCAB zdL=p+k@fxiI8Yr)V-JEnb0e{ng*5PfEqUiPlE`>AP*UFCU7Vkd`EAfNZL^-;sR))x z*6{Al<*Z{-#;|&eK}^cn|JKn{ECv;N)vTP~>D(U=irfbtMRFuei&6vL4vn^F3Na3C z)H25J`QYaUQ8C~yaml>NkxwM?dVyey+4XX*STWMR=n(5njR!hmVHp2c)gqj5O-+$4 zMVi9mR~{Kl;NN{?^Yeg4BOQ+a1SC2i{sih8@LRbn#kw1LU&!1~2gROtys&!q_m%}P zGnZl%O?r7R)Sh#8nmqWP#vRS42E6r7bn^Ld@ZAQ{;=4GJ^)_70ql>#Y8S;SBmwGw{ z&mdRfDAW0o@70q1At}U1?NTC1wTNdpPONY}Z8Rk>v^Rx!WywqQSf9GND{T7MbxFm& z4#(br6f&HgGxL;GI#T_GOsCW`XXm7i_OHX^wTvJ!tW|vhSo3;HOhf22P=p{av{3** z*1uAZciK}6^F|u|77t6ZF7+^u`3B^BK%plRKB95CqGuOgh}1y({w)G*FbHa?n30uo zRF$Z(7w~=&cXidC=wG@1a3=l;Fopv+1PjL=LIe|cKMWBgxdGv6Uhl(7#lvmv z@3r-2r$*Nq?i3qo%cyX|cvAs&u(i{5hiA)@I9?t+ceZD)8UeqDP0GB}{+^06v4l&R z9~dWdWz88*cUqdN1^>r(IhzC$RJ#R}+rGd_Lk`^VMb^$akI zI5uvFdF@LCt#p$mg<{eQ`ziDr`je45#b(!xPPoIjT=VP>eC>?}zB*o-IPt;WFRPFI z#Gyx5z~uUu?*6SYPVbe13K*PEi-)&I)c`lK$kVM!NmJeInL}&aj|QSUHjPO6r~WZ2 zIrHx!NgPzuOxNcg`H3>S0K595{=5**3fk@c@=X3+Ui_n5v~JMgeIx}S)HsM-a4x|*Yka)e6yoc-`^Vrb22%R6y;_O9TIWE z9A7Imz(?`Y)iqpcmCXhE2Pl2ypGXlA!KRfALQ}9|W%f%$kE}Y<@tCGxn?mvl2rg6l z5h%|q+m9WUxTyTsK>{s?Jm`xb0T%p07ijkaAG5HcpY327G@#$G-j){I(0~GKtHbr5 z2IfuWLR#l2Gv=s_WT|9?e#{SM`o0gSr*6L}BM`MuhA!+91)1V!%jNCo@dN{87|>0| z^^Zmb9gi}92AlTn<<|(>?>$?80n_rO`&N`Z{{C^Vt^H+3x$| zmLMw`I44FM!XRbW3A?GdFoawSJ?_DaH!f2&`i_+9HFuvQe8KX_e6C80e;`xrW}IT) zV<+2Mja=NYe8y#`91+08gs@y-V4Oa7wBmi4JWc3~zioZc9cBDqyBZ1uiYYc!-v|CD z=dUBKzmt8sQ0qt(m zoP3@)9sn2hA|}2f&&f&?x$5f?V9B?iOR181%jr(Y9L$uWFiOj-l?WbM3|Vd9%~}|3 zdGdZwO?Ex&ozCs`T1gQ>bfXd-dv483hl4E62W_nCQ(OMJIC)itCk*z$A1V_7;N|izk(l@0(8Q_YS%tVnjWxqY z?CGd-9RIt+fq5DI#>P}2XxxZH`T&Wy4p*U#_yj4 zEaS=V8J<6@3LDm}>YIO2dM>Ll4L-^DJvbInQ_=-uTW6KW((nK(xQZnj7XE2a zdsYxoPs#@qyQwS)g*_t%{ofW78}gNY2B5vp!14)TtGRe5ncXB)@dH{l=F1I^;8ou zMe=VUO{O;hr>yfSxfrFf&o3%aVxsi>&t4q>(LUPy3XJ|NAqR3Gw8WwOUyCC);cI}C z#YCI4-xHldZ00rhbnQ56v#b^rnq;CQ z(?7DeP*77ig60|4)z}T+IyE{gFp-#R0b5$LJ2P(IN0))HAo0Lluw z_i=S|<4#e2Y}=v>y5*irLZ|-utZ9w9lV+{{-^xM z*e8npwF)1E47f0Q)CL1CminDK?)rM8hyj6IYp&i-w~907)_<<4I-uW?z5bh5xPC|C zvs~O{Jm0=GW`Gh#ZG`W64P4DTJ-z&U!SESIH4v%Qm8n{42C%sjq`L&o3|}Aa2-ZhG zCK+q~7zPZ#MtCVH(4YeZR7lq=yz~zcxG*qS?QZ5QphDjJhChz%wvsKT-bx1X@MIS& z1Z0^C1b5|p3N~_NVC=b`1p_+^^zlseKjREo*XY-@u8B%up!mtg7>lTATF~t(T~|Aw zre=28@I!kd%KVJxn*dEzVvuisUuq=x)_g<9%)$K<$ywQwR)Fb!mLOcPNuK(LN9^L7CooVX zW82JoH3l)m|Ky4D)f&yooJ>Ub7tYWvLbWBEx0mlZX`fi3;g_r6p|ma~$C%yusQfom z4j?@pollcnFWE-~o!=`doAVgiy|A8LErY-^LB^T9@T zML((e9Jv$$n|3%M%CiQPZ28~QtW)WN4^DLe4M5WKv9$bm~*S$N<2`21W zYhB6)kqQ}V0vKPH{t_P#T_cjk`fqT%Ij+ksmIso4F+UjdRFnph9*rj(sUT$xya=KP z^fw7nno)s(UeLVBEr{g}FzE)C7-G?KjB*mht=hi|+iivGcV&M(5%qD#1aTy#jm?s} zOop2HoaYin4}ztZ0Uz_xGC;sPD+@HL>;&oAZHTuu1ve({v;tVqqN&1qQ@{Dj&`rw!!bId1D7 z`1C!{Asfj^1U#cIQ`3I~@obQ~$P`{{0SA*h8zSor4;@K5rP68V^(y6DT#@_RBZzp* zkr3^@Ib*4p?ok(B|MB{_48!{&S479YUfrJFLH*R9PF=h6qb#aEH-tnI;1YP9J-ZWc z8k;>c6WKQL&OA2}XmbB@Sbb(jiMz@+8D}PO`wOs#f5bl0NjNKGX~QO&Ae8{ ztne`5qu#vsa8*mbZbTcxBRFkmo|u#)JX`})fMnLxt7#&I@3D-)CgK7f4C-(SZ-f$O z+josTIhWn){$rq{wZ?9iqoU*f8sF#V>nq!zt>%IWv^TLwK8pU{J>Cp>A^=v!-sq?b zkJCMH&^_O69Vr-YY3F?Og?smzQu`UQWd0v7fa)y$f!j+!eE-kDN~xg2U+awld~EU0ggJZ z(8m=pNZyQ5_kt_SKWumMnJXi-<5(DH3^PUsgWXB|X$GBlRt6$@t1DrdQ`)?AL1mOw z2Nh*3qV(SY)g-gc=2C+|g3}N?=rZh}p;y-Xuq#i*VW4$2w&9B$A7!M#R`ndEi_oGC zKjg7>Ng7>w?&3$&Q6JTOwFQlsD6c{oY*g zIehto7L;LS=s51FSs){4_!98qb7agq&(4j39dO<*pm zJlmn?JfyL2`Dl|s3;0fpZO#-`cpm?E0_r=|PC_1lwp!B>1q#|hr6@-nkO8KG@zHfD_npiEPLKtkwQfs8ORqfNedrxh@*_^46{CWK`9M)kw8Y z10$HiimV0me{yho6&)%*6QrC{^X^|`TQCIQ@!@`^zZoB0BZHn1A*=BNiZR*Ik@}GI z!+8^i%w?#j-Cs-cGpM)WL+rHQ`|4GJ96Q?VPWN`~eZ`XNi1a8aqoO_Y;)VYkx&knC zUJGyLtg?A5?}%Un*XHT;s?o0$8+#Z+rl9WzdoShbTDBX@lrgFtqM|}>4s?IlN6kDV z?$Rmkfw~bAZ%9Wp*#060!t`GofFv^qaJQzNo2FyEnLz24D|@qH_RcV_sfSoLOs8~* zrnk`|MKG!Kq~`mQhUPPE-4eQG3bLuZX`7c?tU!Tb`j1@%{Y>eLl~Ppwh@gKXe90Ev zSzU-tnepg;QD!Cq^~p8hgQ%!P*Ic{hG`~T7m=?%GWUP1Ua_N8(tVjVjGX*#XLp7Ds zZkF7QNw}ytF}zfz z7n8OqGZeo1vg1Dk~1htGK!LO+GIq@QOTLt<9E(^ zb#L8stKO@6x88qj_MVwFy?S;3`q#aBAwrgNwppI0M~BYynPbBSxg;YVOAouXwi{%> z^9R^4)p9h@T`U|zGFGXPi15spQ+UU8>Sn@dQml*v6=K$PdL=q-?v^|S6JPrl5jg%W zhHSPd`q)+dg$SN3ibSWd%`c?3pKy*~HKp&9Mnt%{^y=Sb_gy^^be0I}0Ht6DYXXgh zeb({3JWtAVgA!*`yJ{g{WgE^wsIK93^z&88wX+*K{e!7V1|Tsx(4Zt8jsk+X_UAow z!~8()v5*su_^x$HPbXe2a6X@7ObX$bkWZ7KV*gSuVPd@oVP~?H#`dC+vZ}T#{?_>on|nw& zWtg+Fe7DL*5}nQm&&74) zmfXGdUdn>x9)As@((pA*xx4%bflH>n;;>nTv#H+UPz9lNqs37t&gk> z6Y=O}Y+i1AmM$cuYbtlER8-)Onl~th!$0azf=~6_7ZJ+TCVmwiE$gpj9LWzM)fxh<=S+33l zxEnD`)G?sCt24N*iw*j;`30$fojur$wrU_(0`BCc#A(EF@JB_*(x&l=l;o#I!LrQN zN6hUqhVnUF4`CCYe~g@%6Z>dky6v4yZ%m9BtrzEKawE4jP{fIn=r|M74{PBrYt}HKYriv_6KG z@t&oBFuWvfx#jpy;Iofm@&lh0vi;)6$tmmwy_tw+#6xOu=E_)oVwN~{g1gc_U%tK& zu#2#5yKEQHOn$iJ^xefPI6oT#Iz8P&-fQ%3DAyOnXKPnAEd3eRpUaR3Mdv)fPc%xP zTag`7^?tCjWn^f6#;lAL*he`P+GsA_{o19fg1`3wDM-$$1|@rZ0Vv3($0wX8o)nlp zD6ew8Ahk(nofNJ#mTaggp?DI90TR4{P9LZUyz!ROapBqkW~^roG6T z46z-%{3m_cznj({Fc9YD6z1dT& zo6O$%HBvoOvmCD$DYIQkRKSZ&Pd%BI__5#E^wvQA8Ry%NByhanudxu-{Jk~4K zk{@RliDX0k*J2t!meFTQ>_*And5#;my{j%>_a5rgQnA=I)0J13<93V6beGq4m}K_9 z6|5`{&KwoyW_dbgPPq+po8hw{EFQ#x_oiLkE9uxJ4VzoT-Z1X`xT&7MDIIti(V-vs z6=o6JK|7BZMq@%S(tqB4(BfY9%c+z!6_TOJg5jIT@sa0T_+}KV0f)isUr0@*I@+A) z2bvni0}s!zRq&E$%gEqr0<2T>F9;PCy6Sn)d)>Mh^k&dr)S_IAI1mYZ$BJyS+`9FC ztVFbosTI%O;l)bQD}H>l45CiIdQpKZN0*JcTJeq}Uup0Pp3w_mbh8uVqCq-hj}462 z-hK7cDc7{7)3Srsj~OZKj?LM9%@)H;gG3!8MxJvVhHVL$H>mK}Fz%KmiwE-Za>i>T z;Sro7V$YU|E@2+@WHz_G9-onKRx>9C;Tj&VWv-vwzf(9n(y>C=?IA|RB}^m`FCFO6 zt;Mw4G|)0BJI8|54|)>OKAthdM<_|*f(+hY#cg`_xwriN*bmPU1D(VxcVW5Jr#>e<6zx2+6RU zOQA+wlodNc%YY;>BxI_x)d?)_(hM*%opfzd11Jbp%XeRsXMQbfm2{$XiYCM z$uN$0C@5Q6S`SEzh;)hIAx6q@N1frxqY;x#+mfA)x%Brxd3j&%i3*r5<0<%BSYVWb zyU__j@7GtF4_%Pn8|M4&hNh9r$4|ny=*xx2XKBP3)EU-n8*)ev7u+O# zC5Iq0$KcK_Dyrct>$K8=5A?qIQ7OkvTRv2-+?YQ-~%&(zi)wa(AN78Q-R`I#d7l^h|T!~+|GUC({LUpV-e zHXa>5A@WsAC5gwmx-~{jLpxoaOtz!7_2dyF@o~2v@Ut2TGD9CNUcF(K&VtreEp*9K zEs+FG&jd#m5F;o2?A)SX^KLNat~y}Y`8RxtWTR7V{p z65a?N^1EOZ%)Yfqm4uj?C84vA;b| zvST;Ct*vc!$CoO2ZK>4{F*FQXJn?)9bY^L^h0>X|6V-uY(vL*Hlw^0`LQ^4zsmaON zHnH(u2qE3S*WyXDpvuWLAFTPe^HPp}2mgc-eH?1(Qj# zbj;fI*_&cQb|w6h2Td)c1aeP72y^TRK5~c0#v7Swjp}i{-4GSbBX&yQoM< z-_)--O)V_hFW_o;g7yoESYyW2{33Ih)4a2Rm;@YoYzn)MsHa1?YnT@<4WSo7UMk>D3n8iCiHLFbIVpCp! z;9F@t$*bw9Pf8wOYImtyTAGvo%qfN%k!B8-V%8`%F*G*j#WZ(xM6!p6g;~QcG6}a? z&F!1Iy5UBAkx$8)7-C2o0vo6eykf#5l6nrmZXzn(wGUqG7-c7;x3YsSW|M^C;=>G3JAVIaQF`xW2^|+yA zJ!ET+ZE5JV0dcpR6bl$)rW57VjZ={qrd@OSBqi_FxFWSr<{pv;@fXCA^v^9c@ zF_Lr9og~8(D}Ib`#&Xpa;h2jVS8HrA7;Aj{_oY2k$Ut1xig$N`?d4__jlPM9#Gtni z6;G5=6C=ncXE$-g(#k5qH9JfQ{8L|V?<`i8Z*E>`!u6I-=B{$?>Rzf@=f$f`fe7*) zzbp6rciH_3isq%SZ))r54i;(-?L1}h6AA}Yz#iF>5y>?v;vYwl8?!D5;}z$`yozNB zbQQ&M2Q+a+UJRGMRNnTkld@p^F@EBQE?62!5)AMD_u2=1;p2r?8v3&MR*fpEH(Wc< zkpy0C;ylHIAhXpeWv64qH`G;iT?=&E+O#_9&OAVnz>KeMXWv0%scSJ}PW{lh&TXwt ztYI~mmxoQ>C7MQr$nc9R6z)QE$F5lqitj+E<|Z7jr%%juKs9sy8>VcS4Vy2IPZ*Tg z-%{hYc84tSzPd;;f!qgTcmajGM?e3+MMOWZAMV-2~;CW%^OIht}tq@|^W1H+@2(>dFf zEONJz(qXLfmPx)oSl)ynK?$$b6#w6^Of$f^)w54m7t_96w4bXBW+b`zYlk(Ya}4GS z8STsULpW@{KBqFMy#E1u=B0r(T^K)H8W%RJMKImaXiry1hsOWSa!Y%J%wBI=BJZzn zadLFWKx#K;HyLZ6o%6pb8gt!q%qtx-5F$RCi@(Ym&IQEk)(T?7IYdNNHhUA*#pnrc z5}bso>|Js&BOxU%_F9`J??CO^XdWf2IHMK|i+Ei3Tv}p~pi2l?SUH*jVhPNrSkX8M z2O46A)UR$^iU?vRVoV+w9v%)ab~nAH1I!Xgdttue`^opra>;VFiU_J#b1sPQc|9{0wao0-KR{aKx_1&QBT;!?O5C{gy{VFFHO?RQx`Pidtsm1`h0f&JlGBr!bemyvOwTva6h9gH6#&E-!O>NAEAR(up>m`U_7$_W@0^S%?qbF(hzSL4-&EJQ6e#{E$W3&MJI-QPZxo zk*?$c$gk@KHzKp%Den!P$=uOB$9+Uh&Jr91@@KCSJ;H_p7=b7Bnf>TaRV@xU@(1^p zSx}&vX_ceC4VxI4b*Fw2JR3~|+d@bAN9A>3*rg*bsyXuy^36(zX#}nk1ff71NjjyA z#7g^kpkIXCDa{t4(-E*XKlexCq7T(iad~i23Sb3u(6tT<64uz(rhEPRYboYn7Z;cI zvaRtC<_$?%jMd)@;HJC2RK#UW2;ycMc?>q(!Zw;JpJxG z!U6=jGai;zR!T*^7%m3|r>7FJA0iDjm-Q4{W_MR`nt4oD6OBF}fjQ365}Pc#TfK z8w9nmtc-lNmUaF7sv>v|IZKCgVehDdzOj4w>e`yQu9C9LK&l+bzUdpK0O-(PY7wEE z%cF+k;^NIsO*cF|O0=}JCO5pzfA??4j-G)X0}n-0B~An)Na7v{_Gl;JD3gj!vGM2c z*#|_-A>%7J6n||0x~;3P-;niYsWm~?6lda->%B3by12MV-qPFOKR*qvmJ}7Af+W*4 z68LJy&)u-xS{~)*<<<4}F5d;_A69x3o$J^<(`%ZFr8OVC!auh2Le|vrSG4?k2{L}d zKAZNh&&itT8{NB>Gw-hMUt?N2>Jg)&qO#trtx+s_?!SS3s#sr{1jS(H+>akGJB(Kw z!v;idetvxzkY(#Ts>qeD(_G{+LDCs!wR{&`|JW6H(Z0Su$eM+UI*w!j^lP4Q&HxCM ztoXV+<3@73AxkW3oNfBDbeZDwv$DD+S1O_TsKjX+8f9z*pK;deD)h#aHNAD~mO+(w zaddQak!>G$nGql0zU;I##g+(OZ3_#F;NkJk+oeqd_?NFzq0iMxV!&sXx?cc7%9}|D zFo6{92NVAti;ej{)t+<>eP|S!Ge2NqSn8+?e_q+gbd!mVBmzQM8YvSpN`nFNMe-!6 z!OW90OASoyiHeD}%&c9L`ti-Nkjt91kq(7junacdxS+51>0UDWdTlZ2uWTAa&U5qd zyt;N!p8Ed%RWC0uss>Q|NjHhU&Q3}`?VC60Zlo=V0HEaN=C<9chNh|~w`A&L>MXT8 znZww{|7i&*%+%H2RPVGo*}|xIhj7(ta4v)6G74=3ph};0v59x>{OE zJ8Lrwo$uu*$TG9DvL;>1gxzL4ouh6QS~jh0wamFaZK0u|ag(sF*Y=LSeki9Y>U{)0 zHw=4O9kkvSmuH-no2$!0*_mftQ3P2Xzs*4_Y>J?H{cJN&elL^f$ou(u+p699>~esJ zB4GQRou*PSq3|3X6O%k?pH1tfp<;sqv#Y^Ic$YA9d78-GZCbz-JoDFBUi|w0h+-bv z=90@Er3dU@z;r()J1cD4dr_Q`JlC*P9X7(1D!yUNTwiy)9xaSfjkt88rhdu8?qGK# zTGSyLew-E?%c!fTmj$b0c|2XHyT@Ub2!H;;APs`B)5pwZmR2j{%Oq$xmKp-C7mOnE z;tSX}*F4%fa?rQCF3Xg=>|-KJiUgA0k~;F=(m8pN^F@(xjJ>G*AJ@cyCxH26Br3k> z@i)fem|~RUagpFi?@^}beUS&vvz1-IqfNM}s7K!Ia8!5G1;Js>Y~6rGsn7}V zoC?p7ckHq1O^#X$`^Ugjup*o%(zRXao-JPb11;e53r&i|WTmlGaO&)|_-0t=GWLoO zueiWou^9aQfK4cjgHPUne-bsHQD=dVw*UC}$2p#)L_#0eogcKg03lFd1~^dVm!q69 zZS3U?@Y5#v{Jie=&wpL_qW~kiOn`b61w@UN{Olfj)$HHDGN%H6^&DRR#p5#%*vrqr z^@Hd)qw0U;!VF(rv0wk!1&>g>O?eCkgS}JQ)Gi7pnMDOY{cs+*`%?@QGf5#=iPJaZK+fucxpbz3<7sod{g}LX7)T=oIU|p#U0%nBL0iMnh}Tf1y#yjSc^;MdE99L5-5~++BXaPw z$LRQgdpLFPN{SpyS20}P^ag%m#Fv@M@xMR9B(*z%aZz}2<*h<&d#3=rh@3Dy`7!Fh z@0{m4_I-b6&3&mDm!+R?(%jy@ToBY|X}1MEp|2@KL7!qY!i46~^TVb2(`_*qdLBg% zmKz;MA6^A7nkc#NU*lM@Bnpum8hlFFm4)-@+b#}#n3!=amE14vnCSs@3+kK((IaYN z0VV*O&>2K8)NXfB(J~jNg5WYZqIR8W4`i$=1JP_{JF9c_ibKbM(rS}#Ky{E$Uh41}P zXnQ9p4-HI+6P&EAHBC%RzS<4NiwO(6ZO4O=4I5q}m)+f32{^2lBSL47<&3u)5-Vh- z{)|+tdVk=9xl;Q03b8TCIxo%_t%+^>nc=9ZRF+=2tH$8)lg z3S)~C8mOOgxptDi;p`urb!q+Gm5JZ?Cx72>AKuf~*XQBo<*js3gJD>eXMs98&fGHhA!)!U0MB@q%43-ee{GdDb!A?hjp1k}c zaO`0a+LE0WorT6ZxH!)-`sL3t!ZuhmCPuw$w210T%~AE4OE(jV&iNK7w5;&zcTIzkCEZLQLzS;g0mZmQ zHa%ghseDDCiFV-ky&(n+4-HMOST4_2#p|3|Yg+Qi{_x=jI2^$}e~4iBCssVMgthSx zNr{ob$-40s<|3e&5#;w(G`uLF18Nuv{6-1u54rRdT>@r;s4^q3&Vvk)nF~U>LiBu)<*>_&HpV5eA}20bL4C?*hzD~0 zUeYr+PyYDvWBWKQOtm1W3p*qJvNHS=qT#xZQpeG(A3uILZ-=Iwb^HX43fhLsT&+H- zL8tdC`^Djz`T00#MK8G@3s7&zxB5BAL+&GH7x@I?5c)9BQFs0Ao3LtDS65k^ffsC? zbIW@Fej>+WD84jYyywdkQfOFP7kqfI*RYxmTKM%^@QFYuX?ojcDLDh3&6%k3(T9LB zaUXUlwP_CHqMDIl_##rTz$ja&Hf+89pHP|M_-UAux8AL+AunH&T#vo-JJtdM_BvS{ z4ws#iqsGC(vAdBUz;vVizeHmd@zrcfZ%sK+%Q;|(UqhdX zgS{;rmP2*@H|!FA|NeZEm=l~OP`=vC;|`H+MtQkGe)VqFa@Cf}^*9NU${{Q0v4pw- zetsNu>nQSAGT^;gAP1~MoBLpOwaxdk81V z9x)yg;=8>U_ZS5&Xo&wmVJQB?vX%e;!h&JSk^8^CUp@FvB&&Jj#@p_m9(SM^Y~dJy z)x86%DSJ`F3baodYxCk*m0@aXDo9!%<^tuz=*@rZxP$P1@NsmVp3SQA+2W=Y20gy%MgrP+{R-L7q=PR2$ zRRzc$wE;r}wTp}PUR7h{<5m#(K$oiSEZuAr$r~BvK<8;*!xA-6pO1s~GaEiIHg=V6 zGCa=|a4EovEWOd!(SeBCdi&Re!G}9f9)3349)U9uz!Y*rup;A8M<$k0U2Q@{!5pMi z3@+sq>zp^zQS^`HuNuks`pRLaJjI;k_|6-U)CLedw)H{uyOW_B>u{)qGM0gXK?fqZ z-_gKO{VGdJO7ckP8yU%&o}T{Yn$SV}(+S?p`EcVMb1fVn;r7Y-XA8>xD^#YzQ$aX= z4yB`MT-s?0u|D4)5a~c*bYA|cH9R3&%qjj1zX{`w>DJq0B?K&1XAg}(Ilmuq^xW>M z2{^K@5e3yALGSx7J5fDiu5W6Z4^an-<#6DS^{bDbQ?X61?YIGr01mrpVFRq!`J`4f zV)N^wzMlrweQ21nKQgmM1(cgy_naVJ=g;3DGPkTnAW>7`OEM-29UlF>u+hUlrYHz+ zq0~_u*bMf}loSOxumn5464^5s#tv&XGchr7wA1-d9B2j03pG9GzqeP*%9PXsKj0rU{eKJ$j)$=n|RCpOpkL4P6$sZWx$rXiW2OfRLG( z^zLjj@C;gT)(YwaKsXo5Riww@33t(?p-H}&?-*S&=xRn{q8x+`3?jB+WBz+f$NN9c z+=n0oabBCG`-$UE2-DS_3Y_uI!yeZp6brutl+;U!z5xovc zpB`{QeM3W8C4P#Xq~dkdNE`{j=_Tu-)oO zLgURgC;y%icbqX*17FR)iz^iAb7Uy~Ihe%~U>;LEDd8g^U!t$QI`bqLA}RXPVF$gO zn^gJSoCFw4ATlOq;%q8_sCn1hs{;!%+Bqs%X15XQ)YrfWi1>%ETy3{kG7pN9^7=?G z>%V`?R9@0!5ol^f>>vjqEE(|21s8mR$)ft0}>Jv9UYyN7t|N#AxRR#&UD3D4md2TrFk&T1_mk>{!iMA zMj`*&*WG>UMjEKhw{PEyR_IY;>=l3YP1B=Y956FF0QcB^-*_zE1kA?HB_^hS3U^ny z-M&TCDAJgk_;`_J8$%q-696BhP$m|{qw7L~ZxX~dU~ixQ1TxLm+FDsN7h5NLv?jYy zT62(#@_N$0zf!{&oy9nl>|~|jr^9bNmde|Ui~-5Ts;8r*vjJf@kXadh+4>7k0edkh zwFvR;0!)p*t7{?q&qln#%I;)-lZg&;=N z4wu&#u5Z#LGKgn4cEnBy{`0G=xmtz!bGM(b#hwNn){9lY$6`+zd(Wk!0aG1yv<+@~ zL4CNZ`Yos0JIcc{=%oUAte)Bj$BKdHAN5|ywepJ#AN~OBn^Vq9@UNE81acY_ zR{)l-5d19!V1~SO7?LM2l=k%=wM|Uv`GvMjA(9d?u%W6d!Bh7`|CX# zZ9tv0LVHz5a>grWqV@x35R$6_!m?=)+HVNhe+EZ${TUrfk2Yj#r+=~d#3?zGJ%nBO zxMtZNYhwcEDY!yi!dkzf6Uvyt_M{j$V z1tHsKt~N8Y47DR^Nl9Ozt70@nkwT6mSF{ZcV*;H*ugussKo&g;EZ;jBzg^S{37OR* zLSCzr9u5kU(d5IL*jr^T7N1Vy?#}q?8oC&JjBSB@evMC|KVR{kk(~HtbrLrjWnWK6 zU2~|2qBsULU+{k(;Tsj$i^d#6;Q(hj1H>4Sz=Y{1l$gV*TPJdu5FYTT$|@-S(9+fh zR+y`}q=cJ|O}@CeSnwzoV$V^R7Ty~*9cZ`)(aO0%F5 zu&aIllLx3O!1OGrV+6H?R-OPpGoT739=Ae@d{982bOX4b?EGp2ETmw$P|n(*SS4K} zfxIIXWqFwW*1LY$`9tE{wkzqHH)LwpE5;AhOUL~yz|6USJFPzpaX;iMdcc-CRKfaH z!C<-q4sZcBzzKrdl)9}{ZOucnJ{*|A=5QVk4B+hDZ~Xr6X-)251tWZvj0b%*p}NQ2 z-Tj0OH8M+%kB&-H6Q!e?ARhvXg%)~T77{{p<|w5O)e@SPmX=@bP$Ker)a7ef$XZg^ zfB`Y6_AP@U-^jgHsOV8)48AD^CYap@vcf=h_5*z&0(BukfMl1IiQm~Sfuz3a-Vkm* z*U3*6APVe=3^HXy(4CQ>(kYrI|top3=9ltP7;E{$n5XeL-h^r1jFhbhW&TpD?R&iS(hx^JE_?jwaBHa8E)r&O16r~fRd_6QgP$E(76A)qw}tLfi=-iOL0var_4XYg zc`p9wDv`j=xp7kx7x|3mh{P*vpML8>#Yi}H@HuT_T8Fgj%J7o59pzd=#11x!=RY!k}Q*|apCz$T7>Mdz6 zDP}ayh?aspI7Wm5r-NA~*>0#`xQOAtbg9?SsVWshK8*z5)fXVM^U{X{VPQl9qz_Rd30(mivIj+a`6jtM z`ITDO-fVq-RGk?F%mUFd8{hkOdiQXvCLi*D0QOa}!T?5$Jq9fpMD5?fp@zvvAaq?z z%QXK@Xaxy6%OK`fBA_UsL?ug*P(YERWC0~p zpS}1(eKYU?sMQMp{RY%*?aA^=A3J8-#t~3CO%Jn9zhUdna2;5 z5d_~CLGUIC&%jT3yGQ@R3xT7gj4C1g@g#il7QR1c_xPD3f{+^G{^Dhbr<=nM1)Lsg zI;q&2IJp`+7$eq(PIgwdPFCj6ue%sKIGWqqaC6+_xOeBenUj;95GUvV^FD{IgDGbe z{fBo5avhO*a9{Oh+|rnvr|Nc9^U3Z<-dLcxPOP@wm4}pdnQNJb?j?d^QKXBE;_zLim=OKmxvrWkB!| zWRM8&B7)SK5cMXtI({ty}1qB6R*h@!~ zPn{*<`8xvho%aBS3Jbfuy)>l4`F*YaS)$L*kSVXnj#brK{ROR3oA|J>u-+OUA96~{ zL-ZFe!`BoXIvJ-gP?&8m^a*(%l?4!8O@>he+-YF6C_AbELrvWu{&oV_w94$h+Egy{ z$(Sta!#y%T`J5z8@1+_xG#vf;bB1Yx+apquHQ!O2QmqoJ%+hgpIoC1gXeJg;PQ~Tn z;+{W^?|JPeC0fTx5k$i4!cU6Y#6s6qy>cB6Vk)j$pN@GaR#8!1%l_<7OxA;W_l=E> z`*LLz6x1y&vQDTWbPUKXobjC7ryXR%E|Za=;uW7f>BSx&9uK?;3}oZrSovU?<$YrH zT@MXkCuIc%%KrZT7TwAI*GQywt4<@x(@>&@r}p;wVd3F@sWM%~{(X)gpS{<> z<$X8x7{kkL+R@vasj`?V2JxITI;vA_J<`8$@6IJBJT4X%nXsXjfeL5Kll`M3Pal+l zvT~TGSRzbRRx$p}>@3Q5qI%YId1=WC?tDLV%%*g>)D{hcH2(O}yRD69a3g@hYd3yt zd*Cwdd5L3I_U*ad8r$@_IWv@8{u8*9h=?mUZ{9Q?Dlo426U4?OBbKPhrjgsr-6?WI zW}y!iU0+{cWHoee%xyM4EEU4Uyfup59agq;e^?=1MIn9j!{*()cVQRKrsX|#Uu5S- z^xV>T?31rhJDuD+75u*W#xZu+bcbSCMgq(2c(i8^i_+@z9hSg)xJYJwecfWBx(c_Z zSGi3xEC+HIhKo@qZJ)pX{P{ST>aJwi6&f1U;Yy`qIJ3O+dkXd|^z`UJdT&ip_pL6p z_cj}9oC2Y_OEiDHo7NDRc9!mA3}0~tBjR%TBc9#y!FJ2fpKJ6Q&aENW1eG^u+Iwz< ziX?~MQnXka%x7g~#qbX3q@>A3t6MG{_atIdySkp@o>RzeBh{v2p1D1iUy*@eF<_r{?Y`e^{83MJR57+O0~9wP})rUvyRgeQx6dWU#)``VaJ`7 zl`&=22&W!-lR3G^c@_7N3|!Vbdfg&xJ|^^QHXLHxeJ4W5H7d74R>)df1|cMb^%8g= zcG>*U#j$Qs4b`Sz{h4aswZ^Dj40#m_S@OhXD`S7KdTeQ2UXEL8f=rPsfmFf{vTPo2 zbgNFH?a;l=GDp))ZT|Uw?VOwo$O0MOMPKW(u^9oeU!%cBb@-X`G%S4T75gSEf~d6Uq|o>Wz}MJICNR9$L|Ewd9fbh z`HsQ!6GR4`H^+K9D$V?Soat&i|2r@z_dG&PiGSVK*O+QXpxW9#5*eX=3n}Zk^4D=j`a(d??@vAU30Vo*Q>Up%9-^e z)pK5(dR33slN~sr*SbCP5~w^;k#3;T#wlJH*7TX!h4zdARB5Edt+qj4MJFZ`8{Rq z)L#9`*vS00Yz?;9X}z((Urpb0I?~;_kFKiBGrEP1*je7{Tg|v*TCN$rsk1p^^%fya zx*riKvpMtSe&=j>Zp}E6XI=JWnMM!gNz%g!dgV03xo_{uw)a!LWrK(@Gx7+YAADr| z3Pp_NhJRq};qtgwsc4BdH<8q;tw55g_*kxC)v!fR_^Do=?047dxQtFqJcaejP!T`6 z&i;&1Fn(s;)`#Z%)V}vZDq8Ynl~TBPZN!fim7&`F=JxS%wWX7ia#3FzUhP!~b&kPX ziH|E?zEs*V-I61_b*6daPR-wshpE`TljEcuHybzER_Ce4oGq+v&y}lmS!F-Dw2lxS zEr{1*bv=&b<5gvucl(bOqnkoYE3yLCtrb3*copbAyyYpRywvA4kbe7cfU@-}b#hd< z0;=_tFExa0#;0V)`Q_5~sH#8D=f^$L_^h*Yv#?hKzWURUF2ti9Rn?U;Z#3$OdT-vW z5MX(=c{Y<+3Bn( zAMY2^ws7uPn0n{uE?h*Pt6BJ#cQMet#5$K*o~rZg^_Q?+Xbul7&5zyZ|H`n4jmPEF zTz>AXMr^9Ga<~0(KyROwb-R6B@>oMldd%~gWuvq|%A+6{!-1&|T97K6?QkOHIYbytAAL4I_eoe{S;r ze5|bk?d*&!yLOB=+TUNMJ?5E)w$#tvh=m;V&f*)iWUEixfU&jF_OCaKkzF5*wGav1 zCyf@>=WFrIPrMzkO-$CMQy9^4NdyHIlvE%55mWl+TK%j0oPIe|VWaKuCXwUjNb6oP zF=g(RxvygJTADgH5grZ#iR%(q1Bz_o1z#DB3C$$#DL66yb zIO5cE^PR=X>bggJ+}DGevj-U}t=Da52z)O{AO!e7e}$XKO}rz+v_vXD3b?wn#Fb#% zzLIjV{xtvO<#fmm);sI-+n+R8isjeZ2H82HMr}|i&6R5`x%3+<5xz*F|+IR=pkKPY#%R#Jy6SO;?MI4TUi=Y|H|;nhiqdb z^`=}KXWC~f7KXZoAm2%sKX3ZTH6aJ{FgAzENrxr~>6K%wwkzitGo{YX&&1}Sau~`K zaVbaKVn0+Go-60baJ7Ih-`!@=*dgG|0Hgmc#hBK09$OA#8j}EVWV>@}f7zD&;c2p%^6=h(KhuYgQ!)Oz7i=qT4AMc z;$9_Ev|0~X`08~6IkVqMaZZfLMHgG!*hg-s6et5mU=g3VhIZSZ#-xO5K^3ipI3TX& zYD1nH_pw5zS4v5xxL+;#E8#}7bLt?9-HooQ=y^15bL4$wj^BuL#; zwG6vHQoYc{_?VJOq`jFwwh}F}Cb7o(o%s413?gJgg{k+)tc=ZAjdjGQ-Ac%-$U2y2 zM|WXglL@V`4=kk#JFN}M6u&(W5gof&nCB!UxC!38c|1Rlp>@^NRXb+oVDHH%Gah#STlUTCyZmnk`73n84;tJ{`$Pwv zo<1gP=B#<_%XXXV#5FW1tfe)ras>c%HjL=~tm{lIpmVc@-psy^o6O8D08Z~!W`0wM z&(hFydkB9jW@0S225PWsW0kI@$vOldgU-*l^QRd#x1GBdHnhO+`Em_CF(dYj+1AZp zZ0rw4Uu+^1lGj6i;+`Vy%Eg0R_8boMeXAixcC8mKivj*Jq@ql`))vlc$W!6_G|0_N zkKL7nrNYjmW(J1z{)-;}6Y1js(^!Rb5Bzmu5>kRu86;R*NQ?bUbyI3+neUI$*t7M>n-k!5QVU#C1wv zIc)3ajr5&oXM82D^x|>x@Tkg|&WGM5lJdcBCi1#%yckW$kQ;@sdv4CgPVIY&IqpX4pA0W#AxSF)&d6xFV>)2?X(u7)cHRNArVm$P`onit z#@M1;)9_B6*+V-E#mg!x4#ettop+x8S#2a^A>Gn3eT z;I(ciUi`sDOIOQ}!p*sphwrlpPBC)bJ#Z35SuFaE-Zk{t4Amn=z-oHN)fe zP#@KaYOiAFMfDSb+8;lDSk#0A`#C<`P2A+I`ZxA5*r0b051m}E6IWWc*IQj7mgv+e zs*FLw*? z@^NON>UzjtW)iV)`um_DxNZIRPt6M|gD~;rYZfX1HjnKKjzrv}7U9x=`=71;_oH6j_A}W;Q z=j^=J>^h$|^ZL6B=rU1O_Vc!=-4+d{%!UMIQNF$B+g2kwcP|;rnwf+~Eu_h%t=8~2 z=vig=^&t|I|3>W}By9jR4i1hSSyq4Y1FfF}E)uA#?+vbz9N=|Op@4Xhb z?S(8+t>VqML2|9eRLVPOPF(gLZk9e{eL+7GT@%G;CE)D2^f}@aLt5H14Km-_AG@v> zOA$taG9Ap}YAn0=ErrLsW0XfDImfDX_Gs+Z5DD!ap-ivSx13}a&E${N`2GF)x{a-$ zlT%-g^P?`c;XS1vc|$rCuu@YX)vef&RIJDVnot9TN=zU=cA42E?w^r7NN~`i{Pb8LV`SmG)B=QUqSG0M4gEG4@ zd8GSvtEl^wzK8RKb9^r!hvcqqV)Dwby0LlFuwgysfINJ834JptZAt}0&@FX-GY3}T%<)=Df}a6_F23S9SCi@p}_m$%4+pMb_5RYDuMbf!p4))$OHSXZ*>Ykbg z{WTi_Z9R_VVPlT&LbFd!jpRTbCyoNvJ&`V|ONjk_@1yQ(-)jv0uFzV0ue+{Tb^IYR z*>6nK+B#-XQ;lggqZ3`}IizuLJ|ws9ZM*tS@J4P|BfJ5CRHMB38b0?`iKbIf_iYb}o;pvI;!oq^R0f zL#a8&wJm~WFYqi zN8iS7P3$3CbE8bOF7xrMkCrw)GI<0y8r*5h(Wf-Mh)x@;Y`=eW_b!G^@$r3;h<47> zwKoYzX76?A&>V-q{}bs%|n7a=&tHSdpCki?E$Q z{LEgJw#_-LeH>z7N+1!-%E_Lr}Lsr?3!!NaMMFA9pmHSYF+nL(L%X_`G}^_Xhy$7_EQKp7%}5+Y{amk zKO61EDL5*P<7AdBp8!K#NXKufnf;=O78`x}l=9|7HfF{rC&CBR&hj5hDt?@q+LlFE znFL^eg)eufks=u(h}kKRU0K^2c3xYXGc|`$)U3{#l>6Uus@GtU0c_J1$LV6x{Ci6F zgZ)Bssu_FyOTQTDVS|SYKEj@w?o-5@KCTU1&6_uwGy%2NvJ%u@pK|yzlGFGj&SEH2 z>)VaNQf=XAmtrt!CUfsUL||uqmhvy6OTSC5kQui)Mq9LqmoCiNqhkX6%?x%Q zNt}b|ugqPSd+5W1o(;<0XrAX_LC$@ZR%oP?z@^$&Cz~FH)WD@@( za_Y?hTNSoK(6KaGvgPMTo0_qOEb2#Y57R)zI9}HG;B{@Z@%QIZ8Yv@eziOZ6?o7C{ z-0z(Qc;-WS*DFV3?MvPc!Y@u9E`xlGJ={R_mvcNy&={&6m~c@F;d}DSge) zTa^<-mXlaeewaB&vsX#3sXQhN#3ov*6wUv_3nC=Nu6w4X%{&=vX;GO4IIffeJRQl< zCXl!QStVo|rR53FWig=_!}Ckes65JAID7tm364$01n_pJ_;CQP#aP`<;N4jwnZT;M4+ zqsW~N*j5cK$v|=eX<4luW6L~2=p{=U{TiwzomipwO%`nYI(ycA{$RHJ7 z9^Dm6IooPb-j2$g26T50k~!C-7C94FdxMtuv5wNAhdkLD+FnAx&pZq`d(xa+)H~{x zR@AHWc^`zh5t~AYALL2hiTtR<&eA6_>|k8Z{H9EbbnN?$;l@|VWHIG`rKc$pKDO#+ z#d4UZQLdINe?3{52yqC=GA`=*!@3yVdb8@Jdgzaa@^gi8gGyeA#s^6DDWAhw!GzVi zv&*~*wqw@+m~Dxa6STocRnYgWiI*CY#G9(dT1$Gk99 zQl1=FcYNt!peFVB5LcOpD>W*%)#pQmvmt_gFI*a(7|$TrcT1be8A4gR(Vdh7evn=4 zl{^_jH+{ zCNxqxa$@FZTD4jkxc?sSI|6d4Nj9) zeB?C^UKg|2$?rVAB~E3-cZ&K)pV4iW!mJhMpS^q1{VHxg($>}U1Kn6BdOg;*?P{f{ zN6aF3iKVHtF@o^i!8f>gU}F2VdR%2v9J}JHjZ2s~N$1{hrt}%z?7fW1m65h~Udq2w zZ7ZXohxe*xsCKrMr;+M(*ZLnw#sgicO!{DFMpPQ~&DpM$__A2*7`PEXIx;QhJLAtI0PTZJMQ zpjZ14vHA;Cj4gfb&CWH!+K!upQ&pY%z{2*G!U1cM)1u+A<*w59%Effp%iG<1i@o36-t^t%`wTi~ zpGI2O(?UzvNePyljlk#-LQlw4AbJ8ZQv1Um%><9WjR_hPdZzxBul+_ZZ~m7kh41%2 z{odJ6G+))5k9SQS)a2d@rel9NViXCDFzOFpVGnQoW<&S(i1mFVU4HBF7}_W zvnMGUG{lR29TX!uYWo{<=IzwnbH!#1#-`i}q=@gqi$i4Z&wEab{_JN$PIDhCTvv0& zPxd=2um_8aTehHPv8)ctl#8Uryh4Sufq%O%PGxO zLV8-cwmTFS{g`FhAahnzGcp`Q8FP|(PFv+yYkyQGn1Gg}EcAy4p=L9%8AInw>g6Dy zI88@tETl#2Z6sFy4U=;ku`V^AY5P*McL*dcKR@50ax5q$r2o^DUZfh8yW_H0RVmi@ za*RL9+3F4Rgy%c!676s%w8p{6MC!(dif(xT1E?SI7W=25-ise&L-OY-!>zRuFR?^E ztHGpZg+-5RTn4@{MUMRw>+V$>?p0VLpw%)$PD`l;6f0d#af}azq$AR$w>@;=? zh#y53yC?aOR&B+y`MFmX_dtuV$m+|LOAH{~)*QwQI#R-ZwJ9O?Ra2M{ZQ%OgxRUWH zK0YTq`_4&z^ORC00YSm?|MCL3EN|^(h*cCBDOdFmQBehKtv6$;y=LqKNieB0GkTTq zdv=3-2s0DYZ6>C_ANs40j*hssPNM|k6$IluxI0RNLq%Hq>gr~>D_vS!Qh_za+JxDZ z{}Z*f{(0625hN?rL!J^JCkvheb%y{F_<4Q1Pend8<dt2$CU)Z*Zg383i3Mr@wFA zJZIx)N-W!kVZhnCOKfdz zUyJ_4pzHL>seu?;i^bb;(Mc)9%7C04^G$vRzpXV|PD6*G*xC|O>*JxJ8T@u=+HdmoPs%qiA7{|VF6m{V;7M{8N;uFA*+?Esa}U|QPml@%{N|{ zEWzb1FCmLv-6UoUr^99C=gGK< zK;md|)qIK`^W)u286*YYrrdXZrwRNHS8pA`E!W;h{=ee^VZMFJpgDwg+D;%#l+I%* z-(ukJ-@j&{4?(YASyJ*fo%=Z}0wLOtf6w`%{KJhbva1ws!TR044+-JU+_9j2PpzFOq9V6!DUc53^Y&pQn%iBkf zWip?veFe#CIM1*_P`_t!yJc!!)dQk|ASTHQ?`Uk*JDm;vUD@8={$M87HUg4JmB;P^ zB0YgvC>E9q`da40_Y^QIm;rqs-Q}3%WJXXL zA1qrRtU-43> zd1b+P1@N?>Y|i6WDixm@>F*sbw%qR1&}X@ELkda<&JDw?5SO8CQ~q#yq%@idtSA!E zdhVGkRl9oaF}!l%A#vaP9mwmxWoCk$LVS}bo$$KmofgJiC;GrDGQI8I_f_g_FrBDY zsL00KlbDYmFS2VDJvM3%>BE)5w{Hn?-ic1p-8lb9+?^BQ+*5rI30Om$Qw9e$VPdpM z@DRd_o<51v7bf?!y-WvU0iJYG^$8(-w&O>p(XxW^AVP-F3d7~nhp{ZM7`=X*)Tj2a zhpTL2VpvKv^oMJ(+vv_&MR+eMp;riTnd`dGKWgWvRb-}=vMB7lkeZj5r$q^~;CrC7 zh?Kdmj%(@G7`H|ZW6$BnOYt2#PXhmNPEi=ZJA!sXkwqWt_R5$xB;K6XX!x82t>7v} zZN5?S!fwq;)yW<-76Q)@Q>Vge%|oKbEDaSdrb^((%Go6GZH?v}Am$&P6i*QKD8YG1 zwigE$SA9+@^*q-bg;>BFhB%}8b!%196(X6Y|Nfmz2^GV@${14xfY6){pRyP(GG}FH zS5r_3fxX2nI}U;>R*1fl|8@J~e-)rnY-k6!#N7_NSx2oQ49|^|-I% z0#$m~8=`+kj`dH%x!cnF@wnL7Ae(;Un@j;1&O}%EE%`j!z4PTT_+v2RGI($8BUBnhnlsa4QJ)+XgP8h6P6aNPsw2R@q=Fd;a`+HV3@di%d-1 zAs_~WmT>V3en@EO0Bj9N1W9FOWr@0n=)AnO*FkX45@RT59qXtQ$>pt3p`-Bzj(ZE)#L z9J^jwo|9N-o@8&)(J2wQ9 zT23_uJF87y{ic|h3n-fP-aTdL?1?Y(;_#D@Q$})fGVaj>>D(WSC8CFUWBF~>-Q6n~ z85w)O$(vz zaM^)%ZVre0OVx$q6=X0yisCtfjx%%6DdE+c_;?o}1p!@k4QJkkGSkikaPkC#az;P* z^V5xktsX^k=+fY3CNneBSfzeD_I zD$bGEnZCAWcf$MY*Dqd@7`UNV8447yZOkA@A&ZAQI5?;(DSd@#H1GK)k29Dunb-Q_ zRcvA8oL8%MEg;4ZV6$!Gns8fl-PryX=&k((Hz+r^igt-rcfJ1wUg*E!{GeuMxZoy} zvchvFskKZ@zRh$d`ZVoNw?^YaE3ECK0K}8mdLw1f+qYeBFWuN0b?j7ItRMUCR@f9w zlWtqR{|L|zj(8+^Zv3J?EAj2qDdghIJuFEVGN`$RhmTxeTLXWfZY?~7fDeHLy!`hy zG~-=G(*I-LAqkxN&h=_Y=@e$aoR~a4l#q%SRuW~#|9vCOKWQnB-f4u zcRjQQU1<6+RFCUj1lGt=13flrciclU(QD^R04aU0OgOVS*bT6=x*X9s3-Yl-Uw-Sf z(4r-7lLMN>N>{opFRVgwLVCj=k^O_0``^)sdu8j_R5zh_e~>BSI{3I0!Ym(?3fsXP zREEA>!K&C&3;dtu6+VT9h0`vT$DyO6qgvH+FwP=x%w6B9=Fow)-wi%HG4P-XyNkO} zD0szJ& zqg&ymge!~d&GbMISl}_hkFHhiS`FJ5USV;Gy_2y#m543;2 zE2Sv5&&2JEhe$kiq{1uPu>X(y_5i>FuHNCmKe)Ezg`6=NN+~=xqXPZ`2`%5DruCQE zPi;Y(yv@O(VAS*>Qw`brmyY$5_$qNg5I+B58;`v;!Go3j$4mF$`NRQ%4l-J5o48WB zDwdX-dK>mD&OxH0D0(xoQ)9UzF76sJtq>$=CCK(&Qlz3zP5%cN5nu>s3!s3R+2QD} zHUOa%RyMZnjaE(+kk{b?2l!Ef#~k2V_0fX(D^aX&322Sf;4rsUe4>+_`zWN zhV~w8lrScsKH%GD0|o}9tp^9+pxS3-+?I!iO-m`9C3%Xz_UIyy8;*Z*R&9mtEDha| z(JFZH4tFpC4D~l}-I5EVxTBc_9C>{$W01O$8B43>8_IBOt&B!dBf0nD!0u;I)JFHl_U znufEyo?Zel1lRtWscrY^^_N+qu*LA@YtPn#vkR91aAoBru60@&kZSQF4(`#>aYVN| zcUWeHpmGJr+P-j;)6gvX6v1^kCeFiN^E2bYvulZ9fjbmG)U5ILDxUZSxhUzrACJ`_ zS1>hi*07`LVm&WW%J6;hzv>fGl0s=KH+Jfnm!(3(eQ;SnD zE#@!+WGm4N2>?Wn%a<=(I4#%tosEQn^s3zFgZamwhBNok-0Q($c)SjrXu)2eqg@)s z#I9SR3go=XeS1THb8jlNb#{|QL}b)Q9twYP67b85R@Cy8cJkBH)0t4FEe3Mq6FgP~ zX$2h~a73fDEXRHEPC3n|MK6Fx*avkQM^6@i2h#V?b*CH`dOi9;#gN{U32SXVRPgWu zB}Xqfa3Ufj)l#n3;<8*;cM;HfOqv{|b+8o_%UO?<T*ut-Q<2!g`|^+LeDaQG6UgbJ=i`QP@?(tn*ogaRAv zn~YXQ%lmSN0BK=*ddM$b`pRcLYzFA>9#IOz1V{@Keiw=>e1{L9e5gHpmWgW*Kt<_} zV%O#YX$9)~T={GQ%4M0x_WRfSerNVWjf{+r#XUsmaPGycSFhrP8keQPuMh^{sx$|b zK)izk3DjD(r)%K@Y8RYwg#&izHb#y!{t^OZBR4fQwXnJahqEyl9C1>FFa-)QoNp9p z(wTtM(1B;Wd(p!<>gUQhCJXJMlMoszK6Uhe4;!eHt>EKw1UeTc=UrCE|KTSPz-SjN zsn4Dt?(oXP2M^{z(Hj6@;{@I=(e)o>|5)lE@qyy@5$CFN zKC*#97xYui@#5|ow>-OLbF`K3eS82`!|3RAcwF^*lIJmFCxD^LVaIzS%2zdIe{zj1ME`GRnMq59QzjP!A zNACIgH9)gfj|S*rkz_#xF0AG(>&u3>@CNV)KVP|WI6su-UPX2T$Xz;j6Zbg#-srpIlvh z{NxGIZUM>v{@cAT$UhkvPq@N{Gf??A`f~0I1ke@Kd%_oRfC_hhP*Q4MzUJv@Yek(` zwlKUjRAtkQHdh$!di=Tv>FNmXnhON(czsa&@^$U$CmeFMuq>g z!;E>OoMX*xZEf6QDd2|8bRphViV<}DmRqsF`cPUL1=p@vE*UBEI^3}sSo@OwC1zAk zESh%{62N>xE5{~hL_9#0#Xz|uWzJtFq1`a&pFe|Y71t2B^lXZTP;o(Nk z=D~WqD`Pm8dtwAs13R1Gweze!K~x*gP`<{=g79d#WYpN$NTEI|5D^iPffF5m`%`ut zc*?Jgflai??zbenW}XB}1KkfCocG1gi)yN>JiQ~h2a%Sc<}rI(+&Ks5AW@>7UJ>fK zI++k$^C)yR24YK9PcIkT%OG9;@F7n86_fd^Dq>Hk|G`L!^){#(mT-nntH!&^=KK1i zG55tB?8j!)4W2U=%diLdfRv~#k3#R&N@Qoyh(hfORf78hOA6edsaI}60p_u+?7al< z1M`z|NQ5`|`1(H!yV^)aQe9-a3I%nGe&Fvot*}cQ;e`v_fU72JW?)htfu!>RuzTw7 zAlnBDHK759RIvGYY^t{V9kC?4>r0>>5X&^RM6wY#Ome$1DAYs;)Xi>4{%CBximuwB zPW)AvbUH5zj!5FVs_i zWA|r491$9OITZ{on6R=?QzNQ?f`S64G3NnX>k{s1)49ZhWxYH*7%CA8lpf%&ILwGk zP5^Tw;NAuuPr`*Jq3uLV6JXyYsLKCx&ENzC%B`o6FNIuJvcXw@c$UXezjI=LRCvYK z8F#++WVW|g6_=C%kadAV>(or^8n?N-6Un>>Bbc;#FB-9;XWh_)1v_iZ*T0?6XREjl;q@T;6FE; z?TE(?)s7AfqkdHZs0{0zRZ&vv7DU&5fdZWaeHYwsz|*IDtks>}?)1T`Kr284Lil)g z|4ILN`O5UrTDeFm$VJZcn1|4R>WAXgS7@quJk9Czo7;_opjPYrzc-l+EM}wGwZ8#5 z*HTq8fO$OtSlA0kaB)P2g(Y*?YkS`lX6`C00ZA$H!M8 z&9=0+tKqss_Vg&KfUmGG7yU@Zx*(5zg*|N1x%nl#T)!gPv;k&@sNv(l;xxA#AH@@q zb1yGY+~I<2E*_wvX`)J;Sfcd~66+i_| zJ?!BQgb)n~0!?s6+rVo4`%oDqo?u8KG<2cOe_C=hbabq&M$5Vf%j{Daetm`}Nj@~O zj83q}0fxOxkt`C_eUY+nh%(0&e=BF0**x>=KBF9~ucx86Q2u?EJg_f=n zRQsm!Dvw}L!M@uro4-k$0hf~s`9PuTS=lfjY*H3e}Al?>3hh3+ED4KuJOb1EAlLc#jk_34DMSV z_gtsC(9`z0{rT~Y7nIu5!<%~FdAJtaOS7vyI(JW<9UXEDshRzKzeZ#>&iWf60X`$e zd*hM^jGqJp933pYd7|Q?RZ2ko_?2*K*vBZ`*(l}@xj3Q z_zzi8Kz|^)y4t(`#^IJV6mqKIM_<)Z{=Z&ahE~kh?yl*$VtP+dYepXae^o06GNXp&}75+uK&|8i~vwwS!%#rH$FYS9x3}ZHI<;-%xTysv~{{3I%hun zBJ%R`ZyTR$7MjSL=-;7`^6)t1OpJXyH^KVT1@FNF@hRZk87P#Lz5U&TgM*}=`RlC? zC9Ma!APQ3v1)Mu1I&;dTBkoID(A&qq%J3gQ5S)jo(k!vMicCVT{*qX;W85c?>VuX8 zzF4Ad{UN7*^_!mgAKA|exj=dwTz2{J;RBe%mWKRtb2)S>oLC&o`7RPp_M|J?RgQ5{ z2X~qA|Ex)&HCb50Fw;aaJF_S2@r}i$kIqDDReNJ;Sycl-FOfW zfKTH@+%B_5o<}CvUp`e=50JR-+tl<3qRkV|*w;^wz#~H5Hrn5qewwMu72ED(bMful zZ+M(|WJ(>kZ{PN9d|o#>dEJVShJsV?1K4W}fl8T~nZeKRySeSZ;RC1|zvXUVfFNsY zzoo!}0}|L(xWzE0`{_Nu0ieHxNq1eeE7u|Pm(0k@s)sz&-P6N;9DkGXAo!o9H0n-% z_!4_0*wozoNg#Y6hk8d3UCRU|yUwK_;Q2T}3^x}E{ zrz$FbJ3B6KBpLROu`<@~9v-)<^zsbwd~5thAr|hMc3e|cS63LU7Kzu^)O_2SD6S}E zYi`aGr*KOlPT&=EBmaQl{}NK6?Huo=?kyvPDLKxNFBWcEug06Wa*X6z)cW4Kk-#+) z7{_~4Pb9H35E?9oW@d!e*48iACho2l8cJ2AbG~E6sl@!br!{v=z*z~u}WA&a5KH`v+!>>Y54h*@W@+yV`J}D zoS+W z>v6`!#^PPyy!if6$}b1!2dO+dcub53?VyqSy%ZrqU;{$M#KSqbP9cEYK=1oheDL10wTK;X$sX!R!A4 DCU`*B literal 0 HcmV?d00001 diff --git a/martingale/figure_4.png b/martingale/figure_4.png new file mode 100644 index 0000000000000000000000000000000000000000..dc781421d6519cfeba88affd8a31e54caa86d052 GIT binary patch literal 19575 zcmeIaby(Hy_b#{z8!!+BBn&{17LX1Vq`MoWyFnU6K|lfNl%`X)2n4REh@cz-f$4=nVEnmy z8J=P5n_Pfj*mkc(6|TZRx2yV};PEwU5mh?`;-)V82P2C=(*&O6uoqIXm$x#scha>r zKv?M7Tbor>9r3X9%bJKFS`Lqn%>lI*y+tZ|<{-C!tv^ML9-MSzVhIsOkGEoV#CFxpmT zozR!0mp<$Kq_k_NrdrBrk8Ycc`P{Dm86QXXi47L!S0QuNnq;JX8CDZ-a-jpMh#5%tPlvw>Ja)Mx5NoxP?G88ea8+2QOYDun~wN zBFu*fgjd%s1O@_O?u)nzZ)d?4fY;+5Auth$QJnw(Bmdos#XKTHT%({uxZstBwO#tm1};@$>=w-&$yLP z$e$`}XymzWRte9XP9IUkjMxA8@e1|l3V-j+1!{)&*43<}Bmw@5gr><@?9vM$GPwV^+H9PxJxZa&D z{sbB7G#Tn}H?rWiq0!N-vokkNlAvj>OYoh3bRBYbb|nFUfs6KdHPuCyM2;9tvkL-- zs>4RUr9E7R2dhJB-`@%qhTlXWaPo3;o_!(Xbx8_je(0--pnLW#RNwUYO%O@Uq_(nh zR2~65Bga9aBrh)?rPf$o&86uuq-b=uZqN~F(jH3LzU(a^px63YR#7pcxVYHmQ~`ky zAisLq=NS!+tfAqOznfPv_HjyQ6$CCv`Qo zQlp-43wx;3BeRKei{Bj`1JTTS_C35u#zQ%Zv8*PcRFbi2in&TO^z@Q9?lXi_7#JC? zt!ZCWM>1&Uz?v;CE+VI0w}w96*UDNesIg3vx`99>Y2&mbDxLQXyT0*qAM^ClxlUMA zAmJ^&P7SA;Wfc``-P~IW^73H?wYy^Z+70#Mid*v1yp$Ca`Gszaw5C>8Bg_03&UM>A zZrE07pgj1%#84)`dayV`-Zv!`my{4(#Wu#g4DCz@$5#)6~+Etnm&w)qb5WDPqd9A|N0jRQ=^kZ}9G; zX7Y2HqZ!YJ`m;qwv++_Bmz|dTL&L)v+Glh3u{2BpXzJPWu>QbhQ|9L0Mnp!MHodR|F;0Z?^sYE*buE)>Us#Bv?%3F!UM9(x# zcM97rWq;pZ^WE&nlZ7zp&{S`HHt%Z=4i1@v*S{H$6&qZ~#%#~e$;pxKz=1EiZ;p?6 zogBhmlHjf7S4{USDr-8l_H4V<{r>%XwHRU^4qJ2i zwZCZBIXm8CGwdWB8X7{L&Ro=kgkkN zu2ippOSqekUT%Ethle!NK8;;nTT_&gNrIWJ)*Vd`jDFXn6rBMq9h#ml;NGg0mz0#O z-u+Em=7DlCFf_!oZig|PL^c=GnI+v|R=DKz5*!;Kxt9b7(Rix~HSxwB9hr6hzZaid zd3!Gr;(c>h5)%)*ej`2fP6+{lXgB_x1I1(1VMYIJ^OCb+2CMFS1(}CsWugpGtj@&? zd$^sPu;8cGDv<`b_K$pXbeOW%*Uc|sVi@S_XO}DGW;Be*`6Tw6h|L&su_iy5r zIh?DQIyd(ZE-5HdqD~vc$%3!B;R!FB?Nny#np;H`)G1Z(%OU53(<^3PG<~m~9Auy( z;dm&NnlZfdvj+pwXnEBOyOE3t=e`UbmHW1LsX-t>IICIY;3zffWF%v$D7E=R%XdA= zkh2ARe5$t3Usu;8sU@sAI&H$JMCV&YX=n^D+Gp_*UdiT6lMPphF^aBSKE0%%&A7M_ zKmLIvSX?+Ln)p?4rkyA2Gespa0)mWIrh6>2J;f3sogHCn>fEO<4E05{&r(?53N|F% zK_GZvjBd@Kyk9wOdic=5z+w3Eix*-I7j?)sYSFQ= z{>~UfrW!8ew7%4?HGkP5h7qp> zJcJJ6pL2^n#NQ6>bGeFXm)vh2CnlQi2SYB0V@3y)c0DE|1)9VxhMh+Bi8r#WHf9*z z|0dh7gk1BI%Dm?9KmIeGWZ()j{|ry?oAjxguDd+5MaVc64fAtKR!qd5O3w)%gciVF z^?twjK_^QO#ZiLi`Em8}Qe2tK!D^2i|NY)ZQ}giiJ^u6zssYcw#n221=43|7mVL>* zf*0OQcbHGlM=suO3L=WQH)mdKViDr`l^Jy0L(TJ_>qVg;0t^8b*o_~3c=hPxtK@|} z9j14~{OtEC?gq6k?#WON$-`2o2pM^}|M*bQ^ME)_n4AsYRyuJyQwR&8BU565$SW*V zrn@JvtE(G@`uOo9;4tTgt5Ts>J^`&#eDOu7pSH5BM?pZbJlk__#THJ!FP&0DzswT@ z?Bo=~BXan+@<)26d9wmy4FTT>meXm71fE37k&4VbqX_*|>wovjLNiv!ke{}csOCUfu* zU_L>PHu?`RGG56m&!YyCf8;3;7&`EOl6=-VnD(Pnn%8i^`wc1)H<5ajOg55HXk#|| z$M;G(4XH2f;_|U=>CXIa>IV3`4#%S!8(Da!9Zgh=>8=WVRRS}Wjz%%Q2v*xW zAkCjJ$?mYK;Eoj6CVuWCfVpwI?${=woW#6;;fI7KZ(m_Xd6Aaeveyf8V>vU9oW1KT zY(}QZwU(JLHnT@uPl?%V1bt)GnoX|>8MJ>ckd(ABHTQ@WLm`Qy5({=NA;tD8%Q6du z6sVIMIOgw(@3Q|`x<>RH(?$aR8WW>Z~A$cEtE*ac0jWK*H4 za4qNI6GftIOHTb)QtBKTSh)FIGBfC3<4&cD`N>&gH~Py=JX2F_#1H5n9m{E$-fUxi z+>yJMac}i^KTj87Smt_ZxHo5?$6)_s)QD${!Qq?@%kJN~!1NBrt?E27gw8hc`q9?8 z&KiO`#y^SNb)6YVl^~=d1Hfq0%?j(v)wjw9F6paA@)cMNuS~KUyqhYf6R$CgEt^eM zv)~&|%a4Gs9LVixT{JyeAu-6PW_!V?Iq=4yeb(9@sXj&)gc~Q@+m}^p5m)M5;!NT% z5~WGyzG=rwiq)uNka>C(Gs=fJ#J(?+`EIiRTPppyTaqYuE*4CrG?gpqP()&F6Hnu>`ARJdMBPF(qT&#vPc#G)EoS=e9rG{{7-r;DHPg+0jaeOTKPD9wF}=6mrdeL(G-5~;&6I9e?~P`&a;|I7S393&Xi6-Zu*-M5jH5q?i<`|DBW>ws4J zjU2qyLcbsrg&=7=M(X}3Mxu1z;Sfg>Jkz#WFJiSW1+HTx8G&KCsi0C019f*lrJn7A z!%epVJBKm=*8byVarQ|8d1k~u`{oRU%UMifj_;M}!9myuaTb0DtA4_)&qgwD1e7?u zw28c4BDd(sHP}n6WKr~*%^T1C9d%Nju=@UX*T8L^21L*Ds->n7)J*`?uS0T@YzHWyTg zLyV!f~&wbx%YRl%un0p0GH0$PRm5`T?Ha#h&hSC4I@TBxvUgd#v*n3`AWZ zLIkn?l|@saFH1rGiK1dmenB_uj;8BI=Fw43Vbu6US5_bY#n?VU%_f)0Bu93(=t0gHLZ~GVMplnyJqZP@g&)0LxXpn>oR<)p9-IJSxIEk(X;8Y z++*nx7fWMwZ|6B*z&B~WEZ^~N%s@iemTIVN{9xO2quvAJEsIfDR

%9+N(QhmGjQ#RvhT^;yI$rUOQ1vcJ+zwRDr8 z6${6W&ty&zxtGX3JL_{ZO){?Y%wEc9j>2m*73I$z0|e>Lv2x+rdjZcQ68jn~c1cP5 zy|I>py@K#cfQ{XMZ#=j!TzBpwuQ#bVTXYvE)*~CiG>J2EdNlSBafrAda_!Sr1LMZD zh3TyXDU*H*e4M8eA#XktuG~4y_l*qU8=c9ziN|UR^L13Z;vgy-WLafidTuC|JQta6 zO;?bI5nozet#*RiO4nReUNtMw#WUuBaHY#dcJ!4xSIT4+*e()Q@8#I z<=BwKNGdkgXtlP_pE0;85i7U<^*t^{I;xEcqxZAI z$q}FNPnE9MsNo~Pk;ql@Y z961^~)*k-z%DrIk5AQMU&MIv(Xn*)8qWXk0I$p_#Asx4mdrHKvd)2r6>)p%U#S$Dm znz*yyc>7NdGW`xk&rmk?pI9<$zOmj3VJmuM;gg!}lr8x~AbNvL)|ZzwuHD zo}l`p8q8n4daT2dkg#@{J0Zi+v=zr>ebk%p!8~Jxq|3fj4M9N5LGM|1wY|iqzihR%XXbrzmyWp1B29if;-2MrAbhF+1C;OlZpKBhLf$0K$o6RKXKa&7Cyv%w zt?KyqW>#0JL_X_9$s#)Oh6%0Ip+fgGB0al`1#Xy_Hhk5LsK%Rtrx-c9p(lG z{X+L+3NBq7CuU@9ujZ!9rb=B9^{w=-zeOZDS)=jr>iyo{x2pXejBy#i<1C-M<6cn{ zrpQ>Hp3Yppa1*f0xMv#Auelg@!~R^PAagUIrBfhnV?t7L_Uw4csm>oV}ZV?j}ezvSNPV48fcU$v^=}WYCgargt z*Wbg7``Y7qUUKato*xmC$2JXFF*<5&di}*Bo?d7X!j3YmRD8f!>qg` z!?75mWWm`Mr5)JFM(ZE{+GKN2Bz=FJRje90WN7Vmd2}Y7(dS$2<(UPl7e>uw7W^bK zl1Z;G#b`;AC*(iK3?BTLYRCGV)l<*Fy@Afr*^8=gpDBi$cx;1&b+Uj z*~D>C8O+WmVvFC4&y~!p5t==s5Y(vEmF=U7WOifEKK%s0)?=<>_c!^jLN6bw526 zg*v3sLkSUVp^oS7IGK_xWj%bCeX-o%|2u#X8C4U^*{6xoFRys+u^X!0$+naF;e9Ju zecW*+`n)JtsR0#tZw;5be;T=U}n zap}W=e_J~Lc^~$Vp9@1$nK6!rbAl$TgWk`g(xccFk^TqdW{2Uo)vTTU)n3UCReW&B zqtBaU4W_zpXgZ!%Q1$^GW}D96Y!q54>gAf)PX86HqZ9wVTUB-}5OzkSbHbPjeRQ~+Q^}*T5S&Va^u0zI^CVDC<3QV)`9tW4&9S>lAwY|B{dkVJI?+` zp5x^F{yieK-x95=6)8?;f(Uhoog(-Wdtk?Z@+(jOxof$73jvm9j@|uW z^^*#E#a-vgYSUNsL1jXNy?5lOiAM(K=#E*qggfj7-=0)vsB-6EagFw7v^|rZcWXfB2UA3?MbrOLr zB&58i)k=bosVawuVm9wR_4^fm7k?KZG4>g+Q3TEAr-F$ZzWBjN%NyR!y01*$_^NV!Pii#h0T0ZwO^w}FDyeEc>y{AzrWJzR$&@`I*}JnEkVQ8z=HDvIP3?3`AWF)*jWBRJ<(dd5{b&iM2bC!P8e5 zUs(UwT1E^}vo@U}rlnm8QMBWJ))=ODcdT+|2}>T;kCYyxSGp8$%PW!3;&Db_O*;zl%+d;d{d;nq}jP zq=Ue^z&#X)1~YP>{&i@NCJ~yC^eD+!)2fhXX*BxAjuK*O}7%7_$0?}zs|nzFH({+Eby@JiQYTfk_pLxth{Z8<9K;(Z_22bv1=ABXBLAb?;PoRL`I(cB57Wot>dIY!26M7RGO6X5@sGd#pm ziZobKaGl4Mw^NaM*cE4#@%k^_>5+Kcix?zP{q`lLFDsBvBd6+cPlmMda+8N76qG|| zBic3;Tq!b82l?aj6Dd#^L9cB3IZnjMfI|3&JnVO;LIsq3*vdW{sLE+o3pX8pdQWpasftT&}9a^&dzS>n;4D)e?vaDZ_~0uzIVH-T!k1WI0Ixm;P&U|tRNLZ@r$iVtwI z+3qTeQ|HLA7Sys1%oHWF<(Vg{L(L|~>RNU^Wm@OpT>?Yrh(ycx>1~VQ14tQpGZpXz z+kQEPRq2ryN>1XKjWEWR^dMu2vHH6N2AMhOPjZ%mvLK64nS360U43|`>%(Ye`g~zb zoBs&CxGfhcREX|=Q7zWbW};Pu&s34%aRw_(3(woM%tgM9OvfoyC(>f?np<)DZ!3^d zrg+kDF(ScccYd63I&Z_`y&gjmNtj#6j<0MrPEmLCjVOA~KK5bEUw%Iv^ zc7XTycJ(y8uxIMSExmGGqc7K0s4uFE~UTL_<52FI#02 zs}k}kc!H*4Ao&a@`15y&ye{V z%8@`F%08w75m;J&rvbz0ayHCQBg@y&}M#Btd45`*C$khZyp=cFgDDv zN+%k_nMi_@1d~07MCIo<=^YF#KH6Dy#9BaoyGUgfUzD3b`Bex8t!D!u1fU@&uP#W# z;O9m|H3$W#bTZF%>*!lZM^2bDK|pKpm7iJTPngR-zP;`!ND$Z-wzXHSxm(?}mKOZM?Q3uAHWlyVt~F%ufGqsk$u<}~jRkN6H3slAp>&!`Ntl1i`aG^&ip ztJ1_vuaroNNP{F-=I007#I^_=_rA(>K>7UHEVb9nWuzAsY$R;n<46(TAFRRG(pC8? zcKdmMiyuAfFv=Ov$2T=ewGrRY#V_Li!3;%ixLSg4`Jx^`db6T^`Fp|X6Mt*cK-xQ~&+leKisj_PXB{XT;;iWyGMnA3Xr8)xeyvOw zVf|Li*GbM18IMQ0_4sSb=lNvKP;{-;G!PiB%9niIk100J8d6o7OE+%`jUS9V6;vGj z8|jj)C{6M32j{{i@m+t_fY!M-Gd)W2C2s>7qQ8%s#gmQch+2R2{oPSh7hY~? zd#yTxqT2sP_;89rK7++yU9RX!%CHP8QK!6yR0};V(RK>6JZ;>ZeYDr+^SHJR5#NEx z-kqZ9+locabOP~lOR@lUoF+8CCHJV=S|aiYf?Mg?NVzj&B7BrmQhv-b z;p=I8R8^_M5tQqph{H zpIRh|KX=1+A9TNsz`&t_BrWT?qxmvl$8#UW6j`L_+0Bx|vLT$e+1bonHXIU(KZ~E6 z?CPUy<%!KIof1(jCZR-}P!N!l4qtpFeJEfrmfnW2!G|oo} zFUUAQn;OPGK%jJ0E;riDw<7;E`Dh-xZ@JD4qz3cFx@oDZX14_1UxPY(svBS8JqC@e zHgZo5GT%#>99NEy6R>2YSWV=X^*TZwH(A;IA}I+7Vyf;=j7xYn#}eDcH|xemJ(Ya^ zh=sP}gP>nC32lt?-Pey;QaJe=>=f@KR)Tbi5R@j1zay&WgSbO`Se`!*4c7Y}ZCN>c znc(hS>&f>DVP(XVA!&qg+0NRFnyiMcg4Z5dn0!qW9=Wq7!|ug`x- zRcg9>Keodl67l&>R}U@2CLN|kxg3{LallwZ!q<~s$_|LM2h z6rsTVUr&NZ%U@G_H9g^LD8y-tYdV0%;#tf>xQ6vP)N{s~ZGtPv}8L1;R zR#Qy3d4}%!YnUSBrHau+^BreY4&HDYhq*|=Am0B!k zR305mKuulUo;xY&k}HP|F!jim<*?$CuG4`5?uOL&m;(y@Z$Hqeza{!9^3%D0uGrKvu>C7h9EAe{Y4Gtc3>6+F;l&UBg2N65p8jpz5W&sW=?a{j)7hCSo^rTQDxCfv%hujI3FG~Dokr+d z7dN8jnN_k2_<5Z(^jeats=vV>2}$$EAyjoSueQFysC=#bPUh$njPOv_LIuJy)L(}K0>Ufuk;@OL99$<#VsLY(P2Y zt5-{u$w|A>P*+m$wUQHv8XSy1{o44PKw%c+nZdLMiHcxGwAA zQ4ivt{qxf;C(aD0`hOK!2#;;TcdpZNuA45Q z*~wu=Lw=lPwJ5yxD@9iVx3YYu)DVbea@fp*w&+VwOTqO{x(6sMe*6RJ;Eb8959LF&jfiQ8eK zb8;h46br$$Z+*e%N8I?&q4&=MZP2DR>evrsFg<;`ET1XH8Phx~BP8^(HJIG9oF6UY zb^jB8f;c~IxTx9P-R0Zk=qTQAVf5J1@BqOX;^dd=mB#OSZL8yEg^C^?9u-04{2sM( zch>&Ei#m-74v5JH&kI%31{h@t>NY&N^7^%o?tS=UKSL|w%Jxmqzdq9*rxu!yV+OJO zo*q^ntnivkJLd>u8s>14>3Nd5u&0e$RgPu1`i7pG`$4YuP?$8|80{q(fxs5mGU9LR z1FIDnfh3>jZu`?R)1hZ*GrBk_yvWH+^r%+84#HZmX@_CSM$k8fP$()X{p01+?nj!c zk?E3gFOVsL4E?_&Xovdxl7Ige%h#xq3*84WIJC?L{f~8bw+l_B&y|~Ep@!Y@*$!*N z$hknq;R&mTeArOw2ke&Nz>_U3h6t23k~M1_p(Ou>l)GH|I)AT<*kzEB_?;ecc4JY; zASw;Ji0QRzRRB_lX3jTeOgp2QL*dZnMRsW^>oEz;+^3E62*YhPJ9ELBWB-el+iPcM zXP1>^ztBS7)Af?ip!Y)%rgc|eBTUG81=_!r+4C+zPCg$ zFy_9FzqHX~DBf!5Ri*Wlp>vsTKmXn{KU-26~ zSia#@sy|P^y?f<)w5bRJxz;ZaGQ-2e8452J89kA*vv8^2Q1XIGpZNbj zq+ryvv}Q?xaJg#lQ+E89@W*JkDm%vV;$n76$}5l+14Jfr9ck<7=>=bhYj{mN!4hR> zev>maG~8tlBN z(#F5TX+W|#JW_wihK9Zxr>)KWU6^Q6)PWejwWQ>iX}3MeIuOLTfUHhIRyO(elQ%1{ zZgsM)F9VI1 zvq(cId@Or!qxH9FAvfTW!`KC21`@DC0aVAJbEXtUOS|vUtEGXN8W#5k85I%q&9Nx(W*HLV@KB4=_&6=%Y&$Bkqm6g6!I1ltJ1b?1# zKbnetVWDOfv6F{Je)QkZ&qVt{)?Em)YtZXZ1k*4wO8YkaWClSDm-U}U6Mpu)*J%iG z9LHcrzOiI%7~=h~7hzAlW&k5WpQ!1!(-O<;>Sz_d6+Z|;x~QnAqkeKy!E6bQSsv$JJQOpr8*H7*CH5GYctu0tH?m3C3UiUw<-EvS6OShxR=t~n94Ze(h1 zKDg8sR|bnza*_u+`i@y^x7Bjzy(LS}X=JQ5eaC9?#e&|Q{8=N@bIo$|7));g+uWR- zRY$b#UJfK1LY$v1^N*B`Xid;=EIUm(MBSrP+0Jf@*U)pK5)u+}xj-G&tecsd%2C`A z9o_{yq%_0AUtL|LK!%SuV;7E0q=V!Ep+mh2Xt2}zz%`d-_Y?*H>vmOPCtT2mxbW*X zT38xd3hGUW$6e9PPnp@W4{<@m|F-42X#WkyTCnHEg@vrFtd-KjI?&LpuB`OJ z(+{B)!(<=>9S@}Wj?*IPR3AeiooGRa>bt)B_}1VKBbs2#)n~gMWtLOu2)JOjRexFl zod&=X!%hnt&RrChmDd`*u`*G$fDJlKqXvM|gr*?g{wJ_mT^w40=JP!1(v5q@fO(*Z zR@^;^jV1ms`S+Z&q-2)~za6w>{O<0SvV^q8-3dhG2zUKn>_+hCM8`j^{uAKhH7Mts zJlkF%z_th5MZ>3Bm2Em0@4#YoSe!FHmO%I5S&jMF^GlfC3rdQL4v|LJz~r|tOOiL% zY*vfkxJUPQP!B?>Q+Fc2-I4@g5{TV%ii&_V3S|!N1CWXK)3Etm(<-bG4+EinqYSI@ zKXiF!YpbMZ2KcfZ^gIl-hDSso>rXf3IY=Vg=D&ipu|cb)rG@u;ER5P`D(RY+Q7QzR zFJHcZWL<&o-T-(qg(&`0DTOz0d_7JlW^$mh1vVC9j?4TPc6-2=wFfhQ-xOcAn*H$+ z`cgikaU4z065V$FmGafnuaLWi+-`(DRk2ffZM`%v6nGEWa$lRr;NpQ*ZL(^KA+q7( zw4n^9zA;uJyz@?DzAboUqhh823IH7&o1L{_ZX{!Pq>V4MHjc6-GiDfYgGVJ-5kEY<@zk&DY<$&8jTMt)ACL|5LnIywZS-WWI^f%`vqK%0P z>CpZEIcexCHt0}LSEnr;p%r!6?-MR_+)yLsvWIfwJd39#6QP2mV>za`7c@GZY+_>| z1PW)*d9mZXq@UipO3lc~czibHG&2PKC!w>_p=fOQ`0A0xSTUuu1SA8`&nSbk3krt4 zv93s++PzAKW+0s?i0wLAM7tQ)Thn!FHIDi9$6Z!bN9ZgbO%QDUP2)kPJkRXE?5`(P z4y*tY(5Drlp`p_}1YngO%*L31b{9JqtvUD{CTgASqK*`lmCdGWoze9X`_qjIC+7`& z$;wCrhcVAxX8+-B7PbopkQ{ppJgibwR7@DC0=&UVd&zQj;s2IgQ<5vgb%412t5=<8 zXoKjFL>%5$g!Yx!8NQzXyz>BLxng&c^sq8ElFMf zZtFrXl{#9Y3yBG1W{H`Qp{i;One)PJwA}QGa8UR^IHFak4DS&kvzu{00@Lc4-vOe< zz_59T6@sd7+{*#%N$3L|LbF1s1}bi(TpYX8riNq!mm*r$UT!&+gZtpc z3c5c9GVHG;8zui!YJeL{+_4@=k{wwN4PgO(@C0i75|X*$LLV=vQhzeBHDoTl9aDMeBPZlE*b%Jsdg82=;? zWbY*#!2?$Qw{0F}S-|`Q=D&YX=&1>9Mi2sGnRMTixvV_;CmVqdM)`6`(j7PrfpBf&XP?nwOtfbjT}nM1jFjxn#9udDk*b4vTT{RL8sQS95yNFUP0i1uOWqWIooNg zAvrzU>p}ZK`|{Y>SbJNOj*Q(>XW#l*Nf|VULGES@98gSJdZa&H{B*+&Hsxd@S zL)L$?&jS~_{5!-9lP^KwVNz{vt^DE4|2l&}$(o}X5c7g5Lb}{(ODkWqMoF4yM=%O? zlmD!U4?0admiJ7WeQ|;1WJALgI`tC?Mfa6jPF6B((a_OJ)GMi}x%}>dMza6(l123Z zn@QS2TlfEsP1I(B021aqKwmML0tJz}4zvFSdhvfjpKsq@Kmy{y9WF7&JMpYH_o@9h~u=>drw^W8b~p zplzyQ2%XYzjDCL&6^9|{TgyD%YS5nf+sYn_VF|2c*QHLa)c7mf%Fyk>xk~wOv7tCf zcz9V7SH}s>fS>}|_l?(;)n$K$p^)-qJ3TFJ1(}&R43=>>xQ)%@>>WA=2Ht0sB8y8% z$RE-6)Px7a22q+BkOZO;LmZzGIG6Q8k;=(jJhWz^32RP{n5wEOmL}AfdU5^v&f0=V z*NR0xB;ZsLH#Vg~q8&A<|&H!|4jGXFBTUYXHDe+#c$RGrV( z_oGo%jXp8DgcX;3?f<>d)YAtI8~OeHa_JcvrmdfeTp(CosTT2>{;zOWZ4Q3dK0@Eo zzq=^%^BOGAjXLyw0Xh^lH0Tn0GU5Bt&6HRwb4~M5i3nTjNi2j$O*plLX0e9NT^FbN z8ldD>?rZA6;nChM$v%|^9ft?YCODNnCuH~O)$D(>aRD+gv~BZ>z!Az9 zLgrWKCU8Em6oxiyNk?g?dhvpeP3NT;BUbm5{RP1>Fg%xyvXRh2J4r_&1kaTQ=puE1 z&f^uRK#xG`kM7c1xuN~{J%rB-PuC-IdS5GW0*b z8j@JJMLy#^LrUWE*JrQ($j!WB%H1Qru*a?t8F(}$e5N^0Zv`h*)?5jj!otFSt~2UZ zbsr&_)`d0Wa9k%WRij5EFAg5w$@e++=HA|05>)t(o0CX~2F5Yyc1_91xU7^*0G*eA zp-c8_RFq$Pd;4)UPD71a5F#WjY`!nGtgMXeH0DWfZ?6}WYl-RU>9cZkn}7bqh9+lb zR@MbRUtZ(`?PBcFsCp4Gu~*K{oKR&B0($<0miETIz!u(x?@u#t$CjY;6DZ^GmZMvt zwA^-t_!aLGLZ)bo<8~kSwieYHKGVLVSHM-`17Z z3P!316fqVGo15oBZ1CenUQ$LZ8=ITsKp^?m-F-OvEg|8{(vl&+A^}Hrb#+K|^e5<3 z=Q$kJ<8VEsLp07>H!j*bFA(3p?F|`AaFy0a#<8;U^0#holk?F(e+m+Qd9%d*rOU7x zaKIV}#9Khzm9;gyExn*=6i^`q;>#N>FJ5Qf3?pZvQ(H@_r%!du)L`j8fDs<1-6ugT zuK?MIj*l07_3C}w;fD{{l^P5%8bWjl&kaJ|UnpP|K`?};^VBQw?lWrH8?|XHcSo&j zFx>yq+1=5uM8Z_&wD2$N)P1`i!v~ zztt*Dqqoeiudfe7NcI-Y4ZI2#S_cl1)z)^J@}-&A@<{oSe+! zK@5u+w-a_rQ`O#{6>`Ln1qBR8Q;nStn{Mq=xkGPZ2R$LN%xmkF;7Y)|?1Q1Hsfmc5 zw}+69gGa*Qb#mfDK}lIvQSx-zvYf6?SG${mhld1eZ!pTyY6n`hC#;V)ecOMJ^@rr6 zpWhQ+UQ+0vCYxAWT`ht_0PH~Y8)4zTv9W6jQhs0(#${^38f~qu;0lczg+HR!`v(S+ zm2!E5Y`7Bs0;oi95opxDyIogT*Ne1=kr+IF4}oZXrhy!`@*_E^~T-`UnMFQYOwp?swdKXMQ1r_$fT0WJN5f+9CJEj^15m&!0bkouf|EQ&V5VJuj%a5~MC)zI>)pb%BeAC#J3*S6Wtf z4KY>@ZCPby?NxTmfV*jhIwp@5#BP)IN@iwRFq*}m{`i|HxDSP#k`fgl!sEw}^??ob_w~)T1z3^7a4>aRQ=yZ)LJaq z4jUw=-5K)?PT=gR-|<&%bVx$JGQkdqpmy95L;)8)FdmUqjcbaDEf z>+$tBa3$)8D4;$vxkH3xWUT^SlMwU zjMlrKIyA7~?$h{qT!VO=VzvY2%(q>!Y$`=M7(ryb*8z3vw6?a24GC`F#>iJ%`!1O~ z^q7jORhrz=b+s&ZhfGFwc9qA;cZT_Q_gdYC!=W914?xz~fTxP(Vn?EeIl4 zo<&?o$jHii!xlChmOSF-ejqC=OGrw3@b_uL=S_>Y5XUf}#w}oL`+RP0j;Fi5von6Dx}*dj(K|jK zz+%*`1MF1h?xlbffz-Y~kj(srsArg;nw53cv4+&d#N-_`cH6*>a~^nphc&&sX25zKCPM4EpZ>Y^J&Qy2+1WH{nVG3MIi{`5J3Bii z-x|O%IY{u__PW?P-2O6=x$n#J{Qctt-K2~KsJTy{mj3JVgTuo=EGu5;4$T3(`#5C@ zLFMP+#)NLggsi$c_k4V0WF%2x6utW8KMg(_%F6el?D~FiP$9T&vBs{sxtSSEdEOnU z*$1$%_363?iSCC)@Oi%mxH}A$2HWkvFKys$n7&OqUMbX20^ryAt^z0PHoFU=3(Lz- z*w}{FoOW_@b9efL$!GVG15n;;mgYx&0K7#s;!E>*S5|VU(A{$b%dzGlf$-7@X6`rR zc|nQ@iI4w$c<6Wrds}Hei`m-Nwgb0%X*4aH8_bsHa6e&%%O($*9+Pw7%QpT&hzMe| zzz#oog7x+5R}PnbYA8Pi0Pd;=djd1mDO39n`I3T?5<2q2`85JTr&5Ff80=j;_|?`&rqN+>0J~G<&pLI(|ZCd%tw!7uV{Os*zO8> z519&SX^|l+t={^7{=9GJAb8ij5>rIbJ`8YES4Rhu!~x_jQc_$5husnm;vp;RT^br1 zkKEu-?{EGG#jNP?Z{NOsi3rb25dOXN#d-)2WkY6RAp`~Q>T@9O{EuEf$I>r+lBIX{ SvJvtEgs6~|V8JV$_x}e>;<(rV literal 0 HcmV?d00001 diff --git a/martingale/figure_5.png b/martingale/figure_5.png new file mode 100644 index 0000000000000000000000000000000000000000..acbf68d8d4a881c27691a0e791bb7fc11361f193 GIT binary patch literal 18253 zcmeIaby!v1yEZyOMU)bykx)=dKxvS&Na>D6h}0sb8(w_@6%lD^q#Kly77=(UX$b2IulmN-Ca|zYMrYc#gu#N-v7xvRsgK#b58*pNdXNDf5fmikFUv{OKuK zWW(d!nHX0)Zzww#eI&W(d!8o9ln@@Eg51g#4_GRju9Vgtz?8Kb@$f5j* zVc8Y;&5>K2oa%dP6Fa?%yh(cp^C|vDTk~B*ioA6h9SOo*l9EO*&XW!PjAW~8d7Lb+ zrx?pK5OG7X%n$38B<8Bn6ilY$>FJ5`{pW6HVZU`z-!j3TyL&SgU5{2P75NNKVUmKL zn@=Tnhs`3|2kSq77LnK+clKIuJg=pzn={vuu*~a!5VBT(WG}C-tsSFZX#2##*+Im#zbED$MWPZD3rOgN&M_8TS=Ybm$(@hWFQ zo52FQTrvdF<>KepDAX_iR86cX@EM_DV&eU2JF6%sx4zc(^XEpz#qTXGZ8IC}Qc_dd zl(*T~WU)tk4b$G)nVB4df&(=uSO+1yQFgcqIXSr?Rt=dxU#Nd$b&@+UNFQ}!+E_us z(ChcBLG)-@?m(t)R^z!ZyQ^ck&B@m;>=hg`WRc(W5ZAA9D@^uY6O~slHmakzd^t@k zUwg5rW-Wr%+|tsfBP$-zAD{v>Je1JdA`L@W#i&gFXZuEF6}N@jvX%-ZLsB{Xt6 z<0P*l{>5oFF7JFoww4Octc=Pf5)Z=5H zoz*cNE}f!n>m@7}<6k^IZ8G6HgyQ7k8B`LU$bjGHU}w+ilp;e6fBcN>{oSl?lB%i6 zianlJKibvSIrnAi04pA#?Nnv>`pp|nQ`2jxF9>>E>Xc)3ge8=oZDe2jM(Xzs>}oc5 z0MdOaIwl@fo2{altt>A*!Ainp@2Z8+U56m0%g(Ffg^}Q3{<5;hz%O$+d6ocC<$_SA z+TykvQNMqmk9cdc{-ar@OlU#T#egJ;XsJ{TlDB+!q6J)Xq9R!eb+47%b1TI^tvJLB zpu}BB)Y=NuZ_m{aBH@2w971KWZuZ*((PlyLrAfv%snWh}J#iYyevSmO zVlGc=t>I{`9_KBAN|FbMdkvZN4pCXkpK)nAx#1c`?6n!)NKvmK-9wUMqLD8W0oV&;G4n5ap(hM7y~c=ewCa?@>>_E~McM}Y&Gh~I3+a@oKQ-M0wg7fjWJx^-@uTjBO< zrTSQf`r|hOW-?7Ed+z*HU6m8F>_HX~B3|?VcRqd3oG&(Zpb+w^1ca=xzE`c4i z{rMy3e^T0?@iVTGPEBoY`_{dCgM$`<4y1F|b1ipW%TjeCw!1@#SyNt1wC zTF>7}QA?LKe7zq1*S<=lwXac-XGq`>xvl!4 z@vIb5{sJLPRZf(&o9r4YN*eiUIb<-b?A^NE(zSZbAV5)F&6ISMo&EL$qpoCibRNvtq3wgXl0h|!Awjr@ z_pqYp(3g#3?AwP*Ki5K@5F50sCt?fcGM%mOPhR5}ERCAg~Q&&C(M!A!}EqugAP`js(RDwXqCA1*hsoyM5QS~T@X z?&ei4HkD@!ef|&x-rZ-TlE!{(P)0g`xhN>c$bI-Q=cX4&!C?1xn5680CUE7xGs$Fo zZQo%-f>{1fz2)_rGJ&~fTQ{k+&LdiYd#1HKrHr3_6nOSKZa{eD2THq$v}!srL{0Fi3mf&^?}-1~D@BpPht_5tf8G16^p_w~hKNZ|Svt{PpJ6SF zNo$FXFb1(_t%W_lqj{h1@s5)hSo#ktg@@XWpS_rR4{U`*6ZUMVLE+$_{zy?F!=fXj zOyG#SQd`$BZ(wTH>U2XxOiw+_|3p}^fp%ElEMoN2I2~dDIFCfm^uzYa5%{Vo@09PJ zyxpiSD%#b}f)d@aHiPrK1J&dc?+n!;*VkG@G2vh@x~K15lJsQ)^-wpFeo=hp>G|E& z$ok`6+mZa7ci%%Jzcv*XwbBKdTEPv(JksQXokGfXETK2th|x6CaR_NI8t ztxT0r+PL-G@m9g@pYR}qX8ywM@>kXcf7%jkTvCKcPWkvB3&OQdvyOnIupwN%q|2G?{N zNINK~F6Xoaqdp`Qy(#_NTK#M(YWr|mJzKf=4K2*{OA0yimlyLt=_%LKd2!UHYo*~A zLGDMA?8LkJss(i|%AE5V2L8I`vN|^(=4_nCXxUI)&Ds0Dt2O^Qi%LgNn3RD})>+v4 z$>hwzmow@Q{~pl7TXzSexlT*l`xMoCpay-lZJV8#mP5DqMd5y**;7o+4=}V=Z>I_XXLgd+3D58eiRK zr^*2r+?5(~Bo5n0o&6E&}MMCyna~Q*x%eZS}|!4creeTRE=K zdvURMcePhbC(e1Jibr=XpAB%Ovqb8AVZ9e50TC_(S~`nc zT~d4Y=Y26eOaG4Z(;kJmjF`tRx;Gpp5s)z!Ow_pNTWff~;dwX^9h*=n7$NH4pK@yZ z_8T!#Bmr5)o}umCw^W>~O{-4T3KVn{Id{D)dqdn^V_AkL)2S|AZ09g2s*>?qxW<3h zZTaSeU(G-?p7a^AfX2qg*I{8&mJOyfhfPc;sf&Ht%a&3{aje!GzncM|_jzOLvd=U5 zloTmGlF%}=^?OAh$MxV~rLucR=Hi*?n>{(%v8t3fZ`&xSg5Atn_$ zyaU0oH?udKrT5z_%d8DiZys5sMEwP6fcM^-){`e`S4o2pcUSX8o#%2M1e1#WPZl9D z_{))9R8)^%$d(xy9q&o+O?xzV*#?rk@7{>BR}98EHrnP_{28y+d~Dvnv7(i9fWRkN z#X=w+KfdqQq+ouK^DmrBE?;=rc7ue82a9n~L~>$b!&k;Cizoe#>`-na=3;Iu@BQ{_ zrgHsHPe!Ypv-c#wd={A+IP?4WZkjpH88M!OkySxG-tvw=BglH(cVfovYN;hX)o! zj+wuoLSLx>n$=Uhcfwuq)hlfs^CXCMUiJs>tz4V?E4=Kx zIhF}l+}`_M%_Hl6_1L41!Rg;mw&tTKyp7qAmE1;xFD$Ze7l7pTyt=~HU+d|N+tLIf zJAlA;H{?ME$N^^(H2r!O^ROFO(o<4tsjbz@IX?YR`h-H^D>sMTX}OzjZ-?3G9kyjP zK^*Jeh_qJ%^jXb$=j;6Ecd61i^r{x^nx7*#`nl)o=Z}_QBYfi@)BDqdN4~o6O=#;7 zB7=mtIoWpZmsc6`Jd%;gD=AS0CMk7--~W=5t9_c9;%QO+v-zamx|HIKGDD)FwV|vt zRh+kYG^|tu80ozNuhR$Tph_JB@6xSIc~D0saWjZ8o14qi(#}cvG&TZFb6Li}y@8zw zFhF{4+YXy3_gtn!+s8)9ogt8mWHT_(@hvf(x}bDw6IwzE-vvP9-&U56AYg3Mn>(v0p9FJkvHuduZr?N_@-GJ1Yn$}7zuxB%);U}@?vNtn9C~8k z`!N1aQ~jPVzO)iEk~Wwma*bQhX^v=Y=8n#<_qQ99g=gu5K44o^teZQ{^sD-E)6dXz2qa^B4-9H!>XzwOed^~~#u2Q{ki=4i|rVOHxF(#7maCs&&U9$<^XTxrH(MNA>*iGI`*qcP#RBTLSML-@nl@$p0$fRe ztiWB+Kil}TCvsMLZ?WIT^Z`rtp6H4-{?qe1NjW-3XJMk4pMq&bPUoBK!eQsf>iJ2b zix)1IRX2b1_KyS#--}z9d}SXjyelLZp40rJDEEYTOmaDids0t0#IFdO-0w zFqHdIWxP$I6khW<#ozn!ETzR#2iN98c`@liwerW;ghV|oFL?Xj@jR1oBZ z?I`OGh8N|T>C!|pS8L<8Zdak$`Sr5zvdd!EGFhH+u*F4^i~US8JKg0%iOI9J%Y$)k zn}LCGW9H`S>Jb9wuggL0%?m@U%nlALhETCQbBQ+5en(^cs9KVNU*p%!DWl{diye9x z#0;)Ve8|7dLNOtt$)t2ORl8>wW%OiB2!KjgL5Z67P1jXUr6jZ+3JHk6hm^hQ%g)3e zb=hJ@&3STnx*u5TyU_79-7Y&CmZ$V?E%yo5V9I3L(KAiAX_G5dsJj>XU=`c&P%ZpG z_8!iPla(B7&IS;4O-{Ly82Z(VqW8ueI%EMW)^``z4OR{mU&95&zh)kBa&Qkl=iNhh zebjgz;<&K6pQV5BgXA^Z7PF`)&giTk)7#5`q@b8-jBSl{-Yus8qb^=5v%byHf575p;oPtvxEwavwk9JvZj!6;oZ$#S>jqW@xi}b*PrIhLV;l z?fZv&UfVHTF3zzc`E8|d+HTZgcdI5o0}kF>n@jXT5bx{AA#K=vdl%3P|D%Ndq9h7B zbkWzI;hQs5z%Bo9$LbT23K;~n zye;oyw@0K0$Pw%}KuI8~J$^&+l!q&yiaUdrpY9~|(0rEiaOx{dtLWljdzd@A@5C^W z;QZ2eE`6(={=X`W?Cm<}ob6CyEwwipz2q)tWYZ(-X9xp!hBs#B9@ZQjsFzywriYE% z&=%HS51aEjER;M@iFuCS5k*gTHD}`|!_H=%gk8Mc`e3N;W zcEV4*_<}5>DY&C(JcoU8(4b@8lDZ~|P0)AI4LdLQ*K_^hSnWH9`ipyb=G$~Kp%3XDeg|b(2qhi@YuX0SdCAbRWA#{xRspmd@YVV07C%0Iy z*)!Ujl&oO~yGj{i>Q5sHhE-QBz4^iGSLa%FwN}RSGiT~1>fB6edK*r;K@=pRV^w-@ z;`#^)2zra?wry@^NS%(jmxr!9I?Hq49q-anGhM)P$9efq;6W^si%_mslF&G$k(#PPQNSpJ^QSRf%!9h^@@k$8V6D)bkcYm;G>!|OwwsLI`Hjpk3 z6z?uK(u<*cQgsCQ1%%OI&z}GICYvIvde~Bs3JLJPh71P$j9k5= z6#_iNq>bFSn#JJzsfC4PgulLBLf~@xt26zaqc_{${UG*)Y3ywl8gaWWvAQlWhtf2T zRwDt2VTkUT`*e;hL)I#BR7E4j5-rM$5Kh5&(OMpo#1g;WKwW1I>+SXl3YUgt}eF4@jdHhn~gS=oLcshTRU^ zXHv#`aaG5Yxf(!S)Q5`Z$|NF0@wVR3-l`-(){W0fC$ve-4lXZ~=9LWFPI7V!mw_JS z7uTQJcBR6W;|8l-U$%h`J%W^nB34(7 zeY_tVkj;BnRx)<#=mmaoXI#i{n@P~u)tkso3~?CXbjF|i{F%QCN@9p(OUm&N_*4@)C zjHs~VpZ{gkb3b0F!$@%*4{^K$mokG^u_tV~)Uk73V11M7;sw4d$`5s4N**;V4-~v= z`h9U(*|W-1YU*dCy6U_B((I}=KJY^^d=m)`HB+m;MnlM2t|EJ7+AA*Ty^oRA8=F*z zEg8%Ge4On|mzUp|%K2mSqoU2-78T~uSKY_2m0O$H*@1oW!yOz)HL`#^IK^r&L<=5i z8R{3sfZRIS|KY+5F^=2^{DA~xW{B*wk04lE2p6@mVE?cI=`aA~fRGU3bzc`{Q*>c% z(A7KF?B#agj;5u|lDT%TI$cL`VkEzuJIgZHWjkkk(t9o-^b_A=Y(rF9I&Px^g4%ZR z)@Ngl2WvgIqLPvd^NXq#{P&xfT(CPsLkk$lQd-*gKDr+nA1Pb?8pSSM8haRe|AoM5 z5#v&yH{`BN1UflDOk>7zi3C(Tk z;`+n9AQJj4RE=A1$BoISZXh>hE3|HRG>Uf^R2giLht{TR7|03__FgzcckE;n4W$>! zqjqAih>>#dW=e|%*kM=RFSm)CmaZ4{Ryr8(tc++B*KWRcpNiHo$_4U>a-Q$R_6*hh z2a!=q5E|Ifu#b+R_wt^(=36rR@=3zqoY(js_c_$5$2O0cRh477IPS2Sy$utN)id*= z0(iHM#b90%dMl-9|E%B+U<{KrsI(uL36okY_5bni+9(ilPvaT4npwA+x-lpxL`0!f z3;Hv?qmsjmzrSVP!CcDcRga`(VAS_!N=@eAiUeVnlT)m;__J>HsUOF8qq;FzAMXm1 z05;`BRZq{V-@koy+Fpi)MD{I;V{CxM=j)YPB$fL2+tBY!Pv`Hn@_LP;tI8D&D&)Ad z!6(V%|K1B=cg7?$p!DztNt1}BapwQZ&Y}G3-m$Xv@Z|S=+ z;Xb!SfA8Mh?qXkWv<`r60|RjP9I-KiFT=yS=gyr=>Kl!XjC5AcH@OkqbS-#hTuWGA zaJ}(riobnPse$3Ga(la?k8M~;LHoRLQFpiM&eDJ)u5hX1f2e^ufhwi-pC92=+7@-2 zPB@Ns?30@+UA=hI`u9VeeKYoZpdjbEVTKHdmT+VHs$w`cPj1eaK4i2HY|or`tD7%c61D^jFd)$%@(0*miknrw16`g z@)RnsjIeO)U7zsG7I0aJ!+zMMttCbRxJSGgzbMYCY!Na@aQb3*;#OH?0g+{@rGHK# zLri#2wy`J!+X?*P?$u#af;s>n=7T{bcdzVTzn-z~XtNCKJ;;m*F$Z082O)~-nS7yK(LUMJ^7G;_mE$>aeXEB^``yP6{#4;P2AE;j;3$m@P?SIin zlQKquT^BVNp?kk2z7g&ABMOJ|G#aqoE2V@C-iD~dU5V0*vNdkFVwOG?f~-F{`^77# zM3s{x9HiVADW-B0HHv*%dMH{1u_6T2^(|Ke^!V+ynmKWwJ9of5dLNMW6cQl_nhF9# zkZDo%vz7N{R^b%XmIMvnYvJ*NrPX2x(*2Gc;VyB_#|f;q1^s2Y+hbD-*RDZP6+u>> z16Xmx#7OQ-zkVxOTCBn5{EY{u36;%qlUW50iHXGc8z+SbR`#pa^zW=AYlC)TUA?YSUKsHA1~}s1d0!ru&|EV_c!6DH2Nhbe^JhY zkMze8&?6uOzUq;Er2#~=x@qs~344%y za2*)|4c70t15Wq+PqULHyg9|h^rw8bLVJ6AUDl`X)opyIk6_L2%Y{adl%a>RvRncJ zn#$Q*&oOu1*9@T{AYa=C?vZ2X*M~0xeFM$}Zi(38Pv#-4kPjHuoSZ&YyDn#aG;2Zs z`Woo9)gc_6kg)9A5D*aH>=$fGGe2R>!Og7{7#KJyYhhv0;jaqw(Vr9M4v4&|)SIK0 z?zjHlZFMxs-M_&P%PN1gyQ)!Y(Luq)R9xI}GCKbrdI+LpVv_s#_I>|pgh=-a1WW4Y z_q&3anVC`2(|fBGE2*f&vff~2m5YEs+wJ^a?04^u)i}(yMmvdIT^h*O>7XD+5LJ}} zC8QuPlwKI!m!(7}VD;`g3ro4@mW9OT50>iHin0DIC3^YZch?^DXDU)pxKH`Q{v~g2 zZVI?AX~I=+$-lrhG}<`gb^mf)!0t^AK~><7Tg^a)odJBUjFa>B-lwKAa~o7VzH;+% zcL3fQ3M#6so^;veKx(6s5+``_YH}0kx^X2xX`OZA;Nw$=bt$`wk4&@epVYsk`Vta% z)LFy^0XtPP&kcF=`t@OBu6idGNR<-ayEr|30E_dfoO9H!WYbe8yTZ-iz8x<-1MtWu zb?~$K7_b@AAAvsq1zJCrg6Qp4VJ-7qe1b_Cput3a^(%a>dN+>&A!8KREu3**8CIJx zhWHhr|3_G{5&n^C(Z3)bkm7$*HCSknJz3{%17t~Q)v zF?3=sIWgP@Sv8n?1L#634#$UEsFw1GAw@=Y`oiOmFWkLPjt}DbE#Fo^r-(bGO5TQJ zr%(#$6bp#gTIHFBR45<8$H%uF=70QvUf4d$lxDQnv$WbBQ#4X)nV*sIkd~G?`t5@K)Nhhp+TiGY-``)&ayd8(CgQ)`?FP; za84CunqxOsQLbJ)psN55d)ldmNtQWUXhs$g?!6Te_)G(8&g?2xYb2n(IJM z)z`TLwnlbZ9!;IuKbkrVMl8?=1+nQ5leec2>Q-|E(u(?u13 z^?Ud3{l}NGc%b#Q@zgwq5w*nX#R>y)OYb{C8sJd3qh0PVZ)j*(ZVclFjH<07A{OoM zM|0pE;`+DR7kK$UY0Mj7Ja_E-=+Psu-4V;3W@=-0XltURq?GJp5^~^2m=1(@)!|lcRJO~{~`AS4}fU(cUqt&Sf<7dyFp`jDu{{8zt z$)|e_r@r#dIK!JmsUx-6-7%XyP=JyCaHQ!raem0U4z8mkJRDl&G#^53a~2+)bNVRZ zRVrL#n>~v9a_7#S(NfE>ClCu57_cv#PiJRmQR>g&9yy+{YB)0;D6`hUbUi+S7%*-8 z`TY82M>4qjBp8EHtUbRz>5Um!E^a6S2kY0Az+Gn^OMyTfPop;WQPVMe76^@Mu3Zv) zRuJC~*J?26JW1RPOXwEy-NcggOD#eN3-r>g6ozB+Ub%y-4Sf9gG5(HOkT_!)E;_Fa z-^t9*9?}e*_n3>b>~HY*7qlPO1*4jmxXHrufJNqws)xsCc=Vn1CNk((+rL`sd*pV5 zjg1RB3Ly&h1A=OPPXkz>8`Z1s2&Sz8KVZKqI0RR{*~(>;SH$#Z!^34h$(@sfL*AkO zU{16vHa2#7(7-_pezzPN2WRKz(CzQ<@DV>CqPq3&sn97Y1dkU4B)!lISPsNKGb4jt zT-;D2>v3*m7c8tvpknp;bt&jp87xBOL(iSnM78V1ix<@)RS=L~&H3xh`9UvcLqIGy zRgw#yKgUnOw#D)et^aC@j*G)J@X7Z=%VJbSL>d%q9zA@x0O)_CLR;)AseEr~mt_7q zBC3TS;VfG5Q}4VXkgQAj_!~c=cEmMB!ZIv3kxBJ$%(Rq0X}*YCEi$R&l4`eAeGNhF zvHvtv?l49sCa#e9N4GpRH(%`j@L=B8xN?j;wrzF`ws~DRw*TBM`NhS>N%AktgN0B$ zQV(O45U}b_jnBcPi6kjEH#Z-wguH#LZDo}M{f>LMY<6%}w(5bk3_z+t zXG3TR5Ob2}#`(-rUv?M(T@oTERG{qNg`t!9+(zWmqPA%8ZPRD9FjZV=XkSQip6@=e4uR$Zt0)0B9&M zD99^J{_*1ir*3EsUY8Z*BX>cy{rJ%hnJ6ke{KMv^6NF(U0P%gf8riJ!4}yr*VtG(5 zz!5kkBv23?0&!i3I1pvPB^$=b9o+OGDvDxt_~Qdy6Dt(uqvGTBGjTZ>ImwfWd7f{> z!NH+l>#-qvq*H8E2v()Q_u%*67p`mr-^I1mrpty667kkf_XXB~S12WlsNqmgT6(&m z-?4|p!JkMi(g0$X^T?Oeb!Z^OE2*Ex$N#rCDBLKYJnbhpD1Jf1Uz@$u)0_!6j+prks#4STd71lYFAjG{CJP zZW5+U$g|Rds&;me_w+3jRC+4kduG;+C%TFg0gZ<)35cln%NkGsOacSm{`&t z7W#_~d1AX@@GnzPDBs`iQ(1mNCfN-Q7)5I7GS;n895^_$=lSn|S=0V*Qs-9vJhT^6 z($X&amf25K@8S}KG$ETJD61)*MrT7dO9y@&pAWhA}9%iUG1?Ksd z;cgbd_U4wBl)heI^(^x9WyIRBB$BA_aOp|TgfF zDnw`(8A90org$+PuGvA=T?iO}l>4E!R^0sQ(;VP3;Ixsfu1o#$O7Q|cY{1;%;WIK= zVdt$u8;A!adS1NOhvNJNQ zppRsJ#kkI^9G4NgB#$0jTU(D-I;3!Na`u0Ca6XjbuJ#o+WlhKRxc2{}_wJ+5NyoNj z{`etBNkzqZ{d(GWNhZkK5gejehc1_#>|`$m#;}(8&p26z=Fa_JzkaC<^8@45j6lfi}R#=jS3=Ve=YaoVV#ty@x~lINya(9~c~L1Ma2m_Yl&gKBb93 zz|CUMt+_==|2+`hS>^vPQGyyc54gll(6!`oFt^;K5uZWS=^;b}sY7pQWdXv6JHr5+ zdh`g4B=tK){$SLXc@6jwpgm^y|0Y7fN&w5|iEW#Q1(|j@mPFP7*aAB0-rtz1I|38{ z?Lt0p{{s}vp9{+!FA|@#1tg#a-S&GuK$+u@*}>gh)4)aJ_$@h^nWxV)8C2MAcq+l6 z3h4OEyNjvSFl%|c8)c?k*Esg#B>J=0f>k54UgwB_3&q6zL zuPFD6XlT7siG|}B0aAIwc(;Xwv;mH4iR~`*q~mVnwX>9oi{O9#RZkKpFE8%}m=vce z|NZw_`QFxOu31Ns{(K!?%pGw3$d(y3z(afQ0nVkQUce#H{sf-syw=v%-Y~#R$l_}Ah7nq!_;k^ zRlps3fZxi5zMMReC|?79L!B zhyp-F=siOwo{H<<0(ix6*A0k-#Er0)8D~Rj=`W&Tfkf1Y{|N&zr;$PVUBy9PYFk&l zfgMm*a^VCIu3RAIx|9L;v4U-eVA6|2YtAbM4t1Fy9t3+;vaqn!NrBi;@?Y|eQe2`| z9XjSgNEyWX+4@}K9`t^B zF@Z`_-ya4yR-Io`BASLr6hQaqFp19{al8F*;{|r%Xb%V}&~NBQ)G#zm{5>->>mug+ z_9rj~m#iD>wve&G2X~+olIK1%WZb(uH<9n(zjF!+RVcK;Tr`0r;*K_L1DE8uz1~94 z*VorKkfX)|3|Jnb(tn0QoU4QWVItlH5Lu7a>K5^f@^FuPRYVo0j)U{5Gc93li!O&{ zbH1Q4cmb&?H)|oq2@4Lj8$nqrDMiMoheMNyFdS_HP6OoB3LZee+9emDSQ9Q@bWaZ? zP<_eMuX4)7#R}->&4rqVWS7=t6E&Q|iZ%Ar%gxQr%gIp%ix=?TwFTJ&dwJCa_U=uX7ls$*?Qv*M71`2w^FJTNNkC3swxmoY>RL7ED!~I1ZAqjlRCVF z2!HxU&Q;&5w6s4@-w3i^zy91=?~F*8V6d~Evq-Gqi!EK}JiZXQ2j){MAflLP{0sM7 zh=;z$$DpNHg3v@K;+XpU#iCM!=D*z@USKd<7}IRe`KQ2b2!28jsNvEfmwTggiJvRt=(2x%ZxZirMFz`B|Lv5zC*@MxL{juFHcRch%egZO8B$ zulXk1^it!kU$6bQq9x8ywzpkS{@5KlA=~#LK^E{7PSz~tK$PikYWWi<=1Q)SNe({+f=w9p+cg>i=a$@uuxZmg7cdF=sfq5*LK9hlH^-opmwpSs`~?lqkA zMX9M@2rpc?6LU-Nx5OM|Nf{H9)Qu6#lmXPn&X1A#p4-G`paOjd<%M^ju5;!9Py3Qu~xu-O#1!YjBL){+hef`-bfcwR^J8cY2OX#N zK%y;P(564_5fQFkn@-q15n7gOyPh$26+>rh1jUsrEU#=f)f0VrxSpZ3RiFS1PXxsA z`i&bmo+%}t$190fP87k(5&sA`VgD3n%W^nRyP@I?Em>pwAD;vo`D0y0laz7Hx2mdY z(z(U6us$#GF3=t*hdz>(HD0HYYYHOi1K~R#6m4}}uorTeETDI&RRd&rd49u(xJeZN z1svxTb6p+Px;*r!S!}8*>N8Ki8I(BCy&10nY<&-7Dh4!@2Lgv-jyFB08eDdOP;i=-uU)yZs9RgKGQ&lzf9~Gb9;tg2h zGPuYlF#stJ0DcfD=8py6L7lkMm}=h?xIs0{qud>1gt0Q|wAs;`9S73+uOqUj&s(Mq zp?MrVR#CXSHo^63%cCL~`o@_2k3VXIG6OKnbI(~xdn&MV_P`Nkqzk|hm-vAl+N_ON zElt+dob0zqIsI#M?mu_{1sh&CoZD)7nx~bIQ$0iSHdSC*r~HlzL6YtVqk+MX5_Q11 z!2X>6F%;Cl4$=O0e(dH}0Wh)g0E-8E*V^8$dH?=%)=sktOL18Ly^t6ga4$R~Yv?0*KX=UMfA-g3B2Vk=W@y&ImIAmmJ(+86=2@$8G=k39hWuVyprc3H{d>?ktZro!gRA%q` z2aC4|LJ*1je*xAeLO*@t%a_znI{L8XvH3^d46^=rXuWs?XTRz4bxs?0*LX8>h2Eao zcVBYpiyU<-R~o)aWAW;h9ku!ewU>XD(Ddig`iRQy~TH1s%55YHN%`k$$P&u|I%})H(#Cbu4fXN?(B3vmLMZLoE4q76@K*K z!3%a?-gyx}us-fIDB0{|{m4UQ`V7PwRhXJYMJ1%@6g%4%$KW&t;aU9aS4l%u*;zp( zy#bE<(7~bj(sSoc8{z<|MIcXKpYpweil3UXvD9L?@1YPdxoxjHRnF+ICbtP|CU^)4 z2zoKu>Kr|jlRPeBN$l+GmqJ5Be?y6lwqUaxKC;bsrU3FMpkNx)3VE z(vL2;vbH7<$y zlNi~zmHzQhZDM^zMaA~1d7(BJ=p=EZ{`Vb~{gkf#eaYXxE*yyDOTN%O2sJ;7AW@l(;$m}@SN#eXH+P4L>qAyq;(&)y(UbMQM49TZ zJjCC^0zoi)cs-oMTzprO3s;Y0pcT<}bS*TV_XHa2+3hR0QK z)P<#```5$erW7kpn+ROo+_J`2ChO?WlQDh+AmDhoZCzm8z$hpvm{U|FBhJ|Jnv$!; z=fLSKKHi_%S<}-Ktd+gJ3_HbF2$Q!(L|*FNBB&fALAtF3M7*}yd5r7d0BUHo5_n>3 zOAKXWTG}hu(^47{xrcg9CbyYsh_6$HG(P#5T3k#P!TJGK3KZqQ9;?4u`IYp`S$IsdM*X4{C&Q-hkSAHXfPcb z8k+rIp7jO0nd%(3^gf-HkdV-L+k-BjvNJX|4s#TF1G(iFXd=3m_6!il1EI)!>NEfH zp0^FG|> zfZnGNz&P?_vDwaBTU#5jG92^VJUl^7zrFwra@<|fGyLp`hnZ?PC8@i4J>C;%`ht&d zUSXC03V_PAbi_n}ZexGLYlAH!0sc-i~9qZY$@>o7@v&3t$e2{3GRuMfXjf F{|{v)`C0$~ literal 0 HcmV?d00001 diff --git a/martingale/martingale.md b/martingale/martingale.md new file mode 100644 index 0000000..fdaca71 --- /dev/null +++ b/martingale/martingale.md @@ -0,0 +1,7 @@ +# Report + +![](figure_1.png) +![](figure_2.png) +![](figure_3.png) +![](figure_4.png) +![](figure_5.png) diff --git a/martingale/martingale.py b/martingale/martingale.py index cbcf53a..4c73ed7 100644 --- a/martingale/martingale.py +++ b/martingale/martingale.py @@ -26,6 +26,7 @@ GT ID: 900897987 (replace with your GT ID) """ import numpy as np +import matplotlib.pyplot as plt def author(): return 'tb34' # replace tb34 with your Georgia Tech username. @@ -39,27 +40,95 @@ def get_spin_result(win_prob): result = True return result -def test_code(): +def run_experiment(max_winnings=80, max_bets=1000, initial_credit=0): win_prob = 18 / 38 # 18 black numbers out of 38 total numbers + current_bet, episode_winnings, bet_amount = 0, 0, 1 + winnings = np.zeros(max_bets) + + # Keep making bets until we reach desired winnings or betting limit + while episode_winnings < max_winnings and current_bet < max_bets: + if get_spin_result(win_prob): + episode_winnings += bet_amount + bet_amount = 1 + else: + episode_winnings -= bet_amount + bet_amount *= 2 + winnings[current_bet] = episode_winnings + current_bet += 1 + + # Handle experiment 2 where we have a initial maximum bankroll + if initial_credit > 0: + current_credit = initial_credit + episode_winnings + if current_credit <= 0: + break + if bet_amount > current_credit: + bet_amount = current_credit + + # Fill remaining fields with last value + while current_bet < max_bets: + winnings[current_bet] = episode_winnings + current_bet += 1 + + return winnings + +def configure_plot(): + plt.figure() + axes = plt.gca() + axes.set_xlim([0, 300]) + axes.set_ylim([-256, 100]) + plt.xlabel("#bets []") + plt.ylabel("win [$]") + +def experiment_1_figure_1(number_runs=10): + configure_plot() + for _ in range(number_runs): + winnings = run_experiment() + plt.plot(winnings) + plt.savefig('figure_1.png') + +def experiment_1_figure_2(number_runs=1000): + configure_plot() + runs = np.array([run_experiment() for _ in range(number_runs)]) + winnings_mean = runs.mean(axis=0) + winnings_std = winnings_mean.std() + + plt.plot(winnings_mean, linewidth=0.7) + plt_std_setting = {'ls': '-', 'color': 'blue', 'linewidth': 0.3} + plt.plot(winnings_mean + winnings_std, **plt_std_setting) + plt.plot(winnings_mean - winnings_std, **plt_std_setting) + plt.savefig('figure_2.png') + + experiment_1_figure_3(runs) + +def experiment_1_figure_3(runs, figurename='figure_3.png'): + configure_plot() + winnings_median = np.median(a=runs, axis=0) + winnings_std = winnings_median.std() + plt.plot(winnings_median, linewidth=0.7) + plt_std_setting = {'ls': '-', 'color': 'blue', 'linewidth': 0.3} + plt.plot(winnings_median + winnings_std, **plt_std_setting) + plt.plot(winnings_median - winnings_std, **plt_std_setting) + plt.savefig(figurename) + +def experiment_2_figure_4(number_runs=1000): + configure_plot() + runs = np.array([run_experiment(initial_credit=256) + for _ in range(number_runs)]) + winnings_mean = runs.mean(axis=0) + winnings_std = winnings_mean.std() + plt.plot(winnings_mean, linewidth=0.7) + plt_std_setting = {'ls': '-', 'color': 'blue', 'linewidth': 0.3} + plt.plot(winnings_mean + winnings_std, **plt_std_setting) + plt.plot(winnings_mean - winnings_std, **plt_std_setting) + plt.savefig('figure_4.png') + experiment_1_figure_3(runs, figurename='figure_5.png') + +def test_code(): np.random.seed(gtid()) # do this only once - - episode_winnings = 0 - winnings = [0] - while episode_winnings < 80: - won = False - bet_amount = 1 - while not won: - won = get_spin_result(win_prob) - if won: - episode_winnings += bet_amount - else: - episode_winnings -= bet_amount - bet_amount *= 2 - winnings.append(episode_winnings) - - print(winnings) - - # add your code here to implement the experiments + experiment_1_figure_1() + experiment_1_figure_2() + experiment_2_figure_4() if __name__ == "__main__": test_code() +