From bb144f069e281a4e0720b5c53d6df21a9aad515d Mon Sep 17 00:00:00 2001 From: didericis Date: Fri, 22 May 2026 00:09:19 -0400 Subject: [PATCH] Add bridge switch / bridge-derived level graph; set up exhaustive test - Define bridge switch (E/O switch whose new same-parity edge is a bridge in its parity subgraph) and bridge-derived level graph in the paper. Note that bridge switches preserve bipartite parity subgraphs, so every bridge-derived level graph is automatically valid. - Discover the E/O-switch relation is directed (irreversible when a switch produces a cross-parity edge); T*_9 reaches an ELG forward but no ELG reaches it, explaining why it is not derived. This rules out a simple switch-invariant characterization. - Bridge orbits are far smaller than full E/O orbits (~10^4 vs ~10^8 for some labellings), making exhaustive search feasible. Each of the 4 open duals has ~150 valid parity partitions; exhaustive bridge-orbit search per partition can decide bridge-derivability conclusively. Co-Authored-By: Claude Opus 4.7 --- .../experiments/bridge_derived_test.py | 145 ++++++++++++++++++ .../experiments/directed_orbit_check.py | 125 +++++++++++++++ .../experiments/exhaustive_bridge.py | 143 +++++++++++++++++ .../experiments/orbit_invariant_search.py | 128 ++++++++++++++++ papers/even_level_graph_generators/paper.aux | 18 ++- papers/even_level_graph_generators/paper.log | 26 ++-- papers/even_level_graph_generators/paper.pdf | Bin 545810 -> 548304 bytes papers/even_level_graph_generators/paper.tex | 31 ++++ 8 files changed, 595 insertions(+), 21 deletions(-) create mode 100644 papers/even_level_graph_generators/experiments/bridge_derived_test.py create mode 100644 papers/even_level_graph_generators/experiments/directed_orbit_check.py create mode 100644 papers/even_level_graph_generators/experiments/exhaustive_bridge.py create mode 100644 papers/even_level_graph_generators/experiments/orbit_invariant_search.py diff --git a/papers/even_level_graph_generators/experiments/bridge_derived_test.py b/papers/even_level_graph_generators/experiments/bridge_derived_test.py new file mode 100644 index 0000000..2308c94 --- /dev/null +++ b/papers/even_level_graph_generators/experiments/bridge_derived_test.py @@ -0,0 +1,145 @@ +"""Test whether the 4 open Holton-McKay duals are bridge-derived level +graphs: reachable from an Even Level Graph by bridge switches (E/O +switches whose new same-parity edge is a bridge in its parity subgraph). + +Because bridge switches keep parity subgraphs bipartite, the reachable +set is much smaller than the full E/O orbit. We search BACKWARD from the +dual: a bridge-switch predecessor of G is G' such that G' -> G is a +bridge switch. We look for an ELG (matching the orbit labelling) in the +backward bridge-orbit. +""" +import sys +import os +sys.path.insert(0, '/Users/didericis/Code/math-research/papers/' + 'level_resolutions_of_maximal_planar_graphs/experiments') +sys.path.insert(0, os.path.dirname(os.path.abspath(__file__))) +import networkx as nx +import time +from load_holton_mckay import parse_planar_code +from tutte_dual_treecolor import dual_triangulation +from test_conjecture import bfs_levels, is_even_level_graph + + +def sig(G): + return frozenset(frozenset(e) for e in G.edges()) + + +def parity_subgraph(G, labels, parity): + nodes = [v for v in G.nodes() if labels[v] % 2 == parity] + return G.subgraph(nodes) + + +def edge_is_bridge_in_parity(H, labels, a, b): + """Given triangulation H that CONTAINS edge ab, with a,b same parity: + is ab a bridge of its parity subgraph (i.e., not on any cycle)? + For cross-parity ab, returns True (enters no parity subgraph).""" + if labels[a] % 2 != labels[b] % 2: + return True + sub = parity_subgraph(H, labels, labels[a] % 2).copy() + sub.remove_edge(a, b) + return not nx.has_path(sub, a, b) + + +def forward_bridge_neighbors(G, labels): + """Forward bridge switches from G.""" + ok, emb = nx.check_planarity(G) + if not ok: + return + for u, v in list(G.edges()): + if labels[u] % 2 != labels[v] % 2: + continue # only flip same-parity edges + f1 = emb.traverse_face(u, v) + f2 = emb.traverse_face(v, u) + if len(f1) != 3 or len(f2) != 3: + continue + w = next(a for a in f1 if a != u and a != v) + x = next(b for b in f2 if b != u and b != v) + if w == x or G.has_edge(w, x): + continue + Gp = G.copy(); Gp.remove_edge(u, v); Gp.add_edge(w, x) + # bridge condition checked on the post-switch state Gp: + if not edge_is_bridge_in_parity(Gp, labels, w, x): + continue + yield Gp + + +def backward_bridge_neighbors(G, labels): + """States G' with G' -> G a bridge switch. G' = G - uv + wx where uv + is an edge of G, wx its diagonal, wx same-parity (it was the flipped + edge in G'), and in G' the edge uv (the *new* edge of the switch + G'->G) must be a bridge in G'-minus-uv's parity subgraph... + + We must reconstruct: G' has wx (same-parity), flipping wx gives uv. + For G'->G to be a *bridge* switch, the NEW edge uv (added to G when + going G'->G) must be a bridge in G's parity subgraph if uv is + same-parity. So check the bridge condition on uv in (G without uv).""" + ok, emb = nx.check_planarity(G) + if not ok: + return + for u, v in list(G.edges()): + f1 = emb.traverse_face(u, v) + f2 = emb.traverse_face(v, u) + if len(f1) != 3 or len(f2) != 3: + continue + w = next(a for a in f1 if a != u and a != v) + x = next(b for b in f2 if b != u and b != v) + if w == x or G.has_edge(w, x): + continue + if labels[w] % 2 != labels[x] % 2: + continue # wx must be same-parity to be flippable in G' + # Switch G' -> G adds edge uv to the post-state G. Bridge switch + # requires uv to be a bridge of its parity subgraph in G: + if not edge_is_bridge_in_parity(G, labels, u, v): + continue + Gp = G.copy(); Gp.remove_edge(u, v); Gp.add_edge(w, x) + yield Gp + + +def search_bridge_derived(G, labels, max_states=2_000_000, time_limit=600): + """Backward bridge-orbit BFS; return an ELG (matching labels) if found.""" + t0 = time.time() + seen = {sig(G)} + frontier = [G] + rounds = 0 + while frontier and len(seen) < max_states: + if time.time() - t0 > time_limit: + return None, len(seen), rounds, 'timeout' + new = [] + for H in frontier: + for s in H.nodes(): + ok, lvls = is_even_level_graph(H, frozenset({s})) + if not ok: + continue + same = all(lvls[u] % 2 == labels[u] % 2 for u in H.nodes()) + opp = all(lvls[u] % 2 != labels[u] % 2 for u in H.nodes()) + if same or opp: + return H, len(seen), rounds, 'found' + for Hp in backward_bridge_neighbors(H, labels): + sg = sig(Hp) + if sg not in seen: + seen.add(sg); new.append(Hp) + frontier = new + rounds += 1 + return None, len(seen), rounds, ('exhausted' if not frontier else 'capped') + + +def main(): + graphs = parse_planar_code('experiments/nonham38m4.pc') + for i in [0, 3, 4, 5]: + G, _ = dual_triangulation(graphs[i][0]) + print(f'=== dual {i} ===') + found = False + for src in list(G.nodes()): + labels = bfs_levels(G, frozenset({src})) + result, n_states, rnds, status = search_bridge_derived( + G, labels, max_states=500000, time_limit=120) + tag = 'FOUND ELG' if result is not None else 'none' + print(f' src={src}: {tag} ({status}, {n_states} states, {rnds} rounds)') + if result is not None: + found = True + break + print(f' dual {i}: bridge-derived = {found}') + + +if __name__ == '__main__': + main() diff --git a/papers/even_level_graph_generators/experiments/directed_orbit_check.py b/papers/even_level_graph_generators/experiments/directed_orbit_check.py new file mode 100644 index 0000000..f87e560 --- /dev/null +++ b/papers/even_level_graph_generators/experiments/directed_orbit_check.py @@ -0,0 +1,125 @@ +"""Verify the directedness of the E/O-switch relation, and its effect on +'derived'. Compute, for T*_9 (n=9, known NOT derived) with a fixed +labelling: + - forward orbit: states reachable FROM T*_9 (T*_9 ->* H) + - backward orbit: states that reach T*_9 (H ->* T*_9) +and check each for an Even Level Graph. + +'Derived' (directed) = some ELG reaches G = ELG in backward orbit. +""" +import sys +import os +sys.path.insert(0, '/Users/didericis/Code/math-research/papers/' + 'level_resolutions_of_maximal_planar_graphs/experiments') +sys.path.insert(0, os.path.dirname(os.path.abspath(__file__))) +import networkx as nx +from triangulation_gen import enumerate_all_triangulations +from test_conjecture import bfs_levels, is_even_level_graph + + +def sig(G): + return frozenset(frozenset(e) for e in G.edges()) + + +def forward_neighbors(G, labels): + ok, emb = nx.check_planarity(G) + if not ok: + return + for u, v in list(G.edges()): + if labels[u] % 2 != labels[v] % 2: + continue + f1 = emb.traverse_face(u, v) + f2 = emb.traverse_face(v, u) + if len(f1) != 3 or len(f2) != 3: + continue + w = next(x for x in f1 if x != u and x != v) + x = next(y for y in f2 if y != u and y != v) + if w == x or G.has_edge(w, x): + continue + Gp = G.copy(); Gp.remove_edge(u, v); Gp.add_edge(w, x) + yield Gp + + +def backward_neighbors(G, labels): + """States G' with G' ->forward G. G' = G - f + diag_G(f) for each edge + f of G whose diagonal is same-parity (so flipping it in G' is valid).""" + ok, emb = nx.check_planarity(G) + if not ok: + return + for u, v in list(G.edges()): + f1 = emb.traverse_face(u, v) + f2 = emb.traverse_face(v, u) + if len(f1) != 3 or len(f2) != 3: + continue + w = next(x for x in f1 if x != u and x != v) + x = next(y for y in f2 if y != u and y != v) + if w == x or G.has_edge(w, x): + continue + # diagonal of edge uv is wx; predecessor un-flips: remove uv? No. + # Predecessor G' has edge wx (same-parity), flipping wx gives uv... + # We want G = G' - (wx) + (uv). So G' = G - uv + wx, and the flipped + # edge in G' is wx which must be same-parity. + if labels[w] % 2 != labels[x] % 2: + continue + Gp = G.copy(); Gp.remove_edge(u, v); Gp.add_edge(w, x) + yield Gp + + +def orbit(G_start, labels, neighbor_fn, max_states=300000): + seen = {sig(G_start): G_start} + frontier = [G_start] + while frontier and len(seen) < max_states: + new = [] + for H in frontier: + for Hp in neighbor_fn(H, labels): + s = sig(Hp) + if s not in seen: + seen[s] = Hp + new.append(Hp) + frontier = new + return list(seen.values()) + + +def has_elg(orbit_states, labels): + """Find an Even Level Graph in the orbit whose BFS-parity (from some + source) MATCHES the orbit labelling (up to global parity swap). + Only such a graph is a valid 'derived from this ELG' witness.""" + for H in orbit_states: + for s in H.nodes(): + ok, lvls = is_even_level_graph(H, frozenset({s})) + if not ok: + continue + same = all(lvls[u] % 2 == labels[u] % 2 for u in H.nodes()) + opp = all(lvls[u] % 2 != labels[u] % 2 for u in H.nodes()) + if same or opp: + return True, H, s + return False, None, None + + +def main(): + tris = enumerate_all_triangulations(9) + Tstar = next(G for G in tris + if sorted([G.degree(v) for v in G.nodes()], reverse=True) + == [5, 5, 5, 5, 5, 5, 4, 4, 4]) + + src = 0 + labels = bfs_levels(Tstar, frozenset({src})) + print(f'T*_9, labelling = BFS parity from source {src}') + + fwd = orbit(Tstar, labels, forward_neighbors) + f_elg, _, _ = has_elg(fwd, labels) + print(f' FORWARD orbit (T*_9 ->* H): size {len(fwd)}, contains ELG: {f_elg}') + + bwd = orbit(Tstar, labels, backward_neighbors) + b_elg, He, se = has_elg(bwd, labels) + print(f' BACKWARD orbit (H ->* T*_9): size {len(bwd)}, contains ELG: {b_elg}') + if b_elg: + print(f' -> ELG predecessor exists (src {se}); T*_9 WOULD be derived') + else: + print(f' -> no ELG reaches T*_9; T*_9 is NOT derived (directed)') + + print(f'\nConclusion: directedness matters = {f_elg != b_elg}') + + +if __name__ == '__main__': + main() diff --git a/papers/even_level_graph_generators/experiments/exhaustive_bridge.py b/papers/even_level_graph_generators/experiments/exhaustive_bridge.py new file mode 100644 index 0000000..d235907 --- /dev/null +++ b/papers/even_level_graph_generators/experiments/exhaustive_bridge.py @@ -0,0 +1,143 @@ +"""Exhaustive bridge-derived test for the 4 open Holton-McKay duals. + +Step A (gauge): for each dual, count the valid parity partitions +(bipartitions L with both parity subgraphs bipartite) and measure a few +bridge-orbit sizes run to FULL exhaustion (no timeout). + +Step B (decide): for each dual, for every valid parity partition L, +exhaust the backward bridge-orbit and look for an ELG with BFS-parity L. +YES if found for any L; NO (conclusive) if none found for all L. +""" +import sys +import os +sys.path.insert(0, '/Users/didericis/Code/math-research/papers/' + 'level_resolutions_of_maximal_planar_graphs/experiments') +sys.path.insert(0, os.path.dirname(os.path.abspath(__file__))) +import networkx as nx +import time +from load_holton_mckay import parse_planar_code +from tutte_dual_treecolor import dual_triangulation +from test_conjecture import is_even_level_graph +from bridge_derived_test import ( + sig, parity_subgraph, edge_is_bridge_in_parity, + backward_bridge_neighbors, +) + + +def valid_parity_partitions(G): + """Yield labels-dicts for every bipartition (fix node 0 in even class) + such that both induced parity subgraphs are bipartite. Labels are 0 + (even) / 1 (odd).""" + nodes = sorted(G.nodes()) + n = len(nodes) + assert nodes[0] == 0 + for mask in range(2 ** (n - 1)): + labels = {0: 0} + for i in range(n - 1): + labels[nodes[i + 1]] = (mask >> i) & 1 + even = [v for v in nodes if labels[v] == 0] + odd = [v for v in nodes if labels[v] == 1] + if not odd: + continue + if nx.is_bipartite(G.subgraph(even)) and nx.is_bipartite(G.subgraph(odd)): + yield labels + + +def is_elg_with_parity(H, labels): + """Is H an Even Level Graph for some source whose BFS-parity matches + `labels` (up to global swap)? Only even-class vertices can be the + source (level 0 is even).""" + even = [v for v in H.nodes() if labels[v] == 0] + odd_set = set(v for v in H.nodes() if labels[v] == 1) + for s in even: + # quick reject: all neighbours of s must be odd-class (level 1) + if any(nb not in odd_set for nb in H.neighbors(s)): + # could still match under global swap; handle swap separately + pass + ok, lvls = is_even_level_graph(H, frozenset({s})) + if not ok: + continue + if all(lvls[u] % 2 == labels[u] for u in H.nodes()): + return True + # global swap: source in odd class, BFS-parity is complement of labels + odd = [v for v in H.nodes() if labels[v] == 1] + for s in odd: + ok, lvls = is_even_level_graph(H, frozenset({s})) + if not ok: + continue + if all(lvls[u] % 2 != labels[u] for u in H.nodes()): + return True + return False + + +def exhaust_bridge_orbit_for_elg(G, labels, cap=3_000_000): + """Exhaust backward bridge-orbit (no ELG check during BFS), then scan + for an ELG witness. Returns ('found',H) / ('exhausted',size) / + ('capped',size).""" + seen = {sig(G): G} + frontier = [G] + while frontier and len(seen) < cap: + new = [] + for H in frontier: + for Hp in backward_bridge_neighbors(H, labels): + sg = sig(Hp) + if sg not in seen: + seen[sg] = Hp + new.append(Hp) + frontier = new + status = 'capped' if frontier else 'exhausted' + if status == 'exhausted': + for H in seen.values(): + if is_elg_with_parity(H, labels): + return 'found', H + return status, len(seen) + + +def decide_dual(i, cap=3_000_000, log=print): + graphs = parse_planar_code('experiments/nonham38m4.pc') + G, _ = dual_triangulation(graphs[i][0]) + parts = list(valid_parity_partitions(G)) + log(f'dual {i}: {len(parts)} valid parity partitions') + any_capped = False + max_orbit = 0 + t0 = time.time() + for j, labels in enumerate(parts): + st, info = exhaust_bridge_orbit_for_elg(G, labels, cap=cap) + if st == 'found': + log(f' partition {j}: FOUND ELG -> dual {i} IS bridge-derived ' + f'({time.time()-t0:.0f}s)') + return 'bridge-derived' + if st == 'capped': + any_capped = True + log(f' partition {j}: orbit exceeded cap ({info}); inconclusive') + else: + max_orbit = max(max_orbit, info) + if (j + 1) % 25 == 0: + log(f' ...{j+1}/{len(parts)} partitions, max orbit {max_orbit}, ' + f'{time.time()-t0:.0f}s') + if any_capped: + log(f' dual {i}: no witness, but some orbits hit cap -> INCONCLUSIVE ' + f'({time.time()-t0:.0f}s)') + return 'inconclusive' + log(f' dual {i}: NOT bridge-derived (all {len(parts)} orbits exhausted, ' + f'max orbit {max_orbit}, {time.time()-t0:.0f}s)') + return 'not-bridge-derived' + + +def gauge(dual_indices): + graphs = parse_planar_code('experiments/nonham38m4.pc') + for i in dual_indices: + G, _ = dual_triangulation(graphs[i][0]) + t0 = time.time() + parts = list(valid_parity_partitions(G)) + print(f'dual {i}: {len(parts)} valid parity partitions ' + f'(enumerated in {time.time()-t0:.1f}s)') + + +if __name__ == '__main__': + import sys as _s + if len(_s.argv) > 1 and _s.argv[1] == 'gauge': + gauge([0, 3, 4, 5]) + elif len(_s.argv) > 1: + for idx in _s.argv[1:]: + decide_dual(int(idx)) diff --git a/papers/even_level_graph_generators/experiments/orbit_invariant_search.py b/papers/even_level_graph_generators/experiments/orbit_invariant_search.py new file mode 100644 index 0000000..6f7bb60 --- /dev/null +++ b/papers/even_level_graph_generators/experiments/orbit_invariant_search.py @@ -0,0 +1,128 @@ +"""Hunt for a structural invariant of E/O-switch orbits that separates +'derived from an ELG' from 'not derived'. + +Strategy: at n=9, T*_9 is NOT a derived level graph (it is intertwining- +only). Compare its E/O orbit (under a fixed labelling) against the orbit +of a graph that IS derived. Look for an invariant constant on orbits +that differs between the two. +""" +import sys +import os +sys.path.insert(0, '/Users/didericis/Code/math-research/papers/' + 'level_resolutions_of_maximal_planar_graphs/experiments') +sys.path.insert(0, os.path.dirname(os.path.abspath(__file__))) +import networkx as nx +from triangulation_gen import enumerate_all_triangulations +from test_conjecture import canonical_sig, bfs_levels, is_even_level_graph + + +def eo_switch_neighbors(G, labels): + """Yield all triangulations reachable from G by one E/O switch + (flip a same-parity edge). Directed: this is the FORWARD relation.""" + ok, emb = nx.check_planarity(G) + if not ok: + return + for u, v in list(G.edges()): + if labels[u] % 2 != labels[v] % 2: + continue + f1 = emb.traverse_face(u, v) + f2 = emb.traverse_face(v, u) + if len(f1) != 3 or len(f2) != 3: + continue + w = next(x for x in f1 if x != u and x != v) + x = next(y for y in f2 if y != u and y != v) + if w == x or G.has_edge(w, x): + continue + Gp = G.copy() + Gp.remove_edge(u, v) + Gp.add_edge(w, x) + yield Gp + + +def undirected_orbit(G_start, labels, max_states=200000): + """Connected component of G_start in the UNDIRECTED switch graph + (treat each switch as bidirectional by also exploring forward from + every reached state -- since a forward switch's reverse is itself a + forward switch from the target when the new edge is same-parity, and + we explore all forward edges from every node, the BFS closure equals + the weakly-connected component).""" + sig0 = frozenset(frozenset(e) for e in G_start.edges()) + seen = {sig0: G_start} + frontier = [G_start] + while frontier and len(seen) < max_states: + new = [] + for H in frontier: + for Hp in eo_switch_neighbors(H, labels): + sig = frozenset(frozenset(e) for e in Hp.edges()) + if sig not in seen: + seen[sig] = Hp + new.append(Hp) + frontier = new + return list(seen.values()) + + +def parity_subgraph_edge_counts(G, labels): + even = [v for v in G.nodes() if labels[v] % 2 == 0] + odd = [v for v in G.nodes() if labels[v] % 2 == 1] + e_even = G.subgraph(even).number_of_edges() + e_odd = G.subgraph(odd).number_of_edges() + cross = G.number_of_edges() - e_even - e_odd + return e_even, e_odd, cross + + +def orbit_report(G, labels, name): + orbit = undirected_orbit(G, labels) + has_elg = any( + any(is_even_level_graph(H, frozenset({s}))[0] for s in H.nodes()) + for H in orbit + ) + # Invariant candidates over the orbit + ec = set() + for H in orbit: + ec.add(parity_subgraph_edge_counts(H, labels)) + print(f'{name}: orbit size {len(orbit)}, contains ELG: {has_elg}') + print(f' (e_even, e_odd, cross) values in orbit: {sorted(ec)}') + return orbit, has_elg + + +def main(): + tris = enumerate_all_triangulations(9) + # T*_9 is the iso class that is NOT derived (intertwining-only). + # We earlier identified it as iso index 49 via canonical_sig matching + # the degree sequence (5,5,5,5,5,5,4,4,4). + Tstar = None + for G in tris: + if sorted([G.degree(v) for v in G.nodes()], reverse=True) == \ + [5, 5, 5, 5, 5, 4, 4, 4, 4]: + pass + for G in tris: + ds = sorted([G.degree(v) for v in G.nodes()], reverse=True) + if ds == [5, 5, 5, 5, 5, 5, 4, 4, 4]: + Tstar = G + break + print(f'T*_9 degree seq: ' + f'{sorted([Tstar.degree(v) for v in Tstar.nodes()], reverse=True)}') + + # Pick a labelling of T*_9: a valid parity partition (bipartite parity + # subgraphs). Use one we know: V_E={0,1,3,6}? But labels here come from + # the enumerate ordering. Instead, search labellings = BFS parities. + print('\n--- T*_9 (NOT derived) orbits under BFS-source labellings ---') + for s in list(Tstar.nodes()): + labels = bfs_levels(Tstar, frozenset({s})) + orbit, has_elg = orbit_report(Tstar, labels, f'T*_9 src={s}') + if has_elg: + print(' ^ unexpectedly found ELG') + + # A derived graph: pick one that is an ELG itself. + print('\n--- A derived graph (an ELG) for comparison ---') + for G in tris: + elg_src = next((s for s in G.nodes() + if is_even_level_graph(G, frozenset({s}))[0]), None) + if elg_src is not None: + labels = bfs_levels(G, frozenset({elg_src})) + orbit_report(G, labels, f'derived(ELG) src={elg_src}') + break + + +if __name__ == '__main__': + main() diff --git a/papers/even_level_graph_generators/paper.aux b/papers/even_level_graph_generators/paper.aux index 0a55145..8890fd0 100644 --- a/papers/even_level_graph_generators/paper.aux +++ b/papers/even_level_graph_generators/paper.aux @@ -34,18 +34,20 @@ \newlabel{sec:even-level-graphs}{{4}{3}{Even Level Graphs}{section.4}{}} \newlabel{def:even-level-graph}{{4.1}{3}{Even Level Graph}{theorem.4.1}{}} \newlabel{thm:even-level-4colorable}{{4.2}{3}{}{theorem.4.2}{}} -\citation{holton-mckay} \newlabel{def:derived-level-graph}{{4.3}{4}{Derived level graph}{theorem.4.3}{}} -\newlabel{def:intertwining-tree}{{4.4}{4}{Intertwining tree}{theorem.4.4}{}} -\newlabel{thm:intertwining-iff-hamiltonian-dual}{{4.5}{4}{}{theorem.4.5}{}} -\newlabel{conj:every-triangulation-derived}{{4.6}{4}{}{theorem.4.6}{}} -\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Empirical status}}{4}{section*.1}\protected@file@percent } +\newlabel{def:bridge-switch}{{4.4}{4}{Bridge switch}{theorem.4.4}{}} +\newlabel{def:bridge-derived-level-graph}{{4.5}{4}{Bridge-derived level graph}{theorem.4.5}{}} +\newlabel{def:intertwining-tree}{{4.6}{4}{Intertwining tree}{theorem.4.6}{}} +\newlabel{thm:intertwining-iff-hamiltonian-dual}{{4.7}{4}{}{theorem.4.7}{}} +\citation{holton-mckay} \bibcite{holton-mckay}{1} +\newlabel{conj:every-triangulation-derived}{{4.8}{5}{}{theorem.4.8}{}} +\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Empirical status}}{5}{section*.1}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{The boundary case $n = 21$}}{5}{section*.2}\protected@file@percent } \newlabel{tocindent-1}{0pt} \newlabel{tocindent0}{14.69437pt} \newlabel{tocindent1}{17.77782pt} \newlabel{tocindent2}{0pt} \newlabel{tocindent3}{0pt} -\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{The boundary case $n = 21$}}{5}{section*.2}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{5}{section*.3}\protected@file@percent } -\gdef \@abspage@last{5} +\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{6}{section*.3}\protected@file@percent } +\gdef \@abspage@last{6} diff --git a/papers/even_level_graph_generators/paper.log b/papers/even_level_graph_generators/paper.log index 7c4b5c9..1bb6ff3 100644 --- a/papers/even_level_graph_generators/paper.log +++ b/papers/even_level_graph_generators/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 21 MAY 2026 20:44 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 21 MAY 2026 23:45 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -387,24 +387,24 @@ LaTeX Warning: `h' float specifier changed to `ht'. ng>] [4] Package hyperref Warning: Token not allowed in a PDF string (Unicode): -(hyperref) removing `math shift' on input line 324. +(hyperref) removing `math shift' on input line 355. Package hyperref Warning: Token not allowed in a PDF string (Unicode): -(hyperref) removing `math shift' on input line 324. +(hyperref) removing `math shift' on input line 355. -[5] (./paper.aux) +[5] [6] (./paper.aux) Package rerunfilecheck Info: File `paper.out' has not changed. (rerunfilecheck) Checksum: AECCB746CF11915BCB68F1E7FF8075A7;1047. ) Here is how much of TeX's memory you used: - 9737 strings out of 478268 - 150746 string characters out of 5846347 - 453840 words of memory out of 5000000 - 27645 multiletter control sequences out of 15000+600000 + 9742 strings out of 478268 + 150825 string characters out of 5846347 + 454933 words of memory out of 5000000 + 27647 multiletter control sequences out of 15000+600000 475666 words of font info for 53 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 - 69i,8n,76p,781b,427s stack positions out of 10000i,1000n,20000p,200000b,200000s + 69i,8n,76p,781b,504s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -418,10 +418,10 @@ texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on paper.pdf (5 pages, 545810 bytes). +Output written on paper.pdf (6 pages, 548304 bytes). PDF statistics: - 162 PDF objects out of 1000 (max. 8388607) - 119 compressed objects within 2 object streams - 30 named destinations out of 1000 (max. 500000) + 171 PDF objects out of 1000 (max. 8388607) + 127 compressed objects within 2 object streams + 33 named destinations out of 1000 (max. 500000) 77 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/papers/even_level_graph_generators/paper.pdf b/papers/even_level_graph_generators/paper.pdf index 7db204246ea20b52b5325e8bba1092ce6fc9e38d..180fe72c600c44dbd276c077b976fdcc8c33d062 100644 GIT binary patch delta 51962 zcmZUZLv)}Eu&ra;wr!got7F^l7=LU#>DX4sPCB;jj&0+eyY9N9H>tI2S~b~U?Mf;q zo$VwI2muWN3jq&-XoBmL4OVuyeU5)tmbf->y=ytuEk_A2>N z(cbRu<0F|#Ci{opT-HSPWZm$y9(6@mCvDx%q33-feMQ&d;OMc+R*@U%eZ4yW&20$i ze?L6cuid$XH@0uf zqpZa1T2dlZJ5+=%x9uWI-{^1`5w5nbvqmb3e>Xf$oikP!Z>x{=KXVijx4*l2lz+M{ zy?2Jc2{LsHQJ4lW;S1MxPF+N*h(-ZoAqsxU+O&BV4)7r2w~y5;p)-}3=G{DazWRlciLe7qwMoXp zSdF7yN$5q))Qs|CTmD(g@#?2?mqO$Clb#>3YWPM2~2&M)W)Tnkzw;ti9 zIl57#4AU;@TR3G4s?`pMYlp=}3`U-(C4bK)a>G+@ObYv3wXwz+zju;NA^^8fa zgwl_-Mh5~6bGV54K7esr<_I7J<+!baTI$g)M;9wY6pP!-!$G?|Cdjd;j_8bWwaVh5 zBYLCu*<+dE)+97g(pcL!D8J8?15?z!+BrCr_W=23hotz1ryJY+u zy_>TbWkF|zi5pru={CCcKGJN}7Z0~oC9K9bpq+a7q}{ixTiOeRyYZZ8cBI=@hu&;f z4N=^6MW_$Xh`Z?g&-4Z^w;h$s8K1;{wv*mA;@`I^>+XzKxP2&)I@Rfv5EXQLmHyB2 z6y2_mUwy0Wd|W?(fW)Os2<2ws3an?MV27WMLpw1#T$!CHF3k>ne^G!^hab@GjTp=klEHO$9#Aop1qA*_J_{fEp8a9gmgXttJ&XhUhR zbo1e&1JTjzIWK1ldb%A;ELNwzd@V!mMj41lk@NKjgne@vJ`*VPICH-*n~?*P{od7&WHgKwH4xRYus{ z15hQYC;osj1uRidiHH_w9f|z4r;P(#*q;=Zwh56_n*(PoSE8IAW2jt)!HQwS-Msg) zGC6;c;bw%IVd&`Tg)e|F8QL%@Cra|eB8jqY z<4i#u64n63WkQzymzVwEaGmo`J5Zl~wI9(Y>iD#j;fhKLKBZ3F{1y`yfF}9;c{xtO z02<(KF6g2_*3+y&U;e}C{Os|7GQ2_fYS@&xk2{^@AUdD;P|_*%7FDdg11Nt+yjp#l z{^j(t?_DJUTX)|1Z_Cev;4|On*!h+ZhCCu3qyVVWS-GSTb+S$+@NtJ8bfEF2SzrCv z1i2tmA@619bh6GLzv?;I&)z*Bg6kbdET4fvZ+sx?GEf{Dw|ia9@=Al=a9lG|QUhJC zZyQ{6u-us-eGBf}IziDNs=kRu)A3vocN`<#{No%hQvgy{z-?jmj{mP0kuk?D%L?qh z&@LcE!Y)Eqd32!IZ<6(r@k*x5Nyi-558lMw=fd>yMZfE-!h?-LLhnvd)mIu^jf)B4 zOPF)x_ym$ck=f~!aMMj{(aL;k+)yG6RGN2D6%vH1wK#-Q~jlw zbxgw83PKL1sj=UvfD}jK66-ZU`6e^bXN!9pSq@bMgy$jkM#=hS?BUnPh`blq7rogl z>_ZYeE4eQMMoIMbo+A>vy(Y18G-6=Ezm{vF4{`s|Sl1LGLPbOf137~d(lQ#ZooWDw z^oC#WJi3PT=o}J$k8YA*&O~&BPwMw@kkrCqZVga|&cv6}rn8UCMm}l1Z z=L{r*kH}w^0A&=B7ozh4!8ni;@-+f!2~S)C!<&$onbHw#IqnR-YyxX0=`b+f#Pq{1 z5Cod^C$%X?k4eL?1YHQ$pgd6HredJXlu-61v_(qa%=TvrHi@aBFi~X=^v(oZ1}UEf zNc{C4Y_nJ6)fZ(3Y>C)TxE@yAnukJWMnco03`jK7U3GH(c!spw^+b1|i>gG`H<`kG zpy$DWTF4!G^A7L*Aq&Kh+>{9lBv}I{F~~vVLJf!y_28o=KPmYZxIu`y1_?mX`(DP) z!o-Ku*hP*CE~CcZ1>5$4E;4B!%)5dD-11byzIucfCp_W#jG+tvh}KCbBq6%vq}JB2 z$N}4G-owWuM81H{q2v!mBYN1+_-I&0?4~B%eMu@t;;n$1HmeaC#RjCr2NP~5ya?md9P@ZUuwWbjlxtrPw{OQgU+ud#M`zalZn9t{HG4Vh3H z=x>5<;8hPgjZ9Idps2pdL25#}ORJVld4k#K*Y`JA0ZtG(1p5#cYdD*@Po9Lgc!81T3#zFg6 zd*&yeNkopEDcEN-sw+UaHa(vymO`3CYi7KVX-Am@OEY*>63xMAvKRdws6bF9vXfC97H=y+%xm9E7cTFuC+8S1N-LhRBc1iJT zjo1U}P%S)hPdH7z{xBZixGCVPj%r${TSp*eaV-DQLgTejUlHT-(C?5~5t&QWl_1V100=svl?V0R>Un$S zZQ!=O0LGSdgV^|1epA{VJnJe zTkOwbd0cv2p#Ry$p9GtUX}Qzv%$wXGHH*Xi8cvICo-k%NKEh;e+oLmaGSzIZwH!Y% zGUYoobt4LUB`I-jC5%^&=(O%2jm8JnbLkF1m;go@k+c}=CvalA3@UVn^~RmDf5K>7 zDVuHnrh57qdice@3I{@oCC9{B!SD|1xvE#T)6MBURx=1O zqXP#>y$sH_sPyWJ9)5Ev741RmxtUBItgU;Q-JLh)R0wAuH5Le@gkkh@Cn|)E((#dK z4@L7WxAMu^)QjaA=}-iB3B%_0Q%5sP;=z5k5^eL%u@e(#6hVO_oC1c^p0C_;QPW?W zNxmYJCzFeoXkdSeNaj}Sjy-(?>lifAwgGumqM=7(FE0zWKh--vVxjomuWCI_~E?hP?lc2-J z8&;1{F#37oM`i)kq~6+JEtU!dM?<3ed80h$(kHI`Ckvgbs^7J}eJo^)-u3{r$+WM;+Z6t(%L)m0O-ShJ?TDPuyLi42d6d>h{*RU)+Mu$D#uy?#C3z`nX~; zFTWbd2>O;I|BK??I&#Sy z!>B#yn)ONIeRR$-USJUu(6riehcxac_LR`t&=G@7sDXWWARZ+rGi5# zlhJ~Lf}bxP;mpi=e)rvz8j5C-ikj(~^d-$d*#Ed#LmA?%*KA8-f499jcQ-f_bO#>c z+l`+r%`ktpq|Mo0>3?|M-bVv&r9~5Y{{EfYKaz);8qc58g?;b4qck%|vt8Q$QvDI* zZC$5fWRt=FK-B#Xes%Ih4rmFn&A-;jNG; zmG&lH#!r=kOlne5OfftTZ#?_mF=>mpGhkgbvk{ffsTmksA}>)mA9w}O8<`tR1pEs>&cbW0So`6-t8;SXst!Os{VE+tf%iy*oB}ia_|z zGEFDt4pNLs9ZHhOo=vPRaJC<8#%RyKPy?v?Ed1uu6y(fa5j^!HBXai6P5kJDVr@B{ zRzgD3U~$jGIjGQ`x!@o;7PZjz--5vuFi9#>e^4z{gKv{y%65za^Z(elNeDUDW*vsE z)+f|D>jh%b`Mf0FV{t1SHcHPk?#g^OH1i_eg|i(tud|Wlzz1ZA+eLU`gPTj9k1lIU z%Ei&-L;aNFO%v&!>xmqjR0f9JD^N*86(#MYD+I&;=|E#0>CZCawx(`dp1Zy!3;C|; zoJlj`BVm*kCGlPZAJ=Mkjgvi57>$JUb3cohKU?(hk+hxh{IKD)j4;zeQ<)s`mbGMCA4ma$}qNs0H~n`oJa`_Xqr zBQX3T8pI)CW?vE73nVA)j%-Az^^{qIExh61DATgCc>lduj`FvZmRj6x`<-T*u-s%4 zW4!z8qRLv6)F`54XrqqYb)o(B<*InShL%8b&=;c<5)rS4MIzHu!AScbYQP}7~i zmEBXwUWssp+3qj)@7C&OP!Nac+mn#0Ht5OG_dsYJk!QBM<2Cs+z}+zM(5Cr&@9I@$ zsC+Z4b-MkYo-LVgF^#;cA%66?gKz}y9BG2UAhIRnE+ZpoAetzvfyaz&3+fnZCV+_K z*D;6~bu0t~%V#7AijN8bvJo{%0T2Xy(Z!&$MiTI{AQB%TvJ2EVDXg^kc?n7K<7SpJ z_A#TX&BfHFzTl$P)|V3paz`YFrMQQ`K6pIP+7i%|Die?|6{qp!M$}}>lnTl+3{2R4 z#FW?sGuVz#ax5%|VR9@`8cEV8czDSP;4?F|KMKTnq1+g1_@^Z2n2o`9980&8Fu_O|hLF1^MSuvDD+KnOJ7<3o!5~Bc5 z8&lc?+B<_p|0|((srVMppg0^cx_||u5!y-YC&<`ehtzm$g!fUJ1=4y99q~oZ4|oMU z!%xQ;+QFVbGjW1|_h2Vx%*f2Yf~mz$3OJA=m>{V*@v=_R7NgtZ>iCd~JW~&2{iv*# zyAbi0mpDDnB%>7yA@Ub1>~93trR;;n^D&Y*CE3LM+ z?N$Lrouq+Mfl91knz<=RPLG__?*;+R4@x0!@ zpUrvnc#)l4_+O~1#PDSyBkGK%TH9rahcc^INjR|4ZH4+tlKOMPL~-uPse= z`v63@J3Rv+MM_Z9bQcs?6r+Q_v+SHkQ_ugml|y+7&in?j9ak3sQJ>oglkxV5@6Gih6n5pZ zcw3;oq}K~CSmGKv|Kz#&dzf7?H98S?|5K0mLZ+Mff&S~20mQhh8uW7MOAx2iL&y)A zh1)y@-T7xTVaEgoU7M6V-kiSx=qhr`*;Vr95hvBW0`X6c`M%`JDfC~dSKxo@#D&@r zP7FAK9=1Ydg)vi;-@dU~Rn$*i-c-J~7C)5=*%K0T?%lEdk!4EW-t20vg^i9%M7lf49K)XxFN(YZ(ND{d$rFcG*9iE39AN!jriS@B zF~F1dgE+{@A6c$04wDhjYI4%$UrfDrM^`r;aBQWa?nF;`tO(*)tNfq!bRy>9pw|+2 zG^h__vg}`FI0uzRRH?U%Ou_~YLMHDoA%ezfVaD}B+@Ux88bccZKRE=Gn!D_`cAA2_ z;(|J?JdzR4zwar)WrM`ock)Ze!W+5WoIEHZ*uHES%9&e=M8JyL|+zt%?s3j zQG!SoMEJM$0F4=P8%Z^0_E(=oO6SD_hsJAx@+AP2?OI-H0ieLkx;-%_qr+VyNyG|j zt}92i{t9H~!Vot}hcj0cW9|+Eqx|*;8tD7%iN-s2MUTu{jQ_gP347UfTX8E=&21E3 z(;KFASsXnpXijQ)^BG#@zdUNW?3yxw?x84?WXU3+)U2lQE8;3L{Trm|StrCTYokgt zQmC#*seg+)v& z)$FQT(d>n#gdcpDfy@m$#`|6p%QB)cL_m<|qzNIAx}Vxdc!`bESnwOrQc>KlENRcS zSPgpb*)914XQG|@iQ;5LRac9z-1!*@gV1!J|9rMV?vk!~pDrj%zRs2hQiAk7MKcld zR#$|AIaJ^CKx{qbr1-z2mafSRg^10<`TsE*2|L$+ghm5H2PpTu43MC7zhe@N$p@1{ zfOX@>n%es`oQ`?-MR2mC5}@UrJ{-f7x_h65wq9Iqw7y5#u<4tC;-K;F<@14Mvkl&1 zurQ%uGr582juzs;C%S4mONspYkjF2=-FJqA!7Q<06 zOr2TxZ9f@`e)iQxz())-o)W8Mqo$ZbCFN`6q-Yk^^G_^GVzgAA`$dV`|LRIQ9-iP* z4HrUNNjzuMp^tYH?jvP6JMXCw-ziDe(diA~kEe*Ru!9&3))swP@XqbZ=DT))Qo1V@ zlkn{O-RQ?2@p(>U34`w3`!`3)3ToxZrdfCpm}K4E%i_KtXdH z=W>8X=)7Sb_LUMw%R+hHl}?&<3>wnv54!I^kkMA~2T?#t@k>`>hC)xLGKRvU=jGw~ zKVD`dVdZ3FWB47ZBqk9jo#vm^_nxoqeroCIL6z6g1otCc>(VPpu=x z2gMXnU!4F&4jvE~m>Cxs2%8ooKeRap_af|~#m1Q*T-08JxFXCDLKpz0n8$_+UZx}t zXzSt!r2N4QNW|?M9UdB;9_j-zGBMiyAQsn!W(tT1jBaNYNkbwrw*~(dLW$ne?CQb7 z&FT6!c`qCf0!J+%PTS>lQ~x}xtMBUhId z1;V539_%7KJbjey1LRs#QUML^iRgVORyGdc?;a0Itg{C@FZUmWlUpD<2zmcTV2obQ z?{}zkW?HfYCVS%qbdTUb?_}vfgtr?+DWb^dzNsu7`D+KMP*K};nUy%t# zBFuN(`w+9yU)T-oU?)T0Qt}|)k-ez+0R~5o54e(7|5LttBZ5Ii>TbB-VhSI)O`vA! zzhkxji#&j$83dbe$?Uvp#4oA5SA_5XO3YXE*BMLqt?;fTX5aU~4AlJhyVJMr&DiMR zha>n=FOWa+-@xZL`1n7__oNFP7WFUCAH_D0$S-3{Z;mhRgAZKa0eO1% z-|*T(_QHk?-^ze$!@KTh=IE7cr`@*-!$0a~fW`cy_~^xh5+Kcozqt;n&O3_BOP}3A z%47X@m^!9g;Lqd*`JRhW>QSt1`F45{z&-|mhr5NppN2PpLVe<&;J?R$Uv>OPu3g{I z-{&Qu5FMbgMw(dmv2DQ&XTf~Lwvf*H*2q*|$D>G#YP8mZngsrQ!sKGqD$8b2cDx^` z@_47>20Q2_ZP;3rzV`yQwjoH?O3D|Wx86(9YFWG|0s6Va1le=~=yo`L-$BwmmD>P#elzT6?3uPyjafZ$Qui&7u4hJ#tx?O z*A)zAl^JcO09jNt6(>H|yP_nqCXF9%H3p4!k59M|1VUuhVeE ztfOUQKWuGPqpa#Ht+0RCEXdhrp1z~7OAEpD`sN5c3M!aJ-j`GE7@zahuB<)`dX<(m z!F9g~&M#6Uc1mr-f@BO#1Jeax7-f_k6SC%e;Lui_kxXy}kPB5`ADK^q&9)8pUoJwH z=KeOW%}*?Bs*B$2ELg6wo%M>>JNm_%cd!6hbB^)6SuN&ek=NorB_wumZ?2Ft-Y>Cp zdw+6aOmyo#3~H5g8gDeG1_WYfn-cV)`@8a!{IosY18?rl)5d4b!)qsRnC>JD{4pWHk)PvF~+68&MP<+T-8EEv0r8X%Obc@FU{ z=u`jgu?}1`^+vHCcO~?@8$-B=+*E2jw22Z}H(Cptj#R;-H9Y~&XdHjXu%F<;z)NWL zF`^zcaT(w-l32-XR}@N-l8}D0h7+pRMa1J`F2duU3_|2s&%ni^ea2g+f%4r_Xf_>< ze{wR1N>df6Ej&uC=!#DeHLTn5@Br=OXz1`)R;K<*TJ$D1E%$IALTdGYasE5SV^o$+ zO+;g4mXPAqZ?P_r_@Y-bJG7&Q=H+; z7g@t|l0|DyNZ0inAt{UOlxb^Tsh3FC>^!H(ABSNq2@G(f5aJtV!(6L{nv?mCzlxl# zJ4U(K3gxqh1@acIt-OKp;eGraRwIMim{IQpUz*uS4dW8MGy>GbF12u;OKg4QvR1)o zmo@)<4JAHBs{B!?5H5u1)NU;sjot0=#nU>!Kkx9QyS8RsPLPj(`M33pfzG&|Z& z6r&|$p!#*rKg|6hkyTXFF&>plW)6_(EAgDapx7M-)U8}NF^$Zcw`qmlJ2iK3gfOnDsGDIwjFF(p4?9uK$v{y{^ zI8>5d9(nt=JH%xQ?vRf&qOL&d^albU6Gkoq_rWfL*)gFHE z0=O?tw>D2PB_?kaAg>c6Zk@i@^k$+BfwuUydU17-O8c5MKvmNa>n%`=ztBK(iKQZe ziE@awnTGR1&-=_FSS4>7Hqu97Y05ktFn?4YatZBe*e_7qDa}h1nrthE`&xdL_elI_ zLIUU#40Zn7Hh&$l*CFEb-}k{3pGN*#fT)5^H2=nuVy93d*3kTVZDK)vEvp&vn8$RT z-G211=oP$FCYFl;j@981$N=*TIW@dH56%(j8sf8l{C>W87NP&tIac6bOUhr6q^><1 zpQnEctL{0|l{p(A?M2xq_%;@gY)0)5^*9(9 zDZ>6S8Q`#gLY*$E!`vk1_)Ls);g4?$G!0n1tZX?z` z?OHL;E%;n97aZA%BlVuP;39?$ajZ42=fx(fmrqc3mLJu-&uvtorideHn%}ewz2nEU zo;vx-v7XKfZ1xOuaCW%b0g}*E+8l6#?#U$vD@$oPvILhG3LX%?M@|LG1ygP!0S+F@ z;udL}c0#!#(lxke&T0O!X$e|CR;XeT*1DSM3@naWb&61C>yo3I(q@O3?ZdV40(^Ho zs-)ISQtOuRU$L@n3ddvr-Vvdy=fxJmn9sT6e-kXCU?Z8Yql#H&0gdLJ?QtR!VRdhq z-DL|5)#cTuIVM8zeZPRsmXw8Aee4WFG4NIEO~rTG_!>?^JmHG6DdL(dj$w8J`I#*& z$Q=pa@(@k)?m5kzWKr$UG6X?!4xJ5StsK-I4+pAkt_CYS#6dqtR=ZGDD}fK4PC28c z#cv81*{B^n5*x=}APMK!NPl4`4|_-Sq9A$FLX73j_!v^J=IT28r8cK(QlL(O%wl<& z(s{j2Gn%;Dk})z~LSRmJeCvD?ECFjCmDIeiYMps^!w$3t!7htjl+!r2G1XLPxfK08fGjYr@EOkSJcTp(8ng z%Olt5l)QM_Ruq&%^i!}F_9>#OvojsSJNNh$S)Ev(sOri&*kf(yC86SmMBkq#Jl?}+2NDk4YKdp9cT?E&h zysTGm$%YC|c@^@}GF%S~gE;|&oJMeK4uaJs_ZPGwAd*Jw)>b$9cr3KT7o$>2%Cnc; zI;jH#hy`bW62!e86AYSG@N_q42^YxMZRQyBk<`80wJirXUOu^}NlT$+^3|9@TG`8j z5q?@}R1p#2kQ|=UOfl#!QciZj2Kvvy z8~*wiK%Uxu%LG-nF%C_;c~NQhFKu(zhwVm8>@8g}Ep*#Z;vFd=>!V4WG6e;SI$~&E zk(ndGR=jI@tE@KL4+%qMl8&KMUu!Y{7|vCcRZ+QQX@mL?kAFJV+Y@V%WN=SDgDxCZW6!OComPcy>$2-e63^Xr z{kJVa5Xg87JH=5rlgg7@nNJl#M2+4kWL;{W7dG-=Zg1J){Vw|GBf{Z4x||!($^Was zH0le5vLom6XBCD4l-DiVT1zu_t0d%?1z{oePkn=6mCoqOD^CF?5pme{JK3K$9s>f8yJ#El&S=M19@fO&Gkhc zy-L-@Td0$p`}l`h&5?mAs*<7si4F@gkP#-J)OOL>rIh*SLMx7ZflI*jmq`)ESajb>XFUk(})s)$;f2zkS0 zoYJ1sT;5xkzWD;H@`as81`!#=hu5={VN+Ha@Zm{b z3tg?hBX?Y&a0&TjSFW=$U8+A&&4L+(6IkM@_GW%b=tW`Yx_6VmD5$qp2N@}d>Oa(;}2plRO*c$vDlGup6qm-p|uf;Cryx{ZJ zcn)Tgl`cym*6B|MwmWj3>ubXZ5Y4#I`Y?QRKV-;(P3UNDipRc}QGJ86)P|cE6Qbul zcCg#8+I6trfqqa0wEkhwi>}77Ds8j;ZYz9ZG_BSo`PcLS58+dDP}MpB6ZNsODWaX< z8?qgWX6ux~f)48R-S0d3tM#!TOZJ-g#-;*YTWw!kb=fj*$6LP?b0AKBK;eR8UYqv^ z{MrXgGGVe>N_)6W0mJW`nTYckihRG8OUyBQMlGDA5IiYuIOGW-W5$?(AatDI-vNGG zg`jENF{oT0?Gm!^zOVa$IyizzFKAG0&AV=jgToL5FZH^H?5g18oHC@gKR0sxxdUw- zC9qHNvfddgQWAundq^yAmfHNhj$h_KJU+5fxM`_c}+7pC8(Whuv zxG~p;n$XTTk80nl6e=!Zghz1UK|m(|b+`AC}5 z+xLZ&C&4C#QY5iuQ{15zSXbBxE}N(zv-&|tS7X~HwY)0sdtXZ+N-e0ID}FWPK)l~U z@)h1W)h zR#bN&iiv-CV)uoSO2=HVYzn^5x%DqFe94`($wUx)iO9Tc1oVk+Z2BfWaY0E9`;ukd zHoN^uCliK=ruVkVkZcPrAFtap_utaLd%iavYgEXIi=y%vx82X~R^r;W-%Aaz&I=#i zz`pW2;#_$Fda|hY)anEJl60@c&}loub(Gm~zffKDamQn(I)*(p%+d3`6ADmXyr6e>!VlfO|(Z0E5xz`thOB`GEGd)Q% zwKH2t>-1jJT)tg&sW;P%Q9WCDi)0~ZP4KHwQcCQ+#3WuXwLVZd5I9OBM3C<-^iayD z0ET|*^o@gPvoMeXa|BcRkXeWNBi$$Y{Glzay&6cL%C>%p zSD-<4f^-p32vSV2ftz9{ijs%Sf0j_TSbceBrn7DEK+8R@*PiEi)~zcLS3<|gd9QZ~ z>M*>4WkhhIOXuCdCSTyQvUU5+RRV9tV)72y&1t7nqWma!O{i}g-AkuyK)#NF+I4j% zacuKqi`jrlB=ui%yhMVl_2n-Z{)gh^q4`tDl}NH(HhccYbEZW|+t^*V1D-vdDyq`u zS6oIMcbt{ho?9PQ?ZR$v^BICXp60zexBHHkX{uP1eFkrfp0Fv;Z?6zFhiewK?F0v4 zBfijXDBywoM%SC^8!v6qY{{nWpJ%M@`xUJBFy-l5xe}6ci;rPOcpdbVQf$>%kF^fi z^oaHoiy)|ofky@lDck{_)_~JiiztQOp_GjrST+odkQ^X$%pH3boDluz+c^uYA53*7 zP=1ZLNR{K(ybq=r+O3E~U8db$*83L_bUv9>vWw-Xk4v@Y6Z$)o+UxRHQ{*uRWPWue zJQpsisjWx&=8Lh|BpnIPE#>!3Yk}Y!Z8_3*9@C>F9p@_!*cx5gk|f@tt(qW?U{0xC z*zV1ln$E3CY^Zd6n5m6(oo9vsdbcMup~`JrGb8wW^Q6_nD%v?SJfA`%7bG!2%ff`w zO!oK?>rurPhDp;yjVd?XsYx%ZzG=IU`|$y#+PnBO!F_wnEqfQh2Df?# zacYmgYq=Mbfs%|lCoHxD(E<*D|J5Z;HM*{FXEh|jDu0{a0~+4e&!Mh(ZBiaQk zNUQ)|DqAQt%L-;$kA_GR+!;A>iRyNafL&+X*`g8Ft9;r0w%?VxH@O#u&yMZFPdC{JsO9 zk^x6II)H+K?ansU^R`tzm@?g?%V&KKxXTQ={CkqVqutrl7R;=1d3*^5RhS%YTf3t0)@y^N-Tm*La2v zn>`d7^WKjhPt*}LvT{PzbO{m)jkjrk{lc&91|fJhj}9I!A1wFOmJty~mbLo)M$$62 zK_DDcyUqR7ah6nl@91h_IFS9qZYAY9bar~iTRr+-v{Lf)h01a=SrSd3z1y!)hm>Eb zpEXt_!GdPJ#*+#N^acsNkXW%CaDRC8WxYU|z0{w+fLJij!*7h}ZG3riFTtX2ibak_~ZnlOw zq{UBMhP_^fyh?Q8?&QceIH}~5U`@7iyyPlFzRYKlOGN^Jg*999_|1*#EzXL2z)yoG z@Z=h@&Fbi=NDe0!JA!Jx)gb-`e<2BoL_=9E^bg1%M4b{?7azk##sRKt{H_G+^ITN% zF^&wOQ<8YDrkAAT)piz5M&D`Qv3AUF>UTC_fvf6=xUIt--8m>(3av^KVug#zHbdk{>{urn zH3%I=2UIAYW~(nd$HUBnH`n)U*Q%W3obp@fY$Af8;BkK*S7rFN20Ay+lo87b5tIaT z>)HdvbxE6 z6aEhVcE2B9{5LC;$M8o(NFvp}s!jfE^w$|a3L7?3+{?HiH&J$ zoFQ6Bm&;YXoTSA8297rFZSv24Ta6`=D)U8Pb(Fn3@g5?ciM8%LUpP5bV z??b^6tr%MH4eDCg17p2WSmY)0N_5*dwsXn&?H7T4Wh+xZS#~*v;NkFYvRK3XC#$kb z+>=JdK~Jh;D%Rj(Y0MS#&6PLbJ4vQa?H+gLjHqOT@VZlCXgAZbOhq%@%Gtvw+NB_H zszS=ANYkK zW>W5*l&cU}{1Am1;alT%(xz?K>&B_B0yn80tv?t!52edbYZWOb+T#t8f`@<2#R4;j zw2DTj<{Qt|UGI^FoBt9ia%2V36hVO};&=oXNF_Ck>#&pE>ZUL_6V<-&DsS5W#2K)# z-AL#|emO2+P9{Pc9z5EB-qhjC2dHCSutrpeC54Pnx=ScT*T(4zWlVmR!S|xiW0xt8 zw|69a{wru*hS1D+7z|t=T|i ztPh*0*U%HD5+l@%<6ag4yVqtsE4)67LVJi#Mh>Hd)riRJ3$2lbH%W!b)QU zC_$QZOZ$+fNJJ(S&&O53_Hw54v0tYlNe*l{afV*SQ~Qxsr=%0M?z5Q=hVAnWYspJ4 zM~M!F6?MP0%=%>ycfC*PGiGztU$Uo?SF4=KhE2KkWogAf9z>3*k>!pESCstumy{by za&@(n!Q^VC&Ld9F5GE;q#0{UhT8)+#oQq8twR;L0s!6c-yDd4O$`KGLt2nV=3_Vx^gGwS~VWIR8seGnwr{P z$QEBr#`g$rk>?P(fPJko#B|Aa$PZ<|ZB{6GC6&p92g}>KR8cDfx5*+wTd#(hyUkYY zyLBF&;ffW(Gg4?(`?=fy#*BBSP@caH8mL_D?Rp>UgA|d&lrq-c1C%&RQ(ykTQ$vSW z0*WGJjps}ldL{HmJAZwnxqpR90V1dtPv(ZmDZn}lA&ilBUvbXGM=VlW99f=AgY-+< zlA%fGRLP_#g83YW{T_alji6sJtt>lRdPsHS*2vwI+t;h^H)jAiJLa8M*MIB|i$Z0UPJWa{3?k0& zKRM!&b-kh|dvD2&fa_C^y&mYV&X2@co*`*|D6ihFG;9pQqVK^7$oN5bql!Q?deE!9 zW{7Tw{bI=wTz|f-PNiumSwqVrX)TTs{TK5J0yK5Y^-*($@mCNc7s?R~vohGN@QXIK z{P=_cOy*oK$zmkvL(j+*ZZkvTS8JN04FVXI76*CsUj@7o)nXJ6EjPFMa|(#x$;;j3 z)Ry>2F3IZNQQiQmy_};7e_G;MiE8ZV>07v>qVDS39)I;=U4Dtic7f74AbXgoXhO0} zi(^t*q_87O!P>6X*7G{`W=ka*b}DkBb-=@GT)!H z#52|u4_>Fb3EunbaWTeqqQV&hJ>K_V(aBZ^TO~_oNPoi6x~Su)O@N7o!0^ANZ;a7+ z>K5JAs()q3586`_l@VlIW;-vNE^*UWo#qrU($a&0ha(*Se3h1xAOw+f)qlHjB|%_e zw`H}k?Ld((Rd3KNN8@LC$yJ0fZVpI2gLxQI6e2KMF$w0YqF23DH%uV+gkwiaF)cZa z65_Zz9#flli;kpRkbie2l+p`dWs(>zk|8Eh=6_>JkRXZEm-{urd_@Rph;gkP)YDa2 zbtn1t@pwjg_e_YA6d!yX?m{@)hLcAuhhwS8EYN0Zz7%aWcIk@m$Vtao|4EFvQqd;M z)!Pcly5f19@0cqS6OVk-f4&X3JRh)mTZ=y<;wDC9Qyz;oStT0dA)9bW0>%kXsk%cD zVt%SlhA@qh8c7mF2NFCYU2Q-OAuhy zr-B1d{&vSLj)z+685Fvsr8n*e9ZA_ZTCSBzDN>XckFl)ZU|3P*TwCBB9*I%CD#XME zp5DYw_1MY{imHNtSQ0!7MRZE9u)1}Gcz-}zU=q5tq%CLp@zDX7el%Tp&j(`r$klC$ z1;jd`ck=uysFUJVHhglY-GHPhOQW`_y`TDzKbLjunJFsf%;gBy`M!{^((eJ{zAi|A~D{tisNr&&TLbbnmr z9}P+xrqLUj+8LyI*{`}FhM5dFohJI76Dfm}p~PiYKlqZw75}y%(*TP>9qSddI9r`~ ze^^6}a;u{{3n{2{uPIC@HHKDH{ym*XP>aSp1p^irf&iH&L&)S%XQ!YLn?2a#k7;*1 zQU_cS8i|+(E1eR_Y9cjjy2HfVh<{k%2V4CQAGlD=^q+6`rrxc6mhP1cRVXy57p~fn z_sRAc3`nCxn*&K6=mnjv-HRR2>edoowW_}yc2QpM72N%089L#5^~nIxf@FvIv#uD= zKIMrpW`V71{y6G0yA9iQwct%!n6IE|T8~+XZzXXblEcnQ)Y4!vQ}#nznSUPFEg#al z$fGJ|s*}Fx863Gw`}-_=o%|9Sc|Rf{tWcncZn#T8lA05i8v-^cca`x~HLk7Gx;n51 zv6w0NpE|=GAk>d#F$azu1HbnCmRlAI)e)v>tMCxkD$gz$qB1rY7v|t>dC)mGuco^Y zm!14M{PnTwd$TtMJ=#Sn;C}}`({C@&xIoJM%yxlRJnzw4N7LCOu5 zbP5pec!VixL?Y&HvVY-^ySn!WxgV0(_jfAq5|a5*FEZ%sKv%T!|4bmBn+N5v(V24k zdFNd)_E=X^lcIy3WHC@lPyFCO@RO~WB%(%}Tb&wf;PpqJ&jL!MWRlTF(6KH>xx3o_ zK=UZ=<4MTWa9DuYVK@6q`|@Zkp^6Z_PL` z<(mp_75kSysnX@^*V|0U>is8!uBqW^b>?~|UC%N%IYj>wrW-`u3RAJ05=9lxy81YG za6Ex>LqZ%r2m&G1;Ey&EJ78U9hR!lrClX<8$G0=>9~o5`uMPPybXX@2Zc^Li9J4`M zW*ZwE_|E~11b-A!(#11JleS0nBUDhDHj6fKeF#AQlIwQnAW2VqIR;YW8ZCSKf?~GetIlK1r8-@0zDll4BU6^# z<~eVFFe9EZoKug9yCdHsKV1$Mm2PtU*?w>sUf!clTzS8#iO$wQ^rr4+#fzh+Ey&?J zP4DdMkt9pfOQs!Dp5#qiYLYh{mu`$D1DNbCUw_{rXv&FLMG?=f)xPI3pLVx(uu>mN z_#%nb5HNviBDS|Y$G~d!Nda0bHaysXeybaox6o?Wj3I1d=x)h*N*5WFFEZyPLJKbL zs9%zvqi=MYr>%d3|LhuD9uCLNcS{86vF*Ya(+zhMSg1DqDnXJrOtC_* zSATcGpL2$UQ0$LiZPsfNG_W<52a$n_!Ar0GxOAf3Y{@LsS#3py;@MdWKlSdsTP{y! z30hJ@M#0zZWOdoV1!EXI(rLB24iOT z^Mhwlf~RC>O8$8vk)7?-plir*D{=CBr+=g+#vvj25cv5D2EtNMN^;{+8t2RUT0CPB ztN6{G;3%ZMq#=Ctg>HBAtv8fyIM1$e497hR_~v`XZ0)=bezZ-+&%NJEdK7-bNkP@= z?C4Z{^K(a=pd$#6TuWx}T^k7tG@E^Zo2z&|stDHhj}DSccdyt0^XDG{Ghx;~MSpQ? zr`+_y7HD(@RljHox8(Dx^iVOMIJm;^aE_9Hx3DSgalD@LTToc#?DEdY#m7vvML-=f z@Ykp}N|V+jjI<@M=&&*_5uo#3O86)J8Cxe&H6f{gyLi^5w|7|_v{JmL)HJK+KAo+I z6aAhHzQJ6VvzLY@MiXqIq<}8JAeMmkTcr; z@===xj;*=?HQ}0$Z;Q_1{=SL+r#>^sS2p!>NpCW4x(?tBBkDGx zAp`BY;5@eD?z_Zra{cQNUJ^XYrVwWX1CS(%MS_fckZ3q9(L?-2w13fH6Uq^uq2}-a zG8@^p8zF;lMA1U;)oWojHQ)WjK(Apq$J))r_L9Rsq{aFtuUr_3@EkCmr?{o&o2tSI z07XSrRI70mzTeUijDF3<=9>zb7;+c?VB(ucAJs9b{w*0;?Ptjo0QTc+$7(bbhiFVG z|80NgSU3+I#>zMMq%;`TE>S{=b82-ef8#2*ob>@ z-7`)a$Yeb1{F-jS1;uo#k7vb8UIHo{lgem*=H?Gu#LCU?Lw^rT`Jbcqqc7Bqi80Z$ zeQdCp5HN<>wD>p_;vtsh%8T{DWjb~QMUhE?xu4OE3&nhQ?kXEyAp+UL9nxVV(fOCR zVYP&*?;a$(lg|d&+bPc~nL14utXu&~9p4}#ff}Ox2RJZ{SA{Pu)|(g!#WdJI^Ir`B zPmvPeYM*_$e`XpZPY1D^r z5&5L}nBzEPp97%Sb{4L$G_o=1a z2gTlCihtnjAIeTURr@k;aF46?Y?c5D)R(!I$2@0r{<5$l@bkpe`>z|@z0`WxwdK1_ za9%LRaE9KdflsEzS-f+|!i+-H zfNH_N9J_9Z1WAV)etD2<-b1x$yQxw``Gj=mFn^h{{`zKb=wmYBJvb;5dj_fotuCq? zw0Vg1(^~%SYO>p=o#>1an2aLmCqlV}JGb${97;QpLH*~4I{fd9U#I=C3qdTFiyd8+ zpc?Z(qJ(!Z26%9KIpaD=?%Z;yUZGZ|99!qq|Jdf2_t1V1 zqM|H4h~iv989UVzV(%Zr{tT&&BWb{VdVhV7PCHnOs1BA{Sa@H$y+&vB^MVL-w zTOwRA59CNyr#Gm}p3!|6l9Rb&5{g3A`qX0~S2HXvd{>(umE+)Oc6v0#C;=*s1gagE zKErxz(1AZUJ%1bOyDUWCw!J{97=LD_AQ#&)GApYHo<1WBUoo;J6x$a(L=;jB%XBbY zQ4vXvnMW|N8k9e~`&5l_Uw%FWn`1MTLi?SR=k}QzUM~Dzo^G#hnA)}um5eR$zpita zNVg=hGc|h%nUku_%x)&x&_%fVnbfrxy(wyx%Sxj|nX=aNf;j;f)_eXPbbm1UWgn{G zf(Bmwyrub9fm<^Fmve^I&63*_8^RFpjC*RN3DhbX`?X21(hb1y;r)W7F=K)Hbw3tc zn*8AzMCWQ)3iK95NQv{l zdQy$AlIoC)%(Tk5u@lcmhDqD4tkhLmF{~Y`u;qBcyv$&gMt)R`4v8~eZfgy zn4JWAyYMQ~2(02oK)H1cs={T0=TExKQzf1{sOcjvZ|iXj8!i0|g}l)|ymK%|g_AosDWkYCj)5MK9j)Sv=0Fem&Aht_(yPlV|FO;7LFiy#quHV0cSO#Y_HTC=XWmb z<7l;J5<42`Z-21k(oWZ~3Kb1sSl_#G>=q@@!VU_8PtIdDB2CruNt-Dbm~}8dpP)e1`G1ks!#nNVxlvp@3KN=eVbVXO^QZsnL#^ zUw;+CqGG?l%GeaGsi<&jky(z`a*r0WJa+J%JhjsaS2V;2W2K=rg$z-puKyW5>#FBB z6n>wPKyaH{%+A^WCo6B#LH5BfWg5vvsMOKDGt zH{hgl_P0^1f)}qz%AN6mpEWi=+D=+G@cpZ*p)kkFuRPL@no&h_#WwD+tu~W7@_!*Y ztj7qOX_3Cty@YY{UHJ}&w{ zAod>xMy~VQ@q{7yF5W^z+Y-@P7~oeCVSV&_*U8%}(DU1nQ)lBE;V%SOSBNFmFh^ z-Znq_dmPhS$415I)gHFTO^)e-KGz=8EGke{Gqth3FQ}qJWpI2t?n5c>IH#%1`@oif zUy(Qxzf%Sze9|*uoKYX_Snr5%$Ij$*9Es?n?T^$Qjp!xDdgLbbDQ6l>zkkr4|MxsrPY)}ySX87 zxZc3A?5&jIv(kH(U!hFIc_Z+JC)-uh zuXIYVn-X0IqvE@x=WQUcjYdu=jC5XV`XgJuh>B;|UdDw^wi?vZohaF*MJ7W|2(|`^E?J_lVBs`K;&z(1n`mHt$GR0!VDKIrnM5*RdK9oH?FIXs-AD*@r_+8ca?trj= zRJ~rFsuTf#VJR>3$e7FR6&H`$sFlErZ~`sZYn_X+Z+|;w3h)OU;%60byXlQ3jcy}r{6533A9I=J zR~uk;$$yJ#1=cQRHs@STcRJv_95k>#Pf(LU9;InORY6H)L+sw>0x9hp%(yYj-PGqW zomvFt7DK(tcal;L&yBQ1Yo0{zX_r$mIq-A4ssMAlOp)~-sdzG<#Q!=s{WOq0%+_9a zGS{87W)y6nu-__&OeH;@cp5PSK6%70Q9D@Z9e?YEh})On8+%hWx@y|WkN{SFObEJH zd&+HSV>aPz+QMqSLHj|l7_(B3=l!DCpA{(Rb1qz{(d~G=wG~Z>6MI-~E}gzxe7L%qHH^e04)mo*YOXZ9 z9(S#ye|GqB>4isf$Kgj|X*2WOp15S^56g3snpg7Ju*86x|*}_ z1+X^go@qr?rav6)D6n6`QTVcZSmGl%PXVj$gFl+d7i@ zC?P5S$S%T^Ky?SxhP^snlZtZ+eJB5jzUa8xHSLI%b$UJJTf*v0n7CbKzHJ~5_5ObV zRcIjCmr*YU6PLh%1{JsR-vu-@mk{0t7PmYU1}Gbsiwg%8w|OrHt}&OANCy?SJYfce zAD2^W2Nk!~fCf8Vm*R*A7ArS0HwrIIWo~D5Xfhx%Fg7qS3NK7$ZfA68GaxVuFHB`_ zXLM*FF)=qWGnY}`1}cA48(PyYj1@2LQc|Qi!QI`RBEvdy+Zd=U5i!10%iu5g+X0dIoQ|*0a7ZO zd;oTKE;e>{PINjtZHS8<_-`pX-D|LuGXw?|{2zKLCost6NhW^{a(OaSfk6R^u66(p zE&vCwAP1iyJ3D}ron7ERhA<~VfHcSrVgXQL11Q3vU}tnXDVT$&6U55e4uU|SySqCZ z$ljR^=42(x$O3Xc+5a++eS};o&caRep z@FcKDE1gf3?*X z3Uh~g|9!TEKrJkPmtf)Q0Mvm(99_W*(*IaIiO~PZtiUb+9(HziJ^^+B*bxBsFt-N& zCfD|K0RMlbx>7Py z^3u$I75uMCQWE9?@Mh)Y1F&-Pumd!wUd8Ie|RUpIZEccmUoUPitra_V{ap0YEk=%;m`i z@Kl~Jz!K(!{=1*NJOH4?Z_(d~7XXy}gZP*B;RYvvQ#|EA=qZBgAM_MK?O(+I6hZwD zdg9dlgPu6G{vd7uQ2P&hs!!(+dW!e@U&Qm|X9;;)*M9|1w3aYer+)?9PdPk2+JEqq zhl8D~^B<3=V9rll`Y(Pe-No7o{69FK5_fTj{h@d&(hKbLx8T28Y3}Oe^z@MZwQ5g& z{ty0t>(vBsPG4Mauuzg1t1<&u zoGv7i2D)$-H)I&j#pkK+z4x1HQNo%NG+J(b?o8q}CpKHqXUB=Yj(ymdsOhCdqhQq* z-}1S4^m!d%i`WF;u1J^b=*o|!o{xX!-XrIKQPW$tFdRCwsj*eXtAue^_Kh`0C)zNe zc#1C1ENhyC8rg-F5|s(>!~=Wk{9+O>XY7$mF`gOS_aKI=(A!{@^WF8d*V0FAPUj9% zT2ccNO2l)#;fYt?k~_(Y#NWM33YQC}3|)&NxE4F$jO6@g*3tNcJt6V@pTznRUv61{ ztz90pV>AvyS>(bi=aWBd-LsUxt#m-(+1kEiKhNoZi*w{XLs^Db|Cze|?gO9HRc#vK zI&Xx(BF#%O5s`EHM5+^~sChRk(RnJlGt%VBm!ZJtR2t7^u~cgPdM$zWFUXnlAW;n2 z)Gr~WojK@A{yg}in7sveXch@9ipJ%Cbs^-WNGvB~MuEop=w92z#AM%?$k9&gn8R(Y zOD7R*)ZBNzEIJ+_pq<#hVoBIC5%W(Qei#The?gr96}u=Joz@LcV9ZWPo{plz?;snc zL@Yv!vF%RYicB&+j4`NaNbCll#cJU_$4F)x5lgB=erxW7@*{Cmx7P~R7Jn3fe?Lt& zSoztk6T)u|cD`z>*1(3`1P?TGGs@=0U*o$q4ql}Dt7E=C+AJZOjq7lL*v2=S+8j@x z{4njvsOyv|*I|UA9_`iXo?zHWs#->ME_5^osSjvJ&muP$eFK@$9`E8*JRfkCwjcB^0{lU?F}(Y0FCytXo-dM*5r6U{M8{%t)^Z_PG|k9blcqe+yG z{BFm0@-6x-{lcbp+9PABA0e#*-RPs^>U(tsni^IWyo9lx*B-W`SX~~y2ja`EQwy2+ z1}loZ*8ay8>+>Sk67$t7qr=F8IPElXFtZuA=4AqQaGT*h)fsl)A$(VVUN0qk!obe6 zb9417NiXkSvV2Q8k(H}@3y#RWCAoBZ?{1Fo9pVSUEYgKW-+qY$io{hDV|Kj+33lbUC6yTiN~$ z2!HWI1OJ`!`$3Ap=Uz&GvnrJKpQuI(KNV)4+|8mf8}ByGxJlHsqQhi{9^^cz%G@Xp z4)q!oJR}eXe(Bccd_d{HnHKe!m+C5O-{+Y?3Q9aXe(9b!X}p_&c}+0eQ#k9E$bfh@ z!Og;25D4!2**e)$fGP&mjMz9x5ql?H;|O-_Ozy(XiYcc+tzpf7%Pm3mkU2a8(4H@* z#t_BjGjYLM*D6y3^{1HGy_r?nZtm;+dqu~>!|6qG0~-1i6mKcI(JhUJ!=$L49iV~L zxtxI~mA~JXLHkJDb+~-pUs)L;9a8>6@eoXEG&0-JmXG9-%j%bo=b3>5?%E*My z&})$-o-wAYdtzaK@P+#>8rRvolFJ@t&h~NMMCK)atoHD;=j}oker>E|he$Q*^*Yw` zvhoA9Od&tE9L`nVR_~9VhMqRbaGNh!+pUq^TB)XShQ`=rkLkC}g+|%5pk6(Cbt#*~ zc{vmbFf+PGmR3s zb{{a(bbQBQw|U~xXusZI$t@Xq6!h~5d`_?Tg*X(0&QNZ1ul%S7+X3_V7QJY=CPvv4 z;3V&S?Ie@%1sMw3yLT0Tk;E@{r%EzAO-aU?Z!cu$a)ordp=YG5zO4Ny$nNb*s*L`kJAYi_1v|F`_ed{+n36?pWt2RTqUw&Zx|R5nAGlnifd;qXRX>#HH$2MyT8gnkrL

