From 8c0701b3abe492ef49c1c82d01fdc224a5e0bc1e Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Wed, 4 Jan 2023 00:22:43 +0100 Subject: [PATCH] added plor of mv in function of alpha --- tex/main.pdf | Bin 158295 -> 184102 bytes tex/mv_alpha.png | Bin 0 -> 40138 bytes tex/num.tex | 62 ++++++++++++++++++++++++++++++++++---------- tex/shift_GMRES.tex | 2 +- 4 files changed, 50 insertions(+), 14 deletions(-) create mode 100644 tex/mv_alpha.png diff --git a/tex/main.pdf b/tex/main.pdf index b32f37c07443354a1c542883a8b185f537cdcb5d..3ff9bcc7f5ac215d739abd083668afd1058a57a3 100644 GIT binary patch delta 62019 zcmeFYV{~9o(=QrlV%y2Ywrx8T+qRP(W1@*|O>7$z+nm_W#60tVp7Ua@`<`{a-23hB zPrbXVs;jHIerxZp>g5HPk{q~NNf=CaVkTk-V{2GGK3GOMGkXhHOJZg=w!~RUYG6@w zG+~_sx$BkI6QV){7q6u-F{3r1K5-%1J{BoSik=xOS<3soN0AXk+$w3X8lO)9#u5a< zwdZnKe$)_aWcwcOnW#swTEFwHZ6;7=cVnMN(=M1VPCWt2%6M07-B2C!YH)pqN;&RT zDY6^4U+PTE_7x2&tos>TLI$5l6Zl#cy5FJH2Jp+<_;FMq{T=ZvUC5zq@ zjfT8LeiU}=?xLM9RQr3mB!=P}7|(oOggR^vNV4{?5~`q)0Eu6)2B9)h_dtMyKyoIs z!6(x9I}zm~7QA%`wKA}c%)07uC5-cK1Wj91xN00n!$Bu)&V97b0(>ODVdsRlIvPin zeZgKfMaaJWJ1%@{=w4`nnFsaF>oERy=k1#X^?T}x!RjmP-%{ItB73Ly*T=r_Xgf>c zPUQlBj6_UudY z8>{7POTQbSXGC+`70Pa?N@#>bBVN>%t+(?!&@uWZ)GLC-4CJbu;sOXiQr>-V-^PW_ zp8|CVeSDjW_y*3RL!xDN&}G+g4eGA4MW)oSg-TEZvZRRf?AYUS!(e4B3YQIGZGipG z1h0#a`*Sqa25z(1cbf369iJ%X!^tw81K z-?kH3J}4hMF6TTz@-+v_f}scfE2{>RzYxdz>-BGyAdQJo>N)v%>jFG8^(@gW>F(G2 z_1BK@bQY{Ts78vIt)^(gy|RpRdrcJ%a0xChn~UEr4=7;aKLC=Vl56f?8{Jo>oBl=< zeXH$^n|WuEV)5kU==r;IF1gJ8k`&iXr3eLRbTF!-kG_X)w{YC;W$(2Qh+W(GF$?N9 z)b7lSp}2)mnyc!0Q)cXlrOk)L>q!Vvo=1+=#?@lZkt7&pa8_$0NlM@921pT-BGuz5 z)ks}2&nATG>HsHm`1KDojm&O58?Kd@f#w}E%x{ZY4-imofSbKh(%o139QpvdjUXaOjTb@t;KTqLHsVEx!)p8?Z{`{FyXeO&^irW4GbJ ziX7q+k@TuF_>*3xiZx`69DYFvV(s;jm+FTN=<3(7pjhvC+M77uTSW*7wn39Qoz~Cc zot)x9pa5p99)%1sF=IW!*tG_D;9(})pbbQwyUgVkU&7^%mVe^GR5Hu~l6KvOFzftv z7)_1j%p2^={h`EdqNCs@4L>oK){b^x9blbbnuv9vo;jnPWkkW|Q?ZwmjKc=5=j#MG z2diqJ0=!amlznjyA4t^$dB1WtyiReV-&M^zRs-ruHV65EHn5rglH0!XR8$Pbw?T9` zpp#!(=Lp-8Xe-@2)&MwtSFFO%+lMWwm3lgB+WA4ZZ^sp9_a0ytjKJK0tlEq2rq%X( z(3+oDTag>xAD#Rvlh8VvUplAcLoP$U-$#aBI^+*RU!ttn=x|$}dt%y7hT6pjS7tqE zjYL(leb6m+6*NQN0sNT&LAcbiOh5*LCbdr9`5fC!cfZU5CpGg*gYg53bAVb1*3912 z#nsu&$nKxkKakGM%+dgd^oRt;%G>}!goq5v-hjr)hycdU+91Z~4u{Rb^8dtsR#tAd zL=q$#K;C7&{pQjjzmN@$`3WjsXHELg8fUr{nj)h#Vv?AS+*jr4B;$^r?hX)PRCKD@ zSk@~&I%J5tsQ01E3^{vB)7y{l3q3$bxA!|zAw?49LXoqxAFH%FDaBZX7z|IFzPy0q zv#otmhJS`Khu-v|tM&%|Elzf|BOmYy3J7!quWXsDG9@~m@kHBkdRo=y1~s3M#48~Q zA&%t85a|=?Ql{1$AImnH`f3f_oW|Nak54D4P~im|J8Zet->tnW%R8Op!kcu$_H284 zGEc11>6h(yH4kVxwI|ZD1lnWh6+RNlL~2uk%W;-Q>#Yq!uM)1T?rD4k``G|NXOiad#`MZo`gxgci^zk^YJd= z2d+-M6HCNJ%Azr6$0~jq zAL~0*0+Hiv8*BE7!x7jr)j(91!A_@ODueuD+x5~s!C|k)1J$R=yVEFEwo`BiJW+4( zx;V$weD{Wd#VzoY@yMEVx3`cD%VZ3xO()CPWEtj1Vzz34(8@Rd?!7D@Pk*ju1m!dw z%=6n-GmO!}5fR$YeC7h#M*o&zeB|G?wCkzm%DHMm6=(=i6ga>mucl!lU*3hn2BX@^Q4b@|S|L0}@5n`M zpQ_b6Ib>*P;{(Tf<#;_RJ<@FALO%^X!64muoS~QWGpX0TH<1qv#h^PJxCv(vDyQ#l zT3$=ed=dGo)gh__>i%##W#?=`va#=RY4#r3!c_~x9i-~my_UUAhl*=a;kLRB>G(7A z9yM@p;{9AEX}-(%y*siDaD7>dnyTKYgl(};4(4C+SyR`rrt|j??rPGJ9S60^!@u}p zU!!D)kFjJ(?0tO~Y0{txwA33lK@e6Q@2b?qFM&*$92PdiwyrNpvk#bkyQ;4FXf3G4 z)%_8L^))fl$h>|--|s_)g4PqfgM96Hv`eog`wQY6V&UZe{35Uh^cG?$wxFmZa;Qu_ zCuI1<_&Q_{Hl#(!W~U{2KRztQ6Hd1{Ie$+gEVEz>5Hl+wcQ^^0RN{h_YT;SmA!4goSIZS}!~MG2l#}yVbYhE<>YqFG z{IpZHo`z-yhna4P$yTJK-gdn4B_&bu^6dGw9mv+tZ2+qu?MKq7`muOTMGmU1%OP_c ziiU#$nICE(Y9Ir<K)-}b3oT44-oHeeS@e>7N0!2oNAKJ_?fw5DMsd^51%v>bMTYG*XS4|Q!{Ykvc zDiU}^!bis|Rh{9_HlE_8$lBs6c0b-s7aR|2M=IlJ0E35nOacX2@Oy%YT}hum>9nkj zRIIRc{N_qEc0y9G4eELZis@7d5HuRJ1Qv#|`^mnSNtsRTqJZ zgGUW?K=Ga`1d52{d^2FuaYQ;6;;{jpmgE|v0TB~v+U#*ZAx`)LhWjNaGeb#01O(Qe z8caa37&tkesbvZ_ol^_po9~IRU@TiFkYs5^Bdd}(3zG2Y_Z0o`a&|>^=xCh~ZAS)& z{*nz-j!rym6P(Y{2Fx&4?{zjMg5_PS6YvzflD>WIl`shTLsu;O= zX(EDx-Mb9V(B%S6&=`M?h3_{aQ9`E5?8u(S(|MqDkKcA1AN+?@5slFghj=5y72i-$ zje9bZ6(-P~X834O4>2oyzZVBwYlf|o7hvvJI3r_PRWYyHN*~XRPiR1+ zT`MXZ8D95BFdq#|OL(ANqAF=lLpi%2oR4yl2tpLB^;&zE+cnq`o6*0k=PB_2{N2$T zghj5o+ccjk*>Y9SAS+%@*L-Ro>1g{(=v#*|9^bq~bxK+_u;09~c#pTg-~RyD3)~dM z#zciEKXi6_PP3(n4J>vy*d_@+@%_L`(G{S_;^IKyFBLNiO$Vz<*rv`2EVeAmN!9H6 z!ToWnbu2sn6R`K(xbia@$j*F5fQ$E1Kj;vDmGEI+SsMy$CVXJ}@ilN=4)2J+ipD8& z-EEZqzQWVbd?}=qXm74Kh2QI?pVYDBY?d}WyM+ikg=jhV zke)~vZnC$jYpxk6B1R~mk7fIjKIa(2gav2AmeO_+k6&9@g6AkMjo9KWoGWrj3R z#!K>yHZFvG+Q872nS++6fB2v#0IvE*lt#fo1`9DKETBqU)D}&O zbcGmn!Sf7vXt!Wci;i>BTUt7qBc)-_aZE3itQN?ksa)6Dwa6@Y-LS+zD|cdBvTKTV z{@qNYA^8KSV1kEh=(618X+G$?M-WF6Mk^UKIK@oF6%eTkum=d5j47(WX=}Up#ht;G z!EUWP+R|ZlZnzcTZz{E50Ryr#W#iBM&$QU=?Ob@{x)~PCe~OGm*pBn;S>}gIgnA#1 z@PB5*O|3&^CZ9pw?G*kwXL4$^D}M^~QD4McBNV&{3h>(;9^tADsMz+`_L!V?eNnQ_ z<2a5u+lZ4lCKvGIKMNLZ1WY~pfuF`HsP#e*}vs*W@ zjrzfKGC`^46e-Tvp;GaOw+l)ewhu1vPQv8w2Vk_o@Uu(ylszpXoyg zxr%C7_id_$dV|u!>nc|j+d1Ss%T}~{HydbT)j`=vO|=MlvmHx6FDw|&daVO5-N1U9 zF#Af`YH?aGj^SHXINjG|eZBZ>zw7n%ah=cER?4rVw7Eeyj~*0V#)QivmUQ0a(#^45 zSm-Ud>QtXYxdCKtvY9`-2ZGZTID5jy)q>fp$YgA=_0YW40gKl~;h%(v`QGbVvMh5} zx}i7DiR$Wgt`~RZ^AOR`DcxIs2R!)=lSAy@oMWDN<24W`IfSL<&htrT>x8-#xXtGG z?VaR4gpT?UpI||M{K6x01>5;B9z-3^rsLG>I^1~KLIA_58jE$@t}VMijW*R=Z0;DG zjhc*(Hv&3`)rG&qK+v;6pntPwKDua2e8rLK2_oYK&SZ?xM=Kw^BZGKuuvXXzH*n-l zig(c}Ej5qcE%>eq*Aw#XV2F+d_8TocUpY}6yk0f4(T7!7>!Sj7BgE4}9Me61P=XVL zjf`2S-fMz=1h3+|Gux)5zC`n8$47C^BBYYVD@c;?Q$UgjEZ(MWZRmq7eiYaG@jXfX9v6efI5|iFhQCH+_pX}d*G5nfXbN?WhkZInfC1c z@fD+EF=fG9{FI9o2Ncslj}9~HSIu|3W;7YG9X6P%Ye@~qSsX@J^ddS``Vn!;>k&&* zVPWj61ST2H@0MSU3Y+;&LRm507UlU} zvHpPw7!y)bYZSc*OY~VAdvxZnYLyYA0V|P3U=f{CgVVuMd_CCW_3_@!k^Ag~H1Whg zq_m4h0I^CLaZf{~8Dvi3^f5zNYRA610`}B2Nc3tt*D`ia?i!z;g%Em<1U;5*f}bj; zDS=jzWy1L|FLP_xjN+AFV3$~UDH`HsVFV=&e`Pnql@Fi&Y+A;SNY(q}eM%?R$oJK{ zD2@LvMqd*)n?Bf6Azc*{CsB;vF`F7J6Va*W7+?z9(cUEt1Jbxu#>u6Axv-=skCIQr zYko1NNEwyeH=CSioqfs)i^(S#D)HLYIO@)^K~BH7B?)kR+i(Q%TG7+P zca%MShyCzfq3xIy8l_#Kt+)uN{pIhCL7z(S1QG;%~@$*yr^)s&aqx2ovf644x+PXPUYJnRUbg<5e6z_Kjc5Et5 zWttjYSZw!<<;6$p=O@ z9Ww-QB$mUR)dh6>k$k4g5P1!qV6^+O+?$+zMyb6?gD z?eRy~ZhoV|lbB%`vJWckzymDcJvEUNErP+no&MIe$bV4J-`gT+n6YzUq{oTnuxQ_O zY&0a1R>3?AKC`s&@Z?F^=f~=+d6pa5dvGFS7W$-=0d95MMNd|zss{U>ucqxNi?8+1 zqe-o98wIGW4UW;DUObjkhuKpZhj9o4e@f_S_aDVyrpMR3wwNaP9SH4!1@0#H8}oNQ z`^-aS*8BSWc57)?D>e6;8SXy$dEc5w>8Q!@5-;y)`!IyeOo>)4)(6Av=ly5*8I6NE6ECHmG&KV>oG(6Y%0Fi*!GF%)>^c| zVIST^)Jp-24F~e|VB18gr98G5@h7)y)40lGC3eubb}PPEuMXV}3YRbM{Nu?-&E5T-A`ZtcxsB$JI%YYYhSr#tih4;!B`UYNZU$9H0uNHq51)tb ziTj?op`J(NHTjzFfK`g3!2@vdxdfz;al4J8;gSlG!LpnZXDQEx5szq|1WWMC)bJhq zV^%D2;3tQ6KHWdtsEB3wN>S^q2ZEj8zfD1YSJ3!27Buk~!Y93}qc}B=yrJ!tLN=;U zBqc3j7Q(KL%54-;L@8yoBMVlQT0mg!UXF}W98`x*6;#6sX!(!h_iKbI9lj)C|Y zx&?*%CxtJj>AmDRrR_leqoGixwZ=s7_SkF-t*lUj%sEy+mADK>?^z9eoNWcA>O%x1+6qXZ1-hRfdPxReMo6TwbO)eF#GgLx_ zw$(I4NcIQ7jn}ay3Htt~AT4+F^EERHUp0sDVZ}b7 zP=9JJ&=qn|h?-?I@Q3~G9oaP9nKguN7R5wBH-BEn+QJ>#XN7sD4~&Mt^U2*f(-5C$ zuXMQsr(^IlDEv_O7<~d0#1>`cHrw0osLA*2_hOT;^wu&)_eAxT&rQ?Q9@ES*CX@;f zHh4wbjR&Z@z6t4KniM;QN=zhr2Vb1p!zEe}zgZbQg!CEz^#V$AnSdsJ z8%5VED-L;9GduVSLUmU))9G+WF$QsmfK60d7INNWzrh?Ho)Ypiz&_Z~7@jLfIluu4 zfU!(-6bdk9mX`eh=#rOQcx>ho7sRkv+}QF+f%LR^FxS>QNm<~n z*U7q5xfE|LQt^xISJw56CdOcv|LBNp1I{eB7J;A% z$HbN9;dVr*7qwNayL;zFPk1sl#4rb}oUX1^zqL9Tf72`5!zAmtf{2Z7Vc8c0`^$~L zuWgj@5$+#j%{jqV^BoW5;Ht9((5r0`zBPx@mbUXX+SqoFShxyc?TST!(*Q1G6%pVQ z;FtU>v?4jKjM9cM8yeD3%S4p(%FicunydAz{t#*Ka?aamuYj3`tt|Q@BRu%%#1C_)EDCjAfHD788D=P`6|o2s(fY zDH*qH+7TR*25J)he!b=pn&M#PejTUvdiWfetZ)Dr?&YLOaX5?7For4gUeDq3 zkf!ViPF))t>L3om_bV?|b}NXyRlVSa{TW%RPNjiM+lkYYlRgDT3a<6KXqn5!8-iIP z{#sl7=m4MWn_Nfx@PXCL_li?<)x9UAnW{BZnArBI#|{59oh;JC$TUV*hD4$x?t8Fu zKusmPS@YcKsv&g!LIlTXKH+f##Hn{i%tVm-S42YtWP@{l@<`OV_}i9;pW8WQTds9} z{ytB4_8D7X_aE_`yGj3G*J2AFNtt!_&z^KV%OH9CQ(!t-fyQ)^za_u-NQOsvd)s~b zPt`h^M_I)I!MBTbb^hgvUND?5B1VTOK)BDPc!O&v0{OTn5zlnUBuh`c!BJF!*o|h? zZZq*n*`^J4(R-RpH(n+fZ%^zWzm9Cvj^=)N+D|scL^2Sno9I9zc;o$}Ip+6;McS>2 zPg%>Ziqyw}Zyk?@avYwh5940Q8N&k3&e49hkmq~0RXPPW{FQd2wG7#6Gyu95K*Q1d zO_~yi+@fv7)ZVF-VxDyTej$@%}Qw2-qUjW z{ii4Agk}v#wO9~XdtMc^k!Cst&=U}=<#JX-HSVqmuAcseW4#kMsCAWIlxR?QV-1t9 zk;lWI+hZbrz`?7chT#zWOV4d{wBpeFemA(nl*ClP$x)T3^#Kz4Td`q%A z#(yA&3p>d?oCcHJ-gWLvLQkHeIM1T;^$dL2#X{kPtag|@>XrG|lRtj7)*N{dZ}#lR zq3R7{pzB#Aaq30zwkVF#Zn0_~hMLZ$H#E8)mYMtmKaQ-PbJ=!Ioi81;t}E|1{LO3f z%)ggo|B20FXBK0jt(@PM0vr}uI|;yTJT5WHhS=y6h-#zhsMz8mtmiWQLU(7)B<|Je z_J2Gi%k76{?##beG^a=%YQKBYxNfE$4jk7O?A} z-_%+U8a%x~sxiqm0i_@0$hoXIn|cj|$hRLtHWR{>e4T=|9qwNjodui7iYuv9_FC=; zL_eWO_OvcP_bwm=-)pNp?g>+?8E};BIHQr5qSDp^#w@Gr-)LmV%JaM+D>z>ym=?$5A5Z1LD@-w-q`yp9-=~>ETTRywpKI24jl3CIgU46qoZ{9Pn3_kt7 znID?u(>k z6!v&VJ#AhtigbpqKCRLekI-#0@kt;t~0QwUyg3Bx)W+NmXtYEGw#XzOh z{{3I9NYk3x0wsUmmxi2_@pmA^46~kZdWV0mE>5)(ON+lW(nVz7$Nk1ir zG1*>|4Kx&@hp!+?F;%(`c&ro;JK6f`*fH!>7mkw&_O-5FG5Y6`^kMkt_UyB%Ej4#zpxB7I|vni z{gn$RN)#QT%k(se((y8^EzBQz&Eha2QTdKB8c~?v+h<~24jazM8`RdFl5Xtp*EPPx5zb_w36jWdHNTQx0gK!VxYHv_BJL6Nyku}=-G5;L(v{~vO^?bT4X;!CL+WRa6f)|bbctY_ElyRt*HsIL(1EwFjh=3|} zWj`w-$TzmcZM+|GeG<&ECbR4FBDr7qzolE`q zhmNeOJOo|dxf-Me7ibwQKBBqe_0{!npS!a8tQoF|L&$s-WS}ke__OX5^v9OBj4JNS zKNMfYZ%0e_U7CNvf$|66V&(md~Wm6QvMKOg_<&PFHzOxMbw)#pabfqnv zv_tH&|90=Sz1$DAiQv-NvESG|%hmf;hP7}+gk=GfA3Qx)sX!vQ>;>Rw>$PY6{Pyt> zz}WNk1BS>^iBKrFtxlWSh=eW#_WHW3jBoCm}Jpv$qzew!V;j(dO?|J_aPgvv0bP_@$< zGwv&0*S852vb8;GFgtvC)wjkt2EcerK==Mxh}lVaz;V-qYs%$t&F=ceL!mjzpJMNd zEW{igS146oysU7WTr58jX%P@P^e_6G9|DeQ}f)ySpgP{kCkvvTZ|F$prxOoOO` zJkF=2h-W?elpJ%)N(iRXmYU(#4*WF*n=%&XVm3N^byHgL3WIl_@>AIF0H6Ds zb$(fdJw#l_0=yjf8TaULqZc6y#UFH9fxN?h8WAxK`fNsVJwn$)3p8X3z@$x1_Ag<5Af{T8SWLaCCY*sJ99cb^P}^tQOM0#TxpzvVGMn844#{~g(t*8 z$gInliNKlz9{q6RD-ndpFr}f%=S-C>`3_0`N$(5$y_*Ib54TqM?PXyaE!8ibQ8_D( zn-L}87P#JzmvDHvEw)5tmt8SUB@Rp~7+h2R{U zS1Vi`l`HNhgvc{{5;fJpi}{hYw3>PA@-UCL<}P>YSXrY8jieXSlkZO+2Bms(z7b7? zkVf53w+dTE^Zm*Z0n&&x`vP7;)!2tYtlzCu`z|FI76uVeGWJt+qq~Gwu7~p~pc@~g*iarG_K9AtM*Y_Q_J_ZVij`pz$MCrZ8k2Tc z+tzmGSla^w6$toOw4iIn*Wo(}x-u7NLRoWWCq0zWoxoTWy55jj$nk0uXTj0`r#~+i zZf2H$8IA|uf!h)rdQ^oFJ68LCZyd4 zAn}|vU#q!)CJAB?Nq(gl3_lzA@EC6DN*azq6QizY3p*?QF!kAF0= zX@#7SXH=f3*fke9-=pzictJ(Iyj>$PjddwaSRSQ*$gP}}>$}-32&J7nQ6p3-?hAW@ zg8`wzb^WGP^636f5j3{$T$e;JXqQ&mj+rr-brWg*)Pw09gC)=pM5wH1iTTYg^<`xg8kg9tGC7~%=QA2-pWrBP| z>Kyd+x#L*@WApds(F%7(bdWM>eQ2~dM4TRb7YN!ukI8K$dz-A=2&wU-f{=ba+626> z+#YE-Zd_b@Hq6lTnf_pWA+A}u2uiyqRe$Dw(Tk!WlP4^c>1co5v4}q^fau&`?T$6r zi2F5pqf}*}Ek=!`PJm^eg=LZe5?FWS?pK-NgWgJ76Sc>fC-8j8>HF>5e&e-ME#@XL z=yQXksS!HjuO$QT_0nno-n7vqj|{BTG{(UBZa^~SX13?)u_1LvRP+Loi+K=Yv7=1U zoM#59B6Alz<7vz@B(d@N>fbn_^Q5i5tl4#~_0yXsU@v+a>=uu#5g@2Q$)nMBuXAD) z>otB6P=)fcDkS@X&Bopx71ihSJ>arQ82W8D-2HxUd@lZlIj*mjcbUhDRTJ2qz6#yf zWXJaas|aJ^ZXgXWe(i*beN`dseyh<#ahn!=`!=AGh&3UN((@c?3*Bd(uKa5zWU#n@ zV$MyV^SI9IlFZfMGYqEkmQf?#3cmV?#nkDu+NPg90sfJ>sJ%rQi7s(I$8XktkB&_Z zD>QCj)eIT~ozTEf;ZBzOsSYS*dzGy8ZlsErL}g!$E1pl=DPmtWn1!n-S6B>RJP+DJ z$8899BxNv(mgqx3>ny$LIU9cUI7?+DYG=v!mnv|R!@3Cur@u>{VfOAD7R!$i==3MA zk{)Ox;vP>Wh?QZ1IvD8!5Lb=WOiZvjX=tutaZUDw4j@<$7jdCE)qp8xlJGE~%ET=2 zXR>Y%KG@~>>F2?ig|A$?Zv0iU=Dw&W@QC(02d}CE>V#jA`34oH5%W0mqC~_L=mfIv|*W!F_-qrWHsEmRPyLb6)NBw%85;?$2a~7}Dh;A_M zQ*`nA zLCn;&dMT&(+gtGbH2^DOb5J;5G8;Nc8lu1!Zk`Z%(8cQYpm?4&ilh)zBSa|Tck@m& z+^(qSVEcvVRsu^~ENv!UZ>OXfGh)rtdaZy}Ls+RTe?#S^-8TnXNp=LzEzxw#4b z>$xmah;yYeERei5wXnz5@d$O4+^x$s z^yRX`y`q)fgj!@jE_yaYBiiFt1d(YOdYEG5)e=NFFJLer_g&@z#}+B5o^q0gagZ~( zH7L^E04F^JZ3B6nOC~$DPnX}--MH23hB0^g!To6`VE%W$^mF87q`4|0A;mbvzD0GruD!@^an|M}x}{WVC@%g>#o zq>DB%*d=Rf!I?o5YzUX@In{NNSuzACl27Ay>d7S)1o`9d|C0K??Ixwqw z26R!{*}Pn|mBxr73rN(!AjB6epodvqmW1@WI=pbQutir0lJw`6Bes*45wIHi zs`nm}EgShXHD;~lO0rG9L-TazfxYb`0T13aA|?pYMR_he&J+hpjnOX5WgEPeR7uJ` zp8S4mKm~T~ki1jo4%%%|>nx~qUn9mc?lGNGZ?YBxffVb66fb-#>m!2x9}A~V5Uhvt zP)t!>Iyt{(%d(fd-y+ieEtr}##<7L_j_DN@ZUik2jkgl@a#PVt-+cZM>qrL<12S-C zkgQ%i@vS|kj5+iBNX6L)o#T*!3>k{m>{yy;Yy)pHT+u#_<-LVe~zwI4pVOda?z$BEY93_ z-;}pUck;GG5d~)%XI{R(QQL{VWap87ruBntmAY{O&2&0&ts%Q0)*UYXqC$B%J?P@j z&UKvB!pq(~Uxx>jz<#WG4{J3CnyWUORMsc`TuX>-6&z4>xw_qtrM9_ z95Tyk=pO}L-DO#AAeO9Gwd9^nm=0QN;1^0pb2W(JnMz9j72}Gx;y5*5AYCD}pJ&PI zm43k;@K=laguhyVthr67oMU<$ex@fGu(QA zAWADit=}`T9pQfO0|-wpmrgn)dp*Ap`wPqZa$zi!I#>H|3ClWAXY1=QrgQ~ z={3HQTE@|AY!SHF8P%+5&`p;dks~yickcz}_PhfZPQtn`wCM|f-j*Y3Q>X#v%B@tz zg}=IImCh6pAHz%?1!zbxnM~j`iX2DEuinq>WjXn&ljlD1(v`8_K^mgxiT|msffp?8 z{Y)l$%i3jpl9bERkE*-_7KjIO@kaMc6_`BsYfR^Ijk64}hH6DBe(_uCw?2I$?Y79!Y%%{oJnGICJZLq|CAYFOGE*q2Fz5(6$Y4)JCA668-Yu$2wMvtlDN+>udw9GgbNtkFob1_=2W)?Yx}ig7 zDP-nDda^64U~*Xu zzqJr%NyIb!ngy87-@FPqwgI6Gp zk-nNr+ZkDy!7_fcGW~l+k&}rDmQl*g%EHo>nEju&h?T30l9{upgPo&;y_vl$F&8YO zsDrJ8v#O(!i5W4Yn3=nkiJ6L|2rQ$jypf9yF$*)tUk|GMS0NS)J2Q7;9TX*So*k)! zruDn|GuMCX>LUFl{iM$B+s0Z|lQ@b8q}YR>Br=3Dhp@1+urdk+in0*8a1thRyq*{` z3PgQE09aZ1mkEzp@nK{olCNnYf6If$D^!YTNJ6#uK7 zYB-eK%S_ze*l9nO{51IQah2y;+sqE31h_Rmd9=SD;25l8-KNH);&l*1bbW{(c zH_S-!%&ezeg*Mc1yeSY1p>6mtSw=avo(+FK={6sG#)nMK2t+$jpu-8?b}?;h4eU8@u=K}v{qQ5c?N2X>3 znYh@1iAIly-*ldx`$$;OJ*~5|bv5S~@~MV>P(B3R{KdC>&Mut)#k4)u>zoS>h7s}d zQ8#w@@J{(Q&GjR#sMq!w!N983=A84{F5UEV2nu;A2&rdoIeXZ1-|)t*|mYfs>`}A3;BVwQqK(d&oTB z|5Kz1`X4rBu#lQ;Z*j`)86q4S8uDl370MA@#aSS+H*B8FrbAYIT6SoD`?CnNug%Hc zUu!Ge5FVNQr=NPIvPs@GZVtf%-ylQ&Sb3$m=Vv}Z|6t!wcM!Pewd4xcTq7a`0JpO~ z!`nu7-cBq#=iTK*yU(r%rN6#PS=KB6{ryv`J?^;Aa{}?l(f{5hvvv?QJRum#T~~vS zP)yK%X!dx`7Q~b9NmJM1i#xTgv~MAqi}y8ZQ$jz+pimhO-~QV2 zX#fzMJa{k0WB6xFK}-Pw$HZ5IEWqnW6`a*WCFap)5G%+#x9GRHr_x0Z@wf^voRK!2 zp_;36%(7}$wq{pkgzaSj8=vA#-49vItN3)P_s{O4P65OqPlWQ1Y$RXoj5oy3x-khi zZm@qxLWFyKP7EPdSWhG96o~5?{5yDXuqdoC+~1g$in;;_QU*U4n2CS0-oXzzZ-PZu zd9YbMdRZJN_Iz%cz2(j*fl6A3bCI^?=HM9?jFd3G7q2wuTodH;%|IgM2QaevbC z{jV;(=W&F$k>sx=jN0=n+WPzge<)V3Hx_xx$O>_>`2W4w06D>WkPeusTDSb#g1_py z9>W8^A6*YKf1^LE!_35FFPOE{k8;BvOGeG8sd#zdR=fV~u;!JDQFolO{5sdo-4v<# zz^$U$C!thpEws7wQu{U>4(JNvdpp9_N!V1_VO-}?@4_G?u^6#=w=2GX+3bEKQvY+7 z%V)!~e)#d2yyPL9)Bo>ypJniq zd^5DU2D;`f1TzRUYy13nB!&@u-s=AlO%LH{>w8?detG>Hg{BVs^0%}^N&MmeT1zmA zWVZ)Gwqd~mLKdj6hs8)MxA8&cSEoB=0WY5NUxWg&(Qhs>Rh6IMfEFPEflkxrylqA1 z?Ow#G&IETydCvXV&>rB;41R`JtMQ!NreB~ zm;mD6AU!~ko}ZtN$*NhEo4JR$4Q~)A1;z+pE@igXiKcU9>CYfLr7h=aU%s+Pi zK?Rqo(t|2s{i4G>{BiM|G@12l$)WwqUdzVDBhy`kf1F1zXT6>ZgMSb0}nmUFJn;FgAV<~oEV zh4~M5ZjbS$s|P)!9V4gz#n)FyRT*^eq9_O)K}AwZ5s;2Ur-UFaN~bhPx8y4#CDI~w z0HqO-ln&|cmN?Sg-FHCze!qLyx9(pqT<5$q@66uMe)hBX%z2WmK{1J}u0*zU54S0k zg+enwE%DAUF5*oy0v~Q*e8+ep00uCilDBSlnUYwLg$Er`DoHQoVV5Z}8xu+Sk`1$V zy02MeDn-M9hq8D^OoZ1t3ZZR%(kC)mN7p+QZscMTHIh4&P}oobC$Z+M$sJo*Pz8wg zik7Q-3f7TrrJ~_-yMp{t+rzv_{V<5FMa0#3y_b=x0^?+vOJkqXAE3j416saD?^Nb} z?}{7F?^S>2{DxG5{VIqC>Qq+O(FD6sB@#OLUA8c*6Ue`;SRCwF9?z^3WEIbIQ(cBP zJABg*AFD-pg?Zf^PKwP!C{Q(QN44I_> zp?Oh<`zjOpz5HJ~ZWNtQ)s4>%XLb@wuBjcE{=AKWe3=QbKaiv6o*qRV<`=~AcKIVU z08Z=o>WM(?QtZrq?RA<{%}1?W#&MXPiln2~xP2Q=+zEw5sJL{~$5dompao!l=N zrPbWMu{FaLj!AdPOL|mT>jG5ll-nr_gUv@((zOlu@XfzC! z8!-j*fyMmGuLyNm>sDg{Zr9@cZ^RF)T6nGA9ujx$Z^XHDG9;6ciHXnOFJ2I)5N3RM z#ZuI?9vb^2YqTrsn#5q#T>dOA`quvc{$x&I`<(|O0Yv$|e;`<+h(zSOQ!^3Js_7`m z$Xs3Wl7p8O0fHD{wTU@;XyuIdG5%%L++KOPb!Sh6vhUT|(lhd}oXVY5F;h(HVgLJR zQ^n%923UE!3zeufn*JnM_rn(4ocS*+P6BfHE+1YNWLsLJY3WWADJhMzapgF0l$#7V zc0nEJ*Ciy3-BL_?sA&#=pGNacPG33Bk2)MxYk~p;EryrRjqylP z)eddM+~4VOqsqJ69UsZVb+${$B^47?m)?!~CpHbJbE6*4OfwlUAJ%y{k2bnb`+iN5 z?mjCrPF=S)i8|bMlGw_@uf0qYnjuXBc)j;s;}Fg2>&7gPz-#$5rFl2$j28;MW7dD$ zN2O}C_C~MsYsr22Gj2(=y&rQ@ScSuNO`&&tv$p%>LdByIov{`U)5cy?P`?n%0hRGv z<^5;IPo8*`jWc~_A2dj?ARWJ+_bKZWuj{GyVnK9O9Z2&aRnoyDy9+de&371p$^Fop?Np;2|%LF9N+46Fumjv)qAt%BjC~2G458^W!A3XFsbfgpyzWG zb28O>^TCRLc+}{PYImB)5S<=KjmW|}S~``EE55vP>!x>!)F)IUdn+XNLAUtTfspb@ zNOtqxll3&y90*AOnD;4IXw2u>D_b-v7K)9;ys4L zx>=B)>|)d3J2tDfwFE=Ou8**`5GHwBg2*osJaWn?>sO)uRCGD=Po0|f> z27T`b@q?qU4Ia(T0*3}S^hRvAH;<(_S2kUTAo?@Iq&nXk-7Ra72o+eYnK>PXgxoxv zLN!IUWyUHB2nTTT$d+!Cee18?yJgzMf$&@r`tvsbr^Njc92=e~#uLGW!K#^rr}2v( zj}_{O51`9Xaj#9g!&ULbv=YIE{Sxz0;^Xz6{FExZ7gFJ{33{y zUnIsKun4O2?^|HQY^yRRK1Ye)PR?K2e4Sf|-c>0|rTfaAUi8ttsUyKK^rohv6 zM7v8mzfKG!(xp)F?m%rgmk0;35iH(w2QbH7Xa0w;Z#i~U$<%x?N^|n{_0F&KFALTf zf6v$#&(NOdZaHs*_${8$p%@XoW+TYC5g+8#BgB&aU0`_izF^ktztPRKA71fxSDEg? z*Ej}DpY-djck*Rojte5Kw&htymj(~EZbPTOg$I51K0nAd+3ZxHst1W6i}tBJa})3? zgIBCAs9CO2f7uJ4HREYWzodmEf$cBsgM-@dtZY>V@pZ=l3I;nNCGMZ3UflxnMw7-h z9kh)ujv_!*2U7HYrVwm?1dQik@ARw6PTcXVMwZueR9S@Zbd`T$EY9=kvmB&(q@@iH zpl?D!PLM?8>r+c4($OV6vW@u%`{-PiO#)=yPgSiypSB455JvNJ+41<^?C?DCx9_^$ zgwE6A6G=*=0xek20JC+vbvZ-LPwgRul4;S;r9I(IO`%`q+80p{x(sv2dT9Fs_69z!blhH{Y@D3R zTIY1YC3nZdz+0>uJ^KK%n#(62in|zWSyX#8T}0XK?4Pyh*Z-y;`oN-9d#fG3wIk1t zFD3_OmJ0hf@zLjDa=m&!{g1)p!>m~)BBGLIhQ9Ve8m5r@q`Kh0kAc`7d|DXw4dlkJ z+4|Xwc+l$Wt`?_^*(g`FpPu9$Jn9|@zjLBy4YU#|>uM(w@x`8Cb{h}dO<6v==%Dd%*0`)R{@cuqM?xo*x>ja3zZQbv_~q(O@`QYXEt%BC_UU`9R>@(eue? z)g=P$9IfFsA+x?eYy+4MF;278m!U8j2mE8=wQasbQ9R3HQM+SuWnYJ5 zx;o6p9-$zypK~j-qd?d?0-W4GMe9lROTmqrK|Yrnv}1>IccpdAztWPIf`qEJoP^N^ zFZ7zCiPWSc*a-c(*N>j6@CaTv3{O?@$B)_f^2^{Knsh2v)KfNP)^n4AK-$y8I>l%- zI!5&6YFS^egeJ$Q06HA(3n%2uWURDZ7f{d%*U^+zUfQ7Y@rjOUECLqfU~DZEc2Mz6 z>C{vV?^3?yKKrKs)XmhH6uNpn{a}V)LHO{`Uuuayk=o{;CyiVKJU4vaD#XsMH|rc| z88h@Kycu6#IQfVQ=7A_5ZDEI8yt7xhN2Nvy1mE;PHPZ0U(P0W#>Ss*}B^e2`(L!hq zk<7avWHw{o=C)Jo_=xB2p8Wl<22#r4EDUKU+-wjqcBRpL>!hTo49hF{*~ryQmy6so z?UikFZF6%}ya+|M&)Hs1!KX(qEeGT%Y&xRV+8aCzLgue5&Ii58-LMz-y;DyEKZ+w& z*ZN;Lp*ir2cFo`^`K6pn7nh_flU)eGX+uOGY`x=aX(bHFRZmxSj6)x~U>wGW?!XTq zk~xcoAuK`kQwf(@e$wbk%`6Wcli$d6lOSVBASJ$fePYE|Ikd9jxDn9z1RjNIY>g%N z_Qf6ovBRipb?#vurDM8G`btyTs|w?WJMOI`>QAl)K2Igo+c$FStuNrR)>jF5yb~`~ z+DumrfHMQI08Ixl;?5W9+WSDG{lLJVX$F#c-VF~w2J#>o|8f=&WPPHnoM;{J-%GJ} znh7A&8}3Wf%Xf^FAL&Eek;y8GC1D-T(j%n!}jq;0e;UW0R;E8mY8wGLE9UbW-3Y>{FR7fccuUBWes9 zjsI9VC@N@=7s{=k-Tdc(Um9S-od6_CZgsvUHkhD2-F0f3*}0yGDId=fC*O8#m?Wxw zcP#?Y9TS`5VOSzaeTKJ^Gvs1w#zlPX20`puNteJ1ZP^G}tgBuBT9d0uM zm^L+OB8_7CHzC%r9chq{Ox^$!IxtM~ddl!0NGXYWSRaTFzd!B;kAl%N@DpqBUJeS@ zjF-u1*wD!2a>ZV%YZv!D%qq~haS<#o;8~4TRF)JBmCybQn#L|{q-F6)@ovJA-eZD0 zX_dE0;Qf2oy$0A&4ge6uM}T|74nDM~{~l2VvI80$G#lM(SKtXG`zo#Wja2l`*Lo}r zkvf{rds`M^ATL#uyG&g##^rrqMy=ld=e2GW@OfE_SED)A5TE7n@;b5o?;at`($Z1D z{?Hs~{$bAaNA6`}(&&eRB;cVy!r-2_j9!{-ZZ-iqE=Z35%@XX$d;J6RCX3|>5mco8RL!{&8HFrFGt?dUF}K8;)PJut>-iRVwKZsU4b9EX3X;9 zth8|tFxG0at7$c}QwDA%HNXx_)rUn?Va6Bw+lKNS0o)o*RA05m4g3or9|DOZ5gz=O zIW5G9Y#4cVF?>s#y)RlxuUdbi5ruyy0cAN_lv zc`pH}3#=KVu~${34S@in zEz6!zBDn*zJd0wn$v@BdAnN!*uoI}pCQ+p^TK7pDXrC;QsX$Q;1;f$DuXEe90bXt1z2hpXT2;$M|d*t{;1cYqWb&jKu_ zJ9`3PDpvUyLq+PVz8MtQ<(QddYJ#l)Er)FDi6FVF31 zO!~l1zkRPdgTLw?P|#xT;*EWygo_=#$+PglSdF?RSkp0LgRWj+oish_B(lq~8dn*> z#aH*29Xw6dXum@s4)g|i;qaa+No8}0U8FahP!P-;vH&@g+o5>INwZDs(cE4(x);dY z|MNwn=sHf`4zap`Xv^W>DY>?DSz0?B(TSkGO7&wMr1KesZ@g2%}3oD&uWcUN3%bH3xwJ8;*)oQ#-HhmCRiopwHNWE z{*8$IwBYfO(dgE0)S{1ke4j26!ky<44&YS}xtGE`t3|K280~>+Eyffq>{AMq-t8MLF(@b9&)2;e0v$qg_L2l(%$I91(w;kd~|tec3M zk~b7c8G9e6$|)Vl>BB#YnGrSVL6q&WgE3px28>}FaG1P89rr*W^Q-;C;6rg%QJcG9 zt~RlYJ_`Q*5YZ2$(Il*~p~y>u$q@g|n0#IX@2x8f-U`(7Dd++Ca@zZ;=*_yqaEYyQ zr>3+opvRgZXdjyX4E!n45Awn1*e=h`^&@1T?PC2iXReP#WBULjmtu%49F_$uoA2P) zx#vt{8+j>mhD60I6S*{=KA*~fKF5mq!}ewWvSc?(0k*>;o!Kwa#_H{N?mf#SU%wAF z;9o^q`#zkX0f=0}o$%k^Q@nx*ET&r>Zr#5iu-Qp`lX{(#&G*lAU5%MB{%tCK=;OHL zKAGf{c9YBm3i2e=I@ zPHm(m!O{9p-~UAfbQp{_@_}Hi$RBq`of1)~U(50Cc&&-F9Zl`rH<{iEsu1ZaBbSts z>7c@~xr&(01e6y!MhsANPn=ysCtGjhcfPIwIkp}TRpZqnMO(6ps;L163QDJoR=u<@ zhszX#o*@hTOdPEHCd~)(>Ko#|(Y~30&2a=Tjr&pUzm5;*5+fknY$!#C*GTJ|q*5LZ_DjBR1A1I63 zl>iO`T{y1+?_C@~DJO05SEIP&+KD=C&M$)7R(b;e4C)OU+2+@|P$7tAS#h#@#ar zjJBC%DtHcE;7|ynleiy@Ndt0jAVvLiVS)f6hRD|9)8C_%v7OsUe>_LBexmOW@T}4L zzHaD7G{%I6_JG3v)#~5*DdmG{YHm_}$h;-0kyUevID|Awh; zuX6%aTFeCqVV9N!@~=tCPMKw7*^3C%PWHQT&q3D!K9Ht}eDGvc$09&q2`0HRRT=^4 zUeJ;f_Y{^@zWLV#Cy#x|!-WNqW66~gy30c9f`W025mwhirs>nOWJ}f!d%n$exMt zRILHHav#rg;SF}Ux9na=nQp3uS3wg&IQ+aAszny$eBkEIY& zr5PvOiB+l4>u$=KPn|mHiAUb8L}K?2F|lw4g7w1KUa?`OYF@>GNj`$7b4Gn;SWtQU zhiChKjJLEM-0Z^5icOltc8CU9g85k7`s2P8XcT%B=PXJ1M_R_owM2t<^LtY&{VhttgF`cJe;D#jGZ0j$B% z>T|PUNsz)%<;T#fBwqC{`LE-(q!fq|8lZFSI!dQiD{Vm>0Eeg};KQH?E7R(|H8&g8 zTI~VjJ)pXR`XK22`fF^uYm{!vl*qkIw`GxhmecGqDokUY->eGSbzonEFNtz~sgn;N zX+RVMG%%-V$7L&P@jrIf?%-mW?-hGg%=DR>rro4YLVi)~%a3cC!H^=z9R!qB--6Z> z!Y#fl3u0*sZS?8Z#@Mf{oT?$RAcW$z4N4FV#9JV&zxsdExrcWJ7`}0-s59XeRz&ys z#69{S@+diVpRl^Ob{ga*k;6n1a&nB}eJaf4tWP6nJ)3Dgug2Hi-A7VrKeLG8tUIXWqo z_l}45s_@$FM+cd_e_~09;Dd&aR*;Jmn|*E#208%x)p}|_+elQZa>syd&~(+J@nezA zNp)-_0n@Pa5>!&&x^17qo6DB z_Rd_Z8Lj$yJ;%EVRt5DIU=Q)BDx{$0;K%%zbo9SLyw1&!z29p>bJ1deo)kQEmcw2Z z%~v&DC!zbb2TWae~B(XTjm-C8s!xdr$Tmy6O6y<^ITKDX1`jF zLrA6&5HTg^HQEB&0AQruN#0!W&hs-;Qc}M75RbJb(yK30d)OIjq`9RL*`O)t#t-s2 z(3zU|gKoR6EwV)Vs661*@3XJ}rpg8;7=cpokp*`ZRN5M#!myqdh z5@?MOyU^-@;1{cb4D$xlJ-C@+{s&YVuQn=bt0MvgpICYv%ca#Xokl`E#_4d)Hr+|s zwr2%8Ue^Ql7SJT|9dOniK1YvnOP$~l=x-VfR;@@Su}Ii5?|GHOw+*!p^S!=_q+FX6 zQd~w-Ozt|jq!~$z`b9I9f&kTjdO{6*AAR_U#WztwZElV>t=Wk*Cm9m|sZYx#sJLi< z*WHWB>c=Onq{@3te69^%1!GDk?0|JI0~3y-u|}|M@6|z+tQkNm?!OW?YIYvEsESzq zDAc5T+r!(Y_0zt4Gtok`bdT&NXlMkOUuX(F-5F{B5Wur^m2|#-<4hm2t|ja1R^jZv z=UVON`-1+^upeUz9wh%p&gW98GKtV& zqUxkzpzmwJ4$lD(t(QiyUI^fz?g{Cbo`MVw@G)f#myD}4x<>4g3$xvbq_5j2q114Q z)KU6=XH}v8REr&2Cri#S=$3R+?FEgl7v+q9tHS<>hg=@4%4jb=Np}l2xj;%CTM3%A zz)P?y+IgVOb9k6==}L-jxkXPmt3lAph>!8+f&I^}R|E^se58leCjt@(I5yuTRGmF>W$h~1zw8(=i9-Y+xEpZ*i28p%L& z3-IdE?<#D`neO=f$)vbvlTy-z#= zYR(J@T{5sO7v+J!{EM=xG(S6h____69yafog;`|nZ*Oi?34mQFyI10&dvcxogfj5; zTSDV&hvI^yUml)3HtxUZ__`vL8+X%E0Ay$0t{i^}K4N`iHL97}=%VfHvP0FYXJ4wH zvzZaUrI_iyvf|R41m@q-xrERgEH}EP`_?|r&m7P6z39}hw2H4@x6ln7H7)`MB6w)h zQa;TMA1&;iz7%&|#T3#EXR}Xj%@+1g1}6?h1br11EL&N@!&$N}CiA7?M#Z?;n)b1u zsd*6$48yN+{sM2!jYkahNrtd5(l?pa9msIP#_ zt7ll`nRjl5W);Lpy2Z*TTFeL0E0!F{mULRPqwUMK^G)Dja}`%<{Twf-Ds{KLS_?uC zu?C!@{VeM5Pxa5F6LPXG_mQ+OKZx6*BO)B*5mrw~&o(b*CSs`BSqe0(Trup|$)W3N z989o;UV@dxx;Q6)yh)nHcQCoCv4EjeyRjN`LSmyIMg%t{v@k!GMS&7=-5-`K;+y1G z#?rmigu(Nl0c=;{LKZ{fsWn&EY~Ho<~psQ$t$7@Qzs;jG29zH>VOoS z&}@u;uk4ReDj~|Ade?M%Wm>Y=0KPldgr`g#cXu7#w?*p8*3lkFS{9Aj5>@8@DbxxJ zqrl2t=3AnLI?GeS;}S~6yeC8W_6sN2FQhW>2c*a<-0wN2>nmCnBScpQ^e|P0IuJIK zL-$;s49^eEzWm%yC4*(S%x0E@`XYY>U06lqOof}X4^p-$n`l8PwU`VRR338sYUlqP zQO0QZocU#A&GLQmUz=NYJEtXr6ba2WOY)6BVO(^2)Z;$tGB^Rn4xj~xoq)=pGdCL> z=GFJVKB@{ARrFjBrr7$reVR7^LO0iO@?!!^s{4NzcnFnmoF*JoK0<8~jjI;x)bhdf zf;+9V>Tmr=-flNGhQ6NOl^Z=gyR{id;$Bg|`e?52Yqw^NsFC1*>R9zV2w{6Js6wdL zBlhbzHF9QQe$T(Yx;;~Zdes-5Is?0|Tg}dCUm-LVWo4BkL!M&`#yXWGv|VG{p8wD1 zsHb7?BQ2&+?~X=(v}4=df#@3K3C#%TfLs;jd|4OB?-8c>@-Ga2J@bn*DioUP#uwH~ ziq}qAA=2NLBxFLqo*%uC+iGi*@={Q*V*Gw}1qE?Py?5Zg1j+8g>SA9XR>aT~0B9_T z^488eU=^w0yg-_$s&Vm^z*6V51_fJ>9A*gV2X^M3 z!g1yO?z<8ttB3vMdCzTkMRM#_bC~y+vTG^*Fhw^o*0S$3k#@4s`;o!0X+cs`S+EbN z;?<-fdnCES%i4X3=IlW%db-_HTMI4B97;vP>y#zf*RXjJxg{<0PJ(z7tsbzh)! zx%$Lk?ZVg5vs*3E3!7)Rpz?|0>+aQ4%a-2qPw>#rS=MB6g18aF=s-UY5Pb*=QD?@B zRUq#@Dg15Zd#aFOeiaq!AO^}Tv(L%Y{!$-r-tM@tOOFUm{yuu5-hFAOTldBA{8;W- zP;9-cyKUV4kR#9nw48&+@$btzliJdk;(!sksmv`%Ntb`Fx_Lhb@9fY3+v8`k$g>R$ zIvAO-rUpR}SflB`9nN|sofKJS2nrYo&lVm8MNVBc(E7jyFu&5Z#+uQts`2!JFGMwd z3Hq8IfIcQiVl8CznEL0e1Hl!eR^t(U=IsM-zP>W|Cvxc?eXV@H7@_7#DM60S=SdhZ zHP8=)hK7CWwdKkW|GaTj_~ZW>=&dsou2nPtwsA-@^&)i4sW)r8N8``!jpFipN^iaDmju zcTxH3=N_!#j^ULq;kW&hweAH?Xu4wsF(ZVTPfQ%&O@Cf8^TGS{ChOm!5@eCLiq&J9 z;8w=SPe>`EDTpb{MSL(|+fwpnczv|#5w6dS*-q_yx}r5rSvWQmLRe?T5fhr|{$4fL zQjjXp*>n}*+(z+K_&Mj@H@ZSwOhRZPi5(q7%zi|wftNjG={&I9jYlvvk=z48M}U;mTlcSNDvXx zcf;6Es@{nhQFDXG^>8nkJ_`^dQ9V1MkJnw&-L%11bzd}c3~=y0u*VqrDhK=X^56$!JA{m4V65@6PdX|6Fwg&Dj8 zGT$bun)N4;il$t3jdmftL0(l4Yc)y{wEY;D-MkkZ0-vey0JXf`g=2^D;Ky(JweKk% zfF6?flLx***EYd1gi8;0lQ6zx|M784+N`T`;OP6D>;;9zvFZV`jHwCz#^dG^#<#w? z`{Zx~D(puH-Jp?KLbA7yQdUewl`H~Wc23KDAvZlx+y;jes`?&&VlKTeIRn_TqP(AE zt4zz2OD;B3&h53~5V^Bsa~NbeU1Z(=O7+#b)`YPnPg@t~vnl7OHfG&&DsDGxpLNdE zJ||}_pV`kqAZcv$O8_0MPwuqwmOlfi_dP!3?c(6#XOjG{uO)Uq1C>yjC$ahzqC_Lx zng=}?=Yl*2F42d^#|=4=T&t*gHK+Ii>5S$&CxU0`Q>&xvwmZu);v$qyW_V+$5zm6f z(R??BoQj0Yg&qv9?itbqEwb;w^@(qx|9(gMc;Hwphz9h5fhdrVlNFzM!hPhSno)g9 zi54H)lXoWE*^Qicy&R1XI$VCHeJVq?#OWbgF9$y?RdrTbcj8(5*|E~IuxW7ltM zkRldzUQmYd`*b8E?tB<@J*MXURC$6YW$?Xy*7g6}58x;GD9h|*Sd%_0orK(cQdcq| zcvq)b{*1cRR=At-l*tOp+M~j~Dg_kH+7}doyGUjA^IU@*aj;8Z zv&khEI1-H=7~9&l&?j(0XX`>~Z3r6IV^s@VOiiLL0a zR{)c__}rDxVQ z{$0Kq35F1BFDfHC_^auNsodS!+x0#+;TF}InOxuXQ0I#-$jAzW=zn^9{bwdJEB2Ebha&kI;d=WRcb=VQYh-l7zt3?McQP||y2S0C4!Hi#y zd?`LK1N}n0Hyh-^(So>Aglp!8yvG#XUs;^6n(ldnb8)hSrc!}on^SfO*>=Rb=2>aH zZrAq-rzxn^O~uM3s$XU<1pVhtGlJO+gS}^bXV{=5bZsuZ_MCznRqxIBZmKV1RU-s5 z49Kd30y@O4`*=ck{LmKcCj6-~BZgLqu^<3yghFd454c;FhE-y7=wm;=6k z=|l#dO5a{RDUEnGpH`%rMXWFEGNyC#)kG5yGGfD?S=m1Ee#9Gkn>!U2FljlHH*%O2 z-c`aVMxE=xcrfa9(PIq)$ec3X1ZF)~&i>(OaPZi3McpP_(;EujuGc4j4UJ+~Rt!NMUkF zN!JoF*j^!^d$A_h(CT711 zvnlOrTPmPay{EK+PcR2zxfrS!lk&Rx%H~9W(qy7=)5ODeE29w^C$gNG9tHLAnDj2m zOA6nNcor7ZUv11G^a){1JH_|vl)^0ikn0eh-RP=Zw9&)FGIQ=L}D|MjgiD?p^;1s`F|Hl_bs82 z?;cI7D-vC{Sk`7!v0@R!QT+b2(6bqJ&F4a_;v=o?FKFOh0EcY~w*IPr(S0J`srVzh z=pE4%?NBJ04c7B?E7w5rWn(eRo z2Yl4H@3k1t7ci0@6nMhho5~>XoWC^|t=q{IRgg*yA+6nLHnFs4aJx&=PE-Og7hMa{ z9D|TA>;|bVV|(4?H-|Ck>2}5)WlGOXNy8DHW#=iFgG{a6CTm6yM}PZQ<8#-Y7=mW{ zKp@OroLPx3T?X0IrDm9Dm|U0W6B&kJFrCpo{3gUs6Aw8~JoLvQAQ-z_Saqnqo?9sq zs`YDviA1)%CCo5CRpNVkdJ?W|*-bZP?_AZrK>-=L+r}t5k3nBvkI%o_OZ(S8VRniv z7wS?+1>z}cWVwq7LET=8yC8Z4!PK)9oSWml>u1XTkKf*KU$e~JR;1R}(>iGy8ZPOb zjDyzi=dF$(jJ|`vW9}WG%-`}Gn*?{ofC%2Euhd34zS<0PPe)^}5y+ z4$e+>m1_97GTsI9%8=I^n=^}+26!*7r+fS{AQrNpKS)y2@IQ%JM7*#Ik^7doLgdO3 ziy_oPwsl~BlhbmCvqd_(Jt@uH_Z<)Mw%Ws!x`+dSd+)6B!J#8i&H+u8T5Ysd_LUoY zjas{xTAz6%vmKHiSt+tjT&uJFY>#Js0c$%9!AFZ_ zldwTK+TpWZUhK&F%&`41b7k_DoV)syDOf!TaQE4+5huNl?0A0THxC+{s}F)vj8Xb( z)`t)O+V&^?9j`L+fzwY0o;h+P=L*Ms3Wg~MazWgOpLd|BoOXv|w;_U^*J;u1h6Hg6 zM&px98eEW83_oT{3(0nG*?Dd}==cY^Y&H7> z^K0StGI-wo`{B{H|6>~IF#DIHgzUSoyXc~uJQg=mB&8C$*EuU!dnoAfl$?7yx!*!x zJb`!iyyD~tzzCeeE|X1H-?=pR zSW9$N)g7nkB=0d>|5QSmEV<7bOn3w{{_z91c)i7)#C}ZllkfwKfzl%g&(EJrSf}|F=&q7BMf}oj~Vf0Gtk*GcipRsdWR{) z3Jo?-MRYB^z7|_;kwUm({g2h&kz%NIFN=lnmNre=;JFG!1_-pdkoJ83fEtbf9Ve$n zqz5{{rY`!*^lo*2Wv%ygJGa_F^YzE&^B6>p4Rk+q>C~%Q)9a0D#lGiU;8G_ftdhK~e_0aiq1Wxw zF%(VWc9oZvsW%x1@y?>KO8dvUley>=tly`@P`!_ONGz}(? z*A?U{TO5v4-IA?Q@GO;$`$_?1zNP76oQ%How8pVW7PJY+KSBU!FU+BN2(GK@C6MXQ zd8;fXao%C7)~zK1t9Rj#Ai3G$+0R!xOv6>GbFUu?Oi9ffwaO6)c|Z*2&g1lCh%y)( zT$UL3k-!7l`wgmsh(V?~XZUvd#}4Li4Ik%o^7AASm62Q0yB|FyN=vrw7aD{z1I-_q z{2+%D+2V&s)shJ{ppi{$p3t-pvDDn5?zkDP^-IvqfVyk?vi%1LChb}U zXQnc!XPxy#R-;t-97TTdp99wC`fTg%Xi`FbkFS#&bbi@#&m5q!8H^fKvn>6@p9WxS z#tre9CSXOl`?v0W@}b4g7^F959zx&#Y}RAl{01o?hVFKDhR43dU{5s%l&MZ{A+UbNKBvR_OMP~{{bGV#=aHIhK0w{b8K?jo+%BUu`=+WJ=+yB z-^6txs0+yXLatfaLKZlAVCzk=dfE64SnpOtVojO2tBcI^~+sp9N9o`yUdL2{4(ASPU}DaYlqP7cH=Ikh)98+^9j| zXyh-V9goPG5857(YarP*VU4uh#faQgZN)>yopeRF>JZMs5u#qR$j6bL&pR8RPt}=n z)hKjT)dlUK-H6m;13zm#D5UE+N9%H%8Yi&CQ?8A0g)Z=RMDpWqx_b0|=z~(%2gV#@ z_FG};2cASrC$X;ur<`+gz zQ(UUFAisF^RzxFh!8vY0*B|hQ_EGhM)ro55D%S@4GSpO}!-;{dae5jZ<2&>7y;F5Z z1n+~iMF|shkDSj$?n3x=8Lcq(@36S0LsqS+A^lPPm z=6x8p97#1lovh%y_zY#9bj#hWirr`O^Uw_gSLN0$u2vET1IW_VpsL6|>b*6&seSH@ z{fC(`Np*)18#P2YZD%zjQ<=Og=J)uX&i8Z5y2pIN#fql{3glL5IhAP17L_`@FBOhg zAKWesYN{vu(0pUIr`LB;-gmxXqch~QXX%6ZJyfli85{LceXi$KQTnGA=5Jhd zMiX;CCSHg2jTB^;T0IcQJ3itzYVAZWYW^&Pma|R6%Qn2% zXS{WMc{}Ex+L7@eR^Q7}od@GnOY`y6e(_<^F zqp`?}l%IW1(BNddaO)Xv+fAkF0L>0|`>kcSNcL*oH9-S*_3gU5nma^a5Py8dY&<7- z;vq2tsB>a@w3y0+DtuiB+}fz!HS1^9&komm(_fp`LYccJozTo6bTB-KAYrV1?_pGl7AoT_1R_wY5aESD^h!veE&&)elX zPsD4^8VruaYW(mi5(^*ijRI4;hb-ik`a=PEp7Aq2A-ys-!%X)q%Lq$)B#Yl=2!-bq zN2ukn`>#&KhO5!6(9ONzwyEDVdz*M_m^9ZAXi^8h`OmGyobSoDqRCuf61~*L>3))P9WwZ)5hl85ulss{Z82tJu%h zMQq9?w*A0puZ}_p66O;osaSyS!(N>+T{hvO)H$K;itvS1;a&@SV4CpYl(2WIkreG_d?}v{~Wx})QCGeevz7$6fIKWV^y?O zDikh?QV20s4Q6x8z9;t)Ze4%sC;bz5cgR7D%H+kwSu=6se@z%4yb9Tq! zU`e7!*@`ntK)c6I!_+fx7cz)Www*$Ne~;4N>dtb=Sc!P%^)-TzEIcXuRyi7u2&trn%o3vMmW9Y9DDc zKe_n@;o_T+tb*ni+$(&Obik5@pC!-~Tl2)UMOcg<@Wgqk61C^9H|Un4QaMv!aeE;b z#06b5U(cvxW9eSXFereT8&;)akc@#XPji2>vkrxcpZ7(3)TL=$FTXkNu3i!H-SWj; zk%YX{wZi>wB6R-u+~`(@J1c0r1138GZKg^n$OUwXH}TWQK0V?{cfBN`*kNZ|U+Qts zw@dHY&ilOI#~7vllx_+vuWI^RH@p`06nVq6hGvX2y|~Y=_q_^Ub@tmwJxB_arJE>^ zA&EykRXyhgM>+7*N52=+GU65`x3O9?|OZP&s*d|U1WxY?W6EBw^#`4bN{TXnq7KXDy3EozFK%(_3Yh&_W^R8SNHJ!VWf z*K)+qTLa~dkM@VlaTXu@7#ezBa^V+*Og*?G&W!^KCmD`-K}?q5m>eS3H>mdzu;XZmp~uQ zF`&lS_YO*Xz8rCphEY3jL^55y>2nTv};#CI9Dgl7rh)bJ#baao`X0{nOf zZ(qPi2@@qN%o}XM^Qh{X@7m$;m?3M<;5rg}Ze*W&zDxZ4j4G(nIx6vB_c%h>S71)3 ztU|tXhxB<8`SY$FuOK_!yd4*j6X!jdr8M}dIW;{L+*X<6n2LOw^PIgHo`YmvuScfK zRfGmBxL;LTQ1orlZ1sLj!c_9rdKZ?bgW=Ut59h3RsWa=oWBlunjVf?K+ucM9ZnSo( z{DyN?pF{a{pxq{K>caCL!*3FHKyvxOUqn?zm0jL}R}F3uV0Hf#)#98o*I>Me-^RB)Vk67&uF zc6GCd{NDv2h%+!@4>JXQOdj+q=~?2A?R-ZiAL2hmE3utElfuHW9izmBA0!O27oC9? zb0s7SIVe03U1yPhdo1_7is`xC*Awn3e8gMYf)}T022_XCi%WMyXF(e@=(KLG{dN4% z<60Eqgs$Xf%Scj^z8E$r=)oD%&iX(l%@PTT;6tsMvCYU&jq;w79;k`~Mdo?fE<)Vx zwo+!n>1}HJ&8?um{4FnXv*#KMjwHB}!1)ZVdTgsK03q`I+}ex$h=SXPd}n_ibjzGQpjcYjT`r|M z0l)lSBsYa);F-l^$3s9)in1L7N(;r9=QEKl8TFt;&V+wbOr)%BvTw%T3t@Os(lfib zPserj8#vGkN=KN%@(+}A4+v#ZLdB|TYejcisA=I;Nl$mJ|D1+^a@c^V?bzWfx!1pu zD3hBic57b(&u_aCK04oQscraFE)AVotNk3`-gmz?Wc%@AVWAC70gZ!Psof3GwAs|y z*q_kdL#1juDZF#>Zs0~YkJ&$WNH?d!DMxTo#a8zF;GP=`R|iL<{#KZFY0Ssw&r9;- z8Q9s2nI~4Sr-Zp9fJeeq-s168(V7vt^KZFv(B@g={Ihl zP}*_dCo)YmyC$=Ff-Y+1bJK(qfjn<;cV51XoH*#;QlS(2E;PBy_t5#epg8VRhE<)i zhG)AQZ$(^eT|AF)eBj}$%15{nx zH40C;=Ee1dIvg9|5DvKg;+0@H!sx81PlN8kugh_kX2uw?q7{##JTkfY1#gp6qHKSN zKSx$op4+Q6*r1$4zom-J181qIA{1pRWTR7|_qzA!v};^5{Gy|MB6AU3?e+G&1?^^V zY4+{+EH5zic@b>53Nwi!G}XI-7#i6g@3nK>A#UWh8<__;(zt6|kbizG{Ua&oZkJM@ z*(2%LA4(ILeeK;(=qi6(DT?ooA9qxrlW!SC`3{a{GFG|$+?reMes%m+&|SFmcZael zjgCFeh6Oj&0jX$LZMabZmBPJ6~+uwr!_l+wRzQa=QMhnv0n_ zb9JibZlktp?TfXso_D-^$zA_tjer~PNft2Gc|U9D=uU3FALx{bA(XJ}=5nCDcfI8E z*;(P<&Ss3v{IqnI6IZ<)7b)i5ev0~KE;B|)8^sFJ=xWNO%lOYaE6=rsmHB|oMxad5 zK^5yjL)TCij~4!#Yxxxg`Q&;gz^s{&+WveLJ{BB2WSv74juWf7J%f$N&hORuHS^SR zwXm?rN$+JlpMgX7uU{u}srjwVyMwT$Gy^LSm&U`LoB0oMV^K?abnVD{PIh+ZOTO;P z_g5w0Zn&SWZlDB53&iZI8{l!_aeuuHEOg(Ur?BZa^^9qrf_F^uMy*0B+iBC4iXq|@ zv-r2C!U@B}es(FmE17LnwkI@stk)(61q@9_$z(2C&yerKgIui5CLFbQC#$L}629Z%=;J!QcME{0oFRsGcOuaY(g7F z;E%c4y8bo${qBEE)A0z*15PH6T5pu3X?cgb*2g_Q1+;T%JzuT=Y;&=>q@x!Cf}H)f z$o`a4^>QDiw(i3@OT$59`?QM;6)s&fgqYD@G>AL0l$KXkMq?sqv2`gD6@@g7l{6TW zM#c&v=&7c*&Fl>9t})uvFd@ilwHRNGZM<`^4(uT{o0wR`7&ATQq-HgA9q5j8Y|G() zU3%r9u<~@p^E&M1$Jd7w29#i1fE-^7o4CDwOb&s9JikrU8Yb9-fc%C65j6Qf_t}4! zr~L0K{#W@kl@GWxcur!1Uj{lTM;tPl^8W-FS;E1<{ePp7SvkJ{hhu%w#{&9q(Ei-d zGE)Sk-2eBy{^x7|e}jlE{^ytUfA`3bV6#P?^B-e!Ck&>_;a{xC_ebd*e}h2vmzJdW zgsEB=|0`oY*56|~w4cD3h6CKn9x1978C5XQbu~_?sd`kbS`1vinC8(DHXERd-^|nm z9qtkns$NaA^%|tADjsZ+h8U*R%_U)=Y*@ybf7-?MU$UAqd^JNidyMcC=cB}$JY(e{ zY=;oaV`AUD7mVbY^b80f91Y!)Q5Npw$)<{`Dxjl5=eG|gc;MC@_yCx75LTdCx0J@q zq1%}^Uchji`YAVl;5xeZXHwOJ2mgyE38)m8J*d>n^?|^IP9(pv*t5^CAQqHS5TG_>2gbM1N z7KJo&_~B&KIhv^;^0P_@u@VYxLCF-(us&6Pflj-zuZD?MyBvVIw!xtOP8X6p9;NgBe<>yIj)^e(@rIdhHp0m>ID!o%sEThP8ebBHiOC@uC_yrX!G z%16wB+z@rjVYz@hkTfJ=J$HQ8RIJy$ys?td3AZmrQVa~ zCOY|;1w83tbTMXpG@=bWedI(Z2m+@BRW58mX+ajZZ`upfp9wGtA(BHwgFPrGCuC0h zh8;*Vja2Z&i4BlS5KJ3gRp6gUu{;PI(zF1t9HgrnT15{!2ZsqGAqXB4(y|^lF%nyY zom~@1>S|gm2!kImpwS8v9!-e(Sd7UCqH1Cy&+nU1MAN%D`flsjGy3_HiVPnPt{4Bg zCBG~PV+J((gsAO1VsbPH=Hb`Q;idf7!CkGL{YM45;78BGJjka7C*bN-dk2-OrQXj% z!_)qu0-lTM=ydA>s;SWdS~_X=nf&)K@2dr_w+9@w)V-r!W2FP^H~s{^PA0z2=jnG- zh|rZ)P~|UJ2gp**R?SwockoZs-ypekyCA8HMw+wrQsJvWTN4`)XfmX=yh`#MOj z_IKBT+piL2kYkYN3;;HF7vz0d(eVwg9ZVK~BJK0g?!6^At)L?y18%1O!Pa}Z2j3O? zuBUVpfSQC+_@a6hXs7=|JhQEhfb5+c?BBb>mgSZ8b)hVF!Sn)AgM;&J%E&-tLQBZ# zz$hq)z?koGqI?33aK4VN$u}>~(dEv+qOSmoFVml&0_13(KyKC(Q1bCJIC&6&`T`=7 z?O9*egF*w6vLJn51dwM`P>+obs^Ohj8=%zFS3Wii0sAPxqZyn>o%%;R*q6pn5O6rw zyRYjqE$~Sz0(xy7Q2Z}@4X)I$pM8MVry65IbY@^^Gx;Xa1M&5p{F5-6d#3L+r@)Sx z)1KvPySE3hF-FS`$Y^hw|5APbIRscIe=Vyrzj*5Eg76&z&9_W9S7$w2IPZE8Vc|R; zFW+nJ>_D*9zi3SjjE_LCYwcdYh-6t^v9REvTY#(H?e5R|O)(&Vd(gG}cYMYME=1e5_??X;^S;G0 z$a^>5f;B3u?ca8s3Q~mFoN3TRb%EyTZMPLX$DB1!$2oZFwgNC6SalZFgejTad)+^3 zA1U@-#q_K7rA_l{n~el5sY3zpQa?m(_A&{qqOK$-K zOoKvCU3NG*cZQ$N;%&p6F02i8L>>`>@0NLs2KKEn0k=*O=I(Hj$QWlw9u-{jFcxTd zWS?;+Pwz|uZ-VtQ*C~p{kZxD>W|pRQ5qH3t_rjXll-U+-GDNT8A-1DC_rVc-um6as zDb3mH4m}*N4ZEhCX7*!;>egjLpim2ZCrPqN1!F`-0Ldn}7b%>vU_JXenJyjSQB_aSBA zZh~~GfKS<2XanIN!IZFeyT!L@m(z{ZqLACPp}{Ss#6anaTMjzHIefD9uV$5W_=qGQ zbxDXyvEA4MtTEJb!?4_qelg_dS7pFM+)k`}uIWt2NaA;8IBbwOw=j^7j=~=wDV)F) zFTiK4>f*0(ZJ3qVI%Bwd?C(PoYVVl90MqYAHBzK_=t83sMB5-@mi$hd8~^X{9G^7D zLoJ=GEce2Zs`T*Plr?8DF>YTyluBgoT{~q-%Bd!Suo3)*lWY ziyO%T?@brDjHM`S6d?_+jxJmJmuc?~SmG7I)<3JKcN}@}FxLV#v_XG}@|oqCFH`R> zA1tyFE(xASpa#t3iUcs+i2*Tp!OK_9ZV?#y0heXqm0SD;_O!g5PGGF{jk8%Tdm|bs z=H~lI%~XCE+ImSbyi^ zVNxN8Z4Ct76jORE=>XG)y9?DXsKNW(ng4#Suxtu_PCn{lN?>{2T>QR+fxXyyou0JY zO?TwpEKLb{v4=FlFS$M%%vX--{g|3#TbZUmZ)VDe15R2#Y~m1( zJLkT!X8wNaw2{-;O;_^Q_7E4owMLDf3X~V-R;p{?Og~{=tgoCx<;mBKl`U}|^~4Ex zp~c@MOC-4;u*idK{_&!Ml#G?)`@3H=-C@)%7&kQe{ZR-nzXkvq@)2^L+&(-LROrgg zSnC`3{zWQn7F3YiesI;q=*lI;bzZGyBIZ3|3OQg7NdUbku~nWgh6+*+*4sv1nlsbK zz*rr7GH#-;69|6}TKdcTvw4w)d=RNA2v_DoB{#_23$P{l{_x#=V<}0gIj`m2g`I234;N!PNgLLdi1JhxWneWYV#FpqHx56im;{>kUiq@q2)@M3i zL5rxD2o4y8A%Ce4$DAG4Ef}?4Cqx#;z?<85vmu|<>i~(|rMG4+S=kS}7-r2&5)R-E zrP6ms$Br-5JXv19NW2@sir?WlTGGu@R$~(Hz=_-W#4>)|Re`V4prB-v4%)p=hbGuBYi z$rC2<&w*s*RBcm?imT48a{W6gY9zQgy`3swZkmu3X!ACJ2cAPTL+fZrpZlELs-SPD zC%cEhM0_n!b8UPBM0rtL`IPLbrEX&QrTW{v*35LSv~SzKW6J!MCq?K>SdF_K0$upQ zQQgJb&lHhkWOmnic_~91$xOCmc=v4R>SnF)dw_-tRGU@PDhqG>(=nPsZdA9xH@k+N zRPFN^iYTG2gPd!=kg3_&Us+=(=4gZ)QZW1Y`0Ev(w+UgER2si5ewAs)V6EZFuSJK< z7sqo35xbozD+$5G#5tAh2BP9%%>C+(SKcM1Xvc^B?U2=A;$_A&U8tn$A1LH+waA<@ z&H`++ahZB`iv-7<`{v5o4UZnl_fmJ_@eyj%uX2UPI*qx<^Js!Ah68i_r+VF8sg-|L z@&zxY#xTNAGOc=}4*R>Orj;*2hL3fW+p1Q>J>Yl#%E47I7kJYQ2D*4k2NqMQH93(o zG!sJD=Wnz#jGsfY_tBuV;PdM5TB}7VSp$s4Cwi*9B)ytf^2O9th{}gZKN-TT4`pU0 zTAUFL1qZNqM={&erU?o0e?@N(4EkTLe^|r*r6<)OQ2%R3zQh$9r^zmPx*Ln#xb|y$ zN)Y?_js@yE9ipgVGMwi}%%sXKBrlQ|alPuml49cy;21F6*uzoM6VaTPOsVtB;{Xs~ zr4xj^$nG=yeF($)(D1m>#o(B(8S~e62b_DrW>$a2nsr|b(;`S>@|k8293;5Q36Xbo z>-m#sIa5!&pca!%dL!uDl0Y}_QQG#z@54h<`F9>wm`Heke>D`_?Ww#NmO9=|3(?bp zJCf#0%4-Q5TpMlj0-_dVM-qP)bQZvDuKtC5H6a z(s2c5{fgPd~yE1l$X_F^|kr-DZJRyodlw5+a{oEUkT#BA$Y-(|ADQ!~Vqi zP=<7^Mku+++9p5W5+cGWY3!R$FB`cJS}Cn$X{F5!eYtyBBS~ z43{eJAWoWb)zzMz-w(H2oPwp6??1G0fjoDYqp`d-AA`m24!y}Q%}ge=u%jA*3hv(O6CNIQS?7gNpR^Kuru|J`p_%`sJzxmnSoq<0% zb-!1XFbW3qApvTpT1LKmgs~WVgxi~NE%e1yU-k;|mQ3{mtzc2dhuJjK^g<`~4NTg; z2?eZZ)sP|9d8l?QNJI9YyrrUioBt{2p<{zca`GS;2-yjiWNaBxHn#X5_Gd$wntTO* z&t|A}-Xx!fi*Y}ADM&zKG@IhcUZxgm=>8Z6QFB&4$tnV&o5;NJ5vTcUS3*Sf&*0Xo zCZQN5s)krX3OfsHrAqTSyuzgOixt@)dQ^c1K>LDMOqbu|;5ad=i2*79?ntcDSiiO$ zONuFIay3YjLH|Kv%83M3ih|>2nvIs__Sy=DA_?fdLbMWIa0+TR)5@JT zWsRo@7rqM9rcg9kP0B`f|E{7{O<4(A(>`bixX~HPXBoVIS8kf;*=ycC+wi2!2gj%f zuch+#>Xr~@G|q`u*Gf{#^PBbyIw4BRsV&8UZ5o(GEykquP@Td*g&6Tt&n(023Eg$FqmQ0h(L#Hzx$V9UBh{2 zRwmMjN_O+{?R8>f$$#;e*-Bno#|g#hXInoiWlB%ImA>V&a#BgP_gVHBInW1XmDv@| z++;QZV3Amh9$$J@+qOTIea^5l#}df7uK?1p{N^h@*oCAr>4;v>+yltIW@lb&!lQ zwQSK`k?D^`HR>X%-Us$HRyUMa)<6w9AK(PtVZzTezt^Q^s3kwOm%#hQ0{lo09$iQt zL=a}5WqPh|?RtHcnUr!F!`6X5sWmhxm-r|`@M;heGGdaMPi7>Pt^Fc~{;|8f)$ISs!^2TS-nN2t|M>@F8yYqte#guo^#$KT zE*T(NAFs+Q%JA~)&xnm;Fn@=S#t4TdT~Q@X5+rOqn{aZtf)DrO;J6#cge;}xjbdP* zx5vbOMh%EGj{I|Gh!ttkJ#9>Yz0wYGo+{ z|A)7r2TB)Rh~<$k`aIEE(m?C}=XOeEMk^q4S1lUBoOJ~2LxUNl8vFUru`=Y{5W}X= z2}VpP6Cx9K9iL1q6P(30FRNXbl3Nor)Xf;kEisT;d-hlVd)K%b%cag-C?POWIt~d* zAiS5aV#3AVg^jmI*_@wv3S&P)YmOVjg$IkMG~iB?Tn#pm^wa9>F@Z~x#NJ_5`WaB* zqiv)uoT8mqX=c?b?zVc@5HpxY`6INL%-S*IYK+F$tIG%$S5{dGT?p}WpW1dh%wRLV zQG`#V2d7eKyIlAJLay-%#H)bDq;AVrOu|z&U90ig2Kp_Fr7aIb=91i?4}q{qK)j!3 zujKna?4@StK4FjxGhAu^LvqB9!7k7Z{q_e3U=u`^&eX;5xqn9{n|neg{LKQj%c$ee zG4wTs8=2=SDtWFUTvR#Fsl#8EqjX2>=-<6KxZO{Cm;FjT%r2&bu=LBv$+?e3B9GNP z2rYI-Caq(*Rcp9N#VrUx(GH3e{>qN8>W zUDB`M_;o8}mH!ZGH3Rn$pE16E;-MZ3tKr%axd$iQV9;h4Zw1G@cl4oRqbv(o<04UknPe|MFj4=({T2{BNCuEAXC6*H_vdNNP88-&9qc!oAE?!>hKS|n0AD0ebgN{ zo_holwLLBw_p-45(&XDlm6u~tlywL9TexVry?ewBT|Vj~R-V8{MqRI4wp#e1Ployd zVby^MA^+w1o8#iN4C-}Lc^=Bq_esSyLY8{RT3%*ByXF?6V?1$BUrgYFfH9_`7fFJU zAFI~MqbQbWcmcPXx6eL1puRZryjs8j9zk<=v^UbP3n}q8bb_)tADbaia8o4>; z4<|L3muv8!d_6pMiO*478kNBQy~laiq$`6BeP(qW-QKRy#|FPP{`0Gde?iV+o7JqZ ziUFYsJ)PH6JYN%3%m4g8lr7>c0ANQ>8bE><+TpldP3IrLv-b0N?!+dnU{S;{%Ny~< zVukvJ8)IS|usHV&l1%(m>6;nJt*0S47?14?JC?HR3F8Xm#m|&@KM)6qLjnADtM~WELc#)s|}5P>91a9d}Thk z-W`k_-^<%l`{`?nwZL=og7QR*b|mMnCLI<&R2L{8gzg0UjR@VUJ0RQX{*bnhVC!gH z7zOE-^H85vUI{=3zE>1sce6zA77_oIBXz!@emg8N|56y0592W1$4#Ek zH?N%EhKil{=jc#`=S~*7*hH|~O?FNBb-L6ZGmy9q`b_}L(~3Pkvt$R!@rbj*SgZVw z5O>H4`Jv#@pHQCrzm$K9kmR_F&A@9gx0_hX&L|UR#q$WQsRE@#4TglO($P3FLeD z{Cf+)g#iIvmd-K@&%Hfy;f76KS3Ys>im813WbQcpzla6W@%Hi`MFHJi%Y^w-Ywh=W zRIm+A{}=h1pLP)?YWI8?y7zc4gPF-(b0A9;M7+X1)*SLI>OK2ovFlq_b8Qe@46ITx;^&FdGu|S5+#zPXYmxI0+@{(XQTB zEjUIvZ{{KzSb9^KhEsJ+t)cVQ9!umi=2ZA;_J&qmxHop%=ph*yxT@7agSov~7bKbm zk?}9bGf{4V?(c)h#QxmlrUO`Y%ST-sms^1JqJN=oY9(a|Iq6Ui@eaoYQ|<$S_<0G6bG&8=~eKT}(nOE^lw#KED_<927!;qGs5X(W*`cEv*l@2(=a)Y?ax z(AV>jS@`U~#}zidaw^`xFN?BKYefKHACu>1MG3+Nl1il}d&VJp%zZI#t`D!VQe3&* zU46XV?ih;Hm97s)WBkk#qfs-YxZ)1XY4xgs$w#PMF^h7WX>*lZ%^NgDVQAGHony7r z2>AzBKFk3*Kd(# z4C18cIk%*exQ*{0#RXPLrFgmPD;;f3{%dW-KJ8P@Y{%M+M7)gPb2Q)jEn?IZI&a0t zHF+|SQ`|g&7=hAR7up2@6(*UZF28)378PTr(fkbe}qApA%WDfqGC?_ z!8~@L*Q+cfS(nJ9{R5`|+_~*PcADG_6pRuxstAbsrX5Edg8K;h2Qd~A*io-D<>902 zfJu27X6#BPDK+b`PWXhUSYMiv+5#FQX>U)>!Jmo1{0adCEDg;J1bo2V67TD#V#5G! zdAV<3K)r?K<(`>|koAR~FVrK~*Wt;+K^(qa9=y}#o&KD&4Pk6Ny9(QW@z-_40%pWCMl{7X5Y+{SZ2_eR{h?454>K$#fLT;gU%06^X-D{*&RcT0(Vi{&@ogaJ;*c*rlN!i&3s> z6({9`viePq^kdO8Vr8^s`oJNDpMpADq!(0|oi(2zBnPu+4sV~HY9wt-`Q8_Th&n6x zuSk=y;r+q7ny2HRK^TMzzk#EUu4`3v5JAj+*+xg2+w3hx=jW|WS!{8Th+*g-&saSd zWGNn{zt!Z(YI*`_gAq=I&_J0^3P`)V5SV94Ee7P3^KN&Uh*jVA)tVD-9`A%W9ZLI8 zIJi$|n&IPD4#aHlrwM%GGe5frVwgY&s?={^++2$^%3v>^8!JRdG!)GWKV8IEZZJYb zhDLLlGxyQ=lVtQ*`wfDuI^)V2UZ!rszmmigEaP@d96SJ5@x%#&hNg+=W6M`~qT8%h za2`U%bNeU_A1(Yd3(d38H)t{!B^!t8hv7~r53~zSF(jm^8cH1Zi-PX3GD@f>I#^@1 zSnAlZa4%6&Yf{VnvwI z=rsFv>$|#1DsocL z=5U8M`%5>guW+3qr$#8_4@jH*_>iA}ed)OJ2p?BqrJ`Tr(#>kQCgTuNc5?^}EQ zcESW+{FK@XV^xgGO5p9LaGv-dsU(<7iYX={u z$~8oy6R=`|C@!REeww<`q~|hQdL9+g zYL6=NU3vaDk`GdiNkOuWtM)1I@Z)hyJ^nW0SazE(bqy*5^*Sk8@+T+O>ptDxj9)ejxy+DAhO~db`BT}S zuS=4M=gCNJn5x=)`m2$_QdWAsgB#|nkc=41x$VtU;}_8Ct+P$BOt01cYI1eXL7>#e zBqYKkIF1ZIOof^lK!b*j0DpQS;veHKfm2sqHY+rn0WByhfb!1}J_37ZwP7FXwer{swnL-4PdT~8AgIilJ8n5^-##wInJI{;z zRUe^f>-RSmwK$bGIYfP+WJH_+2e^+-wLUcOI`FTQ$wI0ijDVnxoHV_;%YhlNI41Q# zPYEIreHgGGwph3?g$z`uN-<-UNT>`$6A92}zkfb;f~zClg}JYjnVJzzf@#4R8GDot z$8?cRBv(uqy3`@ipc*bhdJQ#(chgq48!483{-(ugn68r~OcQSkmM@6|z8R|hVr(Fb z`C|z#!*3*$R5hTHrw{YdJuOH6WcxQM^d*w$B2_?LmRg!+ZaYv(iPRl@=_|BT_)2oA zowkuF06Rvs$!ou6b|_&uPf45m6oD-}y+=_n_A9sL&}t#jgI)#g;z}+*kQLw5$B)Q< z#QDU&t{H+)n-0np?;pDvh$B`X&r4WdWt^RkD8R@X2V;7REnLJga&gIC^ozl{do6fh z#40&c5=Z=re}I7FunV36HrQ@$jHYDP=k~O|fSJ|TZWkg&DV|M z0Q1{7t37}2qtKZiEi1J<=~uVPzU7AV_{?14Q5zHvQWKr(l>>(#;Lk=QOMhK=fU-p{ z?fr2rsAZjNhwgp~%i~rm<=*6An`Zsy zaNcT!r%@S|uKtfhA=3ToMj=fQ^l`M0X$(OYl_JTa4SxwiiVV$;T6+U_N1Vwo118^1 z7T7x9>h+d|mobY7^t8DjB3Rf_ijGA@$mGB{j$0T)RkCfHtZW6UZ(i|MLwSTC<#>ueT|dF_J6WYVf_Nj7}mC>?Pz=Twaxsj=u^3Q$eTpf*229H|2e9_?8B) z5rwPqOB&q+xNBSLSGgki_U&S-UdfdM&7A^3#n?XgfKgw3?-U5CL}pg_82!>cmi$Mi zMQfHpPOY+wr?SsJ9Nk@t?T0-zU@vWu&JFbawhw+0gBWcj!isCtM-%6jn>`U&9H(c8 z5qBO0iM05G1n?lG2~X5k$zc)Xzr3{Nxw?hb zdw6tv<00zvfMU-7i(H4tK<8L=AdK27iO0wPX^y9Sz(CL&$4zKrnS+rjaQ_^S;4RVjl#mXOpumj)db* zs>I8=$gJXQ$7ev{IxJwPN!QtZQatYK%N|d+;2W1}Zo_F(Y?Uo)N^tQw9Xz*iwS^M{ zc<|f{FxezfO@prZ*s~3n2mB)!(S%JB@D@>lf}3v+#^Zr{5O2kA1g(N`_XTu{eh!PM@3o`WA$Abxx{C&T*b~@+uFUa7 zX{yd8lW93Tcz;Qt6BSH95~ao-)J}&7bC${=P`to1kwQNh-N4DK?6O zWga>J?oeSvF8{#0N$o`n&uJ4Kon`#nkkQ2?W+6&Q3>^w$?EG~UtonBjw|tB5V8%A@ z>=Mu<<_nK=?Swbpj-YR{x{v+DcNl$WWWSg+60-$>mK8_hQW+VXWjen<4=aaIaC>ha z>iTHG@R#P)i!y1O`uzM1+GwNT4aIfv0nBA-4 zK&_+bX8*o}V|!^w*|>`0138>}QyJwHsABe7#Q4bsrCnOlmLfjxT{vSV%-*z=m--IVs!Q4V?FAqkB5zoL_TR+42i2Edm}!AxURN%; zK^f2sWzBDh0}!iBD$|oSI?ZyCYKj3;J#F8sBE_iYWa8vnYkK(g*?v)zJK#;!B?#Nt!G2xGnxsp`N;5wQpd8ynG-l;YsCJeajKQRvx46vCX2dY9i*`*G zv8An)RkUXS4%(aKd;=xVx!gZEYAJazSqXPcD<9;DNhc0B z18!GD-qQWZ$+GC7D;N8qISXJen*Fn)-Lte5=JFN*#cVL8V7=rZuZOwTr!1+d+a>$I z)12pvwS_FR9f!eU&sh(l#t^lI9TY|~I3Ry8`+iJTM{ma4Y7N_Rlbv^^l`9pH8KaFh za5R@4b4b;uaSs^UloMcmD?QCeL@f+$YgU=n%!{SrfD1dP*|QCA2d5voo*^*!F8%(u zWRr#hz(br$=qS9iBwLpi+N)@4Z$GK_#*igdb&#jQyT&zk8$QWxa|S(e1nbty{62b> zczhkVUP~2x>%~EnG($2!R4vW?0UJ3S8b`09rwIHy_Q$)Ev^et(W~NZIe=L0ZNQ!>M`w{qO_fnxkL@ zVCuKsao=aoX{obWRdCXIt2SIA1sNjr?fSi-*u@>z!`^+vQvZV{;=vg;;F#x1^0tza z;#`~gA3R<#t`ih?t|DjmB5wE7U4|O6-|*izqe*l zWu!LeZkrP%d&M_b1|Q7{$4%pMSu3y>0E|G(3+8(j0qCu*7vYY`J(uo%=coPPx83Dc zqP5Vt1|*dod1Kmbu~x{?iT9;(*G;7zV|(@-5XpxyvCvd+BGN+YR7p9%Q>EB}tv20S zk**@DgKWiU^j#{o=bCEKMj9lR?(qdTEq(8=rX6Qm_q5Go%%@^8DC-$Y`n-=8;HFBq zYGRSs1j&yMM?{XUL(eN2nFJ!~I)50|?yOY|gw#$nsk;lg6r zsCY}16jgBHOa@EO?ahGKP}y=$51nP1eS#UQu^+>a`ZrFG6~;=UgnU0by)1& zrt({2_n3_W7DtW-4!4*f_Ads-bdP|6_M5F14e2s9*Hx+|l+WZ7LR~#uE;hw^UH`XA zAF6cvTv4bmceZeN|!Q6}A&aP+y z3f4pBmg~{TpHQ!QPejcL$fl5lc3NKvFJo>?BrG((d6p4y9*(CIu6Q4yI{+;O7e}Fo zyxA#`UT#Uzm!FybRs*74V`tO7o9Heio3pN%-cpcy_Y>_>wbnmQ0uvRkc+gxgT~ugnuSCRcn>5C;+ItsWD2yBmRGk+f$MA%+1l2;+*pJ@Q|w}y$a>>)+{z^)R&Bss-HLm6OSL@x8O-hb9< zi+VMwMW*VsGh&szUq(Tic4vs$Fl>!4wL6d5+YTM@eAq$?Zo7WjUJ|=33+9AwecE!- zBe9Rr5^ywE_RZk~$b7IV{V+pf@uE%kM|U9~;zxb@tO52Rpiv9!*I=`-GN9z05}QE*fk?blPAI(1OOSZY6z)_O8E4=^L3NZ69$sfvj>@)jn4@>54r_Y4nrJjp7YJ+CtUoZG2_sJ zxQ1|*H#PEo48QZ0{5hq5zSXU{)-Ke6P^KLId6)=xfCzBojcg)ApQFFD>&J&{0vR%h zbl~q7wkBf!%hwPQX&Z97=ClR2Vff5D3sGmJ91tNB%{_*Q`0+lV#Cv6ot)W}%lA{;K zAX89tmEkU0@3(|f>htd^HOJl%q*_9Ja&Jeld%{$`FJTKmDJ!p038zVJjjUv5_k5~m z1?iv^NNRDYc5<3jdA*)NgA?1I;Prv~ad)6t_k*c+QMfVD*ND}&wv{Q+uI{A}S6wNz zSvoKvl&aKsJEYr~J8Lhy2KW6DwDOMWp1EK6=fFvWi^E&KfMfRrV(U=WJW~Xf6?FFk zZBPdMAT@bEu{D)}iue^T3rkV7L*IH6HA7cEP-;{{WK==VHrn3Nwr#%WvqH@=efRBA z4fXd}FD2G?zaQn!S6Qlayp=q>pGU(&WTX$(rp8t$mD7skqL8qBldECE^LeI|n^Ig~ z6_$!}Xqe-6tOn8thpP#_v4*?I_*B-GPF%uR29Ky<=WtOrsLrn9lbdCY97Or8Om=Gl zpjOL1S|CGok(T6(-9t6j>x>AQ!o*=O&b56LAYmVVEkn6b(rSuyybX;gfKlAoeI&;k$i}Bu`tJb-Xz{ghMudJ#8uky)j1*MxEl* zbd3@8RmJZ`2LuxgT-f9_w|=|J!ychi-f=KC(1CaGy>i#g5u`0?No_SB4Yb-G07B+c zV#3~^ro8w*Zld%(Jls(kO|v*kg3xFU-ec}Nq3y5p-E1cZP3B`x!Zd9rS09D=Wh2V? za6v6CHolNg7Vj$Dmw>?<((Zl4zq-(WT_V_Y$X~RcNB(Fb(5kfs{w@NKw_aX@=XOQO zdTi&I)6kf%P>IxvpG5p}fK&2y0^r}k5y5&Y&HO+OC6kOvD_Fufi?

yoDJz-H@Y_ z#j9;iud*#OM_D_Xy@#gH4xib^mc2NR9tyXhPahLew<-@R`IyvZR-v7=Gh(bPwDgtG8MGD7Tv2L5pvn!gf3B%h zOFlX@eeu~mm&|lH?qmg#5!bC_?lR?u|Aew8Eda!RT00v7v9SgTzoV&iic;wGo>!DkkD$Ct^I(Xm)W<5sS|uhN~;ZzZl|c+-ebt% z3Nn(QD?-8r#{~*M>c<(P*NebH*Y|oz@;a35Op3;8AEWK~QzJWlX;AJT)8_HlPRxMa z2L_Sg1fN(f8M`X4J+NgXG;;}9Txi-k!r`tu>h$wc8Cp3uLuYc_pk)exVP#a+w5CNN zbUrY$P#tv)pJ@~bCf1c+>=HNBb4;kCfjhht;VLJZ%{j~SI6l9fV5(-0eNY}tnoG3A z`|z64+~1W<&&U`KqKCQ^^DC9<{s`!kdj;`lxccg z*S+fKBKXjV6$;mfx)C4;xe*}EDZ4^CC^l=7$5WcD{XhLyS$`jlE zphyqjLHLTj2P%hG$bV#wBuw;%UFidD-P68^8D+Mt%L~t!&7*~NNLMl=o4b*GW!YF$ z+f1BW#e_UcX0-I+tTK@AP;a-$0(sHgPvg8swc%cH)#W_AJ>S)21X(kdQ-Pa)xkLXS z>&M!h6Ybw~irU(&z^MapFg{S6i8jH5kTLrzSUNqrfCEkPP?5jei=O_q_{od&+%(~< zfx8M-BGfM%JxoYR?8`gxLVYZQH)HYDJ1jWTN}j)m`c_aJhzk>LF|BPbl#J28C}r^P z&-C>O#W-hbgL^syex3M4C3ak~1g~1 zl?M^$#Z(}8Vl%-!dpch;exvI?R98sNvNF1RJWvYbO7^iB_hi+{tyFr7QMC28%}r?` z5iI#I#;Z$0EuAMtpg`1R3+_%#7pZm9Ag`~z0mRw8@_gsgvmx}Jg~eVq>hDZZXMc$Q zUD%L2p8;n<)__<*@5vy`xM~Np1?^ktq$|M-7V(*3p|1FCk{e?U6DaHzs)laNn3^VF zeeM>eDu32yuq+8HlV?A$Ni{YC)vAP3J^Q|X-bsm&N7ndB2f-k@&I)q0;l(6BQ@5B% z0Kn&H)ivFpPT~@1seOCjUnZgXIh)bgp~APBvLqnj%jv0cQxH>g7S%u6K;LZtbWk@9 zavaoom&@wHY8sncw!G*n2kvuLe)}T;i%~1CJzA%U+@vdmR3QAv8PLS0Rj-;BL%{r; zODAOOv@wO?WK5?(P2vKli0bZ|<TxSvRpx*YtBj4HYI*#`FOU>mXi$om`tl51KXuM z^QI;-gSb7bcB;`Orny^vf&(WZ@ikpCWaGVMkoSQJ%3w()c0vsBhu$ZrMs6lxHbPF# z0SHgH1Y|~cT7MJA3Fl%yQ!SMn1EE?l|1A8@(IH5;!xm@cWCWV07Jp|BEeJ%wHEl*# z#vs+lPj<*gli($Cs2Du_qW#oY0J563M0_GDSl%dJS$*K37{F|t{~|Wwi%2~_j5<6X zIKp_qPTC#8rAN&1dry0AtFlcsG&C*s+@`))2i<7EsZ1GSWF&})S-Vf~Bl$a!kDBET zckB3LD46N;mCLF0M4lT=FX(MQ6($*EKoI%qRaY9L((lnWb73DohJGmc0)N-WE27$F zx<*~4lvU$>DlDJt1G6lHG?S0U3x=RvY~0ZzE<$rD|H*Y!#%iFVel|vODrM-&6$|h` zN<5pQp1`wyE>ZtpkjNK0tf*gkRZKKskMQ-($IqyuUUnyc^~IP3BR?wMqBZ=T_>}c< zILey~x-LbY57M>23SlUh2%vg7YdR(^&siN3Pw4)zxB89R*U`~ZN>C9cU zL=A2@^#97Fc%tvN@6Bk}hO(hD?3RxgQO%DlX;F}F6dNBwl|Sl9Hh;)jXH*SjsOdB=H1#qmp7$&L%*KCSw=TnkPei2H2crz`yyw4vTRGjFeiE@-V^|vq9uJ(J#qc66cDo+`{X7o- z@fLA^4gXBs*=sho!22u@2c(kq2B+(hZg;Y z?Ykt2dy_U+gg7c93UnH)jd9=|8Ab-LpN$J;A{7z^C`HWx>RkMZ+_IdBLaJ|d2%!eWG*Y!7WI6Z=?~;kGq{66& z2>NI;L<@+~Xb{;AQLr5vY2@xy7y{1`O!X-H43B*&KX(XvHy9Y?Z%Ur=SUV+{S)ZVA zHexqKb-6>F-0O%?J=(XTypX_hp=h7N1BTPr1AP%XQciy&_4PTmyZkdu`!RK2T+`H#F1GKTcw#0$Wb-eXv*RF& z&{z1J_nNdOBJwtwKEe6?+0xSU2!>ll=t6qEu&b^^M3`8o2o?KEYF-H3$~(kZUX87? zUZ$;E=kzG@lR8ZqM@)Msrz13T25@Ioiz4Dy^RS)T^Se3p*U0GPNUf+e8YZqz0$ooS=`E3zugVJMnkhz$Ci@~9HYlL8_h6Kv3KfdS@ zzb}zN@%Ei?j#jhqb)!s?~{SlB?To1 zHot1{O4nC3cPFSbDwn1ev@lb2d`3q06l93RyR~|aD`dB;&EUEFtPjsLa@w~&_4B#v z4?um2U2M7ZdM(<;&6>3BD`&`N*;DRi76h&8oTlB+$@DJ|6P;)*%xmXsXTXtPuZ(h= z%RFBLStyblleP|64vajB#2nYUY7vmzLoW3CJU$K)k12_k{i4{=^wJk_nbo5tc2M2? zCuSe~=S%rZ$kiV#SR~fFjB>H6br;i{tCqvGn`se_(9>IP*kok`V(rgSTRbBj34e;78AQ|v5O!f_fwA=+Oa$I zx>gS#^z{vU*9;xwL*vaOD|8A9v)hjZ!L&CkXyYNauf&faVFkZ0*l>LBbv3x7!Vlb$ zb+9CKNGmO1CL8>RR}O5Dq-uE=Hkh;3YUt^Tc2h?rPOEWy;@3mKt`bhWbj)m1QWF6@ z29dh=A^C-3ISfZRf$sR_!JK!XjaHb=T11YDKF>w-O?>Mv2Y;S2e zZk16oYvhI?X&%;P&Pt=A-YEt${T0_aGOxH*N{o7XErPWLm|;k;|Vo z7dVawW>tn4gt~oE(Rd_U34Hv_VB9Hh3FqYtDc>MU4A*NcVL_*OvFeX$PU^PkJqz%)H+x2 zg7Dt&Fwc#e^9kFnsmh!eLlZKwdjM)IRJXT!9BUDGHS-k@r6144_X_y^j#bXWK3!lB zQB3l9s`5$wBqa1^giP?ftE3K+Lnud6C$YWpWF6v^_=fCY_?5l|>=x~(Hpq_o1B34Q z{|b-g-Xx2l^mG7im7G34&E=XWr7y;KC!-~pqXw#%@iy{XfHS8AWJCjl$L^bqv1}B7 zBGC@I{vQrU=BX+Gr#%}Nx>yy!BhW5l1x+jh00A?{JE1At{R*KqNB|)2_7An@2LORG zRRsVe?OwcqWdH!g+y0@7VE`b$_G@84-$#VMy;TfQ3Jm}Wv>QnP-~rIQnODLe%lk+H z1ONcu4|;?Qz!3((%hgV*066%FaA$r@4BAbV0SSOib!z}x`=csg0{{)mjJE-h5Cb_m zkvU`?JiWXr`2~Rg%?9G(2Bl(kFoDmEjJ$BZ{|KCFI2_K-iCOreR8d)#3I&Z0BZWn1 z&PXo!iQ#IfDQw-={QapVa6Kr^K_sxj^gu2j3(Y*t2X zejRw9-`~=*{|OWb&fD7n&Y#D_qn&aE7AI|}_z-5FS&26=4B`SX0(TAVxVFI3g0Vur z)pU`FqN((jc|R>?LQqrA{tzaX9DE&1<2nD?gic5x!-U5*U83!X#a%}CB%`Ki^e@yR zJ;Aw#+s4~kFWVD4zGO6wuaI_I1Mym1HuXqYB*uI`M|n>`wRlYYyDoA69yUWMF<+~$ z^ES5&zvQ>TPMZ7L)pJXMe z;&r&R6~CHxJ@1xiTXf z%QP-^7Sdt_3|uNQxomOVXz@2+vh76pYt12>`tHWoNKb;)4vht_eWE!q@1c- z=M0R{s-A#k)p1$lBlpX}4v5ynMI$WxAJH0L+R$(GJaePeN11xAdM*2k5(n~sIB(C+oKZ#KQkRR$JVkPh zI&J9B)jkg6$Y+Mbg5oHGKt?Bh4p>WXBKo2!B3KtwJ${UiF)#wQHnzDxx7mgzhh8qT zWhkVI+!sb7LUyR%Lcz87qPwAe8svs(YnnwE`gcJEZV!6Tim}z4et44IQ@-l$WilIa zJszLkv(=vWSS@sZ+}4t!#_o({o{9{6xwBC$AfRd~ zU%Ae5thU+^8ghZZ&Bx4$?C>fG)yk6`{s|*^m$zt#%i}Z%N(}B?p-~;XG)cL4Rk_|c zrStRPAy=DTc;dp4rYp9nObNFGKA7p`lhTshE_tC*^ARsI84yfrfWS0qx1B6Pq+LML9? zjh2^ryL|>Fs*bI6OC@qIi2aRYJL#x#4KtZ@nf|;`*HC2*rM~2+HCC?Mei)S7yr;P= zIOUHOh(iQpYrb6&;hs0{-`9zu^sKN?lW@MSL=#;S1j>sWtnz)mMjBJg)bV*WlN=u! z^l{V0+wlUUuCpL`0U4_$Uvvt{3fRw0b@fUhZgEy>F%CikP{g2eqr(~kwDSGKkfk@V zBva*#Zc=W0sm6pRyEpRC#IYke>_C=2p`XxfEM}?gFvz=z+Bz7?2|i5~-RseCIv%{t z{>^9a&oQjij9Bc3>soQo)*P8}NU&{YhTsZ0^@p9%(%jf-r>%2% z&(^4ps(rl1W-=cA$;1{gFvYra@OPF$W+&i?Jk`Ol>zhWio&fK>uM7sD{7kkGrS2N+ zRkku@`vDGHIS; zUH>Gu$!o$k9YE3Tll_RbD4%C$2AG)J8TH*^CAzwuPygt!{xv%oo#(53UH0AS&f3Q$L310sH;t z2$3>1%{N%t;pm><%ih{>Q=?QZ{Anwy7=P$s(=iDC;=c(0c3pPd4o>eqnpm(AaFhZm zZL{ksDeQfI+mSE*RpCRM>p0s!y2QLW@(F)@jXp^Q?ycfjszPXUdWLzrwtRvc_nJ`o zLRZrtckFYHC2mJp1plA_$<`i}u>1!D+Aq(_b8owt_oXrN;M?baSgGuVG_-T`hSg}p z67ln_w^iRY&op~sHNh43>jHXiTKV>cu?qF^qpX3|;@%c8fu>$fSx&WwQ#+(^-}Glg z-e~@f?ZMR`75lxiXGS~d$SzJLr97Dd0CkK@RoCw9#2xxFx2{lJOdGDJNEBC`Yr{+v8|1jy!lxuz2QU?3$~ z+LtVwC9}&ja!}8^sm=YXNQx;KI$ytH0&c{+<5cbYbT(MQYq-kcd<{OtLpi4OFe#Em zEak`1d>YL}9`nInVkIJdGLGqx4ooP#9}qFrn@i|l7-uBCa=y{|O`%h^uuFxxi4%)k zIhJBHv3+oM23|@Gtr$}>hm8Yswa~#;x^^^wtUX=#&^jh_8N>u;z;c`JdNq5DQzo+F=_x7?5d}q6MXhFH3s?x1bKRXdC$bLj_LRO@=#mJ zj*%!Q^S*OcnuR{?sck&YrPb@1rzvNDoRsSdnEB~Gb7;S4_moA0!d6d_*&jQGd=)H< zuE!1$u8Nsy1oQL|rgsU~jn;_yUbi{8k*;j^vVzOUn}V>X2FD;L5^9mYQVy$=%DsaN zsSLvx33?qr%;I>PVT=WLO$ilHFGrpKB53sM2BDW3x|dF%Df#6VRhWEw5k2kl4}97` zEFDAFT=5hpQ5_=5793dft)$Kyp2@=u+HABD4A|o{Ci^AO&WL;^uB6k{zr2k5_48v{ zy&QPY&qsGX&kPNLk6^(^@LgZGYWdP~&(lw2kH799_5>xl2e#?)s`0!0lrJdP%mmNa zhXmDbsbu?PA|AQwi{6U|#g!QN_F=s`@kN&_3_`XzyHX1y{<{c(4-YS;>k6!W!Ec#G zc^r1J)rqU;K=IJkjp$(fS>KTpyL<^?&;bK4E}eHpg?nFjZgW#BObXO`P4iV`TiDOGNFV{bEj4@*ScSh{Fe@SBEms`!Ls*an@ww6}8AlOQ+hNLeVk?I?MmnoLp z)?XvQ7?8SR473EppT3%OVRAfP>2%?{!JaDplL2$(#0`q46_a8xmU?-hpI{PfYZ?c2 z_plCIGQQD?BLCKn8}#L8ACy*h?*jK+tz?YxO5#HXw8za`%%th6#~ch|jvKyaNo~MH zcZy|aY_~ip1z?$VhHg4Z`Ud{HTtAA9*fPr?xX}Qv(?3uDF0iB8cUgX(OiNnLx9(l= zbCU+oBEDBWxP$@T!jWTYoD4S!-M_$8-Wsq?;-`Hw*UFoaD`_@#Y!stXrUi?X54Q@5 zXG^_++1)gbb!H&NVItnSqz9=FJP>U<6W;uJwv^ei8Vi;A+LyQ@d)QVOb`=YL;w^qQ z_&puq>z^!HD~#>U?ae*!Sx{^@{USl)rsxag8KtEIZR~qp-IY8ogGmi1S&jR~nk}A- z`c(VM;A?^qyYt_~A-t-t8}NiHUx+N@N;O+~efV9@vuU^A)%HDKZ(c#ymqB}<7I(sb z%?>HDCrk5N=XCF~Bjs!Ro?q3AF0y7Qil`yCY48yKas83Ecnh)_o0v8o7hg z$RjMq@%>tNviTnQGWhb-(YSn(Vd4DssY)=^CnwIznTn#`qK@*6`aH@AQB!|#XfdoJ z5)roSd|^7KJv13wv^W|li|WcaN>|$4#al+b4fc=N0LcTjdK+Ak!8{r6M6t^VS8UHt z%=}0-L6G5nKgpJD8+Zob_LgTEGIx6#^TFUQrU19h1YbtwYuldEE6{Xc$NwZ2pfbS0 z;N}=CDNAck;)qCtQ$q^Wf?B(u#fQ$E!k65te~%y(t?hJhI)d>1RUICzRgU#0p{(3l zI$BjRTo)!%wZk((ej$zCjM=A#a^FNnSlDBI1yF-b5LsU-!Bp#hAU}~vGPFZnBgt5! zuf|eoI@A-)$wO_?X|VBd>7(b8Wvh@;H``|xX{UC@Zx}8kZ4T%sxKFQ4YX#pMQt%h$ zoyJlLlxF`4I#_^bd(tBsFzv5(0Ci3*!ddtcLHWNr#3F>~s%xz41rn{Hyrk^X*aX*! z^Vv5cldGv?U>(2`Y1G_dil~gV{w%@LQR?UEf8{(b>9wFGPM79Vm*leBYO#}meDzkb zqSe_P9mAynnN|gt=NR73r0NSOkzA=WowV`KatdspsTOKeN71;s&$F_*(>j-5w~7A* z3X+;%I|q&Z+&n2YgRJWIauGFgJZ`^zrH8sz`&0h~Ny*?wb*vu_Dw&|-Ad2Hb4} z=7{jL_ta#Bv?4!MH^(Jdu`)$n)gZMHMQCvMs(L(4SEEm_0uC{CFHW* zazN70=V`gb96{;fLqFzxfdjD)j{-N%Ho)veHcfm25L1+AnSbkH&{cm+`Z>faY>NJu zv3`#Om5>|rfngd5v8PbEjj4rfbYAh@cDeWTADElrg@crdF8V*9Rer8aO>00PJ2xkg zlZTTN$iv0U!U<&H7J3| z3fsaojFp9HPGF8rPYI_@i=*j~XKtLYpJz|6S;*EO?otdkhh>LVbar_lM7B@?@P z9Sme2*gj@fEcb@6649dkjj}x)pDmzFRgf-sR*vij)1BboSaY3y;8dD1gX}Z94aQSj zIjJL)=|jOs_*PlZ&IgWnuc!6KX2MUk*9YUgx}P#!_-xXjA)RIX!=Durb;NbXnsN#q z3w4&he;!+Ht_;+D=yL!0J@9u-re{?7fOPrrz1u|y4C3^V;o6=GK|zw}=3bCA|MU1< z2krey(qk8EMlq9kctEl;9->fk6)Yx>K?*94fd(6RM0$~S%mYiRyy#sUIqh7iqMlWj?vk@7$MKgvx|M%Jpm1In&)qPpSPn7KS&fb@6Ff-F}gJ{!~HxM51gd zOvHv8yXD8w$FN0{wISShcXDvz^S9w%=PNkjZi+Aeh274W+mPZ#>Mc}l=2orL`<2hi z9?9hW4ADaP@j~dPI{cw1{a@X5!qYtT8-(u#u}CDsN|<4L?K|<=KNIZDD)4^&>amd`oOlKxAk72flI51>k>nGl{NGd1J~mRe zakcZdr~E)9|EEOh=EszDG;oKnS`+RIPM&iz9CCC&EY0KOqRmkkdK{n@Wwr`X^ePEm0UPHi9c`k^b|o(kidJ9g91p5{KgkrON1@TZ#D9U zk})zi*Sg|8PnFDHHnmEzRs2UWlV5JdiIEHKP3TH~HPC~9>5o553|kW_^=J9+S&

q!O1UQ?irSPR zp(q6%*MgtSD^8`{SYAr~=eHVl?c=>`sO91xOO&|WqVO3$GfUP8wz!^0YAd2NZr3Qk zp*r=xKTuxaxb#M}KLi)S%$1SEl@WrK2%;nx;U?3FY|I9)K~tSYUw5W{;pSP_WqYHq z5E@x9t-|@Sg-9AN(Fe%QxkbQyKUwx%RpJ-fD3@nG@@cDdXIwv*g+U9l=xd7In^9$3J$ z2loK^;<`~Wz0(SWXr~lW&!ccYR4~*siPOU1&q-VhA)1*G-OEd3r5Uw^hs z*C8=k31{7sR*E+@DkNYjB~CLXi6E@)EKvN};f@6Ve6xuzydq}54Cu#KlxnJaoGk2(lz%E}bh(Zbk8QBQSzL4JM zp6osTIzAek3232B^42+(5s!9PQ!k&2E*o>tqC;oMI>~K|ZpLs}8&N@+#`z(0X!4W5 ziy7&1lsnO6dGG-UGY5t`P#&QmkV>yi%f(~wiM_rOIRiyr*b1|CKk|(N!b5%{NbPyK zgMYiXZa?B1^wtR1WrYpm^csFlK$(>{t4BhOHOSmI#GtAFSyQv?U)PdhskPB~@i<9) zB-O~Yf>OJkV*1?}VMhyp15u{Ny0|0}2^E`!*%S2#Z4wo@_AAq5+4>^JC}$Ioq?fmG zQKDpMYcetzrh zBmhF}CCbHKa|o&Hb~v`*?zln9IBao3$W*-JFS4&E7B=LZ@qJM0WHiKdS~x4eoJ>AOx9n5I}f_JC7eD-H+YXm7r~&q`nS1 zr~SKH->eYWvpyM@g7L)rQKDk9tN-g9wHUmn0@s}yf2k^6ul;_Mj27AH&n{Ci)o4!I z9O)M=dgUNur^9x~%wuWjW2hqB6Reo&vt=4hIFuO>_UVf=I4xZA8f;4x{!$ThhY-Jj zYo-R;skO$_HSBQ%$D?Wtk|_gvAO;4?;L0C>gqcDVYY$Mndf9u2O;Y2PSu~@*>Oo6ZUkH)Ol>_ub?S26c*|}!X4PA_wVC(4URe&Xk3EUnf*GM`;m-jgGc%13rWGS=&9;thWAoSnj4WkFkB4l_OsKyg! z*|T=+V7n_qgZgGegl1eR?U5`+I*y96m(+qt3B+=-0G2p~JFR`HYNV2Rg$&~GNbw(F z$?jcI%RVf?rLI1IWTA(C+RfOBctw(l7LKj=iCjE-5}P^va0UCIicBoHKI$7mQ-k6BQc z#eoKO`4=bzy;5I*&=(+vM0pkN7`}jR$@Ibc+P_mp-U-d@72JxEP_RA=+M&k*P5m56 zFP8@E3XkrmKNO;<;Eoh->fJpdRu;NY9^1cqj1m;!0xz*wJ3C=iTT|n3V!r>v_=&t?136M$Ih&q_gy>1(}CE$0;_*t&17}PllHedDf z{FlhlnP}a&kp0Zpwy@upGnC9Vpryk~GKOVaCa{MVEs9Az*qGuYtX!yl&3ULD>2+pt ze`jGUx8sO0B}UBB-2B&PS4K7v?FaSCeB;*P{jdAqkmAE%cGRTj`tYM#s(zCFuNBmF z>GK!C$~<6E(T{+;>;Ce-kUB zxV=Kg7&=p@FBIe#uZEh_DWGKv8D^vkM^g5@dILH^gDI$$3V$k0=g0+-ynPCJW=~yN znmz4?u>;>8zW0NIFeZ& zOd9fis0T1sP1y4K)Dt{RPg5P?K`7i7Gwa^`X@hBl9Q{nl4uSA4+}bkC)%tPGqbVJ5 z&9R65uRZkeELbL0MnUxG$m_uIci<2Ov}~YE#bL|JVq02}77C*a0YFM$3B7I#%e=YA zyG_V%@$$~t>Jy zxF}%0(RU-|dilzD0jFS78!9I;jwPNa4}7LzBk06)cx#=x<}gnEYP6#)S1v(Vw)f9Q zXYZEHt+)CUGS5L-&<;c~s7Wp*t!+Kk!WL{+3e6VxMoQu2;_pK&Zl$QvLo6p>X0Ih= zK|bBz_NJNc>W9s*NeSs`lMX;zSax= z%|Y{k!=A1WpDb8IaqIn2EEc0hz8=Nl|10tPzIkVO2z!7p-4Hxp1?~5+xh+LLPolCq ziq6Z=hvp_D^z^9TCU{F1+FHFpq$qh3v<{Cxfsd4yty6yHKj+FJTcq|X32oV>T2VUV zMtbvs!xwm3Ru~0sE6Rt-AhX}t9A^gT#i$1%trvNLRHR8&Erq&Br%h5DHA*HfV)G6(WCx^nJcnz@26Nu05c zo#lF_; zKRx4>E&7X&&T@1uC(_)3t%ps&eslg}5al79N;j9Jc(UIC7#yK%G9jO021_Xkghg3o z@9p|LB{ae@FGX1c^GJKOEaE{`vQd#fg_viOMj~eoc|tOxhQ&XE?t9SOC=t2wya={D zSLU4H2+-~tUW3da56y|@Qwg|*PDE7x zfbeW_S55gR{Twyk-5g5G%eb4d#n8Do7u3k0iPi!` zT+?fPv0EzGM;GM*XjuGWghR!W>jffjK|o3n*E{qz??kM%(T)}%E*}~`cviR_y_L3N zR}@O7=pti#N4k&AP4HoV+kc6f7%M-!9`Bc|7-E4(F;q z_(}Lv@q6&>*4{Q{;bXqk-AXB{{Fx3U;fy6=__2Na=-IXpD0X-1EkrnPnH{GRP1LUI zQJs(&vy38e2TC)ZmR*sEy;4yU)17#Q@zB z4ee4+p*FG;z~knt3}S=o_-(!7Y4R)gS<xegciiUzeukk9AuqYE^AgA}9a zWk$#RjrPhC2F%ljm6~kxf%0tMn`sR@$u)x_tE?s@Ao<;9`@vBuNtTZZ(8&4old?u%CSohsU!-RMB0jp{c%TTaj~!`XzA(hYG91FAMuDVE;dX2{WhfYz z{k#U-_Lx@=YVEhrz7%;X4dOD4YjeGXY3e%YBq*QF8?0u^p%WeUgEsy4s1_qb9b1}U zBO*k(!1;Y=E)VF{VO)J@m%FpMo;~I{w)|EsP)0tfBmR#5;v$UsJZHduz!^jpjEvS7 z>*-)bUn7$hC-G;is#qfM;){-x@R$R;{4KxVCio z2Jz;I7-nqhkx;$f*TUP;UO44fCzDez|a zesM0NMvsL+0e`ndLM#OjIZQ#P+Os1ezWq{tG$*Sg99(ErC(I4S>~fwg%Iyh#KBzMF z^w|N|%i+$StJWg?u}SopUWW}cO>=?@Kw+Vwk>`xjVb|t6LqMdezW!3&ezO~oSj(lB zX;6_VR%_`Ra%>z8kzy!&_Y*q78v~=mPJAJ{%vOUece=BPoMqZ32xiox#d=zd{;MFu z%Og)_kZlv4GdR8pGM>FoY@DW`xy%X5b7Pl~JMNiPGf{?6DNAaQCGbL0CHHVdw9CV)DA{+q?zsy?NUwz$+~r%(T!IZ^K++g)J%V(u#bvQF#oO=7sJ*E*X;=MFSeCO>IF+z_BRUNm)2X67t-U`=CPZ{20nD>8u9)TM~-P@29eU z^RYp^2d*XLrB1hFuy5LlerdJGu&rW3JDdm4;s8tF(iLy1M@DA_xGjbcGwjEV4}{@- zpYe`EAzOkB+ln>Q?c!-0!}B2MzLQMjBj={r!3?Th^rST#K5{w%z4yK#plznjS=CWy zrdfRnI!)3}mtAJu7m~Wg-Wx8i7R_PLDszsriQ=>AXL-CRT;4+{df!r+W?szI1~*%2 zZ?Jqg5xY>ig~Gg~8|M5RoBeC1RhR2z6K~(Yss}B_7b>Zu(tbVd(!wdzYB-DQJu2=} zoWvXT10JRZ8JsNO>)=cc;70DY6%brJ{MyR>%NpF?mUoT!5YRBV;LsMZ{-)0V*Q9%B zI^0jaEz&0&ObG#uz--oTb5SgSKv=n@luPf4PmT%~+iYF~IQWfDqhH-$xym+!JoF6xnSxmVn zqf+yRxcaEB(z>yW({dv_MsFn3p)DuEjT82ihLRezFm3zu=m;(;ny3yoq#kg}DbIg{ zP@heF@MI-6{#TcM15{k@q9@y{^C5BmzqE{%gPZk# z;p=VGb2C2DN%UPau{{H;bF`a!| zA0bNn)n>zBU93@Ay7=ZUTWM^rreY_p9U^!q6Lk^XAf0$CRYj&y_4j~2v9L^Urz%G| z4~2NQFL8g<`TF;Q%-Q}fJ8N#-knxUcrM`H!CmH!n?WWlmQQz>IuOjolfHYK$Er|VA{w0Ss@H>qANpB z$wV1rS^ZI!-a$<{hJaQuY^R-+)Cwvpg&amDMApRmYx)i%sKDoSe}78V*g%g{5X6*KIlPiM%A3+jBamWp!SA#%sJljki(qh><_+`e7mu75%Y);Ucxf_GTulYWQB^={}h)7Fk?yDIP z^f5>7j=|*3;R;c!{q5eR1o-iH5Jn+^2Ao&~y3}L12<wf5TlYcUBj zXX$&}_VXL}=)37FJ_l%B{%GvVg$;0cvs9PQ&ibLp;1}s$b=nvYI8VuXQ*hcDKmM_3 z8M1LSBZ=ikQNEcHduoUoe|a*)*={%1lDDJILD)CLi4IflFvj;|jcGyL&tNu%uk2-g z;kJ*Yxn^ytwRQp?yDKd?KBw7xm0X<&Iwzi+vR`%cE&Mn-bta#idVd-Zoeu5)LItp5 z`W`B;?&m5|#WV$h4Yfn_CVvwB0Iz+MKBk`jv0fS06f?4Mt)xVX^rQ`$c}E>+`SY9p zGm=)vZ0Due2SsTCX%!A~f19?nj>}5wC@qdxxHqv73T|Jaz2X8j4eCmj#NDlIG=v zDc)|oift~0*{qJj1i_+7t#LjhLQ6{ySKH>;O3oQ z{qE-MFMCdg){5WvSYmI=NykYaOH&^UVXwkq+wzsVT-BC{wb{egc#es^`mm*Yuj;!7 z>_>jxWu^AOjY^pSmyN+$(+quUEmW^FhgvKKF<#g@MW^0Bnc9NhHOVLrt0yyOOa{`A z_hHS;TKdAI zGFejKNDtvsD9A4I)&h)j>9M)IO#12tVm>ALj=(LZOCxVMupE=dWy$4on6ENYi-(M` z?)Zr)0>`==qY_oU5{^Y0Un@9-j38!Y(%2?O7gMB~Zpgfr{2^#H67-D)RAb-cG^8h3 zK(9%M5fin9!dogW$AiUjG2GUW7_>1EQy~v%vP01u%bs>ytZk`4soJ0@)QT`+5f=_` zQYY;3cTZTL*BrhfXc#--#6PX*wNuAH=lDU79fBFNVKLnlP62OgF(dqOzTHbV*A&If zO)Q1zSX;x$i3&x^UNz{znlG;{d;bd_8l+h^kS|lN;#O%fPQ)W~cJ@cN^dB4O`BMQP zq_U!Q&;{Cc?L2d1@L_?qc&1rayAk`cr$Rt6ZF3?Cy@`s^SGe8CI{|;H89#;Zx4T0r zkG!jAPQGpvoQ$&XSYJ-lv<7M*y>=-#Uf+mMXW5tQx-Ic6+i&#XHi&Ti0~vZ-TU#?q zTTj?|vf}p~w=`gTJuvYwUvn&|Sc?%@3(HMvTS7(H{e={yPDKc7LW)-3BpXvCWXFOf zBR$g0IM8pA3XY=h&<%x{%};?cV3RI8``$lFc4+aT^_#q3vyHGtVv=&>atPD|!Rp2g zb?uOFNMMkAM?wsyGn>WowU&{6v|gPeTeQ|&tx>`u{&+Q6Z>!bfjbb^WI#&P?Yd`Z} zmSyxI4iCi8KuP#8hM|7`3;%DGeY!M3N>!?uhGHHAZM+%xZTX0(VL|xn`oFs#im-J0 z2uXfJ&S!AkNGp-$wTi2YK))3l5-CV6*dW;4Uc`C(uW29Sa7Hfm^kp#l_@YmSTfanD zBy?MRl{FWqi|_AW-F$l)fz<#Er`c8-w`R|E0%DS>=QlpP1O?=@Qp=i>hFpQwNWYT{ z!t)6SOm<^LE{b@Yhh4?E`Osbhz4;~0M$vv9v(69VFtMpbKl-2(?6#1EL2u8pW0I|9 z*C|yUSn`8)a;(PN&WK%999Js}v=w1Jzofzcu!}S#hxEW@QnJP3)D{qLS@-MXpJ(C& zef1d4Ouczg3g6L03Om@(9wZ2^3{7ziI?E~b&N!-nN z2G>bjLjAiq_=5#pm)V%JZ%u`^4F43LKmxT3L=+_6=qFZ!X&{s7Y#56B;JgF82^M9& z@XS8Qccy#N^)wkpy)xiU_qDeDW5rkIdWs`KuMM*2#)M$-V$^zPS=Frua@GKT9al1ZajsNp*C5D1$ z`&MUaWRSOrn#PdYwsF^xA0GnM_PBf2+iTV}50f{I!Fnsa=wcjYYE$`(_>NdWC7Fc@ z9gLH`QPxNi6_lkh+xZ;gzf?cm!vG1J_5WYSvaz!K-|=!-N85FM3^m}n*632Uufhq- zb@yi7C*G`aJPnOb@tgr$EEq$EVhrWC`DLvlFpg-IZ^nWn37w{!1)w1Oet(Rs!TyfSpAirB}WFI}0(aBO3M-3qALk!%WCip0N} z5PP)tR3&Qf9{u8It;8xNKK52Ksx0*6Xu^BW14MNt!$0*#=RWx(KV&)^hA*w>qdF&S zRQEmPY4|SzHF6N9$IVCwFp*ME0hars1d4*aLjtDhx_RIny>uPUA^U23#~aA{Fu z27n22#8&<&4eJ*i)|vNXC2KOfq?eEnUPCjUtWh2IR!C8WT!Vg!!{eC8nrcvYpXnb= z^M0M%3Kja=1)aG-PWA~5NK}`J5nc$+W4oJ-AjjcE@6j>Z)>hhN=hbr0lTi$(7y8*D zKhCr%F$d3(Ko8`_zKw6Ic;j9^W0%C~EH#z2&7Db`Jkf-)ThN3*n zIuRNZ57%uTv1yAdUG(g*MG0ZDv`?CvWY^+UaOlo zu1I|j>vsfy{M7{XMUow=8YT{QpFU@}fA?K0sC?&cIYWHWk$tO4`&t_oF5E$|C%}L+ zI70P?>o=9P{T0=+vCOV~G?!n1O=LFHV3DX0Fgnpm`AaA4%B?G4Fm8g-W2X#G04lrF zDl6G@`tWQRTXQ5cVj(ix_GE7jTTjoL#7z5>HocwpY#NJy$8D@Z1eXIz8!u<`YpBN{ z=@#$m;VASd79V<|lGChyv4}N*R_m7#Z2LKhBMG*{} zVQ`(M&h6PC$(EfeddnE!J%J_(cB2^i9c{Yk?$=v%563EKS&ZDF6*3y;h43V?^IQ_( zNb54n@$Cb_CTQNiu~1c?-v5kbLTyq9=0-eWDmqiNG9M!tHLU7`Bj%iBx%!syNZN8+ zUbEC+`^&fYiFAu6uaJ+d#K37VHj*i-b31LK?qvuLmXTwO(03m+I z>53F;EB*-N?fp98vy8!U&t2h`3()E$GdFze94;t^MC&<3=i8Z!Cvh{7Z#LEvxg>Mh znh7U^r_}+6x1x}o2%v!65X{%*7g@zWc#mfPl3i&suiq0$y6*z<3H|FO^nJYMf1au!MRi(7f5a2Mx015aOQ*wYc++tZV5FyhANV|Z zRxwB?VTytmYecc(v>2bc)o+dO8zppUvTj7*bg>|0#+B6}0cchsgXMHmC`ufF$FcfP zlO`|5*YX^sSk|W9HukmWVG z9Xmc>y*2>@O7ME)2)7^4*EK!wU+FZN?qm%hCNgG%pw?!GIRuRe{Jp!|=R^^S+)uA3 z4J(X_xbKRscUW&p7@7}XGM{f44bcjy) zs7Jw%isRA$Gg!SJjSkx5EPdEVhX@KoDp9)1#x%n$Ab>gaITse`AZU(g)i=<83~pFp zqsiMLm39U>#y_jl!S3{`2MP((Gp>bnlXowUH1+69uX}NnbtZ`kXta%piOazo-zAvuei%x|EEX^rg7G%Px(xE5ud%=TEfEtfe+9 zPMuciSQ-7I;4>8qsa^!Oa`@N6cJx`1CyS0i_g>=G)%WvAYmxS_gAP>Hv~K%A=Mue_ z?lHY3F*;Jmc={@*$IYP>v3gTLk#XXly&F1`%zyu)Ut%PL>e#AYj8!F*e)tch&Ul0X zIgw1LSH5#r)HRDnaS59e&u*K)fqL^WN?u20eb9tI76_zHxN#mAiXBm%$v$E7$)4mx zj6@l+Qe^)!iTZPyzR6pZZDK%cGN58h2@YpUJ+pntsM>o=zo}GNxx0 zzrlkmuz})80@J*dy)omc8(4Z;(0t@@IZ`ZQX{d)QA)e@ZEcRAL(weXjads9#9?$7$_JJG1gU(a3o{mtxd$NAVraNGUqs~V+B z&i4Gok`1zpfi4`k9LX?taEykrFjYzPs$)!gqZ8cw?^2BSxjl zH&+2{iF1Be{c*U0&N3P&s+6MXlRnF(wBwnwR`Gn$Q#YSNg3<7#XOk%IK4sAZ9p-yx zHMNIQY2$fZm}3miXskl$KfDJMJ~4+BkcZDVh7yo3!3&Pc9jC{pN;Azbxu<_&PsRDw z>S>K`8z?GUCD1Ct@7i(IK5XobiDu;l(PqV{a+)+sd^C?X?0BoF+JZi_Y6Dt6YyL~g z8m>wdG4usGs~17~cq?5r%*84fHl$Kt1PSp1v3pi1?z;AC8usE5&}*l+IA%3+dyjoy z6KzL$k$?EaPMnmwaU-wy$fx3jG`G4(Gm|Tt)Vk;WMTO=S?|-#RoXQq7U@I>j5f3~c zPVf2a{yYD4c8AKrUL}5&gu7_${a*Yc>Y87$@>?C*Kcl)xN0`l(8OoQM1-U}g#gEip za5{cL*vjiZX4gmn@Vnp~p+xGY8AG|~#_4`SJ7J>=trEbL5yIVkVO83pyj98d!t|y` zvV`SBDKLbqP{8iZ!hP7z1m2*5d7(T#ANyUxVhH#ySVOGd+xlU`9nu9=H8ZQ|!;J~0 z#4-htBy6XS@W`N4KFt-r!vJaK8T6l$OX9<$;XvM@XK>)YE0mUZtJ z@}GqtzoJ3$*%Ea_l*!HKj0)(s<>(9Lgu(7Z!oL#h#+(0XQGVi{77R|Od&@c^i> z^n|{_Iwqlt*}j|AYz0v%$|qcA{`=Y0ggF&w8IinPYEAq0uwQ7b6WPitC0lpj%yZu_ zcdgcMFQ?z+gJw!FFB9?h@n1pwALs^9!N!D;-Ln0CO|Ha62X#+*#3Fiz>XO{3wVbwbrV8SK1RHRs}4 zcPr1^MCGS@isaUCya)lEW8g3ylEQwV?*yNrpSluBJ_@pAk2kF*l+gP z+g*xp`mw+5kLf+CgY=KAiN63Z=-c@oKEt+pPv{3E{$ck(bv&|A2F2E;*8QO~UPAzD z0OCI235@wHOxW~>JL<_*^shPDJuSH~1IMEi=bzjU4gnKOL5nR%>+o~c1YUuX?{xUO z-iyUjvxC)AJU{oPcvEtVP;d#Uem1aW@p|G(2o!WZCfQdc>51@KbxA}lE74$A8w@hO>hc6UDiV#~emdQB;ey zu(pmYZ`nR6%ZTk!{lo?F<5w<)2)Idu%yyNxU56ZO>j|l>yJjCn8y*LR(!VD~C?Y(Q z_9R0PVA-9cW(Cud14ECjkSFYg%X3XgUWvlA&^E<>NmALY}JQGR{7wN)Wy&htjSiyCT0%)U_t42 z!PXR#CNwZ4rm@_c$C~B)Bl@9YbpOqZBzt^2>loY!I}Rh4M7t4Cmuso^j{cW(!yxxG z#n4bPD$X_Fe65=?=b7N0@ZpZ-u{8r2f$oBtHsK6VB!4Pu${BKVXp^Wacv%L=O-XCw ziaHnn^#Dmi6;i1cTUqQSg^M^ye3l7O**Id~Ncf%h?1;rMdJG0T4{b`3Hmjz-n&+=8 zl<*E__BZd)fqe_KH#DJc*KhBWUy=X7N;c$3t=oLbetJ7knR zre-g6YN=&Lm>UyX;n|2ET%7KxhGFup^ec4WOPJC-K@yIgWW3d6kVTYlsKcwBam)2be@ikfpj9O^ zBiyOgf;b3ci92+ftq0ME>Wsvy469ZQX+!1BbR`vq!a{8w7aa;=DlJJV^0S93z-fD} zNZ*U@w%MKqm6zR*&*L_`SuQ8Tj)2CCR8ctZeZrNULo_=PkuJw?jBx-t60ESOyb60` zBoM_0LmY!5P>sCB?F**`jKz%?2_rYnMuJYKj_clVB!%eXf_jr7IgIkuWTj7j6}n5^ zIqB30Z&f$c9)a^u&{{STv36~=`SLdXQ|t*;x<&KlxcM1TCU`tMKknB?a{iOEmuo7R z=Ec-w+cVPs{mw-Ivpoh1dNe-Qia&Z-&;OyC_63Y|mlR5kRM?V%ja)ld37C9_1w2&~ zQ>N(eda>QK@*{RLH*qz8!g!u_ICa8}^4A$V1oa-MD}&8PmJB#0_yqkN-S0Jb%2x0+ zUGPL+K@v$J&L+f&(K2rd>T{0F-@sQ;B|m79Zd-oB3Ig|ObBWd zVW^V%C#0a42F2aC!;Yu3Sfn|#4}+9^u1Z*~`wi!4-;T_9;f0(}xo=&>cKgL98{3K4 z_z^wsmeN@WaAt+f9cT9pi~&T zZ5P|lI^}JHSA{Xpvc)O>1;JJ0e}6bOGt{e>vVB5K{Qlt(FN~n1>Mdt5bp1mm52M=q zkkQ^`8NPaFt9T;qc$;=Y2f83`^Nh={_s!qX8Pr@4BPa^6&<3{dLlYN*g;>kJ7(H{o zSb#7VQ0FZq)ZMKnVWB2i>8a3sXOuv9HQ878u-ho)DhRIIV^GdKw=Sal!HOd~ ztOW=h?)wO+@CTVEznV<0Av3Ht+kCPkIYYUre%9fn>CJ&6(=l;U){EG=g0g;-Z^@O6+8atLg zpArhp#$0-|MsyF&yi8}``kD@V$klh!r7mSJEB%;mVB2vnc(V3*6g-f~1{&-|p znf#;|f!!c$Igp>If$inlfBjk+1Oz@llpK&Myk2giY}-p5Z6U0-!JqLqsPpsg)23i0!wP?Xmu(; zoV>6KbqwM-pDc^ZW&9v@bev8xPp}R9e2}?&=Bi&wV;`x|OoEYc#oJ9mp$=}&dRmT&olTr;*(rlY7 z4?HnS&@10r6{G?!Nu6n!(xJRBl=6N9d-QOB#3rL*AN*hY+|9+@*dES2c@rEOjD@?= z@e>akjFq`H8Ui#C7L1j(l?Vwm9v+O9y|oq>H0FQ&^wys=pmG1baHmhRgOY-C@UW!c zvV&qlaB^~TC)Y#$0Q_29-7GE}8Svcg_#ExlTkP*+?LGe0+gF+vnev^kv{WlN0Nd9W zuFtE_F?>scl@%81(^-nu^+YZvl@BE42Jrb5c-B5 zmWPKBWEB|C>>MuO-0HB|JUEU)t+KK~G350@=|LZu!Xgm&#!(X8RrdE!`h7vSKbH&yAX9SRx7qDHUz$^!8>@#*svwKs zCW?qJlbcihz}6DHk%a^3WZBNnTRLK(%)kD*Nn9)IL%83pf4EnKD_x`Vsh zL?uWLPc<__uIas>`d=m+7t>!p_TS{};6j)A7vDDxFLX=WW|ppjp^fdYhPW}Cu|X{( zR4qqcAlR<1fvJ_19*qZe3z5$}FGuFltt0Hr7`txX)z%%7u>Ziyg1S=lt8`tsEvSR*X}*QsIe zn;_dd*yVI8fnMNu)sMiu%*az<=wDS}3Fp%hBO}Pu_phnT>8~HVz2x7r>Bg0Ne#wveUYq)^WpMm>?&1gS zko&efG~C%f?%jI$X8I*2M!@fXlDWDH`aln4vNhH@gSTb!e0(7nmuELNws)WRZuf1s ze@(W4d|}RRY%FYGc({-Er*IAN{-hghMxt}{Qju$2R=b;|A@X==3|k&o_;Xzv{1pQX zKs$on%6njTUG(f$(UCoropFHF9z&T&ul$2A_nBxAB0PAG7KF4oUwY-^($#-*)%Db9 z5P)2c2f_BkdN_Q!CzIOLtT*o!CzyqWUvi_ZPBGVH2%rAL3j6&QryPVDJ(PjrWu~38v!n$F3^cK&3v<_4FGr6RPz_61*) zY~!|o`-Y(V#|67T^6NkM|Kpq;Qo$@ksa-mvg=9fcmd6lHP9SfiCgiUgRn6$!ayIVu zL9m2K?bF>gNd#A&bTV~ab2^}3U1|%Qxt8nOO@`KOMMIm?=hxjO=adKG(GnHIIwj>~ z;+OWcQOx|n{;~DT>4MEv#OYRC4&YQP9@au4E07V(;j#TF;cIe~Qw{c(FDxP&iw^#y z=7ooWR34vr@nnxNDq2`fbi4;bCs-%#dT$P+#vGdHXgql1-!=JjfEyUxwpw?qtshWH z7l#Z1xP|=juu=F?kwp`^6MhPorg{b@+#BU#@GKaaoCgNA*Td8;IE7pYPv4@DTt5u0!^7;5v!9k#nI+|SuSvI_-c0d zy?_+CDmKC|XpZy#Pzo5i9r4X|6x||={PfEJI#+~a4lk`R(~<}aMG<< zDjIyw0yk*{RrWT`VRt^{&-e3OQq)G;FM)j5wz<6izXI27I|IHyksVojZHv6E!0B3N z$_Vdg5efPc7^>VY7*-q8e&J`o24CEmUPA6xuvu~jq3#b~J=v4E%+k2K!%sU~G1iB0 zN_72wW+gywf=(m`cP`7^yYS7MrBedEWrSEop&R2E5JsHB8ee_0cxx<%YU7R)^x-kjBSj@bkYDZz`6{FKoKyuAv$OREcF`GaW1jTNt^SzPJvYu3rU-k zy8IkxX>*W^!lekPE(}ap?9WIp>TwMXTDCc3gsW)2wl~;oG7(1Z;^4;@_>&HHrh!WH zuxrQ?H>rG2{-o*QooTDw?m!c>%BOjW{x0H-QN>CtWi@hcr+owp#fR}Zfqy78thpH4 z)PPG_D6AQmGI{TMyKeC}}I)obnl(~p}Bxv$GGWuB=Cv-yc?#X`=riWL#WBsg9 z=~hfqSLAa-e=R(&G0Pm|Qqv>2np^b)EdjSojk2zLzuLfY$`bA=NuSV02n$Lg10o8` z?bh?!NOtz=n7+F8sCBWxe*bPWf|5{OXx$a*Z4foJ+*I3v=N9H^3GdoFRlKZV#<;ncag;Ga0tb1w{7^H>iAn^rr&cD!n-Q>umxODyz#$dN zCxNB#SER_Q8~?I~@4O#>27h85BTT<&WfFvlQ%o5fEFI1$Nq#T_RxKDlLRsPMq`;6G;jeQA``$xhUDK;cci2K9%f%~75AWEzcA-|rCy3mDappg(lF*GaTIxZWJ8oz#6kZ` z38xHpcdF1g=PJ8H-e<2TnFng1!&^eGM{_0pDOS83W&)k)_w4!RCBgpzV?dn0YUB&KQ1I@|`y%HEYShK5&IwXb4kl_dg z@$vRABCHp;!zr+%%NC(NWeAYLBBOW$UzX-LfAD+}ht$IuT4XIy0}Yj1z4x4+yAb{$mQ zS(~F_ry?L6t9K4mA-aTE3HSvbtG(b->Dg?_n#CZ62Ux$p6`n^d-!sOc#V2cv@XF4N zBlu4py^E!b?Zu1!#pg5BieMtpN#YoyI_&)HT+%v&OMoYUupLYkD_LDNHh@1V< z9@IspvQ>mag6+hviY-|%NWW-!7n zX|#E>L={p!BuKO!v2PL11|vd3Ax~VbFFb0N%x3+bVN_<_2X8GOw<(jXZ1HaI%#+NV zUNl9-#G*wWKojQ2`NnwppYTeo)$Ixx0?46SO+bzf$rlC=6L{B3 zFL#+F>77?MSpUO-%O7R?rw5fMOcSa`CD9v44(rtz-Najy9B*&O>MJ|(<54aJ`E^$s+A^?A$rtqMLVNeO$xedN#sQyTI_+wyq-;+a*a-iIKqiR;>jGXcU=3PbS zg-#uN7EXGLiM$Q_psn!eKSn5`|X+jVcab}eQm&L6VSh+jK3 z=vtq-yIfF#%anhnQzaZX%}q<2!3v_G12=!TUc6OTUJ>)Zd{yNL5Ylxz zAPnDAc=}IV>zaUmUuUKE()9gWX~Cz^W>y}FC!|YLj@5nXKT+Xd9V=J48?BYK^KRv= z1CxVbEIl}g?udrn8orAjfqCK91Vm6-04o5o*a^@nWs*;8Wz~rI|6Z5{6 zMJEW&BQJm3nCCW+G0QqU?PrQpW(1z)zxXa{xGRcrFkI;WUR9r0b6qqFD2c3NC(4ok zCYeHUpS+uis8=K~9#bB^jMO^%8M`yY&!o*vO%jg~T;%PN{~iN7IW_~20%*wT@8ugR zh1SCurtN~DQ{*1pP95VluHbqbq#>2ZX9TmiG`@d1P!<0|T9J_Ni6>eJDVUbcr&)KB zi*qO)FS7MJlu#=zIER-mfMTZ!xG z&;Eo%-0j3jH=@9I|KA6}o4W(b{CT z^c4nQ&L^P=v1wjdKU{SZz#wU#w)Z#^vK4j>2S?xJnM5m%64^GjnMb*>ip>IBXi`!Cgh%!*YOi zUygw&Eki!@VsfHR<4AQTtn}-BJcYLj)} z@2pKo6NwDEF8z;-$1oC23}0ZCR(cn;QrqhTNTKKoHAyuz2JK$!wxTed6DWTJB**TB z7yUHfW&(3*vXiUG;=8wc1+9=%AgUk|4r-x6d!kYvS}=1Him89$dw=ANNPy#``nLE< z{ei#AzD3dsgnEv;?h_Mv_rd|J2+D4r=rJz?i*`olx;KiETLhb#x4Za zWcG@!U38LgJ*eD2zqRp}uJ-foPGAz5EW2fZl-fF@GHIx!2?_;@PQ0xa{ooL)s%)fA>{;6 z&!s=5j0>~n8w-fRM3+z06)kJzK{wo25!=W5gbk(af67=AC=Y_!XaqUbEd`5bJikb`gd7pGM z14V*wDBBfToWJVh)n=rzx-1$UM|w`Mwse5SmWdH;voW=SuR@3yAWlPheFm>j=Lv&w z0wMRprrvm`W1j#%)jwD~uI-0nvC0EwUKkqnC&p3^2%|~Q@r-{5D`b1o&4=-?om-vd ziyq@c!tSO^d3PelB{rH(kDN-Lh^wi&0F4@Ds%*%g-^ri--o$<~Ux*Gq%jer%_v9FL zVO*Yl4NUYpg~QpZpgx{T;+A{{aM>!dIz~?%Yh9zo?HpXMm+Kh9HYt9<)Q_+iiJU{2 zdnN_$CNM-Zf0BQWHQZ(OGGwp}Qrk9*|DoW}7=m(R*-0%X1~O}r&6Y-hsRYJZU(K&u zP>5C@SGGZgH7&otZFvlanA8Sqn1Lfn>X~gUxThpWg2zKY? zd;eBaD>XgE!I%!VvDTXdrl-Jyg!H zEO5wVPb+z`YIUPeIQ?mB>cQ1j??h4DHnfU@%nnWPAQ#lAU6ez(k48eyfV?()+1W4G zhZ~6AlM}I^KQ)?~QOhkhvOAyvgRMP}paDfUMOkmMgpyY>5 z9_`;UZ?1n7wf_?`G7{vIPwCVdu*4 zEb)H{{=6aRS-2BwTsev?Dc+mN8gEy!gZC7$lmds5Krx%3aS31oS`h*bB3A0&hc=B+ z!ee)p32Vi6iGie{8%{7_-!X0jHfZ;HEVrxtH9Umv#1EvSmcDJ}7q>&KZ=zN-fXQSd z-o0^LzG%y&5}RIQnKtVpp=~VMS(O}zCtiODsuTtO676d~#pw3$I>D@RUY(WkvpXX) ze`RU4+}0ZsE0x3#EOl)(_cC;so*|ZAc;{TY*trJnTHPSL-WTAALLWtaC-pn9^kZn@ zEF)%NQN%)SfC!iZJK104Z}}*x(j85bVv&^pv{njdIL1Kdc~@bIJhdfq!Mtb8vx|Qq zKw%gvhE#uzBI6ah?xGa{1(RlW!A-77kcxVp3-;^kAyl8bk>u%)LsyE$THR72vk5=N zj9x;8YXgoUx0Y?sK;A@B?eL?+SxXy(4BCRSWH)}dyP^F2?jYx#Z>V zrMj+|XTASzH2GPCAsXJED zjfl69$~IQ^!6jP7Y7)K*te64$`8-Dr5;&Q2JXXs)mcLynuv<*%Qe4)&YRvePRIOO*kn83GTW2?i;>#cH zY>His)gx<+Zu+F2LoKR*Tp{8KghhgsD#YJ8(0e*;ADUecKTmw}OBp>rTfG6~p6Z$V z)YEa0It1dKgTzOZ?b@dt3MbIHPDRJn6^*vp)xaf74sx6PE*`9<=#YN|lmXM8LN=E9 zITS7mx$Z<$l~#hN5We4PnBC{e+3CuD+Yy)@=D8w-{v4S~8IMLo*#-lODOSt8qWrGl zz08h{kF|)JL+Rl@fxd8#JD6j-Ui>U5jK?ke2o!%l*??HW~I;xjqFE#{Bl z#lhHgIP%dGq|e?BQ(Aw8fbZ*2asuXVy}cCVNGZO8?GIi(Q9WQkb7x3$tjY~OL0reC zL&Rk6`@zM@u|f{B@0=U{OI_d%dA^F^4Tk_`$!1eKSy>KBzK5>UQue&GPtfsm?zg@} zh4;4#&Z3+HtQfpE+2Kb_A`!qigCaQ`?mSxqZG_|>Lv7{W*0q0DTMC2yi!`S`5p;AQ z7^@ZF%}JeU9y-N)p_O_vGI-KcRMzKolA4VpRH<*(BRoVJmop1|6Zfh zKh*2>l{{De>J`3x_eXdB1M;Ts3x;G|+!`B2==j?_Vzl83vNY2*RAAltx0=oE<{$D3huL5E0O(?v{`u<&ZlZ+3-tqQ zsHyVm`E_hbxh~l#pnxxb5h!uhp%|c*BQHiHKH`4@Q9TQ}-}1qAXw>vwn_Yt9M##<4 zbzHEoNA%&R>EKdQefM~cyPveF4I*)heunt`lEZ6$10Pwia4@~FajksiZ+@2%&Kw`+ zZIl6e*WM)`r~XceS@q#dXZS}S+w51tu-}(2yt`F1ZE&Bi(*bW|Ceq((6o_GIMF>_( z2;GwKEY&gIiydDFAA5(uqFj%7_5B_4^fx2)*STnQt3*btOW<3lnfXqnzYIM*5*9! zsfNu52O7>%be)kc@wb&@5#E6mi|(th^d(|7TP+9ZaHO8~6;y&@5P2fu{csgs&vxYDPiazdgxZ;jX{h!sF>vw1FTMCP zIcYfoE;co40`XdSA);M8jY`bVT5=9XA@Uslgv{qe+E}x)sZr(0T2W)~kk)@RE~-+# zsKvHMm0)F}pqM4LntBy8qdw>kG?0TQ%d)GQG!3TPr#^a(2hCN^*B?h({K``cBC=DE zwdH4iGbHIHfGCy8H6ew9zcvtgPc~l^MNt_J5BHT>#>WafQ%*lY3)E`P-^sqV*5l#X z++G_dt0d)h`=FvC7uoFku@`?NOz2#|;!Q+nB$l;_3^r&<+D<$fv2ulw@(H9~aN@Zp zti6=!Up6qfygUkryDu9c5-U3yEkt`+`lTaUi6(Vf3A}BdEG37aq(uE@#akeC+mAiq z1AoX7R=AA@SAoH=foyVh!3b9sqZWI(p_zBfy0J-jh}Z=+;2z4lQ_4=g|uYc8^_KTfcx6IMOsYztbV}kDG7RayzvU-CdV1Q}Ns0?{0 zN-M08wb~o~(eeX4$=81~10^|W)%i6I>3S@}GcQGJ_VJBX%3L23TWjHYq9sFW$dq1? zYQK0UYWRK+PQE}q)GZQitg_*g9f!&?_>vSlkvsX=PGD;)TsWkG!&n%ccL9H7Z8YG9 zf?=Zo{bFf_mlHF^l{RX&{FPF}+BX6T_WJm?R?^c^^xm{e4-9`9Mc2ooZ(E(2DIkBe zm&k+!?~E&vZLi4weZ_(z8i^^)#r}H!j=Fp=UR@mQ5^jwGccUG`E|w2XC-inaJD_@a zpQEfLLt`Lcbk|;y(rc&pr)_~h1VJIk-qE^ylZtvLZyM4nCjhFU_Kew9aBO&1(^DRi3L3qLPckMs) zQyA5=q%!TCgz^E*>_~HFAD$>)xQxLMZM>gVA3b*MJsQ$0+}PiGZb;C3II%x|B53=em@Eyy6+o1~X%b+;FvaI7+ zMdG2Jeo)c>;YDB%Lpin(qQO7QrBc`pzKiakK9+9ugSv))UboL)O2=2`5=ws~dk816 zQEq=s=~RybeEaoRODdI&?h5Kuc>fZ*2Lj(^f`A=SIzD-hXK>}$HQ*G_CDA=5?6as&sU!Yrl=q#r_8KH8(HCR0 zHMz@zreSG!Ck$(KEs@pIrmV(La!c9|M6rMI4sRTk-fEQfUB$h6()ucETn%Dl7(9gr z(Ed78yGJv!1r~;wf_c;%(?gnIv^AdQJDw76lld{5AUlu3AL2Bm<$}i7S4%aW2=9TR zB!fMXBwndLimlm>R`u0B8eGffoMgfpT=A=wTaj~v6U4}Vmr4j#Oe`)@OZ{HTGfjVy zkH3skO|oC$<}}`qTt&&7VMup=d&*u_TpIbd=D4Ke$iDK=JVE_dJX_(vxH;1tz3R8$ zuNfbkoh~`iepO0QdSV|+-$Jaai=Fr>FBg$5W$3qlV@0qgRJ>C!9VD_OGNh#o%t&aT z>8y2@gZeFfuwB1yAJefTb0P?p3<7^gkIrZ=ljOrUU8v(gq3_)8tiW%FC?44577aQ# zQcUCP7Cfj38)V#`&%eDlxXwS@JL~N5R*Z28a6A8``g5%tXbGf*9s{qLbzGr=op8}Y zWYXcSlt_8eaU`CSDra?v8k4OlrO$cmD(hrS8__V_{LN-k-23dLTx9FfzfXT{T^n^< zB1@N0MWD?9GJobeo-tTwO4dMs)j)2p$e%l z?DKy93%xNg2d%TU(RbLp{YHrD0&-ZLr`le27?!0bGr}<6bHnSIUp>L2^pSx-3_P9) z2Q$w9)E8$2Bn`Cv9y|^&G}gZo(;`O+qPxj8<*};EmB|6Mkab0!n?au@NUQe!NSfM5 zW9E42g0nYubS!^Cv~HIbvK#dfnPVvo=b6N(u8zMP`VQV~qe$}2=z~dbD3+O;O*QsI zyXv98PO?%0sC_How1lwN8I{>KzYW!hHtwZMTB}hVoy-rv&sv|@k>IDB@G;#ZUa{u? z6i1nf_&R@HY3FE;4tG~&V<)g~-o>?L4;yHDU^RTMUl@P32C3pzG+uO6N$vr}Z>67Duw_+kuX%ZSkvIOiN)2)AD{_P_j57IPlNJtcLjj4ro=Xr|e zERK!(6d8Zpppn~sYhT70GTW8 zWu;xl*BE?2mR+a{&%;7b+$B0;3edG?doz=%b)Gv8Nc-qcsNnWtGUl6Hm>)IlS8=Ju zy4E#FWif*R=@b|M@O<<-ULQ)9>XK;W>p={@r00L_jr;YFg!uJ08r2Ax6N$FYVQz*W zvZZU%OdHhWf3?+r4oarR8cUIQbimOH=1O(zO{-kAB3BcOjRjr5i74EdvQELoehMD%gmy6~#0@3{~H# z*wlZV5^-PnMl`Z-R?0jPz^Sd=4a~cl5!*cifr63t51KCKgq(ZAJl;IqTHuup$K zURC#pXn^iu$W(%*7iyw2!lTy-s~HSd%z}{@v=4eQoLi3e8E`3JO2bSL*UX{JFy!6K zj?|`-5(UE`PPlCx_vfS9`73vN2ZHPB>*6Iiwh{owloYb>Q%fqK0-DT#*VS-Q3tR1Z zE0Egf>maD%bZ4^~t#W5NFB$;&N^yV8A1#yySHQe<3yJ{s!|J1!jKz8S_1dZ9^bq?f z`TR)fcTs&|!N*$dBf=%L4l2kPXgYCLHrR5(Kk3zTmlOu6hdb2)M@t`pElDAWw@U8E z*$8)Rw2m2{Ew^3PiXx@k?1lTifAB^&1?5Oce|0W;w1=RHhZ!?25g90eB{-ofUq4 zG0K!P?)O&s7c5c@c0K+q3LPYtH=m-Ew5BzXhWJ5z zLp-u$r8%xi6_58~^Mty;i4}1(P6;34*^c|M{Lo^oug4+^{?jl-kMyQ+25hXnp+N?z0;w>^tvt*6P$5RN4$TzBNpVk$no2K9*AKnv$*^C>t~3j);S}qc*>)u#abepF}e#Y zQY66l&kQN_8|X)#XUsLzXNDN!l$3VveG?M!BJKMHmOv7)(*FIvfI$S~G}E?s43L!_ z+#@^-u7@UAqVifY25s8waC|pnshCJ!Ij?t8?0u=2Gh1R?T1~VTA}%Qm%l_o|+G>kCG6Zzt$$(DR#-Y%kD%9Ujf`& zA$tzlmQU0b*{6DxMaMSn^Li`aRi}@~aZLCnPpP;-?Vs-A^AVO5hyQAcn&N5Wou_KV zsmAmhTSM#tyS9Ivq7-iq^SNVDV6`?O1b?ZO^E*~cfHeavprm29)7;f8Rn>55NIMkK zX7)HSDGXG}=t_i>ioT0z03@y%9*0sJMm+%Su$B!au-G@kqaLAx8F0q4AOqRM$Tdu% z$QvfFTuk@*KsdUYdGdV^m~t}nbG(OwHFBS?;IO$SodJK13HdAHwyZck!Q^{cIV|3o zJn|;FN-hP;X~H8?P9nr>&sMiVLfCg>!Q{C(&;@ymLjjo;Sk7!aQ_ZlULzd(N0N(r2 zG!eqaoKp}2e;hIYx3##}FE^krR#+|>1ZT zq@10G;7orFGTol~D|62`)2<1P-?eo0=5>uzgVp<5GmVUrlDVIj2|7bg&TM~h|Szl5_bi7QqK;xv?v7C!nY_e1$Hl&AOhP$JPe(X6=ieDS zdeh-*xf?i+0HG)h$ir$k%)D4mI~OJzez0+P56YR>)9*s5V_+Xm&iVjx62o%JCBo2o zy$#bSVh*H_lghQ%WIYOHLKFV#ZHZS4|KJ&=);|KwwoJ{ahiqvEOQv68NSoS(Zf#$& zF7to%l6qBRyzB?^Hk_vYiFlR(@R+m6Ru*4zr#K${S9vz;A+ATuqr0yXQik-{Djol# zjuIxJ*)im3j!BKrHo@@Fod^Z*6%YBZ^zS=s-wk(7LxS~7ZvcMYWj8~Om2VC0u<(R? z<6rv--h@RPTTb z^gORJV8o_M8LC5%mq%CA50-v>m6+F)$&4L-AR#Q8#02>)+#4O@R`;z+zS;&fDqA1b zAc|kpJfgqNu+yfzBSXpNGIAe%q3)ykCG^@)pSd9l_6@^3`CSu7(U!wYOBlR=n_j{pARZScGH3`yD+_@9u<0weKEt~h7$~08IvHBSj-mm)+?m}R=eAXPjQ~MzosJD_m<)kQ zeWc4Fg=1FCYm913mZG_@YC({XJ|DD>w>x#mku!82%RqbbSXsT$R!$m zFtoy3L+CITd%Hg{yP#Q&#_Abl2avRRK@H~XY^LX`P?aP8VaGlG@{m5Kc;BI zb=5xl5HHOTC0$vTld~-H!1V(=vedB&)DGB-GsCQ;W9aEkd|n|~EhlZIx)4FCU~@9*zYdCgY%QY9!uRxL zEDe1Pf<;k#CCu`TNezQB`pdmRCIWi6+8;_+_>>joX4Wg5D2$N=^EU%3Wj6-f4xo;~ zmFSz_qe1)aJ=5ZN0uC++%$$1Xn{!_#(uuzp*AL<~((MV-YHK$LLePJ89|%q(ybV8U zMpK-&ZMU^cf`}JK=|6gf&v2*D>M~M(T-QCS4cpT5bdP#qBspoR!!a*#C|#iMSw&0t z?Fqb!GL~hzBoA1N&~1ovMT9x{QH0m*=%gNu@^+SuLh`3YcZKN1nO^0odgzfQPk=~p zm>u@tFZ7XF_$F$sW!is@QE|ZmHBQ?Z^_z=qA)>uGdvsPs1=h^%W01)d3XB)V0|&$h zbH8qrjtbL+1@`%6kSP3+dYkXmv^0NV-R}{H+u`&aXXEZGYKV`04I>)A-6+YFk-tSY z*tB(aEyq{LVrSk%fBI>=x@r6Pq8{HoFdy;BS72lG&sWuG> zCYfAj3UZ78gr0x2TX|O2nH=3!O1HBK2#XfT26v?0|46UmKM#rjA%Fp0IBaHWsZvQ> z&T2~O>e=4lhY<`uSTQwa?0W8vcy&bjm4MFRLT-Pi`K>~i5{mCz02DuCnR)mAq(Fy5 zCxB{wwvIvbSBp<9agM+cCuCdfZ^xW~@0!xy{_gW~zO3_wVr3qQFwN@H!Q{2DApI~7 z^COwtukgeh1KZ4L#I}u%Rt;Tfies7ZtigX!;7{~$2&i)Ca&h0g5@{CH0mN$zclKcq zuE&20F8BMob^(#9W@3RqLnoPM-MH;~vD*~+7ih#qcTe!V^_#TWfoBubg)h%sud>V>i!SWpF2a<7`Lx z7j*RQ-Xd{pHj$YFCGCHr(B7|N&^-*%Bec1xerT8czAY9)c_{JoRv?=sK93YH zl=C|g9jyvQh>y8qUsLwqt^nQXAPY;}q*2hT>_q@y+IO{)K{`|!MAZCLoneU7J@9`T zKuk<1y40HN&&5uWs-{$wd}J74hKb9gFJ6NAz3($6QgRzB13m5jyOqyb;% z;m^r0PJ*O08XxUYDt8x{OH&WHF}Z))jitq=rOOW`#haGA@@nm|H*wT6 z#x%W`2eCJdEI$-;zEKnYA7?rKRWvLfj&n;KZw3*i*B|Tv{R{a&e)lh3kGgg{l=TaH zmH0AGD+u`f@)om>Hx#;QKFD zvD*he_+X#bHQ96ASn`1I(0KWnj^{k(U%PBX-~NSmLrEK=;g+rthuCct!twJRu zX&yRHVMuvTl=9J#0#|s@Yiyr_){IyuBdA_JHQ|DiQX4!I>eHhr@BDwTrCo%f4?w zKCr|d3rEF$e56*aZmmcaJwt%1enJQyf~nyjV_eU{(YuTaK@sHX?jvUZR()%lbEp&9 zDwDsn&27CI*%cbOQ_z3%J|kZ=pfiA5)|xluhp=2vNbgJ!M>LlVyJh7*gYpX{N2w8V zROKlW>bodv`v^qw0n5;Qg)@|TM0{kRRJTkYhTv}F3{QK6qV!jz5Yq2h- z7ivSMYb3WJFrHKb>Gv0iS~b6pcj4XgDjbp7=K7 za!$SlXjZq@dYOL|_U?|94CIi}e35#eh`h$Ki=KL>^i1?!m-b82Q4qhmZcstsbkPqS;vOa?!8v-U{ z(5z^XE&O&kS~t_GOu$2lSz)2+E>=(rhG5FtP}(r)_1r*; z-(r_+(iQ>)@qN>pDfu_v&uwIe8$d)R&TBd|@EiC{6RKG3Gowv*HJ5_!Wj zf`3Cntm}W5Wf&YMHhc|swsf5ggEgo|_khA$@yXmcqnUS&b4UHSHn)$UGqin8hl|9k;h&Uh0Xkg1aVjsa;HqAX79pb@;6`*G*Ly zYrnX2^|C7}niz-+=t)n(R$K_PRISnB$9se9pXi{!-4tJ3C#ND6-y+CiShbuH*(*dT zW+{KO%HW$JH#sV}!x@$r`jDiTyAhqXboEPTaeu{HF?;JUkLOx{Xll0W$-&axysZ zn}EGjv%RSkw5iOPHNi_;oq*JXBb?J30~voDUm$W?G4V7~lqH>r$VJX}LZI(hbT}wAHanKm9X=1;b!2_{jDQFpWAH)ZqnZFVdX@gAXqk zxf=!q(`_M3^*dpzO^QYhg*kg2z798u5y1`yIFBR5^(|lIPnwp%auiYkn+NKTtQvne z+_h5W9Be3;Q+MB(h4B<=m!Bv7Ol7{GHdDth78r@@EZOY zXfZCVAAD#>hvQ1d3-P7c&3eC4X99FO!=tet~d4sFk+EeazTj7c^@Vi5UYR@E3`YK^hX_>{@ri@7PlWC|iGMcjf(R zMR9lrTc%(OHEwScvURB~*i$}Y_d&IhLdIZf1$eW*fhbdcmP~mX&hhCZ*-5ls88V<% zNPQxEFY+83km+X_;NEFwZz24VY5<9>d`TyvMS0Nsu&^iH`8%8v-*nw>=*M+<5{sIG4Yi0?D`JnF84YmmCfO6SvTu0+9m(G%&YgpaQ`Hm#rBA z6Sp^`0+Rs(G%~l$qyh#4mpdr|6Sw820y+W$G&Hv%sRC*Pm&-H(6StnM0@eZoG&Yxw ztO8lL&#wZG0+;u90TZ`yvI5uw0Wgz*RVENQFfj@*Ol59obZ8(nHZeDoVFW0D?OSVe z+qSm-?q9)=_34-(UIcI^)2W@rNl()>6DLjEj6cv4ZR=5NtY#-_gp5q2fb5?SIpOm z&si=cAqxl6g+yjX;sXjx?@=p%YSVd+9FSXsH^&zVLWhFh;K9p8WlAL=Q(2CZUMC9m zBxqJigL=KeLqNSA3@VLUJZKeLaXwL6qH=sz#)l|~%28SdRO84^KyimkL9Zg;fpX^V zKnAoBBZeC9PESZM7zKTlV~4*6dr7%gEj}O zFHlr4YcdHYGl_>B;3Y07D_|a6qQYB4HPViHL9^BHqfXgv4vg?iP7AFAu*6llm!=m+QIZyqzax-V8hV1 z6(xppNC)PPq4BX=lUqJPV&fH`P_fOZ4-2L(T0403=pYe~r{n4TY*q|P*hH4RPQ=BUmJ(l|eyX0GRYg_8f|zk2PN$P9dGsg|r!Y}K7RgRwTcN4pRH`iMp?M>QNX;A3 zmUrJ=)I|M8AD4B1Gv9r8AYRR6+@FB<~rY zB4fY)_Iu)OipXGeYEa+gc04}cN|}QaAt8k*ZNjewyA3dZO&do26##d&7XzpMD&(D9 zM?UO@yf~grrl{(DjQHfG*JS*DAkJK!uD*a|Ks><~2`O}x|BM<^y z2#3U`rF55n?P?w!N}7kue9Erlue6VC&e*b!hw9d6Yr1v*p}KW7m+YhC-Pz`zH+OfB z?zbshu9S^{oCb8pHbA*LK-qa}0ZuNn)VutAWk1n;#POp?u?2BFs7BL?I1_JQ|G@Ok zbydy&Da2w@%+f_wOfJ!MS`Kf;u&4_0XL)gSw#>bMu5QMMcgC?N$Fv=Ea29tJb(IEV z!M{tja{q<=qB~17j5r#GbqJ~Xdl)_`=O4)Qy$tUV4(Kh}8s0gg0LDE*rRZI49#ZY> z##m4l7vnOOZU5gFGEbw#AkFF&-LcU!%@CC_%1xEp53vOxyBby3w-@PPdLzcSAIi&d zSq{a2+4Uu2*6`Kz&u2fqetLG;3szz0U=`Mal}+>e=`cu414bM+Q>n$U?aP%Ki3n(R zq13^q7*>9nP(dz_f%FcPkR1cm|CQ+5?tgoI^VVU~L*sN%YjHYc4~^5_eO({ibvhlg z)L`O`f)QNN0ASq|tC$ zYX?dVGYkH|Z90*N+12Iug93w{Sm~fh`1sv-@oP;IX=d}Qi{$-^J@KUcI2x3%pPihu zjrSpk?_w60r(7!e|LgymE3}%Ud&w<-=H#50qhF;HS@^1Tj8ZmH!NMb5k{c#2JR(Vr zGN6ND=J<|ihMGJA#I}^@u}#vpQjTaSn=8j6lA+o-l`0GpY!X6TsLM7ycr6oeJc$!7 zcdiopHzvt-WQpJzE0P(P{8|^?Tv$bZhEFXIX(hDl6R5tGYYo$|0T<$&ATC1-30 zBh`${y|{QTd2``YJ3JXlPI5fi3{NPPQG58xMROz*4XU}eK3Ev^EE~Yx&hlp zN$aaYClC|Nj;RGQOwGYCoh4#_YI$dX3blDs5T@9f1j-4V(SteD7>PnDm^Tv__Ol24 z#rn1+!^QkoBE9Cm0+OOzMJUVmrqI%+N64coyz%j-I|Lyw)udKpM_ zZu5W-OuXVf@<11pXbbIHOOL?a)8}=<-7Ldk46oG)xEj1z@`3ufSH%TWs~JSIx-560 zXjMkm-!K7j-ZHSmTRjtheL|U(YjA)0m0HQ;3JRnEcUg=ZNz@eYwDUaMDUqIubu1J2 zx#$%!o_QVP6(S)}4cz;JUEn*B^4x;UW301~J^%@)8RLA^Uc7q~5vSIjXN&|L>(-|3 z+MrPlyVownd)}C|isN?BWYkQ3w~~mfTJz|HG|* zO>6#XO^zLfik*dld^+yInt0E%rDsMCaz;$ucw5{Rgo3%trWnH^m*O67)&$q(U!3bR zAyh&b_Vkh=Cre^DXI-42K`cI-*kqkskHOhaoulGxd-GrX&b?STmI5rs`jrEEz~H#4 zi0|xHm>8(o0v&UI>D1ik`x>XF6S$yb=;9tD)$Lq}j%gu-gPI-ZUOpsTDB?J|Hpr;(gA!BV&UiujM7#nIP znPX^(cT+^pcAk`r!F)8Urt^CC^Rl?%Dl9NPcc&*mGh&Yit764WLyjZunbT0 zKAcR8`4E)j;%bqYf4ay?oH{~NM_eoMj0T3w;Kz#rr;izCp~dWZIl8*8FdopD!mFGyRr9|4?iIlYkfBLZ_j>`5C=eM_K?~YHq z;$TW!P8Or-WTQ|==o^nzfb--uCk(&u#4;VZvOB4c;GA0&h4Da3RiPu<#T*mw@>6{u zmzUK=b@zNT8s5EBv-td>tRmUys`t8jpR=9T_vQPQm~o|o^)9Mx!T)&WAu5f4o8NQ|>`i(zH=n3Z1Q zAGVoQF`iu);-ahyaaBNEadRscqbodA#cfw+vyaTb{_^(S>5pBR&pzK=Ovj5Y28XB+ z;z5#(Gsad}K-aXZyml$C^;_hjK$TwETEC)y_0!!JGd6( zaFs3n5gISXT~zaZ zQ2p1-XJ^k}eEYVV&PK)2$#lFq!U6~j)8Sl^_7h~@LQ~sLnDuQ3R$6ayU}@zRM32Q| z@kBfof6wBw>Q9KgKZ{r5wKx-R#9IN|5(6=qj;9kb6s0I9LjrUuE@2tsN?eQU&$H`t zB1YnW#0LRf#Y9X-lTu8@6xZ3E$F|(H0a*MY=3)VR{Uj<;UC+x>RDVvzEwCN}>cMng zijU$?@kxB{g1%R0@b>uWZ)dNTpuaA!ZpX!Ze;e+;!JSV&WNqACr#r~(PPlJ%++%Ul z0Dsy*|D$-Z2LC(pJ5*5I%xHNNgwnfUT0hlrw!&y9WQvR1@wlv38XQa+BBCDS=h_vZ z%n|-SmiH+2rWnjo!5+GePV* zD%t@(yT={d&bYLNUm91W@-8>K-4q%jv{f6XE<$_tdvD&odiC?WZ_iHOyx~Z7GdLXZ z9_c)u-7}nu+<}uz*#U>Ici?b5wb5m4e|xB*JKzwQp9n}-s=a!)H!pvG`uuq#Rj}Kn zGL$NwR+L;={X3&(xr<1{SIGS8R zq|xOiI=>0`kKQYU2Mldj&W!0(D=4)*ds9GwxOFh7qff(s!*R_mT{(sn`graAe=!ur zpcErRj1hIviV4oB-j>~ zNpKxkq)z%?_{X{*-UV*XG+MzsktQtTbltn6vsV4+$J1j?5I)~YWyWqo8UriQ0M_7y ziJEwtI4Pd3P)dBZ0x9v12z?O%e~kNF8v>pZSc1Ug$4eN_*WI+W*~?70(@C)?;|AS^ z5Y+MOcxpQCY@Uwhi;6AUt5+a7WT5VDV6O%y~0?JAoYy=@eUr z7WXo_7E$_4x;~S}wwRO*8cQxSzYCXPe=ff`)9*1YL!W8q+sL+fmU4|lf0OOc;r3a3 zk2NLNSZm|Smld4(I%{%&*1j|Y?=z_T4BEV{aBo`RW$PTO{W;uelG|OI7RETwdNY8&6c!nw(`C|OTEsh z-Jj8I)0%$lS@RXuX0`1rf70#3YW{%Gvw5i9=Tz?=C8gPgRkzM656digTIQBRxz))R z{=y{||8X=#=jocmTUm2bTQw)Qb#s`jt{IAs-_IY?#PXLE%Oms4vzyB!cgv$k%^8^c z+TiMAU1@0es?YKC%KUs=jWKjuGzce+_eO;InTX#5<-Nx(+ZQDiLZUES>05;(s&X&54oOLm? zw#AvX_i<)cIx$_HfAl(nns^1Uk()WInQ6zTq;c7r8RIrH!+9Kx{hKG#0Z;nRtHY!| z58OLQE9<)3xr(`=pQ{h!Pcma}JQVnNI^j9}3hshFCcMThXL@rOe{6V1)IT{G8mAL4 zMmM9X$Kb{y=Y5Gdh2bh>DkJ~0X|9z`0qWq_$)*H#Pt(aZf6R7k+4hionrqoPvqN8q zE>B(h`vh>rOZFO3sYkX^YuVv2ZkNXF8G;+zY9e9to*l+toVId6qT+VyHh#gvigbleHl|g8gYh@5r(`Joun$XH1kao=)Rt+wRHnT+B>X6qE5;3P*8N|vr z3@pm{(}{mXf4uTu9%XU5mq~fN-N+pAYSFFnxB5m1e7`lq(43^a%ghhsZ+6?6WOZo) z%PerZ)c!IHe6C~I=AcEnjZ>24OFnNeRt!WI*7Ftfty#<0%+J+YzG1%0HsnK|`qy6@ zn6G*7Qm+ZH`Xvs3tR3rLo!{oKtLvP>#rK0r_5Ex*?h`%!>lgmtn606qjDI0t}bN#sYFKGBGkTH!(LgGB7bK zFfk`EFefPrFHLV`L}7GgASgsSGB7eSF)}hYF*h|bFfo^A#{!Q5Fq42)8y7SRFGgu{ zb95jwISMaKWo~D5Xdp2;Hj@zoDSv&ByAFat5Jmg_iYcX#m6eAigkYre86TCQSYSgo zfn5S?;om!;6k1r_%$+lLW|$Yk0+{bWz)%=Cu8X<^$M;AS5xSLS4|nGIh@F9X!JrwT zJK0EsomnpmBek+!3udOslR}xK?Q~v?#&)cX#PL_o>XQ@x=A^oqUkvZe|3jQq^oS1! zPdZI@xM0u%u?muAZXA%8YDT?#K#X?kTKGB!2}FIOO2F(5M_F+@u)o3Z3jERG-LCq3Q!4F8Jk1x1XbWBW3#ATpc+dRo59wA-B_yF73>~Riw#`H?ge$A z9_$1A!2xi85F7#xpb<2IW^fpIw@OCiN{)bN;{`AQ&N3EVodmJ04IBq2Ksz`I3ZMtH zs^oJ~^c2f3g7bh&Oi!cEp*m6Hs4mbAdO;uP2LoUb41rj7Mx|b({4j`3j!+7uW2iVA zzf3tt%8638k#deSu5(Hxrcn!>ds1yccUUWJl5ZSm6Zh&Qe8B>;2 z#y*8w0c)B}|G-)bvcR9g^3NDcKx{Vy*oKvWB9(hBF{K#fKq(-OMjVY08p$ya_5JFY zOeT#08%Z>xX9Ug&oDnG_AVxrp&{(y~qX)4zvPQy;NEz`ll4E|;PiJBZX);n`4Jt3b z#2Ar(G9qQIfPNSOF#=))#0ZEH5Tk<@iHHXlIp|b*`7BCxsl0k0s$1plP^cc2kKaRi z&%dsQDyVGy4b`h!`8ZUc>RL~zepQyGD44r~d~bED@LJ*UYY7Oy*=^O~>DdV$+d1f?JW8BK0Y`G-5} b@*j(}ox+#>&H^0_H8(RiG72RnMNdWw0>s*d diff --git a/tex/mv_alpha.png b/tex/mv_alpha.png new file mode 100644 index 0000000000000000000000000000000000000000..a0d72c53eb9db7d0d8ac3a3ab9fbd4498022da8e GIT binary patch literal 40138 zcmeFZS5#En)-?)9j!Kjak~5MsisX#s93@9dMOFzaSp)$|l2yPWN-8KU1XMs21SAy{ zQ9z)`8Sboo&fe#o|J&!k5BKFhe66t?xLeg)bIm#C7=85K=Xz?WuR%u4K#YZjMW&^x zdKU`|2Zn`(y+?=-{?DxC#Vi&U8ud+Ttc4#56#GamCpew(1wmT!@Hiq<4 z^opgBKOM-K_HAZ_X+FUH*H70gTwQ9r*pL_Zo?#KC|M~L?mltM3$axFrub%|&TPVq( z2ur4aeJC9(KHKX*uJsLkEx}hLi36LG?a!ZA==)@UT^Iau{UuiX__vLF0e@W@{6TH^ z?$6Kv@x?n-uh0x_9fGOLD{ss8zYzdD$t zEC2o&|2s+lJ4yc=N&mau{x>K6|0;1qDUl6y?;Lkv!7Y#_?lYfgcRRQk!zjOi^wEb> zo?p`8O8Q0cN7SEjZo)!!7W)g%Q;O)rgKPh-W{6^8gNqExlXK|wHh#(zkiWQCVP9)v zOvIxKUzn+0y(ZzwGF++m^sA8P!hoOoH|L+;-quq1Qp&UA(XJ09yD0xvHM+jx!n7gw zn=aYdBZj4S12XwuP^eXfA|8?%qx^QW{MN<%<tD2GDvFO!e;~QyK?4Dc{>}yGq7Q0b6LidCe z-M}`mS)xiP>hf9)mvX9_kUa1~XBDa6*Lm58U0AH67y5?^Uh3f_*d9?kJNXaHiMJ+& zPU}|CL<96A%t}gT(;bIb_opbb(j-)E7F=u8zffy!TOOC(j2?UINTXn+2dNuw*vs+ESDui3M|G7U9$BqYP9m4z} z!DrSHdBj49ZvMPjc6pVq3P~?-Zg9(C9_!d`BbK|=w`rKySivv3C`;(sRu=qX9?Gm> zpB|oKvhJS50@>D#Woi4!#D$|U+!g%l9!?NR-6kXpy(tG_5|G;LnGR4)=bdZ)t!@*` zBiL*G`FV*>|B8XfF9ipNkZLB8*~7LWJ1#k!OsAx~Y2T@lIqmAG(S^i=ulam1#>xh8Imtb>E^P<>8|C-T*D9cOLW4!|5>_o zQ=Az36GuW@B0d}8mD%)rFxU{%(Rw-wEkFp2aX=~UZkj+-E707yrspYIsB-k0->BF^ zHb6S9+>N>qz-O3=q1TlQQ8bHgnf}Bg@#DN+6M5^e(BXlHP4@Ef=G7Y1b~mG`?QTb_ z6IG(`LQ?8qbhMHaL#0FQPn(P(J>jY-ngxyjZ(l!DM|A|Ru<%R#qLEF457JqRRoqEQ z?D_WEOx8kh*}}~bJ|kLPAk8^;m^3ZpKYc@@%KX|ygX>lLUN0v;7_}YL@;AP4CcaG;*sVf?~p|*4D$7!|1q{KV?%6>c# zp5x|OKQ^s-tT1wqf%{xa*EsL}{$pu>3QWttEk%cG6zyAafu#+^ENvYU6=ex2_js&( zMtr!bjHv!TvnY7LbV4tS9E@vxGmB_GjqdujD&W7Ems@KkC=bno%_roYqp z!v$U|HaeWMbJ37q{|M-ub$GWyg!43Zx1X#>S-|(%q=Xo-J(@#4PcqB+FPg{2C46uZ z`>a9#UYIe~J9oI_E~K1;oW$Ix`*Q>Qj$9}sgKJ;I+*PJY1>1L?AHMilw0O#Y$sS1K z4*t^L-Z#v}9DH5MgRk1GKW4OjMl+k63*-q6)V_nBA%qXcBFLEFo(v|zne4lTTt!5v zL)#^t4ShW}wifkJDncM3A0g0dpb73sHas!)`HuW&w}7Fu5IidU&|8xxd~6%&W#JLZ zSwUvzQuLUIqJ>h)w+Un5&gKG_oa_uF0D0W6p)o60?PtUAgT~t1O*Q^tP7^A|@V`)UDm8@Y#1IdQhSx z$0_gQK&?y?^Yte)Ufk*|mgynBZi184Y7mYu@)0NohESHL_MswOPe`k*!}08gZOcaX@x- zly@C|x5ODj7E}aII{pZJTD#Rcm*H!VPAQ7!eh#^bdVL<}&A7ai%=k_J>#dXFoWUUi zj+4fW(0dyCwh64!vLdXZ>8TQDyK^_S$B!v>Dh|3eWE-%#Uzya1e1D^+_v7@paefDc zES4uS{&8C2Cxk$h*2b58*$?RA?T01+4#XNidq=bPav%y-xxa``a{8{EnFvcFjtZ4B-lexxlOl?^9_r9APxB?gaH*oAXcXLRJdmC zmCBp5ofVB}ISysD`HR@T`{Y^u)Rg}-4=q@g&*p!q%~zro5_I`^zs0yBW!;};)&RAC zy?{v*#1beCG)#pkIrdwa+U4>_Y;gQ4pc2Ahi4T?*uN@6CGAwb7N3gOto^q-^G=lW_ zgOYS)1i?F|=gLRupd`Oo9W2Z7!jRMFr#p)-VxXSV=ezxrf-h>c1B~ruPZ?5XOXjaXTQOJ3U+lN*wtwWfloucC~7-m zsL@!x^!RPm{_ z(uZTJJu#F`xirogBp7weexwaS{CHkF>zxe-S-8MGu!;XK^D)|#=WCa6`Rl+Ro`uiO zVg8!<2^eqDe;Y5nEd=a9w5>8@DuU)Jvby>0174WZ5vDxD>>yJIg-^y(-WEF`nI3U2 z&_=IK-_tE@CfBLlPqKEvnb89)&i!q8zLuEs6`G&Wn#cHfkP*NC^VX6`m6pAg@h+Iz z@0gh#DMxG9%lQ9R@wS!Xu0JX4cI{pba$G}yeWvU+>a4)4w(HZI{($W-dPgTmuM9i$b0o@275b3f zJcjQ+@&pua>0yHv*~%LuR329XB*#HSSx~}-qE|QdnQAms?w*C1qzIVdDDWQ~mj)@B zm;dv$KMnt4Qic!J>5c)ug?=w{Su3{ifgA( z(Tn>A0Pj#5q*O{(@vTDXEwnbG-T5-@*;q3mNkfo8}4cN{yy{tJ^!-^%pEj#q}s{R(X+>H;s* z>TPHT@~C1XBx2!%(pH-yB+#HcyS~of0h-U`-MjYaj>^r*FJk#}r}Ey>oxf(Aw8}Ki zy(TGUrhfFiUhQ9!Wf&7=3@c-o;UpbwPq}?6^0riWJMxoxFdhl zrLY4r)fWTyMf0S^ymSq}ewn==+oJa>sZFUMGE*N0uUXd|G zyLS!M<5Z>Dnv}t%1V-*0yMU@a@lfxC^sVEPPQ3C&^;sG_*s}F>>nYZGyHxLQF8glR z-7LKAUe=gmgUSSp#uMx5_DjOs1q@Cr4;L&N?kO*)Y!N-~eu_aVszoo3j$%VyP+6Ri zu^iu>?S~(zXgT!WF8&&>KVXbMobK@g)mv)pEAykWhfiH5^q3s(q=oGJAD{R%ZpyMu zWv6BB@>`U52=;V`H{F_7y{J#uc7woQ4%6A<>)&~1pp=}6ez-u(&M83(2EZQt#pPMp zbjv=S97Rs5-;3nLv)snhJgHz}PQ47m=gaS&FW`rqs<6NTc(YK9xTVr1jc>N9h^My6RzcKMm0-@w6Spc&$= zToUt}E(r6VE&eTnwe_0#Kfk>n;>2{z%qRM{JJ!m#J-)+!i8(NMnhLXT6>5)HL#4Wx zLi+Ct5c#EmlD2RKU?*ct(=H{#a;%LaW00hH`1HzEN(S&uP zIg5rzfA`H*X3)v`h_m#@Eejbj+OS@C7Y8FUuxMR&bfZ+&EB_q z5zpk^q=Njc&5=z}S?JE3#qUK!4oejsIg)L83Ky>elF)<0-=8&WwhuJ)1!+|5z2Soe z90fk-ZY4WpiT|*gc&_|oUR1%4>mh{W7Ai$LGvPY#&e`TS=$!uZ+xsuUUK4utk6PUu z{E{SlI!AQm8kg<~*?CK`5+OQm-TnJkc3G|JpzzNYcifjj3{RuhdHSVI{l@H(H9p@Q zWkTLDrExyJVhEivoQ^rdjlSIU*6zDfCQ`4}4$nYKLG6juc2_bMwvZ7|hNeh+iw8%Z z!S7lhyZKdW@g*(vYcTjuwBkpOf( z_`DZ6ZcRB%9>vq`B-P)?C?^G_uhD$d8*EMCfZVCs(cf04U{RYw*}^y24p`){o2ODV z(u&wYLoz@=Wy=yXJl$j=)e*DUGMYz`KE&!4(G%vpiSC7Q^TFn0>|`H_fsOXXf2><@ zSzg+KaZFo$C3NZXMJEl#<@WfMGu$uF5CVh;rX^JNNju{szQ1LEsrnP9?+Cq$%$gE)C@eD81ytHgB(O#pA|_s zVpsxtA*eE?*W)3C6{)`-*=)H*aXp!=!FSXgTGlL-AOahQHmnTQ?p!IlTQz8*(3&QA zK#*4Wang@mm3XT^O%Zfm@4xcG3Im)ocQDT^KE9Sb);%@X?#aM(tiu5t#nLOIxA!f6 z>SUt%2t2eRd%U@5lXQZJEu19D%qRO^!~I;9opa@Una4HOUWt9}VS4QYTAY;2mUH<^C4dIB}L#I{V^d0j&UL_IECZU6#J*1c&;!g|M`Mvc^ z&R_1mF!PmF&7ksxj-?szRh!zqcu9|O%gOIqAvLk;U+=Wc+(tz$e0e%W26~3=`I)tA zuh4J%?7YNJg&D}!hX}4B(K<5PW+STM)OK}Jh5)N^{d|W1q0xy(xS;tQHh7h3Ld=-f zaeW?X|(vMIJs*65ZtQ=To2L-)7XB37F#!uTZck-F^s@ z6)n@)y_y)0<^Z4 zwn1jCmC&yrFj~2Tyc;pAdUBg=1A4;?@@K<*!5RQ5Z~N_a8cqpDV^_DY#F5((nzs$S)Jy?6 z4IADkYO8R&h2yU-Z%2Y64|R~4E3;!(TPp5{|!SbLuW!K za4pg{)FCtE{+VxT_}IX6hVXL3%>B-uHjh*!M=EXE@d6_)M{z0KsKKK^1+cRw?2 zY&VG~v+~|FJ%%D$c;~zICK<7=*pd3??y5{|P&IqmrA>=?XX#&;OOa1etx7O8tbiyT z58908?Q0x()BCRvMey41Pz8A!=~Po@mGHs%ACCWQ#K7|27n~#84}gk!#a*2^EQl35 zYQ1~I?arq~p$8MyZ`QzkZ5Zl8NKAawI@Y<_Ju*}++V8>7w8wjlANj9;Rg_qlV~7~n zqpeacclV>STOCEzFq+=^0FyOYyY<7v+aeS|X9%zR=OUT}Gu`4F(hI8ibmfj#-7qw|paC(^oB9F2suGt~$K&B<& z<=K}B1|j?sgFbu=1M{1lhuFmT@$(4UMAMSHjV$qpKU({*%Y?849)n7&W~Fw*U(Pm1 z4i>mLWVL@i4PUbVRpjTho5LwJ=(ZVO440M{%GBF1X9z1e5Zc>BN0Mpw+1d!xAwOr> zy-pf#$zs^={c1`z=eJAs!j_Mo7;31q=+Nn*m(Q+Ym;e|J`ma_6YT*-cd&5K#1tGQB zr#68ecOgAiB{}GjHDwyW~p?6;d9D*O&@vhMp(n;`VXH5j^7AP^?q&9_Q22w zZr>6A%4oMX!13(7A22UJD2bsmN~y1ak_>%RD=CxZqZyd9g;a5$&Go+*Z68Sg&*wn` zGJC-d`XY2Eys_#r=_=d!>Uzvse29G{x7kze??hZM6aicf{rmg(x5W9aEXzMu zI(tX5TpaYI!1AO)Ky+(vBs5H;V1j`)3)~ja$L@#;X6Hs^Yj#!z->G&6Z6tY1(o_+w;w(sEB|pZ*OQP7~zk z0@2r3Fhw`Pz%mi&D(u$F%}cxUSxQ1rwo(fanaAtf5;C~CBb6Tj9r}zf$}_CmQ}47m zBCqYbWK?VZ;m-@7y49&W_iL1tlwMo#D@$#iv8=C9EIq@2NYlq`hYcY$%>;2`G(GuJ zcVQ)z%L43ruF@Rz1wfuiZIVt37~|Nnae1M9E2hEE%1hN1kgCuKh5)(D?jP==7#v zq=Drv#t^2508Y*?P#~Yhn`g{fI=6io?;`;GzWPg(&)>`M{pf4els^_~PwVdTwST2s z7ipBrh?|nn6O((>>9P4_0BA}mcb1|JzTT!B@iR|;9$H#{4Dd;gQi*^dt$6Q{Rm#Vw zSH9I*lARr#l94jNEoe42UQEx-o(qoiYr%rvo6ETxmweN>K30WC z$+MFkGxe=x$^xJqTueJNyx+dK4WAW@MKGRn(QW7xL$MSR__YCZ&FibD=X$=16-k$t zz!AzG7s~YJ&Gd~7Ox{(yi4wBvpaKlIfYtku_B%>EVct{Tb=oG0W;T#((hDhCkRh9v zM0TpqjF@u~qH4h?Y^lZ#aiXagDYqYY8XH2xJtD0nMA}Gm5-<$kU4Gk!&PmejDIuL2 z&R3HBG#aDz@k>LTtH1w1>ZuoWy*&ak4!!ew>8UJ@?uPXHN&-TCFhQ6|^WAVn-vg1n zx!A+{PrIXUtSD)8=raAL>Mk{y6hbH$@Eeo3VLD?QAB$qnW20>uG{`L*dTu2%f1||^ z)e1}2&VUO}m%YPq9JtDgJ*?b$V>5fqwKLJj-+ecT7}`|?8uNdjkL3nWhDdV1*p3j! zpZ((_Ccf0jBag>xh=}<;HOtqjzA3`p+s00aR7z`9iWhBa1AK0^_MK5T4ki0)HJK<^ z_&L=TC-Lk?0qYW1I&T{Z96h;|kDdENMH%dh!upecgVH&7=)X9kLXMNXhc}^|uLjr6 zRlc9KE<#p+eOd9r@6WhC!ljs7y7JBPwP72UmDFoWJ%}H&GbyaU`O6NU&;84-GaA91 zAB;f4;2#=)Yh+6OCC`|}E_||Yb1NEA#?D+y1Z|W*HA^hp*-m&;Wm}}>Zc@dhO>=BP zi-Gb_BJua)CcM&bggIoMmdCvIu~&M5V9Zma=~krvx6StQ<$zQ*%|NIxn}j>Qjb-EZ zkK%0XfXC+EpE+C5V}8=4(wDF#48-?vDB+#ZhPOr2GClJ3SyO*TT9=WTqR)%UdRxn? z%o*b`c>bGj;LR`s>Zxd<9NF2=z?!|MhB&OhmpKGaCH3T@;L|D!a={RWtueYPKB^K}lw8&g6UogZ zu>CI$9ZvW7=s*F=`(~=?W0rqbs}{e%GJwA-ja3t#+LxGnWnK^_?K`6exD@ngX6H^_yyD~N-sGOV z?fv;@JM?xQj}O&QS*cc<@?BLcr0Q##pKCpLm5xb*6}ko9Q)1xU^%^Gd{P(MyB%Uv2 z-$7f8;(Vpp;i&G9Nn8JMH}$SC$hxV#H(+-Yfok>fbjyXh-z@ffIH1m98!J8ubDv)1 zK5O3^ZXGQdm3Q9xrq64{8_F4=m1^#Xp1*GPEGgK7DXUh29CVx(gX>6 z?kpR8WCGF~Jtd=4+k2Kz&h9>`?@@jhdiOjsYO(TW5VH)kezs2G;m-cl&U2cw)1BxX zW>kng!>BNw8!9VfHfGTr!xa`6JATShl1w=8z82#TOeRN2~^XfZlNbGh;n3F_eAkq_@PIW3nsqlmQX0 z7r$FTF$;lPNdqwcNq`$RJoTeYIzlTgB78f8Mc%Yr>uPF@y!n5Jli?IkW#C@>w?F-; zdC*fbkqDq@(#}@k06!5U_xq)XCj`pb|L6TrO4*+x?mOd{R&%G1T^h9BnPZ8<)G4o!! zo%T&P?@&zUuRy=WwR0Z13+ONg>kQq#E1*rGc(tnVG4$Nq;?OVQyur2B+@oaG6N7QV zz{(4z-^IG#3h(uNue-YFR%F*2&FEoV*|qn~_SyEv3N&JLN)0t?-ABo7kCFBq&1f}D zGeB+Enw-q(mugcSkQU)+>~m?UzdTg)@o}M(Bmtd?IW?6XpI-Bnkg}_GxNh#$lFD+j zhmokkS6*l?jey3nJ27-;ph<=Uh$B@!!JqTz)gK@jrS00_@)Ecgik?`sRm($L+SMS& z1@w(jG&-hvV3vFi)K;r8(7Ak^X(cHJ2jqOWw@cTAD$_preRXK5k4gT~sZ=wqJN0)hXwe2mQf8AwK2q7+bIj*{{Zra0d#P5O-=O_PD3N{5%tLyPb_`^fh&Sg#GvvJh zD#z&03>P^T&1eDBIRIc2u9pwRq|Zy z8%5fk--ONWAI-2zwb&jKq4m6oNOQXT7_k9aT>Rtg)(i1Il(ZL?&DOGt`w-vDA#?3? z&`)rW#vguv?)G}b^XkF7Ji$L>FVJcR+z12V6^@Rmqs_<0y!l&KNY~z-Us(Y9uC;gafj)?{t>5h|RTb#9I ze!$xrCCkEB`_9(rVlM7r3;kC?#7*_ z_#*#u>4X4L;8`ay zuxbjT2U#b4#vKy7v|||;%tE&E7%%9rFZV?&G3L&U=7rWm2Af~opBn=|0J)Nxz`M%; zf_|yr>YzH5TD9KzGcFY>N6A1U_qAHue|i_v;XtICKO5YBP0S}xxDd|xod&o>PIL`X zQ8%0LnG;G4`Vu~6%SU7;8x*xCJ3h~LT0o$jvObE*$#7C%gUS}(ToRk>1RD950G5uKzIrj4vX+0^Q9k#5b1)sqwZ34Yj>f&%7ue{yX7oj);j z(~5Q_ZjdfI-p7-*r5={{?Nx3-s<}8I&(-a3q6UrM(WLqo#AC%+XC`xD3!PZ<7#$Tks+L_dT$TFvfVpfd8Q#$^oXd-AUI;nZPbeSC>{$JB2QeT16t(Y*_ z`~IG@!|v`9J<`H|MFe1Q8ojg=8gnspHK_ zVNM9^H%6>M?q*jc`Dv3fwlNJ*Z;9T|R!^7(SKSi;YcOKUjcMP$FDVfvgnmPg4c~zu z#WLI;W+N<}Xtou1g|PxLdvG=y3pjO+0)8%|Hg^^<5iPs4TOg43H!s%T0JW{KZOQW8 zdp4z#H8qH)E6^N_Z^%YT+wkZ)#j}MOUC}%}jQSdRIYOVjF}s{4 zU*%NZ!z5H7WY-ktM~&L}7E1hX=8P)jF%^LOx3bNejClR@&-M?m{NenvgY0iFhOMUy zdN?(D8^$B@4E5$)5`b_jsVhKcPZ&QwCln%wnr$LxE0`^S;ng0mzjXk4wjGma2N|0; zopw{ZTLRWaJUZBoPky|%EiXHZ$%5H&!HOMGwHAUq^vEK8yIX0+4Yko9MB^S$EjeGc z&Q5u%8*q>TW#2dp0roHbO6$)*I99~+u(KtaGD1at>G7Ec4Nm* zBeEFamRW*Zgwa2HurRF^N4kZh^ZxLfXn1irS9r@uLE4MQMr9s}#8AzWZTeGwR8-g* zhVnE)De&e<^Q<+q^0Rt8Y3UubO3CEQC;^s*mR&YZCF7)h3qHzIl*emk6uEh|b5L;U z;~4f|Z`DP#q)f#aHWh{@`vUmL{(zoHt93Kl#f!7{B zrE)Yptl%|c%RZwo>SiQB!$t*w-K?X2qfHQ0z5e$-{2r@=p2Lh|HuST%-7j0~62DLC z{Q)z%VXWCc@y=5v%8$*%O)Toxz9>94CmpRS<%1F3&T?jW3i7Vzj6{eK;PVc~+ni}4 z;m5?OVog`=noEUA%0bc9yNSvw?3S+%B{?>-7qQcbQHuROV*W+s{O8Zy8v zXb&&j+yK9C>@_m4OLvF}t{AXY&s>$+r5+Edzv%)baIZYD6u#@X2P_(|fkq8u$yyYt zDQJg~feus^{x!v@26jQ7uJa3&6O#1ry}%JB8J(7LmmT=$3L@W-XOmpmo5g;1)Ifhs zxm9w@mKM;sm}?4@AJ5boTh#j!ytB!+L(g>qM6J3To@Mm*Q=gOR>+1kvTvMtX!vmRI zc=99X<@w!otC-3LY$A=W$bALxg?7Y#2yGm>Rk}YF7y1*hEp&l>V)1q|*=${;FY{qE zgvm*xW#-ioYSgtoH|rnx#Q6z7ZcBF+@d0kp54S_BBX2uGjW=tAe&4u0tmwQZ0vOJP zh6?ExBZs| z-b~#9k6&Y~3+b2s6%X7;?4haEPV`=wWv)vQWgZ0NzvnwH-6w!{^|~bopDM-Ibu4aE zf(u9{gOK#5p|V@;!C0mGUU$|!1D$(awIsk;qlV%+iQFJ$BqwOO_la?)QIg1dQF}Pn z)X%T}<%4nG*pq^6*+7YnN+g2rIX#{gp6RNQKTPK~y?-=yR^sw*F^T76x>`yFx|c^U z^`0sK6&xX>Ig&<@lyUQ-4#v5L0G8ieZ$BV^>DbZ%kBL_iSeFfS=O(|cM4AN`znby? z01*p9*l^icN7*P+l+bCn(VX$WzWAad1cc}02ATK>K3FxWlP*CdFbkf#s<*W*^z61f zkK<_VpO=S$`nzUq0=d(TsM|WV_un0}mGxQ`^vj(;o?BVxFpEzFXoLn8=xK|=Q6+l1 z8AB+^X$H|580qEr4U~2Pc5!#-a8wl7C$#+BFnD2W+`B849AWjhV9#ZlnaFv*+QP^m zk37vSZC^cDB?BMB`{cfWIX(mLQ-6~#4^v-V+?A_7mF@-@9=Km_Ll!pMM1X~COa(B+ z`s*Lu?^Y@Rsr6cJ-N-892OcB3TV$m+`oi$fexPt<4MW>X*X*3A^1*toaH4k;5chWo z5mtNg4GxwwbeLUJ?1VU7U77KB=>Fk8p%lJDTJ9O#^SR?B(uOeJ+#6eL@(9FJ?^c}= ze;Jyg{Q1y2ddrfrVvdJUs_WSH4GRXNn1FVI8A&5ffS6roOn>#X2&~9d~UKMl7WhVwss3xPEsF|=infJft9+{C6+5K=TRfNnCU`8Q*u zrwPsReYdo`TEJJ_!*9$B0`{uAeyKGGm6`Wn*C{K}43$e`vDR~-Nn}#vzX9`rLihwZ zsUb&KHM6Dc5|Vb=sF5-pNtCa0(6q0oSw0MVK3xhvn9Hz0zS;DlwhKNE4A}sa?+Mo! zK+A%#2rzrJ_2^pd#eG7@!SHU&mPdw;8Ew^;ULQu+xx<+9$X?rgcnS-fR$1tk%t0`k zI~i@6>p~W8wBJp{zL2W>LJe9ne%zNMzg~bPXs+39`v{i6BkbexO!_l{xoCkDLr0Am zQRfxkz|5PRs~fX@>=M2nbmmcN++%~D82_dw%q0E|`dh6j&&7X!|j*2t3YZ^36jT#MS^ z5xhbZBP!6uI4&(Ha96Tfr*3Lc$z4b2`9mvnYg9{*?`5e{!gN)J~msC-ytrS#<9OHUddIgA}W4p^*JqOE}kp!*PHJ zf-yL@RCN@>=l&&#ghfH3IN%BoGRB~_QVf=_05W6&=wQchk8DqsGqwPO^>CRsc}$*t z=0LLutH9s3ZswOdZ1ZQnztVd^rscKy#@eix1OJATSHu_>>I%C9|Og|joABgw33c}BGlNJjbFP4IwmycrZX5`<;L0nJ%O&DO=Z~ zZt~IM=jmTa(+-g;HEIkk^adohsV(Vm72~*=HjEXPjmQ0*$W6qiXKUQo@k1Q)2z@Sy zX~k;B>{I!!oTFtvruw(H!JUkVZUB3NGYn^}IP%Ybt*IZ2bS`gPmC5H0TA#m_xQMtzOaV6Eo!2?&WxiR4$I=FAA(5!< z5r@p`Q5v2@L28T=NetDVldbW^%+m-z)F2a4HOs~J4`or@o+z$~UeM+fv{LsctmhHw z>Wur8_W1(o-P@qtya!dO$1CUq;3U(zoF{qd?K`6xF``IlUd7Wt>56>WY>6r`^TyQ~tE2;1K*_T-`?rZKscxe{;QQVulKzOOd%#w)_5G1Cj=027;%~C$?=V9j6^81+07E~RN|1PbyeSk% znokgV;;j;|5QU#y!Z6gLh70#rHFnBJ= zTnUBrj8`}z7@xhJ+3aGCxgY~oIoYrBMY;J9UA+0wjPs^8$TIx5a|1sT0Ins{&?K64 z-GE@O9U}2hK^%qaI@CP>mHCyg56}ITyN46)BDCGWh&~3Un93D;8#voa?lDp_r1I^K z7srfq|2+k;--;V)rWZSe@*#vyVFQ#LpLlfY=g`X}5E(U1xV90OX6oJoA*(_FlRU{Gg{uL}MMZKr$k_sh0ISxe@Hw_CtSxS>q&E_sWXrp~R1{&8B)vlVA) z&+%_x!Jgy=daoDNg^m~KT(ZP7Lju~HYv{PFv-{&qm5X{}H4JK9Q;(cgKN>@*Nb}|! zJ8Ld{uoEx%(#KG=wG8Fg>G*470da=d=FnX9s2B+)Ud#8&O5ahnRB_k`<* zr}nzMW*_4dmzuVJ&(M*SpoyELQQ%Bd8Bd2wi%W4@x}{UQdCEeeEO*q0{6rsVTXP$yx;HU_4GD4p|*%#$sE-7o-3)RPUmj)K-+G4vt@Z z6fp7tS?T{wsHI$28E}9}94m>2edIlnVoWH?oOZg!LnXyiKQhC>dI%X+$AMu)i~iZ$ zfnKaZWI$UU_i@yN<3GIsys*htJn=9^P+FqRo-FO%JQ}1Yb^B^?bu75L@2PUMV23w? zxM3nCIw~K%yAOGdO92iCu$!4cL~PHmv{PKf!8aAV&`6=B0TFw+(B*8X7+mP@A%U_^ zms_{O(eJ4TXa*tF>mT11KEmZ)dOKrXBXdULPlB6{?=?M{2TXXgB{|3>hcTBVkJJY> zwjZ_DUY^9^l+Mb`PUWe3{~af_nAu_huTGgKQvEbOV0ZakO1r zFymIh@a(3y~1t=xA2ULulviAyOrV8+YPK5$IP zd9^Y6za;TG+(;>rxS`FaT5~V_h*549E+NIhP=pIfAzt3MwpOZKF^|Jl(rb8kA&Q>C zF6p3?RrEXT{~&HyVWH$bv9E|ZXhl^iGXG_N%0lK1#r>5}{C~g7tY8J+kqnGS-*G?G z^6xl&rlDmIb3r7I(sF9et8Z;iMjdP>^%#NMH0>Y+26;QwA?G0IBR6RC|1kZqka=d_ zPIS@w_}1_y$dET8^=n8#lCf=ks&#QH;M{bf?{>vWtBZyF(zgiPl|%*i>z40Nmk+Dr z+?o6+l?j8UnEcx%cTg!y3{O!~pxX!q4jF@_rT8Lf8itSfcYec`HO5eKOsb;vAI2Nm ztgG0YXkwHx=g<3_ZbyT^2+R-Cu1z|ZXar6&cjW~93jwi^l|rt9^w0{{q4TzgLiic= zlFqUQkR}a*F~&mBweGj%RRH5}QRO_Uzz`5KEZm1UV22%K$8Nposok_8ix?GgfR6nr zjWZ~eavT|_g%x~FIq=yF$bTpgV`-Ap#;m|#_{sFW-!lF-(Z_M!tEyS`@%N6;0Y041 zdM$y2QEmP+<6Kap^L~=O=y$s|>4RglwX)5NDi;uJiR_8{LSxH&S5q0zwL}ip*hnS4 zYXaeL4Q`*=c}^b^b0|*EbZm-To#~w3HNTR`eid*wiQCSN+hE`+v(BX^ny66-569On zoS~tulaJ?$T?R#pF>gIcV3ygHMA^L02)gA!dI>^ZrfLT%U)Ls=PK9ESN8={B)Ny z=8|k6$2op#|4Dro@P`(xUhA7VfZG__Ng zHM9@Y+eP%?*N%JBtf)e5r5(5LVgSxkrFc&85d#*mVz+J>;Q$Kof41dSGiE1x8&~?{ z?XQi6QRlPLCI^;Szqj|E;9v6f>1d(Hv_1^xRDYj>JGdM=A(UgR2Z-<>o@u@jc9+E+8J@5M7`@kc z-ZO<<#+mlDt$xpIc*c;0>G0qXNdM^i!!#ub!IgGNHITCwIfd=vDd2c@7n$_fAme|@ zkk&d~ZGKdd(gRO3GCS7jKtg7yR5gc6E}Y?se~DgGc|&=k@Rf~57nNc>RXS7slibf= zlec2PKFyXOM&(-3XwypO^U~x_LtED3ILZ2U2}bA~u+##XlFK7d_!{_qEqt4m zaeI0uTZ6o?foJS_d>qaKx7FPJ+;3HRR~|mBBOjek0aNq>sQA}Bv^5yR$@7HZ`Veps zG7)}Hk8^Oa)o_%iUEAX_hh=+}OBysiW&GND`Qj70!+ zA1O*{#{*?Nco?psm!ndsro%6cI2|DpfA1^J5y&lVB{{wofDe!`RIew_JiG}goToRP zzjI5xH6@q!J&y;~#mOB?3ydGl5U#rGsG;`5@2!_6i^phNaEhNT5sjbn^6{RBaYMqnNTwU-Whnv7s1LBo2gK)iOeowxB9BC2XaCV(P(yfeY8)p}0F?y@sp zryqo(B=MaVMK!$Dr#@1R!5}0<5W8&~P#7Tke1^lQ%VtKupHH&&wdXFn957$tfuqrC z0D;_m>*rOc?R4#2P=*?F?7C$pHH-03l^EK;r2c)a01%ZXM^lkY&)P`yQ{_yxOI%QC z&S%v@-xVSSE&op??|s`6(4z;;hd$sMyEr*+Bp`AtEvhM_&Mbh9mBzIJ5JdUt<{p0C z25F353<#aC7BHfXyfI)rrQ})w=6t8c#-$vYmRJj}fG0|r;|Y^6>AR52lT+-MLGgD6v8+Sr+NrrjonUtJYR;{lkDZV+K_;8G za=s}!S-qv3OjD#`MGc36dv3+c zXk#mg%-KjnvbjIL_Ja?qGlXcYWC=AA@JeIX9=_UpwCa0wfe6{1bDJoxmAMs$?Viw=1yG%Qg@y;Bf2Ot+S3x|Li|#lwc4ZH6~dyi9Hz z)dpwKU^k=9-m5CHcs${VKyF6iLdrgzhQAw63@f{R{`J_~mbl2zyemtAMuk8K>x?Qa z^GB+!E7R%sWP_bnqtcghjK(Zn7cbdZJg#!QoI?n_utTWA!QBLbx%7X$JR(gM`~7%y zZ>0pMZko*708oNbMs!NeRZynQ-OBz556y3pfKY=G~#NcsA+)<;PUrCAsd?Eid$7Q~Ye*n-o^|lMYOf zaI*Bmkod)}qBMFKe?`5J?ivk1{cD0G{j1LCJn`$kRTL@&B9G)v< zS!IK*s$enIeudGlOSkd}X6tw7?o!1C)65=OwILq$o9n(dLB^M;B?kh4tb^M3PEk_@ zsNzxqlH8m@px!@*3Q`Flu{>$y`^#7KAN@UlJ8pG^G$M4triF?}?bBTRtqd0xB88}f zvsKdJ(e}qwPZc9dat+Ce=)o{ctAL`=h6sSgSX3MG_}qDd_VE`-AR@;PKCTQ zMtk9|yi#o2+qHi?8udAiMcjFXMI8BgS-pX~7XsP_L$GE#s=+A5fRh^-qj0HpX@9MS z#}`#&NET|qa!&^=|12`hdYRfTUT(9tTdIO%pc(qXuAbpH89X`r>55?O{E+g)Ny!2L zuWlB0=%7-v%h@S1<`CB4%^=ffyTUAr(FtV_jbh+)_gl9GWpHOEf5h*-v{SSLCXkR6 zSph9@2Tq@_Tq?kTq9Sror^LA2pX1~cVWWDJ{u~P)Dr59dm6=_RVVS!$JN~Fgiw`~`) z!0ZN&6hf&%k=EWHh_AvpNq|eE^qw7DoqpTXg#u1w{{$}9DzRQ=pgJ(5b%iSYmQv2$3GJat{n;} z;0ZXW34b^D5KGVkZl3Ywz}%aEo0F(doO55$nu>Uy%RC2c2m|>imEO{BsBF?wSQjr? zVZl0XY$;gdZj?(Le+(aQ_+tLQ8O97HWq&CcCYrjXuqSKSGZ4S_&q*uObC|UuF1zB+ zHn>vv%=H5+4Gv}ik@N+fe~7R>>S>rcJgUyq8uXuTgM7@m%%>kceD&Rjzs|koAK88p zLFXaclN&l8l);ImpP#jHmTe#P?L7T8l3s1rPW0tN^LTq1XJnB zGKqfqa^)*pK6#PMz5kbC<~Fxz`aJoH)$4fNa~dQ*VZm{L;ppD_tsMuDMKG%a!ow6L zzN`r+So8xQSQC}A>l0sILRK4Z3rUiVNv4S2HLtOkG}o+0O`%9i`a9sVzH3(8oEY}+ z>Vl9NIt2m{csXqZ%E6%JzSuEy%)JLW(YFH0h0zy1qf>H!Vp)IHwE$Y3P%3K^RYSEG zX7jJYx}5m50UDP;RVmJND^?v2e@WdscL!C>v3^b&kLG2K@`kz2D}!=8%lIk=Bs9Qr z8Ame9H2_o!1Lw&AOj&d%{&K6yvvN7tE`WZxM8vJqS+PI#mD8>34cOsREY|7^4!Dd4 z-_y<9;RV7sTQjXjpqS*BZ>RsypJNuOu_V*V{~QHA`tI|WdWgN*Hg=o6@ZI{cI?&Zy zqLngihj8lHy+k0^Z0(K*RP;^^i0Xp|Uu=dQ;VXz@0mJN9N5RUhR{tCajSi(fT%)=P zZSZ5fVC*Jw_RrTig%EOIVIg6rSKs@A?mBL{YTl~{`yeOeMFa$Tw$CCuDBPCv>&%8s z5)%V%{V#2{GT3eJVWcyX?Z@?t9(hMl%d3k}Hs#qu01~EB@p<#(X3?BOIzkJ0^l|{? z0ey^ww4?d3T7DIPZ0XcX0=!Y65RcFjdT0s3@e}Iqd}2K`5W?N>mB)Stp^AH&I_<|P zz0`p|WMB~tjU~Cg;>TTqybD-k6=aCz4#Nhay@4T}aL^uYyyi9jh0f~zVGH4-Q2>6( zsx|%S1{^%lS14MQHhAhcTiX77kgbML3aM+5D-rw@(xnK+F8X^R*HnjHIj-Y%m;4R$ zexS?|Kp&~;_?L=*#3WDW&;w7tbplLRw+XM@7ky}JClChz9~49P&TD!y*Xe%epvyBJ z0Ai4VtlE)doNRC;KThG82{8XeS7)&;J;~A!O11~N8QSa(DWI)V021_uPoc1m!RVRT zjhA=+x<;O=-9Li~vRL7=l^*}BH7C<&{7&tBNZmz$<-00EBH;0(U`a`*<7>cE`FX$- zC?6O*WGC{(G^(vh6j=qb-$^akOy&FzbIZzg9v^(XTw%OW+Coej zMn+FVaVy+)pm>UbO~R-5Zrhg*k9}J**m3dbZ9TFuz!b0~XwR2|)3X5l5+=^@K0$dc4xqpwPWHJWE#~1jG zkoG0el4l1*9z8ch)nV<6(x#wM&L!&7xJFz0P;yWdL*Ck-kq8={YR2>a!U5bHO(L>{ zNMn4vj+ODsiL!i(+dY|&3i_c)Y5Jrd@sEVO0FEP*QVjTB>qwLCbWm6hnjj6N?9Bu! z{Bz*G-v>paQ_9f;&aX9Ug&&07sksG{D`L99V;XFYag5H&&s0FEV0Z_ zdylS8oT(kC{XaPq!=P6g!20^%BX!~(u9P-W|0c|-pWh_qi=|XMH4@F#w2a?8K5z$S z%o@z}1pQ9>W9@Zu*9PAG2VT>Cy`ik@Rv7|u=TSBH&uwK0#nF!Qx7w8+;RvEJLVOMu1**4kd-w@&5h2vR3k635GWcUJCOlAx(rEu&wa$Z{^wunC8SCYL zOQwUe@wCxfw7DpscY5Afg2v?YmWcxD98Q(^ZU?fX;oa%Rz6fX{?*dQ{HpoIj*O2=; zAPZ6HONg`Q(J4K;p_$JMQDI-&zXZ*xl1<(5`%b=RihJgS9Vb`D+ z^@`;}LscBB1P;dv`QyHw>qe%~hp%*TYi8!IX7^4Qp>Md{_T7A!;(xF1w=ZR)+v~F& zA3q*{+Pu-Xr=0j26cAgAn-op3j>iy z8g26-k{^AcXPl9$OGu-XCmAk%)r&w{`FF4AU*j8ovhwwzYB1aDJ#`Zf47F>mk@fQS zB;9xp>Wk$Hqb2m7gRaF?HmnDpfhoZMv^ikxz;%u|X zHcHFUT^~6^g?Rrgd_R2Y;|On?VxFL7Gcy({6w0c(uVJ59hrHGHO-ZqtQBzmLz7P!uTSsE^#E` zN)>xo>nTaQeRp{eZu~ceROSmcYUezFQ9g-Fn*K`JkE_jZg;}y&Y(R&tEe(SOBGs2B zrU_{mq%$Cu9wbQWM5Jz!LWSyku;3c1CE2XS<#W8A57(sjIUSa{SV=eH_*J5}E^DF= zR;2WErot4qq7S9TnB23$+A|HDHqvXvg?4fJJ#Hq1bogvh_6{C}Y0rpyaJbC-Njq^1aKOe{N%?v|NuO-0Fe` zw20|T{8N9~+Qa_4bKKsxJG2BGvAQH%>|Hk&VG=EgSQY82CF2BAb(fk_swI{K-{O_z zw@fCc&iYa|Hnl! z1y5-QHBFJr4c&L}9veNg;C}ea@UaNpNc?$^++)p~6ES>Fat#Ki)JA}Z> z8~Dhy4IjSYCy$It11p!o^9Di$cf-(-l3p?XVd~JSOGIbZEOf77Cx8`mEC?m zz5?MDCYPBj_AguHpn8w~Z`pWWHzi1@&KWL+A&Vl6t@Utn%N6JaX$RH%koE59wn@Cj z&x0s55iB5Q@%bxKeo3m|T=0}m_hEOYYNI`85(h%Rk#+e@{qfbMHX?=B8umcra@2R8 zlO3s<3RYiKds}%;Uy5Mu7z&2A_y;rdr@+jsRH?Rpv}v|{dUKMPm`nf&&626sQnqly=rnVU3cOipxOhYZ&6`65w!A5TpQTf2TIAsH)i3PBp)gi z=a9Bg3`TIDYfC+C=)8Tj8iW65FW>`wB);Vrh{lzE83 zW&?_)DbibEA?8~F*Foe3y0)()6=wL4s)Ih^Mt03;=f3&8#Hup2&4WtNRw6ltpTYku z>{B2^>#6+1;6~9OOtU(4ZGkH3QH^Gc(NP9t@)r+r%zyj0JLPx8Br?cJBMS6nLC=@7N}oJmLCi{4?5yo zsTKk_n*GU2qWB)CO>h8GTq|Vbpmc;};nMBf<^pBg%E!7CL=~E|*5F51@uKj{oofV? z9q-pmrt64OM5Y4ca{}OQc``h3-fGjK;29Em_`U6Jy|`Y7I4lk{9T+9&d8ZRNs>!KZ zquL|T2IfjX1yCR9!e9wasjjVVa2}95w&GXmIiA7{0;`S)A=$4LDjRJO&4$k?Rr7w@ z%USU69V8gcNUK8Dk#*_XrWSa~tna?|Hte;IQ@0c0tdvde4qABpi3Pa1hK#^F(o~o5 z1W(Z&?oM(73W$-{{DHLn22j8i`ii0Vw0`#(3)$VEeduIvE33fp*N28a6Y##`5=)C| zYCei;HYk0XnJ*#h-z-xPBZw9Q4Wy7xKfq)vV;ir(d1DN)3tbdT^F&qYQK8jA%hA8E zuJ`0*?*c@wd-%4N#3l1sFXubpA(lxL zB`S}oX>B780`U-x{I}g@mV%2{7M!AY$8x*#nUTRz5ewd?or&EKLHsLp;@L7lt-Zb2SlD|0La~^-ZHLc%`Nn#`FP1`t`JeXg zJqv(u`iRdnpOYvMo~)Vm_j6ZR8|gV|sTzN^Q;rFULIY+E!g6#i&r@wT<>f>L=-Y13 ziB57pjLfF1mG6VWZcBF$=baDGp7PlRh1$2iuzSi|UwAl+khLHPK;=`MB@tKRG$3h$ z6O!U)Mt!#97JY-zdg6ajGw0W@WIL?=8vAgCnS6J#B1guF>;oGHwdmqxoc@vk(4&1o zkDiT?>iZ6S@5c!NGJ34m8mWA#4SfN_I+XsPnZS}!Y3-l1HcpWCLJdaNQb*`y16N%g z8pK@0g6*{`p6O+PPQS6+7JN1Z#jyzQX$MDu}Hu=wa>1C2P93^0BRn(Z(RC} zLN=`=&_i7;qVum@Kaltj!}x{XZ$VBN@Oy7j7+exgl^&$;6E>%qj}{L_3r4$x`UTx0 z>fRxZ?P#KyaaK-)OL{<|l8ZhkW0HQE0|lYPW5@0=>PUdO ztvUW=VMS*QS{|k@Tv+BRT%QzL9xmK)*A~NK3;Lgc5>*fDvt@I%=KGEKKA#fr=IJ(3g!;rsXUiHs^H2gs;?v6tyxEPJZBt(v(bT4I+Xs z`q0oX7pa(0?)ydj2$tz1l)yWsh!A0AY&&~r4jqBXN#)8sk(bPXyfV>8yWPV; zCoKkA+DFI6(0pt{5%SsB?O4Bis2Mz6#Z{h5Rvl34y>VNn#usC$@L+qV7!@-}k2qc< zQ`f1mOCn|tS)bOUYkOkAhYl+^Ug%b>-|v3=@-3!r0k6DGBaE0Avq_k z+M7Md~9cI`WbPV|39B?(rx2otI~$m($b@e>uQ2@$(=EWyq! zWt#5bLaJT7z%!Lamke!S&9xNdH8WeyXZPunYBUJXkLB0@C;siBYRlpo#HzIr?Oj^= zX4=j`CzdukJx*b9cu3jklPBB<1`zIBA1iD?2FNo0JkX)ZmT z45_x7qs^8Ixz{zBszxzkVgi%VLaQbJ0V(UsN=zYWH|jWpQFiz>*vxi^s8*~iN`Qj0 z-?UP1d$xpiL&OvGNm%rDZ+biX_`>`2(MN8j{sndVmCuU?QQ2ycieX$&Cvq^)-;M+o z*njdI@+9T>)hD>-(a^q~mm6@5<_qi{4y#$*@JQrQa3{&(J@x3&1l^ z*>okeX7$O{9>}%vf%2U5JJTHoP;C(%@U-hPU1S!ytnc0F&JHGtEQ3Sod~b*5A4^6#|B1r z#`s|UeQFGs3VA?o;FTJLwz;aZt7 zk=tt+hV?4!ChJ{>20%Nss_6&t7Jg`;(}Zkq&PaticD)RFPAXN`53}mqfa+MT{~k4L zl^-L9y2!6i%4`H5v&qJX^JP-|cE`bHHa=Qh9*gz6`n$c4Tv5@^Lauv#h*OK9qfdli zF7}v?cKR18#dA2^e8Dr6-?!QK0S5Z{uW44A@`}S!PdBQK@0W*RI3{qNj4j?V5YIbi`w{_!+1BiVoi8 zF5~x=XiaQnD=Z3yBWnNWbXXKc-A~4%UMNtf{PpHb<`on`jYJnN5S@^YDQlxitbC-=6j}?EqgToWGUpZb9(3% zZj~ZLrG1m2?RI71ko?`D^sN-8{b0$taOf)1S&ttL#(;qKq9uzZLo2zLndrBdX~y50 z>1pUkpDc=7K|EH2z)S-fu+2q}sr`}Z#-4IwxCg^o*l{mDiYrG}&a9QR_Ph7`$bF^- zZi%@3?Pk2}#lYlE76q$%|PYU?$`i52UX< zPN_X63m%X7bDm3g7bIS{3(pjV&!3up@zd2s&t-8w(tT=R5^}zV4bQnUO~VNpdgCQ{ z|N1FC&ojxkn(@^QV1pQJ}Mk z#ZGVT0$)kF^;oGp<9<+kc7v9HCPcO}z4W}jH$GS@SJK zzM>s;IJ2icrC&Jo-}0V;lovvd*xbEM}vIexY;V!5GhL?xf{04F>Tn&6|b z^W#1o1zgc&96?8wDX zw`bk+*+yY{MZ>*N<|%3cM(jodU+hQc2XAkpTp;U>JpL;*3z zWiiMxqECS0kUPPWL8*okFkg5FTa_oqM#DWqLpJ$r?Btr9ECga8>&F(UhcUvQs2va* zN4|=QCp5v09c$BUy5PNh+V3MIMa9`9d^@ipN%wqDFO2V(50%KShq|*2A<&OasjJ#L$z1ynU6JTg95`i9--D8fA4P36*<+ zAeGgBktax5P>hxJcB!j&xAU-EAJz0lUD`_RU2Uc0moP5sc+J=EO-KokI*l~KK75mw zuco=OBy??yS?kAJ2vgLBM*yvH0>R{cj@Mr*`fk}~@Op4OODm$@_e=au9~(AAy$}kT zYlz@c-3iYE5tn~UW_*9qmy2aWpndxmMc9`ukpH2MehVMmCvv$@wcGRzcM%anCQ`cN z?M{BO(R-L3FA@6sP&;lhE{^CiAHseAetj~@;Z+=Cro`BSomkF+AO*&^0-M)*GZH9! zwec7P8|FEBrqa4eL>s(nV4J(}UalxwlJT>YV#!*BOG`uwD(i>&MR@F+xuY?U(@=6; zB)ko(vog2$DV-#U@|Fxl{HPwfgJDE9adQXB9*0W@a7NXyOcXOBcui7b>NJuHqf(@U z1+akXH69GoW*ho!3xa_2^BgswVLB#CSXv72#hqv`%Qe9^6zuAmn>cggd=mu0lLCFu zUJ83xq$^?Gs&Y1~j({y`X3oD)L1TBJi274mzMl5);w9Q8Cagii-ieB`5M0?!i>wi% zg?H;zFS9{hVGty`V<^hFpC6k#odYmwi`al`jOv%cU^(P{b}*7pu=~TblrPbz)YG1n zb@?Hb)7F$H)7!L-j=Qdp4@^}&;#v>U03@#_KTo#LvD0~LC(Qg|-Vi>A z%tbh$J+>rqO*Z1tZvNxX#F<>V0Xn*etD_is-g*&sA3NE5$Y7zBsH$ z9bb?8d-3++l)jgsGVzF#wTt{)-I^!Ykq-}%ntaOG<{?m62xgMY%`|p<(V$ZcX&nHCg6!*u3uoX&SZRzq3+msQ&F0rqLqwke!_qr_~<2sgt}AN_Yv@> z0vjGfk?&yvlHZ82pQC#VC-Dr^yK40YKxkNyPBRIK_p6*CHs z@!Vpwx53{6DV?dBMeag!iYv!dhSqpdt)tLc+l1UAQuU1|tPopW%hszSQ6Edb^CYdT zo|V+$+O7-*G;<6h9flm29dXYiy?tz^GlKOhg(y~)$^JWT_==!7t)0lhUKrhF_;^gz zg^aepzxFlq85x=gRa^Yr7+2ej5MDV`;=G6_(^G8??ac}J%^7v67hHDYwY$R`c`;yJ zUx3J7GPtmP{xLinXRO^xsLpyp|GykBRHL|0l)|aj(N?HmTM`e;^-$E<8w+W?y|tID ze+<>HmL8zlYc&KU`abZz$(1Z0Wo^}M{5D>TG*(s=QmDkx?7H?t$s0s*YQWmQ1`{;{ zZ}fdSi7WvT*xL8+k;?K^BO=k7HScxdTyB|)({(4VliV+of(spHLjFcFx-z9cae zn=P@>LasX{dYJ78;Y~Ys)tvuU-2_`0`)BMMWv42d}T#UmWa!VpuXHo z9NMV{gqAi_V7>b(AqSWO_>N%#)Z{2B@=9wT`y` zl(4hws|jl2cUst+?ZjLAl@2Xq8mkU8vk}IPPmdG-;_@P90f!zi?uQ0s`;7*&rt71b z!^@kdUxo6UV+{rK3^pLkQ;#j$>WTmY5Rol1N=(^(o+yBO#5~#COb$@Ql^nf-t6_fYM1T1;bSUgOsL1JZ8f25 z{QbIcjeIdPUeB|%jf)hJL~X5AZ_8-`J^D zy?uN*K#Uk1JVCZqwhAKOy`BOeNOCQsTB^X9jE#yA-@84P`O{67I-9JBR=YOB3f;ml zGUQZ%{ITPaL$IsC+|CMR6CS9$nMuqfBEEGaFiG-yK+Dd@UHpwvslq@TLFm+Pu>do` zz(dM@{>LI5xA?(ajpC<;CZf;tQM67YI-vI|6#0zh|w1QunVT{b^XPwZs%qj$kf5c#82tBjXvsj zN!CB!?xF8>0gqvd>Hi?ES*CA8aUr8`p;WR>%e90&$0a1@Y>&s;2AX3aL%bYa3NlgczPhOi(GId)v>T8uOLcg+ATkZ`L9p0Q}a$b|{I-xx*GSr}r zdG3j+8DlC7_92)KKoaK~T_Hb*v*ZM2o0J?R75iRPOfSL#WKtB?shXjF&d-r^cS&*O;2|R6*R+E&0`G5(|lBj?}N# z)1$wC3F<0r3|VZ$cb2l#gI}qqD>gqN^b)nVLRI~-lNffFOgZrJ&ncNeUCQ^F;Mk9Ec*3~UooW0+q$o?I%7{2Bg3OS;RRJ?NEdN!oo#NB zIpszXR1(k&8Y$v^P)VgP?gcyt?+4pat+-5do23#;=GH6X-4aH@7Ps%kT2tjZNFfIB%w%FX)1&B<$-L&_K)5 zWYEZ#6kOl)R1D@$wt`lQU$?00Elxka=}LbadwU1j^EN-?9~|BL-S^Dx28LKZUn`|H0)&FhyB1qCt}5a^X35&tBdJ}*>V9U$8*hj zb~D#ep`wlZH=p~xiqAlH40~mC4=DJ=e3ieY2#tdenc%V=rUTTv6<8#utNSvlhev|a z8XJi}^DjUVLgxsCABegY08T})rtD)P{26%`5Wm{Fx3v_nl! zvo}IG)lQ9f2`lt@gL}>FLj_FJ-&VFSH0$}tEy6>C5Xe~3oAGNK3g-(8Cpz|RKfcdD zl+~3bRCx;%Sm&T8!JnzkbiWo?f%wK7|A1a+gex@RH4n``ZREFdTOPV!VccR2-I3>uVGn_kxGkH<|Pu zQ|PI~%pB`l&+R1q9jm+{{i96T-1?K(^7K{~QzNzIQ@gU`y>k7+7xj3!(yE5ZfR8s|Ym0UG znIY@!1Iv{$M28lgM<*JWI&TMvE6)zv4n7?(m9jm-lG}Ttn$ zV)*Fj&fw3exfAcF2`#iDUFug7YL(LQ);7|(hUqgcl29VgBD+cU4*WiogA6{K7|6AN zn?L1!?5ry7ULlRzFOkrDSlVJped)r*XqGR_9q|20_4w^5I}yjjF&-!0$&|!}#|2f+ zybS~rn~MmWD>=b*C1WIf@V!%cvbG=aa^z9#zD?E9m8`2o`rbS$w)SPeHv}md5HDdd ze;K(fzf|K?Wb)(VLc1JkO%9DYdt9yDr^OdMX4c!%8iLPX{1|WIj7vb~wqyCI#p%Urf1R~Yf>y~3*_ z3g8a$C64gn^M;Z-o4%eO;!B<4OPxP~>yz0K5j`5X(JlAYj6i*1^aOf2l$~h6!$ymh z8TxH9ULDPy=guzP1lgv!H|cIDZoWyEjaww=@#yhET$?8s>JP|;?FFW|RC}j%Nu`LV zUk0i1fgyhDIdX|+75#v|klq6Ai%^a4tXgT`BE%m#ccwL zy+Bg^52=`^+Y4#(b-HV)Tz| z6KP!;Ym!GvWZ?oL5nuGYz^yK<8UNhPvajwZKUM{Q8r90Ze!rg8?xMR;|C7!f~ zv$XW;np9gV{m8_(4u|g2ogYlAk6M){;=`*E+LJ_&dJ< zadAGT)Nm$5pH92Bjq~scvK3EsQHNL~Qm4lWVb>4E<--MNNEqO1Y9!6g%k(a(CPz?9 zlq~7Ytnfb;r5hC$Sw172o|FKp6XS&zUdRiOo)-i<%;*Hw{x$iEXx3wwL61P=Dr*V^ z<@V?CW~al^-y3_=w5zo=S1_i8M2gJ;hHu(&f@vOwlBFcukJ8--?s>$aV&wf4#ek6Xo&dBM*yxQN(mU zc>B&Lx;<-)ZL1zh)GGg zI_q||gQZp#=oSP3Xk6bAMrAg*iwW(ipH&ot#VS`;ZNB9GC~^PHsB6Nzm+)BanImaX z4zZ&yQ;7*KL2t`T(^{>WoxXx}D60R;w`e^Rcr6G2@e!R+raJ zz(eW4>C+=m`oiJ!_Mm-L$ zN+OeBj`_F%O?T8YCRb>M5){-ki3xG4h4K-6{(_!au{WtCx3oyy=774gGW1H5s-U{M zg{m}9T3gDxCwvUU2(gJv4RpCb@s*O!tQt*Ku-`6D*J*k{)voKmg_LhUBzOyL8(n&}E=Sul&@HyV9YV20mBp}K zm6Z7rp8^wkyzWZ3LH|=LMGzb9=7L^e-s5T>l|7sQJ$?P_b$F8oZpM;wt#bDZ2}e`J z@aVp9!vZk{?t8Y@EccE)YJUjp;$wXmnK&d;o!dfV-+Ityq=JWO(E=Xkl>K3$gS(4c zbfIP!r|GYFtjdTJ;l7$F;^rieWJN?gkQ8Pfw4Cvl)L1nWGs*g@xrKTr@Tj9~Kk2FN z`9?rw(TN{?wLJ5*{ksJU>KVx)YSDAa37H(Sxt*prl2x1-e-_FuJZ=l=rHjZncX|5Q0Y8*HA!}aq zjH^0TfrYAg^z=5C$s~ag@9M=^Bc{slQcS6aYS0RAN^o+wB7ui|6G6PP5Og*79)t-1^DZ)9ZpPt}2_pA6q?; z>Fes2A-9=j(b8ksoHp#)d?ZR&FDSrDp!x7CBA!mY?x)F$T&}{cVVBi=nzuE&uapaL zRFzDtrNwWi=zn5HgCuN@I{k1;D!$xUL}%ZYp_abu)N;K^)NT(MkZJp$^Y!E;Kz@M* zHqU}?X36NzgBSVp8tV#Sg=Dp9D>OF&N^{szD$>6(?g70W$*M(!P-RCh` zGc{CS(I3KcR12y1l1kE9wX#_|PTMgUbM-tfONKj207o84lnExb1rACY4wPXxU|=> ziNax~91#)H*(rUHSDL~gp?PU~I~KcN_O&EVvzEN<;`0*T3<#xv+SW#YZZ>ISNLN&7 zj4F?wsD4yiZe#3ZwuyqUIuKr?jX!}H)Em-zlUO`**z?jUx^ns>&n^Ubek2HT?c|cn z6;F71YhW#2A8qc|OoB<)%WCd{E&~ESNsply$i5&PItl$v$*bJscc)uHTiYRpFUc5j zm;9v!Yxq^INWaJTugO@gb_OResVbfpb-X}&l<>85QaoPw`;e7xsTNz2$|QLS&tsyQR6l9MO$D!oScY`p!bU4>bs`RhETW;NsX z1A$XU29ed}xR2X4F3O|>R>;K{n~Tg=m1z{~kq3k88hBnDPq{UemBJA_bn{kXCp4$Z z{}odELbYnUNz&^p+hDI9m;SiUresdAY+?ldiaMIw{kU*33vG*C4ND*d$-hl90P9 zskQAXz-l;wq+;fWGK<)R|7qwap+ZxJ+wOBq>kVZt1~A9p4Lu->CVr)ER*II&zXtL~ zef%ntKQe5KO>Jn^yEm|5*Dbt8dCkuQ0QSej*k1tEIL_oAem$zyfXEahWqqU-?G`)F z$g!m@dU{mtjt86_S&4XqXQ26l0?yXA*T7B0`L}XQ3Qn)(!jPy(*s|1@q)e6M#pD9f z>J+%&N9bUbIb(*)91fVTBvAnSdL_vB`1WZdJU=lIkWi#bhwTyHkl*FSBY+CFS zC4{A=bN;m6U_pX^161O=cajuaoJavVwf(=h|8LxuY95rh2Y)`qgFq%(77{>6{^u*; zEkD?OHl$(=bZ|J7e?G$A0bWH`!Rn#;^A+$`93Yp()v2EqATP(7<#9=NaZ5|+KEL#C z?)1s0RW+%rSI0f}kQ-3T{rh^HzXbd4ckJWwqJh`_-nX*Kl8RA9ZNoH;M$rHU#RDn# zqC`o+o^EBwY*h4w>x3@)B@}*X^4yjtooQ7-&MDt(b(rg6H|^PA`B=c+N5-cp4z(jg ziAU&uk<-wr{j2Sis5e_&9z~g46idC5f9~S;dMBd3=^`7Gl8v`ecm%rS(S5Nn7>V$_ z3zo{mPAF2+YcO3&K;k?v@ud-|AhPQ?cR$%0M|qMh(()p~Kb|rq^HOEV^GwWQss+*K z<`h%W(~(US;zE43$KDk@wP@}&9Eng){qDE-XuiuJw_?W{TDg8Locg{80mX0!#nECD z6P4n{z%Bpp1S&!NR@mOw;+%Oh3D=;ZtKoIHm8L z7DGH(T!tVm_tWq?dyD_~8kMH#D+Z=B(-U`fSV7BR56(-6jS?vin=x#yps%8NapJbV zP|;_rE_K7t2Ly`H`4}qhtZR?1&nr^hmQT++B}Y1h^@j5#hJreLm#1M-wHo#h)R(Vo`qML_??K zj=WW(gpKydVSd~j-QOc2cd9zNdlD1q-l z;KZc-<_e!7;^q2#60TZ@KBZV5M^X+P=@O=IW^) zv^57f+vq5y@m(7gLL8Tq^oPs4*MkS%u9KcvT%8~2V=BJg)hXOXlT`APNIg31JMb;% zGYeoBIl$A0OcqO>^^iQz5k;`N_B^en6@yjl{A@-lBwP?ao`2|dvmSeKly8oWX4Q`n zl*0dczM%)Qq}=g_MVZi1!&}mX1h6p)5a_mkhU&>~!pEo{ZU;fN$|4>5`k_(n7@a=6 zwJ$z^-T|utU(QXg+NW|A26!O{-|tt}5g#9&4YgwFS*izHJe`CZoI(ex4(mgyEk2_4 zDIvJ-kM#XF5)PlMZN+?t&$j1QWi-&j=?#>v-}h^;@1ZQ2io?6_p49REFXxuZs5gF@ zb;gbo++!MolA}yPyxJw*pmU>U_BZ_YUQN?FWo*3W$1tJ?E#U#tTTYT>n@sKNE4F*I zVNXQxkT?wVu&-t&@0Z{dfIeLNMffSMgKyWN*>0yIP2OJ-04TfiYr7-SfXx@l_nZ%($W;3>+2vr4$rHK5Ype&{_n7g z_YNlDuL%;#dJlfimCY3M-nX+?b2WT&9vL)I~p8E z8TXKQva)SdG>%@a+j6~IN7wLFMx>^%UANNtNLQP=oz#al={I(B;VAbhA(&=LJxS%6 z7L(jWfPPeU)_OWAQo`9XXIHjS=55rL+Nu_EQNmo}ONP^a&W4*MhJ3mA`F5cpQSR1u z{zahw8d~#%;Q9t@$E$BCgI0*!Xi?4gA<}jG)!w(I_wA;!)pU)=v`KR}*0YcMk3-IE zbqVo_Jt!7Y!lPHHUhEk7e9vz({fcmMFx7tNUrh@He*qAUNh_kx=Gk7&c(Ef8G8s{d z7@-!-{Zv702Zw5%hGX`5k9)=Zpbt8u%xi9+JdGrgqN4FkOw*d~=L(o9d5!Q0@JR}? zdI$PUDrWo@$S}xI4k-O+aj_I|?J{|BJ1g}g*FH+;dwu_T*B<2(OP}q_mF2tn$a#O7 z*rdUBUoRUjBH%*^S@aHF=BIPBJm7AfB$KF+i|%`bsj$qx z;T}NO&WiRC5h8&`Mt@pyt89uVpjjJZFL|J~1>V%TwBN^JuA%>Hya|}y z8!Z9bAav=R%7=PW*CY&zq9L%2$OB$9-}cK9xDP-OM~WLDHdLO6GTVtJ!`_@%1`9kx zbMk_H^2N^&?8zpRB#)~(xk#dMRvh-XXx^>Mm_~_W;7!BoDS{yEytWH5^*fEm2OYv0 z!X}h^yuHyEqsd>YJqeBDVjPAt^eW)-F zzLC4BWQN7;JtGEXp@gvgZ-SMF56`SmgXs`wbg_3rW!m^K420@GT@Al#I-IqHtcRzM zm+1{y1-p&RWiJPZ+VysIo{H~xcqwKaQ!0~qv(QBeRo~nJ>RruBr_WUy;Zr11R$3@o>-kDEQlr)^G94TQ2g9fYq3N)A{@z z!5HBq$F|Fx%+2{~m(PSg21ifqTHGFWKyK9(`UjN3+Maiz15&j6Og#XGGbZv^>AXX+ z_ijTF@H{8+w)-+0Oac`q`IW)jrn|h5tnKG%pQS;*)Dk`SZlj>lbmkX(-t;f7QbCrq zdyd&RACs53fZ+kz_h;OkTjhWio;~^H9kgCHNrlBAQO)ib&`s_2d*6Ame<qnoJIay`q=ZrJ}=9Ev|uR#xb(J0eV# z$oi%gnyv|`zw1Nvg{nc4+4Q186{RNmk{$)?r*b|~SbYIzDmGhdi6TU(ez2=c9oldH zm|S8f$+ACo>BfRH%VUcS6-rBFP7e<1-;q}V3>-@TD%_Oclje}yKq%)X@_cx3f+&B{5?CrBY7J8E>-}A9zot+ZJI{cm?jR!liA4ktQ;h--W3^gF>#%2 zej{&GN%dp4_d$zX@}Vv_UGITO)Gj3$X?&#{0HPF24MCc0vD<`VKjj%!-iiqaj6AVy z!5@q#Im7_2?Rxewe$$<@o zD$oDCMCpGB1Y1Zld$#i5=3@*Ta_BIM@%dk~2EQzWnh11uBhk#i&8N!@@N_zE*Z$up z-VGXjkr;M(3I1(9e#2nmuu{3dPdq3Y$jvsdOXt7M2M%_}h^_L2*1u2u|83-7$Nhh9 bBkz$sLl?xlUvZ#30RQA=l%*>rjRXD{UepI6 literal 0 HcmV?d00001 diff --git a/tex/num.tex b/tex/num.tex index 00ab85b..b955d9e 100644 --- a/tex/num.tex +++ b/tex/num.tex @@ -1,10 +1,9 @@ \section{Numerical experiments}\label{sec:exp} -% In this experiment, we test the performance of the shifted Power method against the conventional Power method for solving PageRank problems with multiple damping factors, namely $\{ \alpha_1 = 0.85, ~\alpha_2 = 0.86, ~...~ ,~ \alpha_{15} = 0.99 \}$ on the \texttt{web-stanford} and \texttt{web-BerkStan} datasets. The \texttt{web-stanford} dataset is a directed graph with $|V| = 281,903$ nodes and $|E| = 1,810,314$ edges, and the \texttt{web-BerkStan} dataset is a directed graph with $|V| = 1, 013, 320$ nodes and $|E| = 5, 308, 054$ edges. The datasets are available at \url{http://snap.stanford.edu/data/web-Stanford.html} and \url{http://snap.stanford.edu/data/web-BerkStan.html} respectively. The datasets are stored in the \texttt{.txt} edge-list format. The characteristics of the datasets are summarized in Table \ref{tab:datasets}. + This experiment aims to compare the performance of the shifted Power method to the traditional Power method in solving PageRank problems involving multiple damping factors, specifically ${ \alpha_1 = 0.85, \alpha_2 = 0.86, ... , \alpha_{15} = 0.99 }$, on the \texttt{web-stanford} and \texttt{web-BerkStan} datasets. The \texttt{web-stanford} dataset consists of a directed graph with $|V| = 281,903$ nodes and $|E| = 1,810,314$ edges, while the \texttt{web-BerkStan} dataset is a directed graph with $|V| = 1, 013, 320$ nodes and $|E| = 5, 308, 054$ edges. These datasets can be found at \url{http://snap.stanford.edu/data/web-Stanford.html} and \url{http://snap.stanford.edu/data/web-BerkStan.html} respectively and are stored in the \texttt{.txt} edge-list format. A summary of the characteristics of the datasets is provided in Table \ref{tab:datasets}. -% create a table with cols: Name, Number of Nodes, Number of edges, Density, Average Number of zeros (per row) \begin{table}[h] \centering \begin{tabular}{|c|c|c|c|} @@ -43,7 +42,7 @@ This experiment aims to compare the performance of the shifted Power method to t \end{itemize} This function is strongly based on the \texttt{pagerank\_scipy} function of the networkx library. -\paragraph{shifted\_pow\_pagerank}: This is the implementation of algorithm \ref{alg:algo1} with the modification of using the $l1$ norm instead of the $l2$ norm, which is not yet implemented for sparse matrices in SciPy. \vspace{0.5cm} +\paragraph{shifted\_pow\_pagerank}: This is the implementation of algorithm \ref{alg:algo1} \vspace{0.5cm} \noindent There is also another function called \texttt{pagerank\_numpy} which utilizes NumPy's interface to the \texttt{LAPACK} eigenvalue solvers for the calculation of the eigenvector. This method is the fastest and most accurate for small graphs. However, the eigenvector calculation is not stable for large graphs, so the \texttt{pagerank\_numpy} function is not used in the experiments. @@ -51,9 +50,9 @@ This function is strongly based on the \texttt{pagerank\_scipy} function of the In the PageRank formulation involving multiple damping factors, the iterative solution of each $i$-th linear system is initialized with the initial guess $x_0^{(i)} = v$ and is terminated when the solution $x_k^{(i)}$ meets the following criteria: \begin{equation*} - \frac{\lVert (1 - \alpha_i)v - (I - \alpha_i \tilde P x_k^{(i)}) \rVert_2}{\lVert x_k^{(i)} \rVert_2} < 10^{-6} + \frac{\lVert (1 - \alpha_i)v - (I - \alpha_i \tilde P x_k^{(i)}) \rVert_2}{\lVert x_k^{(i)} \rVert_2} < 10^{-8} \end{equation*} -or the number of matrix-vector products exceeds $200$. \vspace*{0.5cm} +or the number of matrix-vector products exceeds $1000$. \vspace*{0.5cm} \noindent In this experiment, the performance of the shifted Power method is compared to that of the traditional Power method in solving PageRank problems with multiple damping factors. @@ -63,20 +62,57 @@ or the number of matrix-vector products exceeds $200$. \vspace*{0.5cm} \begin{tabular}{|c|c|c|c|} \hline \textbf{Dataset} & \textbf{Method} & \textbf{CPU Time (s)} & \textbf{mv} \\ \hline -\texttt{web-Stanford} & \texttt{Power} & $71.7$ & $70$ \\ \hline -\texttt{web-Stanford} & \texttt{Shifted Power} & $665.4$ & $56$ \\ \hline +\texttt{web-Stanford} & \texttt{Power} & $74.5$ & $738$ \\ \hline +\texttt{web-Stanford} & \texttt{Shifted Power} & $2320.5$ & $276$ \\ \hline \hline -\texttt{web-BerkStan} & \texttt{Power} & $202.1$ & $49$ \\ \hline -\texttt{web-BerkStan} & \texttt{Shifted Power} & $1342.9$ & $73$ \\ \hline +\texttt{web-BerkStan} & \texttt{Power} & $194.1$ & $555$ \\ \hline +\texttt{web-BerkStan} & \texttt{Shifted Power} & $5740.7$ & $356$ \\ \hline \end{tabular} \caption{Summary of the experiments.} \label{tab:results} \end{table} -% \noindent The results presented on table \ref{tab:results} are a bit in contrast compared to what the paper \cite{SHEN2022126799} reports. In their experiment the CPU time of the shifted power method is lower then the one of the standard power method. However, in our experiments the CPU time of the shifted power method is far higher then the one of the standard power method. Furthermore, theoretically, the number of matrix-vector products should be lower for the shifted power method, in particular it should be equal to the one of the standard PageRank algorithm with the biggest damping factor. However, in our experiments the number of matrix-vector products is higher for the shifted power method for the dataset \texttt{web-BerkStan} and lower for the dataset \texttt{web-Stanford}. \vspace*{0.5cm} -\noindent The results presented in Table \ref{tab:results} differ somewhat from those reported in the study by Shen et al. \cite{SHEN2022126799}, where the CPU time of the shifted Power method was found to be lower than that of the standard Power method. In contrast, our experiments showed that the CPU time of the shifted Power method was significantly higher than that of the standard Power method. Additionally, it is theoretically expected that the number of matrix-vector products should be lower for the shifted Power method, specifically equal to that of the standard PageRank algorithm with the highest damping factor. However, our experiments found that the number of matrix-vector products was higher for the shifted Power method on the \texttt{web-BerkStan} dataset and lower on the \texttt{web-Stanford} dataset. \vspace*{0.5cm} +\noindent The results presented in Table \ref{tab:results} differ somewhat from those reported in the study by Shen et al. \cite{SHEN2022126799}, where the CPU time of the shifted Power method was found to be lower than that of the standard Power method. In contrast, our experiments showed that the CPU time of the shifted Power method was significantly higher than that of the standard Power method. On the other hand, as predicted by theory, the number of matrix-vector products is lower for the shifted Power method. \vspace*{0.5cm} + + +\noindent There could be various reasons for the discrepancies in the results. One potential explanation is the difference in programming language and implementation, as well as the possibility of a misunderstanding of the pseudo-code provided in \cite{SHEN2022126799}. It is also possible that the standard PageRank function, which is a slightly modified version of the network library function \texttt{pagerank\_scipy}, is better optimized compared to the implementation of the shifted Power method written for this study. Additionally, the \texttt{Web-BerkStan} network is quite different from the \texttt{web-stanford} network, with the adjacency matrix for the former containing many rows with a large number of zeros compared to the latter ($4744$ vs $172$). This could potentially have a negative impact on the performance of the shifted Power method for networks with a significant number of dangling nodes. + +\subsubsection{Matrix-vector products for the standard pagerank} + +In this study, we compared the number of matrix-vector products required to solve the PageRank problem using the shifted Power method and the standard Power method. Results showed that the number of matrix-vector products required for the shifted Power method was significantly lower than that of the standard Power method. Figure \ref{fig:mv} demonstrates that the number of matrix-vector products required for the standard power method increases exponentially as the value of $\alpha$ increases. The number of matrix-vector products required for the standard power method to converge for various values of $\alpha$ is presented in Table \ref{tab:mv}. + +\begin{figure}[h!] + \includegraphics[width=1\textwidth]{mv_alpha.png} + \caption{Number of matrix-vector products required for the standard Power method for different values of $\alpha$.} + \label{fig:mv} +\end{figure} + + +\begin{table}[h] + \centering + \begin{tabular}{|c|cc|} + \hline + \textbf{} & \multicolumn{1}{c|}{\textbf{Web-Stanford}} & \textbf{Web-BerkStan} \\ \hline + $\alpha$ & \multicolumn{2}{c|}{\textit{matrix-vector products}} \\ \hline + $0.85$ & \multicolumn{1}{c|}{19} & 15 \\ \hline + $0.86$ & \multicolumn{1}{c|}{20} & 16 \\ \hline + $0.87$ & \multicolumn{1}{c|}{21} & 17 \\ \hline + $0.88$ & \multicolumn{1}{c|}{23} & 18 \\ \hline + $0.89$ & \multicolumn{1}{c|}{24} & 19 \\ \hline + $0.90$ & \multicolumn{1}{c|}{26} & 21 \\ \hline + $0.91$ & \multicolumn{1}{c|}{29} & 22 \\ \hline + $0.92$ & \multicolumn{1}{c|}{32} & 25 \\ \hline + $0.93$ & \multicolumn{1}{c|}{35} & 27 \\ \hline + $0.94$ & \multicolumn{1}{c|}{40} & 31 \\ \hline + $0.95$ & \multicolumn{1}{c|}{47} & 36 \\ \hline + $0.96$ & \multicolumn{1}{c|}{57} & 43 \\ \hline + $0.97$ & \multicolumn{1}{c|}{73} & 54 \\ \hline + $0.98$ & \multicolumn{1}{c|}{103} & 76 \\ \hline + $0.99$ & \multicolumn{1}{c|}{189} & 135 \\ \hline +\end{tabular} +\caption{Table of the results} +\label{tab:mv} +\end{table} -% \noindent The reasons to those differences in results may be a lot. I think that the most plausible reason is the difference in programming language and implementation, combined with a possibility of misunderstanding of the pseudo-code presented in \cite{SHEN2022126799}. My standard PageRank function is a slightly modified version of the network library function \texttt{pagerank\_scipy}, so I suppose that is better optimized in comparison to the shifted power method implementation that I wrote. Also, the network \texttt{Web-BerkStan} is very different from the \texttt{web-stanford} one. The adjacency matrix relative to the first one, has a lot of rows full of zeros in comparison to the second one ($4744$ vs $172$). This might effect negatively the shifted power method for this specific cases of networks with a lot of dangling nodes. \vspace*{0.5cm} - \noindent There could be various reasons for the discrepancies in the results. One potential explanation is the difference in programming language and implementation, as well as the possibility of a misunderstanding of the pseudo-code provided in \cite{SHEN2022126799}. It is also possible that the standard PageRank function, which is a slightly modified version of the network library function \texttt{pagerank\_scipy}, is better optimized compared to the implementation of the shifted Power method written for this study. Additionally, the \texttt{Web-BerkStan} network is quite different from the \texttt{web-stanford} network, with the adjacency matrix for the former containing many rows with a large number of zeros compared to the latter ($4744$ vs $172$). This could potentially have a negative impact on the performance of the shifted Power method for networks with a significant number of dangling nodes. diff --git a/tex/shift_GMRES.tex b/tex/shift_GMRES.tex index 783e744..c1ab799 100644 --- a/tex/shift_GMRES.tex +++ b/tex/shift_GMRES.tex @@ -1,5 +1,5 @@ \clearpage -\section{Shifted power-GMRES method} +\section{Shifted-GMRES method} This section discusses the approach used by the authors of \cite{SHEN2022126799} to combine the shifted power method with the fast shifted \texttt{GMRES} method to create a hybrid algorithm for solving complex PageRank problems with multiple damping factors. The goal of this combination is to create an efficient and reliable algorithm for solving these types of problems. The details of this approach and how it was implemented are described in the cited paper.