From 749d61dd26e5ad97dfe995d1416ce0f0930e8fee Mon Sep 17 00:00:00 2001 From: Dimitri Lozeve Date: Fri, 27 Jul 2018 20:52:33 +0100 Subject: [PATCH] Dissertation: hypergraphs + clique algorithms --- dissertation/dissertation.pdf | Bin 161937 -> 166227 bytes dissertation/dissertation.tex | 12 ++++++++++++ 2 files changed, 12 insertions(+) diff --git a/dissertation/dissertation.pdf b/dissertation/dissertation.pdf index 3ccc18146fbb2d8a5e578800e0e978386065aa6c..a6a77b31096556bcdd8f5cc6403d885819f57d04 100644 GIT binary patch delta 49370 zcmZs?Q*b2;v@IIjwmP=iv2EM7xzb_BSg~!}?AW$#TW_Ct>Q>#4`!}lQ_r${s3SFnoV5sI?P+*x21$ zkr3flYKjsuo)SK-CeAG>Drcb6uTL)aRKu05F_yKZm!2exy(I1(7fD_#qFo2V%MF)W zfk}A9ekaiEgKWlMU++gGp`OVYa6#n#`?-}vvnznSRrN?J@}Fo-K8zeSb1wyC z8;;69d1U4LmI$VIHwO0WYHNX>1J?ZLA@V&2Mi-OpF631!(nYBy0zQ^O$y1}aN}Z~= z>i$i_jySAqyW3&gah1bB2xC|cwJpbHWiXH^>db1W3dAfQSE;9CiG_7H&oT2fzwKp7 zdDhF+_XI#2slJ5!O=tka4Chz-5QC{fs5j;jsuF(|%<#ntGo6lK!*xSbO2&qQzSq8Z z-H`e!?U)FrdPqueIm}JYYDw(P$$QyicM4r;2sA(XbkN1GpObyq?p~G;uk{OQZ@L5A z9n@qx8W3%&7+^X^VnW=ZqT&zAM|hUko!FkRFVpiQX6cx(yTm zk|aI6sbGYWgR*o;q|%55`OF4HsPFtk@@K_% z<~dzCB&-~MmBJD2ea0?~nvXCNMR0S=lpY=PQ)Nu5g@>q^IPNy-N1g<-rM{mx-CDB= zxps0j=C3twh%O@7s_&QRd-(cKTaT7>EzkoDKG zxcVCryI^a+Z=|M`=ej97ZK!6?AZ5acZYT#v!gFjb|I9{jnEF75UQ@zn>O68^ZUv&r z9Mc6BFt-@F<~4cVyLC-1JkVy&X-Hhlv}FK$AOtstprKb7>tH;g;kBaITV3J4oaz84 zlcqO^|0*pjg+SiZY2tkDG?g0P5}>LgbD=?$1DWKT9Y#)cl~BNTuoTQC|FVS2N8^Yp z4=iT?76lQq3T09rU`PJ4USw~o%rXO7Sl716wMQ!9=u5$^opEK6AGz>b*w4{|iIfn#B1C1ECUY(#Pp2L)&6;sB!BPym|o#~jRB@2+cSo!wAGv9$F} z#D!+0vPs$@U73wOuvTG$Hox9zuEp=|?G=qi9Xp6q*I!Z;dj-ZydjqH@9v)V1zTLRq zVWXY4rTyODCx8W9iQlyZaG}p*K1?EhPdlZ=hQ$D6Mwf4dq@=6joBdn@f(&~)a^Y!_3v!fp0 zoG8NU)qoSCRuf2nW@}A z|7%zGk^p*chw-Mkchd0i16y}yWMK^yE9phiEIqFkn zJ1QjlTo|Z_G_J|fx1Ug#Y{^tA27m;n6c_*fL7-x)#C=Ow7PD6qVSm6n{Rl{^ zQTO72xsZo?c7)UtAsf$Ai@brM)L~tO=)6PsFn);L4M|ua6hz&e36G~K520wrZ~1ca z1FFd6c}%FEzfDroi7&nk4x1Rdkp!dM=FlK7>jM)S8qzvN<%IE!IRpkElytbQ0YoO? z)KoEdA=5!eY@n)lyvSd?b3Y5L0$DMb9Z|wuU zzISQ~fFi!V=JyH7*AfQlQ*w6b3?zGev`B}9<~TZ+Au^VWw(6fzgN>esWCqUtMQV?q z)i6k=MaCIV7SXe_;0zYkT-PK?z%UY3V_}dI9)2oMVGZ7a%_}3boc27P+hDW)++j)q z4fFu`*e{wmSW?FXDveQ|KMx$(2sxSqahcPT`XrzTKJ8Y9Q+VJQ&Z|0Xu6dzn=_Pc6 zltapiwn&x`{xUvATAwJ9NsX`nFgnlEByDq@Bdi2UR^4RBz1>{tkH&$?fC0k9n}ul* z>u@->D;Fz^pFjdbj^FCOp5zW!+bT|_9&!j&Kub*=#9Vj9WEEa0aJ(Z`I75i~@cGQ@vCX2%cpC5n!bvvL{>%jx#Nx8O z^&|+~9C(ZGb9YefalKWQ0ccmm6$(iwpQzoO=;1O{Owww3QhDV)wzPiY7p*15T5ii0 zt(iiX&wm)*G3H<2j~HCpDC)I0VVH@vvIv$&;@Lpf?xC1XMGVl}351IYFhqeBq{i3n zOx<&YX=@6tli;nYk1}Zb53*ZmX$=&Bg!o1Nv*~66qotTn>rq>6fI!BxG}hA*zO8%N zQCa9GedbkU9yHQvXoOE`hl;J9s6*Dx&NM)loczja0&xfd%eSku#Cb??lsPbEbE?{M zCu`g{Im)Az4Ab4{Wa4BVvJ$S{Lm!!<&~LFaJ?p4oGl$KdIS`a|Y*n6lRClb$t@f-t zd0#$3e1d{)ZwqoAP*v}o5LX;qZwBLiv3) zQ*7o|FFZ%sr}SMjDK32`iad64UJ+S78}5R3OKZU)ehHPa@qGZZeS6aeBP-XDH2os{$1S45RLF`P;tYlxpQENKfW+@qr=x%r{k~xm7YU?!G&anQA~kpSl!moxyWd>qL9Qi*2i;ABWjMdstirBz1?GdRz~lzf$6s9c75;<@^I+P*%_unmfGngigjSKw}A{$C_M%l^czvgtT+c#d4qu59EbGeS(2gOI+ zRvS8ww3u({XH_YZ2wb_cT(}4?j#je_Y&nyh@?mtU0W+j_y2;%_T)_$dc+OeDliE&Y zbQgkq(R4YMxJ=8hNMbTO78%_& zHgP=Zg_9FpBG~oU2&F%M4Wx{H10AG2WF6jXh2HxYU)@HTq1Un1o=Ka@0RKxQ^?!h47Nb=*+ zKj71YTQ<*hFHIpTzASOa!{H{LRx4j0hxG03P0ctOA|GKA%|%B*&?A$w$^qz6(Oj{u zxXoB4d`VtLx?NWlD}CO?RZ-Bq*D3hrvP|9hZ=BhVCk4Bh{SW?s*IK(RSfNQ$phw#g z@7odrkO<`M>1_ySLr25|8ZuF))@b!@#`Ludi&M;iH{U*C z3XrV`;;q=8pDjirk67Y{9!^k%l$EurOjp%}%#6zpYwuuOH)G;|Pr zMyO&7?NhL~_%T)3 zp^3F-`Iv8pCw6fk474H{_f5x$Ip4w)#Wn9R9kKG0wH6^bRD`!IsDkc#_-WqzWpq~c z7a}bVWS@?}VNOw&E;9ivjTN)z{yEP`uZjkpN!J#jgSs+Y3Zrm_6@I1&51Q zeQ_|AjEM&lPy}zT-t`GZCs8&ysG}c7P&z;{cV<}4!XI3@RO-Gzg!kbSOS%r+C<~zP zzlQs&y~T^rK-N+3_}2t4&f|i>hT8|@toM2^`5-)KiH_el37i9dAGRv}aJUgQ9cPDk zxzs{hzP+1Qk=-nHSM2c8Tum8|)!qPdkDqME6d!OQ43Zt2VMh**Kt%^x^zgEL(ql(= z`9;^iUgTTqBH>fgeT*YlkEvpdhQYA=}V&>v`Q2SdIow#x?-W z)JK~eds`%{sZhYPk5k)1@Im)VqIf4WqDOO=F}1-+i~S2N(}K)aRHcX-e7*vq9O4 zkDL)0x8qbm3U_QKuzo%xK5=Fka>K*6;3%%&v$;JA1I*H-zH?Op3&f=Ox}(dmCsZsp zDw7ag>nKmU;VSJLi9LLqgD?c5Rv`;p`bnb2KD`# z5jOqS?}VqV;T#ZuFz)R8I%>z+R;UY+7;Jfu*6VyGOd62}Z~2z}m)4#ji`BCw^ND2H z8I@<00YZvBX$NlO*7F#I7OZm7EtA$E=8x_a>E@=s+}sY^IU<}sjei$WGW;itwlpa` zmU(@aKEXWAC@|D9Mj?t<7#*^`ZATEITWlSlE8Zl1ZNA?QGxv0DR_8nPZU(yuGr|0b zCC}_8q%K+0S``MXSIv>ubQ-#!h#8wpJ|&>}0g71fe`>D6i5|-0h)TotbpL|eE^eXr{=tgj|*^ZDVkF9{3KX85@MiAw_I~~`(9$a|-fOpIla{x{JsleGe zIRAg*R!lIFc-V4vU7NOPfmC@5+Ot2V_T*K9PStAW=v?FBU8!lv`Y+y$i8ipzn98=VW3h&zU?-&D>vkiEwN zz7S1dB%_R1rCzG<9FB)6{lQJ7KN&9?4&ABxM>~9sm!(zIg{rDT0vmD?sb4D5Mcw7m zkRMpL4X@OHEt8}!*mphLP*?2>1kg5K{$V*Z8ep5mxqkVsKXl^yyZv9CFI4mq9>W(&5aMy)r?Uc+ri2gY*MT4nc4!~}O zSec%KlrcR^_6OJ-yW0A7vzhc4qgq;xcUkLE22+wbS(?>{MwPb-_xDrv_e*vM+nvF| zUmz%aBl(PvL%b5U49NDo8Z>}%mK*ODm(U?-3lXxgi3uovG(awYTAzzmAWo_Rw$GCz zjW8m02llgL3HxP=lI(X7U7sQnO2-MM%Zl2RxH6pDBG=^($cu%;A&@HQe_PR%gdz`Z_XfVtfy*y6ag}X{+ z^4nq1JE5A#Q?Dpbb;w&uaP%DIaP@O^3ZH7*6O!v|d66?whHiGfC@!DMukTl;ebhmV z#;9~1oaG3@aVbqMm*PyN69zTJ&X}a(GRx;}Frvf#0c-lfD>dw3wMMW65C|?I*$tV< zyjVVbc1mN5^hlx)KB5IXg|yO!a2jr2@y!8+X3zdA)Wct_HzpuuCNIG!zsNDLd4cKi z>LL_{Y~yFTa}sf#%7ia^^Luk5=VH~~7;tvQP;{+0Phk@mY$oky`+-8Y7A z=)3MA_ictyTd3d#_qz20a0D_wqe2Rh_mLGIW7?98@SfRB4sc{J9ktl<#0YN@ z2qP1Mmuv8OO|u4oEzAn&MRdx2jCiHWeTjHFnNw0+dFR2A8t5Omc4KFwGR854gpbEU zImVU>&rb$Il~Y!HYZC&CWi+jUvDb`LPY*kW%M-Zu{dGE}Z5V?9y_;IC3aAOF!Gynf zp_TdV^$x9UGlHZx1`037U&nU4h2zW70WP{ua~q_;f+P!Jxkc@cBpSEbp444C(fZi-ZrWkcRUV(!NtjIwA1 zP=Xoqub&q$Oom0xGdpnQlYUi8r_wwE8rcu6Zc;ma;Z>s-1INNoz7EPbn|~dhni!$H zmE~Rq411_gatsf`YdiTHR%J*mk&Kj1YRI^`+6P8!a=?S#+pi{jKeaX@Z zDQO&Qs=+fqzgGmMj>=kCKt>eZr6*|Ij+}sYqaqXKb)+Y^q=Jm((1^XwVfiM)#IUE7 z1$KOkQKvfqy#_=m|9omYw`4&kl14b`^W%6zI1V(8ve>$z1Kq>)Im^|oMbVtM#^dy6 zjQ*aRc5`eO1)jstd*5k>mCYzPo`b4~(sjWr=m4S*mI`4=Wr>81S*)aLtDj?;ynG7z z95JrnhSGOW*B{>RIL-VVlXB=|j5*_`V7Lp#as{1$*0@3oGQ)au3e<5s3d6+7tg4x9 zxKj$!tekCE^-2(s5nM=$*=a`2u&>}g5>Z2I;!Qsh_h=fGMDt@8KbL1Wbv2sMf>J=BvS;EYC|ZCe%7-SUDP5*SR=Wvs;gKB9}LXM?zbTB zVC>`Bg25!#`-%XpY}O=;r=OP&*>NewKLA_UbfVB333T-kT7ovcEF359DLR0Gn?kSuiNJ--N6PcDPN z9Da80vi|eMl?q04y~~tuOh5^H6I?=3WDGjkm-Af33E7DAia6@pceO_RC6F`{{x|_} znuFMmwbe)}*h6n`ig3&4);Jl1pE#L9;8J|@=-ncrgTPwMS5n4a-dS zA#hxK;w3uGg44$=@M_-=EnN6hMSP@;tH;ah8z`Mzclt9C-o{>HYuY?ano9JqWmIUF zck{~yDf{23QYay>KTUxu95`P2YrHF9T7&ku@;7nA-_sEGZi2*(Eb+>QfcGi@sa&w4 z({EG@FS*2n(3GJ;6)&4e4d;syUjR8JQe)F&^sQxBPDuKhxqtG_X71YOzZ zA`arYeAN~<;%nq6hWr@f#YZr}9+7>mTO29DQ?%2!amcUmk-`ON6o*++_HCEbo@zal zV4wF6mva%BZo0B7UjElpYXKhH4)Q~pisJ$sj(N34frzg3NaEWbnp z4ZTIIvO$v-F}Q1|n%(&G%Ku)I=vxc{=jM4s_E1;p?^7QMTGSi1%MpD5=go^<&+*?UCBE%M2 zbP~iemzxY+e$<0E+FpohC4TcLxBT|jsVq5<=J@LPIY)2Rd7(=1Cv%uVSx-z<5Mp{5 z#zUG{<5$X%H7{>&(nCE37|log#LiBXANaE%W~a5j4$W zH6vuH+s&^lB*s5pgdBP^;MeM4@5!&%99EJWGBD(uoV!->Q>D-IO+nPFF3k!#s&9tY z)XXh)1YW0a202O-zi4>oRL+h5JNga2s_wF_bZb}{Vtr;zr_ehCsQyEac}wvnV|$?G zKAs=YJX)G~Rf&6BkKM0MQCWa>HcRSoB0eZoIY}WNMw;~@jbf}#>P(^ttwXMj4<~0> z8Lx7G%&}sth=lAh>VQ!ZG1m=b->j1>w6bK1WEF}*T1QS7f&VhO8+SKPh?U*H(-m)A z;?G#X+q%;YxP-d~RG&F1QeL^w1-O%Lf6Nat$t;YJeF(u>y-*-9tZ`xLx+=k)y%>s9 z!bL2oquPLqr+?Wkf>I#9GYcs3wG&4RTXF!&N&HZjaQNWWrn_8@=)z45D$0&am4)D1 zH+WW78{)C})Ojxbkjuu`K+R8-O6oL8WNNjjp_AHQEa5)@B5@#C(VaAcS2GL)%-KMlGs_pfv?Gx!Ql~qMc^;VP$c?&H&7@N+M zTh~8nU2b^*j^7=Aw5`Ez(-~&LHp|GI^&kK{?{#y`AK4d(<;N;MFm>e8KlDbzmQ zS}!v1I!3qTGU&LXJKwUZHt4`xZ4L)pUlWey$jmOl7;H}pi@55qMOqXtosLX=KbfY1 z>X{}QHw{SUF)9St+t_4j>{V-g(aCPvlXrP_q8U!q457p23h}M%O`+9*Wm`y17GK5? ze7KtH>fQ0KwZ%UCiPB3g2~7ApJNkbvVSzvg(fD|1Q-f%g-$`AZe3Ie8=19VJB6Y}Uq-0sPf9M?SF#fjg|M4 zi=Ap=K6T>+O9`|avcDc{+8SyP9KxRgQymtj=8{@#&s9}nei9pUJjlFBQW5nftczf*c7AhMu=yp%wM7a5`oFdNMd z->_~9eRRzgr(wEmAdL<{bq+!M`F8I(-e!8B;!s5gu~)NP&t8AlzOgj2J{{zc)-GISyTP!*u#A#n{q>D^jS9&=FKBN zJ|;zUh|Ms2P*3YI0f)@54cRHKH}v5YCLEox@@!iU}{itbE%7i|^X$z%HwkR7ZgEfLbR7I0VPR|?Zc&sGkA`*fy`^`ZP1 zjH?X;7vW(RPn^&~JskWiYj0K5gwk&G1HWkL?Qkftfv+`J`=;F}<*V49^<9ZgjntS> z0oq*LNaf~W^u6*5R0p3XZ^vLt%46KRg4I$1zpc94{;a7nv#vCfq>r}SuykkoYVT}>a;uT!YIOU>_I4Be`X zF?y}jA?TGe=M^*l&TuSG94p^dqF0dvk?y@4Pufn_$oDPksrY)gvXqSLd|e zF`&NYuV0A0(SflE^ai{L()Q{Y{XdL$4(9(c+W)iMfB$BZGk36bvm#;P=J{XUrdnGz zZi5r0=R~vZ%KXJBB@S00BL>vbLqG4dTq}=eelrMzzX?VO<8Ic;E5m-n#TQ>K{OntZtphWG{HV`?KEnhosno zW=!TY=m0jiFlq9Q`k;BxpwXufut1=o$Spu5(DjM(rZgcbWzEJkM1OmlgX@qyOw7H@ zXU&{<1`bM|=_df21R*s^v!yRa>v>A=P?9o2w&;E2jxidREL19{G1*!UY|-Ja?v#Xx zRau?Pe)7IHfZcKK{qW1B;7rx_p+fjbUYuEj$xoxgTiP*G6J$SMouI4(%-T>8r4I_c zO)A8h1Dwtt>ssILG1Tw#+y9u~T#?7;E=uhb?l;-n!U@MWS6Abb89HcGEg_DO4PBScjmJ3aq>|G0cAMIW#HSSN#TT7 zB@DS|#CZBOn&q~49N|j<#dT)78FAnO>u`nT#c#KCCdPdeyWiU|H`gyZJKa4ybQf6A zdPb928g^&>8hfbITiyL^C>fr;KX29>bx63ow>YpI(M)kHElOjJY6ftHaQ1a$}D_S$ffd)d&2(tH&0P|8R^NYAixs9k!jhNmoTHD6r<_^B;b(Eq{t1a65p^w zA4Q0`?L#;h#{x8vv?QsOq$rYRw%;sOb%O)NBW$D}InhT4$AmD)I{0f^q*iB(7X)cK>PF9dL(J@99=Mu%ghlGsuxS>uu?=iP*i} zy^fbOaEHA4{Y;wE70$yD`%jam+*oFYFjIL<6az|yVXEv9fEyJE$1ue~fvoTsQC`$j zbxhQTZ{`ZTC-2z1iE+BGCD7Hew%WT)0_$~C3DL#?WO+Tsr1LOe9z%{0C_Kg{rBU8i zjH@+I(k10y^LlYJ6P$4zvNY$=_q(U2%-StHzZhqUJx;HYVXUr%N0p4O`RUm z7B7Czy&fP7kQar}b!F4UE=^&)4d8V zmFkcDTQv|d3NfTRSKP=OfhZGeD@3bM343huaGnYTcn1`3H4n{?SfuFCTugTKVcuq; zR3GsoZUz7@KqCA$uT_hdWW_TEKkBKU`Zm%0JJfqVVW_B18T2XVtGUYg>#Ghz zJ^2_gkbd89=aFJohgY1^pCvTWaGa1#IJ%RWvew(W`_UR;$O)gD|4)@ zRgzId==2D>!`+>Q63S zV*lY0Sc$AmB5G2H&HcSWo5IiBE@u2WOWj6J^FZNP{Wyvqa9>TFi1I@~NRPI+)X3yC86pj}}}dVyZY8_o=O>QU0C zg=pPL7I?&joOE#_lPCGM;?Y|YTXZ>8?Y!A~__4i64?pRI6Kal8WU(yJ6e8e&ti5xJgBg zeh~BepQ)cX`;d^srrQ#Fn~88SQ3fI~**U>n=*_NQdlIIlESZpk4 z)^0O|OPFtngpYYzw8cJGQ{`L(57B*Ig6~}2V?nvXSm{JSj$0jv6;toU{#`O)Vh#47 z%ouzE>WDrr9whMox-rg=6o>$8NRXIQP83@oc3m$)BN0;8?V2T;}BCUWC8Y!K=|kWZ`hi?}pzo9~U1C@~UJ{O_MFq zpyc(dBdx@J6k_AlwRUR4LsboA2Y0F%g=D2w&XHQq{|3vtHYtwyDdX?Qo~qPIsm!}0 zIjQM*nQ1CRoGsNnPP4`Z=td&#U;yL7wNq7kK>>=9u>R5fEzA&w2(m;1PD&VP!+R?1 zxGl!(4fp#&t>cZ{CrNRq!Cv6GdBi33<}2{GgOnPeJ-infVpXE(b8M92(Y^|_c#p6z z@$gWfLWZMl;XS8L$b2j=Ou~%G38VtH5cG7;{UK8*3NTX;|H=t)H)Up&ivb}5z;Owl zNzJ;$tYU+fQ(PEOSSXpb!f+-OccO>AKM#LNMNNgOaL>W(D1wa01I2Nqok9@QEJyfR zg(gVYS+VLQ#)?%hqen@??fldApMxkwj!3LI`hF*~!Ww}a)6QXS_Jb=X_=xpsCQ6X^ z0TDpGXZDe;P{9&mGhSf`$pMRh3vkOm$VG4GPh3V1!1Ta35QIpyz>g(x{y>nje|uGX()iMMCTN$TT6!Q6N>) zq!oya$YE95V70+SH~)gY`s~Ss=)^Mw>2$BuMjh;*+>NzyD+z8Qz5^EaydDc%YPY-2 zzHZls0u4XyqSt`OA{l(vCG&DcJgFsy0=`SO6&C>h-fSew46LT^REtG5_LO6ljE{5~ z>#(O&tK?8|fa1Ay>(i3Ezq|Uy)e1{eVJ;&68S?qa!uz?kU9Cp|=S{wZg_a@zSnkSw z>O)*y5$@t%E2ZMa8~|5Nk!@$md9y0=DnCXoS;s!r?7;jTt6s21w7neNX-mwnjo|sK zgsL%}0&VA_vUBOW4bl_IHh4w0Y@=iq>ZvR5`)9oHCgZ{LX}z;N^MSW!55dnmAS2g% z4&#a|^}%QZ)A@sd{Nw3r;c>OekqPMUW_hj#^5ZnOL^<0?8f8CW{=>Jy=xk(TB@hN zX4N%XaN75aSTaYQ5o*`DioI~cf9)9JWM=v)#ywj&n2Ty_Xsh+F_(iS%+Sy)bP-l^; zkW~=Eavn^J1PEVXdkxG7hHnTvy9IDiKaUii8L@YZc9V+?h4*j02Fw$0N*~c72N3EZ z&FsYX=Kd#sHm+a|$(zj6ybtx`Yy9=9yDV&1Y+on3Vat zx=g*s+`_!?8A@;MTMAXXFpnQhFpsBgQ&(#LT9RdN2oLE8%Vd*g>ra$-T`U8yG^A#t zzCJFe0p)}Ss~lacxW{5w4B|cia!)ksx$t6S_1o|7)f6xf^?!xK#dTNvXg=vZ^_+_? zjZ`SA|GZ8oHinG!%u6N<&^~1^%_Y}hjJ#m0wttv&zn4U|9*i9ssSF!WM|uu@nEWIW zISTCRJL{O7-ZhNsJSN7hA8esfpJALPqUE)(L-&Qhbk#H6bhp~%Mm$C3@j!UY`3)1ljB|1w?F!a? z2&h8aNUobADfiB{-^stiX&QMJ{?ja)JVA5T=N)r5yGCp3*bF+t;CDyu#RKzVeZ+df zymOgo!Q&n#z3F|Mb2Xl)pBfd-Z~+l8K?XjuC$mUd%eK8oW=eK-cuSbs5p^qWb+f#B zjpCYG->2NA#i|oqjO&QyxQv@yT_3EP4yb>7>ZxK(FnxS1zzeneXp~gg@vKxiB=2ox z9b!zP@%UhcbbKr^{W;S_vRkO}KgfV6j zC}|C8;eMosB~V{MT4_N`=+)MH+T6{+){d)A(Q~Io5mVeG)!+PvO9ps)$YW<#>-UJ^ zx!BHkP-EH6v)oJY+`x)UZc>j>j}*o4kXtqe3$!Z7sx0yp%a`&@c-DI}vfm4iz%v21 z?o7VB4nqyKhPyskkGm+CQs`f*a0#jpzd`ZdKhPT)v+Ix{*jQQqH|t%E z-yZv`lVzt?i5uT8^JR|;X10nPA1ceT)y?u+vqcCEn24+!Bl{&48u-GL+c% z>4BOm=!bgs^e~dT(;eL|)o6XNcr;Rro!*0T24L20y5Eo45=lxW{%QL>qTRnB4e=^o zxoLG|?e2!lpO<{0Dd;Wj9g$yangnb-V$bJx`KxLiQq=?;_T_(W->9pri36JD|2#Iwiiy5NSxg}Hud3P%r^H6ctIP8%#?Ms?*oKW3fdW# zyd39z+d;|Zx*H^O)xSxHOo;@LO}uzVfz>SR6b7YJF^=zey_%_k1Kq2;TMy>vC?8`S zci>DQ|HP^VG$YmrRY4xInj95b`uaDm#Lx8k+vgKGc{iim8AHVIG zH;-3T++&SqhpA`-Bzw#(cmPKA)wvU{x*RU(^Ul?70uJLkD0?)C<}U;IpGA0Ifg-+U ze=yxqrHCoMFHLB2_q^8}<}o|g)k7oeyi?nIJyOh2k_e>KK+yF$`xTAqCJ|!QG)0dr z`d3>OLnShIqM&mSZ6bfukmT>(8vX0S<6;nyKA&bNIn6@%#D|ql`v$z#Xls{@i42mc zSaLCSNFmmP>#9@Dq3&wMsDMA}sha_Dt2)UvMTLL;qK&%;U&EwkXID%*m45u#{tEnr zU}3NRRo4BN$kX4VEJiY=beA?mntdKV2MILel(u^d^6v>>B)f`V*+xx(AtocAzAh{{ z>9BC5MuL-bYtKhX0W@G4Wk!9~76$AT-VLc>h)(pGG-M0PlGgFBwbZuX8i*=O z#;yZ}_N<<{oJcl{CVvzsUVP$x45KdOxTXtkzcR(0Sa=)dNZ$Z;DId+li)B#Yi1(vH z;Hu_J8S{$)WXwvj z%THGrV$}nl-|<%h%B?5Cr<8D|(0L8X;q#cAu&Ca?7b+;A|$Y0VUl90#Y+GllG)$CBG2Lx^^0cqQu5^zy6-Tn z4%b15!Ep$%s(O*vjMPFaue>k(APmj2Qkzzc(6nlK!3gqWN*h3fc5AQ1^gWW=9JdsfIz_!?P{~M=nJ%&kqKn-*QojX{({fvl0ceRn6Vg zLw7*0+Clh>6r;e#1aRcOb3|FU^DZwNdifJD9RLMTu8Lm&W)!uY-%+-M=vB3eAruL^ z)}>CYGR>h;N_N~E&mdbGE8@*|H|ryf)LV6B^#6Qs?k^+6X~kvYnd}9X&`Yen7m?L9w z>rew=(#4KB8m?3`20FJx;V<3DY0ASXDm(}fLrc-m751=}B|6WY{9uZ~sP)YC*rieTUOaZSI8oF$xZ1IOtU>18^mc!IH>e!qMph?Lo& zF2#CnvsjAF=0_HN6lz6lSwz#%m>Bz_p8AsX{r;{;8A0kj9d0&5yLdmG3RpDICwl}? z7H8`vE?0te{LbF*Tuvg?iMt$C+;(!5?`$T<53zC11=$d4jU%b1E^u_ur`wdq?kK2F zrLbMz8$ev4UDU~^t?`+_OaZLdR(aq>QMUVE5TrEQ^zMR%A7$AOOh`WJ$TBc_h^9zZuU?82c zBv?`!aRl@3?fpn4zpXXejdWK%Hf2V>HR`*|Mtf4ghR)X2IAAJHeU=5rQ5r0|s5OM^AbI|y+BWVrz8a500BfOYfj5Gu2bZqWy zL7Y7hov7M$HIC)&_+1by{&Uidp1^=G5`_@Un)G2&)?REn;IHlgMOtgd2n=0g}{ z?5=t|*BbI5=xGr=rJ<`q9))w*AFmg^4)MK*&+Hxawm992h!0(Ijwlkhom*^A^K(@e z=3X84acfO~ZLAwt^GyFeOl}4oHV7l7GD&R6cW%!Ts;2o^_ex?J%-NRd?Nt2=IvDveXHtUnp8BWQHz^aQ3evV3JIu3yACEkcUmqr`Y zX#6mIqTsH0F`HS=ky7aSTt&BTlaHekudWn-w$CqLcU5L?leHRetr=;Z?aD)g7F1)^ z@2+(DVP-1=4SKJ*$R_lWVW~Gjls>0{HBw#}hLB{VcX0}h5RB!^J!z~MHjWRzM$ebR zXcco4mRm5=BHw}*l`epn4NWXzBb%tJt5QG7vI(M`k9|y?p)%TYWrzeaPe^Anf#Zga zvD<|hToT5VxOKnBaOeg>pR<%FD=#d@H72W znSY<1dek9FVct7iZ8jmgU)tr*z%?Unm=B9AMeFNd z3ewt1?1bd@Qt{4aYo=>Fi2kvF;3Qq*>x; zM+X7K9OqM3gGGSXyO#qAo9N6W+CQrd=j+cOuMZAXn2SRtLS}_{Pv+Nuo0~*+8(|%- zw&(1bE@}*rATq>99OqNTTPIe>;vVaNB_>tmW>m0$;QkpYms$2JBY`%KkNcT>)G)-3 znDw`6t~-+$JhpgB1Yf+v&4_CvykOpAZaS*r&nMUnMa=}L`x~%|MDm*vJGQcKS9sWZ ztT}G#yQ+0V3f)Lq^ETV^jEAW_Dg_CAds*?&miI`tr!5;l3?mO)FplMP%`C`6{F|^r zTz8~NJ{Y#xy2l{qqC*rss*N}w{E)!hOu45@WThFhs z9cxhQ?^`)aFgqif;p|vsxY-js%YE6>!wPfk%OeA+n+8Dhf=*O}Z2%y0coF@(^FFEV zA-W6D7`+&lCbu1KO)05r8h7OlpeU)H3wS5+A{eqBkrmqvo% zhDQ1$RSz);Oq|+TonhSE4(KNBYTQ}#b5<4L`nohv;G(JJy!q96clHN#6M($Z*}I@h z(}zzGdD9#1`)oMuzic>ow9`TXDtY4A@JYsZGY2U2{NCV6&3$0$4HhGNBTf(3OT-T{ zP%nrT76kacAq)SDhyB0Ay8rXI%FPLkYqbVi&%pz&9|#*s+N5zoc^YlzRKY-5fx?dH zz_|rIpxo{MR@E0@@Ig5m9oK)HdS5Bk8aFZf352W2>LR%VvQ?ypBsPi-%$v&*$~8%l^6u%5D5V!)z}CO9gLX+X!t+{$->UT z!<7nZ0Y;we2Z{wq6H`i9gBvA(*lZG#q-IdETA1gQ_u!3#4aL$46XBg@PQevdQiV(? zCuxK{a0I*;$8U9* zS5oy#8y;{=%e%I5jswcwfoD_e{Uc+*4EH|1vngJeoEUD{(p`h(M__c)t2E`;mYctC zneSr|--Kq9^Nt-Gz&!KrPgD?AXlOI;QsLC=Y+jy&{BY=7coQxv9@?CR_o&EEu|4G* z6QaQ~r5a#E0^TrOf&mWJip`|F7myi|zy7z(TlUMi4f30G;xn~-&Fs*tmor=PJ^Ym^ z8+*~>^ZrdZ3X9!uqgZ~i;I9zQFY^cyyy?e21?{0AE^Jm_Sdv{^zeE-o4{X-%aMXcoDzeb!F z*Mxh4^X8g!t+;kvd#(f5k?X|0&UNOxa9z1>Tz9Sq*OTkT_2$%^hU?4q;|6epxS`y8 z+%Rr9H-a0Lu~x0=^l(%SIaQ{`mU%{CX?hPL~p{n-v>9p`rH)=7B%ewTh-?{sV1 zy>s`V?tgVX=JvSM<4G@d@44#tG{ZGd`)=*`X8*whnhm%x@W`7(1}z=*{ornc?+ocV zY6kSW0brKPjsGtI=mr9vBegn#`->eHpdO!z|>LNn-HBCQ|rdn<(_ z`M0t4$)4WA$+$<3PopGtk349H-#RIlg{+vYBE!vr+3Kvp8NE{?O^K-qIV6XqW}9+T z%;aP~<#KMAcN05*EM&tn<&=6s5mLNt+qUB3ZQGU=hlDI!7NYbP4(+|_v6rSR$m}#B zntv`7M&+brWu|5=-YIxdC86u!A8kUFJ1Ru6-fR)MCVqBN{LO9`InTO4QGAH^IJ;eF z+OdZ)hzMhO7?Qqy)dLm>gYMJQXkj586=ztRki6FFPrU>s5!S&!p^2be5+HIOTCFHP zvZ-M_wFXA^h4Gr=JyETuO@Fyd2N4Q`)_*q@e2b~aT?u`q%HzTJilF6@p(-MZ*LB=x zQGBf9)+cW;6eN-e5*aY-qZksGl8~8jGWWy*a)v({UbO&LnnRbJl-Ovl2Q8+{6#3?@ zc{%!=IF%6U85t!Hk2941^#P%x@qb@m z`pICW+TD((Q4(Neg)XQUMq zo(7N;!eA+|1UN2!tK&rRlKo5AiaOxXX=D>@N@603%t)*>9XC~xU1X=R+?bI;iV`#6 zSzsyWfp1-9pK$MfH0O(4FSUjj=6^d*OIOE->0$^kMAciR;U9?N4IP&#ir?tCWap@x zO(NIEriQE1uLedxWUO?LUJLVcjm(yrBG(v3=9;4{bn&(D-U+biV`Y?-`8>K#gRU&P zD|gU|j%vkGl5_LpZ-P7a8y`GC`L5@p#-}~y59w>44Cy^Ibga;Ac+BQgs(-nTVudJP zf!RdyGnjdy$w|qX&OL)AWpPhUea#I*f0?A}U0O7q4$L(_5 ztdvyNImTE$=x=d~|B&1Jzkj-&l%0^FBf|!d4C(>Yt<-Aay2)&z-3aXj<4i#=yo}?H zgiYc)0OOt0^fp^go!EK=_ESlY58T{0PcL#_HVsHZQ$Kq~(vgG%amS~o&$bE8Nk1|y zX#8YRJOs=XKSq_fh}*ouHy`H8vuSuyoS;@e6vbeB4PB!2eq<qp*!s^Oi~RalMD-iU;YMbP!+A*Nt10sR-cF0=@@I3bzQlZ!s;4NGO^{cOd_gL`(5y7JX_9uWzHi7PDMnK=S(Uuj zxC{g|%Tr#VWAX{qpU`ptg?e5dpsO^UG+BY>C7$xFx&xODL}fl?smVGF_6Bu8iaPXA z*9a!}s}aRt@y~jD4KI(_%Hk|HytwV zBm2lfx3w9bx+@S$_jhp>bZrGaS0Smq?`V77!|?+6D`AlEuJDQwCW?Mw*aB19e}AqPq@PK3a$~-6s?i?^sl~k&Py5-O6#v0bK_h%mHP5}{Z-lqVG&0}h|Bt-i z3lh@Ht(jnFP@}nCHnnl@pY~z~{a%>y+`IeWt)6v(%wB>ha2=V{^|WdJ{I0if*kE;B z#x;Uj`RfAb7-3mD4z8EjrZ~6eE7+Qu|42L%(0_|L6erp3&1klJX|=|EeMHW{vFOL7`11WKAQ2ciH6Qbx**R=0z@g+{3n8sb}M$~}C|V1PhbkaS)MrTJ1( zbbp|*c%kGyK>}oTT9QRFO_^ooJbj(MA>Dt_mS%JDEC{%DU9ExZHM^Z?$wHIX#VZ(+ z39mW73`O{~D4xSLo%PMFOivma2zPO|?m+c64Fyno}Y6;%kWosjbsaNOC?_YJb{cDkjCmW-N8lHaZ=iMf9k z6-1Yy)RWcgLn?XUzGI}&s)6J^$)$lA;e35x8R@esad?93F7Uj&7PaUVrhm_`Ffi7= zPHWuVAV!(1(nuXoKb4gcOO`T&Fowq^dh?SAs1sP{D z8w@E3vJG|SE}AOP12m{#KVwk&GYJKH(u?`b zOZnN;ry~TpzkfKZF`_b8ozp;+JnFKq5YuT4rUF7;Wn$x_fZvn3o}0D~>~ zP_1;2`MV?JAvv^aS3uc}eIKOyk(p#(LIA+>nQphjKcoJu|IE7{3_f*2W5;!5lGqbG z%U@huBaoEu%Or;Zs3XBYm@U^lM2XRC`K>7+lMFjLp|}`#e#sRBN2E0$e}F2fOOH zzinOxp{DF`v--i0U_ba0k-F}s6RUsOq-57px=s^+H#clP65zxwn~y(Mps;? z3(7p`uLvD{WMAa$tWa(Q^j{rbFeI0lP1$J)`;!hE_kR(SA;m}*B?}%&ZxOz)=MW+^ zN%v0$18N{f{p`4pbTe}FdB!|aczOTk8p0p+tjzHrtEyKpy&2@%`-8CSeV7;T%q&kQ zrZ;__(VIc8y|01D4p7a_>-6zK5BiRyP(iL*(l5H4&rGm0UxCCx)CH_t2vDpc{5UtK$|z><(aZ-a#s-Bb0On0@v|=b^xv(HqFV*21p0Coq7Dbc4ocYD5=4j zolhu8CU5eBQ6@BAExalWR?a~DiW}>LvTy_U4FJycYQqI$2cPE1j{MEjD*5fO<1>)e z1t4!vKR}_YM=_9~8H?0$jyI)Fn9uda+wB>AQGaX7+~{-;;OWIA(6q!w#?j=BfK6th-CYq%zh4f zLVw5C@07ay>CeowB7Yttf0_bY5zR_jh6<;|_qi9r;nFVj7QDsRX$#p}($h&AJlPoE zeZ)pVv-BgV1CE%a%;CNqTBVdiFPus2?@cCbSy@R-mF4LajzfnI}jX z5S)~@mc)`ELomcW;Q-ENlCJ66RQ=?*32W!)Bxf6P2`|4`bb2R3@BH&1GC&p$NPm+$ zIl*x_DB})bACgFtk`t2>x(dyO3BrbsLbt@VhP5Ptk4sN7D@93=pWSl{STUOhz@N9E zj5{!6m!qlGr{e1S7ir&1@(8-0u2BdrWh5psVQpe~1*iGBk7v(ESrZLlyW=u5#0^zss&fQs7y-JWO zNkXzd*~s^el*%LCSTPU_t;uFN6ZOMhpVZi$jy zs-=r=c+jC#RBYZH0h%&yz_qT5~TP-G2**lA%lB@y{lHHF>aHU=XwSDDeNmFJFT{#V4p_?Li6o zUue_2R875mpVt7AIERK5G5D&WP;i-p;to1Itdhzb^n;roj&^klefHY4c+;XebC=I0 z{Lr!Is26Q?pr%IkDai^<3rr0&#}^U4XlwrV;}dLebZ*;6XeTJn_J5&1s*~jChC|=- z-hJY#6SmNw${8nps&3G*TKQr61AS3JR=6CY1CjSHNbduCjdsbB=%r*bnfNK8FOjom zo26)b_3qR{Qb9^$3L|)PbZP<#;&tLvh{+&AY>bxAqb>m0flHL&+Bush0n`P><__NE z@zb|pJxEqE;1o{BWq+`*d3nsn_2rgRXvQsx8SkgZZy*PG$FzUm7NLbK!C*k(JilNu z8BOLaU*JD?ZuofeE-ybUH2&Wj4D*o*fPoeTB^F@LEi%> zO^fczvdwAPszO;>a!Qg?;6CxBJ@yw{m8E1|tT`}iW$v0HQb3A}NFgcEt&dz6zCJwF zpYZ*A3>A8*7Jp2YtxSqttBR2&nT%=5(?XFa84#_XtZ&E{m78qDMh>|1MT6545y*OX z6XGlBho^3Cr-|ErcATF7?Yl?m^vmmy%OC0JS-L~fW9ABN|M;)JI8#z_T={v~tN|)v zoUmJwo4n4D4`yU*s+k-jyN%nTtCr`jA>sUcZT)*I<$u5F0{UG}*D*Hc9%7YA(()NoI0JJfF5UKMt(1_XOAu#}TJNxm8QG zwH|bkD0!_;s~{{Zkx8D5Us|H9qFtNiS?|8V>W|tg*nYUqQn}yT>8(}Y&2jw zFzafy{zI3zSTR3juK@yg!s6Q4Ym8gnS(zHOIxU`wj&Kn;_jv2JDEiV*KHvSMu9Z8! zbAQ}dgcpYwZ!HGIfnE`uWO3xyFy*q)Wy@6ZhjsPgU>Z*P*<}!D*)(Zi5M^3Y>RKgB z@qm(D)N%16;th!@(J7c)#6>@0CX{^wlQ@AFJ_2%e$zzimNUdUg-04mn@nh3;PWmng z%l0}>xd{C6r@lbokN<^0vrw)O5@kY5y?@Yrno>t%(h@S`a$?slC%i5)YGp{pnhmNV zawN5Kd-cw(X9@ifoVV1V`C}THjJ#K))!y@z( z-TX#jC7Z1``r;X;n>3;%v z;x$BS7x9~>eqV~>4=@A(RPb~U(LHf~_GD&|4XLEiw9!-u%DmlJ=$d{J1VnWxca3q7 z?@$)oV)~>dMPyr#=&rFdi)~?_2*SFQv^4%!owRgEd6vzUm5DHh8Uu(w(V8M$$n0Z1 zOC^Zn6$E9E@$wLiaYP8izl#|D1%Ll@4}IfLDAV6z+V3H*{|8+9@8G#b$xOTbpM8P1 za1BDC$H?#RYdyYq@;hm)JAGdHC!raes>AriG4FpE_JlqonY;t||08BCB=>6RMEvK` zVgMaNp8%40%3M0|vjRMZUyZ9&`#VZ+W0reEjNqZwt|g(maJP_vj3ki{nSW3Zj7gfL zZ^$_9Wb}dFgYK0+t9vdZF#u4_vxW%_5pG2%{L~Tm98<3tW)gnq)@7qq!cdrCZPH}D z)B2RS7+^J)xUA2#wD@!!SS=%FVm9U-IJz&t3SQp099|xVrYq^AKfPQIR>Ar5B-hJ* zWVctJQ7h3`Vz_nODR;2NUw_nTCnd8WDKW_a1S3Np>$qJkGYS?)tNn<4=**P>Ai!_W zBf!LbhA6ngac6bfc>z_(xY#V;7(<2vmQ^aYWn}FNi6(zzzJ| zi3LjkYJ=kR7h8)HGKdvm6y$NjM}d0E*zEB9@z0#{uWlNXT_m46cUR}X+`MI567 z#`voT&>x7{zG`C-So-O}ms5TXE#6uefqY^K!|q8#MKX$1XZg(eW!mO4}(# z?j7cfdZBi{j7x2YD{6~N?S>_&HxPm`xfsII3WEW4KA1pX5W2$*ht+Cl#Wze8FKYwl z!WH-8oK_3kc*2fVoqwZ%fao+jLviEiV4;KHGbU(e`$g2};?1Jl->JOc7GkV)Vwpp_ zUvjyY>TV#cxu)2>12eldrJx!x0sqDE_XO#{kd8uQ)k+eWz7m2&+|K)T+VvnEP85wv zkPZ;o(lJitj>};Zj*b-*U;K(n1+#&rETb)QzW-`V>))3BoqtU@;I;|FoHm$pGLr9X z8gMFk6EsEwGP5Pxz{kGMgbqp_Osq0n$j9VR!LF+6{aZdGSIDDxe(2~dn~|xkg6g!& z;#rn_!gnAF!3E$roUKnomJaN#cTdLDy$)HKr2Gb54pM$zl!R%u3W&?@nJr+Ye_?UL z9W1!5l983hB!7^T-;lt&$bbiczs2t`U+@$O{8_Cb{D+#|^o<9*&s|ml*-T35(!3q8EE{EpGkfK zMhtUWUB4O|Tyb3Af34U9V)Y-mfwB`$?Ej;%njV{qQlOHN&3T*h*5|I(IFM4bcfX>%z68wWi#L^&fdBTjtYmqld8(OY{+x(~i8_oc)L9r;)TG18 z=EYeZa(}Djv#)8}3mylkQjs=2btajYlagaf2gI5|G7Vc2w&*KCwtn40egrlR^Q)N- zW*=+7lDTC1j7TlP%+UA9%6}L9?5_TxCN|CTO}f2_C5ag;jERXr z@{YLU^oJ_R?OKmLj&~Jn^nZjOp9;r3hiwntuiQ@#ZLHdBU@vM zu*A~OR5as(Ea%y%r&*OJbHET&YXbqGG}10)o2q1WV4#XJ*x_4%*a1WLx`ilZYL^Z@ zLVqO{m^icNbX+XU0mb39fS~ul3j9NDU@FYOs__}vG4p<0HT~U+@P8_ZR&bo6ic}XK zw56wEFmF$JE^@7NN3K_$k*gC6Ve|@P;sqXiHhkq>@hhDqD^2@`C{vSDlaxuu)yCCi z2?;PQav`IG$@#HlG%rk+krjruYhtxa{C^?f=7Xo1Z>zu-{?n@m^ky9y!wZvSBT7g8 zsPyiV9qH&{mC#F$c8X(qr!qkd4_kR3^|MBeeJmAzc3~=@xu5Vpvq(>zjS9fbpHZQ@ zuyWhpIxU@y=}ceC0pzVZk2R)bHlz^)jf=@*5^M@?NM*9E$b@lG0b8JXt3k}h#ebSD z!f9#7>WsvEl0%#Y3D{-K7NUY;wov2}wOU#ubyhmKHyHHCi?6Tc<8NZ6I>FF_;9C zd2Y6x*Sk`K5vmEjRWO*Af^nZisd?|z0 z2Tbb@r1IYF05*F7C&w`JdXFIpq)5iX2i8)B)}XOXdf3R{0IyAybklsXn(VsqQtPq#;5L7C57ou43av_HR5TU?I*0^KSkeoo#p>* zng(oVHB~_1yTw@S2Hsy|x0v_~HureoyBBca0kD6)sa)#nf04QiZ1@P{5P$8lw6a>{ zUeR&stTN;lj|j%JP&d=yTboADQt7Vt!aGRlRWMFturduSjB|kwj(^paQE$N2@ZN)j z)t4RBuw!!tjl$Ih*b1L}0c%RF&1Q@e;Lq30mdkW9LP4Nai%)4#1Hy11IWDKGtFE}N z8V$AP4@yIU(jX8vzJXMLILQpOCq@T=m=@UW!b)j^Q{zR7oA^89Ir2izBzdb}4P7V& z7uXfO;}ay$N5_54I)4|P6KO%J1IQv0W{PsN1bkakKE$-Is?}pblEZy1!aCe!lz{uV z$<1+^uYE0Xpbq50G(Nt6d$Wi&_)El&m58R2|_%RtLvK7DjJ@_}!LO@dY@r zw@Dd&QYrb`@xHC8qp+QwQmAynn{BMGsiKj11;qe(=rSLmE_4CgU zAO8IFsfYdircU)!dYj^o&vd1jeIPiVQY$}5-*ddGpi};@aT!aDd(*Q z!1}ooT)js3SX(2?>SLA%C<7}dOkuakCsOhy17;%E2QMA!JtcvL(R_)=nX6{%=y@*r}j% zC&SB36{d1hPWBjW4ZTLLjNt|+qW!Lx2Gn|d2OJZQ$%d7NRx1yY{o6KIplGHo z<9PWUr?HwX2H0AN_W8b^@@u;Pu~CBu?*G?jjSj3?tRL%7>BndUT;y)n;2XL%7Qzm{ zP$v2Qp(1Kd?9wT&AgpEqsE1Vk5LZx zT-^AQr~F~vCI&~?lIBED=qQSZ86mzFbERtGKt(AzV)&R)UsBz`{83shu`k{`d>t=$ z*w*jZ2RiU^_%Wd)nd0otFtFYXFn@5f-OZ|}^tpO$g$a7D4zk;X2o77W6&K>mLT-W$GFh$>M`x^Yw;(u*9{^$w}`+ooi3cc~Q zuMq@tuj9?jC>aA-($A(o2ZRPgz|juiE3h}~rUxB=K|#;UN=h=S=v$ivul7Ql541v~ zw-XAsDi=6fC|DCQ%yJe4c;P=XWGD7SGKREnIFv#dq%>Rx`SYMJ9-;41-+>Q=K`K!^ z2ww)ccnyfC3E57k?4Uzn*MA$=QlG5{wj^$q*HaT+4hZ{QCW#WYW<`oNJ!w5jPd9Ed zvScgVZq72RFEj|QsU#_VB}qy$%x1xtP85$|3T^^z=UI@SyFvMh=eHz(@%jll#_W`= zG<{j@B||12yukL=U)7pqc2>g3j11to1%Tsju{`Y=h-L%+arqUdy?>@1u+Sc!wi*Lb z$)Duy$~~UBJ3f7FiY_^Ne8{u`grDn)E~5rF6B9fb7_?PuRJ5ziTX+owf8-AO0qjg8 zCks4iBWD@qITm-evxZ-ws+?50PbZB{(_um2)+aKNdx!C>5qgz-_L>wt45fDQt;on? zBlx;CyS8GT>94@96@NDH&8QoV{OaxG*G13I{s(@oF(eqG7>|O5mk0AfP18uMR3g{ZGtJKXTj_Av7>`;S zUF+dUrgaK(H8=H?YXyOZIb<;jC3F6)A$^7D8?tAg#QwN**uyVgXJU1ewOgJyTmH0Ou9%7_0se0Cd^^q0wERd$W?gi7vk#6AL9f00Hdy^PAp6rOPnz zwI1}NKP?dn|Hh_fn^eO#3CTYXg7eQt0jKZcZc%43EH-nRE$(!0!}Rlk&32CQP0R?=W*+WFPE^W!tp<1ux7SGJLqB!5|=!0HG}sX5xDBQg9MS+1!B z+~`(v&_IYQmy!y;41-HlMJH})jwb~>)1lI&41GGuAXyo?1?%}6KS~+vU^;xL1KMY) zuf>+qfSGPE0lwyEH->}nV4qBA-83%l97>K0AA(81a~MH?h11<+c|WygG2w56kYuMG zaPfKxj(^0OGOsh!>$E^;?a%N!DK{ClOc+4Q94aTr9L--QWYhg;EY5U4!q4`MShH?} zif(*P3~}rWekg|DvVFYHu0Yz~`aFZX<@lhf#zeqgpUsZUL0R#U&visOd=#04C9Z`$ zgdb+h0B2f8tj9q5GX(EX>@|PXG`5mbvdy@qp?{7CoMgpz^mN$LCH`hVeFZr6AK!eM zD|LkcozeTTq7MY^=e;u#aP zfnPz1x#ef)X{=BqwM4H=1W1~flUb;u7oOYIU}FGFas|5clnuK$PDa9#R|W0ng_ZOR zp|q9|m+z z1AN%x7_GQ{aiH+3(0uGWeY%dgMVr%B=f64+(Uveq6^a-=MAN zfLl~XUxujqRnYkERvPH^cyHXqvjZ&@JM!`me7XZP3L(pWL@;~nwBe$7$=5PY8Gl8V zrbcD)Z5yAHtzTQHF9Co1>aP1Ij|86)+Nrc;o*@kNg;}U`&zu7Id)s7%HSQ&QNckW2 zHJ2^wpHLobr6ab{$xcAh>!$oI`V;+8@fO$%9Ty^sTXmdr4t?44D2q11Y4o?Ll_EEs zbpq(PrQ=jWFCjv4^SF$)2M{xOVSlt7he^*Oj>`Dxnc(u^%~E4|~Gq*zMAH@-=RlfetfKr-~w!d)xu!FwXe z1oB~6D7LFbOeC{+th^oLss%k}IbYO>$E;@;b&#F;+|PO*QN1texXdNFX*nqvnproH zZL2Pl+vF2=auN?M1Id>}aep(KeLSp;=Ni}no@vE1S%I0b!wO{2Ry@Eg-+qwnU2J(j zJ2{(Vr}HV>m}#qGZKOMS@6q5gRb@F*KIL0z|5`d=i~I`x1Qj`5R+(ejq1^2GImwSI zd=G2b8dr(b3y+9#TIT^NmbT{Q2a{Z3?o%CC>1sFXiEWuzFetIRN`Gue@bbjZ-kQy@w11yPHzHXGmQ%wX*07~??*QB>PraSxjHS3Rd_bH&`$Vb&+U1!3spkK zUx5OH(d`%yoY&WNoEu}h`@B}f?LwgNpq8drdpJg-r;OY!;8cQp((i-4Xh;fE-34#B)->yjB8d*Arzb~|I zI8VU@!C4}(sr5;GZ-JN2o3t#+-&F`JG8IEGw}X_r`+qPOrp09xm-DB8kUEdQI@{XW zFHAhego`KZu(GN7Q+=hCQ&;I1xg6;ZQw95(if!(a+Vs?zjJc=y&a}1E*=yx2n6cyQ z9yWD)2LBzENo|KpvZ~ztSjtuuYvBOi}$tKt?Z;Kc1@}^LR(;s%-!#Zd1eTy)of)ec~Ji^LAc3)xMwU*m8pWA=f;qv z6Cmgcw;zr}Lj%F8nkfY1jSs8UFel2|K$tgVg@5kxS}j$<e+$f3x?%&?{6*o9z7Ztg5`RAnDUbctv>q#z2S!`KwoHC#oF!t>B}A zF#tB!ZQmUwp^Gni(8Vl86821pB696niliTgO?)S*BBSb*$g>S3bHN`Fd; zS5A+fx3>RE*LgB_hRcIBbu)zJV&k^d&8Zs+zb;Mp5mG^p)4O{mr^@K0+a9#~xI%c1 z(ALx!cJWQMvsMk$;-=#Xz5V3W{OV4m8yP!w)km(Qp$=w6a6*Cg*)fmgXD>Q>u;?JX zuqBjC;laa;Kj22)#vRPU9W;Xl7Joe2Gx% z&x#T8th(7QI<2({qRhKuUEFn_X zWXIq(D^)W`YqpFWBD56xjTJhjuFeQ6g-w{!)052dCv%e<%)ZUEpER6SXa#1W0UA$F z(-}xLf9F#`e;e|0^cgyoCgJ^Zdgc&q_vP5LKJ@F`^1Jlw0!6oJ!+*yq{Ygy8>cW_U zRhCG?uUN4vYX0>_pU@X?-Jw4J8Ff==teQ)-@hcPfLOMuVso#-w0MEOXlCqRtY5cmc z64IpdyAu*8CrtsX7myN|$}bXjNskupOsgQg{qS5tg0t(&>8Is1Y_sIRRT^;BL*$5B zO;0NDBmx2n6wfwzk$<3Our9kFHoh@UXf$uybiWB@^lhvlzw9cdJG&d5hwEC~@h6{{ zyX?TuDB(|*aMSS^z}sfa&(s%!UAvv+>9g0ScMASs-o!Bznu3q9erlzH-GYrG{$jOVK1ILOGPG6 znH?6z2W^o0?Mkqc?fm{7J5MU9y0_x&#G_q0jvhNiNhZ2}MCAf*`&+olml(yqIxboY zQQpreh2Jq#3^CnuUVeLiz^d6~A>Z-rwmr-W^W^?vNQcQ~0WJl#h=B(I4_(F@NaMvvByAT9V zSiWcqFaJ+W@$9leB#eY7M8=L-uy_~|y!q*#&lYOGWPfLt{wUL0oyYLqKULC(UEA8! zZrPoc7Q-5Ji|7oY2%`u69M`+sFg0moX-4qoJIEg6o`$HwRqGw$7^{d6z>~%-zxyB9 zzy-pLY#I3~t2|>v(dB))sQ>NQk#8S_dUsGvnxJpGx}9I15P< zY|9B`Y=6v;qDf^w_iE|5hws+Ps~zYbXn?GW9T-VW(JSRwf@4FBm_(lTi6@u=9S44R zqK^AY=?wc=;G@f$&%i%m7Mw|e{_^kg01!1ZG0M;L$G%dLyK~)O4dJj0h2H~8TwuUX2#xzJm z^wwxAs?^L{I^yS1wes_v<3-13AcY2ibF9{I4}$Ln!t6Yd!gMQ2;jugmDIq1%d4XAx z*()~_K82)`loVdRMMtgm;}p-5u)}0Em4A^kQsu_2E)wVpS!v3r*i$R1(;6A#OIFIi z;(}v?ndD8ulZIcESd~^x;-lSoh+d8LUVKv*m_2#@(jBCT6s?C#Wnh)IWNAS_j+Trj zA1(+Bwkuf6{gfrcq`j5I@0bz)hG-Tm1RkQssIz96*I=utdXI~{1 z#xmEllbn44@T{L~bBb<(${T++^+iXkW}RN+IPM+%A=E%0(!y~^5u4|DH-CK|ZIM%+ zUz+17#OKPMzs18XFXfxL$Hit|8O@qhG^uFTthQ-wX0sRm7v}#~M3-S;0uz@YJOL5} zAUH5LlVR{Df0bQp+b|S{@BJ&Zi$Z&m#}AMP`vhfqa+n&Rdh%4pT*WC)Ze`R+;?`ns^6OE_EwCa-QvD$KfT_oX#Cig zwyo-Se{p$EpxdxM>~JQcUO`0a}7GP!3vpO6H#A%u|X93KLQZe@a0LBtaUaKm^ht10v7_WI#}@pgM(W z1=UWjr#T276g;Hxpx_~e2L%r@2IZi{la4{~py5HngN6qQ4;mgMJZN~3P_3a_A|;KK z6jCCjq%eUnL16-6g2DvC1ceEN2?{9@Qc{>ln5U2uAti;B2q`IOp`#XLM#xMdGeTwx zf0+?7Q^<^vnMP)W%rr7H$V|hZfjN(8K}!&MO1)|xywjkS2aoD>B|rWehTNG<&@LUWut>;*-+3d zn@P|m8xFc;GYh(8GY`6ClLhUuSqAN~$%FQI5(n*Zj%P|t&yVjKll)1+g*^2on%nCWPt03{ozFFcCqGg+!zq zMtKMdo0BOXm{5izJU*eQVN0bdDk-wvX}}NS#A6asJOUt;3;bw-G{C|nq!9sT7z$!x zJ|u_(SR8*~!x11X)GH(u_=GGA3ko%-k%dFWLLr8K!r~Fi4)d`Do=g_o3&6`QflpW{ zTk+3^Q4&AT60q2$U(tsQRHO%bv6<}1ATPR=Vh?~0*1@<4QM4U{&4fe-zCa^W<8UlN z*#MaF2}0;(WhIeFXgslqpkX+VCKM>~vH6GyNHBjq9*}Pw7Qjkk#3+}fliOH#X`_AgLsiNIUU2Fp>yDQByD)4n#2gO&dNWQsxE(1qFZv2tf%Lg-{L| zNI-;G1Xe3;ovjokB}0<2CkCNnQQ}wJe7kK9 zhKhd>5g{6_2!l9804vao6laE@N?Rb4La^n0M-Cr3t%aSZ>4Cg)Qx|_OjnpmLXwk&m=MH40uh{y#KGi?k|cuG z!GOTUaB|Yuj&D~Ka%)_KLy(du$A+S;?u*7@z;V<}BKhq4BnC4Z8aYkoDm}1fdq@>Af2~k{ZfVybW7#As4PCN>W zM8KA=bipJoW3ZEFp+F9-0=>h1e8VmNSxCxQFO-9E5tIjP81?|daY#n7Ce>lXV1Oh# zDS0j|Rmulg(NK&aQ-DxRB!f5%rzn4p*ujBpqA*dug%G3|PNmwczhL@wYbn>E1dheS z;Ru(!v%d- z{w&W!4-8?~g4D8&IVJ^Iz*48^letG$k$L;>esmQ9B2g0uRcsN#8zuRH+`$w%;dkt3>Rs4BaRdTe2 zettSG(3ZANn|)Egweg|~@$rA%^vvzhC1%^g=GFOIW?c7E6V_Ji$ctn6+O7wNnsn9m z)_U_MJ5|mrUD&>*kk-C+bp>2+VxRPO=v>1e-+$*Daby+tc^{b7#$3^Dr;9>N~3*>aF&7 z_TJwnILQM`w5!s`kITF_w7ajY=~9c3$wq9cu47^;`L6r zq#vTsgN3@d2Y+H;YXAq+j`9?^@VFFAQ;@XmO_YB0bmJGZ*XVvAJ!E|w{Z(UQDqEA& zBUy5}`_pFYK1zQyciO1)ncsLO}dA~HWTF1h9B2-sL{Cf+q5@BoZgnj@3^nQyn_ z&%6d&M@<}F<+F+VPpE%q+ZJ%;HF4YFPih&|ox)iwvUvR07b1R?(5JR+^2QL}?ris# zH(aL9Z(hRrnWmNAjPFdtMb1pO*MDE)QF_azeatK4E7A{HmJ-mwTSt4aS(($Srq?qX zguU&a!(*I1T}Q6#AO~ogUlrr7{9IBtt z-zN6Tp4?wbc;~#1WdEpYe>puMX?qpgPlbdyfbQ2QokaH@zmmPsUSxOUS2owpmKDoK zsiT&QV`fF3__LiIeeQQVZ3I)s_>L089`|cKHfIH8CYR(SI0FX0O%s`mA9m$R5L}N0 z$@TH3$D?EQg}=Q`q|@SxTq;Hp5d>YCrc`YLFq;($IOwkNwgPBZ5X z(P->I2FJ~-Yy+TmM#r0YgQMbTjeVc-${G?dz3NiQQ=e#9(D2hT&g|;!ufKg_@6!z( ziq!J$dEnn%ZS25J|0}};kIMy%6D|5sU&^JO@|4SOrHhI&P;v`i=EI{4b5C6!T`iM( z`jqXWbKQCIm!Qq{G^!{uaTfj-N(;Sm$?I#bB5!JfzZ;0_Sv=!t?riydMgMAtaNw*v z+q=$)&~W%zW^%~zeyVfNi0Te>IlL5o=@Z|Vn9CZw&r@*m^ZMI&&F7jNIiS{d&r5&1 z*na4>yQ|V+%Bw!n=@+BD1A?39LWRhF6Q+AqneE+m;iz8N_GeddQJQYb#-T%QkWC#e zGq*~PryUsf-0Z73MBHd<08qcR$DRHWL$T%n!|H> z_C-Hvqcd61$TGRW$>N=DG+rJ=jLI_f5cQFB#xdUZZtN-b{91Cfj9uGsIU?6CA)lA9 z?$j*Dvr>>`RH}z(vT5|9;rrDqyp z5(g>=dng!Ek~eYB#&+3^WvA|1mJkJzf>Z`-_bar<=b=9M&ajDhiwAxT5 zxJNoHp+Tc$&E1<<*_Y`9%OgGA%U}=0bH|U{JNcEsONJVBXgYOh7UmlMHPs}#ajBV& zwm&9}gVk1?aui3qomWF*x?Xjk)jsp=1z%K6VE!{JVNX0!1vOhJX|5Hik(&s~C4fN7 z7TZZhY?tNp(#~)Oj{;sCGc+Q>Jd}XL^>w;*@^xCp(!4!{{YCBH7B`%XbNi~%wM?hm zICO{0b|4&&ad*i*ZFzNtFAe(6<&lXsBv#`0u*9F5HeSPlx7a0>j?-62^FdoWrP^W+ zfcG|h47=*$jLGz)#Kj4WH^Z7vG>xAD+fCis;}k$imw+*8jll zm~{|za!$^F^34B^`(P$wW8`A_e*rZ+GY9K`0JWM2@50*`;z}}KQJkD}EFVqQIbQ<; z{}CtG_w{la-GE5tA1GQ<54iR9u{~GmL;BRJff=Iz0%=01XaSQmB}W%qlpTwT=i5 zi0jX9GW1l$j!zu&`G%3tL2&O3UiXbjG(sF|8hnN*_1FVa7Yu|139$k09-`!%(lRpR z!1gst4I|zRd?B(VE2X&XOur|jaRL5(C-5Zw!c9jX#Q*t08&Dl+raZ}?2XN=e?a`eXuf`U95no5i7E{# zNx9S#l-XET#{E`31=_BTks6klN|ebduuE%bD|Ju!_ydBV6xT|pLT5F@T1E&l4jui z3+d~yd9i&}S&^L)m67B;f%ac05mQL`UdZjZLd3Ij8*FMYXXo1hv>U%)Dt3(>>FnD3GTZJ#6%N>)%#S^eQOXR$&>pdcPd@?dO( z+Yz%!A73l~2;_wz6Qd+XvQIUv$f~3f*yVrd>)AGy2gX# zcTk~R9o|Ik8ax`L%+ElfK}kxE2$P!amjGT>2psTY$*ecp!UX!ZqF+CzzOIoMP7fm> zoHzx=KZn6lyk3^B`};WY@B{Q4i6fO%-g{_HDAjQ3=ByUspPQ6 zY&^kuV(U$OIL=wbZz1_ip2jfS7g2~1+gP*{JJ@4mV2Uv!bI8j7ZsgsQ0Q!yX6_<({ zRB>%f5;|b@BgWJWy1zmA%OTRpuaio-y)yeQ-H>V`2m>>k-rIu zSXmkWZW$sRC=Le(u6qhtnRvFLK9khu`e2VNgGhn7_q?oUD4p#(EQM)^6Zv<-SCU{! zJ`8L}sYFVEsxasI^(<{q00-)0b6udGjg=APJG7OSps;qVCu7)DDG>$sdz@^GfyVC4 zF7m=PCVyw#Hzc@k88@Gbv*4h zm-l>YBTqfeRL38K*M;>alHQ!{%j%Sg=uHCufW}PEiG3+MA}kZk4u3)QC-o4HF?xd8 zJ$Y4Qh=Hw`0L9j2?zy76h%^|3;lpWAsj|wM{ZH2|kUejR9uccPRf0BP=C>*xEXDxZ zb!cE^#v3pp$O8Rom_~NOU8U#uK5motZev?}Pt}>%%-qA^acihN@yS0dJ#bPKl&@~T zTg}Vjb-{1SJXiv9j*&`n?pu3;A6YtAi>6T@KAl}kNuzNeiM?IRX%z#NQ!(i*&njIz$97VN=V#fpZLp{psU z``_*H{>Q!}Y3E8$4EWsBHFqAA3^0ue{h693FS@a(ILm1A^b`aY)7PrC|$>?WHm#jEq1kr^&{MkxqLUx(Hg3M^G>9-w^=@erAUc zPOrr-+@L3*@j38)@MBnVGg_~l4X}684OqKr`xI%> z`APc|+?G(DNn`Upxsy+mD)DKw!cWG%M!c+7x`LTJu?B6*?Czw|{hkl%Qz)0k#-d(+ zpl?WlTbZ!4?y=W&J|mXkkESgB7TeiQY=^ob4xg^#Ha@?3Zc?d70gi`6y5q*J(>qRjac@5eacDjbl_$jzP#`)-^Re|M2c#axgjz4I!<;K-_Y)gup1b=Mt8;q;uS|Pv z%fI-zp0YlWbQat>hZX^>2IZ^#lyr$tC9gX6l7Aby>&y>pY#pd$^~(bA~-UW3H@+UH_19t zV}nPfvOY5RFT2<3PXHsM7K@kB@G6lhak6NHZYfLu#hzBMLGadkfmu*cefkeWF$Qm! zx(ssn`*sSQWghGGFJIjkJCsr+5kRO02G^t8k~FYSlkf-+q?KyuV<>%B{ZV8cP#`%!#+< zSO2=$zbkOD4)KfKuopQE0!fSs&OBDp*pUUvd{SG*$MBF%2Y0BTZ2SL z6rjG!dc<-(^8#j)E>x6VsAV7a-e%=seei*`l#U#q$KD#F?39b;?IlV1){q`al6?~l+KE|(b0TUJFU*;ZF?|aKkqn!wGJZiCojo9#H z&(b|(Y_jnqfHqfYhOE-r#tD+Zjf?#ukD9gM*IaEj8W6uB{8HTnGLr;v^qLZTg_Z`3 z71ao@xTkW-5-q#;)SR2$&2PJgu6HH8kkZ;bQ+!m>;S#%^+?W~jXq)XCeBBsy=Zu71 zP8V{X5=((h6~e2UAZ??}-djv#4(CTMwBbJGj_2HyzP>V*&)3$jrD(CHNLtd?OxLe; z&#kxG4seH=6TKUS<=>03RO&%@Sa~{6+ior`4_bh$-n(-Y`Dx>E|6sNx?Fl?@6F zv{P_+m8B%lgvPN9^Okl@( zPNRFU75MAQSViA28cZl}%{=j-b1~j*MCf#&zJjnk23FaW{+&qCeoOF7`zaiT2W%{8 zD|KN-{c*sDx15)xa`7Ecn(AmHi~{YTR9I}7V3O1PzP_5Y)J2~Y%$jMG-tKa-ov5ff z(?+A_@CYlSqk1tSKxv*9DQi$m^y2$R{dSmL)trEVI6_)=Y7+L+Nqv(+Eo+Xqt?7L? z%;ck`+BSI5T3pS1xW5SeHcmcS06;YLk$t=c3eapT{HNwj#rDK>jd3_SO=#zLvoPWN# z)@4jLS!g0N%SG`mxCta(pc`6K_%NM5;-bf$>R5$F^Hjt9Duoli1?Tjc8OT%}JTp3b zO328iD%*aZf3G;KM32J#$heVRF>>Hph#g2s)BnYS1aIys&+gW?I8feBEr(r$FE14I zEL`8v(#xH6JCU%GT^E~jVNoiD3cUrTAb+{4)*i>;(CN9oC%}7ES25O!h=nKVIQEdy z=qqhD2B2PxNOnP#Dj9qT0oCtJ+gz}707vU>`OuyTAS>00h)qTk=`1qKGg` z0t7w&V*7@`;pLy}2WIuIUgr5&^cn?heF{q1m?8-C zl$4-z3T0n=ToqqZ6;p5Vr$1ISR%IPz-B!40+R)FrXs+_g1Xvo*xB4g__6$S>gc%8Ep6iQ>qg9G^}X#q z6*s7+x^dmks&l-^_y_mgbi_56a3*JNGkeVKeG5Y4D_hrrj&e1rVOZ$Ui)8d1K$-k~jEbt~m%DD=#X6by z*6?(1^McqtpgbZ+=bT#>nt0e*Fz@CT6f5;M#o!m+G92chk^R+qqR@~kBj?T5K6^8c zBLoRm!(x)wmbddP*V<)ye}-DmJ&@HmZNa2nai1ndaRsmcn{BeoFLp1}Ry*GrJOgLo zcw+aOmYl<*4&^df3nF#z9bxOev!D7_gFiX%+=)>dh}{W?5%yL*al*YYtZF~QlsAg^ z+fw)n&?$?{)ygsp_jY4pdcr{TY1frhnOYT>s7d3Ria#$EM^a%BIc;}G;0&R@_%dSs z>fPEDVz)S~Xphs^_5mBMBBwZcP+dm{V<3Q6y_MH!*14q<>pzKoo3vZX30^6ssi0y} z#WLvwJpUY*EXN{VjDS5-YghG}h{Wao$|PwwRo)(FwZ~a}@nfe)m`aP)kkyK%sNZ0z zSTBr>dqm_wu1r=Ket9f)3>Q?h8oealJvP-yn*GKhGP>w|cEwfKE|&t%3U+P3`WP}| zpNO0qCZl5idN;@i5)?ir;6^P?QsVnHK3GJ3tR91=652 z&@yzeI;~D<%zE!V$4((a*?!ShW4?basd&@SR!i8T){lEgpInt%B7j>|T|jfdxHk0m zYTo3|@N+<}WvVB$D{kIp5i_;=6-$*lqg!esA4vjwhd8M7_qKV>ahD9A_{YN#5k700 z{kFt(ew)@`q5Gu=(nVkH#U^ASe$S{v;890=he~@&aJD~8T>R9#PJcH;ENyCQtc@u* z-C;|36g91|?`%H7RW2g9jcr2HNX9bCVH@{;`C=QJ51G%d`Iswz?$uZHfz8MklLABm zxwO80gh@3fPa?OC$y0uEyXK3O;M3&O)JxU8ey<%K z;fcq&8b!`MQ;#OZyo!sWd%YcA;1aKTy3CN8n)L0_bdv7zWrH_6bpV~(VO9L@?_^s` zLonn)8>SAY%Q~?&3S^D$$SQIL5Dm>1sT_pRG*uJT=}hH5lD}*j!y0Xg@Nu|00HT9t z6M@-Gu$a$yTtp#Nj;hT~LYGa;q~4?tKpTr5YE;)v)Sp4FdV7%j{^BTanK&pAL&6vY z-yAw#;Agv7bNz{UP9rfZmpJVgDJ|&QzRW(fftHJ;^-=Y!iHsA`Z%(-kK;3!oOM5V1 z?I`RfjI$g2)x&CT8_#3tt($2vUSmd1jZY&R-CwijUb6{3dW{Lkx#>Bww&!2JSD4s; zf^sV=HZ=yXQ9kM9I9MvM-8`0hx8wJUrZzSGymw;Kj@_IQ{gFfuF|TrOf74DfmGDLJ~$&p=2!H^XiZX9R}h)X3S~{sAR@6$J@!m^=f~| z4k~MPPoSyg++=-Q()9U3KOccOLOdHQz-ndzRGUfm^k`{Z>@ky4nY5t=!$iwC$W#9jB6YR zg)mCizfM3|h|$*oO}Sf1D~B^za`81bgo}-4yi~yD;5!1==doshs_0DslZD$eMR#KX|HQnYi>{RTMGT&)aaw5_ARHcXv>pT9lO#^N9e!DICjXeO6x zjmytwnzn;7}P^gpb zkgvvPIPR2g(ptz@-bMVkNoky|YnZSR6&OAo^QfBcBfEwAU_}2-sf9bsh5`ElwiP&we zK2_f@%Keq~)q+<9?bVu~Jl&*{IU|cStkhGUW0*CnD27=q53lCbx~R+LinUfKS{rO7 zG<1Y(>aq5QW#&r(%uQ)HiL!QF{)mRD3q$YL(od~gQAj=Yc48?JO0s+>=_z_Sv6=^2 zeS6#(rsEnrlwG@Cwt_7nH{JJP(c~^vBu`2@i{j~sBcg>U7%p~c@ZkpE`RsW03nWlg zyYxRaM=KL3dP{#G$f$OjtN6cd(LdTlEzMZ<-*$otv=j}5`M;z^=wwX)!+kIlF|%;| zPw{^#i&)s082>jB;>D|KL+DUvnn)>=;9cbrjLqT>ZL+mgH^(;KYh^x(&0-P#L%5(g zv6z;OPMBJ+L=;)Cg`O@=TAQ@Izxuv3G0S_(v4bw}>GQ?^(B*La?xT9@>E$zbX6726 zv6yMbau{2TQ3PgW7{=4vi|P0CH)IMNvpYJtj{;7RtX=>N4P{|CJiln~PY@PXG;u5( zTshh9L8rfP>PLjqpQ-FAg|3j&_T8xH7vfJ{v#2^l;;X#Z3v;rQ{wzJaaRu|{@X)ryw0FsHU%kTL_VB08I zf|$VEkMCCklixh&oH|+&E-4Y7oD1iU3%cde>OBzyKv8}W5Mrc#6maNuvRpT@@v^3d zIhVqIGv*C-svb5iP?U^By=FogjUsVcnfsX8GvWu33VAX9Z1Mif;zlJAOy|teHZcU{56>LDhBW?Uog?~=_nkMlHFOCR^(v3qK)XfaCP(bIiZb?JLWSr+sOOO_ z$GZ=p*+elI@s8+4(M@cZtEkG2m_i072$Azp90U|BD>uYo0M@t zpW&Bb(95JFO8%G%*^aXlbWCdbAy9sF$QwKpPl98-u@P1m|M`1fZ>;wCMeXyg#4QsZzxQqQeUQW{~v9%yBLZ z5 zQ4zU#F?Q=Q-SeS#??xGGKZzTZzq~=@=tCOvCWC|b$-aN>;bLaf6J(>=2S=p>Klh%G z#%hPJV2*urS{w>5E@q0+L`+BwEh8Ev3pCR~U0lZIuZT^|YwAy&dKIq6w0+~gK}r8K zhVpBfNms*Ny0jmzk$2(tED~29O1!tIu9pjcLx|{3#GSB~!Fxiq7H$q>o-9o}B@pJ* zt0tavHzP{dGISiG+AnHPJNl#g)DaE}E^246I;Uti0OVv7;@D9z$~E!0UV6x^Hm4(~6Y@C$ABE9Xc6!}C zUt|k=d?)t;!40skn>7zPU!>M^-MeB9kiODI#2A+3mmLZ~{T`F?r|D_Nz1Q2Kx*bI= z*cI(oEiLqHoMM@KbghFKRq>$(4dgF-qz#~7ug*WhhO+Os?;d2^P(`h%4~E*6V|lx^ ztBtYoxGGUN4pa<|?UxlW`8Q#RdNqxGar9A_SNoA%k<0r4PvmiBp$NMjkqia?Hbw39 z1l%WicEjFH6oCbAvU4ZhN{dP~oiF&hhKCPqp`{ z5yDv>WH(-j&Jd{bDN1`hKIW42+3@KLky@Bob>SG&*V$M4r@OIT9<%2AfGXO6FAjnH zBjO+A)|E)8pt;~o&w8+^RK?dDN&6t~{_rd7gxh9;rMVsw%`_@!u8%(MLA+^|T$kxN zso2_W(amY<5H=5(HH{!d6(C4RwR}`w+BlH+zg|h{5M!p>LV`aQtnQ zroLIBk`wzNr?7t?Hx#Z}wg7wLn3P|{s}-N%Z>}fz^q|wB+9V8BnRBS+5MEY$DaGHU zQ$NGJ;W9IEm-Ox>e-)-)FLOGCKpyMUbkVGv!ls*WBwxULUwrd_DIsR2C zZ{1k&i+LBb>B#*Jw&YwEqFF&wjgsIjqu!zZUg{i$f0*9o5`bn;PKn>DUFFPk)U&Cq zdzozsDdzyzWLj3F$GTc8t-WN@>ccp-E}5ITHF%t}#9Lo#^y)UUyQ694aPu@8_Kf`` zy4-XSPk8Mb9v^-^wszVP^pWLSt1YzWTP+FoxRgvBzjKy6W)5zi;%ifwjCv$Qm*CO( zu`K7(CZ(yF4{VZ9=-)%a51*$bVQ;Wfo188$?`8tuigTXUQrg~qrEE$DayV{xV28T= zFl@;9H0PhH!o|C9dd-4L2QzP{%Xp$z`{+liT-FvCfp__j2;8@$c?|?P>S@YGaG@U| zE0`s_qj6o>o&VC02wY|SDi-y6yEwBxBd4NTH=BY`n|!ezy6yE?$ggBIU)8h7thR0G zk);5)#!ETPqzoh{9+yJm;<4K}dzOcTRrf_6U7ftBpShUF=GvB4_HR=&8v-(_?&6Nh z7@lk7hSKT@Qg7@RH{_B%$#noyuJ4PmMnb5mBPq!y@#~`E+5?`f(t*@jg7A<;#~E8D zb8;3pKfMWt{rr}aU#D2n?fvnf1xLNM2Fjgql1CO`1 zDn9SP0IS|{g3C+B!mtd5aQ2nG=HeM;kPyrLsBA{xr#K1msIisW0cagKQ1o%PbgBnl zHLvGhC2t$~bUI2)9iI#Osj28VkYqV&m_^(g@JRIqf5^=9u{dlgk&6?qJJ%Nu{{UV( zhl2n7G3g?7=uEo1EO5+NTrfD(P_4&>@4OG{2+Oosk&Z1Mb_bFb^P4QhXRo+6D~2=T zxi@?gc@Q>H6_g-qe`xHO4NJdv7 zAn@sO61dbq6qw1&)Uh-|Shll>5dk;9rI9qX(BDbgDjJV83E;7`DQEQNpIL_APLq2r71CqowTWS%3he&mOp0hEjGCGFR3= zZYIdegw~RXR~|LYdqz&OEps_Px-ZIg_eaP-eh40A8y!Bam z;|+A*8i6*%)B35+&ueulk!J^x>V@ zsEI%j=5-tKF$9)8U}S*KZe!J3pn$IDGN`gbe_L{Vm(TmGmi`_h0{ll<*aMUu{uAef z#^H=xUg)OYyzs{Co2W^vXO{s(*m|Byg-q(26uOzxY0UDkKDIy%%hK8kJZ)9o1lGGlN?o-s9Vw?r;whDd*7de*$0tWPR5DpF&0M2>DGDU}R;G%PT zSYfDS$x&Q%1yo_XM2Xj(jL`|kXPlUYP$#kqaN9ZJhK6{4ZT68GU6k9m=TS1snZ5S!9 z-eddHqikmsjRKD0Sx4yu?FZvlMLw5;`BYSUX#XFNTm&-g!^nwd7v~1Z8prjLSSk@uX{dJ>{<}>CWoApO3j{%J@lXZ*gau)3aW@40`yG;lnURf|nK4bk3>5eO6h>yC zVOU(u4B}SKF0TJvUjNf860vZx|0lJ)Nn6KdjdRxTsrHXay$Z%7}sX_ zD&l)QjMaQ|307Cwq~hF?BrJ=}C*N5Ty2%<=2_(zXA6f_bD5UJuTOhV#!QpHHUf3Uu zG+L?z%2S0!SAU9;=EE%orMxwXehTDsnJR}+6*KVRP#a5Tio@#m(pohNgY{`D#7L$Z zg%jP>wGtA=B-XI1NdL=3_{}fFol524L>OvhNGU^`VHl5`PsvbDGY5erDO=TbKaNbC zsEQ}ZQVi;t91aO{hl7sZml)FvKuJ@Y;~lCqE_!NK2AimZQ0JS#cc*+KPo+)#c^y>K zuNMeN;~c8GLc;v!3DQCD?+U zmX6S6Si&7YSie0SrTv#LGJz$(S{w|9Dgt}mau{@Uvv2*$im1-M9IPUhH#Tl z|A@}^8xbKNbbX7`8+kPh!GiA{*DU{pf?}{CDjP;H8OKGTU9q>Lp`Yjo+HX zs3mCAvgzdW%}(q=Dt*Ry5idk8$8+v=O9Tg6RGHxe%Ur82E;SU>Bq^Mn4rdr`A+XAp z{-R?nShqt4lu05KSEBjQWoF#YIpfDEBGV5jaiB|2EKDTle-CFZa)i#tqUP?Wo_-x- z-PhNToW)n&gS=o-MTAFLa|RMB;u3*C*3F=+MMft##fO37S+!USV?OUP9#U$`g*Tg?1pSvClOa2_@<@7`&ulDXz?a(NH*NGPcdtP0z z8l^Bb^*eBPw%R)HK=?UqV2MjFUi2C>>Fi_zuyh`qa$r2M{JgtH7r;&xQ{L$OGx{g% zM`?(1#!NZ--Tu4vs}u8INAS{EL^*h{llFSUAzQucxq^(vXR4f{tc6e7!10&;HMF@d z278GE-^V0Ap6(2Py4<^#hAiVyvU-b&f5RFQ-`<>@BsimrNT?Z&ONDsp-00m(kGI24 z0gNqC!y`()=YG~k7kn0xG|C`H#zAs;9G&0PDCKqFy9k_ECiduPC*$xxJ7{4{snNst zA-W6hN+A?O`8g-88IgwEelrrYaTaowQ>Dc&BALkIktK2S5&rIX3Jw&+4B_kzTm$#s zH=^QqIVqfspLGs#u{aDC5jmmd&e&_T2bkwssvZK7lu~iDO_(OnkwGXJHb1@n7u{A~ zLZSW?po0j;VO1n`+us;mjeUufpF&-Gqk~X4lMtQCe;0k|hg$CZ^8n>&gN$^sM`8$@ z-31k18WBMGH44QjnLO-+;Tt#HkG$W@E(<5pEqtmbzn@#25Q!n(gd^57xXO0x30!A5 zQ6r+^hzhnq`fYxk?H-KaYF~|5audj5csR6_DjfVJe{^lISkB>FTX!n#%UM2<_aydU zudbQG^HyIniAA}+8D9xEP2-?O&qQ~4HyFW9*-1_uiq5^+NxCf)*2@RuV;WDHN_MA; znQh=OrL>5j36`Z=Ad2Gg?JTWF0@Og}S;-pz96J>Tsqiw^i^@jy87%aPk9ISYsYNl2 zI*=cz;h;zbM1G?tr8KhE(pWV`f(qshGp&f%gqQy!M#oi8PxeUQ%oy~OQ!p;C`NNc& z8|W?FSxlpZM3p4tP)8d!;7!3CldJjs zp79IDDeKf#1$!COI_PeB1B_u0hL3TGhZBa6MJo$4vI;L>?UtJ-#~yh#n|bffPF`Hu z0B~cXFFQKpN<8qRR3|#D0bX8X`AyCB9tvFaQJ+rFUUY2F_+OXSFAj7pSNM_%eDG)Y zc1=Amtz5qf4EXB$X5~fOJ7k?Lf%2ZU;;OQA8|YJdZ&OjEDoh zI!n;=?PTxhj)4s-r2vsQANAw}&&F}H!5BK=%$fff9b);=XCcl?5h+WF^MK)5;F;#1 zqV5j%ljf^m;BM>r0ZrzJqjP)f`JxJIG76jU2DtmWc2Y`x&)o__o5S`0^6R(QD(l4C z5C$f{wgpy~CEEZB_A~~8kG*#lNZb~D93`+I-X~YX#x1yUGm9VIQz4zNp1$r*t6GxF z1J2r!{qA@BC7w-QR20{jW<#|p3>5p4o{pP$nHw&38bcPfu?f!fTMAd9h+z#g`;GTw z+4mm#+^ASA;syr zuX&oL3Vt$!>n|GfIRrs}g#dkBf*#MOHjv{V#M3TOBCmYv$~)65yPx0rH|++?K#8i| zJ1Jk@<4#^zALT3@x_!Mq9u3&$1l~K}xbf2vE$)XARD{zg6FLp(kU9b0rHNEu_sQC4 zNA|2wr#rw+*Nah4ZK9Sj8cT_`O-Yp_(wb+lXryK4yN|B43%b%}=+lAk=oQA^%d!7^ zl0xKKBUSRA(M!%$q{H5>MBB4AhRZ6UKZE&!<2r=uMHZMqcenS$ZUyYINOD1V0v_=LQ!nfoo2OT|iq(mTmZo^rQuZ)X*|_ch7ILmF+Xd0*L zrYZ2N8PXd&P=ONj#>cxdWY3d^#O{Vi4jmmeT{{#$sQ{JcSC;yH@4qREEO@f*$kAX@ z1OFZcYwF#qnW&-6@G;3^>#uC^zS`rbfS6tdfn+7~r$b4rQ1@q0-e*&1Ad7-@kbJrPzTb`jfW4Ta+(8gMCDNMbk6i-whB~Iq0Tt zw*XgWiVF-9M5+PY89UUwl`G4aekn(`WNjdA*LcI;`aH9ZgxY$G)Pt?CBCTEGwyKFL zqhHZHNwjw>-o=`!H@jC)J@f^c{3{hXpRVSkoU`9j1RW#aNU0u~;1qS!VP~pRcrQSv zSm%)J6RgD3Jku@bchnS6?{1a|L`rqpRXYf8Y4JDij#t@2#icv@SZ$U`A5YNh$S2S| zLM(_7g-fJ2G$CD@%uI0&7t;V$&hqgcRRvFhqlX~`C8ri?bKqT@B+q9vav3ZAEb3hf ze=ArAD*`oB1T-HykSqO>4Hr-qrGf4R54F{Uw~5mVsS;~$jRqN#)2r8Z@3+VWhovg` z$xN~Ny*5R}qqkEB%)1*)P#2WUDq`-ykqWA_K-mqmVEpg}hY5TW6S){~GPf{~hFuSD zMCTCK1u2f4{$}}7;}zTrzp67t#hx(FXl>iGZ>4O1GQl6Rg0KYbu!!84jezQ;DxQ<+ zOVL_?`ZBvKju?38zpwahFn{|HLfd;4Js7LPr29^r(2pTR=$hS>>EIr4LMwU|+p57D z8FgC(*|4aa+yXFit>G0GwyFA>K~DY3asJ#x#=|>0qdKZl)Gd~S$VXP|+k#kVLzgm9 zaH)FWovx~|4!2jMHU^}e?Eo`at>r$ab3YSfh0Gq$ZN2@Tjrg-C@)}O%#2?S`AkzYU zbM++*py%)I^MHo=hVrl!$wXn%bm*r4q{!Zy|GqSK$3d^FnDFngvFnaCr*9ryhr+ z=+=`Elj!oj^C{EE?7N=f^gTbiX-js1#Tc5&2uA%bAj>D?TtbOvEOjstK~j|vOq5UC z+F_hQnRaWkx{jLJu-rUQDoXMQSBGYDjlM{*WTx`d5M@?l=%lSVnSS5^EuyLTaCj32 z6?hB@kgs-w^c{T)2>=wwx{(-9H$_Ko#GgXaH=etZ8gy1LjUP|tZqOrT;<>Ha;;k^% zAM9%ymoEe0bCll3$L{5U7H=;6!oPW&i#q-)lB_(h)IRa385N0KGOKBGSw8{VsDn#| zzfn6=C!k_GgmZHzo=zNIdAUcb9^DvwiO;`V``Ykh5Z}*_C2>jy|E=_5ztelV7|4gL zkjL4j&b~knh8HdWtJy~bVM|kY10?|1^%zvFyv_dcz3dDcI!r_?L`-@N$_@^$|GxYq zeukv3MXK>NnYPc4~mJBY^_|)r6KD0P9(%SYn9X z8a#AR4o6#7T!~ez3!<((E0mqD3$Cs*s|cr917btP#rjIM6!?&wjpvt)`$t?Fe_Eyu z+7{x#zKytRTAhO?Y4tBZ0qubjj}ZE?(;3}Ds_dmv6r zR+090=lnNoma8tHlY1HtXM=oe*aq|>f8au0UZ2Ji%tuh7`C0?EqnCdg{4oeD{~N+j zdq*fd2nj(%PMFxhJ;B<=6L%k3iaSH4z*Sh*IRBQ8yV_DE%kH2IjtER{hwpH08#Kd3 z1^H>)x6=or43>2BDYIVS(d~SrXU|NGlNjxYel1bk%q7Zz@504NG`j&9Ds6fhq*{9# zsrcl@0%VFQucTA_E>VY&dl0Kw#99Z)1xZzbA<9<Cy=S)KJ(Mn` z<2cE%c6<{hB#g$UT|4=klf1x^oz}fM>lTru(g{0HV)dkdVw%|L5+c&W(X$u_T!9ttIf(%4kAEJI>nzo%w+05~>Pvww z=_aq!PwItBE6?sD1cjxt;&6SWJR<(yZ4)%c&gs0rtz~a{4F$aP&0oz@VVh}|o}dJ< QY%HAYFl1z63gR&T3#5v=F9ve{~&+Q6wdhg5HF zG_6f{mt2O)=WTt|B*T8GABle((q&ZlUg+2IY}21x+%o1>m{(CA0oB8aV7z_~v!cZ( z>n=-csk!acg(qGFTU>>$k}OnFMQAygitz45r@fw(w=$mb9Z^~E0w^@l0xwSmFOXs(;zjj%De>4WViHH_%Bz1(9fR7Z0K-*~ zY3+q1H?wF*cfDU&?gA7og>hy9ly*ogHUXlY7RhP7**yP}WG0Fpr};l%M_Qh@3+!Bm zB=gqAw`7-zDUa;3BSP9&AOt-Ka&Cc;Za~Q0G%@1H^k|8fPPwVc^+-y^{0Jb($DFkw z7OhB_nM9jJqEi9eWRZW_v|oWanrVt08r4!a>Mt&v=@L8&wtMEeKLF!hj^9ZkVSfDV zkO>Q+#P<<~LKA&U+sxG%p}CEmDtLtRUz|oRJ9hC%#KBQIEjRBu(PXANB$N_+1E=j$ zJO`Y))K{m4Pn!Xn+r60$&7R#JqGnjD5;yI#+v{^qLpJ4|X7PUlU^ADMRG67Q4q0yW zhG8Y?(Kx%V*JIO>p&ZM{-+ zH(A)!qQ_zH29!`TUjY<_u?3q0rM;7<<87XvSJ{lVGICeK)tvMt_}MPrIk`&4lkw9Nvk7iX0RuHQF_RH$C4aRX$&M?x@&3L-$C<-0WO0ut0yJ-=1j#LU z2LrZmfsG)@J)fWAUL>2{tvme!K9?pTF?@{P_0e4-X|TpqO=*>&v%a zF9N^e_-|n~6WUyibIgaY{(brBox4weeG{DXch0508i`MhAGNr?+5F$?Gd~^v-GA^; z;U9$e*Ei5%C;mIW(eYW|!ZkkCqpZgjxL>Puj#g!5{5Gu8*I&N<^-BR+3eLENi_xBO zVKc}aUvp(}zocj7+f6!2>k5U>(BEfl^ex_pG*cI$m{bNR$(&+di;G5zfzP-5$5-6^ zz~@IL9A4qA#y^>#ke=ofpAT{cM}NxWKk*L6VYtRf=B2Ax1};P_uWwR`_Y5&_w3iCr z8zs}4Km*OociI%X_7u~)qdD2Dd{|lc>*u5)pObHhx0$peeook!_i_aSb)+Ii-uoBz=v;4MkikNnDr&VH0@N_qxb_K^Pb7*eG)v*2b>E5mIS+sb7<(*Iey7U7kK zIhA1jONJG32qMUZpc}jjhD=M%fU5yHzj=kXO!5ATpAqWUUAP1n%%IZIT|e&MBZOdD z+VLXsdSs7$0Ve=lD08J0iw|Mh?`#JkfOK$DlNV zQ>~$lz)w+!1c?}YmT?l1sBBIx@nQ9|o?@8$5RGohIE`oaWq({?WFL9EMe;T66rgSh zKhiD*W9B>L_^i<>+QU7w>XaB~KaJ`sa`N{g4*ax3Re}DFGmaXV_p0A^=&4b~oSUv% zNpaognbZBY_c68XI8oElwFGOLl;jP*h3v|7dFu%o11TBW(gi`bF#{zT1{))0{Bt8= zUgLR2;wZWY0e?3-te`6AMNVpkn9E-1U|$p@rur~mb1Zcd?Yc7VDXEhdiEQ9msgn-l zaVh@qQitJ;D=%+}n=x%o;)Z}>PS9fGpgzhQCQxcJM4FA9jCQ)_8hSe^FC>vAqm(se$y?Hkh@@<3cBlZY?fSn5GF zE6wC5`D;@I*>ONlOq7dyN~vmf*>JjlJLAof5I4OoR}Nx^QzD@`am)UJ`wq0|Zf-5# zrc_?lD(c+=Rn&qRFCU8)qz+{3buEw#@=>lPa+b<)D`#3^00oSr*bXr8TTZ%UtKwaA zxhBh^p?{JY@ooaG=Eyk9$5gqPvV*jDzhKilYy9NiThS<=PzaKVQsp4==q(ni2rYNT zWhfRZY|FVw5RzX;6=XhD!6}boeIUhdE|n-Nd@=t+4%gl;a%+jC{ms;t3U90&riQ?q=Jv_ zA%Byxc2!Lj)RJlCPR3Ug-!46s-n8^&T|TewY}3dpcZOAI*S=I22cH41hK<*%Bi}9K z@}0VTgaP_md%CBy1YO$K-y3T`Q0yh2NUE}$yPagQ#x#mIQ&6I*fzwW6ZlP#&mpJV* zmc_i3XsV^at|Yy;EgM%?Oy&AQCQrXL^nYGjl&{uVmir6sx;$Yl{TpgqTLF2?2|8j^ zsgtF6Q#TmDaYTS`#Ga4gmU5Hx+_-(+<&n}3U7q2P*5#QQtd+y)AH(?C1|>nooA9ph z_~bW17KQic-GlI!I^fTdQRO&1cr#EVK;uG8i_8SIYQ8QK>XQf*G5HyRAsWiiB!Aa` zXad1n22PD2L|Nm0(SXVbX5T;3QGF#IOIONgsmN=}i9{m;-JdO$=DS^6IZ1Qa^|2|h z8$KFi9O9(Lih(1Mp2)FepSD4Afju*0^mE!jp!`4;F3p6trNSwkh z)j_EzU8!qY^p}IHs`{$0we93lV}GH(2A(wP*%WwPd;gwkV+XqIOMEi0OF^zjYsbWR zaI%?d)ktkYCvlW%`36KSRPJ*~J(}cdfm7sKGe=LN#?O_D0?&-LlLRW+Wg_aiOr)Y@ zax|+t!AYNJgm|OH*J7Mw{BLqF4x`B_esJUDWA+x5iukKca?@gf;jBm2`+v{!tvte^ z`L!bQZm=@l%2M$iv)^{>xOy@0QaCFN6Wn!85z}+6$W(FpSuC5cFQ$n5DMmkGHS2!= zxRH3mKR&p*L;du1w?$G}hXw234bXTCd+>&Keb5vf3KHQ?UV^Ij~bn--lHEf}q z9DG!NMDZ;L&0dUuh3vMz{OfgDP-^=;bJ9#uKik;Ud}R%WfMrz>227#l0RPWi%7dD4 z?4m=z?N6_7VBO14uZI&UPV~fn`OiUt+%O(?NOX0+?<_70-JDrB0Dt(y>zgp<<&WWE z)1!X+AwB-HJ47J8V4!`3M1dQ)y&#o0Oj_SV^2_U?!YB?*C>SN=uztSpHkF^VMrwt^=UPrBBkoKzx;aCE5jJl`F_v7$Os`3;&2TQke?A5AuL(} z)8F#lA|sSz5ERU!*neB!i_D5fS~7{pb&&k_`lghreIc_z!fMnm=(qlTA3{vwjSmdf z%!n+Y|2UrhaSjtiGs;067mP`#?lO@wb8=u!4Kv(4!)TDeoD$D48l+{~%HNsMU|cj( zTYTOb;ISy$AV(?=O&}?9StFH_AAPYIQve$1l_;pj4*mNQmVfbser%}W38kOmh2ki; z?ip67(DEF`^}AW2B#LIR7tirRDa_mroa4n#wIcCjFrafZ(99|Nv>-hpiYeB#FC^7o z%t7{6RT_{3nDUILo|*iSB96PztzAH{xDiPXZo=caPW-8?rp4w4)xi#x(Rz9;1>E-U ziatrns{Ml^N5=O6$=$#ke##xP~i#XlO*n9Kf>?~i}b zRd65SkZ{hI$?&59-U|l$vi;G45Hbx^-6|{a14Z17WR{Akv}4Md=~g>+>UV(;?O8W# z!WrFDJ`94`XLV0wNF@L!-Fu7$ky1m0VCZ-)+DmtJqJK6U#sP$snl7_qVJS0IRRd-pW36CPlSgNe$qb=}3;>W{2z_=&v_gA}EZ)3m z!_xjw{eRN4O}MRzpgAd8HRJT68ArRYr^_e;;vnENWfZGv8O0v{1WLq?w;AtRmQgl( z9ANxWkK?%L0+`i^ki`vf92Z?`;ER}eYbUC~au}!XMDJt8L~s53;eW`6=v}2AL8!U8 z@x>t8E+-#-l-lf|?2h3|-qY;mZ^v;hhICR-%zvs%WBl3J%XX1ds`+nNr`UyS?f>2y z)+zTQCEY}<3W=p*V9UUuxts0PhzwwY->+^1Rn=> zx8xNWf#q6EI1Rr6{rzD@erb&OHeg+=^2jwSk@xm2*SghP7Mrvhy5F#_RcGl7a?d&q zMSne)XPly*#du!W4yQv-qozndl3`%9Ax^_jL$EW+3>o0lo#Uo`Doti^CXwnwv-?Qe zwJMRb<{_-=7sL>UhB}wA)gVbTHlt=_>A>w~A~<gYttHj1gMh1Wr zEX|!?L6Syd1W)x*zuudtz$3(5ogV;MhPH4pXI8YKaYFPdNjLD(eiIuK%7N8R;D0-@ z?eFIf{}8~Jq^lolAICq-tE#AVN>!1N#0(Q0%kc?Ce&Q*O9WhWtVZp4YB^0SDqcROA zr8d7CXRs=a+R!&O=Uo0@AXGQuyCTx@w0Svd8nEofHSWU#FbF&+;jM3Z-32MN`9Ov^LWO9jMGL!iqQ~#D+KjT3&^i{B$5 zW__8<(&rp3ydkYBPj2}CbDI-7cz{<>@3OI~tZ&NGG}e{5(y!UWl`$x@)phOmE++y9 zRlSxaY$u7;+t5Z;$CpbBlsDxDdj1Us(T397U%&qQcS=a527i_sEezR-3gv*;qpFb_N$F zZ%^3n?Bd|55p`wj`)XWz&jDAFHQ94Kkq zTa4*_LlmrBdrvh9%oCW7W~L!ffVQjs^i`HBXDRR-Ps8gdIbo_E*owMJWq9rL=lAhF z_5Sw77^avQgnM|KM(Fb;Y~P8Z1VTk+-@`IHZQrJAC%kIEGTE z2hQ$DqJIx$h7Q$A7~_YbGr_4c>8jxLjdUb9w^4%}2u~LBxaNj2R#@eCr23#+t8e=m zY}xB5N?}bM6OHho&ZskI`x+NOJ8g}d;Ia+1dMYhoyl{cD`uWc<>*cHzuv=|VT$)jC zbXXi!gB8Jev_-AP)za>9n=kVGGm_@z6t{pj(0@ffs-kAilNZq^cZZCKK}Z8Q0u>6b zmq+~eatd0qfuQUTHg&p?LW}7vN}fdvYCK=by7`bGY?2*1M4zvsK&asOkRM-8m8rrF zjP{)2({08T^?v((DxOST9ZQHim%Z!^w3$?!bsA|A6O911kc|a+_vz+uD=oB!;qB}S zwSSFYf{o%4+|Dp+M0Xy8&$XBTczE+QK8-E4} zNz&#!x7S83d<)&~KWx72{qyY$YU-pAjFQp4%jg6C$CcfE`}MbSAJX4dedzSW;(t?q z_4eyN@b}n_(H$tj9ct07FkmYtCcOC?XBb73C&>#hcXE8axqgAZMlDZ^GV?@g2&c-J zNX85)ljQAf3c4zOQhs~ORjvGg9A`DuIJ%1(VyXcYhwl*F1-< z*+P^zm2tS$MOp^KJCdzwIU>{DGs|$@gZq0jh6C%-5NYrivxRj}_arQFG55J+l2~n7 zH10PlvIQOW-mImwWKcc`3)C*DJI&`joKvtWAUPgNDVRu83I{}>`aad*^FeY?y2Y<^V@j!4%&X&dylTA?5i3@+r;Z~1yb;3%vDKIY%f>4uVHG4f<`@VA8= zM1$_Ac~nMK^thCLL`b!C=>DsRq%>t~wb92?dJx&70D&K9_v<-y3gbc@H|WM7XfD}W zV?3iYA960)S_c6bgMYFii+D~ObopQqp6?d~FsKn?cu3$<(!pANFlLSp1QDVcSo;09 zb>6`$^$>TQ!KmF0-02I=`GdZ)%rbhNKOS|jQ6qo8`0)JwLKtxG=>fo>rH1q6B8ULP zsBeoc5u?yL9BzqY{b=%8k{b16KjCe$!+2cp#?)ayr2c5`@_(UV8C06a4}!JGO&N50 zP+^Q%c6uHxm8`fMi1TetnTR_%z=SgAt0lV|+#@>%5)ZUL+A#+_2jzqs2>6F{N`Ou& zE&qu50D}Qev=5mNFb>~+*u_Cd4VQYz#{ocl=pJ)&z^1IAebjuQ{0r>{^Wpz#ffCyI zotj<{JfQ7W{(muoqn?pIJWOzu@N{ze0Kt>@WrO3;eOtN27WMRX<-|iuh)SqlkJB8t zp1i-8+>h&l@K8Ht#%ie{(7utAxmue6lcVpR%TSB(Oh=)NXTYyKA+*kb$_E09w6xcf z^?;@V-9fg@N+y$~^$5cwusM`36*z3GRK3>%M(*{J8h<^M)BrA_j2%mAj4{>BkmJ*R zP1550rkvW+MHV_a<5|5b(ybPaGP-d zp;07|17*jPr>$zL&Dhef+trx3HD)}A920R{hS1fNbOw5vH{Ot$q^U-r4BwSGdm>_V zgCekyRe#S$(95agZ7~DGHt+R?12xLsC4I-k-b`^rvZy@~+zOy-;^6FzH0K-(F!W2KGiOPLNcXynh9cOs+bz>MI@pV<473*z{4P`IU|cNSxvnhoaY;IUYh-q2By(P4IDRXyU7@|R z1Apzwq@ym{?k=|XwsiH2^7Mc#ill&cTf&mkj=a4c9D`C>zg^WmQCXbt%Gk;$>g;Eu z4mhdM(3(K)8x_?=1{>fpTxS&lA*zol*)D z;+04z71ih*FDG~ON}Q8k4Z|82(vm4w(S{FO)IO-~po9UpN}j7!Vi9-Ht#dFcr5Q1l zrz2mBLIS%L84zVtP7!@KmPKn@-zu9F3w!j`&}r&bTi(n;w+hr5n^)dz^V^n#Pk&}# zeZ9JTDz|}jE}8^EJy^r$sSMVz?JNQ{_y6dAYR+fiK8guW1Q=YDvG$z$-5NBtf!o!% z8}nh-ayRC&)6?Gm#ErA^`oZ=tJLk~UxBKWP!r^rmWwkllpw`i3a2Rg0=SB|y4y)@$`vCgnB4uHNe2 z>#gjYOKkGM7 z=+aI%9qS!}+LvZ`uCpE8D&VCgo8&SV#k%<`co;L5f4?_~W%b**b564N?Gi6^b9Lv=_Ro_g0HR(PoWz(Y;q$uGP9tPVKs zH{1ZF-Ix8{D$En)TVmiw$=eB1YF!2$sL_3hw#PW1B%p(X>M#;?lz*uM_c|OiBr6Ti z?2H~egs*iMOX_$MgMHYIJ2V}`WOD)++es5L=_kd%H#-jm33#NYZiouGHtV%pq};6J zr_;HyF)fj8B#G!XRdLnBY_PNKQ41;aCht*d2AjHudKb`XJ8PKSCTv$sU2V@M?opXt z*LSAQrMA?8)%K{2RDZj1H^S(NYxlaxcGtYw*6gC}i72~Kl=Uv1(UGagLB~7NMhqqO zv=8IP(z}6&Jd2`Cj^wPrx+g@a2X)}iNiVF5BeYjys-Yy*lFGQid-qq}rpZ(pwIkWi z?sd&F>WWAf+gG0M8m;!-P((fLMYX!-kJPDZ3LY|k?<$hPSH)0bvF3xJPyYn?qkZO%lmv*~Ux7UN!VPB1a`bJUV=cy}5 zMUonqazd6ilz&uM<4Wqv9ku_V6Uza7{*Rhhlk=XUkTYE9!wD5Euf96lN=_)Nccgfy zpV??6VJy@$p{d4OlRBlN$|{3muM9`>XN)ahFtm)lyXoM7-boSAmtdoRS=4elCyd># zxXN;-4m=wzANKdsi~0A(lEKfATvk*@D}oyY;M<}YOMhwv(+yxQ>b_KJ^&U{u=dx+= zT|1(5E}X_FVWOG~=MiWo6=4Bi=GS#?8E!c1!zj=>yz%j*>dtRR)>|r=C4Xs`j5*W{ zZIiGDr-P~@K+z9+BKj-z0IiLZFrwEIl7n)Zs?3?wCZlkzckjHjg|q{dxXi{^=HUCm z!&exjO@F@WV&NauAj&C$W`|6FLPQ2wYIBSnE|M_>`f;S)!Tlr;F@IYBbg95vp;txF;D@CrMHL`q^mO#|e=k1U zplt3$8y38+vC|kd04^4#sMWjwwP@VZBIKS)1(zyIwDQ7YC_`5G%Oc*=QaDuUWW@h0 z*1+i6V5~q!{PjXyXE2cAxc~I>MeFAr+WAiOcvy{ykI3j8*X2*w{1InBQGEXG|9=)8 zT^=Rg$ESdPkZrRVcN$IUkkW>R4f@0RGC}8Wl+Y1Bo%dHES{ms_NA&XdgYGI63O=Gz zaQ+z>BT*aaq+h*o^)og9%sP70No~wRFNL&vfP4xDQbwR?`hbc>4MDJ*55Sw!vk~WQ zYdHc&Xy}Na7Qwke?P2``GHpN#uwO99*FvNXK<=9-gKDCJh}F@GXpoXHKDMHB!lD(U zD=wD7;LCGTq>Zy|hBhI65CT`S!jw?8>7D}t!}um2}E00O@B z@$LB+mL_#kS^@|oZ6&_{c7K~>Xhp^gsZA}Tk_`IGGSUmwzLt5tJZY!v)@YdCW zKXnw;N;uURB|8eD7Pd9&GteZ4D`HFa*!}QyJSc(?2*uZ#FWL@-0w>5ZKI^VgjrhN1 zJNZ7tfRvSpbiz6IsRm)eTxF(WcRFfdUbjP__`&-maTtOh zE4i23gHjyygEV&ksRL|`u#V~jVjK_3+WkEr0z~^i{`#5~(HDK|NRZ`6iUh|vAEQl{ zf{Rj~s|jo^^ZF>}-?|*9vwGE=2fKaQY$jf$OX>A3*Gl?}aw`#k{rA`iOWPY?w?thQz zYsws2Lk$^h^t(~56wLPxY6r?%p>SC%ecsDm2S@B|)!!iLGwSVyNz^FJkm+2ejXM9o7 zb}*`!b%$^_DQngknA5LT_1A6EBV?-NbPpT@wiyR-g{2i&uv=JnZL@SzNQbqSWo50P zGCfB|t5Hc8$Sy?|XP+Hy_^>I|G3sS=e+t)hM~`v9htcmr6mv|59Dyo^cFLpp@U(3@ zGWVft0`#(NH-Gb<;PP46P0_k-I8xkBn+p2Wfiqk|dI1Mx;^mo^#oZRQ7^egplcg0! z=kt>ksG)W0@gTjwHqaaHz1nR zP5MRfC)S%W3=Cu&O=x;UmG4JAeBwdCbRJ92C*))@Sw_2~f$6028f(9>&E%7!U2Xmv zC%l|ZxQ?J*p^Wcz6<$4%Dx7XpA>LAmTHPuKje3~bF>_Oo?38KiT;2tc4;{)zW_(@< zE~>jS8h^8a##%&7;IuJcp`jXk!zc+Zi4zw8s3R z#;FF20>DKoVnafGIvz#3wT9Iwg{g7V5dNanlz(IC>kY+DsRAO(B#F6?&u>KRr+hx9 z`XVf;E035avOpX;3a=zum}d=~rtM_I8- zs(%CK3A0e362;UPOr>TO{(NUrvYZ~D%C{zmq(FxRj^vsXIgvf52Kl?>G#$S2uo^s@ z@*%AmX%hAGBpSOEJgvuhw84~=JwI1D;){?=CK656sHl_b=E|kRFMbFcb&-{xveHu) z#TW1DvUK2X2Aih#A^F`WCFULUASvhNSbxjYlrWw&&c7M8EL@ZC#+s7TUv+yf&lyX0 zJno`z3c4!{ry_w|VbrN|h^l1XL5P>;5}wM9d+%KGP%XS{ri41WrrnZ8eu0XKAk(Hv zQ7yoy!pFsk(L^lCW2(rBa>}>rac1G>Ov=%F$Ig#HRsj2}^c(M*(D@lblM&LI)=J%Q zE@og98hHy}?mlFt&@#76e}0S`4I2<54={F6Z-=Ah@80m{Z5&^`^jMWX2fjM%!#p%# z{H>Pvc%$S5da9&P&o}=9;sy~Smr-p26O)RTFaa@>5o#rW#aYR68#fTW^DA(SbHJd1 z#+GuqN|s8otFovp9URL#NE9tImPi#zRjhn{UJpk@4tG(L>VHuE=QC``o zf{IyXMaJW&C`Lt2S>qJ3;)s_~d3j38dki4ulj~TkLQcwh6>U&fbYM_c3H{Ef>`*zC zeO8VY*$|X}gI=3ixdi>56cg$gJ8WSHMj4hoeBhucB=p0jXfkZWv}NVR1#gvSan30p zQ3vq`K0!ZBS<0>x;D=4D0(^DWDTr8yBBEvtis<*8R5Yj)o*@?u0)W1d@eF;@;Td*f zuOy8~fG6n!@}9*X&>{pR6EyJ= zI!LI05k)gl_er|orO#!TM*~~~+YCS;SOexp7=Z*KG#CmN_R$O$*@3BGQ%MyS03aF( z4JehAa;Xz9SVVzlKqfl`Dg~hq!M_mUj<7q58IUSStN=VDmKW$rNgB{1X(b1XS!4lH zln@AHgOb>J{kk|Uejc6;izD^JxYwQZhl3w~wSD#GP3MQtE(ZMKXJgEP6jxG=rI<)D zlHyW|Zu#z2r>U;{_40nw8);h7_FjrXQ_)b0YbhRPDy8Vxy@PcYmi;}e2i@1L+q!jA z>+RMtl)aw~8>x@#*OR*S)OS!jKO6U0Bh#;2Px6NxJ!#rC*}RFzt7S7hU5`j)XjtwXu16L8x^yuTXu!=@**ktGt}>(+R^J8sFHRqcQvZMD(YMX{aXt6$>f*AFt3Lx@il633UNuF#&FS3Rbw=Dj2gz>z_%!^w zNvxY@p6|9KHms)cZ2Dg{Y1FTKAJ?saN^W(AdQE;0n|?M@@>?xmTKcOg|7~MPZpBPL zs`Y)TV;D4}S(pl2QZ~!{xJj=@PDf2*&Qd&CVAlFrmRFe_uxU7Pxx(tIh-aYOtarz? zxD0&VVHud0|I&=~>Gj}6Tv=Y%KGhMFF8tk`STC5fO()KA+%)QgDvtY;3;2M4uCvGc zUU71H(<=^#gGp~N8RNVpLdA#Pc=#~t_QrDZl^4JEuKSm7hu_bQocOcXHU^wtNvC`P z6(bDBSx7{us-MgiAOHA-WS662|u4?6jIsbhF27309irTDQN z*Fx2lbK2B$@$vVoKLIs_-{0YXlxC{eC!=Bav^O~~PL7U?v)=a!x)Ju_dK}^+4$#!C){fb>+&-bGcQJy+$q-rnRkVSJhnAzN$l2$Er?MJ>9e9E@4_%`l!-J zrM`6^xRZxWTw<(YSFM&?9oJ7^ppY5Fl+Z&g~iJ1bWF`C6+6HVVglx^CsKAMcXlG zkL7~`Yll-Vr=$bt4aP%jvy8pf1{}BW#pA%sLAXzAr&){nW|uU}tusvG$%FT7*9Ps{ zoMdcSC-7S)88{ACqBePx@fIf;6KN-x?^x7bgfBvSx50Lcn7fP#j>C&3qvcwfv9oxy z$@pxJ9i7XF?c4i*s&k24qo)_0QOGWS_Q>t~ey0?<$#3nLVwa97cK2fncJ!uW|LIo^ zIkV(@+TZsbK9^UD1tBLu+a@=irLt?$?!bgs!ylW1MV~?|gqpI!D zwv|Xm+g0!7FBx8*9$1sfRo4eW^u#^#%8Q??^6$^Sd1bR$(cOcz<5_ZM^sgcDDM!lkw9Nv%{U84+JtcH#d_JY9)WI8o7=myD{IdP`DFp zn^%!dKS6+IB^hu$nc?)k$c_y7_sy${Rb(Gp+rdmrEf!h#Np<<-qAq{=rrPuK>)W4R z&Rw)ytn=pb_4`GqA5{9kx+Q|X1P99+_2ugym%m+Ad_9y>uk`$R`=Qgvt5PO?^`9z+ zd-{9a45VcN(%*lY{`BpK0hQnQ`il?km$cfy*fT@8_BlTvx4(b=_1lPz4vPjqVe=qt ztZvxkGh*8>wsSt~-r3kIna~Gu; zNzSYnAI-8V*GN)!y@i;b&Zo0n$e&(Hfx7wh5mtKX^2>krWBTmw=?^kk`fl^8yb0tt z5jR`&8(n_STNH4c{vH*~J!w(?CEzz_8knwY;ogo*N4vFeeEU%lD+qL?@)H_j1zAAk zGGgVVXL~-{bIoVazEG$~Twd)2D9k`I@`3IrErN!0d#WTzYfV;FleZx5G?dEvJMkqm z%Oi`SelLITp=#u!w3k}xLtG31itrT4vU}kTeKU=IM4`O`WJO(s(kF>OyI9J1d|$Sk zbcL_>RiPqo-en%Hoh2EBB!?1J$V8t_@DmxVGlL`7)wOc7U>w@FLL=nQ>Op6tni5Y6 z$l7pt2x4B1n?P@px=V{GI_K3LB4dfrztA-+%QSyk=sJkh!xB^%sbh8kRdo^_D;{e} zYKWe%itI9jZCB)KC}dMv4!0+t=T#!eyrml`s@y9Ha<_g^N3c?wg7pfMcGk zu-AVv1jskyN+bgHHM4~{Sy!M2gXMf}=SbK4Il3BJ$h~&m_Qa#q)6gy}h}purKon-u zVXm>+kXR!cClOJI^++1xST-|ErlXGXAn{*O*8Hs*q-xj2t3b9X+Yy=l)Gs_H-k87o0YfOKQW-!oI9~tN>6p4`I{v3P{RKvj@cc2*O zI_l+2$KkRo)#^Hlg!I%m6|1W~Q=8Zs+uq&Oj3&wA zH>pzQ9b?G^s(8~S^aPBU_)F2`*kJ&=->Eig7?t&SLhX#pbrn|>5X!medxy^)(*hSDKn_gXKIbKfS}u3&g7&t!!aOzBtQ z!4R&s(#yK87l*s2dJstVk`{OvNL(L~E|NbSIT%F6hCsMwT=I z@$Kczww0(^p6jN=aY(ou9DLoBVz)Yy0?&SI&wdb0&k3882GsIaiaoUs+SY%;R;3wE zJZe7bAm#cMvy_1r`)u6>YfRU+LZV9*u2zFM&c>MFTj1n6(Y@%3E=XNA)37zv}0RFnEEulp`H zk^K-Bs|~UL=Q;ZYM6oh%`@4S(ok@R3u?hUnsdX@f1lzYTELo>KQ;{m))~jfWR40?_ zbkUJPhp2L4FS+#n_m2i+c3}MCf|fAopEI!oAg{j`xl9EIbY47=lnmv;Qe`(`W>~1- zVP{&Cm?XJ*tj5lSB!GVek+jVCxB2g^UTo6(UH(sHuY>M^c#jTssJBDmDu|uDs#S~8 zbR>2m4}9aCFO(js?LDcy^2DOFU%Yo@QO|SlFCdhu7E$d;<{fiJgdM8Lx<5w5h|P>q zqBTq|$=ZLd0=m4N;=8q+9oCNQ z$Zy_oZ%w;x7#oCUW1fK9V7HGUZ8)NDb)hTVNf)}Jv6m%V(cz*Ew^gXMLQUN2Emv6i zZNIYGX)LZa%y?$4AF}b7J0`Jq zYF>`Dcz5jR{d<3VzNWnv`zeO$0_`p`H79z2hOa3cuwx=GOaQEaI^p5}NR|85v!LT% zRtDZprTiJTx+O07l7wPt*sg92_9%G9EDKaJT|ZWCwdu6uwpq_q%<;yS%v_U9&YBA0 zbB|B{Gfzj|;6PnUADu^*$lg~iP#?p*%?M zTK7F0mu}EZJ3R;b>=cjBdQzml7H0M8( zqH8C-i<&m`nkQW4+a&9{W>3v3%$AyYF~;%J#EO6RMH%vV!SV+hRC>qmvmB~WJ=(NS z8?D|Omd=2wr#Ek8uYL*!M=aYl4+xT^&ACeMWjnPlCY(33*)roA5qg#S8n<+rK?r=DlxB5D+r(nV_BVb+=SY@Qe<%ntAShr^L!d@5BdMew@ zSwMfVrvV`^64QbmlqMI{59gH*cBJuoR39fuRDg{+E6F{HopIQ{Ph(fT=s@l!ku}{4 z>P|Q-n2wRNPffvDsdIMKO@ziPwQJ2xdr{wMb#Gv?p7w-PJMW$O-ce9z6T^l9XSkYd z7ANgW4fl+~JNJwfx-O1`7!-|3I*TOUxQl=FAw8*~W#QI>N1Hom&=Q)fFB4sUA z;`_c4FO6AkMxMlVRF88>AeiX+jQ8azYlxBgf=*UEB#V4U#0!r#@8~WjuH*EmZ;4&N z>hEf-a%{CA{1-&NeXGWTTU2m8Q5UzB^46aFeCXHeC{y)3Zx2-cg)1{{OZL;R8O485 zoG|vNXb;h@u5a(#^$ovA0U%btb)QZ`5K^K(X!!Z=%82!TZ@*q|?Cf`TeWfX%pKeud zG!(2;3m6a$g&r8t{r5)F?ltf{>e67Ri`UP7@%pn~w$4|llYpZSH(f4#Kl&B$^Q+lD zzn4?w-N}+kd4bn?hLYS5rb3B20sRR4`t~17dzXTf@zWFmG?Od3X#q8p`}HTYyt+vl z0XMS-)KdbJL2nb2Y}Q=?F_ZiCC$sU^_ZySR)(f-q@~Hv=Hj|z8T>&?<`}JE2llb)w zwPOM50Rb|XP67cy0e+W{0s$Zd+13mAmr-p269O~tOz3N5ryO4EUcvCJrfnktA)1(_`dIWe(HV$;LeJbot!s2 zEnd}WlHXGQrNP0S#`fzpDahZyPpgT+K7pM^2L*QBg0$h0i$Z;1xFtS;VLoARwi+|Zt5eT0K7l@=i~KuHTCv!F>5}Ge zdv%Ij8tw;U1cvwZS-Hd~IDBbPV5dca-km0nhL?VywE6jdt=(i;HUwC-%oBjLaP+GjxFHGBiFVH8vSF0&7YNtU12B`bsRl}}>+4XgHeS=+xub(4ToT@m=qr#XjS_eFDRmhOgq_zZRSu*NS_NbLZM}9k?!BSFRh^o$JB9 z%Jt-WalN^|TtBWqH-H<+sW}Zdn0uWY!VTj_a_@2PbECM?+!$^wH;x;B&wapoaUXIM zxQW~(?jvq8H-($ZP2;9>Gq{=DEN(V8$Msv+Yp&N_Z@4zPO>~>=w!qET&ChMA+cLN1 zZvJioZh>w=ZXs@=ZeecWZY$g(+*Z1+a$D^d<+j!>+AYRS=k~-+aBFh=&F!h1*ote_ zqSf?PGg{4THOmEr1pZrp#4SQ`nZT8D6oe&BVv(F`A#L%*Wq(VbmUpF1u8(Es`9p4R zyZzd_UF+*@w9h@~-m0z7^RCZ->X9H{)NZU|xFX}lte4zg%5QJ<{QBk4m!EVD>iDU0 zifWwdTIa!C-tVgHdb-<&?*2XIzFO96X78-mjIVv$XGWjXeaH8IUEZ&>|LK7{2klk| zY1(Tl23Nhl_KmSa1`Meldh^XW!#2D%^R43H!$uh1_I_vfJHL#)_TJM`gGOhMK0jvO zSjE`K<0{7Y8h_)1ZC>{#xJ|H4^65hk+P*&|for#eE(dM*6m*1;CBXls<@4b)&BDK> zLMM8d{Y9EGq{3W(_(K>$GwB^7Z5r}h2Zb&9@r0&iS9jq=>_gk9k&?!TF0|X@9*VHQ zmD5yYl+iCoojp8rU}}URAuT?a{z=qHK~@E&Ki3az{M6NV9C0uMvdx39Rs;$YCdNi<6ErekAM z*2O2UGy70CK}m%5@K0zZD3|++be&UlpiS`RW81cE+qN^o#I`fZ8)stM&cwDcvCWBX zJNxbb>|X8Ji#n&eF8ijds-OB*c9a%
B7j&gNig5b}tWiMroO6zl@tJ$9+1Nn;8 zkTYm!F4AIvQH6W^cklopDG?v}dykW_RT6{vv<-0#UmXrzh9}}ChnqZesPwPpaNa0? zPhR$sa>yc6V9L>a9XcBPlxqPchk~jx!^Di@c#I~jXbtP!ZlwwPzKaHn;)VDaHL`)w z+NWn18kbOU5s{pdup6)9sSzOGpbUrA4n5|H7fu)ST;_h|OEA z$0(<#!;x{|TcAOAfr3RBJ9jl79W?oXHlS|g@&ktnG8JTG*wHfyIwX0?yP2v`xFwKtGJxcU|Pj}Ht(`RY$1p1M4dJf;%zb15!L;FB) zVDyK6a;RZ0)wUoJmS0n1qFh|~O8NI;iRS?q->_C0kC=<&uMb6$=M`#51l6ANj;2Fe z?N{)(acXj?ScFWH2VBhV!(y9)Y6;TFw4Ypn>IZ_w6W1y&Z_bZ&nXnthEpxNcvmsTa zH=DqQ{usSBk7o|lgmW9!!AJAjx8%x@X;SH{g!6-|Rnts0Ax)~*h)t4YW@U;ltC-;_R0z!D+LEU>&ewTgD+u%P|I!CqwrTqwClr&)8 zRfJN@l;CHkq+%)VO>=sxH^^3O$17-2*Dizy23T~CSGp?*1-|X`UG=KWO!&EThM_~T z&vtEU8kTMVw4vqE(29?1;eFfrNHVJ7L??QE2ZoP@FZ5q)X4S`s2_2))A5`6lNq03- z%Qdy?bMaDZoQYVuT*B-H>1Ke%S?h^pO|T@m{x+mU*`$g!jqGSN2`ucdyTyZ(l|WK4 zc$L8J-uuCcAB_fI=+&jim;lZn45_md0@(w;!Eq7)-Hu_QLeoC~zW$=ucHd-Q1L8!r z9b=&}`6(szVQQ^&CDjjHJJwbec&JxeCPgT0RS9>yK)P=X-v3h2RDXcI5a%-ls{l3+ zRi#hj*EN>{as#At`*BGI=sRZU(r0ZiRZ=}oqV2_}eDq~t$7!IgIHM(R zbG6QAK<4!6k z{@KETgRg^MioC=OIsnwxZ3!c8>IN)^no|Yb?e)OY@Dhr&4pS{!-To>{#eN%4Wg^aE zL40za#dqVeSN@0IjzTEC@%u+xtoq!Q*>OB$a0U_>x{9a1^{3h;P=o{4>9)y)^J7G} za9UwM%{Pl2yl_80R|LZH^*;hmiiiZ>Z0>OrZyRUHh`gOr@vOpNd_3P%! z(5n(CB5q70f&1Y}<^IW-DcpO`L?Fky!L*ClU-jW02>(#WKnT4OWv70je~)Q5wFyuV z!Q%80MCM%7NC6xh;7xj;+rp?USoV>Z(YSsx&AL5_Pd=&#J)*Ch@V=Mk-H32GzAP)5 z-Z&s2c!{Y2WJBR+qE?C`Xjes$eid5xcPR+fFmFIN;@35CG{X95fgLs9pi+Pp#j&IrIj|yd06&c7jfHrKiR)OXqW8F; zl=ay(tfDmjbIz|?YxZl}CdPEvbbhuzn5-2-fka3Z8Kr&9I8Nd=OwSab4pOwqD%Jw0 zSFTlf8lJfX#$WMtzIgSZ7$Xr(;yY|xaoiZRgD_)m2tLXVSL|8ikKdiTYzFP^^^JmP zCRAU%G7ztx=ap$9QD3jh&pY>}(_S#3A}04+(&#GR{s)vm6qICy3S!w#nAg%hzulHP ztigPfAssVR3%N}F?j*v*nt);kMN+Y4iRHapsJ%R0LdQQxi&d0d@x(D-5UGo*@BG!s)0lQ4ANf<#sDsE6W>pbu6?GPu3D_mFL{LkLzC@Z z$0DuXO5NxNt+FJkTz|Ssic&jss<8#knw?W-MPj)_-}_~Zp=#om zlGBz6hU+AlW?OU%1u(|@cx1<$%!_4KAOrV$maboF;h!9h0srUw=nM~O|1Dz$D&#r2 z126?u?l6s(hbWb-=hb``7jlRC!F5QS$ZdtP7V?1kDdEXgA>-Ad=2HE{x}<9=Ax|d5 zwvw#Qj(8~$zI%61j)c8|dZxqcAjNv5O2CJIb4~HggIcEPP9&;K-t3jq-gGV?UPGd7 z$*7pl=EGzfg>?8Ev^}oUK%trTw^!+y9{7?Xgl2ZQaHlL-i>NO&nepUQ)z} zOS*w!l=uVk%k6`8{cXK$J1zuSGoSq>(`&O*hzRk45{jwkg}%+n2)k2oQvsgtv_}q^ zWbwP@gHg}Mw}Qvp0x|@Qxr=yFpEJD1Wh>R_vDrmNy(YtPU>4y!2x^V68h9WC z5s3>)Pu4_?m+ znMi|v%l_kv#ajfaX8Tm1*YY~t+R%(i7vmb9$Eju^_I9THJ5%_+hWLI(aQ4M{D}&+* zTKx%Ie;thCFkEhoR3uF1CQfQW6Tnt2{5yS@cB3-bD6{WwTDW*yKDKnibP?b0F268BqVaZeu_Z$!QZqm_6`l`m3%r zR-e>G-i^TO+b@cbP@!ZQ8-W5ZK-!8em&0a3x;Xq`=8HgUu0RzZ32ii97BFh*SkW;H zOJkx5hD)9(;Hy~=bPaDD?wzWcaB8#3ZX#aak+b0LBM&a=?>m;{Knl&3+QCV>|C8TI z49>xwx${P)XXJpox&HNYj>l=N&805_l3{Xk3~Zrv|A{(<^fx=^J&1I^;F%cK(W#EC9q|ITRyylw3+&$>*bINc^pPC_b@*T0RLfZKxGSc-0*O zRnPpTI1p5k^sV@{p54vWCF$<*wfJPdhw(8)ct|`>*uOtMob4N7eF^FIfEr&<=OcWWDi7=?eA|Y z-y@F%%m1eOx(-*uq@e9$VU+F2ghV`FO_W6%lbM(teLW(5ERkMOa0SeoDXeg#DW4ZrEuuq#90SsRk|ej z&WwS|->baFh2`}NRlmbvc()r#Z=Nmb6}pfoHnbd+UM5ls6KgLNk~2)KhMWt=ZBGyK zex|c4g-0_^0P#>d{q^u>|?=|LI zB0ScRoIStjY_P}XcZ~;4+)K7!=c5JUrHV)sacf=n;?9AIW~Ys6^N-d(A|xMA2HyO1 z=UVV;lo85Ga?AI@)TX1eapFp*B!HFVk1CDI#%GQH6t5*$Tc-5(4T5g| zugfxH!%!U$9q@#*lEbM}hrAmwz}-$~H{^`>{bT5jo>OnpvCHvYIJK2`nB z-Ck=jn6T93ZHO!!7#wW+3qh{WSk)<3;iQ~glzQ0To<j_`Oo>F7{GZrgqewc)!(k+usJse8rA?}I74(%+&ze3 z&Fe;g+fT*L;6ux&Hqv>%=!p-}A)dHUc>WmEtYi>%9mV@Q=wZ8c**1+i4vunRG+7ze zFEE=`PhoiD+@l0D!A1?w0Am`zXnrq3xE4Kcy{igtheuB+P0Gj^nn^XtHr$Jk2v~$1 zKH}OwxLs&97L@T|+rdy8F>k2#_I@Zu)GST1`l|?=L2Nc;PXX<eozK9`ljBlez#hMLd1nTr&Ck8Y^m#JCK$oJ&2FyDzIIYutXN4z^&B{TC< zGCVnV_(e-li^W5P=-7sNrY_XmihI9f+vs z;#?ucuP9$J{^X&c6_o7em1w5Re+tbbp!_=Sl2tC`!Xzja6941p0>!{o=Ol$4v^g+5UN!kvO3k?r8ZZLvYD!dN zwoy`8R98zz^AEP%DoQXj5T308u`qu6`mRjWsTv9&!7-_@9*9_^6Sb&&1i2K z;nvZn21OQ9p{K~BU^GU%8-kJS;j40;5+ zGzQw>|2Sb$y^|}_5}h5*a!G##ml@aR;Ma)_5XFb^GlnrT$7&?}5p}7{Uc>1#c`c~e zo_}PcSV6N5HiOa!5BQmxS=r4;4@s;hL_;Vf?Z&1*TKGX-$e0`@BN*_#VhNN+6PSuN zj3SDBwgoTHWOQoVqEP8nzxo^F_n0N{N>t9F|6QFxH9@Dx!-?6^|EWYCM^m3$6aUr7 zi4U!VG})n-^N=9^V=_IyZW%m~-`F{)>hX=uGPl#PS}D%75Fq~nGA&5AfhB9yc6_@f z=pMZJlyg}_R!mV`Tm^vw?IY=wNQr9RKVFw#$CC0PYN`&C9)@nHg$tpFrTB&|k&&C; zq6C|7FcO$(Fzf7Gw6BJyR;0$75gO$`pg{8uLFLTGJPG3BK8B8#C0lL&YZLUBn;95Y z@%hC=4)(y)Dxky%^KrUuOmb89EtaoZt_B0kR^XR7>yfG^UAVB{XyR(RTuai$MCPJt z{J0)dVdBD5ZQ;8W+rS>;4>7IpG20$XvV}(d`7t-t1wpdv2UBP5MoVZ?s+U}Uj>xnk zy89DVRz3Se>SsCF&(#Z^A(MAJl4a{fu-XHw2;G~bSRgEel%3nnpzhM!Lpu7W0fCHB z5m)4QDfUi;Hp(A^K1V%YKiWv)0Td9G{slpi=OJ(1qzq9dS#rrR#V|6Jqsuq4kq3EF z5*vwj+lb&_;SH;}3)GjiWE)fxo{X2)>gewhD9a_KW%u0pC5M=rYgp1+R6mG|pDBeT zY+*b}8iBYZ9Xe4AW^x+ekThuH=s|GYFN5(L=9j$dIqq%oj4vcHattLMP^M4ro6SPA znx(gyo<4&%xPn>ogJ)z!CgIiB9G?D++UnP&Sp}JepTA7>AA}Kn1!&nby1-ums79>B zYy1<8kK=g<7(&rJkVLQXAAC2BcmiSC-9=n4_<)?Fe5$W_^iJVY4Y_CsN?CkBG(}=u zx(afPQg-HIw)1-b33xa37CoT#Odw?flb>mch>k71QjkO>@GYvOkT&g1KQ+y!HKXc~8QK-xd)g%qBBWoGR_ zO`xtG~ae~n97CUDB&lrP@oQwi!Py%V3+on<~GbDV`(liP2 znkyv;%*}=?3=3->DO{}6rXf?VJ=0^$oZ6uH z%Bvf z2e?c)p`rO zI)}bv1@!yvREoX(=fTe`I8;>s=8i{8mG=TwS+q#-RjO1}rbIPf z92D6H-V|Jrac+CI&U}{icOv(FzHEny(2^bs&}lYyhkE|ed*iZN(?HVUt|j*J0^-|m zQ%AoN#a%9-{`S;`*V*eB|AwTM^nIouKZo!8(PQRnP5a`gyg-*K4d@kT%40FZJS)xq z{82Fdx2;eJT&sm<*)A!IGS5$uKhJYbIVJL8&DwRWaC7m8I26gULSjk-r@yTl;^=a% z{+M!K>2vp)W$+qw7Kp8OrD&><#VsY?G<-Rhz35(SLe5ea{TP+YFN6N`3|Psq$;qa( zMZDlOVbfS=sNH{r{J=3dCa(2UZ{5fEdZ}(3k30N`T&iJnhgWwDw4PtHw+RN z0R_HA+;SP~1>(r6vXE5M7rcbngDxWVUW^ncf^`S)BIjvP>~(jJR4rD&Q1qn%cJhxr z*g{N{%5q9~NoWS#Q=CbC^>37REkPjt~UW zyGp;`H<_ne;8X9ikt@ZR6LzYgyx@OO&6npcX2w~D3Vc3HjIyB_!&oVqH&l-XIje$h z6nIxkPyQXoQ5>MPKFXX70ZWv>fP`H&pTsH*GHFpcKx@*|V{X>wYg@s27>Oz?JKaZk zk4|`F@q?LcTSQs^k?2(BM*wdK0^cHx1rkDfCvjiK)rUEN`@T=MLYzTT=K#;4hO7(q zZ-E2+2#B*?ggY+Dux&(l5gln{Z(P0?R{yLG+RgCIkg>|H56FcQ%UcmcnQK(lhdH~n z=1X2yIDqp5fhCE`w&P7ZklEcH8UsY@yC)+-EUNQ%7-JAa?e}IK)Qd|AP5s&>#e)ML zh0oeL7B|UHr|9*;Ov4k+r|ZwtT>?&j?iU3E0O*Q4R4Xno0jC@eWsD&d6ntyuVf;1u z1b<)wu@tsEZqv4-POor`=QUW}8YB;IZpO+rZjeZ%8N)AQK>;g7Jv|N&o1jPd)&JP7 zq)0Y&NfTOWj7N?zF0>ZefhhPkB~~+uD;tB*67C=PVASqz4~yj5J(jF?Ma#^?LTG;} z0UZLS1xIHbQ@aH5*J6gE=}E%DxVrcmeAbz0u1Zchg!5wGGX+hx^s5(^Kixmba|hP0 zevWLbKg6u)e9aVE|MjpC=Y;6df235}`Q&V&j_5V!j)3p+C4wdbd*_ZHFNqC<|I^qP z7RQ2gt4%CxdnR#3Nto78C$4l0W2pe|0BIe3ULBaBek~NCT8S=ni?j$%A>Wsjr5E>(t1+hv^9m<$i+b$VrbO10F zkTx96ph)vxQg@_n>)Spd%p>t8;=3|krnAhGfmgefPfauyFHWM|*+7FQDfQE>&IL&% z*t14k-lr;p*c?`Lh+6n{X&s3OmKFQ%GK}OC5UsCwi3b=QthcE&q*9ce!VtGnk?f_XTz<(w!#ZjjgmG0~oPZfe}=leR*`B9}>MhH}zdhXELKr&U>&>Qu;WG zlK15f*%QXoteV)a;eyOa_(VUVP4@W((B-ae#$>~?VS2Ny}!HdSoV^j1642}bx465 zFkTQQw+};2UWqb6YG9zoemiuL+PW<#LQyLTsYXt8v{s>=PGc>T+X{U7%b|2c$}ilP z#r-YO{EH*I?{8D{LXHQSyzzeMD;el1IE zNxP2H`0rskMycVv?0w(z13ZnvZ%=k-(BEPHd^f{Dqs8u_@Z`tmcV$Ept+KY9P!YX> zP*EkOVYr3=*K2`z9w2ldpSCiYVJPP*eo@~Zi_r)TF|vSv0Da=yl7{K__RYy;8j%p! zm!roq57DWXpFAj&J%@39!ugi_I9E_5Wa1qlS7$Qd<`MOajM9h=Fs5<|z9Acg$GN>g zyXohfwhFH{A8O+hM(K|IJ6ANJ=TB_&896EiW}~67Jc22e`68n(5{nE=abGx)3eBL) zom2kWD;sKB7BroKP|Kl#Um=6JR^7_+jK|9shJX3{sT1mKW9N?0Nr8vXw^yKC$vggH zqooAvGIPmL%H+TMH(lTv%sk2G6jka`HTre@4If9ED@GOJ#T#_s?8S_{I_8-48I>@% zz~kXa)Jg7#wcoj6v4(y;Xwyg@C+V~5i-eFalJ;-mv;B5Qw11;ZZ@o$C|RQ#W1 zoW5VU@Cco?!>!J z1WA<7ONy+A&Tn_M?KsLq_(JOFU0vB^7NPk=wINTustDa`EHRiXNP#!O0kSjQ0G?6& zF+R%3k(kgbUQLX+-9zr|zjhoYeam7^Gsqq(MoXV@F?a$_-@RP6Zl+TvwT)lNE4VQM zQQ1>?zg%0x0Pc$$*Z-)KL^NdBLm^6@6un#^3>!h#;98lN1zP8={D#@7L`HS5BzDOJ zsM3y6cpErPAnRtVCKcdyf^p4CdqU~03q&gV$_}b{97hNe|2QAyQ6_5 zWlUps>#a zy5G6U67LeFS}O^l;o!m~&d~n!5-sW}Fdi@ql!5GvRThmj)s~HgPZ|kF!(7TfYe&q2 zH-#%0^hlwMc1LnE7nmXZlogJ8V?eT{tP-m)d2G910;&jdd1%3LG4!h{fmH8VVJ5@#k6P!$&Ci3+I zIJpl$^<8v5@%x!Bhk@Le)`MgSPG%$7vT%y&265pt0d=O@0@#XWbVcBuz=^D0v&klx zbJD9f<3`}iNQL<~=2GhKdg!O>`qk(5ZR~ z*XAz|mujD$T{$B=rKDUD-JYHpn)9^^^t@H-B~51DKTeK<#Oj0bTv1IdB_1|&iD=K8F?|CLe+z7EC9Q?`9+dXlBUcG$n z*KNJL$TG)8q#n$3T{{RPPqP)ID$F;^)#gHro>TYzcq8!3kB*(UweP;#X4+fYglK6{ zv-(El(SH1A>w1d{t_77w=_yY)(_o|aO^bW%c3vA!EN^Q4>I~}*!q-sEzN@UN{YSoY zukNc0FGM$_%)nr!B*r-X)DvjHwWlt<T0hazP5RJu%H=z8=wq zG&OM#Zr0Cb&-|L~6NXKLnxDnxYA0NQV;SWxw7tWvops)S$*F)-t?9@n6n` zWpU4q`F@q-uUq~p8%tb|&ZuDr?Kv}F3J2N(aRX)h8gWE{(1k5y zZ{cPO++D}O_=Dn0&l?}!*r80eTGj>IRuRjpnHxS&6*JV-HZ0%{)gMPu{K6Wy9v1v`2Bk~5e)-#Qfrk9hEX&{4l@OU{Eb{W?w5~+{ zmz|(HF3%(J3|J<$dkBc&+&qGIcwTDV}*5!OHYVNXLo#np)vQiii~ewTvccUW1yyn+DDAiqjf3Lp$>?J&nZWPg4vD4A2F*E48ZA!FFF*Nq&EapUE@f|Av2zekiKQC zBHZ8UgdM;u2`x!mWLOH-?ey_wg|L*b_Y_=T&|$L`lkOK?t-%rsovhVyr(aiv_Zf2ODMyXdnPEC3;WulGdlV@2F#;By zbtmrUUDf}SB|B1VXc>{Tj#6Kg6XhmCCNf9vVR5{B@nOwy)`1H&${jU;vHuLm9KB)_ zV5R@(A8?^-@kT<;8-8GR^JgR7y3*XfnBVK!d529ir9FX2Q~wkn(QQ=g)%*>X&Lymh zYDJ@9bMK9p_BVqMvh6CKbi^WJ+;6~H?;VsjwdLp#8jbMhl{%sJz7_XboP90uQvu<2#S67{DX{5U|d6=zsDaL3`H>%oE zxfisR%U9NII@0@Ek-+{FrfBG=^Gd$y2-X}wLwZwBGL^P}BJ5{B>`Z6XC(MChS)&5K zncq>K$xZvjlZo7X_#PV9bo4Za7U{=et82pGXMt=5+!9uN4)vpuCp_!GvEsV8tiktl zRW^T48v0N04~7VXr0$ zvmG^(6=z8<{D9D_F)Do~_oo0xbs;NFb(^c2CoO;PFS>(?>@xBx zd1+@}Se5?F8f%d1<>V&%ZGsv(OwJEUlLd|<>SWKD`5B8BCahx2T(|WW4wjX?6n80Y z#-U>@Z?g!8U2^kiPM{g~z?#1g09F6;Sj5AT*%s0&-ah@=MDVk z{a2&J6h&jy_YaegE3XVN4l-s&)mfB{_z($9W6H!!J=v!T!Niv%Nv|Y1oEB2JepsDM zr2AToQ~S#&t?&|Adz=g`>NqdJMWz)tdO8gq#XlOhCoxhwMhSpui~-RF&< zyJxMJHq+_p;WTpG5Ji(=@!vE`KC&-pk+*TVt@WZBvNep3h(|2Q3i)$Gt}*or0b+!Y za5q+$XaGB$Y1tIP=Y5;kZH<=xU!@9@m0~?|H>l;&?9bSA%dmL8DXo@B=*MrgkSv4< zzrTBncol1)CJ3^C4@gjr$J?$B2M0=3MTQv5wpX1VqHAFlVu-i6)=6&hk{YJM7n+>C z@~=HeU)3x5d|XI{^&by<1<23=HGZW?FOpypP%#ZwM*(SPVsv(dmHpY*|Hy%ek(bYVMQ7;K8;p70`6%WKlB>5H{iiUJcW=^243?GGc=uz@*0jjHowDnCig!*V-$fh8-QCb-S+(VV z2gdwFn0|zC+ zy#VvN{wbZqyh?y?rM)1g_QW=Nagf_^7I-+6L8;oh%}AQ1h9)EASib0h{6OVOxERH# zQM;J0%HgOZBr;|+XkESYdyNdNfk%HRlPPWDj-?oYk#Ih)Mp0|JI`n9%+xvu~MEG%k z>b4fqBrcJWla5!GP1tO;gI{iPN)A(0mPw!V5W&%wWW?mC7~k*XCex0RQ0PmpUMg&- zZJh&IMTePnhOK4WM9c@TG=J2hpEVJMgG+b=j6^ipQsv>*x#PhCWRZn<@gd(&cxhIZ zIg^I$W7kk@qo?C2en||Cms4s7E6*+?GtWNJiBXE%QXk&EY0!QVjhiJe5J@dqh?LqD zaioeC3vADwc;ZXe3M##V&)<_d47Hxb0t^h!nm zwglFtIp=nSB2rwro(1@)ilKGtIMkJG9Jq~xAZ2eKV;6r zxt{dYDS!AEULTEy%j6F|si+m?vyrrBxR;n?jOZ?siD=go3>Cf33qpe+ELSvvIps>L z8?3P}`o-tSs8Q7B%v_ZnSqKO;n%tZlGSMkx0}o*bAN$lSwU`{$fq$br7W=FLtudu}f2bikwdlu`$92=@$ae-M)&Bx7x!)jn zSj-Ih4V2g?^3s1k-X6WNLt@7PlmW3m_ZL?PV-UdnIAS(?QPcb4-DPgYZS%DK-zf8} z)dp^8v)QfyW(Jp^zZ1oEuj*Md`?f;M{X3mUwu;)L$Z!U&w2wP6_s@_-1?LZ&5%0~X zR;MIpwn#zuAITVnU3sc-y{4r&CLNevAIm2HmhL0C|9wt2g+G)qU*&28Xmu^E&YHoq z7k;soSH;UW*Vn1b_Ci4VuYUN!Of0&ixV5jG$Ykv7o-bGLmxGB>7-!QQv&vsbxi ztM}95**i^5qJNyTyoh%bEwmQ_^OwS@^zGy|#iMoHjq@*4so9FfAsDq&5tA{a2JI;~ zl2qz*)80p(q%gT%CZ}$I;aA>C;%myF3=3>T+;7}&v$b~#r(?@bA^q~t#2nqXZUx&G z;z7?ZE-7k{OFLD5b5BDb4%=DAQr8fZXre?cp6#u$KeF)h>_ObMB%P0)Sw&FN)t*iE zL1fd|%6N?*SAa2i8jP!p*+Jz+#bnHI+S5_Nm*-FE9zm3|Eh$#OI<)7s#ZpwsOz8m2 zS1W6kTxdDfl$k=dj&UTezMdqJO3UZhKM`snuU1h*OYvtBKlA2`J{d8aL^Xe25-OEA z*#q6YwjkVD=biAfleXIAr@A;up^l4Tgb#3w{tS#0W}wBY1>IlWS+#yNX7;T+wx%RM z?>{++{7jC-{bv!d)PW;r)NC<#(FSYA(`(Ukk%wb=`k-l`%Lml5quvG*f`Ar{j2^ge zG?H6Zgy>c|df3cgA9mC*KwbYeaq{)RzF09DZ2mL7@7R~tj>y!Kp+jd#(TJBxzgPue zX`Hvzi%>^CGh`NHmU^%C6?1pQU~FqZPJYx*ocui~g--%-Iv@H7En_|9q&RF(KkpMd zvE2VtsvM_y9n|nu80%WNIoSCp7P(%+!Y6iB@m+{Q{O9E)kJFZ;pXYF z*v(GtNo7ov;+7ZF&`rkGv~d6@{JdXbhi)AHWE3ty;bjg!m^P^7={=iffTP zQ1nWrCMO3J-F-HYyJ*>y{-Tp5|MREoS7mHw78PACWx;?kmqwzT+WAm5655HJuJ>8l zsye;(;u-Fqyw-T{9+(MO`hns|QkYS4W{QQvUeT6UfMLv|;je|0G4-s~)TZTI zvh4UvvW(u?&qA%b)=hwaX&W14#%HXh_$;-2^Ol=0uhrdZVIMPgf4kpkOW<5|ea(U1 zzjx?-cr+G;C)>8Sl1QUT0~ z0nR*4-5wMbi-q(5K@IY-u>Q}|QNI)e$3hW|umVwa?5c%8Ctfiy&BCl2Qa*VXF6g?dK5N~dp zDLQXvbojEBavawAco{R>t5+$EI4qdAR8?M0I~XnxAJ=mX)|_V@9TinD1Nv{g7f(|k zMBTlm|9}rXL9IvAW>$Ocr6X^Qr`9gbt+K7RJcCK5dRzHP!JVz9|3qoTI&Q>a1>JS! z6HRN6f06oM7-D0f+czqhHX6lRP9LFEC&w#JrVoUoaumyZz1{iTELy8t6OZ{01)elmHYnR);_EZ2o~&Gnbm$ZQ-{{w>~@=-hN&LSXG+?a zMh;&5mxxh>((!s6CA=3aq1G#p;jpF4{ye4&n_p94>S^Cq;cd2!kn4zp+G>Mpx0YKS z(8EunPwbhzWU~;-0WisdYO`R;fiANHsvMp}=+dlIFbcnUX`ov%9l z5j=<`unN<1EEPiW=72Mt3P_C+6~_F`@O%Oc-b7NE3Q7&v@>G?n0zEO#a2wbq0zOJN zmjkkdC=n*Ob{GYfbP^WPpFw>Pp|D`+7*sF^h4E2+0-@eu?KB5u@lj$-V0w$X@^G2K z@fl(kU>US#RR1}E1=|1i5;CML(7rf6WM39;sCShI^Fo9Xf&X7%I&a)Z+8L*vvl&K| zmIll`|G$I3~#|CxvpHAlBG6GD?a|u*lPvn z;s3Mt6(U8kTEX#Kh1k>A*UKOQ*Morq$`J@8MqVl>t1;FUAQ_LK9^n^&40??yOUsyP_{Ie1@gyk>h}WwHe7ekht|2@ zznGq{V>@=6E>C%pzrX~%kGKD4z&DLa02HmYNf?v?KCMs~6r=S)4%C?}ZC4Hyotl-0 zo8|vNJlRM%cv#u~&w-uf|At98d3jj=2aD6JX{n>G+p1NJt0GdNCZJ(W3fnE?I4@r= z2R{Z%7B7O92@~WdA&OB9BO`s z&sI8q1p`)dWG6?IP#_jUQl<|RRGgd~V@xqFre7Sob$%$SqGFuA8`b8;BQn9~jUC%8;;rBqOr2IW&(!OD2jG{cw9Xfc~W(MKwR5 zrcE%b#@#XtB|`5kvVvyqd}9x~H~QEa3H}$$>{FDeVK=Zdp(V5S-2l7nKsmi0p8kDXuz|80tifJf{bA#OL|^jUPvW!0!1Koo1B+7!7^aE8%7D{ z?-j%^;*TzZd=rmDOc16(J%;#!xs%TuK#GO9_j@NW3F#|sK1qRcErNmiQxhixW?obw z&gcjP72-SLFQTNt11AS3Cxn2i4gu^?fs<7ODXiojDVS0?+a0*c^d}t(1cx6?NHBpE zPyqv!yf(Ta3cQ+m5Cw|T^a6k=QOj zI3B$i^XS%;fTbdScd?r<<;BL&1Dhy(I{QYF+mTv8MnX;wPck~wpKY_xlIf+a?6M>= z3hJk)!=_9jKnn8o?|6eS{CN=ai&zeu0cqc57Cbr*dlD`D@d@;?3HaILgIf?TKCZrI`&H`uM6H%a|pqYighHT3h_-%}`3`x;T5-5?(3={CS&UfsvPsZzDWLJ z$cuG;7QUo?Xj8anS3<*xpw6Q?(dv#F;Y|c9-jl>}yy^`Q{jf9p1fBVwO(?^>j0KO7 z5RrRQflTy%)xJHjAV@~)o8)A+$x8`+ZOhlD=&uV@MRR_7Q^t zl749^q4ZxR6?EXaF753&3Y%@Xfg!kMAjL3qtO=0;~*gQ)tZ z|E-n9V-pOOrVlmh(Z+sd(c$+zKuyUH8X~5&1L(NkT4~D`r1W@rn~1s&!8Py2 z@Wtjs?{31dF)o9X#GE0yf_AHj-fQu%Q;{5hPA+a21jPjLD%(^(Tk6W{7%Fr7px%|o zC?6F0YsK0ZJm~l=Tv8GBHGC(PipjsPWF?9VXK*FHUJ!A1kC)y}^(6J^SMvU&Vn_o1L{{UC~w*SE)E96~_h>QjV9!!zMQC zs9b#9eNZ0D!1>d4&qK?_s-mcx!s^@hD&zo|000a2{o3(1MzBl>aD|19LIJx$(+;j5pCLyt`%iD?OqdN7}V=t8K4>K*QaLW-M&i`%`0_ZLlYJ2 zBA*w|%Q{2S^6)lG!}fXidC2&9s3P3C6B?)vqdC;`907|OypZZ@(ka>M#nf{xhH;H}ZX*1LIZrRbvRA8% zewd&D-_FoKD(=cPbY->PYQ&ZT3ZBFSxL*2^rn?EPv^c8*RPi>xD^zSWZ_Siw_D6K+ zFaHidVS*WFjxB_Szf@RE3LN8lUrFhlxo0*Y82_Wkb)!sK`Vjk11*wTjG2Bh!)`*DY z%+B>?-po=;KofOD(at~0wA%Fo&)m^jWh-sGmU*<}$o_qjlBV55VtBUSrPk#fV4Oe< z&XN?Wp}pmp;hDxd@NgF`7L&XA8v%R#U(#HB`<|+zF*_XN)C+ssS%t`1`)8OM6tQ$V z?~(~7oNi*TC%8~Knz7^j}ct1T4Re< z9_e7nYA(<_bnOqS@iOmvw}TUtmU}H3RXCB4Vl4VeK}E)MEMX7!cohQ;_?ueWYsZUz zaHZ6yPh3?~T*Rj4OkA~IY^M6_S1y=E&_p4X0TO(s-7Z@E6)Hg*xtF8sN%`t}x&|vL zI$s0h_<5Vge2?hECN8`Sb^+{MY%3f#WZWzC5AEK|27)PgdwvCdJW*#Cf`)`&m75CG z54aimKGUV?wl3{n`U%m1_5C~fh+K@d`xe_&L+0>DB4_OR%gMehScWdrBbMvGaU7)y zq5RaPn$^g5c>qEv-?eqCB*;YR-)7o^X*K=Lu>y*oy~7*?3|(l z3%YF`+qP}ncG9tJ+sW?O>e#kzt79h}c5HRW>YUv3pL553yN|neJywlT>sxEiDT|=X zY&~63Z%gfK6}FEt*K76x<-lZN?$@ggEPpHxa}Ac(-;+X=A{}+R<^e_xQGYAndK&dS zXD)8Y?)wbI92NU?X4ZKEe8p*X`@Gyd)+@j6nSbinbLaT5W8q-T%9WAcO6F3&ZMA32 zUj2;Gkr6En{k?Nye7s_z6AzgW{LWe>v*Ky6)KGp@u-b_}*%0oyeP4d2c6PdAaF|6f z3iIqG;hWwTp%zwVJ%E>j-|!@dD{CoElyW)~_-;9kti!X>Z@)Lk%xJueuaBH(P+yK@ zKzGv)$~=~!o~l6KXH&|4?(HCYw@Z^Yct#PIocx-?4n4KDdWcNU2FYPm z_>|%SYoxCk@J6<4fzhrip~sR|q}%ukOq^Bp56Yc>qg|3oS?;{xkQ_VjWixDAZRDQl zDfPV?Q}|6c;t7=rufy5kcEue-`bsZ$Lh9!&dhe!x^Fn-l{#q)lPwEa)@b?2?Sa55+{T*w+Pg2|*E>s*;vF`gk-16KqT%}LC ziI28&`hQpqJ~aQUkTdBY2Zg#l_YR}ceIQ;ED0v&E=ZEKBq!T+>Jbw3PpOnV>rMbjb zOp*``(J@3H`X2W zZm}fc7M@xq32iD~6V^e8>b<4IMc0%cU84>kqQ04_URib5jA1JoV!g9nmXlP`G|Qj; z4qc3@Lfm8yN*DJzN^WuA7?2lw_5?Pt(**n=a2mX z0T4Io8unJf(|`%&HPCnLQd_wLv+6drX6Y(=0l;xRfH4>!+leR2w5flah{uwAt>IuC zzg8WS?7}*KTZ@Ot_;Pi=QLXj|}J_PjC^Xg&PPyGhOdEDOD++DSF>ICy5yuK3Nv?cJEo&WB^| zcK{#o2{)Vw#MhEc3`m^2fAO)SmT@9slJBj`(-u zEIXV>l95t`K(j8xmKM!|)Uof2qEI2wi#sM#n;vP19~IBAU9i5@2Yf{`kmBugl8)Rc z5ghBYwF^G`ms$}NjQE~zz^HF}fW-}ta<%8ZI1AU7CY%@|F~zf=qC!I3CCUE82XH%` zeKuE6E#u2)PwW&R{bJn; zsiZb#Z)QS-h92B^whz_2=%~@l$0B%geWbkt$EoQwILBU^SVLTz>tv!j9bdv zhTmdV1$?+fP5rHCH4M5*LJv1doEGMrQkdh;+2*#-Z!^R9msdEdig^-7ieh}w^?CKlPVaKZ`rFPF)C`OdCU&h3 z)&!n_XUODsgsyUlxaA@p@NY8{jCwtF^(1?(zwK8r*kzWV@GuB#U^a-xLMd%hZ(%$0 zU#&0Sj(x|Qj;JB5@! zdYp7`?Hs;)3MRqIhO4qhObNr$Ly5e_#~R$pt_ZBs4Fe@#3`|r*K>d=mx^gU#k7jMv zX8cx0%=qSNbef{N3w}WQp3U-@mtpAzp(^{cF(v4v8IpId39iiPARVQQGNs6EzBpg} zF0P130H!dAm8f%%B;`T69OT#^ih{is^qt99({*fsgFSGNwBh)s{*7*+Ck%TQyXbIb_N>o&+Nm8*;>LcmM^RFh=QP80={f=j(0un=?Nj!P)-6$ zZcS}Iit;|eP!0oZ7k4jsYc=uw3suZdJqjx;n@4|K8ghS70y!$*Q@9RwV~rZNeZT2o z?4+{zr`suUpX^|FgBU>S9!D-u<}nqTx8q%<--ao=&$#-RcA0;S?u4>7Cd0ZJp|FR~ zpESha_KeDG6e>m9z=@olIi2inz#%&z5>W zluZ0veuW)$*wH91W<`DQ0{7%w9XmmPx9lh?UT-_GC9E>{D~5JsPkLP#HqqZ~syu?a zW;__Ox7GCgO=EB9TIyEn^e}3MqUe=jQE7P8pu&}>3Yh00-<)j{Iz^+nJ=v+aB6}#j z+(-SKT)Ir-aJ;6WZJ)Vh%-C0& zd{dOni9Ewi4knf|q#0mwXk7vvu9uBe_wWj76)nNop=RXK$a1R8vkQsp6JAaE=Xx^^ zJ^H|ciRmV=q1Mvn68a#s&*%VhKI2m+ib3g zNSQe&*k~c))Ro0tw%6R2-aC~xLpX|eo>S(8XD6r~YaCVa(dFL1bSBZ8Qz-X#zayDy zs6M7A+ft_OT$N$fd_g&$kZN@iEly)yYV~MLJmlT$)ahfb_DH@*{lRU-(|w>br+AA5 z7?YTxuE`;j;EvJd^l|SkvaD`#&N`cVB1j51%fpqvT*q_^CD_;Z(`8)2H=DwG8#CPV z=;?MK{jG3pFuqMQ>2fA?(dH-&LDIOqPVk)-IJMgTn|b9c{Wz2%)8c!7w==zjHY)5d z7OmBFtV28j^W@!^vkL3%E$|0TyTWV$n+L?1ULp8K0EFoGL_>2>^9{Y zrbncmPUFRouK{wg3o?}IrTMvxDwQZkkAvOp_OaC?!TSdeT>;1YJWyS)KXY%X=iLXa zFZY+dJj0rP9He9h!6{*n=#7g_rp+iSOPy72|Flg)wAi%o@n^TqmzH(B)%jC<+(iix zrl61VIY1KPcuduT?0oXLhy*+Wv3aKM4~ser_KI?pGy;v$wl=4SxHCaF#LYA*!qp1Gm_a%<)XOp~;T0vj9jhe(oBq^wQXt%X zqNZF?F`YZ#ecmYGO$>yrh?RI~iYX@B+pXp*ul#3U?RkhE(NCHKS=bkf+J7Xeo%{>p z8Iw$0p`lw+2EhvEsI;8JMb9|%w} zGGiF>>^>F_9OZFUIjymqm`{Aue4prMgBp{ea0^Yv5$Yek$(0T2Y&I#{UR(U;=QCV# z{xX)VkH>hEY?b>SujF7iwiGMS!tVE4;~U)Fl6UNe`;9h98E&Tiw&?AeO74_rJ)QkC z96_2Yc1}}z>NALZgh@v{J9Zp!5v}??C z#qDYGktTBeTW$~&P~b2*$c@VW;r_M{B^c%;=WOOz>r^|H_rXJB zlsQi0q#``(qQ3Y$;9op^7~F=ZpfUw-Gr8=0@^;QcEW$++FB2jfD7Bf^kx$F&?gEJJEQ<)+J zw^%o;9CpiDWBYFyKWOwY3h5=>TPJkoJZPIRwtq-iRAQvI^jdXnr_K3&`U~Ijx*b1V z_TStE)`ymq#qk zH|z(yV~82s@xf(*Qjl|?ID_-j;2c7`f=-WMl!N{XX8AdKk1(JNq9U52gzhYYRv?)# z*g+zIaU*?VVvAxa#?pc1)+ojU#x#N;5ypye>uo|&*iH%RT=3SMs6qq}cFF?oOriq& zogFP2mQ(~j2vnFQaTW%WMxO4Ly zY}MQf4-!Ps9aPVYJL@(ZYDoJ-!C)XW{4C6eMZAzdRg8S8ty4utVvi664F$~ACz0if zxz)xr74*0Kus(Q)%)C9A2tA4*_Z+& z{+ZhW1cDtb)WGty7>oR)k@B^7c5Ys{+5>@L$wfCy z^;i2)gk}r?<5IS3EVLkD(F0)_03lew6=ij`{s1hm)AhOhxi&M2AZ$OJjDglNXi@vY z&xX%YM|zqXJzxrV4{Bk(|CA&T5d(@%pJZ9s8R?L>Q&4W)G8ln--{(NuUtg^%; zPz$^Q7%!yXNktBwNiQA67UtGGQ60l{eq02M@7;Lt`gw|X!oY9Au{H?D5G%0Qcc}dG z6pSsTPypfs`ab@?&<2e??Y$0eE~3H44B(%FdaEI@p-qgSuyAq3y-q9vj!rYPP^)!L zR(p#eA}k2^;}6@C?`z{9X&!-2HXNlD#R}@fDJ+Ie?F&n!iY3hD#Y!%v4}U~8=JzEo zM>F(i&?A#`GnL(?81yeIQK_f?EgB^oE(neOY68w+1+(yKX=F*;kNr@#yiQd8%qH>F z*W!5&u^st4>)4-EHz+LzdOemWTk8G{gMMrpmF}2V`KBBAs*vEl`f;BHBcwADu6FAe z8aB2U2MWDDgiH^bzhb)Pd!{?>8Fp$$Najq%O|{R}xH3$c3-bSZaXd=>2oEVOr`u$X zkq5NZOS`%ZHF&l$#kS#$ar^b=XRs!4^sl0dig_(hrgu&7JABgOa<4_` zr5@Fb{tmgQnr9f!6gRIfQaX9X8Y~V01Mdb7ML)}q;p6gYtoQ98HB|&buOZ-%XbxNn z8gME%^U8AL$(UR;PEy4ZYbe&m1^S<(RS>-p^)uA8C(D>-*G#`!RQR*m}6Gq1J~#P=@r z+=?%}AhaGnSn1VP+eJ`%D80dJpQJ3>s4(_Z3g-~xyOB24H1|@Ai_W082Q~fjS0-@~ z*Lq%OSioDtp+38Q#oaNTd?R)6RCtG~f#t~0_uW2tX^op073T#hc^ z>q*dv8Ixm+>HSn8Sa%l)SSa%Vhc3s){Hg99&{o5_O|Xdd>U{Gp`(OG%UNP^;)5SsB z?#2od4$kL^gRi=mn`3lX#uwRqgDVrvDzUH4^xup^lsy-st!~G+GKX-7dKew6cHDZm z6=EN-nAT}N3msdcKW2(AjptUyT5$5zK>HBHO?GeANt*7)EyH+BItoPU0-AeBxn*+}XBY zT{IugH?%u9(v+)l&RqCxO3U%Ju=DX_{8mw!mFVA^`1eGIS`mSb)39zW1QK=kALu_qa1T-`ad%uxA_Pxt>CPcu_xr}Sk@m}?9(w84;wR|dw zmT7qR9&i|~xd3Ze*Xnlj-O`2C%Z>)snzWW{r>Y)po=7V*%_xL%iKp)rWRi|MSK@C| zUFF8V?~B}?W>KKoF0>RJ{xmJEdtG|1{Y_IAnwXYT{oGxT3aI>|2G!_sU9}gRRev_! zkK-mQFV5RI+Fmc&FNouFUusNMnsSjm;0aQ_&(J1OQGrr8v=y^{MfFvmRn6GzQk%%( z(0~XC8NE(}{EIIM)>D2Vzf}5hxEf>jB%&6MC`aC|!q3+_sc2BFM>4E zQ%=N<-;=N1*Jzo;tYK}-OKas>>Cj;KBQ4h=aL2WCv$ZWSD)n5-F`)0?%EtLb=U%?#F8@kq6u-yL?_dNsgU zh4Q53Avr0k(96Qk%kK&(wItOTO}>1gAO054J?xOm%Vx+|g61_FY-`vsv?S2KrXWWJNm9C2BhQy0BRP3CKp*9vFU z3v7r(%>8Sayk;WWpVH6w9xJVC(^TeX11vuJ%B}^0VRe+T8*)H@jKp!kzcWP8991ujj{+$~&i$+Hc9$ z)>|PvOI9*YjIA=mh-!*+j#rfoa;{lS<}18{Ds<}5sOy-yYiakg`kz^&tU`&qK+2D6 zm%EIgss@i@Bzge1+_;4c;Y4OsL$8A7s6$fPe6da{t;J&lRhpnb^GNvoBsU$X*1 ze@Hn--7IJIh)CAILrdxJ<8oI%rKEK-^n6Is^^4z&8oNG%ZaJQjHxt^>#jn)75I$fe z)XfuLA6Y*;d)Rk>95053EZ^M)_Yoh<&P8Z^1WY1BN1f}oZ3}nsev5u{!M*?z-%dx4 z>cSPHz8a$bjh#qUt}zzjSsXmDM*(Q;#s$_CQ4a4Gvyjn&3|L7 zzRz=y)`_sQ%S5N(p2iO=HWTHy6o3bISm||AuvF)YO3jQ}7g^b83&QVJM7+DDxh-s? z8m(2%STll^7RBKS1(Zk>`HYQiDAga`Hy4Owu`zrhCQ?%3>x@%9{Llzfie11i5z@jV z3WrRWzoVbAx_+P8Fn+Eu?pZ{5JujH2zykp@qiErh9mH`)8zw^F`TYmZrcQ0Y1rj#W^u_ zPt^`9wTvrV5|L-ZBJG-n!vzX>-Y4_j(gdM-C3zYsz+vgo;DG{3?Lp86DL`p5%|`h$ zuaXyyB_|I>YoMKn^;fWlM|@1;1l!sq=Y|tkFC4=fQ`0L4VJ8H)F^&=<`9Wq^(iV!< z16h<*WX&8P#<4`E3r|qEqhAIC|E}QSEl~zlvA4f-!)ZW%qLR9K!9ftUG$@gJ)=IipT_lVO91trR-c9Yl^=MxF9S;~3MsR`;M1YK$=#iLLH#5LEa%b&kn#Aa%@X^|e z4VPZJ!Ns*NCZrkBW^n~jOyfl@PxD|B%j^eS=$+lc#-(`^Ssz8+15kQBLX5q*+$NFl zuNP|mfP;cv*;*+Oc#oXbdCCNXLmqmyCd(lb(6mLt#Q}UZ)_x5$iAeOi_BMX~GtroC zd8dI^Z`WS0%H92Kw&ib|S47UA;g-6H3hMlu>mY)q>)W%C&mO>2&uUgsKxiP=y}O;i zu2VVYE@&Qdc`TO22EnQM4=(65Tr+%VHu!dH%@54aH9)le1cZBL;Ls0OGb3nyBZ}>1 zK!~Rf?pAwgK4zW^;=nA4pyIWQ*J~D0VEZl*#j|3&#ixT2t8P4c@sP2w)pOUg$O<%l z+jm?L44|(v8UkWtb-;hy%IaHxT#?3Qq%X@0hcRjjl%9kRA&(!O2N?Lz3EU z=r1enPtw$UZxCBEIT&Eh|7DU^Y<(D0mLEsj7+j@yfe#Sc1i;Mwm3i=Td-l;eJM@sz z^~KPqc}KJQ=0v>(uIXAbMZ)DwA%>5Vz1a3#;4Wp{CVr)mG

+ciF8%vS|xC9Wskxiy9)SYt{@tcSNd! zHC_C(29dYTncBD6a7uq7`v^$FdZl+gr@_N?}q$5wwhLKj)WK66@#@J*QV8g&mA0#*||{TjE-UvyU4)pD(Pk9%Axx{hE)?SVOtZ}0S+LIW$1;4hhsHtbupOcN62N$D0Lf$FjkCd zuFNB6TOvZ?+3T?)sfLhemCvw^-8HNfS#tdfE33L(<7?ieyAj(MIg zjo}lQn@UZIWZiQv`m%|eZj|T1okU-K6^*2kr`8?Du_8hRm9C!!1O?B!F5Sf;cz|WQ zH@>Sss34^0Sf3AOFa69KgrJ7?WFn)U5EAQA-)Zu2L9-F{W4>Fjl98O3OAlc2_@Sb# zuz~Fx;etX%q4~@O-=Jpl1Pk2DNTajTKG0FSDlf`Bz?JGcoblooLHP(gPxGWg!y%Ft z_(22+z574Do(it}ab(3yCy#EwtOECy`oBi<93K(7o2|0>mE1cHy0={B4ri$@UZ=lR z-d?a$3+3|SCtcoAar8tz)*r@AHi%A`m7V?}#L}P4hw}(Ry8p?fC8V}d%7Ir26@-t- zmX%0bidUn9BwSxfc2ApNT8KcB365e&W3HU2YD%ot+LpvtuK>HUFVZ$1O& zOUQ^hlZ&tf;2Ab(Vo;D}(Fu|JM$GY_f9908Ygz?kO}sTAWi9g6ARP?AQ|7ODG{pqj zKd-APfu-NA}@P&yS5_J#z!ZAD@Dfr^K8_3kPCcw;0f_Fx~*Qn zef>S^ukW8r9OvkieevbN5bWyW#hoL*kp0a^nCRbb%tRy+WMF>3eiM|4Bb_#Pkn_K@ z^to~)TNFA;VhIuI#d0g)<=2HyBgB9QFY!Gb_%eF$ZET7^jt8$O}f}z(NN?WiALz=Xoin{!J<~B+BdI zeWzCF&DcRCjt31XMHCfbB{|ED{Yx({eu;zEj^9O(q!j(f|5tpt62-vlANQe{Plj-_ zM3a%5@HKWADt|s&7&zaKT;I~>D&-06_x@4)4Nw_jv;wUgB%^@mEs%Q@MC)Q?e~jL! zhi#8N<=umAOMf~5}HdquIJDO!wi_dVPT@TbbtqgfJj;+A=8{)+Qt{nw~-ca`mxpAh(Rwmn|#rE1TD z<#~;du`Gx0OWP}#JeJA0(C7o}a5r|AntSsC*>7K6_p0NpL!2Ai7s!}MQWwLvWO=e5 z!xz}P)r119VjcLeQB2lqQk6j-*Z6UhWbjPLomF{H<4u2ZW^b4!iJM6p{ zzp-M2o~kxOQwoQqRJ51L3BUyD)vek%@pJ9^ANPC&Eiz3%f>we4FM>e1FR`Q<;CbO30{k2%D zk;+#c8@EL$UoR1=)8fjUr?&Q{}V zHB@EQS>t;zQ(4ES3Ge)`L&t!V_WZcZjkB9$CG=rUujZe7#7e$p4dN^w`S~CHiio?9 z&SqItez2TbYT%l||QUi}gMe0VN zHo5ZsA@3ai;uSnY8`*ek6;#3QJ11hS1C$CrluRxiB44igwrqqa^{bLIuLFNF7as-8 z1#%4?%o9J(Ih6SJU;_~yV)YusJYu-6{Y8l`&N(N7Mo6Kn9<;SdM_rIDi@NOv2&2FX zUS8FpTDSxF@}2>r@hkXGD4tH(j;drp`(hb{dQ_9S?K^vI=Ha{1(-mi8z@$50P&I2xipG)-2ph%yB5p_Mpxy7r359K`b z($ge;kWXfxo>K6I)39I44p8jke>ySGz7fyBc_C*lw2oPrUq{_T+ouFYXH%)@AT9CX zei|vGR?JVf*g6R+pG28-6G;%&W#$uU@5hjv($GjQXB-tzGf2r#raGhn`#CD8$`p6# zet|dq{OG|}vK=JV-~ftiA}%jNm5vw&h7Ej#-`Tr!XLKC0TA_hKTLr{^r`V5I}0l-N!s~ zsreX|(fc~>9k!2FqSTD{vjwi&S3_&k!D}FVwj$uz;uWSxua^M%+rF~X1!X@iMV1C; zK&s%+sIw`TEP>WQ?q1qwW{XDs4_R-ncUFS}ns+l_0Yc_$D(o{GS&x${ob-{1QG-m_ z9REXVXlT0JX(XgWRfxEkmjG5?1u2$IirP<5t8jUx|1QSC*jdvN!@-CEHUnlg8(#|& zHg+~qIAcM>)>-Y?CfDzmJkrPJ4Mmj8T6=n3$$aMySK7*pd78b_ zFHMhpC)eF4Ih9eX%nNV|w;(;$ z7CB~BuR;B2&j^N7-Ub5YIB|*uK#+pj+7%j=Di&wtN+;L7a5RE!L0XOH9ZDqhY(-Kx zhu~9J3W%1=cAR`7LFR0-C89Y z2E|RRdA>2;g^!Rdd!GHuM8%NBkjypA}lJO=+oKUq`rFVp7=iUZN;5De&b#3uX_+9t<(VOwGoM95^G@O>GW zVt5)4eG!xnmEB04dk~AbP{?$&5r#>T&do{J*L3}FB1J=2cc0+ZU@MMBLM7EkZhvjJ z0%PS+ODf#nIFW?SGhI6Ht_{bp#F+U Z7zzECP8S761kd_)P~j*kC6%S%{tF#DZ3+MY diff --git a/dissertation/dissertation.tex b/dissertation/dissertation.tex index c512a10..e37f563 100644 --- a/dissertation/dissertation.tex +++ b/dissertation/dissertation.tex @@ -138,6 +138,10 @@ structure of the metric space. %% TODO figure with examples of simplicial complexes +The notion of simplicial complex is closely related to that of a +hypergraph. The important distinction lies in the fact that a subset +of a hyperedge is not necessarily a hyperedge itself. + Using these definitions, we can define homology on simplicial complexes. %% TODO add reference for more details/do it myself? @@ -364,6 +368,14 @@ then apply WRCF on each static graph in the sequence, obtaining a filtered complex for each window, to which we can then apply persistent homology. +This method can quickly become very computationally expensive, as +finding all maximal cliques (using the Bron-Kerbosch algorithm for +example) is a complicated problem in itself. In practice, we often +restrict the search to cliques of dimension lower than a certain bound +$d_M$. With this restriction, the new simplicial complex is +homologically equivalent to the original: they have the same homology +groups up to $H_{d_M-1}$. + This method is sensitive to the choice of sliding windows on the time scale. The width and the overlap of the windows can completely change the networks created and their topological features. Too small a