From 197b64df647493c917d3af114b8f03bb756b8d00 Mon Sep 17 00:00:00 2001 From: didericis Date: Tue, 26 May 2026 23:22:05 -0400 Subject: [PATCH] =?UTF-8?q?coloring=5Fnested=5Ftire=5Fgraphs:=20TikZ=20fig?= =?UTF-8?q?ures=20for=20T=5F=E2=88=82=20(thick=20+=20thin=20H=5F1)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Two illustrations in boundary_cut_tire.tex: 1. Thick H_1 case: hexagonal H_1 with 3 OUT pendants (outward, dashed red) and 3 IN pendants (inward, dashed green). Shows T_∂ cycle as the hexagon boundary between low-side outer region (red shade) and high-side inner region (green shade). 2. Thin H_1 case: H_1 = path of 3 edges (tree), single face is f_∂, boundary walk traverses each edge twice (gray arrows showing the two-sided traversal). 2 OUT pendants at V_{deg=2} vertices, no IN pendants. This is the dodecahedron cut #0 side 0 structure where the high-side-only DP failed. Note grows from 3 to 4 pages. Co-Authored-By: Claude Opus 4.7 --- .../notes/boundary_cut_tire.aux | 9 +- .../notes/boundary_cut_tire.log | 430 +++++++++++++++--- .../notes/boundary_cut_tire.pdf | Bin 199769 -> 220265 bytes .../notes/boundary_cut_tire.tex | 87 ++++ 4 files changed, 469 insertions(+), 57 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 9a38252..db775d9 100644 --- a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.aux +++ b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.aux @@ -3,10 +3,11 @@ \@writefile{toc}{\contentsline {paragraph}{Resolution.}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{Setup.}{1}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{The low-side face of $H_1$.}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{Picture.}{2}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{What $T_\partial $ looks like in special cases.}{2}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{Role in the chain DP.}{2}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{Role in the chain DP.}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{What this closes.}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {paragraph}{What it leaves open.}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{Why the chain DP can still work.}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{Logical status of the extended framework.}{3}{}\protected@file@percent } -\gdef \@abspage@last{3} +\@writefile{toc}{\contentsline {paragraph}{Why the chain DP can still work.}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{Logical status of the extended framework.}{4}{}\protected@file@percent } +\gdef \@abspage@last{4} 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 39f0f52..65bf56b 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:17 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 26 MAY 2026 23:21 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -170,42 +170,364 @@ Package: booktabs 2020/01/12 v1.61803398 Publication quality tables \@lastruleclass=\count277 \@thisrulewidth=\dimen170 ) +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te +x +\pgfutil@everybye=\toks29 +\pgfutil@tempdima=\dimen171 +\pgfutil@tempdimb=\dimen172 + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li +sts.tex)) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def +\pgfutil@abb=\box52 +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/pgf.revision.tex) +Package: pgfrcs 2021/05/15 v3.1.9a (3.1.9a) +)) +Package: pgf 2021/05/15 v3.1.9a (3.1.9a) + +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex +Package: pgfsys 2021/05/15 v3.1.9a (3.1.9a) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +\pgfkeys@pathtoks=\toks30 +\pgfkeys@temptoks=\toks31 + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c +ode.tex +\pgfkeys@tmptoks=\toks32 +)) +\pgf@x=\dimen173 +\pgf@y=\dimen174 +\pgf@xa=\dimen175 +\pgf@ya=\dimen176 +\pgf@xb=\dimen177 +\pgf@yb=\dimen178 +\pgf@xc=\dimen179 +\pgf@yc=\dimen180 +\pgf@xd=\dimen181 +\pgf@yd=\dimen182 +\w@pgf@writea=\write3 +\r@pgf@reada=\read2 +\c@pgf@counta=\count278 +\c@pgf@countb=\count279 +\c@pgf@countc=\count280 +\c@pgf@countd=\count281 +\t@pgf@toka=\toks33 +\t@pgf@tokb=\toks34 +\t@pgf@tokc=\toks35 +\pgf@sys@id@count=\count282 + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg +File: pgf.cfg 2021/05/15 v3.1.9a (3.1.9a) +) +Driver file for pgf: pgfsys-pdftex.def + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d +ef +File: pgfsys-pdftex.def 2021/05/15 v3.1.9a (3.1.9a) + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p +df.def +File: pgfsys-common-pdf.def 2021/05/15 v3.1.9a (3.1.9a) +))) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath. +code.tex +File: pgfsyssoftpath.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgfsyssoftpath@smallbuffer@items=\count283 +\pgfsyssoftpath@bigbuffer@items=\count284 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. +code.tex +File: pgfsysprotocol.code.tex 2021/05/15 v3.1.9a (3.1.9a) +)) (/usr/local/texlive/2022/texmf-dist/tex/latex/xcolor/xcolor.sty +Package: xcolor 2021/10/31 v2.13 LaTeX color extensions (UK) + +(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/color.cfg +File: color.cfg 2016/01/02 v1.6 sample color configuration +) +Package xcolor Info: Driver file: pdftex.def on input line 227. +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1352. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1356. +Package xcolor Info: Model `RGB' extended on input line 1368. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1370. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1371. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1372. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1373. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1374. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1375. +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex +Package: pgfcore 2021/05/15 v3.1.9a (3.1.9a) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex +\pgfmath@dimen=\dimen183 +\pgfmath@count=\count285 +\pgfmath@box=\box53 +\pgfmath@toks=\toks36 +\pgfmath@stack@operand=\toks37 +\pgfmath@stack@operation=\toks38 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code. +tex +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic +.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo +nometric.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando +m.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa +rison.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base. +code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round +.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc. +code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ +erarithmetics.code.tex))) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex +\c@pgfmathroundto@lastzeros=\count286 +)) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co +de.tex +File: pgfcorepoints.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@picminx=\dimen184 +\pgf@picmaxx=\dimen185 +\pgf@picminy=\dimen186 +\pgf@picmaxy=\dimen187 +\pgf@pathminx=\dimen188 +\pgf@pathmaxx=\dimen189 +\pgf@pathminy=\dimen190 +\pgf@pathmaxy=\dimen191 +\pgf@xx=\dimen192 +\pgf@xy=\dimen193 +\pgf@yx=\dimen194 +\pgf@yy=\dimen195 +\pgf@zx=\dimen196 +\pgf@zy=\dimen197 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst +ruct.code.tex +File: pgfcorepathconstruct.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@path@lastx=\dimen198 +\pgf@path@lasty=\dimen199 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage +.code.tex +File: pgfcorepathusage.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@shorten@end@additional=\dimen256 +\pgf@shorten@start@additional=\dimen257 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co +de.tex +File: pgfcorescopes.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgfpic=\box54 +\pgf@hbox=\box55 +\pgf@layerbox@main=\box56 +\pgf@picture@serial@count=\count287 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst +ate.code.tex +File: pgfcoregraphicstate.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgflinewidth=\dimen258 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform +ations.code.tex +File: pgfcoretransformations.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@pt@x=\dimen259 +\pgf@pt@y=\dimen260 +\pgf@pt@temp=\dimen261 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod +e.tex +File: pgfcorequick.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c +ode.tex +File: pgfcoreobjects.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce +ssing.code.tex +File: pgfcorepathprocessing.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co +de.tex +File: pgfcorearrows.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgfarrowsep=\dimen262 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod +e.tex +File: pgfcoreshade.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@max=\dimen263 +\pgf@sys@shading@range@num=\count288 +\pgf@shadingcount=\count289 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod +e.tex +File: pgfcoreimage.code.tex 2021/05/15 v3.1.9a (3.1.9a) + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal. +code.tex +File: pgfcoreexternal.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgfexternal@startupbox=\box57 +)) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co +de.tex +File: pgfcorelayers.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare +ncy.code.tex +File: pgfcoretransparency.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns. +code.tex +File: pgfcorepatterns.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code. +tex +File: pgfcorerdf.code.tex 2021/05/15 v3.1.9a (3.1.9a) +))) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod +e.tex +File: pgfmoduleshapes.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgfnodeparttextbox=\box58 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code. +tex +File: pgfmoduleplot.code.tex 2021/05/15 v3.1.9a (3.1.9a) +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version +-0-65.sty +Package: pgfcomp-version-0-65 2021/05/15 v3.1.9a (3.1.9a) +\pgf@nodesepstart=\dimen264 +\pgf@nodesepend=\dimen265 +) +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version +-1-18.sty +Package: pgfcomp-version-1-18 2021/05/15 v3.1.9a (3.1.9a) +)) +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgffor.sty +(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex) +) (/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/math/pgfmath.sty +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex +Package: pgffor 2021/05/15 v3.1.9a (3.1.9a) + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) +\pgffor@iter=\dimen266 +\pgffor@skip=\dimen267 +\pgffor@stack=\toks39 +\pgffor@toks=\toks40 +)) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod +e.tex +Package: tikz 2021/05/15 v3.1.9a (3.1.9a) + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan +dlers.code.tex +File: pgflibraryplothandlers.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@plot@mark@count=\count290 +\pgfplotmarksize=\dimen268 +) +\tikz@lastx=\dimen269 +\tikz@lasty=\dimen270 +\tikz@lastxsaved=\dimen271 +\tikz@lastysaved=\dimen272 +\tikz@lastmovetox=\dimen273 +\tikz@lastmovetoy=\dimen274 +\tikzleveldistance=\dimen275 +\tikzsiblingdistance=\dimen276 +\tikz@figbox=\box59 +\tikz@figbox@bg=\box60 +\tikz@tempbox=\box61 +\tikz@tempbox@bg=\box62 +\tikztreelevel=\count291 +\tikznumberofchildren=\count292 +\tikznumberofcurrentchild=\count293 +\tikz@fig@count=\count294 + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod +e.tex +File: pgfmodulematrix.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgfmatrixcurrentrow=\count295 +\pgfmatrixcurrentcolumn=\count296 +\pgf@matrix@numberofcolumns=\count297 +) +\tikz@expandcount=\count298 + +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie +s/tikzlibrarytopaths.code.tex +File: tikzlibrarytopaths.code.tex 2021/05/15 v3.1.9a (3.1.9a) +))) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie +s/tikzlibrarybackgrounds.code.tex +File: tikzlibrarybackgrounds.code.tex 2021/05/15 v3.1.9a (3.1.9a) +\pgf@layerbox@background=\box63 +\pgf@layerboxsaved@background=\box64 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie +s/tikzlibrarydecorations.pathreplacing.code.tex +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie +s/tikzlibrarydecorations.code.tex +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduledecoration +s.code.tex +\pgfdecoratedcompleteddistance=\dimen277 +\pgfdecoratedremainingdistance=\dimen278 +\pgfdecoratedinputsegmentcompleteddistance=\dimen279 +\pgfdecoratedinputsegmentremainingdistance=\dimen280 +\pgf@decorate@distancetomove=\dimen281 +\pgf@decorate@repeatstate=\count299 +\pgfdecorationsegmentamplitude=\dimen282 +\pgfdecorationsegmentlength=\dimen283 +) +\tikz@lib@dec@box=\box65 +) +(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/decorations/pgfli +brarydecorations.pathreplacing.code.tex)) (/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count278 -\l__pdf_internal_box=\box52 +\l__color_backend_stack_int=\count300 +\l__pdf_internal_box=\box66 ) (./boundary_cut_tire.aux) \openout1 = `boundary_cut_tire.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 19. +LaTeX Font Info: ... okay on input line 19. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 19. +LaTeX Font Info: ... okay on input line 19. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 19. +LaTeX Font Info: ... okay on input line 19. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 19. +LaTeX Font Info: ... okay on input line 19. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 19. +LaTeX Font Info: ... okay on input line 19. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 19. +LaTeX Font Info: ... okay on input line 19. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 19. +LaTeX Font Info: ... okay on input line 19. (/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count279 -\scratchdimen=\dimen171 -\scratchbox=\box53 -\nofMPsegments=\count280 -\nofMParguments=\count281 -\everyMPshowfont=\toks29 -\MPscratchCnt=\count282 -\MPscratchDim=\dimen172 -\MPnumerator=\count283 -\makeMPintoPDFobject=\count284 -\everyMPtoPDFconversion=\toks30 +\scratchcounter=\count301 +\scratchdimen=\dimen284 +\scratchbox=\box67 +\nofMPsegments=\count302 +\nofMParguments=\count303 +\everyMPshowfont=\toks41 +\MPscratchCnt=\count304 +\MPscratchDim=\dimen285 +\MPnumerator=\count305 +\makeMPintoPDFobject=\count306 +\everyMPtoPDFconversion=\toks42 ) (/usr/local/texlive/2022/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 @@ -249,12 +571,12 @@ e * \@reversemarginfalse * (1in=72.27pt=25.4mm, 1cm=28.453pt) -LaTeX Font Info: Trying to load font information for U+msa on input line 18. +LaTeX Font Info: Trying to load font information for U+msa on input line 20. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) -LaTeX Font Info: Trying to load font information for U+msb on input line 18. +LaTeX Font Info: Trying to load font information for U+msb on input line 20. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd @@ -262,38 +584,40 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] - + [4] (./boundary_cut_tire.aux) ) Here is how much of TeX's memory you used: - 3262 strings out of 478268 - 48530 string characters out of 5846347 - 349592 words of memory out of 5000000 - 21449 multiletter control sequences out of 15000+600000 - 481768 words of font info for 76 fonts, out of 8000000 for 9000 + 14594 strings out of 478268 + 299023 string characters out of 5846347 + 567504 words of memory out of 5000000 + 32549 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 - 55i,5n,62p,234b,241s stack positions out of 10000i,1000n,20000p,200000b,200000s + 84i,6n,89p,452b,712s stack positions out of 10000i,1000n,20000p,200000b,200000s {/usr/local/texlive/2022/texmf-dist/fonts/enc/dvips/ cm-super/cm-super-ts1.enc} -< -/usr/local/texlive/2022/texmf-dist/fonts/type1/public/cm-super/sfrm1095.pfb> -Output written on boundary_cut_tire.pdf (3 pages, 199769 bytes). +sfonts/cm/cmmi7.pfb> +< +/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti7.pfb> +Output written on boundary_cut_tire.pdf (4 pages, 220265 bytes). PDF statistics: - 100 PDF objects out of 1000 (max. 8388607) - 60 compressed objects within 1 object stream + 116 PDF objects out of 1000 (max. 8388607) + 71 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) - 1 words of extra memory for PDF output out of 10000 (max. 10000000) + 13 words of extra memory for PDF output out of 10000 (max. 10000000) 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 541f83aff05a165fbdd553a8edf24e23e4095b20..3e77a03714f691b2f58b075e98de1fdaa04ca0fa 100644 GIT binary patch delta 53973 zcmZshQ*fYN)MjJbcDiHR?l|d~9iwAAd1KqQZQFJ_wry*^`K#t)YUXZT?%H*#PCaWs ztEmX5t%xX;ieeJ<%na;sl(UOND{vffC>WsZ33;>Bz?7Cu!g?!e_e_nVH4?3=Cd?K{ zmV@f}>f^AsyQf3_b8j3M8llu;_+q5)Dshet+Y7-Y`4dG`3N8u+{*=V?vL5G-XE;UW+Y84(v!FlZT5tKl(iD@#Lh|00w8n#N);1hl4gb$0@ zs>I#54*TI$|G4{B;*wu>!m6xY@~!NSBSAI z72ckA3vJ`JIF4KdKb6*;b*czg+5Yl%w|5K=+Mu76rjki*VmfSL8kk=7gnbR{HL!1d z*h96j2zDUKJhKipiWqdPc0}|n?8ZEcl5_p^r=w)MT+2Q;)&?&z*u1y0vq(eU9IHhnUXTxCV7WJM)rA|ip06+Wj) z0f!AmYT39^@hUIGSXs!2GiI}jw1m#U(zp-_A=dm%Mkik&)j-ECrM(@5*v&l{h#%I{ z!zBN83NDo0Z1*%ZDeKm9YzLyVmH)9W9Yp{r&5Re9P#;H>Qk$HMC*L*48gUr~&7VA0ixbol@eA1$yQRGM(jeBbHh_S_gZe z7~1q{j?&XTx_~viNHk)-_yBYYhcw%lBtaJE*Fk{T4_lsxZ4r;lx z_2-63wh@nIJifGP$t64E+c!)FM;OL02*04+a6gB*i(d!zY+A%+zmsDSp~5N_4vlDL zLHt!*AFk2tp}YoSP`hNUgM5Dkhkh}e;7`4IYo_N`GeII$Tbl7Dsr%y`*_WKLjW~v_9gB;?^rokQUDwkP1H_ z>yZ{dVAiqKtptFo$itH_^g?$ZN2Xy6ksk!zQDoq1EbR;RCxYyFv(TX%?#O+%>bKDv zhk-)2CIkiGW9^`ah-5=)WBlhyd^u)XL$+tg=p{(Ct%A`Pb2agGt#Was)KstRa%tGf!a8U%%Cxc+hNpd zdLZ!~u2`jHnqKGfh|u_+tOs8i+4Oyf(8wQ91jaURRGp$}TDN+JqQ+pW)JK;~j)h5wzdllLW4BOM@_e4Jr|WBI908XQK^2bZ9QHr@r4b@ivvQA+?69z6 zoy?98ct{m?_zqyxr}qcjqTwfAjQ=b+%cnTAttC&_z_4D8DTAZ18>xwL!=F zAj>IxR|_K(gf@{@%yQ)ybp0gjB4n8-p4UOwh5(<>JN!@(XOWU#9Otjv-XXr^Jo!cC zi}Qs4CvPUwqJue+tp2^E=lH#*ik?WO(GW;A2c#)oSY_F-7aoQloS3A3pPrCs^iEqH zV}rt+pKv(q+8_<_+;z!ei9C!VH{?azuJ_Qsj zwVPKGB*%5fsD_UWk73UnYY=Y0Hgn}0cp*c3O8p;&Nffj)29a)!vl1MA;)brvE_K1wvQz}B8gCFJJBm- z2d+Ii&2STwXOw2}?WzqF@{6OizW`?%ms`~z{4%MqmHAVRsqZ2Uq1gZ?1(90tim1+V@%{CSl0YY$IvHx{>hOO}dhAiJdYy zO<+VSE+}wDi;Fx)Yp>aUG6_!TFs)m(CRX#>xZ#~~Q~sc9K7r0S@Ye8ck-+8bo^rQE z|EvD@Gs<;w#ss5qc;mu93m`|LWxbrC9mx`?H!z*g#^JC)k8D1a5B`f@(Ij|a&8$^y zsVl_3v;@9>Ywm0}? z8tJ~}BJa{B*8-cza=CC*I!wy?%QM2SYotSnOx<*&JNe_!UR5vJCv+bR?poOuixw3ONyUUX=NB5*Ht>2t^*QRfa~ z<|`7Jj-?)|QU#lMD}*=4we)qkD0smoK-#uu@8%QhFLVcNxai=6aG`Js%lu z$h5H!MkiQeaiAY2<*KO zOuS~am4Vx1HWe_iZ6q4dS8>o6(_I}Br_JUp;U8uO8z047&VV3zT5ClhSw5ql%{)i{ zHuWQ7Tp`X;(HHw2-YZkSp>QxWVM)YJh(^@I14u$+tWe)rELtw*h zAg3X!zbA;rEkKv3-+o-(?h!igLGRmrtlNF1v!8odba|Aypu4xz7Bx&)yF5hL-Qv-A z!Y^)@#`-{3_?D5VuI`*SalP}0{bHUpE*CugutAoaI*@<$Y^87+-TzmN#o}f?yrf7V zP2St)!4c$56DjBT^80Zlwa0&^f3mdAr{(W{TJy{RGC}M|U-@4mXPQDP3r!6!LK21o zwzp8r?#~I%gZ_Zh%%dhL=6!CTL5R;Op za4hVYBupg#oA~(P7-dat%$&?g*tnSfCz&kqO~m83#kqQmi(m9z+<*+fGb4$+{WLUl z@xHOqUVAjS01qilPfRb|FxJlQ*_Q2uQxy_iv?3%ZK&_}p3!4<{Rvbmcw}ImLcnB`q zCf@3K-Heey%=|sWN4y2#RN~OxCsMa+BMUNqnYHk2Z(E-%ZEtYl~%L3wXfm4Lgv z3ZLSUiG`#t(3pmT14RZ`9o1;rNE1*x<@%UvjMmuJL#4$qXSH|p6f5#6OMEkETYG4I zVzQsx3qj&dm)6jo&2Qo`{LC9c)3Jb#MYVPvmm&B;6si;{y_0Gu)g+C_wUxu^sxIc% z{X)BN@nuJOv4;(!;pU`a`w!&sMThQ+gR^6wbgy~`jDnBRHDq)5hd|2hoEh+9A2DUn z6-iYR_vUerTS-mATKN7>OO_UGA-d!6c^l4{TtVCKCxk-?ZR^UpUMM>VKaPOxQUbF| zc&Gda!c#KB-HR8&Va@s7bmb27)~?H6^M~Y zvt6lp?uamtLOP{luMg%>-o)&KBgJe{1X|W_{AwC>F@=JM*Ok^R+JHq|uT+0qJc3n) zWeUr>|NZ!AAt+1#)=s1#0VaNk?u{OBArsl|UiXAvTGVejiUt)Fi!xDIkZD<4JnqB- z!){K2Q-YZ<5vXEZr2=3!fsHi;=Rua2`MM#l5tsEzTafDVTSHZmjfC}}*1<5xTNXyi z%-IKQ`HM9UHhG=aQ;-=K-Yu@he(lAE>Hqec|BaDmK~vEvF_m5;6-k4APG z=zK%w96NDvrXh8vznb6Z)P8S$jGIS1Fn^x{U1#s5_f9CfsgS!`$eX$oLOyK zSjFyY)qPD!C}`1Db)CF!!*WG0Db}&b98WB8iff%)lTtjoco1o0^Vd-^p`;zOTMojy z`NTAdHc-j%Jb)rt4}mzU|eoR}3eFAjwmvxXUruW6y+JHBIz`T;f{$4kfuu`1)tDeeE4 zF6<7hx`9QqDk>l0&d?geBvuPw9G7uf{I_^jSY_z1M@0bNWaFt9FzC=95Wo)o=7U** z2jS+t5MXD)H;||~dSRKHJ82&=HYxMh z*_Z2-L}swf1}G6In0m9fxP(Q2ZE@vF^qEoPIZOCGx)=%R3U}Cy~M$B1g?v4r>g9>ph0zMeQ?YXzvCn&;qUPfm`wVX^<4egekcX8ck)q8=L}C;n3B#oP zDbDh4t2mEEmDUm|%&M&x4fS`Jmi#%)69`bP5W$-o5wdKlI*-CwojM(_Pd`5OP7Ck> z?zl?9J>{?udqcE=5&tZo*_k|D@xj{j@)4=6H%{Ly&zGz2T?54MW!FL%qGZ>z-#nmh zX>R@a&`8#%6tGuBj;^5$o{@{M*&fpcBjzMa(koj~Ck`M(cZ}Vx31i;%gY7uzK7gGv zPDQ@XZzki)NQ~*;c~Y8eTSCFa{ZV_A$lHGh`=igNxu~Ha8trZbr(!VVxdH6-WdO#r+Vsj{-a5O@>vq$3T{t8~j{Ub@TCU->bfjvaUC%LOhO1qp-W7fflL zo^BtU7_2S|lx!;Ovbx>yxa5#Y_~AI@JA>BE*_V#h%Wuk=Fb?VH_=MjN=fDV>S{4=Y zL>_Xl8L5){_zkok5kI4dsdPi*>#Ubiqe^Vdjd%LL(wLBZlm2l@1IVv)1!PS(jj&a) zFrG#y_j2$_tM1c1u}h3YwsR%Rc<}lmun8mXAKf&JYGQUJAxQ*Q8CmMylqUbJH<8WS zS-4A9OSk;wf~v*q-x*8T9U!#Sj&rDrd1%=+rI~t0e{QHEz6qn)--0NGv>jhs!^epS zUNXm~(gfvcL1cFxm}noauD(fU&edVAihtqJ*0C3{d0U;TM95aMXnK_yh-VTWKaexf z_%%jITWFyEm|6<{ddl;j+lbt%M{ zIR_$L>p~D1O!@rnaPF=sOdgCiry#&4e*_oPsMu_TE;e4yrp2geLDWUP2(#*q3ea5Hfcq^zLH#Hzqpjg(qgqiX z9r<_I^Dzi^q>ZZn@h!x1G>mOU9vCm`y)YX`VykUL4hDy~+3Ajs#Vih6*dP^1E6tA} zGQP*4FOv?wXD3J#hI_{Qh11GxJO&HFuAwB1i2a{B+&{5fIuz7*7&6?j2@re~a=`zY zHVtqnoaT0F0@+8_u1qOulA%>4_Rz=w37yZ19V-FJnKyFgHVUb2@d!3Lt>3NvYAXtM zWuJQ?#M|E6w#=9>;X9b=e+aESjW-|Kb)nEXBlz0~J}=#$xvv(T?A{k#Z%=P)!?5og zEosQJnXBlRYUT{#%1qG08}RW%8Bq}ap(8!+xurnx09%wu%s3!qeX*ckdXSDg@N0*7 z8LDkwK^R~LS^?zy=S*Ul=-x4H2n^f9IeH>(A)7T59eU)YIfq;txj0k1U`rn3X;see z>s+>L#;ZQC77NWhuHk61(+JJzWiTLVC236!H z0ue$&!2m0=aYQm$R|%Whk2#oIT|{LUF+UW;vof1e4J~}g(LLTqq9R=HWcn|MF;g!y z&qqkyfRqBljp_uz#};vGZWX-v@*%eI)V)>&$Rd?Ge>j%06TGZvwc{!Xp|Nk1;JGY= z$XqT{2e2=qV5-6BQJKK$xxI3HP4;8^i@N zMz%0^I@=3VbER119lEvmD874pI9y8(>5ud&SI82-d6_On)ub!Kck`)uHZ}>24tT`7 z;34~Eo4Pv(ocqT^=>65KO9O8iZb%9B0=p1}=G(K;!GbH5;R<~p*I}Yy!5KV+7j}#D z@M#bd+v^9vzt8FLaLVJ*MRjfULwX;9J?j=@OgQAcVkD79)(AmD@_^mL@O^hytQJ&7 zaTQONUJ*xL0&-LQ!vZY>Ps}$=%OSNq;C^QFbVK4{dW0a}Z_Zr64q8~GJwos(7K%fnow z2=OyKl#yE=H!|Sh!MpXV^AkyT#o>|0ee23vXGy1=j9K)K%KIlO)fX*p9XedeQYfw- z+`;{a(8E()+|>7p%?C#InXM`&wPv1!?CDsO0t!_M19~YDjC}H)NlR-t%HibtpQ1w` z(xglz|9OB$deAsY@@|V=2Gszl%=ZFH6-6@AjEh8z9=&dD^A)?^Sqh7_HCL?bQ4F4V zw*O4J9avZK4;$ewXxepSU6zjE;XQnmrm!v2_{xsLVy-LRC!Nu$c;*UWx#d*Sd0o!m zt$k01;y5-Mng0?sH|IsX&*7kD>*XFCjiO^y@6m=2 zzBsr>xk#F+V=!`-C3T$D8xb&tO1U5yqjuL=gNkzJUdI3Izk5@vc#TDa{t^wd=3Y#| zMSDx4q6)!QM2Yo?@eVd2DOl5{9hhVJQ#Ac2TpGQu!z7sLCvyg5FxzDBB;rJrO4LO~ z?u@#Xq++ed3i?Hw>Y|ux%V$%Q8PS zCE@7bknBg{6!)s_jE6dnX+oyS)vztpgQSRs>pC}8ht+&%)4KdlVB zd;hY12(itRSyPA#dU+^G#PL-s{s?=paO2cL7A-NUsp+fVtYX(#6c6u~L{>|b)S`b% zO0kVV8|$gY!Y_(mZh*NaXssr~P{DlTeq}`&Tl@(GR#evXgTf@{(Kr=6bYP>aNx%`U z6BsRzpxfs(4ys?i`WAFD63>v%|D(<$f0$r+dXj6cYEfX7FV4=v5R*XEo!OR|XB+kZtm=VasY7_%MLP)UI*JbuzR`_EJD+z?V&WSn)f!G3qfVwT&a4qiFUyA}y z3NlHwzZ`9EW5?++g0HU)S+(brQrG2UQBwqotowAi7-ZMzL&6PxN>gJ{iVja&g%AS$r)Syifeh(%U@Ne&u^BJ%4W`$ zbhrXa8-nSm4CuJXIhx$h9HJP0aG{`o5%WV9mjAzEjFp)rrJx@S6@rz8lRM!SmkQX_ z+I0NyP7gfm^|htUJE8{I#-_EUSza?NcZ6`rZMKCR5SfQHr;g^+&fD`X2zGa9#6nO@ zx}X(hJ&Aw#`|4g?A@}I|QZB>F_y`z%y_G~X95Xh_wT>6EkhQf+S4z^+vJ|^H)Jbm@ zVxOORkygo9#OOBZs?vJ2TezsMX93?nx99gM`I1}{aB6lJzLfBwn}1P1^f1KRt811c zn*SKMMixzUL~pr1PPg26x4$2Szx_+-ZmUn5BN(>x{+6{?$zG|fon#+lwYDZ}0Q)+{ zW8NNxh!T>>V6H9`CsZCVmM{>M#kY7&{_E0VIW3;;)0<-<6TYa;_?PHQ_a2yZn1c@= z7b$4SVVM4M58i7C{25;+`!_39$HYDR=R`&WXHSDMBrzbT@gst-%~j4;2!RrD!#chv z=W|NinkCbiV*-BnjiqgQW9s6oHr@;_n0KsJ$s|az!N673N&_(&wFGy`j;SUqdd;Py z!^E|vqQ3eKhqZKQHMvW?Hyzk`H(8A*?Q4cNSSYqMsxF}%wSMc-b1PBuQ_h3rdWpjD z8xhM?FwMs~xUs2r%Fpv-UlB5yJQxF;9Q0Da;f+IOwkneM50xNNCxnvrcL{&F&o42-E}5o_CPh_74+#ilNJxX^_2~L0 z_+4`H$T3fZs%fGYPGO$JZF|mq`6^S;e*`~mU2Jd=gpzjTlkZcx#Zukutj@W z9JJN%gLk8VbGi#}!{^mUSUR(Cm07Zd>Zv^mxrbI;LiN`DT)2#0Gv%O|5T$_^hxwr7 zbyCB_P;y2N3Hi7w7XlpQj}CHCO(GA%mWDJ(oy zyVU!Zaq4p*W>5UeS>$uB2w)@Ys_A(2BWVg2#41FwP!q(}* zF3^*%(^%NR>+{?Wy%vJmH1O}hV?vGwyau*5{Ue%d7^UcaSt)(uvCgPgpVm!2_t;;8 zY8X&0ZaKyiNIW zMcoM%wc@UE74-{9oUrH6pHy^L89d+UPA!N?(=PzYRyqi$(!N5xSF_`IUniJo*f>&f z3i~LP(U?fc#hiwNMe@MlZoRN>`6HI~$5;)K&xHtX4cgkr>OX`YrGJA7 zKSMt7A29}f@HS`^rig;L{af%)MF+cOYtm-0u;E^Th@E@Is)6J!Z zCl0t0{=nlmZqkfgW=yOV%FHtY9e1c1Iv;L}HY|*x;~VqEo^XV%EONTuy&X|M4mzb? znFPXee{q=R^l(X6d%{^O6-HX_#kqS0pnu+2^FZL_ziU^a-`e=E%LxqJWR$ zS8V1pj^d1Bj86mf9VhLOLiA}bbU#Q;DHhC`q5pE$Vi%pA;F2TN5KjwFI4IW)SAwSO zqqNidi{&Y|X>eqis@v8u+XV6W#zC%Vc>zRAStc>eouJ&oWROyR%&SK5UZ2Sfz~>00 z_tOkgAq4IynsnBH+%nn~L*m{k@)Y7~&0p#w=kFT|=ynHYmAIH$&PIoG@gSoeG=w(ezB< z+*ubSLPa|`xppR8zCeI@dF#LxBUsLEjk{W?l+Dqd98SwszB_Dh9L7+py*x}`^xY~4^B$qF0 zi05$;tqzq`^gX#;$GaAZJEH^A-e$rQI;r}1Ll76^xfHbS{fEW!#!E<(Ef00Rlpe@+ z!i|(Bk%$mY3I!K4a5HVl&K!;XW%z7)m;M5`jy(LX+Au!UQGf2QDLDQ zrS_6$v|vn3^j-yyuqLB7e3_mxv`Oz>f@k|()qlh=2!BUO7rjAGNTGkesuWr?d^pVi zGy%)sx98+r2x^7+=WE360JyFD!Q{}WDVU~sFYcnYAyGeqG-sdt15U9dmru{0_<)S( zv^8-fkCFDuNWvcLEGDMlYXuJb80Q0jM|h2|To4HV`nlJBN1@73RB<*%h40!ZSb8>> z3_hKrt!$4++Y)a?{WMIE-BDj*f4ic@d%)u+?n^qdIS1b+^a3jt1z2`RIk3UnYv0ri zSeO?GNjp@dNRE7_rqPO!ABPGv|B)cPWfyy>{v)9)W68NEMJAJNYH>3}5p@i4mSVma zVn3%r5=VC8%bA_uw<$DNSzvxok5#@Ss5Y~}R1w_4#27yCx0x&6v}f?37xPaLNWR!2 z1&?bhdGYs%%ixQ$3ozKYV?f4(hhQ4W;w`_C{}WV%Xd`|n-t09&xlrMb`Bz5xL)Us# zwM{_=>ke{yPB3XXtY{{M%6wdQ`=vjID8gxo?D~&v5|H9BS&$A5JMgu#nmWbdiPEEm z3bOAidMyf6*GrZi!hwgIzQj~zSXjbATMI5rn9r7jEygusaaXV7xUZ}7c6T1+xKol5E* zXU0uoS-+-doMH^|;Uq5DVy4h~uHsxfR@pqBm{}B$c~B@Li+biC$l!>T5ujdP*1oUE z9@jtBbx~*Pbc5!37q0=9aXI0N$r;gSAHq0PV`bBNag3^AVS(6t zy9g?+1r3)Xn``I@bSzF9qhX1gX23Bbpq(Nqh>@JIA(2ym>afr# zI_J|JNo_YZ28*AwLylS!;L~xp*3-q{%@6tsqM)iTXAnh=&*JQ~>>(Z%F>y5;#%JUbwUnANL6jZ+4d0;Cgbg~f#hAJ zC5O~qIS}JJvsF|&4b{C&952>on)+MWW8We`^`uT%4#AY3*Z5dpZ)klLkI!beI-`6L zF$wua*}bN(6PLI}vs0j|KS5rv)|Gr3M5D$2F(*``d^apnPG_fg8dsMjoMVxu!8t%cF(0KF5I)%-rkrOh{7rFy?G;| zeP9k^&)%5JX618Jlkah&LAwlG`e=YPFq;TsGk z0u&i5^g~Ybuido>DC_+^H(Y`d&mA1aQKS63`uBqw@OB|*S}&IAa)(uXDQgwKxNy2_ zPDAs_LGks3scmgf)euMLwh*;?*ZoQQ(XsefcTaCs8d z=~wLDNYciuG!ytT=FDF>NTnnD;{4*X0(zj3J0Mds&W7PJ`1z&{!a`~W!a&q7wt0Ue zwi%h)i63(1yhTK-z!xqE8E|!<^G|8o0UCTl(1j-y12o3jraV?{^qj~-AIO9U9Ib!S zUT!swJJ&@11s5G>&yP!?D;{mnuatTIf07W#|1<Q#=O4UH%)m(0Gs|L-c)(^hcIa&AW@s*78dyQ&p7OO-388SUmNx0k!_Lm2 zqP1tL+*lD=)V1yLw6>lIh+kuOlwI-w*H}{_x5)KxcCYvQ*nEPIqh%y~*eJ1%FCY8i z>y5)HFv(lZ%B&YZf!)mk!;bM;)5&5N1Z}xF-S;IAy+{;r99iehC(CQ)g&+mfFcpg@ z_kHU{G6vyN{e~e=jS>H4v78kuJkK}^ox9bOd2PuooOpb^KV*@BG>b$e^VZpWDx-Lz zq4@qo|B^g>3A)UVwWS0-9b_ZAj!11o$4`*g zprXSIwgJrEip+L^ml)*Vvqhl71W6*xAd>KFG|t;58&(zcpJu`k>pF(wb`b@s;oAkx zZdu36$ma|Xx?-1;x@-vaoDxCM&bPdovniK;^^Mo6J&*EVJ(U&C zS(oYk$EdEuczc#IPK^O~aO7T~H-Ewy|1!C`hE+xOxLR)ls(rfl4`+1}%%@h~Jo zBq9WOA995v+&dyhL5(nFwnmu#&l+^IeKaWJ@%RLicMvTepv1nKNKE^grK^{o( zwnyD2O9efm!2m*chwaE9Se^H%Qz z26AZi!xfLsDn9jFcgh%qPfu zmshDbF+s--C&Yn1!|fRVPKJF(l0tZPl-o=_nx87(2__fM5_XbTslKrT~6Mt)^tG>Dd-M?rOY4utn^ znqgj`CkVCgkLvfj*7>)}`ErHwrhgs>Z8FcPKXwkT{ji8&Yxjv7<6dXdAfwIkJ3z_*^TR|bq)*edSS zh(52E`Z-77rPuJy%L@K_g%(!>M36N_HPRHAK3ix@SVuYjh=>uVz)a}%e?z%-vEmF} z#?gf*oBHh;^g9lc9)W1Q+MF|{b{xbR#=19rbB`bH45tFB;ilY?@?k0&T%u5`Hs5Fl z$6L~{$Q$J;7bdnqbv$KEkv~M@;wtb=ei35`j)S(AN3WW z-chzS?4`75ELM8+k->xiEWAV0F-s6^?#@M>XoE#Aoul{X!`)8~R$nHymV}!QMhDJ* zyl_LO^Ia$b&c2OW2r2!l0RdqtrGmEF}Ts_eMnil_d=vWk=REr|gAgaSSrt*#m9gejp4oPcX-FTWpbhKQJecTA$>J*cYiJEZ|b^ zBM?xj+!nrylneS=^V)xT?*BC2tvbId$ov8UWgw47H9I$ zk?)u>4aq9{NdmJz3ERD3dqZODh_{$C*x*BuB31^9h04m!_J4Y9EF>IEEbJ+}`=D50+)V%D^rD;~RT8hC z7^p)7ohD!q2w9ytsWyvX5Lm$x5LgFiNk}E7V5DI}oj4^WsR+URC22zg6APU_M!1eY zfa9&EE8T{FoZDOPtM8ldn=|*Iw)i;kGy}6Pc8F|n_d;Qxht+O-XJ_E_z4_n<1AGxG^`@#<=J_(o!y{*%VO3+=o0gRY&h8 zsv-4!y0GPZ@LJT)ZkS&-< z@?MxLP}gVw0gxUjs1sqG9pDE#87P=60V)yjF>LM`$vH@f)XNhKLq%}tH+3V{w{rz@ zu?u1(N9fy4OYjI?c@Iqj^5V$}Qj7AkefVYiO%o{eDIYA9XO687Gmh=&0J1_JYve|Q#YE|L^Y%mA z5eFU;;efn7zCW*n({<^aW6VDb-fX{Ps&R16E-f5=v)=X?(a@L^`}UCFkWi5!f%*2u z>-$nXQQiPKst6>Z|5@R$gz~WZU*NsDf}4glr+S2*pOhdodiFP9Uz)PWQ6}^Rz4yfN z+J1w=iWlG?-*S)J)Zd)J-{p7TWUl~c;cl4N7t;Ml^f$3VC_LEdJGL)n)lVo|5M4Gk zsM7D?^nveCHEbkNxAqTL6?E`EIAPpFU&;m&4Osw&;%Ox2W>)B>*8mCzVeuB(O-6*3f0@jvciIS&||Lb&YfPl4uMWi0Yp%cD_59$mR}}V~Ks~=sS^3tYz(w^HgVeG@gI&yBQS|(yBZWe732HS$ zK>;Wb48D0K?_$7nv#+jJkbLgJJl}dQwrN5Jymu7iPhr_qI3~+}R35fUr>$z+xobq* z@jkAIh}m(?q~k1937Foq&vCIDNpy%AwZm5$TrO6Z?74j0O&oN8E75Cb)vV-^WDL7P zb94lTRfulfQhbwRJ;8=cWLn)DCuy?;T>+b1P?gM_+keypxt;LAsli$;c}n6t+swn+ zD4P1UAJ(?iFilQo>m)O*8So6!FWzL6hmdhv8?bcuh`l`xF_ZG2{dKjgF9Rv&I_{1{ zu7$Pt@W)BIcM{uN_R|T-xne(L^+6eCMD@AIeuvNZXTuW82?zV{cl`%Aqc7`6MI0TjBTGveyz>_E@t}`?| z?e96MDUX`ln(1r?vNsvsaTZQvAAmNC3kpG=A%p#`BG|}3bqujFq|%2QuSUO#6-nJx zoKf(;{xB(V|5A4?=TYt{pr9KZ#epiuo7qXc`z(#?~UQgy~NVJE`z>yzRx45nhiEk5lV*IaU{8Rsix_d z%}3bA0FDo`*~%yWP&Gax`jb(3J~Y(#YVZ1*j$#!d^3J$b(B-%7{P>is80GlSmITX{ z%XokueS%DW`TTL2Z@>?1@(Nf${9vjl!z^g=Qp)4T9?+9R7vezP0j(Is!L!esz#H(_ zH=$Jf8*_I2xrE360n*yWZLF8ey(|Tst+t#UUNqet1RWtsqu1=@+^?m**Lh}cucuUB zB*^aYuuyo&O$-LPwz2FDIe0NxB~bVu1H)uI=sKP3FKwh}%ta`!C4e=V7L8%(#hluE z5@yZDm3sM!FWMYGI~Z=Actb7t*w;7&+R=)0NP zKv+=>P1dY($RhJ=N|<`2^mb+G9zi9j`T*UT;X9XWA+DO(pUIu+ZM82hM-Av@+2J_0 zp+_uNW84GIrlkxs9)NaBF1F+FNU&+q5v@}l2fLm!lVD6lTqYJp;$G+d!ceq)!d2fp z+`D*$?fs4i@VLImO}qP7o16L07S45?hzt73Q15Wx-p`7T6kC$9Zfrh+5YL9|So7@s z>3E@T!j91?U$$x#OmA6tJhZ>{$XIVXkdbd_Y#CO}hG0%{1^hcf8*1NZGqb0(J_&+$ z?9fS4>C&V7mvTG*0qPm8i^jzRUhYa%2`nNd_15oH-%65`T~$IAQo;3oAO*B~uc0{ilY8#& zmEpcp}Dfr!?dM%DcxO}_}Rn; z1~@tg0DRR<4CN07?*gx!mdy2>U=L*j7X}1nrR$GXg7?sJ8*J+;+^^+Dqm+yrF{@A+ zsdy(8IQ>(1iFn}7GrB?!_?72xAl5G|uB7>VOr{x95vq$qf|}n&;Z*4y4Q87g)0g3T znH$Hf*)`OgjUoOlQ=Q!?*_-FXR7vYhfbQC~n)RjB$Hls{1o}@kZca$#BF>X}6U~7L zdrw3us?H1%a%W%pBnQ3A+YucmS+KH%dOBX3Jg7TxNY|~H2W8fyE84!9dgU8A2WKg2Pbgwv>ap@cG9eyZvT8fSpwI+oS!PNvO zY!PDd2i6bLS^HjD%iDL>0WuNX&Q&gEPAG_u?L{dL5xjvC)w&$36pp5Kv|+DvGJU@z zz$V3K1BWkv?pkxPQiLx=HZ_kDLz*Ns`isrI}wOmsC1p>ySuyf5uGOKFJK{Bdz! zZGZWSv!uTv0V4nkLMY8biTaTW#>ceTwg~T!J-lPP11d&OrKqn(JM2bX&<@ zNRC5piQV)YF||_1Nik%1=i8J+rzF#JA5+yVChmot)^y-dt~}(f%?!l1-50$ic(=AU&a<)vE}fWVd)Tq&H*Vyl?0xK60g>Xs z=nYi4Wp5LXk{5>Nao)s#{qp<~%~NCjj1T&>IqOPK%iCk>-!L!vQnLDkw=}v--xDQw zKH`nG*3b?K4%8Al{-DGIGeUK27QMUY*}7=2R7 z!t(U7tHEbO_j=V1L|Izjl=A~Om4|Fx`HyHKD=uC>vuZFfF}DhT~e%Wd;CeWra&$l~FgllL9HOH?O)JM4H$k;W%%G-Xk}{#pIa^84+$or{St4;!@< zxE9!>R6=*JGZ;f(Ohz9t-WmuD5?2dZc2P4;ZgCu6(+&db@;dkIOcC=M91;Tsg^`p2 zm<__l)JtgV8GTTH(pM8w8^^cvj@7ukvCexb5$!E=Pg!3_^sClaBLN2s5Cj32GdHMp zJGDM#lQe$2%F8km?JUhTFeQ3eOH&~(GG);#<$gXCwDv$^70jnjkC%*}8)4xbM*4KN z7k157(8K&&-Ba5&0;{nY?w-rF!L8QYiyC#GM$_!8rBoV!C+w%gyXFdccyVeg)7TAT z7l3x7N(|j@{E5~E4HC*9mOR-?x&jvn!VF~Y@DLC>J({`8rxgfcw>6p>x5=uo$DvygX0fc5Pgj*9;>C zXtQ3WTR$RytFc0A$7jXjm4{*^IUX!+Sg9SH)ABOiPVJb|PO4 z6O)ywFsM&7g)iGcD+rC^Zl;TP=~49{HNK>qvT-*q`39^EsN>`wQcsIApR-n5YM@`) zc06$PAc-c6dJb$k=wJ4mRU>PYz>UcJSk|Aqx$x|N9^P9k|C;6vH9=SXez~~O=J4>( zfoUJKS+4pFxlBp(miqeWt_hPieUkOfd!BpIH410))6hxv1wK1ieWJ5{;!vSClldl} z{tQLPKub{2s?Bi7vEEjCaxh`jE<+tje#g3+mvGUTl1i$tW#Ar1ah zbE;HU!{B=CM#Nq!gsi#glFoS$|)5+l8liqlY= zVW*r^k_WS`W}h781#?1q&TV?FOP;XF*!mAC7F?;co1PI(5^-fW<6c{yJ2)J_ygn^| zeYeZaRAlc&a195X0xbw`f$gZhzLCeMy8PDYSlml{Mg0_E_T~0z84G;;QzRuTFw@3$24 zEwtlwwnf;x6{IUUqcT}#KJS#veha#PmIkm*a3)a~C)22Uhs(mC;)G163{VT1Je4c) ztZUPrVcurkWS2k3m6GBY5~aU*(`-FODYPN>;fUTggK_1Vs$b&6(Wu31Owr@VWwW9k z`2L*z)TYf3&x+Cz%b$eAIEEf?_YS}2l4o*BxISW1b2KYJxVrOXRDP(VsPqMYm1-uP zbRmcaB_gD68jBRP{V!Q*NWX)BCVn)ieE}~n zYRhyJ@ynm{985*7hglrmBrC0}7X3CQXoV1GM;26dK_>H`Ah`W>JJJ=mh)Ef!Spu%aE`R zDLY^34T#Ziy)M=pqT69;c82P^9Y0}@4wYgqhkVU3`)X_agnN-R&@5 zx#X~j+e&?W(ty*vX@L|H3PJHxIigDcFhBRV&sS|2!g#p)9C3rahron#UmcX^e)N|2 z&q}?qF_TOxqZ@$pt#cgg9vSSomfH#5O|p3s;u9Na8-YqOw#nIx&%PWL_-9kMpx@a{U_DKS)g zz>wbgP)X_`&olPRdt(=-nY7~XUTCx9j)|+8T<((~Qc^vc+;2ZdY6v*($W;beFc{kV zsD5jCZXt7HKLhv?8T`EejoV=3^yTO#D*I*<3G;eeV>@I|4%XgfJ+kS>NyJFe+~~-7 zzdJ5}HC6I?0P!gfU1J>3GUxkr@YnneU($X3^WI=HYP{jSP`j~G@YXc`1L?rrvk1c7 zpc{`x4(Y~A6HJt;%X9Nvh6heaZ)Fjn{1kPPi3}AUliqt2`PNu>ZLuBl3Xo28rG zIn6;;XFQ(d zAX}3SkD~kauc?P-vOcg7*XUKwe@cNnEeff9AEfduB)cJ^Zx}WVVaz&kf*Pm7IEv~{ z(Dxr~vA^5d2u!RG>3m8kvk|_{w?#)&?+YT^Xb=36y0LZbvRLhb05-Gb+d_)9y3Ce; zu8W1SBug(2jwx3K3-xkvVLJY%M7`tEafkh*gs78NCMB2dT2J`>s!sAKaFCEirNeTh z($1^Z??ujrcgOUo&001MPurhBOa|rP_xK*!*&swMA$5DIx_&%P$#04v-ECat!_-Oj zljQdC6ls66BjZ5TC=$WLISU{0OH3_l*XdOnY`#lHswRJE~3B zM$74d;Yl^}=XIAOjM4cWvDZ7o7LsSQuH1|Z>&Mli2Ha|5WA)zpGzEyp>Q$$IkTH?E zIh(#nIxeRFTzL4!^dn+QjJC(%61rlDN~a`eEpL z#?5P2JrYw4FNdN@B{hy;-7d&~<4x(CpB)#pE}dH8&4Z8Rj=OGAV%7@DntYDfn1s!t zqp<;wr>1wv`p>(YSsseV-R~_NvTrIPkEqZY9F0?YbMnkWjppYrRj)H62BtF4kz=#K z)2ug`LJ!p#7~A79lK(t>meUBKrHly1GZ!)5=^J(L#0aEd|QfHz;F*$MPpOG4aM~1veYxs@W zrbxGtF1jL%coI*QxXH8t*ty(xCZYD}7eGFf!FpZ2qo(Yb>4+%Z>x-XT6WjBjDcPGV zxYZ}(4_0zUY6rbp{s-j)!;fy4SjYh=vw6_&AD6o00TmN6G%z&^FHB`_XLM*XATc;N zH#3)!$N>}uGB7eYGM8~b0VjWqw*z#XYuGLv+i9$cZQFKZ+qTtMjgzLat%ePnq_J(= zX2UZZ-|pVu|F3n&A8SdEPbT#7Zjk!ln+!W)cqeuJp_dOgsQl`H##@0463@ z1|}vJIC64TD_2{yzr}Fm>SoR^Ru1+&|1uDDHZyVs%EXLZfp+o^_5gnwH(LNRD}b4U zhnbUyi3z~M#KiqSh7Qg=05KzXD^q|x13<>X-pmD#T-3qQ%h}4p(iIrye;xr;Ce#3C zZf;JxKivVsc4p32CPwxEc_UX#Gdo~J6C+!Iii3%jnXA`-D5&@>U0oe{7#Tf0JQ$4Z zTo@djEd;3P03KGZmVkecW-eyV?q;TdKMDpY7}=TqRT%>uIY8CY%H=P)ii5eUhmo@x z04T7vGBLAv0eZOEo0>TTfWZMO(sBSrM>G4sjOG3^pacBf8vru{^FMTdd;dXXW&fwM zk%@_eouiSxmzBK*z}(8#44^0>$KdMeN(V5qH~quV$kxRH=x=}IZe(R^WDGR;Gjk(= zgs?Ke2w33X<++$RTRFPAFt}LR{!t?1A2h%&i`$!uI@sBn*}J;H{gI!Tm9v=%ub^>Zf1Ty|5p4L z!7(!fOsz~@0mfz)R`zhe*@0p+^S>}~_|8_I039aa?lA+H{`ma!qz7CtQwMunuixf> z&X-X{Ra{(2g!ZqB|IvwvICuhl=-HS6^epU50OmiIj1zzO;P+n|B_pf9)A*OKw7t0l zfcvj(fo=MqjNSiU0II(a2Q}coTnY}rtu+Hs{a$iiCUzzh;1~1%^Q!;p^8dHtf3W=D zmi&JwB;jUj`=^@fPyPQ#ZDeO<>-Dz*aB1CKfd@d|0eB4T|F@}z*&F+6| zrCp7H2SI<>-oo~uHd?tzSb3V6Dp|RjSpKywf63MUIAyk0_GU^BE>?eBD*$@nX#STD zc(hDxfLDhLa3%j#nE_AEe?yAfn>d*Mal}~IIRHk^&PHBvz##(>JHUq-cot2~JpWu` z03(CFgDcPl04&cBVD8`y_s2vz*a3{fe~A7<9Ke4q`i(dNjH1607l2XhH{u2`ivNQ+ znE;FuzY#NlQSvup1u#ngM!*PizY&mA;Wq+uD*l7GfSgLd5etCv<8K7yRQZkA0F0`? z5wIe)e-JmY2BY5y7|-}O0_JJ#Y-D0%2E6&rU4P42|B?T-z5ghH37Y(a*nwmw4z|F_ z{f~cyjqMMKo!#$%e~gsT^j{Dd((E^60Xmr3nHsrR{%-6a7EW%!gYer4SiAY}uzw&2 zH|Kxpf%#he3j#@h^RWTjVd>>)X=eW~3!u#EUl2GG>wiID%WVDyfo1+X8DJ0Wena3* z!}yz-6-aFFW@r4z{b2F0fWRA%(cyPWKnj203-MoSU`dX@)j&!|;7iH=KSN<-{#*Lr zk+1=CcLZJ|4!@hs25g6;t((ig_<<6q-%|ueb8>TVH8VA~{Z9y1w%>~XMq%atTk~Hr zGc(ZRUxQ!a)#>CAT z*nHPNUj@Kh=zs8^FLpCCPcsv^rFjPv-Vp0=A?=T~!gwC^d*l2wJdi6Q^-T)omnxx$J?E7Mn@NsId4Q_D~vwx!S zM7X|>02ZHKRcPP$)yY>q$Oim7Xr~N$u9F)Vl2ShUqeri#XMJD!%4pd9p7MSThb;U{ z`80j3T8wT`$t-!Ean>9*36v{60Spb=r6=<2-Te$&&cr*BOad*O-)Sssk&l1&Cd=nv zbKYx}sw^&DIAl25*aYBrXrogUJ|c&yGFS^frA4d#i=N;4iimO$>C#r|Q5X(cGHR?o zM%y>{)VYr?{b1hBO#y^Z;`O8NCe@WSe=u++QN*ZeGl)iatz)$@BRKqFF0$5suikBL zorb^6Jzf6}m_^jGJPB;+_IZD9a9SH0?x%kUOKW``Y98L{_R}a4>=VSd@L;A9x73MR zUE#?fNP{eQ9RusqFq8g(LbvRm!u0}a6w2rG=}P1YmwCI8iAkFavIle&|C~M7_v*7> zRpX_?kIh-s1zQg^z2Ns?4uyB)&a}(RLL5t0al_0os=N&G?#R6LI7)wI-fw1&v%%$z zmz!0X3}R(oL~@DS?2A_eWJPS!l0AD1)k9IbpS-MpaThS0t5>PD#j_VE6Yriz(~liC z1`Ub?hxT&cn;vf8S5%1TV;niC|GKR5h!7e2yrs$+k{9{oV_;5~i(PAUzAyV>`qnQ#)inwpF?% zY`rZ2UiO%DaN7h5;)R{SuQwa~R54L+=20!{Y97K3%lLH}v;BW&8>fS#5F(_|9jr_r z1jbLL0EK0gnd@>zv>)E*ld`S1y|aX#h~irKt6g-zt$(=V3$5VS?a~4z+Yl3sP&sKEOgg|ll_Lq4CJO}sD#C&vPURi~5v74>$fD1e$c#ynK>6O73r zYBUVU4&NN*hrxeuaj91y(Un-m^N2&}dFoIpQ8(Wvg^^^CYZxGxdcTRvjDyIymV;3A z_;5nSbJW3+2B}Z>Om>~j%}dSUCEY|bmJK6GELeDuNU$fzd0eSPkonfU2RSJ7jUSAs z!NX4(`Zw`q5i&EC`NE{X^R*q>T{JZRTFhJ@vbZ0^K583qs1t@*VV^))XT{re`-xJ(-a z71#1IzvO>&w3sSKq z#)hIF2XJ9| z(2L{YQ`ho3fItGVGz44Do?YeIgQAT7WTv(zThjZnl=~Q)e~>b9mumF2UHZjR;i+NX zXIBvofb@kKT+ZEO&JF|8sVvt1s^w@u{SEyNIF02Z>u*z=Ln4D?p3na~x;nx%B z-n^uZBu4YQo-ErAawTz=JRU-IVQLi-ImUgya?Epf^m5T`;ew5aEL+}cpOG$jD$>?P zO-OqQs6-N&Xpk=;AzVHm7abB&yL(l!sCErBF2Rh2-vVTP9pvE+(C25;G*CC*@DqPJ z5WRNg58pWgD{|}fJ06T&vx#7Y6q!%*7_&emu85MGSiJ~I(|1ge<>eP9CHu5r*L1+` zD&JeZCt@T5pkUE#%YRjn{FD)>HiKAH7m3pl!S_2*r;dkMRT*5d!lBE%2wE?>_=twt zf?3qjCJ{RTUf!XU#cOr4vscbE(yR(*!r>kPu zh+7WJ=ThfJbhloA8L=rdW7UrO11h+;oz#n3N=AzSi7xs!XZbFspEK-{yc4=%psNZF z3VG)7<+8nT^gg3rmOH~o73F`I2fHhX{fL&A=_VF`@r%1ure9qi&&xCk~p{wj`YX8oPM) z*y>>t1{!{j!Rq%^$;OAR%cDRlLSY2kX7s6ZX2Vr3H-;NG+Vh4GWZ*~c>jh^aWca6)aQ&}W>q~8A6 zX(f*C*WHL&1Yrs3_ltd{49+6lkz^S5En1>gqRdaduH~jeqz|QBAd@x<;j_`QwV=5( zyaipyvq`o=5>Hf6@QX1DH&Ml)yqjA^rf-!$pU*%Ot59AxXxe|H`1*_UQg-^#L(t2? zUAl_7`5GnT5JkleL)DM+EjK%cddV@Alg1^A9F#hGx2I5p1IWtbJ4mKjS=%3!xEHuj zwPRhl!$Bzxcd7^xPo0-Fe(@+I7o85e%-jtmHxmg#nFk|e>JwTgVi6=o* zzG|h4c@=x8uK>6=H7Jlb3@!{)Ay=(eXqDxRtAU~Ym_C21<6M;SGN^UehkmBzWaigi zw}_8W6#cNM6|VGj3pXwSswSR)dh-@@IU^g~HHRz}L-~KLQ2Sy_<+yzoLLJVL7Uk@U(a$E;o-0aC=YZLbbVhpv`xI~)xjamG7^+ku zxNir!Ba>g@su~ptd}JjWH&!n7Z8D74f7&1WW1bnx)fDK#tQZxl<$-?h^LdFtbKky@ z+gNSg&u4#2x@G=C7J%+-C;WcylJena|IM|%_69gjdK-V)!?4TUr9;LCVb8n_Oh7>0UNn`q6)2fV#X-Ghm?48DnYR}X)O=Y-v|2)fUTRyEBuSUPmLMLYk7V3>93Lnmp6tA;sjV7uqTGj$tbg8Xlt#<-eiYFs_$Xpz+j-(y zZ;-p7mBsUoUB09SVq^b&<-Ru(PNoaq8 z6G%R^?NoM52*a(&5166u3Tw*x)mU`R7|RQ-f-<>8PNTdJ#>Mlu+}Rol!C|~NHmBn?VD5=z{P3`Y9HEeFNYJQ!4y$3zFrBEN#08_*xsah$g#~{Cm zXF;W5X0`T8XL4|4$q!A6#A{kk37<3gMV3aT_3#2!pqL*3q&G9IsFp~hI?8`xa+c*< z^n0KDRh-|vjMxG4N?MX-bCbM;+z_$&dJtt(SXv;M(V;@@fr)DyQ&hNckC_Pq@L4^< z%|l{R*5UamJ1!W`7@s^>Q{na*ehMs4&ezoBP1vMWFWdI=Ql!?9@*OOHt-Usjr#7G3 zmGI6mY#wM9%-@kV0TEJ>qDX(`dxvaKJclrIw+G=u56Y7Ggs;1!URTcAcVko~Ozh>= zzQc1hL;E4ygt)--5;FCZ@r3-_eB>6RxgYCBYR1V(@xTs=WLYX|)d8isyvr2yERm*$ z+N#KS5=yGV&Vv1FRM`+n{~=vCz$7Z{ z$kssvv_YQgIu6Piq`8E2#c*NLUdzXN#gNt47R;TX+OU;U+BWw!V6%>Rui+){Zbs?n z@TpI7K9qRPmka)JN27m3efXe7%M(Q#aKo(T^NbzG$0vj;E;p}LGUw~mwVM<-ICDP} zryg4NZZCi0*EPMltS7w3u2Up6x+>5guDR6vRyP{IrV8?()Ii|An zQ><-t$=2(I2%9qrGao_gZeFy$s?YAIQNO81(v96fG6VXtaf!M38QGOFW)}W!Gj??Q z5^j?%vW~gRKEi+CSxmss5sG%-yxfA@l8oS~v=3BI=tBON;iCTZcS+fMUiJ#8LXUxy zHi%tmXQvC{QdV=}Pa9gOR&JGnKi779t~;hKPN&hdoKcPl#P05S;$oLg386n0fv*9Q zgk4b)PUy?y={`_zw;Gif4z*ftPjKtZmbkscs2pH(%O-!~grN4S%9a^vlI?m}3?(%w z2J38tc}C+o4Fnf>K}b`jzPDSWu*;Q{OLv(x`uSQCc9A7`i*2K;P5g}aXw!?ZJ@Hb3xRe zUtfSH^8STJ6C`x{o_)B>=Pyk5G)O*3HMWALy0^RLRoTcrxd=ApDJ?LXE-vK>fZ zW0y+QVB5W?ZY+*1#*B79$GbI1i)u;bSeAzY_QhSDq&8NBOkG_ zk9>cOEUvHeeFL|@T=t3spKZ9MHE$Em3(7L5z_;HgUY}{vmx?vTPfJo!1{sdGh`T0x zNN8kMR5+2kmbD0LVDJwiFRWJ(2`HwQgb!s9Xe;(3I={EUpe>{E-=!+#?U8Y~e^bF# z)k2LVUBRxFOM7P0ylHescAh*+7c5CZFi8QRy3oJ09VApvV@J`GF5UHSG1f%k>{p?Ci+ zv&}PgF_}5vwANNlWWT8rQRk>ZtbWx&;lV?AbL>~JF9nIoN`AbMQ6w|%viCEj;|YJN zxy?ut4^O%WxUUcTvq|6txZv=->9AeC#~%S=y1kzerQBvY-j(}aC%;f;DYFh5^LmoD zd?sSOAyOITDYrI8JzF7fag|AcW)v9CQ+z+qByd(=5BiDYsaN|Qs$GD3`y!{iQ7_Oo z>lZk?!w(dlgS<%zUKBb7ic(5+tFnJ6-8u#3Zs}{O*|FP6qAo#Io-?6Ei3_X)g?D&p z70vE7raHb#>Nd+wjd`e`4mR`e5@OAkaVrdq^{Qah`YMo9^n{`I9)7QM@DbVyE#erH zqM)}m5Aa&>u^%DL8ohtc-e0n|PwT=pExMk)y=iT+8^&Qt_#0$+cE<*Tt7U)tMpJ4g zHV%Y`ND3jV&7*Kg!|M{Iha9Zl3%u|QsT(|l4GGK@bJIvO`C-m9>XP^@V!&Lmsx5o> zUk$nKN@SXYk1iF4-YIRA4pWQAM{ps3dQmINeDa{KzO+D(8o_Xy<=Hf~CN272vx*U6 z3GFlhUzFMI;($p1T__Pw7F>UlGj4~Z%2#W zC(yin&aS=Wr!eb9-29~qJWDS>PQtuSy=n7e(u+){?rJ?IVHN&0rpf6tcHqk|WM8Ne z*B{o*Q~epj2hML%7}Z@<)o(bXGVVX=WQlx1VXqrPCsNeciD)&HPC>|E8O!V(l_geESZu%P#KP$Y6YhYSrw?}~+-Px<@)w*Nl3rT!M-&e7;; zZ9u^Q>GFV&X|bcnR0six)sxjRkpm33bJCcakG=PZABT$G4ZnYq!Oj_GP-LSjpj}zj zQMpLrqfSZGgQ7#>tA-*+IfH5cRu!%g@xemcp|Cz~HP(SFeD$hmGcUR8>garE8zbbt z3T=xZlV`$Cz7n~ZX<(1zJr`skfT!)UW6{963?S;OaS+S`-GQ!45ze~9@ z-v2;$VN_cssqDegj~8lQ?>cM|etQuOtUP&jEFM#yZA*iglO9R(pIH?UxItgGe^HyM zL1~hNjw!Zp`FtG153P;=pj0{LER_hoG)S;$?Ebkz$H9M-Pnt8i6HSQ$;^iZhg2^Q0 zHMk6+wQH)Mg%@m_m!BFJT@ha^rG`&AU|(=tmRhZBAO*=$biobEA~}Bi4%9nD+1L_W_*Qu8Z4f7Ng`Y> zMGWsF|4@I9g*}-w31;OjL)<6{t!oU?N+Kt34~xg61LM-g!Uxo+L{CP>_x*q zMNNNO_mP22NGWXeOG_#3B=Dpr1cqyhATk)PzuekXKTAgx1yV2&2!dh4ML+(W_waCo zh*UX#rGiANi_5qCb&}irsY@QKGJ$t>4+-J!#)d!lJxLn|ku?x)7gDXnF>Nhl*-oea z!;=@&0j#)<3#}hpckKs0j#AK3V(i{Pi1B|RLDoXTv;mwkZ8!IV^;3M*XrVVGj4F}^ z7L4n_ce)FcK9Kbzw|98GP`7kHn<$LjWVTP^-7cPBsh){$Bqr;XInRCxQXyp8vihm5 zB=AYooDtfPjPfe;XbQqE-NtXdpwhF_PE7&~da|%cW%a64q91)7?NLRvex=4~btZo& zu+;TW(en)9Kp<&Fs5m2XLhfEL)^mqg3Pl~3EriXA=it6vhv4$ukrso2H9*noMk(^# z@i|*W*Mn!P+9vuL7w;1iIch_I9~CXSCsTpqZJqAO@Y$tXjS7X|?c>F0*4FNr7=9}5 z7tKe2+EZ|%=yBw=emiGiqqK?-YZHH7?UuPUOPFB_vMGh1EDDf@TR#@mITy(u3h}DB zmKb5yuba!==%OBegQ~*JWr!~uf9`#!e-wvkr&hTDg-g8>&X_|YcXLa5e`RW&9s_;Z_!9Y_lqB770 z)YOuNA)%Luyh_VMfFAac#I&lj^!1ArZE?NoETZPgI)hkbdPi#Y$bN-((pDm z9~pO=Z978{ZEq}+%m-|5#jOsL8tFs3e6y;rkyWKr#>#!5VO3e#iEMC3%QRC+L=R&n zYub?h8w9OW|Kyg;2i$*;C4KWH<`C+G+;jD`la5nW`RfkcV_FHE)SAxpXcj-t9Nn7S zEK6{`N*ST%hPMSjbW?-6*;41rczzA9Qh}*)koH<06Vy)OrNJ-m=aw30mF-5sduAJ% z-yNCvmvStaE?R(B>Wp~57jl2K*+xNc=K<+q9`hFMD)uLfHB5iISrTD=hS-DIK-pXJ^*y?*```u@J6FHtxumOpsTZX5_AKTWgGh zC-&|v$9BMW&ikn{rB0#j5*Tp0lzD!;Q^wpecT8s148__#@&TYeD25H~slC$v zTq+=D6_rz(rgbE~)Wv;IVubb*;OjT&fa6bOU{QV(^~!%uSSMT53Zu#&TF8OvKZttD zm5-VDiQ13&NlosFg-a>1yHWgc{rJr;RhPuMd6&V=F zp>(NkqibCIpeRhmRy1XGGJTG9RG;}{@wC;nrH*CrFVS+%T{ zn9|tm1(JW7o03t?OiPCW?ugDHeOg2$S5qYvfSo(>)O%ro_Kq`e zXpzqigL;g6Qn>~$obP(Juz8@MM>dA8E&0SJ4u&4V*z3L|e2%gu?A0WKOc>yj7aCFGka2tZ z+5^s<#*{*NW$GY3Os0plR6K=QYnZzI+$NfdIh9`-pdp6QIMy)4u!Z+kbv)Fk`XB z)FDMeGj5SMJ!3`VUuY5UH@|740u ztv|2!p$(2radt<30)YfWz*ZwtG8XutY1gb%hw=Kt08iSZp;ICU@AGxuh0LNe^6;2* z3ijK>y9#V)ZSxKvW7K7hL`0@I#{$7_h(CI;6KdFeHu(r0e0?qVTVhN`@Jx!LJ#l|M zr~D`Q*E89W*t(yclgJ^8Ejys>ukQw#h71h>dk7YnMRlJ1vbhd9F0^tJN1r$EBwh43 zZxJcb4myKD0}iUmOl}cNEq|$eEm9A6?vtE&^MD}aRUKkuy_O-RTSXwYrI{R**)8%} z;l5^}p1iA%bt40@}%v?Tt+CXt4^t}txSx6mH zl;Pqnz9*5DcxXoT?5T|dE3Uv}h5oJEBaTj3+ry5|FXf}ZeByOENFjlCcV$% zsZ96wwU$u#i$PH)YyXG&EI6ZJNmV$A$vus8aC2HsVtU-$$)$xmM9HQsesl4svAk^L zW8V1oN(UA1T%M*^M4j8Ab{6!aR-Ea8^-KqPs22c>IGN2}L|nKKDbc(@(&6|cJZ=#@ zjHa05!jsqqcTL@F1Yuy=I}U$n2+W|s8QVr|3EIzu!qJbE?RlCh5K8h}uv6td8EF+n z?}dcl?I>t{ZU<{Zujnl<*#?;e6E=1uWR`sJuFHI#u%lORgo`KT6}P{W;j}d_)~%jH zpy<~fPl?4g;OhsA>>NKX(T7ZZk3`A2Gn>x8_i1|(3Cs`nIdeRjuiAf0`PPp?d!B10 z=*ARx_by=i)5Kg2fi_dA(OW>sGg_42#;EHBEv0AymTcvi&30QQ`&)Vgd24n#4CF&q zUd{8~CkgWb@re%K`R4|rhg!)h-REAF0!^w=iXaw7N&G2uN-{4Kgv`th73+@oLh6=a z!uT%l?*MudM-wmqdt>AdxU?_)4bRHDtLx)c^~9+ z>~wNLAXt%kavj`jqV@eI4r?deQ3cJJXXOY=&M{FCHE#aE!Gy9agc!9_3>1TG@ znjb8~DZP`~hgiV-F5Hp+Pra?}%^HB2U`Deuh&-+LAz@iG+v4(RStH?sn!2l@t8xnD z3NKn0GqLZ2Q?7r30u4meIVV>xH(&s>P8Br*KOsKsq#eKHtJ9l4` zGX#2MCH~@*nNx$pnUPqd8CIjY`4P&{_COzbbk9z~kS0}PdCdoOf?aBV zMuyx3mtHz|G#L046r7tD`O|cZN;;TwYgNDXt#QBIZ39GhlDa^E8y{3Um=iakVqZ n|!3%i-2 zlk~46Hv(dxm!o#H+gtn(8VjW(0?^i}OY46J^5h2TL;g?CeZ7>VxrMtmh}9l4zYNZP zRClpc_6s@kO#5yJvC5cSF|;Fxn!oHQ`z%l8V%0EJuYsG@(GanLY53xBJWZmW)s+=Q-mhb)Qdy2Y9yuo)i( z58oIh^P;oLAJ)MAF%D@0O;y;XL_X)w@ARu59)_{*3!6|d+E-}7$8;G*>ifq9@P4J3 zZy&aT10uh)AQ25XnNy20_s3YyQ_MJf{4)J`gnkT(_@m*qDrGRi2o+Vq(dK_B(g2&a z@*(#W&oNi4i+|lhDwb|+R%S5Hqv=?^Jsc1@4=vd)*I%!{e-5+m*&hP2Mk`9l_BDWe zUGxa$+VGvk*!?LjV$x>JiN_j8c#{PYw@|f$S0j0jg7E{U4@ndU+rcGctVNHTTXO31 ziC>P98|L~KQFuzz!|Cbt@>G8|pI8L5*fFZnw3$K~RhiY7sjqCB6|Wpp&U{kRL-ZvG zj3jN0ZSOZ9w5YVD807b`0@VD2IO+Bu%?$+(Yr8?d8l8t)c8PATQoPH(Hw-{)pmHK~ zGA9Y9p=3RsRvm7@o7;tRqYZIT#uxCQ_#)|Nhn87+aQEx2E<81PvJ!t-e^!Zz(kiFI zB0t$Azid_=>9vp=Fav$&5{E=WDM2c8roJ3|wC^N2|Q+8LA2{wdpkb{mab z6>_T)6&p*GTNo@4(h1TH1fd@cQVn(hiHV|=~-w{{{EM` z7y)SkP{`^1mUrcO?mm;rwJFFvyd|EJhp>{`0YyeYBtO)|rL)_5T+dRIDhG;-P(#x- ziJpyhEl;Ye3nhPf7h}M(Bm2Rq#ef<7%3MiyDHV<0t0cmnXA3+(U zxTT;^wAgbTaju_rGn9f{*_c}?HC9nLJayGu2Go~A9ca~Fexm6crzoeowJow7=Yu_; z>B^uAExC#5qFDCv;bn4i1yJV`^&{nUMI&_Ndg?cKKaVrMy?=VI#G)Rv5=jW4k zdp{5v6Hweh&@lxv1fN-i^P;iDPT~ZVo$6T!DA^NZwc%v)9dI7mOp)@QwDyU^sIm_k z>TNNbZAsXMy%j>38G_Aax3UNcpKx5hSxZ!e6{&y4epxd!t#g8l5Hn9}7F@?e;D6YS zU~|Z!Q@xT$(0t9m{w!cyp*itQX%3w*KYcv|^@4qUJxsN~f|^8~Wl$Ymu(jdf?(XjH z?iMV#ySuv#!5xAf2<{HS9RdV*lHl&{Zu#@Qdi(uU4uadLR<*c& zyo*%H1>}Vu>w8dwGuJ7f&1=cX@I_T?F;sI%&M1Xe3=q=F#D26cV=fzD;D3xE0@kP{ zM>@geGWL<4e#Bt7kXF|GEGH*_0n()G;?Uvt#Q8rmV^TkUwog$$b&JVT&MA}pAkAgiZ6;~4 zuM}4u1I+m%VyEmXlFLAXT-v-p@|B4vsTVru=CnR87qEK@1i3FZ)*oz;%PPM>507gtuav3 z_9CoGy|Z|~V^@wOYg@9Hr5*c3-tXyeKt+p!&5k-we5&H`Ys=&3wT!)@u^%~|_QcYw zB=G1Kz37Dk38zExF4Z3auSTs5gVhDOV(I=4W&KAUPAc87AG@g=ib^46gYeGVOB;n~%IL5l zE$O&Re!1;8{c3&?_;x2Gb;VZKq@4}-BN)pyGJdw*&J2@taH-cZXj|Z)!k6fuScPv3 z2X&}Y{BZc({QHc!m6tYJw`pN&ppEHfV$vrr)_Y_0$YJ8v%9GEMrvse4@0b{RkHug>n0Y$TRs#sh3` z#85~}<_M>1`TUfKLpk}%Q6AKN2}W?01*oO{M!9$Gt&OZff3${pose=Krc4_#n2s|! z*!Ai_GdE?^EinJwf}Loshxq>7!vH`EnnN!&pAxHj?#9(XU`zBvS&yEFf#|YBquVG^$?Q7g_SRSXQHv#VTu>Ra8>92cXam)45;(rX&WgE~ zy!2Uvwyc;?b-wzdcUI(8hx$ln?!CJRjb~>5_=XrKUVf|KIziZCu9C&X)c2gPiNtsg zSDjkN$oRCQ`{1^YXmuFzQZ(DFbb)M~9=LzUdh6c*R2T246b}!4_Yqq&Gq_k4IfP_7 zhaS)`&94Q)363TN;uN?D09=-3;7(3AB(MHNttP7V-^~blF24|2Q@-Eqv%fB2(9tp! zi2N+3V{g$b!N^|ou=(VJyHBtOCk+ZGiREprq>{XB8ehaDYfKoC>`h_H7&oh{4G+ey zxC|iTR9QqQ{u*ZDy`%^glZ|1}7|>^suf`(jIN*ZoLZO=Mmb2&D3LNpPUL00VV{Fla zsjB#GLp{J&U$27Vzpdu9cd-yQsnSc-U~Z3&}G z^$lb~*I72*PMY8yo;B>az)b%;y+mzKceLN7yJb!Xi$tS8Km2Y8_P%Z~K@=U6Ts=m6 z8-qt`(1>B!caigw#2LE%?sEXY_dtt(LEE$;#fu8NG7EK0^ihkE4x$lhf z%sVA%>ucQjCO}~E{Auh|B##v5UxdF?R$2V|6{oj}SLk~Le3|`AD`QKLKe41GQxaK7 z8X9JlyI=O_M`XB}3-xL;E@1>+M!Ygm3p=)RP^hLVb+ya=*Hj|FZ@G>%DX)ZM6>r_u zDBrH}Oe4;s7rJ{z1z=^iA)6-*>*m(jA;NK=!1*2~D_)<)%4J}hFxE%cjlaa_zxuHLSP#Vl?^$K%?LO`Zh|0^#iE+p;63PX$ zALriyJAkMB>Yf*CtQ6@ z&z4PE@K37R)MpVXDHhqNN;qOW)*lE)!8>oM;NhCv*cx_42wj6@mBEk%4XiU<-Qq{O zT0mKxh1hmOt&CN{sl1|(KI}q=w;St|#7r4^^5P9wVb%&NZjtS<;%UoUXXE=EMn#8+ z)!>M8)=Mt6&s;}Za;8!_mh6m@`3LUv1lVvoa*gC5rc4l77~uW`!JXF+0l!uDm~Ms`DpNQ@P?PzF9-f9B!-KXv_;)uuuVf)A zP1os)5UT1z$jdq6)9)4v`wQzHdzS1_7EbH+=#ftq=u;88eD|bAT@e5CEeZ`V^#FU^XQfB(qDH!2^@{!=?ni0% zVgFzXI>3PlS68&PAZiDl(p8iT{&B#=X%A{0&P9iX@_I{bw&01{R;yVYiya`y^#1z9 zIsB!G@8ZhoBP7i)p?wKPfCypcCQHTe2;#)9x-)C*Reh0&TLn$z8xk6G59K{+DPa^b zl$b8Z&iN6lzB1Op+j`qi5rqufO>F+=qDnL&0d8}lK2xutO(CXcHOYXd3HR4MIW#ET~rOJ@F))%Pi zI5|#R21&>&I?>lT>|i>hCL!g_4eMYuJWypQ%9abP9%6JznKsga3Bo@SOzt)@kI0_N zs28|q*p$xc!OkQ+VFEYh(wO{@Dv_}1yuuogVqP2$P|ZA6YX~+Ry3u93T(IASH-;6m zIVwRt-zT{LAfFAKZY8l`VciE(_4&u0D;TDp-3e0T1enUlXe^efb6ik6$gf2Ss$jti zSa|tIdf88(88wfxu#6-ps3yDjM%|j=+}?4|em-S6GvHOE%K>ILbz`vB2g5%VyI>fp zOA>Q3e>>wvn&fFkT8J_fd!i`|A(?PLr+H?-EZtSDwb%bU;S)Q5wS=f?YY?Sm=j`64bUh0rP- zkq2Hk>X{n#W~Yq==`?nQ#)OQGI#DDC>t!{#vg6nOb7C^3t)4ROcQ(F>=}%D)vidqC zdPoS}6s#)08(tf5M2#x9GFMP>pqXq@@k!MrQ+rwL@KpddC7(x>v)pwe)Ai4u1q&!o zaJJk~7diYoQ{3p}^P9w2dFkdha+rqB(!Y@La;)?a`0T1LcJ|CzTHn`wtsTp}p(Qq*eZt%Do9QM!dS*c(1_aDGNX@My5^EeCEdT$ke&6uTeOo6A}kuOVvR>$ciCicRx>oc-i@(M;vU?PQ@q8qF>F*99-z?9#2m zwjL3sKOA5Ohq0npA0_qq*Qt8&i=#@87)f#ld#ovti5JIy3Aw7E-G84T`s=0T?T)+E zK2MS0gvOYv!MG{o9I|7tuNd zM1bDbbBkC+{X));g5JU(chlIy4U^@-`MZNyAGm*&=gaMT7Ai)&TDX*IGE!rRcM)7z z(wsLS{W;t+lu{{xp*xD}f`0SsWvZ;JvW~BNf=A$(A50NlVAwYC^Z*?0Azdxv0cnPA z+f?jU4uL*N9a5diPTDS2k+4iEN3ROW`tD4%h%J>pa8TioX*`3Cmmq5NmaevWG~GSd zETcy&NS;fRdmI4P>qBvtkE>ph=VRq_rJDi74b#4Rp{@rNO{z@vI?F(gkzu6_h+yLN zh?Hk2>dwm?H*X)#nitfzy{%ta>TL0}3p-hO0K>AzdcS^LcC62Vl0L}}eQx0FAQ#_0 zJyneC(*FxOT`Rw!)%&TE!#z$seN5Di+?{L2ORLlpUiAyF#YvzzuIC)vO_OB!)N%kY zN=9JTyFa-Hb@$4rYhs*?$eZ8tHf*e7Y)@BcP5dUX@7`j%7rxOFc_aw${cg-@1u(9@ zxqd;^z+Frh7KMasEem{-O{KO-Qkzxq=P z?|I4G+rK|tgj`UgYb}fEavp`75i|kVlG*BIEIJ+Gt*U#$XV&@m5rf#72p%p~MJBsR ztLxoKYL9Ogy#tZs&n&myjKn<&Av2Zn-2)&pPewiK#^{HN{y z8nzn7(b;U*Ly_cNs;})uO!NBYJs@k1@G)b+)eHY}P&^;JtdIO~_U`uJ_-h0->3l4N z9y+99MoL?b#eB;j$zmU9)dZn*pwgg654aBvHVk7Gq{8pIvxtH`sJ~GV9M-UdwtglD zS?5%MdizVHy8dVP(Lyhmuei(L1b3Y#_t&wa^g6eaX zXnY@~5XEl|OOSaz;kPeha*F_wslHGg6Ysw)qvi>FqZEGh6gb!bdYdEUztv|eQ2rpwSm70<%A zH52LC`h}N?3@h>ywZZ`@r`mI0TT?8BB#=b+{MCHxt%h<&;XV-|- zy}DATe>(MiRO5}(kzu*pk7F&)Rfqv?`6YYfQ+FGt+&txKZU1mHfGIWOvARv{1 z+cDU6*^)eFv9g^wpve<&E~si;0}h}5YhXe&V!^4 zV`H#Kf<}s@Dc;z%kznx~?}-p}zuW1k5*;b2e6xBkmcr}dmO09x|0yvl849Zg+nuT> z#^ybkJxpt!WPw2)Nyb1s_{!qoQoqL@xDHq=W@q}qvv3mUJI=SCl7yR2b5T=58XcbC zqi#$4>)06tHQoUbH@oKitilGCo7rnKRhWl*8*eQRd<}_TDR$bB=qdMwtiC4Rayc#< zc#X6#8P~tkJwq5Q1c%6ZQ-6w44*!YYbsO&LNeJHCa*`YPkIP=*VzxXzV*_!-pgdK=(UPs<7e z9abILblf{E01QC31>5K5=xHr}IMyTSIRlM$VFyZ{hGZP7LB#q}J1z!}-1mNR#>{Gn zxmQGiQXa+M;&EA%xQAA54M#h6`=ST~Q=my%N9AL}wT!k_Q(p4FLws#qCuBYA{9eC&UISS1r*H6CDi{dfjh+#cn2i`(K8l~gzn z#b%SD!lm`DIre@z8fb0^7enif!wQSYam{RNFpUE)OQacTIM2|EeGfO6Qzh$)?OVA3 z=|{`LG(L%!CG0Zwmcz4i3<$FcqWt>>nouN`cXWCN0iGpOuaG{9(Kv?P&>0W4+a$tN zCf{Ft+#iR*lw@ZRyF;FqI1NE#Q(%7g0Afz9?-Bk756p=)zAzz5LP6%32*k7eBCZOs zMPOi3cTjG$bofAKvX!Go2f;`wn95fN5-x8!C6J1B$lt~TzIf_E;T>u(8RLIVeKE&d%$fHdJ81#MP7QjyN; zv3!wx&)(vCO9%%Jeel+a)Ym+wBzVoU&uaj%m>!$~h1@zk)niU~&~vM=PAh;5rIV&G zHyUp|Jli|IKFVw6LAi51R|zz>6EO;B8VDsF=jix2)stMzW2x8F{OO`E2Y(tuJC)ow zY=*;IVfPV4P&f*1_-(@}FBeY|6TF8pL5ql>h{*nRexrXvt@><+=KyU0{ z%G<`sivQtdH8$O==3NnS)i^1N(+^qoh^y6Bp~Xdo$4{#+W6-+A)oF+I^1DJV7$fbQ zyR2}v{g)PHvriodR|@P8HtKTz`;36k=w`?X+VPYrFVp;Rwt`{p`|*Kg6TEZD8BbI7ytU6i_)F8jKnA0S4THqM=N?^{Gtp3N-z zS`V1@h#f>Y!}iys~clTNm25!jR^}1 zj>kooCHeOz$w5H($IrJ0gj<07LdWPdP^F7Jh^d3IvZrfK%3qw(78>)*v%EKVo%A`h zg2)IO8AK7!AT1mTz#WpF@#hSPpH}Yo_<s>g2}o#(^$7BvP@`q=-Rq8 zQ8Gmw?^l|B1#L&d=;E}tE#K6DZZ|F_3ZHiVjXk>nd4%z!l7C=O6dA~p4~4OsL)Gqk zBE`B6Ch_kYcy)Sx#WSRK_;yc}RT0SyX*h`%VhR)Zl|95jxRP|*aJ|0MGWGxV^H;M za=nX=Vu}H{l_zBgg=J`CT+m5&ky;kL+q_4kZ9-%yJKh^k>7AdC;!J#1#ASB^e zcm%Z|PYsWK>|{M#QP^-@KUG8y*8zvvKQ}2?s+nzDvRu}rCX&V>9#?m?CoVGGpeMVy z=`&J{w23(q1p*d4TqlkkNj6X_a=rNMY(;csA=DT(Dztd z0MX|yzW1y2v~au%Axhv6@H>fLo0;MbXed;J7!L&{dg@6Oc0}GwNyOK)ExxtzUA-Sb zhxp~L&t_;zsJvS)e$>bF$Kkl_&fib&?Mvo-buRe2VF*xt(B9d;WYkP&f9(s&mDy3X zNs`blDj*Q^il+YSm#Q`^c58{~NWqx|g_&%4D@$W^;nD!mV`&C;YIROp)_6P=?LQ!%94WY9g}f1wMA zE7L@sumiii^$!s?s7mndjcw?~un{F;C5U^06UcILn^(>>?|mCaRdPd#Eh^N)aXq=P zVOT%Ncm6I+{P=BK0GEAH5Z%m}@4RsL)oF2LXMRWNwW>nOnC#$d1Mz3Qsc4zXzlY<} zDiw_Rhh=$HP^iED4rp`>Nhr?tp!|s_gO_pTy($D++5CcK#b2ylB}I^pqa&+63*|PWW}l zYaI)dQejw@Xs(oOu{dYEB6VXd>cX3UC0dL6--J>#8?p`IP{)GO%bLZlNYND4FJ6G? zVs2L#466N*Nc`MpkvnQ9FIu?9kkUkY1WI5$ZH}3lUzYA^MxfC>qrc-VaBkbesB(Z# zXobAO4SEkM?&w-z`#0-o?EOeQP=97WRT}7*-WJCGK83C{W2S|>BK3DHQdPaVUKRFn zA^yuczwJq*1YvkXqYs$!t*}=}hYAq;_rH^ZUXd8{B=@rv4eeOPjVTNESD*ML7*lvw za~vkSQ@~&kDd+P(HZ1MYtws_a9{Hz=C#y;24%}}_sN>tmy&`{)IN8Xh(8;1?Z3=wj zc&zfae8jZAG5`2?H7}nTKxhzBCvQQXFhQ30so5NTX>geNX$nzVAW0m#3!O-37z1%M zQMd(DKbJWV1FJXhH{XQ?%J=Hu_VeMc;(Ykn=djK>I4*N7Fp_qcbW#IXeVkkz;3am4 z<^rHHE;SlJcG1$u9CWTxjs9@@(zpsOK8VTJo8Awe^95mnjsHSox5sFML@W1 zFt(7bBw%X;5FQ#2-~TBC@(6H)lSd)(AqD=&$x9nfGj+AGOaY-sUM`s7ld2?6+D5e| z!@MLsIypl4XDE5KZx!UqFqQK-Y9)$vAWG#}?9xwaRfzJ3G9r(8J{JKFJ#CHJjgNs` zO*RjKo5mQTF7_0a7qM;VRW>6&6O0y|{Q8ouG3jR|7)Mo++#(HS2&!OTFcJR{ICW-hpm<2FM;+>#j z^$=GwW1hZmzp>dHr|XM4La7BlK22c z*K|uBn)Qi{LAuU&%T@G~sjI1J0XFhJKo`;9Ssnce;){F^oN3~flqnQ?-H&>2NGyEB z>n;w4WOmczFL$pNtv}kgL1wzp;@rMe+wjd~96!j;V}F2tHbEij9JQUI2jhnp2^E7Ox(X1Ax~d+z4fmYp{B-{G|y=C{Rja+{nA4g%u`AG0QJD zTmRCWtP7pvd)mLXX>l)U0h)UfbKs+1`E#y=RQDlj%EUdtNLE;X4~CnAepx+8`~m5X z4lgZ%0U{5Clty2JdSmLa`i`~(@WH=Z(JqihKK4IBIRC^&H&=lAD`d0>W5bA2K;DBMjnmMKgDSxMBD^R~!R?{H%kM+-Gq= z=Zr6Yt=jO@;6PhTV>62e{hhQ5rQpPcjDAyg4TvU&R(T8k=(GC}+5;>e>zV(; z_5W=mB>`M6H!DWjo`3>&?0KOlwwzHNfcWd{Fn$qe_V2NM!V{H_ML5$u*?oS6D5~u5 z5W$u8*G+Kr-7g7P3PV8oD}Vb4S=C#E!8>LqA7%pk&=Un9LLWkn4SGh4uV8G)yPmtE zy1C{HCyzbIm$NV4#$Pl!Ny$isGu35g#+N4MaHE6UDwHPZqznz_!iP{Sy-}hpcH=G}BaM{k`kNPUKvP46j+n`#0@#(slKHeT6xZ z`XnKmR8mgLR1_|e#BSJ`3v6CZl@7*}tuGDBpA5;QAgOv8|F4Uwt@!YVFE1wM>{B-D zNN2xMswmTxd*T2B18xIGv^J!WAhEt&k2ZR zoE@e6RHG^?k0@m*Z}=tzic^YTGK%RCzXjBj=H-HulGxFOXKHKyT_~jkNC5$yAtqKS zCO+9rJv)KOnR%P>#!>xGTKxSe@q!~%8ByIVDJ-s}dMg=FobkyPT7^{D#B=Rs^7#B2 zI-5J&MajStp=-4JBwPfuhpTHJ-frQuF$?M8zM7!Yfgg`+>2dKTA;DC}B1}vg4c(vU zs7n?9ovlM?_1UT}nfKxaH-@5RhU4P4XFY?C*XPkV+Y4W>5;mF=f%?sc0PXA*$c{&WFdwc`?1PT;w&imekiv z=NW{XwX84a#OvC@~6+wL)om zRwwke_ao_xG}`!P;0{oPf)xr^ZHO+JiP7Y7C^kt`(vz8^C7Xc&ku_cMT14I?6Wxi= zJ=I$KaaT@?E;hk| zR=Z$m0Vg`1kD35qW2@rkR&pEE-oX{Cw#JVcI1;TaCK8y^{t04w2Qp=U?V6Oai}*JvK@pWu!vQ`mso&3T$modBVK>g{8cVHe(8(@so?_co2JQCUwn&A{RG%CvO? z{|s&9{vrYiE?Q3N83{p$Dj7*Eo}eXCKRhp` zliH4EdX+zqi^K_NVFDRJDPt;~7L6^)LLk6OS$|E$lJn)yz>&dzOj+mHS{+|Z>%kyY@+$z-5%?#Hd8xdW2Gay2eu7_PZ+eZzZ|YrNXUXKRI=*9kq^HrS?#e1XefF-tWYBuYU$1%BQ94HoJ0wUj+_Ry-ve8!+-qE!Ub5*y=nTD2 z&` zjf)({>a@6U{Bu&%kxQ3-o?kNHm?9REJB=@QR4In^nc`Z)RA@MQ;Gk{j08z zlgYkifqDRamKvc5#LGmJ$8MIk|M`9zwo^?c#0)g&?IeMZM3ge8!{$kia#v@{Uc_*; zoKw%y_O_w&%?ML=KWO>-cQu;`%uv@sSLZod;S zV_~oN(=I! zcJ6`fi^SB*@4ZN(O~m(@TounJzx28LI-A|AhkH+C`%ifxZ}|^Cea`OENRsxQ+Ez7T zIR6Zh;K!G2#sCmh+NW;asPMl0^2WcQqwKm5&q;N(ylGyrg&^$prx+UjQ^)3LAUOOY zN89wf%JF*LwlYChZd$akqP)h3@m7c=Kz#9lNtBK2lUP;x>zLLVJ$3PMkez~MjDDN4o7t>9BgxX{+X2<3 zlH-LFHeEJMDWXC4-tJGg{@J}QPq53~j0s;<3Y*Hori#Y~tX6fUnf=RL0BN^DeW@$} zzc?&<9Q_D8{ylhn?1|ald60foN2fWzUiS!(@^y;Vc&oHvLfC@514EQZ1+y5->?S_k zays?J{2=?MVN>{5OT%~8%UUi=E)e>M6Wmx+RBTc4&r-R z(+r5=#_iM@K|dW7DVx~H_f;@IWQHXHi?`$F-uTO);9p?lU(t_jfw6_Es#2mA*-u5K zpEn2VyneTvTuZrLKTm5i$-d4mVRIs1Gsu8@x@w)smIc(@=tZZ?lRp+>TIbH_yyTnx zY=qw-=+u#l-NY0HxcTr{q*>41AN1v{n|S^{So35*XZ&5D8fo#5(m|XL<(Sb2%-ixp zL$Q}|9ax%|iS`+h=IgAJ(46&qwA6=$Z%eDq8(VFJ{Q@3VDS<>6kRAqH)G_jy!CHE5 z6KM(3pL3%ij{{7|860OW`>teZj10oFy`{7cA5B5dN3IG|XN=*-r3Xal8D4+g@0ry) zwUzQdDjKpHCL~(-*4S6MxMsw_{EI&it@p^LLzLkHLp)H$Wbi#Lv1E3+gysUmTwMic z==V`c$CIbz?s&I*$7|KL7A*Y}#DZt=d*GRTY;=>vWfPiVta^jd0Zb1~|7S+ksv?(- zBjn<${AoDnSEw@#E47@N;eprjHzF)#V_#T%6jw={woVk1TAX+l1(_;fv(5Lo)^GsR z*|o+l6l=MQKDWXp9U#!>pZT=t$pw3|v3-I3yVvL0yKGo2x9q_6;~Ud(<3^>S0eu-i zEWSBM<1fPm&*yRWiQfQQj7GEW>|bcL?>BZC_A+OmM6qI1(1)e`{8^bl9@2@t>+K7X zRofotiLvcDac7y@5`Sd?`uJ&Cd%He5+uMiGx%q0Q@wumWHe#ELf0VXDv8?YeGuz_Y zIZ}Iz!Z@p@%Y)P~${Tq~cIKKbx@ZhDPDW@?ZiBZDJ!cm#DmS!HS#Hrt`4UjacCakU zGY=INwIl>FO?>{8*{70vdHE_%Bf)We*EX1WVe8|dbZD6zRZh|XLiQiVzTif+cdG6f zr5$nvNck+Ee%kVB+%cmopsA^>bx~#^bLb+PSHtxW!bAxjGqSrW7S#K&)T1DdwVW?+lRcV!iu%be$OFduHH{A zb@&a)nitvNN#UvkchQl~<3B0N_V#uuXu`^dw0n~#bT3^MA1i|%Aw-??e=x8><}!Tm zHZ|?7JO;iT;MaJ`eaD5U?36m)TW6`KdPZoY z&NW`N~`ZnB- zm>A%1VAwnW$x4eP!nb4@T1i&XV~oon`+D7uGjZsE6vcZ_?Y4(%R_`F{mi_j}?tsrl z?R@nGsqapjT~>2LiU}g3cB&wVzGicFg%a~}&e9i-2+I4>Ar56cA@+3hIR)XD&}6(q z;&H)qK2I9~8f#X0&o|;GGy@dJyY6>?roRPpTz2n(w@D;SM#9@KJ!BD-gueAOH!hiw z1I6+;tnXIH*2zZm`mn%1YrVQ=*{oS!+;%3O%p*BlzWh|B!#JeKR#a^jz`bjpiIM2@ znf^dN_xgO9R2Ki&hE}hjpz38m5H}MS;cO?^SAa0TcX*J1^~x1T;KlW$TI&TQ8 zc;3QU*(VqVu7y`4C~u0Lu6@hrTfQJiBHYu?^Y#?AqD&CQZ$g%-fk1m_Kl(g(GcI59*f$%I#FlVnYV5PM)M1{u|2s)%LAGUd>luoQd9nljjxnV>YA#{+Hc z{MV}uh!-onEbq}h95DEOpM8a_p8~7lR(OY*E#|MAiWDqqlF}D1ON|t5Uh}lm{d{xd zG~xZH-oKV5Xn;}Di){y}dO zt$MOdJP{(b{-$~E9yyo{bv7JNShSZGvZf*8u5rg8Ve}~_4b80avr4EN))CTw5=*6K)>kS-FBLuq zktlODLybSv&vOo?K|i6jk%DIp8mhQF)m%{{ z_h!$(ehd=Y|pX zQp|~FUQfikhFhEKRl_;H$9VIghE&TC=BnjdrZs|MDztx49@ulKFh~EU;=o8!BgrcS z-Xh#QW$oNPM)a5!us$?i$?EQ(&(v9$I>e61;-ir$ujH0I0{037d#;3&pWd!)JA(95 z+%omMOh+a>>`d>e5YK5`^AE!e8xC1@1v%c1LnqDygjR6cuz{Zlt;Z$Bj^&@ggHp=P zfq7QCH~QnN2!Igr@8U09Bp9xFR-00m?v1qPGa&OyB`s5VD3`(_fzA6#zGqI7;w`-= zyycjN#(PW5!Q*1!Fj0%o_R!LhH-e}APxyGek;6hbYfQ~c=^Ag40}5NC$hvxp3K3_= z)jBw<=(6}MESI`a`12UgYDm=spFdC9Ju$90HkdU-+wk7luQG7PCf!f$Z6RVMR-MN` z8{N8dCW;M446fnmIK}~i4t6QRz@(?xKS4i|T*_Ip+QR|h=Tvk{PGiLLGzw8EXdsO9 zj~$Jj&<&c6BO?>|%CU2(-Tu#l;l90^areGTAfhR2yA<#3A;5qr)egfMJt=n$PyA@P(}zqX^W;*re|>|OtJlkDlUdb^?DLZYXkgvwHz>&<;M(gT{6%Qd@=&x5N=@!Wff z*nre!;6?`U@!KP1T+z!J(sMrr>%GZxAayxHhboGPxqiKTYnCauaUb2~o&&xKV(PA2 z`k9-^b?j%_-O`3&h76_gbUFqc zo4p#ay_fze0BH_=fZ&qgZT)wLD1qOYuJ+{(hF0QeZH#S{kfmpFNw|&}EA>wa;P>OP zq8`3jbKkdk--fX-MMEXpZh)}~#@k2mxG>-Suta6j@B0}dZ8m6;K^Ow9{#MFQd#D!0 zT<(%^WV87qRKv|W*T|zw3kz3bo*9 zGp7!7%G;A_<8I3?(Sf}4ZLG-qquw!beUbhY<+gQ?zp}Hc+*EbODmELbQ#;6I^8AxB zNs!Ch$h`DUIN&hqp{V-W@=Xmc?r{_@C!bTL{(~cHRwvYV*62yy(#ABaBZ&|&s8 zAD0XXPwa`mgAi9!PK2pM9{`;@vO!@rPGN!svt1%}hzdJ4{=&Rma&-JxPNQ#|i-7c? z0&kUoaN6`LAu-6n1p^?gwxCf+5h5_+*gu@wg-j*_6VCiY*T0Z%qF~KG|Eh3)1|ZBf zSW%EE3Ak(Z-_pO>o&-Fw^A8_Fy$Qx zyX|-gL;(fHeEf%`W1u?_NPr)VJO&zWTbTrj|BD2`#515F;GfY(sVJ(K(DqjE;^3TH zu%I=ng$cVX1K58fx_ zS?#hyjjhhynr15p92M=SC~vN9`yGiXY)f$m9W$*ip2KzhEt<@AWGnwQCkeAVXFtRk z;0m*THq$i>G#;x$ZO~ul(@jwKAk|l$F$Rd9e_FjWOyAM zRVD$?Tz?ic7WhGKjAa@Q1zi=h1cd-m0-ta04uJ&mEhHXF9OY|(I3&Fxa|E0^oP5ay zOd%~)h^HNV0U@Fj4t@?31Xsz(?}!<4W>_Ivye#Tj;A_ZNe_2qZEM5=%pxvaEH2yR_ z#4US{L??$CfB7_|AO3WK?C_v#7IcC0V21%&y$>&0eb-ytY5lZoi#TBvGJ`;;`|-7a zxrv<_`b=QA>>11K>{beWnc(6xJ=j@IzDf_>*wk4f(3$>W;~={9QnCFm$ip!1-{be! zUKa_V{qmI7+wH_+r=TnzMNiRqgy3mBo1)N!fNany-Oq$!TEv*#I3VXqQ%?Pz;L#_d zm*ZX?vuPwE=?mRY43O`qp77AfG=BvcC%X%Q_Ug2gE8?d&dpg&t9@4cY+4 zzB}fp(%mhvN~nn-O0XTt+q~b^#OM}S54w+&)9p5{m-!{-YGxR>^F01${?R#iwyKEd z3yfOZL+g~vI)dI^F%LhhQFjma9MH8LdIKgwgd%UFn*qImKpgDg!T}IAcy<*e(-trf zS_VOJuyeL){{eAA{Ua`L&njrBO?CO-uKX8rga0k)0;^S;)jg8tonOggB>C?)>o)@s zSXW8KcMq>`<3%#N$kQ;JkBa(7@Ry+cZ6@?Umi_WbJR)>j+G2THo2POmMrbD`i z`L_K9)HBg_%j_~zQewYfX(NhObPJEv7MrKT8m464f35#cj%(CgzbXb1pI8rndC^9b zlY6$#06H*V4b9uP+RkUZR)smPM+JN$x+~`&pkb%`1F`%6*+)pNYra>6pG)YFQ&*q3 zVH-wmcB{kZNBV;H`w@LI|8@Mq>vsA=49Np)RdJDoCE8S2 zw_eW*tuFue-NC2P@gt#&Y4^OiNohwnxva7F4Cq)*Z{6g%gsSqad9F&#$HuEFqby(c`z1T@5g!Lkf(HXYl$nWN_*qS*)Wr;CaP+Ed~2yKsw(>`Ot5=vZmFJ6 zm-;N6wRSj$Evm}!==UjNMuRaZZ+_^XMj$w;&(k-13#Uiaf4}r{Js?_@Mbz`^=bwb0 z-eIHFe#W;gF41?3A4eVVACM(d<-v$n&XyjY?p9__|B;KiJt7A?Pust3&+%UZ@U~rT zfad=rKJY)9Y)jq+!TuNW{})cQSsa4k{tE@#98W;P|A>RVt?C>k1O?*Y_%E|?z`f_7 z#bq9}Fw&$*BHoclKOotbamzbO-z7Mjo< z^WC#gi}8M4rbUfFD$gt=m1v7QkdlDlRCK=5!$0-n01}|vDD{|3T)4rH-GDwr3T0N| z^{+UZi|mzxHBLP&m_+z z*YSnDeK5Yx<9E31JVvs_eKx7PY}m%yR~VfzNL@jX+YqsJ(soSJR1)l5K&#rv?3n-$ zl2{y}?gd1`wezmggk!R+Ol)(uoz|P0N}j-hKQW9m%&VD+J2Qcbjua6G_6Uw=^}|QM z&?uEcOt-C{G;=kiv%Ut0fYtlb=&e=co=IkmE?{9?iQ9$Xu$ph`Yt}lfU$V0sx_#jW zb_ObVhUR#2jKy4#;LsAzUNLBO+jcsIkg}ml8{@Th zOgnZR1I7MPynX+V%3xCDAI|seYp2!a0M|kJx%{SD%HZ?cy`R5oQS~*s%LgI@$>k@n ze~VQ<;f;i<&?t(xN2{d>8P|DX~lC60>vg6kGjl+umvdW z+cy3XJ+Bs4iwqfHfk3AFP{1cj0AZ9HXF@PYe|~1BMoMfd94GPe#rtcOugw?!Eqb<@ zmO};KIlYiJDIL>gRd%yk7FL@XqlKLm1ezqws7rE%%~TnlU~VnScKJXR(d&n8m3d}r zxV^KR$Qf|eE#X&L&X2on=?mdSw3&9QM!QNua4dHzY0pbTIfn-PANYtWRkrp4qx>ms zLE)c*Cx(0Q zlrdG!=TSs3f7!XT315sM3l1>N67Q*Qw3bJHcToqIc~K*kMAbI;v6c%PGemBA%{D)h z-be>0#?_lGOrZ3r%rB0TZeLV=d0&UhvimbW0X21R|4(|F>A+7sTJrW`t`6FG@Wdge zNn<*ZBrfvWzPV=|1tNORL<&nsz5h^pX_oKux#Qj91KkSxO-(9z2V}T#z7bZ)DD@cK zln^DL?a<2l1;dXE0p3ydsyuiFnd8h^eH|1$<1tzI7>~Vo|LXVs%r&1`Vb}k}4 zMPr|EK3|%J9TLfzTR+unT#Pg@Har-%)qZ9EE6ehE+o|)p{;?X*MxEQ~ZKAWx9u;Zzu~-ntkOBKSZs1D6NBJ#V_zwL(+4&2w zx&n5#_r<$UgfP<09w}Z8oH;DrZ~zZ8YaAx2mfE3jqPdR-_m6k3A}2-F28P-oU*3Bo zI#Owt4Jw2m^w7mZ#6qq|Hhyak(?LzTCrY)fRIU-Zg#J=}rK!&v@UZA*k0Oq#u%??V z^LMN692bQRQL_Q(1r|H-nq!%*#Y>rnvP+N)mj*+_A3bBLJBzTiYJmnl=V=BR`~44- z@>TjFBhqaeS|fmGyBIAJdrBx?2FvHLh*w1T#R+)amL??1I&5^|R|3%0>8*JoSe(ejiNL7n((hi@79F^-0D#V-0 z%}2WD-@@%NZgJO|Ec&u~g3Sd_ee1LZymqGz3PR6pNm}8^$zA!*HT^i?Q2UE~gIoIa zJQou~I@XMiYu*sOEIEdh_XL*PFO)H_Cuas@MYV&$m2Fh->fDM`iC28_AfZ1mnC`M(+J2 zp2fgo%B?r-DN=pm>a%mGv0QHg35)*CyXZuh$%SwdE=UQlK!{}a^HWwrRtG3_Vj6k? zhw=oOLX<1QkZT;DC&!LGkGw;*T3+jfEgBy3Q1VKYRicKCHS_OFsF7 z>xM{w^G)cdR2d?zW|aCse3Z8gL9R%c9cngfVBY$WGxK*WZlFSdg}*ww+u~ z;m6oNO6>OrkA9?wYBdo$QSR?7x3zA=2S&H%W)6M9tsf!9dtd&poHGA7JbXCk+VL0W z=yh99ce>#g2y)~zs+@ZJhxA~c^c|7#8DkoQeL@#1d!wo;LAeFgzEGyY_~DdknRyU; zxF$|-T2k%kV7!I!Pg92GaZE`&nA4~FzUTxXJE(;vG^8^8Lrdam@> z?⁢*-7E(ED=v_XLAvJLUQmrCm?y1Z>p4H%2g6kxcW&k8K!_(8IrV#p1a|NPPs33b)0SRz{X+Q`mv3Ndks6yA0q zSsoM?YaWtyVi*;Iw>7S^leO-v$ZVU97#silJ@)=N@W6=!s`U0|>vYP~xbf?rrD&Sz z@y9g3Mw5jC;}(={YqD*P;?YUR8@1rSZ8Mgxyd5EYRS}2N<+}V!nk4~C@Fy$>F@+}0 zR{T%~9qlt~pGV;IMVO|eev9pHeJHx6rHf*O&DR6W&EO-jv1;T=tSI`UerxveoqNyr z5p@9RG~3bgQy@R-zCdJoqMCNJOmzt)+3FRk8HwKJwn@$wzY+eslGPK&_}>X{|)b z_4~nTeOZXkiv{`-shx{anCaPHyHr!I_4~5oRFu-2yxj`1oIf&(NTnyzxwFGL7<&3K->bdTDR#F*IM{!OD-1e4PSdRt zK;S(|xlvLK5hGf;*_v6Wp2a0(qj(mYmux(qpM3HIsjnZ5z4JTkh?3>HRGZLq|LHJ) zdmy{MbqQY-As!xMNXy{K;`-ELwfnKgDydCZ`~B&*x!y&LUF(|Z)8Aa+5jKmDOX=j@ z0LUnthOgy%SPoeUJS;)xf}`GTOssf@$`H7)>Mu@x zO7|1-p?;TSsKw*`BWG}Hb-(AXdG6c5+v7Qp$zq{EY%{Jqk$keNrIjnzqyvi80}PXd zfmNC9#Fw_N`nO@C;C<1$BO2>(uT8U8ioSt={mkwm1I$Be_-QmUN727oE(t!%}v7n_wiL`oOL zGRa}Vn3Ddff1ZUYr3{Q5hYo>0(LDT0hfKWp5WqyN;))LVqTFO}N zj17w^n!!uPlAwc0Dov?=qeeQ-=ycgHyh$fw1{b!4oJp|wO+8KnaUqzyE^5LKHQ=G4 z#uQK^?#Y`7%i{aZSnNZNq2gN>N~H7W)pymw<-fk$kQAlZ-?%bkIzY*mpQd>xaObR* z|7(FaaT*9EdX&a-n{PBX%9eM@UaG;=P-b*l^IJkQ85(~+6o(eNYi%B<6L5SH2RFV0 z-M%Z!Az|r7_cD!3;QzQvFHpBa@pt=NM45fyM{h8x6?vyywd^N#2jQ^G7#NZJSo*k+ z$Vv-IN(Wf%2zpy9;Y$_5`s;S79;VrYaG2pT5HWJtGA^=yadV(?D+mW5LvkA}d(^7B zn`BeH6f2w)HiXdW5QWew{5VG|TfR&NFgqpaxij=sV zjEuUpj2cK)Ra#C;LPi=SAtNiL0g{wd1pNOY4~6ugo-V$wfX5OaFiSW5ZOF{1>!{+syGqbRGWEIAf+PtNp7#bN zZKa-EfBvaZ6FXEx3#;auDU1#yQpf2XNo5^Q(f*<}FhnMpLM)-%j9%6;rFz} zS#0E$*P-Vpx*f3e%&s zScp@JVEk;z!*?R_s{XWQprN3ia@uomC;FIn%_9f(08{+NGanO&S?*Q1iCr6;h<#SwT;AhnIy~OnAErzF7AJ(ad!Ttgl8f93ZeQBEY93?$hFkFtg}f@Q`?T$3^H7i-Ckm$d4San(dO$CUJo z(W>XGwdQuY*;h?@ypC#gx^Ai!=z4>HiaNiJv)B2FL>spdnkj9A0&A%hlRjIlon=;K zB>%5fTi&d!T;^?A9qD^ATL{iFo(cROhi`%uBgcjkV!11?e|PJq+{TY&B*Do@Vd{NV z7fnm!ciix(l^;tNnlo*C)1eetb@A=x#ZMOkX2CiOsW?;0ER5C62({Q8F5dpY7h8Dv z{Q@3kesLR?9u|seg~IlWHy8iBc!`%k-4Bi6oCva%(6noJud{6p+=g{ev#sUKb3NO( zE>hci&Ggf3f9f6cuw=4n)7Ixrd#(%C79Ugh?O=Ow#&{ucZ-Q>HI+SfgLvld4>peK2 zTi*6=z?bjyO}zc;eZ239bfE;})_3CnOl!0T&(9ne6e-+-mkMxFORGdmPtSye2pd-Y zJSYdt7i+CNGa4nS@INd%AIqQ4prKYe>Z+B2Ksv6Ze_ytFc??m8Ps1T`Z~{c|%K`v_ z7B%#pd(M{`25``w@4I+DKRO?1JF|me;LH%_Tr=tr4 zMsUZ3fACXl_s#}a<8%OleGuKdjH7F4XxN;<#$j~8Rp)(Mp7wFsDX*ixcfOXs3TeT{ zdhTg<=4q%gAcCV++r)h#__-k-I8XSj1;p;xB;8drhY4ZW>KW+n_41~y_JF+s+g-FX z4#-iDa7)oNZE>Pec^sCK>Ah#x>#6DS4$*JHe>Q99LL4*F%j!A2d*;PB4;qzWZc!3k z0RF_>g0qlYSn6~FwsuBz7WnpXD(iBS@Ar^Gwe|PHKO&PiJ^Jq;027GlGJvFPp&_<7 z0@r3S1i_eF zf4bRivB`JEwyuugN~Yr}xbk;A%%~*=8GeVO13ZuZ;vCa_<}bIqBBp=Krv`(>)$8&h z6=(oKs=xX-i8uqk;irgRrnW*r6JtdGkg|Sy+j0wlTO_UHn6*7NeC073Cc|U>*%-CT9b88W66n zR|a)3y&}_HB#==#%Io}Ck?hT<&Aw;|At1`-@^wh`phA}|aaGLhFxwd&Qo*L!(p(#5 zjg*$l3D%SANy!A4Q`bXXMj1Ge41YK6qJjvTQY@Q_)m7b@ z%MPL2rhAyT(M%egCYwd*wmN=|XHsfed@P$5_kk3AT~eNIQXvIglG{Eu|CP*vQXBGq z_Zb(pObcRLan*~|c2Msa(Ff-re^P=V+Ol4upXoSP#QN_<4p3liW>jjHcO;ZfeFPkG zw8ST}OVgJ7eU#rjC45lpVtZYzH`Ts6*ZI}Hct-QLWxJzq9;@RT9fE|VFcG{$I`sr* zB@Q=QmCVsl0)k|(7Es>-$%?xcO|?H`)t1c24)UDpE%TaUD0s)PlGLuR0GPRrHXumCfwmC_YmeowFg)BS+YOCu4+^9y+5;2N! z6tG!(4m{=5?$(@U@1QzDDuC$gmY!p7!T-l9PUIwnkha`!=_9h*@bnlX9zRrr8q|cq z5js^FWi_FK4c}`?PE=AX-`Dw}xJ6-A{o~gS!LYE*+ZhU1=QeEOe@ujx7#J}-LCqcD zEG!`D&MwJyLY}~R$P+Z3$BAwIQp}IHIGyCnCKaGt%$UToYRaBhsPe@-Ia)NlMhpJ+9y2AM7{i z2Pl9T_ZwcI&rE8&DU>3z`^TU2?U&XT4<%YLPP9Ly61y3vf10;x`eFt;n53w5^^r|r zXSVl?0EA6+o2DtRkHt3fy-Wf(&n6gs)pHrOe2HQ9>J5E(UsnejB|1|$jTaL3qKM?9 z+JAOKP=5c)4#_++Jk(^PRWBwO0A%cZbzSGD9Zjd>BIA&v{Zn<$^k)N^3l}^&+8X;# z$70*D#eqapf9^^~F*X-_PuQk?WrP>#22GmXDL@2{Y%w%q^r#V|c_^ZwBb2?NcU4pL9oFGy!_2HbF>cf*7;VR$4AUl7Yk$hS zVzf-xx`1k`uLs_zTg<{fQMIHVu9g&N{&2Mf54)Tt3L(Peo}xA0_WH)wHi2LqKb!X zVtbdm+@+g>P=^jlcT&-ib)%WZ$jsASAZ;r%ZB|QuFU?k9fZ_FDnO0jVH*WBvJZgT! zV804Ap}?+$growoEg+v@i(*SF4*1&WIy6I(aU^SE4L8G0sPLqAzwr*m)I5MHKo}-1 ze~K%_rOpJ(c%X=Aoa*pA3b4~?gbZq@!T3%Jp4^NxKOj5xJ++;8gka`2-~ULXd-687 zOo#^o&ip?C?h&>IehfN|Y+WAHZ?%~;zwRZ&-1iNibXU*_ZD)46;y@1Wx3pD|blH$}?E*c zv^fprUf`jC+{<4QZm(9(1!~rB(jR|jdE=HhMcx0PW9FO^%7LK}xk+0De{nRle>Re0 zn3wvu$WY|x(Gp85jNrJebF)Myv{|2bw#9W~S3wxHmduK58eoWAnR7P2qBITzOmO$v zp9ENNZb-n=&J8wuhdEC5H%X^w)@9S*>|kpqc4%bs4H!!8@BDd^w@D2(c{s2P2MGS-1ui`lhE#9 z3Qn-kL-5U+2d;i6l>Ym_FWFZ~V+!XO4^1A&jC#B=Un8cvuAmNsvhH?;k0X=9r?g2k z1tq$8z@l#GBkuBs#8Dq9WzH-#0>{s(W-eybSfkpYAjf|9iSkSg!q6XzW&=+ z_vP*K%>$9_16u2aeejbjZq8Ea>pEBT;D9LSXkzArr>F__$mAEw(OR_ zTz~uOjdpQ6sdMIv1*2Bi)I^zu&7Ebwg~_GWe~T5*t+mwZb80mm(B+1UMbzr9S+1nW zn)fYS3z^;3@0XHi6+P8Ey0#C#Rkg0mJA9+Eb=g*J9)>XS5G$#2;}$C+a?Lf3^0VM9 zwAFE2xGn53uebFE$2BbbP$dg!J=|)Seeve)XDQ`yCUWa+-^)LPc2uMtP_Zdc ze>+Bod2?zdCOs9obaD~3+LovmX|nsJD6+#{S3lgLh*D=a<+^HL(${8J(G6%5+I?8H zG!uC9Gt(?7w6?h(W`2`cQJqUL3%{bpWJRYk>s-l2)CdOTG<3OJ@@zAcu-TLN_su@M z+19sPXt-Lgcm{GW{o?a1PfD#=F1dW7e<7X|d!@jp1+3bNV^cBFx6Rfc*Q98hy{5~% z|B+rbH%S=<^Bq4;wf2mRF6Yd~&hmoB{r=zAbo1b4sz9V2u6q}R$2AX9 zuMZvFRGZt%e=fkO)?gm=5Bk_Osfh??z=OmECNkJaX!N%>q0`=QY(LF!zQex2f1kC; znLziExmJ$4NKRdjQ&-twNe^(-ZC8R`4~hur0@rf$D>xJMV@V;>+vMOxl6(#2O9M_o zk>?{0w>{#(9U#t*?f`I-W}(0bbl(NexXN#n?jmGv%>{7D=0#y+Tq;rfF6;JHg=+b1 zxl%%8*ISs3a4b8Z=hwd-s+3Spe?tsVpF%2JCK9Y}lTl3MT$syX9=;e2I;nk|TmHP5 zIgbjuQ1NIUrEr=7rSSGOU1lhSuRfrEly~ogGl3IvfV+t^0g$Z}lW2M^-U$HW-7R*F zZ%M6q=WVTAV~5)$^zkCMT0ge7j@H(kSzCZUp%+mrbXyW)-H^xc>vxB)e`-@sR=^wu z@5SgoG^rs3&-D;Vye3!UAl<&iL4L=dYTuT37;2SZS&N8LgL&_IrF7eHGbq|W-8O_! zE$Lk-n9Nk`a0WhJ}3wld&0d7*@2+h*m zP8gXBIl%mX5{m|g3N$V@f7DHN3yRR$Ymro~%DJ35$VwL``>r7Y0ouJpD5&iPwLwtk z?Q9pCZmI_l-lRnbh$i(^j}f9*f7ERk0ksBv0JKy_c%T+G7glxypZ@*?cThGre|oUoe}uItqO|}t z0Hw;@>3~oyfh-`S%^9GqZ&9bFVRECeAEwP1NFMghX!bjr2t*^2w3t93Ebhn+aI(g(&P->y)6w%`lNRIUIGv;-ssb6DSB{qzf4Y~bU!3*d2(P<-%B??DVD5t#25Z?FD! z^#vv>)8Qlow0FYyf2G5;ykd_>l{{BPahXxUP@GWHQ6c6fM%Az`;xdC84vT9igSOrN zumb|(`|ForE)WM}WzO||=c%X+ zCM1Wn2w^i7e>p_1_|Q#tUOd(N1jPw46@pDq%nd%!eJqcrK5t>16)zpyuYbpi6e}p|E;WZhRkkk+QJ<7R@Y)3e@ zNiMeqOUNo>e`V4&-uK#6^!f%xTwj{p9>*y{+%Uw0+?NjQ3%w;WOF5F0@Ae zjo-@MM|u(C4|a114Z-sLAA1zUa#}HgFrPc>B0w430F#6PoBIj~^O|0*v5#igmG$nP zWPq1#f3<6?mvsNmkEd-`Cm9eH23Ro!|8`sM2Lk4~SjuliToeh}E)3;!?@<{rW;}PC zNSJc_Su*z)Ktvp*N1l@vcAk9CVLDE}|6Cb!w*J=gnBSrfNKBC06@j%TEnMVQ4KnZ( zy}Q9m$#rh~j)Ugl&VMM^;VIVI+3`65iyF%ZecZ9 z0#wVVRkJ#nz{F)J&J+mD)2t|6(?jhr`K*%O5dz9dA-}J@A(X_<03KZiRPnGgfVnOP zf7_;Jr&1!wQTX$y)l}poYIUZf=OB<_l>|^lTlE*AO0rA}YVz5##&WM;bV!!F@FnOu zz^$69b zQwN1r5KMdoOtvo({MdNYQ7jb2T_6zfV!f0=NJ{@69>4lw=}gbAW<~@(vN4VP#Y*KZj#YYLdgWucr*7Oj}yhK}|&%Ij=m0(mW@^yw~&vM<}eWZqEm@y`rQ~!%N zqHh3cv)_f~u;92rlJ{vj>evDikdxdZa!@HaIw)Lmi@XYNu-cTiS0^vxe|=6AvAz0K z62`5&WX=I_B!wH3$qD^XsM4<5Px;(zz#_L}Hj2Akvd^qw)ZhT=ayxvFL5|*ZO}J7Q zzDSHqC@}Tg%)a&8pTbw0pS1h=g349H=CzD#;~>sMdF!FlH)?j^=4CzUple>;?3?@W zunkS;yP>{}ovg64X>I+>e_$+Dld)JGl{=7&jsN5jfD5T-Rswe9fKm%X%P*wF@Xh<$ z`{yYcj3=;BtCuu#O9xB3HD0#WCV47=Lq`ltHgSm`(MvOy{jjG!opsgvs;USoV$*~j z9{Wl^I_JAkcM6%uJl9H>*)*unaPPRz9p%H~Og{VuS-dZP3Xz>VJfLt7e@Z`X56WC@56V1s56UF> zpi;%8qb(>cc$_hg%L5vrl$;X@=%cleC$|N-k?M$aTlqycdw8?($kNBS8aKcwx{%_L&`Lr}Z z&KJj*Az)d;IdXZbobWopJey*75!>;P2^m2)WhUo$leI7)?*)&~@6yskh(l*u8QiCg z%nuJ-2K^62_!Yd9p$rq3(G&v{1Tr!+HIo4?DSuf@kL0!yzR#~{IESc_6)iqQN^1lN z9Pc^_f@HHEAP0{R8i~`bwOVRR>YW`RKR#6~N-ecH*@ruq8H&$hJ-+&i{q60|*RNBv z;fhJ6#pd>5W5mWJIZG7Z+*X?(qkr#hZ?~~DX*BNZb~jLa7>l;r{&f4duU~7m;R(x= zoPXo`WD^V6Efv%9VuTec!_~M}nW${K!48a8i+s77CyH?pD52H2dptT3QQ2*UiQaET z7TLbo`QBY|q{dy6CT)jp8SU#Wk9PYQ4&xEFD@z0AX{6a>-P?hhT}xwlHR>7a$_}s} zr_b6?gcV)$9)+;gOOiZYNiMlzN@ug=G=E3wjbXV-+!W0~bDNkmV+_suQ%DCHGXhL< zo>erDc<}=NJPo*H6Dz6Rw3thls+=a;5A`sjz*0tN9%!iO*mt<_J>H9kMyFM1z@6bj zqwODx(szyBYK}s!vFGfZv5coHI~yI<{(obOtrTE0_+!1-bZ9U5Y*|Q!92`eTbAJUD zrcBAD27iy|!&UFNROM6I*stgt-NO&jg`si3g^NYqsjZ6s3A=Pe>TiCg3Ee|bc%3p1 zLVDpJ0>Y;dWc>4me}Ttl(c``@QI5SA-OF8&h%Tlo>RO8nMh@!Qfbqm6?q9sPY9TIw z0QfVAtEHw{JnXI_M|YiP{l~jYx__J%tJE-TuN=1R#vlshECVxp*;-rLVJP~#apn+o zWiVWQI5w8LoKdO!ac{#nP6bGsUgyR#U*4E(F$*^K){BL>0qIsaGMt{M;_uup` zBB6sbEQ7sVAv-cz7bq74e3iK96Z=;%EQf%KP8(A20jCIq{*dtEw`k#Z0LL?HxUQV*TqJYCqB!px=?mMIf_(8|Z%W!gC6gk-1oeJjMAvNm1DR60Y=yC7d+iJY^=9khdbWqL6OLN>4wb!S^M0bfuLwf@1lYbYvNc2=eLqbal764+&a$nyyE?xv#;F)OhInaGC^X&Gi*12{bdomwCMc?;;dM0nohn zJzOmYQA#g62t@(WwF4xKn*1&XygC-UVzd>3y}+yU{DKU+$$zH<@a3`YTAw#knMZ#` z9M$Q>$f4!bfQ_l6?b_HLjxOswQCIN*M3I`9mf~SwkRGuIpmpr)5)T@Xub2s?HAXX{ zbKwZKrbx#BPql3-e_U}sH3Z#fNdo>TB>?jr-){pJ%E2%6Dy`Qc3&B1aU#9gij)AVh zAyz2%_ik60E`MKT5-X$eg!jsP#>ysLK*N3*ZCkla1;Y=0aj+NYrS+Os0(ygY3BgkC z#kvzbdCtSkT!6e<+sN>h9gILbgdCm&jTLiz{}5nF+U1(1I%O~%nUQj-&e;BPsv#P6 z1VTa5wlBdQk;f5|qlo*CT*7b{52v<~+>14hT~a zmtHPR8Psy*%*CICf>{Z zfrwmn4}afH*X|q)O=60PZbQfYX`Ds~7qf(!JpYwlprRNjwm56;OpIp*!SEmG-(^t< zT__RsRrV7tn|_XE-)xr*1O-FRJk$4QvX#jocKQE-3!q0Sb*9ZPK1SB%Ox8U=H|_$i za`1|GeEd1Rfie>HB_Z(-pSZw-25=n(_%hY&>wmP7Wh?=B`0Z%}7p&68`?{cmiGn}_ zpq4uwqBN5ZznP-6_Hs`Daan*1aRq>;XNiw}eL!CfAuo`8b0$q5^<&Rr;e@g&>cb1P zDY!9+<{sA`aV!B=i#CEJcHcOIQ6S~u5h`5=l0(7}HYk><>?+WZpkth8)ot0FAbU=) zM}Mn_%NR033QYh2*xo-szB(N1-sffm1OxK#^nPiNp))U@FW=g@KLrayX_!{&N9sW? zGaw7uMuMD>v3^rw#+87Km%?5W_MAB6F>q+Az)1Q!ho)e)Os)?_d>+{`=zD1bJbz|m z&$8OQw^k#xzy`v zuaPuhVX=A&uBL2O7JFOuU3-2@alrnv#O2xuiQgV+uB$4Ac3NAB;vRh(F8m4BBZ z*fxS?dVYp^_cp-$xM1SKcf7?zrMmX4f1dj;T!^2!<{$BGEQ_RmCV2@g{=X>e|FiM; zpBY=+wbL`(cW;6U;b2>Ig^y}voywAMX>X)hrm|;s!7r5Iy<`3zW_btyG>GZ`e^4cb zc=}~2A4;fj8cNRqeZ?OW;zbeX?Oft+IPAOAWWYl)o?k%aj5v}IXNyVx%r~cC>@7V` zO=PNQJBUv|NWXP0exacsZ)gS3czh0620o}0?`8}Wd{O;is`xK){?K;{Wo~41baG{3 zZ3<;>WN%_>3N*8zGlDt-G&z%@GZeEpZU!&{H8GQ+GZeE_o;D@|H8Yc;GZeF+#C{wC zH8qo=GZeG={O%u z+OoEOyNe1HnW_epn5Ba`P}%|H%EZRZ$`6oGQfFfYu(EP6v$C=yP*G{xy4nH%Ek>Zy z20FXgI)M29VIbiQG;@8INt(I7+bMrJfB^Dtb^taG02?4$k}l zNi%m_OMntHK;8iabU~n!aB%c;wzal#eGl`Wj{sT=Ish9V9}nZd+yP?tKxbPEGY~+@ z%+&^H{~po8%nqR8U||b%_4*$QT0t9ES4Vyp77q^(W;1&iW(Q|$VLC>Dhpm6B4L}{} z0(5oxPdHz&Vcve z01Y`sfQlm!^tZ9%-v*3;fAa#{mF30f3$sHY|V9YkGe<0{^9C`%C;@ zfuE0~gCoG|y$GP6trhV77lMzAnL7~R>g)#e^ZBRZe-Q#38^F@m!WCc+w6+By{9%6= z1FinX@56Vt^#mBOzV99zfc3AR|9&!hUoT4ske$~b^MB2kMO8~tUqO-K?~4Dc6Bl>z z1o$vge=UC*&-(|z|D{niv;B7(|L~OqSvdgs{?7KjP5;T*{oe~f`|rm= z2l!tuWrz2z1p;XQEV&^o7puklKWzV>SN&fu|Nl1pFP8teCI7z(NxRwE{Yy>zFa7_I z+RWb8&g?@R0E`u+fv9NwP+=>MAP0RMipNy_Erf`F}=+R@IK^s#0BtSdw+|TK+k_IF@S{`;(vdM{zg0i7KuNI7r-L<2k`+|r2dO|SOF~3e-ImhMdlCU0Il|A6l;`}hy|UgkfOdGCS!ANYP-SpG0`yc2`m?9KnW2-g1y z_EUq37|8RKc zaQg>*pP2hU;Cmh(|Jb>AZ_j_gcY3cs*}S`Y1D*fo{-4ug;pY6_eAj;+|M$D|AN;Sc zav;zXXo0Xe=U^ca@}WMYy1=CfdPNP?#W z81fclbduUf{2)~xciyM0cx7zn&(|uT4+rvo9kL?~mol=nj5h803HhL)=gQ%5d{!HRD=nB^{h;ALA z92Oeml6wm8GqhQ#pwFjE@h1Ydts+)deO~B3@KK^Ot~}q%IKQf<3+2v@8T5HO4-BK= zw_tANH}kHvi;E(B8xASctT5XAOsRjK$o#c<8a07>VAD)+1%xBtFTJ4{?3f0JVPNJE{4w{07#e+lp`R*(aw(h=u z6*tB{bkKghsPc#qABo%4{JiT?RHVgkP(Z9D7oLB?SnU`IMoz)C$oQViAUAZ z6nfeo>n?frV62dnq@pQaR2on?6b$!WG+K}>?!&JQ6vc_WZ3$$r|E}^t3x<@1wi-v3 zwYLmOVe);XMf>uVK%7uR^PzykdjqU*erjx+?C0b*rH@^eVJT;SD?orNCIiwgftqZ7 zJMhc(x)5zl)T>og>zbB_SmS>ZQC;TDAaMO;coa&U0`@xxE0*y1i7cR~oF;2cv6unt zZ7wP2!a&eC8F*T<(` zs$;5hNad4-F!9%+)1Ys>PKcq%qt-A(FZS0<$d7}`yHIK`zae9Pe?d5kcu&^A_ZwCOE!7o`#4xY3koBm`%dQTJ8&% z@g~@QXn)?=^0<(-He!Esv6dIIUUe7<*VI&7n<+AaZz^)llX{GUXfm1yZIIG=&FiTu z$jLTKd@bbq>p>Q52^Cp@JL6lcpRL;iD?!53w=3f0R zNT>|goz4Rd+uHUxRXE+r3^Gmb<=P5r&l_rfzD zaIfPf&lx`S0U(@nokqTpbKnczLndcyPU$HyuPERhjnMTl;>!F`@G*;!&=;4<`HnzB z?6pjb5~V;B*2k{GI<1{n%`K-&Non`{@TszuDG7JOpd0Ua1~@hn{V+rThp#X?Pt8tc zoors?9eyuAil2YM=;q+BRLS0t=e_2Zn2{Gg!%hFCoxTKlpcnb;SQ%Xfe9exy8ooVXtfr0TEgnjFFQ z*j(FWH*%=xTL)B|yokuz{6uv-$QQRilZL_NZ(>7%TS&EpDy{v<4uSMlK7% zQv`8oTzOEJGaXOY*5t@|Ka}wu;Ry}XB<|3TzI4bv+bBOZ&iU-9U;t3k*&r3&EoSYp zp>3N=x~YGM$(2ry?E6JqbY{b<@QSMJSIntc7t^8XpG?0T!}jMVttYWq-S%bMeWy~D zV$bI%(H5iA5LaZ`6Rf~Fknhl>VF2Mgi# zQD1OKMDOX>#HHOa(Yb&y7kdp*@O4l^G{KykPSbxuUwSzgqjd1b9r!h`&iMPi znQIOyoTv)haXw2nnDixSax;e)2}Q=X1*($L{DjPa{>!QXqQmb47-ZQ zujIY*!qq^i1#R(o9dRPReQmnWP%9e4%eMH8`R74vrRVAxIITFv-`k~QhafAyt7bDF zd{=*jnhf-OfGWW=F&Nj?jzGs9y1r4%t3lROeY=R*K@4^+FK`)nd=h0D!BAiJ(==053-uQi5kQky%5HK_lUjfB2pXDAk< zCSHkQ$lNh7Ou%QgViZ28N{s{OKwDd2A-{iPEMgi38KYW-StVz~ma&7E_v;)<@JU}- zsCBN8q0ojXx%9@9g7kxCzWML;gih_CI6GQ9>*}8DCG)AO*j2LDgNoVI*`J1+FOO!N zYHYZ*qyB)ed|OW1#jT~I#ehT?azZ+xRT^oxHA zXT+%Df{I{wWy#KHB^e$*N;yT_SL!6O1#7}hkR7)dc(^=#ytGQwm7oIr?y>4vkxHDH z7~T)}u%v*sDZ2vd{iX-K-T6kE#c?p5rHS2O>h1#8AO*lHKK2(DTX@^WDK~iY9D-g6 z1m2;3Z!y{8*<22A1TW?*gFMe~TdRMrY+`Oz71>CRV!xOTI14ov*v&nX87u&<{>7<&)7^?c-@$<-5Acc7s;Qlg#|7c1H4BXC#et|+H2PHJRyIFS<_uU zq0bHDW9YC+d;U6`IY?UvSijmQ#5Q?qd)+oIp-*O$8&P=sl(gIe_@swCK+`duq5MJevfc)=zTRE7XGLO$!uuAI&7$1xY{A!XPfh zC|^gFfD3GF7F)hn_WnKvPpp4JdtRsSh!Pwu$xqoHzzo5xfOP3D;S+3ca%VVCLKq2v})Q5dUWq%31%oz+lkc1{nBayxItJ<1t&opXQ8dXLr6!4nle z^S8oXa+Q)?%pYSqee}{8Myo6(rd|~>YIX1tBguwpDZPZ!^c5?%nmCuS2gb^PJ4=&7 zCDY)dFbyir2IV#dp7tTeP>*J2*{ru&v+t5d*EwKjJ%a^g0!o3DSIoyjgriLrMX2A;`#JFip{hxl*hfLS zX?^*^_+zH|S}*9xALrCmv8K=nZrQ9zDyF#`@IGB|vqCan{MjOVgw*A5JZq0d zGFSw-2cBJNcs)@s4I}@{&|HX&sz*Bq@wvmwBzV%)YEusHtLsl^{yaohbVBkVrNcG_ZuaQ?0V@w>Zq$+ zQB?k!JV#~HQ_A+3K&XhjfCKCtUjb4&;$_*xJ!P1haP zoc-8Te8mzg0IPvdgJk^emVd_;O1|!c=nGlJ-#t707oD$~you-O|M0TPlyxAl)7`llHRoVLd zNq~PN5E|@bh#X(#Q>ZW46nMaOUVu@)bbZSUYi3ch zsZ|^L-==Fg-D0);x(539`);Jk25P{t-2*7Dr`ynNP)2_Z)WQ^PD)g9kKly7ozj~Q*0hCnrWXfkJ z1W5RxVu_5P$|rI4z;L2NMY#eKSJx+L2@oE#5`+=6`+{3WBxOH@7ocssU^`=f@?1$p z*kkS$UYeMzsmcHKF|B&Zu3vyUwT41)f9Xr@74S2i)#Q$}ccy8}P>V>xwwwi+sD^(m zb*kVSbVuSD6wn<6#)}!0E&Ykea9g{sf@9#?tV)c`%d2CX|8klEE60MY(DMR1^^^H8 zrPsO0O%^LZj`h^c&LGG61L=9-SbiEgN#-v5GWU6D^QndBy2>2 zxH1GoH1J-C+fRSi_FRf4RpDjBe=)0U3}nK}5DTz~3OlrO&;f5$qP>cTaRzHCrC2td zp8)Ckd{{Q+@U??*C$2Vaqmi@AdkNU6Bin6!&cB^j?fr4$lUx8JRg-=$H12b}qoMuI%yy={MtxA9Xv){81oS#ztknL`M#TK9NEq{ALdKJfvEX__PC zp4fJKURHGFbCA`q;FpiB>deQPw=eEAfkXDp7&K!V+r5(Qqladbe{D z4OIj7hfT)KH8O5oCNi0@4^4|~CBIQ!Sz=}oUpHb$w=NJiI3w%Wsz84cCchnFI&O#Bk#lxB7c1ki68p5Shi>au z8Q8nJ(|7fK^8929L(duQkXZ8ejz2zj$&v(Cy%=&8kR;}cj&#ga@tF~eZmZ3#qG+Ve zX6qN9!Az;!8=S^I9-n_gB7O*ZzotUDnJ(pyhxJHOvr4eR7KCRsq0>-sp%;`KZR%Uc z2Q)6l(h9k5izYu`8$+;P3s?kp z6Apo!x;=o{(bCtwbC&ei<}g;wC&}$?=-}ZEALrk5PXzj2vZ9GaiLzI@LKU zl~dU3LC^zzVn#xUl<&P~d!=X=f{Wqz;YaQMi0JRas9nE-08iAtbDd^r*o<9JxJz6* zD~KM&2c^bNM8DkoIy&VCMznD2KJO{1Ba`AJ^>E>D$a4i#VSs648C9=oYQfoR*N97n zNSpi5_CaIA=SYA0MC`d2wI7>h%H~#~49gvzYauxfWMOxGQ5qP!d34z=3H<$$ zPfqtH(W@aS`ZcfKqshUW4fc%5h46GUoi6KzX{wp)s~c>^-XJQ(?#{0ER}GM z8pa*e92OfsK(xYpfk-b*Ojh+1fQ}-c?oha!rWk)u(9CN=k-mR2+$VUsH=ap?Bqo4F z6v%+@_B~PuNE-HkLY8%#;eJyac$rA2$yVbSHW%=uXpJM~xF*#Y<*)c)j()mK)#@sr z0Lvo$BVXn1EQ{D#do8FJ-_xk}8%&2V-PU<-Pm@ugUG^g+mqRC-!G8XPv;Z2TGIbdZ zrfq+DlwqB+T94e7?9ABB1ZlU3CjY7Eg7i7=zVaI)tcGsSDr=o!C0)DChRz&J(05L& zZ_<)2Hu1~M3k{kObjBLclT0L`AP>J6M#Knx#N=-muWn%w7*HFXHRS}q*i~9Z#0c=V$)D~h>R$z)*KqQ9HJp6>UGf&zb} z3{U(vd6lo)L^#A=#nUc8|H|9NH}sQVVZY*RqXuSFF@K;{#jJftX|EW^dHmdk1|oaE z5Prg(L4#$>LejH*mf=bR4oMZ!6^_Np5?5Y?FhTV*AdoQP|bplhv>I zqw?;(j0&W_;P6+Cp}$hJ*FJyFLP&pq&QuF&G+0>^)audYCxZI4v@Bx5a7VRK2Y;&E zz9O!{#TWJv+|vLaTaiQFH`kxlV11x@*s;1}Y+kN200*;7TTf33i1C1_d^n)Pj*3az z4mHM7CUdUp)AKGCEDoc_bxsoyvy_t{G-Zhh@a;mqZGs09aJ%S;n zlrV4fWmr6NE0+=j%;=JxN>J_F-j@F!q>b?=$@bysNo_#k5XI7vk7bFY$7BdGnC+A8 z5vc${#PEcf%CZI!2(^0KhS>2#C>R!d6=tW0`yMozr zaI=a)lx%-K?Lf?!pc;2y0kL{TqD6qpb!Buew4DWdPlKUVXVBb$ph5g&L_CGP&N7R> zYD2)f4x_nH5y9_3+e~sz4VxOf^En*p0Ni#H=>7Dp_Cct(A9$A`p|yXjonsg+MCUv@ z=oOXUOsCp^eRUl<`k)dmBLfmmKegr5dSHQ%mwS_SXSwS{bz#w3A+PMiH~uWzvetdj zD)#y;5mv0n zbCyknT^uG}Fn5ppYT$q1DJaL2+=Zda4E3xIqiit&eFZ5`^1(IL&)N&V-OEplm$6u| zjYh|(0EghC$t{?~F-)LqQ$Pk1&F9jRIdg=SPVzkR*I zjttL8(T9_tAMPusa4<2v0BZez@4Rg%6;m~hJ5~*VZ9)v~)b03?}siDfR4UD?B zj;da^?1S}kBBL?Cj_tDmUqGP0Q&2P%%ZHJk2u(tT*g>&z z8X(MANsk4-#I*(JnYP7$<$Qu3#5S%hL)(|uQS#K-d}Nwc!7}3LbQV){Rv2W-Xd2~7 zKos{z|9xJ=l!r;B09-ml8#=RI9iyxu_sitQ;s3=#<06YJ7oqO=Iyho?@i~KyeP&xc zqYI<-2R(M&OoKnvp<;)vCQ1Sc1i!T1R22z`{7heWsDZ2ahfi^T^X6S-AS+4=C)46$ zN(VV2g$1$cstTAqw(Fx?yJnnRL~$TBGqDH+4np)p@0^E+8&ssm(F-j!N?m+`&Es)i z|EF#x+{y%jm0c91+v|@)d2dPjaL62i7(38frH*Nj**@*LzHj*Xv4uPGGMaoMhr3!G}W8i_maJ z=7HWhXKCOIu@Q|rD4!3Tk;)}_z6v4WzojUFfM|qaFpN^+zZG=0j&6X=(X>nSGcVaA zA$8P;f;=oh{2h7&Pa$?&6V^|HsiY4y!CFnAFps# zhzq5S8*>EXmvXhGEh5Ytm>;qz&MnEnGc&Ax<@M9Tkh5{Hb^UCLD!rYdq@a+ghl7YA z^74`&n2psLrDLS%%=pCXwlBGAJlK(P@CS&NX(2v;D9i6f36ysn#jsKW$mDMeVpDS_ zK$>$$=Lo*~Mp}>tyFhlHm|_i>;fZKezcL~u0wd-TH@q&sgD^#DFhbLHXmrIO3Xaay zcpZ@!mtj>OuX;i*ksZ7r(uX+N5&9SMM69x(D|^q*4dVR1^KuOkDB!I*U7?PVF0+x3 zc0)0L$a-nCkvNXN&GN;kZ(ugZN*Ls&v8&s3At0j0IbgC7ps z{J0rT>z@|5#JS_KG19g2%*gJ#EA}-m!qMQ5-h_jtTR>-K45+E43`4;z6@QUaf&xG2 zBadm*W*-<7FW%&RFl0OkmW1(3K$Km4Be?%WnAiWQ`%JF`r$R8xk4b zQ{m?)$+JBCGfp#{Ld{t{sBrHos0Od0USgMG9AY_k@xt^bwg8o2igPPd1Y>tBlF|oa zciF8DhYkg+L#aj6*UYxkDRcQQ(6p+&{8%CQd+QWyNJJk?B}dwb@hcRA)8NFWJQjg} zdg;JisTGv=FyCwg!-V5xRl%AA-gVBgM6~%911;Xgugj|&h7l1^OtojoGPA2RPBm* zyAySP`M8CK*})Ii$2R6I(Ou$C8EcwBgV1G#xEAy81u_Xr8dEHM4ehHvRX$Fh@O&uD1=#$buH@~$qfV3uK%k+$sjv&yN`FJA(1G!Z%v_Be}*WRm$(Q+0~ z+8$4x;T|?*buOH=S$_YdhPjvCB^uk?NWtlD1bt=kiy*s}qY_6BZ>>;&Mt4Idij8&g zAiy2j8Ein0l>BnClp3&oE0tQH=piq~%8`U{2p8v`vW}q%MMye~E;kvG8Y{XlOW21!$Cd^-Nf9=FU+t|KQOpgu_f`u_B54_hv>WQ+iARiCnBtUGaTX<31?7s zx){HkNDS*~^ZE)dMiMrHo)j@_3@SKgc?uKIc25nA~Xb6eUqP+U@cZXnYYIQlUiSuZzn*nL_Ka5 zpar_Z$6fNqn-<%G{f+B{amYwu{=MZ~YV^SN=s(l!OV^f^nQJ=t| zA&~I2NL9^+v2^WQ4C=67o|zFT`g9CR6%l>D%(+lncSRl?@l3+k-@j?Vch$CR3$jFA z)JR8UNpa5;?}Yec20NjL&E-)2WJGMJ<$Fzx$qb%OQ2~*EHSj2XLVP(@2#Kxh?V3Oh zQEA-<=X!ZF$uebb4A@1oz9_Eq6jI1@$aP^*{B;<&aVz6uym5m}jj`Vq3?8swO=)q1 zTxRpA@ugTh+<8Fe*Q*B*`5nH~Mau>4N3&obWyi_NJSB)37<&rN=M zgvdO0o?vr-B_+DrPb1))Pc(uH>zsYC@3VK&2(q8kktq*<8lKJ=uzo5xym_f5F-$ip&f*xv zn#)Eo3zpGDfSTCVIfJxf&?RFcxS3d-zeSd5&K9zgdK$~mK|K=q+)?SE;ho3d{DN$7 zGt$A1S=@#{6|k1&zy$LQV3(r&xEm24E=oZ!k^Rrxi)cRxv64N3j_?mPFp zk@UV+rpoYlzeb@hZ76jRJBtj_q!kUNmjzN**1E=r?{7tPt-&Op(-S@#SfeC6u*QFX zZGjYIwM`d*K_p=h8tK?{{CIH(>jUdkXwB+)4392I9snY3x17g1Jo#7XeQ>2T#AfF?r<8xw>uUW@e!TlC` z->&0vx5FJZFr4|94`CD?6GhPD=k^^eXu3nl&?_Y&k>?hBbJAA*;F(XDoPb!dfVUll zL*rhf&8>|Z08k{e#TiVA!TW%uJeqT1>7=}gWL`_#)znoj1$tQkqnnM)cit&~&qU^V zycs6&@SxSZ<|~0`+E!7%#9dNcpq0D?jBxg>+11!u@vLBv;uXc?uT8|*aJW%P1Yf7G zVTq*4&Hnyq$Y*mmYjQuj1O#)mBiy*YXBx6XSN%TLbr(zG%c4As8a7s9FzCr&5Q;~M z=l55=*<`UCW8Hz8{>BaF92lQ}Uxx0J6(IHm1`8#rIijcGN6?*|^+ia=&c4sm!`K?O zGk+f?BCgITYRg^3F!zYo22;xQyO20<^ycs8imzphLK;^kO>BXwlQJ{cu_(hH$3KLR zHmuQ*Mt7tUB4nHbWU1jGdg;W2&fSA zTdUzE_6bSUwNH~1=kQwlYz~GJKZ5%bCtxyb6F%{fH;(yZjnt0CKJ1<9C8H!|CZ+yt zujNfYTF>+-`y|kIU$Mb2J6gE3WvPfMRM5it0i2tjquusPFP~Hoo?;c0E}YA`7v(XI z)-?@E$5TO(YxP{^I-d`Jtwkwy8q#&OWbRp5%BaFDZg|^gnm(02Y7JdtYLa9Nb^`{& zNJ#c{zH3jRlS1SSmwZxng``SjeCT#8r_(gR&<9BuB6sE9824a3?(y0K#~1Odz}wiE zP7q^NyD2N`MKE)p!*P(Io|c7_3uD_SVlpNw&hNQdd_R9%HGNHgL{lE!}ri0$Jq!!PseVvhrfewr7N z$6@w~lIi&Y$@5ZwMlw*|DxL^MF1!lDouyG0(0DO}hs`3$LJTU-K+>cEYBy9#P{r%yCuxQkzvk+N`gp!hv__yeS`xsYC06 zZ;X~euvCKrGtmY`7K5~9Se60f?KY+g_vhSyZ54~`Vd>x{F3NuNO<$}0Z{n@2k0ty? z^^Ae0Y}de#M4$l!6mvLv0C#CXb9uCEXx&c3d`z|X3-Dn*%3pBybUHbbo$&Ejvf>=w zc@E}DLMz$N7mSRkeZx|e!{d>3W;sY+VzlpY3Sovd3o=&OzD6maVuO_a-$AWflE}h; zh`6Vnq9)_qp6!5op*og!V2Q~uo`IL(@%CIAyI*9Oraj|2?2^Q(Q0J7q8ken5;nqUy zO*K169&{?0=cR#G1C<)YMRuC9`lbML((kyx&M|x_dn0{GGri4@`GouRgmvmKQ{u(L3I@)|*juD~dFb2>oidZGA)Pt#inR?l1`2cJ^_JV6wo^8o@}% z%vvOP&8{~s7JfAzxt=C}fcqKUP1I#AVF$}%NHg$pSCTSytD~GaNf1_}bsi=`6tov; zH@34rrkHU2DU~v-XmMEuqiME6T;~d5Db++FwzsPGQD=m(Jw3DEoW4oAj~yAYB0Fcr z#a1sgozB71vf3I6p1_;sBdD_8hpI-Te2~B%1Uz2o5GAbm1-_$yox~g74GbBOROk$B zKDw1WVgj32#Q4TU%4yP4&H2r}ffq1U}=tXWV2Y7R3hc!k&DWfRc4T$v=%m=<2jmn!YAqLa>Bw3_@2r0uiyp1j)!|>i^}fXv|srp@7=_S zM}3dM&u@4YcfA$#Q@7Sd5xQ* z;e-Q1v5T00F?G_)ghj1V)!Ol&L1mt2gVI|o5{V71JTP>#Tog)nU5+eI%F@-06TyY( zB8FEEss=zQFz>FBZ}4uD-d~QR*wo}pWVZO@P>^Bl8|$SROnfl+Eao5F4Gw6qZfix# zVq`eWDY0>!hwIcNx(f??Yd6t?Y51@6^=JrT+LNSz@xP=7+W6M}a5i&*RDt9X@)Ef5 zI_F{*AKs$bAt1pWvl$Av-?=!yr`3nL2bD*t9B`Q-<5kCtQCE_Nq?(n9Tsc|YZYf-I3@^RrS*((S#_?*s?;$E0h zWdG6@w=kP|v{8b@u9sIRph7oIqQGLG&m~Y(83oTXSAW=H`nKNQO)#OmVdzQ@d``K4 z(nFo-0j}{9s9`h*O!IMUy>{w^&V+nL8xmc5{Ut(V2|#!cv+@S{(s`6r=@G&tbX zUOX(qZD){whRo?aub5n^g*%PgX9g*M?UIsI+D2IJx(b~*_2x>As>Fh~;1%sC`AniK zJZWk7afQsBo+Wkv)G<3n8HPI3<}w!4K9yK+H4I2M1`6+ja^?Ecv3Uz)o14`#)KVr z*l--7-rEF|w7AHUM2p_T(wU}z>Wfa{5y%ZiLP)6MQn{WSL2k{?ajoriibkcP6Kn zJ46_#ze24IEl8LO>omkrxGpvvZ7@9YbQ%{G-p^pu(Mp~DqF}G1mOD>>yx~AadA@9s z#wHXk)u^q}B8jonsUDzX?9gD~CooinKgn+bSmqNoGHoLHVzj?CKwB9~!^e9RFx%DGy<&L4cTlnky-r$Rld$geCF9 zU!B|@jXA2TCN*K0fV&YwW7GA^UNin;pgPm$@c_$B6xwfZ zk89s#zbqaclEL18lOs`iAiCk}`QTHWIRGL*d2AJ0H7%9RPga|vT5gu0%cNxnfT zcbLDTY;r`%2f@E+J%KJQ1FlUmHlASSzCSY+gnX&PL)blkkcwXA24A-6%V$R@$P_6> zSxW)({yKaYNu$&#=25TG2@D@iq4LrjC4U(P5@h+QEbyVelwId;K%dGEMQ`F3wG`gP zBn`HU;1`{L7IO3LJtClqn=(Ls$m)oQFzhCB37t88PBo|)GSXWD-~Z#d=OlL`&d}$x z+xTe3of^kh<`(7W7(O4NkN_~5F}cI(k3Yz{VzC>oy|GvF_n};d+S#0>8YVvcdT>Uh zliV5u)PRge=&Y+$Y8aZqf;~Y}npgFap*Zn9J!qbPN7bF6wM&TA;FlL~T{JPI0622R zxzRvWJd=8eM^XFU`Dlwg$YS3V{O7Sy{>Y3@BY`+|%9I{gDo7`7sV@U7(3L4py2Mua zB9dMbLnifu;`xfL1L?!m6Vt{J2Bb2(!iX4W-QWHC+EDfiH(PZ``^G|G@^K)h4^u+Q zVGBop&3Q`cZW#(GobSS`mj@74G%y1dgm>T-SAB%UOl_34M$R7{t)sjg&i zvfDeQ_dOKf5Bo-iQG!{Ry4CA0tUXpHeRODljqbJoP>Vl!)?Ma~Y3YsebeDwZfl2uT z#j-@7l}V3lY%`#hs!h@=n~F1w(I??*Y5W^IsEhA147tcMS#1aE5RuqtiYs<0_9Qvc z6Hbp$dsyq43z8%gB?8j_bL21}S-I>8*W^-QyDP@aOp|DJ&E#xky2Orldpuv=`Vu;S z=-VWx%0=OZxrkd69S1}G8Y12YOBAdW?&OEju)?VypVZac!@ZiD>7f-V!a|xViy5?D zQx;j!%wv8V+==z$;WWV3-6XIn$y=|z^y=s?3C~-1(6-3qvit~#%?U+G@TbGr#qZwJ zR4QTwHe)Y-)k&GkbBblm=_DPqd2{K1oTDd>%li!TMLGpPd z>i4tGdqiU&9HylSbg#QR|AFFvYndNV%FZkZlzK}eLCL)%wZYkdgpPQ$=+)3D7F5w8 zhlAd0znw)G;6FL`o&6SAzlanVn?LoV$x{IRXj@yhU_-8G$UJZk;Z;3HlRD&HywE?) zQy~H3U>h;!^C4YB-r`0So&V^L9rPHrvvtk#RaCc6b#GrPSn zDpnWRB5NECmQ0aCoB5^&&4{MaE44nP%tW6Vc<5q{sInIW9-6Kqh;+ztIR5I%t$ITL zXuuw(pXPH~!WVK)w!>9Nc6R$YTrQ7ky*1kYmCx?lD_sk&%FRK4xAi2b7bp)_JyxqN zzg+{iVbrs)JbL{JaieZ_yE?q9Fi|`j5V-115+8^Rki}`V8abVwo@((>aLZiKG_JX?G`= zMvRr?4Y(O?K@y*TbgiZ)?)>EP8rrBNDur#7D~i2uDq%=r75KU|ndY8C-V40)oO0=s z%|yDP=kr7K?)^~9?zf-!&anNq7r;K*6d;G= zp#4azA<;+*KokRyyMz4b>$)PLH!o@})OrW)MIIi1FsG_w*R;@(p~z_?`_(EQ5DvtM zEOtst%1RryQ;noq^%7t6sys`;-p-k^(7=$)QZ`a{Af6Fni$$^GjY;n=lcT|VoL5HV zGZJ;0f;WTfj21yj!ebXJR!^j%j>9aI>$M*=f**-U#P$%D(u9vT*l0``R~8Rmm!NbK zmuzHzr|v@&NCt(lisc)%`&AwV&;PJl6xDzvsE9)&{YC=2D#gDqOGL0)%RR~ zb|CE&05Ok&w*c6K~RzI}D zPR00?&V{Ra$S)G3z5R=V{K&p*PbXjUJoI^A)+x1r<)aK;pe@4V3Ujus-r&*QCPE68 z#pw!`h_zF=(VO;|>?`?S<&SOvRt*<_N1($0j|q#p8QjVp-Ka0`oe>C(J1>~=IBUmA zUB@T36q^xd`>Lrt^s+h;398rahf+>20W%~ z`?K(BOSD!jC;z}1*)3~FDa3q_vVZhmZ7EwJ0HPBsuCKO3? zJ{Z|{*F39w$yLjz#uzMIpY}HfMXk;xB zV5w4=vMP_=0%%ekuB>HesJ$Ze9&f-vfxqFiSlUywzt30ZaX1+X&cqo1&UK$U`SNhr(1$kX8zMK&|~Uy5l8)V*+Kl(82olh~Y00ix=k!T~OuzUR;p8PwDJP8pGD z=`2U;TF+g|!~)YxC~`l4UgK5CNwb)&qO=s!3TpvB#(d;cS*2jj7N6k}ULdCQqIoWi zPouQKKx@X4kv#Y3?2?f&X&5?nP1uXTt_|%vERPIm@CP3%e&L-Tc`I?(PJ5N{gC6Aw zY~A3J!0%PFG9aUex&4nO>XNh@98AZx;?q2u=y1Uvdy z1-SWIze^giP?~1Jz8lwKu`SV@g2pK(;ztmk=SAFVzTp49!*2u4-6?qUZ*ZthLhsgX zHXFE6A&EJb{bFE5Y-~mw;d-i6KqT6Aa%EgMdCZrZHcK9hvd?g=;L-B-W?6#3Y47f$ z@TagmKVyS`!8S}CJvF|`5=P5yVJdm}B}xhDM%@g3PF3c1m(aiDTA zhxVPirEntT)hTNghkE`b%ID*qGwO=!K4)&X1L_50)F)yb=AIR9j4;jTW%gF?Q#E^D z;|Q@tZ3JQaW=Y_Sn=NrydagGDr}M*yqhEmbSU%Q&2JxOI=5%oi$rht!>DGm{Xb*6N z1b;q+7^I$#@)r(clK9MLP9pw>z0>%!=w0Npv0Ib3972L&(ubfoiXQj7iIrtpbdi=l zqG|W96|Kudfkd2ORTKaBmc4@#ya+p5hF_Q~0ZiNAUg0d$31mX>E(-o9=@GfMISp3K zZBZ?M7z~mdYPek00t(#QPpV8knWj|RLU{4jZh<7AQtByEg|D+Z$?Jg<;DnRtVRF`+ zf1mZB?AWH52R>p+Rg=-ee)^r@8WF@KeYFuq{+)jMNg|I-*v4h-d$1Mh1Rnw_e&QLz=DjSh;6lX7g<(sGcVq7^g4-T6n^C%+n%*l@(J$}88 z<0|d_Z^-KRZ}_`_T)cgorvaFCY7JW(lsn4Zbr3GrQJl)xHdpNN6YW}#j|6w%e*NS1 z&e7w9ro3V}q{2nF$z~j+nv~n3W7_YamA4{;okd%bnn(qyw%yrGda$*6J{jRj1hJ-n z_1mor*Wq@DS-mPv>B_=aj)2bBL}-WZfXh^&{N-~|5zqy37Q!k5qYbC)LqoILel zh75f@B3a&Bx6q7MhGN|ZjfKi?`S3Y4wbJJM7=8*DuS433omHNYQ zK!(TKvBiJrJ#D`{o0PAcGY<`cip33o>4ZJZ=W-ukv^pP(M*ofoe`qBq@pogy)W8ya z*F6i87U3}1N9iehs(1H61dgt_;(=?^YjRvkh#bkHFgQ=)Q)!u7sM;e&-ei_C9$CO;blw*p!@3B6J!&=z zT)@#v-Z<%XBP*C+Hgbrh+8wwM`C28^-YtaxLx2+RH>Hjic#a`B(6W`jC1IBEX#&>a9|v9}KiKDb6B_?pP+_ze7itPtrMtY-bq zy3qw3DRgj4=h=w z|D49GmAmw()|(k9Ew@dkC*AI|b4^WHz?jF~HN}3^;c#`B(4?4Hv_-?WV3nf%%@KzL zpMK_VN{QkKVl1UEu$wD?3DPJChJjR3KiI7gf=Sr0fB#4E9X3;;_XVyZmhx;r?wGfu zC0WTb4x+uOogq(T`-@{2L^M zHd#>qdbROz>Q9#vWqsT@(Nr~?hNV5;i`m6N@H1+Nwv=zXsz$(nf!OjY#*)s4f7iE2 zSjR)?iF{ifpPVI8#8I%c=iRzDt2On83XbCe^Uqd!4r3BgjyL#KI?^IZx;^?{xUR66v& z)knmCuL$>m**vGpv7g~@R6l}?$Ej$ZM0k3g*~X2VUgtZo(|{W^o1S)j^rP&pM@?`C zYLFi;>@OpGf2&o?98>5*6k${)l4I^48wCLH+AUnKY|* zgMeYnk}4)LX6*7HM9dQTny@^<<@3PLUL`xNMAe@j6h7O}bZcoLx&5EQS5-b@ND-ptD4ly<2*VS*$TQvb>TP+H#RTyG;|Z z0rInuoYa`^N!K*aqo3)wH#${5qRwz)2N43Ka$NEPOp_39D7UX{0jMaGKAsl0ZIuDG z9g~X07PpVi0dpgh9^n?Z81exSACu$!7PmeT0y-O)=NthQw~Z_UjvJSmYylOwFh~M# zK9^UO0T!1!qyi7O#D)T39hW1s0T;JBqylCgmwCq4+Crhmv}4!6SvzD1N8y|I5d~a5d+4zm=yy+ z0+$;|0uz_(7X!4nryB!60s=TTm%J(iShqqR1K9$XpN0Yxw=W?BAp-$8m(dgh6PL~^ z1GBdnB?D{%mn5VD6SvJO10VwdIhWxY0~435H3PY~yDkF<1DBz}0uz_3H3Pc0kTL@Y z0|GfRm+&nE%eQ4V0|x__p6vn?w}3eVD+2;KG?!ot0~D4(1G2YtJp*+DmtG447PdeG zCj*z04g(aoJVOKA0++}U0~EI{Mgt53m)I8r4VOnr14INdH!wJtk4Xa`1Ti--IG3_X z1C0VPIF~_60~;DPFbXe5X>xOPAT&5J3NK7$ZfA68ATu{IF_Qr;D1Yr++fp1k5`E_@ z^tc-nM)zBUVZI( zCNQUMWL7ZeV3JkLMF9^D^AaY*lAfLi=4}8WP*xbV;S>uh80HKMCc-2Kw%{Uxg&5F2 z7A1^(Fvoyd-mvIll6Ndd7nu)C3JKp}O(~4@8(Krh0Z@`UuzwJkEP@1B;4^|k00neB z00JEamP1$S07k*5RWJ<)oC7&nMF!zEBtD9Ok3t+p#Bt~-09)dS28eN@vLLAtb7wsR z-Bb`D3mSm;;5n$EK`9mkcAVOH{CI;O{kWa%TUE2wl4;f?e=V z?t+dkcNM~rM*;h~8(GX<@VpdtKcM}&kH+Obcv0%Q4|dmEB9!%>;9*&B3Q;7}uAngA zU(8Pqs}=hUU_9Gq{HXfAVqa=oZbV6`E=)@N5>BNBrGN3Ik%a-JVI@E%nhnM!Yz4>- z3b0_nILdvGp_FAJhF;Hs4aoNeF!TU)zXV`mZi!_H$jz{p@RhI@K(#`u45Kx!x1;b` zJG<$>YJJdj6YeayVskO9L`BYn!PyO`tSK7R0(SN4BN|`j`4T9<+ULdr=Yj9Su14JgAR!)Ir-XTd+8zZh$jyOp>Wh4;S z5|z@XG-4p1@Td8f@m`OWb8u8y)FOE(=~d!F>nXYRnARkr>)B8kfKJ9CVg~U5|9el~ zzJEh21)ikX+&pUYPcu>oH{Z)dy-^gaq9mCdLTw0WP->B+ECG?)B!OFdMXpM1p=8?4 zN6biP9fGGECb*aAU`3LW$RQfs2dD_@D{5U@2TC3nBBr_$#1@dVus}qHa4~s>6g3_v z2~rOhK(?@?0!CyEX)B5rN0A0x;#;QP(0>+?8DhzPTcfWDqSPu>9a&UU#8VqB?wVRH zF}{%zU_PMU{RxiZKSfxie9;0ejV8~)if@yOwMYy`F`rk(8k20My-+&!N-1M-)zs3C z$A>QJ7Vlhd4#F!6+lZW#GyzUVu zPiL?53T*~`@i;^~ft@hLgV) z0Z0XIA7DEK0QIewsCut|mo_Vurj4C^r=|19@RM@y_LJ7s_LwsfBa7NwCVwdie=I;s zSCm#J7`4R&O#M=u`?YDEvdyj$l1>mR^k^gnu!k}N%MDLNL1zdBri(-)TGJ7Lk~%0N zd`tFOOg2XZ;xS}$I;53ph1>_i!TYEA>u;~Pe4QbY90ftASfEDbih=5(q6WFkPdV4GS7>@x3px!1zA!;YOCoP#Ef0K% z)PrGwgpVg9qGNQVvILnUq&x_M!ayLJf&wPlWbi&GsA`S5b_9$9-G6}sN?1DoBAxDt zh$Vh>^whP^`P4S37^+09LP|7vy8^vvMXFhhL*_C8H8mc6g!*eLc8ru+&OrnO;!n_( zh}O{IWre0H#1TVE9Cyg+$bonUkS|dZqX4Sy|Nq?i2NA;}L8ITBo-g9G^tUZ4W_m`_ z<8z_RgEAWuSEM!<(|?!?B2}$4N<~hJ@O=a1 z*QSFi$h>2cPW?v8(05Zv6f3NIw`+KpHm_J{Miyw9ivdO7ldV2RbV;()Vcmr+j8!w; zOz2HV@Wg5|l7%7QDV5%PK<$C$aT37$U8ENQHurCM{Ltb@(Rsc%ckeXq8`TJTQt*1(X)gQ_38bN zqw~tpI|}FtJOhGEH&6VfLCR2-OB_7IB)vZ(^tGltD8Bs1DjxG2PCS$D4pb0%x-CKB zqv_6q_c&M)c2)+VE?X}n>6;=<(V2=PSWam=<#9KUl7CR_W@i@_gXIrb)#W?nqYeHcPXbDWHO?ms zd|Ui4{*1rk`}}|(@+1D9PxuKxma4gq9@`PxuSILlN>0jQ<8UUriRP>Ez;c`t2LPn)1I(W33!x z?E82BIefpHj2&>gmbJ0?tKSDP*4aU0k4ocOcIh#8y?(K?_4JVJ3OAdjOr7RZJd_W^ zpjkV8&$W!RV~pEBe)Z`kX6nIEfErQzOn<~*F>alxE)JUZG-v8Igy}BO*=zo0O=-uF zw_o|!#pLAAYIRY4Th;vqu0$z)F`pHQU0o9MRexPiE-=gI*NZj-{;^K@+4beuYO$Q2 zVeZdo6;dMpnvk}kUfLw{^euIfNS4**G^w|oet+l7 z3)E}HSLchW;;Vn=4dwFxR*QMdo1=L5$;S`-TW`smejo#N@@6zxb;LV6(+)V(>e88_ zoqp)B+Arvl#IhGHhDFm`CygD&ut$gQ58v;h#cm)s>+qFPKS=lnJs7^pK8T;v9yf|a zU%Y(rc55H)8Q>aSmlVQ_2eHSyL4SKFizt20_&PIg%8NxSmb)?RM$zrZH*a5l!eiv{ z;}9jO$R0&Ue2bNzZ7={p?#H)A45DzrzfKmwCReK;%WB2X7S#lDJK=IYo6ct~TSu|) ze_kFQA3rBs2f`OlmWY2IpcVaU%B&d6;z8}VdpPQ@Dz zzkKQq9C-7eoN#wP+6L|meiZ9{+}+xJy-OeuoLkCgjFtOInT(aw-AXKXJCV1{8AV}l zo*#dDb4ccdpM^|(u!>QSFn?zhOTBt`@M-56nsYQ*B!W2_f5!p0=~%Fold@$EeqCFm zlp0?m*7w?Pbk_c{t|mHH*lswEBC@@MgZ<-|za4HL?BQQr-fXfAfx+z!|D+3Qsc2MV zb&JYGW3d=2qQqbk_4OKZaMd#92KstFJDHzOXJ@b#+y>xqn&Dr`SX*1O+IHpVPm#q+*;z1nMifzJ2Km#_Y;`fsLQ zr`*~8^Z>^BVLHG=gL7Y%#H(+)y77_vtB$Q!$G%(%e0=rgy;s(+R;;r+HSN`j3oDeX zU%mMFs^tA$*;1cy*>tYbrpzrH>uqz-RODK1f7)mCE-ZD)2Hz(w^UTWjn9Y5i>pnY9 z=JhnQRR`R@Zz+7d^<~WYTeo(^N!-40$<6H6j(KKvd(7Uh4tAdzCotRMiN@7nwVv>0 zweMeQT;@&$E-C2w#A~!@xsS|xpYL3k0+)*)c`=Jg`g+3U;t&y_!|n)K-TKmWV@hIu zvedS~jmyv2?${ChWc$>QdnLroUoZN->rQjW?yZ&Xl3yo($rJMWzC!W1W49HTy;oK6YrPAbC|mn0@lD%}_3joQu)`S>t(B}x395u zo%ngvEo#A!`8@xb9dG{;n!dr1S%lGGx^fh=V!eT3ESG+8W>uxB z5)8`EFHx|x0AA`E#HH_IZOy15!V8yFc|xVg9)niyLe85x-w z8M-(-Svb4cDG*i?%f$`9Db~PX`b8~f&3e^~*4|73630G%w=6R~y=isX)py~S^~w~Z zesSbJ6jAxXc}qDXGdD9cW5rHgb43k~9tVx46>HiS6mc|3y{Wx7O}_q|rOjzUK~2kv z3>^+f^w(%eDl4ZnotYRYqAmN~LLKYg=`<1!CR&1RPT zx7+HQLMCYi`L=aTzak*NQnmDm|0_>s&IxXpTxNN4t9;7&ymms$sa3q2cBhKA%z3iL zX~OE#)ny(Z|Hra#klFl-C1`$F?18dltE4UBHojs!cR4I^K|z)%qnGFExE)K~SKIB_ z%DcL5$JwT<40j$jUsZ_t=J4R$r&F!rJFmQiU?ilzs?v!Akj&8J<< z_bi?IU3uw`MK!Kd-Z$v#ANqTQRW3i|AA{aJ>zwHhG0ZZ&hL)B_hNfJqs;>TSTmW&K B2G0Nh 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 471836c..296800b 100644 --- a/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.tex +++ b/papers/coloring_nested_tire_graphs/notes/boundary_cut_tire.tex @@ -3,6 +3,8 @@ \usepackage{graphicx} \usepackage{geometry} \usepackage{booktabs} +\usepackage{tikz} +\usetikzlibrary{backgrounds,decorations.pathreplacing} \geometry{margin=1in} \title{The boundary cut tire $T_\partial$: closing the coverage gap} @@ -74,6 +76,56 @@ $T_\partial^{(i)}$ obtained from: \end{itemize} \end{defn} +\paragraph{Picture.} A thick-side example with $H_1$ a hexagonal +cycle in $G'_i$: the low-side face $f_\partial$ is the outer +(unbounded) region containing $3$ pendants (depth $0$); the +adjacent high-side face is inside the hexagon, containing depth-$2$ +edges. + +\begin{center} +\begin{tikzpicture}[scale=1.6] + \def\R{1.6} + \foreach \i in {0,...,5} { + \pgfmathsetmacro{\ang}{60*\i + 90} + \node[circle, fill=black, inner sep=1.3pt] (v\i) at (\ang:\R) {}; + } + \begin{scope}[on background layer] + \fill[red!8] (-3.2,-2.4) rectangle (3.2,2.4); + \fill[green!8] + (90:\R) -- (150:\R) -- (210:\R) -- (270:\R) -- + (330:\R) -- (30:\R) -- cycle; + \end{scope} + \foreach \i in {0,...,5} { + \pgfmathtruncatemacro{\j}{mod(\i+1,6)} + \draw[blue, very thick] (v\i) -- (v\j); + } + \foreach \i in {0,2,4} { + \pgfmathsetmacro{\ang}{60*\i + 90} + \coordinate (p\i) at (\ang:\R+0.85); + \draw[red, thick, dashed] (v\i) -- (p\i); + \node[circle, draw=red, fill=white, inner sep=1.2pt] at (p\i) {}; + } + \foreach \i in {1,3,5} { + \pgfmathsetmacro{\ang}{60*\i + 90} + \coordinate (q\i) at (\ang:\R-0.7); + \draw[green!55!black, thick, dashed] (v\i) -- (q\i); + \node[circle, fill=green!55!black, inner sep=1.2pt] at (q\i) {}; + } + \node[blue] at (0, \R+0.35) {\small cycle of $T_\partial$ ($= \partial f_\partial$, depth $1$)}; + \node[red] at (2.95, 1.55) {\small OUT pendants}; + \node[red] at (2.95, 1.25) {\small (depth $0$, cut)}; + \node[green!55!black] at (0, -0.05) {\small IN pendants (depth $2$)}; + \node at (-2.55, -1.95) {\small low-side face $f_\partial$}; + \node at (2.4, -2.05) {\small (high-side interior)}; +\end{tikzpicture} +\end{center} + +The cycle of $T_\partial$ is the hexagon (blue, depth $1$); pendants +fall in two classes: OUT (red, dashed, going into the low-side +face) attach to the cut, and IN (green, dashed, going into the +adjacent high-side region) attach to depth-$2$ edges shared with +$T_2^{(f')}$ tires. + \paragraph{What $T_\partial$ looks like in special cases.} \begin{itemize} \item \emph{Side with thick BFS:} $H_1$ has multiple faces, one @@ -89,6 +141,41 @@ $T_\partial^{(i)}$ obtained from: No IN pendants (no depth-$2$ edges exist). \end{itemize} +\begin{center} +\begin{tikzpicture}[scale=1.5] + \node[circle, fill=black, inner sep=1.3pt] (a) at (-1.5, 0) {}; + \node[circle, fill=black, inner sep=1.3pt] (b) at (-0.5, 0) {}; + \node[circle, fill=black, inner sep=1.3pt] (c) at ( 0.5, 0) {}; + \node[circle, fill=black, inner sep=1.3pt] (d) at ( 1.5, 0) {}; + \begin{scope}[on background layer] + \fill[red!8] (-3.2,-1.4) rectangle (3.2,1.4); + \end{scope} + \draw[blue, very thick] (a) -- (b) -- (c) -- (d); + \draw[blue, thick, decorate, decoration={brace, amplitude=4pt, raise=8pt}] + (a) -- (d) node[midway, above=12pt, blue] {\small $H_1$ (a tree, 3 edges)}; + \coordinate (pb) at (-0.5, -0.9); + \coordinate (pc) at ( 0.5, -0.9); + \draw[red, thick, dashed] (b) -- (pb); + \draw[red, thick, dashed] (c) -- (pc); + \node[circle, draw=red, fill=white, inner sep=1.2pt] at (pb) {}; + \node[circle, draw=red, fill=white, inner sep=1.2pt] at (pc) {}; + \node[red] at (-2.2, -0.5) {\small OUT pendants}; + \node[red] at (-2.2, -0.8) {\small (depth $0$)}; + \node at (2.5, 0.4) {\small low-side $f_\partial$}; + \node at (2.5, 0.1) {\small (the only face)}; + \draw[->, gray, thick] + (-1.5, 0.5) .. controls (-2.2, 1.2) and (2.2, 1.2) .. (1.5, 0.5); + \draw[->, gray, thick] + (1.5, -0.5) .. controls (2.2, -1.2) and (-2.2, -1.2) .. (-1.5, -0.5); + \node[gray] at (0, 1.05) {\small boundary walk traverses each edge twice}; +\end{tikzpicture} +\end{center} + +In the thin case (e.g.\ dodecahedron cut $\#0$ side $0$ with +$|S_0| = 4$), the boundary walk of the single face has length $6$ +(each of $3$ $H_1$ edges visited twice), and OUT pendants attach at +the two $V_{\deg = 2}$ vertices. + \section*{The extended forest} The high-side cut tire forest of $G'_i$ (proven in