From b2e1239c066974ead77c93cba4ec38b06ada711a Mon Sep 17 00:00:00 2001 From: didericis Date: Tue, 26 May 2026 23:48:54 -0400 Subject: [PATCH] Revert "coloring_nested_tire_graphs: clarify uniqueness-failure figure" This reverts commit 6c6d1eac9414a3ac91a9b88ba90a6e3a75928e5b. --- .../notes/boundary_cut_tire.aux | 2 +- .../notes/boundary_cut_tire.log | 12 ++-- .../notes/boundary_cut_tire.pdf | Bin 251070 -> 249957 bytes .../notes/boundary_cut_tire.tex | 62 ++++++++---------- 4 files changed, 33 insertions(+), 43 deletions(-) diff --git a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.aux b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.aux index f712371..06009b0 100644 --- a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.aux +++ b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.aux @@ -1,6 +1,6 @@ \relax \@writefile{toc}{\contentsline {paragraph}{Why low-side faces break uniqueness.}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{The coverage gap.}{2}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{The coverage gap.}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{Resolution.}{2}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{Setup.}{2}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{The low-side face of $H_1$.}{2}{}\protected@file@percent } diff --git a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.log b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.log index 3a3462d..884f36a 100644 --- a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.log +++ b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 26 MAY 2026 23:36 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 26 MAY 2026 23:33 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -587,10 +587,10 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B [4] [5] (./boundary_cut_tire.aux) ) Here is how much of TeX's memory you used: - 14740 strings out of 478268 - 301161 string characters out of 5846347 - 568755 words of memory out of 5000000 - 32695 multiletter control sequences out of 15000+600000 + 14739 strings out of 478268 + 301145 string characters out of 5846347 + 571661 words of memory out of 5000000 + 32694 multiletter control sequences out of 15000+600000 482413 words of font info for 79 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 84i,6n,89p,452b,713s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -617,7 +617,7 @@ ocal/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti8.pfb> -Output written on boundary_cut_tire.pdf (5 pages, 251070 bytes). +Output written on boundary_cut_tire.pdf (5 pages, 249957 bytes). PDF statistics: 134 PDF objects out of 1000 (max. 8388607) 82 compressed objects within 1 object stream diff --git a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.pdf b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.pdf index 2c487e636ff8239a0a13e3ad8a72e45ac2487b9f..31c078262da09b50a82e440f6f2b96d165d0e559 100644 GIT binary patch delta 55605 zcmV)BK*PVjsSo9#50E1RHaRtyk%9v#f8`r%Z{)V|yMKkye#jcI7``7VTC~?D*92%$ z=dNgjBp>$HI$M|ZY9q<#9MB)%8IpQX%eCEP-5yZj&P!3F;c(t0hqSmZXz}ulKJxqG z_1ULi2wE^hI8(BC{kCA-5@S@MwIYJ5;`LSW?dtVSbzTa}S8vWsu2;?7?rPnBe+XTh zyFN7fx~+*kzQ;dRyS|RS*Xw;itxUlr5mI{sN-hN9))l2;@T&vQ}RQR1j$_#K5We*udUb4D??x~Z>k%C5eOkAX>y1}6Egw@q7heQ1A2 z6^&HcId&!~k$PkuVgabL&tISYc*dX?xKnUJi4dw#8kh*Mo7=N*zo*3&y!@(wSI!pq z9`v>lL<&Tf0!zz%5Hm4a@Q(~!H4BJ+@e_^d8@-%~5 zLo9$KgLZv;x9RWNiuBb_Ie8lx9+WW(1mwno1e@Es??N*uAjoJA>0)j5)%F7hI89gG-9Fe^(^Xl!q7Wyj zeN39}WYW|RO4EXmRC8&fRS7w`Mrbs5ebt7hSNnB)UA57he@Y15A2!=4J_yi6xrODd zcUM`R#)RT$sdP%eBOr?z&>GVWwgU0>)m3N*3VpNQp|yg0(db@oVsGya83RBQI-+7= z^O$p#L~-{V^taVSLvCovApVXc{~?EyLE5GCEb!4V?>O6=kr_J_?8qXpW6A844qZg4 zf)yo7(s2s>>YB5Q(iGrTshjLg_p^IC{F#)ph;dca#aRdmH1ol+lsY*fHC3;Nc*7S6gW&f|5 zmSNrCM=p=(T(u$=x6=(#q2 zWm`&^uW=kl2n%5c9^PTB@(Y0gH2}?n0xThcQwC`Cj+(=Y3W9=kGEF|z3`!CvGeLp5 z8H^^Jr$HezjhUZck_hv-oY)w-SWaxb{7-cMk=GBsTZj{=LvBMZ4*~lr;+!K}Qt`08 ze~v>!^sv%91%NR6h=?Q90Q3|QtC@%&q-8Fr#W<;)0(&Oz97-vp%GVFQDVZWdFkL8O znSne*P#8jRhI6Mz7Ht*d#v_IZvDkt)Fhnr^40h-sF@!n8x>OMZE2BY3JP}fa8h||e zlWcSbO9`hu$=4sTpat?&GI9FlIR6ufe}==7UR$8L)I=I(3+W(%HsA+fCE*kZ?Ww|n z^qqq&OHQ7}Nm_}krBY}GWQilP2|xqPnBR}f8o!WuTnZ_gg?WT&4zs*GOa*B$zt9Mt z>#*~%XQ}JV5eddxe~l4g z#@&zE>N*9Hda<^CN_fl6btci}JQj8pSzV62enzQsFl?}4MVJ-OAXW$VEYXK)&{KUx zsu3u{jAk<5)f_G5VZNrAmTV1k9jBU!_X?lk@5|-myq)rp!y*zi0))lg)55p%D@~6u z!8;{*kgGeOAGoF=FFL}u0crqxf4VXJGiMBZzAQhjF`OvZo3U!XnqROX6?z%PGfL+~ zLI?U#z2Tj9rxLm#hWVV#z_|;{b5#~jS*@9db;g=b0mer$B@`P=guRE_+x+96J?Xl7m!&JaMZR zp%Ccc{L{gj`w6lhe~+;S?dkU0x*zI7G{nI4i0BP!1D<*dF`TO}hlZrX3HR|FKrhae z;&Clbpx)u3Y~OsAoGyL(g<;8AnZ#rieSig*%pyIU(ZyE_?o!aAF@N~t+=|r^yX5LH zhfj|ZmB{2FsU*QWou+`p{$h?}0Y`G?jMgiMiVa9!*SlRPe_C0$K@OAEiq#_LH9qIf z%~^scHvDI)*+Gc{H0EdIM@tI$WG^3GnGAVYiMfMp75Ah$Zpg}K)Z%ZBI2$q57(Krl zKLdl8YFz!)S8d%y9nMe5IA8xlKhpDc4Dk0iRa;FC-A@hc3CvJWV0=9RzTeiN(rrAE zM{RPjj$o;CfBb7z1FAL~92^l-?Zh#MXXI$uyQa-o$oP83M^sMJk@rc_gog&_F&Fnp z6c+g@w%TTKYF|M1m>SPWI~IENC@L(+RG#@5R}~Mn9_tN~dlPy#*fUKabgsj9`?}g- z$&sRB_2t{pcOMH9J>C{896ipf@F7+&;+xy`4*@P`f6kK5gTdpoh|~nC>+Mx|3>*q8 zI3X5QK3#L`X{1B3X@(A1rZUBz=;iJ6ClgAAP+@1=3w{bgDzUW3H`)rzc?9IGyC!sX zcauQsOGAVjQ%zd^0)d07S2;Z*jZ5Q|t&fo7t zA^V5(f26^4Ws8kOEc*>bim3PD*nB3w7oe^jGSI=Y+I81opyNo8j1=DO@A_cSDs_8_B{vFI08mW9N&q5p*c#ZL4jZ!5rf;((&M# zIsLHb;`7qYBi?}#&CExfMS!i+)!#>h3?&0ne=XJllk(yha#UE%s^jnd&A3(=qo$bd zIzW5hHbX6I-H#a{zHjSI2s)wG8oTG$C=k!6oW}}v=Zj_~P*1T)_dWiJmq4)hdc7xk zJ%lhcd7jU2_cai;-lEP(ZI9m5(6~!8MV%XT*N0aZd|u%E@r9M<7hYZf9H5wpOUuCp zf9^AbIz=d!+MHrghub$Y9rRsO?|QQTkYgv70Zf*G74|w>FEaBglwe;~oApg~)i%2e zjA!ve5kmf&UW5o2YbfCx8a4((7GeyMH1%(g*X(lZcF+w=M^fHplN8|7DEU_z6U8hb zy?IgRhQf;nY<~0NU5+*2S|^3^#-m}Lf487&7uf<`JO&ew-3zf#xfi0rMrKgn05xBA z=tW~7$Z^N``T_dDjSBjCyesce?cNW zX`!xQ_OMVF3B)XcL+ot=OuRH?(~Dzvc1z6f^<~({AuHxn(pKH>`>ZkI`Pr1Aq5}s< z_<9(2gDL+_NHgK_Pk%eN(qFuIHD)!;tcKeZeK)*Z$L%C8 z4OT0rY`SW8pTub3^Ph|0^snPef1}Hpm6f32Y`KG%hEOh5&OVoxCs}ec>bJS!AY!X& z3-34iDtm0q@_F3I$ZyOE36ocgYflGh1ZU$S<90m@qg`Kbx5-9Hcn~F)N|&2v+uXJ5 zH@=YE$6#29g)eu_u0(|h$Z~!Ww1OLP0=6Ewy>x2=%i=UK)ZwNCvBQNL3YGvtzdd&Oj^Q_S_G`!)_+TCF`c0Zmw0CKam^$wqXB!|^JK(3}ym%FRlREUHd(W!=T;7WCVz;7#J>?kuW zpiv`@$KqAPqP8(%tLRS1unptJevo4 zL6oqQS4aPRb@0F2T>wly5s`dmymd?eT#Ejm$lU zV;(OcT7(d#EjpM~MxZ4DbqROTAHP|=V_a=l7}7j?8Gir)T>!e49{tVYczaU~eM-|# zis)M}R=;7aa-zha$lTCTG`NYCXMNUE$@@Tq7MPJWWHG;9`0EfJ%?X!m4Hc#z>1A!C zmTKF_5A+ZvCjVI+Yt#hJ$_}WhHgjxGOwvvVJ=UTu!w?DbKf}JEigTdDbO_kb&}P~! zZkIFT7=PN^`}6s>Mg)eFJYu}5Ox#cdStJizC*rMac^A> zM#0QwAE$aB2k|P|g$sm-U^a)t>Uz7F`#>W)K|9fv?)E-}HuRzA=w~n9_?xT!ZsV^; z6YyZvh#SniB*SUZs)~%FU2oFgR>a$91q+IDSby`nYqYIyGOTAs5KxoD?fdKf^k(V7 zb;sx!B@k<{!6@1Ukcx_IR)NP=Y%7ED+qA=sIU zzkKF@ZhQvM9i97H7an8H5?(B3j*yhl9e-k+wsl$GXYUnUMFM9ho4G<6HkInAvTdrt zg|3FntA12?;EcsfuNK+vAP z0xH4;g9O;^cJ=FR_S|26T<#8WkX*A4QVIqkJ+(?n8;d7Rl@8_2Kd0+;D4nW#Tz^7T zlYK{URWWNrH8+pcFUh<6C8_y6`Xx@e5_!YqnC~0eQK*A5O93hokZQR+Rr!^JXs|Ak zS(j$d`*u_@?&~eZn6LV4i3NqmAEy;nk09FnwW6G=w&+C@!C{aVN~UVDlz-XTLw+&6 zkzK~_zZ_UVZ<^9@(d2kB2YK^M-hbsNkjSx4XQ_o&f}O0qB}l@w1F;ULEoJJb51yWL zK)hIAxHggFN`-(l1K!Rd!{D;T++%ER*T>cM9wAtRRQqHFDq`9-eL|VP+^U5vOr;bL z#2F|doT&t~-Fu8wQ3O)AP&A@&cAKw;_Q6a4gyd>U_k1TfJ8M*M*{104>VFpK@rLV0 z0Qopw|KhJs>@TGB>BX3~GeT+rKb+~a98aIJHWf)2d4~zYA@mtkg1vC+< zefdzAk#0q{B2pzoTcQ5?b!orTINk$;mUguw(ul9t3 zmfmqLoCMrE|2uEX92m1@G6BoIae)A9?4vi_(j%wGdOm?d#K`-bFiP^-U9lrI{p?iS z=;!a30yFoIp$s@!Pk)^|4(k=fe#fQy{-;a&#d+~^YbkTfMwV*%0P()UNNi)P?k-mQ zI1jkZgba6eA$Jm*e}0FIZCavSP7j`(U!kfA7;=v`MV~mPsM45GYoiI*Ba+5W>(f%7 zsHZ+_i{*oD5L5h}|2O0>XR`n)R@cXiHZ4`=aq0sLMSg}g%zvX+x)kM?EDUG|3YQ{{ z-eH=rzWc(PaORcul`ZJtv3M#LwtiU6j<@?obtOqF=so(p{12$!EiNLi+zQbzaUla> z(Ee|3*5M|_=3&JJu~N2=uvXMT(O;~CP5sDAn8)>Qi@P#-8}dC~o~Qw#!eyPjYmKwL z=NhNJbH!UaSAPnznphFmEpUeAS_wkjT1d^sVc>R{!t?1s*MLP!w*FghX&FVr3Cp!| zR>pnkhA4%tqp5GXb$&PR)~#RpJuR$d7W0s~Ix*QVu2+7`mgh@0VKY@sq<>UdH;>fA zx;Y}db@RXby;;AN2SD&@Y&U0E^M&O$|8lm{hInyfHh*ks0%Wy~PkGPqV23T3)6=kV zHeevFM+=XTmX!N=AAkRK`2^!5Yj`6-eHNULw*uN|*~~Uier*8pW#h1)fW*62Hy;}W z!(Vuhg0Z{*_Sa2*`{TH(-FPrf2)L z(}FYO{0vl%&<)u}LhIiu@TzqVB{>*hCjHw0sH0U$E{9Wn z9YyZ+5PvysC1mzujy(*FrDY655#t;>b?6rqW6-KQuHwxMr9Q+UBO+uplz%Y*In~5Fry;D^*6V zhs06ct36a>ivocmqo!~gd{3= z>3@dQl|u@~Jo}^~C{ju)iZn-!lFvydSXD_RX){qA8wV+^Bh53RCVnz&8*)BW6uFnC zJeK@SRV5;IO+^PMwXj99IN&1%DPjr9g9#bqkTD@L9xxAHBoA_tTplY)9xTTwV>;FG zmcxutk753~eRvQ{@7JYYG1N@~jV4{O{C~QSRJ^I;baf*gTXV(c>)uiEqp`Qu-Evt? z#x;d_w9j>n;D>j5#yHUDs_A(e<&0`>8Rwu;o~j1;aUvLJi)vOGXPj{brHd0Z+)Gy&4xRocL8Wsu4}Jh?KRfL_1g973ZsY{hSYYJ=vyQ?bxiorVkOxbn z7Y50t(F^0@vgk#TOCk#5tQ>Nq^lcCPaqWV2Z7vXh+X!fcag{m#{_G5M9tv4-18!TF z1f1=<-ErJYt&JB4z^m&Tgj3VuA%C4jW|IR2Wi7`Oi?ox{Y6od$i#w@q?0AP+ag0O8 zgvfY6pHU-}QNa~174_s;2Qk5lFl2u>b1m2aWlX0!-f}2AVEXwuqlV|7(H3MB`bhD4 zHsI<)@QdgexWS8l*g;6rSY2oh_9r{@Fnb`Kf+9e78J$f5#f^s4F_X|4+J+g#SfShEn1^?$hr63p?mg&+yH-|o|vzy5^4f?17+;>}8*-r+{-4yrD} zsN%|~Q`xc~d2~;tq{iSk4n2)c0p(PxR(8G#03T=@Az&)F*_4eRLFm_5e|3;~b3{v- zW{{IJay=-H>)wq}4oRa0e`pdp-r_bzr?PQ-kb5^yFhh)NWaLKthJSc67G|}j_GlhS zKh#kx!+*~!q^_jh?6 zlAvTvh>Qo!>ky)#oHMc&sSY6u+GD}2uS3#ZR)-|um`-)Px>HSAF zf?C9Qgn%*j+f5FP{(n6V0@YwK4l3iwQ}x)fXOG>#8Yaf!WE^v>73R*3;MesU zGOt^!z%isWB?vT7{c!wjxMlYVg?XjQVwO2EEILEig7okdk!J3=dDWC6Rzz~L{r;!R zQ(sDaONUHLrOBS13$}Jz9bSYxIawlzF zjMrI=&!sk)K`FE-h$M&n96%qtt;=w@NTNP*+bBg%qbW+f#gEuexOBh?D7`~xM_EpM z>)l&X9y2csVgpAG93_T4+wgbWsL%w4w)@$U_1waQ>t>Diu^b@wULq> zY#+uXm!!lcWs+;z|32M#4KRaUu6LC~%JL2d>;byJexLy~ZPpEKzJ5W&^Q*TnK7Y+^ z!zi)TvgYkgV+^sPZ#1=pO6XZOKeTT*tE)~>-7bD#>|E2dhnuUP-hTIg`D;~t-9xiC zFt-2BlSmkjSWP_z5n44JBU)=u^`)nputBsDO-8jnc^1x_z`$np+ps?DeeaJ{(VusB ztC#S~c)MJEIBz@|gP+)6u)A+RTyhP)YeJKx&w{YU33ZrYFd=MV(n z4X4uz=vn*4RVM{&|M9PXx8u~u)zZx@+U0QC;0uV7OW*bF_x_2@ zu8*tLJ`hB9-AiJPI@a`jXp?P2c) z5JDCL;O{sMKAqM&?uk~*HR6r^r_BHW`}W5zD7IpFT!F=KJ+(ZUS)L{aXcYnTb2NxW z#Xtq&R>X0Fk%RIS5a=EWB(YLAoEXME5v@$dNpED+WmHanXBLbTpzRDXkriHZ0cME- zUlN4zKz809S100sX?vN|cH9748lNy@Apg&1IM=WeictGBCoN~SqzCCTsvT;Qw}y#3(ft5DA8PcQwihyBVo%Fuv4qY+P-R+=a?HRD{ziU^4B z7Xz^(vWUacje7_#5DbeB~cM!`cAh{tgz0y`2AmGCQ0;2J``Z=`T(z|9t59w9orA0fcjLMH9OmG~zR1Z)I5MyfxbDxgNo z(NRuVlw3R%iWADUUnhfWS49`2=(0_g^x+CusLHy3;o=QEhb1mqens;=lLgB88nSmG z1ch+&31Se_F$OVAX&k4}f)G?S6bW9T;t+_zima;+#07yx>iLlh)=Jaok!nDF*!B#$ z0|JFf5a-~afd9rTf?L|&?YF<&xz`GB7BYlUiciVhjmt=oKgbem3m%6x^rFZ9@mN?@ zfhL-NeVPndK?adgx!{FDhTw(GSN<^xUfAWb*J1ZQxEQz=)00#b;#()FK>Iski$i?g zuW@MX^`K(Q8C=ZRY7vn^?xikj)?U`Eb-7MPh2HF$SR8yHIBtKwJFkM8OHVVHDzV7M z`QxEB1!qL11;!!Sjgy>@15WZQ{#hMQ!wy$}V99CgGXE`D_CA8*b7E*DpxxX0-~-pm z?b2X;b8HC1TDPl#o}kuqAi#ii3Q-iOKJ&ePwSYz~WE$Kq zR0Bm1d9Fyo|KAmzft~iHQ!H1oJz%PRRn1qqBuv=SKRRXl_WOfp5H}&nQEeLrKcks{ z?E`7t3V0A()tKYV#^E`aV=ilGHK%<}yYXk)oQLK?5JvF*n+`jmw0m82v zNBsh_4{KEOvB7Tm2j3CP{h#By$zT8Z^$Xyq2fLOEP*RpCZYXbVo5%F0?j1~Wp|{Js zH&uEV{H93)UpM&AOW?$c&#q^%cQI&x|Aab@QU@cHu^vpdhh(=mJ$j*mB?(q#z)Bk` zQpW%Jn!v{(VBegdKKrlA96r_?{TYlu{ZeY?)gP<500DqMkZNoYFYme7*wq#Mej|c^^m1r3;{^(e6dvQ9K>= z?DIP21q`>@dt`ftWexF}UZ$Fx$UXyS4qz4NxkBbzn<^G?z6kR(QSL6nT=@8H_8z&O z1&T^EnT4ELRGK>W-1p}Jq83Mg=HX@@lcr${aK02n-0#nTIs1NuIW0vIb|gKn!#A+} zFv6??3_kieu2rv-C7{>CvT41w?0n4OkOd}974JLeAmazO4&re{`29_>zEl~acuWGh zLzSV_;Svl;(?TaxmP$khovqjAhDK1 zmX$uFL|Lr`rYIU)UMD~Xpm7{!Mlc;>G7Ee%V+LlPu{@J%Ci}wSSp~6(aD?(P7RN+)&i&tN@OB+7RK%tAhCHQ1Zm z+Hm7SqO@wd8yJVv=&MbCMuZ9C5RQytANta7_(ezpF&~U)tQA?ZEO5%Fcf0s&fU+C0 zyl(0WDE%S->&NmLBm7tT#t#h#yE3p$#OF^=HOshga>McDmE7 zpE_x6&ObCInh^`D!lVboj?ymTrh#tDZcT(R#^pc)Hm<-12dfOAC~b-h(IJhy{7aC3w!dZ=rxqT9Iz)J z9GQ5ovbr$Lz1qruox9pO@0nN?@uUdQG~JYofpT~nm7lL04)L=nQQR4{89WBIIq39%k|?JCkdq|&g~3Bua7PIm z?;*#k${(pBQM{ZSFVEtUSoRGhXT6;q5`$=C+9LhwKV~E{JGdT=_v5gSa@T53OW-;R z9mCGu)4n%HFu~O&yt-On0op-CgIm z5`Mch;7NPD*GLEFKHs3`}I4M0p0Mv~LT~80F_hs%A&*r=A zaQ^;(`ZS>pp{n=tf4jfxB;(;uhOuy?id|S);#=w3)KM(`JhKhQ zOXW9pAu^mn)L3AqG$v|7!nz&GukdycpCXpie3O+?XcdZ4pyBG&d~?_x_Ukd@LbDwQ z#R?R`?c}n&$jV?RBwQUGQ~aTFAB;xIZRLT_KBQ-VtyFu+STiFWo7F;v9<~YQQYqmR zD+%*qd?g_*>jNi)bk^Oi!-H!Plv}NT7Sx0p*g6u$1KDuS$|`GeO6dYOePC4BO)(iM zLiJR*`$i~F!);hHPUqv@;(T{>6@9*DGi>8R4bG|V(y&JM?2*+H<}sxif#{11#e^Ir zlOmMz^!JwXOfW7=dHxn_$V3}UlH9FzwI~Eb|3#!zv@VO7YN}&7CtqH5s!v;gmI=Z{ z6_rEP(Q-TZrlN!tSH}QTkE_xa^`Plc_EKRL;3L)Z)RB%4PTuei@2`9zhEvU}yu|q4 zqDg99z%BJuuDymZ%11yct)lLlk&4C2H!&(!Ciko)Z+SHK#K^H9ssRvp(D=nO|I!!cA@20lhB!eVlNvEJ<=t+<+xXDP*M$gAXozEkMrGnk0; z5%i)Y@JXN>4?2Lh^@xj5x?cb;9pGjHxKFTAS-T}bKS#Z>kSSAKy$$S?!cmPVNFeF{ zFO=rT^pkchCImD&GBTHuf&(aj&0I^98^@8p^H=n3F=2J9-Va4MV%OGV<%3t0>65Gj zh-nUB4}j4CBbxtyGqb9?s=Esqa0oISArU}zc2?#4%WPm+bJwuuhga;xD~Eqs!yDm! zXPs$`Vx1SVS#4ka)&SKH4UxWLo%BvO?;BixP5=HDFQr%B8PAMwtnH+Kv)nb?V$F3@ zFs~ZmE~V9t^&PX;Iapx%!>W1J&M4X$lXkWh-Z(6pPHCxRlUZrFWRwq^r4K8VYC|lv8;cT(*utfK!0~UmX7@6Hn-e8P^X`zUjNg`P!dZ}R|lQwgC&N^+~JZ&LZ z62Gk|svT=8sk9_bnlD-AwW^WY!kh!kihHzU{}>KhkY<50%em}-Q&Y7U*{Z#Yv7WP4 z3i7s=y4oQZq-@cS@=04Jly*+j&Kb4y4a)@9=0um-mHDzQ6Xu*`&ZoLxOk?dcd93}^ zMD|=BtGMcRw3?i{;`{X|sl-zy?CMThap#KH*W;rSNtJ-Bhvu4Yza%!U6B_M>u`y5f zrE#)Qv&vDeF!M@(G%r`xG(Rr~^O{kuE%O>QFI3fnRvP3IdtApH?WMU&n$BqkXDd<_ z3gnb=L#6^|T5%(3`{6^Gr-sFL#-yEXRVFE^JI^s|WLCQ4hJlG_v-F|JP{Z1cM{TE= zo=Q0@*@-UmPe56j!HGI9Sto?#n8;nHgjSmBc(H6d1!6RRxa1wN}}Do*=UmtmE9^5r&P2rByg}JYqqaCCMD; zLdOE01uC>Luir$b64guX6S-t2bsNnUwJjH;J}XMETBl;hxv}dCs;IJ}@v3PmHk@0! z>Jea-%Zw6#s6N#u(F5v6L4wD-Ncl6gmmT+7OY9plb4bf$Z)IhM!(KB->0cR$#QWye z-(_|#2+BNN`m zQ1Fbf?|ktSx0#=NOT|!W?xTQkv9?JWx3EWe1I!t)v5X`0Um5|4#Q}OrufJ00-i9vE z80V9vL{Ou{!p@{?H0zA@0Lg1xr@ipqU2UaxrUR2pmHBK(s~kMRq128LmuR#Aq~?56 zoFJ}$U`cX-K(y1QAoCrdE+tA^dy1f;Q-I1znP$ z;5HLAR>8S0K?i@DRY4?!PzyvaO}LRso4E`L_tX3&wUWXMZGvyY0%shnjeVhefXSF= zvgETJt+Gx#4p17-XdU8559-#;^3d82p8`sMozk=wPHkn+09A)&(Q#?LZZbz)vnDmv z!zY5PQ<4g!`j+dN4r^{P5V)7))`G#6yrG&ju9P$8;kzvtQ<%?EK`miSv&ua2RHJqt z-Lni(O%(HlGS52I?6j_FujUR{NfPauEP;3HRIbwdkIE8OcbcdAMV+KoPMriNpRikh zKwJQ^;X{*8zg6FrRQt1^Kz^ zUq_QOmG!CM`%7p=znP02%IBm94#5~VwV9RtGN}jV6`1Dt4=6}lWo|Q zE604CUU)3e#Yxgy9D-PIZ#yEDos?Sg5zD-mc8_zAybN}9P01135kcK_v3Xj5TLtZ; zb7s;~%*b&rc`*l>sQ2U`M3_YNDT5H;l9_x4M+$k)=`iGQn$r{kA{%-kY$rJb>~jhN zT;N8^cE)?*3QpT{6_TsrpmbPa#zEd|q0C6;D7(Znq!loN!kQ$gIY?xxbB+UW$*hKz zVN1NTT=m>B(`06xcN%g^v1eL;SHfCKyjLfz3b9e{`c-ihkJBUQ@$^8n z`mnn1k+5>q@80A@KRHIw_i#06s?Dl;{ruqNrABe!Sp-B8kA4QL05;L!!N&8>89i7< zjI9!=5)rBLA562`{^7X3fz&M*96s|)G&^QB)oc*A&GNqf*n!OjB+p%+7{NMlHaHU` z*o*M|nA`j~&(ECF&H@mBfX7m1pnQ6%>OqsJ5>Xj60P=It*iJw`1Mp%C8&-l#b{ya_ z3pDQ{0e~k^0IUOng4WUk8DlmOvC3`&(k4ER$W+NiDBU`Z!_v;l808{3&oiniTxlxy z*p-6O2All{xDj-oIAld!EWfxTfx@}O?~w?ojD;hO;yh6$qFS7PiyY@4VX6t^v8keB zvR+=-2NLBBq`Ej?8JobX4x4)D1?46BFNYqH@ySgQ83KEZFUX}hdJ%OUC#pmg%F@%3 zR66HgC~AuFcYYE-gARG@&AK(ZK6twFvADHa`a3f;)afi;*f3)jX9Ao_b!b z6IK(o25H+Y?(0i`XB6kg7bn&yiUyDa29;p-3jtYTG~W5-c7@U*E>TR4V<)apDLqgn zB2xNcy?pF%ze$z9y3a`4V;)m&qsUp}FQ{t(de|TuXqveG+}eh|7D1P`(3k~DYuXM} ziHNlQ<6nbs?_*US;{fP#rA>AF8Pu!_)O?xY#>bf&F6b|RtMAL1&I*7l0LQKBE*$N= z+;SEmKRzYU#&lB46PAlqiHH>a$6&bs`}-Swqv{q^kb<Y^PGBP2dLRLnu`t} z&v&j_W@7sTC!A4nRanlYAM=#Es^Q z9{;%=TJ_=voQ1I=dyzIwRSXO7z^qnRqn-g*XFu_UUL=IKR0X-Iw>Tcfjjl_kb>!(eh^4LLH8W z14cjt7+4JOth-~JHgafLh%vLSZ5Ui-1orRwmp zd&d$Y+El$8dK;99X%ncvf`fSv?tFtmL5HM&BZs%k!(nr`3t^`h$9-7smn(FLb(B2C zs99vOH_=&QRDvax@01bY0g#G99G2TYq^kF8;sFKe_f7wv-0e18dH1;AhAaIBxIKo| zQVO$O$ACe0sNk><`D9 zi5MyiDr1=oA(t-Jo4a*;fMWmy#;8}LbyP)o7kSeA6P|`cWX-STY3hupLAg*go6$wQ zKRoVHdB2l^cR>)aS2(FFZ`Y8?_z)6*sWF9W^;-rKOi{{$P9M}wzXbT@SA68an!hyk z!?NZ*k#6A_p$6PHe|z;hj;==ANrvf35HFrGC~0=StpwEL+;z6anGue(M%zL_Rkqb& z8F8ImabgTkJKFVde0*9RpCGJ`{l9AlwW#eOGgCSZez`mZLxOFw@a-YaDy|2A-IR0o zxdMUJPMD7`5PDP~SooT`Vv!SuPGv(3S{c4`W2Qwyz&4y7`Kai>yqZq|N6`p!C=w8a zv7&062l{cwJFa8GE29~*%e&>OKg@cnGIE)O$~gdq|E-AQliWs{Ge=e({u-j7>LPLv zSnliZjVj4oK;!sT6`TTh_`3*yy64;e9}xb#&2h8e)i%NL4=bI8eK({(VPwo+MyBj# zV*Wis#*KcMY%x6$$6s7{pLkDCKSo73*v(FtAmR)WDL(M)&!1DJK*5975vT9~9EMFn zKM*D$9@@HMSZO+)@#dz+5zs-lJeDiucMNr*^dxdS=|T13YY$5E?2`z8da*c2BNp$W zlAefBYxuJ~}}NXWMWHSUmK*L;qEH|CTn?cCo3#BEj&7S)y#@QpODJ zU@dS2IO1Sg@_O0|9Avr5+JHSv;Zcw%^WmFmcHyJkC;+B-YBUso{@5}4v*2uU+ccL$ z>v5f)&*FhH)zIFeX1t5-Yt`ume#a@DfuG>+2geQ3be9-MUBWxMuw2DYr5?}j&mq?+ zuAe=?V7<}}rwYX{C|U8Du!Z$6!WIAt%qeUkI;LvaVk|yj3w%OaV2k(b{UK`hU3B1T z8do?Xnu<|^e87-@ijVv&i!nX~{%VN+Ucor;_(>3j(&I2!PXN!pie^A4HUn|y>|vkl(c%d^?bx>YOBfN9r>CWzU#3N)j91c>Eu?;b`nC&EmT3g8P!ZB+^91;m z%2+|1aDt4FLftBJcy(L_=`Tn6m5|P ze^jF}K9Ym$x@7JkWn>Z1FaAa<%Wj_)m*9k(K1;Ry|?X)y{AK0VwgFMfz#z6>L6 zyquzcBKA$kHEI z!{k>m+#s&tjH>Rh^CIw~=)>>jmd{=eVc*TM+Ls9Y11dguoFhP@P^ZWKag6Y056$S0 zwgd*>ppH`a1-r%oU@0e!oVl+V3FDmzxoTz$WSoDW9m>ZE!JnhE zSRI_j>S88>=q%sKp#VFnCtjk*U+)$8oi;%a%}XyCpTQ8MEvUWG4n35wGRkOpaM@bdquM;^~J zfsD~6d^(|~MRqdVMzF_D!Et;#YVjw3T%>gTp;o|QRi$Gkc|u=SJjRUTtdt)=X8Dl{ zi*xm{AmAWvo|T_pBL9`JuDr@rkB6zAJd;v6C)kfuy%G|WzNn_68ha|_IEvj;xp-V2 zH#eL{u1JSi2VXJ41jl_03*iB6iD`&@SH)-&;@0ykREbI#6&@7ePma8rJQ^Kd9>+{v z5s1hUi($O1I^xd|(T|%|)wMMJBJnzrC9k6z;U{f84@v!PddMD&MvFiyqz-&;yh&en z84#K!gf@M|5+?YQd0xXMRAT(n7Jk<+6$dq<`R>iD{|5vnocEJfKqmt?IWd=!f&(aj zy;@6?+cpxu&#zEr4@=dWFy0`YO4UAMJK0J(UT3!UVCTT0I1kx>zsh;`JFl`u*qm+4EP1Ef^&!P1)l7a={oUB2^1R4biDt zoUaz|qYs?X<*(=e9v^)Eil?&xJ3z$0rzlBGe*(Ac@>k15L`}Pl1?N$bZve3X&vhc3YN%adNCHbW5nOpusG@$Io~#pur($@~rC*>H3Kke`w<1(0 ziPk94%;xkh*KhE>TWXkin%%jC5m$pigD?db(^d$ zf9thV$*S1(o0#E+h>F#^=-lwS?1O4zf{}#sV?9mJ4;nHGk7vLPcGcfQf+-?#;;`z) zGL|BZKB9?=Vi($7aH14D!R84`Wis77Z>k2h;*XyvG+^ho(gkJOL#NPUk-s(T!g8$zj= zI;4F?EQA=XfLAhVYB!4xTddsJx+pmUfH`c$N)vmUl%z@eG}Pcy-j5obFk>Dxks{^` zFe9B=D3xZxNy3C%L<4(qIJX2t99A8y16T^twTKfqr`J0VnTNpwz}ygCpfWP|f8$_- zBc`y<%W zZ;AlOEMpd}mMmJ^(Hw427)6)@f289QWc8|%N2}h)3LNik+bmefwQNMvx7zA*{8~v(p|CC?Y`jlU2kk-`H#@A>G^5&mgbie~|@D4rl(~ zrfAW>i~>jV>;lGJpVccbwVduntxpLxKAs`>kO@AG&q@>JRnz$lcsqwl@XJFsvaU@z zc>a=`=#$03He37Ib+&T@^n)68O$DTV^!iQQp||3ARk$1ZzIUtpvb7u$hBk(%ut#$< zUAZbcZ$Y>${X%%6sXn0)f5qxWkk^6oq)tu(!iJkE2xrwb9z4T8H=RQhDYRV{GjP0t zJr|z=oV`n-d93g4Ab#P&Pk62)z<@Kuf%>Ao%<^LDvEv$vS|fMaIXPg5x3kev>3^#t zTM7;~gFl7$ng;C!mo*8dSa2LJ%vVaX0*?BD37OyIRq>6xM)&Zyf82p#aA8BV*+Y!B zH#nsur~c}rThLqvh1YLjWYxfl-gJ!NTs!Q!@pZ-`y$zkSU{;%7e?)Ve6(3qCg5sax7%)A}_iQ z2wZjJsu+7@FkHFae^rH>vPN~&*P9}IVn|XvRi`5xa1v+&CCKI z)Y^FVkk%F5QGM^OEG@O~#M$dIFA$mtP(sN(I>Jq#RoWPl&9jXJY8Z2b51XvIbWv>+ zC&S#na}$g(G2|`a#()9{b)CCJGr4&TnAS3iytn2+q}lDjfITCz)q?24&+|f##dctvh>pe)iiLhCSr&1r(1&L;8{lROjF{`S$GnuXM43 zn;;JnX|lMse@nNJlL5kER4slv`;TiK&3EL;r-8=cyNs9^@b<1E1>TvSW><;KQ_ptI z>a4l}-cS1Cb0{7(W-L9ZCYUW^lrgb{bCxtPIe_oTR6DE6R7E*Xf_~AB0?PBA6{w8YBgHf8n+l$H8Q$T-@Mjz0X=t-HHO4 zc!0NYs6V9|f#xd676=s+HY|cTqlso;RQ{YGV;)HH{BX1Vt{e`1pj?IC378KcX_9#y zYRG5Gp@NC5$)&YxAZaLUXpWARFBOZL?QY)}q1~hc(MElFZ;}A8P`hMRx$--WB@|wD zMehcee@z?ClGsYnC(ti8XE>W`cm?j|KokW)`(Ctgv=~Imz3kY&u@M1fH{^@bIbIBK zwaeC7U#xuB3XjgxBQ9tc@3%mg`?9Hh+E5~menc46Y9Qn=vTDG=Fi|&kTx@qX>D;)f z>=JmQ8)8<94=q@j0c7plGRKWNq$_3sX^r8Gf8d;1eyv?7sEwk>Axb!S5mashruh&d;U=`U&szMNalu$g5HN6UmlfB~=NW61v!piSClpDAq; zf58BSgd(Q2DK387mk^&i0-+#_7cam;k=QwKM-exTa}vXBgzW1Q!eble-^O-ypDrh4 zvqVni%&cR3oi*Dn0vAN8m&>=hU}V{v>xofdUtG-Hcpk-_i^zMsz}|pQvHCf-fgK-} zP~7(IKJWJ}YFcXP9TRR~uRO-m7cT|Ee<4J)8xPiiRjB*U&1Tbu--Zmrp&;Vw6xf*( zrjuDgyt-=2+J+Ix;Mxj2vJC*Zu9|vnp=uD54~!fpF82L!$6;qeiAmF2mV%K&)o+JLF1?(?FFqFFR7?U4>QUldTW--`LwF6vf;o^c zpDSWdhGB=i%F69Cv@*Clh-Q0qf7f`A0zF2nK{C9ktO;GPrQjn{&4cZ(4=&i5mdOb| zlwwt{ryokoIgAFSon0^*P=EQGq-@v_Xe2GV?u$E~u}d-W74X z57w2!5G~aMWhE0(*Z~A`$}G`)N`c2Dx8LINU6gqntagD-l>{T{(`>51e`<-CZ;BY+ zlU>mF6eUWHtnN-1QT7}7N!U5_J~E~l>mad_Ci)i?9hs{I{r5pTTDJ)HZVVY>m_BCm zLDyy=;VAfPFL*K$JRu515hPXV{BzUvbQC{Q(1C`QcYJnX_#Ub}5Q_LfQ>1YJm2#B) z{3pLLX(9Veg`O`v{8!4ff1|t_GG3l-id8#&qH?WwP|jbdPXdl=z=*!MAI-rLuxa{) zwD{WF$qI^gdJzJ0!%3pY{?66A(0>ka!jHVk`#`7*pnW|tuDuG^_y^AV9X8#PNa%+W z9LEMj@}va!bLBNMGQYT~hmPL&Z-XjgV1IO%2X!>BwrIGIU<995e_MBIhaIWMd(imF zXL<(Tg+!9@7|JCPeC3mz>kSle;pC;H`U<2fo|KT@QufTR3NK7$ZfA68G9WQIG%_@oVL$;D1TZ)>HItz%Cx48$ z19YA1+Af^NwmDIFh$*PDvH)0E*qK;Z*x)HC)vaA^f&Ui6Q)&X8 zU927KKmNl&%o%9n3X+MNxPt5y9DnQqvTn8jR(1d@*GE?Fk1Q+zHWn7%|1orM{s<5^ zakn-HC@=wJ9qfTF@RVW>j$Y2zmR7EyF#q!ipfRHbu=4V9GyKaPAYun}wl*`d2Pl}h zS^@1q5zS0&0cs9r)<9RU|DvGbw{mrL{K(Ag;o-q#V&}r-;A|;K%K-4Oc7L@3r~+Mp z&h9{Sz+VLe6iw`ae^S5vx1b_s#)@DF^7m$aWy*bbs016IJ zlaU7~IRfqfHkSX}fC2FD-T+vcSpP%!Z|}c|tnL5hY+`2SVCQIJ?`3Uo39zuX1p<^L z<(XVPT^Rr-_U3;Xn%KHHfPef=+)b=)O-w-s|H|A1ASt2(FaZ_#@A6#CoUI*QU6@>~ zZT~8f`7at!mnH1Y#T@MHfcCB~@PFkeZtV;-1GU|Y`R~bovUl*X_xU%lu(mh1_^SwW zH%Dd-dut~*pp5vxO+X^}KQc?8D}a-Qg@v1!9RPF!06opDnE#?z_kVH({!7XFml#xm zpO2%1BftVw1klgg0toto_i-_C2LfE3-GF{R|5W@pf@fs~m|L5<0!)FH*7op!*g;~T z#orh-d}nJfj0R zVdP)|FtTy709gN8GJkH+gWrGCD4SUSJB@$%%Gg^t0C@k-7SyKy$=Lnh3qbSl!$Ax9 zZ!Sd#(AEM0G=G*{pM{gf4D^Tf|9RE_CY|i~J?}8-H;Dm_`2}ZUD2`AH)M-7XO2I0n8HrLEJ0=X30N@6~HX@2eAW~W&R*g z1o=M*#HsiPfjE`^gLpuk%6||WfLZkq0&%MSK^y>P^*;zyk;Z=zFQ^8SKL`}h^bZ2% zY3giZ_6Z2O`7K=k$l3oR|9gA?qW~pn_8-IvA~SQa1%FNMeX zK_-^}fS{m%;&Fi5W##2)1+@Q%1xRN74+xr>%|9ThrJw!*L2dYFvY;N>{UcdW{ePI* zLB#fMc7LXS-5-|!2>4e`4u4VtQGi~U|4@TUa{QwPQ96QNTK4}nG!E8(OaFUh9H87C zLD!7KpCNF7+Tm#H=JF4Iki_ZFltIy)+#Fni=BBp)6@s1PkK(_hu=D;~^WS1tR*=U( z2Ehs{|4&#>kdq70&icQ1h!f=E0=oMDlP##*E`PTF+z?h)P)&b=fbLXgS1V`WKQ;i= zAXg8Ee>i|R-2MSU6LbFu1m)rJkDUa0d;SB0=)L}A19J5SI{(f6Ul);?n=`2SuK#*f zfNrV(!T);k1A(4EGx()>2Q$79oBEKBhi@VT9*lbv0yC6*TIsZmK1foYhD}OP`S0skCRYp{%L$<71Yt?A`=Ds@j zv87Jd-Mkb)2sObV#%^+5c{8SwGno=rZM#u4hHD-BCm_*br-kTR$DL-6g-sgaGJo%{ zhIha$l8)6$U`vnBbEDJR$mk&BeOOxC!$|Y!PLH2fsnCEBp``~aorINM)auH|ETS~1 z3fFP)ZY`h;CMv_SdkW7Blu0PR&*w|gCw$iJA{G{19;m(#V}xg%dA^r%e$`DEik+LY zXbZL;=mx>>!CZ>(rd??l7e#nh?0*u**w`Rno2Dtz_8rrF>M=8Mg0Y$ow? zFB18rZO+BZA&O!S8L7U#g_@Bl{m))DkGzFUXPVU-?FpQPDx|xo(TwAVO+mw=!J+-U zcjkxNca@c*hFC`qnvWON9ucA=aa-!#A^DM=s)1j-U6eAUM54hcsAKPmEQjY!>03T;e z283-Q73soGVCMCP08LEPn}0=A%esb#NaHeLUDoU%aN~4%3{sRF<_9|qrr^Y>G@z)Q zI(uEdm>% zQu!+OLzM)XQFy!7wUqN;a!D7a;pN%DaO(7OGtq8#iUVj#V=O|oKYzoT9im0Ug6;6n zQDY9*$ERMZVkomqaQ1*odA<{tpKCy^Wlb0;HrZs z57M0Ko9aH9o0py=NWP9{E+0jfT(I;YljQso?{TRXLE&5b9^|0HKXEXThJY|_?EjrV zhnSV6+!r?EoxlCa?ti?o`EfCOeZ=ZwJuhUV`X~^#sp;FdETIuRW1(yA)Dvt3qp>_F zy_C*t9#3U{4%RuMYXR5E2WhZn6eK>bjMf%EXE`_4BlhP^4KXk%>rCuMY1iud=^4K} zFI?jJH-9r?O8pI|^FaN!wtWsI4tG+$ETemwwt{cx4Ye;=gMa&G(fBMIM3q+xvX2U1 zby%v#;@y3?HgLbp>p%1Xz@5K3jbxIs;|bhDe92M&r6b3*Du;VKLfgZDBQ+}LV-g{z zD=L-y1D=@3YlQ|mN{%|Lk4=eXMl-F3OGcT3!uI*-sj7uB8D~?k8~0=uI6e~nFoX|_ zCpWf0#YSoQ#ecNcJN#aD3@?Mh&B0%xime~ld)+N5BQJcGi!QUBt^{eI7pZdkowsYE zY(uEOQ0@!187=P5$@?w+3(K#r)l@>|J8_f!H_!Ia>L(sQlJ`3(^2`<~Dd`0ui6GRF*y3JBNTJb(QrWl8GM$#?L6r1;84-G0jM#06_T;~iQ;ycFKTxt361lyi4_@kG1VNleAtWY{&V;8 zI)F$LsVoFn-kwwK%7dz$@nq&(ZLXB}LmBTeuD~#L(k{)|YlqB>mEu$5yw9!@IsiGH z6++(KY=6!U3(C5wq?>A(OyTs{u3xxWYc8xBx2W1~)s&KDDIJRL$vE=_rawP?!`y5-o8lRut2sGqvi`r23lF&(H zu+d=YU?Ds{s*4UuXg&SvI5fLPS{LA^B5wh5zJCr12u2w5Gih3A8*hY(Kajk36%OCI z0xR?C41e64xaN|;3M;XmtKN!BYXSObJy)D(@^5+(FI(4lI$-XlD4lp)FSZ5cn< zIlwCUsU_JB`!XRU#+csL2OstxsB%A_U?gmT!^Ms-y`gO4KJAUCF^*;Q?dv$^pl&5A zFA5Az^SaH6M`2#9>x1BVLTS~`@0ZA@~pMDp(n8#(=BYP+Iz`|4)9u$3?Cx4XB z^~N)ZL%XPOMu;jds0emf6z_~ykmBa0kde23qe>Q8v?SQFx8?Hs5H1TBFR9dY#V-f9 zccMIAq!cG2f;;LSmK?DD%eH{(py@$pZ=sQTX#z}Zd1^11s=I(CNDlCZhn2}}4QIXd z%MH#n7r$2wo@c1vTSU5e?koETcz-XZE4@6=*6lS{RuQ-AiX22okx3>!jzYCXHdBu; z^kx9p@}e_EAU>`Yq4-$+8o~fs1}U-sZY3W*x1)ZMhbJDo&bAc1;Toqz&G_nJG8Q`F zSEJR|RH>%>t&5{T8e$Pd+h&aEGgjkO9yg|IH~O=kC9Y)cgqOcb zDjrEp!Z=j(sK9FT$4EaVmP+!3WU+(tkN)jxwBP`Wii96z)9maW_sYBryr;UcF1+C% zsEv23iIGm7m$e>0Dt;+G9d?bu{#4JoIO}Ct=XL<&w~iCgucK~}5V1J= zeo-e}`RN9JLh^%#M1R5Q^;^uvj9hT{9Ex-db$yfI2VE862^5*7O;^go-S^b&ZoM*E z?tZGymprQp`y9kNydxdz*%g!C@9KS*)Y{Ggvl|)A_D1$85VG?5*a)yRslxE}2YElI zGU2P66p4J~B%3x?E(||qnXdQRANynfHkPj~G=N<(DbmRQ(0@AM^AdsXzI`sgvD&s@ zz>$2znobdb;cO@Je&&*b**kcBWv{ydL6^}kP<}t^a(m&Bg=s46ljt>%081(+MiT9V zV+PBl6`=e5^qhE~1;-v?)6_B4(nUGloPu#$|E_joHj7H0-?0l4y#>V<1JSqDKdX`F z@QG=pKlMAk#ec+*w^x~aFv*rty{LE1X!zH#8#W>L*$!A}@Z;-_+lBBx?GGk}q&#?Y zMRxG1E8)179!sP!@URcudy;TE!d_|y{+FR&!858KZ5>4CkE)X4NK$j$Nm(8bo1-MZ zd`4W`cseVW*f7zH_-yf@?8y-*9h!&bdkmxX(#W?WMSnbxiK>G^#x8opxpe)q|F9*k zPc~Dj2mQdBI+5|)j8pM}x5817ja#-|^!2*Qg&E>3>boV)O}QtQ3InpMpkB>3&v>$w z%Ro!eM-o*EUIQ*ns)#2$uNqqGCcG&3kt3VlJFT*4`F>SVLn2jC6Wgv6&jzEs1)ZFa z^_&W&wSSNs`)4bd=TR^iaqZP8O#}gD&&)POp_>Cs`J{g9#$V1(#Hq9h1BWYi=T)>@ zDWIh{N)J%RTxE)?JKzF_=a`ms2rq>f?XfDIQ&Ej>PVHBNdSQ_|m0osSMHHbJ<&o@D zqtk?-jMlLYjY3x}F_W77bFl~G`C^TUzfJuvlYbKpU%%i2_J8kLC87m%Sr9No+a2~j=dr2yiaC}KMh%Y|(XjRQtzM ziW7KT`Oue7>eQ_lxu|@({0UA3_KUl2L9Vv)Vywy9{Q%B!{4{u{#D#vRU&TQ}yU|nL ztbbx^^xcGo%B+3<#J~}7HMVgC_Db1Qh2_zZ6kD3hnI;NY;x^!j${w?wqavpq_Xn+4 zV3aRy-^${;NtASI^`>s?Of837tcG9LK>tDCO&K(%24I@>XR1!h=`q+N>Ffs?*jb&u zvYD@Va+HT=#S*nGr^L@$0-{S}G6n>JYJbqI_W<(inKm>lWX!;X)ugFX`QM>BlFlH3?)G3j7(qFbp9%GMH0vtZ2d+)3MM%B8I(9x@&d_7# znvoWIUO=UOHl0*>n~&ULw(w)$NXC zuHvDc!J13SSBw{?>~(x>R*czwZNc4%YK+^cWo+|a12*eO_ZnaFZ)cQyM}JR!z7#-9 z)TW;cOgNex8X^QOTAe6;f-uf$KFiv1e0V~v=5g~{rEtDVUAs6%BoZ~amFDz8&1w10)B#t5hsbVMYn+4<%)1&u9O<#xE) z&nWdVV(YTsJ2*EqOIlZ-GJjs;kwo+9#Vr z9d?+qNe|eJGwdPvMAkbC(!#3=K^Bw2ub)~}nNG59U)`w#hwPZpsmIlJdd1tvmTbLV zNN~B6u?rA&Zs)}sst4?jnhd|!O1W_wNoB!2G%c}~JfpZW$IK$UZGXm&ZC}7|azxg# zR@+AyJ&OzaIYQI#TU1!`T2T-^l?{9_5I$FUG+s3P)hZ=-$H!R-UF0!z(hj*RoO2K;D;GWS0 zPD81@^gmv!bU#j)+T{YPTECIU-hCUd(JqUy2`$ATol3>lRMjSR~4jL|V5r3R9=Xy;)8=G9@qn8XL zMd{T}M4=l0>Kv2EE$sEc?}0isAtpe~_ujX@k~ay#LHDy6{dO=S{9G8d=Qj}GiL!sL z^&JW(W6wU^B`%%Co(|auxz<)lx7_}0aN#q=xty^ez__uD zve!7Z;B2jH#DAqisLlOn`=FuzOC((q*8Ho==vJAcsYNLLN=N5 zz|hU3%U(&~^Cw;z?VBWv!t(5Ci0${u*JpZ+r4nt4)6!JbVW#6P((b7~GCJ86HE!hY zWgX&LSi(c7bDI?;BC20YB8Rew^p*P&U9Ih~=*#E=x2cNxdlX#m^=kO)I%tvPE4VfC zY402prGIA!LRnyw)OV-%eUAZ>IOdvC^79Pz2iPuHRZ?$7n}*CSFz;*i`s{+LJ`#&Q|yUlXFs|>tOrBmmqun(K^d6Kupk+5HrsEvKB zurWpZy+YaIDw_zyEI694^nR92L7;8UBLt^IC#v2- z{(qDtA1Z?)RT(vgb$OJ2ouW#Q%$4-)_{|haw~+eB-@=QM=Qsz7?+7qz+C6J5b^KMd z?N*yw^Uy&*I4oKv#hb0-SC|$X)WK;D)u5&si9_u@{9YLlB6Jm7B(SE$KHSvaBj_N+ zszL#qynAQwF4#MM>BE0tbp8GIrnALq9Dk1^>2H+f*%KQKp^@twO|6~OG!z~pC5)mm zkIE&3pihz!aQ*{GTQ=T zY^f;pR(YdrlvW}kf(PaEi$-zwlLu|hg(XJRPb{a|kDKN;^e$& zMcB{d=P%R{*!l(V66f_A%$paJUu3iOR~xX2s|l~L%}$qb1799de4&53cG|E`4`zuR zIKM?<)pSqSyy1<>y7w~3k@$XqyMJm7olMbOPe{myPk+f$32D?@UFX;6(f&vX`FVLo z$c+Aua>JmkqRm5;C}4>)hC>Wsb6Cf=WL5p(#qUDIJLyT zb#}Ez80#fR&?OWS7Ys6oMI*PrQlNtwT(VK}tF-QK`|m?o8Ez5p9F3iR3n&~SUmo%? zFLCsk4j}@wezHC$ae(D@PJbTP@Ui#)>BpsJa4n#0wDTJ~D6&Z%(4nI4s8Xz`s#h9y zujEkls-?tL!DK$TRgEu9da#goC}N0TgL5E=9$PX1r`-tZAb&l(eGu|}6!$VD z^xInJIC?YTIky&CMOCZuulC7G*O6lzrD!QBd*Sro)*KoS%y98C@6ztfcbzCM%o?j? zRegAd3Bt|m-G?nAZ!cnjRVS~GCF3fy?P-v6GC!03XI2FTuQ8VGUo>WFQNK&U#FW^# z#2v>7z~~a*D_4y>OMfT9EDaMan!3kT>N$Aw%W!|`LRV&jd{Ko~G@F9Df{-P)aZUBJ z^nz>m^3&j9DCTdY*7B(U>0sLATToc z_3`^T6=eCfo9N4qxV8Wtfm&rpL{hE-*#2a;L}o@!fu zgUlICW88@dqTXoF=e3M^7?g6rSBeoX_ z8LVuxJE9p~=%u4{SaGur{*XuV9oFi|iNxR^C2fCI6Mx&2o#|>1HE`V@cPx{C~C zK~CXdTv|%$AVVNGBQjo70+YpZeROMAkCTZg4y0lt5(3ADkACQ#_waCoj8r>*rGY}O zi!ZQxJjv_-+^v99mB_cchm3f8{YfD2Jy{nPi9HZ~7fPelF>Nht*-ozk^T~_l08ZkQ z3%wsl&wn>eey*|)W27XVn3m_v-A7UMW1b(neSKr*0Iv?8SfgHGN(tra5Co1OlpcLm z7#M&uk^?3Xs&InAN^6NJ1EK69SmJtPBYSQQD zh%aopaLhyZ#=HiTwBb~o)+Cz>s&FtSv5Xnf3%I-rR!>|qjoFv|NRE^dixS{O{T2N& z+d3q9m>oKQizwk|)vv$^PbwR{=mRGmu69#7)#8e2aqh?Rh^9orAkk~B|F}|`9emIi!Pd`%Ypn_@-9&#U>Vem+0_xEcx}6^Ef&Rg2Y+KcAnA$2 zS&7Y(xY%0YsJz#KrkYR`?*&KCB&!7d`8^>wz1(kRzA3HCQjH|qXfY}B=qrpN;VJ7% zo_?dK5#BY(99V62eSp5WWpc07FWw@p2icp0i@M8*1XY9(eA ztZj>|qH9O%>@d#_io-TDu!Pzf@pdvJ*c(r)`Tj+%NjReL<{&U^j1a9-L;Y+uxB$LO zXGMvl_uWU|hlT5%Puhi_$N4Z_E}v?bI}&NSLS8GTCD=y`d9)=@xEYhI(tof=HADpm zmK7_zPPRo}B5Ugf8$4h3XjYF-0m4UMDieZ86Q}hoM4=Zi zGSx0<(qA5!G-wUy;ibd2dXToK!X>w&9C6^3-%t_EW<6JyrXRh@>hm&`($JWSJgg$< zsf3PRDxHw*y5kru@MbX&+640N9^l@Ivdk1RBujbkyV>EE#QZ!NaC%%7I;X=N&Q zfj>~+9z-a~?q^`$&PY+$h?B?9K}bHTg7}4yfA-)`qr)jE#_U84K?nFAj;2F-+xjUy z>-2p&1Gyv>^T1KltlF(HIm@#JL)!u121DD_4WZR8fl`h6FbGMNb-oBlM?KY~{-UIL zuSR<}8qfP(%!^eBvwvu#%m%E;POBPmhMQa>&SV9X9mPTRt z_X1g0!*Jf3I=1bd3vbFy1#H~QnXPW63WZ34kHY470axKu{O5#X=#yY?IVO4Oq6~;C z01JeZg3ePVaI_`q=LB6^QwljK4$84aU*f{Taf13P zW2@U0)CO88C#NLZ_!c4Kz2#)D)a}peV#POq%4d4ydKz3(Hieo_INPJzV{jAXn)Z;q z_ba2GoovxlSC0Ow{iHFc@%WW{31CX8M>@|NJl@*l!H`cNPlph|jQE3dM3)dV#CKI@ z8wvM^Zhk+f5`XafN0fYZ#)hAA3ZvYg*Y(A+l9z;geTVIK^44v^(oP8mR0)!4yR|fy zgugpcnydZ#I)jrYWA>2qoAx*S2ZXj?m7O2C4%U-(e zqBXbxW+ZPABJCDaAhPLaDUB7J;`dq{n3#bz6N}}T2k%$2 zlrymeAb>7LzVWSJJaEuzZ`4ST$TsFxIZbxbHqhp%Gw?>IN-iI&kr_C0Ry_8%x;2>!Eqe2tE{f(23N-ic0{sn0zKUq6J{4 z!mi=v6;{e;32Ka30hqqFcJbF!It+^6o~TSH`G4{9)*M7rbVZ5DMFP2IfzH@#&?>4v zu0JD&7#D6%1|R)!{Q^8H1V@k&Z#G6J_EZFo=tOTg)D_&c@x@L@%^GYDfl5^^R*z$1 zgh}5-OZYv(avX%yB2rsm8Rj52P!*1>D0(4J8=4pZyN*@cG6XQJjr@MtU z!^ru$miSDTQ%Q;LN7IOfU@QZIaGKT$Vs%B>V00$q+0%yiiAfjE*S_OYnB4JKC2p&2 zfE72b5(Zw?w=+0d@#We_oJ^|Ej91-k7=Jx;E9{-+g|h6df0q;8fx;J){fIZ(L$Stl z@l&+XM56yv_lbB;PB&An)1MGJSVyGHS(8R<28q(!p&!V01@!Y%K&$bQ37W}z;#WzK zwp<`TDV7sr#av_>q#EG@WKuF|AxYoN=$2UnOBpGk(fA4YtQupE{;N zYYHhQ8p;!SIqRY~@#gW+-oU++z5w#@5j+A(vn`nBxLMsjk!-f58t-bQ^OgMWQYE6k za(78D*6p+NnF|=eq;WZS^5IKfgA+ZK64L>~7Ya7%)>Egj>XwnZh#!2srhj}ra8HZZ zWyc;u6~4usA&)Y{AQ}_HEhD5R^zY2$y@n3?z-9!u9xiPUS|uGXkV+RGSJmRw z#;2jhS$5)~|j}+Og|bO5_;YW$2r@mF_O~mIOboG94k>I)+TPVryQEsa5zwUd`*s ztd)0Ap8$SUvQcdINfmMJ<Ns;Pvw2v?&y zJLhDtyMxBK;8V@-tmJ2g!6Szh^a7FWZ%|J`^K=?GE)i5az+8`G&O0=qyr}&U07>qA7f3 zdbQm3r9V8oBlhm6IDd5A9n_5ym#C{W^mil(2j6s|gxhgJLUm7Y;|36CHuHZGQ?0Iv zqeVLWjn4ylGTo4V*2ZP?sI2~9ed9W{>_AisM6DL%;2O_5xaI4IOEp0t*a4dUNx$| z{i5Rso>J`%qJOY}))K2|f&%*m>?!h+w#wF!Fp=D!=Q!%WSB-bZR66Wp9ADyP>m554 zYSVpm-?)KbY36#ruu2e<6J-{~QLuhBPxJHONB_W?ORbbN=y3XRN@&ZGcV>RE7UF$t zQ^%jrioTyIFp7aBe?-{J0L~{?ln&34LtV>olFOO3w0}p6DuUARb$8g2zNx#RLB)Bs zg5DJVYgzZ2Aak#F_5&ACYaK2ezVor!8$U+daEGij=NewwB+s8<7=c20t46>TuT4wM zhl$NbJT<>|AZc9YUMkNj`ld93rA8faAZmUGmAs5p@w*qI6NX~Tb2(6a5oxOzeWrV4 zi)pn`4}Z+9b^2jBd(P8n-u|eXY+;MjPSsUiwTHURDZAx$^sGwX?6eN_FSnn3?ZKC(VVg& zM?@|7>6_60(YarodlgTMw;U3b$Dhx?6KKW1bw_%F)hjasUSAY%^WnGUt6A(1FD>w=s|j~uNcD;!?B`ANEb zet!t&)8qy;AsMAc^SL%tqh~X@4(;COht-0WsoBA@S4ts>DJh{zlpXogWTlKAMWfAH zrb;bV%cvLEVdWlEKo+qqls<{HCpTEu9F`C$l$EHcOAGeH9w5^FgMa-pP< zs+#kUZQ4uHA2f$?1@g1K92W)*y??eUjj1jIp=%V~b;GUVrLf?L<2Z2K`c8rwE;kk%+KE zaj7T{5P?zFO&Ht;+9*C{IhRdXN1ao2?Z1)q@ z9n?PNG@0-cK(U3H);Mf2POnOWVGkG#TyefG5SY@1L*!}+nIZ|q%eYgJV(F+Q3BIMg zJa)tLjoe@m26Ow^vm0^~&lFELD`!|gN08a(&z<_z3rtSNRPDS!5pa>!f47qVK`YgW z%*P@^3s;kY9K6ujE;1lwNPmvlL#Gm!qP*@nJ%Kn)n8G}h;+ZFm_H-ZDg5VNI%;oJu zEd{IQVmFVRQBwJmja*pVqY_gY$MYNPMc)HVVBGYFd&f0q?2@m3^uMRJZlM1@zBW`9U25$U8XiJvhy zWm|W*cyDj~l5R0@P2fk9c-nn_-~bZ#gZxy5{neG>Sw3cHmcITXa#|LMA=SpQ1_gw* zT6>Sc3#5`{e^=6$95T+>67>duI{wrnS!Yvfw=P&3yRL{x$T3Z1J$ioNW$>?nc_&VA zjk332<%Y_Tg6y%Cy z3?uccciK>L@de!Y8f?c9cj?ELHaBU^l}d|pPziQDPHoUE9!f3lhAuI*SK|J4c8^E z`S9fn-CS?UzW5}Czam0q!_9aYEI!!@gSXia({~sHm~!6F)*{~2e4d$by`eDMlr8xN~iI~ku zw|gixbkeT-c2L!#kN5Kt75=OQ8g5KXIwjG1;(~33+@rIB`zi`dC|Su{V-w!3Xk8d~ zo;U?|WMlv{T}%nW``D9#Z&EfHcOp|N&*>_mPX!I+OKuzj4LT;qQ7}Big)zX$^X^{q zafQK8Y=5Zk9J1OtaLbt}D6g2EwpmBB|=l+e}~5LEl~8Gmf)!KwHA7SXgl;j4&huW$jkp{gWW z0B%K}%2Xf>vHttUnw`x2=bq^Y(l`aD@03UC5FJd{XsP}98rDgoG!o7{sjxjAf(eP} zQyUw33&Zvj#(A>$HLe-1f{0=AH*#!l2vqJjlZPJW)hL3i^ON2%9qB?@#3jXFiNUj@ zhJRxDeB?=p`X9fCF^@#(ADbmf60LPdl>1ly6w!P#4dr!iAZL6pv8zCn(X?gc^d1=z z*R@R?lDVP40l1zubB+_Hk7^7)VrPD7_T}mmyz6@CkbE-=o(9<2&>nrWw*)UUW7YKt z^sXTaurQS1^TuN`b;6umK^LkBxI(ygs((|QBF0uU+>wG%H|>|++x?oGAX3|X?>xYh0r(D~0Vdx&Rn;e4GL>K~$_S(4HvJD)!(wWV67r0=I(Rw}v zqOUjEz7!SZMf7#L1jmXTGMfi>4J=qRK%&WZNOF=>q>0#z^;yQ^H0{iqvqm2cW`Ds& z=H)_iaO99w72@RU;@O(0vDaxifvk*bSq79kh2pj-4N?U5q$c*4D(yBZA32D%WC&7{ zcu1B)M>R(Rx*~6lg3B57w4dt7=fde-;#`uQgh=xI5{zc)Js6C=U4w*^fQkvMk3rbu zg+_2frl-WIlkuT=<0WdF9ei?{*nhRV2w|*Uy^G0STOZc#51w#y$G(mJQvBIHV|`P% z1Rg-2=Z$dJ+U>m{#$#1es+KQik4)>}lsC7ECN>=WhT!)@qv(5hkV8f1>O2Yk2wp`YuD@zVWzT|4pILQ_LF}@&qV0fWN|G)sJj7E&3`+4vL&Gf zX?l?XB%QDseWVh9^l)5q;KaHFht&1AB+(+igN|nB{yGQ-W*AL6hh_>H&44!u3$yp! z$ymXHhZJt<*$#C0#>Uxz-2n-?fpy&E6s!Av7%?wSqQ}9U_5|6^l=_{iXF>_#~zPR6wi0kwx+|U5QclRo8)? zo9);!Y3&)v4ey!w#%knos2ChV&gcjwfSQ#NwvB?;`rPmwaQN>qXE#%E-M?5a?w%%F zhFakh3{Hr!#KlY5XdOwHzHYhHM6`ONeUNXyurNUS1&h@Og^FXE=YQ19)A@ zSc)1a%?5q75=L(F)@XCeUOpnh56LQya;?z)b`~#cLo9j4Dd-puS;Fix@H`ccY(h`~ z_7#T{!(EBUt7-#-kB^M>5-13x*aDiVW`2053gb^M3l$0kk2PuuU8PRTDImc?f07W# zg`5_Da5o955TK}+d{tPc-T!}lmTA!A5o1E?Y=Pj&FTtw1eB92Nrq`{bfb#zG7U9;k zcT&TpTHPbK{weAEjfvk@W8@LiM+ajP)(F367WM{vHfO_Sel)^`)E9DmElq?4HVNp@ z$mZVmDpGr%LxjG{&{}FjNiMZPbEn7`je=+n#w)kcmkp|zH1T`~bIyNPuNz2v+{g1@ zTD7^0#hux2)QA%2%|F99*F};qQayaX5M^c;h7m8Ted7_Fz{914UX+h=Dg8pu7>Tbk&q;2ztKq+cQWW5t!Afd%K7^uQ}s zigYD->UIQpph8(bIB8*MalS-%_;I^?)}Uui&YAxt2}P4L8>Q$ZE-Col9Mr2me5A?J z!dp^zo`~pd4u5}>J&VqDbu^WH62?!QR2t6 z-wn1}`q-Gi7$r%czA9ls5lz=iCdQj7L}+0{OPua+VjeZog@ZNoNNQu;QK^-lyEMI6 zk>*S7ww~U5m)HxQaM?IYq*XXjKTW63+iy-X!jEb#PCr@|WI(Bnwqe{1P8m}T*Wkbm zis3X_)rfz#Jw)$9B{vgs_ao?Rxa24B_iDgTu6=w$2$)pUs%y;fRU*NXX?4+x1cY!H zn9ihLP}F#{vZu7RW%hq5bgxNCwOUUc8+Ni1b7~??X}ag540CVvey1jWXKky6kL|4(zZR1frEv#9JfR zWW!NIT1fJ%A?8S#J2f?8iB3~{b5Au12C}-45^6tQ6ZoY(p@}1hu5TViV8cClBF@yc zz8$6kCxTT>SDT9`qG7E*u1jsFuN;LX2H2l{qm{>)mVj+Eb(s$S({p$@UHkSQ0nT7? zDrSEoVvQV6uBE4NhVa8sqs~8{CvC8tY*ziqveOT=t@3|x#ichb3DbPpb!3-eaLPe< z|1q5!Yc~;@o_MSh6(UEyk8M88cV?wA6>$bV&fW1OFick)HowiINR3!Nn( z#U2a4UTtJ3{%aM@y@h22%I$0Q^+iMZ&KQ5GKn+nJ_5@LrUC2kd-%5ihHV0ikyD6l% z-2~f4jj+6pnW(Px2I*A&UbPHZCZBK4-i|UQ;J0Dw#@{=sw|Cx{=^qCA;CnT|BA3dvEGG%@$Z>R6kHnjYoWNIP@^i=ac$67EqkWi?}=zavk?3ftF1 z@^ywcnrQ+Msuo9bRt=`RXPC}BTM5Ll9%!-*T8|;0=pNkBk=vz$#uB6=CG&E&$7od< z*0Ihk$BZ#oQ%%*=0}mKhLI%&D44Qv!yilGZ)(dwFPuZ|a&uVG4$rZqVGaj1XsZlAg0 ze3EtH7;4Ecvbq$OnOh&V=@%0*f~S9#KK23+mtAo$*KO>Mv}_3Re9c@9vlF^^!_J0{ zT;SEMR1+Y7zyFHLeK7Lm7RY8x2H3APSsnN_2K@9elWim`Fv|*Xn=pr!V1Cm z2i=cDT*BZ7C+>dz$4IDRQ06UwiDIM{p6M(N6*F^JlXH!_4vnCt$<#7+Z$5$``8XxW z4n@4$=RT6wU?rpZry&@vkA;Qrxq5KXWsSzJd-&DjkqzW$!M}J5&WeBgf8?uJQD+Ji zJ-gah?8ZnM)DQbF7w<%t@%MBNreocXV*bY57q-5=v#@82`1#HIO@@#pm z%#1ut%2gXeL}+K`Ldd3DWUhSB?)W{+JMYcx(fs?=_ONgEAIX1~>O7vz7E7d8gP4LN=m1%677;xyog*9USO29a;9?zVNwf?t2koJSLxjj9`blbC5MR*ETD(}K z3Ba_cS!;jSkgae2u3Ij$gpd#R{DwsqQNp%WJYR^`>6+x{?SL;496XpoU~4kTx!{A2 z+BAR5qGgxb8rMbs{9)b~8;WdkrX}IhP~y@7tr9UM1*q%Y`%YbXYu8pWj-9oaU$MGA zl)MfKhSaTK#5T*7Vc4tqgzDG|(JOBf@SJ&ilMjE(xUz@rqZKJdD|>y+uJOU*@h^0X z&c?a(VLpB~=-rKWfs9T;Fam02ZpAJYK6RA1#=m59V)IO4XP;{w1@VcIXOX22s9{6L z7&Mxb;Xg~IgmVT`)gH^qKar_cdY>Y;3Wy)T&xrS!C#7j2oKnw>m0}-oTu0ABByZw4 z1rmQWiffO0ZBq8lNr@F=L&RZN#iELtHTn0l2M<9JG&wVIn=F6mb6fF@ORw+E7)6H= z)8V4q0h(CVb~BcEkXLk8XVw+?A_aj(C)jsE9C#b#9LILyZI#Q5X#I2}ZQkfpPHTtl z7bh-=Vpfe6&M<3Ql*uz`5q5j(wEz|rI$NmF%t}2hBF&a32M;kCIhD%g9+OhrBUv%PrH=m-x(`M0m3h<+ z_R`b`>JDhGVzul@uOYRhWlO#qHff*!-F1#+P0awSmU1C)&(8a>Nz2h$64d{vXV)QY zKjs+vdW$|zzl}qMct%SS-b1Dh0&;(FR+Bsg!vxOQ0$9lju*AR8q*jZF>i+5X4psJh zilc^avPbD$aq-T_T@Z6NAy%26%wq<>xHQhj!QzK`?ba<>iC>CL9OiTjWN=r{Cg+<0 zZ@;#_Zp%AkaAo&$qf2Ae0X%5|GBmPrepmS;I!Fai)Ut*(#74qxP6H2}1r2{vBwkl+ zj|n1TR*cPV^7FcJXRJg1;zXoTvZB{DfHs0+F=E(gmiBqu*!gDI>+HDc%-;VT{rXF0 zHI_qwfzFGZ70A;LQ4e^$dl#4)om3?P&zQ-+yMkep@oJ~#++5if<>9-kRNa;InBseW z2RY6#Kgb#gRF#g@dBkJ9fHi+tou5>_J-I?Tv2tHTkuE{r7~-`h9BV`W!wvcy2))NA zQQgvf3nKLvJp@<})Tz)7YOIo4H$aAZniSec8vt%$;_KVlj-9NxvX=b8Vw1oo7(fj) zT4cYfiRY1oSTvLy0DHVDeN6r`(_HHE{or)1N}$V%Ih3p-y!odMsM~> zFdFD6)(m}F6=qu{FN(&!qXE+8x2(;BoEA0irEwho8jE&F^i!0uJQzj^vWE!I3b|Blccl z0N}Fn(3aDqKN)`=h_ugI02>qR!415E#0~fo*w3E_^vIRml4FoGcJW|vQq`0HeyEMM zzWu3B-XZt_ByBX%D#oFcVz(<_9pljrOao4tUN|<-!jbt+StXm>+Lg6|yo;f8 z5z+6jdbEOJ67o*VczH03fNz~rPle=XnDBEQ#RW+;8+U)W1LHF+ve>hD&6he9jmd9j za!*q_*dlL5J_Dw3@yWGQ`E&t!944hM#wxG0Esw&yu3IGq$Lf|YC@RQK84XKRr>ghS z8V{V$&G19A*l~-^XsJC0`ya2t|C0(9I&AEH=~s!E!w2pP*W zPRm%G#6W*)QBRj$rPwslJky(Ku&H{+4RNj*;TAfMp64PPx6Z86fht{rhlLp5`#$QK zCD-=gkh>1w9kxghUL$tJe`c9qhlWDuKmkBpu#EnIY{2@KO=7&>Ia5%EoG2Uv04N|_yi@{G)Rd; z^)sZX4(4>pTy37R6jW@jHn!nbU8}^WcN8&3DEw_$y9Mnodl`lPQEOAub~h61d~Sp) zyz_teGIXNxD8G+j!*zJ23^|z7BeeF;KqYV}Y*3y|1kxoeOj0^A!+J;0cdyd;YfLnf z(dqbc*SFICRCiB?_7HiFK`fQnnd3sYDKz8RWR8s!y@Tz{vT@7BV5~PDp0_5dcu~P- ze~$AbwYjEeSDx)W}f#(*C44*58!3E z6s^1CR(aWwM!fFsZ71t7Ejd;6F^un3VcwgT0RS9>q}_ z=hQiu{>WAl-lAODmA#ARL!J^*@|Lb_X&YK1{p@<%t$1?l#C! zp|E=MgN(~rlXS_qQk+#ZBPS{G`~Gme<>JZ2+8rx5OOAzTk4|FDf0{Gmt>sNco!RKQ zni-3uBb9wlQTgE0+>xJaTczwDH$1Y>xV1ybV;@mWbh4ukZDlt2L5u;yRttZp3a#wY z6@P?2SyZ2Vj+js9IvJ)c|5q@a)KJgEXQ32qVkrF1PN%CfqZYiTD!7J%6Az1{@yG1`Er{m?tJV20x;a2%{z!h1v(z$t*B(1+T z$!wCn`V7$!geQ*#Z3YcQC-C@|zP>=BU$coAt#L#r){&~NX{zk9J*&Tq1juTu zrEq|h{}9#y@u+Mko|PuCkz_Nv+fbn+N0vcDcw-E~%i1l6C)|7RBsdKxMN^Je-7Z+; z@cp3W^1!gTcs|0Nb_IX%3k&=#m1&M{&JI)low|#QR{kC4Vi77#IWIA+C;eyvU#t{i z2F@$%xzUYw@y_!8C+V~>EPJLMx*QVQ(NLV{?M$Y1Yi{JK(a+g%>t!Gxe5)r4$67W^ z!!Wvzlb=l`5F^l5Haa@{sY9H0!|&Y;fAX`kvVyQ(rIIzH4IzJVA@%M}(L#^Ly(-@Q z^@?+ZYB1UV=gRWI%Q9Cfeh~g(*Bz=3ci`e*CFIrFM~ruE!Hj|)ej!y<=~h!Jj@85@ z9C)DIy2>Umj&|a#Js*f#o=-03E?G$x6uF{k>V?5lYl|X@Q~b2C9n*N{6iw1lfsGa2 z;QW=A;u8~Xz>R-XameBvE*;&fJJD#S+JA-`|%-OywLQ$e;l;D3UGxUzhNTke@d}djRp&&e z%gN^$6w`lj6VLV+dOfoLQ3Jt3b_6q)- z(J@3N&E9*tvsCz-94KZ*<_<>UJO#l8maP4nMTXTl>q2h(4fyK;gE+7#O+T=mE?Hdd z+{LA9wgONIlTXb76J{=C?C_Xx3e3!nt1CAFH4XP4dGF*9>Id&>YhmG$_Oa)4y1C|A z{H%XJBgL(-RHH&q8+nzfa>Wgu1z;qyhdJwzndq=3NuEKMe`j8DVXK;HF4cb}e5(n& z2=1Ajddcun>-%2;DGA}21ml}vT%bmh#lz*?>?Cs; zux(zDpIX_k7cEeR6_biDQLfAd4a|J=tet;zUc3NW;&^BI0@XOTruJ{!YX*rjWtfF( z6PQLE7k-L306JsSbyA8qqb3Ar1fD7XuUb{O$HYp4|5A{%ESpOnZ17+ zr?L5HCeFe!W6ijC8)o7`+V1+?DWyKc%pz+y}oJ6R?rLrS)XLMAP2Ni3_xhPUx zU6$h6X>P&8F-2#{i{dy6pI4MES2`wpyJa_og5zr}-}yNicCM+$T?3e{w$;W&kp0B( zNukPjK?l@T8v=A=O{118`9sQD9xn{&yVAFep z5-TbYKPf-sO-1)A6x8cbzTT~_NT1ZGl$CpH^y`ka!>?D`0!3PZh65cG6N-Py?G>*e zA9=(rf}(mc;x+=dln9DU0O;Z>qmh(laBfmvn?G%YOnn?~FATWkP=2gxA9Z6j!E610 zZHi}eFBc*Tx#FJ4c59%7*T#wnxX{uYQ|V-VG|~bj5XV_zW!_BOAzKd}))z5u1y%!ir~LY#JUX$J z+)2z+Ff-~JNxtwXP6?PHiN$A1#HxyHHda0dtSLS8fA>yds__}}e2;Okn7UKWgHNU58z(EnGpD5n2%=Z=y;zWQ(!XoHHJ{N)WnF)J}L+lWz zDsWrFwb=+-C@MDIs8)YIwi3fpc_8KcdLlaOc+BDnR`GPa$w?A3k5xkjuB%tPT4H+# z4RR{8L`U`SNU6F;r7GS~ojQLXqgWJLf-75#)f|lk6nM3@{uC5+NpUZqsv zY|BThmh<#3498Xv&oHzkazg|FvH2Ffd1BV`6AP0XQHCpna=` zp~{yLya5xpW|ILHhY&P5HwrIIWo~D5Xfhx-Fff;KA_El!I50CZmyv=4D1VK32UL^W zwlyNsq$42Jfb?Djr1#!JZ&E@C5C{p7(0eb^n>0a?-jUuB1f(}ihzI$@}kFc z?>+bb$9QjKjO5#M&9(NPd(X9#5f(c=^Qv3R?Q60{j4eej#3d zenET|76T{>2KgJuXEB1fA%CF=xcGlC6x<*n6dF?mq0mGv1RS954g&}X0R%+E1w_U9 z`2m9b{9=C-5pLoDMUV&77NEroP)EQaNPHFrgp0Qu)ZPJwp6BmJ06UliARs0t%KbYX zAmb6v{=MkI&Q7lYbZFjO0bQ*-LY9 z13aN92Y?;~332m)*aCh@255tvA%CRt;R1qqEp=A zwh%V}dUk-mnkGQU1p@zztoav#8}Mgy00O)M|0?$<`&S_-{C6@43`RJ+fZ*OxxIMrQ z3WET2lr?!#UMOw=2!C$-iwJ@t5$Jr72M7uS*`Nu(mkt6b%jp6@XoY|DA;E4?7Zj2g z35EUA$oH!ZdYhHtwh9PmX9ygH#Q(KEMW`DDjNW%|zCVZS1V?zneg7WWLE*M`zhv0D zyYLypp|0)_HN`(1G=%?e%pQUQ2=j}HhzJV+Ag%z27ubRC*M9^C-Y$^e!QU`igTJo} z!UbT5mI3jH+Ck7C_`XPx2Lym}bBFl*{%7EyBYXh?fGre^0@y(8p>X_vS4YDTyT8Wh z^LK-K0nGW)_7ec`|9buF$pY;#TLc{D{crm3Bj!_A0RrU>x&BE0S5RIa;RW#J5flUP zh>7q61Ox;`0Dq#Q!T|q&)&YW`f7bCIxoU7b1VHSs<)ZiL?(wUyAQqfffSY3-JG@8bkhST`h<$)ZO{NqiQG+x*O!+_J3$c^9VfR<$v@S4n-m9`MC-)08z@xl=(bP52i(H~%kaKry~u#W`+e0sm2 z-y;FEe}DLFKwu{%41{#}H_R{c3wHY#AS?#pgE+gOypia}_!|@y0PxxWx&U%!wjJYGpgVYpBIqJBLvIq!+)Y=0ASa5E!}9%AWBLvOf@mzH^t%vgbG=1 zPu{<@j>}3C5VS~>f;}Gm_)=a32xD*=u`_;uC7A{wr(q!ns@>LRbX;>EdC1NC^<_V_ z!sI~;{A{=7ZO3qLUp!x}OtB>Nf7`_I|r#nP}s7%qNIzsgc)Z=3rf-&8Cieln8CwPrTZd zH=PbX7M)wklmBTLXhmKc@FdSJ?te%8*PXM*qdXJ2`Y1D4bZYl>;D*)9QTk4^fq1%% zp2^RBoos14UaF1X&#{ilZH86E2bsc(U=>XX!fgu60~FDQ<^v$jjeY zpNWphTW>i;cimyY{*HyQE3IOPRx5Ut>7&(>(})(*0@H-q(E<~o(y`{X;D(i8>)oo> zGK6ZHFTMbk*EIFLp*^S_@JnUu>p^lOovsLfqIqO7Uj+nnJyvP^G%>H~??oI0tI57OLW0~;k3T~C-Q zzBQ#~QBCO`-0{#;NPk->!phNAbik)3nvu2Q&K;y2$sz7^BBPA6v4ic%sa*msG0W>S zJr}dci*410RDGP-!52cIUOy5UVupf0>kk_O)#~khHO9-vkTl^0hhwHS9r*`*pFLhD zOql1l{#amW(PYudm)*})4UI@4lUxC^#jC#@Sqk(>n&lo~Zhv5MFf7rMIji57Sxa%@ zoC_26AeyI=S^^3n{WnyIQ)COZlZ7phh0>x8w(1|-wM77EymgBsLtAw?!WsxG`9){8 zr&)-?@xoLH3cn}o`Me}QJ+=Gf8#!r7s_5|HOmefpH#2ixK5b-g&i{MQz+x^^(2h;v z)O%&U)@rbNrhi)20?hC@r4CLb>dF>My?sj~>gth`juh3w&kET&LqKxr2N?G<5TW#R zg=*Ug^Iaw&rhi?zTVm)(EN>L%Ts`Sr%uzGPB$Smg13Sge6;-lmM`)C zk&E55u?rul2%Ja4Ys{`_-V|sOJ)Y<}TZ{vboHkA%?k!?g#$;=%7QJiJ_;7aGl*^Iv z6~{G~YkmoA>Ydg<)?SpCeG8x5N^3Os+L}kU9*3XI2>Y6r?JQ@aZt}bgrC&N!NNg*! zTz_Xmfkn<9Y8o2;=E6zaxY4xdKzTuOSKhxq{gYGuQXkH$-U0jj*$GR*1r`#1Ou4J; z&(2}(7_sBTpJ0B@p@^BcpUWOm>u$ACRE6bxKPUG~NqFz^fb57XAh9ry;Z3SiBRKxu ztHs;NS_Av@d{yW4l>4ZK@Y`3akgSMBpnpQcClBqz9VQhKe}dxAgoikJxfYEA`Epc= zJ+Y}=emk}7o2^E(UshvON-JTaAsTkH#`ktQ(IqmqF`Nh!_(<~j z)UG9?_6oz)NvBCi3q5UFx5Rwzw100IL@BHU^1VR?v?cXtMBFJs&~qL<6N?>io0wI5 znvZa-F+9*XC--v9Z{x+|#vZ%mvJt4Ad-a8&Pc0j!sClGoc3UX;q6x?YN1Sz>bh1fK zns%;YLwG(5@Ldwc=7|Q!aw-Wwd}bT@r4SLH?rWh?F3tS&wlbcNJ>z5)=YLB?8^+8X z$C!6K+CPF1#)`(O5GRil`ZYXt?U&>F zyaxk~6I!s``^?K!Y@OI%W>u}*45bUC*>veS?~i8~#=$`*V+woonuI3YrkftC=J>Kr zS74BTfKhyIE1;2A;8amD8h_)s99U6+OAF`sp(pI9<0D1X^ef{WglqMbhy zk7M$^T(W&%tp?{_u!%-5=8{npo6n-z>8Kq2dk#GK;rYbf`dNdHRMNi8#3jw~RU-BM zqmxgTiqO()^WtN1q~!AtErPv_U+%3KMt=9p#z=pN{Y}^?Y~OCmFlNsc80>#>HSH&L z6PtzpJ<}_!;|J`+-hV}AiG3+yi1**zO5wz(=dyQ^3*xTjel6waSRp7(sxTBHn*DW_ zAo(c0rt#SV9Z4YXCqCs;TH2x35&nX7lwQtSTMQ;I6P+i7z=4Lkn+O>60~eCb z9*Jm>t*u*655BQF-jkaS6e?NQrTEk>&tP;GzM6lzUFUKTqUrqvHT3X!^B_1cb+>ed6!k^ISRkK5Q~7Z;yq z`4ECzI%WH`S=F4Mx* zcS2Aq&R$VzXFqT8z!4@&yP@b!6io0HNsE)5nnffBm4DVHabS~v!S;=5`XaoMCL|6U zJ2PRHwUpB`o_;Wi?FuZ5LA-wdinV#jPjYp&g9#oE~_4M%HtGNg$x`%A}q94#8i;HN?+((3s> zGK-1_L4Q)(m*KZMZQz9TalWopHm2;-OpA{>cb|3*jX9Ni3tb}CV=gg10D?}VRX2JG z6BIqyTQ4mNg9til6Djs>U-&8|Qw$gNJ@pJ;q+ZJ;`QDe>W-nX2Vq=d0U zmwzFLkDnE}>eYH?w8C)^LOS~Quk;+hRo;4?Agi+ zfjLMlgvx2siS}mcW-(Yewft4-`e-sg73E4O*uGrLxHIJD(n(z_aL@5NPnnd4q&o^6 zj-*GW9jLHftSdZ8Z*$?ms^U1u{+VO-Ab*RrfTM1fz4d!`QR7`Ltv39|`Y=M*0T0%u zn&AtD)h!`yj3!MpWWA>W(A_tQ64}uI1YJ%v-S3hOPFZf)sF%4Jdt9rtR={@FZu_Q)91! zZ&^P=e=92q%&D_=T(2!NTl?$bVSf{c;JgofQW`|Mt}W@uEvi$P;*h zYibfQd5i{yQ2^e%%}C16x6chNHmgIErKU_`e%`%K7H;T?333b4LP>i|)qg~AZUoyX z-0ljnB)5^Kk<-^#TF8hnqu1;?~IlEZM8=}(;#@r9h2d1!!qEN(`=k6*#5*qf8 z-k(mzF-SDKb1;3Xm-zlcKP|o2qjTi=>Z?LPy-c@yXggoBGLwiQZ!N#{4mRc)*9Q&V znJ|88rs0{2DXIP7FUU_T2Y;bn2z86K`Etfl&npp~WnTZMxk0G?kw9V6;{v1gk+OQO zO46d{%Br3#deNAALu5!+^<3G2_s-Vvn-m;_yjTU{D-}2UbwlhoB*LT236alYS^a7g z8oOg~1JagN$~PAt=RVsb%&)=L^4MBsccemqi0#T2I{{!OV@F!Y<&%tx- z;tP<3I+^qEhz)YH%ts6wQTCBoW&OK_y=6PZFRSvJr)6U%^xpS7-r|Hp#2 z8z=6H5jiQ*ME<9&L4Vh89*gl_&y}?A*wA>$gSi5gy18TshJ=fwSYcvkCapl}Nx1zP zo|^KGxJ)l9bs-U3-%w{9JV4|qsNif~^sz!mR65wn_`6e4L0Ko}h)E4w=&M8eV#*w1 zie5>>l2`NEOOG`XwvJ24c_JZ_NNIx1hqN?b(x*^tCTX@5Vt-spqIJjGo7lLSwy}?W z`z=mlom-#tMN;1#_(GD~J|9m}WJ}{g{nQjQ0^2nG{O1EtgbVrEr%c97r8mImqRKLe z`x9>*fy83#Csj<@ukBOhW1h#3_b&nuaAA>rM$z?_*P2h{)J0LN=l?9zku7A=N>U41`9z2+ zZd~xd4vm<7Let7;voY0oqGhB^G0ZP~GtT9twk2pRCVy?0?qAjnAep>;({v_;ifpR5 zY0Gykk0|c*V=8IbK08dD!_ONWGN+i)jB&`rj5j5tsOMNf2#Y#Vto}@S$P$R7n*0QV zyV7gi?+jUk^g1X~&6QNvAl=xET(~oK;81e6)l6jaemI6R_sW!mK98{(Spw1RarOIb z&9xW9Qh%kJA3U|Up4Wq5<>JxImpa0$z|AnvKC8)SCH@#jjTNEj$q^>Yt*LMJu0O^2 z>+F;U*d<(;q<#+Df#-R%om7wqvkD{o!5cAnI^VwRTayjrmbfHm__nN;s)BE&u!q05=a5rExX-+ z(`vZ(9ryQN3Vo^)gJ9qEV@Yp$8__ZtBY&$`Lfi2j*|NxYM`^e`w)t2~o$i}^PcVAN zFt?d90x#Iy4~P9I7^Rnle(*QMQT27aw4AL@z0Wb5$>ZCslh9hLGxuGPM6a~Bf!OQq z?mq5=DBXVCGf#Q@$)xp;YyIo?+-#=#a#*&_@wtygYh8w#_v{m;`8%&i_M%d@g!}mn(}s9{BvRA(;CN7DkgNo)2e9yxYxq3T zzLy^pwsW;{L8-Kd!@U795}YQL(tn~tkaOJQ304OW8htDjpQbTf6r5_29ukO}f1AQY z+^uWe_99g0`s-BEBTgNkA8owgmQzP?YK1B5)#`_Zg$eS6&wEn)qGYM2_cI&LFW(;T zamxwAht*b(#KuF#OZNBe#JKS1e$d5En4z;A!+(qAvsXf% zITkTF@q#H8JxOzRBc+%9aJEgW4m>S))lPh!eXXZ31<@6UY8*Tn7e8yr#n+@P_LR1n zY-);TKTgbDGGBUI`@>g(s{KGRZAEI+YRz5UiiW)G1IlAcx|p-boV}Mwy(!yUQf05F z!@pQQd1$6;8(;YG>y!k3lYe4OKbKhqM(VJx&4{S()cezRhOb-_iT`#i@!-BZ)j#$tQyl!*lcg7IL{&oy}cO%eX- zFlZU^mW4)lw2WdQBY)pKU$g%_|COwnTVzu$*EY=TyFI^eA}TvVsR&fGu|t**J^2dT z?S7wGQWW4lQU$#UDguO>#x=|CGX3~A6!7BtdpwXx6jkbsl@|x}BiS(8`HXA3GP^P6S5Y5Knwz zPRzT?N{pjxSMc^2jM+D!GT{ARZK)= zeS{R_8lHpcssom~b#pya#PeNy#PGGrY~OJto>^Y?K7V9%coBSCK2glTgZMU`yG3n~ zvU4L%)XVvyI1B2f8%=Vpw-ML-%2rHQ1iW!iTX1D;nA1#nS|aEQGQ_;735HPyLD+*sw1QWeJ^TdR5LbYVQ|iactv zb|+RDnX0MJmXQ1ya5md=X++p-%xeyQifuL0!8>ZGChzao6?`Nd>X+qjobqi@z0EMC z053c)s{XW9)m+17&--{Fti9{aC! zW+xY}JzQq{#vgX+&v;S~4(_eD+4i3&*xYkcQtN&pay08oXYO9TNW}QYKhnVywG}TI zx*Bu@v8~)R0OuVvBOV znD@F1iw36V?R)V)F+$6%FTTO88wI`Qc~)h znWv>R{JV2a@M<*uSz>EdU~ZS~1y!J7KYuRXJjuP~phjJU8LP^TS-<$zauSo|odCj& z(nmTo`h+K=;j-;GFMavkC00K?V(MAyN=+D6=dS5GlbDBoD~~J`=#RB*{HoYe(_+R* zELG+enw>d(hfnk+mHz=4C(o+B5~`Qy?%hw^hN1B5FKV1 zcAS+-DX#%{eK99~zB#y>>PnZqSN}gk-lI>4H#-8iH#-9;6Amyo3NK7$ZfA68G9WQC zmtQ~u7y>vjmyv=4D1VJp3piBk8s4$n?1|3aT}A0n*-^~Z$SqIfGVY~8QYy>L8nc*L zYs{=MCQ+_Cq+O9x>gZ0SNZ5r+MM(%+@S@Zwj_rBl% zUEWWBiMxj}i--BcYz)PXX=JJeaPzQnqfr5s${uE{7yA zAPho;3!_qkB13tw1Q4$S4<}c!P7I?HVAlzN5twWappj{x!%ec4fe>_@3~{-bNDQG0 z1PuUuLn4KC*?{IF)k%b z5uvh1iZTq*W_y%pi-|-qic3k#{Ok}3%q9A+piB-o2*u=R*ryvGL3w;-89bSo;)No? zGT6y(5<{3sUu*#|4wzI1&D@L*;9vlUas?FS1D*;oJnp0^%|s31VPZ@S_(U0SIKqdC zKT?zw zoPVGIu?!Cfd`v=8j)c%Dg`+f)riA6nBobmf#wSO-`RP8siZC1sb4g8)F|K7yV17)= z$4e|7xp7Ag-9)pZFJVC4`=$MYkgoMnwpK&^j8lnESvMLx6Nmno^@g4~Rur^x9yMs| z^Brl47W0}4N~ZJu+l_YA&00PDM(Qe~cYnHEzrM+jf${?8y({M2l@F|GFr04`+}rUe z{k4PDFU7eZE(qSKEiddLYpB#DC8}wenK3j}VoF)*rMWhFtcJ!ir)AQ$@MrMl>#uG#$sP?iLgB{z?6u>Vg_y6OF7E2fx&iCwq6!w#8z|K~HRHMgD0=bB+o!_g`j@{m^POa%ZJ_ z8aa`v?w&_xTiI7@Gn|_O6WZ$TedI4nIcR_Wen0zFYm1csd^A#9)fCwt=lYJ>oVl$| zl~f+&*tDxa5ntY4n$>o-vg!7{WZk^w?CSfcV{pR*o$DeTpFRJ}+fNn87Toygn|WN= zxCJZs_lk5gA2?%L({nQTE-m8Z)3GSF7AG~kbpXoS^ZQ-xjI_dD=19)#V)ZNJh)sWs z2je;hcbxOAvfWkDdiuRCv%SbB4DBA4TaZUKS{~;3)Xca!vg;vh(I)I{>C9!!hVRs^ ztWxtoI_^mi$p}4kZ7(BOfSqBM3Q|Y6wB{ebB8xI)^vrZmSG64e-Tfy$r?b~?2l`d0 zBs^^O(+uz9tYF8lciNtb_v`qjRvmx2$nDag#ASDmeVhfvoSU=DW2>y{W8apwU)rGA zlB7yGo#3FAG-%cA)BO)k-af~J{kbnX7hWyn0Qxe|+~vQ`S!GF1R*iYXsXY6tEk{IE z$!@EbD;~Y5%bjs!>5+KHX}$H{??O@~zxGG>`Q&%l2PU?ASnJ*2C=#1KZy?CtY{gK(^k^Oo{?s!%QQNpw9 z?S|XtI*E?8htAwNB zS%+em2B)96U=~M@_3E0H(tl&iie~qs_hFDnqrqj*%MNWrS|>`y{eyq+p6$qR*qT@Q z&lgGdf)YJnRgd?_tTV!P{n|BuQ7FPOxSD9@;_1Dl<;nD8uX`HLcO_>JsXdDdcWb#a zM~rih6|CI4&K`S^ijZ~{O$+oH%hl|PtlcST*{oN;HbIba;%)66BNtmek>60kV@+R1 zL21tLiG_?5GyD#7r$K*oe5qyp!BSU=M-?d6_JY(3AA~gw7rN(0N9P2-3T<9inR3w} zUc~7;b*bykpEcldYQ^`zX2l(^0XaI5&~}^g-q8`RlS+Tt(tze$J*FJ`?T1CDGK%xd z^6aU#<{LyNopExVV^R8pVTr~c64clA{&uWG{c+ryheeo8y0d@77&BHw5-{z9qwWt? z2DeITM{vYhy>EK$je$K~zX&-NUhFKRJ%tpH+q<<-$NhYqKkz6r`iw=+yC2=n+6Ma% zSF;xPor*Sp+mKnkA(&ZdsXd(DkbbS^z=7?j<`#FbWU{;RWplpMW!2A2*y;nyQuYj= zb1O=?I{#4V&xaE!?HVnAZ4J@u&A8Wb`#fOX9F`ZGM8$<10Vx4 zFfx~ozXP@oGzu?FWo~D5XdpB+H8Ph`zym6OSyLNH5`O1b^y6+!n6CSXnAiw|4Q6~{ z4j4lGeBly7iIPRx$`tX1StHU+YHgt`?GNDq6=2`Gy?S_?frTJD>S_f5GO;=)&_qVRHmafiJ)YYE0vqVBG zx(3?9(|jTwf~*`3X)89Iq(?4PPE}5NQxR$BX@4T&ji4J_d8;f9Rz3<}xmX1m>7lHG zp&PHO;EBGsRfyVckanUZ=6tN8#zR?u#X!Q5Xi|vas{m~&(g*cPZA#HP>i8gNAt_L3 zMJuVJbf{<=snnPa(u9MTG+QY}EwL$;Q6NL}mD8Y1e=2y4(VrI7Gw3KV zLORx(jEDi_?S>@VXeUWDxR+Cm~9uYJGE6JEfMiPv!noN%EjPbMr9Y-pEkhIQt zQYd&bQRodYVg;F0(<4iEC7V)5YY>BTc(N)UIVs7%sN-QjB4{Jojs~R@q&yHO_GmIO z>a;c+WD)61WQnL}UEKKj=Z*U4&+DeD_ebZ=M!h|`nl)Fmo63iy~D z^st##Ur7NkcB=ZQ`7x`0%W7I}02R6xQ0^}`K}$1*wwKb~q3uG$h0#hQ3@Oj>N$DEo zk&4u+t4J;Waz(aWwNzN4q?Ym`j(^`hSG!o-JxdoZHCz~Bah@Kl(;htNzaAe-J+_W* zq3f1jDBAfIx_gKXO0O+{^jM-!>9m6;i$Lt$4*>0_v4`pTxcTdSycBfM-v>wBDo)YRy(#Nqd!lZPb?bus&@1+@_Hb z-6myDR%}v6;stR-DHS~pGHg;h793HFMq-3#8l#ARrwqmw=y&>UTl;4Iv9);b9fbWFQNM&J<;$k((`%W zVP}EXh(Ie+YneuW`BYoXPyO`te`zz#qD_01bJB=6P^KrZp`4hk@4H3GY%oQ!*k&gMA1MZDqN2i4ID|5P>gBFhmhh5P=9- zaxu9CGip44771pL2mqoivw-6eL)wa6)v=osfcciFE80S3hJm`@&b6;uMX6N_*Rc!5 zQxC2N6*0s+rr`LH#Z45bn~}qV0B~7`FQ*xGade{wKnKkL zt)NgU^m&{$Bp4=9{nAQ0${|5`nj+X1j1``21Vn~^1%ea60U_BshOHcEL-ZYrV8iqs zAjV5JbKpa#5H^ZdN)6iiViFM<*_jlimas8gf<`Dsu>`XSiH_%|Hd}EWeVT8 zU`k+=Op!nJ1DVZc#pAV72!{Ou8%voWB5}d3XMH8kUD5AKW$oOW$u_x9E+-3XrqR;I zPPoNLvPE9Gn4M-A4uZyV%eE<>CS9d|YO{xbc$_cd4JRi8Ljvo`TRsXNYVw>wIS+3Q z#4mCh$Vs6FJ{xi}!;pxhk+K_(l!3OwnE_KlbEZYWMk9vDC9*?cV&Fa_IPcXNprI3W&fCK4ri!hH{B>sh#AMGbrGaBH76SxNo(8 z1na&2L)y$xTDI=u2a(Q~;V0$Z?I*3J?J;K}Jd4{q7AbOnhV;S|rIbmH+TsAFe#y<_ z+C-;pvuT865an#0N0I}3$_bG>dIk!P$?TXeGK^@=Ar&)qP#i!l%V%-e90Q1l%jDyb zC^LoJC%~aqQ~>C_OWv1TKuc>N>9kaTM!(-u6%#g|Q@WzBIfj>Wva-`Sd3>0wCqR@m zr<|YW7>QVEWaL)QcL54`q@yU9fB;4_z8hYdBvClPE}@d*bLSjCmF$Xv6I6=q4(Q<6 z2|CFaH>yZMZIRPG%_98`3!l zg57|#4Z#kRWHNX&z=?s4xey>71ukm?W>}7Yk+UUe#4%qU~NpQ0`_Z@qrUL^J z1K5_B2``}1>HmKZ{)5KY=4G*e0FcqSO}?sAuD-&f;j7E+x-2VjA339tLUNW;IREna zq-~bHa#rbTwkUr1S;5|8k6?Ka6HKKx*F`vnA{8J!%K23~T)A>*_r$#HiiMm6H&x_A z!F19Xug%m`a>okK^lefnr67y#?Yt&g3fk=zDqv#S8b!ab9*?$cs+Kf=vMFqPcAB9% z<JfI-JXNAy-_M7uoOB`KoG=~6={sS$5%_gQi7fZY{`1x~k zF`$){M(6Q4ZH|%nu#tC6vr~UL%kaG^W)u__y}LPlNSi4ZoUsI2<~&64eUjBv9T(XBb4+1w8r@e}6ofiqTTcwS^3 zQXQYVsdZs#E9_Hhqm&2W|G!^#6Xv^vmZ5l~d;dP6->AA7s!x+4iHOpE2 zENO`Q{GQNps5Jbpi+Td#C&=^?fwZI32~|0}Lim*Y{*kq>HNQ@Opz_P0fWY~tU~5v@ z!nv5|LXC1R&E*nGNX^B)GEjBddKsDDpP{%&Gq*?AubT1sce)L3qsBIP_Dtg8-fVO+K7D?Fb$-!QME-ErTz&)|ZPcIh zB79w;-u^zC;xmfB)i3Hd^?rR&AJ#|pr+QSM)Ti}X-PFz1+34nb{jL5suFvc5_4hxo zzc*L)xc*mtQD4?q^`yS8ubb(3a#sIdPwSg{R^Qft)c>x3)PMdx$+I&iE}Sbq_qkU+ z+wb3fc>g+osYeZ{M?*dME{2XzqaG0l)w4|sdRf1!-;$D&f==tx$>rsUm2|guT1siD zB&?&7m&c#KynI0_dAm2{F-OFDtee5^m$ zUq~0<>hozcnl)3>!S!f58;>r|#^1ix*W>z+QgknW))D>F$6pRV?IqC%yg|#k=*m5j z=*|v`epCwAl1r^4*YUye)~`D(mtQT`Tq^116G;{1pj0s5kX&XRx!&!*+TJ>3xx#9> zl$i@A#Z!4|7!>Rki#8qLh`uzgQj~U5NrlZq;HM5K6+ic#Sf)-=g#pJ3$vgVTEzWM!jbOBfcvi(5-H@Tg* z0q&m*h`YMIJZYvk<8z?h6`2BV=YtBwCc-H(TP2{`O z1$5ptm*d3d&G<)sa{>Nl_3Zn!Y3kX(C(CGmQ~#%#PFi+d3tyjq`MkgVf$chQ7`0Az zjRr|qe6U&VfLX0B%_`aelR|J39F~Fh$E5OZOlbw#uokQy9ez6e^cE7kfm1qnWEu67 zIC9W~j-2Ep|7ppy7My| zEIJM@$nEV?2c(e41s5X*wQx|M5TqttIvGs~La%3k-ZZm$CX_UEIldy?yS*Auu3ECM zmjZs?-#hw+Ww$FuSClVAeB;R=0gUp02_(0}_P?HvFI&eot_458ygocWe#z1d;E#bc z__DL&PZgg+8nuQrYk|-H=dImWZ&;e4T+Wg>C|FRn_@JJ`Er;=k9j+zLT0ryZ!;5#n z?y@*TNFyK)-p~YmU>~1C9Cx=kD{QnDcI@rH+C6~B9SxUIb`c`XQ`Hf}iRl)9Wo>($ zu`RQ;6-imn#s(6w$vqj@!&9w+(mk#PQeXDA_ulQXlJ5({%H30@BBy^?^6&0WEJ|@G zEnh3&e|h}t`$Lu|+~+g#$%+}hjy!7t)tiq8zrI42baXUWz>qu|pLgPiGzIKBDO=*; zb|H>ZYW?zMlwUJ_Z7(#-+?+K;Txk;B+fnXv?t{e7!w5*gt;#)8Wnm$r0^9l%bU38GcGdIe;b5 zFTzX+{onN7&}a%Pv34mi)-D}M|b(bSzGWE%#s~{(`QGo&raukTZbEaCpUz$OYgCLcFg+hbY7En*zxzUW0&ms zK09`Ob~-P%I_&g)S+;z+FqZ1G?$q2JZuEn>>4#7C2t4l8 z%pGp*U6v~B)Q=775n$XYcssoKyLc%SV?&>rM?i76Q0;Kj^I>fUz|XAU=Mh-ksp;D6 z;3w|g*dX)}{;jZo)+5lkQAb$cKTYT{xdN>5Bi0-IiuIOQA|76k z&!`+pKM754Sfyq7ZyC54zUx#e+as!$Cg&T8T=9$6{{n;qZIW%5;kyGAmow4>T~R_q zIYu%xI5{#lK|)10LpV1>G%z+qGDa{qI7T-$Mnpa!JVHY`Mlv)wIWjguLPa-2I5$Hy zFg8RoMld!wMmIG^L_S>#FHB`_XLM*FGdVJs;nD*&f6Hv8R<@j_PFMa}bFKWB{ngac zHciFo``qyk|e4TOQ>K@d805In>fLpr@CyJxe9Bu%Et2~rCgow3_GQcoJlX>x{~B{xYUIY&a| zJZU0f(o8Opi=>6Lk~R_{?WBW5A?cjGdkM0-W_1}-d|}lIsT^8$0obtW1|o}AJ;2C2 zs~E8P%<2kI3|Ym2-({;_;NYiK0xtaA>MGoDf6^)mxA5NT8r)*_C$Gb;2dw(w@&&7Y zxJuk=03JJ5gYc2+mLd3b!s-V6lbF>o{M)|*ztpZ|o+`^PmF#O}<&BcdD63zT^|G=N zQZ`e{hph5(LD}k3wvUugzm!5=`CL)HMwOjc%C~vt`yYF99)35V$I`z12R|f84hm&% qCS-GTa%Ev{3T19&Z(?c+b97;Hba--QW(qPiIWsUh3MC~)Peuxw7w*mg delta 56725 zcmV)YK&-#zpbx&O50E1RH8M4q@c{!Uf8`r%kKDHL`~3=`U!nyfmhVT37LAM6ZGsj! z+eH)D`LN#8-EFeBdy#gX7|4(B3`tRxR@yz==fptZ$5P~o9L{^l5iM>CT0Fg=XMUf& zxcK8g1TB~$oGDqnxGosC#28g*t%#ticyU#{EMMH#i%L*lzFt&Zm%GFEYT3LEe_gA? zJ~a00re1va;wzYu4`x&jX40@=n5&0j#3{uQ#u00aiW6mdfck5M8sKJ#;I_!1zF1U} z>TD9no8^6&TA6}LBBb^RR9pzctt%=ciBxg^fA99| zHw(?n<$k@}hWEHD7$uH6hVM~$e-mcuUI>I@th`;{+*a-SDn14xF&c>EyRLUl-R?vC z6;(81W%JpYq(tgOI-CWdF8==F;>QaHy+ECU3rd7gh0>asVs&@%@;h2w!O&L)3^-f- z_0LnB_HrRRRshFX;N9+Sy>CM^h#qix1EOcjpOOI3@_M<7 zeBWJ1P7h{hf)T21H~l{YjFcer&QKO~gldpaMzk;iicR5Z3FDw!J=8BfasXabQdpuS z&LsS=2RdxmKOO)>DP+V|e+mUEv|Vsp?w9MW*DoCPo5aRF*aBPDUk(G$*(Q63elm>5-rz z!e9)d2whFE3$32%)q&Cpkp=y-31(7SB{Ap;`lUVx+^sC%talqQy56XpNM>vVIo$%2 zB5C&ZeQ2$>J!qi3f3-wgIh1o`A&M=~rZUE>F$s8SIkxK{kSt>LzuSf2C3-x^QM=&* zd4&??`31cl;i37ush2-sQ)Kv(sqJ&{Zib7FM1R|DS53XIH*e9iXan-)x@%DIV3C1htAp|Lyc>n1e4*e{!#f4YgrRD#cbyV^wdfoCSl z*&+Lu+p9^L#z^9UB5emm7~<~;@FD|RVtm0$VBfyJ3hjWQZ?3nftzca=T9@0{yZ4HW z_J0>TqF`Wi&NfP-xceCRH+7H0)Y6iH^Gz#%IW;GPcuVQb@6oXDxZB%Aj4d)YkqGoy zGTX;NpGU5Oe>s$LU=1@TgJhDZQuli_)YTNq;D@bF%>E0!q4YF0I2yWS>Dv9_6=ed{ z-bU{&CG`U38*>ygAcZ0+=#xnb38MLcLLlXlL@;w8k?ctXeThWcl%45EV*+o%zH4m8 z(J^)Cq~C?v;fa-#+EFpEgieoC>9@B076M3@+luB?OLy?UAQ_wK+b&VXr?G;o!#bqsPm&v>cZBH!;3l^8rR6pcOp>28;WB9gE1H|ANY9>L zFan{u5(x4;7Om&U3J6{iq8aEyYV}XEB>TNef8O(Bt)zi!q45m$(|ErC1bbO<;;gkI z{eI^sx*F0F9FY~q96d7)9*P^$HwK{T!PD{xq&l9b8ocjmnV@^18SpA!Zvtjws_}9k zAckj#PmSe_0v9D93Dfu^sYGYWB1ZTxZ?EpgNIiQxM&h*Qq!pg0aG8glDFHj~ zP>{x126WMQYRg%nA(6C-+cPXzf-rEUS_4-6J$bGfY+j@B#Jo(-@H|3wKo95nw^KX^ zhBEgEJm(MM`Foh@oadvhk9Zzge^B*2xGZMlz{$?zo{_m_G~6`_?eDqHv$>lnTWxk- zG_4efC{S=6Y*CtN5$K>gpofdVlNk{(_Tz}a#9njbJ=({RpB=5Mp4gY?CHmzG2T* zzv+)hUk+v!G@IigfcpsawVG&e@GXb9jm;1^LUlkv;Jfotq;Z2s>q5x#YT4e_SN?4F zJe5b&j>sIhUiEvwe5W+EQaCMWTgrX$_)joc6YnHa@5bkBINOM{6R?5G6fb5qtno5s zzO48P{(X;{tdwL5Qe$dhf9*T3+g#$!6yXl=iA#X1RCwua!AHhK(x;t+9OlFd zejRQkHNwc$>z_P1;qSH>c+2kKy2?(jJC(_g#w}1(`yva|Woos*e=Qbv{wl}%d-0PO z6+u^yz0MFu8uMP)!{hUPC1rlTKfdOUw|=mtbsHuyES~`6iivd5Q@`<6INS(po|zEc z)%-xin~;UVix7AQ+p^rc4NwHMFG<9bL2Aa{d>Ms#Ng4cZ53M)b5u=SM#*bIaO zrW)YasIDTwJG|M%f1Ue#e0W-Jx8WxL&~_bHp%Gt*mq0&**V+44gZ^jN1faLxD{Ue* zLtj(h07iHl$!YoG*5ACkQ0(9r2tQaSwdqjWZMXHx-)wdl*rC-)h86<>qhNAn3TvKC z-1-<|fdE*-5x39dM09Ya<_oy03~W0kiPqPjeYhY3L&aDQfBRw>P#cYjbzB{bj39I zxC^C(u3YXXfA2B5FpwX<+dZcJ^(t6wUm8Y&bb&t5Vd>8kzeR|8q9Ku~UI0X8#tKrM zY&Pg98ZcjIqUMB4Kq7AKr&8gA_q;Y2&}9{ z1|QgUNzW_J=;)=9+oNEX5>hTulA2i78;E@J`vIH+TpFZ-e5ap-J6xcCX_ zJgB}wUkrl%uYDkF@Wdu~VvUt(v67<+{q5m(Tkpf*Tx_O^(PxWMm~?qDO7H7{UZ8ga zd*oT4e@7C4aQ*YXZbGa9TDn<#YXhw=SxIrRaX$)D?FfK1VZ!2 zS9VEyEBWnAyv&U}8!rngKP4F)>$(&!>N@9<-{`zI8*t;HPB{!^Z0A`xiM2&vZrWYw zM&ae66J8U97dn#gaz0mg3hb0U`f~{i1k_{UfAy2De9Y^O6d%XW(BY*tMBx}Da6ORn z6Os$iTIiEvfM(4e2`+ed$Vv6k7d_ui%7`MepW&OS;F@(+>uKjR!bZ6{M?%w=$ITl~ z)t^9rJBbj;zH^U&&>)(`>RxTj*N4dfkDJ`#J(?s%I&78~A1!E0US>XN zG2^uSZ_uO|cxrHfZ1g2YQZFxEpshl65?&-m~ zvq#ArmtU51p{J*(kFR@{FSZN5cy-3Z@ALDs?_OHH5S(Q^6N~f9g_8@%GsZRaHjB5( z`L0;5jLMRAy;L&!gnx=-z73<>{E98#f1m&K-AkE`$q1pCGXi$;R9+me%450C_xmr) zm9}Z}jvG$jnRNV})l8+P`)s|-%LNx>sML$~;q2{uzSzLr zPYcdemM*US%ELl2tt_=!|x`-W3(GV);~FEag2fAHo$*xK$vh{^H-z3Jnrwnd5ZF z%%&M^$1KRnuPS3(DbNJ57_Iscf0K=6*`P0Fvs@_)2R(qMJ&7@=6_d8-|Hr_c9&rbE zV$%tCBDQY|hj3%=@LrUa39ulNaC9Cfe&S>wVFnf-tmknY?ZrV&PPkf4`mr2bcM} zpwUj~m-TU7Y-p?vv_?$JWM40#bG`CvNUA3#6I@PJ4|!RGG+}KE=8x1xnp_d3YLnB9 zXAtySNs%-)t??#-ja|9j(KfydoE1$=ZQwQ{Iw`=a!AgTTio;bKwM0;VGH$;Nm(nHPW%=$8KQB|Ae>@5NAAw0@lMltZEvs$E@UcE^ci3^sk?go`n{G01gP1fZ zO*XU8O}pE=H@K z#kLcI8POZ(_c20XZCTIIf9W_Er#5Oi8V=u6dlij3lF7kz4mnEVe+$W_Y0LdS(C?KJ zI%-vHw#8~)@9Wbszt|T~X#Bctcl2ddS1VKqA{O(BpcT@oM-VHzyop#tY@LSamF7S> zRg0D4Oo$Lbekq!Ie`?FRiUwo{aZdH3c}+$XRBm%ZTZXXYEhu6h79zy(@df&n`UIwU zMBz$9p#~dm30_CWe?1>4pELdaokv`+1OK%!uxfAw5m|xL54CvA6=q zRnT2|r$Kk*xAEArpqK@< zP^-#7t0~(+K5vOmU{WNP$NW%SBeDAU@!N(Rv9K()Gtt$j)^FlWa4f+xLVS{`^A61~ zAnML0q&q%Rf8aPo3L4JCz^Mrf%kX91P(P<`6U4SI^F599(Sz3c;Nd4ql5259%?MPG zQHMGNg7FIELq<`BZ$ZC0Mu$j>0^rl5_i+{cWw#B|JOY8TK9c*)s|~H7=nM_;7Qsas zhX$s!m8eNT9elj%?D2=<9T&PP(WS-QAjiPSlu-d`e-`a2o{MM$@VSRNFU!y9tGp=j zr#sx-Pylp~ocb+5O%2foHE=}M`nW>v;2!NQCYjnXCVdr0o5r~@?9ej#M-dH^61j3S zYC0VmHW5=SGvOX%UY4Va1o__s0tCW+V>%E3Iy1@broI$id;0KmzJ1*6;%2CwWEbya zq1}vQf6d!CfH4CgjDl3U`hX{(HRy$RgiTPJrYW}-;AcX7nFMs6P0j71hcha9j&}C) z4RtP$^?_P97@%Ri5x*IkBqwkmyCTTHhZN$+D3S?L!MT7@HgVHPAuSuNdNy$afX7Z3 z+hcyUqv5z=WE_HY`bVfT&bzTHH&=O86`Kw)e-1d3f>+dxff?Pa!X~aPBZq-{(8K|r z0++xMFk-shG49h0&3zsPSy>nKHSdx!oQn%mfR`0R)_GgB&tlPj${NBUIW`-13u;n> z8a+qRnGjpCu`eh`*{_AA9AS^qBWQ&)A<;DawzE0QAiI2&l-_`HjU7ir8+Qoo ze^~6pQKq;HM?9?PLM;YAZ^udjb2Gp&&26>F08{$17_U_y|D!(LUW`HX(9 zD1wg-T@coVX~Zny!wKg&GD?kcVaK-fQJ(CYu&nc(rf0E$0_?)j>e?QQvt1vseC>TL~dJ0se4GIZk zePJWaQ|o$HH{B-VoAo2J3I&Yx)FP0!15bu&6X4C?^DZAP9KdvwA3KmrTdCtLJ?>f2z3% zl~2wI^~VB>85gI2Un;5}L9`D`MFrF8Bo`eB&YiT>YCwxq`A;)@h%dHRvh!WMQV6-} z5QZm74v9I)Ta4sA-300xw*pDnbSBn0+e*1{)feeeMI0LYrB4$DRw^Wf z8L)N%5eCZ^8(MKV?b~weE2M})f1-J^hAZO6Cw)@eKV8*AO;lwn9`G{&A-t-DW%UJm zs!jyTqyQRGIQ8M_TtDR0J|Vc;sd>JWg5RlB&`byKPvuc<=XE0(xz6_=sdY#aJ5;kERVzYnG=xYBuqr8f8CY3S?x#1KzcoSdmNax3h zWfoEtOL>3(=*a-Qk6s9ZP>HVRs;=5&d2vGE=Bt6w@O6HeCpdx&@oj~g9R+r`{W)3COQ9z?VzsJfQ2hf9(Y_y9?uzPsOnM;XXlb)PHf@S+WLH66YbBW#vkENwvdlRf-ZqUxlM~$Ck+*1OLERxp zOFI|X?D2Dq3qD27fLWJKMCL0xp|B&PPiIKAzw@Veqdlo1rS~V7e_jIqo8Ru%WdR3s z(_muoJrErMV(gX_cWRM&8;>UdM67za3Zo>S-RC=oq@UmBH+uf56gV>f&XvIl_PIC5 zIbOll?}XC-`p-H0=5Fx{=NR{8Bgc&T3h};1Pwcu>-8af(#|LyrLWW*k$eDuVU)&>O zHSm=}S(B~%q5#Zl}QB2+M z=0k{IUT0xsQeD4Uv`Lw^kAn{!fc(*_c^q}hhbSspShyVkE|V~Nk7~aD=QpInBdd&8 zwjhH?@H8oG{amiw)3JzFl8lDjqmRpf1N82&h*AJU?9RLuc^KbHoL{ zQl*bjE6M=$PwHSf?Ysj%wsnQCGT06A9-FsdKtQ-WQ}@+4(+Ac#&AkXnnB zZh;(5Yb7}1YauZc$M@%X2p_WpSp$NWQT;cb(sG7`hgCk6bElfEnllQSO^1T;4>F_-ZH11Nvh zJlk?3x3Ta06;pK{LRAbH_lr+$RpP2+Cwa&zo!ul4wjXGUE7BIpjYwtVzfU)AgBgI5 zR@6S6vMtUu8x8cm0W{5q+kp+=zhP%SIs9b75=v4G4yRVI1`${<*&$>ev7K{tbWON>eU@*g!aQ)M@VQup6HB#R$KHd7c8334GHZ z0TX-}3eVSpgRoX!IH+HN14h|k1=Yq$6V_)0bxLbHNJE8FT;p^jl+<7xOv-2g^wGK` zH}j=lXORaz#_S$Uf-^icBSyMOvd~$=4)DSXW78)aFRBH4ZYhj&YqM>c~%JZFA1&iXzX_ zRKmJYRU?tUrm};RUf3d49Eg#EOkxSCg9&MINK1&c6V}0t)Ilzjt7Cs9se@&U($eY9 zx0z>zehf?BzdVSIur6v+;o$1 zPazTQQpZSs_@rmFfxcEv;i<_P-Q3dVpe9ds1ALnZ+HBFyDsA>@Q&cyVZF*JEBigtu zp^%AAXBnjwxLG?m0t)92&NrM17StsfNFB<#cTL&( zC|z8j;ZeH6a3f3Y2~Zi_EP`J^I<8I!55eW7x*IvcG?rL-!K$+`NG**b4Dw=W6k(8B z8buf{mqigpEr~3MN99l(W!(0_KViFIy=5GU|1b#ZodfgApFe*E!@Nm_EVu!;E+m0q zyBrpyEC{VPU!DM;ZhH_;jc1rL3z=OF6qGq`F`0QOtqu?;9b}0(cYedH*y50u5NRij z88t&06{hme1yvAWP2>`!|0GJ7CiK@p&RMQ1mG!t4qQ9e5VDa`W-@gKg~8(@N6f-Xq1UjSYT#C; zJv)hLI$^yy(bo}5F{ak! z`nI|0iLqxP5$jR|N#=OoLXZSl5KCz*K7U4F!K}tp@n&UA@9-kEhpJ03svwf7bJ?=Y z+`JPhsWHw}G8`fKagt@C$-L>o-nh|`Tso1XZ32JtHKfjkl*+RaZF*h1!KgRuJt z(|4MB&7ZZe7O4Q{a?QRPS=BAjJF1+3E1x=h5#Y}mJTt1s0d+1`9$*%39F{# zpnkwTNJ07$^!~OpAy*VEk!4Cyc`QD3W`%8yeR@_+d5Aa#>8r@<&HCeMgO6&#VIdrc zb_D!C@5gJsned{OltY!MUotBAx?e%oRcn72*g~eJ1c3%>ADGcn2d?$BDb;l<%Q@!E zwCD`pf%G7P8`xh%FzcIA#>z-Rw*ULL_ffhZuZVDq_5NnLzk-L;F^IRFv=Z-};8eUM zb4^CJznp+2gab7|ku9LcesuvWV1?n4fWfq3OkcnmDF3tfO2$ELZDJsMn5i%X6&nMR`S?b#0WdjtrIR{BnE@BcA_fgR2iPW9JJ0C#GN^S}NEEE?F)rb>NekGl z|Gm6D>?0JV`}5ty8e=6FCGi7VNc{heU=#e=W`DNPpJDKa<=tI;+V10^Q!s7(b4ZNe zEsw|b5jFMA6;YC>G?=EoU*CU(nW5xZ9yj;`EP27v05S!v2Fzix+}}hHMl}4y#opep*ZYK!mm6Mi zX<&xc>TFAVc>^fFpr?Z@A_IY0Jp2VaWl3E#Q@>x|ZV&s&1BQy42mF5?rzsU15fN#9 zbGtr9_;IrY8OP^OThMLC_Jqa_h@Bgss*DfH3c%G6Uq`3x*r>!E%`9Mn{;)>2F>mAX z80-)oPel>yOeUyt;BFOG_HGcBpm;**An>X9o#=T1Y@qO7K~gRf+G%^gKGKMbo3#-a zQWY%A;wRf-)EHou22XZsMoYSv@se3>DTLYEmo?zoO=xT-X5?#+hd9yqw#!Aln`a7uoYYt&Y8k!XFoFh&5qu^{lh)+bwLUKu* zzKa%VShS+>blPlJzrv&Ti*LVs_f1b+9J00b#kBs^(YBA}9;bgsrijn`aZUPgNt3ZQ z%V6SWu|s!wxI1k>#+{lDZh!nLetX!jsbvz1 zvl|pxsp~MkSZ8kU}6#Yj9*d4ntHi zk@uL(;PGwz_&I-+dxrEjiqs7~St0S7*pH<+_xN{f(Lh6>Jx>w6*wrFefr1a7YMB|(VW9E3QQHDRUj z1Tm;k6(KxZ zJnXmsd7c?Di8oHsvK&dNB{QrALX<(>EP7L*C z4Lby`7jL^It5A3eHFXf8omu?#5EmE@R~*lqvAB(ZDx%tx0T!Cu{tz+SC?CZN+pEy8 zSPOr)3jOPUZ;z)oqUXp6}2W7z6R9xtgW;!yNFR!Y?%S*4Q)$D)ecJD+kaop+i1_X;Y6ff=YuEw8f!^i6} zY^%&t&+ld7SY|2*NvUuLflC<1{6y+PP+_@M6`F+Y9S;dIlgf}R^#T~>ROpa)zKPh& zx<EAxK=k5B8*bW|G!I*w(8c{| z3<=*~Am(cP3)`*@Ht8B$ECIb9(x#8rau;Kcka(JsFedMJ!9m6Wu}yiT_`F8qs=K0H zPyvLBL-5iVu02y&3L1?^_8QOkl~8~2kR1b#h7#Lys3$Wd^ea&i4lkgXd-sE%n;@zX0yPMW-%~xv*d=WhWAyF=PNcOD9|4E1UstS7wAU- z7QMi|uy)iiS8fz0*FPC6Bh}jj?yFlMM}_0@7D&yv2O~Lz%QEEJdN5E*|qrs=X& zrV{vZx)0$X9coVW|j$v5HSnfiEqw zA#S8Ng7VyHbOu8JWVqw02%>-Wg*NVL?hH%yP+n$1t+>e)JABuL(NwhE&g+Pmu`a5T z!f&Dyk?Y~Py6cE~YZP71i9n zuqVUenJk9q@RNx%ojw^WBehK|owi7*%#43#>xw$lx-y@5*1(YjKt>7ldROo_)L~a@ z%?n$7B)EeSIvz(le@1^u2`S+e8;M;P*gd+x`)%y@>9(s(NzAxSe2~IOwX@M^Bk*^& zWk|cMva1ch&%z@=CFP)jd6)^R@dg6BI^mcKduwZ$&|`fKn*hr!AM)qyHI4Lnq)lRF z)JUk?KMg;WN{J7Df&YF%hP1{X<3hcJKkVHFn-JL2%<&h*c*%bjR0Mvb;RDi|7HKaT zTH@0;WfaN73T2W=uZDNS^)Ph0_WBYmJKkD?MO>uFi}YYch@_QbUwHYo2$B5%m0}~* z@p%^HodfUHgMz|BKPQC-BANPxaFzH~xC4R2C-Tp)I}MBpD@;Y$a3APXZ#Ngs$gD)3b)Pd@4_>WBKz9Yp}JZ zx!e8E`zxZjNY^u*r`uHoVVg;ODp#lh<0f9&+^kp2&HCp4kkRpS9l!rC76GX#3!Yf~ zV(dmTY;q4`vBSOOj$gWWl9ZKOsCV7Fm-zqWC^uoOH&V=u@yCBoE$4jpSNssO`jdm-Qb5_SCRKet|gVuy$8mYLc9zt`~Bi&1zD@t~n&a-d)hhMJL{ z6e;IO2}=Scq$+jyHDXbefagCbR?OzT2mR_t`?OomAK!VEirnB9hzq)_w@s79nXa2bS)KlsAh!}w$_Aq~3?GVzRqZMvDO?1$Tx=1U3-~IEY zO0gO|Rh;ylLMNX9BgT@@Mea=(3Eg<1gU~i!;?66_0vAr;W+dR^q^x?h6mr&5of zU*BF)_yV@pFbi@ws*%ceOp0c)z52ZY#BUpieMLYZMmBF71mC#7zlTfllXl7yWg88` zGa5{Ko53LTF@hrPEaw`6Ah@@G)&_Lek@REHT(uL7c0#0`u)-S$phCYE;MoHy373?x zo>}~{z*&tDCNyfC)_5Z+=J_THCCW2iMnO_QCgFeneX(syA>ZWpw~4?_q+ZCoRTAW3 z7;CtJQF5tqBpK9pifPW8R;i8{^dS?oy#p$;dLA9l%qDXVpDEXXZf>o8&X6hVBR?MRT)W%P z@r~DUjrL66mnXf=^8YDU8t%HTCR|D^zl0C zXwQvRTy;hg7+V&qa6(2XGejyNCIwa8u^)cqacTgz6C&+|RUV|c>@3Bokx0poDgr8U z%;JwMLJhD9jT)yAp7MECqLaH!Uyx-b0!P+yPCCXo#Xt_VCgjG_t>YP3LkUVTD#1hz zfl{)C3RrWYA%Js#3RC1Z1ECN(>x|G!6_~tJM5vtJ0Evvr(v$Dv3y4M^iy8A{Z12xI8vj0qPEDACqaj?i`hUqCtzuMOklj&__%JIv+1 zNl!^^{VG?myFeV3d2ci5<-!=Niif4ARBDwhgjldEG#BEi=f6i12X_&Y;nKhur7_f6 zElF@l^n;gwG69N&Src5r5|{fk9{vjuCqM?6EsRlGj*AUij^<25F7zK;>K{I@Bm)S`yC7ESX zdD{d4B@|a1eW7`P%7`UAr?V}fq?3k1Dh*@Q*!XTOh+7g(eQ7)V@>%K_r>#(GD?ELw zI)GV!N4d7LNfZ&LRV=87UoKr8qf`jhS*|BCteM4tU@p&FGXk$<4b`CWN-<;VzS|ra z-Fy-XY5`*$Ri=Tb>a|nvo5q|zubO3?@2`Hkaw(3Z7QgE+qbwmwutH3tGC~>1GYoeID3H|{DKlam%?tZriDv}4dxxPV#5n$c zL~T6HuyRiYS*>3kT0puuOa~%uqB4rruVO7&k1;BI}&&9Dh#oqdtq^T&PEbpp$VeFymf)fJI*Di1<3@9+(REEfkBU^ z$tglP!dx|-F^{l?mrfjKLd~ZcC{Aa8p7lXS;yv03VJc$1q!9vC5|IyJNIuRP>6;t| z_e8*mz_Xzi!g7)l$bF8b0B4wy(4DfDnT*mlheB{w6od{Cq71~n7M2-KjEgQ|3=slK z5V$5WR~$q%(HTP_aY>{G$iNcs%%PSVqMAgE(oRB5$#_P{!VNYIZ9vN>6=+R==jm;x zBFdV{AR3lIh$Jq~2LhFW$cZLR6*z^ABP7IYa5V*%Y0tB3PbXtm>o*MK4Fpeo=Ayv% znPkYp?WvNsfxJtBH{iyPfEAJ4Zj9ToUxPIY3UElj08w`CnGU3gR>loXaaTto2e}@> z_Vj?XaQm(N-ih&0v)vQpVR(6e4_CdU+9ax*=Nm7VD#d_hxkS_o{vosixrqb|R@kMq zde90hwc@cN(y$TC?Yi-sRQz6Q}AbHVpyqT|ma4z0aI_xxz zTLK|@0s#QrZT3_61POTh{JGvBFFRI^kvSn6r9 zj!2Ef>Sx=g>E4{%qd3*RI07FD8j>7PC`31M-oC?uP|5iyyG-bRkT2sjB?y5CeN5;c zDls3(k^L?rHxZgGyaIOhVlsuL|99(Q2M~qhPoD$E=go`)|#|E zRzxbcLhs)U+nlrTjfgs~+s|apBFmc3Q(QTmvEsb^lK4KJ>NJCN1=4XXI{BgfL_^At zPYFPN9Tbj7G#9XcB9aqy*ry&&7>K$C1*E@{jWk#!RZ|VJvo$yx)<}avjDr+!o@oh; zdJ^X}Elyk=*FCCJSiN(|7tSl13v$zD#cA#-Pco4E;=@D9p~gF+--r}&{F#EZ?(mQu zonn~hMkTdTLFDC-#87Gl{_V;(LEQJ>W*h(G49cTR7D9!85HKzil91aqosAVd?B0z=;36V?`jaiI-E!`aS%i^hZkCVFf~?KR&x+GZ_;g7Yr=+AA@3u(EON@D}#ivogWUHyPbDC zi6?>_bTwa~L9D~fqmQatn)W6bOYln2gs`1Z%s>4RVG@V=HXJ#8yLL2SHTq+-a%YZK z;mFZ{o5%e&9DLdUwa0K8Z1cDRbqFCsuz>4+Q1i{sqkQ#4xb4peJg>Ch^oIzTFZ%m% zPO4vT!eJ`-pfeN$W|8d*e=XtHU7)^MhNEU1cRKCewc)caXj8lAF*rT11&+^(SRTu? z1hzfI1UD`C^=ALLI`lOa5foO(WgZJ5md@6Ho4a*;fMEauLR_Kd;3x|JEzoq|k60RZ zkR^RBOA{w74VDYx8Z$EU_lHM!sLUTu+xdwMM?y`0yM#za2bYLdDJ)jMr!0a97qUQ9 zohGg#`so*Z-awk~8+WR#dFxQOFbuy2+&BNex(R)&f*mIqo|vPB8_^tBC)p`m4k?d+ zF|WfGEXCs1xq>Y?RE4bs&9K+uitS=B+Jft$e|%c>PvBPl>d%@&wQz@8Nfu7MUCs|) zk)T_5q!awCVtUwbG5Wa$0#`ex-hY9R#R3tI_X-jyq3cu_qSJD};YN)Y2?lJad)_00 z{nBbYg*3|bABRN(oG`4Y5_Ic!&SnvRuV06NmwPirmpAi8Jk)u_a|!5On(?t_Q9IVG zxH>Up(cw{u3~PLDR*CZ5EY-MAr9932)#_((|J|nF>~}RL*!v;5v5>Ea@W&Jn(M$0d zy;O+5Jw)7Khfx>f0Z}||VTa?$lT*J%R)k&MWOOk_oMc3T4)j*1$0?$t;6Uqt87G5u zH!%hIfSbVdP}dd3as@s(U~g&^Av;K#$K?v?^?qH*Eyc z6`Q?@YDJ&*(X(m{sm*NX1KYByZY*UBTO11&pZuv;N$|PJ^ZQMh({A6# z$+?fkdUGG9?b0|f-iK=mm%R<_0ycyhcWu6V=K*;{LNZSQ5iH+VOd&2}p<&9X=29+c zLUe;KkTe0u{dUzqZWbQ2KqC8H5Bb^F4+4OP)$XwR)PMigF_e0?sisALjNqv(mKSm{ zV)}Bh<~R%tanP)@ddCV3WWGq!kh+*WP9)6v@cHR?3NT1htSdBxJ5hb?odWX2I|W{3 z5*h&sYbb9~GS(EY@E93A!wpWuI~|Ttw}at&Z@P-`}}_DwM0 zY8V&TAR132Px2*HE3~k$G>vi)_;B34te}iLcH~5U=`k3qM+wiqn$5tZ$RvqVCr5ZJ zDDvVREvVSPhTxJr1Nitn#2FWehWIYcVA~$;Smngs2B}N(uX4zLll<$Pcb8z72w)gz zWb9geyf}j^Y%b)#9K7IM#|uRE;LTt;-}T{2?6UdLA6_j4n0Xk1D{c{zC*uUzlt{S( zJ7NSWKl1BV9>c5cDhPkc(_bmmIo7RG=X9&&`*y3Qe(JKIAy~vk`P5=pEi_pE?xq(Q zx`FF5H}n{@4qYvOuWtp@kT~PvMdNzR?w%j_&U6Iv^Wiom830&Za~AtO@bjx5uC0nG z*vN>0A~C~S_MJ<~WlW*f?6>$voE94tt(3FhRts0!xXW2%32y^NhGXL_qakO$Rl0g? zV?Rbgr7-Wq)p=iCw;)n;!Y=aA@jHW*WaB997>A*(djA`LJq|zrxQ1EI?>Ea-H3)Yw zHH+P$oyX*ix3Q0jj?0cUvn?o_otx{L6Vn+2j>!TJjALk0_)(x!#^3^1Kk*;_!4_N& zzg?7Kvh2(2Ssz~I)e1ppU+%Y|*M0Cct-B*+IY7!eQD^}AYpCW!a8ZIS7wUy4bNQ>; zADg)sxPLl-?SbL>1%AaTxHf3b6(Lce(tf0F9VxnXUiUb{{^{X9TJb}$^0{wmFEeC{;}92~V9?M4X2iV=-E~UzRjR1h;lj&^PLb(^$Hrh;`>*bdnir-uY$JcYYZ` z1_6RSs=B>S7lDhs4>#rJ&t49m@20QTB@Ex5VpGL`StKL^W!kSE%M5Sw(9FHD#S{1( zWfZF~;2Io&#F$h(iGu5Skn<4N*~d>$!gZHXhm5<&NaZ!~r;x^Co4V9QjU!ZOpM(y5 zddFb)7Bd*m!~D*LN{6)Hft$}a1%ZD5S$q({V-ro3O*9_*-{&;tzYNBrr8gEWvz`cM zXX#FV3Jb8|a%3g4+}q1=LmP8X%yTO#$DmwFn_+$GIUoLe4HmxY7x;nCI8VKguBAYc zV1vg=KTsOwkIhf5BxLr3>&Qa>wK}*KEenz(Ww8%GU^_$7jUxv?fh@USF3lSqBQtxy+0g(yL=r=#)58V8Z`L0Rw_u#Vq+h(x~!X`+S*ZV z-r-EoU#Z!eOvfZv8YVZ({n?IL$VFJp`VsG`qP~eF;ZpR2&g}>(R}o1fY6e6kPF9LU zYB`V8lTm{3WSFM#Ov6bWi-|DIGf5Z`4N`^4sK-C~HpUo{Fqt5V^T~upUmuHq)T%MB z);tQ1YZmN5&n#%t4%$Us*>Uxy{eNic!#aeKd1E_7m~Xau*ju4>!z-WixX?r-Y^lEK zo?rl|E@UK%qIai#+Rp4%Ni>s|Gv9QP$WHa=`_f_{O%4)!JQZLkD}Vi*9FI z>EiH}1!HF25;zViiPA&)&(uu+uU3|50RZ3!z z+iBs|Iu=0wZLt)8Kga{o~>;fL;65a zFcMRKn(%Wz=0?4Muop@20WFm02jA)f{6U=}_G1Xzc)IumdvN<%UA0Bqq5sCle?e8w zx8ZGD1HO6015D$DYcL9b)37^nig4x+CJJ=OhckuzUvWqt5lY3>AxCf-^RN&S6M*SO zhs`%5E226W7mr-25S@_x|Zgn&KMAH#h%!H>pl}OJF;;=dh0qfQFer5jACu@^Km&Pk0v}%+ zVE&8VtM2h$`3UFLgbVgL*kUSzTOfnvbpzCOYg)G`9~g}(KswGzqTE8#OZwh4^*V%7 z<0{W^rtS`7Y8w52|CSZvab<;A8mz0WsebwAx$U?W-M0ICJF%v7JddZo{njHR$Og|4 z)>=ff-7W|e5up3YDB_eKnQSN_-J8_UAg|$;p?Z*sOOF5Au4Q;ng6GK#(t=S%A_pP%aJQi*sd{LJlQHXr= z!prMGc~ZwG0pW;8QxHzeYutE>e{O~fPn%)03NQZz;Otxq&0~BIN>%*uBkpSf7=^8E z^5zoioT95c9WI)H})Cb!@aT_hQ@^n(fSB6+F+5$bzs$Bey{`TOaIXdASz|c z6fzYaDrCt%U-)OZY#dzg3P<9s=uYm`ifCeLW4q>m;ue)(*8rt#0GA&{jd#Wp2BS zO>Ot}F86O3auiS0BR8z?->^tllTp?bgJ4~gJFyU!oL{k-RRDt;6V49N+Pqy<_x8!K zQZpxi_FflRj>trS5lZI35nj5a(u4?Xj%>tG!bA&r*rnyA4Qi7&8K(Aw?O=q7K5YRt zuI<@YYah`}wjblAF@z%PN_T>i9uBrC2k>Z*!!Dq=-*{`})*v^YsJXfO|Ec@Z?IkPH z(&10qIwYzu7tn;!e9@$pU94w52=k}|I^Vp10sU|6kh)L9E-5$lMVarNK)v_G^CZup zY8(pCY?s<`XD`psem}#ght$1-+L36;UQz&ekgIHe_U<>j+Q2&yhlnIzU7L}6$jAWT z&?;BIp8dm~4$l|l$fkkB;8bAji2-k~DiWZb$w^j~$UF6X)wD{>8=(E9%Rl+zL1V&y z8qSox$s$A)a_P9L54cB3JpPFH96~&@MADBck@S5y2C4>sn4#F; z>ur&lY!wSEi@GE3D|Y!R?sWlwjr>ywm7mE|@cObz_xTLH?mP};cwdBG2AoanFFFo< zIk#HGW|oOKTE-Uv3|K86BK}toYtkn9OcgA=@kt^frV0-8-;V`^rw%|UNaFbma8TrR z7TZz8U2UBtVkSV2RRPhl_p|TFoaa7WPDp04oXVLR$96ia_j_|c*yT=tE_cucEkoAq zi5N}H(fQ1c=Rw@sh`jd<*cs5?%YB*E&+!o0(oxCB3qU+l)Y3U7yqI2VNr7kx5pCPO zHDDC#zO}vSbl`X1J5DHvxY8#`O$lLocF&P+uIi#PVFWVRLj@j~@*kedy4o73>c!+e zA%~8OW7og2&>2$_CCM#+OF_-i^?Y*B+DM%T1;Oh-_IHZ&su8+SBIw)XpKELNMYevk zp7ItH6?yhR`R_<^5#BJcuTXNMk4ZUF?Pm`Wd@&Gw$LS-p0e6r&-nTxeNze+FPYRo# zT>=CzYw;$Zv!Uppr=K_`6hP(a=?6cUr62o)1l|)lgE02(c{b!(%M-<+Enj=sbh%fhtqH#Gs z0-^$Wygvl(?_=hFYc9?}-{xU+^p=&TVp9)Pl}yAyI^a9a0j$`Q3Opt`$ zwWXlD9W!KHzX}&pNY`(VdGCyrsv6M zx+F0Cf`&fu>lttab7cDE#P_wclMxi{^uh<^5r+ka&Y!%LRA1p(CY+Rz&QfO2?XEud zCf%pqc={>^oDvqN)<_LTCfkQ_liQ=Qo|L6k4N>hVUfOH6$>or}H?m(qfq-Wbw-s(` zG7Xy)lJNd_0cth`GR}Vhb8JwqvvNxp^bs{N3NK7$ZfA68G9WQIH#9YqA>|YWGBGhX zGM6FP0VkK*KLHAVHXF^Pv2EM7HKWG1)!1p+*l5hgb{gAO)7WROz4o`e_V@o|oHOPa zneTPuy7@fs3^|FCD!s6oy$Mjl-p+-dnSqH1AS$oI%miR!Vr5`rVu2?oSF>`l0sdPI zPp$!Ua<;O!rJh`a7gQt^~g{2E9%>O(Bs7$E=%-r0ZbpLV(2-^aktW1sV z0P@BzmOxujL{noMfU3Qz70|`=zbL5qEL~h2co-So-Q5|CZJinHoh$^X=>YClE|vfl zpfk|P4QK{`_^V)mg0U^|@5&h9$pLDXR?dIRRqf4P+>M=p0Fc1O$`okl4DxWbGXpvS zK*0g3(sBSr2cX^G#&Ulf&;kD48vru{^MC06?fn;#mEFIbjZIDMZ5@p5Jgw|30OnRU zK!Boz9D|F83mw4N&g?HkV;g6CkiW5;v6YRn3CQ4oUzr;NB!ra##-IZKU7oY4la+&u zGlR30&0i%l{zU`ovbdd@sJ*Q%(9Xpf{;&MRtek+RptgH5{yo{xcJ}Ue-v0*XR(59Q ze-&Zo>cFUOXXWS$lotE92}lJ0M`i(Z0kAVMF>!LU0)UPHpogg?<6rb@o({l&DVhHg zgDUWU^>(m#0GNY{0Qy>)13_Q#-pXUfC^%V9^lVH3dKPvj0P|l<#tC}x{cjp2W2=9Er|}P8X*+X!0QcY7g4*;y8N2;^0jU0c zIH&>t&81)u+FBrh>d%tvF|jk5g8nf7Kd<_~T>k$y{4bXO+miq9gd|*TZ2qOD`j`Iy zqc*m+vhn=40cdGmT|fsw-X3%e?Ebf@Ch+e=D-SfYa<%>6T4@(!&_NKkv#|M38?Bsw zC9FJvW=d8rrj~zi%inVKzfPHrl^syY-r4G}YXv|L8qNRGfsU5xXVBH*3|h&5sequ9 z^WP!G?M&^>{yJhT>>L1NCnsZ1c+ikRh#la~3_6QuK#zYdF@TZ5&fW#&0sxig3oy5L zg8yrx9P9u_;lD(GBMtzg$RETBU=;m-gSY^UVt)`ffKmKEh?5DxDDej|0~jU$AQk|l z)E~qOV3huYK=I`MAW#H_KL`{-@jr+Q6hY|^0&%MRK_E`mKZp&$sP+ee>Qny@;s#Y@ z{0D*JnfyVZtWBJZO+N!c?*Vg{KXTUp$p7Bu|0qBSn*Il|gUC$nZ9sGU9|;?O+g}n} z+dl#S8Ze{TKOiV1@DF4GIRI_VjGZn2wD~U!M_16X_~Qhs-TV&(8JPcp?4V@Lt=#^Q zvj1gm@9Ojqe~^jAKOiXRpLlGbc3FBlSOV?-VF8j^{R4t#X8jKcYU$^HKu{b0nJlPB zw*N>LRR14lRuHkBtF6gjw~57nKLY+$ll`BRKop?Y=Ree-k{tf1L6i=lSD4*@4ULWY z-_rjc85<~f2hgQs|7QqnpmsRexH|uXA0%=7Gi6XTM^}3npqYuye}!OW`=j{pD6HK7 z*8I1anHl8qk3lel%KsCV9pvN;w6*&09byN$ID=jU|H&5AZD*T*ZU{4fGpMFNK|nVw zql={z@E;ohYLJV&{XZN)9IpR>pozKt1A_8!|Hn>(ygmK_LG+$~vH`hz0iFKl{;zAv z)YS>pe3yT{I6!yS|KNZ93;+T>fTr-v3-+eGA=Y&v9S`4y@!je7C;4Z|_cgy#(|a#F z{cwFkhDo8W$qL$Zx)V-+8Rm7F* zJ?7SF1S{M>>)!!?b4c2jrvWWJ-p>t=>m#Fs^!H(DZ4V>Oqq{x6nk9k*f&>=s%rxSb zx{+(EJeh=PP~|QY;N6-)X-rhQ6}J?w7bxRUKJTC_k*AN$JB3V4I$ThFAI1qT*mHfZ zVtuO`e<^fs&7m#YxTEU_zXx+Dyqk2T{rXjiXUQsVlodvQm6s{r^CfR1j#8Po4%j#s zT+aAws|uSztjv>GE^&u_>1v3qh)r6uZ-23RBvLQP)B2ISfZ;-;O1(Xvy+D~{?<|Ub z;;1ojSR^>KpZm`2Xy>k?Lc{>;*k0rDSCxB&$VlwA8fQq}mrj*{Z{5y{>5{@x;Kld5 z^L=n8pU%~PMBGSho8wS4)%c%wC%TJY-08}t#mFg(mgNUzkNLuVmi3p!iu&-r2MA$* zxor+$sr#Y$Km~@Fg}NR~o^`Ma@yYPVNVCS(+eZ<6RkerwPhMMKeTzRQc1gx&cFDYL zs`N_O`da|J?9u5EHVG6Yi@O0C*PHxQ(UEWFku4j4>h8h~D+INfbA!Omv*B?_kxwu` zSeY;dCeNe*g=Lgk8*)XonC}ZoIo3N~*+NgmaV`AS&U$qln74eP75sYL+8@X^#RMbN zPvE8xUN};|{q&H`Q??tbz|V-p+q0@6Ur5d&S)75FV*$gd)y>I3yV))BrzVLu57i2S zH9bOqi-HB)<(sF(9IlH?y;8wYVinIL38CkyMWaO9dYcwTmO-gufLiXa6P1|+lW{2r zqv-SIgpTK^h5r<&G2J)aeLBA&HIJWk9mQBSiY&2c;Z7>So*d_Xr5ZuzQ}Z5Zugo`j zIGKikFk|G`#FtIP%v9zBoBqz%er$W$(EPZ6l(jKp`D-ILWV7lx0JgF5`}a)25j-Qo zYtGbDYy`vcTqxa?&TB3YB|bLhdBSUcm#GISuoV;}UXJwE7GEb>SLS2Z=L~gGFes}G z>;@^9s=Aq3-#brSqJ=jlsvM7V^XAyZOM zbPhN%67?|j5f)E&e362M+#=be#w+}PUS=FGozB(XPrj0+AJ=QcH8DLme2#-Aqn)N0 zX`mOWV&hmnjwEtsKdX1~?N9yom^B!qheh~>YHyy-NthCUd$jZH zy&lQVAE)n!0?7NTx@JbO+_yKjS@iA8`!)g9hOdIsmSZTcM|mQ)7ZT7oJdMoAuuG|C zuw}!Z9QQ%pD;oep38c~xTsb>-)!*(EW%Q@B-)nLty&g)rPjLB%DHHdo#$P+6Un~`# z8Wz0w6wv|5Uzs7~+)U?fv7oGf8jHIrhDqhmPHg*ynlqemZ z)V8DrWhVihND3PT_7yCI%Ufm1J`t^_Uk!(9&rtIhxQXzazpRhFJc1#A#=>lxCfep3 zLBbCt&pr90caDIH+**Sl_r@+c#IQn&%%^#b*d+!ba|J78zq-2 z=-4gTML*glVum2fe<)>tGaUVpgPaNQcz`U%HPoHd(uhFA8M?kv&aFXGQ+mI33(kFn z2aeJuI=roX40iIjOnPcba>c%i4~aISwekK4dk<8;Ux+spGRNUy{V27mWb8KMg{MA& zW%&Ku1m>Vl1v3#%`QA_rdQF@>?U0E>Kp3z0digk9V3jf}_K}8v2Jcc{$3(;|G7@^V zB7D!6wXHHunF#)|-n&IX^)^PSCNGwqPQ5_(`^ zstOJZc@_xda=h?=^kdO}l{+Cs7Uh=*yD5luM#)QZa+68RS-nvt2`^dTZ`;{$czy_% zfs2z+Z2Zk93%7r&G*PG+D=dsV>K2ydzwy&1pW?9bL3@9(fpU2gOmk&=KbWFBpD9ol z@P>z#!Dt0%wfxf+&Lrn!uP8j%P`{V3RMGr5)(`NW48L`Mb3Iyj)?Ju|U8~Bo5gml5 z7>cd0WM{Q7Ye|SxRwNB<8|u@1ElFBM1Fe}ytJGSdWG&Dc<9Kuf&FpP(;$t>Y9buo98wh6F!vrUL;^w99UZCpW{$tKnR z4 z-#_He@)mTT%q7_bN<2|PBP>NLTt^mv;N99TGJC6k?0r7}kXVKKvPshs$v0S>m$Ey6 z5rR<;;oM!!&DSUyha@U)6smEYZ@Kkjq@Ns1IcZX&$X@A3|IQ3rus>OO{14I@R@RPt zCGJJ;Go2V`?(h$kM!Qu+NM}wfnvXmR$wg!B1ZZ0_h~ zHeLvS2V`?BnwJ=L?(3n0XNue=?*;p$ipAeBMkh4;Xe7|}*BOhAJjim0~qJp zjzHgz+9d+SqNw{N?Qo^18~90y59;FiXV-6k(Z6P8gS+QZq@pS78U;S+C<{%ZNH1@> zkQeN|r)G8QmQr)}Q*^%MT29(!Bi7;_Yg5jx8uvD-^<7bFIr-0RrZd_Z+ND6q$mL-p zz*40O!Pgz;j!kF4S2ZdSddo^QZm#|^_?&67(Q9|&hkb4&S5u%5yJ}php7)`3!22bC z0^M!rQf_mt?I52m>4y0$nLmb;t?>JWa|&kf;Pr1iolOXu^mhKT`%&lHU-p@pCPLl` zo(l-DB%-3kQQkPFune01I!$MnLKrS{c`ZIEu}{~TcHd6z??dnes0RH@W5T}Ai%;Y(=PIQ-RR5+aS_>ML3LB+fu&4` z>>{9By~8z;BSk(dNKRnN{tW9twv}A`>;gpJMcyngA7T61m)T#Kg z>msZGMK6bBml~BO2xYi|ZD1I>YJr*9=$C^%7{?o9MD%_7yi`^seB&2?2e7}XXN|Zf zp#@$b`N*bA*&!k9V@1CIEOmESQ}$zH(Qn2WUKmw8N<@R!Tb?}^NSRt|p%YAxiuz!2 zDkjNM-pMwsRb@x;*s`JI&uWydzj9D{bNJ#N@$HuOTmxNfzgxFAK@Re5(E&k z`+}QC#H6gl^HF!5v7E4iJl0a-4;Xp{R;CwfYVxK&r&X`m^z%}r)_meST*>(U8yHV* zKC>s`m1)#G)GU~PzbkDDCZsAwk;?ZD)sc7s33RgqxtgWL%rPY?@c0Fl8e}ph|F-aDo6+2tbu%^dbgX!2msGMW6|L%!(p=to24;>} zOH=*T_vNm!xkbCbF~$HPU~ZAzdSZw~s`D~RQR*FbWFnS-*zmC_iuWkIZt}N(!j4Rf zTOM*nJApNqd|EYHoVL^Uwq7-2^|1kWBdj)Rqm;JEef8g}CE0Iy$-A9Z z>K#4vPR@sa7O(kw$v^2}d}M$SxMX>%_!+_|yZIt>*Wuv_v5L#pbB)aDck23eiYvUi zuc>1nEqjlrAIa;w{(SZm{zLZ}vN~PWhfbGV>H{ktso%MsilP0hRMmz+#lT}i360J- z$7yJ6flAk-t$un*o`~(Mey`x1&`c>EJ@Pp9bGM~`ZZIOGX|G)a+^sQ@7*Fy51+|@) zCRTpjYOT{P!46wYnZyTd`dQYHdqS(-MJb`R_(1ci;MdPBDh#KYx36xL0YkP7=#&$x zyS-xV7S$_}MBcd&kRO0bS@m zblMKNC+*~TDO}2GE*!L}jb`Oq8PL1F*Z2F!%;ninbZsZpV?wdpJD#|h6*D3jl_H3B zK$5Tv8saH^c|08^^-h~{dErQ#<<1nh?p%p~>pQIKAuhLUB3=kuznW~Bu@>2$yTwRS zlVY&$4!B1YzT;4EfhVLiRqA_(H7dJYNx5{lX``=?B~dq7f|uA1hWb=*ynDNL4DFBC zN*$ib%ftSu!htO2uHTI|{>#8_{GksSnCEq1^;^z31P9&Mdi49@h|qIE z!_4b^eBOrL#}gT2YR^~is6E1 zh)Y=`0f13MDS59^YW~G~*NAhuV4K^2So@%X-pd!7M688Z<J>gU&fi1$T_iPM|{XVim**XdGr@j2jarB%XzoTSIz zVqq$Lj4Up%@&iLRkIwtW0neYgrL}Gn%?rx1W*~Onr(U0FF_w$9#Lr4nQHL2$wn@6D z`$%bIR#iEXyH~V{YG4VDpf0Ufkq9Y%E(;&YAktPGM0B;b!=kUC^WUZ_M*k?7r{OUjoNWLsD*mj`k4S8LLwAt#HeLv8Bwh zp$~H8?t^9Y07~WKqYhD}SBO}dix48~JrF%3^V^a9l8}HkHJ_%X(Vl!qguwe^{>Z!E zHgM})LriAgC#|hb3&nS)MARvA7-vvzSa|pd!5sG${A)pCvXU<^R3zztY=`XK?5D{D zwcKW8iTfwL!;i1`26IUegdZUgc+=s!eNI#WVtV~SNK&qI9Pi2luhU;Cvz1wgO?W*% zwZsy$UK6X1^ORegpq;Ohx46h8z%UAo<|)2kWDz=PYy|e=dFX#{h3*ib-nsnN)2JU{ zll=(6Zr_Qjdzd#Z!HY_Nr$A9kiD6Y1saLC@+#~&4YHs3Ynz&m~jptlwN#YXcP~jZ` zMpdh4ovD_ulDge;OLGA_@CTcDtAtpyW!x&mQoR~DwSg+s3_Ve(oxATV9YTbTLW?-o zwCIPMntKFogcublV53*>+}$tMj-Pt)O-nB4Z*SV$>_%}o5`Kn%nI1hc!4T>>K2elf ziH$?yA(BEU>ISx@fN)xRt-BFC^C=XkcvtUndC)~sPg zSi(3CArxhGINKwC(YFdE!plNPa>nhFR{1DThl3xKKkWl_etS9lga-K*^vlgRsA5DG z@dTKc&)asC^a`_H#x49(MPTXY$4gkytv734N_vsW(p#&?CaNO%jct0if*bJih~fi1 z=F(}+JTsUneCYHRiB;V_Q~icFF5}iqCrj+}0q%E0=v0b-#zuU67W~(jOy!UU-L(xq z^&TxA0?441RY6nQJMyhsxO0W}H4#;I?y!g8p85|lZgB>i(j%V zO-m_p_TbbIoonxDj?mXhjG&9lCoJk`42yi(`9_8grhmmk&ZpdZu;X_CVQH{Uw0k^$ z_T9f==+nxOw^^}+`%DNSnAMZj39&saw^P!Dy0@Kw*O)Jds{S>&Jp;C9tVA(F$zv?F1IkJUJbvIx~{qRqVIE^Ffpq3w)N z2dcC!nu8{~AL~UvN5p-y)m&xNQL6Xf)TA@vFZ}o%V3kR#rfOMZbGd*m;g8d92zB^1 zt9=lE@_iKdDkSv#dglasGr=XNCR%xAtI^N)sS1~o6KlmNNl81Qujf{5>JN-?ankQn zZj5)GD9()PYowKZcn0x8%^TfEEy8avq5+ksuMWi%%5&{$kn_@GNq)0y0s_|ZA$zAA543IA>&weJwoU+C6>Mx#)`c+9)->%K-<1ld{z6WkV^*4x)>$&=$%0E6Ak5p#PQ| zBk!W$#^9I*HO0Tv$~K{(`W|WzcBFfJ5qdZqv%atViH(8oC0!z)XDq3eLC;^cky%@R z%p)Xu0$AVq`HVMv-`RpIkWaG3YS*;ds3GcT&}_v_!CrvWpS%~A88KYWrI%yO0gHAs zl1LHF`@lak`0cUjk^-{qT35eo=cMX&$2M3y=Svhu#l#`Yr%(0yxikpZ5l5K{C6N+5 zQ%(A{dC(Hmp-CvMA!4aEZ@#)MgbGstxUFapFG+427^?s1YavfG`$O%N?JQ6lPtBCAKFLbnjhU(di zM!k!gw(q_KFd?U~(JwEjbdVx^G9@%xR|J#6a(Q%ZSBsU7C<>rpAQS}0hL3vaU2u1I zh5Vv=@=67TTpO2f`FNV!AJi?6Q<=cKwvUW>d;OU|_dQ7m7Kt?geGf{##35}xbH!G- z9`nhQ=@3r*voozPThDh)K916V591`notPGvjNQkPwBsHhx_x}2=K-(wpP3_HU`hyN zYZ3U5Arv2dlv45Grs2!HPY%RMS=;_;-P36-o_iEbbh?@P0vW&3z<0i zo;i=+aanK1$Y2Te<=-8Vx}ASyNMLn&Kv`V^Z)u0oxTCy1V$5dK_9G~Nj`(z%wO7O~ zQA-H}t~6-#vc(p+o!J(kd!t{2iQ90>&#IG51eDq66Pd;hY5ARB1*#^m7{={NeG|UQ}w@ny7R{1j^!h^yZFY3@yo1@)CR;8#s>;h&_a_McUYn2kr z6JpiB@`x?r)8(!*KPCZx^SUEkN6GP;&lvQ?QB+i=X)d&LIqKk)EnHs`^tu}nQ3&Sf za31BCQfvQj^~ad-Y1f14uj;;j<5fj0`JZa^$(L?Ca_7u?uSuQ#e{6RWzq%WcvvdrMJj2R=#lU5_E@fMPIX2nC zpWJJ}`%sEu9_|sQI{M9E_VL6kbOPbCI~WrlgcAqorml7Ht?U0PXRFx2497X08q0xp zRuU|LERgab1pRZ}9P;g=FDzqzc$4hu!=ZwY^N(23Qt>JWk^9z&K8Ech8eqr@jiHt> zhnOQu)>qR(QJ-#qWGoe0+HIMM?yVP6T3mFIG#xhN*W!2aVt$LjX3VaR5QS@-6)n+7 zmOJujcACh**q(es#T0R-xZpVLlA#b~I3`1I7z~*zNGYe{0A42>!OEixMYI z(Tu22H$kb$h=R3ao>_S9V3if-u}OB+W(pQxGb`3kY6yGdVY$%1q&Wpg7~UKRhK&)T zSz@4a|qU&@=_~lDYoj|?E%Rbd=lr)gN0r^$r;iQ=St@l2ATF77M7)*Im z0BQ29j)^ez*Nb$OGn!QL1A{uX!2-Ng*me)n&UCoMcBBIioYEUAg6W*c>hjE^7inE? zx?&m{L!rB61TBT&@k@mxl5KY^ojKm@2XU!7mMO4*lB81a)D0_Fj2Uk++0NK4a%SP8 zY=#Y@iIWd$M$jfiMtIs`r*g96m&2bdca7&D6eJjd+3!tqLQ>>?j90m5TxmA8;iC63 zLk7XL_lQ1gsN5|n)sXtE5t&;+zP&@-I}xVY0=gtguLDQN zg1i}jxt>;rB4_wRwVgqP;;eo;#+~#OHT77zkJ$)G$CVI25%Mk`+^DqK1w7J zlwt8LI9Tch;Z6B6E(YP;)wL`;yT821Gvu*xuV%Nq70czn@bd_n;rag#pXR$H5JjH? zd&@S?{VGC-s0=ViIL+@oQv^p_mU@oYp*A7D>n_n0Q(dCC5+FjD#IN&v=)E3`w^xdP zAxw@93&#oUtB9#;mscHVA)lHSZ{uBpjPsI}`K@MmQ5z$+H71wgp5vi^Mcx={GU;T8 zYKOszpJUQP{NAsGdU3iTXT-WuYcVax>MR-)3>rq)i{P&#BMhKOnUIEQ>I1W2gDX^tSMMnK}Vpn!8H- zoWB+aE^GO=i(3B|Fg8S<-oxqD3ECdTl=C*BHa*e0dUMLmuai36uuh^I5nKRAZYqZmr zE$OS@h8y!Z2+#~SvQ9{M`W89%R|QqdqP{58=gUBX9lIp8CMej8@Fwq0+ z#^x*04_>dPDHo#gK-Mwr>W}V!LWaLI!!fE^7K)7paakmOaXLte9iLDgy)}r}A`cJY zZDtdBT4xM@fAX1|KgM_EU5ui~ijBAs)P{?bDb6%h*j&aI+6c{ELGUKag-)OpQdkD4 zM&~iW5iSBV zIU&}AZ>C#FBkU6&$1<<+N-7EA{b(AIAdH27AWq{3evFPV3yk(u9BbO}0TIdK<$4n? zneiQ8Wx|f?CRkD98bQGCx^_B8OWqv2h|?*x*@?=VO~YqS`TdK3+)$?7jV4)dj);9%GiRHBVs};SW!gY#@95KN)xj20EieRIm$JN7kBy?QlKRa(513(Yq6Uf0 zCr8srF4wNbBP5EkHuzxNjtWkXNXQy1fxG-mQOV`8SGN^*{Dt-|OmB>^ zrLOCh1@BeO3Tfh!QGDLP%*^c{7!1+-cUb(+#PNpExMSUaiUb!EJ1kVi(Cj(SPCCPh zUW4sEs!g9zp*4mS5f0@Fzg%?D8hdfMYi;7*N&NzH@!~%MNwUlt<~f<&Jdmt+BpdE( zr1BJf?^4Ahzj1a+E!7^d@|yAM!=!OIb@G0cxCSSDDj}i)gfHfA(QKqnW7V!8brC&y zdrtefny4c`CxyNXaBh=F-7Ib>zPL2Hj(fDcGiaH3 zvPdFTa8g-=Qxo@9dFUjsIkY=j`^+_8oSk#K1BVlTtJcuLbk7gi>v!@z?|bLlh3$9= z7oTA&tS7KGQCiFLm1EqPW2Z(5$V&qJtkPtJaQg%@$&#gc zDY`~J`BN3Q1EXf{VO>1<@8ZoO)6Xi1>n~?MUz~BLqNhq&buCo}RH1~PzK9SC*h@R% zRyG!YQy1c@H)my^?ss=k8RdVjKF>^grW-uAPeIQY&iW4Z6u3a6j^i9bu?sw5C}~!% z7z|#f?7#I|lh+&@ON?}L&$0%GJ0Fno8&w95PEk5uNav+x+bLw_apl=+{`jPDoF=$c z3BBaYw-Ks$!DW<1!F{KHX3UsZtPY$;}RZKddBRU8^) ziK85LIcz~B&~_u?4%Sxoy-5;( zZ{G9b+s{I7Jr%>YZ2BjWy*gkruYZu}eH}tHDxbtT!@a)ftJm&M^OYWO6|v?xZB?8p z8=SEw844Go{&#G0uHUax@+YG(Q~njmO5nySc-AkIbXG1Ui^PS4VNadOHy!Sb;=z4X z_}X$FWGWFlE+o>PT>}?yVJ=9@{wDG_Q>Afha3?)Y^niL+HoU>V@JHSV=p{NRS{%+HH-jn9(4=VJWfycwd=3c9zi@bci>duWOq>9sR?yn6dQ)?4JyAXBGJhH7#xGdNn1O%d>sAFfe zA%3N*Xsn^mi3>M^SLl`^rNWxaRp$&*5%nSVO1Azd-xke}>mjAWq%H@za#~I) zNsOC*NTqxq*tkfNtJ0KNl=>fEq9H=TH0P^o7@i;*ARTV{8n}zVQ8$3>PP#~iCidKp z@6O_y_1~x{77{zDlHXf@9V;KxR2&`XK05^bnEj3%2)WOQOe>q>WGt=EA*YW)P08#c zv@0*7rDU{%K%;Nq(+PW@SL2HAYLVlUU(TOc@%rPN5T<3RN&zk>pa zG2;TeCuv1mm!z63mIF-bBkAnwvmKpeqz||jWf!`%K9cQ|&aUM9m#1F)i?{R#wvuq{ z=c;+fJGe5Va-67+d?;Hi`d7ClR?YfZs}%1yeSf>lrnLMe;n@@5>`}6k6$(u75S~h3 za{-c3(R^9-e9+MkGV;R@o&xj?!9r?_R zxVM=CQPrwdf61ReK0jr!_2@CA%bQh1UUzHG6IM8wP&Ygbz>stwlHrDHPJP0;sM@j{ z4)Kl6jHZ^&O@8A@%XeMCcC8Ecft`YW@$sJkAJQDIw9?Xl2WHiE6Cu_c-By78$j+^+ z*eh+67562i+PHb|v9T&<>-OvHiFceGV?W-++rk5JFBI^zFT@->Q3# z0Zq5Aw~2*+nE5))9pHm?{2aPE1pkdL$4RBLkkkpy$I~$UmpYFYy%Lk|&ONOF`Bd0w zUZ2jEUr+ould!&DpQ);A>#)dPeR|J&1}0wB6;W~qgm`60m@0bt{Ye-b-sP>1P5Ha0 zD)}l4w%{*;gyWWlUr`)lF{gUm=h(-Ly48~1Rp6L^S*7~k5()U<_{XKc()5h)%7DoP z>s+nk9 z-S&+%D*J-bjW(1Y{gJF+>@650BSi`(xa7PS8>8fF2!0`!x!?8C9P!Vmg2+xbKT>X9 zTDmBIL#rj_{N{H^zfo4zB$?Bm{)uuqHAI*%8tc1yXlZR1pSIpy*XmidF=Mie4kzmt6q=2bshTayA$>_iim%^qA?e;kULY7zVDzZHZa6MPm; z=jsZ^Z{8KqWD&nR$O>l5QOGvW$CI^c#!gUw)Awu;RK`fZF7su57iF3tXrV`)CG@BY%NVd2I}!WWwpH~sM?xU@iyxuug=<>Ols=4tP}#N6x$Q_df_zMZg7j6 z!iO%O4jfr4lF;1xL?R@@V;g zGrx$;ht{t-t@07|5^OluIp#X54ZI(h5-==SQ1~d6BH$@p)W3a3?>;6h{}@g!p17HP zC}g*Mdg&#(uC1A-|5dth59WwI#ue=_YnaN!WFfwMSEPdPcP0%An|Q)2GH$z#4CZuJ z_ArXW*r(hOD%bn) zTBl1A89|;cbuHyHzY4`m#)yS=%E~P3CWV3#eR*xUD_W8&-II&|lQ)>we88MBl6g2m zwgLojMZrDQ=0qHCYeLJ0@!t8l!zD_OF0NiXBK9*!a~bz>flR0LJ}Fc)V=6)W!F9rIRjfLOBux$Q@vU}||M+~K7A!io9OZj|Mo2cCK6?Zk z-LgvqVT79MQQIebcn5`hSFR=G)npFC*MXjY5xCBU zF-u@wgh3lx26B;>@s)7c{xK3?Dq>e&r)Pje`DAxgh;40}wcS)cM%H3zOmMUrZxKyh z&uE#zbf||sou%a$Dg4KOSkBgLG*itQ@GMQV;WivFyCwxwpr{w|ga7pL(FabXV~#f- zg+A5;w``sP4rZ1GYlW6z^shU9C|WjM^gc$c`Q2X{afEM2QtmBgl}M_-P7_WXBsOqb z*2V_*p={%ShIY4*sC2^g-n#L+D@P2GC6lE77&-K7vM2s~FY>m3F+IcgOjcqH1F6sQ z0w3*7$wbcgN6`bTjj6#GJ;8bi)jK?TB>naBTACsAT$e^!Cyx4u5C@N9ert0jk4EIr zf$i*xTY!BA)RdV2l!kAe+sw^jYcI!1WKm6z(IvF28<)yWls}oWer)Ai+#Ow0-$Moa z(hIW}qKP3pw^ze|m2Nvx+A!9yTk;zGq+jnW}5KdRD z5wbs!pIvji>3juVtFWd3a^!S=Uhg)?9H~@71aa4LXD|?Q_}bqAEr%{)u>}9(~^MuwUPpyf|Nf z4iC%~Z~znPuC%|(h3j20c+#go7n^;6+KAU@ZYXQ3%4EC=knnNQcfqRG6lu^Lk@WtXRIBFHyK;X8*^^MlOs#Lvfm-%xsH0ak*Hr!4s z>@V?fUR@e{Z>usA)lc#5lM__2nr{3XDOHFHc3%mow=2wcmo#J>ew%kWYE8 zRM=R!Ti|WT#12o*5~Z&#T$Zu{vpsu>s1CDu`W)idn0YgpwJw}Oy9nNyRz!fKzmH+{?doCD<`LV$D>&l-3`oQ_2y=KMwC+~I8~dq!iX zwx$byoG@*7O7YYW4!V#v;OuyGQ>2OkRk`%K)Fn0{jP}^hBnrmP#IhYpTfMKu7~xfY zi}uu&xR+;HfAMvH!sFQHnq7ljU%*)m9an;3La;tD+%%Ff3M>ijm1jO5+})mVucf5n zp3Ds0EmnC~6CeF)O-&Z8q)eooLMOw)8Kbh#?C=NATjm{2olsJcEEa|CS-N&gw5sqm z#pGj3kK3cG#n<*CyEV_|TeL4SB%SKtYWmINw-J%pJcfVILg3Z2d_kyYCwn+QTOtAr z(>4E%fAgZ%qP0qf#FE@hERtlb;(JKqsyRc4wO4r%{azBVd4?aU>OtWUJlK(8en%|m zt-39z(OyL{Tu~mu(bh4T2(#bZ!$?$H+kn`(k2`te!~0;1Dn~Iy^2#M8=e%!%7q~Nb zb~^Wo^yF)PL3}B)#i%sGVxl9mP405WBwB-`e_C%Ip72z3_?35eQv{ZCQtVU;T)Nv+ zlt=@Nt|VKjW;&6m(LpL(Vcf%XFeI%o4_7o8vgjvYBWKmww!_19qmdDroS_Ubzf&{a zU$yp<%uKLc0zTNdcOhI0#Pma4`@bw7Ai7@Mb4aEmBsGnW$SG57)Hv7RK9{*2NW3XO zf9|mFXmYJ*#t1^{Jkk$Z-CATF?PrUBp#)amkaTU7Zo_u-^~){^2T5u{_@qJNjy7w| zcsLO4-*>DDe#h7Uk<(vIsNJ9bg#B?f9%yi zrZ3M;G_aACY~n64uFl^Qv@&`_$sNGrp0UR0&qQr)` zT=Rw%=8?xWEr%6{-oDp0j76Db^!EP*JbnQ)`O@!1RoVo}t9#$Vtdul1gc`2tR*#cN zZ1TMqwhaDYvw$qG2l)e*hv3J zzQEfK`P&KQ7Cw_TUk-V_J#hRO7jPAx?!@}WomLmD$Cy(^lL3cUAFWE@f6d{zP_FdZ z7(T^^$SbM>n$;vF7UKoywR^``spFvw30UHBEC)VZyn|?Iu9c;Pa?+eREDxfPtzKpE z#OGe6$ZP^46J2%mg5opjXHP4d8$1>7Bi2drlf0cIHZhi~F*u^@%C>_gbz15gUZ_A` z(f(uoQ(I&2fGK2+lN}bQe|~(tj1_5P&*#2WsX2Q};rg<+6~D=ptlNUSTqev>>@DWe zvC_aQwwZ+;^wZ9z-yUvQA?cLAR^60D^*qU0C;$Zu!I{!;8Hw57!dnI!`V0Xx{m5aK@ zcGkkU7oe=DTTej*hfvfAzufVAHYJikl!C=pYF3=1<>t0=$z>qPwQL5$R2`1bE)wU* zd*HcO?&gekW{>O}e>=Dr9fsQbR@>(!jvkU8CO)dEXPi&P_GVa8&}uBwoT%t)Y;M(! zWZhGvbw5TB-v>0a23)fufRkwA#n$oVQg5$0Bo-0;nu23JCb)w; zWVA8m=|l)uF~Ko7pGf`_E#K=!Q7<{nM*=!cO@e?tTYOo}G8s4em}qz;_k`p2y0FV` zf#y{n34xQ>spBVBzi)ToQb6xBfv#D3TdRg_TF&vzf7-L|eSe*!8iNlej-EFyoPzNY zE%b?~KV^o*j?Fm8S27|>N@3(&Fi|x2=k=@0<@iPJR;ajQfVc z+Lg9-4eU=#NY1>`mrznH;qy;}cil3aA`Gx~oT=sezoM(MyE14 zl_oO~>-l8+qom>N;3qQ)*f!dc+L=eq4_4~!3brh__~dudvcH`XgO*i2lTUkKYlIo^tjIIBW5H`kWuYH@lN*`y5rQ#LViiLFEw%Jg zF0(>eP9b$uvzkXN(SqjNqPb4X+Lls-OlWpYs-4%O3}7{Q-(;8<(%_~3sL3xFa$nVY z80tVIjGMY!$&41#i{Ups{YUVQO%<~Xe~#h#uS&nsi2aOy1c1100S@pO6N%L&SwMe~c^W@AIhe@bK2 z7?v=dGWxH0S4$~pTt7csFsRcaNRaX0eQ_%e%WU9EN`bvt3ML&3IhK^5SxkgyVR#EuWPkZ}QZwG)-`hBu5*ZqNV}!srK|b4W{0ND1ztl9UnEZ|X!b!E; zaBPHme&$GCPaPFCOm{Emo{6EtIKz{fK^{>|Qt9;KbdL1F9x3+Y%?k+y$Lbtd^6|n^ zMfCgGH%98ZhGn%be~-l2e}^TNXy#(vR}IIUIIKsv;J2-Y-X|8-IIqjxHu3_7I7e>@ ze@z$r9SYR_Ca(tGLwwooCtKKyNcgBGf%a|6A%l$XPVUGq3df9J9KgX}`}{A`q2A%% z+I{aWN(9`C_J6qSz38vG^HjIxORYM)%Y>63QV~=d@-$L&5%3Upe{s3G34DGgmN1B4 z)=044Qe(CSPiD}1_g6rAiO~{oakESG_wc|+-$ZB%6HPa2BX7Us%`DsYR2u`!&U^_f zJ>9~c@&OFlkSWP&mKIAsCSsxVT_n5`m@q_oCRfhsw`xsnhb%hNAsqdt=PJh<-Ssh- zqn`|V=%Dc)b9tE-fBbmnX45)1;+>-BGtB3^O_HDmudp#})RcQj9AqG{cO~$D0ss;J z?t~Yf9~8!zA(8(o$3k7wdPFxF{L~4We*-`)J!A!f$#P}**@j=yX8NC9 zw3JDlRH+y=>PoGpGOVSuBhL{LM%(MM-sXxkk48r$YaFDbf2-jBbtn=KdZ>fBK7>nC zKGvk?9#g)H?VmBOL9gQYlx&ZRSdisrAserYP7SUSO{~}9%_L6df&DIn^3)V z^?Nonv}6(ze|%qQtOqCqlyGP!Xtc&H6~t2-H1+E`hk@_Ox$Ygx7y19GBR|orTbJ6iuK>xVt?=Yr&pa-F#Xn2-noJe0`` z0yYW6X_5+FV7}idGH?W-!1Z+B4=4T(6JKC-B#x?hf9k$i4I{g-R^Wf!phX(qlOw}A z$S4x!*$~cUFYS;J#V@|BX|5)U<$5a=;+%m00GiDH|ECbxTEryRw<#GKB6 z=bU#^NAXE16Z2wvo3lxp6_cCSi9Xyf($>0_cZ4I18DAOL=9(fLood$@tsHzrH7Ufb z;CIEJ-7bcK%vaR^hJ$*T(ufJxWCXdwe})7NTgJR6-^DL1Z?PcvMd8tjeKSvW)vG(n z&E9>5_TOzakG})`3vo@8a95EIx}A1wX-`=FfQFY2_?f;%eRJ_nb{gO?N1de08Bj%k zZE)A>*omh>9FMlhhi_~fTpt!3`TtLB9ZVIGBv4&u?kB(F0Ka-<(pS-4lfHW%f6Z(Z zNtgvl&bnPSj4#d_>KL6kgE#z)SK>b#g49 zH{{8*M@-!{T~lVlh8KMezkr`Tf0RZ4`t^GRF*5@4>0YyKN7Vf-pqt5B);@>cE2RBv zD=vP)1ti>+J{ai8H8pqwv6R{BL-N1j1L9~l|Nrp>%&?)nBe5Fo2(uL`+PwXP^yd3~ zc9^xwf<><|k<0DmH#aurUQ-v1zPv5j|KwVKvsqe~K%SVwZfh zY9(^2L1dAjSCFIgtxCkEi1y}wGL%`*Z?;mjCfHT5qw;h{r z6SMxU8dvkKL8^=LOAVH$e-DbJXp)3+EO&;P>Vrdb{}jIKSbdR71;%7xS<|9lURIQn zs9n5X0?K%=rsenN_hwi`sp90>HGO?=`6VN)DxKWk`}L4RF2hwDHV?oas0|ZmFYCx+ zAn(DUK*z$N5pjFgmSicjP`_S|=iYL)G4=bjzEXOrgZS!0Y9w;O?$Lw6=Dm;ICh+rOb zy3yP-!Ahjbnp{S}9%t!7Yawi7Sz@rWJX_^^5rb&M25)3tSX2+EznK-~9g*p|J2d!c zQ?MbXPnawNm8tg^*wW91S#4u28xJ}Kx?&nKY#2n9Y`|Swf8;il3$|GnKgD6;u(EjK z4jkQkh#B}m8DND68PgbE0q3LwY1fwzGZYW20drWP7VvR(zIiu>JHXGnRzsyB+TINz zl6c5WCuEfpQ?*^_|AOM(x|?`mQ$LQm_W{aKb+i@Z`_2dMvBx*T@>YvvH97Vf9JcSELyY&Q2l^ZBua0|v!Pi&iT%LOhYZxQ^8DVS^qU?^GQMiD_)BkG z+Ack9W!}&AS8DC^0st_T)QKJX1es$q__HQX@K(Q<`s$P;G=3PKoR;wyF{Wm#s(BQH8o#lIm7Un3h`n@CZEAm`zOyOKrv zJn#tTdLK)mhv((vY>&6MF6`a?B;1KikSD#eBvW)3AQKJyL|j-)Cj)OCWASr2am)@_ zQTIm&e-o?pR0DaOu>fyk+#a@xvSrl;xgzo^@ZfLcAE7(^9O8w38>P!NLm$5zco~zK zo>#R>q@0#@DkI#Tf}bY(SlqH6b3%kOVBIlu@Uu7G0Lqi7RA+3iJ9hgqG6ci3h3CUM z3`nXsJoDxc?w1w{ETU;eXTm9$N7FZ#LLNo*e=6pllew<4N0m*yGLP#BBn1xOi7;Z0@-RZVlZIi&!7BBbV$4p{o}_T3T~EGR0t2@K zLWb3%D$`butczzcvmjRfE==0igXn%00EYFNu5S~{2}g!Be0nZ$^ULkAI?&F)ZC@QU zfAfsx>T85X*g74!CNX6*8QHE>iM?@SG*R!1zPSTYs+62 zF}@sFADOc`b8OpW1kN-?e4oSS7-Q!33?1T{OA2Op=r4pIjfE6D+9+XZwf^I#5@m11 zg(3P}p{bgZ8s*)>6(uH1c_zI>hGQ~fe}rp#-`PKmsKF|f@2l{m>d0yv-{V?0eMr3d zIgt`mk3za2V{^gui+Zbcn=77?dn81Ryy8=~SXn!&15yh(m6L$B@cr$>+#qX=;~T`+ z_G~f30!u}nAr(DDYP|uZq+1DEPEVA_6 z*Lu6VRq&MAq(25nBa$mxENy-4htImoZe|l~JHEE5mnE;TS^>S+&E`af^iL~x+^zDp zB{1Mr2mCGp;DdzG^wjBPMnCUsV>H1F!qeEM{2}-+J^gh@b^b3i1(3^>(_lz&Nsun; zKng&H=J}=Zn!CV=jV)pxf4i+hh;x%J!`&QOJw^2~Ph^U((5+A&RwHb5;z3B_f7>0a zOU}dM4B@H3c8X{jLURm@V|^ATsm=xhU1qrG5vR>I5P#}rE!EwR?~BGD{(sEn1;D+r zHa<4gH;i$(Lx}pE6QmvHp0Oaf3Qe0W+NYS2OkwTnLZy|?OJ&Gxe}#&-F;Qn+Yf&0x z2fJh3Fe{9}S_|8O-54w$rYkhH7_3)}+?$%TIvh|B6UOhF0D_CKb~1|dxY>%QDNT2g zol$Ih2R6ju`)S7HhnD7N^V}ItkfujUu|J-Qf7zgBh%i2h9G#)+MTyLO$Y4B<<@zrV zNMAYTxjWlZPFlx&U43TXic5a8L)ejkvgQih6|t1KJ#t zHM-ujBn*__U-M3T*MH1bB?T3Yu*c-VLxq}cn(fUkLb*(1F%tRCA0Ot3t866>n8Ogo zcK`XVP@3u5e_&8>^$??}E}8=oox&%6vu{LPYM=_=aWu7`jwc{_WqdwF;x3Ard_-pU zcPV0rAg#=+!}Oyos-8A1(5tnXFw(4WclB#yDJRgsZXg0ge-z#@dJRTeu>m382@&+f7eHRl+8jPMxaQE=Cnj)oXnm+ zP(dtM5~QEM=u_s%WFVp-QNA0w7>lM856(Wh;{z)ne%ONW2`C7#!;9+6??U_eHd{$89bmWU5e;5s85B0i^Zoqkw@Ri`K&DQF|e;8ms+h?qWqf~%$9o1MT&|v|uGWNr@$DXs? z$z@$N5-42_9ACRR5O>llHu_Auyw8q1Uy(1^1fbAPi(^xHl#yM>e5eA5d$jZA^uhJB zJf_jd)8!j^>G)IugV|uN<#Gh*pq)!dAjX_7y(=(SBoUKMUeq1hY>Y2I0`RJWo~D5Xfhx-GBq-jA>|YU zI5RMp@BsrVf4Buylxr6@jDVDMHv`h$Dc#*jNDe~|Gr$a8(ji^a2+|=S-AYQAq=bZk zAc%DPjULZ?-t+$dTHm*3t(oV(cHBFzy=T@i(d+1Q$=X6~KuS;uoQsc}R~#U(sc*u^ z3*hAy;O6D!$6{hKaD;zzSpo z@QI0uaQ-$2$hv^s9f8&mfTlIv0px{u1az?ciS4?jQgH z06PLf5E#P517Ztu2Ow?-=&Nb~v|T}vzmzrpQs4yqDGq>-o9{pF{#gHV>2=R&u3k&f9KyCn#H_(CS*98VX zf3Be4!rw3=hX6lUs4Kt@kp?Kh(GG<8!19Axdx8LPcMnj2-+v4KeZu171K2tO;Q$+u zy(0wcAMXelWcSw@(SLVGZ-5yuf_{7e-e0f(JeeaHW($RYeg0AZ-C`b1RaqldQ;t6= z|3@e%2lWQ{aq)`*xWt5c0epOX!T=Ewe<47?zy0V~JN}8|zid?@c2I!WU*RI^^moXf ze>lMUXF%8h|MsN?MKBixVEu>a&v=D+frvN0|7W`YHu?W!`7ba3SEB!KL`oiD@NYTm zUkd*pxwVTU*yoQ1g1H`W#1v>k5wigKU)86ezeZORWb5eR^1o75xHV!LWFhtle@1ih z33Bra{)IcjlpMW5wmOb*pu=CR`3pDvHE&=?2uKGCbNsbo5LUdr|06>T8PFNAMPLYO z{uY4{GxYC!6(K;V?XO|u7ZL_oySrQaU?F;qI0*s#_z+WR3-bO=W&jU21PVu(01!C_ z0PLXdSic%8$`9bt`vv_z@gexbe`8|}bcTVgVGjSmyu!a=_x}JwVgMeHi!0m*h8T>$ zL4G~}kNvML2yzFxc_144w*cYO#S!8G`^Q`mzykr<|6Z*BbCW25#~ow`26@9gZ2sH1 z7{a*+a{VlB==ff8X(Z^Jq+e`{r_ytuxM zp{=cVMJJl{M+w21=U@3bXrN~)PrJ!k*;bQ}ywq7JkC>YCr(!?69QS_qJ|}oJT_qom zq}abHcf?gNbanFH9z<&krL>D+C&NRPnIo9&{zF4&H# z*gn7oP;!n>pH2mjlg;bee@A{{LeIDkA2xZ0A5Z9Rmf>NbYB+I+{K7H*Larm0;>u^! zEIxC1W#vQ8K>tgD<3jb`8sX{)A_`((HTt}fdj2yKzq`lfJdXfmVEFd?ZD9{k9w%koMc|l>M^zDR<^+ve-93MOLDXWXYETy zIi?z0r1Rm7?==G8{9aU2S^!#o*QcMFGtknq3lk0GrKVW)z)%5;?Md=WtGKKrK7R8w zNwDbP=ht$=I$&DY5xb{Lw@=alM3hWKI;tpI^iJy@Bab<`&tCUCRvOc#Ku&jCK6DKC zL>@sI4{1oIgACwqf@)5gElQ+kJ5CS4#ZPuyqo;i+sTr)b8 zJhaEs-Qhvu-wwsOJimUbMMtBTrI>nLa*)}YFoS%0!<@RA0j5*>N%|~Eg8*62f$t5i zQl8C^lIn>7jz}<${G~adr1(=0D@GW#r`;?xl*4Xv@%hZ;faUw-mz%lnor-BX`RCy|;{Cpoe#f5jO#uvuE!^^BqNswpjtY)bFop{JgF z+CnjEj;?|O76tB%j3sB@An8aBUZ*o5X`GE6ct=+CQpWV8paKQ7;^L@gESwZW~0&R;1lXij3 ze}1M)XhaI(lT{s-c(vCfpMpG-W;q8K8yFl6OEslW>-VMCQ(W2S!bCiA=gA~L>F~h< zHkI*GWQw$sg)EK)(xMH%)Qj4+MF1#$bW0*bTeaE38gQz3MP|0AnQ+4~!<4a$u9NkA zUlX02*nRbjoU|ZNa9BQlvQ_ApnYkgCe>So=7jXS`i7WSSeabv@REsNgZe@owU zYn&70^{T_g$@+ED;7)yp0*Qp(v|A4gB>iYCS)t=hVL3^HPlcY4Pniar7}c2xbrT&7 z;ZqmoMCLqbV_ZQ2eo<2cLo)d@=^QVpvm9|B+?4~Z$6X;qpEet2KF|79;AoYHAbodW zf?ZX7J<09;$u-(~tOo$i;4|*o9>>Y?qPn z8q-_KzCsOL(TR7bi*dk_lg0@s@gj0nOtywf@y9mx<EPH$R%_XcIDRvz1E7;#9 z6guG?w2-_>aYTzTq6IJge6Zp!tWe`iADLeeW{9#!1#}Ee-}}bH3#3MRqH-^?fHC+*LQO za#vu6WDx8P8`mtP3D=2cZ+Ha)l_!+gm2@F_IWI+$(_X6Zv58=mB{(v~P4<2dVdSM* zxDRfq>@|{h>?S0P_C47V9q9M(E|#+W>EvUO6&KvwXyh`ufBkZu!mV`FUVfM&=_Kj< z!n?Mt2V%Yt+rJn@$*%_S^uYt$lKL|u9+pCB*biQc#SXYn%&NX9fI8I}9;lxac{>%f zabt3#ja_os@YT+}{ej)9nhjRa_^xY;A`pDhq{9V)o^~8}vOJkI>0Cntaed?Cxx|gl z7YUAKR}^~uf6_McM-enW-OpUULW=PoMG4c_o_;cl{WY`=Y389*%ttP*o8W`7;<0Mz zv1mfSx|go~N}OvBJD&v+ZV2~WOjPc8&wd@YhEa6j>4%@Umo7NOVC!)lb0*?%+zcgF ziS6ZrDT;HAd$I}j@qr;Msg?zY;LlaP_f2YUZu>IJkE;J}OKq@)6w<9+Wnqs1T-ArS zuj@58>dfQlezTOvMKqxbj}5tK_gp9)W?WPQ4fA-vTf&(sYr~M^=#%3XY&-4gs`|I?g z?ZUFeew5P22W)*wVaKB3uy>Vx&RNU(Uee#Gl3$2GekepF`)n3F`FnazW$GnmA3 z3zR{^+aSMXZXWV~vNqmd^zx#Mc8c<#mhk7^Vg*Mk5V!hy)02Wg9~PHyuqT;@UxUS5 z=`FjEOLaSz&bC-ew6c{OzOO&be~`jO?k^jA=VabM2ssfjmQpM5m0nahcrK}R8UCQt z27*Hq=jTRdW5O!MuqevD`=V=T%(=`*;1aqKbBVMJczzPCve|=^py0L9dTCzt9J`Y$ zk!0WYm7iiV$#8M+3$NfsiuFtaZblNL^&JOFc+R=6Go!OJqq*RI4GHQIf6%U_;JOCC zT^{vmy3Fy&$&Enn`Ab(iux`z(6y5F2XjGf^G7=uwlLw6_uc!@D+`5#eL{Tm8XJrYJ zyCM5Tx*ySh7P_d%`!V}UJelpzLko5}-ZXO*8J!?)*w1+&dvC_!2`%K{0Y@; ztn)DshIBc<3k6%=$b{W#e{0P_+WJP}rO#v5%^EAFCBF(P{8IW3UD_NTUS`;uck8L$ zj$9>2)vWuA?}}^R&EQi@_S)*yak{S=uNmJ;5>tK-na`2lvy~A5vf-NxR8Xel?#)uq zA~CUR2B=W?Qf7WF&XbV0eZ8LXaLC=YlcJW7*y%1`iGUKnI|>*Mf1`n?9VoM0Y{)-L zZ*yfst!6t%yU($t%OWUbtD9wQz0NLfe59$_hSgXfhT}Hi$=p;kd?CN~ML-LwNy8LY z?`5Fl;g>`T>u8&(z0}Ej!NHYVU0z`L;$@xEnc<}lL%aHTLdo1qgw-s`&bI6%hKhK@n^)^5Dl|5HDUBQL zDuaG4UZI0}7A8|!6u6vNuNaleKBlWEEFK$CO1mDT`%JxTCDvJGQj%;B=@}f5i$ptL zJTFjIU(j)=57cTfYe7{Vw%m()E{}0!KL_t_<@xm;#*mfZ%&P+ z<8FP0(JDX>6Ado}eJSW!*>i#oEq-UaLhBQ#hnk2$ZV>)n!?EZ3UiWE``lqLUIhr%8 z0@CvdapjuF=2zlRDI|yqJn0g{@iQJ8Z%8~0lcP(?r#C2y0&qWS zhLL_lIX5)le|i&|EIDNybN}crS*YP%%yakWns6x}$(jiE&0rgOl&(MvoKAQ@m8^SR z0hp!fvcDwl_T<5{(~E`tA!?0a0~O7R-)O1jp1v( z#Pza%T6&LX=g86RnS5Zqbhlb)J5RC_gRmiYEw9uLe;V>B$FjQaOc*Z(!|+Vyl;nQ! z57^h$gHUg%n)&*C1^uYkt+4hAcfgCh=kWcJAR&UILZgk5@_LRcg5u_?>UXy^A~E%b zu#l`bbL9g*J70$TQqT?ZW95ZzmEG+(4AJ`Vg+>_@B45Tb``0EkcE?}@rmZMfY%Pf9 zz1+hof2cvz^!&2M>O=-F4c%M=;QW{rZ^SA=|ky6;1kEtksq))+FjMHpM#5fd1>W;Lw&@eJ>V@3V?&5vVUT61|KDIN{{ zz|U)+k0&X%rSznDVS*fiW|Dq>Pv-@7B|80@NuR0Mr;{t9Bn>5>=yTG+6WchhX2^bT zpCT8N8#~^=sB;*9Dj{c~o1k5uB5>8se=he(pgzuml%mIPhasD&3e%DJn4n^gF}1MwT%yG@xM82p_s>%*c^3Z-hFM~tF+wX ze=>DBmOj9NivJBx-BVF(Hjz^oMWI%3U#=}v#H5*|8nXHo2VT;+;E5I*G5d_Nf0f5( zbE@}P(@2SAm{;iMIES<97yhSWQg-P9<;?*6$;-Z`QvrBnQ{~UL0;h_Il3ss?(uVER z!^AnP{J|kJk{OK{hkWFC6GD=Dwgsq=h%?FBead5|Aas@FXGok?-sAqKuo{^6L9t5S z6D4(m&8^6Vhhqm0rH@)og(u0wf00}`SEn5Gxt^L5Cg7rstC6!b*Io=umTfJ2X?@A9 zw+2^;M>Ae(3$5vFg?aT_PDU&8#?Y&;3PewiFj#z7vrt7QygHGaAlCZAGQO| zb7wm%!wzQUNA`m^V=%R^e(YNj4r7$MCTIAytd*$>lgX#6-^ru!c-7{*e-NWrE)VN} zWPGE0Lpvp}aawqi)I#c=;f49RtAr+8sbw|$Au~=OL)eyLiqu$yf0Kk2DqcUf=MB>( z-BOK#*#U44&HQ@^2sws9`K2MHQ`}l5T9{AF5!};zR@}o@H;L54)W?$et${5=O2um% zj-B_~5#|fv8t>06!d}Olf5OIZTRDc(ogWwYALc$wRk7-f$1nC%4x?#J>e zU45msz>^j5til}J(9ZUpuAy$?f8dFY<$L|bpk?)Xgm-a;*yizh_5-tQU!RHOSw>V4 zU)3k)S)rGdIq8-YyRMC!iJf3%1TV#0QAH!nyP_s}^v zK}P)31d^I$P$D*Bu3$CbpwZ_d@o7rKMgFN4sUg0o`41@!c-^{B+g^og-+($TJ(xFFzdZamorohE>;;V$yhWq;E%K zGS_j;tzp~^e_A}(m^+-BK+sK^*VFn!-s#6J=EI8>v$q0XIp#4r@%$;3?~>;1M#?Vx zAuL;#9hjOPDxFx``<7iURXtSN0X*%Tzr{_M!Rgnl%(_J?nS zRQh!YwG=2!-e~OVRyO2kACMlAQpcP|=Ip(O=}p-_e~>JHKOO$V;@M+U72Eit&u3E- zSWOBw{T!wdNU6iRHX|asQ%mpbv|2|?S9Ee8OK*z4DxXbJ;=H1!>78cnxcHi%a`etq z>LXL3;dSY$*jVM_tX2`xsshyvu8_gGDaWVXY^ZZR2YqhVNBck!4@-kSW8E@;9?X4) zS$+0!f2GBkY0@lh6BS=0zb0=WF0yG};$x>Qd^hFWBXt#ks=S$=C9|$i7eDQ@2EKRg z?0E;nmWCIPm2l>U#2;>mcSjzIAsHQxASa~Uis+W_Pc8aWsY#Nt`nsjA)~;o zK%@V>;H`|Qdt_5B$2QpX+Md@h5uP2PSZrOqxkFgsczg!l?Ow_(Ee`Ys_$-+?$g#*0JL6hHE$+yw~Zk6cefft2RStRscVRDi_}rGe`%x}6%g8PQUMk2PtF zX%k55GU&2tZfQRhjo(X<-v)hZS+(d(F{cpUz7lyV^0!i@fpvJaadYR-j*LGf3>Y* zvWE87YBXi~y-0rfjT9=R&e+;3bze09m96FG8ND`eybiNDzusoC@hMsP>s9Prn?S<- z8ov9)kwecXHBe-jvLV8K%k~A8>y4>4f9mXl+`(szMYi;|QW1)M9ETQFis9>}cp(ZmtS0We zP!4yhvxmSUy|M}38$jf)fGwI^*?CqgUA`aok(2{cQn@`CA23f0rR4S1Ngf zaH;b0S!Uxvb-TwY-q(0YSVVqYsSW{cx&=6%R)aJ=_gRIROwj_~6YqL`&N9%Df+g1y zR#h>iR>-KM_ujtx()dCDgPWt1ep=%r>>Tn`@qR(|j9i#g znXTlc8fl5bhB(TEpxp7Rf0>FDL2{FMzgN{0+t*|3D3DS1hzp#M9vqCOLH*}5K~tPU zVYjmD39(3zpe3Tr#r4Zjg`%>UyIsr{I$m7-T{*q^;pHA0r$L!Ouc4#*v>{_zzbp9e z)QAjMib*&@D6v!69e)gAZ-=t80jb2I^@C|o?k52;D|ha_C#tMcf8O3%yW%_Jyr<2m zcN5B@X6SO^C{@|MQs>TF?{iR~JRTkE#Ea8vRi`}!_%|_fP4SU}8XY*eZM9nVL51i< zR@cM_rRs{ge%Og?xcVM1`mIZ<6PLr!K!I@*vmdT}^p?-ro19Lmv&v|?Nus#4hs|jg zvqC&K->@m@l!$G1f9B>|A?d5Dq_!tl9KA8J^ExffuSQb23}A>yxq+%5jT?73|UNYR)@tm>AOeD{Vr0{WX^BrEdw`exk&-R3%yylb7(q z>`60v=4$jnl;t5UEUyNuM>^OkkNyu3?lZuL z9XJBF9XJCh6A&{o3NK7$ZfA68G9WQEHZ+qV-5Exf~62ja`gyS*?DpjRYQ6Q;;f`7?{&K8zHh2SE< zg%z+o3g!b%%U~%ag~wZ?kj+4l2vLj~0x1a(O&DU#o+#fPlS*L}SCBRJ zc_4C_N6cMK9bc{(#Z+j_dr5$xe1WD7zEVbAjv|pt*vDfWL#W6fbwU^iEEum9HW4uV1Izim2h0lKMkKsWI7%2 z5grc0VIhK&KSn3iuwYCk_Af`G!D<>oKRTdkeji?;1jG0kDp7xgkFJ=y(ud>j=l9Kc z%O8wxZdf#kv0|}+l{JIlDbtz>?1@L*r*SwCGG50&e0@*>25iU5CFbXc5gG0m(xS~SIhw&i_HWCfDwN?07$>lBq-50aNj{!ZE+@`rbfrWw@8!`Oh2dzJM{fE9<2j~8l%-S-9CbBT zSv{&}SnJlj%;+br?C_i&^>|s5yVGDF^OsF`T+cOjZW?@`_mpvP1y**MC8SSx2>};ZT-&Qh#MiqItNYE^x8e zpOMGTKDp4Oy!EyrF|s|pY2UD6Qo*ZWU){q?O_nY;aArm}h!9ZodTwn5gX`8{VfA6$1`n_MmSZb~Ru zr&sq?6}J8Qd(&^1vQ0`Cvg@wwOTjIE=nRPWzT5hGWtcXO%|17<=HQQ##!##}e0ie3 zeSd*X{jts`p@bW*b3?HGRnz9P8a^XAIpvfMcxUEE z?TOxTdJ8jBgcY!=L^;EuEoDC*S0-67pH1WBYdgL@#hEeBXaDKnBEo94GH$el>3_z( zzgRI>2c&3nVu|9|}c-ZQ;($iEA&P2psR@Y1r3c#DqBO|R@#O|S_r zS;w)8za877wsbq+BF^rpSgpk^(BEb)z9XbL)lTfHa!pi|8r2!ct>a{mCJW*7i`oSy zYl3I*EM|tfT(6T>Y<||^Sf+@H?@Zcwwqm5|MV>xoXzRSZi$Qf_YFzP6kAJsqU-%Bc z`{VBN8pg^ZFJ@WRi9@rNEPq<@3fg$nSxKutz50my3vtjja*46s-sE`G&5?;q9uId= zq$Vf%elre`@@};_Jy>+<%GF)Qg?~wWGw+2Y(Xh zu1^)8>)mL5g;p`s^gh%J?o9>qqA50&GQe3{8`RlC4XAwQj%VBEfI}x z(UG-2G`psCtS#PPLcxgTgwEG>4RPs#>w^k=f{R|37RB2ZO^5FXZG1khE?{4!TjP|~ zF~71iXAHK^ahkdK7Gzl9_HKW-j$iuzWs?#oC2x*Rf182dcsj@U1S|2#JXT04-zM4p zh;H>!s)e;h?-!;c6Myl0Ww9qFA_i+`cjTMutLCjeZY%zIx?9+(fCBsOnlBT7COekv z7~F`cgYFI0a(RV*pn)_st#IbEZNUe4O@fJUYA4z?XDt#Qxk?)DTUgyXlBMTP5eWYb zX0Gsivvck2V?DV3hQb9aW+lHYP1wY6sz~)JNcn6}!)q2PsDI;eM9tMuU(6@}jP180 z?dLE5@>#M=#GuIq8ksb+d7)xe@pq3;RHnx0 z1-q^9G;H_f&tO6&w^^qJ7uRv183V&B0=~gRJCp(%uwCi`7&w0>ek*X7Y zwY6wNqu_hGcIbUMzSE^xD`@`WSz)S?#*h>whI&zPZwhXB-{ijmL~Fs%mqC~V6Spc< z11)C*HZnGsTDt=v12!@?mwmefwhlE4FHB`_XLM*FG&M3XmqEM(Dt}v3BS*4+=U4RO z*>DV9_e+FhBL-%e!E?i0<{Eww&@kEs2}{B|KEM9tm(?v*cdG$m!m$r0Y)Yl-tg6f} zv+`1s#ulP5MHGedg$}k*t}vduvhdOrS`{-YSp(ys3)vV02k+mAli) zqM9t`g(E9I+$s;N`Sf;nR?W$zdEi}jJ|68%e-z&Y4S$dskk-_1TQq$}^9tGmWdHmp zRxW6{tLg0MW^`7O4buZ`vshHK30XG3efeYY>S!@qRE6Y$t#XezD1QFADEH{7_(Ziw z{D!(~p@Gx|nxYvFki70g-E|*lMK^tDs_8qZDfP*2rEAty&|}@l`KtR+ShFwLv1;}u z+gHuL4u9vZp;5pceZrzVm`%@)szvdQ0C=%il*iSNMe$n=(|QG{(A9u)f4d4=$PA#J zOWi^~Lpaw$j$WqBTsbT7Xx!q|`~@Jj>H?|7-wtF8ybPq=+=c)ncdqpsQ_WGzLCsCI zrJNPm%k%VDOndG@|NZ_UmwyP~)-lhp$Z^l{Qhx}EYcL(sM{czlzWMoB8E{8^5#GD* z2RQJj(T(ZZyZP_2_ZE(sZq}dpj_t3vlm*#%vo(mh?8oa2K{UjTs}U)y{5vdUaB6 zBY%h5tkqW1UU?g}r9G?<+rDnoNQiD5Nt4*7%*zYnhVqncBvxUYa+U z{5xeZuCR``dK>9d6icFdXmKJ5XEa5$H5wG6o*0GjU zd0SIDN64o(gaCzci^F2ACGDp+QLv~=k&5d!V>0dLBh0{A2RxO7Re4F;wu&hwTVyob zocYsJ%dJc6pl%2e_N4@yC>aVZ5Mh=sf({rfFtUDMi+6jvY6b8u7^bSMq(0}g-cr)RyER(}XlZAT7> z0@h>MhMeX&1N^9X$B5>Tq~JnANaL&#!GVDirbsgh&ya#vA`$F;SYe(Nh8P5&6P$oD zgk*nYSk(as#KXZz;SI0vpl2`Hu?3b~Ay8(mlp1T-FD5M_BfC!psU^G`oFI)*QfA54 zkpwuVPi?fYnAB>P7=a8oFn_l97aUtu(ph8+)DR^^Q_qlsW4e?~nZ}z{NrQsDChrC6 z)XS-i!K$g{9rG19)~EhD?uP#A*-I{JZpr3l-KLQw9kL7A$Q2}1M^;NZP&kcHDe0Pg zmC=q-U|k6y=Aujq3tm7H*i=)lllpoz{XOhpqRMe)_*fziF23ryHZ)( zXfx@i?vu&MOq*#m*Rd0BIg)fy&sZi805Rdakyy4_TM9siB zdCNz^118TYqw}!VK>Q+$gPe5UVY8u5-`L;dXrz3O-BqBiaAv?%(41RRD93#uk4xmk z$N~cQIgIfxUULkz9DhYfj}m7+Z>3-@)h|ZFd$8xRIQ`&EaS}*g3BH3*86q|(FB0cc zJIP6QQ1DBNWG4gQzSR<}_xcZMYlhOaO(#ES>H1~(NxpacNo#6*%$W$w;`WY7ip(D& zJy%68Wr9 Kh7ixp`ch*2&viHA1oz<@$t2k^y@P%n0C~9e+iWI+5BVyAiE9iL{*5 zC{7tI%V%-e96JyXlc|qGTA5d<`{ZzN*)2GT`_;bO!nL#p5~evA{eBB7Uf6h!t65)j z)|%7QV5f1i_|U);AWEXi=@X5Sh?Pc0ZgsN@ynshefD#cNz-adGhG!;86b`UUUP=%HpReM0)Itz2k+q62-anzDl58dR>eHzPu)|nSuHpk(3s^SR~=~>k^c(0?J?i|L?(nK#X;sm&b52x^9!L>QtSsv1r)ps-Dbi zDZG!IQAi;BuhWc^Hg zJlfK!TCGv5!nUash31q~r(8KHBzu|!Nd45VYy$291p(o~m}tMaP%K& z;n-|q%5$;AGx71Tt;0Ou*hy)0J>IO%F*3+{$A3hf`YS5K?@dOLt+4Ff&EZ4Zdc}-0 zmO#ro4^jL+$?B<&3yqvyiXi|XVdtWV?*@ZshbkjW7y<%hx+$cz2bp;yz~xlrs@~T9 zpbbYs0y=9G!SL`o&ZoVedAOlApp2|qGq73Qklkwnw z9rjlr6XC;|7uEc1HojR*XX(S5_oHii^5yf#=P#fCwEJ%7vlR5;YIHd-OrqG~&wq=a zSywz$@W2vZ^04H#%IEVld}`z(QSOdzURUGG@ANjftrFYd*)xfU`-{=l`0V-Q@~SFm z`J+X3{Sp3XtNdI~B9};Od>_s5sm%YBFUq&&L3vmnmB;0$a#Ws{XXSZWmDS{YH2+>+ zlo#Xjvix3t|MTX1H7UpCzssxgx__LM)AFXgsb=HpdHH)eE9d2+yen=41J}{6bh};b#}^mn&A9v{7u}0ZME~^hm!nVnN%R40 z(6SL-xhE3c*+J2dbKzQYsZHcMIXv0B~>pm!Hl?XaBAiSJlO$>Cdnld$FtOB=cp}H9P$3_uJ7G92VDGtJ!>f34b@8REP-pdIN9Ay|h^!CT^~7=YJF{e!rbAs`Jw; zrfS|KLVlOJaGvw(dYsstkAIZ&EAY1{7vE=9RWANBUB#R7f2-NFrP+-LE04`tXMmsSgUizinfbMK{yEx%>ex|LEeojtuPxla;(QkpN>AggT!v& zoHnK`qka-o4tmg(lYe|$rB0Y1qgCzuSNQasMkJ zaP(!!1FKj(i;lw!vU|J2fB<=1crjuSg~RfcTx#-5r=uCU(0`l7pYv+b+yvA z-lV!5EymMHqMlV3SJjXC?J1~lCp6xIWwZS7^TGb{FAR%ai;ALTBI3(n{Jrofp8ym) zY#KMS@pbDY$BjJGFK>=cPF}J!1Fp$H8hle+@kfqNA&uHVnvML@!RMV*fp^&w#3=U2YveW#rv>s>-bqI?)9wK`E7$jzqrBx4WH!UpR4xRI0k zvcJ3kexE_UFG4GKPYsKN|6!GZyF2H|#i5*i6L~(oJb(H6;fUo4_t{K*vPws9BF{#S z>g~tFudk6n9Ul)?Hzbe7hoPP%$lR`zvLz1QF2zwwZC=}q>N}_lP7MFGOnqz9ZH%&G zkWy^s%k~d;-@g6n-O1r>fJ z$KTH18_(to@LJ$r>FsFwhSc(De7^WT#}D+F^nZAIGNCH;yuxqb*6ZRfe!3T$9e(0H z{D>t#PWSndoAcAXO>FbyWtSgibADu4@gw^DsLlE5Uh#GK(OrIU@Rs}pvtq~e+0mP` z)47@JaAWV}hFtE-dTgH^vpGAR3$+eA{vLMhiXGo)$3B9c_7zx%oxUy0mMv$>Qhj#Z z=6~#T?rqxagq|te&|*if*jb}2zd1YYOO*~cJwry8zE)RejjqDx+_bMmI^6UO8Nq4E zja_*iyTHgCwDIrI{ftPxXn%mPTvKp$GGHn0pI2( z_RQGiW^7gt+4QYgJ;EV(3h)j$`oY}v!+)oGgg@>S&>e2rN4Vl{)!N~vXT#bII6vF>#p)5hxKrS@*}*>r(2Wg35Ba|}+IoaH?o?=9 zhV%vu^?jgvghTF@SY3|#KG_Y$E7@o05l*>V0d*O=+b@SK+3EA6ALEvL#Y>l?eny6& zTNvS8qqLf~sW0%4OZ1prK{GHhGc!gtHa0^>MKm=-G(|QsL@_}@Ff%?~3NK7$ZfA68 zATv2PAeZq011Ntb&`(GcU>L{o=l8x=mZfE@wpli3%StO9fAU(gCGPG%CjfEbr8D5juM6kFZ%qRT|Ru@=Y{uuc|}C_oJjBp zsUb%Rh(M%HSog>sk|r7QklZGHWRP@|E^?RLC%xnW876;OG6MfAY$uNrPaLGS*=9ZD z0I7n6)@?RG4v~Y9wt~(2$q>nr!=xILd1|}ING+)&$H@tjBK71X36N9dG&w_pBt*ib zft)4hNFzBN4}DYoVU6Lmmajb4mUAx)eiTfY}EnxuF)zE_pS1R8*t^U)lK-S zHLC=Cv~o%ket5v@7W`!8Rh{rJcLjc?U3ryPUO!XbPAju-ltMw7TTzPtl=m^^<0ECE zsC;^&d`>D~YLu^kl*MJ``+sFAt}H)Semqu6+jb4*82rzGE;l-4A9F@Wm+`s-6PHfV S0}Bi_Ff=hY3MC~)Peuxt363rR diff --git a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.tex b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.tex index 28d6ee6..70cb62f 100644 --- a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.tex +++ b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.tex @@ -36,49 +36,39 @@ $H_{d-1}$ edges). \begin{center} \begin{tikzpicture}[scale=0.95] - \begin{scope}[on background layer] - % Y (outside H_{d-1}): light yellow - \fill[yellow!22] (-4.4, -3.0) rectangle (4.4, 3.0); - % X (between H_{d-1} and H_d): light cyan - \fill[cyan!18] (0, 0) circle (2.4); - % A (inside H_d): white - \fill[white] (0, 0) circle (1.0); - \end{scope} \draw[blue, very thick] (0, 0) circle (2.4); \draw[orange!90!black, very thick] (0, 0) circle (1.0); - % Mark "face B = X ∪ Y" with a dashed red boundary just outside H_d - \draw[red, thick, dashed] (0, 0) circle (1.08); - \node[orange!90!black] at (0, 0) {\small $A$}; - \node[blue] at (1.05, 2.25) {\small $H_{d-1}$}; - \node[orange!90!black] at (-1.05, -0.45) {\small $H_d$}; - \node[fill=cyan!18, inner sep=1pt] at (1.6, 1.35) {\small face $X$ of $H_{d-1}$}; - \node[fill=yellow!22, inner sep=1pt] at (3.2, 2.55) {\small face $Y$ of $H_{d-1}$}; - \node[red] at (-2.95, 1.45) {\small face $B$ of $H_d$}; - \node[red] at (-2.95, 1.15) {\small (= everything}; - \node[red] at (-2.95, 0.85) {\small outside red dashed)}; - \draw[->, red, thick] (-1.95, 1.0) -- (-1.15, 1.0); - \draw[->, red, thick] (-1.95, 1.0) .. controls (-2.3, 1.6) and (-3.1, 2.4) .. (-3.5, 2.7); + \begin{scope}[on background layer] + \fill[red!10] (-4.2, -3.0) rectangle (4.2, 3.0); + \fill[white] (0, 0) circle (1.0); + \end{scope} + \node[blue] at (-1.05, 2.25) {\small $H_{d-1}$}; + \node[orange!90!black] at (-0.75, -0.55) {\small $H_d$}; + \node[blue, fill=white, inner sep=1.5pt] at (0, 0.4) {\small face $A$}; + \node[blue, fill=white, inner sep=1.5pt] at (0, -0.0) {\small (high-side)}; + \node[red] at (-3.4, 0.2) {\small face $B$ of $H_d$}; + \node[red] at (-3.4, -0.1) {\small (low-side)}; + \node[gray] at (2.3, 0.0) {\small face $X$ of $H_{d-1}$}; + \node[gray] at (2.3, -0.3) {\small (between cycles)}; + \node[gray] at (3.1, 2.45) {\small face $Y$ of $H_{d-1}$}; + \node[gray] at (3.1, 2.15) {\small (outside)}; + \draw[->, gray, thick] (2.45, 2.25) -- (2.0, 1.85); + \draw[->, gray, thick] (1.8, 0.0) -- (1.55, -0.0); \end{tikzpicture} \end{center} -Here face $B$ of $H_d$ (low-side) is \emph{everything outside the -dashed red boundary} --- i.e.\ the union of the cyan annulus and the -exterior yellow region. This is a single connected face of -$\mathbb{R}^2 \setminus H_d$ (the red boundary is just the inner -edge of $H_d$; from $B$'s perspective there is no separating curve -out at $H_{d-1}$). - -But the two \emph{faces of $H_{d-1}$} are distinct regions: +The red region is face $B$ (low-side of $H_d$): a single connected +region of $\mathbb{R}^2 \setminus H_d$. But $B$ is split by the +$H_{d-1}$ cycle into: \begin{itemize} -\item Face $X$ of $H_{d-1}$: the cyan annulus between $H_d$ and - $H_{d-1}$. It is a proper subset of $B$ (the yellow exterior - lies outside $X$). -\item Face $Y$ of $H_{d-1}$: the yellow exterior region. Also a - proper subset of $B$ (the cyan annulus lies outside $Y$). +\item Face $X$ of $H_{d-1}$: the annular region between $H_d$ + and $H_{d-1}$. +\item Face $Y$ of $H_{d-1}$: the exterior of $H_{d-1}$ (where the + pendants live). \end{itemize} -So $X \subsetneq B$ and $Y \subsetneq B$, but $B \not\subseteq X$ -and $B \not\subseteq Y$. Neither $X$ nor $Y$ contains all of $B$, -so $B$ has no unique parent face in $H_{d-1}$. This is the +Neither $X$ nor $Y$ contains \emph{all} of $B$ --- they each contain +a piece. If we tried to make $B$ a child of some unique +$H_{d-1}$ face in the tree, no such parent exists. This is the ``uniqueness step'' that fails for low-side faces. By contrast, face $A$ (high-side, inside the inner cycle) sits