From 7c1996b2d15dcad15df1847d811a8d00ad024b8e Mon Sep 17 00:00:00 2001
From: ChanTso <76807754+ChanTso@users.noreply.github.com>
Date: Sat, 12 Sep 2026 16:52:22 +0800
Subject: [PATCH 1/3] docs: unify public guides and simplify the product entry
point
---
CONTRIBUTING.md | 6 +-
README.md | 54 +++--
README.zh-CN.md | 56 +++--
docs/BUYER.md | 42 ++--
docs/RUNTIME.md | 111 ++++-----
docs/assets/cover.png | Bin 306903 -> 0 bytes
docs/assets/cover.svg | 6 -
docs/assets/logo.svg | 5 +
docs/demo-20260906/README.md | 34 +--
docs/demo-20260906/transport.md | 24 +-
docs/retail-fixture.md | 109 ++++-----
evals/README.md | 70 +++---
.../20260905T185513.918718Z/assessment.md | 57 ++---
.../20260905T204513.490639Z/assessment.md | 18 +-
.../20260905T210133.531635Z/assessment.md | 16 +-
.../20260905T210851.446894Z/assessment.md | 85 +++----
.../20260905T231113.095557Z/assessment.md | 73 +++---
evals/records/README.md | 41 ++--
evals/records/retail-v1-20260907/README.md | 218 +++++++++---------
evals/records/retail-v2-20260907/README.md | 92 ++++----
evals/retail/README.md | 50 ++--
evals/retail/acceptance-v1.md | 48 ++--
evals/retail/acceptance-v2.md | 18 +-
web/README.md | 24 +-
24 files changed, 653 insertions(+), 604 deletions(-)
delete mode 100644 docs/assets/cover.png
delete mode 100644 docs/assets/cover.svg
create mode 100644 docs/assets/logo.svg
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 1a95ed3..3008ede 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -11,7 +11,7 @@ uv sync --frozen
npm --prefix web ci
```
-The [runtime guide](docs/RUNTIME.md#本地运行) covers the sibling CityBuddy checkout, Java 21, Docker Compose, and local service configuration. Native prerequisites and build commands are in the [Android](android/README.md) and [iOS](ios/README.md) guides. The [product site](site/README.md) can be previewed independently.
+The [runtime guide](docs/RUNTIME.md#run-locally) covers the sibling CityBuddy checkout, Java 21, Docker Compose, and local service configuration. Native prerequisites and build commands are in the [Android](android/README.md) and [iOS](ios/README.md) guides. The [product site](site/README.md) can be previewed independently.
## Check your changes
@@ -19,7 +19,7 @@ Run checks for the areas you change:
| Area | Checks |
|---|---|
-| Python host | `uv run ruff check src tests scripts integration_tests`, `uv run ruff format --check src tests scripts integration_tests`, and the application/runtime pytest suite in the [runtime guide](docs/RUNTIME.md#检查与历史记录) |
+| Python host | `uv run ruff check src tests scripts integration_tests`, `uv run ruff format --check src tests scripts integration_tests`, and the application/runtime pytest suite in the [runtime guide](docs/RUNTIME.md#checks-and-historical-records) |
| Merchant Web | `npm --prefix web run typecheck`, `npm --prefix web test`, `npm --prefix web run build` |
| Android / shared Kotlin | `cd android && ./gradlew --no-daemon :shared:jvmTest :app:assembleDebug :app:testDebugUnitTest :app:lintDebug` |
| iOS | Follow the [build and Simulator test commands](ios/README.md) for the affected behavior; the CI build-for-testing step builds test bundles but does not run them |
@@ -27,7 +27,7 @@ Run checks for the areas you change:
[GitHub Actions](.github/workflows/ci.yml) runs the Python, Web, Android, and Apple build checks on pull requests. Preserve existing tests; add regression coverage when a behavior change needs it.
-Real Java/database integration tests and real-model evaluations are separate from the checks above. `uv run pytest integration_tests -q` changes demo business data: use the [fixture reset and serial-run instructions](docs/RUNTIME.md#检查与历史记录). Read a recorded evaluation's setup before running it; model calls use the configured provider and may incur cost.
+Real Java/database integration tests and real-model evaluations are separate from the checks above. `uv run pytest integration_tests -q` changes demo business data: use the [fixture reset and serial-run instructions](docs/RUNTIME.md#checks-and-historical-records). Read a recorded evaluation's setup before running it; model calls use the configured provider and may incur cost.
## Submit a pull request
diff --git a/README.md b/README.md
index a4870bd..b677c88 100644
--- a/README.md
+++ b/README.md
@@ -1,14 +1,25 @@
-[](https://chantso.github.io/shopmate/)
+
+
+ 
+
+
-# ShopMate
+ShopMate
-**English** · [简体中文](README.zh-CN.md)
+
+ Explore the product ↗
+
+
+Native shopping apps and commerce agents. From choosing to confirming to acting.
-[](https://github.com/ChanTso/shopmate/actions/workflows/ci.yml)
+
+ 
+ 
+
-**Native shopping apps and commerce agents. A continuous path from choosing to confirming to acting.**
+**English** · [简体中文](README.zh-CN.md)
-**[Explore the product ↗](https://chantso.github.io/shopmate/)** · [Android](android/README.md) · [iOS](ios/README.md) · [Run locally](docs/RUNTIME.md#本地运行) · [Retail evaluation](evals/records/retail-v2-20260907/README.md) · [Contributing](CONTRIBUTING.md)
+[Android](android/README.md) · [iOS](ios/README.md) · [Run locally](docs/RUNTIME.md#run-locally) · [Retail evaluation](evals/records/retail-v2-20260907/README.md) · [Contributing](CONTRIBUTING.md)
Android / iOS buyer apps and a React merchant workspace for one retail brand. Shoppers describe what they need, compare products, and confirm transactions. Operators turn business data into proposals, review changes, and approve execution. [CityBuddy](https://github.com/ChanTso/citybuddy) provides the transaction and identity backend.
@@ -33,19 +44,28 @@ The product site presents native application footage and interaction demonstrati
## System boundaries
```mermaid
-flowchart LR
- App[Android / iOS] --> Host[ShopMate API]
+flowchart TB
+ App[Android / iOS] --> Host[ShopMate API and agents]
Web[React merchant workspace] --> Host
- Host --> Agents[Buyer / Merchant agents]
- Agents --> Analysis[Read-only SQL / Python sandbox]
+ App -->|Flash-sale reservations and status| Commerce[CityBuddy Commerce]
+ Host -->|Login and scoped delegation| Auth[CityBuddy Auth]
+ Host -->|Scoped tools and user actions| Commerce
Host --> State[(SQLite: conversations and recovery)]
- Host -->|Scoped tools / user confirmation| Java[CityBuddy: Auth / Commerce]
- App -->|Flash sales| Java
- Java --> DB[(MySQL: business state)]
- Analysis -->|Read-only business views| DB
+ Auth --> DB[(MySQL: identity and transactions)]
+ Commerce --> DB
+```
+
+Merchant analysis uses a separate data path. The host queries reporting views with a read-only account, then passes complete, bounded tables to the network-isolated Python container.
+
+```mermaid
+flowchart LR
+ SQL[Host SQL analysis] -->|SELECT-only| Views[(MySQL reporting views)]
+ SQL -->|Complete table and code| Python[Python container: no network]
```
-ShopMate currently runs as a single-instance host. SQLite with WAL stores conversations, intents, and preferences; MySQL stores identities, products, orders, and transaction receipts. See the [runtime guide](docs/RUNTIME.md#身份对话与持久状态) for ownership and deployment constraints.
+The Python container has no database connection or credentials. Identity, conversation ownership, and business authorization remain enforced by their owning services.
+
+ShopMate currently runs as a single-instance host. SQLite with WAL stores conversations, intents, and preferences; MySQL stores identities, products, orders, and transaction receipts. See the [runtime guide](docs/RUNTIME.md#identity-conversations-and-persistent-state) for ownership and deployment constraints.
## Validation and results
@@ -59,7 +79,7 @@ The [retail evaluation](evals/records/retail-v2-20260907/README.md) records **18
## Run locally
-Prerequisites: a sibling CityBuddy checkout, Java 21, Python 3.11+, Node.js 24, uv, and Docker Compose. Complete the [initial backend setup](docs/RUNTIME.md#本地运行), then run:
+Prerequisites: a sibling CityBuddy checkout, Java 21, Python 3.11+, Node.js 24, uv, and Docker Compose. Complete the [initial backend setup](docs/RUNTIME.md#run-locally), then run:
```sh
uv sync --frozen
@@ -80,6 +100,6 @@ Open the merchant workspace at **http://127.0.0.1:8101/**. Build the buyer apps
| [`integration_tests/`](integration_tests/) · [`evals/`](evals/) | Business-boundary tests and real-model evaluations |
| [`site/`](site/) | Independently built GitHub Pages product site |
-ShopMate reuses the retail cores and Messages runtime from [commerce-agents](vendor/commerce-agents/README.md), adding native clients, business tools, identity, persistent state, and transaction integration. Upstream [Apache-2.0 licensing](vendor/commerce-agents/LICENSE) and [image credits](web/public/products/IMAGE-CREDITS.md) are preserved. The cover uses the [same native demo footage as the product site](site/README.md).
+ShopMate reuses the retail cores and Messages runtime from [commerce-agents](vendor/commerce-agents/README.md), adding native clients, business tools, identity, persistent state, and transaction integration. Upstream [Apache-2.0 licensing](vendor/commerce-agents/LICENSE) and [image credits](web/public/products/IMAGE-CREDITS.md) are preserved. The [product site notes](site/README.md) describe how its native footage and interaction demonstrations were made.
[Contributing](CONTRIBUTING.md) · [Apache-2.0 license](LICENSE)
diff --git a/README.zh-CN.md b/README.zh-CN.md
index c8b1a6c..56bb2ac 100644
--- a/README.zh-CN.md
+++ b/README.zh-CN.md
@@ -1,14 +1,25 @@
-[](https://chantso.github.io/shopmate/)
+
+
+
+
+
-# ShopMate
+ShopMate
-[English](README.md) · **简体中文**
+
+ Explore the product ↗
+
+
+原生购物客户端与经营 Agent，让选择、确认与执行成为连续的体验。
-[](https://github.com/ChanTso/shopmate/actions/workflows/ci.yml)
+
+
+
+
-**原生购物客户端 × 经营 Agent，让选择、确认与执行成为连续的体验。**
+[English](README.md) · **简体中文**
-**[浏览产品官网 ↗](https://chantso.github.io/shopmate/)** · [Android](android/README.md) · [iOS](ios/README.md) · [本地运行](docs/RUNTIME.md#本地运行) · [业务验收](evals/records/retail-v2-20260907/README.md) · [贡献指南](CONTRIBUTING.md)
+[Android](android/README.md) · [iOS](ios/README.md) · [本地运行](docs/RUNTIME.md#run-locally) · [业务验收](evals/records/retail-v2-20260907/README.md) · [贡献指南](CONTRIBUTING.md)
面向同一零售品牌的 Android / iOS 买家 App 与 React 商家工作台。买家说出需求、比较商品、确认交易；运营人员从经营数据出发，准备方案、核对变更并批准执行。[CityBuddy](https://github.com/ChanTso/citybuddy) 提供实际交易与身份后端。
@@ -33,19 +44,28 @@
## 系统边界
```mermaid
-flowchart LR
- App[Android / iOS] --> Host[ShopMate API]
+flowchart TB
+ App[Android / iOS] --> Host[ShopMate API 与 Agent]
Web[React 商家工作台] --> Host
- Host --> Agents[买家 / 经营 Agent]
- Agents --> Analysis[只读 SQL / Python 沙箱]
- Host --> State[(SQLite · 对话与恢复)]
- Host -->|受限工具 / 人工确认| Java[CityBuddy · Auth / Commerce]
- App -->|秒杀| Java
- Java --> DB[(MySQL · 业务状态)]
- Analysis -->|只读经营视图| DB
+ App -->|秒杀预约与状态查询| Commerce[CityBuddy Commerce]
+ Host -->|登录与受限委托交换| Auth[CityBuddy Auth]
+ Host -->|受限工具与用户操作| Commerce
+ Host --> State[(SQLite: 对话与恢复)]
+ Auth --> DB[(MySQL: 身份与交易)]
+ Commerce --> DB
+```
+
+经营分析有单独的数据通路：宿主以只读账号查询视图，再把完整、有界的数据表交给无网络 Python 容器。
+
+```mermaid
+flowchart LR
+ SQL[宿主 SQL 分析] -->|SELECT-only| Views[(MySQL 经营视图)]
+ SQL -->|完整数据表与代码| Python[Python 容器: 无网络]
```
-ShopMate 当前为单实例宿主，SQLite 使用 WAL 保存对话、意图和偏好；MySQL 保存身份、商品、订单和交易回执。两者职责与运行约束见[工程指南](docs/RUNTIME.md#身份对话与持久状态)。
+Python 容器没有数据库连接或凭证；账户、对话归属与业务授权仍由各自服务校验。
+
+ShopMate 当前为单实例宿主，SQLite 使用 WAL 保存对话、意图和偏好；MySQL 保存身份、商品、订单和交易回执。两者职责与运行约束见[工程指南](docs/RUNTIME.md#identity-conversations-and-persistent-state)。
## 验证与结果
@@ -57,7 +77,7 @@ ShopMate 当前为单实例宿主，SQLite 使用 WAL 保存对话、意图和
## 本地运行
-需要同级 CityBuddy 仓库、Java 21、Python 3.11+、Node.js 24、uv 与 Docker Compose。完成[首次后端准备](docs/RUNTIME.md#本地运行)后：
+需要同级 CityBuddy 仓库、Java 21、Python 3.11+、Node.js 24、uv 与 Docker Compose。完成[首次后端准备](docs/RUNTIME.md#run-locally)后：
```sh
uv sync --frozen
@@ -78,6 +98,6 @@ uv run uvicorn shopmate.app:create_app --factory --host 127.0.0.1 --port 8101
| [`integration_tests/`](integration_tests/) · [`evals/`](evals/) | 业务边界测试与真实模型验收 |
| [`site/`](site/) | 独立构建的 GitHub Pages 产品官网 |
-复用 [commerce-agents](vendor/commerce-agents/README.md) 的零售核心与 Messages 运行时，扩展原生客户端、业务工具、身份、持久状态与实际交易接入。保留上游 [Apache-2.0 许可](vendor/commerce-agents/LICENSE)及[图片来源](web/public/products/IMAGE-CREDITS.md)；封面使用[官网中相同的原生演示画面](site/README.md)。
+复用 [commerce-agents](vendor/commerce-agents/README.md) 的零售核心与 Messages 运行时，扩展原生客户端、业务工具、身份、持久状态与实际交易接入。保留上游 [Apache-2.0 许可](vendor/commerce-agents/LICENSE)及[图片来源](web/public/products/IMAGE-CREDITS.md)；[官网说明](site/README.md)记录了原生画面与交互演示的制作方式。
[贡献指南](CONTRIBUTING.md) · [Apache-2.0 许可](LICENSE)
diff --git a/docs/BUYER.md b/docs/BUYER.md
index b69e0a0..487dac3 100644
--- a/docs/BUYER.md
+++ b/docs/BUYER.md
@@ -1,37 +1,39 @@
-# 买家 Android App
+# Buyer Android app
-买家正式入口为原生 Kotlin/Jetpack Compose App；商家使用 React/Vite Web。它们是同一家官方商店的顾客和员工入口，共用 ShopMate API，交易与身份由 CityBuddy 提供。旧 `/buyer` 浏览器页面已经退役。
+The buyer entry point is a native Kotlin/Jetpack Compose app; merchants use the React/Vite Web app. These are the customer and staff interfaces for the same official store. They share the ShopMate API, with transactions and identity provided by CityBuddy. The old `/buyer` browser page has been retired.
-## 启动与登录
+## Start and sign in
-按[项目 README](../README.md#本地运行)启动服务，再按 [Android 构建说明](../android/README.md)安装 App。Android 模拟器连接 `http://10.0.2.2:8101`；登录页面可以设置 API 地址。
+Start the services using the [runtime guide](RUNTIME.md#run-locally), then install the app using the [Android build instructions](../android/README.md). The Android emulator connects to `http://10.0.2.2:8101`; the sign-in screen allows the API address to be configured.
-| 演示账号 | 本地密码文件 |
+| Demo account | Local password file |
| --- | --- |
| `shopmate-retail-buyer` | `.run/buyer_1_password` |
| `shopmate-retail-buyer-2` | `.run/buyer_2_password` |
-登录后即可购物，不必创建对话。首次发送消息时才创建买家对话。手机只保存以 Keystore 加密的令牌、当前对话标识和按服务地址/主体隔离的待恢复请求；密码、模型凭证不进入手机存储。
+Shopping is available after sign-in without creating a conversation. The first message creates the buyer conversation. The phone stores only the Keystore-encrypted token, current conversation identifier, and pending recovery requests scoped by service address and subject; passwords and model credentials are not stored on the phone.
-## 建议体验顺序
+## Suggested walkthrough
-1. 浏览首页和分类，搜索商品、打开详情并选择具体规格。现有目录为 ACME 演示商品，名称主要为英文；用途、预算和搭配需求可用中文问助手。
-2. 问“帮我比较两款咖啡机”，查看流式工具进度和比较卡；也可按预算规划组合、读取政策或咨询履约。推荐与描述中的价格不作为付款报价。
-3. 把在售 SKU 加入购物车，调整数量，核对版本、库存和整数分报价，再明确确认创建订单。报价变化需要重新读取并确认。
-4. 在结账记录中确认模拟付款。订单、付款、履约分别呈现，不从付款成功推断已发货。
-5. 在本人订单或助手准备的退款卡中核对金额与有效期，再确认提交退款申请。`REQUESTED` 表示申请受理，不表示到账。
-6. 从“我的”查看资料、记忆和操作记录；记忆支持纠正、单条忘记和明确确认后全部清除。清除记忆不删除订单或购物车。
+The quoted Chinese prompt and UI labels below are retained verbatim from the demo.
-配送估算按实际 SKU 数量读取，独立展示币种、费用和时间。当前商品付款不收配送费，不将咨询估算描述成已购买的配送服务。
+1. Browse the home page and categories, search for products, open details, and select a specific variant. The ACME demo catalog primarily uses English names; the assistant also accepts Chinese questions about uses, budgets, and combinations.
+2. Ask “帮我比较两款咖啡机” and inspect streaming tool progress and the comparison card. You can also plan a bundle within a budget, read policies, or ask about fulfillment. Prices in recommendations and descriptions are not payment quotes.
+3. Add available SKUs to the cart, adjust quantities, review the version, stock, and quote in integer minor units, then explicitly confirm order creation. A changed quote must be read and confirmed again.
+4. Confirm simulated payment from the checkout record. Order, payment, and fulfillment states are displayed separately; successful payment does not imply shipment.
+5. Review the amount and expiry in your own order or an assistant-prepared refund card, then confirm the refund request. `REQUESTED` means the request was accepted, not that funds arrived.
+6. Open “我的” to view your profile, memory, and operation history. Memory supports corrections, forgetting individual entries, and clearing all entries after explicit confirmation. Clearing memory does not delete orders or the cart.
-## 中断和恢复
+Delivery estimates use actual SKU quantities and separately display currency, cost, and timing. Product payments currently do not charge delivery fees; a consultation estimate is not a purchased delivery service.
-界面重建时 ViewModel 保留当前任务；宽窗口可同时展示购物和助手，窄窗口使用独立助手页。停止生成会取消 HTTP 流，不撤销已经提交的购物车、订单或退款申请。进程重启从服务端读取已保存的对话，不假定后台持续生成。
+## Interruption and recovery
-幂等写入先在手机保存原 key 和请求体。如果未收到结果，操作记录保留“待核对”；恢复先查询原回执，用户确认继续后才重试原意图，不更换 key。付款沿原 checkout，退款确认沿原 pending action 回放。聊天切换不改变命令归属。
+The ViewModel retains the current task across view reconstruction. Wide windows can show shopping and the assistant together; narrow windows use a separate assistant page. Stopping generation cancels the HTTP stream without undoing committed cart changes, orders, or refund requests. After a process restart, saved conversations are read from the server; continued background generation is not assumed.
-## 数据边界
+Before an idempotent write, the phone saves the original key and request body. If the response is missing, the operation remains marked “待核对” (verbatim UI label: pending verification). Recovery first queries the original receipt; only after the user confirms continuation does it retry the original intent with the same key. Payment follows the original checkout, and refund confirmation replays the original pending action. Switching chats does not change command ownership.
-订单、价格、库存、付款与审批的权威来源是 Java/MySQL。ShopMate SQLite 保存单实例的对话、记忆、运行状态和恢复记录，不承担秒杀订单库职责。两个买家及商家身份的对话、命令和记忆相互隔离。
+## Data boundaries
-后端历史吞吐不代表手机帧率、并发 Agent 容量或生产用户规模。Android 的构建、设备测试与实际交互记录独立于历史模型质量评测。
+Java/MySQL is authoritative for orders, prices, stock, payment, and approvals. ShopMate SQLite stores single-instance conversations, memory, runtime state, and recovery records; it is not the seckill order database. Conversations, commands, and memory are isolated between both buyers and the merchant identity.
+
+Historical backend throughput does not establish phone frame rates, concurrent agent capacity, or production user scale. Android builds, device tests, and interaction records are separate from historical model-quality evaluations.
diff --git a/docs/RUNTIME.md b/docs/RUNTIME.md
index a0180bb..9d05502 100644
--- a/docs/RUNTIME.md
+++ b/docs/RUNTIME.md
@@ -1,56 +1,58 @@
-# 运行与工程指南
+# Runtime and engineering guide
-[返回项目首页](../README.md)。以下命令均从所注明的仓库根目录运行。
+[Back to the project overview](../README.md). Run each command from the repository root indicated below.
-面向单一零售品牌官方商店的应用与 Agent 工作台。CityBuddy 提供同一家店的交易与身份后端；ShopMate 负责买家与操作员的应用入口、Agent 和对话。一个商品目录、一支运营团队、多位顾客，不包含多商户入驻。商家端支持经营分析、商品与库存、订单问题和审批执行；买家端支持推荐与比较、购物车、本人订单及由用户确认的结账、模拟付款和退款申请。
+An application and agent workspace for one retail brand's official store. CityBuddy provides the store's transaction and identity backend; ShopMate provides buyer and operator interfaces, agents, and conversations. The scope is one catalog, one operations team, and multiple customers, without multi-merchant onboarding. Merchants can analyze performance, manage products and stock, investigate order issues, and approve changes. Buyers can get recommendations and comparisons, manage their cart and own orders, and explicitly confirm checkout, simulated payment, and refund requests.
-项目复用 [commerce-agents](../vendor/commerce-agents/README.md) 的商家与购物核心、Messages 运行时和零售页面组件；业务工具、身份、持久会话及实际写入接入 CityBuddy。原 [Apache-2.0 许可证](../vendor/commerce-agents/LICENSE)、版权声明和[图片来源](../web/public/products/IMAGE-CREDITS.md)保留。
+The project reuses [commerce-agents](../vendor/commerce-agents/README.md)' merchant and shopping cores, Messages runtime, and retail UI components. Business tools, identity, persistent conversations, and actual writes connect to CityBuddy. The original [Apache-2.0 license](../vendor/commerce-agents/LICENSE), copyright notices, and [image credits](../web/public/products/IMAGE-CREDITS.md) are preserved.
-## 产品展示
+## Product showcase
-[静态产品官网](../site/README.md)位于 `site/`，与商家 React 工作台 `web/` 分开。官网使用实际客户端画面与滚动交互，不依赖在线模型或交易服务；完整业务演示在本地运行。Android 与 SwiftUI 买家客户端共享 KMP 协议与恢复核心，构建说明分别见 `android/README.md`、`ios/README.md`。
+The [static product site](../site/README.md) lives in `site/`, separately from the merchant React workspace in `web/`. It uses real client images and scrolling interactions without requiring an online model or transaction service; the complete business demo runs locally. Android and SwiftUI buyer clients share a KMP protocol and recovery core. See `android/README.md` and `ios/README.md` for their build instructions.
-## 当前能力
+## Current capabilities
-- **经营分析**：主 Agent 组织查询与追问，复杂计算交给分析子 Agent；它通过受限 SQL 取数，也可在独立 Python 容器内计算完整查询结果。成交额来自成功付款的历史订单，流量和广告归因有独立的观察期间与来源；缺失数据不填零。
-- **经营首页与订单**：四项核心指标、可切换日趋势和三类待办使用同一报告口径；近期订单读取当前全店标准单与秒杀单，不受历史报告截止限制。按 SKU 子单展示成交时的金额，订单、付款、退款和履约状态分别保留。
-- **商品与运营**：服务端分页浏览商品系列和单品，详情展开真实 SKU、规格、当前价格、库存、内容和成本观察；库存预警及订单问题提供对应分析入口。
-- **五类草案**：支持 `LISTING_UPDATE`、`PRICE_UPDATE`、`INVENTORY_ACTION`、`PROMOTION`、`CAMPAIGN`。涉及商品的操作展开后至多 25 个 SKU；卡片分别显示金额、数量、开关和文字差异。
-- **操作员审批**：模型可读取、建案和取消未执行方案，不能批准。批准按钮使用登录操作员的直接身份；Java 核对快照、版本和业务条件，在同一事务内保存实际变更、草案回执及适用的商品 Outbox。冲突整批拒绝，重复批准返回原结果。
-- **恢复与停止**：会话和草案引用保存在 SQLite，业务终态以 Java 为准。刷新后重新登录可恢复记录；“停止生成”中断当前请求，不撤销已保存的草案或已执行的变更。审批结果独立保存在业务回执中，模型生成不阻止普通购物与操作员审批；真实版本冲突和未知写入仍需核对。
+- **Business analysis:** the main agent organizes queries and follow-ups; an analysis subagent handles complex calculations through restricted SQL and an independent Python container that receives complete query results. Revenue uses successfully paid historical orders. Traffic and advertising attribution have their own observation periods and sources; missing data is not filled with zero.
+- **Merchant overview and orders:** four core metrics, selectable daily trends, and three task categories share the same reporting definitions. Recent orders read current standard and seckill orders across the store, independently of the historical report cutoff. Amounts reflect the original sale at SKU suborder level; order, payment, refund, and fulfillment states remain separate.
+- **Products and operations:** server-side pagination covers product families and individual items. Details expose real SKUs, variants, current prices, stock, content, and cost observations; inventory alerts and order issues lead to relevant analysis.
+- **Five draft types:** `LISTING_UPDATE`, `PRICE_UPDATE`, `INVENTORY_ACTION`, `PROMOTION`, and `CAMPAIGN`. Product operations expand to at most 25 SKUs. Cards distinguish changes to amounts, quantities, switches, and text.
+- **Operator approval:** the model can read, propose, and cancel unexecuted plans, but cannot approve them. Approval uses the signed-in operator's direct identity. Java checks snapshots, versions, and business conditions, then atomically saves the change, draft receipt, and applicable product Outbox events. A conflict rejects the entire batch; repeated approval returns the original result.
+- **Recovery and stopping:** SQLite stores conversations and draft references; Java remains authoritative for business outcomes. Refreshing and signing in again restores records. “停止生成” (verbatim UI label: stop generation) interrupts the request without undoing saved drafts or applied changes. Approval results remain in business receipts. Model generation does not block ordinary shopping or operator approval; actual version conflicts and uncertain writes still require verification.
-促销批准会立即修改商品实际售价，**经营窗口结束后不会自动恢复价格**。开始前批准返回 `promotion_not_started` 并保留待批准状态；过期未执行方案被拒绝。营销活动创建或更新的是本站计划、受众、文案和预算，不代表向外部广告平台投放，也不改写既有支出或收入观察。
+Approving a promotion immediately changes the actual sale price; **the price does not automatically revert when the promotion window ends**. Approval before the window returns `promotion_not_started` and leaves the draft pending; an expired, unexecuted plan is rejected. Campaigns create or update local plans, audiences, copy, and budgets. They do not publish to external advertising platforms or overwrite existing spend or revenue observations.
```mermaid
flowchart LR
- Buyer[买家购物助手] --> Host[ShopMate API / 身份隔离的会话与记忆]
- Merchant[商家经营工作台] --> Host
- Host --> Shopping[购物 Agent]
- Host --> Trading[经营 Agent]
- Trading --> Analysis[只读 SQL 分析子 Agent]
- Analysis --> Views[受限经营视图]
- Analysis --> Sandbox[独立 Python 沙箱]
- Shopping -->|买家 OBO / 工具权限| Java[CityBuddy 业务接口]
- Trading -->|商家 OBO / 工具权限| Java
- Host -->|用户确认 / 操作员批准| Java
- Java --> Transaction[身份与版本校验 / 交易 / 回执 / Outbox]
+ Buyer[Buyer shopping assistant] --> Host[ShopMate API / identity-scoped conversations and memory]
+ Merchant[Merchant workspace] --> Host
+ Host --> Shopping[Shopping agent]
+ Host --> Trading[Merchant agent]
+ Trading --> Analysis[Read-only SQL analysis subagent]
+ Analysis --> Views[Restricted business views]
+ Analysis --> Sandbox[Independent Python sandbox]
+ Shopping -->|Buyer OBO / tool scopes| Java[CityBuddy business APIs]
+ Trading -->|Merchant OBO / tool scopes| Java
+ Host -->|User confirmation / operator approval| Java
+ Java --> Transaction[Identity and version checks / transactions / receipts / Outbox]
```
-商家入口为 React/Vite Web `/`，买家入口为 [Kotlin/Compose Android App](../android/README.md)；买家登录、人工确认、停止恢复与记忆管理见[买家使用说明](../docs/BUYER.md)。旧 `/buyer` Web 页面已退役；旧客服入口与重复模型循环已撤下，Java 的授权、退款确认及回执机制继续复用。两个角色都可调用有来源的网页搜索；经营分析可调用独立 Python 沙箱。[完整零售验收](../evals/records/retail-v1-20260907/README.md)记录真实业务任务、页面操作、记忆、并发与中断恢复；业务成绩和边界检查分别报告。
+The merchant entry point is React/Vite Web at `/`; the buyer entry point is the [Kotlin/Compose Android app](../android/README.md). See the [buyer guide](BUYER.md) for sign-in, explicit confirmation, stopping, recovery, and memory management. The old `/buyer` page, support-agent entry point, and duplicate model loop have been retired; Java authorization, refund confirmation, and receipt mechanisms remain in use. Both roles can use web search with sources; business analysis can use an independent Python sandbox. The [complete retail acceptance record](../evals/records/retail-v1-20260907/README.md) covers real tasks, UI interactions, memory, concurrency, and interruption recovery, reporting business outcomes separately from boundary checks.
-## 身份、对话与持久状态
+
+## Identity, conversations, and persistent state
-普通购物和经营接口只要求对应角色的 `Authorization: Bearer`，不要求聊天 ID。服务端按主体和角色保存内部授权绑定，再按 Java 端点交换精确 scope 的 OBO；部分 UI 购物操作也走此受限代理。模型没有付款、退款确认或操作员批准工具。
+Ordinary shopping and merchant APIs require the appropriate role's `Authorization: Bearer`, without a chat ID. The server stores internal authorization bindings by subject and role, then exchanges an OBO token with the exact scope required by each Java endpoint; some shopping UI operations use this restricted proxy too. The model has no payment, refund-confirmation, or operator-approval tool.
-聊天通过 `POST /api/{buyer|merchant}/conversations` 创建，列表和恢复分别使用 `GET /conversations`、`GET /conversations/{id}`，流式调用为 `POST /conversations/{id}/chat`。原 `/session`、`/sessions`、`/chat` 保留为历史协议兼容接口，正式客户端不使用它们。命令与结账/退款记录按主体读取，旧操作保留原 key、请求体和授权绑定，换聊天不会变成新的业务意图。
+Create chat through `POST /api/{buyer|merchant}/conversations`, list and restore through `GET /conversations` and `GET /conversations/{id}`, and stream through `POST /conversations/{id}/chat`. The old `/session`, `/sessions`, and `/chat` routes remain for historical protocol compatibility; official clients do not use them. Commands and checkout/refund records are read by subject. Existing operations retain their original key, body, and authorization binding; changing chats does not create a new business intent.
-当前为单进程、单实例 Python 服务；SQLite 存储对话、意图、恢复记录和记忆，使用 WAL，必须保存在持久目录，不能随容器重建丢弃。`state_path` 可配置，夹具重置先用 SQLite backup 保存原库；Java/MySQL 是交易权威来源。不得直接以多个 Uvicorn workers 扩容。默认最多 8 个活跃聊天任务、每用户 2 个，同一对话串行；超额返回 429，普通业务请求不占模型任务名额。这些是任务上限配置，不是容量测量。
+The Python service currently runs as one process and one instance. SQLite with WAL stores conversations, intents, recovery records, and memory in a persistent directory that must survive container replacement. `state_path` is configurable; fixture reset backs up the database through SQLite backup first. Java/MySQL is authoritative for transactions. Do not scale by simply adding Uvicorn workers. Defaults allow at most 8 active chat tasks and 2 per user, with one task per conversation; excess requests receive 429. Ordinary business requests do not consume model-task slots. These are configured limits, not measured capacity.
-## 本地运行
+
+## Run locally
-需要同级 [CityBuddy](https://github.com/ChanTso/citybuddy) 仓库、Java 21、Python 3.11+、Node.js 24、uv 和 Docker Compose。CityBuddy 至少包含 [PR #159](https://github.com/ChanTso/citybuddy/pull/159)（`2eb42634f082c0ddf93639f902db38009381d337`），提供零售/营销迁移、商家操作、全店近期订单读取和 FAQ 发布 CLI。
+Prerequisites are a sibling [CityBuddy](https://github.com/ChanTso/citybuddy) checkout, Java 21, Python 3.11+, Node.js 24, uv, and Docker Compose. CityBuddy must include at least [PR #159](https://github.com/ChanTso/citybuddy/pull/159) (`2eb42634f082c0ddf93639f902db38009381d337`), which supplies retail/campaign migrations, merchant operations, store-wide recent orders, and the FAQ publication CLI.
-首次准备 Java 服务：
+Initial Java service setup:
```sh
cd ../citybuddy
@@ -65,37 +67,38 @@ npm --prefix web run build
uv run uvicorn shopmate.app:create_app --factory --host 127.0.0.1 --port 8101
```
-`up` 要求 ShopMate API 已停止；首次初始化统一零售夹具，已有该版本数据时保留当前业务变更。构建后由 Python 同源提供商家 Web，访问 `http://127.0.0.1:8101/`，不需要另起 Next/Node 服务。开发 Web 时另开终端 `npm --prefix web run dev`，3100 端口将 API 请求代理到 8101。
+`up` requires the ShopMate API to be stopped. It initializes the unified retail fixture on first use and preserves business changes when that data version already exists. After the build, Python serves the merchant Web app from `http://127.0.0.1:8101/`; no separate Next/Node service is needed. For Web development, run `npm --prefix web run dev` in another terminal; port 3100 proxies API requests to 8101.
-操作员账号为 `shopmate-fixture-operator`，本地生成密码保存在忽略的 `.run/operator_password`。Bearer 只保留在页面内存，刷新后重新登录。Android 构建与安装见 [android/README.md](../android/README.md)，模拟器连接 `http://10.0.2.2:8101`。
+The operator account is `shopmate-fixture-operator`; its locally generated password is in ignored `.run/operator_password`. Bearer tokens stay in page memory, so refreshing requires sign-in again. See [android/README.md](../android/README.md) for Android build and installation; the emulator connects to `http://10.0.2.2:8101`.
-启动脚本使用独立的 `shopmate` Compose project 和数据卷，不重置 CityBuddy 默认演示库。Auth/Commerce 使用 9081/9082，ShopMate API/Web 使用 8101。停止 API 后运行 `python3 scripts/local_runtime.py stop` 停止本项目 Java 与数据服务、保留卷。对话数据库必须保留在 `.run` 或另一个持久目录中。
+The launcher uses the separate `shopmate` Compose project and volumes without resetting CityBuddy's default demo database. Auth/Commerce use 9081/9082; the ShopMate API/Web uses 8101. After stopping the API, `python3 scripts/local_runtime.py stop` stops this project's Java and data services while preserving volumes. Keep the conversation database in `.run` or another persistent directory.
-## 模型、预算与时间
+## Models, budgets, and time
-模型代理凭证继续来自同级 `citybuddy/.env` 的 `CLIPROXY_BASE_URL` 和 `CLIPROXY_API_KEY`。默认主模型与分析模型均为 `gpt-5.6-terra`，经 Chat Completions 适配对接 Messages 循环。运行参数位于 `.run/settings.json`，也可通过 `SHOPMATE_CONFIG` 指定配置文件；凭证不传入浏览器或模型工具参数。
+Model proxy credentials come from `CLIPROXY_BASE_URL` and `CLIPROXY_API_KEY` in the sibling `citybuddy/.env`. Both main and analysis models default to `gpt-5.6-terra`, using a Chat Completions adapter for the Messages loop. Runtime settings live in `.run/settings.json`, or a file selected by `SHOPMATE_CONFIG`. Credentials do not enter the browser or model tool arguments.
-每回合主、分析子 Agent 共用默认 16 次模型调用和 300 秒截止；主循环最多 12 个工具轮。分析账号仅有六个经营视图的 SELECT，默认查询上限 2 秒、200 行及 16,000 字节。Python 只接收这些视图的完整、有界查询结果；截断表在执行前拒绝。缓存用量仅展示代理实际报告的字段，未知量不推断成命中率或费用收益。主、分析、记忆和搜索请求共用模型调用预算；实际 Responses 搜索用量与 Chat 用量合计一次。默认每聊天回合至多 3 次搜索和 3 次 Python 尝试，次数与回合时间限制不是硬 token 或费用上限。
+The main and analysis agents share a default 16 model calls and a 300-second deadline per turn; the main loop allows at most 12 tool rounds. The analysis account has SELECT on only six business views, with default query limits of 2 seconds, 200 rows, and 16,000 bytes. Python receives only complete, bounded results from these views; truncated tables are rejected before execution. Cache usage displays only fields actually reported by the proxy; unknown values do not become hit rates or cost savings. Main, analysis, memory, and search requests share the model-call budget; Responses search and Chat usage are counted once. Each chat turn allows at most 3 search and 3 Python attempts by default. Call and time limits are not hard token or monetary limits.
-网页搜索通过独立的 Responses 请求接入现有普通工具接口，返回外部摘要、实际引用和服务提供的查阅来源。来源卡将引用与查阅列表分开；没有元数据时明确提示。网页内容不作为本站商品、订单、政策或权限真相。当前代理不支持原生 Messages server tools，本部署没有启用原生 server search、code execution 或原生提前派发；搜索与 Python 能力由宿主实际执行。字段依据见 [Responses 搜索文档](https://developers.openai.com/api/docs/guides/tools-web-search)。
+Web search uses a separate Responses request behind the existing ordinary tool interface. It returns external summaries, actual citations, and provider-supplied consulted sources. Source cards distinguish citations from consulted pages and explicitly indicate missing metadata. Web content is not authoritative for this store's products, orders, policies, or permissions. The current proxy does not support native Messages server tools, so this deployment does not enable native server search, code execution, or early dispatch; the host performs search and Python execution. See the [Responses web-search documentation](https://developers.openai.com/api/docs/guides/tools-web-search) for the fields.
-`local_runtime.py up` 从 `infra/analysis-sandbox/` 专用目录构建 `shopmate-analysis:1`。每次 Python 调用创建独立容器：非 root、无网络、只读根目录、不挂载宿主或项目文件，固定 Python/pandas/numpy，1 CPU / 512 MiB / 64 PID / 32 MiB 临时目录。单次执行窗口至多 20 秒（含排队），结束清理另有 10 秒限时；合计输出至多 64 KiB，宿主同时运行至多两个；查询和排队也受任务截止约束。停止生成、任务超时或正常关闭会终止对应容器；若 Docker 失联导致无法核实清理，会报告错误并拒绝后续沙箱执行，不把它当成成功。宿主被强制杀死后的遗留容器不属于该保证，可按 `shopmate.analysis=true` 标签检查。容器约束说明见 [Docker 文档](https://docs.docker.com/engine/containers/run/)。
+`local_runtime.py up` builds `shopmate-analysis:1` from the dedicated `infra/analysis-sandbox/` directory. Each Python call creates a separate non-root container with no network, a read-only root filesystem, no host/project mounts, fixed Python/pandas/numpy, and limits of 1 CPU / 512 MiB / 64 PID / 32 MiB temporary storage. The execution window is at most 20 seconds including queueing, with another 10 seconds for cleanup, at most 64 KiB combined output, and at most two concurrent executions. Queries and queueing also respect the task deadline. Stopping generation, task expiry, or normal shutdown terminates the corresponding container. If Docker is unreachable and cleanup cannot be verified, the host reports an error and rejects further sandbox work. Containers left after the host is forcibly killed are outside that guarantee and can be inspected by the `shopmate.analysis=true` label. See [Docker's container documentation](https://docs.docker.com/engine/containers/run/) for these constraints.
-当前演示数据为 `shopmate-retail-v1`：**87 个目录根、104 个可交易 SKU、90 个完整 Shanghai 日、CNY**。这是从 vendored 零售样例和确定性造数构成的演示数据，不是实际经营记录。报告截止固定为 `2026-09-05T00:00:00+08:00`；模型的操作时钟是每轮真实 Shanghai 时间。相对报表期间使用报告截止，促销的“今天/明天”使用真实操作日期。详情见[零售夹具与重置说明](../docs/retail-fixture.md)。
+The demo fixture is `shopmate-retail-v1`: **87 catalog roots, 104 tradable SKUs, 90 complete Shanghai days, CNY**. It combines vendored retail samples with deterministic synthetic data, not real business records. The reporting cutoff is fixed at `2026-09-05T00:00:00+08:00`; each model turn receives the actual Shanghai operation time. Relative reporting periods use the cutoff; promotion dates such as today or tomorrow use the actual operation date. See the [retail fixture and reset guide](retail-fixture.md).
-## 使用工作台
+## Use the workspace
-登录后可依次体验以下流程；这是当前能力的操作说明，不代表一次新的模型验收结果：
+The following walkthrough describes capabilities, not a new model-evaluation result. The sample Chinese prompt is retained verbatim.
-1. 在商品页翻页、筛选状态和内容质量，打开商品系列并核对各 SKU、成本和报告期间销量。
-2. 问“当前报告期间的成交、流量和转化，相比上一期间有什么变化？请列出依据。”继续追问贡献商品或营销计划的同期 ROAS。
-3. 从库存提醒、商品详情或营销页提出方案，在草案卡片核对完整差异。仅提出方案不会立即修改商品。
-4. 点击批准或取消，再从历史和业务页面读回状态。促销先核对真实允许批准窗口及到期不自动恢复的后果。
-5. 流式运行时点击“停止生成”，随后刷新会话核对保存的状态。不要依据未完成的回复判断写入是否发生。
+1. Page through products, filter by status and content quality, and open a family to inspect SKUs, cost, and sales during the report period.
+2. Ask “当前报告期间的成交、流量和转化，相比上一期间有什么变化？请列出依据。” Follow up on contributing products or campaign ROAS over the same period.
+3. Propose a change from a stock alert, product detail, or campaign page, then review the complete differences in its draft card. Proposing alone does not modify products.
+4. Approve or cancel, then read the outcome from history and the business pages. For promotions, review the actual approval window and the lack of automatic price restoration at expiry.
+5. Stop generation during a stream, then refresh the conversation to inspect saved state. An unfinished answer does not establish whether a write occurred.
-## 检查与历史记录
+
+## Checks and historical records
-以下命令运行代码检查，不调用真实模型：
+These code checks do not call a real model:
```sh
uv run ruff check src tests scripts integration_tests
@@ -111,11 +114,11 @@ npm --prefix web test
npm --prefix web run build
```
-真实 Java/数据库边界检查使用 `uv run pytest integration_tests -q`，会修改保留的演示业务数据，应与其他任务串行运行。每次完整运行前，先停止 API 和全部写入、保存所需记录，按[手工重置流程](../docs/retail-fixture.md#手工重置)恢复夹具后重新启动 API；正常 `up` 会保留已批准的变更，不能代替重置。直接重复写入套件可能触发无变更草案拒绝，或继续改变测试商品的价格和库存。
+Real Java/database boundary checks use `uv run pytest integration_tests -q`, modify retained demo business data, and must run serially with other work. Before a complete run, stop the API and all writes, save needed records, follow the [manual reset procedure](retail-fixture.md#manual-reset), then restart the API. Normal `up` preserves approved changes and is not a reset. Repeating write suites directly can encounter no-change draft rejection or continue changing test prices and stock.
-[最终零售业务验收](../evals/records/retail-v2-20260907/README.md)覆盖18个已知场景、按登记共30次：**24次通过、3次业务失败、3次提供者故障**，对应冻结版本 `4020ff93f4797e2ae3142e8a4123442d3d8693b7`。购物付款退款、商品维护、补货、促销成交、营销审批、搜索与SQL/Python分析均核对实际回复和数据库终态；日期表达和遗漏回答的失败保留。61个聊天回合的结束等待p50为30.54秒、p95为87.08秒，包含失败，不代表并发容量。[前一轮54次与边界验证](../evals/records/retail-v1-20260907/README.md)单列，不混合版本或分母；操作仍须由用户确认并经Java事务校验。
+The [final retail acceptance](../evals/records/retail-v2-20260907/README.md) covers 18 known scenarios and 30 registered attempts: **24 passes, 3 business failures, and 3 provider failures**, at frozen version `4020ff93f4797e2ae3142e8a4123442d3d8693b7`. Shopping, payment/refunds, listings, replenishment, promotion-to-sale, campaign approval, search, and SQL/Python analysis were checked against actual answers and database outcomes; date-expression and omitted-answer failures remain. Across 61 chat turns, completion wait was p50 30.54 seconds and p95 87.08 seconds, including failures; this is not concurrent capacity. The [previous 54 attempts and boundary checks](../evals/records/retail-v1-20260907/README.md) retain their own versions and denominators. Operations still require user confirmation and Java transaction checks.
-[评测索引](../evals/records/README.md)保留旧七商品/42 日 UTC 版本的 **78/90** 与定向 **21/24**；它们不描述当前零售数据或本次完整批。[历史浏览器演示、截图和 SQL](../docs/demo-20260906/README.md)仍对应旧版，当前双端页面、记忆与恢复记录见新版验收。
+The [evaluation index](../evals/records/README.md) preserves **78/90** and targeted **21/24** from the older seven-product, 42-day UTC fixture. They do not describe current retail data or the complete current batch. [Historical browser demos, screenshots, and SQL](demo-20260906/README.md) remain tied to that older version; current UI, memory, and recovery records are in the newer acceptance reports.
## Native buyer clients
diff --git a/docs/assets/cover.png b/docs/assets/cover.png
deleted file mode 100644
index d1a7762e2a196e250aae58071b4809950a4c81aa..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 306903
zcmeFZXH--B*EJftAc(?21r<=~(gf*U6r|VCtMn2;dJi2@q!+0{>Am+VsB}U{YCt*x
z0-?8XH|JlT_m1&CXK>EPJMO3CL&nbDzt!fNYpxxptSC)FL`4JwfkgKGQx4O&JCG>V<;nDU+
zb7O78QM1iGi4VWTCj#nz6TR2ReWrC!qFg!q-g>hPDs2$waZprL)F2tz%Qq;qVeYsK
z45r>U5}uT5OqOF2!!2WQ=B`I7v(ncsFyWET{m#S7Cz)q&_wv=!)JKXFB?GQ|Bn_tQ
z=UWx^J6-gZ%)n>azN*>6rQ4(}*#~MP5YGKJ5I(0L7V-7Iikomdlw|r)#rwu!`|yb%PTTg%_^;?>79(ThZM5bu>Qui|8*aFhnduRT=z8ecvET&
zidfzC&9=h_E_e!y`p!_jEA8(R`*YrArbrIqT=S0q=jrNZI6alUC-wMiD!7g!JV`M!
z#tSI+6opv!B!zqD8F&5=`CCWv=Y_2-Me=&)6{611bvNkGbAOT=l(6=3oqlKby!Mg)
z_XZOmNRqPL
zHjzc)c?j&`Ytrjm``@>g@%%v^tFX)N+o3d3!b^R2j;5oS$+)-2GAjSz#*zd4Wz~K{
zSw2t~fsavQ@vlksc~j&=V8s9A#+WJdUQl3i+xPu67g|5w`-o~V<;{NJOZE>;>7Qen
zQNejOoE_8Z`3Htvrgc{}oB8KXVD3Ng;TL8&@xhF*W9%G+KxCAhMKQfr2Zqn55@y>
zFR$1k0WSPE^D1ytM(8u@^W3j_js57>9EcRn?SBvuARGoa&oUW9%+ZwGN;^^V&rkoz
zXM9N6lWz9D%6eV-kpfSN(ueaO#1j_r=b7zqKR&*Gl&lXFp|4gm{C}_1{Ank(!1Zsh
zE7u#%6Z?YY!bNZYGuO2{nvbb>P^s)SSG%vU`19NU%LT5L4nI>VlM<2gHD09`DD6Kw
z4n0>d>OXiI)wPc=&*#ON{y~Mg&)Fz|RW`g2GY6{E->%F?
zZKLy^;-EoNcIbvLe=1_$d%;_jNs
zIxjt*tTGOkPZE|oJwh>xcs4!RnyQW?pgC=vJ{ascdef=+D612xzr5#5)3ak7Xu1+k
zSYbTNB~S+q{r=-&Z2OF92R!k=@u=3k?+2pgd%*YL8pZ?C-SIDRZIzl=L3rKg9%{>(
zq=@M8NYQzf!P1&+UxQo=>cj~z*Ldhrxg>@PT)x4X!dN@M)`}`%cU^%T9m=Q@Og?MJ&H;eS1}XF$coF%aF>tXs|ORjk7oK4_>fPtN-MxkA+H4fvfu
z0a~4{IOz=#c4R2&^^VHjl2%~1D*V3ao2gpp_Z`3V*3pqiG_l*Wm-!0h4+WRJlAilC
z73nsefw`z7Jv?s}PN3X!Co79*gwF5&PTh3$PY8Mrq=x@ATYsLJoy-xj&o~
z9Kx<)^A{dC_nr||(N2;p)zG_7v~`3=)_5ojy7@|pp6)z?oUF)@OZCM3s5DzWJaA+=
zeQ%nbHdexSByuG3r}g#h{6uI$zus@CzV!ij|FTUL~+@wP_A2kpkAKs)CGS54&u}rW<
zG)O&Z51<45D(>Fuj__}fpg$k=xBb=4+$i7@k{RGgqYw3TJrvwuWhMUH0{L{8{l%&9
z^&08XY=61<;3?BOX`NZ6;|S2#&Jo;$4B8P~55-;WVBnwT9YqfPKt?$D7VK{lk10*)
zcTQYINiq5qxSI#brUZ7}=c(8Hr(ploa3{1etdj;({LB3Ap(>iR@zW-U0P_
zWpQBXg`_-V2QdooTG#iVqSE4rHVE(Uh=hb(j>4f0CSD%pd)&j#)4k}!>Di@@IeR(S
zoPBpIW=uQXyMS%sI|G%X?bs=n2PQbT+A84U?5I+nT#r+-24bMkqp%YfM`5sjiCtNA3HmUXi@_cLL;#q@$2wS
z?)Dj9=```Z&t5mtRIksrfXOk=VUR$qSxL_R@hINZ}BsRKX@G2awe&tVF5{H7oD%fZisNLx6T{`R;jUf%_6zRzEK9CZkc{F_0Z0G?+&I1C%1z~c
zuZkQ=#sFKYPT~9<=H8Udnpdgp_rzwp&CGPNnMJ(G>HK)?rBEa&JaFk!$Hv%rn|P2^*+r2kdblxZB?(FZhyS@
zXP45pj6Z|J06O*f0l$xYcdUeW=qPzucfqYLt_-0$0iy~Jv)e;+VvR$NuGiG~)#9tS
zg!pTV@`o
z>zy~&c@{F>hIUSKDnwZb!}jjC0l2^@Q!*pKgTU}CRC=KmCygfYE4PZlWncSZDE($^
zZIut6C_)h(NzK_rdQDSfye4{HQVJdm!3Yvg54YH4ER^n37ujt7JM(`cU8e+)(2|oM
z0uN~MV`r&3u?8dUBfi!#Mdn_n>GJyH;zHR67(62YDUr}ZL-`Zj2Pv1g|G+ak!w
zb<@7%F?1e7ZyYc!DF);ezh1#_1ll((^&8s?bK3g210
z9xZDWBPw5}5t#>rl)-CWmocOLy~{6EY8F-{u60xyq9pPdmnx-p
zsP*aeZkJ>b>IQ9tSw&AThw)b!y4vbKYh_Di
zUhKS;h{E?}2HKe~^)@3b#vM4earRz=Ia`v$rS>$FH6A?1;-WYwA~$e;Bd=W8NnQGM
zKMxElGsin}H&Fa^t~gvM)f
zGyHOwd><(?E{pGTSsjFniUts%H$IvYz!^8N+N2_AJ+|J$@If}?3$>Tb&lmCK#^?GS
zztHyY>=mQ95|`!rc9kcaeTr>$&Qff(Th+1M>|-j+qo-OQ)-}SyavfHU%pD+XS7kdBVov=)QM`XVm|5xQ}!r{~Y)_Vm&#n|l<+kPfhuNg3)bIf49}
zo$=sirmlCF$@MP!H@S;C4K(7GchBPSEH1iag`VB(*_)k%HCX5!Xx5{hq3K$+njVv@
z)fY=9_I#;d-yDm+`>{JrxP8RqHv1TFEB8H23z_s5g9HkCy>qJ}vNl+Oa8
z)J#5ShY1sg(AR>_mJs*(PmVKzi3Xk;cL!kX^wgL%sws7{%Y18+&Ri{IVO0l_{nD4b^Hzef7}TUTNB%y8g<^1Hbt$0Pgx|3_S&$Ks)#g5Eo=)luO>Sg*j05sw_}IHr>Yt?FJ$<2KG9
zq9q#(n>l)AEEP*739t*AbE^iq1HTZsX(1Y&hh8L37t+QFt?E^-3{asQU`P$N9ZN&<
zPLdMx-aE$rQ<$e6hiA^MEKxZ$XLD&t5#P(T1w{R3cisYy+4N5{RgFzSqvPp-eD)*0
zw{M`@<)#U`#=6kWS;V5AlD`l(gAO-fPbRHbxr|7!$(y~_;COs&rz5%O$vtjiduDyoKPzo8O-
zQpu==cyPC(bG@bjVcpnG9&)-b`X8#{|He@IpK?c~Br!drwpVNH)_bJWy=(F~B(#Ca
zQ#o-2cdVj={O6}A`xcD)oKI~i@9ywDfKs13nh#@~?g_Ud&l>Dl5c{)y$6*2R4)k(+
zp}C?~?HMcx^K#Bz=6BBd6THq_-Sqd!C)oe6kXr~-?iRgIdmP|5Lh`
zL$Y_Wz{y!rzLsUg-HeX=xEL#1v@E3vs<^c
zo^j`dSF~V|$6uz@1(mSZ^6(iOo@B@IGm-MPKWgTY3y$7s-$NtJtwof{&%CRZD7qf-
zc>7iJvHY>TerzQI;`jJHSQy@)EU1G_X@R=X6y!&2_$mrQsUR#
zu*AnY`jLt1Hz&6V4N|{-`HvPri?Oqv)Dlj^gXPfk-FSRrj80f7a#dORzyb0mYVS;Q
z>;uAFe|hYX|7YY$cZrpSgdFf-)-3DtDHcgnwHv{nH9^!f`FJ>BKMknQLaGdV^C&T>
zpe?)7Djyf*b7}h*R#ryfw_IWhb?~CpK`h5@itTPesN^hv^jB6H5t^sb#ssFThb|SS
zL##>szCqq%JI~f<&lEhCz3gMTVc8?M;1mZ}AvO}9*}}qV!w*>Q
zTe@R_hdC4((TO4~b7f(oKwnGp31MTPN7`PtKPt2RYa(1se3g*^58{%YZ1)Yf4-K4@(CtLKg)
zDPBHv*qj!>>%L#FK^@>t%bA}lisbW0TS0laSgfHQUg)VX{p%>
z>wHtC2x-z`1(@(KSxKts&%!-bxX6W8q;x|%?gj*;tj~9$lXsNY25Yt`Nj|N$InzNt
zuOG3W24xgfKU)==NdRS_(rNwz35Rpu2H08Q8T6bEp1rwZijn(`k6#Hec79d?2i)sr
zlA+RO-M=TlBkh7QhpjuGUqL67ZlaTB@002#KYZ2=R1OIViu=wd
z+=A6HYc#DrP4j1pqOt&W~$UN)2HqHy{)A+&*>PUV|k-7Pc
zY3oNIb+Brbod`b9mp%Y01v4CorwjT@Pty?3n3EWJk^@$BiRW?84W(-)5#ZSeW%#mz
zEqfBr^f@hJY7AW<;5y|CkG%$ZQ4-Kbc7UF>&;hp%IcQYwL~}ZyFys*1RSFL@2F=cF
zPu`vxVcE=Kcvk@7E79LPEYC_8gOGGG(5IHo87AfL`aS@Sq9iool+6Hafy`oTH=oyH
z`}N*cs%>H1-dAayCIc1CatHqJ@WXEi|Eh;CZs+y!Y|T~>=N8m^Jyt>xpDmEU(jATd
zY73!w;%OaT*wptbOoW1+fOIno+`HOa#cX1>1INj>N6ev5k)>VSaN&U$5`5_jrAM1A
zjF~S48su1&hjzRz9Mt0{m7T@0IqF?MCu{c16$TT&3Ofll&Efd5*k&uxK0K@J4fFL}
zCqEmFDI7?!ap42y$!^I(yxO{}$ARCpWryyKR`f*FX!ceYKt|C$Ku~})NZnmV8Ve&JFF+o8_Lv1qB{L%InfNM;Wo&
z0I;M%{^P{T7cgzBh11wlFKSb9uSlC^RKRtKbn2CuTcp`^&hp(@BrC(%E9HZO?Jb)N
zUQiy#YP0ErdhKChdMJ6PPQcH?g#LHWKzZr?NKKAWOi==FN!6Z!45-W%PVyIokQ5a^
z%t2MRWny{oOKq-Flt!NA5H_?5pRB0_X8#KO
zA_#<#_z0Ics0>TPc;A@N2L&edxir*yuM~Wu&ObQm1=KRDg*LUPt+6;9V#_XT@Hw&$
zX0SwTh^n=Kf>Mq`y;{pHpmNQ9j!rO>KiYJ7m{q6^a1lCiHle3q#<9dHK&on^tmG@M
zb;O{7G#-fOytI|tB-@LmzdoMuu)m$PrE((+iM&YW6X^OHO86YN9
z%UR<1ELQk|{1wbM=25ICcvc`2#ZtA71Z5-R9}b5jhApJbVu-sib(1Kz-|3!sJkfl8qy2&2sAT>?`#=qr__F&9
zlN{8QK=09eI?$R|>|Z3Ojo!8lRBOo?U3uE{I3;zEWA5mS#+h&@)wo3KF1%2`Xi}+1H(4W|TXX;V?P3N+x3K5uZTb(*(-M6rpncr+H
z4uO?6X1717%!#PM4@$V?RlA8jZXS?K4VtO739R{ERyizbGJx&J(zI$_FYA?!xk-58
zGZ3J&jSn(W3erAGbj4Kl0>{6Zds?VOA}>U<=rA=suw_FhCe*zMn(v{nEG3fKo~@TS
zOV{!JH4>#J2{=f1+{S8Q`l&Un02=#~v>dl0!jO`_**V&baEzk0A8iFvR%llvpB!~%
zd8i8%3UqFS%F&uF^neni?gJ*LsOE(1lnCx-D2=Me{&AqJr*RtJ=G30V)Or&nC5@{K
z4Ix_lmq8J^>4jHFWnx3SRH?S8o)wtPBU1iCgriJ@A2X0vGPd8UBo_R4uT^*OK7Y4c{!z;br>Q%&b^p1vdUZ8u3;D7YJ7(5a4%=yFN5Xa
zz=f?ORt&L=K+pReb*n|XMQIvru%epB)LJ%`kKjbmd|-q}D|c5Hzy42cK%L$gz$$(smfW4R6sR?-
z2=Wgkoui6Z>iyvr=dQ`amOD(92`{Z*o_WVWLD;Aw@+%8!i083?k@`tQ0|g}0V0ku*tpfRaW>J@-lIZb|RnMC9AU`^_65!z2
zrO_Y>8<=f?+BSamK4`vV%chj;t{02^EquFpX7Uj2BO5P;G(3X)z6U53*X%7zoG&ub}N6A|Nyzh>)P%Mo~>z$5#S8Wj!U$y%LlT`}GR
z)^|WH2#9XT#H(b~NTGfM8a!h7i($uTsDHUhi07j$tC5w*Y@ACI61Bs6VZ=9Mgf7o5
ziani?ENSV!s@pAl@Ct`H^(_=Fd)$&vVZ{qwmTI$irMSx<_SC8gt%E0JR8>-az)=Hh
zPWx4|MBH>t4xv@{h;d{aj3XeRz^-vw;{-YDCX=EO*(H{~&Lm>s1s2`7Nas~>*nj_R
zs-olc#Wx(@5nLy3G7^-DTJcXVg`GxJOU&?Bc~P5_q8}jqR{#NG^fbWX3zKfeq1|}G
ziOBI(<-uLd2=aTGJqgO6F&pS0Mza`t)+Mr&t8I6QAz`v^IDXdkdK9US8rwk|wv4F!
zJ9Fu&i7lq3M9cL=pawOdk8q^aE2IR;D}5-(XMy1GPJ&0e)Ys&E5F;R?H_CoBTd7Hl
zrJj(LIF%`z2jlDoN1%+xcv$QbcPmROkMDjY*TsaPx2NISYL&|(+8V*}tfyki#VsH$
z^Q^!;e+QO~yJ`*fbm&b}{UWJ(RtN_fz4J{z_@&-8oH!vL&&=_Is!r`FY0HKHr!;7j
zMb_zp1ypB0A%)ymR62wRO)9eqZQB7vl%4t4@Q3CeiUno07$0oE79N@Zos7y5CDvnt
zCq|?Rx0cuMe$Eh!CAoPBQ
z0(q*KS3!|>`I{7m`&3Pxf(m8)VzWExd_Sz2MsN+crnFN6dMwys_4he>POkEH(G8ZH
z*-X5uF$wVKF8kBbEwVOnH7aQwa2t{X!&{?dwJg7?tgQ~jGl;b7iQ3k&#HXXeGF5w1
zJ-M(r`JN4J?I~Yk83%K-!KvPNKzhyICB4}&ut$S%d8KT4;xax7w-qcd75s-rdNo{Lq0!KRaTxR#hOA1#5?qIb^60m-md;XNbqYAZW5vd!=
z*4Z7W?u8`|mN=`?ftCa_KRiy0y-TS(>kCuN&~qc305UE743x(e45F>wM7%p
zNNvOM?zxJpc0wlJxw(8A6SV1qw8E}mbqmEs<9qDuvEzS6$Hdu21?qzfau`BS>V>Bo
z;?Gaumu%3Jkw;*xHa!6v=*y7v7vehAcJypIdW^svIKedMC#7%6twK7@z901!_D334
zdzLm7+_x4Az#pD>xrfe6QpAGarbTxIKTRR`?vd;JuBm
z|A^%@as{{!NQ&b!2d6t6WG<4T;s(wR0gVASwc?gDi5vHcLfu{0h{6$){wv4<0zZ
z1Z%%bNc|vM6kn)}4DWtA+hAv1kS_+ny5<4|bUVn;M$~CkUDo2UnKS^~PRDV6Y=~+g
zo`ST_ygvNz9gMiogX2@AQuD2Td6?k9v2x0T?1Z(g15An|N(36q_CV975IdVbEt=!Z
z=Lz48LvxW%`I`smGRJk{BoU_=Q@X<2h7oralewKfRCymuBndfv5I!Ho8QxeR$flhp
z^Bm0~n%ng{S&AiHs+qQnwQs#pMOVh2*OAscu9#*yUsxnckz@9pV=}g0d?VOy)}%%a
z8W?P!2Q=-iAg5k@gF)}pl6M*a72avu6R_#}qH&C;Xb8}_y2I0f0WRKNZf_?|Gb0;K
z{+W#bBSGN;g}o)G&v0Yn&&jq|BlMwyF8R29h|SXRy!}#JuhI!C=>7?cltheAlfu&>
zmzSqMjoCP5f}>ntw<_lKe%8qDd9&-cuYuO6GS7R*=OI%hlMV
zyQMzG3^*Ip?f_BrSRV3r;yuc2`ZDTId(jc<{4m)W*QdnT+dp^N!!{I>HVR=sY90co14BGkCkW3GLbn&c@T9bC7Amv
zDF6x<)GsN4esE^4wxM&(>uz7tlCuzCT@lV=&m4kcLeMyZJN$pQtse*RA1e%UNNJiK
z7S=srsuPo#Wa*yQpH{#$5Dl2N+Yp7J@hI|nKsk7M^JHmJ6n)fssbJT%i$B?7R(zKq
z_}Q=qzUs4(B)Lj@hl#r$^DV8tc`B0h%$Tg1cbzoZy&vILBiLiUxfnr>-zHzpG}}Du
zFCxTxjtQSu9X;@Ai74RYd+keknhAh)6fx;CkInX_@i$$2Oxih0->o+@vZ_jv{Cq9&
zsLCoJQ~I3s=Bh$$b0e?ZW|%`aTs8*%n-$`i^@DV|mpYHx-f}cbOT<;zfQyt37~#I7OJpi@W2})m=}uk<|bNk90(55YaXe
z(EtR(94XI<66t=uj>Zh{QceP&Yt8KVr{3zV1i_@X0)`tARHB2Kgh2;)K&iG-P_%I-O4Tp{^ktATtzf!?)y^eCN#wHVU+o6?Pf=_J
zIj84a+avU3r%#p=tk&%O*B$gvWN9}F3QbA<6h`Ls&b9i84knZx+~V1KR&y8AtEdnq
zv|T4Dy0Mqe%hX23+BX~!D0jC%W*URk(5^6zSXkXCdKusu9E18EYFe~;EJ8MHm^-caV2_cx8DgIu!2sEm6
zkP|}+d{%C=p7k~5_0e5stAia$pfP3#MiB|+PeWy#UzMpRn9CrP#1hU>t(tfHVa)Gx
zpU|HxXYgX}z=qTlD=^%b`ALp_`Atx
zyXCz041BXdSM7xm0cM;cW@A0CV;n`LbfuDMjb=Yb0OS=;%SDr70)ZVM-ytNN>#$&j
zmEY&&E54fD1%8~5G#ikM9z4PN8qcEfpKsvEq780277HM0$tq*({euz}(1wSUxqmlH%166X96@3!{sDoJ&5c?%0
zr>6gO?4~|-Z$WmY2$8_a6Hpy6h=R~H2rYl4_W~=+D7VBfN=t~w^H;+PVU&07TJn_ElnUgl9%#3=%J*T&Q4r}e|^zoG0
z@z>W`i@R+!I~frf78fb%J+b<@t&`e@{yAeLI;qcs3%^exmjL%lRDW!<9I|N@CkHB2
z^{1maRy8K&iMHA5IRV5z_-yW9u{}o^K9z+?Xt1YjaaDnVgP~|sS)jYnQs*}ZW)2m`
zTTdWiMm$N%q!VL$1`{;cel@*b1**LuF90B6F^jzU!%eXLlhe&Zrllny!WoxY*VYvC
z*CVXO9!#(wPF`f37MxYw<0{q`sx2L=(TrUMrj{h4pf$xb0gCNdP{tOn^t6{J(5Y8=
zp6DfU8Gk6>aZXf-3o;NVNg97A%R-62D4zk*SZjowP+7h@MY>xPw|
zE+5T?n!3j?@^=v3dADmLzNG;KJGgfRaPOhLp#Qzdiu>HZAzC(qH0s-kzez$`<)Io+
zU+>8J|g~qpD0-zPq3{CXE5UXWf)J=Z6O0L-T!R#g-`%2y)D>+>lAFK+`
zvA5cs(2(#)+#u{_L;9aJVh5+oXx;yYT5+U<@qY)V-{~Qnk0tT*mxV8^~*H560PI0|~IRiuijO
zm=ZJDR&ChFkUeK(2!&54X76Ww&rtM6NF5oah(Ry2i}D3b*mP)uv27wBqAM7
zI04I517j5?5A9VFF?OJjYwKOLl?u39qGoJD5ho|hzo0Q#{X9|da>t9JcUr^%!!i{zC{gn<;)O~7nz5;j(7c=9dRL`tdW3TfRL3*x(t|TjL
z&S3z#ZX5>*Uq&iAvh()r>{S|0a#=6UGu&(1OH`G^uC+cW3!(vGh5w#`Enx?10QGi*6xE>ByeftSj1})Z-zD
z^}VpAyZv7X3;sKz_Wx-mUd%KCC`}CTi~+gK*p5SFD;r0X2~u#f+NJrAm8|=|!iUdv
z0hnUye!C=p0-%-OsEDe8ki9-HZR4Dg<3B7Ow}GGCrNV4p;VpTWsVfEI4nw1I9NPk{
z3C!kx@7P-?EakaQUp;g6TQZh;zY(dmT6q3e6=}LwYL%DH|5NRBjZ@x!n_nKEGo@^O+FpxX-cD
zBv4;9U`&)Fh`gGpx(4bOFh#A=v^d;v7up#nkKsgVGAn&Nvc8;@n5M7myh$B;sh(}G
zYvvBU-YMD`oh9%X;2Dj^Brm_#4hi)Y&)3pH!$6D;|`9ggmfW}W)fID3Is5;}74zwpl5Q9rppy4=rhD+;)2@FMs@NT0$zuNVxBbOjDM^TqJ{V%a7J>%
z4`goaBrb^E#}HqM#^hawuMEGoB5NQ3NBS8!M6S|X&s#WJFVTjjh)P{)6s~0X?>RhW
z=A9tTbEP%sJ5G>nCWiK%Yu@d2n;({;JB2r;kagLDF)x$@s*imvZsd2qWq)bo%~V>B
z2NEf=DRK3|>H3crz=|EvGv9Wys*#?6SNKHGXj%VS{&;)7gAElAtTYfqBd%P60rqD|
z)t6tfojIpt40)QG@lEDm7B0U0dw1l&(ei&=BcN*a2V_($;2pCu^hpST`+1|IZBJ{&
zGoi&I;azvHKV37K&xV0R^s=ZXyy$F#L$}W?9T((u{_E>5&)Z|t>RVWc-izS+u8oKg
zXoAZAd_|kp^yhJ?;1dxCbLKu6pCChVv$UXvWBnUG|K_mqXBCx)Z-xNiJ$+ks6Y
z6^8Xs(~1Hr1aYy}{GJhVy0!R-5Q2+MaNlRxlB3y|1(CndL;TOKK2WyY*hCCkY4az=n9Q5wwFr#DD;M
zmt}J}r(ZH8)b+fzDd}qtL1_ijp&^AHq@@?d9?K9OGi}#6wsSibURY1_Ffe7T04zr+
z^l**9U`wFyolUZ-nRW*$5d%z!K2mHbN8@qZJCjgKjQqb&?axf(D7lP_iVG|iv2ou)
zi6=7BJFR+loLx)f_<{{b<<2()Jbl5|{qP0TJx}AvK~{~9cS0l
z>%S1eX~gDrr*QVTyx=1yMIP&G2f80TawwQ}EM{I+?0L#Y^MW0B!Y}7w?6u1}I)IKo
z^~GFitm;B5nObtHAT>*20!N&t;rf%KS+7#zVf5qmWB
zDGKB1G57Evp6|8k1cP#w9@!r|r2*KJ^CSyEY!Bx9O$G0;+%Y^XsGUbFxHZa-rz?cO
z`2MPr|0m7|ok>`=g{KRndj0Ih_=NKoq01L^qEF=%AUAK$G6LImT*Abwu0~}ZivlIS
zK4J;K&tI6#>hxlG0r9Ts@b~E98i-AO&Fh=>%L%$w*_ow{+k*86IVsB_Hl^`4C06Wi
zvj_K1Dp1mn!sw{DdlrJ9?W~d*v{a)2rCo^JuP?J?cN&xwUk7*9b9d5-Fl!K1z-`p<
zU102tHw_M)npz1yqScm9R$+&NpyOk5NOm1($Bu;%@L)y-E`P$K2l?|_We;i2KW%#D
zxTN7;wu^2suTPJ60h~_(Gx17Rfh`9U#oIqW92Qg_0&sNkI)SxQg+Kg8GjI53YhS)Mz#v!v8X4##+>1jx_OUxD-Ir-yv&pVg)cR2-o
zUuZ>yY{y682+{rC5oNpKzGC{>l&(`&{TQowbOP`st62PlsCn?JS}$|z#xEOgJcr!?
z$`G;XKY>#5RT8~3^Tt|xZV8wSShgOSA}S+2X-<)&vJu`p$*H=W+Oh*_FV35;kt~2r
zwuawww*9OWhy7>hLh{@C^l^<8LM!@U$_m?)msYc=$;30uW&&eqF(Ko8Szt7m!d%%wPXkWBP?
zp<0-en0H-|?$vo!22qp7Q7}JP>isn|yt)rZPv+l2U#t^yJvL8xC@1m+5al=?&$EXK
zQ?XKNThOm>z6%q1#NHVh{N{V~1sPS7?r+6lIS&<$gA1=F;#$$_%2O}Vi>$;6tTu~u
zpO-*K=sk|s21vn=V$75%%wO4`9fMcSH_VyYQG~Y?%L%U4hlCq{{kV;RPZ$bBX`!lbI
z5?h+C-e-0|8Lz4rwerKUVeHv~cewYt3dhL^Y&+_KeVs(IO)oWHBGC2Aqh
zXqnNrYg+KEKPz>UZM!SS{|kd|s@J*y4wYWa_1rjJn0iufN_u}7+Ye5C_9~ty1
z3DDqzlTE%!fJ(TxyomE;cazTJY{?D%%G92X=@)xNqBj}0{M+B{^qYfrTXm%~ng(+p
zUFU?3bFmBvKm^3c0dN{$f^YxiU?I~92En>9@HEGVpsI_8?-ky8TdwiGciOlc99bU=
zOJe)YDcxc1ksC{J0gnuQjiio=!f6C<7k{$OHHlSUSeHTRA-&kePO*TXXc$L!nDM`Qnoa6$*3w0^-vK!Jx)h(8p(QU1gS{
z#k*yc${w2Jv-rfAZK2}7*I8Pfbom&FJOx0*8~GC}Z~R@a8~A-Bwf|yBuGMq^Yd9u2
z!6*3!c)HY{$J7w*p%25hHu+{IkU&12cyO?TZ99~Oc#SDTZO`kI5K~_0j(2%hsgPJ9
zW85-;VK`+!!Z
z^L71Tnw2`_D|O)T_Fzwl;t@+{=F6pv*uX5GrL(CQtxzc_n}5<7y|8mBkcAYnYl@-)
z`EqZLOK;Uwt=q?kGGa_97*SLID&1tuyZF2AMXbFw!fyK(k)#Ee
zd_K+T*mYJHj-r9bBDgp!Ay>@s1WF5f`bnV{u
z`vlA$&071TnPY!ikKl@(W!3Jl9TqrypAudTwwDg4FD<>_!+WiVz6J}=?h?wp;r|kB
zKD!>f6(nXDM+8hDjNTa(xL6x`s)lDVqz@Z79r*I#mC-V){ET?`1X{Os`NPD{e;o941AE%fqN{4eEW;1vjD$!=Pnk1i!JcQEC`j}E^$6C>I5BMxKh
z3FVfx)ZbqT{ti)-?9nn`&`#}ttlvNRQWaShbU8ZOhWgFeT{8cP%p
zRLM_)1-$-3i)4z~vM6(QXneK?!=DfF(5X+q&yCDcxIH*hz
zBF9dPyPLz(%q3AaHT<2oREX$CL4(m6S;y&;s1mj>h6+8B_@sugfs#{!lY?6&2Ckh$
zNKG=!L2#&(Ls+6+|7HcA#A4!0$%4R~^}P6YxJ7;NHrdF@>Rmq%I`^_ga!PngRupyi
zCH4KS=-&Y^@>%l{^RVU&7)B&C8_~*(aKbq0HT$~cx0$6~mh=v~PU**8bzncT^bP#w@SSE==QoR1AK1i=qOKXj^--%!@rZuWho?OWUy*-!f(^EIOqC9R?b)(p}YUa<#%Qdhuq?r!m*r
zC%e*l^OwX_l@&9G@PrKh;iW8a*zCHz#R)X)5hX$8y$WF|`B^L)r(trBSn9d^Y6NN2n<}tM2FE
zvv)^Yj!gy)jfSnF1|l3@ExRl*$#eDq0QCP`3Gf&6|Nr?0ulZkX_h8T^aK>u|xxN0X
zim7c$QbjN+QSz9Lr+C?SKu1auk%O->&Csbce*0^40k4%Z#6p1m2*+U#7k~C9_ZW2D
zSSn?&c0F=$Fk`Oc6h^g{r=G{bvDcKv_(OK%iE4#NTxe;GH!GEQ5|l2;R`gN!DM46Bif|93C5jJ8Bg8Rro#D
z^5o8$Mc?Qsu#0pye(?^PLklua>v^#KZecqdCUDs$gGD}PAN8GhSqBl5pfVSkBhpWg
zURYWPUBFd9Wlc;Y#`RP7`oUPUDXi`;Zw99=0vac{fLC~E!sWncN07zJ_Xug=6$I{A
zJG$3@SJuM^YrpaXHH{NKlN(pxlG1PfBe&Th&P^^;kVHiw?Y_B?!r;oP#!bS4ZYWQn
zwC2Ea0mulfoj@^u1Qr1tx=4dt+0s5~;aTjmBdZ+6^lZ*rkRWGsT!DOtTfe$V|
z^2zxsYu{=w%d;AFk9Ro;CG!0uJ&xLo_K#^zp5_B-B1!NkzBB+DU-)x}_S$Vunf?4r
zkCvJj*?h(cO?}@5iC=5?fa^MUkvxpIHAu+>lkc0KoKWLd6sdv6#2^vbqu*jWcoL~y
z_p3kBe<%dL0OO@9KJef%vwL+)-0GI^j1a28ETk}j$`vItka*y-)#MuhH3PhBxe#Pz
zRi51=>;WUq#UFQ}9h|H_TL`rWZXa_j3H^r-)8fA$$6p%23YijCw~#CJr1CDfBs6w?
z=?BO=)mVy`J$pWz^<*G3GI*j^IGNndw2ghNzvv`rA>67#8EHlt$t+r1R2z?9Ucmn!
z*4{cQ>bH9r9>xJ?2JQb0hu1Zj}&?o>JiX@-*S7?}6t
z?>*;T>p5$k_dL({{QjCXtPcy;=f3Z~uj|^^-Z$Wpn3QwR2)gj5k|+@r9@V`Z*)UkR
z*!!iRs$?#$^i^7N-R4F!GjXm=y@8Ipgxev3R%FAs&hPC^+1-!g%?j%qb!1J4-S;}iEc))^
zXpq@kcKjW4+0D3B+Q(%-x~1LnP#!OUgTB)hla&L?Dq|;{wvj2{aQ%o!aJh;-#+w@sjx7063
z^q*t;(13=^xik-^crJbdM$(g=UsOKupb-{dj=#M9KaCV-tCyzDI2AzcUk6vUaCE7s
zQX=)x^t%z~(C0|2go8h2zi@G0B;HQRx!69_j@9E`wt-#!B0zsh))6STyUBLps%iRk
z>m$lH4-5P$7odv)C)0CjEOGo1qy59ycQN?JPG48DECtVCML@uy2IV+aGtPl2hL6?_
zhSZEF(tof0gaaw^(cfFr*wR?id--8jL?)kKes>}_%pQxWg#gre;_HxiH-(38NIA_f
zGWgOWlL>?z-xR%!<~~EM(G#FQ@4%B>f&qhMdK03U;F!dmNW!UW4D2#Gr1HFdn7*B!`9@CXUVBYy@JcUBSDEc{`
zN4d(1x?lcSrLVfVifWa`W(#rEBxAXsiEw>b+Vs)V;^j#D8hn39B8C0+)#4Ynr)PxY
zU(7xaA$@(crgQy`;cj-~6+fx*Cgp=_SEN#r!Dm@npp**S;FMiCDwAWwMOEy7=)***8Y@h+-825cy`lZ7w#-4(s-GX75XD
zx@#tV5JdHjeAqj6lIj*WNf?GnOQ{!=%*~4N%}oD;uahEAZ+^^VdYrVoYmdVytNPYKkuGt%}~}>gm3f3pi(o?T}!dA!7GL_IYK!T?q$Hlmn)^
zyrb?RzUNOPMG0zuy`-Mie*8jZcJa@L+A{j?D)_?^a3DA9mXOYC5_pL#=&%TeAO}Wf
zyRe1X(%e-+pKOsfNB=agGy@YWOoIQa?{!sa
zcD1#rGWydh2!?aF(FZHylxq_!YlOkzG<
z=J~R+N@a;iou#(8(XaHN=H(M)urdE_@wJvoEE`fd;p2CYJ>9UmkENNDeesdC{h!Sbs~#Q<@Bh?rqCF91hkT?2eddgSz_4T#hzR2uxpCM@JBXBe
zpq$)bm7k;Pn+6M0U!8sy-osDNy16mB@X0jzYOAu~Z|~=a`d%dFx|6nZ(sU6$9smvv}cOq;wjl8OrX5Dz414jotZ*|x8HY
zcK2C-gYGDUr#$O0SE=?&L-g>KFH3
zAt)KK!Z7~#A6v)XG5^yG@UPE3qY4X2Glan@Or4~tS?CK_A7y=nW7sJrK&-U2Uf#|V
zR^%|fl4qgG$g^1kXVvo$_*VYzt7Bu^x9w>w&{b2I3(bcPTIip@ed;NxN~jY>@*(?i
z8aMcO&U~-dBqBg^z^{n2;OZsvZN*|(z?Jes*bLQvtY_i22Wh7{wfpTnffw;?jWvCiCIF;sB<%c6XMob&U_U+*Xxh5I?
z#8C3JJsU2v2G0)-P9ZVTruv#B7l_$~W?CPrb
z&(PLCdFlV_i!Kl*w_z(kZM(Bm+_4~Q<48fJ^bO=tK$1mSaNn!l*+b_?Io0KpVE%LO
z54G8(#1rG=l|4+zw~fR)q6Pxx7+n~@K6N|3n;RSQ!A}`nSx+&4>%^Fd6PMdw@*MI|
zmtcO%c_6?{jf`2hFnZxY9rL|YrJ0!Q=u~8p&SR!e;qLV7w7-KN>B0Lp|46s5+|Fz3
z8xNcQsn*N+wk42lPD25ji1a;ve>!rZlf#p#@2ftt9WY=UFwUwA{$tredZnpBpjOJO
zr}V}lR#D*-h*J~StHijg!1^{hDev>7<&kFLt!|M|Fgy{ChP@w&AdEYa6R8$*ADbpt
zxCv(zoA2D(`S|rl2fUD5t!y}m`tB2ITd6hSz&oN0iUxl$Fi;szEfzZ-&cE-uSzl;PtNIQl2!;U
zNI&I5l(nL0*+AnCxYuvTj-@T|pMoTC`M~(47=ki*g!j5Z|L#X29_{1$hdlmP>tP+&
zo=Z
z0pDG{Z+Mlr$so>WSZ^aZIrDKv6zI4fWV-JX)^v|Qb^&L74=|YHFodey!IL`p`K(auc&H`^mUS%V!|;GPqGv14BYfSNXcPxt!^wx=@8^G9o&-~v9egi!
z|1bdlNGU?;t4|lz)9g)J!M%@!xlM(DN!Rz30@wt5TMlRK>fa=A`SX^7W@ETP+{BB?
zYV68dESL}O4AULsHXdK0)b4=8y>Yv>UsWw_m2|o(E3bx^IL>UhV=Bjjt~d)*=JFl<
z_8Dy;?5G+?kUy8RW!-5S`eAiz|LN1ZV++?tu~(wGYP1~UuU^gNi2fp1w0TKN_m-%-
zPH}Xayd!*?@dYq*V7mKGBtdRq@e#?%I*$3a4<_9Ew9sEt)5)sB1gdjj6N?dy+Kkya
zCF_u!0snbybUfT#A|;K!`$==^qtK=t=AYnf|9`QZ-e*01K%66x7Gf$q)+v>p!a?+X
z+3Y@116gJ#83BQ=lKa@S(RTEy|FOk_!lZK0-cx}N{#_ZlIC{d4!4>aCtM!Xg$tBf{Vng;QtvM;ru77w+gtXJ8$_TD5G
zT-nj!@{yqAXpNp`kE+98*EO?^R}WEl7i~TB#isIYzCHpQ8Dq0;HsXVk&RV(&1c{|s
zp9BfK&&A%%UBc+S*3H#YMCr$3?oBs3NgU0(&@R@sD8YDq7Rn1~tzTt{xE?g=Q>ohe
z&Ec%FYHNK)c_!rr>D`@VGwo}$6FIXGxw3S0w}s)pw@o6YA`th;&ZHD)&^w{IZ*W!K
zEzORu*qQq|O-OMSw4DF>Rt(vfpZPrsqOnc?M^RRnk<_`8CE|N6rAAGUV02gRX?i);hpJlf;}DB?caL&a1twvij3|d$?>`V6g~I}_yJeUlb5}O<5ujOBn1Ih*
zZvDCD&-CP}&CO8zrR)QiYjrui>a>^kGT>!HN21rS@&7ek{vW?RwOZb*GZ|7bGpsh#
zhy@i4`W1q+#MDx>i~UNCK$99`7y^&k1g?bfnGE-<4lN#BX{r-fbA$)%dZboIr?D64
z;hdbdmZwKwdp3FcX23Z)@a@E1{x+tdJFJD~ZLm?#~3GJ12Zf(fEU)@9iJc
z6~9|)G;SotkInJ<=`!iQcJX&T>N6L89}5ZIbA5#Q``j1>%6rwR5+}xK%6Ib;pS+^i
zA>CY!Be;wDVOrYP(Xy0Pav8?j?xFq69h!TEJvRJ|LsK7?RvU5IG!XEEDn!)}cDn_U
zVMi-2L|pc<_p(0bLq8@oA2;m}aSYSlnX5nL&=h?wZ(l{QK&Nf1^NS!Iza?W4C%`rz
zQ0h51;-3)j+C`t}$R)7P{-T%1)+G6u-6Hw1ww6;P4Z7y8O4yfT5L`*|>3uD|Mz?#4
zS!2aFWo)%l{OP=V=T9KJTrjQH-iLXb13M?q6BL=F7eu%0Ojs{|mI^as9K!3NLe*IR
ze$@T1C%-*7+>PDkhU=FaWqjS3$*h(vh{H&haP9?XofocUms9^Dda!hWxaOH}vU$%(>87MhvbCsE~
zm{j9w&KC&TXN~Xhs28~^uNo@rL$A$jQzqW5ZCVcmt_;62Q{gs`9ZhTz+EUQH(#C7F
z07>1M;r|prknnE3lSiGP9}}RjicMD*gdNP57Rx>-R?(!2_(rrD`N9%f>LDvxWJ3vj
zy=~|n{mZKn-;h5yCXpjEZP7<-Pu5I*QT(E4)XDoH-bZGgvtvm&-8q-5RnZMlO8nWQ
zPG{VsxJ(qK-`xpj{YDCpfXl4eI{jkLALmfKR=OM|d{t!!3n%?i3%OYv~Aj=E(kj3@7L
z419WKRsNJI-h{#m94pTOwJY{VrkD#aXcqA#Ji|Vl>WFnoVi(pDw?)cap;|~m$hTLI
zy&U(1{dzLeUmj+nuNVv(R@u_fp-U?c4y^$*rY|Fiy0AJnOG0vMNhwSmr4|jVh&LLE
z)hHiPukAO{NZ(wcLsQ>1-_Hpl=n$SU2~Txs_#7EjxA5Vi?^R^xnm!uMFYsY^0hI>i
zaQftHP;WF%;9SwGlACo&qYu9nXOH$09Sw>cdyt9dJAot(hq+|+cKE^WAI2nxQ%^)q
zygv}>wKn1vFL@{DlS|zUKR0ML<0F@rqZ=WTa8}Ebb
zld&lxWMM#wQwfd&
z;*pW@?5_Wo1pZs{`g;i^;htA*-e=V5RNEZ4nFuewuTWL>L*-W0Z=X@sISceBGb~#o
zowi(oHQ%Arb8@2UY_CeJ4#l{MPAQ4brkGYs*8&)utja9L&ALtd;_lJNk+T}8I~uUU
z*vIkaITXp`t=b5i_=`eZnX~fV0U1}CV;mECD*HpBI_~?vfeMvcqDa9cbbgGqCYy^n
z7TfhzR+>mbDQ^NX#@TA7_wMA*GCP;;p}}OXnlr(xWuTSj{T+i}bn|bY`tKvc?skhL
zNw=3Sv+879ZpIA5e#h@krtC`K?a_WHeuIl`FHRn*AZ+$eeJi)(heM_)@Q{f+*2#uc
z)FTtqs3VJmo-F^mSHEy01>fzyKK7?Nl1Bd;8EZ3TXs+Hh^gg^>B0M*&??zVZtnBHQEmtVf_tp#Myq`y;9u}M4
z5=-B1YdZcyCYp_A%?o<08h9UfPzT*IvuTlE=v)nb+Hfx-oKDq-v=4BN$?6bh$Q7=hA2>*F~f-^d+NKdm5hwK)e=BcfBN^m9Fe+-)@N7S
zl~n(T`2K5%c}7*g(klg^z$v5$Roq?BF2!P2A69qd3RDwe!t(wN0Otd4vS(L
zA6I(3Tx{)^$+)WOL_7E%0yMbhg1S^PbN
zZsmyayzD(9%oG~QF8&bWCtZ5QDfYM{;^NC;))E&9?WN2$g+p2bQuxE+M@czQOpDaFRKEZimU77S_hwr2VMnwy~Kq@#p@EwPD7Bjq3IJMrt&24dXIjKCh;
zOohc2V;~jzg_NdB2QEDi?aa9`E9L28@V$BIU48ymp;Lr(XZXCPL?l@aLD^raCQzv%eQXbCmA)02ZxL%A+i<9ohDwZf)l|Qc*#tYxCn;
zwVTL6Q@yidGEiJ-q)jZUk9fy`Opt`#>b*J#=o$`nSAW_~yCpWzE$v~M{2jLSW)jzV
z{B5FlrgFfWrKtLPNnA^r77%6P#_6%ypi8gECjpYUWErZXmzQ%#HJ0|=`u9S2!+6m4
zaF4N`;zTP9tyHW6GMRh(*CkTo{0*m?qSJ&~|M!q|^r2%jSCA@y6C+PJ+qxi!vLBP}
zIz;C4WxhJ5C73ZWt^Uwv1Lj>3Q@^KtXED{LHd!@8)}iGD>bYvt(slxcRI(JnA44sA
zh?0swD_NR(&A6zdT7V#BpEUMrmQ{D9=|uihQs}eQI$+h
zh4f>=SyyAx$~tMsx@E`u8t0}PV@I%baXfRsU8oh4))&axcvcKVv6FG0zaiG3l-?S=
zyiq3A6HI|3IjI_RGDI_;dleOUueYU_(ova%Kg!|fJ2xU@B`ZPR#O
zWaS*AF3Ta)Uhwp%Y?3?L0JZOi?y>6lK_lHUCNFMY$SeCWv2`-Vg6U!)XJKRP4GB26
z{)^H#6q`G;ELAlG-&_Q4t6_An!80M;PvVN7liSWhmc7J~^eQ@+vJ&R;16pz8`%rAI
zvzb_5{VopD9<{-WQBJh*MvQuNY7C*lKE3}7GSlm}^6MCut>m^AR7GvvCm#Xl#0}gW
zF92u36?(_sGY|iwu;-e7PG38%&Hh5gegt#)8~3sf(ImdShlXBe`fXWTNNeQQ1ypd<
zX}=T$hOhx{g!wA`|1a?UYn%hV$&4W8O;W$KJN1xJ_jj$+r0zx*rvpdP5W&~VQ$`h>4>`@R`HNHuI(1x0^L8Y3
zzR=0JUYW;}?ICUbdn@G&N{3}jnJ8SRlsq0}m3|L9&^L4f^$xO(-v$=&QQUaEVOAft
zFJ4}A(`8vM+PL`jCz+A*XoiJeApa?XYpUZJ^8H{rwRy&(&CEx3MS;hL0#@V7fpbIw
zz|JHc2-u#0C=zE8qEbAj%0=+Ci088PgpSAb??kwcvu2mxarX_*BwF;R*RA#Bjw~aQ
zBd>nEy{lOmuny2J)LE`MBZYx)LYYW|Q#|GCa;UM3Xz?nNMdd!%`IfWA{j?bo$+
zOq|%Pg!kpIJZigg^KQ6f8BV!^(gQqOW}#r0wOdM*%E@}FJRp&S;o<>K#w
zUwyxbmLfo(nWDq*Zf~*y7m9@N;a;6ySerHnhBY;NxS;v4e{a%>ML73;}v_TR*$i%ow!0Q@UoqpV~F9=MQM3y0<~@hl_!FzAMf2URDf&s5n42BimED
zjXZh3-rKf(_(OknIo+qiVfIW^^c5%~|2O{TQo>4oA>KmiZW7x4E5AKa`EwI&rY9M1
zJ{{WkObd6;=)JJfD}(ETA7aD|CB=f0l);u~ZP@2;{xZAu0;W@Ag*K(XDvZNFR$)A`
zR3f7-*~)=AAfIgQ{E{y@aQ*!8z*&hLgW-*)B*Yz_wn6Lp8tK*P3pTOFbeen4NvdXW
z@sB8$c`fZqhLG`loI^|Z^~%I(xJ-L`$`uiAPcCuBJ{^Z~}$*Ep!+vn)c0t8Rw`rj`m;{4;R!
zs2;${<@cL`Hb9Nu;l8}peQkMd6K~LyF6~Rn8pmHnhg+xE0!Mc@ju-u3%cm2Lxi`xm
z`38~km~=18)~(F*(l~DC`t>g9wMF1(Hup{3yLh_k7|=t&H6d?cDiH+cedqi~W1;pj&aZ7E4rfp5A4v7Z-o?8nOmp+$lZ>oaODBX-
zS&;~^tUhAdeaN(HQCG4*Gh7^gyDtVYa)o-TiTc1XKdtcVe9@0$h8ZO
zew8>^7Fao!P8+IASholH|xb(+Z)PlD(``MH(9kS4WIz?_$fAeeOF|_Q?ipx*!+~T=*HG$$T
zFs@lx4Qd&XIb?J{QqZ&z$GWeGb8!SymYuq?aiu&zq)pQhJj@Da7dkOk=$Hr(jF6ap
z9+Ab0wvD?-(g=}_+^>;ij7JK4(54V=2T0lQzT0vW-lvizMY4sOmkf8QKRWLz=I3AO
zd!$FJxWAIl$u}E4@4$e-Jh5R~FGM~w7c%Q~9vSYM^-_9oTlQ_8@xuWM=h2cQT}IMl
zI(%QA4-PlPGbXNNP6Y2Z!OI=DOUs?O=pf_yR=Luzgl%_c{71u`SN*^0?#*261zs%r
zlHfC8=SfNsk@PMFmd^xzW;y8O_dCKh@7
zW>9Tk1IkS$4$_|?KD8X|wMWxW<#exvCqqfqn5gk3iyY+}2br00&c?a5t=H!{;kj0P
z9^laZU0k&OLCzn8r#d+3dvT~%1|k8zDGa6h!@h4S36TEKTt2L~M%|Vy`hw2d@wvjs
zf8dtwc?H;?-V^8nx)QL%9!74Cxe?vc{}roR{;^oKMRj@EB@9rCDjRjxI8
zw*`FSh{4sC@)?TkR_;)JP*sts2pnTnPai5zRg9ASI2S=nirkeM8%tNQV-!#9(_;dL
zAX1)?*~YYl!2C^KvN12d=teo=m~F5EqoQdDBInWM7+SIT6Y2a!U~$IZf*Vit1g%wkIGy1lOaEBP$#(
ztdFFaKk(J7`@Ck(lM)Kghiz=`DlE0mm`(OGasHggt{VV0B7I-~*FbGkV`$wEgkiMi
ze~}4F&rO*O_RA48%Fpp^O5bd@yaRPvqkCnZu_?N#US2ITjAnnvbJqyiub;T^bN*W+Fa!`|o0^zS4vg3nRvhykatm4Q0
zin0}ccyE14BurbPpa1Z!@bjYG^L?nsFBRM=cyBDGiNyHrE-kaMmiTt;xo-@&DLY1`
zMU~2{5A)kr(dXV`U)yK{aL$D`+lA3UHJ({$18#D7k2^704FofE0aiM5HC2GNF
zgJ)Jy2t`T8tmhlWPd8ZEB8$Nhau7n19XKY@{a5)2N_jif|=k}A08YXP`-h)6yZ
zOYh<%V%1D9YWu|(9Xtp_ZeReTGZF3!E$xIrjJn?+YYs}D$UoH~JE6AtK=Yn)qi(q>
zda=tY(I~7=za<3V3O%6*-+_5ot%xrGzepK05;`if$bS$4qSVHe@%U)~TCZu_#*{Hc
z#q}K&t+24luxL~ZnDZxmXcS{MI<{aoOU=KpTg4!Awi`N1RLx0D`%RhlR|snCp5t%5
zLY2Th7;PP;mY^%#j{Jv$O(#z-9(!fRqN?Ag*h>y|uK?U|{NS7Amu*(vO?LF!^gLtgMtMHo}mJKBMCwGUI3>Y)TLpyN<@*VFv-il-_iA)
z1JF#adNvvUM}+$+i}n8%LdSm~cmJms;NPu={tpG;6Dz~}cnlEXE|!eH#DgfGdJJQ>
zTepB_Y2BFUOZ1=J&Yp^32&@+ScjtMe)YGaA5P9sYl1V4D$XRzfV@7^&kU>ens^w^Q0o@6*ry3nQ5A+
zL!1@QE^R*gN*7u7`<1}3p~uXC=m|Ev4$t=({?@MWln1Y9%)d`?PtJ0L+ICLv>o(-`IO+Y~$y<+<&Q!?u--F^QC+po%sY5KSH52UqRT3K@-r*3X6$ENCFZMhGTbshoO%z
z{ajo6e+LC^?+&-9BnGaj^OR2+T$)sn;X~WzacwB5v7po6#j>@R&-BNEeg(Bm4O+BS
z5lbnt1@PUIsC{rrOJ=l;E6PLUqTgZ89Z<0=V8`RUQk&3a%e_$uATFN41>i1;7EYeo
zt_cVaPBNi;%#dI0oOgy$KQ|&7Zs6oXkqG%!VQ^bMViFz}-J;13N{J80Ru8M_mgc*x
z*nEH+;N2FJl!26G!oo2W_|%*jPhCI(JF^X1a@%vP#4AXIB!jkM_9HFZC+AjNYy++b
z&94l0L`n^8l$bkrTuNupe{6Dci9%nhbJ3?skjsbSb&s>*5}i+f6?`TCygO>6oJ6~g
z40q!PfXF0*SL8#@)(@MOh4eX}Won#Sg!^k31AkEY0x%J6$zBd|g0Kw9YAFrxo=!^!iT>Op*yyffs+M3Ad;AlE2frd0j
zU%7&_4svu0Qf>%e++$Y{$V#&ABBE`$eNn&UW9+HHvuA7Bai9))Bcrdx(kM>-zOn8VzjBshNd&c=<6Nd=DN^G#
za<9}RW_{m*0)uC=i*`YFg9IIV`t8B8Wi7O>UmBQi%eX17LTdq#&!I^aZy%bT$L!ne
zo<$yRmi|EPI#LiOpaUEc9Yt9-jF@OHWWz(c48HznV2_k6lLxyCf~^d)F`BG~yW&6Y
z%$WcWYYck<8UEQTM)6F{@UUQg!m4#P(RPK9PGRf-irAXwf1
zEPu3e<3}>0xNAggS<|-L8iQUp-}Yr*(G(A-Bmw1GgeL9wTT0g~8t|YiK0imh^SWro
z{y>p;qpTHL*cAY_zg!%e2}68;0WrKS)43gjv}e`brz>Up1WJnG_6x4>J9vb>j9PZ3
zrE~@#j2bhTfLd5b788-Dj$c3`l@SxbYBYK3@Q+lkm;Rhkccgy#yb%Sf=o5JVKz
z2GnN#{(q%XphEO|RAWi;)GLVc_2Y|a1f;!cnR#@S`af~&0Qo7)W_hQWAMgWIOzFS2
zY_r4=XhHRbC~I#AwZ6%1x0DrFIDeW&Zr(0H5H~jj+7Ajy
z$vS&!lZvB{h1xyk@0U?o12VmR{5TG>TkgGdFPqF~6HbVX;m*WRz|MycJVOE33LU4F
z8C=dOW+8pa#LzhVa4VR=OR5+)(%xKU%g^v6KJD`Sy<|YgTFo+&hT|fdJw-cXFVq}g
z3;{~y>VOxF4=X}J)}#KAV+e74s30Hevs$8Tq-JLU1
zgCV#GYX$Hb^lFFbeDe5u2~nrVihle_?k=v#Px72Q$eZ0IEe2q>O*I?}x24RG2-_;1
ztabmf{+1R3u&FPoI@tgIxfl~DDO}n>Y6@#iTQ8+xZ$7Hk1@XZ8_a$IB+nzZ%^bniXLi0dWNm-}@eQ$g
zF<&zOZt(`m5e?DV4C782$;io#U6JYZGe+RNgYK-
znlSw)lK1KiUwt2F?&U?LQ4^#9)RsUIb1PU`yz0zmUa_b7s^lMmt1nn7<@Ez;639lD
z4+~z7?LR0e+dMXlg%m)8U@kRJmT#PRoes7FyYKd>ulS7tVH?z2e@b1|U{I(b@RNijEG}&PO(YZr@&;22XE*G=wT(
zDr*#R%%B|}|75jZz~vOpb_BZuRy+1dEQZe%s)4ik>}&^9k_lP(DhrPN#HTkNNQNxB
z<&RvuyTL
znX~jL)qM6YI7sqTY1K3c)d~rwRRY91Vp{Z`tHZ+)YL@C66d#91#h_jcY3BWI7a2Ebb^|#4yH^#22jfRU5j&>hUHQlO!`?}
z12ut*c=giFi*%tcFjk?jHvClj@pjpeX*B8v>+6RB649yUgzi?+(S&wEdA?(;GuhXh
znBUr0yjKmtXYYTN$W&xkG7asVSAlOpsm%QieEevjz1`uWx{MZ;QzK&
zj5LbwV?>Q6O5E&zcv0)1?(a6JhD{CFH{
z^`WhyTXlb{6YswNR9L2v)&n_RfT*KbWM94gueOih_*o%@LOLDiix-
z-6Nrvf<8`GX}(j~5&!C!cMW*`#NgoF{3w*SddgmJb-1r!rV+s~tE^Aw(gho&GR0hE
zV7^V7>CiduAPFnWP{c81Y12#coPfMPgK?EsZ}p>n%D};aIBRPd)ll{wJd(!Kf>r{
zv%_3Vh-WLVG2^2c0@gOh=|?(7x}t_Ssz99I+Mtc@#Ef3>gPaKO3ZK*%>2K1+*tJ>3
z!eIt?_a{pXg4XhwUFsCac0`!%o7~IZsu9OW%}~oORC;ixh~mAC;#NGDw_*MS
z>R)tA!$tUJQehZ^PH`~=07Eo&CGHh}H!*!MC@HM*=&s2DAc&7`e&YSNgk5!0@7OQx
z56-^c1h40RL)%W=0c9~R#G1M@S
zh3qg?5s`Ju(N98yxH`?mJhWmlJ${r^Ubz--`yQvY+KC$XI6AN!?mmwic!n9cRK?l<
z9HJO&_EDX);hCr*>!gMg(($^xU5zVXjQ%+UC~e|UX*C%qp1P$>b{sT$Ub@^o=-^-Y
zzz4Fs3#niFXwcqG0=nwo_A@ze`fTJbWq^X9s5P_Ofd>ork
z9vtsC(7kmHR#x^exi8uohwe<3-U#=r)JYVr#P_(s4?0;$e7}=)Q4P)#L2A+|2ajIJhCgrWU+S-S*oc1(vCOJ~16h(2LwJ*@&D}x#5`C
zwLEJ#F^Db#0DX{lB)`;ObxD<<_v-=EHSb?_DfJ(#OIlP0Cv{}N>5L@*IW~o&pZN#}
zKe#H({T02Y9!omg4w2z68^rf0COp{6C?}qJ8eyI4F|C^0`oCfx7ch^J
zzvI}mv1o|xSf)xr>f?r9Ox=@}8a%oGlH}P}e0`3RDu)&qr&x)1_QrVNZ
zZ?=`%Bn_!aEq)q^50BsLu~b118A+z4NF=2(Cu!jA`lOf{r5pf1*>8Dzprovg7v`eK
z1e!j%UMeV~Cvu?6EYBxrB8WqOgfr%3R%lOZLoo`9PY-ANk|U(9~obJJVgw)4C#3${6;3q_oHn
z!AH!C)DTImpaorMlW^UeRQQR<>3F8eU2(!Yo~fDF-7+2wSE6E%W1?9xJq>Ri@yi(X
zo?*8LdnZ9Ti^7v3oC@ue5Lsb=Eoi{809Cn&u)3B8jl?}|fm9u!;^Cv#{!yiFDU-GT
zn}{Aynlj$x4DL{D7QAa9hXgGY_ja#b52D7gIS{aT!2`<6NX7MQK2KEkiv?|!>9g;a
z$uM3l
z#oc~vYRljG43{(Q1HqhkjoqH3m(kPc@qV)IUGGo$^ok(7a&EIW#eP58R1MHaE^rp^
z8pp?!I>e8ET!$#Y8+Nx;`7iI}l9Ii1ShNv_w-L3ma5)^Ja*>*&
zp&;>u38WHBA9qpTpZH`$l^j$P!05Lt7)C1F`lEpUIWWMF^l{AIA9Zz#j}IC~hce+S^@)cD0(#@uWv(jH_%7wY0Z<9&0ZibIfLi-unhB>R
z*;vVW5`I%zB3@h^R$KIE)|LrY+;dioe2}&yRd3rA|bTpWw;-y64t)zB6&y
zd_i5}AQ8E9HK8Tu0Xcs1JD`y*dd)zWFD4h22xr}42c!aWhD~LTV@Oa
z>T)LP>S8dXD#l0A29SGSdny2C;e4VBOY)~L|5DaRGXQ1vJH&LHq!|CtS*tlv5t#=x
zvirNgilB&B0isMx4zYQUIX`jZh$sRR9$Fj6!u;koYvx_nL=Mfl0*KsdD5IGa>DT+l
z)1#FUJI-7;4+ch_^VWLQjL-zX?l(CoCKm260>#IIgfFJL+lS?{?kbGr;p3RW(1J1=
zy}F@*<>bf!xV8ZEkK}K#^LT;F+gu!#zqql!tc+ow%SwxU-!m3cQ`6m2%or6qjvKhW
z6S5`=MGO@B5hb8Di{*pZ09j(aEv5+|q`rKhN}OeGJ`g}s0QVLz((%Qh*`vhvw`DS$
z;iG^`&ey6qwm|+wT($7`73NOjh*A%Wg_eXh<8jET(%tAEb3-YHPfD$dN~1yhAD9-b
zctF%a*z-jc+Cq04LNlaK59EnKt}Ky0v0HA;i1xgiemW0a;?UO5J7H%|
zmd963VkBXTbbu`a>NyOpz%gqhBg!Px&Lpcq;8$b?=A(~rmct4_t;a>GRlwp6E@=E+
zJXU+GyRkdndGsL@2Ed!ILHPuZ|N9oYe=RKk*Ei8(%B>}I5ui`)L`bBgX69(MLU9qt
zBDx^U2~sPt85;xpj+M$baMlb588ok-$D+GGuu;WupalWN9-M1okCXyhiaN8N(&BAf
zcG&&!tz>+ywOFhNY+W3rj?4#|xN(qSM3&eq20o~#CI^UJx@<|w7p@>9?4d;tLGG-e
zr_I4;hc_kU`$&lW=VcaLKlW|kbZgHdmg&|f5>fVfb!6Rk#ua(vqMUYqHDrB%Md-6K
zI0(zQ=(=+<6uhBdb^^=#1G
zY1~{+{mdRervfFQlJ_y-{l5H`6uBA^XaW|-F`om)2KqGcJOGZXaGfau#}wcj@_U9^
zKBJvFWwY6nm`31yHs*I}BmJYH2@CxiT?CBT`}Z3j|8=z>_xe)h>Q5_iD`O1|Irhww!6j1bTu15d#Gb;B<4#>;P<0viJ>l=QiMf%qmyOS?~pnWR+>5q$HSTAtwfBnh;K^1S*5g
zo>D8HTIjYB*{;u-vZE@(0qM-o_w!vJ3CQYd#9|VLaJn|N#wgc;BJy6<59hv)myjfOh0hn
zN6alTqV+<*m=Ts4tW0P&lOF{)LleUlpy7lT>J;HirN8NyBDjTmssmEPNI=Ze;B!zH
z22UBtdfQL%6Ue|2sA$^Qp#PNR9WY+g{l%P3{}^);;<;Cz3nZmg?^}+W
z8F;20KjI8Wyzs9OWBZ}y>%iPFnsjQyMg%~Sb>^&i+5%Rn-NZdBE-el4Bu?PmCNfCo
z)}1T07;?Cinj}vusjoYnD^9+
z$Tk*m4RSV$>0p%WA7@&3*8=$Y>TTo9w{Nf~5Av`oFDS3BS!i3lKq~aD*cq<&qdFg;
zZ@+W9JlQisiJNl=BR{cmQoC_*=Y5i08%s})!;BlpX%fqR{ZV|yZH8%CkZD<%g%gJG
z4$xDO*Xx$c28)t^$Y$E@Y?XWo
z^V`?CZF%25*Ji%P0i2#1L^ts_w%yWuzCDlU4|^JgXV1@+49<7GcdxDKQ0EW$)(!2W
zI<2@uW?q0ZOIb_PD9m+R)ksh6Vo^yTPIcCF!ddxov&w>k;s*(qvP}0?qH~>{{Iyh=
zbYj7V!H%)+lw(uGkuI`V3HdOU*sn3rUpEw70fVJ{yaL9hj+KO*wMP(H-0QbVNa>#eni;hHI*=5(EHY
zAg7(Sr2wQ(54^tZC&G0*^6Y+oE~y3|`b)dEDOkx^u*4P92v1^cckeM!AYk1-s+Ovm
z*4KeNywdFV|Me*il*CHG9`08Z)UVJXv>A6{kH2E@%a_txUEwF)Ot#A|p^mf&hHw=}
z&Ks1msLM@_sJ9Y>fr)VtiSU)g4tNwvj?c2PVG&r?YY3SoNVSiz9~XP7-})P)%atoZDzL37_^v?bx+CXZ0}hYw$Fl!_tiIc#sywydgDtgc{CVQIG1MkMB=@etz*&=h!0Ly8=)UBPR1z
zZ=Np&zRQd!f(584Nc8*(X4#UWSBR{E+
zX%lC=1+wi%J+3csi5$of6X@6jsRA1yY$@V(dx*iPzkB~cs4l4N#nm&t%*+vZhSHMk
zsrX;q>Gl_Q{-aU}Bjx3KjvD|vt(nNt`~TAmFp`qM3c?!y*u21xPXh7@yRr8o1wD-F
zL#*aB2^@rn9&JtDyr01L5jgqG))n$QYBfjvXfkf%XzMf_+ElFdyp_SB
z)Ei?2?hWn=xv$VBrT^-Dm}|Dl=U#6#9fqp9)S|C5RgvoXHmeMvl-=L^1&MA*ayXe+
zSrMUN+#Of-*&au`=(a20gsfjL32g_wGCgv0GSni%RP;3K|M86QOt)YALoqA$;5Op;
zy(N=Y#^lN1O>tQqn{16;5-ilneNqSV=lQ*dQ+WCFnhO~kgru;5xuO+@ybq$p1&Tt4
zUAp&e#2n&P{dP+A8r3)eETje^J!YWEG!FB7X9!*wZl{Kow?csCAwCcQd(2CDPX#@r75|GXTX5QQLp65L8^W{0`{LlNz
zi%Y-Ay?=YJz4qE`<75iYk1cVxa$iW!Zphk=M(S|>uF;byF+=Xv;x;pceM;2XDO=iUf~HIg*mqPIrc5P7R}wObFjKJ9Pt
zwAp3cU+5riT$-XuE2ENIRErrN$o;){{Jq5C?blgY*MXCy;)GV@^(9?;2Aw+SMw>@1ga(CTFd_Z66RK{`X6{(kaRJs+pRekoY3kmqpBxVMj@0~sRhE?fY)zE}?85<3
z5Ii-V2J?%jYl*2PGUy#^a03}$5+fazgeeu@&Lig2w5X(FWG2Dm@6ztwBQwQ3SlkE+)|C>~&
z`S_IZ|I4R8&CSkC?L0xYmQUfphT@Y+(PUpLH-(CAeUj=modhWCh#)!-%(gFlV(^zw
zw!|)Y93Q>KaBMwSP|NkCAs>4m*r?wYuuc9|-e`$y(c_Tk^$h~>eN3H4e18rc@r0He
zbVT^yRdo#pe%B)ybVTk@I~m
zb1$&QSXSIQO$Vm+FX=^*mmvH;pVVF{<{`g^)x-H_uSXJwrw`1Yw}8&|M8pJZs@90U
z_+QicUer;S$MVO1Q7}vdy-UjN$Tf@zp0y8$_gAKqY+AG02M?E$SO7J4DHzQ%FGXxH
z{!Pk7YFG)@uwMVHJ)<-og7^B5WrIrrJ8@K&rPq7F`9-@Ro1Rrp%7{`IQ#!G2;6oQp
zi@UHfpm&Gmz5@TGzvk8hafXM-rm8b7lGCA@M`e(%GZd#)9ZWgV|hLjJZjw)0GI`k05A`o2zxmgR|?EqEM`joromZkjO_^C
z@%Y;s$X_3{@bK7AWdKmk>C0;+66BQnE54Q5Ce^aq$`o+tF!dBDQ%aw1C@2-Dl|9kJ
z0*~6yhEE~3jWo~qh`Hl-U);B0^$};*CF_#srU=#I9T^ZYL@%D@L>=T(_THpi%3Dq7%e+NXLXV`}W@)UOvK>gA?)puHR+gwuPy7#nc7w>53hY*k3;G?G7
zBvl^g{hx-&MPHNabXDgCU=Mou?y?ZJ>~K7@sCYaZ<^iaEI`s_($3?bl?J51|9yJ~O
z;5gn7`tIpG->5zNrV27(GbcD<-1S(cJ%lQ#OGUO?H9m6MMLP$8J&H~C^2Zsh5_JM-WRP77bA|~vr$!Q#)kaqN%pqB^
zEetQZj;B<_of)mBoMCuVQmZ7J9pnPhEJKl@=aWq)kkuyW05gG?5yH-Q_vU~RkG%kN
z(u3%Z;19X@^DmQ&I9OPO)CsAb+6k?MmFjf7Y^m_f;!bid5HrLdm_Kasri1&QR5ySD
zP#6pxC;(x*`=PW#tHGIasz_4(8sCpQAisC%`$4NRWytDK{G;$(T%#yw23jmx>Frh`z_$ebg_OQ|`6Ap)0Kab;<@WRI1
z8tVjn7kZ{OB*HSMS=LAHIS>g43rNZLx<(3GM*4g#lVugYy(cqeLU$nOj;AhUzw!!&}|mx*V#XH2n*_Ia_rjoiGPV#BG8@2
z&@d3q=0w<*-Kqm*5rT#SWGeH=V#Z7!#2LKs9JjGJWw~Xv?`>AE@NV=6HgdtvhD;_Y
z*LM<}3QsU=W}rBh3Gk1gZ!I!SuQ!i)Au|TyVG(2lBwU}VPYaSE-X&|kZ}|w^>LMc(
z0hblp3?r~wPAQk3raF<0Og<;-6JVSGh~6-KB>bVKkBEC^UI=@>amgeC<;Z~WmC!9B
zV&N=k6Oo1!fXBt(1UpKd3jaS)XcJ<01VEv$KSnX4X_}wEXCv0c38-5!NYupy#AdrJ
zz<7($vFih*i0A0yA+K}y&kP<%sAE$HAyB9ytKpu6Ow9|cwNT*k%MR*b#y5b&3fm14
zqsg8xrwm_T-}<#(UU1AeyuqN(c|yE-Ey{ZsX)j!3&5(|{`JpR4O(OK#m8Ngtu(B6e
ztG2jG5Pkc0Kmk|-GadEcx71DFUzed@XuREd)^*}p7`ODM@hZQOB1
zl;?LQ)OLJQ&jbA(-29Y+&Ms5?kuP&k5|+p7YiRg|6QCfLh%Q#$D&T|>?%osONjd22
z*O==xdtaS+q%Gf_UnHaC1xR;45$iJnY&!jxy+UiAKK0Bj`RNQC&>WsvU%xAhDWxE?
zHA)n>o4He$p@cHP6-B-$jJUT&8Kz;_u4+8kbap9z+w$gzx8?8Cp@m-S%BvFQJIMFM
zIqp0K1TakJ3NF1%-H^_US1RQVVeW}hvO+ZlPfKcBJ#!fYQ3#a~JOlf@vlfg|X
z4pDz`Q9FpQJ9FVTT5^E`-WPqx%oIN~z>~B0$%0mf7_|~0zGAijJWC_RG&+C#YWD58
zeb6t!Z$d)XA%>ytLU>0o>e6iBTLnI~4_O-*!|lOSE@Y@5xr7N4&yd*i94`IPiVm9s
zL}~(Z>(Vw(19(0%SUXPT0R7*)*fdv$qA}yMSmen
z@Wt^KV=DdE;AFR`Fxy6vo3mbD2YqcPcVY=a)c~lbjWOCe=
zt9Qz7Yb7!KaG=59jtthkZx!?4Ndk@Q&+u|y*o6RP)J5kTt}U`2`o4H&mn7Ehs@}M2
z$^NX_ktUq^`nRllm%AI1Y?B%~sB$v&bM$=w6mN^-D8outa{C~cqstY}F63OTWX*
z8Df&((8=8~3xD0Lc^jz34MLbS;Cvthy)gmV*u$J-fdLb@hX&9ydn`IL_@O48h^+EA
z7tJvKB26L%eb=7^#8<~%m7GJpdD5ND5VsKs|05atd+TTFyTEf(719Q{bqHVNn;u0c
z%l-BqV)xWzKQsSTwzjj|>6-hlnx=Kwt}oR4j5*BZ=JjF&>ZzE#7Q9rbeZIcu$PF*z
zq5+UO!2yzF&h*s4(Crs(b%a^*v(Kl7
zxV3u==f3dWq`N`M&w48O0<=3;zoN**in*KJ4HGfGztMh`pTy1@>-hfJ1Dg|*EU2vV
zGbl;n+4D4ZfSx0-%Motm#4St8E7c??>pdymrl2qUXl6()Ppw_j8d1H^TQ3E3zpI&v6=clR+(q@YmJ2r?I<#n
zaOJn&$O<2YC9>jE(|H*3>Y|*`i;w1gLNY|Bn38YjiEsTcS&Afmjg+_Mh{P
zrlvw`9-P)VEhx;tI$3!_Q6OxGy(J-W?>*cwx~2p@{;Ma5;_f=0Qt&kq!o-g$jPOxN
zPzEZ)lVnwg|TeQxJ
z|64~rI*Xt9um=dR0nzHv`=|0j|uH|vHq*N6wt%zg#;-
zCcj!U3_lFN;~qCxX1G^9OG!0G|92aw+HoK2U@kC39(&PH4td@DO$j{)Z$QcvH0
zs4n!NtJSG}7;`Y7J}5fgVXiG`xUjtivFzPL?AvPpxSQ+K*moU>@mDRdc!j&6Ia&5W
zZJRnHrb?k%mfz>@e87b)MptC?daaO_6v|P&9`&ZpeZD-ABYCWv0wdN}H&OHbD^_j1
zRKQE~F^$nv=s@zO%$rbNANUVT;2PnRDwU8NHBiM0i9@GW6;6PJGU$xwdi*(-5Cte&
zM;l~IJYi-)8yWC=MouabmsO*nsdDn!Y9?NQU>SJ6eC~{1Jpms7;96Yeu>K2(K!>gE
ziGK3vw_0*7m^eMsJGW-%OKKOe0XD6R>tkBWb)A5hpiN)Uql;fsj4u&RjMkWdlJVyV
z^2h5&Q@?W>jAJcF-4jg&q)2izu?>fn!vLRkv9Gvu6Yd}UhtInB%Y0Vh{Mlv+z)u6t
zebOYLV&$^yH*b=X(KaV>1Ke{r2IOjM%1stsjN*S*%k+K?Q#N)%)e@ug%PYhNpE0VQSAuk-RkvRekLwRcPE$S#Y9Gk$7rwSu
z1XB#$gRvUT-y3Otb##{sgd=C$Wn(&z(-?k*VF!4eJ2yHuuj6rLJQ|vh$QS=(G{?3A
z!VbWbf?f5ppv{61*l(u4?9``PLJ0!f!19%=JSJ)MV&a!t_>Wvf51P)I_mM9isl*@j
zu6e}+tyb{SL`rQ2k2|B8pFMBcFahqTScpfJ3Q$QNQ0MYJOA@>%mg?BwL#nCcoG|j{
z`6{_Pu@l%W6*1tu(_zJYGIp-5?rMd7=b}cg{
zwMZ+h;%(VjYuq(Jf_aL8bGql>(XzOk^o$-=zH9&
zH=Dk`-}r3X(yVeBf7PaR7Ad36Frz))?Tt{e0Hn;7zUFBdf>!zTU&)jkE4~?25$nrK
z3(5lx#xj#UkFm1mlH#aVMl3==w({2Q2EN~Z>G5zAad3wuwQJwYzVy}j9{Tm;e)o%M
zA4m9u{n)n*FFWn=Y$ixl9oqWhCiZ9+SaG
zl-?hM5C^muY7gyR-evPzqaRA%3gO(ZdH0)I6SNPe2<)RyK;x6b8U)>^#jpv$|0h3G
z7}mbdr3(b^ELyf4!=F#(0o0Pu{sR<8S$`QLs0A$L$99sOwzSO#YAL~DPi5CWnW|#D
z8T>4g2rYfh5>m!L@WmRDGD#`)iYLkX+4@=S@4=>bXlb{?Hb0wVh=bvMc;gaWihIvb
z))Uj*$QPb)$-_Hn7?>^uaQUi>U~ml{uUj0Gr}Y$oA!|hnLan)$XR}w?d9QouX9U~@
z+Jk*Lu-2S>)N2hJV2BrsNH_DvjTgHGE&cwEacURWv-G?CLmO+cNIX>T*bpbK?t~=4
z_Z0f<(NfHthw1q|qF8LTb{_^Ctxr|e8VWGx$uj+dbtaGAHVMq$(^g7w?=^^2&Im#34)Q+T=xNc%e8+IPb;-rl3
z;~%iz{-}3#@P543>!(c2oh?r;>;lquj2M}(^N*w|Fi9W|E~me%p(XzAQDrfLu=QMT
zpy09IrOYgQF{IkNl;d!;7OgP^Zb@qM%s8E~=?pR+Z1cO%YY<1jicrqfWsPfa+{`s@QlPF
zE*{1kOt5_>1eq35X8kJK;I)A|?zD||JK$7?kYlHJ?>v7B~<
z?12R*pc&5{pka1CdrNG%kM=J`>i-Ss&M0L#(n`s~sL8?`v^t)8wau9cHDrf>(}S`m
zf)|AtbH&h?G;F0?{+-ibHv&9sjJ%pjCA@f4q}`$BpuMFNVz?gW00yM=B{Q`1iz7wBnj^b
zB=N6EP+og_z9-JyXM2~#Tsh0}YuVto=~KbiKWp&s52ah^ht@6|e3cz
z&%YTzE6ji5Zm9CUC9y{(@=Qulc|s(}P?c;ZI(JALN4LWu3H4dKDK40eTmK^}bt7sL
zK74+b1nOh8ct`bC>qP}89R|70l9X8(I|vsbft>8;5=&G9p7U9_XZbv^IC!LoJL5;j
zgelb^pvA*+UUpE+j{9`rY`6b>iJZYx&`6UMt3g-V?>^wwIB!XJXR5VVmVV1Jei)aA
zENSzQPl%B&pky$~z;$(QNkLV7d|f;mb<2X;IVGkGxz->9l@H?;gXT-dvBSQN%ic7e
z{)cf)gXL?hWbyrrSFFyCs|Na++TAHR+HXB(`RtQSq}_+L8Exv;XkCPWbUJj0TTk<~
zdG@2|ebIEA?!2o^C5krR7u-pX*>aiwV&qHW&Szx7>icfx=G^v7Zic-EhjnaEfAoILRV|$A(e0>Cy!A;)
zqG89|7O{)W_12@6U=)Re{-{<+ZxAEnl5iN(+%Kr;=85%Q7}?c`IWodr;WmI5ej9NN
zw2*VP3==oOxfwh!N>h-ZPg%#J61A7IQcsC|?if$_t%zJVh4mk2#@fS?L3F_#(#zwL
zod`j^;$G${!cdb8uNz!~-#;UODgZ80#7|3FJI4!uyS4M=^+FAFT=Ek9jWh2tW`p!H
zEYh{aqrf~bp7+I!McYw#^3}L;_3HYPc&*(6yDzZ4e0A1ydGsPaedFC=hacuNOI&xn
zbz4ORT9
zjr=SiEl=d8N;*>v-US>!+Xq-Je%o>V;`y!$6^JH=KMe!+mnbngJF-sXpBEB=SaMAVtXy59!d32Vy3@z(8N_gfVV!FrUvC-E$NWxevpy}xkUwi
zS}GPRp%LYr0*9t}$fh%vs^ZURW4#*+8~ww+
zssetLOOgfqv+!a@4BM<*yJ3Z9qenL!$tV{s%de>?<_&=Rc$s26#l6Zrp{m@?yKod1
z9mbccpBT6SIV;_UXZa`5=$PBz
zk>jv29xB)9_0!7td@~#{ck|FndbFp;dS>+O{$zcMHQpzu>q7ghmcxOjw^rC4w{1c%
z)E>oNyRy)6pYti81c=1Vya;rdZ#k!r_Hf||XQHxO
z`?3$7M-unyO*OnX(eFL){s3~m$&qf!e@|~T>nRpPIAM2HW%;pVHT8)%lZj{?4YqG6
zS+w2SDmE%2xK+sFXW2ESxC@T|gQp;o#_Ga>^6^zfpX{JYGiUNu$e@QPk}8bwcRa^7
zq0)V)xwO=)cZ)o?Uwp~kos45=K14qq;wCQci##d6EVVT7`Uv*M4XB#zDFc-1NLc7u6l|Ds#gI)T
ziexmBw=)XlsWS{K#P!7qIJueGlO9pW*A10!+&(ms%}oIItG4NoL)(r%EV#QmVAJB*
zhu>_({i0U%;*Wa{J_U|x^|mDTA_QdGeKV5FBI18|+VFBUvvNbow|ACb8$K4{yQ^MI
z3O@m|YXtjB@Oan2>yJFJ0UB`Jt(@vG-u>gfxLJQ_a%*+zdvY)+TK7v>kid?@q+3>d^qd#vR@OFp*F4
z(wW%%J;&?2bJ^tiiW_+pj!HUwvp*iJnUxpQRIXU#{F~kvVaeTV@-!-_;^Ec1(YG;_
zh{s#w)bR%9-sGy=>XQ&ZnQyMKI0X9MyfZ!iqcEc(N+=k`SbWW+~dY8aeK6z^pHzs^AdpYdw4Ag-Zk
z(?EWG%FAPsWl@#@u6{bgv}u}ZWf3f9<`(fY4uu%x?8T~9z)GAzhP>RAX
z0NsM635WCIpEgkch{?d495kO;OhWNn7Fm+$1oO7djuq>GM|@}#=*G6h74mHUy<+Xa
zarW91{%BXXvL`1(xZrZZ`QYkVI><01ps76kc#%JT$gO$QIQ?ik!KwD$9f{!yi8ISVg%~n6
zIy`&3@zrS@FfL
zUgnbwDj%$^MX(x`5Y>7=!N9k#97oefhs7qWjE!sil>19{BzdqC32LvaYRV@~lKPyP
zfr$)QYZD!@tfO(#DE~amuXRQe)5sW{fC8uLv*%}n^zu>-VxA