From 71b4881e4e3c83fc0832044d378e4efa2acd7842 Mon Sep 17 00:00:00 2001
From: mitchpolygon <156824029+mitchpolygon@users.noreply.github.com>
Date: Wed, 6 Nov 2024 12:27:51 -0500
Subject: [PATCH 1/4] Update cdk-stack.svg
---
docs/img/cdk/cdk-stack.svg | 162 ++++++++++++++++++++++++++++---------
1 file changed, 125 insertions(+), 37 deletions(-)
diff --git a/docs/img/cdk/cdk-stack.svg b/docs/img/cdk/cdk-stack.svg
index fcc67564..4da2b3a8 100644
--- a/docs/img/cdk/cdk-stack.svg
+++ b/docs/img/cdk/cdk-stack.svg
@@ -1,37 +1,125 @@
-
\ No newline at end of file
+
From 97c24862e59b8afe548e057c98e6398dbb57406c Mon Sep 17 00:00:00 2001
From: mitchpolygon <156824029+mitchpolygon@users.noreply.github.com>
Date: Wed, 6 Nov 2024 14:43:14 -0500
Subject: [PATCH 2/4] Update forkid-9-12.md
still need to add images
---
docs/cdk/how-to/migrate/forkid-9-12.md | 226 ++++++++++++++++++++++++-
1 file changed, 224 insertions(+), 2 deletions(-)
diff --git a/docs/cdk/how-to/migrate/forkid-9-12.md b/docs/cdk/how-to/migrate/forkid-9-12.md
index 8d0cd929..f51e4ccd 100644
--- a/docs/cdk/how-to/migrate/forkid-9-12.md
+++ b/docs/cdk/how-to/migrate/forkid-9-12.md
@@ -1,3 +1,225 @@
-!!! tip
- The migration instructions for moving from fork 9 to fork 12 are coming soon.
+> 💡 For CDK fork ID9 chains **NOT attached to the AggLayer** (Isolated), go straight to section 5.
+> 💡 For CDK fork ID9 chains **attached to the AggLayer**, follow steps in sections 1 to 5. This is a coordinated effort between Polygon and the Implementation Provider.
+
+## 1. Summary of the Procedure
+
+To initiate a CDK chain upgrade, the Implementation Provider can request support from Polygon by submitting the "*Request Help for an Issue with an Existing CDK Chain*" through the service desk.
+
+|  |  |
+|-------------------------------------------------------|---------------------------------------------------|
+| **CDK service desk**| **Example request**|
+
+Polygon will then collaborate with the Implementation Provider to **schedule** the UTC timing and dates for the upgrade.
+
+This planning enables the Implementation Provider to schedule testnet and mainnet maintenance windows for the respective networks, ensuring proper communication and coordination with their communities.
+
+See [Example Maintenance Communication to Network Partners](#example-maintenance-communication-to-network-partners) Implementation Providers can prepare for the customer network chains.
+
+The high-level steps in the collaborative process are:
+
+1. Implementation Provider halting the sequencer,
+2. Polygon executes the upgrade transaction,
+3. Implementation Provider upgrades components to Fork 12 stack,
+4. Implementation Provider restarts the components.
+
+## 2. CDK Components Versions
+
+Please read carefully to fully understand the new architecture before starting the process: [https://docs.polygon.technology/cdk/getting-started/cdk-erigon/](https://docs.polygon.technology/cdk/getting-started/cdk-erigon/)
+
+The table below lists the CDK Fork ID 9 components and the new CDK FEP Fork ID 12 component.
+
+> 💡 **Please note:** Latest CDK FEP Fork ID 12 components are listed in the [Polygon Knowledge Layer](https://docs.polygon.technology/cdk/releases/stack-components/#cdk-fep-components)
+
+| **CDK Components** | **Fork ID 9** | **CDK Components** | **Fork ID 12** |
+|--------------------------------------------|----------------------------------------------------------------------------------------------------------------------------------------------------------|--------------------------------------------|---------------------------------------------------------------------------------------------------------------------------|
+| CDK Validium node
Sequence sender
Aggregator | [0.6.7+cdk.1](https://hub.docker.com/layers/0xpolygon/cdk-validium-node/0.6.7-cdk.1/images/sha256-dafb15f9355331b4b7174f47ac416b275915ff24a9ed89c211c7c15c8adfc6b8?context=explore) | CDK Erigon RPC & CDK node | [cdk-erigon](https://github.com/0xPolygonHermez/cdk-erigon) 2.1.1 -- forkid.12 release *(Will link final version when released)* |
+| | | CDK node
Sequence sender
Aggregator | 0.3.0-rc2 |
+| Tx pool manager | [zkevm-pool-manager](https://github.com/0xPolygon/zkevm-pool-manager) | Tx pool manager | [zkevm-pool-manager](https://github.com/0xPolygon/zkevm-pool-manager) |
+| Executor | | Executor | hermeznetwork/zkevm-prover:v8.0.0-RC14-fork.12 |
+| Prover | [v6.0.0](https://github.com/0xPolygonHermez/zkevm-prover/releases/tag/v6.0.0) | Prover | hermeznetwork/zkevm-prover:v8.0.0-RC14-fork.12 |
+| CDK data availability | [v0.0.7](https://hub.docker.com/layers/0xpolygon/cdk-data-availability/0.0.7/images/sha256-17590789a831259d7a07d8a042ea87e381c5708dec3a7daef6f3f782f50b2c00?context=explore) | CDK data availability | [cdk-data-availability](https://github.com/0xPolygon/cdk-data-availability) v0.0.10 |
+| zkEVM rollup node | [v6.0.0](https://github.com/0xPolygonHermez/zkevm-prover/releases/tag/v6.0.0) | zkEVM rollup node | N/A |
+| Contracts | [v6.0.0](https://github.com/0xPolygonHermez/zkevm-contracts/releases/tag/v6.0.0-rc.1-fork.9) | Contracts | [zkevm-contracts](https://github.com/0xPolygonHermez/zkevm-contracts) |
+| Bridge service | [v0.4.2-cdk.1](https://hub.docker.com/layers/hermeznetwork/zkevm-bridge-service/v0.4.2-cdk.1/images/sha256-f22ad8c9ad058c7a97a3d38f53cac5b1053858916523b96211d33ae40a9b45f8?context=explore) | Bridge service | [zkevm-bridge-service](https://github.com/0xPolygonHermez/zkevm-bridge-service) |
+| Bridge UI | [Polygon Portal](https://portal.polygon.technology/) | Bridge UI | [Polygon Portal](https://portal.polygon.technology/) |
+
+## 3. Implementation Provider Preparation Steps
+
+The Implementation Provider must prepare in advance for the upgrade to ensure a smooth transition from fork ID 9 to fork ID 12. Failure to complete these steps ahead of time could result in delays or even cancellation of the scheduled upgrade.
+
+1. The Implementation Provider downloads CDK Fork 12 components binaries/images in advance so they are ready to deploy.
+2. Map to the latest prover files which can be found here: [https://storage.googleapis.com/zkevm/zkproverc/v8.0.0-rc.9-fork.12.tgz](https://storage.googleapis.com/zkevm/zkproverc/v8.0.0-rc.9-fork.12.tgz)
+3. Scale up the number of provers in advance. It is recommended that you at least double the number of provers up and running for the scheduled upgrade maintenance window.
+ - Ensure all (majority) of the network batches are verified before starting the upgrade process, otherwise there will be additional downtime as we wait for the network to be ready.
+4. Run the CDK-Node aggregator component in sync-only mode in advance to populate its database.
+5. Required Erigon pre-syncing:
+ - Generate data stream files from the current `cdk-validium-node` database.
+ - Tool and instructions can be found here:
+ - [https://github.com/0xPolygonHermez/zkevm-node/tree/develop/tools/datastreamer](https://github.com/0xPolygonHermez/zkevm-node/tree/develop/tools/datastreamer)
+ - Use the Erigon tool (from `cdk-erigon` repo) to serve the DS:
+ - `go run ./zk/debug_tools/datastream-host --file /path/to/directory`
+ - Start CDK-Erigon, which reads from this datastream (provide `zkevm.l2-datastreamer-url: 127.0.0.1:6900` in the config).
+ - Wait for it to sync to the tip.
+ - CDK-Erigon can be stopped. The generated files will be used later during the upgrade process.
+
+The whole process should look more orr less like this:
+```bash
+# PREREQUISITES: Install GO 1.23
+WORK_DIR=/tmp
+
+cd $WORK_DIR
+git clone https://github.com/0xPolygonHermez/zkevm-node.git
+cd $WORK_DIR/zkevm-node/tools/datastreamer
+vim config/tool.config.toml
+# Edit [StateDB] section with your StateDB credentials
+make generate-file
+
+cd $WORK_DIR
+git clone https://github.com/0xPolygonHermez/cdk-erigon.git
+cd $WORK_DIR/cdk-erigon
+go run ./zk/debug_tools/datastream-host \
+ --file $WORK_DIR/zkevm-node/tools/datastreamer/datastream
+
+# Bring up Erigon pointing to that DS (localhost:6900 if running locally)
+# and let it fully sync to the end of the DS.
+```
+
+## 4. Polygon Preparation Steps
+
+1. Polygon will collaborate with the Implementation Provider to **schedule** the UTC timing and dates for the upgrade, incorporating required timelocks.
+2. Polygon will set up Google Meet calls between Polygon and the Implementation Provider's engineers to conduct planned upgrades for both testnet and mainnet on agreed dates.
+3. Polygon will prepare in advance and with agreed timelock:
+ - Rolluptype for fork 12
+ - Upgrade transaction to fork 12
+4. For chains attached to the Polygon Agglayer, Polygon will handle steps to upgrade the permissionless node.
+5. Polygon will share [example communication](https://docs.google.com/document/d/1zyXojlg4n2Th6P3y3Wqe8px15HL8FnBpSIWd54co1tE/edit) that Implementation Providers can use to prepare their customer network partners and communities.
+
+## 5. Operational Steps
+
+**Please Note:** To avoid creating reorgs or other unwanted situations, it's important that all L2 transactions are verified before performing a fork upgrade. This means all batches should be closed, sequenced, and verified on L1.
+
+### Steps to Halt the Sequencer
+
+1. Stop the sequencer.
+2. Reconfigure the node to enforce sequencer stops at a specific `batch_num`:
+ - Get the current batch number from StateDB:
+
+ ```sql
+ -- Note resulting value as X:
+ SELECT batch_num, wip FROM state.batch WHERE wip IS true;
+ ```
+
+ - Edit node configuration:
+
+ ```yaml
+ # SEQUENCER CONFIG
+ # Where X is the batch number obtained from the SQL query:
+ Sequencer.Finalizer.HaltOnBatchNumber = X+1
+ # Optional: Reduce batch time to avoid excessive downtime
+ Sequencer.Finalizer.BatchMaxDeltaTimestamp = "120s" # 1800s
+ ```
+
+ ```yaml
+ # SEQUENCE SENDER CONFIG
+ # Optional: Reduce sending time to avoid excessive downtime
+ SequenceSender.WaitPeriodSendSequence = "10s" # 60s
+ SequenceSender.LastBatchVirtualizationTimeMaxWaitPeriod = "30s" # 600s
+ ```
+
+ ```yaml
+ # AGGREGATOR CONFIG
+ # Recommended: Reduce verify interval to avoid excessive downtime
+ Aggregator.VerifyProofInterval = "5m"
+ ```
+
+ - Restart the sequencer, sequence sender, and aggregator to apply these configs.
+ - Check that the sequencer halts when reaching batch X+1.
+ - Wait until all pending batches are virtualized and verified (X):
+
+ ```sql
+ -- Both queries should return X
+ SELECT max(batch_num) FROM state.virtual_batch;
+ SELECT max(batch_num) FROM state.verified_batch;
+ ```
+
+3. Stop all services (node, prover/executor, bridge).
+
+> 💡 For an **isolated chain not attached to the Polygon Agglayer**, the chain admin can perform operational step 6 on their chain’s rollup manager contract. Polygon is not involved.
+
+1. **Please Note:** Wait for Polygon to send the L1 transaction (tx) and confirm it.
+2. **Polygon:** Upgrade the Smart Contract (multisig):
+ - Upgrade rollup to fork 12.
+ - Wait for the Tx to be finalized.
+
+### Steps to Deploy CDK FEP Fork 12 Components
+
+1. [With the network stopped, repeat Erigon sync to get it fully synced to the current state.](https://www.notion.so/CDK-chain-upgrade-procedure-from-Fork-ID9-to-Fork-ID12-11980500116a802ab22cec6f7eea6080?pvs=21)
+ - This instance is ready to act as Sequencer and/or RPC. Clone the whole Erigon config/datadir as many times as instances are needed. Pick one to be the new Sequencer (by setting the environment variable **`CDK_ERIGON_SEQUENCER=1`**), and configure all other instances (permissionless RPCs) to point to the Sequencer:
+
+ ```yaml
+ zkevm.l2-sequencer-rpc-url: "http://sequencer-fqdn-or-ip:8123"
+ zkevm.l2-datastreamer-url: "sequencer-fqdn-or-ip:6900"
+ ```
+
+2. Start the stateless Executor.
+3. Start the CDK-Erigon Sequencer.
+4. Verify in the sequencer’s logs that new blocks are being generated with fork ID 12.
+5. Start the Pool Manager (if used/needed).
+6. Start CDK-Erigon RPCs (if used/needed).
+7. Start the Bridge.
+8. Start the CDK aggregator and Sequence Sender components.
+9. Start the stateless Prover.
+
+### Polygon Steps for CDK Chains Attached to the Agglayer
+
+Polygon will be accountable for upgrading the Agglayer permissionless nodes during the upgrade process.
+
+1. When the Implementation Provider has stopped the sequencer.
+2. Polygon's v-team shuts down the CDK chain permissionless nodes hosted by Polygon:
+ - Set `replicaCount` to 0 for `rpc`, `synchronizer`, and `executor` in the desired node definition as found [here](https://github.com/0xPolygon/helm-charts/tree/main/charts/permissionless-nodes/nodes).
+ - Run helm update to deploy changes, which will shut down the permissionless nodes.
+3. Polygon v-team updates the Agglayer config:
+ - Change the `image.tag` to the desired version [here](https://github.com/0xPolygon/helm-charts/tree/main/charts/permissionless-nodes/nodes).
+4. When the Implementation Provider restarts the sequencer and everything is running as expected:
+5. Polygon starts the upgraded permissionless nodes to ID12:
+ - Set `replicaCount` to 3 for `rpc` and `executor`; set `replicaCount` to 1 for `synchronizer`.
+ - Run helm update to deploy changes.
+ - Monitor logs/service status in Datadog for progress.
+
+### Post-Upgrade Validations
+
+1. Test batch lifecycle.
+2. Test the bridge.
+
+# Example Maintenance Communication to Network Partners
+
+There is a planned maintenance window upgrade of the xxxx network on the following dates. This is to upgrade the xxx network from Fork ID9 to Fork ID12.
+
+**Maintenance Event:** Â xxx Network Upgrade from Fork ID9 to Fork ID12
+
+**Date:** TBD by Implementation Provider
+
+**Time:** 00:00 PM EDT / 12:00 PM UTC
+
+**Duration:** 2 Hours
+
+**Things to Note:**
+
+- This upgrade is from Fork ID9 to Fork ID12. The change log can be viewed [here](https://github.com/0xPolygonHermez/zkevm-contracts/releases/tag/v8.0.0-rc.1-fork.12).
+- Partners should **not update their nodes until after** the xxx network upgrade is confirmed as complete.
+- New Node Version: [cdk-erigon:v2.1.x](https://github.com/0xPolygonHermez/cdk-erigon/releases)
+
+### Upgrade Instructions for Community Partners (Testnet/Mainnet)
+
+Update FROM node version [0.6.7+cdk.1](https://hub.docker.com/layers/0xpolygon/cdk-validium-node/0.6.7-cdk.1/images/sha256-dafb15f9355331b4b7174f47ac416b275915ff24a9ed89c211c7c15c8adfc6b8?context=explore) up to [cdk-erigon:v2.1.x](https://github.com/0xPolygonHermez/cdk-erigon/releases).
+
+#### Instructions to Update Nodes
+
+1. Stop the RPC, Synchronizer, and Executor components.
+2. Update the node (RPC and Synchronizer) to [cdk-erigon:v2.1.x](https://github.com/0xPolygonHermez/cdk-erigon/releases).
+3. Update the Prover/Executor to [v8.0.0-RC12-fork.12](https://hub.docker.com/layers/hermeznetwork/zkevm-prover/v8.0.0-RC12-fork.12/images/sha256-7657c7ac473acd4f67ab6de81bb61595a1d52c97287bb2d043bff235a4803a66?context=explore).
+4. Start the components in this order:
+ 1. Prover/Executor
+ 2. Synchronizer
+ 3. RPC
From b4146b68e4057704142b0e3a7fbf0c5911686875 Mon Sep 17 00:00:00 2001
From: mitchpolygon <156824029+mitchpolygon@users.noreply.github.com>
Date: Wed, 6 Nov 2024 14:53:34 -0500
Subject: [PATCH 3/4] Adding images for fork id 9 to 12 migration
---
docs/img/cdk/CDK-service-desk.png | Bin 0 -> 85366 bytes
docs/img/cdk/Example-request.png | Bin 0 -> 115697 bytes
2 files changed, 0 insertions(+), 0 deletions(-)
create mode 100644 docs/img/cdk/CDK-service-desk.png
create mode 100644 docs/img/cdk/Example-request.png
diff --git a/docs/img/cdk/CDK-service-desk.png b/docs/img/cdk/CDK-service-desk.png
new file mode 100644
index 0000000000000000000000000000000000000000..1eec7f7a7c00e2dad0285d04f0b14b25723e322f
GIT binary patch
literal 85366
zcmYJb1ymeO(>9E|LkRBf65QS0-GT*&;Ig=D5+JxsaCdiicXwIb;om!X-tXUY=1gyI
zPjyfAHPuyD^=yQ)q7*U$9s(E`7_yACxGESJMca+v~0RuzC
z{O+CYHH
zm=OPed+RW$zwIqR_5XdOLC1e`{_hMLN<1tW6sU%Ujg^Ea2Jy
zBz}B=#-II9;yI`Zvp>e{V0EHpH>*OzB}+&3(s*yvf-mwPw5H9uIb)1Zi(2Mtk~R02QJF)?sO
zM08GW+OzaYJZ}yZL|Ho@_z!skF-^4O$_omNW#ujb=AZZX%e7r~13JX`dM9O2RA`kE
z#yNFM=vS|HDIA2x#oAMt0#BkDsLUY`0sA-%lOml_YIC+Czu(qWwu^B>{Au4h2M;Kd3wXo+^(f92o
z?XBGJZ<++nxTpnosPdUB_~mJdgrE6hIRIppcQjD0_rc{V9Ieva0iW<4x*8rxZsEUs
zZe3XzydVpGBn4@jJ?E*(=^d?__e^Und5yyegx*W~m*NT~mD#jjjXEp?ac7A$N?SLp
zHI|Z&B1GDGdsaJIg3KpRnJ^;9jG4Fs6YjM&xPYfh0Mb==oWK^Z-U&EmgVh+<*4ioO
zuR`DNt7l(+zkcGsCvPyQ6c2Uo32)8Xr;+hej{N0L(UVkL8k+}fd$(3~+?8>VSw4grg3
zyxdCSMm=B~XP>4Pf{u@f%$5(A`f8}V?6Sbjt_mNKz>4q#1N~=mAs{cB`)i~;>8RY`
z`Vd)u?t7rJpD0{U`P+2&8dUZ2w{e%DMgFjvHl$)oXSkXfGypY3$w`k{2U-#p6AfbpDiIK3kGhnU1DllVm?;-(xwu7+(mo7v>&O-{hYop~YuQHKzmMKJ-n+GzLMb9R
zZQ1J~k<`gr8Hip*%;!)0b1UAb8
za^=Q!m}0J6LgLf?T)l(&NfJULeg6x|Qidc-f(y+~=gdj|fj-
zLu^FhNQ2R4)ZsJZrwoaqEbT**M*33|T+c&j>F7isbMBhRZNY_vlyLANWD^mXh$dJ#
zJ-dpjK-c`eQ1m1?TdVV;ZKu8N&Z
zNI9sQh@6`1)IFi~lHNiQpWbm;8wB(j`>W~_dxykf0)WemVkG}39Pej*a$nlBNzYn>
z6@6>$ke&+Kr~*wD=D)7tNMq#7Y=o(~f(q7jUs4eu)0U`6bLq
zC-SHG;8YNC4gzjYG(0jG?K7URI!S1D-9=Dcbq=dM1ywxm5D6CCsn17nd{I`5dQ4j`
z|JP4nNjqt>KJ+V>vP2t3!tPg9?-Sp${6CaO6!{P?HY?UM|LTzc2}<`@-JW0vLHw`M3Z<+uwH(6D9X4_HF7bt-@{`h==d|m
zyrlUPRa2QM$pLLUK33krbBTk)8!cc;f7Oy{6*#*6S#}wA{P8!`QuAupP~8Ff`8N~V
z>-}aLR)&g3r7(szISp08=l9|)!+ljA)Uz@y(7;Y~BU+%Wn~#TR$3(0NV_Ft9jtYT_
z|B1Z*ikVb0zm=>Ti}pw2+urES2}c!sf#^N=6HO8pc;HHrTl3s62tLw$!|D#4q=6)#
z=a_7!!gb*FLreFASi$vQjVqN&J%87sV~_~27L-NOiLZDGDtY$!wwHF0vy|;duB{45
zyQc~b?ItSSjtL*klAIz!$L8~zF@LwIf%lF2KM|e{qTT^ABJFWir+g~PRzHeTxQrml
za&QjVTsBBSH-HxyFa+kD68L`cSIhAOi0A#G{WPpJqQ~UFN`#me5<8@I#~@#OhbRkg
zyHn6+wzMPK=9E{yY84r`AN&Q~(9b+K*WEx>tYL&lpZft-2KwM8Wh9lHqktQ^7^IlT
zMJZCOa8e8$;h{x`&nJRMH85%?Gi1MtqmF`@N%M6jVIS5CP$vR2Z_#
zxlDVX5iWz{M<`6;`yf~mRDz}^Zd}AZRQ5~T)NKFh17ePDxu#10=ge&=%};=`r=X3n
z)~bpd_5yP7ncq&$DMwT}0n4*~|Fl4OaqTq9=XBkgN040qQhWx?;
z5we7?kr@n(Ve(sG@xE%-zfS*zxnciG>*^ZoRV1iVVH$5655p85gY=e30Q(&Gb^Eb0
zMLNRLWdVFr7}qP7GbpVR3nnxb-R&N?@%0G|drb}+hK9C4)l+oHH`NaZ^@;BmhvQ^>
zyAil}3Fz(~M(+(p4s8$eJ$KKgA1~@O_}iy~M)|kaWn&k$Z20rI57M8|jtSD?Ww#i%
zZ&bLQ<#j$KVpnnUumJGTu%|)&1@KS&VWTt(e9yV(q-G<$pT&N+GYJ-EJK!Xlv`^xOWncC-3DYfZAvw#9z?G7s`#vcGf3{
zCCLi*z>XE4s#G~OgjBCdf1GpW8t~9_Nm=+v}3k*(w0+dul4r~owxa1e-p;EGn$-a`V^Sh^!cay{=GowS^tNjcJw;^hpxOS{Gm8}kIR9P^cY2X!de=>hoKjn+8Db1krYTmYQc^gE
z^JJ6HVnxQJik6a;q!N7E1Nig_P*Y2NULqtU1TL&P^h|bYv=c%q6#ZL_I8-WW)kx;V
zcL48#QOHr88gLg3RUa*{sQK%1mKj?oH!MWo{ZoGc7R+L~qUl0(%b#e<|KKr7Tvl6H
z&G$ovHJTf*7d<$>Hp-WMFrcq?Du~X-`2503oF7?KF`gV5>3O{R37ps3B%!2CG;)9Q
z!U;to3^-qPH=Zl5)^4zc-te*k#SW`Cr`n#pt((E{lgF~>ov+vLZ@as@tX{X=uaCRB
zNQAr?E{7An!#}B?Tvr?H4vp#`_;>RvQdj6GW=ySf+O5cgke$+*b=HtTKDc!=IDYO|of*5Mo0
z8K+j%R=oOt-nh9>emWM7Tgz%W!S8dw{P}3Ul=#Ez(h#H5uQxR2Q|8N9N-cd`Rv0Sr
z^t#*q84ttTy|?XBRm4YZ^{VA~dXQeD{b@t0Y!Mt*XC%dR?ueZo(=RZP
zkdSS!*ZTYqYvM#}Lhp}i@)>N%tBvPd0lwSbm)X8AZuN#Cxo&u^oE=CUdF21uCF_|!
z?81Y#IXzl65$!=@<<&du-p=<|z^SL>XMCKk=8xFHeaxIkyZtQws1C$*RMa^qHfKa&jt<)msIt!!W-5$29K<-xNQslq!l<1jnTw+`bl
z(D~;f0@~$C6RhuVn&cG}uI?72SOM>+ZC@8xRuHlP9dMIE9|WODxY16#1DdpPmI1y8
zV>~z<-=O@SkEL*Makrlii%cIbHd*c0aMnAR4G_9P(+$bR#YJSCVkV`uRm$AypVo@c
zX}=adnq1j6Kc5Jj{If`LHxG3)s5J~0mB$w4WfO3@KWJ>B`S!BEJB!iz@m_jy*zWzX
z{q2auukFl_A-?vo*>WVzYgS2Upu-nHN<|e5`vd}JuI1!K%S)Ng3nJ)|
zCa?RpABE3lZ@S&{kR3mY{)I%^!MM};iB7XjJM>^&zys%FH?Grzr#>soBKZF8L1^c4
zxWO*1`up(%{}2dcKa4DGDSFqE4Y#)w1>DWd%sP<0KR{;CeQ9OIcr?jwsq+Kmm%;~&
zj$iH%V-^92sfqI>q7L|rH=F!|gx-TAcBgr>T@$Z8G~YY6&Ob~QqUK+HzXrU5bU%8yqi4UO+!uz2+mlouf;vQ>WhaH=5FKvdP>sd
z#SdQg*lSq;Z?ZFeJ15fzT87jojs@Qa_&@HmEZ+x6kWx6|4i+q|kXD$06O2eE`^Moy
znnlKk55rBEsZsRQwN+l*24{vTBXWC(49?;oGD(hCzj6nq*~ebz&<`5O#KZQ6YD1jX9)2EnCzy~JCc8E3F8+iVnJ=_~s!x8Yp
z@_M)^U$wYc<9UVj^Ll=hG$jv3-G57Ulz%aJBP-P;vwX=hSsiuZR^aYK%gXI$;pWD{P@tLVf
z6H-y7m{?d)#KgqwFWmNPR!d9TIaO5_m*i;=>+RlJprzn<=f}!nkEoxlZ0d!3bOr?u
zzXuxX+1OHb9%&-p^`drxx(E|jh&4aVM3B`T;R4RpiI$ULCAt_t_2MX~5XS7W4Akv>u>U|8-HMK5qdR+_3!<&l
zad>2MXISQ#q>K|Sv1`_Sj(~%#CCw)w>O)x&|BIu81!HK>3>XZIIiF{+#!sTTaQnV+
z6Cd&0*C)iKCZ~1CwE2Rf0<->+dF`sL41`70;xD{oqPd(+)+tG?ia9L(cc+W=Q0knr
z6N*$-m~bmw8wGMjctV398$}F)i&Uv*YJ#Pk=vHOtJ@6a2@6tIDk-Y}q88lQ~Xo$o)
zUSJ}i13L+OXnb_vM)%a7{mWLImSCHvUkn4o*i%H<2)NcC)tstg&`fjZjqHAt%EZN1
zM@Fu%tPG6X($&>Hv2Uzy5HS%U-4x=(ZYTlsZl_NZ@Gjgi`}%^4h`77`F0y3BTdFw~
z3eXIgt~QgJgF@Wrki{kM$)A>{)_VhK(CQlMKu?U7eEJ=5dcgSV{cNPIt7kH{q*7lY?)hu?U+|7x
z*&W*4f;0^!fW5YQi_%w|9M(Hi;nd2OoRpNUPO?L+t1vEp#4|#WX&3GIB+iM2P4?){
zE^$`wL$LHKR>M>4c{U&byk&YE*7Gm}+UJY95tpYO
zt&g2T$~8oKMn<*Y+oVr^8ua7ILEUL@gTwx5DSgypDz_5>YQwYS6$3C_??z^g>r4T0=4sUnS6B&{qa&45a^9uO$&3T
zYM4YPcX>(q&*g0SV%6$`z4rO_5hl~y#wQQfP0~QO2a*e)#&SE2Bd6Aes=JFe>4>cl
zX#jz=B4c9U4&W01L%C0GOTv`&5)Z&!2xk2dsoXwXW|E>?kUt&h)nb!K7b{{uUV6BSjarXiEKwj4by%@-f})Mg`;a
zVp6UVHvs(jIIh~l4Y_)d&WH(cW5NBgUQ7_X#Q#u*Z{lO`W>Ahind$xYYu!fu5%DL)
zXIm)GnfwTlH9NLWp&4Q>z7o`~7jbsRxXe)Y6i+X&QBK>kva|s?b&u&>{&Mp2B`m&q
zq~!)Tm<{&pg@|Wm0H`$1s}-A@r-+}y!L8bDNAw#}IU8RRr_T$W3I4`c;*~H)d1LkF
z>^Lb4rV967`Am$Vcx7w9pxp!P;kmFkba46cg&kHGu~achIT>2Q*6CHzT-4aFJMQ1S
zX~xugE7Mrz8Dv%HXi93EbISByJ3lf*Dl3^Cm>SInnS%9Of_G{_o{d>hV4#m6sxDu$
z$7H5&n@l?AS&eU1)g
z4W!I&)M_a~p~Ce@5&LHA4_z5
z1)eYKUtV_T^^8t0vpL!d5&Hm1jgYfj4qQ=t@fOB^vmzV$-66NN`8>^-{}+I#rJagh
zmNMpj>_qij%}ToPpVfF=E%HNE>OElY>|UNE8QwUoWAiL8`^^2+x$jlo=~ahQrHUkXymxxCLf#
z!#}WCM9CBqY%B~kUjN~csH9x=u=m=0W3}2qE>r<>$O7Y}8|}}Hb`S5nVTtqHEB$IsXl>>VEs$9D*M8liOca+e#j167
zHrWkzQ>p%)#a}GP(3D&<&)ipIVtJ5|Q!WVE1H{TNlO){JA&d
z!`$kNodR1$GD(B`=N~395kle&u7+DjlCgv~K-B2umwWaxlb*qEBA$0KfE63XB&Oz6QJA9{T-EBHs3*l)fR
z|5;5>m<8+PJ!w)pERG{t5r}%UAGWx`{m*;@Ht^6K`0HfB@y`@kH6E`tfT)vGRC>+}D#5&GadZqg@5YB_+
zB?pt@eud|w!Ary#^(f9u{WbKH(&R0&OU~y%Y-#&IJRHlgScHg72J(T`$TlTfEzcQ8
zy3nK`fgDX8rf4c$L;$I{1c)t_`{vpiS)@Yj`YT;>@ozK%EDLjEyw91V>4o|hgn@;R
zowHO0^-Tp{R)T}L+cNKtp}2Me2m>98_9^_^`q{+N)MJ8VJsfGi;7}i%v^WM5R4@WMz6XlLUom5
z76xfBKidM<&o=`)23m0ur|!JVVunjZI`!7%H;N`B`O2u{IhWYK$oO-mK9^AI?BS9E
z4azgb_|gQUsRqmmBVb0rXDI)jMAAunt40>Ku!J0R#yd$k>mOLE(8Nwf$9#X)wU>f;
z4x+1Z@KcpR~xO%)s`8OMTJ)Yq57#Q!!-t)ix?!w*Ly
zVUO>bo5Bh;g%5EB$&89=SpB_3*2n_8481%=KO!Y#eZJuQmro|045h+fF^6H3?!&-=
zLndL3zouNjV73LxQxXJaAN)-6&O`cB&9@`xB!(ErB&u7Qs!`+qKHmJaIT?&P6rW^F
zXgK#obmhTQLHPuv)6wpa2|Q^IEgY_U^nauzHCbJ)YlzM+g_#)nw|mKdw?rEJC2`8$
z)(Xjm+yy5R3I9I)|LW0HeXT45)@OzwOcMe+(*9!Qzu#uSf}dq~KK;!X{I6~PpAa|p
z6kG>xssFn;en5k?uC{8T<+Iu>&;LsqT}8;r$>p?H6}n(8$*BD>()OPUFKr?s3=OV>
zqA;f*rzHRMXGFcDg5&SgMH)Q!t9lM+0fAmSO|N%h4W^=D9BnC=L;pOrTiAB$7JnKS
z&ic)D=CQ`P){*m!K+)h0_Hz%jNMhRj|4js(C&J#|AyDqSs(i>PVL8E6wYm2#@De7=
zf{`>)dRiS00|P^LnFi#aQSi6v8{6B%1o#K?S$iydg6Q0Lv8wnNuCqHRD$*^`#Os;>%e2JA>#SVy<`5NOJ{_j5G
zErlgDVNeYDqt}bx#eHNUIwzz}gH;4V&1@%CShzSGe(mN?DdH(;pDFk>+Tiw>_T(^W
z;226fgb80RW>!?Vv6tM%a|dBB}K0=!$21bB+H*oC~oZ)
zuE#57E9#gXpGW9d;Hs=RrQ}Uk5FgZb2>4`gcggk#`TsJQ@gozPZT?vg<%9Lb_^*c>
z-~z0!U0<8{nsP{0sF`QB$Sx#J$2U7kcv)dWO(ErRS#Wz>kU~=;a5J%1CQ#3UKQlH7
z|3##<#H(42a2IpI3VkNadHZU&tVxLL3)jwL;!ke3eJF=$0ZJ>3vhgzfGj5u?pD>BJ
z^8MGFTHBgycH!b=W5joC&-Ldwd%t=SM*>?o|ETRs{)2SMl%M>9kK2NeFGgBs>vF5<
z#t@H>?}LElgUMy{n=;NQYsaMa?-6;tJ)B_VYnouNA!dfI>-ADJJf}~TCm8bZUMK>(
z?%re&t^P%>_lt#R-v8uE#~e$pWp!=Y7gY5u8RkumSJE4?T|CSJOg@@}Xy}-}#Sa#N
zrech^=wm0KJ-ZkUk`Ics*jMO{@=BrNyCfJ#V)wrs@3r>h;PH&=`q9hJzWEAVNjKuq
z1tLG?0~)8J9rTVb`eNB2F=Y(zee*wGOQXu!L*4N;eGmJo-0x!&ufN>0{xvXY*Wafm
zTmdt6*699*-~x{`4z`qKa*fR7e9T1~#L1$3)@ZiP!A*M}?*e+eQ}YuABb-VbPn`d5
zWhhU%bl$b4v#(B^!m=>CqZ;EWmT~p!TL8czy}w|U^zQvP){0Dfl#)W%GX7zFLSh7G
zW&qH|0h(N9-t$apqxt{IDIQI@f9-)d6MXx8pTQR%m=RO9cUkC(ZJ;MbP~0l
z9A7Bw{oFEGTT7=hJzZ5_9U2iajETM&85LFi0rY#UzYhBuL>?Si=-Cm(A<6A~K%CzB
z9bAP~MOwZEmOKTC=z{2It%JSg`wo_`)k%O{3fVWCtOFTmvw!EXO8
z66peD%(da4bOSzB3okiIy6w0nQI2D=y|BATo@vDzO_ravxsmZgb9~!?dzM>J1UfC)
z)boBgU))Gm_zJGF8i`wiq5N72pW9dn&0y=p)SBaXucSH#QwhVIRAvvL-P(&x51Imw
zw!}Xw&_y#9;`G+>63`;5emm}c{su$2Jmk(-+0eG??dx3Q6xg09fO_t(c1cD~AH-E$
zYQwO~p>1V}>h^T~sjt63r>P05qeIZq-90F0`zPzp!RdL_lZ)YiJAE=K8!v`j5+H2x
zU@S~4YJk{@nTDooG7ZpO&eynQb?HC6n<;jPl3`3y%I%<^QqWV9rMbPAG8^7m`XsHg
zxs<}xKmpM^;c;xRqY(Gw2Zrr>4f65v@oymj5fTzomG2A6Yr~6s-K}*5h#TPkegs!j
zQ&Y0ms6lTepTdUA#5Cdh?jwy%!)(0#+DVElh#(gB7yvVGBjswsVfdjI3{DPX=8;W!
zJ8-qc5?q|VwLXhEp4ozlp^(OQ!b?`*2M4r6IfOwt8==<&zIBT}J{-qobE0^#U{pBbaHdBc!4WsslP7L&YVS6FE0=`Vi{bWJflv{
zv@xVR7zGiQf!pXf9xjFqPrJTPK88Dd$J#7kjv#J?%-&Lj^OO{@cRfuUDus(e?)-2O
zr|B`ZU+}haZ*U6^3bEiQYubZaQ;;i5o-$O`r>t945&`}sS}H}nFk*axacH~6YZGY4
z=V&74@xTNH+1H7yz}60XMgWJ3~#
z6#PIfJ5iQQ#cD1lvHiVBiv~?sRkHUXEO3waUNC+>_3#!V1ShEQ@}OpU(-!Q
z=5Q{=)Jr;ogq8ZQ38&w>lPn-yksm;*bxjy+RD!RI>2B3*%f=3)bcnDkOt?B+5`9id_>e(1l
z-&3+dv?^`^f!NH0gpA}#-g4_asGO`_QTmYJ#%b!ckAQe~rS#o+5r55$?CS2?0biiW
zsLcod821>5%b7txUB83?maiN5cCz2bY9KZ`F)FDd!#XC9#qyWc-#!wQUdz#{%=AeO>3C^rQa4bIjV}_lfQ!vU?`aJ}UCa0;
zxE?$g&{WHfV}bHQ!rZhhMA%)M)0ZU_$r6I>Re$ThI}4ooQ?YZ~Y}(}U+_jnr?dZa-
zaZ!z+roB2GPnZa;p-BWro1RWkdM0achp3~7Rr71vI3xpW1)enjgv8k6)sCWo`pPlA
zP@efEHB?=L_Zneob1BkK=#3i15R^y?p=8)ks$!}4F9MaGyTta;6Ml~)j%KG|!Qp?Ew_1@_^>_w!4oG7rU1bg#%AG1mAvNyYKV(Jj`se5DB3OQpy46QK`{X-7d_=ylq$<AJlt^>MD=AJU+xqiQpkI<;`nifDrf4&dVVyb7dhl#
zGeTIl$B6L2R;^ONeWb9!w5JWzuelFT%T0ZUG+y#Wgr-EaQnvCm8^8EXgM
zJyW3VwwG(Ms)AT`kXU_`x2k2Hu*By=+QFmW;JfVWm(GRlYar)jzkK@m{f$=NOzvyu
zTJYos6oiFeKwM#cSp(1d53$dVQr`1JjaAPe35O-cZfOY)m0k3^FM)Qs{GAw;el6hC
z6-nj8xGaQ5en5y&sJ$JlM4t0h&kH$}%t5>J-Izya%?>sc5&P7^sI>=-jTnT!I;M;8
zM>n1Y!p_LAVC6-CSkxlaKNj{rSohT9j^
z7O%=P1aGMEl&EUoHxp{})}^7ihaST5TkNoG9S>`HqdKM!(dwsbIWFVNr|=rHi@1o4
z8|AyKUhXraHoR6vLkY5vW)7;hJD(6q*Rp_h_tX1r{pH>69Ab-c!kBmP)E^Cz>P>A|
z-esHKM3O-pU31+JhvkDIA)?j}ak2NDG)B0UZEd)l<(pA1jrFsxudMImhtun4{G4TS
z{-;26oSEAGx0gP`9<9>%0F$sB984@YSZf{l*A@Zp()BQ3qp|ck2-+f)-J#`GWpHlq
zSFTq$zS}e&e6!Ju!TYv4YThJRRaP^z)
zU1E-2^_j4s&&m?%?if13vsTFctfh&qV_JkOwJ(<_%)2(+o=0#@
zDNsF%DUog7PR3ch?>zT>ex^5LMdMvfTW*f>e1Q&twUFNA3#HFD_yWXgp%0!`vpgE|
zIJrn;TgSGjay(6^GpR7^jnDH0U&oFX61LvN(N>ib2=M3$n}NVyTC0Ju7Nc{nu{
zY$+11o^Dro?p#9_yONX06jC%ga|CWjGz^R_K_U2K0Tr+NMW0+QzVj_Fvk6Gcqy?6udu4Y@V81nnjsFhH)M_9mg^=N5$3E
z!hF|g9T586*vOT{{DE?Hbv49H;~y3V%fQHpUy!@K)`BaYaSfgH+7KG{eSg{93}C}FD)fuh8n`dR0fKvY#09<{?l$2jL{DUL
zwis9Px1#F(Sjk=71N&0TD&Ci=Wbca##fYj328{Yo=
z{a*EJLq?Q?pk5{X@yN}i$;JoE+vpbtFY~cCVWMmDjin{R%QBtd44YJu9R4`-N}o_W
zJqDAz9g@e>l;{fnMq=pMjs7^Jr>m*5l+Je{+f7sWQ|q9q?fop^;8$OlmAnx=c8xWy
zZA1sNyX5y4Uq-+k`7X|lzKI#_UUZ7yqwqcmS52|oTj?%go~m1)px-ucS(KImB_FxQ&*cD1wE
zp_nJNqZ3WG6_0NpUi&xY{adYAK`Uww=hanW=
zwL%Gmf6KcFSHE=jjbtoaaomx&EsR4();M;UQ1fAGVy~H@8efeVCCq(
zTv?)d4HC9U=>O8Hays_X=e&$c)?^mJ?dT~%#s{+s1l~{4v{}2HK!3ZLVpd`J3k}FEQ(;)9WHa0kGc0%p&ISS)r>d7LtUcEUkvw4MUhJ
zfs~vN^U1YMu&wZ+9n3TV?k?3YeR-|Sd3}4ou&}D8E;uo9UW^$d!lb?7crh$Q1hw%1
z_;3d}DlkW6?s(_vjjfeByr^oZkrXpSURj!fv6cDa<{X@%Q8GLX-{7;}!ieuN%wNh<
z%xo*jSK7pqguBRF$F8}s00)O8UZj{|Y-hJFt%k+~Nx0d+HIeZ>M{oMd{B={VBOHz|
zEPe?Ki*C|n5?cz%XFmub@5Ht>?(muHe
zfQ`G(xP4&{(|pZ;Z|@`wY&&GFqendRnLJ{-gdDrGfplM=_{H7mj!zJHsEMNymMd`J
z`vw1RCYU6J{%T9jcxvmcIZ~@@Wq`t+&0|b2+?(;5?|cYgPf%g8pY?R?N1+2n1heE+I^GW5^6Y;jriaWHicP
zU^C{FP&NZgtNXw$5lZ-2bkF%MtU7#*2c`?vos{viRkdF7=jmBiycCtjgo#M~+zI1z
zC;GZeF0^%@k^6J(;KsrhQrZ(TCh_%I_Q;jOqJz3y|npqWr!
z9L)=$ZJ6($Fp2C=*EZudGKG=Tu@aB$iDP|n501*Hzj&Y^DJE~zThdDXS;6pmsYo5^
ztOe$~X4Thj+2mAIlhX)-C8Ug)>Nk#n3@4Nm*iP(y$pvE3#Po0;lVuGX{Wg4!5Tw@`K1HsrgUk)TXkIB*A6yN_z%|_T}4gPH(H^{zV=qQZRDfq3<4E9Y|D&&z&o;3qM+4cHL`H}>+$;{%$6$=XMl2@|!
z@--VjT>1imy>Pi9CoVUcglZsp>DFiW`h4gR9up@)Pi)lG(zLL8m4cIUU6uK>i1uft
zO-M)xx8oK`ECJ7eQCN2nOs>KzCktE2s8>JOcc5EXj81=oC4H%|w8I`L2M4hX&!N-8
zII@|5t+I8kbKWtn&zE*G=r+FZ!OPTt!jFDOaE|ZA(>rXx;&Me3%z}5^JJX0w?AnI1
zdeQC0Yb-TVmO&K6TU)x&IBc)!Xf?&&`^R|h2LXF%`gsYEgy2vZ!I`g)o!}Tn%?1&Wz+TU@dOP3x@s_!Mr7{tN2zh5G~b#p+At22J7bj=GUyta
zwW3dd#EELjHQ|Pu4FkAD%RS(CU#h2XuLoD~Y7#q*B|<4}msT!0PI4=Ho<4na7o93@
z(Upo=>b4pqF}E_UzQ8Fp)lX%@8Shnn|0(Q7K}c6%!RH(IrDqm7^I$(#*&bXg0!wN}
zUHRY>$;kro(Ajnzy4^b6uTeeSXE8TEOzYv)Mg7NknD4TdT1~$|FGe-G`hUI5($*^R
zAO0;n+DV(|$T0&KK%xL
zAkg)XW!{cT6CP!d9iP-vs*Lgz10;S(++0kLmVlpMtBOtC&7Hqm^XeyT&iEm+_@tDW
zwR{Hsm>)eYG32&&cONU~w&$d*)9+YeRrIpl9&Uk+dQXm}{xLyVC9QN{%|CaI4-oxm
z_pVZ54ErNvB#2k3v=+e8nbi&HZ`)0jh)Epet#df95EXnD<|5bv@G4!`8l0%B=K&v+=Q7!
zvO0udKyscxlMRn67ioHA5Y}*fq@4@_QCltsEwe(@EtYd#w^!5z!pzzg`G}yDGyCQt
z7}H@#Gq#67Q`Ky3OqrCAi}-3=E5X_j
z_q2ZLgP(9h?&wMI`7saD+weN|OZIGIw+e$nEoK;o?pBD7@3e*kj#5{`rC(2M(3RCy
z57O=FfkNIH=xr%9(*ztyKBO&|X~0Hnrh5bcCy9s8qp=sUd$M;?L#tHF5&;1bv~_eg
zX4&|g!OVbpg0S*O%+b=3m9a6HQEn9U1L9|<9D`O)1(c+tYjz~yM
z?j7AbUHL(|X|mdIKE#k#*=e&_`FK{V#Nq+W4$EvSmizOEbZGLyFaL$EZ8a}%xkx(Z
z$UmBsiKg9?$Z{>!M1C3Gzo~9?$YB{mQ*#E^y;M;_LfTL8#3fL2Z)4fxB`uHUq82CX
zy*e^^O6npbs4ENhcsVSWyc;Gf|p-xoICUGKJc|giu-;=jg+wj
z%=5IPXN|dY#^r^juG9pwB`FbaDg|0FE{?$t_!MbW?RYR!^K_CoJ-CUjYL0P%y*6B#K^79Wu&+WeE>Al60smW3a@Q?-n=-9Gq!CoEbarzDpp{_kpJ`Y<=n
zl5&<3tati#ztb<8nUA07OV_@|Wi$DZuZ>TN^h49%oih;9J~eZ<-_f6~mK<`}omb%J
ze024|L}{J(ywv)Yv1A!M=vUefE{JE}1#?YxcRCv{a%R^S&-p8c)cu0k8#&8iVf89g
zyte)R+P+wRHD6-zXnc=1?sLy$hBjCDoZzN$EwE>~cq6o3f<3R3fPH}N)hOV4
z@Fg~rH&ng=V^=EXP~qg{=br@HK2ylA`xZIH*yQKOxVYLax3C+mhFO2qsCs8dF+VdK
z1}9Xb3%)->Qfw&nJtL<%?(ETmGFaFZ6?a-9*|VVvhw(i!*l>T|Wol51tl~s4?W#yP
zF$me$NcjNR_7!>CCN`QN14vH~C0lU!u+8jDEcmfZ5WsxiQ`a5W{O+|U$nY!?;LpQ%
zwSxwzIzD-(oq8{*e|)1nC%8uiW~oyOrgMt353c)yY1$EH+ps;14^_suoS4fWfx_ea
z-6$h0U{*8aY-odIFSDH?r>@YQLKzMV5#(BF<;b++k79WvNM6EZaF0Wmd)_|N&BM|v
zmu&=^&6Gfqjt0m0x~|{NH!Rt4S@wor=GF6r(LKn1_6JQ^pQF70IDa+J>>h5#Z%a+I
zk=OEb;ViK$tGI8zS{0BonP?-qwJQe@m-TIke2WfKTuB|}0R2h9zyAfG#Xmpi-Bv)t
z$xV4MWK4edI0d|2VedF@jm|GUy~`HAzwn3NT2(Z+-*JzfWJQdAR1EOmKNRTSG)E#I
z)$N}~6C^EQ;Ft>@q1lmeczNts?PT^$32
z)Hv22gWIWdk7X~Xw>R$;z4)lM9-oc)*u;@VN;^f1!yovzfmHa@8LYErD*?3ibj?;B_<%QsuF}%-#lV$=y#v$1iwy1iUFSaP
zzC1f&z3*1DD1}rly0cz-o$)bs)P>dyHkE&R0!4$@oBluc-Ycr9sO=i1NN);Ak)|jh
zy-BYsSU|u^?^OuBL+D785)o-a00l(pJ@if@HAshq8X&ZUPH2HY`o7<}IO7}V?u>JD
za!1C_X6+BV>=x);52#R7n>yC<*
zucffy-XbyZ(;-z1$(nlhJAdptcXC1kbxcS9l5}!`BR|7^ktJ7uCONk!w-xgDAAUd?
z6bg&99)1~COMCX=s#qhsJoN$<`{=|?%XZzk&!FeYq*?}wfmD_PJQPsTLDy-~mUKhq
z#qGC($p-nVw_i2%a_dcLwT0|So!~QLo4`pFD=ki6Wb(Wm%K_>|xik?Lw<5V+bY5m;
zMk-SYN5a)@ZBGL>>b|L4RwPvp{8ry?Op!15{y-3b=STh8>I&%!GGE1h)O%tdA_H;I
zxFe;?&OR~3u5Z}&p#-WQb9&tqe+_3-nnEvo1|Y?3PK
zvgw_p)wHj!M*!_~*VVk31AX4URe8`j$}@F<5_HRL2pRdb&))+_!4^4(ka}dX|s9gLN&$Z~_IX-_@-suZ^WLCVU4HvADz9U_lo9ufj@8r`RX^YZBV
zF6yjKK5&_h$13+28Lz`%383S6z#JJ#(S;o31TtW{2^M0B^P}|Lvt~Ez%ZMq7fJx?3
za|pShF6PY&)
z%Mn%Tfa%iv({^>Sj=5i+Uv|#%Wlw6b44#SbC89>oa^Xp3%(pRBn}QTg8Xw4~|;+!8+6K>D7dp!jxKHLUgGm+3ri0HtWO!fW6n6tq
znPJ~DC2e1`s*0PrJKXilOyTdJl%aJbIxQDK^2?X(;1O(kC)pf<{7wzTz)Ko+*@oKovM&+~edcy{vOyP2=U|@~o58ywJ
zVR9PDCY1;40Z2i_vw&0a3lB-o*>{L(s;Dq-E~^UVq(q<|%5xd-zzAHtT|VE|jkCA}
zw(;m!eKMyejiM4VcqL52zZA7d^o9G%m=$>>n>Xg7cI`2OWofjS?qsXSh0y#tRK2ut)wp
z@g$yW~!zi7PF@bjg2vGG5Pb79)=F
z%jp@4rvecmn>5J|nVyB)`me9zi2E#7udMy+b{`Hn$q}mb*D00R86gb6Cej1nQR4d8
z1zR#r%(VNTJ+YouVNUjjB@f6*FNEnue_BZ3v}v$~#X^iL4%_T@fW;N*U3F)TCbCOY
z6LxHWNOW0^b~CQaO!|fgDG}AQyHG6EgCzIr21ZIdRH=9H7k8kC-jh)PP$!^rQmdxN
zq-d({RUk9V<)JL}c+@wzB1x%f7#lZ~>#U(COokj9a4S=X1!(UPoA+LcuE)Sn%1I@*
zvJ4~vB$Z7;ufk#KrDisTM$2Ufp+4auTo<3ol8!ik_BSCOwiY-k_BPZ2po7m49BId*Yn5E+r_0^W#M-HpkY^=t6ys^wPNZFhq%6+vXSYH{gr
zUDW*+?3^!y$jbQ~L+Ly2>ED81Hu5!=I_D%*N+`T?@TxS_am%>B~=c}OIsrGYSlsPuHb@j<@wT1p_T)Qa5W#JN+
z9YDIK)eDkEl(-T?qP}`JmljO*iOj%73#xm`tq?
z?~K){*ECK^^xssv%3=MjblxI|#mxKNa^-Hk)gHJRx(E*$tL
zXZx^YFSmEOf*ErAk1x(LL%Y&La}Y&%V&#@ywvhdpzkhd9Bz6|H$+F6kPLD&;O^*@q
zKVjHu;7RXQ5V3EAeUlBA^^%!ka5Q|w
z2gei>0>XMm$I9U6a?pp)Qhp2B&1IaIGlk-ouud?`&jU%AP!j5e4_UvM=gZ*r6)T!q
z$Cse+^-y9n45Az3(d~1xyCgF36SqARX?2(4d+pe2AGcSqv=Wi|bHMCY{t?TIKxJ-b
zDe|hPAfDdvND7aW^&7(I9Yiw&e?pdf9|yc{EmY-{tEJgB*(dPg9FC`Za@<}S?c!n;
zchQDFzY(V)a)3QB?`iy5{O$x&(H8MLl3{T;O2?$pjQX8$XqZ~4!UsJycO_RYU|MO=
znA@~DMm!4JOX|1cvd3?b-tTj=>bF4tL%b&<3+meucmbI1gzRE?u#YOp4oo)gi#vGj
zVnTcM>iv2XOI0MgtCws?Y4SQ=!CisBPDzO8%eAj7bWS0tZLP1xfpu2RT
zj#w=eV{i=5u~XUmrGT^U9M5{i=&?Ng@vBzLMQ4e>)#-rztAH-YCy?D63EO@iHlNUG
zZLt=uryRD`MnQYWFn3r2!hOPa)=SJ5j(s%Eh}G(N9;MoPHf?Z+O~&%xB-S(r55w7<
ze*>>CJ^s$2^=dRoT)y!mr{Nxd
z{dYDmV*92;wD
z{#1|Wu`)ZX$hCn1H`InmL#=I@BB?;geWSr!ekwU3JM7zPAw&Ygx>hTirtCpK)@Xe>
z=i|mE93-rM%O7HAFF4D;=9!gq)j-Wb5Var*7(BaUOL(DY{qnA4t={9QH4?wZ*?anB
zL0oz{84-;jS(!XQHAThcx%pwEmB^C^_KUd1iHa-foE;C=ORLL!hvM1C)Sk%%Nlx^l
zB8n@RW$HWQ3;z=yiEsIOD6O}O^tq?!KML6lB30$^WS2??GO@AGVzvmOYP;NMul0{8
z+;d@{wjpXeU7V`)xstsm?wQh%YNBs5mvp4xsk|xGBTGHI`g!X$lD!5t)U!19w9@WM
z-x*m$)!KBdvGNG=tT_Q$eqcft+BW?Y3%}Y~SjLNb?J}rcIdK3M23|&A#kF6h;HnCL
zZE^C4Y#>gsHbU{NH*VZW7QQiNgT8tWe0#;x`gynub!<7<;f3o{5pa}mII
zBs&0m;@2K{0Qp&5)^+zlEgn99v8V}Ofp{B1f>Hnm9t~^<{PVF`@IV!M-5fygvHilP
z89->%jT?4mOYwfnNqdp7*|X0UEyvnfzluQ
zKnvI1yL>z0sN8zOE`opG=t3NV8&r}E-Pd6mGo|mZ9k6rL!mT#9#aabN-_F!pI)`5p
z!Nq{Ysdeuf79O^22SAzf?F+`=Rv3`fBd-dZrCmu+zVm@!DgCeNK+wEc7A(
z^O}k&P&$+YYM32j5^%A)qUgQ;(gt_3lu!N(*kUT%4BGC*<(&Ej)jHI)QbiwfC%{-#
zBYxfeVVV|A|DU^wR#Bg<-mF+YwG&^`=%q4Q0}{smZe|vDEp#?LE5di+uXygYONaPS0?97J*4cA9EzgE)z`1kRCr}AZLS@)*B^WO&-{Y_Tk81c9-i{TtQ
zu-2NLM;<>L9uI3jZ1$EX-*PJpplA;`cuvT*@iqfSLFhQa3>!TD;KeP)8wBXc+!6op
zhMK8bMU_`4#HDjp^aFCCVWQ`dJ1n3XI6p(ydteoaLz&(jzUrtrb&Cx1T0+Q4Xm{{4
z+JylpEpu}yWU?KocDO!D%C}_A92I|^DthV2UuoM^^Ix|1e;%?=e#ZZjqwKLxEz5+@
zguMH5m`@BGX4lLxjDKJc0tXmz4A*HsY-Y}WGf`9-G)CQ0cjn@(R?D=f(UPzC{9n?S
zTNfrXzTi|Orui`hJLyEdWKPI?dH;QS1T?b(H!0Q`J;xz>Zq8crG`N)hXfLopIx|UC
zPh`0F*~}v(C)rQv3Od)YWwa|k}BQ5A0*R%
z8#ez>XYrD0J#79P9>RPQ{(9tJ=JWEt&SS3q7qr+|=KExr|GBi-2zN4ev*=as&#i`<
ze|I8G0F#l&=~quFCt|1_m;(OuWilYMAN4Ob8XDAJB7Fb*ElFXX*}q5CC{P!C|9AEv
zdvFY~
zHlodD>&ScV;q0&Uku+=hnMTcTp{@VMkZiG-VK(xHT(lW$PeGK`;jOjDKc`*z_E+{B
zMt(I@oF8TYa^^A4g~4
zfO>8xaH>red6xP*A&04JbYa5!3M$W71t_x3L4DdW4w#GbrxRP9wn#!>|NF?vdc!~&
zvaMuYSHc7K)HZjmOOG;Cv}<0Qygiytlkr8LF_$EylAR3E$~j!cdLB
zGrxGvFpru$1OE9HL-7taCLeq+k-4JcUs5u2y2)l~@~2c)2&am#KU#PdVgea{;?>EE
zgGoVq(ha>76Y(5OlQL}$gNdCfk?X1>@#+PqJG%?)>N?Fz5yUq5>0ModCr{&5K(^Uh
zMH^8}Mfy!@n#)q=;3p>-;EXp*iA6c=JhZeo^X{*bz^?Bv%O6%)g&;2k_}1TIJIAiP
z$(yHo#Lo`gUpp;}TD@ozjW}|fv^nK*dKD}c{3rM6zjRVn*qOM#e#pbs5mE6a@BDVI
z9nz%VKFrXJoI*~Z(kFlxF%SAy&P$h$hys@^v&jg2uo@%1zqRU9eNg_x=AZ<2ou}z=
zuZzdq>PXv%<-}r$*x6>o`)TfPnfrkJoK|OeAwcBsAbdStev$`11L5)u1`n#jz~MeZ
znY~Lc&$mt4yVnX|z2&rWIEkjPt(I@#3s0f=JPlC|ORmXYZ2dU^o9dLdbm+sU6}}qJ
zelGm|=D*BN*2Wf7&bF#Pa7CqAP{Zq{v(h!H@OZW)%=209?XtKD`>NomgA8y-yt%BoRuyQ~sl
z%Lx7KwYhGy#)Edk65sh7F;5+G4DDnvu^j*0E$9lOOTJOu(X8C4D@Qly94GqhGY8pu&j}A
ziW2wd0GJbob6T>sphQ~M?A(8Gui4o-$)klq0j7$W-o53i-C|lndaSuvH&{@!8)$YP
zyY_I$O4S>)Rfoz(=Jq6mp9AR;E{nVrWsQB@^N*3=;T+y3kSjwoma5r=IU98I9Szs)
zN19>?o$!j(imEoD__yDKak^MV&(a7@sFvMt$OAvT
zLmJ(dkI%qo@*c8dBjpyKfF7zMBJthnfU3Q@`$9=lOi2;YXkW;crXXP!ti>;Gl}P!c
zStkg28BRs>C?g1PEqNIG<2E!kYGAdR5zmnGtM`Ydr0|S`<#ZZy();lbau0mb#}S)P
ztYYM8MgrgK`bgv-j(tRLR_?hJv0K>ej_cmFC-*>g_pZ;v0WjO!O*WdGI~OgtU^qUP
zN8e=%=TsUl$8IFF3tFR}2Vos9+o_#RSRP9y*CpXs@vRww2G{O7klol=(SRzqBS&LV
zz|V$z&Rn`&&lEvf?6v0~m?(BsUqv!l{Hob=QIP%iT8>?S$vufX6HyH+oUe~TRhcB|T~5Zg#+-Z11>c~};Z&Dc_7$RE
zL{4Rg8SOcX%8L790rM1pyN=g0>KbOSYyWWwB*ffATh&_sdas$X4qv_4blawvs)2Lo
zc|RK9!mwqiW3?mh*6I9sw{QC{PMt?d+_{rSX%wBVkEVvi4=6XRY8S4n@rM<*S5#qf
zWn}WM6$8f^x##aC$@QpsulFy!SG}?@qkLkTagfPN+b$NnsyAVcE@s;-k;c&T;>tj%
z!ItYyhx>-IX_*d}z*BW`p`=3R*Li$x<-;m1>oU`Ba5q%4kK%Ez;-~5`Fk1QI?6y79
z;zQ2khE?-7imHAX7es5P>frgKDzf&%xw+%nEb>zndf))1(Sa2IV)^?E(M4HO;(>UJ
zSPi!jbY$a>2(Xx3Nj3J4@!0Y7bk4DvO2(`7_$Ld-VKk?b+=pQmW!bgn
z$)4*K&AT07*jg(gq?#G-+LTMLbc^b1kVzWZ8mnmn_p;a
z@MZnq3$i%wIz(fF(F_eQ14LYA&R($i25U71NZ{LI=adF=ihC#RTKvAc0e{C`!{SvB
z!g)EeX8WW0_$AQ~vn`i!Xchg4CFuymGh5N)QV?W@^YyLj3QY}lb4Aqu>tls9nKQUX%^En4Yf8u73m7QRuz`R)nQNyTeDh%33*25#+|VUmi4`sukFz-
zmMz~%zSSZX^ao_7%5;c4UaW<*T_c4mvhR8&(p}B*t8)w1_k9_P|Ly=Dw}DOvr~slA{|=9~dd=rE1(b5%dh=@WD2^C=i+x~09LG;D%8-yufA
z$@e$^6PBwcXc}wnkDnM5>>v
z=O)JJ7(OU9vhR~3MShi*`6)lj%$9z%x7-8-e|95xZ=@nhD>LBMGhqm`MFwzA8KI%6
z7IwiZ84VH%vmYNEmnNF*j&m#NLnWQ`r>SN+B7W~*s($f3Py|3su33Czgpi@ad3~9@
z+YC&St9;G}2mQ9TdJD*`zA(I}p7ug{x_glnF%*{8HoswD2xPz+1+=C@a!D-?#+7*K
zw1vMa!abaelZwi+)!4nbVb96z!@X>}Z~HL9)?Sb|t0sVDn6hamF%1Hv`W}l6jhGBm
z(2lR14t-@%$Vfq0D?d35o#ld-lz%AY{;1=OrZlvKdq?dJphCb;BMH-5J(8ztsw1xM
zqm3g_M0-`CPty6xh}1EKY;V;`pE2i54uRK5DovfpRWt;oILoQ%JKvNM`G)p?3swf{
zCjXn-rZVWMX2Cv>^MAYm<4Si~3Os2Q(g=V-!e6VSf7}R)%(=b4(#A}HQqxVohSgLk&+O;QeSr1zP|&wF`^?>x^EcDg51h8D^tiO{X7w3UosBp?
zOlTIgg`u|GXll+M^HY=xkdUHHEr&e)?BRaF>j`uM7|RP>Ad(hu34uVE^D-Y3dR*s_sD@+yli?2QEF(
z1&8P+FFlZsqQuxxT*Spz+PPoaqFbQ&#}J#K`ZX}RD)bFWT(k$g{Yj~5rOdAQgcWYK
zL59Wo^w!4WVfcRd263cDB3PMYjy2HVJg=Ia$3MtTcxd9bBKqXy&NCOPEtcF
zlmlDow-%DVV_&?v4a=)udkfYvH1%_vj@Z0-ea1QP1$UUY^Gxky(}P4h=@HJX3Gu1?
zeZ%6JX^FdoXfQ5{kp_ACmF<1a9}Zz6`OXpjdT^&)7H>JQY^i|`(IN>LvJ4q^h<7nl
z5McLQ#VL#H_7pT&UIbyYXhjf1b!({tqbw4To9p}MsRFO%gXI(3^22rK6#BZHV%Ac~
z8u=)**RAYG1*C?LFJQg`m>dkU_RvRaz%D^|i@j=?;4q)zKN7nF&I%s4q2K*W1{a
z_!zOA_RW6Ab6`-Srid`vm6D#_^DPzk;V1QfVei_SWs0Vq^+LmZ`h$|hTET-4;1%cB
z#hVTfzn^I|N$#T9su{zKra9Aa(nNYaHS3cL@yq4&&}dI(o;2Sbqg?giRT!i>e!`*b
zODU|AuHWR0Ey6)<*XM|-HA_7hGi)~3pwMofwhi3lqDWXC~
zM#@>tcvZw`G1wWW6|X(GP@)R17YaYNy$WcTBJ2*9wj09w4>j6xm#{Tx-qHJZ#ir(4
z_7O589KL{3dFe6E{zmtj;J`l$;q~o@O4>o0sdhhV>%zc1^D}fgg-rmC>hwk_gtw5*
z!#R(EW3oTNVN+5N%tW=3AwW$)w!dlbkF__)VqL=f1EwAUsK|NM906$~sGTwr?O%5P
zu%@l|1RrI3;K=6ETG!gqlYU-vas%iC>1|Pu;PdhcD%vcT+J!nk>N}8kViNg06>b)+
zA+A?-p>L4ocS+?oB|F>-aV@H}vtqxsi`mcZ|NP3{+CE6)7%~Tu1z)&oPO5*;a3v65na8HPpTtx8W@FA(089iJmgurIF&h&|
z&XUG%cB?myPY0%yK9eg5jca{QBed0+YG5ALwcrP|GMX^CYGEdYdVn@*2BPbqPQ)do
zR_BU7vnDbLP>%8!0obk8*UzDyb)cgzU!ROAMVg@}uF-@CS
z&_9PJk8YH{qe}RC(^G52DD!1c*>=!$^E}lh`(d?*X+w$^mUi?6pRdGzThYinE8#a#
z*W7>{rF=PK{5Q;ZTHhQn=kVg1yeGI(!Zb!s;6G%cVbeKwnjxs|tss6+GvZAWQ>p)-c_r
z#{JW@6c+BZS-F-rSr1@G*Z_M>O^#c)mu*cweGVcAy!F+?RNkWlkYXb4X5<8aTTU
zYkbupZ+u8EV-Z3`o*-Mx-nzxix7~`CSd3y~mGE81lFtKZoh9JB)nGmvb
z^xk(u)VU7BJcwy#131eQcN9C~NwduKWryew>gR4%cqjq@RqWent-hIyM84(5>8wsW
z*0fF5W)rh9UDJ5D=*&sRWCZY%zC`vbi8pzodP9cI#-r%YbE9&aEL7tyX!LZj+MImf
zpDO>*q(;dPf4m;;QXpk7dD=`tDqGf**;t!Y4l&C$(%y^^y_Id)QSEg=`U8HSrie9+N_so7frNj3ktsoG%^
zO5(oNp3i71nl3ga@oNp)rA}h8L$GZ==>sHh!c8Jmkc(N5+LC*fWM<8Rd}Q_{PdBE<
zkl2!mif(n4)|oAPk29mpmMGU`YS43+`*BeHoW9h2;Ov*e6=%zIpsRHrtUo-BZf`g$
z{Blp_`IbTlKVa~a7biu+kq!D|hKmc7D%n)s{7rJ_UaR2vJNZuec6fAPcEM7p$;dj%
zS;BGtl)IXfo>U>(
z8oxv!ZYaK^&5WkXT>~xQ3|ZjfzFBZH3RweNroO#{?se%dH>T^(=F{_{6#r0Jxu!wi
zFdE}P`~lHtdUl~>gti~r-K?H&xgYHpVxFkkUR>2W?$YXioTBFEC?`jr;1^LbDb$kr
zko$q4Yzlqt|IR+*sfI1bXZh*CL+9PAXztoydu2NL
zwtCn`YS+He3wSGe6?9|jhZjJ)91gd-E$ePg^ti|)_w>gUEa^l5rv%JLhvWjb6mE1u
zBOAR|LU!KlP!b5BFd6-URCf2BgK#F2zl4%XjH1cUx@c5qM@zk?SHsd2nTy`;U9DG{;VD|QZ4BSsb3s^~g}akj%`KNG~PMYShVf9AyEhk@T!
zR5(xAbe-L^8@_}gS_={H$uryM7wTzVC^D%GT)m91tC*VkOy(MHFeplFA{)f~pTR2#
zYG3grHb@ipN0@`NX(ZV4-24Tch9)!U+NJ@n?0J=gnZyUP23syFq2)EQq|eA(nbu;;
zXqDx@eR|RHwZZ6zA{|Xg1BD;%p^*bu1I@bRNX#!tjOb64tZ5?MT(yXbpVjQ#UzVp*
zY8AO<*LSvY_ZLlIBCQjHtG4CzVIEUnGk6i#1iYITHzX=&=?*L3Ej9iv9%+9af{&CZ
zPhiONOJ10Kdf?+O8q_czDJgdkT(xw{s$??n0SYKjQO%NmIx6pR+pch?5&vg^!rx;~
zMf2GcFn`RcO}AH$N9eW3KOQ9NVC9u}>W|;IBU|c^auLO%hEXH4`{A5zYt{4I-kToB
zg=~|n?Sll$>cUsgqpxem9TszGgRfUpI%kr2JX}m8>&7Xo^5KPSyidgx0&d(5OiH;e
z62}w#7@9`d*_IQ0bGBIVA4%OfX@-BO6b53^6m{oNR+tu%08DD0zo!Q_s#7FgPmW<
zE=}P%2+xERx>Ghv?p5=7(PK<~@G$OP=^dlz?4&OQ28I@M*>SGHt;4gywk}&LSsn6E
zAEm)oGzP*!jO%j!Zh#7-s19-atHu>e+}Dgmh7v(TCpBBG>-Z<TOr7Ad;
z7R^JU-s&sbkIlRD?+ZDsxZBKK&3><5NB8G>(OorUJ*uy`NV-{759Hl#qCGU4h?v@W
z!TXL=dnUkRITFVPOJ{l_JL8k)vzh(AT4oRFmUD0|O0wr)iA=Wfm2$Rm4&k-%t7kEe
z*n#2rQkCYGbD6(#ypP+s4QA`;Se{%oJup}_(j*PW0KQcj_GgmJi_UXoBOzyjErIyx
z>5ir-Tfbco`?j<3TTss9*85^KN{KVm@5NT05R{VvExlH0YrdVqT2GSOkR0F4#&y3FL;x$45m>SZ}>q`)jb!}IR#{WqE$kcW8X8tS6>M1#MYvj&fLDJ
z_V$^fLGWd1+3g&g8n1V>gxdP$_=F4BcEB_4_=PP3*6)L8ZX3$VUPf0r%Cl7Te#1~X
zn{n4s#n7;4X@@h(WtVQK3?_!yT*%iB%^av+nb%#C({{PhTOB6eL3HDtoduuiK(*%G
zPD~{kkJz{8cK4v}%3>viA&>11v2_@&cSkW&ks}+0uInb~H1H+7p~&vbPTR>x`mjmf
zwI#k>a-kZ}Rs@EL|Bb9?Su=lxul>Pva?ru@{bQE|n^_gjdeL{iRt|}xq&LYwrRTG!
zsXQ$Y&qfHExe2@UF9r^b-k)qW0)3T6PB(2hh#=Nv15826-o}+4aA$xzi}#Gd7Hn{N
zWU|1A+kyYo8PNmY@{zdipgz2qoN`@sD#5GlqDn>3#9@B6-d11Joj(zmTdsNZDrD
z0)J_PDS=uE*kY;A!nH+vQTYN4~#=n$L9932h^6@rFHCxc2MaIh7VYNL|E5NeuyU)!$mnn2cM3~)N{AkQAvV&
ziH;lH3@qo-+7j0Glzet{;WZ_Rmi3B}ghHU|V#64~>sL?f0EDfqgcFz=-ETo*4D+LF
zMte>D50X}7vH)8F)<;IA0foa-SJ`1~{ZJ1)n2)4tw$v_Ft`+UQ%R^A|I^RTK-hWAl
z0@Qw1^O5D-lf4?9@S3bz@+3~`TV9x4Tuk$Fd+ht`^Un7A{OlhitB!58bb=zG;M{pi
zVCyshU{#7zwn{!~S9G0tK=ou&7xuEOueIs@J94+npR>oIgc*^Nz;;=)`{@35Her%o`2GP{@AW8}
zi6o2VDQ4h|MkBs&p>s1Cq(V1OF`1K7lLwMaD8!Q*w+
zju`c14%K$1a}NtYay{BF4O7Zfq6Z5mTP(RBNd=AzKDn$vh4zuz|8X(%<3M*j|CHa%
z#P*=ijo93kF@kGnW+~flH0aW+O8xu=G)<^9w1yiSO%7DnBQF&l=r}+b%c=uhUPq=d
zyWtCNnWXnhcs%^w51F}00Cce~Y@YJu<@t)oe{Sy+Ts1t;|Yd@P~WLlkCdhutHkxoYIHA$zOCvE7OUDg$zA9$~K&a
z-AVWygBj)bI_wx@>XlNYPZ4JxFG`Y>GSB;&1jqG%>|vQEmuT_UkzB~ziCPe_J7?R$1Px!jAh4A}pu(~ef2<#q=XRJ$9c1VimnGr(0@2J^B6ihf{2Nl8+tH=zd|JdX&a^fIERq^f%?zoD%*b`lJ?LTCG
zI5}o!viZ3*k;8H3xrY}saB2hd%-q>RayRO1o_GLSEvNedEPa@fu7e_goTE#zE>GQg`h24=M?c
z|O9{(EWOuj))vxs$>
z!I(J!%JAxmN)yAe)gfmHd}mv3-daxBWO7gxs#{pKhq*7?X5wbICe+>9FzucM?wM%?
zBhB-ErXcuDJ?*fjPuoKufA>&otgk*Js0kjM>Lc}mHg(s|8Qqnnb*VWKT(xnmjCL!efT(UHzkv;|@aHGPj$!Vascb=F~bS6S)H+zQTm}Esz
zU-#;FJsgq>tFUE(U(%%S+A;bK2;k}^e|&XC!BJy~ZX
zd0j2wcEIpf2fyF8JN1$p{E)H!PuDt%Rdz*Wgg&i$iEfBv`n!S
z7*w8(A6#NKKZOV((g0_zHx9WrAff}tgnx1=roC+x(z-UGSQ^~QEmLH?P+Vdoeg;ZkoH;-#ThNXy|a*coi8$oV(j#s6@b@Syz3Lv}ld#hhR5BG+9^anh{F4
zc@t?AHWS31g(z6PRpMgKScic%41^U6{$rt6oFZ+8Kuvx~GU@QJ*i-?armLiqsO^p6Rp~z88g4}n)|-#@`j;ib
zepezdm$?l76R(d9vow6No|B3WrG%>FgdnC*T9)to7h7sCtuDXL`;R^CwPohse}3S8f9(I+&G^6H=6^Ll{{NT$-y&d8U?ZT5;nV*MT=fWL1#?p)@t&lVEi_sAVFy8P^EZqna*w}oo0SsPk(t74i-A~ob
z`YZbMCIT|LHnu~b@5LZ)ipj{CsebUWx4o?MusL304SN0J4lDJm-apLd7p^y(j*tEl
zgzMvTW7vhnN&CG`oN%(1tt9TC_dd_!xdz(P_9=<@g*G2S^takHyP=_#MIPAeWs_59b|
zMt#n?%$_Z^;;z4}gzE1Y0zbNY8eWWYELb+O%?<$T-D4lHCYVxLE_4YNN`k}dy#q4n
z)wY^HE%2DD^Md0?o{3S>!6m-xpo=ZUjHr_rT`&*`yq?eiKm9t@`U-^4V$2A1xQ0LZ
zN^{R&OQ1&fRW}jC*&Flg1nbYq?yBNjP8|e(6foT=K$)^9BHQu~6wJX$ust{vD=t)I
zCoJKMt}X%f=K9oW=Re1S3wUR_NP|V^V-~G
zl@XBsDYqZ!%Dzocj4gn>)FD&?A*T+67$GxA#rrSPN@dErV{M_;Dv7ksm^*^&w=I`$WhmI?O
zV>nCP>)vwXp2iq+btBX&s+?Dja>X8bWK!&%iI@`*@LTW;)DPIlSF=O$c6t+*-6pRF
zt|w-4bZtBq>>wMw8e=?U-+<8G4!!J@u9GJy;opZ{Uo_rL5QIE^IXV&f-i)QRb
zec0ZGpOC1uie)yBoNAZXaVNpwTSyYQKv;fcWox)ax>gW|s=-Sew)TCxSif>&?IkmA
zR(>%`6oF-2M~)%v8#^qEFSReHYMgKVzvuN;>DcP^aeM$A$xw;>|ckuW=2HQ#CZ6yi5iTPZ_0;r4Ca|!xX
zTO!c+dUz~?M77P$w=~w|M=I`qE@)@UD|KKhTNgEytB;y4x2=KcG~TtI`h;%TP(f$w
zalMyE!xhkjc9H_ed{rxb#?B_(kAL<=5$JeddbAf<-l|~*BBKu-KA3IewZ{=t2bX#&f20df&-IPLgZtIE&^O)kz#ipAFlI`e9#c9Aj~*YiZY}$U
z1Ys`bwy>gI8{Lkj{^cydN$979?j*T$X-(OBx66jV)q1IQ#Lg-eG&Hnl-fP2qvRrh*rj$~lMI}6Vi)md38Pf>*lDA-p
zmZ`oK146X&+lPXFEO1rzXO6m(y?*o;K0SGO{_Z0&@6@*@q}aKHzq21n#g#)H8K-Ic
z7DIEHcS`4!OQ`urVpJ9diAwazh)v}b3BIX6A$Z!p(r43>kzl{PF1BZRI#x$;vquwr
zcBxeRZsBsCEQi|eEcoD5Gl=bKSF$bH;98NcFIn2FHIs^
zcgS$&;QNBUO=r3m=JAz@T3J0G8R(+jF70TU!k_y*MZQV;Po>y&B*hhw-AS)V^gb%a
zA%xA14(5Io@54s0EuLD4)ZN~Ubl4PmX?Z)O3gTj)6>#
zyTklv+g&^xf#Ej;5Td6P*CfQ?Tb`5;zpoap$B;MmlBascm@wm6UFcZRg4e!G9RyeU
z7%`*V=#A8e`mU1~WXq%2M!vZ`f6>w#1G{W2IkKE?ld_*$%GZ2FShKrYVA|WkU6$nq
zgEl*oG|cBf7tgT59qkZMW~e!gu3T1+U2a#1G&;2SS0EqLZJ;l)&9;6M+uaX
zpbW)^8svEq4246~vkRG`+TW*J?#+t4yjXAjNj6Wg&L)s%F-|w#b7FegvSVDVm<;7m
zD}FSTN$ZL~&}G>U-E}UTi_czJY)&g&<(Myron&=q1Ocbb;Rg%lwFhhp!m-#$@c$w1
zEra5Ux@}P;Snv?sAwY0Rz2gF|rl#$6g{9GZSR-#Mq=
zyFXsly}$0Cu3c2K_v*E0O&Md%xuA=6LebN%39zvpzvSDe19BMwi#l7)*?~BSo<#T^
z)z-v)v%@1A_oJxR>Rf2PHWHDPwU)sffM^>qUolhcB
zYq@|8J^~ir80pT@^thG7RCek#6bfJLe+Y2a3cW1?(z(|}D5rX~fhD31^cK`%q~|>4
zO;!f8nNw?*MOs+d2hCp#?5Gp0LVqNF)|H?}R<6?iJbyKs*nqMX;Z@_4j=6?*uj$4Z
z*LiG7;wFo?AgS@m0Gh8Is>r~qskb}p!4oCmwvE
z9YQwEUl!xMagZr&d})}AhKz03qO(`Ku~`Js**uSb6RtAG2ax6Q6+g|*{|sZOEjEN#
zCtCJ+tR*{P8_mcF{Pw$EFK3%sYRq#}1r%524<`6nB-B!KQLojg-*1jiHFTzdd!K+t
z6M4p6Kp~EJMRC-8aw0+HbvBsb_t9y(E~$^vmi}|N#`NhE^37-LgSJKxqKPs@T+`C5
z5849bRC2hq9qpjOv5zoKMPn2?c)|E~j3sFXZKkAhluuxkLI~`Hefk&8oBQeE
zr_Ku3AFHotV@?G>Jj#?S5ZA@={n+45+|Y40;n4L}ZqgU^W#5vCJgH&|1Q7c%P}HK&
z7mIO
z(P}MJ?4w(=!`+{)sh}
z_}pYLux^OVjj9bW2Pb*0!zoETg0HTZ1b9E*SgevIUF=g!?*Fy4&2qO8<_BHY7D_Zf
zH@$&mhDD3NJ=$q94?&c%^Il!%B^~j-WL@824j$ldJE@^&aW&D{Zu^buu02&baxeJP
zt`eWpPrRnSYj9h}N0NGA6x;GJncwqt4{posi*wVs*Cj#k?^zwLY~1vT-b)hdgoZo`J&ox;5n5M%Vp=y7%Y{+0-2OS<57=!2Nn@oz
zAwi%27^JCZ^KCpf9(^FY(4SX2cDw5;70Ml$GGTr?qn_aNbBt#ym+nCPlP-!I-eRB#Y%TtrCa}0AYL^?v;Uj
z_VMVwx*d4#8!6L1HWbOV!mH8MUlpYhnmobg&y~_BUp9h84$<*N^vYq%PPFmbp!6
z2#Ja}m{@7dkJvF>Wq&vnUtQRfLuS$>3M`sMYJKAIMb#@+ufh5{Xn4M>6}#1T5+0Qq
zIgSL2f>RAx5&?|)EC
zx!k3*`yj25ILQ3=o$2^lgF4Xsslz#MpfMDPoGmueNrYMr1?hk6q;IL99o$9KmDqO|
zn^A%4GY#6rM5re;Z8gzcD`H|!G#!%)8n}s
zA-8ZtWyV+xy-n1q9l@+WJN3!n%eZCiHG5S!#;&zT-$eSpa0I>gwQVK#3g{$|ACI=^
zulMjiG%K$Ol0~YQe7sQw03OSXhqP*8&*16|Lb@k1
z0s2Tl#(I9g=84=>$1MBQZ_$PrN#PzXXBr+e`aCI#oEwLhWUVky#qo0NybW2?*{ia#ZtfsuH%xsPzmK
zwv6dTf+CmJ%`Ky>m5tL|Z?1h=llLP;Kd)y5pUkgY+tDs`nmPqDEOgYZ2s5F&+7*y)
z)K_HN^)Fq;tz{SxP5d@7UKk#w4h_fDabb&Fv)hWJtTeFQxDml#`e9-zZx4BRf#VP_
zD4;j8DKg!!KL2s&TKWTpx&`d`8mQGw`~>@4T+RL}eG?x3bHbP~X1{_GsM~zPo-o1l
z!83AC#6aL_>qgDE_wRsZa_+24#M$_IrdFICt$`Ow>qzhhQc}@UoAE)F4ZD)STDWwDnd_fbNS>qZE99^
zi@2_r{b8wI!b0?=a|UMC_3k$R&SOe-dH|pIL@hogIgRTrX1s!5lh2NDP4}C0&03M@
zcC{L6*^;4*8lYP{u_ym0jI8@~VNrEi;sDmMTqbQWE&f>Ff52UGTJciy%`GWujSBIC
zYq)X_ZYY*{iz-1qKh|@`T8^jnVrC0B!2oXD=nJ@my)==ZAZWTYIJlme{dvbfIJG`;g)nuGPxV*&+%3r2B|>x7JugA
zWE_~8SmIU=FH{^g0uYfpQ9mr%JAn6NDqmWjl6$1p?gjL`FSwz))e`(Ua(`f=Cdbci
zvQhU+z-aZ}0*l_dF6zg`KrR9MzYezgYWxK>?k{SSo*&J7g+43hu%BixbnG?y9&3z0
zE+3xcv35!XiJe{f#jrgN|Mnamb*<~456qJl%dEXc5#6YN*gY8k{fuPaF%W;mmcH+E
znN9kmPIx6OE643@dL*J17wDWdTiEC{o6}DXRy}C|@xTeT*U?ZboSsUS|87~Y>V3M!
zpJ+9hbR1jt*T37Jm+A;wWE_e_QfRi*j>-M^w*m|GGVL_~^E(
zN}F|Hu^#M3MZYz0AZ&qorPrxpN2s1mB+qp?&jyBDQr-l8*gXMrEw3-Ggzi4r>km~v
z%!5c9bE!;x1>t$NpPzjs&tVe|XQt1lML7gs_8YG#pRw&Gv|j6qoUZ+-0lD?PtTe!t
zpR`-Ncc}l@{F|O@x84=7q{0~5>393FCk*3Yx@g48+ptxu27o?vYPW@u#aDV;;=H5m
zz-AAoMJRi#(ALJz!6KOJV}qN+bBm7}F~n|eTs-1@q}UXgWVN7935}YsSKi!`L%y}$
z2cI=r$`H@l{3C}ClB*k{i|SVO{2}2lJS$?Cnm(BL`H>@gejZwf%f?yJx60@4La1Ha
z%Ltf97#nrl*j@7tZi-k1XefEF-BV{zUu59EHX>zG&ViCk
z)$aI@jd(P9362~a?D^a-h#I`-Ug(ZC#tO_MP6*n&`R{QVz_g4@@Bbpm5|N6iYX5Un
zy8n&A8G>1pR`pBq61e}(uGvaw{9hS`@xKh%NK`hzFNd0p>@Suu?o^<
zsBC^Yf3j2NhQ?Pf+C3gMKco2FPTbn(>E$~?Tvvkz
z<4DAQ60bUrc>r&CXt(GmjHS+D0r6>0@`+Wz9_%qbs750G8h$63VDUFB@!Ur|efOyk
z7^B7f^yF2oFQuVJEvsrG-gTckVSe{L(7DyPC39~6-32V~86Om|r$nQgZg^gkLWcR4tC@4d<)=02f%u--hVlV?S2tN#9>D^%g)xlC2a|K#=A
zk09}Zc(NB0@7Uh&ua_S!``WMjAV4^bLhCq+T2A*!57vI!0kAQJ=2E8Gvk=o(H`GgB!`4EyrUq^o5+3-vz~gV2L9(GmD1b^}8*4
zZM>y|kDjLKIF-JAHIOIaUmOtiZwKC_4*o~B@xM-nQL%>G!Wy`2IY_5n&>^Wlxk
z8*T5c+v7W_8R6uAFKsk`Q7+jLEZKFH>p=s5tQHTk2z}Uklng)x`8_*i
zmzE6VNd{7PT@9Hu>C9kOvp4RqHhADFDbuxhfIaR`U{G#LAf`pJw~@nCA4V
z?&vvci{7-glG4h-uU+C?0hczbUMmzT8C*z-&IcVLCGg{fya7mV0A?|3*~Q%8StImV
z(=?p29e3*(e)@Rl+}q?yX$L+TzH0}0lUT}Q*#kk&vd#`-(Q!AR)lqBHNLl}uqVE7d
z)Onws*9Dr*{1&oI>gaWBcc7kES_gi?*;R{GKJW03F{}UT{jZCmV#n^$LrWLo_7V8f
zFRvA1@yDZ&9Z!3Yi(SVEs5cPXTLegI?yl85?$?FgQ-<=36ISIK*HfbQ-1_2#-rhVz
z;2h8h`q%bt@Rm8S)AJo_;CUZZ$oo#{tkVIf3rPAF=S`J$D+b-F*}4mMkL}~G@1{ae
zTU)a8E8Lhl8m+w2%&s^ZAON-_9O-cuFdF{PfZ8Rqe$38?00{ea2zu$3lT3Qc*
zp(SjdeXBne^SgQ5+pfH@v7|?2*`GOf?%VN0*nv&L3(oGz(F#KI@X$P-eg^C#o}ie8
zETMfT^!g?hdS~r4s0VW9e7It1hQ|+VEw=bH=NzMz3tAkH2M7#=KDen2Zs&fh=MKEm
z2qVk2zU}J0YY%$Jk5iU7+xf$}RSUXLjc^`h=RJk22Hh7^e;fv8eb3ZWtUr}OVFmDB
zu)$ZI)JlsxL3}wWDST;s{FLuC?d|P3RMy#NZ8L6=)nU;?cj5SWOD``kK}B>rC3LOm
zlH2>h#X)2$JTBB6NI))hbV#^;-qi2(8rH~S_E_-?;;`nSuNSu15CD?P6Qkc{O-V+*
z7AurJ#ygyAExMca0DU%4sGz!l^|kW2EPoUS2hjTtZ{Om+CMUNuX!uw^YS3Y-hg@oJ
zSp;+1`C0X9@@JL4fj-sc(>+_IyJXOkyg|E9!XZV6xZV5X&xq3?YtaknO^wj_zcc6y
z-FusFB`H|Tqo>=Il?lNydJc0|+qzZj%v};5eQS-GhhAt2@~njc6j$al=#!>@3jZp
z88(gFAp0;roG;%M{H0GIi+&#@;DMR;t6gTz-1?1y5%$Yn>Qq!~dKBf$>+^PD2zh(~
zrS|J?`Y3cl?tEI{`#WM`e?F~TU+>5iRy|$DCm!W@;>&*!3am%QWiNMRWj|>^JhkS!
zl!6C?Z8CZ6GE}nKm9SA!vzn+UaUbX(it^Mcnf0m;Jm@B?L~p55odR;xgHSFtKH
zUW4?O*St=L@`U!5s9pqm=^>B!SX`KCPP5iii|XF5u_$?W|7@cBY+fX4m4EiQxB4rS
z!DHt`g^zWCgG}1TdD#M`Mr#Eh0K-egwB7#3HKBUzUIgPK$TO1Qm5IDwP1EFdxrC;m
zuslutF3fz!k;OY>>bw0ONI8d~`O4h=5t5$#K_e>&Y=q*KRMGUd(`X+oT{!S&gRz)87h~*cm*NjVjjRk?_De#UxCN>45IArp_W4#=SHu3S
zYg3$|O51IzUh)G|%ALc?o^&gCUrDRW-{+#@lx24$9YESRM?!Y9c7Ihf9T$>Ol{cMc
zMFs_^Gn-Xqp9sJHO~tEnx7k?!(JtpWAH-6K4OmW@g6%}NMlw1lI)xo1m@6tOMz5N&
z548%acz}@;j`zg+KU#p-)Z$c?rpDe!0Uckm#3s*m2l@s^Qd!fB-dP4+&xY@4FE8g%xWnVl#*`w=sYr=%w|`JUNeY>huw&!kf`Df;
zJ;UdPpSZeUGB+K|UW1BRjr@r{>pp&Hb5idh-JG%?2fqm!|CMGfg$teT7C{oj<1|A?
zvwi4G(Cn4UHOIWWM_PEGsjGmnP7s><=hX~3gAUhv-%(klngqN05Uuf|@}X~i#+9Az>f)iz$+vM7w(BhVNCBO*qW&9-a`9-w
zH?dFWz|aX#KhG`}iZS72Z{6qYPMO(iX)7OBJyD`
z?ho#Jv=gjZ8E;}|%eNUFj8LP>W9rG!T-fF1lzsPn-mATzxj>&_d_c|ZiRX`Ww*?QWOSUw>U5-)=DR>Q$%j!nBzX)Sy
zX+S(9FK~8dBf;ZN+w{GV?vpc=|1Bo=yE>jYO$eWW38ZSmrpctP3>^q0!wQj-^?L3d|@~a%7Ud!!;KiWsLt~!v_X`Pif
z7xvNa$CE0)UJeZ7YB*%!q94tPv1#Gg6W>@KXt6?&k4hKtEZX-@#9#jg^~yEn7PpH%
z4sosJ(YoWGMQ;b)J{n`hL?$w@HbBR@2GIDc~Ocrv26UMVI$mL~)VH
z^{0@2)@GYUSQuQQxCfgKk+v12V)6#0V(_zIe{$+AHgm)uE}4}4wa054dPvvPcfPAJ
z@+6Tj8hZB|<->LUrvmR4Rptf0%!r+bzw?Vbisz{aVv1QmmGn23ZKjpWp``reoQFfE
zg{_H#So>*?D5Ksx=cQ*DkECE=%L_E`tZ6KoFuXKeOSCZ2KDEkB4i-L|=zR|GPbv#^
zPh*HSF8163GCc)J&-D35kF$&DSEfem;=RkMtc0i_Wc5=wyin=@@pqlTu)KA(>|Z0E
z;un9+Nl_t{zdCP*523mvdXf{9FE{fyxn23#3}7C*jVf)ma^f6rfT7Q?yA@d9sW0wNLc@+7#x3vyWv?(%S`sIW)=1
z*F%gclE~JavCiU6@Ym-FYXU3Se84LrAK)ly
zQ94ywvXTft=e!$V4(M15mU}5HB?`ASgM+-!-+`R5tcDgDGSR;5=kOe9$*C-nbVx}al`>SN~U+VmllOOQm4|(FU&5h5ok@W94o}acR
zfT5z|izN%)KojC-_t(WbF)UG8cCw1i@PN!_XFT}ZK_n6`(WOo(QV0Jhs;y7AT^hpp
zluRS@_S)+BFWBdaBdnWSjv48_s4Px?xYGqu=I%Vv5fdow*gX3BmEeg}_{yls<>?}(
zQM0ixGzJh{EBUpw|9H{P@N~407%_0AnTXh3wP3Vl=9bAn2rM8De>G5r(eFOb=VAejI%MS|JM+NtH=TG|$
z3I!D_9eUz%jcdlUG@*99)tCrV)2$AcE~R@V_tjhlZ?aW2^N|zS#pduz(HW>j8zOuS
z$Dm%cd=T;}?OT^$15pJbU0feE^eVj&I6X3q6Ifs5()uG_222&xgd_AkCoZhEcCy4aiXPCHK&IymdsIY}xots;ang
zrUYxOMNPaY#&yKX&nudp<`ms7yN9(ge%ndOVf4Uz>D9~d5gk_Ybt2!_AfrpkInd;h
z!ExyoujvrYUr6Qgs}sJ(Ij=~dTsC=E)~ZJVLq_dZ
zbI7!*M0OT=u4safy;$gUTi3*p#4mT4@3N|iZ7(*X>c%lQ?)AAjn3Y)}z(3mZSN@;l?9zfoK=V~E+vHPs)>PmO5J3K4P<#p=Do
z(f_&Med#GR6`CDaDfQPkt{-rzT&*?DUs9=hPippISrn#;$t@sLv4@GszMZ`-V;Gb5
zhejeHM@EY@+I>kZ(=OiTznU>tB)_}&F4O0hGqiZI<9iInbW%VQE!AF`a~H>}*vr4c
z6TQ=qW_j1*$X{IM(_zs35`AnbW`5+ahp5{$uHlRK>t_y^ay)+y5S*Ch@cKk#{Gonx
zG&Xo?c42(I&~$eJ9a+$3tMc#|O2jQyeskJOM``Dt_NbAm>Ork#3n`txCO95Bvg<|A{un(BT&E_xvN|9O!ax
zG%Pg23_5YFaiRW&zWfn(Jt;1d8@t~&u?A2IX=!q3CDGgEhlGwuNX*SlsrdW5+4QJy
zacq(H!r3C5mL2C*Z?F7y(~R3vW{9klCx)kL-gd$lgX-}lV{VC0qlU;yI<~e57zEB@
z$+j<%f4#hXzG&}Qu&qp_91!kfVz3JyN&5OaA_U8Wt4COLxA10_B`H~Zw*7ma-`&Q1<-~x~2>UKd9zM8U^y1NP#E4Vkr%d77`wRpmLW`aAnqMRoJ%5R-
zNAGc3cZZe)#76p2K2rLm{;;8o@IN7db4+`le>ccnZJTo^BHk}s@J?aV9BVD>#}MlX
z!V5*w(G>hzBh}*QJ^MaN2)|gTEOEu}Krt-(zzCxUjL#EyuJ6sb8SLk+BFXRnBPOk{
z(2X$^xu^1?m5O-Wx>WiNE347Fu+7%;&8_kB!Cp(_^S>wkjja_#
zRatB5+L{VHHKk2EObCr)?#~uEm-|XQ<85BbF&X1td62xD?Ao86-fg@Mnw+?n@|C$M
zvP041w?-qJ`PL{Nt>8Nwl3#ETLO4Nkq?4^YGC9#gEWtAESwjEyIfI%6kA?%Pu)VR4
z*OIo}@@9kTXPhPjr3GwgO}<2kjwPNpV!eW9a}2fh5P!-gQy1wM2A1-CDjWH^`G%|s
z`igOPPD*y!_CV1{IvW{#?X+wl9&HM*uE~mL3HD^CB`-f?{@u=%Px+_kX>2kR?uHnw%)8+_|Q_Ah)BZ
zXUple9NN#1P%}5(lG~Yc6|h>(D#hjJ#Pm1~BR17=f9R94!kUVP%{clPtbJ+@qv{v`
z-!%4g0(_TF>NLDaO8%3lv4UcIQn`SX*5}qE$W9fiJZ}X>@TxmW{j*v{MMdBIK-=V`
z+ZFXTm{tUFppKO&Hjx1_kxU;OAyH8BncK{c=+D=PHo`laB1Bt>5^62|{-A%Bm16pK
z`8`!b+f}%UA@|CLyG&B}=U-o6MN^wh@CJzEJ^Mh;sSNv$d`$(zuzP!b+J52#m4(@=Vo2dWsB^cC+p5xL#QrS`b!!yh5H_G#S9P=;=K
z+_S3i{Ns1pKUqZkj!scMxHVq59+t6_p@i1J_u`QGtdL-&txx*7ILhO+r`x)rCFnaX
zM$zazf4t<~Q48=`jEr{4D4fRK!aHvBVIsC?V!9VUMEr_4tS}NJqG`IIht;kkn-#HS
zi$#4?TEP26zkmE`!^Fr{YTRy{Fly3a`i|AL82@w3b!}|}ewi12P~BUfoqK5uE(HbA
zYrNi(uu0D_Ut)equoicl(Gt#zCv_6G(QTF<9t!EQp@3N36x4Wn>bV9b8_r<
zx!B%dM~Cd&G^Xv(9)#X(fzS%{<#d=I))&ahOQoa*GjT0w2OOysWGjzNdJaLB-XXRx
zYF`k!RY5*YqT-pQRgubLv5{LF^F9P=_Dm$U1%J0)CEh8Mt)O@4pLTUb$(cDtu%(M{
z9RZmP{hha_AUt88=qjZf%e3S!G`rU
zq8#}qSbi{fewjdDiCa>L`YNws^#ZAs$@3;no7?d<$%_q51&aZC3#OgN_5ClI1Zg0n
zW}k%lH>F4BUdr*R|NN8@+WKnW3)ivYQPcd957Iy5$yd||;trWisT`9$E(&~eG%+51
zj|*f!?d1*iwukOEZDh#qZd3Xte8DfC9_l|)&Lq#w$k0B(Xw5Gfci>p8udio#*s(Q<
zKTO-Ht!~d8j4v?N@4>WlBj#Hg5DyU~rfoat_()n-@X{_)z&OvN3UPOGN>TU~S*hLP
zKH6NJ;OU=-d1hBZm$!UcD`Q&g@?BR=YY}rR@dEPi{Mb^x#m~trq|9IA_AYPWdA}Qu
z0OimmEEhXE)Ruqzh4NN&w1RKdY-d^aN0wiWg_QJ}006Uh`d9|Vz2z2c_{k`xV&74?
zXY^1@WA0!70R_Z`_c^{GK#`$)8EPkRmNpq_6NArUy_Nh4Kxtm3lXr$)&*T6A&oqVG
z2|4Wb6y;m4mo%%~dpyzMfaSG90n2+S_V=wsvmcy0hs4sBkldWqkI%$-?HASi!FF})ldKfk4Zt4U+C#-
z5XqqHa~9EG9<+t8*Yo@AOFu`{NtI`5DMTh0l*=`GOG5bb@omi;B%69&ttC}+s}qU)
z35AO&U%!8HIQqC$yB~SD>^xTTH-W#Y_D1l5H#)F8GQ@eOfJAn~pn6x=M0QNCY9(KI
z@cio@u^N}F!(x+}fWvx_GG>VZQtGZOQb2<_y?%>-y-H@S3TFGRSq~n}V(uZQE?@#*
z`})!d<$-&=n=5yB|C4dZ2~dKKGnzSYuC`m*H681Rvz)#gOOOm;Ed7&;!WN89TcMBO
zB>KlSO7clUeIZZ~)U5x~b^5BP4ye-pQ<)UXmT%bUinQQsz$E#vmv6OeG8wpiVdfmQx304PWP9_KnAZ`s(_&ou708WIN=8)1?_}X@=&n(@m
zH|aATc|cpE?u1Yet6s$l^E39*9!9bPNlkrnXQ{6sV+~&5Ie2+VCyiUSO}YFx;&hws
z*Q=vx8B9e68tbPl$!mDx{_*Ky?luEXLRyYr!jXhoplick=enb_y~+Ug1Qdux9x(gJ
zkKU@clp-AYn^T6RI_3Wq$6z4RJT7(Vraz8DnvoI=07Ud
zI*j^9@6shxQNdKx1&N?pXP1;ws6poXON;2neY3zX4Yrac@!(Ev-X*`c9~L&iZd@u<
ze!D@2q$~P*~jR^L|ii8tz7h6pPYw#C{L5H|5uB+&q3B0Xn
zrTn~XOBbSx5J1ni;VOCUN_u&Jcs_ASQ6$8s0^4vPFcI791AYREE7JT25-&Wh=gstF
ze#!Re%Eksee71o0=JDa8YWvCw$^l%q@(3G}4|;=(i7EbS>5O7oNo95o`)H5y?!lU;
z0VCs~m!srnk?nRKCgHA%>+#dI9_Jnt{BQpl$zz?cMGf!2p<~e{Vp}iNe5;>{yWQ6x
zlYW&;--d*W7)!h;*d*%*X4~k8`}~zD)yU80ySkp9Bf?9<4INCQMDt*qhh9TpRg3U9
zrv1Z30LuYz#kRnQyn5Y|{gK?;QS
z#_Cz0rKj7ET}+@PsHk!@8^{`sRHevoO9VI54Fpvi=$(S5{<7EkZadCsx#F$gy_PF(
zit~tbiS&ys->0Ii3UM9#y|#STVtu!RM)2fnRrONcJ~Z-W*yL8Gb6)MZ5Z3FxW2c1n
z;=FK1`mhH_B(U48^N&X7O5gSc$K{-TzcBN4$+~8D`5{~TuTO=XygQ5p9ZFDN
zo*<75Y;K#@w_P19stlIXt*r#+Ty+Hqy2Q&{Zrpb>NebOw++u&1Ffp=IdmLjtw2#(}
zGwZZi;9t*I$39t7J0qQ!#YX!V|NnVmcm#6w>yDuF$pR^gKA#9(+K*0p!U;ct5HMPf-W{UOHoB1740lY=Z{fIz`0J%63Ieu|F}Z+%13P?V6G^OkGk;CFJR7I2NVcs&^iiX$P*W
z1;vssn=n1u)MqgpO+KT~ysK?aLg0S2W2WBa4<}t}aR9NIbm~Az#kO|;rl+=1IZnSR
z=>m`J#XZgavgPQ&3zYPA)>|9Q?mxC#T0VV6>1K$ckTA~vNpbyV%b@%>fU0Po2~1**
zk>4w=5CyZWTKtd^L3r_{SRl^Iyt?Tqm~&Xm8_(l5;h+c~AAK!c+Wa>7l1`I+PX5J1>t)@B=-ExtPo+Y%B?`=~+*=DVdbYEEJ{U`M9ekkg3Og
z5(2GQMUZu=!LLj(vK&J95Mn6)k$}|Kk61nzwVEs)#SO2P*!ju1e+^OrQpZ
ztTqn~DPmw?;42LFq({*K1sCPccR06YsXugug8i*fjh?7a;FF?>K!KKzy2QfUF+pL(f_{2(^AU+5AE=uFDfw`
zU&j6Cw!jB-(d5kk@&CU*{m(jp4@Ks01v&rky)+sK{%2wTdyAarSgtm1y}Zr+pJn68
zTuQ0`|E>G~``n_{8FfjRz%!Guuz|6ON&oWl14M#JODUt(JWd6O0LEp)(e=MNQ<$~)
zAQB8RiunJK+lbspjod&OCbL;r_MP_}(Xo