From 15fc7c3b8f65923b91689b8807315593991ec062 Mon Sep 17 00:00:00 2001 From: didericis Date: Mon, 1 Jun 2026 02:02:04 -0400 Subject: [PATCH] Record level-cycle coloring conjectures --- .../check_level_cycle_three_color.py | 298 ++++++++++++++++ papers/coloring_nested_tire_graphs/paper.aux | 19 +- .../paper.fdb_latexmk | 7 +- papers/coloring_nested_tire_graphs/paper.fls | 2 +- papers/coloring_nested_tire_graphs/paper.log | 329 +++++------------- papers/coloring_nested_tire_graphs/paper.pdf | Bin 939287 -> 942692 bytes papers/coloring_nested_tire_graphs/paper.tex | 57 ++- 7 files changed, 454 insertions(+), 258 deletions(-) create mode 100644 papers/coloring_nested_tire_graphs/experiments/check_level_cycle_three_color.py diff --git a/papers/coloring_nested_tire_graphs/experiments/check_level_cycle_three_color.py b/papers/coloring_nested_tire_graphs/experiments/check_level_cycle_three_color.py new file mode 100644 index 0000000..d421c1b --- /dev/null +++ b/papers/coloring_nested_tire_graphs/experiments/check_level_cycle_three_color.py @@ -0,0 +1,298 @@ +"""Empirical test for the level-cycle three-colour conjecture. + +The weakened conjecture says: for every maximal planar graph G, there +is some level source S and some proper 4-vertex-colouring c such that +every simple cycle contained in a single level G[L_d] uses at most +three colours. + +Important: this checks the cycle-by-cycle version. Two cycles in the +same level or the same inner outerplanar component may omit different +colours. + +Run examples: + sage -python experiments/check_level_cycle_three_color.py 4 9 + sage -python experiments/check_level_cycle_three_color.py 4 8 --quantifier all-sources + sage -python experiments/check_level_cycle_three_color.py 4 8 --sources all +""" + +from __future__ import annotations + +import argparse +from collections import deque +from itertools import combinations +from typing import Any, Iterable, Iterator, Sequence, cast + +from sage.all import Graph, graphs # type: ignore[attr-defined] # pylint: disable=no-name-in-module +from sage.graphs.graph_coloring import all_graph_colorings # type: ignore[attr-defined] # pylint: disable=no-name-in-module + + +Coloring = dict[Any, int] +Source = tuple[Any, ...] + + +def vertex_key(v: Any) -> str: + """Stable ordering key for Sage vertex labels.""" + return repr(v) + + +def is_induced_cycle(g: Graph, vertices: Sequence[Any]) -> bool: + """Return True iff G[vertices] is a simple cycle.""" + if len(vertices) < 3: + return False + h = cast(Graph, g.subgraph(list(vertices))) + return h.is_connected() and h.num_edges() == len(vertices) and all( + h.degree(v) == 2 for v in h.vertices() + ) + + +def induced_cycle_sources(g: Graph, max_size: int | None = None) -> Iterator[Source]: + """Yield every vertex set inducing a simple cycle in G.""" + vertices = sorted(g.vertices(), key=vertex_key) + upper = len(vertices) if max_size is None else min(max_size, len(vertices)) + for k in range(3, upper + 1): + for subset in combinations(vertices, k): + if is_induced_cycle(g, subset): + yield tuple(subset) + + +def level_sources(g: Graph, mode: str, max_cycle_source_size: int | None) -> Iterator[Source]: + """Yield level sources according to the requested mode.""" + if mode in ("vertex", "all"): + for v in sorted(g.vertices(), key=vertex_key): + yield (v,) + if mode in ("cycle", "all"): + yield from induced_cycle_sources(g, max_cycle_source_size) + + +def distances_from_source(g: Graph, source: Source) -> dict[Any, int]: + """Shortest-path distance from a vertex or cycle source.""" + if len(source) == 1: + return dict(g.shortest_path_lengths(source[0])) + distances = {v: 0 for v in source} + queue: deque[Any] = deque(source) + while queue: + v = queue.popleft() + for w in g.neighbor_iterator(v): + if w in distances: + continue + distances[w] = distances[v] + 1 + queue.append(w) + return distances + + +def simple_cycle_vertex_sets(g: Graph) -> set[frozenset[Any]]: + """Enumerate vertex sets of simple cycles in an undirected graph. + + The DFS only starts a cycle at its least vertex under vertex_key, which + avoids most duplicates; the final frozenset de-duplicates cycles with the + same vertex set. + """ + vertices = sorted(g.vertices(), key=vertex_key) + index = {v: i for i, v in enumerate(vertices)} + cycles: set[frozenset[Any]] = set() + + def dfs(start: Any, current: Any, path: list[Any], seen: set[Any]) -> None: + for nxt in g.neighbor_iterator(current): + if nxt == start: + if len(path) >= 3: + cycles.add(frozenset(path)) + continue + if nxt in seen: + continue + if index[nxt] <= index[start]: + continue + seen.add(nxt) + path.append(nxt) + dfs(start, nxt, path, seen) + path.pop() + seen.remove(nxt) + + for start in vertices: + dfs(start, start, [start], {start}) + return cycles + + +def level_cycle_violation( + g: Graph, distances: dict[Any, int], coloring: Coloring +) -> tuple[int, frozenset[Any], set[int]] | None: + """Return the first level cycle using all four colours, if any.""" + by_level: dict[int, list[Any]] = {} + for v, d in distances.items(): + by_level.setdefault(d, []).append(v) + + for d in sorted(by_level): + if len(by_level[d]) < 3: + continue + h = cast(Graph, g.subgraph(by_level[d])) + for cycle in simple_cycle_vertex_sets(h): + used = {coloring[v] for v in cycle} + if len(used) > 3: + return d, cycle, used + return None + + +def coloring_witness( + g: Graph, + source: Source, + max_colorings: int | None, +) -> tuple[Coloring | None, int, bool]: + """Find a proper 4-colouring satisfying the conjectured restriction. + + Returns (witness, checked_count, exhausted). If witness is None and + exhausted is False, max_colorings was reached before a decision. + """ + distances = distances_from_source(g, source) + checked = 0 + for raw in all_graph_colorings(g, 4, vertex_color_dict=True): + coloring = cast(Coloring, raw) + checked += 1 + if level_cycle_violation(g, distances, coloring) is None: + return coloring, checked, True + if max_colorings is not None and checked >= max_colorings: + return None, checked, False + return None, checked, True + + +def source_label(source: Source) -> str: + if len(source) == 1: + return f"vertex:{source[0]}" + return "cycle:{" + ",".join(str(v) for v in source) + "}" + + +def test_graph( + g: Graph, + sources: Iterable[Source], + max_colorings: int | None, + stop_first: bool, + quantifier: str, +) -> tuple[bool, bool, int]: + """Test a graph over selected sources. + + Returns (passed, complete, sources_checked). + """ + checked_sources = 0 + complete = True + found_any_source = False + for source in sources: + checked_sources += 1 + witness, n_checked, exhausted = coloring_witness(g, source, max_colorings) + if witness is None: + if not exhausted: + complete = False + status = "FAIL" if exhausted else "UNKNOWN" + print( + f" {status}: source={source_label(source)}, " + f"colorings_checked={n_checked}" + ) + if exhausted and quantifier == "all-sources": + distances = distances_from_source(g, source) + first = next(all_graph_colorings(g, 4, vertex_color_dict=True), None) + if first is not None: + violation = level_cycle_violation(g, distances, cast(Coloring, first)) + print(f" first_coloring_violation={violation}") + return False, complete, checked_sources + if stop_first: + if quantifier == "all-sources": + return True, False, checked_sources + if not exhausted: + return True, False, checked_sources + else: + found_any_source = True + print( + f" pass: source={source_label(source)}, " + f"colorings_checked={n_checked}" + ) + if quantifier == "exists-source": + return True, complete, checked_sources + + if quantifier == "exists-source" and not found_any_source: + return False, complete, checked_sources + return True, complete, checked_sources + + +def parse_args() -> argparse.Namespace: + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("n_min", type=int, nargs="?", default=4) + parser.add_argument("n_max", type=int, nargs="?", default=9) + parser.add_argument( + "--sources", + choices=("vertex", "cycle", "all"), + default="vertex", + help=( + "which candidate level sources to search; cycle means induced " + "cycle sources" + ), + ) + parser.add_argument( + "--quantifier", + choices=("exists-source", "all-sources"), + default="exists-source", + help=( + "exists-source tests the weakened conjecture; all-sources tests " + "the stronger earlier version" + ), + ) + parser.add_argument( + "--max-cycle-source-size", + type=int, + default=None, + help="optional cap on induced cycle source size", + ) + parser.add_argument( + "--max-colorings", + type=int, + default=None, + help="optional cap per graph/source; capped searches report UNKNOWN", + ) + parser.add_argument( + "--full", + action="store_true", + help="continue after failures/unknowns instead of stopping at first", + ) + return parser.parse_args() + + +def main() -> int: + args = parse_args() + stop_first = not args.full + total_graphs = 0 + total_sources = 0 + unknown = 0 + + for n in range(args.n_min, args.n_max + 1): + print(f"=== n={n} ===") + for idx, g in enumerate(graphs.triangulations(n), start=1): + total_graphs += 1 + source_list = list( + level_sources(g, args.sources, args.max_cycle_source_size) + ) + print(f" graph #{idx}: sources={len(source_list)}") + passed, complete, checked_sources = test_graph( + g, source_list, args.max_colorings, stop_first, args.quantifier + ) + total_sources += checked_sources + if not complete: + unknown += 1 + if not passed: + print( + f"COUNTEREXAMPLE candidate: n={n}, graph_index={idx}, " + f"source_mode={args.sources}, quantifier={args.quantifier}" + ) + print(f" edges={sorted(tuple(sorted(e)) for e in g.edges(labels=False))}") + return 1 + if not complete and stop_first: + print( + f"UNKNOWN: n={n}, graph_index={idx}, " + f"source_mode={args.sources}, quantifier={args.quantifier}" + ) + return 2 + + print( + f"PASS: checked {total_graphs} triangulations and {total_sources} " + f"sources; unknown_graphs={unknown}" + ) + return 0 if unknown == 0 else 2 + + +if __name__ == "__main__": + raise SystemExit(main()) diff --git a/papers/coloring_nested_tire_graphs/paper.aux b/papers/coloring_nested_tire_graphs/paper.aux index 9cd7bb5..11196e0 100644 --- a/papers/coloring_nested_tire_graphs/paper.aux +++ b/papers/coloring_nested_tire_graphs/paper.aux @@ -38,12 +38,15 @@ \newlabel{rem:tree-coloring-factorisation}{{1.24}{15}} \@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Tire-tree decomposition (Theorem\nonbreakingspace 1.23\hbox {}) on a $13$-vertex maximal planar example $G$ with five BFS levels. $(a)$ $G$ with vertex source $v_0$ and $\ell _G \in \{0,1,2,3,4\}$; four nested seams are highlighted, $C_{T_R} = \{a,b,c\}$ (orange), $C_{T_L} = \{a,c,d\}$ (red, including the chord $a$-$c$ shared with $C_{T_R}$), $C_{T_{LL}} = \{f_1, f_2, f_3\}$ (purple), $C_{T_{LLL}} = \{g_1, g_2, g_3\}$ (teal). Inset: the rooted tree of tire treads $\mathcal {T}(G, \{v_0\})$ branches at $T_0$ into the leaf $T_R$ (containing $e$) and a chain $T_L \to T_{LL} \to T_{LLL}$ (the highlighted sub-tree). $(b)$ The disk $G_{T_L}$ inside the seam $C_{T_L}$, drawn standalone with $C_{T_L}$ as cycle source and vertex labels rotated to match the new (cycle-source) role of the boundary triangle. $\ell _{G_{T_L}}(\cdot ) = \ell _G(\cdot ) - 1$ on $V(G_{T_L})$ (verified by the generator script), and $\mathcal {T}(G_{T_L}, C_{T_L})$ is the chain $T_L \to T_{LL} \to T_{LLL}$, iso to the highlighted sub-tree of $(a)$.}}{16}{}\protected@file@percent } \newlabel{fig:tire-tree-decomposition}{{5}{16}} -\newlabel{def:level-cycle-three-colour-restriction}{{1.25}{16}} -\newlabel{conj:level-cycle-three-colour}{{1.26}{16}} -\newlabel{def:seam}{{1.27}{16}} -\newlabel{def:partial-tire-tree}{{1.28}{17}} -\newlabel{lem:seam-edge-shared}{{1.29}{17}} -\newlabel{conj:seam-counterexample}{{1.30}{17}} +\newlabel{rem:level-cycle-motivation}{{1.25}{16}} +\newlabel{def:level-cycle-three-colour-restriction}{{1.26}{16}} +\newlabel{conj:false-universal-level-cycle-three-colour}{{1.27}{17}} +\newlabel{ex:universal-level-cycle-counterexample}{{1.28}{17}} +\newlabel{conj:level-cycle-three-colour}{{1.29}{17}} +\newlabel{def:seam}{{1.30}{17}} +\newlabel{def:partial-tire-tree}{{1.31}{18}} +\newlabel{lem:seam-edge-shared}{{1.32}{18}} +\newlabel{conj:seam-counterexample}{{1.33}{18}} \bibcite{tait-original}{1} \bibcite{bauerfeld-depth}{2} \bibcite{bauerfeld-nested-tire-duals}{3} @@ -52,5 +55,5 @@ \newlabel{tocindent1}{17.77782pt} \newlabel{tocindent2}{0pt} \newlabel{tocindent3}{0pt} -\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{18}{}\protected@file@percent } -\gdef \@abspage@last{18} +\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{19}{}\protected@file@percent } +\gdef \@abspage@last{19} diff --git a/papers/coloring_nested_tire_graphs/paper.fdb_latexmk b/papers/coloring_nested_tire_graphs/paper.fdb_latexmk index 85fee2c..3c289cb 100644 --- a/papers/coloring_nested_tire_graphs/paper.fdb_latexmk +++ b/papers/coloring_nested_tire_graphs/paper.fdb_latexmk @@ -1,5 +1,6 @@ # Fdb version 3 -["pdflatex"] 1780292322 "paper.tex" "paper.pdf" "paper" 1780292323 +["pdflatex"] 1780293652 "/Users/didericis/Code/math-research/papers/coloring_nested_tire_graphs/paper.tex" "paper.pdf" "paper" 1780293654 + "/Users/didericis/Code/math-research/papers/coloring_nested_tire_graphs/paper.tex" 1780293651 72086 2cfd3ee83346bfad39a1634334bf5a52 "" "/usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" @@ -143,8 +144,8 @@ "fig_dual_depth.png" 1779857443 255786 cb48aab5aa40fc161d13a75df0544511 "" "fig_tire_example.png" 1779857443 104494 8f9ce26b469b4236b8b67829f73a5faa "" "fig_tire_tree_decomposition.png" 1780290287 372371 1b44f5a3e9f637d78ae951b1f2e3a89d "" - "paper.aux" 1780292323 6175 ebbbf2866e419e516eb77ba5a2680133 "pdflatex" - "paper.tex" 1780292317 69555 979a83d28dfdbc431f7615347bd06fb1 "" + "paper.aux" 1780293654 6357 b849d53dbfe33172763a2fcfb81eb3e7 "pdflatex" + "paper.tex" 1780293651 72086 2cfd3ee83346bfad39a1634334bf5a52 "" (generated) "paper.aux" "paper.log" diff --git a/papers/coloring_nested_tire_graphs/paper.fls b/papers/coloring_nested_tire_graphs/paper.fls index 63a3067..e5d1069 100644 --- a/papers/coloring_nested_tire_graphs/paper.fls +++ b/papers/coloring_nested_tire_graphs/paper.fls @@ -2,7 +2,7 @@ PWD /Users/didericis/Code/math-research/papers/coloring_nested_tire_graphs INPUT /usr/local/texlive/2022/texmf.cnf INPUT /usr/local/texlive/2022/texmf-dist/web2c/texmf.cnf INPUT /usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt -INPUT paper.tex +INPUT /Users/didericis/Code/math-research/papers/coloring_nested_tire_graphs/paper.tex OUTPUT paper.log INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls INPUT /usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls diff --git a/papers/coloring_nested_tire_graphs/paper.log b/papers/coloring_nested_tire_graphs/paper.log index fca0889..35e570b 100644 --- a/papers/coloring_nested_tire_graphs/paper.log +++ b/papers/coloring_nested_tire_graphs/paper.log @@ -1,12 +1,12 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 1 JUN 2026 01:38 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 1 JUN 2026 02:00 entering extended mode restricted \write18 enabled. + file:line:error style messages enabled. %&-line parsing enabled. -**paper.tex -(./paper.tex +**/Users/didericis/Code/math-research/papers/coloring_nested_tire_graphs/paper.tex +(/Users/didericis/Code/math-research/papers/coloring_nested_tire_graphs/paper.tex LaTeX2e <2021-11-15> patch level 1 -L3 programming layer <2022-02-24> -(/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls +L3 programming layer <2022-02-24> (/usr/local/texlive/2022/texmf-dist/tex/latex/amscls/amsart.cls Document Class: amsart 2020/05/29 v2.20.6 \linespacing=\dimen138 \normalparindent=\dimen139 @@ -18,17 +18,14 @@ Package: amsmath 2021/10/15 v2.17l AMS math features For additional information on amsmath, use the `?' option. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2021/08/26 v2.01 AMS text - -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks16 \ex@=\dimen140 -)) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty +)) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen141 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2021/08/26 v2.02 operator names ) \inf@bad=\count185 @@ -69,13 +66,10 @@ LaTeX Font Info: Redeclaring font encoding OMS on input line 744. LaTeX Info: Redefining \[ on input line 2938. LaTeX Info: Redefining \] on input line 2939. ) -LaTeX Font Info: Trying to load font information for U+msa on input line 397 -. - -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd +LaTeX Font Info: Trying to load font information for U+msa on input line 397. + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 @@ -106,63 +100,42 @@ LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' \thm@postskip=\skip55 \thm@headsep=\skip56 \dth@everypar=\toks26 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty + (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks27 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty +) (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty + (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +) (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 107. - -(/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def + (/usr/local/texlive/2022/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex )) \Gin@req@height=\dimen150 \Gin@req@width=\dimen151 -) -(/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 +) (/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.tex \pgfutil@everybye=\toks28 \pgfutil@tempdima=\dimen152 \pgfutil@tempdimb=\dimen153 - -(/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 + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex)) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box53 -) (/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) +) (/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 + (/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 + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks29 \pgfkeys@temptoks=\toks30 - -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c -ode.tex + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex \pgfkeys@tmptoks=\toks31 )) \pgf@x=\dimen154 @@ -185,33 +158,23 @@ ode.tex \t@pgf@tokb=\toks33 \t@pgf@tokc=\toks34 \pgf@sys@id@count=\count276 - -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg + (/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 + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def 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 + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.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 +))) (/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=\count277 \pgfsyssoftpath@bigbuffer@items=\count278 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. -code.tex +) (/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 + (/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. @@ -224,43 +187,18 @@ 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 +) (/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 + (/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=\dimen164 \pgfmath@count=\count279 \pgfmath@box=\box54 \pgfmath@toks=\toks35 \pgfmath@stack@operand=\toks36 \pgfmath@stack@operation=\toks37 -) -(/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 +) (/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.trigonometric.code.tex) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.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.integerarithmetics.code.tex))) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count280 -)) (/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 +)) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex File: pgfcorepoints.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@picminx=\dimen165 \pgf@picmaxx=\dimen166 @@ -276,127 +214,76 @@ File: pgfcorepoints.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@yy=\dimen176 \pgf@zx=\dimen177 \pgf@zy=\dimen178 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst -ruct.code.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex File: pgfcorepathconstruct.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@path@lastx=\dimen179 \pgf@path@lasty=\dimen180 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage -.code.tex +) (/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=\dimen181 \pgf@shorten@start@additional=\dimen182 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co -de.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex File: pgfcorescopes.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfpic=\box55 \pgf@hbox=\box56 \pgf@layerbox@main=\box57 \pgf@picture@serial@count=\count281 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst -ate.code.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex File: pgfcoregraphicstate.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgflinewidth=\dimen183 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform -ations.code.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex File: pgfcoretransformations.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@pt@x=\dimen184 \pgf@pt@y=\dimen185 \pgf@pt@temp=\dimen186 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod -e.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.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 +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.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 +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.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 +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex File: pgfcorearrows.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfarrowsep=\dimen187 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod -e.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex File: pgfcoreshade.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@max=\dimen188 \pgf@sys@shading@range@num=\count282 \pgf@shadingcount=\count283 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod -e.tex +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.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 + (/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=\box58 -)) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co -de.tex +)) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.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 +) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.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 +) (/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 +) (/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 +))) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfnodeparttextbox=\box59 -) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code. -tex +) (/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 +) (/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=\dimen189 \pgf@nodesepend=\dimen190 -) -(/usr/local/texlive/2022/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --1-18.sty +) (/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 +)) (/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) + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) \pgffor@iter=\dimen191 \pgffor@skip=\dimen192 \pgffor@stack=\toks38 \pgffor@toks=\toks39 -)) -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod -e.tex +)) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.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 + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex File: pgflibraryplothandlers.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@plot@mark@count=\count284 \pgfplotmarksize=\dimen193 @@ -417,34 +304,26 @@ File: pgflibraryplothandlers.code.tex 2021/05/15 v3.1.9a (3.1.9a) \tikznumberofchildren=\count286 \tikznumberofcurrentchild=\count287 \tikz@fig@count=\count288 - -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod -e.tex + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgfmatrixcurrentrow=\count289 \pgfmatrixcurrentcolumn=\count290 \pgf@matrix@numberofcolumns=\count291 ) \tikz@expandcount=\count292 - -(/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibrarytopaths.code.tex + (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/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 +))) (/usr/local/texlive/2022/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex File: tikzlibrarybackgrounds.code.tex 2021/05/15 v3.1.9a (3.1.9a) \pgf@layerbox@background=\box64 \pgf@layerboxsaved@background=\box65 ) \c@theorem=\count293 - -(/usr/local/texlive/2022/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def + (/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=\count294 \l__pdf_internal_box=\box66 -) -(./paper.aux) +) (./paper.aux) \openout1 = `paper.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 29. @@ -462,17 +341,13 @@ LaTeX Font Info: ... okay on input line 29. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 29. LaTeX Font Info: ... okay on input line 29. LaTeX Font Info: Trying to load font information for U+msa on input line 29. - (/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 29. - - -(/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd + (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -(/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +) (/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count295 \scratchdimen=\dimen259 @@ -487,21 +362,16 @@ File: umsb.fd 2013/01/14 v3.01 AMS symbols B \everyMPtoPDFconversion=\toks41 ) (/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 -85. - -(/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -[1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485. + (/usr/local/texlive/2022/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live +)) [1{/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] File: fig_dual_depth.png Graphic file (type png) Package pdftex.def Info: fig_dual_depth.png used on input line 131. (pdftex.def) Requested size: 251.9989pt x 237.67276pt. - -[2 <./fig_dual_depth.png>] + [2 <./fig_dual_depth.png>] File: fig_tire_example.png Graphic file (type png) @@ -522,64 +392,35 @@ LaTeX Warning: `h' float specifier changed to `ht'. [9] Underfull \vbox (badness 10000) has occurred while \output is active [] - [10] -[11] [12] [13] [14] + [10] [11] [12] [13] [14] File: fig_tire_tree_decomposition.png Graphic file (type png) -Package pdftex.def Info: fig_tire_tree_decomposition.png used on input line 12 -21. +Package pdftex.def Info: fig_tire_tree_decomposition.png used on input line 1221. (pdftex.def) Requested size: 341.9989pt x 196.86678pt. LaTeX Warning: `h' float specifier changed to `ht'. -[15] [16 <./fig_tire_tree_decomposition.png>] -Overfull \hbox (1.78508pt too wide) in paragraph at lines 1377--1379 -[]\OT1/cmr/m/n/10 Length lower bound (Birkhoff). \OT1/cmr/m/it/10 Ev-ery non-tr -ivial seam $\OML/cmm/m/it/10 C$ \OT1/cmr/m/it/10 of $\OML/cmm/m/it/10 G$ \OT1/c -mr/m/it/10 has $\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 V\OT1/cmr/m/n/10 (\OML/cmm/m -/it/10 C\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 j ^^U +[15] [16 <./fig_tire_tree_decomposition.png>] [17] +Overfull \hbox (1.78508pt too wide) in paragraph at lines 1430--1432 +[]\OT1/cmr/m/n/10 Length lower bound (Birkhoff). \OT1/cmr/m/it/10 Ev-ery non-trivial seam $\OML/cmm/m/it/10 C$ \OT1/cmr/m/it/10 of $\OML/cmm/m/it/10 G$ \OT1/cmr/m/it/10 has $\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 V\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 C\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 j ^^U [] -[17] [18] (./paper.aux) ) +[18] [19] (./paper.aux) ) Here is how much of TeX's memory you used: - 14067 strings out of 478268 - 279813 string characters out of 5846347 - 567042 words of memory out of 5000000 - 31890 multiletter control sequences out of 15000+600000 + 14071 strings out of 478268 + 280140 string characters out of 5846347 + 567078 words of memory out of 5000000 + 31893 multiletter control sequences out of 15000+600000 478218 words of font info for 62 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 - 84i,12n,89p,1168b,803s stack positions out of 10000i,1000n,20000p,200000b,200000s -< -/usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb> -Output written on paper.pdf (18 pages, 939287 bytes). + 84i,12n,89p,1239b,803s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on paper.pdf (19 pages, 942692 bytes). PDF statistics: - 198 PDF objects out of 1000 (max. 8388607) - 120 compressed objects within 2 object streams + 202 PDF objects out of 1000 (max. 8388607) + 123 compressed objects within 2 object streams 0 named destinations out of 1000 (max. 500000) 28 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/papers/coloring_nested_tire_graphs/paper.pdf b/papers/coloring_nested_tire_graphs/paper.pdf index 5fbfbf23b4e3208e7b23cc50f5200c206404f3a2..05300e5ba36166bda5f8ecdec288d85fc0694b4d 100644 GIT binary patch delta 54825 zcmV(|K+(UKsyXDuIe>%#gaU*Egaot&o+kt|Ffccl0R;;vf7M#uZ{#)(f6rereRF_X zt8d#a?%}rkfjy)T*XFJdZGm$<&Wvw8g~nL>x&m}M7FXlOH{hLzFi4vnN8%%rWs2!=vuFSjfB07MW%Tcz5eOl50|k@ zP4x2bmr6wce|r7Xo7Y#bE`PuN#|8I9``_2s7Xli5C00TiW>vP*2~dUgirvK@7fcCm zl$$YWx*@@{gh}^om0-3XdGT(iRo#a5Gq6`} zGNv*^8+=o3j%^7W<1#V~ck|+nG|cGf1jyQm(*Q%>@qgmx~&FQ&N7ymq$iw*gv+EIWb0(}kV*nd6VG6ucx+=5rqp0o zR?nr0q6U*zQP&*XA|yPWf~gF``#>{h$40YMg5@C(nr86;k13O>UQH(D`*lcHV7}J$ z%l*gCkhA545wqobk=Q96&SWO0>q!&}k8VTqe*-OuVUHn2YL=yg3ce4J&`is;pCCS) zg8Xa>>a!{6fLM`&>?dr36lP1rny1k%*cMuujP_-BDA(TN%6!*RGk5+68ry2K_2w!} z%B(bVbFE<x#cCP&-L7XevL&DMPFwP~-`YC+qj7?V( ze`r~n^|z26DkesW-9Dw197HDI=-#+r8x;YPQUZV3V@iM)7Zaz#n>OEXN^~zFv1!e$ zHcyF7oFz9iliO8TZX(UTlH3X}w{=Kvidpfb+~iblE!tUZl#Z%>Q6Ja6D}}i1@o*cC=qWs=Ng|(kKI;j2R5$yv{HhD_>%W%2Seq!XawZ94KN~F(L{#gW1=zdNx z>|VtP!%_K%GOtnf0HPC~MDO-pdHC)!1}{xsR7(-H4J8&1H(&?l9@uJbeNWZ89*$%A zx(o0ZXA0Zij_lk*7EaToQyzn!e>Y7A2l@8ym$}KS>7EYU$hCsXe8j`%A+7F4K0hX9#?SX5QFSNZ4S9lu%+{?IB}OB$iw*VZP_Q|_tbD6e-K%UY2m&M1%jHf z)i$*gu%*ZgzusDGM0_+yP(urRee}a^1$k#(vXC+~x>R*$rDt(ArpmBPI)^#}dZ#jc z+tm)4g>3VrlHhHlac*iJ#C&@y=Klsuh5QgpMmR`rzz91)$C+CfEX~aGHa}-S;bMxr z9${af!G0PjMcNrWf8uH?1|GKiOpK*4GMHd&n*o!52QdSe=9AFa4iDOskg z{v@Z0ISP_lqehnfxvj96>@chX=!J#ukJP3!1dUC(FWdakwDi~&ZFP5`%qZ4YO$w&7 zSPLFm>17yQLfY&MA?h=Q_$;rk9`oux`v^H?tg`9!YlRaJf7C$QRX5W{ItOLLh0B8o zj`%EDMDWi+X^9eN;HEK+`aG0|!2WBj77T~hxxC3duxq6hh#mu#(iE_ugCdkt0ptd= zdgMk^FcRVKDez_tgnau+H!v)Cqxa&CnQK1Dz%s$+G#-1~XBvuaubBv1@5e^Pa|8mOY!aKP69{QH{{tf{3Z zx*4NYcX0^e+=2LSs=7KL@sBhYapi`Z{q+U5r-;YTbgID{!9*v~FR)m1#3CyWn&=kW zZO;stF-q)!VCh&Kj&13jJn#Jvtc5Hbclh6fyf(zKLt;WaU`I$2EiOur9YVv-59ND$ zZPPXme@IjJAIHjx^?m)3hI2okkTo>cK(BOqFUq}>vgmUL7)3L|`VHqaDerM7&gv72 z2RlF$&v;b3SG<{1S8wZ(ob7V25`3ukG=2w$Q&e~ToFZ@Ak2I3+C)4lR=B^i^8=V{+ zn&G?%zDAEa9?X(qIm)`@5a9i`scRA-mH(3^e{BH!7+G*&R}xbP>UPc!xJmvIr*n+8gEmP0p0AW`Hec+P+ zTNVcwsxnYf<%|uQ;HK)@)0`Ut^sEu>sj@AJd+O}P?AC9BM}Y(=vKawqGT2G%ItK$M z?Alof_TOJR&g(Tj?i)YS$ixtJ72Wo;$!a6^|Y40F&sJ5mHYP6Gy4#$+`SDZGN}K#GJNA?86O>05!}BRuVc1(H&!+ura%f3)O0uqaOOs*t2w^Zx}?qhiwpem4j4yi zY(#VqS&88g!2%1(`j7CE6kWInpM}GDnUDR;x;kfSyx;oyL^;_Eo33uZCCKWcATH#c zi32aN%II7Ii^0iGhQ-$5R6+!woLWd#gCFutGG|U)c)yh`*`c^kbB6MF;5*GsKB&(x zuH2{f$5W1e!q<~V`fI2%IW2`=1&SV)Ek4>+4_Ny!z$kd8Ffb@ym<1moI+A zF@IlNzIyY5W?#Pf{$D@8J&(B3Dp~O4{LjmOK8gK4-~A-wvy`Pq7~CY{amr+>&mtjN z%4w5jwXSycc_gJ=H2D?>YO!nb6-`woLIgl^0LTg!YXw^nntsJ_E6y43SKMTc-=O$! zPCH~vr-O#aQqiIdcqQww(H)XMTvALsF ztNa$O0gx;G%BrLX-A3-%&p=2mr+-7j+-+8Gi{);e)fXWoS4Fce$|amgv;a_UK*|vS z&N=8f(PW#PrdleY*sMWMAt>HQxRWeETsOt7NtnJx1F58Fx_B7=MHfJfyo| z69uP+a)RijOt>TJFlCr*RD=X>gDs zwIdugfY;Kmy{hU>FU2G5xX?_Zu%Dm(r2`dq^`Yy+|k(w>@5m|xP05g=5= zrqg!s93-!S>0^_9DmHKy_kYD-ts7t0xH!ALaW@?aC0W9?zi>nFGGu?57~sMXdXj$P zH-8(@Y$;1@PkA9iXN;Lu`j9R*4^ikZkI}^eVuD%}{2ndg_*r?^(%}Q@D;y$M;F9IJ z7Keu9?#5fs52hw<24SHgucQ$F19~x^-yPp%V%wRe#3{DzL}MG(;cr zdYgZWmJTe+9_VJz3l^=69t;1+0xUSlnb(0hAZmb=cpE?uYa$%}Hvo=LlLb9%wso=G z7N}G4Cp~2U_|`)Z3sja4Y8CPXH1J=XO!#kfV#AD;a}qg{-bk1joTssddGRSDLnn+= zFE&7SlQPcvkUgJQJAcxSd7XCvz;vM+6fz#^Eu2TaHK$WFdURs$1QQMy-BDl9sT0fh zN(l%f=SeRD5vfIo{f!@V8U@cXFcv^0!HiL3wz;lR#k9Vr`vhg1EFAOoZs~p1VNqf` zRIY-K-hiF?j4Ra9?pY9m65ST!u@LOh?$|*H>SPG|WC-SD2!F}RcVPnzF@kU%v=cJ! z7I>us?3J&sy-93>QUPI;0ntIe1+xt5fR~h@8LwkHComAFl23A`s$W z9Lb~U&gEl4bZByQIu`nLEX?UxBqw7b=E!-xP7&sGERvJ4km_VCq&^*s(`g~?W3Yfo z8BCk9FwjhclYd3ZTA$2g`t%cNdomX0bWS%m==~2sTt6yT!EMZ9F3BxR5?c8)I94Hl zP%zseRJ;$nH;L{-iB%5qDu&>~81LS|z?q9cjs_LGnCjwL3s*dY$k8NS25THBGA-pk zOE#hl!^DSJT)Lq3FCVCmQ1;0g=TPByAFzgEEwFS-PJbh|cywodFc!2)G1J@}vPoj< z3YfXm9ew=vu*<5hF+`v|#HtTk63j^^WAC%eF*QCY4l+&xA*dGcOU05@w?VmEH_GA~ zjAkRwRH|rE9JKEO+}6ROuSvx{K3gP^A4A8IKsYH!2jgGqVEklXQ+zgm_rb&!k0h@6 zvc%=zLVq~&1ww%bCc&*{vBVq)1jW`HmRDs{tb(Qm!tlQ8aL}#)<51mVPP_1fi~_VV z>5x(W#0*KBI)*`O42q@8F2f8)Dj{Al7UCKCO~s~`0wz2aW@2fSQI4oBO5l`BNMTM+ zaJW>O8`LoH>up{69Dhv{D(dZML^g#h$)q*YEPr^LEQ^Fvz92CC67&sc=C(hLQ64TOom$e@MU{GdIYETAIl%J$&^m05nsr>dz`+>GpzlcoC zOw7l}mli7vN$iuuMxtjAp8{{hrO6E@*Vi<-&5F9A$JwSTuR~f*X$ai)(Kh4%Bg-iX}d}p=CwmcU-;CmVM<6w|}Z=h4eqv!NQ@#6jRVBdLl^{A2EYk?bdFZ zXp?lb!G$i>Y+RwAmiSnK^aN(ca7?E{@5LsIce^dkj-v^+;Pg>61gSejveS9edG(t&x>g;KNy-Ug{F<9|i5 znaBx<$=ZW0N)LoSymd&(Ita85o!)1oQgWkp-;K>`@m z<3T+(nxcMkP7=+GoeOxonw)FBsq;J2mZg8qfL2cgt;8!Vj<%PlvZP zmrmfP=M(s$NLV}|pRl(Is1=ja&Nmte>nee1$Zm0nC`R>x*VEe&%1&-WsDA|eW<31a zG9Uygu{yG~K&JAj)&dpVy%lM2{_a)7MdDN>s`tJQ2y>%4U?P~%a#{!U?FP;m3#ycZ z&2#1Cx~;WaaMM45E^O#gMpJFo9cBhqcl<@*T#00RTN2<{ajXwDCBRiCpS3^i@jVGi zpO9;I%bS*HS?E?FUNQ1epMOCT%X@tWJ+Y7JGf4U>@?4)mCy+jrlGxvu^0Cnjwjhjp z0+LC$LAcdG+-o(k`&$i?X{!O>-)bO*ff(g;wHin%z!Z;l%#R@ZT$Kgks<;I$BZK)x zJ4{6&>%Gmhxt=5$4{iS5_5lFfUF!E?#)O-_ZxOu0T>hS1S-Jb{{nNug@DMWV%*R<(H(6TNqGbtqPOyeL3C zGLnRY{v}>0MTikt<5#bUJo)XJA2W@4g*w z(QoqGtj@678FU&XKcKM&pbCn;tEW?IV#bAAh)z=DD(1>0Ep7I{!7wTq`#@)EhCszh zbI%M#l4A_N&425nszbSM;7ci{ha8G6DVkyWJ;c2rdx;sQ-!BH8+al#4WkptA@79@X zGRGN+?f;@tRr)nILC;mBVCmBRvLoW|?9nQ3mU+3#+FS^NcJ&L|EF=_G0U3^eXW`l2 zE0z-YHlFzTpXrMGhV9`MLs0r@{)z?TYHE2$5>ICX7k`=SHifzka6)_*fw!mAJ+h@3 z2X7D@VddH2Y0#!fChof~;|>XKx|5bcev{lzByUD(aHIIIBM zM2CO#K!15j!KuM(D@7TqCZ_1>=p${(p4NcQmZ*VvonccgSoDdi^pv1*1uXkbR)>+( z7L27lTBI@jjum+L?v)8=Ufc#n6Ocr$hHn?3PXYJ-p#cB={w_LZy|-6f5!C(^!M6uu zEx(8ZIm7h&7^c_LaC{`N=zH<0z)sRHeFpUFy?!jx}rx1`>zqTu|@uN}FJ?scWgXKu;bdneMB2Era9Iz0LT z4kA@6&;c!6Lax`50oV|u^v>t+;V{7VStdaV!(b*|v3vQdBW;%4XS00!U5HP8=zxrB z4u3PM*^>?6m@*l#>A~2*`}iO0V(XLmA_gYGcQHi_E=BudaJ8PZ@u2Ma11KMQfmSmu zAF5omHjAg{yp5ds_%$3f=oS;Etp^wfWl<#{4E?%gFxnctyZb(HDb!a1?2xo?uKpHm zrBQ+h#CjU0PtE28h=>E(*@-vH74lt&&41I7(>;7IVHqU&AU4T}N5(}Vm>5^47)>|()kndbA?KmYjZVj(g$fBB~i!GGp|fBo~D*YEy(@z2Y@ewVsQ z`|I;JQqS@v*IeVw>1@G8k~5m}&*iTvlXcZqO?|PDJe{*dFr4T48=eM_nJkeU9=1>Y znyU1t3!cr3T~`%rScz8iuG*E@((`Ut!nDdwGkUwxiA=M8o@BJ($s4moDAkXAS9Weu zA{fH5gn#K_wo5mH2Xs_P2KNh=$XwB=U1W1vlB!uS=IUYrn=5HwMPz%$iaM*>%{JO& zo=C=~s~QnA$yF8-GqN|4WMAQr*Y4KElkdfdPV$MNA*GEu*-Z9 zntv#JG9k`lk3NGv3MTRF@md25>~8zUt}5!A{krH%xAs-l{)XF0L4De46%#WiRFdZE zaRlw*JGrSoqID~4r!=q{7z!_AptysLfDx!InVDbSmd&o*;Ee_Y3ikD4p;L+d^fomX zS((Vp^qbpWC^i^UnQF8&*j3`40s7I6{eKf#dK%gZr}MCiT|-J86B7x<_3uAnHsxWm z!8RD51%sa9lGFL8UDb7E9eXpkYB&*4bx%M=qS>IWOh;A-ZcKxN$iLRcNH8A~-e<;J zs9GW;i7_;)dbMAI1Y3dN;FWV`6`H4R3GM#sW>;*H{EE+;>&WgEEY9%h?njCb-hX#6 z<>--dE?NULNGNw*`I+w9s1Yy*q-%J~KjQ9=>oeSs{8p9(nIHoF^TET&vFe1gVPi4z zG7!7ukGk`xc5%_2Tju_kE>%({u|=9tg`b)~NVZ^+&dP+M*_Op-F$4{uAqF&kYBGEI zt(GOKmymNXnhkc+FDtv#nR{gP=zr^f?ZGB1JulW^SYU9szPrc-sB0ufNfVJ}Poe-% zXQ|Fr5^t%TsN|B2RW2MipaTtqZGaiFzXX(rKyvQJM~xH%qn2gtgq1QrG;hJfFOeOz zmP0OG1Eo^^s2<%MlUOOpqqD%6!ulMI#Jpc7#>9DIAjcY+^8zXM$>um0+<#a{Z`AyH z*KDXo^FU)=e#8Ognr_=>zgw2i$Z24>7NM{diOPmh^L0Ey;15d>jtZzgLqPRodr~K# zK$B$yLeX|8bw-m+h7>GUH>LmWfJB;85~;jrb@_}nQZRr2!cVtN+nc9cTOl9Wn6h4N z>B)*rj9nC;uPeJyhS{F&=znf2_Y=uJwcSJIu4;A=|0$i?_|HCx88Ir}qPbpRBDt_R zWJ^E7B>QEzx9O!h5IP9R*R*E8BX(!tjI)59t z1@eR1##n$U>L7)y$bVY%gnNy}0O)mHV*8i-adKDt~5 zd%;bXZWeTr`0O&wX-A}0AiW;fi)t-Mj~dqfL&S{0&LkgPLVwJrT8q~Y_!xz9vT+2R z#>`bBbsi?cHxV+AUWF+pXK0?~=h*JSmkB-m`*dyseVa)Pa9zKMNLBN|GVN`Y45i-P@M)o@jk#cb8;;A6g(L^8& zCY#cDw#XBKa7hgJ99ts;&yR3VjNL3Xn~kGufR5o^kB;$q5sS6KPi64(Y-|ZHWA-8q zLr9K(EsGN!q*3c93_tGE1$6 ziarpCT2dEfm~41CxlL?Yw`m*XHthrhi|m~TFrzGD5R2zNoxF^Owj6T4Ak|Kz=nw;U zy9h>|VxoBv1n{*?1mg;kbuWoJ;HJuYAO)Obv9T?4kiif*nR|i9#EKaoBOQt$8JIeD z%x;@R`hR>qX1DQ}>y!mLHppTCMf$_2G_oPEJMc4PBr?xqQ4+jG$|OzuaMHc+ zCo6f4{d0ZvtWkg=4Nj3DNaP^=1FVlXI3k8N83^-yHu5lBW1LT!%!F|S>KyMeHf&6e z>9C6sH`_!@iPypprl=jmU+lRqmXo2w%v%VODSvx~_}?8>L5`SB@Vlz6QN`^Pm>*y` z2!^9Tdtv+8oFMSnF&zY?a!|OxMSKVNXQRh>+Ce8IPo2|^^Ve-OxMPUH+&`zAiUurb zY*rwC;~FAfuy?WORS1hcJt#NZM)gk^5&CwHEInw>#3P$CHBO0<=_HXXCO3m%MHGaC z1b^{k`Fx%j&(XrobS|@FapF&nN+H8|o^HCDQiR-Px$q zfx0oN1HZ1-c?za~PYPy}j#Of%1&Oe6cz^A>B1}*aa%(ubO1O8i2ei5Yb!gnsYr0lF zbmvW`WeNO5RuEg(cD6PE;`6_h^)i}@LOA84!ZI#NUb@d&HAPI=un`mCkrG01bMJ(C zw0J%&p3C0wV`o$xAg02!^pVW%1Ir>F-P{VULA7?fvL)oHsaH1fLQ3GW{rNl4gMS<~ zJ!AE!TCe`&DR)(U01d60+ChErMAtZ{$8w7-j<{eMCkx<708~C^ z`7r75CsF;Y4w*g)0Z=NBK~7ns(!s0|-c2jDAQ>(mER;3aMOC-41%vbA=9s+8M2ma` zRy}_M(Pl7(N^}||+Nn4S1bU-uJAYjm)zru(i-{|VJQX6gT}@JT4-F(}zDLz1q3ZU! zsp@Kj6xh3Q^3^3ZmY``4!7o1-n=Kdz5F?=Hy#37{pLHZohfq8Xfnb)O1>;$hC#U-U ze!sP~AjGwt^=DOV{^r79Ea%dzSIv58qjy5bOCcC0Y#aLFx~SIe_pp9$i+>oxgslAR z4r6jg-iLXV4{yA~Vix7&6ycHMN?|ra!to$s6dkq{7u8LyqzU3l>AkW%g-0zcI7l1C z#PMoff~A%sJ%V}y12QEh5RjS{i=}Fc@8F_~m~!HLgK~y~6Ir~lLfnJB`{gaoOWWAj zo#Oxr7X60u8f0f<@Dh}W4}aO!hnQyyakoc3>}J1Ah)y8PCR7tmlIt z`U}{pbpEo!D!U!d&aJ7(9T!*Cy6W7ijO;D;SS`3pxDWWr+F(Mb^}PI8+GG=&$c%1R zeYAyY*l`Tv#8@uPCu#9i8D-{+ov!1>op>;RM59qYWdN-6Op;zVgI-On5c3Wa4Cw*A zfD9;O*_q`vM?l5g27k7}pqM5DrNq5b$A==y0{ zS$^(LmcYD<89ay&!G3ZN-aHwlOlXaY!7(~(Q*O51-BGM)fmlYyC&dF+Gx-^siF#kv z%Vx7Jx+>I75!X$~cbT_!gKpw_oo@C^A9NE<+fm)jAypK|bboV1$7eB{#~`iODIXcV zZ=+B09DS0fq(q)@YIw%xArK~H{P;z4@pyV9ZK`!jkCf48=#kXoQT1q{l#ZUWa>7d7 z*cYeHS-(H3T3lioRWtC0NvwcFRR^ex6Q99 z6Bi56Ci3tR&41Gno8&`8`r0`{6*$5Ra^=`}MBnl}(Y{vmfGZTfZvT)g49NWUXB79%U&@e19dB1q^X1bh(#VpfFN$fj_qklaE${tVSO8uA)2wuy1YH-)J~ENa@&c~~U2KVs`>EIx`w{Yzigpd6(2J<#cAH4m z12Py?+8mHU?#oet>E-&`Ey})_wh6Zfay5w3YdNA#I_;JH3@Hma0(V1K<%By{3oIp>$w6Y~6|X!(LdH7Y2apzwjs zJjitA3p8-w_Dkk$!YA9+e=CfMBwd$yY(fKT>Z#n7+}U`Z(iXOd^S1qm$Qhxb6lbJq z!jv9+I>eKYW(Abb-Sh3$J$o~?Bw)xrdPIlTCJoFg-dTrGHM`isHNIGX**8}45`Pyy zmFfw<@FdYzxnzCFXCW;!-*0KP7=qvxu}Zg{s%`9`jLxO7%hq@3+?ImCt^2~?{kX2s z5W8V9ZDC33)n$a%a*e7qftcuMi9;f_#4|M}Z}z(aje8rbOaklc!wvgUGXzVwgu)a{ zWW~P+znE%@dr})hRXf);3I(wz2!92m8^W(H&qcfPCuR4vzDkU^{UKV(4JyM^Gp6|? zR9oF&+vJc>j~92aU{;7p!7P=;N~$225XNi=v#_jCK$i6LmZER^bw_P7V5fV{r^?tkm-N_3Y2p9vEeH6Sn`Z(?c+JUj|7Ol59obZ8(kF)=om0R;;vf2~$c zbK5o$z57@22+f!<00JP;o|;%z)9E-KSvNNanu07g5~(4nc0Bp>T@WAxs!*qgT=)Sj zci+B!yC6y45|XTLK5TC89;i+v)_JCq%`Rb?#6;$aR2nM{OWWiHef<3U=k=$@)gl#y zpvUF&W_fR)DcXEmFWu^D{mav@f6t4Qa=~*%_2SFsw;ST)jQ6_-MiPy+WYPvpa|(fV zlClhI>SFyt1gR>x(wT?52ayF|QiYimurqwq@6963m_(^rDVF>)8WTaZ95W)JRFaA@bCN~lDW;M%FswS4Z&63cWCD}#Y&Nf5-=539 zYU)MGv_|EEDYP#}?adjGNAmK|C{NZ)_W;ffHU4-{3C61@eRv7oZd zan9#lg(}jR$B$7n3dqM^bRC4`b;sH=h$-#dJ$NKVkPshhs3t8!@c z1B@Pu4)1o4T6HpHpd3}%8@s=C>z2B6y)~_K;nWNdbi%1~uMS(c(+z-%W9MF*oxKyZ9!!r# z`_-*e%=kdZ@K$uOiff6fxD@_;I1vN0#*b(P+kwkQy#sq{?LrpqUfVo6-*fUBfu&Q z0-K>7^kS+(5dfg7OUJc8nX1==ad^jkoFHQ;DOUXd9uWNcIE4d3>agEZUtE|p;D1)z zuG(67LU}14Oy3*qoN^w{3yvkBRv|cJ-tXG%Ol#`WbQdQ#e}IHTH3xe;;iw=m1#Mt~ zM@TR9%j}!vB^4P(PYb0GwtzTV`TNGM6;*%hQHj8}5Ll{dW|KBNRI3rVA z!pYn?@i5KNBg`LTHMO|^;IBG?xGM489O_26P zlZASPCc8Dz1hmd+vX1^u(|BKQZvFwg0O0$V(M1jum+=A$77{r*GYT(EWo~D5Xfhx% zH8M6gmm%i~6a_IhG&wMrF;N63e~tGAP@G%V1`6Zu?lkW1?(R--Yuw#k0t9#W;O-DK zxD(u+U;%Ppt0+ROx)P@e}kytU=NUW zvjwoQ0a!SBS-5zanE|ZK%sl@gIymzJ#Espp%m50E09glnpbH#@n1iF2vz3LV>qngb zJOZdqX#gxdJY4kuG6#s*0iCT(jqL#n#;%q?yN`&b#%r zV)F3tU^KRKVRUe|5Tv08e|T8AS^`voE5bby+SJV412X#Y1^{%-<3;NQ&wurRXx*WJIZ z|8ity|1V=>Q&R^!M`L?0D|-uoxs@#tpd=~J=<4Z84=}bj`-^C7f9vA#VQ=hiY-MX~ z@c#*`5fy;(M}_~c&&AZ)%F)$@(Z$O4uNs;Da`Vw<341d!2Rl2Uy{ik{U-^k! zIRi~U`tHT_@58mRckrDgm|9~WbHAi&kx z4e00dPsRTtI2IOwnU$$4zyxSvWe@kq`-d24{x|+Oe`hOCfG+dL_^|+(|N8v*N&jQQ z%pB}(z5dYub;L~K(lVdq73lt5@_&`0q7I$_9|jIi00S!re=~rEg_9k?_3_~MzkZaB zt^S?IKWt^}%^d(df2aG=r~jnv{_h!}{`Z2=0RGpPqQl4J0s+*223?PtgW2@si{=0G zxc|%K|KF7V<>mi%(Eo2nl5V!P|I$hW|Jz0@7fCBmpqa9jtEuJR}{50{Ub{Fe&&u{{49Qo`QU!R)UsWBoW`V`pb$FSw6G{y-c6 zAC`}GGy{76Yl;C(jP?$$A0~j0;`{*S4$g3YohT;nnY{=kntWwQSh>Z1<(k5m7L{v&yZ|3dZ; zV~77yf8^%)NBt4m@nfSL%>Kdn$n_tovwY<0@+aP32S%K5B6LM{_^)f84Que>B4z==?YRf5zC<&Dr_mGXK{_^D*Q9 z!T)-50D+!BQ@E8y2UEUK>xR&84|O8=9t;Ol0&^4xTInI?)VIQ`#IHW5?M=`T9Z4#k&%Q5)397RPop8%DSVPmrry`Amgs=n*>cWS< zf3Hrynn5<;?Vvrf6!}hW+(^oW=nozPQl5>26>AgWiw7!)wVZPBFBLx+Vl=+!1(nWI z6qw{J;E+POG7!ShqFs6-&)?q7q2*1#6U!#h!TFuVu$B1eY_rBbE_iQLsk6HD;*#U) z;1Gh}qD{2*p%sJS!y+nPLvINw%t}g!N-mt-w!0b<`!Mf2r6< zcksP{@#{TA<))*gi(juLJ@J;Ky3KVMx0oR_D2ClU zpZ8{5S>M=_TDX3P(#x=7iz5B1%;6r9P2XZ(z_4>6&;Zk#QF$`cJ|iKR9TY;Ed(G+o zRUx#da*lS!{tKuYEgb`|KNrQAf8iKlI5SBglpVCseV)tfaLn7Pf#+5%o}{B|mtnv( zV%$8pei*RGo(9uwd&54GxPW!wD$nmvNvxF_R^=gY%wvJ34AbXixuX)8IhBvqYwcb$ zOA~gX?^5riO8PoeI~+##5)VA@C2UQ3e1+7J3s9E6OmLRW;=h-WEo^wsf8@j8o@G?@ zKP?Z`oU3z!k(Z@2oQ1KTYubf#ef#7tw^B&l1=Mqc$&kNPaf;>FOq3B>48uEl~0e^>e|LALE!6M*`rfvmBp8&>HM>~7)*_H#o2VPPVQB-UHi6u;ph~#Y$teBOy`3xUw ze$oj43pcNJd`HlgtwtptbX%xQ;f;{4MIQry|{yzb391Q#=Dpybyy zDy%kIm%}5(A2UJfW<2wv#@ofwD8XT?y0H_+3FN634J@56=E%@`e@7|M%*U`?zle-g zrwvf4GhgJftx?IwN$fl}Sv$!(?Z=&W$bF;VXVuYu$wMb6>CgC7YL^+x zK5m}>O2eInN2ga)f7wT3{n}ahTt!J$W?zk~XVjpt5*-@CdxW&R(caH#i)+tp!V_+% z|LyWO{VCIGS&7~!a!x#5x*!dSD6*lpFA4=pXVi$(4UFP1JMy)=6*zjgv^&BN-fUE* zUnyr&IKPHovZk#=MfFfX(ov_}WZDE8HQUyCqd3+gxfJB34h&}sTA?pFOBq_^4I3pbjb;4W8GanZ_< zE4Pr`e^eJ8f?L~M(s}uvMxX<+(BA^623lxPo#8rmTYkhg=1Gk%)`FE3g6sHaiTzB2 zi`HO-K$M6U>)c_>gY;Xp1lp$#l4K;G616e`r9iN)j&a`Xaa}T^m@{cl!KzQNCtp z&ojZ2@x%~ue~|x-S+0wc2nJg9YY_1}!cSLgE_fKWL4^&kUGJ}U!7xY9dZR#D;TWTP;QL?!qh@rqTATBOwp?Zc0BNb)vRNPB> zf7rpiJKrPOm+tL?kOB7GG=$|YdrhXM9`pFU%? z3kvoK0P{-ORFY;GGO3uoX19KoUi$PpwHgC1IuQDERVTJkz#dk4=Q zHaP&wZU40SS{Ca z{*f>yzV;Y|X3|4df@-^s{+hfjnwq)LUsTNee13H zv`QV4CPO0z=T+O4INFO&C(z(5oZNkam5$}80#^hGc`;CnA8@?(CbF=fpX56RoZ|43 zhn;^~a~KTpfLAE0YBtIu|E%T$Vs2l>+c!|0?M&C9e;P`08*yC>e@G=-gZPZiKGYVy z$L~a{u4y1RS@E!c zb3A-n)VR_iBqBHvf9ywOLIjoZiW*Di)if{yaM&*i?}q4NU`2{^d=lo>K50yN zqhPbg@c>#trN4&zbK{OLIW{BvNfNE_oQu#JoYlkUX-AMIlfhj*XMflj9wd><@7p^3 zkM498V^Fp7V*8ybQ*>p7YusRQ7^wu0UeS!6Vn0@f@+gCQG|E!^R`g^J@IE^e=Zrm# zVar)sk5%|Q2Q8D&j>kUv{ey|nAV=U%6y=CjB2>IF_Gh< zcL!D_(Zng`gC~3q7k}OuN2~G^-HlJS)eh45xHKpxZ1}+UX^#m{#}+F z(9eb*3;K+@@ae^1If3Dq;tI82I-wu@LK5S3f|gY!rg8C)P=9;@P>+yOA%aRg|A}lJ zaP}&|`FZn&BFdzoC*LO0C|s%k=WJ7^eCeaV>>ucbjuLrQ5Mfp9NPNuTh$S+)?vyEBqNg>1O>jK{9fk1 zY>6U|&&@MCh<~OeV`F{7E|)^@;0cC1!Qms2IN9QB8=V&B}K?`q9-FM1L3N9?OLP5uZyz;4%9L7q-jj zjD0g+@C-`JY=s9a`zFd#Sg#qA$+@_{E=}ztv;})<0o&2*h7=_TlcQotKLv6M;R;{% zH`k;?M9?%|&@VWSM<)m;7?1sa9txS5s7xR}uqD$~fkn)WCgo{+)+9Q6vBLb(#fON& zcW>Tai+{HBH1DsZ4S==FTe$-C>AjHN4GlYo9~tK`E3CyJreJA)G=VvLKfRN-d2#ts z>+dga*Fq&9iDB~{`Y#7VP|9=nkEG<0y~fm6xvuyn)-HD6dYvM*{Kc9IAMHNjUJLvL z?lGECJRux13%-Bl+d}V&Yi%Xp|7|b@mM=*EDSw-hQ1W>_xfnDvj{-DV>N|D^hIKbR zCCE9J2IZ7mRRuHhNe2Fx%5=5rNsDg1y|(`6sEpH%SqM5yZpH`1#)}^)KqrZIL1eHVRrw0o;I}}z zWq)CE-xYDK>Wt{Q8zyDNMks@s6gFCBx!e7q2@v z!u%Yrq$up+=l9qx6R;6Vo&sNcvlgyW_9d{n!wO(8l6*T0ck!due*L~I_tm;IXO{sKi;6fFA7Z1PX4>R;vUbvSAXPb zV;^q#84L)(c!>sTnpoq7Mx0S-auH;a=UYy#IlJl|YsE$Etaf|*1R{(F84=@y2~a!>7SE9<8+<~FMM*kGb36b(1b+}Qw362)R#|3SQpKL5PK zz=ZiswEv=cmVi@sS1X3>KxLIUiGR*o_kx@_{^$?WzWWpE1O7s7oZ)yJ#+)PK8R_G8 zL^f%x&%+>L<+5?N{ou-64~Z#c<3w?)bZw>@JC%g$>N}v+xirKrFA{PFW@{8py`)!f zYSD~xgB5v{zFbZb9t%>hxXW2jx#ZiLk+X^g-OF#bc0V|sSoLJW1Gdw?bbqXaO!k}= zlYSO9W}_K^%ZCS55L(wK)ydnfnWS z)O2N^gsf)3lrB$?T?rr9=QHPcBxf*^7~t9D8DEp9!H@Hhb;XeMiHzf_1Zys>uP0<# zjXx5h=Ae_8#u`V5J47|5r~|gG_OW&MWlFU~_=Ve!_Ob-(IPZjN(SMIEKv2JsBdU){ zm7k&&1TibR$aCDTfJ_}H$P-_?MKQ#JaxPjJx<7%z$sanDNYu6s75dB2G|7>$Y5$(` z=t6@Bkyp7tK=ZlpOLv_DCNtvSnGWeOz?6#QiKO>Yfv_nckD~i-H0*5vi_0Bv>Rm9= z4Y=i4(x1I(Etrxo27k&{xvEao00{h67`oOY$)*FZTJCZsu(%^@)t=hgLu6nw4q;r; z@Ugvj>!=Gm@MW^5yS$@xYD7IDolw+(v?E93(k%$mvk@14%Cy?GUHxpE>tFq9P4X9B zXPbs^)(_+9s!J{W7khxKiS`8;XQtN5KI|+D=)QF?!o5woB7b_!_Aho=Z28R&pdU)h=$)Gl^!=jVl7qIAZnMLf5w6LQ*C)1GLP%Hr6;~k>eX@k8IXY znNMdQ;MF=hEq~QEvPe430X0cwtK z3-bsKpoQrPHJ>&uO2Gwr%I{|;0VwOvljbBLyhTfx9^3Xv#H)PB?J0m`VUZ^}*i0dd z*nSAb1gG$mGzfN(25uCZfjIS&N!USCkY2QnvUF9o_J3))u}R)j8}_1WjCD1bRKFEI zHvZJLld)$0lQe*uh5^`Abex0Z4NB9yIVp#*NHlEW;cpWsj1y3Og1c_5MOsazI3k5= z*VRROwMz>_7(@N$eCDvIniB@8G3|v1@5UoKDc?kx0&~MeXMG8>aYWr?u=@i}+GI z*aiJ&1%LaZ_cR!H>N@cTrly-!d6P=ifaB;Tv)zjo)oQ*qsVpHOW7+ST>c~59UIs^N z)$gqqMRxw%nMMsdtY40HWm3{IEEyklU7%wi`SLx%N`RyZLU)SE0`)^%^KjKI?Fy#(OC zojKp1t^D?_;pJ^b(S%ft7gg%h@J1S4mo~XHmZ}w(MymZq&PmShD*vq+rB>Div>EQ3 z%zwF}435}hwo|h)qg)0m{ZKW6V4zr{7o2Sh3>Q_dop};GWs}1g%ivBqZ`h&L+mEnv z)B`ud21L8Q4WQz5AZT6&m@o?;KveYk4D;Mihq_=M8($fntrt|#JaQk#sN%-X)4*o zezy+e+&Y|;(EY|Pe$WXJFXu~>TT2V~F(NYCwqxoGH>$W3ebP`j<--QDE}H_v&5jGy zfa@X?`gBEKn>qsD&-29R7GyC#%w&CW@p?Dr4KU~;goR?27hM7Gz_+my8I8=8U zd6BWlOeZ|mxS+nFs6H%ogZ-s=?L5f1Q?}C6%fFo)cf`%HxzHD}Lx|&|4)>j0m&WB) z(TqQbEVg!L`&gq=VV;_M29YSkM1P`3j2-Qdy@`TcMN-OD= z75OGeJTS`f`Q3QXZO_CG{lh7-kD8C~e* z=88#RudHNcji)&*r^NPo5|828t=!t8EyyaifQCnP05{N*tJ?=5Khbgjm6%9h;p z?q=eoH8>f0Z(Ql9k%PT<$%kOlSn3B{Ut-Yxc_XOQCf0ZhR0@lk*7pXpHSAS6H2m^4 z3T#;`Naf)xqfI2;?exJz#_x$)J~h{`8e+w~q|D-_Totlhl)HsPGJj)ui@-SEpgxwu zuqXFsq(5WV3q-igf(S9YyW@No-1toEZ4K2U@{+E*vN1){bE7UaecSGo5WoV*)f-#E_O? z<2(|GFP7=I&z-NJ)hlbS^Eakc`L&8++Kg+JWpWqRlYroexhQa?7d}hb zJg;&;iTqy-w+aCQ9fBe;JhC8{E-f`_DXnaxLwggwa_<6`)qjl)x~5G{{4*PQj|dpj z^9HV&zPTG6`Q{Kp;;A;KD1CVh?9l$IoheE@E-QU~t7swMb&H)|v<` zr(y!4E`PMom<3JR6w6RvP8-tjXOiaIYmuNX$&xeCsWF1v4v(qER@+~$H}cMMq#-k4 z!J$cxCiGdwJwd<&g?QK<5;TJ?luNxfdm-Gxe*Typ++jJ;X+lktH{p-Yj|BqZcW^37 zB7soVwfN+3`J|-kV}zNh9MGypwm@oaXQl+oLl1(cIaKSWpZ8IT64k33G4v3 zU5TYMlY-!jhk@}R@O@gUtg+i!2`4=MC#SPuE8g~SOy1KXbMTYPkG!n0Vx{x({B3DD z@A+7`;?TyPCzKO82T4|67CB2)mcTET)8pfbNO6kPoV^BT7HD4Lr-AF5PpRR~Y=8Ls zlrgkjK)P41d@xWQ{_@zh7?Pv)sZ&!Tw0>+9`(HB|`H$0Lu{CA=k`R61Aq0v#Jmj85 zjHpv%C(nNJ##94^_El03?4Es>U__E*9%0sy1>zgIHx^C6#aLP14S|Cz+eh?2F0z0U zjQ6f6NxP3Q+H{G_%%^o%hy9T~O15WMSbVYP0DAg5;+UU^=2ogkBF9>yYkv3OESCRH2Hmc_=tee|cy6QLHJH zJ?D6gohtNY0fKgajR>sbT7RN3p2PqvU1@82pp0TW0mHi)LWrNU4|}q%VZ%6<3`w1{ z`H(W=h7Bum#%&K&tVlXLzmK0z_AV7a&SXp^jPQ4T?e;Jm8w?(;o<)ExG~bCVdYri! zD^htT9TW+wFleLbSMX2GSPsGIl*pMeI4=~w{Amp+eVpjLKY%T$wEcv*H|V4? zOOJxd3V!Q#_t^_(sMN^9_vyF#4v%YN5epyPl5z((B2-ND8ei>i(YwC!v4D#Lu9icK z%#s-~-q6>^o*&H!P=8NnzjV*&zF4oztab!502BIfuvLq1Ifpi2#{Bly5>^=3c%0br zPGG&}e8pb#FhDZ8x6v=Po1V?`SqyG-@NuV{`>{wff4R1Zm*7~;2NiLYxpUO434xRt zHZV?F_Srd^`NY}njTIviEet!yiHj}#xKm{&8jcqck{4Z;LVvg&=kv`>H>yir1@{C! zYbFtmUmq;p&W)$O3oxrtlcl{y>%011mB)rG3YSA*{cj>EZT9M^X}i18gT z>LVhuIbgmFvPz|uhrIxFj)rnQW&rmgLEB~9nF^7&Om65c!zh5NF&{v02T27g?MdU%#q`)*+Z@6ck&8t7O< zw#U(3{A{B;Ia()ZX($Dc9yTqK_h*gbWv@=XZm3O8|1MbhFAO4jcH)j3k)V_bfVxZX z%!FNvnVJP-=q?8dU@@gAUj2=b2|?8G^_^|h9z1PyyBXH&duWiCHVFK8GO}gBMyS04 z8JMdmc7K$-fL+V64z%08t99;?Yz2y7PHZZkr7pVELklac$Q2|lh(d5egI#h+YjkSd zbQ8~uKIDvX+78F^PdY?u78swROdfq{*#|9vo~OF4>%F;<{ncDID7#l~-T0&H!`Wik zw2~ZUH5dFzm!@PIrooD2RH5djvSLy1Hfx_Mf3eC>U{2ckK%{Q#oWFCL7L z*EX{s=HUd~1_WrLm?y6vgV2y6Y@gb>g6>za)%8fEUhP zAxl&gO}itV5}9!Yk2$#;#9w(+WMz_e#Uimv^;azPba+PoP?A99~niVVT<3 zCD_41q&AB~oTpgz2|uf7WWrLFP57kqj%~uLX*Rq1nM9FP97TNmnUN1Wr5Z-ZLVxBx zf3YR&6emM)tJNOgR1>;((>N+1vVRx*O?x-_cO(Qdfxlo8;@UaP4R1WMrn3KVNla&% zzQsVg@2KJ$IKYQR89DolAiH#HWI#M|H#R;QBbX6l@!n!EO~K-Vq6)~5f&uj6M=`X( zV`GBtQ}4b^Dw+xn*?yXfF?(!R!hgE}bh#(tMq}>A5uL;N$5)(u# zB7Z-aNpT`GszmBG+E^SOy>W_?edBZR?AUwd68PPL4R1CeAwHNxr7kt+8-JYW!*ug< zBnEL_p6o~8IWG2j)x_&ctLp3LIf}Mt2h;KxE2Ejog(6dFs#-@PYnP0*sk+<+2+r2H z)d{oCAp3!sDIG=JN2tU6Mhy+VBzTg2qUF}UP$cRC_ae+7l0cf$Biw>f&LPl{n!6U9 z2n!u60sIaoT}n=~@f}^)n|~026DHF+ifp-t_<&aSPr@%k1c=4BQc?6n9`)1{ceaz$ zC38QEUcylcLw&YRf33uBcL1wA(KwyjOKoIQ;JiNhuL4bm&Lizd!kYM)S(XkjsFs=Wqmp70P9r9Js0XbVRk7c6`#eFHWBIQ%j7@ zYo&>{ibm=Lvp*GtGbESf^H@8ZF$PEV9;Zs3p}W8CJ#IK3%O|qV<1cvBbfz~X_1GgC z?!%1mKaj7z;; zs$U8IMsij;k39fqsD?JHyAz$)yIfGNcZBiv?xw~Qm*y>vd4g5#|I-k zk4nhSF|)rVMh*N_Ojp5ka+|a03}W%*fz%2HcSe&dPeldtbbq&hdmOF^mQnXUKkhc{ zs7^GF-r>^|Pm7C&QY|GU^43Crz5U2f)%Tb=Rl3&iDT%G+%D@+o7*kf2Atql_u5V|b z_!&p5k~Q9BN_;6ZnWh-7)?)YA)Ars=3+>S+4@KMY1Od?$G=rn*#GW3!;9Twdrr$1> zH70KL*g^$V(tm*+`5yjZxPMZ)cgI62?>s?+*%@sdJi-^w`GXxdKiUha7VVNut^}Ep z!otk<4PHZ8m~BHntCYN|3zko;O9|M(TMDq}Dz9Y>vKUUW#Z~{Xr2Uj;rBO`Ct(u?S zQ$H%!pwj;)}QMQ)(sLmuipL>fV>#s{u;_%q3;*fvO)t^#W6aY zOp0T_gYMNSJc*~-vegrsntLxj@0*N5!}cp$HA4FdKQ^oKHAo7iJS`BnUeyg0Q2+u$ zdbt8?qzEWY7%URxi7og!Et0u^M73JNMwg%~f`5W}YP-q(;<(jJY4@8>L)=-^;)TiJ zs<8{8-=Y9QS4I&soNIP~gB>Qqu{Ui$wa!(jPj==(*;|l+)5;*CSI#gJ*23(%D9oD^x;5{ zw11*JxDho&=#E%KEDu>y@nmiYa6NFv5C@Qge~0y*-@ z6>Bxsu=1g&EfLZDK&SamLYw!Z3fG`rHgSsL1b8hV%=?oleSONT>q2nSOs9ziq?>@Pfr(C!8=!y9C}b9P8QeHzT@G5S&v}SyKdDDb8p#ib zA=SkESqH_`q3;SR-dV~TF@Jj7zaVZLV%j73K+iyXgZlO1E&dLXL{E;qh-=#q61Ovy zVt>bosDX5~xE%b)?}@}seg{-y{r%qoSzno+ZW^$p(YF~NF{tk63ZWFE>z2;yd#`fi zt-W=*fsA#=WWS_-Jv}w&k*RTqzStFeXQm4bu?*zTf|TTU;FKU<1%LWXtB@^SIHhN( zzu?&7x=Vv0LJ-7ob_5)wIE1}I>|8f!O=Ywhe7_=c9ne<-;E35SMw7yg1UnG^lL>}lu1Vn1wzdB?2PFM+5VK}neGBC7^R{} zNSk`R4o!P@z6nhUqkqZ;T_JM#IMM^kNnSS+*WnV>W%|D9rFNum={S1DOw~Tuf&7|0 z^65#fL@y{70gHLQ_zq7)KK9GdW>`YA{W)kV_ypqdSwAZ+w`nQA)ix%eZ@YIkN<_|F*?*9W`%aY_+&bv-ypG<`+vr}4%|2NK!#(9lNBon zG4ckc{DmQB_IveK;Dps;Y9nZ@4GC(Vhzu7ImbUJp>9idyCm*2g_?^`UiN_a;+t7js zM85Bq8rddn;q$ccZtXQ$>OIfRvZoHAbQ5Qli6zY}WrAis*Q@x1r#ED@mn8dUe}{;r z@Hn4eX!cZq_J1rUm#<{Cg0iL`Pc=_Z;k4Cp4bQ{i9*RCC814@*pexKXi6<63i@6ME z-v`a*LNaNcS+v7m8^zwu=upAf7@JKB>jfL9gZeFGw=}RQ8`FMUM)#5+zMw(fF$^ag zROR<;9$(N1I7%3>u0U{e@@hyXk^3lS;49+yg(>Kgs(-`iyhDna;S5>sJf+ut+Ln;@ z>zI&$GIK}wXW-FXt69qqt~iFqv}gyzJzgv4>%wqIL;o~8M*&D7fa`FLH;oi)UOjE;Zn*eqzpq+*d6 zwF1*5k$(cg()asAZK)ehx!5>}qpvA)0eW^F3APKO1poftl^$zv3wH}?W^C7%ig5J1F-5ZW(Mox0i=14+ zmVeDVFF%`Jri5J}*;#{2R9tqNl0PST^yme&B-i*b9QCiLmFYZa1SPU%Y;CW}nm|y) z1}-^xjuV=&xXi?=sS;qm&9D>*(n*b8mGTIY6?}c?EEowvB>$n9=Q}YQd&iqdR~Y7# zQOakVFb#%fWKrTuxsoUEo_G$F(AlE5D}UiHsSF$;qRNXgFnZodxa1h7t>i%~-A>Tc zAg|S~VNoT45b^wcuD9VeTbsr}Jpo+6Q`Xz{BbGYSpikljyCt!5jC+W#Wh6AKO%+8^ z?o{HQ>?Q+3ARe#D&dE_5!``mz;HB`TRQ%2}!=v1P^vK_FB&K&L zz;FH;N-O;gBEBXt+4oxrIA}n05{qpt-gX%bQ$iRdWrz}R$CV!#N6R*7JTUJ7y$ zZMxj~Wp8pk$4Rdx{2oC|en=*6mOta8RSXtqOOo?F{KXq~tma>u%zqE5y*=rr1g=2g z_+-ynx5&zFu0vIzHV>{jD=rHcC|i+Wj^EsjqcP^kzdXwdc1wt`a9X=Y(C;2?K5@i* z;K4G8s40c=j?I(x1f5$JVh}1sa$cT!cA!4;H51~tl|IB`+2Tsuua<6OX7i`=DJQOw zx&97rzH(Ki-e7UI?SFz*Lr2~`l(iQ$Sdxl*JiZdM(9eC@pUZC|>@`Y$MX5Uk7jscwBjH_HvL{6!A6VBAF# zd6sSMklwf|bm~#=^*JrCYQ4_ldSpn$a~+2PU$(evdj{9w3wH^RkNeHA6{C0H9GSB8 zmyE|tz9()m3V-j+PQQ?aa@0&5ubXb?eTU`Q*0eLBbkuBAth%5I@OU3`yX1OG?8-|G z;d+WxA0N1a+K}(tD(_};$5+a9k5T)XXwncEUnW8&Y2=-_m=X0cR24Q~i}`L6jZ_YH z1iFaC$qJ))$#q2vEMcKD&Q$2{iq4ch#ZAw3%+{FDH!W zfWTtE zN6~NRaeqDL6ZeQ~5IKV`DP=0lMB`^J?~I&NmEgG2-!pe;-)p#3jNAFO>$BrOwTwt5F0%o;t7u^;&eDa?ar|sGj0hx+; zDNL(ocnd6_Ql9TqlUQ;BBI%j`p6p(We*BWbOPp8H{&lXG}YggpG&RMTE1pOVQuogxP)O=hRkq-CZ@CO|Km6OjpI{njI=iNNeV zQv0U-z#$e&N}-1%RRvNdfr!vqL6>FF>LJY@Cr?vOYDbWcV|K>ruNVlgV4KK5-rO!q z88Y(>5&$29G0edSl1f#_I)7;(V%Teg)MrIKvf+sUw*ere`bup_@X||c2-nx;14j!) z$AF#Ga|%RN7cX|n?)>q&3T?Q$-{!(Z^H{Q^eY%87)`(ZR!`Z~*81F%EQWC2-_>0we z!!`n*bY^OcZWCGyV(!o3EAIhrMKh|zytu{se188P5VIDMLx=;P7=Nk(6_}?WX%Lr~ zg)U@{Bp;6BOrY$bp;TF2&2(%?X4EMU|M-I;%>&`#l273q^w)s$w50SahgnMm&o%=w zTQuD2PaD%e&mRXmvTfoa4pR#@w^wgi*+*di?9~}QmMH;{aGmGQQ1=*-<8LZBx-Ib zCE9d5yS_dO)TXz7RUSg6!$9x_gJyABks(-Kd;=9KrH^u4cW;KZ&aO<3*?E7Z1%AHr z4vW~jjI^OiRcAV1d8l&CGU(52LQW+u6p_#~%BC{}NdWBk{(sh`AS1WHJON##j36tS zu0*9AB)D#sr0p%5fwJkCD)CXXdC>elsY z4#N7$YK)b;7ORJ1J$#l1NAsffICBo@-HjD7FeeoxdwdCgH z%vqhbpUxrqGh#~q(GJI6?3Am3kDus}s>5gB%6@Y;C~imiql+g*;uWOWZzR)^vYA2hz~06%Iu(KejBa!`=PW7S&CE%N@64WMaV_* z6h=LgpatstvjFdSlR{V*c@z1+P}NQ+iC-Kiz-DRe!i2DXVpIBbbp;ndnT1yc%MuWH)ZPfE@wyrAcK5l$a z7t;XLsTT7d6{mNL6EDj>(&gE-L(ZvbU0B7J`;+pJ`+Hu^U!wF84wngQ>rD-tgPT8C6PudmO+$Yz(LF35LvK)a5 zCKnG@_40~T2GSV=*>|=zI2#{V)}|J!$5H)Wb$&nAkI~Tft6jk_r_!XcOSZm~ApZ~b zQULjv(M1jum*y`D7Pk=R3E~@1lS0 zxVtah-QC?KxVyUrf)m``T>@P8K9YUD|F62YsDkxO%k(?bJqt3TuS&FnMz#jVVzxFw zT1GksE`YGCtRy1?fPsOTj)8#*j*Lv%9B5_ypLIAgRbvN7b6Xp(e|QKx80!N+)1=;>WtTc z(e@)=-&x<>O5fna;qTJ*0b+s*0R0bz|JLVd=wNOKbfj}MxB5#X{akNZ8ie z+Smr@2=`ZgBIXXph9BqdM*r{2wY0HyvGMp1nV8!cnfxWg$jOdg#m3y;$yie4-##Bp zaDUcJje!7G1`c*+4pxA%J;2!2(2RfnuML#l?2P|5GXAyvp~1_;&ejfK@*%_6%iP5H z;}4vNqrS5-0O;Uk?B(%K!~YT-BO}1b+z<#bFg7)}f%}vFW7*i`U;J_Z4(6@^O@@#5 zV+1h#_4D6P+8-TeWNTyP_Q(D2E2bCGP*+tJq5ikz{~CpaY+V5!w9HHZS|)#11^^=i z3kQJxz=@ftA7V;}_%q=YIb?n$lS^L|5_!1`XA#UXk+@((zJ{$bPO#2S~qtTGj}yM z`f3g|H2YWE{A*q1uYt2Nw=w=|>uCPh6Y~+p!0>-;A5&&%`SFZ6e)Q(QO!|%=BM1EZ zBL8CJkD>bCIz(*@ZH@k#J|z=QE)OpT0P|L%Wo06m?JE$|}* z@S)iYU}Eb4_t!$A?|62MNu>t6X{t!EWUic4je6-#l;snr({+HMp0Q6#ih!H?9 z{)awxkp4p-JIMT@k1X>4C613QU;hvjfL`$rF$3t8{tyd*UilAwJVKewcAGLoN{+F0PG#Hwh|Cd?+vVOcof1>}oJ$j=*_)(IPu@&&24j(y; z|A8NZO#Xo%icJ53AID_=5B$(%@elkc-11MUA4aQxy_o-S`KZwPzsU5lnYGg&>&I}@ z+x)S9>}~T;>xZ}9pS%5#VyEu_G}pH>GB^2CGV8~A*?mm1?H_;DOdnO-{iE!UZ%TUm zf8a+Zhd+5g&co44-_h(J4j;PyS;xl?&i}v({59CGaqdF7qWT6fW za8PtccPm~gD|3HYx=ifX0Hc_WMYo)g{bTm};*G~{Jz;|z%RMcj*r6$*LF~f&J?LD5 z#{(Ym0&)vTo?5aH0auB`Ajntz2$UXJek0RCB{F2sFLnJ(2`=OqrDE(-K^<~kJvF77 zGMIRrs;AqEz*d71p+)-eG)ky>FXa_Pj80;LXE)2@j5{{b}YBee0Fm_?A*3LDFu^ zbN$nszny=iQzSK~h5{*QWaD|?Dt1r38p%4NoK1qk+P>5zqwb1QV`fqwdzl2}50P4B zt=>}v&8abIa-^DdDDxGsat5~fs-rS9BRZR>R;eJ-Hy#W_7irvkxU;~gx(QUfW;btl*;9nKi~Rc{ur|D0AYr6F7=CiK5>6N z0ZRwS!PzyqLzaF0#H~8hZOS&BKL`)T_lxHJimxq2-dBpnT99GlRgt-Ap_K|_#G{Kk zAG3dL7mX8jE6ChwZ%Q_CS6%?w%!?L%g(4c!A46dz;3z&OvO{q5wlyb$a<&$C?hK)$ zl-Cc2j`RCL=E*IyDK5@UCNC19W|uDEyTQAy?x#y3Jk`RD=OO=b=%#BmV!|_Qu-&Gt zjJ{3%>m%E5Vvh20l!1wbWEVzE*R3v*a_xVWvl4uFB3^fwFe_PcgBnRl9cK--j27Rj z0!&Mhpt>0ix>_@(%Je<;y3C?V416eiT{HqN3^mCaED|s4)Ir$Y9!=rUQ_ZlInuGGm zA$`2i?A~Z+j!hPH0QxTrx^RQIRxIwSM>mHyiZ`3x__|TX0@d|YVD6sDaY<_Cbj^R9 z6O_@zX&FMnO3@pR%u_Kjmbo-Kkp}VUm+s@OF#7Q0K`gpLP&>!ykZ7wfLzB;p7u3_s zsI#ERr)rILOk;MonIbQl53!a-t^Qj@VmR1$AI)y zlr<}kU3c}>c)PmWoQy09BGrdgKcjypq9$K%BbNLEXcH(Un!^zDZX*!CEsB%fO+rBTR(_>F(gKg98d9-Fi_@myL+ z|Bjv|wQRAvUnkSOwIi!9Q`$HSlb~!UN07=+sj!Cl2>4E2ylN{JwKq0nBDi<9vHZ3^6b@v zwm+RnSrg0wp`yFnwd@!pdsK9pTXspY~vUd^c2;#I6BnqtJDbC4LM81{wMK z2CS9Iodh#!8=C8H-Lu@h^IqWpa7b%+c3Y`7)1m5>kp5Ncsdc-g5$1y4h$DMaz)VBc zI1uj4>P1&p#992gCWn8RO~0c770FoRDBUX-ob5Z4mvjKbxvpvr=45*$^vVQ%30sf% zco@UArBHn6(3{mcpG*9@`Z3S8gho`&5QM8US|_@f@2(gvX$EnI0R|C8qr0Vuf}#PC zyM7qy$fB@iAj=YdR}TB0rE(UELXav$&vYh4p{#$l4wj<$fP37pMgdWU zFi_ae;P8h4_hY{>2&eH8xtJzJ1YG{_pr_cUV*W|2Cmv>P%Ss^7{CPFd8mH76LHCM+=d zMCUB)eCvqR2YY{HV!N6i^M>P8Qflrqb^x*=R?o^3cq2A5Z*Ca_#wtTY@4p>`1R+*4 z!)=3@2`4?Z2?5pGX}kNl?yY`na#iF>IEmu(DvSb+!F2STVBEvglAy;^V(y8g#a+HC zOZ3uU;8u$!Y_9g3x%jYdaCI(Twf+(k^z~F^&npH=mI;5=zcp&zY+ZjgSyY{;xE9nY zb*6%AxiwPSeCBVXt@TAqSu~NPTGKSa<^_{Q z!(^VNBnVI+n;qAp9^NaT>$XyC*Sdu zXdw9+WB3DL;BOWL=LR?2tSJ0fXy>Pguszu2)&etBm@l!)7@V;y zqOD*>YVxME%gGD9k;pX?M|S&INcs{`1jH~}?uD;?DD*S41c9O!s*oO8jA1v769LM# zNveM`uQRM}YSNzWzB4yFDVLthO+e^E3n8PUAXVNf_g~D*J<1DG-W~gzbzO~b^UQj$ z&be=PHVy$Q2(qebWf}K$2k08Kz{9lEqngS(CikrQtGK`-kPtW?B{m>qqt(EgUb{j1 zemF=@8;Ily<}|)8W!AT}n>k%$6j3B4AYy-!iXrRi58*9=2!Go_R+M2^8Id2|f~nz6 zKCgpv#rQuJVE{4_XPG8LuKP?P6v_S*Ho0}n3z;kCt5IcB)88W<5&M62Lbie z)PNJ*h-!YP1+RE*KD|Ra3@G(;?@Zo{aj1esKHi)mEfOk&mjR;>k3HaO5yHF!EUbSo z0D?e$zmofk<7UrHGCHv_Xglip!NuPud8W4|P}E|wlO-r*F^OAQQr=xLQj$O+x!y3CnRjW5;`6BT4PR zEh>F`hK^kNfkD*frR(NZg;Hg6+0DP_0G%pDgX5QuhZ=2J7C~P5a9Vvp3E^Yti?Jtv zf;4(Kk*z&I`xvZ;x$(dbLK=7lPhK@{*YVV=XCIwMieXKN)gwc6K`2ED=CY44Oe*#H z54;w_`FRS19@=$PJ{TW$|JXQPv=o8=uz;nIS8H8;X188CIkWWUiJ(ufl0u zzMMw~x|6i+UY6c6(*g%)6@7@~;=BWYI^||d$CQ@U8Lj5990s#-j{=T5pC4Vt-|6Cl zVUSO-M5H0rzX-rlT&a0>G)ZhIC|uIA_BFI*w5_Gy_kjtS z*x!Kg?G-%^F}R4J5w5bo=_e0+^HIH_ ze|k=)B7mWr;MhSAmXf_A7TO(%EFUl0SDs>Z9kFd9no@U@rDW##h;q}R0)ula*%PqlwR29@&$8Xi$P-lpNw)+P1wdmoN$QY(z<(L-87`;S~Lq8m6 zz!RL5u=;BGLciy+0d+K;Xqz#aiyj#BV+efbw1`8T3^mMdvSajQs9E-kYc}cG=CzO1 zP|5cMmzAh2KD&(}DSUfbAc!cr$$M7>c9w*L8^I^G_`9||ZbHHfRwO7(ily^9wB(z97UfThn9N*)G*mf@I|8kbW zw1!;y+k@j{xs0mw>0yiIT==AE=s-oy;xd|To@gGTl<5(DO`47MD;6Tp~^{;ce zs-1%rNABy>$JQRsozeYrK&qUHt8_yY5RtUn37mL%U2dS|+&XPW)-ek{SxHF~q*&?G zMH)83?hVwcOJ?jC zlOL|&b)r(QkuW}?>V5TAdMD(SUVG;kecG4C&B!2sucy8VD{#;vWr8KuT#Tf5U9e;B z0y){%P|2&X4}ff>0@KTN0DONCgs)6c;TReow2h^*b40*^ z0!q2ho>K6X@3#_K5V%knUNng_&MN#OJe0oU$rsv%8Lx%sN$r>M72E4a;y;H`dlMi* zn$wj@4<%*qx7;E?(m60$=wKdQzP_ceM9?_KVy)L z)fs!fq~01-Zxf`!BLHPWIHqeEQpQ3(r)H1433V2=XirNMt zBbE`Digot~dEXOIUa3>6XXH8ef(5;QCb06f;J4g#kZE{bbt8MrRUq4AdN%Ud+5^! z4>@+y(n)10+YvL52nvwzy9sojVQ$a*(?dZ8f%PQY(%;7br*Yt2;gfFes3$Ogso0w? zB&Kv96?ks37@ZyEeOm*RLF-p6=UG#X)E%FbC8BEsj4ajc*!S$+6lZvb3AS9}d2eYm zokJmhi%(&A)o8SyyBns>-BwT0QksKZS*tE=P*ljIC-114Mtlc-bC~3%uSM=AXB1QR z64k!yV9whpQ6j@5mu+#2D$o#rE=+_qc-m0;09;08T2!|a4XTL7e3XKw#HBf1tRdaK^X!y z=iJ?U1Qiu5^Bq^_87G*1uBcL+`diOP;lJt|CIPhcc2jp0lJ1KJ>iRr5tn!w*Lu z)ixK9iebi?#D_dWD#92s?11YO+S2}&`X^K$cU#tgk)qY|dZP+(6j7gqmof5w4F4sl zp_0N!ADLDGFLd+5#gCcl4J78V&`b-T_SxsIq7;om1 zg-+g;)HUAq0QD;RQN0B_w_@CsLs}d|_ne`g$Zx^+*1cFQ;BsQzoNE|Lt%Ld+B1O8s zqx<)QGK9;)cSrjW<%%vde>R8Z<7=4&axOKE@PUrBIKYl+Sz)7pj1gaCSO}OjbOxfp z3-i3zxsn_gM_vKu7gLC%;td!T{&mXTIYk4q>6c~O$Y$TvL%wh}#GQd*Z^~3y`FObU z@5AaYtUu_9$G1E!(@H6fu}SH%)}_k3#Nk^u69|Uydb9BuWbbTA%kH`kD_dsbC zb1C?Ws3xCbXG%|hN0?Yc%{mS*+B_xcSe<(H6uuTbEcjFEU42hcP#A7HqWBH{z>>g< zl~k`&60jcVk0HBJZ5xUY!zxat$Nxi7Otutpv)}h^e!_Go`q-|=WO)P32K)`Ai*<+* z*{GthHSSD$-~>%m2F|U;9=1WKr-`&*;0t!>7~2t%+Q}w=++^&t=%=P3$<_1da2%VuK^--NNNu#q8>^M-t_ z#!xPXrnS7W6{$awI``Wqixj0Tn+9*dyt(;39p@hEqpx_{}D`;Z_6>pL&1yy@`|VHX)T* zue|PmPWLa39&Fo4cIj?Gr>FJ8BmD40AaynI%O~s;=xm(n%Bz0(q<6gk`r1G>kicU6T?~74N>&oO*!xScrMBp=yVg7pdR)dc(hYbN7n>H^FHP_vo(V(1M zsk3XXY)TRUC$683unDUTj~FFV74!zud3hx*A&r~so7M}~{GLZ;K&$gC- zB~F0s9QP1Ed3eQi!##zST9`}8`EX1h0fok8gKIn zzU^0Oz1vqI?<{eJV_%Di`H$Ye^$=UHg$5$WH> zF?Xq*^3C@QDf9tjBgcy*^-c7jvSyTj0daE2DV=!z=QieOhOsp?{<`{Ta9 zV(VrZ72wXw0F$YqlVNDik55rBvyQi~=G>q5xhyHsEjy;N`Sb%;+0FezR@qh60QZD< z75?im_ap6seQep!3qRz}RfXrMl^Y^;LPx5wwDstz(ULogo7D6;5je~EM9t%Wqc*2w zS;R|S$hz)PPY(dvwe=fT4WIV-vQ?!ZFg+rHB(lAYf;At15cmMRoqq);iK}i-^pqxO47MIt299>+pIu>D{`_e= zh!rtfVw=oh{iY8P?|R1-FIwiaBTK_J9Ipw<#}5htbEyO@#I?RI96?MqXMyUH2+Uyg z&NImp(!T4n%#8@>S>5o%>)pPT$K=~d7&d3i3a{QQoP%G@|^oNSF z`}jC&oSDqQ3SuSnedby*cbMa+z;v9`x|GSWB~F^%hPZk6P zm!eONP?6mb-BH>}c7$kuB$g4jqUVMuRtOHX$f~oojR8LF0x_{)1;eQxX|BP(X1^fq z$AUYzhfnA-Lt;*be(K(^iPN=o-YLGJwvfBZ774e%c0byWRJ6g~;KXqE)H}88tWjz1 ze9%TwsL1QJh9qn+Io_R5-f-cpQ8KT!U}0c=JxtQLcCL+e4$G#08I}+g=E8h-_iPu5 zcIf)$LikJ6$FesB+)!vN*y1xuLB63;-9w!~4iU@f1dc1$h$vRO%<4jz)XIcQiAyQG zZADda%%^fLX^S-<@2^queQKAR+y?3t*e?*S#2gZE<>Hb$uH|B0NIQf;Me=imda)k> zFDkq*Bl8CoGIytcS`IMCo9a%@ZhNrV5Zx?8P%I9vM#x=t=+n+G3%H6mJ6%reaq+5- zlYGXS=FMjezn@V^HUkU_~Di5mT%qJ4yKJtZt=U zag{*N_P@w&?y(?Lcm>2M8?XL7K0Yxz1UT; zBeY)ww5tT%nNJ}YqR*TljL$D;6$@j^&x=JK<8a?*uS~04?_#q9iE}TmF@n0(u(A}Xwml=uMthbUu3h$}HNxJjr zJ&gQ+Hk=NLMGhIfE;x6#drAF>t@?KaXco=4x5V6fKA#}Op(H{{@@{MqFn2_QSFGR| z2zI0NOokUgkX4o|hoBK?*hK05tS)Fdzq7|wIdg!*#9vDo{UvebwI0=!iASean zvrPptXto3D1m^SiWN)1J23kBHHEX*#v1=-SyLrmne?AV<`D7H2Tx%wKWRU0dEF$~$ zvj}VE7nbcMECdLfpWQIsH|C5sl*=!Lj3f1o^=L7CRt49RBDA!Wuauh#has*Y=*R&B zM@^{8Hd zdi)bg2AgPQ8Lej=OAXVuHeB5zoJPA7rArBLB17X$OMUkJ8bSlDu&zEfvyLKO{yUMd z{Ak5r2rOSs*3T-gPzWc#!F}%Qh-RT!-PC70JJ9@c=g`KLi}#x*u3A!!dGQo6crbJ= zUWTI9Tz>!|3lAk*JB9qh_eFXRk9_ZcO}26tm!w7Z#o+xpM0#pf$dF)}t*^UJ(V)Su zCEpuZ8Qy87lJR}BdwtALj(?UTbu~nzbTuLGHLG82Tl&M%*YL$g7g5Undg~*<2*yCgh$t*|8yp&T`w4a3GGI< ziyfORY9Rv~5g|3e&p21~GKApiHFUYw#rN}cFT$>Ke+QMH|I7ujNoVIC8#-<2)u@@O z&ZN$-Kk;-myefENmgm_K-ENwP%y!~fr&nB@f~X}&&NlKD9s<)YU@9Mh$nZ?I&jQG* zb@2hJuFJgff?I>u;r^UgZ12HPhaHGRlGUE{FX>>Xp(YWa{dCCu?hZi z74QQTCTF&W?SU4qv1};%d~^hU-l^e7(p$^gNFD})YgMg7Y6drtuj(nxJgr-Ayv7w6 z37>mY%!bNqJD@2dy;&$Lz72@TPaPrSn1d}Z-0ahiDZrbhJ5pSK#-u-g<*b_m`jb_yHvrA@ei(^u=ZhfI8+ zDA?e1o1A~lyo2(9vnaqJ)DQr z)~Xmy8kEcB`Eu0i4wvtRC(eDwB-8R;r42=+6jp zMA}M30r#A9K_V$;6fwPnD@5cuvhH49pXT7oQFH_Um^n6u5!RKVG3xqIFBhL#Wj_-l zUPMZZ(o`G*d%L_tx5{#3T8EhJYg?*GaQTRaANuR5jD~vx@HTdTEOxbQ&-g7ypQd?Z zlnLra*KU)Ne62N{hFrj>K~3QGMPSQ>pjH^GI?qfeY^xd1JZ z>Jp$G1rx`2HmV?h-f9^(B?puFzQ16@+^{!=0m8w9&8NrfS%sI-DE~=Iki&?8yN4mg z>HDw4m66(Tmc^R}h7=w`bcUJCr}F$v$`)M}h<@VP%gDXEDvyynfA-0J_w`6;M`b;I z218fLdE^pc;N~QBu0U?O-0WNaJt9us(Y@1!VT`R}O1as8MMS!cNm+vpv6Yf{AOZX< zChkeNY<&8JaQTo1_?Njf`y+(bEM8O@f5Z^J&7LN)Ubw+e?bz0~>)7+bz- zUxi_rAfHOOIy(I58Hddf-BW8L!e6>h+kG|9gInFJgBw&+lE`kYEme2lqtSKSh$+6r zqnrxkP6)5IevjkLQ&jc&!u}<%w0r6r+^6OVcm0Pb= zJ?)IRt-tx!LVZn72Y+c}{Ur2St8+NotR}H{IMz<_btNf!MdL?*VrdBkUnw_OEl%UC@~Z{ncRZyC z;~I}{ZRa16d{CU$9yV~}jkiYe4Zj)Q+|B(+$Fq7p48_ZJHftXCkDJWQ&p2guB%*FD zc*l5Psm#$R+*MR(+3QpUI}*fU(rMwGz@5I_Rqc-!Ok!UK4^G5dC3#?tYGM?*`7_H6 z;1#=nY=ydD2g`&ov!PFTpT^J#CD=^5Af5$n*4b*|ZH0^Wdu7&++&|QwGiK-foS=;q zW{kJ+kw>dxlE}Syt?e1D^evEywJ*`lCa9+Lz_vD(-SdumT)q!^xkYx0zNTU*@tI%g zIb}BE;p~FqVd_9Z)yBf;xG4Z7=we1S)lMFNaQ1#Kl5TYhj5F<4A+=EVMeussp9W>* z{4%sU`c`p?XLsU*ispUIB^$w4%)&Gp=?;Qk@wrVs(->avY04Vr`?SPxL_@UG*LfQ$ zy6y&^f zGbOhMB(<9pzywa++*k@` zUZx+|6ekx!oM8(`)`ji@JlW#a&!5G6oA3}qs3wgP~c^U;o-gT9ws<~Cq#hMHkD!&9p_giN~_dHODj&=Ml^+LNg z;x(TKv%1%&V{}TpI(eQ#Px{$^MiE}gVV_%%zv7oKoTpk*=V=sjxtc3B_kK%u1!P?p zK0(F0(sRz%M|ou&gIJPh=_Q5(GcSl)VXtTK2b;vIlNkNvu+dyKG(z4at>GoCPTTg6E zNEY2PxWrgWQaYC`?mWF~d53o#nQc;5aU(#cpcnr3!6K}>7w|HB>k*x8z+rZMNU(vvp38X6h57l;*Y^2& zX2G$&eeV}vYC0u_z8rXe9f=957Dq*?+pG6V&5;C04mcHmy*tNU^xc%Jo-MLSQX(8K(SmB?qFL@H zit}GDs8DLsYhP6LDQ|tcE;3`DbJ;SRVq3F#*=vqR4a?K&dk085`TMd5(w~HdzYSi& zT5w$S!Ihv}-H`2nCUQMLPv5gTfP8m7>2bg3PyLb!a~AsDyrU=M46+C&1z7+6mr}rI z)DSnmIO5Le=ZPeG8icy7c6NbRbe^hfhZ}KJ&8DiU?<(CZ-Ai|q7Q{j&@f>{3*Wzk!lrBUXK8nQ;REv7D+|BfVSJ=`KD zH-U6%8L2udwAF*z(Zvj`L;jqwXChnwg=Yv>3ILi(^Swnc&FIO);|!dPf)ZK`&7k9MzoCVNj$A#t zQixfz0Uoe_0o5iQhGvTPILX!ARt>^)u4+um1knMVNb`X1i^KySlsME4X7UETjV4hK zOT`Lvl2mYZO2s!U1#4T}pIDng^s+_+gjQiPu-~@*e(ibXZCB-WpFPzuJO-tREv|#~ zs`oX|1fPm9!3eNR@AcdYKnu@MFCX&pB<6_dlA2wAoy-z3`>6%k?B}YNfbl-Fzx5_r zt)mKeUTRs0DKC>x)QIV7p)fP-23kQN;y^ElmCt={+P_wx&)-G*V(7Q|>fQ33RtRc} zSNVJ3YqQ&Tu_`>cjVVYCQoX_V`pi0QV*cXEjbqy01guZp;K=dwPFHInc~&!X++r|? z_`FGfO&Y7My5+w8V$QOt#-TJwYMX;!!iII-Ku&0GT=|XgD*-5}^Apl%{=+DVg;`BE zFTXIq(a`pW0L^-kg`mbn;U@xIuAvdvA?Zpy1CIJtq6fpCC>v-x)7OHaayyEb!(F!v z`*WHsWJKT`?t*($R|wf3Q3zn48OWX4S-ePp;Nir4s5c^O0z$j>TR7OYCo6Y+8P;g{ z+k3J?ADsN@sul-sjdfF-f_6QfT%B|@<>7xv^mIxQWFatp!$6Um%(;vJ7CgcB5Ab4l z9cAK@8vbsyR1G`>|5Vkqr8rH$wyJNj>YcNk$c@pNyBG-pNj!SLTh|cYg?PaD1uC?E zoUZ@6(YkgXgro;5=YIL+aNJm)hlR-USB%ED-28qVt0V4?uG6m}pDcPSV*wP4daNn! zLtqL<5ZkMvV#S0vF1ZHjl%0`_L_$uhKT<})A*13?z(OY%E!Ldunpt|qts-2G!P>@K z-CO+wD+$1vp61q_u11?va}(C*PU3`ox&9-2GuG0PEwf9D0D{VNq7tX{| zU-%hA%hUmF+WNAR>x|M0Ib1KH*jPYO;_&PlNE_a*nNB@3kIH6{4deIUyqAw4(rpzp%Cx*WHCg#}$j+n-iRT8YV9#RE(C>F}d+bl4Jh09IBwX2<@ zXWyD3W}U2kJxCkI_3Sw*k?^;olCw%Z})QC9-xzn?M4-M-#B%eXPcikr4Bg@Gsfm(3PR1HGpOodSx8WULge9%L+ zEg52%Tvyqnl+{Gf#OdC{q|3b!;PrEmGuRhfzs3U9(@YT;@A>+$CLV^!x$J9c3z4Zy z(O#!nSLmd?Jlowu?4e&cykakhrM~!QS507Yk<;v7jq@s+ew^2La-Qqq^R~ zrzmW4UQa25MrT8O3S}*1Fd<3_lgqWKt zkqo2yEklC1h4qCL4dU+xK^A-tB_8}?6)2lVh&!}MP+z8{?I^7BCV2%F!fCmq47vq< zhwnk9FeBkalhqh=9EWaVUPv0Nw3c4H;=l=fK-9M95!{X`O`KEH?? zSG>%_^^3nI_Gq~;P{KXT0T!T&89LZrWKB`@ELO@$>n^ufj zMLo-EtbZvnxe2)s>T2|gG=C}z?)KH5_^iXy=<~3YV*XPI;$VBoG{P>@uUsq0;b{e{ zzV_F}uIlABgoK%XV4xHW^3!Fp9xj9lHje!cMsbO0Q?mi6{`mEHEAAjNikrTrs+`lq zFvDDb3m6n1YoGRaS&eUNViRUHi@=tA)+N;EVd2ErP6Pa#k|wLSZ)Gt?>c0Pn15d8}I-tfljG z^m)XwEgA&661sbY!2hQ-!sP6n<-WV(7QA6@6YahrNR?fU$d0nW#z5q27|TE+(eQGA zmtEj^cc(@l+3URCiMvn9Zp1?16@`wH%T&dB3xBj*Qw!T1Q2G?EdUQMRz)aWchAuA= zZ?^t8uS8OMO#tU*9c+bW6gD&VdR}IKp7ezLpy}69LD%lK0|%Ud%nYonIYS-;aMA>4 z03)eKD92f~Dg=|c%H5SP|ZBR!=ysp zlVDAYS$c?z=E3R5h?dKg>EePTm6%L}gIc(LX19BL>m((W0X_h)Z!;^UO_!?qG&3E;>jBX8{^Fg(oJwLN%Wuv;vr=7TiwKy$8+&_4lNY4da>gDqrD76{SMqKp5{ z6y7_|Xs?QZnw7gQro=XL;X&qqxh#56>AY)>FJ7YR!k6#bTB z;PRpBS4rmfL}}yf3DSe2Kohs($kB!1j;1POZy#(UX-8;H=Ah9pOyA{xa?tk3M!grY z4jm{A@epVv8Y5;}#uoo&CqI@vUTa^#!%rp(_^!*8b!?Pv_gB(x#OIfP=;ra?=NBi? z2B3~}BrBWKFoZtfAgf6e23d6n9p0a8HU-AhT>Sh8y9;A z3U$bquArW!6Hvog-wREDfFog~1UffUle=@g28V^)P4CVi`KB8YU3#K=Ma`>$0cORa zo*3>oD;ZDTL!S^&;JbA@-BNxxL50B}AxllCm(4QTzgx6K*R-BZO8j2`fwTL1Po*U+ z8Hi)=9;N8pI>91@riPLiNpCp6)I$mt0Zghh%aMBtQ9rnq+~ zExgE+$Lg9!nZNAjtlb|rjQb@(oJH zhh(V`))UG-5DEP8WQs+o-fp_jxJF7zp0h^Ds*%BZP{Gg?GdhsUGZ43)q@cq0C;trP z^7yA!6Z0Qk?r7Xs1t2Hvjfi@ z$9*$L%)P-8VwN$B@STb8!@~+a*bKDas0`-}GK{)JD|t?{#i}up3r2LT1@SS>Ugq5w zYhJoAT%C6tI$`g5pWsfP1&2>^o#t@cm&@QRZru@ork-fIZB-HNQQb(JY-EQ`pV6|! zz^00hw`WnK6^;5F`h$y>9af*YY7}UmBuVE{z+ep4Oc&$Rixox+LBdjeS$Kw8`Qc7D zF@C%+&q1$GgKXVI$amGsHZbuZjB>r?+?PDL=osrT!3{y#EEd)q``5ntqa5DU3YRq$ zO}{69Ft!7hOKjl3&lhm=Y5K=k8^xctN^u{~OE~sGiyP#Inbkoh?5MK88%#_}tSt?# z!>|##rKx#|JQzl8uqxwjOVS(XmSomTdFfrOS4RM+UIDPLdJ0E(qV+ntgZyl(NryfZ zqKl*X-qja+2h9GFH;}|P7FnhE^a@&H#90h~2m^A9U0(<-zTsdea-+rdxm2Ww_szJ5 z@V1b#ts*6{EITw0G8+=+R9wgM_Wbxlr}Qmd@C1{r@B)PgTqj4FOae~NX9;b1e%OBL zHxY3eii}vX&7_(WPCAs?3c^@UxQN7fFm6};%!xzDVx=8+-~^^K^wmM;md82T>{}dv z=)BuK_I7qdjYl=7%__KE6&}Cow7*7z-^p(z4RBM3O{@dH`~F*4#Zj6{V}D*Aqkv&O zl}NCB61q8Fi@dC{7B(fmG=e1xtvS+)YmBC?EhqjWl{u0`(YNg(H(1KRCPU|L=9LO3 zqyuXCtymudyJ~WkA^r&Qv%-CSN-ao#;jLtwvls_-x-L^530c!^!^bndoA5kpLlP|X zTABsJpU0_mSwaJICweoVZhg|wJ3P{|$u(2s5R>aWJP0)mZTht^pys%K;eRdx{eDTx zH{;pdo$JVzPbW6Lv|dMd-AbcH*|uNxujtoF&flqy~BZ43k!nA@{lusrnSk_ z{hN%R<|3kux4@4`##O~tyPGz4wP0x&aT|7&1w6+H=33TJQ8`1$0;bF?ZG&SgBh}TJ zDfhBnDd9d2TBf4*?Q>+rs%+DW?%9Cd*NnbvG`HO%5T#_*-1gwace9BhdlyjUbGy9a zOwHQ~aWCGr(HBN`BW7=7Yy&-i2J9RezlW@&r2SnVTH%tCou~oV<>#M0OO+OE#^beM zwt6#8)sp+F%RQ&(sRiv_1fY_cJmpMWTElbQ3d3+LdSv-UamrA-E=42Otr1(Xw0_Q7 z5T%!nAlHG(A*e*aW4EJ};p|sv&E5+Qe%HA?>6+Of!2<18c}P1arNbwsluCqKC*? z`0e|A@cixu2kIAS3_X7V_Xuj%shL$utsxKH-TH;MkRV202EF4cw2{r}BIbSgdEAz{ z1D$yUP8$@S%C8Ue!o87yb^{WSN<}?=r<1(}5u(xrMfD{z8J|rNWxv~6-95%+C+S;$ zR^*gIoK1%1z4qQ0L%b?Qw@-DGYzWFen;F z!x~sJe085dJ78!g`k`9~R{TEAKKhuQLXE#wcIe(-Woo#0mnH)zrD-ZA@vHo{Cln4$zXUuFowI7W63TkJx&D6x?X`gP@6sdWpgHHA47s zGHBje_=~uox8;LJXQY^P!^+*g&X_QUy^`9+_q^_A>Yl22_oDz;=Vt-R%x)_kJ|1It zQ%XrwTZEJ6&c6g3G3SR`+)*ze>-w^~jts;QqNO^2*Uzn)!rx8<9i;y=d2|(yt2X) zH`L04Uz2elU+Tk4TGIa$p#on0Fq1vx`hM0;B@@GcclBkG5Fd#AYjOzsZo_tHa{*7C zd2*?QUvx+Qmx~T+dC98xls3ewBp;)f-JoHVg6|5D+)VQs^CVDIlP@gxVn8S(+B2 z^i+zpWgiv_TqX%iN48i$rSkZ-<7A%hvCDUVC^N@axktKO(Us|M7N{ngseX_khO}5R z;t%$5qdBI9c}MZMb89wXhkLPz009L!mMKxoeH@HSV@+6`;94iA>n$ykqc_T1dPl4| z8Qj4$_75#8!fy{^=EZD#`fotkjf8lGIM7qAuMfwEnenTytO5nW5O&|N($`a-T50ir zq0kTRF@wyRQcgr!ul?Q3TAO+>s(sL*&83BuzxzEWDvdft|( zmIonm4@a3mF0|*D5DAnjsw7r%o-vrrKeribANNFZJZmmS@Lpysy?zoHs#|>Ks9(ZH z_E662jY<*5DuplyqDrU_zb#rj7`}vmOZ2cgE21Sn*F2|<^EtBk8IrlRz}E$7-bL@= zfXE5Q^M87RRH7;$#jx5OA6Yx}af(a}FnE}QE@7Lxb$Z~N!6CRm1Xga+-H3RCmC0Wd z$#dHO6n71OSG6BxW}UW-fcAEv6Y_UDxVXKjGQ?5KyxiVu>4u#1a6hC1f+Y1Hm;2iv zZyelC6tvfN|1BR?G9`c8tCF6cFlv!V_B{ue(M1jumu}Ju7Pp0y3b`Ve!vqTzw^OzX z92}P`BnuU{gwhH>GM8FG3lz841PfCimjj;*7q>wq3m6@jHo*%Ow{AfTmR*3FZ!3(P(mpfhz6t@cE3kN!v#*qvawCNBkqnnAmrC>u6}O1I3?&?wn-mQex5L;Bh8vd;Fbx&AUi1t+AeY;O4Hmbs6b)b- zm!!Q76t^TW4Y*X7ecBBbxABAxvpAO);|&s*P__yLx4OLz!W@@@=?xQ?P__yLx0Bip zf(Vz`?hO=|U*-+8x836nZvvO%@eLEVU*-)X1DERb4HLJO=?w(~m-6=w6SuAG4J-ne z`uYtOx9;u@^a7Ux{tZxxe+39A1*qa%EF$2k0MiI`DA-X7ft?5)n6Eu76ADlV zuAVDG~Mj@&SU>bS~a+W3le+>W&#H$fL zP%Ujl2p~o2l!kSnDbg7OduUkeJnpVxg%`L2q$Irt-osANv&aQhBkz$i1Fs;Q#oeJt z7#LU)42VdgIz=G~59ldlw#hLnoaJe zXVnZ&Bn=!?=i||{$=BjH0Rs+%?W6j<1hR^WqTDa$)4S?P#MpA8E7D8=IYZYHM#kt|Fqv+&azXz8^7HAx zsxwAt{~8X6TP+%x1k%{OPegW6L|Xr!pOT!t8!PnyA3I7df6;#Q#Mg@Kq52(r%=3@b z?zMy(#ov7RptdJ~TQ4N~Bt zENNp@hjJ*pUFszssBN)#KI8X2p996f$LQDn9^j$O z>mAj&f8J4z{;$`nLEpGW2{1q8S&==frbD_E*K-VQQxxUx#h2UZ#cAI?}?_yw0s7JD0cqA$hPo*#_4Kr|Vc?xfu_w$(=`aZR3ll&=c=sM6I z)8@Ew%X=B<>(nL|GJ}D*hG=kpEG`GnK%{~wp?P@MXjK3a<7!o~@S7COUT1BItFt3>uQNFaWnamTcK{~Ao+b;FnXG{n6QDR_~e6nVt;8syfPg0vd z1wIRI(x_5s?}&>`06s*J1~2KgqY;g_{K#z)w{aM+>YWGiNP#!fFpeih@n&ci3Z>K} z7i*EzD&S0)PzVknf9Igc#K63j+7Si(#$(C|yWQ-#bkra3eg5~A3 zfg<~;WeuL^P>bI?XqQpzqH1u@>FCqMBM8_E+^p?si$tMQ13{`Z5`hZ|LNk}2 zCn;HUP~2~yF&Wgy1CVr|7}EK$!5eELuYM?uwYRC?Ry^xq(p}YE+!=(^O0QKbjKKiN zNVEZ|^?11Ze=VyRxB0lHGiu3XSTatj%}#iZza`B~Z3Z)M$#7;bFh7R0n%+D)6mIiX zj*M5o4FYlNw~}pcdJAMmQ=2%Ko8zIDjqo~cnx9}dd(e*D2F<6CT@tgMZ7~l?%Wtbb z30e>hx?TpsP={J+Xlmj@ce@pDamgxjQVfnp(A7zje~)7gB0dL{TZkx0Es!Hx(^CRF z)CMh4@9;}{n*5c-9l1?2f}*$pzo3RQ6yd}>Sc$s@Nv;!2i){L|Kg}@$WyCE*%%5tD z^J{3UFkPojFte8T%IENiXLledR%e2$wU3F9xOxKr^UP0giWNC>d zH)s%qU0AvmSLqh%lvo##kdkzlT3TsEK}tZ7W@$k{LXeg&X?XWJ@AsYW&+otAjkz;t z&di)M_s-m#1L(LFsl=0D^88G#pXcMs=vfWfDTWMd_%qDOn8Plwq>0leW+h~xA%!^I z!myMl2cW$#?1YJVVV&0kX;MOqv~4Dzk{^w7S$yyZctHX3j<2{IblV^zf0k2`ZdcSyXisi&L6?6M79t23l z&whaMMqaU4ers)L9bcti(O%!ovmqZW`@ZaD?MjQ_KVIc`#y`?8e#AA!y}!J3JUQ_r zCNwUpskmTC#h5RY%X9>&P8R`5_*g^x8t59P@l)*QeQieh8v5jK0m(n^aDoIix{8T@ zwk%u}EkKftKCl>9PYV#mbUP!NPw}-|-h*HUY*=26dBOVv7dz-H01)o)ilT+EN`rz( zW2k}MNpx_Pm9he%_H(2pQYY?f@ioi+pBh zYzj!r$^QI~Icq=dzI=i&^NT$1hEN%3kf~3EM=2jQ49$T{rUR&BK#T?yF!K+b4^YA% zpLoiSmGrOw?2oHFFg})ZRpNp;(1n%BJSQbHW0A%im#Li0r|e2iA$?u#ZAz^B)$wb+ z5~^d7$;=}NX)}qF4rU5o*-~xQWFa4!l)Fj%t>dQ7aLd)4@M)~*CT-O_YN%026E$Dp zy+z?D>Q|+0;Uv8nBcG64mQkw>YMu85A`OfC!^Dz?m%8Q9SUG(e;qk{xy(x}C#?N(X zhY+fN2fYJ6!@l+cMDv@&xm>&!`K%~sNmghXew=PcvUxrX0l{2Nu^+q{ecm=wF> z0E(CPZg8d)s2o_MkR08nI4*3_U$aJ#}d$2VrcVE`sCqHf{Mr>^=iCw}&m{m*%***|90-bzW{h8@5n<4jN1o zYuJv8Sy6BcPygIx5^a8GkGbLbGhs08QnXzocTuCt9Pe9Hlthep;9A~ptzmMD7pXR` z3PYFrN6{gd{U(Otb?(lB4rM-uzUwTIP)U+C7Xr0NuHc56Aa?t=bExDEVMZ@g zE1FDQZuNiI%4`RjO1>3??5dZlxV}Sy?iezp5sCmZyz^9|9}aB~OJ6%3P4MM2tmuQ$ z2lGj|vBmER8!z%v{z~()$Viai8ClwWN|}SKj5vsTVhZ72J1l0zthDs2?SDZJ@&%Pa*I)kYQNiBS}0 ze)E^%NxKWN4^KKH@p0727vD+wn-J2;>EP6Aq?`mR{IydRYv(BO(+RC7T^yosE0d@= z_PZnJ{<_jY@9F`NA5sN|8kc8T7@vTcIxeMhAtUA}Pmo9-TI5${wVxgRTew~GR&)5G zM}7@!O-S;PLx_$#LgAkAXus*4fg#0Hd(Gel*X`x%_&whtWU0`0Iy{doOMmS4W|Sq4 zkN6P{<8fg@^~umxzJwcy#)D>&)ZSalZrLsL$yIsSo$}Pqp0hYp)DxXlht#vaV$CG8 zU1te9A#>QbPnx1xQ%dbgd$QQaDSB6Ff$En-Q+12Gicg2ir>1;E6mxY?6tuM<*IxE0Ri|lB#6ezDv951+ zWUJgI#7n+gVeMhe^n5k%ab9!j{*KSzU6T8jrp={1TpY3DUddXo~Fc&tK zXnX*QMb>8gzzTEv`~vvMuS%suq|yZsS;(==Gvj>8ZP@<9Fx#m&Z8HpVO0BE)Oj8*v zv@EIhc2J^wd1~n_h`i6w(qaHvWXo!AbY)=)skBDD-x;o-$v0xxBVMG(PfrNA$LsFh z%R423J&3dYdFgHj7Y+0MO5#pIgmmhnpv4M$DALu?a704Ahg^i>UNwhd6`! zHM&;XyPNAMJ;HL@c^BOfdWp}|K0j5$$34s3#_^A#;%{2LROY^qIC&o;s~?LFL4|c* z-T#O4fzm+)r>tfpM!MlCM*lu1^5Mj)b9Fh#i}Oo&-$=$ToJ?y|89afozdyYtK%U$y zU9+$SE-sD++k~W?qWxPl$N%JYqUFOL>2Q9l!YIUl3f;+^oYn}? zDF~=09&dq{XItBh#(!=Cy!A@s&$O7ii|LJHV*^!r#R>Hs&6x@P+r>`jlpjVkIRW)| zA0Qb{&Rq>uGp&wwkA1$}@(mfPzK}@VV`cjCHk#I8+&5Ke$kqPf_}7c)r%W26(Pa9% zU%Hm!ifxLYq~g!G2vdOXPOFImrwlZSFt2q{IR6=S0nIe&+FWfN%Zy2XH3Yi0KuwO z{ywWcO0MQQ@x)M@TePPAo_CUIk4SnyuND0>6133!|85Uz0ykw@_v460|0rO(2 zPd=1AyH8s4*Z<1xCK)K*Au5sg4Suk!TK?{5=AZk!M{E8vxoH!N9AKu20JDR=t?|13 zca3Zdh`ID}HfnO~`QlRrV<9c05tS-!1jo1Pr(E3<`#x%&PwoT8(cLg#gy2;nNjrKA!>(SERMTGeWH=_Ucs4pAawowDg@fXkRz=+`Icy>)6&Vr+zGfX+}fi zba9VxypxEz_VTRp0q4!-pR~>6JftpPeHfPaF&zXx>%646W?>{1rlz34jjv@tu)isy zU;##QpjPphv-nh|yzQyBc}~`zx%*|&UpveZZ+hqIDW>Jg>}F}lbY)41d@bo|8%oA^wC7~j};mkCv> zk!Ny`?9ZtpDNBrw{cRcZa~|q6jS(WScvu5@VZFQtEsidZ?P%<=UyWuI9q$xe`0|96 z=g=y8MqS~*kp>hHz+6Xv{;x~DkPpC&Bf8M<)fr#W*OKBU1OQL!FzkS7QXD;qsO1g> zkdon4#Q;n=9uT0qPKF2IPKx^nOmw^xlOyqw;nrdQE6Nr8SJWa)6cJT<$Z#o&fPp%C zaR3z=&Pj!63j_vyCBwZ_Bf<+9pp6W-q)zOd2pj9-(hYT1N&spy5^0o#V>k^R5efGkW3M`8dF$NUB}MD3ii`0S7*+9}qWJ_u)? z-2EIGp|Rz1%QfzC(Sy=ZuD`!_?z(@mbS+6Sadl!-;hGBo+PB_!xzBq;z_U`-n*l-@ zuPR9MoQ~QlPgPWvHZ8+T~w0{C>tTf6(l=Yr=n4#J@_3!0LV z@0!G-L=c!^#6x&k(y)0a6iU4tVRGBf`Mz#8#5UE-H;~;gR^`L9HM&~K=#td0mkPvX zz*wm7@!87EV-5Xyj_xMwx^L!s$?F!&9d7@uiFSWv&3FTAP0Q5Qt@Q&J%02|X_Yb;2 zeGDX<7`=M$BL~N0SDa*4^wwhLV8qer_yeXKk7G=;E$Sfs#;xP$Y3-@$7^V1AB`=?x z&nc>m!K;Tp+a4I0DGIk6-`g#;Fs0(dc6e*aKeU`}7iR>%*R z$O2bU^vvM&Lvl_uI9;y)K$mDi8m(4<$!o92P$K)U(e6}ijp{qv)OF6v30 zJs-JDMY$IT5b;c(%+*C`r5CBo!<@{9X$%_Z!+yOD6%X$n`lzLz$Q z3N29&*v7pKftJOPZXp9*G+y-Wl%Vte**dLd8(i(|l-kjU3usTuV;cOOuKZjc*Q~l@ z{Rt`0gKW4AM!MeAc1kV#C7#OM{3x`R|s=;6~(hxO-nyj3P73yJAY@DPs+v_slC))xRhRS>J=|cBpb@$|-9rHFYmzIRKX8vr7WUmv zj(=N39^|i~k=Q}3I;BUb4;PEh$xTTu1e&El*E)kJFa*v(cWD#_X0s-qr3iSH$wBjD zJffnK_f3`HwaO=~Xh;1d*Yr<;CFg^{!#(Iq8zCtjZs9V7VQ*5CiUT` zNLK;3BD^aKj{?@P%gJNHw8+S zCk=v&{(igiG$N+FU5Xr2meWfx){-N$Gd^EXswuiTPy8`A!x3@druyebcuc)1P20h& zF`Q}+Bk)FJciExzCDn^wEza;b)zWrP(Q4y%Peq-g*R9P*Mt_87rYMd1Jy+lBILu!O zn|RWK+CNaY=bC`pzXiAdl8_CuK3Jt-_{fhVjn()a%F8Aa&=Z7!*fb873_Q9gEvG1#r?yLFA-h MGy($Z1{yT~0iTic-2eap delta 51403 zcmV((K;XaR#5tF$Ie>%#gaU*Egaot&o+kt{I5{(yFi`|3f7M!9ZydQ1e%G& zj~I1^aR0X!jOgykvv*sucvYYM9sYIObbI98Ci!R=e?Tc0jyTP=KcMDB!C9qpL^u@= z_@=tLZAv&8<(VRQnrCk~9lfO}u@c$v%P*>?%=b+Re{XQjvURxv`DFF>2L3i#-B$am z-r+NzeV~e7T$goIZo^_mxPVC(9*1QtE8;_ue_jHKve}nkk&Q(jcg`6jPDOUN#n)FvYSn@E1EDazZTn@O&Jd$#>a;Djpz>WHgQB)AYHfMOSQiaBtK9lfhU`l;qMo3 zehq_7e;KAXEm`JDYJb$k&dw2|Oh>p#372r)%ht>0J{1E>V~=1z@Yv)*m|TKcX*rc9 ziW*E>WNm%htWv_07EGlV-siAl;x>|44wi>J$gqkgc(jCDxfm@fcI%X`z#U|TzBGF?ylyJw!`*9Qs%`Q{&11+%re~c+bO5$v93)qt>@F!Cc zPo^LfVnqtPTX2=6FxeuP)Ml4pTWDoG+m-FUTt|y5i)|Z*g^xclxUR0Qqq#C=iRNl* zt{ZrcMh!%MPMl8|qFwI@FB8UN2;&pmxrmEc;9P_=7>ZGcP|Cxq_i3k7+AcWI(qYwK ze^PcR2pc4J`H)fy5E%p4{pf#nwn~uX9Qbp`lmH{jMnQ$vO|iQwF}$S2CMD5QJtQ`E zlHAlpZs%#aG3$Pi+*VO;>y+FC(dh=62nMQpn3*9wXDNc2^i+ zShm0R*@A=az*4X4CKcu&5!1ob9!v~*f6Ca2;Qjem2?~Zd)}N-m1}9qw4!>Z=u9nDZ zg06yiZcnuab&@r(!(OBbK$o#G95PY}=wgV`-;=HLq?HQD-0VRsr9fAlY^9g!>}l+T z>vZ;z+AT(lqP?dm0=5g`t6$8&14T8VD3ZBBnlZtvBnnV=;$b(p4S=>oN(azle`7En zx!QM8eixzA+IOA~YTq2uKJcW?L)xFG%bE6#;*Zw;RZ>^XK3e%F5j>##DZzAjWdjUH zqxe3?U(4pCHcmNj)KEIe+&iBNmssJ@IdRpVzUJ}cI3g1_7e z97j9SQwx~|O=ZVCCL^ykeSm!Xe@n_TI7DxDa$NW}RGpT)JdVluq{hf41B?NnAmpgB z#TlCw`&6oeOze6qzeupEfK`4%0f2+iqH5=%TphRx3I`@OWswpXz(L7oTudUseJ+xy zjRHgzV>VF9t2*#fR6ES$iQPd6vfI5(%2*3~U&dJEgh50OK*&%rjb}j#f3SCAW3GuD z72hYF`#fPNmN>`9$NnjmV>ub%^ND+Mn5K%&&{-m_j_D)9IUJMKk4iSJWD&ZhPTP=W`%e}-EyAx z0JNwPvZ;1$wMOqV5xwF7f6KE}FG3Q<*!QUw9_Cd+dYrI|Xq>8S-4v+JFT2R=9{jA> z)Vs*LZ-J!xK;WgC|7nE|3fhdhFWSK0>TVSpRTvPU5@55gOl-#ZlG#TP9K>!;-?7;M zfG<8ma`b(uu%@Z^MJ%wnkF2ds9`Qp%7RQpJg#o|$iqm7xju0d)ZMUS;^U?;R2i z)#gDZ!P`pWTC48me0?bAe}Ju0afp}!4u&wGnC_wDB&;)HoqF8ir|cWb#<=SU`|l1%BZKIGz9iPVz*>E)IQ{m)`49MAwcw)sDum&3noH_5+Z@zU{#0Q!V=6x z_tEB2IXce8oG0-hVdBC3qaPDGr$WZiIjs&19Rwwef4>98x&B@;%mz3XMG=6YIV2On ztwdUVtRbwRg6@Ot@b$MF!3cSZ3?)K&4b*$z*POAt4jp{Vi3ijEkf51Pp>oYzkA?=`Nw1K%n2F&Z41$SAua0 z=VlGUXnzQF+HxOo&}|zKkw_O;mXq*V(L{3di&!=D8Qh@yZy9zd_F-mQw{cG}VU}UD ze;r)lc|sY0wkQ_k9INhF1ARImO>@khp{AL_qlXgBcga>SPsvsXGnN^?!TE%d)}lGe zG!h0HCx58%JQ-skdTV2%sG~K#{^Pd#yi|a@Hf3mNZ|;^>Akdadj2%$&!2xmHg+Ck) zz3_15;;>Wie~a!#Z0dyZ2(jRw^|so#e{u1?TT!%e7#egqxJ>nzLha>T{9r^n8!aEd zvT~AzhAK|uHsM0Zx!yZ)yzP<+u3DEd&hFw$1m*ak-^d>us!wHEI3LwSU`-ENBJ z=Mgu5(He+KWe z{6d}ih)!whg=)83vOu{B&+6NK*^E#&od=U`5DRD{XgYX#_y`A_d{@VrrUZLxx+t@c zRT|2ER;NX7;9=0kyylqHC)C?4>$)s2>)j_vg#Hsm4yXV_b;_5av=`=h!6faxV3G#S zInqB^FF|2CK$to2YWgMK=v%mRe~$!`SX>i1e4+C;0YR{4qN6(nk2kQU^d%F7j-h0N zxk<@nIAG&@B@-3Elp_<{OcFx=IpFh%7`XDNVs@q2q1FK3mF)niieU$*CeRlr2I$LY&=;T1 zq3?`re0kMB7ENPrYbYVF-LeKA1_i_5{ee&@h+alN36x8J$s@`9$B+HhJa68<$Z#a$q+GIq)N~!y^4^+|jWwC=NbDeur2}*L9$af~a)eXjl zVI^yOe&@zgBI>{xp;>>{_Gror#g@e`u|lqh(YozeUtO$(7R$mtcE#svS8UzO?Y7t# z2iLwn6t_2iwBEEF=aubnZxa*3%B0NO9#zwuu&H*p+tRhy_iJdL&avW|AvA}R5pev% zAHVMy)00u6DGS6GJhfs<6w@;cra;@4ly~b3o-J=+ja)2`H^qPP88+4Osz%yyxoqlP z>3;o$Ju~~+KDC{Cgema?)rHq5fPK@>;39bUjSDx z>!atYLs@K+JJ&=hHCSty9ExMvq$nkbU^BWZ8Vb%GR(PzR4^2tm zz-5YPG;mB3Dosn9fq5KEWLxb#$D1-`f3WmU1izS{z=H}1=(YJPDoH0!p{O_{WEd2C(N zvcqY&_tmCs*5!UvxbtvBH`T^3q)rJ%CV>oUifww@_Qm883jusfTmIIMdc-VG9kE%K zpU01w6DG645%(nC?M)EP{9<9W1SinNN`r$nAzFWuFc3Ztmey;9=ShYsIT#T{`{u(b=rK{RT&NUtr+-#Ey+5hM%tjaa}l`-GtSx zR#t!T)4Fz~EvkLBzfQRq=<291bF2E6LiW6>7mg$xM4xlrSC*akW*ZplTAbsDRajokgz#j{Z{x-uvk+iW1(@sJe2ahFv7gyoi0^ zM|B`a`2Hc9J;YNznMLo54P~~+mPGJuZc~5ij7^=dr|nWLxr=?u#p6H>tsZqv)B07- z>sOUe3a$`&tYH7&4#SEy$QLo-8TM3Naqvn9g{j=#9-Vs2q>IfLzHjeu-dtp2X`Ot5 zM~u2^+CM~hCwSTOx)IsNxt|rN$3vta6JtY!Lc6j5kq!bf+R=lfWyq2~I;cC5f0=*i ziYd{3aj|0BBze>a4rel{p1=WsN2O&^b!KGXJ^Wt})v@$?p8|sz0~-X-PPYP4Z^ukL zD0=n)%Kw})7DS1MDi)>m@;TUY@8mGiM|!}RgA@f9pC;u{f~{VKe(PkgB^VnnK0Xwn zwnl0Zljl8=?j5lvlCy+Jj|SJ@lLU_^ zz`-43vAKZ!McO$Ex|)CW2;!?pkVziR1JHDx;4C)v*;NdD(5(q&v1Vzuu4W0 z1YDqMfDiK?Uc|gB42`C=AQ4Zq6*`zfqGpxG>QFY|C9Z93fTKsu+qf^)esi~OfA$Xk zNY~_wIBbWpA*1&h5){4Y`Hp1~KvuRaw}`&L(}&MaA%mk&>A+%JG+8(_86?lkrdhUj zav+<+;oWhhF$Ow=1qQ;I2dRJKA%Z{1D?k*iok0;Tj5x?EaEf?Smd-2m+42V@O>sC@ z4y{+qV`aS;tr1NuM=}luxH~uqa~X%=guE+{X`{#V2`a*Scxq-*wh&ew(vF^DaqQ(H zlhSRhNbIlJxQ|Jo(?CQR81S)xPV2V3Ppj8ls)4@`Yl9&B#nk>;apsX+)%#J%s9G0u`m0(1ILI8A6EW?o_b$&8;1cs`&nISj@ASLpoMs&#MG zgK(eXdP1k*^@HLOh$PMf`O2PY1mvTK$fWni;efVDi4fp-nEcC-p5adQ8Rw&N8J|y( z8|raS+vp)e_{HI#f>D1Eppj652}NkGemhoExr(=PT{*OU@8t%TlWWn}{vX?DD>D&j zpJ@x)lZ%z662GT#Oz`ey)@k=!i(`6aDyc?ggP%%#GeAK1V*g33or0?9B*2S3tRf_N z65b9_H_ShyI@LJcU>l4NKyOK@jbx5xD(sfr3gUo8)f83$HcEfbf&~u}*ufqY!}*Nt zZNb`hAfw}BIAT!tZ0Vd6=MiK%Cg@SBdFwwlcOPA<8Y28Lmr3FdW|Ar*1iu!Xgu&c8 zpb=$x?R%3{1qR}(>^DWw&eJEe2Z2I3hwLyugY2;UNsyhP`gzKY+q3*pZwUy_UTsno7x3NVoedv};7j@)fNcnsW zD*%m_WpjC76AA-dOt-!F>lm}?8mJVKluvEaAz~3dlWu<%DXh=aM|3DAy2ZJLYI?f7 zKx+Mp5opmGdZU(ChkEB)ZXBbR+Y4)|nWyj8{oFv@w=SPKBa#N+nG{5Y>ZRA|P=RNU z!J{(HZcg&3er$v4Srllpu7Nk2W8>&%*)kAPf#_eC;kOaSG<=3JmFZYFPL#p;?S#MH z)J?0Qa&3Qky{Bf%{l;NzwNI?tMe*gfDqW*ORx*f^RQ@L?0^P6pM>ZRcDK$;48)$#S z;CNMEtuUNi*+{Z+Lp8`im=-^!aX2q%7yY2eI6C*D%UXYtX0 zMo-ar0n0jP2}w|P&`1JP%SosS_?l2!ogGTcK`4I>OY1!8Ht}4fJT66vHtcD9YMULX zlBrUj*-X;RwCv&2{=tJ=4nDAk`lCzbcSr$ZUJmdow~jWlQ=3_f-Lad2ta$F>SY(qEO;pm>by78@g z@Be=UHHX*j2lvyayglBmQpbP+YsZP3WKMtwUT((Aa=8NiIa-#h`WXbxI{)vT4G>eD zxe^%f@j>|dHeJSx70#XdY=cldO#A36bn&IF(8cz(4N`6BgRjmx#8y)Q3HM0CYilT1 zpM30sKW@uUr5_CKB@VHUUVKL_*c_BIf+UmfzoD#Rz&w}pe-0B%_ta! zmEPTPmB}I}1dt}uI%v&v^CbS!5J{J(`I4ciNqr(1u=!%|o)(`0wc|;0Z!v#t*1ms( zb#t&WsE+T$UYZ!gz9{Y-oG}+YOgo94a+ZDF&e zZvf5kEr4dp+GeagfXTDIPP|N)^(zzCEC`XMi4M%D^%FWHr*r|bgfhXxhI`D}s5Ck( zg4?)B)pQY-skj=V0KK&lX%LbK-ss6j)gI zm@COZ$+0PoZHNpJ{OrY#hlThu3Ok&-0FtyhDw^04C>=0G5Sz&MQdZwt!lHjkNhlq7 zmOohDtL;BmlQ~GNVvcf4;4gAu{|@TM7wnNjpA2|=>I(_ckE~4AtGPv~<1OZfjY0Mf zKRE=>Hc?IDvk09{S3`?mTzzfawHx^s{ACx){-J3TSP(5{e0bYqk3w#Tz)+#}3ONvX z^xhT)hcuLAf1fTHG`b(cetCb|uAj`hO?q_<;quUFq;3Ki#CjS9E1)%ayrAmJbSbM8 z@?lx(+ob40MBTr4Wvk~#G?~zkn_(V=#dz9*6&pA!>GTnazd zs9noq=OX16_X^-YP)d`MCPKYMdrwC|P@hwWTj*97UA6$L=X`8#?reV{MD9yGa%t-Z z;IXculP`Edz%`Z-{LrS0a^VeX_m>EbJabWJQ@c-5oeI8LZ*vsJ#hfJz_H0_l)T7Cm zK1as%Ol^`v^?-M7AQtxWxUC#EC>)S$xHFUR?i~+k9Xsry_Fb>svpV{}?JGe1;x8B& ze*v_yZVzAnx!kXlQ7C_SQHGxw$zkbA7hj#TZ09dw!}?1On3PywC;C@t23H_>w|d@I z64{SQb^wn`n%`RC&M*T%gBfr^e5i2o0_+;Y}>Uie;F44{SEo$8B5y zmN*(9{ggJu2!xxSn-4>csY3}4QHbg`Nd{HHi*sPOTdCc-z4g(*`jWaEn2Wd|vP>e1 zI;63E{!-@g5Q^xyl$MG~oG>V3aMVS65xd_1TzbS@NjzbZ)b0=oWHJF3I_$p1+@-_Z z?Q>V{s~u9{&i8+luP$9<4HD=f{_=ByH^`f3cy&fQ6#o~S20A(h8w2??IEYz(7RqPU zp)>>d?)}}Zts8Ntm$xOG(0FrUP{sMc>y@oQbZxX;$_fpJaXa_%s;IWjb67vuKE&(7 zwDPmh)?k?DqrC2lKD-1&#$o`_t;T`mm|_@~OrpEAuTy`8PaKt$8dTYiV^b>&7P<}M z#lUzj5QbZQS7{ zRXdwwD)$@mY80>a!AuaK0Oh5M`dwZ8Z+;O!vDn@qKPSNl8PtWPqq|GCK+R1k8wSa{ z+A39*+53Mosat2zJB;`x%;aM3!15|!-q`L~zH#NZE9vo)=P9Q~f$c*#A2gBo;D0Qe zV{t5Z-ebnR;CfqF9nw^5J7c7WeXl``3*Lz2!@JaqzGCe$gswl?|CHoqg_U>*9GznU zvfXg;vDzX|Ke%!<6b!Bi54EOF&tRmd^|JhAZ>E1^GrkLGKTH9h=;56p219X_L3NMZ zZXhPlrewOup%}4c(n)r>e>l)XEV@KLeedQA3oiReIF%v}?jGraP6~0t0(mhoCZRrI zpxUAd&%Au}=-2=B!Vm+0>zsKoHDA{Mv~ouGfoZyYx;pQMXNsCSF39Q=&PLs)W*G5bJB&S9=fS zq~Du3oh00X`D8+-lQEi$$CIPz2GN8ZDPzu%BdNvX-v~@4UbzEM1{bWv*!`*JlcL2X zdK1ENmB=H}5@VwEuH0W^N}6-N+}2%bmqmXrd5ogEcO2|xb@=6`{y>?ySb;coS8PuH zQws1-!q#4UL#R4K2zJ%mLN#d%^PK3+%$PzE>ifq`q0YsOdm9aMQ#2|5&?KYss~yXy zxjsGZSXxkYB=x-#jDx!|0I>ClXUNmhS^Io_`OSX;kKkva3T19&b98cLVQmU!Ze*8y zoCz2NGBGqYmoQNTD1WsXO>^5e_MTs%*-NRJ2*Edj=2Rz6raL>GjO*>i?SYmki48?+ zNGgf9e}3NsK#HW`*!ApQ1Oj|~-=7d&>=tzK@zvGst2ZB*U1(xcVHUUB1>>6NlrOZg z#8^1mEbbC!mMdl@waN9(&+nEiVN`PU(^9bH-`6)EuK)FZ`G3dlKVQ*+^vwq)7M57e zwZq7WReG`Ff>`G9{Z18q$KaO%E|Df#web(`1wX&&>ZM}IF7NhvgC{y^@E~uytjohE zOh_dE<^!Klm5c}`fgwlnqX(HY2BHUmq7AJ0WsPL&Q`G@o#gqJ7b~u)S;@5rMhR6I% z-aPon0%5DH41eFBI;6N*F)fJ%>4O#=t$X-H0@lngfDDLbhp;=AMc4Xgz*+mJ?rV7P zjFt7tDI&W^rtth&I4ogW)cdDrFbKi)bi zXy9K(%%^m+twCz|sI0%X;iU28{O(Xx#UTT+9{fH#f`5#T-Hks$DRK3RSnvI=EjD@h zVB0zS!{fTF+oIZq@Ad)U=(X~&tGxx_s6OF05$?B{R}z3p=4^p$<`=|WhF6)xntywZ zTQ&7fcs3_u%XR%x$zDl?w4IW|)OGP9ELf}U~ zli{lJZrz>Tr4P<(Q*=dL;gOl7g&xoVTmFOKCuS6CxGS@2cgl94iA#1@iW12U1~7p% z;&}S?bPp7&B{xY|e8I(~0k6aMxLolRPk`N134bxRWC;MlQJ>F5vabEtd4(@JfFP69 z2@Ir?15rt+Oh?fs9gYd;9k57~pFu;-p>8`ANhCFJ*qqj=7!vb34g|#Dn75c#LoB2a ze&31~Q;$fMiw8J@{MO~){Bs+eCxlPL?YSZX*bdmgc#uhXk;HHd@)2o+QfWY>M~G6Q zG=E==fOv!&N}_sNzeP-F2;~C+YB7RD5R5Qu%#LV)@(@QRK%4pBye#C z4@k!XF@RR$8A?7^;|Y&T`W}rE%v0%mE>c& zF<`Wr*~uOGGK^1E?br3bC^sIk@+U=DeWse?$yfDuHNo44i~?}&3CgAKG$h&@vztml!(C;p0&=YI^U zrd}<*g@ornO$`{-S~2(PnZ1O9#7Z64q2q(X&P|$}j-FfWLU27oT?pb7ZS8;zl$&r= zLz(8*4;4Fa-iqNQ$$Nc^74l@xQ?vzu;|}UbGeyS9~PL7$VLg zGHMH@G;Vf~DNGAPT38q8AZ!2n=$ljjw()1}3HpuuHt+lv9T`^_yOD1q)_=B;WZ9EV zCyO+lz;`<)>wB`$P%5G=pBiEPurBj>nbUUA$^XMtGjZmodi%X(y3&*=&Lipc>3nLS z0;)+q6}%5WS3h6}RU%T-ERh$5f7-%WW&Tzl^zstTo>`*RcT04-7{R=}LNh*8=+QvR z^;y0C)ctf3iIgRyW;r5}0)L5kOrjYlDVvA{l_ruR8PU?du!Eb?GdQ`70Nqdr@@7@6 zDOH4?wKISNn^%j_)2e!ozdm-PjDG9B=gjddO? z0FVYWe_k?CkH?n=QhH44@s?4`$$b;_35U9>ySggYzRrdL8sD+RUw=J;If~Kz3+Jdh zsL}391p5}}&G1lVT^R364|qHUgsXdZ@3a2wQ?BOVYI53YWM%EH95@R}C-kS?U#?sA zZ~FGG^;^v4g45*2fgZBvvp;8q%h002E^A|UwlG(#xw}tOBBWh9C~T9re(!LkN!af4_I&VZQkV7I)88Hh2CNzO(}C(jVb6H z4U$!)XXuXoadAT-W*W7N=O1(>a0581Jgy)pObIh2hD1z_n@gTpCJ)`7*FdI`IS5%a&|d}ITFO0G9h z5&-1>)a>@23V$Ti5fzI6Bn%PGXp|EO6Fu%tm@yPnN8l>uc6LJsJaVw#Vue-=L% z+I3SLJAa1q9iW+8H8~7+%^J10_ph4#=(JzAMOQZuBX13G%Jp0Y3{s=vK?k9Oy%Ue> zfI}c$Wv9FW$v07v1p%#&rnuVs61Ot>1(H#YF1GReTbLDrt=#Y4pD=OZ)5ivZvg1DP zaZqZ{+5WYkX;DWY^PnT-^AR24E2ksS=~PFE=u$`hdVTxqzpNd6dzV4;2@?S^mq9!V z6%si%GYT(EWo~D5Xfhx%G&nUfmocmh6a+CgFgBO5vI!}F^#xF#YtjXZ;_mKzXmEFT zcX$7Aceg-*5Znna!QEYgy9Afu?(Q7+?3u})|K6%|iYj~3WSkY@nMIM@SS;3z~L z9KD>aEG%6=;{4|mKxIk|VCLrLr2CgSK-doGY-MU}50E!@wFKIIL^L(F1*kfhS^-_X z{>KFspQWp-BM&2^hldA)v7HNpgR_MIH66gi%GDBopaOIOI=chS0DqMXP%yRw{<|~= zI0}H8rIpLy3RMSlR}W)nAmBq_Yh?1u1%-kFq)$OgE+`CMG6M4lV%D2>|powPgG&fSQ+oBk*5J=D)-rHTd~BIyeH%Kgt05S(yVr z{=oUT7`p=juFh^iKc9ap{ujY9GXu=5OkDvcKnp8-xIf-M#6a`E@yGm~tvms`OdspV z3}E`}=f7Y29~)-oU~lX7hyJe-Gb(FKXz8fa{=4M=Dn&#bJOMuR>>L1k7Ir28GcyN& z8-VlU!|#9nC>dM*JCA?ZO52+|0J#57_oGk$N!k71J3#gC1EB`|uP+6MkIe-FsQxUv z9uqs0>BleT|Ih3GFO&a&TmF}q|JOzTzZprm+1ma~PxUw9|3`0ZXJza4Z^p;wy19N_ zfxN@VE!h8GswVL7(-m>BHT%ChX;;9>mVd9y-*WZ8 z4$aoe9;oEtV)fV40-$GRV){S2kLxnE`FK8DK6dh7D&WWQ{BKBcds7FqzpjksW5UMH z&c;NC;k8?Bwdj4yR0gMdx4z3?2fREz*0Ok(PaDPpdgB`#q{Fmr|Z^Q{; z6#av^0E}XP5I2BP{J)5k8Nev{2eAMcrT!pR0HgFD!~tNG`-47wD*QnoJ{A9qxR?Np zN`KIYPnAFD!>8&W#0Fqg`!C}D$lCZ1`tWJ`U&Q=zHH^Uj!jB#?{yo3{5{!xE~a{M?U2eW@LK9c)KuFN0Fx%`Ru7XrEi|B=B5-R0w@`D5_m z^G|a=?v>Hi(i!-Vc6=1z>f!JYgO3{A{-pFVUT>iD-}?VqR8u!+=a1)q`d?4U#}@ww z|LcDP5aR~pQYHg1~tWCPv;+9gAgrbx-#}98xG(dO{c)vTTaDFFItc5;08!XX}bKYy^YAi0@xa7Dx zIE3K0Xk*iqJ|YLnGS~|~#Xr9N=3mI-jEEUp4(W@Zlhwc_^;g1waSkb==l>ok*M&~r zo$X=z-Pu;dbW#C8`H8p=#wV1bSkgS9l5DuxFq6P4;PI7=P&Hl))Qq;Hhp7AHOudW7 zH$Dc3hdFA0!j9;UAAPGc)1Twz5sI!C$349@xOJF+?+;fyy>*^Gcuy{DrHN+~rTT+}^V8SDu2{=q-G*w6Tg=Z>D2AQf z;oDQLEN`p{jhvSubkZ!?B1orYnOs9MslS=#Fzj3i)WI~Tl%LGBPDlu*`vs9^Uo$&T zO9fYy&(KcTPJt?sQc>{wvtJp~90Lre#t8&7f_AvhvUnVS4tbi?@!Sf;5_EL!(hL}f zj2mWG_X6hGQeYZvZ`g+7=dgBN<@o$5i8a$h%RS_bxh>F?V0xS^HJK@@k*cdGR-<85I1F zO9C}!tDRtf$l)s-?ZIjm-2`^fO>8)X>u3JPSJcC@zTQcp?F7++{W$D zhU=dwk0ivJxFyLn+6o_q+-<%NyEZe36Zm?Ub?M|;edo?cnMNs* z5?;@UHraDTDW zZ@;*tJ7!!iF4WT|=fKmY4N@2XN;c5^O+HuggbH!8mO<=gQ?6>O6i4rtW>e_FoAp!C z56Y<|jvpZxEGer{U%MzEX{nNK(rp5bYH`GVzcJPhfhE~cp$*4J$JnHzI94IK8r>Ox z9E$vW3d7l&tI?AR@;}l>H@qtujjw;hgn33crRYZXr@|mvhLdq$a6v-$OC98Pn)le7 z+VI)V;rN19IpH#qfGQu72Kzv%O#jm{c>hxb<<~TM%398P)E3laSDoL_5PHsp0lw@> z@h z;b#`cKo69G->)0I6^%`T4*0=OTq3)T)gXpwZC@o#>V=^dhL5l+*68~{*`6DJ{`1yG z;J_-gy?5yZ1q1`#v-;byNsC*rApVap(>3u!0J^kujTV~@EWT9G%b%tx*YMhC#%a$CTuL3K~1K08YF1nur z7pcwwfhZm++P2A>4e2*;3A9h{E7}rAk1Hp63=)0O^&A`bthDbHbs}pZQ?qJiK)JDc z&|F}=wA!WlEGTQVJe-x=hqCmF|L%8a!8_3vSBqSpAXL!tO<-QCDzLnN=lJ>Yyky1B zo_mZr?TJ3@emCbCvqTpq9t^bnv>)*&!oI6DCp-*mzxz%3N!t;|A_izn~IXz)Zn;M7I#!AQylngEiVkodQi1TwAsICFR2nA_8W%nX( zHZbqD_XxIyd%GZHfISy~HKADM(Qgy|!KEzdcfRv+bt;S9+r`IqssbZLmXyer*8-ds zZxdEXrfvAqTY4NdjcT9vD%b}@sq@%KgD~ArAiAx{;MNvmN;KgM+c$;FP{2<2Q#e+O zfIt^NFuRCVIbn)E{S%Yd^zYLWoa|__TNxNl029pbwQzh+z2{JWG}jCE%2iy}s6>9^ z=${kqxQne2*u}`b^S-(&>6_O5|=pm(<&P}%no+y@;mR=;=HX5UhG@6=Jptnte!rv1}jpz5?`ZhAO!<;L;vI&o6|}`S~XwoNoadI|c!FG`n`5w^YFU za)K*1gzl0p~4$$ zfB=K8kh+Xag_%48p|)yEw1Z5eDqRtYu+DWlIf`F)>I50>2k7-8z`%AI@@isx2hUAb zSpdpy@3jVbr*58Z&$rjmRC9G+T(-B!sM;)CWhm>G>-eXTy11`U7Hwg~7Ae0S)>jcp zC$++_=M~WbHtRRiIuvnqr^4eW4D|$~HC;#f zhC&&6TcQveNcU6-D(u#JE3>~-SKgIid>4<_a~{%UM(CNHj(12boI(fj+MbVCq81tZ zdZE`Tv}_S{_-#@~&<-H(K=DFh4!Ah1@lNEtcI#VEn?(iLhPJ+&$$}FC%M)>rx?7% zLFavIc7r}{@KOa8jXD|R{R&PX=Eha5eJ#bw=43Ux_CS)`kn4OvGSLb|I5yirbL2Lk z6RDV@+@lTbR9GDbYrh(vO1%v(# zvG6HhM-}%V5y63AGZArNpNyAOnbWT(fnk7uyksv`Cp8r^e4mewXIpFN9 z;amY_T)>le9cdV@$Ui*8lrcx@V6u#sD0+-S#O|<>o^uKTD@!$<<^1&v&1JuM;-G^Q z5pP%cT-zk$9%^(e$B}L^f*i{H8Hz)54}Oyx!qqBFNv=dhVyyswJIduE*G1!3^4P3w zv)xEaGA80_hlfO0H{JSKSltK7KaPv16C};j6mRtNA67_k%Nm=w-^yzj2W^06;fmFpvwi5d^ z{a>{?UzVbl7mW(wYaCStDVnW(M>+}t z@PK~9aXdIeIKp`B_4ANV$3$fW@qsOzEDy|QVlXL5*|sLp*^U#f@^8~2)jAGpn6M)8EO z$0YFngZDRjS4>kA`Oc-m1Xzv$opuHTp~UlQVgYD+HU(&+Rt)P-I!cf;EOp8W z)$&p%ILK8+58}B`^ScFa#PRE zM91cHdGC&iB>Ot6^8*V8`gO>J>*H~9OX|*NP=HS2Edt13T`F>=u)%MEvWr6GzDr`7 z6={*PH;hUObx;O>Q%S5eOtQB-L5F>>s{>8cezV|}GKcaOq%-8~Ph6LVofc)HE-a!A zoOH68*~oKQf-nj+OstITAey$-Eq$t_LTn9{^rrkP6ji~bQ!%z*qu z7~`wp9fQJtwpYwy4#L?)YHLEpAIrv=fIeeH0|&3yD1)4TvKdNl^xr8Fw=nyIWfXZ` ze0&~T#r!sci4))}Z`MNPO1=a(cUS>z`4Vp@UtIiXv|fKM%Koq}O1n07)DQ4aWo^v2ZrNqY3=5`60_EmZn7APK_K!8_?fD8OU?=xePGOt--Yep`t_Sza2@D9p zc!3&fl34wJg<6b3aC{zQp1VD>%A8H*j-~WGdRnWcWegFp zp(Qdgx4qy>oDcCyWTQkeDzwd}>YHVRYHFLHR9V!-jW6P|24*W1_1&abZ>o_Dvi+sm zl)ju!VIFgmuegifpR&j|G$N)Iayu8_Z0%+^oLKavzXWWgd~00=8SgqNAPpBXW~J_f z%Yg@fRp303;jANu__fK*S+YAXTklOH&WrQ=abz3^)yRRug$R9EMUavL3)`y)JG@j& zGeurwsoGDpWc-nMd^FRd>!8G(l5R+EasK>zgHMmK?<8=gUMml?LXacgVe;(frljH9 zdSK4Wyxm0t;ayGJiGnQ&)$CGc^0~_MFR{6Q_AGt+FwpxQrE7EQPbcm#Y+onKdci!NO0RW09P}NTPrz<0riJo(3~#pH~$=r;eo^md9ChYW_GP`(8H_4>b#& zxG+*TJlHCtAxRamVYP#;yCYqsDa~Ct36Bmmcn~?| z`&~4j`<_(S31A`v{+;Q79z9HvaJF!2&nFO8dE{Yq-?iH9HDE!B<4uhVCb|KaEOY9! z7mWpD;(1^3GH3abDgc4c3Paa=DABZk?^V-Xwh$I~Xr;naOKX4(OxhuoGZH?!`)(C= zZWF#(#&nBkm{ygj>vJ0v6(Hrn(YWY01nJ3;i#}ya)ykHBhRyY9uWG&Ax!1|M;hXit zXsXIWBj5Qp;A*U84#t_WsjLV4y9IR5su$t*x@hBAIM9GPW*%CBi~E z&fbk_KSB;JH= zZEdquU6XCuiK1@CgbXAKTzD#f#fwO4ux&Qkbh*HQLZ}7J zOO314UbiR$7vL_rpBe|CtU8aIlYHjMU%>R(uty?Z=0$Ev0vrknKgq(T3tB|?LMX&J zeK|^jU<0Y;LZR-9Q7asW?KcJKMq4XRRZ(r3lpPu8IksWTzs6Wqg-P~*TjFKqOI|q| zY2Z6b0jR1QfK5ckI5^&*)W4gPvI_}E!shK=nmAz`f$9_7b!yJjXeh=I$yc~8&(o=1 zSQx?>>Nn&tg?_C(qL&=entSlBJD`>HjfcrKH;i}I7nh7%`EBg9k`ZkYTVw}2r{5rN zpZ}f$<4#pAR?Ap_vn*$SQid9E7`b4!b-tuh!Mh^)T~N?i=BI`l^5&bD!NE$!dy_@J zo&QFx){ue7VCI|s3GBehZ)(HMx; zYpF1A730;L!C6A3m)h6-g+!EvqlgjDfecZhwzqEy@{SXHx-n6IOp}7eufRcGFdem{ zn;6>A5*6J%n+J>j$)c!t49w5d*onrFpobOMT zE`2L`c$!c&AQfUo6noUYk%m{LOfHNitHh*`s!qu{$k|-w+8a=+WK2LC;M%3n6r^!P z=QErdj2UFpQ0WGLDi8z$MdQ8TY?EL(KV{jOC%{wIJB%>*Zjg4G~h{&uPj>#`vsA5iZ2?L#!4{OM}tnvsqn=Vj& zuJerOlchb)Y6!ghXYtRC$fCTMiTYwQ3=C zIUtFjx5*|k1ov%Pf2!dTspVlWPoE_TREVkvHKh@WNmaBtFN!qZ+E!;kW{>6vs*fYi z)3%vtg(m9e)YcT#1_f`hzZI;U1sS)=lzDpjw{YPOxj8oE`69LovY%JuzLV=xySyrx z@nw=lS50jks+YUA5Q?i{)sW);@|PA%UXu zX8kJCa4_aOf8{2s7N65Bv0u#VtLw0mNc}-%T376#(Hv*t9cW=ceL7f#xxxhZ24$hP{syi>Vt7l+w(Fy&GF`FOr4MvfBom zcUtN*e|8Ojn9DSXAd|a0PPo8YIE}Y8RG08RD@vkZQLuUvjh{(I;K3rpsMk6_y#aiM z?4jxBZxigF&1KFv`m>fHawVUYNxgNdd(X4rI3Ry-3N&q3xkWnD+7{NuL4$=2XbO}~ zyxGIJI^{8rChv_fAXqN9j@1HIC6Qr8^WdhSf4hYQLqmg$)HL%CVahmW$AWqXH1q`DIKIqyH;K#cVRgS2o9V53Xb%`YblfM zRpKX}b4q_JAHd%#ARNUl19IWgSecU4#40kdJ=QJz&Tm;!N3UyIU(YwSmi>r;A@$3^ ze>L4VYppfM970fRx{Bpp!$*uP2J!t{McRbIML9mi4dNi+{!iBg| zNrtNRp@#($#XF;*;#{rGGReJ5?P^U(iw)nqU=h3w^>;urbUnUaWjuux#(rtRM-lZs z`$bNxTfS0b6qxAb!-xjac1X3MDKdfVe{B()_FV9;5!vyWFr0PY1GhxjAcf~MnX-ON zAlWK0nfUXX{MV>+fBx2eI*1y~XVggy^;?U<{`gcn4QHfAyX* zQi0Fq%&;PhZ7%Zkun?NR19uaeW=BZ1SLD)r%beK zHOBE^?x?OYxea{IPZ01xL2fpOIE`Qnr6RBOZU}d<{h8_hP3B#ldejs-6TZltXdn=N6Q{H= z0ti)6g-`yLLrSVPLYSV+4y|HDer)tJPesWeKOE+smIxWUSmTQBA;2?3e}I!a>^JUA zM)QQ1VM>nqRAmQS`bcno77ON1?W^nw6S_@gE0tV}HqKRr>8+D-;_Y^B8+O&(+gE$` z9uS9l^=r_ zD_RHZ*(PAp__MYWl30oyf2`leqyQLX1!wCBy-Rkx^I;$?Bv;3ydHQb+kcQxL?hB$$ zF(?|jbvn_f-8ps!e+B(zm|5t;tIrUnv{(iecPWu9oy0vXipWe>!g+1TnvvOecAg7d zPoXd3a%5xpGnkalXXvb2tk$;cW~?Wk1a`1wXmWWPcwiP&^yW*^rX; z{uK>Z5K`CmgmNV7Ai?6xENh9%9Qe(0a&$BvDMo>cqub!b0?kY8IB-?tDfx>tEB+2; z6io+^_LVaS3{;1&eA*vy;|sZqO>t!Ii|S@3>hFU`sg1C`|BEfA~7;3*Z)#(y-K6oM41| z22o`4E%?#xRb)+_?~+?0d@j!q3~6y;Jyq5=T-xR2#v*aJ7)y&=pW)z&cM$y#^DUqR zV!cZXQ|`lz)?H%Kb7#-`D1%PP}=4Y&W-i8$mcefX`TW zo(;g|x0+VY554)7HxzR2RhOe&%@RIZhg{LUG??(`vJ---KowkbQ?MVOdZ+tQtjHHX zXL^hr%lCW-1Z|xT@h{_AqA?sr0n1!zD!ZVJqT2w2e_LsSh~XJ~UEi-^L)jM$Nu4uz zk?j|SIe<-1YjmvCR&-e5MlVDcwpc1}|eDeR$}4wO{u z(B4bVe_6$Ha0cL+sXFgYnx(8Qe#U7N&zv$i%M-fTw+0kFjFF|2SqvEd!T zdd>QZzGh>9q;+nfUue}oo8>SY+-BnAPB`~sk*1%zHi{MESo{jgXD@bVuUruXDKxBQ z7`N=Pb29UZvD+RgKq8tObdC`dotwE+VImrg6&92eS(HS$9p&{+Pc^DeUIzCBJ!v2j ze~De~FWSh8rMe3+D^-=Dxkc-_YS%r>CJDsEA}{YiRpqV3cLT@aSTT<2x$ejK2^jVf z7GCc&Uj$kHq?wI92Xu~vay_I6_aQ;sV%?nhEN7Wm+g*$=xqhPGDS^Y~N@h96M@foC z)}=1MkXKMYIEVFf(TW;8{i>CYxVOWoe`!+|Rnm3M98|~51mH`W>w-|@9Y^kSF+^L) z`P26&rhErWn|;^2NE}QPpdz*vV#y~yUD3Bmj>2cmvER15UrGqJZq3^85NF`RWK7NF zrI){G;tlT$xVLdxB$F&Gh$~Zvvg?D<~ z7R6NMoH2BVgE+8&QUtH&M$m-d>)`dB?bmI1n#dM2tk?IDATKQt_@88Ci-5HddwDW2 zR}t*5a{P9UhdR)1JFeDQ2QsB7e*&4&$#|B!=#meOEU>~?kTf9jfoy{?66od>lud|t zm*bV)>6Bv0t4=PSuMK`cvH_oIxIKA3Uq)ERK6-I&^?kv&^NB|+ntnX%g-=VzTw7u} zLX<@9RA1StFe?sBK=(K@JzBD8a4KGJ(h)EOo>m6m;Us{G=Wo$_1H;z?f3plobXPMi zoYQB zSc)l22Z4mH6I*ZMU1HxYjL}?`V13iuRujI|E|bAykcMue}d0+ir#LlVn&z>PP4+;LPxIiV7PZq{zUVD;*BZ}rVzU7 z$pu;Z?a<0~L%bEEzV=FfNhT>+ND3{B z7S>~0S?I6i{!9DS#RmW$v?Y_)R0T#G{rMiR;-w*%IsFtAoQE!D!`P$AQa z%D(Tcv&rRsS*}76BT(l)4wuU$&;6N{2HP5bg&v}{s`;+SqK1O*|p5#EQ-0u&+Y_PJ02B~AC z=8013vN}m~*!OdF76+Bt40LjKJ!6GhADZ-4#Hg<9QX8(Vf98q-6X~E<8RZWLVibaH zr4<>VF87?xH&f1cv@Ujjp+Hzn|GUMAG-e5!k>c;A!3M?c>gO*qIqW~kzJ!!2N{@^u z_i~1eWB125t9aAI_7g7h1vfs-wUUyMM7wVaN(aqcGgAy4`fCq}*fC-CRHhaA;-p#E z3nPK@4hyDtf1H<_4+rEqRLvQYovkjzo-<2e1$P>+`(x~*zF3ALU^X>W(V^e-iguoT zYQ6sv(T66>DfDfDc*38Qq9c1X?^DFB_Dygnihg8*XWW!S8NjP7&)JGlr|maeKXQ$A z_Z9178}T6%Q*Ta^4q{NX&P;gRkRyg&?|NJNW*c{EaE@SJ6RZ-y3|-_#l`w~p z!`)qkf9^0QBAYvOvBgie#Vc4%Ph@`8nBe5=?o-lqo$N-LW7^_W-=4@ut(M{-8ijM; z6r9}p5HiE|zym1nxp74yXY8Z!bkApBL6 ze_<_ei87Zp?0O_VDdT~EusvS&?2;V@NQ3!3P(oZP8Q9I~6w-C)8v^#;HTg+z5)Vz4 zDv6~g=DULDW2U$)rlF5&Oi*q-7kU0jicu6=f4oy_$1q3uM8}&A$s5{rp3IVSp3^Kf18QK ztIi-aR;t#n6Cx6ESz$7~=3)Fnbj%!KE3HXgO@V#QBA%FCBYqbicJQZjO*eioU=s56YwAWmWh%m87d?4ow&nx{(U+e5c zN@?Ggmj2qpr>KpX^=eEIZ0a@fuq9Y0mr=QMU~P|v@|H$3DD`u=IH#Lr(#qv~D;+AX z8-0NgYE+XkkDO!b>OvKeXbe4?+|#*q(#OtSGCyZ8IDZ1r61PqI=JG9se_~WF^N~+v zr8)cN(zFJ!dq#xdprI2yE>AMVtVTi0K^wq-*MWh9TP>{p1RvXZbU zJ7Z6;CsHyKmC7?ceU)7`f2fSSt6!Mhm$EgQ~(;|Pv6oYP7t$W_-qXJ$Z#s_c=cv8?c|e+=)^$bn<$O_bla z2D|vvgM37u{OS8n>Kl-EiX?viFlD(yvYsA$TJa9h!w$KmqVoi2tWRIwLnJULN$tQE zns4`oX&EQ5!B8c#-BNWsZSElJ^FU1tG>?(R@0c8|-3GvWABoLmlNb$3Fs3J73k|PY z8S~;9IdzcNORvgumV1ZFxlWTm;&JDn^nL&xqp&ZO^!C>m){8e>zRObDm3CX~KCsr#s-- z#-~nZk^~e(cj!)u;I9+bYtZoUswATp zNK`bsBlO%Th2MuXUOERoI3UIh3cGXgwl1$#H}2MnYfcWC1r(=p@!Otd)*VMieio7| zGj~M4AF-iff0}4z!AUZSRsTIJ!pLSRJ6OVFl#~%J8%N8k0s0DZ;Wc@eIxmQ~nr3;3 zBizL1V0w`?2|R*4pdj#?4Bf!QlOFMRHLJ9W8d$Th6P=&kiq3Jc)8Bh#S4z4ki zsx=+E9T8>ISAivpaU>Je0Mo&DUQg4r)iE=;;kZaL)0%Yqg=czmKgy2l@t{*zbQSrA z9sYyI_neLRmv0`-4Urk` z6M1y=s`Rg4oprS~QeB43@M13Ob#-joKBkN9W3mj#q9NxzH!&J3-@PQ>A2v$G97!>0 zX)KkcJ+!G-(dOb1Zgbyra5o9oCD}=@4s{00_m1};au@G%O~^sYGCfe#3OKh@yZdL^ ze@=d@=I!9d9U;wZtrR!sT-Y%dHQT$L-wk#I8BV z^pQadQ+a>E4}GF?hw$SDA3(2#5v=*{BehXEZmUv~WK3v*@4F1&@Po;Mb`J#a1b)Y% zND|Ahuqm5RmD@ueWLHC6OR3qUj15i4eXW%O&~A1oBVZBf7_UG z2Y=L6?1BnkhkT41Pvxw$w`FM%uLzhAa4E4T}CcJ4pR?>b3*5 ziX%4_-Nack0AY0#n)?Ed)OyCg$b$lEYH&kL!=LU_`KO%~aaHfB3ox#Ue^Y28)nX;L z>rgof3Y+7>hpPU*9ouG^{osZJea-~qd|@Q9V|!eEdX7dfKF-=+FK1al&$nW7IoieY0~jsPaDRmLHz za*7W|%0WvL9uB=|2Wnbnn_2TzGy~>`YkW`PExqRhH7l3XE#7*Yi`vuVU3bbyQM7bURT2NnB&)b97Bzt{@vH_7BzX+kek06%oOhQ*wo!SSiYNCt?O;!JN;PMQbRJ zM#7ia?i(+CzfkD?Z|B_EB{-AsTMg=qi2Qk%EzRjG6cK-Ti6M(X?AC$msu-u-A&ZS> zF%oiY7K_oJ(lwhmj;@z)H;2n(9tINe!rZp8ME7E&lXEkKf9>L%S$R(eq#l61A- z5bi1&BAthyHkoA+_9aa|7$38-5znC51%C3{d93K!GG>BTFV{$|bw`i9{5m0uaZBKv zI)ZO1VvtQm)Hbva((-<9&3Na?LLEo5$GHj_-ZZV;PU(0?&GuMX&)Ma=C&Bn4p2|^I z2W*q{gpv!oe?L*lmQMT14pvSo>shOCnc;?XBzLFabO-9UCZ47@6DnZUuwnK{-3s?! z1IB5oF@7wI9`7BBS*i;~zzSReC9JJ(TF4NYe~wihzspHo`BLn(9M+tjS%O|U%HNq9 z=U5yK-&+(f0$z8TNlKcPgh?%XV$(9o1ftPY#FoJRe-(=xSb}w*PwV{-gjgi&=Np8D zCGr7b1u;kf+Y++l;EJG_qtS)!+AS<<*KuE0`8iy-Z*!d$QkrI;pQSd2rgSV+F41Ir5E7&9N1 zLCqqQSR%tPRU1Q$JSp^6uisFpsU_E6Pb0;|%|4P1oeDn_tq{OVc2CWmiMW6|`qk~& zt0DvM8`!71d@rlyytC-kHV_Gz>{>D*KLku6{w`GA ze_;gA0^t`t)*|x?1esJth2f1DT98y>lX}T>*L>(|vDbyQt6?p#7E_doD2Sr7RHXm? zYC5*Xr|8Wa9R3R{*uOQr0FU9&-hVp^ac*GF!cdko3{&_`%L6jF5bM}^QHzf z1%H)m;u&J(#!!}@U|^W1Z4 z_p+jJI~IEFd@Fh-8A=X&mKBhL&RgK8StTgt9oOwF{XSn0LQL7yX=`dmXo*EqLwcgy zeUJJ*jhef;d)?w#9kya!GX&dwe>G6+X~jdT(LP$?H~@+(TU~!f=};i-O@!Q8kreBv zN+yEE4gJ((Fd0p|?RCl> zMJ$!J=n0`cuYS#f`~3~to#C#N_X+dKX56?+tfjzq9QD_QLtPN1f1J(c;KhinZRoObq zRzwnYS_fCLT$Go+X%fx&=P1U!@UNL-*SKX4kptHWZ3r9B)I}A_HNUm%hlGO}U?Fm( zAATm~D!Ltk#iS&;*&!A<)D!YA+v~9>Vjd$HSxluZ_KoGOfBsaAI6jorw*ATCM9U=x zIhh@H+XL7%6Wrq8aie9pG3gDGsw$(Gw`Lt~CGJ}C97313A#@fl7eQ|_R2d>ZN#by- zC;-MWx<;+QVxLm4^M~wrpO)ZKM>G~pwKJ{ta0nUs2!-5W%*=u^Er8mWnj4W3=Fsy9 zuvPvn^5w3Df5KW!;oPS;u*-0~TwZK{>ekOb%v<gO>lTqB^4`DoXmXW{pS${Z-ZqUSzQeUwq{Q9l zeVg3~Y$8PFqGn4rJ$wW?)-pVyn$xe%E(JaJY{JG*)YCatPHk@&ls%kE9oTxRIB zp;%CG9Zuv9!pw;3U6=_4^TCedYd@;lZ^yJTv0p5?mOo$IUFWl^^!->@m=%@Ss?Mgm^e@P%dXy#y?*F3+a=+Y-r)e5=xr z)E_#2{mGxDz^r}l*pB9kPxg1={g;2E9=U#7d;=qhd%?v?Yndzi2^!9*W%O+oH`vL! z1mn#@LBbh9WR<*ojO&{xd+weu(J@XIE#yE4SKKn}R-$cN6XkMOQebd|rTYH>Ab>of zmqGIh6qiu}4HdU)^9kY`mvXWR6}Mpz3g9f4Rr3iIw^lp~j~|yy4+<3$GB7zZ3NK7$ zZfA68G9WQEIXIUvtP2$dF*hHzA^3{dyMSoH?`(mYtHp#e<6}nq~SNRH82*jwQ;0jpr!u? z5R{e{XP^hr(=*Z1(=)<-`J!a*Xl48#IouZ&W1xe%te~RM^&QQOtv^;Y)VBgC+8UZ0JG%Z)2y!kn zM@PGFbac+n&b0d04z#vFQyvOxfU|$OqZvTK*ufa+WNZZZt7L$TzP0hcOQVJR0#GtD zcleh=(bmM#Ss!Q&_z+l`8yedG2rT`OjD`SAHh!m}(iz78a-^S=KLw$cM2ip&S zeJ6c$D}93xgTGVP2Z->?1N1*C{C9m0hCp*WM+aI5bF057yvpO87w*zjZDUFrUPxRy4y&NlAqH=eZ+KP%F@zuGF1OA`M*j50b3VB z`*`sD-#Bvm=Ks#)AHL!?CbodTg8h~6$431pXQzKR0r|ftgaYut!DMVdTGtpr{-@Km z=vn9uKmIWMfA06cUH<>I`Cn1~UpxK(W+d|6%Ia@D`M(VQfAsp+=2ou%w)kk>?~Wg1 zAZ`0G3^xDQRMq%jvnzjXY-Il3`u}Rh9rZuPf#1gTqorvWm}%*m|0Oqf5HWW#Hj*=U zG&K8H+x$ze{MW!)ncEo4**cj2b;W#m(bNAQ-N%#}T7Fz34j;YwFO|N-$H+PUeUN{# z@yAg8Zyv%nhPFn3O&=o*D?lFz)OUsZIQ$P{0k|`KjH!{a%in+94WOg7v32}#0esZ# z2{5q*!u@s7tSkUJ{=Y>3B31yMz#n1*&hIz2k0KlqW7k+GHIKMg)&824?BUsvQmOg>Vw{x33qM7RF_NBc3&bT)sqAB)-i zQ~P0U_vbJ_a<|h5I-2WS8JU~>$&uw_gX}&=*Y;1Dj30k#+WjNXk5?m|{Xg&{67Wyl zj}36J(swZXhrvf(|IFiK1*d=DM@i0qkny7imw(_#IM;vRM-6U&+W-Lz!#<5R$N_R6( z@khpzWQl*s;x7gf9g9vG0sDu{wfSrJom#>=SLQn!LXiVgLW7vO_dC#;c=vle;yI)y zkQ~({0fKLZz&;Q;{BYzhSY9L3KE*Fc9$#yE7vi1C(2GRaBm&!HI=ZTgGNdr@I8;uy z6daok29R6kIJfVxtOfSJC zg5kvN5g)~F1zjKon4P;9X0)6cObFgMz!QJ(pwgRaF4nVFzJ+fo5gaJ#x-`=}x$*K{ zGFg9IbG$!*oLV}L`>kx}#IycOd!&;|5LnCCsw9*hVJeIaiX%@G|DXM&RzFtm$OC6o z88z8c%-WQA3RXA*T71+{n3xcq%u_0qKhf3i4?yRu-?_Unzx}-K=nx=VvabxciA0TX z+o)afNXyH4I%lB!U1ykD9U-?j~e3C^j=H{$8o?e!Qe4Il$& zSLX&L?oJQ&X+_4_4HOR}tw1hX|i{m82VQ^Q;{CHkOy2h~rEmK}do z4wTJ6^Y6Rk(g{1Vd`M=VG-%7@QHXx%@`L_|anTWN{2MpTS>Y7Z)wnaK2yI2&zA&^L z#rqk@H%z9uIM*56p9nQObP3-L-feY1UkKo->MG}T0Va*#&av=d3yn~{3EtcJ@Hf9XjN8w>y1u)-AH4;%34Y=H;<&)L{)RzMvi|Gil~9q zbb%nnsC5UX@#tvFY-*hdgSfN{x8Y_OefZ%(W?ccO?IScu)RpJ{u_uOes>vmkX;7pS z)%qI7Av@a)q34X!Q1A{Ho*|QYvDzn1LTx4CyKaj#g~2c{I;v;*ogIuLKw1j&sulZ= zo7zg8UCm8a`VTQ8mHQQ6qXvJX1|Lo%=AXGr`ACZ_->A2roX|-OC8H@<<~XU`#y>-= zMO31?AzA`3^W>-3o%?w7?fVT_cNrqZpPI)ck;wvijVEUBW4S|)Oqv_GE-WNpqNYhL zo2>5EzUbaqlWHTUa%|K5^3UGIwA7ax_QqLxOi>z_V{o7FMZ-b2$qs*wn#~khayL+F zA89jz3fel&E_V-=nmQ&6>FR9Wfziv_K1*LUg1 zzLa_9*ezok?Yo;{F!O|=hC%B%3l&`O8Oz@oefkA{q;GDdKB=?8*ICaCV~1eQ#EDnq zE6~@>k8k|^OfYbBivT`JTrO#NxTgyTcf<4Y`$frik~@zQ53PUc_wbWzp3fqQ9U2sA zs`40~et}Po&kq)PMh&KKSU(zZ2f5TmC*2ty-VIg6v8%vY$#sF!#1Em4fkr+){;MT2 z$3cwRhUWU4cg)xC+~@eCz|>YJ*X2qx9m;Mo$;E09t(yh)P-nDy9O>g+CThz1Utvxx zp0p+T90izFS;T*=`fYV6pN!QH(>!CqS&JDxCH?8obXBS_##$qwmq+LdS-ZT3L+P(9 z1>!>b->lAfoa5Hij<~kO)FZ3!(vmK&f~=C|7UB0)(PRDW0<3Q}&AODjibjdS3A0+J<_P`w5ep0+;Tg*s zpBf^yzAk^Mn2v^roPk*7dqdnTeI(~Oa)mYPJ-yHG6P?I5G@@C80WyGIOx&1h+6__L5Gj>0-Yon zxYfJ~tBd_cHa@H?T#d75wV#+6T`lF8r)7gg%lLoF7xijaTbGFji;A;km)sh~_7rd} z*Ln&YOx~7El>yC@R81Tuc4HY)uTel@XJaY9G|(c@uHURZSCYZZK(745n#{ zFKw5_70B`SB^3>_d6v6eZzU`PDNj0{F&0bI z6RdxGZh7aQvTtk{EH5D>xZe`zsedZ#Vo1sH#?}uEVaf?um$&6=OjA};YHenROV zzYp0(*u7+;oVOrR?foHi#C{M?dNu8Fl}Xen61F}x64vyFbGRfG&#CJTXC$8_Ax_%R zlGLj{NWOrDVXa_)fOelNp@|jeWip2h&Ov{jRLWYrg{jN%lsoO^41jMvF2+-&hU8_4 z=Jkhxzn05WTBKO;t0&O05Y|SPFKUa=HJv%vo?ZPg#=9{9#c#cs*=ZIMrZU)O& zl{KYVN}B7AK&lcuwA;h_q%Q_VKn$bhmiO9&OgA-65Fl)!0_pyPA@rJI#9yg8QAL01 zb&ADRRno)FXX<)8`NCtV!4W#oLcr)SP=&j~ZINlIOKDERt8GuSrlbCCmPzl`Df`XN z2I#MhAg!WWl72_KkETxJc#xWMSXExb==NjwGBzL|Bp8lMk=2o*-s;z?UaLXcUKmJL z3yAnJ#w5Nj#Se|t>ls~RWZ_SWj);Hx%7!c_qk@}!;eNJ#EXV^cQbMDh{3&4#-miT! z1^5#RFaW9W(+rb-mpw)y@+7|zo9vpUxr}A=mB^Cu$>InH#NNfWNdK)TTHqQ?6*$4Q zux2q0c-d>?$?c~D{~}+v_N3itUMzCa1Q6c}At%>K6~0gPL~+}eLUnU5%L z=F}L&cUF3B2R&c7xSK?ew3c}CY7FMA^+NK)3xS$f8WhX6*5=IqB+LBGo99+Zf(q;K zRlYUdJpQkH^IaM((_N@A)T9c=u+}p|n&9P;U6FQP!xt47q3}>@EAjlV?AH8li?{n3 z5Jnv`oWwh+URY3*aYY?=>urB`$)B6B1w{)!`NYdiWK~7|TKC`tNJ5{nB6snx-_H!_ z>Fsn_e4~R0!vxW&jrMteQ!e;I`NWE=wQ$`au(uh%6w5Vqv?~`uY6osn?$gzO=-lfV zNM&BMW?qpeQ8JU+_%Z`%SI+MnzHm5DZ~0*n==l>)tH)7H@Cf>R=#hUQl@3m5a~IG$ z1nX{Y{A(K_6}*fqrxLg0X#CZqht@sWuqxQ(m9_~)YEu1ke;kG7swW4Ngu2|k1ubhILrVtRYN|bNnBbAUbqJqs;iF)K z^Kfdx3j6C`vY=Nrv}5ty^!}L?2w=O`azl^b@As`|1!G%1r?`L37N8NP9q-BbOhsje z$*kbmXQ=Apxn@3zR?3sG=H-76n7UGwuAI400OsdX*38Bv& z;ocLD<*RH-pgm{Q*#Oq&f6F4r7vm{2K3I|)S*@Mnth|3;7?{rq@U&LVIHb9(m)_(b zb92yhFz}4Yj97f_b!g&4*Nt~*qXSFM+!hJx3_y~N6YeQZwmJ)6Gt&~)GXTBQCt%M@ zYa}IKyBgF{WR|-gd{F~cj^ppy0v&i0g2>I$$DBD=Et9I++(3Fa`@Jv zJ%Gz8##nz5*j~eH)mc|#h>p7R1|pY#e?w#ple>IG%IRbeV6_6V^f zO_hJ83FXLhcKfDzGN8_`+Us*#87mHq_SR=_yqUBM`H~G!cbx9Gw@S^-e#k*xSv}E( zGC$8}kT;+@ERQ#S8Ev?9i<=2^5BL{`z+*oCBdLEM3dJoQ_3aD_@Mu$$o5@yb?;}5STbn$x zc6Vxz>XmV%%o@2&GeiavO06EjiG$bWbhMmVqe=g9#Ek!?u&@DAr0DTH6&vAU^|S^D z6r5i+i@YMp;kQZk7xI;7yD_0;1#*fM<4ul!@GtRuU%mYzrgI2fMW(A{k z1O>7;!w;&^xmSTPlX^*4=owb_<>ZXotDUJb#<)Ku4-)8W@lSXQr|cM#?l0kWB2%tD zp?^lvlk-x1C*+n~ediT^+>^vjPbYt?rMeEy1!|Ep!jfvvN6@*<*)es19B-*B=akv| zL)KG*>16`}#rOR1NH#jDrjsSJm9ab;6XBGOrL9h0k!(xprRqYu;I6>qT7I*4m-y!~jZnJS0eCniA=Oxb)qo zYdA<6I|ehIG`>ewV<$-#w;n4_KO`7rtRo`Y7`x>Vf%(q^C@zD?#EgHeW>C28EUXYJ z0#0tkbO_O9Z*MntWHv>h9a&HfX{hDx&M4nDOnpI0xW2ScNKX}ItvBz`DjX~uW zK`K0gqf{{aWHo*AP>9F)^ihW_0mZug#4fT(q9bgQY!+B9w@XcaOCMzT65>LE?p`1F zdpza5sA_*BOI16zU3*uBDXsy6O&56X8=4HK5QrDiadgir z_2x4-!_=9Z%5fSBbFfQmmAQ5DGO4trZB^6oV$e6>7&l!tQYRUMh?1wU_GKGW&U&HZ z7d$fQCfCSZb-{nU1XzQ|?WTfADp-E!&yu-t_w4|@^4JX6Tw&H7d@EI8Fc%c_+k^Cw zE{?WRNUGP@6sJo3XI^<%IE#(IiOjss1n+M66c3szLn&m4fSWoc2$ZZdH?Khy6tIkU zT&X9VAhwzOa#1RcuHh_!i0bvQ&Li$77)r7cUnRCub}xVL;24sWsg3?ltHd65!p{wa zHGS<(W)jbh1>MNJ7NGhI^B%mVnrV6I z>sD!Ix0inu^#l<>{MhV`mD2Js3b_pO;qB}kYZ}+4svMP6W%YvarY@LiWnD;J;#~Go zE~6gQny|CWhE3TeMbUN7=xd35=WK7>3RL|sMuyG54M3^3QC&eKOV+k^zRW2>IPVub z*as_>b(s0F0+)`iq~giGsj7$lYD`| zrPnKML-1i(L@D)nM-@b*ix4+@econAOt+(s?7B>r*1>GR-#|K8`WcXn%JQ0HPbGgH zqiRaQxi;Cu)(LbqkoNL@#SR%_JtR^+-hh7_i+K|M+|V!He9rnn{VcB3O&T2eHs+eX z7x4y6SZ{V99~qbM=1I-EFvQi3Cc$Pb~hH3~L8_zvX|vkHJQ|=-+|Lie^3IJSYkD*)Xrs^WMp?!^5*d;dc&%5^hCa_c96idxBAO}bXo88yhlUVT$NUYDqQqDf>xt;Zyrqavk&tO z9fm@x7-@**sUw;b54(03Vabg=HN$p)$Cy}T*}KmqhaMm<2BK`YOg4oN4Fo0~mrOf( zcit^Zu26Q3oW)(XHMV*a{Qqb9QT6rA2h zy=eaq_N)gY>qx3y-GHC-Eh<>eho|g1Ob)zVLGGO18?{*ozhf%vZJkE%W+P>AQLWaC zU5y<*ee=6@8i?}j+m%>!Z7-I8%i49o$YmYvlj~FSZa3lAX7d4Htmg8;ro@6n%QN2A2FpjdX9~54!stl zeHDA3BSrlyViHmJwM6y1#P8_ZTKOOOMy27p)KmRaAuV~YnGaR7tio-7O)fslsXvd8 z@LqG`82m<%5F|4BXr!c)d$jb;NG7J?wuSLA<_Ej45nz*0-0Lf)eDsG|8y_PlQ*ZKs zUc_+eXx|rqXw;)3H*2`_E_J9lQ|v)<{#&>YmznJ z*uH;33;0PZ_LWel6tq5n!9IJFcX#qqoDleHkmDR-$WVR^P1tH+V7~t;60$yOPNCzv z!H5q=@Z)6|FGTeE<70=o<~$wYL2Fa>vmaOX}%0)3o3ijt{Q&MeE2?)s9`a=qF#y9?s_QDzHhCDsJjI& z+7CvS4ML3e6t&`)%Xn9670nP$$)6rgWHMXT0XaE1LpY~EU8g2c4JjXwWCNp-z_A9m zzo{imQiZsGXCg%ru20Liv>oRQvLdKrmwFA0zNHYE!j1D~Gz2@HvXGFNn1BcjeReCs zd>_amHBsDf8-anq?fC8b3;KZk0ZOcXjd~=Jweke?g;NPNhpvzoek8H{=pbYcWc844njRCeua*@?N@BrzB<4ssjfU)5L}+yWN6NjBi!I5r$oRkg+tUJA1J zYWsfsf=#(fyakWZKn4si6pYbfj^mlFwg!LV>1!yaP98U}u4O8%33h@GY}7OA*{aM1ZURn)W+D4zxLGD1LyIycY%N%=$n$M^jS=+5vhaIo-1~}GoDnX@_n3}< zX!afEzG*Z@KI9g--JEkLcL;2Wq2DC(=xs*>hF|-8J?lZI6E|ifdYLq81!fd*0$nD2 zTEo&SMZ**)l0s9bLPzH$GQ(J&)@>DTvq- z&r_SRx4M|gZ7wFJT5N54%&0T z&{JY)aY7y(uCP2cP+WzUchak`x{GK7r%3CnX|HZR#!@yOPHkR8QI^q3N!hM{WtWuR z+g^r|YK`W6;kq9VPEqHoA!QYkRRu?)kl}}Iw6Q7!rtq;xJ3sCvAc`ps1~92gCxPT| z_N}2A=f2CwQpU!mGi)i18Pg{|b*wD0I^@PyZK+o9q$4qTm`KG^h=9s{o4K2@=(JOa zg(|UUIIEjZ65mdC6C$B~XDau9={yf+2(fUTbitpeR|Op@7u4Bd7z4f@ICh zzi*9lIuiH#oW882=fd>0=1%U)p3|W0sMB>;hvqkyXMql~|M#X54zaB<_(8`6PXaBc z`m?mOg4W%Q0-?B?)Lj?KBxe7Ny$!>-JN$a(3|$0~*#_YJg4d^_l$SJ3SL7@!j;~Z$ zehl8tJk|^_KB5JGm@>sI*Y|7ESRvKVi0#*9mA`KFB#L9u5ym|}OYW{CxkkR4KvMaK zxQt7>u7znw7Jas~Wv6dQfO+TV_`!La4>}e~Nq3xgG-qDeeVb7e7=R8UqH-N9@U{Qi z%~eIvh}Ro6LE2cOW>B?F5rTrx8BDMqxr6tUx>c0MJVB3t5!*Ijo)x~ay#FqR`j0fB z*N}vnJ`bowW50)z$kU29oT}dC7+Fd#EE4Dn;8~cc$w}azyhgxAnh{iZ;bOHu9<1D^ z-?cc_2__FiE!pGSSA`nR6@}w~4yZb;VIk70nADtnja)geZ$m z+mXy}V)B=N^L^^72W3DgEgxYDv~cDV7|o@l^p$WT)91=6Q1IDgtvSK{twf z2o7Nxn`#>FrlHwI!m$zXX6U8gjs$oh1)^v8ja5|{!Uv>$-h-v}gAe}8kVp?NfgPqR zQPj!i%i6-%`nAt(+YqTpW!|u6RL#`=`YQ$MBpB3xl*GB?^gP*(oZ;!n^w9iktH0!} zq6684w|^kC2f6q6V5d!{Lw;G#90j!2WFPq!Ryp*Y>lCLI6H8?{8$iJ5ZM29keEKX# zJM1u9MDz9#j}#_`<`}mc8<9We(F#W2DxFDUA4vhTM?FiV-JBswYrAl3JP-)~9HCBd zd@zcCO%Dv04)HvU9q|pM^ksrE<4!17s&mrNl~f)?oTRw=|N0hV}m2UHuoFu)Oicf3v=zW*+7>yHe4mN5-M^w;~6A!svl z>7r*-GsM}HNpZRIZi^|);`hn&N2UGHC_0A>+vjjR(-9`ofUPg7fcS1%=`xQlafy91 z_})<52Js4mZh0LD=A33Mr?LPbcYLL^ynAskBo_IKL%b9%W1=t3*^J|O6;nsqS>I%T z2TgNwW{$-CW6_qmtP3htCC0-$0|*tk)fc4J-Mn3MH~hTKeF4*HS0emU3Pug4el}564sUS|K|I>X@7|LG>e%vuyZINvDSglm)V0=N zi^u@43ipH%8H0udg}aMB-gH)8HH3zLCMfULBqe$9$5!U{nXn}P4g9Y8pHw|Gy7DuK z=Nj(IL2lkgrd+LzNxeu1!3ScV(V!@mq7&WJx-wvjS^^f*Jtu;9?mw0}5&GA&%7j~~ zuK3iidKdX`N5BBjY1~@TINsQBs)2)DsdkgWV}bWXpT|p9m!6a_lM;dWy(uMs#oO)| z2w5iPq|k-v(+>3)r^3IaQT)w2f0^#qM8iG$)ONQ#iF;Oye(QEsvQWIF!-EUa`bKy1 zS*$MjG>pY#d9 z=OM8|G*aJ;1C3d{{P1az0Vk1?U_G5&>ujrSMHFKt{+4MnD1E<3E9xO2Jt|%r-uX|1 z*hMJQg2QI*wo_1D%W>gC1Y0ViA(fawX6|s`mk5;Zw zE7H6id1v{*$#4%=jZKNnqt_~ZjCT=Cb`>U{aU29zJaO8V=C#jN?3L4U&ErTQqCHKA z#g2m`NBjn~YICQQZy7`{t0j3+avJ=>ZA1+r@@8Ydi=J|<4ON$am?z<^AgN1v-J4zf zXcPdsmaZV*1e+SGHorm$`n~jO>L<22SyJ_dUYpAYEfDHytI>S$i1tfFm@`2f@`#Zj z%>LJ}xDPx}O`y&tSA5xy=U`qWtoLKSuUTOR}CT=*AH}^_^Am1x$`71Xne~RC#bMmBivZE=%Jy#{+z^Bu->g+xuFK=fcsx}O+6ec4;2E|U?KS8 zE#mZsAn|O89w_b?R<@C!nXlI}qSM-$hJA0HHAH)N;g~upAAXZ=>ZRInykdmPl8^=( z&s5&o_1jJHJUh;H+M}@Qkr@n^gTA31v|EcYgC1dj{$Qi2KYEm>^v84+m7deO!gv-k zE8|iW2#C_i5Pwm_d1ydUQ-U~&{pR27t0a$xtC^n9k~42$s-pQ_*YW-{+uMY3UhZHC z*%!Zu)*AZ6KAU9e;;eS!p)sF=-W48UX6L&QhUPtEVK7Sis|o(?GkrghX%)%3WtWwU zXpuvIIiG_ALN17OpkbA`WD9upOoL*J1%r{+4J7~C+qUw7Sbp_Q=IO4qL%uo+!))kz z!;|u!x`^4d;#atd4hP1~TU=f@ay!*Hmb#bYpHg2{qcEW7dxJ|UQApYMD8@hvG|I`D zB0;O%R=W~Z8JjBZ@x~}>&iHfg9R+NU@z zzPfFw)iZ~5H|*1skHVwdbf{z_#5f@?%UyeeTjEX>673#2-knuLvitDPKQ!BJyQ7{! z+17lITdtPP=!$RG3j#}}U3Eo_jrfUwUIhv35N}nb9+%1rK2c-rwuI}Go0&;b>{bXI zZkgsJdEHYX{`h#}TGonNezrum0W%jJ=8sr8BNpYI$z$$HZ&?%3r?Ur=d$#^`b(9$s zJtwHHTaz5FGK|n{s*_>XLG1ED)D#If1iQ!BkVOBsvMME&TIQm@J2x|ojc9j&zRqmI zM;VipstfPO6*OHsCxX`}wmsIf6XZnmtXjLNYN)UIgu&3w4C^Thk9R8Sp5Q=q(ROI_ z;x})5)ZuL-XOnfcHEFnOCukhmC9qTqwxzW<8rC?Q|zYC4kc3Z% zHDb!a{O$2rEF-JBS*gK)yX_FVPX77x*)@ZY8Ytly6 zq@kR=ClQo=Jdj}V7&99|p3NEdRUZ1QGGJ?Ui@Q6uuB(i5*3M{r(J`=gN(b%hWZA zX?f+E15ZKS0tb(q&9bH2OrUq^V^kT4G7rK%#J19KcWp(c8NJ2UF)1JNC@G*64?`b0 z5}_&&Zn}`*=!@5~g9#D&vaDFY3;wz(2zF^OpguKH2Nk12(_=LIsk*s9Ik6L+=cptn z*qG>Hy70Xn9&BxYpPM#AVd%0+iTxN6SKGk8DDKOb2$+VLB0+_+_283JZIU*@!Yd)6 zeB>yNKrBSKN=Ocp?+6c6kt<}AV92-;fNrmkM-rxaN;1nUMRnDlbiZUjC z;Gc{8@>X0|7g0iE@&X&Y^U6rU^!?eBoWRhRG?_!LBClD0zYom*aE;}aD+qBIn#PKJ zY{EV19-1P0mYmwkV>zmGV-{n&ff5j0>gJ2>HgIDM6T18?ObXn!c5;$LGzKL-3ZMdw zQh{gKy=cOIr%J7AiqdtGX-m>yf|wsQk&JSo)|QO@1P?Zw2g6nye?^ao9P0+zH3>fG z&3*nPo?{$;UZLR56}LYKY8w`1B^Ln-Zrt16IE1kuUvjb0)=*bTS2{(TS?+nFkN`d2v<(A(v8X|F@&w*DS7zSYw=jJxu`-1ji(}Le&<@i6^V(iQhcI zX9KbPjV_c`ZrJx%D$N>iwGF`7%i~w<83H$T5a4$FeI}W=2h8Q@%K25$ybvYAXICE| z^54su=>xR)ZHbeYkh0}z>@MTC)v01RZ#QfAJ;JVLkcyUD-FUyi6-o6j<0L!9clx>C z%qd2H2DGN0(ce0DBq0W8TAvML~|^zWj8gt-9850g4&Gxld}1ty+BZ`l>+{M z(dvQR?!#sbT-V}57*ys=ovIz@%}y#0r0PY7SKa{MBpRNKfmD1xrgDxR4$S;=jn|Ds z*aAgW)w`(1P6sw+F|9r&0jyAl#fC7bBfsDS6rqaXnB}EzlbsU2pH=A=Ml|sc=E+K} z)MSc{sr^9*41;(-X)j1JXmqFB=osvOrxvwF5keVyYqcA7iAr#R8C~Fa(#jK5&(ku?UDEpxp;ZRH^fOk>l6vnBM)c84Y5mPOzWfXHhBqv7R|>gN`F zc^mCfEcjPhWP@ckeW`dq^Av?%BK9ktHWNPhO>>D=jWWI@bRiY)mEcKzpYGrcal_vl z^qj0*z1I#V_)3p7#MuTH>@%W&56-crKL+;l6AiX)h}dNgt7hs9Gv;^#3PlXJplqa5 zNWc7rDL;ykhEqe=vygAZ5=D2CFMyd7La+Wa+|6Vim1v~&!tZ^mg?q5t=Yf;T-J`kS zQI}m*E$#;0nZxTZHy9^-@K{1DFa_C?sr1zD6}O`UPZm{Bdc(7N>hSD;=fyr02=BS+ zq6jP3zj6lxHp{eae=ABPtn^0g+hKac%>lDwM0N7q%Z{6#3r-D-l`O?|>;_tbS^M1`6*tWntrK#j!`8+2 zmLsJyCd*(4Ud`xG1~?msbdp>=f9Z7ur@lJ!qa?%o0t>NXrO2&`g+@gc!BEU&9ZOUT zJ4SbCgs9#tEEF#1hG4v#3&j*Ri3 zo1|6Kd+{=}TZv}CdU`z_ns|@3tude;)$WYEj@3M#E-P#eBAURa~bLGy~1z+|B$W2}^42$`1?j6EBlpVM`=-AY~x+G&;S+mF?Fa{RD z_Q=njw9*XzuO%RVtG){sUr}9PtkE2DJ|jRlI8vi>W^TGROjw!VDW=UOl^CY~{?(~l z&2FUx;j*!1&zpzBo$F1{kLi-G5V3nxEA(0MvlA{3EuMatybuUgz-p8U?05n}z%yzJ z);jmP0`3TD+DIg@oS6CT@}@|Hxd|Sk{{AV(7o;@GAqU<@s4Ua&_FGr^m zZ*zK^4+KJgDq5r&EPJVU`Djn3h7+CkskXAuDrjoJ6XzIbmj4AYuFvQwSc9uORWO?} zX^#5Uo*Mb3M0Ma*+}%fQ^m+>Z9HZ=tqGEiN*4w}l^a z*|0?2jBti=A=Q(6efS+UVxAtZN$XjPLxd-nSuk)Tmtk&TsIgUUBBVf_+olg1YtdKo z5+>&&2)f;#&LXgqjxRNag49;oeHa!xk~(Tx6%{MaDNC9V#g(;qWBC0%5^`3@qr7(N z4fz*;6x)4-1{=n|cQ^bhAgF4=nHcM4TpfaOMA#Er{j}+2O@?x)S_-c3`%YEe)w^kE z5NX>i8t57P{3hjLT|bHCR)>=%z&leueyEt)L&G?EiVmB(vOESku5ru!_%K>n%ZJW& zQL~md@&1iagvyC!(R!XZp6Ck0o|}dzS;Z26d%;DU{5xy0_(9JusQus60Ez7r1!PAryv8)5l#13W6qOf9K_PNjPo`VY)FLGPuj7{qX8zlgL zrb0d!)d0$?Zl@Z<)R$^J{g*G}E(iI;RSwutT+_`X=y*syrMSbL>Rp_t{*YQ)sy6&) zvvfdi;_B8NXjWJALO`-yVcX5EsWge(8BxcKse-Id=yz?UV=~WW3Y?7IWfU@{Q7~&% z^SqLH31t}*x5(YgcT8m$pY%33mu&{G(<;EK67&mxE5%k^2*B}nN`wB4H-lk8c_7)> zm`Nu@4>;?>lsQ!73KE^>K(dga?7|zINGw!&w5J^cLknoT$sH;1%9w?_aqZ22qUjiJ zFEV|D*;LStQtIOKP42u@RQ(+kR>SR)PHL9*4EDaxOlE{U^}Bu{RMWo>%b-s$-V3-#JK8KN*J$U8<{g>v-~L~?^530a7W~zMek=5UnIDr!sc$8g zSx2-xpRskl0*Ac!orMeSnJ3vFS*y*Zv$rVY%a|Y-Se6-g;C~abdM%U0jJAGeDoyLD zt21XvfLt7j!tBuU;f&gKq1abmJY+8(@r1uTxF!^q^9Ln$j)KyV@Ivo}c(SE-eB$YJ zh-VSA{FO>}ShFh)A5N~pQ*;4m)jMj%p-c;2CjR&M{cH%PKK<1wZ7Qr9 zq)H6>lN_k_6w|`6nN!s#et9o1qQ2jO0ii-*6r4Gf4tD}RCa39t(p~G~zw)xDU^!ir z(b`c)rTn3PF816AG}+jUvy2r^0ddd?=kCaW)pDVHi`1sUF-1*;tRh&_OWzmUQJDc6 ziBa6G6?Ne0-%lf*COSGMMyJ>5TAClWq0W66H$}xMNI**o&N;1Irb&uM$B`Mwg^)M} z!yAhO?)rai8S$fk6~z|mCK%Tzb1#I#;AW7PIlnVdpxTH!BY};HQ^my%p9pO}wvgeT zE^qRT%!>Q4q+`AO6s$n^Q8RnDqS>;(RT;Ii+31QMstkoP+O&B&eM5VJ_PNy^ho35n z*_l6UQ7^S39=GhGdV^V{2kz$ij@O(F743^oEENk4YQ%1T9)G??Cw+atDqiPWC7M=j zcGmH|td%_f4VS`}@+C1UITb9hvZpI!NjmxYRW{$y&HlTg&6hlL#*SK>(VJi^Ovxya z;;!Z^!He`@R?y{56iEK=&5iBQqbx;1PY+2QZ9|0vOm&KqWTa@HmrQ z*-q#zL!^rJYdxW_C>oUE8-d`m3xhqBbeecu^U)9cQ8OrWCN$^D)w<9oLOSi!q*5zx zcuG1unNTb{Dz*~Vo9k-vr*X_0BR+c+;}j}rV>>-oRuGsioeJ4m!~M-eU26uERI1owL}^e4_edtP1`el`a$WYT4E{~wrr)h7rk2c@&;+KYFapRv4%YOT>h zEio5NHcANM3KiLqJBG<1T?baP)8OJ;!`%%bHQlOfNZm1Cp)(}L?du{zC47|eg9tw1 zg=^fZ-;vIuvOXWfN)N{WKLP9k6aM{brNd!=+VbeRkqFcX&IL;!EK!cGXO+!cD>G}bpmx0^JLl=Z6Q27O{lug*0N-|t^FyskcS>bi0KtMHY`{(mK{;*q{w(BAK zZCee>=jODc3N0`_*>WCAgjXHjgjA7@NKnBzf0pGIXwv3drur=iV^&j0QJM$J2Hkv9 zxQ}Mx#}8+>6x2#{7%fC#@+>%~O)9N_F|=pU)A||&V}$4S4gbJ=s2DrX9|qD$K46u& z!djJ&a~z<$Ot%N6f8KIDOXDQ*ev*<05y}F!BcifiAH^Ib!P64OBNEvr;}XPLS%~;O zr{4V$?o7rmLYnVIiF4hRckkwjW!7|0MQnQd7hQ5_6z4V(!R9@_tx%GpQ@EIJka?J} zG2Uky3;c)c1Xi=l4b3x~HSMbJi}RYzRdFTZjf43#p^24=MCm+Q399c?(!@y<7vmXf zDa||{&ClI~e@{9U6d%sWibGap^eGwzlV79N-(>Sf?hqf0=$yVAX_gp=r!{Qz)QGj% z#}1c4^9dA}K|Bf-w~U|)xgwY5TM87nS;Gn)9G7>X3Kh4D-wHo6mqo)06}R6J3sN7K zb>9jWw?{Dx86B6&5epT!bxsSGU6(R33l_H_tP33?mtjr|6t_~&3#%ZP3#j`(8<%;>3>LR$0S!AKm$T&z7q_?}4PP6VQ2`AUw<|pjxKx*-Aq^F`_>m2>IF}ba z4HUP($_>OEm*SBP7Ppz_4TA`ms>%%$w=eJwBm)63m!K~W6t`&e4Iu-Ugy#(sx1072 z1_PIYoCy@SwfPMz0+$`|4HLKX`wjL2ms9f%6Sw^S4fO(-iS`W>m;C+>v$wYb4nYE! zp!p3Hw+sai^8%ON`wbVD{{9WIx7Q#JK?0ZP{tZ#LX(JA{0+;^>4k`gOm%g$DHh(dp zOjar@^W@p`Y$?kYqA*1ig^Gm^wotw>Q5Gr`*4RRuA_!AxU4-c1eIccih4zJ1I8hbS zIK5?LA+5EAafS3Q6tGYRCkhKtMSnzqg_0o_Fhv>V0CJ(M426SzypIJ;Rl&=`!A>H& zEvE}D1HAWu0Bq)9YYX^!0b9eS4p9Zvye^EeFs=$Ctt>ojrM)ZQpD}<(kbsg6TLDP) zfJ`ue3TzTIpa#HT3#)}Kf`=#I33OYhi5u1fp71d`RVaJ_D)8`XD;mI8ihm+ncq*9e z;Hgys>zxFmBH$eqyhpr%QYi#<0E`rXp+?>a1tA z_kh)&XYIi`3#kjDh^dRZChB3-n0g%Kr0PD%Lf3tiX$=u&RQHkRbsyj~yAtbCALX9< zAU9R-3&2&quR;md<0v5N124*VlkxdcH7h;?1D@{{<#F|GR)2g+Y+5b=Efyu9!X_dp zUrxq%w`e*WfzU>2ygVw8Cxe^mEiO9$4x&0LpI3hl&#S|i&x&%tm`(1gClTYE6K#=Z z0>~Mi3gs>Rgq2x!PkAdO6%kp{tUr(CR5v(&&!emOrLS z_Sn{3Rl$22vr6@H{ytC*jqfnb{`d^*Ik!1ydYG5p`tN04#+dvV_GxFX!H;qB zxz;|`cDm4Es{1i*XReVMmvSx41=6FDkJdupaW?M%fwSp3&V5cLXI`e*kG6l_EHcll zwV3Dae}CV>EVuM4JVTEs$-VhfraqK;oulgA-^#qlXkLq9k5#MCajQZ6m}=E$(E0+A zJTT0&;YO_<%CU|w4SExf{QxO&UlzAc(V(3HYasC{GT_juD+K?ys^O+JuQj|x&ffct z-UGEWcFuDYKaQo#Ikv`m?o0G?9nWgaSuq*1g@3qSA$Q&sMR|Mq^>%W3R(x)#otIa? zAgIs4w{2Tc`(^91k8#`J)B9~-c&)cx5sZf!-nwlKaktx6c<;3xz;1|b2surJaqIAH z@M7CQ3Wso!00ZFBEH7~f7c4;aup0KHIq7YuZ=r7?a+dVR zkbk&U0K*nqn!*Ci*xT|h2G)dnB-@2YqVn5#O<`0TX5ifN6y7xN=QB0*eQMJt`CHh~ zwV*ww&2i(F_cGAesZA_o1_N;o(O~;oTn^rWNCi$Pw_I4c&f=NdP#>jb?ft;AQgmGS>k>pk{Yy(3;QW_eLnZC52uR zRr4lk8}+G0?G1u-^&u_n1bA~RMN+T);f$Ssh_ohZ12{z+w()`!jvSZ(A&THE4Zztn zX{Lz=&v2B)Xo>HG#urkCfci|cYT!aNm(UIl6@QmR9znoPO4OjHXEYj<`TMkrMm=F( zGby5cX<;*&Cs>1YS`)Ti>d)UX9n?pOfmQO!nuUT}MJ>HaZT=ScEVxOdN};_YE;0f5 z5<%jfs?d%`G>8drbOGsY92Op=M98Zek&Co1LsYx!@BBvGJ{0eVLdSq;a zx0hlM4jF&0N*=v_dV`!N5%J^Sj5i31-&fP8K*` zxA-|2O@=X$Vw0V4=+C?(^9TwF{v{BjX{G@NV=aG2lb=JzI1&*_fu|r?UQQb*vX5HU z;CT+UQd%)zMy-pg!9Ay=OB0VEU@LI5c~4t367%=;s`ld6Ae>hETeZR%41kP88<1L$ zhr55lO%s1#~MU@4k)(}QIc99N3^E51h%gYTB6?J zH`FxwD~UUDn`Q(>aRK;i;lx!rHv`5#g zokN_ALyj5ZM=n!vjEen47IksoHqq6*w@yoHZ`0rU%hmvz2Yd^o^?vh_Z1VhbZd{g5 zRp=jRW{*k3l0q`>)bb1>m15A;W=Mag&^nSY=e$U9`X*7)$nbkfQBO1!$B@CG)-fCh zaY4XXO)7Bf7(WWiAJKof$l5`OQdH{5nj-)}Pgz2NZ2@mZTI)#TmATiR=PWbiZ@O*G zeN8OlRyC?)8^&WVc^6&#HSV#mtrGzk4S7#R$$z9o06nOpIf@tvV;W;=7aSbf0*$m; zw1Jc&a%dYOh3_J*H9AsEjEqmQ{nCe*krECs1N;K7m%|bcD`D4YM-=&;dE4fkVIV96 zL20=}T}9Q#WDp%VhV0m~7Gf@HQuG886F80`8HRom3Bd>+qh+cIkZM^)3692e&5}rs z#`=|`bj;$p0wrR`u4Xv**J%@dxkT4rycX#6=zo)!PZJIrGY3_04IMsec}`-7#$%P* zj0oO4N>9#OQ;JP_N}!xZIto8fxm-XS89k~w!nahBgqeOGmz)z0MSm?3PX#kvuN_rc zD6v~`H`J)i>DtVTt@EeuaoBh~V#*i-Rc-JD2CgbQMAV+|!snCYJ&OHUUbFQ#2z?vq=MDg(^ zh~)K*qZlS2rUnZJB!5TE@jZAMp63b`1C8CVz`8eyYxLXwQOyc}ZLu zohXzj8ximrS0ouaC)>pE1iwk9RkM9l|C|%L*vnWzz>+kwekMH{ZOK&4VT8O=(9Gr; znv9+1tdIqgy-k{wRSxDlk%zhIS=FVR$DwWd5eY=fRh#GmPasc(sY{?(+yIT zXa>=CTQVb<1%Gog>!_5XC;-LKB`OMCEC(i0G?Nl&0+IS`k-crUNgGoum0BF~hOR*f z_nf9KeTi-YZH;TT;XYP3b!$#q%i{)(ACGW?KvVMRJjDdE7$Kw{y#oP6{4Zf1trqsU z64UPW{Q=D=?!1JvYWfNg>9Kq?hu?maEo+ZpR&7(;yMIK3*`%PJ+=nB#6v+Tbs^n@i z@ftEC*W4B?Z$ls>A2k)#9BnL9%QFyeVhGJNb zws_0zEhs__XC<2Jv3)#v{&vx`l61;UoGbvM@gQ82Xhyi>FKv!E%Q28`j7c#MQ7e@np z0YHg}qxw?NWcnzwz)%%)oECX&Fx5@?KU@;htI^@swnE;1%C$mUDCdhuehUZ4LHgNa%ObN%tiaGuc_vg z&q>VYafe!**b^w7r#bn2o?|2i7Dh&DbyTwpzh#2BpXM_rnkx$~MMb$!<-2vZZmgkn zXsoxLzu@>=DDw+izR2e?zNI1}ogOJ^W-9L|sDd;yq`h!9_wrfBc)I7K)Dw5iA<%(M zCu#|HeSeoL7!E0a5B@F$Stzy~)DMon&Xn$>1i5yfHcsD$NLWzI_tnW_Wc@{|tgWTV zvPpgAQzXbMcr=%>6RsIyS)`TCY@T7r_!~Es`~2hToA0WU^_%V}YF#xweY+)vgOKPk+AN$~%7LpJhdtK6BM_x2B7z1Te^?u8!a#l$?N?b9$%sb1zG*&T}bE0^n1bhP`+ z>!S}q(eBZ1k3vY3ND|(+NwRW*Bt0id^w8sTa%t!Bz#+)}3?zR6vj3V1{St(J zQ_FfT>6U!kjL@4f;&f;K`KLW##Eag8p^y>u0}jUGH{{fu6Gr5W5Se71=;MU(y_`6k z49=@j^>ubOyyOoPoK}DOy_)4O;bZf9IvPx`urnKuE~>wV7gc$8GaTPs45zoF!FT>J ztG>;D+N`phux>Ea90R@T82p49wua(7OJ-yb49PEGM&?H3 zLwQ<$Oe%GLH7w7^*VhA3u8V3k8<2{jV*Or@m{PDR*LP@G?$DqNCbQvSbTRz;wN|;? zVfhE@9kLnh$)Dw4<+t*C`R_J6{U+@E^!E6F@cnaQr(McT?GrP#iBH7LD0-Q>3+y`t z#+@%PVA3XWBfEL@>#LpP--txF+{Vb-Y#RAQBnI0{;zf%Ty^+Cu@#fvhyL}?XFW3E= z6zQLg6uClL&q?XuH0qvIJ*hdU_oN!kstGH3HJv66U(|2V>Dgd{D&1zzMn-gR_w?O= z-X1Y0tgxZP9Vwp5Foa(2U|a#Z+@@$FTetV>)3f6fqA2!I6dU(wpNb;WOA#8nU)%I- zWNc18?7cle+kMz)x{avm5s$Jqjh}OIO~d_ifI5qD;A_z51BeCRmG6d0v5&7Ru-7MK z&r!uQKiG1Dr2C`sO>+Y32(r4qK$~5E-SFd&yTJ(Ki?8$0a#RNzSLN0B+baklG0cQh zGY>Uy?yk?O$#i&mGmkp)zmO0b)MF%SZ!x-?g1`9VZak|l&PFt={=gII6L&doy&f|9 zOCnhG=qZkE{7yIi(;Hdl=dX7TKA|}~v_00WRtGKa%Lc?+>Ja+XVUUG;*Tmj`d2IKs zOR3q&aG$<@{dV^VDRn&uxu#S`{UnNy(|RdI#k{0|mSxCN$$Y05@6fB)^t%U>{BIqY#_ z+BGI$JPkYDn(W+f#kMEw*utfMR`Bbhl^ZQdr&k!ZKkm0yZ9CPG$VOi4_{00d_ZU|k z_BdhPIAQIcMk4(#xOP+XG&MPsj`OHp$4ZWJ5{qj4z0IMG?D*-)?)x`bnK=5bH+=;j zQTB?zSm?c-^9UIBut3H1rxB@yGntJ4IvdZfxW^QqfrfGdbp{buWv+q+FNWm;Kd!iOp{0lwLo3 z`ODEhiEX+6Rgg_Y{4Ga+gNbyMParhgZ)^rr3`VBEUk^ZHx0B&@)uwGDuk`l)n-?!w zC3`%sLD~ZT_c1EWJ_T+4MFQ4`B}8rH8(!?3{QCTmi0VuKEKp_fS48orRD*hoV-{B& zvzE;21JgPu+0h^#fUe)91Ga=68yV)^qoZF=cZnS<(xYhcXHpG+eGTR**wG(XrSsXQ zXd^?q^YZA${xMK=++Wa@xE7xJEaGoJg>o%KS22cNqp`hTZ8eFi7OhH8_ zZFA&>Tzx##?H*QBH2PV1Mvr0kFvFH@Y;73X=B?3~*F?%|6!LCT%XmiKMSe+^PF@3J^x+T_rC7W_0N6ZpU-{WpZiM|_L*-yFt4sY z@TMVkVhoqx;_~%Qdwzh;rLKwQ9U~pPyJF1r7hOwpwHl!3KlKH#?2${cez|in^PJO- z7|&r;>AAyK&W-s;QcC(x`>Br_zEzYc@strmb4&j5q^h@-x5OP&g&LF;wG5YWgtXiA zZ#HQ|C^|Y&zCw-ll{skLk<~je=W`T?3N(`!9|gqw4o1fm!G9}&6QZ-!o0#Zngid{$ zU06&S-1sDX4^&f+NVQGe_~V%B1NFIHf_L+x*8%&4#?dAiedXu0KsB9Z8B&}1+{r|T ztCh=Le*UX)6J@Dc6~8WCE79?emN0Vqcrs^ju8bdV3M$~zHb50ThXrg!NoZhfJGci4 zsEAG&0FZy@?J6SakTiwg`-`+HGzL%*PzMbh7U4{OXx$B@b9q=mDC#2v;oHG5tTeV~ zQ-L-JSoR~q*QEiEA>bfUs*+ZJ7u8z>au86C{9i7x0puZ|1r_KKc{>2RAb*+1I|5h; zIDJ6s*u(~mAfT8jh07ekLKe)mmqNNHa25hiZ~y@8^#&OF1QUuW5r;R`$K&-4pvF#- zfz0EvK}ZbKjEE#~3%s3;G>)QNbgv2AE{Oe~T>`d_zoB$*7l zPys{UwPL5pN<2)kxS1(lJ0E^3faPA5mYk6su7bSnyO0v@tP%R!%^~Rz-ebt2hQ@eK zN>OJjEn7QpVlQI{45o;gJpegoC<~WS!eC$(tyXDnkncq|Tl))OyHxGEqs*ADChY57 zkZsvAKUK8b`1m7guOAG12L)@FKJWo#e;|)96Vb}=cBpKFB)hOo8&@JCX;$AhJor|l zEm|}y?$+5l?K=*V^>6Q;J&fLkd>rt9)O=ya=-|WAGtOFNU&cgJ5qWO1FGcO^3*S#? zAI+p)AFQKDe}%n#DJq?Mv8{xCZ*Je2HooSm&gX;anRe8~q5T#Q3(EUvCKtG`R->B`?iQmnd*0qI`R!x8W1qHjpFO-%j zVz%p3hXC+$m0s{ck6yJz*ef4`(X;^8;z_rD!+0XCR2R>;gbWDw_ zZ7AdZRna;ZA9KEZ6>{H9S9V;H1ih@F)noJJj_ZFPF_XkwWAto%(w2>mLze^&d_@Lc;}n|7Zkup89z zlZJ={D%BTi>>8RBgp@+4u_y8f0cnCHNQ<1vNa@n1l96~M2WspP5gaLH`~Sn3$Rifk zBs`sDLZFi=WCnpjCR0sF^!>I(TQZ(OU{Y+TmdO7r0W76PjzJM2u_uru3JFZXO0Nrg zugo1)UDO4W%e`fBB_H{9L`)_s1Je#gp)mX#89q;qpzm@1dKd1R!qI4^g1=*MCpF_pgY+3<9m)pOn^@7*TpJs$`gfT$J zcA;`o1zpG6*KqbO`VP#=rzmQ-0kbjIt4%9u-$|Q5+WKHGTv+>TNa0@f8G`kv9