From e28ef016551436f2b640544b847acb5fc689e421 Mon Sep 17 00:00:00 2001
From: Leo <75044178+leowrites@users.noreply.github.com>
Date: Sun, 24 Nov 2024 16:58:51 -0500
Subject: [PATCH] Integrate memory-viz webstepper (#1113)
---
CHANGELOG.md | 1 +
pyproject.toml | 1 +
python_ta/debug/snapshot.py | 2 +-
python_ta/debug/snapshot_tracer.py | 135 +-
.../debug/webstepper/99ee5c67fd0c522b4b6a.png | Bin 0 -> 161216 bytes
.../debug/webstepper/fd6133fe40f4f90440d6.png | Bin 0 -> 185633 bytes
python_ta/debug/webstepper/index.bundle.js | 47053 ++++++++++++++++
.../webstepper/index.bundle.js.LICENSE.txt | 58 +
.../debug/webstepper/index.bundle.js.map | 1 +
python_ta/debug/webstepper/index.html | 12 +
.../snapshot_testing_snapshots_expected.svg | 4 +-
...shot_testing_snapshots_expected_stdout.svg | 4 +-
.../func_for_loop/snapshot-0.svg | 4 +-
.../func_for_loop/snapshot-1.svg | 4 +-
.../func_for_loop/snapshot-2.svg | 4 +-
.../func_for_loop/snapshot-3.svg | 4 +-
.../func_for_loop/snapshot-4.svg | 4 +-
.../func_for_loop/snapshot-5.svg | 4 +-
.../func_for_loop/snapshot-6.svg | 4 +-
.../func_for_loop/snapshot-7.svg | 4 +-
.../func_for_loop/snapshot-8.svg | 33 +
.../func_if_else/snapshot-0.svg | 4 +-
.../func_if_else/snapshot-1.svg | 2 +-
.../func_if_else/snapshot-2.svg | 4 +-
.../func_if_else/snapshot-3.svg | 33 +
.../func_multi_line/snapshot-0.svg | 4 +-
.../func_multi_line/snapshot-1.svg | 4 +-
.../func_multi_line/snapshot-2.svg | 4 +-
.../func_multi_line/snapshot-3.svg | 4 +-
.../func_multi_line/snapshot-4.svg | 33 +
.../func_mutation/snapshot-0.svg | 4 +-
.../func_mutation/snapshot-1.svg | 4 +-
.../func_mutation/snapshot-2.svg | 33 +
.../func_no_output_dir/snapshot-0.svg | 4 +-
.../func_one_line/snapshot-0.svg | 4 +-
.../func_one_line/snapshot-1.svg | 33 +
.../func_open_webstepper/index.html | 16 +
.../func_open_webstepper/snapshot-0.svg | 33 +
.../func_open_webstepper/snapshot-1.svg | 33 +
.../func_open_webstepper/snapshot-2.svg | 33 +
.../func_open_webstepper/snapshot-3.svg | 33 +
.../func_open_webstepper/snapshot-4.svg | 33 +
.../func_open_webstepper/snapshot-5.svg | 33 +
.../func_open_webstepper/snapshot-6.svg | 33 +
.../func_open_webstepper/snapshot-7.svg | 33 +
.../func_open_webstepper/snapshot-8.svg | 33 +
.../func_while/snapshot-0.svg | 4 +-
.../func_while/snapshot-1.svg | 2 +-
.../func_while/snapshot-2.svg | 4 +-
.../func_while/snapshot-3.svg | 2 +-
.../func_while/snapshot-4.svg | 4 +-
.../func_while/snapshot-5.svg | 2 +-
.../func_while/snapshot-6.svg | 4 +-
.../func_while/snapshot-7.svg | 2 +-
.../func_while/snapshot-8.svg | 33 +
tests/test_debug/test_snapshot.py | 40 +-
tests/test_debug/test_snapshot_tracer.py | 70 +-
57 files changed, 47880 insertions(+), 110 deletions(-)
create mode 100644 python_ta/debug/webstepper/99ee5c67fd0c522b4b6a.png
create mode 100644 python_ta/debug/webstepper/fd6133fe40f4f90440d6.png
create mode 100644 python_ta/debug/webstepper/index.bundle.js
create mode 100644 python_ta/debug/webstepper/index.bundle.js.LICENSE.txt
create mode 100644 python_ta/debug/webstepper/index.bundle.js.map
create mode 100644 python_ta/debug/webstepper/index.html
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_for_loop/snapshot-8.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_if_else/snapshot-3.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_multi_line/snapshot-4.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_mutation/snapshot-2.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_one_line/snapshot-1.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/index.html
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-0.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-1.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-2.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-3.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-4.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-5.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-6.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-7.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_open_webstepper/snapshot-8.svg
create mode 100644 tests/test_debug/snapshot_tracer_testing_snapshots/func_while/snapshot-8.svg
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 199850096..58ce2e879 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -16,6 +16,7 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
- Included the name of redundant variable in `E9959 redundant-assignment` message
- Update to pylint v3.3 and and astroid v3.3. This added support for Python 3.13 and dropped support for Python 3.8.
- Added a STRICT_NUMERIC_TYPES configuration to `python_ta.contracts` allowing to enable/disable stricter type checking of numeric types
+- Added integration with MemoryViz Webstepper
- Added `z3` option to `one-iteration-checker` to only check for feasible code blocks based on edge z3 constraints
### 💫 New checkers
diff --git a/pyproject.toml b/pyproject.toml
index 9c027f926..0c81c1bd5 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -21,6 +21,7 @@ dependencies = [
"typeguard >= 4.1.0, < 5",
"wrapt >= 1.15.0, < 2",
"black",
+ "beautifulsoup4"
]
dynamic = ["version"]
requires-python = ">=3.9"
diff --git a/python_ta/debug/snapshot.py b/python_ta/debug/snapshot.py
index 7ee1a79c8..ce1ebf160 100644
--- a/python_ta/debug/snapshot.py
+++ b/python_ta/debug/snapshot.py
@@ -95,7 +95,7 @@ def snapshot(
json_compatible_vars = snapshot_to_json(variables)
# Set up command
- command = ["npx", f"memory-viz@{memory_viz_version}"]
+ command = ["npx", f"memory-viz@{memory_viz_version}", "--width", "800"]
if memory_viz_args:
command.extend(memory_viz_args)
diff --git a/python_ta/debug/snapshot_tracer.py b/python_ta/debug/snapshot_tracer.py
index 20e9f62ec..dbf2366d2 100644
--- a/python_ta/debug/snapshot_tracer.py
+++ b/python_ta/debug/snapshot_tracer.py
@@ -2,12 +2,17 @@
import copy
import inspect
+import json
import logging
import os
+import re
import sys
import types
+import webbrowser
from typing import Any, Optional
+from bs4 import BeautifulSoup
+
from .snapshot import snapshot
@@ -17,20 +22,30 @@ class SnapshotTracer:
Instance attributes:
output_directory: The directory where the memory model diagrams will be saved. Defaults to the current directory.
+ webstepper: Opens the web-based visualizer.
+ _snapshots: A list of dictionaries that maps the code line number and the snapshot number.
_snapshot_args: A dictionary of keyword arguments to pass to the `snapshot` function.
- _snapshot_counts: The number of snapshots taken.
+ _first_line: Line number of the first line in the `with` block.
"""
output_directory: Optional[str]
+ webstepper: bool
+ _snapshots: list[dict[int, int]]
_snapshot_args: dict[str, Any]
- _snapshot_counts: int
+ _first_line: int
- def __init__(self, output_directory: Optional[str] = None, **kwargs) -> None:
+ def __init__(
+ self,
+ output_directory: Optional[str] = None,
+ webstepper: bool = False,
+ **kwargs,
+ ) -> None:
"""Initialize a context manager for snapshot-based debugging.
Args:
output_directory: The directory to save the snapshots, defaulting to the current directory.
**Note**: Use this argument instead of the `--output` flag in `memory_viz_args` to specify the output directory.
+ webstepper: Opens a MemoryViz Webstepper webpage to interactively visualize the resulting memory diagrams.
**kwargs: All other keyword arguments are passed to `python.debug.snapshot`. Refer to the `snapshot` function for more details.
"""
if sys.version_info < (3, 10, 0):
@@ -39,28 +54,42 @@ def __init__(self, output_directory: Optional[str] = None, **kwargs) -> None:
raise ValueError(
"Use the output_directory parameter to specify a different output path."
)
+ self._snapshots = []
self._snapshot_args = kwargs
self._snapshot_args["memory_viz_args"] = copy.deepcopy(kwargs.get("memory_viz_args", []))
- self._snapshot_counts = 0
- self.output_directory = output_directory if output_directory else "."
+ self.output_directory = os.path.abspath(output_directory if output_directory else ".")
+ self.webstepper = webstepper
+ self._first_line = float("inf")
def _trace_func(self, frame: types.FrameType, event: str, _arg: Any) -> None:
"""Take a snapshot of the variables in the functions specified in `self.include`"""
- if event == "line" and frame.f_locals:
- self._snapshot_args["memory_viz_args"].extend(
- [
- "--output",
- os.path.join(
- os.path.abspath(self.output_directory),
- f"snapshot-{self._snapshot_counts}.svg",
- ),
- ]
+ if self._first_line == float("inf"):
+ self._first_line = frame.f_lineno
+ if event == "line":
+ filename = os.path.join(
+ self.output_directory,
+ f"snapshot-{len(self._snapshots)}.svg",
)
+ self._snapshot_args["memory_viz_args"].extend(["--output", filename])
+
snapshot(
save=True,
**self._snapshot_args,
)
- self._snapshot_counts += 1
+
+ line_number = frame.f_lineno - self._first_line + 1
+ self._add_svg_to_map(filename, line_number)
+
+ def _add_svg_to_map(self, filename: str, line: int) -> None:
+ """Add the SVG in filename to self._snapshots"""
+ with open(filename) as svg_file:
+ svg_content = svg_file.read()
+ self._snapshots.append(
+ {
+ "lineNumber": line,
+ "svg": svg_content,
+ }
+ )
def __enter__(self):
"""Set up the trace function to take snapshots at each line of code."""
@@ -70,6 +99,78 @@ def __enter__(self):
return self
def __exit__(self, exc_type, exc_val, exc_tb) -> None:
- """Remove the trace function."""
+ """Remove the trace function. If webstepper=True, open a Webstepper webpage."""
sys.settrace(None)
- inspect.getouterframes(inspect.currentframe())[1].frame.f_trace = None
+ func_frame = inspect.getouterframes(inspect.currentframe())[1]
+ func_frame.frame.f_trace = None
+ if self.webstepper:
+ self._build_result_html(func_frame.frame)
+ self._open_html()
+
+ def _build_result_html(self, func_frame: types.FrameType) -> None:
+ """Build and write the Webstepper html to the output directory"""
+ snapshot_tracer_dir = os.path.dirname(os.path.abspath(__file__))
+
+ html_content = self._read_original_html(snapshot_tracer_dir)
+ soup = BeautifulSoup(html_content, "html.parser")
+
+ self._modify_bundle_import_path(snapshot_tracer_dir, soup)
+ self._insert_data(soup, func_frame)
+ self._write_generated_html(soup)
+
+ def _open_html(self) -> None:
+ """Open the generated HTML file in a web browser."""
+ index_html = f"file://{os.path.join(self.output_directory, 'index.html')}"
+ webbrowser.open(index_html, new=2)
+
+ def _read_original_html(self, snapshot_tracer_dir: str) -> None:
+ """Read the original Webstepper html"""
+ original_index_html = os.path.join(snapshot_tracer_dir, "webstepper", "index.html")
+ with open(original_index_html, "r") as file:
+ html_content = file.read()
+ return html_content
+
+ def _modify_bundle_import_path(self, snapshot_tracer_dir: str, soup: BeautifulSoup) -> None:
+ """Modify the bundle path to the absolute path to the bundle"""
+ original_js_bundle = os.path.join(snapshot_tracer_dir, "webstepper", "index.bundle.js")
+ soup.select("script")[0]["src"] = f"file://{original_js_bundle}"
+
+ def _insert_data(self, soup: BeautifulSoup, func_frame: types.FrameType) -> None:
+ """Insert the SVG array and code string into the Webstepper index HTML."""
+ insert_script = (
+ f"\n"
+ + f"\n"
+ )
+ soup.select("script")[0].insert_before(BeautifulSoup(insert_script, "html.parser"))
+
+ def _write_generated_html(self, soup: BeautifulSoup) -> None:
+ """Write the generated Webstepper html to the output directory"""
+ modified_index_html = os.path.join(self.output_directory, "index.html")
+ with open(modified_index_html, "w") as file:
+ file.write(str(soup))
+
+ def _get_code(self, func_frame: types.FrameType) -> str:
+ """Retrieve and save the code string to be displayed in Webstepper."""
+ code_lines = inspect.cleandoc(inspect.getsource(func_frame))
+ i = self._first_line - func_frame.f_code.co_firstlineno
+ lst_str_lines = code_lines.splitlines()
+ num_whitespace = len(lst_str_lines[i]) - len(lst_str_lines[i].lstrip())
+
+ endpoint = len(lst_str_lines)
+ startpoint = i
+ while i < len(lst_str_lines):
+ line = lst_str_lines[i]
+ if (
+ line.strip() != ""
+ and not line.lstrip()[0] == "#"
+ and not line[:num_whitespace].isspace()
+ ):
+ break
+ if line.lstrip() != "" and len(line) - len(line.lstrip()) >= num_whitespace:
+ lst_str_lines[i] = line[num_whitespace:]
+ else:
+ lst_str_lines[i] = line.lstrip()
+ endpoint = i
+ i += 1
+
+ return "\n".join(lst_str_lines[startpoint : endpoint + 1])
diff --git a/python_ta/debug/webstepper/99ee5c67fd0c522b4b6a.png b/python_ta/debug/webstepper/99ee5c67fd0c522b4b6a.png
new file mode 100644
index 0000000000000000000000000000000000000000..70f41c3d4c90e618531e433e465db148c689879a
GIT binary patch
literal 161216
zcmeFZgnW}7XFZ3CFii(X2e>o_{!E$>Yn`RX
zY?9_A!)({`l|Y(vyd}TJ@4(OujUtPW1vwm8*H?`j2SZ1*
zDq(s`jc)LtDuzk@_mkW*pc;NxMq`=ZQYfzGMkS)iN#^5TC)h<`&N9>RShD^qns4gu
z3K+ScDV&k;EbTN=cNoh$r0y|CzVM+BMpF3m((1q;vzcQ$Nnfef)xMh%-X#lHRr5zh
zTkyLai58FMbkZ?Zy&nVR=#hSmPx$f6!CD|5ka8|t+F3oXv
zsiAHO2jz_YTNJ^W{_Iy6q^#CW8t4+e;C-NYuKUG(gy`SBnTfknGMYCT4a5Y|D^w2Js#=Ax3veYC+Y7_>NAgTg7^vOApiF<
zMR@90Gbgo8hZzg}p9fMEm}mNby$S=K1#h*|Tki
z|8pGx6TA@Be=qdkt@{&B{|$yex%l5ax-As{4Tk>)!+%=Se}mz_!SMf!V2E{I>HjvA
zEBAb&%;=-@it^7&^Uz~{n#Sv{1CN;_!OLd*IkCr2p2Sa28xAx5FSHe=3MB#3i}Q`Lx2-cCxtDW&{Jqq*bNAi(?aN-ZxNeN^e<4)q#^!3G+nTI?
ztDG+M_+)$Ly?v$_ug?$ecMlzNzNZT7Byt)R+0BLEQa+oivGaoyyYMVro*i7ncU}KC
zY$Zfx0g{nlYj2S!q7Kur&OzeM+qca3?{D*W_#XW3`{=Z+@Q%;8q|s3*t3+
zQ+ieM_^jlFjKn=jNt4yqRyiG_C)127;#XBoC$rxBTl{m~D(0Qtm!1dDj@HLMf@_>Z
z4GhG<>v{L!#nSM5#RVD)U-ADzy3(Q``c)GTng(x{za_(NFIQ{#&rdIwcNaQR@UiW$
zhM5(gErsEOFC?}4`SJa4$8w$8GR;CmJ%t1g)?jSna9#6R1xHAZgnx1QIBMX>=RNZ2
zlhw=P1}}$#V*AsDdy&^y&(Eu@^q)a;u;_Bqgj^Nqigsn8w_)(lgH95H{Def6N1{qT
zncrXTO^Nec9i-<>qFFd~wip=48Fioal%w%lrRU6Rc^ZtB!h@|+mk?5w?uX3)z9k$}
zty+P&elLXbq5u41jQF^8q6{{vH7kMl$@Z8v33ngem$#WFa(^!d9|CWa^x>|V3F=vsC&a}^n
z(*EYBfgaLk@7_^Xjb~ukn<2M41an%y}7)&zk!2sgJHZ5R8Q
z23KCsVWzVxIXtVWn$q8Wa`HkV0}l@wi)WE)X3$0SZ1ezJEIP59%LDx_2$AY^on!9!
zG94@HLZxajAc^T~{Q
zskN5ZA!A8FmKvjY>_n#b>H}I
zR(9q2HhZP0t!SFlUTkgMjIHxswbq`j4p8!BZJpAHs%Kffy}RFz&1H#3t47E`PcNaX
zLT9Z)JniuB+gDJ7fm}nWz75BWMY2PJUNAnPT)5mFzCLNa8Ed*&?oAkRI?kOT8^g6H
z%R)ON1D~~ga|+*k
z<5GQf+M5LaM*pds5Vp;kZoez%(>q(O=VCrwEwrtHbH&-dwMFMw3f96sNu2D@6%yXO
zVXJBhn(WVEJE571+UoLMy&&o{4}68V=v=p+!)M-ICN=49s&}r|hd!Zn5S2XR|C^P_
z1TaW-AE&m;K$%Q2{nOH@1Rds)Pu_{>&AvJ@D%BAQKm1%5c{i6pmI({H9TBZ&w`KaU
z16lS#ozPUXqb=lfDdpP4Xes;ojVxPEwpB-n)2m!r{Ii<|oAQKCT#Cz@=5x12nhO-Q
zoD2dy>%tUl_YvOFqkxV&^=6QrV})rjtm*so#As(}#hDJIpgBA>sKq
z$IrC%|5MkofHaibd#MD_Tz`5oV4X20`00hs*$?*_&-{3`j2-z$r)JZnssX4XbIh7z
z^)IJ&3RNYF*ctIVxp2(LzD&s0@z^JH14CJ_32@sM`Lhw2bgo4@6UkbdzhD9+IwIJt
zWpVf62sk4BbtsLOd<0y#-swHly?edOy-B&}$xEGY|MGn4`{3=56Mi(!3&sN%YHWw!
z<_{jd8kfSutr5BFvjIQru`@GOnK%4ovSN{{K>;0sCdxAOZK=3{#56C-PPr{oSyV(L
z4T^EBgm3QT&`^w(-=rdtnyAu>np*7&CBI@|P$R0ay!rq;3Ceaag`juy+-EsPp
z3ScWs%0;UD=cB|TJ;Chx{$TMQSPS<3Z)?ovY_q}LNLsF~soJDYwyNfW9@o&g^tq6<
zm#d5qsXe!dwd#bNwl<34uPDyq-UbYArr7urVouI
zyZ{#;i7(*3oo4%^Lc;6Sb^WyOl%2Y|*2e*^MeJ4sdGd>b0z59BrgIo;Xk`r4t&gn6
zexnLaG#yyPjl&p%!e7x{BT#$FJzui~J6Vh6G$LACUOm4$KYH`#4MRcbXUf0n0$`pp
zfc21+x&>@2a5tz|s@UO^8xSKbhisHjNM0Ot^v0}0s|EvCNP|z|?J?HpyLTv$m=0bI
ztz7X7Tfos(8zDJ>5O3Bloe6^;TiX3H-;){x`-ItMFRQf&tFaP1bPWSZ(_a5>
zD(v=x*?He~7$5|@3V#WqcSzqjQ9;IH}b4-nTjxCqA6F3@-IuPM-WpX63Qwftmavo*!u*|0>`c?DA$fII|EcdqAHTjF#AP6hZ2pMo
zE9t*2tPLNmK>|;c>)$fPilds^=DmM!mC>!@eHcq=UngPXYLNgz#S<^u&qbqZuQrRN
z_YsB%MrUF+$89owNOlk7mhk`FqX0)bzSNRX41*NBcXU7atuN6BCcr18>2(^xS@FN!
zEOrOH(9#9m0Y$#e7}fNU@ypHp=RjVMLAtXp@#}1IVQsQ2?t;M;YWg3$P3`k9vc)L2
z<5(V=8n5F+S-4-nMA06FBgs@hxLB1Icb+;fE}iZzI;{;ed#4B0@&9`b1k@Ph>$~A0
zTwp^^rjJccWyiQf1t%l6{7Gt1WBa2c-RwJ&niXngPnJZmucpn5JL0(4@()k1>{bnQpSEO
z{ps&(tm8AZQ2=v|GwDv4jd
zNZ0$EeH2wToW}k)*61MFK-*&wo0*0IP8VO?!KLytb>VR=yKP1o!R5BYmsZA~-ctspQ|>c4&$Ns8#%C@5@^vhd7Rr6;?Bw)pu`_D_e4|{^_UA`>
zKGdov-!Y9QAKQ}AVm*x%?l0nVIAV=n)%7NyWo#{3p+&Rk>JCq}*p##3?gVXufRW_&
z#oUdxEA->1PgiLPr@VjbJyPoy9?7J%N>DAc2OA~g#pE(e4>G_}N
z|AT2voxvpxqzUE{A2&97IhOK`#EIjdDVR55?=w<(dex6
zo5HcMTs0A|e|=qk_aY-Ho)E*%)t4hrKOc)@FFjI*rg=z6<3g%lDtXc!G8&+g#s+P7=j224Si%0oV
zT-`}VDOgaemBoDxCK^@|gI{(yjUc~)$$(sYKoEXOH8_Q-t-U5De}So`iJ)g@
zW8kyu-~6dxL=X(58phU9{!`WP6_HTHmpi!pksws4b6I<1af(OH%aj))-hSB|&-Pvm
ztLs;$tmdvP5&4^J>fb=P&$#-UI12@t0{wh{>y42`e=>c(N~VQ0vT{Ux4n)g;8081B
z)^kTi($e{N(*Y`a>gsQBD1|i3Y{ogB(cAWg)Xm_QKUd+AFki`U$Lw&;5Iq>HETeJ9y=72X|YoUmTJILj1I~
z6H9a}CH1SVnRg@68Y@B;VlHP=w2CS!Xrp|+8U-;Vg)rz)vrH{dPQmcn2y#j-`)*lX4Iyj1)O=Ji!-MUHqdo>!9~21f>pQvAGb
zzL#t1d&>$*K+HtymClZF^HO&lqto6m8FuB~OWc1`y8`W&A(F{%2N}V#-p>_kAYMa{~$;3NsXZL8X_gYBhm!?=Ijo2V^VsFbL1r2n=d`fIdra
zRkF`-K-QxeLBffO{nNDRdN+)IG?V6Lmy-J-!M9{*x>G^qC{kamIE0B0a8)1VG2Iw1
z)z3y47&6rn{tF`DPr))Fi4za%A+nfs_D7(|v)?bg17kD9usKaqrLW#C;29P7$PEgi
zCU?4{D|{Oe?2q^0F1Q7{*#WmqN;ys7^En{PCGSJ~=QASB!M@_~UDa8RF&Nm_eEa6j
zv(pMQbtA1sybp9FViD_;-G$E`#cgm&D8iQd1mWj`$TEl}tu9lyTfUBoYl1ed>Evjk
zz8CRuiN}9-6b=FqJp_~lA5ka1uR(fw`RSHA1fW@S8{gyvW7}kZ+D*&ec@z~lNXht2
z;X@kA_y8nr0HkbOV{BS)B+;5i}WMj~m!O-h28rK!5P5L}V}zuHObOAw}S`enHb2DkR*&uGvey(8rV2;b=@E
zo!`7Sacme$KtPa8VwxYpeiHoWecK*_vGpNt4~5Az4QN-sMNOb;ra!lC+J03Dl))+4
z!CY315idT!Vf}^DNid8sujS9)?dTb
z^~iOJdlTO7Tl*$xgs9uD4XbNkacLCA58QaD*uLYPe8J7XM}1mmy)KO388z2tZ`E4t
zOFMeeK8Vllv_e^O=F!B^}k|SV1UH
z5J?Pog;|@9Y6$;tm{&2WhRi7ZI5L`m+k@MWP6Uln4DD^vuXDXu!WBjWcd-iXq|5l%
zb>lUIx#>mPrVNZ^>PEGXc<89=u+ZlL8h?kS7da+|2t|$Wm_#DD7Gk7YUEQ}e=;C8Fcd0q;dd`
zt$G5Lgyawv6)Eh%5r#5Q7%DfxtIFRtLw+3DBbc2u2lUB;;S41#o#8B;B$!oW&y$6v
z{xqNYK(JBJI-C-KEF+8bELHeL^t8j(kp#IF_pvGP@x93*C40l?*Q>Ze^&M~V${$7g
zcr@S(;pNtZ@mkCiyT5Uyjoka-r%eij?;%%1!IEUHhAQ9-XC6YlW{ae%7;wy^RVh1y
za37!haC^rLh=HKzqutaa63mCrpBKF!|4|=vZUel4TIi(*6FwrY_4L$ZZM0BBRpz=%
z#E-Z?O628lDY^WioaJBaQncnUDO$l@*od5mu;k3bH(A{lJ*nWGn+Pk51_4!F;(qCe
zxL-&{?;^R8me}LeVg2S$NFfe*X1L~sV;Hbsb&_#yJLgAl-`-Qf%BlNL{x;qg@rk%)
zUp+~{*pKLKiqP}$hnlh`S+fQ{cQO2*OQUc~#m`uhw2Ia$u^@S{i#PJW^!hgiXjp77pj)_L@D
znx($JKG9I>KUB$-56nev!j+w$Awbi0C?0L1+t#Gj!j%7gA+w;iQ_~E;B}(eu?G789
zY;?hHmX^?fXO?|r1*e3oO$#fMTpVqH^m$Y<3$oGzOJa#O)k_nww#pJiWw3*a$||t(
z9B-7j3|rT8Q?xxwvfcitRJWCbz1D#(7Wo*ud!C=4Z)1Gp#g-|o+JQ$SU!`R8#o;FG
z=u|4+UykhToSV&*tR0c}Lj17PJ*!i{PCT?y)(%2sF5MS$Uc_=Q7nQ*Pj#Le;0`g{1
zy?i_C=4P4%b0JTRY0upLMUwYGB)Q)eWH=KsoDR`9fAu8C#xtv0+k1wyk5rjD|%VFZnfG
zen_1;PdfOcdV>WstGg0sq0b_p`c?GC()K+A#oFzes+<>$a*?s$-rmJ*(BUwyk_SgH
zY`5|@F}rqmPXhb%u_CRHUPtTVmtD>txI3S{lkV#=VEbO{S@fl`E_Ow|&6Wz0&$Mq%
z*q&)r?24vdp1ZlOt+E=CJt)YLLT7lv#%?bZ$$t1Ov>WPAPZ5l2`=Gs#ew|(cH2_IM
z-=w95$_IsoJ
zy<8^OQsNzz?$Y#Y=32kgoXe}lo9=WYlk<)nZ?D>PO-Zigtpe*Jm|!lTx!IdB3;V$p2-lUE5r#^Y1xGyW;R>3Gt{3Do)&NA4=+g%?fJ
z=IS%cN|mBfZO9W!Xq~THH{!32NRLI$J7)TIHP3QpwXlu8PE7U3a$P0jwwy;iR#r{~
zw>vfY%7^_=n+GtZ?|?Tw?g7d48yF){?gx%EICMh3Me$F=E8O46T<^Ot%pFdw&o7Vu
zq7Knx@_JXP1ZPn7DXHOA-)=Zi_FQ|Pv=lMh%oighvYESANtv>5THSdZWwh45()IQIzzuCTNiQOi>^fk0n+#)=c~CN
z!TDsp!$QDMtG<(e1zSW5VHOa(Bh`i*CViW|d3oJBCccH9MksnLITON>${eR_SD)NI
zw(pVm370g8(Oq68-du=tKBO7z%vVZhvl%ZLl8juS7I*v=bXSaA
z@X>w41{Os;+Xu|Rli3=>j|WasKCh%(G1Sl=KYpCT6S8X?=4$SD{+JNMG>^|}T6exW
zD!v;MDL#xgxKD_Nre+_&iBT%bPe%c)m{-Wf%Vq_rxibHLLMCo(gVJk>3=>oOGsprF
z|MV>mLun6X0&=09Ur_Kw;11R99+#?u85v?5BqzI@V;aPhalIyndw4Epv}_%;G@VWg
zNW@|H!GL&q@cKZqn9+EtLB8j{QS<3%D%X0_gJ=C^)xOQwVEJP}v)I&St|#5vYL=#T
z&)eRdtX3>G;Rdnr+0t8;Dt%PkF+&Lj2uP7Bb`UKXv(KvHM#C}LK4Up2qoI}xznH%?
z)Tlnd(PZMt`O&YxK?Y2>Rt4WbRaw+&7HQVy4@k>{ijd8n!(ys&3
z{bxNj#GPnB0t2`GfLFcCnR?wL)|^(-LNu@zjHt7zo>qV(-u-gFE5%|yBn9>vGuFJj
zS}D!f^&fh4mn(QimY9zy0Lewyz7(sk58`-3MtT0KHFR%4av8QXv{0ibi@-aR%NEyU
z#`|)bKOue@;pVYvdN`qO-01YY$1+2>SoDf}RCSL!;`-)tMO%
zo*|WDfe3W;~9ts&dwmt>{
zB-b!v<5u5hZ4b`aU@@nwIGcWjxdlQX_MVYR@JZmOvEWPi2i%?OnZDHCP+DJ>w|A9C
zfA@lOe&z=cM&5X?Z^*$R+?HccI-rP+&$QnrPiIpD=6%6&TK+;U$W53*uaI8J+uVh1{pHa@kt78Px^AnzPjW=zC<
z<;S5e7Aa-<;?}iQs|bpgRmO*_S}|VmA&1_6VXm2#=!YDD$fK&_O<`9K3OCMQwfN9q
zv(4Vs{V3(l$0-lByCiv*OKT-TB|V(&*pjpRKy|fW;=I22T@g<}7{XJ3bb5^>yvPu=5llo}<;HQk-<
zswPbPVihv{?Y3qWrjAArzXy+-G7)Rb5_C3$vu0jUDHU{CjpY<^e(~wS(h=q>Tx?+A
z>W89oUj9sUI#n<%#b$k+
zILt;w9L>$wX*tB1Sm?pL$g(|-NON>Rwqg#gO}Xij8;7T;jP`|
zrsYC;ep&q0xl2L5c8lL!p>yGW`|4~68ZxQNmoxvt$o{Lw^pB8G4TASu728gJt?tXw
zG1r_?8Fe~6MjDD(BwC$ICN~7J5^EcV?_0HDrL0;*-@S^W(Q$Nj0u%jG#X}dGVl*Rk
z6V8d{!{th>@r0eez{b%Wdi)2jZaq2vuv;lI03$S&gaQid6ZP25$|}{NGfRV&mloq_
z-_PmeN^zA!iFgromg}J>fPGFcnwzoj!$9i|Qgx@(T{F&Q#)l7Bd0UwmY(I*K?rU^F
z+YH{`+_Mrqn`@@ywF>bq{`DrNH&?3R+RTUM^jg$vc2TQ-J6KzN?HpZQ;Datg_WjGv
ziv~GT$mj@S;|VPJoafs`TmK7r%mRO?|GME~L}UKM;M3i7_gQ=wxLI-AAg#@%>^~}w
zIS91L7QeX5utJ)@(uO;G>c^gW-7%)|C^V}Z-k|;QlpI~oh**fy;KLIHwuQ-JZfi)e
zK+#M0%^zwcoQ4Hj8}91Kocm`BX1)&d7a`ZJ;)@s(Gr(*KeZ{@Cu&T3#){HKTwhO17
z345zJNMDAZe9^Q^>6iFBCaDr(?^cVls|lZJBHEt9$}oEeU}B#>&cy_vxtvYp&#@sQdkgC&a4sH)ERY0zt(i
z8W#PhUBBw$uo8m1cnlLR@n=nnEtIV0TAD2mGX|5aab7DGv=*-_4{-z&pp0`Zg!H9kdQ6NiZzD1~C+Qn3^k7S^!HTle9AHTlPV0J|l*rkMK&_%guR
zH8?^VZg903F(&5->18V?i`1pK>5THzq_EFw(j!iAjBYn?!HGr~cQDk;M3Cr1N>MQG
z{1D5Z+k{kKchgw$t)hS-Jg@Z$bZ`YzeYu$UYVH$>{SZaF|5PJL7KFOCQ#DGro~;5F
z+OUeXjUOHLc-4YM#Rd1IcXlsdTwaET0lU@({r;;2ixHplC+Mg^m>^@VM@kol5=G1W
zM=0ce0;+^&nm*=Cgou8ANmiXw{abyWuNfxg*k;}1+~=UXh;2e7Bb_HLNc@3n-TGRW
zsAF(#wz-kyt~WR<=n6T#5ZdP6(V?1tsQ{2Qn?cY36IH3x$y?~$BPIMKYG9DhxhWbC
zwLd5b_1y#Snx?~HMg1gfvYiZ^UPPu;I+Bf;t>XAK@8*$%AL9ueLYJWlqhkile|&td
zSjx8+j7=&jfO4kwuT;4E0_-5y--8CE$suGCyRk|c4VbCbEPslEDX!&QPhr&o+7e%)bsFXf0=hhe=CS%Tn2k|!cz!Q-hms(FHh+Mx}s2g
zwa)&C26^Oxc^{h=lt4zU#O-T1vA*@&w^;8|L`qKoCB}3hHiHq+iD%rP^78UNn@2*_
zMUcC_1Vy4GlKkZR>wa+&t1!(&E+gJ5t)B9Rb2e73(twArHjT-}oOANhl-@7c?^g6Q
zdPrDo8JY`R(n@~*PF>8b^D4S_mr%fuUgh`Bj48PHwVr#K>VS_OD~=4&XTuhsdhL_E
z4??n1tlx<>(NGq~KEUU1sLoPhSvin();OYSRiD=!8OFs0Ib3&@(pU;068LQs-&bt@
z*=YY;l*S_Hdw&iyYuNAU(;S!e(Qhu0yB?{%#e=RyEjfET-e$$**KCqG@jYMVR2)?z
z#t|9px_K4j$D6;8?Uq~0=Mpir6sx*I+{Q#c2$DM0pYk~beQryudtPV;0ji-Sn^R1r
z2`97S*10()~B^5lMZ&$v(1AubA3$&h!F^+`O%zgz0PrleH{9O
zOv4*!8!CIf2Ub)Jb?8#&o7P_Em#@%S;L$vk2T3pKpvZja-)RFW$PZgqcdNsgk%m7Q
z<)XX65wpeQRB$jyxDn6X+(EmR$zUVJb#~8#&J&^-PUa(nnd~DmzxhUGKi+5>HO?*H
z*+w-M=&AT+8;pLDn=0y3j;CQP)LqSRFXj=`PPg_9NvxCEGuvGnX-m2sltPrx)ANGL
zDk@3u6%)JJ%bN&>-2%!afv*~KE2?RVjx?pZWoc_URRw|jpD}1*>zNe-rrdHU;)?(1
zbjn~h3ge4Kdq7#PsJn`1XDy~7UzUuSw+rifHI9Z=4;{=UdSns-S)}cCz
zKZUg3|8&MvIG`z4=-m;%co;r;xogq~muwUwQeW(Q0Fed`O?dk5De5c|ZbA8}W>(I6
zPi?y~5kRsjgXAJTGn7O1mk!H{h~zhZ`&kZA@hi=XZQ&nAZ*9Da|PR;XBo#L7zu^slH;Srnelhztz
z(U42;!k4Ah2O1%MED;yP9P09HMstYk@olyG{0YioCj@Cnr}Zs_&*SW6V&oUjLyu#A
zJC;K$5q6e@-9>IODJ!F6EAH5xQ@S`nCu#n@GdQFR10PWQRTG4kmch$sacHR|f}3aG
zoPWU9f_kP&StE$<`ZU1wGkgS&Ot@mrVZE8
z5P94=G<9$^wlYW$FbH(U{`Exu$GMn@-}dz0g9jSuhdW%mzq}3TJiTaSHj3EHt6ukX
zxZr+Unv1HE5hBUmoy{Juz2|F@5x5Y8wFKh}sb$mg%>U%%ymYZV@L%bv#rl7KW2HUu|x?0@JSU0PDt53+m0
z4o{lV7rZ+dJ-*k@f(B4Z&KW5H`v
z3&{Ffa~OqX0m;SH`Edec5qGXl8Cxfw=X#({9}!WOGyis!Smz6jk~I1kANyJH=SjWV
zd_}P|J`H>;UTop{eiS^^y!7mxTrtM%-VGT8&|)m|dH0m=*KFm&?W$Sy8ev$
zG#Xq6S5VXLg_Cl!RTpW$KV5gb9+SZj8`c^X{80i^)gQAsa~x$URmxf>3>KIFlgXyo
zV4t$(i9DXhTq?N*rolX&ces
zrRvppp#?P-jN^TT9s*GmSKB*MzAl;X-!5r(>V*TXH2aTN)R#SCYbYcpe!eg!
zo)JNhihK;VttTdPu{AuPt(-F;Fb<%(%bN*$xj^s4?qjeNsfhUSw8GkwpMYv2sfo{!
zi?J8xvZrLZ_3!NKmibXE)x!4I%v#CidNFSsCul?bKwYoOc=4V}1`&+!`lW8(Z{sF9
z@j@S855Z>gg6oV>*r3g4m7a)nhNRIQp;vp}97pjYf;pjP8Pxg5I!8nwFL6mt@bDp{
zmZz5EsvV05KL*P_@~`QJ`HJqAf9vZ@u$!u}vRnN=Zs;g(GSAabzMPQdpfuAU!qq5)
zipZ0Fk`WP7>#-mp-@n8Y-FT3vP(cI$)@i1hK<&CD@^(Fbm
ztg&2imCEnvH|8(iQgcD6RMDI5lS&7<$P7^pD_bVkG{$%lK(9yzvD5jX
z)gFoe^Os-FUj9Qd?%f_D4N{BFc@?zh2hyGTjecRJ;7mytmhy16>|G+!8y&1m`Yxic
zb@QxF{J;A|&|pSC-_FqL1Z>
z>NgP|e6d9Ava^{87-mK}UyVO`S9fdl>M^tu#(9)P>KM
zsy+fLkFomDE^B;zdzg!j8gb=3iHo-QJx}w{NJwwv`}{-Yv+7n>y|w-QALTd$j-$?D
zOAJwP=p(yHCeRU&-CzUsb5*kOzP5t+MgFiZk+zk#^^ds_{5fUbbh6h)o0KaT6S66i
zZqkM0m-J_TN_PqJx}Z!Rzt4bwQ>0BrSyT^THlBe#Gy8`>zzmJ&??Iz$vZS6^7wRN^?fn7
z4qPPRtrpwPB6lj*eroc`B5G7C_(Fse-Ygm#Y@WV8_Vc&O@>_=UY_H`WiP|F&%EeBP
zHw1GSHLE*m%IrFj{2Y-%eswfhdcBZI_UMhsYhbJMWT+@#_%SLH`SIb)Vmj(}LPC{+
zt18F1EIw-cakxN+n|=n(S>eK-=POAQ!PIoKzD~3=b^(6SQP2$z%$Hj(wh7Z>n$wG;
zL}IFt4Q#){W}v%NEA_w6(&D&}H`I#4dfFLeFW9~go_qyZy`<-bIayaCUU
zSY`i~C3$`BJ=jW<@HTz+H(tc@c~OJklf7Rbnq-9JuC8wZ($|gk-qIaWcDzGxofcgI
zWlx5Y_6)Gj0J0bRfm6$C_?@`SDxF)s=B+tP#q@|b)9kRBp`m9
z-h>#%meu0WQI18={>0-Q10Uh7F7EE5o>Yji7gp$n7(FycGk#7KDV*RqPJxf8ekCn%
z@#${+dr@*#uIM$+jhM}Zi1mw2V|)PG7D-)WGS-eEv?amYM^h2WBKfE_VY*Rpaz5+9zfP4B#F%TBSV=_t_e-8Mub0zsu?xf-`!3
zCF*csoND9pkGDGPE|}gqR#mniOJUTanLW~9f&
z7WW0ebPx!*uP880-v)Meyj)sZ?m6vK#QDV0#QOa2?*a$_Dm-oyD?Ye-{CFZKUd_K&
zP{lK}|FNq{EnwV#$Y(^j{`Rz%LSapb*npJZS;WKyJzcyy@g8N-DEGaH=GAEAReAX&
zsw5dt$EV8kP4H9|YMk3&%^GJvsoU(-pei6B_>d?95k_n29;T}I
z09#_>goHy~*Lu$T)AY|H=I5vG$5seQ)Kh74=C1y`26v&hqP_?%<(tVBw=+VtL1nw2
z{&xD=5{FlDhYM+TuTl7u(I%dEGEgD|j^?Xc1?L@hHj>Oqr*X5f2fp1rH
zu5U0f$k=Hx@aGqQb}Y*mtv@Jj_vtVo+a=|crVbg|AUr2~^imWPsuI0QkA3_Sy#Gid
z7etUGP}qu4!UDws+BR1g^Hz*XG_FCc4?+|
z`m?`~euah1$CuCtyhi;db3^0R>=c?`$6se~c^r+YYgOae=IEmfZRuz2l+$3EK0+(W
zep+MRbq6E_cUdz3*oQ)IiADuvpnN8HuN6FTH)3|P+!OD(`BY`#h<{_t(MXyRqZT|G
z=CtV%U@Pi|Sf21R`(f(BUuG6|D+LOAoCp1Wk7vV#+^1rg1Y|~qlqkvKVY{obWktHP
zY~M8O4mRWO#J+d>Dy}KBINkMaYO$uHq1S(D@yr#=VS49jS*cK!1}4x6el(lkKh%M?
z`9&Z9_Hxi<9#>;Gg`Ply4CB5xfsTX?%FBF7P@OR`95}hYE-P2>9xpc;NCBdSDIG&^
zOYnRQ*bpz{Fld950g_j+3%PR3PiQv}7fpiiuV>)pPj5sBYo6jgoM=Vv$Imzqi0UT=
zg9>_m30rF}@AWZZ=+c}-IKbU)mK@qRL-YHNG*G1;m>r>sYTsGfx-!MGbFx(0TTSAT
zG7!kW$yK}xV5V_7Or=jxGY$Eq5Ew_78ryU=ky)=yr1Q{K;BKx$ljNR@AHM4_{MY@cvb_boaU)
zl@}jUDdb?{AcXH|*1Nnm!KC}Ow9-teBvT$aQzwrJtWbZ3qp$j-U@RR?m?S-gWb8PU
zhH0riRo=ou!3U}xzlQ@8MJc?E?mHh~^I?op!jEsW!w;0r=LepgJ_!SjW6lc!XzGub
zZ7FyR_h>j)*$T&z%7^Q8<<%)gZn!(mYQ|+d>?K7~t*5^toOb6W%CQ^S8QPeCW=kV=
zx?T~2NaXUeZV9zl8u@mOb$DYX^9i|T!(REEcnQ`*l)ku$6PGc}hNlBgEh*Oe8zfJj
zZlf>;F>
z($9T}9?ML|YcPB@JRw{IEZ?nqiSC}bfBK;G{O0;9;2h`Q!YdE~ioP$RYM*;!@ANmg
zZsh5Y6@`#8EAw41eD%k`#unh-t#xqrqs}Y@4}U%ZmB8WQVO08>mX~nIe7)TJtBFoO
zn;wKC|IO#WiHe>-A3bVn+0de~nHFNXM=&=-mLk
zo>-T;7%3v#Ks5Y;f}NgtMN={v#oIF(>T(L>6eia!%oS)o|-^r&Dyp=)W_d#gWE;H^wS4?@s
zKkE>q-hBUbdIT}(z9{ggY;7O
zf*L8i;i6vsw45uN2F;dM_^`^SM+-(DI;~G9>p>&0>mb=F%_wlI4uMMV5XVOJCeLnP
zzbAGXdshr?(#x5KciW!jnc@*QDFpLX4S)qUie#i8Xw=i4hF9f+$|G@D|-3t-x|QB4+RGgI2JzLE(!sa1&JiLsO*_WXW=jxo>k
z%OthnbX8ygv-DjBP^^<1LUbpqN1UVt{G|r>DIeL!9;^%)d?W+c1j;7MAfgN)fDGo+
z!~vc?2GrYwUbg%qWr~Y6DMgVxk5N}eURC5hdvAkAz^H|ah&cm03B{xPY8$3y>yKlO
zV{X?1ZIk;HLP3)YN&^YakL5~#*0Ed>!}`4m?(|aIi?Dv}NwM+F$1Y;l+)6+%lEUrp
zQ?5tP?&D}+T*bMZVU)p@Ap=o0XZ^PHn#+>Kt>+3cdOP!|mP)#z%*e>NPwRJCS?H!@
zskTIfhr>Wsq+Mbe9@E0j{(;2CsL?F}Jd4pA!Mn!L_U({}lS3@I9eImUF0}k5JW9Y~
zyenLcw-aB}A_OD!^6cM~5D6L}
z+ux*rz
zuC5k?$bkIIiH=Xqi?C&y^hX*d?0U6s;t?Z)-9o$`{hxhsn?_{-(k7ABC@dC&g(7%{
zO?scO#plpJ$swJw9vgvn&udlo>(V2=a|YffkE%o$e9_tfl0Gd`zRu@<*NgXB
zYr(GlhOC#(iKxWM+%3;1&z5SuytcJNI@YIX#7LxP_gB+^VMc1_C+8Q)v%Ri+)g)I!
z4_O2C#+v?22TK+)n(mID{V+BPJpoctLAMQy=-$Q$cUC$S;XY^i&##~c?p5T+r7Irj
zdSAWOqU4hTmh(FHY@Ztg{a}LTBjYnP;^r4{EnQ{=u|M~*Z;blB$My_qcOj)B_+;#Bns6v
zvT8aw5UP$6q1rsw&vAoi8uq2;>kjd$LNTYWv+)@m|GOZDRKSAmI3~-&8z?;nZK-*(
zCz~Nrcl5zn0;VQo8f154(B3o0LM;04x|J;1Ev!QxqBlN?KEIqkgP+P>%hI2>bh~?d
zU05@(Pk?9J
zR&n4r)qAzDK>M0p
z$;`8zKactK{eLf_p|D^w%na^=67H*^^#&(=;2le?m$(%_;iT%6@(C6ChQ7)7lVnhCxMU9DDeN
zD&U+u9J<&x@!7?9XQyl4wj=4S9_g3HiraNVP$n<{MYMxSjsGM$s}Jn+JTIPwlxo&y
zVF%T`%Ts_#OzgHn=-fuXs>^)WntgM8bLJ7VrKzq?AcI&JcB>h?-?RODcDylbfo2Xy
z%Sc6XbG2JHurCSu{eG)h9wJ0>H_1QB%bbVx=tA%LuSP>@BGb*`ya+}nCfPAlEbw_f
z6lJ&*20tvhQ1>z2Q@SLP>o}0a5x8b98#g36b>*$?y}dc^RIxC)rhZvV?kPlla9tGn
z^Kg&Lh;%L~iPUfx+fv6+O2)s}HOF;3C`Al(MROArzWA{@sN8rWuY0=3>TzcGm?(8T
zp+wR1mveeZtR856ksu*?90rViS}@V5Z@;>iFH2x#I%QPfD55ne{%gbFqk_wlK)N=|
zImf9eDJ3KszU$hjhoswk5^qx~U@p@LeS-qdx9HLTOx8@>bE
zyBa+HYZhk{pt`!G!Jzg1;|YyvWTAs%2q
z%s5@At6BHf!>
z+wlTxA@#52jMuta0(Y^~S7Qp+RL!|x5_zoj2|+%)5^v91U4PC|hla3aJPHcIN&I2a
zTY#GRyyRi+1no54IBG_=!g)wo)E4RgT@iBkS432bg;Nq!up)yLC7d!{O07WM37zJrl*EEFg6G
zlr*?>xi{?AQ7gQTRtpP_mMwJ;EdEh#_wIve3Kuh>NO!S&xTB*v)4wi>NsTJBrX)F8
zSloOTwfb^%CU)=c!ZO2}?N(KBNSR-Rz_@dBY7X1gi_={{>eV%_%Eo)Pm){;jGz=m}
zw_OjrX4LW{G0%2FJh_y@N#w%;>=K84_UhZkm~VqK)qN+<8IR)E4XSLM{BFMB%AKVs
z#BDU1l6Q0tkS;!NIan2}_Px1@RZvR><6OpnqZrto?#@2N6W&K`xIWjd8&~7C-=>@j
zsi=}I&a?;J^teVxrJ571pb9B$_PecLKAjQMy)Lit-q^7j%6Tl5seRqiX25THGYjH~
zEH>(GT^`K2xWn#clks!8$&HGlSC5`P?NLYJI{w*w#lK09EUR=?A`{-l_8_egv)45*
zf;sUCN#Vc4m1^?!jue$uImAp$(jmtzlPG!b;FAW=Yub0&bA3)(nmH1j;)MpsMdR~2
zQl{0*lUJOs?cFc`pbHTz`2;ce+)}x7yfHFdZYC#@MD9PqJ25dths3P3Cm;Q8U;L)|
z=4_q=)Kp(Zm7fhQKmG4bijxEnTyCWFdpitb1+dz+8fxBOg3*0+?~8x0om>9wwkMI@
zJ~_0(>TAIVFaV&U6Ylk~7RG6FGeGU_md2HTK&3^9-bxo*yaZNphbK#zAy^S!fAGQp
zvErSOPy!i(7O$4GQsIi0Pm|AVZhXK>l#;M|ul>NdLg$NU0q5T9f+pPDKT^5CHP|3=
zhKOT&M`(U~FhNl}4Q5z$#nSlUubgkK*)p8zMo|!%jJ4IswY&)94|Bl&_SUb1
z>fVVZL4{T@!|4ywH?dq4#4sGw*)lHgyZr?`i^)_0;txPl<*DsF+SC|81uvVO>XyeW
zfFUG9KzT*#Av*(JDjXQ63Mb7$yW&eB&v8y8c8$Eofukbg6ndY%Q?|~t;mkA(Ezkqa
zzO3gLmPOe%wWM6PCuhioO7Apr{VN;IZ!CodIeXQm-h`O9^B(h4g2R0yluNGn8-xE1
zEb^qcI)gpyOzQuxtaN4upx}nenmQxu`^0)sDDXf
zUKK8BHJQI5q-DLNSR-(FRf^9kB%6E(vzJ@JcAUecMFWZmcGs}MTbJp(_Qtb0kVw)3
z1#wXnywBdIcU&}lE{-u`#%+oxH)Loz@J(+n;LI=CE`8K
z%C)&OE=gxUy^Gf_c1RnMvhIgKqsykNb=xrQG4+4Ll+6xBZrSDIre4ug&(%SmTI#Ss
zkuRz3*igbq-pP36lD@x0XBe`hKE4*ASow(MyV^$%-PcHC)53^Dk3*^VdW;~Xpw!!4
z!vg;qjJi9#^mO5)8?rZ&~I^$W(}k+t6qcdHR&zO?w(U&GvoK&-h(_tmG|>FeSVX1|D4
z$NFA~tuZJ&yU*1NX_-5*Wz=1psze6~V?tyUm)g_CfBqI|^n`@}&*;*B<=ZXzD#rS6
zGb|-J$0>tOAy9Jhr>sd&UGuuyY&~c9fnrgaBCF
zeDiMnt}9uKUfk&KNz2ka77At~ghObW06o4PI9LK(16DHVQcs}9f6$9NVIInJ)H&2G
zmke_)nGEK&lQ!J6!{XA1d`!Co3^wLN4PwM4KZ#=TcW~Y(?7GU5u3oN#G6s;}$};Mx
z#HWIaUhhk_SUc5%sv$DA<84w*gm0}ZQH6|V1J*(ova3V8n#OU}VA=1le}+U*igD|Z
zKoX0)Pe5ta8_$DXhe7(U)FB*)#~_k6wi}rG&0YvY-|h(I4wbiY57Ad|Lk}W?3|au$
zfkHHnF^g!k8J`y{Kb^ZUV9hze`TbpLi}>Ml;S#R->-rMy&x8p3CFjR-SXum;5&!K_d*{S$U8DOJTeUpM
z36t=nTk?Ha%#vByY^loywe=w+`@6Di(g+Tcs1cW~7B%AmUk|qf(=3|};z-Yc8;~4{
z%{9-r4W0{xLyS>>3%x~{ganXE>{6ajQi8;lyqWt$n?FCu+!;t
zM_gCm(~g0^=Tjs3CJX1i{r!p7uL>0G?7kL(MoI)apM6xsmc`%0zqm(Mx#QSiJIca<
za)djU<~~X#VE>*SF>HWe>~y|Wl$VbMb1X?4VwbaHA{xI$`b$5{jLITgrjhLQW!t?k
zya&(u1?oz}0Iwesm4Dxvo<9yDIoOpQkwOuR9nf?TY2LgiNhqwgs;-e$nXTB{ave|R
zd%&_Y;epc&KeapPuO`?#UrCyl>vWpgm&*ACsE4nv6%nYhqQjtsD5L{sP5wuP5^I0r
z^AQ)N&>i(ru*r9h;-jgVwUTuB>dE?_-sg6R&lsn7qK))
zEq2iQ@FPgzxUIZG26f{77f*H_4jxJ|y7Ie+%>74TmLhorV%aoC0qOqimhR1{robKA
z_u6jG(8k*n4)v1|Tl3)$7rGf|#`QI)85Zehs@(aSjL7k24AgXMkL9^_Gs4L&fjc>Y
zh_ZK&tb)B+k9TB~Pe&NUa6RkF{dXRpCbS-NyQpbW<4L1FPjJ>UBpvy)&sQ(FOCb>d
zw*LsRKUIb=j*9H~8A?ITFxoL0@5adb$FzV$q$oOV?UVNWx)(j6>z${~kBaTfT0#z^
z>GR6wReAsmr0)0M9M_5ZSJt+>Z;dOxEGZk&Uun3P(2MijKTv%+B*?0koB;Q?vcKnQ
zI&;e6W+VMqo~82Mmds8|?{3T*KE(?4aWBywLF4R&-@s>+=MqS1K5^l~Gr?YZXuY&ifL~_mLERd>;HCs#^u0FU|p08?k`;e}1A3_4Z~m
zI)X|21L#2G>tz~~yRp3*<=vZ2Hfw>*h^j(I?iI7wnTO44jO;UWYlUB&MER~2bZ%s(
zJT{YsxqlRxNOjF7hrkAXcjW`L^_k*6rdM03<^y_b_yuXI;{
z`U)==^2Kc8=shzt1H-`b2RXiAd34xpwQT5lw$r|RcYT~ksU%{di~9VNi=^u8%!tRk
zcMs5DCif*h1jZhAyw5|Oo*tw|;m_1niyJv?B>357ScCk5jYZ}gSx)}22lt#JTO(Ng
zzV(;s9xb-(Jo@I{M3?=ioC)}zH}+KXnLc6J_u_~$F!J_SE`7%TyzZSwAe(fU)M(N8
zAct90)X<@R5nU>Rg!DHri*}XfkeDZ%YUiNUF$%Gh?m^4d?H*oxV*^5NZdYHEjyi-%
z1~_{4`mAtINs#=L92LFzgh0#R_ua0cwDF(g@-;Q&z5pwYV%e?ags-LY-bRvb;?+Of
zwN-k4?tC-w;{}n?%RbQpud^u6<+pHPsSOm>JhNNbIBGw+y`b^7PB)S!7ANF#`IF;m
zlA+(&F)^R<S2>
zAPNhfR&LL~P6g?J@{?k++UVL3fV&-hQX?EFx9BE)bFdJE2WtPYN|PE21pYCh0cH0G
z-@O$~!LS@iPXM(AWLjI!YL3%oS@x25Cf8{jW?#wfv~M&wD{5qRuU2>Fh3|GF`utgf
zTvq$Xbp79b09My(L0M)eVMS3;`ELKj`f@0`Kkc3}1?@arMs_$RK3b$-)yYB(kK--q
z)-d;2g0oe&fXdK*llyHaxiy;)jOF0K31F%b*2wODUMnYp0Q36FsS$hD{o4OP-ZuCwy{B@%y#o$+
z2S;k|n~LniI)yw{YC~eAcg*M7gVH69C7%wA8po(y=Buf0*!fH%l|ZpzIPfd+xM1Lp
zjA)u|P-K%czb|;qpLQL#V7*Aw>57kwPc>+{!T9YhY5idXj!PIIFC-qepT;urJa&Fm
zEC}C8BS5YiV$>KuuSe1-2lgZf_xEnf-X)qBxnY1L3EsVN+k;jrqL
zAq?DnRNgiy+;cuAV9pxtSI?uno;b&9>k+0WM&CbYMR2n(o!E^1=!43fT~io*HqLTS
zI8-0C_4-4!?2o((!C`x!q%!kEgS+C|E9S^wOL~rYogPV-uxy*(H$jA=J7z&@Zui+O
z=+C@}hGhYEq
z8g2x&JT?CO(g^Q&zv=!`OmMl`kI4X@JrqUFwKaTGc{S{(d2bR}LKtvLHH%Q>VyKBK
z7+3$ZE+gN8U;kH2hbfL`E08ydy~n|W(7)C7{%@VDTAHPg6q&hl%9=VcX3r-??%p+t
zodsu9ckC-h{i)F5u40BJXRP8wj>|5SIxhP&LLf84@8R3_y*?r_2bARw>7QT8v>ro)
z(oeBE$f_try6Y5at{+P^O*qyxqN^3%ZC(9MT#Obx=A`5tu*Kmr4
zN=C)t@){Q2V@FB`vE_heoM7QT=|&uV0S2q@g(r*ORzujKpX#a-vuwYDKWG^4x3jp-
zDboWVpjxbs^)H)2I|aSG(#rq8%+-|@c`)}I&CBDmxn;r^jH9XQy6R}g%1V^MB6?P_
zw-C65P-(cOv7V}q7q%Ka+H*iQ3Gu#bfr8Y-<
z!ugLsjcAiKAsU<-r;&5
zm?AV`rG^H1fGI`{KuDwP{W!tZ{`m}-@GeG~>@B>6MVD%ZdZZFGhI~(X=yu%WF!r6W
z(y*S&OnVq&81FKX{1Bp$#A;olA@m$KR!}F~(^+alKbJB3_CT%*J+e3_mIAbi7?Xh8
zyZ!8=!jo+Im}&^10FSCgXiBrKY86^Xj9JMhaKwEF0}`7}`Da
zxs~gfGvvEHR37+^+&4xgorSm-REHKFC($I3Qm{@?74wBQZUun%=`Qew0itSG9p1OO
zBkswc>Y`m_D)Wt(_7%iu!1uq88599PXh)?P7OsqQx91y;$e(c3h_#TEwwzbKoD&ni
z9EdIR>l1eWpqDNmQDW5HQuyg!W|9t9EgWX4D)iQ<>QOVVtgZG&tV@&*9n{&~>8pXq3zZo`ae_GBu
z2~A$FJtzyvPSX`cu9d#Lp-3gI-QAp61rZ$l8le
z+<$zV)%~JV&*_&#*iotJH=i&+>G3LCT_gbT3
zBT+k(L?VJ!S)FQGVLWr=UmY9kOdy6Xw;%;*Nv?C4w4!N({
zjhP+O7U%hX~tsxx67`TcONz+D2lV@LglYSr5o?**8Q1|a#T8!4n@xDK1}D34gz}dfpDo6
zuwLc!!ENTP`O*Ew(I(!Oa~y6(r>`u-zfK=o>a8Etc)f%z;Gh0QAuy%jn)SXPmP`kV
zNpQX~dvfUBDt+c`a_VV(mZvb)e%_IdLYL4$O!2+cWDzZEr8kA!zgRX>+_54+s)4t;
zd={5GCuZ^6B}hhS%Ckqr0T4;%#iS!w#n
zZ9LiU3wo`WO`TPTB3X2Z3!5rU2AdFYxzwrOVrCozlF?%tuF4m8xS}=PdXZeDz4rIA
zkLXzw+ckxES|Qt0Kjl*SxY8d0DxRQr$!>%UC<0Dw#(DJLpYM6hWL2W$xYq}g+4}wS
ztA7UhScH-+IY}QFh3d7MVu?f6r2Q17#^GeMO2>}YH>;S12{mVKcJS=91`Jryoy(#=
z-LogRqDQcZ@`B>*vGJ!)a3EsHkyz!rGS$ZkTix-G&BU4sX$sdn5i(SKlZ6+KCDYqY
z%zO{icW!;}OT=7r@(3t08T=JC^ZbflUO^WIo^)~QgMLe;8~8TLzZ}!9mJ8(kSmgQ{
zr{3B~ulUjVcG`WvRG}dGfsV)+0-d6hN)gxnUN@wO1<(!hMr?lb%Hng8npBG-IbJQ2
zHg!3>)aM$=D=n_FneNT*)DyaAnm@}PZpPh#|MIOjfIV@i&lT*CRIBFd)n>3
zY|DIXiEJz}XVSVKh#UN$iO7r>`7IUJ@0Qk97wmfb$j%C71G465c5&
zSaZ1iGtVe0I#+g3iq`=0UeSNDz2bh8S>2|0ND>Il6cIw)Dn$3xLQPg`FY;wb-uE(;
zlAB_;Qjjiu=dak3G7(v^5#uf{*x1|qK7GA-^u|Hgx$7m#ClXg@@#dh$Uw=1FCLSNh
zjed1~!xz7Y`w_qyTV%nR8S(V=`yQbSIPY&M2OPG-~AaUcI|s|F(T
z4V&1%Cf_Ys*q+~Q`(pYKYF6Fui7}Me{m8NVA(Zp{=*?VY1OL@?L3Zx!!mzrWp#IF9
zXh9ZO7;Sep?G-h_X<0Duww_KiG3+Jyeu+!MUUWA6sJ{|3Y8%e~wp%+kHe2+^x0}Yj
zwzh6_Zf~ww@JwjUr-PC~&L0IkZE4ALsLsRj$uczk(1Gw{VXaBPX-i?DUR{+&qXfF!
z-nbH_pme$(R^PG3$O~ZQOq6%)p|#ZL?0P8I#YU~Xy-7%L;nmV;QdRJ#qpIwI(aUzd
z=F7z{8k_Em&fjPGzYyv{v>5nQh*99o`SA2MCCubgOokbmdoP_dRC*+^bi!>*4R>zZ
z{CG;Jhsh?7nT`LG{{lBOkH@m(<7()Tr|0z9-$X05T>7!vjDTNJ@Vg8~Cvr;IMl
z@%f>9*I=CQxH`E#F7;h9+!&PwAIO;4n^CfqwZR3A0<=f?xg7!#JKsxL#bN`_zrfZ>YpVgEDC1uyCTzeWTqdaYz|
z;=krK^Xo_aq8O2`D|Q?VZ=IhSih7c$Q7f)e?pn4xF1*%{BYjN$Q_ZCLt*F=K)$$m(
zK=q6-0KKN3;8FJ#jtU?0>wU~T6C^Bt0-I}y0qCDLlp&rf)KGUR-rNSTZU^ili*xGO
zq8{x&k`0Xh`}eQucy9`n?pAhyImeed&w~VWCIpI!@XOqcRTG;%+b9BlSid6<`PA4A
z64B{|ONaj9|`1)NOgPgQbcYudKg8aARXl6i7eEmW(#Y0X;a()}eG0O!fY%(fP
zgIx9de4+r0*r^kDR%vr^AC-da_{Wu~p~%aX*i6cJK(KcHw<#U!o-nc856|pvDjt-t
z(wfG?aHhM>>!IN_3GdjoD6fT{{5XIx{Ku&$7|NRc{>RPFOA*%ONMeSDiWGl_P;u(K
zFOf6mQ2??=GFM$s_!*`#jE5c&eJvz+sq5u)N$b3{^t#2YYZr9`$W}hBMF|fZE)S#R
zoc{3PLu-LlsKUe3{g8RtT#?pe4S$E68+qG82C~Xfx8IgAaWL$4PN1M+_P$TPSx
zbm1zQ`6ou!o$uvwoGy$(rNMixzuWsxZMQTp*v0<@Ok+6$2?0sY8-X%GOnennmw|pV
zc6(ZKvX81Y15cjdPgphCS}bl3+&(|hfep+{rebTM*5Dr+sv4U964LyXhL_-%b8t|B
zm-h$1e{U;9;Jv7WydZ6QMV$Ilk?*9K-_z{{PBbQ}ykDIMyG8
zXgn8&ZL6~2g=rw7t7nd{0Pz&zv7_5Xw75Qo_lw6;!$O`bdjnw+zXTwdC1dhHF=N@?_KO3b70Y4S>^S&^
zM6X7i!RG-+M30Q7MBdRjxaPWxFA#A3nr{`ge$Z7KEPl|zOu=U_Tcf4#se2G7v
zP}&ak*G__QbQVK~G$E<}&G#EFu0w}JMFh6sqAaa+#b-Ya9%*{cc~ua6`;?st^)UPC
zliQa`S65AU55L?UzdS%{?^$`}6!vT@;rCBi19ZPiKwpaaXJQWNs8~M2D4gyyZACaq
z1iP)tUrJ2cieTYp>!`BB3dh}sDC!o+zIM_)$Txgoxr*(##CFg2dAjICIO8ZqHHFer
zG&W%uT(D2i2`;`N^E5*9%vnkhnH{88QNHXgaWa{e-LZw;_^E+LST5HN-8yV?3cowX
zw$s-~_;<$*igfl=h~@dlNI~20vl+9?>+y`elP9UTbjMk-SO6}~YskFO-KO>uICNmy
zijVqQ;NONXh5!!%tZ2^{FT&R+N;5t!A_niMKZM?z9mI%slH+hDJKRiBEj6e)e!zHq
zBd0eiLHd9?SNtOoPBPruCchY%82BjV2s@3B~-S3A79}6YDw#o5Q2~)
zE*8>x!9Uo%6|QsGfljbMzJW=bx6)QPz;-hAka)83c;8)VWst^x#jKM7P{Ol%KUqW!
zB`}60M7}3UeF4z1tGyrXIg(W{qTm?%{X7k(DMV3*QMA58?s~HgAAUNed6nyj>2#WB|
zPS7av!)~|I)Y?|WksgrV`9te#G7GLiJ02Fq%P{*0I6+A#lB!c-5+5
zjgeF%#TGA}7l1r1{PK2+|L!w{FKRMS7Gp9P4WR6UNjghOjpxCmQV%T-HMDQ`UU=R0
zJvu@&k)N6QT7KRatKAm#@a{+?2bU39Hp#3;*eMU_A|-;U+Y7c#dpGADW&M@V9UXMy
zfzF&tU9`-z$R_%WVXv1Fk67!myP1pImy+9J1)nRxE?uScXwg&T|Mq;X>hO);SnPbx
z{1UqlQ#J%;qZdhS0D^ZF9WzfP^I1-_ci8SXjWrPD-C>eXHSU%vR=b%5+bl5%3(gw@ZN_cIO|Bu6?Ptv8a7E$
zvZ43hmJvX``Kr<5>2YDsw$szU&VXxeGsCiBi+_d|)~q|LI<)q4u_ce!A$Gdp@`wtK
zQ>G$_pF(#ODR+Toqf@ng{_*;pi?xql5a(PngtPCa!;1Edja
z*pfku>s`SPDA{zvi)IyfYU)N}lGJXVYro?FujoN%23+W
z#htu|Y~c?#lQUI1eh#CINsE4GguWBJhamPcP+>{9qP$R3HV@?s#HY`S2j|BU!xI~s
zyg%(C+$2$qn@|4^uc2-vI^9;R^q%k9k`82N(;t9CwB*@BBs?cdUdhplD4%E`>X?Z#
z)mlQ--IeeNxJA8Bw>^*tM*n-aMDOo!l`^zDxqWg7B_R*r~MUuBW<9Dqb{}ZyX(tsj8z!PRg;%&xoArnMx!nyM!wH%P^k{2u9~)
z;=hRlG*`ZKWXp9(o>uaY0rMYy*3%Ad8WN$++iKcA11ZZ(DFQ95GmQqOj#ZU^+
zI}{v?++4gleOIzHSNXbR#FynqySIJhEiOKaKu16|PDE%&qnY>IZz*
zxcS^rFG)u2Ro3~s!<1gXN?m>F*6OcYMtMv2#gsrxr94jV!+Lz)=3&WZ->;d{4`dFF
z?Q1Y-6X@cl>E!H^OTwFfRd=0;RNxpIohKkVKJi=9WyS-A{l-bC$qn9bbwGUwS%K18
z!`53)zdz3!a{-*!6m-6O8zN@0J6jJDAmbhFHrNI!mbXgMmkb8V7Qbm?fiT_oPUVUj
zG(P(hacOB=UnA1=TJ9H%kOUF@!hTcW{yYMLl6wfv$}e$Iro|zZ=0Ik~aY0oDtvmXu
z=ns58cv^q|J-q?j=;wI)Kt~X$ujwR{OA*v&7~7mLw2zA2ccOk3CZLwRqQ{Q|
zMm&P?FcIFsrJZ}!W`@cf8G|_W^i(%98h~2vr}%T?G4sj#aUPCP!Kj~}p&>hyaxyK^
zNvNfT0YRtK^yh9yV0tbO9I>E>F$5Y%`phK6|8Pg)-2>Le4lfY)~U!r@xTvI$*;
zs#`4Xn~>b<0i!TVI@+*cnL>ZPjRESbJsso&Q-qeV^W6T=qp6ZlAL6uiH5h8PTnoSc
zkfiKagd5qvW*tm#fVZ@|5+>|VH*=s3lPkyW&yQ{K@Lvmu-tcGpFiN|L=Moe#R>=bj
zu9!*kfJOxXdF*{duLKpOap$|f{r&eacjuKxIqKOPf4d|OBVsUUCjK4uQVJ%W2yC;6
z6)OyeT>U87G5f@nRzzf$M)ip6-&YP30v~m!{n(_$#1Eprm-1u)?h`j<3$9F|4HNbf
zaGVi}w2U|}83l0@Eo6bLBT#-^oab`Rn=s!$h1fHI5#sU^o6RdBayp#zIDTr4hX9#2
z{2Lsqa*cO!3bWo5(rb8719xygl?Vm01MtnhZs2M{IoIe8G4!Kf%{gnSrOQ4u5#3*E
z%$MuDz6J}Rv#PyGd-&phDGU
zyPaGBI{W*H8!zYY5`I9$p@oJw7%Rc6Fj~CE6b8T@88#sLP*YR$7LgXybbp%v1L#tr
z6sF=O+TT7NhRq+h(0uq#C|FQ@HV=AeA_K4X8jZl1=Gn4N2qvQb+JOB3vH*goQtBgg
zVHKtAJbq_;7V$hBrTMig5l{RbYDq{8&0(Wc)@$4=7i~*mW`CA46yRs|EZ4c*;_;&6
z6gscHB~F)nPnZ-dH`vJC4Ccx;!}4${{dw-bjPiMlV845Ac
zw0H}GjJBSrt<>;`Q>7#)dj_#B@b6!U|9joubAtTCb0??r$*$gB!p7@1j$GSX1?Fx7qK5r&E=5XA>S
zq$oGQ>H$u^`g^VEzqbaSpQ8<)o9Q0SQ9UJ^H!FWX?Csk5)AA9?Bo%kb9$oQSSFM2V
zr7Y*CJ55Roho5_}bw+@=20!knpxDV?P;P3iZ31&?G0rbE_;+vE<4xZLuPEioH+348
z)FLRVA)2c`=MRQ|vd8Kah*c{nxaxuPL&T@kdbtVaU;V=2+$Pn4+AzPyT+d4~BtS#c
z-yO|xjgDyp_d6@*{;Q@mD+K%n-b8*PjoxhbhnveF#>W0(holO
zG%~7U7>qk{Us5Za{Z;R(5sw2nud%yY-oG1@T}zt1Ct~7~Q;NaOrM`^1&Eh-b(Ou8%
z&0v*n@WYGnkL6Kaz_5O}dH$~UyQjY~d{7=?tKC{P5*m(5x_wlCn~0ie%lK)PMLvp1
zZYkFp@_;M6uEKV_zmu-5{XMu}VrXwnkPv?ianEJMD(tEo
zkefOq$HbQd|CP}93atucMHd_|CfTDf!|G06T-ncKa}XPh*I)ja%zvmYw$%Edowts_$RG)y+q}_1@7~lz29&VWhDNnJOVI(
z-69`4IU0t0WETgh^pn#+NEgZr{@uN_QntY{`+2i%SQ9SyclVNw(hQqFhs!?|mVjG<
zK!lO@6K#4bpbQw{fGuoWm`6vwpUWzK#-3i5EELfzexa0OJ7z`GZQ>yMw)0eH@gkt!
zFUOU1M{1Nzy$)I~L5SZUPzACiC%s?ajwof?G_Leu7mUB
z`wjhgzoD5XZS-bfc5t?Hj%+@jFzaVcqN@Py>_0oz*rd#F@Z5c(>+e7voX&#-6ikH7
zRdBQL0h8BZ6b|2%?+uA|Jbq7>9wzA6PwrrETsdy6!s7B1*TQ*^T
zriAN2W_n`LA7(bkBA?7D8vMS?=X@Yw9%;w+_aAT*O(%nb^K~Gn`5E{s>aPWIyjXtX
zO+eKxB_{?$-w
zBmQ}S3H{IW`_aofWDl2Ji)ctkIu}DR?!Y2B7gvBGXpbhM-3F=xzC8=h)KVw2@MfD)
z^c3Gty7ncA$>Cxd0*xvN?V%gZ>fSt~VU~JqjCz;o>u126BgtLp}-(L|ln`C>d0+HtTv{J{#Q
z+dV5JBw|Y-5LNPAoXnb=qX{X4TzMvwWkAU2?0!5r`$fIIxaXs;e
z=s2p3fIOnKO7;&U1U=lqxWT<^)!aI}rrEiJq`fRn2^`b+>1@~I);is{3*P~`=q)x
z@#vk+96dhiay3VMgGY|WdXsC{DhA&LI(@*`buOO@mv=}^U=nL;YHBIn=yupm4d)}(
z;(-D42W3qWpyJAXSo-4&61%DF;OBnV&*wXoR(bt<@88<{?M*>RVmBaYyxMWhqh7DB
zvMa(|DU<~kB<3{Lr$|D29Q|%=op)yh8Y5$sq2gl~vw!3Ba9@D&1{PWP7Fb}NJM+XU%YD>&7A0mn$h
z2>##;fc1?%$O99I1r3`Q^Rj&x`j(czBY}kk%M1DWYHu~v!No|zk>yn1MG!IuTon$v
zBCY1Za*`*qFWUCZ^;1(680>gIR_+Jcg2bKL#CHWjT;ny`X*DKZ0{0d@FtQOOgtsMo
z8!hkaCEDD3vH;Q&5qdFG$XxXKytdNz=@o6Lah4)84fPVI9XLe^wd`PGRRLPxX!@Z-
z&C-1Rx1fJTRqR(L$n{wBUUX0u{r218exl*5ZP^`Z<*URM)Eym=>i{o@Ok!v)=K`4S
zQ1KEf{!~ha061$_8JCrx|5?%E{lVi=A`D`P(Hgsal4r^iO_JP|B)Ry_eT}@WW3i6!UM5iR}N2@
zjK+TWa|-Le@}$Or|MZu4P6mhD40zqmwc|xB*fQ26Y3nlLLmkXpyLP2~t=@+j{&MF9
zx&TRRv-fAzCYwJlwq@=2WYAd&cX~P_+8GhmQ%xCM(0*xPf=yk+t^noV`8L(fEzSk+
zvdV-j-sV&Ij+uv0imx(lDssKSrowSFKNz9{8N7Ngpr)_SdU?EIcB$CLt!=Sr%!Y-q
z3rqZH0m<-O!i0Q7o%@Go|Btgt%G?PKrTA-Wo^0D_QsfbMPb^0|W8-Jfp8ZWMKu<5uuOjez
zVW>C(HUyapt$)5g0ES-10y0E--LZh`_+3)40z30Erpx%Q`>|vy6Z58@*vYY9@2ZSM
z1Ry@23945oxrQ1Hgq{#&iiU3%f5ys8K>Jikje4*!R-(nVXnzJ>nCAxJX(v4rRU8*@
z2OLT-qh0*gc9jUj8;_2XDA>nb(p!%u6vCrr`tSj|+i`a6H&c}-F$6g6
zXlrUFBueUp4x{vK!+hpG4{vEGp&@Qia2Zql=KSw&=s7qBh*)m_yZ>YtD8TZfu&K!D
zWK)yNVO!_P+du8N6d&pcS+6jpq)r12>a^I(J%_S06AymLG6Io3G1>#4_zoi@#bSZ3
zPaNc`1c+hCYHMk=d2DSp5hL;ggR^cjOFY2qd2m!j2BCouzChHB=J?S;Xg_WodpA8Q
zUI?^$dUlmka8^T;b6hgJGk7tQxLY0X(T>W7hOBgidF;(MHjXxv_M;}0KxqRZy7F%r
z0azSJhe14;YNAo@`tENp1Pk~as|GP7fYaconiKuSoH3f+vq+!2`y#EIb!6%hv>KRD_;kHe+?;EYf__>#
zLzJy{Xlb%H9l0itrpomNUl%BQI$deaFg9?{#Y2e_JTCcvSU!D=sa;p!p`
zu0D77rg|njp=oH$Nz*GhUU)V`&Nz
z2c$0g?_iD9%ro8!zC{e!w>gqf&tz**J1O;Ii#}#p&_GokK`~!;XF0LX)B1hoi@gDi
zxPKd`&-zS`iFlUo%OIN2Fn?ksto+ikOvqinvWy;y^(>DG1{^tI^0-b+l0MR11bSh9hM$L+!1zY7UQ2$n0TSg+%ksf9gND;&nUk0I#J$lWi3
zPd08G!5YW;!?GsvyT+Hg=@7CBUjvHUU==}I{=pSF9`
z0;Qhw$>HnV24RyGw7~oBI*JAamoOq!Hv;3Q36~Wr(627rzZVn@6FprL>sOoVdLCoL
zFs7##H04s!U<4^wPa3$r_iD)*fWe7-UJ;ZZDF_f7>$yEzGLSK#tN6vRfkyYGDH8R(
z&Ht_%EJ~}miO#G4E4(Pdm5d@|wKO!s@I=qWHy49{@Uw_!db{niA{){~J|B32h>z;k
z4~&Q{`e&4(r7<7*E+Zpb?)iWr>;MJ`PfNxy1Z>fO*b-bp5RxcTiwR=0Ad4(8N4-WM
zl%aMnM9tGslNIQ;gCC5d%6D}U{9aF+A4_&P
z7+~?EET1oycw=K@xCp@AnjrB|%S~rd3;w<%T{q;%O@ZRx2|i=d(88h@U27KL;gb7z
zHR1FuwuH*O#A=N9ax$UYxg318=om&c2lm3O?*{LpsRXSoB5hcX=dI35ULe#DrY?UC
zhh)SBgvDwW$}>2MffP>dBG{~XFl1Z1$B3YYMt*?7AR+Ls`wl~45Wulaav=xmmR}r%UPegE%*r=Kd65LbvJk_i7|knGqvUBfjK8B_<5iB^#eki0TpvA|wo!vL`GcWM$4Gh?x
zQ-&ExGzpeg#J&Iulw=+77-$24U9>_;Q!#=C1_+nX;{=%SJG#D)t6d=Au==a~$oS|y
z0js$7hp2U9-qjtwLJ!NgCK&LWyAW%C#&zJu6j|klz*o~$IvDVrf}GdNcv>YII%tXB
z`0SpcSB(PkltelvD9TMZyj{-n0ja5OuRFEug7nY15GFgZ=GT;fXNfV;Ix=Yx*PLoTq7B@LExd>KE|
z9;hn80#V-vaxP>YbuDp7tJlu!iTtLiwlCUIy*_-JK!4gQy5XA5Mr+!$?!o(;E}I>k
z2;!ExDe)#QGt;K^;{CyGP19ii7CFHTkwJeqJyoC?
z0*-Ctd_}o2VZ5qc$K+Laf6r(8ve5g7GwcBZSSCVIZifA@$vNn?VTtFr3VT8Yeff&?
zYQ&Kcs=;owD!+6VM%TcCBDdkF4+b@S77G2t(_sl7II*SdKOHYCE;?yP_hVcHnWWI^
zcM#%_HO#C#@tkboD}M|qI5oc0u`G>fXnLSJiZPfly=SAmfB3y=F?+=eL$#at#lIFA;pu7#G{&h1-w}HS9K+E`Qh+Av5d6kHaiiA%h$)>|z|7ZMRG;?@=&v
zLwoCAbI7+bU<3y}+|yt!SkEA3E3n!K*0M1>a=h6gZ4)JUBhTM>Lrw^&QLTpnX61&wX?0j
z7}28?MG)@u5Z|*+cdj=;H6RA6b#_SX!Wb7c=pBQ4N)V3fvtFF20
zls*8Tu}K*Cj{QHwX_EZQ6rsG<58#V9m$_yIR--J@hcgWSHYNm(JIkVI8@)~auNp@&
z8j3^uuRj17=ZD|Ptd}DALuir=a0`>6sFVa>Y$rkqgExxC(ul19e&%eXO!$6qD}Pw&
zJt=s^r*M-D62Gz`&EDt^#YgurQR#@YhZ|Dh_Zzn%MC8chFE(poO9DDFWUX(AD2Cph
zo`?Lfz>V{>y6{zNUUD}eEv_)OW?`}`Tx};0xDTiMpaw@>D5N)=funi9LcDE!Sc(tS
zG28C`%CNK`vzJFcN${%FNUFC^Ocx+Xf-~@{CO2JzX(7)J;7`dRs1Jsaa+IMmCXA`XWcWGAjz0@*F8T0#0T*@$vDq?&{8P{I|IwU~^$FXvDqIF}`HIPi1|4
zy+%R|i}yfZ@fg*R$Sj67d*_8C@BycH`}RZ5-Pr2dG}f~WQla_7%0Z9F18=4
zPz)*%z7(~YoyIHl1rnff1?Q-R*r
zXeH?CJ3!-0WS%x5Ijk?xrP^^vPuIsu{`xequh+|r*EigMH$SfGx*Kjw5yPs1T{;<<
z2+=A_;$zz~si0=t5DvQ`9oZT6Uf%o0Q6vYNnF
z;kw7t>6=F3-#s7}GQ=nNwdEl}J%}apCLPp5;3Kt)|1r_OHKL5-|HKS)O?cvJR`cAb
z8gU;_q1hfkQWB74bw@s=+~m1AD-%(WZ8y-SVXE$BOtPNRHA(X*!Sb^5A1VU7lOI7M
z%YOtpA|9*|(V-Qg)#CaI&P^gtHC$G@+b?a$d=arHe}gIiqj{`(UZT}x3SdJaDOB{T-NYk=D`pX1(Lvia)I
zV#`ae&aWQd{myA6ZsL5;{_s5BEQqGqD}scUqYhaCRFPpPb6}Z}qkV%t{bY|HNdeoERrS+$hSqk}$;lt?#@IsJ-
z`v|7cWJ3~%bx$(?&dGarHHelC0!bTNJgyng^;_dxJ~lSs_|@GTecxU>J+5$eaM6jr&OV=uOQ3q&%>z4R@dv&!7+x@w>ZyB_
zZmq%g{2>aw=00B`#1B`;;nfn3MKE~
zqos)?q(7CRgB#!GYQDb`G^^ae=qa;o#z+GN5u8r)HJ?e&d3decQ!C8&I;#-nZ>@W3
z>32C`aBtou3E^K%wQN*68@Ih#<395t&Jo1Y?#uAZO
zb+_mxxF~H-mYru6q@p5tS!h28U3&E4UZ<;3I>D5D#`oGfagRN!u{6kZE6q{Z7P8^b
zAzhriSxGD=>0l-RwX-Y
zevFw%(k<5ja6`?m2-WLxuVgAG4)?pa-w&}PaAQfcTH{bPSemo(l4tw5H^BvN(b~-2+LZaVU%&8II?#2LanF&$UGAwmXa2EvX89L(Mar6}wU=lZk#zw9AOzeYB-#m}
z8b=jfhZxaeA0#IE`7xQ~XYSPsCkrbp5SrdQta=(3wEe}9r0mT20#wMVRG%9O|k
zN$QvUz4g?XHefe5=5w^p)iH&DoeWBXt~g*w$p3?=oUe%`LxFMeED^{muFPQ%n47zU9Rq03tsGIV_6Py@IXsMz
zVer0YE_&O)#JGJy8U-Iq!lhU6UIel2UC9QO959}`;ir%L&YMo%z
zeC=&}4|1oYt`<)O14V?;C(`xNzQ6K-SmYIvslaaek%xN5B{3;;V{y17h9t>rRvEx*
zeuzg@*BIRzoo7SZTZiihbUW^B5C
zXA6yuCQ>jVDLq_h5{HMO0kpq)eP6#4Kur#GWHGl_EC=5n=mAQb1wlnWLnc`4R4xJe
zB)q(pL%FxIsZ=Xac}W$UkC>=g;#o~|XG8A&;%>R#*A0@qQ4nNv2=|3}tCrSI%_Z*M&^F``hiFVulP<&jbp))Pkv#d
zlGfcaM{gx|cJ?SyGSYy@Y+lauCNxHh^`$%O!-{42BSB!6sX29dNx$T(CuqWuW@vdy?cLt)@36tnTnzRtxCjM^RQRaFS+Hd#sHn;
zgFdpQPC)S##SO2}j=G
z2jyV7GPI62Fx&oP_ivrA>5zKZ?%Nfs=z4zd=~!jd>$NyGku6~=?9op|3%s9+N~saj
zcWx56oG+9I#c7LCX{O-oj@%(|uiLvM2ye6yP^9qx7+9gvO-U7$sX;&dSqAlFO&$jq
zO<3p-J-cFpMdp3bp=WwqguIB`;hy{TVbfMXDd5(Jm_w(+XX%kR#*7ucfBuLaiCxG_
zPB=G&V=P=Hfy~XOm;4qsHB9&me?B_Z4f(#E=B?P?{8{=E6(4MH&EU5sbPLbUd}r?w
zfSr&|;HueMK3z1w+3H=b+ehO*g3#VQ%X2@N=fcu`u*5ud^vXy9B*-vo>0N84QR^wd
zk)wm^X`(=naRX^rMjtvwUSP+m424x+`Tb?H?;7vpdO;eWF;ODgu>s{E>f0H8rosEo
zpFqi?&7_Mbz*&Z4w)I4803*z#FsDgiaY0_WmZ*JAO%0sp1&X8xo?+~aIS)6WOsc?V
zgH3MnUszu1rQBBtYiVFtP&-tOu_D>s_hVu}{IGf+bZ08UZ?31{D?`HCC`pA$YuReY
zSH5Ig&F8reT9B(rUnIS#{Y=^exP(Wtdow`GJ9g2VeqR}goO=L+>ew$_`0-ZfMs~}B
zmlG{R-fi>eW)nDsH<%FmebaGh#{Qr%VE^ZDY)-j4+ubMBu4GJ7y9M4sJrppPia_Ug
zl|Z+Q=;N&5fH`-E&i};;wqOap0(5h+klYvPlyqU6DErq5^h#u;>DU_H6)Q6^hMhvEBaErThJiWI3q9zD)+b
zIJwXJcA5o-kn>MW=@AilW=Hgv)%RKaXWS)AeX2E9(SZ?Fz5Y{6k0po6r0iF}UPD*K!ig{Pws)!Q)8?am=A){6DRGubWMSU0q-8jQo
ziK2N+o^fGDYlE4bl&vKh-a=V4TzHS$ouBBy^T-t?UKnjyP_FUTr-Ncu*0?jpsMGap<)NBQ{O;r$1>IBTZq4KW^23+!E=?R+v+L=sZMpz-XhqYMj7Nef`x
z>hFQ747mkpYQOUZDl(
z8S5Q+wYH)7cyUtFS33!9OW)f6LECv8XnIX!JyfI(w1*=Rw(|Y?%{t8cGAmbKy|1V1
zpK@yJ=v;=`*fA=Jm5ehaP$w7(I?fVp-M3p5^Ra!{!3s+pm$3TgXvBt`kJKpDeL`l>
ztl8#cN8&Q%iz8?K;D9+eJoS8L?})+rTNPB(r1zwm#b(EZHGm;2=ueJ^AxPMMwttcx
zfeIWvcpw2O!jY4VY$!rfEFn2wtBoO#q(ElqyUBN|06vBBme%J5rr(Wp3WKtr%e=Z}
zz>*i~qI3%SL@=5{zo$f>f28g5>ZF|-3(Mh+`{?M*;vsllP`>D|@vTrybZm+d7q9Nw
zVDw4QQHd7ZLayZta~|zzHRlq)PyGzFXWx(92Fu1*hc`=}LpOf+MTDCZX$hQ&_O(R_
z5ow7R$v)nP`k8MA&X+Y9vj5a%i{iUFWxy>2=-sPNoiiaH+9}l{qweY374!1v#s)1Y
zV;=cY^@mF{+6$0D84%+4OJ7QdhKst96_xEx2LS+%h&8VS;tXFKG)=T^#1;h
z=RyIU)co@#!VqL#G!zN9n|z;cKmVJwvD)J+Rr5$h(BMA~r4YSmBwaeXx@0^myD|sAG_MjtB)J{7ND>Ea@*i?M!N*fW&&9&3xoF!1(pQHJCx3Q6
zz>$}VaA+oZJM5}2`F+PJAe!(u;KI`|6S3yMo>V19V(JU2HuTd$>SysuV7{{OBB
zy(!k;SZ7t2%AByW2blf5hs}d3GxAlMgZ%u$>@eb_#1cxl84$Dt8brR;?hj2pzpY)Y
zTDp?oPg?+4=)XsJY>o=m*$VTc7^G6FZS%156opkIVQu@LX$y+FeT!21EeD;@CC{E5
z5U0q*dKnvMm6%rMY+%&r9scT%ytePZPHwz5ji>3F3u0U&C3FaLcaiYWloT3az!Q8$
zXew3vv-g+x1!!4Ul0IGieeoC6LEdAYZ`d4)Nv-8jQldNqG97Y(-}YNy;i91Zf-83h=y{oOW?~^1njW8zqo;P{@W=kC&N^g6eljBU@vv<`9
zWZd0T(NlHJFv8F?0EmjPJGfxi(btmV6DOMsukKGpVM3GD*;Fa16raDdpP)w`h!$Y@(5*JqTv-aU#gQ)ba)$cEId!xS~M!IX})G}
z&S6ERd+u>NU$=(wL+S)|TCUm3%JsnYggy+;*dSo=^#&2Z54UfQmEHWb6LQ1s30{5|
znglFpc>L`{yn34a3^o9tTtxxrG;xFR#*Z4?Z^;KK@`AlzVgkoM9s{hcj6rbiYC264
zTV{;N!TWQ0iAFQ+1QV=n;;t$AWRuby9dC?Os140d=MuR{Ymz5~G1p4;VOJLJc-IH{
z^#O^(JtA60xqE}agBZYvn`&+h&~|1frpTVu$rnPwCqY>JzseQ-^Mn`MYB;feF}mc(
zfIAaTdTd-2Kn79XH&%fLTH~GvRguA}7CLOeIulHk$%C>v1f(PV@?}^^vILC~SXI`C
zHl-k5X7t_C3@SVH<45NoohdU&!?lVh%~^tU|JG=Rc@Yl)Hc=*iUf!451L1k!vuB%m
zWg#T@qhE`-zk<4LbKQ2@D(B7RB1|nPlw#;CA3$@+%B32XmW4X@#*N`9d+Wo
z?nhfu0aFDjDo~-pq7S2Tnpk1`M}>}#cRpcq_3tW7_Eq5>he5|vB5sN9Rpm;>l4{nB
zHTZ{;VjxtO2Gf}d=BNbsS7IrwU_%L{-YOt*I(%>|Fhp_x6P|7yyDl#DP(5|%NNY#2p$To*}K;7
z7QJ^FTvAV>hyPo7wBPAIDG`_uEjqNE>njH;jKuS)*Hqd&1U8c=dlSSlark%fP*sn-
zQvp`oSEs0Q4|f_o>h?DNK{Bd5EaN7g>g)5HYBvdul1c1K>Bb{n-Fq)?DtemAYW|?q$S?;wkL}y
z;Ip5+?CMyv`KOyg?*-E$0?tY|mKc|Uo=}?iE?&A!1CBShd`?7}R*Er?42s5*H(_&7adH?SEJXkAQDP
zB-Qr>tCYrM@l0G>NFDipK(69LyjbTE+IkQp`YGgH!-t1P9eFdXR5F@&^~o6JjMOo2
z>U6Uqr)7SB#1N~}g*;rrJ_+J_SAROB?*m8SVh%_Z5l_r6m2MTMo=+YbDofR%dpMn+npkDS#{m*$GgWCQHp}+wTlOX~!GBC7(g$6Vy5VZ^tnK7T
zsWCFeamno5Qq*-1nkmmL;ncdW*ZcYkz7)}dMFpG9d%=A6K5od+yQgaCYo5Pb5jCcT
zTRFgm-*@4Dv=H8mQM#lgQ1`ybV_=N*#P;lV__h9+EuhxD>4-(8*D$Cjg#M7A6!Y{%
zZWQ-{$N2H`dLa&gksi&98zM6#?>z?ikuz|SfH(`j4DFv@N0Im)IoT60fIs&|3
zJ3xH#p!0Ro`OgSC7(|Eec~`ee)aKl|w%%FnGA)r7g&W}80tb|$yZeV(?wE_uK|(|i&U)7Yrvx5UId!=5
zq^?GJQ?2ZrH04fCVKJuh;k_KetgrTq(wu><$jHV@r|>h+=kO>WEeBXcvL7Rd8L?0Y
z^HWy;&(q^>x6fuRN2IB^Yz+d7lU1NydFl_j`Y)kzVT*os4qirJcN$`4;y5Yza%kTKCahEc;qEAZ
zfe}tjG{cNk1_&aGq{|y*K>Vnd$EhSClGH>uO9Ne156=I*A(1;Ob(wD~Xla?j89n9n
zL=3e$^nD9-+gTgNuKocBQ#ujxUj+yr##zQ;=Jm{@Rm0)QtYl`NKJjO0ePctNOk(&a
zD--1HI?gMy#{G&O3wT^5rJx0sY*nQzV9R0y6982pu3a}fe-UZ61t(cYKV7%f@`CvJ
zoS|;tUhxIfu$!FQJ)eUjA{Eg#O)IlW)Y`%;N6VJ$>69TE%HkfqF0Khx_xL(W9-2>QEwI#$T~AfdzhJ
znmNCVx%}9WyELI9`(ku=5VTYQsa6V>Fc(g;1pystGOcq_I|gSCm}COQ-itj0$6@IQ
zbzjT*DpuOh^OZF7KXjcHUA|vi@R^XidP%E-TKpLKApP(7(=(*oUDh7aiV_yoaMA6x
z(e@hPy{4+RI$t4{gj5%0k0u6;h-u}DYwsf{>+2k>9nOXG*88@n>+iW*HK>4Er33dA
z?XIPA3q3iH;>-~YFhf2hVL#S2>(nBzrz$-KLCWpdv%9rZ9aPNAmFJ{ryoCPb^;)3$
z7vva`-X-Pg#|y1nUv*Bv*G5|E&01tCQ#tksflInyT~JbxG6ItfRy)@cB`P8q7TCfS
zGNjLq;JChjct(3kJcg$^N1CG*kGXf-oB84g5gUp~NT=}cY8y!sXK&5-2_^Ck-lqw@
zMoqRoY&-ZWL=gSM6e;H)EsdqwLsfwR)?o?exw7?;9^t@NE|@@eAoVbp@B$qT(2wq6
zdzdBNmcme6v6Ec|9x+s^Vb`ptBu*lmB>jsDib@VkZvWOp1Fk@6UuLzI+b%`ytYc$l
zfl;_&1DzdZb(TLKd2B~NmMaKsOGz1-CLlBWydzSOmxW2#*pk&tgVj>)Evx2!FNs=W
z=T~Lz={3iesb97NH{`v0K(gGH+Kj6H*%SJ%kS$z6L1|^-4M9f()HH&*f&$l03tB5
zqu!GnzVo|-Hi>@747FYuZ`xr>M0I^8o|GB4AMuzuVK&Y(V!uhL@qo$s*2s){yT2A)
zfiPprwL;NgDJ0?|o|H`;>(Yla8z
ze!dPpptHHUSd+<=zCggob&?`-2SQ0=uhM=LHXh}MHs+-{Me7`3~-9L?cY@fYHYcC7W}V@cTEvgC#YCi
z^>%5mZzgV1juJkJJ1S*yks@Y*Dpde?>_aD}uu-qwQ570EWDjv!+9^4c86{m45nba$9r}|y?K2Y$!4qTrnv50|+~-jC7e#Uv8+
zPf|d>{ajw)e}ZPkwRy_q+HHd|p+$31+xPy&#Y2
zLnd5V+b4>toS%N5Tlj+$(rTEv>H0<23wQ6n2r*VjmrU-J8b*oyMluNXCyFrtC5?VJ
zBmb=wT3cI-!C~<3ILgOKkdWL|Pk>N+YB4t79-iyuI;?!|=}{@@Hhss9iG(9B`uhvc
zfYVt~#oA{m^F4@pF^CYxG+>>+^m`1&&DAO&p1QH2{tCjq5Q;$NZ|E#ebyxo9cdAS3
z1ad@}zs+|+e$|D)eS-?^SeD&5LL=QN4XG@*woCeMeIHlGXqSxkSY9anyVc6@^YWFu9oWiu<&D@5myI5D>dC}VWM=VK>O2$p`9gU|oq
z9&oY4n8bZ?NElM^uhHc@8HptSni@+iNd^v3rzLakk2{bBvkk+m$P8udzHQxnXH@Rd+h1Ba|b0ZYpNx;0)6RD(-zCvrQcqLI)@aFx1*jxZ9lW$a($j2Y+t^lU*3C!
z9w(?3hZ%@CCDbfsQ=iIm!pKSs@RYflAGb97e=t>6LqIiu-lsZ~;Fh1(sE85!3ZH5!+cejWCU
z_JB;$HzY1cwm&+=UzzaKTib_#4?>c8m(NTC+^XAKyKyj1Ig!OP@j@Ft&a)){tRBeNofX
zA4Td85$shCtNpGt4m+Hnya?k$uYl0e-oDiPbTLAW(G&N&y~fY0S7xi@xmXI7eCRw>?^J{tR3sych(pPQUN9HgsIo4%E8zA7+`1zfb
z221=Q9MgZaOaq9scoTL$Q1~oK=P0k9CLhry+8}@i>@k?*h}mON=8wWE@N367W*F}T
zn4_?}Mr!1ZY|OiELQh&GU5W-D$4!6KP0^d;gb*;uLe(=iuM{Q~>N+V{De64I^n0xQ
zsRMN>OEe)IN=mwIorE5l7p#l>A9|%p2_7RhrJd9L<$?_$M3G)!(2K};|FUal=%cf4
z&KgJm;2nbba}e-*%FHPwlXZ|PWg8!JpNm58r=4P;mpzdk)UaF(#AW6mAHe-vd|%zY
z&%9L@hHSRXpYn^tWO7-^u=Gq_gBUFKH!
zO#(zv_l?pjdp0O3SlK#6v)C_pU@lZyZbSNLat9j@Ek)a`jmq3_{MAcG7k^i`nsTsn!|_lgvgPMSV?#W$+WbB-n!
zXAs_mZ;2T8Ktz1TloB|XGi|NQ^sG(GZyrPtzX_0A>3a1ov&+7ru@Vi^S%3@0>~`Lx
z3S-h%zZ20Xf?`E`K~=qH^4+DC%36tdZhim@Qvee}@FXs(br2nJ!p5V=(AQghR17mq
zH{j6S-)zumZEo?@`iD!`YX(8@JH9P@=nC5w5Ng@5lBy{
z&A|XlhRe`f;pa1if6m2}DH%iJZ!qeKg2VXob+KMy;wQrK3)&y1K}LF=&ZeX=R0>P_
zv*mkCMujVPZdiu3R=g2(Gzg`f4~=e?
z0oxXZ5gQbSV$J?kadLF5Xc`6N4C&C`8ssDXN@*dn-siAX-Y~$I_t}r*=12>gTANq;
z>ByevkoWcShz6$O(I6$jwt`pDHj1zpuk)YH+;1R3jVgFVk5dQQ`Yii3KBeyxWN&8ou;;lm=dsdqr*G}98&Ej5eG*zM84@*BHN8?Dh?xjEZ$}5
zJ7T#K5HTk!w2^+wI}97s($v<(HuYcQ=Gje4eo2!RGhl8z*<$}PrPnx>>`PUu6&-uz
zS!_ar*Myzxvw!}gM08Awz+L8)nxN~eHv~3Zzb)OipTqO+r7oAM6<@X_(VT8EUY|xZ
zDCLi|l!ij8rm{}PKh45z5!@JQ%jz>`7hRbV!-fLiE{&T^cP@Kb9J;<-7Tp?*{`Tpn
zZ5$>l2V*r?29$7X)fmBtAo>GK?o;KDQ*n=qrln}noB?T0Cj2#N>Th$)8UArCvjoJB
zKiwy_ev&PoQ{zADF^T3vNrwoGVWLggd^S-=p
zGpn6QtTm0XI#?4i(KX>gle9-S{=}W?7OjQb_Rx8M+TEEP8LhBW@Jzn?@bXznn9JK?KlQoi%Z#gaS2l&h6Kk|