From 7f0b116705f98c50b219cd9e134cdd6b2ee2a136 Mon Sep 17 00:00:00 2001
From: Trent Slade <73952179+EmergentMonk@users.noreply.github.com>
Date: Wed, 22 Jul 2026 18:38:46 +0930
Subject: [PATCH] docs(etq-303): clarify vector-space dimensions
---
.zenodo.json | 11 +-
CHANGELOG.md | 19 +
CITATION.cff | 9 +-
README.md | 68 +-
docs/ETQ_V2_TO_V3_MIGRATION.md | 15 +
docs/ETQ_V3_0_1_RELEASE_NOTES.md | 55 ++
docs/ETQ_V3_CLAIM_BOUNDARIES.md | 7 +-
docs/ETQ_V3_EVENT_PROTOCOL.md | 52 +-
docs/MATHEMATICAL_MODEL.md | 25 +
docs/RIGHTS_AND_ARCHIVING.md | 22 +-
docs/etq-303/README.md | 49 ++
.../v3.0.1/ETQ-303_formal_model_v3.0.1.pdf | Bin 0 -> 436764 bytes
.../v3.0.1/ETQ-303_formal_model_v3.0.1.tex | 776 ++++++++++++++++++
docs/etq-303/v3.0.1/ETQ-303_references.bib | 151 ++++
docs/etq-303/v3.0.1/UPLOAD_SHA256SUMS.txt | 3 +
package.json | 3 +-
scripts/build-etq303-paper.sh | 61 ++
17 files changed, 1299 insertions(+), 27 deletions(-)
create mode 100644 docs/ETQ_V3_0_1_RELEASE_NOTES.md
create mode 100644 docs/etq-303/README.md
create mode 100644 docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.pdf
create mode 100644 docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.tex
create mode 100644 docs/etq-303/v3.0.1/ETQ-303_references.bib
create mode 100644 docs/etq-303/v3.0.1/UPLOAD_SHA256SUMS.txt
create mode 100644 scripts/build-etq303-paper.sh
diff --git a/.zenodo.json b/.zenodo.json
index 4628738..18cfd38 100644
--- a/.zenodo.json
+++ b/.zenodo.json
@@ -6,8 +6,8 @@
"affiliation": "QSOL-IMC"
}
],
- "description": "ETQ-303 v3.0.0 is an exact finite 303-state event protocol constructed as H_101 tensor C^3 over the preserved ETQ-101 v2 selected-root basis. It defines a single exact 303-step monomial support traversal, aligned Gaussian-unit phase labels, the Cartesian graph lift G_101 square C_3, a canonical event document, deterministic JSON/CSV/MIDI receiver artifacts, and acyclic provenance receipts that bind a normalized v3 implementation source bundle.
The 303 states are root-indexed tensor states, not 303 distinct E8 roots. Root artifacts are restricted to .json, .csv, and .mid; graph and atlas data are serialized as JSON. The canonical contract contains no hertz, sample rate, waveform, PCM, WAV, floating eigensolver identity, physical validation, or privileged receiver. The archived ETQ-101 v2.0.0 base release is DOI 10.5281/zenodo.21432511.
",
- "version": "3.0.0",
+ "description": "ETQ-303 v3.0.1 is a documentation-only terminology and exposition clarification of the exact finite event protocol archived as v3.0.0 at DOI 10.5281/zenodo.21455181. It explicitly declares complex scalars, finite-dimensional vector spaces, algebraic dimension, and tensor products over C.
The state space is H_303 = H_101 tensor C^3, with dim(H_303) = dim(H_101) dim(C^3) = 101 x 3 = 303. Here 303 is the algebraic dimension of the finite event/state vector space and the number of basis-indexed states; it is not a claim about physical spacetime dimensions. The C^3 factor is the declared independent three-state or qutrit-like protocol factor and implies no additional physical ontology.
The E8 root system is represented in an 8-dimensional Euclidean root space, D4 has algebraic rank 4, ETQ-101 contains 101 selected basis states, and ETQ-303 contains 303 tensor states. These mathematical dimensions and state counts do not by themselves imply a physical interpretation.
No mathematical construction, event ordering, deterministic artifact, fixture, implementation identity, protocol hash, software behavior, or scientific claim was changed. Root artifacts remain restricted to .json, .csv, and .mid, and the archived ETQ-101 v2.0.0 base release remains DOI 10.5281/zenodo.21432511.
",
+ "version": "3.0.1",
"upload_type": "software",
"access_right": "open",
"license": "MPL-2.0",
@@ -22,8 +22,13 @@
"reproducible artifacts",
"symbolic MIDI"
],
- "notes": "Copyright (c) 2026 Trent Slade / QSOL-IMC. Distributed under the Mozilla Public License 2.0. Preserve copyright and licence notices, identify modifications, and use the repository CITATION.cff for scholarly citation. The v3 release preserves ETQ-101 v2.0.0 at Git tag v2.0.0 and DOI 10.5281/zenodo.21432511 as its immutable base lineage.",
+ "notes": "Documentation-only patch. ETQ-303 v3.0.0 remains immutable at Git tag v3.0.0, commit 6b55e51647226d1c248dc8d79f9ed9336241c2ac, and DOI 10.5281/zenodo.21455181. Copyright (c) 2026 Trent Slade / QSOL-IMC. Distributed under the Mozilla Public License 2.0. Preserve copyright and licence notices, identify modifications, and use the repository CITATION.cff for scholarly citation. ETQ-101 v2.0.0 remains the immutable base lineage at DOI 10.5281/zenodo.21432511.",
"related_identifiers": [
+ {
+ "identifier": "https://doi.org/10.5281/zenodo.21455181",
+ "relation": "isNewVersionOf",
+ "resource_type": "software"
+ },
{
"identifier": "https://doi.org/10.5281/zenodo.21432511",
"relation": "isDerivedFrom",
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 07105f9..3c6675c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,24 @@
# Changelog
+## 3.0.1 — dimension terminology clarification
+
+- Clarified that every use of “dimension” in the ETQ-303 construction refers
+ to finite-dimensional algebraic vector spaces unless explicitly stated
+ otherwise; it does not refer to physical spacetime dimensions.
+- Added notation conventions for scalars in `C`, `dim(V)`, tensor products over
+ `C`, and operators on declared finite-dimensional spaces.
+- Added the explicit derivation
+ `dim(H_303) = dim(H_101) dim(C^3) = 101*3 = 303` and stated that 303 is both
+ the algebraic state-space dimension and the number of basis-indexed states.
+- Clarified that `E8` is represented in an 8-dimensional Euclidean root space,
+ `D4` has rank 4, ETQ-101 contains 101 selected basis states, and ETQ-303
+ contains 303 tensor states.
+- Added the canonical LaTeX source, rebuilt PDF, publication build instructions,
+ and regenerated publication-file checksums to the repository.
+- No mathematical behavior, state indexing, event generation, deterministic
+ output, protocol hash, test fixture, implementation identity, or scientific
+ claim was changed. The archived v3.0.0 release remains immutable.
+
## 3.0.0 — ETQ-303 exact event protocol
- Promoted the optional `H_303 = H_101 tensor C^3` extension into a separately
diff --git a/CITATION.cff b/CITATION.cff
index cf4c346..7eb2d1e 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -8,10 +8,13 @@ authors:
affiliation: "QSOL-IMC"
repository-code: "https://github.com/QSOLKCB/SONIFICATION"
url: "https://github.com/QSOLKCB/SONIFICATION"
-version: 3.0.0
-date-released: 2026-07-20
+version: 3.0.1
+date-released: 2026-07-22
license: MPL-2.0
identifiers:
+ - type: doi
+ value: "10.5281/zenodo.21455181"
+ description: "Archived ETQ-303 v3.0.0 original release"
- type: doi
value: "10.5281/zenodo.21432511"
description: "Archived ETQ-101 v2.0.0 base release"
@@ -31,6 +34,6 @@ preferred-citation:
given-names: "Trent"
affiliation: "QSOL-IMC"
title: "ETQ-303 v3: Exact 303-State Root-Indexed Event Protocol"
- version: 3.0.0
+ version: 3.0.1
year: 2026
url: "https://github.com/QSOLKCB/SONIFICATION"
diff --git a/README.md b/README.md
index ea89fda..7362453 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,13 @@
-# ETQ-303 v3: Exact 303-State Root-Indexed Event Protocol
+# ETQ-303 v3.0.1: Exact 303-State Root-Indexed Event Protocol
**A deterministic, receiver-neutral event protocol built as the exact product
`H_101 tensor C^3` over the preserved ETQ-101 v2 selected-root model.**
-ETQ-303 v3.0.0 turns the optional full-qutrit extension from ETQ-101 v2 into a
-complete implementation. Its canonical output is a 303-entry event document,
-not a MIDI file and not rendered audio.
+ETQ-303 v3.0.1 is a documentation-only clarification of the exact protocol
+first archived as v3.0.0. It does not change the mathematical construction,
+state indexing, event generation, deterministic outputs, or scientific claim
+boundary. The canonical output remains a 303-entry event document, not a MIDI
+file and not rendered audio.
```text
ETQ-101 v2 selected roots
@@ -34,6 +36,42 @@ monomial operator has exact order 303.
**These are 303 root-indexed tensor states, not 303 distinct E8 roots.**
+## Notation and Conventions
+
+Unless explicitly stated otherwise, scalars are in \(\mathbb C\), all vector
+spaces in the ETQ-303 construction are finite-dimensional, \(\dim(V)\) is
+algebraic vector-space dimension, and \(\otimes\) is the tensor product over
+\(\mathbb C\). Operators act on the finite-dimensional spaces declared by the
+construction.
+
+Throughout the ETQ-303 documentation, “dimension” means finite-dimensional
+vector-space dimension unless another mathematical meaning is explicitly
+declared. It never means physical spacetime dimension. The \(E_8\) root system
+is represented in an 8-dimensional Euclidean root space, while each \(D_4\)
+factor has rank 4. Those numbers describe algebraic root spaces, not spacetime.
+No physical interpretation follows from rank, dimension, state count, or
+tensor-product notation alone.
+
+The state-space construction is explicitly
+
+\[
+\mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3,
+\]
+
+with
+
+\[
+\dim(\mathcal H_{303})
+=\dim(\mathcal H_{101})\dim(\mathbb C^3)
+=101\times3
+=303.
+\]
+
+Thus 303 is both the algebraic dimension of the finite event/state vector space
+and the number of basis-indexed states. The \(\mathbb C^3\) factor is the
+declared independent three-state, or qutrit-like, protocol factor; it introduces
+no additional physical ontology.
+
## Exact graph context
V3 defines the Cartesian graph lift
@@ -89,6 +127,10 @@ core, canonical serializer, receivers, artifact builder, and build entrypoint.
This binds generated artifacts to the implementation that produced them even
when the semantic version remains `3.0.0`.
+The repository/documentation release is v3.0.1, while the unchanged canonical
+runtime contract remains v3.0.0. Consequently this patch does not regenerate or
+rename protocol fixtures, event hashes, or the v3 implementation identity.
+
The generated bundle uses `./contract.schema.json`, so its contract validates
without depending on the repository directory layout. The committed repository
fixture continues to reference `../spec/etq-303.v3.schema.json`. `$schema` is
@@ -123,6 +165,8 @@ non-`dist/` output paths and never recursively deletes a caller-selected path.
- [Exact event protocol](docs/ETQ_V3_EVENT_PROTOCOL.md)
- [Claim boundaries](docs/ETQ_V3_CLAIM_BOUNDARIES.md)
- [v2 to v3 migration](docs/ETQ_V2_TO_V3_MIGRATION.md)
+- [Formal v3.0.1 paper and build instructions](docs/etq-303/README.md)
+- [v3.0.1 release notes](docs/ETQ_V3_0_1_RELEASE_NOTES.md)
- [ETQ-101 v2 mathematical model](docs/MATHEMATICAL_MODEL.md)
- [Auxiliary Tanner tuning fork](docs/TANNER_TUNING_FORK.md)
@@ -134,6 +178,15 @@ The preserved base release is ETQ-101 v2.0.0:
`8c24d58ca76abbac77c427a4f63ca434570c82b3`
- archive DOI: `10.5281/zenodo.21432511`
+The original ETQ-303 release remains immutable:
+
+- source: Git tag `v3.0.0`, commit
+ `6b55e51647226d1c248dc8d79f9ed9336241c2ac`
+- archive DOI: `10.5281/zenodo.21455181`
+
+Version 3.0.1 adds only terminology and exposition clarifications. It is
+intended to receive its own tag and Zenodo version DOI after review and merge.
+
The acyclic receipt architecture is methodologically informed by the archived
receipt-bound observation protocol versions `10.5281/zenodo.21292906` and
`10.5281/zenodo.21293821`. They are provenance-method references, not
@@ -143,13 +196,14 @@ mathematical dependencies of ETQ-303.
A precise description is:
-> ETQ-303 v3.0.0 is an exact finite 303-state tensor extension of the preserved
+> ETQ-303 v3.0.1 documents the exact finite 303-state tensor extension of the preserved
> ETQ-101 v2 selected-root basis, with a single 303-step monomial support
> traversal, exact Gaussian-unit phase labels, an exact Cartesian graph lift,
> and deterministic receiver artifacts bound to one canonical event document.
-It does not claim a 303-dimensional E8 representation, 303 distinct roots,
-physical qutrit hardware, an E8-selected acoustic scale, or empirical
+Here “303-dimensional” is strictly algebraic. The construction does not claim
+303 physical dimensions, a 303-dimensional E8 representation, 303 distinct
+roots, physical qutrit hardware, an E8-selected acoustic scale, or empirical
validation.
## Creator and licence
diff --git a/docs/ETQ_V2_TO_V3_MIGRATION.md b/docs/ETQ_V2_TO_V3_MIGRATION.md
index 7e0d57d..6650b1e 100644
--- a/docs/ETQ_V2_TO_V3_MIGRATION.md
+++ b/docs/ETQ_V2_TO_V3_MIGRATION.md
@@ -1,5 +1,20 @@
# ETQ-101 v2 to ETQ-303 v3 Migration
+## v3.0.1 documentation clarification
+
+Version 3.0.1 adds notation conventions and makes the finite-dimensional
+identity explicit:
+
+\[
+\mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3,
+\qquad
+\dim(\mathcal H_{303})=101\times3=303.
+\]
+
+These are algebraic vector-space dimensions and basis-state counts, not
+physical spacetime dimensions. The clarification does not change any item in
+the preserved or new-v3 lists below, nor any runtime artifact or hash.
+
## Preserved unchanged
- standard 240-root E8 construction;
diff --git a/docs/ETQ_V3_0_1_RELEASE_NOTES.md b/docs/ETQ_V3_0_1_RELEASE_NOTES.md
new file mode 100644
index 0000000..a11a839
--- /dev/null
+++ b/docs/ETQ_V3_0_1_RELEASE_NOTES.md
@@ -0,0 +1,55 @@
+# ETQ-303 v3.0.1 — terminology and exposition clarification
+
+ETQ-303 v3.0.1 is a documentation-only patch to the exact protocol archived as
+v3.0.0. It responds to reader feedback by removing any possible ambiguity
+between algebraic vector-space dimension and physical spacetime dimension.
+
+## Clarifications
+
+- Added a “Notation and conventions” subsection declaring complex scalars,
+ finite-dimensional state spaces, algebraic `dim(V)`, tensor products over
+ `C`, and the domains on which operators act.
+- Made the tensor construction and its dimension explicit:
+
+ \[
+ \mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3,
+ \qquad
+ \dim(\mathcal H_{303})
+ =\dim(\mathcal H_{101})\dim(\mathbb C^3)
+ =101\times3
+ =303.
+ \]
+
+- Stated that 303 is the dimension of the finite event/state vector space and
+ the number of basis-indexed states, not a claim of 303 physical dimensions.
+- Clarified that `E8` is realized in an 8-dimensional Euclidean root space,
+ `D4` has algebraic rank 4, ETQ-101 contains 101 selected basis states, and
+ ETQ-303 contains 303 tensor states.
+- Added the canonical v3.0.1 LaTeX source, generated PDF, build instructions,
+ and publication-file checksums to the repository.
+
+## Change boundary
+
+No mathematical construction, equation of motion, operator, state ordering,
+event ordering, canonical JSON, schema, deterministic receiver, fixture,
+checksum, implementation identity, test behavior, or scientific claim was
+changed. The protocol's machine-readable identity remains v3.0.0.
+
+The original Git tag `v3.0.0`, commit
+`6b55e51647226d1c248dc8d79f9ed9336241c2ac`, and Zenodo DOI
+`10.5281/zenodo.21455181` remain immutable.
+
+## Zenodo v3.0.1 upload set
+
+Replace the prior paper source and PDF with:
+
+- `ETQ-303_formal_model_v3.0.1.tex`;
+- `ETQ-303_formal_model_v3.0.1.pdf`; and
+- regenerated `UPLOAD_SHA256SUMS.txt`.
+
+Retain the unchanged `ETQ-303_references.bib`,
+`ETQ-303_data_table_v3.0.0.xlsx`, and
+`ETQ-303_parameter_table_v3.0.0.csv` under their existing names because they
+describe the unchanged v3.0.0 protocol and data identity. If a convenience
+archive is desired, rebuild it as `ETQ-303_Zenodo_Submission_v3.0.1.zip`
+without altering those retained data files.
diff --git a/docs/ETQ_V3_CLAIM_BOUNDARIES.md b/docs/ETQ_V3_CLAIM_BOUNDARIES.md
index d8b5e42..e73627b 100644
--- a/docs/ETQ_V3_CLAIM_BOUNDARIES.md
+++ b/docs/ETQ_V3_CLAIM_BOUNDARIES.md
@@ -1,4 +1,7 @@
-# ETQ-303 v3.0.0 Claim Boundaries
+# ETQ-303 v3.0.1 Claim Boundaries
+
+Version 3.0.1 clarifies terminology only. The exact protocol, canonical v3.0.0
+contract, deterministic artifacts, and scientific claim boundary are unchanged.
## Supported wording
@@ -12,6 +15,8 @@
| Topic | Supported | Do not claim |
|---|---|---|
+| Dimension terminology | Finite-dimensional algebraic vector-space dimension; `dim(H_303) = dim(H_101) dim(C^3) = 101*3 = 303` | Physical spacetime dimensions or physical ontology inferred from a tensor product |
+| E8 and D4 spaces | `E8` in an 8-dimensional Euclidean root space; `D4` of algebraic rank 4 | Eight- or four-dimensional spacetime models |
| E8 roots | 101 preserved selected E8 root labels, each paired with three external fibre states | 303 distinct E8 roots |
| State space | `H_303 = H_101 tensor C^3` | 303-dimensional representation of the E8 Lie algebra |
| Ternary labels | internal triality label and external fibre label are separate fields | the two labels are the same physical degree of freedom |
diff --git a/docs/ETQ_V3_EVENT_PROTOCOL.md b/docs/ETQ_V3_EVENT_PROTOCOL.md
index 3a4f972..a222955 100644
--- a/docs/ETQ_V3_EVENT_PROTOCOL.md
+++ b/docs/ETQ_V3_EVENT_PROTOCOL.md
@@ -1,15 +1,36 @@
-# ETQ-303 v3.0.0 Exact Event Protocol
+# ETQ-303 v3 Exact Event Protocol
+
+> **Documentation version 3.0.1.** This is a terminology and exposition
+> clarification of the protocol first archived as v3.0.0. No mathematical
+> construction, event behavior, ordering, fixture, hash, or scientific claim
+> changed.
## 1. Scope and normative status
-ETQ-303 v3.0.0 is an exact finite extension of the released ETQ-101 v2.0.0
-selected-root model. It promotes the optional product space from the v2 formal
-specification into a separately named event protocol:
+ETQ-303 v3.0.1 documents the exact finite extension of the released ETQ-101
+v2.0.0 selected-root model first published as ETQ-303 v3.0.0. The original
+release promotes the optional product space from the v2 formal specification
+into a separately named event protocol:
\[
\mathcal H_{303}=\mathcal H_{101}\otimes\mathbb C^3.
\]
+Because both factors are finite-dimensional,
+
+\[
+\dim(\mathcal H_{303})
+=\dim(\mathcal H_{101})\dim(\mathbb C^3)
+=101\times3
+=303.
+\]
+
+Thus 303 is the algebraic dimension of the finite event/state vector space and
+also the number of basis-indexed states in the exact construction. It is not a
+claim about 303 physical dimensions. The `C^3` factor is the declared
+independent three-state, or qutrit-like, factor used by the protocol; the tensor
+product introduces no additional physical ontology.
+
The v3 core is not an audio renderer. It defines a finite state registry, an
exact monomial step, one complete 303-event traversal, an exact graph lift, and
canonical reproducibility receipts. Persisted root receiver artifacts are JSON,
@@ -20,6 +41,22 @@ The repository fixture is `examples/etq-303.v3.canonical.json`, with schema
`contract.json` beside `contract.schema.json`, and the generated contract uses
`./contract.schema.json` so it remains valid outside the repository layout.
+## Notation and Conventions
+
+Unless explicitly stated otherwise, scalars are elements of \(\mathbb C\), all
+vector spaces in the ETQ-303 construction are finite-dimensional, and
+\(\dim(V)\) denotes the algebraic dimension of the vector space \(V\). The
+symbol \(\otimes\) denotes the tensor product over \(\mathbb C\). Operators act
+on the finite-dimensional spaces declared by the construction; real Euclidean
+root-coordinate spaces are identified explicitly where used.
+
+Throughout this document, “dimension” means finite-dimensional vector-space
+dimension unless another mathematical meaning is explicitly declared. It does
+not mean physical spacetime dimension. References to the rank or dimensionality
+of \(D_4\), \(E_8\), root spaces, selected-state spaces, and tensor-product
+spaces are purely mathematical. No physical interpretation should be inferred
+unless one is explicitly introduced.
+
## 2. Preserved v2 base
The base is the immutable ETQ-101 v2.0.0 release:
@@ -37,6 +74,13 @@ V3 imports the v2 root generator and selector rather than modifying them. The
site with an independent three-state fibre creates 303 states; it does not
create 303 distinct E8 roots.
+The ambient \(E_8\) root system is realized in the 8-dimensional Euclidean root
+space \(\mathbb R^8\). The embedded \(D_4\) subsystem has rank 4; the numeral 4
+describes algebraic rank/root-space dimension, not four-dimensional spacetime.
+The selected ETQ-101 graph-state basis contains 101 states, whereas its ETQ-303
+tensor extension contains 303 states. These counts are not coordinate-space or
+spacetime dimensions.
+
## 3. Two ternary labels that must not be conflated
For a non-fixed v2 site, the selected basis already carries an **internal D4
diff --git a/docs/MATHEMATICAL_MODEL.md b/docs/MATHEMATICAL_MODEL.md
index 8e59683..0e8f986 100644
--- a/docs/MATHEMATICAL_MODEL.md
+++ b/docs/MATHEMATICAL_MODEL.md
@@ -686,6 +686,16 @@ are conserved under the continuous unitary dynamics.
## 13. Full-qutrit tensor extension
+> **ETQ-303 v3.0.1 terminology note.** In this extension, scalars are in
+> \(\mathbb C\) unless explicitly stated otherwise, all vector spaces are
+> finite-dimensional, \(\dim(V)\) is algebraic vector-space dimension, and
+> \(\otimes\) is the tensor product over \(\mathbb C\). “Dimension” does not
+> mean physical spacetime dimension. The 8-dimensional \(E_8\) root space,
+> rank-4 \(D_4\) subsystem, 101-state selected basis, and 303-state tensor basis
+> are distinct mathematical notions and imply no physical ontology. This note
+> clarifies terminology only and does not revise the normative ETQ-101 v2
+> construction above.
+
Because 101 is not divisible by three, a qutrit cannot be a tensor factor of the entire 101-dimensional compact space.
If every one of the 101 modes must carry a full qutrit, use
@@ -698,6 +708,21 @@ $$
}
$$
+Consequently,
+
+$$
+\dim(\mathcal H_{303})
+=\dim(\mathcal H_{101})\dim(\mathbb C^3)
+=101\times3
+=303.
+$$
+
+Here 303 is the algebraic dimension of the finite event/state vector space and
+the number of its basis-indexed states, not a claim of 303 physical dimensions.
+The \(\mathbb C^3\) factor is the declared three-state, or qutrit-like, tensor
+factor used by the protocol; the tensor product introduces no additional
+physical ontology.
+
The original 101-dimensional state is then the reduced state
$$
diff --git a/docs/RIGHTS_AND_ARCHIVING.md b/docs/RIGHTS_AND_ARCHIVING.md
index 61f907f..f432c92 100644
--- a/docs/RIGHTS_AND_ARCHIVING.md
+++ b/docs/RIGHTS_AND_ARCHIVING.md
@@ -57,16 +57,22 @@ they do not by themselves prove legal authorship.
## Zenodo record policy
-The repository includes [`.zenodo.json`](../.zenodo.json) for a future ETQ-101
-v2 open-software deposit under MPL-2.0. The displayed DOI currently identifies
-the immutable v1.0.0 release and must not be cited as the v2 artifact. Before
-publishing a v2 record:
+The repository includes [`.zenodo.json`](../.zenodo.json) for the current open
+software deposit under MPL-2.0. Version-specific archives must remain distinct:
+
+- ETQ-101 v2.0.0: `10.5281/zenodo.21432511`;
+- ETQ-303 v3.0.0: `10.5281/zenodo.21455181`; and
+- ETQ-303 v3.0.1: documentation-only clarification, with its version DOI to be
+ added after Zenodo publishes the new version.
+
+For each new version:
1. archive an immutable release tag, not a moving branch;
-2. confirm creator spelling and affiliation;
-3. add an ORCID only if Trent Slade supplies and verifies it;
-4. confirm the DOI back into `CITATION.cff` and the release notes; and
-5. verify Zenodo's current rights field in the draft interface.
+2. preserve prior version tags, files, and DOI metadata unchanged;
+3. confirm creator spelling, affiliation, and verified ORCID metadata;
+4. regenerate checksums for every changed publication artifact;
+5. confirm the new version DOI back into `CITATION.cff` and release notes; and
+6. verify Zenodo's current rights field in the draft interface.
Zenodo record metadata remains separately reusable under Zenodo's metadata
terms. Keep the public record accurate and avoid claiming that the archive DOI
diff --git a/docs/etq-303/README.md b/docs/etq-303/README.md
new file mode 100644
index 0000000..25da3fd
--- /dev/null
+++ b/docs/etq-303/README.md
@@ -0,0 +1,49 @@
+# ETQ-303 formal publication files
+
+The repository's canonical human-readable paper is stored by documentation
+version under this directory. The original v3.0.0 paper was published on
+Zenodo but was not tracked in the Git repository.
+
+| Version | Treatment |
+|---|---|
+| v3.0.0 | Immutable original release at DOI `10.5281/zenodo.21455181`, Git tag `v3.0.0`, commit `6b55e51647226d1c248dc8d79f9ed9336241c2ac` |
+| v3.0.1 | Terminology and exposition clarification only; no protocol, state, event, fixture, hash, implementation, or claim change |
+
+The v3.0.0 archive identifies its original source and PDF with these SHA-256
+hashes:
+
+```text
+120b248d0af5100aa9720fda971f0fbf5a5f0ee924e4d8be74a9a08e182412f2 ETQ-303_formal_model_v3.0.0.tex
+1e81d6836afc75287c6f064835470a284c462b8b3c014bb2a2ca3c7ab2b96c63 ETQ-303_formal_model_v3.0.0.pdf
+```
+
+Those archived artifacts are not modified by v3.0.1.
+
+## v3.0.1 files
+
+- `v3.0.1/ETQ-303_formal_model_v3.0.1.tex` — canonical LaTeX source;
+- `v3.0.1/ETQ-303_formal_model_v3.0.1.pdf` — generated PDF;
+- `v3.0.1/ETQ-303_references.bib` — bibliography preserved from v3.0.0; and
+- `v3.0.1/UPLOAD_SHA256SUMS.txt` — hashes of the tracked publication files.
+
+## Build
+
+The publication build requires `latexmk`, `pdflatex`, and `biber`, together
+with the LaTeX packages declared in the source preamble. From the repository
+root, run:
+
+```bash
+npm run build:paper
+```
+
+The script builds in a temporary directory outside the repository, sets a fixed
+`SOURCE_DATE_EPOCH`, fails on unresolved LaTeX diagnostics, writes the PDF
+beside its source, and regenerates `UPLOAD_SHA256SUMS.txt`. Generated LaTeX
+auxiliary files are not tracked.
+
+To verify the checksum manifest:
+
+```bash
+cd docs/etq-303/v3.0.1
+sha256sum --check UPLOAD_SHA256SUMS.txt
+```
diff --git a/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.pdf b/docs/etq-303/v3.0.1/ETQ-303_formal_model_v3.0.1.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..3945fde9971e59daa33d03ef243e8dbe7e99432d
GIT binary patch
literal 436764
zcma&MQ;#rQv^3bZZQHhO+qP}nwr$(CZQJgCn)A+NGMVIj7iV9r>_1Seu!>YcM2wb^
zjunb@VP$j!ijkRvfPui?$O?*w2Z~e9~J958+7>K7EVH5iYSR^C_Cxh~0PriBamwtww%&~<2mpXS9+c5&ifFx@Q+WK4rYcty#5~DZ`9$bRqP#f%
z=NF&qrTQ~*aq=NC9%3zMG+Dc1G|D8vNmHzdGGfhCp9uYVx}`kFl2gu@_8w33H@9zQ
zTU;JlZ!7Gl?bdhQP;j_hUSwx;~sP^scsh*QNW
zrXh}aDmF+5&9+0DI4ZhtyAek;blqU5aq=Y*6$CmI=Q2|$g(^X`oQf*mqU4cgj_dTY
z!9|`vc4OS#EXKN7A!C6a%~DDp8%@6%j*3H;>s-?q#5va#r8yFc9qB9^l|od
zd%1ZzeLi^sgw4y*?(s|?iOPp*E5pb4T^HA)yInbexY&33y|y)&HSn{_Wqp;10&~ZU
zG(rTgz;<+!Wh)~+f+|hGQkkxNzg5By`B3K=%0(OG}l^GqYI#Se?NSr3Z
zqS9n8s#jF>cF@|WIn-nU7E{6u%w>?P-~A#dtD~3pqZvUU%P$|%wvA0LI<6s#gruu3
z@S_*O(PQH>X5DV1o)BaSmw@w3N+?LPQ5GdElN_OHY6zKvqO^x^>V>^E>4lFUVgPwl
z9;RaXXWn_pW@(;72&=tg3{(7AlF2cNa
zrPE_C@ZBlIZnP1re6|$11N74T|v1r%SY~mlYRi?=1F{zY{C1R@&qKVJ&^By-ncR3S{IT9P2LpY
zBNw+-jHR%ePU`TI5D4gPl|pqpLZ2Ttnu2XL=d!)ny89@tAS)ZiZ0>65ZM3)X!cKd>
zmDyt--t@b&zq^(gLAd~F?BI?({XEi}eYwIiroN{^Fh=AWA
z{AKNXMTZL^`}G}o(sS}IKMqCLAAUn1wccl)jKm2R>D67~9pT&Ed-2!4{c3h@yYSq7
zvP7mfSzS!trMmRKng|w)IMB5LLC7B?a(D0D!{QydzbPx%n~VM8%HYdDa4sbo*!QPM
z+=3(qEdw$UCw8Ge~+F8Wpmm5Ce(}!tYW7imAu9{nh
z0N=a&i?m^yG1gF{r4WBB)1*^%;>`9n=h%^Wq52W?K#5G2)@
zK~8d}I_iT=>4$AkD$L>DQ60m{vOx9-bt({%#*%kh#1}bRWIcA~F}Oi#W`^gzj-v4A
zs<4V1lAlmOZHN^Z03<+6WADwAtZmP=37#qtN!0gQ+i4mY4YaTpdj
zORoU#vU4ad`!FYsZJNWa+G4xX7M>e;(kpSIp^Fdt#_>AASBf9Lp>>6b
zvAAV!9W1Wb-G^PTQ8L{PsQ*&&-g56vFO>8Fr9bqveB7}s1U;w7n{C?cz
z-xB~NHuq{$c1`F(7&65BzplZSEl^7rqnrJ8a($mf)5JuTOqinU?22Z{Dv=UpO^ae8
z>e3eDA4gZ=ol~nebtqByD@kNQ_O3soGglp#?WS0H-M2S&&Kk8E-&7Yw+_Om@B8xlzt4Q$mRHry(bdiS^B@bDV?_$6>1~oA
zk!jh?`F~Tyq&?nMQ^=YqirW3o$d<|^N)#OW9G@XV$r){r7Mab
zf7cdcz18W=f=JXyDE7LphP%0Sm=J6c?YGO$X|rDqWw#%{)@pHW)ZOePfl2W_WDKKn
z#EB$B&DNljD^$cgl_FKLIH;|6Ci2yT2i&6f9tUK%Z64?tfQ3D{@L}aWN+dvecO?Bw
z^7j!FJ63y0?XvR9Y_aSurQ7AqoMB7!c86rduiI*`b)IPNEdjFuR6v
z+rDi}3C?OOM|>DV1|tzr2*uDo$zCZTZz=SVGsyjg$qr^aBbq*XS{Y-|zM%zh<1v-f
zOtQp0JF#D4$&I9m|8ukAhyL0e^urfCe5BJfvc)6&#??qb*jJFjk+AI9sUt~
z6T4XlekYTaceY2OjE?7&z!hO;vXWtTD)I_E)RbAC*;86f*f$J%Yy1=KyzYXMQ6F(u
zQ0@^XuK759Lt6%*H{`Blv_H#mkbht<5DT<2H5@-F5R&tBXwV}y1tKnHo#%H+0QqW2
z4nFyUQzV)cy!qRsq>>KFOn76|Qj9PkIcYH`*>6WZ3)c1u@M*3R{=L0p$6&0ZjIZM-
zv8jC)!SbcKQ6A*1VFYRl%B+)=_ms&y@v<*peMas+i=2hCLud2MIKc4{seC*<;+0zV
zOw7>9SJ{d{kN{i4Q+67e^OJieRDuR6xsqtZSL&gQ5-CY`jf7vzh#Hf#HfRbuxhBtL
z-)`HAc@W29XLm8pAqBdUg!C?XtSb6X8hvLS!V3iXmIXS-eXxo62u_?~3KqAwuV#@m
z1q@YNIYrM^
zA}T6@h4aV)tBN~+GW_eY@jfT6^p`i9d^hr>Kr7`m$hDCfh)x!msEQBr0^ehplVsie
zT7E|?CLQ5;_Kx5r88Yf<1R0(P#QY;YNY3Zl#&qxW9I
z(1f{&x?;!Z9G*Gb>eK3g!v#v{^DJZfNmw?cTI^}puCs^*Qg@)PV}05{=W?Nb%~rum
zex`ZT$L3)bC$7dt5BhZ+&eL+Pow9h4Ugy%9N;Q`|g8;s1;WSB3?Y5h?5{#dQf-=>w
zlffZqFj8nUgTR8C>>iBe_iGn?bf8>cg2qohfO<7rokjeo6bmNIcSfKY3Lqh4OsWfZ
z>Va6*>i!}?^-$_PZ2rLn8B(TAUkPSbf`6$($IDQNym
zK;yL&4GYbmY#9gZ3FQGrsI2^~gkkCSxcRUgOms$#amtI-h^YpvIEiA`14wRaygV#6p=
zr1I3<0g6Qz(S2U?cDB)AJZV40pywg@Q?uEGuzHX1NUJ+l+Y2)D<21<^I+=E3C}+09
zrrOID0etti!OvY60(`V&5O{-a(y6VsuE$WlhQqZ+=em~#xEV01=7|BpI7ItqD{h&6
z7Qnv(Ep}bS;ZXnk+S}`a7gn#&hRsxUp1Ylv5I^j~5wgVZU*`DBl1WQ7`g+^F2O-sa
zi=GSMp)v{~PJu;phY&j~*jTR=&V80{x5M+bZtu$mU^$&9mb9xGshGYoj5or}A;={z
zR#j&^vwr9=P~#xW3gpwVo$`OwT=R+pAiVt-#&hD}5vlSRH}KQU2(~C$$PAD79D{ny
zEkpX7aA+|9AE3hT=lc)4{pUgu6x@#Qt?`~y0QdLk5G+)vZEkBi^#uruv9^$d+6&BX
z2p+p;+pIY441zttlmHvrVTeK*DW0okg(%^eVgiix%#oaTaH?{FvKgelo}!q@YJe%$
zh8H*3t}EW5D3viJGz%1sAE64iCn|JB;d{MagS2{pVz@({@Vm(zhy<*L$pPPJN+SFB
zTOq&*XWTF{Q5iOAv9O8&XA6P%RyH2*274Y!<-xu-U5n8iUygO6SlCrSzwNF75nw9N
zF%9HJsGyAa*egKa5}>cMJ**Z+lpnjQbUTd(CND8REYK?^wG9SL94&V7FFl8(?Lyl<
zD!%{9=@m+G^2m4~a-$037AF35tpusDss)5}q)KD@ZQl|_K$8Iv^O1M<-Y*%G1d#HO
zAUGf9$xq_@c~ZH``1s)Mj(BrjNhX)++Y*uq!RRL(*Ga*$yzi&@vNc^DUZRHLt=nt2
zt5JyryS2NCcO!+SkNBP5ENzrB$6Ub4vyvB8^c33*hK0JYPZ(B@98H
z&ioxKROx9le=oKn{QyH&96OcoNk;RS@
z7s>?nio}w~Xn_cK=Jscy9`p(4_>2>5;ZDz2yeL+-i~N|P9*JJ70bKizJ8D$g#}_h(
zdDT2;^6I}4wFd+rIQhq1F`MFtyRj`1N&G%|f=)p3$`DxU?!JhFB@F!AQ3$9a?usrn{xsY
zp>j?Nb^>t9BaQ|TCoRDQH-WW3wDd?(6gdh}hR(ByQo7lK%^S@bthYBk{)MaNBmh-O
z{fVWhI<4eJBF{wU3^ARdyiJXS3@_5VE>CFvJ7e!3Se-qMKlwhF^ikInDK~vVF`SMB
z$m@g}T*fgkuqxi>2C?FH15}U-0ia)=L2HmH0a4zz8<2HDEp$+mmUS4rwTWW7%d0WK
z1nkBA9ba%&h%g5zRv`#vC!umma_YV(K_q(vzziZ^auHKcCV1-!zG_7Um=gPgwCb?4
zwA!!eR6tg1{O1n1Px})Nxfu@Gd-ypU)J#ods)3V{=sl)C1u{anFf+PHv^HhE3G4MzOwEaT
zq)7Lk6wHuFax7w^muQ&A{`5hR5Veei&CO0V0z=>d!
zkWwtTm07I~>)~KdFY}x`gBd@yqQF(#65@Bc
z|52mj>0nAgFK=X}>|zT=FGs-0!0>v@*fP;ng|I1>TSULaKKDt+H+i80O(f3?^
zrdSsh*tx$%MVoZ`Q7kp~wlzhisSV!(DNQp?f=-h2$jc0lMIDfh@miZwc{eg6@v#FCm9raDz0S2gg%2s1|o2}
zLs}~bJZ3P-ppX!}C^QVAG_wJ09e0c%gD6mpG1jz4otQTB#Kn%mYo0|!$}j_rAu>9Q
zxw6(YgNXG6JGPW@o`VL~VvPBc6#zKM-OGejISAXVuvh`3v4tgRGhmVXjDsL^0Egge
zAahwpGx8daI7HC!)Ym{k5p+^q56J3a1~@4sX^*Lb6tm0%n3qrpdjeJ=@Bsu?8py^0
zqt~oMHC#Xpc|o))@gNCv(vYlxMQIQ&XC>G!2>b$^0qB=OEjjWKQ93VBK8Bchh
zTEdecWRs8+gAwT=wv-zr$Jo&K38pzJIr>1l^nh5jFSO~st&kMu%tKHgsOIDnIx`Xn
z%9zveRAL}ePMQX)ox`}1;`@jJTOY(mY{0+-9cLx*EiVQ6AvGOj7~?DzoB?4Fy9iEx_dgwtcu%5M&@gKA1>Ib3;|z2nojeDj$YMHYX@Q*gZi8f36b~
z68$2(O!Jk!Ljr_}{ZTLhqmI^>_!pZ)#^WhUx#P?-ublINb!YH0i)bpj>Y+NocKG5X
zBo)2p+tabr;FS5zLRXfpd9(*1ep8-57Oz)z?&x?AXn~q*XUR}BoD>($MPs?JXjuQ^
zAuS{QXayG6%;f_Il#JSLsgm{J^|-F6{l2)4)AkRy
zw7%#<6NJ^jzan%tAeRD2f6jBvs1FP)!?KEJjsro6p
zVvo%Du5Qmeg;Uzxe-FGlH_2HZm<9ORK2f%L@o%kcxhFDzQINlbxA
zb%cRROBvUGRyIp<-SbbC@xbXhJ{CGR`m{L(-!{tn*{Pl8E3)hA1!7BeWkB4@+Jo1
zOQJ!lR#E)t=1SIm9si1w_p<6lX?66s(1!@%Ik#4D&3sUdJq`{1Sw;O6Rf6GfQgsavxuwvam=QXK%bh+U2=h
zvf+bZF%Ggx+-|}Ak$Giqyu!0{8Mw~`NgZ*U#`aH>tg`*31&xwT%0Z>~Qc)YZ=sA6~
z)$Ae1|WtMA59-x@BB>dd9J7Q`Y>syQt;B|3Yh(-4e+L?6d2Z{m#uvY~F_ax6$)^
z%RIeP>N6MouIv?mZtgI<$;=Ya_R`lb@xbOfAo^llXHr*rW6v3VnB2dhExsDkACA~~
zUd$(0UdW>xR_gqDwtI=tD}`E_?1*>mv7!IUM;GuMkA4tF7v)DQ+k?8@@z&Y>lIl==ONRxdA?e=M#a
zcPRvw=J8YI(W@<6tI`kdr~1>+Pch{{knbT@On_~BXmQ+Su=F|zGSAu)@+7OF%Neha
z-hRN4ruEI9u&&$!z>-TxUBH$C(J{lseOJCJ5LS3Qh1|GRy4J(+ZF
zNI`7RUnZ8B#g@aCmCw&c_DZQVbrzbZY2Er2l4p8-BRLphA%F2v*mp*vPOVpqo)iUb
zCg95BH9s|VZQmrlw%g!Xgv7?~W43AOheyY~6Cci2WGS{0TaA&;$RwMIu@zg7iRD?I
zXpZIC{{IhO!)=6+RhUU}86g9&o%4`1_E(oxCC{!S%
z2)dLqcSr#)5^`FYAp-cKF9;V25-2kWA;wA>!^>JAkdm|`1{6-5lrhGsEg?c@>Jf(X
zJj(D1m!G7J2Ven|E+}RE
z(HVz|1hHOTg;2VoNF3nGt_!^sHwP3U!ueA6(}R?GdWFv`*DuP$u<<}E4;N2}c%jA4
z)lkPi^icdfP?u0%!PEnUFM3+L_HRZI!QhbyDtDr|IBCn#&S0CoI8ezCz(XVuN5n@Htu6DM+MKblfgfu?ROAC
zH#ZPKe{;Bjwp^auE>C@z2foXLUuD7Xvf%gGaC_{yJ@#%OeTm2IPDAh)H@T1%qZVlj
z0E%=eA@?IVU&v?2+v7*%QFxHd(Ylpb5P5b^BecK(V%GqO3kORdrui
z!Ob(jWZS;p&#&3lFZ(E)V`cpdBWLG!N}VjsR>w>^**Z4%?%Ddu@ofBdGUjz{W0@z5
zB^uR@wn_H&IkKOIdM!VE_;qbvvO+sP)3LSHm6zRDwazAn$=O!sNrW!z+oZ_$&(2!6
z!0da^V0{1IL;UUg-+zan?b-MBe0w@Sj->%}HpN7`rS6u6PqMxJpResU&B2ZL?3z`*
z`#g&?KVxTnt5X8qyWc*q$Es~7t7q7z%Er*W25mGhR|eolXd22==ac>Mzz)VLOYw)e
zEK@v~*LdA7NZeI+amKtX;gMfQ8!reQj{#1+N0|)1+#y!#yKO9LB<>r#
z@ar6FPcB`Q?taP~Lp*}U5Df_!0jkDMmcQt*RRD348a@N~QX;JN(02h!#mcv9N@l
zr)}bRf=fbUA3CeZ`7Rk=l5y7Bd8CL2#`=zev*>a}K7q8QO4q#1sy885DJqgcRJ%Y(
zd1H|KRf27PBH|m8^?KHp=xN}%B?M4|U_5o>ja!|ON
z&6gb07?n?yk!LIys_k;ZjA_}xcujggL=f*3P5%)|!WR6oWudoh4iz>+2i5J?TSq$42;AzGqw8oRO?`~F#9HnXU8Mn_Ur9*am1HM6!1f1G{
z#Ki(^0)G3CTg+ns$6f|%7N!%n6k?s8BCdxR!pbkuQ}OdOGklt{0b=yj5Nw$rAwV2-
z597Vk$cGt^$BJ{D-~CGx;{YHjKb}e%0r)Ueg3jtz1v}8%0ox{BV8DYnvJKuT7uE0)
z@~aa3sN1gEjAn?#t@d2q1;^~e{`?u*HoF%oI^LgP6pKg8KL7w!_~#^G4@+TYXrq<&
z1Y;T-X)$EGCR|W`d|uN61Fy>r>KDAajYy}iSH2J%^3npff8yt}v_F{wp6QJ-gaOte
zH%|esD-l1n!kGkgnF-drWH2r#;lI)W(nEP62K%%F7qj{^^3%S$5o3_mHZcKjuuq5Z
zSaT9^)+D^Vi%cMty(#ED)b6|g`W0rJ!Lz3y`999OtZ)d*r~q#a>9PHEi^+4ctpWG&t4%%cj?!H5u^fDO^#R8>1Ts@ogRmjCN
zQFLZ!^h*0GY5}4=o1&HcN?Wf$;1AHrWE?90+ypWkW*Isn?4#Jws&8wn#Bs%Ps|*I^
z76_8Al`ana>2Nv0MEmn8;XH|wuG9tv#I|8F8Xr+@bUD)(;SGEoDUz>Gg{P-=XPd1?AAlqPGq!LG|JCp)XFy8XuSUKu(^@Jzr1b#wxr$tE+4TQM?GUn0H`
z)O&s26`L)nL!=e%qOOapMu1}p7BWSfEJKc4#+cixbQYxl6uN!F3DDlg*aK3#L{LHA
zA_H?EaYk^>oH>m*Rk7mHy%)mz6*?USZ75h5^*Thj6G+Mkh~hhlnu`GLjonA(V)0JF
zaZ?S5TKL>{Nflw7g+(iJo`;+L-|C0$QD+TMcn7otD+gd(Xg$PxOu4PwWVQ>8(t*2l
zvR2kUlW~MLM7^`q0etttw*yyU0e^5}2fZ|x4jrQd7=QASDWjR=b
zw3T{USw+zf#7@L#;h6wlM1;Y`#DO6~Z5K{pe84Su+2xH_?Z)K*9b!Kqz=|LSE>x}_
z1|*yI;2${#1GqeshXYdsgcOJX{ZTWun!4a{5Qg)(x=!@5V9%pP>!v2Bo
z-yN&K-NMJ^-`w96wJ}3l5QZpFZUc~^RlR!FX$G|jpjMEE;>D0$&d~mKx~1(xddo_n
zNpjl_Z>~Xd28mc=5T|e%N}A=Y8$y8X0gvJP3*Axbjtw=}gXs8ix_vqF$;a@U>B~Y1
z?K)}uxoNpPRg^{myw!fwT}T3eyPuWDh~G_#dmS%KJ3w)-y>RQ*gUWli62q)?>sNQZ
zu!6ur4fw(=i`?4UA*zPiJoJMwq+VP{DV9&dCh>ZKa^NHISRj;&t}#Rja>?Rrs1L&n
zRQCIq3S6&ZIlx>nY|=SgPD{J<4&b-}EzB?I5hfaHx&wyWZ#ZMr8WNjX0Kh{^dV!F7
zZh`g5>4)Uh3I_
z^gf{XORNFUrvx}&X~Q%IP$0+5Aha48y5^TatdeQ6a<<=avG}6B08jch$?x@Bdy22y
zlh5G9D6SN*Jww@lQCTUz{0;Z#6O^=DG`wPHa0!S-CvnYxQSws`d*ENE+ZAsES)@6^BPzhfb0r!PHl@t?9FwfZlKTP9fe1}cN|Nrt
zjxK+C%7dy-so1dX!
ze;fDoC=dj%lCGBNCJdveU1sWal;$&f`+%IMLZFtsTo?XzZXkMo9DBkQzX5~uBxtnv
z>f*1}Bfr1Z`H3!
z5Pe#tDJmBv4?5$Jkj9C*!lMfm%CsqPkSUyNL44GdmVD?T{Vs=M*Q-<#$Me=Eoe==o
z6}ZVP^+j&QiAR=ab2>>8U}p_nom{Z)9OTkzp4Kv*`LC4IP3wQHbiPoV$6kx{=@XiH
zCpu6HkE4=Tu_01lKt{37aszDT8jlFoMc;7Ml&3{R4siIdY`t^f3qml|H%nEhqyjS0};v
z%Lh>y5VYrQLW?iwZ#&_D5(#}j}`a<0%?F=SzpmKru^B|?yu_s<-m
zKOI2K-5)|C=p>07Q|bdR<>3pnaY^@7+UdEZ!?p3j9Rlh70N9F9W5X8TV;;AR*LopR
zZ6pm}Tt~wZ0V#c<5?DvlsyVl_p8vIaV4&{fj94rrK}btk!%JJ&t>ww)38z}Gf8-I~
zxE$H2m2=OpM;m`bPD18gy>YO?c$0XPwx6Bp(0dPhSU?WQ+|5ZGrz+9roTf3PdY@Td
zbSzSF5gLr+BgK(tY~Y8#Csj!%tSF+39*@JCACIT|vL1-nMOx(vx4xLGD*djG%d@MF
zhcA(Vt@pH$Z=pa0#LtwzbX1Gh>8N-o-7U!wsu$6(&KcKCMr+6r!f+U`b8w!J?U1@Q
zUku8p(+dc4!d{X$32_!aR-3PW!)ud>Y;H7n;Qf-HG{y$~T>L*$y70Ipb;cl^aUOhd
z@ZwqNyb>mlt5Mx0I&<8tm-_lte&0rhn!auK7c7i%MXq
zr)Q(E-qBbSqO`8(Dgzg|wS@>F8K@ZIX7yc8x|f`UWU}XalAJuTl+EL0S=1vYhjU`c
zx=f{H&2H2XeOXUng(D=_rt~aa*l48^I_kG>DfCY`qgpz3ESjZGgiSEc{ACGD%i)W(
z`sDN;+NxG6sm|cXp{J*Pciu-ZFb(0}0`xs(6LXiHw2;Gq&k7&=ac}+{K{rWyq#rrx
zfSirfv%fwdk;v)~stme|%qBZ$NcE#d|Aa0vmhp+_l5w9`GtmR!rmKFQxSdwtcALh$
zKEL2TglcS3k`6{+?v4TZ`)?@MMz^d+O_gS@AfD4X^@lz2B(Gk=b2-^@;%Hst?J)ws
z1HqTQ&Wr3vw^;pr3%ahZzK~so%=nz~p0`%>tz9xFSr1$~sfDa?0ue6af)Q~}<0Urw
z*UWLQfiwm@w%Q(oA~ccS!p%5leR{_D0R&A%j{My(%?R_^$$oo*>iM}G0WZs<_1`vA
zGtz&pL`q$p@ErQznTMv0D4};=ACt2@D1z4|eHPw1}23|vZ(UM{at9!
zeR?`S`QNn8$^NICW%|#z{*OL8GaCon|JKd6{(oJ>1}l1lRKR&`U~lEtI9hwo)biS0
z=_FtYAtaon1VDwhw{`pX7Z?ZuVamo_Xh8sG-k+?ydhY==b?CN__sw>6b9sI2Hj1Vp
zh~|zC9gJ+oN%XWx8LPgI4H`e$IeI@y(&T9ssmz_J7*m|T>XX-{suD~0)3m$pY*VVI
z60P-q#>zEQefBTYDO)=er^Xg0%jzGcjS_OD`?k}vqJH_v0s4EtPd?x0;px+R^!?mi
z{TyG8;{kH*hXHlHjTwhtjr%#jpIlnDhr4djX%R&lzOKaX&?Ql_j*!3Y(e7sbxs3Ez
z32J&Kvk{_s)3T7P<)$$_%SoPNEtr;|K8|T9H3t<90yB-W7NSsJ{h}2259QYB6{b9L
zewEX{J^jR-*SwLt`s=t~&ehG#t2;|Vnle?le8<|6bA~#PvJ!$Zf4k~BD|_5yY@?b_
zl{)VuFI6|xrh1=CWYps+OvTQGKcRl}(-QDh%J^L#8
z7ZcTf@YxVV(WfU`v2bYq9@@nW5{K89K2I=Uaf9;@l>>zA>wlQV>uRy#QFlgfLZMp@U;xC!KPK6#j0%#|#$
zTPuPS4C{z?-l_vMUUXy733)XcPK^9O4a)R}a_Fs0dWV(5e!Hy$-~m&4pStW@N_}>O
zw2m3e!TfErbp;tTEVmU>9oS$3m4D#uA4tKRe0`63gJL^B6;$i-qOq*5_#sLb2~8EkQV>;G0yL=uPz6+mv_c}ZWemt%NK01Z)jn3px@
z@wKPWH0#Wz88xV@5+6s3CJdHbh`4Am8oNZt>n3_79cBbp-Gte{oYY+nX*dL~aY$ga
zTTypiIxyWx6D!wulRN&TJEWvxK5mbSH*6=;_SzFa+ph4okniu@I3kDanrqh)o&5As
z{^cO+nM|RLOuGMvD@KqI_dj2zDA0>p`Ds7xPZnM*&W69?Y;}7dBzVM?(vrVU5;&w1
zDa@J3TySnvZP+i>xqn7n)IK`9Dg}4Cz4hIBCcu$z*8S9jvhj`MWZqK3XhkK_ScsziyR-KfLe8+@CE)&;sEXrW2>};kv6~s{$Rv
ziu12y$e2hGUJQXb_jXq1
zW#xgRuCB}YQ@4_(7I~*r#tG=&L+S`%CQY@%N7vvT2j5|O?mvdWHwo52>fKc%EHT}r
z=q&ej*VVcHv2fYk;jm+%Som-N*IxWZAureM06kRpVJq|J-Qv>Oj}5+dQVg?&&jcX@
zl6g95+jE9DPOY^Ui;2MPJm2-fz5w2U>b=h-I}=R+)Jqw64PvAE$etTaSRM83eHV@@
zT^*{SK^8ZFQ(oFZ`8G|-8v4!?feJ}JnyE}p^k#S&F`O7w1qt;a-k9Ieb{vqPX~I4c
z2i7;f4`;@^-5VOoKaL^6h#%n0V`J8$pPR6&zO)1i=O%1*~DaHo`&_E
z>AI_5nHSn0CRq~?lXX3vg%4v50|HxLRmIy$VKxicrmJ!q&|D@r8PMc&C?~9B%$!Z0my5X-^XoONf*Qs^VGsbPxL%pAMl-t
zP=1uUuvgde9x$brTy+Nq0n)W|v{$?%{$3nsL%a^0W-{naY15s)Tqt}kvMNq~8upCH
zFm@`RlgX)#jzFb^ke0W$MvvMLaL}nGX&qjoU0DKSI8Ba>3gb@EloX;}M(!&0(
ziVz0P2UsrIl4Z1ds&xZdx2s1h)$Mx0fr4CjfSaUhh2gObn=vsX^{ck4>Qa?RT`2x@Pji!C!U5D
z3hs|^1pky4o*1y4Jh6|-v}^#-Cx~LGjb?;zjmk|`bG7Bo(M&L5xjKn{Oyg@K>^S!v
zeRW`=pdX{=kESsv5Qd*xg&4E_BiG#S_K$=M4!A@wFZUPib
zHGH-DMJ3Aq6CG7@UVpr
z3dRI?0#%8Df@-ECy8aoQQ+w_;Jq81xK&DgpfWNo+J#N>0BVs?-O9Xa4-|68)fL*;bf8mz{MdMKnf!X8$cg%g@ZMNIF
zypcjsyhM*9XcW{Db;YrL+v*%TU?)A8?=bjP(o}mG&X_fvf~psaUNXrls%tAxUkh;G
z4G~@d7yt_(KOm_J<8?VlRJSz7`dF?yPVg{0N`nZCoRA!5Pf09iQdpN2!Kt=^E;1q^
zY6355@(1`s_&*xPGH#e0Wz^!>DdK6MB_sd(qnqNWU>I_S<<`axQo@}L$_=XHAtJHN
zAlhGxkytv&)V={W1e8y_!}_Dcd}|#?j8o7vat4&-V~-}0$avWcO95sCqfvB?(>|W>
zX_gOG-Lq;cZQd*0#gDl~JaL2=Fht>i@v-)-Fn&V=%WLgi`*HG&sdf}`TR3WD|Gib#
zJA;wk%j3lAd+yJ1zNYF$#q#b@fqk{~SZ=BS!|*xqwZ%mziw?nrPzOogXPyuP*rT)@)Eo25&^JqPsxPO%@N;$+xduIO+66}fl}iE63W`#!T)97?
zT>0iK3IZf04&`P|MGoFQqb+0kXMxtZ3UxZM;=C^yg1b&bNNzA@+fHZG|HS>xA
zH?-@O5}`oo;WR)`K=?2|1u~&wvvAphRO`hM=YKlOj6QxZkRIOXw(9`8X_rI6srfy3
zRZg*K{bk+LXA5P`ERyzW+Fn(if~(>LrHWCO9sc1lI+nM0AjEOEXNzp#Td3OSH}|dJNCoEHvAj>
zk25Ar@6*53RV0U>l0d_Xh$=vz6c3IP*JE
zoYRe@1KGb;qW~(I5y`;kDLo%flgiUfcT<6h0RD-+;4mfx5D>qbHge0fN2sbeKPlrm
z@1`S)_&#h-d+6j@N?1VUfe)7D9I(UUGANbIFbg(XJW*`AP!IsB6t{*j
zfQYB3fr{xWIPJ~ENbLKpC_Cq75UNcW0n`MAXL=**uG+Q0bC%b?Uh1!h%kkA&eP)+O
z+G-|c4b8mMgk-URnBdFta`JRXzEpt4ON$Ns(6o4P#P&vdWjlrg7{p?|GiFO0jAAeQ
zXnVn>$YpvXikC8wOnMV1W>q1}NLk{fEAi4EH$R_>eTv6DugT8@@!{3SbNp{s6U;l|
zn0LVC74an>rnDYfR3c=n3u5q=MtewRHWUN$d9aDMH9u75!U26D%WL_(IG@@ZS@=K(
z?q(xvKQCOZ>?mSn;g(sK;@{9##fuH~?ZG$0;h1NILE6Ha1uq=v)d|t@=1~O!M9nbK
zlpSES^6(OcIUoG}WJ1vY2iwZT{(rEojLiS*BW$bIwewCJ;$K~V5Wc4}ehfJv%Q3y|
z%}S<8)=E~JGC6bUokiwlq>6-8+TYjR(I7EJ4hjF~X&k&kBmK>exh6ew|ft
ze||mtHl6g@x}Q|2&g$~Edp2z|7t*QcSj5u>7i_z!$z(6*iuc%lpF7C!r!#wgJN>_x
z+q3p({5ie6{2#}$0C}y3iS)KG6&cj->gM+TMI-ooKMIP&H8lL4iE1G#X%1uuUy8k)
zA15*OCMGGG))~lZNm83aYB?AMhoQWFc$(JTU$gZaUSr{Vl52ARXs4_u%sPdvY)Xiz
z=Dqb|{Gks2fUJ&ZlMr&_fSHT?Yr2K?RDXtE{4BHXuMTdO<9tQvfhLWnnHa*Y3!`aL
z#TAb{N7^~hf8>AQBRev+Y0RNyPvgYm`yHRiG`P7UD5BN&P~`kdY^6*Q94fAdrKC(rEbw&5x<#YcH^
z!rg|Zz82&ylj463f#P#w=mbHo?F9}Wj$ndWxqtQC{D-BRciDx#qnwU2b@yYI9h-%T
z`Tq=aokK=@e$A}F{va?UI~<}5mf>yL+qlV}x2h>g4?y(}D&OlKmOR!i${RU*p6B=b`%+ai
zez~dR!{M`wrCJyvI9QZn!JLuHCnE054s(Q-TdcuLwDb3gzIQ>#g-zqMe>2;A33*!m
zK)EHXl4h3veluZNpK1-9YS
z4UA8kQI}HbyE7t$wXYAJDtru8d74uid
z(6+&R%Y}1f#Yff<;fQF!_#{F%Gz6n$8=rUMI7_*~7zN;+Y{7EF!Tk3tfJh6!4oVVI*A8yEn_9HTtkWi$D|1<@k&JM}^b5qfo$kx=|<)V!H2G)l<*$i<;UY-ltJTyNM6?WQQQ*gw|R$*G^MVbDscrD(K-43ShY
zltr19@V8SdBQh50cckV7Zy}R;8CI2%rA+r>-p#^^vW)?&C&_jQs)c#niwtU+qq72`jYGXYqAeuZmG@*QX!#5L=pjBJ&>2!vD6qis1&?VDuU3lWz{D
z;NY^0Gsay!e)~^@+@9|eG}olm+2nI{Wx@EDBB$SbK_3h{7(fq*;ZXy8Fi?j~{8kltL*>R;A!I?9wY8bvEx?jw*du6(L$L-FZ`rAaf(y+vK^f?+i13W4
z_0;*ORbx*r0R1Ruj
zI+#lbhHAN}c=PNWygO8x`$Ii5f~)9zO{Q`)(}liGeqe@+L;uhQ!6;~o5=;jQi&^o_
zafD!tj<(+TkGt)dmX+vuPaSCXR9f@BBTMlsNhkH7*-S71I!H~760%v$r0^2NHX!v+
zBNSkbc$N)qzs&s9i-+bjgU1Z{E6N2W0)%kzK~-PO~95j0G}pbu2v5
z4TI@;^F>E4R-ya5<8gxsbKwcj8m@m?;_HUHioH*b@l@p*r!iGZDNsV=Q4>z|fXVqc
zG7|OVob6
z`Lw8pKPZ7yxP?0?)FqYg^rL(hnENB>1rV(W4)Gsb>%=UybP9i&YW*AXmu*FikVQHS~dNLN2H?(>47C0-XW8#xn{1(X~h2
z#0TAvb14aQXmB}R^fY4L70QPtyNbWm#NQO}<6{E}*<*mtbgK04WXD^Vhya_@qj0y(
zE{~R!3A@AnxfOk#TowIKtDlYwE}ae-1F2d3VdmFE;NRh9D@`js-L;{$ISHBqD+YTm
zGb>7VBTxBpMG7hSn*rsbh>mlAK4#@_M9gOd`kW^Il#ER4Q^vm&fr>LMaT2_-?^$5f
z_;B+2JgU6AJ2Nf9?@?|N)C#JxvAO%HDr?3?--EhERvCK|@5)1r#tuiuuPb^1RQ2%x
z2x;OU+-W;=gl2kcLGt;VE_R3pf~nrV-tbP_iPW3BWK3nH>baTBjwb#3`J2dd1o42I
zSg+N*1DBVN^*0f%)Y_0T-qBuOr`5Q|=m1ISl!p^1wwKAtUgU_=y(
zz>Zo?f&amCKWP;8_k57;gj%L&kMNEHnQ!mMC?Nl)6n&54>oJJtoDmyhAxNc~zZ((I
zx?hTc=z)3ikcL481wYK#i26E@FqfwZp;kAY8I~|#+`^ELB<2Ymn@XEeD^W)>$_ZT@
z=LyLHUkDY@VtHwtiG;p)YW+hNLFMkc;_lH9-OAl^v6+S6@`*Y6#&{Ul=$mp!vCicl
z#XK>d`Zm@P9~87h6!XR}lFHDS?lcg-cSS{sA9|9B;<8VMLa!~Lhzr;yQf}Zqp@t)^
zu}*1XzP82cKUO~5d7}$HdO?wag*Ky$=g(vtOajOuX*TTdi=@5N&J`F8dp-*s>;BsuLo&e42LwgW6rYqwFT@d
zZ4vj5P(~jX#+&)j#slF@^UeFX^7P%}5;)OcV^`d7plQZrJJ-dojSB(|S
zgiy+9D%|K+sHxS;^J5VY&)B+n7rAjx?dJoGF&YBP!Nfxyo4Z9+jQ1Uu&m>c$L=_5|
zrfTWI-?%h!yxzeVQXc4+nv!W`%zbD2_88~!uyq-K72gR|f-aRVbp~Gp?FYT*-
z&*ynsvV1k-iZUt~CM8dZr2{L!A%Q!SlkR#&LN*zB&h^F4X!$7IKas0=YsNL)B$X^e
zHzE+duoj75@z6MoypKwSf-Y*Z=ivoVBMLJ4%PW^il7x<+G6_Xp
zxZd^ncz+Eh8MSCKkBrB|8i`)AFznE=GIaW>G=G0w8`T$8RB22xq~EDE+jm?UOEo1`
zb?IBEKR>w%xwgNEd@ZV9tPAwqgM8jD^!Dg{ALQDj_v-t5KRv&nzt8|X?FYd+Q57bV
z7HHbmZ2v?>vvqy6^hIE+eC}!6LDRz)g!DV>e7ZahqQQ6UYnqEd2PO93da7zmMX|;l
zrhNApKq|Xk&(Jvm!;x?%i)~?vNaJ`MaqI6u{8^qV*}l$(szVPxeD_2V;1-bY5SfXkj1UTn^^%YI8-pJk0TY^j*dKBR
z8I>ta6~oviz!V}HG~tNGEFyVZw4gi*FGRK<)vKG>zf(9&0=d9gb&Lq!p@>T&7kv?{
zGYQ7|2y{79PpyaOK)V&RN?@1W>;B>Wvs4}L8}WPFuQ~cxXY5UUw0-Xqfvw`|Yygq|
z)$`Kr{=tCQ!nRk~Rj+rM`kq>|9)^=wj#Jgzc0hD}Sq5rjq+L1jOL#;$9P1i}@_*m?CS@~1N-Z~W`({2aF_E5Yp5t*zTSLq?4&)-bVUlu)P;YB+0e9j*!C35^@W
z?q9i(-2fYa+`PWM4+OA&VS>`CtD+>03ZsdrAi}XuaSi&I2&6=Iql<+(GV*2!l2VOz
zo%oG9h+m7$!|p&&SSgZZ{?>O-?M1P3Hp4Ckbi&dHM=!y%Z=*rWl>PMZrjCy&4knvs
ze>4AOSi2qiVv0f}=X}BR_Q7<8wSjkO<|@YEc3!%Mxl1BR+Z}G3r(9g`3eS)6#vA>T
z*On&5y>-q*&@{qa^VU}Kmf39ECo`OFIayK)T>aG{OR#^&{Ahmj==2X@!bd9V=|
zQJ=Bf5ia~+B#6%*%h1ok?=zo;GJ-nv*^=rPpm^Qh@s_7;#=Mjp&ZRVhrzL#@q(?B6
zR)bf9f3R|=rAEDF>#Ga#d&;+YLM-hN7*WFOsj>wx0W(M-=I1o;ol>`{#>PcHTvitV
z4x|rto=^_p5WuJFwrPVQmCq}ejW(^mL)Wg&B
zI}*@zgN~y#AEja*3_8q)rTfmr84`e(qfSUfE)SbaiP!)>LiECo^P00WUsMu?qiY05
zuCtDX=2NY~nfjLPD+NkuP=
zhZ@G2R^20>YOxyEosafGVIC625Ae4^(OT4_5+lgXGgmFxiD2F;O`^;oVa?PFT8*u9
zlX9<o|nw
zi?!X-D}F&9(2ud&p}PhgXbF}BKH0~jK((#&B_DGk0)2i(@jwDL>nfke+OizgD)cOk
zcd;mmK&mANn53~$x-)xwGh7Ei_|&vc%URTAn#SD-?Vdzv*!9ihH{8$^^=5)c$Tk`23gkj{v(rP4yF>BzOR0cVU72rA?x
zJDekm0E*GM>MLiX2Y3{OK&t?9R1w&JV0fcr%Dc%hN({k4*ialz!^ZDxwwL*eR(_nn
zK?E+Zvo^Z@ag#3Xyjvf7SNBssa63dsI`uSsPjS>X_cr{|Gk-s+e4Kkva8-zGyzbZ{
zIqwjF2LbnXy$t(9q8mFS4Ao6()mICGP`|hjZ&niYwo`8>E0c#qqe510Tc9i9BFC&=XEd#w6j|3Lz2?J
zrim{oxU0#|iF58TWKZ9sCW@nS#AVR(H%ZyhP>l?~`T`O`X>ujy;B1;{ofAyM>s*2z
z5B?sH1=AXphi(@;@Nm1QSAYzBx@HxB54
zzGc{F1|;`AhGdF9c{wF=_jD)Mz(!cu6D09z5Glqk{yDhr;FBp3N%z{O17&N%fM|GW
z?=-)h+H+ruVri_KK92Kk!DFiNFVg@6YPV%Ys(!qjW9s4cg2H!H{i9T3`x0~Z
zu*%|O`d(oi`2AO*Lymlg`H_)@A%IjU*Q)zzb3=%(5bmfH?lA5T-M~NcZcD1%VJVD^
zt(bzODHxFbp?nZZ^Aq4^`o)cYvVKY)xo9Y64$x=fpnRfHq;>8ZaMrp@q?0m6(
zjM%0CwO_ZiP%Oj<81%eDo^5qmwS@JZn@3?N2~l;M77L-Hy9G*>F422ygn4~VlUgow
zcd@Y;c@vWjh@lal;virF!(*lys&nmIvzU2&5;mMleb>l%ty#1f=||DRyQ#u@O#-*c
zYm-Tab?rQh5!AV!W;KWuX`=MGqSqlz_nJ=J94LNRk_lKxHe=ew<8uNFJ)ZVNJy3V-fO-W&pC1&eq$m7Xd#;guDuG8MeRJ6o><
zL{60$Judk>KIi${ossf|X1$3xOyRr14UYVL0ypVwVXd?8tV<
z#mYm=nnA}(TAj=dbnMH0Wd$$e&BzIie1x@GkxTb^?(u^MYhyV~Nu4+6vLBLu`jon7
zwnA^HqqWlHu9^4v`=ugC+3r9711g9KqVOH!4+X$FwZxkKlIW9Z?o0L$iOgsVY)V6)
z-1dTI`kPz_Li0@^y*L{DUvwWk>K_t0^MK
zF{;vr)G6)KSm!)5%E;%0>;zStua7HmLF7C}FHtvo7D7q(4xF#o4xvn4GS;`d!|;dX
zG<%jz)S|y0zq1X%EekUh;3dxd7%&K|0l
zXD`ldJC7Xojdu_}U2h@BY%65q}x`82`6|EwwAouJ@zHjOvV$#ss
zj74qvqEWJT2eYih#V>Ayk4?XVhl3Y{C9<}KYh)o8({
zcUy5gx9O7~1Tn?h6c;M(uSjCoG4Y`a|NwJyx}%s{_Og?^5E&6kCl2{wtqMemBMX=f5wz3|eY3J1#?`aUjfXwy
z8$*(-{$2&|40{;=&Qn?L#AHDBP*>M_vl>IAGitlX_kp|qi=|^i%iAHGDC=x6&fe06
z#1$Q#9sZo!Kf+>gNLzx%E%kvLYT_6gLc>Mzh%dTgthC+F?9t;vn1;ZzVqCXy)>|OM
z;=snm2lYuOkCk+oV&dY~q)~s`XCW_&9s)5<;U$6RK~j9wuie?e@H5(GXYNP8f<&mR
zE;;asOSi4J?r>0mD4LlCBJTajk1^d(AlEhOXb{Wc%hUFEX>H64cQdbgl*=TwQ_leI
zTHcdOeXeYPs44&(V@m=J40mQDIN!m8$$3j$1bBjluyQbAc7(QwkeY!P#7LSpsRBQbFy4F{6^2#-TFSpyeNU@edNqiwJD<~u4@>z54^*8TpG^G6me&gAewrTq!7$#&FTsxu=UQxAa&3p9Q~IoNZV{~X++EA
ztqKYF0mD0aliPC&U(`3s8DrF&}
znvzJ!#HBb;LO0%v=_*CRO`GD-JlSY*fad}Zaj4gZ+2Qd3Ffde0DSP`??+5hDD95s^
z=MsWTQ0j5mk&be36Jhi-t#&a~pQ~%#7qw;~{L81NhW1+vokNgdkeHGuZH_j5Ew({;ac{O*&;%k>1S6+9*^Y
z>YOOlOhfs!8c`^!L);*s^cGNE2Lvbwxr`|_`4CVCAk1Bc!~jNWqHF=Jgz}uny=`MH
zMSs)``IHh-^Y*1~Iyz99i(>%z`T3wzlnLyfP^?CsSnD!dCBsSr1MTksKV>sJ>f5DeepJPeW{?~LN>SAR^^2O{%-U?TMCPJlCGnEmfz|%4@KWO;T
zZ1YgqT^(^LR27102+fGIMocf&MvW_I9yCPp-gN8h#mXuBVt?uuJ7(A0jU~~7v$s+f
z#;#snz8^Slesfsy$4C981co43Sc)XH3ShPAIUgbRXasnixVx_dG9O?z2NoNOi(b;@
zq|lwt4LpLWTjoT5#7)N(0Yyk~YdC8d>9*gOn;J{AuuU^|McBbNJ0fcNuCw9B^*MF?!AKhP#^-5gD~Fby-Ie
zD=)^pN^{eX;38c?gForu)H_N|R01sJ)c-{`$e9cnBFl7??123qPUcDVTP+d3`bLeKj#pc&>B;Z*O9jWjy3SJtP;WBemmvxUA(#^1YQaY=aA=fv-g$-?l6N0KnORr6TP2NAp6ZQ
z@2R4avBoe|pZ-ieqR=mHYmu{XVi<$z$$mkaC}A1$-;6OI^JLb6iO@HxGtoO_NdOI&
zfg3Sp5D2m9L*E{O{SBZ;hn|eHL9iIXc&%@fs**`pgTRlE71=C0=C9*QO29@pQyf-2
zInAvXFuB0w*Qwk2LJchE;o&$bn6vv=-o$?KqlpSjxO>2TvI*SkdZ7Ehfn+5DzWU_R
zD`_}mPEy~4R?1FycX8C#o^glMcq2AORt%V(&k^{x5D
z2wfJ$^HtW{P>XSdY7M?&KDg@Q;vTvK^@eG_V~xez)`?q};1#E(ZZJ||Pa$v@hi1~j
zfM>QQp`$hsA7@}h5kLnyG?P5+cl9p~&#;l7gFS={lzcVST0`kJ)v^4?`Wvzi_MlHO
z?drIsdh2U%8P`I0_4w#p2n&{DCLu5M%7MmvPZ;056L?%}ICsZ3&?o(Y4OORuzH*2_
zKyMdwnHg0pi
zca&x&q7`FRrd39Vv9|_<6II%YTPUNGKi;y;dPULS9z?t5Rx}SkMmlKZEx$IbqSe=p
zBQ(~p?NWENd%GQ+*8}x)Yvj@_cr1744R_kkBH{1RmMH!FA0CBn%b-tv&m5hr5(bH5
z2Aa=*e`8xUO_m0J>p6weZ89%pZA>c%K|6Q=#5sj}r9(DcISfPL^>QpnJ9*5oD3&)z
zIXXM&My))AKi_5A9U34ConFYwf-e>_(43kXAZAf5)UiIknfZ7EdIQdQ4zIgBE-#!A
zmV>8W(Oh-ruC`
zILGC$i?mg`WmWd@a<*>mm6Jn0Utz7Sq#c;Bm@QFz^^JTjc1QdAmP>*+cm5z9jJ_&G
zhCy$6kCQpzSNE`}X!BtcOw_j0sAJ%`zw>u+YAft6geXPqf8EdBRxD1Z$A8EB8lXbH
zvUZ2T1@L(J>hefL@V*0aAVBA>T@i}7!Ht|y?K_sNAw7cf9zdj})4~)qw-l+~POiO;
z{ruaiK(+iYB8cO^!7p~E|8b6N3rEI#W8|*Jpr7PXZS(SD&xfli?us*afxWrs8Sw;=
zoB$e5j0$k6`hK78>C>~2l2-DvU>HDN{qrZ|&r8+qzE>cI{q(n!=kt)gLhn7m&*!JreWF#Mi}&a4{-aSN?O&xm
zQXdL~nKE7?%ky=X>lNq|XZ8HPq&`oRjWx@R?O&KO
zdvMgt0^-ML$&-EMioI)ZNZ+|ruO}MnSp?0akg~Pmzzc_d4^c0_!vDdRzbx-|g8&dOR1|XM@#XUCn)K#hv5Y#PIit^@_nO)&{-J
zt@KAJ#oj-F|<5>kJr?2
zki$@0k^1ee@z`!!f&L?G1OiZ#!SdHCEP5`PN`VvU+g?dGws}F781*2|dnj<5(Bt_;QvVpi
zN01CR;2H3`P^vPD0{qAN3jcZWZjSosEDsgm^}l
zaZEf8rr0@_^tPTwlz3n2B8l^&c_HkSsKzgvBnhEN&7%1Op*0MGGgAKTqFh-q&WrM`
zrl!P*wa60!yK(D4xCt66`K~-&_43?M=vIMNSuC$4(o|kgX9j)T64lXtg0^m7YJjrG
zeOp#PVwl?x#>e}n*Ov>tE82jVut+5}0zjd2q%k9agy3-3kvQy2TBfXGzNwo1{MvTV
z$uC>+KBG@(p3}8YmgC@}l0viuMV%pqpMWPZ_h~}_;Cea)
zhx|ZTH@15_t4Djj_6=I+&VmfA_p#%-s>6_eulNSsCc8`KL5W&a3Ts+?97YAlU-m2D
zy*|csmgy)ow%1ooudOD_pH;GN
zRc3DE$d#$k;1Wnn~xbhMutM)?V*w3D*fywv4wa+iBD#K
z6QH%dpPL`al{cMJzsB-bUN@n(Wf-3qPc+inmvK#L3Fcz=@W0Lcy)ykb6z+RlmqHoU<;h%6{0eBM6Yh4Sket9rJkXf_*0
zx%%to;#+ri`~V?LIj4wPYIrlyd4Re8TAE%y^Y{TmG~J8&^u;Mk;8O4JGrkqYeL
z0v{qoyr}q0LTK7lTyR^@ge!2w1&+`t9<<`Wa+q$de!@ERhESK#7DC^aTz(7Vyi$CB
zgiElc>k2xC%>P!~HmJE=85Whhh(mxQ#*AYIYu%7{}VWT-W}!QELM+(@GluFsY{S2>a}uNm-sQIbo4A2v1v>FKD6EOv@5y3iU6O
zxJjrgWQ2O^C}ygmyg)=5YJYLO-iSH!?~Je}x@LcR96(Us3(55)t5>Wso+p$dKTw)~
zYtjXlM6F~)L=(boEdorKFhxt3_R}V3f~yCSA+0IA*Wd~o)zyyaj|P=dL3gz@?`u-_
za?SDqcP4YXCutRfG_eFyRx!--D=^zO{J2y_FRK(GB@8+fuycu+G#AFuOJKs2iM42rS-yFd+cyV#W^v^0s1g
zy^UgC>9jYLJ|cFj4(h7)<;o3h6^lMGhG?m`;))E2^K;eiEUU_Pp(^@GomeV~fS1d4
zfF(LlOC8H991DJ0HhLDLiMf+O=TZ!8s044M=c^6I6!CQ(o}s~ll%EBQSlHtP%*xs^
z$I)Pd?}f@CjZ`BT`ZG6ADGzeOgJ9qnl$o&bCMES(^??mcdl
z=6*nlrQ8^_2;Z_ks$b)f+ZTh-=GTsaFp3$Ai=X;VRrW29HUA{Ng{<%~jPZtB4D}+%
zlUJA4dg~V>{nma-OMv>aeCP)jpv&@RB&i-8OdR(H&re50JP$$JA6onAgGc4k!~8rD
zhMv0oO7To;@0Y_{UA#hnK%|Gk*~oSgwJ{Pp76`oJQ8X@#SsxTBj&!uo{+Kxbt}Nsf
z24CZNa^4Wz{4tO?`})vg!#w|M`R`s}&oq`AtzYK1E*i1Uqe*5qHjhy1w-4=zgo8XQ
zfnhs)(jfs|_t$m{o9ug;0W@%Z=ai$2BoT)WdpC-&-j=t1YWAI1`6K*j^G{ZIPE1GV
z6k8UB->ZlN_FHjGsgSWBW{vns(H6TrxXs_|=~FHHVyxZ_i+W<-0?&wYH(u^*LQw8Z
zDgF4Bj$Wyo%QR+)0BjLh3SpYPbCgW(wq+fXk+x9C(mgAz@VV4iB{uc1
zERkl;&ZL1!?7f$S`C&zXyGCn--w#Ch?OX0ky%HS
z*b`l)#|dm2
zwjzxor;0dC2OCdBT1cZjL@~rfYU+#R64!%BK+`lS;RCT{YTY>h)=4;pipnRKSUkEDHhpSj8r%&Ws$fhOR}9*~D~&8aYas*)`Dy(xqu_
z+Sw0J=Z8;1!ELB(nFp}*!0IQmU+;_L*zj^kvZkY*aD=wmyp||Y{jk<5n?--=qJ-*+
zYUMF>b0N(rS7F1Pr3rs0?oKh-XBUT+k@Nqd2sDS4H$45G5CXGA_&Ea9>KS;QS=)>+
ztpXRhHpa87qSd}_Tz#*
z;O47>S+zaepA+$Zg&(d9IBbkclaENd2}gtuywG3P$MeXoBaL12u`m5
zLfx1-IR59x*Z@Zfdrk#WWZfN5DRh>x;Fw5FEBt@6
zcptZCPaBfV?NLQ3d(|;oll9dD=9RLc|H@0@o<_H*ku5F8-$9ZqXiGY7)RAW9MZ;Dq
zWy6Bc)QMpz-WNMd%3#@QPeJT=x;@dlJ-$4i?%t1v7cQa|FmMk|fL@%6J<%z2AxypR
zzDZ!H)4j3kG!H#**J^A)iXSu`psvV0-0z-)@GdG``qXIEh~rY^P>{@T!76FZ37Igs
zeRN%XHPX~uRl|?n$UGtM2b~M@E5Z%%e}60^1g|dVWDj#qa9#KRBJYB?%>K(OX^L*0
z3cf;TZ45kM0
zrB`cSUhWD*PFEimdcgwrOMgLS856^fhATlWaq9T(Fl#|gf4O@|)B`WcREZx38>I$1
zHU_~_R5%}0BV$q&v&(bz
ztHe+=D3b0l>P@(>s&?3m@iBFUSLc`b+6mM-a(|(^4qL~XOJr{`C*d+M~xKubfo=Rts>lB5!A0WqeCzzo}|8Z>99^)CT@~i$+WZ45A%zr;~0r+P6YR9*{4Hth{kdW%%6`TM=c?`IhnBQ
z)#SiFAqa+Vy`WS%rPija^#Q})QOtcrcK7rqV;BSAS!zAdi{_ucDxq_w3Sxj`fER#a
zz&IwnrMh&iO;JzhHm^KbQ*8&`6(iP619sSm3Y0CXrT8)NNC^ClQ;A)qUNf2ySa*q*
z1c^qy3PpX(VVYSDa!j_sBXxW+MYw9OmUdnm-AV7%_4m1t9;uXmO2xczWrazT40T*A
zC00Bb=U~QNsdFT3Qc-rAk71@1kb)f@7S-^t)M6Q>86B2_LYU>q_nP*HdYw!!j;zNX
zs(IFFLTYpz$YJN-4*4$B^SY%8W3FQr(yFNyb}9O`XbddJ&uMX$u!W|!(Cn+x
z-GFtSTlD8V4;2B;;exUK`~?t3cXJ->Ve;TjO?c&NjXq+#jV}L@{jI^(#;sN~RlgcB
z?!9TU{yf-L?VbjoKfYe7Ist>1sB4KARF%4d_?qwCUrHRH9evAE2YZ~SCmW~5%xwsX
z?6s>z?7W%SZot$P(GMrO9c5Hu4_J{{X;u#!5iF{4$Gz$6$m=f5D51ZZ1_NtqAnA>!
zRa71-Cl}$f5(FbsQQR8=AdFl}>m|VQ3R9S1TB0URKyr%UU0B-0gc5KA<6KUk&`4+w
z5JjuEOVD77pN~A;V(3DhE@Y0uD(PIhxwbmiF7B4&Il&W*@^U%yLD)@kTC%1qe0bH}
z!R!!xd>LYaG|f$vl#j@q%MaHvEqqap5wiB>ZjCThZM2Kv2aX8#i1_iel_SM84iY+K
zDRdh|y-M3YfT>blJP^S`Fwe=yzoZx#)3<>`j3k}G`V)-+c|%C@ApHB}d>9eje4
z5FC6w$wZZr0dt1e|9&}7qa8bb7bB~eJb52pv5-hS764BuLrH7LZ}-p_iwsIW1l}G=
z;gR)VHm}GsA%@DGo-{kfd8k{ZiocPmPJQiIG^}J%zL@NhT0CENS-|`;7j073rC>>p
zaA52>LO@lMpWdJ*oTv8@~g{`q|JbW+oDN1#gpI$TZC|Jf-D$}gPy>H
zxUk)WTEjXQ99?<<57(8s5EZ6qIn+=B~jZ+JRrqUFx;2{2h6(7#x+sWN1j-yWLtcMv2=?DjnJmGc
zpTonSLP6M8B*YSB{{vWJ$?C`TQvan}&R|+lS3X$6X)g(cnRtBdXJ~6{m^qRxreaHb
zXq?%_HEN)YHIacNP)dfYDs{kX>IQ|Ig6heTki59##feh%2Gt&BKQqDKSI^UG4!)`I
zK}V3g!Q4!ZXHPY=raN4&d+D+Ll&}jVo($&NDnUkFQgZ7tz;^uM`HBnO9_VMbAv=#*rY!A#z1d7^_`n%UD4dn17e#P(nZ*P9YJpS7%OqFtn5B
z(sxl+$>ML!42eyEq^gcbZ^7I#GdAF>;lGY!WiN~1=_lx?loQVeHwHHocjWYpKj7P2
zL5SurpxkT$=6!o>BeVFYvab26+4kjmZ8dSdMdl-NwcDgJO?rCTDrt*7Q-fYr0PNskwge*-sPvcE
zbg<38w@z>ujJ-2w9s9_Mc$b=D+aJ%!#GCZS$GS5HpbwWJPb
zQOPsKw=MhAxs$XIHvs|9x9h2ymgKNrUcalbpXU7lxcFVFft^jvL}W%c8BhW?j5kPbc4=n?(p0YjV%R{xmb(jM1B?6V_nx_AdY4iso@>hw`hFhw6=OOf3`1~KBxo6QUe{2
zV5`2JU$_Pf-ln?y$rBS2Vt@p0fZ}Mq`#vZFiEy8$A1uk`tv!+j-j9Dkql3VD5iE-D
z$@20wxyP?xkw!$;Q_nozdvl@3=*`>}!ksGr`T5l^jj>{}j2
z^eO69saF(Z+aApxo(yZyvC!ga;T|P7w#xBwoiiC4;2kqm%${J!%+%k<@3bg-iK%sS
zZdowMM7Cld&Fp@CBYqAZ$BE;d^pAX{)w)AIu||t8q&qpO?jNq20$ZVI{CIt+%+92t
z2$MQikZ!Mx@Vd8_of*Rw-TnY86}eRWpGPti*Z)ps{%;FP?41Aqf)dlea)tlz`G4<{
z4Qtuj<8UB<|HC%%R~YnMhp=P8N{dpv`hh%zl1_ciLWq>}%jijx{8BwK9~U=RG7
zU7hu=oPz8xrf$!B4#yc-H8VEZcUmzBF-%y}UO93uUiz>S*=dHPVlmUCxlCrsj~N3c
z9(Z>rqU48!vP78yL_&~OkufirVz6Ae5(rqQaaGVnNcpk2P0-VS_pHFt=U>t;^HC7I
zs9#TDkqi+ZmC867q4#q0+fW9DRF$%afR!u`^DrI>MdWjl#ucM!l5PP)>@cbonaYm<
zlv|~p-*SYQ!ME>-zRoQUi~{@Zer#hA{8hz^Rkgnr0Rz>85?=oMBNntJn~buhL&i
zN>ybcR%o~;vPpQ?$jdSL^km(_%`lBG@k$;>(My!&^
zzT=+_GuOtP=B!NO^WxsthvCPy^XT&B-2wGMJ_-9q?T;fDI5dC*js8`8{{)*96{(yu
zcaL|~7Sj?)r!^w?AasU(0IC@>km%>z~$}jjP`6pR8>Xit*s>
zTSV9&H1MPXSHe2Ur{=%%n*NH$u*PcVZu+j;Q*UcpOFP*sWj6X8KORqw-@fk6Tl)6j
z^Q;d`12xNOa7{sqz7GFjz5ic$qf4<{-4;{aq6xcP^Qh*~!;*(;FHK(S2nIxLn
zP9HoLaMvZ8rqCwUx=JSfGA6R3ZSytEQxyWL;}Md-quR>xP!&D={8sO;-gwbR_07Lz
zLoMF;inLnY5xRb`^oM}p|3i;Ewgn?Wmz9GWr@c!>T7BboAT`Kr6e(Is9aEOA+;ADZ
ztlpw{4l|CBz8iiv3MQ@j-ei$0JgX<_(Y(CmEsCWj1JjQbQF28PWyZEq^BZzy>Wnef
z0)+aSkNl=fu54aBAhWfx^2`Y)HBL
zNU!^e{CkQSsrQ?FB2WC;&0G5&KPz`YB>CDF{uZGv%yqSKmmMF(E!pQUDjTUjzrwZ#
z!YGR2AARp;V)V5vR
zdnPC0#ULs*W=|Nk{9P2@Hq$W}vVg16&`O-4^KDiSGMOjg#5OtX+VS&EH+{8g4>Rp-
zY*#Mycw0Zmne;rMe+7gc$#YU3)*uYWj0_8XcBzhN4+6p^;6eyYz<5=L?M48)-FYPz
zkVA6$gU|5s!%i?23?aq=^XY)M5M5B0#}0o+(}*7^9Z%WO9_kUxC_=i!92~%()8Td1
zG@hbBxO1HeC)9vFmW^@yFhGdvEOD^E_u9cVO@7rqv<>Y(69@SQyy=LEFNC`u0Q4QJ
zTjP~~*PQra;sY2I#E6ui0l)O`)(`VZ3Is~mZ)!4@z;tPh@Plv|P*C8tO96PU>|CV0
zGX{7uXaK?v3ba{GybysJ1AT&+6%$XK{jl<A0iv{B(A4U92jgSGV?rt?~Li(mSxw
zW39lI0Ak6XNckyBlV5_o8}serphjTEgw}ayJB0+kZ$WW};{K-`4tn
zLq7KZR-aUBj5{8+VD?;6eymkwl+^z@RJv+F?o4E#p=h6a0|+#aaCK86>tspEe?L>hV+)=D6R`dao9?X4t>rJL&c_zVlE$D)I)-5xP`sNEG$suV
zx9wFa-Cwe*#V*|(kM8Dt@)IrIO5$|MUxXD~&UO9Uu2#sI$?jEJ!o|d)!aah(j3j>c
z7B~&3K}i8c<99|x^ZmXt@Y-et9Bp|e*9w@1zx(|(>%Zj7jsw>EafqUuP5U?ez?~!Q
zyc*nYW#c}uE#FwRwp_1wR{@}9#@5hk#K;fsfJ;bEsq$bS%k~diLUn!im_kfKZt904
zdl%$mbt$9!eprw~DP>REjO<_f0oTv6t&!39=kNXk^c~oMky_E*#Rnx6b4SB6pQCN?
zv8igz(po)b%<2kldngb;r>Chy#Ze0kWRk-9REG=vuZck;b&e=sdcP;nHr(ZJo!UZH
zBeRjzkip6U(r}*XqvQsusjSsAlAfAdSb$xIM;S)
z!%O*;n7z#?H^%;!-}ZN3@+un$e=YRwnLXQ{=N>Osu3DEgu8MoMUKA0gjrK(Zh#awH
z{J@}2jmLR7>3?(DndpQ}x`H}=q>zi~zw@?@mNt8WsBl<-1ynwmhG?s`g~`?Os6=pd
z5|&G66%jN>oNLDR9or#im>*f2W5}T@(mGSjVFNhrBOC?i+?CUC%<2W2k(nZC;H>1A
zl!Vy9YOI(;ckDY{n{9V2V&sva-m*G77NPpv^f2}Mc(}!cL)hy(8GkW_EJsCvGVq9-
z`3By6_)7yI6b+mhz?9p__lL;Z<^x}*D*d=M~Nl
zu!iQlfW83xurMpZ#0&+@2;C%3dH>-%@;cgs+wM7%rzKHEv7y!@smioPu!NCO%>8xJMw!9vHwj
zrC~fcN2bJ@1>@2&hG7f2AwHBeRtQ8PNKgG#F$S;&?-VgC6~2HBt|UV(5Ki<=EFv)x
zrt`IcHY&>F$j}{$uPl-f#ZVkq^hM2-#xJwi99PX(uXKzk?`Wlk_OKFG-b33$OYkCL
z87sB(KY_$xkDESwhNa#@iiKfDxV6eUQB=Rts~5P>BO(ygtK
zWC;-cBOZ9K`5_&1`X+=mWC)l}$HmjlpIIX}N%0!-xbLQah*M;$jv*R{Iihdhcj%+X
zGRh~EG$5!Ba@2zhr5i9`S&8G_GZD>ug{H2}r|7&xU{BRwywnD_8Tq=dE(R5k^pO+m
zRG)ETTds1$?u-4aX2e)DZ9sDV91f8n-+>tIupXi*s6;5kVJC_=N933VFUFI3wy|oO
zg8c1o6gqheZZ0BYp?Wub9cndNOi|z{Bql&sL>?Hr9DL~gw|KvpB@;e0xApo&eU7{%
zhLlcP+9XfbfHjy&;P5C24w-eQn75j2i(WaqsCytt*l^|$v>1RXC9Gx=nz_@-j&_2%
zAx=Kit2i-;B>7|(BkHGLrOn$u#Xg+7HR2>;y|bO>=E~-?LD4m%%=YF{gHbF^fI*gM
z%iGvjIL~xgTP8SI8}dxVPHdr7ywQGgH`u)b`s6H6++gbxt*UY4qzwo-mJDywgbV~&
z_?&Hxgp9bu3cYgG)n@2w&^|t(R%$o2fLjiO$T@M>xGT=I=Yg2ALy-R!A63@sHdv{K(p)}_{!s4L($9>U39
zJ+`LJg~gNMjHEbce*4;+7owjoYhqFAYNzNO*G*k>yzZkWIEC1QJQwj%r1UaoI&D@zfX|U(r3nihVjWSAe9Ar%xh(K{3l{zadOGw7``YSCtE@AUnSMeMgN|KlV7p@9Ddnufa-7o_#E
zhvlS5Zo_*Y!5|eZGMIge^KBE>t9H1rI~~~r+wPs!C2c$K4GNTB2^ZAa=Az?9ew|x-
z{s5?7;>ASn$L51K(AXGO^5g7vUfTIKK>Kl)(PrrCu!=t|bc-Rjams}{&Y`oND(g0X
z57q`4PxB<$BtU<$-2SV$7A-+x&6JHb`>lKaxTId8-WH|$Dj0f2;qA&DmfqNzx&!~S
zu+oDWgEwLeb*r4l^}cKHo%>T{Uh0GqWv#^a`vf(9ttz%yz1>6W8$<|!Z5p&`Wir#-
zx$D%qIG3KCJbPX`eFIpdnWH|7eC|7SE-k*~k)TP2Y~{*Vy=C0~Bv>82;LE;{IvAK2
z+K_q^YpMyf88`Q~c&|e^?yUj~ndki})Ak$2-*9@{Vw#wxmG>6qrbT@~Tf<9CD_T{-
zU?g4mGXePP@3sOd?eyjHEQg=e0Qk;{w7?d;muzig!q2QDAy}$2)|P!Mxx0|IZLRj{
zD!bA$>2vvrpN+nWc7kef$h+vzRBRX`muT^t^=+eO{Gord(Gr!;KK}|c$aSQJLmhLS
zsG*2?Y*vXsr3fj2F;}e*ag~lHDAkRI!X>O9bh%xubD}3UiwO?6fRIj?G>^@H6lqiU
zY|nq9^1056Aey`kW6ca4eU=am-3G
z_#Bu;CLuV=;l+obZ+DB1eJSX4oB2Ds9CnKyr4mx)~#4SNE$A>VV!k9JT
zbI}SO7IYa3i{B*5U5ZN}MpaM0Oq*IS{dNqS^_S9wrz_unv(MO-J^4>6-}mVC
z3&AOygh_Ej1Uita)E{nFQO7l?jSt@k9PlGuV>(JZHYxV-Zl8hSHxgUWPE(~4LIB0w
zi1zy5NEB95#O!o`e0(iuwvxp}7X7n>o~9<$OH>FOE2Wo73!h$|jlOL@-l|clm{Aui
zdlx1$Bd)F7Z!%RLwrr+gd)~U4QKygARQ&#>(n%KDW;LTWa4I}_WU4%vVKG}60S@@6
zqg;*6u!HD(#s7J4UH8Cj&0R2u-R+55
z5JnSunvdHO<)lWUL}_B14^!Lil}ulORJHYI#XfGAY+4GdtExw)q5V4*od?t@oPlCN
z7_SGIB7vN3aj+WZx~n3M!Dt94MeR29XL`72r%H{@QpHusM?+O8*V^v}FB$#0k_a0jWI&T1;Zu4c;tP(B7C(+<4rFDmyvl8;yQESH)Rp!&~MQKs=sXrjw{HZ
zj`&q3X4;ySJ-27PPBMTV(lLz)*!Zn^G0AeE@BPH{V$9uUPq+yPQ<+Q?5|m3B0ena^
z)k-D3fx^V#v0*Hk?)dwYRwS|b#Nz;hc2d7OG`l{5k}>VC*r^u(xlOmgyHa`VBpfNT
zNH)#t*0R!U@62uujSK9Jt2?X=;X&N9y-fD**IjEXbA$CtepF6OE7-H&c6#{x;@kq$
z6kvaR-}EFaL0w_2EvhppSM4O8DzXEt|6J&h+G6CGeL_*W#s-*?Ng|X~Qp@&+3!H*H
z(M`8t4c*K1#-JJ!tLo6Ts}{T#vxEmXi5a!Nowx6`yKMWhYWKFyRthcpCNqdaZF?==
zor75SacqqK`ZIU#C_JF^@h|k-m>W1AKe?!t
z`x(h3lrr+wDj9IXEO9c$+qJec2h+QpmP>|BJ!tQ3in)6AiTPBs3hLjMl4umlOGLp3
zlGS%11asdHN)WWaql7q|gOH+RPWFFh1&Ni)-Kcxh(MQ?8nz}RYNu(6F&`FX1RuJGJ
z1s8?~`=_r{;FfA97aM3k`@+$qO$CC7Tte>UNPtT%C3*>X_Tc=AQhKl3V3WQIf4;!D
zKZ@f7w#pGX02?IhLw8@|d;mFHrB5ATOUzDwxURXKt=(V0eksf|x!3Nsd*i#)-D$d6
zXXH+<7N?u?BvGn!d@gvhS9>DycmuU9p6w@k{V5Ck(`i$;Gew9-jX;7k
zsw^7W_JK^Ps0SabncZ3Onct~(wpY@F6WGx4yc`hvLEQZ741BTXCt)JJzogyOrj(`1
z6T!#}xMh*#Fy4)>Jd(QIqTnIhWH;;oTE+;KF5bB`Tw%RYQgcUVsa&z#QT=lEi1H4l>kuu=zvG=}WYroxM
z+jqXKVjqxPX{Rk_hyGLX2wjoBEMcp+Q9Avvh76v6H7r^GPYsR#Qv>b)tsyPLWQA-3
zMT(_xvUhzx#_qeP$nco4{$cogwdq0v<=>Ob7OG3#bmtj%U$w+U+86kEfpv+YQnN*%
zd6ujHWNbYf>94g9uhV$z%IKwJxK&(UO`$}r{N8R}K}M15ni2yP<~pQ)v-^+MHsr<*
zQTX&Gz!N*c=ZG;n5lI{aj$`^uf|_{z1ZXf?9J*XGQT{9;DIPb3SITJEd0{ECF0Hy=
zc2M3=2)uW}kWJMs>n^xSm$LA(z-ObU&F5b+^}wx?3emBp0T>hTG9`}!AG@O+vg40X
zzgwr@Q4-IL;3AbqlFX7Io<>XnD{z?2tJ(y$6VVQ-E9Z$odA2y1+@1|$HLB+prP^b_
z9FVBsDeAEIldp@$Q^sU7y1%FOKYm-?48rK*F&$|{-p5l|Af+=Z9EVoo!3pkb*w&P`
z`X~{;T{g5kS{-Sd3N_f^Nd7SqBfjicaWCeQYdUwo47EBq>ey~lb6+Vo&V1nzMbvBA
zW;NDT8S(PPr?n4eO()U}jsLjZuE|PtcN7eN>nhP5@o?Esuy`eW#ZXM<%qf;|)8VR<
zH+pd#)ELBHkB6dUjFLheY7pB2f65BPaPHMH^<
zu(=gI5O_?3nkW#uwYG~jaduH4AzB`~p3&);VM)H^@YrnX`rSlw1@g5tR^gafjUDO*
zbf~r*mGWWn<8Nc%JK=CN)}crHBOe_-7<*HHXfm_O$9->ZDC$-#f&0>E8*B
zdG7Pf*lo|v&$KBr#fIGNcHbWk%#{jf&pCwEgQRQqre8~M1h-dG~>-BO6
zo8;oYL}c?#YqIgr3pe)317k32jhgGAx8}?a2v+uH{aV$lich`6s5G%SEN_k9kn*U+@PQlsDUY(eQ%Na{)@@=d1lLkl
z?1Z~}BqE@|EXv?T2U<0-z=qq>g~BlFzqCm4yP#J`)5zk=`VEAfJpRGDvUT75B-m3%R`|0*
zm4Il*30+uL&d-5!DEHyp{|c`YDClxX>B+QONX4?=cim@X_(-8TlXly(*AyLs1e@SW
z>H;vYzA+pXyhGz7MH8!@yhE{}7(_3Z+d+Vt7;wa4G8*h7c);sys4>s+m9aw
zr+n(hN3_u+tFS=Mv#US8`f)Q^47-rg1CnKk!s>3uS3}C`*^xHWalg%i$L45iE1JQM
z5D>`0FGwB9$J6oE&Y<788QB=K&#++o
zCy*4(L9UMlVrpd>_c}o4+180kPwhvhmV;PMVPKA?^A4YeGbx0x;pUqg@{|I^L07M&
zHU_qiUc_1aJo$R;#fJo!z@z5)(DeWnq8Pq%16%QSZ-^giuGYj}?b+eM6^>48ghNn6
zrVkQQ7~pi4?eRKbZ@w$2-By_>^5b>3&E6WA8AMnKLm2&|-Yh&^m;RjE(;;|robp*v
z;cHDslBB*n;@SGM+~eO1G!w+JJEfD7(WdaLFQ89R^tE@EfCpqpeTn}O)d~bYh)_cG
z@8@K4kw=Q|JmTyzdFZ-+ab^nmYidTW0C9KbuNzBxVJ(S*K&f)^jI@LeXj2CsO_g(f
z;W&tPH(mP)=$zA|1JW1^9;){Nih0O*b_-g0W7~MjR38`AE!`abM_nTP_H!P+T*!Co
z-e;F)X5&y#rO$L1>?*mS@29}%m;V(<|C!?Hmbcv=Gd1IIi`88&d4WNx%{BlWg6){eQ&*@m5H!*Tw_xgYtZmR>3b{VWSq?$ea2yf2MG
z`xc{ThvVt?@MOvWK!@6t6cQ2RtMfX&=#blbDOB1T>-YOxZ|C2{S!fW@g4jDCosnsH
z$+z?VHPy?5PwX5#x2$AalLbx~p0dd!z_RUtT0j`B(_O3lk-hZv%-hq?tJl>d5FP=~
zLfXX;6dd{X^fk5YNR{HiaK;Skpdci#)$r5}{&tTr#wXlm0B?a!>^L{(aPt%wU*UUm
zAGeIA4X5unERU-R4e$vk(?p!V7^k&N+M=^_^vp*dY_#ghpBR&KQ2a4$C015KF>abGZcFjP>9?R`5&|*
z$~rqai4hCH^DmdMiZ=x?3tVCj#+zd_2_`
z>;KSYGX1B83_Htz&D|K*lyLjMSx0wczQhXzZRB=vOunwV52hoB>a8T;tdK6m`wJ&T
zQt!`7AwX>`r0a7d+Ty&P97PWdP|wfsKMovJoq(Imy5%r&?P3>=EDKljJCt|w_x1r
zi;@M#1*pPwapan!dU#GsDV}BYLNtc92w+9@q*hLe?=uqa7u2AhQ;SeXdHgL-2Nbfb
z%9ArDY)ZiaUNg2BccpdM?zVeQhOa_e;VJ6!UBW%+>-e(fJPlQLX5`E^hEW~yt;{60
zUJ7pJ2Ks9c+If;!AB0YY%vmR8b78iPI8%7STQ!Z6D9##`zjc|C2g2+N&j-S4dd7Yv
z3sxQ6u78KfJ4#yw;yU{Aiz0QGXpRN2_EHiqi+hgUd$2=EUj0sYS2VJNm_iv&Up7Ox
znpC){-!B8{=IRrUH+{{UZ(E4aAC}x+FZ!Xi-Q(U=ij0VSAOlCXQkG{L<;0s%>{TE=
zg~a3#-dbp$(ys1rZBy+(6=lFfWoDiR)3C__r^%a~xpFG%pt-s1DkNW$;fAHKgbDQ>
zC2Ct22_#+HEy5@wbZ)|!<&u{lG@ZXgTY{37zTru-*@RY&^z%+K0E=(rfF02q0lG;3
zgaKWj)ze2_$#v7Pv=F#mQ2GY44R;41iPT>Gfbr$X1_O?HB!lV5
zSH1zkkGXdwcETlN<6_}+R|zAV(l$Px{v>Fk=Os8$IG+L<1tzsJejsvRJ|q-}A%bab
zNYd~Mn?V8^D`A(b&O*JhkZj|>*|SLqI+4PvzqSjE$dC<8znRj9SG_(vfeKQpKgQX(axR)zFv=irI+LIL$g9OJ&~!~@wl~id
zAYTj=4dw>e%4yJc3hWCb@dMA0vFfSJ++biIDkx4Lqz~4Y7BBEgF=GD-*og>z4{`@2
zWyx4(WpX}!Qv+6w)7b9-rEq&Wn%@E|P5yLs7Li5_O<}edqQl7-HId5A&zK{Qb*_YP
zUTmUPW*Ok8DT#khrl%4Nm5g@yE1d`9Mwy4aU*fq0%bCt%BS#!E1?LjfR&)g0CTVNa
zO(6Osg#~C`R3?6X*>4O4!X_T4v;i^%D$GpsD%6YWO(>UVPr&g}*hbtR6?z~Z_6G(6
zrde~&zDKA_p}aBWLbUKGhK`hMEl#FcL_AR*NrFD&t%Xrk|5tr+wX_Np7sh18x3q6L
zN!D)1OMx>Ey+!y%uYFV%zv^JpZ4n@+to71Vy4V1CglrUgY><*L3{jjJ;_pne^r90K
zsVBmkCf&Sc?RgxSqjzZ@RU(8LUyk+8k3Tj!JD*cz_~#XceMe7a931!!eR2VgekfLQR;Sg&ng&I6Mb@8(#z8
zI&t?KLLI`<7
z2VoR*uUA<>#e21Rb+%N}%z_j-?~iK`J|$=qyH!!Nuzb_1OxeM7LY+h9*dhTA@NhGL
zXTU7z#v+Hfe>f^%LM>K4S@PQFsNCn;bNFx49nIr3Eoa?l^-6o^q4id+3r~CEw{ryS
zcIKrMA7e{$-{@9Rb$luyKD$ZMy2k}XXJlNjT-XjlQCf!daP{kEqBR~i09mI$hyY(e
z9RDEeOI>#x`ghl?kNCS2cJc)66au1o(aD)1o&?Kh37iX}v&nnv?0zQ$qK4YyeAME~
zFIN3Ql9wZRWdv+q+Mxzpy3DYF@kejiWIE%)lGg|3Yx|S)5=0YqYx|X|i}sJsQ+W2<
zLzA}Ve$fCx5v=f*Wzv6$(qpJ`=gdmB`XQdq11yRXrs>NH+wV4Bp;eN)
zU^yz^t-w6kgOYK2^BCWJ5}Hv$d($1QBevY4&hqboNY-~mcMRj2ne)3I)zI4RY4pS&
zSAY8*gG+0s95vhAuEf_YD#PrY=KZZZr7SA#Fa+!H
z+(yRjrE9^K$K!|{`7cW4H{^yl^p(%bxWi+?8_%Rjc4f-zaYd_QIIw3BLaeH?-NsQ#
zscj1q9;;{@C8%uzTQ%{e;8qP;N~5mprp4-x)YdE}cF>6)J|aMb*Hwp&QvopLhVjw$
zEXCKdryGCnFhm_2ubJ7_Yj4E2`VLQXplBt&YB*Wqy?BUp3qN9)}EYkQF
z3!CI&$Y?dBfvm(dws(|h8JwLr3oKMvb&Rl{&GY4|Xl<}R?@}T5?le#@C7Z}AhLV|*
zX@gbEAgL1fU1=)DW+JUakZ}=7?{2~0HpHmea~cmpPGrfg(qa4JVU|IOcyHK2V$Am8
zNciTJ=&2T3v~pGDulA>pVCv=cZtw7jU>03K8wroZUK@YpXU&n7=e?{DpT)r?a$E4ituH
zF#b2KC=|A%M$DF_LkwE0!||_=jeu?M;ou<3{do?WDBuS6IQg2{)1s~JfS+-nmy*otb3C9r9!Fp1#vLFPHRST@|~=z@5zP
zV{OY>n(I&gkjbiM6%P*dh}dK|w{(hH*5hL7u9R3!6b;+6`wX}@i~E<)_iK2zRKKn6
zc6SfA`_m8r&Y<+OvjvNTQKAgmR`lLq#3{!#FD7X3^peI|+hbQW(eghbfv1KoZExp9
z7!O#YOo$&;(Z~K8xKexp$T*EefRQ25UAxj6fGPu%_hMq;Gy5EDeHDqi%WEm3uImp-
zV7#VQK}%fqk$rMO%6lr0eQM=d)1+H?5*-(|gIkBN1S!Y9lMfDwnQA8Y;*J~;Iv$U%2#=usdI=f&%OvXFflc3R!W#z*3@N5VmKn6^(X(__V|5%4TlZ8&6=S6
z@qIVgZ-u{RCf@7N#7lEfGcoxAQ9~;D8@^^+*gLR{s$-&d#4ts|HADVoBpD@{_x|aV
zj(%0uV$d4IzRyC|n~@k6-rrKhzCt^a)b&xfwrgjz=nw9u`Zj!10zwkBhA!b39cN|g
zgi5UkDmL=cDBwrFumQW+{U>#7l8kyak1di#Ba>m##Y%0x;rflzN$K^|MkcCaqsB%8
zP}jqxg+(qTsXhE#`TTbYmG0EwDt{_|58lRA4+BYcj}K)UGdHA&^uUglJYk4e{lYKi
zKu0wwOH(OsT$eSMtX!5@Z^FFFC{6Z|?%9G*^_&K*eI)O>leRckY^Bs9g=Gj*8ql=J
z*QLUDh6KRb$l!PGJ}d0pDU;Mggcyue;YID>A=+B4r)|
zUo6ty9#+hm``zg(dgJc4C;@k3MB9%eB{z~T)BrFJvM3^me*)n{N)<=JqHXKg*be4)
z#1q7Yu*5}Bp9C22E*wdnYFZV;m{xq?1Vh&`b26&PA7c0KYkor5rZ4D}fJx0A5k3yA
zC@vewse2sAX-c~rd85cO#1lmJ18Tt$lr!N82R`8nl@^5MatQ0w=bcQ=`UR
zPD&hsF>x_pEDIz+-BoZ`0=%Jh4t~%?N<1-uY5Ovo$`=redrTA=LfeBkGd!O7VqA?Z
zp9bD_W!BbX&#Wlx?k#jov7-@`%6Bp=Rv&k9MN?`>z%KGe2!3k}5+Cu6olHyDckdT4X&Kf(D+Oj8yK0qZ2|qQ
zLb6T|5dSg|1na>~HVrAcT>F6~*Jtrt{B5pYno1rGF*ilINMwB8wd)#sxW2&#YhDXa
zs=%S?DFU6_m1|&P|x35B}LC%)NZp8&itZP_{u~gVr+?
za!_2)d~vgUu*Z-sFXcH>{dpe&bSge&3B5TNkxPO#x3FO#9O9D;DCil>Fb}E~f}CMr
zu@FU-R@{F?b5p$9nrDNqftY{UQSx
zSq1VU2RNKj{x+P_aGP^|eYpyt5AmgQ&*l&Z5gIMqo0G;nxiZ8eW_`W{3x`t17hyz2
zQa9xXf3o-vl}-w_LU&x#tG7w-zA!(;aJ?b>4eRdkmDHg2#fUyesOQN_
zW+J~Z2+s8PKl#P!tdGo#y{>G#(>qi?BV^6|V~Il-E+D;2h$v3|=jaK(ZkE1r1OkLH
zr@dZ-&m=L+9Y_2hn;lko%rocQo3S*M-9jXh^hUG3KItV-5IlFa@WvvW+iM$**o;nt
z>%an!g>==6Cblb)`*_3SMpw431NTryv+^b@%2wih=-}gE{G11=`!=i7Pq#&mz#YU$
z03Bl9p#_w+mPglW`CP;Un2t}@lK|mbBf5Wi39Jxko@b=D?V`MUxWG`jghLi@DK-b@XM=@ucLKU)!Zc5c4;-eFZ9YJD<{Of;
zuoQIP+LN
zem7*p6f-LJ*)5UQEz&OxS0nP=ww+XGIh?pg2quY)v1@do8D7W&q~3}Fb#jSl?#q5*T9xOx>i5CYwMDi>Cm
z@DBzM11!p43i_q_BVX;M@HlTR71~ko6-}XFE3$omE0Xizr`g(6XVjja9{KmpDpe^7
z)FX9n(j7t~O;fEgni7)8K
z4ADE9^!1)#I$v4#1?+ZvtVXyN58+q&0WqkDAL{z`PPlTSoCgBwiWr
zE@<($5YR5S4}Z`m!?Z8XBl5U4jXNEjATDfjfg4RD-lc
zRk-B=h^n?y2fLVMoLHvKAkrBTb^hjzZKQR4KcLEe(pj+r;|`Brs3KgT82#PM66yyS
zB>x8IPqSBPvGST@14zT=m}?S&gwTS7CaZ0!8TOV96>{8JPV$=rIpDvqHU6|=b#)7g
zM3Fxb-SZ2X?qp6Dk1K7v;6Xf&FF91k7bI-t3mMIB1p}x