=0Y@8Xexd_yJ^+Qq`b!(a~9k{zf{joGtmtWkLZrl|*Lp%Mtt# zMubs7jAif5_UpaM>4frS8@|^d6VO1%uXAcvZ<@o&L*lJsa@K$wLi7v4Z3;8Bl!Z4x z8F7!~D_T*eB=ivGW%gSVdmf7~b*yrPZR;F=i{X?>yK5xNw`K;JY(7pl<62|QC`8j^ z(mrbwpBJ=eV+#d3rqGo+*a0N{f#lB(Eq6Cv70q9ye8E!6**rlS(cev6$gEMlI-n%m_e#NX^Mo4xYn3| z&%wo5j{O3&NOjrk9(;LZ-CXtYRjyN?TZCK(`!sgymclk23%>38?`@?0Z(i$VA1ARD zxqPXT9c=S;ny&Y3()Y_Ps3ozSulq7SO-I-tbmc{L9wMi*s^K>!@=kr|SbEG3?#G!j zuC_y;{#OUZjSEcDa1--ojV!^V6*!xJgx!sj6~XBnz-W1PZUoNGkRgwtfS%3-z$Oww zGh@Yy#^@M9*Rd}1*r2f_ext=dy>kdUIhiYkn6-24Nu3>my8qdRhPiLOuir3j#yepo z@vUdlc3G0q_!n%ot0J-mcNy?|2h`WMzixd1RX%qLMg|riw=>!6>R@eK7Oxe5X~ipj zj-y_D2_=rkVA?AoYs>I-KOwru!NpX{!5({gnm>)jUb(Z+b%p5YhLpl4TWLb6Cy|^d z>w6K!qbuoYjDX`Ctt&b;$?2t*RFtI;bF;oH`p2^5CQ};5V>HMO!TDyoIuS zcwT_~jJ;Z4yyUvMzl7(ebO)z@!CT?WyIBNL{9(^$+ku~9<5IOt2SHR4oFW~P*J4Kn zt)0}G;kec4omM6TEPnO3myT>QJ^(0ecq~PmR|q1e7il)k9kg`j>v9Rs?sz~XL719< zY)~HK@Y{ctplo3<;(Nv!s{1Pgmu;WB_+1d&QHwF%2vgxWWew4g^qkLsv4L34VK86t zJ6(=hDLJ8yrJ6M%NLm7+#8P_*Y4}OUQfgMJaz0NR#D=shd0=yNtu~Mt&(p zCdDa7(wmn>o;Og!oiC#;QmlmKM%j}PXd#Odbh2he&(iqBzrz%IJG%ZxlLK*cK0hkS z^bEaDTpU(E3ca$XIB8{no9cZ%vn0zrxBFGo^NN1T`W zThW+DHdf zsd5}65sHY3)mPvKU4+jGt>HK7y81@eG+ErL_@c07%-{lhx0(%j2t>%vMY}VuQ&7@Q zdS@~Tt_o-fTdcM4G$m>dL^*qwk%Lgxrp4^AsU4RYuqUK{_tZke&RuQK5xGr#sTTUO zX-YBS3Qbkp!*AGC%TWSxT1=!iKh8-CuZxsh?JKEaaR6^XUtS)*44X<|FjX9?_)aRo z7S^X(FjV5nfntMF^wSQSqFi%ndSiJ#M&w@>NK!H5H&W)>5~=vf#$9@hghSw@U&&aP zPx%p^q3&CMyRG~Vzfj9KAHW4WORFe5Ov3p%_Q<`y z6iQw=?T~h)TpGnW7Ji-Xs_XVwWrPmxl-%TS zK2Yv|2oL(^1Zn?6gqg@X>}uj2QDcdDOlAb=0e#C!UEi_3ffB#VlAJJSmP-d*l&!&Q z^B%<&=P2T3-ShY&m$#ex$}BW8dk=0wLo@e{{9^vt;^V@*xR3T?rN`aD>FZsM_ml1V zM=8V|eAC7{>|uRBRZQFF^jPKwE?@{=Md@gNmq($J-U zZ3L&j{3=djoE+`G;#|-9R6>ecov0FXz;g;_*@a(h7<5XDhxw1+b?33M=69EM4W3~p zxtddG;N;&!_|0k9-`?6ebfk&%2D87(9`{z7i1_$U2+8>Qgq-qHdK z!UH0`ura8QLhHHFNJ)W*BXFC912yb_uGtwp+Q*3?3|ruAih*ycK_tM zhQ4nRUY|I&s(+lNcqp%+hiEXcOS_1kzh%H7>4O`EfnOPd_Yd(N1e70 znYx@aU)~=fk+-#4OZ~YZ0vuX@lYR~}^M<2+{9?v zk8F+UX<&0wr2}Bz0Uzr{j6j163#in5q1Y2;_I>j7$NYI4_YL&B7i_qHw{s&rTNuMG zYx(vg^9OcA+pan#<}L)0-K@agAxR!*3<@rmCuhd{{PZ8^(Q7PgY5^$A zoe;Nk6e`lh`w{l3C{rygMJ^4~P?rLU#l?8c37xzOFz<6|L z)HEuC@3o!(ub%l6i`a-hb{T}+-ev(b19xqKz^oQ4IDvmm-sm=S-$*#i)Wj ztr!t12ifTxzVSYPSDOZ^EjoRd@AhBPtUTBF_61w2IyqaR9lgnK3r2p40r1I2id?5v z;=qUY`FIFqHisWh3w&5ZIrRpq$JLoVBUT~?TH@MIAd|4L$BNxq3OJP5^T)CBdg17d z_LEp4?BS%cZOd8Y?_fpwQ;|t1ZWGdRqX{pJ`<2*D&fuGWa1I?N>ektmwOFXAb+=Rf zfQ#JJTCfL~l6O&ee_6p86Un!SFB3?JH2-BeVCEANCbojPnN*LiPpN?{-VuaglyP25 zs?KR$2>hCgNL zvGX(~(x!KOctQU3m#&Lp^ySgl@l&}D#UM*N(u2*meTlSF%QH(+5RbGJ4s9uK z)4H8iT-$w8JrnmaFpmj8m12WdWtF_V=)r#7f)=GFp@bHXJsJtTHDkvI0xjNEhCgQ@ zKXT^^H{4A#)XUzG=x@(>%bj65Y*cla?33UYx)C&g&&kow7>kj8AChD7g%^p9Pqx`s zY74ju$1$tOW0A2%0?w4{{uFUT7UURMncU=0wFc)Fs7=1ov68LYH@4#=Zuo@`@heIw zSjyx;v>TsR@0{OU^0blO(i^id2b!bt;ta)O>cy3lId4b^U`oWP0kSt!6bfik zzRCES&(%E*Ts7b2o|`Ed5f`s#$|R)CrKtwTc%=Be?ZI6ukvsJ~jy4ayqKQ zB^Uh-H70dSos<1XaAtVQe(I3-?9>C7G8GwL?6y^AR$om@>%JzEsfH5&Co03MlcV`0 ze@k}j^W0AWf8okUeuBJ^=bk~cU(p4^hYVZQSFR7FLz|2%`Z$!AIfjD`Lulb}s-@aw z&5nQBsc67^#jsH|53T2&C@fULRr5E0TDoDDv(AmKBGAoe7petJN@~A;k3=kAx}ZO_7uww=M{eq~xO$#`-4i zESa-YGdB-uv=(c(4#5Bpv57}I!s?^xuq+MM%4U0<_b6Pfu+DOcPN6gSEfdu^?2}UW z#6l6P`6sOEk;zf!upm{L@UMG+!ltpmJj45zZF=lbj`D(5@E;(?dyIHkYE!WvY?x3n zOT+!UK1F?gZha27#XI~4wr&|d`Jvs5^yiw6l|4=g&EvCbVXn{xZS6GO(n3dLx6k~g zidu|cJvqhonb&-QzP@ut98H#Hl6Zp-iz<|-GQ>)@OuV& z3XX#+rf;Y6;L}e}AB0*90Aw1(8*SC`VcL%Ha(QyfN)eh(bUmN$$LfCCdTx4A?3O8C zzvX+d6A3^W#=9oI770FoUG5X1PRZnOU^)*Q%T2;djSXb~fE6M-w>L?180<3aFv*yE zYyl6q-W3U2J~R*m}0P&Zd3!1b%Um2@Y#*gA|82>WDzmSQFAtPw<|g~5sP zI7<2cGalk=o=>knRP9Ag=j&El>VCniD6uMA<&Z@nNG+1~P515#Sj*@Ylibe!rgjSq zPqz)*ZUnvB$amAcETN@N2*E=W>>s8%NMdTW&G8?Rv!Ow+cxjS*c`&uSPpDSm0G(_C zo1#ApB#rjv&;Qhai@~@4+7*jj-T3Rf_msTODaG0_5K9pAGf~G4%_Xs_kEiOwnm{&- z9h9Zm>?^jn%1bZWj)p6E>A^^Nw9g39IveF44E!@$cvi5SBL`$|Y_AFn>=UgB$~UJH zQ!;Mze-irLnMA;xLKwH{87Ouy4to$^oM9zQ!ZDCMGGLm2H*U4z{2aC#F&9##ofiN_ zT3KK5@dWu&sWTH3 z7*_GGzuEAA)GWBg{f~pGBg4w^-e9JlZ(vd@K$}JA!wTR3P z5mRUU9KoJWR@Yz;yp*TNjOY`n4^BqGv<>*iDN$fae;Bo!g?iOMktfS3r%oQgRXyFe zL|syUgdIHi1~L2XE*Am&!=(^Xq`7_aAyO1sfO`!O&sEb|E920HbsAL$4I`?9M*NmN zCJe#INXEN5g#-5y#cjHQKQaHS`#G;x!ATaM8o6>XAUJ(aDT zztyE(XjQM^X<;Jfep6Gq;K^g2Jo=cxHq|zN(G^Jhego?>X~&B!<>lARI8!XF6ddKv+7_T#At6w&xBLC);4ve?P04nR)z#^ zjvs2H7Ze}--^lcRxG{XAkV*lxSr8GBh`spoKK~iH&a+fiM&X=5#xe6wA@R|d;HtKN z7wQag=}lXNdul^O?akFTEX&xaL@mf_y|w}$8nEPDdfaMv0u=j6)Aw^jaCMeErTrEP zO{?}#0$HX!Gmru!f@YPJmmcte|}$9y-o8eG8BGLiT>= zJ&p-{JA#tEWP~7$XjDVIkEec|TY{57my^>&so_8b9G?+Xn9OEL)g^ zp1ZgCle;5;TWeqFO=$Rr`RtFzt>tc>3ATmJTLlgMSeytsWYaV{Y~an;o9=agc2+Uu z{xqY~-I!>;hM6$l7<4 zwtiR|a0N$Ec}||zx*877<&+u!LUG7yt7UZ1UNMjoHJse4bB@RD)Tp2bQ*b3*w5?;OW7|o`wr$(C zJI3zVw(X8>+qP{dJHCI_sXF)8eVeP+d|p*+&N0RZ7L2aspRQXoaUAtDfnVIA_@gg(v zs8BayStq9m&;mR#Q)4Uknru_D{;59ZxBLEu$eo*RBO?!?3c_7^X>z;ge0Lr4Z1z2yXQFG$>)=N6Tp)pgB2u^pgp?wtOudZ}-8b+!kA7_wAZ%22mp28?3$G#cwPzV5OU7OQ1Xo?TuA z1cuFDghGo|VFA-AmxB@}nYxdy37cBzFSzR0{b8a4e`8M{7hTragitXjP^rk?kCSbl z^_Sy=dt5?V^X)rc5tDZqkmOEeQgb)Bh(3hTH>KX?QHq}B$+9rrZegg9_u2Q_=N$;f zoJgQ80j}v3aI_0aO2>f8d7eEI()5&px#ksNOj${yb)G1NG{1hhR71Gv7YsEE%kY}y z%!{XA*Zn29?$c`3x0&VTa1=RT?Y*6DBteEh%HJ3@YXN36h3-o1N5j;>fFr0#@{xEQ z;~l&MN5YE(@X~RC&$dw|6}ejq(su;RNDCEyKxM6!z@8mDhV99@=f`}3aPz-duUf#n zkKJ|rwo;AmEguJXTz%W4&sIQeMudhRgFYn7uJeW%*jrt;QrtI&SDwE| z0MLOcj$K!uo!b{#)m_7x(4bl>@;B5~prjBoUN348Zm-l*7D&k$rDEP>mGd{y-iqA; z49nTHa_&Z#?dL%aZ~QbCtqWsSS^$G#-1PMlTIua`BWh?2vj9k84jhi4Z?&`F(B5w_ ztf*O9^`)QqFUPu^2(LRahT1GJ=QRzzAz}nG*LF? zRAw<%0FHCCPhabeVX&v8Ji#XXPobqYThNPvUYMckVdqrofwMJts$<*5J>ehG*;Gg0 z3UiJi#ADL=9T8t!D<=c`T(cd>>Mj%N9C7ZJ&UDS4WF!I{X6VNR#s*>PtQ+A}K#1mx6$Wm)DrQVBumvWpz7c>S}oQm{6 z;~+uT=soRZSqJ{Y#G4KFgUqqUjq0S8F4tuSdap;*oMiNW=SIyNQGIu_@_R3s0ZZH@F?s_m~*q$JJ*@9WzPRnLjZ=TK;_SN|stgw@8{ z5SVkM*Pf$4!^<`AY}E#925eksqiiMzQ3WQ^xL{$l!I0Lcq=jQW2RrF(AS)f$=8`-m z+>C5C%UF7gNxvtk4lz$~roN9h9%!sFrcGukdcN(~$SWuVtG2D#vAV1EN~z9uis43N z9Cs&hO#q@&#rm@q7`;;`@y@bDv#s_BuWbQQwrXz~PRFH*OTtH50MxZj#sP}>&9kd_ zB}v+PobN&Z7juto6-sdqrhuyD(!;=?6u4Q;InLUdMb&cNcEMC)^o{+h?Yx`3er@7E zM2}WcEz<4sF`XHy>z=u=X+nQKL@*p_>e|3!4VIs}G!poxr0zowE6h7;P_c%b4lFL< zb4F%wdm+FEdsNgZ0SX9vP1I`lPJX1;b!QKLkeU>98|0VVhrBcdimW*IHPHk=a~KjI z5$xeiJqf5iu!GI%c<6^@sz+n9%X0fB*uS^x$WRmeq(LKJULD5v<;5>NwRz`4lY2O? zG`;ob3$rY;ZOEpSC-@;)SUwV+T?Q7p-rsbDV)}VE4{hqt0f_ZdO8IL|p{CjUAvvIy z-`Q$QJ8(bQGQ@3Zle#s=S89!;DV~Nz2IwwjRl+-X zwtaDR1{d|>0Bm1BJ>-<@vkmzTN>`*h7LbH6%O-EsHOKTq6|9AJ!*tYH?`aX*Xq9** zA{^{G}ss;pduRfpc6SBqJ!-;}9Jw$Ak?O8WDAs-?`|2ifI~!Mbp`RGEZS5A>&DPI|Al( zH}g`jcZ)FUpkR=RHN18?tq1wc*O$8CD!CRlNwX zkukN8L-DFwtzskuE7mdtrE_yXe6+In0l~7b;YGP-+`QNdhBsBt0?d#Y$Lp*eayGv7 zdcD#(0OaDt!PVQ}^cB%N*=Fb;qjz6v;SE#oEJF+`bm2DA`lpYQ59C^1hwox-ZFNJ5f4U# zZUk8CKX;Q8UBwcsAhA%XAeoq&tMP#wh6P_fx-U>rI}#D2ARL%OHo z07JVaj%1CsWM+``TWv-8QlrXkHsE9VFa_%xKuR3X^@)quCw9~d|8h|)k^gK%lx3BD zCg-x9+8}v8n6Y@w8k~fl9%8Wi(-xZ1*wb#4F05dh{0c%I1=9Ghi7RZ>Y->Q;KSm8w z_|D;slf*FOTesvXg?RN|Emi@<6b$)yfWAG`NM=)ml7H6(^z~uD)MWMs4*VyCZ>yT( zXsK8io|V{fGNxf&ZU2D zgvB1!cpVI8!Oo}#d%coJnykZDe*4jDi2NY%`M>3LIkg+oNfEy@brC(X z;FI?ua9RogoSt`ztof0CCn+l~fVy+T+KydqyCKX(7Z>M5axYA=v-MKkQqBp+k`(hhs6XlMf?^g`e_?3k=v zbgiqSV_w`syHI+YhpqfavQuxw+1*YRb7g3M_Rgw+?-${#=;3mWyKa#&V4SUW@e@g` zJML>J)XAVNPXI`4S!KaR`?Tm4UXLn;Ux_+9+eQeYxN5oZV3x|ur3)J&h1atv-_`Oo z)pOzg#*Q(=U9Y!JaP&4ME)<4yq%El9tjeRHj!Jq^97z%t`|HxDCuT-6zl0yC672uLB0C{L6;c#{{P_gX-14t5NW6b|4GU7;i2#O()J&rF=;qB zS^lq-oRf>|e^39flAMd1o9Tb}^)YSGYDt@@9MRP3=i;CNf1h@$o*3x=Ak&aQ!2IX9 zI3rf~zLiHVCIbs(vsQsDer1sNMnR50!Fta2xoQ9DU3snkm(um&WnnRUQf4vDyLlcWI!A&AI2p}2b|3dL=o8u z1~pF`bpPlathrgV;PveTr4Pyi`YtLe%H_))dW>5{FW(3mKOa_PT^N6!H&B@AFCiF0 zNIu^WM&NZl0o*Zp|K#P(4PXY`MeKoC&#q*>9ppwSnLr3DFu1Kv_#bGm43t#>J_#UY zBxn|4t~H4C2iY42FPV1?5=;o3i5eSBvQS@de+3x}#M|RA(BYzwmdf z`yfCs;1Ajj#p{@v~jF%$Ow8APCu$bJh59yJ2koW{zYuvdN?2!OclnNbuOAwuXQ zXiG>5dkoJ0j@J!YNLv9KL_`y)=_geOzXTg{BrIawYjgC40p&L(<75jNTto&DD{}BN zp@?z;23j<`o%C9J!qbOx<8<4r$)VKNJYCE3Pd~>KaZkxoGd%Oaki!b*hiD2j5Dexq zA}So_5uA7iBpiAz7Vx?X^`5H`zkB3}tshj|iZ%di6vP020N)&tFL>9TK+FjPa(n=H z|NQNEuuJRf@Bfz_JsM0)*sj3o6Hr)W96p`L-tohrg!Gq&NXP#Zq{p!KhcBZ5!y@MI zAm0!3&$fvHg{e6|yZlVA%r_DZW858xrz?Coc-ycz5ajdo6F>^0tZe-Ew)YT3c&_&W z$Y{vkh6qOdO{M?D{guHVX`X>pSE8{;_QTaewj4W5zFV(mWDW4gu+M3ctSnz=H)Rx&DrzhuU)sSnDGul+vU< z0#J|wVt?Jh{Vd1)q!*T*AO-*VM*O}6_SY~loD~CRVLLbhwE#n3Lk-?uVAezHucSx75}q2Ebe%Ts8wNPR3Kg{+b}s zljjRFtr4?0J9J3FQuA-XSkC6hA+U%(cm@|BY|l%ciQ6ONf?O*qYi8{|n#?|L^>7hl z)wwsaS^Kt1KNeGVzzZTNv`@n<3WxYxhoRFPnsp&Kz#3=S@*$clbZMAvTHSEk=nR(? z71xz=7hU{$&~=%OvfI&kUsc0HvvN;4*IP0~$_oYuqkR=E^y)j9@OLEeAC;RF0;U&W zUo|B0h)bdpY!o?lcr&#yD$Ueuo9Ms?LVtJDh6ZA5+5h`LH~=mQA5F@3kLS~z3BBqM zG-H3zd$1F4&4e1I*9n|$^kPp_5S*}fm75`b z`-!Y*DEvqThLf>fY@l{Lh9Dr-6wMFk(eLo+OE|V(&uvXr%TwjDe7AD=a<*w&vD1{W zv>EZ%ovo45(X+g#m#f=V%3>K%Mmj%;tp`F|6@%fRrgc^d!^w0FWzCkeblA}ZXsO_T zbB^16l2fsw?;H1h>|P02G_PpvBK?~j?)DziwrA5`Dj3!Fn&V>}>K_TQJ1hk&GT2u{eU1yDWw~|Wfy8h|2|Hk*9Vfres3r%I6IhTn4M7^dXmKW-dNM=k z*L;g3cS4eG${g+7yS1hGI<48LG8)f*;B2K_=Uw4`YlRTBv0d(Addt8`=(|eMUN01b zBVF3+|DC#W_2f9roW2LF>m>H*UeWr@N#0fZgU(!KWakgu`{=K6jz9< z7IPH2IjKorg=2w;73K(oj{7kdgn+VK;pz~x-U-Wcy)6BdD6Oro^7Xi&*S}pQZcaao zJ?XzhX}Lu-zdh)(s4kVu(3VtEWEG|;&P8e4pRz5wo+rL^B_xAmZw|g0ugVLZX_~50 z);VhykD*ibT-7a%?sulktEb1d zz{szR6AnFv#bsM2+tZ1g;wq>R@u1&bOpdTd$q-bJ~aTug#<$Ec;S`yu+*VUZ^Xa}nCK2jRHp-SO#Fe$JOM^AR_)R4@x7*3%3b-Jsk*CIb@It{V zM+aZEztRr@=lH>eZ8NR%mN<1DvkVtdWt^kABmxkbipmbpg73S5x6MfCkoS}`jLHxqi`H2XPN%9%6H9qM+ zk{acDS|*tU^-`aT*G#SMQKWX;)w9b7&fXx8n|=IH1ZAvUan5X(hzz8b@FPD!W;m&)vW>%8+*Gb5L=KwGgioA^afR^E+$na}d0-n57wqSxJuVAx%3`XDEc z%smCH)ojX(kFU4fFTLfS-s0OCWx~`POYSTHG{hT0f5BklynbJ_go*+krk!#DfQw$% zbnXkmD0h~t%`dxyj4k%N0%EF1Oo5D$lhblrS%-BSd;t~FD_h)^q<;mK`-`Z_2F{KG z3C&X?Da^wJEG@)I`B*uYzjP#SZcVDGT`M{(H@Nf z6Z-nMJWznXa9r|@z&9=^k`aOHR2b#+f1E1G(5K!#k3uQTY5Z#4ABzii%zuW8k#B*qYw3M?k&Z2>{b;zO?n`waa83JNXjKHqxn zAI|p5(%AxdDR#Dqp=i6Qq-v47ePZB%WqYgWv2IL#7rK{X26gOiZP}1_(P(zi5W8w5 zp2RAVU*%n%r&YF=T@vg(xlkW$!L&PtmzW2X@AXq4qDG; z=9TB(?ajrZansaVvdj4wZZ$Na{(qrelvv|lAepj@PB0);P<5?T*8=x%nDE{Ke{b|s z^7PSLxiBZN`L~>r$A%<%{m_(DSB$B_?I|b_UwL+rFK-^K>Em0zt#2#xPzdJkcjoF( zZ7*0-T<0xyLj)>;hrpoomXT=P0|PChmFGcp%r8$~ELRPvJ3 z|Kh^rGt=rwwmLt%PJ@-X3qh6fWd`C@szrN`$xKwbrqN|eG8`Oe553k|5W<|hB-l)% zjn^fkU2XNDt`N}?lF4F+Ogfjg-R!Uma~imS)8jDUUX)}52ESTv)wUM_Ob7t~hx60r zb}~?I1U4z75xJhpK`kqs*MgygY6XI)0;1TN z{1*H$SRuR9R5;!CWQ0S?!i~0c_ub~A9c474fu=^vK`T(M#F>Snd;yTjMvUXqm-6=k zjOcNGo*E4OEk!Chro4Sx-2|>Pb*an$tt##BA82WaBPB`xfAN&(}kYwu;OA0L5XxI>M_R8Yg4HqlK(?HwozQP zIRBlbBoxj!Ux+~vS*_v4GnjNL7j_`y6_f1zq5@2?VENlHowjqM zg@GwH5NHWG@zG*hy)43byvVuA;&B`~DV3I$vx`XZf;JCeY^INe=^l;9ho6qa+c^cm zH+eC|zMiDps?^d-9+@@6UhdPTeUdH$L*g7#4R6@HYdfNQ01FqV&ZPrStYMUGMn2)A zoUO)pH>brN2Op23^b_Fc(t8t?(LkXJ=wl*#?3>-f(=$hgkCZcYr%k{ z+S++N8r?Ad33C(w{Xb13ZG^%UXiYk|Zh^Qos7}Cx>a5P0MEUD)X@J9QvI}JZ?Btg% z(W$_zncJ4QfCA?l9I}T=omD^Gf_3Is&xlTWN`;DRU33bieE7OL-<*Y`hA5mMCR?h1 z;w1%ZQQIkFiQD&qMk7Y{UyhB`@Cd+1tOO^<{h9CKLzwri6O{{F;sp z1!O?gS8lz{#B<p*WtDq^d}*lK zcn?cTN9`dO?s7eHpfOp3>V^0Cs%(u@8}kW=-0Mmm%?=SO1M>FP#)jjdxAqsM(~Y}n zMfDl4s+JDc(m?sLXXHQkRp<`yQB?qG7H-(@*?{$g>@CJgSrT(Szp zqdsv9^9rPZYyRzrg0(W%vi9E>i$a|jr#kGV&mK$fbS;CQ7*0sfG~Jkz_IDh2gmES0 z;`)$V4d@~OTH1R>0b~0P0|TRmr{&>6O1PnnXCI9##fCzPJ)U$u51@ zqn561?}IV{%cGnU?iOllRtx~1exaAyi|9bOOk(y>jKB?~Gj8gAB)LW%pC6ckX9BY} z9g>r_yb5KQu%IA9pKI$c>2{xwr9QiBd!@joaOa`v?MsOL%oZ2`7C=6^sZ32AX4K|y z%D{E%=?TPiIRh?tTBRPg?X{Pt@x$_e{w^xZMec4Sb}%N7K$n0BxCLOsB5v&;GJU$mudmwPK*a9VInuB=()!gS4ZOX|B^u z)nzo~qcZbLOiGN@HH5FI1N{x87jbSnyea{DT+9`*zfZ8$@{M-B}BnXp2Hxo3kWkFpv?VCATGlg$3WKEP*EM3N59`r)sFxJWD!*Bl4}W zsE;=+ypb+;p5u5jZml19&M#pV*pXniHk_4GXj8~`Ny&gkJa3O+wDoZf9?=dJs=Jc% z284rtr853_Dc|GrZ05%z`$FHL$@2ahoIU@kh~lnxg@5kSg?n)tzur0nmxXKYkXkb? zQkOblTLC9pR;Hp3bffp@i|HGwbl`sN!!&<9dEr;st4O}rSr&dd-r2+LNc7E1PA&{gD(p*iv|BGnJTH;IVm<8-lj6|Z33cn zA<73{7ai7wNzi7?@jR9JnXlt>xVlswYG%NGcm&CsVH93|hoZ9L`ruaR zJU*l9D!$94-v(J8t2zK}#K07pVAdR4ct+6Gz-?Z-(7_ZSDfSW;$iJH$}16DkDZ!#FnO% za<4|)^rgYuLIQr7U5}z;_IdRT#ddh$i1d!LFMo+-ChtyKs>lY`#B)@J79GSaPS9#H zY6-N6uMGwLEwbCTYp0n&Szh%V=Qg;aNfv+rLWGG7TU`aQ{JJP@qArM^?3c0wAsTAU z3eSCVjUqq&*zUP5D`jd=%fS|~oWO(wvFZ*u@cY2O>9@(JLO`3ka*hIC*oA4iJY`n( zzs?N#0%LDL=XuNSV-B_dF_G?{6ET-S2gf^ajV9J@30lGxxGk5?uv@qK8pB@C`B?yG zqmaY%8QWv3b!pnE(g4IF0nASpcNpxxnyr4jzHCbkR>O|7idL?~LUow2?E=<423~H1 zVW&R_Hl5+#_qS|;sConRRgMdAO?5}631X!00AvS!`Q{sTwi z1LQ<=gsqoVWA#gb2oCC;yI-~^^9=AoAYVI8wL{5olqYriQnMIqU%r&vg-pCc?@&wf z0BmXxk|io#4DmT&aOB1BUHDV&@kPR$dmLyvr zbkfbEZMW_YBfCl4f5fIGX~-pWdu2<-YTrlrL0OyRF#C2Or%Q7P9`ITNv;xk0$-<|UvZ0a_1WhotbE)wo?JGcT8rG-`W0bpwS$p2aKPz}5Tv z+$l>|0eh#cr5Hb9DvQGPnVZxvqYokYsAB%0yKi%E0Ya1^X*;I!5hy{lob^1Nte^+m zVVNOrHVi|a+B~ed@r0G<(XYKqmwCsguby?^?7>E63|AQC?&y4HmJRTwBeC2)WL-nW z8)d1WzVPK@;*{>TuC{;OeXDQ>m2O6_klV4byGUL>GP_YGR1t{gf}P&*k69w9@1anC zaDE!*e6)6<=eU+wyEqNCWunT$2bbXIR^)c~FR`vohu;sC3neac=eAfU3N@VFSiw*&3Y^ zgNBr`EZxhzIoAT1uVCe;&%+ospbb_&q3L;A-1^z~sXTe8gj9tA5L41Vub>uU~6$0WY(#W%pt5K5`7X z!4FIPv*1r_E^C&e4Fj#Gw)$4)tdiyuOZ1Uir?9ptKoiNtUA#Lao#WMKJ{&XJ@s#eN z7Jd=lrW&|98O_xYF&a0^LAwL~i=jw8Z+F!05HuO-GwB{@aFjiB(+g|Ie>*hM1@guZkgd_$ik}ZpK?U1!raIrM8w@qqvyp;_pN53s!p|OGZPvO zUZOcL!{&TB4;i7thy~FIdM&Ijf~B=Bm3)XBLK8oT_58zN@jC}Vvxq2?x=A}NZ-GT`GWR;zuf9;sSku+P}l zmGDW@K?NX;9Dc^#>@)M|8OZ~-M-On3B|}~a^a?U;2;Z#%en%ppK|6nWqK72rvw_JW z05%Q+Sa@ zuAo1obgpi=a-%yKcen*{Vwbzx+J@K(th=8b>=Ny*zj>DxA3XsER8wZm5^zx<77m_CG2phQ`99rx`QGQ9pp_GBmhy-(!;Prs?It?{GQtj4$Cf7ht1C`*NN;N z@zg;?vww}2t{1Htebb?S>9yZ2B{3#!+;G)%r#aZx0M`PZe;nd(rFeUaIIStx?Uuu*) z{h*-A0n|knbBxg%-@T8U8&4gOLW` zXu7|hBTxwZy~gsQFZML4sCMNbWaXRSvMDTld!3>cpr12&XPH2s85N@cC)e9+l{@8V z4d)n0WJx+CH}f(X1>P$Esm~4@+LPtjZ1bifvyK|3Wn{;u=H&}H1P>-C9PiqnLbPbE(GYL7iJ?pT4?8MRJTV)f654#HGNt83;K!i!r64hDDsCXH zYLfFY4dK;_2|!A51=Du(AEanf7sWXUIg-6nj?{Y>Ky35Ixn#=~^S58{ahCi^sAq|H4X3A{T_(HNoBkDZvP?SX20&TR#qEU}8m= z;{AMYLFDC0?UXbkidFVLd76nual8{TO z;kV6m)Tju6IAPG>uS!;1+fC2yy!sG)o{X&epL9qfWEiwo3tMPkf;4+f7__vzT}X)5 zw{U12?zCpS|E?$opu3pU?n(YDpB|xU@zZpuVbEJykzq)|(-`UgE3MIBAi>ihnf_}C zz=WX#OH&d5uk6Eyc>+rlVTGaj^}h*{#B6Mw?EjSx%&oH3CbMSzg!9psHO?G$Vo2wNh>q zna~;%!TpR7vDTN;rw+qX#b$&*ho`+mg)1`)_?fB9RSDs&QEIu{3F-)k;|z#nA5w#Z zJ!$*TxMYYdY3)`ZN|Ms&V^{o-uI^vqxz|;gY^XudZz%-uP)xn(u=qU_lE~2f6%m-k zvB1s{DbNOEA7K?^0P<6Izio7UgVMy=fUpcC%$nJkaDswd=mL2eAPAWyk!`QJ;z zSIDk}IrfRU$2LJ8^>`7HzYKdABJbg=BbQK&gbM22X{$!{|T2coi2aA~i5ZEE0-yll}869(F!S1f5a{ zq+>i7#FJDg*xU#OjlgaIYRL>CU)oayv8qpZKQhvcL0wBe94;mzZZA@HBtaHJF24yK z1&}0k16CBjOhN1t_>UgLDAc}~oR7R3#OQYIP8_*UOGe1F=}H=?iY}x*P*kWM@P(uk zpGA#1GZ%gIAK5B|gQ>01N|9R8KPY3h4wXA2`iRZ9*I6hST{)K^BRg^^>FCc!A1{UT z!mpF~rZ~!A7)!1k(4`}{kpav|4N!k0K>$QRfsZJ9x1m2x8;R%=6il(LcSK)m^*QF=FVX{An?1_NUbf(}Z3I z96PSV%<~}IBi zZ_}qJdyn$oOH6ya>2&8jNiOPkoFC{aU*~B+Kd1GJf1SJ;C=*~bj_Yra0n#GA_Fo05 zTT_39%nd6+VMWewI|1ukV^=729A%gC?WL+wN<{g0A~h-&4hJ}zMk-W**TBM~l8L6qGyA(#ED4`-+6`Z@F8%^clAR502xKT8$-}0YD5NkKUfB{CivU=+{)J_N#nqSrd$k5r}?14 zLT_C_4hqVaTd!40+iF;j&WkZs&u&;%SXY_vT`#(;x00doRCeBbs=>LH8Wr4x&n}BUfe?ixKN=%>L?p_DQ&~` z?Z{e^*YIPb!FQ{IVTh0z=^G??QYTFn36@tW*MsBA-z2fnAFa2yMxmyBS1AD95!-}{ zhAk0EdPg=~5W7%Gufx!d#Nt8!7m*f%6;ZK_T@cEjK(L+v zE|O}~DHJf>y|E+isx#3Y z8|$o)jA9uq-&7s7p|p@-N2^03ThMw~RZLs78;kyxx4aoa%x@L)NwPXSIoR#cU7%)G zAabf9$cUFY!|@sh@hftld4Tv|lR*CsI#l&x7=)};IK*Qc;8~=oL>S4$j|SZQ0%Q;r zJPglL3z&G8+(NtMG?kha4<`r83L-S7UY&PZ@nkX6v6+Gqt6mz6>U}frP zygf5|2y*l>+K%4I80uB=zsm7~30GanK;*JRC#gi;G<&p{pmDQu+?p(9U^dlJZ(4XASx z(1hS|#ss|~g}>#i2xOyBkj(b6FnqCa4V9dhWu4Ssm<~^MHex3S+!*q}tZ&883&1<;Ge`7%R zA+7j#B=*&TF;oLATcP4$dL*4idqbi@GB0|72u5jvmFGkEbT(lR`ZyP2zO^J_NnZi= zA3$n0B7u;rluO8hOoN7Lqg@FopYH6f{N?zcaXINe{M^t+3XG(2T%w0*c3^hsB_GQ>es3nJY>lAl25Zx(IWMWaZG*AH9E%(kfHTp>TN?)`LTv;n+3K<@nte@Uw zB%;0aBa49RU~JE(N3`&WSz<8tt>yGp&YU<-x~FU3>C8 z1XBpg$g1rY@eg^Vb?zf|u-yZF1^eTtYhl)%zFyQmhYkgamX%?_S#dck`RpFxf0Pi5eBY_igy zuGVpBSE`D9NIdIcG%{ZbNUNn#4L}=elEo8!P}7Vjv8Pk52G?KlnXya|j0iENhinvT z`^C^;&J+hR-WfJC_(2ZDl7sf5Ci`^36wy-(Ja#85<(An|hh7s@G@NxebQ0?E!XuC; z`Jj`1__%S6C+)6+6?;Yd9rhH2|0&UGNj( zdNmHWD5g`uQe5u6gAJBfBI{BDD;oy~ED{T}$RK2))R&yuElebN-BeUfM{HiPGfLPv z+P{N?#V7cw1i#$eFC+f=;?NGpr`xBYOkGT%R$&oi1;ov4d2s|wPAQD-w1J#`LO~J> z5Tzy4w)I(U6^)|A3y8P51Q1f4=5-}=5a%4zJdu9olO`upG;PRGV9qqJ;V=#SA+2<| zc@lsdhLv||o^*L3-CE#?(pE?jb!aReU1hnyL9^S=(@7w8rqEQMUh5N`D=`qL7{;LH z)>f@R11{Z?Cz*MZreGxG1iclr_q6WU5QHJDo(}C&a%EX~e{&oc0zwKW8xg=PRvvgVWJ^R#cNkJc8S<=ixQp9m zJt%UW`{`py=IJzy#0I5VV^Yzal#UDi=k!e4(V0q4f)$7o=IcjMEfiemrAB{G0>a2ortmYp;{RY#tu)Ct zGRCQht!q2!#keqOoD!6)jGQbb&9cApa?69e>v$Y(Bk~2PNwabL6*4FCAd->Ab!=1U z%fpp;iRO`$2>cN{B_xhXi1V_x(@QNHD@4-&hQGR#FCuzdE2Q~?oFPf&)%-<8lfhCw z+YaYGKX)a*1h7t3#Szt89OFH~=L*b1?v(6s19%Z9qQ^9C`4ux)lV1lOHF_+-D~RyR z$(&uOZGnqlpsF;S@)i*f;h(CyY0x~W}g!o zMGB;g^I-(+7U;R=QbfNv+<*nRZ>0fQ2Nwtjk&Z7BTbD?>CJ*|sF7r&BY(;GT%P%>N2AfkoxkGJ z=H<1mqpIgC`wu_9kO+R&1JwkQv4=14;;YdQVAKle=!N35#=Q!D)xY|uH=w{+hi3ct z@%NzoB!ffn28k0dm_u#AI#_j8@Ep~M6}^bQUJo5vk-Nyraa2;!ZopJyvq1?=#@U(A zP-+imHRc?40vQ=go(Nhm6z<`wh$|;*y3#vLcZpAtT zU}|pah(;KW(M_X~8}DIf{M5a2#kh7wC10)=?db5%^mS^J&K5B3_>r`pFW7~zr?0+f z4Dg<|`0jky@vHh?4H>=$n>^nk`nWY#qW4R<* zBFh-djc`k3-$vPG7h{b|B5bbW^_vb%m5)s}Q)BlW^lxru<`Z1SE&_VUM94H=#D$GV?@m)!HqaICS?Sn4KPWDb4Gk<*uEB0Gh0=Jz;k&WYs z+Qtd6`f&PgN8`J~N7>=DpObFhX^h{lr?EZUNK>d}B;?5lTfQz8__^6FI+<)I3&Qcu z8Kd)`tdwPVgy>@MF^4Cd>_gzUXanX>k>l7MZid~<{E5}5$b#n0FD+Axy~v#N-|l#8 zgAd*wD}BC|D#u)bL|9Dk`>Q^h(puY5PFg(=w;9|fAv-h^-V?;lv?s-^%nd6z{rl@7spG6_2V}(92 znDn>Xdk;-*&FQN6{Os6X!OaMhB#xy$5Y8kcrby=}wpojq|^3wZs)L z5AQzrWnk2*J6+~dJgWGlnnQZ4sOZckIq|Z(M=s;#YC*-`rOclkgRgAFsoTq}zIJqI zzEq>XZXu9q7ykh#q&>$K+->Pvcu*Rps3>!{KgOAU4Lq10YpVxkvT=HLpVj{WLvJp` zC1ikIDuGAi+i#R#*NrIsnC$)>xJzK{bY_gE-#L>Y-sDnt{w0e~`*iDQ;?e;h@q2Uc zl!Inw@0`WbFJ*fxQX1jsYpAwlR!I8Q{osQU;7pq$VJ4X3HoI1%`p{0it%fGY`X%Kc zd`60tS?_V*nprP8R59^Qa%ZD4jgktY#FmxaZ{cX@?jKBsGIYfV48$w8@#S32Yq#f-q>nsh3gus4TG#t?~csO z9gI2QvJ2l^kvF$1RP2^2G?}rptc2U9FPGaKuSXf>?dp0eD_qDPnFbpoZ5;JN9m8!S zEyX@;;94={lC7y089b%Hz5pZ(EuaV&;f4@6B~CN$a;$D3m^ISY+O{~b#y=2;l#N5h zT_*A<^ZE^c$1*+_e_&-c^>Sk6-VmxEUyjp_0JD-pl;b~2hl$(sFo-ODJ@~Zv{TTdB zFy~`na5=UTe~AwiM_1L`*)&cmxZjuGX|)_3d*Iu6vTNJx1x|OtwJZFzAr;b_Y_viS z^bZd9k8u2r+v+|KjO6C~mMS7F0$Dul?c3~sTKqI*^KB^3LayAijhbl8t)nC0S6UGl z0ehReA(rZRct>TGu|^Jfb=QmAnfPFzakNk%ftT&Wj|+k!EUWWkr;qhQE`~!--~*(F z38}=uM1yZ>EpuKlPH%EiaY=h`myJ^ApY0&WBF6T!ijMhGtxgtNa!o<1yYu^wuKLCV zt@bs9oU21_;G@*}RaFK`WmTg`&vc&Leps$%Ss|Yu>@P4_SiDvW3BUjX(SbCjmJ210 zWh?3x^Psf#l7p3+phVF1L3y_>7}i2OD00gJH#obr7RF-l#^3WDMvpXgPfyX>limXv z;gx0!fC3Z2FZR)F7f5sagul~eN>XJsOtah+V&{tx@ zQvMQtCj5+C)kZ7lbr@n*sI?E;zq?;$u#CP3=63W8B@|`3Oyrm4n8rZWK zls;Ayt*yn*ooeFX|6jt-e(0*Rk87YC9F3veIt8eJiv9IuQB%>@^>7zzx~-{%jjU>p zuFV9Kp;FUMG%+_Z!N1+{$bIyvytmKjs+Sja=*1te`kIZ;sT}e;CPcO0(?3zcJIYL& zOP$aQn4jzDkesJlL#cdJ=ik*~2qrl>WVO)yDtX#j|8X{9c@)0pFNMhy zGJSsS>@j)}Y$l`CnGv(u_3I2h(YO579;pz3^*BBLmiI|~82Yk@dxa`u>A=_3+#a$r z!ZV^Oyu++`(0Z-ul&!P@U|s_H4beM%`~=-ILUUjTV&6WWrbj1~q9Ra7(}8$$mE Dlnu(= delta 49502 zcmV)8K*qn&yCIUOA%KJdgaU*Egaot&dxr!xF*q`paRLG;f7M${liaouzWY~fjivl>GU0qXE7aoLR{#rE=LJK`aO~y1)Lq z(R}{;v(I0${6eR>5%%Ks^#$WP)rMbao2NF1rrpI)iM-sfJU2GE`r+HJE;que;L;lGKbEVh^2CVT%MV)7r7 zr^ZqbZ?W?}@x0f53Nx3bK zoo}gn-*fwJdno;N(fX%{@^_qid6@J8xg@?{a~)X|e`hkyG8q>2b!56GwL*jrPhhNE zCHMOZ#AHBBZs>i1FQ&J9G15(q(fOe&P3?UP;} zPk)R^e*|PE8>ZrHE52Q%9eD=bbFUrVCgOX@QjrZZ_&&OY zD$hUl7Rvb+3ZAcQAy~dp=eCfC4)4gC4-Nj_f5(g$R6@#gyJ?1vYRfVQau!^MQl!A|HN)>n#p0VeG?l4B+132m-CTy*nS)xW}^-}{Q$U6tu=G~c)dq` z05`I2ZqdiRscNTW&{A|=byMHM3}7`qwK?Za;D)yoJ*5UYaZcDT?uKFh_OxBhd__tf zV6Ub-lc${75sNb6drbueYX%bp5Z!Pve>Cpt&x`WsjLF*RKA5-Q3E*RF5*&8lOyDki zQMTTQP)0`2SP0zSw8h>2k`XjMoK7xMmM>Pd&`8M!#D7)xG2;NWHtYfBW-P z^I?85e+8V^PDvQo%==Y|#4jcm0Zw@IHdisRfZtV9FCCSwG-By-7lZJ8(7Ih&H^^Uc zS_s4L0)djQIwvV)v3Liju;@5!0^SYlBi6U`cT*U4V;&72k`@G*K)oOYur!H zsQWqMpw1Ep^}gKC$dzs2Diygne@%S!N1pxrF;`>-TqVz_ubRggX*N+1z>D%yu>|oV zb5V;kvrGb3U_07a1P6Gk*?>GN7qmsU@iu&ewC>#bp9Np+t z=m#=Uvn@cG2$-iAZWft?N)-oKnDj!##d(kwz)U(|R^C5l2H=s;wU=z9f9=b+1Opvd zKjA^l0?@;;b5fBbg>ByS1vxw%a)`@t`0%=a9m{%K(w#G5?GbPXQ0OdO^P~fWq(~Y$ z5_TbPG4(Up%2SEz^Msb}qHh;gx;Fwr3qgX`DOd9VvhiR|5UxDTU`tdzv`FO`>0ZU% z1ZEb3B-#^$aWJG@pTb4Ze}+*T!8(-T$v-cxO#B>o4gCUM(!~*ZgGqKpA9E2o2g}v( zHT#H#fDw)E`}>ta_=EtunYFlU3i++Ob&84tcdp(HUb5@kxz48p2I`zsrw+$I5cxY;H z_U@BtI+aq+J>=9-rB52Ckths75R^MJv1m{LH-Q*DW_Jt-mzpBnw*l52LBFqR0#T0i zsw`JxKnwg(>C-`AW(OpFMg!g!Z>!tlKsR@XqApsxM)L(6+DG$;z;)QU^iwvbYg};8 zU6dH%wXjEaf25N&F555JLy$(|JKK@oQQVULMBZ*ehuGAfxikdU;7jJz4;~Qpg9qE9 zrj{YL#hW3W<>(xA^Vr_dW7;DG_huL_Mj?5|(@dCA{txF3S7UB^HIh^#5q-Ww&-t+U z?&uF<+|2uZ(N9R z#6VCc=eDb-wyP($s~<#wbB~C5o`rPO;&>n%IT_im4-dGW8>nlU86)+%4*#>G3s0y3 z0>Yz;e{2LLk)>I_Nb&5B#UXmkmTJk~%QuYqyV)9T$`Iuz9rpz;R9TmSgr9GU+v?Ca zb>$YW4B>vDMd0$7op0mcoERGS=Q;+z0+=kD($6fCft`835$TsOp%*z1k>@LEJ+9qx zobUaQxGwY9wEpNBoUkVOGJ1pvM1U`CUC$wme~sDk*s732@{=ftU^@)q@{AGL2$+fe z#JB}JwSrqfY0am`EtrjmD~J+#$ltc_!XqC^wse18Y-1-P8_q4vePP70fPZ#;@b)Q0 zJKDH|Af31yo%}m?EFn`nYJB{p)Qsb(0SGS5idgH#pgM3TG2If~B4s-!Aep%8br4)d;0EgRRP+9uL+|vg8ZqZPYah~Q< zJ$_M?bHfQZeL0kqS2f4OZY*EmQbscc#E%QgfcTONysUgu$|p<6x5n@Q06EV;r6oV1 z`WSL?n8m4nbCSKUIzRX8Xz~bXx*ZQ@f6s0;ro42Xyl6uP;eIZvL(`Rh2HRshq!*mX zT*AkTZ8*!#l=Go;O9ivW3=dOr+W~jSm^{Px^HDfm37olbSw}ahfBQ0%Xu$F0kCyl* z(DuqtRwvhOb9?FymZwTSUe=K}pyO~+B2!~c6TKT`hM<|Vdw0zw}O`L?ojopP|Tm=VB>T<;r92cqiho%na2mrlk#n`?GOH7y{SVpDJdSX zw@ufTU1%K-;Hf3P`3jMfpW6LR=rhx*ySChdF@#jw{XRs{6ot4H7`+;9{iyqla zK;?4)YsQ39G|dQXfEoR0MR*#re|tWk=97G|HEju2?WbJO(>YNTL&ca_Euqpm=(TcLzx@X->Xe@aG8!cfU~ zO}i`VkPQLqD;7*^3KhVo98^$vrsrS*4?S4GRa}l7=gQAuy&TCmq72%Ll`9A65@^+U z#`A2YR!Oik3@J~|NrD7}7#1l`fQ8ZyX)}@{hwrO0Fj4zl7r}4}Q@O(~7}l?Wjvlk+ z!Fl<1=qpSduw6XTJFv^_OG$lJio2=)s|hU}@7At|>8= z=VyG8w{_Vj)We>~=P*lYMB)V!>#t+nu6n{8$ zvG0|HP;5PUYMJ@ONeGxt-`teQuMo*{>yXSJ$RN}%&O3uxwOALcQt*HFjN8cuojp`# z7?6Iw(-6t7>VBguf1d|9);kw+xfWO05knxbJ|oUxo*C_vC^`(;-4!wDks{@%!&8^G z&8HbJch-+%mNmwSo)Hjng`bej!Gu3|$&m+iaSVBo>3ZrgRBHm&J$j0~DhO**m8nNN zGGD}kV|Pv5R#~n-{Yk^3JQcGLK1gtJzwvQ@Wc^^>Onypxe~K5i&Z=78tEly>rvA00 zf|LzFb^`HO^l(w6a`IisNIE5W>EWaTZ^B6hUQ>~PyQCTugCfSC-!H-0x$}B=J60P| ziIgioIm{|XmjeJUWw&%aOUqfL*^H>yQHM zX_)JxI&}Urnxf)B9ZY_%6gbZYeHvIAzSG6|5jV#GV$8<~dTpxJEa75kKZ7;OXm)Uno&KIzd`w5;?cqle~l3^(Hj53BN2+pF!%eQW!N37PD;8a z{Mv?E;^nsQo5L>T=DjePz-doFZyE_ zb9g{Zl^7uKCE^D{zLa`We~Wh&IGd)u+gBapxHMEnNtdpWQ%)VE9FOwxfv>rs&UF-5 zf52Cd@k1R?&qBayRJ;HhlOZnm9L|PNWmHl))|=r+s*adbZ8?HN6~ZYM+-Ro8MQ-W7 zE$`a0^Pl(>(=Wu7PkUn@PcMr%2mgpN`oqwXJs-a?k?=e5*LeH2_x>(GE~2S8?mj3P z3imb&g2Gs>D9=(e!u7`2!otAwl5A{2f1&)$gq&1F{>kH@Bux0+X@>7wc>&@*rkK&8 zSAM9%uWK-2_0?4f;@Cs#aWOHZj#O$8q!;wy$x^qZe;3e_8VAWq_`Jx_WcD%w%-) z^PB7Cihrv#Hj!Swzj^iaxsZ#DWkwi0VWm@+>cvV3Cb^*l>cAJD@NvyDB^NPqe6?Ij zDWkG$Kz0n8Y+PI3EkzQ!4Uw9B1PvlFTgf{l(k&@qc0iv{#FmNwCug&$(ZS1nj0@TP?0H ze!X~x2A*Ck0a0)-qcsyE7}&u18P6iITq&tV6oXL}C=RPkj7GfVk|Qj%G*Qu18?PoD zwBnp)T9cq82-1%T(w{3R1wqDS5mz9I$5Tm~Yflhq`YBPtxmggU<1wZSN74M7izUOxE$3GnFM{ zI?W{<1a8bnhHufbG7@}7C&8JPV&r5qqJL7xjT#xewlYhicQIFO*AvjUB~%Yv?}p0u zWm9(nUD&{2+i(v(xrZ{0>%-x7)6bQTlx4@O9I8Q&>xZ(&eD}d6W6Z^5>cGBr4wMm@ z@hZSZgI10(UHOqPo55CrtJ$70y=BOKAC|h=a40VoXri%*&H8_)J7jKXoir~=R zVQEbxM~GQXb;5X}zg*ELC=*269E*2>nV$s{#;9=@4h@!u3XPf!7&Zt|{T>ygukV&x zN46?Agx!Fhfq_S8@MDia&dTHIZhsYV?^=5ce1$h)9R0q8s1M>XUhB=*;cC;Y^>G2jCSxN%Fl6MIKTW!tY~J2|Wp-=zl02Lv4cvGx6^9 zk>?|#{gYV92!NhzKP$}EIgz=oYp6y|KO3wRfnOf0@IK*( zt6jlll}6wGJYxb8vwtK#bkbGRu1oYggm>p`OSO<-OfM)R9YMYqY3!cO(Aj!3L2Lg+ zK#%hXJ6Xbg69RextlOa?rcuU8TCNO~Ab2QD?pxW=&#DT%;!7J1KU=gBZVmW@P*-IC znxK)ckO=a*{*Zr<1S@Foi$%eanGXx>;!cJ3g^D8T|fp+P7Z{pylY3|(0b#p z3{RqK*Y}WBfY=4)i>7lYoL3a>8CqYMCZHk0B!7s>62p+@@^TZN4QI|cON%cq zNXiIEoiGjCby?xi+9PyN#BJN`X=ia#F!FS60PI)^Ft#c}g=&D?2U^gz_$f^&fH*Wl z#O~V7sOTQ-JRZ4sB3V+-@3&iikN^jN-3<|HMQAvGrCWro; za5EV#w1l>}M?-?~Du+>pzclKmUcI#Y5|2fLdOo?z(Zo$%J6!YLFB|$IAJ%0~e7BXY zp$$Ol59obZ9al zF*G*btRa^CO%tM09-V)klX-B0(k2Qp#>Wm-WKJ0qZ&ovkx1BOL=5Kv-5tgOLHi zz`#t$z`z7YMy6unYz_R69F9y4=;&l&XUp{u3t>l~q4S4K#L)S}P}YCW79izf4Payj zFtTwmvU4#o0GJpUIR9g4=g0*RF?6*s0m#w;r0i^gPH<$xcJ>~Q7G~zoA9?=s2%s>g z1Tb=PveW$S4iK~fI$9VT+5%(^oy~zZ9~q4etpUn*#uh+lkN*il!DH_1Y|lkc@8;%4 zXK3R@XXj|fM@a*4vv7Yl2PgrZfR3&}6Tn|31LO>Cfd4Ly4vq|xY(Ki9RVNN0m_mx0C{_$?Z1p={$)S|_;+&vjC73u4fk*FzXDm< z{_SjNY;0#^Z)odbVQU63wXg;Pr z-4Gxqs0c9psPNzQIT<@z*gHGXIayf$RU`dhVLsX{YHK2FXJZ4jb#{XLi=T*vBhdJx z?;iC3K3pqXJ2zXe{~%KfTNBg2$}n-Ur&qPLaBu-iiu~K=Lj?CnW(ITyure?(u(NRh zfDQnlyRkX_UkQIyJnVsgD;fV1f7IaPWp8H>F#RY4=wo3D{P=?Nax!!U0-POPfIeRT zRQxZ3V`K!FSQtA4jDThqws3!V?`Yu;&}R4;KSlt3&R@iJh&r z#~<^*kCqGe?R&@!>} z;VWrtY6sx_7u}CO{fDyazh{8r-wQ$s_}^G^b{~@q1W^1LbR7m(2IG%EjQ^j<{co55 ze^dTfl>gU3|G$jHT&%7C)>Hh;;QvQ&Xk%gR@o$Td$#rr5*aBI*k6p0+zozQIf32>N zowdpT)k%Lk8-DD9psktpf7@u`Bxd0bG*Pf{Ha7p)xcp15`q!daTi5~>?3^tAx>^9V zj0_C_NB6N^##SHKhttPQ{;dLjEYJU@6ty+BGx=-Fm_AO}(9zM*1McIHKM*Uxi}7O} zO@QuyPceX=&eqQP!v*kBoDaa%&Jpgf6J=us&jkw1tNKri}V z#LoCJaDNaJfL`JcVgu02{6Qa4mcY3$d(Dx3Xww%pGi5AKdv+D~Rt# zdoam6M|Pl|N=fUr;`rU=2?;uxvL-Wd%kfSyd87|zeNU9)R$!Ir)$3*iW=70*BtO4&G`3R^V-*-BM(^4lW!>3i;>{ZvB7a z?hOOwYvZAd2a1O^Y|`*A<+HTWs!=)tCG%u?Mp+9uBv8(@1Ta)+SMJF3w|8@BIaBXM zQt{MqK4;O)MP6FlOfioOo*R`aOin$xpK-Nt2*7XA#%IXAgpR*SVJ~@=7DsLIE@iVv z#15|p_a`h!tKpLPD&RNl}3Lz^MH%+W2 z9Vyk%`efnv_)1EkoS*?}LjAp$u;=VTwVTR2Ar^;=G5ToIhVYITeYY#im+j>dioU{d zMqCCm*%V}xbX86sYj#38&qq{g#3{P5&`W#ZJ&&&Vp4JlFGR(W!*+yrRs~>;foda88 z^4UnC@i_7F{I#e%&U{3>sTSiFGiVw`zl$?`Z`zsZjXANI{Z}xJBonp}(s@M|$FNlD z7Q+IDjngMpF!gE0Clie`;!iUJ{77@JSzYJl{A-FAXlE?vK&42DXn5VZuXJhle)`iB zpZGHa_Bk%Hx$I83T2%2|3PpbswX|*0^yr5To95OJ{T5kLV4AFNScVf8unwGMcznr; z)YC&M-DC_o&CnEJdL7Jn6#dgDbFq3XU8`p(LoRil>Kv3vUZ-n@LP%fYfEPUkEy<6s zkXq7y3KCcGj$#=+_o7ny_0Q?t_}epda=t&y{MF`a9bjansP$)HEa!h3cj27hG+m`v z@`=6!bzET5WUdq)VtCXNBn1~k@J=5&4LhOrH@}ddiixyvij%5!6g>*KT74aHZlx3b zgHk3TxXRwO$j?VokzJ65?R@ra#EqM3<{;df z6}}r@Obk&-egBCuM45k(_-z2Jkcq143?FKK!T>*tgG(c>J>c3}wE_>iHCQtLhF{yQ z0t|0=+!&Tz>&T!4ccv_-YqJ)?$wUGuR-Ez$tCh;>@ECD+IzYvQb6&`ByD$Q&x4r9F@Z&9fpH!sdpaA)ArX_OWBk(i1*@}Dcozm(cm z;p!OF>ncVD2XTKLBkgXq^|4vw+A0oP= zY@YlX1>#gaoyg0MOwDdNj?OLBj=+N_^Ourh^66x@;@~T$ly#`D-DHr|6v;Q~R{jR{ zI3inb^!3AF$yO9-BMC9FR;eiVHAv0|cX}s6Kc2#Hb{Bu@bR+_NPc_l?@5;s!8s9Ks zp3#lTdXRl7Fo;*-q+FMrkdS>+hd3P;-43U>z4mh1LeZ)xohB1eWrNdTAIKGHf7k~e zeTg9dnkGwL&)$gIhWgD}YwH<8$C1F#n>AUsq?MJVA&{!82DzKyZ1t3F4_XCK0C)NB#S|CBPNpZqExUn z0L$(}-NOM_x?X4ZHW^d44| z2%@EJjUSFl`|9&40QL}sGmk{E`9v?#i28G z3Bv%Iv`e)%r!3E&VS)x;Kb1kJ7L>{6Sn zA-7R7IUtCjz|tTtFR7rq2MHqNB=HnoOE_7;JUiYaSeEW>0+0c=9FzniS*Ke@x;A7}8rQ z7`IzH9_$!PT8 z@+`-eTLgC$^J;Ss;yo+1G3DWE_Ap8K2Nm;SLzTo^j19Y=BLVlpF%;DZ>LyOAk`KI> zx=(XyD6-yjkm>OzQV%+s{h*Z!rE&hwod8O^4>;_A{ZW(VJr{Ixx+m zQRuOsEcL#sw(3;kXlHM_A>@CvfDeZXZ>|FZ^tyu^GPC4n^FIl6)S9CmXBpIJ3yFnw zZPLh)&D*Gc%IrKwZxjOhcT#<>C9<`1-(i*ppxpNTR{Pwgov+;+^%|0Ds>+Sa@)j9g zpN*>sW!d&S;VHNw{wtJOM;MV=%9h>cIwCO{fhrzGPp5fAQCY`2#e9Djfa&(QZ7HXr zyDlidga)wFxSjT09!GmRJYiB_hd)N$d5mW`gr2)C8lj2gQ0Y^Z%|>5!P6lQ5T^UA( zXpD~IusS0`@7zp+T~g6BI*7;KV#Eri(D>IYoi2e@vw)MRDJgy%fT)ARN>cC*2aDd~ z%;+w1_l!tR^C!a>PIiBUy~5U>X|Jl0k_@y8E#gLf16s#b>y=ol%MJ(7zzm%1{ZA|H z%U|=H5g=rQLCt32xNME2V8fqe+WQ@1@sfrdk1SdB`Z>YN<&@MKq>zuQ*nyba*KxM> zWM?~5wdk6I$u7gri+sut zJUqN5F!H=kLsfmTc&xj}4c}yc5kRIQfOPqzUO25SwJmQW>(6xdKTj_3iA_fKr+jry zPz)QfM9z6b#RE%ts?K7=B+EAT2PZ8Y@@P4g{Nxh!6W>xT4IMemw;Y z1042=!Mh+j=~;h};GCR>cr?1j(Ihnm`N9fc6(#uYDh(zWbkg9zT9O1&uMAg8TSX%( zvSLSMj!FiVTaLYmhW;{Ap}at@LCz(K4sGCTay!{@eQwzC{)|n>a+*jbFz3X-250dQ zK4lNmXf&{^;|Lqgi6mI@V_S>o(UrP<6skr>c)ufglDdDCV2uMT7USEeM~_H4cj4KU z!5s3yZq?FcpA{X+1H5oYqO8%UQEVwQe1xo?9j?PQ5q=!JvQa<+G)2ZW9%?V$w=)9P zXbmL<1Nyb6@1g|(R9KTAF{Q8*DV?du#7c^h=mg8y9X+A2IKRBx&@W+f2zRq9naJPXQ>2STr^$Ep-g}9xpQwKjlh-ohG!bn=Smz;RZtVg zjFSo3oHWz2Pa|MuE2lGEzJ^l$8W2qyvU4Eh?haq*n4&*KjcI2))hJafK zoPmEa9iq)RCv-Q__umhdH7jRq?G@@v(eR<@iX5|8EZnEi^sPrISutigq z{sjzlMrA2`mc&|nF#0ABhSQbE?geey8Fx9wP3MFBG_EJzN>*Cl(OvoV{sW|k5QFX_G=!| zwaeYN9)}2ZU*X35M;lGt-@He_JvtMzCxk-=zV~A8E%ff#mX^=^zw{=-a`|X9GwBG# zp4XEKLDO@{K$FCOV7FsfcF~Z7Tws5xl20mEmNOuqrr}3bq$*cUn04vwwe~%KP5Zeq z13_)hK^KNWJW|rgAOFtc14%tFK5~{-_mfb(zpJ*uzi@Csi&U^N0Vl7l z;c^xQ=pfq0hYZ%OBvTF>_~tLYEb!TTMMS+SEpqOLUO}z_N^d%unTkRBc0YgMr2ln& zu!YiR4!m0GMAnRC_A~1f$1nXZvkGA+CgCP_8tJSY38!r9h>E_b016EI*b4 zvA45OCm$+}*B{H$#g-*$zm4s6{e06nczOi(;(Ak=n+q)44w$mS0?Cp=IoahVuReSF z#_9F-eg)&Rk@+Dbx5s(!5%II37dP|_1_WTZL ze@bz{ldpj@6o*5XbxeOWEpgI@$Si>sJ_Hg{CKY?z2d=>WkdRC|Mi{F^-D<45Q$e7j zvI9zyO-a=JA}XzCvPRa}LvsD597!iVP@Y5X&F&E9wjlnByPWZq{drq0Vn!~nYx&LE zW|qx?Nk=l&Z#yNbeH~c>8T)>c-vL7xN9#oF~Sc<)Y2x5PJhmpPPU{Si!lS-5u zXX|lv0teN=j?9S=eME_$oD2)wqZd28TthuYR&Ax$N4RX_k!WHp%dGpj%#@sFSZ8_h z^7l564t@Wb|5~F)K4uj^TY}xx#g83v{kKj3+?Pe0t3-mkx{fnBYhsGIm8@@+l~VJY)aLBADdGkTKXZ&jas(re2A)lvaW}f_ z&0Ykp%LS#5r=3*BTe7PcpOR)Y%qBq1K_@MZHjE6l3#o}y_-$M4V{7kAmZ%Hz2(%vW zW$@Or-SO9;pO}H5Mtw$985J-4iIx|@Am=2*dbk}B9 z%%NS8Xie*2zON)@qckzI#;-}Y?`ZHKGK%*HXkPcdsm_zYBs%;%<3Sx-m=eJp!PMR_ zAk4DJBk0~6^?Mt@!ZQ1tIwwqYJq~Hc)MpPWGy0^<{?b+U%2QXI_km>e5sW2F4qXPGGTX62NVS$<=Eb^WDA1i zY}iScJf&uBS2xq@_j#Xkqs*np*{1%R<-=I2(o!?euHn z1|^TH`KgL0;wo6e zblbK?B3k7}Zc7H72naq&!>03_#q>eQ#XE$ara-WO)N`Ov_Q$FeO~4KqgY=+nl%^^v zw@pcpPH_FSVk!8Iv91jB&1Z$1ndjTu>1clw&uI!kSyc~gGBVcA{syJ--IRn?Krj+E z|L~WQ1I8(+?x(vh^+hT*`B*~PD(BTj8s#f9eHeY+rd)=Quhplt;-eZ151tLj)Z*R= zFnOl>368p=;_+)+h7N0)F=lZkHn0o2O|rHH?Cj|IC!K~$GgyVd=P#V#0cU@m48#5< z+r~5zp1jd+lyP9Ej4R~O;%zph4E4Z;pdQhtcLOLl&8@?U^WSgm;s=}p@v@>CU7DLYP7slqx9z{Z zaG;7f&?F9akw0u8YctCt-0V0(^*b-pqfeFhwyGd-A6+CoHzNykVqI)8r_|D;4%JESg& zNJOHf$$nL${?@TR3o>`QI9U5L;xcWIfm&d)VL@d>PGyMy20N;7?IOUiL#o2v!?%qC zci6?gDc>8houBox7We(LHl@?6oC!}BX-v)Z_K9kR>^ud>G$LV|k!ZK#PYJXGC=_S9 zK2x?MytBo;AF3GR%Lso%IaCLE?t6YyIr0`uaRx1p^g70NQxVEs7Hfl& zrTrY)N~+4G9#~ALd(^hk#EFSy)i;~hk@`ci8RR>t8axhjL_UA9udmJ{3PO#?k!js= zLk0`%MR%Y@1GMR25vFp*bWSwVbA`mmzqlM+I1cS-8^4W=Z!AU3MVWA8@1Y>BY-Y6J z{F48L;vkAAc{#&C;->P1--n6RO*;%xj$ms4&Ci;L$_ZtBP^vKy_q;Pdv&$53fy&qc zN!|y4ImGuzGn#)cb&H|2f;k6`tBD9nHBMU28+$5h#6XWt(jk}xmdXKpR5ZFTSJ)Tj z@ineI#r#70^}T^iRa+%iRi9kdJZq+M5*hf4NFy;<8(r|Av3nv$&8E6leXQu0wLz`GM7+D1`JO@82cO4#}XKpq@J|YXY4xOFsB(1eg=P6SDbLZjc_VYOQ>$aBW9E& z{*pk|WGWw{O#kC$x-pMUURpi)D(MsBpr}dKAXBN!?Sbr7h&=IUMG{Y~+P=$dI5x9!uI42|8jJWI)x7j2s9=VP z?T+hNJOEZ)sdBtOM~CXQORxwxI$2-2G32CBtaN`2RFtE=Rq9*cN~cN-(sENqH!OmO zzV1FqrncMH>&&O%qPWmDd=z2ti}}yg+Ldc{CUcrg4PXesH8|;N0+}!GOhvP)rDj$- zL?VA851Sr=fBm+k0$lTiGn;IdMUux)*QDE4R~V)I+9Y+?_d23O-q7xEybWtu zzJ)(P;|@~`npsNyJ~DdW5ZjGqh%*3RiA8_5{B$8@BGP@s6Y2B|5BfSv%m3y(4~?Q; zQx|9mzaL>~kyRh-GIwxHK)g%;$$`VyK1qKP7+2V=A`?f+aCc)P@=BJfJWVfZQbB|B z8qriL!c%~gkU!=|v0yHre;-5DYxW6*<~AI?Pq$+|F40#CLSu{qD|3qMiGz;O1}A@X z(;w_@M?&h$xpjd)HB$WvjxsZr^mVH*m_>p4LnBGML398v^s5|54oYw)BONI}KuHVy z#AhO$R<;f+fuDvTD_J;`LKj*r&%UJuyl!8sy6Rq$^g%`vKHkPgLHFx5*%G4w?I#F> zRfBLjXP9)A8nG3qgvK2Agm|1fQgeTAJ-S>REYky`k(is~zSZQXC`7R|XaB5{tQ3z&%uVix9Z->eg4TyslW!y0v=myhI9@)5i$qc5_av-Wgq<`~Ffiu%fc{mAsO-b9uJ_B$Rn9u_73;r`y^zn^&=3wL zi$OFIrAMhrC)nE4DD5a|2o!d*=vo=UyN~33L!+TK=KL2nyP1}E~0eDi?7Lj&O zHB9)jTR+LDjHANTlacb83Yo6p)oU7!=BYW;;~`u$1nBR=*D9f`JY|Ql6siQ#z|2{1 zRW=^MK$2-P8frcgh?{j^!X(gC@y64b$o}?#6Izo-y1u&7?4+2LUReH&0m+qABSpbj zF|Elrnc69K4bt9g66Jpu%}+nlv>!&*7L!x$UIO;b^&tCa$A4G`pXDW zbLP&$PABl3!N!A|9U~`K;h109LuAZ+xVwF=3PJ}&ZKJ#FF<^FwyV-rz7Us3maey+Z za>uBKnTZ>cQLYmc#(*8g4-}Q}06n^N@Gkyz1{K<>@;a#%3)g>TMR#uu@oj#^wEl57 zODE!oSRxgIB zgSIn6PsgtwdNy}@$v0kHdy#i~h?3`3(80SKPn*Kuv!i?0Jro0WA_K=AV<(wfpD@Qh zIZqKAUVs1Wb+Lai*PsnMi5C~M^5&s=L3gmS3yRaAfI5YOxEQ?hR2Ms6urL8h)+ACE z)}DvGl3h&SZ77pes6nCDJ|k)$tI~#@DKxNG7sqE}4Y^TJ16!dy#1QZphfuoq6sna)Te(*9VET-3G-p{LKa(TQuuLs$wOmY zZ%KwD%K0T6=Pxj}zFcSsZ@TlwNg$ISM9l3G2?h0O+%g3kVJ-*qG0j|D7t4~HQ)D+%6nWB+&b`A)L=xk z#me~3$Bnkdj(w(SVP9jgVNUrJ@o23vQS+Uk^vi<)S$=+a^_HRV>Ui*=TiC_Y=H-E; zH>|TbZOogJS|J^Lt= z;RF<9N)#SHGDU0Nv7b>%Qs<;WjAnn|cy^xai?t{1@RW4;epVf_D5Hy5x zWI|KW81}n!+`NY2j92MF3#RCb16Uvi)U``$y3}IM7gx-gE{f!5!r4!%ZPkAzwC1(mAT6kq51F~(38aQRsI3C*CL7eh$BaVrQ z=6L-^K_Uob@Q-m6odM`jZ@NXc!Ffq(cSCObBg9PAzAbA;zDrGaRbjUAkjj5~BzP30>hDvT3+Yztw4!H!pThO=uT2 zEh=T}*W(?`0-5C4m<;p=*jZj&6Z-v^NBtq}ps}iM5WKWDYHEwsVZ`f4W>uPh_@-_; z9UGreXSqB(@OK!pCsazJx19qn(Rd47z%zg95mT!t$AaZ?+vqt6NR;ONtP($db|4gY z<$uhAOM*M6j?`UH{Wj3VARf%^UZtF7whpzONN%hH-{`tz z?r9)3D!;p3P@?cQ1NE!TNsAzV&!2a;=}HX-WfO5$?2S?H;$)@pXV#D1^2NcC)S40( z-juyh+mr2?{Muv9W*h5>vpRb>O|fYv4L*LulBi@e@>vElLbVC&Wx*be3Hgxscl|ps zV=hoR)ZxKKFe4O#bDP10MEGOH_Qnl1`INyBuv*u0vxKeb6tVQvRM@9w=axYFlY}ZlfAlo+ zoRp&#luKTci+y_Ga!oa-}$a%^x5BoMj9lz`rI6^ za~?@B8QnWB8>{x0LyNb6_TF>`-$ke(&;_vIP#C{2P5ZvnN@kjk#b!{lc+S4E0RfS3 z$_|A_A__l4G!MH?JON30yY(}zVHAV8m$uj`wbvF>!Vv;S+0Q848Df|q1!6yP#Wjxk zZtq|qum@+p0&55ruAFAhLKlcr1G>5SjA*qQsfw3-QIP|7Z9m z$B{@Y()#h~ODa8oQ{&nv;?$p1y9n>}#5?9qi`@%pOf$*;@*bCG^ix_+d_#veoI-Kv z2*d?EkJKR@vO9wB(UgE`X$3K{w7x+5-9ymkkQi|K5yLBiki})*bcQcZA;UFYIq{2F zAl=;eEWWEUKh0pi&0g{5vQ+l+)HSS;nh@8fhBycCd*|7InxZ{~KPRWu<^i?D_4!!M zYQ+Z|bi@bzXRG5>89~UgG+m0EJG=RfJFkS=9 zZdpT*yG_sWkx#+-0MhZ`j(H_jYEWxyeJdv;W#hdKGhta)*s2kDyrqesqa3d_AHKB= zh8BC8WnUkEey2P>1kdX*+G#OzV;Fyytz{yKH@Hb3O6O%Q+^FDzb3(`qsxPy-**}{3 z^|PCV=UTJ=+eP|2-iaU>8C{_3-3F!J486H9oF_ROUk*^bt$q5~#&ub7S=Ij(o@9}& z6YONSXvYw1S>kOOUR$GecrgQ6(#@Q_qp*JX<%N!az5R!+U3Pd<=S50K<$?zbBpQ+4 zXBop@Gg0#LELd%)rf+Xoic`=DDY%i2hq!aK5aC^>W^tvngTXy!O#BMeibu*cw0K-& zE>l!Hd38*7Qp+z1Fpr%E4_@fS z(r+1@nWVud8RxQN=8mEx!}7uqw6RHjn`ua$=+8StAU#omC>FBBUDA8z)ZCDuITBAb zurwR8IkMj6*o*Y8Fbk>xAJl0*kDQNBupD4LI8>%dSy;RD(qCD?hC<`VpLxmZ4c(BvrEOw%%Fi9@yaZOveJ1Y zpaS-}Xy{`@|4xEMk#L>1EqWW18?uxxm-KQQR)*Bh3SV%b!U`O>!`P40bUFUpIBEFk zeJ=9~iCNLFf+eua-p5$tsh`M*5F-~t6;E0_hi}-h^m7Vil!~-b=iM-dejYT)@H=!;L?45TAfJeqwY8Q}UwYNxrM`<~+oGkA3W zJcb;zObz86kWr4*6B~}%MzsB&LI*$Xf6;`Ve|&NTbk-NEFdwa|)j8Abs5C5P4@(k+ zHU7q9jNqnp;W@*$TqJDqETz9M{!2Kf}c?l7|$QC3Nkc7T*G9eR4;%CIobJE?d?n7E< zfGd}`O6YcX!MxdhT4`Saw&Q$;$FKrBZYE# zA&WmD1Cp)UD?9$1^dQyt&$bu)939T$xmbmuC@Hx{i3*_b=tO_fAq6vW`jWYoU4F19 zO6bb9@okANn!jmdQ}4CK%K`wOg*1#6udI+agMMFzOl_a*#$k1DH2BwVm&)lk$CJ+L z{FLDkdnleIn-d)s0E_m0Q#qi&(-v#5 zfPNV5(h!V0#%Mu-?O{xnq3oa?N_M?gd}41JG>;m}SK}_`a+m~vXkzHtNM*m(#`dt? ze9Z+0CbLK>V@9Qh)E$JuK)d*g&vyzOuPNCtzw6$W^eQIHWuf&RkNYETm_tF!~?X{dPlZ^j*6|J8tXVOVoALe9)i@UrA*$cc}p4v$b zS!EPaqywQGh>y~Lh~-HYGgJ)b7kGo>WOXZaM-;WlVB01t2u%!E+}-UhQ;Q;Vyx&mD zVh=~eK~z766|<{!QS$G6UYc)Xs{>0 zGIrvq6M6hLq5q6P-Q4kw)DbtWz;HA+l5BCz0y8Qn^!df>s33=R;bPx7Mc#OqlC_up zH2bncHOAL5%?zQ?GkMTEpUX<1GY0s(sD`AC;+aFxMi#tq*{DFmLjq ze8ts##BWEBJ;dt}HmlCeDds*RK$BE*Tik9ha?gItHV*%4^1=(YirEa}Q5~KQVT9y* zQIDQj!BW9>bQB*JY5pKF`pL-Aqkb^)jK8x+L^Z^JmvB!UbrPC$mZkpD4&q(5CI~pN z+e6}QCn=;G`1_9fStQepf!rV)Tiqz+>*hgK(w(r7Hz>xQw~UmFc7H+F(CP>?M`M`q z$Yc6$Q_(xGOJj+WS}wPdK=oDv@$?s=kNc5`p@tIiFIA^3m2d?@&n-sZs}pRnA)177 zU3Glu)Kc#5rl>_-Mg8c zPQXHKz3l6}<70}>*`zq#X~pognXI{JbKu*dlKZqnUYKO7S^6C$Lk03wKb&oOR5>Wy zT6X6mzS~yzv_W5A_KIuQmq~1*eVC*&7U#Q^ibb*(T}h~mzPBz4eA_eq)4|< z;A=*#whBndnB;dCCfz(}+UxFjA%6K;ice8XMb5ct_P<)}mz|y>whD78n=%W39rZsG zQmtFCCo=P=zdz&Mr^61Pf0I>V@-Oo1Rx8Ihaa;l+n|9^5E<3r?Ga+@5r1}KP6P9xCD{S#NX(L!oCqr z%lA4LaHSW9NWyoHiQD1PTZ(n%lD&4!{rY0AOX2jygi40bPb^%|tFPyOb|`%<^w76E z8`J&Wo?lyheO`a~;>9Z`Sl@R-@Vdr+{*A{w6BBEnHi(8at~z&Y#qKlF$-+87o&PJQ zK=o5#JSn~gaSBVF@F$QJhL@>01uD6VIHXcCD-WAnTg5uk*>yR>%0|StNC!b^Tq|co zqQ1Z_N^j2bH?wy-BMt+9X)X{(*%}&;&D49$nEbFVgdaL}Je9_lXyLIvv{`}TT?rGG z&dyB&M0t<)XUgU6kA0+&e;3y1tp1wx#^JhAn1p&E_F1HL%Q7fkHx(v@tH7mgt0sD|y-ATpqN4t|Hb8HMpdMypkL< zdq@`Fv@yNw834x*wQLx5yvQv+Ng*3i!KE;=RB5EbsgXy|;}LZhW60Lq@(g3}BhFAyscc<;KOXlEug zh|%(ygBn=NjJQJL%@>L$hj#1y9f|3}uY&ugpjdd!6i4h>h@PQ`qHL^y2s8bHJyKRw z8zEBN`|1p0S$&7-l)^ujM|O(rmfc&LtSGB2DmyA&%;z?LHoL%ryO3HhH5-A6px6BR z>@cni4+bj#V}ukn@Ka%`13Eq`Gu3TtlH0k^S8fp@=qc)`o>sVL%fyR87i@<5;gwIA zPkLNIYf4+x!k%X*mD3d!L9q)DNsPY@*8#W6$mO3#sw9fHE=fm9nqhO9AhXGhNJqFI zH%h3emqE&Z=ALo5wudbhR4LPZbCx3g}{! z;}F1@TQZYMX!_8WoCy?tCVvfhHARy<)6EO4lH}wF?G+8g>O!!;-xNRA`Q_l7KTSE_ zFWmFlw-1V>?Nk^CK1QOf6MKFwn4^AJ+_}N#$);6*%;6^1m=ezK<=}&dNFxT(0#@rG zDaA+Dr6HGaLn}sRmlibe4(9hNh9&Qmv%Rd_|E}-yMT0dTNK1p~^ZmW)@Q_lZQ4U*J zktE$hw{ynD5|Y)BPrJFR@8BVcf0C`^6>Eslu(26fVJTH}kVyTF&1e#Xhotd~HPTfM zrpJYUJ3SS?yr--0W{9>D+!i{%YsajmFIn^B#h_`-N$lnHI5AEj6S&$Bbwr~*a=4ks zv5>szp4Cd_N@-|rRn$l>y)qeNgUvL_yBTHl;@x;`LSd(gZBmHw1SObDgtkMmB92e+ zt}&flXe3*lP*s^*LHd&x_b$2CmH6l6vK2mmgoOp+CyG*NJ!tzrKKXqd*r%>=qw>36 zV&$-k(jIW_?49TxiO7TVwg7aQfWh&6Cp6^+#LC_{#q>iw_w!0cGFHTVpmVF(PsHcp z!s8u%vqjv{Kp5{uE#^}&S8%3>o2{tPUr5`2JQ8_&T#;2u_cl^&M@lRiaDPqNL1>(gXm27wPTT^deW_btV%lN>EztynxX4ud^0^pcs^B|25-_^ zp~?KXIhoh13JZ&+0@5jV(!uo2`7{`v@?Lz82O+#%{}CoyC}BQ8@dWQXMM=m@Cr(N? zn;`DD-2suI_;K{$a}BCc{RtA}Bgia&AN?3B+F2-7=qHaWB!1?k+JmKcQ%+f#NU^EI zCR=bd5HEQ~ijdma-2kc?##p>rXyn8rN;%X_5R>dk{fhAQ6BMNa=ny4)!aF$Z9(UxY zh4)4VRtwUeA$FuE^)p86lWrQcEQCk9*XOEv98I?KvV+f=sF`;Yo2eiz^rnY@zA0C5 z0tb*Suf7Zy0wO<~eOA(yFZ6WRHb*%tM(yBNJo}8WDc^NK);-K8HTUW%2^fscC6-%w zRAm*teuxJBG&RI%*4}YV_5@3^7~K1M_50N6L<13FQ-2BObM2W+i%+Ew<4a*_s<56j ziA}IcYTPxmiPBY(NOxE<2#zg(=Kl2VEs5hp!WJ)P0!WQ#Y&Ccm*(FpexIF}$< z=VN>MG#crYm+(#h`jdp71Vc;TcUL8Flkb{)kVez-1lnkf4#gR?LaPLSagZ7X^up6%(P??4uXwIS&@ zg4ThFKCv1H9xrnW5gi11uisHx8)d;7!2T>)fEf|;wO%^8YKB3)Do&bUaVYpqgF%qb zC-Hv&>Ica2Q$ZotANnzWQSnL7?bo*Sw5)_#YPPxYW#B2!(M*K5i4k7&Dt?ijwMcfu zjK)1Y8TAj?<2VrXifH&LXo2gTtErr?{Y*gk8Ykj>TYYP+=f_rzkT3rBf%7@UHy7f$ z3|i^1EkFpg(>i60A^45RlVuLd+2niNPxc$~U5TaxP@`y3U-0#Rua0^)u`VclA$C_{ z7Az!h@Ph*7>YAp!N-EBzGZtB?FFwpKgGfRI`GycX9p zver?NXWsjXWTd<8J&|zo;%%ORE4-Q?=S8?W!X83J$K4D@ilBA>XqLW{if9y zO39{P{Kphh;G4XE>+jEQUiv4?sb#PCX_&M5!+?z|bW0nhl=W~Ai7wk@Qh4lsPtP%lF zw8<$lk%bS$HW-;KDtI-Uz!YRriVZyCa^uF@sRu-QJU4LiksXlF zu&?wA5G8h@sn0FA8mZ5tfo{;G6#tdUFvN)=ie_E@z-z`!_Wi_1TpY1JJv1dcG+OR$ z*(LpbSo7z9L#bkwUAk4zimnJt_v+xr`d)VYJ!>|D4*|9T&A_KJ8Zr06WyjbOh~{nh z@ursQman7dQ9QT~f+1q6hsR{%4mgfexBL_y0sve;5Rjvuq87J>2?i+r0>{O4T080J z#fB*uZ~;BNObCs{TF<*6?p2>9k7W@on^JsS`(hccNYuWl$Yt8NM}j7a7mD*|F4%CG3L zKt;w<{~vmAcc+&DLkJTBF*LUv=LJVJ0x>qXWg7-O8v-#nmrvye6}PxH2COlcW~K!d zw|Qs=gddk0=LHqF5{L#nU6*4U1{M-GF)<1+Ol59obZ9alF)%bSG?%Xv2NeV{H8L`n z@%#rUf3^is9NMxjj0JZ{a2VVf+}+*XZGgcB8QdYb2bbVZkU;Pt!Ce9*xCYk{AQ0@4 zz4zI<=l*}ydo@)v>udSCdv*7!p`}#UVwJFlSb}6B&QMkkHg-XPl!_)FfSsL-jh&qn zm6lc;40QzkEk&i(1-ZF{AG7x<4M#7z(&ZQ%*F2B@$B6d}$acT`#_h>MRK*wzmE9OXYp0D~1HfI~olkL53S zfP@ps4QyrM3{bIv+JT&&BU)KF0<<7jU=Y;jzbF`l?VwN>K_Jk}%Ztsz$(;@2W-H3b ze**9VL+t>XAa{_PC&(J`yIg>(g%jwn!q`x00orz8_rJwj5F4nMg&PR)EN}!{ft=l+ z9Xy<^L2iKO*Z?gBWq_Is$oX$$<-ZMB0RLPKfP;J4Q9SU6k%Hnebbe}_E#TXKNvd(^X#iYo;Sexf1B!o{$5uVkTuxD>3?e#pcc-g^_ zg571o-XLprFx1NK?@{?%uJe1r9Kp^Yb%;Co_k#jpQr_#QOJkaq{p2EZp2Id{CcT{ET=2ejLwhXbtlIYk~nlHfIR**#+=iUI4%b z;)eRWpS(N(pu}&{--s6gmo4cAD}Qr5IM1Z@?4ZJ$n9^zf3?oa!_Dpa;reT}p8NVA{MRc90(pb1P=6P{K&*sb z+c&)acvCMy;>Ef%DKbmDqnF9Z>bL0D>G2B_DUGo%H+0?YS|V+v7kgz}hT%$liQ>WU zsOtu$j6=%jXbUah&J$80LRra>nQ+g& zvF5I>XL0kVo+uQPnNb6d47nk3;eQ$!YAwlPUe3vHVjX>YrFaLxErl?%zv3hE~<7Zy=3=+ zr8=nA1&(KT@1FfCe>e#H)b9&f6>f6_Rrh@fpVZBVte0E7(ZPz;l*A$;SM;eA=Wek} zo)n@>6mpkD>9v#*Knw~E3|UN-4}k+VKqqn%rb2KmLmm|+xbjmzs!}iyo+$c2@jZ%l z3X7s?byGMA5dzEklz&O6X%VXL9svRIXC@MqizenM2fNByID0j({mvEFV>py^2RfFN zT{E%ZtntT@C@XTR6lbyPvdMY9s1(M$l=S&n3cMcTNiz5{lz4}}^xc>=^OJbPnwHc) z;ANr~E(TgU(}Y-B6Jn5+Khn3<9lZftNLTV{^20pwXl;Y#Cx0-%9mxHrt6l>O{Ok2d zJ2#_jVe&1WXY1&7cCb3S?&(g&tA(T<7qCNetGWHz{P{QYo}8vnGSxba5aiRtCcSes zdr4KB*iXwntzqgT+Hnhr?PZ@W%xKOIuxl_zJfyAhBNn(4G?1?|B#8{QYOUXlFe!RtCPL zQJ|fCa@}~Nu0Y+$s)Cy`wXf^#Fp1ggJ#Z|(_Hk}G7te5Ak=HKxtY<#7<(VetmKr zQ4qVEItgO=#j|}4pB>a?{6KMuRd@p1TR1?*o-(rk;(y9Yy-w2CZ-BVS21aE4rrDY! z=5SRmo8GUF<7`CE1B`Hl8TtPARjktGeZsLnA!c9 zRoQ+$GzAZcPDMr0ixh;k3@Iqyk@lh5n2bkCQMtP~ht?NxhH{|zas3jJxnHucJ%Z!D znln@#@FMinriA+o%yYW_Mo zotAlqiIxBLh*W;p_N&c3Rv)uS6^_r@Q-26_XKXyzB!%nX5iLt6U>b5)C?1FM!w6Gu z)x^7am`9)?yEy>tQf_gHbXRZ_NHy9GSi-X&K*2FH$(sSC`4wrWnMEzzOp+3tO`a#0 z@zV9^vl5@VZAZVKOuG^NR*gl$O@}NuAm&zT?9ZE1ftfX|%n0)8Eh9``>C2R4c7L0b zOtRWr&MV*w|Ky39ld(bh;hiA6p9hgLDtTYgv;;ZQvVDM`E0>9}eDmPKP!}=}* zK8zP$PMaeayUHzg6?}L8^6sXw3``7BqZ{heKHP_OXX?Mg57cw){tK>QLhE}NG;VemW{qM;+)FYd_2L{@rXljveL~g*bY2nipN-OM*^pY!N`$4B9Fe zM}TB7kOafn=3vJ|(TY5y6H_UF=RDgkHQv+P#0f5y2mNG^iOTKtCcULQPRN-5jK?GJ zbjL`Lf>}-~Sn#qzmYGTw8+Ce?IOr(SFw==BLjo$UHRXSNJ(cgY%zrFWU!~iRCy%IC zpgz69b>V*pSK#85#ZJ{x+NER7x7Yl&i)h$LS3mD8jjasYStmQ%72r1C?9*ltSWx_d z&}ONrb9$ck<#5=IFU3{3oXUnq;G9T;`q-KDlq1ZyOJy8wmmz~e7sc&sbfPFTt2K?c zf~V^+_9+M373+fYzkdLe)p-Tc*!yF~Jc0uHIx_(K7&y(Gbz5qaGdMlhrra~b){5lq zj^ON1W6ra)1yb;D_s@K&@}iNC8tkc=hqi`>jkCV^rA(v-`K0YtrI}23VyWGf5ifhm zfZn(u>)!pi^9R)V-z%6HTEE-NWp8SNbnRN}D$~SX}*Cn&Gy5uOlkZt1B-d5Rm6t1;nn`VBA+9WOxX`Xbxu_HbI$Tl~i z`(;&@d4J4{3vV?);~S% zO?zbeoWZyPjhMM)XxlaEEhouW?Iq{HQ?`@pFu?2XF_JX@DzgD{ymP|!q}E4=DTW%^ zCnr?rZGNV_dr|`!u3IWLTbRHDE-lH0ca#$u7k?A(Yy2Nkm?yVaBQVm_z?rR!2hx0P zBd?_IJ8o-#Q18@TE%!iV?o`y-XW3mUovX%UWsF1m7i;gB7s&Y1N6pYWG=3uchH3Uk zV@wf(r6H1Uaz*?L3Y=-+IW1r6_T_ZxQCyxi;cK3IoM)RJx0!t45e>qhw9CT zzkk!BCG)C-r@lB%EpK7^OlMS33{vBY-iWPdjP*GB^7{@&zH1Cz83BR%I?O0k`0Aw{ z>~>S{(8Q)Di)S5QES8KVOz6OFyCDz02=SF@U(Rg?Qr7vvmt6dtV(OP2c3QZa5{<{A zoc(KvVaRIpVvbl;u4@cfGt!4@5s_CO4u4nh+-3n3%R_n8mFO^~=BnLMzt~l)kwURM z%%pbSElLV+iB#JjDXC#{0DoC@Ql3yo&ZRJzD~{ECB@$qZ9MUWvtMK7KvPUZW?&zGM z-1yV{m(A_etKh0o!kRCE6IC7^F^cc)y`-lIIRws!l}z>cl%HT3nm%_s$nW#J4Sxg? z97_S?UJW6dA%|BV%xqKQp?AKH;IQqpH3zhOw*3C0*&`jL`EE8@M*Nkm2>(ki5)a;L-t=bq!bmQI2JILq zvrx+%K6-|YeR*i*7YoJ`pB6sAd2$k~JnMU%z17?LFxzc#nnBRRH*c!L9y#<~#k^}# zpJj368Up8AmW_hGtZEWb@qf5-hlnYqbzbCR`DJXjd-%zCc*-y8c7TwRg=4)~n@&;l zOv-}};Xj!60RpUH-v_Mys@PQuOpyZwU)?>0nLI@CACBhZU&?cG2CuW&(a$(w=q+ zM_yA2U{&A{~}T7-2huh^+ak}Kt9kIru!>4#Qe4G0qJhNoG|#|n%4 zUyX+LYM0UTcZ|5Cm3RW&)5?J`Ap-p(h!PJ70?2dpU!*Jzfk*;nkI~L_G!6sR9C&N) zGx2*V5u4tO3*6?|!A_JekcwMti$GH#mYHqTolSTP(^i0>Ut=b5WF>-sBTUSsd zt#yBrMT}d_I6gNzIqx!GMBU(;_w2ce6AJT7KPDjzq{=!1&;4AqT05E`ly|V*%>2GA z0vy|v#(-G*!GF-uxtlVXCEV^e0%Pr#jaOft(GWP%8QQ6aAPFHgHdB9)kmHpUYo-_& z0^&Y_Oeyi{%HZ!WnWN1rkEb#)7bQAjKgpMUI@J!sx&UDJ%Ql){gtn*Ex&W43@G!~a z1zMmi7L``ZZN`q$wG?e!WUpQK*%bH6km_#83a z64UFTb$^11p_;10h_2eBNN|J+{;gZK$0_RsN{mQmMH7{ql%%t}?L5i#>+{?R+u55b z=Z4BE8Q&#g%ZABn3$!0TzKfAtB+R%C&;N0re5c;dEdyn_Q=>$c z=zk3TOgN&XUdPb*+=(SspPr}CjoKEt3nBT52Jp{Ah}oi1;=pqr^7j_VZI3#c7bw|8 zy7045PinG!L7+qcw83$jK_p~hPZYbi5pbz+;!k4b^~Khi9454dJH*ap+mo{{+Q*Cy zrXZG3+51Et*@Kn8%)fO*0K|*lBAcauX7!3 zN~FjMwn`u+#_EU7h^2pcq}V$8PFgdn0htD(cuyFdNzT;=B6Uu?Qs7s;qfkcu@1D!u zDF&z`_wW~s%snYW&PuuK0VRLCCYQZBdg-uh*+qUIso7DA?*386x1}tR4 z%Ou^VQQ07=E_-y^vZg_5OsSy3WsgGu?S66Ov#?mXuZ_ZBAUXBoiZVXPGS<)AmKg5N z3F6K%A2+ExN%v3jjMxra;^gRNOn*endkD|B?&L*au8W5`uE& z`rb$XA`Wv6txazWrr3n>4AmxC?^(}N9h%zr7dP&tg&#zU07;o0i}vBs=wI<$NnW(l z+xVfE<~!$WkT)2r4!WUeHYPgfmj!5cCULAGN%~^!9%K=iP3Oja&ED(XV}He(MV2YP zaI$CjZcA$Dg@|CCD{u;;`7x-@5GB)u_rZ!yQM-=rZ*>op^<;uN4e^qIhnhb4H zZC*p#?|0MkC|20_15o>_3tz7M+$H0e0H##zMj(4TX{mrFnNiMQ5m()RhhxlxgclSj4IuQD-OcM z3U}sJ5=|j$g|2~TWAC7RGh!Qo79f;J&JB%OEU~(hcjTMsmb>3MT}y4HIEKD24*Ivd z2I_C#xbpJM(zJ1&hJku&@nX8jTmxM2s%Wy|vmv(oCXHFUaCvh^6ZDBiUzE2JR3#(*jC}W z!g3uCwevO;(z1@9PLtGsanXaq_*xG1OoZWWdj1{9v8&`E!6dq1}B#;MIx?< ziV=hG2a6(i^ws=cgeE2}4FlzNNp&-$P*vyhF<+?r~jDGZme;+-4X)(*}BvAbJ4HxE&q7Hgjl{s=aK znRhna#*_KDEH&o(PIr>uBut{P&RT^|sXHi$iDDY^Ua4?Ct!n5sbRB-S6*ai%{E0|s0aU;l< zP1I~jw=dE6O&wb&>Bq@j?_3C!8QI(>-s^sJ%c~x5$y(s?w=*F00DsWo4dg8}{ya0nc}cV|$r-ai za%cBy#k(m+`z@zNt`Xf9U;>L)d7+T}>qB3tEH~_-p}vCasET>eTp?`s#l@r0$6^4n z2Ele$eR8C>E390hoU&51W*cq)`-iEf?+!jYzN80L%C|v$kB%ZCNaMJ-1h*ouFV==c zs4{XnTz{CZBBu({a5ED_*-J3PMHdfesZU-*$6aO_3(l-zVYYf>EY{9XCp1Upg~F_h z&uw3$jO;i?4p51PfXSJB(+|wD(VH%JzpH)~Oi(NR)UQzSQ3{E|@k;t;=E241ZWMJR;YHuO+k7lTQyQCJT}d-kLja z#I^Yq1thn~YqNkG?>mBQVJ3U7d+0NZytWihua~|D>GRh1k;T8Vs|mIT8(&5>MjTWL z1|cWq;|M}HDmQTr8CnfVjj?U@5a6?M9T17~ztlBZ@NTXrU)O2P5j$==3UCm5e7AvP z8GkfLg3(JC>S!&>Jl<8yP9aBc3^EIWohoAwmls%|V5b{I@h6+qsDGzZf?H&TCG&g+~}0N|y>oi9bd`2!FY5u+$#u#<6C@Vf$f`g|n`Q(T_|uyO9WM z_TCHJ?dE<;Fo{TQK?uFJxNyV+e$`ka^VKsOf%mZS7CTFuI+J%Jf4w?>eeec3|K$V3 z%wynC9bsIweHk)=T$fkCo0Rb)Hb8$$_fr0hJ&A>Wi7L^5KrhJ8cb}`@gwKgZ{(tEZ zLn;MsWfFq#!aI!yc2_U6a&IWjZyF?6$wt*y(*fe>b$k$uxlLnWFpLw^tDTe_FQos> zeKfNwA-(!Jyurkkf%s`?)meVm_gxGniW5U%hd~H~(t9sbx`yi6^ne==Qyh0ca%kl6 z3JQYC1pj&S;g0TGp+jcukN{Lf_kW|nS*7HvY|)|ZP94d_Q{#RrEYWu^IJgc6Xup!jUZK78Vc&{*oJoRdD+%I(Y_XADjlxF9BawKsA^A9;D63dCnB`q zTpZi}_5wll$*s>Cf%mP}{+BT$mBGZ~ly>2c97jJI)7a7xalX6_JsE%V!K4^DI)gAC z#De*THZoV=(-XVO(r*}MCZKZ8fJiSsP8do&FYK&X`>JDN;R=sNaXiH_5yu|lWfDI8 zBA#90_c?PMcZ(&>1JxQ&gnxN)J=y7%Un7S72{-AYy`rOw*Dy*zf$n-v#E4v+mp$V0 zd7s|uTM0HDNg#EQwkp7de7wr}_NCNRXVp4;SldC{VwS$B_t6sWjId?mBE-pVOn+tk zNYY-xuF!|lN<*rp%Ls4$dc5*xOFI#p;5-&lQuXXt^SR7pncYiM5v7nMS8?&n3 zzSJuXTYv`%lG+p&NY*~#`a?w$+ZjKnpEs%ia_!E+`MLC?LMX%P`}7LNUPNU=7;m>L z3muj6Dq+7}3w&8`?Tp$DD4~emv?jtc$wTELP*{E9{(u3jso1TR6mQg++ek1umPd#Z z=O!ADU4U)IFS(+1Qh$C=R&(d1@g|Ndif|JtO>sFtI{0G0<>{RGr(vJ(Qtx1{nHF&H zVmfMA(kmmn@N=DXP08DoqVMmK5N2*~sv)i=6p4#ys=(H`;wP@6p0(Vub9gLhJ=ceQ zzYohMw?#I~$1@_S(8T~Kz4nI?4dL&XUHYSKkLayi?F6j6(tn;E=Nh(f4D>ws{+bAC zw%5Y;DIW0~_32ozN%VbH-n2o3`3!zaJ&dk)j~)x<&@#sSv~5fCavx=UFd|Cis(}$w zY3Du(3=KzEH>0GY!U=YGQFQP!CF|qp5>a!9F@*>dV9Fh%hq22>HA96A@1hk;Z`n>a zf2Xr&fhXg^pMOnk)ZB${3YDB0UD-(L=(A0W#*)3*h>PfSv+^;Qd)_P2zQdAsoF6}V z6Q{R}#Mba)LU!8EYm%aCRLM#bG-<{wmdIb`Nj58?@%G2zVUr^@^%!q|kaerAiWmUJ`lc-InSF9KG;O7N8 z!lZQtr5<73SNpq3qH1>Y*-X!Ry!7=FS&$DpDl%L=RmPt7*?2qc*6ispUX|NzDM9RC zXWAnCei`Xuu4UC60o`?(lcJr2>~jQ{oA$E3h|y(J16i`Pwrgico3B{>X9+&i8;LsI z@*4l$xPSNvp<7i-s*1un5BD5m8Hyh0OlGyEMFhXNdu*DJ-fm_68*VcGn)*Y&CTInh zA+x3fR_jH^iLkS_9lD80`#hHWYwG^%th zADTbHfqnbpzN&m&2vq&X#8K{3<SeF3i1q) z*KK>YrICYuR0ONQc%^hcUdzkEqZTGiOg${ln6}7^A>Uy9XYZ`_-wX?0RBgHl;Th9nhIcGWB0y-)NkRN~entgbyuw#xn7u}Gp!;tN$ zl;5O_$;nY@w1bAnma8A)>P!CFC8A#UY_CIIx&^f_=JujT#KlFnE*hPHKXc$4_V-eMzeR2~J z@JVN^Mw87#%e?aaDr=?YWq}rPclv3!bLT|molr85Z7d)Dc2~nvGuSe3DsRn8fq$Zu z?e!bOrHqk*S9d@{@Qk4;H(Cs}yMO^TCYcse9@auSW2kuZ&+~0Isf#LsW+g*y4|=EY z;M8w~IOTarM8B2{>S)Izd97rOBvbj>6mmyB?Y8X(9o)TCQ3|rukm%rB8Iew3Txxc~ z^Nn5Ttj6BH?Zb`_ULXCXD&^A?KY!G%;g7w;&x-Llg9672DM7%ip_4J_ox@CS(ThJl@=8idoRjKtxmx83OhZ2ZrXA zj$(`{IC?QcGVKkVwzhyF{C^27qXGEbfM%)$w)pKN(_{Ilctj;Eq7P)~ybozcy}`)- z9(1XOKSLr6RzBk3emvXYZ0HSL99nokh9Wkf?E^ruhPu_+daSIoQp;Cx5kBzxM^WF%Ze5y2-c~8lcz;y=yOtE?+SSjP zt#PuU`3^s&aH~10&fKVG5w=?D&+EoYnQqK2f+J7>2G`=FpUwo|Py{&I;BD zUkB~@zq7lnRK&B*hVho{v_#nj;C_O-WT*x>DnIHi$O?_c4xLy2tFoMDj3 zF`8;^Ti#+xP~0S*)M%6Yd~YxVs(>z8@7jd=kR`-$YEDfb^nZW+%u+kMD9S4Pkmz$* zn1{IP`D>-ekqlM>?EHvchJ%Hx$GNVf1mw(R)8UJ!?cue)b*E zaJ}YY@B$41S!yG5AsL&3)N*jUCyaC-}WpxU`wtdnIILPf)3R*=jlUw9L zIGpq~ochI-!+&a+%;H^`5Uw+{HYpY#j!c}svh~_wVOS)Q(kh#KKN>>@4(xHuQ}9B` z`&z${xrIG}hx3QAHiO`nM*~-5DAp<1lt(I$Hd!YcXS@IG4Qt!CLKG{#N!md?!Ra?< zWnJbr=re7&<)CoVXs4-LqbSa%?6j#0Dp4lVp=t&!ztUow>n*RCDXMI3WhYaVwoJE; z9%?8M0XZ1pw;|==?E^deQ3o6tmadS{^an-0#%8IZ`HXHa~RXrR(Y3OTQ^3MbCn6kkhSU1}H4X6*mL| zVM3|ZWUH%M_8NCOZpdE?GAzkXz|e&Yw1IjL?hhh1)s!;LF`2}yzuR((ob18yw7 za0x;{ku|*uQ2Y)jDIJF^HTt~IS`<>g;};F}d{h2==u7bD-wJO39lJroqe(mptnQ~FFJixXV9M#{=@FE#$ zfApOplD7yFJeEW}40OLeZMKWEj0*bR#pZKEpmgu>!&Zr_`gYCebW3idTT|$@pAA78 z)kD0pJd#=x?4o}5!s|T0(nmCr#_|^cVE2znc>xgD!oeW)?eaGx^&8inw{)&wBx1DR zsXT<%s?jo3Py#-@62Z2{xAgCF7Pa~u8q8QbFXh#j9|X54s0g#G=YpkB@{rPoMoI$F1)z-#lQ?h6d=jE4pE=Pv-(Y8H0X%ovJ$-9iSw}FOLnyM~9lwOKt zqb}s{_o2jg=qF0GBb7<9hqf|4EJ?ekeLRTBExRwWI}E{_W0zDb$x+7nRf2wR{Ql)q zNIxfWJexwLnx%Txz4@S?n>Gt*_gL_xRSNArJb`%2I!PBI-fZwRTAcCb2f=ibxxW$r zi?}amaPrw?FuYJaw?vuZc2+taKNaf%=PeoADP-N)* zg9Y62dhXSFZuB5lWzEv0w$)nOgPXG@1-IpI@=}@)u!1`(U~vYSsLoa>+|}3-^P)M} zI(1Ew#A_JG7Pz%#%5!i4D(5eW@Uw~c4X1_cg&W@*I(Sf4@B9#E!!q6wbGi?&Q_ABQ z{o;191H*pAt6TALbn{D>**dHnV)LN+q~ApfVX3y^-ybc1`!G{{DYq%+0x5g0vNX=Z z2Ra$vZ=520U;?tsZ+6Upg%#RulR>p=QCjY-Dg{KyV)z(hJ*ye z=n;t0FPQEYtdZa(h^^Y|=+M>G<>m*V|3cW<)J@BT**W~@1auOBr0*(MgS(?P3S^T5 z^HM$MW}gBa3?KE6FAx~V{{f^e0GI;k3=*Utkpdkd1$PD4cMVrRrwD4s0j&QE!|ID+ z2js(<9mogo>&G=M`MH`us%CqN9})6u4?6Ibz3&1TQH%m3C%{-;#a+rZ+nZc zf%vbf>JL=h&0d0q*7uvQMQt;T4Va_nXXri1`hX9r{;B@NWyqtGBVg4Z=P+=v-H(9P zfLI_xUIqgLLLZNdZov^kWiZpkk_MP0lrxSM@6L{R&1sGpDG^)(0pOhhE;>kAm3 z1>^im90t6U^%B_ou4FqY96z{@WdSUFFROtKAU?Q~SaAxq>3uKpbG2@uZvEu#KEAgd zzc23qO0U%v-*UO%uA*aj@+Wp#m(ji7y`VZcxx4_4oP={fVHrO(92S_GZ&nuIZ%iH9 zn#}x=aX`JLIDsYBfj;1gLgeo~-_fq;2ZXCI1(!#_r4w!}K?q;jYXJ6V8e0i5Yz2%M z`&XNRysnqm_h4=?>_J4E2qJ~WS5Z$1=G$|ZBt7EB)p89KBowIc)fGQJj&ijEHK8v) zpC#30&sO&!?9QQIZ!85mP}vX=(66hg`|{f8SD+3Gx|ZZjT2ugZFae+z0Qm*@$5;80 zzI%)UezOL$`3;K54}8Us_@amO^7`xB|9e~y5-fiW&9HJyLZ-XYMP;4AbEqX!0b{ky9hNuHo@H+v-yNY|DA z7xa^;+X~SaaV$WOsqY;4{cz_A`(xQ4fO}(8f$}R0TABPy_q*$;N8gSf(#!x2J`U2= z19!_ufm-Zx@YDU5k#i+6*=PlwCgdpNbKkT83X_(}oXplx)!Xh2)8^~lNT>$DGU_v2 z!7kjjm5>^<>{Xn(unX>0=*k~~Pj+iH;Phfg`N@cA+7Q6{4?gbE9Ljp)I<>wiZ9-S% zpA(F2=bNI_rr(MOQ4@?ka6$$Wqp>{k{^1>`%WQTU1AQeS#3T(Q%D>G?CLY+uh@q<4 zY)-O_@#bNLubWkRxe+XFU7zgr?Puwm7Ww>Q(H73Qz_kVp~T z6X{%To=`w+-3n=($zfIG$k=pg-&fNCut2n^r%g}{1gBrW4Bn%Cu10CcRiY8r`6Nz1 zeuo=Ex{@JIi)A*$DAV#vZYG>5-U6iHz2{ZzJTUzkSCZ{d4Pv3mv1!^#xQs)JpMk%s z-Vna-%77X9J&byhlz<2XZ)XDfQqWv0ynr-XH3?uIm_&Jkq|MT`5i?_nI~dR5)(fzD ztZpHh4b8P_>$Aon;h_?qr7Zy-yEs1KWqJBjl&cJvLVcC?;YSikAAe1Hx z*ttv3mg3%mb!c3(UEsC<)Yv7fh9n@<&x}Sy*(h0pHbuH`55cyKZMCD*WqV;Wyyp zC3IO??4>grr=#AM&)#)>ZXi;VLAe}^cIf@Ng-EbZ^Ayev}!K*sIe!wk$*hk zEXlFOvJD@eFX)+s^fUx_Y03pb@|%@?YjCwNl$EE_r%7?mVN_RDY7h18R4%C@QktUk zjHkpPrLNi{Y>O<*l@x5HeBzZNtuOD1`0R1^I9(aC{TOOn5vxRo ztdZF-mI{hjXB|xygVSF~qJ$8kd+_#Z=k;BM4utwqp$*=dzU4r4=3O0zRSz&nPR+9< zQd`pL{G%{kW8T5&6Hq+EDUM|dTMcMBSWSDT6)9@xjnpNgZI-n>$!At``xdn@2>~-Y zj4pbx4uksae9wA=KD{4&c6>y|wWqi(Hm+>F10M--gxcani634U%+YeRL~m0)`TeM& z3$sc>>SBqn?47yFf9!9t#RrH#G2{#MV!~jaQz;L5v4}{DCMY4Ye-@jtT!VRX>vr#w z!eOE_f8~%{t{AOQB4|%9#6nAzq-o6?Ps{moG^ZS4at|)gF7=!3Em4*_YVc7rrCm%k zV$~i%0YnK}N+jbW)#M7sP-zup5*a&Fq~IC7wCbYHVL|2G%~FR#TLESb5bS!&_fS&b z7)K-U{cx-NwVYD(uHS!(zkl5=(pheViO=rtmmZkr>ZvZZdA-d{S@)QzeGB3V0`-;I z@734oTJhXio+Vb0{*z^Hgcl{<8^RKOJ&Y24STr)jr3~v#mt55#=9gR*qgbx{qkVb` zJ&11ha7qL3g+$Zbegp`I#n_&r+m4vBlhf!~7py!=*{T`v=H+N2K@KV+x9t*Ws0j?| z-j~tTYc`xVrT^H#h8^G%&?{fl!>HCHMsT<4Q74FP$@Doi2r@+sASQRpAf=%bX;40a z(i&sj=qa0$tiZN1i%4OoBduQP{L zRo$(D&AEWVNMx^|xAwr^;w=C*K)Uq#$5Df`qvx0-6kxfRN6vE#Y^JZMz^h}IrbtX- z@b=iZiCX!!$+30DqGPds z?A5e&vLVUUE_NoWO=0mIYVfCTf_!Rb`XJe^`?&rK{~APS+ppa%Pjvx!`z{s6{irPQPIy|WF&wuF#^D08oAA3$ z5^>l(+rxm5zJ{hf{qU3NkdcRTNghs8bruwmxC#5G6>|mCPLHY>o2q&G-I#}^+^E+U zyo*;XY%jA3J&6a27jKMa2YBJ=c-{})mbKx1sF6S9vsPD5j`KI$omBovlS>vL(sDumdf%}iZ%qiO(^02o(-ntRZN4Iad56wI4Yre*KLkFb>FFC zGGT*8@#CQ&O6!0@g4r+0{W7Kc>NJw_$l=k-Ffta2NAu@JmRllD>I0E>h}$W6B(~ZQ z?=!{MOOUF)E?wMNfnr!Z5!GX~HGI@@b7Z6uYafY%Tj#^}l;<;A$r4?NPiz1baI}S0 zcX`@>EK1JSUaWN-$m0;cei+sBv-KmLhAAu*0^l`=h$HX?hj!azpz>F6**0T*@5?0s zrRy!$3)iW(gt&lBya*fNrWFNB9l@TXV`X?8O<7O1R{bi?Dp$oX*+dXQVQ73o5y!6S zogy6L1!ms#VnW!x*RgVKQ5nEzuF1b@deGAB_9d+FsebW&up#H1yo-TlI3M7x3}*+P zEwyNWwvnZ!O0&QXP5i478E~kis`FUy%Y(2@yR4= zw5BLNY;h-L{tNq3E_YlacvP`E= z(sKuRp58TVeCz2p;Q>E~xDh+dGd~xk8Y(^WaDgU&g|gufq<(KUOrC~iFjpd_e3h!QmPX?>y3qsd zuu7Yp3FN}p8ru^iNQF*)E)ow#40bR&%*Y?=UZf;uoc92FLG38E30#rj;Sp??zj}DJ zjxl=eso>aKez?S>rDl5>(eAazV_@18tM@;qLdCQ!o~KslLFl~EE3B5*Dd?Y6B~VhB zYmX<6?yu^IOg#(#g`*h2o{WK~slg7b~OC z{wq+lVAOyT#v4~tbJLj=js_5A3y+ezF0^9_ij_|7@s97_%|}`jTE5bG=PpL1-v(yP z6d(fO(%VV~JbG$1Bj(N~-D;CQ!4C0OGTAc9Bf4z;OOB~Z8!!A)<-dz-d2yyIx8n;- zO>eXf9_w>hHRF#^ggcXSt3vb`Ir2K4E1m?|t|Isjt8>#eIF}`*^(@#V7nux$TS)b(r4HnS0yetd+sQSlgzIlaY*B?& zTQ_HeX{l6|v;fO}kMuKNy?V73->$?}VOCOJ^eGs!!@5&gmBAn*BPz^gBkAl=GunbS z>IuM@qD}55=;xgRh8c_*7!}ri8~mf+8r;$3^8$FKYhJ+b8hE%-Z#6Q)6|I#xB}@wk zH9}Wwy!@`j#22$gjrHo~q*QB=hgt?mK?d{ynlb;-rADv}!k`|MmXNl8JNE>AnZZWW zjhR#P1d*gD-P)ClZX zCsm~qBL_?vXd<9)cpU;UfObz)CE!I=~5yr+L*RpJxYAgQu@vUl3T6h!2}JAe+i)NF;GUpA$lZYJ!0N zuiL#*VeZTUYy_8~>PO^ce7HHLHlA>wQN9$cp4sWdy5z83j{R*1gih_^m#EzQd1_ zT(;j+Vx#QrDjbB3*p7iOZFT5JaB9uk>E-$uPi@Fc8b?rWY3LCfxX{Q%oHWe3_*B)$ z6+~1%N-CSqBGkxQc7c$SJ}g>W*Y$u$_Zqg}^YnbO0w>vo zDKAEq1{hwsjq$)UA#3k@_^?~)mZpOFd^&Zuid?PE%a28p`xhPLA8acG2@RkrFfCAT zy?4Jez?oYAZv-xmTqF9FIqx$6D)HF{-8tC~DQ0Bo5KFZX*i_xmEMnpl>xXn!z&3aC~>BOJRhJd-q%0e{kB*V7wHtyEMDq(ukWt;M5u_R!r(_eMQY?P z)JPj?q@>=o1zo6R-(^M;;@=nlK!v#$jp&lnC`PiFilS2&W5WzdBIl5`bPRP37l%9_ z@1$XeKeW^C`4spM_((^MlcX`f*A?6qd0B*_2k6Jy+jF1&+v75PCJg~2if4=7fAVNR z0qjfX1yTe}KH8Hh_fxzoyie{M=G*>PK7FNu9f`VmvhHO&(X#Nb5dMz_cr{J!(srtg zZ?~?t_m$4{J#4J=><_8ZI_0dnz#E3f9vz*7*^Ottz3z#~K9QNDnKfkAOmzGI#~JMpxuFwOhgjW%=1NB?w3+*KmeO5?_v#A>&Z zxFL7Bh?)^hm@+io^~lgHBU&SqIsx9?bp=_o#%T~T!?~CU-#a#-zT5DvA|(N1Wu-$K zD?cR>V~J=!Ba8mz`OgB4j1NDABV(nsTKLx!DANJs$BTP=LL`7$-D3KJ*n~hz86}#z zw#ruiSMfirz-QfB%dCPr@Yx~Lg^$lzo{%{RTDibse9@d%`$}nc4EuC$LfL_CuClL~ zN14ml9Ocy`F}lm?>2tps=v#~;7~EWy%}M)eyz^TO(k^xI$ltvww}hhQ(fX@D!5w$)lw_TBE5Ud)HM1a!Qi3B zJ{{fawc|fO)*JW`a7C%Qr=JDs@-y7D+!D5A&r=V5UkeI?*tr`WaeuSH=wcYWlqgj^ zNangF`i}4f@T-pHj$qyfv4rk6hk`xY8krDw)AC{z|EpiuxbMu~}8~w6$ zsT=#D(JZG{LR>=&VaZJyTGviQw8yzDTiNPCol$IoGJ4dAE>xB?r}~Or;r<6TtK%LT zf|3#S!EKYS{vfXVFNpxJ!g`_@l!uBwJoV+#+l-1_3*?sl(C~fF*VP*LL&tx12B`~A zvl>&l_c#E(?Aip(B2WFVGSXwrTr-z9$8GDCHzMQDxPq(q6meHPQ9DUJvSsVn5uej` z8wSnxfgk00!RWF9pb@%#`8lyI)dHNcp1sT!4>!FgZp$|U-0=0Povk^o=t*3dhAX58 zx`SFAlsk2O8b$qq@+5ne$2;N`O@d2OMp*^{ELe0N2=U(fsJ z(;qbN23`E6(&Ua$w>yvb#$IPFUHE-%Fy`T>n+dhN!aqurWDgvGg-YD1--Ayx~6L}JWn>dYM*}Li9uD+Lm?oMc(uNf>-* z0z z>o`@faZdP3c^57&Nw^Ymvo6yq&%Bc+hYai=P)~jB`HmUzlhv64dqnXkGGA)G@y8?^wReAN;o)u7 z`Uf=*ZOdMJQMt{6K{ubOZ4mFEEY%D{TFz9yse~s#vOYrPa!O|gN+5(XO$rKtfP~dP zUt@GlE^i=&o+c1BUd6&-q-)k9q;v1o`lSe(SZfSxnBm z?Cl1Y3)&%vpAlIqMIfJrJ5{KsK?0U=j{()F4tVPCLF6_MVsN}^%qW4y=+GX|z>a;q z9r)mhVdiuJ;6Rkb;E$>5zrXKTgi7T2(ryWb;#M+vF|E)Lp1ZozK?Pa>DHHIn55io> z*ZU*5+}QNE{A&w2UTPQdavbQ4ikYu$HB)`v1sefcsKAleL<#3Q)PeCU{ zkduTCAFo5H#Sb*q?1ff)Pq9y3XHdnh#&%%c8vlX!~*+Q?6B4Tr*yulU9!0cNBVLaC)BckAc4_ z#|-=_zF9zt{6;7=Z}HYU;Egc+kSeBw@UO*3_L`bomu>Rendr0u@16I`adXetgj6^A z55w)uSI;FFa~*X?p!Yk)M!baS#JyCUk{;QO7kXsT-2Jx+hRF{uBl_&1ilQ7fR49_$ z=H(6^z|;|fLxPMUllC4pu6=(JgfH`|IN~e14tZH?;!hYULdlon3+rfUXwPgp*~_Jp z@Cb+bVNoXeWEq42>%w}WW_bo)Ukv`u2ffQQwtd+5M}z6*)W4a_w|r-6@#9}P{CMM3 zmd(I_Br82K33^votg1}T*LhFd1b7|tg=k)-jd0`jlG5qsI^OU`rxWz};A1;ss~=LS zD{klFdrdCurW3R07WJsJ0V#<$HJlp$J+fFoOy*U1`a-(xMC?Z!8G#a(1XJr*PFf6Hxam-6rrV)jGvjwcv2>XVn-FoRZqielF| z($vH&hJ;oC#4vD~k4;k~Z89_5?n_o3!Q*TO|d)^Qoy9jF?Eg z;4%ZM4lTbIm2hUmHy3J|TDqU91jCj1y9HQD*52F!&J)Y2<4!2k)Jh*u$YzWwYBd?T z9mSf9d++JoVPu^gM-&%y(H+|`ubH9SnBwEA>prD~5FLeKSH1=STDWMevw911Qvq`P z0D4pe@?@6Y4B zA5}l+@7R+%#Ffcdr47^V8_DMbLI`w4x5L(o=RK<6iFfVkvhJ|IYKLIQO-UXq;AG7S zSn4zCL+qaoefTW<&SaleXB1HZy!X>$2it%AR8^?gX@LxgLCK6+BN(lnONvr$BAqNH zxxxe(XzCP;RpuLv{w*xLidhKR3=L{Jrfy^aJkFwr=-l@S=#y0{(>q!rr!k{4W{ zRK{)+bZToJ8^)1Lv7J}uJ$xRZ9|aCbh+-Kf2F^;s{rzG-GN;2kLX8_pSU(G{{qfip zuD3Oab&DXtib;Gin0e;4DPm*Jg^kuk1`RwdK7Lg%=yp*b7{X(UDEAhDja|$dltF_6 z*g;-E!VYsR{;9E~lH^+%=C-|093Ri(RnxUgcOa*4ak*kIv97g;;SywzZ&+vTZvM53 zL3=P9=uNk}p{-4|)!?l%KoH_KL3q~wV5`5cSx{CeznMEH)uq(l(2Rc-^g$&_puCR3dnpVX`02j9y zjnNr-gEiK?p2nyIs&KOFDkp)0!U8cBBA%&7R_iEv=YrAIRr#&B2Xoi+DMcxp*EovL zR;#)PDYM&Wo_%phc!|pWeB!O7rwQV4Ddc$b?vpcV1-0&jw6J;14-T;gFtQeXN7zO0byqP?*kDWkocg5Tx5;gf#6tb;(PY4nMG?^6VXU3nn7c`j%|ED=8 z2}uQ-97qC53D5e!EE{GPhM%=TKqvr}T3UbSN1A-5t7rBnR)ZFvr4}=EL_qxPM`DOz z`=x^+$dLxHho@HHLEo3N?JAQFle~I^u}BtSb&&2QD{t>v=?sm0)}*CXwTguMS40A`viJAN>q@* zs`T+p3<8mX5Y-?NOfV$wX{ykis^~R$plvYB$v~*AEKpiNcn@Lrees1E;KRix?h6oa zpmykj_#rlOP@MS5dM71ENQ3@V_+7}O*gFUt0cSiw#JN!MSj@#2g~|bXwj@G`43*R+ z`m}ox>U~w1!3W}6U=%Y+OxKX32DVR)&2|h2{Q|q_C1MF<9L$YINM>MWDh87HbIl`U zL}DZi!5>gY)o+lpG^Jb{z%K>3xCsfJX1;p(d2w?C`CS5`z<%75m|;xBjeuGSv71+# z7OkxUxjBJLgktR>^{)XS>G%R6QP4*_$$DXD9VJ;ZThd`?61VdeU1ErIp>C@ z7QDARORcr3emv!Tpi#j~ktCbp?l^Uy;^Hl`J-iRqqAQOiHmBhd+XXA_ET6fpH}(2;X#a7V!SxqOX-COd1r%b)_1)7L~|4Uhq({2WS(I_nb4>MoJ1y?x9fdvpurO83RQ!2Oo?+PG`xwtB+V5nq7kv@cAq@(ptFJoMrK?Xkua5^&pg zO$X5B4eaiT!kbY@@XJ@H0ytabf|wwwBURB1!AUiy=kp)yUfSky&<^T~6|<9%QEaNN zEeYFDoC-IgRK^s}wBM@CCC*-phP_RnZ3_2LmKA_LM5p*<;Vq>-CMn0ZLgQ+E64~6$ zns-X2^aY352h=FO{c2CfZV1LlrXeImo&fY8!9>P^v;2E3%r|O+mdByDuXQ4;at?Tv z;YnR;F0`D2Kp^@TQ3dMiGu|a zglq;lV7#+#R*fm&?f7Fymj7z}aq@IFzhgxw_^a77@MMlPi2PWl6@}Ksr*$ZCc@AKC z^VmL`Qz7EG5vhu$jH`OR_w=sn-->;F)yeyA^RRo_g{|hr=2Lt<1o5Z}haEvtQYp+s z3ff5{lo>Ptm+s$xu}?Ciz0ps#k439>9n18fs(BczcG6iQYH_$I>&2q2d)^ZNcz_nK zF(*1cLQ5&f{>o9vqi5Zm1rrJ&i;6*dv94Nr7ld*E$cnT`V_JjY_>EfiH1z0*@hq* zUsL0t_KTAM6}T~(rsKZh_vI{tK>UKV#g17Deu>=mV5dE4C#UL+tB|1eyc0mzw@HIN zBMtj0G+5Jm3u+<~QRV#&$NPJ}u+&2mSFYwiIjidf;sSN5svMvi# zeGa7OAzYw%_{{qKj)s?VhKw97voNNgQ_`C0=tXG}`djFX~)27`G&- zmYdX5TvONwY^Pg^pOZiCtSbOrS_F$YUA}{^q>mb8P{Kcy5-W?l`E*{RRea0>NQT;x z8q9KK2Gfz%322gVlr2Ftt_dsCgcxpT)s2@el6;Yrg%tR&8`e}(Q;PD^N{n4r?-8>! z+8?t}p);*8O}+(I?)s&6-ecyy_E;SVoZG=)QeAf}#NA0CBw;A7lwzxxO@F{jpdZYo1^w*uG zm>bp8U%JsU_9@R%2@)(>m|*W1&E%II`YVtiVhISNm>drYKalj$QB-yLeTz8#+a933 z+#@2S5jaC}soGFZRy&h58Cz?nkqCo+4GZ)Wt6+-8G8Wu*5II06Gahq0j0tpRoqjtJ z7-|OQ(r=E^YZB51ed0!X!nd|?_sPcW~^Tw_T&gv^kGhla>@1djO4Tli5+vqG(L1!8|Cxz8#s*TygW z`J~tISIO{7^YG)So5U7tWA-CqQTEP#Dn^gcuIm{>#{C2o5ZHT*QpzAk_l!VKs!E&0 z*2WECYE8DTdyJij#`SSuL^@m6C{0rTCA1Y;9#wm@xOR^bXU$qGV9NAj4%fCBXdt>T z%i!7+%Vp1zm~zpW&~4MwG+iApbsVuldw9_x+v4nH^Pg#WCOo>LzwsviTNMA3C zt-&{s7wzIymc)&vvhv3{ZzdMGA!>q-lEiaO9r;;leeKtvSd?oL;d?CWt%QwuS6ZX0 z!sQJiC zSvxcJZG@CVh=H| zrps@@B94YcZUyq22i#!r5$brUFC`0v)0=2O6i*WU-?Vs9PE`$F5(cxQnTLP^4IK4( zs>!wuNhA}q9tYO3UiC}Y97&{fA-Sz(?dt<(xD|_ySZB7IUu%+iqo*j5vC0-0n5~PK zRHqhe@@H%h63BZ(Vop`SirB9y$!kN#tKl?&vzagQnqIabp97=tq8oJfVD&2P)yx9p zG3Krvsuf|OdNhS%U0D-Y2N~Mxl)w52w%XQ_PU*a@#Br#R4cguXtdRwqV54T&4Rjb# zi}aK^^$HGfsHKwPy;)|W0{=Loij6s25G8gl<^qwgAc|i$At4C!cC6#kk{AbzNWhu_ zx-_7n<8Plj8tpTtb29U4S(|RTlgw%7D^SZ(Bs$DYT4%xrFE5rf%@ye%7JXEYt=`$4 zzlzw>6rRTAy^dOqu?k-;A(Yrg}mS<0QxhQY+nP1qcrSsSilBc69sPQPj zDs!0<*iRR)FT!*M+9AjCdpGYrUT(nw&AqtF4X`|(B&WNhUi4VHJa_<{MX;6Z>GSnw z{Xp{TG>H+j9S5eAx%BDmvf)LA#{v&cp7Ja;x^lg8wMC7`G#^i;&Pwn_6K542HRnfz zf8W^-nHzHD>6YrB#aJrMi!Eu&@eVqhDz1-C?5$Nrixp{b-OBftK1`M8mS59=g0||e zuZ$;G?m%V5vO@%)uE^!n+wtveJmBj5`+PWGiTNGUj_W-W69l@>0V!*s@p4#d+IDp$ z#o?Z_U+SG8vY3KU>Cq8WqSkFKURT6MPl88-_x0oepwwb)S_ve^*;zUfTItbpQfASE zk$)3W@-240Lobmt8_^;0w-?ud^W6(u=99~@%ldLNJNRi`zQHP4Io3;Pu~E@&GOvEV z2i9*l;icMuIRvdnKC{MbmMaIA)=pgh$LunNH7F+^wv?%mfZ4~J{t!!6tO;B7$!}%7 zvg$=ZdrhFXJ_p~&{mG?N@L;u=$RGdUWQ1RmG1vm`;E;1qA&bRRO$jRiGp*{Z@7n`R z_vdq&F;>G|Yb1cNUL{g{i^`%{YMope`r^01VX^$r`3zimcm2AaEQDJ2*=xxcz1~Cd z0P5|IC1Y9ywigBKjiCxp7nx_tcNcyHh4#$%E@NF(67a#%`KAod5yg9HDCs_-;ONWO zQ(e|nFn;}t;I>R1?1mHonHl)l)`_qDtLm#Od*b|j97&1R7MXCn@Q>Kln@fsu_F^_6 zkjS0!z-P-MhSTG=2j^)SpnB(P__RHF_*(oEJ3{j{NQL^5VD0(cygMBM5O9_(5wlC~ zo7_|3U#rFqxPQ4=qzph}9pG6$;<%;PZ^`UA;p_v6z`ylF=(Ge7)!z=)G^adT;(fM( zzjek7{y1qpAGT(dOqb}TmyFnes^v0X`l>9 z-PD`v$sIk^;eG~;sgldd`tSgH-E7BH(d_54`DgK^Uvuz4rY5U+QWR3sz1wgn?Ar7< zWI~#q&5Av$f4O{JZSHT6I&NA2QM1PGp8z#6MQ>uis#E5$I-4&<_c=LA7Rg*IS6GMK z1~aXm@%h*ryxr9TC-Z_yrobzUn8$YD03j;IX-i`943hwi^mG=q11F(60?DE$efoc# z-Zz`seLH)6y*LGQ2JXe?@+mHSm<00+;?4ot{m^`KGJ4jJ~i5|+439uGsk-K{SO z3K#=F%7h&Op&k$!S^Sc==;ANZ1kF@2YkE0bvjucBVH)f3{G9RR6=V6&$;DdK&x0B) z7MY_$*P)sY3uWx40Ef0kOTCQWo<-~pczBemhqe6gW&9|3#A$RdnRm=~2C>t6QR-AdvxsQGqczkTww@SV26}+{S}e`HeD( zE%PtW?JjdW?1gh#*7)0hr$;X#`g!c*Kn{Bffzo{SVG$8A zfdvJ~pePFB{srto&0&<#3?_m~D28GCIYL)6d6`_iv5gL`43)NiNryt)$cm^7!FD z!QJMSO}fPr3+KPEZsS5acA;0BD&%V|4aklcJ2O!0u_O`yoq2r)V5G_N^6_!w%i+0(lNc)WZdAz5%CSQNGkm?6~&SlK-M>rdf0y7+1T$U@T z?FxY%`5<#j&n>21$nE_bJKj8`j;wTYQkjy)lhI8@qBjGJG7Xw74tKN|dmOcV;sRg` z45gLp4SH#vDlvk@J|J@XCp;qti?0d2Ko*#{F?G?Z20=Y+@9PRCV}IbQs}!Y0Tv@ZE zx{8X7cK$f1Q}XHVxHcSXPD?9P@vUZ%!0=oyeAM_AUcuYQqZNoyD?ia6cSRF0{1d<; z^oHc~hYdTj@{9$IHq9NEtd=cRIj&sc`e&ULMBsr)@@rOvN)Yip6`UjWcbvsZ^Km}< zN3O{gW2ukFm1R;8fu<@bBCVMOtH{O-MojE0Yd1osxxz2>}D^PXVJEfffS+69L1|O+`Dq zpS1W-`Y1xvN!Xg&{X`5u$@G6CVFE2~K?Xqq4t92WW)2QUdU_EdQI4OiV`XMz6Jq5M z5o8eHCHVgjf&W=Z+Qin($((?h`G2yGbdF07RRLq@_I`q$3Fcor%#SV%^cfX2h~upf z*z9j4V07co9Dajbe7`R7Zkjl>MMf88R3Dn&~kKelar+^0OJ+|3y8IgdBG zds=%anb`NlC$k!|NFZ~9G;t{dZR}GtgHZ)w#Y#v?`d#GY>vgR3Gp7~nt>9_^xKj%C zQ;{{Gb&j`mp5++{0IO2mwFB*?BzJRvDsKPw8ldN0V46Nz^mT*OQo=E?*`_|7pu$UNeT<~dM7Q3 z*TTZEIC7>W)5MCUuFs4(Id>`7gpW^K3*A)hSp=)UgY$0-N^Zv%fNM%lTQ^RCrzEMI z+T#5D`6&XAky6&EfANREDrJ5KBY^TgnbDb2DcO_|0#