From 2bbd863643f49b463475161228f5991a77d92c77 Mon Sep 17 00:00:00 2001 From: didericis Date: Mon, 1 Jun 2026 00:18:04 -0400 Subject: [PATCH] coloring_nested_tire_graphs: rename induced tire graph C -> T_{C'} In the tire-component lemma the induced subgraph that becomes the tire graph was named C, clashing with C used everywhere else for cycles (seam cycles C_T, cycle graphs C_n, the seam cycle C in Def 1.16). Rename it to T_{C'} throughout the lemma statement, its proof, and the degenerate-boundary remark, so C/C'/C_T are uniformly reserved for cycles and components. Co-Authored-By: Claude Opus 4.8 --- papers/coloring_nested_tire_graphs/paper.log | 6 +++--- papers/coloring_nested_tire_graphs/paper.pdf | Bin 929392 -> 929386 bytes papers/coloring_nested_tire_graphs/paper.tex | 16 ++++++++-------- 3 files changed, 11 insertions(+), 11 deletions(-) diff --git a/papers/coloring_nested_tire_graphs/paper.log b/papers/coloring_nested_tire_graphs/paper.log index 342465f..0b45a28 100644 --- a/papers/coloring_nested_tire_graphs/paper.log +++ b/papers/coloring_nested_tire_graphs/paper.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) 29 MAY 2026 23:25 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 1 JUN 2026 00:17 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -546,7 +546,7 @@ mr/m/it/10 has $\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 V\OT1/cmr/m/n/10 (\OML/cmm/m Here is how much of TeX's memory you used: 14062 strings out of 478268 279636 string characters out of 5846347 - 565983 words of memory out of 5000000 + 566981 words of memory out of 5000000 31885 multiletter control sequences out of 15000+600000 478218 words of font info for 62 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 @@ -576,7 +576,7 @@ ve/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on paper.pdf (16 pages, 929392 bytes). +Output written on paper.pdf (16 pages, 929386 bytes). PDF statistics: 192 PDF objects out of 1000 (max. 8388607) 116 compressed objects within 2 object streams diff --git a/papers/coloring_nested_tire_graphs/paper.pdf b/papers/coloring_nested_tire_graphs/paper.pdf index e785cfdb101569d8b49694498c629f810887888b..89a1c479397602c1d9fb03176be7d3dc547c7354 100644 GIT binary patch delta 16298 zcmai)LvY{?ki}!$#>BQYv5kp2$;7t)v2B|Z+qONiZCm?Q?O~65_#IwVAG`X!det`@ z+-DoyenFr?U_s!G5KzkCtUPR~@r{Voz@_fF9lm73cTSJUb98@3*JsWt1Qg>mOTNb-xOfm9KcIRF#Utv%Cu)r^jTItQuDVW!(c=ACUSYZ zv;FO8MhMo;D4kBt!@iC_akEL=Ep157!!e$hW3TY67YT#4v8|bu%Ye zAshGl&7kXwo9phjE}i9F&$=z(>ip2CH1d5D+B$z2wzpNC)t16fL83qDBkr58J3&Dn zr^Nkx`0v_2AGT95N8+9_BLutQz`(Onudhu1bo26y&SZuwu`PS1cthp;X>Z}VrSeFq zubDl38H(*i#X9fC+Q2WL#L&dJ4OVr6T!=rxs+;&1j<(r3K7d<`uQ?~cm4E8GG#KBw zK5L`LU|&X8APb5ZQEyjERwcKhz!r%>n&!&exr71^-dy+e!{e08mb*!*lHPe)Z#ixX zkJa?~gNqSyZdn(1nt*AqApNF3hzL?)rT2~g8rufF)%5d*Auc?%!AIwEO^TAOW6Q>l zCV+aZ^-K~cl_pUXQI#5C3y?C7qiE1Ag@E-o;_YS@Fi6W`LYTrmH+CQS0PRC|spDbS;YODO4ovPpZWVvTg?WC0?*H>lzY3V3svV~55Ev;T8>M1>y z%SL9+^&Jaw%wzVOrIx64Wx4obox?Z*HITp_RM%EK3yTU0!IJyQ>WY+c+-~fJ zli^L;8u*Gf3_ihr18);tLjr3iHO)!y&)y5#L#W5*C3}xB<9Ama_cyD3Yq;*UTnQl0 zvzL>RRA$zr8;DZJg`{ZH&Ui-u#GgwyC5usHkD1&`1h=A>*5-a8u_yzZI8Jp?x5IJ} zS7zG3Hd_ygWM~5TDMp9$_7w3!)x4PU1cm}F`$De&rp!M%L0Tc-kYabDw;PHX$inG+ zp9+;drdBHban!Mv$X>=iL&Z?@-}wDr@k4)C)$%7?kb5PJB$gfjD}dTr=->8`-#%Ir z;=OQAaGQm}k7F;4#J!AwmLabX78r(g2fC_aVV9RAVy*#%MjEDk6k25{H#Nr!(-GNA zr^Pgp?SGziQ-Gqfz3J*$$E?y9PBl43iGOOgoo#o*CI!i5$lPvKdbIV6 zyFn@MLY|R!gtyI;b^wD)0{0ag_}F5yH+QMqyjUj$E4&;wp}QP?j0&@QH)?KQXU5p9sV_myL|5)>Xd&25MnoVWKALn%%UQj^j3BaAiUSBsa z z%ck=hihB)Os{}b(mUuVL`RO~mS9d3tHfg)BY;bfdnW&(^vq15pQrnn&C@={7nG#p% zX)Jyli`&(H3y)*roH$!h>PE5nOANQGrN5Gg!4RH;<5})@4!{YWzlnAY%ihp6Kj+xO ze`5h}zqO})Ed@=l$|^y* zV-GSoIc11Une5|Q8MzMwF_T#a>0?3m0Uty%mE;Ro3!snZ)Yl~~GX zuXPYOL28AGJNI4O{U+;r3@ZD9CCW~=S$zQHva4iZL>4HCU3#7%3}9p#WrN zTaRmXD)zRXXHi1U0F}6D7WkheY}qwbVZ{P<)>ltO2}s_*(=~=3l!OiZQkk@1w;!#{ zA1+MxFBx?`SmGNp?v|qD^agUJ6s3T`n^KfA9gj;7Xb`pDE`t0L@CUB8y9ii!{^MD- z^ynp37q6c1JBvkxqH>#nMx_BL2Aj>4wI#SV_z4c%Ww8cwxD#%8#MjA+ULce@%&H2UWmVLe z_fKrF6H;|%A!XpSjvw7#%JNQ9$oe!t0+KY%7=qb5B{SI=j){|Ik9=(*mbGJ3X6n~? zYEC5xq!y-d^R<2V=Xy%9MGPP^{K$)Y4Px2=k7c${h{dFBgE{;;j|2Yv{513))5w5@-Ju1lLXv5vRlEBY3xK*Xju4 zrz`lz*?}X`sD)pKZBV0Xd=o;8^!VzGP0}?IUf-dYnsk|R#U^<8E5d&B@_P-8BtCn> zm}tQIwCT(o0dF}j7rO&@A6lkhr5{-VNST8i!fikL+O3loC^z=!KoEfWaivO*j~lSG zGlrl%1S>|T>wyw@$PSa_(nS0=5~O&T!|B`-$^A3N=Bm^>nzPH zz4pMAyEn$+N4Up|AvF$?!fZxpi~G>`FRsB+?vrIp}d#zrVAabmX6 zifRM*;-@}0A{<0N;R}Fc)?gz?Ud_L=ezAB`kaBNyP@cHwW&g@1?8D*kyLgFSCZ2nS zh10Vn&YW4HatZ4Vw4nAbiBS9Pn@<+(YLBjXz3uHV@YU7{4%dWnd>f;@N7Km`5eT;# zIg|?_Z={-`dXXFt!x7$$y0W+CNjX>l2dxUKQqV}t9hM=-LKBdyW**^P@(Y$RSPw;o z=qQ-mBGobBA7Xpq4~IqpheWAh$rXty$SC{bdsgw^R;&8PEKE$QtIs1FN^2OI<4%W? ztp_=U(c5X@=f&_N*tingl$0zi69vyM+n1t>!&Fj0;`^WqZ7ubn3TGG%uN9sda+=oz zP~}moi|X6Z`haxY4V?AK&kM$Z`u|*10AzFUk(sfb>F}aN!c2^?F(w|vhGK8>M!Uo6 z@6^=i8nitM>aT3#Q{shioMs4lC0`0|I51n6650&;(0EA9z3WaaX z2tjn`bV)R9xb&SHLKq(Mf;pfRx>+L%ta_#T7-`vps&khxY}C5<#t#;)q51P}V=kaH@5Kt+)hD+8^%ohtky!ZB;B4g7ulL{goAfvuv`sV7q|~1iOAKHYMsSRc;pg^B4&&!9=;7A zY!%WP{l^R%76G#w!=`Rr9V%x_I9*#Sdy60MDrW-4N z!6*`Puz-!Kq-4to)9E?LxkijCH8FM(J;>wEw`${wVKCpFLBx#|#uu*%QrPg#Sd?@e z2h_h56!F{ZMJ!aqOJ6e9?R3r1uDg~)!bY-zLHhamsbLjGd2gYD^t9 zZ#5?QFv?OwZC{R9sDt@7;Hbpbj7@crS6%<6UB9=RjQVj|JdF#&_I`v`iCp6DhYJCt zdbwXbv)22EbkjA|E2q%SEeHu+UBUUWW&3;!2hNPA zdp7ihwe7WS?R`hje`_CHT_NgvQnbQtg8 zCgYGmtoWkt;27sRF#RjN9p5fdk}hSSTw`*FklN7mmZcT2Qq1J-AtB~K9so^W@Z+y@ zY3dRABIZmB=NqzCCbqB&6$(;`1AsAu&KzHQfxhFY{+n+961~K$h!f_!XCNUKR&o{A zK;iMQHJtdcBsDuyVzE9ean;rMexC>Aag}gFqr{>8k9!d8fvw z?}1YkE(*W;K-?I^y9&~Fm^Bgzayt>2F+_jyDIUM9DXhTQNOd`pGUm_`A>gh~2fKm# zbQb$hMDIT*_15zGAA0phR+S~PCQu0Se^slJRyauVfXl0YB29 ztcP&Y=Aq><0>``%KagCmG_ev@P6?^6^V(Q`nD1Tr_M=g|I=pyvpjB~caJY4baxQF_bTJurzid3|>k3VAgXQ z8CpRgWNi$?*gg@+^1q4K?y74M=U3Yn#0Yq~pHaK=NB%HBgMebx!SQ1dH3ZON%ewWe z@|z?Gf4ap)j4g=!;g+MerGBY4p_V;Jimw?&ZA!~sahhv1yvGHrL(3Cb&ICaQu((XO}LStQx|51g53oSl0_ z3yeh1Jcm!?Y9NWFfr?;RiFsOmhG(b_{LhE_^4E;>Cf$C?OV4EZv4vXd@L;iOqvhbD z|Gsw$&N-~0Xatga(vSWu!Psg&j*c>6P*7}^ED1lUp$Jeh-y%NRP{#&oXRfdnW$0<5 z^}7Dc2DRm`A}gg!Bht?zzfDQlcfV;76fRjJf**Zn$iRCCSJB=t#z<)&-6cM>pML*{ zo>D_lm5TE#aUw(l&XcrwOT78^XneM0z=@a(ohpV^ zY0_!NSpWy85fMti)rBAo$+)8YGAED8VGIjluC=uOdCp;G0ly~v`Kxf}?}?l6hIDTh z3W;LYoG%l%tBC#_BL%Hd$S zCMWTCacZ;?0sS?y5!P(cc${n&g5n z@`!=nLes4`^EB0>d4k2OmJ;F2zN1OcnnKE~Zf?P7!p0=ph>J&a(#R(yzt?QKW9R*A z8}JnXzDb@#2jOG}GVI-Vvw|B_@hnTV0cjLNq>B|}fU|<^XMF?HI@2;-%a{YvpdT9P z+Ej6F&l3^D$L5j)(@w9rR)Bk|m25W`w9>%ld_bsr)yRK+!F7Mqu$^PeG=-u){CC?% z2=e(&h(NBHU*=m!NGrk+8{q7lT~VTqlBLVqXoDKEO1* z&_@;NO)LJ>Nqn@c5BmdU07|*lVODAv8ry)Fupkm~@H%6~(bW%k13;g^8!kOvbn#=( z@A2$<1P?#{5rQ%4>xHm=Fa4n49L&gStFfytarD9gM~Pg&;(LKoC%jcGoZ?7=YA1(} zSqg0$uceNjXO65JZ+lj6nA*zP4up?>eLQcrz+d$o>w|{7xx6<>-@JkPLnWLW{|8i; z@|f4wlMDW6s^QzuAKO?ZiLed}U$Qwa_E`mn&$eXph5blMlr9(T+r%~9uLc!^J*1%tZW#Kr7L984GmV)_#*A@d#I@%}1v`MT$IK*!Qf&4PoA>-yT3TD5ro zLIPI@4_>b#GZ)UKBk!N3YUk_iyU-?MYy8l;(3Yb%@Ufgpyxsk}JJTZ6^F6^uKKUBj z61A~1Pg`Oy;@Du=*|<2iSd5)HA~dK9*k07<|?~w-pq~4KO;GVudM>!&^jU% z47!gk)mrlox*fvfcGFTYpLN}b-h(%wSBTSV5`N{ZidM#xW#CwcWKn|*VUj_ z79-aVNN4;z_5B8#YilvrdvVhdYUZw}$KbHY+h9-WLIZjJ>q!)+U!qr|n3D@$8;An>atVNQN5JTs^`^bP!3^4Gj&;_dKK zL>cRno3U* zB}?`}FimkGKhvW;h#NB|(MlbrSw4HPYJ`8@ohWe~1-~;&0g}(8&}0JhdD({c)vf(VgnG0u2ITi4O_9l~ zZ7|m%=5>RH8aC}m@So$XkOAHuch?TaSol+}I@bY7L#ey%&Pny$BZ?V6&l?_@m)$pm+PA(ukSBGmyJHg$7;uX^MUYXk_Z? zRc)wtmZeNQ^~IZ=ySDv(dK`~^=g#<;d4v`jY8Ga_6=+oJzV(;7^U%9KoBZN|G>dun z%8sYXvn^6s9LrOZrtNBNHVK}$qq<{(7Hnn>R`yx}XN*TQVn0@m4%eHIUvCp|Diw$x zq1#H|Wz|9}%n>o;UT)re|7C3jpup-iS#j=uCV!uEK*c!VfrH4(3U$b}!N0*OpGtg3 z;0Ko$`wPgd+0{)lD5m_d-ErxvMAF0ZDk*ZFrTI=Dfy@8&lixo+a}spU3* zDno(Md;a!ENk{#{c!a5gwdkCv1Z~91H|ck0@pwfY2kj2cPNkOWBn0CHYH@coER(gV zJZMRZ!wa59Cg1#PlidUEjPJ)~lObj=l77|Np!QFmZpANMNym_&*hPz z?RG6qb42~g(bJSuz&2O5lu<;DhYWP8J=0;lHZz29KrR%HgXxxyiGcTr@?CNJhg(d53Fa;urs>WxA zk;WULfyS({1c#hnvXRDG2IMzL<^&~Ylz%aUtQb>9f<7^u2QD`NiR{oNO9w2+fbC=o z{o0@hT4~^I44-oev>OtULgX+wd&~z<=d&A7diSdn3ZQpkdB=GM0YA9hrlA-#uEKSFVl}C~#x*ONCyiz_u?=Z^xhT}H^ zg07iKK+#w_TP^Is$WLMM0jb*-oq;*kXREbi8w!a>bu3T-PBmuv=B|Ul={_MHH0%0K z!W;qSBS}=Nys+?%X~;@3R`8RcP|>`ZqM)qp9;)@(YmWcnJJ9qB!lsrsyX8c3xoh)E zoOnxKd^@QrnZ_l_)~Qpzrhom7zzUzadUfRt&qfBL;;kEs3MZ=%1Z-!vlc}IDDFHq5 z)yp|=S9k*GI{a=eZ%#f(8T!1^s4wu;P1S?8y*+K*ZBVpxBQ^s+nZP`}PAfAx&jv&PRtuFUKNWd=ylelMeA& zMI!vF%+D~Jw8Cybcf5!h7e*v1reBwl<~)eut)a2>2LC)2`{x&p;XJjBA7ZOMJyjh)iSEYT0ISt9W# z9K5vFnnR-ASGwvp8C*RHmqqp!~CAo7Fxi+Zb5rS?kzcs^q;3>6$-kv2;yq zfAAiM!q@VLax>|BZ*b5(?A7TZGn66H&gT5>nek>O(SS{ zgo*yV;cBh7I8N7tF7sj8*PzP&7QG$-TcO---E!Y+$0qdfs}_FOvIG{#iMJ_>00(HI zZFcGU`-{mA+mLzsb)0wipe8cB*2x&XlWQ8SuC2OXn^>DFBg;zD#wV9b^25SsL`|^o z#Pof(l-ClulG$iMu^#E(HIy*IFHWQ+sP)A~Bzi)A$pw*;CPlrM`o%`COMC_`vn)KL zp79;uACbT@&t%EDrxEmzkyLJ9a5HcZ!nF*{_d7{^A);Pj!nEK>^-hXV9~o zCO4lZcNQL#8d8hl8r$Ky>fAITX`UP6{B0Gt*JRi6llHHlzKr2 zVPzN@BE;As)b$z?q^{5bW2QhrRRR^oLn}+4_=05;Zh@gp1`sldVi}Gzq6=umQX{wb zy?Vl&hPyU^_HyP(fHILJ{9zR?IIu1d-{Rtv10lt==aV8_PM(4Sr5FlJY&e4ems#Uj zditsr?m?^(rNqxL>jpCVOs(BeqS+-r4U$Knd`<(7iv&oz_6~Lq#sCR2UlBdDM_UgR;M~_Cftsd=Myb z$4O@!B#Ww_?`oWsT1%#2B2XF);s+(I>6RjcK!+)mso1761uZ8dR)0mCSzOXiZp|#T zbKuph0;QgX~XX92sb?1D5(&p;5xUE;hj;TG^nQ;3Qx(t6wYZP{*93 z)j)4z%-ZrB+}Vb*EbV9f#3E*8^J)O7AxKUU!%+lA8ffZ`hyLjyG$O8yk|=oKqJO;+s5-bHActj+AqVWEPurIW__%U>B*7L-* z|5IfVc~|d-P0fj5%DCBHa1{Rpyd`DDt zSbUxL+?WFzKL>z0=ALkWG`iaAM$VKjkshrg8AiECipN}EF0_Qd9oTfrZ5Td^P{?Tz zl7L^5HqlYUxYCRa7UKD&L>1ygVi7P=KN}TD4;w?i<%FTcu)Jy?4Y|k9+PENd8b1n& zF-m~TVtCh=PKrCbqEc(*R|?<58qy2OUHO@^!8ohz+6%0D?GbK+m99pYwP@KMtPr8B z!po+ku>D8?cR&1abQzm%!;Q`eA4;8^WNo|);fbwvqX}YV zi#k-p7}X~sMxrl4e>O6%Acc-e;WCabQnDbZ((4+hA@vI`;l@5SkYZ(ms2|Q)m@CuL z@8=z2fdVuhn>Rb`Y5MZeLna5rA9i-nw)E6urIavmE^l61Eo{AbPWXg;Z%w*1-NuwI zp!7vs!M-8FWy*6m8mRRzq2jd<$+ivg2XA`QsrQ#tV0(*_O3ctBq>dH85^9nS!)=Ag zE~re4&eU*EnQ#dx%X?Y>VaNrdyfj9+A#DvvFSh|H?k^E`~TJq+T5R1Cmnzwxp@ zE&@8hkTDTn=E^KdIEcsHGb;FL?kT`=%mgwm$qj1FLF^tH;EYL{?;Ys zj4gSLYO*y!tAiCz=>^gJ$FE;S=N|A)ntlbwx-O{gBtfGB3W54K%~rHEuNk0TuJXIv zla=bZ&x#{Kpm0YB%A0k)B5`oE&BZh!yxDosJqJ&Itbnl7vfZaaZ|{~zv_xj%5fLzQ zN+y!PDIenLqN#=xbb#{Kd}Ky>YJXFEe+&&e=-x);mXPm&&m3T{C^YSKFYA7hXsPz> zKxJCLq};&4X`aa|fUcoBCiea(n_>9tjky?MmG9*1z!GZXLl5uI&wGMNkNs#g^n)j$ zwW;yy*!Heh5gvAHKhpp-^3j!NTmyiVj0j3ZT5mtEcL_ifld0VEQhhw$m|ct>dGtP` z605p{G;^j+ExF=tI+`rkcEY%kiAJ(HO@ul7VX%1#kKV`#KjVD@`2}J-3!As@tu=V( zHGT5nUconWoRIln@&Z5VYfBIeOb*1vX>%t3RW=SIu)}CJo%0!nr=W|JtPXJM%gWQ5 zT;ECRCwG!$1~ieWs>xJ!%>x~j;WR;!&3$I zxACFqv?2J=6!T;UW3u>t>H%9Qq$c`VrVu{r5^*!5Fed{MO4+O$FpN)jtz0Ql)Xh~r zwt9%_!!BSibocyyg@e|2r!kTB{{}H9pPLNl$M@`_>8!`*>A07pR{yMl@}Ph1af*qc z4j0;qUijc5F*s&LQ&8RdJ>pKMlya}*vAFVy7&|Py;StiqSqtEbWdgVsM)+6+k^Y_k zK+y*j3cp4$McN4GR3w+alKhSr$?hH6jFKuKF@~%lis4gl_d*5LhJDKDb!vA;PYR+^ zKHg&0t zMh~LAXQ?}XLWBhRMFP%8BBKNgw5oh3jqKUXa?~Yz)(=< zj|CE4gVzl^bcM$bh@*M+5W*T!|9vZk^hLAD%|Cq(CH2z!HT7fU23DGZI;>7eT6C_r zUq@)(((X5t{-NjBbr*D7&SORLbX!}-RryRS4=%@Rsa=oS#6U)WX~R9S;cklH2#rlb za3ddl>acig+-qwX4F&oPHnzvEiwSiQde>igVG8ZZzkF`KG5W)8mSEA+uOu4=Q6X(8 zIP}G~KaMuap)V(Rb{vB-7dp418|xI8>MeX8vkYLc1UV#+eGlV5S@gf6?kN(NDkh1> zqz4F8o2hKP;sAPD*yuJ9r(cFb-qg@Sbh|NRf5bDRrze*&TMo+k^you^hZmz=O689u z4${9-z!_babV6g@e^Tjq|D8H9aaI(WJ75FJprpo=3AmIS!_0vwVwIT)PO!XM^x{9| zQbiNqb6B!k?8ph|qNmyhPDC01rIPG~ysyzf5f#>9vjXt7^-ZOlig@Q_LPT*ounrqC zC#Ws$Uf8RP?9qn?X2b`ti+RI1h+e$8l;hW2nY3sG8f+Zu1d?QG!@1pHqp!#aJBUnq z`E)$_3DCcfB{e?72`&BGOG2sk;;+R$LxSis-B>wBQLTKbs8r>%<*FhXy{{taRMno< zx6m~x!U1}Z&{zF*Q#~aEv7F}PO7$6|8NJE2lNZ_VCK53j>c#<2m>@s8TJX1%J7T5+ zZ9N!B2NsNKE%EqeLa|#KoG_u%V3e>e@-%v$8n?dQq{4;%+m4G0W1>mGE-XYb8x|`7 zJRqb7YVIpg1H-0f*J$m^U&R$w?-uf-0jUL2fr_E>#{6%0_x`T=T)lPg0q7Mtg4%f)yVz7RpXSdPU3%6qwh@3?D}6ThM?9!=_w6U z>ya@H%JljUSK{IOpRyNNCVHM?e=oN(h=q=K{2=;5wC_wC-sizc!$6Rx5Bad2Svs;Y z8-8tnyuM}H0SAYZwevDu9o^}$7MeyEldTDDXzdyeJyW^gPZM@Ez}Mr_k_h(D$8xG& zHDJ))%b9EN{qaWe*zNf_U;ubJHSJ_L@wNN{dcJ1tBABOIge-aJv@C-9c(961Wl|b~ z<0=o>hayWpeYP*!D}v{T2=E^BSBbSlu3w)dm7{#G5GtbvB0rH0G$!bFkE~wu)$Xs9 zepTFL-X>`?{~G<`su_S`S!*?2J6R221JuuI&zWVWFz5(VxyPA7Yj!K?DG+H{;e&qN zt`_)lLB4S?R4Yt(xX4fNUuAs8yghL(F6rKSEI)Oa|J}TFP$e{BMo@tplYmu(iA{5;j?nrGi~aPcH{wvq-6@Cqsj;cxRIzIk`^m^k395 z(Kj{NDrLg+5X`vu zx_1N%KML4Z3i9t10$HJf{8t(- z3LOsmtVqU0l&xbhH6|(RzCRVrWewLH$Cp&Kx_+uXQiapn*y$ZMW-3kM&Bf}QLddgS zsbu>kF6k6wG|c5Stbf;JEg1zf=NA5THvVn@oq$`dIKj_MQR&Qrhe`98fBJ7l<=(ZY zs@%?{l2bS-+pK>TR&?3z2FOJ4AWRbzq_}n`729G4S(3=_TGJdwvtGh`eO{SgC@B|( z7dyVyZT_8S_Qia!!=1QNj(nc++gBzaL7I#H{Pmb9&B!k$0o=;d*g3y$!_LbIJmE^b zdwKEY@r$y7_c)F9s$s=KZq>LMB#`{_)JbEK8r=GL$ITaoS{t0?3Yf})x(_l-0DbRU z91oeZV@>3xgztqTK@rfJ`;{8@ou#YQ{pA}!NZkwHkrhl1 zYCq<5<~+;QcT?u*4QK|N$&Bb>-%0BdIq1OB+j!ym8CA3_?fRHOq9J=~l7%{rrpqxC z>XM%mFc=k>if_!xD!Cf|>NC$oeWg`YK54H&B5b;QppyX^8E9PAdiSRXc$Cl;PeFdy zKs;QVJM=8B+XTzQKhTsT^TPBQG1*Q{TX||OwLDe}s_8|W1CnE}$V9sbN}No>zne16 z-{~`xJh=;ncCC?~K(A3q@>+pG&#r^SUM^JV+WlQ{}h`#oo`jp>C>L|6N zonJs2AU*7PfGg2Xav@1Cs`vY~4*M&b=?0R&U=I$p;U4TmMp<*JL2U6*vyBEr>Pdbj zD%dX!sk9BWD4C-_dVW8}c1#f2c{+kkj+!gQtWxTi`(~UD5)V61BZ@#kx1bcmTtK&y zSO!LEH<2vc#^rpXZsZYUu+yu!7l=DV>_98b1S{Mi04-sWt>RhxSVN6XsrK;3_Mg%l z{r8SY`s3zG;%Wwh^j!W|VQl@RFulzk&x_*&?6ds}K13b-ZI$#1P+OS6?_$L8%L+1} zML$8iS!koDAlwXkv-s*;f84==Xv{F~WP2iaruBHN*q&d_(pOBG-Du16)YJ=uz%xtp zpPGZr0+_az)G9V`1nixA;vvHz1WB@Tug!01=@H<=nb8sg6SNe?i@}{W-AbyKC9;W7 z?suIA^&;u8*NO!SoD@G5DN`$@Rr$;5r-I~ESM-cKNn+lgv#3e`h9u(4d-hMpDqO$Q zgP)W^7S5k*HTx|vP_kenEQ3CX?G7OaFfHmY0UWqz?U!YLqAWj7-t3WuVC>9K(Su2# z_5DpA43VUMvReLQB^qK}YEbY1r5WGyK~8)frVR4rjHKV@Q(R+e52#3X}$Ed;a1(;4BJ0?G!3F9XQT zsT%hvz2eD6bkzd1bqJRHMPq8;(AmUs3*K~#4d<>CnVL`wrAu38cKJ*WvY^^uPSgn_O~ zW>%ALF&;bKH|uLoAGY62_8@*uNW`99p$6B;4{e)X{=ph9n$7Gu4RKm4<&fy6Jclb5 zjqcn{fYs?#sLwA*(30TSnHKSU!09)nP_+`Qp249sRJC-#?#J5tTeZkyZGkkD9@ypA zs8P}kvhXtABBhq&q^J|6Y)*J4o6M+wVT=gYo&V;ZG8D_hKjI4077rLK-`wItFhr}I z0A5MME zG9wS2T>UlYsZGkbe5+=CAT0k?@oh!*2aYz^`_H^~CTQ5U%K%IfdHYMFaO0}Qk7XYa zii+e=+^}yHPj~)D`{jYOb{jAZTM=vE*K&pD5F-Q`&}T#c&uc9VWXj&Hc*whFm5jU1 zCvPjUnL5NyAz$uswYyAVA(fz;=)J(BmTZ#bl1Uo=RmsiYqdDsqn9Z^{XABxQ&}IQu zv09K{n~uJUi(D>4MaRzaj@7^hZ-n+t;q3DY z51fIT52pAv>wy(D(95&3B+ELii+UV^#=M>Z*~rj%Kw8CV_51?Bm}<^oWf3>J5F3`x$mAG8`4A|^f3m3 zANcuTV5C0c^@b=x&?z}P@8>-fh`KK|hKpF0Ge2wYG+s9aoFXl?o&})!gCs*f>wI=9!wwQwVA%MW~+Q2dVO0 zbw?)b*4D6Lq&fV#DJg$X)5e@eanQeW*`|x*nmZlb2Rg)l^8K!xCXkveRpOa4l~i$$ zr{|OHiG-K~TopQwCkgQqFV9l(dq-C^84%?INwXeUv-om5S+dcBl$ebV&0AKHQ(sv7 zhl}grocTWaYhGuUxJm`a1;gw{fjx*8a4!~esy_iK)f04B=|u*GWNZ~-JrT&{Bwe^) zlc7U$A7qPYMTV6(?mX(u^29uN;;H|9UL2CZ?`K2-43*$X55?>#Ii4vvo1PS++L$ zBoMwb-!-nTq}>%5N#j+ydR^N-2e-rWDtTiIjTjYooUC(&-xd3PdVer2ElMLk#I%Th zZFL9%Ch7}*NEf`hK6Kdx#O%z1Tv)Z(j>hip>FJ=N+>F@;YnOL4m`0_0$)M*rJ#a{8 zQb}7L5ealbbzsLg_LA8xYNehn5{;@)kKQ*!X5691Dt#5k!LREDqdZ849T92aL^Y%@ zwT#p2UbcNY7vMO|MT8o0%-FU4)Z)GxA&N^tc!qWM2|2vQq-Gb8I)#Y!RL;BZcu{k> z-)t(!_?0$gq)7KfR+vU#SQMgLDvX4^B>Zz`6p!zRM|3FI4U^8Gfz(maSSq%j#3lxd zePU6IP*t8=6dnfKaE_B1&0nDqL_vwX-@+Z$Dek6&&=lpqS>52;&(Dk>KX=FWbMHI= z5=a{!WwnJcKS$}qn_R~UoS3}_T@9A%r9&qlO|Mdj?PZ@8Rq(=zUt98^xSK9r>QL%G z#NiBkx5L{K1Bx;nd2bpmEG-Wvd?4wF^y0aP4peQ@Y^h5TaW@U!Ut>+23~UUsGeiG) z=$MbQWx#8*I4uNKCCmpvy_^e*u>JSd?K@FH7C+no?Q(TLglE`IRwg74;{{6^C6rzl z+#X&rbx^2`ipbZ&W6SCD8fvT^P5|=XF<(qj7@1#&=S>0B@_A!UwcDoj)YP5%n=Hh$R2b>!PgCOOpwO%Z^6}UAh(AA3{)j)+{9XFj5ab9a9Y*Y< z3%~yOw8?xv-XY1(`UyFX8XU3S>=7DHaWRCWz5bv1aj3f)Z7VJ{uR0e6nZeI`YxX5w z+=CxM@Ef&1`nR6C%Ky>XUJiUuBETwxGZKQ=JS{){Rla?J?bvd=ENKV{e2XrZKJ6YL z{b!oUqnN`NC~SAHV1)_n?TE_sIPJO%E9#k^#0}!GNCX<#o{F@S-^gFDX;Rn}1VGU;x@mpYs-;V{ldMTiZ@8V-;~w z%(AjuIA?mmu(DV51IiO*_rVW_`#!ajt_uWlrZNrWbtd+k`#K$ng$gEc0m(R@4dc_2 z3($PIEaM#(LXM}8?GtT%Hkq|cU@h*h8@p1bp3=ogeqMF=k7Vh!2GIbi#}WH{Mz^qj zwwP?hx6fCopsPBJy&QwUg=47>pJdXyC&zmB`V!QAz#}5m7!|^nOF~zJ8GZY=?<3x_ zc$>J0%{~i55zhlq5Fd++)S|5}$TZ&UQV58h;l8SkqB%dG+%2D@r=Ms-9VSO4BxPp& zCH5miJ=<2(@@OP8xDs0>*3`Jg$o1z**eQ{Bdi9;i?7k}FB}u+x%%Pb|cQ5*Qka~10 zBSlzRL;Pk2{WZ@Nl|y~<_kDxp!Ed2+$}tC*w5ukoDozpjO&9P_z^oU>T$OPFo?iYR zeEi3RK|0iP+WwU?;wXE^{$yKYBtDf@Zfm3V;A%|zp}8L-trwz*;1HQV()Mm>KJq%? zt(eV&2P^w)Tf)vWH@3RCr8d;+1udyXZ51EZ?;-)``ve?6 zN4Lu+YKFf=zg+gJAA~ISyu=0Z- zd}wGkf4tA0ho5$KFEiNbIIK!MUy=cANadci^LBDz9f1!{J(`0Yq3s4pGD9PDb{usW z!@m^WM0(sMLK5z%c2if-NJ08&9Q*gDFwBw9BGC&1=0HsknX4YZCwE~h^V4IbTY_mf zKX?>o4Kh&!k{8g5@}&SgB3%BRulvJCu5YkI?EX}i6Ik@nk7$Vhfcy`r|A77vnE!zN z54it;{||(gk7&fRbXZPi7G`D^E)I^=YbqqX|C23f)JQ?#$}DUW!aUp}>|CP4Y^*FI zVxp`f!knC}oZKS+NiGg9K@$G|cSH}4NzT;vkFz-m2Nzo^C>#c3Ic0l5;_XF$&ZjGRVk}WN^oPEWygUhm!U6huKxLG`$igZFz#3ZGY6i2$O`@|b zy&paK<8M?gxs}R+t;;tJgLh z8~*Rw4EA;>0P4uU-p_|$6_`0oRZUp>djT5wom&gq=R1gc%i74-(+*XLH(yx`YcM^e zUfeVgHeZ(Jsn{a(gM6BRHu#p?rcE70?*CKlPDwh27&LjSDLIkcpuf&inlr(|& z-9QKK=-1saQ}7G^;BTYn@1W(Mfnf>_o|Ei9N8Oz&6S`qEc+sTvzCxj7#0{!|f;dl( zJBOS0B9(%N^bt|}0^N1bR$3z?uZBJRen=hIw&e}5zw6YksAl;F4J-CWPnBduB7x=L Mf}@}iSCoMJA7~|!9RL6T delta 16318 zcmai*LwGI>u%u(#wr$(CZQK50p4fJBV%xTTV%zroGxI!mdl&DndfBz8>b}_Gy4&Ik z3>4tk%ByNKw}-6LYnoqQ@np-Gx7lgV zhIm$q$mSp`vMr{RH1PlaxPcNuE6K~aHY7)MPb-l@fyDOuZJ$AOwf7of*7bS6-((B^ z3~z@~=cFEwbXCC;%MbkNVJfASfow~|ytS+gc;94n4EXuHoa(T!dwC@U?Dl@%&w0&Q z-Ub9bnzny_%pmst9A6*j*v?+d8UFm-)a};4WeWa~t%uR(AVc&qd$uYq>Q9H!;UVU~ z?Yq=AXKdG2$+ryIa#y9Vxwn5pcjmIE`*~=ENoIF)S6{SlTR_JfANM= zZpwT0!3e(2%v^UOti?P7JPaA*1v}d}{f7x`a)AEmQXHn?ot1#gO(4DlOq1Pg^e~g$ z=`~geHua`URl@c#U1tkHQ3(Q|Kwnf3ELwX8e?3<5UiKxLwArRQvk~|@D>2;t&MYC? z0%7(?dpj$JYWTZX+`ajr2jqyapUAX~bM17|(p?XiuOc=#pZ%Kv9SHh_8uEA(#<&8y zny`2m(QjlC2;Lj+>q#19cI7Z3a09T%YE~;qprEbHCnVNSxJ!R@{uVV?e(P-}PVg+6 ze|~XNu-(^mELS^CkBTo9HUu)doEjCqczl4)S zqJbxGLmjf1yZki*z?e%Q3Bxtg!KqRUgBYHrF}jUmb{@jYKZYHK@eOQNIu()X8eJDh zq05~|%*5ogGU{1ns5Zs8YOC`y_BdUy4BsoA45o#J>TZ0j93_Nzk4f*KE|!V<2+!oB zXJvc*ch< z8I1mBUlZ#A>?)3_g*klC0so*1{(WM6B-8!HxO!{lQTi9aV0;ZMa1`t*f(dtKD>V=k z`xBu9P}cIMXd7`j^4=BU4-TG8%$D;sKSUQOg&-4-jEHtJx(`qO#T?*;$&kgbim|g9 z=gghmpOYRa2G(`y@326cw_k*UBheZ6HIuFA4oX4+6l&u$1ZzLU*IG%aPx67)c=eMT z@r=U#d7bJ4g^q-&nQa;InY6H0FJqNFClegY51Xw$I$v9b*YP|d0W)ecf5bg(+<8Vq zAs}ga-RG8em}PUDQ0xzE9E-Qg5PSni=wWEh{x**2x9YmrikcI0q*B7X8%8wKq|X)) zm0}_Rs8JeEV9|!Qa7%@!V_bImFE!2>tK);Tfw7Yz|9m=R>zftpzLD8b{DS^%bi`&b zO@0p(nVl9S?LInr0#l05tcMUOsJd@3UH_z1`Sd6!NL9k#lv~w(q z-Eq65pq~c)e0+if<=DvTSjNK)S+L2(btv-%n3ld*3(TLWW!G+B&Wj*kb+K>13BKhS z{Z%M#A|EhpuMptmT;bWW<)`cJ-7!AA@IcS@#f8AUoJt%3vJ8YUHD{Q1gcgsulcnU4 zg~G|i+QGg8Bs79U@aShDW13181T`?2TL?gt3`Q&?!=rod7>5BaKTLZ@W$$QPJ@Xs@ zu)8q+EaaAg?DO5f7XM-Uy>Dq2bbdY81! z=e0_qL;pE&1Z-nO)cX~Rdx2GMwEg9baKbg^c(X7Go4jxie@B z*O?Ju-?=Wb{-tW>c>)Q6Z%rZD@CX5lX&GS=;!oi^ zX_^{*DjjY)lm%LHg4po0i0GH=g=Jr=e-TZVJE=O}28$6YffzjUy7O3Z7KfJhdR}mz z;42muM)O$>oNc=I4j%lvR|JsI)j8u{=L&+_|FJ~?9q&OiKD~OCN{Rsh49(PT6)v>_ z;=VxP?itTrm~KWgPsroRFCYA+(Li@8<*WIY7%o2FBVJc0Uf%%93I<==e|8$rwZbDM zQ%GWI|B}j}@(izoMMzsXm5MOuC<}p&U`JJ%ka}1hSHOk)d4o_JsdddF*hh+~{?z%2?l`5&78`?EBFjt}bT; zIG&09-*z8<_@)i839BXxB}g#J`qw5m<|3#>>AwPH1&x+n7zvG1+YH z!HokqCx2a@FG;R1!L@?aBrKrZyv53jW50_yvBRCfuw+z?fwn}(%i-h{ws2ko6Z4=z zi4Gh(dQ#u}IQLlr7<-2H2uYt1k=GG^NjoJ?X>?cOgN%e4@A2z|ib9al>Xih5@){H` z+yk@cm58MNsaXVIGmrK#diW$CEp(gaL&ij@c7x)e=cG1yNy`5GxBpZ66EATd55;v4H7X*@6HgKSSdK1%-s$71Ng)D#L$ zlE_Rg?oB%Y=Oe>5NI-c^P~VWrUMiw&*wiIXCbIiHPdF{yDHPn$;ZSV_$C@V=Wpx6l z6Jy2(14$EN%~=T~EJnd=t>Homt*S0z+thtm)uA+4E3Le7IPWyJr%ye<)5=#*Wmw8v z@sA!o!oc7rhJNaK_Z=m^WK(CtgIJD6r;AUOMj$<4&+_9?am0EoPoAJ|v<6p;cIF<0 zNy6&U_D=IFziI&X*8gLHu_wwFA%Ib2BqeJVvOh*~Gl6v;T*J8w2;0GP9W%5Y3c~d4 z{p8pmO1(TA4@|fQ%mZt0k`#9WazW~9%{9Wd1!m`NT#yBKosDzeIRhEZB_p_wcogYx zuy+a|F1R2hC&(14QigfcQS^3U3YoeHD4*5g7ij)P*bi;C{yP!ws^^WL!gPCQ^o{mn z#6lBt=hfRlK6{TH#T^skRf~uI`@+ShZN!!maji9p@a?c%qaqd$58e# znn548l}49W0c&7GlgBN07#YQ6!Q&L$-&~9(%Bgq1vDt;V#w#>(EmtdHfrdNMBd5;9 z&KBEcb&;&u7b_I_peVd|4EmCh7oEJq&801us146|r<{{xH^LXmxSDP@BmB;t zKwkVDACP;6a!bJ4Y8rNf3vG=Gw_*-e@=rpE+7Ac5|%=%HSU$@tCA0U^@Rwq@gbpO%w(LdE?bA>f{HuRIA#(qOD^;KZyLiPdGF$Tk0 zDew(%**A1{p4G{I2(k?UDU$#Y$H{|g)mhC^N!vYOh(qUT!+-h5pu>^Y)}R_m^c_7Q zPV%>pr~Qgwsv(zRpOV@52ib2*4sm?bA$e&bh+1>1*6--yOR;AcjJqyh0rnlClu-It z2jC#dqm*m8^X*%)*z~Fo1pLFIsCxlnh4>x8}4 zAr*CFtP`E<(02Agg)T%b&3rg)vY`bB(2EeK=L3RGA5w~q2>ZBGlMC$V&B%fnxwB(;5otHWdQ>h*d6xK0j{fo`-8wcS~z_ z!yBK7AJ0R$g?6ZQkah%R|&(=b%)|>e=RfZ1Ahrx&an3#VfG@c!ZO!zwjsU)VxptV+X0} zlej2s;%3VrcR6VSGa#%sgW1=J4-T<#N6*cI_I|Kope=ya1309XmW@KSUz~_HA$%o9 z*L7YrJv0&*En(@ML}-!82~>Qt;}>WY3>+Zh36y;H88zf1+5)f~C?re2p1~3#I;kj?q;pENa-zp>f5hh{@g*8?@bL z5sq{9j0$*4zI);o55}_(8CN|r0U8re#Ve)dPY8BqxK0T{555q+Jbqbsn_Dhg<@J^d^=Jh z4n^w^6-rn4;(5Kx)UPoYdNyn7K zy8vd5}0geW%3&bSff z4)K(>o)jCeW^*4r_U%lW_|xS#mi}AU*0k+c3yj=^$YF=^!BUm~~;ktEW{oY%e z$Xp$P@Z3$l_e>rKm>brG{pzClEhXIszBwB> zjJ*ux^dX5*do}CY0*LO9`Vu5J?30ao^Pz9ObZbZs%FqqW&Eg!36Aqe`e9sj9&Kudj zzrAp6j|JCc4Zn};KWsHY0aCH}Yy6LHr1G-Bkgg>0OId$`&`zq#nXKp#q^p%t=V-e& z99jd;j0d|opuvV_<@u(ni-|I$Ok#K6aiztTLDGgXnZrzjZD=xw3#G|jq(MkMlVbEF z5`CHp;$^p#P7TvnF@)?5N?g`QP*Z)Qu4lt6yj-XvDKTimy%K_I0pWkWuC7$8m$MX1 zG`<(0v_L}Brq>zNwX3etaay50SvTHjPuA+rS9 zA$sWw%9k}hg9+a*obYl8A_lD5zuQt&G40a|875tT>I{7r7Mct7lua+i`5Ex*s5&m)oR8aW zl)nJTw#C#HEHn!HNT(zlPKbsbUE4xu8HRH|8NDa_*~ACVw#Bj}?D3uCE;d_!0e-JD zzo00(R^I7b=3vyoT>m%iqz3S9CT((g+&-dzb6iD_jC`A{@l{*eua%TFR!CFoqWcn9 zMQzVSWnDxj@z?%~pW_CS0zspy7_+%O5eE_e&#Jy5lB&9BU7l~c);M>+&*@tj ztFkv~C)Fz0x>QEfMn%>xF8m8?F_(4hqdEJ&o(`XbakaaD9@)!B0D#{2%Z?T%;kkD1+s(HBHSV@WpZ;o0t#(*k{2Hv* zn#FEy~DDpg5yp#U7AQ^$!~c9xt^QI=L6k!W4KXM3e@=;JQ~M_Xnpw1G+n z9oPyiAJSXpC$+P81ZRt@sF z8hW;ec3-yv)y3XLC(>m5%cP;l%+O)yi~bbjl)L_*6K%90ugHVxS1U5NZvRZJcBe=B z5KIGkn7SgAjJPOWp!yT2mIZ!{yBaY^Ddg52QkW>OdAECWwn>irgbw2_XNWJ_%Ib$6AB)8ozg(h<1P1 zrB8Pl#l+(mqnF9d0Z!AjNj?G@zF(hRqeZTXG%G`OJ%KZL9 zb&0(TZ&w9=xFVjI47eX`2M7wNsaP2zdS($?h_I3)0o4-ZXbdz7hvWC=S74V@7SHLH zG25w42jF;VbDVb|-lFF~fM@Nn#h|%TYw+$&SUmBo0w7XrhEIyREi8SAMHEY#dwp)5 zy~1`yG-&vy3$9RK>n2ASrJ0`)I0&M~Oo z1P6$ybuRQBNbFl%8^tHR=+e1PC6{7x-gO#id@{uFtE%vvrTmVYhRp}`cRD{oPIc@szHU;e*OwYPD25reL~km*>=oVfplW#GnfqI3<3gO0&fE@$zf0&BLWfZ z01)k|I;E@9c`#De63U;l7T-eaGJL|`4c^D4G9XqSleFutP{tN+ieIY3z&g!8q?G|8 zqbN_VY*dkAUXCs9@Q0a}xERSx;5sQ;i>6{`1ABN^ofQ8ve1)%@jg{c5)Ip=`dq7QP zoK(J25LWNlpo&JNnYxE9-H~?R=%_Fv02VY0Iz_0`iQ=rZ(74t6gpb{`-oux{5b`8Y z^e^_0eV>K=4q#Epm{H$(#P!E=Qg4XyO$UWLJI_O{&$-Dx>o?ztmDah9e+UMHwrATC z2As06Ar5m=E8J5}855`oq+p4>3(tr&@R`l5;)nb`&`igtn8NAM+amrDFTodkHVKg9UGjpjh=CAEnl|u{5|9GZJ-Ey-v<=hkaqHSR#GiO=y z!QlI%xf+#F=4xhyH)@rBCAhju0jSRl#G43cuae~d^hGh6YgO*KbYb>;L>;@PKerWo z5--?rkAVVRC9Xbfwz**4g?Pe1Jpfaush{Skm9yw0s`P;Ll_21>Jg%wF;z862#W8$& zuM$aR{P& zt6&jzZtS1N+*dSeMbSJr0k#v-7x%r>ECoP>W=~i1^{aGrus92LGqs*%g#dj)J~iX< znqR-lzGpn zoIqJ>66w<4bUs#j638b6V1eMmVTQ1Nhr$nGt2mmehXQTTykW{hT!Oy!)Dv-jFkMSY zH|joba+ld)dEwXw@T_C9F6mx`ziE1Cbl{jDMZhaz20G^>`@&sjZjQjh`!8I<6D4i^ z7q+?zxwMU@o5L*$hGV+-@RzQLC=imTW7~n?gEMRd?DR$a77hB&jUo-I8e9{*I&#)` z-^d#QS-bnK-Co19#c@q^%6e#yVdF4g>pdKn1QB&a_;%DDfa|+79hePY+}nQ&!S*H} zPt0<^2N4*oi;AKytlov-2x`PCuA=}H*kiE)e$YXLe!Lu@8IJMWdQaQ2?Pwfitc|s} z&LK-di{k{^7*zS4|E2;tar1Z}oLwNa}v+~}sgeZ0gHIT%y zA(5ryc5k~;?R^lpZSW!5rSeffkH$hXWN9cPLt`6PwZ^qda(A*mZwhj-a zV8`j^O`B9BQbh#&t%h-6P&E-CRD=dsi$1&uR4=IC27#(}s)@v90IS-pe{WU?A~Ae> z1a*SZ*+}WKvqH=oH3{fEp=kEJ{C* zTg@$N>%tB7$>=p+oJl1J<)IQWIj>A6UnN2xTc#_%zE`2IHpb4?zfafWjar+U4 zDn=WI$*A`BYcuo*&4LkL!8;N5-z0`&8sR1SnM331+olv69TcR({sTm)OXfNXYV55* z9Og%S^+?e{W5x-YLZrAI)9hY2pp{R!P;;Hxu$@d!teVN#@*p4=-lxJ^1*78tuwQRk zAn?rt%~>Z297mzgRgm9amA-fQ0_P4Y#z5Ar`I%2dtMOHziC5!3{kq2(RQwz~UVl!w z640JSy)eJv(BUB$G3SR!+02%H3(VN2N`H?_X2mx^8xGQ1X3N*W=4-Ob)+wV@M~~Wh zMj!OtG7J=&NXYWcG<2t$NGC}F-V7B&4BRgkYNXA+LIXW#Y#Aae7 zkn@x8rNQ>o11?b#Gb^7`tma=$J85?q9Xf#tr#!-eN6Fpg-6o~Rc69hE7U32BaiWm8 zqP2MIw9~%HE%OPVMaSaRiDF?UnbpvPFKv-Wg!K&$d(A2N%Sx4| z>?wWbNEv2plg#phQMcPhaLX%&KB|N`3Iq;9QiHo6JVJb4?_RqA^Wgg+EJFQR*Mq`4 z^`HQSL=g%MazK)U7x+=RTkq&fAR!3~c|(Ex1R+lE}!>pfeO5gE2h zoNz+%9sX6RSkRTpj+J+QUQ zvxSA#swh)*SxY(cE09Pg?^Nw?rV<{CwS97>jcq~+QPfU~21fmLNT^6@{nNH79HmAq*_7L|Va)COZ(?_%xX0dbg zuH7Ow^m>t0Wqsx7UCI5Es3B?3UDStA{!T*i?=e^?5R_xF=Wr3yRN1AZWvPwsoXq*s zcuN3Yz^0hX{-&`ht9Zb*eR+<8fhb^Db6K+?qDCMO|9FulnaKu!`gk&1#0)um4JUD0 zlMHv*804xwQmi)>1g%hORVLT72~9)O4Fz$^k+;74uo176nn2qK{MQo*(_+d(LFefr z>26HtrAR6=;6i#Q<#}gdk&vB?XiLmvnu7t}|NIFQsD^@0(;{w{3*6t)VkxrX{P8)Q zOk$};?KjLkjlv_hNUr1Mrmd0FgZD8sAg`hOS#8%zr0WTGoyqVo!%skMU~~|LLNmtm z$0D9v)aqp>pcNQce87^`B{cz%k|D3*8r}wjd*H_ZE@(-RSPjXH4dT=}^taY8as2{} zTjU)io0p3f05Tb_7t!xlTTGKHD^UmRB1z=OLO;lX+MX~bra>- z6wZu>MdODql)~bM4deRgotMs(c%pf=+0@X>DsnY=nMg2pM4&6n^z0n)`m_E-JYqS$)~_)^1q!caRl6}*7Wl#E z)VgPzL2ZxpM!im&sv&o(JFgjL-G9Sd{wR2qNuv)g?2;7k5(E5iq^y=c&sqsCE&x~R z9x?_mk}dCd{_se4(oQoh#y_xgJ0{zCi~&#VTmSMkFIM>3!W4~81$hVQdyW86rvZj! zu-2ZnbTn8)Xh8|@fsxeYsB@S|-uv#RT+ie_>X=2+S_YiOH(T0lJ_M(g&}=Hi#(O^` zI435C^(md$%%_!n&4T1m>9o}XC(j&2>W6q*1R`@^}Ry)m?{g`H}vreaLjK{PLwq+m15nEQeZ`v!{U zbG-rXCWHMU6V2YeOpJK1b#h&-O8F<~R?0#vmlA^|F!91*G|l9?`axB9wYWu>!jddr zVS&7?Z0ca5P<}~j<)7}ABV8E(>XDBk&@Cq;jM;v5wih`IV2#$7_FaJV*j%dL7HJ#G zL3`>vsDu0KY-5Er&amK|!1!Z@a4a&sFHb(jo$F06i0_mzB>8*-T4m2bViCMM)!H|S-CCKa?C){fA z*Z3$Bk7`TOt+6z1kigG|IM;#h>Q|tj#*e9C$D|*CI@{TaOU*IZmel;Ikp%k|lX
    w%Hf~%x{bZhWPuJJtaVd;2-^4S%0b$e()y9*1@V{Cr#XvL5~N48IRQ`g$k6*miptT{P+k zp+a2gqI0OVr!hntgO|`4FJ9X8x7{>hOPjdaD*byl+u(K|uW1uw103M1{|v=!BO0bn z(HfuHz7?uHIvA$X{$}5&=rCnZ{BSycK{5aHnr&Wa0=EQI&Ihaoq-0TRXfZga7=suL zX)8y7k)g3g6LpVM>Rq5*G=6GI4r+Hgl=!^Py;a*hMy>;7u>MxtS`mU$=;<&0Z zRB<%W*1D$AZaQA7o9KpDO#A(`$~Du2))CxZ>QjiBXv0>pYM61$!PYHP80gDY@Z}tJ z$yr9VNm~G1SK_^M{i0G`o=|@Hol2-qsyeSPETZVl`7E244Q^gOD|@0rOzVK#Ti#k3`G#d4gXJUj(U)$Ru`|QS4=c!)XBJ7XXAEtZ$9ur{;%8V4+G-X(4`##@-apj;VJDickQrgGc^)Dj4#BV*EpyBFsc?;VQUR z-}?pn$eC@~DSz>%KZ+p(9g}`PrYm%kRa2)1no4WM<{jlfPxq;B4sEWp#-}cgk6t2e zM^fJ2X>kFMex8Qcb!_?RZR#?n)I%;+pZ)^7?E7LbHKf-NQlC!d$9M{oF#L5l&Za9r zz=VL~EyANhZFTDFQSSk+$d3Fy3gYgxW4>F+lF(M5GWs$-{?rv%F?B&{HEZ8XmeTD| zlMdwXGj)-9wnL894NmDEbtz_Cc%H8BUj=RaH0Vd}N*PHBh*!qU{g3u(P}M;h%wpvr z6~ar0SbFyV>dfd5jR==R@eLaaI|1Xf3j{zwGEp6P@_6|XK4a+kC1kT* z9qBwbceVmccoT2g*#mmIq^oCj%Km)QdElsWWYhN(O?I7Jazdfi03!ij zJtRZC#aJf-zm05CKNlQPlXWOq`(f}92JYUL-OZ?3v73_!k@uCA7J|!(2E8~YxCoag zFK>6tc0d~|#7cZns1l*qQ-C~Z57;f4JNM~CtKe)|Czsr%WqN2YA>#3b^p4T_DxJ8M z_iG_%@ZseN1k<6~kGS1=&Tt*Q)R+MR)pD$*L$$2lDCv+}8bGqA{P6wt>YFaV#0?9_TXgKvjfs#A5(($S4S0 z9NW{Q1`HprSHS_Z4)6&GM`^Eb#z5bHogLe1uybbm&l8@v2%qLMYtDt*g%HNR*%_F2 z1t-QkV`*r^+K-Ylw8&2q@+?*oGrr83npdbj-~f|M`uU9tp@el8%(KUPZ78x#g50yAz0o~Asuki@|ux{)GY zFQB{xDZ(P~Cq!!=33=PVTWM$?taM6VMbAz!w{7xsVG4I}ZILnU;yHjrj1jjy!$JDU z%;)6xu<~QP?&yVrq`$p>S`K{M$e3@UNP*(nh|4lVG(bEW{sdh)dKxJ2Ah*%e0t=Lb zEy*fC)JlPpf1*vPcla@xEJH9*vO(*B`rWQTc1j*In%*}fu3Il&o*TF9AQ+d>9$C(t zPl0TQrN@8*E9zB6k!=C0djSG@mq(_2|d$8QPynnq}%_T1bdW`!PpOLyttUe zUlI*sSEv#?3}63)s>zi$Co0p6Fd*bAg*1U!!(5_LmJjG|DeF4{H!x zd)z_aqq*DOzw2g!s=DVk0FvRj_Zjgx7ZYk4$Vjs7(bqR#t-y%3(;Dk{tzw@3LAa+5 zqwVv-LH-Je;ljn$O8*47uN=$P2x07Ey>Gzi9Q6CI9thyiPUprzrJMhq$;xk1H;G-} zUnf}k?RRK2rjYj=J+Kwqs?!JuXG9P~M*KQr%2V$TGWnZ=Cc$w-RiT)Ty;pKpsY9;; zM5c5NS3)Q8)MTNItx{!^X{M;UNx9s(x|7Z~9*O96#T+)33z5L^mjh}Eo77=hKCU$D zE>KY~ffzuF!5oiH2qYTF!7^y~_@_rc#=Im5Ie4X-voXpQ$tRkKGli4Wd8Mbnd65YC<0LZ>b_{*>)qvcor@(q=_(U6Z;Me8 zRT&;{>rjbs@r(e1`kGRI&AqxO~;n_XQY%fa;YqqAR=0-*go;J&D zo_zi$9#5jf55cWQ*glDTtee@gaW9ICvl#4x{esGj7&CH)!2HY4@wr0JBOB6j-&2~0 zX1@Le4Szu)21`l}xa#d(xko(X1d9>$g#&dPLsn(Ft{7VQfEipAQ?UVzJ-Ba~iQZX#lA=h$M6 zr!}HA`N`#x*ga|QBh2cbAxbvzc+n$NBb>q+*=(k{$5qv!4sOws&I z;wUUDJDua@qHuO?@1_@v+w&?kGuy8?Aum8?OXSkx6k6^17*_x@w?XbNbnP~ya&>Cf zZ{uTuS&Iu3=slqbVnjK?jSrS;OH0IHOZ*6@dP}9ol?c;==GLf5PjM{NJe;Sd&a`JX zesJ<8ehQG!h`Lp&x*+8Xf| z^Ya3Ot416?Vai!Q6tUaNrRj#lT=fHCaI0bwSwJD=Co4@2e^GzxVfK^#O-HZ|p=kAy z>WSYY?hDi0@Oi!q?mP?92_efydK8dhJBW9;ag`OOCD%9n8j+M>eA&I*X=@@k`#E>_ z6ku5Au&vOJvm>y8Jr6n?&MS2q9H+qrebm;QAWn11x>$fuwNd#MMCa!NpGT>zhIh$T z?P<36PFnPfQpF@N@5pqp#}}LiQ9_IM2TM|B*2>CVMznZ_dX%GlGyRYTSpTHRL)H1Z2G=MJ2O$irHI1Tu|z-dke)A;3zhrH)Xw3G z*j#CT&FA)Jqup9jk^=5d$Tp+uV$2jX7dEh|+QD=skOvzA3UeIzd*4z2rKdrXb)n7D zR5NSq_UwMa$mZ1t|%yNdREZ2 z^Jv3jEZ-rhhrWiH5>RrS3q(OjWiNxq{i;z^?N=1d0{QUI5+Rh9DspJ3Y)^o>K%x2j zS4?HyPJqthfUq!)2s{}!BHa{R^)<0r+0A-8f>4s1>6K56IJH+n|p2ZoLhPr#>lgD#hn;&p_gsUJ$t+Nki2bv-yu} za6@^CBoEM4fsf^yn@YGTC?2#q!-9)9LR=SpoV`7Y?9?$;Sj0fbjZ`ZS-j=&cA;!B} zA|ZA0;iUJgWwj07d=NmtyvZ>v^)Lit^ppbfDlF%W(160CA1N-joGP0lR|WZ9tsBJ% z|4?&B7(Z&!S5ny}j7h_Yp5W&1W7>tx?P{b)bng#B?>gLRf;^3b`d=tOx;gb2u$?9b z%fcbM7vXBSx9{AHZ;U?>Xn6Aw49N+I23G0#+~i$Dr$Tb|We&iMI2OC=^){(vfKE^y zQ}@qzi`!N!)WnG91l~*Ypa4^}G>eSgxI5lay)eGl)1T@EqzPI+v_QZ_(We{>t$b(q z8Oz0JWKcF$&v!G(7PF1gbjDW>tE}=jvz-$&2s!IN_l{v&0tPDS=bb0~`OZGdeFzvy zg4dK;P-?5Gs3Jg?1XxNejsI_o&ZraG*y$wtp^m=5+E|OL%$@)C7(P2wr{D1wTEarv zWev+;6lxP7&>w~ITr;wjl%=3@d3|M4{XAN&mou3mW{P~9AumyC`|-2UfhhpN#it8s z*E%1c?52on&Vt@NOlI~!$J7)IwthoT^H8Y6Piy+?s008PnPjTV8_Yal;T-dUJ{nEkF_cLf zGU9+IXL>u$&DWu7+Eaps@i$B=Ni-UV%@2Nxw0cZaEBl_FO*OUcFn__cO`oMilq`Co zM`Li+=DGL`RHxAMRo{cMP4--ScSHCaRX42y8nGYkei=pizUXg@wuG+Ot{Y(5H^a`G z=0^Z!Tlw6zgHSC~neg=ZDeNDa#j{n(2BR|a4sh;{WCsl!Qb64ySLL5 zv*$=KU}%^xK>cdXMHRjSqG%7O5x}q|Fo^oL{ly%Xa1DJWH$K|>Xzz)j&vX)Y+D+lu z6X%3h&aRJ)9NL^v%Zc_rIbEJ`(3XnA(+Z%<{U@y73uDyHl_HjL6A*{YY3bwzgW1)H z?=P{oCmtVFLto*Na8RE0da_)@Z%ovWaDHDCGc7Jt!c%lt3g)TBN1yj0Hplp^!l|W? zR?4pZw1{-&v~WgphhgWef(*(Z=;R{=mh2yn3w@YR&qi>qLRjib?K}18CbPs}S5;y@=4P?d~ z`Qa$Jxc*{2y$si`G`5mjtjjQvCznu&beJ{%l*Ary;@nqyTL)gZzhM0SHOb#h)z5 zQBh8EQB{2gohKFg&Ss&Ge;-fhRe6C-Q_neIWs*eMYPM$BwfA0H!%y`sQTaE*8pe$p zpQ0GA28h5JRI1s&Lqu>Q{~kPx3a;&(gBL;Mn%N{f%|u@OoZNu%Ceht*xd9LZO9*AV zU>h1$BpXB?8U9RiwU5!Y#oGv#ZQ$F^mg-+|Y5N`|Sz}o6lBE>`bNoGGhw_e=j9_tS8bp}}>qkS_K9#1FupE(rZ}_%&SR z;kB;GS3axjyS)5zcmVGZ9er!4n8dZg-zfLUEUH7wQa%-7rRY^ZLO7jQF5Zxj53lXB zh%*9HnSkcRK(GK|{{RdG?d;s;)1WY$6}Y@1f>`3IxYH~;%7JzDJh`@M4YPk%8Y0My zl+#+WH=vEGdy4dVNyvsLJy8CnucHV64N$ub4$YuhAzs9w76mU5n3poy-~7A}LRS}N zB1pG|(Oi9TE6f{aBL|}|p_CL#0dNSg`SyMukDobzA;y~;tRnVe!TtmMKOp`C@;{*d z1NuK;{sZT|XB+A9a!79$o!YU@hEW*UZ&dR|dA}-3tE66x+l;BTj<$}5j(q0E$RtBrnMXtRM(jWA z1saRfA`gZ?VjzVYH83_QRP!*Q!YY4=V1i4i&O~C!O2or@<}Odhe!qKJce!1;MzL5; zu~8XFVkS^POpN5xj9Z|oYfMW*Oeq?;^GL6c;J623sV>m~QzXoBW7^28-e874UIvpP z6SphL?xJ%|MhDjrtB6xXNxTJJ*kmxaAL((F(D_7vh*4y*)??i}_fa4{rcwxQot~l~ zKL-i*mt+sf0&}~|1bL_6dmIoZg15gl8CNl#vq}{cL>rBF7m5e} zdBVvEUp|`wagWl#R~218E`e5=0%lrL7(`jxrH3Lap;iNbgIqgg*JPxab83z8)N|MwP+0E#+B~i@yH-suDBveE>5_KA}721BnoM3bADQaq* zdRJ}jL$WoC)gd_-s$1}HQUN-=doOX;*P)+EhR#|5#8*`{TTH$xRa?&PgMb?TyQH<2 zm%&Rw(F%~`Tji>NSD&NJb%Y`7rwh)$Cx;dLz-{&_4-lYUr3(9J%DD#PO)#ce2ic3W z8G+=?tH2#fc=w7QffUPbg(ukPtV{T=TMWw@bum43;d5}E)cBy{j)uNF4{4_tc}E^5 znR}3T%w@mHZ)0GZKg8?Ze&B=1>