From c3ac638971b949dc99b9e8e820381a9586137d6d Mon Sep 17 00:00:00 2001 From: Roger Dingledine Date: Sat, 23 Feb 2008 00:50:45 +0000 Subject: [PATCH] more details on 'everybody can be a relay' svn:r13684 --- doc/design-paper/roadmap-future.pdf | Bin 66714 -> 64900 bytes doc/design-paper/roadmap-future.tex | 56 ++++++++++++++++++++++++++-- doc/design-paper/tor-design.bib | 8 ++++ 3 files changed, 60 insertions(+), 4 deletions(-) diff --git a/doc/design-paper/roadmap-future.pdf b/doc/design-paper/roadmap-future.pdf index 67923de06279da82bb196fc29349d3d240b30a9d..9d83a55dda88b4e386041fb2df28018aceee315b 100644 GIT binary patch delta 44253 zcmV(yKmetqx(=q9Pr#JPyQpwR#tyMBIn_4d!v@-A90V){Jn?xHYRtXA>e zI?5Jdmfk&-{|+8z>pW5et9VE6QVW z`qONlhO6KU%`1DTEBaahDDaNv?v6O5Ntnr`pm9^mcr%;FtH4}l^xMk%e;)oyEUfOL zXpt|Og*;g-G^zb%PLI=g=b@R?SQ7?=hp zdLdcJBR2cEVT)J&Xe8JXE4O zuXV;^IRo3Qme$eCa9h5~+Qn?XTCIW)Dlx@+5P{&hm(6#U9`9cmn6;;K*S!HtOA#J# zz3v7ikYm?wiVc+VB1nJst+FRqwz}GR0nyAndUTC&!2)kbs4Ly*y$~713Ibt%&3ubg zI{W5^Kuf);ZpSY|p!0-uo7E13-C0bMo(6?w^>v6Di1N+ZUO5Ae3VjM;t&Rt$LWnQ(qAvKOu}TmAUGE*KhgO9 zJ$`Pz8D%6%mQUU+jgql}q>=L!#TNV=uoMTMK}%V%zzSJ9ct1)L_OA4`BjX~YWOSeI z-`^`@g(`n=Ti*(o@Cen^@BridWTQve)yP=#91Y$|^EilF#h^#G?NOY1BcO=pX0cz~ zc#ywWxaOO^*de+mA-xDWMRIfSE$o$O^WYv$RW=EiKH_6++oO&|wU3n*mrm&Z+0QqH z^@dI>A|s6IYNHO0j`Fi`c9;5?84b<`(Id>&kI;WvgeriNu;QHkIZd{Ob&iX%m`;a< z8?;l@_D1;fGGpgjX*9Z*n2u*tStaS%fhS_PX5s*k#jd-KtlNI9;WkogPfqEAI#mnE^o^ij8_4Y@Xy~ z*Z+UO#y(f@LS!|Cq!Qk}LxYQR?Ua??P@|{hGJ`71N}48`YBiE=d|^E;#R4@AlhlO{MeUxT2ArB@>Za&mwG$x!f{vOs^C~dzwwgp!YNjPAQZ`D0I9XePh!-L} zBpD~cyWgSqF~`lc_F0N1eSoNZvPvd|F>HS*j&%tOjp4Bt1y;5pDSQWQq{&n=Sb<(k z?#|Zg@Jb#j36sla^y!X@s^bSkDNy;n&N{49W|%{MMC?kmmrSme6bjY@V~*2_bVf<# z4V$EVsJu#qYEyJ-U2ZyVs*B>fLL`NwJ`3XgIlEg@>I>5MeOfk2OnH+yk zq{_MYPynDxWv)Ysw@MP33A_HP5T8uBO`fI`UWarp6p1i1^Ix3G)y68!ft@(c?GM8}pvE{)Lu<%p@MV{8c7_tZ(ygc& ziKGdmk$ia2={(qoS+n+4b=AA99JhZ-{DXMrH{`>9iY{Pn-&8D3f1E_Tb4j#^6KA_~ z4~8o5=wb@L<;-WHZBt7Yh1a8Kda5Ngxz56!=F-~Pn$8{GIu+<&52^dUlFUk#?0j<2 zlaeEy1aAo*hq#CItQ?}ypOHIUReLwUnUi5$PA6ssT za6Y6F4GEQ&X}+$ctb-#VyPj|E$#Lqb>JI|Y2`gm5{w2r0kdvTZz8|ZtW^SJv;eg|? z^-n%Y$*Ln(&vnteOgx#SQ#>x}%O6JP@?itQpcKL&^1Y^1Pgl9fbLTWv_=KS9hLWi5 zIA|dLvDUTRP(X1bz>*Z$im!hnuzkyEDUEDjbP6QJyb9IS^?Wm=o%{~sn5FiQhU6T^ zmqz)(ei*5zV~V8d5sCKU9#6MBFUxz7>??y%qXE@v!vlnz?cR_}S5S0Vk?zL%I@oa( zIbxE5Q&2S*zreX9yAJ?9BZO1Yn5usx0DJNPy&|R2Sq}g&j6BX)!WDl2e7q7VV@Z1m z0QV6S>xdS7n0&xRM%rUAR!=IV3y5nH49TL@yPO^XGbfSX;T!8}TlJhWK9|rC@U>X3 zoTNFPOP+*bchH%d`BxthgOl#B$SF#56~Hb zbW4yx6yUIs{@UQeBMpBJs$GD*-4%Qzv0vMze8M%0)nC#|!A$(TFkEk=GKi#g4^VWo9( zQUxpp?%fBi3~7IiJ!E;>`5+g&%<|xu!_e~P8iPw%0{@%Wr!1QGx)_;!_Crf_9q641 zWW5~Yw3C+lQU2y}q7}fjj+@llKFqjCkrJZ6A*CPk9;LxM?0k?hC_i_um4=nSDCK+9 zK}oa>eh0|$=xZ9Z*>>{%MT;bbls})=u+&ko1)z3=X(WI0G$$)ZeCs6A3LR_OR3K=0 zrAGetl7*f!cE+D^E5Si7N0MYXZ)SX`Rc3ER=5b@baSv|c)T5A`dRLKn*c3QByHZy?Q5wH*~Rn^t?_^SBv?#=s8`RXRimYb@&x!c~<`AuDI zmYcl3x$AyO^5t!oRJV&P%d6xwJ)8Nq$dbp~B2Py9aJwk#Dw*1bW`BmBevZ4_-|qhX z{?qz~XsilQOm7z1dReSDOz>aZ+eN-!5rw=?44&(xnP*FTo0j+_v&UcO$d}cc>nP^rnH)W}mS4{bi1zDBJuW43-{^Yd2Dw0!gTAr@t zM5{uy(@!$kyYU*`}TQwi#sP_p@l1_RRf=V}Jeac2Q<&GWEw+iOf!> z3+3?XpJZa{zp7jlPZD)URTd1aF&=?2+TlsWf5ZsHrgQK@H6wb8%?Qd`Txd(~p&`W- zc`k<@572T>Y9a!3=RKRJuITk&><>>zHYMIL@WFR-H!^$AG(5prZ5Y|IX~tw`D%(Bj0lJly#T^Grc?x#$X|KVBXYa1ms>z!b5 z4(GE5H+QD{d}+$gy$ZU#hK-p8@zT>xz}E2p4XdYFIaiB)dl_L<;JCwcL~RP0lg3U(+h(QN+9*X`w3CbWOx_5<)7hihuK*h;w@|2-d00-N_D@M><(! z_@pp^xtB{Bt_1|hfLM#zQ`BYhlRAl~Mso!O&*WLI+zcZ~KGM-Lij~E>;sc#$S)^7F zba!UIg708D7@0Cx+a~rQw&IPgudZV2Q!yJc^HDfLc|x262Ir3R{bW=eHiKHj0S1mV z1M%@g*?&e)&_I{n6&*e5X^NtBqEbjCQM=2q*%`jje#hZ7Pj;jD2mk6?rlsLQDEi${ z`5%4fBJRnBU^R1E>W%M0d|CIx60St*DvH$gDw*W2M>#hQRUD|9MegT zt&q7x>|j5BJGnD}YkS66BvU0m%#l^elY3g?`Z6L*{@U}U{GnijxUMA);=$cPnQbnO z7Xv=vW`Y5Pj5;kA^b#>aXmVMDowJ8s(~)_Ku||L&WkFi@UNrkPYbQrz^+D1B+XKJv z$ba2gce005ALZmil7x@$n0s-SXN#i%==c18IOCld>)r{BmsTNJ@DDZj15@b_{Z}=~ z2$Dq3pk%JtCJ)auVtbuDh@G($E3Q+&!Qlj-v7;i3h!gxEpz{LA(mC^bxn8dWj$J8^ z{TUpb0U^$84Fg)Ao)MSe?VwNN4}iRebbtQ}v=wCg6H^4FDPT;{Q&y`QaEBlck!`qJ zjK3NyXfBG+F7MK)b1r`IckdFoFym{Ar$gS%)-M1>hTsQ?WbF5_SeFUxBNrge$MiQv z>(xV@fsir|9>`;UW@F)tn`A^#f$({0ql9Vg+AJl4+;ISw zrL5ZYf-Z&47e0=~uiH-G*<8^m#S;h1;by)1bU>jBgI-BYANbbO+Clgt-6W>*noXq~ zDpI-Xy(AnXBO#L=O^f_7$+$Hv5r0LjNeDJFe)r=S<;5G>^VyUiLeS-_2LgYq#CD?x zV-RAL|A4rOJR6eLb8OkvQ|GO;_UcVWw02e_<7VNl5t?e0j zj&@SYg91i&=S~JsA#qwEeX=8uwa$r&7II-(NkqUduIPL3MA8_zRvI)a_nCVLND9oO zpX7hfSfi5{z9>8xVUziS*Lf5cjt4CPhl95k|m)bBw&$SNps~Mr^3%ZQstOTUeQC<>BZSkr|<`UF=rhlVFV^Eis1sBbu zBFo}(;+iA3BWI@r_M92#$W^PS=9@aYl1WD>im`$OA5Xe$lx~&pH*M;R9ESJCVf<(7 zA_T}OBlqPwRz{t!P38G0vOc*B0-Z}`W0fYgN!}Q(@&oUdM8Gk^8P!z`$!VnVpl$7L zO$sORat_W#6~a#&6@Q+#;WGZKFSKdj1+2zE)cPT5%sZjyR2DMXUy7oOL=C=uAZS3P zR0U8v?PC{-U}SyNlekvltAoQiR;-_>#Y5w0PpC1T zLbnu^{fmk_(tqXTXT8Wk(LpyzF`kD` z0#-=f<`fsvxfi+PYcj7kF+Ut5yo#`V;>Z$(ue??~bRN_^XhfSL@**uWs`V(bhHWc9 z{_{U*_J2jR`VHu$$;BD*(bZ!9PM4B9Kf4IyYcuJiveUV4UVzin-0wI-_HoM^ z*RlM*Qmxif?E`nKIH2XpJ$cn5xOLpj-Jp{*6N+R$QoLi3eGd=zGEkQi>kiU^kkVUj z1o&0@5Adx8O2HO2@Ld(@a#d7xRRvv{ zoRP6F-?ujE7j99WE{k;@6tPxCe2iJmMyu3j*l}sk=h+{$P3L>Z^t_X9l~lTDI65hL z6P;9heXcvIT|BLR8*TSdd`47i|Kj7$7atH&Kxwe%#!!}Jc%VY8>5M!z^2gj}d1mOE zxxl)!3V$ti{VbDGO`Ig2&DuYyfalo2h2u&c)yGm9+;WsS$V+H?!)!a<#x;-}R-t3D zVt>V~uZzL)5_)3VcSta8)$(3OdPTXupw+thQXUs`uqc)ZE1TKXcKoVf%xaYyC9^^6 z%a5-0kJTL0UH7nv+ExC!2}P#HADTJ&PPkT<`hQhn-oGMc>ml6au#w-(pV+hmanUHz zLa#ZfJgEP!6tK@hGJA3APs0A!a4<#S@S&66h|@uqXnyS(l{#skWR*8FNkv*)0K`gP z796;n8QMA6=0KMiTJK6PkLEF zz<(;LIzeRU;|4#CuAXa7NBQdl?HQuFj(xvc1>fft=EX%XsDs{`tNM!I808{1 zOB`Rh^a>s2X_ghAWk3`c^}QVdu^AJ|t4@zy%G9`0u*wRGoZ5I(28}|dYURx3ntcga zS#8A2i<(X#*o)s%m;UN3q`%n=L%$1{jel18!hjopJ*CCg!+?4dperrKcNvweM)!yN zH}o`^=3$CBNgBe}1NrQe>erW403=D=gfBzB30G&X!5XK3s~etuA0%3jdpgIJ$QA1w zSv}Z>huew|rU>1?*FLmSd+fdw1#C3=-Q7~o9eq*jA}dKshIo&xedfH@ssHk~Dt|k= zq}LAIwLvpCOCGrHt4oLZk?i&R+14e^$=EO{-_xBkp6BN*Wf{xlQ*S5zj@1Z*d!K8& z9TzK_X7}D7!`jpNen4S~Ae+b4R|N*Y z0B4iRWb&*`)vXyavq-WKwg4A?P?9`%$k(S|G9np5HX!TK=XCe!mR@h4Uj2}+W=XOr zi(}X0Xa|2uq+wUo zz=r<78x;Q;e_Ci^LB+7`692jVg;DcGmah{%o5xkgqOx`1pY_Ul)=0VO2nRmJ#tA<_6qq;G= zatKP87l}wLQE)J*5c25B>__8{+8`#OEEm}(y`rRofATGiKjA?%-PCW8sy%(gKo}oh zr|ms6K61a|u`m^_XNCzBN@P%V_iW{2>viaq(~^!iID;hL2gWpETBi`1b0OYKq_Xvj z%=n~QP3JygJ_*Cz=1z_7I0cz}Z?29!l2PbDJCH;x1UgMwydjPH?1AtjRpg;6z8sw0 z#J4`^f4Qn_0kZRY!kV`1MsmvQ`?{!bqz|_q|07d*D4rj+V;dcXSYkiPsU3S9I&V*# zPzYn+hl1IeranAG_Imq?f>*cN<3pIo7Ll5>NDosV7^VL3AiG~e%!5MdA!Yz{>F6vC z|1Gy0%vCgkAay%X?nc977{WXn9oRK#k_Ul3lL) z=AH+Ic<^>|UBa>bRcfgpOs6nx&0nN}hUne1w+eH>OuP==ApQA9{(=^lSro*HI_TbU zXN4aXQmd))JJWzz9}-#%p`R%`P9KcAQTPj5Kr=`Fezv5O<7D(dtJ;U}nMjI9D;Q!b zf3UJ2)o&5j@B4`iw`*Y(ic;zaa6U`Y>8^3tmhZdS^Hgbg?hKPDd=j6{4DQrbCTx-o zM64t>bJ&&T(OXR3DNZ*OahUkf)Hu~Pc!_3Nq;|fJV3G0)ldXc1M(XLBsKZppbq}Mn z84d<*be2yw&hkyXzZ0YNVk4}Iu&sQ@f4Re4Qinh^M7vru<=?{Y_lh!^qea-I|%M)kguhN}=C+W@tYD)4T zP_0&`=MWs}i334+xfRGk?k4&e`RWJrdmOerThX(@k+#SpHH)7Q7lXFt}GWxlFKU)mY%-fKK%_4dzbf< ztQ_hCGcz=kuq-NnOOx705WerPpnQp_vM`c(h*K(FC$3G|@m5T{hd75p8YBuKQJT@> z&96_tMhv^K;3ZP-EZ-15JjWKbUIkB2lIF^pDsp=cs^L>e+SdiFbXEa zFpA=7a6e4qpn-*I13&v=NYgNxPXg2JaUKOtYjI^t=V~5*K5Xi|!Mg`D{Ac<5U_1!p z@hC~-ql&4h_yxwD6`>uA%$3zFXpKT!9M6K~aFGNukAk;+;~N^5s|tQMO4b?+vr^-! z_M-lo=m)8Aqh)m~63v#w8N)JUudDOwj9Gud@aubCS9Q(#Z(;g@^%xj76-5huZt4?J(NRFf0mm_tE#Fv@L5yiR)I#+zJk#ebjwvB5 z+}2E3=O94##$xXuh~^!hT~+$h;Y1EUP)<01m$nj3G@97e@%$E7_Q&Aol&13XUn^zG z9EDg}`N$w_5CE0N=*Y(1pZGMlJgMa!iH5P{wA&sm=WKT6>h2yUkF!e!YW?yRcq7-u z*PHr;Bd#HH?u8ZJ3^W~Fx%6XJYRVG8;5Bf~eQ;3Ct=2I)Nfu(z(2ANQ8C7mtWGDoOsFA z(mI+0esG$4^hJFC|DRr9;F*5J4u^Adu%GHMdKWtjSZ__^UwCEICn7>jcl6bU#zzIYn z^*dH(_cdW_r|L`?np+m5RZGZtEg>f?)K5t4%o>+gD|)@7Xvf@wpqF?{{XDxvaP5!1 z=A)N#jWkagVE;ff|-5Z7)E7l>cSP ziKbzDZ!S4F@q0(tLwH{fVy+c`&cAp4K!%#P)LdF20ZHqS7y>%b{3;*2#`O#JjchJU zE}xMJ^x>`yP_M#a;ltt0L+L(RjAN_QFO)Y<8Rr>2s4_0;&c$%yg9P!Wm<>pd zuGhyFQTH97YrLsDQq((||Hm9}9){@z*^6etH`I{OgkA5{;(g1*CK`8mAoY3GUqdy1e-hb0C@F zlm8*>0Wg#C$0>h}7s-;^M)dBlpyo1CRgjT{gj6}W9Ius%?Km?&B{?*x5em>v)Y35c z>+`l2ONL1<@VejYw{QCC{>97pNj{3>sLZm_{cUk=)Ib%qyB7Z%I6JsVXIXz>d&JVURtuzFMd5f_mcd88 z*)a`LtcbxDFQ!57U*Csi8dzqK&hlU%rb(bT8zxhxVlrbpzFBG|l&C`&g@4}vJerKg z$s|gPAwtw{BllznMZ$4t#QPAymMQ-3>6OE9 zpmb~8Sy1Am_W3pKuS!RL46YEdkvOd&Vorhz*Gqo}L8S+bs@IWN0f<_wZjkA&<;+af zgPfeQG74@vQ7{$A5#363+v*C1!_wmv zr0Ua;!d2ms;-J`lM!T!#lpJ24B?|b!d;3EaAU7 zc7%V2Fi#;74~$^HY5H4J>d-59b4}lPLJCiVyRNlVc|MREuN_{h4fB5=qH(X0^H;uE zp7fD#0N!1d6pN%^bgiV-4D90ItCL=1+cT?$^#aB89GSM!?pV3gD4piMa^aA3lN}6u zZLE*!0sCyzq4wghR=XkRS_u|*sHgiv8Wn$W>bXP2yhYkk5pI>VY~oC*vQa0(<`B_6 zYEX631GkhD+E>z|msf`;oX8>*5xF0NJ9li9NX~;lCh?Rbc`-bOsWQ}+>hQ>IdF`$W zO+_g5(19)MOmK3vx}uAL$~b+U>r}XYb6%xvlAg_`Y?1|g$^wIjDL69aX4Uh#9fE(i z!E`tpQ-T1qOPAMkSq|!Vo z%q`B#;}8Nj;Hv}`n#?#ecghcu=xPGxqWil?7{n5P|_xr8RhQ*lWnfN_!oo zCxbW|<&}PQZTsM@;GGGR65<5%lAB5stQv@p?tz&(Jl%{{kMAfP> zxJ1wacQFJUX@=Z8;ck~g(sfX`u=}iu2Dd-ZiLx2d`;a#ve6mL}+pZY{DH~&;>Xk6! z>JgkgkqyddY$jeby(GQG@EvhN?hnmi+$$e1-#fu!zakAr6q&ZbZkoe@L0_*Cqxs@< zv!_tFw4QqeHeS;jbjWg zy$I}ur}UOFLP&3_V-JiuK)A1=i%GMJpU?66!3#dhX|>~BxTWZ=p77SfZaIMf-y81k z#H>jDUVJ(D(gZqB&b8sE(wDYY1|9lc$&Tp9ZrxI{@2N*!Y~!xOgqVLfo0C!bpVKft zorbSv6|t8i$0t26D^TMb%vPjrj{D?qw!WA#HFXE6)m0-~*_<0WD=+i4chA?Yd^CLU z0y_RQkS_$I_l(z%us}()yXHai05KT)re!SebI*K16eqs%WBZeI`8=q2d85tQo$Vwi z%k{E1L$#Y2wYO8S6=>t#u+T1)cg+5D}^PLq;Zr@O7Kb&M`^-y zB16=RclR&;0clyz4P|a*b98cLVQmU!Ze(v_Y6>zpATS_rVrr8>DbNHlGcz=kuq-!! znl-n?<7_pPa*b7UnarULNKleNp}`*O*XM1G&{&Rgv3lbz-}~O;UshK)zlO;o2)sOw z7pwIm4Hs#gdwG~HR^?YG2;9K&l)DUqFmgV1edR8r$ahw59ywjVT#s!DM}bqqxyqfr zyHtTwb^9HBCvRV1S$BM|dwg8+#%vpZxZ26nNroQqHzQf0Q}xZhuIMwp;|smt8-BV& z0b5s1BEK}HMwxi7uibB}KNl+XRI*qG%FCmSoC4#O)4>ap`Zx}-9B|)WgUU2^?p;va zp;l^{9vF|&-J)o3Z4^3l#&PSe#668D@3Y$bIABv5?qpp(a-AWK9rQ~QqYjYGi zr4fo$UKT`FB={bP+=oKj5C_grY#rnWQ10ajcX!GM0Sn2Z$^BQRN8Nyd);P`*vCN#r zAeh-<{UesMH|r@ISOYr-wncgVu5CRdQ&xv(S8`-De1$3B;L}>Zs;eh|Ui~wYdHBJ0 z_a1%2dC~cq^0Tfu>h!gypRT<@W5=PMtjFU6 zW<2>^o0+eWH{TJ*!KOEVXcZfZZftQo^k>7S=IpxDra@04Kg8k+zhE8dpsq7@DVj6q_>!R+ zOEBgP-J&_dPg71zP2_NxHxZlm%)6a=SE2>yacnRLrAe-J|8&iPlZJ=7XmYSUm8fcl zxzbwq7P7OtY>WPXNY!eyq&g*t(Tp%wHuFv}VMo{4ii_c-`n5b4oX!r#RO6WJ}Y>3D`i zIv1Uk)ESUwY6;V1weEV$lws^AoUsA!xxqXV0cI|qwZk%hu&8#T*EEO9y!+nrOP6{t z4%?E@5+pCY;jvaKuc6LXnQ6qKCVDA|pQ|;4T(u{oO16LrKT-CBz{^5T#IM0OnU-vP z03_g(ZHl_B4voQcoT`${`P6)e`z2SXDJjAXoPa-2jHZD=_&L;ecpxzYif;;=OY^}P zZ@O`)=IZ``kTUt1OxxI!`k_JPn;lH9lNE?m7F&rJ#;(5>#Ag1hEb{U+0vyo)duThl zK+N;Rxoc}p=~PHcbE!{qFG^GB4?=bNhaycuQw&e*wu4atR-1;(0f>q-=Wjpu@9$Q; z34LF|LGUIPLEw9Fkc%zgvQo-<*kgLLgOV`-_!l=XQ_i&A=?y>r_}A?NufjC(uVo4P zXzX1Ce(XiLS}arOZHhyl;LX+D>gr!24{ofJ!z-`{FGeyrATu#vh2pU;)3Ms~8vv za)n|MXlDcx_j~HkDCA$!KTq+m@Lhi($OnPN{1p(#cjG*NVSFFX0gFKV6_Jnvf>i#Z zyZCzDzex-TGW?71O9F!aP53_8Uj)IwI|%U$iUL9QzaU=7;TIGKf>6I8-nH}Jh(8Dr z`WM72V}3!r6!sUyOS%7oc&SH!qX@p&`w#rj1yEALc=-xJBt(HiBKR@kg(ZK0QW8@B z|E&_{fyECQ_s3U;-=lvs5`|wq1i}je1B{PiU@~Ejsc$2S0#tH`ib?t1Z$2*!>w6bo z{ai+PeMaW$2)1_65W&7jA5QOxDxrI}`LGNGM~cs}yjAq;@-+a3kI{EgGxBGr8<20q z)-A1xy0bc4XCO9$6-fO2FZW;TN@I}dwLB3x3 zNaF?{G^!Fg9T5w`#g1h6-c#u1u(oFr3}JdTb_qV&vDjfctm$I_JS2a%MP`_y1ZpsP zxB7lOgG5y;&8K}>vXy`0G=h>|*l564G9>q5tFYVxv(b3PZl*d_oN}Et^TtZx>w3oU zP$sTn9m%#AC#gcX?;C1iSf3Wkmm1QaCvI{!qo4tRi9Rpu8hQ5Q;t^+fLyL9Pu;CC5FWvm*BRIm6w zxK*>)!)>_ANV#Ak^u9kWC_S#{Jdt)LlR84h&$YDDc>RQyORFWnal~le3JnQ@u;~x# zR=)QK1j6^TL)d=-n@z&LX*e#u=27JuMX=ii0j2F%8CjDf!zS|e zp7$QC{(>SZ8PD%RYuhWwpC}2?zZ*EhXrI%3+={}=J8yp)EZE1oi^7C<9Ljet{m)FK zWG3>Y3i8^X9ovc&1zlO2=koPmk&#(+*^3HK`)Tc5kOJXV7I+q*GjemT9lz=~mzTGP1t|f&Wc?E;aZ%xTJF2?t@ ztSN&cw*^c)w4!TGX%;q3%j;yYy$O5=*s}NZq=k?4cCUx%I1dqB*?vpKCNkpawbDIR zSGlYd5+~!&JgZMI8XVQbQTO2G%t{ldtWxmwM;m|t*OXscM;#ea*4Z|sbK(Rh>C^XV zhC2ccOv#O@Fbk0o<*!fOb=K;oSEgYy1?R@06k#&EI?_TWa18=}xlsKVE8^iclr;@i4SAXS%qq;W}ya zeQJMA!U?VnV063RmnLLDEkxY+sB!d_;H_CB!gVR+Z z!Ys>=qi{b5WD6P06BRjv7gUeH>t1|TxM@ih>cQ&Jv-mgii0$7 zxBO@{TN#x=#@q;jRv!aT4I-`@=S@0H*%zcsPM2+v{C0d-!?Ywdo#{&_BZ0GLq=-2k4<7NYz z_542a@SFZ@${NE|IV0WXO1qpULR)_n-HiKeOcm$j5x(?s9iq&^+|cV5A{UYVU@ix#q{8n(1{Nl2jrCltxJ(+I?_%VMgnpzzs zQ^yE{=GxkNY5SJ@)^iN0+H#ruX;#^519;6h#eTIEH-)_mg=ogcXm8;9~z;$!)e zY=wOF8hQtBy?K|q3RJ4znp&&qmoVAVITyq5+QP=D)?u%$E#BD_!g$O=tCm{nj+l+j zYYu~+w=pUrh>Xe(<-dLFJ8pj?1KrZNMbZ0tyF^~@(*z%rs+|3x;5w|3PvUcs#OZ>i zkfBxW*6RcK!;TS77d;iibZG(tYW7JqZOQ2!X!6aj)|-#@eOiuC_3{}~-X7mF`rfjx zq`-U>BjNnlRki(F(?_O43lzQ+B+{7~od9gmo+t8Squl+&sl2*;?G%4uW5JJRKKn`zNDRUS%mWrAV%+# z=voTN-vz294h3^CiEd;G+rbgx-fn5A7iI%DmO{y2mxWis9E z$w+E6O?a#K;>^k)BF}#jm}u6sg(8xE$rcH2R1griG|lDWvWUH=qPa74Ml|!5+3P8h zw1Mvh&#n5v7H*MLMJ?^mHQ=euUiJ>Z^_=pt-1E{A_%LOQHZJ-+{(E12Px*Q2-u|QC z+~7~JrX~i%j8v8i1ny^F`7wt{rYzq$XZ#8RINdr3p1tmTnkRp(6(lRS;3uCg2;d@q zYf-c|Ab_EWO+}0osW$1zhw+npD0%^UsjW^TF~nRK@Amod{%EeG{-F;hn_^cgP=7(atp z$)3KQEHSNZ$m3~|oZN5v;Y${>7n7^iVqSar9cAn8tvGQ}slF1o zLndud@w0zF%0i)4^Dy3hE4ld?Jb9m#bX2;bDUQLswH^(T@i_VZOn~otw?}a4@U?Bm z$<9l^*5ID_(!@nMTYX--K}IP8ukx!&18i=ov)129vg#=SdNVy#y1vVW*b>4uQSb{L z=68#J2NFAn!rfCHQ>aA%;({bzbf5abDD_h8Veo%hK*Vs}B~RelQ^G3C-WOXDpZw{P zH}%~14(=N@-iwsASx1cxurz}_fRzxMi+ z3x7eQ!G|6%GZbXM6L7{pV~@RNs(*Fvcp#tlpek%8&*6K*xSlo1o95v|z)re`vFmyuCNS4k zyE?VeS{8QR9|Z!X1F+K)BCT5{3F=qeu8rSHm83N)ckS8@EiJi;A(g#7V)S|bv4DN- z@fz8Ne1;4`dB(ygwNjMMy?SO$ZqLQnrL2D}zLrm$o@oC9gM<{tF|z%cg{TxXL%89% zdf2X|*u(=(-Un>6xz~L|tIAYk&xudBr~UPc*bp2sKkmN1alC4JG*=WORtd7yBi77@MK>Z5ssp_56}Ad-a7y6#e?<7@-K0aPe7!*H3+IT7LQ-Yr>%}u4|y+F$#D3)<`Lq zhZEHltXC$~coW;44RP?ANii>Y%|Y&s?B~1ZzMQ>ANjI3dX0AxR!ilSN=l_2QYKhkP zIc@+?;EM}zrXa>e8p}-c zBg6Zm+@`5Mh(LNDwPqPbWjwtXFmx0()S$&*bD0H zRS!-zSB!mtP4)K#H%sM>qv@)xt+I`hl2_RJlLdfBE-ikiY3g-}f!lu_evjg~#r<8& znnUKlH}!%;AXZ$JjV~w+^3OMF`sD`#7-$_X6?X!U?G)EIv%zD6uQu~ZGKMD6^#k{0 zx+qv~{(N$k1)FVBY$)yX;AbF3!)7mm^vUnIyqojxlkye=2*r>DwEoq1gj zQfF7nG6zU)8iyFuv;&C$~ zNsm&Q4bvbZ>zI|W@mzl26RvM8%HeatfYXyZNVo5IE`MuOWlkXb;!vrb*6}{OD_>D_ z2chvq%$VgTJloXF=Ze9km{y^Z>5ScbleXB8ra84!t_l^a1$TeL6)$w>$LT}eKk&wW z-7JTYO<4vyay5P;hsBW@tg4qJmSB^KHpHa1E%Y-h8_Y{%TI9a%vAnuryC(1Uf{U?X z)vuF#K7>?8TK%MVOk;wpy%9fc16wlZF`HV_UG9nNtqMLhwLFE>eFZE8|GTF zn1(khF7MQlor`}9)O2Kl(zV9wX__5B#M$kJbBj;KLv^n|UVhc1GVj+516z}t#jC!F zyy~RtRYM@JN4a;&SXx^lNTD-n4*k;T+Z=lwn>4)ovUR7TLecC=^U#CbpO(l~zVHV^ zO7}c;X!Qia2#rvU^GLyB`bv81{;Gx=Mx74hP!q#;)uVs5>Dw=3#Ry|KBZhOyreVEQ z<$C+l;=S%$;pB9$9Y-vd4hK1!nprG)oAl%I;v0fv!~I~~c|ug-=U&sWh0i6nWdp~F zWOfQl#)Bl8CkTR2B|;*j+84Uq9oOYEy5>Vdz;pyp zWQzlc*9*lMsnb2&Z-`x*8RWM|H~Z1q^IZL~o4*p3uq+JexvZ-+e)%@C|q*fj}Uwlnz!kkEJdZ-`CP3FHlcJI zN1}fSMS73Fo~4Wtd3PyUS9A_d?7Z5>ylQoBl&)#bT5Xli?UMJpjwXE{Li$xNnVB?4 z&v`TSIABv58Kf;3>AtZS?X)aXW7K)%-t0uHZ6<%Y&f`XBc-Oi$x#{!m`C|%Q>8-ti zoyK_at^0Nnjp4gX9(spwtX*d|4)5@flm&l?9ocr*Qs#8>K3;b+fnBTZKv!PNo-MN~ z&U9YJtz!u<@3dJw9Q9lhw@LF>ABg;Dyy@!$SD=4cc(xGtDQGZBXtC)guOJ$ccaI z1Ew1!lYV-a)_X~sS_hXp!uG`(ROgx7?UORyXXAE}b4Rt!L-Bdj%g23WT?y~^ZWt5j z%KM=?o%5NE+&Vq!QHM_f2ACzY{b7Apg@!pb@A-#q)~KY4Lz@BNy#c#6ou7|f%crRw zOv6P)q=etxtM=!sI2c0Rq!D3Wde491{=$qzqbF^C<9oxG!`UqygQdJaGNYuhX>#2{ z^Vpq6^tF-MYKHaA;fcog(hm&d*GOpY)l%|*L>Gq#Y+0{dU1N|YL7NFXuhm4Vafpd0(HfNH(^<(Q^`iNSF2XvoMcVi0d}F*ma}6gq$d-R6O{bf z4p}u^+C9LlqkWMX8#{JbPmeXYGa`uE;wGB`nOow33&L-stZmRz#ch(z6{u%S;~$!${=3H6;>2I*L~J2}hhY1kUS1gz4*{)LG(Vl!lcD1iE25nJe(cbe^eo zKW^&cIEN&x;4HXGN)~NM)4Q=eOr1;(F>m&Wa`!b(t9{e`j`wnQMn z78rUNQ#*4P3nl_a7Dfh!q_NADt8U)>vAU}9BcIh631Pf?5fVewJUeo8y<3rCp6M zv#GVn#fm)xVPXptdtdzMRv10%Z<|EJO=neoyQ>W-&Mr&|^lc0+KneWl6EZ_8GOH5{ zdoqiID*M;x6bH@s?u)I2{`?&>KlwHdkW-V@5Yfpx?|pvM=k(-dwiYJ^u>S?jzRTbB zrtKjB+(x&je&-4Ptm}o&4$SWSycIq5Hi=aIvVohfk_C#UsRH8l_U2_jon3s8qya*J z@K0~fPoVA_ds<|`t!|DvI6>?)m+t}^VSAqYu{k}-S;YLIe%2p*jW7empP|tH5Ipb? z0~Ta*ZB9%MEKJJm-}JEoUpH{00P}C=DH(*k#^px#h87m4Z|aHLo%tWtPtMMOnB?T` zTqs!onWgEKrLlMU@F(ZX(#V*-TtsaDnSQ0&{zv&>T!E8+Wbgy|t>x^<#_7(~{n_OF zk$le4VnShg_q_h^AC{4k@o)Lv+?6!WAJsd{)jj9M@9A7K+~_R8&;5J5po`c~y$ISf zAjQJ+LH*Y#e__?sH}k~Aqda#E&bKG@HyA%S*!SGYVIbhN5mE?nsx0=3;42mWnYqT7 zO7$GZmrD5^#%D_UJy)8ug#W&j^evq0#q!KK_-t#;;BL6UMjv`yb-HmH)B4 z<~5A(Z{=ecAE2A!Ctsd^=Vz`IJ(>UUO!R4I=&rofzSi8p@bDF1{Pscf>qYW=7HqK> z^7G{E(`V}RJ4+^3{`VLEW4lohe{1Ns^LQv=uN1Pd_ck}_3EdAS<1-|8lI;tYfAwqi zspyBr@DAOt1kBb{@MoQQl$e9jE z%j@d33U*5-yN{M&gzwVZE7^xubDBPtunP*Tdu75oQHg;{T)_( zg+ioXT({{xR|*9_+=txMlu%;+wO<&on$x-P42n&VIR3Q)zSzmPvqJC{GcKdZ^XctE zxv0co6dQ|%1q+O{@j6sRy^)ix<>4gWfldH^U=m)ZLsyC64@7|d zo1WLeDEG0L-)fNpB>C%xm0WNQUs?)Z%>E3JduDz#>FzICi^2g6FKvd2m=-T-WnDkIee8m%i>hek zaC3I(1+Ic$Y5fpCt@~2LWC1+(y}W>4uvLFaG-DfRm7Yx+iwOb^1l}V8Zm*mms&Hfu zO(YH%DD#t`XNU=w{Yd!j3`GR@niu4D=h!=RYSNgF*Z>;aCKKVY`zbKf$v0|>ed%Nu z<-8KsnR6hFo_zen=PE^=z}O4K!m8zYh=T4lp~2^aAr~F6C8b_};wz`9;za=ROu#;@ zezb~RYZl^A1pruS<~~5XLI!D1c`fnztA%!hN zPjbiDkxt~;K)QaXL~6$ibwqx1)`IUtTdqnmx{xrqXo2I&5aLTj>s}_U_iqIph3i3# zVlJuVV&7cMuJ~)r`ntS3RaUr^^lFK3H`dr8UB#Z_2!yC#sWb&w+v$Mv&K~YY@I|RYRQ&MmeV8-3j;9CqEh+g6u-w`4!oUc(v;)GR zAX+lwN2bA4qi}pJznI)fs*%M@UiSP)CDjNIc>o3zq0U5AMyrGYs!>7Glnxg$5#bJ( zeW_}QX?K^AF0s54ZzrHn)W|}Xp_u2M+`ukbFUnv6s0%Hos1Y_M+T(9RBWLqQBra{I zHWb;DL*vC#HLDt2@UV?gno%kl;LFLEDD`8D$TEyTLWxA)>1b*fkKB7?#}hy&szLNZS&UzJnC;8A@95A)=4WhgSxNdLt+fHVIVC9G%&XEdl^ zw;l+M9XtuV-{TioLiM|@MGSQ&a2fJGw{?3;VHLhMjR=LvSlS4Xk-t*gtfkx`q32Qn z%qO$~V(sH(Yq@u(*pkF$|RJC2-RJx#yE z^X6rCS{1@NpyvnU16yHg801f9%&-wC46w^Ntsy&I|?MF9PHF=Wfl&1B4T`!IaqU-8C7pej1s-@K&_x4>)+TJ#(dbEEy z_!JWb{bRZxFnU25F3}SFr&84afb3$u4GsjHjy)pD-06{p)C#QK^L_772WNTB8IsYe zq7}~ZV1(U>xS=tIA!tNX&cnb)-Sns=Q%n9L6oagj<)3Z#Th~WBqJs%xJLL1NNeuGC zJy&w*#n}O{Ut3bS))SsB(Hre8Sy$cMlGE@`$)@QPny8?F2S<5S!%T(C5#XfHZ0)>3 z3wGg^P3~)~U>BEnMimP0tF)Yc7%#A;<vn9J$Pa>%!XcKvfwIDcKJz)4Dew1|`rWKuobxU1FsPGrTJ$vy37ZLSw|$8*5mNbK z7xPv>proUzRtkr+$i*9LZ(|(5Z7S|*OjJ{$b>Vt`Hc>LCPAek(O1&GyfGp~r7C)6W zt$zhz;zqpJH74~CHUEUXdF!XQu)}lb?1O2UxDGKdK!NOW^EInp4Qoe~n7;uv;JUAa z2#!ny<}r^rzdu>N<$Wn2EO6_}ixtS`nj}XkwbbJxi*d_=^2N)b)jJb~A)%;VtBNY% zNVN4_$g1IM|3cOG!dsSDFxrraYT^NlXDtOZJD@wmX!MQ^D3_J(>X7{LeRGSR&ZAo$ z%GIgG-0dJz#`-m1xU|wc0n#xVPeP>(eiG@>s((ABnvGJ2&dJr0A!}-4w(-sw*gfeS zw8UfU^e~}cK^Ap*n(SWo*o}Ek$w@dn|9VK@Z!lUi+1tUog6A;}tpKC!CCcUJe#i;1 z?1r&o;ShSG&=a7dA-8<7pJ$3fOF)(2+6iY{*TR{nn1;W!Y{_Y!>m^d=M;b(}%edsW zeN|90NTvHYEyT>zo_f!p_LYL1?!u;t(A(@eCG9j6jO4GoX^#AJk7x6+iEjO*){72j zvV}WYi%(Is#I@LpB`m~d`hjK=NjwPv(c}=1#zq0Ijqrw_dBxuK{`1|UWYLx)Km7_< zN0Wv+zoy*R)DYrQ3lE2uNjS>Js2n1T$1{|{(QWc%TA~HB>RCQJm_KsC0c8q3KYd>Q zt7Mi=<%DcMH_iOl8D&M`2!a_A&EZ(&pOZ{juiFN#syg)y;k3J!gUg-ip-)7C4bB>LqV@ep!9G4G>1dd>9W;WM&GIZjcoMTvRc7Lc2TO zQ>#YlCqP*64MBddkXTK5<%GyCJ1JXFuKm@|oa0W!)605E99JCM^gYC*z*AV%Yj`Cg zoQL{Yd(UHb9Op$XxBcsMwi~v9dD)L$shbWU0zr1D3~8Knm#Q{{{zD~?vjgEkk8nYS zTbp0LTq`$*F3|u~cj-L~&^u|>?%>ZZs_-SH*!^o=P$cGJN{)Qelza;xftICOniw_( zJ)U~ik{H!hS^~?|>X@6^e5Cgtz?sv;RHYzLszdERUH_GQ135)lK2gqylM>2#y~kv` zCYAS_bWHZ{W_>OfooAo0)-)V+B-Vg(x9!MI@~Xg(CR&ghKQK26U<*pfr#8+vs9WSX zLzj7sal2-Zl(GMr6U{S_?QCkkqCAb-l3^obR&+`2-A9c0lC5KrM)WFhx9YoGdmo$% zpl~G3TR}juf%;Lkm~4};>Cc^iZ0aPu9dLXZke582B`&%M6ifcQq$~%7Gd|%$3Ee&w z)}POZ+$>}kQj9JJ*d8w3I$T(6J&JhQHoeu^oqJeLfX;$#3dHVg?cNo7KDsQ;197xR zR1s%$P=$sFwcGByJ$8XyD)*|=QYy1Q3l^be)%1;p=FRCIzxv}$X-gO&Mn&~I0n}s0 z(8oW~3#t+xT&{OX7266~R*RtSC~g`{1LB&<5m8B-bhioT$YwFC zBDJ@8Y@-tgR2upu@62)R_EKBBF7mMP;<;5%T@zkmx3!uk$98@sfsz9;!_u6SKS{Q_{p@jh7G2u)Dx*A zMutIHToZQd!0|f7kM7I%z4r$7GkMf}(TOo$Zgn36;3~4IR%R&p`1Z=t%+iDTV2hGW zQiuH~j4IEu_U5EhnCB0pnBVcb$W#1Rg=m3}3cfHF4E!@jaJ+Rsxo?J9nVOkF2sV9l zs(HpkGF(vM_gdKhZ1{RDIssBD$|GgB=g0pfUoQrK%%rkk?ARXmTQkcG)D26@+(^z| zm**}4X7vL`iVdQ8(Y{x3m)7Q(sKF)UyAM0J9!28|Q}aZ=5=wGvlMLEo)VIGW<+>TU z--Y$m&!eB%JN)!Wh=*BH<$*5;3Q82xjT6eef8 z{lZ=}TA~B9#wlf4Os+?SMF^zGxwGCcYD*okYb!4#dA@t67z~*wAL=G5;Uzt_{82an zSk~%=Nd%g|c}Mgr%V5Htk31b2My01Huouc(lZ3U(agXWSYvR(CsG=9)+SBXsek(tA>hQ>-x-}Dfn>D{s z^;!Z+c@YdXWFUx+_H{?fDx8#TRVG~?xc!n6X=Gcy2E0z1_Ix(o(bTa=WtuMl#g)H9 z5N|plQLfBV*)3rnQ==Cd*g)UbyfTB3i!R_WTd<+y(Tr=90qIk&dZzwah~ zZL+Q-$=++!dNpg-gj}sH54oW;nv18E5?i9VH%bd)37B7_cxyg?9e6bXAPT?Y)AuGX zOy2j=-L+7wL#*~mZI89sBPZ3BPm-Tty5PgXA}ld4@wQMH<*z~rahrKywAlwi+a3`B zc;oe{Pm>%k7R-Mi%6Um{rK3F6`{~@ZjO&zj3>Vq%kNj|yBcE+cK(1i5Uo-PWMqg<$ z!cp!X*Nj0ghrwVRyg88pw#V-zG^1yo=mygF&O-LQ>M)_7nmWBmS~JBHl)OjR7dr-& z@jc*UQDdNrv8SwnTeP(r&S3r*I%rw_=6tB~LjoguCn$eJ_)usJVuz+C|Yn=j(?V4we z`*&BeLI-39y-c%9_??||d}E%`GBlX(F) zQ!^yZ8Ca2SAm2+s)jsyD6Zfvr$pul~P+msKhL>2fZ7>sB#&9Cwv zMGo1-(Wxd6xOgOxwi%%Uax472=TDDP=0y!n zi|f#RM%W^j<>PPblPxQ)uAtMddWBt*#jk#g;Cs=eou)JZ1PWIguoAVujasJGY{pf} z<-`2nXja~EyoWJuc$?}5vU!8i zj!>m~hUs1a6@C7o<6)J#|A1sH8MYZ(NV;#}FY!X^# z9kpd)yV{~i>HuZh)QR6V*X&vMT^6d*P?PS;w<`o;Bx#PKzJ7Qbt9PdKZL zn!XupyR(*Z9wCT*!?TTspy4MCA0s|BRiZe(p2CicX}(Fa$%@nsdxn(CEDB`!oLB@f zc1%Fbgtqm|UPjB0`=%eqs8Xz_ej`@If;`=}?BXAa##B)K1|R_Wj_(`}!J*9C7JJ30u1 zDSnhLYCWNdvL1NZrZTPK8wE2m2(ZbM zE(hOfr?J*cMfZRr29+R%d)YBZqp^Kr&c}39rP6*C7o_ZAQqN;KsG(&`xDL=CX5m zc%k{we6qwpxi4T>Lgc)Pw8rnms1sJ* z0jAp$Lxi}N+%5!$-kyR)&Km{{A;}JJvij=GaBjJ+%sJMreuhf53%;5hW)eV=ZFc^W zanbI3$v0NXC)o;O>c~oT(Tov)!}*dZgKSIx@Ywj0&9~xngL+udANb9)L>XpVptNk%_qZon#8w|IKCZbj?Nu zdFh=I>n*VPaWD+G3fTNrRM3pyEm`Ga=f|tTc)HnIE=Xk*n&e3xa$loWtwc~QATv*$ z-UdZsmYwWBx?r((2UpCYzru=@y&MziSVkcEDVG^sIERp5{jFml-)!y3?8W-w+%f6@ z;V;r~E$lX>FJdCg0D1@*S23+=YKzf-S@|uGN7ht6-LV;8zPTPi`=t(eyk6BuL-^+E zbrGy6)51B=Xg&q%7L8-eAsh zYqj&E?K|VCK_WX=buQ9&en>1Z70hXMq%8}}797JSGFNWZ3iA@#Ic=%>_+_8FAKdic}y^JbNUjGWp5m*hH*O`)lGD1;AwAzqE5 zuJg}3>gpL$0-MiI{{b%KRezmqP%%{kB3a&Dq%G@1+q5+nY$pJUc<+sfX8y{=rP?GS zdkJS#S+=#Q=D0h{N966NMf{Yz?If<x!45T!4>JcnT6(6(kx5od3p_0LgJ ziZo7K0HZe*IW}%}L=PmKfKue z9W3a^tpP%u-uvZ|pDZY?L<5@v_Rm`QbMJCOr~3jpj@B-_<^nJ7jb{B#hLzPzgJ!!l zbk<^$>hznLZix_5NE}&9cOqB>yx<;yyp>5-`&weU@wa*;9?HvGWI3{M6~+yY_B8&o zXD2>d0XOg`kzc;QhdbxJ)bDQ~!dc9!Rks_ZF{UGgRPaPjp2Ix5O2(mLfHBd9-B(WM zD>N)uxx0ezbMi^EE(fHA#fzvR{lh0rryU;wesgKKAj-hMK!+HS=`=}@q=Ga6w)t?* z25q9XVf5(9fcQ-mj#hg31d$;piHa%uCy7G&@=!cHx7Rdq>^Ks*TbD&g?ddHxggN@7hiwNs zOSS#?3}Rtuc$w)&kwAXj;7*8uppr?SP0AYeWc3?d>qRf9?Zq<`9R6g8IgiqvEzD1b zkq@5wX*H24J$b>RuH{-WuzAUFt2SoBE%gS^NMQs>yN96^UbmjRw`lAIf$@#Yb8T;dWuu_&^!;q2B7Qda32PWCBHABJYuc7I4mi3_}!UW9#&rJy4xHpZm zD|DiPsdLHvOGpWzr7ZeP1T+-#4{HF+a7wAZ!EcaZ60zO6Dl`_FZAxRviKHNTZ~Oi+ zxU?cOOqiEh;#T=WNN-q%p=1enIf)NNuHV#TXadQPH^v77d)w zXhH{12iE7W)RZlB{mNJXPjMOT^9eStgwhj`K&)B}8v|hg{ZbRfmE+lY!XFcqQ{D{S z*>``?Xd!tlO{bT%^t9aa;bPRDjngXZre=XZ3xv3UAg%m;Q-jVCkCKJMN2N84Q|6EG z0tYo(r%%j!b$I<^PRC7kW<1Sy(=<9N4pu?kqPf6DFMA~fS#b$~&W|7NXRAfp;;??< zB<^5nSTniBl5n^x@a-ZOvL1O(5{n!Bc0z40I-LZO7|r0v>vApO?NEwiLT9)LKLrk4 zPjPb8rV?wkE3`bsDV;ymnjlk%8;BTONCU@lX6Sv-)Jpgcz45YZ#n1tVc|$*8ENw*r zisdl+Vnn zF{irr?Wk$YPZ-(9zFoD3=W=TdwDNpO_aYZ6cWd@84U4RPHVtZ9pj*Rfls2oP=&v%< ziDL(r9_j=vk=p84NvR9bxFlVP&^LtCNiCzpWF8zYWTGE{{6JsTk)m!>80#`wlw=GP zlCPhfc;n6x;%clV*W2aoh{PL4dbNA35+PWEUs!(CE@eV`pO@rqJ|C=?-gL1ogHkF> z*}21d{@O?Qb^UV_D|4ixucdkGNv{#(=QRA4_|3uL*O8uPPpC`K)q)+XjW&-9#@g}; zx;kthHQp|};qjvgkJsib*HOu-+*L-S?Y>@&neTSjeC34D@ovog$pDDa&p>$RLl@2dh!>Q!TBD8J3j67K@K4w?A< zpHRkI*d?p{zQZM~*}Z_~?*3M2{V4^3HfH`F&jg~O=aF9Z9ajQ|QpsYp9LFd~q32j2 zH}nHQ3l7b6+~p$IVKk>sGOwpLH}3$RU}6dHA_eqrCC+K!genU@M5_@`VeHq$c*uz) zJ5*s_)~*Vv&MZ}s={0C*Ul#6$SfXug)Zz@}VilvHxtDc8&ykK7pHMY<+Ok$}S3w<$ zesw{Ym;w&a^d{85vxn8>kZ>+e7;q)x3SJlB^;FrEBsIj<-q*T&g5`lbgj7ac=L)hL z#6rkFHa&XeY!aq;7bc;C`eiL{SC~yL1@O+E}{<}O5=y}-a#@P zRvMim<{X)xgVRzfdE(^Mz-tWR}3vGXg+tmD5#6Qm$B22$NhzVp_-#FlGdrV>GPG?rKEr@ErNwRJ?1 zpxsmt5-h^=FGxUM$7PK1iTFkizq!~%ZC%M|asr0150-*=HMmt3ymBvGeG)8af2Q{0 zxHIq;(denz+m{*Syh@~^iCAO+eB1z3XXF?@Mnj8K4+r-m8UNsFi8D&nPvhn=O{(42 zu~Z!5uTV}GE)xUG*}7>jTm%cU-T3A|^m~ES@mS)(t>}}(L+Fb}7)wd26j#lx;>(wx zh;sQvLf>~evaEcZYYBG2TWa%Gn8r`4fQd*WPs>V>CfA(vN~)90wbXSMt?mGhd2{&4 z(h!|_1&ve{eB*D@sfDD)4IG+%9<0%1@h0B6yD7&4;Xbl4`Y}5hTqv3QBJ`Kb1t=p5 zq=V$xLK^$Ytm;GTEd{Q@$g140r(pSoN~9c`tQeQZl#LmQ#NFcJnjKQdy)C|uh=Aiov@DtWm!`uW?g+r|K^D8BvhV2p(y(J zyOi3vdITL$pck{yF&b41b`yU6jwd!kz>=LNPEx}(n3fud38rAE4YEM8#h7M!ck2^w zI#T~2XfjSjM(aHfam+f-OTAp)2wv0v+Jp~++#v2|cE4jzE9Dv#$Rq&JyjsGseq2Ka z;bG-t2W8b@HRYkCOFA@?0V8>9^IKi$22B=i4Z4l;$_7c?73@%+&JH^s33-&9&o7>K zfkDd?cE-I|ni`pa)B`f^foJx~5x3MX0x9g|OgueT72M~cVXw+0VSP#nnRH$Ya8waeBA3watM!=&fLpTT|NTXZZSdGfS>~ zL?)Ezh)$D^DJonKmrvJ;2J^sOA9&yrMc+LMzNct^h9TQ6t(pN??!__4eZN6L+xUuk zefi)00|=E(CW~{?Kbp`-u`EBcc;9f5H-Z(q4`R7?vN#`#+j(10dt;E{|N8hLkZE|^ zpJqOB=)R=}VU{XxxQTq&yPBNvDqWb+N*9RFlH?x+EH26}cMcHJYTsIjB}R{1d<$^W zqTJsNEu5nGfDZ%W2SYVnTPxSR6m68k>2-hR#yj$9XJT7CSP~s%p@1|U35$LWC+Uf! z`30ugA{Wo~xrt>aPcEOvAB=O6;`)|2w|UVhTP~BagXKr~(T`NqoiVM${ys-J6cKfo zUc)$(JLOwSUQldJxcJ!+&8-Um{Wphz!m<2hbRh5jQIP;3xV1d#LVbgZeEr4Edru0J z7$951fI+=6wq^eBzIMF!U>nVN%m_>zZXdbj{8C$}D?aM=<}C6otboi<#&emTB(czX zqIDIL|7s}$(6Zkkwh3>cLWwWDUc?=Iro9L0!Zza*p()3_5B}RU2MpScXpPd6eAlFV z@oee@%3~JLbH_|;!BG_vts|~b(I}9je;ps%g0gcR;q6vtcn+~oz-8m7@i?_@Iqoz| z)epmM4Np+VuCS@_cbwMQR)t#Q4(cQB(0!;calHNOe=wz--+4P_Nf5qlF7~Y@)Ve5C+(DM{Due@X=GId>icaKB!PX zZ_WvBQ%P^TrIzHINY!0lwOenp3W%TdN^Om}mf_o-HR zEpj`{C{6~pQa{J@j1`w)yiP!+l%wQ8t?XJY)h9e~tL;vDSD!0GF_e|3frQr=oq{QV zN4;{7*r>)3ZtNj&;2ctNJ;!ulXJWT#v{9-cfHgR=?ar<-uWsUE2Frwk>INUQ29-sbIk;8z~v{ zSK3ZH<`7*OFU%fef6`{Rs9Fw_Lixon zU7=u{$GX}sMAiYQlM^nRL2i>rFhZ;I;Yo$$juV$2 zTZ@o=DZ2NOpwVzCw$*$x%_07jQs);1cFvWV7->)DrO+E?1|TmcmEk68FdPiPt+)#1 zM5%2APWDoRfFN&p*}0b7)sK`eTzBYls!@uy`F2IjvLzEZ%~e6<-xbl#=^dB~R&}4T z>v;@GS^~0&E6TE9r`e-1t-I_X&wIFE@<-t9@sW{c2n~yO=y}78;rQ=A^5is~8Pmwx zJ;K-Ec`SM_PvCc8a6YSy=1wMn>UtI8QNk);(YgJXID2%EKO1rIa@m_S3bFp2_f1Et zA!hrx+mLjmo-XN;9)pl6k16|_T?rKhjTsQWE3IoZq=d>Tkfl%x7{+@oFHN#|xsKby z+YSC-zbg53E&MMt#iya?cYo0vR5eHf?i8i6x()hW*lP60ATsT>N(HP(W6K>CviC;#XCrf>#4a~EXwDl5=pS~q*FzMW*|T~A(QkGgz2C^ zxv1R%h$k!!(vMI2SMnL4sI~5t01293QzGwsfpmp-l7bBxSpLG@0|H4~!HM)NO4>W- zUhL4~1eh59->;OaJ{;{1I4kf3!UENU%~~8CgmEy`s}$lrJX6H5ido}DUfmwl*!dV< z*;}kOp&ZA`qDY<_hUn3~I!t;vU zLyi7uY9Hu=L!D_6PX+qR%c|4`Z{CqPDt~bxk~?ASDnk^2wiEvxXYh`=)e&HYao%xz zo`&74hIThq{}0I-KN5FVZ9G4(#W%LknE&QLao!JtSCqy_HMD z*tGzhVb}BpWr#avPZ)V^CF<+Wk=Bc0JeBqE*H|7BT5ZpG6@sc_V=qplii~m0K8<4$ z8Kf0xo>Iq`Zidxc4rjN7Zb2PR>l@D{$Ju7=)Nl_lGcM|(#>j50-Z;AMy>ToJPkJ%+ zRNd0!q8)!FU`KGb^@GKt_srsi$CVZVyhNNK)bUzFh`E^fN5PAD4@l1MQN0xio|QSv z^S34I=3Pe#YVJc@U9!?{xry!{C&>gE`5evp8paKwnB{z$sq6Qkr26&17$g^nPk1P3 zx4a?%s9wLlVcTxZ7i#vkKGCuWJ%i_Kh11ey)CfN5;8v2V9tAb-yQ z?UE=^cw?6CU+#&QhSt$cwU^_QpzE1HS(ixsRY!dRB=4N+as}99g;-d-zhE{}cE*tG5|*DSiZ@Kh zO-vY~X3ztDQ*x4Q_9oIvVu~Ml%|ShLC8_FO&bspK_RlM=`Bq^QR-`X-`NQIt7LO~y z4^@{nXl5riX^^h>SI!@BXi>OIW=MM?IWbg|kMzRba%7SI(edbpp21GC*z=18Xs6XZ zmaAlD>OQr!1PH>d5Aht4we-JgvKRQ|VC-2MZ&J!eK(ZTrgZ|)_p?`3{n|N*wN1c3T zi40_AAi+kTO1?`odM?$bHaQPpgimEU!u>4augS|DyW>h`f#SSab*o$rWqopQpTBog zLBa*7N6lyHxI%c}S>v3?>6Z%u9zc7z`KU5f()0Ipan&_qF+Nbr+7S}nk>VhqJP|!( z866qn4lvH&oaL3md+89wo^OR5_pY+_ zYx((T+~WP=!2Kq=Y;bsK8YLRTIB_B+Wl&YRrrJy1LsU^7@%aP$N96W_CBEaNz1t^a zMe7#lWEwEdgMV3Y^g0Oqiz_;p^PD0Tp7Pa=%`(QuIVxsCtdvB-xN!4atm&x{JK>;rL{8x8(!P*e6<#-Wx zA`n6|#oKy-$v4D%vN1o@?b(&U$Vfe6oCuIlC=4l6As2>7o<$-Ayq$vGXD_^mF2IdT z?JNiF?n?%b-al5=)K=xNkc=L5akt7CqLlGBxLBOn)F7CL?02?J<avBEAX~Zb%IZxIxM}BKlRx@oZ)Ebuf^Ras|w_a(wF*+lj~<^%Va-IPGhiEFExt zAWB@*F0j&dFq&R#C^@glu#Wxfy*@~yi3xef0i_8y!=v#H01iUP7*r2@qGz*jx$H)e z?NB|5dr{PMl_<{K5KnvJlELE7GE<-Q6VU+-%;~LuY;WJ(#J{q-%I0eC;fQTH*_=+R zhKyfH2Qb;H!?^$-f1s4P-3@OS=@ZEl=OlZ-~@)$acWqIj%+BB?Q6n z4yM($eXxB??LJb%S!Be*DPJ&cK}=eF zW2yPv1lz(i+J?-FYO;2-gSiyogL_bw48LwP2BZB+i+q1xh@t zxMSmpGW0Y#fXE}vGHJLb@J)@=l6~Z5alt;{7)(K2$<7k{y~RFmLV8TDzs#ws1a(mB zWQkTD4;YE(IH))YGZLt6QOe}Z*W$G48Bo29JQADZI`@k1K7Un_aeXe^w`y#oEkCTg zeO^teEfL&=@`be%hsb#;fZfh~!*6#yB0<6zdsU~dmrQy5IK6$$CGyJ|y*YTEt zS`W(}*dxdei@etqAz|C~S=@N-vj!AD2F2Gkp6vL$Re0R|sb;d1MFGi$9xt!LLp5s_5x!g$N0hFOwm$<#w z$=JUuhI|hs0C~QpayzF!w~X~#kOPk5p930#3tQpRfX`AwBa2k-v|rm4b7ga`Jpf)v z)Vo9DDo_Q{YzRlBBoAD3VDKMJnj^-uRbO}zvgj8P>q*Qk!G;&*ZOigksEx2W!7fUI zV-JFEFsKi7zZ&mOoA{!G62~d(bIba~@Ou6RQS7VwZ|%iqAL33b?r~I|C{m!Y6h#~& zUQecZ6Ik;6aI4k_Tyqg#T^kk8Bp@;O&%QKqnBmNFa;;HGCIs8@7py6CUVXpvVbo%PhRmkVb3YFjnIu27vO4l|U@i9F-&OryStME9 zQ`&8<1qSe-^Tj~HsZj8!pYZq7qJACqDy~ygV;%CR1OV=@qYMw7rygkgXhkvdvuLq zuaRjfNw#plDfGD%A3wumM-l_9J0KA4HM|Iz4lQnZ~3&1Z9zmZT{aqP zLAkjsa4QT{lMzWPn}vorYARZaON{33S|d;S7J{#zLHyGnK;VzOjDdk=k@<~JKOrJ4aGt^i7icKjhaiNm5%(f6~ebXJc7x6$nI0S3^c9R-;xz z90Qo+juueTRljgjxfF7e&;VA_vJ^77l$@f9Vv_TKC9LXycmFLaq>)s&i`g(}0SwI0 zXgL%BoCG4v)<`f?3XH_S!0>MZcDh;$GFK+IQD~VW6;ggR*oLc~G$yvLHDgND!fvAXe`q43t0+p@G4{OFZ*X zM4|rb;)wH+K!D2yQjEO)D>w;3;IyoQra&SUG!n2fq|Gm0#u+*h0TtOx^LU=TKw)pA zcqpE{ID(Em$3q+mFf;~20!E7hehh_vBjAHv@-86bCiIO($QY0y0|uZFL1bX@CT0kP zz)#eoAa^35dq9Tb_Vth3TOM!sSOJh?g9M{L4U%Zzzo<=M)D37bMuK?j{Bfyoc9AdU z_7Zk9YyZA4nV&|8Vdr1VUqFrTVnn}L1PU!J* z0{T(xUjdyz$xr6D^r2tVhu0oPpFq|W7%(9TpyMySxi&wF(x7o9c?=%+LSqxaQ1bG@ z{NY`gCW+u620##TLLa~u{0#8#GxG*Xn%sA|0?V&!`f=rcA*q#k)p-jT3nOhF2&v5-CcteD^4g5 z#oe{IyL)jf?(T5t{=T!%-hF?Z$)8#GdS)J7SF+}s%uR-aiNG({Mv4UX%>WCTLv1|b z4?>|Ptjb~e>iGyc5Z13o)4hKHb@m6IwvjfVu7fB{uOE>Il3IL(IG_Yyd*y2nh%b)u zMMZDhe8VPL+C`|wVup zRIfdCKqeUgKnNZ*>j6_MryW3$i+)7$8a4ymgV8mYT$hEs>IOG5xC0{GlU(kaPbSpM zf5r1>LywFwMHx;0I;)E6a_AlDt;Sl!y?+M(L_A#9Fg7pqtZt%`G-qddC}NvA7cjk6 znX};4QhMrzZ^ZTa=3@CH`FeQK;T$U&S8b{wght=oXH$_PY7%UgRN&g0ub^nQg1my@ z5|L#ao%k$ec4or!IcKcN)2jNxTzEd2+)`>3>&3&W)0iOGS)jYeQnEiaicxCV%8HZI zEfrQCFSZOrhH8CPYoswOdddt{3ilvo=Y7e*2e{y|=1{lq`8%|*Wf}|v*U9U^3M+Vo z6`<*{A7%Z>$~xE*c{Z7@^Yc)CjwK8q);4leD4z5#jtBEvt5&+b#dEw0{uQq@GL}&k zJBP>*;YoeUcdaP_$I5rDO|q64uAIeW2fUt#L+-cjF*#EngBH?!0dBb3kImUCtu-?R z(~AnX@2*{&&?5N;H3H+DAmpo^gew!?v-~49>OPB3%@WVf3)jdyJn@eN@$dK^mW>jo zOMG6AY(H)rdL~7r1-Km4QC#%aWDM8%36xjbKkyU>n0#V1F3W?B%l$MC;X2%6Jk0h? zu;?#0`K}HQXXT|af5coC?P$th`Z$r+5s)&+6F=%}bextFlA*UGE6XPh!0$OgvbiYs}J{$eJKieZKOu3t_;fBmKi%kp^r(TeuDAVWpSs( z>&*f`G+(KYEM6~3eYtOPT|SAozE?Do{AjdmPe3LE$5CxAX(4+ER^k{CJi|GWavm&+ zTu|B;VmPYks1umJx9Z!2OrSKE(!t~*MOuUGCkRAfqGy)$_`Gk(%ds|(qH>+X{@#{+?AXXmT21>PwZRtSsea?#PAE^#3K{v#_3Ena+Nx?(N*S{h@5hQU!B;^vb#_~#0Ct$%_%7VgCWZi9 zyDIg(9wocNw^n`wzL8Luv1droWE>NTX-9OpnPXwr=E-mm(_N(I&9Mq;n_6w^3kG{Q z=FjduoWsIvgxF=}yI)zTPlyz^^U|!}L59+IjHVF~VBR4B!diZ5A4N3IJ_KTckJQRwFvFFih%$aZMc z>5ix2r7fFHGzJW=#MQ?8qz4tJ6n(8U;*x4+?bNqsYX03`K(@6_pp43K6|cyAN0vsJ#Yo}m1AeCYHRc)#QMWK(BDMwj^}#XzV5%e89l059|; z-QtU!7cJN&DE$E`YgVadLb@QMJ?;Lrz4BoA5$1WCJ>ZVtW0C z4^5{%3Md?HKAIk>I3k02j1#Gb-WrYII_|xG-$dEKHI3&Kd`AR?sxDt_1tYn0KwG_5_)&PN;pK z%(oY?m^8AO_^4BUj@wcH&`C6>;V`9>Zl7DdOqwx4s~+Q%TpvLAu`MZ7O7kjNb3%pS z$X_gp*2+l|Hn%9F&dSOaypivZ{CV}z>sXx!C(fOfOY`-)MZZxS{9Odt|2Ok|zkUqCmBZYn| zZFv}0hL7h8)MnX0_ZeEWCx0-0V+-NIghP%K%F;g{Rq(o#!uCQ@D^AqjZz&?ek&q@x zF}r4~8*Do!lFH{AqkZwVd;Au7oM++swE#D}@^R?vISblsdAg~m^$)91j8DsBB@4ei z>`)X|S)H+L%wSKPhQaN7hVOIqEA)&$9&H~4Qm0_^Ol9f$98^UsRyJOl3XzS>l&MuH zFz?pnO@?8zO^O9*6Bew^zu~@MwW25G9GJ33fTt8J4H}C=4@z3#M7xvKD>W#X{kq<5 zV=syAs{y)NX2X9uBN8(Fg#R9LPWM0Qg0z>z*)J#jsI7 zp&3jqHueZCK6=H?;aC;bix|dDwrd%)96F1{I-aNAScR~i!O4781=}Z!A5`lp#v9A6 zy50sx*FF?a1%WG^p%Je4{LKsehU&Y{7mgI*EP5{^-G&fXh#;6gF_?G*fnHRq$p{Wo z>S}lD!LYyhjNcMRF^Y#~6nX9=VdM$xoN?7h0X-^GzbX_<6#rspXF;TFQ8q4dw&&c9 zJ)}l0(F$MdXci>xL%~!*;k-7S^iLy&v{(ZW(=^l zP8iM&;Wqa57i0!iaEBB>I?SI%a1InLcB40zCKd{_jxR$)zoD@S-wA@NRoOHk8{Gp8 zQx&B+jPFPy4j55@+ZKwJzqbA)^j@sqm2~>~HJi-lD1IP-+#mad{N@(scPD&od`wRb zT8$J85f@nXQSETH=d_s%ZIz--O7v;>M`XN5!G@-iT?b~Gk7mV!PxcYqiSy5bmmL1+ z^t3=Qa{X6$y&U_%_gzC*9To-$OtU}V#RycEHC|?BAzj}uVA*bJl%GYDSj09qOzjn0 zyOEQBZub8%!J!w>M@Nt6`iacrgh@YnpR;gS&g?zdvF7y34)#4>B!PQwHWAs|?N&a{ z>~7rjcK3>rjbUWlVp?7UPRmxgo}=BdO5NwZ5N3NLE|O)X|dt0bNa-J z6)UlPdGPO+6&ozIrVlh8FSF9IlOZ=YsOv@C%INsq;~Ca(?thhkL^8oRg$!?(BY7|N zCl$Y`yS8=KAT&DR+5;^Svh???vaD$uZ7rmOEwt?`SxDaV#Ci;34JK{NNGBAGX?hui zAhV*$etFunopF*RP&vs5wV%P=+(aTs7BkV_s++`D=RbfTS7M* zLWgkZ+_-D^V*vB1BxIF)j%OHeGh;JrsdPmnbyVHFH=5Jw1^W2gf-B?JW%lZI0yomG zW?|%Tumvr|YeXb8v&0g^^yx8YFj#Vw(7ytT0BNo}>HHyBtT=!H&b}wZaHElvUJSCzT=co&!3Z@9p)`*R2HAKT^d4 z5~JziJ`j&uj{b7?E{Rq=eO{rz^X?21I1$!v0z9IAH-ODy(mBdH%KcK?`S6$s&gGep zcWd!(3)Ix5QJB^(2e48ujaj|b@%c$!vp6vS!?){fSCpbYq#=S0-xW%2YQuQ7bcbpZ zcm%_k2oWPFYNc8<5!*>Z`(d*=TR3jUc%Qppq15oxKf}}8v@7(g!-L~GBmSh>GE_F| zy`h?&-z`Rdil#^S47yNxS$Z}YY{ZMIUdyg$e?$)WG$&HKF2s6~VvCK=fqrB3s|#bl zp7UauL)$+-J025AAH}CLD$T@@-!_n$!@a;=$?_xlw`Z?){)Ks}`~Wd>Qy8YWDA!`| zRJSPtJ;D#A_e39MFMo+oKYR-MQ9L14u}Bz}%v76;!jifQ<(J5niXFx01&-XsC@d`D z&i-60vEJA}ZFupOo)?z~WDr`d^lm^)nQ<_QIVtrg<{cqnazW67ctJ#h3cQ~GL;U;@cgcSEa$?z6&I2Bx}(oH6J<{>&}yqu>(>$y2z0n&HNk6JTv&Vpm6o@#z(g`Q$q zuU8>=Xl!_^T#RDodY84A$h9th&lnHEDI^%EXH!ZRb!fEar!rY-%QM{^oK3kX*t5U;mtc3W=kCvBGVTpyH%3w>0}9+@^4u|U7=qV7@@ z3)&38Z*MAx@4s`i0f3F%DsY3lf@Sv=^G$VvA}zTc3-+=tq-rx7$ImyeC}i#4jo5Jd z8ER6DVK0&$+~)3GrUTRtN#mY7cp5uH+34X(NX_{TBicwM*U&z3=A0S^2zei1aB|Kh z8&tCw1!>!ic2wBVUecn_}BXYfWAmXW2e? zC$Cta=lSJTxLTogw;jc>IBAf)@{=LJMJWgXsAH;*EKVJM<*dOeFqX|W)8?=C_bEqg1Dlx7=(Y##p#Bu0Tv6h-(Btq<;eqvbPZdDSASI1aG213O0Sfu5uKY za_H|SJx@dmC*PxzpvIzd`uqBR{_KBArHq;*0U=Y4W>DTEndA!b|B~c(vgDb@#b@d> z!n*Uwak5}pe&RW+voqhES}(;6zx*!ZpXeI%U4t-ufJzs=3&`i&@UHE!P7eV@udZT(Q@7}HF_cWSMF zVTsWVa*Ag7>^uEK-&FTfSJHky|Yh ziGm63svyuvrUx~_CuCQ!6 zJ;pa{Be4F3c#8jWRT)hA0`7)PX z%bN@wB(`WIE?l)(sHH%twJ)Y>P*7OD0J=A#SzZ;IP`}c@LTSn2RO$9nGa#eB_t%$e z%L2cp5QZk>eQv9y;Qu`)`b5}aV=qWr5&WVmjE*n=l9JN{Mb`Tg%?{@8z9f!)6QcGg z{mT#4?^);PE=)5h_8wf9>eMcA{@=L#*S+Y(r+Q9^iW_zQeqRLidknpA1Zo8D0DgKViZl`f|ibgM~Q;L>lvF`93$~%QGoRd=4qz zUqH20o8ojg zW%0)=U*;HOdZ#7gm?mtc2%3{6IQg=M7eS8{N1=}8VoH1ow%S>KQ6j%H+AQ9Msppeaq# zNyPR_o+K1k)^FiV=&$YYG46Z)85)s8JG}RBmt8j{O1E)fSGn@!+gxmV*$KrPa&Z|+s zNn7!3F#cdDcg1&;-U4T4Vfc;<&JG7IIpC=Uuc8UlkLR0-ki%_R=0Q0N{XxB$+|+8e zGFn!zVsV`jrTvhWO8X+!8Qn8++nVv#=)oLI6@@y8fsuEn+Bw>O^-xNi#eU7EvV&`` zwyX(#Dg*A|(hy?N%fRX2ys)foKX-iJ#mER7m~=1Gx%C(D$9+*`#n-W!d{P5qc{uW= z?BF>6=UB=QpZt#qR;p^;CJlsa_y~zxzg($4JYRi@@gLX-I0}lZ>t3wS&>pzeS;il+ zUqWM4Nf#QBzn;E!Ir+_)SmwrXgYWJJfAGi`%z%UCtjKIOrhd9r&8<~;eaVzAAFb;? z2UesTJ9JlAMep{QT5H~*bw zuU`s!<^}ntr=#CWJ$|#1x9psz+wKhtAdnj-wu0byDr6ULvE5NUe^uWb38dTV4zaR4 z?~zRZ0@h=XoY*+ZX-szGJI+$$&@4mh0JmsyUzEDr6k0vZsdy=_CT1Vhe%R#wQa3cF zcFi#gkpK>3l}j|4AtJ&>48=BCWv>3-RNSB@N~eCHayHzSz538u>DrLE<9B%3bd!@k zxTsSDCy#mZz7<4bgI+ZTNuUa9bBW3`72o7v^QBi~XZu<9h2z z2y@zdOZf9#MCGEu-};LoG91U=)4g!xe&}DB-t4{30*d9QFy9uX<_{@CTj72LxgIAGwLy0v$!C~`Sy)3Aq0W$BE zbo_D!7b7s_HW}QmiA5W-yM~3wRR!wGR|mI|&}B#taWnMB$7G4pFfCDqk|>+{w&;zE zowg)2qM`(l6eyx5FLg8u8mos^`m|IX+L64Y{ps0gt!fghw`7sIj8XH_4Bn8CG@*jW zEdAcY)c~jHE~ZJgGS)4~M{IN6DE@H4$qd!w@cv_3c`V8m+y@L>(?zsMha?R8Ab^{c z9VYN$`Q?#94>R{8N`h3~!#&DXMM3HnbQhG28Sbr$b| z+GK-d5wH2@DVp~VQ^!iWQQ$l~9VUI~K&Raj3a&X#r+3`ACt%kI>qymN!3Izvz3oYR zzY!wZjP60Ycaoru?2C3<{m~w)i*r#dZnIIreIB`GV@Gk*ll#n$QY^H!&$1^vJyG+Q z)hu8|WVUG%$i-u4e%DCi81psG7x<|`HaBHJJH)MWaqtPNcmD+q?CaUIoJL{_4?W~x2S;DA* zi%vQ8*m*bR3@OyyW7i14i7h<-5O@epVEdlW#@^x88(W{FXHPD|g?93;G^VX>6`v-E zmb<7!M@lCJ1I<2}qB85Jvr_Y@&~rv0!psGZwX4{)dsXzI7Z`67H*ryb?`e@$ink5s zdl`#;(RB()!*fn!*8$7cw4}*f0?)D@R)PMlzfprO`y?lU8egn@M?%!1 zJ&e|4)s`nM2Dlb;t9LWHE=UuzR!8 z_MyK)qTpr(%Y_CVwKC$97V-ittp*KRyb?Px!<&SaufUY|##Tp&T%asT5y>I_k+8Gn z#k(yp(LRTx?;5(M*s~iNzsrb9PU9Owb{>>;BX<*l^^G7^tPlIQ>2v_sMV%?#=p3IU zv-5af2cYa_cj)5$n<$-@goO@j9?Y9iF%nnkCSvI#MKhIdJHqo;tB@Zx!6T56Im~=Z z7VHIXAUI;p{~@k%{~=QVIqf;BASM(vY!&FE2I zJ|la3IVOKAFg?BmSY5d9tTD;+c2qMmlz4r|wOh2~tN+scB}+i4>adB#iEsyAZBEXa zYf)={mfuL87l9g|r1GS9FpH{oGh8O$w5q+9;r<}^Yp9d#G2dD3rD48<7V$Uj> zc}>Bo?IyYF`;OPJ_BgI1sz>BE=@`PY=N10nUnvu&rm;Vy zj8Z*4cR1!rJ|P?uu4Cm^fy@##r=}0$(rzUVf*g>Y46B=+3c!23H0tNb-m@l*S?@z& z#`;n4rYQ5163Cc5f&yGo#F+BBdR#=Qj5Mz~e#}Qfi}2mwQyJj3GG24!)*FYSGSP!| z=SyYUSg@VYO1!+-U&Lbcr0RS!oI>VzL3qkosMt>7(oa0LdLmm#z^vzMRsAEe$yesA zPF^etO3WYiv5lf!O>`UI%Xtz|cb@W6KcJw*+0@aZmYQYM>w2qo+JoJ0@Gb)=7k^Qe zcbS`qz+hZeFMl2G@Wj@}-+Dh&GI<9^H<+*&(+*X1m@yZ>C$;9@1o^{YWXl&5b8aie z7S*t^=ARITOs#*9%`Y!|ciZp!TLkRYnw$SVlqg@CkR--b&IH|m<1_C3q1wpC?0b%L zSt&k{Iwrxv_%A{E52hDGo?|$>F!@<1*2L^Jux5Q=SK@2{=Ek|A$J=dMJheP2ULvxpwlL2RC+AWA*kjFuk-gVBl$U>+VB80{qP$XCO5UH_K8l8#(xk zWf;R*mV<=ibJLu~tyl(vkV_(%bA)zIVPmEsQMA#N>sN}kOgSfIi))OjW(ieKt<}BH zj|k7#qV3 zDQ}iq!g!;b(Bvgm=KU@NvA6DH&1*BQZLH(n%;%MEQ@d@g2h3Gi9l5KboM^-ag9nxU z2-q&A_~u~0Y=%}R1}I`~E`%k73XBkS)6SqIGHQL+=RsU=JXb7MQQ!X<+>B1^oW8wT zbYoU$RWyKY10Cxu+i`0H-s78y@V>DMyicLB=_i~XZM_>G7Ba0i;^-*?#?5ibiw>T` zVw@*y0y8pI-s;lN-R?d?8;SpLx3WjuZZk79@5d^1EIO9=H$`r^xi(&no-7U?FeBIS zel8v{l`ytz*YZ$PVN-S#MIa(oXOFaqABN;Dv99v?+MWR(k&!A& zNh?v>7|2NArVZhfDiHom&N&$J4fwNOe?8Msip*f*+ei|t(;dI1$eviniOKP>P%3O5 zgDDvq8M<^A4nr(FWg*1{a`VhbKbrkIa{r4YhBN>XtFMPLnC__0fKtOv$x#3QQ?9Kx?HbyJ@6e$IDT6Gbi_ZM z#QQ+&uy_xcMZ(G4s*?N!Nmp%nND@10_4$N`L%m-*2v)$WvJOpvEnN4Qyg=|8L5j$; z&io7uQOoSZ6qZ7IBQ-cz{D}~508J}Cw}dBn`4a9bCp#a8vw?4HoHrcb8OHtKYyB^( zkmh2!00i4{*t7erw_p8f6@@`7t=Nl*S#376W-xWuu!CzuzWJCG3YxA(-U8KI6k@`% zi{U)Kq`=$zGMKeInN;m5fwCxZWS1Fx7jK=SWZvBgc+2}d`)OQkCXTco^m=HmGCp|b z%ojPidtGB@I}JKSLk(`vYuDQ{-vT2|6&`DLP6s(tZknG!Q*s=c*1?!+P z6BYAxNFv%O1st)*#^Ikpverf1RBm>zp>CL$hl(qvd zVspB4O^>9?AUk~Ae9N#`w~ZIi>_!n#etnIUhdA5F40A1&KlW$=ZRjC1qXYLF%yk?Y z#^rRqn~lE2(oH8o>!4n!%sE#3tL~2nB|^hI?OVOn151I^crWSwpQvY)rTSeKhjPW* zvozqo#xfgSA!$EH0&@K+9?Qk6c&>9oMn*SO9KrxEHy~FMy1FjN)XFwdruP=7 z0Q#o9IIq)@41Lljw?%!txzPB#I{Mj(YY;e*fXnm|pH0p8xW;AuCYK0|mpa$-QYrPT zzSh#n(Md&gr%{|TYzf`gGu+qs?%BJTOM~BqLsp(##@s(I$qtu9N0b!6VZ#V9d=nLP zTi>|v-pBSW;n~-t65DcJP(nfkwx8C3L6;;9kKbW~?1gSlQ2lp5lY@%~Nk`?cNp7&c z>3!W*i2usyc%Z0IK~TVw8k(W>ZGOo3EgH4d=0=}L`WvIXm+(7P^tUqSIeGwW)Af5z z`LWoFn2i&Y!CWkmHhQMUuaW1qH95T+X*=a*rB$(O z-UX($#l~v0mCuc(PxRqOb#sZnv*BP8yjYL?6kl?AAntE~)p(aYXq1-RKLt1_)F24x?+ppa4feI>Vb zjW`G^xz}8B7J*;7=1p(TSNbh3S?%<(>nvc>dJyvSbKFNngC5)N5xhWE7d*YG${kY z67P|i-Ir6+hd)d;2<)VKa^XlQgBah=NFGooMk&l8aQ8yctPqKN8f><|H<^k{DXEJ~ zLBj4$kp8FpXTK>k2x9jQ8-n?e3e5(oeE0=9=mAu}ez8D9aGp8eumK=z&m0 z|EO%(fDnuq@%Jn&EX*J_4mK8u@k#>4^oha7<8 z)tvv9W8(mVUP*eGz_0MXm9PQ<|Co@C1HkS0kQlYL1uQ)KO*>=IHvzB#(%}1nS&YhcW79FOu)a5VSTO4zm))(0L*`T z2Vi1m{ZA!-LJ0t}f&L@!f1p>4RpB3lfvimIe+vRx*#A|nuVellEg&o4A8C5U*jW>v zV4(5AuTLbSf~~C+3EQj1e|W0IZA@%Q{#3xfE`&)mxtW9oSU~`GCKjgG;$;Dd2(vT4 xB7&k!LZSjpuP4p(lKlTgv=MlD5geWL9h}@8j7<<;OOc5cfs#@LMphKz{{XAzaku~g delta 45944 zcmV)KK)Sz#`vaPZ1dtsAHZ(brAS!>!lH14;z0X&4%tc^?NMR!Z_&AFl8rxD^(~=xv z`A{T^Btjs-06?`kU+;XGSp}e*8u>!hl9iSFQvB)RhgW}%)^}01is|#Pzl*|Twb{gX zS(LBBJiU7;{}VhcvLa}^#WD%w;Fm=d*u^pmzAWNQMs-VT=M#?`tPTSD4hw(SGv&#g z|FT%7;U@S<^Qu4A6@7aEDDa-SWliwAqVv_(%NYq5DJdRXl zdBWmM>Gn_IIwU4A$%DS#4DN$Oigzh%-X$ z%;Z($M&q?@_xV+SIm2p5p_t?FtCEia_riz*}|r;g5=OD zdvax~tDP4R&FmMCt`RO+;Ozu;r5l46B7^jTK$y>%Z;?vZzq}#PQg5o;sYZJE2H7^7 z9R~Z0cr>X7gkxzqviD<>u=CU5ecM?QY?`LQ!%-E2ZML2~*j;~4-ejmMz&jrP% zVfaW2FH9vO((R3vVCCpfJ^h3E>?u>Re8fpBVEwU$SnE=tpSpySTRF=$wHgtCJKJ^# z(_r%tR4BWVx};8-E!d6@CnAUb+9vy3}n;F#K@;(Rv`zopv~)dBCQiP`K0rw zG)l!!jPjI5j2$1~Z3h{%{}8M=@WIQm?`3~z=kc`cM;w0=Q3vnkga%CE+jinZeC8@g zyfFcQb;1eQrECeXz)|f5s z_&H)J4nBW?meR1mj4T~}9Hj|ISNir7=OU+Mbnoxq+$&;*GPrGMg-b+)YVLS|adEQI zBOGdEEM<}=Z>4#fM0>@cM|bT>f_fvM$mVu+Slv*_KPp`Fxxe;fc1=Rk2n9t7bBHY* zm1y(ml%^(|glnJiG49)wj>NQ2RWBi((EV#zZcTsh9i3K0Mi|xARs$RzWwmf|nEIR< zjll-lBP=wI&{?D^fT9d5IG)pFXL=X77>n(6XxyNkqrMfDz05ecR+^3OC8tAeDyt-& z2Jl22*G|Hq@rf)7M#3f$wf%oB-bK1kQIfu;Iak{EhsEiGV#L)h?d%xKE8lBS84T8&g2AK6Yz@jxxZq;#dt=jZb<4`pO)F}p{Y0heaEhABE&?FGnd z&{2~yuL9$4t4TDaR$5Xb<&z?ai?t1i_(p$*ha}@9c>O!fKIXic*1k&7q7M+2FILHg zFoqAsu`Xeuu{_qMpqFh(3g6KhX)>1#R$$jsyR)}Cyi!L>!Q`qLRozKZb*wP70+rwE zdWUt+40Fgz#I9s}spMKIq2N8-CZ#j!Op3}Ia-@2wd{PM2)^zG%M@Qe|9HeQ-fUAG5 zHykS|L?P8}I!f2%)9&Ne^w&K=oeN|lzt}4fE zlK&u{N7?jT zOKI}73U`)EYnR@3?(oi;!0=)$-4B&iR%&FIvxAT_(0oTp^#(x@2O4GnGggOZs{MaGxu&jy%DK$@{M|($@vs>q&)lsW2nK zkSt2Q%h>@ibNTocu3J~TYT#n=MmywFy|&4flQd^?sgN-2F8U%8M-uMiY5$c5no75q zG0|7!Q2IL_Rg>2ozN3E?q~jxzuOXC*$?KnU0(mDv>0rR2k(aeGct@HR)Vct9`#tcb zWPN>SYtrdKJz!Q=S{}YX~rwYWefFVDfN4{(Vz}2vz-1aabatl9m2~lfY;% zliBzvCyRnTpO^@D?px`uGwp?Q$CVQl_Y$=H@B1m58~p~6_hJ0^!XUUNh0~0b&|~rH z>CD`C&d*aw^|ycLRy!wS>8#gG0!1Ekg?GbEYjai$ECufMTWtzyj6D>1`shJ1cAXc& z&&Tn#o7)TSUJ3l~-k|bm{>;V5L7+0LMG)zi2j}xx|OzZT0T3-%x z?oXt97-mwETKT)YM``dHJ8xwS$}gRJMZ?P9l=1^wpd^1<2fqX4bn@*CUfA~X{aO1X zg_OUoGPvp_+X7G@f@vi3wC7%q_*auin{%w`djdftEH(0nnJf%ctTXWN%_> z3Nj!tAa9fY3g!bcFgTGQD1W6|OOM+)629kG^et*2cC42r?`1HV-2l75W&=zQ_AoOC zS*C5FWy?d+Y4rU1sjsR?(QbE=#a`MHSu7Td_4umPA0FPk|5)Fx=Bs6X_prUIvb(CJ zx2(E**!-Fdr~6q}CFXvXCdd0U8Syao_p>}*ByH38qdX2r`CSvu`G2=Xn)3=PEAmtx z8@D%B=-eLfx@besoi#0%IC}1%m1u~Fjqo|jBM7rPdBUH;KEA_bK@2zauvjI`>bFIi z%B$lQO$+M1@O-$hb6TnMy3u*mU8Wru$nl=U%<*7@z?3e&-d8!;^eo}<{)|hFtaeO^`0X%PIeGv0K2CSSG^Mw zD6Q#^qrB0Kur&6dL&H{ncgDGRVdI4%)02^FV;k)AjeBAq+X2#uCLEN@R-Wf#FZ9dY zc>vt;z!pRoJo3%nrNw+z6c?NySde7_TPdt}DQJC}C#TM|JYC9(mbqxB8)dKyE_hZh zGDD^>KWtr1>wh}(O&R&)>^)|5-GF2L?S58}!H(UrRVL2MbfFwR{j*Gr-JdGg$dgSU zxC%kv1JHJs-0+e@@$wq?4 zfSYhaXD-3)hu@?Siwd~KtwoZblr-E=-{aC2w6&)Afgtilk>=<*siW)>t! zPd5Qu!|zwDo@TFtD2=cwaM;lVk*$PfImKzS8D+$aOOM+S#A9w0uNORukhdc(lzGhw zr5S~h3V*BOTr=@*j}0d4)Xn|L4wpwdS!4L5FaX!drS!J~0%Sm_MeNC|BKcXJBygj- z9D=9vta+jzI87lHAxG7vWJo7OY6X+-&g@s5|7dzLGTmHlo3@`~E8f`psxr1d6|)gD zA7n=;PndJS;M8$mk4D8|GpIBiVBlz8WLY{v1Akp^Zs_PqPm||`7nMRHiMqKAn;XLy z+U+=;X31_4|KPt$%e*u^2*9nT&GRgPfa& zN)FU)l=8|^m?+_=pmfv80+2(jF(m++2kK; z?g!@59lAf&BqK-?IfJsfVVgYc9AbNwJSu316DzJ$zro=IpRuDNi-;5a@D&)lnqcfw zVeBv1!5a|b%+@fT4e1$ii6J@hr}0N1UgO5skge|VGqY?Nwyz{mr|7-39FLhcv=$WrP+1$Wn6i_@aho5!o)DsL<9P~S|pHB#;swAC}fSou#xeHpFZneypUa=P5E((x_tG3;D2wG*=`7E z3_=X@J3($@&xU0699yZxy|)tW&6|vP?W~5z*Yea0gDVI=_l?~dOUZJX6_HaE1fj?0 z(T8e26e`Pts9MgAczWvGUT7Qn*?3w&(dOJc8HVn$S-QvyS&33l3tqg2bz^HgMxKKm zm2{cz>+*PE5Rz42x1C0#`0KudBK^hXg!+{6wVq%d8w0jI0m;44k8Kg0)J@2R|LOWk|U%u zP&Dg+#9#H{|L7+9f?y+zfCJ|cd2uNBnM6kHRLtA1b!IcOQdTM_Mj9u9)BUhRL|qig zuj%gqi1|VyjM*3{^=O3W6Dua(cS<+{)GAU`kVH~jOclvofLq9PL^Mq5vO;jtJwjhC zswXZTS!3nE+3A2aXMYAda@FdoS(RT!xvWA#9lRNO5}Z6LHTzDgU5_d*=Eu2ssIR>- zD^dO2d+?vdwXFPM^5S^Bg9X;MHfbAW&oPgW%GHllae}A=nZq6(TdC93t|R z*Ztdv<&73C6O?OuZtO@Uxu`Cobcp(G(>H4kV4CPN-)xPb$A6*@%F?L|O<`VahsenQ zm&`iqqtHBh0CeFeN`k(9TZdY(VuXM!G5B1TX+sfN(^x(WH+0z`e8x~f!T#{Sw)%Y5 zyK47Mx!Z%I9H~MM&XCpX(VVX8RBeOgk_Q_1tyCWYLtJ&#Ko+0Nsw)%4h_)Z(MVeDo zRZ#|;mMz2hFMofhg`a2ZW(=l)Rcs%}QMG5?1?MR{8*`MImv9h!>K>t9$)q$Ij&GHr z_6H(4MR}yS*K&KT|A(Kj+h9_>cplSSC<5 z&eu@CnM@Aj`q*#@X2 zt4y?(zh!Bqf6(nVP%2n=1^NvF}}wdQn`+xWDmkLo9O{c<_EK2xBT$}6N z8-in$i^VkY`^u%4Xx)xZC_c%6C@yL+dw&LEGbWN(ogS-nQ{zjnGR-M)YJ*ERXcR$} zOK&c>>`Nfaa-|=?2~v&%xcP12vtN}?+0U82?{*VzBdP%Mxxv;^R%`t4e(*GtT~27hHXaBY$2` zdpgIB$QA1wNqw>n>5JB4O7t>D-*4V)!`G-iZoU%)tTgvM+*8UOLhv0qkzK@=K&<PXsO78ke(KoKpw>3S`K?x4%tXAgsHgvM8P2=C3?c1ujZ+}=ggOlCZcuwzL9@e2 z?W@p!6^&hBZxV(>8dE5sp2U~dTOr>*ZMV@c*O-_x=Z#v=S1H;{Jafgyx*yK->o3e$ zp5^JhT&(V9%Y3eAEyKi{e>}YT3wkvF?~_>=n-Dl4F*P7CAW|SNMlv=aF*1|=9V?SB z850CJG&LZRASi!@R?BYNFc7@wD}1DYTCv_%FGbVzi3SJ~w>=a+$P#T6(IcR!wC>k; zce#@3Hm)x*MUgwRv$LyQtu8L#h3PB^{5(l!tIaG6XIYZ_d6>;s)prs4ULbouzaG>4V1BLz3^rC-;7ljAM_TG=xCyN^UQJf;` zVm1%qA+?|p!6jnl<+13rjncLD7vpqZ6pEj2^uB}bLF2NN%-k1tZ^WV|j*!K~ zW6B`R`L;;KDRIHd|UAaja z$>q4l9VB`01e1i>n*xz-EjW8tD#}s{GZwX%bngl4Nf`RLcEwi3xv4qN;xwsGnC8)^ub&P*S764=)Q`$?b8* ze^n}W>Lw8>1nKS^LRO_0ZzdjPay)jWD#WYnZiG)%Gm%=(i6fURBExA7mbCL{g7z zJuJNwl;*>k>OO}UJB`wUW&pHr=q@e)wc8P9Dh9Az|I(W$iv{%pp_O>Pt+-VR8wn>G z$H0Hr8~avT4K*WS&6%Br)6`1ubp^OQAr0N*C)y0v+e_{j- zv$M~)J^5re1^sVVkMi9TNzN#RC6)p^`&@tjCT{=UPh{-4W=5_lxqkrX7Z;trHRdq# z$7yyubsFA#gv}5hiO+Hd-_$f>Ho+1U%Zbe#PDQb}!Qwr5;gS@GjjyW0tySyA z9{UJhQe9!QE}*56dYBP)*lKLw!|G9YTa7WA-riECw_oDT35_y;$*dB0th}+c!&*_& zgupBZ>AFaREsRrPJk|g{-XZy9Bd6KZpHT$An4}&gWxG=qH738edBHy$D3h_%7B;Gm zc1k-l!YJ^QMUI|H{3z!S8os)CySn%Tko+sGlTsb(128x^ksv95R!fuGMi9R5uizF@ zWnm;C1jl%txHe@ct{B?~JBN`pD^v_4YBVz5{QC4uLhM433(Tv#zwZ9JTW>aZuYZr1 zlPH?4({!?VoMiDNOV_h?oJ}_6w;-KOqac}vQ52`a7g*P&f?rd^kD7)_mIlg}yl6dM z<+Z_QewxI=6JLCPpQm#;)1W434{!$SqE`6M(33@Qbe`WfaA+(1t!>43Uu#=7sP5SE z!NH*>e3Rn>_2_*IR-)-Yn?EM=Nf^&($tpg1un-SEqMD|60HNTPl(yZ0p*3evcsYh} z#Y8G5euZ`CMQO(>OXW2ydPJoT*UMltT_=I;qu>=wd_iD;CB>#za@Kg*Z7F>2s{N(d z2dyCC*jz4=LgetKWgT+Y+0tBq^%<6*-n_^yCfourii(JJpl}Q)I>E^V&U}Z zjuxoJPQ;PXLHS;UxmNyv9fji=cLyhwZOz!i81ALI;{tVg z=RFC?@o`{t&MFQH8KQ>{#4U9(OBPFPsptf3mfTVMI(@LH#_NGs1;OH`my&9UHX5gQ z#14Gqx4d~6qQ+{h7TUD*O1CF8LxV>&$!rxRjD|ugkUprLxJF?c5?I<+n~TXsvgw~> zj3S4BHSJHC&Z)ubkps(9TJ{*zp0ONLVpzDd+^{ZDfbhnG_fKT=9^d9hUwhmSudh@S zy-PcZCXXuUu6>{1;mP3?{F2I4GXKe_c3YwnFDLJqgbfnFXpD|rJp7HRx#x|QJW?CR zk>hsP#?^8>t{y(Z=Ew5dfO>qH1->XX_3PSyp7n@Z%*;k%g`9zTr1QubPWYeqe1pO9T6*zP*3eQ@xW`{k(T!hd{@F zclcd&1x3%BGvz{%{dCk$hPhC*FR7&3;ZuQD!-tstU#uACwQ>zhocOYuz}Mw65w=7t z@L)|IgdmcDh;FFjE`5ksv95 zSIM%QMikxqD^zb|s0vt25>yti9G4wC<*}YzStMDspd}GWKpK#&e0}cJpf_M=rJgu< zICs)7t7k9Xgo{}a`%%1@tv0h|I9n!}pM}fWs`$f6T`vg2#QE$-p`#7#oQ)eewK=LP z*RB^W6NgT9tCh*!C~$V}U#s63HSn{4Btg{q%nKtw4I&2h0U{9O_Xwv7hFYrwY)9xd z{D9o9gHw>+UgczOWLrwyspp! zJQkF|Iq;Rj<(5n@@qUN*D6gH;DiW<$XH=v1c8J!r40n>>)y`;gA6z$+P_c!7a({yCl zL4xt7&?RTa(bZ;v&h=4C1ds}U6c3@(sl2mHzj%|*AUzh5*b$_Dl#vtMjw~6JB5XX_}5su`&7znZjs3YLl0ggfH}v3#6st#6nJ6$O;eCC|5Kmi>383t4JcHi9Q_o*$`A!Eo5wB{Wez8^+Wu+*8)lK^oUmYKQ-_TQS>s@n@^RBi`v}arW(fc;b6X%~^QV!_g zT%XLo#gz7w(h-lBR5%a9(+(JuvVg}MUV=&|DsyJ6_FNpbQQaW(zIwr^-txM@a)pCa z4ipRpazwWi-Hy5_sfw`w*X-+Fe9v)hraWOg>T0LGLO~ZY)`wnyz403Ae-wh0efpcA zO34C?6uYm|?WDJD$>u6e_HZlkITmb>^cJD>w@q*gBY*JK_CX%jVnzL=puPCZ=yr%X zBV_%bISSB$F>4WwGf2fzb?%T|94gR4Mqz7U^o$x5oz%c1#e}w*l=t%0rsIMERmG#k!wCizM&A^-jafzX!wYPL`WFiE(W8D z^%kcb?@|4e0O!um?fT~@&b)tXsFY$dbt=uBqIymv-Oz;aZw8KusL*`Lk=ZEQMEoZ@ z2kX8N-Cuu$MlAdzCWVaZBqF7kZo!MgTthY%cF4Vd{@;S67W(%4^X6+90yE$V46J9Obrx+yLT%hs45E`=$AsI4k193p6gvluQ~(hSi%L9aLRq=VTQXP-U2 z!RZflqG-nJv&$0@esacVwb}Cx&BZ{}b|*lbJ#r_X$OKhsEGAYoeMx$Y;SC`n`l%d@ zyS03O+1d#X`;2dpQ3N#r7cZc}ps)9Mqxs-txu={`&*jCdS9iEbAT%&8aMcVbygyO_ z7*XUz)*XxxBt&+)l+R9XvH&mlZeWF%E#J`4i;J^hN^S9Qh3~6ktbqX&g!3A@m^3T+ z^R@hUV8Nptqg$SZ4Y9X-!drQL^}kI{NR&|D(M6>IWr)UASi!*Q^`)lFc7`>D}2K_#ME}yBdCCcgpg2fh(nsKk&2C+ zv=F|Y8Ban%qFn6B%=5fO%5|~2yj2O4k2yfE)W`pfZHx zq(&!>rYOp~Gufmf%d&qT*{C_22kUTEn(!JuAJIhPh9zik!=A!u560slyfenKU(Pl@ z^NZP+YxWaW*33=~nmIM)VyuM{xUk`7=s=U#K&3v33X2^LL%KHh#I3CaU5Vd;J&#Al}YT}yP&v5yJ~g_ zFXgTrauT}~xuNf=G?;-Eoq(m1m6L<>$_KcLf4b4b%v+TAg!`h_ysLCmkltpC2ayAN zzA=L}_$Xovi&wJ77em6CA+Z>8O8^Vz}@xp_{ zf34>(W8Zgvdq63-9-79Sk31Evkn?CLY*s?~P;C4ibrnqSMuIRYB}a2wo1@4njZmcW z(jc-T!S_JqKIGblIBmWaXaxX`?+fzOWSV$I4?!PiUsu~Qm#&MR2W#%LX!ORZp zAF-Uh*-Y8M8rU(gEy}WYZR;7CqC7mif084k;VVq}8lP73RaHLm>YtI!!w+`*_vjnW zi_XuKpH<0Gr>`~rw9O3~I}X)kJsuw@KWfV73+U2vDnGqVEJXT4`@nB*80bC9)5T@> zShMFvhBD4bLbKRy*&K@+p0|`f6cRc|v-A|{*lEgvoe-!c1us%h&8c@=NhvZmf8)vL z%FKL)y!nne4mQ0(tJsjYV}skFKN~hRXV;xJHF^^HAr@Eo1)Je>I(VH3BQMDN7s_qg zcYXcruGCcP@XSc&QMvC8A5wip*;0ROFMuoQQM?(AoHCi1>hz%|mtJ3>$&_yz1_zak z4u#QvF5p#fd%+wG^#d40x|Rb@e*qjNceVVICN4SBN*h~%5O;p`Bejmy03iF_Wscew zb<1ohg!5B%%g4SZk*}CxdE0Ye$cLsh|D)PPbIM7$G&R8hb)Bh8(VRKQmkiBVfH7z2 z7R?cUnsQ=lB8S7giP*Gf-tEo15-m87V~sf|O>(3Ar)v(JG(6NrlY{N4e?(O?%#~KU zw~(FHWn1(|s#e=2)hR)YW`wb{nRkK-JG#MEoDV0}ui?4ibau$68pmWGyUQH0rrr1L z5xShPv+d?clmFm^vf^f(FnTi;U9qt4^RXVJse$39(mU=?XRwRsbm5_;dMSvX%MF8EHYcM>x_}9PrR)cRmxi2(UxRNlE!p@0NWdrC z6m?S`YJ=xERjpFzQ~e$8mt3KyqzF@R0{%cTng#;l=TO<b{_b|CmRv=PoY$akC+x}V*oB6NO$jg!la6td>q3!4#G0#@c zT~ldFr(9B+OZ_VIq9lR-AXKM+D3Sy;#qhLhS{M~zwXLZffT%ci{`O=4{%*~i(DxM_ z1aD#y1ilvsnb-m@Q7fgKhYr)59h8g#z`wYua;EKGZ~5`ZziuCR6(%eHT9%-X#@53k(x9 zATS_O3NKP+b8mHWV`Xz7GcuE)7%T!aIFrpu9Fr_09|tc+GB_YJH`yDg5cjBg!lzTfgt-|5HIBL3yK3ls9zB8 z+WBw99|Q>f3*wbAzaU-;`wQZw+*C@EpQe1#wqqCg=L{Fv~< z5`RD`2`T^oRtfXK;)jg;<154O(Z3mq!ml0z;e~(!#z!$QnJ~xHw-H4FD!D_&r2OtT zpBIMpy$i2?E+f1?BXe~GTRUioVBez;r*}k^&^_CHSO$V4#phVwD*AQ#8i2yb=)0&H z`Lojv$hTqZmexewS)Hx4E*VkF;~a~wwSR)!6Sog%AH5^3&|HN`=CEu=lN5a&z1R@XeH^f3S)l0Vxb zGfYteH5k2HeLtQ-qN^TON`G-0K}j!cG~g>4lKZe#SZ;yYXuM)KQ=KYKxz3t- zV1p&{pB&bX^%W-e>Ce(M9G716sB(=W*zJOV()O#2 ztjUpK6Zv}2dk|@*ZAFTLuB^>-`TDQO$Sk_-MTMvRw015?f$%B|JPXhnxjAh+ zy2wD9ZhC5j-Ulao)%YZ%w8cF&qd_4@#Bm3$V40 zQSxFdtqN%6K9~oaJAYMdwmt7kL3`ZQ>lJ_ejbGyI43-~Cz#l{3ZWVIZl0uHWf7J^qTviH+lksPs)h8GYj_Tp4d+>5*rHNBkDR}y$jeq}Z$}g>>j*KYlY#Y)! zaRQU{>H9Rp9f1a>+*<70S4tw%J}!a!meA+sZ@!W(HE)M>C)xTRFSSiYs1o^j7}}XL zU0m02owWHrwSOkz1Xl(yy4~+flRCtPWSuHCNr#b*1}$n3llJs{L#*Cd5uODfNrI8BR9uvEtpX7!A0{_Gj2zePj0eC(4W@SM#iYmYBU+^+n#vJN7s zEJ9D{9hhR=rl9R3U^}Vk1___$SLPCQ)-BT&xB9rsIe*#X^(+;3c^qF;EUQJ5L5!Ij z<+!@R>8cQ6mgUD$xSs>Eg$(8i4WKDg;|%mCf0Mwf)_g%PXsuQQ5SiZi8i>p(DUU(R zb1uE)=TR}e~>cuX%U zIqD|ZJ%89+el(h`j7lJ5ZiGOqkAbHK5m$}#CLN~i3(_U0%Qi@UyTit^1JXU%Wsd^c z_=H_Z1TuK)4Anni9u`g}NihPtB+C<>40`<*SD0imRZPd$@ml+KUb%|nfe1pjb9Z?3 zYx~e~vjNR|ejj=GO@B6JjbW;sk#2LPT}~6BEq{t`#(g%Xiu3UZU;4NXQRZN7=yi(_ zW*fEwCkE-(A9uWxi)G^&rsE!e8&kgLrE{W+qKuY)k#ga98|WQ=D>zAhaaqmME*9IK zWf8WoPgmUWSS5z%@>p|*6=It-Q#emy*VvkEvs83cppEZj zn12;btqzi@V}wC-ZZf=FqMPTdY!UrL-!_BdeZwka@DLzyp)P){@}gjCzVV69kKBii zLwPCjv3yCkLcV$py@R*jyh~jLDphYytyT0(m~82si(z5E1A}{x8f{#g6&VEpE9ahLE z@i|E1biq={(5iOp^#S~0#|Wp3o(f^QGywrM`y`sSCB8y05)jP6Zx@G?*8FaUR}O+ihnS( zB8OTT6VaW7Yr;Aw*r7^4ws@mKW4}$BGU_XjII^0SW39}tyUuytsQX;1UsoJo(oVT7 z!g&V}qxVU4ErsN9|9AUUxpt6MxnUl9gNV zlg}0ea1pbL?o8kqNA*>#$oivmYBA6n)4W;Ubjt z)0lZo&t&&Z1HGS(C?1?M-FB684kAyDE@-N`Q&LK*0QS;SAX=)!0e@#1Y>i%74Ie^PrJ#yTI@|ZlnCYjMgL=7`sUsKq zjF$$CpFyl-Pv1_KnASGr@w7-z?l=ALB@5Y$$<=BxuRZ*ZvUT^?=b_O9i9SK;uL-+# zx#yBpUy0ixlQyXM*?%8pq0p*%81KH7++d94^%MZTnI0-#-{nGV z3E`S3_=OJhyG6ePiJe2??x~I`)FJ?JK@u;zPkmsNdMWlW_-)H{&dNkdTx6M_l+9wMatT&r@eZ@)`wdN?ioMJ&WA>%co6Gw10s?LW<%T+5XHz zR0^6Q+;ChyY}Zn3;(;db1Gd@R>%O5?WvVgqy$7NVCX-ILB3Wc60VDM+v=zsjtOG@_ z6lol$JKX4Ri`o&YRBI=JQ`@O$1fY@E)#4d1ql`1pF^?@naS(ZWF<*6%~lQ+0gb98ehtZOA+ z2g@_0c5YYA#gLUGA_3>6Vp8JXZDE53R}G%mqkk5HBW`M&9fc9xV7g{^a+e;#Be|wi z{8mdy)+;!FRz?vS37xNce#w`;`obcLetmO{P=rai_$0a}AooW0^WAe_&R(OW8%$g?SEOFy#8tZU ze}4qEL~HyUH-IPdn@P;AXq3+mg44OwefsRKsCinTa=fEnuAhb-5k5+#{(^q+#RWK1 z5aS|^Wv2O&;eAnV(^MZsAia-Tvy3A0TQ6Mp=wquQQ1^f=>{5s?U1{*Jl`?u%rhk%r zb&KGbuy{08j%_JKpKOVC2!Qi6EnnrmEPq$%H+!4w#$WwZ6(~fNTn3*Yh}iwYgA6j5 zUfT*ka88`D2qhH|oo$d7&`{K*0ulS%jnVvK6xUl#+`~z1K+`uB_=S4)MdSRlAB27B z`;G$a1$FkS2dA1V#y-HN`g?+#rSitnbk){Y*+xmpD{TGA0>C4e7QfRp^}58s?SBrx zM{(TZ{;p-sA@kpxdch$OE3V4M7Ze8h=NmQs@&f@3v<{bwJAub`iff$N;4#5hoB1Re zLzC$GfqODt6f8G?KDo;BAtK?Y$%BHI=fj8UM66BsvpOq6{my7n( zQ{|-2yeB$|W+xI({zcs2dCy;${sMJpD zc%R*suc*0$(0C$d%<>bSZEEIo#b8oQt5C^w#_qjITkJ>EoZ2Z@g^JaJyMN(|7rOJ~ z^r7w_cw@hAmP5#ZkE)k_jfu*pOlVp7`{`k9pt=A|($a^Ln?Ufr-= zlXrW;#n`aw*U3E}LMkJze$qRpF~QaGV!i)$$|eK5qGtWJy+u{~^X!qN%!%Yf_K*?v z>9g|~_Ps#i!z-y4N2szv@w$_v?j$ ztx3(|Ro_HjbyD@JA&}Rj+`D8ft*sEG(3v!cerfb=jy;Y|8eVHf1X!fLe=t1sJ zOXMnF_yZxOdmcKpdV*ktMySSlq+l_9CB1cjRYMJ*6BJr33M=e zdeq%hnx9J={mjxI{C^%q9sVY~Vrvf=oz0g++~M-j4DguJJ#KD@H8prjpt-8ynP!4Q z-og?Qo5z(hep%L4{|X1uv{s@_o6<+%_0 z^C2N%I)W#%#R0_Yg<_1<=^pMk#4gPY^4p`E{pjp@u723f-+#3|&+1_cV2>xdeeHIU zDSy>-1)8xe_@`@BVNxa3zZnO}CiNU1dqk^-gF^tSEs2@uC*=c)T2$C?eVKUa85Y>9&fG!kgPQF!ldC0RNYE;;T;2)+r;+jLHrqEhXA zuGR&cP`ZsHQGbLYy~khAQpSk9yOgXeI)^59UTtGuwK_LS*R*D>wo2!A$$MQ#lfDlj z{i>JDOq!$Tycv2Nuℑ(iV(#-`I>O699cB0iblfPW&aicT5Yu%dM^!fJu zF@>)5*51HQW4!p*eY=Rp@ZBX3y~8)wt}`2lclbxj0)NDgY`beIb2@n+uREE*uGMy+ zE3akGmRS{NIxpkav4od*+AJQ9dM=6Eq8??5jgOn;wJw1zhv*c3%cSX~d;IcI7&! zlYD&SM1S=G(+!eIKfO!qy(CSogG(J@`{E3$^UUq`Nty1mal6R5quS=7_`K=m<36&k zg!g+lj0tq*{m`7w`OHRcou2fl!>0fP%#zvuRDDyBCQ-9(+qP{R)3$Bfw)<<_wrx#g z+O~~p+cxf;|DJPh+(zVRtrUY%kW-ZvsWpgP^T7tIG0KK+Tb=qC1Jm z*{9bvWed(;n_v8D4bW$vXtwVt`~o~@?FL)8HGD-&o(6qNDAX-nN(ToO&IUo#(GEo- z0Fdtl{LEL!yoSV8ApA0S&NTnuaNtY5j6`b-2`?fuEXUG~C(kzQKX|Ac+k%{fzgsL0 zACg?m#Ew$(<+>XQnwNp#>)(G%_=3!rEVrl;D~atBHB?2bKCBahsglZ#UiN@?w`_ zW0;b!-uJfZjxSU59LlPmPL!w35~G4tL195AU~hdL+H4ZK)k*FX{+X_aT1!^5%2mO8 z$!0>hv+^W6HkKev#tfWRMA z5GD&SwCKTh!AALj9}qQ+KB51`hm$vBaFcH%h>~;rk&}a@u#-poQJGYQ#Z{DOMdVba zn3-T0#U1QjMa^7HoUI&P9h`|+|5H5+!_QCj-zq>>_T+6Teh9VytV$-4Zbjkv55oNa zu3%$IK9}B2));1Q{*jRYrek9HAG(j_AK%B#!Tvu(Rw8!R|IPiY(`902OJH~-}G*MaNH>Ac3Ychz+j zw*@!)L5lVc-Ge*yp`g6wFR8mo66m3aBZJ0i&!n zpE(BJ4rt@^NnI_Y-_#)%gD&;pPO6 z6@I_uecQLO*zU^GBlJrXm|!Ss0%KGd;bc$tqY_+}yuG?KV^L1F`y0W&k)I zU1rawzs){4S^SEQ2u;65vjxWP;~(qGdI1xhy#8sLLYk7zsoa2fdy|2 zPfe{YOst>NQ}23fekR{o|1@^j*6tC)(gth~EcOp9UB^dWJ*>~tJyQT=FM+%*a78Sl z1uzhRy3;F@zX%7*d3|^mf0!=H88BZ2E^6|lbm?+rf9_w)nV;+A0dPMpBMVoI@d_O? z`Pt8e-)I-M=YZ$*m09>A&M!jpCg)F;qS!A&LXKkqj>Y-sZ0?WACmi`}IR7BjSK+L6 z=+B&mV4}dIR@o^a;;WhJ?q8TNMEEXC`xegsAoWu?>&pT-WzD}Ne4nCx`8PHG6VAn- zU3DAI-%R^mID0AmFWY%f_-0fpKj`_XQtSULSeLzdU zcvAcMY5ZC~odYD#A)o)VXLWi0$Sth<{iN~4o%EAEO(y`^URfDl$vibt)XnVCpk^&& z*->w~=L*h+-jMM2!qqXd-NCR{066kA%uZ6WlBk-7h&`ErQw;&V1r>hL&^?KecNm6l zoCF$eZwY+?6 z@#rb#!4}@5?6?uknIy*YKxd}9SIng#yv97p)xV$$ zPLNs%mAe)Zj;H;UavB%O0Q_6B5K1w)kbSe4F=cBDW2UUw7{x<2>D2Iq46uwLzf0ol z>p-yo1o4y4Fr{@$&Z-Ni)c4$rH$(&rc%sF*Fu7zwo0dSPGUc8^8-w{fzz%yZEZd)1 zQcsCd6HoTcOjHGUz9bac5^V-!JHSw-s?)YXVZ1_If|GfHDKus60i=r_PEPt1LkIlW zRpH%Ccljy;sYDV`#ri@VU3g9{izbLF&kw6{zs`rh^eF%{+~3C4MSthGGm66#twFRh zb4#pQ0pMcJm3dacOHDIsxNws{qzMC&^kF(!uZE$VV588W(F1mFMFu%QS7LHl;X7T<00V}4I1pf)Y?1}q&7i8p zWk8=M12g;ynmSOaLk}}{W7#QIwkHa>xV}zatf$g}nA)ai%O&oLP?@_5Vmu2wHEjE~%szq5 z%vN*M9e36Vfa+~LdZSZDg|BCa?q|0wUKSwXYL97^Bg`m-PDzC~lYhH=WJ8jYwFTL3 zu00-+aYaYU3m2}fA#(WxVv_j<{D$-T;OfsEXOB1n?@~}^J>`QE!Hhf5J@EX2L0x04 zYa3PSqoK-nsIz+25*CpYuh1p&DD}sKv)vLem%H^5u=>x#SeB?n-TIx*hxj7*7Q8qQPxJGj-LAALl9jP zA(qEgN_N6U7;_^H?&L|8SsOWW!PLuT`PZ-d!H^R|O~~J(ddV#j)-XQ&6#|*Rj4uMO z2Ib5n3)4>$*`*-P69kK-=GQN8vNI;SiGvC_z%7P@TO8+*n?eK`JN*d-qx z&$B(2yr~4811O1gE89KeO1YKLx3%!NMzEqTk*|dS{Mn33#Ye!TjM0FIG#ICp_d#hw zS9`u%XA)mC#ElL;O)w3G&rc!GPw3(*`Hx$g;FnIvj51&_3>^wp*EdjhQ*7D_H*WwJ zK=^lsfTvV}7Cp}(MwQCY<%XAG7YMFRjg71G3B4AoU4E~@lZoTk17)iyVKWIYQeBWi zf_7?y4I{;6N$k5Z+=xcm9?yKP*ySFmIx9`g{{8~bX_hql8R1xC|K;MWi{0D@tuZh8 zj-jlle7?=0kv_nc)>|*`Ci|&1rE@bG;EtWz;Ec_|=?;OMPIycySEs^k6$MNp=C=Z7 zF+`CNM|XUE0}?{4kJxf}Yl|bt+R{bFM0{7J6C2cUmPI#z`hs8qTO>=f-e+bKsWT7% zl7gBpa)J-ydDto#ivO$|ojbGZKVuirgPlCY!AwZwt`&O9RjpN?2PSU32B}&LsKMWt z0z1QBih8l!)RA+@t93dr4o(^xXKoMJ5Ec2O=i_AckgGg;xngO?0BxsD?aO`U`7qdT zCYI608|Hj+-JxUQRnwHHn7UXGG}<~TyGyvKyDPP+^fyPcqH@_U*ZWTsfRfBrBn60s?xA%!W39mE@&M+TZt#2WwSsA@e;Ir8k7xU;k>%8-G3|1d0>GNC{}7zni$P-|0rY%f&{5Ok zgIeq70-tDGHc7ogKG?=vyE#SnOe(71(fdM{3`=kfyp*<3tn?E{3 zYc6F!fYdV_%=|0L+Wh>5j%21yBYA_*5q>8!nvkMn9&$tU4v=GQt+|qSS-5-!&gKxM zLZvFSL}$U?NNuWFHs2v{03^;pq@BpEBowRb%xWr93@6^qYu;A&6|U~L61H#Ln^(j& z4z(%w*MeG;zsltZX`=90&` zo@c-AS{-72j0D~PeqkV@t&C2c?29m7f+C+Y9K%)!L|z5XEa@|`0Yulfd$l$rNWW)< zd||CH{t{7OmmchC^{CDX*EWiFIkg@=t(?T36Xojr<%Y^Nh2&<944$XfGaZqx)Q%e@ z7XAw80h7KF<)FJHQ>)X|rY?wLPNzaUmL%hm(YnPBt{)5b)1ac2zGQhVx>i3PkPM%m zeuj|^cMsFpu(!De_h5c+G9|*(lq5jqe)B6`Cajh3 zl^e`@_-CpX#BNOjUgi;yjoUvRbCV0hYVQA9(-1%KblE{R2JnRq4N%%X*DdL|9-7uu z=E{gW9}emiAn=Zp9P@Y8h{+p}@LfINY=01A<<&uLylL zlvWfZeXe|h1JLB~k_DM#XaxY9?=fl*pH{IPzmXeRh^e;g(#rMyH9UO~%#dwXq?Kv% z_>lBtKk^{`sI-ta3`^gj5=0rX85By!5JUSixRp8+RBHm66YYp(I~E)&jPR?IR1 z=JC*OBdhIDA1B*8bE;& z+C#OyU0WHgLiEQKA|Fvl_50MrFiz8D!&Kn$((Pz*RW(6<0gu`G<^KjeWW74?#`}lu zN8z8hL@Q4T0Y?_l7&c^wpjfYk2i6tuL_aVu6z_m#iVd&Nz7isWg&ZT(ntC5;eIN!LnU=N>7y$e#t$EI4elv@8!z&|iKy{~edwqgHGmRk? zVqCX(@AT(+Ux7us3>L?V4(#`UolKbBqVQO!vaky`MuG>hJV$XT4xt6Q$4oFym~`zQ zvjMM#;pfO?#Hh6#BMprE-k1LSgbtgJ#w*-u_0Dq>exImCbazGy;dC-6Ot=+8GXN5i zrhgWna+W_ZKg9LbIc(5LN}-{!muf%^UFX@|ep{B^I=v-iOF!-1heR=2=)eaQ@U6-b z)>9e@HiVWQ-+|09h%w${B*9{FrmBE0(4%bHln!R~H+gohVbt39l4h57&QY&j3L#mm%)Y2Nv}pLVToc9-vw_`b%17~+Y6hS zn~2Y&vUZ~41u@bNF~I$yT_{v#3H!J?Xuo}FBqfzc1#K)1HFxxFJMBJ+?NJC9%m~}B zPwP8ULcBzANo&qpE}QU1JQsNU*tPFY)H$=}9?^UG{cTh5k|a0I8^WOq*Kv#RzK$4C z0#SljL1zx)k}U&pRs2B}DF9O6FYy78j2gBK?459Cq1H*i9%QKnflDqE8^h)Dd=b&P z(iCqvST@;T;Ne&k;fQRz_P=4TY=y{iJejuh9)o|zh`Kg8GDea?rl1{uM(90GboSGx zz^et!3bamPtn2<3M3763gO-nxUokseV;&hb)!7RF;vpR^!uY@Q50K;qy?{?QM@_D(HggCbF| ztVMbZ675y8?55-O%3|>}EE}1apy86-MF<}62!!Vx*acTf?P36tavRzeacnYSm|cM0 zFn7ZT;vQ9Qocw?hfCKpSU3l196#IUStuw2c!PBC|u7^xzdl;4{4{%QW!25owW=RIh!>s4(Qlz&;l zS%?8zcrE>{gbvdIf-3@wV_a3BQG&-8P8E|2X3bgW1B#OVWUqS`clvqOiWD#gPc(tt z&vrJo=w#u6u#Wi3Q5ZG)O{H1PPZr+{ZrBWYl?V7uEUJ|EQn=NU4q*V2+4$Qs zU%N7Y4VYD7CZ0WsZvaqGZ1qYZYEFic%jm$Np0gkGtxg*{Y56@MfW$2?laRHO zg9%VAvOf|4)hNoPx3j4Wf%0e{h}nVt z0Y+o+DCpuB)-N0Azq%<2L}V+cMvniGpmnEHAIvwh9De~fQZ%k}@#MIdnQhvriEhFGopO6MJMFNU}dI;&j$OjR21@t$RQzv%r z5!|G?L$}(@D^{bkra<-OOG>z<^xTs2fxh9d8qi5f=qROd)m$bIu4BSMd##=w2iFNZ zmcvSN_odE71k_j8{b7pDwX0(*S)XRb4h-t%D8?fvlc1W8G_G|?&Ww%-y&UzU=}rKh zBa{Gu@}BKAtA42ne9?PVai@-d7HaVqXz(I17cZZtIREaPDv-u~t=xg$vrhi{$GMtJ z_Tf-Ss?*U$GC`0l@C5a7;T(OY^jrXU9LUB_2|HXLo!h&*!A{uWujzz}6xf^R-e|yHPS!BEfji>Z3>|JPL)$t}J{mxovq&y?NoKh z-xDAo{=&_}MMH7;!duUodehs(rnMe7Z!o@`zj)()cQ^;>LaGa$s#RlG>K4qAS6wc7 zmP^r~7=^n>I{#JIYeWax?26gQxmgi^suQ6IB0 zPk_{9aF9`-!0z%;zd-am344dz!m0MJaR!xj_o?}r2+!kIcthrb_ZT6jI>Nr)N;=Ex8A)!n*t69eYSv8umqaa$Q@5M>FlO zre%s`E}63zous*S$iwSI7XM8&C4ys~_fH&J#yr)t*C7^`4-VsKiwIf{<|SA$xu~;B zBJO!F%}vl7>kKA-hdu|BTthN67fe7~PD`+i`Axgrwk4;dN7?i3x`Y;>EKs$Mybd ztc{bS4)^BU$^c7gf(bAaPr03yQ#x};VjQ)Ulh9m?hG9_yrThA2xkD8}C3%mti*`!O zV97lrp?$(ppdkPvarkc?sBMWIVrQDVT-l8e%79O+UcK*s9uH-t)pcIhM%92Bz0z z8Y+_2c=zhMY6!aCs3d-b?lM+~r+0pbWt-= z7^izEwSyUX;5d)^QjHI0Z^;NKGA}eA(xQ|oG7i==C3yOvNsVC-B8O{$&m$cu_RGf8 z3PaW>${irY;~V1%d=xv$TJWE-ZlMK=sIT-C$)7ONS*}<@(xQrO8^@_QR3(T=GD5RN z4zfOEV=H|f&w6M^ITPHY}JCx;;i=FdshlK!nHxj(0KNOr=W#kQH>u!*$ZVXE( z5{%31d(!Y%nt24f4@kinz%W9n6n-Z)K-R6T{J}4SIgzEhO%u2vTXAHz^W?$HP)TeX zL4r6ZReq5%+qq=J@%t9}88MX)B#ZTL7*y$;jkQw8L zjt+nYk_^-Ik>PS|2{#D*kE_yw@*v)rdbfkMla#f8u&xO@C#5$nm(_U_+fy)7SM9vn zWDMb27tmPl!nR{Jd7oIK;^jXA5_bO&FnRDe&eMj5!JdApOP+m~ZfdE-H|D@L{ho4O zl4r$OOY(MkMJ)6g*OiQ;Lv`v$UI0i@13kcGkMF<$=>TaJQsN%U+`0e^Oq-wX4{nKh zru(SdDYQfP2x(gOH!S1#;BxzTyK}ny8NDm^eIz!kAuN>^g8oxltNqGT7$~Kd?`#s` zYa*u2SR$3XbateIK!`bgxe4|J_Uba;)RN|2<>BA<PoD=MZ^(8C+%87gPpmvaCL zS|6jwgz0p^kPM*78wk20s8iO_YWJ@CgG|;B38Dyko(j?-^)Rm2h%l;wJ6QL~-t%Rz zESa8&y-iTu?xox-iRc{C3$sOHoS?LNYLsqyY1@>S?o+g72hcn{pRs2^?>uZyn2g!` zP@|a%9cEk>7wH z@`>NrRU&49da;@16UuYR8vX5IyF7zI@bPjZ{OPguBJaeV!1}U zeV>1q5O^8Zk+k5_2keu5Cj~0v1@()SF+J~$u};ZDLqR!2vvh*$pU#DE{00E-P@h7Y z%q*;uf#@W}|0pi01aHeq$7x79O1=CQiCNsE zqQrW6J@EC()8Xp9h7QyhLJ*)G7xW-UgDZQb-sX4p$!OMvGVIINEUb8MVZnDy>HfB& zx)%kc4#$N%6+Z1JD-rJ}y`5H>kzAf-7D2;3eLZk^C^+IyC&KR}p|+ew+uqw@y=r zDocisG(U+xt)ALIDaX6?8r=uk-5E#>9}wKH?#1UW-^(XMO20oUVl`$LP~^S(A{0u= zggi)8h~W0;Kn?;rr9K^16F5y@AtzNP6wHph+h>kMaEO5CYdm*DQu2^8b2@{?UnKq` zSDDu>FnTqQiSm~-TpEDUqsH!nXRF-+Y1OKk++U?r2hVS8&(0eiwaYT)z=@ngms563$xbXZtTz{2~4 z9}SFGuXu)1P-i(jfTr$l0MQ(AKtND+uOj8gM0&7?f-=cG4j0fb=^*ye!TplyXIu-O zXiH&(f!D+utR11Rt%~1m&F;Hvx?TlW1t@56B2BfqR)(lHdKGykfxL;>a<%#MPzc*~ z)x43qZ>n&^20%KZ3wcWli}#~z$SiId`2FUi;{W`I{pT|R-A@OFEWs%Y@5ylKs+uI1 zV1_#5*C|NUz8fILjTyxOArkFP{uh9v(PWuL!w_@1W0DyCAc)L!Kc5qUITIjcHPd9otRO0#C+9nkH@IW)Wd4 zvl!FZPB5UyYCSzt2FFxhRMQ8W~`?R2+xTT-l@=c)U{rb5`?uUE+rF#$mK-bIx@B)&;%_QYpbU*GDFlR5?) zZuLFLs{pcGoKE}9(;lFsGt&@9XVAxo@D^$bCWKKn7ys{tl;b+p@#a@8TAhe3)G9F$ zB)934k`H0^{fZk2DZ#+1MuwQmD$EJ5ZZSct(MV`OZ39)R+c+$wV=`wKE1^k~Sq#}3 z%n5*c!pU}ppL-l0fv&LSLf7MKaCO`n*6_(?lY`RK9azRvYU{ZwNpy-$E$z@}owHMxAoNx z?PTedf8p zeF;Gg2(52-VzMQ(b`u_SIP#j9Vmt_M;2CKw7+izS@-;tpdKF%u$?F$FyQalozsNr#o zA#6(S09m;G{N93Dag)_7I!DtL@dwaw_;@x0!>J=y??POM9w;MiLp0&d)h;Lm|HE?JSlf8-%t~_%k1Z3K-!S6 znD^!6h3C;+{4!6Vdzt{=p#yP$4HR)70JNQ@T0g&lJ z)_EUL&DVX2yw!|Q+T*%e7Q&Ecm<-K%zJA+sL4hCm4j))81f<v{=!O(#-}v<6z#E85&a!`K~<#f zdqHy%8x*gK<$o~DtCrP}qa}C2-Ut)HM1i$3E{-^$zwpfX%7YYEH3jHJ?Y7fUYahR0 z`mK3A&Kg83azMuTV+&{X&K_l)=Zt?#!Y(l~=rk!W(TC8o*)WS;sw)cXMUQzl?|DFq zMe%*P$uLqDCN*C7O5YZL{;6`Bk^i;ej$c&tkZ#RctcFC7PobeIyHMvP%Cms8F{ewv z)8z=YCx@q*pK12huLoF6`^7p#;CqRQBIg3yJ2YsZZ!4%>aKv|d4g`0m4a1<9{K|al zg30R|;*l?U(6InNd`mR(E{h z@wHuc+~yL}`lBrmQZ-j_F+x5Rsa?-~wc5v!LO257QDtuD6{o=st91MTW!1+sJn`;k zbs7ohZh8Q-&WRX*(zqtAAfL^6R_1VdFzSlqEc21$0V{#XM`~F#w>ten9n2Ei5PVHr^Je*?fz?R!;nE1PS<#2DqAJCkmTl$WhuAp@VW7 z1rnE1-51Rz?P?PZoPu`BHqBN*?nL-JD4!oAh&%hYL^|XttK^DOY{%inIUmtqzhXfA zYa(J;n+Crp@@e-$9cNzDBwe)5&blJfEr!{ob=R7sDMrBj?3#AR`G{v*%%j!$C2U5M z76_%p_D}cfs`7Zh-#?1UP$xID*v1yvvlqU)cy22Qm}nBz3C+*EN~Lxc!hAZb}RRkRw&pU}<)tBW{bXWDMJS{F!dppAvT4@f zM9Q(H62Q}s%wn*JFCJoh#8VY^9<4VWvUyhMb;sb-EOvFqQ^Z%U!cjRz!e?@h zVguItBLefCw&;+3b8Jh#S5Wu+5#I07wBL)sY1m_;S|}eDv)0jY%onO|po#owtzNtH z%#9K;OZ#oCd)U0gC-{MEtWPq*#Y3zXj*5=m1A)5J*ud{S+HYnIzur-yPq?^1IE3&< zh8lw&&)WSApob!oBT+>Zo=5KLSc$N1?Er!^D&`VV7HDeMCVLU4O2wm#r(ydg>1D*X zqMJ6zi86>CGJV5WKyQMIvwUxxW8hpKX;X>DL2wbJA~{Wl_p?t^-8a@mCd-F(lDWJk zkj88^h->yTDMoxI&3MG0H?er0Q*=er>Ao3=wXUlSY0Bw|=VI#jdIF%#-Rv`w?SSVn zo`^%mBoPn3Qe-l1qbvk>;?Z;k4xgCSDlY0wWRDz3yQ6D?xWV*-@sBSsDF1<~& zf?TT-g=nX+h62+}C*$6a7gvK^@Y2cmKe4g|4*7rJ=q+nCLsN5)n5r~hM|Qj-IPcyl zPOsFIi|eH`ozvT~w~)qdlJHrJ0su*wIZ$RbVcuZJYm{{6P?k<%JE^j({RDBCuqQ&YWmeAu{HOZ?5H(Y-BIkAg4oO{cUtDzNq- z=g}2tjj4c5ERap>{6GNKoG6i>%0{f`&HQ#a8bjuk5*|7lI*kQW*-HC|3H?RyXp%{fBx!|%#A64CIHxeIWs77LAyOw zsoRLq-vPAJL!H8VAsVM}T=tys7f~Z=rv{+}CvfxGQjG#s*G6l!hO+66`! zmU-}dFD~SJ;4%r+@ekzQ`9!pjK%=?sT!ipScZpMLKB0qHrKW(Vguk zgzQl=E=`S+2HpaZab6c4PQXQu8Pbo)d# zAnQ;2`f?371Hr;%kM|QNfKP@oqYpt;R9KK;?#A&gaKg8D69eKUPbu|>g5!BwzC;eu z4p45<@0#=gZFd|Te4P)6}dH8V&hZFAUV4|n=}4KY9X$J!I&Br?tA+R+QhP&VkcFDio%~@fVKuJ9eQ?J zIk&@NgbLF3?;Hi!UF~ScN_L@9$FUUc9?TU1YB@O?v?`TdX5b}6>vy@ynkF10Fi`Da zk9l*=s#$<>neE8XA1B-3yVg}O4AzZI7bxh0l@|mhcawkZ%d*l4t$MNBZKT#?Zk4LP zvm~V^KUQWqtkoZo-j`-Y37a;v3xCryrLN>K!Ua%} zXaknXlukG&%SLro<9UltK51TYZK{y!u*8qVx=Wl8VtC8VO2w%NQCBU27?^q zGqM0|;3P||EZ)pwTwO*)9ctNn(s8S0C&tI9kh81Mfr1F^7tA)+9`TS2naRxKF&;k~ z+Gq4IxZO+nlHDykc)93F%)E=oRdP>E)(=ObsGFu{Xzi(j&0q`!W$R+X{$t!?>&B)H z96nL#-7GO^kzZm{eA>57ep?Z>%T#huvgW3b+99Zg)X}&GW18dG*hVzG%OJ}9zho4 zmB?us(COyXZH!WVHXuWt{%*xSvCFo8*!n(e zpmF#M+-v*c`;o?QSJnhWi% zAQ!)VKn&?8c8aa6OcZP&Kvs;E28>~UJDdk4m zIp-{V>LGSJg(`PQ`6u3-3CsY^w z;SLraQ%mO8H=Yd!WABbW#@BqoG>`OvM0nm_O?XD|A^iTX836?aey~i(p5=_XhXyD4 z<*m$s{kt`!okUz6hmk1axepZLRHau>m^R)uooMdmUJbErgx9pCx^g&ROroH zN1K_LgYYlMTfQ4Ax=fi@x;41Y2W_{9_X7M|(mWBIj}aerw+|Q*>*KU!Yqp1r>zcI< zwp(it=jZt(m$en69@pj-u2%DeoA(wY-Pj{bM3;@T_*aie@wEYQ*WvX>GheupRzDCp z-^h3if&HeV0S#j_>4O9zljiKt5|dxvf{~wtLz#4#PGj&C%GXpH6>fL+4CT@&;*SZq z?;CGMQB#rDpBnllr6MQ!ilz;0x9<)ejQU`D;Z2U_F7`O!IX2ej%HFL+=sxz;m*6;{ z7c;Yz)7JIOlnHP|n;lN$N)0g?Wz{n$% zME2I+dl{b!o+7*6TzS{H8~os%{DTA8obUa^XioQr7d>ki)!WLjv9C-{wQq7cBpnX# z)rNycLR4b!biKe{HJYMkd_6J0M*LZ>Z4fqp9IWxk0w#c-4pGyimms&m?zUY1;Xdxy ztH*r@GQzR{_tnl#t0{w@18G0B%B}PPjlmGjs2j`Q+ z`Ai9mPzW?md+3is33tEKI1JYUmB(7{T@LAbsdMB%GwCu-%L3B5#RislO9){vyoLc= zgu!VSb^L(+{Lq%mQ22(Fr6Wu4A!t&^Y| zP;2K9OXC%2+5jjPTEnYwjp#kM7Ta`%ptb5ZZbvV{keppq3 zX5A?m-!Cp-O{GJ>Nanx?3RjDK4^)*K^T(y~$|r6Cf7G=lywyEO38SriG*lG1OCLgQ z{w`m6yM6h~3O#$aJ?G?mlbk^*iHu8L8(q8JzFEQ_Vti(HQ>+#KVFNkY z0~Sh%<})`wO}Nye6LgTCZr)J?i-QmXk;<63@m?gIRUd_s2+^PnoUJ!iJmS;6z?HAqMB znT2OQE|^st@}v^O^h~*J zaw7bd4#Gf=U~?rhx5vkR=OgntSkDPgd<3c;<9UNogj=o8My4NMQZhnxEJ;&fc7j>uiIM0ppeP704-wwasJaPCW!L z7SIwi#h6KL0%-&uN00te-9?rhcVj?+tZC<|>&c2iyZ)NsoYy?8vg8BOcP+Y;;hR;m zHg)4G~Wck6* zT1hR{=C#Dd0yauu|2U=Fx&+f;+})jSC`)#qcrq@!SyLCkIOf(%AVrQ!tUir_AG8p1 zD^PBjBzSI!cNNipJYO z$NuVy%!An`!BnSlCKklMbfs)PjDy_;h%oc(GlRm>rR)=00XJGUv`1t)U1aTXK{5s? zc*o$;7)C9p#DgOtH>+>XaqZW=)@-pPr@lQ0b3k6>+oNv+6B>dyu=l z;Un_87qu<)Nlfm@h^R$l<#}-FuQ+P0xS$VUuGx-)Rk@_#3GEu-gYw#~i|*N4;@&dD zYC)V=tZ%{|!*8q~pr3pwLt7K;(?eqin^RNx2LRAWP`6p~RD?)!!v;z+aU?bt+kds= z{AcVaY~*70Uz%MaMrBbYDOJ^EOf42I=<>t#Au&Vu`y{i9@a^i-I2}Q$4Mo?r2 z!y^Ynffxr$af=l!0!m;?2+7vLh6XP-gldPu0#5}FC@B>J0*ET?WWz&ZkP8?_Ydvj;K(1A`DN35FC_ zhwRgI747>w2LO_&K#hzb09k~Ma=QN+TGTr%i4ob0`{4-8+|0)iO>te4bDIMHe$NLS!}T$70nUjx4jh&RqJB*01Y$A~P>vxR zKwv-viDZe7zh{%Dd%Y_Mh@m8~@S2fOUVseAP+}|ZfaRgc#tC~>bn%ElgxWiUf1rNQ6G0+gMG_+bAPYdqV0iDGGC;s2R6BtC zj2;pIAogA$(FY4UwO0ydQTT!|2`u9DTO>oeyH`pYjmY@_)b$oXaV|^4Fc3Vr26vZ* zWpNAc5Zr>hy98T;CAhm2f@=uw?(XhRaMzFAbN~CElT-g}ZPh%z-P1ii^Gt1ZPj_E( z8qA1ok!Vl6!;NZ1fbL4Ne?%5~huWI`?tRxCXBU_K9WoUJdBrN)WbYMcmxkj5oKTYZ z>FXo>8G&J3bSs(o{2^zTEbJA5A^xYApd`Tg6Py_9z@Fe)DUo)%}Y7YS56Fsz;Dld`AOlAsJ!hg4{rnSg~%u;G2y=+O-hWeiZvlBG2zqq z?)IuV`eYW|fC zvXeYiGrsgJ?tIZ~*gGKxr{xTwK*yXXA!bnOs{7vE8NsBEW($O@IWxr*ctX~^=O9Ss}!S&Ds#A|B#RLNY#csN`j^(} zMGGKmdsz~WCqadx3d_-e6<1;5iP(`3Iq&Y2SHd%gBdZP`mN^`CDz$XqSgz1gvK~~% z%-x9DhIX&guF9@4c%s+q-gFF1w|7bLsj($8sWpw|IMv@HJ88RMZ-~Jked(tX9Z@C0 zmKu7M>Q7Wc!~FZg;qUb3otiw5oVnCliisydTw@#5n0#s1(ncoq5Lg2VY1b3!6cf^{ z6z!SWV@sV`Rl7AAKcuR*vin8Tx8C2ci|i^7bnp$>3pQ?wf)l6G1TNP#tLJYmT#aV4 zexar!RrOr99bG;Pm7gIrDi4O5(g0w3@=PS&Qm#2YSKy}fN-)5f^_Bai`kknKH12@L zUOx`K)5<$2D9dW+w;5IC!8ilWa3drF(*bULGT$7M3XPMx`H{+`UF9*i(X%{(D4hTn%`CRkpsb#)yC8BrDmCmSye|WnL}kIZ9s%6V!KZa%hHwyhD_Jl8M9eCtl&GY(~Wv59}eQvDg|W_d%iR{1DF%weam4*bq;xVo1_&=T?Q?S?W=W<8^o`pT zxXY2`hYBNd%K24I&ZA5LB=bR7ezsz%0y7}(Y7^!$xCHx=*ho3;;=7iw#Sye0f!D@+ z`qhW0T!a~ys~sGl1h8Fr=3ys);)#D(e3J&Ua;ZIhREV)Z*AIYnBAh-QLVDoHRd(-V z0CA3Zj^48*{R_s}Q3>`)L!Qafet-l9xU}mvQ|PyQ92g4?a|hLS=Xl2DbZR2`ALLqy z{_uLIMHZIM7bYE^Z_I;ZW8OV2!Eeurs)NZM50xE8YRMtpuv>=rwJ>)XqI)_gg<7K+ zfL**DHv5e83N%f@%L^$St{Bb20-4%@wyKsJYkYg2t@zQEI?e4rhG<9Axz_OL!OKbq z^n(1y)O}b!6hk!gVV)|PDrq)z5NXtPo8lq<3j}Ys7zbq=)zK;O+AVEZ2s>%XJ59Y! z`!&w4by6Carr3B9G7z!N-WnMgG@-}+V@M>f{*`|vk?15#v?_Jgv?Ac<&% zk8oAEdY`13wtf^#;g=tl7_#Km$Qu>?KJ$p+~afg{hJ-eE-` zm*R2G<#<0<%e@vM4KA6dK7gd&A=}z*oIZk0H`I6Fu(yQH4-}X2)LkBq7@zfa#I3Gn zlkG~>W^6xr;lTr7kKDw;|6rzebG6J7D)f2%jGd~~ER zk0O`s)S3HPxvaZsk@9>cBMjUgsjfHMR4>1# zn|HO;O@Df?aaqE$q29>oZO7|#q+o>JNyVHw)v_yQwUSR(f*xri1#jK6c>^=7YvD9% zeM$^p865VEn3H;=ip;A9L5oARG<)yrBgWgs-@T+6fIIxr+wq5xHKSzF&v{ zcf8i!bhPdHf;Dh%>;{aL5EnDkcq~!k6mG#AeTdD4Ra49an&7SAZ0xUmwmm<)X=gAWHAaA=S9;&RRK-ekUm!tW zF@;8CGX-3!B9M^ZZEqWyd86!*j_ z%3XBe*4#=_Dkt8uRs1fbR-5WSFD7AI*m_8#w1uI9#_x88QSFjMBdmu_-+Bc4S*N6} zZ@24b3ti34Z$J;Ga(h{#e#hZ98~jTxJB133>0w<7YA$>#ga-*r>=Y0BBAK&*k_4jQ zbkzC^I;v1Wjt+AXxJg8 zinU7b{hj8QwRLJT=1EFU{!~wUVix<<-dO~?%lad^o}oB6qRTo<`GdJFX~-bTOuddy zy7ly;<~^pFkY-+m@!K|eO=`I}&tp7@lXsHQoR_7yd3xGj%NpK^rvesoc?m6j-aV+x zDweW3IYd1}1}rPf?{O~z_FG2#c=CH8ef-5u`E=sP>b-%_Lf&cXlLTAbR%2X+sT?0Z z_+4whr&Lz}r{&em52T^wV>ow>;woe!hZsIYZS4@`d$+l;E$XJ2!=tR2HW@VTteRJjStjSI z@&VswKgSGzD9&)c1ugj4WgeDX@Dj(ol7;X4X!c)n^=XC|s!dae=7g9m3fze+ zBS8`?=!oi3YtmE$Dw|OcX&>w6%5isedR;f}v?;a$>HR>$BIwEB)o2X4+~Xj6lkK~Q zN^h@YaN%plvO&2g_{bPG>~nYx~%4dK{=<%HU_e{;lh}FiLLJ*NjtY-T7nmkD&Zt{BsfCPhn9m+Mrg@6)zb+Oferl58CbeJ0%DdufwNr)VxHgM zM}ARncjKJiv)Rx8S@VfcK+rQiQ^eMap&ZqH+T=RDh-ogs5!M=xp@vW_)Z|zkk@dn| zoB@2mU!s%s(xddn?t+0B7k<~7P|GQ<0dn%~eS?5iYHlw6rp9%_nW>;V_U5r$l(y(9 z*rJz2q0I)gX3XdgbMrHF&O21?Wu!RUY_wp4M?+?E+)3uvy;xR}_FRI#sVY<5DcJP( z+2(!aw@T;Ic9-Pm^ueV#vOAK`)Kfe@0Bx|{RxrG=S~b0o34KbpLEt5m80g|^VI!U< zHe)^+C)@MQ;B=-H+4loED%bQG#!mbMeLKd=jT~f-(t(gha|5J{P%9j$Jw`M%^L4nol>N5#&(^{t8%_BkL0uqj|=7Gyu$%! z5WQ6a|5Qs688sYL`h=ja+p8pc^DSA=5)$bbtc;)&AMNek+zqKifeA${L_Xb%s^I*W zyEKdotO<#$WHopZIx@|&*>j!Ci}22_@>E6_X^N>U*Eg_>f)|EX(YJntP_c~k%g}^0 z?yD_lchPU&h1E3{Rzr7I?`hJSj9LVOi9&B2_erDD_IEmZ1B!iPKm6J{iIea+yj8MY zh@b998vXK%#IdT^rLerBj#(AX)>$sd#a!ALjz)7Gp3+RGz!PLGuEuJSK`cH0H~1LoI6R|(kuUfh14bRj_fc!y{*1mtA4!6XJ*IrvrLll-FoRXm@^Y} zpVdK~dt<*b8~$!AD<=DgsR>A-V>7_TI`2yc$0{EHL!g3qo$ZfL4h~~U6nhfq zz~&Dr_H6x9w6*%{SsMq!BNXAz+wOVlu*a8GmFd|dh*F_ix6%h1MLeQ?<4Wa@3&f#g z9)`nVxd$jjh>?;?!RT=jctiUp;OuemFE$R>bQ!du-HcS1LA#z(hPxhSJ^`1+R(Kj2 zV9%JmP!aWJ_?LiiCND-d6Zy{vL7QJ!Gh*0Khv}T^v-#p1Hn`!;0QaOx=VfK4a)o@3 zn^BvR6^+F-jfC31Dc=BXd-F)qV)t1;qKBh%8KuqD#=R4cmUZ^ga@^;a!HV~sKJ%i= ztky&&%s_(?OwEcLsA^Glo*_!qlmmrI+|KeNgO}7Ivf<&H4p!hCWgS8eb z=Dbt}x}0K%=(NK)>>m@Q@f*&9!CkO|pOxOpaX=0+2#nD5*P)Ocfedt>>lU4Py@xiX zQ|ofz8XEF{UYSCUQ@XWgfR$T6tm<*>zu&PMU-Fmb{}w|t#WH9Q3{JB>`W&rs6J~Qg zeW+TuKO{gdXy>zzd8~1rJfL)yoF~+Vew}MC+LP;dkKRn8QVl?O=(~s)G&!yEnf%rv zeqjq`%iR7G_�Msr&`S%_+05OCta&x~hWpfJ`<#UH zpz~0W*S2n^heH7#2^HJe=Pur=oEV`gWxSs}68P1~U|q+&X8Ib`@(a4bNl#XFlNYWP z$tH6s@7eVG2#RVa3V1u6zl3RV-?_I>{>;CdZY7&8zA0ruRqsK|`r(U7i(xH$WK?70 z`}SG?$w^=n`o}F3eY(P>roKcdj;&(sA~rT&>{{rZoCrn|(ZJhdmEGe6E141LAn&va zc;|SJz;aI&2#e(zoeZ8M69R7B%aY=%s3RFcV@y#>wyj9PVKBL^3#_=H{kx?l3wIHk zz%uh~GqpSfRAVyni|C%{dwJJHy@ozJuPz*Y+?O$=*3mw+!{zD;_iw|t?|QyrPLt&9 zDvm`{WC%3YB*3a;f-1W5*k33$4?@_U#;qcK-J1!O8LB zRhtRb?5AvYTVT=Y@||U6vI-?nCUxLQ@|GF7q@%%BqU0|s;oaUGe>eZ`O2K88A)#4r zCoc<#jQ$w!`u6@M*JrM~8s8BC;UCwu#f5!W7OoC_7#eF4Rx%2{;)DxxkDHUV_2u|e zF0m^!z$Ka)UY`@svo6nazK!X(s}_MVumBWk=GuV%?Is7HYIQjF#4Q<+5QSkx$m&W$;vBy(d+Zr8|17sAJ&|ETtppP@#2*|SJA;|SaI@dq!Dt^AtiDy~fk1`YO#%Ue?@%l+zg zJhx-wNT(xnCEvpQczI<_*<>X!RMm&iH#oF0Or`71AzEyWVFS}&{Mk>+J(Se9GbVUs z{1?S4MSTtS3{SMD4Y5s2b3T60gQBIN=d{g!kA%Tw*A8{hHS8J5U{rGl%X!vuqQeva z&ouC3$&&giiMJIz-b)S*9?dN&x6hgs2Y{sJV$3?TSW*O^_}#~pFZZ&6nas8A?gG(F z;bO=?>kqP2iyPsCzvneq2u3o0-I6TnYT0HYXrS#TqHmgSZd|>TG1LLaec;!8Il7oV zv601?4Hh+l;_Tj{WL_98YRcejVdj|HeOn10V5T#b0x&V3l>XQd)WpX;PVLpga35F* zbmQ41%0#zX&mK3U*>IsqEH{gtq--!v2V@Sg)25KpYIx>*j*It4hw3_w>L*pwGkQwP zd&XTO6ZK9+B__XH`4PHQ)g7wDY|ykm@!gw(OhNlN$!2xd6j?G@?^AqUuvl?b**zzi z{lPg*k(*>W%}zP;Oi}``UfKqUr|5ir$LI@2j@XKFJ11tir)}){yGt1L6osL68%lPg zM8TRec79ARGnj_B!L!!NpaKhr{HdjgwU6dRTu8e9`!uQplMDXN!e0J>GsOa}Y$cT5 z3(FKwA?g(<91X~Ud4ww(`8qDsGp#BGPsIM`4b^oHdcnO0+&4U$at(&HKXqcYLr8xn zKpFxUSUycaDy|CclCK7ST4+?f#2Adz^L>fL?SDahj70OT6Ka>l>L3bprn&?0cRozU z+AfF)|CK`&Aa3F4Jl2++1MBWJWL$z0Cu(}0B1KlfQf~fxidf%ARXJXNP*!3a07gz`zxKP zxP`R|DOc==TU<&+Z6N1w$I0&xi2MJ(e?k6&#(oZcht3J&`Y+mVAUg|NEbfvU0Xyh- zIW0~W&fhRrPEsAj|7Jx6vBzdFfk;3gz<(qo1+fE|ZS9q0Zw&|KOc6tdN z76gzc59h<)F2)-f5@SsJ2-fzCiAthCX zf<_3S42V#%Knx*mmcoWEoXC~L7KP5GZD?;oG zcFM2pwI+D!zf&logFv%VLi4TO3lJuMgp_A711eHrse#`HxtzBe9ISR%H=)B*6g-rl zx29aKCS)Jm2fTo(vzEqJbXkzv(6*sFNng?}As;4F$%YV)e?6b5>Huh=jtfGXzW73R zJtMXASFic7@3wPleHMn7q3+b8W931nr$Dx zy_DTE+<{Sp9y{lb_1AnLtXM0O-a)5+^?tek@syZAJ%PRrEnx^Jtb_>Bt)KO5JlEeA zL%AjZ4I#nP{s_S$SYn{ag0UUA4Api`3BMNB5%t6)kAUZE4uRxOOkY5)BcFi zP*;U`nvV$lOt0NnY=>v$N_ytjY|8go&jf}H6h0!Fz6B40@a>3XV388E1I{kQ?BAW8 z*UqQspgGe|PeB?wncxqE+Vd}{k0+Zsc|qrms0|KpATW9}d`ki--)jkT?6q!jdl<2R zS#oDdz~rtw&xU4PuEGW^f=LwfTV`?JyaKE&y;Ym(nK4s9kuhH|#;aODQls#uf`M?2;;~KW83OOC-6zv=qPD1YSEy3D>FDo!9)Q0b~` zV&y&KPw6~Qpg4M0*nPopU$VIlo?K$q8Tjr`6!eh1zBn|kP?gDOUP4PgcENC_?WGCLokYJ{!X~8QgJrIONUBjuZdhp4)~P5$ctB<$FeRSFlKZ)I$w$ z=-m}_&>n=lE{%o{!2qmozu5rN7UwN1VaDw zVDz0Xck;m@YEticLu-9BHJFjDqK9O0M^$ecJ*7g!8-wy0&xEUs&Fekg7K5rGm~m=k zpH3o_hC*P?ap&|@tf>4x((a2imMl)D_3U>S%GDN_Uy|K72Re2Un+V{_M?&d{1{v?! zJD*v8P{fp zq3(RKU{pJ7SXRC`_@>*tougiek=wB<4xz4wJ%?U1aF8#MS@^TrBBuf{{J6HD_AGka5PQhhbGfHV6Z|Xjm{M6ZI zp<0y;-*MuaJ0|9q->(aX532$;VEF=|7Nvm1}ulkG1gwRz$&c;S;44 zHwrs1F;(5d>-&!mCwBVf+qO((T*mnPn5#I|;4-WAZRNU}g{rmXf~J4{;!`tyMci@7 zdMv6?#Q2aLP-y@MlB$&Wv)_kSW}Az;ciQ41_!ciLsg!;y%aMdIPrAY<{GfnOcmeOz zg~zr~W=!Y@rNgccx2Yby$u!!ZVwoC&lhCnhZ__h;U$fw2t1tXe=FT$z#n^JDnsmUs zfDtS}jdMTGGC3>96Kd53fi*~_VqGIm)`iI>*%WUh!8K$f4~s&8X(2vqW%RaHf_OD&pt zD2uOC61#!_=F~PMJ)bM5bR%1C=3qia7dzu8W{_WYa$mE4aSjMbMPa+mZ-{ir z)v2f@jm0X_E%fx@6g8jm__PrjkB17{x=hYf}k zYMLZCywE5IXbGgaL8F?j#yk$jf)|+d@+-z$AgZ|&L3a36WA8DezK_%&Lj@WAxa-kB zRqC8p3W?OOas%h*3W>rgMqJC)kimDtW(Gc8kx!g?88hcq`ChNucFd*zIr`&X5PWb| zQP7^~^pt~_)q+vZW9XG|IG^}pIvMf`BPATTb;lfbN3AW{&NFC#gZINeB4(mi=BIDf zW~G6|>St;_DT9f*(XQI0(`kZ|5xaqJN}pP;C^WZI&#ZVBRFR>?dLz8;nRi@QW*onx zi~oFiK2?B~{A8t#l1O24^wXf8aMDdFv%;toc0QHei)RTnovO#mb|1J6)4IX3dOt-{&q? zn$daJdmc^dDp=D<8Ru}j6D#li5=>DMxO^O7WTiJ(kETPfsfA*x6L!2b0NCXeh_Nf5 zdgkD-#h)byV^ku>3WOHD3zvoN)3n=f|dV6HWi=M%sWZXsSniy)S8$$eB&2%qAo$0R6&*&xZwjU2z4}FMVU~862xA^!@F)mVg z;I6-r>yrTDS1x*jy1Tiidz;O1>bFhu;jA%^?j=AM4mU{If+%B0W4}>sFioAJ#n1CJ zqmiEMpcu;&4yN^9&x0jWE0oWZ-J*`wEp`iX9|u#h_`ANRs@f29E!NK@pz007Wpo<0 z`oTx=oaqT%t(p+jrbvV7JQ_Co+YIP4x%+QpLK0*1bfz~3Qy9A-0p=n#%F2Ei1?q;K z&J$H9ic_TXZ9-8>Bntvt;15#`4|Cd2Y@=lqqIw5ee(^RfcY|H(@~I=#{w>c=c{2Wp zM?~uwg$;{#iQ1D>he_$T(hm*N$j;v1nw+!j)*4i2q#f<|J*`k4~n)0A6uSO&2g3*(2Au z+tYs@CC^T>egjS>ty(_;Su&E^?!l+_cnZ9P3~1YkdjBdHUPLwFpg|RDVvLia#o>%? z2;yyI+)$m%l#xF5R+swnX|nsofz&q5L@tamC&0ohywJsgW_lXWf~C{RYRqjI}};yfTu z#W??YD8vlqAlTQ7dT$nKA2J1$r2=j)*j8NgH6@weIm=bmyja|?G4rp?E?DpK z^HDj8YdzDvK}@we)N7fjVs~Y!_i5oo&Ei^ z(}?Pb?L#~nuL{_IXS!KwBfc+5yuoa7F4ac7m4~X?EyGQwiF#Xie#;+~L#Z&Vt zVe<`6q_7!=%I>WEuckLBpoZS|+z$WUqR31ZHv#cFHI{R64O5(>^)&D}L>a-svwQqW zsIlCVue0WNKx!(Hh7{I(*ns^0TR-;`mmT|zclju_?{~l=t|JUuEgW943ociT_oBzb zqD-nLa3gP%6JMfai{IEdSyXk&4CZz0lKWW6$XCTAZzgybXiH%LKa|04*&ERT>JqGaT*@6DI~|u;)M_O^K=dfLl!=E+!xGbe792K3{kyhM zF<0_!uT`k`&Gvdw+iN;iHy)1XWS7}zH>8q0T9TG86nB0aScnnkQ&VFDB zDbKKSy!9dZq2I;_6hys9udM_bhK})%+cUIR1wprZzup?Yo9;CJ$y)lkZMuhT8_1-SPmg78Xn>^`UkM66}%d#>6tA@%I>odwwhp zA*k#Qst&yI=pL1ypPP}LP>BpN&@a@iTh5^%44d+}&D6<39!!scFTe4eX`YPe#WpjaOSUBg9V(<+X4^xg zWS`4wX;7^uWxV_eu%@BtN&%=|SoQ0(Q$htW__fIsq}u?@1AXA&l{;z85eEJ?QZg8y zWH7RGhla`YX=?f^omghP)|kWR3~lvts5-!0BHR^WOiZ3p$EOU!r9y4!uA_L{=TZbr zBqjzke)jt3dnWyqzSAm4$eIMcWj%JTPu%S=VgrAGK!R-TYv0)kRkmubEXweK z!h_p55xvXhjyFKm#b)n_PS%O3)cEgUkg;|Q;H^^UrHLu_T`C^FU2R|%mYh)_i82~1 zD?G69V=-~<35|rk_G?~zLgz_>nOKxeuc={vUNKMBvRUsTZHlIT4)HC`zyozJf99{8 zXcVMaS{bAb&)3bjwh&M3RpJB{HVhwd^l&tZduVl+bQc`CbyM zm%KbUBtb|$Ysge)iHUtfGI7Bs9ViMlf{;5mhpM>}33I8Sc;u9em7GJ<(tGjs!$u2k z;ks@kcGrrOE4r)Aj*LrKvb@0*?M@kJ9qUjDYaIRc;7x_Z&_DO_$KgGUPHX8BPBMCY zoCDpjVZR+Y#zOg6$;UdjHt^OM_x55|Ka}(L>bIVxPq#8JB`f};CgdxnIwAy}lRp|} zWf?TLaBmlkpqU15h&7hSVIBJ#L-CyY(Li#6{ZMB>#KL|D&tyUjcXq0lS=CXVT*anK zn5od$P&G_7HD>zvy68@xZ#1VMm5gxj^6PQvbH0e9PsWm95{59nR-vt>vC~AQJFr9j zXwDH}zAzYx#X1w#{!m-u`HSX^gM8Y$bhht@1fSH6-1?T zXs6AyDl%{TDGc6H0Rfy%R+vasq8o9cS(aEyd2ZQF=q6^ql|)kNh*{{9t~-;sJ8GK$ zH7%({izdRH^GHt-(-4Dmka~w^U0$CxY*(=nZU?+*Kev1=PRW#HzqeoX$tGi3KQ_P2 zJQMEaC<{js+p|#N%|JEj^02TK(T7&aiKrD+MIn2;#{4w-V@Ghs(3UJflTu)-;o}8h zrL~ycX_5;(=sP|WpJ~jSdsS70&+-u}Y-xni8QkclRY$4U$v(n^=Yt_ZvPYDkD;do^ z7JXw<2otR@jE2_0Y>Oa}d1AzY&Q?Ln94cvIPiJI1fa~{*wzVWyPWEfFwiE5OpjY2> zYuigOR0RAxtWBgq$1jFUea~+q1}Pn0^XQ2{a>lY<(&PR%PygdWzO1sQu#8r$^Q9^5 zf4gg!^^jb#DOYo^B(K)#s{CsiNaPO&jwY|s0wC_+^s%Qmd{As$vEw(yjIT!cfBc3B zkg+g!BGqPN`;Dpdw-R6=?%xEIoc|vN>wk>)q-_5Y>FNb*{9f-*CzedWz&i-0@%#`%MFd)}&d;IT4YWqJJCmTns+Z`ns z#LD^SkL+AP?pHhiKL|KLEWp>f`~$|$2?D(u^ZyBBWd;68%g*`l@j%>Mz*pzMtA+G$ zQn7Jx{?@}k1_W_)aQrzS8#^1vt1sanct94G-_D7Dz}VPD4vs&Wu(G^vg+K6ExVV3BvVSmUWo7$|@9X^kH_vh?bS^ne9`6n@u z8}z5ptUxZdf6=mn{>_*h2xR@6F#pj%D;vwd)}596by5C?_*()F_SZT80b}LnWc_n5 zuyTXAUSH9F2+hU;1pX;B8#@>HU+QOnRqLNj*ja#_e-6mb$^CCyPR@S`$N}Q`*Xzdt z0$3F+%u08p~C zbAENa{dLSq*_ztDdffi|AWEvuC(0%w&d$y*!p*75F2u?u$|}muEylsl$@v;%#KpnN oE-XO$H=O?;l;4LHqLZ_MqqDoCi7Ddip~K3FNJS;4AddL|0I|XfkN^Mx diff --git a/doc/design-paper/roadmap-future.tex b/doc/design-paper/roadmap-future.tex index 5c1fa34f69..2b13723d2d 100644 --- a/doc/design-paper/roadmap-future.tex +++ b/doc/design-paper/roadmap-future.tex @@ -17,6 +17,7 @@ \title{Tor Development Roadmap: Wishlist for 2008 and beyond} \author{Roger Dingledine \and Nick Mathewson} +\date{} \maketitle \pagestyle{plain} @@ -138,11 +139,58 @@ bytes. But a) we could use some more intelligent heuristics, and b) this leaks information to an active attacker about when local traffic was sent/received. -\subsection{Tolerate absurdly wrong clocks, even for servers} -\subsection{First a bridge, then a public relay?} -Metrics for deciding when you're fast enough and stable enough - to opt to switch from being a bridge relay to a public relay. +\subsection{Tolerate absurdly wrong clocks, even for relays} + +Many of our users are on Windows, running with a clock several days or +even several years off from reality. Some of them are even intentionally +in this state so they can run software that will only run in the past. + +Before Tor 0.1.1.x, Tor clients would still function if their clock was +wildly off --- they simply got a copy of the directory and believed it. +Starting in Tor 0.1.2.x, the clients only believed networkstatus documents +that they believed to be recent, so clients with extremely wrong clocks +stopped working. (This bug has been an unending source of vague and +confusing bug reports.) + +Step one is for clients to recognize when all the directory material +they're fetching has roughly the same offset from their current time, +and then automatically correct for it. + +Once that's working well, clients who opt to become bridge relays should +be able to use the same approach to serve accurate directory information +to their bridge users. + \subsection{Risks from being a relay} + +Three different research +papers~\cite{back01,clog-the-queue,attack-tor-oak05} describe ways to +identify the nodes in a circuit by running traffic through candidate nodes +and looking for dips in the traffic while the circuit is active. These +clogging attacks are not that scary in the Tor context so long as relays +are never clients too. But if we're trying to encourage more clients to +turn on relay functionality too (whether as bridge relays or as normal +relays), then we need to understand this threat better and learn how to +mitigate it. + +One promising research direction is to investigate the RelayBandwidthRate +feature that lets Tor rate limit relayed traffic differently from local +traffic. Since the attacker's ``clogging'' traffic is not in the same +bandwidth class as the traffic initiated by the user, it may be harder +to detect interference. Or it may not be. + +\subsection{First a bridge, then a public relay?} + +Once enough of the items in this section are done, I want all clients +to start out automatically detecting their reachability and opting +to be bridge relays. + +Then if they realize they have enough consistency and bandwidth, they +should automatically upgrade to being non-exit relays. + +What metrics should we use for deciding when we're fast enough +and stable enough to switch? Given that the list of bridge relays needs +to be kept secret, it doesn't make much sense to switch back. + \section{Tor on low resources / slow links} \subsection{Reducing directory fetches further} \label{subsec:fewer-descriptor-fetches} diff --git a/doc/design-paper/tor-design.bib b/doc/design-paper/tor-design.bib index 95aba9392b..848aa2bae4 100644 --- a/doc/design-paper/tor-design.bib +++ b/doc/design-paper/tor-design.bib @@ -1435,6 +1435,14 @@ Stefan Katzenbeisser and Fernando P\'{e}rez-Gonz\'{a}lez}, publisher = {Springer-Verlag, LNCS 2578}, } +@inproceedings{clog-the-queue, + title = {Don't Clog the Queue: Circuit Clogging and Mitigation in {P2P} anonymity schemes}, + author = {Jon McLachlan and Nicholas Hopper}, + booktitle = {Proceedings of Financial Cryptography (FC '08)}, + year = {2008}, + month = {January}, +} + %%% Local Variables: %%% mode: latex %%% TeX-master: "tor-design"