From d27d53e66264577b2ee0644b95a32c72eccf3a4f Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Thu, 10 Mar 2022 22:06:14 +0100 Subject: [PATCH] tex files for the analysis --- tex/Figure_1.png | Bin 0 -> 73312 bytes tex/analysis.tex | 35 +++++++++++++++++++++++++++++++++ tex/code/closeness_analysis.py | 11 +++++++++++ 3 files changed, 46 insertions(+) create mode 100644 tex/Figure_1.png create mode 100644 tex/analysis.tex create mode 100644 tex/code/closeness_analysis.py diff --git a/tex/Figure_1.png b/tex/Figure_1.png new file mode 100644 index 0000000000000000000000000000000000000000..c67f0422aba39cc71312e092a5671b0cb00aedde GIT binary patch literal 73312 zcmeFZcT|(x-Zg63=oTq%1yt%rL8ODy5l|6n(g~p>BE6RYQdI;Lq&Jmb0|^j%2~9=1 z)DR*aL`p(0p@eoReo*Gx!!21D^gQ3Ql2<*f?8SW zf%b_Lrz^nE`0r=Hzo74M+yNhw9t!#%I?h%eUgmC=C)CV6TpXM|9BiNb>1pZaZtLuH zTR=qMHs7B%9v&|4Qi6hx|9U{c+09z;YubZe(8xI#B?I>pCuq&dKPU6$;I=1Do;acW z;GV8`%F?)(A06zdZGC4YZ)Za3_ZKHJgG36%=t^Gbmt3!sRtV(bfkR8u^jGfmNH0;y zv`jF)R!YdD!#8lS=j^17r%tlti8w2bK^a#e71aY)vxWzl@NB& z|A`ZiS_$~ye*U&Adea7Ue&R&lgL~)6pF*6JhUCxZ+**C7$iF;#^OAx5`B;SxOb7U* zla)b1{(N_lf}i~PG5-HH@qg#y|LzNL6#oBzMlkPhTSrR42szK6pP*)u(zVAG%jC^B zthX|i>GOS%aLpR^X%-T3pL@i4;|7nAkfufJ+y0gDIwN*>W{qF=9ZbfEM7K)`C4jKGNgrUpYLzDwze=D_T3*uDQRei zzLi=)jEqJNLto5%1O{yy&p|dqQ~Ko51f8WF3OwF7Q;x;pbyZZtoErD6#$h;~qaRPfPX3hW7UNyCx@_lpV~? zGnr{Zzt7B!54E+m*|$Zqbgu-qgwgv<2VbsmooThIo}ZgTZ?9wgk4mT~ei>z(vv&6O z35kqZV}7A<9ouUh91ju_5}X!SYUf$UeODWro=wuz)1$wK@otT|_j2F3F(BSowdZAJWpoS-bB2?~tA!jbU%s?km2(RU_B#5T znx8Xa(}4Fs(AR%wbZ_*coSYmrvxH_i1Haq2PaEFDu0Klwjn7N|@WuM+Q=84X zZl}c~60Ql6m39C4Xs0P5HujpCnHeVshYfhJ_*7MWy|MjJVL!F_*jjQFby4WAcT!Bb z^&=jGv8|CHb~&SO`I9`<-rrIPIzv4W%`PwEyX^phKx_$v1+h82sCsP{DUZHFgL1kH z7cwRqeCuT7u3ftyJ2o`wvsmP__USCP(jJ zLGeM-J=J31KJVHlG>Z|z0kXN z@7gn;ioCQUPxiJIr)OtpDQRh;{ly}vx)3q+XaHD07EH9oRNF!(*~^an5jq{;9FDGF z4%wj!4B7MU)woUG?wc3w!pbNU$}Zdwwy$;&x@?c6o{T?5WMn(Eo7xPuhh+JAIK7mhIfDSLgnh&aS$7 z_Y0YYFwazH{8K|hUBUqx|2SNl=IG|NH1o!Z`14;wS^qO0VQ&LtxhwtsAYh&0zdsSp z9$Ig0W$xTbF(*&^AHm9(XbaFx28-*Ji16yQJmbf*zb5qG0v;+!a_Bem$NbL!_5_^I zt^GS*#5l$Dzm8ah@v`&ue_bdV!Q|O*$!;(9`hISZe+$Qie_R2Bu~EF@_IC1;&wmDO zAh(v!}10LoWZ<4f8Zce&Y65++VMxQ@1nWYYFUL;@h`W8t_@Iu0(zeup`+yIUELj z4F2HMIgL^`_kDeTJK^2C{Er{+MqIu9u+D3B`%xL|E&CxpYSugYnVFek;o+DsZ!T53 z&#PCz8yPWFOBPe>@9(EPcdmbLJ{?tGe}~p`>8gedF`l%&j4UY;3Jwmo{Z?X5I@s(r z8MV#MV-46f2OW-sqh1WF!1PZdZL=SS(y$E7CYcp4EZ9(-IfKwhmnChFI-86>J5B^H zZ}5jP*~f`Fe&Fcg%#g{-2*wi$Sk+KkHcx(Dy}~sQ6;@zfasv)Ywmm75-A;j9{ffjd zmoyge@bsY%qV{ym%!Q>EZHTI>s)*aflw8#$yO9c8!v>#91_9&zkdQN}uB~K~;np(d zIqFE-orxlX-tF-Nxt$#y{W;2UcizE9Rn^spnrY<&8D1k+b}4vv*bdcNKM%e6i?Tb%G+#hzvJ%ZOkS_mQGU0jITfw7+Wq z{mYwJ#=vn66_tVI>d9j1l^Xe2T|K?L-CghQRB7mCGr!Wa<;0YiFHZs2XbWC~QO2jD zv$K5vPJ^5rM}?A7p&R<_C5HRvJEt*?Hhhyzq;trlF15uH^BaeXmWY2BMxn zczmS6x4N^dOEM`k3;2rZ>1mRm&WD%s4RA9g;&Z{e{|*xPdUJF0H1)GLW@M~yt?@2T zG#Du>D-*_Q%LVF|ZdqDc`ABi1Dg%!LX6NSYzP=MKhJj`nr9AS1-=F>T^$xiOZHv+y z%3$_&K*LVcBsC6nV(a2XRMOAKSz*p39 za3MQNb|B+kkO%PbJOTphr_WIJx%bMBarh9e0{+CW*qM~9b>u#oA}=Btj_s?1I)wEkA*-@ zIN#uy`b>qpgdaH`?5-CF?ktZ&%av*KRECs zZ{Usf^_Zxrs6+u11Xr5(eGo8(MMc3=KdjH}*!AQ-eDmfFVYnPVie{DZsR^;#JX&6v z`V>Uk=n{l2SK`n^u3+^qQSb*q!PHcGt(t=9ntT}J6BF}Zz50#cu%f-P_^*hl#Ju^= zJA=_%RPy9;PXr!=Lyv{3sH(b;%DPP5-6N6Em6)DX>4f+1hl@uFB-P&e}DssgoNFa^&ZSz6{A(Grgi z_bXjz9x5m(6oB)BCJq_>Jl-Ik03*dr9&L*Qn^kLd--$L)Ejf>DFo4z5wXw-x96_wD zxd8LbbLWmR&e%O7Pb0lJKmR5$@OWVShQRBOVENvAP5M{2MzNtHS)|D!B#0+5v7D+E zk3XFnS?~o8q}U!6cmWt>VCr!`Bl!8BZ#WL@E~Bhp4Xe)ryNO4?f?=I!QJVj@fz19= zdF&5#ldEswaUx@&zArvENd)YzyV~eh{_@0oLE+kcdN8 zROnt;j2t}J+Z@Fb1IccT1OFpV!_(+^Kvl5z#^pU+(-9{Ui`eXyGXsmqDD7F8=C{!y z)-zZRjyG&J0ZLe#ZYBqola2nB;H6UoNO<5MEEJ?!4uRQ>JwwY{NIvc4X(FdDAk4Mh zUK&O(m30{l*9VG|cOKXv1xQpQ8Z^t9aX2kY4jk`FuQmJI$c+ptd?H8lGun{pzFPks zH#Wlqp15P?;fK{*>W)T;KQ0T|GT|AW4N|K$~km1_lNy>gwAbjIoi% z^3u*0&LAP!9yl_p31MiWl&RQl0X=alUx(%S{aBoKsE2-n$;+g^8ef_4` zxKXOvSM_D?@)UUd)5RaFc)I#D=aO`|ju3@2!EsH`oSn+|4g-4tnB-UM>w#bEXEzEb zvnAc<7E0S#b%47e+q>g~c{#>gPnF6`R~vTH$j4`SxLlE%nwl_DiF9f@^fYm8p)Y=i zEJmvcHXW3WZj$r;z0LV*g6mXu=Ff5>NOa6&K+u1GANOMe9ArCiHh$W0j|I){G#Mjc zC9uG1(O4ZGK-IiVF$*S?Cn2D!4TiSe;4sw(ua=KxXx^m4+`u4{$_Js z^$eF1dD-$dKuEQSUM$887U*Ehtu{jo%y&I=IpcH+!TtKs=(EBw*sv z#a~U1q6|x)1RJF^H8p|M*I4!G)2BwvGy$i7)ks;Prlu=ZgOx5azW)9VWNR;M(ONTP zP^3qWT9JB1QiMriDtVCO4uGMH`fS-$JE|t~X&D=*puJX$nVf3w0Rz~yoY6=4J5i%C zm|e>X;16YVMsHy1Y(Um7g9agU@|VjD44u<1H~)6+o=e~QzfW@W^6G$~RTm270v47l z-A@~y9)Pyr2NNJ-JHSCc)vFT?q|Nl>!u6Rpdn^J{HvA6$$>>*BzE)FM$X7kO&Ahq@ zm6w+%+hd5H9yt;JAnT8o@>(g3(~vcY^;mDYT=!&u3!mNSzmHH&5-==#`UW_QikT1R zBia6%2{1g*M?0AjZ{EaoTj_vG!6*p?;UHbF*u4V`)z+4WvNos*RQm6Gf;vtYr0+;~ zz9*Ib(xq$=aA@}V2(MnXCofV4R+1Wt<8OMEo}PY&hB;p$oPkC123&_chrqN)Hn61h zFrY9AIl#h#(gwG%@cQN1&?<#r*`3aNFz~!b@3Za&ow03?W(T2S6|kuyFoLe~KmydX zfQCiNW~k60Hpigc%C;}#9$_FioIoIK4O^$XRKE7^z=s~( zSIFn|RwRBcD$i@lTm$}?@=_KE%qdV_0ZO&t)CNb$-Tv*5hylOUH1$u52~Y_v_e=?h zyCd=FzN)omubTNGT3yZjov$NCCewW|uEI@3)yrot)c=_si~chA-{XG>@ujIZ2cKNp z<^RWgUEN@I3+!5Q(%C#rPDKA-@>b>$2u-susj{B?@;h2%H*Ka9%HGOI<(nX&Mfd57R~R!~RCUAG zpFOPFwnN%Ma_BU#3?#fQeC6vKA;H?_XEp9@>|(hlG6F{@UpMan@QO=_ty z!c6U1?jv~*wv1+*stvbeRVeaWkj-p8nwr%#-K`A#-!fuRV#w{sFF3e`WbVCzrj2nl ziXk;a=L2#(`QOJjb05cFfuZ;P_F96gN$VAfsjCi{ZD@6VUd_W8d<>(o|2=8QQ)s)b7Y`rjqpL~Vdh_e};w#NU75G}}kZ||DO+*ZIJzD$lVDbIMYDwhf$3xc_Qqvp&ZEvDFi7x8&g!E4p? z_Ou}>pmcPT6hVnGGktW7UwJg!k)%S5;!;g8n$m1a3n1-GT8KWq`%x=>r}Zp7dMV^i zs{8iiZe*&T#~v(G%6=fm-T5)R&??=xYkV5LL2F**M&&rY zSDQfU)k)|SbjgQmn8|G1eRYP$=ID68EgidHc3jZcc-nKADW}I)_QQ7Q1+~UM+v(%X zruzH?1##akD|vWti!42mBYz9+F}Eo6*y@0JfQB4pfP~*k_2I)1IL56*w5&okdC)*c z^nnE(;&;bBH!M?ScWV-3@JN=ZiZ&ND_DT!4@}zApPsA>o$R@|@3sWdxSNCl=_?(p>vE;D#+o2!3 zS!z;2RuPi!Lh5e0>qPO>J+aw4$GH~;uI4(GqqOcCrfhfn$y4V-x?7=6viYz3Ww5iE zUGYcX==NG)*{*)YVKsGE!V08~vt$B&6plLj2^)R0gzfZ2y1;cMgM+X8!3!Th`x_pw zRubGD15@`lYQvTob6ctfG#y>l%GZy~j|lz{xd{Iihg2fr0Zg_IsV7%sEQu^P5gt9N zHjthi$zu;>EH3R$zn*^AjK2}~f*H15B~>_MHw$m^nay-CanZ?Q-TPC%K;{&22f349 zn4dYk8~r<*8k+qcZ6j7K%708Ap2AkdwJMb#0fMLRq$nCpIq!Z=qR|nyfI2ddSiff; z?9^1P8CWNyGAW>>HJNtA7^ob%aXt{N?2E!P-8D^`*&$;5er(A)h~s+AJTA63ScFC# zJ>666uBw}^(V|09vkk<|&$y_KjSow#eub~pxHMP(O(?zRMX2eJkS8^MSbLf!sy zrp{kA`Xn!(S!|RJuXMx5;O1XeDm!(_L_O?$5~I$-Hn=3)J=H*qB;xivMJ#;s8G561 zR?`~MQ)Tz*EBe%9{?Jo9Zqnr6y{XsL^cIsF7vzE2y2x)husi-qh{_}Y7DMxNgh&YQ zH!S;8kDJ9oYW4el2qbya_*CEPmsP0*EHa6PO?JspuTXy)A8&lCQk5k>k3*F!SpRc; z=B1}`YLZfY4t`)y8Lkta;)@@vzC-K#@ao2N4wx!OuswM{k}YC+vnMu3Q}vaP{cD15 z_Nm#5=@=F>3Z^6;1nx~3LHNN*t#bsI4T`eeU4-}kh}BHccWEBmFSTI{Qg<1Qx>}O5 z8`a;RH`CeRzT7eAJRu0`IlG@26(W{V`ND^EeZqPj;%VIBO;KT&18@$01eQzm?n8f4 zc&cmORe7uJB&+Jih}d0u&U<4gP?b)sBs?}REiXgh+=j+m-Q7N?jR>1Ycn_6leWL>Y z5*pbxJWiL!PyjX%yV3Kg?SL}m@b2!5H!6~~ai1~Q=sqy#z3phA>*rLVn4DF%^Xp#r zc1QYXEW_jb3&^|FeCMqm%siqj(XwhblSMqe{v8T)qirGnd{)Aks3vZFQY+wv9)AEl ze|XnaUS9Oa+uu3iXL;DMX4aBxAP8RlO8Pbg;Zay*HT_YZ2B>4!SlOFSwH07%vBM-yYR^K z+J@Sf#{ezB#dGB*= z?dae<%nmoFf5#3n`s@VF1=jD&xHB@KjGmi?gRKWj6I%E0zqAK6h;q3sSc`(3KAolSQ{$C1AMDvoG8D5CYt((c7pNsCk%M%ex4SIaKXl)&1DI z+93lzz2F;OI5N#Jxl4& z=AyQ>aDO&W$7?8MaCEpZ@*I0c9Y{YQo3KjaMxgD^vS5J&wntAgq-x5>CEwdR=HeNy zpG|O5scTQqz08)K6r!39h|AvidaH$~5zPUa)6K8SZ*@!$U=Ikx(<483@3kHOY52Zj zqQKt>iM8I1iJ{g*D)@(l+TlX7FGE7iZ8kgIW|vSpy`R{fMyrYn1}o*o@rk#q2(|Cu zBW?;?(^hd{aZHBQ1?un!N)G`4@k=@CM(Y*X2fT{lkXiFCeUj~no*T%Mx7e{BA%kkR z*^vh|46Ig|zLQ6WhmKwQTYA*Q5Ko5!T=XA`A(xGc7^tsKqq-LtBT0V1NpCM2vW!{d z&dGmZ%QDuT>I-WT{U9`4FINV7B{}H?sWZ+_sB=YZ;lvjSfphO8sG9o*W-CX^amCYI zB>$$~R>zY^ij-VP>@_*L@S#E(lI%%u!ObI&(8;GeE8{9ED%yANJ`bU0$^&sPx!{tf zu1bxFW0wzbWAmKj3WOBY56=%G^#V4ImHnO*Ad4eM&9a7J!c2;e2~Q=GsaUqpQ9>L$ zP=Z%fyqq<`S`P@;FIVR+xJGW+b=bCZ4IHYbYCI?*ltnFvzHN4Iigng~eV-)G(6U{| zBWX`aIPT%$G!BT3EtXQ4UEIchEc6yq^{D)pVWHcw0Qd3X-Ggu zMaw)EI<$D`J`tTg!5-d?VE3ZY`QF!RA7LNP=qr6H5Z#-90!#NE#g$Y4MF1`z_S*Hh z{q5^*t)7X*NqGb>GpV_~y9_67S!w9e-M~$d-cafv3iNmv5*eXsT-M}vdvS{-=f2ff z>ASU4jqb9$ZRV_CUMf!$O2=mJZp6lBkLi)=zD&hCG`P@$>#7Ve-%OXQ-SfoB2Ji_C zDb`ZV)jiFr_`)439~S8TcpV12>!! zUIrCO!3v)#exsuouhMaN>)WL2P^eb7U1hwRlq8L{e_Tu;P!Br{SkNjg#P>%m4~mW} zcCa|01NCZ;h)SE)T+!fd)^eE^qar<{Q6Cs(acQwP&-gJB1|;Y0nbsmzfz}> z{V-x6k>7}pab#7M1re4nb_68IhUZh^qZMbfvu!&19%Q&p`3-W`_@m|7eVlwKT-6~cl z?dfCb5W6qt8dpf(l)qOIN~3P+8qE&QLFj!fhuB-ZwxFoYh}H7zJ+im@P1;sos4TPQ zCu@u%itKp?t!tifZAj|TC#b8{N^11pVSvB08SPK+i=+tE-y&JBBZ_ZTcv=>*24?88 zX#0uS=wq_Bo2wBb0Z*b2PJi9WZg-}?_@sY8@VhQ#c5r|mMq2c@BnVf)wlo^a|EGSLe)6LemZ;+BRjnI-cFN$OEQuzJ91hJW>M^QAW|wrP=TO-BsHn~- zqP=G$`T3N}44(?RvR$+jEV2WQ>+G!-=^fSaVrO5d(!cY3nvW(wVnE;5@Bg|nP~|P6 zN>r{Zzj`xjEvd!I_SQ*VN9Bl9*+whVrTYAoYPNjnEVKf0>F)cg#xmvg)0gNkjPFVz zxr?{yE_##V`*bE%C@ftV8c=*eBuT{;m1s3XsU({xr43r{L4P-V{ zlBV#+(0ltj>nw-#jQDJj3=nP~?9NW=J;`z?8_uau-%6RIm!MS z4mDX!ne6SJNvc;Ih34=~@6XTDOT=FZe9E>*;YnP?9z+{CGyGwj(0zmc@adE6tW%*+ zo)`rLRvPlF;0L{nVXL$7L*FGId`H*~isg_>m{d(~ap@-O*ryDtZ*<->Fi2HI1ABTa>TqV-xSS2 zJ+uCL=A&puG~FM6WIBzbZF|#Xx}BQ9kpTsdIm5Ct!`1LQ>=Q`-HQmDN%~sUSnxz}` znG06wmojaty_I?N(mppu(dw2Q&`mK|h%@RIKY_j-)_0Vpe5wQw6A&&JHA+6+j7bV z;ik~X#$hkNOCi?ka@|H2>4z;|b8v5VJ=>rLj;W-aQ&gP;0zEk7tDp&Gi5nrzUjzJHD5i5Y`GoMwyE+mA%SaBhhH!dzVP-+Fh^*o!K!XgC*Sh1UsT9fn8}J`2MseyRA@J`pe(N=pC!HmS+6cr*ALO$5wu%OD87vnad=>$1E;{kTx1Vm>rewv$KP#zs#en zvpiUPS&X&!D_$Wiq8dLZr=S#Tnxa#j=6@KULdXvBk>_Q=Ens$#9y>uXPWwfLE`+XL zJC9MbYa_d_4cj7c!8Rj~oPR)fKWM}pNBcACtP}BHT~A68bGD&< zQq;(lkevg~KzHK9UKuor_s_hbfu6<*(H}LLSq~VxVm!;B3HCci z#~v~QV>J(gnUZcw6ojKw#EZH&ozKT)`*dpQ<&NPJJ59B7KlZGv)U7_*dnnc;Vq~Uy z<1jyhQqD}Ud8O}D=p<}Ztb-+lc1n}lsaR8-b}PTvODW*swlY} zhTvfi3)_TD#$Z!)v8p9Cw2pL>`+`YqZIp^;2 z@Oat{$??RSO=+&0Hu~&?3YGt)`miL8L6IUO0zJ}~>XpR9h0ATv^up4-F zeK{s+wa;voSLa@){JN_cD3&RCO^_A^Fej&E_(J+w1%sU@0XgyszfsjA0AGYfL}1%v zt`m2fj!jI^9+G+UNl8h(0G#Erf9c0J$IOUh*l-q^R&Zf`eAT+gh^sPpqBJy$^*6QG z6AJ)rn%HB1MDXGh8)7+RkXknRfZANRw`}|@SSR%s%`b+=gz(1q&{Y@OA{m8~>=T=( zEgW-A0$IzxAx9|ZrU7wd;J}_|2NcdTA|sm;lEY7g`dXg zFlfN1pLlBt2(kSWpX>K>=9!&Wi@`pgBQB_Xf-ANWCmump!8hEHHQyQ-AN6>h55SWl0k=oFun;0dbvbK_%4io^KIRLmAWGqcBRfg z26I&}kGpm86Gp31pb*MlQ0nCgXbGf6vtu&Ljf}_o0CGb-aDTM2yBX9`R84>rMV_B1 zUO_=GBLL-nh(MxHI5ccg#Omu6oD{$w0VZn$kWa-!X;9|@;3k=={4k1@UwNb{unCZN z$G5KnkPT$htQgs8$)6;3KrRIf)f~tJk=27lxv>*U@d1Gg6u9)_1zQO@qMFOs*pWYEgW zGAMvW>akNoy{I*7I1w$ocdi?O0JjpMopFB<;!kIx?BOU*CBI*x7FuEEiRHa7+}U@6 z!r=bscNas2qe%MBar6UfQF_WS746RGO}dMi(&29(28>xoB+Rf1!w3|QR%gb!uvN(s z{<*a|1)h$v!jUpR1AjmIi^+%|mwNQ>dK()tt0TGhtb)U!{E69R_m9?B6yOVb^SflI6CC`m1E+1ZG;=A_Glrc3rq@Tu6dt( znJ4Vp`WS{9N;T|FCyF{h8@9mCG4lS!Td&y;x0zU9Ui@<=kJggv6}kLDe~ z&Zo5E^0Pk`SRRk(HSlieelX!Y)-;1LG9u%g@wt69AFJ*FtYgyGsA8TNf#5CH(@(M? zHo$VO`L>EP`A%g!b{dxG(C>$FDo>AFU^hvbPV1E|*pcl)yV<}vPG8H0tbI;IZ_#!7 z*o*xPp%^=cro?PPQ;D3i&pw>izb(c#d1@I>&dEg$1#0E@rg!KCSVb^<%DWc4kn*=X zOP$eVZT zbn8mPgtRmPWwL#!a-J*(wZNaOA{jwJL5(+W6dRcU8@&K9EStXD^yvX_h|>B0j8;uU z{vEBdinf1hn5P=hxI8H%)GrEK$CZ>lSk)OjJc@wHEA z?BHb;idUuX1;G%7Wwt?j?dB3Agpx?)_d}+5;@aYFEV5fwJ995QN*NMvL@g1mK8a; znAasIt314!me7Eh_1uVftG85O-Ni8AC!K5Ro{S#zMA<7hE=9%W^sycqE=w5d%p$sZ zNR#tncaG^`-U|=+a&O$+nXYwD8q99 z&~ZS~3Y2<4xz{XXZOf(zeRv6*pexQ~Rw1m|VS%>$a_N!?0k2H?_I!WmsGOGCy_s6; zDr(iZ^K|bnAQGzm`Fz#njaWxqiQU!|KKs*$Qoe?Yhs1`HDtOky zK(ji9Sp{Nu>)Fu#g|Biq7K_D6wsWDUMV@Gz8kIGRjsg;r9ZKVP|8N2%~-uX5Ym zn_oTx1VNU;O`hRbWe`=5?F5V z0Lv44-@|8s4=QT3jcyqZ?}A9|TxwCP(_~04;-|@l6dg{o5|am&{kigZ@>Jio9#%H_ zopKo2`t-tTM(1oBV&7Id49}d`9)E$lk!qverg$znxu@MWH`YNmwWt#N2d37d*HT#Rey|BeA`IzFR44UzvO6!LG zC?(EkFrULu{^;#er?S0+vTKwRmSlbz&`E6prlbA-_A+`pgh?0B_X~93DzU}&8!F@e zJLAQ>WS-FU=U_7NnQSrxk2cdulgCGJz}zv81zdO!K&~cyI?Fbw$mX8|=+ujyyeM6; zS8u4Ne4A_YTARA(I9jEq4lnOMt{T?tJL&;_6qq#ye7J3`UOw7zcx0#^Y63_kl*%h} zhSsI}^dH95u(f9cFpchs4agF88M+Sx%L|`Odu$~jnc52Yc1@nYP&tKeS-7r3SnPgu z71*~+`@4*g0@F$-VL%lM=I*4oxB(i5C=64oE)jk?ll`Y^4kI?Y7wIPg^Z6Jy{a=VId19A)wH~itZ>edqgFIdp zK#Zrt9QO0=qnBt5=UO+}<&V>|G)P z=6Gz*#^3VpO+)dzF$v#ip8oLyHu0F`j&GxCE+}-C)l_oeqImeh{YqUnX&*PH5kfQi zQXXRF?Ke{Jq>Vw+&Yo_EQlKDiT8NHr`H1x*GfPI+VK;4eV$Mj|nZuo}-dP)$&L@>NOX>UE zj{2K8nUO_i!&|;cpGb|wz}I_}Bj_?ifC3(At>BJHif0PGKgJ6$Ta4-;=`UO={B|!w z!Bxrb)u|cziskpB1h0AJjdN@L6V+k`VofTQ3Uf;>#eBBW81`U=x??$-h;{7rAwQcA zEZ8Ja%C?A+Ky6Sokh|ld)%!L#CP1B8%9kW$Pb5B)sjmG^I4B%x?T1mdArf`&YtJt@%)a@I>Vr$3G7S`AAz3edhKcKjGtLHD&L+3v1 z=<0kxzIE*me3zv)+$u_`-W#o9Qv=soe?35(gmA-JaULx*8XPiC1`)PdwD%4mgtfki zyroLnw1Xgj526tqkvUR)+McpvA>D{BhPiO?Q>l|{i))&;c7TSeY7tA6 zs<4TAct`l2*l{b$MUO2x`uLYdiq`#pIG>lvp0BGzC^~FdrQnz(O+=DOir+6 zpzT7dP(0XC+Eu87+jBH+MBgX=1jDT+=0oE6(ejb#+0`=N9Vco=k#^!PVCoOPI(Nxq z*fL2umP`i53E7E6y{ux{tK7knB@%#K*{IjOe75TOttPdL^%d)0qdFq}`#M|}~3%fW4*jgTpV$-P0rT8`Hy zeXt#7FPwxk!z3bytEt(JTix;SOLvFud1jf`M!6;>YvyDUtekaPzu9h_kKFCv-=s6@ z+d*9CUb|7rQR!#f-DCIe#zasO%db;;7>{O^8Az z+A+ z^thTL6mNmv-K}1;suGZ9j2w=fp+3e*QffqbjxzMi=)vnfVik{w%H7gbMFm3t zxLV4;)Lj?+fYfOh*BL&>Rf)Lipy~an>yo5F5kpI^SU^DT*6&&?jg0*&^hLNr#6uV1+K}%&t^Ll&~qQ`jiaQ!R=)bXM7?~; zpa|O;_p%3Ww73oA4JyjYwh2v^m3udZ#0(OK>*yzHqjFl!Q^~)MTmL|fSSz_fVRgIe z)i49I2KM9E5-q7N2z;0UV8j+h*(ZN{xUxM|qZ2~}jN&8yIV zMhTs{oPC#~OXDPuUL*2(B@;Cdv^3V}8(h46#E*_SwJ@x?j(&K(y;e7^&d7CK@qlp1 z7?Sz5auq4!UXG4x&^pTOR}753T>j0EF8W;|;dCAS2iKfb#LlYTmnpNI5BsHMt3#a( z%vsUJG69>7cUr#BTtBYhz&Z@Wr#{JWikco9mc!CN_g)$KzDeE%v9yUd*H@4~CR+}x z{$$T4@s>pGFA~-YYbmc{%`&-CT@GlosK5CYsVw{fydLG?@?a}_Y6zz9lPCqFx9hyc zMAWp%4;zVF=Q?Ry99*q(1$+bIUtWt`_2(Xq#p3eToJx80lZw9d+r~0RRX-kQ&s8Ig zf8X?Ms=8NqRBhUP^epk(ZNo-|cg{){qqcLA6%tUm=gI=v9oLpzCWbBb?|w?zo4vDlCY0Ot+i)x+*Kq-_Q_7=e z7l}blgFK+hD>M0rn6 zL>z~0c&Xk=N?mkrsgkl5ddRkbhOv$=`?pyh)ma`bTI%>g?{Ou?>n8h^Cifn`K1E;H zFv1f^!J{`b5jDHy-_6?hcQLH+iG>UJq`nC9wl_+oVBvuog}-i zM!BRE8Z0!a0KFSsD0@WtyM0Q|4fk$eo{1(?JlvQ+8P&vS#~3;_>UUaAI!9*XOI-Z^ z^dhCwBdxpIiV1}#Jl66JpZ7(pFw?Yi9b6)hO5vi7b5x-wFbYLe_wBG-*g4i%Y_CRu zmZHxq;E~H#8@0SAKb7fs%LF;^8eG?18?4({P2o7+dYa(hsQu8S;l8?^-{B9ry-2@n z&2+GitFbu)QHce+%L-w2_-lJ#9=4l~d^_z#y%s0>(X6WP&*A&yzCZZHlKno*&n7+X zF%?y2bW=df?u|-uZiQ)TuPXU(5==!0B?i5o%*aH@9d%VxMw}n)sNRa@DDpFhU-W&* zbB$9!(kFCVpcj*frh*x+`pmjRu90gD*H0W~{QSyy1M?e3c6c!m>4BQWrl0$YK8S z#Mv%M1j^OsOHQknmEe&r{Mz>eQT(=gY!0ZFXxpt`Xz`?q2aK<7)$mGE_9+ujjTu@+ z_LxS>Hy(jeReSn$3^T}AJ##68v`w@+d5`)lY%vwEMLn`uuCu+p@8gTpCZo_|;{qTG zJ^FN>u41_}Y86G4Ke^w0Sm{(VeWv%u&h$fqIrjKGTDWDyW5xooMb)S|N^+Z{2P_-CVuH=Rc>27mF= zYW>EkF!`bsV70=KO>!y{e^w*mjT7wkuN=t$xV!q}nBx%rgFK!e9 z(TCTpOrsY%rYR$x{LFZIi(*ixk$aOU1K=DA70V4V=!71H! zU+x=^b&$^F!Sea)LyvSRrK?bJnz$l<#6Tjbs-V9!Qam`zZE5TUOTVRQCARxjA3`U- zkbV3VQJ-PjA@h5+lNFFftH$^o&BD3(_z)n~IS>9>g%c?x^{N(8^ zvRo-%M_o%-H(ttfDPNKG*#la+gA&t#JxieM`FSmcnBzzeNHAG8$M_vsHA5Cd5y(KF$ zL}SOZjJE8v1D8#%lU;SueD$|sGatFepC%355N<=q0Rl@w*eWg0f;;u-^J{av)~k#qlDS8}kPhNJZZ6j5ES~z{L*)=WlT*yCc{2J{)H_zsUr*4 z?Z7Pugm0zUJu*AS8t{4SJ38{!X*P;f%IeR0g(ef7^)a$QGqngBF9&l%jusa&8gfJr z71M}cmr2xrEVJzTIS7zmCt&Tc3YSfC0ROHPWBW|>ua2WrQkcmX3b@brV1Yba#BbL{ zX8p@0^g>oRxKLpUzg5rr^Nsovg1y|QBfNIPj5M31kVY#mq zzs@hI;R)I`KsF)^%*%Uajl`0>G5EhhVDFEhj>DmhC@3H+%`5G30?OnG@c?3SULm2r zIQ;ulfAuEx<6E5{xZwf4Jz@{h*I%fTy>a8AVEx+59?5xTT1zXMv0vEnoyX+RdFthP z5g`Bb2jX6!^Vf5AEd}sardIYt@;wNBfc!6$ng{)B+uoTX*OP!okq9nws3~Ftg5(fd zwqm)1XK#=9+8%V$uNy zrBZ2QjJ)w5aPXhG#0;q2xOpRfyDIT9z*+`iY*Vq6nKi=0aBm9t!kcB|osvoUOKSPt zKDakztg{6C2%z9NT5387|6(?u=0}V+V#Rv1y8qak5WFo`MBFWw!5&8*7|O+(jTozA z<#?&bnXkalh zQ4kF*Yo7X7M7NsMF^|B^vRC8I1vK+AgJxs)Z!@ELq0!+Y#x-^=pul6c-_jCKQx^(8 zzF1MxiT^yTZ#tYMcZe|DlR};{&|SLkFw08to1$g|_X|JMue z_8X9jBQ^u4$CKxBii(lBHAe<2HpAMU-rhS_2C3gKX5M8~rICn~&`)%atW8b<@_ujyT{=gwz@l{Ub1YgX7}zzzZs)tZWFB2uZU}|CodXA(Gk*3r zX7_ymdE{tykL&(G>&7&I8iP@};vpCaTFSBM-x zSFdu%xXJ%xY$WmvR{pjXs_MT}9Zhh;Y9EJAD5V|5y9!Tud1pr;GMki^O1=W7@P#oV z!3Nl#l$IF-l#E!C&02B%uL~)hUj0RoH5`unRBXpn{CLmagsIp>AkzBVS~>(GsEC&n zJX3`#llKUEy_{Pq=6tjhFm8g>9(SPzP0h^Q50CUeVXvTo@pMt#Rm#DkqQqo86LheP zGk&~sAm`|DG6Jfig9Xl*8{ z*Zf1E27vltv9!h2w0MOy1XaXK-kmo(A>IT((uYRz>vK{yW4YDuR|KWrI()dB$5k%q zWGt6}(RnHqqQpq*E`3JHfKa@)yl$E9&gjz|a>`NIF5hMDlc4~Zgp#jA`n5=-j;5iI zrM2FSlPr#QR!t^9%#F?2avrx1 zC4C%8ap=cH7_RR(~a-Ww-{1=!#t1C5#1phDfqEYDw79lM>O0)tBDJN2QF|F&_ zx7GuDoK~hyWxx@JS!+Qs@Pxx!;^$}Gvih)^{gliBqrjwe5o|)GLIxe_e7lquoF_p^ z*)LouJv^(lKAiMM^2WAk8_E)o<<7W~4*`QJq0OB*&F{o=%T+E(hvk*7`;_O6(8^8DdQ!i4AeJE)zb%B+%VA4f3o zM@4-`D>L!f^eXf2$o9%0)qz7EZi^vi`2F1A?IY^Lu^M9wu4k5HqLEf2=E{7dj3%So zoKOGXe4NH)nzxKw?9YTrl^KP`b<~pH6|t>G9lGHPWkverjX6o&Npj3=1q^R4b|2jRqnCbF5C8bpK%+Z7F*27?p&b-Q(rMac#+D)!j(mWG5ykfOs^6= zyKd0PS4)l>Ib}$u(j#P*~PK>=V=0_hYpBaAR3ULA&=xj(?q5 zQNKFAt^M_=V#o6ZAz}8HACD*F{eN9E9y=;nTBeTjp`+>S8;CKbrZkCn+o^q?FUeh` z-^e8^hi^~#fZfh*w1@bVOAx!he#a;&iK7PeIbBm&gj6mYZ>+2JDz0b-7M;)NYUi08 z?#|<2=loRHZ6*J`;JT9D(JIqDAPbV_lVP@}>5A2Y_1iqsKY#WH+nqBVT8qe>Y0@=I zPMnm>RBFb35MN0Jrzj;PP}mf>9Jv*m#%e^whC zR-K&h<9!5kn?PzvA&qLvw3K4rjasXdT4Ks|p=3%D-?iM!)?iS&wePUy9`kI3FxCjE z9NyVZ&602?jL;#i(q@{?;J3!k!C&WMp{_>hENyn;#n%N!toMUjWp>&x?;dTxL634w zk?J6fj}d<&_kGZDbm{9mvLAJIe)`W_+m4M1+7&CTG7z(w?;lZGO-e7))(*BAGz7l` zQdMB`s7a-0oXb(hgv+t8aRap%qKTpo3rGzNlw4`z(&9Y3*x;qv6Zr1h%;5`8AHq1b``1Gu5=3^L!Wx z%TQU0XChVL5DaAWz9*Aj*V292TIyBM!IM?VqUrwT9+kkpm({Xbv(&ZWk~ye%blax*a5n|2{RT`SFEYcNZC>o?h^ z0(%xFR>azp{%Rn{tNIkj5NA6d#-7d)lEdS29P{h-qgW4OQ@_0nb!@Cw_}-A>xn!M~ z=)hDn!4d8BzU8)w^yXf%C*IJ`E;i<*#b0gy;*KIN_7CAo0^%l8v?720Y_$B2#A1GQok;<4J{0E8mn(g!+KtO(3TAp?&6f6<>&&YtqJM z8k2`#`P$vmMoDQ}iQOZb%<&olqB@ioT+H;c#liA=epSZj_P0;v_Y&_O@<(kK(r&Nr zE}7|=lKQNZ3bvH3GGXOTJD9379 zoz!~;slAScI@oGw#>XsF1s=)2l^)>*R ztiez#Lq1Oxu}Yoqh{|?y^W{DxsSQYjBW1TT?#?QXt$Qyablock8o~V8&{vG zjW{0*Qz;d1Q#fv^{vSZ(J*}gI>-eS4C0PF`Mv3cEXt2E!G4rIbn2)2SuqcH#O_md} z@(R{x3}s+LuBbnF?t7DgiVs){5(ax`ZM3fs>qb4 z9a<(e^DN<#xbqGCnxC{pt5m`Astq8ec;tiRenv{_<0H(7dG9V$m)hsI7n=VEnT8VanN&JXlcQ9CwcjjdCxN& z9wNBpAk0i^GGbyrd`_Fbf4%TXItkfYvPjd2;+o!;?(*FEp4rM%@?mOYEN>PME7AYV z=Vg9%wopf;!(45l(9N*8%-$Y)WzNtX0wSlRe90}9b|m&&R6(k zlww_#&)n46LU!9xP(4-t*cC9&uGQnH8O@2bd41TkZCkWj z8c;Ir|8j@8uhQ035HZ>VN)zbGrm*n{3G>Fr#&q_j<>k{VDu@RqLc>_q(Cj`|mC9#Y z9kN*4|F%$YE#ny&X7eRA(qpX`dq^dSx)L3~gg;CbSvwJY-B_tfc{|oX$TEasjZ8f4 zN>FRFTHdFjngRu9?ikO(^gIg5j;;L=n>9l1-2@eqjFp*`Ow~fcOc)ri4cRlz>bA@@4|nxYcXU^XfNe-9(-QLp2Wi z=*R)_f}lMzGFEOG5*e8ZC*dZ&PR%^mtH9UFhXRB?*zbXDQoZR&=RYz^{IqPB*b7J% z~`^1SavVm2mWwKP?NpSeG z>>y^Q?Y@_iZBUj&Ubt{ ztQL4>%XgGM$60P|a($B1y`^8{6FrAj@cGmUFNE$*=2mAIg~^fimaxglD_+dPy+o<{ zahDiL(#pv8kHIC| zb9PVmeDiDadSP#5S7;>Wm6k_Tp5IzGuR~}34XMlE+37J-;ZcDTVQxSO8_WDr(NBg- zphE0`BbMIgbiI%m4`VPHl&!=*L)y*gW4fvdMIJp}^Uai~~Z(kLk8$X`=*HbxZ^ zm#I&^nrrRWD=}w_g4tI+NA&z~Jy&WXin{M`LKw4;Ib)Hhl8og+fwFD-YnS}_Xyy)s zZAmk$0xFDko1CX;X)Ttv)NFf$`)qh_-EZ1-Oyu^Tn)tiw?QFgtB+kapdV!Uof&bvH z!F@N+ki5T`U6t>6+IWQ}Ys^ue93NcZ!zK(iNzdn~Y`~YGe<`WUp9Cvx)e`w+p_V;L zuA)Q1+#h_>GExsXsuky-`nVoXAB?+O&Fh+sXA-gM+fDoopb18hmsRj zi(fvb#q0gdxEoFOsLN|SgdboR`pTISXLU_68~cHnL;WxCYHRDBs&hv?tej6a8v&{B zMhdOhZ((<7I(oP5dw9fY-*+>qSR_MAL=gHAU&;9rXE3zff z%dBMyhitj(w$kw^qmzahP-FxrrA}boV_oDA$sI~fypAUmCY}95yhieHWZaX-@@*D@ zu%YKVgW~nd!F02A)=bLw-tYbEE&6%3?G9D0^<1UH-Z2=JnO?UMbQUd*Z?|7Nla?oW zWQ%xEP$$=3y#9C~V>`W7dwW-&PqZA@pk=OzwdimY|2BTVDEmm>!#L!5#TqroPVfpY0wigE#0w-U8Sa6 z;7C!n|N2PSVMq(LWpFfGpK+~?W6l<8DFx+3RbCyPcDW4aI4h-W9+$0~e=+W^ zI{s+zk*V)7l`VIw#>JS+I+(ky-Pcd8Wi?YSbI>+QWpDVNx@ILPh057BAu*3zjfWw? zB3Q0TQjtj4c;@v@U6pE~3Dx)t?uY`M&~%e?A}pT$+!fL}RNS6M;>H7|&#^p0A+3X% z7IPfT4?Cor4cA*0;LLjGBZ=T=x~hzxeIDETFxMLX6hfDT-;_8l5;Bi@}NiEHPcyV7OV@ zrWnuNiT~ie&97b4qWu)vCHsX%)YpGWtC)u@d1h&ypH;pS|62R_$hvDyS1#R7Gt>Yh zj8gYZ4*yJ}a{5(C-UHthVm{w$ef`dp(^Kna(l9-Q&{<*}g>d^oIwl#zVJ)Sd!fq-# z5PIL@g!3sl(gKrHoY3VU0X!E~2J7A2-J$v~0p`C52Zjk;(4R(J^hPsn(2H!_f!EW{X*$yp8Q$#uW^FrvsJJ)1PXL zkhQT)SdciqapM?cQ#~}z>r2qB^>=lrKs>)b?=UVH%aKq5g?PnUwq>~N834Jco=fq$ zX(|hm6q&i1eK|2Ov5QxOi0kmSOK2n~N=Q*X))T$+S%m^oZE}K1R!^n{OKbb}547YH zjL2?=Vlv;i9!WFKl+Jm9m3tYN(p7jyqDoP=bt@@unfM9Ak}+Dps&O}gv84ZtKJhv% z4fdX(xc?n-E@9!VnIYvV@mpGz9SJLc4H-Hrx|qzls(j1&F;Qc&wRQnu)n^ax3`ka2 zsH8ii)b>q$yoH5%Kd0tF7!}D-wE#)p*UiQcklq;E(&vyQE?)wcR!FH%%}W0q>X*g% zqQX2|bas<;ihwzRJXS~9a+}&+@xhrNKEg6(<{lq{D$-l+dq=p=OYS;psIgOJ${bCE z0U^IBPcw0PEqV#p!ibK_+EFd@z`#cfrW^0}*xo&!O_`S>xWqu6b&Cc<$j~E!mmx+( z&$ony<$kE;hN%@CAL?L#|9IT2AemBdyVgIc3d(1Ko|SV3gZ`QV<{6{qGWk~4nt0r& znWHX0Ivyl_u@nzWDiUFyG!7z}n>aTu4KL%&m49YyiEVf@%}Sn6-)FD7NXVMBA9eL^ z(q%u9;Bx?q4Yyl&lS)aoU5f-?edLQ;x2~m8842O*pUZ3@Tsb~j64P%cXrc!+N5O;hyi+-swO_3?DawsVbyA9(i=24ZGbZXikj zz`zoKDudvMoeO}g4?d@yIM1P$7oV?d<{uC2rPF!*g6oHbr#DxF*GHAl&7S-NrEqK7 z@gin|*H7EI+X`rc(U}*F#*Ew3pRV7Q0k5Pm%}Qr6N1eRP-ayM(DX=Qd@-yL-19*6O z^C+%ri8DH>LTr@I{%6)mCQW~T|6=w2L@!_(=~&cqzkx0}0B9Do$rzi0sNGE=r6l(~ z+xa&xaew{wS64Ka8N+OvU0n%$#o%;|tr_RI#_og5EEEtB09a06ID=;7 zPc=A?BhGNG;IpZCOuvEm2dt$Jfp{PdLasruJWkqO9?SxwH{#6;p1e^$YT%klTRwXi zaghcsofJ5~BIPCMLD58G0+yu+?by&B074L6ZQ%X6d1&t7ujz$DQ+sls!1cr&papBh z=+t3vB?F8;6`wzU?f`7#C?8kA%&cIj5PNilyaN1Fy0qR501e9Pp}`0>5z+Tz{#UQg zBFSFi{psHH78kNP#Zr?PK=Wo0{xmbl<#H6QjrL3Pa&zUt%seqMacqE2p@84q+#K?IG}(ZNWo_Fb@v14|^w%dgIQL z!QH*0bw0nF<4O%UujAf|{_Y1G@W6*@!02M}eDn4)BngPmGw2fEEjze=Fudr{V5ba%ztJA4 z=gSKVY0%oHLiG1e-8Jz#H*`bub3dM=bOO6ym!Wfr8sLH)20X*V!-!?HhQ>402~C|1VoB}s6H>;$p6T%D`tE-6}fQ={~%j>0^aL5rkjQq|JO#S2&)7% zrF~WQ+ptK_mw5$sn;Tzn9E@c0cTl>9~< z*#Sw*g6y(#02y~==^!0XpgLuM_(?-Dsf66z1tRs93V8Q&&!4~7>4?r48&lq0pHzdM zD7K=QU^PvdwcGTz4{@}IiHYFlV|&|m))oJ)QEHcl_~s@uk4mQoc>lU}s~0#CB!Ylo z%YvtW)`AAhALvkI0V&gpvX1wyl#mLCmT`jz`nS$CWIG21E1OuvsRa-p`eJM+GUQe5 zU*_lM2PQ+$g7$C*K4>NsN&-CrDw}^Q#Q%ZRuuNm-%D5eY{J^CC;~FVBd8Ow7c<5TM zjVU160!ciM7x5HpY}5Hx%s z$sJkNmlRuz2UU?S4fY)9|AEHSp>Hjo1 zv1@@sdLJ~!5kx@iu@Z*oegB}6mu@Ro+2sRDPm_Dm-v)ZsT#5x5N=u`rLoX7J)* z!v)cp5AGrAv z0itJ$GN}-R2o9aI+d7wq8I<7J!oQGJkZo_WAWztYO zwOoX|0MV`&b!F{g;X&026B8T}Kq=(60;G zPJ4QL`%6vLZtEaxqWT#~8X*iOiN$b~=cs{`xZxATwfNm+8bpnhj~I zh(Lie$~Wj$mWFU?Kx-aQuOSKk^2nef>>EU%#ubCu3b+WkghP*@(7jy9RXBj{gY@>w zNKXC<6A$%z4o(@63#_0+!BSDLm^4^fgVsFR*d}7vH`BDt{L) z@L+h&bADo3-_Wphw45go;&_Dqf^foM48DLY9!Xe;_}nN+NZ=;ny}$OGdJA!%_L_Ua zt|`VohY1OjBz{oytT}cBkq$i=FdH4rVl^CJNL#`X^4~E(hob)HE z>_-Z;y%1YN$lUBWX!2e?U%q~{zrMa#mXPoq`dIWq^g$L)Ckev8h!^GBZhIQZY8qQ} zc4Ub7aTm1G_PP_gG>J4ezWXq6>jZoT3~Wvzfy@HOY?cmWme!hv!j1|}o9r5(VO%`k9#PHMI-wC@{g2+TI9F6X~A?AI+2$gd^9-ZV0M&9od_J<~OJ(Ul>5MY$! z1WGw_*6R~0hz<$K8gFYOU+B_=58QPXAU?5T7hWbJ?iXptyS<+qKT={qx*=(8UA(*r zh$b`iK68d#k)W;RAza+Qsi{e`=Ag2ytSqDudFwCAdt@SA2%Oo-dnO5~5|U;>zaXHt zr8g3~DzlE6eN2x$LuZd5}EhQ?^% z;?@}-zv~bEEr7fOFE0{sOEE`Uc6qsjV?8xM3V}ONV%Gx{wLme416Y05pqGS(E#qZw z1Fc9fz`HcW;5YKphzbHp^g^_Ge9#d z12=I3g%Ej)52oZYa!97go9g@=UYH_YdjtYW73$M^{6Am^PN?RC; zO0w$=gYES`1GbNKH#*)Vrc=sJ&jKvTKPwf{Sq2yw3S-^BpR&`J@9D8LKT`91d43%| zCYD1kqnX&x5s2gepX`<<_ODXI$6*;Yxi5$kJeGP4KfEB8QuL-{s}e-9bxs(GynFpd zJq3+sRpK`b-zm{4V zUZ8wbu34CGZC_5M%A{t^K3otMN-^Jd)AK&h2u*_-hwMrJ6%+2S_J%E>ay}Op7@tnv5#Sm&uVx8Ion-&ua=(8Jx!~4v-}5^- zu~XP;aOBTaEEM!jWK?i6YHzp{%Lue%6^F%?i^x5qpN2GD3dD6ZL_xd%Yigwm58@&m z-Q0kUmW||?^2+9)=i4HZpdry>gl=p%WcffP9T|K7`MBt8(vW!;>L0z-a-0)Gnc#@s z#cmp#_b&Y#*}tyXpHp5nEgAMF&*#>XbK`-I(h~ilHc3=LwEk4x zLBq|QTUL9^L0a1YZ^b(;-@tluBC)Bfn*I(0U$#IeqF{kLs|asBP~5CH@wtaiO)l>x>fd5o|Hk5>ETz~MYbFPbQ-eqg};APQ^NDb1OaN75m08xyx% zk{v}(uXO~6X(O3)c42ZynTn1*9v@FlUUA>t)3a5=rQ?;c(!S>n?-SnZ?qtA5K>qav zJIVng`f-%_JB(Ge)ON$z-f!Kdt@ASr?~_hesaQ-UrWOb(*T!yP`u9ktP=`_Lt`#oX zEyvB?>)CN`)=LLJkfIk3`_faoge;Yvf!b;rMyo>gajqUG(|2WTDTM9Ut0@hiy?gBD zW3bA{v1Yfse!vcv3-hDo=jgNu^D2 z{h)w$9If<(CLQHsg3|20{)3v?sK1k7&W4C92YVmgkbQEXXzy2(j^Q^xvBKlpiI(&y z?xiW4eZP*&Zjp?{e3w(-DjRWVx&&EnGm^2mJ#>7JFbAP#lib03?sRx?fV4rqaKCXU zaCn_py*ENPGKkPe;jjY?Po#Yrm?(rJoA2P>f7J%BYR36>ZL{xSDTVV3TWj{pC~((? z$xWZL7@3 zm9O-NxRYd6-XvvfM;P1dHOe+GrJxd;CH^?R9pGy8VY;*8nVgzhh_N!TpWaFd)cdf@ zt5>5mX&Bag*}sVqApSbsFk_@zwkDt(Rb;g%(!Ixk(NZpx@8l6_eO$bMJe#%^JNVh< z0lS11FD|4|NHSniNR%MsS3H}wAbwKUFMe%8)fvyt{ae;bsGgXLCZYA0&PX{*H>_Bk!=jtyO$TMRy!EKXcnDCq3Lm zXw50`!;9(ujL|orKao=|d=nCs5|vG$5_%dk;g|?<6ch7q*3QI2^P-W&_bDG^JFQ0f z#lcogp5OeR(H}mpExT49>sa%o20R)DPmZOYSqRj7a|$FlqclzT!oQ6NE??K(ku%$m z1(OG<*Xu5*LhGp`MwT_M+Y`=4Eem-Pznec|F*?MbaQviR%Dh={aGYVWSfMkcX&Rp0 z#X#Od$1GSQXzp2~69{e!mBxA0WOjD0*Z0K2OqGLA0%x%77b6%AmSo~WM&;bE7yX8e zO3uveE9f^KW$nK97|4>R1hq*TpNh=f~^qk1dF#~qu~OzqP*Ez zEu;{GWV$>K}lmN+pPd-yP(H06hT*dQybJsBlKM_J|Gl;gRd!8fS+G z$N9{GVc@vdv5uoUp7Y`({5x3rwkv7V3hPF?`#T-Ex}3MGIY$-pPrioT6Mz2l+4E<~ zIE&ivwQ)jMX@*I*k2TF1OeFYi$lvd8Z-%2pt%C|**G((1)2VhlW=oc{`C;_9l+F+u zBZ{tciB%&V&m@zm&^(s3ip)!gbCF91UWR&O!+&?B5_dc|$YW{=HJLoe>&6g?3u`b| z`m$K&NRh2R^ks3#r-24|g!<5Hp%oF?_WAhE zjLcz?0_qKvw?a}lnFb%u&1@VEh86N7SG@W5)PAkDnI2^%1ZwptwV>5Kia?{%cfNV; z87ZeA8FBoR&uE!8{ig94w|y>KKlXlo_q9pJJ+TuPI_7>Q^Asy%%BN^}xqY-U^4DBV z`(%uMgp82JKcOtfV-9KG6|Kd&6h*@rFItEFT=uZxwCeh5-HwAfjww;aw%=Y*`zw(J z6DE_1{hOkR7Ps`?)ZP$R*tUJ=sKnqC#q#%P@di%p0|%>>3C`3(FI`Or$!Z%{H?%09 z^w=2lyz$C=4^k^{I`J6gGdMc=MCxzTYb2V@YG2PG?uk{kpTok%#Z?SpWn$WZ*`xTk zu%Nv$KhjK(=q>%Z%2Go#5Yl0cloLS+eZK3`$bdcPn`sKerZPM zB#X?{VN-@ikMbvfo%X0Y8X9Ca{`4beG`k;BcSpckR-tRbF4910(9gSWTn4YmrFrl3 z(5hIE)DPP-^Lr*DA`h=&(AfM+_Wc#qW3Tt~{Wke-(ni-%0kj0zlOd00vS0eXQ;Ms& zV%E?rfp@|m)uELOz!1J9JKhl!CpRDJSoC)P&B|OF$wob%SZL&)y-YO`>CH{~{`|#+~k!-Rt9d-A(c(7F^8Lb2ScaWjzjdeGzpJ` zHS~3%CLf;ap&!}T*Y`J8@$vD{!uBQ{;QeD`&z{nJxjXW=8JrCY?KU+qcu&ksDpy&= z05?Er|B;cA_jz4TcuJSI5AEPYoSv1Xd9X3n7RMWxno0)cz+S1euV4M4*ON|XY<1(O zfmNFsn@S}D_vyCQ0EU3*jU|01W+q9Fyzs;GlhCpiJH{JJ*~>MVicDccw4eEZy6^u~ zFwU?$zQWjhq;W1u7u7WJb$Dgxz8#TaXjN-;=lb=!S5iVafjt$L66XcC5^aVx3~=Zk z&17#!g z_k+5Y5b6kCR~~S-OaS+}+KOtx85p5nhKq;i;pH_0XTo^h&e$i4MSp?LEpw2SnD}F0 zAh#OtRu|vx;!%|5MGK7~blldfj$(M!xL?F>@)-RU=}y|Xz#^_6J4W+4(?|A+tM$zX zR|~%g>90i?Q4)n)s`W%Y^ZdtI`gou z%1P8{fsmFK+6@*i-bIyNJA;p6e_d~{&d*t5?Vt8GQmIWeAl^mS-dS_mJG(VZJt61XIrJpk+e%+;huLaQVvv94&Rk4mS=Qyal z{xWOmp2awEVktK?J4ttO(!g+kXu~~`dgH`}5JUH&mkzg}@^q~36o&R*_?xf88>c&E zGD^o$zQUa3;y;)Tm^PiGbPug`bf$8$HW}L2QJ5G15 zr)7%Qq%OHWZ7SOhjOX((7DFlV#%y~1eVEiQr}X6G$b-oMyRAFNmiPGgplfa~y=YK( zlE5}77y_cJj!QG@rXKO~#;vTZ#OXh`LO1?vsEU2Vp$3|7LItT(y!pv95E&^H>D_^H z(;SGxW)r<=HK4ir@xw`oR$|bpt97f_ZlBySIc9c^GPrG&+uVE6w1$?YSbSr2@0w;L z8ISn(s_%5cjE9g%>W+XhOTRsZQq9Lca18uZ_f_EUkPyDp24))V)WtNHI^0AHR2R!* zS+Cl90z3ibL4w+HnyewCJ3kw>rB#b-QrehKWn^;58F&t8aPQ7oW~3_jforSKiX9A6+wQ)zghF@CHU4$d6r%Vlg(7S9|*6ZAA z)t9t}IP{ADn(qfA+_3ZCPZ#!k%QWyiXutDXUXndO_RKtY5o~C$Z5-C86Gw|6(+S!y zb$jR{LcA0Du@7WE9d`sCeuq*G+iFoS8>A0Pp#U0CM~vTENx%83Qr=?6A9&d6?ioVs25x?1PK|C8L`rcdzMHb2oCex;7f-r>f8O!u1ttf;#8 z#P<8mS9*7(i|q(JoKZA~eys0N@rH(Rf50-FAScSbdea=Af-2UhbAgDu+Wv0ZT-Id$ z;_G2%MmW6sl1+j`X;Lam!hdw6-6&e#Wsy=W@y@;8SbWS<{F$pF z|AReAxFAWO$Q{FtDN?U1mqH^Z@4jSG@#eWS+w=Lb?QKwbqzoga`qO@yu8;GExaf6{ zI#+(&s3C9gCXReFkpGapJNZtmS{ptGK|>~~>AkpczA9?>96X)reU^ZLUZ;nO#RoJG zJFanH6HF@C{*nl7JG`wl;QG?Sfr!%+M_Q>kB-hzy@}5;=2`N8^hWV??^gK%SaZkZy zt)0h|IlKOaW>Xwin4^=9_jGM&CE4v|T(+@N8~IMY&Cf_JR^H1eCkb?D^Z1tA?CRpA zoSFNh+L+p{&VxAR(4{K>GdE@2=Jh+Y@~!?eEecOx5B2Mmb>};-lRRV%ELfPV?`A;J zO?#Nh8})f{?{C)3!vmGQINPt}r2bZW`Ilszxjwe+*FM^9vHbE{^oRWL*ew%&_OCD5 zH!HbioSA&WFLQsboZjs3lisd>ScTR96Kzp**rw&XadRN)Wj{a_D;g_~N4l-)k(~kT zeK^6~s|iZwjewH0LTR?~I*#%;*iEa{?h4jU`i-vY0CNi9Rz{%Jb+9EJ3V>uRi-L;E zpxoY)0&FMlt+l+u=B<6#5Q9!)Ejr)S=ttx**fmuVSn)0buNqx-{?wUemviYW=PJo; z<$d$cDa?n}jy9vQID6kme`~MR6>ju7yk3v$2oQgWSF#^}{q=9=OKQ$E+E2-5vT_)KN27A*7)Ia&W9UM|-s zXK!995^_y&4B&{?uV#?)uy~zSH%yIz>36pZR@e57P*ak8Y2lmN#ajc$N73QGF^{m% za_0z&cqwQM&wezEaMIT(Gx{h;im)y#ypMV{EvR*g*nF)5#h7^a{)!7-xwni%6rVyP z<3NG;{psJ0UqT(buFUr06Y|vP@~B3d1qivma+~AUyWCT7+&!D2*}K%aVQ28gt21@b zUs%!Y?@BzXDS=}OqKtQIr=9RuN+V_Nh~MEd4j2ywj84{q+zD*amut_%$!uvbbh#GU z-TepW(rqRRPN{1;FF9FT2aCsiC@sO&l|w0@t8m&k2cWLsTz^}-a=|k_nmwi^qSu4! zw@8P!{AGWep2d|D4Mt8L2SPO!^t}WAyC}EG51W!ktw;B8@GJMlR=(C87%Zhbo!@ej zWoFwdcwIX;9ZJ+V5fgIxIAgxG{MWAJ-nz%-Rgzd1+`%D+`)<#rH!*D5l)vPqVmKB{rn5{^$_{kOGa`iVYq%|zA9 zx&Mtl*62RC8!R`(^4Ljyx|qE3_!s_JSt)L%+obp0YWrkY(>(8(fUGPQbi$T%zq)dU z9(LS${PiVD9Qk+DGq+bPYPRyPSF`rM>i14e_B`QrounIQ>spMW`E=jydw>8zGxCev zCV+OZ8&_>*-5psSEqw~$CqSjIG&CLq+-@wWa~WYh7_s2#Mw{O-DUE`@@S#Y9(;OB- ze&pwaL|}z0MFKjJQi+i|fbk;HYysdG$pGmYpjsJf{SClDIVfBP3uC*bj5HVP%E!o0 z4~r_ee8j2n0`0=aljHOf0PHZ6nmk1s>TW6s>G8b_ zRJa2_`mCwlRi8X1JV}4T_m)srHnP4?BziOF;tF3r^MDWYyT(-g0J$!mC?Bf_XhY8oZoL&lN(!UD;j~0mQ z$IR-`Pj>TMi`go=Qa=s6z+*9rhg6-$j~9BjcW`ZsAfpi&6jTmOiEwBL`}vM1GHkDv zsHv%mpFX{(*KrfEZ3fHe2GTI)A5gWR@ue-IOepprT&`cVD&Yd#0T$v{-g@@YF)^YF z3K3Wd9v2_L+1%9h7Lv#VCmu5K*fv;t=+B&;xos-Pr+>eQx~q5#>L(F-HAkrL02u~7 zPCHmGC=Qqo7kmy5#?1P04~8}1YCwOT7ev_*7^85YQbfT}Xx_h}+2DN{5#K`bMe(7E zUazs^6Du&Lv214^+<*~9Ou)etKn&X0zzz(i8EE(Ezy0{@;$bJ}j04=cvo;Iur>7voqG3afMEr2r;+@<&%!m{?d!f{{+>a-Z+9z&lq0g=weY_h!W!z^Wz-ddQ1s-|6DE3#b2;^5)4j91_7Z z&wg)MmlB*h05Y^%>hl0lF$g#nwADLOS$t>;6>cn_Xx@B%7bM2fyhQ)!a_FZ}9nge` zg*b|{J@gITf^pdXaf|NFeTCmJOY#9kG6U>#8=S~L1GDNXvP7TAu_h-bE5>>elIWA3x}@aF_cSOlySU`bsEM#LC|E+@cxp)TW* z!sdBWa??CQl$gv?Gbp@+>CQQ zEAOBBgil(84c^i-z!@;LkB*3F27DP?qLChrwCLhJDCu9m{6*lrBMIVmU26(;!JD9@ zG8xme{_En;8u>}S9G(xJ>PSdPyoEmt40ioll0)_orYR^W9#K(w0%Kqc&Sq=*YY>b( z)!p%5NlD#>2I}4qo~Ft=_cE0O%-z(|@|c4o67cu0;2B&pfp*E4_skBdUzpS!>P*

g(^X>@ot>Xfo|}Vsup810Kuhg`xwLV7DiXtirMDL23^oR3 z5ER*9o-B@*(jjXHY#y8rrreLK^7ca~*C%HZwe}W}djld1eH5#y4iM0GR!3Rij!)Nn zvCjod+rf*=7h)Z=Z(am^lAm^51oNG7o$%x)q;v|0??2T+0~X6f77Or<^bHIiv$H>V z2Py&yDXAX-$SE$7kdZM$i+89VwZrFBy0X65!`p=z1uY4*P7XG60u|oDX1WOvfC18+ zTaS^bc}HIj3R;)FMprQu^Rlzi;yMLhy?XV`{?)4+&`R5JR}op6%^e*kf^S{zCQS9E zvl9puZyApic>oDv#rzZ+i6iNF;}@5hdx4>M@0pfzc>6O~>XO6ucZ;({GY5lcmXr(w z$%}rSSj9qKR2BS59m$JurS`Nh&3=E0!~dDRS5NgteeN6RAaKAs51K)<` z^^D-{z*5U1HxdiG05n1W3h9g-;RIoDaPZ%Rgp(bT7aK@XEkx)bfB&wnp+&13Ibo5J zp5rEIutUdJ{W;pkIr}scIC=v^AsmTZZ-ZxVcT&^Pkiy0l-wwK+^AXVin`EL!Yz~M* z_7HgY%MeG6d9d#>YW#vk0{-j(fB(O~u23devpqz6$o5tH1$n&ohcq~QujikF*G=&8 zdTm^D5cyNRuK0J>K-mQ5!qfQnr6mKPU>z44d+s8U4tCurSdWZGL-Zz9o3CIdF^C4O z*Ph2h5*iI0UwYV&vg(la6L8g|-0&vW@!zdJtP@QjGx-_+{NsH_t-pXYaSbRu%D~vX z0{tWngGw|LZ*pnA8}y8ao1Q ziyevwdxN28PiiMS;eQU-ICHwx^1dC1jdg_7%`6#qe`qH^3jt#R66HDI#njVB<`F`% z2t1v5j#r)n@AI?#5IxCjrX3zi6M<712&(vp&QSVq^rr+0E~qY?PI zLrLOkd<>ylnj?@4q~zrrvE-GXYipANUrB3gwt3YeW)*162jlB5jX-;&Z~um-wx4in zFQi8U2Ius^g6aSX&6{cm=1b!h*1d0>kr^BiXAXP08T?*TVTIZ9t`V}Cllnchx?eDr zX5e@9cK0cVD{xRBFzNk`FsC5c87%$|R6}wckSu5b{RIjo$ZeD6Bj2cJ591wCBMKO- z4s3vb4s1g>S$sD+BQaZEAXJ!*%NN)EI0n>a1#qkBSN}x1`zP*xdGi|%33I@dOiWJx z#N&MQH~8>;J!>qzANUOU7Qmo^km6d>L75iaBi4;1KTYpD=%d0U?g-_-nS<8#mwrK3 zpbwzM)m|oM%04;?*s{H7D}L(^E~7s|ZqDNE=vVcRu##wC>!7BjB;w{C|7Y|6`534i zu((Pf!FUanAo%pxmAy|IiKbweng$azaz@5L;L85iU0%BTlN-qy<0hCCE~YmI2Do!6 zw(7O_ig6nI?ONTO?nM3$m;Unmw_aA=-xuH6W`6(p;~7n@?;6bIT1YjJyb>rVrHb;h zvh_5jV=wgeGp+|9i?Zo*E86#$T7;1Pb%EcCn6))CoN;mnfK~|}R&~HvruiaracPnr z+P>iqy@e7?Ls=wdFy9w{>?hC`a8a$HbQ9c+f9bdQibV*m9( zXZtSI3rg&pyvR0gWwp~umW@26WJzSS9zS-Bho_9}K2T#AojHd9Xze9Qn@2HkWu#ccfvanV4%Oz_H*nvi%`Gaq!>ycf;Po!ouaC=mV3QD~M#} zPX^p{xsmCGDSHzT0YAbsrw1#x3D79;Wn4Pm05q|0kc0WwP3ch*ayx)4Tw6YUL06h! z!jnCB-jnx`{CU7BHVQ1ZG$P4hUCe;l6$v?c$IbU^#b^i(xhX4H07w{K}rfHUc@- zqmRbVFL%b^naR21^uSEl13x-s)}> z7GEvd9&(+ZYy;gY78nBIkWR*gP|I(@s#Px?&B35cUc^b2z46dV3#bA3c@4w&tTCU9ePnlE=vpJ=${W zFxpd%j{`BBDIadf(xhkw;l&M-JcaBwEcNM9QE(`S_;^LY1HxbwuDnV0n@uQ}9smajsFG3E@_MAxemC8h;kG6yR-^k-n1Xppx6vrDgI&jO*S2ay%^4#K_5rdG*E{Vn~CXjw#VOOS)vFpAR%i z3ohFp5R6XnxKfc?o(ULC);000?39drvXQLX#49m6K=rG1D?50?vCk1=HyGRb_xe!D zC($h4r2K>rP;P?Kr?|z@S}O_H8ZJxrNpMR+zg-lrpvc_)#MSQN3g=QHH}m z4Y-)@3OpWv@GLQ)s_`gg9(y1^`qk1GGT+=CqW&fW1=C2fWrgo@EWheMddZ+Zc;#p6)xiUn*CucU18gVkQQ|rqW#v`skwo1WpEDaHf82Sy)8{;c z6c0_SwI5DV-9S;y$guG6;Yb=uj5!HDK^3Zi3mNHc@o)07fYr|I<9)&J4$J1GB|V7ZKI4r2A&StEC~XtLbMQPU62_b%6x{wC4jFUI0^=%!eh znbJWfmmg7#Y4O*`2R`WkgS5ARs;XVrzs15p5KsXr1r!lMx-SyoQW1sy$?>^^@@x5cL@v6XLt{G3<*YCP+&WpkBE$g{GS_{^k z@2`pHER&nrk%}y-r&CscYO0@U>F6w&Zc&g@V6Z(9y}@vITf2E_wRZPEZ*-)y zhgPY(jNPlPXuIi|LoHgvByv3<^h8jg@iybECzv`viA&1z z!?$8D)!({J>q%Q8R1HmlMlVcxFUtmAYY30#}pL3|y?fdBL z83AiG&(j=)CGM2&O-xQh&pKk=axG#%T9Aj@R6aI#8Hs;Qd?kN8U_rTGy7@-Q+Vggf zOE+)R`*}IHe7lBS=e1EjENn_;JF&qV?7xqOpEnZ8E@Opdwg*F;Xk;En$>7g|9P4Dt z7K%f+@+!~kZZUjk>&keqR?d935?Ed;$f0hziE5-H+UeuhO7JtAdAS_Ql-7GdjK>+x z+g4J1IXL12Ii+*#aQLgfk?QQi*b)|D4R44%tOQQKD|sJol2{PVky?s>tIKB+Zo6gJ z<7L9S<`wHE;F!-eH7Aww8I6ayU@v#nnr}S(YL(Ea;I)w7?G@O4(}9`Yx0ES8}@*->P>pccT#Vi9NBO9vk-w!EHZDk)MS(}8z zkZx3s@-F7yaa6i)WpI-=K_0<@+*)P?9P6rwJFQk^mVBPKI&Tjcl_{`S?HnlSCFhSl zo%tc5h0mgpq?nj?=fZASh=)jl#3|P~$~dc-_^iUx8RJ8PJ_8>#!|QqHlIvL)r)hNT zQ5|BJK2i9=78?I-oyK#aWn9Bg^Ay3~TAp7ZkXlF{en3oe{nRW!z7NI60SU^1ZAYcq zyLrAJvA2VT8-G4+Y8HWt7l(zykAE>fq}qQNpGznOy)KtukWaaveaBp!)(@@^L3fC3 zM~7n$zPy9785$#zel0zW?34hU^CD#^sL@|QUgOoCfj)B{5T?J?$ z45-+a8P}wXD~^6&IwhkwBH!@|=iy4x2;bg`S$&6n)d`8OB)lx4<#AgR?baHP8g^lp zz_&|zzfMGX>#@<$wje#0QeHq=$slnk_kNnp=8GQZVQ+4FI^BHA>NY8bJQ+iOv9LGX zR6IAR()NGqV-$P79d}vku}K}#PdU{wtmmf0|BTD?YX4T@U_J9i-QLW1wAzEq@_ZQQ zMI!9z4%ot8FWquwjBxoe63AsUkju|;YD+(sk;J>$wpPPJfus2j9-)lm(?A~e%zk2n zK{{M9^{XV-+m}N1Dm>lYL7_K87o9y<%1v_JbYx%X;0_m4UdmCFCwJF*Rwc1D7-#P; zms}yZD#o`_>NJH(!9lw~tlX5gRPgr3uxbD1qC|>E{%v)!r#FgZreCe@zN4nH-xYZ# zhHE9mMUb!bhMQ-bh?r~v>Et#A&&>p^Jtv^hcnj)cK#8sbU~jTLYF}!k1drL(j)A=n z8JOFdDI;vipvZjwiOzIOq?n{6F8oE83Q`>??%((B%hpC0(HS&iHOeoZG`-_B?(LDg zvgLh2H)So`!s=2wPtK#>8l`4g7jx6ACAdPs7^Ce8JKGLor^HIZc8 zJ>qnR>AS9IO~SxyN{MM}H&se3Lc|q4o#Q9vt$tiFku%?wogUOk9=g$xtp-M#e9Zc1 z^e3icnQSl6OE~p~NXWy3fm<2_C;}I9lSuxJdH(KGJ!9!fFRr|yZ_u(01J{tWYlCt8~bxE18 z5m|BBKi6sm=_}?@?LJ=kbOx!nU#%AC%WYH~ejEJ|Q%78&96G?vhLYmtp?BrOEG99Q zJcTO5a%J>-oEIvWEPiOia%U9T^gtHgoZYkNtve(6cO!x#)k zB@{oOtA%#FrXfGWAYo!vr#?q>^x3M~nj*rX>Tuv~E1q7Z10U73_qJRl&_>H^cnRxH zOT$GT`LB1PxJL|zz6K*j*cRTSu*Ad>-W*gaSd+pbnjv%26lzAHgUjp{sxgx3_yJ96 zs90e97LrvKgXRH=!&@@BK9B>n;!`Jx)TnD`c zfXe(0;0Wt!-T!RM`(jZ+*b23r&AlSD16YortCwr8{|o=rn?qf@4J>3??6Ufa)G_gT z7k37|be&Umy|?NJYrU1Kyij{b=yhj(6|7QfjVO`&zvzgjvC??iOr+So@b%1#%`4t0%< z80}*QH{!?5d?jEoLd zcgnMGSu7Is!6SCtJMtZ4^3HA=v!)AXds8XYJP z1YC^MAC5ts{&?_~iB)}d-!0cWvQT9aj%&@i=l*&Byh@_a?Vr61)A@H|Nk53LS*}3DY=!5rTbV z1luJfzIGUBpMSo0=dZr~k$Iouvu(vSYumLC!|^SGl7?4dyQ%ixV#Fd&)tX=RsBVGI z02`AmTCHN2h2Wpz8pd<4Uc4W!7=89xeRQR1<07VJUD#2E=79`F0$vvELvmlp&-|GF z5Wr$>ApaPyS`$~| zXEN}lKEer4u!bls+${0XKzhx3AaQD#RrAOe-Cp9PkT&VX2VFIc2wWkN&gJUXN#Rgj zI{ra%*c6rTn(Q5q&G;D|=DpGoJH65%=ltl9pquE`7(Z}^P*5QSX`mbm($A!&189$S zuOfFTBANuyDqeqX1r;C3moIA(B?T(>?jJsA%yuS)nF_3Vx4ifw4LugBmPe!Lv0L46 z{gP<6RyTR`#i5|_hNNwO@;hyTM5w)Fg9rEiHsfO2)>;L3XrJs@IksjDU&5U<$COvt zlq|}u`q_k6QuS1-(I-2*wx5W4$1c^{G#B!OKGEI|FFbrWu*|caJeO!=eRrr{E^J3u zW5@~{yBItl4R?1|ypj+1<(GGR532~#77Ci#d?y&a^;%l{J-^JI_{e`@&}&cDoixoa}`f76tthyr6VZ zIi7TrmM2t+k5-r9(Y#UOX{)7#x3MRSws^foz9eLrZfHcSOU$sF5M{0ui+R`%FsB?H zs)r2ZvW2b0P7^&+3S4%K)VyBE6l~O;eUjC)%CGi>z!+1AU!gy~#y*jB#`!1L{D4(&@_{hi zP`I2a_e(=K?hYTFRDN;E>+8LCX+DvP0&2QEUO@Zd+b20P7xTk&yaTzkDWvbI* zILD6>&j%G=Ru&=NEWjrsHm}{EyUJ!(VK05;7=5$mrZ#x(5xV)f1b3d(Wk+A@I*xF- zNyT}j`lX?HP{f!fNMw2%+6GR;0^`I80(JO_@u-4!NcP9)6Y!B`Zdl#xCxdG(bcQp!Gwgo zHbQ?~g*Wj5X6Y9Kkg{4y!|cs*cX^da!IamHz}jSr0H&d%_ma^l)d|eAsbI_HyuXH9aQ~mbL@4mn#CaxX)pONT~p( zTcD%R(|Z~~T(ND?$i@sp-V$!7<@o=4@EZrxNwN*HAKQFJWeO(9`S9P5Hlzd&L`MT`fk^2pSE5`=>ffBXc<;l# zb);B32r4hXpkN26G>ESPUY|a1K>hu|%IjEPzxq4TjeysN*A}Hty zv>HbWaYz9f1cx%4ev;!)%$}jCrIls1AO{lK$$ALX5rRWYIe+&V!s-AAmV){4SB=*S z3N+?}mOU$=kE!CHg)`Y0!5s>8STIl;9mgeZIpiIEoZVDe?jz=b%zCKjy9_T)C&qY1 zmzG9A(~40Gj>4U(&_Xz=NbMQXK_C%iD>))93b`Aw+35fl0zv*ewBBd}d8Gohx}?<9 zIN0w)jYyVQsTL7ws;c@*cba2ti0H#@Jo*l?G@2Jok_T z^s!RGk>m417O>AkS(=dB5OiHdxMT=SV9=ZK8WGpgG;9>CRr#E^<9hP(+ToeP0oL-`^Y*vFxmf@}dH zp&Imd_;%iCT97Wl|aB8uBI$iry%(FSBz8-P}9;kkpk(SV8Pc6$U*CDJgyhg|M#CUpy3{{6E~OOjQ2w(u!v9 z4mqrez{FcP;VTTePOMKvL~=RqAt#Fcqi(?XM?Zi_;4Y!MbLZThNbrt>z?pSBkuC~u z0ffT<4GkfQ02zV8&xe0|Q22i|Oa>}9gNR!L%)?t%{402Pj9^hmBru5H5JgZK5HTTG zrQj7IC893Etu&q2Z&bOoW!@<+D6XvB0{XEDM>rz%DA+IL{!wUPM3;8Gft(=p;OC*T zY+$4j6Ari+1?_lfa4Qc1IhzEUPj%r(E_l`3v$e&VlCtsO^CG{(?FlC#oyrM#Tu&ee z9?oeE1=F9P1o63Gh%*!i`v1Ofa~J~~z5^D2q8F4xRN3&DTZNws(eY6dJ!5JxeS!?z z2rpk(Utd9oarV;nw}VDla@GJgEf6V!SLGKz*xnogIaR)Q$kdZAI0MJZi-bhbmJz$E=aj@wUJ-@&MLgn$-(Qy&PuGO3J9S}8VNxW;2gR#@m zj10dn!}lnx*?qpQB4Q2Tho$NA-_ip zq<_gp6VS}ibR-goAN-{q5n&Sn75~DEQ7qXecfPlKA)o&j^r|x7o5?G`b+9#ToRC=I zjdMJv!7~{U6y&CgPvg{3D*pG(p|~1f@_B8A|N15$XLlE(1~mTPzwP)kJ^<=mIZLJd z4U5-p2dck^e=I!@dwO~z^XdA0pC3>arw|kZk^Dgq(G-6>`taBL)IO~GEtlsc08CLl zxzs>g`~e9p7=R%^br!b3g(Z9!se!%xH6pSHm8>;$g6x>~Vh6#?L9o_-$Un;W_asEe z!~`?zOMh8~4%OIKuWBM+Da2p&Ith$b#B4zXtbkZED%Z5asXf5-`Y~PHwbXyHU@L;?Ze)bIGK2V6QyO8ZPwd8cf3FH#3 zXo9)-f&f4N$Kc?;EWqCmcSklQkg`LrBi*07M745!g$_DI9~<8Og*6?D7^cf+yUfoU zAV&uEPBC%uHsedy-oC!Ra(4dE1xW-(fY6fe*Ux@mxR*#UpNeVm;KMn{^BP^-fgp}^ zcUo#|KgY&uL@GN$SFdM5bgzNPfvA!e0F};Sa?aD~>FI42Hbvs%;nhF_85*J#1BYn1 z%7M-SDNe}4Yev^sqgraHC36p?UbOGX34}-$vEp~8z$E1F4?-r53nuYX6p9Bf3k&FX zGbpDL;O0ywd<5I!dY=&GJ+OeHSZk3otgKK@2dCcszABjmQ%#{lPoC)5eofF|cO<*t7nD0Re~eZ^g<28YZKGQcQvDt+L!5b%^QXKq|$s?1G`10GX(Qf`V9VQ%?o| zc}E2Z7<=%jm=e>~88Xojn*@S#LRE(s5^W|!^wau`S71oZ0!EVd>vF|G_muZzLBTap z8?j#jY2^i(Wv2rhx^Aai-jMwD7{l;kMH8i_tX2rKR3Y>R!v|;vhT2hBqJK_H^Md&q z{}nV&Y6A`c=`HlxmMjUlrJVf|X!!_OGfZPdVDUpcUO~XjcAJ+s5)9CbrF%y6R-E8_ z976RqM?x}aPC%JRwk<}U>f81siJ$GU&yPn=9BG6fC9$8UM?!=kfu;o(r9oV_W)1w} z5EW|BpO+ekGBu??brwVA+bcBq`!U!B`8g&)_~mv2Ja7?y3CUow^)&E%w{P8g2Z=Tx z0|L5f`_}=9Zch*+g$EwiqVYgBBa7LE)gPk(HU9eTR%wM(A>5es5j>7|-^Sm(c@q%P z!fgv>n=KigvLC>#6v9{n-=fb3vpQN3Os@!61dR2#3!zcQy}aiMZ+|U9RB)oRiAWm{ z50;#e+m8@MwYTGw|NL@WdV;glA&uwFQ_-juTVvGA${m>iv--?T2fCYI;s%&R7I*B~@9!%! zf9gVE5)*xw#7bz(m0Y%WeD{9GI8A$zT0fCSpQ1#btY)A)aGs~`;au9T8ujqkf)I}; z%k9v8ipd)Ki3-|vc6O{2%6^gQ5enr+!EsVXNtFboLglSYUIl4*D>H2ig|d4un((rd zb|>^5UgWZwF$$F~YlMZHJNJbDmc!c}2u}z;L|4!z#(iG4dT>86wD|OJ^W6{U>{~fT z6U~~R-PIPYk&$;MXAI5p6Q#UMd0$7-TKD{5SEm7aIq-hu4AE5_{^H+oghy2o`PvIcu74iQi0s)DRL_%uW@^(qYRRhgaN?Zj`;y$8P;jb)YvKy-P7s*~p z4}P7H>C#(uk7JY5b9;jOYhbeQ9Xa}UMfIr#bJTZ!+F$5X#M~1xba@{_ke#^eaJF>z zIuW}pMWo~P<~Jk#QjF%bmgdtPQVJ(uk*A+Zlk~<)R4y~2VpeXc&bFmKEV9coDkBjz za<%Ha=A(=NXh^S=!_~mD)Ba`9{m}x_(V`P8ob7b5=wNiha#1~f4?-hp<_HN13n3~H z=-!*Ov|fy0n(E^InzGsLq+c)-!Laz1DtIY=qCG#sZ@h(C%RYEZJ2KzY95;VRrdpLx zp0d=*DcRSl?B(|k?^yahC-$nUUbe%pYS#%5408z#jlNINJaaUlB0qXwd&`(aNMMV9 zsA!dN)~d+4+xw{n-B{M*2Ybsafu)=wr3q6jWyN?IDCxB$C&?IZ-%p>2>>gXwqUN4d zdy&>Rd**(%9}L?ZNI6J0YR0LjM7^2IiK#7G(j&5!H8|R9*iP1W?lx8^jObN8s4X~P zU|8BE-}L8ydUVJzw3-~i;S-!hp=@(O7E4L6n%LD(M6PjpgNpg*{f6ZlnI2S5HLgpv=gnf#C-n87$!y~;kcDCR63FnT*YT6!SQcc8@ z?>!xfA&l8HtZ_~A_vHB7D!glF9GObIOCs=PSf~?t#U$029VfQz+&qMDrw^a!7dSI4 zh)Q>bFP?E0HEw9_f8kyj+;uMsmz$shf6O%VWBN*v=fgRf5Y2n)w0&3T{OM!;n$$|8 zx(5z|`>XDK%&-COGV9u7x^Y7UEnS|R|n2+_{3|%-vp(!_!cn#}!V{<0* z67(FsZj?_ekC=#FA8r{>9XL>0wdZ0hwy3iFaeg6};AR6IpD}yyAS{UxbQ4+3B8w>G zb^K@K-(mjywTdTs1<2=jFcrxK1T$J6z4{6~CXeS_tUP;A6CTwWzCcVaua?Qk1UNwI#AHKCQBmq8_5H)MZp=joxHBTfPd zp5SnVsM3xM$M-lMo-l=;Zoqg-9Svy?s;{+fy^h=vshRiM|IGNEw~OBzcx z!F9?aYdo?JKhp_~kL$&_bc6#oEP*))N%ASXl+3i14(BXpxle@94=QaHegO%_qyEnu zF=nezxED3X_AtM>o#SauFkKT+yJ(NwUqb04R9CgJDEKT8@+GMB8bov%{{vdE_NLog zxQ;yis4jK_>stogacT1;6Pw%-6Jb1t1a`%D)tHHYKFJe*5a#pXrmISgC_SNb_i&?} zMD6EqKSfh~9%#p~u25tKPql>UhFr-E@Veq_q=9Q(@U!Xi08@tZnAJemL4r+_jK&p= zTQMqh^ydjIuG3vB=Js6(ed9DV=4Vdz(;O$M@F26#xhxQ62v68JZOBI=NL=2i~+XRtjmFfz&qKn(in_;y~KpXyKeuMkr#)-)@7N{rjf)-wIFWZZ35J*y_!J30JZ7% z;oMS!Ef=!;xB4B4EMGnomQ{Nb9(5|LamT2|(1ihJJl`ei88(A0rd5}w&nhpk%Ln=& zjjf4vXp9dm_#3C(GFF)-nJd%}{iY*oRp~jiG1m9;nN&J0jiyVJfK*F!LC>P1gl19b zx9Q4jgt!hRJ;F^nw)phoU}=2Qeclq%L5giIwuM_CePc9WQRA?VFD=p*4J?gWZSeT7SVKOc;<9&|nzVwi#7 ztNQWT*-!HryJ1hQe4hzCko_l^A#5A43F>^`pu?CJu)ounP%}^NZ7S)#XGztvE3xs& z!|CE)F1Yfd_v)5QN&oGR@twZ${3my=vzgpLmYxtOt9`h?^A*@}#1u7~@d&C?+$U0h zEz=>?7@x<14U2pIGL#hlYl=la@S49;ESg}|eeXk&tZX4xBo;&aJlZ6Iu9bA^#%agq z#==Wq*9Dj_@?fD9Me3}Kg$a2BBCb8G^I9g#l2#tAUJtH{Wjj@`E*afhsM^BUcwIll zX7#7o3iA%V!P%O_I8tKQ1oYH7%e|n(DlbQ6cR94$WU9@7cm8hD7=n%2ZVS}Y>7cwv2)VVOBZU& zfc^5a2@>2aBSCz@eaG$VgWI#Qu7A-}uKCrVz znZJ6&smcwb3^$8xbq>VpZ$wV}D>P193;ls$i139vAxPCC7VD)=QhUE4g2nX9PSSc= z#KpupVV47W5=n)j?dwcf6+?;Wh( zBv#tpxWF|>N~`7@hHvG(8~NOsV2cB2XFS?lU)u3e?c=&tk{e|NkP0Kz8db%Ta7td_ zf=2Afyl+jn{Ncle4@*zDcH9mM&o5Mv;P!uwL@@xtkQd;_{cJmj)k-wtt$wG@*d7bk zC$s+=;UU1LR-Vze?swkm7!NRV46ZD{`+p+~utyD0_iYDwZSNQAZ?V}1T{VgrMj z2M605jDrC$0Y+TSzOT0Cq2K3B@G<7+CK`e-(P*N|>H-<(2zW9!u%atyeeOjBG`zWQ zb)S+Hx539%AbaG!f>}2C&mg>qT1DaawHG6L6N{=_2HqLDT-u$KM|($RAM4pjLd()T z$ZgTR9%>L$?2PHSm*~+nd)W`gC%43lZ_G$Bq!nUlqilwsrYeH#%x(YdEIbN8f&Sj2KLXbC ziG~IRvVBL~AS&RM19vkRv6s2?KrJxk=)a#?c!)(yTWZ94YLA_uo!7&OM_EX*q;9Fj zkcZm7EjP}hHfL=_S<>AjtF4%hjzvao&HE>5pt5!0`!a6vhk;(098-@?ddMd=w0qeX z3YNbvVyo1?Q{3Ke-qF}J^BLrHw@puvNh%i{?g%NHr##r;9P5Z-A1hKi;jlJ#H_Pt! zXuaq6>6OgIIf;M+W5$}r>k{+&t83*==2SbS9@&T7L}kOVc`1bnw>a8fb2IEWJKg%n zY>C;+C+ZK^FgF1uXy&>0D%o56`OYC;tdcDzc9PKc-B5cP&pYUOcPRg(UOmbwnL5`h zZs4>e64qD9KRF@3(2V)v!qH{cTT7T@6d?zcYN15{Q6I^BB}p`6<|k{ z822d(W=<97y9w9dq@@Zp)Gw=^Ui%m^yssp;Hb}@8jZ?Q&GFLJ&42%6eN1N-(iC+dh zXexv(6lRrj3A}Iwyrbv4@=YeDM;cq=?0)n#)hvxR^-HmgUYbwi_q7^)gNzwcD6V&% z@0|qs&2UPSry61~5^&|E)|Swe6}d}SJpwF6;+iPmEu3HJ#by5S=ust<%4PG7h(TKe z6Y2F1rpnF3g@wmJi%lUq(mz#!NZj4s6+lNC00{%kD&XDwhGc*&k5=-jJxU}EGuPwN zCEOPa~GOOp(>tuws+i{EK{=mAK5(w0FKiLe`I#+MD7I4D_Li ziOa(6sMfUtqFL$zhlBO4&QFCxOA)nwV%|4c;tG2Ti(=6#^Y%{kc8;jmJHJn)GQ3ft zOBtumMR{a+ncG``@m)&a(6^A8rXGnhi_Ji^^o?RXfxMz-7NRQ5x%cVuUJ!l)#Jn?5 z-|O2y~^n@LOiT9)TbUfFkAMHtC?6d z-dszU8L2%Vmc$%ZwMFnMJ7GCDkNz=*3 z8L8$lQK^U8X0*i@UO~Y`dm7KLZ>4Q-dsZ)_hSHbKhOJJJWH7BiuPk0L%@o zoiF)5P={8K)9Mqn&!l}hf!eqIqSfbLBTr&1&+cqUt$jJN+dV>%c`2r7waI~Zp)Y{r z@kQQ~H*!@jhr5RNW6I|q{R5`pE$rE;zOTdk{|1np8~acdz_DXd>>YSpA+|lz zr`K~ijP)jS0K3URVJzI?FLFY61?=_hbtij z6tPy(TZz;eDZ~C;|Z+SHE!jTqZ3&uPR@xZoj?Ro15VNzA_&@s)YaAyQS8p zP5-QC%GzZVhpDXvkL44;@H!?U5>Ki+s<64d83_OhU5rgm_IUfY^(WflD67H}HA&Ut zx$uTGhX{cH?ybO&KV%jRL86A*eK?+y&1(R>Gaz3M`8@tqk_Awvl`VBB?7Hc4Zv!|T zPzReL6-oaE7IcYXAB&2$Ejv&U4Pwx|z|Q`9%^E65pF~0{)*{*$9uMjtS3k+FLCbsc z+qdIiz>40sxLFg|>$kW@^eiQ!>m?&`KC=8=fih|yBw(BZ>nKR~^^icKtEv$t_FFUI zzqbzULd-x9Tmg7?bj79s>Q!)r?30s|jUmhpzs&N-@(TYwqyr?9=Kz_Q>_9FgK_(vP zP4^TEGBnL(&Wrvo%c5gf8Yn$_eCNAb97x@Vkdh7lt6p)eKcO9n!~*ucaOp{;7y%`7 zk2Bcsu>Od3*X({qxq?b+_#z@Aq8S(poqtn!eo0&7q;OdfHk{feC2csAusCd zV{t@&{(YUH_03%fguejVuo{FqAQ2aygsfm6bR{x#0~np@uNFejXTn}Ph}v5~B;9*p zBuq@a15t6@EXG5PNEVr_cDSac&3_3{LBIpBXQDpxj{S*QQUKBzm73eXD*@9`}<*`~w&w)*^$8%Tz+HPs zMG=;J5ZeYi!coSJEXcDtJ_Y<$CsAdjufPPx0L~3?%+h$>fqb1~Dg-;T6@+d;o(z6V zsO&*+e>7G^U3vcw0dSxX1Ngb^g zmXokAa_`M&BdXcO`(ImUpI3PO(E{H%AG5-p&X6S*sFf2B zM-=RG3oudMoah_8Zk5A&T_PtE<$kapg&6+Tc!Kmn>At`EaTNZ#y6?H`NnyVPeFM}X zZwQHYkaoqf`q#C}%=7_C(F<&;Zvei>L2T40NHMtf_}cE@K?zj-TG=d(^FWZHBeqer zIVNb2@~?XgI;hGb*vJS9dHk?_E@uGO1KCc{i|*8k_@u=-<>=pX&5hN{do@uxMDs8O z)QJlcKZZw&ZS*ZJLYkZajgN|T(8BMRhxhj*gmjT``|u$)G0_b~xqwykW_DN58s#Bn zrQ`Q)MRslX?}*EeHVLYpW=FipwZ~UU{_PXMpm*_S@WDe{TXxZe4#b@M8(RP~c}6AX zIG{gI)iT=;SEhd?Ci%yEHm;BsdG3ytZbghY6pD^HQ zI=i~)t>#}sbEGHGode;JKz{mlYpcOB?KlyL<3mOa$uI36`(g=H-+-XuOsyZbohC-0 zD`d3%qh;ULI!B9M2r=7kkfEwsR3#6FuCKEO9)sBntonc|A+b{#I&EYi z4??IC*0GfyZ}sn`dX{Z_{wh3TXW$1Q!secGX&3}ewZkCuh3^9OAL+h|42;L{?^)*4 zqL3LN{P)3IM-r(TX!0|lc!Puq{1*QZTB8*rqYyd_-0z9$=?Ng!vk_s!QJm@y3=EXN zg2eXxVpG(jz-&_S3z|Bd@M+$-C-{R8oWLR5X1*Ur#Qo$~0ijD}O{rSe|BT!h? z+*zHxCU^}}i+*1N9Yj)|>2NJHpI(Jb97%cki{BuMq!3z8{QF7#pG@fbzivWIGMBPn zXXgbl!u8-xlK+&DkN`P8TE9?>x3T%ksiR#-of+n?-f7%K19s`}hYrFY&Y{=~BLX9m zwblggE8U;C%5PFWxe~_4k{8$f?M>6eNc+JB_YZq~k3tRj>|cWT(_NZ*&f1pye7NLK z`-3OGc3P)Xi&tW<8boAyglsf*lu}xW#Y|u2J2lH1(33qD%x(~wPhgzt>W`9LFGNw8 z7N%|XhOvk0lV=% zf|IV2ItqCgmb}7yqhm}qe|pS)7;@;7j^e9@wFC)B<^n66wx7+kE z)t7}mYKlIyt@kApb}A;dD!yL$&Z_tenL=dt6J~|T$O`Bo#vSDXlbg`GFXK+~^5>g1 zIA%PdQZ3u)cMHdgP9H8g1zXG!)G?1+Jy)8#D93xVt@@S>CEchq#!y&TU7hxKvn85I z2gaDFxMqLj>{9{7q#_k`D(frs3%Rm;gWXB`vWFA*ijGj1UCT^vyDLfrId;?(P|t!u zQkWPNMz6@euAE@jo2~9H>OCGB$`h|DxW;@vUUzjt`L<+PYDg3oam(oaa3KpVuHgZ? z^TvFV_C`NYlB~w`SB;&XjnxVISWZW}HP)%^;ocwnl6Fb1%(Tl+&1Ic(Jf6Dt>%v_! zU!1i= zzYJSjfJOc`k86I~Z5_w59zG3;3%W646(o53=;nuUtgSmP_HqGXYe(lEIC!HB^N0tn?U4{34{Y8g!(UgI&Nh(%l#WNIj$q{M$SWk1i;#3l?BB}-V= z+4U@q=&dr4ZnQ%aQ(tZgYw72gGPtl)B6_2pz=8MR2MeF#|54XW(M!s9e_^0S^Ny%O zML@l>`H|KbqqCE-i*rcaMXJ4Za$j#Qmw_)v--3fhR^Co8cb`3K4E`g_R&kRA-Ywnr zO*SsOxiHaDSG?E~OJYxURaq=XuemXA;EGR)87!z*5!@JjXMkNUZ81WG1cE0Xr(+?@ z&;>LdSe_xxAz)O$OiU~i$>X>U87^|&q49Ol_3^Q^^tHCOHkdJ7Al>C9zUk*4<;2l- z^KrJxc{UD9&x!j^!en=UR67l)U6gZbUA`kgipN(&>oYMWxLhneHY0&w7rn$qV=2+G zfYz|yLP)?gAS9}^jVbYRuUljgBMfv#GqxY4jFcC9Lj> zlI|^HYTqKgPe3P$9eK3Geuc;1S0#3bm^@-hW~!!dwJpVqZx1Ntp|ClYyp?07*3#WM z4bGXmV%}!pbe^~SoUhi#k*YVnh+YHp<6YrZ(cf_vj<(}wOixw(d zF;hd|B4=Q{q&@B6+st{jB|g>0I&aYv1MjN2)<-rKeD?#_k!KAQ<5i5Aj|C)heI$!{v%7Z=9QJNzM1s5+mFCuE@tM3&0L@h3IuH#uzM zs=Kp`51q+5uk~l`qU@*08GJ)_%8!QsO^`iQ(i`~d(_1lAWwj)vA;Dl;vWMLfN9ZZ< z@xx5=kzW_%b^US<~K&zdvtcueTbMqA;ae8&&Lz2X<>d zOv@~b*L!%8kZLj9tf$doci$D`JP*I^G$tuy0<+01d*;I)*Hcb@-pO5@PY8oLkQNQ? zXDvUg+0H2Cj#}EU*dMTsh0_?G>?PiO#bSub$r&`GlYyK;%(qlZ{y=EVnQlb5Hr?2}Rlo~rG7^O(DMR;{OX`Ws&eW=Wm+ z4=UzJ90ire^V~0}QT&5{Jsy&z%Qb1S5ojk|MDRF@-}ftA)#mJ*1-|?KWe9; z>eqHsAxaeNk6bVcj03YK$AEamB^HT3(bN*jiBHRUKaLO7F^`Z1_jfG(5k; z^l85L3(MW%z0<|iuM;B_-=wjIh9uf7NvfUQs=P+Le{gNqVZ%~o*L}P0GPk_}S47sr z-Xyc0G;L*1?*p~6^1Zl{%_;qXTyGSE1smDzh-weVVZl%O*N`iz*jzN4?}Cp5Lgm4P z$ywACS-2@v=X^g3k&8Ru65`^bzpl9m_UlBVMo_6b74RIFPvG?T!mdhj*(q*NuQYCvBCX8!Ttyv;_vL5#mtmcm=4l2|oP=2kd5#$x?dy^WA z)lkWH&il%XNYR+X{_n9$%$Vd1SzUG=V0+>{LJy))zC7f&os*mV*xY?V;t9V)bXU|{ zjNiuV#Wp;Z_c{lMI6epI|LUtyS28QmUK1gVlyUE$LlM-!ZUo*28$lUnULguDchgC-x$j3jnK`oC4dw#vZqf&T)nh3PGc(9 z*VgLDZb>2nJhW*x4z0l)d77n~U)c;&XD+O=J9D_TU$BHeG{C*{v6SRasHwi&DR1o0P2RflHT0q~(gS zQN!KMM8&}ei`g{fMWl6)D)-lI$Z)dnJxsowy53afqK& zlJuZHlpge|tA%Q`MnRs3oaTrEB!N!=qEG_+frArD2^Lz_7h1m$w z4H6&9Og&2WG?lJc=qk{U5=qPjc@8OY$r7plypV1zyz>|~>U@~&Z_!B|J|bM|_p34{ zNSF)M0v63fk-%v%P0=(=HI*B`&gSLkz_?(~8MM{3c;C2eSYwFQXqO0QKcrXXnbX=v z0q@4BeD3;BT%r63uNy5FNb{a>x(~MZ(mM$Y2N&wUNr+V{H|{@`F?Dn;YxdI)hSNO1 z?}d)7m-iW(-5IGuel&fOO8Ws}O2iT=rv!o}(~Bamj~u!uypZcteze81|>dW!XE82e?-Pb$647Gh7nG-V6_* zy2gw%YpSt(a%+%F#$tcEO_#mX==^{nxV$g>$!3TdR!>^Q^%v&1E`){31^irBP#DCF z>St$tr^s+oCHwK^>DdQeo1~6YAiwta;6xJbZwg4~=-&F%rh!HO|Ins^5M)+uE6huC zPV2$op;s<*NgQxIa@t~LR^7L#^=UdAUxfbM4#^%wW(4F(L5iNp3;8n=ZY#!nkb~3_ zk;*xg!@yRe{XiCyYZ1@diQ2}-(~zg*pOP}jEe4Go*O!KQbwWiGa1+dz{OX2h-!zOB z?!||%{~Z5p?Szi2oDvl^)Iz1rOo?edSm2j~!P#@zcjlY0*o%(rbmy@Bb0J)}VGds| z!wZ_4QGa_tQCNrf87!3h7dp>a5`q+a?enEBw^v1VA_mkB zPf5Cqdd5wYx}r7J&DZ0VX^tqWyVX6@DWqi~X3mcE$sV(oLcMZ7@jR=^qt$*G)QLp6i9=zNN>fY$c11p7E zCrAnm7v$Gt0NHN{t#anuwMhd}tw={=u{P=Uv;*$#rT~t--k;pfDFm~=F2tgBPQy3u zQU@l^bKNZse_d9`r&f0Jgu$K(8TQKgSYk_@R<1ffd%>BsGDjQzWSx6`9!;a)e7+X5 z4uh?pCPGkcxEw!kIii&;^=Q-}V)ty@Okq{*w0NG)S>P&TNt*T&|5(Gn+LA(6%)n&v zmiT}7g&W%a@r7@4{|9w+U@v#7nAL>;mM=`7pKaR{TxQ!9o%WWQq{L+kugbsm`&rOg zqQ^Ke(dK!zk-YpFnU99YOJ}V6vR6)IH0}r7iJnngN4xRg-QUVvy7*^pweVP$x#_it z+N!d=CfVF?dm4OUSz|RP=I~fpDsgAz3``8;x?8q$p=10eN@YzuZGF(a7Z*o}dx~GB zhyN8X5A6$?(V@Jnm7`TY?fXg|H1k3`AMU%E6q>|pj}7I0`qijm>fv`LK58E_p-~YyYnkJI}ri?jja zbo+)z&ssLt(M$R7*=(-dwOU+mOLcX2D)SY1Dz}C;=9|ica`1Fecdo0nmdrE9|q>rSxsv^Ls;MVZazcY#btbOr;mHCdF}qqN31?%r}47%%ELh+YoA zM{Z@pyU%PXb+E}S&IZ83AW6nR7bGkP=L0=%seqCAf>ZSKG zC!U)P^PZZG9dX^)Q83t3d&lp{I zr}RPlP^HU+MQjvHGA_7Rs~OwgPgKtlkQty^by<*C;Ij67>22=F#qH%4?zNTnx9_EP z8F7lSODTQF_AtK5$O!IqQrYN#G1aoXu@~K7O&WNYTAnzNg*Vs!oYVhZQofDT_zq90 z79v}btj<&Qkzk8MdMP5|k1o2i{*svs&s z(G$P33zxJDyRhGu78sT)r%_Zn(Di^BZm4<>@q*T_v9e?xzAlq^@!~PGhVB|YQS4NC ziG319M#iUoh;A%NK8&)MP9Ks1XY~~%5}b;PDhevA`w;&ME!9RS#SuFd6a>ES@2vIZ z=;9)dZwP}tFxE47DuT^|Eri6wo=>wkW2y~E{pL6*S%d8bdne}nU8j(BlKD;`sR+O- zPU^6XhD_>^xlalOtqJhSoMX#2|Hpt^`(IJ!Pi!vc2EW_76@Vo6BMUtUdkTQn?JAhM zOki)A1^MLd9r7)>63WVAU_WMq07(ey9LX2n%QajSYY3njhxC6m6$tx05gQ-x8xm5V zrP&}iJ0s15I7d*-8?B4Pzg~w7|NZ}mShF0o%j z{Ln?nYpXI;e&A%iGihH`XnaGcTXz(lS^>KyQA61Fs-XC|SPX^>-AB$e- z*dPm|23#sm%2}4c_a1mvt?#M9o#@#34fDY)BX)Kz6frAO>6}IpPQS ziOF3L?Tz_K7$6woky3ehHlktLHr?))Cw^P|@V8ckI8XTu0>&?UJg)HmBhmf;`*88@ zsxHlJ!_Sd-{2$Le?$NIZga7Sx=>({=e@y(X-tkxX{tiu+mNhoqu0m(=dkeo9}&b^L$`@Vkt zeBI;w{x*X#YSgGxr_N4muf5iqbN-cY;^6$DWElE)KJS0upMRyp&qe-BeotIB{7F|q zxBu^d_A^Vp1I~YzY&@p_SGU^!IfUE4x=yTvfY@SZiwkQtJeq`RlcFjauB|>6oal7b zv!i7L^4F} zYkq`kHf6U-$!NYMf0t!?@bl|n&+$h+x+|I#35TWx1A!M-T;)2}lK6MWh)#*{0C2W< zS+5CY8)3J(c!}b^l7HdXAYSawhgvJQc|oDcjgL<9DSKGSurIV+W`o((?8XDr!zyKW zuj2eM*fHxd`{vk21tC?BFkj%M{GQLMgQAY=G$m`s%e3_7uUZWSROQ5H z4Pfd+FILvm`84u#rN{DL(zhlIZno->7l=d0j_iHX)e_t3YJm9LNOsocjmIkX&&f#@ z>(}>~jvVlL0?9@|CW|UT>iv~R(gKF3p4=^{XTU!DCuAMna;{f;iJucoTByL=XGzyQ zrFinbhvVJU-$f8USRJ8>5Ib?k=(nRGp+s|-zdmUHO&k?PMW4Im*^v;2yWsP$SWdgf z(6|*x!){B(MFHBjL8ko^j&55)6U}Q)UzCtkQG@Y#ok%U$WDDnm@doM+^D(?0daW+Rc1%)Z1yYi1gO|oU!!2tx2P*_yo#r<>l|A zZ}0UptBb6W#?=uTee(8_^qA%*JKVt)BHaKq7|W1Y-OSP{O79bo5`<2gY6%h8dM4Ce z!m>K`2py0LPFpAU>IWNdKenHU=k!rKimnURobR{H-z+QTmt{=Y{v)R|m}b5*(|*D@ z_h6ZQ{72qt(#_C+gLZtg=~MZ9$QPA!Ob2^SK;Wx2CvK7&<}u22@5X~m6fXO|PYdW| zs6EX?te*%hCRM0x4bn6Y$2^|@m=r_YM$~6@v_-IO0g?EgELvwp@9Q~7xUY+J9^Gh= zn5{~v*Di4v*||X#t1B=ju=sehKZsW?-|>oZf|vNW(E1nd-GmS`VTxa&9O{ow+-PAq z9ooQ@OnIMXvv}kgsurcMys^la9Ooh6+I#T2%Sa)4Y~Eb8<#k_VOh>9rb4!-VA8|7c zXX?&`1p0YAuZN(2RR@a^#r=j)VGt6*UY}5p_o|GvuL_*pzi-I2K-RGB zulrH_;{I?<&C3^|w6U>{9^8Xvw>xq#KNQg;lf+PkHt!Vj=V})XHMtN(KUlbO-hbVt z9V<(B^x%txQBs3DH7`O-j7m`W()cO=I{$jmsl2j}c83+ZcH(`nH}qDBNe2B($?Y7O zHRFt=+5)H0_LpYbZ$x4VGH~bA!b@GpeK&MAw`{)9zTavV7X2(pFk>fXn-{Vyp>q@8 zkB`!CkmBZQTGOMR<%8bwh8tMwRo#wfEwZW8Ek+!2jQSc~%4rTeym`Tk(hf&DZ@GvY z_|s3@$91B$D73CV@p?Yj!1YYTki$Od#MsP>o8OidYV8EjahxJ%2mhLTHm<8act*i- znN2+P>iDOI%d;+54S0)Jt=P;lE&Z5+kWKlGDE+hEGm2wRPS=G--2CQh#7P<2<+TRP zzW*}{%-I^#Vy5!1QF9`YOKNPO-6($fY*`S8mS!9Mwyx#kGu8z;tF3r(272P&GHOoU z($B>yjAjRRiXSZm+C#09eEy{M6(gz%jx*#vkzMr~oBZOY@8>uTTHn^&wqw$UTrCOw zo!m@@te2SR20t+j*?o?=QfzK;vKDxOY4WO=AnXb3m3pnBkQN65{jsA0=!<li;3N~)YY}AlgqCAoSodS zSDk1rdtE6wn{zW;rks>o2OHp$5j*ncgUzUcQxbY132!H{>*S*rO!8}&0dlfPz;rJTpQZVQWPW}#Rh1u3O%8VfzRf; zQ&O7W^*x>IquA=N*yFVN6?DzGU(&sP-EEb`nm%K1>0>8+hj}5u{X=Sn!8`!a+f{ESLmde!?!*5<#+$zv zM*e|Ais6xr^9fJ+U#ocESA^=rvwf1Ip2yzovxL-tn8#GLf*1<$j{GCu>~GcNA9%CE zzE%ejVd~_R6Y-YPvibRLaqb~)nK_%CmIi;=K%$1o+q=CsG%5P!iyU2=PqPNomHrv7 z`)AK{a-L`t(wAN3rKTVFaQ~H(wFI#jHC?j!iSYWg+j-WvR^qLEb}z7d3-4<~B#-yv z{?bzGx)67|@j>`>kwN~&ph}Li7DHQhIW@vpUc{2hBd3idl}|ZIOuBd1^-r6O-FZgq zILe7G4k(A-+5=O2;ONV!McOMbkGvk7Mv zWlhZnp#5;i`5TDl1~q!&;R~)$V+I!M7Kh^QsH09EUC&k4iLD80>qyUB<1$K(5nRfC zdzt+qm{{@K7s_|Vu6viJhsjqILgHf7pPz!O-?hEv<{47U>DJRHMsl`R4;EyGTp!?? z^D8-0&lz^+X{A=GH(y%bI6W^dz8UqLcv|VYH7Ra=!n48LJ;jopN42WijBkc<)6PVk zRhSIR&f1;kj%Bh>K6R>1uYdThMaQYRX|^k{O>$8BUe$Q}uOzLlB33A85EIuO&Yqr7 z^)zVy=;>LCohF4BWd8%y?P&oMAXnd=*Y^m8%wzn*!f?;P=3h{@G_;qVOdes`CFgKF z`JMtJ|BxW=J*ouLd}NgSl(9LhHs44j2RO1l7HxKsawzyT+vscc|XU*|wODUtIfh zBA4swa%_+C(tUT$y)l;EL6__49|Vq{8RmZ;ePp}bI-ZoVbQDr`mH0X?-Af$bJI8%} zuAKY*jCgILeg?Tzc%hi?nVV!ahxihrXIQ-O_Dim85_I{I1wKx}XMEqQoJ;aljNlv# zqbeDnDjEIV7P{X)@ow!&-m{~-ayPVDTCc5sT$p<+-hKM(ny9}^E2vmazuT-R>HZ{Y zc{=kd9$sAj8Kv~;#|xv=`a7L#OH~t^C3;H4RE$M;ct4$en~1)xtV+v27BfGv+UaC? zK<0NeHr3=xAi`gVwpe(x(L|lLPn=iAOp(SjKcRV0`S$jK)|HlK%$fA36+>G_>q&Tt zG77PZc6bEBYPFx$yj8@Dmhk7>rNbudBs1x@ii3~1IzNeOOA__n6EvMFkn)>u?vGdE z?bO;%+D!9YY}?P5@^e7v=*MtK=+q6x)R<`I;kDat;HI;4oNjCHQFPy0>IS3?4@eme z3xn7QRGCjsP3>Y^8X7_ebPp}>(3wLi?6(I(mDWdx2O?@kq~{D(>WQ4z+Xzjo!prq! z=lMwHN?X-VC+OMstrd$*Ip8tnh3dLjGJh^ytSx2D-e<29Jx_Tqd1_H?V>VT1SQyjW zv6Q8QmC4!F4}kB}OBh!P6^};AaqnQ_xM#iFY|hGwh4U7?zFpP7J+S6U(7GpiyOj925$%8mYPnAOzzCP2e{pPN12_WVPmbC7a+@qZ9-8R zsqz$#82EA9W^^VTn8gb3DF;WgG7Gik?|Ql(#;2o0KTMe2-MkjaY(zj5Nt^mw-qXqX z^R=e=?gmWd3$DU3&WxaYfEskZ_YlN{QfDbiMLhB@Bh$3Lp{)a^z+jrFpY$ugXreT5;!;o`ideG7EN6y&10 zl`wi09(w{VOIZN3VC3RbL0H=9W`X&r6RMHJ!@`tDv6LX+P9*79&t7!)^pm-w)6^&j ze}U3em8T|c{BK^Su?+SWEogokO$ufb=+9{&{y;CyrQe8hs28y4qtWn_i0ru+-xJd$ zKj)o#dpl=mb6B1!Pw7Q855O|hYNP+`OB(2mn>*y!shfO|geG9djDWQzMz=z2UqrnJkdf(B!MwEFJo@cr% zcCkyz4EN}|i2FOaoKFG{Mc429MozitC+W6jN6ybN`W4w*4(Elax|M2tp0%cz7EC?7 z)%s~SzAc?Tq><7q_&Ljp;`OP!V-bY-4!>pE zgv-_!QMcE0mql=tYx^Di?wGS4<9M%C8{fR|POy4Qc#&ID)_WR1=d#;jjuR0nd3<*1 zH8;$|=-LG5Bg#CoY5cd;?C#-4OhvZv_QhVocMzChWeGE_-OK1@QrdjV5iymZdf3kr zLD{BKF+YGB@YKVHwXHK)Hv8#4A4$jC*OaV=5nG2f2{Xa=2SoVgPSpQ7#Fsk>g54hhLuU%O7{@!VqgJObX z>|=E{0tHsjC^>T-crA0jo<3yCL`&U`!$i?dmSd%yQN=Xwk)Gb#^z_UEI)wqHYFZg# zLLvC4y{>6Ly>;a|4ZZZnKtXrzh9xQG+0kqKt%JpSIm;OHw^K6hYzNwGnZED475CQt zWYpf8)k=psYfv|)mj)C?9BiG-d|=(}wulu*C4X(~@tT}1KBu-xncHHba{rp1zGcyz z=9`Sn-TowC{>{0NIi-$=gFWV3c;cH|MKqsnJW$&uk5IF$Qd3doKvdZR5H%KG-o4Rb zi$VySQj(K@`}k1Nbbl_`O~9==GyUi#=9a%~L|0C5WF=WT!*CQO^>&Wx&6}oapXB2U zxV;Q>Dx26MI?Yw)Gv~}U0}0nN1zVrIi@lZNwtwXAxGk0bHu_8VR*u^Rk-CNR>H042 zMw8UndIF+0nU?KBqv?Bk(fra5p85_R3uR(ergsSxT(L6^Hw5B!lLcBYmuUBNw@(v0 z4lX{ww)^{diEW8iZAsdCcexz1keBjZlte~n!H|Ooe0x_h-s{hFdxKiZVOrvz1!d^|5>QE0pT$xAvjq+Om}G56$_LbV@B|o?GlT5up|;*@|}g92L#Id>x`N zYUx+?ue2m}-`hW<&u`uE`D>n^NoCa0kV$&7s-&LQgiGAY&>-n*rfQ!RFR8bShCiQ2 zR>%JFzFYH5$;MnIM|-{a=2If`*2uJ*(~rsOAjWI-oTg@OX+lZmlk-sUH=`VM9E4E2 zHAhuzM9EkyZMj?WXhDy)5=?p$4h8->yuVD!LP2rC4B=f#1rw>Zx${%e;d` z9ftR0>2#Tan`Zu%T}0g~Xn~AOG3(JvURFn}j9SKEf5th|Yhs}?J#u*i%wEaqb$MCU z(KV-&E35zHZ5mThl*@P9uz++pVhvRw_cELdT(*_~P}3@ZkPDS^5s{IpQ2iD%&B}k6 z3q%lp{{HhZ3Q3drNfs3}wv$C!OKjw$Ez3FCOKiWDvlDTrm!DN6y{ciA&OApsUY32` z{w1%P%lYGa&(yMqy_ zGQr1iaD22re&4T4-}!c(f8|f1g`BfY!r3UcafM1jwpdoUvuS-CcRww}E(4eXb<=W`4n~?bO-QAc^0~0d` z{;oRk$#z3A)8d!h4;WoHw^AZ1p_u_Pc0CUzfTQ|RDeLCVac zBl#I3nnXw~tOLA)6(7sqD?I=HcwG$Lx_UY{8| z<-LAg*||)YpP%1r@4kb>gmYQbjrv7reMNU^i|&jF8d};702}I!#Er<%e4mimXM8wC z1ZU2jdkg%A*SNUW7Fb;?-~mXsAMR8R{f$EMnw5%A`t2@3kdAK7kGLt z;O7`YgsdB6I13DFjxP>XXhW?N>gG+~C#NWAq=6eIkwHFo#!|#>-3(Z!Wnk&|f{=U$ z08_+3JN`2OIq9XZ%Ez`NgBTH!Vq3X$8)zj;K^&Kani^A3P+(CasY=-P{aHC=hATat zwpZ@T#S3Zn_4Ucf%lAO}f(L;JNZ2dD4m7<~>b#gC5lA+>T2I{zX|mLwZ0&ha#8p>T z4x?+ZDVi5K+6f_J(MW{MV(rI|Xy8Rg2!eCA^UI4lc$-R}@=+wIuRRcgOjP?-?YAUk zjdb1;hi-2roLp*tKXQMk;^cB=WN|0Q-pS<{Pwg{-?m=AIF8)>*ZR2Q>gS*Iw5onEz z>p8%;OG-thH#iuox~UbrvSOFQ5Ty3*hMky}wE3GJFX3Cj@oKBYn8^Ib(B`>247srQSUCqg*`Z55EjuD&rMn4q|Bp@RuP6G7WH5QgTyfN9O zWwhxFe8HeFJ zxLFQC7asrWLp|AJ*t~aqKD)=qId1*5pa0dW_ka8rY3)n%;-9YYvET*{QUD>Vy72wn z3M_nT9-VA5$)Dw`+G*jh_u3m6ZZyd^Um2xd8y{c+gn8KZS;+h)+nUCNBOM&LPR^DrtHv z2e_i5`B~KiK7p|F_*|gj8ye9=RmR%r9ngf-pw}B@L1toJJ13$4<0z~=AVEEBc31J5O zoNhq#z5%kPgDyg}w6~x{;4=_J7g!JQ0-#-qnBh)4=#sLT3&Gx|fb0-FA9;FplD>S= zVAZeuT4W25H4C8gg{G^{?wE>ArL;P+wx zh$!pW*jQJ#HeUtsAVv$h=7A-jbT0FZp@ZSx_5vc#T$ZK|5I;rsn8~K7c_8XV1(LBk z!fodP_8-G*-JkrL%XHV%SwrL1SDPX&tVId{FI7Qny9?Y4k9t&=#vAvg5=mfZQUhXW zIMSzqu=eb0(|D#W;R-zrT$GBG?0W5qfWSOt>&;}@ zlL_j!c-an+?{)+-vpvsE*l@b@jAgsCwNcQ6T_EtLHp+7h2b~Unh~gt5fG8pk{_-@) zEfG>&PnMbPUvx$=yTGIo3Vl|x7L>#S1Mx`Vk$W^; zs=Biein@&a{F-2yO3-ckdH0@a71?CNd_~MZK+(H_OU|>tYI}^JM28K?ZS}i0+P0y7 zoL(BRtCLg;ckZlX`Nuy?QmdJnq2bJq@XCT0A^PD7;o7By>&5|4+Wn z3uG{$GFwqgD;k+MU{WlRWdN!QY`dj6IIo@}vs?;5sNI<;_Lc+@eOO;A5Nsf!pm4p} z`wD~{klhT}YxP&AO<{iH%^>{+W7mjmDw>f_N`ZIOK9>6Ui9=cf10K{YP}HkLvFU;? z@SWQFdZ6@`l(Ynx@h-5gaKk1Y5grbL~AHxN%4JmjGN4uD#4nY0$0O|(#;pb!T zzYGiG24?>XC{fbNH+c?fy7z~ahd{)A@Ax8+1&7DS=YTSQCN@z|M`vMgi>qxoN2f#?7_ir@VMUDbYvHJ=3|_mC-^j^E z3l4P`2Vj_C?I_#Z=R&jC<}M&RfvtT?Mzo+y4iGS;g1fSZmksonyN$uiFu(jBKc0ac zB>UC{;E-0^%>pq4ta;~cF4I;a(@jS(@mgih+2A{)Mt5Mdp973;%9{!p%&=sj9L66& zNH_a)jr>8pAOqaOCd}6d;36WYdtuK~kZe9dPe(TcvcqE-p>QxYM5 z)9UJ~m$sGFf-A(dMCFKe1~1{@=;%3@4f5SLFB)KRd z4ONsO1{0Rv91yFh!&f4Z@R}21#Q|JRcu7DNT=(5ccJEn1GMErRCS9@KA-h}4?)3(? zSPQ7apI$_5Ee&o!X`dd!c{cEL1N7V%d60uhk+KsQaYUEp2AqMQ2TMV`8*E~M{rGJ# z7laqM(H*O}IEkqS;C5SFj%uQhYI2h9MdZ2L$}V@D&eq5kgJ!7#im;U*DDTn0KQhd+ z`1CAo0UUxo_ZExhI@3bnoRI{*)-dTX3uGwi4o8UBnw7-@S{%rEARr{97a-AKbS?vV z;%y@T@$%^+>j8B*wRTN3yrhq)C}g~LO%_>;uml_dwcR-D$jrsni4xNZg?ViW69)O2 zxt{F#fnhMypfi38mbeNGmmZYn$>;|Hjd&`Ey_f@8U?~{5@Pq^m@PY4Q5m|9=$bZYl z38;ZNL{3+Y5!YagXC-5S^&=HK zMXAZFI#=k2XtHl?2MAHM(H~tW!=C;}cTUX#XzzC_7^eIOAR?eWIEag*s)mgsN0tvY zncs07)dsMw89=@f;hqKEgenG?3kPhzC@J_S1*K*1Zsf=Lu!}(tlbn%l=q;gYFX5Re zB=ifXj;>vuj0g!x{OXAPX5!aAr(AhtG7j_F#tB7z14@&h{^*ax6ZpdoobWh`ff|vh z$jR&_o9*9}^$n0K^1)W5A@-MgLMEE0p{J3*j+rVM7 z2!ujNE?t5K@bm9HT*5<<{rFvam<}M1=;SgU_W1E*G?Z;4kq_`F=_6S2BVNBwhfq$W zyF6?Vz%9&U(o8;F384^1dU}blE^xbH*8=gU-Q!kzdhtMTlm#jzN8v?}WPgPC48mc9 zw*X%XDGzr#*yx=TYlb_o5@8}809BT{jZKbC=_~_8YZ|vH7Ndi=eg-Z-y8pB7 z`zw<9eQ5q6K>8!7_;>j6ub}8(hxz|Bp8t1)zr(@**NNoM{(t*m_6X-fl<^!Jo&gd{ O!jYDc7tawhc=#Xu_VUmG literal 0 HcmV?d00001 diff --git a/tex/analysis.tex b/tex/analysis.tex new file mode 100644 index 0000000..6041977 --- /dev/null +++ b/tex/analysis.tex @@ -0,0 +1,35 @@ +\section{Analysis of the results} +In this section we are going to discuss the results of the top-k algorithm applied to the IMDb graphs. We are particularly interested in two factors: +\begin{itemize} + \item The time needed to for the execution in function of different filtering values. + \item The discrepancy on the results while varying the filtering values +\end{itemize} +The first one will tell us how much more efficient the algorithm is in terms of time, independently from the results. The second one is the metric to understand how accurate the filtered algorithm is. It's clear that even if we can compute the algorithm 100 times faster, it's of no use if the results are completely different from the real ones.\s + +\nd The platform for the tests is \emph{a laptop}, so can not be considered precise due factors as thermal throttling. The CPU is an Intel(R) Coreā„¢ i7-8750H (6 cores, 12 threads), equipped with 16GB of DDR4 @2666 MHz RAM. + +\subsection{Actors graph} +Let's take into analysis the graph were each actors is a node and two nodes are linked the if they played in a movie together. In the case, during the filtering, we created the variable \texttt{MINMOVIES}. This variable is the minimun number of movies that an actor/actress has to have done to be considered in the computation. + +Varying this variable obviously affects the algorithm, in different way. The higher this variable is, the less actors we are taking into consideration. So, with a smaller graph, we are expecting better results in terms of time execution. On the other hand, we also can expect to have less accurate results. What we are going to discuss is how much changing \texttt{MINMOVIES} affects this two factors + +\subsubsection{Time of execution} + +TO DO + +\subsubsection{Discrepancy of the results} +We want to analyze how truthful our results are while varying MINMOVIES. The methodology is simple: for each results (lists) we take the intersection of the two. This will return the number of elements in common. Knowing the length of the lists, we can find the number of elements not in common. \s + +\nd A way to see this results is with a square matrix $n \times n, ~ A = (a_{ij})$, where $n$ is the number of different values that we gave to \texttt{MINMOVIES} during the testing. In this way the $(i,j)$ position is the percentage of discrepancy between the results with \texttt{MINMOVIES} set as $i$ and $j$ \s + +\nd This analysis is implemented in python using the \texttt{pandas} and \texttt{numpy} libraries. + +\lstinputlisting[language=c++]{code/closeness_analysis.py} + +\nd Visualizing this analysis we obtain this + +\begin{figure}[h] + \includegraphics[width=13cm]{Figure_1.png} +\end{figure} + +\nd As expected, the matrix is symmetrical and the elements on the diagonal are all equal to zero. We can see clearly that with a lower value of \texttt{MINMOVIES} the results are more precise. The discrepancy with \texttt{MINMOVIES=10} is 14\% while being 39\% when \texttt{MINMOVIES=70}. diff --git a/tex/code/closeness_analysis.py b/tex/code/closeness_analysis.py new file mode 100644 index 0000000..423e2c1 --- /dev/null +++ b/tex/code/closeness_analysis.py @@ -0,0 +1,11 @@ +dfs = { + i: pd.read_csv(f"top_actors_{i:02d}_c.txt", sep='\t', usecols=[1], names=["actor"]) + for i in [5] + list(range(10, 71, 10))} +sets = {i: set(df["actor"]) for i, df in dfs.items()} + +diff = [] +for i in sets.keys(): + diff.append([len(sets[i]) - len(sets[i] & sets[j]) for j in sets.keys()]) +diff = np.array(diff, dtype=float) +diff /= len(next(iter(sets.values()))) +