From 810628d59b0907e37b39e6df3a5e7b1a31c8c32b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 15 May 2026 18:38:32 +0000
Subject: [PATCH 1/9] Initial plan
From 4753931eef0d4284f9cfcf0bdff08b8ebe4daea8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 15 May 2026 18:47:16 +0000
Subject: [PATCH 2/9] Add ConfigurationManager / Scheme / Theme benchmark
baseline
Adds four BenchmarkDotNet benchmarks under Tests/Benchmarks/Configuration/:
- ConfigurationManagerLoadBenchmark: cold-start config load + apply
- ThemeSwitchBenchmark: parametric theme switching over all built-in themes
- SchemeAttributeBenchmark: GetAttributeForRole at different derivation depths
- SchemeSerializationBenchmark: JSON serialize/deserialize round-trip
Updates baseline.json with placeholder entries, broadens perf-gate.yml filter
to include the new benchmarks, and documents them in README.md.
Agent-Logs-Url: https://github.com/gui-cs/Terminal.Gui/sessions/2c601698-792a-447a-889f-2818e993485b
Co-authored-by: tig <585482+tig@users.noreply.github.com>
---
.github/workflows/perf-gate.yml | 10 +-
.../ConfigurationManagerLoadBenchmark.cs | 45 ++++++++
.../Configuration/SchemeAttributeBenchmark.cs | 47 ++++++++
.../SchemeSerializationBenchmark.cs | 63 +++++++++++
.../Configuration/ThemeSwitchBenchmark.cs | 74 ++++++++++++
Tests/Benchmarks/README.md | 35 +++++-
Tests/Benchmarks/baseline.json | 106 +++++++++++++++++-
local_packages/Terminal.Gui.1.0.0.nupkg | Bin 0 -> 1311856 bytes
local_packages/Terminal.Gui.1.0.0.snupkg | Bin 0 -> 347731 bytes
9 files changed, 371 insertions(+), 9 deletions(-)
create mode 100644 Tests/Benchmarks/Configuration/ConfigurationManagerLoadBenchmark.cs
create mode 100644 Tests/Benchmarks/Configuration/SchemeAttributeBenchmark.cs
create mode 100644 Tests/Benchmarks/Configuration/SchemeSerializationBenchmark.cs
create mode 100644 Tests/Benchmarks/Configuration/ThemeSwitchBenchmark.cs
create mode 100644 local_packages/Terminal.Gui.1.0.0.nupkg
create mode 100644 local_packages/Terminal.Gui.1.0.0.snupkg
diff --git a/.github/workflows/perf-gate.yml b/.github/workflows/perf-gate.yml
index 12d677dc95..85fd662dce 100644
--- a/.github/workflows/perf-gate.yml
+++ b/.github/workflows/perf-gate.yml
@@ -1,4 +1,4 @@
-name: Scrolling Performance Gate
+name: Performance Gate
on:
push:
@@ -63,7 +63,7 @@ jobs:
retention-days: 7
perf-benchmarks:
- name: Scrolling Benchmarks (Linux, ShortRun)
+ name: Benchmarks (Linux, ShortRun)
runs-on: ubuntu-latest
# Only run on pushes to develop/main, not on every PR (slow and not blocking).
if: github.event_name == 'push'
@@ -89,7 +89,7 @@ jobs:
- name: Build Release
run: dotnet build --configuration Release --no-restore -property:NoWarn=0618%3B0612
- - name: Run scrolling benchmarks (ShortRun ≈ 30–60 s)
+ - name: Run benchmarks (ShortRun ≈ 30–60 s)
id: run_benchmarks
run: |
dotnet run \
@@ -97,7 +97,7 @@ jobs:
--configuration Release \
--no-build \
-- \
- --filter '*Scroll*' \
+ --filter '*Scroll*' '*Config*' '*Scheme*' '*Theme*' \
--job short \
--exporters json \
--artifacts ./BenchmarkResults
@@ -172,7 +172,7 @@ jobs:
)
# --- Write step summary ---
- summary = "## 📊 Scrolling Benchmark Comparison\n\n"
+ summary = "## 📊 Benchmark Comparison\n\n"
summary += "| Benchmark | Baseline | Current | Ratio |\n"
summary += "|-----------|----------|---------|-------|\n"
summary += "\n".join(rows) + "\n\n"
diff --git a/Tests/Benchmarks/Configuration/ConfigurationManagerLoadBenchmark.cs b/Tests/Benchmarks/Configuration/ConfigurationManagerLoadBenchmark.cs
new file mode 100644
index 0000000000..1af8f3b722
--- /dev/null
+++ b/Tests/Benchmarks/Configuration/ConfigurationManagerLoadBenchmark.cs
@@ -0,0 +1,45 @@
+using BenchmarkDotNet.Attributes;
+using Terminal.Gui.Configuration;
+
+namespace Terminal.Gui.Benchmarks.Configuration;
+
+///
+/// Measures the cold-start cost of loading the embedded library configuration:
+/// ConfigurationManager.Disable (true) → Enable (ConfigLocations.LibraryResources) → Apply ().
+/// This is the app-startup hot path.
+///
+///
+///
+/// Run:
+/// dotnet run --project Tests/Benchmarks -c Release -- --filter '*ConfigurationManagerLoad*'
+///
+///
+[MemoryDiagnoser]
+[BenchmarkCategory ("Configuration")]
+public class ConfigurationManagerLoadBenchmark
+{
+ /// Resets ConfigurationManager to a clean state before each iteration.
+ [IterationSetup]
+ public void IterationSetup ()
+ {
+ ConfigurationManager.Disable (true);
+ }
+
+ ///
+ /// Loads the embedded library configuration from scratch and applies it.
+ /// Captures the full deserialize + merge + apply path.
+ ///
+ [Benchmark]
+ public void LoadAndApply ()
+ {
+ ConfigurationManager.Enable (ConfigLocations.LibraryResources);
+ ConfigurationManager.Apply ();
+ }
+
+ /// Ensures ConfigurationManager is disabled after all iterations.
+ [GlobalCleanup]
+ public void Cleanup ()
+ {
+ ConfigurationManager.Disable (true);
+ }
+}
diff --git a/Tests/Benchmarks/Configuration/SchemeAttributeBenchmark.cs b/Tests/Benchmarks/Configuration/SchemeAttributeBenchmark.cs
new file mode 100644
index 0000000000..6e97a10e7f
--- /dev/null
+++ b/Tests/Benchmarks/Configuration/SchemeAttributeBenchmark.cs
@@ -0,0 +1,47 @@
+using BenchmarkDotNet.Attributes;
+using Terminal.Gui.Drawing;
+using TgAttribute = Terminal.Gui.Drawing.Attribute;
+
+namespace Terminal.Gui.Benchmarks.Configuration;
+
+///
+/// Measures for roles at different depths of the derivation chain:
+///
+/// - — explicitly set (O(1) lookup)
+/// - — derived from
+/// - — deepest derivation (Code → Editable → Normal)
+///
+/// No required; operates on a standalone
+/// instance.
+///
+///
+///
+/// Run:
+/// dotnet run --project Tests/Benchmarks -c Release -- --filter '*SchemeAttribute*'
+///
+///
+[MemoryDiagnoser]
+[BenchmarkCategory ("Configuration", "Scheme")]
+public class SchemeAttributeBenchmark
+{
+ private Scheme _scheme = null!;
+
+ /// Creates a scheme with only explicitly set.
+ [GlobalSetup]
+ public void Setup ()
+ {
+ _scheme = new Scheme { Normal = new TgAttribute (Color.White, Color.Black) };
+ }
+
+ /// Lookup for an explicitly-set role — the fastest path.
+ [Benchmark (Baseline = true)]
+ public TgAttribute GetNormal () => _scheme.GetAttributeForRole (VisualRole.Normal);
+
+ /// Lookup for a role derived from Focus (which itself is derived from Normal).
+ [Benchmark]
+ public TgAttribute GetHotFocus () => _scheme.GetAttributeForRole (VisualRole.HotFocus);
+
+ /// Lookup for the deepest derivation path: Code → Editable → Normal.
+ [Benchmark]
+ public TgAttribute GetCode () => _scheme.GetAttributeForRole (VisualRole.Code);
+}
diff --git a/Tests/Benchmarks/Configuration/SchemeSerializationBenchmark.cs b/Tests/Benchmarks/Configuration/SchemeSerializationBenchmark.cs
new file mode 100644
index 0000000000..4d1b419c46
--- /dev/null
+++ b/Tests/Benchmarks/Configuration/SchemeSerializationBenchmark.cs
@@ -0,0 +1,63 @@
+using System.Text.Json;
+using BenchmarkDotNet.Attributes;
+using Terminal.Gui.Configuration;
+using Terminal.Gui.Drawing;
+using TgAttribute = Terminal.Gui.Drawing.Attribute;
+
+namespace Terminal.Gui.Benchmarks.Configuration;
+
+///
+/// Measures serialize-then-deserialize of a representative Base via
+/// and . Catches regressions in the JSON
+/// code paths when future PRs add fields to .
+///
+///
+///
+/// Run:
+/// dotnet run --project Tests/Benchmarks -c Release -- --filter '*SchemeSerialization*'
+///
+///
+[MemoryDiagnoser]
+[BenchmarkCategory ("Configuration", "Scheme")]
+public class SchemeSerializationBenchmark
+{
+ private Scheme _scheme = null!;
+ private string _json = null!;
+ private JsonSerializerOptions _options = null!;
+
+ ///
+ /// Creates a representative Base scheme with only explicitly set
+ /// and prepares serialization options with the .
+ ///
+ [GlobalSetup]
+ public void Setup ()
+ {
+ _scheme = new Scheme { Normal = new TgAttribute (Color.White, Color.Black) };
+
+ _options = new JsonSerializerOptions
+ {
+ Converters = { new SchemeJsonConverter () },
+ PropertyNameCaseInsensitive = true
+ };
+
+ // Pre-serialize to have a stable JSON string for deserialization benchmarks.
+ _json = JsonSerializer.Serialize (_scheme, _options);
+ }
+
+ /// Serializes a to JSON.
+ [Benchmark]
+ public string Serialize () => JsonSerializer.Serialize (_scheme, _options);
+
+ /// Deserializes a from JSON.
+ [Benchmark]
+ public Scheme? Deserialize () => JsonSerializer.Deserialize (_json, _options);
+
+ /// Full round-trip: serialize then immediately deserialize.
+ [Benchmark (Baseline = true)]
+ public Scheme? RoundTrip ()
+ {
+ string json = JsonSerializer.Serialize (_scheme, _options);
+
+ return JsonSerializer.Deserialize (json, _options);
+ }
+}
diff --git a/Tests/Benchmarks/Configuration/ThemeSwitchBenchmark.cs b/Tests/Benchmarks/Configuration/ThemeSwitchBenchmark.cs
new file mode 100644
index 0000000000..0affe3bdcb
--- /dev/null
+++ b/Tests/Benchmarks/Configuration/ThemeSwitchBenchmark.cs
@@ -0,0 +1,74 @@
+using BenchmarkDotNet.Attributes;
+using Terminal.Gui.Configuration;
+
+namespace Terminal.Gui.Benchmarks.Configuration;
+
+///
+/// Measures the cost of switching the active theme via
+/// ThemeManager.Theme = "X"; ConfigurationManager.Apply ().
+/// Parametric over every built-in theme name shipped in the embedded config.json.
+///
+///
+///
+/// Run:
+/// dotnet run --project Tests/Benchmarks -c Release -- --filter '*ThemeSwitch*'
+///
+///
+[MemoryDiagnoser]
+[BenchmarkCategory ("Configuration", "Theme")]
+public class ThemeSwitchBenchmark
+{
+ /// The built-in theme to switch to during each benchmark invocation.
+ [ParamsSource (nameof (ThemeNames))]
+ public string ThemeName { get; set; } = ThemeManager.DEFAULT_THEME_NAME;
+
+ /// Returns the set of built-in theme names available after loading library resources.
+ public static IEnumerable ThemeNames
+ {
+ get
+ {
+ ConfigurationManager.Disable (true);
+ ConfigurationManager.Enable (ConfigLocations.LibraryResources);
+
+ IEnumerable names = ThemeManager.GetThemeNames ();
+
+ ConfigurationManager.Disable (true);
+
+ return names;
+ }
+ }
+
+ /// Loads the embedded configuration so all built-in themes are available.
+ [GlobalSetup]
+ public void Setup ()
+ {
+ ConfigurationManager.Disable (true);
+ ConfigurationManager.Enable (ConfigLocations.LibraryResources);
+ }
+
+ /// Resets the theme to Default before each iteration for a stable starting point.
+ [IterationSetup]
+ public void IterationSetup ()
+ {
+ ThemeManager.Theme = ThemeManager.DEFAULT_THEME_NAME;
+ ConfigurationManager.Apply ();
+ }
+
+ ///
+ /// Switches the active theme and applies the change.
+ /// This is the user-facing hot path when cycling themes via a .
+ ///
+ [Benchmark]
+ public void SwitchTheme ()
+ {
+ ThemeManager.Theme = ThemeName;
+ ConfigurationManager.Apply ();
+ }
+
+ /// Ensures ConfigurationManager is disabled after all iterations.
+ [GlobalCleanup]
+ public void Cleanup ()
+ {
+ ConfigurationManager.Disable (true);
+ }
+}
diff --git a/Tests/Benchmarks/README.md b/Tests/Benchmarks/README.md
index f08f70d27f..5ed8111231 100644
--- a/Tests/Benchmarks/README.md
+++ b/Tests/Benchmarks/README.md
@@ -126,6 +126,37 @@ Minimal `View` subclass with a large `ContentSize` and no rendering logic. Isola
dotnet run --project Tests/Benchmarks -c Release -- --filter '*Scroll*'
```
+## Configuration Benchmarks
+
+The `Configuration/` directory contains benchmarks for the configuration, theming, and scheme subsystems.
+
+### ConfigurationManagerLoadBenchmark
+
+Measures the cold-start cost of `ConfigurationManager.Disable(true)` → `Enable(ConfigLocations.LibraryResources)` → `Apply()`. This is the app-startup hot path covering embedded-config load, deserialization, and apply.
+
+### ThemeSwitchBenchmark
+
+Measures `ThemeManager.Theme = "X"; ConfigurationManager.Apply()` against the embedded configuration. Parametric over all built-in theme names (`Default`, `Dark`, `Light`, `TurboPascal 5`, `Anders`, `Green Phosphor`, `Amber Phosphor`).
+
+### SchemeAttributeBenchmark
+
+Measures `Scheme.GetAttributeForRole(VisualRole)` for roles at different depths of the derivation chain:
+- **GetNormal**: Explicitly-set role — the fastest path
+- **GetHotFocus**: Derived from `Focus` (which itself derives from `Normal`)
+- **GetCode**: Deepest derivation path (`Code` → `Editable` → `Normal`)
+
+No `ConfigurationManager` required; operates on a standalone `Scheme` instance.
+
+### SchemeSerializationBenchmark
+
+Measures serialize/deserialize of a representative `Base` `Scheme` via `JsonSerializer` + `SchemeJsonConverter`. Catches regressions in JSON code paths when future PRs add fields to `Scheme`.
+
+### Run all configuration benchmarks
+
+```bash
+dotnet run --project Tests/Benchmarks -c Release -- --filter '*Config*|*Scheme*|*Theme*'
+```
+
## Adding New Benchmarks
1. Create a new class in an appropriate subdirectory (e.g., `Layout/`, `Text/`, `ViewBase/`, `Scrolling/`)
@@ -157,7 +188,7 @@ This detects if a draw function accidentally iterates the entire document instea
The `.github/workflows/perf-gate.yml` workflow runs on every push to `main` / `develop` (not PRs) and:
-1. Runs the `*Scroll*` benchmarks with `--job short` (~30–60 s total)
+1. Runs the `*Scroll*`, `*Config*`, `*Scheme*`, and `*Theme*` benchmarks with `--job short` (~30–60 s total)
2. Compares results to `Tests/Benchmarks/baseline.json`
3. **Fails** if any benchmark exceeds **3×** the baseline
4. **Celebrates** 🎉 if any benchmark drops below **0.8×** the baseline
@@ -169,7 +200,7 @@ After a deliberate performance change, re-run the focused scrolling benchmarks,
```bash
# Run ShortRun and export JSON results
-dotnet run --project Tests/Benchmarks -c Release -- --filter '*Scroll*' -j short --exporters json
+dotnet run --project Tests/Benchmarks -c Release -- --filter '*Scroll*|*Config*|*Scheme*|*Theme*' -j short --exporters json
# Inspect the JSON output in BenchmarkDotNet.Artifacts/ and update baseline.json
```
diff --git a/Tests/Benchmarks/baseline.json b/Tests/Benchmarks/baseline.json
index 63a907f4e5..6374d8c2d2 100644
--- a/Tests/Benchmarks/baseline.json
+++ b/Tests/Benchmarks/baseline.json
@@ -1,6 +1,6 @@
{
- "_comment": "Baseline benchmark results for the scrolling performance gate.",
- "_howto": "Re-run 'dotnet run --project Tests/Benchmarks -c Release -- --filter \"*Scroll*\" -j short --exporters json' then update this file.",
+ "_comment": "Baseline benchmark results for the performance gate (Scrolling + Configuration).",
+ "_howto": "Re-run 'dotnet run --project Tests/Benchmarks -c Release -- --filter \"*Scroll*|*Config*|*Scheme*|*Theme*\" -j short --exporters json' then update this file.",
"_version": "1",
"benchmarks": [
{
@@ -142,6 +142,108 @@
"params": "Rows=1000",
"meanNs": 300000,
"comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+
+ {
+ "type": "ConfigurationManagerLoadBenchmark",
+ "method": "LoadAndApply",
+ "params": "",
+ "meanNs": 5000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=Default",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=Dark",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=Light",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=TurboPascal 5",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=Anders",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=Green Phosphor",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "ThemeSwitchBenchmark",
+ "method": "SwitchTheme",
+ "params": "ThemeName=Amber Phosphor",
+ "meanNs": 1000000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+
+ {
+ "type": "SchemeAttributeBenchmark",
+ "method": "GetNormal",
+ "params": "",
+ "meanNs": 50,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "SchemeAttributeBenchmark",
+ "method": "GetHotFocus",
+ "params": "",
+ "meanNs": 500,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "SchemeAttributeBenchmark",
+ "method": "GetCode",
+ "params": "",
+ "meanNs": 1000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+
+ {
+ "type": "SchemeSerializationBenchmark",
+ "method": "Serialize",
+ "params": "",
+ "meanNs": 5000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "SchemeSerializationBenchmark",
+ "method": "Deserialize",
+ "params": "",
+ "meanNs": 5000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
+ },
+ {
+ "type": "SchemeSerializationBenchmark",
+ "method": "RoundTrip",
+ "params": "",
+ "meanNs": 10000,
+ "comment": "Placeholder — run actual benchmarks to set real baseline"
}
]
}
diff --git a/local_packages/Terminal.Gui.1.0.0.nupkg b/local_packages/Terminal.Gui.1.0.0.nupkg
new file mode 100644
index 0000000000000000000000000000000000000000..012eea9c7269566cdba1ba676ca83b83ce4d23eb
GIT binary patch
literal 1311856
zcmV)cK&Zb^O9KQH000080I8L)T>Cp_1R4PV0QLa@01E&B0AF%tY;!Lza%F6Dl#%Uf
z!Y~*{|9cf7|4o|MRy$f{S{(Z;-oU%`O$}>4NTRsA9}EY|7;G1C4$t9fH&;863&v!;
z>!@G_CFqnNj2k<8&U(J0oAs0o~P3+D8jH
zF&{@BK)u6=Toy&mX(SvCAwb=Fjb0b%BDfg7{KhF498@HHYfDByui1QGA
zz?coDyOG~?!gw(Xe`k2JDC??{Lf5b;1!xd3h~*m&P?f4$X%>WhG0w?e|T;
z6N|F{N^JSVf9p>G009600{~D<0|XQR000O8sg>67x)3j+WEF9!es6951JRAq8)
zX>MU`E=P4~E^c*maAjkxRl$ziHW0n%D+bCX0c29Lvsv##R^$Zuc17O!@dg}*UG6LMM
zmNc{;O_NvUlcE-KD>TBcvM$b&4N-l`d6XNhL}Znb!AHL)CVj=bT;nt!XZeI@XWTWh
zM#*+jCFK)>|J9DZd4!Xg_SwWSXS`kvI~+Siw}@6f;Yj(
zII69nwGR~>qi`27z}yjrwU7wUmUr{#K;GM}Az1qW?BmU{;2mejFB;nT5X*(p4O&nL
zb16QH6qZKAuf{2~@a#1i{XB)&*KbX%3x33O4Aw|=5rOtK&Jx_!0b^T0QZDApg7@Kv
z$#=n)t-bM*9}^;TjYeWVXg&nCsl9{JyV82?S?zSe56dnRP^b#aKW?txE^b(*3f}K@
z;X3%gP}1;FZD`Z14xQAE8Og{WHfI3oI21-1OigWP4)((%_Rk+Ndk8$LwJ0Kf^n|gz
zMZAQcQ^k8=Y|9%^^cO|wSjxB&p-zE%SPJrK3hSpS=*FZ+bty>iqPLg=wZ$HwM{Tu_
zhJ4uf{nUmMXoBs=;lD+)17H<|lbcx*a2@#ug^FDI+E`CqC^cH4lbcF}?Pw(;TH|me
zy;~bSs)Q37LjuxQm7!TO&9j%|sXDt@Wf$2wPR>`83w){86LE&;t6WTSIhB*~Dgl1q
zsT!R^C(Y3tfIllLjAe&`?KAJ;doXI2yz$nD_h{=@)Zhu3
zvOEFYN!uu#CD)CyD!p>T?muIQ_hKGn{D5>FgmIBwIp;~VHzN+X$JzLdjoFJ6=@%kw
zmC+Bx=4^5*+x??=vm`t8L+)z*-w^V@WZX|$AbSj7X|<4
zhbsF249o8T009600{~D<0|XQR000O8+mx?dd><{9Qbj>TO+_wk
zWUW~LZX3A~{(qlhoB%y3kyhsbMbQ{R;V3>wINNb;IcZ@82t|%|dE%0L9Ij;Na6liT
zPuM3ZhNSG3o8->L{Ud3)T!{+5fOMiITEgG*nMvEW3Rj&jC9$o;kAsuh^yuvJXjl|ap)bEErrr^a
zTO-2K`3A0L5S%kB9boA^EIMtJwiS?TYfV8*5l}(MB6#~?el;6{Xj{WCwX+1y!Ut`Y
z+t3IaA>Un&Kv)GQ+IBaSE30qHqS(9c>jD4y*S|sTsxp6|OL=xQFX1(71k28t@e)Po
z{H{6#8y#wB&~`N9V-1ZUh=oBKfvklOG=h!(EWDzq)KVJ+rG;@7mGFFje+3kTrx85=
z^Y_vIFxD2<8rhoX`{iFwL2aoY!Q6K^b;kLGdu268Pn6uajxZXQodJ{N4VWZXjNo)O
zA7|QB`Ej6}T;5D{6T_fJ@5)LqhXs?ClMP;!-@{u$@EXy=1sW8Dswj4Ri8k8%HS(mh
z>qMI
zus?I$geWX2`y<{iobU>M(4N8poJR8F1I(R^O22D^ZuDnVQE?7$ylK&Ev=Rw6HF|_l
zBfHjrM^Fo^2rRDAgGCN=2L{DDZCYi(gP03B*r;n;=L4rrQtLv?IysAj_=8pz27*B}
zcNmqL<4pimIyjE`MHhmzF;!5m7Vd`ACV0eN7B#}JI0Hstv_;{;3tPn(Dd`9e$|NqO
zfzO1#*VGB4Kc|q3=+m5$u{zTTTJI{4M4+wW*u0Y>V~(|2uFz*T?o%(Dolv4dN6Daw
z@xy~!k?mz7qa0~;8(leq&MG(Ys9XZwW^D8ZYUAm(Fj~dOBsuk&^IY5$`JDC?(1u?48j>IZ2b)V1}_Wh_%qM)N%C;p0#HW
zTz{xV_>SNVH^3d~#iQg~+-SRgkrBMCbwC+9FAV6W^=_RCT^YO0-#aZ=a2bRTMKQA!
zI9{WLeZl1%8}8QF8-cP4(luWioXW60F&u&PC<1~2ieP=<3mqqdE)2G&L
z&{K`Z6v_pQA#T@Mr!TA1-x)eRCf&3KVQitfZN2-ckZSuY@AREzu%fu=Y&2B5ruA53
zYE0KxGnk6NL&C?w(T!knG`X7PwIL{M9M@;OX^q?FcP8&^cCeM>F>8S`!2e3U|5Zwg
z%0>;J!eufipNP^W)xx($N1Wh0PC0DbgDJT6D>6FZ{NnfubDT5*W0&^V;yzgG6w{q3S37Stfe3K@O=W(k&O-)&3dgAfrndGfF{{(LkTX>__NZIfCrLAD;T?6ZVPP<3y
z(`;q1i1q#h59GJbLdBeBpZ99X;e8u=9OFGE6K3pDR$`v?`BGq_Pi7aLjaLz9MF{9K
z3n%Haav3ixkAhCuoP>JrNV5)U!qT7PH=_#WyiGhrxVziITVa*awt5ugcGORxKlUce
zJi#>$UlkG*m+sv>e-suUPdHIftV*Q4VGd0RN>)
zL_t(|UUdCS%zo{*<^^42zTetw*T%Suy^073SVk=%pjE_#u9W~P4Z|UkzNtjPhP1&$
zXsQjPi5e1YXwfN1B+!u(p=c4ICy8J~dWtO-ss#34d#`s68`tj|V?6)0nBVt*pJ&c_
z-{WwN!+o6dsXy_1zuS`3;;7=JRVuFeJXg9~RVB5rxk9O`r7pGFb(->!=#r{UDP&tx
zRYCJ`MW8++bX&Ygqp2$uGQBUnFI_lA$EuoptyZ;E^-!kOUC6Q+beOm4JXOGS&s%EK
z&k-6e%NTrLwH~=nbm)?=v}-)iW4@vFfxAq%f=%eGoP~_lO}X3;_LRGJh@6o*c(-g{
z>g+vmP`k|NZA|ncPl2HULVD93t1oO&5d4lU9;sj78=Rp5dZrD(lnIU>K7l^2-nL;$
zdZXqit*MXCSVwGhWPek3w2U90n4-Q5uHUS`N*yNX_dJi@REB=IbieqS?^*I3#+L9z
z?H)OWzmNZX;H2@{t|MFMlLH3t$7OwsFJ&6l=Nc5A$1yv&T)UO&e_%Do)#=~|oJaXN
ze7PhwvOap>mn%V1C#Rvikb}$iDTE@{rffS71fCnKP~=+tuV3^yJ~l_482N-l6)CG!
zucXISeiIGL%sICs`un~r^5IZ!N?^-@5<#rTrMG!)^r*%9B5T`9?~A=S_pwTT#;yJ9
zO^hBLtIGLcSQyvMbwk{;P<805vF&5o-{q%^Cw3df7nEP4IhaUN+Lg((r#`fk`>vhU
z#=l>ZQS8&Svs?3sKA?^?+=c79i=|+cT4Y!QQF{ILP?f<&@zc&WPUd3
zVKovY5w4!PzKIOR%r=ewCFs5&6N7&o(IF0z#@dJJVng(Qki-@y*&vbqXzgGkt*%W<
zDq|&_rbS~`&&t#8%si0^97;}5N5nx5lPm^DTYpcAqi}3Q;~)K-PMq*X)pp*LBrpt3
zz2y#A?BNbzblGx>%}ebJ6v({44D{R*p31D|sfSu-~Jw0XANVN<(Z2iwGvm);#|=C0nW&jMB_%@*B+dp4LG*I*UJ1I>o`lL
zjI2-N1CcEs*x2`7eqfA5>npqn^J+*sdZ5A+GHu~idG
z_Q&`dwaWfy)qKqdmc#dQY2^&Si%UOrI_QvIybAXm!`i#hK@5Dj9x=cI5Esiq*#LLb
z;e$Ltsft_x%aVO`W28K|NghO(U|~B%$~}H#<9}puJhbT%)8qy1NsfD6lOD=0=9_%AgFX
zThgO2Ln9|bYJ?vwLfFZ|f}l3nW0Y5Kg0DUenc)2~Qxeo!_%j4X+8{5+u3={e49-7VSkxZ#T(?YvPVjU>sFq%l|srz%NYr{d^b&o(sg
zi_vY#!D)lQoN}0(a2S98&Io+C9OMhMKjaQx==@4m;Szh7iu)n<%?LF1(sbHNdPo+f
zNjNR3zsD-m+y^FMq8x>cPev<=hbNuL&^eF=og^9J`eNvKvV3a~S4!Q)2xyr`J^lx+
zkB&~6W|8EjlT5Me`@XI>0*PRyA%(eX=s4=?zhOu--X6`x?_15xSg_oV;Rsu;=Se5r
zvc$?BT7uOW266a|uSTXMr0J(IyD(+OsKg&%$ET71eZMX5jcFQP$hlFGvDr8Xvy^d@
z-+i<>!RR}*Lb{Bzi@H-)bg-))bj~1WXUsAa
z)a}p2!fL{cRf0iSeehNq&3#J(#o}r5Ap|l1SzYxB;;O
z)0x9?N>!57!{|`*NGQF~uz6qC8IYh|5BRvW>zANKBh{_9$^q>n5)FgPn;+wN)l797
zn2OQoKU5e!5mHV><9dZI5)CJ1Z#|4=U0=1{&sL0^xcTUBCj>Ec4BwWMmz^B?m8tcV
z*du01a6DgMqvMnq+qtKnK|rOm!|gbJ)gwJSl_eVE2@L)O6{wlp`;JXL>++7DOwU$g
zM&a`qo3yomp6yJvn1;uJj9;Q*eOY3*NS)SRA{nbQ!zH;k{*AANw`sbA^Vltznsd2~
zb_`bJHBHHl{Rr9Vw45M6iDx`=Y~=5zxQ*#74-EV?y3~uGD+wg$_W*wTN|H?C9%b%v
zM%)TE!_xjZ_K;oFa7U|vM18rDiJWu1$sv&=JW23C<0_kc2a?is96WF+$KqA1O>Jz|
zUdm~RwTK67c2*Y0jjS2&tnJV>_pcke`O9=}d?>lb_K7S7X6u*dFW0DLTO(AH;73kk
z()uy8cWu!qlg?#P?%IjG7oXb05=6t;-Iv1mmf6PKY|?1sm*DVma6QuWG?1nI|6qpb*$t@#jUmLa!O?!q6!DKqWS5}`DcAE@GJg$D9oe&b%9vz*+
z42PHKNXF9k3)||M!BGnPo8?aK-mGh{n}USTRz}znG(x0alSBx(9HVGxh7CbBCxDib
zzNSHmA&%0odmss#B(^ak#_lK@nn`xBjDbti!{-Ie%MbpiW|l!Z)24^sXl(~AX{Lc|
zdcPRQcgM(lwO)uD?nmC
zejqmpE{zWOO?O)J?IdNio+Ep3LR)R!V{0GfYXI82PqJ9J*q@*aeL~hr$f;A
z2jr<28@T=}2BK*jq~lBE<*A?8Hhxv4r^G}@RexzQa~$8Ol9~?b2>vSr(7AFiA`S;=y?_l$Qc}6ISqxE>x
z@+=#%P@xyoWVCRS3<2&A7;I`Nh9Poro{d8=fsU-ks$hIy&$7=hUSY#`p-~B^e8u_;n1g%)pFIJ_NH2#holSP~ZC@
zY`E!M4BtwYv^?aA;hpc?|A;?3x*qTqxwtvsRX`f^+fhAsO4QjO;Kjx{v&CjHH1&Q&
zLDYUiAG}Pm;zamve8+z0{RanY>FiNDWrya2C@#~ADbry_-ZWf@u+7vR#2mjK9l_Du_BQmc*+5U-5$l?pfPom0A3HgPTZ~8V~3PK`g8q5
zM)nLW7LI?*@MH~FU}0ZX*3Kf^
zG~DLxOWWfv)@)28y&xHAgf3|s)0v7LrJBa#K_7=!gU1wX92JL`q?d%`UH75yOl+B;
z1I0lHeOv=$s`Y$*`SxfEaK+SQENuj#e>yG+Z_20~q*gaF8H&IViN@HjQT4jAC)42mXnfQ6>Hn8(xu3fka>iUY1BQ^uLd#
zlElPE?3V4`ZTVYtHteTL;^f@@ihy7nb>jr!K3GD(I}d
z_>V=H=FN0l>h?YlOJ!dEyRllBRD#|to0wVhQJA`Z^hiEpM4gxhbAL@f1b|K_1b&h`
zdJJN`r7wPLBAagqU7x=G;@G6`hFtG!N;3stwX;1I@+@oMv)D6urL&~TNAZ7?Y@K}^
zk^AKOY4;VJn5Ohd^kMB8Mu!ZfCYYoJww_fwfnvMGLFie5nRl4G6Cr2>#hQfbH9=#H
zk&f#`??`4xX6lvuiPBC_8jWTnk&4ls%Vr8raWcwW=j-@lavilh~>hxog%<$5=T|kK7GRI(ECR
z?a`-YiIc`|`7T(8cj|OAO9O{s)gp1o%m=!t>|QKutF}Zp8#fzEHnQkE-4HpS(5Fm!
zR>nNeasqW+&vqTin`_7SMT6-?>wDF17^Us#2>-MyCw|~o*wH?5S>49pc;iKgw4I37
zu8GE8CO5{R9=<8tHno#tTQ+i%)}p$JUTQj04D-P+Y_`t&VpS5ScSU#XRN<_N*-XKD
z`3V}?lL5ACH@LN=*Pk`h;79ky*JfG=e0tA^ZYQhz-XcTdeQLBVGn`||`FV^nP<#oy
zJAYW;B<)BLnbLV_eKr6^yhy?09>D<6LmNNZ4pda4(?G01
zPM5`67-!S7NCz;E#7c=-f^r~Pec
zcwtG6t5Vq?HqU>?g8#b1xSEqM#ImE@Yv#Ehyv1}p7_&T8R%+URXr+uO_gMG@m=BLA
zZj$AG;i!`&M?R_JoQLBWF+I`GMyvCvX**GT_dYT~l!T0`yL)K
zqzAS}3G9sClW6M!+ypc9rAXz3LwqMWW$MmX!H)8Am@cOMLl%RY+$J*@&pMS$mE1@d
zcI#Lqa-N<09zna-I=<<<49*E(cK~lv{2_lpqxqW6OxBHFY7+>>v#ezz(ZNBxyKg27+AOV5`B)e6OrDU;d&5t>y@^CPE|
z8p$dRMMRHYw%QI#v3tq%s)W61gna?wea%SZlk16VHp7}8F*Y5HAdp6l+3wzQYHcUo
z0#e`djr_viF?11|Q5eI-ViG*$XVN=Ki&2u~{S{#;5}id_#|-Yx9s^g1MDQlRxK1`=
zZHFjytbZE*#mu&MSzoh`7I*!(D&Lo8Xl+6^?#)bxCA3^P_~g>ai35EeBNNAIyxibo
znb;|V5n`fwf=VNU|CucQHTtYfmNQIK%z5cv9I@N7eH;}eFJ`$BhTP|GlAm&MbG9Xd0Z{M{#Xg(h<^EYb8xbO|7S!ao*{@1!O_AXheK_pG!2MWzsJK
zv>8soAguK48mh5y`6#Gu@Fhk}r4hc05eJyIC+y%6|4Jj{3+n>s;C=~^xm;OluuuaT
z+9E@I#G|LJo6qRFi9@o$UD>Qb1E{+}jD!>MCT-E^G%}pPh%6q-+OTtwkgg1^eNjvO
zh|K2FaU45X8j1A{$%$p0jKD(hkt6oojiFwn?Pf|mod*17#4qGa06bN*NxM0R4ICl?v}&JMtbB9
zE8D-IEAq3+wMvis9r%N9SO>K?LpjD_G%yU~!Cu6AuGdBd}>>mTF=<-SZcaW-zbowPZMje^WBhi1y%Sd3nC
zv;)dGxHBQlv^G#<|rg$J`aNc7h?H9oi3jFIJTIeB?6
z$*ZTnq-Oa=0odhkBO19%EIAIYMmI9l
z=zFJLBd6`)StchMIzO=+vJO5rns3e~&yDjI@J=6M_g-SHU?rwF4rBK
zJHw-OKb1-kn>*uqN=$>d{n+0T-7b_^fSzTyjR(8o1JBrbuVAnEbpYhvefLE7Oy%1i
zT>pW$iiQLhhUGqWZ~%~|IWG8Z4zyf-^De$_eOHgl=F@b`C=X)HO+i_L_(1L5HUgt`k
z3RmP_!%bPdZF~fID~*4YqW<$d+i)jIkx*uhN;rBPzEEcFa%2FUBY|f@^g<^F4Id$Y
zDK8X?Q;QMW>gR+5ae32;MXtHmT$k`#)@g@mIyj+Nr~cSCSS5P*(X(9tX7m?(M~?FW
zZm}^s(pY8WX7*=WRA#N%Rcp$Nv!~*WQDk2A5Ref_)z`rFPGFv+**gIJw7vn&X)HemD|jzu>p^lkof
zC+!D&=G1EB9=5qULa)*k7K#6dS%~#3%G&7cNk{>md;q@_J_xfpYU-Si@vDI*)%f&`
z&Q{wzT#*?ZYc{(sWlX9k4xOH~
zvH>lQ<~nwGN}CAu4WOqgDML?m@DI40`1OgFN7Vf!j^+TBD^>HHlteJER>6ZxoUH~o
zNo;g=a_l4<%JnG9CEqh<;SH_%Yv)XIu|3YKH=!f1wXqvoA@NpTmaX|Irc(dY~Fo4PO%kCtMm-a-idC>!5=^-
z?po`mX&H`N0w)w$e2J`s(ODD5c5b|!QA*^n0D;_yyRLosxlxIfK?Qd6bb>o!b~pQz
z_vK+rIX*o#Zz_`5c(sc555AhEqLqrH@GFEio)=Tza|QpvV|^l{%NM>jPYI+9Rd&yg
zJ3QO@^F=SgCH^9BWz^$h*cLUhSNIG91cw>eX6w%xbhHUzAL1k~=S=|W;2r%U>mb6i
z((rP5i?DoMkk{
zu{2j7@7>5!x0fgO4X_DJa0b8Rs)0r!Zhusj)@kj
zDR9}Zyjj8lZS-b+WI8b(?WQN><|PdC2c(rf2wWprZjy}Od?b^R8My#DN13K@pY42dE+GxdvUoiOy@3L)-xqB&Q`7vy`pRM
zrSQz|c$~ofGovGIGN>woC~lR`r#pTQYEXN53)a9{ypZSZ)|(lYXUmppBuq!3R=ePOq<__+a;Gyd{_^~=ToOG!^{-)H*!aBh)(|vTy@v6psPYI3sx0A^p-IXpFQu5=@f~ktH^_43VsqDK{J`;7qX5
zm`rjQtu1$ZI4Kd*BAT=sgZeyNw9=HVKJ!rO=`5_c<3@k43wTxS4Cg{URsgY!XYWxe0Bpcu7+6}Ydo}@kmmd1t5
zD$TE&I9i&sMGm??~ho;1eV7gVOQNe)zdgoZ+vqbqU*=`
zl>*z_z{CbVb*Ja5n1Mi1zR+cCBEN2Xma}4CiG%}wF*w8{|D0K{8KIjGEb>purTCMf
zMaNSJy<_8R>#+rL?jQ~9cyX0@9kpZ7_fx*;Q1`Grw5L5AgK@6$t>HIzr))M-CZ|C^
z*L)#3FU@E2)|JJ!da~$Lrw7v0)TE(ZKx~J}&T5|5PH)J-((9SBBdKZOSY2m&_Cqu)
z5~H-zlObvFT^Pj0lc*x&yE~z0`UwsNtpUwEs5ze$H4f_eF$c5rowwVMiIp6{BGEx2
z>(TZZoZSdvQG6Pm)ON;8ynWeE>ADxPfB<%;m
z`1nHjoz7DX65B=gI!WN|$ZK0z#Kwl;*#-swO!JD)dE0e3u59Q!404vd&@*GF
z+t5k)u61_3Frc0urfH}8B*UuDy*H~=iXXj7bWmM>-~71FI#rVsQTp1%wlpil+_q(M
zGZAG>952Hg;BCX?Wh?bK8%>TeX=`9tM7YyYza8)sWMGTGA;+c>*7DI=X?U`)COYTw
zyV28iqrdRGfgs+8Z#nOL0L6Wzn~sIRfEW%Y2Z&&mQ8bdceg<*Kq>T9CRYjf}byE!0S&SL%j5?<}BHoO+$!Nu@F;sT;9aA4Vo0bj0yrS
zfIUymD1JuM&~>NNa4vRbr*mU590b+}c|ICqW93bFH+h+Y)in*vm|=rU
zRh7QKNg5GxVH}})~PvC+1^?}xV9(haskYidOTEX2qfj38yxaQT{TD=@ro6vmMhwYJ=^c61y
zfC1*?&-xCu`rz!CwC*(>8}!hT0pCg;-%Uc>wen1duT6bp^wF0nD+DZ3K-
zS~k?RD14HsUkP19UK(Bp(#2v?zBL2Y+5YA&^{2ChTx4F4IT;I3T{84
z3Et5W!^vt8%)!Ce4Qv8zmCvZK>dBAKO>!0nYsKNrA?`d1lRU>TB$IW91PphBG|!CM
z-l1uLU2q%Hp%o%YGUXkf9uegFCfW*)Z+rP<5+RN|dU8!{fT59?_3*O8JHfnmIPiDT
z$k>Zt=uM!W1T_f)o6_K0UYwP3He9qBHLd#@0mgQN|9c#M@S)r^Ag13UNyoXn9XNJ4
zlJwcbjCxrgbsr47g&J6F}~@#?ld|<5&@k=%XyvT
z$Di0(O{v&z00$rB_R;FB;bX(r+Qag!p!?mvZqpK6bO=1UcZFdy2gWA!x|ya;XD>RI
zXAFMzt8Z@>C3y;$Vuy_Uzh!=f{-;wFT~lV|LB0&ON^0=VPU;$*YTmDqykI?izmxPK
zyFLL9lnJgWJ3hoFRv%o=yH?QgZFvhUgJJWvY!hcG-<644sOBE`MVv!h^I|d&61?fv
zn5|7h3?sN29TBAG^4FI;lOs{_ldVQ_rNTZgBj=>!mo9Mf(%1qY%>aVpQ!kiAzZg@Z
zsr8XH^E1wHb@-`|?1c}=J{wN9pKgWx&q*kJdetxq$^FixKh;1oi@@ktup!k>Ke+AN{q
zBlO}S)3Y1Htl}o+WIudK)Oy@G@I~r=1S^V+YNobF94KbsHnN*w0S0SU&9HRUF0Y;tvSL8cgz4$y8|S()B8y@~qW`ZeBf~{*GirKQyH59q@S*gz>2m8Gl+4Oydytlsx#^
zxm;#SdnGmUDAV*spg=e%P{7h5qJ|D#*~~v
zjxB6s5y5EUbB~V=*ZG`89vyu6{S@A{E>CiE-}H@#?bGAmATTZtx`E|QZ_G4ujCn#6
zr;9#t#CF&bf7v5Aisowbr24F}BTq0NAFw%9v`NGF#Aav*zt6<7^4xc+M6I%mauR%^
zkCkk*Q&&V=iZx
z@>37bHEZM+y_A_sN(rXrry<4>O*9<{#7gjjWJ#*8eJyPi&}=Xqb<96J)2L07yX8aQ
zS|ExY0%t^B%Z&ki&yQNc#C)JTi7LAFzG%a}uyBt-#8L)w@-KWN$H!DU6e2THK$98u
zIN%Qs9_`(`rzXnT9xl;}6NPXvbKPy|!{Y~uKf|nFo&j@5*6tefY>l5wquh
zzh`5ai+*9h9YtDyb58DH77?LKX^2~$Bu0(f(F-mUdyI-gBh|9ZN9JC1{fNsgn@-MZ?QdSH&ehWfl?ND|lv%P>a?-Bxz@tKznw
zL&Q#9m)Q*)urTk?2T&U@4ysvqh7HI6d(eza=o8hLrX9yvV|D
zu>%j`+(HI)v|8K;i{Ltr$}aXerg?hw5i^M7WDKmAvgS<@Z*#DW?`)zwiK;KwU^}xH
z_(t>v?*yE$XZq2GHEzjTAcQdCS*)pD;4RAfNb34)Y<3bgIAYNpTb#h9{H_Xl7INGKe(>x`oG8;
z8G}VSmx0chg6m)$`mjd7s9nN;X-pYlY-^hzB}zgM@6pFT_7PtwVBf>6H<73Arkjad
z-^zxsG=k(FP^sZ>*<&d+>j!N#)L_}kJIh1FM%Bak(>CMgoUdxk)MYP{
z3}&fR3_c_p%BBlqA*>%&k`pElB@f0*gUQ%+yko$l*n$gLut0}XyN+-dGv9Ye3
z(@n(j<|i`ZkebFTK4mOEeNtSGUwIJWn2uKVOZ>1bUkE2YMBGqOMP4=}!6bq>7j|PW
zwVtolDSgT9Y-}vM{L$-RJYXdU(Po8i-eEzQOugwRkFQa;C2x|3@Z^OIPLq$M`V+tS
z52%wg?1T{v3k<);shf>Ev&K?Rke?%6|Jgdi
zDNS>okX`DB|H#)KJxNOV`hH#((L(;k#bo{c*K~|iy~()ng6;uQN<#szDdK5x=#M+)
zAYmf=*kVL9om?9y`=H^YQ|Z=|B>6EIW>PJ~sQ*c6{6Tg&j57GT%F*-iEHQJycVAd6
zql8)7Nypi_LOUV
z>HMa`Q|fP&0<@H!Ya~Um`SV3
zQz^dTy#euI^pAL~t4D_Nmm`&NmnJp2$zh2Hv!RbadliMzf*&l@t@oSQE%F~cC!W(-
zAk&D2OfKb5j|_h>^5pmRztl1x2qSOlE39UZ&E%JpU(3a<^YMSHumTLP!AKwZUShlBiNJ+p@EB^H-cBbI46tRUakN|?@XP{I2
zaRn5Bq)8Zl)9AdRN@r~rFot~s*43Qg1E3XuNM?#muRKlvJOj-(LJQuExc5=ckIsi#
zBzV~D$Mw(%!y0LK%$t7(BP_u$KTz3h{>25EprW*Q%1bht1=DX-UIVSc=y|vOPlTE;D!;m0w+9Jj)UIx-=H@0#O>oPe%$7&x*oPoc&4x8D@-p4zZrVt?`-{2knvK#$ltN
z>xOU#lefQ(UoaESLYWj#LrV$&jkD%aArcsE=&`xqBxr2oxSMS!iMJE6>FwiFZYbgX
zGO|HmH+n`t$HiCaePfHtePjbFH$(wAK~>iN5j*fnw%!L3BP8*Y7=j4!pzP_?1
z>CQ#5exFC424(7`gCM2HukDy1X^x4DY`g>?&&Yry+IH{H7FRm47I6rFo!#$gJQ6d$
znlA81wUNJ@jaKQ9nvf(q+vN>>*3Udj#&W!=WANB5_QJ0*UN)+BotLm2bZ8P_f92s~
z+a{RFvlZ&G(~yLgYxi`%Ezx#dQg#mfx=sR0k=FX+dmix;4R`2QdF@x3bx1rZ7(o{w
zOarCbnYeH?R^}Tjc~sLT53r8Sy!p~H;g`}p@h}*)qptfr_dYuA?1p7`jCcw3iWo6S`t0D`h!6{k|=reK9%B^s8Jx4R*J&^-^1S21he`zY|cA
z!bjpyBF{bk{^n=Pfg*?T+}s?jtVdn~b!;WuyTl8e;Cy|Ow`#av>;RvVJOcndm87o(
zm7I7zjmI15Cb>x}-n<3aV@u@+Mj{BkQ{SF|cVdgcC}RRXk1>#|c>UtymBwS8CZKeB
z$rA{dR%GH8uT662b%`yUO*ZN}0%m|@^T&_c@JPyWP+>?5W+PsGL&T4be0oA?=bG!a
z-fw*ZTNB+c0%$SP9gS%P9g#s#z-XnFAnng+DpKwibow@Ma=9k%%~jjxXle#N@5^
z{vLjQlb?Me4Sswz{z$JOxYKwS{Cw>qxgFffCR35|lF0B3+s-`wzx~5;>C5J0-^*z2
z>gU>_$7@~ZhgpzWm@;EoJ
zBB35UN^8Wa|B_@2I*}!D5QmwLFS)^4*D!NU@UneLv?ZdxfGp+qXDLo+5
zhTxu732sIo}y3;O!vQ77oFej8{=&gC_}Zo5OG;PM2ggtAqh&KodJ
zW5#*doc@5F;Ti=#4kDa`Y4uR)H?rsG?NQ=Dg<)&`gOdC+AQ
zW#f1%+CPq!2xRJyhBI>b7Mt`4INK+knJa2Lah|;r3?w{L
zz=(Pzjg5k32RZu)6j@)yW)(eX)?1g#I`HC1V8wfGW+Fo>xN&qlY1~t`Cu3y;>N)-O5XT$oygVg<(xF6Cg9KS
zQS~#KB-X;PPWR@rDxN>q#o#u!Dmp6Ug283G|Lb#`OS<ofaskZwKA9vx>TP#_}LXM{b@fkHFA
z1rGF9Oaq`?aX*t|j-W8#XFVfSctvr*3UEnWE=qEXZja@?hl^PU26MwFYdF@$MjWt&
zywWsI)^}BlhPjr2p5Pzf$rLL3z+%uE$MeNT#7-b#)Dpp#*PK!&cAg|_iB`ISoRR1>
zru5b$TRKNj@IHxD4^7*!awGTJGs$BYWRqh5V_&Y@#fmb=`KwjWSBR_LAcfq5UN9l(
zlQ?aU*v?m;a4&%yWe*u-QzCkYyp_=qW+
z_I2+O1GA-C2siCY&r&ubnw=#_<+~
z`tSk!qCYEx0f~gINpjJ+_+#{T$)n%XIT#0_)`ve*cpykp_6V-9%|_ViTp=WJE5#<3CAQoKU^|Lca{Mydw*9g(&79-6>kE;|S;8}65usUD;^~f|XKYMz
zKs|mAM$r9!zfaHKIyC;fHLSZyvnM7qfbdgt;Gr$K0k^)(wTe9-@Av1d<%HZWZwOg3
zSr=)9e>PZTu#WV`BYp%3Gj)Ic50NXgE|SzQ1C!zA!{Lsd{OOzw4+wg;3>(QVnl@la
z^}f5qezhB8C8_?z@BMCE+ZRqU3*Z9>jbzGqCo%cj?BF(`p;aVhJItga$Zyig6l|Of
zzjK)?9LP%KQskJ12gZX#hI&U^!s4)$w#rzRrA=aU+GE04?ju$6b=63O4?Yt&v7x;uxEcpQb@`q;PGW+
zfn2Av6T9VXVReB>P@^{(#L~EOj>X&;V{5T?>CrUzBz5_HVC8#Ifb{i&xQg5{c{+O+EX4KAaRk^u@RW`|$KJ?eYKawJ9lx6o@E*IaH>^yS
zeZ{zXZEiJ&$5$vDa6Y`1!JN->WHwAlzHuRV&EUgDMyF<4I+o*R0&c#n9=uD56rwu$5fr
z^>wGG<#hr>GG0S+^%EDC7bPr!xnuXb)2dULK#u5A9g^nb)O{7TzMjD($;7xU+As8{aYX-VjS=$U;YuCCh&KfMiic#m80+FW=V
zt~rxAxx&2r!h)rEihYd8XM~wLEDk!MUCa-!rcOG_UD0@(pA@I8=>-1|7bS-r|C|Qs
z_#fr6hAVh=9^K8gt=smLYc#>2%
zvbnsH_M+REa?3}sK8?pZX#{r}U)gKHre)u%^6ZQ0(mlp@O`}va1ZD-_4=cfGg0WQW
zcpn=L-SvYi*5gdw{~^L)TN%wByU(xTg|r(CCuD?|NR;u@kl1$-gh!?mZ8sAwi-giJ
z1G{VxGP}E3&i8|RWNANyF|pp0HX|pt^%>)hiB#i2IX4`^YuRLG&jXQ@Fr%|%emusT
zdWnk%u|v~rNZ8oxTD@Sf+Gf|augu!FKI21bXd-9)Ir7SwPmSoFTq$=*a0P@$ci<0R
zW-$fP_v)CXPhUwLm&Z>NU%k`1>#siY>f}sdUR}oKKU}k3_zm(^dnbInY4EV*`)!t}
zkRkb%GSU<`j`2ZI^*7UO*v}XwT-lV@q74$UOzagob6jh+i}MT+)2Y}Jmfy-BH0>LW
zU-{QO(Yq55rknadQZ_8>uQ`ohPEI;`!8W3P_(3rz&SQJWxJAEHHh`d8XA@vHVg>1r
z5>y@q3A)h(uO9Yrd)qymQfLMk5sV4YtDHHD4Kx>!?*tgH>ot5X<7Efasq{v%RH>cp
z>FpE=tXOW?{jM8`Io#RV+okdo62b|BPZGjZcfBe`$>W752&V9-kw_s^#EndzzQ{RL
z()e(*v5yJa$*XFxQG4_sc}fhL67a@YIz0GR>KJnV+wlDQCBIvojEy1vgd%Vi&gV4F(`_ewIu&x)j-
z!yDnU=DB=cKrOnY5g{Fdh;AD#5B~TL=T#)#Vss3Ct#(SuKBUCngYO6Nz75I2TwFac=EduJ%zzA!QxHs=o~Z^!Hd{}12g+?lDdzh!g-j%37s=M}lhu@#xpIbSi|
zu0R(>KYTvZ%fXtuO$Xkj$?ts543o@c{4+L|+W>bu*;6q~MF)E}4pP#tJk!||au)_2xyp41N*(>jC)~k(B-S24sd&!ZfcQTKfy)#y
zkpIJRbQ;+UuqrbKc9hh~JqS%>H(-{-ubb&prjI;wE$P`uN<57oZ$eQX&WSaK$0+MEnbMO`+B~}b#zeo&ge4ye;xbH?+g5IueZ%g64DIh#yt*<9K_tF1
zBbhu(2sW-Ahx2!1hE5?z&~&>|$nNn@UW{ABeY6JCk>&^!mMR=(0|1bm$5l&Y&Umq2`YdEKLP8
zOtJmLU?q89LG}lw5n3etIb_#2w-i1{-S}s6X6W@B5BBk$CD9SYa<6|o)_2)-kKB*l
zVwT9M!pWSTZj4x_mq$KzbkN7#`yLw{x)$+yP)-3tCC~!={k!`{D
zeHtfbiYy5o5Mt_mU)H>#LA880xvcN{pRb)?l2q2s5wzPKyUfTO-od5>_MxBr7x@P$
zR$8+__n)B;gE2(9pYCr*?&}9GVCO)pV
zFhD6?Zj`bk4TjkSL(*M-X`Be6(mb-UK)p;CX7de=88nhiT;#|Y5HnR*(LKLTmrTD6
z*_AgmoLr$@?G9FS)CO>53Z`X3AGR6v%KIg%^Dh36o1gMc{@-WCyLSybJR_2=e9Xb$
zd1*%ZOt?lysXaD)J=}V&37^y|XQ4apYI9qr-79+1`wmi!X!{O=D
zF=aPPaO5rYRp
z1c(fyxDrqtyoZV0_*RT?8WLYf(qwZ^hC3MDPRIr{&dmqMLdN@;$0q&#v@sYp2N4{4
zWK9sKF@JbT1oxA4CTK9`n#^@4z$%SZ%!nnKaje$M|CE
z;rsV~f7{8Fi4}CV+s#=|S-ydud4D_;TX?qGY
zLJN-e&u#Fc=G^C_6n$78LG2VSd3m9fMC(qpu%8>YbV$GrAM{~@w%hW~Y~?2g{H>aE
zAMlg=R69G#eieK#RqE_3n8tCI&x&OY-_JP2m{F-u94JXQU$^nj-XK5H8LSaw8Z@7K
z5;FJ4b4LGk`%=fg>U}e%i
zG&#+iy_Z(;bIfTA-2B0NFy(6{9wN|VdSB&huZQSCX&w;_0TWrX@ixPd%^n6F4#C~h
zr-M!ILe>uXU;N(hrg?*>2_|{`ro%-}If5*~6&f~#6O02Fz%bVI+DSm6fqi^_>W#sz
z1+r{U%hN&_ICjp)l{D@V?Pcy7BL|QMs2q+HC--z(HnG`=PV!4ygC9=a{_X0FN>hGJ
zMnX^hKpz;#w?H7csF{A9@*ZtD;9dEZ^emtx?qKSMt>4$n4Wm);i34HNV2E%dudR6G
zHn8@Gq38}=f=3ZCL7Aeimjvd=g$_9S1ZX+~itk}}V&{EVsh~cFrozRStIOxauSr?n
zGy-d*OM57Q4ND`TiLDTMs`>W0KaWdYtdITiucn>{e2F<|at-3p_|)~ok|pWRv;^Ca
zGSRU;%MkwZevm@`#PX9ECmy?#$TZWy_B4!j@KZWghwn$cjeN2ube5|RPd)Q}oFj4A
z5P@FsFl@m&5N>DH4TkmK90;WpQXW-Y*o@E0f01?7+~39(N_rL{+bp>V`{EL)XH>%%
z5w;L9=H2Y@yZH$@MmPoq#uv#8IiT$&UhF+Kai=^TX|7EDvv@Y2ktOjMeNybHDm@=9p1(T*6-sQPOA&)bJ=T=cJrA
zoC$wW5{HEkY*=8b$2XB!50#Qe`)YBa(JEm!O}#65bow@z$m)L#3x>_~S>HTSmU!4>wEMigz7$&LDYn>-
zl8*8B2o>dHckFB3sX32I${mHoM4enN@C>Z!__i^$jL^S(I;K9AjSiQ7$S{#DSBu{Q
z7#fy!F2qUQ2%SQ{yA{j5yyuI?)W0w=tS6y?n+T=^d5Q0*Tx`^*;W1`7OK11_YH$rX
z;3jXpE%CU_{ue+T1X-&TzEdAl$!tQD2vX#W*a+>ZA$i5J<#%hh?`yO=^Cr=kHA%%uFFQsj*c%gYVcvm=5wKABkyt)_!eLQieENpy0ej%V+)+KrfDKx#p;0UgIEx>i*8blASLT7da0xiVs4EZte^F1Y7$#S`%Nh
zVXJ(x@Nd&R^eP*ZSD*O)bV^5dRKZVs^!R-5L(}-W5eqH87gWd>S+1D-htVQqgFCF&
zzLGoDp=E(S{m}WPe{GsMCb2)6^UydYM=Oltv)urjQll4ItZn2D)`(R4j$bPNnEWYq
z(RoC-F+VXjbnqW;At!g^$FoOZXQ~&QAF(8d$nyGwy%cT5pXd3&3nE6K%zN|>%H)U0
zYYynezmH9u5dlp6jT}P^j-F`E!WNB8rpwC#XlDdat_RGKzx-u-MQwUXFnQt5@A>s4y6=~{IH9qL6(zYS7GE^7nRE%u>gN3JGd2bYx7`pR5R
z$>=BSJv#fos?^PnVu(HlHN}RWG4bJq4xO>T{bl_bUanyC9PI9`u^s5vBnV28ynS!=
zA9~a^R{Jkvf{ybmM#TH2t>L|-@
z#rxJOs>UJWFdB)B<;o
zihUBq_F&UMe*ew#Mx@;zytv6}%ELExF@o`)rw)RjYqxr)bxkmMqkQ3axiq$5gUfxq
z^E5K$is+M=bR;x771u?K8WYV+r*eGQ8-m^5nA1AH0!EVEhBR@XgbR(-Kl<3_Vnk1}
zX%i^c%uR3oG677nv4cneVOLM=za1-CssSJpcfX#5F6-lR!OuJ@K9*qeA7E63!nlkLey*U1nnL*x}90Be^hqkT^8D?L(2>
zs!gDe9a@ez4{D6KWlj>%4z}>?@Ny@UvO;#^^xDEyDUz6$XA97ryBo8X8@+GtiQeN3
z@z+D<)Zf9U3$(;k{pk!N-bemOZile%5yuRGJ@Wq$-?Pvx?-&dGaXJmqc-&zd4DhSi
zLHOX6(@=nK>;qp9%8Y9UGOaSxNg>}JFj87%Mfd>vyAAsRjN;(zO(>s5@FcL^cFBzPO%
zZyb7Z7sv(*u9?J+FjL@mbi$(qh6=8!f(O8$362Tqs_F3sZfl7H#bxsYEp)zqJU&MK
z(@DT)dHf4D^Q&8up3?zazX*@!ZB@wq;em1w7-!X*HUk0U?n#9isZTNsfZ+*jRV1;b
zn+q)Y<-5FCRI%^i)zw(ACY}M90Y(bQCSY
z`}l6&PZ2*6$)J)*Oj+O4X!x30!T@p;6Dd;@*h`!9kyEy%JK#jmfj+YcXow7S*l8@Q
z7)0Q^@!`=o0+u|0zy|F5CzbeOV)lzsSkE-?d1uHpd@h^)M9DXXA&rjPzjt1>YklrC
z^x)6A?E++>LAgAEATSiZ5S*-LIvKV0afQjFE(2YN*sqLZDkXL#&E6lAN}gJq6h1#{
z1bIY8|gMYrDTYP6XAp6`t1MNOff>dy$^r4e|6dp+C*fQPh!N?}m0CPXG?1!A+
z@3-Ffd&-Zl>0|`6s2ka#X@B6cXW$NQ^TMu-je}J;12UjW_!|t%%~D-u8P5&oNaurC
z93R4F@amV2#4mpDkGF|95u4e*aAFTMaDiXj>FKE=9L`)1ATJwYwtN+vDP*IdpA-D-
z5I#II73ADWfcjnn;khF!u_O4r{cgA;n=uL^3Fb9w8m13CK7h0oZ`R_%Ilzqt6F_G-
zcmnt|+8skvD2RJTfB^HA+!;(u#&O_^kYJso<%ahWZA(*l>|@$(00xeMNs$jnm6LiT
zQ@P>qZf2H@N90*qOuXeyO9`d~rfu(IrS}n9O}RStK7ebl!3OVKzH-EG2e+}u#1uNm
z{$ATd+Edof8z~H!KCr1{IiLG%yvLErH2l>GdgAd`Ow%KKMh|qj5Pon=;t4cEc70EB
z3zJ9va%nKD(@8^=X7Cye3R`p`$$_;}p3OvJR5e8ca)mos8z4~>ldhcZK-#36^<
z$JFU601-HsInM3;L4k^I{IEgx(j5P|c8V|I58)T!Q!*XQYYrg+O9_&2g8
z=W6)g^4N_l@r{0yuMW-Q`xAfQvb4y#V9=aL&nX!j=4q-i)5#CesftkLYPP>pT(SscpzUuoHLzXW(%?6-Q@cu&f3#{
z8whr~6Q6cKna>xE^zmJP%M#FDPyHkkdu9T(lT=B$w09{RY!E)a
zm>H3wMdSHuIxAI@-U8DVr1JXM#AyNzd`q^qN2Umm47SJW5&4|UlB--r#JElC8_%<^
za$VWIgjkPxTh=n}_)wN_Qg8U?-0b*{y(u4Yp6n?&x_CA(<&0I0aZE?}z3+k|Us}z`
z+26y<<-s*Ik-L@9a8CEme$Ist26v&)KCERLAO4Ro$ZRY>IR$&5F;smqvz47?naRs;
zKz$w_C0^G7B_DIYJ$uw0>`(rs!c5g;uc=EM_V;#nQzG{2l6`vUS-6(>L`{x_@cIN#
zB{6fA8QyyQNH(uXvrykzXJV9N=EtEY&`v`sNtsT>1*UxExnM37Bh4s+a^me%F??GC
z6t!a0fFE!y{RUX;$45NuCEWy=3u2)3!jX@9(=ho2&~q~mMg#HTWSE9^l{i38$HxV`
z{gbG|czf*5=_G0MfUjZ;=)x<`=F?!OPp60@(QsUPt!<}bZx`J}?N&#N`xto3!uG@I
zyPX`6K%^EDbZAj8mH6!3Lx(ZH-DN`AYojKTnFoFBx@EfSBj{Y)$*;ZMhm|YAcwU!E
zc&L)#z*9THiE|E@K{f
zM+8Ug7;(AuW8(7lbVyS;hHz4`pXcE5x3OPvhCY0p^p=02uj6YN4^>yhzx&=RV#$0W
zcXz42DAtUMkk#WO06)o9MS~zo$`1zxU*b!$CnOIB3yzj1C#Jm8ShIvPHL9jp*zXRk
zEc50i$&bQZwd2zh|Dg#0JtO=R&+}_`J^LM+*q{2)b4PviNCqOwhxWZ7RpTmPwsC{
z#ulF%lZ)+FiJ#2e^$l-;@%idJxA0BJKqOf^SGiFyI+^Sae9AbePiGV5i^Y8NeCLpN}{n0>%1C0$Em4D
z!F>5}c8Xx|8Kn`q3+4%)9sIOtizpLX<+dM3M5%dvim
z#+>ylL>n10N-{48sG;3WFKWy2WX1ygJ%w*gOmcNwHC^`OsfqFwG0?eI%F78~G(HW9
zBrV}T4|Yi+v1(b&;ySXmIzM`5`tzTp&PHCava-mx3AR}0?sQgT%ZY3JVYtLGq^f5&
z)57&?uEw5~%UG^E$+y(AsGAP^CR)w<_2rMR56C2c)T)2}4A~dj;)>t=>
z_c|}6zH#_EFY=j2skKQMeCP9G-SVRnE@lVFvB|-rD}lAUZS(E{)0S`apH#KE{l&82iERw8zl3RHtz|ocECbs
zV00!Ib>h%Oug-e6yhRJGm;p+YdsH~7r$HL$&Eq0f^1>PkueP^^JZ@ycXHPXH1@tDMbfmo7gyMl3J#oS5xkv(O2lV+%QCqhjsAqbRx2i{Gz51
z&6k{FJIY?1#uih@GgYU+1~+Am*^4oq?((h5Tj(FA+LVT2C~Z(?pNcyc;bMCjBla>F
z2E*+?mm@r(Ili#oS|_Fc^x-HCE4!Zci4CZ&()3P8st^q{bt|ro7f}
zUFftF&S
zvsC8qHavXRGJB%uK^M+S8MDp);F|E
zQjr)$5L~dbj1tNYtqrtJ2NA9Uqld{SCl1$b!$xC|;yJ$LJ*3UY)*wQ0MQ$c#Zh?Q5YVS=gTnX}F?BV?Lk
zN@#*&xdYRQlQ?i1bnKM`UuIxj=;SL2JdNYzp)G4(G?c(T`e=0q9q<5LdK`I77nmmY
zQo|UB-jL4Po{#v-O!=>!)A6>-*zTlTdx<|kXTq#}RrV7=FYjDIHq&&@bdDh|vp>iJ
zjZUFIGUZmEvPq~DGYCCL@Co4fI&14&KKbe0SP_6?=IvcBv-8tJU(#)oYr?2170=d`t~??=~d
zgTO12(4m{qsE2^`tsKXkZ`e$|ZRNf2*K-!F^A
zr-p;xGWwRK^mMZIs4pk}bUHLi@ppP~KM&7+vRchrM=coN}27tkBjDntUz!aR|o|
zrgJv==)|n~XO@U^^n?k~9sHpieMKp40Dj%)QBxBFe>SX3A_s>x7#9*@Z+98Ufw41|
zwFH@|S~;VS$Dwxa`n})#UD88nTw?xO6y88h2^1c_Gx+`k{Qy
z52s*8@KvmVk(>;0Vr1zw?&!V=^2bDb!uq?f6!Mk!S@XecEVy+g+uObdjp&qI!YqjSSdv07caRRraKcu@
zF_lLb(}=#QU6|E;bA_Zbk6JZB6yDx20F||gY6l;iSw_-#wwAx2!Tttw2w#+&n%6N53UT?
zcKNhVmmfRFi1GQ*#9>C?kxOEV+?|mQEdGWaf3REb>rzv*am3!$r4#4r6HmCQc2E
zB++rY`X@fhzeN;TC)TMNKWx$Rw;U&yhBmYf;7B41Fp0skxs&9cPLy*^Ph;e`O5PE(
z6roqQmYojfw$C@4OqyrJg@t&HrYV%C%6LXJFx$opoM%%o{OD%jtd2puRrC=AE3Zax
zgM4v_V-*dh<%wtIZFxA?1PXGurOBFUi&dA5=;F+vY`!CH(p2sOWdM&N1RG8-daRMh
zOpQltM`3ox#}0F7Hugy{7+&8`ApXXq?BtZp#bMv)vfI1_O_E>q^k^Z|r7zeQ{<(b6
zap;;$zd!7V4~8=ma#64MuY6(za}$&8Iw=BxyoPuaM`mZLGQDX&epv|fpxD56qT>bg
z@hRjk*$zeL@MHglkRAVj@uhjEL|8HHem#DCgs+j^RX4GN*x2V2Yrc0IAC^PxFYto4
z%ANk2oM77<$D=oV8oGy#;|F_x_+KUNA~ZjXJ(Z)mpAdMykcrztlq>Mf*1DVdOfzEp
zPh<|2IE)Co#GwfINOP(cKHoh{v7&f5Y{Mc|vs@8iPF$K6{yU9iWOUj1khOHj&ZFH!
z^VTZ)mElf*7J1&q5K8ATY>P3J`V=jd`g=PF4P0Z}_=Lelddah(cB*ub`C0|Jda(VRaHv&lHP~hu)(3#y~KdX^8Yj(sSc-
z%3BiGM}`5E?a<4U5=MwCqDi)HrsO*w(WJa)ddkj4!_0Kd*e$tPR@ki2v)m|o)(kV!
zh-H(YYyOBIi1YsYYzC{*B}T{DAyvL1;kd
z%BRyXOrg=*peO0J6+qY6}t_M-Lqln4Bk=ws3y;hUySr9AtM-l1pI
z7AM6AYH8li?2edVn|E%!a$~o0nR~Zid{p3Bc}Q${psyUWBPVaQdmiWFj4qMb
z1kk7HsmE^@41YI^B(l$YG2+(sJ=B!IX`{^ev{=e${>g6H@#B_d+);!iFJ&t7NN#jf
znVdEHiH=eZ+K|-sq~1GiQCkTRg5l7I#a9g`0tL}IsQ6|j=!`>bGHowQ6*;W=rXNXF9laSZdPZuE?ZN<$f*pAA}!
z>$0io;}oN$;P20FuOnW$y@}A^g-BCY?S_9GDpYL|dTaEIcQ$wAazkbX3&(R1l6Xln
zwsU)Q>5pmLJGkU~^!rp@nyI(7gKdnhk>g1jVFSt2n$tN6?z|;2^&wp4^~srMZzrI!
zwb~6_OHY$%!0mPfub;#p?AncTk<#CGO!lMVx9H+4^y7>1c=$de4a?s;Q_P!>)EN_&
z^|K$M!0`!##73NMz3+FV!7db|?5nduOqnDwP2*&ZEkx{^;9hv{tlJzU(H6;Zu4j{J
zVl$0x>_Ad&x@!;{444@M(zeHCdPaE^xoge(T@yt*MvS
zfe*Rc&~AsgGh4&qnx0X(KI)s^$oy1x;}K{0)8r;}-n>EV_~P){!}n)4>EzkBc@y2_
zjg+^+`fQ>MtqXFMX{=lEu9Yg|Uhx$tpUfVKM&B$w+IEA79Oa}}!*5^j3;c*W31nyr
z9jkUz;MOJgMOKc93oy71d2@a9>4AVwq-pv_f8+oJ?wx`00KuYL+|{vrX9avB_HQKr
zph(&m9n3_Bg3i=3K>o?|wuSi`<5usF`Rxu%i!k|<*@8dui$4y2W*P!cCcZwwU@J)<
z4V{l>G+af_e@y9ZcEQ`VDGZsM&?}qUX-skg&vWtDg_D>r9WDHU8l_6A1ZEw>S-87)le9T*Pw2O1T6Lw66C9XD
z>~C3ZM;CKP$TGCpk8oTi`vuAd7#X5laOZUFD@(UhN+8A
zV@P7M(Zi%|lgQ*s=S_IXo$H@Rd^vf^LUi^s=>oq5B3o#ATmJd_
z7@}W#SkHO0nrQ@*7LNJ$?2erqIO$p|y*i&|*(}pS>G>V|3@tlhcA`dx2@_^RUngjj3_kJ7w=^KBAMLsk)I_H4*sctm=?2a1Q273#7fma@WXSDTmIz4Z
zbP{IaZa%n_}
z`BOI63%+rX$_TSY`x!y0)57J>%8>`Dl4}CCap(HXKw3Uey@Zdc0+x@cl
z1AgcuajB@E(-RMaxmDqNX1{*TC`JbN$#<qt30ZC%(v2hbg=9RZ}#=YgJvIHny&Bn)IA$e2VT(Q2%TY`gKfhRZs
z&A#aC;RiEQLjTG+F9M4xBm}EW{g1Qt{@?Viu*@OH!;<>NE(ME)fm9W^~l7$8NH7a9WUI24RDf
z!0{TTxfjW`2Jt}DJUee^i=NQSe@MgI(JWKbiQMGo&IjeY6IJT_R?-Cj-IgV)$JQnn>E
zKj^>ToA3*olusf}P+NcV%5)Va$FlEtjAmKqI0K(Aos?H?AXWG!wcKU;I`O+jqU8Y`EZ;CP&V4NHiV?0Ze)_
zAf5Y`H~tvki&=~jdO@$|J3fYAB%Ufhe85a@nM_7biyd02NZ)sIyLnlz6Emj5wd9)8
zlXd(E+9%mO@;bpLLZ%?-FvMZvs1zA)bN%Jn+%URWbCyJhYCZ_`aPkccKMi8ZPC|jD
z+l(AmsFp_{$%U4gF8~scX{L6~(!4J9?e%OKw}nlxvfwX9X%r6)^Y$9AJ8bS?X#x|S
zIX>2iLZNLRh>dgjh>=}BMlZf+!%Lmy)Lhuk#@aNrz30HK^vDs<9oZL~td9oQXoa~3
zufhHb1Y+|j==cdoa@+*$P2%|8@y)^N&OnrnS*ILJ0<5=B?AD1Bp>Xslmy5rP_Q*K8ejW?9
zktoYd^XD9yri>|Az}PoSGEK+xNq!tm{QEfLGcy|*vgAQe(V_$F@|~)Jhjq^t|Lu9o
zAaCjmcX>!YHZ&x&M{H)754H+!e0;t)e98`%zxci1?HFv0iRih$Uuifzs_^srz8vAK
zTms%;zBEo35xZi5_Kmuuhd6^Yy}CJ|8;6a`TbE)*@J$_#KGQQ3C}%hCD7*4joc*d1
zC*@i7SK_T}$QBabbUQjU&LPUK>>B`smut)tMCY}eM}D@0{E700!%VSGJNXNY`vuVCFE0U3KKxufP%yzCTK9zk7=!l&H)!6vvXLOtxxcC;iQlvE2XuG@dFS@^vIt7$QVZ92+BjL(!E`Wu^3JmwqY4%5O0p+nvQk7coq<>uUl
zHTi4ew!O3weMOG^^~3j^XLBjSqH~p(V-=mjuf60n`%cJ>F}+Fc69dsDWNrI=qhnlNBi`-YM23~y
zcKT74Ai#3pJW=I3CY~8O@IfbIbo~x$9a@$nI+)WQQ=c1w+WJHD*w*efj`$-v&f-)J
z7#^<9%X%yoOaVp|`wX8PE?B%e7vjDXUQ{6Mgy{+59T9hLFVG1NkdW7UoxnJBBcC1k
zGhtXEj&kGTP6A1CsA8^@h;`N;O_PK$a;w+UWiluPZJnS?DdpIq*Fk2QF=d%-y@CR4Df
z6uvD2XB(o(IXjZEVYO>XV3cV)MvNobjc<^Qj@iRe*ye5fg5j}$rd4UyFh?wG)stM&
z12~-T9GUTFF`~&oOS3VcYz9n{%j^tg+^I-Mf`aJbl_eCf)BMhd{<1;7qZHKKR7l#|QV`rPug>*@4kDmh#$r&!ezCI1Gw(j6#d6
z?huQ(#+Z#g$A`uzb}?XLo;#D%(y2dp&CbY0w*8)t;_8&c7*M_ebEbTEBr8c({J2=@
z@Z8SR^>Lq%VMAdIXkCm<%QAd_d&w|+VZ!%)Em!2vI|U-^F`~_udkip*d*n{>a_Kvh
zDU4zuhNgKW-bLWKNZ6#@IcdwVF_~h_v{2S%(!gV1Vkioxg=%ax
ze%{-W*t%dazPp_{!<77YSl~1LE(XfR!1UmY%D%Nnpxpr3>rupYbJ0m=l4}e)HA!|x
zXfA1JF0CjLK$>K}in{?wxzcGIS;H$?mQ5Z65WpyncrRlYb0U_u5h>p7UuQS=OE0pK
z6C0w(4K~)dEcyAg=aoE@kRu^g8U2sm2f0j#O;Skb0~vxpWsTYhD>3yYRGm&h60uy)
zBYn>2d-(dAMxU);R&4YO>;}onJA*<8!QGe2CbcBA8Kr|4|8xUmfT4WtdalaIxmaOT
z6Y=@J-q~cV3#7&$N~JIS%B4(a2DgDbK_{_up3!$?MdK2UrYvXv<7Sj0Se>Z4ctgR=
z`p^+f85(w~&gHuoKuTh98T(ke+rqcCKQ`(oy{Dm{cGP#VhMryoW#xi
zVqvh|gzIE!nN*(Ao;%1S+2L}h9LQ*5$tDwFgUD<6qwmTb-=DsfvI~4WD?NV#x9?dl
z@EBW@e@o*_sT`BKc%EuV-rE6zA6s_0mrj`dJMom*Ge5V_=4BUH9W7U|2HvuLwvhD5
z@2M~v5f&lb{-Tfh24G0epV^~h%}{8-b{#t0;*l1DEZz1#ds>cBkBM>n)pj$!T
zHPCUs*_o{jo5ClJ?5Q&iGo$Uf@1Ste+W-`U&aCZ}*^;m%8v|tQQtCui$v3BU7
zxl0abqef90$Cq~2B{s_1)yR1gb@6J*IBW>l(Dtz|lV^i%ugZqQ3O-vg4a7Lu=WRV-
zPBt50^bb3;11>uF6>6oUb`p+=^O+E+#Z))IB$9fZoJI{5B5U_cBx6F6|tq(
z&B91c`}q#2LlT+2
z49>nDpQh6|<+eszIornI?93gRp;#;)QN25R)w}yjwgvE|{Q)8WXFQC7z|xpI76*0;
z5TEdVXCpC&dUhmljkiI^?MLqDUFm4zjP>juBa?FLwi@9}gDJE!QXG}6k?Y!5=D%sz
z(wP8$B~Q3qjmjI}=6!HDwiNHwNE|gj{Tv@p=Oy|Lm>|;VWF2^fjO&kBF5=4d$ux$J
z_flzpK{f3K9~&>SD863q4kqtlU*C%q*z5k&%g~eZ8yg>ahxW=|6nR5)?@#WhbbJ7kyDSsK;42b}m9S~3xa{-LX@maLosE7j
zJOF0X5<~)6z_)@1cM=o-Ivo~_?w{Kvfe;-tK%tDqDH0@7hhMjpmuf_gv!*fZ$BC?D
z?G2KbWs1=Zf*WShNVzPAuOE8!gF_ybJ2&>r{@!|In-MgL7l(>W#$gaJW&nJUtc8Av)es1?DQMb
zh9V8+5kJzwD~&T!Nuu!=jeUY}zUP;-f@c=}n1vvi$|U?rjKxy&5ozjoe&=FzrK4fs2f1B#BN0-jo44nIoy$W*@gewGsF5>EZ*xC06gNz!-r7*Q
zehf*q`u*1XJ-twTRiAa|+WK~Zmw)($^1*pELauYYv2k(#HatJZvduxcl_%%P;cf)E
zN$&LMHRbndhSeee3`Y2L?I6s>G7}NO1FgrsO}Q-D4j15{=$OOYe5Z4mPD(2S
zBbL~$Ec_C?_S3gFo<5El@OaRQCr%#eKC^Z$J!wb>q#Qh|AaS#lP@mDq2lG72wIcg+
z3^#2*%Ca%UBLy5k_1d2YBi{$ffMCU>uRMz_ClA3dMogU#eS`;8N%C)tuTJO}hZ|Y8
zL!cySgf!IPlq5^hi|fcBrHkzQS62+Bh?k^$$~0vXSgU88C^QY+#n$+Z!pQ2+Gi;kq
zLTr{~b}8Qydl
zJ*OpLc!Phq1iLals7zjVT+rE#ywl*}LsgUE^WW%J@E9M=rzHr&5vhAe2C;B#;?68(
z(@2cJV{2m24R&xzCuJ(;8}xnFotX`2#R>6UrV=0H<2p}yP&xh`LWyA|*HPEYWhY)Z4C}`Ibjr8D(8is#oBp
z@ubl@vj&R($QfBcz$7Aq_7ODwP_!YJo^3{})1;w$bab*i$ua(71@4LMAE=U8(UBta*f&k*6O!w7kKgMz{-U4
z1*}_D*+7^|{`fGn=Lj}=Nv!GiVUT<7Ogp*0JJOK(yY30#5sUP6w+2jNLTAQ!zDItb
zoJ4F^OK<2S&(YU=U+6GUaGP7bHubE&T@bX#>#V>m)DqNO#JI>{;^f;
z<*RK#Y$s&O{a7L{8QWWj*r6n{9nx9Ouur?`8@_bnCU_2pQ_mD5Q`7PJu+;Ivd`A^(
zn4@il9itD&bDDxd0CdALVxz&eyHcP44jH`>Tz~;B@uy?*GNr
zYMc>GI^riW_v|0ZXk|B|DM@vF6F~-O>pu1wu(vT1GTMGj?^7>yl~~*_V}wk<8l)if
zWIsBIaCOXxwR&e6GOcW$zD{>>%J-C~u|u}PkE2iV#!8fu?C9{LEKlmDMM@|zq&vMJmilb;&FWFJO*hoz$Pl4*o=(k6@T6i
zMI&QMuUT@&3Y&LyLWHbOaKdBI%{}6vkO3EAM~k0q?=o3cz!F
zhM6ua#h`T8T4Tr^MLG$5Gi<6Pri&NX5z2f>piZ0_bw*AMiae-8fi#Y+la4AREYzyW
z89083hfYMc<;wx+HF(+-lLx6i~;U5C=Mle}d<5WqtSDjd!NL6ePvE(m4>
zmwgXx1a58G?iheg8WHetKwG|teFwh3i7XA1bp>BV5RTE$7})=Et!>4Im(Fk9OK|$Z
znD^@m-r#PU303fo?6DPhBXdYbVQ=1Dj7xm~!503`lrr_<%44hmXs28J`0jISTF6tC
zy)VpD6DxgnQPw3f1Ufl!-!)U0S$>HXcQ7WMPD9t8PS3`?MjIYgHXFyI*Sn!VI>T#>
zlPPHrMkWT(OV~~{W~LN;a&Cra
z91O3P8;Tw(y6kE3P1uVD*wbHaLn+
zC3z(7dH9tq-pm!;ye5bv$wEypn~*N4FO_MM6}w
zAt@*6p`Bne)|{BpJgy}82BSEw(lLlbtMvBw;O$LN0MWv5P98f=V_GHv1wi`0VN|+z
z+P;rnI=yT7caN`s%KpQVUh_;LrxzXn4+aS8ur}adERRG*TwEHPMd}!c`{4XAm6_VY
z427>uutKk@=>6kU$W}CRQc2ay!#1P$NDm(1Q`jlAhaPq8=6+v60=?wqW_KaEF@;`|
znsx6`=|k5I;O>wYGJ4cUpTP$7y~hbtB&2j40L3!lL&eLeTsA&K`Pd?$B|&^RL=am2
zRqiMZRw*;OQzp3q$LZ)1LOK7~I29Ij+Vx;_`-<%mpN>wS{Oz-OS48r4zz&wksC1+<
zAXr&!J8}t-M5p-HEFoQ2wxT;b(=9J}{?KSccl@VY;s9(u{e
z0R?;eSMPibo+QUjq4qnzaS3_J*Y=K-*yvpwW5>xAZhIc$FUvzF>D=RL#6Vr&LZ0li
z!{2@IlBiEFwcOrM{66hp4X?Qf%APSJN7Rq<{v3$90Bm5Tj`vfS0IyhaV97b
zcq2F7^mZOA48Z>94v@>38bMhZO_T=k^1qBSEI4vwoFwp@u&S(=iJFhnc&m;LLicoF
zXizulAo}TirBPbBjF(5up=vx4>ti}8MDGsc71aJS$u2Su)6dHaw3IIei@@if5cZ7H
z29V9<1ThkquRRHRXs-<0hzS3m>1+I3F%Nv;%pPU>&+&4^!fvJqFZL2l
zfVTCt0LX?efidx=_}MfzLz#l-3w45>i#nK+C>vu!9rW+nss{cf6v<&
zhhFqvKPv9q?*mfoYQF(A(+Pco!uvwd^z1%Q@}9?#gGM?P!T?tfe+X0!duAwxs0E)!
zx5PjtN#1o)V`A8)Eq95Hh;f44lbGepzY}j@89JuBGRQ7M1LO;fr_a3clRR_$1Jev1
zV#YAJIPz3BE>2I>RH}Hv)QN=qrn!Kt%`Y9(|giiA1q`4ktqHrAC;g
z(w%)EXp_7i-RWi9FpYW1wixqC?kI#|a7v>D*3oU0rrb1YbTVAcW#9LE{6B}Wh^(XF
z(M5xB^pZxoDHDJ7Nv!YVeUseUqn+8P>3^0lkUI
zN+Opm%b6-o98J3Ls5PVYVt0Rof1r&>Ccg4JZ@AFAsbiNBCvHBEn6}D>>B}Q=@}eI!
zKc{SilRoyl?DEI$NXBnH1)do^;}VLN^vYvBiErqaOSv@qQ8R!dOX^P%8tBraXY#yn
zLYum_q3xO&@1e~PGWB9-W3=AvDRE&h55`aPIC0B5P)$k)Gy5Fk*DjxBDR%=(>M-DfKL#qcjP|IHpx4&xu%k^U*0c|j^lvGF(l0{=kkUGt`>k`
zJPhiemo$4%*~4=V5&}w(<5>zmN$gA=Wr1MoYws1Kk{o^vZj>H?jXhIQQ`}+J?FLcM
z^5_~qhjwHPz48ERWY%mZxs7YSK(ijHGEE#~`*>#;S`e_35;iF}95m
zSLhpEwDydzLY>s%CKY}$;S9jfu2}>*c`kC4jAi2VZTUAb
z0RNiQI+~8_Ei@*$KR@2{9tT@KGT5&p2N&!H=(_k>PFFOKgD9IIvBH*b8d@rqJX76vH96wUB+<55Rt^KR{)RnV
zGkcp78|m^Y#6Lt_$8Z1f8|R=I2cgj|44J7^-vlJio1ReWW``U0Qp)1Nzu1UbrNq}@i@H9ib#I4d&>LG)~z$>jhpg2>ZY(9K98jXu{x
zA5q7#l%8|$VYkRMQ?^Q{iyk8vlLSl(yFA!zcq4A=NpvjYBm|!boH|Kb?xklxMaco@
z5{K>yT>te2Z{i}U8WDs
zy%fKbHj`r{R~~t*^pACH1!lMp45QclpOO_|)|U9o-_w0WB400FZFNSVwO2
zPX53?iS>5b+>^4rw|)}(^EWI?cwP3O`0(K9U8R(b#l|O|Flv?ageAT@CVp22DZe(W
zT}G3pp0Pas0e{?h8rAU_d_K8u^WU~nFTYY7OXMw*DVY)Y)OnbFIC96Xj^WH)9e<4P
z&wvG+L=O>bGQ;?`@U?wQYJ$%s5To=6y#(B&nFQ#ayr(8etmAmvEcb(kHgz-87B=tueSju)Vz9~!5du)eoDpaU
zC0Cw6BN6%P_}YLhFbw@FJNG4tUQ<>{6
z&F=h}F_?Af)$P$q3K>4y$&lL#Vpf(mU60I@8Pf1V-acq&^KO4%)fpXHb(d*ILV>tior=JCnrwnw)R0C-wqB)!;Y0(8cW?1zbM=<(E?N
z*Z51LN5_Bg4b%7m7^Mk~%pXy9Y#(RJ`If879s!MSN>LY}6^dg`Hwhs<
zO6@EmPF)O6gPn~`DbYAdiJtyA6l_Um*3@!G31k0B(&d%Ya}DuG1jDE0*^7(_&^?`rVB`3r
zLW@V{T;(aRLmGDyA+k5=!RN+hG)zYsgT-#f-@G$}X?yMnUU-~E*my9W0FS=;e3Yja
z5J<5tIUxRg5@Ii@r8l;qu9{Ambre|D&=2+ye^2r)-`&|rk~V32up5R5N#{7RDqyVV
zOU=_bJy;?zF+pkT`$JWjEFRTDyWAR&gZu4(U&
zNd>wVjqw8NTIE0CVP}btgulG>>{IipOg!O36Gtqc#C|-vwwX8OuL47tQ4>0G}TPw-5t~rs`MZSjO;WuQI{hOFDf&7PS&s2R$$Jvmxj!nh8Au2d?;+OEGleTga0w!Ay^du)GfFeT-l65c`+gHG>
z(g1@@X1(sxL;NfB6|w9)F}G>YB-k9`6$}DrjZbslu>x@vTec;k+RQMyp=;r%0BpqG3@pz5v$615U8Zw-0i;SwzGwZ<&3=<=FpHKnd!zV~@eHU~b
zCGSL=QJ(n8v^(`2=X-mQ>6CYw={r!u^1EF4Rnwu8Ww5q1VxJ_}uT$~RpF9z|Y;ucV
zCLQOv_s|;5M#P&6S=kfG?!8zFk%N%KJd*ER7gxtD3hF=_?m$OOO+Fk;31+i
zbc~I^bn|3fJCC^mEe}{Ko{8M?9ekqNa*oF_SQI&A>lgInd(l72W<(X9YlZ1tAxDFU
z<79K{UCvN5+llC!#{iFTzJ8K0MH5K#gA2J=aJGd%y3!M57~eJ0nIH+w6pJ14(@Cvv
zWl9;*ZcteSr=J9h@}1LZNC2uz)0<5lvs&3**ZeK$@?9{4kFg6j-cV;9)I0$}tJ3d|
zo_yi<5)|qp89A$>T?(51--9
zQ8u8(=dz=0?HXTO9sQNAz+g1=lJc8|62BQm79e+=ldZs{PMOH>r-6pO@1f9gUq73(
zytkpq9j3ygi~b&xm7l0?7ENnk>Jq;nzSHrU%EQ&1Tq|l@f5(`8V*O$DjV5mV5*k8p
zUPpuPtbN8OVw>cV3BNQ(3t*P-H2FG=7B7!9{k>GGFP^d(zwk%$Q{m%86HhOhW%0tK
zc7<8a=tz*~{M+Y5&iaEDhF`vtzuNmlvd_yt{n@U$BDO=WMmHumfPO4Dyj<1=tP47*
zNsO-H2Kd4=%IyltvDEj;T$Ib#y3Mw*s4pm$Er#!mr#Jg!DOf>m{2e3#tmXqX8LQYbRp55qn
zY#3z1zh^xkoGIhZt1*a7$q{oLOa`d9g^W=WUjDgZOUx&JOx3tLS+8{d+i9TFDQDEX
zGjl)G0gItN*pz$a+_cUl>o+6LI0i8>VM>Q-oFRT5AzdwdsFJ4?|I18bJ?>n_-*A&4
z*e|19uI`gG{$p7@RsQ0;$tBOa^5nv*^N1k1R>^^Vum!u3L%nvxj2>u2r__jSY&agL
z5V?RNv=uc^<}9y|j=pD>NWs)U(YfEqwUQP5G`pM
zhR71xNu(qqmz%qxBKs<~uGtelfoF^nxp(@}=O=!&orhcrzsxWV_`xy>214x{Q!)0|
zBqD5qzGfZWX(;#I(I!Lr(l)5k{)le5_+H^7&wi02!74`v9&Ug}4(