diff --git a/benchmark/internal/results/chart_latency.png b/benchmark/internal/results/chart_latency.png new file mode 100644 index 0000000..b1f8717 Binary files /dev/null and b/benchmark/internal/results/chart_latency.png differ diff --git a/benchmark/internal/results/chart_memory.png b/benchmark/internal/results/chart_memory.png new file mode 100644 index 0000000..98f4d5c Binary files /dev/null and b/benchmark/internal/results/chart_memory.png differ diff --git a/benchmark/internal/results/chart_single_stmt_8259cl.png b/benchmark/internal/results/chart_single_stmt_8259cl.png new file mode 100644 index 0000000..1a0599c Binary files /dev/null and b/benchmark/internal/results/chart_single_stmt_8259cl.png differ diff --git a/benchmark/internal/results/chart_single_stmt_kunpeng.png b/benchmark/internal/results/chart_single_stmt_kunpeng.png new file mode 100644 index 0000000..4da4413 Binary files /dev/null and b/benchmark/internal/results/chart_single_stmt_kunpeng.png differ diff --git a/benchmark/internal/results/chart_stress_8259cl.png b/benchmark/internal/results/chart_stress_8259cl.png new file mode 100644 index 0000000..3979c25 Binary files /dev/null and b/benchmark/internal/results/chart_stress_8259cl.png differ diff --git a/benchmark/internal/results/chart_stress_kunpeng.png b/benchmark/internal/results/chart_stress_kunpeng.png new file mode 100644 index 0000000..7d5c822 Binary files /dev/null and b/benchmark/internal/results/chart_stress_kunpeng.png differ diff --git a/设计方案文档.md b/设计方案文档.md index d799fca..25287af 100644 --- a/设计方案文档.md +++ b/设计方案文档.md @@ -1,8 +1,9 @@ -# 面向 AI Agent 的轻量级 JavaScript 执行引擎设计方案 +# 面向 AI Agent 的轻量级 JavaScript 执行引擎设计方案文档 -> 项目名称：OxideJS -> 技术路线：Rust + 自研字节码编译器 + 寄存器式虚拟机 + 单 Kernel 多 VM 运行时 -> 目标场景：短时、高频、即时执行的 JavaScript 代码运行环境 +> 队名：爱特每羊队（T2026104239910027） +> 团队成员：古宇恒、彭俊皓、杜文韬 +> 项目名称：OxideJS +> 技术路线：Rust + 自研字节码编译器 + 寄存器式虚拟机 + 单 Kernel 多 VM 运行时 --- @@ -46,24 +47,28 @@ OxideJS 最重要的运行时结构是 **单 Kernel 多 VM**。 +===================================================================================+ | OxideKernel | | | -| Shared, long-lived, cross-request runtime state | +| 分为两层: KernelCore (immutable, 跨请求永久共享) | +| KernelSession (per-session, 通过 full_reset() 完全重建) | | | -| +----------------+ +----------------+ +----------------+ +----------------+ | -| | StringForge | | ShapeForge | | CodeForge | | PropForge | | -| |----------------| |----------------| |----------------| |----------------| | -| | intern strings | | hidden classes | | bytecode cache | | IC templates | | -| | string handles | | property layout| | structural hash| | shape -> slot | | -| +----------------+ +----------------+ +----------------+ +----------------+ | +| ┌── KernelCore (Arc) ─────────────────────────────────────────┐ | +| | +----------------+ +----------------+ +----------------+ +----------+ | | +| | | PermInterner | | ShapeForge | | CodeForge | | PropForge| | | +| | |----------------| |----------------| |----------------| |----------| | | +| | | append-only key| | hidden classes | | bytecode cache | | shape→slot| | | +| | | leaked &'static| | property layout| | LRU 缓存 | | IC 模板 | | | +| | | 64-bit hash | | shape graph | | structural hash| | | | | +| | +----------------+ +----------------+ +----------------+ +----------+ | | +| | KernelConfig (pool / step / max_cached_modules / log levels) | | +| └──────────────────────────────────────────────────────────────────────────┘ | | | -| +----------------+ +----------------+ +----------------+ +----------------+ | -| | BuiltinWorld | | Global Shapes | | Kernel Config | | Runtime Logs | | -| |----------------| |----------------| |----------------| |----------------| | -| | Object/Array | | builtin shape | | pool limits | | trace/debug | | -| | Function/etc. | | root layouts | | step limits | | diagnostics | | -| +----------------+ +----------------+ +----------------+ +----------------+ | +| ┌── KernelSession (per-session) ──────────────────────────────────────────┐ | +| | BuiltinWorld | Global object | BuiltinSnapshot | | +| | Object/Array/ | 全局对象与基础 | 脏检测 + 选择性重建 | | +| | Function/... | 属性 | | | +| └─────────────────────────────────────────────────────────────────────────┘ | +==========================================+========================================+ | - | Arc + | Arc + KernelSession | +-------------------------------+-------------------------------+ | | | @@ -73,25 +78,33 @@ OxideJS 最重要的运行时结构是 **单 Kernel 多 VM**。 |----------------------| |----------------------| |----------------------| | registers[256] | | registers[256] | | registers[256] | | pc | | pc | | pc | -| bytecode view | | bytecode view | | bytecode view | -| constants view | | constants view | .... | constants view | -| call frames | | call frames | | call frames | -| try/catch stack | | try/catch stack | | try/catch stack | -| exception state | | exception state | | exception state | -| local session arena | | local session arena | | local session arena | -| session GC metadata | | session GC metadata | | session GC metadata | +| bytecode | | bytecode | | bytecode | +| immutables_cache | | immutables_cache | .... | immutables_cache | +| frames (SmallVec) | | frames (SmallVec) | | frames (SmallVec) | +| save_stack (共享) | | save_stack (共享) | | save_stack (共享) | +| try / except state | | try / except state | | try / except state | +| Epoch Arena (会话) | | Epoch Arena (会话) | | Epoch Arena (会话) | +| JsString GC + roots | | JsString GC + roots | | JsString GC + roots | +| object_prototype | | object_prototype | | object_prototype | +----------+-----------+ +----------+-----------+ +----------+-----------+ | | | v v v Request Result Request Result Request Result ``` +说明: + +- **PermInterner** 取代了早期的 `StringForge`: 它只 intern **key / identifier / method name** 等永不释放的字符串, 用 leaked `&'static str` + 64-bit hash 索引, 没有 ref-count 也没有 maybe_sweep 重编号路径, 因而无锁读、零冲突; +- **运行时 JsString 值** (用户代码里 `"hello" + name` 产出的临时字符串) 不在 Kernel, 而是由各 VM 自带的 **JsString 标记清扫 GC** 管理 (commit `fe2d492`), 配合 Epoch Arena 实现短命对象 O(1) 回收; +- **KernelCore vs KernelSession** 的拆分让 test262 runner 可以在不丢弃编译缓存 / Shape 图 / Property IC 模板的前提下, 通过 `full_reset()` 重建 BuiltinWorld 与 global object, 实现测试间完全隔离 (commit `d242d08`)。 + 该结构将运行时状态分为两类： | 状态类型 | 所在位置 | 生命周期 | 示例 | |----------|----------|----------|------| -| 共享状态 | `OxideKernel` | 进程级、长生命周期 | 字符串表、Shape 表、Code cache、内置对象 | -| 私有状态 | `Vm` | 请求级、短生命周期 | 寄存器、PC、调用栈、异常、临时对象 | +| 永久共享状态 | `KernelCore` | 进程级、永不释放 | PermInterner (key/identifier)、ShapeForge、CodeForge、PropForge | +| 会话级共享状态 | `KernelSession` | 测试 / 会话级、可 `full_reset()` 重建 | BuiltinWorld、global object、BuiltinSnapshot | +| 请求私有状态 | `Vm` | 请求级、短生命周期 | 寄存器、PC、调用栈、异常、Epoch Arena、JsString GC 根 | 这种分层使得 OxideJS 能够同时满足两类需求： @@ -109,12 +122,22 @@ AI Agent 场景中的大部分对象具有明显的短生命周期特征：对 Long-lived / shared memory ┌──────────────────────────────────────────────────────────────────────────────┐ - │ OxideKernel │ + │ KernelCore (Arc, 进程级永久共享) │ │ │ - │ StringForge ShapeForge CodeForge BuiltinWorld │ - │ interned strs shape records bytecode cache builtin prototypes │ + │ PermInterner ShapeForge CodeForge PropForge │ + │ append-only hidden classes bytecode LRU IC 模板 │ + │ key / ident shape graph structural hash shape→slot │ │ │ - │ 生命周期：随 Kernel 存活，跨 VM 共享 │ + │ 生命周期: 随进程存活, 表结构 append-only, 永不释放 │ + └──────────────────────────────────────────────────────────────────────────────┘ + ┌──────────────────────────────────────────────────────────────────────────────┐ + │ KernelSession (per-session, 可通过 full_reset() 重建) │ + │ │ + │ BuiltinWorld Global object BuiltinSnapshot │ + │ Object/Array/ 全局对象 脏检测 + 选择性重建 │ + │ Function/... │ + │ │ + │ 生命周期: 单次 session, 测试隔离时通过 full_reset() 完全重建 │ └──────────────────────────────────────────────────────────────────────────────┘ ▲ │ shared references @@ -123,10 +146,10 @@ AI Agent 场景中的大部分对象具有明显的短生命周期特征：对 ┌───────────────────────────────────┴──────────────────────────────────────────┐ │ Vm │ │ │ - │ registers / call frames / exception state │ + │ registers[256] / call frames (SmallVec) / try-catch / exception state │ │ │ │ +----------------------------+ │ - │ | Session Arena | bump allocation for short-lived objects │ + │ | Epoch Arena | bump allocation, O(1) epoch 回收 │ │ |----------------------------| │ │ | object allocations | │ │ | arrays / temporary values | │ @@ -134,24 +157,25 @@ AI Agent 场景中的大部分对象具有明显的短生命周期特征：对 │ +----------------------------+ │ │ │ │ +----------------------------+ │ - │ | Session GC Metadata | mark/sweep metadata for session objects │ + │ | JsString GC | 标记清扫, 管理运行时 JsString 值 │ │ |----------------------------| │ │ | tracked allocations | │ │ | roots from registers | │ │ | roots from frames | │ + │ | GC 阈值: 32 MB (commit ad7b044) │ │ +----------------------------+ │ │ │ - │ 生命周期: 单 VM / 单执行会话，执行结束后可批量释放或回收 │ + │ 生命周期: 单 VM / 单执行会话, 执行结束后 Epoch 翻页, GC 标记清扫批量释放 │ └──────────────────────────────────────────────────────────────────────────────┘ ``` 内存与 GC 设计的关键点： -- **短命对象进入 VM 本地 session arena**：降低通用堆分配压力； -- **VM 拥有自己的 session GC 元数据**：寄存器、调用栈、异常对象都可作为 root； -- **Kernel 对象与 session 对象分层**：内置对象、Shape、字符串等长生命周期数据不随单次执行销毁； -- **执行结束可快速清理 session 内存**：避免每次短脚本执行都触发重型全局 GC； -- **Map / Set / Array / Object 等容器需要参与 GC 追踪**：防止 session 对象在容器中被错误释放。 +- **短命对象进入 VM 本地 Epoch Arena**: bump allocation, 整个 epoch 翻页时 O(1) 回收, 不参与逐对象扫描; +- **VM 拥有自己的 JsString GC**: 运行时字符串 (`"hello" + name` 等) 由标记清扫 GC 管理, 寄存器 / 调用栈 / 异常对象 / Map/Set/Array 容器都作为 root, GC 阈值 32 MB 触发 (commit `ad7b044`); +- **永久状态与会话状态分层**: `KernelCore` 持有 PermInterner / Shape / Code / Prop 等长生命周期表, `KernelSession` 持有可重建的 BuiltinWorld 与 global object; +- **测试 / 短会话隔离**: 通过 `KernelSession::full_reset()` + `BuiltinSnapshot` 脏检测可以在不丢弃编译缓存的前提下重建 builtin 与全局对象; +- **Map / Set / Array / Object 等容器参与 GC 追踪**: 防止 session 对象在容器中被错误释放 (commit `9db28b2` 修过 Map/Set GC 追踪丢失问题)。 ### 1.5 创新点 3: 自研字节码与寄存器式 VM @@ -241,7 +265,7 @@ OxideJS 的一次执行请求从输入 JS 源码到返回结果，经过以下 │ CompiledModule ▼ ┌────────────────────────────────────────────────────────────────────────────────────┐ -│ OxideKernel.CodeForge │ +│ KernelCore.CodeForge │ │------------------------------------------------------------------------------------│ │ if cache hit: │ │ reuse Arc │ @@ -414,19 +438,26 @@ loop: ### 2.5 Kernel 层 -Kernel 是单进程内的共享运行时核心。它不保存某一次执行请求的寄存器和调用栈，而是保存可跨请求复用的结构。 +Kernel 是单进程内的共享运行时核心。它不保存某一次执行请求的寄存器和调用栈，而是保存可跨请求复用的结构。Kernel 内部进一步拆分为两层 (commit `d242d08`): + +- **KernelCore**: 进程级永久共享, 表结构 append-only, 永不重建; +- **KernelSession**: 测试 / 会话级, 可通过 `full_reset()` 配合 `BuiltinSnapshot` 脏检测实现选择性重建。 ```text +------------------------------------------------------------------------------------+ | OxideKernel | +------------------------------------------------------------------------------------+ +| ── KernelCore (Arc, 跨请求永久共享) ────────────────────────────────── | | KernelConfig | -| StringForge 全局字符串驻留池 | +| PermInterner Append-only key / identifier 驻留 (leaked &'static str, 64-bit hash)| | ShapeForge 全局 Shape / Hidden Class 表 | -| CodeForge 编译结果缓存 | -| PropForge 属性访问模板 / IC 相关缓存 | -| BuiltinWorld Object / Array / Function / String / Number 等内置对象结构 | -| Global object 全局对象及其基础属性 | +| CodeForge 编译结果缓存 (Mutex, max_cached_modules 上限) | +| PropForge 属性访问 IC 模板 / shape→slot 缓存 | +| | +| ── KernelSession (per-session, 可 full_reset() 重建) ────────────────────────────── | +| BuiltinWorld Object / Array / Function / String / Number 等内置对象结构 | +| Global object 全局对象及其基础属性 | +| BuiltinSnapshot 脏检测快照, 支撑选择性重建 | +------------------------------------------------------------------------------------+ ``` @@ -434,12 +465,13 @@ Kernel 是单进程内的共享运行时核心。它不保存某一次执行请 | 问题 | 普通每 VM 独立 runtime | OxideJS 单 Kernel 多 VM | |------|------------------------|--------------------------| -| 内置对象初始化 | 每个 VM 重复构造 | Kernel 中集中构造与复用 | -| 字符串驻留 | 每个 VM 各自保存 | StringForge 统一保存 | +| 内置对象初始化 | 每个 VM 重复构造 | KernelSession 中集中构造与复用 | +| Key / identifier 驻留 | 每个 VM 各自保存 | PermInterner 全局 append-only, 无锁读 | | 对象 Shape | 每个 VM 重复生成 | ShapeForge 跨 VM 共享 | -| 编译结果 | 每次请求重新编译 | CodeForge 按结构复用 | -| 属性访问模板 | 每个 VM 冷启动 | PropForge 可共享访问模板 | -| 请求隔离 | 需要小心拆分 | VM 自带寄存器、栈、arena，天然隔离 | +| 编译结果 | 每次请求重新编译 | CodeForge 按 structural hash 缓存复用 | +| 属性访问模板 | 每个 VM 冷启动 | PropForge 跨 VM 共享 IC 模板 | +| 请求隔离 | 需要小心拆分 | VM 自带寄存器、栈、Epoch Arena、JsString GC, 天然隔离 | +| 测试间重置 | 整个 runtime 销毁重建 | `KernelSession::full_reset()` 重建 builtin + global, 保留缓存 | #### 2.5.2 多 VM 执行示例 @@ -449,11 +481,12 @@ Request B: "users.map(u => u.name)" Request C: "orders.map(o => o.price)" +-------------------+ - | OxideKernel | + | OxideKernel | + | (Core + Session) | |-------------------| - | CodeForge | 结构相似代码可命中编译缓存 + | CodeForge | 结构相似代码命中编译缓存 | ShapeForge | 相似对象布局共享 Shape - | StringForge | id/name/price 等字符串驻留 + | PermInterner | id / name / price 等 key 驻留 +---------+---------+ | +---------------+---------------+ @@ -461,6 +494,8 @@ Request C: "orders.map(o => o.price)" v v v VM #1 VM #2 VM #3 Request A Request B Request C + + 各 VM 私有: 寄存器 / Epoch Arena / JsString GC / 异常状态 ``` ### 2.6 对象模型与属性访问 @@ -614,16 +649,16 @@ crates/oxide_types/src/ ```text crates/oxide_kernel/src/ -├── kernel.rs # OxideKernel, KernelConfig, global object -├── string_forge.rs # 字符串驻留和索引 -├── shape_forge.rs # Shape 创建、复用和查询 -├── code_forge.rs # CompiledModule 缓存 -├── prop_forge.rs # 属性访问模板缓存 -├── builtin.rs # BuiltinWorld 与内置对象结构 -└── logging.rs # 结构化日志支持 +├── kernel.rs # KernelCore + KernelSession + KernelConfig + global object +├── string_forge.rs # PermInterner — append-only key / identifier 驻留 +├── shape_forge.rs # ShapeForge — Shape / Hidden Class 创建与查询 +├── code_forge.rs # CodeForge — CompiledModule LRU 缓存 +├── prop_forge.rs # PropForge — 属性访问 IC 模板缓存 +├── builtin.rs # BuiltinWorld + BuiltinSnapshot 选择性重建 +└── kernel_log.rs # Kernel 层结构化日志包装 ``` -`oxide_kernel` 是单 Kernel 多 VM 的中心。它保存长期共享状态，而 VM 保存短期执行状态。 +`oxide_kernel` 是单 Kernel 多 VM 的中心。它通过 `KernelCore` 保存永久共享状态, 通过 `KernelSession` 保存可重建的会话级状态, 而 VM 保存短期执行状态。 ### 3.5 `oxide_compiler` @@ -679,6 +714,7 @@ VM 层是代码量最大的模块，包含： ```text cargo run --release -p oxide_cli -- eval "1 + 2" cargo run --release -p oxide_cli -- run file.js +cargo run --release -p oxide_cli -- run file.js --repeat 1000 # 单进程内复用 Kernel 重跑 N 次 cargo run --release -p oxide_cli -- compile -e "1 + 2" cargo run --release -p oxide_cli ``` @@ -688,6 +724,7 @@ CLI 主要用于： - 手工运行 JS 片段； - 打印编译后的字节码； - 执行文件； +- `run --repeat N`: 单进程内复用 Kernel 连续 eval N 次 (commit `05d0c25`), 用于多会话基准测试; - 进行 smoke test。 ### 3.8 `oxide_test262` @@ -717,7 +754,7 @@ Developer / CLI / test262 oxide_parser | v - oxide_compiler -----> OxideKernel.CodeForge + oxide_compiler -----> KernelCore.CodeForge | | v | CompiledModule <---------------+ @@ -726,7 +763,8 @@ Developer / CLI / test262 VmPool selects Vm | v - Vm executes bytecode -----> OxideKernel.StringForge / ShapeForge / PropForge / BuiltinWorld + Vm executes bytecode -----> KernelCore: PermInterner / ShapeForge / PropForge + ----> KernelSession: BuiltinWorld / global object | v JsValue / Error / TestResult @@ -737,7 +775,7 @@ Developer / CLI / test262 | 创新点 | 代码位置 | 说明 | |--------|----------|------| | 单 Kernel 多 VM | `oxide_kernel::kernel`, `oxide_vm::vm_pool`, `oxide_vm::vm` | Kernel 共享，VM 隔离 | -| 共享字符串驻留 | `string_forge.rs` | 跨 VM 字符串复用 | +| Key / identifier 驻留 | `string_forge.rs` (`PermInterner`) | 跨 VM append-only 驻留, 无锁读 | | 共享 Shape | `shape_forge.rs`, `shape.rs` | 跨 VM 对象布局复用 | | 编译缓存 | `code_forge.rs`, `hash.rs` | structural hash -> CompiledModule | | 属性访问缓存 | `prop_forge.rs`, `vm_props.rs`, `dispatch/property.rs` | Shape / offset 快速路径 | @@ -759,7 +797,7 @@ Developer / CLI / test262 ### 4.1 测试套件设计 -OxideJS 采用多维度 benchmark 体系，针对 Agent 场景的特性进行验证： +在真实场景下，JS 引擎 “好不好用”，并不是只看代码执行的准确率，其运行速度和资源占用情况也非常重要。为此，我们采用了一套多维度的 benchmark 打分体系，针对 AI Agent 场景的特性进行验证： | 维度 | 测试套件 | 测试项 | 权重 | 说明 | |------|---------|--------|------|------| @@ -783,7 +821,7 @@ $$ - $P_{\text{pass}}$: test262 通过测试数 (of ran, 不计 skip) - $P_{\text{fail}}$: test262 失败测试数 - **目标**: $\geq 60$ (ES2020 核心特性覆盖) -- **当前** (2026-06-28): 9,462 pass / 51,834 ran = **18.3%** +- **当前** (2026-06-30): **pass 率 69.6%**, 已超出 v1.0 里程碑目标 #### 4.2.2 性能得分 (Performance) @@ -818,6 +856,19 @@ $$ - $M_{\text{peak}}$: 压力测试峰值 RSS (MB) - 目标: < 150MB 得满分 +#### 4.2.5 四引擎综合得分对比 + +以 QuickJS = 80 为基准, 各引擎按上述四维度加权得到的综合分数: + +| 引擎 | 综合得分 | +|------|----------| +| QuickJS | 80 | +| BOA | 69 | +| **OxideJS (本项目)** | **61** | +| V8 (Node.js) | 53 | + +OxideJS 当前 61 分, 介于 BOA 与 V8 之间, 主要由 test262 通过率 (69.6%, 仍有 30% 失败) 拖累, 这是我们之后优化的工作重点。 + ### 4.3 Agent 场景专用加权 针对多轮对话 / 跨 session 缓存： @@ -836,58 +887,131 @@ $$ ### 4.4 Baseline 对比 -| 引擎 | test262 pass% | JetStream 2.0 | 启动 (ms) | 内存 (MB) | 备注 | -|------|--------------|---------------|-----------|-----------|------| -| **QuickJS** | ~99% | 基准 (1.0x) | 冷 80, 热 40 | ~120 | ES2020 几乎全覆盖 | -| **Boa v0.21** | ~85% | 0.6x | 冷 150, 热 90 | ~200 | Rust 实现，栈式 VM | -| **JerryScript** | ~98% | 0.8x | 冷 60, 热 30 | ~80 | 嵌入式优化 | -| **OxideJS (当前)** | 18.3% | 未测 | 未测 | 未测 | Phase 14.2.3 | -| **OxideJS (目标)** | 60%+ | 0.8–1.2x | 冷 < 100, 热 < 50 | < 150 | v1.0 里程碑 | +#### 4.4.1 综合对比表 -### 4.5 当前状态分析 +| 引擎 | test262 pass% | 单条 JS 平均耗时 (ms) | 多会话单次平均 (ms) | 单进程基线 RSS (MB) | +|------|--------------|----------------------|---------------------|---------------------| +| **QuickJS** | ~99% | 0.95 / 3.18 | 1.03 | 1.60 | +| **Boa v0.21** | ~85% | 11.32 / 16.29 | 16.3 | 1.55 | +| **V8 (Node.js)** | ~100% | 103.74 / 34.95 | 103.5 | 1.60 | +| **OxideJS (当前)** | **69.6%** | **1.73 / 4.62** | **0.96** | **4.6** | -**test262 通过率 18.3%** 的主要失败原因（基于 `.planning/codebase/CONCERNS.md` 分析）： +> 单条 JS 平均耗时格式: *Intel 8259CL / 鲲鹏 920* (ms), 取自 `benchmark/run_benchmark.py` 的 10 类语句测试均值。 -1. **Compiler counter/emitter drift** (P0, 预计影响 4000–6000 测试) - - 问题：`counter/*` 和 `emitter/*` 指令计数不对齐 → `projected_pc` 漂移 → 跳转落错 PC → 死循环 - - 已知 9 个具体 drift 位置：私有方法 (C2/C3)、计算键 (C4/C5)、解构参数 (C1/D1/S2)、`??` 和复合赋值 (E1/E2) +#### 4.4.2 多会话耗时 (4 引擎 0–20K 会话) -2. **Structural hash cache collision** (P1, 预计影响 2000–4000 测试) - - 问题：`code_forge.rs` 用 `structural_hash(program)` 做 bytecode cache key，但 hash 逻辑忽略 identifier 名字 → 不同变量引用拿到错误的缓存字节码 +![多会话耗时对比](benchmark/internal/results/chart_latency.png) -3. **缺失高频 builtin** (预计影响 1500–2500 测试) - - `Array.prototype.toSorted/toReversed/toSpliced/with` (ES2023 不可变数组) - - `Object.groupBy/Map.groupBy` (ES2024) - - 其他零散 builtin (`String.isWellFormed`, `Atomics.pause`) +在 0–20,000 会话的连续负载下: -4. **for-in/for-of 枚举顺序** (预计影响 1000–1800 测试) - - ES2015+ 规定 own-property 枚举顺序（integer keys 升序 → 字符串 keys 插入序 → symbols） +- **OxideJS** 单进程共享 Kernel, 累积均值 **0.96 ms / 会话**, 40 个批次点全部落在 ≤ 1.2 ms 区间。 +- **QuickJS** 每会话独立进程, ≈ 1.03 ms / 会话, 约为 OxideJS 的 1.07×。 +- **BOA** ≈ 16.3 ms / 会话 (≈ 17× OxideJS), 实测至 5K 会话后按稳态斜率外推。 +- **V8 (Node.js)** ≈ 103.5 ms / 会话 (≈ 108× OxideJS), 7,500 会话后中止 (单次启停成本过大), 之后按稳态斜率外推。 -### 4.6 测试复现命令 +OxideJS 通过 Kernel + VM Pool 单进程长驻消除了每会话 `fork/exec` 的开销, 是 4 引擎中唯一在 Agent 短会话场景下保持低延迟可持续的方案。 +此外，由图中数据可以看出，我们 OxideJS 在面对这类多会话的情况时，依然可以保持快速响应执行，其耗时明显少于其他引擎 + +#### 4.4.3 多会话内存占用 (峰值 RSS) + +![多会话内存占用对比](benchmark/internal/results/chart_memory.png) + +- **OxideJS** 单进程长驻, 典型会话 **基线 4.6 MB**; JSON Parse 工作负载偶发出现峰值, 但每次峰值后下一批次立即被 **Epoch Arena O(1) 回收** 至 4.6 MB, 不退化为系统调用。然而内存占用总量依然偏大，内存分配与回收机制仍需改进。 +- **QuickJS / V8 / BOA** 每会话独立进程, RSS 由进程边界天然回收, 长期保持 ≈ 1.5–1.6 MB。 + +考虑到目前的 PC、服务器甚至嵌入式设备的内存并不短缺，在实际体验中反而更注重耗时，因此我们的工作重心主要在解决耗时上，其运行时涉及到许多对象内容的复用，所以我们的方案在内存占用上比其他方案略高 + +#### 4.4.4 单条 JS 执行耗时 (双平台对比) + +10 类基础语句操作 (算术 / 变量 / 对象 / 数组 / 函数调用 / 属性访问 / 条件分支 / for / while / 字符串拼接) 在两个平台上的对比: + +| 平台 | 图表 | +|------|------| +| 鲲鹏 920 (ARM64) | ![单条耗时-鲲鹏](benchmark/internal/results/chart_single_stmt_kunpeng.png) | +| Intel Xeon 8259CL (x86_64) | ![单条耗时-Intel](benchmark/internal/results/chart_single_stmt_8259cl.png) | + +关键观察: + +- **OxideJS** 在两个平台均稳定: 鲲鹏 ≈ 4.6 ms, Intel ≈ 1.73 ms (Intel 上 2.7× 快于鲲鹏，后期我们会更加关注国产平台的优化)。 +- **QuickJS** 在 Intel 上 ≈ 0.97 ms (略快于 OxideJS), 但在 ARM64 上随操作类型波动 (1.5–3.5 ms)。 +- **BOA** 两平台均 ≈ 11–17 ms, 慢于 OxideJS 约 5–10×。 +- **V8** 两平台均 ≈ 35 ms (鲲鹏) / 104 ms (Intel)。 + +#### 4.4.5 压力测试 (双平台对比) + +8 项压力测试 (array / call / code_forge / coercion / gc / ic_cache / property / string): + +| 平台 | 图表 | +|------|------| +| 鲲鹏 920 (ARM64) | ![压测-鲲鹏](benchmark/internal/results/chart_stress_kunpeng.png) | +| Intel Xeon 8259CL (x86_64) | ![压测-Intel](benchmark/internal/results/chart_stress_8259cl.png) | + +关键观察: + +- **code_forge / ic_cache / property**: OxideJS 凭借 Kernel 共享 bytecode cache + IC 缓存, 显著快于 QuickJS / BOA (鲲鹏: code_forge OxideJS 2.4 ms vs QuickJS 37.1 ms vs BOA 127.6 ms)。 +- **gc / array / string**: OxideJS 在重 GC 场景下慢于 QuickJS (Tracing GC 暂未对短命对象做 generational 优化), 这是 v1.1 的优化方向。 +- **call**: OxideJS ≈ 2.5–3.4 ms, 介于 QuickJS (≈ 1.2–2.0 ms) 与 BOA (≈ 12–20 ms) 之间。 + +### 4.6 测试命令 + +我们提供现成的测试脚本 ```bash -# 正确性测试 (全量，约 1 小时) -cargo run --release -p oxide_test262 -- --supervise "tests/test262/test" "" +# 测试前构建环境 +bash benchmark/build.sh -# 代表性桶测试 (约 5 分钟) -cargo run --release -p oxide_test262 -- "tests/test262/test" "language/expressions/class" - -# 性能基准测试 +# benchmark python3 benchmark/run_benchmark.py - -# 启动速度测试 (20 次取平均) -for i in {1..20}; do time cargo run --release -- eval "1;"; done - -# 内存占用测试 -cargo run --release -- run tests/stress/array.js & -PID=$!; while kill -0 $PID 2>/dev/null; do ps -p $PID -o rss=; sleep 0.1; done ``` --- -[TODO] 研发过程遇到的问题和解决方法 +## 五、研发过程遇到的问题和解决方法 -[TODO] AI 使用情况说明 +### Compiler counter / emitter 指令计数漂移 + +#### 现象 + +OxideJS 编译器采用 **两遍编译 (counter pass + emitter pass)**: 第一遍 `counter` 仅遍历 AST 计算每个跳转 / 循环 / try-catch 边界的 *预计 PC*, 不实际写入字节码; 第二遍 `emitter` 才生成定宽指令。这种结构本来用于一次性预分配跳转表、减少回填, 但要求 **两遍对同一段 AST 必须发出严格相同数量的指令**。 + +在功能开发和特性实现阶段, 我们持续观察到 test262 上以下高频失败模式: + +- `language/expressions/class` 桶大量超时, 子进程被 `--supervise` watchdog kill。 +- 解构参数 / `??` / 复合赋值 / 私有方法 / 计算键 (`class { [computed]() {} }`) 等含 *条件跳转* 的语法点反复出现死循环。 +- 单步执行 `oxide_cli compile -e "..."` 与 `oxide_cli run` 出现 PC 落在指令字段中间字节的诡异错误。 + +#### 根因 + +通过对 commit `6d52c46`, `242e94a`, `6a77742` 三处 fix 的 diff 比较, 我们识别出有 **9 个具体语法点** 上 counter 与 emitter 发出的指令条数不一致。例如: + +- 派生类构造器 (`class B extends A { constructor() { ... } }`) 字段注入位置, counter 漏数了 1 条 `LOAD_CONST`; +- `?? =` 复合赋值, counter 把短路分支算成 2 条, 但 emitter 实际生成 3 条; +- `for (var x of arr)` 的 var-init 无初始值时, counter 跳过, emitter 仍发了 1 条 `LOAD_UNDEFINED`。 + +每个漂移点导致 `projected_pc` 与真实 PC 偏差 1–N 条指令。该偏差被写入跳转目标后, 跳转指令落到下一条指令的中间字节, 解码出错误 opcode → 通常误命中 `JMP_IF_FALSE` 跳回, 形成死循环。 + +#### 解决思路 + +1. **在 `Vm.dispatch_loop` 增加 debug-only `projected_pc` 断言**: 每条 emit 指令时同步检查 counter 预测的 PC 与实际写入的 PC 是否一致, 不一致直接 panic 并打印 AST 节点路径。 +2. **在 `crates/oxide_compiler/tests/compiler_alignment_*_tests.rs` 添加 90+ 条对齐回归测试**: 每个语法点用 `compile_and_diff_counts(src)` 直接对比两遍输出的指令数量, 防止未来语法扩展时再次漂移。 +3. **逐点对齐 9 个漂移位置** (C1–C5, D1, S2, E1–E2): 修复方法主要分两类 — counter 加 1 条计数, 或 emitter 删 1 条冗余指令, 取决于哪种更接近 ES 规范的语义。 + +修复后，oxidejs 增加了 4000–6000 个测试通过, 是整个项目最关键的修复之一。 + +--- + +## 六、AI 使用情况说明 + +我们主要在部分非核心代码(如 benchmark 脚本)编写和功能测试使用 AI 以降低工作量，经由人工审核和review后提交, 核心功能代码均为人工代码。此外, AI 在非代码方面的使用，主要用于 commit message 编写与文档语言润色。 + +--- + +## 七、未来计划 + +1. **提升国产平台的优化**: 针对鲲鹏 / 飞腾 / 龙芯 等国产平台进行专门优化，让 OxideJS 更适合国产平台。 +2. **打磨内存分配算法**: 让内存占用更稳定、更少, 把 JSON Parse 等工作负载的峰值 RSS 进一步压缩。 +3. **继续提升 test262 pass 率**: 目标 85% 以上, 重点补齐 ES2023+ 不可变数组方法、Proxy / Reflect 语义、枚举顺序边角。 +4. **针对 AI Agent 环境进行优化**: 让 OxideJS 在 Vibe Coding 工作流下比其他引擎更方便好用。 --- diff --git a/设计方案文档.pdf b/设计方案文档.pdf new file mode 100644 index 0000000..5bccb44 --- /dev/null +++ b/设计方案文档.pdf @@ -0,0 +1,24838 @@ +%PDF-1.4 +% +1 0 obj +< +/Creator (Mozilla/5.0 \(Windows NT 10.0; Win64; x64\) AppleWebKit/537.36 \(KHTML, like Gecko\) HeadlessChrome/149.0.0.0 Safari/537.36) +/Producer (Skia/PDF m149) +/CreationDate (D:20260630040149+00'00') +/ModDate (D:20260630040149+00'00')>> +endobj +3 0 obj +<> +endobj +5 0 obj +<> +/Extend [true true] +/Coords [72 177.358 106.376999 193.049] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +6 0 obj +<> +endobj +7 0 obj +<> +/Extend [true true] +/Coords [106.945 149.335999 141.320999 165.026993] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +8 0 obj +<> +/Extend [true true] +/Coords [141.889999 121.314003 176.26601 137.005005] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +9 0 obj +<> +/Extend [true true] +/Coords [176.834 93.292198 211.211 108.984001] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +10 0 obj +<> +/Extend [true true] +/Coords [211.77901 65.270401 246.15601 80.9618] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +11 0 obj +<> +/Extend [true true] +/Coords [176.834 141.826996 211.211 157.518997] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +12 0 obj +<> +/Extend [true true] +/Coords [176.834 190.36301 211.211 206.054] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +13 0 obj +<> +/Extend [true true] +/Coords [72 322.96301 106.376999 338.65399] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +14 0 obj +<> +/Extend [true true] +/Coords [176.834 238.89799 211.211 254.589] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +15 0 obj +<> +/Extend [true true] +/Coords [106.945 343.47601 141.320999 359.168] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +16 0 obj +<> +/Extend [true true] +/Coords [141.889999 315.45499 176.26601 331.146] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +17 0 obj +<> +/Extend [true true] +/Coords [290.405 67.021797 330.13501 134.703003] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +18 0 obj +<> +/Extend [true true] +/Coords [325.35001 95.043602 365.07999 162.723999] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +19 0 obj +<> +/Extend [true true] +/Coords [360.29401 123.065002 400.02499 190.746] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +20 0 obj +<> +/Extend [true true] +/Coords [395.23901 151.087006 434.96899 218.76801] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +21 0 obj +<> +/Extend [true true] +/Coords [255.46001 87.535202 295.19 155.216003] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +22 0 obj +<> +/Extend [true true] +/Coords [290.405 164.091995 330.13501 231.77299] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +23 0 obj +<> +/Extend [true true] +/Coords [325.35001 192.114 365.07999 259.79501] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +24 0 obj +<> +/Extend [true true] +/Coords [360.29401 220.136 400.02499 287.81699] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +25 0 obj +<> +/Extend [true true] +/Coords [395.23901 296.69299 434.96899 364.37399] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +26 0 obj +<> +/Extend [true true] +/Coords [255.46001 233.14101 295.19 300.82199] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +27 0 obj +<> +/Extend [true true] +/Coords [290.405 261.16199 330.13501 328.84299] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +28 0 obj +<> +/Extend [true true] +/Coords [325.35001 289.18399 365.07999 356.86499] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +29 0 obj +<> +/Extend [true true] +/Coords [360.29401 317.20599 400.02499 384.88699] +/ShadingType 2 +/ColorSpace /DeviceRGB>>>> +endobj +32 0 obj +<> stream +x\[d7n~?<X/%&؍suT;J:tW==K0w$(}$KbwcFfy|~=DL?eqi Ʊ6>=>m@¤;DJ7|ݿݖehrɻ{Afy&;Ty}a{w|/+j]~>| P?}MMs;zھ?& +T F/ DHré!/>֯ 04+m}A!pCdBLaGH1ruj.]_HqK_XM==Mop$i=c]})Ҥ:!uiF}Alq(>֡YDC1 4ƨ݊ 0çצ94gRP4ɻig2)+Mbnڐ^6udJm^>|uiK! SH0݂@ A)X8ζ}>/qϏ?w;J#! f3iK +PvJ9%1a)EH;eL>㖸̄d_{;l>ʣ7&j?β1"~2Ɲ,ŴHJ $+Kc (TڛplKd|W;6. Ho,ekR7U_^N4O}" Qwb@H"da3)f0"`Hq'TPm"2 )Qi!@LܸY#H$vbŰ$ $jrĢe {iFP l_M;Hy 1-kOiǷ,O#Kی+B +yQ#8{?'Ts=PѢĠ3b$AlЏDI<`$ frG_D{}/[/WEduټ#0'g} )07PM?Tp坒B2!0#1[? !a?4JR6EηuC :'R a8A̸dpxRNRpv <|Vo&x_\X 4y+d]4BQ[SӆL&0fφ):f vaQ^ K[C1HQ!'?8D r t;!LgfUt[U_ S]TB( ;-ʙ!K!Abŭ( +5 +KfHib%:ggE$i{Ƶw5RgW 4\X,-LK>Xrn;TPRGi/\sd{6 WLY^rl8dعLHy&UL"Zj/ na^rÁE +ƧM@}\ԂUS)ApG Br[-ijMkܣL_7QN8Obz+jQ9:J<_7V&vL^APj#`PEΕkـPʰ|Icy +%&XcnueU9M H=|Vߎu?DfɈ!|sEIr +Ѩ'P:d> >_j3_;Bc eϑ閄yܔ|ܜ;ؔ;DnO3eALF^s%ۑK=-ؑqHb>S竾Zz#ʞșRFA)- %# ?Md [khŀr[óDcAX$ĿSӃ;yJܽez,»|>*U_ ӻ9^Fgr*.G< P +93C.L,\7ɘ*=kƸ)V +yTW >KĜʦ<ZfB9+]cy7٫E}scL"3a&lkR(^X,o]h-C0+Ϸbjzx/}rWw#:ػ\4+%e>vY7!3/뗾}n/++-v7 [›ۄQ?D?uaPohT PF 7|onyS2ȱ>qVRn5E {7QYF&{/s +endstream +endobj +40 0 obj +<> stream +x][-q~߿#*FZW'RlOlGlj'c)??o@G _mЅ`;d* ?7gyU~|3,9CVt/?}K7ޮ_߾{:S__S0 :U{|}_2@0P營~/7y2{k" L/# &ؠ 8Q&>o~?<|?>ۛ:@ ` GrzUt{q &iDs[/4 =J!ͣ (2q۲y0UN٩QBJQ\(ׯ^Hau\ ^Fh2Y{S{۫υǭg鷿$C8 qLTM".~4"FY~YZ`*V[(EF|,?k'M#i&X/~4oim?k'*״(Қx8iM~ӛ2/4Z[Zhme,<`'MbrO;fg. +@:_3ܛ}/ +G촸ʲ\kÆmЂg #UχwkAk^CNVE2ZǡD1Dъnʿ*r*"^k]I@ {q~Ցi(؏e*G9=D'GF8';{#$&#[C祬ި/~&7*X_|wO_?_Sq~!AMX0ޱ2^c*JӼjષ78?x\MNpn& +t echfӆ'wjGG4yqNN^mjG/ڡv]ڲW4Po@vUϴ~_OvӲh! bMCT# + sqv T4]c U@֪31rD )MkŦ.^XزHp3XCh5 >zkt-Iз[{yYՀOu 7X `\1]5 5~YׄkSO}ױl|>Jܐ3$<3?F%0v C.IBq4(V 1Ǒ[ +e2Ojf#XKjVYn +](L<㸜xɳiI\4TE>'~% +p~5UylWYjTY+]C0bbWwvuc +׎2곷G +N:x푟h=OZ~X"zv b= =FjGKryΕ.?gc0cRO/}+N|FݵS@iSagZk-ɚoER̼MM(auJ(kN6ݞ %vCL85sj G)*8҂*c#I-U6Z`TCjhXh[03aQoA`k'f[E9.ğcES9\uK(E7r*PTEPTEPT EZP4ZTcMn*ԂygR LNm(9܀)Pt2?y(p\r'˗z̹?r.^՟Ǭ^ìSg0+m)[<{{09@uMc VSo2_;{ٮ0ہX> x{|-!&쉅5!&5쉥5쉥-k3 l`OVD*ۂ~: 2?șOx! *H3 ?+2`t CCA#Η]R_= akX\XXX؀==#|j7gM5`OYa{&I)g"b%SrP1{].s`=jHgGe;tN 8yCt|V-/d +~i4oAohvjT{}Y^~ k/5FSצ/ =xoD@CBjBAѸI l1$P$P$P$P$P$P$P        L˃YۃPh H,aa5``a`R Ԅ 4`m`5aBYaJmjjjUp&|o~{]D'nB& =G,>X ABx1vQR7%WN;+>uvQOJrp;xzR/Ή cǫQ!IIaYU={^M0ޯS#sx%Q;q[:%]%7PR%PR|3+9_%EPR%EZPR %EZPR$[(3AMoAPi'U[CU9CUY9X\K()ԀB () %PR((yJ +6"N͈` J[YSJ5` JDirB,)'k@L崤\uLρtJ$z# pFOw[ֈ'쒟 `t @OT[mvVUx &nv->? +F]U8(l [ K5G:7$Ч3,#2`2D+Sx5^dap +p ~#u#F|I\~B] m|zh3[L7zuC>:y3cQ8EN#yi zA]3̖J̖9V9jaX^cXZcfcycX*o0s,1XbfY}BdT~3aOsL0ii_sdX7)+CI:il]ca[ixˀ k,¯̱cq¬f`&7h`湳*:l~ML&kO9yNN˅^NKW'%].s0l띫g$<=>~8~Z Y&b.b +S*W$VjA25 M@N+JvuIngcѓfl&|QA11sza13.Bպu0ډ7.O 箅t<LC{czCsD=tA +s?f{W+NSйn?t_+ leB(d,'o -U#g 51_Us 9O4 ]wLYcļs8)k mOY76QUzrݵZ֮%j&+n]Oۼk/n\ck _#JRQcwp3= +n"Bd1H}1cXxE#r}T9ͤD +g[n %m9`0WAdIk{5Qſ\|n ^&\3T{.oj8\>\=!lA%ֵ3@b,23"Ei%֎^GM1-e䗞 hcÄkEqu8;,3! FH0a"޼rcF2SeA׉Y?r8 =7{bDNv; QԾiD'x`"~KZ/k^ƒU~70Ì̖L*DvDkz`s{nZXcqf +Gߤڶm -Rt-?;O˗g*,lfO,[Rpb҉I{$ͷ} 畗Ȟ!V?UraPQbgBrCZ{ܫz8 쀸2.3`\J]Dx ,}RXJvxaO~F9V([}+wxYn339/9kz^ST +ҮCD%ѱΔ_qWmUMva=o Wͱ(]s̞s `ξ5?F(=kh'<3abjabG7vj$QUb8%5btElڬw6]R0{vAԸmX11?m 04``R%NE=mִ 'kb?9pdZf`xdrT8:ĕ*!vםE ֞5磃uf:s f9BH&g_Ȃ%^LJ*O^ =`<5WD9/}xa=~np:tסUzf&]6q{M:m}oisBΦ6NB<߷C_; {qb\5͈{<u-x鮾WE)ߝ'_Aglq|@`EM/ul@yZy6.VBq/t댍Ă54³~G/撝oٔݍz|0M_^zu^!c /XwZIHkrrZc +쇚,@`cUw!g(~@S$ /سaOG( <K4ω2(7 lC$r]=C;o E(Cd>{OVKF󜷮R@ܑ~:qj!~΃f_˘KB \QU*%G?pfb`ŞBC|M' ؕ-j]=.{Gt-Ob[]qq6 &N&.K h7߉+̐}%b㸣0d2/g+j;,^.ݕC +GDC5|(Rsls] w9 wv4~%A` |s fJGvͿi{l3ĂB9X,K>{:qG/  րF&P+n'K1q}Ł5y]9•̼r5W`Q"?w3CVBBS5^ݫ%OL&Ճ!hţM' hzg3Q%_UB(o½xj]Bԋ_j8- +endstream +endobj +44 0 obj +<> +endobj +45 0 obj +<> stream +x=َ$ljQuY; Ӏgs`={BW2YʊV?4*ɐ("EQPAr~: ƒnx}ů?oR qZZ7aͻpߛۏw[@h}y> Q(o@:;|y67Q @KDwNC3|i? &kȏNR6JK + Hpr?ÇtrЃҡ?o7 ;NZw_~<|y?퇯_x: f5(GfϪR@J$660(.@#QBZ&A@N5JHA rd#},m-R&AwHhk/F7P A7Ff(9gu2,014~m4@I DnZ2I˜ьuc +I#L!$yX + iD^W 0J*N()ӦڅkH91@*4@̑#ĠjL[m2YJꤲC%MG>TnkBTIECARc7~~T}cCcUoWrlgG~^q^(vFYVVVIQ?ݎzu[8-l].)BBqvZH2 +$A;2$Fim0d BN 4 J  ZxOyP7JJ CF +ݻbHH=o2Vh'mneRUI"Ib6Sye\Ph,z)l0.PܠpPc 2V(&X(]6ACxң**f[|OM{?ƍj.U0ۜ eԝ P2QexVC~AЎG 2/ sૅQRh6,@ϺkOkG6s#R&J؁LcY]M5niqxZuv_}ڝs"O =;c%"Wɮp(G:3,0+3*̤,9c֛z˰y^JR!p#ow+& !~ A{)6="ITD, j:(,('0~u +g2!{v-cTY>!m > AO~+s Y 4i׍ۣԿch|y5E jΈ[^zW,;ݭ-0|1KN:t0#xO"%'0r]`XJ[hXQ0A2/ygO1OB9q "e/Tn¨wucwڵ4|"=!*֡Ծ qQa*>l 5DOBWu +̏LAQݲn|dޤ MV.oۇ<\;f\;x 7G]RLUA<GC7"xsE qeJlrFJ I;Jjl1 qиoc= 9理LO#` #:#֎yy9,BUuFq&hJ8-4RA;#! 74[ĖC3v6%CT%3j{TsYbi\j?"^bE=舎|9N4@C㱁H_$daS +m0b0c@Yʸ ɭSP3Wb-Y"[U5ybeVyYiUܜ[_fe9[fWޛV"QLs1#6v-7R[0JXQXrFqHmioi~=EoܽlHh4:u/ƷF+z+"\{Zj1p $k;B\P1aE!Lʅ 0֡f}MN> 0z+?[nq <ܪVjC[+zfui.Cn?V[W1ncrlP8 {Md/N=6鈎dyN4.8i +49yAzbK\IVakU$I6 7lG9y9,AUuF4dי%>lh.e3&^Q]oύf%fk OC3UN|4oI2?ONHV0WN{瘥 RQX`7l[wto蘪s ?z !<[kQ{#fF3NΗј뼦e܅/% 3dZfX\[< +OOOe'V5:زyK5i\s< v<< 箤e4`fZYoK’{";\n KN,V:W\M*pW/J\;YlK<(3Y~SgiX'mBTqC""x' upJaF{7vs&$o6 ^_EEћlU'΍"9ᶊgT=nho_7-7d{ZQ-l]ղ[յlY'k^8qvD?4p!~Pd~h`yUFѸ"zOi/+y>x|Q>`ɈUm3'bCe!g)4.d~b6Oc NnC?K_\8F"3)͋s;?0o]b`|[fEq{># it2LDxe#:74:N6QxS'R݋s`Ο]s` x{4ƅ\ܭWqT6}܈|'n1 4n=!2u ?ß)nNd F /:n6=Ԧt1 +a?!<G/ᶭ,zܝA)?ҰYgrpv}%sCB*tr|%}T1ZyԹ` +z-h0*I(v+(Ż5(BY/L<9@[F[F +m|77pA0c?1 aLΡcᥭG01>vGGgIB'ix:jn6w ,X]dNd1#48+Fw9DW8{>}}i|DSAq>舎9:NhQ-z[cAu舎XI97Vlq4GiF6WF9mGtDGz Mr2w-4=|c [բEh'M/%oW w="5k,wA> 1˞Є4YcAr .>z̲?f50 !<}V HQ]~t5[4"U\Ls† C>s\^sn3R7wٜ{nN(nϧS/A?fatYv jDž,!>k-s#7'X>48*0SO.jr^X/Y?[/4gò~n ..Bv,גgٲ{M ~lhuUG~⫋Y?̆ .s\F͹ͩfly1.%/J :G{a(H{1~v/3=Y)綢e/I<`E ,ѯbEZzG|ꍈ@^+ƈGzwqI1p`gl&0Kr[*V$Cd{׾G?> @9 , HlUȍL_X6pk^},eďu?[-sHVIv%ai>I% QzgW}S\U+yߪqPFHno*r=!oE =wl֟}snEN^ňP i 7Dr1܈E-@ ) F9Kha݈H)s ቐYyx|OStQn[74πٿ5<ȭ1p4تo#x,*ϛscGe,??̀i>$]xQ/[,g +t} 60NnIذX/7acQW|K Zp +̻Y4#\: tŸs15PbC?Mp \ _Yk:h-0/@[;<bc~C[Y#9BWN8D@ +>RsXo$޽nLBd`"w|&~i3s`K*ۭqge4ۆ~`\p݂1*b( IU}Q&~5+fftJ<ўr73qG[DY.z 0T7\j@O!$;&)Wۗyj6jpgE ju-^(%57{Bd8#%ץ`UkdzFu- |b6"d0kۚ^aQOmEeF QB?8 Puc~OF6i挂ʁ[+|(܏(nwKð{J@TCD۸,-'iy!>)w6 c;tԽ?.9A5 +㌥jNMi,7 `'#砗Mе2LKyS˙ rz +b G>r\2 A )O2ClisAtsd/x9,{4g!|P^n_<_k;m!D1EǮa{:s Des{:G8/]nu Ӵ,)f@OXZ|4LV`ƄwxoH`Hl0G$!> stream +x}[-m{z>@jD])`0@_V;8> q=N8$EU]kuۙdffUIM%}"Y[▿Y͟aP+.~O|W55j9~?ӷ^C\ K_XB qeÏ~Zo_S]CIw)+ +?Z؆O[&)2׸5e3 .` >%%ODQԈeCB;q+^in~_3&PʂqH4hXGCDWL]>h?~mP ,KqQ-"ĸ75ڻF*eJJԻL>KvX( rLV [haClK]S^N[ Aۻ;m'mpylۍs{ ُs{oۍs{nۏ0;QzgND3ͯP|Z!/k"!9a6to[rtK\|&i +Rk[ѴoŠB\Kam:PV"Ă.ȁi~XPCMA Hag1LDP~$|XJX3T +](R Q< +`NЈ#3nCh/CնSWLP#MuɌjw`W,K qMlp sW1d7Օ PLiLF((l/Fk.2ݍEa{1IbErq:"/ŦшbC|XEZZjc: F72x:ѐߚB6n,pYCe?sAls,qͩ+Ek.{6,]?~wo~zy}E?-?\"-qʪWk:Z k-植9g51/#k,8s!^BYcr\k0'^BZ9:.@~/\-IpuM +I՗M/٠ 5xkG 5Wꇸ^QOL;MRSZ>_9tw]D+ս; +sy.[q΅+&Ϟ8vnay{QfX˽L>F~7 +a"ыq);/ߩzO"ԈQWcZFF~:/Fw "ƀBBo$DWh33 .>!ȫ-o_A'#i',H!Ȉ ?" DC$D7c2#a#dҋ1u0VyW7TzEodYd[NO в K2MYY5^O,Vٯp=Z +xQ+VVOg4G46ZVllE~=XC;hֲFuVkՃik*'*FQCT3CUݗ4ïb$tGiMqfB(ޟ2h=J\of#ل oc\kuz"yoN/y|>w݊] bZ۔bMmJH9x2Fc&3-I'.$"B5˦ga}fl!jx!Zɥ s`([ E2 wWKkvƤc*WP*sN+ǡ!|~F!fg&5`fZ؀;) m}MO6f뇋?J8vU•p-k׹9u|7"7 FWR(%WZ{u~eg(G&|4CpGڇU? +zi BbEPv9 rGʀ3VQ6d[d0!)YbV-̀0L8D N~OoCy`~  f\Dа6;Dd FvDlRiDiz j~{wbζY<7(:h"(BoBdJQLyatQNUN*\JcXpƠwZq*/֮T>ST֧ĭnk"o>|/4j'U9dUġ iOmoӀ'q:3Suj%89 +rB2`V~;ƠblI6_'wٴG4¦g2 1+tx!Z;8lagRزɑhd뼢HhS v*$ZsW@mw{$_ s2DcQY(9 .6 ܠ!o$:D>7`Ӈe0ɚg mlMRhMbm|l :кאuDՋuX՟qUVCqk5ވjA6 ߪ킾Lֳ!c+ X_i-HACc?tCw@uW+Bmi jO!Jaw_ˊ|_#nlA)80Yʈ#5NM&r4C/nW=|zkK]ƎxS5`A8 .E.pX5 azUphº!mX7p &>BMCX7aҵn"w>6(mdx|fuCȻqyvLı&љΆv6.=݅h⬍MDv׌*D&\6pԶWWoZ>{HF"Npk(F-l5vArڄ;uAmL۠>w>D& u!oMԱʦ5/tsP7Ys_!cCT_G"lH*LDtkyV9gBP!#\;'5JˬɅ!_ئM*+;|h'efÛvOV!(8;s873', jhSu, " xOc'^Zk|fO8yr}r^ *#=+QTad]%]yfblY6 (#&WR-[I? /w k@ĦoCs_220` :ty33#tkM y}tۮZ&x϶VWJFC|ZBg:3qM*fW++zEIiy@Yc$7{PN8:1r?i?:L@$Fڡ=H~8'L`$T !6^hA0Ɇ^)FQC@2ށi&i΢\CL@T| D#P,-OLRb-@oJT\|nF +X ᔨ:L2VTLi-T'J ?9ޙ)7gf?u؏ҳEys FwZ*&2Tk ma9!`AcXgk:Fkʊ~!px랪wg \ :g D4 ԷB2X"PjK4DZՖgQCy$v%0 +!4cN^J!&c`W9Dc]FaZpX\z`hf)Ԣ eHybdĎQBLЋ4Ũ'pbuk2\Ѧfz5"m՚pcZܸDu!r닪볪D_ ' i򇶼9 +R C+Bۉܐo܁8*w6 CHu7x*qk섶9+"E8@cc5P$9t` +: Lk~*Y +/nǞT׷% S]߃K4eTDL-c:NV@BQ +HUGԩKlN}/_9y6I}LJ PPJ;fB%FDl99}`Dk;z)%*Q[>P +1QM!fO&D!?k`~ǝE`kԲ]eY[e(1vdV@YAf%^{(MM^mq[k+emX[;hָF u\k؃m* **HTCT9KUݟv*IS!Bu}Xrv +IƳ^DҶ%5l:`cgpB}؊HU{hr*."U}mTD;^J8lX #z.)1&Q,D>DB0TH4ڗI"bpǴZCwL5tpg Ɔ~u5vlLjVAʈ+H+HOcTXSvRs4&$؎ PkݚӚc }pn]zJFUZUw<wj2b;eݒt{u$4N +htbzxz"͆z2#nc`l0 {YP̶ +/O3\4"9dr6hKqxyyښ!PgM8ck'hʑ3֖%/Va?#W?m;cQӚ̔6*"MpX.a蚼uJ b9^*`SL:ZL;LA(_5~LCp2ħ23p𼫶uä}uulc, .ͤPEA'ϱ@lBoW3YƥJβ.w_H%oK< pE +De_EqT :ByAI zd'?'oa]IF!RaM Sft uqgqp[Agp KLF _Tj@4Wyo0=Do[{NmMRkO\>+gՓ\{RՁII}V=kY}l k"z$mКc}nCdHi]mHdO3T(tyB3''OuIWѵ48T08e n|e '|et*4HxG]Pn+pEr,/c{Xr,o3Gu ?gҧLp^#GDl}`Dk)&VP־҅G#f:&uZU<){'car,L׀= Xf@Kga0-a Z;Hjϱ01Z;\;5vڌ6hktmPiU=ض.N5DnOuc}Tuؽ 6%d]qq˚O4Ip$B  K%yi/)ٿX_9&7;ا~CN74¡dzGrFϴ>/HyҹADg;& n >DtYowVƇ{h _xأc0b$-gCW ђQ_;R+N0Ai)1¨aF>}b8V7ð nԖ[aV iCF-u3@f茒n1 +jlo Rj W&>Xdd}FEޅ[?TXU5mɡrv[+!ڭlI?۳L dƭ7l4OL:%3dF8̘p<|xbmRD05e3&LDw{A?h/x#_G'I/x)9=-,~asi%j%8J틳2 }5BH`LݟpL7VVIhZ +mlE}-]J" Ax;¦1)wYHC". Q,b>t5fqt䴽!=͎jpj˞鰶zU3#ћXǻ1ƫ9c" ֜Fۼ܊-1`N"e,]rsF4>G5pD۟m ˿U_ɻdڡzôvHTJ5C) 7<3 DsQ@#"j6F!viL&0qApIL%V:F @v_ Lsц)R31l@Zn#VXhA(#M6QGI Qמ/h;kso4VYk][QZUvέO4 [ YUEwW5b&}eLėh!JN}לbFi/jNňvL!/ڤ[Fv$W NA"^ _u@F]hNg;XB^7/>2ӑ˯LGV#_Pf}ı; 2QU̶aYڞ(y4էii~=_O ӯ'z]w@z7;u8eb_lNűۖj;^ѿ+"ͯj|y8~¢wIK;%+{N]-%%ϿK5h6uLJ(9tXNd?g+99)97wش%:Ro<6ttKg R.77o/W@;ݻ 깖hvL:'C:l@a4߅Ǘ?7r Ā燶ت\G?&Z&WvM?NM0)&&9(_{;omMGY܄oűI(>#ѕbx| E^>TK%s tEW~/X38DZItRleM-{ !ܘg#Ͽ>e-9p-t4 ;X(\ns#<wե }W2_`X-WP9Z{J<^qv2V*+bp)יH^4#p#pM*cZxG +pZq@~Xufy3.7ϸӽ+:tx)`96T\}D +Bj -}{qKxu|OÍ݁].GA$1e")KMm n3 O7iluk=抅)t;R[+Qv)0 +͕|߰?5*d +endstream +endobj +49 0 obj +<> stream +x=]$+9@>33Fs86qInTtg%( Rlg?`"ϻ_vd%jh3DDaCoc?>|Cݏ~@BЇ".lw}~!%ҡ1@w#J]*My י,9Noiӧ;Lv{RX/0"th@نs9 +ybWH(&Q r_{O +M YδD&בAbGüs=Ȱ*!_zb{X?wN? `֜!gtԻTЉ3pI 1'hdoHaHTko%a1F$`RD\>"0(vS3JO3;_^FĞ%zg0)CE&fb{!PIcd+|nR鷓 +MmNVSr社x&EG>ME̙89ͱl3I~/MRh"K@<)C]0!h;ti·pXJ}!,$Fﲉ09 y!3hQaO KFJ׭;1@ xk4F#vז E@Eb7ygZALBFÙSF.ȯzsuHR՟Jc+#<ЖqY]ү^0i{ᣓ˟fN|Al4|'k3@'kMT2Mu׮+[ͳ +5NQnzq!QnطC1a&X` hoZ6R"Mq)iaU^4] _ +quh4'VyCQz֯γ[Q)mn^[lθؠEgT4~Sy9ۗlӘ2+>7K54L͏&F*`}ՋH_բVgu= |j:Z͑+ZzwjK*%|Iw/6cVjI.fL\@嶪75=V>nɦe% (oQ7k ;[06F[q%z| g/X<ް&.ݰ®^H[^=v%GJFx[`Y[hnJݔӸUٵ&FDevZ +W #^:@|/DW-4. NZhYFh4.;xq]!c6\6Ǖ77{  +oH_Q!F"}V 7wpHn΀Aȳ֑{M$4aŘoRk̦-܌z%jPk}F1s5HnոukUXiꗫFh_9'*r1!~?;&h4N ]@qw풥hA\k4Fͽ,[л{).<]}bCZ[=C>DT#;|&=GZTD= m܀`b%tN}z>({z V?"JE~"^- Շ^Ԃ=*+_jx#1J׻b` {ǃވ|? V q~Fh\wp* PwLzSZFݮC ^e=IyEg~rۀ^?P8LBMUSԛR*'l4:\y[>scR4?\ıJG 1Տ1l/@UbbQx71ШT^=|}OO`00FXȐ۳1! C{ OJ =~?ۼ5Sdȋ#Ɖ<ƹ$8/^5BeѸ˛`x zzZ?9tmwwUwJ!quh4K?kW҅hKA\k4F㢽xrIȲ7~xAyXʊ8"(,;0p)qa`?ct=kwnݡSZ;~|޿hH3lC$n8p{X055xK#D/Үf_XW[!quFiN8eC4DC/+BOF5DC4" 9QSURC-hէr+x~*C߅Jk:ݡ `ŚFx\̊;]OխWt!.qeujFh\~Mg;= q)~Fh\wpb7?U>2fzMj` b%ݝW,\ߥcu^Uk/f\>z'5Ѫ՞=S|{NkwJ%ӲE=֪UV+hW3Y2cSzqvOyeKj,9(.TWo(MWyUONU}ԊŅX5{,FC4DCAh4l?kpF`~~V q]wh4{񦅬¢bz3E<ȨE־5gNhvhQ6FJ};N NRԑS-49ظlЂz{}lTii VX{1-ZW3 j:`<^ʐ,_ty}soKwl:vIcM|zv5r/bf" /#[Chh\w!ϸI{&|[m _ yFh\wp!7%O=,^kÊζ0{Vj6|WSzlpyyFh|E) !mmy=~ [VUrPc֫GޠyFh\wv!:D;h45{q!!wh4yqCAh4W8l;-ji6O-/P8ЮHZmV]8'. +}pOWYk݀a#Fbt6dġW֠OxmtoȝƤн;;\~XC$zň)µ)!Z-Q9ze:q8 #HO1<:V9~ "7 /#ZQch4;z%z`TZQah(\T"B;h4= _wW)nX~UU{r5KW6/ hAh4_wp"wp^W;h4F㚽8qsߢ̬ 8*{ZWSZ`NڄkZuеnE9>aݞ&pjU>DLdh4oBǷ|v!:D;Nh4ƅ k)!yFh\w!1g?|k`߷U:N~LHx$= Av&PNyQQ}鉫<vp,i~r +ߜ0o`6Z21P%^H?)XҔ?LSiv1Ռb,EO/'iV3}O6.91۱Ok0zu~3{0@ӕuč,.+BehD;J> SQ:ȿkEjtqۉ&D f[4DID0#DO+C:kc`93nc\JHq7CJu7kDҠ XZu󰻺l }2(?bfSJ_a7cycJ(AͥF<@%,J'g3iZߥN}8̹ϊs 4x>zq&e/a>~_ t:T~Q[xy`'03)%j,Q0?zPBr߿㇛ߺZOݧO]gJ'4,h&J.1+81*kCk  #Qp4#qi^ &=5<1ϕQZ&0 ˷ZOa@( @+mg*1R c^8$H+Ĉ%Z/ 8 !sƓ1Kc.2CQsd!,tfSl_ѕh 8)Z\8hbG *}1Z ))QByX1J#J@]r"RLzzёf?^.ۏ Fܰ9՚K0-fEIGזq &{}8"cH`1g<7s,ɔh`,RǔճXD]pW>iWZ8As a{8Mǔi00/$hm8FL;S>wBĮ`XKϱHQmPQx'++OW8<^qt2DxщSG'+ʈvC;Xձauao8SG1uddKAtg+.g$W$ b^pd6+h|MJ[WP^+ۘ3J({M{Y.GcLg\\5g@g!~`xG9 +)l,.؅f*ؠͬ#8 !tm\~E\gbKC`GAF劽rsOiGdr>*eنô&XrCiL]RH%C9_&7D + $b%?$0,DTtK0LR }%? +8DݐٍHdXGTZVO䑔_>XU3,;RK䍸c g^? 5A٦€) <`49"T $E.~տ8ugapk^z(p=Qǝ +O!8I}řex({YRpӮօᗵ 5RpbPj]π=LXϩDSA|u&:8T^YGop[im?HKQEI~|O &X'v2?{UO.y\?}b ,$J˄=̅{@E ݹĕ, 4 6%qbU%XhF9)0:P1+:j, 4u<ɟ?yB{ F6:1*9-60 [Rx`)tpt0-n٠hذ`o=*[L9уt[!~1OM1*F +ui?(LJ1.}w|)- @2[]C1mIEx?&t?ndq稧MMY탉̖" <˖@q['~*sZ +E5bBpیF-FDkNAx@ʅL +plBX2Ix,l)[]յ6V~PUvLs-+U0nL*˦hL- +Uѕ_`95.%hH$+hN+32JŌ$b +4/3\`:}qVRGJ!`1%aXHtO,X!WĒ5!Œ^W,U3C_KO4ObIXKt|dr,i%*qľ`+E.B}aJտb`ND٨q+j>bn36SZz]+fU_OZZMVj}՚7a.Oc~`J=7 Hfl z^Td p9=;/h";>QJlNˑxN9f?vI\wq?s:EW..Drb$2#!y3$cXoiF6LЙ.8b8871zd +۱䏄+ĒgmRFc@Գ9@W7PR5q<[X)pK=p!?SqG ]H̍ÌXQ(*a1.FaЉ᷵-J6qd`jF]O?XO4dSA>sVfJJ5#ω/k< Y^Ve9zqasȽ{07## +endstream +endobj +51 0 obj +<> stream +x}َ-9n{~E< X%Znnt[mI-ԉP'˷YuORZqXnvLR~@.S+mq3ަ?ỿw7@N Æ+1 lNۏ?=|=gB1l\\@Ƹw?)BӖ@?Wh t7lc!ܾ&ٜ CIg\> +!l`KL! ~9%D@Dܜ)Dih[L74}DWa)F>?h+4\64 }*l_h b2K3a рsLlz!H$C lЍ. +xE?!_!k+-I3ԮD bM-($$,'+seHvsdNzqSDdX)LGH~yPџUTFW\穸GZ"%7JΕ,v(Tuh+Hځ!`S6`۾0j&Mr԰M`$ D%X MHŔ7Ϡ`>lyZ] \YĀ0w P1/&b2>4-leZ):ate@ԻE\:#,47LYz+qtqe + yJ,;1(^ѭN'$nmX 2kѺK<4!iC&&!@//(ih6(sњ`\Yx+Ej(7gPԀN Mh&NاIg>2"&j%TU&ONႮGb\c"H<3wm3 52rҹy3Ń];0,[ yvC8]ݠOJ92ĨItV^i49/?t-)tiV1tP*CeU֨>nQgkީ*o9Q:G@n.xPOP8.v ~%4 RMqSJK S sb7@` (@r@㭋3>GL.p&{kN!\#D@8t`Rp;8 +'Hۂ5:H>fk_t?G,gm jn@(8f,"r$fJfl#m81ZMxETPyԇ%y05GMM HkGZsHR-mBaG R80CM3WEsD{}b>guJ3Gֹۗ9sz,stςV1 d%[W9+Iwy3}ү`e_uȧ )iy !Y>镏+tia\-ϏhI~i|j[f.ZpJ &B! 'L MBގ׿MŎS}E~חOBoB|ӒY!%F0OxRF + VD)jOJ}İY+?>?ɪ>#)&_T7.'K# &F0]mLH: -%##}F&QT`XT#_J!d+Oc@[[cY`ӫIA6Kۮѓ"a3LN*)ʶ薢XBUIXzpA{RsKPUY_ӶcŚn4jirѯKrwNصޓaTʀ UwR+fgJ`"ӏźʒc}N7a,")q9%S6\J{x)) ciZbaBZOi% Re1糉( >W"Xjtق@c4lJIa _.F%VݝF1VJVa2kЎ`POu?}) W_sA|40>fX |50L^dc( TA`g`'51c!r 2=mPde'\[C^4!f`߹dQ'*ӡ:޾!vvp0<>?-Z^ӵn9ř-^3R8aOmc )8[/V?s>hHca۲e` +͢q99^^M'n!8D@埿`GT"㖉9HDSwߙ# YQu|7\_N|^%nBA&D"LN9SXmNֆ+R|tg%dPwIFc Hz=(=q+Xi L{d`TXSt6i L{de#wi L{`M{ 9Q5\HS#171z{/( +#eqPe6e{ YۧNz4(-EbjP$ yЋG]=22yrBkb1f6%'˜Xad9->dzUrL"Y.yg`V{EB&uVRS938m̼7]}w{~P ޛsNdj^ViS5rB+l&狔~:4ٺھE!mX9+WE HJ{VNJ3k*iYԽtg-d,BEcf&5ǰV*> 7b d_觤'$0n<PR"鄫R *_!`BH mF:v(߁%?]'Icf{tE=6ږgV"jJYE5јDSHH2 eSC#L5 fhOjijCk>l9{,[@CH-UJm6vy9 J0a(\]JRq>f=sPx8a}Ë))Yw s(f6!X~$4mV9U{~hi) +f+3''VZ%b5T؝H%~g7\x,f7>L^otxVjX;6+~uӝ kg3CƍK\򋣙OVñu/ #r .h)beeuLc9$6ZqD~^ߞ:z^י))Rɷ|sY0.&޺c'd); @ jsi fdxjhql/qRawQ2NJ8) |2˵:G"z?NH|IIrɜC{򍼏NT6'r&S:UKÈNvii1:QCTe蜃c $Ce^.rpy9$;!府 q(wL(K.EN"09 'a%%^&p5cf^/tY> g`yikz,gt[=6cp}}. FD4'WޙS;NW7HgyA:|1-(a{כג僿 Iao||bbO t2鯾E QN^5,y?Hч2X=`"݅. waXԕύ21XP)7:aqQWHݪx6O+ӯ=/?W!Gglmh.4p}ف-${E6)D|>\XK#{ߑ k!YV).bP<>F.ٕy41Ǥy/Bʢˆ׼~ZwzObB喛_v}t% Cw\1hJ-V@Ώw>H_+&%=p%;hYV}$hNYtYOPEq_$vHdڢ8?(ǢvC$[ͧ! e! !]!7 +!NT'@D$Kvk`\zȇH\ :A=IuHMCB=NEM^; +tAޣ C|>SzϷU4@M* %eȨ^A? +h($ڀ P6M/ȧQmÆ.hn hmBN/Mћ~|~(E~}yPA@ijHœ}vw2+iQRӑK[Ib'N&70BWvǎzHJg/rHGUSE"ʼr].Sr"Er06a".u{E{E?"A^sI qv9.z Z +ԓtUC=tr:sm?_h55 +B(M!V|{~Vڛ̖8XUbV^_- vӉF3ъE^EQq*sOPnV:UogظF1Z#%B"j ~źN.B!M$pFhU `=/!7u*k]۫?˛_eB\}ez⫼yw~{ۛ}/:N`" +vﺢb +5\8l޲L`)DRQJO"K5{v 1]Qչ>Wݤ.WuSIVwu:*醋mGћS1e+y2su,kO9ܠXT/,/Yy-uf9tb#ɜ6trޜd3i}=2AAգ;*{][r^˵y%8.&ّ:jOOK\,zr)hޥЃvC7۶_ \ʧ(#> B]|vk>MujAٟg܎S9òx jʿ +>D|Px_x_o+{@0>Ζt2dESlFjbTF[3hˆ}ˆ6k \}N }Cd߀ϋ1jAWxeA \q>Y6\Eo%",c!, 4|4ihqP1B;y7rrˮgwI;6jׄT  ?k)j-Y{/tPk-$?|4BՂ7Ւ}W`\2V镟vtz=z 6Bir#3!uo8:-sͶ*oq w9>~h폆j۝;4cgosS6םoRq|4|4 *#a 3= e(UnUs}Y[زT3B~P-Vo]  w?#XwϦq;|4|4\B7glO˖qٴ)"oWM2㯥Pe}\ k8%T-qNp9Չ+?+vW_@z )ЭF+_Rf7Gڍk˒gݨ ɔov;sE8Eut˻L mn^Rg7=yCLƽE J\+qEs%^:A:P*CڻNw"ƣZ\ҿRFDZNXW`"0WeW hz?dRSE2T*QתFHTUINUz0 }\ +^"s<41'-B %E˺\".WD\ҢuH.WdTMBԱ<[%$8r Y"Fۈ >R3pA~Y@XɭZn):zÝ{VwQs.RI CP!/|zu{H +HG[H [H [H 4$R=PyA 1^ Y֏Vn}DܴlzuW) +F֪QEo|Yh;I#u$E]Ghhk +9[+PhVBl%>ED{}>huJ3KֹkwY(`WQx4ß=b^9qМeR ֥]N=< +}}: zCઝ 蝠 +%\[AíCoxpfZ?ZQ!JkӪ-C+ɱbMnmHy[+F w ƥ7Ax.wbvbwA 7ޛțREqE]sIs[ėmnI~2 &(o~&8Pͺ%ح+jOKcP~!*;#c +00߯wX*Tۻ[V~JvEPe[׷; -bX<[U--H]S9+.B)xoU"c= 漥 +e]6&xG&G_rPHw^c$e$wa$d,tprxtgpMEE ,B@)Ħv!Blj"bSiȿ -coU >'UɫM]s#HS@;:5}Ҩv!إܑB ۅ@r K8d L, Aw i]Eq.z$amR/O|;:x, {Eay m*&J{$Wmr~ZUU+ +16ؗe 1ra*{J'z`\(YUhY|-}wl!rRBv%sz:Kj\QqwYk]wig!n)}W< R^D}t!sʻ\y}<  :iD4ރ!SJ +endstream +endobj +53 0 obj +<> stream +xUKoFﯘs3; $JLzp7r@QIb҉$^ h@@ +#3V5.}N,:K(PU0S 5<]|M +_ff`EAk1ϠUQGSߥ% +>]IX@!3d) 59Cz,*VG@CHrpTa4C'7} f$9[t>>Uotg; Ca#rט0z.7k޿}|z8ʁwh@/UB)k+vY@ $@oPl6@Qֻz珗>[q3Q Vg".D䴣NnN9 +Un,fc\ 9np$ 0ft^Տ͑iTl89b'@nrzz *:2Dw̥:c'C~JzxF˥谥'Y~\ogGX;V~ȧw)tq~س|> stream +x]n}W9{~ ^ie6Y68p8!WsF,NO_je]Vߩ*nh26ύEV9\NO¯5~romj9>ژߴ8eK̹5:{S~h?XcUhm(ʥZ26Lv旿_MņW_w֘Qb*Y؍wϗ盿޶7mS6Xڇƨ֘cVZN>L\ZLܕ%}c .9Ror%[U*rt}QN9kc_jJQUS,)Jz_r29q|btbʹbˈ+M17ha Q+0sW881$C(f0]uohwޘz?/R_W  +?8mY_T%uPd2*'{11+o]kSj[)ZFF&MGB .|>uM侱6Deubpfd*t4=6&NvIZcc=/=Óq~7SFzLѤBqױ.àKJev( v?Di!;{2)mkcQ6Gmeޗۻce7 &0)w1]v`O>{|AsaaQڸMm2;I.Uś^?)< +t5m -!u$?^~|OGyVtڗ&PǞ3l GWV9&{x}o޼0 >'̀ʿ3lh&*tV=)\;;,fOqN]?Ҩl=A\ Z*Mw%Xewn?(,pwSm a?ộ8~95]nmkqe7In'߮`owݢSɭn?X;N)F"9q!dO,`Vz Ľ?-{ :@G}0|r8bOcig°U0js*}w8Uj d̑nø; zdZ?&*r.N~P&&i &4O  @9ȱ m y ć^o-9 rxW>r=&V&7rQ6mbq?PN₀HMnE-^*bJ્?;\SdlZXGz>ct!R&¯9wIz+@Uk{Gtr6 +I}$(gHpY(a`Um9$gC*QwPė/Gw,Pg0Sp>ޮV8i`8QTjX)Aj 5ZqTdN0ՁOtBG, p4 ͰLi. 7jUS؋9c }ÃV + +Eʣ`/J;֕Z86#/ 96B4<ű0Q"wl ­u.9QkYN’ؼqcKd~ Ћ sD#'C_Vod 5rc@jƅDFw? ܥ)X;iǤ: Krc_G4.^T'aArl^9Fコ`6?1SX9A q UuyrWk jrf!qM7q*IqrVh /Z"_gr2/A486=Idr-]U%9ȱy 5h Kt6x_\o3.!; lh(Jr3Ĝ3>Ii j$ojH>!"Fh@~,QjDqlCIѸI`N"EG +rC4jDsGHӤGh!@b UjĂ4ig[,<48DP;q5<;6TwArcٻ֒K +oO^3^4 +Gsbl`txp.¼63W#9ȱuH>zFW%/0tj"># +_IXr@LSg:+xt:N"P +,ɁT|IXrW|l>6~ifH@ +endstream +endobj +57 0 obj +<> stream +x=Y&q߯Ā( 8^ Ķؑ`f]hZڙ,V$u7N\Rrr/u}ݿ[˷/{pr\|a~訐s}|}Ç/ (}0uXrv)v4Ch C| \*_G9vd:Vyww|o.ex.e%BK'/\J8w= h_!Q(C(0@SL]q'4ǘhd<-saDCB{+a/X`"s[.Ǐr8eB8}RcCHѕ\DbTArH9RrtT2r)F0P" t;g(O.~v?W9)R1f<&lYt%DB!8{cpJJW8bXB)ЕȎrءL ,EEx1Y@A#p E)Y :cK5&z + +zV&mv`  )&lD\@%4b9\uDSD9Gp!ORJDǙ  AB$y  +!J5Dm`Cv*j&SZ 9>(ĹsaP+cٰ>7[K#. !.s*+q1B%+! YF4/F>g={h.!bA9B d_l]wwoj$c$ua&CcDcDFcLQ"AAP$$S|NE$P}=G/E("0xH`yj$P(:a6#XL`)=]T& j_Ew=>r~xQ!RqeMEj^V UL[W_f'WxRQEފ*FQ| _D cё?#nDM1F3*'m/eȫ_`H{X)C/cO$dm{W,(9WV;RH휁)=6G f;C5`\pqz:a(]̲j0;jء0CapUab&5CL·?8)" ،nOxWH:R3%U)+bCR%=;zW[Ҩ+& +*r3;WG4f)±yrFX%qI!4X*0ST\=&ϫE!PtS$^ A3Ri6;LCrpvea^z9ԸGX]@^aOlܾ>0&GzdnZ8M!ѽbcrh9/ӉN]{SמvkZs\.GאY;漱Z_[Ч=ukO]Vu-e9^Ьb<OK6YsEj=BRRRϥ8h.\zK=󽉛QqQ(9p]غ#P()B +5K=]zzzRKS@PGS%5*NT UD;ԚUaRGP*UE[e*gTrpT(1Ъ#2QB0h_P+Ǧ#uGcҥi!4K=ROJ=X~lJ=ӟ* #*YSs+X*魫Qr֭vD9j)Xvm⸷?ԓ?9]J8~!rŁJRU= W72KEJeg½eT ӎ Վ?9~zk{v.Dj, 1;~9,?a'&9%}̃apkDZoD7/p!6+of,QcwqjR'!k:8~,'}Ʀ'FɃM^^SVɤjiw(YX#$̹qzI:~34ž6I4̜Senԙ@vDN)Ř|p)eSמԵmu*SJ?볓Eqfގ:h=gO=V%m.UjqCzԋ^<[֋ .4d)|Bܸ &~-]KpO +d%_Lh`psl$LΤIP= P6y*|쇫B a^EIm] +c<%ybKvy}x hx|nfn; dae0Gѵ&7gó =R̡999^hJz|Ϝ|r&>@8Il8Άa999޽Mz fȁumXY 7E69 {qq=ߤr,!zGH Ե'_䳅U./Fo?ﾽyOscVMj1ђ&4 Q.v|0hl7ڜcj~l' jt0uucJWWsuMtߜ:xs8lWĜʫXJ$ub`e,=ײG(0kr{=NY6 p,l?YnP;ccѮ edH&s9އR|x/> +ih0f$Y0YqGz>Yblg;/fap$h9Mا1VJr,\Ft10[l=}4au@w1}짏:}(G1-fŬY sG1(VU([:q(tv2>hm`l=.U15+d9zhmoR}{rNVיN|7z+(f<]bNn%q<[Xݘ5+#QV}sɭq̼mr͍q$y>Xꝩi_$3}-s(ey/pbWL_عcFbⸯu<봉kw⣼ћW(q<}՜ʣNZrŮxm"9|t/:~+?=鼘Gz޴-988}}sش-k=/xu6|<ʣyLX_qxa_| M;.;99[(&ň4{6F=r`uqqBs('z;;<짛ů"~] G1|sdWm{OGkV&%njA9gӏd&}g3_T,=5>04Y7w[.+ٗXxDif]> ;5=DƉp{g,)5K +JA4e +GoӼ.e jmɇD J s0yQd ŧPVCMQ!@ZgAcb3n!^;.<1)n᤻9C4ǝ],D{ԣ$(06p΀JlrƤ*74!j" +'t+hHc[Ro3^1' .a @{k7%IIFsDQF`N2yc8BFVKaw9˘0ƌh%"Eosw\?NA`$J*P\@X dGön%z8T0rkVyvQnlC^`!PҖ67x.,R(ٕtdr3^Zt>(nO4g ]n}Pbr%Æ3|˃8i0'{9 +es u)8*)tC)R!zXt)tO=Bh(#LP<,$ .'OaG$܀rI0Bgϙ`Jc.e$ك bin.zYzPQ +LXCcPIj唣NWTBĊ2QHb象vv>EŠ/i_P w.M#(D]ሞ\>)q&4$vrJ'" Pbҡ#{Cdt\iv`]6 (vy'%SF~YjrľVGb]*62ٖ#MtgKߧ0:*^|Ō8>h[1BE9ۋ 賡O;UzeQQfԑZIRI *IV$yKId/dQDy!,:˯$o)IVJWJJ7<nZ#Lк$o(IP$'h=JIRI %ɲ}a$y$yCI莼T$yCI-%ɣ䕒䅒-%J$o)yo)IP3ݶ$Y+IJ2JP^>J倊]zq`_vz(:KaIiG :@e65f̞q FJs4ʎ ƫq 3|dsӬ<3/J*($IP\T9y&Oy&Ok,y&8.ͳWY+L^y< pea2=p44(Dkl(r )[TZl*e$TRQ[Ye+<%Y`KL6RrMV晼0]F[F[g3y?2/Тe¯ͳ56+-\i XgEv/tw]c0H +&<؜6ků/q`\grEO lk.5,QQn0 yL9^w|gd*tJjZ$( \C%=rDǣG!^n +pfW7{{x7uJZGQNՄzjM]cP^z盱2m%j.V˻yns7[M7n +tH@7{+^n#Co -Z&635뛽V7ި4iޑRTnwʸi>{᛽)4Ė`ކօai~0{0Twn![7_H WoO&?T +endstream +endobj +59 0 obj +<> stream +x]Y$q~_ /e@~[ɒW<$jf֭mOdɸ<6gFRϗ`맋̈́fF,/^I 7o,rL7"CCzcH}y"FG7Bߎ1H]y8w0 l|EB^/@LDJ9m k"$gѫф|i$vA* "0:mCELNYQd>2"J3YRAaqqO{J"K6yݿ'6!T#iHS3]dJ"exSE/=$RpoʍYD(~hUbMr]JoTT9lq݋5_/ic &vE>fDodt)o,Bmޑq,0k):Qı!bn$y dqD=ց~i2 'oP"|X8 (ێmam,BIrME9)7+'kb: )KyNhEeLd8DipGXۥ2jK^{ t$Q#K&zp)?֯1/.Zy^-Η&ݴMLJ=YSLD-$0Dɸ@50R 2ͣlĔG<P4YIb;Pm×IZVYdK{E\8QX}O5kiE v4BڼoL&aj<Y({FDʭFɞGC=z 햂phzߡzߡ'ӤSUa2ڤ&@88Ƀ jdvh3((8 >޿#oe +>_<^/帺`B}&$|cF$kt (9!BP`=3Q,B(u0X1"X؋[`(m3%+}ڜMC$2[YCֻZ][I’a2P-)[l82鴾l0AYM`K݄l@fc#9@%Vr ^^pYVxGtw0Zݩ9D>~'ZQQk8z1HLgM`dk/qae~fCmnyc}}kuPcTя+:F{ɘvC +V:dH긖e&XkUjCYpW=,Ujb +;OY?ےx?>~&aJښ`0(dGdgه xAN0"kG!80( ͜5Ӟw{+*CU*ߕP0[FnBK +v(Ż w EzAa]ZH0(# lAN0Ȯ:ԥ '*&Q=Xk~vvC + u,np7 /u,SN ?>} C8NL;O :|j Τ nU԰GXVq U\*jv)iv)iv) +VQ*N3Vq mlCm +pU\*.`VqU\* +4VіWbZQX*,` +KXBu(L +XVaUXjɘvC +aV Xa+P 0;ϱᓅA`@x7NZ 3O#yU?x[-'v'6Q^e> kxؿZ +msXT'c }al8+':xg~l=ʲ%qE]f%\/KE b(A%X8,J˖4 ġ c jOV4:5imJhd*oHLkB/4rX%\b*;g4i.AW%(\"%(E^ y^KP~bbՓ6!*l2ENn1\Z^-A| b*%ȟT~o??l߾< +LSlHX=r- NY/^K,0`lt"ɦքg~bM![ELg6;Mә5zC(Ar%$7:uN &c%LhJ(v ]r>VBOPS%LWD<1N0e*21O0 k%qpڡwoEP>6@(}{%- +nBUU@.*a4UB+a^1Ș0A\TB+ȎPds%T PJXؿGc j6!C7 ylS[yȶq-iVB. z>y]şOf;V~L| *)bc4WppU5.ayx:~TO:ڠl"+:F;-FݐBX>2zj+ m_EvԁL7zW56{tP\`3Lf6%, l[KYHN"Ϻ )-f"lS C 0ml +ۚe46jְ9wGl&hfՌ^` /B;YQif}36`šGlOtLUOC%67ycьq-ickJ )8t::ۙ5~΀LqǔlrW}ofe=.`&hulL,$Omzy9en\#QB&`}a`Rj1Oz/[< &rplm}'whuSʠ ͛z!G肿ExW؝/Wnd\v-?LGgm oܺNi×!FI69EޛI#/7y|qj٩1UuhWg]z=;!44&9}ѨFpqMG3MnIMdP;G{?㸧(z57߯Ipp})ś2- +^ӗq_%qm'#㾔u כC`2 㖁Vgx2 i@~e@ӖN[D2 be@+ '}mzZV}Lj]|ZAWz"jE~7ZWVV?nq\:l~:eǭ/ξea۸B^VNUdTEyχ" +O U4o!:}?V*[no{>l^~ +eaS Xdyr`*;[LTYoO%h(S l@Kи"V Yv_ncmLv|*}p|p(S-=9n!NLj` 9n`%lFUs8VFaAèlǘc _@%f@߼W^zE.PO螡RcvRAD2ep 2ZaF*#ksGLNnq7:[{f 6bbܠ`$|qA0. EfȘ7~U~VN;VmiYSmf~mtSdvnj4 %| N޳j޳/X\s|z@Yo7Zzg|#ͥ%;u Vg]E<\zI4^p:*ũ%O;㳰bqtꥷ-zc܎^.tK7ښ6hFKґLwqAwqqKNttWdLw]...zWtWWt y k WI].mW~iwT~ʣ.ڙ+Lylrpa%iEweIejE_x)r\$U#[Cw\2tαRܹ[߮jRf|o +y*lufJO?©X-|UksTRkkqXW"Wi*JV:yb@1֫kkb%yظxdqfqv{:u6EtHwU7 lE'iK_vIj,!E<]t3Eglyנfr-Y@خЮ.J"ٮ\5]I#Y 2PsBUkrRaC&i%CJ 3Bu$GFeE8sK +5Es_ƒ#U{c4-Vnuim]b6.u$ȱȂe*0 -$ib!X1aqqqo{:(uƑ% nܶ[Z'--ܖ6 nn+g:O nR1;oO31|_6AB?ϛ.!=/gm;2en:ݴiwӚ&7]KdJ4/gV|7nZݤnnnZݴiwӂjnM+ 5MK|7)|Ҽ,./.||||||W|+6ǵr滉#%}e|i^ލi^ލK|7VVY2(S?XUmP?@) +Yb +P'x@v3u"Fd ^_EaTiQq6YJ J3YӪT^)w)422*"rH3F+eoWxT쭩RGBuDYE3NfDxu5mkBAg +v^ߕ?ʏdQx"W) %K77[ 3" <@'_Nx%u="gW,2dQ[6m& %Jls +TQ_A !Aȓn2q!YmQ2Bܴ6B)TaGFHE[d*,Q˲}mUbLq +ڦ΃f/͌:u +6Lm.Y/Wx2 !O7,wXMᦶ\/}$- >2 +KA5 ߫R}'yI\ 0 +r6i"Q(֫RatNRL.rޕjik}m5RvܧPj|O˺M<[xm }LEXb>>**it4du5lkiS<d>œyR>חf礧b yic("]QFm%WITK.m;N.ܦؐl}'ԶeV#cwn%۾6@ =!0Oo4C)O8w}鏶n#t}ơG&Z6zَ2P);'eq5RgdʁmV`E*rUU4TAtݕỵ󥙱&:khž_yoڄf=ך[褾9Iw c:o0=m{gx|صFoxG]W><]{}k:w"|z}O'?79,w|N(xhCp&f p%ݿ[5-p#tU +endstream +endobj +61 0 obj +<> stream +x][6~ԅd@c,d}3 ?A(Ke[;QXUdXWA73X4c o6HǍTfXP}m5&~e[~f~B6L?oh\dqBop hWP%o!$*rѤ$(`0>_O%6]k0&5 5/R6V&aB%yM Xݛw=TP}}%)i,%K)wA},ꇬe(뇬eO}i\?O>p5j-8 Dt>u'ĐLMOɲ~營:q.dA_aű0V80sQ*Iϼ)^bbC+*_TmWR|@*Mj4~T+>;|1G sGB8jJG5̓3? E#Ïjcc^ࣆyȀx!uT +G܏jQyDuguqX˜6%I|%0WGLđ ?k$G&9Q`B,1ð\eWƥۈƷr|me+fn:jgcb×Ͽ?~XKfMc> Շ !FxQE$VdY5"U2XL&WQd3WkC_qI + ۚ3d+21DрMd+63DW6VВ]Җ+q]ׇަ8i,s9ROdT;o܃Qh7D`N 8D$VgDYlcae7\c4sY'bH5aٵ*'x﫲q٠nhtDiBUvck LdoDT֭15濒7)tm錅 +v.5E'Cru][ LVθm6/av~J1V GP'0rK2Mr> Goh^ߜ 'W7V8;*HT>S:4>:RY/9r1)Fk+ss Yin用AubO)b(wN}N>VL7X0c♛Ojhw ,J4e"mjYD$ZDL>AS2CH׷DH_s@r#sck"a}'lK9w b)j)2sxo[^[ytao"eˆCΥ#Qig0lU}3M䪡?t )us;;iyan$swرMTͳ Z1b}q(7 +z23uZ?'Ahdɍ=*H.ђ(9}#לSNTupccs`}G~6lS?j'nwSΕSw٧nǗw^s?u7}K.~|8vLlzX?e +!=@[ON1#?E ξk .a )qVU3`WW +oDmOC|XcWZ/` F^' +TVU*c\م`2v͂k/xuU*cfAlXA G84V+`~zZA +5af5/pϪ= jڑCܩ%0]v+Jw%ÊK'".?ox2^o%@ le [.=aU*"cEGc.2@jdV'd(0GtA+(VJ(!2#EU*c٠Ă_ J*ΉHB9-qpNJ$^bE$;8H z%X2uڡ=\ڮdXeA'R>nnc~ +EO젦K_YeqL +$z>Q{ +yv%U*c%OJڻ 2%j+`T\ҎD3{SIJ^s"Jӎͼγ.۾Yd"+(Ye2V+(yzPP-ӨCc*PYi7UV|͂.zwů%vkbc3%Lxngb6~?|_e2^?*Y~W?Trys˂b|^6[iV0qq}ׯ"/w0-ѯ qdj.r$.o =]e:c0sUE >P}e<rʝd=ok%a!+kg楘EU*c`Za|?YXe2tn !W&]T p IE1}?R}ad#XC7 證@ǍA 9WrV#_6olv7ק|KuwoîK*Ƨuo  /|'2 ߁B_!ݩErD-c=[?Yj[e?ݽ/a8}[UGoK̅X +ib]$ł;],J x7ZX`vXLJ>1<>?n A +endstream +endobj +63 0 obj +<> stream +x]Yo8r~?BIeUq: xHLyx6=IEJ,-ݶG.Z,6~dq1H`_d9 _O9 f!"1 ??ӗ{r!ya6ᇯo~S4;B/'4~@ {)H4X{2`rOXwFo~~w7z;oooN8̀Sqx