From 70b605e84fc14cbcd8d7af5d3b8bf03597be7a52 Mon Sep 17 00:00:00 2001 From: didericis Date: Wed, 27 May 2026 00:58:02 -0400 Subject: [PATCH] coloring_nested_tire_dual_graphs: tighten abstract/intro for moved Def The previous abstract/intro still treated "partial tire dual" as foundational vocabulary defined elsewhere. After moving Definition 1.7 into this paper, the wording is fixed: - Abstract: now lists tire graphs + dual depth as foundational (from companion paper), and notes we DEFINE partial tire dual here. - Intro: removes "partial tire duals D(T)" from the list of foundational vocabulary cited from the companion paper. Co-Authored-By: Claude Opus 4.7 --- .../paper.log | 4 ++-- .../paper.pdf | Bin 605744 -> 605784 bytes .../paper.tex | 18 +++++++++--------- 3 files changed, 11 insertions(+), 11 deletions(-) diff --git a/papers/coloring_nested_tire_dual_graphs/paper.log b/papers/coloring_nested_tire_dual_graphs/paper.log index bd2c1c9..4d55b1f 100644 --- a/papers/coloring_nested_tire_dual_graphs/paper.log +++ b/papers/coloring_nested_tire_dual_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) 27 MAY 2026 00:57 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 27 MAY 2026 00:58 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -258,7 +258,7 @@ live/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb> -Output written on paper.pdf (9 pages, 605744 bytes). +Output written on paper.pdf (9 pages, 605784 bytes). PDF statistics: 151 PDF objects out of 1000 (max. 8388607) 89 compressed objects within 1 object stream diff --git a/papers/coloring_nested_tire_dual_graphs/paper.pdf b/papers/coloring_nested_tire_dual_graphs/paper.pdf index 607c03a4709f03cea5ef29ff0ddd3fc493c4c87a..ad288260d62e44a5fe56b4a7b306759648005ba5 100644 GIT binary patch delta 14723 zcmai)Q*b3**rj9Jw(aD^wr$&X=ft*cyVGIENyoNr+nVp6skxh~xp=D9u6nO`J$t{a z@sncplOmBEoSmIL!({=K2H35um$A``8n9zjBz5Kvc_14&HWtF%S%uCmbEWXU`}Yu&B5E{F;d-e-KAgWqSRWu?UA!6v7ZJ!A<&Z{R4Flu3FD(7O*U|0O7l~Wuvl$*bxHpTASUDdh)m+{li ze`!-%XMI}d?}b#S4xAKnjK-X|k0fzgzx37P$l;${b9A-Uw?b5YKaL37cgu~M(OP>l z$yxFmJ+zncXH>b3&a80^oLu+OTjWVlIBxT3-Qj4arIgHJi*_;lFpy}?3%=KvN=&oM z_Wd>5%JIaz(}v%wjW=~NgEZu6klH4$mKGGJuyjax*Pwse1hkH+wx70nA$BqI$xI)9 zxE|!Uo{4SAkfuTt<4gay5@0gPU$X($kxcVYJY1i<&EJ+ZRUyy2b#*0S{*Vs4a`CC< z=xvTQbO?i;B!hIfEli%s%BHZLrt@UmB%T6lQYK~lwXg#8EDT2QIP}S*MTX^kRebrpni$(Nb!J{ z*+zXn8_N8f%!4JjBqv)W5Z2V=+*!d4eijq1U#2}90&@4Arq|fEy_D;w`9!HRB04^7 zF_l<;+okQTPQz91VW883Z5tsUi1p3%9;N0}GbIFLX!+JS$MH-sDaE$yzU0+)9e zI;s3Ay#g5lE&XHZGQhrh(9mN@H@)tcvTMny zee!>Z0tPL=y*J)p$Ju3`2#b393|}$Y^@iI3Q(n zsHTYZ|Mq}J)+gqJ$z2t8wk(5&4NtUiYrpOb1gdSC(_{GR1Y6d;``1cy#)HTPiqSp1 z%XnD3Wm@dVSa-b`DM%47Z?p$XhEQF*YB<-!o$Mmkc+5wsVgVv1AboxZ8* z`Y)BZw+tPdAUYr$G%zU3rug9@$Sp{my)7?Z3QMLdjFHcq&(N?0 z75jLMb>Rz0ac*Z1&$SCs;%F#K#q!V$(;eb;lp(P$hFpNhWy+b}u;L69#3F|zc2}4F zEmL@-x-4jRCn$azc{is+CD_*WSedMtK*sK%%0EyChJ_WwM_^6)=gJEkZYUxKW~U z5>|vE=H_s_Rd^t|tuuwuR16~1{XuShm2n1mg!PmWofK50j0pZ1+>hcPC3$7RK-#l% zy&8YG!1(@!gM|ssG*Yt%!2{iG5#V3?AyCwpR*OD7wHksqb?9g<6#J<~rV+o0 z$90ixf#Um*h_r+kWCQX7B|d0;MM!lhe2fWFe;k6HdYTwQ3lHlU*p$R!qAFYhHU^OQ zDItqa0o+W=2nVp)Ml%pRPcPv?U=oq_>phU|E-^wdI^lz+ zFVUhl++tA%xx4Ae%_9l4rrF}H$e^FT{O|4vQRYUJ9$sN=k%Cx&dfvPX!JNXwF1|?L z0s_N_ma*%kFHK5013jk(zW*iRB!i`Qk#+E;WdZ6>0Fw93yA1Vu5nsJOu(ZEF`JK(z z;r{O^_^$<`Wv_pYo~eGJ-~EUmL4SES9pjf*k1aCGC+K6dc{)b1WKpbpK$L>I%AnX; zCkNEwTBbllvmJ6WaWh@+V}?}s`@<}dpu)sDo=1za;p_wwosP;jS9}9@cOGxw3ZCAG zd$>rvrR%4wlrNz><6HGcff1KIAj0ufeq#FOg(z8>DnlH1@RBSePX(Uv;Wif3jzQ5y zr8Piaq{=YNW57No;VDhlkY=SrQC^|{C&d;)M+OC@=;|pJ?I1-C3p9j5bG3kNBSJh8 zo6|u|TvcKd=og!Z_975*9+Ti)JC*lo`3(`ZbbHGfI|$t`zT#E}7(`triu*wo#uhif z{B_tfEvIH=vaoqtY7Lj*E1~v5{>QI2O$&y>_r`nVxu`#M{soJ1I+Pht(?M4r z=r~AHBwLgNBTuH`@t`sL@=60^D_u|kJJo(YL2E*;DOE*vb3u^c^4NBo`Ws5*V8U!x z9RcUG#~*zv0*AN{h!1w=vMZO>bYJAG2!aeDH-Mcc-Tvbc(N4wYGf<>_CU*vef&(-W z(eV~>EL90ki4L$_5uzeePMHe~!uB-~p2giNH!;*dJ!9$H=V`Eo=L8<42w_ds!fyngpYQ;Qp zht7tU1U`R8(_74#mO|M6{)r>^w=TF3I-fGTH6cn!@GuAblVa1kriw2XCuXFU9w2wQ z@Y~lUas0Y2tHADqD&Y5&;1>wk zFvIdxCmBbe3;~9cBhf2~n@83nAdRvBMjsBt4)$5ZUa+AAOm;!d0-I&rI(asW@2fN2 z2u36I7}>~XvKR`qm@c7eh{&S`J)CP+(&gF&;^sDvt3S5>84Dg8UDZ#<&Hv=qSuy8U zPWkhXXidS%fiy*GW;qW^vEJ-A8pzp&v!>6Xl>u0f!oPWgu~!m2j)#I-l+I2r$X2v^ zT#fxd1WtD^8Eqg>Dv7wmVsLTrW? zKp~=rC-Q@q{9|pI6ZA7mK24dE5=;Y9I*Y${8ZbsEam~Erzq7kaH*`_2lZJ9diw;H# zgGdpk1C-sp1_^8nD^p|d{9wR(VP0~p&YPsh)K~7r=z2k3 zPV@pY3}pwCQ8OS+N8Nffy|9qG#H0Y2Z_BMmSboQ|cP`7x4vh}|+!(ZI6 z!tvHcZ7VWTRvHi#z~X+#kgQk=S7u~}X^=J@t-)ojLX`J;lDoPU3 z1c;p;6?mvUCn;{k|MFB8(UdF&(i8%$yJ?E<>8hP6?}Csr$)IJ^@8)m^2Qj+@4f^@Y zN$>EX|K@n-stp=k{UCP`30PrkS^e;eSxs6cHcmi1G6Yc$wm1D*y1u;P6Vw~r^x}Jtf%&hnBONSlj@KB0*R4>AoQa|XKTl{1%+eUvg5BWtV z$UV<%0k%3>PTj4y85uojdp(rA?DubC`CVk>j;WTB~0P^`Nmg=>as4*P!>F6PAf@9+o!NjH3vvHuuslQ0a(6gDShCVD=R=1@dx;_0MO(sJXERGOf zSk6~K6J3-o)5hm-?KBm+c@(H=>}CvyyMCwcwUvwFui)9)5yDq$<-s$>SaMmS*zXmJ z`MNpsQs~Vrw{~u4&*#st3^4B{i^> z`3%~=@6AMf3DV-he`(R9;~Z6?vYyrL4BU-$9}#s@(Lv|Zb35B&u9zRrxgmo=546|v z$ZK}c+j~{asle=lT^1TstA;H=b&-ejXf2{O_zX&f7K6pCyVGEu3Nl|P^SPt%tOp{g z#&jobFxO;!*EFDq>l5h$90vG$(gXWpg(H0U_642n=eW++{2o^TzS;{4O`VUa7?kOz z*er&eWZWB>?Y9UfbBWls$b$_{jGMmw2jdKfh1m8}ntwPKUIK~2&W{!Ykom4kVcO2+ z!idqK6-ow(^^u0#bKgHQ(PPemQiz!%^18q+gC*4Hu3p~dm|ch&)3l` z$#D?C;xxwBxw5{N;Tnuux(sCyLG{4JBhQUhDa0u{H$F;@k&VoR9=m|}q8+$Y7gIq< zjQPkB-Cs-Y30vQr<7 z9qK4|NF!uZ&JOFlSwFxn-F@&VyuGy4>&Hk=|@&|u+m z)SmCrvN6V+Nn(EkLKdRJTX=Bjj(;O$2Fh`jVG*mUrp5h>1cat6a9UqI6u^r>2-7_c z(TJM-Q-H&J^N_h&3YJuCS7pO)S4EN$52o)Y8%cd4(7LzNucEq;j|x&z7LS9HSdl5K zGzN`4D8YC#wE-SZ=de{HEz|QY zl{B+fz<*>dNtrFN8bQfNoCEcD_&RTCKNnZXnWOBDvK%@8jXKCZg zH53}a!G|BS$c_f zpt>p=XP5WK0=wSl>gE^WH)8RFh^HXhH&O#ZX>RF$F3l=6_9XUi(D0=NB0Er89sNi9 zK@t~t{uh?nr+VuTI1)|!K{unf=z$=-=h+MzYm8Fe>kX}F6BQcAHYcx*_Rs4DBH2PF zVArP@f~SKDaz(UoV`AMT*vVhI{2bpc$lr;R<`>Ha2i=Q%zwdfc7PAd5y%BmPUeEGl zuDCctdYo_7^e%;ya?E{gKcA+TkpOJPS z+;gA`i-Tk zACpWMc(iPWNkp9U3}}wNUC?;tYQ~+?GSVDGFD|lcUE<}3dL^gp5gV#@sfKP~1^%!_ ze8OW(R?tVc2~LK8kYI6#5~g$!>@**#9fg3xPtbq{S@>rt5{p1{)5WzkIF1}JDNF`g zyfHEr$NQA#5`Yc<`z|kvYOfT${9wZp)K?~({JbQ(A~oX}(`ko#4w`u>;U!lKa|uc% zTN06)d%2_eXOyR1T5?NuxIW9X2vqmfRimsWqGzZ(h8EO??szRn?rm@Om<#jS12DMp z3~`eARSSaa4o)=UB+frw1uWg9$Y5tA8X*k7k=hUpS4eqtcu)yPE&2LZPPw0RIr%qy zotOv5xd?e!@&Mcpu+SjN_OtXt_spcxzn8i8T+7d@xBXzBMLls#8WvLyfx2&HV#$cF z(aFIO{RwD+0xF_#>7Kc`MPUJeQ~cYJ1;Zkc$NdefJrfD$9N|ZMV|hVJoJ*Kmm>HL! zSq+c95+>W1l3tdH9N&*4?=emlrV4leDWzmDg2Zqc@^ZzyiGa32IfSkanM-_OG9Yt? zLPH2Cu7k5n>O4&q;L56`;0A9Be+RDly{);;}{cVV?c7% zDgscd>y_PcfZDhC7pXIbcXJ-PH1fj|Xf!0ac#~{#l(hgeesmK9B(v2dHPBV!JqrPUlQ7wuj4ZPfv?keW0KmCs+Kk_3VVuSo0>Ivo%71f9QlTBUp|Y0vv4$bb9c2carmF)WNHh? z#zw+I@;`w;1PQwh2^-X95P}WB!uo%da0+k3by4zp%V!0vl2^^gW`nP<=i@0rDFIQgPCkBSc|;Tj zXHY)5i6X3O>8|rMLW|j`+vn~fff}B0WNxOyX-2VNFH_2jc{_Lh@(=LWPqL&Cu;=aj zX=f*&p&f%R{&1|pN{BEopYZMg=ljmAo^m0bn4TU7dt@S}L?}K}-iK@}d~TLeC#O-n zb4T}|ygPk@p?>6n)zX~Mo{`sMF`pkR!8eAA`Z=*lw&E={Uk=r-&t+MKc%yjGMkNZ5gvU z?|oc7_E3z$RY=w7u)f$|Pr|3Z|4uv7kkiY+G;X$!aTSxMnYL%B;AtLheR-|m)sgnD zjXrLxrcnwFOeE8Fc9Kkpw*0pQ}?5%o;K{h2#Q<+ zL^eHxuee4*NU5mpgYl@;*BwU3H9+8y1|}Cm1}1T}1a9~oi*x~1=#s&EsA|9YX3if{ zAnhl-I!7q#6eop8xjOj+qtndv9gnL1atl0lE3p)eppNN7ck&dUx3#GX{6v{Q&WL#L_!eLhHG9bD@=6#x?}{rB{zTmuTk)&RZOh$` z=VcAC>L?|ZC%q+<(Yo_^1gPx!tXPX}+21-eW^FHXk$RC(ru^nD6~#hG$K|7i;w80s z^&^L@Q2g%92okXQZI!qC z|D=#ul0h1dlX~r#;CAUJGkxz`SM9xScSLp}z?q;6pp=M!OL^pa{efU$+<864kbsY0>~2WX_Rc2i4$ zA#6vYI=bm}%&%>YBdP|mQ0i^x+l4T8R2Hm{U}{KR3g3Q)kYF1RrFCf15ux}wrr>DX zG{P9qn;uYLy{$rHPkoJC@?rUZi=0xOX$Uw1?zuP2+v+keHeCq*jabV_MSfrY#1+;V zI;s{PjGJ2=%ExzcvCEc;k3woi0cO%%i7>drI_+9t^ftJEe0c6l^80y>QYuu0(0n93 zo2$D~wA!8kz#IgiT%=nvC-G(5w#?83yW8dTF7F)3FJDOOvX`%gx~b+j;400BMqc6B z!ag92!!f}1x5%Zl&Mnm|^X#a5(vz>(KTa=b_ANq!*q1jYEGDBc^}idquNiKr_Ki#? z^e3!B1_oWS3(iO@It}} zO4fbWx#oqk_jndT)99}~8(SgDxJw=~$ww-7uJV_iVAteocX|85ltx&ZYVs9fY80On zd6W4IXrz_tn;_VUKa`G}?}Xc5$-BQUMXvplJ{^C> zx#4)1=T()fR0XEtz6lqrv@@0Fs{ANJNx;T7i|;^iYthqG*w}{zBk55%ICnsn$S&t%J-|d#UmbAZ8w7_^38v=30$~DiWL;D7O4)2n<$4gjN_t~z}!Gm?`vGsmIA7f ziMN;!%`nlRnb5h~pOjM9X~|HQ?qSI^2)j@=7fzz4<)6ih4-zRAK&qQ>=(BN6?RBL_ zG)zN}a)lhPM#H#dX}8m$K;k(pqbt;aGdJS!_Znw-*-NtA8H7%GuGY{IJ-Pd5r$&{FrCs0zW}b{?@#+I95$pkfh_S<$#t%_bnF~V z+}tJ$bv|hcbv_a~leM)Hr8qeEqO8#+SNH?$zdVd#)7#8h+vl>RZes!Zi4r=&i^JhE zVlhMhLr$z#o=DWM`uKz7fkPQVQeAOymWbiPN3ZS7#~iIR>l*MZtiW&KuOIx#JzH{@ zR<&c`*?HUH2P6fV)u?6gxZlLn*kdSnCrv;|&l?lpIVSck6ng!OVp!KnHdhc75@s3& zSTzX*Z*<|i0Oxf=p=$*8EpG?F549*+@ zH!X;JqvmYC34hx@WD9%|mHl1uK;5{%p!X~^sE{eb(_|2`7i3o&al0#z9DI*i9HrLQHYBQLWFHYl)j5i-@caHEg{(7Y?P8t79Msb>qC9^dp~nH0 z;y1=;BZr+JPtX&N+>SB3N~3Kdg0s>m=kl1x=DffVc;M=KM^rYN1j12lgB-?ffb)lZ z^z+=Xf4RBZuSH7Wttub_QAohu;0?N>vO9)6!^Km8CpU8#l||(Q|Mo=5a-+H)nfU`N z*+cb8$?4OkJ_3$eu_U}4J|q)TRbKiY3pwgZ`5uu4)|?O3OCIy-n}*uN)KJGwtKl9I zH&|ODxjdL^6Qrg`qWtjP_b&Dtq{c4aeK#JjDn2)#nnfJQ(^JB2sbBPD39qj=*A5@T z;s@zE^yiUN?<<`#qMY}*5&dqCwPm;4-nKfo!>7R9%^s|Fj;w-;cjLXISl@urt=H}J zQ&!6cPQpiKa$b8I;J-=D{?5b({w}os$fLeyHfAg_fO*K19wA1VvaKuJx(9a8(U^|# z`OjMK^#B!UF+$9s@(b4wls7A#YY1!-luvNtC|_ORy1zbwKofd9`}6Ri$i&LW}=IbzZYq*LZPv{ zuH*Oi?(XS8sC~XoRtX1S7l%j3YO+yI8L6A+0^e|vHDb3$zRX<7wSC>L0|o7ptp%~n zyY91l3bhgP+zR+=-0dw%7l?e~jD$fuZ{mNT&kx&v{vTq_LBbLdcnta!70r($xrv>V-DdEd415X-GN8UK#3_i#V z;!+bs6GKDcDa=)f5ZoiJK-?Tsawd&_^2+`iY+Z42-SVKNPAs+LKJfXi6~d{El0}Pl zh)yWe7~ojIS->BF$6`#6iN*}@8Ch$I6T&;d)9yy8gsIOv;Oa;-ikcX2;%MQhN!RTC zqA4Bu`foiF(j2xF7E6kui76|trp=?!KejwrC4z|*g<=Yi6l&s){7}3A`DqOvGQC^F zoExU)6x1Xt1v>M~gd=`1X}WVjf=6~}U~qYEh!I&%BQ-37(WNJX7(b9QqyZG~H3~^P zlo~Ob-Hm*$+p}5Q$_c0u>gbMGoSm zeGIG(!Ybg|g}O~*3WVEDIaO&Uu~_w(C}|dvl#b*cz=SK%UIf!VaA8&51HXknd4utm zQ$@sq@<wfnsW7TXQ0W7b*m~kxN6GQ;;_WMM^;4OC6Jq!zF>gqND^0 z@WZb~_H8c{1MSmBdY!6^`Ed-?^^T?weSwAsGge_xW;~m8$Te$+p1zt>eQegoy}ZN; z`3eD;Mvw?Rg>zC*4)EzpCWQIX3*S%7>u;2onxA)4Dm~(Qeblp%9?ezo$9t;SsiP|; zSgW!naD55}>Vba~MC(7Gf@JmJL;0VQ_WnAdid~nSEk)1;3p}A-ElTa(cJxX6umJON z2{j(}=>s1>EmVlKdXI@_ zu#cuy-n!laf;C891(-*MtOeVe0=NwAxn-3B*hrL8x$8fQj z9fFkDmvj#cEExR@K|$wQN$Q;AM898wklFd*?DuoRxQBu(sRU862S=5g8FDKJ^Za-j zA-+O=Yl&7<7P%K96A9+F&&G2jL^J`6%C)Nqsp$hqAk9cLfCss&!+c@w1t8==wL;)( zpF!)YJ~uq|U;SVGFR5GQSjSmNpxFsEYo-H1bJT0D?+ zINnjqj(pno_N(ElNqSKWszCUZrQ~HOMD~uUk(P3oO-%JQr-;9CL|Q5rEgR`oEz$X| zIagV2M5zKlVWu-ER*(B7;^mc7T7dnA9jKt@C%wwg#K=c54OHa}-AZL}%&y4Mb1n#8 zvpB9PB|mPf*{DsZ0W|XnC$vild%WQ2WJAqv^kxz;RW1jS&f%O zqSaCk{G7YNW@{;}zbtQt)kQ9bZOFf~N%3jT0tur2I33}b{5c{Shx`f+j`OH{Jc?Ej z{Z;v6*yTj1oWOLkFW?aSamYIb02;@|E^1|0V39U57YQnHPf*BDI_G&(mwzmnaEY-8 zIlPtw3T%N)K#_!hH;`<#L&^XuC)TDssrvU)V4Ltj5+KFgTeeV+L|+lQGIAUK#^2j7 z-)xn?R-2(@Sz>86|6%SVO3K-cp5G_(Zv`XW@xG6)M2RBIBhZ}#4K%D-j6I`(npP)F zR{U#--7@5zWCmr9bVC>}|0z!#BP4E>SK)#z&t{a5O3pMEM513GNpMtCKY_0>>veG$DwuLOEY2XF%4M zwJYi$IRg#|2@r`t$Wub>Z#)uW3%Fh(?x?65J8gEL5++Z59>oet5~@0u248(}9_LFP zO7}J|BM+&F9G70}aQPwwaovnwta-|Rbu#Bh_v(ADDFPVLOzLuHdBzzMP0a9+MN4t2 z9W0sObtSi#(uZh}(wgU#9f8v8;{8La7v99sqR2GvRY2hplW5VZk4V%ViRg}00|+t4 zlznDLkV9HI3L4jW|5U}lMKT*V(R~2(aJJ9@y^;o4GDnRP-d0c|KU(5h52^uy>G)G| zWl6cz@IXU8aefha|9VbHhi$t;MBU`4zK-m9_9$!T97_mEa1;t8OxR?lMl>b(WD{zo zq<440DIjaGeUk1rE3lezy1`3N;*8f}o!#!O)*mUsJ01`0Ky-ht7_2BaPop#*Ps%1A zDKtV9fyPf2M@nqc)AVfN-5o3p@j|-)4I*F0A@&gB52{pl`ayO{^20xJ8unzp2d2HP z*dsgVRLT)F)4#6z)FhJz&6>*e0GwR^SkBjCppNA#|?1mN( zU)+G?f~|mg-F2deU~{FbXo>8_VncAQkhccNtk-p^K%r<_A9hrO0+*y>Au^|KyK`b{ zjFT#x)}fiM!q(P9Iu`^>yr5d~d%NAOTW}7Uq0HhuLV=;ALa;NifO)AiDhqtVHl?`n zU|_*i@fdIKd3>J@r>}i|3s_mhsawdte*8W_8(!PRIW;lm1#D^%M64rHgz@l_%Xi$k zZ+OlziaG=vH}`GW+%1x7|9W(WwJC`rC=#T)YG1h4En(^k4D)$R(}c)Ycr;PMdOfK) z!Nr^vl$JAdD4Bp$OVSv~KZ8jJHSQ*s2ONPM*9a~59suP1a~aoU;Rem}Nv50v~Y$yr@{`f`jA2|Lh zUL?L28936;aj^B49SoxM!M%b~4d|hTz>f9w!-Z(pNtRrmDU~W=%&HzDBJDM^v3x*K zSZX>Z2!%`*P{>Z*>R@mOQ-DcT4{1`B4GE8HlT}s^%+lsS;bOTyvB7F#!LHVmo$J@z z$BMt)P7;bT2PB<~DzsLSwzw;F13SAAgKE(|hx{m{ejAmiTkZCof?NM7#GrJA8ss4~ zWi^q*=B>Z3;)N>=DO`*+Ln6)+2s8b=ZAF=N(QGqPdz7MkIUiY(cu-e#i!mA`DQk5r zIFkYy%>gfGBUc4+4>|p>BqcVU-8(nwxwNH<7$c0ybG#^PjB(LdTj@kB9_UDn6?mL@ zh;RoZM?c1ZFB52W@TN;-HTOF+vyULZnO$pEY{Kg)E*VN%Ibuy)U3`gx_uJm2*C9RRpQKvxZl+6JbEBWbt zvM!Oyu>g$Tvi+ayM4OJv1;{o9cFr=dHI68KM6wO5MnJ z_zqU4n?R*HY>*^-cYwjs58Ua-%T6){!+N@Vvk2(?47|%__JT94^NAp4`d?b%-+ z{fWJEzmVZX&d?EPpW&;`(;%E;!uS-TR`Y#&u zl$E5ZC^M!DniXPya|D0VegMv)D`>Lz5)vWGs00af1rwyzl`n<{COT?&j>gw@vl((0 zwescL(y0=T**ph0$r)mro3f_Z5g-}NswmfH7o66l=3n>j9&A0i2zMr_)xKHYwoc*l zFM)u7JD;BdKH$fUpbRK7lN9!!f!kQC$F)cFi)d=N6qB>ti`+z!bR{dRS6EJU?*C-< z^jL$l=M~f`WP|Pw$NyP;f3W-Q)Ybp_@qNFE&iJFm$Kwf=E10@qo@`XnB!ReuHbD3@ z;ohc0O_13rwezUPwZUJnhkhpm`iL}uz3x*ve*8}p9k4fH;wELo2Eg=VV3@XY^z{0d zj`|20Zz&dWATy|*sZBJZ!8e#Jz7$Yl4nij6AZflaS3=AO{T}9vofK1IWRVZNR z6QmV27bpipz1JjM7B_N(g=2}%vMng|_IZpOcxS5Yfe{RfDMA{@`C9b|hDh$pB3{n( z3VC#7jUyB}eCF=1X`s1tQgHwuz&>R2)cK?S@JZU`K(vrScoFef?&Iz!Fzn>=nVlh2 zR8>D?Wkyj6nY97Yl%XU9-28=#-9t@q9F!vsw0o%m^OM9eY%c>B6|xrv9>>%`E#LT_6C z2b2=!iWV{V8gBzItJn`rEX*_*`TI+BwI3NuQW>TuCH#|X4CxA#*Xy!BWbf_r^SJ#c zyxY&H@t=x$Oc;(KIHX*8X+u$6bx4NN`h#0@BkH4P?{rA`f*g;$or|(z66QwHQ|8Se zhfM!?2he$Si7AWgTDcx+bNc27OGk>x1!kbOJfI=7{T@E(Y%jl9r;G>%3|V# zuk_=x;HUj84~$w;93(!6mps{u+LPLTc|Lw09zZWb@)<9-&{?}^Ez>NkhOyMbkqhIy zNUA4|83Bw6V{%xYzs zqjgT5UT*@FEnO0_K!CT`Yx{a<(g~ik<^>P+JvaV4HZ2z%7d13ApPv%weaTG7k_1D( zvI}S$Ee5tHD6jNx0O(?^{OS0dJMY_vJKImc!0;i4uqBD2)Pe+QvIgl9@Qjhi8HPGz z2{RGI`Rd}_G!*%@a7@7?@7X+x#HtZl zy8Jyr=PP?FfB*R@2Y=HG39S>)2rNo{*_rR7hOs!#v@b>p+Ha&mMtmY9FnE$_f2SI+ z)}q)S0(8x!vpp-mLANCfn2PW7z2X!v=Ky(I~J6A;k-01EzccWV&jAll|r3O5kOx35SD^myibf$)c2QYh&) zv;7PdcI$=kCLw7F`<+z7=kvXPn;C|Boh;$sY^%7VGj%2Q?k>zW$^;5%et;zTuc_Vx z(gi85iw#tDIHY~q77*IplHiDkrWX+g|A8~`+ZB39RUF5{d2Iz1qiyjaTTQhI@IM;<~C0a`b3{wmWt`CI7vT!-nk1KKbuW4S9{ z;V@GL#ZP_d>Bn2q#sjm#k3U8CUemN40m8U^SHLn`P}5DIWaY+>kF-X&6MxQ)_Fu*I z)&JW}GxV{oaU=zK#W?0fI$f1A@Uf@FhobTyZR59!Y8{Jel8b-91!$ivo<3I1nY!8X zdQ}kGzW-$~mCG6eBV4JFa#U10`TirOq?DG2Lo)Iv2skHd-R{Y_OgzwnqtAroDN>5t z&dr`qGmXdwwvX5MEihJ|;iv!iZDem`+Y;6PL$L6~%Q&TyRcT*9&C_JjpI?Y)jrqTZVjgWIR8gn1Js}a-0A`L!GaYHWH?5;mWYt~J( zIEKu?Sr+hjt>C&zB>(tJ;CciL@9LgF;D%hWSyk5wJUsOnyOSI3h)}v-95!&hq%&D# z5PkF**&L+w8ed`J{AIw^acyom`#APLBUt$czRNSr`a&OUFU}Kr`!!+-$#xrmZz7c4 zkb5^7fqx;MTGkNX1}Nd&kykeBr2jiV0jXpA5$xc zrIka|m<%qdf!rVHA)Ub0j3NYB^b8L^SVL8IHVIZ%F;NaS01pS32n#2hBo9D@hns^# z5+K4V!Oba1!vFsrF@R&1w{Wy_wWFh%K1p~_2DLD)mf|0wOk*uA`TI7!7^!4g1 z+q$)sDxEb=&GP4F0X@mtGQGtzv50yV_cLW^Cy&TNA(G+TQ6Diae>sF+<|bSt2VPyL+WJg|;R&EF&O8 z`np)w8CMD_Vxj4VYa^=stJVk0r2e_rWV9tS#e(C@0e{exzD_q?-*WFI)*f{4iI|hO|;-LLdb|O`RUe6QXPM{pi9dklzB(P zK@y zq)~=C9||y_5>Mi@!jp$DskvN3f&x22y)$w1r)oX!a4OUmIhmQ8Fu8#_?uIxvOsrYu znuX5iK&$u8Z&sUt^V^W~`!1^N1c_E1p@2PEqQqrdT8M>hCH9$?+;8JF!0NEzEahYr hK{af)9@A#XQ!@n^KAPAcOsQJ zdWHo~)yTg|YWRwuhp)N=*$|ue?jNK{ATanj(;j``7o+c!&8uUxDv8==7N;6)=f;Jx z*;;lXF-hz1-Y-r+58Im_x4U0&-^NxdT>tK`hTqre`hJQ9-0jJvp<$&mp)PUdfK2G-PC`vA0x1LGw>PkJDwf&7mrf>U3Z>S(+u@nD={+*+p6dmkT}J=AMa<)uA~W z*)ztl>7j8a?bF|J&@Dg=1EH#D)ee`*ua`2-!V<2nL@qn`PMWOjEyeYnBVU(H4(6nj ze=*5Ja(CTRj7E(DwW))8e&b?QbSeIArh(~}C^IVU5{PWpWT&fcZQWL$>DqA~l_9O) zjAB(-3eVOPQyg>9MVK7BH&SVB6P$h32CltxoP``_gYN>pUN*CcJM)hDH+)Et32 zTr49*iyO;2G!)~X)el(~X_Q+By!?C?Pgmy0V*m?l0}Uk6Ct+TcX8$H5M#>nIO6ij1 z#|c7p^x(lm6#WLL&Y;e`wH8PI`($yez}spI=nAydt^-!pw##Iub5|YD%J*%v;trVb z&-HJir$chKTy3v~#q+ZrK=wT!Jcl1sp0*)!L1G$~r|)w@YdS+g6FEMl2=decyrbAozlQ||1$SUZrxHoz5J$i=<;}> zr|1h0`UOnx*jmOgW`1K7R;xMEWwJWAuY}Smc4VKDf)yY>Fo=?$WXD&gl*9EbB`5-u zVp|)^Cf#-lCah#_;Mnk7$y|v1E7$Ag*1mC6&RuMzsX+s_YZ3L1NT=kjDTT9~t|cvc z&85|A`;wkJ>J&xy2aN8ajbg`1H081B&w1ZyxHqsX5A2EN@k6WC;nACivn2fp5$9s8FEK$=8?|Fl#?y>sJ= zCo{n^_tn@U7o4*W?`E>&+760R;&?DG>`M4I*w0Z-o+qnZ{Jk(NMCPoz`Xl0F1VY&c z25{9&eMb#X2to{JrGuVRBKjv#glPN-Wi7W>$gCPvya1A6(-ndm7p)7X2YX>gv+xkG zBd*x+iwtAFT4B{;s_oZrb&-K2#yAUonOJc^AevfjuenGml;)y!GKVlQK>_=89=w`& z_W}F{Y&?f4C(lA+TCw1?#wy#Nf44`U8^~7w!XeZf0BCP!DQqj=Z7d zA{SWcs^Ng16Gbu&Dth|d_HN!NXAEX+yJ6SF`r7N3n7WG0LZ*J!c!5e~>$_L3$`*h` z*-M2LYY@Z&5N;j2ijju`5uqRxURxbt>ct<$FkpG|w5UYa?mS=NUdD^?z>U{f1k#1j zUW8}={**N>_vD*;UD7*;;Xkm{VS&)gvK*(r7`W5c#8Dh}=Zs22EMs82Q>Qpa~?~#Q^wR;!?*RD~x?)T6Z58Nkf*qT;s#z zM3@bm$!#`LytRG1<1=6-Tp2jP16F{2<)A6#3gTOwk4U)o5(u`YsK-Sfe%20L~YibC4PAxlUJ%Y_&P8Q{oP@C};?d2`PND_%jdn{KfFH2t%{^Sa&JBAp^eF;?klBzW4)zSfT15#jpk8Mx;2MJmjcwSOj%`x$nlj-9qzW1 zoqMAYXv2NF$)`#{3-YEOCt_K+XjDtNbu1I#j7i6U)5=bWF-Wiv4lVj4?j=Is7zOA79gkt*cU&J%d!sC+2ZZy8()WeYje79mKF*3Efi57c<0*uSK4IKtg{WPkw=q z2KxI!cLB|7+uZ}bN0|K_h8Q$yNX*0X7~>Z-QV#{<{dXUUzwOgko8|qseQucqs)u}T z)i4-xQ zup~mozXP62qXr|k{Ko9M5niAw`s&OM$MLM3+oW0ltK5JdklES#pOgzjnPy!S^bd_W1SH=*YW9gb;N|fQX_%rSYpq%}cMm1433R4U%=T}bVVt&&>fxy zv+q{GY`;P{=Pe0rK)jwZdgo0Gz7Cc8P6J$Ls*sbgu3$qJ5GVE@q!k_mmo~g-+yy_A z!KVY>lPEfLf-G%8c*0yhLh3|bOYT3sc!M4|`^%yk@L3BL&7wK=e9;swa!#Bp7yeMR z#HMgIxkio^G7z{9kP^%FdS$3`spK8$`Em;2iYTZN`Cef((WW9$!38q|tVgGF`~{7O zyB%Oh2bGL(XVaxddc5~X89l~}&34}UIrC8L31_gB*{A$mkQs{&qM4Q^RB!Oh3TAaNC>hOyyW~2}3 z{JZ0D7#*64Vrw~y%W?|H^~{=RifSfezg8v(&b$qI}ISj-cnEl>Mu8y6Q_0 z`nuD=5Vxlq!S6W$h?D|IQYx0_EwEE=rFieCGVrafE@9G78Ok%5u<6GwI*0?y{m1!< zM6_S@5RhL*I9eKrs{ypfQ*J~d$OnLPh|%~xADS5ClokFW}WDcpU|j;sQ; z$e%LHG!rG>T9ca}lmF!za!UZ&_H?I2Sye&u24HKlYTKxYn2OeMd4U-sZzcBbvSRJc z*irUF-!oUkll=<%dqmBYyUeBTLtys=cC|4>Zj<`u*13H;Bp_^~Vf zryb_s{r(xiVF!jL-=5EMe8G`IK)zYM?@fri|J(_&RP=--DPv2^P<#M>m$hJC&X=wgjj&YK2*=MsOXarQHH3Q9j^Vm*fX6%9Q_u*cQ zHB&qOLRj>lpVv$t?La@Sf55r#{M{`lUY8N8x`jA0m1?b7NGE#icP{lOB7~nNuR7|P zo0H$B^6)1i6H~@4r<^*6$$x&27R7Lm4wR`gvvU;>?$EZ)4`YrnFLCX`qA}BZH#lP9 z#+=j_24)_|NR^9L7uBIXnglssn+Ln^hGe2Qw&J=^7r>ORIjDP>=>Xp=>9YN3H|xF_ zSbp2VEEoN=#L>AMG{i9a9ShYhgRqQh_3T(OL%V=yB0e#Uyi0LSUH1Xikp)W^r0HVm zlFw`mQ!YjpV@L)Pr4qsmNH!Xw5ePu&hhsf{Ac4h^%@Cyb%nXRRhxcbNwNF-c-s&4+ zazN`~6CbSkR+;LM`2;eC@;Sz1G>h=LD#rJsKhc9c&p(&t(4}EiTNF@{BtYB>eK;8R zBr%T~YG<9FJBGuQHtV9niSRuDjYaX_L_>ZHkP=&#G@+na2f!o>ha5Qv!1!99@bJ@P zezq~#>?JF84jF_h;|hwby{TZ>bh+VV(R0q!>4r^FwdmLik^^-|Q;Cz-PghoAR@$nT z@&aBCQ%iSae^D&Vm}S30!0IQ3F%OUHd*7DtTwR(i`2VszJ4E4kv-BVba?r6T@*>Z~K<8U$qbARE#8nCer>e8j%_xqW1(<+COg!TMP z0vaN63$;|Z4+7Wu4cOiE77C2?uP{X{R)LDVwyXSln*HbzQ`gzk-+uyz6I?LTU|sV8%l#9Jw%e zQonRJ-LkoA9SrzJ>?d2;dw#+S!6Dzx>7kv>DY;0wxC4Izj|j8d5K8T@KS5s{hzBAq zLRE=Ra?q|lFkvsT)-NyxL{J}tsX1mx$G{gmiU`mOlc`Zx;PEduV*$u z@vz$O4sgn4o3@{cI;po?|7B401npi9wkJXsqXiOR1ZYqhsONkW9)C8?!|jLu_jGpI zsi~Z`^efpF%rJ|3koYt{ap4thyd5M2h%jRtNoaO9CX_a`+SRDtz>5h^5~hZzAxJH1Xp0>}2qg za`bNgM-q*fH85@jhgW3)a;_;+ph=mr^v{h?(pHKDt3La_oI&~n5VS{9U(Np&d%#Ce z{Fi%Nj~G6JYHi0kEJp9tz5^s$O}qAU(DOg7&69Y6hHwMb>)B}3->Y*-7+jOqf>0IF?d zk^FW9DcP0=fn`x2VC~1>I#@s$69hEpJEMr9N`OK}Jrj|cNx6!a+CUq+|El)>!8m*EJi)`)Bp-xv0x=6 zjfyBz*1X;6-t?9KXZzeSglpD9PU{|ULczJN3Ko1Vix72P~-znE;TXE=Y?3^}0q zyT^~3qeTrGti2U7wCzo}sQ~kEff$}feM+ds_vH45oWerB-g}x%s!I*xO=7P8Qj7vZ*5PaMBYPJ7!f|3{yQyx}Bd}v)lr=cH zTV*4#Z^{!)yq}o`vQ7d=dPfXGZT<<-6IFJq3?7A3!Fy|Cgr>GTCP4Y&*~0NW1k}}{ zQaHoTd(F^s^(DbDmH)1a(T8aE>v8l{;$Mj68b`J@4k7p#3dU}c$+FVLpv_-{lY)Ln zLs$MH&+TE`4j5x6QB9V`tt zZc56odi-$r9+a5p)IG4;cyQr4Q*ka;BUR%FveoB-@hgLjedj|=06VQK(f&L9u=V_X z+(ZGje306GGi(ISb+>E(h3n*^XxVwJ?}M)dUHmagn_oHH!w~ zw*|0yDs8F#ML;PE<3c@jI5>zGFFksJzONq+;jgC_fZUw-)R9TpV3ct59sVhj`ZA+$ zOZ3k7Uj5WV8F0r}P~RaoXPSmU|1S9m1Nw~FYJ{8Cf7_wmGdz%sFVYKK<|sYyF_tMv zB$n2X_KBbg;^(SLvfhduav8sZs9Hd5__nNuD9J|%9C6~v=uuJchFZ$t^L3ZpBs5>w zqiV7>o6p?||BVK~JztPVC|23*!Sz1$*;n^1uvi4YN+|7g;yK>GUBFrkf3(fXeOmaO zezxgWKm8AyGyIYsPD))Vv!FN$d@whaLco| z<&x!lK9gPo)2JgW<+@6)Mz+82eE=Z(!eUJX@Adg%S;dzimwPrlO?8!}u7O`C zT~@T6{xPCLq^+sA3pk=oOp1M*Te5*IsgH5kU5vX;Uz}|e>k!W6FWU!qPAs4(1&^Ss z^GeFJ+kV&2DPeXI&DQjmo0=QPF2`}I8J9cyH&yg>E?!qfV9{t@%}N}MNTh<7)G%Q5 z1?Au0W}fizCR?GuW*jECJL`m+l=Ul{IP!*|SuNzEO`ux$`dE3LD1kUuq@`i4k<9*9 zhR!h@NzAaEEHQLC?eSXzBfdbV-Zjh{NxgTPzm{+m!Zc0xY}FH_K^Y>#EUj=*{IRpd zn*9)dcL=s~2v==5u3Q0<*eHJ*;*(&CeVakC5Odii&AcA1j zPK?R%$M(St3tFZziiQzUJGqJhuKZv&hqRy%(?&u9Q6& zG;?YrJ^=mBU@cp|C(|+Vi~bF_!eOhZN8HnHQH0jsg?dmnft5BEj{%^bgZ*Y~;WJhb;N430!4646z8)RHmpEj%jOU#=-GInyx&(>wG-uev1bm)3ghEMt7@N_R`8p)i)seuK#%bjH2Lzm-S-Hd$PI zu#5}EEzA~&RfPfxtKDz=j0~QquAk*q4Y=j)r}eZn>e5le;3U(HIvt!}QO~xH z>&EXRDHWk!wD+wLN^f!x;yj2d(VE5^9)k17VR2IaxSW$1K8q_gH z_?+TNQ*fa93b@tI&tjkwa-rF(Dn`gNRxOdIc8b&Pq4Ena8B)Q$UjTqyWU zo?|Lfe5|8ly4S**%%Q|J$u_Gyc3EK01m50$^$*u8{e44)17`Y3g(g8FDKP@ZU)m^ z&g|S^kz%A)zr9R)7|FLxl_XaGe!04scegB5lO`6_b$%=^2&L|wQC5qmHfz!_!^MGY zVsOOWlJnuHWNHH4r~m-OAPh;CQUr(OAwAh(Yx?!9>JbC3PGbgMQ##4ELvQux zOgIppOXH~ES!99qdWgt@D2Gk76%KUm7#hr1TaRQ9%ouC=Vdw^9i1w8huJ~8nusF|H3EE@BbhM)cFo-LUKawK4u5fSG z@LE#s%Za}GZUtPg+1+y;u_%;0#t9Or90))|EM5EMdlgLg=q%Ar+e<}KSBn7M0r+N+zR-~#E3l z{>r0r!sS?Q6G(+r7-I!c^ht*8=jw_W8Wo(4`aJN8bNNUCw5>yNc%EGDZl-)mo7Ipa3A zo@@81Oi31|m_lQwo)*7ZP$eymhqFX%)x{wpUjzIR)AU;#FAk;chuolzG60y}!vaKW`k>y^BeKYYIE|)QE?qO<* z@%;&2+QbFzczl7r0BW}IY^lF1Jh7>lvmShRL;yH`CTlMHJBGE*Nwh2tPB$Q#UMs{L zhv;PQlWwaMOdb-0ZJe}`YT}eYsBP)$7gA#b;6dP9V*7P9xD+&NXpwWI#azb4asJoQ z0D8W1gFyF?b8lJr12;RKlR-0&?qcLY?OtLsB**%N{80H&UfA7|uT2HnE=B7nWk{}{ zvQaZMeD*fw)fJ`@^wz!R00NLAlR;w`Vb6P;q|v4HWscUp3?UNOJ?U|J+|q7ybd--U9Vqmkeh;fM~M}ds|7n` zOKSbW5vZ9-0w@@Alr0ifR*`FSAj6f6|KPheS=5*--h;T;JfjzhmNgXS+`DCh?I8Wm zw_Fh1shDGkTaW6H-|K7u;Q4=SyB!l zKl4gDwJ*)>{+vG603wB{E9IXl0%b|PKVB-sQiae#5eejF}FVP?-jeED`S zhpp)X=6_($V=9_5e@JIt*B4^}>g-$`HUkP!>QMX^00#d6Fn0hC6e%~P$nNjiLZeNz z8!Nrd32cOHJbH=(M;+2<%}UfaQqCbf_9UoN#gFp*~jwFQ*N>D;}tk@E?TN0rlD}lt`yVz7ypA z(L}W3zo)X!3lD`xd3~C3G!I`dg>gP?BXH?htrZ|NfGUYj-m6>$RoI)^Tu?c9gNxa2 z&^M%bl5ZJ&ceJ=37UqImsdt^t%qAIT=W8}!U{Gt@?Ei#x4ViWRkJ=AUIsyF;u>S!6 z4~YMO{12%AfNoDZff*J0?-Pk9U7He?`2Plel(0i!Y@F#LRIqeF)lHcd;A#E*p)W^j z#cS!siW&tu2_7t#)P#x`a{=-k$jJsJS7!eYpRBCCG^Xajp_)kd@+D7yvpak-obm)| zlxU~uv=X%*wi%om{2_P?`s}1=^bntcrG_{Gyd6AE!FYuz?Ri@aeFfer+!nJNL+1K<>(cx3jFMFQbw!n8;V9tOQhg4mG*s6})VvnzyeCUnKMNG2D8 zoTdH_SqhMVa+H6q5CLsd!~5&2ing+I)OC(uuAG5ddW=}1P$p};w6E2pSKj_A3yM6eRhLSJb#AuoYwk(B`A$c>a3J@68 z2P1s-ApNSU!H{Lu)f&4L&Pt9UhH@@&OOr3CKhz{$s$bQp=eyz_q}_s=%AylSd6`vi zW-NeI(92D4aKr*W$|>Q?^=9|ACr%9BQy%-O?g;+Jv%cTsKe zW$(`)aE+56_L^B`aulV*3HTc7#42#cCZ6fv8U>b}4#fB}D?xS6aZpH-9(oGUdK@o4 zcd#Rk9T)5%IdUGEx!|07&p(i5W^L;{H9|-2!l2WQ1um+rfd+7bQds!c=5C?D*mMDf zH94RnP;Qz=PoPk|sNvduho>OHsa60T%6gjb$o79<{*DP2Y#?|=k`VC(NZYgVoOIHf zU$hL>5-c>K+YYOpRzp7gyml|#w%68s?j<^Md&PufOza0g#^1MydiA0!g%6LKaBF&n zitWLG6D@3v11RzE2#2*2Wg~}GV1t3nS&LAJWSxIDTg%*aF-x+}Ahb$^paoC)5HmF{;-ll zjA8`>oYYHiE$+?G*Ar&M^djzW35HaLs%ZE$|Cwki5j0X_vnA9PTA3{=Y5|}#d_E%# zHdhPjKneBU-3>hlh#O@rJ4&THxfXYh32;8> zjS9j`t+xYNepw3K2H&@zUTf45DLM$?}s z)PMH;ZAl|BU?8GNpzF@sCz^l`(XUs{^wnY87CTSl?xZNowa~j(^B0(ir}0=^vmbHk|C3dF8yf9-mVl+`8DpXsh*Ki!b-*}u_hITcmqR#)Tw~n zBMn=eegsBpg;vU)CNqAyCmS6gnl58lgCIk`3;#!a>Wg|DF)WD7EU*J4p`1RkfLi@- z61>UYa`9#JVE~_1%*(pJW?>ZqCA~_SU=t+1H6`_emk4-*dwSMFMqNxHBQ~%_BEBU8 zf3=#WBB^gvfS{f9JkXZ~fJI%{V~vH0fr8?~FO*8?2~O?MNkHK9ic%~8wu(V9jaGYz z@~Us+?$f`fl;NUT%F>$jIX3ASb@_{ojfFagi2-wbRYU6bcTMKdm6#tL+Vf5nuDKJr zIaTw6T?lwBYy_?ftA0B`RvD9+W4Ll4wdAbpqUM~}0crNj*(MKlM_xw|T1U&7o}`R! zJak31DN%EgP;bsXj(v^fzd=`llRU%%uREz!f1h+_4woVxpI33|(zv5ypGS8&N9*

`Pfr5@uMsG8%~fjp8*ilcm~$7Nsa_)iSD4kNOm> zOVMToph-xT@<;5!JF7@_r6{m8lk81O(&B}b^4*sUC!FHswa1IYfo6zoY4eJNAld8-U-Ie8L+J5 z7Xc$X_#RwhY{{jGNdv5TUrARw$4{I?;XX~PshbtTNwgD-;+;%cKxsHKMw9S4^5+JB zJag#O5K>OVc;n$ys$t~sLtJn@SSTtVpdutmBDy?THQ}iAoH{Q2;II zG~CuGJ6_Z`%S(u|m{VR1j9PhFWaqe*OTdMWNWb@sH~b|Ott7TtbkkDfo|&q&_^DB& z=D#5ytPeL;Wt~kY8v3w=A#w8g>!i?`jI!Jb4Tg6G;|Ei3;)UYt5doWTK>-@4)2v|p zwY$1umFAx(yvC!J?P(&y(G*su&vM>>HG^GV(PAf-SQExf9f;Kt#nqSFDQbB4p$t6UtS*~G_e=<=r31gjnS5k5WoOWhB z`mgdQVmu-9Ms3EHt#zRYo2^Bbqw!f95fZ>M)Mz6LJyEHEa!wW%Pv~|_qd69?_~{qj3t7dq%6>iPu@>He7r& zNFMBOZ+P0c9QwhUog~55c3{g;Ar7UdrfZGtx+kGY2?^-fuNW^Twh=d47Hramg9F<=oyW3UxgM|e=42yq+ex^Cfe!=-ytnnaVOe>Q`m~H@+o!) zaqn4}dhiIsT@4_fkf11%Irx-wSh6sLa&;^V4=MRv(?Uf4Y09nSj&N=Vt1&Q#dIa$LbvU zvkKE*ozz&%a~DmzY12fHRkZ2Axv9&C{$<}6;Gdmn8e|N$pR{kzmKPy>L9chr`3=D} z!T{N`+UEd1X)M90T{)kzs_K(;ho}K-hh-CH@>0 z)w0*KpBKNtVK@(@ zvcRx>`Q3TQnsYF%*^5K#w`IgXnz>8^)(N^1C!XA#e1(2sz1yv|wmw7IvB9yiH#8Gg21;eH_1NdE?XW+ZV3RjX&BK8s3n-eO zHcyW&s8iT!{l+RkD;;=T8aG%?er)=1a~A9b$pu{v%ba+kqMqlmAV>Cle1qq0l~H1> zXNs%l;qISSuTu%nqrYLldHC`MoqedkTyNqP5G+@I21hEPs&j60VKHOmzSWWgE-SQQ z0PpcMHYY<4s2x6^_P!U!kt*Qb2P$mT=MUOylx<7kj5IMQ12_+2DoB(2o%@8b#+hG! zEGvCqzpZgKaV*onFvhYA9;6xlw`nn-cDv%uCb8tJtP@OJACV&_nTfh5&0ugBf zPX<^+i^qJGbLsczMJ8dm4CI(ZTA8YwVcqY3HCJD-)=r{|%o-9T$UT4ee6)55jvZfy z)9HG^qIPHGfk(R5>^t9U=!h2^4?HUR)B_BXBUYe6Av5(xn5uF4r^Vkvz?z2LojCIK zTV~Bw;vT;0ckzAS?sC>}9KWH~fv|7TWv)(7$X69CS250CeEBbZJs-(yI8)sWcfq>> z>X=Ml%VKMD4Y&2F{iTmJTQ-^m$9erde%?=~D2=>F`H)Rf2B)J!_V@QBnglB&sa|cF zxW^#vNCpnTfdM~mUk$_Tc{{>0i2Wf3r}8-7?pzB+C z_VGnrp1`huc9 z`_&d`0lmPD&kqZRi@O`{xhM3PqA-Pt{k9fRn1TxgTy6P-?b>wOt6zpT^Bgv$PQGFIgHeSLh_dJJ$Kk;6L{J+_^yf#;$9?iSQv zB;y=nRiuiJ>ifOo13Pa_@DCo`&)|C0wNLY4r(yEX& z==ke-;^F!E7SR3dys`-m{HSA|N^*N}W%D(O!1*h72+kaG7T5a8)0$T!iop6n-W@W} zULy8J)dgB;t?#cj5H0v0Z`q}rc2+T~^12|8J3r5Lbp<1jfIMesCYc=vcb(!4L5}k$ zX{D_EE=4qn<4VRdfv)qXOqpz4KaZ&y3TcEOkH_8Q_GJ{K2v>E}pB_UY<8!{ZquKQy zvAC;C=ZRFRnu&9rw9a7Fo1EJ2qci!*`!dB@0$=A-+bxQ5;0`%`wnT*g2&;$VWbUC& z`hSIG>w2&R-2M-g|X-x(8kr=R&no%gKzVoawd)W zl~X7(1Ymc;Dr?CA@8Ff>4l#cA0TBmB|()3=>Gt1(wwnQ5nkLn6=hMkb%gMXhFnM`@%1L7Mw(Vr@ced zmpLwU9J9y5_&L=sH6qSI2#Lz9qGOXd&QbVek`q?WX*uMQlTOZn%7Y|AURdBNb`{v( zs(`wb^`5m4`*?uja~myrLRGj@n995>x?;|z3|f-7(r8+WoC)ShR177;+R}Jd zR0Ji-u8H<4U0vI6BabZ?2)~4EA*tCRx8%zCg?IqQazH|XTn#d zf6n(EB8EEbk9G6~$X78_Rq);Ihg$ev|E}wu%UleRLrgwKF+T1ij)}nFk9dCuS6Ww0 zzv{10kFRVeDWjE$#jt!fR;JhwD>9E!%L}e72b@r>U!Q2b52%@