From 2c8a6f3fbf814b88f259c47ee0fd696d205b85a8 Mon Sep 17 00:00:00 2001
From: Ryan Sauge <71391932+rya-sge@users.noreply.github.com>
Date: Mon, 11 May 2026 14:15:37 +0200
Subject: [PATCH 1/3] feat(rules): add multi-token ConditionalTransferLight +
tests/docs, warn about shared-RuleEngine limitation, and update RuleEngine
compatibility to v3.0.0-rc3
---
AGENTS.md | 2 +-
CHANGELOG.md | 26 +-
CLAUDE.md | 2 +-
README.md | 32 ++-
.../RulesSpecificationv0.3.0.pdf | Bin 0 -> 1247235 bytes
.../RulesSpecificationv0.2.0.pdf | Bin
doc/specification/cover_page.odg | Bin 144914 -> 144702 bytes
doc/specification/cover_page.pdf | Bin 228206 -> 227777 bytes
.../RuleConditionalTransferLightMultiToken.md | 53 ++++
lib/RuleEngine | 2 +-
.../RuleConditionalTransferLight.sol | 3 +
...RuleConditionalTransferLightMultiToken.sol | 38 +++
...nalTransferLightMultiTokenOwnable2Step.sol | 29 +++
...leConditionalTransferLightOwnable2Step.sol | 2 +
.../RuleConditionalTransferLightBase.sol | 1 +
...ConditionalTransferLightMultiTokenBase.sol | 235 ++++++++++++++++++
...ransferLightMultiTokenInvariantStorage.sol | 29 +++
.../deployment/RuleWhitelistWrapper.sol | 2 +
.../RuleWhitelistWrapperOwnable2Step.sol | 2 +
.../CMTATIntegrationDirectMultiToken.t.sol | 62 +++++
...leConditionalTransferLightMultiToken.t.sol | 65 +++++
...LightMultiTokenRuleEngineIntegration.t.sol | 53 ++++
22 files changed, 628 insertions(+), 10 deletions(-)
create mode 100644 doc/specification/RulesSpecificationv0.3.0.pdf
rename doc/specification/{ => archive}/RulesSpecificationv0.2.0.pdf (100%)
create mode 100644 doc/technical/RuleConditionalTransferLightMultiToken.md
create mode 100644 src/rules/operation/RuleConditionalTransferLightMultiToken.sol
create mode 100644 src/rules/operation/RuleConditionalTransferLightMultiTokenOwnable2Step.sol
create mode 100644 src/rules/operation/abstract/RuleConditionalTransferLightMultiTokenBase.sol
create mode 100644 src/rules/operation/abstract/RuleConditionalTransferLightMultiTokenInvariantStorage.sol
create mode 100644 test/RuleConditionalTransferLightMultiToken/CMTATIntegrationDirectMultiToken.t.sol
create mode 100644 test/RuleConditionalTransferLightMultiToken/RuleConditionalTransferLightMultiToken.t.sol
create mode 100644 test/RuleConditionalTransferLightMultiToken/RuleConditionalTransferLightMultiTokenRuleEngineIntegration.t.sol
diff --git a/AGENTS.md b/AGENTS.md
index b151852..315ea72 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -36,7 +36,7 @@ Modular compliance-rule library for CMTAT / ERC-3643 security tokens. Each rule
- `openzeppelin-contracts` v5.6.1 — `AccessControl`, `Ownable2Step`, `EnumerableSet`, `ERC2771Context`
- `openzeppelin-contracts-upgradeable` v5.6.1
- `CMTAT` v3.0.0 — `IERC1404`, `IERC3643`, `IRuleEngine` interfaces
-- `RuleEngine` v3.0.0-rc2 — `IRule`, `RulesManagementModule`
+- `RuleEngine` v3.0.0-rc3 — `IRule`, `RulesManagementModule`
- `forge-std` — Foundry test utilities
Remappings are in `remappings.txt`; aliases used in source: `OZ/`, `CMTAT/`, `RuleEngine/`.
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 68490c9..d776975 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -43,7 +43,31 @@ Custom changelog tag: `Dependencies`, `Documentation`, `Testing`
- Update surya doc by running the 3 scripts in [./doc/script](./doc/script)
- Update changelog
-## v0.3.0 -
+
+
+## v0.4.0
+
+### Added
+
+- `RuleConditionalTransferLightMultiToken` and `RuleConditionalTransferLightMultiTokenOwnable2Step` — multi-token conditional transfer rules with token-scoped approvals keyed by `(token, from, to, value)`.
+
+### Dependencies
+
+- Update RuleEngine to `v3.0.0-rc3`.
+
+### Documentation
+
+- Added technical documentation: `doc/technical/RuleConditionalTransferLightMultiToken.md`.
+- Updated README operation-rule sections and tables to include `RuleConditionalTransferLightMultiToken`.
+
+### Testing
+
+- Added `RuleConditionalTransferLightMultiToken` tests proving approvals are token-scoped and cannot be consumed cross-token.
+- Added explicit RuleEngine integration tests for `RuleConditionalTransferLightMultiToken` documenting caller-context behavior in shared RuleEngine topology.
+
+## v0.3.0 - 2026-04-16
+
+Commit: `91c21c1191e84ff938892267ec443b0d1bb9efb0`
### Security
diff --git a/CLAUDE.md b/CLAUDE.md
index b151852..315ea72 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -36,7 +36,7 @@ Modular compliance-rule library for CMTAT / ERC-3643 security tokens. Each rule
- `openzeppelin-contracts` v5.6.1 — `AccessControl`, `Ownable2Step`, `EnumerableSet`, `ERC2771Context`
- `openzeppelin-contracts-upgradeable` v5.6.1
- `CMTAT` v3.0.0 — `IERC1404`, `IERC3643`, `IRuleEngine` interfaces
-- `RuleEngine` v3.0.0-rc2 — `IRule`, `RulesManagementModule`
+- `RuleEngine` v3.0.0-rc3 — `IRule`, `RulesManagementModule`
- `forge-std` — Foundry test utilities
Remappings are in `remappings.txt`; aliases used in source: `OZ/`, `CMTAT/`, `RuleEngine/`.
diff --git a/README.md b/README.md
index 097c66c..4a60ed1 100644
--- a/README.md
+++ b/README.md
@@ -62,7 +62,7 @@ forge test
| Component | Compatible Versions |
| ---------------- | ----------------------------------------- |
-| **Rules v0.1.0** | CMTAT ≥ v3.0.0
RuleEngine v3.0.0-rc2 |
+| **Rules v0.1.0** | CMTAT ≥ v3.0.0
RuleEngine v3.0.0-rc3 |
Each Rule implements the interface `IRuleEngine` defined in CMTAT.
@@ -306,7 +306,7 @@ Available validation rules: `RuleWhitelist`, `RuleWhitelistWrapper`, `RuleSpende
Operation rules modify blockchain state during transfer execution. Their `transferred()` function is state-mutating: it consumes or updates stored data as part of the transfer flow.
-Available operation rules: `RuleConditionalTransferLight`.
+Available operation rules: `RuleConditionalTransferLight`, `RuleConditionalTransferLightMultiToken`.
A full-featured variant, `RuleConditionalTransfer`, is maintained as a separate experimental repository at [CMTA/RuleConditionalTransfer](https://github.com/CMTA/RuleConditionalTransfer).
@@ -362,6 +362,7 @@ Several rules are available in multiple access-control variants. Use the simples
| RuleSpenderWhitelist | Read-Only | ✔ | ✔ | ✔ | This rule blocks `transferFrom` when the spender is not in the whitelist. Direct transfers are always allowed. |
| RuleERC2980 | Read-Only | ✔ | ✔ | ✔ | ERC-2980 Swiss Compliant rule combining a whitelist (recipient-only) and a frozenlist (blocks sender, recipient, and spender for `transferFrom`). Frozenlist takes priority over whitelist. |
| RuleConditionalTransferLight | Read-Write | ✘ | ✔ | ✔ | This rule requires that transfers have to be approved by an operator before being executed. Each approval is consumed once and the same transfer can be approved multiple times. |
+| RuleConditionalTransferLightMultiToken | Read-Write | ✘ | ✔ | ✔ | Multi-token variant of ConditionalTransferLight. Approvals are token-scoped with key `(token, from, to, value)` so one token cannot consume another token's approvals. |
| [RuleConditionalTransfer](https://github.com/CMTA/RuleConditionalTransfer) (external) | Read-Write | ✘ | ✔ | ✘
(experimental rule) | Full-featured approval-based transfer rule implementing Swiss law *Vinkulierung*. Supports automatic approval after three months, automatic transfer execution, and a conditional whitelist for address pairs that bypass approval. Maintained in a separate repository. |
| [RuleSelf](https://github.com/rya-sge/ruleself) (community) | — | ✘ | — | ✘
(community project) | Use [Self](https://self.xyz), a zero-knowledge identity solution to determine which is allowed to interact with the token.
Community-maintained rule project. Not developed or maintained by CMTA. |
@@ -382,6 +383,7 @@ Detailed technical documentation for each rule is available in [`doc/technical/`
| RuleSpenderWhitelist | [RuleSpenderWhitelist.md](./doc/technical/RuleSpenderWhitelist.md) |
| RuleERC2980 | [RuleERC2980.md](./doc/technical/RuleERC2980.md) |
| RuleConditionalTransferLight | [RuleConditionalTransferLight.md](./doc/technical/RuleConditionalTransferLight.md) |
+| RuleConditionalTransferLightMultiToken | [RuleConditionalTransferLightMultiToken.md](./doc/technical/RuleConditionalTransferLightMultiToken.md) |
### Operational Notes
@@ -422,6 +424,15 @@ Detailed technical documentation for each rule is available in [`doc/technical/`
- `RuleConditionalTransferLight`: `transferred()` is restricted to the single token bound via `bindToken`; second bind reverts with `RuleConditionalTransferLight_TokenAlreadyBound` until `unbindToken`.
- `RuleConditionalTransferLight`: mints (`from == address(0)`) and burns (`to == address(0)`) are exempt from approval checks; `created` and `destroyed` delegate to `_transferred`.
+#### RuleConditionalTransferLightMultiToken
+
+- `RuleConditionalTransferLightMultiToken`: approvals are keyed by `(token, from, to, value)` and are not nonce-based.
+- `RuleConditionalTransferLightMultiToken`: operator functions are token-scoped (`approveTransfer(token, ...)`, `cancelTransferApproval(token, ...)`, `approvedCount(token, ...)`, `approveAndTransferIfAllowed(token, ...)`).
+- `RuleConditionalTransferLightMultiToken`: execution is restricted to bound tokens; only the calling bound token can consume approvals for its own key space.
+- `RuleConditionalTransferLightMultiToken`: mints (`from == address(0)`) and burns (`to == address(0)`) are exempt from approval checks; `created` and `destroyed` delegate to `_transferred`.
+- `RuleConditionalTransferLightMultiToken`: with a shared `RuleEngine`, the caller seen by the rule is the engine address (not the underlying token). In that topology, token-scoped approvals are not visible unless approvals are keyed to the engine address, which is not per-token scoping.
+- **Warning**: `RuleConditionalTransferLightMultiToken` supports several tokens when integrated directly with each token contract. It must not be used for per-token approval isolation through a shared `RuleEngine`.
+
#### General notes
- All validation rules: read-only rules still implement `transferred()` for ERC-3643 and RuleEngine compatibility, but do not change state.
@@ -579,7 +590,7 @@ The operator calls `setIdentityRegistry(registry)`. The issuer attempts a transf
### Read-Write (Operation) rule
-For the moment, there is only one operation rule available: ConditionalTransferLight.
+There are two operation rules available: `RuleConditionalTransferLight` and `RuleConditionalTransferLightMultiToken`.
#### Conditional transfer (light)
@@ -591,6 +602,14 @@ This rule requires that transfers must be approved by an operator before being e
An operator calls `approveTransfer(from, to, value)`. The compliance manager binds exactly one token with `bindToken(token)`; attempting to bind a second token reverts. The token calls `detectTransferRestriction` (passes) and later `transferred` to consume the approval. Without approval, `detectTransferRestriction` returns code 46 and the transfer is rejected. The operator can revoke with `cancelTransferApproval`. To migrate to a different token, the compliance manager must first call `unbindToken` before binding the new one.
+#### Conditional transfer (light, multi-token)
+
+This variant scopes approvals by token address. It hashes `(token, from, to, value)` and supports multiple bound tokens in a single rule instance. Each successful transfer consumes one approval in the calling token namespace. Mints (`from == address(0)`) and burns (`to == address(0)`) remain exempt.
+
+**Usage scenario**
+
+An operator calls `approveTransfer(tokenA, from, to, value)` for `tokenA`. A transfer on `tokenA` succeeds and consumes the approval. The same `(from, to, value)` transfer on `tokenB` is still rejected until separately approved with `approveTransfer(tokenB, from, to, value)`.
+
## Access Control
The module `AccessControlModuleStandalone` implements RBAC access control by inheriting from OpenZeppelin's `AccessControlEnumerable`.
@@ -618,8 +637,8 @@ See also [docs.openzeppelin.com - AccessControl](https://docs.openzeppelin.com/c
| `ADDRESS_LIST_REMOVE_ROLE` | `0x1b94c92b564251ed6b49246d9a82eb7a486b6490f3b3a3bf3b28d2e99801f3ec` | `removeAddress`, `removeAddresses` (RuleWhitelist, RuleBlacklist) |
| `SANCTIONLIST_ROLE` | `0x30842281ac34bdc7d568c7ab276f84ba6fc1a1de1ae858b0afd35e716fb0650d` | `setSanctionListOracle`, `clearSanctionListOracle` (RuleSanctionsList) |
| `RULES_MANAGEMENT_ROLE` | `0xea5f4eb72290e50c32abd6c23e45de3d8300b3286e1cbc2e293114b92e034e5e` | `setRules`, `clearRules`, `addRule`, `removeRule` (RuleWhitelistWrapper) |
-| `OPERATOR_ROLE` | `0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929` | `approveTransfer`, `cancelTransferApproval` (RuleConditionalTransferLight) |
-| `COMPLIANCE_MANAGER_ROLE` | `0xe5c50d0927e06141e032cb9a67e1d7092dc85c0b0825191f7e1cede600028568` | `bindToken`, `unbindToken` (RuleConditionalTransferLight) |
+| `OPERATOR_ROLE` | `0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929` | `approveTransfer`, `cancelTransferApproval` (RuleConditionalTransferLight / RuleConditionalTransferLightMultiToken) |
+| `COMPLIANCE_MANAGER_ROLE` | `0xe5c50d0927e06141e032cb9a67e1d7092dc85c0b0825191f7e1cede600028568` | `bindToken`, `unbindToken` (RuleConditionalTransferLight / RuleConditionalTransferLightMultiToken) |
| `WHITELIST_ADD_ROLE` | `0x77c0b4c0975a0b0417d8ce295502737b95fee8923755fed0cce952907a1861ed` | `addWhitelistAddress`, `addWhitelistAddresses` (RuleERC2980) |
| `WHITELIST_REMOVE_ROLE` | `0xf4d11a530c5b90f459c6ab1e335d3d77156b8ff3093308e4fca6d100ee87ade9` | `removeWhitelistAddress`, `removeWhitelistAddresses` (RuleERC2980) |
| `FROZENLIST_ADD_ROLE` | `0xc52c49807a071974b9260f4b553ee09bd9fd85f687d8d4cc3232de7104ff7835` | `addFrozenlistAddress`, `addFrozenlistAddresses` (RuleERC2980) |
@@ -637,6 +656,7 @@ For simpler ownership-based control, `Ownable2Step` variants (two-step ownership
- `RuleMaxTotalSupplyOwnable2Step`
- `RuleERC2980Ownable2Step`
- `RuleConditionalTransferLightOwnable2Step`
+- `RuleConditionalTransferLightMultiTokenOwnable2Step`
`RuleConditionalTransferLightOwnable2Step` now grants approval and execution permissions exclusively to the owner.
All `Ownable2Step` variants enforce access using OpenZeppelin's `onlyOwner` modifier.
@@ -678,7 +698,7 @@ Here are the settings for [Hardhat](https://hardhat.org) and [Foundry](https://g
- CMTAT [v3.2.0](https://github.com/CMTA/CMTAT/releases/tag/v3.2.0)
- - RuleEngine [v3.0.0-rc2](https://github.com/CMTA/RuleEngine/releases/tag/v3.0.0-rc2)
+ - RuleEngine [v3.0.0-rc3](https://github.com/CMTA/RuleEngine/releases/tag/v3.0.0-rc3)
### Toolchain installation
diff --git a/doc/specification/RulesSpecificationv0.3.0.pdf b/doc/specification/RulesSpecificationv0.3.0.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..53754abfe4df95254028912d6d30fcc62f5d1799
GIT binary patch
literal 1247235
zcmV)2K+L}-P((&8F)lRI
zHXtw{QVKpk3T19&Z(?c+H8&tIAa7!73OqatFGgu>bY*fNFGg%(bY(JIX5y2K0XR_baG{3Z4C-|oP_;Nul78%C5FxSuh?S){a7SLN(34QIQ|M^
zAOj~2WDsO@B~D;?Cx|Eh`_cNSA}_sd7>z#fL*CbxNQok=R;^lf{8N7a*Ps92@9}&5
zbJY8{&-0&oT)+2O{<-h@`@j4@fBvuk#qa;;r~Kmo{V)HopM(E2%l-TJv;P=9|8xGi
zF7`j?W$|D6tDpb(&;R&eJohZU|8rj#e)QYgKi6}+G5#6l{Jr}5PdUo(=kMpg{6GGk
zzyHnu_xFGJIrzi>^Z()b%l6NClwN=T*QevZfBygf^z_`LT}Nw2FTek%pV9uQ^Zp%m
z{L@Q&hFb6IpK`69|M~a-^7B7v-p~Jg=Jj9wr=L;&xytWo^`BbG?|=G#{Qj5!UHLuh
zKgThD|I`2YfBTO|`M2^PkNR)_q5j9C;XhCOpZ;(E_y6?Y|NOWA>0d5auJO+`uYbAV
z_0OD7>wo-@$N0DZ^gsRQ{<0nC^B3pym(PgmjK6F{!?``;R)pLd_v^HjQSRG$~~&%CdgbLE^1=KLS>o}Jen{O{}E
zM*QP_Oy3*-_rLnL`#(NIY8X+AztrDoT&Mr&f8%PL)W84R>CXR-zhawzP!7+wx%c1K
zG;@;pAFR~=Prb(T-&mvi@AIDjJZ~0DbNf&H!t3)t_n@x(pH|QR%!4WglhuQIp26jD
z@e$~0{C6>tQq@!1^K1(iQR(f@s&%NCLR{g}v#81cew*H&{
zy*J
z=92kZ6@^{%`+aBU<-wj9z*=e^=Kb|Ru%^m?`@i>8upJ#&e0Zh(bKnEszK3!=7d*~q
zj2%P7GkI=$@fGFg@$b(vZ+P()&xt>r&ksxU1E_f0`p@|v)%*P9e`jdres-z)pBdV-
zex7IW@6QO@f7H1C8;D2k$;JINv&wq~AvE4sC{W*8)`Mk*Io@hV+%J$jj)2{!_
zQP?ie9X~(pIrNL;D*VO$>=O0F|5p7)t7@0=`{6aq^Rb}kygJ(_{_<&;XOw6^2ieoc
zQOaAyFrSW!ADlc}zS?vB0XxpAE7r>9yxMld{?EYyXvnz3`791i`y96}FdEzQx_{pf
z>ho-MnAkX23_T!&1$GXbXZhgeeaKERg&Z(IU{Y85o
zFWRO1FYeP*>!<$W;@qFPbhYO-*{=QK7{<|JZkTn~lQ!`<0W;!9F6&T
zR=us)_p}dO_ciO!W0cgp|I>z^|LC$Bp8fEsdLy{+J)U{!l|O5l?Q`C24_*a5qv(}g
zcsFQcWOzrXuF&hy!s}c{xMtNaI-bN0tLV&k#8Dj=+qLmY+~+@7`S^<)<9*ua-SyV-
zes27w7WeVIjSqX;rNw)m7u%DgdX_4#{hE0^jeg(>K3A!H7|$O~J#>7(X!8yEi9XG8
zcD=FZ?w>UdKjXb!u`0K}D9^jl%y`M;pBo9*FyQ8w!V<(>%l)YoQ|irmxe!ndis5>)%CQGOYMd)
zxt-63c6xic@F_QZiS>6~p>bf`EN_o9$%g*
z@4uh<39PnuZ~jHsRyxY%d-R%nEpIvV!_Of-H}2hYXs3Jb#vh#DEgnCGkNl&jaBC--
z$K+FL_`1E5pncu?A}_2vKG*vkxs&k8ANq#pq368639i&(0odxWGgK{gZ7p4o(;vr&+ZXm*e@|iXW$#v4IP&9b4)HAZIZBuhL;}K;^fxHmB_vQY4^E(P5O7OJ#F0DMzM0vOWW*qZz~D=a?|QQ
zd9&E5_g}R0{%W5?_wed`dT#xJcF||KpK4bf9c9KI5QjZ9f0q59q)gf`rf*BPyguYX!FuVPOTvg!yA`3am|dI9Zr%{
zn_-=5YZ!PZ>lEiC00PD3dg
zL^)*@@bBmIJh(YO9Rn+F0J^LE!Sh7XlvmR=w5Q$XZbUpC{g&;2Vevd|9JO)(QD^|m
zOldf2N8xFmhRi53UtW@L9o5
z(C_bCW&@p{>v~puXB*EPcerH3*$_ednmsRBujjR28sZ@{5{OmPm`b!n^L*OaBjb+OKTTizCGX{VlE+xf65a~@9(-GNFFQ6Ve_FbJ
zgJJpfzzC#u23!N*l5MYR=u7Fng;{gx7kryAgqqvOTt1cm-R@=AFODMjvi3W^`1fPg
zxARP_=y-0U@Y}&u)KjqyKW#n`pU1HR>`Q+5vCUgQC@|dc#?KN4MZVy0_7#EcaL6=BxrCDh9IsqFvvAar(pY*NdleU+e1*Z#KUFr;T$_Qy{p62Y+bT
z9bXbGsZ;I!)$z-D9@Ifo_xVC@?}Vohv!<`@4nr5K@p+K-kb!Xt8^h~va$Yr)A@Jrg
z5$ffCb`Ft^~m>g5&M&Sd{pfSr%h=(9?$1<
z(AGH#iRI_CTx=Y`*Id>RzCT(PO}i3KyCa-ST39|~Y209E!+F`}vR+2v{%Q;F(l6ws
z+r!4bQO{)}`i%Z8vl2VcEf2bSuexmQPVZHKm_Ez2eR`@4qSJ;0FekJdz9US0%E)`R
zxkH;}JL|H2v3b^eGs&ONqQo@3gZJ}JryU!(k%#?d&;T#b$5?st%!#FqjzTEx+4Y`3
zd7P%HldPSC?aR=_F=R|*a6OS_w2z~2@W-?Bx3Qh4?3uzEX21B0%SeN;i01@8?CAIT
zb&qEP^mgX6vRj_=7_-p@m~bCXf_CJ2&=y0R<`3HN3Cdw``+0)6L3uWqDtH6W9__GX
zc*9Z?c!uSJJ5+tp9wggy&8bwM_yIa#9wG2r}o4Cd`F`?_=}%>8|hj;
zZ>tChg^R}bJ^C7zdX9UIduwCg-~S>U@Mp>2LIuX~x-2!3&-KFLICvT-4Zlh7B`3PK
zxgzujd{WI=tFBml{^F}`zwfspc*(XxefF|4Y*7)`s@L;6WmCa0syIm-Z3TjAh`L|G
zuA8l1R6J1|CwON1P&s8SRlrt*Z{7)Tc$>WNC
z(s{;dM&sk2>0o}Ax#t5BZT?}H(Kb)wM5V3_z30&s;!lNFHa3VlLB68L_gEN?ls2e
z(4`kIoB3&Vz5lTD@cUZUgTx)Mw7*}3jH+AqnoYmIpFA=X4gy}%H%x4j&q9Ey6>q5A
zKw(}^ZJ@_3d>HXZwEGaKb(Yvs71OEwa`Pz3D-<~>xX17jd3czxig}2RG@8+*bDy9#
zdz#GXYjm|8uptN)~usJwQ;^eE%W5aDd
zsB7Md*7MQYDsDszzh8z>%_?-h-ZbEZYSW&?Cq_{E*?C}UKcCEgrQerU*EvFS^uz~@-R@LK=q}ot;P_@pC=QZk
z^5R&iGcn|+3BQA=C|)1VkrqKA;-pW{VIZ`&uO`iKw7czgf{@rfF9m_Go9j(J)m;X$mO;Pz<9YIcHD;222rdchuLO3
z+Ql%LDJ0jyU_yi?dB?IM_h{3#J-gR1dJ0{E&Q*>n5H5P!+~;qT2Rh9uOyZ`swk~-&
zaNmUHyk10vuW8&r!$S=4Z*g5PAnXo%8|w{r0zQrBZq=AAhyfRS$}LMG+6)w-OP7LZdfHxk)eM}j)irKGcX@|r
zv9^0d%k}7u&tFemH0r{vN&=BebX1%oN;mH)9O9C_VrVo7%kd4db%q
znv$ts{jC#0%l0KiILS0V2yo-@!#Q+p*|p3Ct2}^<9f%~LNemx@u4p4LUUyvT`9uZG*rdwrJZP@~ycnuY*=7opszSPKw2A
z!dWpl=2M&<1_W>g#IZN-6nYK;y%$fLgEk?7Uz*8>;9Ru(?bC-e9|W-PmV-oy{J7TP
zV_ai9e4d`G&b39Mefabl_xcMysPoic)G~cOIBHKs(%)&Xfze|3H$Gkb*$53S{%pJv
z1L5YA8be$*2hI6|q9D6MCF>6aOW=}03gclJgNnEF{kpXR#y{ugPS6^uGPGN%>yQc}
z2aW?%Lxz}{u|wGz;FG~H;VgIu<3S$o#7{omr-zhCEV3a)oRrB}boh4>1FQ8wKZEKSO9pPzrM>_3
zFBoe2dfRgL9esFA*!#J~-%o~qo}NL!cZh0hBbQ$7NO#6=Zxg04F2{oHuN0ovUDk}v
z?$3%Apr^?B=5`3MhOYH#?8TVT4|~c?V}5V9axeECKF%oNz7rpkJCOcAe4JxL2;k$K
z5s9Vs5r9pEa-Vi{u$SSX+KkephoNUcjzI8l8XmXFawu|}fS;yE-qB(_Gh2j6S?{lVw%D&QblPisbF`hig%7KWzC%;dHW6G-?Zh_I
z)H9ZqwAym=*e)fv)la5Cg+WWVwJi^cuJMq|qH|yc!DL6%Z>=_0OZ$DlzBmXN+P2Z7
zqd>&7X90~n=NM+vI)7|O{jBrnwq@`AD*&!MMlbp^Iy@K-CMh_Kln}86N4a@s7Z%8h^_q$YtQlbLQE+rF>D_SzH#pFan9A%#=|D5nR+xkoKXI^Q$X)+Vm&7LQ
z`)w;8*!-arOm@tvXm7cV;xV>u;2u^jvpSx3KhpFzC_j(BfI}P>_qFU?>?Jn6pCvgB
zp>+M?;5A{oIO;eTS|(Jk8`1_+i15%M_^b_?xwqp01PYcR9McFx*k~En=$TQM&(Hqv
zbtoiNy~P%xeyz6^0ojJ27zu6ldgVb9J`GL@KPHe`6gwcL8qlMTkvjm`rnbmY=`T2L
zlm0~B!5#+=vr_G$ke7qwZVGaZcL|=+>t!pXb&GCNZdx1iq)DwPcsUB?a2=PMplVX4
z3kA41RBdt
zJ1ZUK0`E_Es3M~lzsILN0pw$zbd2qM7n~!*x8UhjE|DFAq+P~8o&;(A1;@rtjw)Rq
zO3a~j;TRFodfMH&F;1;`dd|6+Nm~>90Df;*-H-&b5--Kf2zHj?1eBp2<7wZ994_sP
zm;){iRHUg5*5~_e2X~1)k>`9nLCy^3O*Km1k?U{
zA9)hUo@LBs+#<SJm+p&`RdPfxI@8D2tr)O6?2mSY86kJI3Gbf>F@TMkEyN*!#I1K(gX
zi#@S=a2l{pt~WN#Z5C|mLDAq{|9(|@gP=RC=cLQ&IW@iu_)&frMFFcunu6o!4Qol~
z4EC?NO~U>aXkw?@`|IWsh=;ebnx03Y96C`{|D|1Ym;;(0-817r0o^wZw3-7uJkD_@
zaR2#@MdltzY*jj(w0yl
zl6g6BNaBT>?Wv_&iwL3E)z^xc#Jtv$Q3kg@X{K%%S>*R-(hjc>iw^hTuFfy?7RMBE
zK0IG?TQEwjy7LvgrbZq)2Lbc@+?k?dR)>US__vV)!BwvZIIUgk}afAme{&e?QqoF1ltquFLUx@;g1(OcBDv+_Rku
zxNXC*Lcew0srdTg+niX!^La$=+AJ#~7ftpg*|k6}u&xS>np0Q6PR<>?1afi8TB~J4
zF0i#ZX^U|_SeSQ2=x^JM^7$n(Lz8lp6{1J`_zKZKJ#E7}wkBOhw5t=3V8h|*VwZk5
zPo-1l!%pm@hz3eBZ+Ck-F^(^I#u19lq;};xX7&^bQ3!^3gxkv#Zejobah9B^9yS%Y
z1yy0ZZeo@}5eC0OL(%U
z>dpDx20}1J61i%?7Mho>p}+{L51zmXs;s9iARgSVh|8HLLZ81S$SSm0^g%Gx)if$g
zpzvvn!lC0;m_q!52L{?_Ur;0NaF}T_9gqmtM%d`pw2x_chhU#Q-z_!(-`CND>1O$T
zzwDqf(@}(ZK2L`j6&su8l)l?Y2-CF{s%Fm_qTw0p);s$_yS$6H8n%)~*IDzeQe6?@c0jp<{K^*PdrhT&yqNV#;
zJZHz(IHo&eBMCWSA)Fanb+Dc|azIY_!s@la6nk@iP{)-ECZ6Qh+}Be&#<#XxqFj+pej$x{;S~7;;}~c+ojY}o
zuUi-c3rDvYkcw$kErm}|5-Xu(=&)S^am50V+v7A5
zdSf$C=Ff7*jp3qQu9a=ZcHJOc{()!JOWo}J2|R;t(W&cIlPH0F2nxSFg~LgF<&v93
zo}jVy&ze++T_Sgcrcj5GRyTL$Vj8L+6H~tj^LNv`-`ltF{6i5Ed-oUwvP!}ecTizj
z@sn2ZXSu8~Z@gXO^*ANoZ#%4RlJNk<%x0^bP!-bgC=fIh6$@4`tjRJH%n`v!z>!xV
ztni`FE<}uompgY&7AsL%#QAn{AnXOSiEWoVMkkw?flUK#@8-cXglJMw&6q9|DTJoE
z$A=1<`%wEdNy~OT;H5GajXpxM$S1xQy!2UeLf1)DJGg0A(`glE`qhX4>oFY)z+#E~
zOY{3hh(p=^@ri2o$HvjtV9RB1|ZouzFJ6W-jr~Aj+BChOwEIacdRhH1FzRMq}_*&3EGy
zJ2d9eA{b==mf}TWcm{U)df#Ezod(&DLn%-tPlnQL3w*VkKF4$@zk0^}`h`Het*uxQ
zddfOuGfd(WjV6)Z+%u_QOat(ln?&^RVPJ;Yy&OTNCxNZXK3mbAgOrAxc$Fceh?hKR
z>p10-iV9$G59C?VE=)XN%e4g!jwPN80{51=As?1K+4p
zDyeSdWA3}{Y>=}vIQT3JrGf+Yn>wcU)+Gcy>AS%ROc}bT9hrK}$Z_iV%G68kh#*os
zIvUzUL6ut|o+7w|J&IT#BxR$`t=#4T+J}G<9Ol(rYw`8S#{kv(b_R=e4=i+G`(UxV
z>vOIx{`c#-isM>!%34I>k3GZ(LU#eVVu#}h&P=}?SLikAp|^S%I)qZ1ws~?tPkGw5
z;1tt3M678;99VwS*ygVluzH$U<%(!29Mc@>vpyUyfPDy&!Ly{r_gSfB!3ILaN=Fwz
zp!+f*P}%PaX*vI$C(M0|qPDfW&uazEgZWD$&rqV-DT`1Nb`G;S&&FZ7AyXTRE;+No
z%L)A^oal-zh58byK6(+;LJy=s+*RfeM&*3DDr7lmQ)pjh*&VN!9p73%W=1sr*hAAT
z2x@4T3}B#H%uYMZCalyPOQ9(zL`U?1$;^z~AovyE0#g8+6mf&jinhLH<^nvei)uV!
zh(-#|zqYSTl{Z}tU$kYRNLMq5H|c6lmC8WQPjXM3UQd&6Djr4MDU6DOJB9Ya=QlIL
zo}TG>7e|}Uu|EgV74=0As|blWUg(B}JYA49pwQ#RxZCbCYSXHUGv3IVTo#}7It
zW+eJ~pV+)iVx=gT`Otx8(?oX`tW^SR##3n0vNe1ZAbXmv40;Mh8QSR=${oiTyR?FYdPJX9S1rQH-&aqjMiJ++^Unu{mX6-l_oe`(gHDrO9c5o7Hu>fChU
zhn?n0)RKHHXJ}_~e|Hs!0MBNk|E`WXthhEDPx0wC+U)xHF-{dr68HSuj96X2<
ztOUMzc|swjlDl~B{2<4*UISJ|6=A!W>P>+dyp-#TXJK&zg{v)7V#;@l1mQKzwm*#g
zOFxWw&hbsdX%&w$zG=J|)5rNuV>DJI;8#76p{H+j%9#n~k)5pkWiYoQNimOMc%6)7
z-8>kBZiQuQP8dUN>j}jl#xjN1d6ex=L*a{`6g%oLPjtu@XAOu&=5IRH4%Wi5TurXK
zTQPC@@ZkvSWr!Xn1PnM;4^R62wq>uHXKM8HkN!I)eT?_*J+kf|
z-d^Og-z-Chh)~#vfL&3;^ECYl}`9JfnQbE>YXN$QzDY0VlJz1=vv8NUvI8WtT
z*~Qn*O;v$H0wUIE%21BhuLOUA-sr!XD4TuJP
zn5}q>kPr;E;$et1Se#FrmP(`w;@?}`f{MN9x#dXln7}=%7>?XCFb1X72BQ&tT+4{?
zdqKV+U9nr6DISD*ozH%NW8v_6eA@gp4@cYYTVBPXX#38I^pa2h>cOaMYMeu^K-NzZ
zGojqvHYR74+vi7#Kk&QIMrL`YQ12}ke2TY=V4kEh?kb2KJ*VC`KR<{x4E@EvLIej)
zB_~2H&Ub&Whvmf7$jro2P%tV|UgJH4!Y`hX8K``J&xI5O%V#qWvd==+1{2n9x7bhzoDm^d9*5N|L@A{+N<9|kiB
z*u!<|$=?02hw@W_cFe=P=92+Xv`>qzpFK(;FlY*n@TJL68zbQ{0bF;%N~B1s#Kc^g|R+IP!K*n
ziL3FK8NrWJuM}y$;*8Qk8sTw+d?~9EXV7DOgc@tVF;`Wl
zR{GLPYTcH7XB?eGY>jZvHwHd=_TWd;b
z9tsUqBSv_36>-Q@u^fZ6t-3^l5l`IXQn;=W*{@^aK9
zx%3zj13Qk_d=_KT%oloIio;0gOp#aX9_T4Gr}fp~wDy+aru595=KcBZxvs^VMFQ<%
zvT$kH-U7tiFNB9~?X%?-KP%F1-)F6_!{R})0wcXGy+1fRS6`8Lk&Pnq?(me{Kf(jS
z2P#(Na!vu-mzgrR!`$`=lM7?#-?70A=1T)a-aa7(1k32;D#0l;3B!d&fU?C$Awq#d
znE7BvXW^qoQ8>BwKkIdwB$Tf+vK#TfuRGlzx#G+e#4z#jYqjKqvlFXpb~yg};UbP8
zD0xiqpqm1%mztAn@+7qYx47&ER_-IMT7q;G@?mg6@?)U%%N&tbPv`ARJrfc^n<{sX
zX~{EGmqrKy2jt^k$rwOWA_XY`QB{{9FjcfADS(g^@82w0(RBmqq7vI`nnSr;LRe_i
zu*fV#^jvijBiQalun-MtOsTusCQyeCo(_h%(C!X;0Te@S0Z1hwSX5kmpl_9_?1=XRBl_5}710^*y|D_Fgj-iD^d}TZr3cKFS
z6ypM?R>jSX>U_*l?bLDt)AdmJfkL2liq>waP`vxogJe|_E->m1I;esLSX^m~+j_G|
z`*TlnF1cj63!nO5{Ngwig{BxV%22w7m7HlVsJ7y@IZDe=#gPu(Dh6UXQEI4kqn+^}
zIAW1Jn6JV~TwD5e;
zrZMYSJlZAZBxANZ?C3gMxhF$}zN*da!mRBTd$3jM*>t%u>bu1Xb8z2l)>%Ew*@<()
zk@Y-T+9cIU&uKF6OACW*j>_AUu4ittXty|v^z0ShU++f3X?%I7!u|7V-epfqp%o@W
zK_I=Qnp^I&Rs;4n>na1xR*HRfYoDIEV#>MeMY*G9f`jW6w5Es5F?gqitY=lO5%>D8
z@ULkKXj6o?-Od2vZhfT|Nq!mD|K=_4D>KD#3)f3?U9Z+uR)NvnS=X0gg+}ew&dQ_S
za6FlVVVFdXDec`1c{hsu
z{O8(Q(}f0^Cc$j;rkq8#8TwbqI}aSZkUP8zNq|;auT}G<;`}W?LxP~y&@`W`Gbl--
zZl=FP{$!I_c2;!BB^kAPn)a3uz30*2HK=)nalj;vN#vGWv85DYC#EH^()i;$sl#0S01kQqMbvTU)C4sE;?$FfL`HgiH!v`FhVYDe(uu-rl6p0}MAPN?T1
zoip>7($;mbMVoms=?w`?IZsES&?Z;X;gt`22-ui72RA{%4>Qcd^DM$`aF1#sfVgH+
zy%1snY8PMe(%~KXee~VsoGQp8X#qMfk>qA7p4}T~wPglom3l%tNL48Vh7C?Vz3NnB
z#YeX`UuYpac0(pG-afa;W1$^Mx9u`}Z?V3Mp1)8Vsq8p;tXRr>BNXCZ;>esU|vRN8M|^!B4be)j%38ylm?YI>U>Uon;!uHV}B`k{8FdFC};o;;-
zq)1ja+lUex{8WM6x&j8QCS-0MW2HYHL-ymE6~N?jEorBx?Lr_9X%+2)AyIX7X7c1?
zecIP9VfC~}*2&Wyly{my{2|Dnu~(d$fV=Bg=IG&KXH(OwhiLlq(ua!4i1Rv!(umMw
z4OKenhl48Cm_JlLS$Vpo&3e>XNEwK>YnIVWLs(71yOC{-N6o)b*pCrL1|%-I{djZj
zjJ$`Uuo*#D2C3F>?j7U9`x%Rd!v+44<$AFVqRbJtzfx
z$S#6@kd#Ca?inp(YZ<80UclH-8*2gnWPB*%g$N(DwynrQ_?28}=T;DcVemn!zNO}O
zog+N7@-+w2k?`!{;75_`W4Jt=LtqGhI6uTi4WLAQDw;;}Y_6A>6XM;B<4qY1hm)0^h20k0r#V6w$WhB;ioe-{_fEw;5jMqPSWf*KNfL$pG1Y
z!94o^Oncpf9FfD}F|&;i=gUNGjiUvj%hffoce+d}qA&&O}%Q-}sEGO(6v)Kjb79
z@s)^7gLUjgOJae*-@mjF@QZ1yp70RbhkikH5hTZ17ww8YHqm=+i~d`z4hE8BI2LUL
zf!O({b=SkIN0gwX&}LPoqR*nER;!n7ZF1xDFDe(6si5XKie_ulEMjY?n4Nd}SAI-G
zY(&Lpn!e4@(;Q8rl1qBj4;GHrttZcY1Ypv&FOO;11)R!dXbq>!(CTS~m>OvRBqqQXoYosR->gqwOwxE)b1RQHZ2!75bK_7J7No
zE57$``w#%wmrx0$g+Vj#m0mNG*RgBIBN6#q9
zP&EmwJTcAq9Mk~%@P|~zIByq<7jR8jzA68pDwyDc<>wSz3_UacMX3(WWu(bxLaabV
zQF~o!3{e0Qw{yX>VzD7bIoDIWwQ(yff~m6nPBoT&N%(%fmMhhK$hLagQEGem`XY}<
z`ocB>!aR^WI@jk3H6$f%B9e0}GeeomO_)vQcASnU9+6Rrm|A6rzF&WT@kp`sB0%F@
zo31hyk;K3cG&3B!5W>iT;0Il;5v4?%Q`U7n`q*;3-24iVmErK)vU((Ix
zS#5EmyCX%^-WQc;6wm!I-`Hh3hUr3~tV6Q5iCCG84FZ$(ewApbwk%dre?%WLhlk0J
zN(AU)WtAfohl2^!&4po}c%(L7RhZJ^SmSYe&h$;3oDPmQ@9Vk?7H@aK0upgi)8EP)Q4WsGXt^AvNO{~M08t_t
zDg)-H4OeA5Tn(JLkaQlTVBk8tRv|FyD)mOztL8gyzd_4RIR_BAt?I6FZY>fdLe2p!
ztghjTgm)fgo0N!S@~~*DM;`0DeIJU2tV!I5#oJ>nmN1RV&>_(-S4y{tEP!))WT9&s
zdZkmv@m39LIG~|if9l1YBY*GLBoB@`U0`(D(tbeHHLEFEFn_fgWX4=DDXpMhXea)cJ2Bct8YZ9|PWC0r#$O1LDZ3J@E
z+TmY*v!=nM{vZE~pWM|Sm*R9PrnmLb4~uQxl>&m!5<#5J`mI)E@lhL98lPSNpoXzf
z^>q%^5NH{e0I-nd(>39{((b9o-SbHn=5_eUWOh+eC^!6&aQI$t14$CkOCscb
z35vntuX+PQ)>>CKhVY`B`B+)|4Uj^UJYJXGVx$H9To&|jq#*dekn*lkc9s?t{$;1<
zB4c4LO7WqZoeC{*XF7y_CPRdR{}&AGhXNo})3wDp*hgcjdZjweAtKooUQw3TMa
z6W?rUrVTdj%Xg_OQgatNte>SZ>MVD}S)$T|vH(YJPh%uYxad6M+=^b0kASSWB=KiO
zO$hNAj!Ml7R|PwCy?D
z0-DJ5x__hSoNQ4p&qx`J?<9l=vt0wui7yKW-k>&+F!P~+eWOV+7=M%K5;OEg9Kd$AxLx$swtwsRG
zbTKcNc6!>%&8{xTGl`(Ni3LUO^oNe7g)~=!s4s=9PY9z72E-nJb
zFJUdPjjl7JF<}yB(%NepvHLYc4Nk!R`$=Y#alh6CQ$*VO&T75H1qVTos=uo4k*qLa
zve!n%^*ug|k*6e55>IY1o+*O}Lf7vmlGr5h931I2#Lg(}dlK>H#+gbX?Yegf0V|rM
zghxD_02;l^%Gn|kWmAyO)+M{DnPa_4jL4TG0}`9!Tqv;l;kg3OsCQ=hSs^B!h*Sj4KT!f{9@u2Bw2^1tR0%L&JQaYA0@HXZfkk;CSU
zGu0n;C^e1n+jS7q1`kX6%u13<4s3#}osgII{_YkaXKnqV-?{44e>h0zeNj}v8D{BW
zVh%%p-vw{r{O5905fC_1c2Q^3B00AT9g@UkxC;d|tkX&9rwEk7_2Dft(J{Q(c{nA^
z?i|9uXIuBQmY&?Xb8M-Qho}%y=k@g_(x!FJvSf=SM6JBNL0pAppu^R1eJka)DpOFT
z3pyA!SrDo}ohHZF8_L65yvcF+Q}94MjbI1hX&ig|HgkOSOp%6B#eS@ZF(Z_%c=Ly2
zxD*Yi6lf%SyA1{eJ;hlh`YiqJLy4iMi%;t@Oi?JmpHnPvK&ydRs_ZNH(yeX?x9HBH
z9h1kYp+_CC^inP+bdi94*q*}x&P$2%u#*IFs%~OJjy782_g%>k5^YO^#pw`<+{5*A
z(gRPSZmwxU{R!RH44w$+T>sv*7u#L|6ib9tKHF`^yAjFK0_InttttlUIfV~8590ki
zW0P#QQXGKW4qS`LGl|30KavNVic*JUg$~>vfy6NuVKuH084<`ek~0uTFcaqLO40~P
zk+?^Qj_}N_4(qXIQ;yr^#9#ABZ_1ftX3MDlg7WXh*&*kQh6t@CI0?hn(#%3jr>&)F
z&xO`MD#5u;yBoKNg0_4d$CZ_t#L&^_&09F*`%*3SGLkoNMbVW*=GLs`_dScvX=d@q
zwZYh>1QiBsQ?e^&vP_V6%e4_3)lYKSaAY*OVMH>_wMljyQti7Zr#b+UCF`!SvIZ|gDp4*SGuS^(orL-h^RbO6$F1gxGB
z@QH~K>Ee~sD&(t25gNwrLs}V^caZ_PZz;i4Lc81!Uh#i#!{4`A$7#8SSo7m7Su!TK
zHE_rK?w1|G-G!f0S0Oj
z#+`{lB7iGb{r<;nZUg4$Xut0{Y>j9$Mz4nq(sIHjWp*v^8hLGU+``59;IjdqeI9_K>S7IVc-f^
zUB_BNGOI^`3JyYtL70y8nnrwb^CpOVNXhw+q)|$PkWO0CKq{~Y-G08}0^?6;o#k>K
zgN%+5*}Ko8Dd2`)G85q)7P2s#8J!5TqKCnL>s0d!=9%)2mrDpy)uIiKft$@73{V6O
z@p}%rMV|6~Fo6*sE{zEvp2_A3{$o&Qu&akQBN;@8E#JJr6g?fe(5AP_w`SmTZam|N
z-I+L?bv1lG|D=!;q?axQV=qreaLD&85_pkpLsOQO-*JoTl8M%p
z3BBr2TmjHSSXM`+pdji}L(a#gPpM}KnU|ukg)Ze(V!D)?;
z1`86;>W@9Bvw;Q4N-Xgd{n6lt)I`RTR6ul^Qtd?=Y+PJ{3_5d?*LOv3^|RRHy9%d=
z-w|KcWYl*1uB<>CJ!_Pv)V}7iow`w-^_JZ0Ib8P3YK#U0LlQEMNX7C$3r%#*7yNlt
z@;G%Mo>nHemN@`=K!v|_MO`dVRkNz=zZ(IHbKZQpg_fp7rwxM~;rASNGwC=J*x$?~
z9B`N1uiN2LDWDoocY6`F@&`7PB1#!is5nEn9^(;VXaUwTVz1~z!dzi0S#Ty9dLhU3
znns%3Lnt)Xltdt-vW(XqqeN&PPSrv3k~Z&dA&J9_O5h8t*B)9z%r_Z)4_r}_KCu-a
zJz<{m0+;e0y4UfrQkhuxSn2(iQW>cpdBA+nVt1B`9dQ?jjGp0QEv_%<4TT|nI>d6Cfy^eJ-z3#?J2N;
z;*isxf?X}YcZ+Jrla5&Q_PraV%^LPO%u5a=1ylVg)8yzYK)o@Ku^mWG{yQZF?8I{;E6dv)C;{)1mPcWf9VH2-Fnz
z9y3ggyN3M-f5&;+whk{CSCPzpb-nvm^_(EoFfW?>3A8J9w9lz_u1dF}6cY{%W{`UG8GCg`j#6{nnk
zb4shLg=f14r6zk$()n-&8qGnNpr&=Sgop9Gi+>M#Ffw!<9W3G{ShhV5K*&Hbo@#2Q
zaj*9za%Iw6ia6jOeV!Ug?Nu%giP%GkO1M0TQmX7;IzVy4f1OefenU3*c8I}`^gKN`OblaiteTBa2s?b
zc6orDjM?>=tmycvgO`&JUw`Y-PJk;Y(n{YRx1dyIQJ}5ZnMO{&+^C@;^wZhoQ_DP8)bb{pXH%{=H}-&Xn^tWu$2#+0%{@(O@nkg
zQl<{uwoyGMPKMVMVo5@i!>JAzi<#vkusNBJEGkdoy;%Us73`b#m7v?^dqWr&7;mOlq^F+-LZ&^tIaR37J4b>8g9v~K{wy@K+g;;$^d!$>RWbkJKRCpQTvW1gzRZ4nl
z7j_*u?vdEWLw<0M-}fA1Y7ruF#`NDZzatws3bnA3OQg^*=`tw8RcX!D?#){z9a2Qq7%r7QoOjq-OD-!Vb;OnsaqP1!AOn~SGqY4@*im
zYT0v1*1D~LqEvcxth)JG$8IRBoeo{PPD-Ay;FIb6JSC-;Qeb(7qH37mv)DqQ_x~Nb$90!$PKNR(ew&`cK$k{V8(Twh3@aCOtsHGcYMPRKkTMSjh2f9j6k<}k5RHMYAB#2_FN+S!qf}D
zJwS-W>3%{ugcu6%p(}9QRxq@TEJaReWeWC^0By9NdngDUU<^Pj
zA}5Db{cSTQ7tOJIsW?$vDuA)jE`wEhiYKdy;p_On=4lBlh_ueU^husYgIPa
z#iIoC89Zy43tO|&rPBfH+AYhSbw$kOw5a|0O&cNfm9gL`E^%=Du>g}%ogJ<+5i8n7
zklz#7oE+qCg{S$KK`VNiGqe4$pYgzSSd4Aw&8sq3M*QIVow@)^Ik4!IqaUqpUJiCV
z5||^i5L+C@lvi9#&H$*Q%lnLi^^C8a=kI$GxgLG8B&v`n3E{T7&PfVD)^!#eL-_DO
zEbi#SR(RSue?HsbDDZU44nYF=d**r|zkOZ{w{kxFhxi*$RwuY)&^)UB<-aD8hua}<
zWU30r-%o@C#HwS7cz)DP)szE>Poo=9J?XW!y4qpM3UB`*9);ash@;VeY~HL=ZR!1R
z3?iNoCe|lYVd6kooFAEO?@2^pCwS~h&CaJ9>6gz_J*;?r+P;Z$^QQm}BnUKdshhD$
zKGsOE4V2T;6d&0gookan#L}pVO5`2T77B`$L0?%tYt)50rtew283!&tB7B)Vb9<=i
z_J9I!sadsqh*D>d984nA!7Q7`mzz9Pm2rh<;{>8omRhAXa8`R^=h1UnwlyvgWBi^)
z;z5#-CeAB5#Th~dR=qu&6=ORMDYoG&p29M*O#M1H9oenz&o@M+vb`CbS4Dmd=_
zj$Gidb;*CTI3fO`I}7;KmipYI`yD;kW>tzVRSXQ0xZd|PHXN^9%MInh#>MiW
z_O7o5>xJX;vwCc#xdK4CKF0ClvlWm>TPDmnN4?_$Xp$LVzlBiV8JMyBfE4nzf9oL29xS@4$db9eSP
z4o7ScJ?d#HOG59B4ACYjQ(Qsfq2LMqz9*6KDoLoX5PujnNo%oqW*Y4Q^`may>FPOkX$V}E
zYneddNP8zW;X3x#E(*nM=!$g@Uenn3N*8@VLKs%162PL!XP!6#*Tqf-K##lh>Jg@a
zD=<|A7zUul^ODv8+L8-DLuQ5L3}QD9$S~Up8D`HVjv#!oer|~1_bj%oKWwS|66fu#
zzl#?CA#~Fftod;}9SeE$@$t*;2lNo1f8@}_$L=z6xJ9|6BA9wC2nS-q-1jWgBfLWi
zyMRVMd+sx^3tV7C4ef0f`PDgP!E$vOmwA-G2_V$?4MCWaPb2ur|Y
zC5OnQqiEwEB751V1xid6dS3uAGu!lO-4cIFVWu-Bg^HfRG@WXnLmmVWq0)p4d0xq@
zjGQ4wA99bLVlA#c8lM^x+M_3sT)(z#<{r%+uvl)1MDPNwu9pHBmj9kd&194X9j8l}
z)v2?JsuJIm*kH==$_}!t=`-z8Yp~|AfmMIv*>)bt&+0h@Z~{XdN{(ZoEfCUBoLin-
z)DCS{Y_E1=vTfLD`7IIn52V*x4zFqKjEpHKw)HO%)?fgyJ4PzML~}*svd6(PxF$ov
zu@Tz+{P#|OK_D!%qm2fnmkHwMxx6KomA(A@6fT?A0P_Vf>T17so5lXYS=+!l#388_
zDZoMYJCp;Lfjzk@)(AUFdNauxF|8+)v%oD%#^R9gGRRXOS@+Oi^cf9(ZKu62RUr50
zg}-h(hW8olxQW40P$h($Fe(hooV>oFBhtqYK@EH0MfLhz85=#->V8xOnN~*)O6CG!
zLmvqMEJ>Kv3dSKH*;TaIr>X=d0pFnKG*rU<4G8S5_qWeuV;_Rs6nnhbhgf4_z_Cu=
zsoiBLI|r^OK3!LnwY)XHZOY4oeKipzabx-HAy0kYM;VJ
z5Mm(9vD?4p8dwpEHuxr6mEp=z9(l$&Tu&~-$F}pWeZ;o2#igyYdMfj((w9J3;~Wc9
zb=y=Er86@>KZjk3gTJS-6EdpEu1FjcaDLB~T81r+h)-nOp007h!nJJ!&ZF+ARUAny
zZ};L*uk2b@E^6ruKxgmTe1Wbv=G@)bwZUB3DcZr_f6X92G=DcsWFb%kBYFJrinufk
zk6~G#C2>1{I)?V@vaExc2nl)0RQ&j!#0GRV<`%^6AA)UZ^FvMyhTK$HSIdi~
z;YOhAZY51a^3`mwQzy@avS@!Y0VIDRpes#7$l#qD2%+lpN6XD0#!9`GLHnM?{^G7P
zDT{h>OhpNO*XE*r&{t{OW6cUieC$_Gpb4*q^d?g;`I?3z^fzl8vgeSUDfO)>zJbxP
zD6tc`HC~+y!njmZzAK<>r|!MaX5Z#4so<;zPJ*@aC-4kw`PxINAxrm
zc_3b)^s%hq@S4MWRhj|qRY~`-%P_@uV!i~0j&j8awDxuqFt&qKC9){bwI~B>U(41&
zd0xOk`r1zp!lB+zuHRJpjW5Sl@7}X`rN`0;6<}h(m4<4aiEak7fNfF}0y$^(qG4>N
zsmhyeXF@j-D7P)GqCcjqvC1Xz*h4PoJbU7^Nj_i(E+ejUDk$Kpycyqm&Ek!mL&HzH
z27v}eX{I=lKv-z!)~+mfDKv<7eN_@XjlI6S(?o+-NuyIZ4||Yb9H$iM0dZ>4f;D47
zXR&n*D5OReDcQVS@~?Sp0CT%XF7O2~Qz>sOfH}XxdnJ>e5@EjYY|((!8474#PWKZ*QSA>4tCy0W>>A#Xe%5OOZ)R7CHJR>uDC@g4TjtEe%eMIc
zRH!8&08}o5Rp#n%RL(!O*|SQAYax9Y+Mq0NXz8EMHm35PfD2V|@5MLtI-!Ad94-}9#;aofGCFYlfL|O2hHgS=Hg!jdd
z@G8D(i}(Z7;}r%0>rm?Ci;$>)7N&PS2&e#Aw}r(FUenl!UE|b2e~%f$g~#&q2o|40
zuDa_RW20O438f8hnHNaKAy|CcJ3UK+#nBeAs~VFW&bI?Nj4O1PbDI2%^iC~ZNFVv!
zm|+6o-qYB`yJoi?BmmYpLEJfTfn^$LKcQ(P0M@$4od1+{T)U7xsw$aav2IO<1wq~_
z$HUrM8R0Ryv1S*gE;#=)lcVE-y{ECUeBro6D(v6ZBaoQxU@IAWb1<9DNS<#_Qlt}R
z7d8oYc5xYsi%cnmpka;_X|7$agTySrNXBw|t3Y^2SSTFWpsT#+5I$;b;?COt`&q8Y
zRP9>?JkOdS+44m!i2aknZfKvC4TuP3fY`)?C(oWz$I>S_T}j{)tipS^Qv8sXKp+W5
z19OzY9D2c`;i(=X@smGwO6=Z}
zt0{7Egg?#vBe=!~{b^zc&qL$q%f){E(qL-p$%sd*I^lar{T5Cof^Jx58gOH7qqm~o$n#ArBIB~Gma8&sa
zU5_&!k!?V}h3m|=JOX}S@r!)ZhxFvK9lTcdP#;TrS#${qMaY&-uVX1zx2A|d{=#q8
z)Y$hl;>AI&Y?QQsuv?yHV9I@IP%S$a_JuZ!CuEW+d*~8R9Uc9YtdHH3)?H1>5jB8A
zRxNOtuXT&-yHv?)E58Ew5bnTHAZ!Zc#UUpWnqKor3vAGUdoF@+^l$5^f(UNqR2L+;
zAJD-i)4HVq`S%AOCa@=o=&-3OkoyUqvbLM&bk%R7V!h8%KC*Y
zZ(Kq8=U1%sz_P^7ycH83lqbfdX20)DfqiR%Y`
z0;9;%kgmW%SF9|&AYHQ`moKfr
zK-RAX??F{$B?CdiwAhE}`BFZQNTjPJWc3{ALtN+94jm^t3AHVi3NuJU^8Yo7?Sl)<
z3VA;G;F==J-d6a*-J0Ze&h^2CE-*j1s(2!N1*qANp7|>L6f~TZz!1Kb%h|)EfaSO3
z?BV#@nrd(BYdiH=>DBg2*=pWX-gC&Q4Xc_7N7Y^u3XYS6j4I+e*4Z{Qs_l=M*`Wk0
z(ssHG3IeBaPvbL3n^X`^?l?Ejhk19{Vi@A_Cu(+vq6h;B$#CIX|7K^@7e)){7W21WQC
z!LwU_2$gnCCgCqo>$#WB6`bUI?arc*p>U^&3|(`%o3DAi{M4`umcV|3i5A#TOCsBy
zS=07Yo8S_uoH)Vc2w7lhmV{rw5|Ba+HT+UyqCLwN;}&)37R3bc!Dru!ge}upc}-)(
z7&_y*I4~92HeO-)S+0_}
zAUfB%rk{0NMUi+|_*JN(eT&|z0-PriF@>&304S<2j4QC1imTx!L{}obPk%A^j@RZd
zhHl7f9$VHXln&B5iN(TK!3wlOt@Blc&fBsbCPmKpCd@}BxN%w0-Q|RL^F&yD8bCna
zFB?3wW?m@U5-SZplHZl*+t;d<|1_)Ss3*nQy$-$WVX6OXn(aeB(Q#3e02TmThku?;cR
z1Fm|h}GJ$m%l2wN9TpWgBlp{z@@cSsy>7ES!9Aed`o3|>LpyyV`R2z%@
z85O)EN!_KXac&fG!lHO}IC@qzd(UEz4+Od-1ux5rhJhyVxY4TQf#gCOyLm4(pCB3I
z1B3c)%RvxVkw>g65le_BCH6*0
z6vplREb^#c^VnTgWm>S320<^T*&bYwbX3p2o^KqXRkVAY
z$gVNdcnABb!N3YDA_PD4jE)!Bt>bCL{Cf(Uy8m!^=#2f6S;5{=B1e(iML#p_673JU
ziY0n(Y2J+taz!h-=W3^4IFp~mN@d=S(Z1v-TDyfkedNxFD;!qw+a~Z9EjReK$)|ds
z59=^#zroZ?UIEK9F>iLN%s04wWdpCwoujt$ec3)dyzfh7)ci19Vcc6g^9r-)6b94}
zl_3p$?KO`#5%y5(zwMKZVT9>{Gqj5a%lhuDfL9%TsuUrWniBq;h5x+EWhP}*&--Dj
zW!1h|BidBN)^2y(+EIaE^+-uN=@s6Z-;+pr*hxo?9>~-gXTlh27Il5>%=!yo(5aDO
zuc)?EAxq65t*y4eV6&-Pd{z(a6KC6l{7pBhCN$&b=O;O9{`VL&{=ALf_Z;%IDe)^P
zTYv1id%7qgctID(+C8V}RP%~pl~Ox`$=bP#tRO5>05^d++P~MeL`tBQr)0&0u`65H
zXtxj`sxD@Mo*bdF58qSBif~PweH-3?>numfgssSWfC-t~U`yVK*{mz2o`uK`QQv(~
zr}Kag%2~j@;14b_W2P0qB5}j+h_cIB3TQ@7g3XI4^z)j=4#Bc)!%Y|1IOU;`4Y|_T
z?p@G?YrCspanu_5$&S;A>S=9C?D~pE@D6SZro6YF-2ST*?y|jZ5pJb|MCn#yjK}zW
z&tgBgTS=*n?cjDIWgeO3k^mSEZkMAPWd!Guw^C2wyp#jE)+wF!sq!QbK@ptWReTr<
zJY-1Bngk4f9wQ-@HELJZc+FyyUSsa3{SQg64Rz2cL6#;=bJU8gV{11af1jV#^DIkh
z;fOr|L{B1OP82R8_W*hOqQ+4WvWQH~LR-$ZEICXt_5Fy`XN
z;c&(FII^dkr6rOdXZssv4%gF&N{W13mm$!pr|G2PeG>1_%@Qg8+|J*uEnB;UX~P_=
zO^McSYaBLEjUv7{)tl2!LQfzvq+_=`
zO~!i7VxL^SGP!QsOM+`u{dCaJ!Fm&O+p{wrsjOWxWT0}FjP$+LQ&pq%`FnU?3ia1*#kz==B8?b9=d7sP@n?R82bocb9l3Z9N3c%fna1gxsi(lFIO`8qOvVP
z(V&Ty8Ht>t#?Vu@mTBo3oc#QnfE1p5_^Mg?qM^>Cd2S4C$)5DgHe6=Rur1oG`1EW6Q^w)bGrAyC
zSj?kJ;2Bm30vsbW@nxmp4ntW!=mB0ntU-eUDzN^(C-Eu@!DCMq?0^NH%UWdCz$Hk5
zb`jci9-BnI6XL|t%b0Fl!Ip3`!Q2*23xMYOg~QOeLaE6i-0orF8=l_$i_`p}uwcLE
zv1JR~77PT;`^VFm?6<=(c;wDT^*m(PUJ7?jCmZ@S28I66X?(ka582BB?i{X$K%3yO
z@*$T2hz(a=Vk06Bxv?HPoDe3bx=7f
zM7+wyf)GZ7$e%fdLs^HvJdc}o#BP<2WBUp;hjrqtWX__*hUWOju}ZhFomFP)
zF*4pktoV{x7^{C)rFvS4bag1$(U1{+uQ>bn1R_A?a?9&`!x}$YVq;j~WPX-nxv=6-
zrRnkf1niTJWiaiEYS1K6&h1Z1kgZ=_e0KcYhG3q9@`19&1y-F`e)A*@F1+qNiML@g
zRqJxgWpqy%1y*0
zO23G$8o@#p?W?MNV8uB8`3(7qJuflnX7})Gn2ZoaBsL_^A`UA?9Lgx8huf$lnv|Gy
zS>=5W`N>U^tTyD8kZ$sWAc%_hc|T0wMBdrcB<6P7_GPxIO9axoK8)>4JcmVL<;EhvCT(5D2GUy3-~oHOVz8VF
zZ0E7k0pD{7G{^}={7R=aP3YuaQDau+Y#2D7ZMDN!`dK~p*nohacer>_)d@{i2PXGy
z$OmjL997z)A4k?JZgFcBM^CWPkp@-nFHcB1B*(
z+6)w>Qfl@z!VK%ZdTf;_}f*nM|hSS~=%Ha2L&>|#AddOpeVBBZxIaQ6!;Sw5Ir|+@bTpUDO
zZjx2w=v8$^KlWK{NyEsRSd(KR+y6mN=`upOrID!
zFFqI@U}tt5O7MY)*R+cB3B8=g7V!(=D`!-^n`!PJhxxbQ(y>e
zk?H)xxCYN6+nx~$eNAIag_BYKOxlTXo%E?9PDQAU;WfDoJ;Y~X1u7K|-*`F#&{U<@
ze5e{1+DF|S^`vB-V(S@Wi5KTgxLBbd0VJdss9w5-g!$gC^7}o7+$ZCpq{_T;t}4n5
z1wDu5h*`sKZF(qir^M!X%ZN|Sb=22ed33R_W=j7${hgUHOo}suCUGtYtn`+Tc4x?{
zvEJsT5ZB#)Uz12i*GV59x-zE-U7f}qL(xS_g(PGKdl~sS^Ulz;BwAZlj}8y|FN{QE
z9kT3~YLDMOx?QpkB^<41MMN5U#WfwAkS~_TECn8;c3q%@xIl9hbWP$_Dw-C;;PKW}
zu`R5KKw@EZ5Qt+b*?ad`q6Z!ei_TVVKY@V{-!-qO?S;`~ZEWPS^`S00=)zo;_g$a-kB6bHVu
z?XanokM9MH;uD>BVl$z!lUU6Uw!adQ&UvLyO41O}?rjhLXHTbF5+Q=XliqVk$NS>h
z&VyBYYX+Wpcy|F(uqfg@%Q|+kQIhjCqGxKF^{RPz2V52#rSLKo&-2-f3utc^98$zs
zjD6Fbr+(+w$uTkq@l-C$YZklRRg)k5x14dn#O5o`Cc)^lZmzf6pT)Y&U#Lv)f%+v|
zvUn;=r(Jejro=ltTrhDYz8}+U0eb&eO{{wjF-Xo|b9gK4SPfqaJ4|)3bXFwl0WCfb
z>3Q%_a(&;Q>D*60;aT1g6fBxyoyz^2l>z*{QC28>=LQRWOr~n^AU+
z`aO$$ZG{1#tt13`ir_$2BR_p;hhSS2jB%+DWxLW5o+{0ok=?vP#C0#41LCKv43?4P
zk+p0IML)NgE>KleVa95)k$W0|04~r^>CNub*cg;NMe!k?%?wJaf|-;AWXe1oBEQ)V
z?&j*zeu4{}wdej3HECk^5P_1(i$!(hfmL-8J$h9hJN0ZbmcyPyKs6Mb0e(eNxl|Xw
zXYoD=P^i)=Ip&wTCl3M_Rmp8Xik|2oxK~}jM3gRRj3!>Aw$Fj49`O>zXDZ!lGj3*G
zzvxiavLG)QTzgMp_r2SdB-7=4C$Lc{;hInQZ2pPovB2r@1-org?$Qfpe8VpfK
z>OGHi25$KZRW$OypJ3fIQbEO)W6-y%R_|?^LZxECv}X&mNMpUxS=hFZ-Is9*!FdsN4$eBOJ#_g^?u(+cMkM-{V5)s3hH1
z5Xi+yBJ9I#(ka19muWW@2|Ybzg1f>%#LiL6Zf+TLKT+L|0*2aJk|IO&4H_M)_g(s~dZoaLM4Atf*!P4k_xL;9d2P}j`6Wz|=eF3(V{
z@L!XNRc1+OZ=7`RNrbZ+I}NxREY2te-cG`aV=W~L&K&pJFkN0o8zxP)sHhT&C6JkK
z+XlMvV2c&RZmJdF3M#a29xQp8a$=?KS?oDOM#4c3je062>NSfz#+6gF0L%2(T%I5q
zxW)>T6o~c+k}AD3^fVvCXI*Mn*-lEO&*iAElL1|9Q-ZsktCgUk0@|lEM*B@#Ck7->@|-)oGKg$
z9Ap9M{8Wu2(V99Igq-bF@jL7*V^_4t+P%cm!eVp#vurx_M6jxg;7U?GtSf47xDy=Ji=1@~T+D>m8VvUG3Bylo{)G-17NJ6+*!+b^8Ph`L!!|L{qWx#DpW
zAV1-_SNfDem}CW@eFeiE4*@;hW~&CNs&TJbyu^fvW~#t)#4hjC>iTk*fQLfUgY9E(
z!D957c?*Bay1RkFMgdT^GoAW$I2uN3IDyF`X~RlZMa!5GSm}>TNDp!&t>vKKlh^`R
zT)I^{$$zV-sB{Arbr2;k0)nFMcWedg;;)^JqW
z3aPy;{4F=jp{udJ+K6588x@;vpT(x!H8yZu%3UHwdV6-sq70~8Su3D$0r_Vc`642H
ziC1W{!j8Jj{X{q-so!!E6-Wm#dJ_p_WzilmedA#@7tC=uQ(-E{lr_BIab0s~((nplMxo+fNfl
zixdE%l4eAYg@dur)J%M82aAP=SEJBQxz$rS~#F!O6gw+DK5Zh-D?_e9u!LsSD)PEwgUa*DM~UQ9k01ikxco|XepE$
zQDi!C6rq!Gr~;Z)*|!Ldmdgwh)kJ{sLA_V=q$ta0byV8Y#8Bo)bn-oeT}^I^=QHd1
zn`H|LD>UKXsfAjvtsOo;5%PPLq(BXrQa4u5MFvrT2%k*7Vvj{E57+HJEZ3qsyeXF2
z6=EWL>F%LN7tqIh5-&M$gE@8ss8DheXbZDHX>*F%EOdt*w-id6r7`G|8oOCxAhqoU
z#4kom8=u)*Wu{kvd$eoV3#fR=}$e)^&-Biyodzh5*a3
zg1>Rhr;i4TWK1c1MotESO@M7>mfimkXP__17Astxb}dM*oQ
zfgL#_*+T+ayoWN%ongX7-)s7%xu##!h^+)Qja@ZSp}5Prl2DF7VEGbYY~ZI|RY^jI
zeV)(!I!LsJ(i+`1ks9&$lgGz&8oDY+V*l3$OO7FqHqgK<9zoCgGAQfzhhv~%jgcaZ
zk(oxJKmI+5I02$JYZvnGX!2c3!@_k>#ce4|9Cvp7<{2xPPAxk)^s}rB#N;+su%{1F
zFI)^o6Y--u3feo1Of21HNIZeI`DF-A5NJofv
z6^@38ocv^pIpCC<6okMEGC{}I%_l#ktVd@K0xxhXVF!VJ;xRlx(IIh~VaU5&n=|#A
zM8bE52-0thI@$z2xWk`c&OaxFzCfMK+jC7n(9(t-
z!%KO4XIp+DhtOMDz|wVSn#_;=9{&cHlQZV>Asgsg4^?~!pQ21D9mnomrgXyS(~M%K
zKL5r0zYEzdA1As0;ndWVWe?)~sNORJa|OO&x5@FvKpec`BRk==U$f2PRUnRm-PR(C
zb0=*qihVLomQK~MD$7ZT&^c9?$em)}-QG@b;Xp|C7O#zG@cN{J>4p$ZDVZkAcAG2E
z`?Go?>`+|CtysMJdlq|0zbm62P=-SK%VBn=cc*_d7Pkjh{nNUNrC^|43kEX5ROU(oP-7Q0PCeLn$ln^A&f_UktnL=;0u
z6la!fYgIA^lfUq)bT)h_v~LQcu})Ek>*A`ELVcI8O9YDCmb+b??M@-d9AmSj`}ZvJ
zbgNd4Y%I6)#|@o+HF|2<_G?H@uMIu&kAGIr&Fbm6fU03Ap2Rbw&J;@5X~pu+6fUpp
zv_jp_yRI#LmFCG!zZ1ORksnaKdXE8%(M-58Y+Lw#~#nX`bT>-dxl^
zxIKNA0S_P#i}zCH29x1mlh_C}j3+?oewsfMO8Zzwc(NquUrYlJzPp-Y)bk9Ee>X~$
ze{La(to+2DS(i}%P+r(9z{tU98V%v8&}r}^}r
z#%6X=0O!`z`lC+ztwg}$TvJ|
zv=y5QN*2l#R$-Z}`e^pEvCR~X&t(Z=`a@tQ!O%mc&~jP2ZA#Zv@b7S9M^|i++I6o<
z>{b^kmqI!J5*rF_R#;s`gbpRL7s<&G&zP#3e|%G!mF*D@4&?Foe+xtT7KBEF^=GX~jk^U7#yyb0O0-%e}Q5%V%%aIPgpue~_erOK$-4J&k{1oQE|@I(V*VlaWqc+4fSgLbLBG(SJPzf+)!~v;lXAw
zmMlJBT?9y6R3n|hY#Wc>dIr<^uR@XFbkVF*Me|u(7RGRm>>*xOmk;-v#Kyy8H6hz6Q3rW_>k7reov_tc&yes{aPfvSWbz(z4y0GNxvU)I
zQS#}$W|0W2GEbKC9SCa~-Ad%n>GDGhJ)(7ExK_w2PCo_3@5Y%!XL}EAZ9T}b`dt^W
zFBN%XLmE-aOuMe0J!{zZ-o9t?FQ>uH4M(mHxxmATlYxZ0226T3Q3rkbI#FvKzRoR>
zhro3BI&RC?5pEQ}a1A<~M1)2B`J$e?R1^bRaW-QD`a?B&-}Bg#At=DXgsWu1BkW^=269WR%8ILKD$q)gxjw`?v{QofYeRvfaLr(BkO5}Pua)_Z((=plqvZ!5}9
zZhyJp9Ttr*#L8q%zX*jkN`X{YG0Ap*bSb=746sYvY*nN)U3Y!hi0*PLXqIU9xLa|u
zP8d@#BxVz-cgg(A$#=!wS;HJC%v
zkfUWBcHID3hBVlGf3?@>8Ufq)_%pIU6(WH-!$R0$=fNOm`hUL_G_g^-vPJGJFW$9}
z6qC(hja~{(QnD89b3<;^UWKVllg8F)M*KqMzn%eOK!IN&K{#D8Ml;3Vv)Jm+_bzhT
zApjjcx0Vab(cZUIZA@nicza(iX2qk&bw-YIrK&6O?cpWa6x)A#0K{U^wtFLK581PE
zkG1RpvY%~z7{K6pk`PCEPa`)IhYzodiUofP)bK#P#Qw8-S`@P+LU2porb=cvFazj_
zH}OXpK?ev|%K{DD7J=k&$;}=CLl%99JoMI#lAY)w@^{@5x(PhuQibXFH1^tXhlKeK
zX}JdpD#%m8ak?eFK@5S)4dIESM@7w0QV@Tyj5kpnf&&%p&u?G`i{CYAcJT^0#L(_v
z^e%T?5)SC%L?;F9HHVyd0Mkb2g1tCAm(8et4zK
zbtkHaoGAl0M@e`!+8=_%VIF*eZ+IixzL&{anb1!_v
zo-D79KR;c(g$F^?_RRJS@axbIrqfgz(*TQruD`&rEyU0A&MouBd4+qE!+FhN$C`T&
zZHT`GK8LFQkf2;d&j~fF*@X5C6(3^H+@NM$fI`>NMo5I*qUb?LpU82wAVYEbigk;`
z0N9kHkduSpKt?>Ksa9W;NKGNp;Ap%mlQBe4ZO(%ChE#A<8SFA$9z3MfIbOo%nj~aL4W}~NFX{JX6H~eo#aA}vx
z%G%OqV91x6L0ewIN+7-H9{6xS?15!#tBE1t`%JTICFXI9{P%c0K}S_RY6F>p*(ad&&kEcyIqy^dltJ@!te-k)r+kX
zQa=@%Pj?FfZgngpC4>8Erl6F0msP^D0VrJ#loa(Js$}U-CHWnln`7iKg;ByYtZtq<
zL!@Rp?e{&2Ey<5&=hZU?uI-RLt~bggKj3G#MCALF?%pZ=si)_p
zg{j~T*dajF0b<^uWcSoF!`xUp$>6zVM#K26sue
z88P82;I3@BJ67E_Cv{%o`Z#k0~Jm}XPHei7~gFL#~Gq#+Heya>*
z#5E!WyKL7
zI5aTFsUX)P3)|Nr9Fh?0AV_Met95U{4shEt@^l!-K{J`3@g6HA+2P0^_l}D72!y!z%SI2TpJW
z!o;s>>;P=Q&b0&p>jJ+nz(NxU*!i(-xo!)86>cGPeeLQ8@zzydC6MhzXpMc-S*`c7
z#=_UED)J}@mb@|dtU>w;uW95Vcd@KIBk&S|I+R4}kbI7H6zQ>K8)ZbNPoUeS(a7t@
z5jGrf-`rv~1#2=A;D3*SA)SbVFVT(&e@?|=y!7pJh~IN~!9n!vsJ}_D=DO0;BNkI-
z_t8f+;UlXk{j46Baxz?FcQo)II-~SKm^Ei5RAz%4VWJ+|DFljAaX6-BQUY-z^D72%
zI`jM{Pw734H;)+@m^3QkiP2zERSBF(s(5KR?P!B>cLtGJJynbt#ds`CoslxMM?~W&
zPv@RIv8;cy+JWR{PXwys;5Cx>o<)9hKEkXY^7oTxR*>DzRDvUn*oO}kH$Usdv16Pk
zk{#nb!=l2tK*vMg`K)cFUf6q22D;nIyd%jye-T*ephx+hMV4laTE$th#610!v#R3b
zE`pDE`e+wP`htv5L;;c*#36mFJJiCW?abBGEDObXUSWy^B=%>^MAfrIwNMfRXGH4c
z>hTInKiH?S!(C?yT~nc5Ecg&Wfsv-L3&|$5R5;8+p>n`-im59fqpGr(}-h*
zoya(r6Q2nZ3QtQjQD_%US69dj4rGY+d`}`jIhHIZ<|ud>NGfUk5{_!9G&gD@fDJIG
zo5al8Ef%7(4xc}`o29~T2}x#KOz!6cLQfT10uKRKpxVcIDiC%b3KhHk;UH8y@l+As
zOXk4JB>0-eRxfnSxr;|6t4!E!0B^*0SJuCqpWkG?-3rY^<{DRu65ed%H3q!=6VPA)
z(4iIwfSMtE*C&g%z`t_##WRgjM~T1JEM8?4jFN0+6aYdD88&5SBW61^5LVA^9-6H+
z!6JDFwm!rL@!E)^6eYArWhL4m!(TeMgf$i2Sv#4>Zx&&g!kk}I*d#xCxzp|cOIR+m
z4*=|SrASED?q;B$ZROE~et3l9xK8E@#ht*(1udxNkAXQx;-->p30k;fJyk`ztRW5FhHbJtsFJsk
zK92(5Q2azs$hK;bw;}ZJX>38%!LcjjWCc-iXP*D}t@I0D7{~IBvt_%ri|ys$s`zGI
zNjst(LvxS&
zFaI@(tsHi}^RjECC`R*&aco&K?lRWVjN4@4=p6J?wlIM0W3E=4%KP
zm9Iew5Lf}ZjtLD@KuS}=-$PE{V}4EHovL#HYK>GKiogSfxUPlZAQOOEt*R8yf|{x>
zI7Gi9lmAezj;?U4(syLS3n%$xqK(=K=vd-wwJpH4kSh$qS$~3Vl&kQXLre`efGE>|
z;4!nQfIE7aF>X5rni7ZF)Os^dTOCa<9LmAakZBf0#HMyzztwHnCDoOFM_Mj)SmO#|
zx4?^&^ANTT1_8Syub^SSW)T}@+}YN}AMe~;&6Hw!apx$b5qA!qCD~ASNfefM?g_f4
z31v_gkK@^AY?YQ?z5s!+?@7Gu$xV#FuL1SLs0?sB
zZCSJ`UT2mJ80$53r|3{LHqFID+3Wc*Ztjhrt>;oOnyMS%>x!OJU+393c?~_$-dTI+vmSXLWY6J^2+X`$)CPALZV#1}17V{HFJ*<-
z+mEYXl5%{_Vvkd`wiB4M$FWmZySWl@r3Tk!xK;JCK%I0xv1~k3D~C1L(GKAp5ty@Q
zh|}w0*nzK-7}+vdsz{ZXlcH~Pki%*#L)^=K8W}!y)@q8?hu_@2iW7a;En
z=IeC!X?FR^KKB!m3@6nmJY;81dr1cvr%Y1%R-Wo)P2#Joxur
zT14e)TlL4);|(%n7f#%GO=8E^mB7lM-g5uhC^
z&XUCV*DNwBATsC{(HC)oe@7bpp)9h%52^|;n
zmmKTNhcr}SB{IRb9!u*)vVLTQSyh#7l@>S;;*c5gcfdB>?$<0f9U<1>vbioDA#UruBw
zAJ1Xy08)lswmyL$Y^_auRke6&Ey4O84hxsDQ5`L&_?|>+2^pTA;sb2dUiYxL%psM~
zy0r{(Z9U+M=?41y={?N(#%Q+?(w7pcdU$@ggn4)25w)Y(Pn<9qLy4T`)*N47vP;jV9*
zF%Ip7!0v-Mh_>XaBACpcK36dLP=&Oi+P51s+7PC*jPds({|@KPf6pQrLY3HkZYJd7
zsDsHC*73rZ%p?{F1Qj7l%0&)`Api$l;4a3briHlrotw!|Sp3{=_Ef~K4U>c-kO&aG
zn?Wc#1X#ds1fhtm0z~F0_4PG}t)?=Q8hmmn#r6{Kh+dkR1&w7>U2x^3Fh@>)YOFB+AUcl}>q!yiqMTve;&55N!?j9pJ(gl=`R`fmwR4uDEo-cpV`!G(HmOkd~d87~Vt+#nlI6U9LK=P7_5o`NSV
ze7Z8M9Eb=Wb$nGtBicCe4_8?|OvsBNO6%)Ai9LdfoW^*MWt!3_IFoCdO`E1a
z*^>sgT=6upU8gkKpUhcWzYugz?&WH&JD_we&0*~({JT2W5MPt<-0+Z`3UKofDAO@^
z_wcb(S>|FYTfTCTZh3(-q7e-x;iP07vTM5W)C*=t}QxyJdO6iNs*ofC_7VmmFYcUo*
zWxo~#0Iw-$n+0qUA}oGHk~BfjdF5NEtPXeaA(Q!fPpSTTIi{8&I%@4Jb*Bv}nq)g~
zkv&t{>yY$mYdL;TA~(p`@1nTHD&tpKZ3O2|SrLRh*P2{;9XnJJb=|*uM9JDpt%^K`
zvbM!x>QofJi0uwR54sLM+1%FIsj9j0ix3e|SmZs6P5cRLx*&f1C95vWyTCHPRCNTn
zV~9UR+u~2|;Rn{O0dgtbGDvhOV)pAq&P+V?-vg{?iDKWuZHYfA5i@=fqmCo+uVNgRUw2xfqfMNbB^?T7MmAv_4&JGm)S#~#ujpj(v>?4AW*)mC||)|fHgX0
z)ywRU@||oqWqPZ8CwpAeixC7AmoI4xCZWP~6S)C(;b1vLSKE0_Vh`dM9VCTv*{jE!
z1A_Qnd-8F&P4L5e^iS4D#qMB4`E<=%TFOkK-jBn;oEw#kg$Gk>0NcT(LIiQXn$QkJ
z8N2H#wHAz$h%ok-h~sbb*kZ!;@2*a5RmDx|0opyzxGBU~a3TbFkpVCElqK4mR~WZs
zKqGL9_7#CsN$^bW6p6w>{G(k9rCBAuBKQR_o`lfbGLZ_?z2}jzLZgiq&*_hPM3>KK
z<%SzOv1yW7Lrr;!QuuCF#idvi6bj!oJvtF_Y95X4NDfh?=t-d)L$`cRr%rvBSVd-0
z-(J>LBy(^^;fn8RY?}(dc*Mf_^6S#hy7mO953J+ZVJMSg;C$86ABiLd=uxRbgcCoR4RkAAX}M#@=%Ue{U%
zR98DILu5~+#l#i-@w}$7XT-sCITT)2vOqP51`t<-(vW)OHbZSu#BSl?pcP$GK#>@x
zMQkE==S;bevXbh8<{kKB=A06=4s&Q!(y1OQ5g9Zd;^{|C(#(4jNu`{k1j8~ox|5H{
zx(+@W*+yf*f?ZN)5p+=U(cl`9#A;?AAt_1m{UXL%69d6QE2PsM5?ZNak>dK0%o~8r
z(VcqKPm!-!ipB6Bz8nT7Uz6Ch4sTPz@V)#ovPRp&l&Si>AIEEMRY|z#+_-fNwN(?`
z%AGmX{y0MEFxt+co;^RPV3RUp(^kqf_-)En${ts9M_|s>L#6@0<`5`sW43B=!T(l=
z+2+<0SX}Z#wUTImXuZzp>9&V&0iBYxigqTZ+hS&6)@x%%UrvAtYP4a=PlA2PH*ccG
zrnKVsEVihJ%5FjV`wn7PWe0`E;&?^$>h9}!jf_DZub1K~Buib>^&}K-%BY8fO3ED9jWcA(3Qe!+y@dn~I(aekn
zbO0|#$bx!E&Bde?(a1YY3Du~O#pS37UtEz!1;koZ4^SyLyvJF#cvT3-ga&WsUA$(I
zb!MD0aU67w{}%po1Y*;fI}+NEY&RX#{!Vp*tqs4+@Io4TQ=HE*^Oo9otW4w%
zVI@Y|LS!Gs%C!BvtxOlz;=&_JR;6NpJBGOKktXe}^m-HjJnZ*0((AeZvC@euSFxiD
zd6zb^lfa7P6+%eZK)sT{81;7#ebL+4f4$OsO)(WFfz6#}uAL>~+EIZy+R`0Tyg&g6
zx~C*8oFvk{CK2lrf%IB8+^fiyPgqKU_;7hbJTgq;k0SZEU7lOj35K1fs4*l?R@lIr
z^i7wi7E$MkLfZ!BJz7nKL~H=!&IZ?V(34yDYZ5WFrb9D$XMbc^T-Qh=CbP+H^swFM
zVxs-TBvP)k=`31Iw3)&l=OtgY2oa+PxY@sBInHBE7!
z#FkT4y7WeS{Yt6=tFHe>jE8^6oDIvTyRDomr7`QuELU~N0z7L^&>Od?@^&Jr$`uqC
zf%nvvRi(^lCq|#L2587uN1nE6?5vC;85}&jzh%M!|2~v=&aFUuWRgX1
z?T|{atpTxbW~hser_p(9m-_sM+B@KHiNT8^26S9DXmP0&3n<>!7FSPNo!04jPvIq0
zj3UKYPZBD|=@mWX@*!4zTPjH6DXEW@q(uN-q97{)n9vvri0vP%d`(p^cNL-NAs3--
zHGrdiEBjoUFnqCA`69>BGGFvRUbEPPI$aEmMrJmhRP!5J85=(68_Xr(dE!g|iNtay
zDbtNr$RsEixJOi;Y7+klbj=Skd{C>5W;0kH+2K@eziu-y-gDUA8wF#Eawh+N;({v}
zYla7@P~v@dOK?%C`p0)YvRPNz|0>b5ER~G|6#1?K9X+E)^-3R_EW+*HCT7jBrg-MZ*9i
zH>nG}QuIyys7$?>vLV*>o0%1vZ|$Bix5#a}>ee1~MfR|r)a{&ajqzRA?|TL@F=-QR
znPOE{&
zBzfmzIP9Do%8y`|ipaAjjSRs}0dc4ZZ`3~z&9^nc?6K?<2-Kc!aVe(x
z<53fGI(0nKD1Okx^@oER2G=~C+brK4w;(F*Htgd|QR3F6{RSr1P^L$L@rd@JfcGW3
z+W5yM?gl<|_&6+@rx5yU5*ziEX$@c)$tgw8um)D$3RTr%Hj~Ooxhd-FRkwe)=@?=m
zO*QB@tq=5^CN`YEVb~@6Ajq|DyHM4=eqgIC7|ZWDY~UR|EC1Oa6IV(6aSw4b^R-~m
zbX%6sb*zftoflDWOF2&Sxy=bX6(_V3)#o>}Z~ZU=4h;TwB;&@j_z8K+P%R<8c(%pg
zeobNvcfd<5C(<$QE!CGHW0gCZ}@IAdnz9M$}iHHhjwo*3jwM#_5{
z8&aaGXg716{)A(UzA{9LgZokDvM9HN1*>K#>asA^VNS18LlCns#)n8MKa|1o$;^xh
z`x9f*-#68BvZOOdjqJc8$rveh#r?n-
z83F?5azI7lXJ)FM)TsU!G5Vo!*9W%X6_uCQY>A<$QdEj{!iwjOEJ;tHz0
z>}uP$(e$nWnH-@4Uh9Rjl_U_{+N;KGwv!8Q_jDG*7@P~$b!u42z1bz
ze@;0q6*$rHHZ;>|_Qx84#-#Fk<6PiD`7_N;d_j?LHycrscAZ8nO
zY)a3lX8JK;CU0&Hf|}%dvd6iEpjhzltEyN)2t0#tZkxTa^<=OO*@$X!|12a8iM%no
zr3-HXcH9Yah~IMvwA@LMfgz^a6FZ9X8R$Jm2ADl(!jfZioPikjR&qZiLU_%U8f64=
z6Q;rx8IMsqL1v-Z*=Ld%Yb%5|4U&QwluVxvpz}S6m>Wt1(5mHO@|UXp?66n?X(~QU
zR-4k9pRHr0wg-TwJP|`5;Y^8nsGeSD9+G6M0YHM#L{X{*E#*^cogeiyj-gW;emL*n
z2j2H2a%xq2HtX=73SM!jE(wfqW}e+*8EuF64O@Q=^cHUhIOpm9&Q@CZPd*d)oPh(P4W;6n))
z;G~MxDS{j7wh1(jQIxuU!cGIq4>$uUiBuqva`xn7`5b-EB4gc`?MDTso#5AJo^Dwk
zHYg+xc1L@aJ6gX`v>aDp3KAmGeLLQQ6As6pb<}x1MWSI
zt*|Rmlw6i%IhHGzRZ2g2*@g5&E=$-C)C|oZIHMF7D5}6oK=f1zmrv&E(x#j|}!C>%TEqf3*
zRB>U&3)wCTbsD=O4rsF3S~7Wg*D_5cO#d+SQF;lh_TDk@aE!mZbtB
z->|QFOaFi}jyQ^^WNRal%hYZ?RZ)QZlGuhdpV}?4QPLM%
zv0ZXGQDV>mw!MHWoXehwDz}kLH7S3H5MHCPyrN(LTOz{65Ma4dQiE+(_A&4iJu5Qj
z)GEV7tGpt6aL`zMEnO_F%Om1<{UUEbFI8-2_*lpcvY){K7Q($*fzOKa2(9nrCD#
zea|CFK~4|N+O8SCfs|QkE2DJ=JIFSo+gto*nv)pP#d!sDd9t=^%6&kO?dmH<9|fbP
zP=fOfpgH84*VkTMIF
zp9e_=ha}9FZI7N?A1Se-tC-%UkCJRp3bcjE%+eN#e_@35t^A3;=kPkd9g_0#-Ikni
zg3ZM_CwJ(2PZtW~@r^IBOo{l!8p9R#H5QRN^-Ki=1rCP+pvYVO&=X7C2RK*DD_u%ZfBaL~&-iQv#*KB-{hyk@aQtC}S<%aPHlK9}%;gHcprxg@jN
z>SFaWT17o4oa2Oer&;m}>_)VT?fZ1Nifs1o61R>B;VJ4Vi}7j;d*^XD}%&s@@B6
zSyGe{e)%MSGoN&w-
zGoLPgY#L^?C6ITXWBmf2SQqf#=hnP<-hR|`s}u%{gyNJLB{An@dOEev!imR~J!_CE
z#_>IgjYmK0^18&M@7^$oJ~tL%)nEQ@_Qb8hDYt0l&uVpZt`nY_9Nr4&P`AC
z6*fP=S+v%nN2YJom6E;MCZS!Eqp^Q_>0~7#ub!Ja8hY`Pmk1A97)7=PYD3Mr;tb7
zp%Qwg&El>3p`R)>9B&D7urN#AgzZSmV0K(`U8jifD3E|N05_0)O?O6TzBE&W_>y1-
z$$pJ@7K#|Z`OYjzi@%pKYNqdN3K_5JvKV14C{v%5Iy}E)>5j+aj-c1}_z`)dVjUkp
zL?aj!!3CyN^%cPwA~yc82NpQ+%}XFpKJvrT<_O*AD_Db2^f*Fw$XBMh{5^+_*u|}-
zsN%P`$TqVlw?rtym2JyJD5(bRs<@zt1dOF79cpUnN+Y&Zy+hulP{>_r)1^-xi(;GA
z%<>koLq<*xXwH3R1nfPHT#;UHmyIs&3Qdd!#cZ7qaw-jsE3By2M4jFhRLs+otX@&4
z^3m8NrOaG{wJSu%;VsHgW+cW6bNjRHOb2Brb8B-Ajn^b%NkZA-s`<%FJ>r;a515kJ
zhRMq^@+wWnuUtZ|(=y??#ENKju?<;XK9`tcu4IzLK44%O8`UwA-i~|7F^aG(HY%c<
zs5K5KF1DfXNo=VPXHA=2nGfe|i;meOrp7$PyQi4S&iE9=4pus|&8hCJ99(4KkzzN_
zjpwyL`z6RUp=4%8?Fvs9%WQ_VXiB0i|YRsk?{Hk=%+y
z)c_=0LH5N_t$na@8!ThN0_KrI`kTStL&i&ni=76L(Oy@w5`TjsXA{cO_c&}oz2>pi
z@1VX+K3Nr)JyQ-?Z`Tqif%|puDe1`{oMJnl=2numd1l?-
zP%u?`F++ByKPAVpP3jrFCb9FeyRnt5PbJL`p(}7J>34VzSOPs3V7piVOWm5(lQ8_XO*DIG`wpnm>a>r%bK>YS!~s6Pwx(=BpVOb
zqv8ogu^h#FELTpZWt`NeW!L!4G@
zHln$?tU_!*YtSl@_@2ZTW*jEZ-lxQEZ-vecP9elca|$>ozWrz~ov^M-Y*CdKTXQQ3
zJ*7&Bp{b8f@@B9qY&mP5m6AJV5_W%L7Y;xzOaYGiQrVS#7O!%5G?hlwbd7*8Wmc1(
zbofhFm}rH2(Q`Z8YjzTTh-fZrT{^mjcFRihjG?0EoNMC&rN&hF80Rl|@?{x(Dd~^~A%HLh&2M8Tjvev9KUD~#o9m|9
zZ|u2r`T}G@I1I_WaXPPC_rOb
zY{4p49I>(Sm*K03;8T*6994bY)Fx@0Jxih0qwHRhWK$`sdCedzrq{AMZb>yD+Eqp>
z`ml=f+OQa_I&G4(PF0Rs?%R6~u_j|dW%bO}b28?HRZqo-NR68=oQw7;@ggrVmlDr4
z=3Jk9vUSy8`+R~1GA0vG^jQcnga2~wJH&mm^-SIoSTt(V(7uy9eHR&VH|{-`gN~l
z9)zAOJm(>xXRJU)=rX*guq$Odc;I3JL+V6`9-ImsQHCyZ_p)uJ)zwjCrjzwI6wkQk
z@4CYg5J738Zn-BF8<0OZXRzxdwJ*bC;9O9~!oe_(d6eJR9JciCv!1(Il09bzOjvv;
zYy$H}(rTdC`|X{DzJ|Fe^ov{D+5nzOG>MK&N`umR4`)84*mEO^6!S2Aa)h^4Wxwa}
zLX{(#Zo$fM)QO29eRW77k|tOb%bCp)vgG?rk(_}VLwh=1{cLB#o^fSzL|8XG2tURr
zZdcX-r=&&Y6=s2$cd|z5E4=3MFBzxeTKxU2gi*`$AudZE1cDD+GbMEyyEidHNw$Z@
z|A%A4qc5h#XNB&i<$~byY2CEyaP&DAuR_u1qWlU~N9huB&JljkVJj-bqEjowqq%lv
zBxty(41Jg;n@&2lYOAPB4=<mSJ5>W?mdg01bZySa*<%URfe2+GEgNJuqdjs
z<3CB@h#nq8MHzA-YdtMvOfuLaks`wlmPTA5BH^Z2L>VCQV41n&g@jR#P(?5G_dSpF
zzAcxy!o!we44PdEGT|tdSUQXHDcJMbB%z$pCb&KcJY6MjGdL_wsks8%xO{2K>D=BEP4QK3uh&Y<_d-u~r?aT9Krg-<&Hv8b@$}l1n|@kV7IQ
z(=(%OCEolP5$!0~O4H0wZqnBdqybKxGz~*VV-0dL&i9(d9;WIF)1IQ_1)b>