From 6458419730ca831b9a904b7744c8d97a10dc86fe Mon Sep 17 00:00:00 2001 From: QiuSW <105186638@qq.com> Date: Fri, 4 Sep 2026 15:42:16 +0800 Subject: [PATCH] =?UTF-8?q?=E5=88=9D=E5=A7=8B=E5=8C=96=20AutoAgent=20?= =?UTF-8?q?=E4=BB=A3=E7=A0=81=E4=B8=8E=E6=96=87=E6=A1=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .gitignore | 8 + AGENTS.md | 191 ++++++++++++++ README.md | 33 +++ android/app/build.gradle.kts | 40 +++ android/app/proguard-rules.pro | 1 + android/app/src/main/AndroidManifest.xml | 31 +++ .../java/cn/auto/agent/app/MainActivity.kt | 37 +++ .../core/accessibility/ActivityTracker.kt | 13 + .../accessibility/AutoAccessibilityService.kt | 73 ++++++ .../agent/core/executor/TaskExecutionMutex.kt | 15 ++ .../auto/agent/core/executor/TaskExecutor.kt | 70 +++++ .../cn/auto/agent/core/model/TaskModels.kt | 42 +++ .../agent/core/persistence/SqliteTaskInbox.kt | 66 +++++ .../auto/agent/core/persistence/TaskInbox.kt | 8 + .../cn/auto/agent/core/protocol/TaskParser.kt | 68 +++++ .../auto/agent/core/scheduler/TaskGateway.kt | 13 + .../agent/core/scheduler/TaskSynchronizer.kt | 31 +++ android/app/src/main/res/values/strings.xml | 5 + android/app/src/main/res/values/styles.xml | 7 + .../res/xml/accessibility_service_config.xml | 9 + .../java/cn/auto/agent/TaskExecutorTest.kt | 42 +++ .../test/java/cn/auto/agent/TaskParserTest.kt | 40 +++ .../cn/auto/agent/TaskSynchronizerTest.kt | 37 +++ android/build.gradle.kts | 4 + android/gradle.properties | 3 + android/gradle/wrapper/gradle-wrapper.jar | Bin 0 -> 63375 bytes .../gradle/wrapper/gradle-wrapper.properties | 8 + android/gradlew | 248 ++++++++++++++++++ android/gradlew.bat | 92 +++++++ android/settings.gradle.kts | 18 ++ docs/agent/README.md | 37 +++ docs/agent/actions/README.md | 43 +++ docs/agent/actions/back.md | 71 +++++ docs/agent/actions/click.md | 88 +++++++ docs/agent/actions/extract.md | 96 +++++++ docs/agent/actions/input.md | 89 +++++++ docs/agent/actions/open.md | 77 ++++++ docs/agent/actions/screenshot.md | 82 ++++++ docs/agent/actions/scroll.md | 78 ++++++ docs/agent/actions/select-option.md | 63 +++++ docs/agent/actions/wait.md | 80 ++++++ docs/agent/execution.md | 103 ++++++++ docs/agent/flow-control.md | 127 +++++++++ docs/agent/protocol.md | 101 +++++++ docs/agent/references.md | 38 +++ docs/agent/roadmap.md | 66 +++++ docs/agent/security.md | 29 ++ docs/agent/selector.md | 91 +++++++ docs/agent/values-and-outputs.md | 102 +++++++ docs/agent_common_action.md | 33 +++ 50 files changed, 2747 insertions(+) create mode 100644 .gitignore create mode 100644 AGENTS.md create mode 100644 README.md create mode 100644 android/app/build.gradle.kts create mode 100644 android/app/proguard-rules.pro create mode 100644 android/app/src/main/AndroidManifest.xml create mode 100644 android/app/src/main/java/cn/auto/agent/app/MainActivity.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/accessibility/ActivityTracker.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/accessibility/AutoAccessibilityService.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutionMutex.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutor.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/model/TaskModels.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/persistence/SqliteTaskInbox.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/persistence/TaskInbox.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/protocol/TaskParser.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/scheduler/TaskGateway.kt create mode 100644 android/app/src/main/java/cn/auto/agent/core/scheduler/TaskSynchronizer.kt create mode 100644 android/app/src/main/res/values/strings.xml create mode 100644 android/app/src/main/res/values/styles.xml create mode 100644 android/app/src/main/res/xml/accessibility_service_config.xml create mode 100644 android/app/src/test/java/cn/auto/agent/TaskExecutorTest.kt create mode 100644 android/app/src/test/java/cn/auto/agent/TaskParserTest.kt create mode 100644 android/app/src/test/java/cn/auto/agent/TaskSynchronizerTest.kt create mode 100644 android/build.gradle.kts create mode 100644 android/gradle.properties create mode 100644 android/gradle/wrapper/gradle-wrapper.jar create mode 100644 android/gradle/wrapper/gradle-wrapper.properties create mode 100644 android/gradlew create mode 100644 android/gradlew.bat create mode 100644 android/settings.gradle.kts create mode 100644 docs/agent/README.md create mode 100644 docs/agent/actions/README.md create mode 100644 docs/agent/actions/back.md create mode 100644 docs/agent/actions/click.md create mode 100644 docs/agent/actions/extract.md create mode 100644 docs/agent/actions/input.md create mode 100644 docs/agent/actions/open.md create mode 100644 docs/agent/actions/screenshot.md create mode 100644 docs/agent/actions/scroll.md create mode 100644 docs/agent/actions/select-option.md create mode 100644 docs/agent/actions/wait.md create mode 100644 docs/agent/execution.md create mode 100644 docs/agent/flow-control.md create mode 100644 docs/agent/protocol.md create mode 100644 docs/agent/references.md create mode 100644 docs/agent/roadmap.md create mode 100644 docs/agent/security.md create mode 100644 docs/agent/selector.md create mode 100644 docs/agent/values-and-outputs.md create mode 100644 docs/agent_common_action.md diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..611564f --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +.gradle/ +.idea/ +local.properties +**/build/ +*.iml +captures/ +.externalNativeBuild/ +.cxx/ diff --git a/AGENTS.md b/AGENTS.md new file mode 100644 index 0000000..79f0c49 --- /dev/null +++ b/AGENTS.md @@ -0,0 +1,191 @@ +# AutoAgent 开发规则 + +本仓库采用需求驱动的轻量开发流程。当前项目是内部系统，不设置额外的敏感数据规则、安全审批门禁、工单门禁、原型门禁或 Wiki 同步门禁。 + +## 1. 基本原则 + +- 以用户当前确认的需求为实施依据。 +- 收到需求后，先分析目标、现状、范围、约束和验收方式。 +- 存在多种实现路径或关键事实不明确时，先与用户讨论方案，不直接猜测。 +- 方案确认后按确认方案实施；需求或方案发生变化时，先重新确认再继续。 +- 只修改当前需求涉及的内容，不主动扩展无关功能或重构。 +- 保留与当前需求无关的工作区改动，不重置、不覆盖。 +- 测试结果必须真实；未执行或无法覆盖的验证必须明确说明。 + +## 2. 标准流程 + +1. **理解需求**：整理目标、输入、输出、范围、非目标和验收标准。 +2. **检查现状**：读取相关代码、配置和文档，确认当前实现，不凭假设修改。 +3. **分析方案**：说明模块边界、数据流、接口、持久化、异常处理和测试方式。 +4. **讨论确认**：方案存在重要取舍、接口不明确或可能改变既有行为时，等待用户确认。 +5. **实施改动**：按照确认方案进行最小且完整的实现。 +6. **执行验证**：运行受影响范围的单元测试、构建或其他必要检查。 +7. **交付说明**：列出改动文件、实现结果、验证结果和未完成或未验证事项。 + +对于范围清楚、实现方式唯一、容易回退的小改动，可以在完成分析后直接实施，不必重复请求确认。 + +## 3. 项目标识 + +- Gradle 项目名：`AutoAgent` +- Android 包名 / Application ID：`cn.auto.agent` +- Kotlin namespace：`cn.auto.agent` +- 应用显示名：`Auto Agent` +- 无障碍服务显示名：`autoagent` + +未经用户明确要求，不修改上述标识。 + +## 4. 系统、Java 与依赖版本 + +### 开发环境基线 + +以下版本已在当前开发机实际核验： + +| 项目 | 版本 / 路径 | +|---|---| +| 操作系统 | Windows 10，版本 `10.0.19045.3803`，amd64 | +| PowerShell 7 | `7.3.12`，有条件时优先使用 | +| Windows PowerShell | `5.1.19041.3803` | +| Java / JDK | Eclipse Temurin OpenJDK `17.0.13+11`，64 位 | +| Git | `2.49.0.windows.1` | +| Android SDK | `C:\Users\ila20\AppData\Local\Android\Sdk` | + +开发和构建使用 Java 17；除非依赖升级明确要求，不自行切换 Java 主版本。Android SDK 的本机绝对路径只描述当前开发环境，不写入可提交的 `local.properties` 或业务代码。 + +### 构建工具版本 + +| 项目 | 版本 | +|---|---| +| Gradle Wrapper | `8.2` | +| Android Gradle Plugin | `8.2.0` | +| Kotlin Android Plugin | `1.9.22` | +| Java source compatibility | `17` | +| Java target compatibility | `17` | +| Kotlin JVM target | `17` | + +`gradlew --version` 显示的 Kotlin `1.8.20` 是 Gradle 自身内嵌的 Kotlin 版本；项目 Kotlin 源码编译版本以 `build.gradle.kts` 声明的 Kotlin Android Plugin `1.9.22` 为准。 + +### Android SDK 与应用版本 + +| 项目 | 当前值 | +|---|---:| +| `compileSdk` | `34` | +| `targetSdk` | `34` | +| `minSdk` | `23` | +| `versionCode` | `1` | +| `versionName` | `0.1.0` | + +### 生产依赖 + +| 依赖 | 版本 | 用途 | +|---|---:|---| +| `androidx.appcompat:appcompat` | `1.7.0` | Android 兼容 UI 和 `AppCompatActivity` | +| `com.google.android.material:material` | `1.12.0` | Material Components 主题和控件 | + +### 测试依赖 + +| 依赖 | 版本 | 用途 | +|---|---:|---| +| `junit:junit` | `4.13.2` | JVM 单元测试 | +| `org.json:json` | `20240303` | JVM 测试中的 JSON 实现 | + +版本的可执行事实来源依次为 `gradle/wrapper/gradle-wrapper.properties`、根目录 `build.gradle.kts` 和 `app/build.gradle.kts`；本节用于开发约束和快速查阅。升级系统基线、Java、Gradle、AGP、Kotlin、Android SDK 级别或依赖时，必须先分析兼容性，按需求确认方案，然后同步修改构建文件、本节和受影响测试。不得只修改本文档来宣称升级完成。 + +## 5. 架构与解耦 + +- 通用任务模型、协议解析、任务同步、持久化、执行器和 Android 无障碍驱动保持分层。 +- 核心执行器依赖抽象接口，不直接依赖具体服务端或目标 App 的业务逻辑。 +- 外部服务端差异通过 `TaskGateway` 或后续等价适配器隔离。 +- Android 无障碍实现通过 `ActionDriver` 向执行器提供能力。 +- 目标 App 的包名、页面识别和业务步骤放入独立适配层，不写入通用协议和执行内核。 +- 不把 GoAuto 的 PDD、采集、采购、规格、地址或订单业务逻辑带入本项目，除非用户提出明确需求。 +- 优先进行满足当前需求的简单实现，不为未确认的未来需求预建复杂框架。 + +## 6. 当前任务规则 + +- Agent 从外部服务获取任务列表。 +- 任务使用 `assignedAgentName` 指定设备名。 +- 只有 `assignedAgentName` 与本机配置的 Agent 设备名精确一致时，任务才允许保存到 SQLite。 +- 设备名比较区分大小写，不使用包含、前缀、后缀或模糊匹配。 +- 不属于本设备的任务仅忽略，不写入 SQLite，也不作为本设备执行失败处理。 +- 格式无效的任务不写入 SQLite，并在同步结果中计入无效任务。 +- SQLite 当前以 `task_id + revision` 作为任务版本的幂等键。 +- 任务是否入库与任务是否开始执行是两个独立阶段；自动执行、领取、租约和结果提交按后续需求实现。 + +上述规则可由用户后续需求修改；修改时同步更新实现、测试和本文件中的长期规则。 + +## 7. 任务执行约定 + +- 任务步骤使用类型化动作，不通过字符串分支散落实现。 +- 新动作需要同步更新模型、协议解析、执行器和测试。 +- 控件选择器和执行结果使用通用模型。 +- 默认要求控件唯一；匹配多个控件时明确失败，不随意选择第一个。 +- 每个步骤必须具有有限超时，任务执行不得无限等待或无限循环。 +- 包名和已声明的 Activity 必须在操作前核对。 +- 业务特定的页面判断、重试和恢复策略由对应适配层实现。 + +当前动作： + +- `WAIT` +- `CLICK` +- `INPUT` +- `BACK` +- `EXTRACT_TEXT` + +当前未实现的动作或能力不能仅通过修改任务 JSON 宣称可用。 + +## 8. 代码修改规则 + +- 开始修改前读取相关文件；不要只依据文件名推断实现。 +- 优先修改已有抽象，避免复制相同逻辑。 +- 保持包职责清晰： + - `core/model`：通用数据模型； + - `core/protocol`：任务协议解析和校验； + - `core/scheduler`：任务获取与同步； + - `core/persistence`：SQLite 和本地状态； + - `core/executor`：任务步骤执行； + - `core/accessibility`：Android 无障碍能力； + - `app`：界面、生命周期和依赖装配。 +- 数据库表结构、任务协议或接口发生变化时，同步更新相关测试和 README。 +- 不生成无必要的备份文件、临时脚本或重复文档。 + +## 9. Git 规则 + +- 提交前查看工作区状态，确认没有混入无关文件。 +- 一个提交只包含一个清晰的交付目标。 +- 提交信息简洁描述实际变化。 +- 未经用户要求，不自动推送、不发布 APK、不创建标签。 +- 不改写用户已有提交，不重置或强制清理工作区。 + +## 10. 验证 + +默认从仓库根目录执行： + +```powershell +.\gradlew.bat test +.\gradlew.bat assembleDebug +``` + +根据改动范围选择验证： + +- 模型、协议、同步或执行逻辑：运行相关单元测试，交付前运行 `test`。 +- Android Manifest、资源、依赖或应用代码：运行 `assembleDebug`。 +- SQLite 结构变化：补充升级或读写测试，并验证旧版本升级路径（存在已发布旧版本时）。 +- 无障碍真实操作变化：自动化测试和构建之外，明确列出需要真机验证的目标 App、页面和步骤。 + +APK 默认输出： + +```text +app/build/outputs/apk/debug/app-debug.apk +``` + +## 11. 完成条件 + +满足以下条件后停止当前任务： + +- 已实现用户确认的需求； +- 相关代码和测试保持一致； +- 必要验证已经通过； +- README 或本文件需要记录的长期事实已同步； +- 已向用户说明改动、验证结果以及未验证事项。 + +发现与当前需求无关的问题时只简要提示，不自动混入本次实现。 diff --git a/README.md b/README.md new file mode 100644 index 0000000..4659bd8 --- /dev/null +++ b/README.md @@ -0,0 +1,33 @@ +# AutoAgent + +独立的原生 Kotlin Android 任务 Agent。项目标识： + +- 项目名：`AutoAgent` +- 包名：`cn.auto.agent` +- 应用名：`Auto Agent` +- 无障碍服务名：`autoagent` + +## 当前提取范围 + +- 类型化任务协议：`WAIT`、`CLICK`、`INPUT`、`BACK`、`EXTRACT_TEXT` +- 基于 `AccessibilityService` 的包名、Activity 和唯一节点操作驱动 +- 外部服务适配接口 `TaskGateway` +- 按 `assignedAgentName` 与本地设备名进行区分大小写的精确匹配 +- 不属于本设备和格式无效的任务不写入本地数据库 +- SQLite `task_inbox`，以 `task_id + revision` 幂等保存 +- 单进程任务互斥和可单元测试的执行器 + +## 重要边界 + +当前外部服务端接口尚未提供，因此项目只定义 `TaskGateway`，没有臆造 API 地址、认证和轮询协议。设备名过滤是当前需求的兼容机制；正式多设备调度仍建议增加不可变 `agentId`、服务端原子 claim、任务租约和幂等结果提交。 + +当前版本不会自动开始任务，也未实现后台轮询、结果 Outbox、任意脚本、Shell、坐标盲点、订单或支付动作。 + +## 验证 + +```powershell +.\gradlew.bat test +.\gradlew.bat assembleDebug +``` + +APK：`app/build/outputs/apk/debug/app-debug.apk` diff --git a/android/app/build.gradle.kts b/android/app/build.gradle.kts new file mode 100644 index 0000000..99f5046 --- /dev/null +++ b/android/app/build.gradle.kts @@ -0,0 +1,40 @@ +plugins { + id("com.android.application") + id("org.jetbrains.kotlin.android") +} + +android { + namespace = "cn.auto.agent" + compileSdk = 34 + + defaultConfig { + applicationId = "cn.auto.agent" + minSdk = 23 + targetSdk = 34 + versionCode = 1 + versionName = "0.1.0" + testInstrumentationRunner = "androidx.test.runner.AndroidJUnitRunner" + } + + buildTypes { + release { + isMinifyEnabled = false + proguardFiles(getDefaultProguardFile("proguard-android-optimize.txt"), "proguard-rules.pro") + } + } + + compileOptions { + sourceCompatibility = JavaVersion.VERSION_17 + targetCompatibility = JavaVersion.VERSION_17 + } + + kotlinOptions { jvmTarget = "17" } +} + +dependencies { + implementation("androidx.appcompat:appcompat:1.7.0") + implementation("com.google.android.material:material:1.12.0") + + testImplementation("junit:junit:4.13.2") + testImplementation("org.json:json:20240303") +} diff --git a/android/app/proguard-rules.pro b/android/app/proguard-rules.pro new file mode 100644 index 0000000..e374e3e --- /dev/null +++ b/android/app/proguard-rules.pro @@ -0,0 +1 @@ +# Add project-specific ProGuard rules here. diff --git a/android/app/src/main/AndroidManifest.xml b/android/app/src/main/AndroidManifest.xml new file mode 100644 index 0000000..94fa6cc --- /dev/null +++ b/android/app/src/main/AndroidManifest.xml @@ -0,0 +1,31 @@ + + + + + + + + + + + + + + + + + + + diff --git a/android/app/src/main/java/cn/auto/agent/app/MainActivity.kt b/android/app/src/main/java/cn/auto/agent/app/MainActivity.kt new file mode 100644 index 0000000..eea5aa9 --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/app/MainActivity.kt @@ -0,0 +1,37 @@ +package cn.auto.agent.app + +import android.content.Intent +import android.os.Bundle +import android.provider.Settings +import android.widget.Button +import android.widget.LinearLayout +import android.widget.TextView +import androidx.appcompat.app.AppCompatActivity +import cn.auto.agent.R +import cn.auto.agent.core.accessibility.AutoAccessibilityService + +class MainActivity : AppCompatActivity() { + private lateinit var state: TextView + + override fun onCreate(savedInstanceState: Bundle?) { + super.onCreate(savedInstanceState) + title = getString(R.string.app_name) + state = TextView(this).apply { textSize = 18f } + val button = Button(this).apply { + text = "打开无障碍设置" + setOnClickListener { startActivity(Intent(Settings.ACTION_ACCESSIBILITY_SETTINGS)) } + } + setContentView(LinearLayout(this).apply { + orientation = LinearLayout.VERTICAL + val padding = (24 * resources.displayMetrics.density).toInt() + setPadding(padding, padding, padding, padding) + addView(state) + addView(button) + }) + } + + override fun onResume() { + super.onResume() + state.text = if (AutoAccessibilityService.instance == null) "autoagent 未连接" else "autoagent 已就绪" + } +} diff --git a/android/app/src/main/java/cn/auto/agent/core/accessibility/ActivityTracker.kt b/android/app/src/main/java/cn/auto/agent/core/accessibility/ActivityTracker.kt new file mode 100644 index 0000000..06b3a3f --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/accessibility/ActivityTracker.kt @@ -0,0 +1,13 @@ +package cn.auto.agent.core.accessibility + +internal class ActivityTracker { + private val activities = mutableMapOf() + + @Synchronized + fun observe(packageName: String?, className: String?) { + if (!packageName.isNullOrBlank() && !className.isNullOrBlank()) activities[packageName] = className + } + + @Synchronized + fun current(packageName: String): String? = activities[packageName] +} diff --git a/android/app/src/main/java/cn/auto/agent/core/accessibility/AutoAccessibilityService.kt b/android/app/src/main/java/cn/auto/agent/core/accessibility/AutoAccessibilityService.kt new file mode 100644 index 0000000..5ebbafd --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/accessibility/AutoAccessibilityService.kt @@ -0,0 +1,73 @@ +package cn.auto.agent.core.accessibility + +import android.accessibilityservice.AccessibilityService +import android.os.Bundle +import android.view.accessibility.AccessibilityEvent +import android.view.accessibility.AccessibilityNodeInfo +import cn.auto.agent.core.executor.ActionDriver +import cn.auto.agent.core.executor.UiNodeRef +import cn.auto.agent.core.model.NodeSelector + +class AutoAccessibilityService : AccessibilityService(), ActionDriver { + private val activityTracker = ActivityTracker() + + override fun onServiceConnected() { instance = this } + + override fun onAccessibilityEvent(event: AccessibilityEvent?) { + if (event?.eventType == AccessibilityEvent.TYPE_WINDOW_STATE_CHANGED) { + activityTracker.observe(event.packageName?.toString(), event.className?.toString()) + } + } + + override fun onInterrupt() = Unit + + override fun onDestroy() { + if (instance === this) instance = null + super.onDestroy() + } + + override fun currentPackage(): String? = rootInActiveWindow?.packageName?.toString() + override fun currentActivity(): String? = currentPackage()?.let(activityTracker::current) + + override fun find(selector: NodeSelector): List { + val root = rootInActiveWindow ?: return emptyList() + val result = mutableListOf() + walk(root) { node -> + if (node.matches(selector)) result += UiNodeRef(node, (node.text ?: node.contentDescription)?.toString()) + } + return result + } + + override fun click(node: UiNodeRef): Boolean { + var target = node.opaqueId as? AccessibilityNodeInfo ?: return false + while (!target.isClickable) target = target.parent ?: return false + return target.performAction(AccessibilityNodeInfo.ACTION_CLICK) + } + + override fun input(node: UiNodeRef, value: String): Boolean { + val arguments = Bundle().apply { + putCharSequence(AccessibilityNodeInfo.ACTION_ARGUMENT_SET_TEXT_CHARSEQUENCE, value) + } + return (node.opaqueId as? AccessibilityNodeInfo) + ?.performAction(AccessibilityNodeInfo.ACTION_SET_TEXT, arguments) == true + } + + override fun back(): Boolean = performGlobalAction(GLOBAL_ACTION_BACK) + + private fun walk(node: AccessibilityNodeInfo, visit: (AccessibilityNodeInfo) -> Unit) { + visit(node) + for (index in 0 until node.childCount) node.getChild(index)?.let { walk(it, visit) } + } + + private fun AccessibilityNodeInfo.matches(selector: NodeSelector): Boolean = + (selector.resourceId == null || viewIdResourceName == selector.resourceId) && + (selector.text == null || text?.toString() == selector.text) && + (selector.contentDescription == null || contentDescription?.toString() == selector.contentDescription) && + (selector.className == null || className?.toString() == selector.className) && + (selector.clickable == null || isClickable == selector.clickable) + + companion object { + @Volatile var instance: AutoAccessibilityService? = null + private set + } +} diff --git a/android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutionMutex.kt b/android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutionMutex.kt new file mode 100644 index 0000000..3fdab8d --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutionMutex.kt @@ -0,0 +1,15 @@ +package cn.auto.agent.core.executor + +import java.util.concurrent.atomic.AtomicReference + +class TaskExecutionMutex { + private val activeTaskId = AtomicReference(null) + + fun tryAcquire(taskId: String): Boolean { + require(taskId.isNotBlank()) { "taskId 不能为空" } + return activeTaskId.compareAndSet(null, taskId) || activeTaskId.get() == taskId + } + + fun currentTaskId(): String? = activeTaskId.get() + fun release(taskId: String): Boolean = activeTaskId.compareAndSet(taskId, null) +} diff --git a/android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutor.kt b/android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutor.kt new file mode 100644 index 0000000..7112b10 --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutor.kt @@ -0,0 +1,70 @@ +package cn.auto.agent.core.executor + +import cn.auto.agent.core.model.ActionType +import cn.auto.agent.core.model.AgentTask +import cn.auto.agent.core.model.NodeSelector +import cn.auto.agent.core.model.TaskExecutionResult + +data class UiNodeRef(val opaqueId: Any, val text: String?) + +interface ActionDriver { + fun currentPackage(): String? + fun currentActivity(): String? + fun find(selector: NodeSelector): List + fun click(node: UiNodeRef): Boolean + fun input(node: UiNodeRef, value: String): Boolean + fun back(): Boolean +} + +class TaskExecutor( + private val driver: ActionDriver, + private val now: () -> Long = System::currentTimeMillis, + private val pause: (Long) -> Unit = Thread::sleep, +) { + fun execute(task: AgentTask): TaskExecutionResult { + val output = linkedMapOf>() + task.steps.forEach { step -> + val deadline = now() + step.timeoutMs + var lastFailure = "控件未出现" + while (now() <= deadline) { + if (driver.currentPackage() != step.packageName) { + lastFailure = "当前应用与步骤不匹配" + } else if (step.activityName != null && driver.currentActivity() != step.activityName) { + lastFailure = "当前 Activity 与步骤不匹配" + } else if (step.action == ActionType.BACK) { + if (driver.back()) break + lastFailure = "返回操作失败" + } else { + val matches = driver.find(requireNotNull(step.selector)) + when { + matches.size > 1 -> return failure(step.id, "TASK_AMBIGUOUS", "控件匹配到多个节点", output) + matches.isEmpty() -> lastFailure = "控件未出现" + else -> { + val node = matches.single() + val successful = when (step.action) { + ActionType.WAIT -> true + ActionType.CLICK -> driver.click(node) + ActionType.INPUT -> driver.input(node, requireNotNull(step.value)) + ActionType.EXTRACT_TEXT -> node.text?.trim()?.takeIf(String::isNotEmpty)?.also { + output.getOrPut(requireNotNull(step.outputField)) { mutableListOf() }.add(it) + } != null + ActionType.BACK -> error("handled above") + } + if (successful) break + lastFailure = "操作执行失败" + } + } + } + if (now() >= deadline) { + if (step.optional) break + return failure(step.id, "TASK_NOT_MATCHED", lastFailure, output) + } + pause(minOf(100, (deadline - now()).coerceAtLeast(1))) + } + } + return TaskExecutionResult(true, "OK", "任务执行完成", output.mapValues { it.value.toList() }) + } + + private fun failure(id: String, code: String, detail: String, output: Map>) = + TaskExecutionResult(false, code, "步骤 $id 失败：$detail", output) +} diff --git a/android/app/src/main/java/cn/auto/agent/core/model/TaskModels.kt b/android/app/src/main/java/cn/auto/agent/core/model/TaskModels.kt new file mode 100644 index 0000000..f01aa7c --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/model/TaskModels.kt @@ -0,0 +1,42 @@ +package cn.auto.agent.core.model + +enum class TaskStatus { RECEIVED, RUNNING, SUCCEEDED, FAILED } +enum class ActionType { WAIT, CLICK, INPUT, BACK, EXTRACT_TEXT } + +data class NodeSelector( + val resourceId: String? = null, + val text: String? = null, + val contentDescription: String? = null, + val className: String? = null, + val clickable: Boolean? = null, +) { + fun isEmpty(): Boolean = resourceId == null && text == null && contentDescription == null && + className == null && clickable == null +} + +data class TaskStep( + val id: String, + val action: ActionType, + val packageName: String, + val activityName: String? = null, + val selector: NodeSelector? = null, + val value: String? = null, + val outputField: String? = null, + val timeoutMs: Long = 5_000, + val optional: Boolean = false, +) + +data class AgentTask( + val taskId: String, + val revision: Long, + val assignedAgentName: String, + val steps: List, + val rawPayload: String, +) + +data class TaskExecutionResult( + val successful: Boolean, + val code: String, + val message: String, + val extracted: Map> = emptyMap(), +) diff --git a/android/app/src/main/java/cn/auto/agent/core/persistence/SqliteTaskInbox.kt b/android/app/src/main/java/cn/auto/agent/core/persistence/SqliteTaskInbox.kt new file mode 100644 index 0000000..3595f43 --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/persistence/SqliteTaskInbox.kt @@ -0,0 +1,66 @@ +package cn.auto.agent.core.persistence + +import android.content.ContentValues +import android.content.Context +import android.database.sqlite.SQLiteDatabase +import android.database.sqlite.SQLiteOpenHelper +import cn.auto.agent.core.model.AgentTask +import cn.auto.agent.core.model.TaskStatus +import cn.auto.agent.core.protocol.TaskParser + +class SqliteTaskInbox(context: Context) : SQLiteOpenHelper(context, DATABASE_NAME, null, DATABASE_VERSION), TaskInbox { + override fun onCreate(db: SQLiteDatabase) { + db.execSQL( + """ + CREATE TABLE task_inbox ( + task_id TEXT NOT NULL, + revision INTEGER NOT NULL, + assigned_agent_name TEXT NOT NULL, + payload_json TEXT NOT NULL, + status TEXT NOT NULL, + received_at INTEGER NOT NULL, + updated_at INTEGER NOT NULL, + PRIMARY KEY (task_id, revision) + ) + """.trimIndent(), + ) + } + + override fun onUpgrade(db: SQLiteDatabase, oldVersion: Int, newVersion: Int) = Unit + + override fun save(task: AgentTask) { + val now = System.currentTimeMillis() + writableDatabase.insertWithOnConflict( + "task_inbox", + null, + ContentValues().apply { + put("task_id", task.taskId) + put("revision", task.revision) + put("assigned_agent_name", task.assignedAgentName) + put("payload_json", task.rawPayload) + put("status", TaskStatus.RECEIVED.name.lowercase()) + put("received_at", now) + put("updated_at", now) + }, + SQLiteDatabase.CONFLICT_IGNORE, + ) + } + + override fun find(taskId: String, revision: Long): AgentTask? = readableDatabase.query( + "task_inbox", + arrayOf("payload_json"), + "task_id = ? AND revision = ?", + arrayOf(taskId, revision.toString()), + null, + null, + null, + "1", + ).use { cursor -> + if (!cursor.moveToFirst()) null else TaskParser.parse(cursor.getString(0)) + } + + private companion object { + const val DATABASE_NAME = "auto_agent.db" + const val DATABASE_VERSION = 1 + } +} diff --git a/android/app/src/main/java/cn/auto/agent/core/persistence/TaskInbox.kt b/android/app/src/main/java/cn/auto/agent/core/persistence/TaskInbox.kt new file mode 100644 index 0000000..fdff6e0 --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/persistence/TaskInbox.kt @@ -0,0 +1,8 @@ +package cn.auto.agent.core.persistence + +import cn.auto.agent.core.model.AgentTask + +interface TaskInbox { + fun save(task: AgentTask) + fun find(taskId: String, revision: Long): AgentTask? +} diff --git a/android/app/src/main/java/cn/auto/agent/core/protocol/TaskParser.kt b/android/app/src/main/java/cn/auto/agent/core/protocol/TaskParser.kt new file mode 100644 index 0000000..e2e28dc --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/protocol/TaskParser.kt @@ -0,0 +1,68 @@ +package cn.auto.agent.core.protocol + +import cn.auto.agent.core.model.ActionType +import cn.auto.agent.core.model.AgentTask +import cn.auto.agent.core.model.NodeSelector +import cn.auto.agent.core.model.TaskStep +import org.json.JSONObject + +class TaskProtocolException(message: String) : IllegalArgumentException(message) + +object TaskParser { + fun parse(raw: String): AgentTask { + val root = runCatching { JSONObject(raw) } + .getOrElse { throw TaskProtocolException("任务不是有效的 JSON 对象") } + if (root.optInt("schemaVersion", -1) != 1) throw TaskProtocolException("仅支持 schemaVersion=1") + val taskId = root.requiredString("taskId") + val revision = root.optLong("revision", 1).also { + if (it <= 0) throw TaskProtocolException("revision 必须为正整数") + } + val assignedAgentName = root.requiredString("assignedAgentName") + val items = root.optJSONArray("steps") ?: throw TaskProtocolException("steps 必须是数组") + if (items.length() !in 1..200) throw TaskProtocolException("steps 必须包含 1..200 项") + val ids = mutableSetOf() + val steps = (0 until items.length()).map { index -> + val item = items.optJSONObject(index) ?: throw TaskProtocolException("steps[$index] 必须是对象") + val id = item.requiredString("id") + if (!ids.add(id)) throw TaskProtocolException("步骤 id 不能重复") + val action = runCatching { ActionType.valueOf(item.requiredString("action").uppercase()) } + .getOrElse { throw TaskProtocolException("步骤 $id 的 action 不受支持") } + val selector = item.optJSONObject("selector")?.let { + NodeSelector( + resourceId = it.optionalString("resourceId"), + text = it.optionalString("text"), + contentDescription = it.optionalString("contentDescription"), + className = it.optionalString("className"), + clickable = if (it.has("clickable")) it.getBoolean("clickable") else null, + ) + } + if (action !in setOf(ActionType.BACK) && (selector == null || selector.isEmpty())) { + throw TaskProtocolException("步骤 $id 缺少 selector") + } + val value = item.optionalString("value") + val outputField = item.optionalString("outputField") + if (action == ActionType.INPUT && value == null) throw TaskProtocolException("输入步骤 $id 缺少 value") + if (action == ActionType.EXTRACT_TEXT && outputField == null) throw TaskProtocolException("读取步骤 $id 缺少 outputField") + TaskStep( + id = id, + action = action, + packageName = item.requiredString("packageName"), + activityName = item.optionalString("activityName"), + selector = selector, + value = value, + outputField = outputField, + timeoutMs = item.optLong("timeoutMs", 5_000).also { + if (it !in 100..30_000) throw TaskProtocolException("步骤 $id 的 timeoutMs 必须为 100..30000") + }, + optional = item.optBoolean("optional", false), + ) + } + return AgentTask(taskId, revision, assignedAgentName, steps, raw) + } + + private fun JSONObject.requiredString(name: String): String = optionalString(name) + ?: throw TaskProtocolException("$name 必填") + + private fun JSONObject.optionalString(name: String): String? = + optString(name).trim().takeIf { it.isNotEmpty() } +} diff --git a/android/app/src/main/java/cn/auto/agent/core/scheduler/TaskGateway.kt b/android/app/src/main/java/cn/auto/agent/core/scheduler/TaskGateway.kt new file mode 100644 index 0000000..95c3692 --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/scheduler/TaskGateway.kt @@ -0,0 +1,13 @@ +package cn.auto.agent.core.scheduler + +/** External service adapter. Implement this interface after the server API is confirmed. */ +interface TaskGateway { + fun fetchTaskPayloads(): List +} + +data class TaskSyncSummary( + val fetched: Int, + val accepted: Int, + val discarded: Int, + val invalid: Int, +) diff --git a/android/app/src/main/java/cn/auto/agent/core/scheduler/TaskSynchronizer.kt b/android/app/src/main/java/cn/auto/agent/core/scheduler/TaskSynchronizer.kt new file mode 100644 index 0000000..fdac9fd --- /dev/null +++ b/android/app/src/main/java/cn/auto/agent/core/scheduler/TaskSynchronizer.kt @@ -0,0 +1,31 @@ +package cn.auto.agent.core.scheduler + +import cn.auto.agent.core.persistence.TaskInbox +import cn.auto.agent.core.protocol.TaskParser + +class TaskSynchronizer( + private val gateway: TaskGateway, + private val inbox: TaskInbox, +) { + fun sync(localAgentName: String): TaskSyncSummary { + require(localAgentName.isNotBlank()) { "设备名不能为空" } + val payloads = gateway.fetchTaskPayloads() + var accepted = 0 + var discarded = 0 + var invalid = 0 + payloads.forEach { raw -> + val task = runCatching { TaskParser.parse(raw) }.getOrElse { + invalid++ + return@forEach + } + // Exact, case-sensitive comparison is intentional. Non-target tasks are never persisted. + if (task.assignedAgentName != localAgentName) { + discarded++ + return@forEach + } + inbox.save(task) + accepted++ + } + return TaskSyncSummary(payloads.size, accepted, discarded, invalid) + } +} diff --git a/android/app/src/main/res/values/strings.xml b/android/app/src/main/res/values/strings.xml new file mode 100644 index 0000000..7bdf473 --- /dev/null +++ b/android/app/src/main/res/values/strings.xml @@ -0,0 +1,5 @@ + + Auto Agent + autoagent + 根据已授权的任务步骤执行点击、输入、返回、滑动和信息读取操作。 + diff --git a/android/app/src/main/res/values/styles.xml b/android/app/src/main/res/values/styles.xml new file mode 100644 index 0000000..5bf2bfc --- /dev/null +++ b/android/app/src/main/res/values/styles.xml @@ -0,0 +1,7 @@ + + + diff --git a/android/app/src/main/res/xml/accessibility_service_config.xml b/android/app/src/main/res/xml/accessibility_service_config.xml new file mode 100644 index 0000000..61cc943 --- /dev/null +++ b/android/app/src/main/res/xml/accessibility_service_config.xml @@ -0,0 +1,9 @@ + + diff --git a/android/app/src/test/java/cn/auto/agent/TaskExecutorTest.kt b/android/app/src/test/java/cn/auto/agent/TaskExecutorTest.kt new file mode 100644 index 0000000..b06ab5f --- /dev/null +++ b/android/app/src/test/java/cn/auto/agent/TaskExecutorTest.kt @@ -0,0 +1,42 @@ +package cn.auto.agent + +import cn.auto.agent.core.executor.ActionDriver +import cn.auto.agent.core.executor.TaskExecutor +import cn.auto.agent.core.executor.UiNodeRef +import cn.auto.agent.core.model.NodeSelector +import cn.auto.agent.core.protocol.TaskParser +import org.junit.Assert.assertEquals +import org.junit.Assert.assertTrue +import org.junit.Test + +class TaskExecutorTest { + @Test + fun executesUniqueClick() { + var clicked = false + val driver = object : ActionDriver { + override fun currentPackage() = "com.example.target" + override fun currentActivity(): String? = null + override fun find(selector: NodeSelector) = listOf(UiNodeRef("node", "登录")) + override fun click(node: UiNodeRef): Boolean { clicked = true; return true } + override fun input(node: UiNodeRef, value: String) = false + override fun back() = false + } + val result = TaskExecutor(driver).execute(TaskParser.parse(TaskParserTest.taskJson("phone-01"))) + assertTrue(result.successful) + assertTrue(clicked) + } + + @Test + fun rejectsAmbiguousNodes() { + val driver = object : ActionDriver { + override fun currentPackage() = "com.example.target" + override fun currentActivity(): String? = null + override fun find(selector: NodeSelector) = listOf(UiNodeRef(1, null), UiNodeRef(2, null)) + override fun click(node: UiNodeRef) = true + override fun input(node: UiNodeRef, value: String) = true + override fun back() = true + } + val result = TaskExecutor(driver).execute(TaskParser.parse(TaskParserTest.taskJson("phone-01"))) + assertEquals("TASK_AMBIGUOUS", result.code) + } +} diff --git a/android/app/src/test/java/cn/auto/agent/TaskParserTest.kt b/android/app/src/test/java/cn/auto/agent/TaskParserTest.kt new file mode 100644 index 0000000..bf6b46b --- /dev/null +++ b/android/app/src/test/java/cn/auto/agent/TaskParserTest.kt @@ -0,0 +1,40 @@ +package cn.auto.agent + +import cn.auto.agent.core.model.ActionType +import cn.auto.agent.core.protocol.TaskParser +import cn.auto.agent.core.protocol.TaskProtocolException +import org.junit.Assert.assertEquals +import org.junit.Test + +class TaskParserTest { + @Test + fun parsesTypedTask() { + val task = TaskParser.parse(taskJson("phone-01")) + assertEquals("task-1", task.taskId) + assertEquals("phone-01", task.assignedAgentName) + assertEquals(ActionType.CLICK, task.steps.single().action) + } + + @Test(expected = TaskProtocolException::class) + fun rejectsUnsupportedAction() { + TaskParser.parse(taskJson("phone-01").replace("CLICK", "SHELL")) + } + + companion object { + fun taskJson(agentName: String) = """ + { + "schemaVersion": 1, + "taskId": "task-1", + "revision": 1, + "assignedAgentName": "$agentName", + "steps": [{ + "id": "click-login", + "action": "CLICK", + "packageName": "com.example.target", + "selector": {"resourceId": "com.example.target:id/login"}, + "timeoutMs": 1000 + }] + } + """.trimIndent() + } +} diff --git a/android/app/src/test/java/cn/auto/agent/TaskSynchronizerTest.kt b/android/app/src/test/java/cn/auto/agent/TaskSynchronizerTest.kt new file mode 100644 index 0000000..007766f --- /dev/null +++ b/android/app/src/test/java/cn/auto/agent/TaskSynchronizerTest.kt @@ -0,0 +1,37 @@ +package cn.auto.agent + +import cn.auto.agent.core.model.AgentTask +import cn.auto.agent.core.persistence.TaskInbox +import cn.auto.agent.core.scheduler.TaskGateway +import cn.auto.agent.core.scheduler.TaskSynchronizer +import org.junit.Assert.assertEquals +import org.junit.Test + +class TaskSynchronizerTest { + @Test + fun onlyPersistsTasksAssignedToExactLocalName() { + val inbox = MemoryInbox() + val gateway = object : TaskGateway { + override fun fetchTaskPayloads() = listOf( + TaskParserTest.taskJson("phone-01"), + TaskParserTest.taskJson("Phone-01").replace("task-1", "task-2"), + TaskParserTest.taskJson("phone-02").replace("task-1", "task-3"), + "invalid", + ) + } + + val result = TaskSynchronizer(gateway, inbox).sync("phone-01") + + assertEquals(4, result.fetched) + assertEquals(1, result.accepted) + assertEquals(2, result.discarded) + assertEquals(1, result.invalid) + assertEquals(listOf("task-1"), inbox.tasks.map { it.taskId }) + } + + private class MemoryInbox : TaskInbox { + val tasks = mutableListOf() + override fun save(task: AgentTask) { tasks += task } + override fun find(taskId: String, revision: Long) = tasks.find { it.taskId == taskId && it.revision == revision } + } +} diff --git a/android/build.gradle.kts b/android/build.gradle.kts new file mode 100644 index 0000000..0836ea8 --- /dev/null +++ b/android/build.gradle.kts @@ -0,0 +1,4 @@ +plugins { + id("com.android.application") version "8.2.0" apply false + id("org.jetbrains.kotlin.android") version "1.9.22" apply false +} diff --git a/android/gradle.properties b/android/gradle.properties new file mode 100644 index 0000000..e696167 --- /dev/null +++ b/android/gradle.properties @@ -0,0 +1,3 @@ +org.gradle.jvmargs=-Xmx2048m -Dfile.encoding=UTF-8 +android.useAndroidX=true +kotlin.code.style=official diff --git a/android/gradle/wrapper/gradle-wrapper.jar b/android/gradle/wrapper/gradle-wrapper.jar new file mode 100644 index 0000000000000000000000000000000000000000..033e24c4cdf41af1ab109bc7f253b2b887023340 GIT binary patch literal 63375 zcmb5VV{~QRw)Y#`wrv{~+qP{x72B%VwzFc}c2cp;N~)5ZbDrJayPv(!dGEd-##*zr z)#n-$y^sH|_dchh3@8{H5D*j;5D<{i*8l5IFJ|DjL!e)upfGNX(kojugZ3I`oH1PvW`wFW_ske0j@lB9bX zO;2)`y+|!@X(fZ1<2n!Qx*)_^Ai@Cv-dF&(vnudG?0CsddG_&Wtae(n|K59ew)6St z#dj7_(Cfwzh$H$5M!$UDd8=4>IQsD3xV=lXUq($;(h*$0^yd+b{qq63f0r_de#!o_ zXDngc>zy`uor)4A^2M#U*DC~i+dc<)Tb1Tv&~Ev@oM)5iJ4Sn#8iRw16XXuV50BS7 zdBL5Mefch(&^{luE{*5qtCZk$oFr3RH=H!c3wGR=HJ(yKc_re_X9pD` zJ;uxPzUfVpgU>DSq?J;I@a+10l0ONXPcDkiYcihREt5~T5Gb}sT0+6Q;AWHl`S5dV>lv%-p9l#xNNy7ZCr%cyqHY%TZ8Q4 zbp&#ov1*$#grNG#1vgfFOLJCaNG@K|2!W&HSh@3@Y%T?3YI75bJp!VP*$*!< z;(ffNS_;@RJ`=c7yX04!u3JP*<8jeqLHVJu#WV&v6wA!OYJS4h<_}^QI&97-;=ojW zQ-1t)7wnxG*5I%U4)9$wlv5Fr;cIizft@&N+32O%B{R1POm$oap@&f| zh+5J{>U6ftv|vAeKGc|zC=kO(+l7_cLpV}-D#oUltScw})N>~JOZLU_0{Ka2e1evz z{^a*ZrLr+JUj;)K&u2CoCAXLC2=fVScI(m_p~0FmF>>&3DHziouln?;sxW`NB}cSX z8?IsJB)Z=aYRz!X=yJn$kyOWK%rCYf-YarNqKzmWu$ZvkP12b4qH zhS9Q>j<}(*frr?z<%9hl*i^#@*O2q(Z^CN)c2c z>1B~D;@YpG?G!Yk+*yn4vM4sO-_!&m6+`k|3zd;8DJnxsBYtI;W3We+FN@|tQ5EW= z!VU>jtim0Mw#iaT8t_<+qKIEB-WwE04lBd%Letbml9N!?SLrEG$nmn7&W(W`VB@5S zaY=sEw2}i@F_1P4OtEw?xj4@D6>_e=m=797#hg}f*l^`AB|Y0# z9=)o|%TZFCY$SzgSjS|8AI-%J4x}J)!IMxY3_KYze`_I=c1nmrk@E8c9?MVRu)7+Ue79|)rBX7tVB7U|w4*h(;Gi3D9le49B38`wuv zp7{4X^p+K4*$@gU(Tq3K1a#3SmYhvI42)GzG4f|u zwQFT1n_=n|jpi=70-yE9LA+d*T8u z`=VmmXJ_f6WmZveZPct$Cgu^~gFiyL>Lnpj*6ee>*0pz=t$IJ}+rE zsf@>jlcG%Wx;Cp5x)YSVvB1$yyY1l&o zvwX=D7k)Dn;ciX?Z)Pn8$flC8#m`nB&(8?RSdBvr?>T9?E$U3uIX7T?$v4dWCa46 z+&`ot8ZTEgp7G+c52oHJ8nw5}a^dwb_l%MOh(ebVj9>_koQP^$2B~eUfSbw9RY$_< z&DDWf2LW;b0ZDOaZ&2^i^g+5uTd;GwO(-bbo|P^;CNL-%?9mRmxEw~5&z=X^Rvbo^WJW=n_%*7974RY}JhFv46> zd}`2|qkd;89l}R;i~9T)V-Q%K)O=yfVKNM4Gbacc7AOd>#^&W&)Xx!Uy5!BHnp9kh z`a(7MO6+Ren#>R^D0K)1sE{Bv>}s6Rb9MT14u!(NpZOe-?4V=>qZ>}uS)!y~;jEUK z&!U7Fj&{WdgU#L0%bM}SYXRtM5z!6M+kgaMKt%3FkjWYh=#QUpt$XX1!*XkpSq-pl zhMe{muh#knk{9_V3%qdDcWDv}v)m4t9 zQhv{;} zc{}#V^N3H>9mFM8`i`0p+fN@GqX+kl|M94$BK3J-X`Hyj8r!#x6Vt(PXjn?N)qedP z=o1T^#?1^a{;bZ&x`U{f?}TMo8ToN zkHj5v|}r}wDEi7I@)Gj+S1aE-GdnLN+$hw!=DzglMaj#{qjXi_dwpr|HL(gcCXwGLEmi|{4&4#OZ4ChceA zKVd4K!D>_N=_X;{poT~4Q+!Le+ZV>=H7v1*l%w`|`Dx8{)McN@NDlQyln&N3@bFpV z_1w~O4EH3fF@IzJ9kDk@7@QctFq8FbkbaH7K$iX=bV~o#gfh?2JD6lZf(XP>~DACF)fGFt)X%-h1yY~MJU{nA5 ze2zxWMs{YdX3q5XU*9hOH0!_S24DOBA5usB+Ws$6{|AMe*joJ?RxfV}*7AKN9V*~J zK+OMcE@bTD>TG1*yc?*qGqjBN8mgg@h1cJLDv)0!WRPIkC` zZrWXrceVw;fB%3`6kq=a!pq|hFIsQ%ZSlo~)D z|64!aCnw-?>}AG|*iOl44KVf8@|joXi&|)1rB;EQWgm+iHfVbgllP$f!$Wf42%NO5b(j9Bw6L z;0dpUUK$5GX4QbMlTmLM_jJt!ur`_0~$b#BB7FL*%XFf<b__1o)Ao3rlobbN8-(T!1d-bR8D3S0@d zLI!*GMb5s~Q<&sjd}lBb8Nr0>PqE6_!3!2d(KAWFxa{hm`@u|a(%#i(#f8{BP2wbs zt+N_slWF4IF_O|{w`c~)Xvh&R{Au~CFmW#0+}MBd2~X}t9lz6*E7uAD`@EBDe$>7W zzPUkJx<`f$0VA$=>R57^(K^h86>09?>_@M(R4q($!Ck6GG@pnu-x*exAx1jOv|>KH zjNfG5pwm`E-=ydcb+3BJwuU;V&OS=6yM^4Jq{%AVqnTTLwV`AorIDD}T&jWr8pB&j28fVtk_y*JRP^t@l*($UZ z6(B^-PBNZ+z!p?+e8@$&jCv^EWLb$WO=}Scr$6SM*&~B95El~;W_0(Bvoha|uQ1T< zO$%_oLAwf1bW*rKWmlD+@CP&$ObiDy=nh1b2ejz%LO9937N{LDe7gle4i!{}I$;&Y zkexJ9Ybr+lrCmKWg&}p=`2&Gf10orS?4$VrzWidT=*6{KzOGMo?KI0>GL0{iFWc;C z+LPq%VH5g}6V@-tg2m{C!-$fapJ9y}c$U}aUmS{9#0CM*8pC|sfer!)nG7Ji>mfRh z+~6CxNb>6eWKMHBz-w2{mLLwdA7dA-qfTu^A2yG1+9s5k zcF=le_UPYG&q!t5Zd_*E_P3Cf5T6821bO`daa`;DODm8Ih8k89=RN;-asHIigj`n=ux>*f!OC5#;X5i;Q z+V!GUy0|&Y_*8k_QRUA8$lHP;GJ3UUD08P|ALknng|YY13)}!!HW@0z$q+kCH%xet zlWf@BXQ=b=4}QO5eNnN~CzWBbHGUivG=`&eWK}beuV*;?zt=P#pM*eTuy3 zP}c#}AXJ0OIaqXji78l;YrP4sQe#^pOqwZUiiN6^0RCd#D271XCbEKpk`HI0IsN^s zES7YtU#7=8gTn#lkrc~6)R9u&SX6*Jk4GFX7){E)WE?pT8a-%6P+zS6o&A#ml{$WX zABFz#i7`DDlo{34)oo?bOa4Z_lNH>n;f0nbt$JfAl~;4QY@}NH!X|A$KgMmEsd^&Y zt;pi=>AID7ROQfr;MsMtClr5b0)xo|fwhc=qk33wQ|}$@?{}qXcmECh>#kUQ-If0$ zseb{Wf4VFGLNc*Rax#P8ko*=`MwaR-DQ8L8V8r=2N{Gaips2_^cS|oC$+yScRo*uF zUO|5=?Q?{p$inDpx*t#Xyo6=s?bbN}y>NNVxj9NZCdtwRI70jxvm3!5R7yiWjREEd zDUjrsZhS|P&|Ng5r+f^kA6BNN#|Se}_GF>P6sy^e8kBrgMv3#vk%m}9PCwUWJg-AD zFnZ=}lbi*mN-AOm zCs)r=*YQAA!`e#1N>aHF=bb*z*hXH#Wl$z^o}x##ZrUc=kh%OHWhp=7;?8%Xj||@V?1c ziWoaC$^&04;A|T)!Zd9sUzE&$ODyJaBpvqsw19Uiuq{i#VK1!htkdRWBnb z`{rat=nHArT%^R>u#CjjCkw-7%g53|&7z-;X+ewb?OLWiV|#nuc8mp*LuGSi3IP<<*Wyo9GKV7l0Noa4Jr0g3p_$ z*R9{qn=?IXC#WU>48-k5V2Oc_>P;4_)J@bo1|pf=%Rcbgk=5m)CJZ`caHBTm3%!Z9 z_?7LHr_BXbKKr=JD!%?KhwdYSdu8XxPoA{n8^%_lh5cjRHuCY9Zlpz8g+$f@bw@0V z+6DRMT9c|>1^3D|$Vzc(C?M~iZurGH2pXPT%F!JSaAMdO%!5o0uc&iqHx?ImcX6fI zCApkzc~OOnfzAd_+-DcMp&AOQxE_EsMqKM{%dRMI5`5CT&%mQO?-@F6tE*xL?aEGZ z8^wH@wRl`Izx4sDmU>}Ym{ybUm@F83qqZPD6nFm?t?(7>h*?`fw)L3t*l%*iw0Qu#?$5eq!Qc zpQvqgSxrd83NsdO@lL6#{%lsYXWen~d3p4fGBb7&5xqNYJ)yn84!e1PmPo7ChVd%4 zHUsV0Mh?VpzZD=A6%)Qrd~i7 z96*RPbid;BN{Wh?adeD_p8YU``kOrGkNox3D9~!K?w>#kFz!4lzOWR}puS(DmfjJD z`x0z|qB33*^0mZdM&6$|+T>fq>M%yoy(BEjuh9L0>{P&XJ3enGpoQRx`v6$txXt#c z0#N?b5%srj(4xmPvJxrlF3H%OMB!jvfy z;wx8RzU~lb?h_}@V=bh6p8PSb-dG|-T#A?`c&H2`_!u+uenIZe`6f~A7r)`9m8atC zt(b|6Eg#!Q*DfRU=Ix`#B_dK)nnJ_+>Q<1d7W)eynaVn`FNuN~%B;uO2}vXr5^zi2 z!ifIF5@Zlo0^h~8+ixFBGqtweFc`C~JkSq}&*a3C}L?b5Mh-bW=e)({F_g4O3 zb@SFTK3VD9QuFgFnK4Ve_pXc3{S$=+Z;;4+;*{H}Rc;845rP?DLK6G5Y-xdUKkA6E3Dz&5f{F^FjJQ(NSpZ8q-_!L3LL@H* zxbDF{gd^U3uD;)a)sJwAVi}7@%pRM&?5IaUH%+m{E)DlA_$IA1=&jr{KrhD5q&lTC zAa3c)A(K!{#nOvenH6XrR-y>*4M#DpTTOGQEO5Jr6kni9pDW`rvY*fs|ItV;CVITh z=`rxcH2nEJpkQ^(;1c^hfb8vGN;{{oR=qNyKtR1;J>CByul*+=`NydWnSWJR#I2lN zTvgnR|MBx*XFsfdA&;tr^dYaqRZp*2NwkAZE6kV@1f{76e56eUmGrZ>MDId)oqSWw z7d&r3qfazg+W2?bT}F)4jD6sWaw`_fXZGY&wnGm$FRPFL$HzVTH^MYBHWGCOk-89y zA+n+Q6EVSSCpgC~%uHfvyg@ufE^#u?JH?<73A}jj5iILz4Qqk5$+^U(SX(-qv5agK znUkfpke(KDn~dU0>gdKqjTkVk`0`9^0n_wzXO7R!0Thd@S;U`y)VVP&mOd-2 z(hT(|$=>4FY;CBY9#_lB$;|Wd$aOMT5O_3}DYXEHn&Jrc3`2JiB`b6X@EUOD zVl0S{ijm65@n^19T3l%>*;F(?3r3s?zY{thc4%AD30CeL_4{8x6&cN}zN3fE+x<9; zt2j1RRVy5j22-8U8a6$pyT+<`f+x2l$fd_{qEp_bfxfzu>ORJsXaJn4>U6oNJ#|~p z`*ZC&NPXl&=vq2{Ne79AkQncuxvbOG+28*2wU$R=GOmns3W@HE%^r)Fu%Utj=r9t` zd;SVOnA(=MXgnOzI2@3SGKHz8HN~Vpx&!Ea+Df~`*n@8O=0!b4m?7cE^K*~@fqv9q zF*uk#1@6Re_<^9eElgJD!nTA@K9C732tV~;B`hzZ321Ph=^BH?zXddiu{Du5*IPg} zqDM=QxjT!Rp|#Bkp$(mL)aar)f(dOAXUiw81pX0DC|Y4;>Vz>>DMshoips^8Frdv} zlTD=cKa48M>dR<>(YlLPOW%rokJZNF2gp8fwc8b2sN+i6&-pHr?$rj|uFgktK@jg~ zIFS(%=r|QJ=$kvm_~@n=ai1lA{7Z}i+zj&yzY+!t$iGUy|9jH#&oTNJ;JW-3n>DF+ z3aCOzqn|$X-Olu_p7brzn`uk1F*N4@=b=m;S_C?#hy{&NE#3HkATrg?enaVGT^$qIjvgc61y!T$9<1B@?_ibtDZ{G zeXInVr5?OD_nS_O|CK3|RzzMmu+8!#Zb8Ik;rkIAR%6?$pN@d<0dKD2c@k2quB%s( zQL^<_EM6ow8F6^wJN1QcPOm|ehA+dP(!>IX=Euz5qqIq}Y3;ibQtJnkDmZ8c8=Cf3 zu`mJ!Q6wI7EblC5RvP*@)j?}W=WxwCvF3*5Up_`3*a~z$`wHwCy)2risye=1mSp%p zu+tD6NAK3o@)4VBsM!@);qgsjgB$kkCZhaimHg&+k69~drbvRTacWKH;YCK(!rC?8 zP#cK5JPHSw;V;{Yji=55X~S+)%(8fuz}O>*F3)hR;STU`z6T1aM#Wd+FP(M5*@T1P z^06O;I20Sk!bxW<-O;E081KRdHZrtsGJflFRRFS zdi5w9OVDGSL3 zNrC7GVsGN=b;YH9jp8Z2$^!K@h=r-xV(aEH@#JicPy;A0k1>g1g^XeR`YV2HfmqXY zYbRwaxHvf}OlCAwHoVI&QBLr5R|THf?nAevV-=~V8;gCsX>jndvNOcFA+DI+zbh~# zZ7`qNk&w+_+Yp!}j;OYxIfx_{f0-ONc?mHCiCUak=>j>~>YR4#w# zuKz~UhT!L~GfW^CPqG8Lg)&Rc6y^{%3H7iLa%^l}cw_8UuG;8nn9)kbPGXS}p3!L_ zd#9~5CrH8xtUd?{d2y^PJg+z(xIfRU;`}^=OlehGN2=?}9yH$4Rag}*+AWotyxfCJ zHx=r7ZH>j2kV?%7WTtp+-HMa0)_*DBBmC{sd$)np&GEJ__kEd`xB5a2A z*J+yx>4o#ZxwA{;NjhU*1KT~=ZK~GAA;KZHDyBNTaWQ1+;tOFFthnD)DrCn`DjBZ% zk$N5B4^$`n^jNSOr=t(zi8TN4fpaccsb`zOPD~iY=UEK$0Y70bG{idLx@IL)7^(pL z{??Bnu=lDeguDrd%qW1)H)H`9otsOL-f4bSu};o9OXybo6J!Lek`a4ff>*O)BDT_g z<6@SrI|C9klY(>_PfA^qai7A_)VNE4c^ZjFcE$Isp>`e5fLc)rg@8Q_d^Uk24$2bn z9#}6kZ2ZxS9sI(RqT7?El2@B+($>eBQrNi_k#CDJ8D9}8$mmm z4oSKO^F$i+NG)-HE$O6s1--6EzJa?C{x=QgK&c=)b(Q9OVoAXYEEH20G|q$}Hue%~ zO3B^bF=t7t48sN zWh_zA`w~|){-!^g?6Mqf6ieV zFx~aPUOJGR=4{KsW7I?<=J2|lY`NTU=lt=%JE9H1vBpkcn=uq(q~=?iBt_-r(PLBM zP-0dxljJO>4Wq-;stY)CLB4q`-r*T$!K2o}?E-w_i>3_aEbA^MB7P5piwt1dI-6o!qWCy0 ztYy!x9arGTS?kabkkyv*yxvsPQ7Vx)twkS6z2T@kZ|kb8yjm+^$|sEBmvACeqbz)RmxkkDQX-A*K!YFziuhwb|ym>C$}U|J)4y z$(z#)GH%uV6{ec%Zy~AhK|+GtG8u@c884Nq%w`O^wv2#A(&xH@c5M`Vjk*SR_tJnq z0trB#aY)!EKW_}{#L3lph5ow=@|D5LzJYUFD6 z7XnUeo_V0DVSIKMFD_T0AqAO|#VFDc7c?c-Q%#u00F%!_TW1@JVnsfvm@_9HKWflBOUD~)RL``-!P;(bCON_4eVdduMO>?IrQ__*zE@7(OX zUtfH@AX*53&xJW*Pu9zcqxGiM>xol0I~QL5B%Toog3Jlenc^WbVgeBvV8C8AX^Vj& z^I}H})B=VboO%q1;aU5ACMh{yK4J;xlMc`jCnZR^!~LDs_MP&8;dd@4LDWw~*>#OT zeZHwdQWS!tt5MJQI~cw|Ka^b4c|qyd_ly(+Ql2m&AAw^ zQeSXDOOH!!mAgzAp0z)DD>6Xo``b6QwzUV@w%h}Yo>)a|xRi$jGuHQhJVA%>)PUvK zBQ!l0hq<3VZ*RnrDODP)>&iS^wf64C;MGqDvx>|p;35%6(u+IHoNbK z;Gb;TneFo*`zUKS6kwF*&b!U8e5m4YAo03a_e^!5BP42+r)LFhEy?_7U1IR<; z^0v|DhCYMSj<-;MtY%R@Fg;9Kky^pz_t2nJfKWfh5Eu@_l{^ph%1z{jkg5jQrkvD< z#vdK!nku*RrH~TdN~`wDs;d>XY1PH?O<4^U4lmA|wUW{Crrv#r%N>7k#{Gc44Fr|t z@UZP}Y-TrAmnEZ39A*@6;ccsR>)$A)S>$-Cj!=x$rz7IvjHIPM(TB+JFf{ehuIvY$ zsDAwREg*%|=>Hw$`us~RP&3{QJg%}RjJKS^mC_!U;E5u>`X`jW$}P`Mf}?7G7FX#{ zE(9u1SO;3q@ZhDL9O({-RD+SqqPX)`0l5IQu4q)49TUTkxR(czeT}4`WV~pV*KY&i zAl3~X%D2cPVD^B43*~&f%+Op)wl<&|D{;=SZwImydWL6@_RJjxP2g)s=dH)u9Npki zs~z9A+3fj0l?yu4N0^4aC5x)Osnm0qrhz@?nwG_`h(71P znbIewljU%T*cC=~NJy|)#hT+lx#^5MuDDnkaMb*Efw9eThXo|*WOQzJ*#3dmRWm@! zfuSc@#kY{Um^gBc^_Xdxnl!n&y&}R4yAbK&RMc+P^Ti;YIUh|C+K1|=Z^{nZ}}rxH*v{xR!i%qO~o zTr`WDE@k$M9o0r4YUFFeQO7xCu_Zgy)==;fCJ94M_rLAv&~NhfvcLWCoaGg2ao~3e zBG?Ms9B+efMkp}7BhmISGWmJsKI@a8b}4lLI48oWKY|8?zuuNc$lt5Npr+p7a#sWu zh!@2nnLBVJK!$S~>r2-pN||^w|fY`CT{TFnJy`B|e5;=+_v4l8O-fkN&UQbA4NKTyntd zqK{xEKh}U{NHoQUf!M=2(&w+eef77VtYr;xs%^cPfKLObyOV_9q<(%76-J%vR>w9!us-0c-~Y?_EVS%v!* z15s2s3eTs$Osz$JayyH|5nPAIPEX=U;r&p;K14G<1)bvn@?bM5kC{am|C5%hyxv}a z(DeSKI5ZfZ1*%dl8frIX2?);R^^~LuDOpNpk-2R8U1w92HmG1m&|j&J{EK=|p$;f9 z7Rs5|jr4r8k5El&qcuM+YRlKny%t+1CgqEWO>3;BSRZi(LA3U%Jm{@{y+A+w(gzA< z7dBq6a1sEWa4cD0W7=Ld9z0H7RI^Z7vl(bfA;72j?SWCo`#5mVC$l1Q2--%V)-uN* z9ha*s-AdfbDZ8R8*fpwjzx=WvOtmSzGFjC#X)hD%Caeo^OWjS(3h|d9_*U)l%{Ab8 zfv$yoP{OuUl@$(-sEVNt{*=qi5P=lpxWVuz2?I7Dc%BRc+NGNw+323^ z5BXGfS71oP^%apUo(Y#xkxE)y?>BFzEBZ}UBbr~R4$%b7h3iZu3S(|A;&HqBR{nK& z$;GApNnz=kNO^FL&nYcfpB7Qg;hGJPsCW44CbkG1@l9pn0`~oKy5S777uH)l{irK!ru|X+;4&0D;VE*Ii|<3P zUx#xUqvZT5kVQxsF#~MwKnv7;1pR^0;PW@$@T7I?s`_rD1EGUdSA5Q(C<>5SzE!vw z;{L&kKFM-MO>hy#-8z`sdVx})^(Dc-dw;k-h*9O2_YZw}|9^y-|8RQ`BWJUJL(Cer zP5Z@fNc>pTXABbTRY-B5*MphpZv6#i802giwV&SkFCR zGMETyUm(KJbh+&$8X*RB#+{surjr;8^REEt`2&Dubw3$mx>|~B5IKZJ`s_6fw zKAZx9&PwBqW1Oz0r0A4GtnZd7XTKViX2%kPfv+^X3|_}RrQ2e3l=KG_VyY`H?I5&CS+lAX5HbA%TD9u6&s#v!G> zzW9n4J%d5ye7x0y`*{KZvqyXUfMEE^ZIffzI=Hh|3J}^yx7eL=s+TPH(Q2GT-sJ~3 zI463C{(ag7-hS1ETtU;_&+49ABt5!A7CwLwe z=SoA8mYZIQeU;9txI=zcQVbuO%q@E)JI+6Q!3lMc=Gbj(ASg-{V27u>z2e8n;Nc*pf}AqKz1D>p9G#QA+7mqqrEjGfw+85Uyh!=tTFTv3|O z+)-kFe_8FF_EkTw!YzwK^Hi^_dV5x-Ob*UWmD-})qKj9@aE8g240nUh=g|j28^?v7 zHRTBo{0KGaWBbyX2+lx$wgXW{3aUab6Bhm1G1{jTC7ota*JM6t+qy)c5<@ zpc&(jVdTJf(q3xB=JotgF$X>cxh7k*(T`-V~AR+`%e?YOeALQ2Qud( zz35YizXt(aW3qndR}fTw1p()Ol4t!D1pitGNL95{SX4ywzh0SF;=!wf=?Q?_h6!f* zh7<+GFi)q|XBsvXZ^qVCY$LUa{5?!CgwY?EG;*)0ceFe&=A;!~o`ae}Z+6me#^sv- z1F6=WNd6>M(~ z+092z>?Clrcp)lYNQl9jN-JF6n&Y0mp7|I0dpPx+4*RRK+VQI~>en0Dc;Zfl+x z_e_b7s`t1_A`RP3$H}y7F9_na%D7EM+**G_Z0l_nwE+&d_kc35n$Fxkd4r=ltRZhh zr9zER8>j(EdV&Jgh(+i}ltESBK62m0nGH6tCBr90!4)-`HeBmz54p~QP#dsu%nb~W z7sS|(Iydi>C@6ZM(Us!jyIiszMkd)^u<1D+R@~O>HqZIW&kearPWmT>63%_t2B{_G zX{&a(gOYJx!Hq=!T$RZ&<8LDnxsmx9+TBL0gTk$|vz9O5GkK_Yx+55^R=2g!K}NJ3 zW?C;XQCHZl7H`K5^BF!Q5X2^Mj93&0l_O3Ea3!Ave|ixx+~bS@Iv18v2ctpSt4zO{ zp#7pj!AtDmti$T`e9{s^jf(ku&E|83JIJO5Qo9weT6g?@vX!{7)cNwymo1+u(YQ94 zopuz-L@|5=h8A!(g-MXgLJC0MA|CgQF8qlonnu#j z;uCeq9ny9QSD|p)9sp3ebgY3rk#y0DA(SHdh$DUm^?GI<>%e1?&}w(b zdip1;P2Z=1wM+$q=TgLP$}svd!vk+BZ@h<^4R=GS2+sri7Z*2f`9 z5_?i)xj?m#pSVchk-SR!2&uNhzEi+#5t1Z$o0PoLGz*pT64%+|Wa+rd5Z}60(j?X= z{NLjtgRb|W?CUADqOS@(*MA-l|E342NxRaxLTDqsOyfWWe%N(jjBh}G zm7WPel6jXijaTiNita+z(5GCO0NM=Melxud57PP^d_U## zbA;9iVi<@wr0DGB8=T9Ab#2K_#zi=$igyK48@;V|W`fg~7;+!q8)aCOo{HA@vpSy-4`^!ze6-~8|QE||hC{ICKllG9fbg_Y7v z$jn{00!ob3!@~-Z%!rSZ0JO#@>|3k10mLK0JRKP-Cc8UYFu>z93=Ab-r^oL2 zl`-&VBh#=-?{l1TatC;VweM^=M7-DUE>m+xO7Xi6vTEsReyLs8KJ+2GZ&rxw$d4IT zPXy6pu^4#e;;ZTsgmG+ZPx>piodegkx2n0}SM77+Y*j^~ICvp#2wj^BuqRY*&cjmL zcKp78aZt>e{3YBb4!J_2|K~A`lN=u&5j!byw`1itV(+Q_?RvV7&Z5XS1HF)L2v6ji z&kOEPmv+k_lSXb{$)of~(BkO^py&7oOzpjdG>vI1kcm_oPFHy38%D4&A4h_CSo#lX z2#oqMCTEP7UvUR3mwkPxbl8AMW(e{ARi@HCYLPSHE^L<1I}OgZD{I#YH#GKnpRmW3 z2jkz~Sa(D)f?V?$gNi?6)Y;Sm{&?~2p=0&BUl_(@hYeX8YjaRO=IqO7neK0RsSNdYjD zaw$g2sG(>JR=8Iz1SK4`*kqd_3-?;_BIcaaMd^}<@MYbYisWZm2C2|Np_l|8r9yM|JkUngSo@?wci(7&O9a z%|V(4C1c9pps0xxzPbXH=}QTxc2rr7fXk$9`a6TbWKPCz&p=VsB8^W96W=BsB|7bc zf(QR8&Ktj*iz)wK&mW`#V%4XTM&jWNnDF56O+2bo<3|NyUhQ%#OZE8$Uv2a@J>D%t zMVMiHh?es!Ex19q&6eC&L=XDU_BA&uR^^w>fpz2_`U87q_?N2y;!Z!bjoeKrzfC)} z?m^PM=(z{%n9K`p|7Bz$LuC7!>tFOuN74MFELm}OD9?%jpT>38J;=1Y-VWtZAscaI z_8jUZ#GwWz{JqvGEUmL?G#l5E=*m>`cY?m*XOc*yOCNtpuIGD+Z|kn4Xww=BLrNYS zGO=wQh}Gtr|7DGXLF%|`G>J~l{k^*{;S-Zhq|&HO7rC_r;o`gTB7)uMZ|WWIn@e0( zX$MccUMv3ABg^$%_lNrgU{EVi8O^UyGHPNRt%R!1#MQJn41aD|_93NsBQhP80yP<9 zG4(&0u7AtJJXLPcqzjv`S~5;Q|5TVGccN=Uzm}K{v)?f7W!230C<``9(64}D2raRU zAW5bp%}VEo{4Rko`bD%Ehf=0voW?-4Mk#d3_pXTF!-TyIt6U+({6OXWVAa;s-`Ta5 zTqx&8msH3+DLrVmQOTBOAj=uoxKYT3DS1^zBXM?1W+7gI!aQNPYfUl{3;PzS9*F7g zWJN8x?KjBDx^V&6iCY8o_gslO16=kh(|Gp)kz8qlQ`dzxQv;)V&t+B}wwdi~uBs4? zu~G|}y!`3;8#vIMUdyC7YEx6bb^1o}G!Jky4cN?BV9ejBfN<&!4M)L&lRKiuMS#3} z_B}Nkv+zzxhy{dYCW$oGC&J(Ty&7%=5B$sD0bkuPmj7g>|962`(Q{ZZMDv%YMuT^KweiRDvYTEop3IgFv#)(w>1 zSzH>J`q!LK)c(AK>&Ib)A{g`Fdykxqd`Yq@yB}E{gnQV$K!}RsgMGWqC3DKE(=!{}ekB3+(1?g}xF>^icEJbc z5bdxAPkW90atZT+&*7qoLqL#p=>t-(-lsnl2XMpZcYeW|o|a322&)yO_8p(&Sw{|b zn(tY$xn5yS$DD)UYS%sP?c|z>1dp!QUD)l;aW#`%qMtQJjE!s2z`+bTSZmLK7SvCR z=@I4|U^sCwZLQSfd*ACw9B@`1c1|&i^W_OD(570SDLK`MD0wTiR8|$7+%{cF&){$G zU~|$^Ed?TIxyw{1$e|D$050n8AjJvvOWhLtLHbSB|HIfhMpqVf>AF&}ZQHhOJ14Bz zww+XL+qP}nww+W`F>b!by|=&a(cM4JIDhsTXY8@|ntQG}-}jm0&Bcj|LV(#sc=BNS zRjh;k9l>EdAFdd)=H!U`~$WP*}~^3HZ_?H>gKw>NBa;tA8M1{>St|)yDF_=~{KEPAGkg3VB`QCHol!AQ0|?e^W?81f{@()Wy!vQ$bY; z0ctx)l7VK83d6;dp!s{Nu=SwXZ8lHQHC*J2g@P0a={B8qHdv(+O3wV=4-t4HK1+smO#=S; z3cSI#Nh+N@AqM#6wPqjDmQM|x95JG|l1#sAU|>I6NdF*G@bD?1t|ytHlkKD+z9}#j zbU+x_cR-j9yX4s{_y>@zk*ElG1yS({BInGJcIT>l4N-DUs6fufF#GlF2lVUNOAhJT zGZThq54GhwCG(h4?yWR&Ax8hU<*U)?g+HY5-@{#ls5CVV(Wc>Bavs|l<}U|hZn z_%m+5i_gaakS*Pk7!v&w3&?R5Xb|AkCdytTY;r+Z7f#Id=q+W8cn)*9tEet=OG+Y} z58U&!%t9gYMx2N=8F?gZhIjtkH!`E*XrVJ?$2rRxLhV1z82QX~PZi8^N5z6~f-MUE zLKxnNoPc-SGl7{|Oh?ZM$jq67sSa)Wr&3)0YxlJt(vKf!-^L)a|HaPv*IYXb;QmWx zsqM>qY;tpK3RH-omtta+Xf2Qeu^$VKRq7`e$N-UCe1_2|1F{L3&}M0XbJ@^xRe&>P zRdKTgD6601x#fkDWkoYzRkxbn#*>${dX+UQ;FbGnTE-+kBJ9KPn)501#_L4O_k`P3 zm+$jI{|EC?8BXJY{P~^f-{**E53k%kVO$%p+=H5DiIdwMmUo>2euq0UzU90FWL!>; z{5@sd0ecqo5j!6AH@g6Mf3keTP$PFztq}@)^ZjK;H6Go$#SV2|2bAFI0%?aXgVH$t zb4Kl`$Xh8qLrMbZUS<2*7^F0^?lrOE=$DHW+O zvLdczsu0^TlA6RhDy3=@s!k^1D~Awulk!Iyo#}W$xq8{yTAK!CLl={H0@YGhg-g~+ z(u>pss4k#%8{J%~%8=H5!T`rqK6w^es-cNVE}=*lP^`i&K4R=peg1tdmT~UAbDKc& zg%Y*1E{hBf<)xO>HDWV7BaMWX6FW4ou1T2m^6{Jb!Su1UaCCYY8RR8hAV$7ho|FyEyP~ zEgK`@%a$-C2`p zV*~G>GOAs*3KN;~IY_UR$ISJxB(N~K>=2C2V6>xTmuX4klRXdrJd&UPAw7&|KEwF8Zcy2j-*({gSNR1^p02Oj88GN9a_Hq;Skdp}kO0;FLbje%2ZvPiltDZgv^ z#pb4&m^!79;O8F+Wr9X71laPY!CdNXG?J6C9KvdAE2xWW1>U~3;0v≫L+crb^Bz zc+Nw%zgpZ6>!A3%lau!Pw6`Y#WPVBtAfKSsqwYDWQK-~ zz(mx=nJ6-8t`YXB{6gaZ%G}Dmn&o500Y}2Rd?e&@=hBEmB1C=$OMBfxX__2c2O4K2#(0ksclP$SHp*8jq-1&(<6(#=6&H`Nlc2RVC4->r6U}sTY<1? zn@tv7XwUs-c>Lcmrm5AE0jHI5={WgHIow6cX=UK)>602(=arbuAPZ37;{HTJSIO%9EL`Et5%J7$u_NaC(55x zH^qX^H}*RPDx)^c46x>js=%&?y?=iFs^#_rUl@*MgLD92E5y4B7#EDe9yyn*f-|pQ zi>(!bIg6zY5fLSn@;$*sN|D2A{}we*7+2(4&EhUV%Qqo5=uuN^xt_hll7=`*mJq6s zCWUB|s$)AuS&=)T&_$w>QXHqCWB&ndQ$y4-9fezybZb0bYD^zeuZ>WZF{rc>c4s`` zgKdppTB|o>L1I1hAbnW%H%EkFt%yWC|0~+o7mIyFCTyb?@*Ho)eu(x`PuO8pLikN> z6YeI`V?AUWD(~3=8>}a6nZTu~#QCK(H0+4!ql3yS`>JX;j4+YkeG$ZTm33~PLa3L} zksw7@%e-mBM*cGfz$tS4LC^SYVdBLsR}nAprwg8h2~+Cv*W0%izK+WPVK}^SsL5R_ zpA}~G?VNhJhqx2he2;2$>7>DUB$wN9_-adL@TqVLe=*F8Vsw-yho@#mTD6*2WAr6B zjtLUh`E(;#p0-&$FVw(r$hn+5^Z~9J0}k;j$jL1;?2GN9s?}LASm?*Rvo@?E+(}F& z+=&M-n`5EIz%%F^e)nnWjkQUdG|W^~O|YeY4Fz}>qH2juEere}vN$oJN~9_Th^&b{ z%IBbET*E8%C@jLTxV~h#mxoRrJCF{!CJOghjuKOyl_!Jr?@4Upo7u>fTGtfm|CH2v z&9F+>;6aFbYXLj3{yZ~Yn1J2%!)A3~j2$`jOy{XavW@t)g}}KUVjCWG0OUc7aBc=2 zR3^u=dT47=5SmT{K1aGaVZkOx|24T-J0O$b9dfB25J|7yb6frwS6wZ1^y%EWOm}S< zc1SdYhfsdLG*FB-;!QLV3D!d~hnXTGVQVck9x%=B(Kk8c3y%f0nR95_TbY;l=obSl zEE@fp0|8Q$b3(+DXh?d0FEloGhO0#11CLQT5qtEckBLe-VN-I>9ys}PVK0r;0!jIG zH_q$;a`3Xv9P_V2ekV1SMzd#SKo<1~Dq2?M{(V;AwhH_2x@mN$=|=cG0<3o^j_0OF z7|WJ-f2G=7sA4NVGU2X5`o*D2T7(MbmZ2(oipooE{R?9!{WxX!%ofhsrPAxoIk!Kr z>I$a{Zq=%KaLrDCIL^gmA3z{2z%Wkr)b$QHcNUA^QwydWMJmxymO0QS22?mo%4(Md zgME(zE}ub--3*wGjV`3eBMCQG-@Gel1NKZDGuqobN|mAt0{@ZC9goI|BSmGBTUZ(`Xt z^e2LiMg?6E?G*yw(~K8lO(c4)RY7UWxrXzW^iCg-P41dUiE(i+gDmmAoB?XOB}+Ln z_}rApiR$sqNaT4frw69Wh4W?v(27IlK$Toy<1o)GeF+sGzYVeJ`F)3`&2WDi^_v67 zg;@ehwl3=t+}(DJtOYO!s`jHyo-}t@X|U*9^sIfaZfh;YLqEFmZ^E;$_XK}%eq;>0 zl?+}*kh)5jGA}3daJ*v1knbW0GusR1+_xD`MFPZc3qqYMXd>6*5?%O5pC7UVs!E-` zuMHc6igdeFQ`plm+3HhP)+3I&?5bt|V8;#1epCsKnz0%7m9AyBmz06r90n~9o;K30 z=fo|*`Qq%dG#23bVV9Jar*zRcV~6fat9_w;x-quAwv@BkX0{9e@y0NB(>l3#>82H6 z^US2<`=M@6zX=Pz>kb8Yt4wmeEo%TZ=?h+KP2e3U9?^Nm+OTx5+mVGDvgFee%}~~M zK+uHmj44TVs}!A}0W-A92LWE%2=wIma(>jYx;eVB*%a>^WqC7IVN9{o?iw{e4c=CG zC#i=cRJZ#v3 zF^9V+7u?W=xCY%2dvV_0dCP%5)SH*Xm|c#rXhwEl*^{Ar{NVoK*H6f5qCSy`+|85e zjGaKqB)p7zKNKI)iWe6A9qkl=rTjs@W1Crh(3G57qdT0w2ig^{*xerzm&U>YY{+fZbkQ#;^<$JniUifmAuEd^_M(&?sTrd(a*cD! zF*;`m80MrZ^> zaF{}rDhEFLeH#`~rM`o903FLO?qw#_Wyb5}13|0agjSTVkSI6Uls)xAFZifu@N~PM zQ%o?$k)jbY0u|45WTLAirUg3Zi1E&=G#LnSa89F3t3>R?RPcmkF}EL-R!OF_r1ZN` z?x-uHH+4FEy>KrOD-$KHg3$-Xl{Cf0;UD4*@eb~G{CK-DXe3xpEEls?SCj^p z$Uix(-j|9f^{z0iUKXcZQen}*`Vhqq$T?^)Ab2i|joV;V-qw5reCqbh(8N)c%!aB< zVs+l#_)*qH_iSZ_32E~}>=wUO$G_~k0h@ch`a6Wa zsk;<)^y=)cPpHt@%~bwLBy;>TNrTf50BAHUOtt#9JRq1ro{w80^sm-~fT>a$QC;<| zZIN%&Uq>8`Js_E((_1sewXz3VlX|-n8XCfScO`eL|H&2|BPZhDn}UAf_6s}|!XpmUr90v|nCutzMjb9|&}#Y7fj_)$alC zM~~D6!dYxhQof{R;-Vp>XCh1AL@d-+)KOI&5uKupy8PryjMhTpCZnSIQ9^Aq+7=Mb zCYCRvm4;H=Q8nZWkiWdGspC_Wvggg|7N`iED~Eap)Th$~wsxc(>(KI>{i#-~Dd8iQ zzonqc9DW1w4a*}k`;rxykUk+~N)|*I?@0901R`xy zN{20p@Ls<%`1G1Bx87Vm6Z#CA`QR(x@t8Wc?tpaunyV^A*-9K9@P>hAWW9Ev)E$gb z<(t?Te6GcJX2&0% z403pe>e)>m-^qlJU^kYIH)AutgOnq!J>FoMXhA-aEx-((7|(*snUyxa+5$wx8FNxS zKuVAVWArlK#kDzEM zqR?&aXIdyvxq~wF?iYPho*(h?k zD(SBpRDZ}z$A})*Qh!9&pZZRyNixD!8)B5{SK$PkVET(yd<8kImQ3ILe%jhx8Ga-1 zE}^k+Eo^?c4Y-t2_qXiVwW6i9o2qosBDj%DRPNT*UXI0=D9q{jB*22t4HHcd$T&Xi zT=Vte*Gz2E^qg%b7ev04Z&(;=I4IUtVJkg<`N6i7tjUn-lPE(Y4HPyJKcSjFnEzCH zPO(w%LmJ_=D~}PyfA91H4gCaf-qur3_KK}}>#9A}c5w@N;-#cHph=x}^mQ3`oo`Y$ope#)H9(kQK zGyt<7eNPuSAs$S%O>2ElZ{qtDIHJ!_THqTwcc-xfv<@1>IJ;YTv@!g-zDKBKAH<

