From 70b340c76e5916728b216eb2205e92b05b8da632 Mon Sep 17 00:00:00 2001 From: Andrew Simonson Date: Mon, 20 Jan 2025 01:02:47 -0500 Subject: [PATCH] ergodicity --- report/report.pdf | Bin 269319 -> 270154 bytes report/report.tex | 6 +++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/report/report.pdf b/report/report.pdf index b87e78534ed6bd8c75c1d6fe3d6463f48d2dc6fb..dceee4197c0d01b0d0e94fa86b6c6ebf39d1363b 100644 GIT binary patch delta 32255 zcmV)QK(xPyxDd*|5RfL9;ratAkx&zVfB?~nk8Fq`B`!p2>=II;{(GFJ17cyiSNHMW zi<2VmA%@WLS18K&b1oO@j?aI!o|2usN@PYbS#R zlm#8eOz@#ksZ%`^)6)3L?#JWexG z@g+bbwQ)52YA3x8P!SaXxAP**6k#{nw? ze|Z*vNUuLhtEoUtxwXr-&AMFH3zgeS=gbY%nsnbQqf6(BS zPE{%0l&Vf$!L+G)=XFgmqq zCQ-JeRDbOH1TdUjuoi)D@&q( zDd-IXU7J^m@=GI+=@4{Jv=@u8Ef!&pMb2gUrE%JPe6`Qkh_xZmXz1c_uR)gG4YE5h zIhjk{=tB{`1jQ`2K-nS_){)7XPE+M32aAnZ!v^lTWKo%^nEG$Ptv>Uqi*{p1T)EU71e+cgP{iemc>i=#_Sc|M!N2iVK=a7fzC+8<{#rDo( zqr3hZeeBHPO|R}BKJXa}n4p_y1gJeDaG~n5sG3a?mB)aTe6=_A$?4G z;McBwu59fE{ObCPz&qz(WYl-2@h97LwkdV@>%}&*Sa#O*t~tw$pI*?@w^4v2qhPmv z+fE8`y zRigU!!jraHgGG=z3$kEAD*ZXpPcV_N>VHrVhRVD1z?ZE&+{#hyNpUU;aCL2u&h$Dh zE2rnPqClOar8?tT$$pm?nLI1r;SZvV;xzbtZrV;bnPXN9=PE1nUxpqhcV1?yIszv} zJ5IYy+3Usen~URgmyag&864TCkcBDf`4`t%0nGB;r(xiFfs$P5TefxGHnPS>Lw`V1 zok4hisl6bph%l@_(Ql$oNMMCG`3VpP}Bz$g2s?n#kV8sY8Lru&S2! zICRrxBbHI;;+!m$-ePL3@KSV@538V^rY+JBLtM!5um%KCKp*0Q2$C6pNC$Sjm%H> zRR-*wFWX3T>~)0%HrA$6P|aZpV!rnXp*ogBzTM6&G|U};6V)I9ggWpn1@vcum9B@E zP)uJsRVT+03!sVjgnV><8Gj)2cs?68Yn=LfOx4Il>j?ja4XF2WD*W%AhtSKT0%V$= zqXIuaIzZ8x>t^td0!BYl1YFf#Lh=F;PeP;0y|DAH6c?(BGkYg4U0}>R?AEJK##Le= zjIZ<+MPk-RD=g?gQe^(9B zScU%`X;}&>pQgLK-X{7*cK-)bz!rqpQSX3!*FfOc@pg(~ad9B|cf(ceB`$<}1m|}u zf^Vx~#5gQGkEhHbK4dep#A{*<&7f$HnEy@@Lj_D=at3;f`AVU^lu6}IdW>skBJP^dTIHH`rqa$~opTHh>yoRAGs5Wi!D|v@bcq#$(jam;>|Z-b z4xe0PX45YO8`ZGXv`ZV}*H7!E!}Zjl5Z ziOa=4_(Cua+YR*MURDyt$u6JHJ6d0M?pe|;Vsw^_(G3)>WGNsGpFm^20b&|cwdb2m z5bZe!j^o2FPSW+;zYKUgZ_C5r3ldP<_x8_F&NvA^p9BnjU@w88ga|JaBcJp`CIcxN zjHK*&sID5DTz@nAO5KDg2j$dA1co7HFx_}6tId3TgyZko>f*9}w%5R$1TS1q&xAgprxvGgYdXswfG2z>5R)4Xi;f&nK-%T32u{_j3%M9S=#F<3- zeHZ<+rUB-xMRp7I8_cLfHDQ6$Mjk|c6?=fu`1yZ!!Z3vmHCH$}uV zQ-8U3)`o&B=cExh;I$pMiRQI3yRJ)%6j{a7g{*2ka=fkKoSld77fd2d@aestHZzJX zC>))yESILarx6nkA_3Md3|^gzZ}uK6Dp!wE6Q)4guiT|*WOAeT@s;sm-R2mrjkij| zP%J1U-Do-KnKyPfvWW8?)a!7!G;s~FF@Ma0FSc&Eog&-E(w_!WZA(67o(F`zn=EKT z!?;dbSu`nI_~ENqZ1zS)9SKG+STG7Ra%vsFlDikSo4Q14D0$%>@)xZ_N?=Xrgkw}u zldz#!{hO}OD0HfIHSRB(LsR4M+lc3CyKFdW;sOAZUj%yJO!1F)j}q-3ecB%OtbeN! zC1ctS;zSJJFJlr$d7=M-_RzmCj!U618*7>{n+rDh7%w34Yawb8Qpt&wq9h7?aq0-#za)oTjf(yugZ4!BzlF!q`(U!kqW+5+ngV% z$VU<;5Y!CF93J$cvm#+hqM)Kl9Dl>8p%A2mMN`X&1Uz3cj&T!rdXeaqtPml!H~@8~ zqSo-enC(ejVAhDNq=Gbdi$);LSD}>a#%Sz}kY6Gs&fc{r+#5=dxJ?pMknZ(Vzd9W_ zdO^(H&sK)8rqo>p)5r&HZ z)zn{|UZy>cOwzWDl0GhIA0(p|kCnM02wyjb^Ht))kg*dkT8owRk+`6BnuR?~-s9NLl@Gp?S5l{04&C?DgwI?Z z@2856WIb1OQ9wO@T5pgvcz^Svtr5a{UNjHdmxp^*UzDTlOAdcn_C=9+n<)H|vMee0?v!A#h*(MPRk*#_}HqcYwjsTluv4rzARSyi|JQg(wCLK6ddt0@HY+ zhfKeGZQ>}|g?WOP6}v+o$%76noWDN3`#-J^J!6x>5EGNpO%(z(H`4Z?)uJAjw6_GAO(sYJB-=p_yL+G|+EQ8%N2J=*`}L_8CA-HHEOHTx#bU8o zZz>K>K^*+?A(rv?FAvW@q)DJuRONXRyc~m4Mfu76aa?#+P-hiUhe6k%g}%j8!qrh`6oedl&S@XkorYR7bq z?s`F*H>5Blew}5Up3Mh-=I2P9 zk|AncnmgCky62hbq1KBPy6Ncfo&+AOncq-eIEhi(IWwG{oHyN*^xunh-4X1W6)K!b zhGrUgy4?cj@mJAjmT3%)IAnv>z`mSERi@13^^|CizCbvwEO7gZKr#SO&+* zG2rF}SN9b}-0auJ5Bjl8(RZ(M4V<}&^KdV#kUx1p*t|ApXCtm{n-wulebECXatdI&8p>F_7ica!io3q?2W~r%*YJ2RaL9O>BIAt=No4b6GI`hb**Tg#+YP{=djj6#K8;qtdzC&HyPWYay@|Lx0|=g+FQ%1$?@ZP}D5`N2*Pe+v-aWjCds~ zPPu)CK{O02P&SS1wX${W#jB@uM8eAJC$h)X?JhZH;Cdcm++Ev`bzzJLFs zl!sdeqwO+t_W*mK?7Z>+n5@Mh@# zM`JC|xoL>8kv?Lgw;LiLh{sn3H7kkxcbJo(dKxTA2vfZv9QNh}u6-8a zrwz%49FijXICKouf2i>D#$r84xO2;ba%$i4+z*Y#_0p9ki9}SAD11tAtbb1D!N0Aj z?@Yq)K99Ptml=vOZ?biV=>>#R`!u{AI?FU*1nV;gm9k`gSIXgvUud>9O~m=><$f&C z^Wg~@*4?y_+h@do88|~^>{2k2WZd$@LnEsh3-O{Ex^#Wd(AN3TKIjjDH76=yH+twM z$rpQojkL$popp>R`|+N zMHaMN=Y)tfxER#pT@|KUXN`4*rd<2ML>*ZnA$YGXQTriK&QxhheDT(x>CO*10 zTyXZfCw6!86T(EZ<7ytf^cBlG+Zl9V3) z#s6&!t`%1)vl1n-kPNh8R_F62Dbj>h14{lI|l_OrJfUV+$-Ie9J zC*UjI+rf9H|9=ofI5v0xxN*6sN5=N!gVR?LE|LMcgOg@cqC-ONBo&QfbNyle>E+=+ z59n-hp!~0T6~mZiK|MVD^h+Exum<8pX;lUnq8y-jBvDZn0QbR<4}a(X{;CT0;JR2Q zjzN`2z$d6O8m`OBJ`Jj<+9!J?%c2ajdm8PP1ZnHs**|{&{Cv4wqVXLIi;e1OcuwL( zJ;(cJRXkhw-kawh%X!qgp})D1A3sKmsvz~M3<_BhC8>n3ia#pjzeGHwFO$I#6O%Ys z6#+7nanmY)ofylG<2Lf%U!hA785pZYJuGRDL9*Fi>}3%Hdq{GiCA!UwEIFjqJ-uI_ zdQp}=USO~ntEyNm7VAx?(QA}OKR>1N{bB#~{P$c%N+nHMX3_o_)hgNLbyUGuRZX<- zqF>`5jc=X3O!jS)tJrL|c~t_jwcd^cWBZdC-N)vC_x(RXV73;RM%%1Rsvv8BvL3dS zDn2+pw41DoPmKF%?yQl;(?-Q3F1|B<*=zwZCTdpN!l7a?(fR zm?$15__wr7vm{F@08}DgS9e~|i=?V|tQInV?>1YdvNC=djw1)n&-!v3Oa2=I=mnH7 z6kYdtz)3XwCk_x4q27dIaC!S;5t z5T(XH@&oS68*t?tI!hdaVX!O6l(-6-kGlVaLQB*TgbjjGjx@VPj5j?*2h%i@+HrP& zUgV5Nra>%oMglyYGzgp+VR=;yn$KS3*o9G~Kq{C=cR}ezk;U`S8aHXnm%*QpO`XMX zsjAN7|A>i!api|1zxn}IT0Jmuai+6)BSg#>N$++d(|g`%h1WW#Ii;+eN@TFjTG^VF z?F5$Z5T9uSmkU>O$;7CGliX_ybr zF^TR4Upx4@=X(JL#kEB=l=2eF+jthCK^7I`&y119;oIp+Ka6BJuDID%l$R<%Otqz?)I#r#fo_=mFAH8)6u*G|^joTO%4%c^ zCAGkkitedviG@c|PI;8q1yq55GgNW3S1ku2wb$-dzz~nMSO-Y=4h9l0mGNNS(UDC9 z#-J_(fkq)!m$$VMH%Y?)2oHW>?m;^zO&n7ZeVtc}MgWRC0UG-b56+wGkwCpY5(w*7 z4(JJ+G6G8mIE&#e+s~tugLo4*J2?As=lp{UW45DCj}5UM2XIl*p~TRCI9q41pG#w1 zI;Q3wWOwP8UY~hbLD>G+d~2Jmq)mR^g#V8*E63K+UhNl%dI)x#oMteT>8rU$C>63c z3Vj3%*iMWp*Uv)>0bm}eqyUtQhez^DJIldAksnqyz*|t~fk!-c11NMY_RXRwq;KZw zqXDJ4UI0tFXGR^$xwAZfP0@r^$0CR7UK`>I7%2~60oAL6dQ2kILmhsgDCcgTD9l}S zR1Sek-4H>Z@5*JqVR_Vb1BKYDI5v{z38Nu`11$CELXhK~AFUd!!9 z4qzFe@)F#}1!)&^sFh!Nuj1Q%FxS;cZ`WAai63EilYYk(2R!HI?5)ig4HgtIolOE*#I8Sou!5jC+?tmjX9KK&EKwR(Pbwrs8xsBCvz^KZgQ)>KFvHFftexPZp+el~8xU%wpJE9U4%tc;9>O8F6l{F;= zHZG82-}{?0PdKX)p|_uVd*T4*-!5$9Czw4_GhBU&tF~U<93u%WLN%9x6aiiG%w?;t+P^R0D|egEknJ z2;nJJj5`aKt}nV3Y1c7H9vyV}U90*k5)V}NB#@Q}r$A_yVuo;ds8H%4^C|q_fvXTp z08q(8Ae^B6t-N!1Kx=y6 z(g_BCABM6|I*HqclziCCbgMgj+ZE9GU#NLyU~IBkF4sd67};BV)$oE?HH$+VT^_hM zah@+p1+1%z4)i6+aOn)wnf&oa@sBhyD0jpf2aX5nLXWq49W{VS)RfZ5;46O>)*)(k zyD%!0_4?n4I$l(Vg)>*6i7~N78A`tqi6b9>Z3l`yph)bMl2HhlHyeh3)NgbTGvy>h z{(0mF1pW=v&JOIy|CIvaVxhn}uH(y}uRrad{(MpZrjZJNyQ;ECin@y0^V6@tr%?xM zaA1-*b@Wc0XJ`ZPMrbO4`{(RB%XEvcwK$~I zOMZQ7)8?l}a7zat506UeEc(@Ty?4VyqN0z7$0X09zm1K5<wu3w#nIb?&Le|AA3QMB=0QaRc2sn+*fy>S+{dXi zG>fPo2c|dt38uX@!m~0RH;^=sWHgL7Z$q#b?z%ATCl|p^D>q(_`7)+6%}21nFiA8qPLd=FFUZEy1#wfHI}2xQ54B}N*Zm%=Y_wfvd8WVe zgyC)g$u`1sJO^8mj5n0ROGh`laeo^dGf}|?tqcd(J?~y%7`!`=gC&_{5iA4|4?Xt` ze{PL4XAwpoomu`_)ENJ4J-64#)2EbLh(CQSK@X@vwZdLIFo0-2F4;F-XNK`3OgV`{QXSS8zcO4iB z50i9}8Fy>oejS_b9N)=?&czH=OhR?;eunB63x?r$Z zusJe+4D4Tf&yC(cn-1^BqkMGwy#!QHQAQqJ=ij6Aq|{t)i;XaPF!|LsAbeQ)>U`g| z+#dEsjrNcz@VJY)4XC;#j(+XKz@sZc@W5Lw^cVSdaG+kOt&zrj6YP*t(ONu2KQQ7hY2g~K`QR>V5SPn5x)@2IoJHaTIU>*qbxEj&0~copo4Hf!ujgEx_q&)ZnuXNxwBo!LOozX97bJQ&Gda4P?XjWX19Ro&x z91u&h0wEK+K^vB%ir0~V#@Q=jN4Kj5KX%A0Eusp{lJ0?klB8g>$WNMdRUqmCWBls_ zm;r4eOUWOB4B|p?7mzs*%N?QBy62iro9G-K^*Zk}lgTzEnr|aJg3eLlJ4a`g;a>W* zGG*B2&MA+yTII(qE4M8E4iY2*mO2`LZ+OBtRGje_w!G=)CCPUdE*c@p7sf4FF1ZBs z))y@)%m|se-PmkFfkUv(RS0^S=1(ODe_>XLeOnW3{5_Jgd#y{Hksu_cOec%)arzTa-7PG>aWQ#AQBoC9~6Szui{L4cI zPPU#%$pxYRt=m_I6OawI z3zTUgdq8M!*q&jEvLkFb-h4YN@_V*J;MGo&T%kHj)uQgImLxsqMZOeAr4&bm+g$z- zQ01H=z~@g6t{?tK9VAYF@(T;QRLrEDu>K@R#p9fqrayB&NAqQE$n1Wn(z-FA8a;^b0DX+Nk8$$?ey*LCSLJnuwEomohv2!CnI`HQ_Sw$j*pIDWE zX8yw3UW-cf-=j(4g(p*EgoeORVTDg2m4)yV^DPLJ3szEp0(dxj)=Yw27nW2k!Jv6I zuG_Lur+pk=V!HSiCXp<9_EL}t`f*uKex(t(Dg;}kHS%>lfLT52q~p;5C#_@+y%|vI z@}nQ+IW}Rys+>2`37EV8HsX<34~%_y_}9^$Kc=%{6&M%68Pi zvM+ofIe@Hx3=$Wvtbuagk}xh`J@p959oC^;eVzi|W!gGFkt#KY9t;sUV7duMp>ua2 z7}*@CI6-dixK8A0&b5f~@+cMNxoK*vcOIpLY&UdshO*r|(bHoM#`Jy;;6uGrDT(oY zlYp9S0;)=nI#sYMS5q%!(UOWMQ(B*B75$8uz7vsui{e=3*~H*0BiR$?IAF&p`I4Tc z0=HNS(6I0L;)qo<_t|b!Fuu|E@+u`udj5u*jsA`iL}ozKN2#-P49P)u2l5i}=UBkd zoJ2o;<1eO!#S91DQsk`$LG5ITYuAy|d1$Q={|B~9*hnIN1Zj=n#MuL62t@o z#ea&G|KJR1t0S1+fjhFHVoH&qQ6mSD26RapXfb6bnQ##k{;}j~W#9&s_B_z@*V|j; zDyrib-uaq0pSd>tHb=Q_A^BV}J&D0U5Qf%&1gWrgME{T4AttAgc4Gje;s@GOh^6R5 zp(;gv@;gCFFE{+%Ngf)Rne!v;F*2rH572G|(b%G548EE_zsFgu#U1lQ4lWog^v2{= z9Fy#j9+O1=DtO;>S`{DTTpu1+bo@L|%-{JVDH9~+#WB_TE*k7bQ=RcklFrImP}tso zWHfMeMX%sm%qK9>YKL*$nr{!&mF&EX$`*l3fx~6fGMAbZmI{O@ji&Fb{iBKAQ@`X_+gw} z*L+EYDr)_t`?r0!oDj~BX&KF}n|%EE>+|1mqbF0vNnQ!pZ(bgsGE-d{%*;MIxkjjR z6KXjbIfTv)O7g!X#`=1~@mXe~>EvaOF#kSGkGRn5LYrIN^M8PgmeDfTwKX%RgLF~) zro<~=J=>M>zDx`~dX|_tE$l9ft<^WTI_*w4SzLnfbTf^lkl8HyieKOOmz(lHX{ zBqJ~LG-KaE_36oGabl|b$NXzg9KB<J!g7Fre}8HFk-E3`pqw8EVSS`062nW& z3bN0WEuGAZILleEYEStm1Y0e-l$$LTk7>oty#K1;_HH{;aANZ-;d)tB+^(`Vwn@I| z=^wW?wsCsZ4AzP%$7@Fh^*f zV4=IXI>=g~H2r*N{U{wT20Q53v>HnAtJeO~4>}V@ggwVC^=|@$`rv^Yn4A^@2!HezgeCVE1@$5iuNNRY*V)P?Hn@Tf zJ_B}v%b-&-->?!w;(*x-k81O{N`D`Y^JM>NI4xk>cK6f6Kei&K6iAsM zR4P)q%j6S6{{LOk0-iHI`T+jl$jWxEX{WafCVvrp zF@LlJf&Q1$9C`sMIf(JBiWH;UerU#6MPqJ7lW^=)R{G>=4E+EC8U2; zFo>8g^XSibjDV=!P0O=VFVQ-5|xF9Q%S?~>nZ9{{eZ zR;>BX4Tr}(iFlPwlju#S7yoGF$A5X+R%iIV{ferz8e!I(FB;*Z4R06E3jSE-K)nop z^rBcYF!pC<93h6|a)SIC+ex%(H05@)O zLWawe1_y*RHo4(QX%Z2kLOFCiIC9J!SJ>$J6h;{hx?9&n*(YgB)Jdayz<=Oh)K_k# zR-CjUm^e^2Wy?L%y}1dZ)_W6;^BMtjI3ja!*U<|}q7rVg*3+nNdG>Cc*`3q2OR&OD zxm+`>6URWmg??C$>cq?HP#@6 zI=GY6>+mYye=<^ZO@Hpl*0x~6P{6Pz%%^ZXwfIw2vB>MsqByi8qId`Zb^yr4 zFy2=rO9Ssj6{txg@FdVMn2y2(T!|^md!egw34kBCnBrSntHCx6tTshp;%nC|^Tq#E z;CP(+A=FEFE1E>DFn`L7&V$JjGlsy~wEC67pUBzCQS6bb=v%m}?rBRw#Z(DVlsVBO zMI3U9^t~z(X$PL3gJ)^?FO%14tyAT0TUJ|;+$gi=?m~XMo&a&zwFi{|pZ{JWct0$s zOUWnYDg#+_b@J)f zEQ5L;(!Hoy&R9}Qd5kDhGl59ApjmLCA^;ZwusqOr(=-GC0Ygkx zX<3f+b`TdgNnbb$^)gKWvZ^%2WcWf4&(CQipwd+b0@em`sdSRA7L$0DP9rnrbu=<#dKi)M z-JTGp&6{Yx2n&KMTJqzRT+@qwKV)TZgq6Kk7^y)esDaHawE)d?fQ{gZD?^b`>!`QM=RDVX};8TcGJiZ{Gs?<%@FohNLB{TUVFry>9v?$lB9yy&N|8m)EXqY=jw|pt`>e&*ElK}) z0M1Yu5n(uoY*luvFGP3k)eRI$Az=*_UpNRW*CM9nz>PML5ZF{eTH~Vp)KOj*p?{a`vW3w2$dRD_tEK$?C3zyF% zMyAg4LR2~$^?N?|SlDX8cta6>3WVELO7@!-dllHIJr2yWEa5sBe@FSr0a5U)Q22L) zELmL+XBsr6@skrjz&|m7@-o1c@Z_8LO$hfYKME0Uu#*;Z)z8BR^cM+dvC&uuDa`R+qY#h2Lq^GdkGhM6 zvXja5hb7Rj5pY&~6!BlvaVZ0gzSc;-66q79*UB00#V`wgs2DiHZH-?pd1|vbinCih z$Xkl?1RW5e9K9|E>@6i+9CE+lX7(oD;(zLSip+=HaKkkL>P~zPH$SM!63HFH>T;lI zcwCcYsU)#HJ{)H+P090k%afA&%i;yXq@*YMR8$<{TFA7?>iu1wvQk5x(q7f?48GL` z4D#z5M(^V)5cJ1FYPP;>lnOuVTiuY20N>?@xv)Sg5hawRmcx_0jzKp#%+r=CFk@UK z_V#w%zy9hd2&$o*<%o-d_(|7|@>MfgCoh?+;p}3a2u$V-;OGZQPm=}f(9oBkG=vGP z>|0^=5`y@F+!{aMEYDCy@^jUVJ2FXZG9(dM7N>jN!PvV=-#kD32i6(Pl#?Nd6p;}W zv)Xl63YS8h0x5sZT3c@$w-SEWui#^Q9=N>Bg)EE$X>;5bXn`P3f%XJ`Q0+})97PJO z4U+u(ezTSv%aUt4lAHpz$z2Y)!Jo!S(5O*>T#`{#mz2-}hu|LUV{QS95fn8W`)C#OuwD)+*tgIT znqYd40mFipZ3#xF8fkGk5lDk|AdiH3naKFVBqp$xunI#286%QygwRpNvg)!Xumd4x z6)cL8VvK(pZ5h9Wkz!v0gA|~K1R5GOkQvgqB??-#5pe|mCMhdAY|BJP6tE1T!%$0t z`bg~yV37*h5@^94VRAL@up6ohQs{sq)=Z${Br-{$VKUisaEzWCTkM+gBMAZ`MF&uT z>>Zns6WHKt6R}!_{v|mHrb8BVv`iBAEhdvB(FuP5tznj9TXx)&ec_O5#}pD%_>QqUKXyNL-@mj& z8BQnN^ZsmbFKh93RC1`^&;rqT;0>^hUSkE>6L)mvx)ay^uz0a>-Bb6~^4%Xx%)MC5 zee(Hh_wBb6{Orz3Ozfknv_>CwJer=W9jkxrwbGrutg++c0T@y&YX@DTmuebfuUQ)z zN(W$w*#|Kgcm-MjFfXN%ojodSg&mj&pY0rjD~JYqs~%_be(cZzBm>+gGeg)a8*9;>~}t ztNL8?{m9`1NCv14@Obd8zFHK)Ky{WT(eNRlgP6yQIiONKJTw?IXxB!D4uKu`h-z^| zAkQ#^F=by0H!`$G@RZ;M5eS-+EhrJMFh4Mch*q|9v*Kfoho{&XVx-`nyY9E&{|ATd zC7S~;p5fEy?`E^p6|L*OU(6PlCvShJXT8f;Q=UzSp}(BFboKb(55o^9!*u9f9A8Yj z`vJL$10toZcUbuao4gF9W9)3fQH{RAw`hkiaR zVN=F$nlzS+cb8}Vatvw5SHJY<7t`++AKWNE#_6^g2N8!ahMZ^9ODq8f$`yb4sDULu zZc(zabh=j!Db91jx6BMHqED^Clj=X}h;He~%)}=hg)1H9fHV5<){$)Lh(1S0HzmPM zlGvoZLN;PaZ;8;qSZXnBO0DcFwfX?5)h4OkNt+3gPaEyHgQ#t^DjvCC8*Ngr)V4Py zbugW6{307g=+eeR4mkJlr7eH77J($BkdJ^$JXrQk*AEtttsKBH@>bKvF5pdZ1H7^B z2;LOh!MjF#4|uoG3fdB48!a-S5ZcydfQ&gc(Pm^?NcWm(kuW1IY$L^)*tfq}gVh?~ z?!=g-@adY&ic0D45zAc4PUy>d1ARF@1br!Qpf9I(^sUjZP?GLI-xhybLU5UD8*Q%0 z?zD|IiFnS3)BGpJ-O~KJe%AnU2PQsO^RyWbQurLre+mb!;z6hhR?{Wg4J36FB)TI==!$cz z@a_{VNW7z{BZ2jhjFx}FNJOwAzVh~T^T$_<#emQCdribS0JYUc%U0wJ!%t8;X0w;{Y*`&jJw=bbQooweS;Fw2fE z?s^+7T3MrAX$6sP<=jLI_vC}d$1x^1Oa^3ch5fLT>}4~b721E%e#q5^?B-^V_QRYE z%tuZ*y>>N)P!;FF<(z#<_nD8ot5n-QjIN6}Ynp5~LF_9+*evQZ%z3STtdXtuF>a%K za&$DV-aQ$eTzAs_`ur#R{p$5Fyj_0Nb?@K5_w$d##hZTV&lYdG6jJPhbWywI@Nw36 zvy1upNB??wGy8vf-Ok7ZssyrGB@m5cS*?ZEE<#uvX{~xlj}?R8v`K46Va-5^!K3bU zE>t(ph4QZF;z|^D7kSmDReSw@ueG{d#oPU+Mn>)x?RwY?Os%Hs;ar-^yUFYR{4Uuw z8=^%f!O69oX7vL5!xDU^Mt=5qw*-(|d31EDh!JCq-ok$=%UGz?FK{hcpfGs-Oz1| z0U>YM3}adBDqA0^q_S2kX{)d7AzQASC6yX>6nkwbTl@u$H+}z;A&3+KIkPs1dVOZtw1sB!skn2&(;4wLhrw^lTo`A0Wq_QvfKy( zH?wBD-3b>oATS_rVrmLJJPI#NWo~D5Xdp8+GcuDF#eG#R(eXBypfV+8e0agi&-R^J{FcWnB&M1x;ifL*mT`Rnec>)Ua=|1-?F1=eh} zZP!S-C5*n=9M{c&6T2F5xuJ3MYso~j_B#g&>x=i7Kf=*+W{R>hB>pfqw->pPYV~Vb zm0b^;lVQdhe>B+CDBfpa#fa{@@AkA*drr+K5EQoLAlRV+MZo#ndPj?Wv#ZCpI}F=) zA{ELFrchH;2%`&KayX7V#?KySW-eQB%>u@KjAT(&A|U<4W9Up5R+kJBSXn5}0Z#~T z^2?>oRH4c$%O_|-3yMal{9JI~W^CU3+rO1ssj_7G*mvgIvSrPkIdeSxZz{ZsZipT{ zH)0r%1*(|x`U8cUJe7&xSzmWbU*k((QPg~|ErjsgrioRvXp3giGqeRL>1VDUPMy|~ zAP|)9i5x~jOKcVm1Aagr==1hiFFiP3qhRat_^*J8!!c(MUl*LT+n=JEj_O22RK%-J zRlDdt?UywqSLUx10uqQ{=|pO>kLFufo8PcBk#{D-@BBrnZj^O*X0G67XHGZv%@*u@mu_~Pb zxmhKv+*!p%iqN~9n_v;0zjxNUn$78&5Vo99om7Bt3TRZxmSHdm} znfL*q0t`$@t{|?*Hd7aPIQPWNbSw;13~?(yJX~R}jYVHmqxFWw-uI?Ru&CVP%{Ep= z(g`8tKk@oz08_m03lB6e{xg(Kh9A)tLBS`R!>zUy z8(0smAM?WW=Fe`>SkS@K!85NCw>v+BBICg{SrrJZ0M-2GLi5KnJa_#ggz(32KdV^N zkvS;)`(InSR=N63c@z#D9OD#yqVy%N?ngERa~>TzV3S|#U@M74iKHz(DEGoQRwc@l zwjklWw!+NTz1v;8^oZTJV5x6#-MW8Z8n2xR9}J2n)|!)MjNfd@|9lZ;O;qh1e)Y!w zU^*~F0$7;<3vWj(u=P87pUds*|2W=t^V;YV%g`)yswlqOWpsyz5Lr_q%&(HY2cax_mijtn zZCVynNHFQ~_;FDSq8YH%#)oxFGmfJHpVF1TcM5Csa)cqF#oXo+uzu#Vh4LE74riKE zsQ}ap5pK*>ZF!6hOPu`*hANYZ#EQL%jC%rFqn#Ay^V13Z-X)AcdEKbe=N4zyC>un?mu@fvxA)CYKcax^klFB#fBw6S-i!lB?8;2>BH|R93 zjp6Q|2m6mxOzn(O?4AE(E6L)S68F$q=0H3=n3M`lsrS2d*FI2lI)Z+zZaU87i4H2+-jewhBEd^4cRrc3hJPk^zoNOJv>=+(??6nXmRbOBL&p4EQPSPb11Ht z#7DMeDPUqI(;uxFYQBQ~8=vJ8=Q=uHJ$){sj9IE9dY<|b4ns{)rz1d) zXqDlN+eqEvlb<8I2cVD1{`C23gDJ%o=U_rZlEK<15yz@uVI`U>uX~`Vu6v=ro7aR= zwi^5jNo$adaxF~%hk)hw#QMnxEo<1rZH|BA7v}z5Y5694k8riz_1x);u9D56E|8{Y z@JYk)x?wJK0japPT-Y=|iIsG^nJ76Y?{|)+MUk(}iv$=P0MK3eoh@tgQsrClX*cz$ zaj6>5cbiw5^P=zzum;rBdJFZ;FI#}t<~|?TKmh(d3P|~RF8``Q?0g>mW%MUvvT%dH zoXMZK_{jeq?7>DnzuBWD7d@-&*Ry*%d06f0-RRRfJn@7!{II{AwpNHmpL>m~S=1(l zzD7Q{*yzkxAmA?_g5>G?fZssfoLXa_u=BPu=zdZSmH+S%xc)8#JR{M_a-&=q1GV^~ zEXqajh&#Os_`2t`yd}=Pt$_Yyu@nf`_%jmu@-RAUdB5%6sK8@Wewfz08@x6`7uv#b zuLfGK(6pR_9Jt$c_!y_FXJlP_@ACH9$e;lywCpw7TFTlh3QQe%7zf zLuyj615v>&3tN#w@ni3h=Jqy}{DGL|W)+ab%oOt?70iJ}Hku!iPKS&uqUDZxX6nFkyL8%X(k%`qi{g z=(d$O8D;bV zclY&JMkW6{y?UW{^VcXR(8ZE67*sYWM=9u+3!n#PAwnF!#$w^-7P)`lP&aAgTqOW$Av@(-;@Agb%zgX*##opqr+l%82|W*Bc~e`}vb;ITY!v z9Kg6BLaV}&buh);+VQW&@hZxpC-pP3tq5bkk$yk@r!N9xMwG%&!=s>e3Umkj{zWQt zHofD~sR~iKqyVyLEpg0lo#*&&Ayk4(aT^0x$h1rHEBC8<7n*z*e>}XgR{pSdXt$w< z)~g0!?G}TdH@b(FhnWP*Wx3CIUJmfx1W*WhjzhsTsQLu#MK%}Jd(x8Y3IaP_UHN5K zIYS0$C-w-k(6B~{TfgxJdaM6>BRAJY8~*#Y9mw)k+Nk&5%5O`(g2rB!fDxq~MUDIj zC=!?bT_MQeCjxCz@VA?s>y3%4I1osxm8d7Sf{DfdMSQekGg_a&0*=UrbWn~u4REoU zhKKX`eL#G`EY1jP_CaIY6#l_p=)_+cXokvcl=q#Jb zny^=f@7uFmwz0$0C9x_-tBkuSxmmd!CV{!@8OzV>E4$Xi#FW*B5E0pfwq9;phy@4r z`(6JmiqbViYBTQ@|CRzR`by;pw~}k7-1fvkN!3DsbhHt>cX7RVw(RciK6rG=LsXk- zx_M!=y}0M~mKJAJNep;#Ah;U(I`0_d`^WHB*IPi1Q&I<$Ab;QIw194v47-&G|C zYoo!u8!Q+nOXK1OJ3I~-%l~^t$Hv9Y`d^xdOx%78X7^LAvX2!f%OFTUiJ42h zOuR=Rfq+n5<%+?5SrHrM!>&;tuwJ%8g`8_gE@FI-{AKB?KJl1Uw&1E3?Zxlu z(&`QlMEaP7vUG1bka*&@BJ6SU#?yZqG5^?ayRl%8ejK?gf?I*Nz5CLBg)^rZ%uKn} zcO=NeGd%G#dO$5yCAX6L*CV>c@4hMxjaoXEE*>|yZX(;Ac?!`N`wmVj)G>2Ryr z4uKT>Cph!^1&sJ*1tuBqZ67>nt$;09Ey0u*HF^N{ zWZ~)cx_g5$9z#;0tiujtsKR>?d1bopE_HP7(-J%_EGGVt9{IXJJR2aX7?1WJht5V& zfXLVjZdE9>a!uC}7r|SryK&=&>(P2sfiVH$GrYN;K-#9`S90zj!4)hnWA-2>ib4ZG zyhZk+7qTWyR0u9gRSw^|NcOF2G!64vI>dxRBH2WUfy22eHj%(>y8dq%f>~k5*NpR2 z3i!R6z1jI#_|bnLvUY$|x1GwnB)I|8-^_C!{4dnW(U`D(Gb`h1R)6W<63mgz&hkMl zM|=ZzDCG8i!S}>n+sk7A8S-g5XjboaoPpQ6ZMNhLTv`2^BWr@{M4C{e@b5lby8laE zEs_Mo;_yRzZ#M8$z>nmvT%|e8?6=hVs>u$mFs+^rtmL}mS?m$OZA+l;=5IOyOj`6j zQhJYJ*e4cc1F)mKIqCtatljoXaO01!LGz1AI#N@=1PL5W6o*}rS#Zsdc3TpTz393; z-G3HFJBf3-FHCNu?%Ox7HE9Pwlt?!+_Ucpo4<(xeA)H1A5cNs4bo>o$JR{u0sd^A}$rN$K=dIW)5oyvRlX}UdQ-0rh#;Mm! zFXQg7I=5wAQiQ6Qy1+`)&YC@Jcb2Ra2y}rE8|Lc$bPY^m!l&6@!%^BW_unU7bSX?q zqi@cM)o>N6qqr$`=wx@^qx`M^rk;k$d7-Be3dytH*hcCBd?jpbwq1?=gAp-Otjz*z zeAgh?fAzU{>NKzQ9(o(2Mg=|j`+A<{}koMlT;&7{W0xJrSKOe5y7WKwt~{9 z=CB5mZ7PVgN!sCISxKu$pR`JWjIh|X+{r)^WnIHiYxdFMVNXe>DM+R@ehd^!2>k?9 z**PJ3#=4NW=93a~$ET8=zPh0z8~2zBe4_DZ37$YVV1WNvorJ&i1+!zCO+)=)m&yp= z*H82e<0A2vVIq|=ZY^2!F!3jS<>;7$DBIogAZqxXOXwm#XT{jvD(T4F9fq9;+k-?y z@HG#?d&Qcdb({{tfp8A-ta zULLa?%uQf#s7e}y=`S*<$nzyhQh(ST4u=;mv;oibWTAT(hu|!d8b4CyD9w3Zz)TWI z(m&ZI=a^#*d_+o}V|zU@lzdBw<%K8#T^6XH0GFUHP!k8t=~}h0dxZJNa1*O@L*_`?0~f7IWzjk>sCkqU?vDo1hb(xB#6CEUbL@?QTey{UptDf6J2&r zUL^de#kkm9NK%)^N(f_kP;9EOMYMY-Zac7xt9Llr4FB6nx zWaJ%ZAe4?T;TDXljH`E{XU~xX(+-z6G9e=4OeBqbK2kQ#a0Dg38cI($ml#%(tdsZt zPj04l0zp5yZCr8*q{Fs5o(gK+&I>XZsjVL%8DbI;2 zipBQe7=yx9`rix)$Nl~*>_eFf5el=%@9d51;~6u&f0;^q=+`HN&|Ww(Japvie!YGr zJ*jfM`%oxTc8?&*GKX;j?S@PZfQE{s2DY4rJXAU;`}Q-B89isXN@Ln%2)<6U-g{14 zuSr7c-=ey+w-}&eszxH?*8`#?v?S$zbq)I@wIGHpto1}o6M__%f*P#T|1fQv3_R@M zfLm;!Cp!XzMmbZ=A-Je{Y7I{b0{-!aZF&Odih%ErF1DfJA9$~s!*6`9tssjlcL z{tI<|kmm)Us9^Nf6;0ZyomOBp4YZ(^Xv*WD3wCT8)}$SKrl-bks+uwZQD)lr4h{*Y zw#j4gfu$T$v-B%>OR~xBfTYOFl)y=s3yYU7fky4BsChiJ%Cy~tMggAi&S;psBf-66 z-#>vQKZ4bCb>NAl-%@V??N~^&h;Ht(6bh-mX~I}WPqPFBLb-O7pFee=PL7RN$sn4U zBr0#ILT*(-IShq&fDrU`k5@|`UR?t|!}c*ddSpRX`?!h`EdQwU0i5qT0>4i0oPT=V zWRK3j!(@h*%6F9sTW-II^?4HZ$F3tQbL7+}E|$}s&F68wISL?c%N`_9IP`ka&aJN( z4)g3RI)3r_hpMkD*?BlA8`DT%1H*`jb3@k)J6z+Hj28R^n(T#dDXA1)3phSwG=)QE zrR8Pr^z+RA2BWOf2Dc>t~2$r1Hvd!J36WiHc3mOBi;T~!v`)9tPZ)x za3b{Zs1VHdL`NopXh3YYd$Reqf<***`)<#Hcke$_n@6uMvK9Pd%#xP5AMf_g7Wc>3<)XYSh<~ z!z)(M5e4FJvs>02=T2f%fN7AkOhuFnFDIr}=^l1ApRX z1V8S$!k*>xKlxlnE;J>|xWrAPykBw2;*p6m5y=}9F6Zb09gua*(@buTX za%e2xUo*n7JFpzMF%)quN`Wx@;#KGT`{pKnfr^J{R@wSEBEbo{e=GC}ia;qLbOMEw z#0mP!5V%J14?_40$~x~##2|81Apoqc_Xy1>798S?L@_Y5u(D6Eg11#ZSgV3Awjq!$ zkp?J34pQniy-*mb{QKy5xEqd|8x>PhgDM^-svB@H7LercES1Krfq`lw+9dLLI8J(& z-^^4-ZN%PCqeOodguLl5mE&0xj0?3;>A}0t>oC zrRja0F@z&LRvmt08DtKHWj@4$PQ92D9j~-ie(*jE?qC&KZ?q;QGS$sSl;8oii6X+i zsn;<_GYq6IIy^_Of+;KZ2)daN*~BPH4#A;$9r+#ARN!xU;%H%Tbf{naia(KX{{88~ zFouIJM^guT(j%(b|@`J?&VHjqypG4nf6(g3viv|FA%)t`_m zB?(Qc)7~mPw0!LrFrTivvo-n#N-Mw*Llrn}hIZZAI@LO>haSuqDu-;vt?awXUxS=# zKdWL9>>Pex7?mf#Oka(unCguILawC!aFP66|~1vXy80RFGD%55aW zg`V^Iw>$3X8Xa5Kv_qC(x)YRad}2N80~=ry6a~|%n`z;b>>F2d=0~e8Z=g3q`wAe^ zL)#F4Y}AoKcAERlnf0Yi#+%r~TB^v&?)jRKEIE3Atq7gy7`Ul7RDMHJQs6OB#x3m=qBcsU@tpS_K(?oB7%JDb{M3MUy*a+j^A#AYYg@ zZxrow!hfIj?d8m4Du4~aPshpA_H4Ed6pCEl(3RmLeN=+^meFn1p%#X)Yy*;e~biYW0!Bq>RQRJHx zUP}JP?i(!2QYe!s4%Q!AiZ__e%-Yb9A%zDJPQ9JTn%?@V9eapk$#;5_WaL$|n&2XG zl!vBsssIUQrYlyn}&}W!QjG8p%oOywpr^hU?TkL!f!5efimtTs05Z2*iZz@2qG&1aTI`9Vv?`lg0a`D643Bi2bM ze^2LV8(NJXrv8&8y4+83bvoX;%1gw(<&kwpd9<$a9V0r~6NEwb(;7AH45R$XV`s2MZV?nO!)Nhy!%O zG)8ryPG~>9F-$${<~Gt-v=mY;Cxcl%Fa0r65WONm3k9=QQa}#G|K*71|-u> z3Hb`(`@a5(tgfiDR;;^pvA2@#2JR7lADEHrow9mH7vz8Uxy5L6Wg#Y z2BRa|w3_c4_?{D0f`H*d%ha=WZeK57d%x%nR|b6weA3P2TH4JGpDDO%)U9yg*^75j z*6OQ)v|ds$3{dv88xJsapaBLbg%l{~e*gwBRS&d~43ztSfTAC$Hzz3Xe*h+MyAkw; z9E_Fqe~b>6L9b-MSpQEKC!}D|TA-Z3|F|IkA8Sk?el}PP>Hk<`0K2-tUg^Nt{%ef^ zoID0AqX1+3uQdiR3K2XD|9@@(6DU9neogs*-GGP^_$+st;sQ7tkRlBHNjNQK6&xMN zGy;AClQz2zjtOL#1t$ehgWLnh0Gcd-Gk~S>AAS$`vjqMKmgaEseOSH<{s5L%bPkT5 zcCZcJ2sGaWw*yP_y#BuQjlXRb@4+$Bln%iqfJS@Z>tJcoPv368F$s9u`0Mwj?@^M# z(G&1Bu(ZyPZybFM-Uf8I0EYnw<6sARU4zemA8@2O{%11NdvJR2?+5u0Nc#qjK=o&E z4=_+J;N&a#HQ09m-~9oe01nFfpOBLZnU{m@e}hg=7M3L9?}kG?J!gEWns4fJ`tY-j z&is?y;*zFL_h1CG&U$@L(XH@!(*(NALZZ6qRjrZFac)K~z6D(kT$Z3E2i~(k6iZV< zVVQVwVMX>|U`@8#y)7NB`JagDqKE{l8dcGNUHStEssO6F+2GWah?IcfKl=%&4Q!#Q z(aI?|12)0sRZD>M)-f+J^8&tdTZ^Ky?EJ=P3Q9{!^zXK2X_AO*&1bmrt>2F3$z?wG zO-1UM>Lk2l>b(i3l5KPlF~!OfBAPgi6=gB`5fug4=8?@B(HtrR3?X$5s)-6QkJ7ZJ zD47__nzIuSyY;z073DHb!k!?&FA~Y5v6U-(Q+flQ6r~ZE}7F>rP{?JjF_}6At2Y=e5+F z|MVV3%%cCiV=S4vB^4|Aet1|egl2wYY89m$?X^r4?lZ;3%-@9b(u{hS(7#A>b`dMa zw0y!4A6atxCo$BU1GMZ30R?VH)JDH zKG^lp44MsR>M_frGLA;wLaQ+yjLafyPKhWX;g-pnEedn;WK z!-(4@Fz63gil~cYN7c82exWI_w?n@2{A{3;tSd5W*BOsqRg|)-7~>V=94AjW)dhl3(a;d|qE6KR61v#0FJd`8cX2r>bnz6N_pnc`A#`Ke z(dkxjkj-D)JK3WUcMnDS1qs2x;9Z!Gy=7)SU0RWpU|{mL5g{feQ=B2K?&PUbGwF#L6kXcIxmB5D8!dMn9;VjPv^VIkw5mPOU z)_osYp){$A!3L>6!RvS`cpO|z_>+NZinK=y3x78Pse^Kk6?bH*Jiz2-1SkQ!`F@8u z1`7Ksz|tZOE*PYi5fjh-=;UFty%azpVm6cq!%4e5GVMtbtCtY2*_bsi5cA|uvQDf* z;+Yfiud4S0-jkyGjga4X)I)!1Z3V`Xw{NxJiUd@9{NtR3&A)JXE_^4`UmDLJ5rkM{ zXctw%gToN`!Lwu**sqtnseAFs$Wz3VL%apXsHpjAcZh;^9QzuBC>v_rv%vwB*sU=A zwAea#Oi2Ca1++o4&FPx5o-Bv=Q8AT(;8A*(zxc+Pi4NcH-M?1Hm zZeEteH0q-vM8%tRlc{iAvxVb2L9*=V2!(V6B1fHvsiS>+qW-4oOyG3-fVVQaOQrCxE!9y+_vLv=SD#KDd9f_?sz`5 zBGoXjBh>!3tHf|aIbiY>YdF$)p_~)J6FsPk@KpeqJVp;q#>h02Q|P`fO7w8c0$L(W z*k?-0UyE>3!lAb1;@FjqbY{63RdPO}_0a0$`!_+~we9AP?C}|Gs2VSf5)ZK_f@3ZN z@JvveLYw7eC(F{MNfm%A*&Bqhh=#iUFik-CeXfb~yx5ic0HIZBCQgbHu@|U#;RkS7 zk|=v=W~?n`gG-g|I&_;2LIBtN7SdDpHxglr9%aQQ-X+i+QVZ%4&dNUi{rXU}*8)sS z4T&ReX;ckd0;3m_mXa>4&)<)XuD_vewt$9Y+pCC-5Q5uyQyZ`=ezlWbfZ$G8l(Kt` zITC)~5|yCG?KKRQC$=_gUW}?wBYxW2%4%M__E%=6G!a54nS{4*dlo#G&O>ZR2sG`^?R zuheSsG4>c62dgIJzGmbyj^f@Aou`2xf9m+#bxtIe`ImR`ApM~3I|~nFf5)Kf0rthke{8B`O@$>Ev+GM)y;<#hmk82bb^uGss+*gQx3%nRI6vSl(>K6ea5 zGCWUrn=8!+y!G@MDlNN8qLzozc-B(P0n*}i=iV-$IaoRKNF{tb?(=23@bw|B(n8~h zuF)kC1F$q}anY`eclYQh3SRf+bF0fp$?tRc;}`W+Q9;Pv;A#t7#NNL7N89T~&ElfL zr!UbD-}$W5E2)RBi<4WYF!!Ru*U#P4w}aDjbU`S0^*x-b%@l2)2EFWB#Vdo{9AEbLt263{`B$BfPCu0| z^`0uD#oDvHGwz21Kcl>*(zCkvNjSwUA zna0Q01M!2WuZq!9TIIM!SIshq;i6X5cYBL z$9ocmtybRI#f#}%`PO2GQr1Dk)<<(q?b(mBp3~`vwAY>oKw8$rH)*sGQ^&4MIQ;Zr zw&(M~Rmk(XzeB4hQHiKK$#ji+EMAGs?`$aUAi0{a6i4M%9D~SFbi!lcxsOyg70DCO zqm#{)mN(CB?A3F2h+T=i*?$>%1YmIY;M2*;;hc^pLD#K&Q@Yan2y5)arv4aCZT94= z1TJG^M{QdBzL+$3@frD?z;qlO8Em6IqDTq&ygrwP*^i=5=S~!@JTZP)i~ozmy-Dw(Zt ztXlV&e-kEr_kJ)BZ4WTD?8`-gWK)f_4~|A|9H9^pLIG>tPh;^kHWV1>twa^?u@a+y-h+> z-tY7JQ-BpvNk)xK=cGjZ^?VJW*kt*E4#~G!XL;>J)WZjNE{~yYAQ?bYxC8r!i?mlI z!*f2e#O!;AL`R66+vR&r;JY}EdzNfJSE#y8G4kQ_IdY-0j#c~_CX`dlPaOB*rEKEi z@^z5~^y&C@8tA65d%wGmbNRS&3289)$$4(fW3MN&Q8elu9Mwo`f@c5-Wz~nq%*+FP z91IpxLo8Ps{q*kA-aOD$+QmkH@3#QQ$#?G%jU;k}Y8YHx{Q1Ev(!64`1fZnA(%TQe zAYRb&t=MMf;%xT8mS!D~s@zPwaMH@NO@-f;;nzwd)=I0~#Lh&q?GQNV3|gY7&a0i) zERDJwf2ir!Hb5H@=9>g?MImcf)G}MiA?vs*XYhL7JnpZ8OS&cLvMF825qV%^zUpO^KBb41?8w+bWorI8X=}IpT{7NYkeLN|r74OG*h7}B=y`vB z9~B$8JzH-4paCtsL5KT1nZslc>CpX7TKgnXP4K{tk+^-c=1< ziWRss*Hd~HQ_6zoZhDA2{k*?!e&lxXd2&H>P)2t=C&?7Y)D+N(&a{fa3?ZGaa$m8b zlVk8_8$F)Su#W=bAPjo8Z^*;<%aaD(B2sSR_yrqZuB1pC{F>Hm+yEv-stVM-5^!vzKme-#= z>c{baa+PTaYG!scewNM9lyqIvQox7oYv+5kihiWUYtb z0Y~Qgg`5H3GZf^Uk?zCA4C%~nkSQVS_2*0OrE{^nBYg1>Nf+wvpP0yT%}B@fuT32c zvY;*jr5F0QEXrnSs>CwN#c-GWs%FFsKCK*EHdKcjx+U{G#i#M@g5)2E;wq8XPr0pd zBV|jx)XS6ikJk^c(!15DoR(N1rNs~TY9Ba=G2DJR_bZ*y%wOtXlp&_ZFg{%~8(FPoW~fbm|IqWE z^8k8Ypjqx&cEAlFKeLdL-z5iLI9het#sEh_(QR>=2zt8Pkz};{SyzX5CPHQagIsfi zdUk4xyOLD_pRfk;3{-G*IK!M&sn)H|68+nG4N>lFZ_WNr^e3s>V>y!5$nEoEMDj?=J zshc;68|8o>nCY_U`J=FnT=*u$KuyTXWxz@*N(XGXEqr}WXuA6vth#Mf#cGnA7jJc& z-HGW6ThhL<%_StKe^-Bd18-SogFK`fXCr+^P~_@*xm;`Msf89(*kS{9Nt2swR*fCf z_)jJIh!6G2bJ@c>(^ONhMdu0+H$b!6g@{H9YBe=kJAIrr@<2ndwt}$!!l+gF{8YKB ziVJyCetKZ*HfXX{+jiq7Vn5v0lE0v!R;|WpxBb-V^2Dc!TRh*oLyi!AS~?oUw;Frb zxjXVwsk_kyR@NpVA1mkXw(pl?*Oozz`?#5BSf@ZqBtHh8wK$dC#n1+vIe?$+H`&{U z+c&cX`@8cdPw4JSY_dZGl2Hme-X~>0OP?{Eev!Z zEesKa5egX0iQriWy_aj?7GUl)Q8=Jb)r4-*8p$R@lCBtXXGe?{Sr|f1)nELW7L>+R z3I4H#hW6UUnoF*0O--)`cMt`wff^+@rKad_r7R}KF_UZ;MokLcg<7kMmn1WwbT4yB z?%!d?Rz|CfW-3O|`f4Evk(Ou~NF1|?X5C7d%%FqyIAx-x0PKlThHFm*NI9Oy2DV#;NLk2P5 zxR+bC!2ld-4H*I)o_hh_n`mg=NxP@t=#8VjBu?EHAy`$C2>=$>|C025$xw%Ujc#IfTRCpQPIJ;+0&3PAbgoPSyL>k6Q*ZyqHYEuytdQB1&4TEE+4)BAz zHOV=21&2n7crc1DxNd3)X-fZ?da5%m6>5zf+St{D3vV z>FF`~2}TCz<+wram+OoD#a3kPR&JuNgNmK)=C2IxScRU5<9e(+fwWR7kx$db)xE|m zObUGEXKcu$u{0Aza11bRjYt0UWcMm6rtx2RA1ivlfXSD+xOZ>-R}jdwZAf zlWgBC3RO5}8M~kM-{?Q0!v8_yBzgj(VmuNYlA{0N3A0E@NV17=vx;zXNJ_ANZ#*2l zqCzD9|3eHA|M#7;vU2hMr-Kwgm?CGRp@9*)+ztdb-8;VdiOSKQi^`P?=g+7fN8MV> z|yGIWV;LCGRQBX-H2h5fQ(ZS|k z<@v0hZO3_E>VB=QPn^pP3CIWGI?$S>vIBR2Fc1#Ds>>bD5}40q&K?3_8vnplLtem{ zAYl|X7Z^}&K*`Rm&HRLw>vd~#C@nz- zme{jYF#Lb*nkp^#f^&=k$ZKS4IR6Y$W@-v!(A)xiExBhTVV;8QnmC*0g9Ud$EI69f zg1dG|G7AyWA3;^ITMBb11R#(KQ}Pi}i9kOrZ+l7psW>21gI+-V10fj{5#muSixA;h z)RJ>Kmf={uz{wX1R}B`kBPK2sG@oJi9mAfE~c%sh@ z#PJ++U1z2uG@5hAqqpgT`C`y04KO<{*lsjwBYnq(^WyRV^m^g_-H0T+dE{m!@Qz2KcWoN#lg6K4qDkvg+m@PFeTI_Slsk!a{TEx%nS)>fmCVYKGq6pq{TERR zjJ>KNqrDs=5eIX~y%(SSx(&n=;0DgGSO#|O#V)=Nt%8>GyFx6`v0w(e0!Sjuh+4ig z7A^x9K;8=;(0k3}8TuVI9LRnahRCF7_7STEoNR|zrbSZHq%MV{C%X4MO z#~1@7tMb=)YS6UW*!zd24UO*;>ZwxlXIvlX4rLC?sZ{1Ent%?Mmkc7Cb*#(mT>GW# zJ-(?G$x-0|ILMVuxg=JyN_PJ;F)XB;c44wozsN{4oGBY(cenqoewH!q%~5eTQAiqd zDyRo&D^>~m)v>)?Hrv=pY`w6*x^8d1aK6gCy;L^X7y_JV-1g1deXGFu!By%pldxMF zg7L$?#N$~fQVLM~+(kc_7pL~#AIs<_(4D+H8a`Dx5|N9ZopkKD_&f3{$>LAT-0zB` zq$cW0{}$PMpTx)DChDTD_>!*j+&%cBF5xwt|L(tc%I6Y@M#X2DKkC0g?IW0B)3)#- Sh~Rm+*?8e7DJ7I7;r78fZ3v8YP7Q4oNCgL({@5f9QAH*vBL^@^LwKIem#r zd&~1?j!#2gEmz&P8-*smpNq{$%)?&1HIMAJVV?|(rvik!E^ZoZFw$9qbi`u|0dTYKWon1`Q`U>%qU+16bDDOcG9>FjB^s2@`FZ?0_q%Qz z+j$|U3sD(u`AuBMUKHom!9NaD-xG6xHqVhFbGXsz=aifM0!o6;l2%iJm~v~EZJTwutQRV`mCm6P435%BZy`gi`w_+HT-9^i=u)SPjQ^m) zE1jxRy2*>h^e`Qzd+A5Ir5~x&kH^wxGkmB@ODCh&H|3Z}hS2VIqQmylp0v}R8(?&5 z(@dg}D+zuf?Vk122JM9F?&SDjH)c{`KFAUye`{k*hS~CgE&Jwj+G*n5XdEk0?^l*Y z|5DH!1iCh_6y=vj9@8P{o@g%?VOuQ19E+UG@=N2i`S@y|tr2TOpwZC9;a-C*yBlP8 zU~)2-y3vOsdI^eIY=N>xCafcqGo7Z&O%4_tv4#!YbIGDIQ#VmGAV%$*D_O@OA2sOZ ze~GppzshDtPR`AbJ~SD4d5~}~4&hrI!dngjv1vrK+ZH*IW#%TVOT943vdUUDmK@H& zxvMA$-G?c7#}sEx8Ch8QK)PfM6F5l_`5ho7N@wy2_(y}712JsDox~R4+rp$ z12)zko3)$qsc1KJ?Xy|g{-`s6`4QajfBQ{~ch&#hmarCCv5rm~+0P*l&ri-z;EL^? z#YT7iHTu|@!<$~+KYZXb7BE3K&j?U^M&Lr#Wl=SoBFLRCAWaU(9OlYux~lA8NiY!{ zk?8&xZ5$^cmWN%_>v+o8c zJOeg3IFkXMD1VJvOONBY5x(!Q@FiFo==SJo$+-j>Ad^gh>;i)ha>(YumS~&XdU!-C zGo4?buO5=EUe93BK#MFE$znY}((&fBi8p`!A=dBvryt&Z$kI)c><&edZk~>tD%tI` zYE$Byl!whzv-x)v&eo0F$1L4P-LQR3%c!xfCjwfok$;hX2->i=k+Coc#nkmM^;@C{ z;W+4WeyWLl7JkzU)&7@=7Bi|S?6&`T`uip+cSUj7JSNpHE-Df0AA_g$a!lwhXXD-f zEOkqgSLl~4wuCkMIM=U zf+~jIt3~zeMJGeQCW|3UHe|(yRQXGipJ-xX^?#uNh03|h$k&4$+{#kJQF+cva9w8` zXM%R?*6I4}C~)WG)}3*zEZ>#YUXGRS@CVZ+X%T%q^}{HdEYa&kbFG#B&r`t4qnDn# zj?l@`nq`)$gKnI@**GnBd7~uNewzeko zOP6f2KhP415E>KAMLfYt)Os0U(eO27A-4HI`GOZw68vNQB~J1nk;dG;@*pmUQI~T4 zbuVevL#tx#?j7LgUIW^BKiRh_KyySH)qfKO|Lmc}-d&J0H2WAiHPP7Kv zm?m&l;NvF;I67j`oQDuT(MAz(l5Gpu3pQRN8ClwC?Fy*+Y1q{$WeWbbpHiKOk`MA#tlL zdQV!e^5_%MxNP_Ei+iXfNwZzKtk+mykM3FE7Abn4&D9MOt!ybIEuUaxy@6tS(+;Os z>7d#(22Rt%F3pPd**{G$D@$p51b{?loH{kW8_o3+eB-hWmQhz6*%E39c5G40NfdW37{qML(HWcG(<1_ zyl=d8MTfM|y!2u>!VWzr0OHe?-d)#9ZZ-Rj`kQA^gBiO&Z6C{`5)_@~>ZH`Fjb}sx zByyu~3;;~{N0hPtab#dbMUUu+Yk`z#PYjK+T=6m*C&E#kc1A0S-ZHqd1jvMYxLalG z&y!>CMMO$PF@G(GOGRj@u>^8^M|T}6oj5+_DfkI2da{asX)fQ5F=x3vaSsU!wmi?l z2);EWB#KsTox9wi=R92H-%93Fe^b;2bY>_Tl+i|Q8^5Z(l_*l0H?GX}&nk-xJUP2g zQjmk|&&##|yu)=%*FT$!hDfhFX;z;BU#_U)R)!O>k$=An8pip0sD+jlz>gCrGUe~R zD`t9E{IETcI)GIu_3Gu1(=NWB=9EiSz<=*DsM7uG>=^jO`x(K+`zt&{lJr87Q^Y_X zrlZQ%Ix`AE6ES##l_=^l?mkbP#$$bY!7xD4%|%Pbh;?w@t~ud@x~qI@x|!PXo^~&; z4g%-mM1PEeZ#(p-M}qW7xk3R#K%RKegD%lYL*nzwCSHqHPY$PoCCdeoK-qPRxs9Fp zT?c8c=Bg6Yg$7h-T6ze&7onaU3^xPB5%~kP-OaV1`m4ZUl$gx-APNRz;##dQK)8xR zY`zqw6p}$#^{dsvqZ_3B)-gyE388Qo;WY9AP=6k!RSyinXo%u~<-U12xp%&^HI3Hp zR)Pnuqv0Zn)^w3?p@rUc)-TvYin)A7fv*ozKjoISS46y@O9dJtA`dBekP~Sfs{mSm zb*o`sgm%{*T=?r(NMD(IZ<2`DJH!pe-BCh9~tHSW|a1Y}pB|u(w_%6sx z63I46{ChxNvfq_)HZREcgH&rKNm&n2$|b1FDiP_ob+8!&xGX{Pi<396nDmxY;TZjC z5Zr+d+Yv!WYNbBm!B>h7rv!c{z}E+PDu3kXuNR?pW}HzzBJF@kqeJpC*B4_-eDiMd z1Xk&5ATN9KT*$&5?|G8AENbm#bX>F!bX9SU)%T2Kzk=fg-d1m>hr{g>`oOx}mk-N* z8GH?{x=LIDXfHHL>9^|eSJHMTVmc%pjoDw|@gK zWJ-EMUc_QLhw!XXB51;>^!f}6Z$eioxvqnIj(l6hbH*;KLL+M zdR}VuC3JRIYRxDSe!vjCNTX#4ms)wxpq}cXHiGMlbbe~%<}=(>pBr_y!3Ctd1l{j0 zsG}>NJCai(PmL^tJc`oAVmSr%yox;M zm9azJQgx>4rpMu8MnBR>){;vGvCHF$ zKHUq9=GCU4jiY=44VO8x75xYU#K=|lI`L$LlaJ_c84;N z^Bh(@e|h@h|LVss_>+Mz6O-so6$3LeHj@FKD1V(8%aY@^@jhR{@`!s>(k4( zX%Z+ERe7ESug9QN(LODM0!CF-!D|!z5YBo!nK|11^!hhISGVYK@SJ8*Q5KAuL`jtG zo`01}^6>9=Xs)~Gw8+D6evDOW>RBix?*jH?weEOrKHJ9p3acK69Z;Ap4U3(3Nf`;B4I5YF4vq$638mJ5(0FuGhQsb2#UnsDW%w%1w51n}=(rIKx(zkIy zF3r=>XiqK$;%Ds~$(&|@qeV8{v5tXYM9}waKjWTZ7%Q5X$HBE=EHm-mWO{7}p?}Hp z@P_#!JlAO0>#kIxuyj~vMnOH^3L+lmbdUNi;?RO#98ZUF=E*!QxVx{yBWarUhIjgL zjM3RQ5d&88=T7$`8zRZGYcBn*}Z?ci4vhb52T~MxZAtk@R z3S8N*@i zCC-wS05FawNHLcg@RQySBqd-_+~dTJjL?n5FhJ(%pSq@|RqKvPt z+{X+9id3fa(&@<;0!R&1R|8c@7+nUFD$XRq2!D9w@jQ(OeX!kH zV)%@~lmNGU;E1;ah>MkK92kSL7EZQe$OpC1M@=Gw&vzV35QzVgYSZMt`jP`9T#1SS zLGvIQh8-xIM$S6fyNN2o7#R)~meSK3gY`5n$oefgpnv2_l1k=7*g&oY6VAQp3GR{0 zaLP=;ay48I38TRVA!k{SD|Fze^biC zBfZgXnYep^Gf;Nkc!N_t3a_VmIb#*}+2er(t6!vP%!Xy<3TzDaU#0Vvy0T9H)8&5SWX+*u^n*7w`U`fI`)eC|dD;KPN7Qx32 z$b}q|BKkOV41d&rsPNN9V!cSHbIXE!YTxlZ4vl5*q$^7jiKrw|kV;vx-FWT|8<|`* zOTw={4Z5zE35qfwa<#?u0!*oW8r~1qF%B5P`OHD33}E6)ayjI=<%aBTo#`JgluLx1Vy15(SLt+h55uD+`LKDq@AN zELCJtoRmQprK!B?(nqhcGD>5}@i%Cqf2qL!4q=<3BaX3c$5wXZ*-HZ!pQsd4F%Z8+ zVVvV$w12i5lLA+mGJ$)GdqeVL2kR$M9-+;O3ld!_H_qkWLTdqKt}P#jb;Dmb9lc!hjV!je}vA;u}8p*_>~Lu|9=l}$C9k_ z^&Bu_4jP6rz|ENG8`&n0fbA_GW$ZlVnvVd`Z-2c!tQxt@F^LQ25qfIEVlyS7zSqQi z*9HM6uT7qi14vUYeO13UNrwqub-3Lcv5dEBv*|6_ivqs>9lHOH+55bMa%5iqMV!*Z zzxczp;A)X%E4%zyf;FhV;l~mzZZuxpRRFpnzq>*0V~9}&H}PAwrQZGlE9pK`Megx# z&3{&GW}}o?amL5Hp@??;*8o=X*8m^jpv8%&(Cdto`ylaG6_LvJ_lCp}&nm7&IG*S^ zomI)&T+&NC$GkTSsvLnJhiu#MLOMzWV>(3w!Uw^K51wG0CckO5u?eoQymxFO?yd8Zt9O>8%70LohM~3Y>ZS9|a?U=98x(Rl!B%m^?#l7n zBd~~%PO!}MAA%5v<~Q0PE3cB9A0M2)ig1w($Q_(Cn-U!oawn;1zb8w5q#tT$A1i+> zM5@~mNpp1MI$k;0yA?OyU zpwN{42MoCW2E&c*{Yp!I0~qR~O6sE?aCw}}&x_d_B($~scX_k^)oLYIp7jJOG#&fM zR!2XY{tUHndWQG?(TJOgh1ar)rGKly!bcvo{xSaM_37s)OjmKB{J-KVi}JDv>i+46 zpW>i_E#Ny!t1`F{Vh`O15UUE9cft2h|K$J9stWdy`+xwrQI$suI+e1B;w-!CPxeVr zMb$ppBU%<^&>p1GUggq3&GXrP{ql0TT%zHMor#O;v42V8M7_lO7gfBt`6k+#mk#^E zsGa-nP98tLcWYIF0#pW_P#mc;<;zt3UKjrbu&O@BlYuW2ljm0z12r%>lL4M6e~lT- zlH<1VzF(n>%T(14hu}jbb9C8pHWimE@l@qt`v8&92wsZR0_4n&zux@(mtms; zH2VF}B)jKbvitsBBHwSG-aY<3Q#+;Nx+v1!(`i?!_>fh*627XecTer^=O~TS_^^La zDlMW9{b|@gWMvV3udfVzYZ~kAf6)8=uTTF3dg+>8vU^C2xD2E|^!tZg9U@C)5PC*3 z2(&_mSL4|X?rnyhk$axM{V+0M`eAxLFGSr%j|&lbLwj$Z1$TABQ6Ft*N4r;%A*PW_ zRmDkBGM9KStINo|?9&RK*r#PQ`gs3v$Pdxe+2Ag4KIrZ}5-pHJAlAzYf0@Jsfs8ku zX-39rMm59aywDj=jMEKsj_`QaKyc&*(<>w3eDXra&Ig6cNjGLo7Nnl%X*BhXaig{@ z4E}lBS7`)7l~oq~S5yoKS9Zv=#SXC3=$?VAGp$95aA7`!0f8KdNUHaI(aKrt9HBL6 zoL?n0=w^f2){MqoY>zUbf94m`rbSd8z3hu3(%oeIdq%J);c46d9h-bQR+`re|>Whb$Li5-L|%W z1{k038q*q5-8=X%;<^9C8>#m~u-&p@r5P0^TtC zUly#a$bVt=-7ksCe<-T)&@V}mV3y1QP-vd25?|PI7mA~-${`C}t{USmtK=cXcG^7) z82qsk?EvcDz<}bdBI?a68nUiI8JM_6a5QqMs<_RKc`(+dj{qRa2DNLf39B!ClB!@-E{`u24CG^ z_BT$9Ddu|oVutO(M0tx8dB^sRGuo5ZU?~bnIVZyn(z|1n*OzN2_q_cb0+DN*x~pwj z9+%Z&DU+p?$#2c&3Yu^aKb`f7h(e)!;#~T_tK<{;B8u)!v*<4%bszLLI?Z56(~G(W zNENa-2z~$!f7n)(D&l9Mga9!0lu`i7#KHsFrJ3a6z{oeN9N;amvtbdB)c_J*gLN~{ zbE%tIvY{JJ!7Ko#bk7HMNaxN%M$981$OT!pG4D0Ozu+Ln0c;?9RbY=%q3G8&R12m6Y!f@hKHS}zl(-5vWwgAW41fbDQQboQi9YM?85~Rcg*s1Tzd5>O|LZ#IBDI@h2FUjH0n({W{nKbUK?2b!u z3O+?vL+sSA%$3#!IW}$(V_*B5H_zCs5u&pnJ9}ma=D%&Y#?O~u6v}GJbmp>zbjo82 ze||?dap~BpGA@cc4g6!6on9slhb&ic|AZVAHv*T%N?=&9z-4hKFn1DfcV{S}5MVGm zA=`9vq{9{neFKd6M1AYz7dp;}1vl8Y667$qOyI~8=A8t8E;CHe3p6fnuZ@fAkO49Z z9K0U_hgK&JHGn8S=z?L2;GUAjxUyjCfBLK&p|-S1GIY@6ccrSj_rxQmJ#nPj!^siq zIhi3G1{De&JbV^g(k}QCnX{AAR{Ym`UN0U^(jaQ(%OOioojidnG9e08sgRfd+PWr$fJ|=8hr>9fb;kf7JT> zm;JPKg2IOq9c&47(P4BY3abS6mZh0@4hZv6qE zl!rigLHk>JmoPwUns4a^gM*>mlS<+qLP%~FGu`MGXS*B<{|72wDJYwCmWgIh`e=HgI8<1-M zGto#<7UY)nvlXFDk8@IIf9GEIFXjWWz>nxF=|O&P2(f{P`FErApdd*htZnCcjazJC zY5?%O=1&-R5T*)`z^rmQFC-xSFSyllOsjm7gu-fy=sW z-S8njj?fcNqamFX7y#(h1FtlHu1ke3!E;&v#XNH&yk;*w@K}#{t`SJ%mc5vNZT#^x z8o4oveG2;Zjc7_oZgsagq%|~gQ^Qxv&sg+(>D%REK&pl}*v;Gtf3hP)#rwI><6S>a zM`=`C-*fo~G-+3HL#(Lgx2LJQ-IIZ6xORc6*Yi)4^E)ugZaEIed|K9|;}VPVCH(w@ zOK@1oee4*x#uPxn;GT7lvN3ku@^R}^L&p!2ewwT!qn08q0)BGf@~daK@q4ju=;tQz z&uX%Qh->wAq+UFUe}3Sk1K5=!81Z_R^R0Y)oXX_1(E`kp;Nmz5cGW)6&2VkNVJN3z zh!OTA-}OZvPO!{&3{W)ziROPBeE0P3(>n!VvQyz71}aJ7OclH4^6uwflU)mYpn^E7 ztKBP|yg&<_#${as-0gmP_iz61gQ|B27;bP#Iqm8qRxsw&U2v{UZ-$#gx~t>*kREup z$xFz)@d4iBfodGDe|vmOK;@35x(!Q z=-bMGt%#)5k^<~uf+V}MNKP@3Lna4W&31FGmO7#|_T<;6Uev>*!47h1k*s2otjAYH zc6N9^WQU)B$mIK{#~=RiSECO~rFBv0!{hl-sq|>7LkVA1)`!Q_;a|z?oh}m_?jB54 zC;g{P88^67diQYDMSt>mLFyFl?;i53NGx#GS#q}5JC*qM3wK}rc;V?n559YD9k*|H z4*U3c&7H22i|cq`?D-3_@{#9^7d!GGt_-K*#ed=WImmjv_zXkGm?8FXYmk6S&@>&$Gj4A|<@x3VJG z91Xs+bv7BUrGJlb@Mqik20LYPW}WfxDWo)8m1$AbTM_>N4Uz(DolG~};VT->4kz}! zc=DR`J1ZBRkn{`Vjy$&+xwk$jbVqgpXxZD1-4+Zu2G^d2p%*fL8rk>@$^dQB#ve92 z7w3Co_a0@>(4>`)87s`Yz&+3;H*AAkFI|rZe1%g#JAWqh9W_+cG!0&?%(whmV&%Aw z6>!(W9Kl`5fogIPaFSOYQ6$JKVQX{)vh)us}# zR$1ueBTUVW!KHHp+q9#!LgS_Zmji4())Ad@G@&_2U?Kq zu1Ed69FYMp)7Guc8M9wQmSAToruGpA6zH3_FIU$iv7ZwPs+2VQz zF4@4&F>EtV=!J;Gl)1p`p;zj-)7YsN2*Mj!WA4*zFs`3&;l71$WOFI|4!vmi-w>=YHUZ=f$^F z(SP5w8w1Zqu4>^TgodI)t&0ZOhRM^il5OZzr}f=~QcxZcZiA$<;0mJT5&=Gc_Hg`w zVZsviJBhkT%Tj{mS5|hdSV$f91C7Cs(&GFHjazFW;-3Ip#Sk>gai})wL4s7VdGUL_ zfh#x>^b{RnvmoLM%-l--hF@Jbj-)}s=zpjh^^Wpz0LvEl=AT-}1a!ZRD=opHb4Z^s zabQj#s{q(C)*6)MH34eJveBAV;vm>$u`9tTwqWemy0^HQp`Rch?3^Ho0kd3+qdfX1 z;GVq-X_Z@{M@Cv0^Q4(zdqa>O=?uQ7=mEA}os&Ggf=m_X!qn+|=F*mY*aKM#JAX`O z3$jC(&!eb(nk&RN3Aio-tOaVzMA6yeR+%^e2n&7tnUhbJ#r2>h1hZbbBULT5-gxF` zN+N@YJmNwuC#kCGzn$Qu>}VZTy?L2%i8rAANe~7-qz=bb#D$rfo}<|Mj`x_CQcYlk zYC`bLxkBk@(XhdGnuT($0hF9)+<(Zu`ViQAaR^j|5}tgwl%2H1&WU*IAfM}Gm535P zuqgq}h7((Rttzp9k1mA=j;_WC4T+!93hzR079vmFw<1uk*hmKOa2nV$2Bj_{{m6s% z+4^oPLLK*Uc**G!TUbQ0>N!e5BN)eZ9pg$Pa5V_F$ZO^6c>t?=v`NRK0e^Pd$Q(49 zrqbo>IM4)L9Qmjv8yqt)PJzA7z3y41lVY53qM}+2A%Y==z$APLBYO1;YO2jKd4wGv znO5t<2Z{rz%Ajx|S47TvNy0b;HUz~9B2`%4VIBI_w@bixm9{RAWJ-;x2U7$N*e>EI zblzI>z9%x7Ykw^gJns~}Mre_=wL6beLAIN^xkA~lZAkGa$?5%^z{ktZ zO-Y>Zqa@T~lTcNj>RiF9e4Bb9kCsy0#IoLKmHdpDzLSxwDy_>R3bl&p=)%h zHZb>B(L`)Z{8X#>L4OKat0S1+fjjb{DwaslxS#~l26Raq=rMI6m2j02{;}q1X5a=~ z?RlW*@8E8&Z|EMs$S&8idCwP%!=F9Xww2U#unL#!Fc3tbvq5fHJF5TZ#Um!?Pnvm??}#bF5NR9P-o{d8B*W3tE+>S*Z^XE528NJz49GKT{Zm-5P{wCqy4sk_U{s7N_c`WcwneSj<1JBQ z$1ZzHcN*Mjyno#9gKj?sSQE+eHpQ5WX6E%e9=Q6p^-@G#cnEFwZ4{PwK~=wp5V__8 z(mrCF!4vrcADL<`0A%o`7Q#k^yj~&z;mgaiHI#3mtOdXlVi+g5il4YcktZSuwp7jU zW^e-vJ5N@k7b#T@D5N8~&;q#U#%xUNSb9l?1|(0yOn)OcoQjG_v$|(Q5`G6~+b9?; zvi zjvq?4hNEhq$LKKvr_GNMG;Z65HYY?pD1Kw?=BwDvGnMM2q2Lv7F?+!aH)X&}0C8cPZP^jgr0z>cYh2Fb|P}{#fKK%7< z5_?e;R9O~#k56711$k0>1=^^nyvN4-#c$llFiPxb``R9kNu2wxr?&9x;Sl-Vb(ziV ze}>+)LcJc2_#Y1Vdp^XaZ^xB;X&c$##4J|mBQ~-1OsAx_`R?%RJ>p%gb}esSrEnEF~)K6-EryN zPI*wonHN<-zN+VA7{_~ORzX$e-Vyi6f0c6;Ex%>M{jy{g?Yq5=k|55al_UEd9YlXd z1?kEZg?k!^f+EblG)NK^IL#vBd-&n;;lB@bLg+2Z!7=*ZkPlqRL*QwxM$=je-Fw8 zH$^an>1O3*Pp~M4+rV#VNmi`9Nwg;*c=KrU)i@2qJ%@-P9z5}nJYwSrQ;De;3OH-V zi38{uXGu`yB}Y&$oIedS;x38&d7w7-JKIx$Qt-Y3C5!ytF5}P(7or?H&UQ34aZExr zqg|)#(KhbXzQ|@Z!g%Pet^J~Vf7OHRZd~vBvoJLdXHL8uOBoeGmQ`rWAY9ca=#u-x zli@zcD9-$U z+W7)epu1)O2$9f5=Kmeaa1FFPuWI?)+#y*rC<=wa@5vGsE(#r72wdYT@h?MX&Q>O1 zUfw0U_dXz8S#D7C&Wxu+7W%v@i9`Q=uNVJj=I3SJcjq#Qs|{9Zb%<^L(ufqT`*aYH zC;8arK)sH3vf@}WF%6xHf9?8dHpnr0J(yn{IZcs^O7#)dK_{vttEwvFtn}fKMr=u= z1x{lp+AXX6#>_^@Ps1o3C{N~QGoI}%M7U4}A9v=|iWfzR|9Eke%sSnzr^Gi)|3Ay5 zYxRK9K54Qf`NMnXCOsrY>7NX_V^R6jyfjYSx{CaXoU`yR!el1lf5BZRD ztZvy^GcBXlZACk^3%oT&W`*~00Zol$0|vjC;rup zv#Z_JY<9);aGLBW0ZEQ6MAHIJCRs%X07XU_eIp+0K85Zr0}d^gPU3flf#pR;w{EkF zbt|}fj5+{|l?TY_8XFxWZp%-G@<+VDrmN zR|pdXmduEnme!1K_Tm#thqPM)d%WniKe#iMRvZf}&z(t3Pp*`TM!ECT;3m5lvPBlW z7E82lM~)a-D&Lsi9sp4T!NJg4YV@qri?sh{r0AQW>nYaue_$e_dZAo5ytwnF#ZO%& ziAu3&LH10dir^n{0La8N^edL7iDz*I>e37{2|Ns;qcDL~5*5Y0YBab6z{%XmAT6!6 zpATyRy2TWMiLFhu@=N|HA@MX1qpR2YRy>J%ZW4~(LdXdmqibJY^U7#1lib+@_cce{4cu(U|c8( zz{LP;4~)$`j}Ab<5Q8!2vXcCEloU71SR``w$|eAb-m_E+-_vF z8G<>f^s3dxzs@AOJ-Ok~3jUPEnk%ULO)iUL|NCC%?tDy0z0yV*Y65|1qoh$DB7%^L=Jo!Rnx3@%T9hghQP4^jN9Spop+&xC z0?_OnVgxEKBdSc|s=T>!DPhH{S&8U%=H_5cLtFi__J}qjNPA zr|v>B8Ih!lr4A#=iXR}z0dS5L3~>&+t(6_Vf7yJyeO6{%ArjH_!i|6$ZKs^}i=irA z*AIK5Bc%~9P$=7biEfdnezS;k zf6*Ke<9;6jj$$7;em((bz*nLS=aQ{VZ~cYnrhQEVd6-LCgG$tL5ms6wqi*&*Te-0Z{BNXOQbtN1_(3lq!xRxNy_L`Yg(P31}e*H^nz2i5E^?P zt-XJq)kqU-)wJzGnm1A-(_qyQeLI@8f9<*f3)?``_l+Y&`uX95Bj7G$3g9%a)MAs4 zxH3!A5U8Rp!G4O2W~LXR5KvRQ<{W-%5KCicBZ+`?NR+1$xrCW-3OFI$`}`zC{9=wK29IiQ-_?l3;sx19~e@H!x zji%bkr#aqh65`qRcv5oWqv0B&oMqBn56f;!;57fel7IUSFxgs5`BKbJm|m-7xEJFr ztSa(R`DCwcv((S590#i}CcKJlya{ z0UFMH4tM3Tzf}=LGAFm?9C#X(e;b8qEU#FeAJ2=Gt~~U3%ZrkR>zW4KtfV6~C4C*? zk0G<&bA?$K$1kZxH}D0-;*FC0ue*6+i2`Pf1!0lZ|rG*cbuI`~*1LQQoKF3U=tI=4Y*896S47S+~|8cBH(<>RUt&CE@XHUh?8745E}? z5gDFAseY1-k~^*+9v^-KPT?HXlYuW20XdVcUKCMo+*FLTG4JBw-SBVSMagD z4_tCMGb9V6K-yfl1zI48Q=q+pA5?qO7*~-3X@ewx-!m(@u`Ii$BiSino809gcQ|u6 zoFN@cbiu_!E~bhyIVy~j9g{talZ>{aF2{&6yCQMeG3)k3A(2k(5xuMh7eS$L5oYofCj5TAB291 z+2lhfVTeT-MWBL&7ERW|sN{@cvrCyE4wRU(VoKO7(C}mW{hKY_jU>HV4U>1V;INKK>A{VwHP(nIJ=W5bnHe55Huz^I3 zNk9pyP6!xb)4c>IsJXGktOY+xP!MNSKn3XDi7A;NhE(f_(JJh(-Bb6~>fIkJ^u1WjJ^A#t`}W%je)bn7lK4oruA+~5T$>DY>DIJ0|=BctSxknUX4FRd``JhAbJ3SM0`+lKt30ve)d`##W|qCHr#=G z@X6LOq%y7&R}bfTH+T2}Gy~p}xgktdOtk1lrAamXAk+bOZAXBY_wd)KdI_abo(EtK zc4J@Q;NeI;Jc#X=o?G>EcTQ2x&)KJ%?q-fWfM&qjfIR_wtFIPC2w0u8 zNj35i)IrSS)%N33J$7gaXwSGFw{RJNc* zeTMsiGeop60|0rPjW+35!By6+dW#qxjT z?ewg7Y2D@7bQt>O+|l~+zaNGlPKN2wyEwj>bjOSNFiLW4#zSN~;*Qf8yN(YSynD7> zoSpQT6h?e{?7A2Ihryk0>*?9_&wc_C=0iUpR`4m~H%%L>#k=KMzZyf@@zpQ=`Nj0R z#RoU)Pq4ZzqA8$GG3Gp*E-?fIC~JTCXn_?zZc(y{bb3$=AxiQE-!eCx5&7gAJm>t6 zHsWhGGB@$bMqzEE6tG7B-8Rx)8}aAZ=&B~9NfW!+HM28Th$TY*Vy(rntF^MP*6Ka9 zR-3eTD>gAApEm3`gP7Z}Sv_*UHY{bIxovJp>fk!t^Yr;|i(Q6wNYvR!R#TKo$2zM*T5)u=-gxR4I{oP`jOWBKkDebT?#rv?2 z(hmC)wX<&vyI~34!oC}@jNpGV)i!LZ$nJ6*mQ=l@hqL@A!(FrdwtcqBnhu2w-eq&k_Cx()a+Q{Jv5;d2oir0tf;SYbGrHC ztHol#=lX*t;u65x>Y`;Yc7q{EH0=t21uiAtAqefzw%miZrF|>E0h?e$DUTIXU3GzW zTrHb*bZoaFvKjkWZTY9YIDDD4Ug5Clo?G1IG+L~(h22;Mk#3dLgiU0JlI3xn$pKu3 z?xwKHd%6r=2WNI!vo3$*Azg>2Y=F|m*Ft_6F*1FBS!uOW<$!H%D! z-MD#$ALst-~0K;;o?od@@I=T9R-SA&@O-GZZ&+I_1)}Ze*V$F z9^TBp-gbI=k0T4c;mAVCM}$W$*p#tPXd^a+@w%%88;f{;wB+HcGrh8guX$Fr>&URz z>dtv*b!XXkb+1)nSElRo^7){Li)`0$h$fX0MP|E+&R*?~S1ih`jjQW`mro#wou4w6 zmmLDY)p(1yBq)CZnDPbgEeqTa!U9J0nxp*(1+r?`f`#CI?uwvzf45V3EX?oPKV{h4 z@jmb#ZUypbYTxzWMfO$uJ=RLu<+NsmIoFPT532Sp6<$^D_F>Cb9(~}T zxb7bEmb$0fYr`S$U(9`iu9JZ;69PFnlhLyivyzF?2?5cQWRpPzwB#)?lR@bd0x&a^ z(X$h?(UTbp0XUP%Tgac8Ja0 zG~JKSpFNxU2S};MeLdCVu5G$q!*>1gS=&uRzd!jOxD@!4EU<2R9_!(4|Bl)_Ur(d9 z=KH!dO4rcXyrDjdpuUWZ-wG77E_}We_FVn{141Rgu#-XQ69O_Yv(dBM2$xa(0~52r zyvqp}GaxV^Z(?c+JUj|7Ol59obZ8(mH8MDp0iG#C8*6Xe#__v<1;6zKlr;CjeFO-K zws{}{(!j8qesKJOx}$V#?v66av#kF5&g|@iyrXPILQ@E^%-z}9+1YvREIC(`4#zWp z)ET$UJ+*GSF@pN0xX6`Zt8Wj8J2rhBqQ);Rz^+>A{B?KJ_3gOb{~7w+0%^9|wriZZ zC5*n=9M{c&9lIKFxS@9QYso~j_A3Vt>x=i7Kf=~>W{R>h#Qrcgw->pPYV~Vbm0b^u ziHfi4fq?A+pL*3Ddjd3{>izAm31|d=JT!OI*wo10J&^1iICg-4RthIg zc!2V%dZhLq<$2tVEyz5KF7LyFJhb_uJosbe!B6EOPvs$|^5DyKG_0O~No=N&Mo)NR zahI$>yVtABZ95P!JkffhHiI6dT6TzxpJ0I?Pk~RTNpinF&}OSR`2}OtE2Nv z5!_y`_T4a2tGgZBJxmPCT=n%KdAxK^-cb|yosAGN0lxTYoH@D zhwDTHQ2Oo|*&FD&X_|erSqfV1{MIwAB$F%TO;`xOElL?%ht7kpoP~X3bY?-b zZt}jdZQHhO+n#u0>y16JZQGh~Vp|hUY&(;=Ip4YW-23nTtE%p2b+5hG?p0m&RP9EN zCEbv&4Md1Ph)=2QND|VOome#eLw|Nvpj9G9j;88@r2gF&0ltp&yU6JXb5|X1`MYZZ z;`7HwY5F4+6lYP4$uzxa2;GixkU|Ll25(q?7ty*2K{1<>K%4nHs{ZthELI4cdV?&7 zV7oFzWCK9KEdmAnT;zh{7uW$3DaJUoaDA~Xda<~Z;vD|LU_qMU>Sl=5Qjp(6_NA>0 zSfQ--&o^92Xz<1Cc;`tO9>z20_wpbqncGVw4kVc8(789!rd`XB-~@mah*g2WriTCG zs?yy$=dJLt4f6iovSvOLd5Lm(=%wxFI@eGUzv8P?K)jS+jE0osgUoNi+=oU^=ajbw z*kU3vEE#Jr3iFt$b??gkZC*IN?FjSDckgqbcA={tRHYC0nhz(M{)W|{v6wIt<8d)I z?ERlvQ+GjT6k%TRkIzgSAj9aN1cQSP(x-_rOgtVTpXxhiV*79Yu4^sZ$qDs#S-g$y zHoK1X9(gTe{xhOD?8sB83|{Vk!dJIf<08Z}pts_Iy!$?@gxt@@dk+~f;m7Ui^(@&m z>}k#;F%wxeW=<+BnYGXLLKcB9{znbQsbLLe6IW~yL&7s~-#dd`L9H~+e@l?v=-Jj@$CC8L$51Ko9DEFXJB$xcUW^hMv6Boa=b*!^poY!uCPf$ZzXasx_<8;Pw zL}aFl|LnB<+_rKBr$WO*qlc8M2?V#nRnr}t0_ydTw~x{_sZJ&)R8Z; zJcPH<48$?$rBp_vft0o;PT9mb$I1pVVxofa5q}t@hH=K~qPbu2rsk0!!nfRoY3BNn zuVsljg)E}WYHbv?X!#PBGtqg2+XZdhbs6oj!{*o$(ui#5;ydv>5+fx(+D zh1gQJ1WJmIz20=r99K~DQRksgs-D(pgrSlone4;v8Uom^L2C3Uk`F&_t)2N)ung}bVJ*B#S9AFXZtp}&R>3$-VK|Z%J zzqyL|<_PDT&AMm%w#^dqt^b?KquxCUA0IDjrhLMZoBwTSA z*8ER$l8&f7Nb`xNgAN5?6D?ytFHdz~Pl`t{HDaiqNNfvPf42cZq8>rxF6{6q!rj6? z7_T$_!4jWBkUBWVVTR=0oM}Q}YZfxnU?21CK7eSB2y}d0zDBKw*j&43iB-`hv!BDTwU7=v%wsaU0tKHer{;Xd zWk{(u2}tzGDO}DPeDeE6wvP+6=`ro3--K=!oSu9R^Cgm!5cx%O8?VLHxnHIKN%8(2evFyB%kaXuF7qd;T>gEHG?}`4UyEtCiqlHNtur zOcLklt^1^iIy={NK5ma`!YQ%)!tiN(fV<%-9(42UxLaV-Ac#V)5CR4c4_?uN*_#~p zh^ZYU;FdtwK0*UZ>4*`*iN3#MVMUt-KDs|~`6e@3s}8#388ZvwRjv$3+JI}tFoBn}Ma@XATH#!kxy?3+Wr;8d> z0Bv-cq@rZtoDbp{;!%HBml^&&UKS0vkm_o~4DWCHXEKq?i|hDe{m+v{+TrvqXFBir z20eU4UmE&ui0D4SW2t1^?|uy)hCFP3w8Tu#bf-+Lo_OB#}C0o(5kEAdLjezI~P6j&GuWL;(SK^2@E%yNFSQqm4!^Z46 z*|=bdQpe`euacV0wNn3J=Z}9Xc27+UX`?uu1Klppi-p3NYvtE#K2|I5WSjAq1>H&l z;6S~VzI@1;K4^RgeqCmMOm0(?q@Ih)Nj^CrfZHDey*u>{ow?kC~V*dDvD(CbX^joFCa z8Wh1`7aaq7uS+eyeht-L6&xlGNG|*h8)Bu9Rc(uEg*-elFB%i->^&GRL#Wag;Kd-& zPpZ_Q@+Zhmuv25wg{@K#Hj6*=pgOf8@Uq8}3IpMdji~PEH#u0$H@~pN>iwt;jlH(p zMS-W5f(Y$J7kC_mRy2*#0Zp^K?c>s-QgC`NiNolwkJyHq{aPeW<%f^yZbWzUOl%Jd56eS1=(>A@!&ZbFGHgXj{i z`%`22`278G3^FxzFfH0O_Bc@sVOB^iXj~ywbk?vfw0s_CgQA>U!PdC8^sL3h~5~B2dWTxkei6`lsmS1r}?>hkYf5kub z{kC$`(Cwpe4rHPwYld^7{|YCOmvSBwVF}NPX3;cUMNan)m#N%v{gPulH(>doxYHT3 zoD4Ti)iHuRtpuUYa@kA6qj}jK5<9G&iEahUVEzNGalV^h;tkg5`u{-wX`cgN5>E{f z*g|7sZKe@qC;ErZs1-~lA7IP>!YR0hwAj<{3CDhJdS%!?;$z7YHQ_IB@lBV8lRo5# zaxJD?jQ3SOY{zK;QE-J4Q)qLU2&n|>({A+&Td8zlhY}R3-q`Y)E}Q`38tQUf%nTL( zv|{$qeD6V4Y7`V5gqd1zkMKEG<0DZz#ec{iQWSWkn*6=;cdkRjur`1MrSw<`84(*P zrtdfDYq>FvY)9ps<`K6H)Sh#@9TztuB1*ej)bgmuqL=-%9ZKkH{^6XXsm4oVG#oEO zFiG+44?7z?+tDDfzSazX(#R`kn9UZVgMg!;gkIScKwCME#FZj^57TK~&b2FlT>FrA zz46Z07UuJovw#ujaMxyEZ}sTo6Ekt2mhk7@9?$lVf9swxQG>cKrr!oAv=lZ5LleH5 zg1mlWC)6mU{O69x!SbI=XU~#3EP#WznRJ^S9>B@_Up62YH_LzL`*rml585yTp6gZa z&2ZNWCATmOkf)3AJ5JiHnaRPU8Kx(!0SDiHP41C;*X`_4 z%!{W;>=;wt{k(rDsbb`&(UvjEOd7Q@B6t5XPZ+7XK^&Ty4!a_)a?x+?cXXeT zKurBX2qH zBo4iwMo*O^vR4kV=sD7xUJ2o*+BqXvv_Fjywd(UKJ};>!+Cp`!tF|>ve4H;Z`~)`! z%4I|Ec03&QKo8q=(0y$SICIj~WDb|*Q4w$WZl_3p---Ns<7$ti_SAJ0M8Wl}q{G|V ziO~(${&KJl-D6P;|IYSZ?V=4u$Uy9|2kou}efWOj^`PNusX`p1+Tk4M#XV0A?3-W_ z#!|c&=5`Z>z{U%9Fw2;}qs&ZEke*r((dE87zeO8kf`tD#Pmd99zYyFyF$~=C55O3qaPMc2iKr3cX!<@z^~gR48G&-9;RpL_DOjNY#uy z7=veq=(%fw?Q!8b&sBgh;)t&rx}KX1_HI##qZcE(7v};UJT4Wtn=+uq=y@sPwW$E8+Ba= zKF^-QZWMnv1#+>Uh_Ue@x(GJM z?!MWL8a>c6-;IQdUW~VBr_jam6pYXFG>}Dt2C2BXg20Ro^9;za^nDXY-q%5*<2s2X z2#O(onNT$@88SyKZG>=v;lHtAW|}0nxmlDnj$_Vnu1d`zt(N(EyRW=j&z~hZ5{$B`?8%dJn!v25h& zgFFR1Z;sIMkz>b$oW?nb17GjmPp(zTqWr==TVAH42{wxY>h#s$f;|}>)mi@;T)v{0v>jyIQy%65Y6aW z=EPXb<4hbjH5bwF(w+5rKd>L@y7dbriZ9SiB|Hep82S4Nc`@-&4Tun=(bi<7l@{RcN6pnmLWVelN0&YZ^JYgVU1ampArYS;`?(RhCENIK?M z?^AXgKzM@1F1w~$?Vf9^8)Jeq5kjG4aCKim$J-&C>36hKnp*kPbGG2My1TCEr>*69 zVaj=Msy#6}Xq*?B62gKbGTOprDPe=Z@^Jl!TFf;q6ICvz1>FcNvuT;Opqm%8>jL$l zi<~3w3!zC3)zs>2zwZyPxV7pn@)OvmZT8+vWi3r99QwM7U;S~CGW(d~L~@SV?YApb zHS?H}MAP!horan#>ys!$M{g~jxHP)y`D@peoR5YDoMAJM!&R+O{MB4ZFn^aB(^h4n zIlTuvpzDiW$aQ>lg=Xjmf-*)xQn9?dv)BWf()(ZZ2!LWc3e8C8v*S)5W+)grT6oZh zh$nv^XXy21_n*6g!b-cKN;1v_)jAEG0o*fXy82U{eH z$}Ri9mG&*!;NGoB9w_=PI?yf+$oYn)#AUJG-d9j0Xz&I&AL-(;K(Rr%TPBVYI0nO$ z=S!r5LoI@)I$7Z}f9WPiqndF-pv9#WW26*fP~w-hGTuH*J;rYhp@fI4vWilITyZph zcIQJLVM~G~&5`vRA2jBe?y5>jD~k!RM41Sz*K=Rq*Js#A{mKUZ+*O&XS$vsZNt7Im zl&0L%N^t@nVZOkfg1{&&K0+4`c`zg#$qs6V!=eIjz&qiH0GmHuvtV~Vaq;&@x_%+lVhr}3JeCwT?Cn28eLCf z;eqy?YYTTDGAw9&irj%dwpEfY2=Og~YF(c>Z_o=7gg_z8{*C0Tw7Ew$cOIxJarujH ztuWsm8+x~$K$z0fGeb;}9U;grL(bcD$0!2{?L6uFJf!ih?8MyAoK9Yy8HY^8&HV+b zf*mZDN3XhGC~Q7{6Pb*IEkBCY6P8HB#DQ~j*xXYU(m(D3y$1C658|Xp!53jx{qXVw zXRmqYhOB?7;;tjnKf(WPHJBjf4s`PHgeXv81MSXVf?N_)HFHx_PgDNJs<3)38qS7n zXSwP?%8OFZ?GeJ4)!QuEUGeCmFGQ!6!{8*n!RdulYXM}zWf6;0DRX-OUIV{=`TS;k zPUwi&7#0ZEZW({t>tqy|VAP05H(h(I_Utrqawqs*R3VD7*ebB&+$mGJ*iO{b`cj- zIYUrVlLWvXZ8+K6C0pL4NX3Rwwoxk5ZaDs#3ZikR#@u3u%zoXNyz}+8Y}COn=cLeL z9wxW)c0%#SMLmj_9+@8%ffNluC~s-P5=eMr-2eB$NKiz4xtAl8#Sp?A#L#;ca!MeS zcSZSWsS9;l(QJ76X*T?vL)PjX`yjH&bPX(#a0$gFq2UFwE0aX{b}p2sSizW4!?6<)6Jvr5Ez=TLlbk}sUF{d&U9IkiSfQ#b!#3$N0m z&4(6UJVg-vie2LNcAmfpc)il-F)ByNhN;IsHZ){-Fa&55@#ThNJMVXGh~HaDocd}n zV0<-$XE|!&gOYb|6OQ*sdw&( z---IKt}mFF8FKK@oQDGbIa=V%AezW2a&hPo0i@ne(0X_P=D<>*4o;1@j^O$ z3J%#)P3kE#lg<8nx+Hc&7L_)=NlvztAobqbQZ4ULxWa_tv-!`-%`Bas);3S7S-)^4 z!Twm$kI6qHF5~DNHRE7KO>yX;z=E1tC=o3#6HMkY(m#oh6E1@^b}5QlUUvN`C<8SPT6H{gy_-EdaNYlrpDeY#-vF=$(k4*afDKMi?V0ctd5S79P zO>Uxp%mFJKhl7b+8xu|kV4nx(q!nOT3=wQn+ry%tCN7~ zSQiu#$3#7p^F%}_k)b~mPt-pbV5-1Ksv;7p8dYY!Fn)0Wr65$1Xk@|fy@|m@por*8 zQHD*(0%M8HHOw*!(dE|G6M@oEg|g63=+LY*4B+#DG74h_OVl->VY6`*buK9evI>S7 z@WnuBOp>ackOnBC*mjPMbzIKb<=!EYVx!8Vbnd=j-|1Z@%X&%b`^Dnokoo5w5Nx`^ z3fUEDoo!yL^rhLgmq4bN)VDF^{km+XqXYw+&r9`ZvwD0_br}slsc8rP>!q1ETaRJb zeush0FvbDeS$q^wXz4xFZv?b7sI>0^dM(L6ZOWe-SMCj$d-4L#mLMPNg^88JB0U#T zBeOjhy*&Y=@@#%fJzw;?@|f|5lF*ce$NdKyK zWsz{^to~Gou~}*YMWfs&v#QFC)b#f0W?joa*6e>mws~!!n4#068Vlqs;;i)PX8*(( zUX%?glL_7xC@QqtRoUPOPdzeqH`V4J{l03U?d4h6m*-ldhC6?6^fx_p9IA%MQRg*7 z4O-bmIA*k!q}c7#lab7XscbuXtan14oCah~OT3$!)yo|76uNZz9iOs5y*{+7p4Z)1 zF9)-Vt{xtsGU4{}t<%lQycXiDW@m2if2;AJ*S%Hj*^PY9zuED^LV8Jh_Do3jGZ@+O z+b0N;-xrUxrWC|{&hXKuLoV@=RD~ZFFWCSA9N9Pp+@DS06H4yLKm#}huAxmBd%|{4 zYkW5dyY>P12C1QkM~ucl*W$G`zhJC?p?)umY^jR`A(98#r|QRoVKg-GkO`pP<`w{M z5tWoibLtSlsLLG>xfy3Fa-}qgp@NH+BA)8r>Bbhaf@`{Cf_n}p;hL7cDZ4j|iV|4K zG|0Y>OX**9b5UM4C`<3V$DM|&OlL>fUR?9_heYY3%l?V^8FEcj-Th?W!y~{;;JKeX zZqJtwT1pVi_KbPDX^Hju-5M_(i`~~wOsu>eZ*`wMIzSMY2o=T}xGckD^H>X9gu6;_ zPNH`%UJboGGi^#TH6g16yiB}=nT>=+tZC-xKBu}78{@+9?udGOE0PY7DNY$XmcInA zX}6F|rsyk^XfOFXHr{8g5q`%h%Gt5S!YxDu(NPwssZ9-+lzQFro?qM}7SbAR3(VBM za&a{VZ(1Qs=+Sl6rwP`aJilp}ouscGVy^mL_}32Cmj`S+*fK8P9(b8#<7XkuJTbyV zt&OSt3rTLTP?*8 zYPqcM%A9+%{IeMDan{+s*s*nT)SB~%Qly)rj!_YdA_AO6VAPGza zQsx0+$~h19C;Lk*Zk+M{gbP$QYyE9D-f3B*Gl>h1D=N9)P_(+do^W?c@?7l*++-c- zwC4wNL05UHgv=xN<8FoVJ0PJuzM}c&=%h#POz{U{i~>yKUGh&{_gNKvEKRBzgiQ_QXTjy z#w&AA6ZKEno=}&~KZhr# z?@ve9E#A(C7lE0!JK>+%5nH;RH_+elJovz1B8~s`UHOT+9B$?Md6ek(vZygYAK%?3 z)#0=Hs3!Zq-a$3Q#(YtvKxWvj>a@*qf>J5X!2w^P@-aI#a6Xq~dW|WUS=}Strv^rP zTwMBfZo~ey3}3G`ar=o@`{nY<-aVXCchL$NuHbGt?P2_>c?>|V9sf6EDN}POC|pOzGwhcO^CEIS z;#hZd!#PvClw@vdQG(HRtF(@I9TkUWn@)!bY{BtJvWx=BSh|DeFL@zc%M`}v+4o+y zw*0N;SQ^0fF|uaPN=MA0v-A9B(){F{2*kH0BYdD&!Ow;6BK7v1Vr@yC;W`|lnCTaT zqiQ%@fm#HOj_t__kePN4=f{nZXKb3|*#Wu~2pV$o5ITL#$+~vlS=Agst@_p@f^hi9 zXcwo-3Z5tlbx#wiaNhBoMUeVwJ&&Zk0jt96nEZj`*@Z(?dW1P0rsa5cpG0>*#+f^k zZ?k>=zU=0noTRzD(WFkyPhg(I1a~#sdP(}bE^Txy?8D#uviSymx6)$1j>`rpAnRDY>!JT zawgs3Mf2Izn{lwX*yB{17ZRe*EcUzm(Y zAdD!0jjO$A9QXzUVB<+2I0j<0H!T23faz(GK=k&*WgsKqYlrA-Ko}r6YdgUv5E__> zik@z}2W)OX-3B@U(sLKSFm`+Yg;`ww!sHzQNrCC8Ye07^B)id1ZVm3!KqMq*}4A53FqMA;r#E&vVpEE{wQj|X#JWr zJ+1SxP?cIGn!9dWolFzW`XO{=D9ta5ey{?@!`1S>JV8rl6%!pUORM9P)6X{ols2SB zl(4v_2D$}xOf@(+4)>DsINFkS9W(gS)S@_gjRV>@8Y6}L0&~+)hFCTq%TT7+#W*Q@ z)1qG~%rzX*e2onts^~!(T^>?^yW3t$S?vPW41~h#;HwCSb$R-)4ArKajmS*ZuA7zl zl%_D`@G*L02ucIeTE^hQIJG*Ml`1h=bqMGH8)q1|uA+IAkn-W)NVVjS6--rcVRbF6 z`Gi2ZFfu*qKXO@jC<#*L4dHF)WFt6m-(avvD>aQ&loLfj(H&`n)=p>@Rv{F>=3GT* zH2RU0&9lbjQ0H9TdLx(Ep}gRgU4oiYLOVDll@g$Va+N~CTFFeo^Pwk{PxI6P&=ky!XxPE4~Ky%sc&~!Kts5U&Z z``yuA?g4x<@>Cg$Ds{$T0=>8Q3vO!2C2_~d;yg@-c!tVFRN8XNM0YN+8|yf*xWG<{ zAm`ft02M^YT#2~o$D^f0LQsXZjk_&lZs9ekVA=)>@@mm*yPYAboU_D-)KqK5{D;;4 z9k`2+6Y-daY}gX=4HFk%kn;r4h}K$~hKMD$$_avym+nGA-`W5s7KbQ3Xhg6z=shwy zSh)}}G#x_Ni1eF{HHlq!2X1uiN@EgZ3;4{K9zr)uVVnv~8AEnga89aJ->a@-dCVl7`WzUX;Ll1i>UJB*7&wY^E_1fr zBUr~fk#n9DzB6BBd?i!Nqp$;Or??=HyN-ilk+_yf8kPxUN;)J~;$O6=$d?N;X_*RFYbAh%XqMvj=F7_u}o#2mP7|Y%)+bN*67DCxTuw#;ZFov<{=zAPUl%U1N{4;RSlQ|fn zO*x)Tsxq;-UkAUnosWv1VA?a|DQ!^_V~;3U;cq20$V@lUtc5Ja2=UlZcznc1{iI-a zpj}wUSHCcge}f$gyY>^|M~n}hQhGBwgruD~LYb8N5p+B^m2^1qtrF;k*Fh6b(gyCf&-asWoS1bb74 z=8%>RTMv#|OoVd*DHUosnZOl!q{49F1Mm-1M2REs`mzFG@%QE#SGZ|+%r!c5jUPze zE5VB!M%`qiEbU-<`zapWSlX`1>)9b&C0sv5^{s)&?Ugeb)*+%K#|OKJ>9+!B=iXg< zvyF=-yT`-O2ayx zqjQ-!9B^UuYb<{*8e*YAwdqN}#nO=Rw%-C$V8&g)FC*jWF5PmI--ySTGt};vU>&3%l+ECbpJ#*SE3Ty=w5)b|Lz?`KFRqL}2 zd-4C`_)JZB?$lv{BwsClZV2kxD|1g)Z~3tAKd0ZzXT9DIgcyHahTn&{qGDcO z+gNOdZ*Sl1Za4kAns!E?1<-bi=M*2Gbze<y<7hpPeRHl=N{{_x4H_pjR3#8&#Wnd;T2-q)Qo|Iqkw^-lkF=dLei z`pszYW;}^vw4JHQi~aprxKEin9`tteq`fe{kE|AZE`hrs`)iftg($2@vl@fkB{x!m zTqzRv2Tne%#H0afKG*%?@Emyj&e%g6^!uNAm^jZ+9-e`gPh?lb6fGANu?aU*v|vXcjSoqR7$N{N4aRv1qSb z`w8BbP}iIG%qytlx%Zs?UXE6_oLmj4o_*&-#GA0^L+CpITH4QDc-&V>@5VKU$w@o5 zd-v}nAni$u-bq(I-E1aYJ8V367!Kwg0g&5WRw1mf0>+pO?G+3zF;$|hR}Lz`=?+uk zD#{88_4;ozw6I_xd~fER2)XTW%*(&X)t7=8-{sE)fEgi@v1ZVXIWctB4V ztN&rv&#sQ`CLe5liQ$stW@T)fTS7`+awIvI+5FFs7as47{02a-00W-E%)Y07P;LVN zRP9QS(upZxE+}qFzzG{cIQ~{ko+m)#F5u&QcS3nq#f`o|YaAh6di87UuiHn(L~$8| z+#|BTo?$y5(TOHe3QnGYfH!DxTQCv3r5ad{?MdFTxxeM=GEs-$#$v!xN+Mvh6u--p zO;8rZjeDV?Qh`cMl5K4GeZ?4E z<9^!mueO+3uVn1nr>OgK`rV@6S0_TxD3s=oo(=y^CXd5cOV)Bun`4(p?@qm|Ue$<^ zwixv|ej3GvkKs2z@2}6U*7NYtMUn(~y0kep%c5yiZ!M3#9bLd_3l=u)Lcpfw@7Qe}kfe3@;(TMFPc=fJy6$9o zbN{1e1i6*Xe5k9br(LYsc?Z&@JS%YesF%K0A`<%h9@9R`Tozas=u8}5+cGbykqL{p z%093rCg^=XL(ZzuIQ*)p9T&AL9a<-R`GOfzQn~-?5tO-?&QI9*iY-F|(iPHmXyeb( z@8`*zJ;%lw9lx`G{x&JB|EKkOrLQKf{G8nh!(l-6y7~u`^b4&(c0nTg+l4+*58ueH=#XJ`A16sK_5 zctvc-W*Ljz`erUzOQ5hW4WLQWojK4j9Z}2QOHK2O3l+0ziQz#*3YHFE7E0YOi|*!l z2Tu!`YmCTNz2O@H;uPOOBHw|fAO|@+T7~iKEVh1?&dO>9yVXPQ9^074*O?`-iPg8K z-T9z5hVdINHAz75`(x~BCKG($&JjZDolK#EeCPFe;}nHc>|*)x%B&M0$Td>bq_9TzFED#&LA7kX^S3H4gJLRxXqVZzax+pl zENeA;IRE4P`nO5-R@oNg^JN{CF;j0F!J|x6xCZ7O$WE>4sYRkHoptew?)$C7PfyQ? zWTTTB>&kE~O#rgBX7?zMDq}$vyfva&m<-W_es9tYT`yhk*6Lq&y|vVf+<8F@1)*g! z#=qNJT=Ut^@v7GjhdcwTGZp%mqwD}Y^K{Z~sp|QO6xilX z(OB-JpmOfj_WobBIL+?!)+BGLV$0j8OlCl@rNzi~rYA!6>R0(d*goWjH5wYXNAvr| z!N}M`QNA@ne)kcp6mko^sgNA1eb+JRP8+c20OU-9zbt@W$Np!ZFVRof?73HT`BHTG zuyG_l6mM1J;z{JfCGs!KuezYM%b>L*lx|c|q#>|z3)nbK>OqdO31!BQ#CqLAUagesplAxK2!qDE>o~8BTz(Xq)>- z(n`nFOGd)HgRXn>cyjWvZdBRx_S%02w5bcp^!*=LQT<1tY{>i?aqBO6xtG_9?udVJ zWx{7R8eu{^gbsYw&n!fdDMTzp*L%`MHV^9#&f|IsuV4^$4vIElO>)_YA_|=mvV5IJ zJiGCuu&AYXt)Y z)hi`$cXG#0`^SChu6LO$RZiWTLlGXU)6fh|&cGoGUH?9RjhNZBH11I4bQSCfnDQ8I z$c6+HAHGv>Fd~~aIf7cYJs4Cb$m}Gc+^JrdV+Jj@9jNe2q;&Dj@fBnq6IaL$BWXL2 zA1cyn#~p$q*R6^)VAAH$Z@~^t&~l9mg;h6;edA;ZOA>e&8 z3};$eiQN6Ulru__mFWDZWJSa(XD!P7+&Pe7Qv^Zokm_Z$?ene>fn&!Ml$nWisky@986-u5}Df@Cj(jR{(*!9XULG{j>td{sQ3${{cXhlIuEhEOv7E21H zj0#q++#zj!2Y<(}c*OI#^vF+rA;%nZwr?Q+`HeYVv ze8O+DM;E1zDT-YMcmEv81pOZomf6Fc&4+t^yj2i2ma5gZN;bLw{i9h})R;YUJ1;|j z+s0ALS9dn#ZKzx*cmCrcv`O+PjQn@^Io;F;fDYi|NuR-j@Mq#+Wnuzr59|A}b zP6P+$351fn6Xu7K24&l0GV1RB;T!$&EDait79oSKRBenYw=}l?T*2C^EH#qn&{HbD zT!-Flr$duGGH1XbVlmHfJh*3vhtsa}7IudaC+b13FdYdKX*)5B3x72forrM%)njS! z_*{v3qh^MV&$ickqKPBcg;3?zKuZ!w=4nUw5MhtCKWtIT#P8VHt1Ty&ZsG&L0C4f9 z_uxX1fmjUTnAL53zL9Wnv%oQHljyUOu#>QU8Pyye-AFjNxW6g_)!>+A9V{KcG@k#h zNs#CZNN`KC@rbeUvPtrYv#@isN^x_tNpkQ?u}N@naB)hB3X%N(rx+ss-$%^K$@-t5 zA!Vw(f~Gb`_;XjpBtDZPii*S<2}w~f84X>IL>+~0oU3V6e9<5?F6%`?ejs1dl7F8M555b+C@$}ZupR=9ESC93r;xK#OOgcG0 z?EYZ`m{*g+m-qz9?F^e!fvg~c4K9vLkh}=09{mR7f&h(_op?4mBY3Gb|D2`lqzJDb z^oI8WoJ!P6h(}xtoJR3uaV{leAYO~VwUvyWDB%Xp27-;CwFrMKm*NIY)?8d+F4cD^ zM(fder9=l{tu^($Qc_!xM~k|(ddcPhQp>${atWac^#;QR?1EAQ{3YFn^8(Wx=to&#y{nVy)hKs`9-RPWoZ8daQKHK z9Yf$T%RDEZnUv4P6`V3x(4>%6frxx%HRo(Nmc>EFmI?9}`MU6hfj{qEGM+d?E(-`% z0((9fimQQ4L6f_1I$$xobUJ|5e)k3ht$su&^qOG(T`nEqxk(6H)y@f7H}xE0P`-hy9qLP`hmOG>+x7>_GN5#M-d0Gm0-{UDz%* zt0q<68;47vT;>+I&pE0sWM+Dj$F=_}MaX69uqAxaQOLpcf$@8$Neomx)dEwGD6!v~mqk`b7rO(D~j5+2gh(l?Qkoct~tW$a;!Zl~_D0aFf`&rd>lq61+AcV*A#v5L~ z*vCH6f59n~SzkwgZV=8l%UaJuT{D9dq%3iWXvd80yHH_qm!o& z{BR&F8og*`m~XvxA%aE-UIOmHr>`DOAfF1db)=5n-Vj$U*NwkFNFugsOm+kdp14$R zIdx7pRGw@*@)C>4-a558Ug2j&^ECj~P4C5CP2VkmkKhB%S=M5Eln7pba-)dY7%a;v zM8s7QD3@&4Ke+GM;tgW}4jpua`7E|nVmcu`U1$ogEcfsWXO6RQ=O+SFkSvSoUj1yV zvbhaW4wO1p-e(yks4mJ2N+Fx_ALt%o7b((eS}vr;b(cy9vWl5ppf1S0VZaK4zKM6* z8S#oh28>g=(pxTZ5v@5K_mZAdzq7bv>S9_|^3amFy9loNx=%~PrgMf-QZvnW-&1lq ztvjEFPUmV5I@*@u`2bzA^{f8Bs$wRo*Fo|z&EP_N$z*&J#2Jmp_*$f?noOCkIFRIM z#qRg46i&Q7ee)6!PE7pmrIKc7)*Ls$n|G-G+Un*05dn1nOFhr)>03C6_{1L=I9QHB zSt>yLsOT&a?W(p_-6iAhY6Lwg^0PEM*<6|TDaBmb-PPrSb~MlBB741&o9Qk&o8aAY lCK`{9t@hLb>IHd8iw2ZVN(?~+&&|uq21iLLsVoKezW_b(o}mB$ diff --git a/report/report.tex b/report/report.tex index 9c521cc..0f64a0d 100644 --- a/report/report.tex +++ b/report/report.tex @@ -245,6 +245,10 @@ Nassim Taleb in \textit{Fooled By Randomness} describes this event with an analo 1/10,000 chance of harm? In this case, many less-than-rational actors use the game repeatedly to acquire wealth indefinitely, forgetting or even outright ignorant that eventually the unlikely, or, as the actor would see it, the unthinkable, happens and all of the gains are completely negated. +Averaging a game of Russian Roulette leaves the average person \$833,333 richer, but this is where ergodicity comes into play. There is no 'average' person, +you can play and win many times but when you eventually bust you lose everything you put in. Removing the vocabulary from this concept, averaging many first +iterations will not necessarily predict the performance of an experiment with many iterations. + \subsubsection{Fooled By Randomness} While most statisticians are familiar with techniques to remove noise to get a clearer picture of long-term trends, many forget that noise over longer terms can materialize as highly improbable events. For instance, it is improbable to flip a fair coin and have heads land face up 5 times in a row, but if the coin is flipped @@ -734,7 +738,7 @@ calculated: Two consecutive sunny days: \[(\frac{5}{6} * .95) * (.9 * .95) \approx 0.677 \] Cloudy, Sunny: - \[(\frac{1}{6} * .6) * (.1 * .95) = 0.0095 \] + \[(\frac{1}{6} * .6) * (.5 * .95) = 0.048 \] \end{center} Hence, we can eliminate the \([\text{Cloudy, Sunny}]\) starting sequence from the most probable sequence of steps given the observations. Doing the same thing