From 575b5ff4a5f0ee96057357cf0207c656f8355fa5 Mon Sep 17 00:00:00 2001 From: Zengtudor Date: Wed, 23 Oct 2024 23:39:42 +0800 Subject: [PATCH] update --- senior/3.数据结构.md | 163 ++++++++++++++++++---- senior/image/3.数据结构/1729697900947.png | Bin 0 -> 31044 bytes 2 files changed, 133 insertions(+), 30 deletions(-) create mode 100644 senior/image/3.数据结构/1729697900947.png diff --git a/senior/3.数据结构.md b/senior/3.数据结构.md index 3a71006..d2be761 100644 --- a/senior/3.数据结构.md +++ b/senior/3.数据结构.md @@ -400,9 +400,11 @@ int main() { 该算法的时间复杂度为 \(O(n)\)，因为每个元素最多被插入和移除队列一次。 ## 优先队列 + 优先队列（Priority Queue）是一种特殊的队列数据结构，其中每个元素都有一个优先级。在优先队列中，**出队操作会优先处理优先级最高的元素**，而不是像普通队列那样遵循“先进先出”（FIFO）的原则。 ### 特性 + 1. **插入元素**（Enqueue）：可以将元素加入队列，通常是 O(log n) 时间复杂度。 2. **取出最大/最小元素**（Dequeue）：每次从队列中取出优先级最高的元素，通常是 O(log n) 时间复杂度。 3. **查看最大/最小元素**：可以在 O(1) 时间内查看当前优先级最高的元素。 @@ -416,6 +418,7 @@ int main() { C++ 标准库提供了一个名为 `std::priority_queue` 的容器，可以直接用来实现优先队列。这个容器底层实现通常是**堆**（默认是最大堆），即每次访问的是最大元素。 #### 1. **默认最大堆实现** + ```cpp #include #include @@ -441,6 +444,7 @@ int main() { ``` #### 2. **最小堆的实现** + 默认情况下，`std::priority_queue` 是最大堆，要实现最小堆，可以通过**自定义比较函数**来实现。可以利用 `std::greater` 或使用 lambda 表达式。 ```cpp @@ -468,6 +472,7 @@ int main() { ``` #### 3. **自定义优先级的对象** + 如果队列中存放的是自定义对象，则需要为该对象实现比较函数。例如，假设有一个任务结构体，优先级根据任务的优先级数值决定： ```cpp @@ -503,15 +508,19 @@ int main() { 这里定义了 `operator<` 来决定优先级高低。默认情况下，`std::priority_queue` 会将优先级最高的任务（`priority` 最大）排在队首。 ### 底层实现 + `std::priority_queue` 底层使用的是**堆**（heap），常见实现是**二叉堆**。堆是一种二叉树的完全树结构，其中最大堆的父节点总是大于等于其子节点，最小堆的父节点总是小于等于其子节点。堆的性质使得插入和删除操作可以在 O(log n) 时间复杂度内完成。 --- ### 自己实现一个优先队列 + 这里有一个讲的不错的[b站视频](https://www.bilibili.com/video/BV1AF411G7cA/) - + + 如果不使用标准库，可以手动实现优先队列，最常见的方法是基于堆。以下是一个简单的基于数组的二叉堆实现的优先队列（最大堆）： + ```cpp #include #include @@ -604,56 +613,65 @@ int main() { ``` ### 代码讲解： + 1. **`siftUp()` 和 `siftDown()`**：这两个函数是核心的调整堆结构的操作。`siftUp` 在插入新元素后执行，上浮新元素以保持最大堆结构。`siftDown` 在移除堆顶元素后执行，下沉新的堆顶以保持最大堆结构。 - 2. **插入操作**： + - 当调用 `push()` 函数时，将新元素添加到堆的末尾，并调用 `siftUp()` 函数调整堆的结构，确保最大堆的性质得到维护。 - 3. **删除操作**： + - 当调用 `pop()` 函数时，删除堆顶元素（最大值）。为了保持堆的连续性，使用最后一个元素替代堆顶，然后调用 `siftDown()` 来恢复最大堆性质。 - 4. **`top()` 函数**：返回当前堆中的最大元素，但不删除它。如果堆为空，则抛出异常。 - 5. **`empty()` 函数**：用于检查堆是否为空。 ### 示例输出： + ```text 最大值: 20 第二大值: 15 ``` ## ST表 + > [OI Wiki链接](https://oi-wiki.org/ds/sparse-table/) ST表（Sparse Table）是一种用于解决静态区间查询问题的数据结构，通常用于查询不可变数组中的区间最值（最小值、最大值、最大公约数等）。它的构建时间复杂度为 \(O(n \log n)\)，查询时间复杂度为 \(O(1)\)，非常适合处理多次查询的场景。ST表的原理基于“倍增法”，通过预处理使得每次查询时可以通过少量预处理信息快速得出结果。 ### 原理 + ST表的核心思想是将原数组分块，并记录每个块中的区间最值。具体来说，给定一个数组 `arr`，ST表预处理的是所有长度为 \(2^j\) 的区间的最值，其中 \(j\) 表示区间的大小为 \(2^j\)。 #### 数据结构 + ST表用一个二维数组 `st[i][j]` 表示： + - \(st[i][j]\) 表示从位置 \(i\) 开始，长度为 \(2^j\) 的区间中的最值，即区间 `[i, i + 2^j - 1]` 中的最小值（或最大值、其他运算）。 #### 预处理 + 预处理的过程如下： + 1. 初始化：长度为 \(2^0 = 1\) 的区间的最值就是数组本身。因此，\[ -st[i][0] = arr[i] \quad \text{对于每个} \ i \in [0, n-1]。 -\] + st[i][0] = arr[i] \quad \text{对于每个} \ i \in [0, n-1]。 + \] 2. 填充其他长度的区间： 对于 \(j \geq 1\)，区间 `[i, i + 2^j - 1]` 可以通过合并两个长度为 \(2^{j-1}\) 的区间得到：\[ -st[i][j] = \min(st[i][j-1], st[i + 2^{j-1}][j-1])。 -\] + st[i][j] = \min(st[i][j-1], st[i + 2^{j-1}][j-1])。 + \] 其中，`min` 操作可以替换为其他操作（如 `max` 或 `gcd`），根据具体需求调整。 #### 查询 + 对于任意区间 `[L, R]`，我们可以通过分解成两个重叠区间的方式来计算区间最值： + 1. 找到满足 \(2^j \leq (R - L + 1)\) 的最大 \(j\)，这个 \(j\) 可以通过查找预处理的 `log` 数组得到（常用二进制计算）。 2. 使用两个长度为 \(2^j\) 的区间覆盖 `[L, R]`：\[ -\min(st[L][j], st[R - 2^j + 1][j]) -\] + \min(st[L][j], st[R - 2^j + 1][j]) + \] 因为两个区间 `[L, L + 2^j - 1]` 和 `[R - 2^j + 1, R]` 会完全覆盖区间 `[L, R]`。 ### C++ 实现 + 以下是 ST 表求区间最小值的 C++ 实现： 下面是为这段 ST 表代码添加的详细注释： @@ -708,7 +726,7 @@ public: int main() { // 输入数组 vector arr = {1, 3, 2, 7, 9, 11, 3, 5, 8, 10}; - + // 创建 ST 表，并传入数组进行预处理 SparseTable st(arr); @@ -723,29 +741,32 @@ int main() { ``` ### 详细注释讲解： + 1. **数据结构：** + - `st` 是一个二维数组，存储每个区间的最小值。`st[i][j]` 存储的是从位置 `i` 开始，长度为 \(2^j\) 的区间的最小值。 - `log` 是一个辅助数组，用于存储每个数的对数值，便于快速确定区间大小。 - 2. **预处理：** + - `log` 数组用来预处理快速计算 \( \log_2 \) 值，避免在查询时重复计算对数。 - `st` 表的初始化从长度为 \(2^0 = 1\) 的区间开始，其值就是数组的原始元素，然后通过倍增法构建更长的区间。 - 3. **查询：** + - 查询区间 `[L, R]` 时，找到最大的 \( j \) 使得 \(2^j \leq (R - L + 1)\)，并使用两个长度为 \(2^j\) 的区间覆盖原始区间 `[L, R]`。 - 两个区间分别为 `[L, L + 2^j - 1]` 和 `[R - 2^j + 1, R]`，查询这两个子区间的最小值。 - 4. **主要操作：** + - `log[i / 2] + 1` 用来快速得到当前区间的对数值，确保动态规划的填充和查询过程中的高效计算。 - `min(st[i][j - 1], st[i + (1 << (j - 1))][j - 1])` 使用两个较小的区间合并得到更大的区间最值。 - 5. **时间复杂度：** + - **预处理**：\(O(n \log n)\)，遍历每个长度的区间进行最小值计算。 - **查询**：\(O(1)\)，每次查询只需要比较两个最小值即可。 # 集合与森林 ## 并查集 + 当然可以！下面是带有详细注释的 C++ 并查集代码，并说明 `rank` 的作用。 ```cpp @@ -758,7 +779,7 @@ public: UnionFind(int size) { parent.resize(size); // 动态数组存储每个节点的父节点 rank.resize(size, 1); // 动态数组存储每个节点的秩（树的高度） - + // 初始化每个节点的父节点为自己 for (int i = 0; i < size; i++) { parent[i] = i; @@ -801,10 +822,13 @@ private: - **树的高度**：`rank` 数组用于记录每个集合的树的高度（或深度）。通过保持较小的树总是连接到较大的树，减少了树的高度，从而提高了查找操作的效率。 - **避免不必要的深度**：如果不使用 `rank`，在多次合并中可能导致某棵树的高度迅速增加，使得查找操作的时间复杂度增加到 O(n)。 + ## 树的孩子兄弟表示法 + 树的孩子兄弟表示法是一种用于表示树形结构的数据结构。它将每个节点的孩子节点和兄弟节点分别用指针连接起来，从而避免了使用数组来存储孩子节点的方式。这种表示法特别适合于孩子数量不固定的树。 在孩子兄弟表示法中，每个节点包含两个指针： + 1. `firstChild`：指向该节点的第一个孩子。 2. `nextSibling`：指向该节点的下一个兄弟。 @@ -863,19 +887,21 @@ int main() { ``` ### 代码说明： + 1. **TreeNode 结构体**：定义了树的节点，包含数据、指向第一个孩子的指针和指向下一个兄弟的指针。 2. **addChild 函数**：用于向父节点添加孩子节点。如果父节点没有孩子，则直接将新节点设置为第一个孩子；如果有孩子，则遍历兄弟节点，找到最后一个兄弟并将新节点添加为其下一个兄弟。 3. **traverse 函数**：实现了树的前序遍历，先访问当前节点，然后递归访问第一个孩子和下一个兄弟。 4. **main 函数**：创建树的根节点，添加一些孩子节点，并进行遍历输出。 这种表示法的优点是灵活性高，适合于孩子数量不固定的树结构。 + # 特殊树 ## 二叉堆，树状数组 + 二叉堆（Binary Heap）是一种特殊的完全二叉树，通常用于实现优先队列。它有两个主要的性质： 1. **结构性质**：二叉堆是一棵完全二叉树，意味着除了最后一层外，其他层的节点都是满的，最后一层的节点从左到右填充。 - 2. **堆性质**：在最大堆中，父节点的值总是大于或等于其子节点的值；在最小堆中，父节点的值总是小于或等于其子节点的值。这使得堆的根节点总是最大值（最大堆）或最小值（最小堆）。 ### C++ 实现 @@ -974,15 +1000,14 @@ int main() { ### 用途 1. **优先队列**：二叉堆常用于实现优先队列，允许快速插入和删除最大（或最小）元素。 - 2. **排序算法**：堆排序（Heap Sort）是一种基于二叉堆的排序算法，具有 O(n log n) 的时间复杂度。 - 3. **图算法**：在 Dijkstra 算法和 Prim 算法中，二叉堆用于高效地获取当前最小（或最大）边。 - 4. **调度算法**：在操作系统中，二叉堆可以用于任务调度，确保高优先级任务优先执行。 二叉堆因其高效的插入和删除操作而广泛应用于各种算法和数据结构中。 + ## 线段树 + 线段树是一种高效的数据结构，用于处理区间查询和更新。对于区间修改，常用懒惰标记（Lazy Propagation）来优化性能。 ### 懒惰标记的基本思想 @@ -992,19 +1017,20 @@ int main() { ### 实现步骤 1. **构建线段树**：首先构建线段树，每个节点存储该区间的值。 - 2. **修改操作**： + - 当进行区间更新时，检查当前节点的懒惰标记。 - 如果当前节点有懒惰标记，先应用这个标记（更新当前节点值），然后将标记传递给子节点（如果有的话）。 - 更新时，如果当前区间完全在要修改的区间内，直接标记当前节点，并返回。 - 如果当前区间部分重叠，递归地更新左右子树。 - 3. **查询操作**： + - 在查询之前，检查并更新懒惰标记，以确保返回的值是最新的。 ### 示例 假设我们要对区间 [l, r] 加一个值 `val`： + - 如果当前节点的区间完全包含 [l, r]，则设置懒惰标记 `add` 为 `val`。 - 如果只部分重叠，则递归更新子节点。 @@ -1141,15 +1167,13 @@ int main() { ### 代码说明 1. **构造函数**：构建线段树，初始化 `tree` 和 `lazy` 数组。 - 2. **构建树**：`buildTree` 函数递归构建线段树的节点。 - 3. **更新区间**： + - `updateRange` 函数处理区间更新，包括懒惰标记的管理。 - 4. **查询区间**： - - `queryRange` 函数处理区间求和，并在需要时更新懒惰标记。 + - `queryRange` 函数处理区间求和，并在需要时更新懒惰标记。 5. **主函数**：测试线段树的功能，包括初始化、查询和更新操作。 ## 字典树(Trie树) @@ -1161,7 +1185,7 @@ int main() { 1. **插入**：从根节点开始，逐字符插入单词，如果字符不存在，就创建新的节点。 2. **查找**：同样从根节点开始，逐字符查找。如果路径上的字符不存在，则表示该单词不在字典树中。 3. **删除**：需要遍历字符，找到单词末尾的节点，并进行必要的清理。 -使用固定大小的数组实现字典树（Trie）是一种高效的内存管理方式，特别适用于字母表大小有限的情况。这里我们假设单词最长为30个字符，并使用一个二维数组 `trie[30][256]` 来表示字典树，其中第一维表示字符位置，第二维表示每个字符的孩子节点。 + 使用固定大小的数组实现字典树（Trie）是一种高效的内存管理方式，特别适用于字母表大小有限的情况。这里我们假设单词最长为30个字符，并使用一个二维数组 `trie[30][256]` 来表示字典树，其中第一维表示字符位置，第二维表示每个字符的孩子节点。 ### 数组实现的 Trie 结构 @@ -1237,16 +1261,95 @@ int main() { ### 解释 1. **数组定义**： + - `trie[30][256]`：第一维表示字符的深度，第二维表示字符（ASCII值）。 - `isEnd[30]`：标记每个节点是否是单词的结束。 - 2. **节点管理**： - - `nodeCount` 记录当前节点的数量，防止索引冲突。 + - `nodeCount` 记录当前节点的数量，防止索引冲突。 3. **插入、查找与前缀匹配**：分别在 `insert`、`search` 和 `startsWith` 方法中实现。 ## 笛卡尔树 +### [维基百科用途解释](https://zh.wikipedia.org/wiki/%E7%AC%9B%E5%8D%A1%E5%B0%94%E6%A0%91) +![1729697900947](image/3.数据结构/1729697900947.png) + +笛卡尔树是一种基于树结构的数据结构，结合了二叉搜索树和堆的特性。它通常用于动态集合的操作，比如合并和查找。笛卡尔树的基本原理是： + +1. **树的结构**：对于每个节点，满足左子树的所有节点小于该节点，右子树的所有节点大于该节点（符合二叉搜索树的性质），同时每个节点的值也是该节点的优先级（符合堆的性质）。 + +2. **构建方法**：通过将元素依次插入，保持上述性质。插入时，如果新节点的优先级大于当前节点，则将其插入到当前节点的右子树，否则插入到左子树。 + +3. **合并操作**：可以通过递归方法实现合并两个笛卡尔树，比较根节点的优先级，并将较小的树作为左子树合并。 + +下面是一个简单的C++实现示例： + +```cpp +#include +using namespace std; + +struct Node { + int value; + int priority; + Node *left, *right; + + Node(int v) : value(v), priority(rand()), left(nullptr), right(nullptr) {} +}; + +Node* merge(Node* left, Node* right) { + if (!left) return right; + if (!right) return left; + + if (left->priority > right->priority) { + left->right = merge(left->right, right); + return left; + } else { + right->left = merge(left, right->left); + return right; + } +} + +void split(Node* root, int key, Node*& left, Node*& right) { + if (!root) { + left = right = nullptr; + return; + } + if (root->value < key) { + left = root; + split(root->right, key, left->right, right); + } else { + right = root; + split(root->left, key, left, right->left); + } +} + +void insert(Node*& root, int value) { + Node *newNode = new Node(value); + if (!root) { + root = newNode; + return; + } + if (root->priority > newNode->priority) { + split(root, value, root->left, root->right); + root = newNode; + root->left = root->left; + root->right = root->right; + } else { + insert(root->value < value ? root->right : root->left, value); + } +} + +// 使用示例 +int main() { + Node* root = nullptr; + insert(root, 10); + insert(root, 20); + insert(root, 15); + // 可以继续实现其他操作，如查找、删除等 + return 0; +} +``` +这个示例展示了如何插入节点并保持笛卡尔树的性质。可以根据需要扩展实现其他功能，比如查找和删除。 ## 平衡树(AVL, treap, splay) diff --git a/senior/image/3.数据结构/1729697900947.png b/senior/image/3.数据结构/1729697900947.png new file mode 100644 index 0000000000000000000000000000000000000000..c0a44e0704d453966b47d5b2caf41980196c0191 GIT binary patch literal 31044 zcmd?QXHb)E^f#!FA}Syjsx$!wM2dj)5&;nv0mVWm(m_h3w-iz7p-V53F4B7sO7B5H zT7U?lLxR*0(l$QN|DFA^Gy7p@-w(U@OeR;Z$;>&|b^7m|JK~vvF3ZL17f+o!#q#*k z1EW)?&TyYPb(-V+Ir`2;akDe@uhU*ex>~2oM|d~rKh8R8>T8}lRTaxbwq~IJzVPmm zsn@AfSH1s!PA@nJ_@6rEKlAv3=1YGoTo$T?ueWXogNO_MagOzK*Oy>M*~P1xHx#)0 zF2~*F?)$`P&D`OC<8pO~bk~D3AJ3(8*^I7SH2)neb?L0|2mP~}ysmKk4OH`+PntIv z;H6QT*SSW%-v~Z;*!*pBvs}QX?At;M;b;6I<-Qd_cWa|`t$w6 zm%jg2rz9>$GXJ;yp8NlkO|{oLJ!Sj4^Mj7{b7ds&Hy^>ok<)~+Vm*8htM?mQ*QN%j z*O=vTV1`x2_Xf^+bDp@vg|(eVPAl~_Bsu%izqj?i_X7(jH(|cF_fq2v^DLgD0*7d_NGB%aef6cH7p$3_NH1}k;4o~3^YC6?AErMb|O+nt?a;{BNtpbm?LGoDVqQpO7ifM4BjDj!;ePM(zvTJ# z6wK|&?|!yjRj4p*YSWc&R`oVn89?J7V`wvZc=9j{c<#PVj|=U~RL0T?Hz9KhJGIlq zlOdk^@N1t^y-tPkn?K`&Q23Pe&tL{?b2X1K%R=oEIkt1{{5^qhE6^<8Kc!&E?C$G-$k(udi(S<4$6viTK0844tV^iS})LH3xOjfy@DWZmk3Xa3CE zoTSRdx&4T|eKv_KmEur@NC&L@f7Y1+U&->k%@&|{@B9h3?~Eyi9~VGVI=q`dth zgxzkS8}#2tqPr&&zWaiCWinaakT|?Fn#~;6HCn#Cwf+MBe22Z!Z`Wz=9U!PHYoU3gK11Y-dHC1+ z)70L_gpOT3ck}75n5K9BTtTrxTL|wrHzj53!=lOiN1_ii>hn(j=O^CJqs~Rb-3S|7 zK^<;}8^HWduZt*NU(Ro6hfw{!;Qa45>ZSR)6(U{0wh3LKioMoeq@l_t%eoH#KXs}U zCfXF4b)KcFv2h0pCOq@G^YVE4qlV0qq2>{92~+f7FC|EKZpLuIL)y-EwCDm9?zlu; zIC`5CEcDmmo;t-PVP*Ge>30gKMS6g;F&{gp2i-SQI|asW3leec~2*D|o`Pcrw@ zyY_CmyyZ_zOxPFzhT@|w7q*D9Utuk8e$l=InN|(XuKCLJiEhH!e*c%t{TZA3Y}}aU zebCXm*VOz;A+5gA#7@l~z^aAXNrkN6aeZ$0?^z{Ko;snhm?grI@h@n=YNcutS(d#<`p&>LldAi8je}*f<+lW@=2aCgcmVj!` zNI0;~5y~f}(f=<${*4kQcCJyZJmy`)zpwaNuPQ1P%#ltqgElxjfZqywP&^0F{qf`I z*V^M3qchg#T+HHMYGv#jYnbMwUtX;6KHS6kNw*W@TastS06R;d#o3s4&8zOOTDCN( zUIBWO=?FV8At#7l|hE*jRMFNX{MQoZIK)=29Zn>}0FD%Y7cRQhF*Aaw*;8*q)d)Fj88eZ`!En7WOn4n$@CG%8Hwpk9);+CG>B)3Uj?J&N^ z(+(bK=sKj7hqp`OdX4FPHdM^DXPu;!2&kU`2}M)1Udo1EVDT9GUqAWAaoQqYljo<; zPSzS`e0rZ0wc1n7l&~R+DnHf^YWt(T)y{h{-8;LwuMu$IGH2u9xq{nJlm`d@`R#CA zC`CI-in4e#&x|oiQonDAa%}YuZf|m-ILd0t2vhzn0rKGE7PrZn20NXU1E03o2k{=i z+6XY9M_6%N5yvS^3r*z^fMTpQ-p~(Ib*WxgTwC@!?}p( zt2FOlihTbXmUs28Q0GYr1m$pdj(`8a+RrxvGqfJ(e5GfYWzViVtDq&)+7bEiDyZdOw^Y%!DhyOzf(b;GO_YuR;ykcRWBz zVS53znu=mx9i%;o|C_kHuk*hb3GXSa=1JISvK43^1kNY5uQ8`~5+ffU_uE2n20!cdb`oj;Z~=2Ai`qd&a)M3;UpKMPE3yL_jFE zeKwmz?h5tcS5IvLMDH|qp;?PDeN4`8*3E5i=o9sBd*oNovl2%G91= zfFc=~rxKNeQBGqHa^p~#-L`wDa5^sYp!4HfCdAx5_h0B^<7rJqQ>OxZrCELh?S&5!4Q=Xh_p*w=0!X_|KI+sV zcvi05bw4?Oj+U$&cuBohLtS<3G{!1vzUbBdS8#$1B=U#O4>G#o_;oS)TD-jGf3lPh zXpLg-;p71Ynvx$XDI7MaN`wyA(%7&JIPCe7zCYxBw}xI6ZRpK4+r6NV{HSOkw_d~L zBnGWxN`x>T>%lAjFk2m49x{c-Pb!jEGwJFZT4a4G@Q+%_nMS2Yfc`&7F2se6PtX_I z&~UI2)b^LVwCvsoA&&EW4SM!ZDMdoI&>W-xi7PID)t{^%8G|{-OGSF`SG!;paoTy`PF} zQ4j2~ZXHyo{P`V-35XpLfvGYH=e?9-?*J3jqjar$O& z@V9sStcg47$X}4CRl|@$E3*=D=KnXl$+v8+h?W}K&RgbppB5}zON=5EjLLe_=4H`Rqv2y7Sb(rCk*0ZNr>-yV|yaWoy%H=kyf7vuFh9JbjEL9UO4`x!Lk~ zX5pe7XEC$#DO)>D#^-=@vrZ7UD0t_DgL=kppwOkn!SKIp(>`7Z+W`br<9{n3|Jx4y|B#S9y$D{h{afB&K~rlm zV?RH^czH0i{t8r+x%aWP=MJd_KQb?mCJ>zOMU>#n9FH2;pngMH)IX6e1>TgU35^Cn zpsO@YY}%c{JqxmMq#LzU(Y(J_(dZVK=DD*Je;1#vxxg7?X*QTrj1Pj*7IQtS0%(`O zg!mw0O4$5vjXA!@H?N|L72T4K+ z4S3=xMHQ0}YM^)XI&Bk9ss>{eXY&gf25oTDuepMj%>9n0wA!17#Z#%o`XJBkpe_jc z446l zSke;kT$b&|6xDOA?T5*9Nm@&3g(tQwE|uW!7g7cFh9ScSfLCT}!8Z zi~0w#JdUh4cUX9S=f^ZEx-JxUIE%fp;!_xb?$5pDL>68#x@Z|=Rmz0IzlL6~44|p_ zO=Zz=6NK)43Ab45#FG^xSrJN` z8U_^e`bkNTznXH_G{3J8pJOVu$mprF=x|@V6|SA$hP# zksv^A2Vq52du;z6t9z);VG}lGZ!NxBNc;BN^bnL5^>BDV@b7t@s>vTQRO^WyENr~v z%{*iKz7RH2HObup9HcNa=gcsO^qb?Pr`(*FD+&u{L848pz@N9~-)j(es{F^CX3M(? z#&q~jw825$r;iV&9w34}Y?#->KJ-Kc?M~eC%d<`7iHrnhc_W}+?Tr-s*q}ux)3d*D zNtm0^z&@RxF{%&1!n@)f;s-y7fpg8vfx#1GovD@K&5vqGk-l#D9F_#FmaTO>mvMf6 ziu6F=x%9!Fg`)Eo*vZ{vq&$mV$AUd~pqF0xMy@jT!yh@u->Zs_<` zl3eCMm%?{!Pc9vN^dg??!(8=noE~y&IJoaM(z|*tM6Bb%;7w@rypTdvVh|cSg1~h`^^&Bgj-DaOfVx$g#my-^LbH#Fw zmTMU2ic$ME93yM;_ zBm9|{Fb2u5eRUS^3aKg9to_k7&3R62+#-gwzAMl6SOoA6Ny&cx=f=2TgK>7yQF8NBT)Tpi{K>h-o?QN#m9W4+Pm=aZ}Ag=~N6M?AB0Vl9^* zGqAi8_5M~AeA`8JJPc>-MtyMsaEYA`MlCiGI*0A9S*kH5vI)%VJUn_wye@hB9^FH3 zHieB&1GXT6OSt+rAJ4%1nX^nAe&<;~V-yaTcgw!@iMMM_HgMJn1kSyTf38-m0nM#< zh`%z8+#KPDpdsJp8yc7*ncEs~RR1H$!E0k3SD*Xnd`KUREZw$uEQGy702+9 zmM?^Tym9AMP4w^UlJWLfs=5@f0Hp>RFSDJ^$X96iUU*Vx+I?CBk=gcCM>^6iwQ^*gdu z5@5_w#wOl+;pj8l1*%2yd15DqS~n}o&HOKvdZ+SH{Bvr^LARW7jsCOx{zPgZ?y;hL z2hL!F%UW*#&GgwKp12anLjB0&t;K^*SFQLTDELz#k2&NOj$X<5#|$`NRvI_h)q_WG|xgF*m!b^8pW)qT@$ftV?Hq?oO3y>)AMs zQzZd9;rddtdtt*b(pErg*A<&;H7hQ{7k?F16k$py#rQ+1K=N(?A$P{{&90EJ^ykLt zCLwdi0dV@$nO%Eyro7$wbGw@eo31t4@)iKSh!�h}!cN2Pe=GsW)q;tBK4T=8+3& z)U%EL@gBQ{q}COsPU>IGf!En=Z^)6uO&)$jqimh6Pnfg zKbF|U3$AA+x|^VNdNM(VZ(((=y7AWcCKZzmC1hV0#$gZjyumiM)B+43U~xOBztEh1 z5`CAG1%9IS3fqZ8#pfV%(S7qT)u5Q>9eTw$0-5_Nig#@@?tL%?q$Do6IvKULwXj3` z3aGD3^Kt6XemBg6`2R~l<_$w~kcchmo9b|b78|A;;Vx0f;@UVLNn+-?Rnw=G;r?i~ zRUb|EFnxa!#E8VxNwm;4e*aSqJ$5;mHE+5(-x&vu0Q{k$~657gRPG z(yCF^sz|s{`I@^EY}&K824tb~yN6W_*|Ho%i;TI`9{uAHqE_-(Yb=Oz_~=mL(ae#6 zYI5nBg0KA-5jUyrB(vj>9iw9aHMJ^Kn=dqQXF^j$;~v&j4EhHOG1GZy^{nfk9IS6K zyqNaVZb-uk4%NHI$7sv>Bs1#8=^gxgT5UcuoN&Xlnj~YAsQx zr}0wgQAbn$`WW)iIUh+8Q*Un$(K~iyb{MB8&{4Ww1S|fFQP05sGu4K&f$6+7Zc~dD zgjIouNe|8;b@w-+aj__O5l}uD@?(1a_19(Jk_AWA&9E+p|6$!eikX!rPbh}q3tn(` zRy=a#^j=7%SfWkvennJM7=xoq=rJeous+WYODG}CMbm|X%<7392Bw)(&s(0nDwO7I z?~>Sz8<5n{OQ@$8&orOryuQo0{5ZFJAuP>Brgm(wD;l(u19CTBTvh>#G1cjzfaZ%p z$Tbav$l&5e{t+T>AAbx)^24zC`QS_6s4`v6=L7JyWVZdb4CCtdg*99*={VP0tv;5v z7f&)#8o@EqiBJ>yr90(%={N#ndAGiCpAfsm`Cv$@9UfnTdaMJ>(r_E zmPqEj5SIRWl7C!$Y}-2(jn;HGGSs8T@{U4y?xo_n5@?8N7;6^8`0*T%kJ)$*1FI$gOapJO6C}#fn6Ks4jm2}Ti8teAK9IwQ8tv$GeJj{gi z{ko}p9Eq89+NJzPcLp5-y)gU-hgjO%a5T&edr3hFJONR2{nRc0yFU`1hLO5e1?g`q z1YdbC8WpnCCNo0d^X-)uK}eP9wDgHZeL60CrhR(10VyQR@NY5hKTU6b(W{w5H^mtS z$lUiHP}r;iwV8|FPUWMS0o*u#4PSV{#y$1T{N7Q^IFN-x?}LgW^xJ>kCPv)_J@Wsk z(@UVP-uI*_4!^pwd6y*JILGfEzq>3=2xB2oYs_mR;f6p&Of+2^Mi|TLIK+Q?e?-8u zDxGOZY}^4s3t1F#%8BWT3yF2S>Pf6-Id&#R;wH-a(aUyK&uL3Bg?xF!d|5m1Ff>E^ z06Y@vNy=d*?OzsSW~T~ZyFBk7Q(i$ zCISyf%%?wtFg~16MLwpCSxwG`-;Pz;(58PHfC5?BlFG7dTCawdGjOBuH90&aQSEMa zJ+KWYRm9Ns(T%V&BWx;o70plRpyP*<-F2HPR^R&mphDWr*2xE>4ac?*#dWRhmSqNr zj*!=4vd3HYl=fjm*)j86df-`1{5zzFf-g6V9-R_T2CC&#y`+b_i51~CFHpeYJXJMK-YIcxPT zN3lvhoKwZ4$G(+Qy9emtquYpc>vJt9i?ulh=&i7C!|wIUbAq%2o0a@o* zv{yck_SLE>X42U{$9o6Q?sr7kkYk=ZYDz&_y+W|`BfG`j4ApmHV0&(dj3J&Za2<~$ z{bylw#S)i_3tUo2HyL)10H~&vsEV;k_bY>lDS8${x;x^b5%rU-9CNrXDLY^&7^;<1 z(iiS1hs7B!Qk>Q57SRRtOOqJ-pwj~(?3RE%_{~ltbOJHN%vD6r7s1lu*@0+!o+zC^ zSf7#@_Hmyj*@tHszUnibO6~`eOMpoWYgR;(mP*ubCm-XEy6 zWn4GwA^I~ozUrv?XqQ%Iw9bs{_6m^c{v47uZRG~uREc^W{{!)0lyzgb%!o?cV&i7{ z^O&CZzSpm^i2s4Pp^YnG+E}$gTWUyAk|vx`{2rVMlphbH;G4+9>7!3*{Y#B0;}uGf zqtuo^*3@AQ4>?}|`PN|)WPEpT@waYs-=iHb7`>GYn@9e-O`1>qCZ8?*tRG|_kA@N^ zla{2XRF{EOeO!&ZYiHbde#Z8ghmV22p7bNFnPHXS)F7vzZ(+!BEsgd%ciK*jJp!Mp z5+p-n`wq+X#?5z$qWFC{k%GbNQ(Z-bn8upbk8>BPn!C&6mp6iUquIDSMJIfRi**tyxMFLH`LIdURfmPRfyprD{4xs*A+ z4USv1I5pVHtOY-_&a8B{C&`c{gXZZ9Tvq$lDE}?$xVXm)g~TD*dTvL-T{u6bW{-o( zK?%9mv?^ATMsUDi_)cZbAj$TUOkf&QWp}tvkM-M{>|uWsFd;%!W&r+o2I9L~GUQJN zagq9=fqVPhlA?8p&i^T5gPh#vphg6Bdkx>k(I%BcU`4_* zF1^=HPi|K|-d;w{8yZ3lD$aKBhRrcHtREVTWs#udWtzi6&4UFNCqRzv1?Wlr}6bn%w`<9uyo)pGV;!b@r7lsyMH> z#b;BJAnNA>0)n@UOlU56b6t++hYah@0DyD=T4XBUNQ4$x%QNGzqbg-#HyWzw!FFUp6X8zYpWX5{???IEm!^9hjGcMYf~OFesPY_ z7!#&+uLz$DLanQl`@$7rufZR}dPj)iwr{JV$+?w$2`*Z_R7n?mengufz9~B~^OwBv zE_SlA;Y(hLM^GQmdpOJ7>HJh4y0hwy?rp#eJU%)iiO|t$wRHw2wUs!~FU#y3+kAv8 zxyKGL0w($sC~D9n}W2Z;kmMR+%9$DZhlV=3jX5qxP}f?ro3G zUdNlOm7#EIVx}D-O@Au*hB+UzCoAnJQ%*}ZdJmQ45u7=Cz<%mY!({?9QzKGCH| z!)^9Vze+bDh^aAVE89PM1J&{(J2RuCKxDmO*>>SffA5w@ZQBYtIR@ubIECdGoRv#- z0moXQ?0yIdtK7brLPdx%)G6q&Oq!)?#t_#AqJ%e#rT-y9ytEa=k|LSa<9Zp;i7%bV z$`_p2&7$s1SyuZ&N^1eq$4@w)TsF$+iNX?QtmTQz`xiOx$cmk7HQQ)*yeVtRqgn*ht=^5@vP>ZHzd z5Y|hO&`c#OzqQ)9#I|9jiZS_MPx;sxud<;EIld_qro-kuqGF0_$JAi<)_ZU2b*`yl zf44C+^U3Z=_(AUWg%JZQm_qB3Kzsh@wS($ChJatuCRI6;9J=gZ)G#D(8S-$5d3R?H9{v7{T=<=!__-tP55&Url_MsUvsO2~>g+upT1<@kly3~;RYyAJMu z)Hjn+)K=#pZ>Y_bIAcJbk9pGJZxgej#OSq3dIWksz}Il{>bb6 zH0qU?^^;7mVfhQErl0!~nh%x9qwjE!y-03^w04FFPYc(KIA9ar9_9CRimSahbFUR( z+(-P}yJb-_^ed_g_L5LS&3t;PIa{6pJd>|02|~%IoE$d|t=h-PCQVf-PnFn5GH?9j z>h2klt?|#daS10W`S5g2p;qIV4Pa5IaSuGICK&*%HM-MN?frIo64ed!$olfz#3Nx@)8o3iN@2dA+UuG6YUNw!Jm#+6j!#c*4BW zx?HZ)_huH8sS9nedDV7}c!MWT87gSlQ@G~-yyrr6JTd$YEPU(7n2af6E?=fvSu`up zAljd8GCY%$9io%VyzkaLKB1CUCW;6My0|52GaUlCGm$8A}%9GB?X0&=IUL@oHrVF&-kVA-(LNAM`q z$H_0*v;=NfJ$rX??e(QEXS*t}q`FM6SjL;gNTTd|oA38R@0+UE70=m&5?44VKU7${ zb&pGYj#rDxV2HLzA3*BMM&|5DNA6F%((UxFUZoU{j0DJ*Z5>#$J%2~>>it`=n;CL- zX)`7d-3(NuvR&@=H*CjBaG3cX*AJ{Q+`a z!z06v%T00C*eS%KG?BJdxQ$VvzEa&U3jeU33~Js>&)uJHrO3BMnPht#NM6B8ua}gj zwE`*_l^EJNYA@kM;9jfEahwNFkwFsz+GH|G+EZOUBBe z1wNG*&aj5!?v=K$=5XaF%d9SSwiHLdRh^0wkvcXr#LYeDN8T@lh>2{jk|w+qSD3u+ zNtvWWk{X?Qv)MVLm8V2v1g=?sQ=CDT^fwO==$&zZ2~OI#Odh4*(R~az?uKRGJ68|@ zws_eqN-9Lgs{Ax5M)gjku*zAgu{jek9kqSsf~Q!M(DJ9>yu{c1Gx`4*FO*PB*6sTM ztFccF_F80pm8t#~!`3Uu60vp}`lzxW`zKYNz(TJmkDKL;rn>chctjU#Zfw}=VL`NW zBu;B>_jm#}aVN{`_Yn!SY%9{`6}a7WE#E`E_UA*pj1C7Qd_s)#n(jPP5MwTHfuYwY znMAea4Cs9NM~NWm=9sgC7F|#E^^Zm5E>rYMP{Mi0 zO&=?DUNlX7cOpWI+&145ocWrpqcWMWQ{S#1 zX7WX}l`+$pNw7VNre0*nb|q{GJ!_?>Qg z`t*g^H3Nl--U@7k+LUc3=I4`^J`ML$(Oa5umDnouRPNKg%<78QraL!5w_5B_*Y7we ztvbj{1~b*;>NMkQSC~w~^gp^rYdrWIu%1yn(L+W$5#I7A=vUDWpf(L7T&}AM+KzgR zF%jP2CP0PdV?|Br-D$9?(3pwWim9hN!(K4g9sYjZZJ3Apgi7@#Up-fwa)!Zj-wf{| zQb}`B+|%LIh39=7c>)7dS8n_D6Q61TZfpwRoMvMox1(ppW@5Nt+)9x>v1^m6P87djx&DbOiG zg9^b5oa}*frIxqKl`=&!Y>Z<8*N+0nY@Vv}$0gWu0QWLIo>qfqLXjSB&idhL15|np z7uhOYyTx78epx`0=UK&!^4%igbNyj&5jK3uWif`g_>QfcW$}YY6-E^v?Y}ipJnCk&?ES@deb4v~-!ayg12+fX@}eny47tS>hF1c00aMBf{4hm%MrbAVTtS7<4m`eO+bU zzhDTD@P>>v4%c<TYQ3`RaVdY|g`j(`7UL)d(>J`;CKaaPZ~Tbpy}kiiI1map`wOm~;ri{cDpZ34l%8 z!YsWHt{w);p|>@fmyBal5={44j;V>5(!+dGIbV>DtKIG`)a}@`qi9;nRO}5scD*h1 z3zVMhUtfth-Z~HM#R8RgdZyQ&Wu_+kYF&a~}MAb1Fr9 z0~Aw(JM~6<(;PVjr3^wCwqB1Vt;0m)70boD5&& zhs$%Em-U(U(iLnQbkVb3``!6h;Z)3^hQ0AU_f`b~U!gB;oy)h+*@9n;+kCh{QC2XU zYUTD!C@+w-F%X-y65oHyL-x<^|NZ;&T9I<8&Ya1z$H*RKcCmovrm4KD>CrX8-l)?l zk|L^qMCPXr_~7vS(@6PomR*EwpKsbV zMjwj=e*FL&fWh6>Oj}uTFknOw~0j+v^8JB@Wj|f4w3|(=DPshRw~S@(4unS)MuaYcr{NtIN4rx ze!2>A7;um88YAzrwLJ`6$@eLq){lIlE-+1A=O;U8+ZlWThTn_6#tXWo4xoU%-9EnJz7#O4Q988nsCJzbw|v`UH_SwEa*q%5cZUhOW4$Rto@VV?m-;=xCijw%((dy6)1BXl@`NI z6TrpQyW)-=x?i#DZJdmoy0+EbAa;PH9;^wU_731V^YsJY7^HEsX>Lgc%;tM9M z?{T>K=bzQegGmaV8cSwQ>#t{D^XkTR4!GFy^fQ)Rrqn}`wlvgU&BH}nfj6I<-@W=p#3ud zk4Dx$gWhvQW9CV=`iAB=LpQ&*p^l+Oo@tz2brmNgv1_LNZlSy%DhiTGz?Rf1%A{fI zoifg`h7D4vRVfT^u(ni(6IHp6(Q);gQk@Tq)aEY*5u zZ8d(3v!wcw)tpDEzVPwS&Zdr54oaixTZ--;xmny)N>E^U*yURHbwpjU`%k|%9_|Xk zgY-)9U8}@qvv1e7EcuNe9o=p&3qbWFPNCfDVt!6JCwiyGRH<*ag$>0(5_05V&$qLq zZmYKPEi?%mKNcJ4d21lMcmr=4Cv=pX%(1-LzajWD=`1_!vzss{3azci;yc-cm-sez zvubwMeznvZKiB~3^YY}iugbHy;mi2E!gnbNTc~KA5r+{dI8<1Ts`I?+Zx^r~#XQ?3 zSpZmhU$^&|D{p8pYpUg2H&~J~+f-}pq^Kh$4?FK^Tpy!ha+8tK-xhh2Iu5OBT{zrP zb~9>O_JRkUwiW0?Zv6!P6gu->fPu=LZG8={&+0!B-VaM*w^_7#HTc`!B)7{15y{ELkLg>ZHL8)T#}P1ye5*?dFr+G%KF6NB?4^b>IKuoREcgh@UQ5f5A+EA3&X` z+-49VBihbLXHsopJ3+{H&016+FcV<0{)~D}1RKE_9T~>EKzB<(>i#6q0BZ7U6M%y!fMQXP_x-p;MA#F_``H>L-oKtq& zJ*-soed^ugY*=mxg#T&0P2Ws@Shm<+S1en%0@uVjjY*qkT7{#?hUD=arG8@-bPPw`#?E&U-{l za>MxE;gk2;L=;cGG42d-u7X5Os z{MWa~{jNNfZmfo!C@?@W%9S}C(i@uBC!iNp&T|Tpa!15Yh*5Wd%R?fu0ywj+mXq9l zPZ4aqt5?s)Y*?3 zUDYq56?4$#HE1D^F}#zvB0JI^ITw2`a|a4<4z`T0SDazjWZ^p?6?t)yg}^)6&dzw@Cv=e-_}sI%cQhghVs=g6>Uj|5q0Le4 zQFx7S%PeY)SQCL9T}#BIxV}1(YJELvGB`PYT`B`mbjvGWzV~d!xH58zY}vO8naCPf zlNcOwSdO2&6gelDyt)n`J~A&k^1ribT0cT|?)|W;$GY+@X;v+0V3eHTT1%~yKYFxp zJIS(bqa;nA)3q+&WthGnZ++{jki_r#*LGdBK^_qmK+Bgn+fpWfcCm3~x*o;wJ;H`W zT+MF%IcAs2MPgTwQzYu2&G58IHnR^J7FE`Kh$)IpJG-SG?8MpxK!1aOoSodp9-3{A zEA@WkIn$ZF3G}5Xhn=(3;|_G~KVjN4;x*~+bwcI7lHCJ_V2au$o=6^lnw zYcE@i&KLuPS?jUW(^J3Ces!6v8&k1W`;Ww9b>o9puk(9Fv+ZQFQ?I&_N+yJLqa68B z{O0=wuOx;E9yrgPtQgGJezlEqt}FHCx_U_;*KOQyVA1{^C~B&ta^bUy z-S%Pj{bo3lb+2&k!q)qBAW#AprY1bwI-XwTGXXB+o2oh}oeCCeSaOWty*^$!m8ryA ziA!3}l@de6Wm_UIyU8{@vPiH9i}ZA3d(?!S2q8_VYzC;z8VR_#rn~hVFD7?c9%hdg zogP$_pV{#NNFqJWm)8nxUpx)pxsry8q!tV4sXEF0j&~KA&0Z5WA4${B^|Goru5}BG zzItNwjn~Vm%|&QKv@E6C@Do<4Fu)%`y`vm8g8B!}D|wEu%~)9jAbKu|o!3tI33D3c`URxj)2H^&iuUxP6kLi? zXEV;Fy@iaW#$h|J^_KWNb&DH9oe*m6khe9>eGwei2R}z209+pJ8r`oSnL0aM=TLI3 z@4ho2!bpUD%&J&z_`H(H#~FQt$RPs;u{%DPXQh`c(=_LrM9C`8<< z0NFFs=T_zzZFq^)*||unC~A<>mYL4-$z*6RZ`2c01^*~X;Y>SEDNue;%5`V*Y=!zr z#4Fms0{^_O>815#?O2xj__u>yB4uhut3{9fPP8t*_0gEK&@gT6`xA48Lzv;{tBJp* zXaw@?$VkFJ+8;-X|7lE3Ia9bPs{H;#rRMjfAWxJGSpkT!)=wkMs1;eCdyy96O zalm2mnRj3I(%!sCc;PxB-SRG!y4|Z}_03QOC=amiw@A2kRv9{7PUR3fvgKoCnNWK2 zMPr`29|vjiF8eYqXBYX{pwi>9UW~hPVx8x^${-HT2-Z;S59x^QpN0vn8<}q{%RAoG zEE9|0w%uF(Mslg- z+;or|FmS)a z@j=lM!OcdhKUm^b6<|XmR=xJ6v<$y`Xl$sL0UQ$TpNqvdx^^0^E;fS8--LDf*_XN; zz3|}-hYY4#Am~Wujr=cVA)zbT#Il2Lln*BZz;@-d0O_ zk8nBNE5Gayg+D(Rm=)9iW8AUkwAC|vPlL5WjVAnq6}kVTxc81~YJ0nd@p!B#2uQC| zMFL1C2tn23-zm_Ik1(00hSbNx zfqc#5u=wrVReesJ+)u>X|E_~e*XZJ&F1mX9&xyXW`$5sl?(ON04rk`y3~OL zyG)~0t0#s*AXFg--!z*e8EN3MQerJrXoxvlzo9KhomtuxV|Ctp48+|=fKb{sX)HwW zWypoZ4U;Z#dpS`T{bC!kmF<~4djp>j11+e;X-{gXUf$Ufs;!e0YsbXzJSV4}m)5-6 z4A(tQ-~po-vIioc#n|0U{YTZWHhoj?=aoQJu*569D}bgj+pRocG|c&mr05xPGx6Q1 zHVVu0iOEr+``++`qvWp-hNx-!FApO&qy_}NzUR+>2ZK-qjc~13O({zmG;Hx_z7n?y z#>1_aNWS(TCyw;QAJ%Ie>#>6^GeDc0h-d0~jSPC*a+|XU#^Wyv&dkpwycPe<-bfa) z_Uu`5Lc7jR#6tG9sC`6yXhla8F)AxdP?eR!xpl;&aKH&i>xS%yt{ec;7HPB5#Z*+l zZ^e%nD@k@H|2Y!1+ZHAOQT9Dh4&wwaOh~=5gifCo(d%((J4fUs>9I z6EdIT#+o7$DMy|5uj@E&a0|0%0PZlQS27!AJ-pR$ypg$ZS#4 zzWwkQhcXIm2BCdVEC)9kNMcm=PHz<5+D}B9DGzx`!hEDD78F8-j|IsRFf&qQCHD9= zfF=2WNJQF70M`i&aDA_hXhG80o?B7PEquQ19gAFq`uP?dOWn49;JX`OGQ(4sI7Op! zbfSQ=dUUn#FSHc?zAe#w2j%yU5T#Vs1iFVB3pc5)*l(gi6M9D7%HBA_tM7&n1*FP} zx=dnnmlg<2+l#xkuw!xr{XO;gdMhEc>KO#f4}9rdyyUp_olSpo%!P$#eNPgwsl z2l|}mj_PBr+H$;DDG z&53V~KzzzvDQ8d03RJRMO}WLJkMBCmx0a881pF`DPk#emI0b=cBN2$dOaFG>dN$>J z)5DswaI`c>bts>l_1LRuRB{7t%$+#G7Q&{1_kUyLsM2vML|q^{n2p(mrg6gM*V%!! z?Q3`4aKSn0e8cdG%f$DhF*Ds%XF&_RdiF|>$eJa~*R5`zZ>zuRP1GbXV9?m(HN{k# z>LQ+=NNxM1f*%0TGt~&Bae8OLHUJ2EGJwN-h;SHtS`Iw!jrI&M?D4r$W5|hX-6_Lv zO!&e6CNI^yMay;-SHa&%RUm9E;3Wj>Z$g#TsQh9dHoF*`&s_kxBXd9j8fa=Ew9+yW zeDQ@7l;mtS(p`YyokN$xmw~l63p{MBT)kW{M2Q{6jc^!cr`mMB7Q%i|3X!^O#NzF9 z^Js$jmjPe8x4@C$X2!{R^0?p{aLI1MZsOaI#2ubKAg*IT<39I1;{Im1vY?%hI!Nmi z9-1mO{cS>*Es@;f=)OJ6&d0bu>&dmOk?Jkn5FmaF@qp~Y$rQf#q?~5(oenF8_vJSO zR{-{oLdETvmEdydi+>&;to-mhZ-RWhCcKbDuO^C2Hm@@-8zn!`eC;76 zs|O2~h7wF$GEb5j?a=1&mxj)_!B#-iu(8!lw`wpQn<1Ojkh3WF2tuTkBpH2r^K=V* zoKyuqo$hG`vUiWcGVFeL28p=%ik7k{(1lqJswwCY$3rKrFPflGK?b}aDodSLQvhS1 z#=9~N{T0Lt3bWpe4p>e(<2wb=V?M!b43nalG?uy*|NOdWwXSY&G|NF%IhHylm4@Z} zjuw|In1>{TN8)}_17X7Puy+*Bg!oIm{9$S-|e{ZR#Ul!bpHNIDZBlsxY`@%=7zV%_J( zVtT+$NOYeFf0~3!SzsmeO!niTGy5n<#mmPJy#&A52}Y@MSi!i7VbiqRQ7hR~;Gq5Z zdm_@^7wID3_sXi=TlD}L7 z1Ac>3zjh^f1B&!1Z#Boxnb_SZD#K@@bGs@)X~n;}XVl8UMV<1o(wN8b>_gsQ14;6K zGVjM*D84>u+3Hmn|D@(_ME8(s!45s zHTQFp)$z};+z|gGev*w#-{vK066c>L@y&x4EOlnpm(vv;QNHMqm*?{5Fs;u~<+HBc z6I|K`53OWjBdlgw+f3X{|MmcYT3&8!VSKJ5Pu9JVf14f03+<56V>F=8#w7Lkm8#1xnUBRDH z&m$ci3DqePPiuew)VL&H=j=VF04pZA{7&_3Qqa_y#fVZ(#p~hsHQMfc-;}r83uRas zvWj;Bz{xK{REaCxGE#z0R4Vt0vWN){COP}y{cJ*pHmuq`%m?LGe9!HdWSZN~J;Yi|3ik+RhB!)!kL zzD1y>YhnUXmCj(eL>*i}(0=uEnFf?TtsuSkAagLgwmj2DG3`&Af$#9IaQzn3A^-d} z!MV>;T(~}O$=HOM*fpI4UG*U|H?E~ap#I*5w1#(-5i|1g#1d)L>OC~ubMt~VMIPlJ zmeA8tR}NWTYt5*=nghDCI#}knjxi++Lx$Y|W7&3tK%G17)w!$ju21;7uTXIX51zI2 zCo-}&h@EPyAWbA22gFku4pF@AC;VQ4zZ!?K#TL5y5>bF6ZRX+iCD)cUM}AUk#i6I^ zeT_?2_Sk1)`PGZtcN6s9hklcJyx=e`VZ6$ykkDnDQ}`E8Dtga_eyy~}04rUX=;NCj zK1Mt^@q0y(C9Gbg4>H1Q7}RW6EoU!+ntz%{{GR0;yxKliLG_Pw9MGe(Q*Qvpb#@)j zynpSD3PoS>^vh%AKY7n7NNkb0B5%=Odtj#&P#fES87clVSW9xcMpe&pwn-G6mHBUL zF{=MheHP8%{cn)07-^~CWPWV<+p*6iUNf5ldVW*MVz4?;C=c3gNQ=^k2KI-)7U^0^ z{+pGykX!K!gSjs~SRG#cmk(a7mD_LIt5c%)A9``FkV{R3EZ4Q4aGRLUKW}6~JNIdK zLs~IMcklyk*GGrRRDiDrwNcKAN%aF^J>eSS5yOuJ*%d%IUIAvekXEy8pLIp15I$J~=t$Rt@5PbzdNPhN8Ft83)XL{f)kYo zU+}jMY8KprJmnC#AIKsv zY8rJ;491_SHw(|M3GSai&AnQIC=Yvzj)C4-1??(}cp`ou`c3J&mfPG8)a){RU<2U( zBza=(HCN(#sE{2dTUFzLNzE4dGS40uZZk?jqa~QU76#ds?XE8}w*~ekVSOyoq@@mx zQ&0C=xP@1jjex9QyNUEZ$CcLO|=<;@FJ)w>%R5#|aeN6v3 zS^#i6;EqV81(FFzB2;}40@AoARwvzZ?)tFGAG+8Qd7&5xb~xhiB_Ya3MDgrsZkU{v zu$q!#VdIXe;P}JXMsHE8Ey8^i5f_JeQSH2{$x<3?ThMeUjdpP!LJwn}vzs-Ou@L67 z2St+`v>s9zFPS8%5gRPu1CSAH2sSQ19YRy*b~kY7>u)^7dX^JfxW4BateKL0Gw?1% zfLQC_d4F5DpFaivKq^AX9ir=(X?`J`f~tZ~?|b+i%md2ZKnXqa%*nfl##VI&0|wd> zZ2ed~`Uv47e#K#V9=u549D8}BEp=9=8oX`K;&amSKAZty>U03G<@~nyjissdyJBS2 zOkRXd($`57xQqZSLFojpkBfnnlT&WxmbxTC|rhjnm0vdX|<>q@KDq-vR8t`_HXJwBVZ zp3UIUwzaKtgHB;Nd6d=(b7HBhA2|-|iRW5zIZm}@8Hfi9C8`tc%BJW#|H4<#KV{AUpl!j(lxdWBWJn27}n^!jNs%fK3V~*5opL|nZvnt$)ysp0O?Ha+$?{$ z-ZG|^#9l}M)a_WARVi>SpW0dm;H#No^X zE-e}eN5%>i|_8e;13n>r^8oG!*2et{%n&Z!-iv65kVi+8RrRu zn=zsKKjE8)pD!Msy5JE=<5ukHEDv#B`|`s9j-)8Ok)Lq~Xj`!oR>!@o33p=)ec!}Y zsLb52tV_3IxUil}2{JoX5 z?H8x>=0l97+-xNNr1_$%?R=5>`N*)RAq!wD+41$FT_MAR*y`9;8hV>dd&o1?qeSVK z0G7@`lkC{j^2@P!%;AlJ&wGDWgf89gbgbV%E1KRLRA5wDP4j1G=FB--vvj+Xk%TNi zk8MR8%I*_)fJ&)Lecumc8P-3qW&T*RXneH+cl72>0w&SrJ{A&U8@Q-cG`8+za&oVg zYb}TL`4Y{O`%l$Nc8nKeZmhlQf?|5XLxIOcj@!Nxv94w!%D4MRUGhzpo!!G(kA_^0 z_iuI2tbO5J#b1d4{QUP9vz7jn&OR8%zfqw)HTQ7GXy8YbAal*Jy)kk(3G4iR1B;mH zwAJxr1`aN2#@zyrMq@ISs?6{2^A*?)eCXBr&5Yu_5GOt1*|g!tH)O@G(?CXDBhNL$ z1={0e`@;deu*x37WW)9K6DR4=fpn600=Se>_7?aifsJl$h^I*{-7ERy;M5q!+RK8H zI#=u0s-@5zuxdmg#UDpb%hcgc+2c$8%XRzA2hgi3?y-ZWe9B*^63iV~GH>(lz`BHVQYE+CVanj9QxtNUw{L*p?mFQ~blWWzo{1`8 z2yMcI62Efajkr&Ib@bU!EeDQ2Te9@nFn>{Gf(`V}i~}#?rjS)h&E>PVO1o6B-;aKA z90iXZPSoEzq{b=shH>NSaG$}6{tk8%9Twb3kL9qU1<(SAjk0yTTTOf*>&A|22B#$< zrzg;-zi{b*mXeRUP z8U%!mB*J#nR=7~%D8hFZLep$ZW6{G`exojQ2dweUS!=SVUO_$?f=MkB{jmA`XhRET zncDEMA1wiUQW}c3dj%0njX$gI>2A!KhKXN2L&Sg*NDYVP8!?jH(Q@Ps(iEG z{Cpdx*Y+tBX5*XB9w~`E!DrAgpWM3N>~lLL1OPnA{(gs`oBHsE^AR*1XJ$|oz^bu zBr#+VV4Wtb(>Zkw2**))`Nj?4zG<3#9~L& zgE{2YA)nl35i9?DsI55t9F`|YuS9vK?U5kXle+rxW~gW>L z21P0_dkS`zOy!D)y>k+;`1ct2izI`7msdYo^y}yrs}2E^pC~E z{>`3fsHx-zBy<(&`E5+GyI6Ns;os?SnjlhuK96ZFm+fZ=FK>DQzcM10;oXTaQ*Czd zGgR@Y8F9CDNk~3}v)otfAvc{H&rpoR=4328Jcf5xdrAq~8Z1>b?t!0$SR(R4Ff#>L z;kHQG$>^&w-dVy0EC)kZh4M-pb)7*EcwUl27jLStp-j%6f#c)LOWyY>w)lK&V$N*j zaoher1Fb%=GHra;q@_4XYFUklT46XS_pLG?!5VM#pLohx-F5Z*+sR7OcXXjU6A&V4 z>@RZ@d>3h0BV=%+AG&6pVVL9EZF2PC6^mN4SL4+I*?(!bT^?jl)}Qcxor`{~II6}^ z4d^2pyG8A`oR;J{>)#1Ck$eojOdvpZ{kz6) zVtTvwmyEKy4h1%CN>Qe7m*D=l_Ioe0h?N+RKstYFu-1`e9I=+GLHE~2oMiunJ#b`Z zzlA>H^A01n+IWo8sXROS@7?9Fmxn;vP>S-)qE3?pW5(}Pqwa@#)q-A&!doaqD^0Rb0ECMffu{_(Sl8M$QY*5FRY zCltq)5!0(>MIBI2D-;laIG^F!G!qw}?y5EuJb3MhWyuina%1vu)kYP zU+^$RQ~UWVcOm0>%BUeOxvpyI`KZ-U@u?zv;*3ppRZ5oJ``yLX0rzrmOPZ9h^f8+u zp#m`Op$^uuY#OM-tk*s?nMPx1=OH-Cg1RGWk4AWuJ?tq z@ultTn3A#%($2jXUnB%B4yNY&h-s zR~b0SF=F9(j|r=$#ebY4Znbi6ruH* z=f6NJF?1;A1qTg%&QaZtm0I}U;fII~-+;Wqe`}9oeQ7auJponr^%hKy-pIwDEpbfX z1&+c;p>E7tREvaBi;d^4r_jsdjRyt3VRSJ4H@_Jm^W|9?@)emDb+qnG0|&lOF+Fd7 zIt2BHHs4&2HYyPZ2xio{CTCBrH7krBZRWzm^ z10}dbl57ILFS}xDXtfG7>~M-iR3--kR>eI<`jRMcr~CGi1&49NImb`X;Y42QhtMmTmmL+&<}LgI#B>QuDb0 z8QV)NH%FlUB$pPvnq^|GOvBej<}u|nnS5i7SIh}(px4SXF&(%r@pvr^QOEJLlryGl z=C4n5k>S>QI`wIHoh$@_9fs8(j-5^$XwihymCCz<3)G{f;s6cHZRuv#w9_+-j$w_w zcEi=%`_3-y{1&5JhTp&ZZ1Jq@i`|f0?jm~K$Bf0%4nXf(N{FYS93m#s}oR{p*~C0&SpSjxNZ)2Mwp=l z8XZOJWK;dcDfF-2A~O`~Kw+WY+6s9o@R22RN4j&h zKocb+C2iy*Ok;I43;vOY>e6xsM>>f*&)?mK@s>*dSnm)%d2&^)*!DR-SuXWDZ`0H` zAfnRBxymVj#Ys{XXMnSKn-7rXL-awLljTX9P($WsX}d?S##>rO5?c8;ll5nOYl5)B zdg0C=gT}0w80KAKcbZ)kseKjerimVH{xVXskdM^UY|=Bn+yl?hU;Ghi33JS@#>sB!!vUYVUvER9h8?ONodPk5hr4Drf6s>^z>Ni9QL> z;yY2X(9Nv%axEP0Qhc-79=(4^wdih2RG2vA^GfR^nzP|}7L)4A%^yKtX0)%h6mKAg zB>q^fv?K|)_dzh`oAU9)T{#|4c{3=Qx^P7-b0OFO9E=Ju8Z~m9D?b?jOMmDMBuM^Q z%=&u@B3b6>dwZa=NuvbCZ5owC`xuh1J5fo*wCxuM7^eAh|>?8!9QjG5K2-3?1jt5!=|?P_Xj zI5Gcklyg4s4SQW3Qx<;V9}ILyX;aJ@!3)-Qiv7cN;3QAST+BE}6knnG2OXcy7YGsi z`$Hf2P3OTF%iTQxYD=m>xBockQplY_{{OF&Q7K=cJpViEHGPBP+bg&9FN~QO`K$AP zs`)RB{1(Gs@8SMb2!SeQduxb)e)dc)=XU=G+&lw4Sy%qTXt%2onRH`}cINuq`er~; z_#cBi%C&3s>*n|}H}G@G&;sx6QwQ`VT&n2dY)OhM!}N;BKWBHSv@ELoCv7Fu$<-mv(I!qrvrFot;^n7YTDwHlt;1gpRp=i701 z$Oo&!mkzL=%|GY{*{xQ$5X%+ezxV{uBws<`VDLG<_c}Gn{QCh}aKGVQQ|2shi-%7V z)t-FA@0}Npshay1?|Y4{-dp>2DF(!Ko;rSGmRi*Sn|19 zF(VdRl;Qg%UrCGK=2b5-sa-L8UN%;ecW|jiZI*(GSa^D1O7ReGHt|8deUt8C59Ucx!jvy9@ouR%S>4kZGw>?!R^ekhLgk6;Ru!ECCvck2g^F_ z3Bmb0A4r{@%9Hsr$)Xzt!b~(>5nYz-EjMh0NE5-q)hZfDk0+*gFD(%=^$jEo?9oi{ z8{XlDt&pky^I-CfSAqqGjruEi^!u1o`mK;ZeXg5j@9k|BiR(rWZ0&W@B|=8am67@` z&Aw2iQuh(WL|fqq81!8CpuF=wXJTUT?lZuu{9fPd!$cOTh#s?1{W>WtJ+IWoKd%Pu zy$kutS_cOrYhTsb>Xc0v%`(AV++4gf3NjGQ-l-;YZkfTh&ud71k8nM|7uLg`fixWd zr`BHr(cRc3KPGsTv)$)mL1tU6gz#}$pBKCzAoskFasjx zpU;pRk%}>0{wdqtPjUZhiw{k`?>TE}Mi``;3?*uic^&O~mH!Jz++K$GPUc`?I1j?} zejA&wIev<8P?qQSyaEe?;8O|Srh#UEl^N{d`?D9^Rp%lFLWhfe=CX1SO{WPN3qDTK z1--2rMH7q>VrB;qlxnx%W$b956 z-Pq)Ok^_NHl-QIV>VavL!%s*SqjHe<>)K$4>1LQ7)fo$g8_MIjwzJA#m-SBJv3Q}z zi=#N^Y{_w9uoi9tyZ4ja(>Il>*%tSs^`nih%`~-B1d`?g7+mNd#s?IKebb)t2Bd}4 zHI$97Idz^0<7U<#WIVaBJBs=+RP)O`gigw7XE|T9$XwE(u5{NDtOKp2AiLVQLp)(G z&M(iSlEHWun>)RxA6I%Et8g=zXXNdDb{qZU(saBCFl65}Qu^aF*`lVDqi}i)|4>Fm zG4?s_yb;mvm;glv@r7HC)Q!Eit@J6+Yb+!?8Z}g~X6X;M3Xrf51}6D1At6+ICx~KR zKEY_9wml}XWhv;DbZXbXV^<)l;p^QY@9KBYfBfFgtS*6J?svG`%v}WEpb#caM^4Y9Jzuka&<93I%OMT_3PPr+=W#E2=+rmGVLk6$a5XH2nkUTbF?*75gUn__VqA+ zZex4 zd&54`RoM;ZHUgCgvpTf~140C2F2)q}n$tb=VFCj->y5FwMLCSKvFp2U3t8xQYzL^R z>@&~#)yzHpB=yofou(7j36dpw%o0d7EjvY=XB!o zGW-2$&g3XK!PlXj>FsRY{FqEl zQg8O~s`Fb4D$KI-P7}YwUUpHxAFso)sH|!Ggja(j`Sf~@5P8q{;%dsJ%jXv#7ldN; zKiLg~XhlFiF`v?w=0GnL-J7YXKJ>>mit((GH~NZagdgMAdIxOgtAmoL^|kBW1Zf9Y zu>E-fDS2UOc$O|%#MGOol*s%YM8)}$N=@>Wu(|-cG#nGfMWMI=)RDFzm{OX)3gz68 zm+)j69P#twPN>vlQph|cYW-W77a5~zr#m#>N)X9&b zW_1c;Pr5PxXx_Oy!@O;p;6l+5dWwwMkUw#lWdxfl8<=k>3YhwxhTVI<_7J7}*~5YR zC?be%H4mG%W|JC!nk<_+I(crzX-A3iy2a6VrgG2qG_lJodn}Q>V4gww;W`0oi3geS z<_2vLF$03*FZTIFdUKy4CtBQX=K07^p?KB)hYC!em`_p)6X*W<+0e=?F<^iw$7Dh# zJqR5%t)y)GiYeL6OI=dU>}2pb%-B;qFd6M`F$hsYkvK&`;|WyliFl4 zVm{+86xH`R+y1Q+9BpJr#&&AA2LKfF1>o=A>{-Kq^Iz?EtF1|nRMDh-s$#JnZz79` zZ054y=`6FH@%7ZneYg5)*Y*_(wP&k%12@7mWILytQ1lUgB`9pZm^X?+a~!2^W+%<0 zInR-#y)wpmdh?cL$Jg|D^YP;2wO&Z96^+?fF|cL z%^{tq*bx7G!kW;y5z!|gtl&&hE{nx0*N$K&fOBGpAuh71eiFc0VX5PJ?`NOteauf! z!xY=4*i))gaBYQO;A!~BUT155t*$}>f4IkOrC|v9Y-*~Q%*%w<>27k?6mvXln=np& zLXU|HnAwq@7lieN`;qWOna6^1kW z1$E1Y9Hn*OhQwqS;j+Bj#NzW8yVX^9>qpt=BBT&co=#b(%x#1HzvmlSUSek9#q*Y| zRZ+meC8SRazU49eXeFg;*x1nQ7Despw4-<5c&i~tZI5bpiKhUG!xFZT=g1eni_nj*V34{X$pwTNY2bVdoSKE_mUG-xS_*F|?_ZoQoQv9GCNmn3>) zUXu`B-~Ji%j+Ho(JL33!X1-DBKO*QYgc-VXT<+UMO|zk<@!FS6!#oPl$_w-o3!vFl zOdU$n7lsOSUq40J37=d+Y|V!6cy&!7c=(__#e2%-}iz^4b5V;w0z+c19>W+CCZ>#k& zrvL!bmk#K660z(VqZBR0QnVw^EhJNU_6NDiOX_${9TIIQ`EKOhZ_W56p-h;Pf(i4E zcSNIO(z<7_HuD)#K^75 zAH}`$0gvU}3)N}~u|SQI{AU4g3*KhmJ5jvuYUTxlxS`jnNNM@*sRgtWyw}jrTE$qY+lti_6F>!&b8@;KA1mL#KX}*qXp(OOgN;7axUkA|E`mOw~(Ff3}iF6~ZD; zUnOTiU;Qd%n0Kd0mNMh)zW-vHF+0c6S0*nlGcUxf=39Nh`{H27t3gb90PE)I2dI8S zR~oDl?zL=5;M@TW0Z+4RE9xVV+4N%Gbj|uerlGEj-0`&;Pg?`G5g2>q=*K>SD(Rnq zs#)>*Iyzm#nKmrL^QG*Jg*n-HxZLA$PS!f7o$e94SIgSMp;tEUQnXm4$zK$)t!oWh zlW-`|&QmG2Q+Dwt=J#e=4qp%Jw$>1NwXr*W@uKd@cZCKoz2GvsT}fIYPy>x6*GP&} znFgiz0ajD=`@ZPSx=U)XMFaz`>;)n0Q|K5RLMLs6^i~^*Gr9)1@SX;Nd*XC%ehcC6 zcZU-orOCj&~6q;BZ xg&gr8JcEjgOXmNFyMF#3UVZa_eZ9B!k`}7Z!Vh0xP5U=C?Pmt+wW{`!{{vOis$l>C literal 0 HcmV?d00001