Zet1e^8c}8fE97XH}+lF{qbF<`Y%dU|I!~Y`ZrVfKX82i z)(%!Tcf~eE^%2_`{WBPGPU@1NB5SCXe1sAI<4&n1IwO{&S$ThWn37heGOSW%nW7*L zxh0WK!E7zh%6yF-7%~l@I~b`2=*$;RYbi(I#zp$gL_d39U4A)KuB( zcS0bt48&%G_I~( zL(}w&2NA6#$=|g)J+-?ehHflD^lr77ngdz=dszFI;?~ZxeJv=gsm?4$$6#V==H{fa zqO!EkT>1-OQSJoX)cN}XsB;shvrHRwTH(I2^Ah4|rizn!V7T7fLh~Z<`Q+?zEMVxh z$=-x^RR*PlhkV_8mshTvs+zmZWY&Jk{9LX0Nx|+NAEq-^+Rh|ZlinVZ=e8=`WQt;e@= zPU}^1cG*O;G7l{Y#nl znp`y%CO_SC7gk0i0gY&phM04Y)~vU0!3$V$2T+h(1ZS+cCgc zaC?3M;B48^faGo>h~--#FNFauH?0BJJ6_nG5qOlr>k~%DCSJaOfl%KWHusw>tGrTxAhlEVDxc8R2C-)LCt&$Rt9IKor=ml7jirX@?WW+M z^I{b}MD5r$s>^^sN@&g`cXD~S_u09xo;{;noKZatIuzqd zW1e7oTl9>g8opPBT(p+&fo0F#!c{NFYYpIZ6u8hOB{F#{nP)@})X20$3iJtG$cO zJ$Oxl_qH{sL5d?=D$2M4C3Ajc;GN0(B-HVT;@pJ-LvIrN%|SY?t}g!J>ufQrR%hoY z!nr$tq~N%)9}^tEip93XW=MQ1@XovSvn`PTqXeT9@_7hGv4%LK1M**Q%UKi|(v@1_ zKGe*@+1%Y4v&`;5vUL`C&{tc+_7HFs7*OtjY8@Gg`C4O&#An{0xOvgNSehTHS~_1V z=daxCMzI5b_ydM5$z zZl`a{mM}i@x;=QyaqJY&{Q^R*^1Yzq!dHH~UwCCga+Us~2wk59ArIYtSw9}tEmjbo z5!JA=`=HP*Ae~Z4Pf7sC^A3@Wfa0Ax!8@H_&?WVe*)9B2y!8#nBrP!t1fqhI9jNMd zM_5I)M5z6Ss5t*f$Eh{aH&HBeh310Q~tRl3wCEcZ>WCEq%3tnoHE)eD=)XFQ7NVG5kM zaUtbnq2LQomJSWK)>Zz1GBCIHL#2E>T8INWuN4O$fFOKe$L|msB3yTUlXES68nXRX zP6n*zB+kXqqkpQ3OaMc9GqepmV?Ny!T)R@DLd`|p5ToEvBn(~aZ%+0q&vK1)w4v0* zgW44F2ixZj0!oB~^3k|vni)wBh$F|xQN>~jNf-wFstgiAgB!=lWzM&7&&OYS=C{ce zRJw|)PDQ@3koZfm`RQ$^_hEN$GuTIwoTQIDb?W&wEo@c75$dW(ER6q)qhF`{#7UTuPH&)w`F!w z0EKs}=33m}_(cIkA2rBWvApydi0HSOgc>6tu&+hmRSB%)s`v_NujJNhKLS3r6hv~- z)Hm@?PU{zd0Tga)cJWb2_!!9p3sP%Z zAFT|jy;k>4X)E>4fh^6=SxV5w6oo`mus&nWo*gJL zZH{SR!x)V)y=Qc7WEv-xLR zhD4OcBwjW5r+}pays`o)i$rcJb2MHLGPmeOmt5XJDg@(O3PCbxdDn{6qqb09X44T zh6I|s=lM6Nr#cGaA5-eq*T=LQ6SlRq*`~`b+dVi5^>el1p;#si6}kK}>w;1 z6B1dz{q_;PY{>DBQ+v@1pfXTd5a*^H9U*;qdj@XBF}MoSSQxVXeUpEM5Z0909&8$pRfR|B(t0ox&xl8{8mUNd#(zWONW{oycv$VjP1>q;jU@ z@+8E~fjz*I54OFFaQ{A5jn1w>r;l!NRlI(8q3*%&+tM?lov_G3wB`<}bQ>1=&xUht zmti5VZzV1Cx006Yzt|%Vwid>QPX8Nfa8|sue7^un@C+!3h!?-YK>lSfNIHh|0kL8v zbv_BklQ4HOqje|@Fyxn%IvL$N&?m(KN;%`I$N|muStjSsgG;gP4Smgz$2u(mG;DXP zf~uQ z212x^l6!MW>V@ORUGSFLAAjz3i5zO$=UmD_zhIk2OXUz^LkDLWjla*PW?l;`LLos> z7FBvCr)#)XBByDm(=n%{D>BcUq>0GOV9`i-(ZSI;RH1rdrAJ--f0uuAQ4odl z_^$^U_)0BBJwl@6R#&ZtJN+@a(4~@oYF)yG+G#3=)ll8O#Zv3SjV#zSXTW3h9kqn* z@AHL=vf~KMas}6{+u=}QFumr-!c=(BFP_dwvrdehzTyqco)m@xRc=6b#Dy+KD*-Bq zK=y*1VAPJ;d(b?$2cz{CUeG(0`k9_BIuUki@iRS5lp3=1#g)A5??1@|p=LOE|FNd; z-?5MLKd-5>yQ7n__5W^3C!_`hP(o%_E3BKEmo1h=H(7;{6$XRRW6{u+=oQX<((xAJ zNRY`Egtn#B1EBGHLy^eM5y}Jy0h!GAGhb7gZJoZI-9WuSRw)GVQAAcKd4Qm)pH`^3 zq6EIM}Q zxZGx%aLnNP1an=;o8p9+U^>_Bi`e23E^X|}MB&IkS+R``plrRzTE%ncmfvEW#AHJ~ znmJ`x&ez6eT21aLnoI`%pYYj zzQ?f^ob&Il;>6Fe>HPhAtTZa*B*!;;foxS%NGYmg!#X%)RBFe-acahHs3nkV61(E= zhekiPp1d@ACtA=cntbjuv+r-Zd`+lwKFdqZuYba_ey`&H<Psu;Tzwt;-LQxvv<_D5;ik7 zwETZe`+voUhk%$s2-7Rqfl`Ti_{(fydI(DAHKr<66;rYa6p8AD+NEc@Fd@%m`tiK% z=Mebzrtp=*Q%a}2UdK4J&5#tCN5PX>W=(9rUEXZ8yjRu+7)mFpKh{6;n%!bI(qA9kfyOtstGtOl zX!@*O0fly*L4k##fsm&V0j9Lj<_vu1)i?!#xTB7@2H&)$Kzt@r(GH=xRZlIimTDd_o(%9xO388LwC#;vQ?7OvRU_s< zDS@6@g}VnvQ+tn(C#sx0`J^T4WvFxYI17;uPs-Ub{R`J-NTdtBGl+Q>e81Z3#tDUr ztnVc*p{o|RNnMYts4pdw=P!uJkF@8~h)oV4dXu5F7-j0AW|=mt!QhP&ZV!!82*c7t zuOm>B*2gFtq;A8ynZ~Ms?!gEi5<{R_8tRN%aGM!saR4LJQ|?9w>Ff_61(+|ol_vL4 z-+N>fushRbkB4(e{{SQ}>6@m}s1L!-#20N&h%srA=L50?W9skMF9NGfQ5wU*+0<@> zLww8%f+E0Rc81H3e_5^DB@Dn~TWYk}3tqhO{7GDY;K7b*WIJ-tXnYM@z4rn(LGi?z z8%$wivs)fC#FiJh?(SbH-1bgdmHw&--rn7zBWe1xAhDdv#IRB@DGy}}zS%M0(F_3_ zLb-pWsdJ@xXE;=tpRAw?yj(Gz=i$;bsh&o2XN%24b6+?_gJDBeY zws3PE2u!#Cec>aFMk#ECxDlAs;|M7@LT8)Y4(`M}N6IQ{0YtcA*8e42!n^>`0$LFU zUCq2IR2(L`f++=85M;}~*E($nE&j;p{l%xchiTau*tB9bI= zn~Ygd@<+9DrXxoGPq}@vI1Q3iEfKRleuy*)_$+hg?+GOgf1r?d@Or42|s|D>XMa;ebr1uiTNUq@heusd6%WwJqyCCv!L*qou9l!B22H$bQ z)<)IA>Yo77S;|`fqBk!_PhLJEQb0wd1Z|`pCF;hol!34iQYtqu3K=$QxLW7(HFx~v>`vVRr zyqk^B4~!3F8t8Q_D|GLRrAbbQDf??D&Jd|mgw*t1YCd)CM2$76#Cqj1bD*vADwavp zS<`n@gLU4pwCqNPsIfHKl{5}gu9t-o+O< z??!fMqMrt$s}02pdBbOScUrc1T*{*-ideR6(1q4@oC6mxg8v8Y^h^^hfx6| z|Mld6Ax1CuSlmSJmHwdOix?$8emihK#&8&}u8m!#T1+c5u!H)>QW<7&R$eih)xkov zHvvEIJHbkt+2KQ<-bMR;2SYX?8SI=_<-J!GD5@P2FJ}K z5u82YFotCJF(dUeJFRX_3u8%iIYbRS??A?;iVO?84c}4Du9&jG<#urlZ_Unrcg8dR z!5I3%9F*`qwk#joKG_Q%5_xpU7|jm4h0+l$p;g%Tr>i74#3QnMXdz|1l2MQN$yw|5 zThMw15BxjWf2{KM)XtZ+e#N)ihlkxPe=5ymT9>@Ym%_LF}o z1XhCP`3E1A{iVoHA#|O|&5=w;=j*Qf`;{mBAK3={y-YS$`!0UmtrvzHBfR*s{z<0m zW>4C=%N98hZlUhwAl1X`rR)oL0&A`gv5X79??p_==g*n4$$8o5g9V<)F^u7v0Vv^n z1sp8{W@g6eWv2;A31Rhf5j?KJhITYfXWZsl^`7z`CFtnFrHUWiD?$pwU6|PQjs|7RA0o9ARk^9$f`u3&C|#Z3iYdh<0R`l2`)6+ z6tiDj@xO;Q5PDTYSxsx6n>bj+$JK8IPJ=U5#dIOS-zwyK?+t^V`zChdW|jpZuReE_ z)e~ywgFe!0q|jzsBn&(H*N`%AKpR@qM^|@qFai0};6mG_TvXjJ`;qZ{lGDZHScZk( z>pO+%icp)SaPJUwtIPo1BvGyP8E@~w2y}=^PnFJ$iHod^JH%j1>nXl<3f!nY9K$e` zq-?XYl)K`u*cVXM=`ym{N?z=dHQNR23M8uA-(vsA$6(xn+#B-yY!CB2@`Uz({}}w+ z0sni*39>rMC!Ay|1B@;al%T&xE(wCf+`3w>N)*LxZZZYi{5sqiVWgbNd>W*X?V}C- zjQ4F7e_uCUOHbtewQkq?m$*#@ZvWbu{4i$`aeKM8tc^ zL5!GL8gX}c+qNUtUIcps1S)%Gsx*MQLlQeoZz2y2OQb(A73Jc3`LmlQf0N{RTt;wa`6h|ljX1V7UugML=W5-STDbeWTiEMjPQ$({hn_s&NDXzs6?PLySp$?L`0ilH3vCUO{JS0Dp`z;Ry$6}R@1NdY7rxccbm$+;ApSe=2q!0 z()3$vYN0S$Cs)#-OBs{_2uFf}L4h$;7^2w20=l%5r9ui&pTEgg4U!FoCqyA6r2 zC5s72l}i*9y|KTjDE5gVlYe4I2gGZD)e`Py2gq7cK4at{bT~DSbQQ4Z4sl)kqXbbr zqvXtSqMrDdT2qt-%-HMoqeFEMsv~u)-NJ%Z*ipSJUm$)EJ+we|4*-Mi900K{K|e0; z1_j{X5)a%$+vM7;3j>skgrji92K1*Ip{SfM)=ob^E374JaF!C(cZ$R_E>Wv+?Iy9M z?@`#XDy#=z%3d9&)M=F8Xq5Zif%ldIT#wrlw(D_qOKo4wD(fyDHM5(wm1%7hy6euJ z%Edg!>Egs;ZC6%ktLFtyN0VvxN?*4C=*tOEw`{KQvS7;c514!FP98Nf#d#)+Y-wsl zP3N^-Pnk*{o(3~m=3DX$b76Clu=jMf9E?c^cbUk_h;zMF&EiVz*4I(rFoaHK7#5h0 zW7CQx+xhp}Ev+jw;SQ6P$QHINCxeF8_VX=F3&BWUd(|PVViKJl@-sYiUp@xLS2NuF z8W3JgUSQ&lUp@2E(7MG`sh4X!LQFa6;lInWqx}f#Q z4xhgK1%}b(Z*rZn=W{wBOe7YQ@1l|jQ|9ELiXx+}aZ(>{c7Ltv4d>PJf7f+qjRU8i%XZZFJkj&6D^s;!>`u%OwLa*V5Js9Y$b-mc!t@{C415$K38iVu zP7!{3Ff%i_e!^LzJWhBgQo=j5k<<($$b&%%Xm_f8RFC_(97&nk83KOy@I4k?(k<(6 zthO$3yl&0x!Pz#!79bv^?^85K5e7uS$ zJ33yka2VzOGUhQXeD{;?%?NTYmN3{b0|AMtr(@bCx+c=F)&_>PXgAG}4gwi>g82n> zL3DlhdL|*^WTmn;XPo62HhH-e*XIPSTF_h{#u=NY8$BUW=5@PD{P5n~g5XDg?Fzvb_u ziK&CJqod4srfY2T?+4x@)g9%3%*(Q2%YdCA3yM{s=+QD0&IM`8k8N&-6%iIL3kon> z0>p3BUe!lrz&_ZX2FiP%MeuQY-xVV%K?=bGPOM&XM0XRd7or< zy}jn_eEzuQ>t2fM9ict#ZNxD7HUycsq76IavfoNl$G1|t*qpUSX;YgpmJrr_8yOJ2 z(AwL;Ugi{gJ29@!G-mD82Z)46T`E+s86Qw|YSPO*OoooraA!8x_jQXYq5vUw!5f_x zubF$}lHjIWxFar8)tTg8z-FEz)a=xa`xL~^)jIdezZsg4%ePL$^`VN#c!c6`NHQ9QU zkC^<0f|Ksp45+YoX!Sv>+57q}Rwk*2)f{j8`d8Ctz^S~me>RSakEvxUa^Pd~qe#fb zN7rnAQc4u$*Y9p~li!Itp#iU=*D4>dvJ{Z~}kqAOBcL8ln3YjR{Sp!O`s=5yM zWRNP#;2K#+?I&?ZSLu)^z-|*$C}=0yi7&~vZE$s``IE^PY|dj^HcWI$9ZRm>3w(u` z-1%;;MJbzHFNd^!Ob!^PLO-xhhj@XrI81Y)x4@FdsI( za`o4Gy(`T$P?PB?s>o+eIOtuirMykbuAi65Y_UN1(?jTCy@J8Px`%;bcNmPm#Fr!= z5V!YViFJ!FBfEq>nJFk0^RAV1(7w+X`HRgP;nJHJdMa!}&vvduCMoslwHTes_I76|h>;(-9lbfGnt zoZomakOt759AuTX4b$)G8TzJ&m*BV8!vMs9#=e0tWa z%)84R=3?tfh72~=Rc;fXwj+x z+25xapYK@2@;}6)@8IL+F6iuJ_B{&A-0=U=U6WMbY>~ykVFp$XkH)f**b>TE5)shN z39E2L@JPCSl!?pkvFeh@6dCv9oE}|{GbbVM!XIgByN#md&tXy@>QscU0#z!I&X4;d z&B&ZA4lbrHJ!x4lCN4KC-)u#gT^cE{Xnhu`0RXVKn|j$vz8m}v^%*cQ{(h%FW8_8a zFM{$PirSI8@#*xg2T){A+EKX(eTC66Fb})w{vg%Vw)hvV-$tttI^V5wvU?a{(G}{G z@ob7Urk1@hDN&C$N!Nio9YrkiUC{5qA`KH*7CriaB;2~2Od>2l=WytBRl#~j`EYsj}jqK2xD*3 ztEUiPZzEJC??#Tj^?f)=sRXOJ_>5aO(|V#Yqro05p6)F$j5*wYr1zz|T4qz$0K(5! zr`6Pqd+)%a9Xq3aNKrY9843)O56F%=j_Yy_;|w8l&RU1+B4;pP*O_}X8!qD?IMiyT zLXBOOPg<*BZtT4LJ7DfyghK|_*mMP7a1>zS{8>?}#_XXaLoUBAz(Wi>$Q!L;oQ&cL z6O|T6%Dxq3E35$0g5areq9$2+R(911!Z9=wRPq-pju7DnN9LAfOu3%&onnfx^Px5( zT2^sU>Y)88F5#ATiVoS$jzC-M`vY8!{8#9O#3c&{7J1lo-rcNK7rlF0Zt*AKE(WN* z*o?Tv?Sdz<1v6gfCok8MG6Pzecx9?C zrQG5j^2{V556Hj=xTiU-seOCr2ni@b<&!j>GyHbv!&uBbHjH-U5Ai-UuXx0lcz$D7%=! z&zXD#Jqzro@R=hy8bv>D_CaOdqo6)vFjZldma5D+R;-)y1NGOFYqEr?h zd_mTwQ@K2veZTxh1aaV4F;YnaWA~|<8$p}-eFHashbWW6Dzj=3L=j-C5Ta`w-=QTw zA*k9!Ua~-?eC{Jc)xa;PzkUJ#$NfGJOfbiV^1au;`_Y8|{eJ(~W9pP9q?gLl5E6|e{xkT@s|Ac;yk01+twk_3nuk|lRu{7-zOjLAGe!)j?g+@-;wC_=NPIhk(W zfEpQrdRy z^Q$YBs%>$=So>PAMkrm%yc28YPi%&%=c!<}a=)sVCM51j+x#<2wz?2l&UGHhOv-iu z64x*^E1$55$wZou`E=qjP1MYz0xErcpMiNYM4+Qnb+V4MbM;*7vM_Yp^uXUuf`}-* z_2CnbQ);j5;Rz?7q)@cGmwE^P>4_u9;K|BFlOz_|c^1n~%>!uO#nA?5o4A>XLO{X2 z=8M%*n=IdnXQ}^+`DXRKM;3juVrXdgv79;E=ovQa^?d7wuw~nbu%%lsjUugE8HJ9zvZIM^nWvjLc-HKc2 zbj{paA}ub~4N4Vw5oY{wyop9SqPbWRq=i@Tbce`r?6e`?`iOoOF;~pRyJlKcIJf~G z)=BF$B>YF9>qV#dK^Ie#{0X(QPnOuu((_-u?(mxB7c9;LSS-DYJ8Wm4gz1&DPQ8;0 z=Wao(zb1RHXjwbu_Zv<=9njK28sS}WssjOL!3-E5>d17Lfnq0V$+IU84N z-4i$~!$V-%Ik;`Z3MOqYZdiZ^3nqqzIjLE+zpfQC+LlomQu-uNCStj%MsH(hsimN# z%l4vpJBs_2t7C)x@6*-k_2v0FOk<1nIRO3F{E?2DnS}w> z#%9Oa{`RB5FL5pKLkg59#x~)&I7GzfhiVC@LVFSmxZuiRUPVW*&2ToCGST0K`kRK) z02#c8W{o)w1|*YmjGSUO?`}ukX*rHIqGtFH#!5d1Jd}&%4Kc~Vz`S7_M;wtM|6PgI zNb-Dy-GI%dr3G3J?_yBX#NevuYzZgzZ!vN>$-aWOGXqX!3qzCIOzvA5PLC6GLIo|8 zQP^c)?NS29hPmk5WEP>cHV!6>u-2rR!tit#F6`_;%4{q^6){_CHGhvAs=1X8Fok+l zt&mk>{4ARXVvE-{^tCO?inl{)o}8(48az1o=+Y^r*AIe%0|{D_5_e>nUu`S%zR6|1 zu0$ov7c`pQEKr0sIIdm7hm{4K_s0V%M-_Mh;^A0*=$V9G1&lzvN9(98PEo=Zh$`Vj zXh?fZ;9$d!6sJRSjTkOhb7@jgSV^2MOgU^s2Z|w*e*@;4h?A8?;v8JaLPCoKP_1l- z=Jp0PYDf(d2Z`;O7mb6(_X_~z0O2yq?H`^c=h|8%gfywg#}wIyv&_uW{-e8e)YmGR zI0NNSDoJWa%0ztGzkwl>IYW*DesPRY?oH+ow^(>(47XUm^F`fAa0B~ja-ae$e>4-A z64lb_;|W0ppKI+ zxu2VLZzv4?Mr~mi?WlS-1L4a^5k+qb5#C)ktAYGUE1H?Vbg9qsRDHAvwJUN=w~AuT zUXYioFg2Dx-W)}w9VdFK#vpjoSc!WcvRZ_;TgHu;LSY*i7K_>Px{%C4-IL?6q?Qa_ zL7l=EEo|@X&$gX;fYP02qJF~LN9?E-OL2G(Fo4hW)G{`qnW zTIuc+-1VJvKgph0jAc(LzM);Pg$MPln?U|ek{_5nNJHfm-Y#ec+n#Yf_e>XfbLbN)eqHEDr0#?<;TskL5-0JGv|Ut{=$Xk8hlwbaMXdcI3GL zY-hykR{zX9liy$Z2F3!z346uu%9@-y6Gda`X2*ixlD_P@<}K?AoV?(%lM%* z(xNk=|A()443aGj)-~IDf3J+UA2p2lh6ei^pG*HL#SiThnIr5WZDXebI)F7X zGmP-3bH$i$+(IwqgbM7h%G5oJ@4{Z~qZ#Zs*k7eXJIqg;@0kAGV|b=F#hZs)2BYu1 zr8sj#Zd+Iu^G}|@-dR5S*U-;DqzkX3V0@q-k8&VHW?h0b0?tJ-Atqmg^J8iF7DP6k z)W{g?5~F*$5x?6W)3YKcrNu8%%(DglnzMx5rsU{#AD+WPpRBf``*<8F-x75D$$13U zcaNXYC0|;r&(F@!+E=%+;bFKwKAB$?6R%E_QG5Yn5xX#h+zeI-=mdXD5+D+lEuM`M ze+*G!zX^xbnA?~LnPI=D2`825Ax8rM()i*{G0gcV5MATV?<7mh+HDA7-f6nc@95st zzC_si${|&=$MUj@nLxl_HwEXb2PDH+V?vg zA^DJ%dn069O9TNK-jV}cQKh|$L4&Uh`?(z$}#d+{X zm&=KTJ$+KvLZv-1GaHJm{>v=zXW%NSDr8$0kSQx(DQ)6S?%sWSHUazXSEg_g3agt2@0nyD?A?B%9NYr(~CYX^&U#B4XwCg{%YMYo%e68HVJ7`9KR`mE*Wl7&5t71*R3F>*&hVIaZXaI;2a$?;{Ew{e3Hr1* zbf$&Fyhnrq7^hNC+0#%}n^U2{ma&eS)7cWH$bA@)m59rXlh96piJu@lcKl<>+!1#s zW#6L5Ov%lS(?d66-(n`A%UuiIqs|J|Ulq0RYq-m&RR0>wfA1?<34tI?MBI#a8lY{m z{F2m|A@=`DpZpwdIH#4)9$#H3zr4kn2OX!UE=r8FEUFAwq6VB?DJ8h59z$GXud$#+ zjneIq8uSi&rnG0IR8}UEn5OcZC?@-;$&Ry9hG{-1ta`8aAcOe1|82R7EH`$Qd3sf* zbrOk@G%H7R`j;hOosRVIP_2_-TuyB@rdj?(+k-qQwnhV3niH+CMl>ELX(;X3VzZVJ ztRais0C^L*lmaE(nmhvep+peCqr!#|F?iVagZcL>NKvMS_=*Yl%*OASDl3(mMOY9! z=_J$@nWpA-@><43m4olSQV8(PwhsO@+7#qs@0*1fDj70^UfQ(ORV0N?H{ceLX4<43 zEn)3CGoF&b{t2hbIz;Og+$+WiGf+x5mdWASEWIA*HQ9K9a?-Pf9f1gO6LanVTls)t z^f6_SD|>2Kx8mdQuiJwc_SmZOZP|wD7(_ti#0u=io|w~gq*Odv>@8JBblRCzMKK_4 zM-uO0Ud9>VD>J;zZzueo#+jbS7k#?W%`AF1@ZPI&q%}beZ|ThISf-ly)}HsCS~b^g zktgqOZ@~}1h&x50UQD~!xsW-$K~whDQNntLW=$oZDClUJeSr2$r3}94Wk1>co3beS zoY-7t{rGv|6T?5PNkY zj*XjF()ybvnVz5=BFnLO=+1*jG>E7F%&vm6up*QgyNcJJPD|pHoZ!H6?o3Eig0>-! zt^i-H@bJ;^!$6ZSH}@quF#RO)j>7A5kq4e+7gK=@g;POXcGV28Zv$jybL1J`g@wC# z_DW1ck}3+n@h2LFQhwVfaV@D+-kff4celZC0;0ef?pA#*PPd8Kk8sO1wza&BHQFblVU8P1=-qScHff^^fR zycH!hlHQs7iejITpc4UaBxzqTJ}Z#^lk{W(cr`qtW~Ap;HvuUf#MxgEG?tEU+B?G% znub0I(s@XvI(lva}$Z7<}Qg=rWd5n)}rX{nb+Aw;}?l9LZI-`N-*hts=c6XgjfJs ztp>-686v6ug{glEZ}K=jVG|N1WSWrU*&ue|4Q|O@;s0#L5P*U%Vx;)w7S0ZmLuvwA z@zs2Kut)n1K7qaywO#TbBR`Q~%mdr`V)D`|gN0!07C1!r3{+!PYf9*;h?;dE@#z(k z;o`g~<>P|Sy$ldHTUR3v=_X0Iw6F>3GllrFXVW?gU0q6|ocjd!glA)#f0G7i20ly>qxRljgfO2)RVpvmg#BSrN)GbGsrIb}9 z1t+r;Q>?MGLk#LI5*vR*C8?McB|=AoAjuDk&Pn`KQo z`!|mi{Cz@BGJ!TwMUUTkKXKNtS#OVNxfFI_Gfq3Kpw0`2AsJv9PZPq9x?~kNNR9BR zw#2jp%;FJNoOzW>tE#zskPICp>XSs?|B0E%DaJH)rtLA}$Y>?P+vEOvr#8=pylh zch;H3J`RE1{97O+1(1msdshZx$it^VfM$`-Gw>%NN`K|Tr$0}U`J?EBgR%bg=;et0 z_en)!x`~3so^V9-jffh3G*8Iy6sUq=uFq%=OkYvHaL~#3jHtr4sGM?&uY&U8N1G}QTMdqBM)#oLTLdKYOdOY%{5#Tgy$7QA! zWQmP!Wny$3YEm#Lt8TA^CUlTa{Cpp=x<{9W$A9fyKD0ApHfl__Dz4!HVVt(kseNzV z5Fb`|7Mo>YDTJ>g;7_MOpRi?kl>n(ydAf7~`Y6wBVEaxqK;l;}6x8(SD7}Tdhe2SR zncsdn&`eI}u}@^~_9(0^r!^wuKTKbs-MYjXy#-_#?F=@T*vUG@p4X+l^SgwF>TM}d zr2Ree{TP5x@ZtVcWd3++o|1`BCFK(ja-QP?zj6=ZOq)xf$CfSv{v;jCcNt4{r8f+m zz#dP|-~weHla%rsyYhB_&LHkwuj83RuCO0p;wyXsxW5o6{)zFAC~2%&NL? z=mA}szjHKsVSSnH#hM|C%;r0D$7)T`HQ1K5vZGOyUbgXjxD%4xbs$DAEz)-;iO?3& zXcyU*Z8zm?pP}w&9ot_5I;x#jIn^Joi5jBDOBP1)+p@G1U)pL6;SIO>Nhw?9St2UN zMedM(m(T6bNcPPD`%|9dvXAB&IS=W4?*7-tqldqALH=*UapL!4`2TM_{`W&pm*{?| z0DcsaTdGA%RN={Ikvaa&6p=Ux5ycM){F1OgOh(^Yk-T}a5zHH|=%Jk)S^vv9dY~`x zG+!=lsDjp!D}7o94RSQ-o_g#^CnBJlJ@?saH&+j0P+o=eKqrIApyR7ttQu*0 z1f;xPyH2--)F9uP2#Mw}OQhOFqXF#)W#BAxGP8?an<=JBiokg;21gKG_G8X!&Hv;7 zP9Vpzm#@;^-lf=6POs>UrGm-F>-! zm;3qp!Uw?VuXW~*Fw@LC)M%cvbe9!F(Oa^Y6~mb=8%$lg=?a0KcGtC$5y?`L5}*-j z7KcU8WT>2PpKx<58`m((l9^aYa3uP{PMb)nvu zgt;ia9=ZofxkrW7TfSrQf4(2juZRBgcE1m;WF{v1Fbm}zqsK^>sj=yN(x}v9#_{+C zR4r7abT2cS%Wz$RVt!wp;9U7FEW&>T>YAjpIm6ZSM4Q<{Gy+aN`Vb2_#Q5g@62uR_>II@eiHaay+JU$J=#>DY9jX*2A=&y8G%b zIY6gcJ@q)uWU^mSK$Q}?#Arq;HfChnkAOZ6^002J>fjPyPGz^D5p}o;h2VLNTI{HGg!obo3K!*I~a7)p-2Z3hCV_hnY?|6i`29b zoszLpkmch$mJeupLbt4_u-<3k;VivU+ww)a^ekoIRj4IW4S z{z%4_dfc&HAtm(o`d{CZ^AAIE5XCMvwQSlkzx3cLi?`4q8;iFTzuBAddTSWjfcZp* zn{@Am!pl&fv#k|kj86e$2%NK1G4kU=E~z9L^`@%2<%Dx%1TKk_hb-K>tq8A9bCDfW z@;Dc3KqLafkhN6414^46Hl8Tcv1+$q_sYjj%oHz)bsoGLEY1)ia5p=#eii(5AM|TW zA8=;pt?+U~>`|J(B85BKE0cB4n> zWrgZ)Rbu}^A=_oz65LfebZ(1xMjcj_g~eeoj74-Ex@v-q9`Q{J;M!mITVEfk6cn!u zn;Mj8C&3^8Kn%<`Di^~Y%Z$0pb`Q3TA}$TiOnRd`P1XM=>5)JN9tyf4O_z}-cN|i> zwpp9g`n%~CEa!;)nW@WUkF&<|wcWqfL35A}<`YRxV~$IpHnPQs2?+Fg3)wOHqqAA* zPv<6F6s)c^o%@YqS%P{tB%(Lxm`hsKv-Hb}MM3=U|HFgh8R-|-K(3m(eU$L@sg=uW zB$vAK`@>E`iM_rSo;Cr*?&wss@UXi19B9*0m3t3q^<)>L%4j(F85Ql$i^;{3UIP0c z*BFId*_mb>SC)d#(WM1%I}YiKoleKqQswkdhRt9%_dAnDaKM4IEJ|QK&BnQ@D;i-ame%MR5XbAfE0K1pcxt z{B5_&OhL2cx9@Sso@u2T56tE0KC`f4IXd_R3ymMZ%-!e^d}v`J?XC{nv1mAbaNJX| zXau+s`-`vAuf+&yi2bsd5%xdqyi&9o;h&fcO+W|XsKRFOD+pQw-p^pnwwYGu=hF7& z{cZj$O5I)4B1-dEuG*tU7wgYxNEhqAxH?p4Y1Naiu8Lt>FD%AxJ811`W5bveUp%*e z9H+S}!nLI;j$<*Dn~I*_H`zM^j;!rYf!Xf#X;UJW<0gic?y>NoFw}lBB6f#rl%t?k zm~}eCw{NR_%aosL*t$bmlf$u|U2hJ*_rTcTwgoi_N=wDhpimYnf5j!bj0lQ*Go`F& z6Wg+xRv55a(|?sCjOIshTEgM}2`dN-yV>)Wf$J58>lNVhjRagGZw?U9#2p!B5C3~Nc%S>p`H4PK z7vX@|Uo^*F4GXiFnMf4gwHB;Uk8X4TaLX4A>B&L?mw4&`XBnLCBrK2FYJLrA{*))0 z$*~X?2^Q0KS?Yp##T#ohH1B)y4P+rR7Ut^7(kCwS8QqgjP!aJ89dbv^XBbLhTO|=A z|3FNkH1{2Nh*j{p-58N=KA#6ZS}Ir&QWV0CU)a~{P%yhd-!ehF&~gkMh&Slo9gAT+ zM_&3ms;1Um8Uy0S|0r{{8xCB&Tg{@xotF!nU=YOpug~QlZRKR{DHGDuk(l{)d$1VD zj)3zgPeP%wb@6%$zYbD;Uhvy4(D|u{Q_R=fC+9z#sJ|I<$&j$|kkJiY?AY$ik9_|% z?Z;gOQG5I%{2{-*)Bk|Tia8n>TbrmjnK+8u*_cS%*;%>R|K|?urtIdgTM{&}Yn1;| zk`xq*Bn5HP5a`ANv`B$IKaqA4e-XC`sRn3Z{h!hN0=?x(kTP+fE1}-<3eL+QDFXN- z1JmcDt0|7lZN8sh^=$e;P*8;^33pN>?S7C0BqS)ow4{6ODm~%3018M6P^b~(Gos!k z2AYScAdQf36C)D`w&p}V89Lh1s88Dw@zd27Rv0iE7k#|U4jWDqoUP;-He5cd4V7Ql)4S+t>u9W;R-8#aee-Ct1{fPD+jv&zV(L&k z)!65@R->DB?K6Aml57?psj5r;%w9Vc3?zzGs&kTA>J9CmtMp^Wm#1a@cCG!L46h-j z8ZUL4#HSfW;2DHyGD|cXHNARk*{ql-J2W`9DMxzI0V*($9{tr|O3c;^)V4jwp^RvW z2wzIi`B8cYISb;V5lK}@xtm3NB;88)Kn}2fCH(WRH1l@3XaO7{R*Lc7{ZN1m+#&diI7_qzE z?BS+v<)xVMwt{IJ4yS2Q4(77II<>kqm$Jc3yWL42^gG6^Idg+y3)q$-(m2>E49-fV zyvsCzJ5EM4hyz1r#cOh5vgrzNGCBS}(Bupe`v6z{e z)cP*a8VCbRuhPp%BUwIRvj-$`3vrbp;V3wmAUt{?F z0OO?Mw`AS?y@>w%(pBO=0lohnxFWx`>Hs}V$j{XI2?}BtlvIl7!ZMZukDF7 z^6Rq2H*36KHxJ1xWm5uTy@%7;N0+|<>Up>MmxKhb;WbH1+=S94nOS-qN(IKDIw-yr zi`Ll^h%+%k`Yw?o3Z|ObJWtfO|AvPOc96m5AIw;4;USG|6jQKr#QP}+BLy*5%pnG2 zyN@VMHkD`(66oJ!GvsiA`UP;0kTmUST4|P>jTRfbf&Wii8~a`wMwVZoJ@waA{(t(V zwoc9l*4F>YUM8!aE1{?%{P4IM=;NUF|8YkmG0^Y_jTJtKClDV3D3~P7NSm7BO^r7& zWn!YrNc-ryEvhN$$!P%l$Y_P$s8E>cdAe3=@!Igo^0diL6`y}enr`+mQD;RC?w zb8}gXT!aC`%rdxx2_!`Qps&&w4i0F95>;6;NQ-ys;?j#Gt~HXzG^6j=Pv{3l1x{0( z4~&GNUEbH=9_^f@%o&BADqxb54EAq=8rKA~4~A!iDp9%eFHeA1L!Bb8Lz#kF(p#)X zn`CglEJ(+tr=h4bIIHlLkxP>exGw~{Oe3@L^zA)|Vx~2yNuPKtF^cV6X^5lw8hU*b zK-w6x4l&YWVB%0SmN{O|!`Sh6H45!7}oYPOc+a#a|n3f%G@eO)N>W!C|!FNXV3taFdpEK*A1TFGcRK zV$>xN%??ii7jx5D69O>W6O`$M)iQU7o!TPG*+>v6{TWI@p)Yg$;8+WyE9DVBMB=vnONSQ6k1v z;u&C4wZ_C`J-M0MV&MpOHuVWbq)2LZGR0&@A!4fZwTM^i;GaN?xA%0)q*g(F0PIB( zwGrCC#}vtILC_irDXI5{vuVO-(`&lf2Q4MvmXuU8G0+oVvzZp0Y)zf}Co0D+mUEZz zgwR+5y!d(V>s1} zji+mrd_6KG;$@Le2Ic&am6O+Rk1+QS?urB4$FQNyg2%9t%!*S5Ts{8j*&(H1+W;0~ z$frd%jJjlV;>bXD7!a-&!n52H^6Yp}2h3&v=}xyi>EXXZDtOIq@@&ljEJG{D`7Bjr zaibxip6B6Mf3t#-*Tn7p z96yx1Qv-&r3)4vg`)V~f8>>1_?E4&$bR~uR;$Nz=@U(-vyap|Jx zZ;6Ed+b#GXN+gN@ICTHx{=c@J|97TIPWs(_kjEIwZFHfc!rl8Ep-ZALBEZEr3^R-( z7ER1YXOgZ)&_=`WeHfWsWyzzF&a;AwTqzg~m1lOEJ0Su=C2<{pjK;{d#;E zr2~LgXN?ol2ua5Y*1)`(be0tpiFpKbRG+IK(`N?mIgdd9&e6vxzqxzaa`e7zKa3D_ zHi+c1`|720|dn(z4Qos^e7sn(PU%NYLv$&!|4kEse%DK;YAD06@XO3!EpKpz!^*?(?-Ip zC_Zlb(-_as+-D?0Ag9`|4?)bN)5o(J=&udAY|YgV(YuK9k=E>0z`$dSaL(wmxd!1f zME&3wwv@#{dgeMlZ4}GL!I`VZxtdQY$lmauCN_|mGXqEEj@i~du$|>5UvLjsbq!{; z@jEf;21iC1jFEmIPE^4gykHQzCMLj=2Ek4&FvlpqTlS(0YT%*W<>XgH$4ww`D`aihBGkPM(&EG};Cl&wzg8!jL z`rkqPzvH(0Kd{2n=?Bt8aAU&0IyiA+V-qnXVId^qG!SWZ7%_f&i!D{R#7Jo$%tICxY%j)ebORE>3H_c|to}c#HX;HAC?~B;2mmQrMp2;8T zmzde!k7BYg^Z1r|DUvSD3@{6S<1kndb%Qt%GA# z+sB2&F5L`R&fLRdAlpU_pVsJsYDEz{^ zKGaAz#%W+MPGT+D$+xowMY0=ipM)0p?zym&Aoi)qL(pO_weO(k?s|ELHl^W zviJiFUXRL&?`;3_;mvc02A@sbsW9}#{anvGafZ#ST;}za?XS3}ZG3B4m(SW{>w}Fh z)T5Yi*``Tstmi9SHXmuWSND@cj}qtY!`tuD29Dpu+-D3$h<5FY>jE>YJvqBmhw?oll`x7Ono(}R~P zle_eBwYy0Rr7kmf_SEt_gn4)AO-r`}^Z5Y%Rm8)K-?X>rvDL+QT?#)QwDsQ2c$tc* z&#hbgkL6}GnBDH;+lREM6MGIskRa@r>5Iq(ll2IepuhW86w@14=E{6$cz*cBDQ)CT>}v-DLM-v8)xaPBnmGBKM63RgDGqh!<*j90tSE4|G^+r@#-7g2 zs8KE8eZPZhQuN>wBU%8CmkE9LH1%O;-*ty0&K~01>F3XB>6sAm*m3535)9T&Fz}A4 zwGjZYVea@Fesd=Rv?ROE#q=}yfvQEP8*4zoEw4@^Qvw54utUfaR1T6gLmq?c9sON> z>Np6|0hdP_VURy81;`8{ZYS)EpU9-3;huFq)N3r{yP1ZBCHH7=b?Ig6OFK~%!GwtQ z3`RLKe8O&%^V`x=J4%^Oqg4ZN9rW`UQN^rslcr_Utzd-@u-Sm{rphS-y}{k41)Y4E zfzu}IC=J0JmRCV6a3E38nWl1G495grsDDc^H0Fn%^E0FZ=CSHB4iG<6jW1dY`2gUr zF>nB!y@2%rouAUe9m0VQIg$KtA~k^(f{C*Af_tOl=>vz>$>7qh+fPrSD0YVUnTt)? z;@1E0a*#AT{?oUs#bol@SPm0U5g<`AEF^=b-~&4Er)MsNnPsLb^;fL2kwp|$dwiE3 zNc5VDOQ%Q8j*d5vY##)PGXx51s8`0}2_X9u&r(k?s7|AgtW0LYbtlh!KJ;C9QZuz< zq>??uxAI1YP|JpN$+{X=97Cdu^mkwlB={`aUp+Uyu1P139=t%pSVKo7ZGi_v(0z>l zHLGxV%0w&#xvev)KCQ{7GC$nc3H?1VOsYGgjTK;Px(;o0`lerxB<+EJX9G9f8b+)VJdm(Ia)xjD&5ZL45Np?9 zB%oU;z05XN7zt{Q!#R~gcV^5~Y^gn+Lbad7C{UDX2Nznj8e{)TLH|zEc|{a#idm@z z6(zon+{a>FopmQsCXIs*4-dLGgTc)iOhO3r=l?imNUR-pWl!ktO0r_a0Nqo@bu8MzyjSq9zkqPe*`Sxz75rZ zr9X%(=PVqCRB=zfX+_u&*k4#s1k4OV11YgkCrlr6V;vz<{99HKC@qQ+H8xv5)sc63 z69;U4O&{fb5(fN``jJH#3=GHsV56@{d@7`VhA$K^;GU+R-V%%cnmjYs?>c5^6Ugv} zn<}L&i;2`zzW@(kxf$$gVH@7nh}2%G%ciQ_B?r{13?Q@=Q+6msQGtnyY%Gkjeor?g z7F*tMqLdhcq+LCCo^D;CtOACCBhXgK-M&w{*dcUdmtv@XFTofmmpcWKtCn^`#?oZC zUOm52 z7sK$hR|Vh6y&pfIUK&!`8HH*>12$nWA)Ynp+XwOj=jNLD z{QA4gezbe>wiP?`jJO;c&EId;=2u80s_r97;TX!6@*(<%WL+^bmxheMB3pKx0OpH^ zPs}knV+jpJ4TaD@r^V`mTsjf`7!z^H}eHQ#Rp z72(>Dm#QO!ZYR*O@yHic`3*T^t7jc=d`Jz6Lk@Y-bL%cOp_~=#xzIJl?`{Qu;$uC~NkePE+7wSW_FM`&V{gFN zl;lq@;FtAsl!h;tnOvj z#gYx!q$5MdZ0Jxjy=t*q)HFeeyI-vgaGdh1QNhqGRy8qS)|6S0QK7Gj9R?Co{Knh> za>xkQZ0}bBx!9@EUxRBYGm25^G}&j-`0VWX04E|J!kJ8^WoZ(jbhU_twFwWIH32fv zi=pg~(b#ajW=`)Vikwwe39lpML?|sY$?*6*kYBxku_<=#$gfTqQ_F!9F0=OkHnzBo zEwR!H_h|MNjuG$Tj6zaaouO}HYWCF8vN4C%EX-%Iu%ho;q$G#ErnafhXR*4J2Rp5* zhsi0;wlSwE*inVFO>{(8?N~82zijpt+9Y_-^>xnE%T*zk9gi|j7b@s<5{|qEquUD( zS;-%RySZOCOEh*>!kvbsQ265* z>X8*_Wy&~FB@aDHz%glyiAujXq-|2kDUjFTn9Rafsl+XNyFP%PG|l&ZGWBcEXxy=9 zeDn2PIoVuL$gX0RgVK1O$x3%pOzS7x^U5Pi;mtT)%cY;&e&M7GLM}zP+IPbqLt=^5 z7qLfri8myf;~2psc@^cA6mG&{C%e_(M$$!wC^5p^T1QzrS%I?(U{qcd+oJJkQxe10 zON{Q*?iz%F4MbEsoEc+x3E?&2wVR^v3|Q0lDaMvgS7mNjI{2w! z9|~=!83T%GW*iaChSS!`Xd^beFp9N4%K+k*j#jFumk}U?=WKL_kJAltxnxp~+lZzT zp@&&kSPTg3oSGos`rVBhK0|4NdHM_hnKuw1#0JV{gi_dKDJLB+ix~~HpU9%jD)@YY zOK)L7kgbLyN2%Dx#fuY}8swh4ACk7%BpP-n5(RhDq{gEHP*Fo4IviX{C49|B5h~SC zFr`=0)=h2^F5UpCAgt?R5u{6VvpUf#*nC zCQ`$!|C;L2lpjlG?(>T$(_$O3_YNNbPT~(?!j3aD8k=yu^ogw4bkjvgF|3BOq(hB& zG;^cPXmcUP$ox8zElCJ-zMbK9q^8{rri#8Cek5Ydr0YT-KTh@J z6^AcB9ejew8BY5kzZUZX(7Po==eW<(;uV~E7(BY5c0^xr`cuRwn)47bN?zOb!0?cw z#v}R$z66&m#+AHfo@(^V2#S~bhoUkkTArg+6w>JzZ52r96^({1W!?>4$h0l|-jDfj z>7(<+%67#(A|4hZ3>Y;hd&S?}F;`Vtqz|pK&B>NJ=Faci;gkf-+GmfQR8^zo_vul2 zB!)kfu4Dq_g)8TBBo52*sB6F`qa&JCR=_A$QWgX_K}fZm{Cb2#1q`^S3+WaS>sS#@ z-4k*G=#?z6d_e7JJ+Z8^(t0tNdL{K5F;2nfQbXgld}a(X)Gr;WojOy`^?es~AClT$ z5^lD{WJek0!p-QEH5E7n6DKQ0%_ZBZ=|jfV_MM{VmL8y-Wd|>OmeemP=C@xI@@M~1 zW2S*im@Rc=O>V886_UJ@oh1!2H$Ku&U*Hh_oxd{32)vf1$cRiepv28ricM;}#p!+k zaK{z1I=9Y%3m4|Pj*BD*Fn5Vh?O@oD^1UcjyeNh0fbhh~V6xb#4njlGW8OehUe!MnoR(wn#nsoyL1m!Rov)Nv4~&JEVl7L z#^qYdTpNI#u`N0UbVMiDmD>g2VQcG3>4D6gErgddZnSQTs){BExxRJRB?bIxTdZa z;!S8FHJPPiIDQ*FAUiWSYnjILFjDvxvSC zk z=j4Kx@Pg~&2Z?cmMDa;)#xVeorJrxDBqy{+`kG+ZPQqC@#ku-c3ucU+69$#q_*se` z-H#PFW^>-C0>++|6r=<$Z8)ZFaK=ZjwsNYXqRpl9G|yme@Eld5B-*I69Nx_TResHi z!5nm+>6zaJYQO#%D{~o-oOJ;q`fa5}l!8G*U-E$OM&7@dqciBCWtd}|SrDXz$TB($&m*=Epuolu2k`KUwO7maP3P0ok zmF57lSh0Ba@&sO1iZ5^+3s8{B8t|M;Pg&O+{tZJCiLWd6H@{b~9{CLF9s3Kn zt5)Rs9ejne?o{%f>B$Dl%X7fd~KY)I|(pxUeHj;gNsK6;ZR>`ciu;GxvhDUt!+31Knss2U(%ts8K z18)8;<2ax9RG?!|Lwdt^i5L^&O788roKmVAB)=EdK~HqR2Q=)H_VW}xY=95MP_Ov< zPEz3%DRK}+(aUBwsr83H8>`H^v~|A_t}0vPmRwKPt1{|qOY|PZu}j9+{ZhF&-H_TB zU9xWLpNTc`enI|)h9jQeqf5RfGLFk_vfX`40iMpd%KZF!lKbZTdBw$<^G6nuS+$fT zrbK)xo&;buPJcpOZ=x>n+bRXVFDs(23Xr=rDE&!)pVXZ;;A07NXGl_0m`{Z)DQIu$ zFDvY4xu-ifTe_$|n2B83eI;KUg6pVbw+N!nyLj~wnRi{4mNy{WDV)G1!6$y=+x6U{ z%4_9=Q^L!x_gAYp?J3+u5hA5cO8aHeI=6AC8^S{mzhqCBvBLYEutUC(X0>hKg|AvN zvkmJCQNA45_KjW{aEcyrBppcO6G0zTy%v1&@~+2!n?kA9?>0>AjFN|JdCnHQ8$hEU zw#mwGifHppLP?89LMb(Y3Li9iCPx7W%ek}2FgD2YSzjsR4Xj<=zN{Yo@7s7(k%mP4 znT2p&4EQ@q_chd-E z78uvD*C@oba`U3W2Iw`M#`5C8jOHv8^Li<|j^SI>>>`77Dp71Vtz=J?4Zck4SdRbd zfF}C_>Y(#)r@y!Q0`tMlG#b9>5`fAI$B&tWJfbGlYW$J4V+-s=HH!`+;1XeL@USdx zR0$G&&XBf9lQtkH5)p=U!8J!1{oc4E!N-~Abxl6E;;=3-hMYZ+44?u}zabmCE)yB?*_w91m$n1Yskp&@ z;kxeJX-#ioX^{elyLu~gzx|_KxLpX62MF%Axq3$!Z_P`pBWR?zP8OI`PV~6Aa0Oi0 zv_Ot1m&plf-ZF{e(z(Ms3*S5q$e|j;gOwGrmWsCHfLi(h8y?gc$(2H{884C1FvHQQ12tX=qFUsK~zM!W=K>;zaRsu4Xmcc@8nSs!vK+{ z?}bq}-m&p5jRSam67n>yG9ez=I^|J1O;Np8s=P~9MXYLxD+cFQK7PhG=bkjo{Naae zjp3NWWrlFWDb3Z5D07Q|WjZ=wOQ=aKA%en=O@hL$QCKpIXNZE=InFk|Fhq-&H!6&X z*MVy8=hL7Aw&pQjHrFf27C%3B<>FX{@fOLNhUoxL4*@nY}&M3G*T-p67a zo}~_&yGOB)#vbU|Q3FA8S^X)c-yBlmN(_%}`7Ha3uWFe?>9f=3hlO{^gv~$p`v?vk z_P*r43|(S{%ihs;)YH|jAMpP=-Ms7Ne75_YZZiL3CHVjSU`X1|?Ehh&gA=Xn7W7d@ zf8bM9Y>lG!`PWFDDA9G;x*{1Eh^55u66*9D+-4^dYZ{xXP@?sQLVrY%(azM;C^4FuN7CQ%$!3sr1JL=!Be& zuOZL^bLp$Qo2rL=WDzQIls%s!Go z{s}Q0b#+#8bKga|01t%^9Z=wEsevvXM_{$dCR97ed3@1kX)mtSS!JN^rtqKOj}p~> zfpCI@DX*DqcB6ZnBcl~}sGO~1s$AtfkX6fy3N8*ebvZc*KBW;dA=)?#BE&}-or74i zZUt5;{FBPnkZD8YUXDsx&2LvSziAlec3oc>&Lf1Doc3g?H9{OO_$M4B0qTat0UsWP zTlxUeQ3B;oJ%en4n?zQB6*Fb#wH7`$SQN5GI|=DnJKiYm{?-?#-H;#sIjz7kQ4&VW zN9d1(1$_W~S=<%qDD!mwRytas=eqX^iW}YSx3;wJ#)Xp_`Qk1DFiXac$-3;jQbCif zLA-T_s~5yP@Q@W>pXKl^gipQ>gp@HlBB>WDVpW199;V%?N1`U$ovLE;NI2?|_q2~5 zlg>xT9NADWkv5-*FjS~nP^7$k!N2z?dr!)&l0+4xDK7=-6Rkd$+_^`{bVx!5LgC#N z-dv-k@OlYCEvBfcr1*RsNwcV?QT0bm(q-IyJJ$hm2~mq{6zIn!D20k5)fe(+iM6DJ ze-w_*F|c%@)HREgpRrl@W5;_J5vB4c?UW8~%o0)(A4`%-yNk1(H z5CGuzH(uHQ`&j+IRmTOKoJ?#Ct$+1grR|IitpDGt!~ZdqSJ?cOtw-R=EQ+q4UvclH zdX=xlK-fhQKoKCPBoFAZ*(~11O6-tXo>i0w!T$u{lg!#itEUX3V{$S*naW!C@%rll zS{L(1t%xz(*B`{1NL!*aMc<~fE=g;gXi&Gb$HpD!P)8?JzfN;4F&wv(5HH<=c>>)n z({271)xREH89=C(5YKL{mmJJ_d>qHz;;gTvTlgM*vz9@YTTYZ#%_2A zS0G-t9oMQEpvfv(UjfQ8T$vAHi)zOj3>D*{xSRiu3acc=7cvLyD?_ZObdu$5@b*!y zaZ#u?7uF}SrHVQa=sTOhGW{6WUlq#RhPPm^GsRH#qlX8{Kq-i~98l;eq>KdCnWyKl zUu&UWBqu#Tt9jQ97U4}3)&(p2-eCLznXMEm!>i^EMpeVzPg%p;?@O;dJBQQY(vV;d z3v+-3oTPC!2LTUAx^S2t{v;S_h(EZ^0_dS5g^F*m{TEIy^Qal~%mu3h7*o`jWOH}i ztv8M)3X3a*+ry_KkYXYE4dB0?M|t}#Tp+(}6CQ zBbq;xhoHj}b@j-@koDB#XcCY~>_x&Y;i%MH|3tF^X2h{36UCVfQ-;oEA+4ZkJ`^Qi zQf^8}6eFO$Z+Dj-F1wkG##tTx>FjR2oOXFmbKFj6K3+=kePQ<4d7%z5R5cOB;zO6| zm9^m#U4lcA;7t&*=q|a-!`!)}SgYXT#i8hnxtx@kaoBF$QAS-hT7N5kH^l zB^i+})V>L;9_0Qqf-dyF%ky8Mp-dp#%!Nls3vCt}q3QLM3M-(Zs1k}1bqQ9PVU)U` ztE=?;^6=x}_VD%N@${>qhpkU*)AuUBu_cqYiY&@;O$HV*z@~#Tzh?#=CK`=KwBv+o zh%zu%0xPKYtyC)DaQ zpDW}*86g%>BH3IcWMq`g$j()0kWE(qkIL8A&A0mf&+BzxpKF}=`#jG% z&*wa!&pGFLs5_b#QTZE4Bp+})qzyPQ7B4Z7Y*&?0PSX&|FIR;WBP1|coF9ZeP*$9w z!6aJ_3%Sh=HY3FAt8V144|yfu}IAyYHr1OYKIZ51F>_uY^%N#!k~eU53at-_E-Gh?ahmM5y* z+BTIbeH;%v1}Cjo{8d%UeSMWg(nphxEU`sL< zQR~LrTq>Da(FqSP2%&^1ZL#DTo5Sbl9;&57tQ-@U&I#lj)aNSkcfEJwQD!33?anVU z?pw2q7WtMvfji493`rSFnyp7{w87cW`ak=UEYlk5PCB1K6UDVKXyozOChH4yHh~Q< zv>yvKw6WLfi!PZUx60JZcTNM7jo{ww9b8Q+S7C3WA5&llSwdwh$=Q(*(f3ofqcz=nwOmOy z(J!K=*wNoRU*${{Mbwapi9pTB(&VVKefqd-qrUb9*Eyr2E@oZ9Cgf}Mc;QP<0D)R4 zz=!*^VIG4T*7Xl=sJxrWv9hW^eJ%qYp5(d0?E6LZzJ}=7E+1{?GQA;z+!^VBD81}O z0kJ^dKy&WMw+1+aGVYY-v@i28@Gm+sX5=@U%F=Z?W)oar}2~Rc&F|+3A)n-U2GF10+QdxDb^iA@7eL$c7yhBtL z>lABrh^qy9XZ${E1}Ss5!N4;ig0-pUh6@|RPCHOWvgG{|l}2enRgJftsN%D|ck0YO zuAQd2aMPSyGuJ~jm)aY=+p~mGudw4erwE%P^)5f<*$$2C-4^I=e8-}7##ZQ!8!Tep z+Z_!}CAI~sry$|XK$ktXaxP*x<_ijCPp`2=6sNLZU<@9Sz-rz7^BCE9yh0jV4(I!Z zxmA4d;>B-!vD}Xp*&*N%`b^e&R;D97WS}{~{O-EtXeZNfdf51tw!WR6Noo4hjHPv5 z?heYYRSBPjMc}tFEU^|U8a1CxxK%)WTcn9P%`wR^I$QSeMn6=w>Z9OoVvcrl`zYlZ z2y`mAu0bV(Scc>G_EmIo_4 zm*~h`mxYZC&+U>C5G1FZH5L^U>Cq-9UDRQa35jz&NBj*0{uJKfZs5=Fn@&)Xh6aX(H3w9m9BGLePqVotxTeSPh5-mc7$# z-80t6yB0$Nx<54ohdO*QL7m_(&+#*=eoNiYDB4rE4Cag@qfyZS};Fx;Vf1;oync2k z9v#-w?d6R& zOI`CCS_d=tf3|?g3Z}b6-_Rdg3y~enQhmgkni0Cvf9m6%Ft8r;NC5|b%t&?lkl*4{ z8Ui^;Ds^gq6ti(1xB7y_$zA!i-M~#!!tl$ErTR>P~>T=Yky)8(uvPbvLmB=UfoD zrfl}8<1OQrm?8#j1!?s*T>AoectQl&m!o&*^JcIW`_&bk3tN}k^0rjl=HL$z*uIYt z?7l?^Dqr?q1210Sp$xoAy!&{2^{^Anl460 zI&7urrc&|Y{rjv04VOl{y7c82N6xzg5ueYmQ(q(zC3w_C#x*~%yf5j7MI{W`tsoxzA*PrmK)cTskU| zf2C}Bq$>S$-1JgIh0aW@LxI|-8(OGuD#^M01ghh}&#ObO>tZgSw_LW`zdf&IN$YO# z)|X_9m#JwLW5pErZB3ScggKcNzxA9(hyKkK9I#pR&79&*+SV_eu={00{HF=Bb+AEe znaSof+r1jZ!EL5XgqXWkckaFSSyEk}o!%p8XsD}O>borZ6x%X2b&q!s&1-O(>`kZ$ zB2l^5Cx9xQx9)PXN1xPM)@+LxACH_iZ8zGc(>wnFS_O|@hKsxpMjXOzLEa7OvSlM&&G9ioQw9~RsD4F zK7Q+_&|Q6{eZ^8Rx@pKL`le6kH+(fLc{=V&{b%I5=n}VHV4)X_2Y!pYxgC8wU)yP! zPF3t$?(jsC>Ge=&{kmPGUEETpaw(QTAl)m#{qR3_aq9!wK%6XHfV4C>Y^>Z|%ns7j z{Ja?^IA{+@;kR#IjHxkar%3$eJT4?xNBKUVmoO z`A8Zo-{~_;vcikZ(p}EZzU4kO6WPqkMyE{VvS?;44Z@lj zz^fKX9UL!8Wc(9VgI?P4*zpis8dzl};I>yr1>dtXU=FTAlx}Eht4-*7RACL^AflGh zyZb1hTf(~CkMo%#Q%NMgM9tE2D+)joqbtHYA89Ql1nqVTt+MxZ^*FRd&n5YlIi!8m z>$Ysd!l{+C)y;Wa(ZV-=<+NZKV;v4mt}v2m>`v$-$3b;GsLxf= zd~f(rmfpl``{0aVwN7y!>eGyJFP`L+TxHjHTOS{K^$L2`@6(Rli`{EFwpH@R%eZ6g zwf7rc43Yk!=k;{ z-Rn%~B3amGr}}SxfE$vS8FIPL=Qt57$|R#sSoFgdNUT?fYOYjPl%ZBFpi=jq=DWby7Zxm@y;B<89!9= zbgEH*Uy)~iq5kJLX$+ps$kV`#6jW#|9BGz^`ivNeid(wVbk4jl)VBpW&~;eXNi{#` zwx?{DXR~*sqQcFhY0XCfQ4-*2aN1BGX>$_swtKEqnd>j6vcZ!#0)pXRi?<{!P?tGw z2x_`RD$W)qD{?z}VDPt?+)8*rqLWFIPQ(9-VbBdf{7ff?w9CZ{sIi_gnuC$I0(+P8 zms9XB%}VQ>>pve##}jog6+cD?v~n4Pa9Vmc zg#K$|+`adO=B7`uj35Y}6EZ z{dY`x@w8;R-7zrsr1O_~Jvl*|o-x%jF=Rr1C}GXP^|IYN`1sqmG-oI@R#%X66c#5W z$$tQB)sqwiVm;Y^`Dw3mo|firP{*HsOQJre5%Dm^H@we0FN88VWJ0dja?_U38z73f zrCV!b3qNP0kM#%9T!W5`ynGcg%BL28FW1J-J1_S`BJGCaReQ!am(2%qZ3lLgzq|ns z!!fF@`0=*z)J2BwZ*hO|Yu^cI_nF$9l-Pb3jE7=P8gZ#!xiuZ7-cSa`gb`6mxGTgg z-DLdID?M!Z%+hHB#{?&0$GFRpf+_}q<_wbzX6K?w;%6szz1RbySDSr2r^h_qi$khs zXdZ9A0!_Bf)TR2-^-K~q`FQ!#1x(U4VbV%AA@Ei{%cA(EwC{XfjRi?`&9rav5;Q5% zO1`Rn@OA_ZB@N*mC#)?d3P!}Eh;=NgpIKsy{(yr`hv=aouwt@r&P&}Z3DNWo9ro30 zX52~(aTV$*HHlgB66-4GQru!_AZ|)V*I5X=WG)`N@U&D>e@@C#V@JwEL*L`7#$yes z62C^5%Qniaow2$3HrAc7U{qzpb&FA*xLI1JSWR@`RF=JCcvTI)%dH7;sWInt9JLu# z|Ao|Q?K)cDg_JKsym=joo5gR80wtv01N`um1nQ@Ms0Y*bVzxL34} zo?gizp?`=Y{*W>^Hy2%Jl)y?A+&7s1UVHFixuIy~sawXjcDCL`129cK7|ZQS0u;A} zTJC#WNmqkIrnHpAhHVcM(U^vJA~dl@jf_bs*3?i+=&vuC?Aiy_pcB~=1syDni4 zw+FLuz>F773u#$;NUQ9WDtUPY@+rA3WBhQdKFKOyzkA(URa7;4tW>3jQIfi8v0h3g zJC_HVDXS#>DWb|&se7FHnr=q&l#xg9o02}}u=b-R>@sw={Z zHF*?t2FmhqZ=|qa>x=A!*$S+0T zhO*D*M?NTf-eX`eO)9TIQu{7Dm77Acnj4b1jI9@c*ZL8wL%8kLEhd$KM8=Y!fbN@9 zC7B5#y>JM1n5M)!&im==EgHs2j+xCZG~+~QWCi?s!QyFo2kqx{%jE2n3^N*Ayz6Lp zhg5g^3# z+5FoJ@$u@9WJgPKpUWEd4}4AK9TJKU8W%ms!d0p%OIOX+bY+55zl!vIaz$XFI9Ep+ z;bL_}7PDI2Y`Ng*XY(65 zh0%`@Lve%fc;)N4_g12bNrt6gH=N#OHtxO`$lpWlw=Z6MF+E@;>GkZ#lAZTn`aHwf z&I1|aV#b_VHMIgBN*RzU9i@Z@m}0i>o?({&%fpEfaOpFeaJ7V37;m0?kzd}}Lk@9$ zL}8TEo7WZAcRi%zFZxkr6<0k#X-;lTD`Oc~cDb@olwgWCewvk{GJ}hCXbF!AdiLpd z|Cck$ZTKI?Ack{34Lva7+k=H8K2HTZiurox6F+>dy+@R9T^awxj590D$|kXUg+Ygc z(f)jlRwN(4z$#%PnOVc;#Fv{nAi{#UcXPNcmP#5O{zh_*`=q^JCeia{sN4zHjk2*y zqUVh{Ya{j>SPmP^i#Qfcq_MTqo8g52Fi^F zKBc$$HVI!xFx*4Y9l+nt)$AoZORD}%5I10oI3kx`-N30QueiwIw#0VV2E*Fb-nKW% z=+r^hos`Y-7~{cA1FVbK$_=~*z53+Q8KGjg;>ztg((H12%QTf4OYU8y)C}h5yo#$% z&Q$`vMM*g?ZcatAn2j!hFv8KuN(dw)T*}sF#THDHxo8xC^?vJ zc`U6bVo~hOr6I!8*GTZ<^D~;unKjK=!IR|GB4E>Mcvt*2GK);93jIDd<(nNjHO z4Hi@2^%Uyx=^Z~5eZ!5rO5%4H|eFoNjD#+Kcu%_57zZb4Z@Ak#X6txD^{U3wBl^r+W- zLorkK;uc;NgTj7dGxHQS+@T*T>Q*j4^Ll$ejQqWrwcHyG9y%Mk%m8nBVG5hvSaYm5 zJN^#-Q46kZG)@T8n2^QCjxIwxUVi%s>EY`E?#@_(A~njFrTiDq;8v|W-1jT|ROlNI zU$h|YoD4PVTE^&NC6_m{EAFBVqsM`P*`-AcDGWQygURzM32Xeq2xng~XQsYeTZ5v$ zQLaa2M_Iplw}4eL6fLPu`6`PYcVMysO>`{8CB~glD=TX7?JZcHfHNmykBM?QD)#D) zGp>R*<^D?WhFQKRc^}22l6F=D2RPrxaX2ZF!b1X0XF*d4%=!sbNcS1q2WOUE(7e4$ z^L8f;F)__d3>&KQFE8%$I4h^y5FYBfB&fWzn71_OSrPe-DHV{O#Q;GP z+Tw!J?eVjX19RKH?*hKQWQt8r7B#lYX8xoSHFGCW-*DSQ4EM4M3Mw%gkSYNK18@(e zfzMF}WWaCyS@1y%-~Xg0ry~tkQkUmKuI5lGAua{{vn22V!2T()AU5FpKh@Nv)s^Js zv~@VuUG;=CnLmQR{PeUBQf2;lAV!vG>^Z0N zL88rrjL-*J!43;7C=w9xhcw`yjRKq7o4L9=0SmR9PA-nX12@#h(iIu-0N_xm2OV)( zU_raT0y>$wm^oMi2|U3N;OhF9uy}`<-xVka#DV*l{O0yHzi9vUxa1Qtpi$buR*8cU zd4~lS1pT$L^!0=6qUKOpM+XPsy{f7W#1bjrEwaeN!Ik9(zySIT^pEHvHgJUneFN4) zk=k|$55(g8slmS|@+*4fr2urd3LwjIIZA**g+%l(SZNn4HwQ}y6o`vw>2&mR1X+&q zDa1Af0B;4rAMZMOlHbAqK|R_xuwJ7ANARtFE({-P2o{tJJR<>2KVp)ZK-M;)ejx zd*E~Mka<{OL7%CAhk4n|1qg?97-I!l0rOinjVi#arbgg4bi5;nY5oFL`UWtPk5&L#grSxv zE3!}=1px!ZTLT90aYc^s`~{VojjJml&<`@e41dFP+XU6D0AOkbn2rlI3>^LcqauG& zc$m3Z{!u8LvUrm^fT{qX5yD9{?r(CCiUdck%!T`KIZd2oQJz1joB&M(Teg_>;yS<2-5>BWfSPpG`Rt{!j6>kqMAvl^zk0JUEfy$HVJMkxP-GkwZuxL62me2#pj_5*ZIU zP~#C^OZLfl$HO)v;~~c&JHivn|1I9H5y_CDkt0JLLGKm(4*KLVhJ2jh2#vJuM6`b& zE==-lvME^Oj022xF&IV*? '} + case $link in #( + /*) app_path=$link ;; #( + *) app_path=$APP_HOME$link ;; + esac +done + +# This is normally unused +# shellcheck disable=SC2034 +APP_BASE_NAME=${0##*/} +APP_HOME=$( cd "${APP_HOME:-./}" && pwd -P ) || exit + +# Use the maximum available, or set MAX_FD != -1 to use that value. +MAX_FD=maximum + +warn () { + echo "$*" +} >&2 + +die () { + echo + echo "$*" + echo + exit 1 +} >&2 + +# OS specific support (must be 'true' or 'false'). +cygwin=false +msys=false +darwin=false +nonstop=false +case "$( uname )" in #( + CYGWIN* ) cygwin=true ;; #( + Darwin* ) darwin=true ;; #( + MSYS* | MINGW* ) msys=true ;; #( + NONSTOP* ) nonstop=true ;; +esac + +CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar + + +# Determine the Java command to use to start the JVM. +if [ -n "$JAVA_HOME" ] ; then + if [ -x "$JAVA_HOME/jre/sh/java" ] ; then + # IBM's JDK on AIX uses strange locations for the executables + JAVACMD=$JAVA_HOME/jre/sh/java + else + JAVACMD=$JAVA_HOME/bin/java + fi + if [ ! -x "$JAVACMD" ] ; then + die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +else + JAVACMD=java + if ! command -v java >/dev/null 2>&1 + then + die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +fi + +# Increase the maximum file descriptors if we can. +if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then + case $MAX_FD in #( + max*) + # In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked. + # shellcheck disable=SC3045 + MAX_FD=$( ulimit -H -n ) || + warn "Could not query maximum file descriptor limit" + esac + case $MAX_FD in #( + '' | soft) :;; #( + *) + # In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked. + # shellcheck disable=SC3045 + ulimit -n "$MAX_FD" || + warn "Could not set maximum file descriptor limit to $MAX_FD" + esac +fi + +# Collect all arguments for the java command, stacking in reverse order: +# * args from the command line +# * the main class name +# * -classpath +# * -D...appname settings +# * --module-path (only if needed) +# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables. + +# For Cygwin or MSYS, switch paths to Windows format before running java +if "$cygwin" || "$msys" ; then + APP_HOME=$( cygpath --path --mixed "$APP_HOME" ) + CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" ) + + JAVACMD=$( cygpath --unix "$JAVACMD" ) + + # Now convert the arguments - kludge to limit ourselves to /bin/sh + for arg do + if + case $arg in #( + -*) false ;; # don't mess with options #( + /?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath + [ -e "$t" ] ;; #( + *) false ;; + esac + then + arg=$( cygpath --path --ignore --mixed "$arg" ) + fi + # Roll the args list around exactly as many times as the number of + # args, so each arg winds up back in the position where it started, but + # possibly modified. + # + # NB: a `for` loop captures its iteration list before it begins, so + # changing the positional parameters here affects neither the number of + # iterations, nor the values presented in `arg`. + shift # remove old arg + set -- "$@" "$arg" # push replacement arg + done +fi + + +# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m" "-Xss512k" "-XX:+UseSerialGC" "-XX:MaxMetaspaceSize=64m" "-XX:CompressedClassSpaceSize=32m" "-XX:ReservedCodeCacheSize=32m" "-XX:CICompilerCount=2"' + +# Collect all arguments for the java command; +# * $DEFAULT_JVM_OPTS, $JAVA_OPTS, and $GRADLE_OPTS can contain fragments of +# shell script including quotes and variable substitutions, so put them in +# double quotes to make sure that they get re-expanded; and +# * put everything else in single quotes, so that it's not re-expanded. + +set -- \ + "-Dorg.gradle.appname=$APP_BASE_NAME" \ + -classpath "$CLASSPATH" \ + org.gradle.wrapper.GradleWrapperMain \ + "$@" + +# Stop when "xargs" is not available. +if ! command -v xargs >/dev/null 2>&1 +then + die "xargs is not available" +fi + +# Use "xargs" to parse quoted args. +# +# With -n1 it outputs one arg per line, with the quotes and backslashes removed. +# +# In Bash we could simply go: +# +# readarray ARGS < <( xargs -n1 <<<"$var" ) && +# set -- "${ARGS[@]}" "$@" +# +# but POSIX shell has neither arrays nor command substitution, so instead we +# post-process each arg (as a line of input to sed) to backslash-escape any +# character that might be a shell metacharacter, then use eval to reverse +# that process (while maintaining the separation between arguments), and wrap +# the whole thing up as a single "set" statement. +# +# This will of course break if any of these variables contains a newline or +# an unmatched quote. +# + +eval "set -- $( + printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" | + xargs -n1 | + sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' | + tr '\n' ' ' + )" '"$@"' + +exec "$JAVACMD" "$@" diff --git a/android/gradlew.bat b/android/gradlew.bat new file mode 100644 index 0000000..a8310c9 --- /dev/null +++ b/android/gradlew.bat @@ -0,0 +1,92 @@ +@rem +@rem Copyright 2015 the original author or authors. +@rem +@rem Licensed under the Apache License, Version 2.0 (the "License"); +@rem you may not use this file except in compliance with the License. +@rem You may obtain a copy of the License at +@rem +@rem https://www.apache.org/licenses/LICENSE-2.0 +@rem +@rem Unless required by applicable law or agreed to in writing, software +@rem distributed under the License is distributed on an "AS IS" BASIS, +@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +@rem See the License for the specific language governing permissions and +@rem limitations under the License. +@rem + +@if "%DEBUG%"=="" @echo off +@rem ########################################################################## +@rem +@rem Gradle startup script for Windows +@rem +@rem ########################################################################## + +@rem Set local scope for the variables with windows NT shell +if "%OS%"=="Windows_NT" setlocal + +set DIRNAME=%~dp0 +if "%DIRNAME%"=="" set DIRNAME=. +@rem This is normally unused +set APP_BASE_NAME=%~n0 +set APP_HOME=%DIRNAME% + +@rem Resolve any "." and ".." in APP_HOME to make it shorter. +for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi + +@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m" "-Xss512k" "-XX:+UseSerialGC" "-XX:MaxMetaspaceSize=64m" "-XX:CompressedClassSpaceSize=32m" "-XX:ReservedCodeCacheSize=32m" "-XX:CICompilerCount=2" + +@rem Find java.exe +if defined JAVA_HOME goto findJavaFromJavaHome + +set JAVA_EXE=java.exe +%JAVA_EXE% -version >NUL 2>&1 +if %ERRORLEVEL% equ 0 goto execute + +echo. +echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:findJavaFromJavaHome +set JAVA_HOME=%JAVA_HOME:"=% +set JAVA_EXE=%JAVA_HOME%/bin/java.exe + +if exist "%JAVA_EXE%" goto execute + +echo. +echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:execute +@rem Setup the command line + +set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar + + +@rem Execute Gradle +"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %* + +:end +@rem End local scope for the variables with windows NT shell +if %ERRORLEVEL% equ 0 goto mainEnd + +:fail +rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of +rem the _cmd.exe /c_ return code! +set EXIT_CODE=%ERRORLEVEL% +if %EXIT_CODE% equ 0 set EXIT_CODE=1 +if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE% +exit /b %EXIT_CODE% + +:mainEnd +if "%OS%"=="Windows_NT" endlocal + +:omega diff --git a/android/settings.gradle.kts b/android/settings.gradle.kts new file mode 100644 index 0000000..3a0f1b0 --- /dev/null +++ b/android/settings.gradle.kts @@ -0,0 +1,18 @@ +pluginManagement { + repositories { + google() + mavenCentral() + gradlePluginPortal() + } +} + +dependencyResolutionManagement { + repositoriesMode.set(RepositoriesMode.FAIL_ON_PROJECT_REPOS) + repositories { + google() + mavenCentral() + } +} + +rootProject.name = "AutoAgent" +include(":app") diff --git a/docs/agent/README.md b/docs/agent/README.md new file mode 100644 index 0000000..552fa7f --- /dev/null +++ b/docs/agent/README.md @@ -0,0 +1,37 @@ +# Android Agent 文档中心 + +本目录集中维护 Android Agent 的任务协议、通用动作和实现建议。根目录的 [`agent_common_action.md`](../agent_common_action.md) 是兼容入口。 + +## 文档状态 + +| 标记 | 含义 | +|---|---| +| **[已实现]** | 当前协议和代码已支持 | +| **[部分实现]** | 动作可用，但部分检查或扩展尚未实现 | +| **[提案]** | 后续设计，当前任务不要使用 | + +当前解析器会拒绝未知动作，但仍会忽略部分未知字段。任务编写应只使用“已实现”字段，解析器后续应补充未知字段校验，避免参数被静默忽略。 + +## 文档目录 + +| 文档 | 内容 | +|---|---| +| [任务协议](protocol.md) | v1 任务结构、步骤字段和当前差距 | +| [动作目录](actions/README.md) | 动作状态、统一规则和各动作入口 | +| [统一选择器](selector.md) | 控件定位、状态和候选数量 | +| [值与输出](values-and-outputs.md) | 输入值、简单引用和步骤输出 | +| [执行与结果](execution.md) | 执行顺序、结果码、重试和幂等 | +| [流程控制](flow-control.md) | 条件执行、有限分支和失败处理 | +| [基本运行约定](security.md) | 包名核对、日志和截图的基本边界 | +| [后续工作建议](roadmap.md) | 推荐实施顺序和测试方式 | +| [参考文档](references.md) | Android API 与能力边界 | + +## 事实来源 + +当前能力以 [`ActionType`](../../android/app/src/main/java/cn/auto/agent/core/model/TaskModels.kt)、[`TaskParser`](../../android/app/src/main/java/cn/auto/agent/core/protocol/TaskParser.kt)、[`TaskExecutor`](../../android/app/src/main/java/cn/auto/agent/core/executor/TaskExecutor.kt) 和 `ActionDriver` 的实际代码为准。 + +- 编写任务：先读任务协议，再读对应动作的“当前行为”。 +- 扩展动作：同时更新模型、解析器、执行器、驱动、测试和文档。 +- 共享语义只在共享文档定义，动作文件直接引用，不重复设计。 + +文档修改后检查相对链接、JSON 示例和动作状态即可，不设置额外审批或文档门禁。 diff --git a/docs/agent/actions/README.md b/docs/agent/actions/README.md new file mode 100644 index 0000000..f2efdc9 --- /dev/null +++ b/docs/agent/actions/README.md @@ -0,0 +1,43 @@ +# 通用动作目录 + +> [返回文档中心](../README.md) · [任务协议](../protocol.md) · [后续工作建议](../roadmap.md) + +## 动作状态 + +| 动作 | 当前状态 | 文档 | +|---|---|---| +| `WAIT` | **[已实现]**，条件扩展为 **[提案]** | [wait.md](wait.md) | +| `CLICK` | **[部分实现]** | [click.md](click.md) | +| `INPUT` | **[部分实现]** | [input.md](input.md) | +| `BACK` | **[已实现]**，单次分发和验证为 **[提案]** | [back.md](back.md) | +| `EXTRACT_TEXT` | **[已实现]** | [extract.md](extract.md) | +| `EXTRACT` | **[提案]** | [extract.md](extract.md) | +| `OPEN` | **[提案]** | [open.md](open.md) | +| `SCROLL` | **[提案]** | [scroll.md](scroll.md) | +| `SELECT_OPTION` | **[提案]** | [select-option.md](select-option.md) | +| `SCREENSHOT` | **[提案]** | [screenshot.md](screenshot.md) | +| `BRANCH` | **[提案]** | [流程控制](../flow-control.md#4-branch-提案) | + +当前代码中的动作只有 `WAIT`、`CLICK`、`INPUT`、`BACK` 和 `EXTRACT_TEXT`。 + +## 统一规则 + +每个 UI 动作遵循同一条简单流程： + +1. 校验动作字段、`packageName` 和可选 `activityName`。 +2. 在步骤 `timeoutMs` 内等待上下文和目标控件。 +3. 默认要求目标唯一；多个目标明确失败。 +4. 执行动作；有副作用的动作默认只分发一次。 +5. 如果任务提供 `after`，重新读取页面并验证结果。 +6. 返回 `success`、`code`、`message`、`output` 和 `elapsedMs`。 + +动作文件只描述动作特有参数。选择器、条件、输出和结果结构分别引用共享文档。 + +## 实现检查清单 + +- 模型包含动作和参数。 +- 解析器校验必要字段、类型和范围。 +- 执行器有总超时，不无限等待。 +- 驱动只提供 Android 基础能力，不包含目标 App 业务规则。 +- 测试覆盖成功、未找到、多个目标、超时和底层失败。 +- 文档状态与 `ActionType` 一致。 diff --git a/docs/agent/actions/back.md b/docs/agent/actions/back.md new file mode 100644 index 0000000..1f5f17c --- /dev/null +++ b/docs/agent/actions/back.md @@ -0,0 +1,71 @@ +# BACK + +> [返回动作目录](README.md) · [任务协议](../protocol.md) · [执行与结果](../execution.md) + +## 1. 当前行为 **[已实现]** + +~~~json +{ + "id": "go-back", + "action": "BACK", + "packageName": "com.example.target", + "timeoutMs": 3000 +} +~~~ + +当前 BACK： + +- 不需要 selector。 +- 等待前台包和可选 Activity 匹配。 +- 调用 `GLOBAL_ACTION_BACK`。 +- 不验证返回后的页面。 +- 调用返回 `false` 时会在超时内重复调用，这是需要修正的现有问题。 + +## 2. 简单扩展 **[提案]** + +BACK 保持“单次系统返回”，只增加可选前后条件： + +~~~json +{ + "id": "return-to-list", + "action": "BACK", + "packageName": "com.example.target", + "before": { + "state": "VISIBLE", + "selector": { + "text": "详情页面" + } + }, + "after": { + "state": "VISIBLE", + "selector": { + "text": "列表页面" + } + }, + "timeoutMs": 5000 +} +~~~ + +关闭页面内按钮使用 CLICK；HOME、RECENTS 等其他系统导航不并入 BACK。关闭输入法如果需要，可以在以后增加明确参数，不在当前动作中猜测意图。 + +## 3. 执行规则 + +1. 在总超时内满足包名、Activity 和 before。 +2. 最多调用一次 `GLOBAL_ACTION_BACK`。 +3. 调用返回 false 时立即失败。 +4. 丢弃旧页面节点。 +5. 提供 after 时等待新页面满足条件。 + +after 超时不会自动再次返回。连续返回需要编写多个 BACK 步骤，每一步都可以声明自己的页面条件。 + +## 4. 结果码 + +- `BACK_SENT`：系统接受返回请求，未声明 after。 +- `OK`：返回后 after 满足。 +- `PRECONDITION_FAILED` +- `ACTION_FAILED` +- `VERIFICATION_FAILED` + +## 5. 测试 + +覆盖前置页面不符、调用成功、调用失败、单次分发、after 成功/超时和多个显式 BACK 步骤。 diff --git a/docs/agent/actions/click.md b/docs/agent/actions/click.md new file mode 100644 index 0000000..434324b --- /dev/null +++ b/docs/agent/actions/click.md @@ -0,0 +1,88 @@ +# CLICK + +> [返回动作目录](README.md) · [任务协议](../protocol.md) · [统一选择器](../selector.md) · [执行与结果](../execution.md) + +## 1. 当前行为 **[部分实现]** + +~~~json +{ + "id": "click-continue", + "action": "CLICK", + "packageName": "com.example.target", + "selector": { + "resourceId": "com.example.target:id/continue_button" + }, + "timeoutMs": 5000 +} +~~~ + +当前实现： + +- 等待 selector 匹配唯一节点。 +- 节点自身不可点击时，向上查找最近的可点击祖先。 +- 调用 `ACTION_CLICK`。 +- 不检查可见、启用和有效边界。 +- 不验证点击后的页面。 +- 驱动返回 `false` 时会再次查询并重复点击，这是需要修正的现有问题。 + +## 2. 简单扩展 **[提案]** + +~~~json +{ + "id": "click-submit", + "action": "CLICK", + "packageName": "com.example.target", + "selector": { + "text": { + "mode": "CONTAINS_ANY", + "values": ["提交", "确认"] + }, + "state": { + "visible": true, + "enabled": true + } + }, + "click": { + "type": "SINGLE", + "method": "AUTO" + }, + "after": { + "state": "VISIBLE", + "selector": { + "text": "操作完成" + } + }, + "timeoutMs": 5000 +} +~~~ + +首批只需要： + +- `type`：`SINGLE`、`LONG`。 +- `method`：`ACCESSIBILITY`、`CENTER_GESTURE`、`AUTO`。 +- 默认目标必须唯一。 +- `AUTO` 先使用节点动作；只有目标已唯一确认且边界有效时，才使用中心手势兜底。 + +位置排序、重叠候选归并等复杂策略按实际页面需要再增加。 + +## 3. 执行规则 + +1. 等待包名、可选 Activity 和唯一可交互目标。 +2. 解析最近的可点击祖先。 +3. 最多分发一次点击。 +4. 丢弃旧节点。 +5. 提供 after 时读取新页面并验证；未提供时只表示点击请求成功。 + +## 4. 结果码 + +- `CLICKED`：点击已分发，未声明 after。 +- `OK`：点击已分发且 after 满足。 +- `TARGET_NOT_FOUND` +- `TARGET_AMBIGUOUS` +- `TARGET_NOT_INTERACTABLE` +- `ACTION_FAILED` +- `VERIFICATION_FAILED` + +## 5. 测试 + +覆盖节点点击、可点击祖先、多个目标、不可见/禁用、手势兜底、单次分发和 after 成功/超时。 diff --git a/docs/agent/actions/extract.md b/docs/agent/actions/extract.md new file mode 100644 index 0000000..4d27044 --- /dev/null +++ b/docs/agent/actions/extract.md @@ -0,0 +1,96 @@ +# EXTRACT_TEXT 与 EXTRACT + +> [返回动作目录](README.md) · [统一选择器](../selector.md) · [值与输出](../values-and-outputs.md) + +## 1. EXTRACT_TEXT **[已实现]** + +~~~json +{ + "id": "read-status", + "action": "EXTRACT_TEXT", + "packageName": "com.example.target", + "selector": { + "resourceId": "com.example.target:id/status" + }, + "outputField": "status", + "timeoutMs": 3000 +} +~~~ + +当前行为： + +- 等待 selector 匹配唯一节点。 +- 优先读取 text，空时读取 contentDescription。 +- trim 后为空则继续等待。 +- 把非空文字追加到 `outputField` 对应的字符串列表。 +- 不自动滚动。 + +## 2. EXTRACT **[提案]** + +EXTRACT 用于读取一个或多个节点的明确字段： + +~~~json +{ + "id": "read-items", + "action": "EXTRACT", + "packageName": "com.example.target", + "selector": { + "className": "android.widget.TextView", + "state": { + "visible": true + } + }, + "cardinality": "MANY", + "fields": [ + { + "name": "text", + "source": "TEXT", + "type": "TEXT", + "trim": true + } + ], + "outputField": "items", + "timeoutMs": 5000 +} +~~~ + +首批字段来源： + +- `TEXT` +- `CONTENT_DESCRIPTION` +- `RESOURCE_ID` +- `CLASS_NAME` +- `BOUNDS` +- `CHECKED`、`SELECTED`、`ENABLED` + +首批类型只需 `TEXT`、`INTEGER`、`DECIMAL` 和 `BOOLEAN`。转换失败明确返回错误，不使用默认值代替。 + +`cardinality` 支持 `ONE` 和 `MANY`。MANY 按控件树顺序输出；排序、去重和复杂对象分组等到实际需求出现时再增加。 + +## 3. 执行规则 + +1. 等待包名、Activity 和 selector。 +2. 按 cardinality 校验数量。 +3. 从同一页面快照读取声明字段。 +4. 完成 trim 和简单类型转换。 +5. 所有值都成功后一次性发布 output。 + +EXTRACT 不点击、不滚动、不读取未声明字段，也不保存完整控件树。 + +## 4. 结果码 + +- `OK` +- `TARGET_NOT_FOUND` +- `TARGET_AMBIGUOUS` +- `FIELD_NOT_AVAILABLE` +- `CONVERSION_FAILED` +- `OUTPUT_EMPTY` +- `EXTRACT_TIMEOUT` + +## 5. 兼容方式 + +EXTRACT_TEXT 保留现有字符串列表结果。实现 EXTRACT 后，可以在内部把 EXTRACT_TEXT 转换为 ONE + TEXT 读取，但对外结果结构保持不变。 + +## 6. 测试 + +覆盖 text、contentDescription 回退、空文本、多个节点、MANY、字段缺失、类型转换、总超时和不自动滚动。 diff --git a/docs/agent/actions/input.md b/docs/agent/actions/input.md new file mode 100644 index 0000000..bdcca5e --- /dev/null +++ b/docs/agent/actions/input.md @@ -0,0 +1,89 @@ +# INPUT + +> [返回动作目录](README.md) · [任务协议](../protocol.md) · [统一选择器](../selector.md) · [值与输出](../values-and-outputs.md) + +## 1. 当前行为 **[部分实现]** + +~~~json +{ + "id": "input-keyword", + "action": "INPUT", + "packageName": "com.example.target", + "selector": { + "resourceId": "com.example.target:id/input" + }, + "value": "测试内容", + "timeoutMs": 5000 +} +~~~ + +当前实现对唯一节点调用 `ACTION_SET_TEXT`： + +- value 只能是字符串。 +- 不主动请求焦点。 +- 不检查节点是否可编辑。 +- 不回读验证输入结果。 +- 驱动返回 `false` 时会重复输入，这是需要修正的现有问题。 + +## 2. 简单扩展 **[提案]** + +~~~json +{ + "id": "input-keyword", + "action": "INPUT", + "packageName": "com.example.target", + "selector": { + "resourceId": "com.example.target:id/input", + "state": { + "visible": true, + "enabled": true + } + }, + "value": { + "source": "TASK_INPUT", + "key": "keyword" + }, + "mode": "REPLACE", + "verify": "EXACT", + "timeoutMs": 5000 +} +~~~ + +首批模式： + +- `REPLACE`：替换全部文本。 +- `CLEAR`：清空。 +- `APPEND`：在现有文本后追加。 + +验证： + +- `NONE`：只检查系统是否接受输入请求。 +- `EXACT`：回读文本与目标值相同。 +- `NON_EMPTY`：只检查结果非空。 + +密码节点不回读原文，可使用 NONE 或 NON_EMPTY。复杂格式化、剪贴板和模板输入等到实际需要时再增加。 + +## 3. 执行规则 + +1. 等待唯一、可见、启用且可编辑的目标。 +2. 需要时请求焦点。 +3. 计算最终输入文本。 +4. 最多调用一次输入动作。 +5. 按 verify 回读；提供 after 时继续验证页面条件。 + +`timeoutMs` 包含等待、焦点、输入和验证。 + +## 4. 结果码 + +- `INPUT_SENT`：输入已分发但未回读验证。 +- `OK`：输入验证通过。 +- `INPUT_VALUE_INVALID` +- `TARGET_NOT_FOUND` +- `TARGET_AMBIGUOUS` +- `TARGET_NOT_EDITABLE` +- `ACTION_FAILED` +- `VERIFICATION_FAILED` + +## 5. 测试 + +覆盖 REPLACE、CLEAR、APPEND、目标不可编辑、输入失败、回读不一致、密码节点和单次分发。WebView、自定义输入框与常用输入法需要真机验证。 diff --git a/docs/agent/actions/open.md b/docs/agent/actions/open.md new file mode 100644 index 0000000..b3a9a5c --- /dev/null +++ b/docs/agent/actions/open.md @@ -0,0 +1,77 @@ +# OPEN **[提案]** + +> [返回动作目录](README.md) · [任务协议](../protocol.md) · [Condition](../flow-control.md#2-condition-提案) + +OPEN 用于启动 App、把 App 带到前台或打开 URI。当前代码尚未实现。 + +## 1. 打开 App + +~~~json +{ + "id": "open-target", + "action": "OPEN", + "target": { + "type": "APP", + "packageName": "com.example.target" + }, + "expectedPackageName": "com.example.target", + "after": { + "state": "PAGE_STABLE", + "stableForMs": 300 + }, + "timeoutMs": 10000 +} +~~~ + +APP 已经在前台时不重复启动，直接执行 after。否则通过 PackageManager 获取启动 Intent，并从 Service 上下文使用 `FLAG_ACTIVITY_NEW_TASK`。 + +## 2. 打开 URI + +~~~json +{ + "id": "open-link", + "action": "OPEN", + "target": { + "type": "URI", + "uri": "exampleapp://items/123", + "handler": "PACKAGE", + "packageName": "com.example.target" + }, + "expectedPackageName": "com.example.target", + "timeoutMs": 10000 +} +~~~ + +`handler` 首批支持： + +- `PACKAGE`：由指定包处理，推荐用于已知深链。 +- `DEFAULT`：使用系统默认处理程序。 + +如果需要限制 URI 的 scheme、host 或来源页面，可以作为部署配置或任务字段增加，不作为首版通用动作的固定门禁。 + +## 3. 执行规则 + +1. 解析目标并确认 App 已安装或 URI 有处理程序。 +2. 目标已经在前台时跳过 Intent 分发。 +3. 最多分发一次 Intent。 +4. 等待 `expectedPackageName` 成为前台。 +5. 提供 after 时继续验证页面条件。 + +`timeoutMs` 覆盖解析、启动、等待前台和 after。Intent 返回成功不等于目标页面已经准备完成。 + +OPEN 不写入任何具体 App 的页面文案、深链或恢复流程；这些内容由任务或目标 App 适配层提供。 + +## 4. 结果码 + +- `OPEN_ALREADY_FOREGROUND` +- `OPEN_SENT`：目标包已进入前台，未声明 after。 +- `OK`：目标包和 after 都满足。 +- `TARGET_NOT_INSTALLED` +- `NO_HANDLER` +- `ACTION_FAILED` +- `PACKAGE_MISMATCH` +- `VERIFICATION_FAILED` + +## 5. 测试 + +单元测试覆盖已在前台、冷启动、无处理程序、单次分发、目标包不符和 after 超时。任务栈恢复、后台启动限制和厂商系统差异需要真机验证。 diff --git a/docs/agent/actions/screenshot.md b/docs/agent/actions/screenshot.md new file mode 100644 index 0000000..365c960 --- /dev/null +++ b/docs/agent/actions/screenshot.md @@ -0,0 +1,82 @@ +# SCREENSHOT **[提案]** + +> [返回动作目录](README.md) · [统一选择器](../selector.md) · [基本运行约定](../security.md) + +SCREENSHOT 用于诊断或人工复核。当前代码尚未实现。 + +## 1. 任务结构 + +截取控件区域： + +~~~json +{ + "id": "capture-result", + "action": "SCREENSHOT", + "packageName": "com.example.target", + "scope": { + "type": "ELEMENT", + "selector": { + "resourceId": "com.example.target:id/result" + }, + "paddingDp": 8 + }, + "format": "PNG", + "outputField": "resultImage", + "maxBytes": 5242880, + "timeoutMs": 5000 +} +~~~ + +首批范围： + +- `SCREEN`：当前显示屏。 +- `ELEMENT`：唯一控件边界。 +- `REGION`：显式屏幕比例区域。 + +首批格式支持 PNG；需要控制体积时再增加 JPEG 和质量参数。 + +## 2. 执行规则 + +1. 确认系统版本和无障碍服务具备截图能力。 +2. 等待 packageName 和可选元素 selector。 +3. 调用系统截图接口。 +4. 在内存中按 scope 裁剪。 +5. 编码并检查 `maxBytes`。 +6. 保存到应用私有目录，返回生成的 artifactId。 + +任务不能提供任意文件系统路径。是否遮盖、上传或定期清理按实际部署需求增加，不作为首版动作的固定流程。 + +Android 无障碍截图从 API 30 开始可用；服务配置还需要声明对应能力。API 不支持时返回明确结果。 + +## 3. 输出 + +~~~json +{ + "output": { + "resultImage": { + "artifactId": "generated-id", + "format": "PNG", + "width": 1080, + "height": 720, + "bytes": 245000 + } + } +} +~~~ + +结果只返回产物标识和基本元数据，不把图片字节放入普通任务日志。 + +## 4. 结果码 + +- `OK` +- `UNSUPPORTED_ON_DEVICE` +- `TARGET_NOT_FOUND` +- `TARGET_AMBIGUOUS` +- `CAPTURE_FAILED` +- `CROP_INVALID` +- `IMAGE_TOO_LARGE` +- `STORE_FAILED` + +## 5. 测试 + +单元测试覆盖 scope 校验、裁剪、大小限制和输出元数据。系统回调、不同 API、屏幕方向、FLAG_SECURE 和厂商差异需要真机验证。 diff --git a/docs/agent/actions/scroll.md b/docs/agent/actions/scroll.md new file mode 100644 index 0000000..7d4cf2e --- /dev/null +++ b/docs/agent/actions/scroll.md @@ -0,0 +1,78 @@ +# SCROLL **[提案]** + +> [返回动作目录](README.md) · [统一选择器](../selector.md) · [执行与结果](../execution.md) + +SCROLL 是统一滚动动作。当前代码尚未实现。 + +## 1. 滚动到目标 + +~~~json +{ + "id": "scroll-to-target", + "action": "SCROLL", + "packageName": "com.example.target", + "mode": "TO_TARGET", + "target": { + "text": "目标选项" + }, + "container": { + "resourceId": "com.example.target:id/list" + }, + "direction": "DOWN", + "maxAttempts": 8, + "timeoutMs": 10000 +} +~~~ + +目标出现且可见时成功；每次滚动后重新读取页面。 + +## 2. 按方向滚动 + +~~~json +{ + "id": "scroll-down", + "action": "SCROLL", + "packageName": "com.example.target", + "mode": "DIRECTION", + "container": { + "resourceId": "com.example.target:id/list" + }, + "direction": "DOWN", + "amount": "PAGE", + "maxAttempts": 1, + "timeoutMs": 3000 +} +~~~ + +首批字段： + +- `mode`：`TO_TARGET`、`DIRECTION`、`TO_EDGE`。 +- `direction`：`UP`、`DOWN`、`LEFT`、`RIGHT`。 +- `amount`：`SMALL`、`PAGE`。 +- `maxAttempts`：有限正整数。 +- `container`：可选；省略时要求页面中只有一个可滚动容器。 + +## 3. 执行规则 + +1. 找到唯一、可见且可滚动的容器。 +2. TO_TARGET 先检查目标是否已经可见。 +3. 优先调用节点滚动动作；不支持时可使用容器内手势。 +4. 每次滚动后重新读取容器和目标。 +5. 达到目标、页面边缘、`maxAttempts` 或总超时时停止。 + +容器内容连续两次不变可以视为到达边缘。滚动次数和持续时间始终受步骤 `timeoutMs` 限制。 + +## 4. 结果码 + +- `OK` +- `SCROLL_SENT`：方向滚动成功。 +- `TARGET_NOT_FOUND` +- `CONTAINER_NOT_FOUND` +- `CONTAINER_AMBIGUOUS` +- `EDGE_REACHED` +- `ACTION_FAILED` +- `SCROLL_TIMEOUT` + +## 5. 测试 + +覆盖目标已可见、滚动后出现、唯一容器、多个容器、边缘检测、最大次数、总超时和节点动作/手势两种实现。真实 RecyclerView、WebView 和横向列表需要真机验证。 diff --git a/docs/agent/actions/select-option.md b/docs/agent/actions/select-option.md new file mode 100644 index 0000000..d6f2341 --- /dev/null +++ b/docs/agent/actions/select-option.md @@ -0,0 +1,63 @@ +# SELECT_OPTION **[提案]** + +> [返回动作目录](README.md) · [统一选择器](../selector.md) · [SCROLL](scroll.md) · [CLICK](click.md) + +SELECT_OPTION 是“查找选项、必要时滚动、点击并验证选中”的复合动作。当前代码尚未实现。 + +## 1. 任务结构 + +~~~json +{ + "id": "select-value", + "action": "SELECT_OPTION", + "packageName": "com.example.target", + "target": { + "text": { + "mode": "EXACT", + "value": "选项 A" + } + }, + "container": { + "resourceId": "com.example.target:id/options" + }, + "search": { + "direction": "DOWN", + "maxAttempts": 6 + }, + "selectedWhen": { + "state": "SELECTED", + "selector": { + "text": "选项 A" + } + }, + "timeoutMs": 10000 +} +~~~ + +`target` 可以直接使用 selector，也可以在值引用实现后使用任务输入生成文字条件。 + +## 2. 执行规则 + +1. 先检查 selectedWhen；已经选中时直接成功。 +2. 在当前容器中查找唯一目标。 +3. 未找到且配置 search 时，按 SCROLL 规则有限滚动。 +4. 找到后按 CLICK 规则最多点击一次。 +5. 重新读取页面并验证 selectedWhen。 +6. 达到最大次数、边缘或总超时时停止。 + +没有可观察的选中状态时，不应使用 SELECT_OPTION；改用 CLICK，并由页面 after 验证。 + +## 3. 结果码 + +- `ALREADY_SELECTED` +- `OK` +- `OPTION_NOT_FOUND` +- `OPTION_AMBIGUOUS` +- `CONTAINER_NOT_FOUND` +- `ACTION_FAILED` +- `VERIFICATION_FAILED` +- `SELECT_TIMEOUT` + +## 4. 测试 + +覆盖已选中、当前页找到、滚动后找到、没有目标、多个目标、不可用选项、点击失败、验证失败和边缘停止。 diff --git a/docs/agent/actions/wait.md b/docs/agent/actions/wait.md new file mode 100644 index 0000000..e8cc166 --- /dev/null +++ b/docs/agent/actions/wait.md @@ -0,0 +1,80 @@ +# WAIT + +> [返回动作目录](README.md) · [任务协议](../protocol.md) · [Condition](../flow-control.md#2-condition-提案) · [统一选择器](../selector.md) + +## 1. 当前行为 **[已实现]** + +~~~json +{ + "id": "wait-ready", + "action": "WAIT", + "packageName": "com.example.target", + "selector": { + "text": "准备完成" + }, + "timeoutMs": 5000, + "optional": false +} +~~~ + +当前 WAIT： + +- 约每 100 毫秒查询一次。 +- selector 匹配一个节点时成功。 +- 没有匹配时等待到超时。 +- 多个匹配时立即返回 `TASK_AMBIGUOUS`。 +- 超时返回 `TASK_NOT_MATCHED`；optional=true 时继续下一步。 + +## 2. Condition 扩展 **[提案]** + +~~~json +{ + "id": "wait-result", + "action": "WAIT", + "packageName": "com.example.target", + "condition": { + "state": "VISIBLE", + "selector": { + "text": { + "mode": "CONTAINS_ANY", + "values": ["操作完成", "处理成功"] + } + }, + "cardinality": "ANY" + }, + "pollIntervalMs": 200, + "timeoutMs": 10000 +} +~~~ + +首批状态： + +- `PRESENT`：存在匹配节点。 +- `GONE`：不存在匹配节点。 +- `VISIBLE`、`ENABLED`、`SELECTED`、`CHECKED`：节点满足对应状态。 +- `PAGE_STABLE`：页面结构在指定时间内保持不变。 + +`cardinality` 支持 `ONE` 和 `ANY`。v1 兼容格式仍保持 ONE，不能改变现有任务语义。 + +## 3. 执行规则 + +1. 在总 `timeoutMs` 内等待包名和可选 Activity。 +2. 每轮重新读取当前页面。 +3. 求值 Condition。 +4. 条件满足时成功，否则按 `pollIntervalMs` 继续。 +5. 读取或条件错误立即失败，不无限重试。 + +`timeoutMs` 是总时间，不因轮询或稳定性判断重新计时。 + +## 4. 结果码 + +- `OK`：条件满足。 +- `WAIT_TIMEOUT`：超时未满足。 +- `TARGET_AMBIGUOUS`：要求 ONE 但匹配多个。 +- `CONDITION_ERROR`：条件无法正常求值。 + +v1 对外仍可映射为现有 `OK`、`TASK_AMBIGUOUS` 和 `TASK_NOT_MATCHED`。 + +## 5. 测试 + +覆盖立即满足、等待后满足、超时、多目标、GONE、状态变化、页面稳定和 optional 兼容行为。 diff --git a/docs/agent/execution.md b/docs/agent/execution.md new file mode 100644 index 0000000..4651035 --- /dev/null +++ b/docs/agent/execution.md @@ -0,0 +1,103 @@ +# 执行与结果 + +> [返回文档中心](README.md) · [动作目录](actions/README.md) · [任务协议](protocol.md) + +## 1. 当前执行流程 **[已实现]** + +当前 `TaskExecutor` 按以下方式执行每一步： + +1. 计算步骤截止时间。 +2. 等待 `packageName` 和可选 `activityName` 匹配。 +3. BACK 直接调用全局返回；其他动作查询 selector。 +4. 没有目标时继续等待，多个目标立即失败。 +5. 执行动作；成功后进入下一步。 +6. 到达超时时，optional 步骤跳过，其他步骤停止任务。 + +当前结果： + +~~~json +{ + "successful": true, + "code": "OK", + "message": "任务执行完成", + "extracted": { + "status": ["准备完成"] + } +} +~~~ + +当前结果码只有： + +| code | 含义 | +|---|---| +| `OK` | 任务执行完成 | +| `TASK_AMBIGUOUS` | selector 匹配多个节点 | +| `TASK_NOT_MATCHED` | 包名、Activity、目标或动作在超时内未成功 | + +## 2. 简单步骤结果 **[提案]** + +为了便于排查，可将每一步记录为简单结构： + +~~~json +{ + "stepId": "click-submit", + "action": "CLICK", + "success": false, + "code": "ACTION_FAILED", + "message": "点击未成功", + "output": {}, + "elapsedMs": 1200 +} +~~~ + +建议只保留： + +- `stepId`、`action`：定位步骤。 +- `success`、`code`：供程序判断。 +- `message`：供排障，不参与流程判断。 +- `output`：动作输出，没有输出时为空对象。 +- `elapsedMs`：步骤耗时。 + +暂不引入 phase、effect、transition 和独立结果协议版本。以后确实需要断点恢复或复杂流程审计时再扩展。 + +建议逐步细分以下 code： + +- `TASK_INVALID` +- `PACKAGE_MISMATCH` +- `ACTIVITY_MISMATCH` +- `TARGET_NOT_FOUND` +- `TARGET_AMBIGUOUS` +- `ACTION_FAILED` +- `VERIFICATION_FAILED` +- `UNSUPPORTED_ON_DEVICE` + +## 3. 动作执行规则 + +- `timeoutMs` 是整个步骤的总时间，包括等待和验证。 +- 每轮查询都读取当前页面，不长期保存旧节点。 +- WAIT 和只读提取可以轮询。 +- CLICK、INPUT、BACK、OPEN 等有副作用动作默认只分发一次。 +- 提供 `after` 时，动作后重新读取页面并验证。 +- 动作失败不会自动回到初始页面；需要返回或重新打开时由任务显式增加步骤。 + +## 4. 并发与幂等 + +当前 SQLite 以 `taskId + revision` 防止同一版本重复入库，但自动执行尚未实现，`TaskExecutionMutex` 也尚未接入。 + +简单目标： + +- 同一时刻只执行一个任务。 +- 已成功执行的相同 `taskId + revision` 不自动重复。 +- 更高 revision 是否替代旧版本，等调度需求明确后决定。 +- 暂不实现抢占、租约、断点恢复和自动回滚。 + +## 5. 测试 + +至少覆盖： + +- 每个失败原因得到稳定 code。 +- optional 只跳过约定的失败。 +- 多目标不会执行动作。 +- 有副作用动作在一个步骤内最多调用一次。 +- after 使用动作后的新页面状态。 +- 失败结果仍保留此前已经完成的提取输出。 diff --git a/docs/agent/flow-control.md b/docs/agent/flow-control.md new file mode 100644 index 0000000..9f89e2f --- /dev/null +++ b/docs/agent/flow-control.md @@ -0,0 +1,127 @@ +# 任务流程控制 + +> [返回文档中心](README.md) · [任务协议](protocol.md) · [执行与结果](execution.md) + +## 1. 当前状态 + +协议 v1 只支持线性 `steps` 和 `optional`。`when`、`BRANCH`、`nextStepId` 和 `onFailure` 均为 **[提案]**。 + +流程控制只在出现实际条件流程时实现，不提前引入循环、脚本表达式或复杂工作流引擎。 + +## 2. Condition **[提案]** + +WAIT、动作 `after`、`when` 和 BRANCH 共用简单 Condition。 + +节点条件： + +~~~json +{ + "state": "VISIBLE", + "selector": { + "text": { + "mode": "CONTAINS", + "value": "操作完成" + } + } +} +~~~ + +组合条件： + +~~~json +{ + "mode": "ALL", + "items": [ + { + "type": "PACKAGE_IS", + "value": "com.example.target" + }, + { + "state": "VISIBLE", + "selector": { + "resourceId": "com.example.target:id/result" + } + } + ] +} +~~~ + +首批只需要： + +- `ALL`、`ANY`。 +- 节点状态：`PRESENT`、`GONE`、`VISIBLE`、`ENABLED`、`SELECTED`、`CHECKED`。 +- 上下文：`PACKAGE_IS`、`ACTIVITY_IS`。 +- 结果：`STEP_SUCCESS_IS`、`STEP_CODE_IS`。 +- 输出比较：`EQ`、`NE`，需要时再增加数值比较。 + +Condition 返回 `MATCHED`、`NOT_MATCHED` 或 `ERROR`。引用缺失和读取失败属于 ERROR，不能当成条件不成立。 + +## 3. when **[提案]** + +~~~json +{ + "id": "click-confirm", + "action": "CLICK", + "packageName": "com.example.target", + "when": { + "type": "STEP_SUCCESS_IS", + "stepId": "prepare", + "value": true + }, + "selector": { + "text": "确认" + } +} +~~~ + +- MATCHED：执行动作。 +- NOT_MATCHED：跳过步骤。 +- ERROR：步骤失败。 +- when 只判断当前状态，不等待；需要等待时使用 WAIT。 + +## 4. BRANCH **[提案]** + +~~~json +{ + "id": "route-result", + "action": "BRANCH", + "cases": [ + { + "condition": { + "state": "VISIBLE", + "selector": { + "text": "操作完成" + } + }, + "targetStepId": "read-result" + } + ], + "defaultStepId": "handle-unknown" +} +~~~ + +BRANCH 按顺序选择第一个匹配项。目标步骤必须存在并位于当前步骤之后，避免循环和无限执行。没有匹配项且没有 default 时返回 `BRANCH_NO_MATCH`。 + +## 5. onFailure **[提案]** + +首版只需要三种处理： + +- `STOP`：停止任务，默认值。 +- `CONTINUE`：继续下一步。 +- `GOTO`：跳到后续指定步骤。 + +~~~json +{ + "onFailure": { + "codes": ["TARGET_NOT_FOUND"], + "action": "GOTO", + "targetStepId": "handle-missing" + } +} +~~~ + +不提供自动重试动作或整个任务。需要再次尝试时，在任务中写一个明确的后续步骤，并继续受总超时限制。 + +## 6. 最小校验 + +解析时确认步骤 id 唯一、跳转目标存在且只向前。跨分支输出和复杂汇合规则等到实际需要时再设计。 diff --git a/docs/agent/protocol.md b/docs/agent/protocol.md new file mode 100644 index 0000000..1d789f3 --- /dev/null +++ b/docs/agent/protocol.md @@ -0,0 +1,101 @@ +# 任务协议与设计原则 + +> [返回文档中心](README.md) · [动作目录](actions/README.md) · [后续工作建议](roadmap.md) + +## 1. 状态约定 + +- **[已实现]**：当前协议 v1 可用。 +- **[部分实现]**：动作存在，但部分检查或扩展未实现。 +- **[提案]**：后续设计，当前任务不要使用。 + +当前解析器会拒绝未知动作，但会忽略部分未知字段。后续应增加字段校验；这属于协议正确性，不需要额外审批流程。 + +## 2. 协议 v1 **[已实现]** + +~~~json +{ + "schemaVersion": 1, + "taskId": "task-1001", + "revision": 1, + "assignedAgentName": "phone-01", + "steps": [ + { + "id": "wait-ready", + "action": "WAIT", + "packageName": "com.example.target", + "selector": { + "text": "准备完成" + }, + "timeoutMs": 5000, + "optional": false + } + ] +} +~~~ + +任务字段： + +| 字段 | 规则 | +|---|---| +| `schemaVersion` | 当前必须为 `1` | +| `taskId` | 非空字符串 | +| `revision` | 正整数，默认 `1` | +| `assignedAgentName` | 与本机设备名区分大小写、精确匹配 | +| `steps` | 1 至 200 个，按数组顺序执行 | + +步骤公共字段： + +| 字段 | 规则 | +|---|---| +| `id` | 任务内唯一 | +| `action` | 当前只支持五个已实现动作 | +| `packageName` | 在超时内等待前台包精确匹配 | +| `activityName` | 可选；只作辅助判断 | +| `selector` | BACK 以外动作必填 | +| `timeoutMs` | 默认 5000，范围 100..30000 毫秒 | +| `optional` | 超时后是否继续下一步 | + +动作专属字段： + +- INPUT 需要字符串 `value`。 +- EXTRACT_TEXT 需要 `outputField`。 +- BACK 不需要 selector。 +- 其他字段见对应动作文档。 + +## 3. 当前执行语义 + +- 步骤线性执行。 +- 包名、Activity 或目标控件不匹配时，在 `timeoutMs` 内继续等待。 +- 默认要求 selector 只匹配一个节点；多个节点立即返回 `TASK_AMBIGUOUS`。 +- 普通失败当前统一返回 `TASK_NOT_MATCHED`。 +- 非 optional 步骤失败后停止任务；optional 步骤超时后继续。 +- 当前只搜索 `rootInActiveWindow`。 + +已知差距： + +- 未知字段会被忽略。 +- CLICK、INPUT 和 BACK 在驱动返回 `false` 后可能重复执行。 +- 节点匹配没有统一检查可见、启用和有效边界。 +- 节点生命周期管理不完整。 +- 动作没有统一的 after 验证。 + +## 4. 设计原则 + +- 通用协议只描述跨 App 动作，不包含具体 App 页面和业务流程。 +- 选择器只负责找控件，动作负责使用控件。 +- 默认唯一匹配，不自动选择第一个。 +- 所有等待、滚动和重试都有总超时或最大次数。 +- 动作结果使用结构化 code，不依赖 message 文本判断流程。 +- 页面文字、资源 ID 和成功条件保留在任务或目标 App 适配层。 + +## 5. 后续扩展 + +后续可以按需求增加： + +- `inputs` 和简单值引用。 +- WAIT 的 Condition。 +- 动作的 `after`。 +- `when`、前向 `BRANCH` 和简单 `onFailure`。 +- OPEN、SCROLL、SELECT_OPTION、EXTRACT 和 SCREENSHOT。 + +新增字段只有在模型、解析器、执行器和测试同时支持后，才把状态改为“已实现”。暂不引入单独的能力协商协议；出现多版本设备同时运行的实际需求时再设计。 diff --git a/docs/agent/references.md b/docs/agent/references.md new file mode 100644 index 0000000..7cdec18 --- /dev/null +++ b/docs/agent/references.md @@ -0,0 +1,38 @@ +# 能力边界与参考文档 + +> [返回文档中心](README.md) · [动作目录](actions/README.md) + +## 1. 不迁移的浏览器专属动作 + +以下能力依赖浏览器 DOM、JavaScript 或 Chrome DevTools Protocol，不适合作为原生 Android Agent 的通用动作： + +- CSS 选择器、浏览器 XPath、iframe 和 Shadow DOM 切换。 +- JavaScript Evaluate、修改 DOM 属性、注入脚本。 +- 等待网络空闲、拦截请求、Cookie、下载、上传文件控件。 +- 生成 PDF、浏览器标签页和弹窗事件。 +- Hover、鼠标右键和多次鼠标点击。 + +若目标 App 内嵌 WebView 且确实需要这些能力，应在独立 WebView 适配器中实现，不能让核心执行器依赖浏览器语义。 + + +## 2. 参考文档 + +Android 侧（规范性）： + +- Android AccessibilityService：https://developer.android.com/reference/android/accessibilityservice/AccessibilityService +- Android AccessibilityService.takeScreenshot：https://developer.android.com/reference/android/accessibilityservice/AccessibilityService#takeScreenshot(int,%20java.util.concurrent.Executor,%20android.accessibilityservice.AccessibilityService.TakeScreenshotCallback) +- Android AccessibilityServiceInfo 截图能力：https://developer.android.com/reference/android/accessibilityservice/AccessibilityServiceInfo#CAPABILITY_CAN_TAKE_SCREENSHOT +- Android canTakeScreenshot 属性：https://developer.android.com/reference/android/R.attr#canTakeScreenshot +- Android AccessibilityNodeInfo：https://developer.android.com/reference/android/view/accessibility/AccessibilityNodeInfo +- Android Intent 与 FLAG_ACTIVITY_NEW_TASK：https://developer.android.com/reference/android/content/Intent#FLAG_ACTIVITY_NEW_TASK +- Android PackageManager 启动入口：https://developer.android.com/reference/android/content/pm/PackageManager#getLaunchIntentForPackage(java.lang.String) +- Android 后台 Activity 启动限制：https://developer.android.com/guide/components/activities/secure-bal + +浏览器自动化（仅作动作命名与参数形态的横向参考，语义不适用于本协议，见本文件的[不迁移能力](#1-不迁移的浏览器专属动作)）： + +- chromedp 包文档：https://pkg.go.dev/github.com/chromedp/chromedp +- chromedp 官方仓库：https://github.com/chromedp/chromedp +- chromedp 官方示例：https://github.com/chromedp/examples +- Rod 官方包文档：https://pkg.go.dev/github.com/go-rod/rod +- Rod 官方仓库：https://github.com/go-rod/rod +- Rod 输入动作说明：https://github.com/go-rod/go-rod.github.io/blob/main/input.md diff --git a/docs/agent/roadmap.md b/docs/agent/roadmap.md new file mode 100644 index 0000000..a8cafc9 --- /dev/null +++ b/docs/agent/roadmap.md @@ -0,0 +1,66 @@ +# Android Agent 后续工作建议 + +> [返回文档中心](README.md) · [动作目录](actions/README.md) + +本文档只记录推荐顺序，不是实施门禁。具体做哪一项仍以当前需求为准。 + +## 当前情况 + +- 协议 v1 支持 `WAIT`、`CLICK`、`INPUT`、`BACK` 和 `EXTRACT_TEXT`。 +- 任务可以按设备名过滤并以 `taskId + revision` 保存到 SQLite。 +- `TaskGateway` 还是接口，尚未接入具体服务端。 +- 当前没有自动轮询、自动执行、结果提交和取消流程。 +- Gradle Wrapper 位于 `android/`，仓库中的构建命令应统一从该目录执行，或以后把 Wrapper 移到仓库根目录。 + +## 推荐实现顺序 + +### 1. 修正现有 v1 + +- 未知或不适用字段明确报错，不再静默忽略。 +- 将“等待目标”和“执行动作”分开；`CLICK`、`INPUT`、`BACK` 不因驱动返回 `false` 而重复分发。 +- 将 `TASK_NOT_MATCHED` 逐步细分为包名不符、Activity 不符、目标未找到和动作失败。 +- 明确 `optional` 只跳过哪些失败。 +- 查询控件时补充可见、启用和有效边界判断，并正确释放节点。 +- 让任务保存返回“新增、重复或失败”，同步统计不再混淆。 + +### 2. 完善公共能力 + +- 先扩展统一选择器，再让 WAIT、CLICK、INPUT 和 EXTRACT 共用。 +- 增加简单 Condition，供 WAIT、`when` 和动作 `after` 使用。 +- 统一简单步骤结果和任务结果。 +- 真正接入单任务串行执行；是否持久化执行进度按实际运行需求决定。 + +### 3. 按需求增加动作 + +建议顺序： + +1. 完善 `WAIT`、`CLICK`、`INPUT` 和 `BACK`。 +2. 将 `EXTRACT_TEXT` 扩展为 `EXTRACT`。 +3. 实现 `SCROLL`，再实现复合动作 `SELECT_OPTION`。 +4. 需要启动或切换 App 时实现 `OPEN`。 +5. 有诊断取证需求时实现 `SCREENSHOT`。 +6. 出现条件流程需求时实现 `when` 和前向 `BRANCH`。 + +没有实际需求时，不提前实现复杂正则、多窗口、任意循环、任务租约、能力协商或崩溃恢复。 + +## 简单开发流程 + +1. 确认一个动作或公共能力的输入、成功条件、超时和结果码。 +2. 同一个改动完成模型、解析、执行、驱动和测试。 +3. 运行受影响测试；Android 资源或应用代码变化时再运行 `assembleDebug`。 +4. 更新动作状态和示例，说明未做的真机验证。 + +## 测试建议 + +- 解析测试：合法字段、缺失字段、未知字段和范围错误。 +- 执行测试：成功、超时、目标不存在、目标不唯一和驱动失败。 +- 副作用测试：同一步骤不会意外点击、输入或返回多次。 +- 真机测试：只覆盖本次涉及的 Android 版本、目标 App 页面和输入法。 +- 文档测试：相对链接有效，JSON 示例能解析。 + +## 等外部信息明确后再设计 + +- 服务端任务接口与结果提交格式。 +- 是否需要不可变 `agentId`。 +- 同一任务多 revision 的保留和执行规则。 +- 是否需要自动执行、取消、断点恢复或截图上传。 diff --git a/docs/agent/security.md b/docs/agent/security.md new file mode 100644 index 0000000..d3e19d6 --- /dev/null +++ b/docs/agent/security.md @@ -0,0 +1,29 @@ +# 基本运行约定 + +> [返回文档中心](README.md) · [动作目录](actions/README.md) + +本项目是内部系统，不设置额外的安全审批、操作白名单门禁或文档门禁。以下只保留动作正常运行所需的基本约定。 + +## 1. 操作上下文 + +- 每个 UI 步骤在执行前核对任务声明的 `packageName`。 +- 提供 `activityName` 时同时核对，但它只作为辅助信息。 +- 节点来源包与当前前台包不一致时不执行动作。 +- 通用动作不使用 shell、root 或脚本注入。 + +是否增加额外包名范围、URI 范围或系统页面限制，按具体部署需求决定，不作为当前通用协议的前置条件。 + +## 2. 日志 + +- 日志记录任务 id、步骤 id、动作、结果码和耗时。 +- INPUT 原值、完整控件树和截图内容默认不写入日志。 +- message 用于排障，不参与程序分支判断。 +- 需要更细的数据处理规则时，在具体服务端和部署方案明确后补充。 + +## 3. 截图 + +SCREENSHOT 如果实现，默认保存到应用私有目录，任务结果返回标识而不是任意文件路径。是否遮盖、上传和定期清理按实际使用场景配置。 + +## 4. 页面稳定判断 + +PAGE_STABLE 可以比较页面结构、节点数量和稳定属性；不需要保存完整页面文本。首版只用于等待页面不再变化，不作为长期指纹或审计数据。 diff --git a/docs/agent/selector.md b/docs/agent/selector.md new file mode 100644 index 0000000..ef26247 --- /dev/null +++ b/docs/agent/selector.md @@ -0,0 +1,91 @@ +# 统一选择器 + +> [返回文档中心](README.md) · [动作目录](actions/README.md) + +选择器只负责从当前页面中找出匹配节点，不等待、不点击，也不默认选择第一个。 + +## 1. 当前字段 **[已实现]** + +~~~json +{ + "resourceId": "com.example.target:id/continue_button", + "text": "继续", + "contentDescription": "继续操作", + "className": "android.widget.Button", + "clickable": true +} +~~~ + +规则： + +- 已提供字段按 AND 组合。 +- `resourceId`、`text`、`contentDescription` 和 `className` 精确匹配。 +- `clickable` 匹配节点自身状态。 +- 至少提供一个字段。 +- 当前只遍历 `rootInActiveWindow`。 + +## 2. 简单扩展 **[提案]** + +~~~json +{ + "resourceId": "com.example.target:id/continue_button", + "text": { + "source": "TEXT_OR_DESCRIPTION", + "mode": "CONTAINS_ANY", + "values": ["继续", "下一步"] + }, + "state": { + "visible": true, + "enabled": true + }, + "region": { + "minXRatio": 0.0, + "maxXRatio": 1.0, + "minYRatio": 0.5, + "maxYRatio": 1.0 + } +} +~~~ + +首批扩展建议只支持： + +- 文字来源：`TEXT`、`CONTENT_DESCRIPTION`、`TEXT_OR_DESCRIPTION`。 +- 文字模式：`EXACT`、`CONTAINS`、`CONTAINS_ANY`。 +- 状态：`visible`、`enabled`、`clickable`、`selected`、`checked`、`focused`、`scrollable`。 +- 区域：屏幕比例矩形，节点中心点落在区域内即匹配。 + +`visible` 统一定义为 `isVisibleToUser == true`，且屏幕边界非空并与屏幕相交。 + +正则、祖先/后代关系、逻辑嵌套和多窗口查询等到出现明确场景时再增加。 + +## 3. 候选数量 + +不同动作决定如何使用匹配结果： + +- WAIT v1 要求恰好一个。 +- CLICK、INPUT 和 BACK 以外的单目标动作默认要求一个。 +- EXTRACT 可以显式声明 `ONE` 或 `MANY`。 +- 多个候选时不默认选第一个。 + +CLICK 可以把文字节点向上解析为最近的可点击祖先；这是 CLICK 的规则，不改变基础选择器结果。 + +## 4. 查询接口 + +建议公共接口保持简单： + +~~~kotlin +fun findAll( + root: AccessibilityNodeInfo, + selector: NodeSelector, +): List +~~~ + +每次轮询读取新 root。同一轮查询结束后释放不再使用的节点；动作完成后不保留旧节点引用。 + +## 5. 实现顺序 + +1. 保留 v1 精确匹配。 +2. 增加可见、启用和边界检查。 +3. 增加 `TEXT_OR_DESCRIPTION` 和 `CONTAINS_ANY`。 +4. 增加屏幕比例区域。 +5. 只有实际任务需要时再扩展复杂选择器。 diff --git a/docs/agent/values-and-outputs.md b/docs/agent/values-and-outputs.md new file mode 100644 index 0000000..ae86a49 --- /dev/null +++ b/docs/agent/values-and-outputs.md @@ -0,0 +1,102 @@ +# 值与步骤输出 + +> [返回文档中心](README.md) · [任务协议](protocol.md) + +## 1. 当前行为 **[已实现]** + +- INPUT 的 `value` 是步骤内字符串。 +- EXTRACT_TEXT 把文本追加到 `outputField`。 +- 最终结果中的 `extracted` 类型是 `Map>`。 +- 当前没有任务输入区、跨步骤引用或类型化输出。 + +## 2. 任务输入 **[提案]** + +变化频繁的值可以集中放在任务 `inputs`： + +~~~json +{ + "inputs": { + "keyword": "测试内容", + "quantity": 2 + } +} +~~~ + +首版只支持 `TEXT`、`INTEGER`、`DECIMAL` 和 `BOOLEAN`。手机号、邮编和外部编号等需要保留格式的值使用 TEXT。 + +## 3. 值引用 **[提案]** + +字面量： + +~~~json +{ + "value": { + "source": "LITERAL", + "value": "固定内容" + } +} +~~~ + +任务输入： + +~~~json +{ + "value": { + "source": "TASK_INPUT", + "key": "keyword" + } +} +~~~ + +步骤输出： + +~~~json +{ + "value": { + "source": "STEP_OUTPUT", + "stepId": "read-code", + "field": "code" + } +} +~~~ + +首版不提供模板语言或表达式执行。引用不存在时返回 `VALUE_NOT_FOUND`。 + +## 4. 步骤输出 **[提案]** + +~~~json +{ + "output": { + "code": { + "type": "TEXT", + "value": "A-100" + } + } +} +~~~ + +一个步骤可以输出多个命名值，但只有整个步骤成功时输出才生效。后续步骤只能引用已经完成的前置步骤。 + +复杂对象、列表合并和跨分支数据流等到实际需要时再设计。 + +## 5. 建议模型 + +~~~kotlin +enum class ValueType { + TEXT, + INTEGER, + DECIMAL, + BOOLEAN, +} + +data class StepValue( + val type: ValueType, + val value: Any, +) + +data class StepOutput( + val values: Map, +) +~~~ + +输入约束先支持必要的长度、数值范围和枚举即可，不提前加入复杂格式系统。 diff --git a/docs/agent_common_action.md b/docs/agent_common_action.md new file mode 100644 index 0000000..ee72a06 --- /dev/null +++ b/docs/agent_common_action.md @@ -0,0 +1,33 @@ +# Android Agent 通用动作定义 + +本文档保留为兼容入口。完整内容已经拆分到 [Android Agent 文档中心](agent/README.md)。 + +## 当前能力 + +当前协议 v1 支持： + +- `WAIT` +- `CLICK` +- `INPUT` +- `BACK` +- `EXTRACT_TEXT` + +其中 CLICK 和 INPUT 只实现了基础能力，尚无完整可交互检查和动作后验证。动作现状以代码中的 `ActionType`、`TaskParser` 和 `TaskExecutor` 为准。 + +## 文档入口 + +- [任务协议](agent/protocol.md) +- [动作目录](agent/actions/README.md) +- [统一选择器](agent/selector.md) +- [值与输出](agent/values-and-outputs.md) +- [执行与结果](agent/execution.md) +- [流程控制](agent/flow-control.md) +- [基本运行约定](agent/security.md) +- [后续工作建议](agent/roadmap.md) +- [参考文档](agent/references.md) + +## 后续动作 + +OPEN、SCROLL、SELECT_OPTION、EXTRACT、SCREENSHOT 和 BRANCH 都是提案，当前任务不要使用。是否实现以及实现顺序以实际需求为准。 + +通用动作保持简单：有限超时、包名核对、默认唯一目标、结构化结果；不在核心协议中加入具体 App 业务流程、审批门禁或未确认的调度机制。