From 443143670b99257d50bbd320720be40d201c8a95 Mon Sep 17 00:00:00 2001
From: Estom <yinkanglong@163.com>
Date: Thu, 2 Sep 2021 21:37:06 +0800
Subject: [PATCH] redis

---
 code_segment/xiaoyu.cpp                       |   5 +
 code_segment/xiaoyu.py                        |  58 ++++
 工作日志/2021年8月24日-今日计划.md            |   6 +-
 工作日志/2021年8月29日-今日计划.md            |   0
 工作日志/2021年8月3日-八月份计划.md           |  23 +-
 工作日志/2021年8月4日-今日计划.md             |   4 -
 工作日志/2021年8月7日-今日计划.md             |   4 +-
 数据库/Redis/00 目录.md                       |  58 ----
 数据库/Redis/01 Redis概述.md                  |  10 +
 数据库/Redis/02 动态字符串.md                 |  99 ------
 数据库/Redis/02 数据类型.md                   |  15 +
 数据库/Redis/03 数据结构.md                   | 300 ++++++++++++++++++
 数据库/Redis/03 链表.md                       |  67 ----
 数据库/Redis/04 字典.md                       | 156 ---------
 数据库/Redis/image/2021-09-02-16-24-45.png    | Bin 0 -> 30909 bytes
 .../{00 Redis详解.md => 附录1 Redis详解.md}   | 107 +++----
 .../{01 Redis笔记.md => 附录2 Redis笔记.md}   |   0
 数据库/数据库.xmind                           | Bin 33366 -> 34559 bytes
 18 files changed, 454 insertions(+), 458 deletions(-)
 create mode 100644 code_segment/xiaoyu.cpp
 create mode 100644 code_segment/xiaoyu.py
 delete mode 100644 工作日志/2021年8月29日-今日计划.md
 delete mode 100644 数据库/Redis/00 目录.md
 create mode 100644 数据库/Redis/01 Redis概述.md
 delete mode 100644 数据库/Redis/02 动态字符串.md
 create mode 100644 数据库/Redis/02 数据类型.md
 create mode 100644 数据库/Redis/03 数据结构.md
 delete mode 100644 数据库/Redis/03 链表.md
 create mode 100644 数据库/Redis/image/2021-09-02-16-24-45.png
 rename 数据库/Redis/{00 Redis详解.md => 附录1 Redis详解.md} (85%)
 rename 数据库/Redis/{01 Redis笔记.md => 附录2 Redis笔记.md} (100%)

diff --git a/code_segment/xiaoyu.cpp b/code_segment/xiaoyu.cpp
new file mode 100644
index 00000000..168a57b7
--- /dev/null
+++ b/code_segment/xiaoyu.cpp
@@ -0,0 +1,5 @@
+#include<stdio.h>
+
+#include<string.h>
+
+#include
\ No newline at end of file
diff --git a/code_segment/xiaoyu.py b/code_segment/xiaoyu.py
new file mode 100644
index 00000000..0a18e0da
--- /dev/null
+++ b/code_segment/xiaoyu.py
@@ -0,0 +1,58 @@
+class Solution:
+    def revmoveDuplicateChars(self,s:list)->None:
+        m = list([0 for i in range(255)])
+        i=0
+        while i<len(s):
+            if m[ord(s[i])]==1:
+                del s[i]
+                #s.pop(i)
+            else:
+                m[ord(s[i])]=1
+                i=i+1
+    def isOrderedWithOneMove(self,array:list):
+        # 找到左右边界
+        i=1
+        left=0;
+        right=-1;
+        while i<len(array):
+            if array[i]<array[i-1]:
+                if left!=0:
+                    return False
+                left = i
+            if left!=0 and array[i]>array[left-1]:
+                right = i-1
+            
+            i =i+1
+        if left==0:
+            return True
+        if right == -1:
+            right = len(array)-1
+
+        i=0
+        insert_pos=0
+        while i< left:
+            if array[i]>array[right]:
+                insert_pos=i
+                break
+            i=i+1
+        if i==0 and insert_pos==0:
+            return True
+        
+        if i!=0 and insert_pos==0:
+            return False
+        
+        if insert_pos!=0 and array[insert_pos-1]<array[left]:
+            return True
+        else:
+            return False
+
+def main():
+    # list_line = ['h','e','l','l','l','b','b','o','o','o']
+    # Solution().revmoveDuplicateChars(list_line)
+    # print(123)
+    # print(list_line)
+    array = [3,4,4,5,-2,-1]
+    res = Solution().isOrderedWithOneMove(array)
+    print(res)
+
+main()
\ No newline at end of file
diff --git a/工作日志/2021年8月24日-今日计划.md b/工作日志/2021年8月24日-今日计划.md
index b202a95c..4288ec55 100644
--- a/工作日志/2021年8月24日-今日计划.md
+++ b/工作日志/2021年8月24日-今日计划.md
@@ -9,9 +9,9 @@
 明天（周三）
 
 * [x] 第一轮，填充内容。复制相关的资料、自己的文档，根据其他人中期报告的句式进行修改。
-* [ ] 第二轮，公式、图片、算法输入完成。查阅相关的算法、技术。对报告内容进行完善。包括完成算法的描述、公式的输入输出和论证、技术的描述。查阅软件设计绘图的资料。画完所有系统图、技术图。设计好系统和技术。
-* [ ] 第三轮，添加文献引用。
-* [ ] 第四轮，修改格式。（将当前的问下，分解成两个自文献——中期报告和毕设论文。）
+* [x] 第二轮，公式、图片、算法输入完成。查阅相关的算法、技术。对报告内容进行完善。包括完成算法的描述、公式的输入输出和论证、技术的描述。查阅软件设计绘图的资料。画完所有系统图、技术图。设计好系统和技术。
+* [x] 第三轮，添加文献引用。
+* [x] 第四轮，修改格式。（将当前的问下，分解成两个自文献——中期报告和毕设论文。）
 
 
 
diff --git a/工作日志/2021年8月29日-今日计划.md b/工作日志/2021年8月29日-今日计划.md
deleted file mode 100644
index e69de29b..00000000
diff --git a/工作日志/2021年8月3日-八月份计划.md b/工作日志/2021年8月3日-八月份计划.md
index 67bf4e09..51c70121 100644
--- a/工作日志/2021年8月3日-八月份计划.md
+++ b/工作日志/2021年8月3日-八月份计划.md
@@ -8,11 +8,11 @@
 
 ### 知识复习——语言
 > 由于java和go的重复性。go作为新兴语言的优势。所以掌握go语言。
-* [ ] C++
-  * [ ] 基础知识
-  * [ ] 标准库
-  * [ ] 面向对象
-  * [ ] 设计模式
+* [x] C++
+  * [x] 基础知识
+  * [x] 标准库
+  * [x] 面向对象
+  * [x] 设计模式
   * [ ] 并行编程
 * [ ] GO
   * [ ] 基础知识。
@@ -22,8 +22,19 @@
 * [ ] 算法
 ### 知识复习——基础
 * [ ] 操作系统
-* [ ] 数据库
+  * [ ] 基础知识
+  * [ ] Linux底层原理和常见函数
+* [x] 数据库
+  * [x] 基础知识
+  * [x] MySQL
+  * [ ] Redis
+  * [ ] 消息队列
 * [ ] 计算机网络
+  * [ ] 应用层
+  * [ ] 网络层
+  * [ ] 通信层
+  * [ ] 链路层
+  * [ ] 物理层
 ### 知识复习——框架
 * [ ] C++/GO框架
 * [ ] 微服务框架
diff --git a/工作日志/2021年8月4日-今日计划.md b/工作日志/2021年8月4日-今日计划.md
index e67bf793..2b4572d2 100644
--- a/工作日志/2021年8月4日-今日计划.md
+++ b/工作日志/2021年8月4日-今日计划.md
@@ -1,10 +1,6 @@
 ## 任务
 
 
-
-
-
-
 ## 收获
 
 ### 关于工作周期的思考。
diff --git a/工作日志/2021年8月7日-今日计划.md b/工作日志/2021年8月7日-今日计划.md
index bdd93364..c83af4df 100644
--- a/工作日志/2021年8月7日-今日计划.md
+++ b/工作日志/2021年8月7日-今日计划.md
@@ -1,8 +1,8 @@
 ## 任务
 
 - [x] 完成电话的PPT。能够有啥有意思的东西呢，无非就是推荐一两个科幻电影和科幻动漫。
-- [ ] 完成数据集的设置（加载其他类型的数据集、更多类型的非独立同分布划分和衡量方法）
-- [ ] 完成实验的设置（需要对比的地方，需要考虑到可能的影响）基本达到周二要求的水准了。
+- [x] 完成数据集的设置（加载其他类型的数据集、更多类型的非独立同分布划分和衡量方法）
+- [x] 完成实验的设置（需要对比的地方，需要考虑到可能的影响）基本达到周二要求的水准了。
 
 ## 收获
 
diff --git a/数据库/Redis/00 目录.md b/数据库/Redis/00 目录.md
deleted file mode 100644
index 4b8b4e67..00000000
--- a/数据库/Redis/00 目录.md	
+++ /dev/null
@@ -1,58 +0,0 @@
-[《Redis 设计与实现》](http://redisbook.com/)的读书笔记
-
-# 目录
-
-## 第一部分：数据结构和对象 
-
-[2. 简单动态字符串](ch2.md)
-
-[3. 链表](ch3.md)
-
-[4. 字典](ch4.md)
-
-[5. 跳跃表](ch5.md)
-
-[6. 整数集合](ch6.md)
-
-[7. 压缩列表](ch7.md)
-
-[8. 对象](ch8.md)
-
-## 第二部分：单机数据库的实现
-
-[9. 数据库](ch9.md)
-
-[10. RDB持久化](ch10.md)
-
-[11. AOF持久化](ch11.md)
-
-[12. 事件](ch12.md)
-
-[13. 客户端](ch13.md)
-
-[14. 服务器](ch14.md)
-
-## 第三部分：多机数据库的实现
-
-[15. 复制](ch15.md)
-
-[16. Sentinel](ch16.md)
-
-[17. 集群](ch17.md)
-
-## 第四部分：独立功能的实现
-
-[18. 发布与订阅](ch18.md)
-
-[19. 事务](ch19.md)
-
-[20. Lua脚本](ch20.md)
-
-[21. 排序](ch21.md)
-
-[22. 二进制位数组](ch22.md)
-
-[23. 慢查询日志](ch23.md)
-
-[24. 监视器](ch24.md)
-
diff --git a/数据库/Redis/01 Redis概述.md b/数据库/Redis/01 Redis概述.md
new file mode 100644
index 00000000..cf98cd0a
--- /dev/null
+++ b/数据库/Redis/01 Redis概述.md	
@@ -0,0 +1,10 @@
+# Redis概述
+
+## 概述
+
+
+Redis 是速度非常快的非关系型（NoSQL）内存键值数据库，可以存储键和五种不同类型的值之间的映射。
+
+键的类型只能为字符串，值支持五种数据类型：字符串、列表、集合、散列表、有序集合。
+
+Redis 支持很多特性，例如将内存中的数据持久化到硬盘中，使用复制来扩展读性能，使用分片来扩展写性能。
\ No newline at end of file
diff --git a/数据库/Redis/02 动态字符串.md b/数据库/Redis/02 动态字符串.md
deleted file mode 100644
index d1648724..00000000
--- a/数据库/Redis/02 动态字符串.md	
+++ /dev/null
@@ -1,99 +0,0 @@
-Redis里，C字符串只会作为字符串字面量用在一些无需对字符串值进行修改的地方，比如打印日志。Redis构建了 简单动态字符串（simple dynamic string，SDS）来表示字符串值。
-
-在Redis里，包含字符串值的键值对在底层都是由SDS实现的。除此之外，SDS还被用作缓冲区：AOF缓冲区，客户端状态中的输入缓冲区。
-
-# 2.1 SDS的定义
-
-每个sds.h/sdshdr结构表示一个SDS值：
-
-```c
-struct sdshdr {
-  // 记录buf数组中已使用字节的数量
-  // 等于SDS所保存字符串的长度
-  int len;
-  
-  // 记录buf数组中未使用字节的数量
-  int free;
-  
-  // 字节数组，用于保存字符串
-  char buf[];
-}
-```
-
-示例：
-
-![sds-example](img/chap2/sds-example.png)
-
-SDS遵循C字符串以空字符结尾的管理，空字符不计算在len属性中。这样，SDS可以重用一部分C字符串函数库，如printf。
-
-# 2.2 SDS与C字符串的区别
-
-- 常数复杂度获取字符串长度
-
-  C字符串必须遍历整个字符串才能获得长度，复杂度是O(N)。
-
-  SDS在len属性中记录了SDS的长度，复杂度为O(1)。
-
-- 杜绝缓冲区溢出
-
-  C字符串不记录长度的带来的另一个问题是缓冲区溢出。假设s1和s2是紧邻的两个字符串，对s1的strcat操作，有可能污染s2的内存空间。
-
-  SDS的空间分配策略杜绝了缓冲区溢出的可能性：但SDS API修改SDS时，会先检查SDS的空间是否满足修改所需的要求，不满足的话，API会将SDS的空间扩展至执行修改所需的大小，然后再执行实际的修改操作。
-
-- 减少修改字符串时带来的内存重分配次数
-
-  每次增长或缩短一个C字符串，程序都要对保存这个C字符串的数组进行一次内存重分配操作。
-
-  Redis作为数据库，数据会被平凡修改，如果每次修改字符串都会执行一次内存重分配的话，会对新嗯呢该造成影响。SDS通过未使用空间接触了字符串长度和底层数组长度的关联：在SDS中，buf数组的长度不一定就是字符数量+1，数组里面可以包含未使用的字节，由free属性记录。对于未使用空间，SDS使用了空间预分配和惰性空间释放两种优化策略：
-
-  1. 空间预分配：当SDS的API对SDS修改并需要空间扩展时，程序不仅为SDS分配修改所需的空间，还会分配额外的未使用空间（取决于长度是否小于1MB）。
-  2. 惰性空间释放：当SDS的API需要缩短时，程序不立即触发内存重分配，而是使用free属性将这些字节的数量记录下来，并等待将来使用。与此同时，SDS API也可以让我们真正师范未使用空间，防止内存浪费。
-
-- 二进制安全
-
-  C字符串中的字符必须复合某种编码（如ASCII），除了字符串末尾之外，字符串里不能包含空字符。这些限制使得C字符串只能保存文本，而不是不能保存二进制数据。
-
-  SDS API会以处理二进制的方式处理SDS存放在buf数组中的数据，写入时什么样，读取时就是什么样。
-
-- 兼容部分C字符串函数
-
-  遵循C字符串以空字符结尾的管理，SDS可以重用<string.h>函数库。
-
-  ​
-
-总结:
-
-| C字符串                | SDS                 |
-| ------------------- | ------------------- |
-| 获取长度的复杂度O(N)        | O(1)                |
-| API不安全，缓冲区溢出        | API安全，不会缓冲区溢出       |
-| 修改字符串长度必然导致内存重分配    | 修改字符串长度不一定导致内存重分配   |
-| 只能保存文本数据            | 可以保存文本或二进制数据        |
-| 可使用所有<string.h>库的函数 | 可使用部分<string.h>库的函数 |
-
-# 2.3 SDS API
-
-| 函数          | 作用                                | 时间复杂度     |
-| ----------- | --------------------------------- | :-------- |
-| sdsnew      | 创建一个包含给定C字符串的SDS                  | O(N)      |
-| sdsempty    | 创建一个不包含任何内容的SDS                   | O(1)      |
-| sdsfree     | 释放SDS                             | O(N)      |
-| sdslen      | 返回SDS已使用的字节数                      | O(1)      |
-| sdsavail    | 返回SDS未使用的字节数                      | O(1)      |
-| sdsdup      | 创建一个给定SDS的副本                      | O(N)      |
-| sdsclear    | 清空SDS保存的字符串内容                     | O(1)，惰性释放 |
-| sdscat      | 将给定C字符串拼接到SDS字符串的末尾               | O(N)      |
-| sdscatsds   | 将给定SDS字符串拼接到另一个SDS的末尾             | O(N)      |
-| sdscpy      | 复制                                | O(N)      |
-| sdsgrowzero | 用空字符将SDS扩展至给定长度                   | O(N)      |
-| sdsrange    | 保留SDS给定区间内的数据，不在区间内的数据会被覆盖或清除     | O(N)      |
-| sdstrim     | 接受一个SDS和C字符为参数，从SDS中移除C字符串中出现过的字符 | O(N^2)    |
-| sdscmp      | 比较                                | O(N)      |
-
-# 导航
-
-[目录](README.md)
-
-下一章：[3. 链表](ch3.md)
-
-
diff --git a/数据库/Redis/02 数据类型.md b/数据库/Redis/02 数据类型.md
new file mode 100644
index 00000000..859da104
--- /dev/null
+++ b/数据库/Redis/02 数据类型.md	
@@ -0,0 +1,15 @@
+# 数据类型
+
+## 0 数据类型
+
+
+| 数据类型 | 可以存储的值 | 操作 |
+| :--: | :--: | -- |
+| String | 字符串、整数或者浮点数 | 对整个字符串或者字符串的其中一部分执行操作</br> 对整数和浮点数执行自增或者自减操作 |
+| List | 列表 | 从两端压入或者弹出元素 </br> 对单个或者多个元素进行修剪，</br> 只保留一个范围内的元素 |
+| Set | 无序集合 | 添加、获取、移除单个元素</br> 检查一个元素是否存在于集合中</br> 计算交集、并集、差集</br> 从集合里面随机获取元素 |
+| Hash | 无序字典 | 添加、获取、移除单个键值对</br> 获取所有键值对</br> 检查某个键是否存在|
+| Zset | 有序集合 | 添加、获取、删除元素</br> 根据分值范围或者成员来获取元素</br> 计算一个键的排名 |
+
+
+![](image/2021-09-02-16-24-45.png)
diff --git a/数据库/Redis/03 数据结构.md b/数据库/Redis/03 数据结构.md
new file mode 100644
index 00000000..7d75960c
--- /dev/null
+++ b/数据库/Redis/03 数据结构.md	
@@ -0,0 +1,300 @@
+# 底层数据结构
+## 1 简单动态字符串SDS
+
+
+Redis构建了 简单动态字符串（simple dynamic string，SDS）来表示字符串值。
+
+SDS还被用作缓冲区：AOF缓冲区，客户端状态中的输入缓冲区。
+
+### SDS 代码实现
+
+每个sds.h/sdshdr结构表示一个SDS值：
+
+```c
+struct sdshdr {
+  // 记录buf数组中已使用字节的数量
+  // 等于SDS所保存字符串的长度
+  int len;
+  
+  // 记录buf数组中未使用字节的数量
+  int free;
+  
+  // 字节数组，用于保存字符串
+  char buf[];
+}
+```
+![sds-example](img/chap2/sds-example.png)
+
+SDS遵循C字符串以空字符结尾的管理，空字符不计算在len属性中。这样，SDS可以重用一部分C字符串函数库，如printf。
+
+### SDS 特点（与C字符串的不同）
+
+- **常数复杂度获取字符串长度**。
+  - C字符串必须遍历整个字符串才能获得长度，复杂度是O(N)。
+  - SDS在len属性中记录了SDS的长度，复杂度为O(1)。
+
+- **杜绝缓冲区溢出**。
+  - C字符串不记录长度的带来的另一个问题是缓冲区溢出。假设s1和s2是紧邻的两个字符串，对s1的strcat操作，有可能污染s2的内存空间。
+  - SDS的空间分配策略杜绝了缓冲区溢出的可能性：但SDS API修改SDS时，会先检查SDS的空间是否满足修改所需的要求，不满足的话，API会将SDS的空间扩展至执行修改所需的大小，然后再执行实际的修改操作。
+
+- **减少修改字符串时带来的内存重分配次数**。
+  - 每次增长或缩短一个C字符串，程序都要对保存这个C字符串的数组进行一次内存重分配操作。Redis作为数据库，数据会被平凡修改，如果每次修改字符串都会执行一次内存重分配的话，会对新嗯呢该造成影响。
+  - SDS通过未使用空间接触了字符串长度和底层数组长度的关联：在SDS中，buf数组的长度不一定就是字符数量+1，数组里面可以包含未使用的字节，由free属性记录。对于未使用空间，SDS使用了空间预分配和惰性空间释放两种优化策略：
+    1. 空间预分配：当SDS的API对SDS修改并需要空间扩展时，程序不仅为SDS分配修改所需的空间，还会分配额外的未使用空间（取决于长度是否小于1MB）。
+    2. 惰性空间释放：当SDS的API需要缩短时，程序不立即触发内存重分配，而是使用free属性将这些字节的数量记录下来，并等待将来使用。与此同时，SDS API也可以让我们真正师范未使用空间，防止内存浪费。
+
+- **二进制安全**。
+  - C字符串中的字符必须复合某种编码（如ASCII），除了字符串末尾之外，字符串里不能包含空字符。这些限制使得C字符串只能保存文本，而不是不能保存二进制数据。
+  - SDS API会以处理二进制的方式处理SDS存放在buf数组中的数据，写入时什么样，读取时就是什么样。
+
+- **兼容部分C字符串函数**。遵循C字符串以空字符结尾的管理，SDS可以重用<string.h>函数库。
+
+  ​
+
+| C字符串                | SDS                 |
+| ------------------- | ------------------- |
+| 获取长度的复杂度O(N)        | O(1)                |
+| API不安全，缓冲区溢出        | API安全，不会缓冲区溢出       |
+| 修改字符串长度必然导致内存重分配    | 修改字符串长度不一定导致内存重分配   |
+| 只能保存文本数据            | 可以保存文本或二进制数据        |
+| 可使用所有<string.h>库的函数 | 可使用部分<string.h>库的函数 |
+
+### SDS API
+
+| 函数          | 作用                                | 时间复杂度     |
+| ----------- | --------------------------------- | :-------- |
+| sdsnew      | 创建一个包含给定C字符串的SDS                  | O(N)      |
+| sdsempty    | 创建一个不包含任何内容的SDS                   | O(1)      |
+| sdsfree     | 释放SDS                             | O(N)      |
+| sdslen      | 返回SDS已使用的字节数                      | O(1)      |
+| sdsavail    | 返回SDS未使用的字节数                      | O(1)      |
+| sdsdup      | 创建一个给定SDS的副本                      | O(N)      |
+| sdsclear    | 清空SDS保存的字符串内容                     | O(1)，惰性释放 |
+| sdscat      | 将给定C字符串拼接到SDS字符串的末尾               | O(N)      |
+| sdscatsds   | 将给定SDS字符串拼接到另一个SDS的末尾             | O(N)      |
+| sdscpy      | 复制                                | O(N)      |
+| sdsgrowzero | 用空字符将SDS扩展至给定长度                   | O(N)      |
+| sdsrange    | 保留SDS给定区间内的数据，不在区间内的数据会被覆盖或清除     | O(N)      |
+| sdstrim     | 接受一个SDS和C字符为参数，从SDS中移除C字符串中出现过的字符 | O(N^2)    |
+| sdscmp      | 比较                                | O(N)      |
+
+
+## 2 链表
+
+Redis构建了自己的链表实现。列表键的底层实现之一就是链表。
+
+发布、订阅、慢查询、监视器都用到了链表。Redis服务器还用链表保存多个客户端的状态信息，以及构建客户端输出缓冲区。
+
+### 双向链表 代码实现
+
+链表节点用adlist.h/listNode结构来表示
+
+```c
+typedef struct listNode {
+  struct listNode *prev;
+  struct listNode *next;
+  void *value;
+} listNode;
+```
+
+![listNode](img/chap3/listNode.png)
+
+adlist.h/list来持有链表: 
+
+```c
+typedef struct list {
+  listNode *head;
+  listNode *tail;
+  unsigned long len;
+  void *(dup)(void *ptr); // 节点复制函数
+  void (*free)(void *ptr); // 节点释放函数
+  int (*match)(void *ptr, void *key); // 节点值对比函数
+} list;
+```
+
+ ![list](img/chap3/list.png)
+
+### 链表 特点
+
+1. 双向无环。表头结点的prev和表尾节点的next都指向NULL
+2. 带表头指针和表尾指针
+3. 带链表长度计数器
+4. 多态。使用void*指针来保存节点值，并通过list结构的dup、free。match三个属性为节点值设置类型特定函数
+
+### 链表 API
+
+| 函数                                       | 作用                                    | 复杂度    |
+| ---------------------------------------- | ------------------------------------- | ------ |
+| listSetDupMethod, listSetFreeMethod, listSetMatchMethod | 将给定函数设置为链表的节点值复制/释放/对比函数              | O(1)   |
+| listGetDupMethod, listGetFreeMethod, listGetMatchMethod |                                       | O(1)   |
+| listLength                               | 返回链表长度                                | O(1)   |
+| listFrist                                | 返回表头结点                                | O(1)   |
+| listLast                                 | 返回表尾结点                                | O(1)   |
+| listPrevNode, listNextNode               | 返回给定节点的前置/后置节点                        | O(1)   |
+| listNodeValue                            | 返回给定节点目前正在保存的值                        | O(1)   |
+| listCreate                               | 创建一个不包含任何节点的新链表                       | O(1)   |
+| listAddNodeHead, listAddNodeTail         | 将一个包含给定值的新节点添加到表头/表尾                  | O(1)   |
+| listSearchKey                            | 查找并返回包含给定值的节点                         | *O(N)* |
+| listIndex                                | 返回链表在给定索引上的节点                         | *O(N)* |
+| listDelNote                              | 删除给定节点                                | *O(N)* |
+| listRotate                               | 将链表的表尾结点弹出，然后将被弹出的节点插入到链表的表头，成为新的表头结点 | O(1)   |
+| listDup                                  | 复制一个给定链表的副本                           | *O(N)* |
+| listRelease                              | 释放给定链表，及所有节点                          | *O(N)* |
+
+
+## 3 字典
+
+Redis的数据库就是使用字典来作为底层实现的，对数据库的增删改查都是构建在字典的操作之上。
+
+字典还是哈希键的底层实现之一，但一个哈希键包含的键值对比较多，又或者键值对中的元素都是较长的字符串时，Redis就会用字典作为哈希键的底层实现。
+
+### 字典的实现
+
+Redis的字典使用**哈希表**作为底层实现，每个哈希表节点就保存了字典中的一个键值对。
+
+Redis字典所用的**哈希表**由dict.h/dictht结构定义：
+
+```c
+typedef struct dictht {
+  // 哈希表数组
+  dict Entry **table;
+  // 哈希表大小
+  unsigned long size;
+  // 哈希表大小掩码，用于计算索引值，总是等于size - 1
+  unsigned long sizemask;
+  // 该哈希表已有节点的数量
+  unsigned long used;
+} dictht;
+```
+
+**哈希表节点**使用dictEntry结构表示，每个dictEntry结构都保存着一个键值对：
+
+```c
+typedef struct dictEntry {
+  void *key; // 键
+  
+  // 值
+  union {
+    void *val;
+    uint64_t u64;
+    int64_t s64;
+  } v;
+  
+  // 指向下个哈希表节点，形成链表。一次解决键冲突的问题
+  struct dictEntry *next;
+}
+```
+
+![k1-k0](img/chap4/k1-k0.png)
+
+Redis中的**字典**由dict.h/dict结构表示：
+
+```c
+typedef struct dict {
+  dictType *type; // 类型特定函数
+  void *privdata; // 私有数据
+  
+  /*
+  哈希表
+  一般情况下，字典只是用ht[0]哈希表，ht[1]只会在对ht[0]哈希表进行rehash时是用
+  */
+  dictht ht[2]; 
+  
+  // rehash索引，但rehash不在进行时，值为-1
+  // 记录了rehash的进度
+  int trehashidx; 
+} dict;
+```
+
+type和privdata是针对不同类型的键值对，为创建多态字典而设置的：
+
+- type是一个指向dictType结构的指针，每个dictType都保存了一簇用于操作特定类型键值对的函数，Redis会为用途不同的字典设置不同的类型特定函数。
+- privdata保存了需要传给那些类型特定函数的可选参数。
+
+```c
+typedef struct dictType {
+  // 计算哈希值的函数
+  unsigned int (*hashFunction) (const void *key);
+  
+  // 复制键的函数
+  void *(*keyDup) (void *privdata, const void *obj);
+  
+  // 对比键的函数
+  void *(*keyCompare) (void *privdata, const void *key1, const void *key2);
+  
+  // 销毁键的函数
+  void (*keyDestructor) (void *privdata, void *key);
+  
+  // 销毁值的函数
+  void (*valDestructor) (void *privdata, void *obj);
+} dictType;
+```
+
+### 哈希算法
+
+Redis计算哈希值和索引值的方法如下：
+
+```python
+# 使用字典设置的哈希函数，计算key的哈希值
+hash = dict.type.hashFucntion(key)
+# 使用哈希表的sizemask属性和哈希值，计算出索引值
+# 根据情况的不同，ht[x]可以使ht[0]或ht[1]
+index = hash & dict.ht[x].sizemask
+```
+
+当字典被用作数据库或哈希键的底层实现时，使用MurmurHash2算法来计算哈希值，即使输入的键是有规律的，算法人能有一个很好的随机分布性，计算速度也很快。
+
+### 解决键冲突
+
+Redis使用链地址法解决键冲突，每个哈希表节点都有个next指针。
+
+ ![collision](img/chap4/collision.png)
+
+### rehash
+
+随着操作的不断执行，哈希表保存的键值对会增加或减少。为了让哈希表的负载因子维持在合理范围，需要对哈希表的大小进行扩展或收缩，即通过执行rehash（重新散列）来完成：
+
+1. 为字典的ht[1]哈希表分配空间：
+   1. 如果执行的是扩展操作，ht[1]的大小为第一个大于等于ht[0].used * 2 的2^n
+   2. 如果执行的是收缩操作，ht[1]的大小为第一个大于等于ht[0].used的2^n
+
+2. 将保存在ht[0]中的所有键值对rehash到ht[1]上。rehash是重新设计的计算键的哈希值和索引值
+
+3. 释放ht[0]，将ht[1]设置为ht[0]，并为ht[1]新建一个空白哈希表
+
+## 哈希表的扩展与收缩
+
+满足一下任一条件，程序会自动对哈希表执行扩展操作：
+
+1. 服务器目前没有执行BGSAVE或BGREWRITEAOF，且哈希表负载因子大于等于1
+2. 服务器正在执行BGSAVE或BGREWRITEAOF，且负载因子大于5
+
+其中负载因子的计算公式：
+
+```python
+# 负载因子 = 哈希表已保存节点数量 / 哈希表大小
+load_factor = ht[0].used / ht[0].size
+```
+
+注：执行BGSAVE或BGREWRITEAOF过程中，Redis需要创建当前服务器进程的子进程，而多数操作系统都是用写时复制来优化子进程的效率，所以在子进程存在期间，服务器会提高执行扩展操作所需的负载因子，从而尽可能地避免在子进程存在期间扩展哈希表，避免不避免的内存写入，节约内存。
+
+# 4.5 渐进式rehash
+
+将ht[0]中的键值对rehash到ht[1]中的操作不是一次性完成的，而是分多次渐进式的：
+
+1. 为ht[1]分配空间
+2. 在字典中维持一个索引计数器变量rehashidx，设置为0，表示rehash工作正式开始
+3. rehash期间，**每次对字典的增删改查操作**，会顺带将ht[0]在rehashidx索引上的所有键值对rehash到ht[1]，rehash完成之后，rehashidx属性的值+1
+4. 最终ht[0]会全部rehash到ht[1]，这是将rehashidx设置为-1，表示rehash完成
+
+渐进式rehash过程中，字典会有两个哈希表，字典的增删改查会在两个哈希表上进行。
+
+# 4.6 字典API
+
+| 函数               | 作用              | 时间复杂度 |
+| ---------------- | --------------- | ----- |
+| dictCreate       | 创建一个新的字典        | O(1)  |
+| dictAdd          | 添加键值对           | O(1)  |
+| dictReplace      | 添加键值对，如已存在，替换原有 | O(1)  |
+| dictFetchValue   | 返回给定键的值         | O(1)  |
+| dictGetRandomKey | 随机返回一个键值对       | O(1)  |
diff --git a/数据库/Redis/03 链表.md b/数据库/Redis/03 链表.md
deleted file mode 100644
index 92b176b2..00000000
--- a/数据库/Redis/03 链表.md	
+++ /dev/null
@@ -1,67 +0,0 @@
-Redis构建了自己的链表实现。列表键的底层实现之一就是链表。发布、订阅、慢查询、监视器都用到了链表。Redis服务器还用链表保存多个客户端的状态信息，以及构建客户端输出缓冲区。
-
-# 3.1 链表和链表节点的实现
-
-链表节点用adlist.h/listNode结构来表示
-
-```c
-typedef struct listNode {
-  struct listNode *prev;
-  struct listNode *next;
-  void *value;
-} listNode;
-```
-
- ![listNode](img/chap3/listNode.png)
-
-adlist.h/list来持有链表: 
-
-```c
-typedef struct list {
-  listNode *head;
-  listNode *tail;
-  unsigned long len;
-  void *(dup)(void *ptr); // 节点复制函数
-  void (*free)(void *ptr); // 节点释放函数
-  int (*match)(void *ptr, void *key); // 节点值对比函数
-} list;
-```
-
- ![list](img/chap3/list.png)
-
-Redis的链表实现可总结如下：
-
-1. 双向
-2. 无环。表头结点的prev和表尾节点的next都指向NULL
-3. 带表头指针和表尾指针
-4. 带链表长度计数器
-5. 多态。使用void*指针来保存节点值，并通过list结构的dup、free。match三个属性为节点值设置类型特定函数
-
-# 3.2 链表和链表节点的API
-
-| 函数                                       | 作用                                    | 复杂度    |
-| ---------------------------------------- | ------------------------------------- | ------ |
-| listSetDupMethod, listSetFreeMethod, listSetMatchMethod | 将给定函数设置为链表的节点值复制/释放/对比函数              | O(1)   |
-| listGetDupMethod, listGetFreeMethod, listGetMatchMethod |                                       | O(1)   |
-| listLength                               | 返回链表长度                                | O(1)   |
-| listFrist                                | 返回表头结点                                | O(1)   |
-| listLast                                 | 返回表尾结点                                | O(1)   |
-| listPrevNode, listNextNode               | 返回给定节点的前置/后置节点                        | O(1)   |
-| listNodeValue                            | 返回给定节点目前正在保存的值                        | O(1)   |
-| listCreate                               | 创建一个不包含任何节点的新链表                       | O(1)   |
-| listAddNodeHead, listAddNodeTail         | 将一个包含给定值的新节点添加到表头/表尾                  | O(1)   |
-| listSearchKey                            | 查找并返回包含给定值的节点                         | *O(N)* |
-| listIndex                                | 返回链表在给定索引上的节点                         | *O(N)* |
-| listDelNote                              | 删除给定节点                                | *O(N)* |
-| listRotate                               | 将链表的表尾结点弹出，然后将被弹出的节点插入到链表的表头，成为新的表头结点 | O(1)   |
-| listDup                                  | 复制一个给定链表的副本                           | *O(N)* |
-| listRelease                              | 释放给定链表，及所有节点                          | *O(N)* |
-
-# 导航
-
-[目录](README.md)
-
-上一章：[2. 简单动态字符串](ch2.md)
-
-下一章：[4. 字典](ch4.md)
-
diff --git a/数据库/Redis/04 字典.md b/数据库/Redis/04 字典.md
index 9804e28a..05ab8483 100644
--- a/数据库/Redis/04 字典.md	
+++ b/数据库/Redis/04 字典.md	
@@ -1,159 +1,3 @@
-Redis的数据库就是使用字典来作为底层实现的，对数据库的增删改查都是构建在字典的操作之上。
-
-字典还是哈希键的底层实现之一，但一个哈希键包含的键值对比较多，又或者键值对中的元素都是较长的字符串时，Redis就会用字典作为哈希键的底层实现。
-
-# 4.1 字典的实现
-
-Redis的字典使用**哈希表**作为底层实现，每个哈希表节点就保存了字典中的一个键值对。
-
-Redis字典所用的**哈希表**由dict.h/dictht结构定义：
-
-```c
-typedef struct dictht {
-  // 哈希表数组
-  dict Entry **table;
-  // 哈希表大小
-  unsigned long size;
-  // 哈希表大小掩码，用于计算索引值，总是等于size - 1
-  unsigned long sizemask;
-  // 该哈希表已有节点的数量
-  unsigned long used;
-} dictht;
-```
-
-**哈希表节点**使用dictEntry结构表示，每个dictEntry结构都保存着一个键值对：
-
-```c
-typedef struct dictEntry {
-  void *key; // 键
-  
-  // 值
-  union {
-    void *val;
-    uint64_t u64;
-    int64_t s64;
-  } v;
-  
-  // 指向下个哈希表节点，形成链表。一次解决键冲突的问题
-  struct dictEntry *next;
-}
-```
-
-![k1-k0](img/chap4/k1-k0.png)
-
-Redis中的**字典**由dict.h/dict结构表示：
-
-```c
-typedef struct dict {
-  dictType *type; // 类型特定函数
-  void *privdata; // 私有数据
-  
-  /*
-  哈希表
-  一般情况下，字典只是用ht[0]哈希表，ht[1]只会在对ht[0]哈希表进行rehash时是用
-  */
-  dictht ht[2]; 
-  
-  // rehash索引，但rehash不在进行时，值为-1
-  // 记录了rehash的进度
-  int trehashidx; 
-} dict;
-```
-
-type和privdata是针对不同类型大家键值对，为创建多态字典而设置的：
-
-- type是一个指向dictType结构的指针，每个dictType都保存了一簇用于操作特定类型键值对的函数，Redis会为用途不同的字典设置不同的类型特定函数。
-- privdata保存了需要传给那些类型特定函数的可选参数。
-
-```c
-typedef struct dictType {
-  // 计算哈希值的函数
-  unsigned int (*hashFunction) (const void *key);
-  
-  // 复制键的函数
-  void *(*keyDup) (void *privdata, const void *obj);
-  
-  // 对比键的函数
-  void *(*keyCompare) (void *privdata, const void *key1, const void *key2);
-  
-  // 销毁键的函数
-  void (*keyDestructor) (void *privdata, void *key);
-  
-  // 销毁值的函数
-  void (*valDestructor) (void *privdata, void *obj);
-} dictType;
-```
-
-# 4.2 哈希算法
-
-Redis计算哈希值和索引值的方法如下：
-
-```python
-# 使用字典设置的哈希函数，计算key的哈希值
-hash = dict.type.hashFucntion(key)
-# 使用哈希表的sizemask属性和哈希值，计算出索引值
-# 根据情况的不同，ht[x]可以使ht[0]或ht[1]
-index = hash & dict.ht[x].sizemask
-```
-
-当字典被用作数据库或哈希键的底层实现时，使用MurmurHash2算法来计算哈希值，即使输入的键是有规律的，算法人能有一个很好的随机分布性，计算速度也很快。
-
-# 4.3 解决键冲突
-
-Redis使用链地址法解决键冲突，每个哈希表节点都有个next指针。
-
- ![collision](img/chap4/collision.png)
-
-# 4.4 rehash
-
-随着操作的不断执行，哈希表保存的键值对会增加或减少。为了让哈希表的负载因子维持在合理范围，需要对哈希表的大小进行扩展或收缩，即通过执行rehash（重新散列）来完成：
-
-1. 为字典的ht[1]哈希表分配空间：
-
-   如果执行的是扩展操作，ht[1]的大小为第一个大于等于ht[0].used * 2 的2^n
-
-   如果执行的是收缩操作，ht[1]的大小为第一个大于等于ht[0].used的2^n
-
-2. 将保存在ht[0]中的所有键值对rehash到ht[1]上。rehash是重新设计的计算键的哈希值和索引值
-
-3. 释放ht[0]，将ht[1]设置为ht[0]，并为ht[1]新建一个空白哈希表
-
-## 哈希表的扩展与收缩
-
-满足一下任一条件，程序会自动对哈希表执行扩展操作：
-
-1. 服务器目前没有执行BGSAVE或BGREWRITEAOF，且哈希表负载因子大于等于1
-2. 服务器正在执行BGSAVE或BGREWRITEAOF，且负载因子大于5
-
-其中负载因子的计算公式：
-
-```python
-# 负载因子 = 哈希表已保存节点数量 / 哈希表大小
-load_factor = ht[0].used / ht[0].size
-```
-
-注：执行BGSAVE或BGREWRITEAOF过程中，Redis需要创建当前服务器进程的子进程，而多数操作系统都是用写时复制来优化子进程的效率，所以在子进程存在期间，服务器会提高执行扩展操作所需的负载因子，从而尽可能地避免在子进程存在期间扩展哈希表，避免不避免的内存写入，节约内存。
-
-# 4.5 渐进式rehash
-
-将ht[0]中的键值对rehash到ht[1]中的操作不是一次性完成的，而是分多次渐进式的：
-
-1. 为ht[1]分配空间
-2. 在字典中维持一个索引计数器变量rehashidx，设置为0，表示rehash工作正式开始
-3. rehash期间，**每次对字典的增删改查操作**，会顺带将ht[0]在rehashidx索引上的所有键值对rehash到ht[1]，rehash完成之后，rehashidx属性的值+1
-4. 最终ht[0]会全部rehash到ht[1]，这是将rehashidx设置为-1，表示rehash完成
-
-渐进式rehash过程中，字典会有两个哈希表，字典的增删改查会在两个哈希表上进行。
-
-# 4.6 字典API
-
-| 函数               | 作用              | 时间复杂度 |
-| ---------------- | --------------- | ----- |
-| dictCreate       | 创建一个新的字典        | O(1)  |
-| dictAdd          | 添加键值对           | O(1)  |
-| dictReplace      | 添加键值对，如已存在，替换原有 | O(1)  |
-| dictFetchValue   | 返回给定键的值         | O(1)  |
-| dictGetRandomKey | 随机返回一个键值对       | O(1)  |
 
 # 导航
 
diff --git a/数据库/Redis/image/2021-09-02-16-24-45.png b/数据库/Redis/image/2021-09-02-16-24-45.png
new file mode 100644
index 0000000000000000000000000000000000000000..f808795e9524df9a57e2374bc42404b5e2de6a06
GIT binary patch
literal 30909
zcmdqJbyQV-^gf8FC?y~$-AE&NX}E|;mvo1c3aB96NTYNMNQX2i0)mu)G$L>*Nfkl5
z1f*vl-|x&?^P4rlHGhw5z2Uv*p7_Mx&wid~pBL))<O%Vp@UXD32o)7%G_kPGU&O*X
z_xCb3e3Fnb+5-PM=cFlr7pwdW%@X|O!b2%lDJ-nF(fG$^a3mJ4gMxt*7S@$E<ezh$
z_Jx*MSnisNGE&;^rfbueyveLiaU7)Ya^f!et7|d@eZ@`xDs_h=AS;LAb5(lq4w||~
z@{L<km4mB<+Qo|(IGAMf+!TJt+)-c*)*ez+us`cO4yki-tIDhDzCBBn`77Pc`r*Te
zY&*AizO0rSSXupgA_IR|OB1&xNk~Xyi_Gbm;Ez@(8u_>&$|DT^sL<{Z!<Q*y3ykm`
z%B4>lzO!6@6$;;VVQvxq`=Q1EpMRL5qpQpL`4E?oaQdyqB|KMG*Zo<)=G@#|j9s1g
z!FCdlQBO~g`qRmpHHrNxt?2}0@Kkd@9fm3?EAQAB-n7Wi&wn!0aPY0#?o~lUgZI>j
zX9UO~hGY+-eGdQByR3|s8dUk6olZ>|TLlfWb8+={cXxmJ(vj=zAs|jTDj5`Q+ndD0
zK0YyVvZUtc=;#>ddF}R>L@vF8f`XjKR#t*ud#mLpAA8tgf`)=0zkN865znS(8xmnN
zTyPNwhx2^L_w8T3c4Or{JUmaP>vw(jr^oV@$*p8|24y@h)6XC7t}rt(sXrYl9+~fs
zzeGsIk{cFQXrNV*TzJjR%}wC72wFEpQQpJjAcT<mrb&I?h$cUgU<hk{2Gy1j3U&1&
zKY!Jyz)SoDBqY@osbk6*V<{;qS=nF|{?Mg0Yi(_^R^rrqetu{2bRL#lKR)AM=l=aQ
zI}mkI@O43#G~2z`BEH8T+9#h**GJMznl8V9Ym1qgnK`DG`W)@K&HB{7dGjVdKEAfL
zHZ(L;<ql!t;6SphynMy|=B5uHD6HBiC#oJA>FamF<J+E7Qc~L9*-7-Le);mH(9@|`
zv9bP+XQwCfQ8XO8oK8+omo8nhdhSei{d&3n+aJp#CG4}lM{8}NM9H2%+gCzQ<?ZQU
z){Lrc6OD0aVN5-C7R**Rw5Wqbyx+p9l{`G^A|nZZY{oE38=IIUaui!We8~K`d)s2<
z<A)CljW>_W%%8do@bj;Ht1eluo~cLi^KUKXJg~8u$dxBT_h<%(gqW|C78bU&W;NY!
z_NBO?Hi&<Oec|};U-v%Zf!0|`^V_b3zP`R?hD%GYhkZ;|wJM)()q8k&Q2g22qP%4u
zv|!ZonAiA&!|Aby0iT!G(QThY0t&vC%>XIFF@6#a+DAf*<8M_m&<4vzA+S=KPWFse
z4>W{Y@k8G85uHRorEC2ja2SlDxzLv`J~lnwXlp3__5H^9Tj?4s)iBh#bLYlcOUugg
zaVC3U$yAtp3_;0Fdu=poR;*0bIi(5P%js5DSEoz*`Ko$SRnJ_R>4nAft6HG?$)xMv
z>IAL0t9FQBP-y7JL=_tsm+}UctCLe3sf%9N=n5+voBeeCwOEA?Jbe7{TNWJ`E?&%z
zXn%20SxqfjgEKEDh5sQFnxjq3wkhL9*z$9a!VHJLvwq=Og-+@nb<#(rE1|H@zLuBF
zmUlihi06CnwlNb)EnFNakP&u)`Gj5J8ac0N`~Bo^Tr0nS7nVPp$7yHgSb=LvQ{4U3
z+gozwjfsVYg<hHA4YRJHA<Z3cdQRcT<5@>T<0Ld94h;PKTCK!)ac05}O|ftnI_doc
zD*K-I<F62#T~-@gUHw%5`Q=^5xOHJ%>4k-bRN8y`p<&NQ`kQrEQeeG)wo5q8mJPq2
zj`l#Yuw3AmH}cw_c5_=9Rb}O$Ykxu7e6mL!fS>9|PoG(&^`^&wQQ)jIntry~PcncF
z=V*UJ65>Gd!ztHaJ&7YFdgSEfxjgb#vrRtvrle8#n$Av-0s^q-UwN(9y<t_xUY?Y~
zRM*tViBO0*%oS?n&U@1@)IFK32?`1-w%MgQ?D8jxdzqOz8%Dy6mXNsdBq1SzA$%@f
z={B{f<NSwbKZ`T6)$fxJGylL^nEL2uPryX6Hd#x=rJE6+80Zq-zO=fEw&;ksmoAol
zm1HsbzVC|{FJhy0+)mX)cU5GxjRcqITW46&Xyf{px6G|qw3c^atMz>OBKK)zWMpiN
z{Ngk|fx28j%x0xu`I;4$e#Fk=fV_;%gRw}7yv9a}D|K7OWC<M0cwW}rSFe-_^1i-f
z5o9&G_Ck+$vjq?By86o4XY!32{jRu`;C+oJ-`;QS?|1epHkNmFDTqEEO=n9I6%Y`(
zdGksp!zjx)24Uga3<)oD#XqJO9%uPou4=_MW7WUfVAr@pYVmdff<zQ5!)^}yRfk2B
z^O9!1z9a_+$9AOW1k()yGeU?xBqbHLSEW%XRLuGLKzZee%Qw2u^N|YdjX$cazcny5
zH3d=NheZeb;}v&}Qaenp=-AO+Bs$IJx~_eTq~z~tNy=9A5g&KG_3-#cG@XRuTHdD;
z3rfCoHF^Z**pF|FU$*4V!r6GV(3cW;iOAK#;m&r9XM-5iW$UPBJOcA@`O(3t8qC;d
z@z(aLhXWn-5op?YGcVanWhJFnhEwOaOAm5WB>kGc?S}*f+2rKr=DS@o(yuUW6qt3K
z9)%tM#7x+IeM)qK++}rKV}sEBt(%y`9G0QaYPEy+WTV&q@)u0*glX+l+P%ebDYJ(+
z^*D^{opD18+@G48Gwr#IbN%?e|9dd^vcPz6_LGh){Gy_ip|LhLHjk`!h3221csn?3
zrV849)n`zAFc7h5ekoi%_`JgEB1v&&sCGd)Vc*)DOy5>U_EzGVfIiCJ5LT>@o-_gG
zUweC%pD<$`%@9%xF<fN~e?WgT@$wD#G;I4Ghmw~gO%Dg?R9=wFo)$h8j`A>{h>?G*
z^z3W7>0f`h$U~EluGzOCc#N_n(QI7o_1;@GxWG&k+S|?<(dh6!AWy>kdMfGM@F#z<
zQJ$nrJXz~b=PKTL>{$2Fgs*-7?%z-t@#wD0!E?g4f<V5Y!~m4$T|#@optWmnaV`pM
zT69K@Oxqsqt%WzABdg??la5omKsJv%5vQr8b;I&eYe(KpH=ZAXZC25>W6G6`53;Q~
zTyGBo5-tXOdv7!Rhc33OhRM&+z1Lk_vjV@O#EbYjd3AMlBFY-&INw$CWU?o#McE>g
z$?EvPCVj7X(vy|RmgVGdH=dTnRds7?OS6cJl~vBQN~BfW?OAG!e-iKgo8&fG8ZDo)
zsZd`pFql66_8yl+)m9+;YVOzL-0n_>j9`_J=~6VU1xey)#r=x?x{&OHvxPK!V!J#-
z?A7;gA86vtM@WZWVf4nBE#PGRO0>rAzx5+Zd%5*TH)G={r|ezXumr25YX3It>bEVO
zK_3b-=xk8>hWVIBRJVz;8}%gZEfp;#IH;cs89nhFoLN~@kxtO?!WTTV-sI>J7P=K*
zSjb+aedETB?#xR<R~|EI8gPw!SJ&%ncU2Ct1*sZ%9@t*SXXbCG4_p`ghE4ig0^7ma
zIbk3F-o1ONK5?Aw-UfVS2V)N<NJ#{7?CtHBzISN6|MP35HTH?V{wq(*lB2fdaa{Y^
zCR%^oj}@VGp1*g;?)xp}C!6~0j)*!f6gHAPir!nF=CV=+m=l|lyViN`yVHQg{*Q3p
z+h@l+ybYVJbDsi#jq4mbS{_nC_LlC8W7Z6Maqc`0`e?PPqH&MvIzcqVAU!o)vju$|
zj`OXZLAa#rAAUwb5-N=3NIj1UW0Ve2uyS!=FE`}~XVrJixL)=JyG-Y$&S0I>;w3uw
zxnIfmJHEAu8N9RXhH##5#lgub29Zi-Lcr3B^L%8%_Z?y??OiSIn>T0PS>eyTh$z12
z>RL08JFo7IqgkYU(o#8S@kLWE|NZP=<F`6Rjp5j70V)QyTt(;X^Xj=iZ9QbAz2~lR
zej1JKS1u|lDk3*gYd;H^%1ZQYpCNu}>q>oH9mjbp^@@z|tzKi3B%GmwS%PPWr4N~M
zI-WNcdKxFk#AHqO6H!u9I?`TseePL7`Z)tnTpv(ZFg|(D=Y;3%%z{IUktd9fMAkPf
zE?yx~OBV~)ctyc87D366x#GUcMsl0@MWy`b3lG1%9$bDZe5d~*yG6>z$Bib)SjC}P
z?mUpZAT82_hf4L)^k#X?<N|<kH?d@>*27Vyunqbi9*Pw@tgjq5UwM01=o5t5cS>7V
z-%)T1JORX~|Naq)se%bs-;?o5vt@(W_I8<42M%GO_vT&U?@-h_ZHtU89TL9B?gxCE
zbiStt58Kj6zS-bbDx}YP@AS`>ytNy<nL=k2{W_ZT@7yo`wl^hpW#redGcjhXo7`7c
zoikDReG3a;%g}}JT~b3s!}LctzrBfvXQkVN^7Lg!wO7o3_at(q_EwOeVq0Al%JM8n
zMlLI3R!TX$)`-eLDoWJE*qCMNcdP#j>~qYXQ7{?G7Q<fDc`kc_17G01<3*w#5gCkE
zTN|=elF@saf|814q@;oE&$0LB-CY{T?wQ51s%3DKqaRS-%e>9AONf1-_=9|J&vRfX
z>sdQHS>;SaV`IMNl*eMadp&AXzR`2{u8PdLfsr(0YH4F*W75~$fpXo_e2=~|wCgVw
zDyXVXzq1PW-^m>(TOM97o-Q*?ZYT_;f^D@-B0b!a2E|Ax%!l`U7m18O|9+H9K-)zF
ze$~<pKqQ5?+}+(3&PP~OR#x(rnL5#YHu>Oi?&7MD*Zz9hKGwC|!~Knly>vS%YDTs<
ze182&*Tf$x@`zZ=tq=BV&i($)KJZy{1Wgni8ru7Gc4A_pWl+Srd@u65dz0>%2}ObE
zBE*C;Eo+K|nxPiX5qvxSn|m!E<CQhiT0V!9@9v2ReCX(r=7ZVX?OhAYp%!|~NBrV~
zko^7o_s`NG3dTmu%vEVu6px~<u9J{3R!|TVt544=G6RrTQ&0$N5E~MR@-0wF*<O@9
zI|wE>bwAl1+o)TlYxHwhEqIDNU+e>39*G}@)5lr9dIj~cjV`5lZiI6^e*74-!DVBL
z6O)w0>cfJ7hd+N3luVXyq#5Gt(&iD?@z5|VQ=TT3ANE%tA0LNEoDcT-ARwUc<w#qG
z_vv2J*A`Bl@9b3g*J){eHs?Ow_dC%UHH}Y~Xz5AV@l?$s*&)9D0;;Mawx_Z81b8Wj
zG4(EX6AbFFM4tV4ot7eC6Q`RY+Z)M4cd_(CLIN3C<)HFu*-j$H1wnTF55LUuFy|1`
zq5mE%W@buw?X~!ypPrt!Vzf^@toXN+nFZ=L>nbbNSLVB5AoB@3d`%ncHSnXR2<ZPX
z@hM7GG0LmQY**WjLD5-Yd@Jkc>O>W)QMXgaCFU(AgKl?)W8`gZZ89bxMR;{LbvcE!
zPj@9D<=fAI&%+;;wysCfNgR&o-ETbEo3w8_Sdgdpd2c&X3{{rdZQ-@CNBXH;Rc{5&
z>98MX!M!FpM3!y--TDayT8u{O>({UIre&}8mDh)BKPj3n(|6nc^pjV~b0_9-#r1|u
z`seocF6*@)KVZ`o;xrQ!epzk?6i;=YD*X9#EV8ef06G*^=?;XOu7!VPAQfO(qOo<*
zcNY}s8WF;I|723P>3#5X&FQho6&x?G-2}=}M%N?F4$jX~;&}S`p1k*naB-!?rmF4q
zY;B7Vxm!qlhwrau*P*D5a)n16BhxIMShgf|gkQvIaL#MJ*mGa3pG~P?+-1G~>iiD{
z8JP>FR}Av>DojyQ@v&DpTSChBV}3#Hr|Kl6tsM9-hGv=Sq$ed6WTZfi7gwcFpL`<3
zke7rM)h^gL6n_n$o@7_YJ-|H2=%i+3l$#z01<(+!nB>FQjMq86X=mUj((TPtjHmOM
zk6q00T1QgY>f27t#%wiOb<oBCTCwjmfuig_^<P+$8Wq-^vHq!Sw)t9b?m3Pa>FVlQ
zTIPB0efjdmlXumgN}+mLBMNWg7z(bQJHxgyfVwdhn2!sOW@L%Ilvfq(ye2AcR?E{2
z%BM$v^9Vfu`Qv)Ma-DjXXRcgi+!CR5g!-cQFt1tmr?^eCr%z|*G^9=PMX>dv{iUU)
z2l<vv^20Kq9FBDgo33|}#z_@-TmPCZEg>PXOE)QeuJroS(j#nDXHNN@73;dXI?0ni
z@uRv!75614p5x)+2|>lQ?~6PB$Q97$w5)=VkdWhntA@rP!2S8&6ji?)f`zsD5Tl}?
zXn5CRG~VD*HRCoW@IR};@b+%G=%9`piOdeSq*~DQhwo|YS-8pC+2q(so}4}1-HIov
zm#<|1`c)~}9$TzEN`E&bHS}qHZD&CD0Rvk0$`W<V0%v4+c$+6*gA(c0tMg){ELG2b
zc8st+w{10_`onGHGKOnbP0_^Acur7*4!gf1jgg@2ezU35(F&$W3y1)#M6*?xoJQ+@
zs&@S#PXeeNt_N;3pZPjCRQmI)+Ri?B{FwU`T}d~h_gLxl^wiOpIQ(Vpi^u+wxDEK+
z$BUVMbd;1(B2CSm<OpII{>577wQoA*#b2O4QB{qMj!s@MSUat_VyJb#wor;c`h*%!
z0Vnlg*c9ya`%nHZRR>dK`%Vzbe-3G;3!c|AaEX6Jqp)()|J-vMBIAU$m6e$pL4{_i
z(-KXq7RG+Wrq!#cO;#^;Ou_6{o~E*kQ%4WR%kD?VS7(o|yFXW~pYN8tXyxFNvJz0D
zWKwN0P-;D%`mpsgTJrSIu-dOTb9uqKxs5k>i){y+UZTDRiMg$pT3?}g$6(~W^_kqA
z{IZ+~Sql|~xNE73hcd?RA5Ie&7q7eU;ll?JR#sMSZi0UPZ&AJ{hus%Or1A>aPY1_)
zq0m?PM)iIx^~nXMutUN}yS22`7p{C6$@mM=#HPkMH76%$KEUuob(7DLP=_hGy@4)=
z>#DmbP0W~OqPf2d@7|qXfGeC=?D0zON@$SM(UrS>VPs?+=@(^S$g;VYB4|Q~T}rYG
zk4Gf8lSd#FrWntP5D}Nlh79fQ5-z_{%e)QwC0~i&&(Cj(`f)>l3G1fZosudN`)v7W
zIzSvBs%Pu%|Jyv3@d>xn!pV7+29yXZ^6n`sw`Hg6(x0dL28D00M8#Vt>D;V?T}J_8
z5!Xak=Bnk=;2DJ=m8z%HV!KBBf`dg`Y`c>VkCrM4>SNh&-FgOOoa6C}+}|A^c?nWw
zyGg@dIWp%g>lUS@r3v6o=t%1FCSr3a`EHp~mJ<qiEU%?+8a$eQVYE=X-!zXMZaA&l
zO`VkT2SZ6+cQM#gh-3xZ*74@ffAmVnp=@rG!}nHJ@r^?AQ!LHmtcV*+KpaY^M?GP8
zF&zNb&}{#m`DeUt0qGEe6tu@X47IMQX_M^;XMdGmE<8EEbp(KmM+PJu>W`-D1zn8~
z4h}{~M-jAv-SPm)IKvBqKmHyb&iI|37)lVji?(MeC*SO5$QXfQai-BL_o9^Mi|}xK
zBBJE``l&)sQV&;51pR{z>Kyaui7KnAq<?Jf>^M0%v=D5)bdP?;BbRNxK2_Jnj>^Z&
zo=>xHioI9yt*O2sF7B!~G0>Rq8}70nAm8ksiYVT@_XS9$Uxr*N5jwXXkMreGa&LZb
z3nihPta%b1t@D&Uw^|`g33$rSN^K9H&HC&Y-QOi&)=wa*+caQE^K^HYk(d7|-Ph9t
z#8zuSw;Qg@EcfWOjME`yUXHfNHiaGa=|`uGW>3u1l_W?=1mD*GVpJ!x)2R86uyWat
z(b^#%>VTBCzdDh-pFrvE>3Msz<@~Y%wQ3kXweZu3hzNnNR5`erK&q*#P1;D2Nsq^+
zooHYBgwH`3-BTG7(j#37Jni{QR}>~TIVGO`Xt!@ZVdc7y?>L#jp|v^q+k~af<1&Os
zlB-v9+-_KWsj}`rgj`@{H+W>dbxv^a;wM$lrqZ`iOfh2TKG5m6XCNhsjoqo=GRo5|
zFaI_AV{Hve+}1DY;=PpgiTU}zx?-8hc?|P}3C^*;f}Bk2HkG~aXx&F>fESxzV|JOZ
z?IQklhRe(8Rn^tI!1vJk{LyGMD>S=!;X>j41>puIAajEr<y5!m<LbZFZ``eWUsvC&
zz_)mb-g~pa>1lwye0AX|<NPR`I&1FdPky&`V^b1HH>-sYpHvb7M5*zoA0Jw!KOD|H
zou8i%a(w#qDL_>X4UH1rGAMw4udm<KyF3zfXq>QBdWBXjEB$FqxQF0k1WOPgI{Rpf
zK;VYnzkd&CpRDq|NxgH?P1Vus)~}2&TJ=$K=r-p4O|ld9U>6hfgc|wt=g;G=8%;;+
zIL%e!Fn|7Yb93q9ZaGgJU0eXZX8R}U+tV=>r!Dw2sjPFxrl-?hz533q4X3WF1lCOL
zd<~H5+G;Si+1c5SS-#3o3zb<*JQlNIy1WmU-q8CUZz0ol60`QLI!(-lb07gOBA?8A
zKgmmM^4m9|8NIJBoU3226!rJ@0aPzJ!Z}AmLRkke5r~_fGSB0a6Fc`Cf*OI3W;_ZZ
z{6LM-nMsHjex1j#@`3+M@81_;T_RSXuduQGymj;DdMLeb4D}v>8zFXf1y%-IDxT#d
zD;XI~L*bZANoi@R^+3inAR4O=o(&nPRO-E=_vK_{`qLX5eF)o#HQLP2KzEr&EiEmD
z64Bqhc~gj=e`jZBW%!L+|HgiNN(x7Fq1Au9a+%i&$q3&6$TS(ez~%pc({TR!crh{M
z6p)gVR{0#cl9MMxxy`O)d0|}A*$FfY0P5Q%VjxuPYG`W*$#ZdWQL-?9LOVM_oHnX`
zD&e;N8l?h5t``>yl(AJz#D$%&{Vu=1o{I*?5CyPH`youJyX9HTTQj=)x+q%l)RYv)
z!H3q?oH}q;7bcIe6X}i+kKYT1wNKa9*Q2mMf~HiM;eHbH%$%;6MARxNA%P_jIkfGR
z@n<_)n;Fth`%e%)dU|{FL*Upe^F#PB-2d(iz7=z>eE04y#mlHD-C{VEEe97@NoD2N
zsi_9wl$5SfURubevKc8(%*>?61Kmm!SujSpxVY|r{``@tViL4u`Rjqv-d~^I3R9&V
zG_^&}A-f%894I9h>`_>NMx$wHXw*MAFU4VCZbpo)tgIXzQFz<5v?$I#>FTct$BzO<
zOoKMBpdcwJspjc4)unN`FyTVB;qQs6H^ITOy1Lix;gMvjuhG#($-7>mWP|T2Yiia<
zO33j(efsq8rbvPD-;R6@(7A{)w-v1|ejbN_PguCwbJzCq<5Epo85w7Oz@CMLg$|C6
z+q=6u#a*xXh(@BSt6c^%Bs4^Tnn3Q5vcUBUA+4CUZPz$_o9avgt1~n>m;)L95pj=g
zOAu*FO1Q*BBd+hLmrZ>8)-y2+Ib>mRQTYbwfu_h^e4YmyLYa_~aUr{&Ld>}^GE&vX
zW(i<Z0w=69+Qh`fkFINRUl{4>>GP8!h<4OX^bHKAK~!O9VPV-MM<Z$uz)eL(#aqI{
z$-05arD$E2F-1V%v(tz<hc(Yh$;i|LUVx|<+6vJ*Jv}`?E`k)I`NfMDMa9IflaqsR
zP~FgATy%qpseY~I&mZTyf*c6M+u?JTeXl~7zf4Ve_atz@hy!u?(QQN57PjL2wQJY9
zvmHC5XhR993ovmc7Iekr^75VH8x6yKecWPVhd_HO@qo0+7nIFoR6|BaCL$sN(h230
zAXGpE#g4iUEM`V__RGN#9$$+*yUPh@75Ftje+;+^E(Ekf2FmIsi~t;-26Ae?W}c^r
z=O6ZMVmt(juav^^n7q8a$8h&~dF@}mJU#rg)DTinX+~$uXUjq*^jQDFgDmZ<B(WTK
zEIi*S!E8X{ZH*}_D?>%4o?plgafTZ7>sNKM!@V_e^Y+U{EKE5`JiNRcwX?p;Ky*z^
zPI?XHDPF&R9rZF5e<2&^`qireKhKk4V`FzjQnMvOu+fAXo*t&{{d)`y66kIaXtm_j
zt6I^R&AZalM0Dt|faqwVsH>agOuKM=92q(J#!RC)@atBfL#%G5zkY2=CMez~9m&MW
ziRZ@xqq@GnK3t$$Ra2uYM@*s-?f{w|gzDDTyPyNMw6wr_skQxF@mSabesn`r)C1Bx
zL}gGYWLa8sQ2}9LsZ}L<73;IjlFZEKt%!)Cfyt=<@S%&{w&_(Ul?K3s(J~{@o~)ld
z@mWlFtFfOorGz!ouP!C^DVABDiJ4iWBgzM!1xn}y4b0RnBEj+>KYl>5E+{HG0gw5k
z{Y6t#Q_p1(1aAW&2(j7+C~`7B;2HS5|2mlB561Bk2?hgHHED1s2?j=ofJQ_enclxT
z5bA=1LC1MlSxFoSVHXJF-OWuXug&2nBsBUo;;sZ2fmVa6W9ywb6Vp#};M}fWjY~@l
ze-{|omL(NfNwl~TTdmM1t;)vAYQ6X+{nxKw>0&OaC@Z|?P&FCL_gAl8bs$d5$cS=G
z6MBMkg$8b`MS9|Tgh!#`cQw16g??FCS%_t?AV=9hP?E8HT$y{@^UovT>wBQyf>7`q
zVny@=BlJRcK~h@UN3*t&fPesyBUICb`a#-42CG&Zh7rcq+}vEf27=<%<>`;YM8>KR
zqj{byyob9#KK9nr8>8g6o~yX`?-$svT@ZgDE<Pe9c@8U;l!Brwy-E>cx8U~nHp0oF
zfrXp~^%#B1z*K(&Qu{sFE!VFD0G%n;DS7_<IgI4^_&9rRw<RCZH0rYS%2)+2JNxGL
z_P>X(yd#52_<9WL;VEo$SP~R}c6O*?aRvqkM%>V9LpyUpL}k31n3M!sqEp|iTgdhl
ze22kc5RQT^;$2$W<oH{QE%w|lfm=k==8$KMY91GXoO<5^q?ZIkm~a{h8UTYM!@}-N
zjE=hg-TV$!9O|VC<<8eKH$bYO_0~R}_Wbf%bhY>flPx+-D)b61C!|+l;f=}K4WMM+
zZs>Hx+E~z`@L+m?4{&sHN|W#s+Sr$s!OVf42<VZNo<90rZS6k5Gmm4%)K{SqcVTS;
zrSPl^W!*<{YKS7yXnPqM2@t_vLnAgZaRhX?zr)}1!c9ozKEZ9lzGi<d=2D!KgG3cX
z>Gb=LZn|bx2rG^Vy@}OEy!07u$?f^)x0!`Sd~!1RwQKp>kXs~RhuVL8&mkayX>B#f
z6l%ClyO3YGo%l?~uN{uxT>J*bIvLCihai%IflUT<q<ZgONA?2P3_O7Vj9?fF_2>$l
z8yM;7!Siby92``-2I<Tc9-%-r4d(h=%@Z$R*gw?Qb25h&e?nWzK!%<MO^&R!tqn=M
zwk7Z1J3|=+wMA4^6zEnpwY7S3#5&O)T^}x7xG;B%gQE!IH6+l&1x_w5;IcDfW6hpC
zk?=WmM#DJ?%;``!MWUX88b)!KMH7;BVFz&hX)!Sm%*_1x+A|o7MHd)zhoSO9o7OqX
z;=mY%K#BnKfu*&z5M-`XI!b^%F@v#a7GaGWOgU6=8FBBwe0Y$*_O`d<lya!x8e#}w
zumCzjQSk*N#6eZqhs9Z0SfL3Gy^<s6;P-Fey^Fg)Qs=ss3g5??jltMCEfC-_%SFUc
z<rtdLq2%I1q1>>H2@4|-cmAyo27t`W%&Mv?O<8T~KIsmCFfuZN$x!Z)l3Kv6L0Oak
zvM>o&M69=b!oM#WANF|et#<Q{Yo*^JqGa9!fG`5*@wj^z8xP8|II0}62XLKLdM2jg
zY(UxXfDfmphTsb)+Cxs1n0SpYJUrYA?xC33&F&{*XkiB8zbT}QM`P-o9#XOtQ!g-D
zXc!xNAOGDV)oE>Q%|jVTo0?`IxuvVWKT#QfTvBG&QrEzsh-^vM=%ecsIk^y27RbDm
z5NOnK!oq&nOy0cTbUbO_Tx~OK{VCw0(lw3rO24i!=ZzT?jwJ^d7b^;ImuMnL(8$OL
zF3G<~L>UWIJCG-)lz(%#es)qTD1)0Q2TU19isvOa+&gLApwQ$zFC*A-%E)YPZ@;m;
zTukt&^8I@-Gibm?RbC|~>fE{W9F=w6OF4uQd5WJowWOE*j<*TDnV6O*Yb!K|%osRH
zC_B)W#(zv%+W7%Mb9#Assi~=1%|(Bx%@c!tdb7N|+_1ShkgAbw5Kfvj<IAwlQ*;}K
zE^4&f{=7sRn3;-z`38K@(?YmPlXD2;EoSI9)DV{%rjWeuG7SH-9O%*Y`_bM$6Ty~}
zEfbT8q0i#DldZ|)JK9_@%?gd$F`?ozGM+jn+<%&L<!9a|Ex+*SqA2nkM;pk=Xw&vf
zu<R#kt09M8@pOL|5!Qv(Pv_j<#Pr|fLfzy(-;H8oIv?XdpUOz){zqXKc5B2Y`BNL4
z?&0rH*LVBIc_|l5E-*6xT3PAcP$DLwWK|4f>n%Km2O+cPmXmSTTBXkkX+>M+{asXr
zzwPbqEd!L>{e<|n`YF7Ii=_Av^vT~59$F~%3b8H80!CwsZ$JItc(;D;VqDw+75w;N
zP6ky8$ehfHs#&F_+`POMu;p}0bm2MxF?ucsf-MNp+$w$XN2}hXI$bHLBHOD_KhcT1
za+{JzvvXDJ5JW%-o(KpG1jHojcX|vu0j%PVf2(yuSy9nrt$Ix8$+tgkM3N1=qec)v
zdM@Xrnt^>R$C~IIySTVf4{SkRF0Oc#1|ecD8!Srz9PPQg3<#d1%>@c%A0P$*_y9#U
zkSf^w>5~+tlr}%&N^|Z#Ub%m^y}9{H-0h}jtfmed-1UIunK$fTbMqgsMV<Qk`VvTF
z1ly4Ds*UhguFVFmr=z1oj*_96@c-^_bC>L>_uA<f22kNbHsk&?a?I3=Fc@mVlcW8!
z!<7mMnl&{wZ6Sn^BMhNpu=ivY2X_@fCrBr)q)2__FxLXx$)_uZ(bK+=f`kNNG@za>
z2dxt#^6vh=o*V^D{taPaa$dL9@wX5~kp()00|^WV=Ur_|*m7=Z>1tmJKd9AhbOjK$
zj@|<cXGX*i7zU~y6?IcnIx4Ev`1rtWNIlJ`hjwJA8)v8XkT{zq&uS*2Dg$qcy_Hq4
zBOJMB^NMXRbi4}24q^*E+I{oS(lEs&AhGUvHlVKTz6^JEcJ}tJ>{IFtiYx8ai@UBW
z+yfcYwL=-i!fMc%bp{Hr8}|ME`xoFcjfAHFi1a%zQY!-Tp+Zl5qh95&mb{E}OJS4|
z4^ZM{t^HV<q^a-0FF*lY1B3n=^uB)?PYV-@1n2Atj>xRU2$OG`wB9>MI!9uaU-Qym
zqqwh6g*$FWF9>KT`|-+ie&anD2(BR#-vRaE5K`r>s-OOT+es&lZnbomF(?{&2;djc
z7fP*c+R)f|3WmxG^;LWTDG;54N7-r4K}a)pqYtCPSd?xH(1IjMB=IK(RgHt*+8K~+
zhM<4Q3B|Q;hIId>fn-6f(oT?8pbQaaV#4mc2@gDStn9T?R=fEoASj!_PC-rWY$x;V
zc(rQahsgOr5!)0#Gwh6;7LXgoAd~{n(DfiN?B&aPFzmcl*nat(oEBvnmT<097<eGh
zjmCZV{VPnx*Ct5sr3tNpjI0^hI065GIpPi64L#rGce;})d3IcdGWHs;f+1dAdXt$n
zL(9$R`VECASU6krB#prK)4C6UBXF&ip}Z%bh+rjIJV0-~V9WSBAFoDy$%;%+zE7HP
z4p7qB>3;KhZ0x<Y$xulG0;b;&qMy_Ht87lY&3><x>nVn%oUfdGy4gm=e(B;x#{Ks8
z_SJ9I_-bnR?)k3QEviF3cedYrCIOjznR3@<cX<T3Z(l&O>^}!6{KiGHK7G=4aNzr4
zXlXfre6VAswEE2VaEWbo8dBx&f=d2R8N^3-SR#aH+|Pd`U+o7{?AhTToB3CWq$WWP
z%*DaqpV1bfxY6kCFzwUXvy)5=)?TEiAK6uY0~jt4Q^39#M$1~z{@u8&$uL^f8}wWd
zOg_^QiQ95BUZ=q4FhR2D_^oB%9eS;s2Jhwpjj@-AtF4ZlvnTxcOdFV_kIl#1;VNqV
zLmTNb+HA`Qs8=W}rMq_nP(MO|4(^$y@ILsJth7eRrB|My@pm#RGE&FZzGar;iil+Z
zGJZ-=t{q>r-J|;#**JN4eBkhs1vlzF27Mu`ARLvQFX9_r0`*P|Oeicx**!X^#V`Hc
z-5R#`a?`Q4>GPUJ9|haF!9ux8@zzVb!=~{20j$qUGE7VCt+}HU<$$2iju$1jjUm)R
zT;XCC$kN<-c_V|@E^1s7gSEL|<-YX;coWVxVds_6HMm%Uqqld%0tY{hA5w&}&(#gw
zJ}L!gB&K9_brn?huT4H)2}Cp^&vUOARaAwAU0$;6;4;5NMoi4Go6612jSz&Q!hTQ<
z(I_ZN03ec;lT*rua1{B>>(MIC$?<W9->JtcU1IS!>G!SchHh7o5O>Q02hTkbq~s#9
zqN1XAA4Bv^J*)tEYK{geMQGv_dYIGMVv(|{eDylX0?mkK^bTlR0J#zv1q7VI#>PI!
zOY9e_S@gNH^9`6&*^L|Aw;*C^8axy+#U&z=|J1@25FbAb9BQ67_@oXO`It~7wwJmg
zFs(HA4y~+z+!$RADGG$D#cT`^M2kODYf?h>mt;^K!S$BK2bg=6ZZ{)C`UVwtzum2(
z38=8K0DM=hKTxP0R(LJxXPP4i>d%%Nd!ixYZ}ht?Zvv4+(?B@P9ASclHecp|ongBk
z(wSUDyb=>r8&p8dW>!$U!V0~tsS$YpJ{lsr=P7Y$b8|D$W5BXQk*V4B<;y7An-Cvg
z%WVv&Np=IIAwaEG&r^Xg!Fd3V!>3Qn2{2fvLs0eQ{R<rfM!c5Xb>FD`UV1iX=sE=l
z2QPE&EsrSUjo3`ql)ZVwh6ia8N<i>|TT<-tAW<Q|0ZhVDfjHAHV<r$+J5S{~R}caP
zD)F8>CQFSfM#@rB{`I}GjJI!__JoO#SaGzlLzIWx$iD6<*#Qyw&F{hkBcpm}8wk1y
z{#3(_^tt8C@=*~Kx3Ggd>AW6Kyt8sFkzS=eJsfNH-5t@>iN|ySIUg7hkoS15AbcdU
zr?2ldXoavG)kj|^npUTNsG;*ae&(&;gGE9a&)a<bj`i86=TL`(gHdvS$|=>Pcbr7x
z<j*iZ`Av-1baXwlNuA@3J+x*~cMF|b{DQBJoi2`?jbXLzNQ1|Ydf`*ICv$aKqWLot
ziyfRjcXl0|r(rSEBos%tOwJ1h7nc;Ll|cHuz0=1J!ll-Xipj-Gm$;lt33u&C*x7Z&
zHuV^X=ZFY8X*7!ttS%iNG-{oXjg8$l=G(mSZduOC(o!W=plJD`-<h<IZAtdM2+3A3
zNpn^c%Ithmk+IZv;LbbF9wpji1U%a`8hpF!(wlqfngw6gcQ%rj*0%&kHjk`E8u1<^
zsAx^Ee`|4)a#CviXh7rMJ1+KntYWsLqRDf0{Fap|=5p%&Gj%Aw!3^eG#^ffa=K)rX
zgzLZ->B>#@0r2r2o_xPj>~yBCsMxK{+ZZI3@a#^(Dej0m?O`YsUm4!pilRp~AW*6>
z?|P1GJ}P~Bx?AD*on48NfyrXK6`xn&f#ikLq5X~7GcdO(KI8|3o#rE-^cu=tBFY&P
zaQI99oeOjnmv20g)~6P%YX*pE0~kn2=_R`0%^NP}Vg{>wMLE76DO3^dIo9Wla8Dft
zyo@!PK)FU@ChRCEL9FTvG#5`9|3ZSu_wA0mQElRQUS4@55=!NcOy?2&)298R!a{Yq
z-+@+1_~lz{$%%>in5$4lf=yga@+5EX+S1I6{;s3YJ0^EmW#97Z*t)cT{!B=J+qj^?
zM%cUm`!(1bpe_%?ChzT&y>q7pT=f+yGKAR^#%d?sY?*Vs%hhA1y#oWC-#?S8q5UZU
z`?wtE^B8}qgbKO3KIb4wi`Vw{vmZh0jq22|K`eQG?tEUv`2-9`n`5O_2s9X``vsQ?
z2p&hIg%QUtJpy|>B)_tmquWeOcXvvR`U5-_I|g&*36Bk1K#Sz_M}2ju+?R{rhfMl(
zw&?_9H&8h|=lm~KKD<Ii)M-d7>d0bGHm05`MR)hY`e1J7kI&&?Opo;<jweZy1h1L(
zv{4vZz^wHGnJWN6mlfSS;v##rl#Y4}mwBS@{*I-{ajQPrw_1BiAV3!qQ7^hKn+Xpg
z8bFq(+>vTHJfY&HYf;w#0$1!$Hi>j$j%}*s0w{v`f)t?YXKP+^20nvBt6&P^0B|)Z
z!jTk>MaIXjz!@1;J~$Up+1PjjmYD&tleb%1IXjJ(n~3KTa{To9Zm+TtDONeyyxqf<
zl9JNnAmQ%eVWz4?S@8kH#A$_~k)z|CflP6?E5E?T4EPfiv_Vy~imTVJ7kD`*XJ%HI
ziq2Iy9ns_C<8x%mb|z>Fae|y9wGgund}@{Jnqk?ri>~hIN=38jG|?v^95%K$`!im=
zoSaI&_I_}CkVcMv=SEv{k3?=QWJ4X1mBnzuEaATU_lp7}5Ih`9bb01O6s@hT!w$B4
zDctSg*Bb!YD-jZn>7>1*;}mZ2RTgl0urK4@VB#Bcj#&+Xd4e4kac2+y&0uE=<urI1
z5N```yT8<^<f$Re>+WmG$OyZD0|(;SK)N{jN8Z);N-nUSg8}=D8NxeAbQajFLnFNP
z#W+NC+~nL(!KAh{lt2E{>`jn_A4G5!hh8(a4-Vh&*6j=A5X~@L!T24m39ps|+a6Aa
zP(BS(G#|}T9!kT%zg4dY&w2;aypRyW$@ExAX+HkNi+Z{IV?R7BVgP(Q^WhVJ#V0;I
z%hj~ATy~PEZpj>mz7b|pZTbBi>+^c#Gk;p8SItd5m-34#^;SMzqE}H?*2=geqs_m3
zQ-c?nN5Glv@wP3es&2wz;|Z~`jHFY}wX9Sdp0>~a{MIlaXe5@YoYcObf3D(9IipKw
z6l-qwdfEfqh_@eq%>t-_l4nzXsM*i&alp`vAtvCs%|5@pcHetT7S?PcCt=|+tbaa#
zSlF66_Kx44!Kcd;VyciUjGKKWt~i4w8mRxARA3GxW@y8clgGF!8XSQsZ)^^Fc`^yo
zVwR}`4`7XmwZ|=$W^E2xrx-0YMf)T?ame|4%@ASq=fGN!U(<~kk%n+<ff>%q$|7aE
zryw!%dT`qBGVTMQl-Z|1?hnHT?OJp89ni8MshBo-8<b;!d_mePpaI9=#J8xk63`2v
zm>%4t0uNax+pY5Z&2+T1WivEiCMQ2aq!5-kh)Vhmmj=~x{1T|h&PzkGD=6ll*>#H;
zZ?_cT_0^5V#nAJ;p!#a7&g40ihFhj2Bm}v*1E3T;UJu~lFGmOcL8vP-Q&_I;Pk@GJ
zLOCMEi<$SMN55a)ve1RDf@bWAKR<r{e50Bc@|i;DF$EI|(KEX*VPY)MuEAhZ02z^}
z4Kx`+=F9X7jO>4pj)doAuT%p!ynC`g3;H8e(JCw4ER@#V9)($1b1?CJ-QAQT4q3;g
z7oe!Gib+j9gsMf^<7<{w?cSo^(e4UcZLCq9qm_@ZKtF~;neHxynA1YUKM4Uu2~8kl
zoJ(k-Ok-s&sP9!C8Xg`wB2s<D_laWt8rp7@TeN>00KUmPlIaAE`Rrf4$@WtpNG=9t
zuTOvcC;!|Ei;P?w%I}3TaZn+fTT&@fJ|UUMNXT(s;oxa9%sb?~Z{Y7JW}7w#7jA&}
z*%{bm%hxaAD#U9Tt4%}31A&ShR#v*(j0PgeMYI)DOZwPjwSEO{RK#gP<!4<G<*lyH
zPPSXOwj!Za0Cph3u(+dagWmJ(WS=AiTxT(6iHOjYJ6LOf|GZmkRc)=`a?zW;jafhF
zu%I5<uY;AA#BC7JYGmICRf<kg-tyFs(`@La0=@}AF~kuy-}ESGR=b>C1nez7Az^=S
zZ#)%n-!S2Seh;>N`Et)Tg1B|+U}y1cJGuGzX!cCESRvEsbttk4p#f=ZV1O5e(kz18
z$iaCBJUi&5S%~U^=yNP4wcFm5?`n*(1`u*eCh|MvP-<XA@Sxz!z{Hr=qKKgB>RR;e
z+qYGZ(^}w=f}c>>b>vQwJTG?Q+KKTN^7K24hT)-V2L#N`!!tZI1XbG`?bs-z%+O8I
zZU#W8f+9hTHntP8mMuKJ(!ee>`kvJ1=Kh2->7Nc~d!bKS*rj)ySRCogOARqjb%gi@
z<%lAoP2FdYFmj+$NCbsIYk`E9y9r@h3BC~YC~RmzGcukF2D7vRA#z9tOz01wZxwMA
zd&|0|!NH-)7dP7onzHRg-Y1>O`$LX)+v-Y6cyxe_Cks@mi-20n>G-*{^g`aoPjRfQ
zPkMU-mbr$7#aWCQGBj#Q$ax8EoF*i-X%X_1q}qFE0jQ3G{Cv2(dO;5enRf2ZuC7T^
zFv7Olwm?Rtaa|m8w%djik;HC2`2TZv;s4q}Y55WYScbvHi}}Suz-faF#_Gh*!Jz??
zW>_lE0;AUZ#}lYAPC&fXAj|&&7km#5w6SCZ_9789`hV}vL@`24P<kPNFoe+R`M-8-
z7LL9Q4+kA)U$48XOWpPi379A;clQsPyYgdzBAkB{vx3Q0#>S>dvm_g|F^gHxl`?Ss
z-Afg)0W}vqMAJY;L#jjtM*)fjHcPj0^%Q^zMq5|c{2U~{Jt*T&!O;tADwe|zdq7n|
z;qP)u#X6YpxUuLY59Z^c3}?@U=QO-3;H7F08_eAX&Dqwk1j2+xv;?c2JtQinHF}@F
z-$PNK0*P*iUC71Q{)M1p82~A_3dEG6vVem#*uaPcfcrk{6apq-5Y2+othxtq_I3vA
zr}p-|f*>a~f{L$l&_Qjla05>>_XZEo8f;44%#yqPV5)wdo?h1U72rbRBB%n-;!j+`
zp@~wV8kf|z0|^dtVZt_;m0kQQf56%WxhZiQq6ehR{8CO{UZN{klD45k5a`A{0`PBy
zQ4OGXBAhp$S5@r*JQ;ZuaLAV7{$t`{X8*uIGF9W|AmEMf2-xlI)hf2-=H#@UY4FJO
z-hOdt4Eg@_<S6$!Ro*z1`UI5s<d6-7)hF#T2-=dQq$C*-t+`%31hK!sL8d7OyYX&M
zF+{(47P1f``k68#;i3yNum4Y~hZ*MtIMRCX5m;L<fIJxU7IX_F_v6ZC`kfv?FOMOV
z?z?CS;xnL5l;>X&Ngi(k%+>$Gmgzmz)1yRb(g;BnssH~`K}$eH@t7VC<tu|B?<PBY
z%e(At0NFZ6wGf63vA{C`;vew%ym)}xKoCn*(s}gg5xCH>hhc#DC}?PmO-*m+%77NK
zjfeLt3noU>z`&pmZtwza!mTrC@I#tBpw2~&_VtwlB?lHBA<Zb6oaoz!3Tweby8vm(
zZI*zWI)w+LA}0O{Enm=R+CDjHL}^0E-3I-MV`WC6sHE?Zt_<Hlibcf6>bGxGgzXX0
z66Cd5@QQ;}F2jQb<^{0pAetfj{I6fMlD@{AvWkkhcdz2Xj3Z5gctC4IXKp!FQA|rv
zE7Thht@BZWg1azqaod1{ke&e!yStpwGIbq=*8_|r@WaLHi@%U=Rm<+HER0qktZm;B
z`1|{-N$e(|?ttXZ1m286Xkp3E#CayaLzNy8L4e76jtjlEA+6AUf(iG(L#P4+li0!n
z$_`W(k*xqZz#gCDp%Kdp7MG>rHzm9#)8tdEDzCDH`zfx2qX&!t0sdBZZscUNLsZR4
z^7kl=0s|A2^Xgyg%@13H@qu>S-`SC-i0h5e)YJsMuqdLu{+pP909i03M)1Zd-C!V6
z%!c&`@`~mt;<0+gkJx5j)oI&)>Z7HlP4uS{ht^$7@wVRQqINe$A?iDIqP68gZ`)4f
z>gOr|%TT^wKJeY9rlyeoVD>)GLCAnCT*6wn1`QcqD(rJh%e5V#vLf_IL|%S|%rJ2J
z=PIJGTh&21)wbQ*-7PB*EfNEu1Y1dS9a9wVZ}mUq2B;AS;Obz8zTR#zq$QSxkqp$@
zUujmL^4d?<@cf9fECBz+F7`as`b?eg!AY>=ef^yRkR=I|Aan#T>l+yX`L5CP?AbHT
zuK}O6lmtUmk`fbdSnY~Eg>0nNg4T9J#=iFv2sbr@+p1peSzvI`Q_V59b_Te8aM!@h
zEZf+Gg;oI=lkjh#HGyBL1AYZ-){!>a^Yb6rW}u^hLJ#8)&)whI`LN~rId&+sAu>Wk
zes6a*P&?hCyk=mmSzYD+m3GQ12Y2|52lITf41x&8G#>~YWhq3C0Vkc+^Z$8nagYhy
zsmNmd!N@VvlnHU7#GrFzMCV>g`fVREPzZ#CbWenu7C3kkrl+RzA|B<NKF-sVlasTx
z<-}7kq@$zLH1Gp_4Su+I)LkQ&+4)ci9A)B{5twS%C%qd0;%c#6kD`i70&i3#t+;N#
z8076CNiwiOk&-gspQAeMoYchM#Xr78MAx36Su_UCM)REcz~7hDIz1+Kj8_Cd%p*<B
zxCEE){Zt>Wu^>RU4Xw?)99bM26yqLq)wwF_u*@qW@k*Zm`AfwTw~FZ`JP{90@aE<w
zXg3Y@nQY3cs!%7`=cAu|69CnRL-;ax@syT03yUSxm5#9=uJ>PL0Ng+cMj+Wn4Hr*O
zaLY_;d_Bg!l5Jf8RYh0wGTdJ2k(N0uOo(Td&LoUPjlj{@KkR?^?wzUM$u3kN*=Uff
zz(uX#BfT_Lw}W(fH2^6F(ZlZKX~_aMj7c>GjLD6~I#3Aq!Cq~yzQZOG1mR>p8<Y(*
zh|}A4<|w6JkorwMeqH0>g#sDyB}CWHkSj=PV)Abv{?3J-GjC{Tp$Nz9f^W5`nR`^d
zufLz(^EYGNfTg$hapV4sxcy865?62Cx&>{vCRp6_uw8#~{7;DTIXFD*5oNuzJ_t`}
z_Mhau8@}}_3(%hCsJWThRv-U>_wiOI>K5uN5GR9B>H!6vcQYbxC7$)(>##>Ule4TP
zi~x@jY}^=gnQ<dZeEm20<H18=d9G5y@1Xa-?Y7ndT(JK$fI!DO*d1>PgzPSJZS(No
zan;yJD8!wREicAV$+c!S>7s;ChRK!=T^Pu$5I2B&5k!m~h}=E0Q;`>zo`6pPJd#6(
zSdhy=O+>P{aH9n*1xo7bet^c+WD4;qGj`V0NbR^e<um{){k64nO<6Gr6aYMdx>E00
zn1oCQ7De5%)SIoQA6<C>ke9E5GAW0ts;rFBKzx-z5*!{L=BR6Hx8L?PsbwWP0f_;u
z6nDU7H5GvXW2zB=zYqhVcYh?am_@aA!8_$xtbSpjl@wOy&sd>avkk+sxTzj=LTV~x
zLRPR)$Y9(dK5nwF@h;UTdR!g{^PLRl0t?Ywzd|v%26RVt^LkJJsZ~Z^TyW~%)K_T~
zANrs@jKqC@zZU`H&yU|f_iRHCIreUUMT+k(M1I7KBYp=kMZoJDta`}uU!ML>`jril
z{3p!$F|_p{K0ujBvz5^@cQA@@+B55=8zqH;1reNGq5qtcVN{8)xh)oB&ed`g`M*X@
zLaPM<fIy8vaj2{;Em`pTq;aMW(aziR-C&AP`Umez!39ea4OOv=n_Du~kPFw2I@Gc2
zO-E13PPd}{{;L79dXssZVQsK;8@^YtRj4pZ37t#SGyU`v_LcC{DfWMZqCVrf!h;5}
zQUb_EO=-{RA80ZPiofloYFV4mp8DVA!hUu}15r}T&Ta5c#umm)gy<8bVOuLJ7Z9-k
z(5U<?syw~mm@N^guuT<xv}$h?RYRcul6vx!{%md_1yYV+81xY%t+5wfuZ#r!v)VPd
zR1(0868@8)S0Umgg8PT5I39p!6vZtjNlCx&t-*-ms;NBkarZ>}fweV461_@G1Dj7Y
zc?(SVh&<3opk0xK08+X+Ml`5ODN7dsZmKflx~suZ5W^1E2769eVGVHz#8?S58hY`)
z`1$$slL%148JmM8dc4%sX&^Mvi#W8vI|d+GBCa#0;*{o-HG9W^$3HtF191rBl<GN{
zp&`z^Jq*mykcv*XdwC%kA(ARs=tu_pkAdMesd-F^heQi-Sg|E)lgd4ls7`{O|A!#X
zv!ekXXZju%fun;&!v(ekY&KrW*i*p&O`t+)stH<hj}h5`Pbb}5bhB#UcACgDb6|Wi
z@SL&bpqqiJtVnSPc$*?*xrO2=v>mbHf3%*NnPEq|)|cTi6{_JK9DrlNX#^8+dbH7;
z$!8XT3b1WMj)xdTM1Ok<kR&vQKokSDbrIHSj|e<(yc@We#G$1YNIO{ys$1smpxDBN
z`rMB~Wgs9At4THjM@Z@YXHY(w+W=I2o<LaMtiR!;0O<Arh*@revU>#MlCR=ovFf1!
zaBB{DgM+o&S<6l60emIu#M<lw4(Wmgz|gQQj)11J+=ON;Xv)RiP}lP7XC``a-}m5R
z5xa<pK90D{vH-BGz)m`WHMC)t4C1#o*vlrLs{8$Rf_Jbe+(k=`s;6qvUFFg()vvOS
z{HAvSBz>?}eth%h;Ss0pC$Q3`fLpOpl%0o1_6Imv2fe4>TF3(|QTYmY3_NUKn(ziZ
zaw3&2aX&B73&@`B^B{0ui-xFxc-J(P=a-jXQe1%X2gs>mTl8IE44r2K1r-2EsQ}$v
zf%(NnE~Mm1B?4EC=wNonItAZ@7O=-94q`+M@6ru%0h0=a4RHTVwpXAoNxUjpc0COV
zW?{Bn?i-!pvzEaK{I9R$v897@E)muWiJ-tj_QH3l4V2(2VN_H*>ijVpvdHOjLOReG
z0tSLDZ%QQifn<gQZb1zFCdAwvoKCdmDx3pIdW|^_e)vQVj3=us1X57qk-?b?&A`m`
zadXpwqtXxgYb+lTC3tkvyFJ-?c`O{Ts=>lehq6trr3K|kTM4<%EO4^uJ$tqVYbe3L
zSSkaB&<X_Lnc)JYvQi_Bwu1S^P{2`RU?)l(BK%j*M*4enDL^je;N?}L{NV3q1@s&8
zD><c;)J9g*yU3Z5-)KOXb}^BHtoh%gUfzkhHPq;+kUvwNiaa`E7vs2j6JEivSqf&P
z3d~GQY;3ld2@Dd+Na(+y!jkI@Q3Iq{W@>2DqzH^lf=pq>jT}IK6dGY7D|?X+$d~Et
zmlYMf2%Gos8C~IxAnx4YS^39bIKcBjE8mr9Q1K8KybNKKN7wkjGG9;#Y+7s{V8(r)
zmnVbR%m0lc;J7s1GT*aT|K%2iSD~rr0KK8173@FmhkGI0x}~k{d^D)9|D7`2qmVKN
zoe&qtgzO_sCH%x6h^g<lBqU7M`~O`PIm7{)&?_tNP$(%Vs3Qbi;dd~x5&;@_k9heq
z?%(a+>67jc1VcO>@BOAe`gLTP!4vccMn|i`CL;*}LGM3?i2**920_Hz$LD`m1gsIv
zV-ThZqhZX!XZSB=5e9e^PW+y#1D2K_4~oJhDu@rZ#PH*8@K$bt4<<G_nGH!H+J5k%
zBJ2eyCAc^_!8G)b=_?k71>4@&_ZSSm>@sq4K<exK3&P-eOHBa>Ae1IK(1zptk9qP0
z>DgBf{GOfAz4MRnLMH3dj{43|P-1~IB!lyMm<hsEoq$hR8A5J#RTUH_@NSG+#7HmW
z@)?ccHqh6PpqGSxy!m-p(g?wuQx6-WT+C&8eq$rL6{rAczQ~V*F+|=>LrE=Yn^0Ev
z1d79f)c?64zqO5xC@>^sP*Jym0}naY7AC=C1>#k+?}<8M4R5xC6|OA|4{oZi9#d82
zWMjke-x&yZ)Rp<b*y!Z6Ge2*6`Ug6gG-&yVsxLsE0P#ec5$yEvj+%cX5%Mb3Fbs$~
zR~Vw49CNU^Lv@728<G*IVS8`ET|ij~bvl%->^jI$pYN0A2?byI)O#rK{y^mg;xdRL
z@aQ>U=jl={0aL4%p&@4?d};~ScV&LS?M6nE@ZOmWLD;3mpk^l(fCvrHK^C?MK0*v4
zr@(<*yaP!DQZYMZ;g6-ID*tX#3@$hfFQ);qeP??cUM7QhS4lJk;m%ouvO)Yoc#F1K
z<lHDQK7U?@--d=F@0bE0`ES92N44+<HNQ0h9mF80XY;^!8s>b9sM-?hQ3=mKcfLc-
zjPTsZZ5YCNKS1VANlROtpN9|rJ@y~)!tlI?rU+#CFXQ4C6&A*Tw9houj>c?*$Yp3~
zXbN8e1V9Y1BsLG|Y!8S-pf^4m8|kKrHSLpT&4#|=GQ(=<I0=uA)<ZVYZ=40j_y<p(
ztgWnsw<2xY$c<_DNf+F0a;K-JHqzE+L6$emt56kLU_DmX)?m3!AWJPT*rO{*fm{P#
ze1RafSg;{7!oa!r!P`>cB}m9l!Cqh_9jbX^Brh*dR&HF!gq#Vu-Ga}(z4+1p!Xdbg
zRl;j)h3T}kw4e##-__wGW$>Lr_BVm-^y*b1GT15T1;$}>YwJ<)BapfGL_mTEL$Txh
z)f`YrDPf5-!E+3Q#*T&}R8LnIfo!oaz)vX(o?ZxPu%>{DK}P1E8(I{!IarJAV8H#q
zj+6z1ynA0)R}2zLNFimsgbcOS_0Mhyw&9oHI)$eOqa>NAh{)VqP<j4y1&4thJBH&O
zyf_7$DHh2l|NR|gXJKLa?7~6?BsL<Sy@<P+1C0g9-J+~uHhMZbaQ+*H7PMu~f2W5m
zqmiKlOiZE~au?Pe^t;Hzk#_#?T#x@N{|VRof4u6hLDD6+x4$16F62Lb`)24Xo0wW1
z7Z(S{c`_*3XlZDWJ)SDKklmr9uMaxvOYqX=pe?&%K+;y05WEl34|y919u(TpkNThk
z?B?eTw-4UIr4U-}gcDkL)NSn^KpDGTTG4ze1_=&naml$}d}A>iz;-RPbvE}PHFe&I
zDm0#eN2{v}`iR%o))GlzWHEQE=h5@fd-3xp^Djs$z#MT<U#F+%^|=eyM|hc+rlPQp
zh6V}XIk3(I1zpI02{|C;(f3(i=`5*IDd2JWpu*$?_X@uBa8y8exH2r*yf^}Q0o?(p
zwYn9iJ|H82xj8@SzaM%OLI8#3p$Y#q*=VJMmYkZ(`Ro7a?X1G0e8X<95|R?qNC^l?
zBOypgry|{mgwiPCz)&hk7<8%RpOEhEl9EmV>F$<hzI(oXwvYDFKG)03nfHC3`(A7P
z*1+7jr#ViO4f)ZzH6{4)nTMMX!V(fpV7W+(hg<e#!n&Ni{F0t`^h8%zHb_bT`_^(B
z;rGd+sVRS2GMF{M(M#7X0Pz?|>Z<F~z!izPt}-5>|D(la7w1ILQBhuC3&9}9?ukV5
z=odD^gr;BvV&VEHa!yzl0o;QH_aVfzt^5OEwTJvuYX+RAYQZ#6l?GP_8j;=+86f!U
zi-Z4mZ(d&XW1uKZvr2U_;8bmH+LIOTLSh^WBOn_D-yY<_z$>yF$&UW<!w9V2bBF}R
zs*ikK7U#FNu<)}24kI=+G_;%INT0kT-2Dd}#Io~(A|kL2B*WQ0Lg45Ec-Fx|WN`*W
zy<ndJ_{t_<0XA>gR~A?;X-w9$pS}7VdIa;{el;*d5MIsvzUvErxHm~EG?Yt1f{xer
zq-Bsrz4azb?A!t!fSpkHc8!*32i~mV{kYakDwy7@p&SLB-G!o>_aIKF)={_>L&}!R
zxbhiiGH^|hE@c)MuPrUr&Ki8@_3lFO?WVpZNqY9D_u~E;muP5r$OVWVd;)?fBsa+9
za;}e4swYLwo511;z#6(_A6Q@DfFt)=fE|JKE7)lO4Md6%x!Dw%!B;s_BZJx84jG=P
z_p~xHGGNVxHbPqRF{ymS4<WmlnwlETbZHavxGk{rci+G=t70OP=N5Fx%$w#pKqblL
zUk=0G2H|J-yXF2sTCUggK6+FG?(*XDG8(2U<KsqoQ7504mX*n;K(<`*LNiMqX_tnM
zSxrrU2jc;N5>p3eC^sAs>-zQ(`V${HFXGT>P}>W@<B1khVvNnN4^mBMRci+c!5*18
zQpe83%}sa!Ug=Og8)I$<rdvRnf857Asnh|5rM5w>oLxDzk|nrGGVl<L(vDr@g}wb=
znh~z7zO$X3-4VB$Jq(ecENf(bzwliQhHSZxl(jgPD!aOz`>(UwH63gCb~fYC`y)rW
z@xu>5M8btBO-*PDPZ11|+^O2|6az;IXRP%P5G24w`1z%h378lGfnrdjAWr%XTt<+R
zU^SHl^vgdFtQ65Tzt~lPv%Z^p;LR?<H_evt7@pVRS_Rr~v#^g1Zl9f>18iZsUdHI(
zseCu@C&tT~mp$JBn2Xx`52UbKz-tSYh>3|`L!J}16&CDTq36$Mek3w!!aoXv6A4zg
z3%EJ3M7I$XJyi&~6MV{O0Rg6tvnE?tpsr~ei(g!tZNW7Q<X9zyF?@6i8^3pwUdM7W
zkRe##sovnpRqlQZvKOqq%|k`q5Cmp7i#9J;ir<$@$;ZPaYZc0Uto8unppA`>hb!UX
zsH*CWTE}N<Kirx;2GhIM(j6aotR}qn|I9%jrASP7Q^jI2Y*nmNU0qm+3=4Z#5h~7d
z8@`YX2<%l)!aXYV=-z;ozd|+K)XqVnx_qLd2J1r55D5XeR7S#DZCja=K!Q?;Qo?9q
zTRvp{Y^V0%sSR1URR2>|@7r)(gdOUbdBDqaT@J4-6)PNTTuBr1bWL!Kr(b0dudxtZ
zzk%88FQ!fgxWjVKk3eEZp$>iEu)?mftR(UgniJb%b_uXT?V$xfi!vih;_76<UHer?
z1$v(2dLV#@U33rTD?c+9i!w%Grr5u4+UfM;;0R!Ld-6>{zRqJAw1y>dnwKHFkRv9T
z%$}Bh+}u)9X!eJS@47&woX-3Bv;d~uYDnhT@GwoEqZ2Q3L9J+UYS=tZj{b(A#lF@e
zL=vlic7u|>*i81gByhn8e25x&6O_u_hW(XT#%hu|9Eu}3;AGoZ=r4t*%J_IRT!|{k
zvA7XlXNVldB3q!Ya><f{G|`dGAc1L|(YE8113tu7%DS;_#&O16rBj$3ao9CSKOFt7
z^F%C4S?Ob#uEOCpxG@UmUoLgln4o0`@i<j+Nr})-#@EV#&7d3mLl7V+L;k$>#unn*
zLOV9hcmG>%*4__;<NoXyt6=H(x*P8lG<wCDFo);XEnuWMy7Mi*-{uBH>`C9iJb^xS
zqYZ&JXUC6$)nO*Gnj@EeZ9^svqSg^zXDvB7%KUtM{g2bogstleW6WG+gbFv<Shn_q
zA1EWPxWOJ+q_4}u-_huuXA;ly$b^QSdVd^95$0?kvVJIVJOr+CxmSCim{BnKs~i&>
zo1(*MD|)h1Z0hOBTh61C(SdUuPARa+UY%l7Ya>4WY)WB@eeejbcI2bdYgN+qm;MO0
zSoJBgh)+2=IZ^8I4~rlbZplHN8(LZ_C`uRXr8{+e?yp78Vdt%u4d-fhES^mhzA}np
zH28hNwknD^lb;_5Z#W3pp_Hd<Y)tR|QTBE^fKR6a!5djv5dihc{hwY{pooDuNT)Aa
zhK<VkKNdc|XFI=SZ>Ylt^jE_QP8cvG(Qy@5SHb46vvkM2>F)~A)yf-q=bkbvTq(Z`
z#=w(UlyTzgUrE6YCka>DzV9#HEe_3<<M`BA9C8^0>GhOV+NyP^u=_9{<mWc41;BJU
z#hrZ31uEoRp;Pbka+kIq*4<g~z|u57pUDJ0hdf%>r~Z_;x`6C<sWMIkeEi5{uCfwI
z6Xy!D%Ztn8#*M7tAVY%N>kROCXnEf2Z_F7RVqs-fp258l`JSOv(eo5~kqQh-u&?9H
zDWAQ>G(^;`SkVwQe=`0&L={$zHj0HV8L=P*bP8a_CFnn4!fD0jX?@s*|E0zDUMus(
zNechIBG{R}hs@&DHabyby<xuRT5tzOs+b=CePTG4WJ8vP8st9;n-<H%d@-ygZ#XzO
z2r)U%1PbdfAn+-Cr4a&55FOfr=D3LnR#kZCExR&SV4Hf5VcU_3Tblq+1^^K{CF*e1
z*rA^y-Mnlls>}QC{}b&eG5_Iksz(N>Pou|azC3Xd*4e5~Qb8L*dutG%`twJhEX*0E
z79Ep~8dzl2f?-E(K?l)5uMVYqMA4H6@5Z!KypS;0&k5#_6y8q>(OcS~kpHoeS>wA`
zi5|--f%NNx>7QLY;fz#JR0Kd;CnHPr=uiucBV#4YcgQD10$<-hutR21mQRk4ql3d;
zKMLrb^VC9*Id_UcQIa^%ifuKA-CS9XlPKkl4lfa$9Wt%KP+*huy5CF>LC$?I(ug9Z
z?hbIuPx70yaJ#oM46@<f**RX^Qy5PC0UwD%T@WpkGq}}3@75E@EkHinXt(Q_o;IDf
zhec#gJmoY-!qq2qGovtUUk1n2aOSQcfhs%6?Kf~+KY<5)E_w|Pu`hAD^dDe`%z7@Z
zNQDQ@Ba<5tOKTb!D6%DWfE~n{9DhQ!ZiZXt+$2yK?Lyb7o4FylWyml90vk@60UE4e
z4zae;GBxE5?5~g-K{Yg=F7?E$*PtTr)zTS!bI%it|Jdr>MMp<co3>IAu-n;1YVOJR
z`WsnHUbRylY^DcR&K{ZG<YfJu(9x^X9$Ho90aIE|8|{am9b-+UP`R6OtAef=RJ?*o
z`QLdJ513h4<aV%r^)I!B7L${anF(asYr{GuBH^hsb-&qV<h9=jxk*o7B&?{w*eN~D
zWEyw(^i=iksj9B-a$td-P#tP|4}M?)b)GrX*WR8o9jo*k{bJgI^D-O}XG|}1xHg*i
z!<gfPu)1atqzm3p-h!7)B~}*JWJs)**8d@=rmk|DkzBLP<~~|90Z$)<iu7EWE>Uzj
zLvl+?i)<YWPUO~fozafKtOVdNwaag~d3YQFDeBPgD#Z4us*0eolihC5)9kx^L9T<K
zY=_+(_jS-C==#+yc%}E^*L?bt!W^s<fJA0){gQpxR{<(_F`s@8c#>nZ!MoUCuOpzN
z)2dPhcIh+>0;dBgjUCv+XnCc5@LZA!$gWoZZK*W)=&IcJ%t11tG3z9TvKismMz%0b
zrQwOPeKdRjkA6#xrWYoa(iw2;<i;VDg%q;&K`}K(7(;hh{`3=2vjOTYeEd128Tjx4
z!%4kx*Z<C4<?gBlkLBg&wvr}F`O*`L3SgR&{eBCqN%ta9FmNk^*Y3`}WP{Bl%V-FZ
zaSIQ=B>4LlS8<atLBT=IM0x-8{M>Geo+gs1y~Be??Ms<|G<fKKg_-~MX1|(^^HIl8
zI8pEL2n$nSiHoqZF2SgUqYRg394Y7Z12kPPu8}_N+tJ8f1s%9BS>^0|0Io(zLSa>l
z_wutnXo^_1O)!WOzERvrRD*{kvvoh!SYJPgwbg5vi;GWEj)lcu*c~5DgZ}>Mj)KpO
zV&T}kPE(K--M@wW8UzF}29dbgiRYO0J*Y5FKh{iy%;6I-N~`3=gsWZG1e~VDsj;ke
z^>X!@dREZciuB<eVu60)jjf5M4?T$zv;%TbK(wYr>dqTbU@AlGv6>Q?T_dJ~Z)ykr
zFS5@A7v7>=o~cKN{s94w6Q#-<U#;^9AFH&S3-S5p_QC27D<nq?jc&ei7J_v{rhB6D
z4f9~!`yN{9SAa^aI}PEnjDbL;%r(TCBy?i~0zZ5~;?-tNA84?j!1n&~9-?0D#O}he
z3i&JeI+){t1<1XWVb0dpksgkNJz<)GB9BR&(xuTWYK|64W|n&saz>caa=?8LmH4L*
z7|GE;&E#UB9>7h^enE93mk<~ww<T+k5fUJplyr5-R#(B<ivJ>al$uBGX1c4anb~Y=
zsO0*}%FlCB{R$i-{XS&Nvph3?U`$*9PF>B{52HlGT4l||vw2K5;4!HoyytH>6_2cx
z+=I-a)qj_=Za~-rjH?IW>++pFr451aXG*H7HO@;a@*_^c@J4T3Eq;9Aes?)6E{<J7
za8yU?w(bE{ntX314D(qoEqAF;aPi3#sh~ac+qdAOAutef8R`b`_^hB8M2-b3@8JmJ
za43Nlml_B-a5*fBF<}T&7A!j@fwsW0%mmA{fZIJ}J;*m`{RW1B|F6ybul|=A?$lnQ
z&}C<3UNB2d82jO);THRTy#QBI(dV_CHs@a}v{v?iC(6K1L-8!Lb8t^pIUV;+mK#4&
zFDWUjJNVamJT3I#5!=d=@0A4e1KA7>(La-@t>9nJy^d#wOLJ6494e}6swJvtQ<&ak
zz(zlMQR}l*EtI+WH)Y{D>f*45!8eG5Erc4im_#omBGSjp?tXBIXy!3##f)rw;=ZmP
zI>%A8_r^}d;o+Nqu8>z#e^sEkJS}D4cx_m(=Nv)kGo|coi#Khe`*sv1(O~&_=1RpO
z8kKKczc!X9dlR#M@2?AlB2>7AFi-Dj<!97i^re3@K<fIq#h@ykFJqoyoMY7=#x~I5
zik5HwRxfh9Jcv$z8WPe)CbE0R1bp8C*c<nMAuD&!W}ZqQeGl1ox*9k+Q5(X}#_I)A
zNxpNPZxP*vg=Jb9c9`yKsynrgvpVw)sP$pyV+)U5<EiNENk>i|9#|qmA)^GGrWxE7
z>7#KSq##z-!M>}a;{d4M22`Ve2@b|3ASi`9*)~VR_@C!J9(JyaF}B}fK8YTio#!vR
zWzI`q{LTPL1=Ntk?k~Re7rt6-PeX!2s#o&A#WnU-s2U>Aa%~<UZyt(MQk+e=@bbhz
zK(s~K#Pyx^{0JbVv43SZHqtJ_%{<kRGo$M3(c99~)Bc<DWHA`>EF`i4lln##<%O%;
zV_S!(CF)Wae@qZ+4nSHI)F6DWrhI=stz8JeN!eTJLSuS-o-|58$JaQ}lw!;8%l3KV
z-R9&U#L*EUe#1kD!2~ouygM498R0GF)+)fRGlItXosA%78a;Q`)E-FvZ(~fIIzJFQ
zo_yG)M7wjvdM1NVn6!?wK}@3N=B(`6>iG5Wj<Mf0X=#|_NVR??@%vhT%|_0A`M(2@
zNHa^EU0ayU$6C~G=QKkS&5CM+3WuHP4Ww(D!z(BJnl?OH_o>Lxzlf#w9fDfC!NFf5
zv88XF%UzG2WoLs80clkoU0p~XJjoIeuy%(o#A?J&KEap*B*0;n8*r2W07OXLvxaC>
zmIXPVq9`$0hOpmQ-PjtMPEANsr)1#W`FPxO^xCEU?h+;0;Vx0*A4ikRD?vnk-q$DQ
z&JjO8=cvDO(iVFp#w4F&b^reTW&+jUUC>K?<NUD2vIB38nz~|2*F%U|;+`ahg@y|^
zFC|uY1Dv>Qy@}IBh%qTsA36uxWj|lPGc2UrW}4^UnOXDsd9l)C*SF5P0Zx^PNl9Vx
z!v%W0&^QH@9u&|!W%6NyE|Hj+*!B2Qa5h&PZUQZpqk!m{-WCjo3IVSN`zeRp1Gks{
zo1d@r=lsK1blIT~M7v!p&r+h37vJti*|KnX*K5D78nSX<*XI@C3t=tx6Nq8&==m>)
zevtvme5;d3)$i9}0|ak|5C^9N=*a9Z1RrQZnxo$vHrL38Irp#XW(E5%$|3ahe$cW7
z<Z^K*c{;!8dq*FnXyWCi5gGs8+|KUvp`XBf`19C&&=Xd8{E=?!Us|<}(k9IdTC2or
zDs`VkCVm51{ZE#xVibu4uYxI!ur<!DjlSnNktL-A{QRVH0wu+|SBDFA4_><2qZ(o+
zr+T*f@RuhySWGO7W2fD{*D*>^XA`O(un2z&@mefU|JBxRwX!I_ckv+e`B_0lzh-kN
z?bsA*^}n@)?aTH+R9EMv#EIifolBeFab4lzNP(}u4=NSE?>PY{H+LNs$@WxMiJQ*r
zR!h{?`UACt+1o@;6ZK_K2P8{4;p3&R|A260Ac(aOjIOZmfp;aOaZKjb78oD34Ne_<
z^QCf)9@q^Sd+D?FC2F)yy`?SgRdu>zkgN}+K%E-vXKLR|zqcSOt*I!=`G}K)b$o2n
zNI~8-Bxa32Nw!JRgY_E8hziDHO7X?T2hKNdC4IVf2`Nocv{xyN1C}*OB^Q$q{_t|1
zFxm>-+8X&z8k*V4+%|78h{4kL33bK!P5%#KN9f8uYV4vtUs3VCj<4m?y0EPxj(~xW
zeUzq~ETlCj)?i+rtE3)~zF(Az0^6S77Q(r3r=zRZG-5Pv-1dT;4;2<HS$KqmIzOA3
zyE3(ZuUlp|Ma8kvYcQ*a3qZ!vlIz}Ru0KeXO0j;Us=xJ99^tu6>R}13=lY*jCkx?;
zdAt>OKiow~<#%^<KQ;n0<K-*6S8o;sF>QOF*UoM%O(`&gz)3N0R%aBOA4hdNd0?V&
zDV7@XG}_(&%lvBp=&x}st2?9Zt?h*Cln;}g8V=?t`GU%KHMRXQ!%JSQI5^m!A8#88
z>0y~p^|jx0f%l{kZYf0D6rIGQiy0SQrVkgz-bOyslIsa~=-5IM_`LeVVo_(}A0}#&
zxKx!?E@r=0Ncx;#M&)D~A?(`)Bim;rZT@amc~r?_6I`tOsl&-Syy?_9d3qxC9Kt84
z<J3OX&S|Xd(}c&yE^dR{)zHsjQfwJqO;a@S+;gi8)O^4(2{;*UXHLFbrudM@DJEt(
z^>n!JMoBY)P|^{khSPukOjTel$n>#vC--0y@4C^EJB)kStAfyKIuy7$oY_aN$swp{
z)8^X4W-ckfk5^o}Pns;0iOY#nF_$rS9`x6+kVK6Y=hxT6Vf8EEy#`xvJo0>IX9h7g
z^;_!F_Vw&zIip3hVY|1>a~5T#rJMcR#{}LN-B}e^mse4^w;NEKQYAm9$}ZZYJF~Jf
z*`T%ryF-?hT5rJ6u<CMW{Z3e<HGPG;G?QzmmZ=LvHS>MD))>F1@BI`nkfmj*C8Jss
zu3PuigU?Rr#PK!SntQjq=j9!l+dFS-m0y1GPgA>8bkEn!4$!?h2q!D3qy16ymDGxT
z)@;v$!R93>Wq^_Xx%W|YXlNhYwU)?6{Vz~&bPS0WbXj;<7%}kF5T&xv{WArM%?d<?
zS0P3ck|5cI#;y4SA>Z2Z#>3Xu)}34&G28gwT@I&Z0hR@g#`q!v2<$dTWdiET^YTMi
zeEgj?=YDS+8_DY*;h)M*h1il`z-#a>-Ph0&pUhVFZ>0UtUi9i0Lf>j7sNvOtCx~gu
zweVA-EzwHfxuH<0gZ0lryj?-}JMi{!^^mR``P9!Mw6sVgBVxQy*M@JtRR7`G_lUuF
z_pl|DXdQJvA{?Yh$;^A|?!jDd#wYP0H95Jl#Kco7iRWQ%sCsQgtgi&m9Nq^d*a55X
zQ>HGfJEO`-sp-gRDeY`*bTkc-+#<)Td$VhiKlRHU^E|eR!gB(B5w&!=${v&m^_m>@
zP}5ug{<-shza-qxl|PnRUEiD^DY~6_;%Pio6>)~9{L#oG^19#2-@UB4q1M?CSomQ?
zXa==zw;7+Rm7*Awty95;`FY49UqVdC0;yI4fo(71xC~IjPt^9B=Cop7y|`g{tA_}O
z19L;G1Y5(@?ss?(u2o&hU=6vA<2Rwd+PeycgTzB474O*0kzbnC_=5D>2SaE@Zrz@h
z*9aYJ_H2#N?wKVj-2beqLLqhb%ASqhaeM2pM3@s0!_nWO%a9Az@<if)8q{a9BMUDJ
z%c7#AZQPbWn%4GrmSEhdKID}YcWUZ*AsymChXFUJy%s8tBRGh_?wz=Hd}0g(t+)FG
z`&vhMKHZvNvwqJsvzkFfqzPOpTu#PA%=|dFJE9VYURH(N2|R0clbS7BkRY1h>ssI0
zy!14zs!qvO_Rbf`?K@gk>S^@96k_a2{-P*22%s&y1)C2jJA(Fq8kj#;R$ff!q=>oi
zGSVx4rTM66nG8-iSfSuUVU_?tQBio@Uh+)guE%^Z8y_C`d!%t<eEjD2w$GReqB9v9
zF7JMhlFrzKG=(5l&@(DI)`|OE7%_4?s;H~(?3lKmo+k=(tk<ZY9;EA7$Mdbv1v0b|
z2odcG8N~fiuks#TFQ_;9xBN&qk2~DCzngu*v4)#lg8SU?)&#dzC0@v;x0t7Q-R4mA
z^NV9C2A}zjr4qN5x1#m2w^B@}Ff6<NoILzl9<mJ|`()Yi+9n-^4~YSuGLAGR2@8{G
zXP;h`q{z<MQA7Pd(i@{Ked0Ei%AEIkrVEc^vm&?UHsYR#F*u)Lj_OzB`^2@>Gv93g
zdWY4-K#3HtaGu^?_nm#7>a&X-L$k65riSEeZ&bWvUN(f^%Qa0S_7W3d=a;EdxM>m2
zLhQH8|AJWbnh~WLvK1$doeSdwP6TGx$(^De#t<_BuVRQ8#=c_mg~EGlldoyx2JAl@
z7yamADYqA0mzP1lN=I-GP6+&ZB0_HO?5+q}UBnZUj3h{tDZKEL3u+hN3)zkR$lCft
zp7rYSVwGXxzQkmO;+Y(E(o3WQwj>SYG2os^<xxZ}_#uj@XJ=++JZY=iN81z*WCv>9
zafW^X!2am*Y2p1GF_OvAeJ_5JZ<PU6J{`SdPJfGVs^XBtA;h>mF(FTN9k<y%d%Ra$
zWlKn+cY_3MiNA2&ndlOduyv03`H<*Vgn+Z!*_FwobJy0}5{^lO2VaTOOm8O|#dto+
zu~Uh3G?TF)rlYF^9|IiWc@nE5(z~U1A|i+HDXw4VZin0+gXbo{I42+9Yp8F^l=FLE
zCp968$xQH{4h{}Z*juHIccua{j?@luYFXoE$#qSb?()>b=Yuy=1y?d;76-*M0-;-U
zft5umEAT`BFHH3=ui|e5wlDh|gGcHI6v-05^Qxx}tWCvP(w^VM#SJ`q$bM`;=F{;`
z+B&_9(+73GZ2On2^EZ-W{97}90f|yBSMiwP`}+cFHZBWzEMzf~sQuh5gxk@c+v!40
z|Ke)@Kebg4vH-$6Uz~f(>~4n8*KdT(JPIs!Ddv|II%ITWWo1JYbhR4p$doiNJ>Y!6
zcKrQ}tH+1=iT<Rz<SC2HyLeieugjw!1V(8GACHv!zEd$kkqStj%wlxE08!Q#FrYmH
zMyjkn%^GYgVnI6=Y-I^a>m!3dRE45UzN-m3ZbsqT|18|KqzhZT(BaqF4ryUGbYEi!
z0~z)bsgF1-;5Cwx^e=ECJEIIOmk@jV;q(vf?Xzt3mduk^|HOs2e5glV*e%+hR-6p5
zg?VPzz~f+H_oh&<J|#x;h@+<F%E^fJZgm#ij;BQ$)s$Q)A5y~8jO?2oc2^c1$~bC{
z7LHDcm8r~u+6*>c@lwG@_}>%`I3g^DcXE|O!+FHhS<ZdEsj3BAD3Y_TiK;UVmk^8y
zi82z>(_HiT<ciw}m<cE){r}8<hDzInS&|ip3$hq~O`k4Ct`g}}l?6Bd&Gxhj)97k+
zs8E)|q`>as#ul37>lwRI>o3Pc?ccqb%Nv8zD-l_>MbgBm9B}Hrh;2SH6(9bos9vi@
zaQCp4%~aZmbw$9HmtONH!Rm67myp|eVgf1j!Iig0;aE~(Q7kWKw#L_-pVFR8KYL@-
znTT;t{38svKRHp-mx4oaP|ZhL`i*iCQg=sfwdzCj2cNn#Gu$$s_k){G9UWb*k7VK_
zG)BDF2nyHx*MC<rHLmMaP~_brx5w6*db|C761!Y5*JvDvRl-^l-(@o0CF|=19TpCC
z9F>ROfuF7jc3nwCk)ctzcDB*S{_No?xKwu84k{Wh9YBTaFtz>KZ6LuB@bKf4J?Mrx
z84Am1Hqk%TBfX8BUX@l;QUR-e2WA_GtK*)&-rn&6Tv4N|PI4P0FFlZVvN7=62+{T?
zaa%D74POaqmijY#b`Dq}+Y4XkSSqty!(95mYgv?9J9NuQ^}dvYp#t*JwW=>P7#b{A
zhOqdRN``P;TxdmkF8fX4E$osX)#>ZcNJRLZ>@<j-c6jfTMZ0P#qeW)0JHsuWzqhaw
zy!HpnPFU1hThJ5HPoIpdQ4sj}h5U$4raQX5itlDOg#!kS_&00^7QDeQv%=Z7<2Q#f
z17h<^XUDNw)j9-*&$yV{R7%p0)2+<&H1x685(Ww0-mqE}4)%__0_)EC-qSW2sDd&)
zWN!Bh$92wMx+C^>adJeeJHa~%*~TQoyCZO`sm?pSlLWUjcwAI;TVyoPwWXuT)4)Si
zQ|YF<x=mYY#-aV#^iV3@1UK&8x8>!`fmjYxMRWz9_4>Lx+alzC$(<vPTJTPxH)4s<
zHn{rE)UWmmPZ3`(;)&+lub#rSRBU{?wZ3USJ|VDpsNB8Yed_Yt*I0CC`rITwVeeCs
z-aMbtk%{#`kv|nhyx`K;xl4~Weoq=Jb3yQOarM`RQ5XKla%tU0QYQO!kVsN4sz`ZO
zHasYqS|E*xv<N%Y-3~&)tfT}KxD0n}p?!+d%gc}<4DZJ%bQ>;`#VyD9otkCsl4g!2
zkPEv{<>6Sl*=bWxYwwcPlGv}r(a!e*cJf8V9_8K;@wL$1{n7sYOf=9ZB~q8ftm|WA
zK)wH!Ae$0nZYj)wpNfvwuWx=eIP6mK){778JoL~Sx?9CBAw0X|b8+2h%74HjXIVu~
zTkEKffw@_+xtbyVjL3EK(X*`V2p_XoP0{+XP15a@-J5&slio9^L8raXPcLu&@<v6s
zZ)w@r)wFpZpQcxsa;qtC{u|Rfut=Sp;g>k*kQ7h9q<dhfLzg;<*a)w_jP0jP`gFB8
zHE1_Jb#>;<sme)>6(rgIQoVM60U^(!Tr}f_<USO9`J>jud;8Zx;?Q<cVVSJI7~hL)
z3NLP`#S}X%$a{`qD2AYWCBA#JS>FOCe|c+*j+#2S&EoM$!f`(Vw4wq#F71E|MyxxS
zEKst5okv2$B&Y;FfG^~_p|*G6Kd?!zKj{D}8Rp~zU}XO5p%Stsqp1aC>Xnt%96L2u
zt+k=ycSlj^m+hH@E*X%Mzrk-bj#6&jq{#+qi-=B)Ov|?J5UMKsue}@9gxESXj_!Cn
z#kr`d5iD~J;gs5<!`}dFLbQ<N2k|>Wr+(0=%C*`<CJ{UOMK4E2O&XXk#gBfrpB+Bi
zuDShoZT`8bkED>q)^HUx$GFOWmtKO$$#?g(9qS|3i#bZa0D`ija_QDeDv!03tlLx7
zXWSkKZsPbPcuW{gN_Hy0NAm_8S<^GRD=o7Be(W2YY;S8@K2P#7F7w&y_4a&rddM7_
z8vcmH3p42#^c`G{vFJ^;7eMpfU9tU?sslQbWNxlqLz7zX_D~u>Gyfv%TXd6R`BSCW
z@xR5z9}c&K9&e1CA0vtutA<MjS=c-%Imhx&kM)vF`Wk#V#O_<~J`>TaC@vn{8Oxt2
zaw>Rr{%_3LB{V^N+j57Pfo?oS_U6$)nAOqMWM&_e#69+*JVowIdI_MTv0MW*2`K+7
z3LS&d6_RWM@35_}k0|M$<a0|Ld*L{$9juQ;k|)<5jKlAc!cReYd3iySuHkH*b671&
zlJ3WKfxu-#qVPQao8zTWSpIcW61GEow?EFipY$<K`a>C{Lh^3?_G2%2#5t7*{e83^
z^5qIkR@qd4v=_h5k{4Y-M^c=Qrsg03ReLADD4&}VH(5gst5Tpo%Y_va{oKc0pQ8Jv
zlI;aPCvyu04PntUKNb7NW-eFeW>fVdNCAmGKiVFu(qi*^jWXCnpT*J9F(GvP_Zt{d
z<6|-YiV9}5b{qW^skh80EBPfP3o_$=&*Yu?wAWA7VIU>TXPId2?50D*gKX2^_!cnl
zX#V;3i|7b-VsyUUAd)}Wo_egp7|D7m@m&vV<aWp}aM|pHTCh<hU$C{1m*B4tWnB79
z+6^3jMqUkT@bdE3=`}uc`;=4P`xclLW-N24<*rzhQoJ&~36jggwg9movi4ud*~o)o
zJ^~v}^~dZjgx6oNgGEnmz1$xJzrbTiT}d86>f7K+-15vJ&*0#EXVh&Y!>iyR#y12V
z$(?awUD#q6lxTH2leZF)wJ?Jocxu{h0nq<DhKtZydk89?qXB^br=Q;~pL9I;otjA_
VybutUho2mVp0cNM`7&l7{s*JAfrtPA

literal 0
HcmV?d00001

diff --git a/数据库/Redis/00 Redis详解.md b/数据库/Redis/附录1 Redis详解.md
similarity index 85%
rename from 数据库/Redis/00 Redis详解.md
rename to 数据库/Redis/附录1 Redis详解.md
index b41f5d8c..a1a53fe1 100644
--- a/数据库/Redis/00 Redis详解.md	
+++ b/数据库/Redis/附录1 Redis详解.md	
@@ -1,72 +1,53 @@
 # Redis
 <!-- GFM-TOC -->
-* [Redis](#redis)
-    * [一、概述](#一概述)
-    * [二、数据类型](#二数据类型)
-        * [STRING](#string)
-        * [LIST](#list)
-        * [SET](#set)
-        * [HASH](#hash)
-        * [ZSET](#zset)
-    * [三、数据结构](#三数据结构)
-        * [字典](#字典)
-        * [跳跃表](#跳跃表)
-    * [四、使用场景](#四使用场景)
-        * [计数器](#计数器)
-        * [缓存](#缓存)
-        * [查找表](#查找表)
-        * [消息队列](#消息队列)
-        * [会话缓存](#会话缓存)
-        * [分布式锁实现](#分布式锁实现)
-        * [其它](#其它)
-    * [五、Redis 与 Memcached](#五redis-与-memcached)
-        * [数据类型](#数据类型)
-        * [数据持久化](#数据持久化)
-        * [分布式](#分布式)
-        * [内存管理机制](#内存管理机制)
-    * [六、键的过期时间](#六键的过期时间)
-    * [七、数据淘汰策略](#七数据淘汰策略)
-    * [八、持久化](#八持久化)
-        * [RDB 持久化](#rdb-持久化)
-        * [AOF 持久化](#aof-持久化)
-    * [九、事务](#九事务)
-    * [十、事件](#十事件)
-        * [文件事件](#文件事件)
-        * [时间事件](#时间事件)
-        * [事件的调度与执行](#事件的调度与执行)
-    * [十一、复制](#十一复制)
-        * [连接过程](#连接过程)
-        * [主从链](#主从链)
-    * [十二、Sentinel](#十二sentinel)
-    * [十三、分片](#十三分片)
-    * [十四、一个简单的论坛系统分析](#十四一个简单的论坛系统分析)
-        * [文章信息](#文章信息)
-        * [点赞功能](#点赞功能)
-        * [对文章进行排序](#对文章进行排序)
-    * [参考资料](#参考资料)
+- [Redis](#redis)
+  - [二、数据类型](#二数据类型)
+    - [STRING](#string)
+    - [LIST](#list)
+    - [SET](#set)
+    - [HASH](#hash)
+    - [ZSET](#zset)
+  - [三、数据结构](#三数据结构)
+    - [字典](#字典)
+    - [跳跃表](#跳跃表)
+  - [四、使用场景](#四使用场景)
+    - [计数器](#计数器)
+    - [缓存](#缓存)
+    - [查找表](#查找表)
+    - [消息队列](#消息队列)
+    - [会话缓存](#会话缓存)
+    - [分布式锁实现](#分布式锁实现)
+    - [其它](#其它)
+  - [五、Redis 与 Memcached](#五redis-与-memcached)
+    - [数据类型](#数据类型)
+    - [数据持久化](#数据持久化)
+    - [分布式](#分布式)
+    - [内存管理机制](#内存管理机制)
+  - [六、键的过期时间](#六键的过期时间)
+  - [七、数据淘汰策略](#七数据淘汰策略)
+  - [八、持久化](#八持久化)
+    - [RDB 持久化](#rdb-持久化)
+    - [AOF 持久化](#aof-持久化)
+  - [九、事务](#九事务)
+  - [十、事件](#十事件)
+    - [文件事件](#文件事件)
+    - [时间事件](#时间事件)
+    - [事件的调度与执行](#事件的调度与执行)
+  - [十一、复制](#十一复制)
+    - [连接过程](#连接过程)
+    - [主从链](#主从链)
+  - [十二、Sentinel](#十二sentinel)
+  - [十三、分片](#十三分片)
+  - [十四、一个简单的论坛系统分析](#十四一个简单的论坛系统分析)
+    - [文章信息](#文章信息)
+    - [点赞功能](#点赞功能)
+    - [对文章进行排序](#对文章进行排序)
+  - [参考资料](#参考资料)
 <!-- GFM-TOC -->
 
 
-## 一、概述
-
-Redis 是速度非常快的非关系型（NoSQL）内存键值数据库，可以存储键和五种不同类型的值之间的映射。
-
-键的类型只能为字符串，值支持五种数据类型：字符串、列表、集合、散列表、有序集合。
-
-Redis 支持很多特性，例如将内存中的数据持久化到硬盘中，使用复制来扩展读性能，使用分片来扩展写性能。
-
 ## 二、数据类型
 
-| 数据类型 | 可以存储的值 | 操作 |
-| :--: | :--: | :--: |
-| STRING | 字符串、整数或者浮点数 | 对整个字符串或者字符串的其中一部分执行操作\</br\> 对整数和浮点数执行自增或者自减操作 |
-| LIST | 列表 | 从两端压入或者弹出元素 \</br\> 对单个或者多个元素进行修剪，\</br\> 只保留一个范围内的元素 |
-| SET | 无序集合 | 添加、获取、移除单个元素\</br\> 检查一个元素是否存在于集合中\</br\> 计算交集、并集、差集\</br\> 从集合里面随机获取元素 |
-| HASH | 包含键值对的无序散列表 | 添加、获取、移除单个键值对\</br\> 获取所有键值对\</br\> 检查某个键是否存在|
-| ZSET | 有序集合 | 添加、获取、删除元素\</br\> 根据分值范围或者成员来获取元素\</br\> 计算一个键的排名 |
-
-> [What Redis data structures look like](https://redislabs.com/ebook/part-1-getting-started/chapter-1-getting-to-know-redis/1-2-what-redis-data-structures-look-like/)
-
 ### STRING
 
 <div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/6019b2db-bc3e-4408-b6d8-96025f4481d6.png" width="400"/> </div><br>
@@ -559,7 +540,7 @@ Sentinel（哨兵）可以监听集群中的服务器，并在主服务器进入
 
 假设有 4 个 Redis 实例 R0，R1，R2，R3，还有很多表示用户的键 user:1，user:2，... ，有不同的方式来选择一个指定的键存储在哪个实例中。
 
-- 最简单的方式是范围分片，例如用户 id 从 0\~1000 的存储到实例 R0 中，用户 id 从 1001\~2000 的存储到实例 R1 中，等等。但是这样需要维护一张映射范围表，维护操作代价很高。
+- 最简单的方式是范围分片，例如用户 id 从 0~1000 的存储到实例 R0 中，用户 id 从 1001~2000 的存储到实例 R1 中，等等。但是这样需要维护一张映射范围表，维护操作代价很高。
 - 还有一种方式是哈希分片，使用 CRC32 哈希函数将键转换为一个数字，再对实例数量求模就能知道应该存储的实例。
 
 根据执行分片的位置，可以分为三种分片方式：
diff --git a/数据库/Redis/01 Redis笔记.md b/数据库/Redis/附录2 Redis笔记.md
similarity index 100%
rename from 数据库/Redis/01 Redis笔记.md
rename to 数据库/Redis/附录2 Redis笔记.md
diff --git a/数据库/数据库.xmind b/数据库/数据库.xmind
index 821e877e8f84d2605430a1e09ce79067eed14d07..563e6e5cd065264c266381256929be539899047f 100644
GIT binary patch
delta 16141
zcmY*=18^li^zN-~+ve8h*1olkt+{n?-K}lgwry=~?AE^Ba?7{BH}l^6zs$*;d`Tvm
z$t0QNob#=QLVm_VBC9GuK_deGOK|py$aIi!_Kn=CBL7r!gh&(!&Yn`;l;>yGtOx*L
z)&&3{|LbS&<mhhc=+0{E=Hz(gubXT*+InnEu^fMOcr3(MM8@u1eAaO5fJU;j;8IK_
zqp<@_?W$^+y>br4r-qi54HP4fTtMc~!8D*%8UUT?pJ=Qke@cMt@)zrx=lLfhw!V+}
z)0;BMYkIhz%z+GspK1;4jzFKH5n5A)WMmw>rL<w1@)6YP@?G!*xtP~K<57>OT+E^R
zTU<I;mEL^aEbnAT`^W181Vr2%+%ItaoctXe?zHX3wf+>6-JoPj!~oN>%)oLqlg-f^
z<HSeH3E4X`xM-b?ogZGietx|o9Z%DC7x6ov-Nj7RN1%^!?Q2oOfAHBhO6Iq1U0AqK
zk84TInr4>R_IAu)_P+On&j3%Ju>%#3&easc`qgwD%Jwm3VgLKb+AGg^r~dcBxrgM4
zfY0LI_^5)UMr8s&`jK;o!y;(Y(5#o!`Ml?UbDVux*D%o>QD^Y-v)ATYCyr0VoN%`!
zDL9*f&X@WtEG>&)?{{wA##8q+-XwT4s=sWVqD)I^BI6?8trMg<OfFiM%O4D*jjuGd
zeZRau>AmCOSES{^$ea^tJ_TzwY+CL4v6qs*yo-K($V8mq@LZgaO>Le_x4U{f;C${9
z2l)Rm^5rHig{!R>`tFrnD-yu9;t>NbmK<LNtpzj#!STK~T2BqL!>O<v`i)5j=u$0&
z?n&a#=H`h;VfLroaiseCdok6olx=@U8U<)Xy{;R(`Z|HUrx6ZU<0wm({k2@8oA0eu
z)RfNwMuJV!&99!Io6p^MVY#O<C(>6JeSX)_K87yQh=BMF(_^~}(82h|waQb+OSd_Q
z>7w<m0nX80WZ~**%1UVQoiLywQrM#Oxb>kUGIm7eMzE<#Z{zsaL+d!1;I=Sxt#F^-
z?-wkt)$NH__3IBs=_}H;-wUZ!&p!)gE}YI^<{MhoMYnbS(q%=dj`NiFck@ct94&ZR
zoWs5A@z32}IYzyzv;ij~!lPTe+7Kx~G}VC^WE7EVqstlgR<pWjjo+ifl2D>mqfD}R
z{E7;bQ!n=j%n!W|CpHgWhg!Tm(tQlyp^VqQ*LOQ-meU*rMV$6$KFz9z(_>Xj3zSv6
zF^`#KV#xhIa$EE`_oqveWJ9VojF;&<v0T~|SWfl0_}ofu^2R4S5_O(0{nTaw4LQ$i
zKAl{*-zZDX*G%VGAg|I4ueV_$E};$;{F>0=(qbn8#~!!T*e-OnP}%)VSQ-BaN20nk
zHZ`><__V^4{;(^hXQ;)F5t)wSEsH&5mPL7@M$}RgaCFsc(33fsI^P3^J{ucU&NU3q
z2}|=_$vR|5<Nmy4+uy0I`1R@w8g^iX<p2`%OQKlY+@|BLjuj|<7h(1LG{18aNtl_0
zMb5*~Ul}?bgFf-nnrKkXfqP-nJc9`HTL<9^Ly{TS%Lq*Ox_DU*QXRa!Y&z*y#n;v}
z2}MMA<$wHf7Sg)8xjc%04Ct>*^Zk50evvouzm&~QtTKB1DC24Toa}`Led4nl8kYC6
zxg3C<b72(wY`QqI8@lv(E-Qz$R|v@G_9?E_aZMTqxaJPdA`~8bc3!es7rxf<+SKFP
zThNsz#~RS_YEQG-?!E=I5=>k{XCNPGF<@ARdBdY#Y(P8PS4ZLGx}wrTl}^G4G~GTg
z6eFpPHo;!K?m9W`SMm~r=GF)j%^`|n19ud+Am?@5O*p)(?S3e2G>PtYFKy@F_G{v?
zx1)a}dHxFyv8%3LH~s;B|9kroM>oTEw2W)#IHEG+JlUdE`eQ!>Cec*SwAp_t5+RYf
ztsVZ2yL}XT^Q;=Av!zowKJ5ED!r{mh`s@anf1DCu)@i}Sm&Pm)I<M+&4ciNmN6lEH
z<oRX>zhA;lub6<8E^)h{eK0G$ez+Q2U3`<b+vVc>)Vl`aE4-Bc`@mSSLHk9{uj7Lz
zjiE`7Cx|lqoQAm<x2+UkocDz9`gy9mxZMc9*U#tmZfmQ3Z@2G#>bchXTFU$;!0&Z2
zb|G?JW{uTx$FI&B^rJ{C&%kO>A#w*f35E(0>Q^g7i#&~G8i8+CfJ&NS+fT+5<Q^RS
zY~Sf%S~OhyZ{$lfzPtr_@9<k|yE`JDu76xTWuSPHYw=MS?6NN9P0&+ETp|6E>qck~
zo?>|L%NdJ%!ctWP24qVU@C_<07@~C~n|8lR61(}(7oGT$fg+yZMBIaK3&6mFC+5MB
z{n?(RNwXPXx^C?+(iW2(`gN$E+5>LJ&~H5+87cDM$3a<rShjZm*UZ~Ww|7BPOL=lG
zO5(PL%@K((1*FkZdk;t%V_P7a@N&PkIw>Rp3bJNnh8hz&GGI*8Y{5L0rsUVL@O|_9
zya0}2Lu@51sHTJ^5ygq4IhI$qIZ<xT?>or9xhkV2GUj!LVRv80hIDCQ$V@H^E|MVN
zaqy#=0p4DDWC=Ku6OGMGP?>?Oi9?68s^hLNxNT?y{S_LKn{H5u&&j(IKZwpuNyjv4
zpAz_ez-Q>VCuLLE6YF)S-z+o*T4tioq&<+FLKx*3)GWsuI$i3;nQ}P2=2>TawKCO`
zl2lVO0zCz}KPf~D)#_U0t)_|e=DX*5((Sgj#=1?ym<F$}4q-xMq+|^Pc^L`kjY^{?
zZ7X7#lkC!R%aDrikCgBN+ltlI$`950PEdPNc(Xtu>8Fo9jQtg%ikPAfHVZ}Wwh`YM
z$QqD<IvNCrZ~U=z`ZAk4znhy3FGB|E6|8D1bEX-{?H#|w`p!zNsdG2W=pYVRWi$nu
z)5X>0U!8A<q`PW?PbX1|5F~w#bTFk&<mC=F4S68W^|5}6eR_?zvyO6ukru-6O<kWP
z=TbK?ttV%d9?`9CySq*`a!c}{n3|9e%d;i<g(5NRI`~c>@q}nuNkY(<%*_bmf+I5I
zUMRJgu#lNINLkdY!QS2y-mP@a<og=NfKf1qkO%!C$v#<lvM;)lLJ$o)i@vqXe@s+B
zlZJgAmk;V({i4f^pcue{iK@Z?#mC-GO_ob+`0^d3>53^PP~&>=<9e_u;jYr?HUp^2
zvPtH65eEMSr(=^GvSiVRPZkM8VlTzrlk|s`jV5)yZ}(QEMl;muZnD|7qg+SYL{7ZD
zMQw<>7Et`hxtFzvQ>}29GyyNz&0>yQF?MSrIEpZd9v%g0PcOr;sn&_rDgOqhQb!Dd
z1<Fo9qf9E?vvr%p6!2ks=MGdrSbS_fC|;_MHRccb_33wV|9siGkZBES@Av-p`gl|;
zcysCZI`zDwzQrc8rJsUqgICCkG6fl36v!bIAvl`=Lh$FVL^1Mz`rVm}WG$mTA6xGq
zc`I|%%iZN>=YG|>5Xp3KKz1cb^{ddEm>f!4&$?rHA1ZAnow<aO(T3k(Va?Ie|8)nt
z@4hP2Pm99T5t!_D44wv6%B69q3_vM{rdi>6RLHoe07*9fQj4p#l&AtGG!q$5vLMPw
zTsOUsHQ{Gf$8r^<5?TlG&~f6l6<Z}vYTPrNR2d@+<N81@j_CM!`2g$;6lGKN9<#;S
zFGhxt8EPx9g@;!?E-r6FTgB>l;RhxMG4+sf;)@nSJ(7^0fO(M3re<{^v0p%CnS=DV
z+FyxTnfnYCaQ<ks3Ac$xgXjXgn~*7d7%fI99h$MEjzs)6@#0{}C<2Lyq3onClQZK-
zqOWqhL{%AadM{C}5VDlA5G;d`iDQGwzts}B1atN`(q-sG@KGU0kYK|6y7!R}7rl;A
z`0U65gPq}h*)X7R59y7;T|h-(0k>|uS>qiKeg~kIe>K`OTDbOX&yXm;pP%^aYLR~`
zu0Awmg+ki^Cb}cTk5eR=5-utcwmy`d_0Esc=Lfu3amd{PO+YJhx>O8WN3Az(flW>j
zto3zz(~n&C*iUC-q&?q@DtlXLj^RSFfkyHd_ORSg8U&DN^@=L_BkbSv<vAJ9`gl+g
zmz*ntF{CfzU6w>?Iw~XFo}c5eQZ@kdbn+{-Px^?skokn7givN0%p(pdtgM8BHIq=X
zoM+*d>QsBbmy`R+O29>rI_og*vm*M}p<|dH8YUyL8)WhVrRmO#WHH-b4UCHv0`fqK
zo&+iQuK-YZ+)8jTl1+!6?eZ<r+V^<loXke0AOpZ8{~*y1*&4tZ%p&a64KVli=xfis
zF%c@HInbN@=(~7=tF@j8`_KdpoC@R{aM&S`8+5hti(JaCuxj6nH>%ooe~@0>-X6fj
zK+f8OQn@;pd?ItAi~@%-D91*wscRdoUxh@bYXU;La@U~26?I20zFTW|Bql>mQupA{
z96*XrbRWtoYQiyx?chKoKl#&3B6+7Hf|`gccJ7R<74+iuhC>PP=MX!8BLze&tm|Df
zsmI;VMaUX)HW>sFeT77y_X&bI)duc+phP^MuioO@%h(6WIhEW8<|Zm`<j_A=_}@gM
zwt`fU!PpVZb<V0-00i~3m3;w-1fppX54(DcSOo-gYZ2eC+OjZq))xB}@Jh5ylx`~*
z&|sLQx|>FmIaf`Rv`x?NYeNSxm61aomtS-+E4QH%Aqy3vQ!QuZ@uv;M-UjR_`U92b
z<WVlUyMIM%S2r^*)#$Dvde6iVA;#(KKY_4KtDse2Y|~o4DU3SP!kgN(z;|0*W2%b-
z78eq~))1pAt`i2;kh@GbRyb-5z;(O_>{95O+u(8d!Lti=V8fvx1h*#?$g-l5Y|NdN
z%jhf(LdWv{Bwr-`NgXU>$W;dEm9{AHOF5h%UEp?_txu?HrC9(yc0brP0gi2g%^YMG
zvN-T%*9Rd^+4Q1Nx1+=N?C^BMso~2j=k5L@`>7nH%r{fhLc1hvE*D%ej`W{aBNx<C
zuCVp$SP|6_R}hg*&}G!mK}YPW&Y|)$>lOSA8-K5BZ==bO$6a7%y5z+8(fkTfYHKH*
zF?+BR%+NCE(u03%=M$0iH+vk6?(lxy%kmTU)?*_pqD8|nt;=^JXII1FVRzl_$-Hft
z59o2bNS0EEz2$0PB%IJv--qX0wo9NM2nIs3vjuLLRD9mw$&eZ*?<i4%zC+eRi2?FV
zJ%e1a<nT^Qj~C~4&)8JrMLO6CPUbz8F=p3ayR3r-E)mmWPBA*jU?D8(Ozh>YRm)F9
zTNO-a7GlxH)ANTJ{a&W#9yqt~^3TY=Kgku^Vln-+|JG8GSQJAbFg6(CRwL0(z$8lG
z>i7OO*RG=STWSmR;=C{c0z@&$)8}b}g}U&i1eP*1$^?Guq+%Jf|AC7CXzzbLng>0C
z_k_Vq`2n9TD6+)T^~jH6SY`uV$!<}ze-P<R48cgSpl44eqHLmQSa)UT3>cX~9(!tc
zoKuKJ2o7rqGn|I1>>b%fuv@tmt(F_p2F5V9MRSX3BJ>R5E;%!(6sKE56}%QN^5;&*
zm%&cg1yM_u9*deRjjA$fK+wJ-iFeZ4EI3~1r8)w1I~_sxrdcm&sE8>`YJ!ptfj09a
zx$!u}W`JO7w9v`txnJZNEP7AIW)Ng%>OnpFQ8+r{4ZV(4)8`7N$eiZiyB}@eI@!x}
z!^aGu#6e}z8bJU-qFWvYDK9e?rXDUMGj4nwu;`>Nyv{2&9?L4{$xK3f`(Jrc78}tU
z!<hjJ&hK4UtBHvIG<aN4DYk(Oam1JdWjbjOYzFnsxDzar8fB{{Bhswie#;cA8z&m%
z`hec_$YMN*Rht$WbZEzk0u|IlB(m*GE2yh`SiQ7kn*Bi+!?)Q^@q2!r7mwP#YBpTe
zBa<tb)?sQW4Z9|ia(ebbnEar5n>E$}G^LgY<2cby-?zuPcD9GloYf<vm>}`}GQc)R
zs1h7p<kAW!4DwV^lgZ<o87oKEcb~U&Jatn{Q=E04(NjjHY#S75*ti&Z-(+OCpL(py
zkE^S^^)n!}y$%>v@*h`U4C(P>_zx!~F-`ghyxxID4KfT}9ygXN*s0>8Vh>DZb!RP`
zNDZS|Fg4n3&!0ISqOZ%3k@3f6-{@1|D95V`LvE1!$t**3;Zo|P#Vum>ZE<!%4vtxE
zL4w~5GpV}Zjg^<<b;y=ExqjkarxE$0M<TBu&&Yug<f-_WOgOT_<^-3rG)I|0D!anE
z;wDtli5c;ks8JmIQPqdG)h7(}Q2p#4B4EJG=)ccKNdj-2)6TP(`@;}5G;hHBiwb>-
zoM?gnQ2Y1%m*Lf`HR=2S9sytfi$}QUSUB4LFS<n_{*PrL;VjygjS)<<!x;Uouu`Gu
z0!@%J2!KUUHFlHx)}3$K-PqZe#M`}>cNr1BY=PibD{Ie@W5ki*U+M}WJDA0M0@dcY
zxBGIul6$jDoGZ-Pd*d~}Q{KPP<>qqIt1`yc)8qd-D-xQ(8RO?xqgt2sh^nH63b~a7
z#&kuW%E=92cRbX2Nio^YNru^%U8(vJ&Iei-K^|;QW4C0#=Vs>on=k6KCyDlX|I1kT
z&9na_B7*dJW%x<><?fZ#3#_ef#8OS|2P+=z5p)czAoC@SHu^|CH1N{Z?Dd!WK|8BT
z$NK4rHhNSfcC3o1puiK54IO(z_+iYVSDLq<(9p-uuUpguDww)v75~kI$`sxGGzD~u
zzCl|JNXgDK?C9k60|yz4JP$~sJ-rDgFVasFs=-W%kiZ}~YgwAqGYVDd&w+EjTu(M*
zuk^{TguMIQz8JRD9mHXoA*=0mxdi-q7w+W`fU8HU#W(czxfrVz{?++B^W1qLCVnq9
zj_1pe<(H;$e7$RN;OCa=E$Pj+`7QY#hzVaGqvDUkEZUfis!k#vor6462vBj7rv`tY
z(SZszXDh_=GWbHQ@-5(p$B(YJ+trw}beL{y=5<8zI%sJ!8m~?$6y`o$-6?R1H>M6T
zYO=jLJ_yy^T7}SS&LF7ni+qK37lu!W0|e13Y#jssSp+!=zQxJZ?ZR}qr^t)5`(x<>
z(K|+r0(N9z4BW4+L;ML}6m`q$dKQR3f+ASAe&IF`XKOzFfFjLP*-lLXSjdO4gr5xD
z+TyPIIkMBaz8;5O7hAlZeV5~DnkURboj{6RNf4c{Nl})|KB_7g>A-qAf$!596Z>Oy
z-o9i3x@)m{mtw-mk|}hHAzq$2rr59~I?TeT6*J+~As{z_&?_bwlD(5zr$gXKbE*@U
zY6LyiX~*08>3JF{0@7TrbCADE-WqXoz<XFbYN)g%86p2<ef)Gzy_ksCCrY&$7X{F7
z0h+>KAV+eBjZLI1sgY>&VaVqc@HV~3=Cx9$3H0cIsg8|OrV*O47|P~6)jb9{lM1wv
zWAfz`K+N8|Ut(hBiu&xYljoR=y(I;2Nli*EO#C7@(D)T|0<P)$S;)4^;MUX97LFMQ
zBQzd-m-veu!wd(^W!24xT!3r@rzKl50SZd}n)2<MI9bEwGhuIZ6&wvw(kb}Y4!sBw
z<!RFlfX<YghUnw)d8X1}G~C#kP^ULhR<*-`XYZ`a-oIh)IrusFGab<(PQ(`p*WzM~
zV1VjWVt(qEdv=*R44h6;BPdjfF#~H|Hdr0AZLUv9>2CGx7Z(w_bzDQ0mkV=HAP6ie
z%}`&K35kj#+o+KTWzXgvt}R-c(yF{dn<b7x(^2D@cPXCwlh#HaPt~jHxWGISSkp*5
z1zR18W4SQmB*dG;hhE+i=e8PCzC?JM9U*FtE=dwQKgOJ16cz~;bzS>s7VkToUr=i}
z?@ph)`NitA<bzfNtO$6@wxAQQ2IPr8_><oO_A!1pw9_IaU+DRC?}>J8z&wzEvjQ<~
z9YHF8ErGY#&cUcdAm;o2s7yNREPO4D$7Bj+x~UPkE@}=J3CC~Ha8rv`iUq_Ed|hEU
zwM1KHu<(7G1N(PIKzm8Nr%(g#$#qJgkmW{QG&SV)bZ1CC>-@Xju6Ax$Kxp4ZuMf_7
zx);NO?9vL9Q{&Vj?Nw*1xCXJ_7T67*ra#}7t_15HjJ*r-e8?f_dn`)~@FDCMUK4bV
z-C5O2v87pmK&Y6ZhNi*Z6%tb`4AM?AfP%j-*#Z1XE1p?{=DJGJ|LjUC=Mwj?oSbtz
zG5Bh6Xu{)-0>&mM#ab1;LAI<Wo6$upA?ivE=j6HNP<R4zKe0PiHQ9S=zb|NUWFo<C
zblttQWV69uqa-CY-=H=!-lN!Q*^*Zd`@r_u(9Zj}++CmTGRf6JM^tLYp*9lFfRL$C
zIJEQuU&8XDwXk?ZUl*y17PIX)iWn9of;bYB<aPakjl{hvW3DWtAmHv*5FD9z1zED7
zy2+JJ7{<VM!xY5C51WACZw)B}?J0%+w+>OX%7v}r6wC(d%TZ=SVVK#rfRQAFVNR}%
zG+;|D(PvC4v8cb9`=9ArA~y7b&+FOT3zbJS=%*cs;F~_VfWwV%p)9S6j6w6^(&x%&
zHR2;vp&`Fkp@00%0nKI-h0ZBj6kw}J{;ntv;gg;vu3r~b2^#+OYw~*ZZi{R;kFe0W
zv_o;gMH7NW%U%yi*s(XMr5;9OgqgnmW_xR9;A?mP){O<F*z<gS$6y8C&b%=uWpzId
z{uo=#<`486NF1{d#?|j}TyQJQy*;CAcg)Kmq!t|N!A`$%1_cff4b7-2<0Qx>k}Ev=
zj&$eGpPpY7Ph+>P_c}WyDfE@|tq?#EnRBjWr+)Q-Ye5?nti{O**PH5f+zG^awfEvc
zGCGIJKyQ`+Kr+c2*bzT2V`fy(jq$lryS+coaavmg1-%l+0O=F3Q*|sW-a*tM*cH%N
zvT`}Y;<U0Bpr;Ma;-~o-NB?yN9cPmd?k{}z@^p3swd_w~?ufY3**Po7%st+|_p{a+
ziyw-BQ$**U(h#3qdMx>_nWib{>l{JVHh%H`2gnjDN@nuaV)gt>eL@6f6EG$2gaRFj
zm?9G_9NQ0;L<b$l9KOD{+ka+>TKyZ9*%Vs}6Ac(QP}sI=D1*Y}ewa4{dpL&J%zS}1
zp{Y-67L65hQ1O1dV@jT*I50bX3?W;VFrvEEWD+8^nI&khlH2l5;)9CjuWV&24QZiu
z(H6GJh5bT`FFiNpCxZ#T+Jp}fw;hJ96*di$r_Oul(eN$lVUKzd?qTo$6VU(05vb?=
zX#Yn(r&#y*Ox~ZQcc{xZYUihH^?faxNq3&RyN#75Rt`C3%&P9gW!4biImaJ*?|LTV
zwbytqo<8rvJ`Q`IOS2uf{Z^otcm<sD@zW$||EQue`j~h*ji`Q)Kezs)XUV%p(N&9X
zcf0g3FMGlEpvb6F%ec-KcJ6I^&6k~DA64(OUO)?Ilyt@nvl6z&2^+5b0FJyZ?a4PO
zN9OB(r=&^|Z6K0>eeHCXt`ZG;rZ2AFp`uRJ`BJMD_hGv$-?GL+k(_2oqL#EAQpyj!
zfo6}9iBcK>X2Y9lpoD2f_xSR#xj}j<PsxK4g1klnXu`Y5JzKS=N*=5e4(I>!@k&dP
z-pMF*Bq57oR03Rw$1iMDWoRJ;h*H^juM8K?EUON~E5gvv7vZi`2A9MM3ZSuK)665D
zPUCPR+itzyWRKXKgxd=Jk&v=)T0p8wIr9@|#{eTIhP88MPF{b!ei!x51!5jAzWSla
z@iPm8aJ~Xd620ZLM5?GQP>s4wr?UG$`{c~7{A|4=De$Mt+jrHIKxI5`Q8c?LtLtbN
z5rgA_B$pf{ZH_&B$vc%myHb8e!^@vSFwJhJtPzkMUrR-XC!+UtYN|o_xjyEOdJ?=~
z$w6JmPNo@EjRRwRsX`8%4>9EkbMf7?z>9NG#IPTDJ4!24{=`EqL!($AcZ$HB*-RpZ
zUvygx;u{%mr0fg{WLU0BibM#F=_GxG{~<$)gr(0g4JP#wuj8fP{oz-`@$&qguAO}Q
zQ)o3Hx)TEqO})e&COS(l--=lcZJ;PIYLdvu+tlgdH@&ho_Eqg+onm08-X(wWu!1~@
za(IhYIc!=-IARUCaK1Y8N0IX`0Qq^OS3`$9u>zZZN}S-YzOi^Y?WmaoOuR}ivH#<;
zDi#y6eFb%1s(gP(K~^!L&f*w9d#}wXFsN^#^=YiUZ};Qy<!jV!P5`$<>(Gf<*d_7$
z0-Xd#US?TopmViV8sp4cKFyJc{gow%%6&eow8xs69*K1*r{bq;;G6<CcAt5~t5vKV
z7?T59QBHZmwg^eboL29+OzKS^rTUgs|3XSL8oq=o(0A}$_D+XVET?j!_yu`<?Re8n
z1MuUa@}Z)M5B)1W#gQ)5t9Tco6(j?_*712|pF^fZ-=xINNsF_QVIV0xQRM|l8Zkvi
zTvw1X)T+6WW_CnVFl@K)ZtB#Q%%y!%3#ZtO7U-XC7x@O029KD)=d^jAsW*DP?`TV?
zqc%frLo45mtvwFkrK*gj=sR2KERsySK+>TUOI~Q5sa|AJ6L}uq(5<Bd8-XN<<2}JC
zm7cuRR*6A4sELl176x3dgx~<3@E`G6Nddy993mRu>+64FjHqjyXpYtQ$ij8a_xIl2
z^Qzl1G2z8db<lr_i!$O^G0`dKER_@JHz-=2#M;_3AR-jQzgyJ^>@37B+5~Rob0%6k
zagw;p^Jhmd&AOj-TbIv$xBRj|#FoJriI`CFOJWY=6Iyq;FLNVnw=)Gq&)6E3;#VwR
zc88vh|By1u)w53vYb(=G0Pk*G+wyai@4T#lp7y4KeUU?l$FX%faL80GN&DZaI5+Ja
zRTg)(ZB5DeciBpaw^kPnaSh=1Yy2Lc&-1dNBE3qdix~UWm#M)eh+r%(wTA4ApKGtt
z#r0JqzNW4&b-6xvUd$8(hG(%5SSvapP&gYPgtX+kRLZ%CXnx-&Gfk)4H93Fh=&30w
zDwn&CYqgRnRdSxvFAuF($Zc0HP>9TKOsA@V4S&SWnX|CrP9>1U&zdtK5zrM;jL+s%
z8~F9oy{k4@?8b0kf{@sT-BUz(o}o0ULoHTN_)@<Hx%pS;^E)jFeY-pfzJnJYgIi`l
zc!QY+PH#DMyId5livQg^+s*N?3qs>8l!%8}&N`zNqYdt}Gc!)$o2AG3L6xo)O$WA1
z@y=w4{7=0zNUefJ(*bma<%fsXhe`;cw+P;b!Xkx4@Ja)<gr&R=0Han>PIB$DpRE2u
zMRA^-FtVLzMlB4~7EUw@2|KW`T!r?}4VIkM>SA%#uAYxJmoDvt94}|1BAq7h$ed0L
zSg0wlI)Zs9!usm_etv47|49xOI-=>M+sNfdN~@?*x3cSXW|isI=smEf(H|fMO0_y_
zEF-v`R>mgrLO%D8+H3;9ktKhi4L8<SKoZk&T2DBI;dg<ym0=f{g3l-HawgZk?#_02
z=dKKVK_@=>6qY?TttRt|A@55mpk!!G%2eW@uLJVa+v2A`;cO?Ii+b4cD*wt}SBVr{
zF*4|Sh22z`j$wY7GJ21OE*liba7f9lXow^w$!a9j_9!poj<Pui_EsW({V1}GwVpzU
zc8JCq(xC*kp<84$Mc{h%f1ItjQZi|P<a5;<5)zwaqbmm(8(2k{wK+ZiK&M%pyj(3z
z@;?5BO5m@-o{qw7h$;&Xmz604ul6LyA-9^p&eiUC_LorKuho4_-_o^zf)5`{Grw>b
zQXn)U<M^SQL!zdx4`?Sp0D8;3xZ4e(P1$a?m=Qo92-b<>jqt1h19dajr>Z|Xt#OvD
zqvlDxBFlJQ9hVhxtX>%OqvXNOYEd;9*q#%9!F`~DJ`?y-mQsgORtF|+#+fgQ!MZPy
z%d@k<$AHAX4qL(z1ocbIYK9;>f^{W0PS%upbgI9252ZR@98^ePek(bY2Y4RHKGR~9
z_HB?aZ@ZtQKg8$B7cu;(>rD<dB&t9gatJ%%2y0emotvb8p`x^`xCsrsjA1U{0O7U{
zblOTKqKA{e9QUw=ghEp42$^tRUSzDmHA9%lS;0*qTU49jP+)6aADl%>(?|pCBn=dL
zj)`RYVtR8uN-@H^V*|FA+9ii2)1uvEO(qB^1;MO~qVZO*Iie90WE*lU(eh(hRg#ch
z0~P8BkdQKS7QtAw1d!ObQ0!Plz*2<QhDeAA$yYe&&HLwOW$MT8Y2V)kBSZWSlb7us
z+{X5Et`ZV2+0UPi!MK6V?6Ion?n<#S6`@MFFgmIqniIeXw21vJ@Cp-xPT1)*l?~Fe
zv<GfLv{?@%=9n7L2cw7=9}d7ubJYY5_{1pt0aU*TN7=Eud!&{^X4)v=z!P8osLslb
zQku%7{IRg&mYkRI^x(i?y=8DsQ!YMQks1%J8hA-F!yH1bUEW$u8A`oHX$|@nvfzpL
zxH-N91EQdX3LhF!JX0c?G?Z(Ilm;O#$RAC&24@(GgUiv2f;|#S42jjDF`<%ydN3SD
zew}3qzBV1%e?Pj~&<px%q^ndTm*WcTHbT`x)CL9lExsLSt6UoO2nGD<U3j%7A1!uU
zlbJWpd}}s_E7)cvlKaB)4e?NTkb<zME-`W%`vh~-s!dQYogRL`wJaP&feBhKCpDxP
z@+U%-=`yf&*ESaLI|3-cQA!<wLfIHp`Ol72$(KeIw5_rZ6?YwrOua0BtgK$)$=rl!
z_%%BX76os>QF$zH2B}l3kA5JLXyOKbqnN?j!@4A;M~p~aqvRl%cv4$%y4N5Ibg@L-
z?Cj78_&wywQ+BI$_9MFP{0B%{1--a}QQKII(E8=O^5SB6>bJ#P36ifm#iSz3(9o}H
zNLa+7nLa4+OSmUMmAe<CKY_Pc51kjzS!Ds_3lbW{muVF_gsv<{=MmIcDG9?nQdN|c
z14=H@$dFoLCj`v&bd4G`d%NBP(QNj6e-8q%S)g?*xtP^aT*9l-H2Mrtt#%b*1Xwv)
zvT$1;Tn70eR7YaUPoqj%`KtI}yJpSf8ps^$ASf|@MFcET-KVI_rA%%wU@616jKou;
zVF)!2Y_e+3@NWFR{d;k+B#geW8&qEg%_pa+;$Dx`mMmz=0Fs{XZ}#>3EGd4GE9xoH
zURjPsAkBu_gJ&N&r|A=g=K2?p(D$%#{rAH#6puJg#Kg4X44njGY=q)@%(*TXm3981
z`BhiAtL@`!`~gaZgjzVlL8TKkPPcf8&a~9mBTaNGc)I|tHL{CoZOLL(G0cYk=>%%T
z1C~DE#zk3DGl&H(7Yuc=-uzDFvLE13`%_~rSIm_4kTdd#zp8cx0OiJG>Gwt@&qW%@
zS={2htjla^OO4#k^{uPAiiseQJXrYyklOJuRl;HRoPemw6Nkw3)%tF*wc!obu_cfY
z@HyS3;q3VI>~?_n!6)Ep`}C~t??UgPOtOx;=q#7UYzPcy)uIe+7zhO1>(D2zts>Ld
zb6DEOuV|{xkc4v^hfbEM#`BB2##?GR3#4Q#e>4VCp!g51wF`Rt+uqMIEw7ps957Ul
z{JMmIu265KfdSl_Cx!z2AYk2;$Dfk>t;j&h#&LC5tq7SK>W^*0a{52+#BI9G8H9p-
zs`!n*d;=E~TMIs@&3M-@n(f<}Og0sq8Wr9FCs+abWitju6*uK@5Tw7y{>4wp{GK}B
z{XxQs|9v(l95wHkn-Dj~>dL^as*Ml=I!<Na*8^hF9pib&0fGQF3wtenD@e;FwE&G|
zLu*1Qy5<_$E$&}hU+qnm836GsuxFVFOrpNu@6QylY{ekJsEG4i{v|V}=l+}256^cP
z$kbW_-!-AROTIg_fx+9S%jNGG$;my|<e<bC3ivvTKrozu7_txW5`#i?#+#tDka4fc
zfZ@INZtJ8zM!8o=^NY<OP~9!<mRNwlz)VJFmX;g^mGg1hBT8@ixt<S+e@#p_48I|P
z8dI0u+`LvSEOk8dS~6PTXp}kGY28WTDl&2bN=adCP{`0h^Hm6{8P^?c2A1up0#scd
zm^voIh%?8BTjb(3N|{Xt%$17$6qC{@$o?5zjAbVtWCMmS)BBaiLHk>=@RG8|Y~Z-^
zJ}Ps$RF=Oek%FVZcMXzeWhSNj%FoO7b<vKK1s+Kj<0oBo=rFx+P-y|j?wkNYMRS31
z-O<)YyeAvk-e2(KBse*$c%dCn7Sz_Qqp{|@KXd2_FnC@1BL~$oSzh*nXoH|i+@QT{
z`HYU*lg!vdt;hnffpB(q6E-lFYRlggRXZlV&oGA;5LkoeHbYOCTeg>#TMTA<u*zMG
zXUnG;c^@;97<ukg8MB`M-gkb#ES}0$WM+n<FA)J1IrN4Z%Dw;tPw*`C0_yy8c_r9h
zX60axp$n{`wL1@yz(9r&mrKmTlY<j%%3<?{(mETJ%f~YNIB`<8M|2q0fLg81b}|>G
z-6KE@uLq>S23K<IJj3131cy`D$q8bZPGx0&%kelSu|0M^i(Yuet5iJe<qZ;P|MaqZ
z8p3;}GeP%pRyl_+po>Iq0NEtXvAQ<Zb)~#PO17<0IhokI)|wP#=oVLr8=gu?Jd<gi
z3GG6W=(HQqyUM>k#uHTrV&6g5yBTJZy-7e6mj^TEQSftW7IZuHwb~H>gtIS-y6;*p
z5mV>yDQ;7QAnkwwKM~Xmm*Txfj6ys@KvM#f5lHsyl749P)fa~#fbPxu_V8O>Ufxy+
zE|_5+bfATi^UhN%^hN&qJK+TKc@9+`3DEZV+PPm`&IEJE45B;;l*}nX$O=JZH2_I!
zzOyzk4zrJ{e7ryBrdz4%qDL}8q{xnjWNnI>H&QYS!PO}9$a1%UKfgE<=NURd*s4Q$
zs07WjyUVTt&cp#>AQe(_hq4@xi)_wfg*{ZbLZdryxfnzg>IA(R;(#gsgJIJoy)Da^
z?Us`{`@PItuEUewGF;*$bj2p@ZKNoM4mJi`S6kC{+o8YV{{3OVCW|Ra`DJwq0!9*O
z7--mgZYDUM0F_e_2>&W^W6lRrctd#>A+&n((puG)`k=^3kfdl<=J@HR{uW!n3n)H+
z{8P4E@P$Xf?fc1QYw6{2xytXS_RqgZ4AfAO3JGm>!)j|&`K-`aQ?=sCdR2{`rEx~b
z>(tATU>E`U*4>o(U%Dls@Lg(J9ozeAqsU~v9K?lE8M^WoMeK-Sx2Hn{2N?~z+?LfT
zoNF_eeXmE(An0KJ;10RDSb0%<GqC^|T+XPBsCL$QlIkm#ML=;7C%xQXo<3j^q$P>?
zq^Y+;Yg?c@+Xj~zW=~$(Ho%M4yaTg)1j378-(Lj*V*qJx^QYAuL>~V?FU#UGe9mT1
zNJ?-nkdfl2@CXM3ZScRR)mH0}-gDGGXR*4|B@uE3h|z!$2X%pOpsnx1^FV2}Yf2~W
z&ecmQX);|!rLSOdA^EfC-9^+`n;J|wIx;YSN(%{P3+e5q;c2VkxPG#Ms8vHCr5tqC
zJ({h7j200VcCbv9z4@V*O>+K`966*7@pB}I+WO-7hV}6I;iC6Y?c1Nr(7`!*&ann&
zekmFNC@`snHQPX;{KxT8XK~pi<Wp29UVdS+^SY`d<zSbsEG|jNv<E8Yh=ShKrl)YS
zNEVS1LqY;Q3s&sQ0am6mt3)wXJ?&^<ui^QG<3Drv!J0_HFBOAK`IW*)5@1lys~9g1
zpUO(HvtQkDi6VmYo12K!#p;<9r$;8x&ee1ZlsH;QxGsA#D=#y{Nxhb)|KneTUz?-9
z#ISLngoNwW{poh}R(=n=z}?^L=K1(}kV5RS(dWtS%G39MtE@S-Re>W3;nJArnT`(w
z8x{n?HGq-$GIh=$yU}&KU8LPeypD;D3CQ1v=FYyy{YsAsy{}f8mM++SZG5y`?#c3w
zaP}`4&#Ul5lQwzXfdsS~`_wMlDe@$-z$<RKi2NM%l81Btf_4co2DHRHeDmo<<?*Bw
z)b>-XE#N$g0xw%)E-rAx*q$~JYLy2SSD7mMQE~}&Fh`E4=cFXC8fu{A5K^#(y9W66
zm3O~wfV{zjM^+*`vR|_F3icEE1#(wN?@(zNpRu|uX`>U;1VM$A*6-U4T~jtylCXiF
z7UAg1uuH3+5*crchUU<#V3IGd-5eZJll$H!#rEzpc+qD%!Y~*#(N(Utw^Z2~(^tfx
z=jGFGHeY25>~{C9EKDyJ9hwXjsq~r(U<oUvg-NF}VYE?$u~fzP;<2qhwWVYFv-OC$
z9-Ic93i8Bn$Dp(@CnJdP>_y$t;=qt*MMUjW(iTTDTTf7IsE(|r6^Bs&tHtYxj5-zk
z0VQ``3D5B1w=*M_D+bYI*6ixG+swP4y=(lh9-?q|w}Q$|z|$5WFn<tI9`b5PW&e9o
z_62^U@9p;K+^z$c|Ne;V6c)zv4<vzbUdoXpog$-KG39`%$RizaiP!HTZFP6l2H6z}
znTV=tSlR$6^^t*@qH@QRX73?i5(Kyq)#!YQ-d~C(b8OD^$l27Bm=mxB2X&RYNnCyY
zE`Bc?JLxJ9$%9S=pw@t1z18r-1-;5*ksK$Soi7x)%!{}qiceol3m8<)D(U}@=HBGx
z=FxEzcz^uutNfkUqgX}I_vZ6vm0u4Dgv*v>r%|tp4DJ4rid~C?>bH^9=$3bb$DQ`s
z1O#od!8+5!XTqJzrG%t3WVqAmKQ!^xz(g<^*iH-fuIFEaK|}ecrpSPF$+;aCwZQ5o
zY^_RBsUzj{OsIm}hvww8WMAqCJ%%N`cp>O#9)a7H(-$Q~Mk7C~XJP`TU6>g-LRmG9
zb0<jepwDB#@E5DC<871@yQkk=V2>d)`7BgUrpAz%NnpICGrtaO!g7xV)WTd~l1sU!
z?!Hr?lGm94$k>zDN@}V(25bWyyu=1OnI9j5ubt`ouDfviTOS<aLt>&}$YyGw&xMOC
zT;W2q2BF#kK=}m6Oz+Po(oAe~<)50WaY!h(4yO`I>XjSRF<7$dM_Lp6)~-dQx;qsY
z@8huysPwHIQjrK*QHVnL)YG(hNGVtb_yKPeLjKJlQQqbhb3*>s!*bsmA^NoXom?6W
z{a=kZw)o_q4~>{lqIE^=ViT#{CZuKD;*t%pMHD#5{1G#EztyjA?Ed6)llZJ(3rJ5H
zLJXo}Q}8OUWC`=lxyDAceY$^hKi*j=KWP{3>T?<`EjK{1wULgD!*)?lsbZ;)=#@|P
ztlS(2J)XmSyWAsr`LgcvyiiC74nrT?bqeUmuIT2N@v}>{ru17Di*(MqytbswThUWP
z?fWvv8JSEM9`g0bzl@x`LB!+9u>mYr%dD?6k-^11Yh>jR;M-BRCe<#&)in^91zxTT
zl7_KFV^F&hsc(vPub*M3{>)$1(t1TRw@Q--p;i^ONDBl%EVuTx$j-(})^YmJX=`a;
zy!d~**}?}7X7KU($}MaDu-8pU34!>mMoi~!?-ZFRt{2Ubn_^jIy5i*2bYCNdbO9e`
zQv69($E0EQY$SvYc$#|tGhV#J>#35n@p3(TrCpvhUsNDOBaPC^pv$^QVNSuLZvVv{
zRKNTdkoWG#w*=|Ug}rR=xM-ZfsiF(5OkhX??}9w-K{z(BC#cR&h*D-ouru+Mh5giG
z+jE1bRTUv2v;V{C{=;rKleQ~vYGJ1}X)`DYO;xgS#vpQsWF}Bmp%g#JXW+!|(?ZHV
z2p3&3O=2;Ze@b;d$t{=#v9y#QV%_@@bZ}+em$iTm#_v)xNy@E+;YPS2WM$YhVAqrc
zrZ-WhJI2iA=9zR%Vx7ME1bu4^T;!1a#z8Cqlg?180n8u(V!8&c=(*F&;yAV&4el-B
zH0<BF%TNUBd(I++B8%Xj7ig*zTy7m7u~G%xUM-Y*`fwe=%zQm!)|?8{&byWerB&IL
zO;y^({G5*6G^FM7`8-&7^%vzPaYJuf$W?1ph4r#T5Q7$(2!vMHk<Xme6S`yUeKbLD
znq{}k(#63%3c?C4Ojc+hkUGk%LM`U=?X9W@34dHx?pV*G%2c~YHjj>Lo*9VdZon(f
zx#7gZG~L@?57@qK&fcE9VmJ$cmWr@#j2PGoRlg;aAIIc%;PCP8?*UKB^8>zg{r!8o
z+^oI;YA^zr;boS#C@Q%gu!yxQjxL2wNK|GP|7g$K?7JUzPB;d-K=$Fylth1cY|nG(
zD={yR@`e5)CyF@m(be_0e?7O`s(-A4lo}*cprKlZ!`;tG3NQ&x!W0Ms2|x(3Jml5)
zbH3bXR>HUs;@Z>f13fpm4C|qAY4Kr%xkqM${ZWejlkEx~WeSoZD^D9r7bp<Q4}biw
zY!vpUnm*e+rl`6)X0KInSD+8$F!a=|Eo(8*r@$#1I1$9K%$vsO>sI`?T>*%fiB7O?
z#rMeBl@L!BT1lJvc*AZWRh}ONq=KcJ`#J~H?=Vh6f>jjU?627K01m)W8@6ZAUT}Za
z^0a3p4(RY?tKP5m)kvi~v?Q94(vVlOvL1t&-@Ab?k8lP-MQD{`)*nn3AWRG~krToS
z9Fr|&q9?NGTi}P&pwMuYSz!^N&!qOw6BO?2V$)KlQ>ojw8gc=p{31MK)lU3pr)RXk
z02+BYU8>Wyi*7qjXqVQ3`KT*eyG;m}Mi`Tdu~<S7I*$;;y1;*&FAvY=ETnL945Q$1
zx)w*n-DQY(h?J!sIOY6PwgkGqyS+~4(MB5NVy-HpYPQlq&Ssm^wk8G3(VTV01$F25
zprT4jJM^oSdTxNCtvFT`R8iq}+z!ud1-u%V4eS|aM!jf}cxKii5$mxhtcFx)0Xwj}
zmU3Q3l2Kvj4rxf}Se89XpuOv*>6Eb)06M`s#*P`J#nsul7z7m@Gy+UbbGq0fdGQmQ
zGRopWMHaM9O&q2vV`{a0mk0U~eQB(Kwu{Xpi_<n~UnwZI^DiWtnf%#dzK<Ag7b$hb
zek!~8?B3)S!c_y;$`3-$<-kPC9D`?AFH{drlx^Bzu9s4;-QCH6^n~S;GnMkQY~1c*
z&wXJzsjNWIvTQRD?xhSK618$`Eb%$J%j4khmHyuQ-?_71pL6wm(paKw5C4xm-!1OG
zk}dv<o-WW(VL0p`h;Pg~t5y$+sS4h2r;V>XX!UD4v`aLjTV!bZ2Nj6%63#oNL$QN6
zX3rXY1f%3uK(6ky-S(z7-edn{@h_(5?e`<(-}a;u3a?kyZLeo5yZg(d0s#W>S|n35
z-`sfbso|v!i=F%<t}gV(fiIieU}tNw!=USAat@HV44Rs&ZFYK(ry5UVpr1!DM71!^
z^gVk6xj~}kxqnGAtGlTIv?>&f199I!zg?(|XWq~{_QW1pH=xd<D|aQ8l@7athS0=8
z0Y)ltt*0&XbSLwK&W$*3*qg!{`u?=L?K-KdxB!|l)t39~+*l@H_b}~pv^cD!gO!1!
z?i*-6wW!TG?S-CSt%jmN0DIwTYaUr9(4(x+)!j`v_qhdf`>fPDmQgJQd4)*0Bhg|q
zuejwWoUja<PaNqzvG6Is&ri4ef|FD6`31@US^c8@9pWGU+!U4xOImo@&#LLODh7M9
z8~t^y&nw<Kaf){o@+UI|CH`$IPN<W;(jFL<tfg^H?0r=FZgl^;8TV0?mKrMwI%+G9
zy`DxL<Gbl?B5tP7n?jDx@cBcnwQ#cWAvL7P+gf+M)=eZZ57%7^bu2tAh8OS^ao)>Z
za#=yDna36smDk$BqBR>+>{c#e7-OGc^4P{jjyY%TBbK6EMT;Q`g0WB6Gpp^E4A)Db
z$wIYkfk_0PWpeC~KjzzU`Sp5|iiA*Z6aFAqn@73nh}r-A@}u+lJ~1`+-TUr$a7)(I
zRQEA|*zdG(7umo{rK+~=TDOaF(g?wBA{n>2O|6D1Zcm3~ME@{;fu4#xp-qk$Bht)|
zmJ(lEuF@;9K02{=ka}c)q&r=2j97rx@sizZFKTvFp7PhTYb_u5qE_qyMg$}asnl=J
zzaA>li1OT&C7Oqr9)=5rOuC?Gx1i-PQV{ut!UZ^NXr$k@Lm0F8)4SnCb8#1xB-L~%
zklAgC(v*mUNVe-ul%;>@2u0w3?J8_$$oNFpX)ZIN5;j&H2MN#wEwe4*NnTx?1}k)R
zauY->czsJ%Z!$JG@AyWQ_90=8(;1Y{Jd+~EJLcR4>Jxw+Rg?>tZNEeww!LU|LIs>;
z8)^ntv_)S4&852P^#{3z7r&zL;|Dz3l)}%91>kG$CnpdwQ+oVS%B&+CBAUd`rOG;t
zNUVrW?WOQh14RV_BbO+kEk8QN?&jT@GPP=>$n7(_cb=TL@uVnhAyCT8nB8+s>9NEX
zuO5KZUCImVM|yW8d3sB%QaVzDCB;>^7jhG!<~_^AjH!ro_jDpcmW*Fj%YGULuyY1a
zO;WdFlxgXvkQJeT=h)}Gy{5FVtFf7VO^i;u)*J(~Kv42s-Hc&k90E_jye#&VO|58P
z2Ai&<I2v#gv);hy>WSML6eq6upWoyqD#vS1l2|Ec3=7*LbSuL6YsIy5R2NuUvp%_6
zvtZ0SZTZ~NuARzCn#6*O3SH_dE{7EV-ia#7*;KPX#6`Vy$y;Cl5Cy6u*HW0})p2CK
zgIk6KK$!+q=4X5xS#>#TCNf^k%fEoYy4m3Payp(rn=b*dDeW|>5_YW?gTfEOWqG<r
zKe_B(s}!I5x0v7xqMJ<TLgiulY5be`JAU8y#P|3P-KK|3X|u&BZ$G0YQ~fmBr>84t
zoH{Ivp<qNko6EJ+jH<G4ou6*y?0DNgUEP?Z0{x)aeZXD@#CIWfTvKy)wOF%ggdYt^
zA{w8USiG+KcDEZ7_TMd1m)09^ZPLT&14U^Y(;;mA&3LdW^oPKAVQ>dXH}{<WeyziE
zt#9#_{MPDG<;uR5YFqSOaX;y%uw9z?)N|C$I_E0ta|m||J|;g+-_FUT%UM;mMob=2
zK*KNB7IaI6*)T&&aUuQi#>_Q=2X)Ny2xny<CxYcKrk{T0^Kxt8VV2jKj-o9H1~fVk
z&w<HvXkPbFQFWb%hZ8|#QDF~CW$tRQbs&$So@DW%7Tsx;q*6u|boPlW<x|p6wmriB
z1-hP}4`a?5QEK^;0`&#c`9au(xd>9{AeX$fB<3!j`xTY)&8{ljv$mE2#fNYXUIrL=
za*47T5}njvoU`r`y*omRHJ5sbFheHt>Q1m-i!CqV@3I9%oU;tOA0}_x?dnWlafPsT
z>B|%6IyFKQ%WT0(Qa^MdYUXna?suAf-VN7<qvzg~0Bz3Ut}NZOf0pf9@SU=w#aiAx
zl|~0CCjO`NhrzG^PyBz&pC=R(q93CFhj$MDk9Xc|>Wu~WALaaepyPk)IFR>0MHck+
zKV=!jkNW@f(35L|nEz|p3?df%@c(~|bT0>cRRsu0Y`}kn_WuT^RM#a(h?o3_H2-Ck
UfBF9<tgz%S!DO&OVgFVAFZ}-~CjbBd

delta 14871
zcmZYmRZtvU69tN*Lm1p8Sa8?iPH=a34Nj2Y4DRmkgS)%CI|LnqI|TRh{rA?fI$d40
zYOme<Wj}Rwuk{%Nvl0x0tSko$2ZZ`x&@&_;)4<R()N?8e{Rc^5LXjYP26DA`IoNYb
zJ}9V;S|}*w|LV*f9b7FOT$ycL933uvt&_5sQx1((ehS61^t}Fc#CQ5m4Cw53of4M<
zwJ}tXl*_8o+odB)g-aljeS;SBhcm5*B49+EDnWT-Sxm{$$a`U#a@l6IILOLKOhV-^
z6i%+g0ar}CZXYntx_~ZukKWThJ3-*{&vCy!0~=Lsu&XpXxHu|)o^JQy^Cw6MKaQxM
zg_u|Q4Diui-|(yM@6O<=@YmcPuC{x^p4Oh0mYb~RK?cuHrQf0Q-z4ee6xg1M6ZiiN
zpPR)x+l<9rQbdIbG}M2XZ+kd*3pL$N+MX#1TrU-*EdT3EVgR8LMTU`jICBmM{o-5|
z`$3}3tG#kYuR!KtH{=7g^D*ALnG<vKlq6rn2_C7ur%D~Gu2)kc?eez0`<S2aBy}(l
z?)gL$UVkq8LQim(+#e=ZwJpgki!NDK9w+p0SNnN#)R|XblboDnyuIJo^gCCAgn}b?
zbxxMKKcZaevjUWwLa|kP<#$A?>8Evrv}If~Vpqh?h^N7(%{sMbuH8Z<mzF~x^C(QD
zHMzdN+nM(`v$4;bu_kWL_c~QLsMT+i<$K$o-0_L_`4UEYQLALXv`oQZTPf9%Gih7-
z^eFjx_TF^9>=91V)bnpB0Hx(+zd(JJZ6NM})X?a4OBU2Gd<oLs8stJ%Cp5Pjm30=y
zp0}Bk0rbbjNO<8i6j%`Pb+z<hXt_(+?VSv|$@*Py4!Zf8fk_HTTblE}%cs5fEW91x
zt)eD|LtZ^EAcWJGz3)?>Q}5BmuVYuaPcnME9`QYN9m21l{(npkZO=eQqkk@y9@}1)
zc2n+k{XlE5adrY*Igb;P0&DMtesuvH=HSET`?i3fA*DxReVuB%y}p<ABqgF_lGK%4
zeWqXU)`YeW`&)GGppl~Aake*e6QVvpKlkq4-QL-VE|$>Zs@_O5BbCFrOL{vwew-f^
zcsQLRBy~Gy?`>>hyXV<~<Ix_uZQbl~#AG$0DL_K9m_?E0Y=5RQ8%azru#u>~;uc`{
zf46_q{xQnWtHUueb_3~erg0CkzPV&>)_;dhv+X=!-aND(_qaBBakT6vm_WBMU6vko
zb&DOwXXGH4VHBb<C|%)CCDLVV`YlM(HEO!J&bO4}_WJpn((nt4^g#G}3jC>LFZMa5
z@rZJC*?OfYF?&84Ykv2Tlr4r2>S+qHor_<l`H1~WalT`0W}g3P$u0R|1*WB|#*P-6
zjN~qf*=LkSd87pXR^W4R)~(YE`#W*EqZa&Rv{gP+*FPgD%5`CE|22wh?%V;gRbKY-
z(!I-t2TMQ~n_Upf(eyNlWNS7@%}<I~^LhO?;ho4U<iFi$TB(b_l@1{S%>oH<BX31O
zV0yv)c(l&hLMh1J*}bt<dmNFr&h=PZPtSvQ>M0gOCFAUF;bm#B5IWi_0-yJDQO-_n
z<-td9cYP10RvwSGRk01ZH%Kds=Xv}c?vs_(z@W5|<z_74LkKC|XWrF<%f!9ejz=w|
zwt_<>yZ^^#DWiyEkaaeQW)Usz+_UrEeXFoupR}M+*C{?HITp=1XH%c4x59I8+h#Fo
zgN^lMvRajV0(gr~^w5Y1S<}Q};5#6a2goKNx$ci8g`qNu<4h7Zc~?7HLCSF+j?SXT
z>Y?T(`y5K_1FRVNSTnkoIfqK@{^VS3SzpdP^;RIIZ-h6YzWIP41<lJE*(~Bu0dM<W
zqgaQn&Zps=+<!|;dM$J-RmGjA0>@aZoz{9zhJvMWNA=)7GWktmF7B3DR%5H?_I3qt
z23!7Ni@tO&mGT}GSu_6u#!^KkcGx)D?>-hJ3LZ9xD`eus@K~b&vGxbR%073?9xkL@
z?Vfw5kk=zF$4$`o2V|O5k+xICuM=p~A}WtbS_6u)h_p*o$PX{@LX@iwv8R)qo92z>
z@A~%vS&$3TQi|zm6YO}uJbthpl$+g&8`*w;I{q8eU(W(qWwzV)F&RLYs1|6S3QWT+
zC7?u-#0Cu5!v0K=onYj6`2J4f*lAawF+<?Nz{>TQ3J+2sVO(1fDUo}qkrJe#h_2}t
z=JWRHYU?b5&KlQ@4o&7%_)WzcE^EpQ-6NxAnsh@_bU#u)LF;I8kc7&rN=FIMqSu)q
zUx}}BUq>I!CW$<Lo*CVJ4?xQ?7NBJW-sMtxpjS;XWH62}x@Byg=7}PWL<Dj``N9i4
zO7zX@g@I(s;T%b$o4~DY^A|^9G_#5;!8vpRbKy=r12$MlILu7gX${MWM84%Rf^XO6
zISQU%%)hg$51UF>`?EsfYegu;X{5%#ggsuHb>_LzcNl+FL(!JeBmcT>Zu!-*!IB~=
z`}zFx!%~CI8jIjDL#?a7eomkyAZ9rAI~wNV=Q-#{(rgKt6Ay-x9EJ<CYMptpDZ9Ex
zw)&dcJhA<!YXJs22JKQd+%2T*0Bj1E8_sDGCKDJX{RjFCG3!><=5atF`_ViCLlu+g
zTW8=ROknWc_w-rnc68>nzY0c)J3T#a@2BF`@^W<J6SDI8j8M5#X6(ugG?{oB&3#wx
z6V)bHv#~YZzue2T$?X*2{q40gXMk{PSZM!<WDBF0d?t8k_KqQH^lUG<WcMgGG_JNT
z0Gm7Bi=z+k<M?kqOpzwQLO6|BbS>EF(Bda;WF9&^;jzDcu*f?fw~&|V>e-#VBs3{f
zP&<D`Lx~erUrzVvIhG<brH1zHG`+njOoibDOm-Jfo3AbVDsDs7IICi?EEY`6Cf-O&
zE!XuiWYFuCm*;u=K`)Jlbae*%2pH`_{y_gLQS@g?+klR!esp-Frv2GF1J<<6N(e0l
z1CCdPTQK(*lnwaDBBB+X300Z}qa;px(07Ed2AuO?^D%R&S^eY%-E-{C4c`^@c6p-0
zf#fgBM{r6opWo8==UlGyY$l?Id!G)j->j0xzz7sU?`GgW{j+q&7C7o&T*R=_WN4!F
zjl{S(G-kinP6l2?GGfj4U*eC(I%Ci3wI1?xWw;k;t@mQV=|FvZbZAv;L89Ui5Nb;y
zVQO*Lq?`;@tmEIO(G~iE*5`d4&P_E&in`)_y>(iXL`{E{_Ff~$E^f_&2thIyxTCRb
z+jPR#1b7@yN)>cM+@5CEPK&Ia9zi~CjAB!0swU*B6XgtCg6(DJ$zbTGu<1n^CMxM7
zTPcLn88jpQnBC94neyF?#-K$SkmODed&m33Va{VqkGK8P%lP~x4K*$m?7BpmTu?(_
zA#FbL?5-lmzLA)bf=xHr(TJz>ek7xRxpC0e$mFdbAr0W}fKt=V%JbX8<8II3C#Asm
zI9T&O=`&<^e4oCSm&6ct33#Sgey@+iL-(Dy-AQrIq*;2(DFqwn86rPk5a)P9D5i&h
z#N5Jp$-{kkjcNr2e;y@mWGXfgs-0f-K%WDWtgXne)QehhGTG)*{-uHI38rwMen_3c
zbw)Pq830Z^K07`@atZ2ddxFdFvvUFl8Ar%)k9xQv8cS+iy(YHauY~N%U7;%W%#$J@
zSoz>MAtzGr?Gj@?A$UlF7Hf1-4j{LBoc0{DwkUB+Q*cV6g2&!JL!;yFfT43YE4cYX
z_4x`*{(8&DyDbSp5BP9M%2Vik*xSiV@N%CWJ7lu|M2&`Bmlm|nQA99Bfj<$s!oQ>D
zV#fs*|M`HM?c(EkFae>H8Pd}3Z@^oTrHybn_UXVvf0^OD+hSw|RdGz9J^)1E;i|_w
zaH5i0`}^R3PS+cCZJb*xe15E7Z%%)ZHQ-)UHt~?7ix@P(r}{g|iHaN1l7R_sJf97Y
zM^^4x!W?@92q=x=YhcPO+89lJ`s}AUpd|K?zw@~CCQF<LTR)8!tvyAw)=ZRGQgRRh
z;fRn5(bU#tv=gsEjk@>nrdIK_N)EnnqXtB@vPqO_*Hm?-thIFNx~|H+PlqmNr0e+c
zB1$9VtiNQ4hB!i}D2I})b&QR6P5ddFTw4Y>GF<UG?!i8H2M9s@wMwxw{0HoI0kd$T
zly-)F^g1^%URF@h_PR3$qzI~6(m3^s8PG7aLr6NoB5=l_V{IndHviB{uq1JhoBiu?
zNCv?M_85G8Hda?a_z*DOkjy^+jd_{CNO9<Ov-yLJl{y7M)d3HV&b{OUmLgi;`I@qi
zWmy=YeS1su5`<kHQW0ookF9mk7o-xnwg#oCDx&XkrdC~THG?vfdyYmPm}DqY(Xa&9
zs*Wer(1#0JKPi)C?76}R9Mw2(^Q@CnmY$kd_~YSHoCNbqSTKwrJ6Vv3%pAP(haT4Z
z5|K0cFYV%2!Q9_GF^EIGnENk1`$FNS)irNwl@Oiepe1x!nzzGnhr^NO-oqfV{*ehd
zAVj@cuHIwgiCu$9+Lk_n=BLPL;8n@Zf5>6sTM`0s^{Ejxv<-+VKvBwr!ToM9WZbE~
zrw@kXglU)~Gd_yw2H$Y1auNcH$iHV)g->bJV)fz4clOMN@=j{Ft=a7SF+hsLE2akS
zHH;d|6g!iO1B02Fey4IWm@v9P-@w*}yuonsGH}+do(HgOSI<<)H(DAn?6Yw=(DIlD
z?5Kf)%P|FT%5)Y=m~aLOD1v+D$<Gtp<>cX^rKPkm>z#R6O>E&B0*9DJ3p-SxNg)q3
zx2WTUKT6|wfB4V$gL!^Rqj!bCNjSG(jkPEWa`)vvQ2*=-03<y4Q)3967P8^=H74T%
z-Pxzwmg<fCo|pTp5i4QmzcAAxcwPs-vB!eAXi<pvs?#9H*e#b?AxIl|acGJ@Q9*xl
zA`n``M3pdkWRZ}N43diTBO0L++k?3%3`gk_7xfesh-v^$2$VJG>4^}8)IpJc40>Xd
zqQheIvsbynG~x5OJz%<9lD{*_lgQU~y`)`A4?4185>_Q<_~F_fRvs^_+mXqQEBzmY
zAVI%%aUpR967qpf^PYe{aSfinG0$7ek-^+2^Rt!Gs1oGA*2Ws&<Eu;hFr3O($z=TD
z!EnZgP>tKlpHERzq((^x3gn<)Fx9XkP`SIV0nS)5c*o$wg;|}GT16BgA2Wd&&?c|U
zceA52L?k#%tvYk@xW0GRFJvz8W@>yvd=fNO20$}Z2cPdgukhysR<-s9!h#*wZ~G?h
zdDs<P^)S<^l39dw6X^wJL;^gc^i5gy|MtFxt<Ku}K5p_Det)@@ijo8Yl;u^#Zn^@G
z=7(t)GDeEomjgyBvY!GINPXTwA5W{j9_I<9!cVt(JKpO6O4K4PfOkG3oAJ&#@35t3
z2v!~Q6MT^Hzom(U7>X!>tD;jnyi`9I5v426G4uj7yA`x4PF+Qop!C9ZBaIccrVGO#
zj6rPk#wL>lxGBPIGDZ*>r&C?|x;0MtC2EvLb*14ic2&GGwX_hUlqyw#`<gP9W8&-(
z9I5Xccih|QYMj7bR>Y+%n+%z!KPM4DfR#dVBonO=+KLwMwdW+^^Jb2sH`}Mn2|hAp
zD*^j83>WJN!&s^AWuiaKocYLSF>NPirknqWmGVuTo=CSU918?THZcafRi+`vFkVie
z&i=B<q@B`#a8#=8LP;}QWFFYn^IIT6g(bNbmJLeT&5QSJIR?dZt?QnRnqQ{|NQT>2
zq@VPw3BpuQD9t{uO}V`9E63sUyw^WoD^sIrNRpceXGV;WT;+<CI(`FyEG*^EQR~ss
zkJHy8twjEkYy}As_S{}x=R9&df&|%sF_tMj?Ye)fSSz4czS_~sL{TV{A9+XrzCd{@
zsBigrowsU<+unY;Oc@t0b@L=2=_7MegK{7kC<zK0IyudN0UU_vuzLHk;SuQbbNakb
zma|6G0qwF(T~kUFngA5AQj*|qnNZlDOn5Y%P0ts$x1d382Wadsrrz>+K!6#l=f8Nk
zH5OLG-elTy<w%Deng*N5iG0%h7aX-!SG^1PHPdOB6$ZUG&`d|3=Wo~Zy>@Ft;6cDx
zz0L7o{=qA$KgKK2;7S#AoxRlckjbN?66>#RNh>M5g;CcB;_u=2qJlqQ?ROp8>%9}k
z{LN;vlR^340~=wei*$~=II49ty8b;LZ0!-laW&vaJg1)&(!$oX$=0-Z<p#1}BdI;Y
zq7CTVZMVq+J@<|eW0U||JNRLcP)Ea0x{&WD2(F4xD-VsJ%`RWR>pw?99IOBRY50zZ
z)7#fQrkBT}*_p*6Yq2Z^#&41{ZOsPS6OCVV;X#iGtO*4+Z~qNSItf~&xK_0ONj`4u
z-Oj~lGMd!jL@0zV$^jZ`)tRB_){+i<`VKEP{%e?e?%(-?I7&-riETIiE;pw6@mhqQ
zT%Q&yi#D$0#lG+kj&Y9y4=Sv$uFVg~>ZTD{z9AG${W%Hyn?N*4NtMohWDd=v+Du>g
z4HeXa_T##WN}d4O7iCiZ1268%`zaw$_+OTk-`j?f&>O^&<j><1%Y)$4oMTCsuBOZr
zav<Cp%rr`BjVYr7?ndbs=syQT4@FjCY1<?&_5Jm=->}W-2y^+^cwQ&O$!O!f|5e}k
zp*Z*nws}~4csri~;AFI`*`E3(2gr^W=;lFG4GNmjwA_N7zg!r6j{A*-?;wM5@=xy6
zV3kzPLSVda2M`ldHPL6N;i2A|z03bFwbJ~xNRQM}(51$O&7i4fFV@TyS!Ji|m&4mT
zaW}6Q!eodha*bfC=iW-}wZ4bn(|}4o*-PPG6c!yJC{_LN@{jqRk4uW@4^NhLYY_q!
zGh-w;JpWNuJ|T<GBMQ}{8e}CuSVrNNBs?`@gNW?AsRAe^M_J12-&5MK!F!AaSRVRp
zL`v2@ac<!qZzn6!Cu#7dR*Y*v(Hb~OQYw#jSQN${TpiiZ5>F!Sb2L*Ra!E96!Bdu#
z9z3Hu4qORmKAB-wL=>}`m19zZ8XoACj2PeiY+}B@vb06$<EPVMO21wb1AZDUCNu%s
zK<f=>{3Bt>gr<=m%)Yx1_1|ZK`BSwc8b4_9%DEKhN>>!PQ>1SNdNwtI`z<^Pshy9f
zV>gHHS9ZRf1bUh|jc|vuAs%R3=K&EmBLVy(^Bz!UMwaInM>TzGEM9?V0b-!Bn3@xI
zQB0*YjJe+i9<ee|D37Ap;&@^8KWUR-UBzr5Y(QY&euMGuX|fjGk#01)uX>N?QTIhr
zEi(}?n(6>>R7Sr=M+tj`Vnhc_OLU<2$u%Pl;-5uz*i2Ur&TRe(^+cr>D-EsV&+#)F
z`<n$$!?N6ScK;1GSFf+_p(Y4MJ4~-`z3f<XU{IdADqD1x9l`&0t{y(2?*k6yXGy7T
zTKw_HJnSf7mk9Q68uli$EOVsf1Hx`0&`Kc8YB_}2w_Yj3Y<`_kmIwEm2<cMlB}hD6
zqi-?&;xDT|yEbZ7ymSIALj>*OrXY2B-z8OVRP`<%th9^!?JAi#4k75Wc^HaJlaC4K
zj`00?w$AXqzCFH1cdVphiwV!pNtw0x&z@`lXa8Ip&>mH&7Y?bxbMHF@!_{P9V%IgR
zL=PT8yYQD^umXKL)|zyn8fME3b8d;}nK~#FC7eS_TZ55EkBsasUS*=vy2SqntSV#5
z5!8lU?(Y38twpt3b3MpXSsao1tlNq@U-l=~cQ6vIfQHLly)@m*8kR+n#z17l&%fM;
z$4W%uYPzGmwj+!7D0kC?d2HbYu_IPysdDoJL(mfLzn>4~HXMB-x<k2%4Z7+*&z5_<
z7_?zYJuEoqHjy6q!;Oz~xnN(V90&9p`jtq%-mI{aY$0rY(F7oMc)j!B!dcs~toddx
z7X1q;{<`b_;V2F<TTugc@R&t9UX{lDmT5sCOPk!rL|fTGt&~l#5Mp;WlpF95N%x`=
z%VRv0QdwRioIeR%lxx7Za-Nz<Ss8|?KYJ_9S1tcdKe}FaA83-=I;Lw}O(2<6WoqEF
zWT>y|jr0oFa3IhU+UomDo}W;Mi=XQOIARVKQDm2i;$Yy5anyF$5PPY21U;D5SrplW
z$c3zFDGTj@Ob5s%qxg*FnrR4od@C~Sj_A6=6cX=F;{5OFdVx}_)>H0JV`8~j8!doU
zQ4vsKF`?!Hy=aJCeYs^5sDW@IV9++F5LhzyU&C$EybhAk8#iahH@}_9T6E~aZ{wDh
zo$2Wus+i+G*C`JuMtvoCD$MA*zFB!Kr8bmtrs9#Wc6N<8F#a$jvyQJ{hY6><({IYG
zd(O}r!AOZ1Pi4x)WWuJ!qAO1xroow<m$PPERb@QbBJnw%52G=2wgOfWSF*ySfBnr1
zMSwA_#0o-5#e7O-Z(`|{n;)WUT44<iv5nMKk#AErRYURDPPFw1rQT4DZ1LP<S)15(
z83l~?u6NyFLcd(?{OS0Z+7E#A=!sl!agWDkr%SG>P8MT6+5IfOOr9YWuaf7%cTn(8
zpZ$~FE_ys84v@Y1P8rL`7jCvRbrX4ei_LRxlnb&m;^BTdepvbv!Z2(B6I%)VS^sw~
zaiQ;Bu_cq9@g}it|8O;mdv6`wA9WRn!g}+!bG9_SAF1@JTTuUa4*op`oWkqx)0Z$}
z7l^CJ*m~SPH*>wjk;NUSfRadTVi-B;&Ld(R!s?Q&25+uPIhNQR=Am@R(e`o(v5(ZX
z>jnL?&z9>c;#nqu{%XdtoRuQ(hTw|Y&tHv`9jZIg?Xc~S^V$XCKr%dqPe*SQgMwj@
z)wd;jSi(%NoEhP9p>lbDSh=;bROR=GAAw3615DH~Eqew~24R=MVM)tmzl)AYo4*d7
z^dBq+>5(c>GV-u~X5tfhfwMRvn(5wTd?0wFB83?n0Pc2|;M0SPytO+ulq)>X_JTyW
zVlpC?fu)WGkNXTU?M8O~ju)aT2QDu9S^v0_J5vlC4XbuI{J#Ym1oXwo{(dA=IrFcn
zKpNDY4|9*h^TX;%H4d=u7krI={cqgZCKIac+N><_Bdjpt&jfd}6!KS^jYHAjoIu!b
zD=`a;Owu;D3p^%RGG?GwTsz);=N76t!R8V>!!b}XB`IBV%Mit#ylWPWT@F*GGa6VD
zA`FjA0n|~N_}c;juk@+*jd0d()I=FId}N7x)qZ&YfAiDu{qg_Goi+G3ysA$jRc_Fj
z_3zilhV>Pat+KG#x2H=jGiT0^ss42O>gze(0?=Vwk4ql+$Ia=wWcQ;ITGi_Bt2~Dx
zici~z($5a{UtZD7GIOQ0Hjx8Q>EhrgJsQ$SdPUO52VM1)+^k1Qy17qWb2)WJCYLF2
zNcpa1<-!%}Blm^lND?{4&o=dbYzmNXf}~{8^Ig)-rcBC|(ZR^y0N*|N`}RcLITKrh
zl_?wgfU(U+2!+*vszzQ7XQfbY%6macB(6dQVRRF_tZu$|7gTOFg(Nc*biDt;BP=%X
z$5waArO{poWAnFaM_J`U7>OAy@J6tyhDPA%Lhtb++WFTo{lkjuWTbBr9tj{>6AI(t
z5i#(b4b)q7{(;707`xh!dkR*Ze1Rxk<ESr*e3!>UZOX|44EZct>cVCAq-)%<^D`*R
z9{VAYYvx7p70D-lqO2I#$O$2>92w)60lph~Ju-BNE+@V{p~XZkIY4r{g|RM522u@7
zb_5m!;e%=6I>&5n{yben(=VXVe<#(C$@_Wb)7hpG++fa`!56=4HV9m&eAx6?mRWQ6
ziX~m^SXn&&?@ImW`stGeP|PajO2YrhdAQC_NfBsvGP6?WP~McCQuQu@9N5cGc#<k*
z@*%?UiyzwY?j4Yh7ZqVrf!0Eek_Ar#Z0hAQ#ZqSgaa20G#mpm`vIuDXRe~JTB}`;@
z9}7HZET_#ru}kC$1S@A4f}-GLo@2i1kqUEYuI`p&Wwp|9f8`TR#vam>l^Cy_>w*)P
z<5q0OuSA4Ah6NR)^|rC|_(isy2#maRklL!#YejKbxq8aTm}}erRd0*la?!T@lGK%1
zPYXOk>GN0GlnX(@i~z|76rQIf7`+hkaWdoT(R=v(dxG3ry=H2g82_NUsZxI#hF>OH
z?n~sF2{@5pNCn=Z)cCRrJWn4lo|(~&xKMXmSK<gE(3>Ci#R_3WUQc~zf)Cc?Y*aTn
z>`h6gF|lR&THw9Hcpzx@L&pi@P&_0R*4410=bBiE)p{izjs^7XM_=+jb~SZ}zo2EI
zg@f);uSPH7RYY?{nGHsOE1VOHHnBB{99%dDj;DIw?$f%yUNjJ@UZ|N=0~aCi3stdz
zt+BAQ)}TBY{P2Xn;BqUI+8Fot@m4nOOeNABtR;opmUO^BT3TDF;5j?4mg0;yo6@-=
z{#uk8Me<9{^$L)w`jmKuqYG0)Zy&BGH0F_lo}gOgn!%=m0xW-I2Hdo`b?V<!d{Mj!
z>p<&TUYr@L1<DSj)^ZHWJ4P4T<Y-QnEp)|I;3UM!q?8=Zv*g&>XM>AVjG_%_I?$jT
z$;T;jC{Ri?TJ<Ggx!qp4<#QURBhcdkST%9ooOUAiI1F-c&3*lC<7jbEs6v28HKH;v
zS3-z<=34Sy<|s{WiO<jO?xMK|I+)E-0Y3e!&9@4sly_b%od>Q(iPGf8cAhQy)*fLt
zw^oLzh;5I4bs2SkaTGk~*e9AX!kOu*mAe_RxJtQ3@%~p0_N}nCp|VoOl3jRiHf8=m
zc!~T@8!#w@c|?U9UV_b2DkLGbzu{M<0RS5{DzU5MJy#WNl1UMms8$Icf(r`y0>4}n
z2wa5HdsB@djT3x7PVo5IAjtb2^>Mnm@Q=(BkiNr`XYkm(XaOu#=;i9>R$V;4{e+AS
zh?^5D@n-7Ctxra+`lc*7xINVF$5Vv&0oN(;0060-O<p%7M&^#R^RHyGrEvArIp$#Y
zFuU#Wg)&n)3`G!$a<Vp+LR_hTRF+TS56rm&&gRDd`FU-wMZlo0mQu$8Npj>0Mis)F
zz!02e<xxA?5o&0d`(;o!?%WIwbtOjtL?}hPuUj;{j28xP%94(Eu8?|P=-pF!`eb$^
z8{|T<ijptOy;)}>!#7wJQz!T|JMFq8!%(S4sx?hd-wzJ|nxjaq5x63YR|lKI4Ev&8
zSW{bDt%L&E748Z^!7+#ot_`KapjR7!3IAy!d)oQ&`EG6i^6~=AOINM4O5v;%I$(dr
zhmumO6f(~mlDAn&2(s<Xd+~AV`MzN00g@N<W^Yh;Hf!I93bz#0U}7o5Bc@nC(?YPK
zenx|tRWnTVPTb0AG>(|yvuIgCI&yB3Tjrn9Y=F=HrlEc&DUrh(mb*^tN#Xyg7hS@X
z^1ycaIY+t?N#FO2-6ix*GrVB(!W_MuyezhBBqKV;J$J+J?0ltpQg4-pKy_qN7lbr3
z^?glP;h9@TnM!pWLmIBCY04n@!8bn?nPvjXB_T6zzvdKny(Td+MC&P*(2{YNv@}sm
zUV55yf>zB{L*ameE<zms&%~Lyy~-O50uP%;z?e}})r~wsV7`657{1&PMj*1<!yL>N
zx2IQg_84$EPxT1f&b*j$!IZuZ2&#%gn_QkE77k_l)8Xgs^j2-~0cDQLFx*fGS5;V^
z|7{_Ku8Y&Ln8No0f2+Ou{X;7`*ze=Cm(<ttZq!N=&uU~TIFxdTUHw`#8j(lc6xK*#
z1@<oU@ABp^j9_2yRZE#`C7vkcNC_usNG7IByH?6*g&U&_9m!tTO;1nXAjm?>&9y&D
zgbsj_9iwU<li&8^(CqFV_8$HRtv#JRgPXNpyQ)d73Fg!SUcQ4vYQtmH-LS?YnPR$W
znzjO>z<8enU;3{CpHTeq-U^oCfg}PQ|5-LUn=+|7jB6AG`?iDa&i0G5Go&ZsIOqXo
z*VWVrU3_S9SVZk4a>e;6S5VG>cNXkoKo|y5p3~DI=oQEad0myFM%n9`Tm=C&mTqDd
z<;U^OoxI)BFD1G=83bQaUlrGLOhA>}y&zdpGF7OcG&6xe1nz4`a!)qzP8>C)tzQ))
z@oOTvT6!{3hXWi5quoGQ_9R>xUXBmD444l2i4j&1`rWvU2rvOnNk*5kh^8T43LV@x
zp6&$3qE1JzfgwXf5KbHM7EHtJRP&qHOR6{h3L;=}Ddg-({%Ima5r3w5P&+Wrhv9D?
z^Ox@xJ_w!g5BGsWB|BI7In)LRM0$pm8M{9;U&YxNmg00(#8?<GDg;-SPBP4i*U>Sd
z8X(^U2Ew8K9@3ar9Hu^y#~6Z~{`sXe<(t%!+-T42p17EAx-=mLLo4!tX_+dTSh={a
z0>ThWv`=UR?G5%nI-WPhbs~L;$per>0x}k4zm6No)I~@F=VcEjn*-CgM6XNH3j^Ka
ziw%g>;4op6RCVFm4Sm{65cz+$Wj$Z^w4mqrR7qASM=ZtW+x`hw2~z3j|6^r6xEg0~
z<l+4^g%C7Z`fWI<aTS5Zkl@p$0ZpV`1H_eRy1sxt<{kLsyN3Y<RvO(5Rns()dlRz?
zy8nSZ%BL7*oswXOSnw+sQLJnG(s4~sQ|~^M90Iw-0VtS-PMP=eK$&cDSWe3_b3a;(
zdxe#ez_i)(^`PG(KGM;hNn4%u)wnoTm)}X&yn+W*P&5I<$`suG*E?`aP-3_4A4pf6
z8unR;{v{^Y29~u(UX&j%Z9+-E&C-m}F{P&MSc7=}n9USh<KPrYdQX05=9jK+FS`Pt
zVOh`@+oi#<On-=gjY(h-t6D9z$@*XYQ)@%v1OekWao<b6?2>X)=_Yg>gib2@(olW5
z_7|aXII4Xo_k@b@FHUNk<U#%#yC6>h(u547#(1j>>GeOkB7V?%OkoHaLrSPc#kU!!
z`+$kn{;8~Tkx`2hiN(SeA!Z&LsL1piY=inGcqyDwkyg(sjEBK#P7zA-w`(PuFM<c^
zm=^5rcfo3+L^l-UKj4%Y>ssV+Ze!v+JT70Zm*B#GUiE3I!DJU#(0J7%#U@Ev(18Ff
zJ*~d3k0nJfzY4pG!8WHOaB<TCj&S(K_n13Zu$hlaF%G_6z77qzyYOK}XlwX3eBxUE
zY`?zruw~np22HxWpOaLEt*qqbLOftAl#@*cJWjug4m+UJtvF+-c;W<~3}%j=zF;N&
zTb?U}jfXqGVyBE4@QA8af9NRRw*yW3(!4?VX6zngc$|7$G=El{IpnkA{mU5oN3^_R
z;~&7A#V+u|Mn(A8m!YD|bIO>?&WRanK*+tNv7CY|f-Xt}@|WH8veze=2T6y}f0YWs
zDQtX(=&t!8aO;Yo_<vd$(DStV-u<_B1QBKnw)@`wk@-dIrg-rOb-_s{mGOsaAoFi>
z|GGYZs5@=igw>ThDmwuSo492Sl_`TzPNU%Q66H8vQRg^&O((wOEX9v{|8Muc1Kh3r
zp1!}YFKm}q@=KHIEeW9AlO`=mH93q>YA%`(3AEG{?Yt9P(2s)Vey^%}z}&05beS$d
zq<Ck3pBAOxDuN|uSNjqzMCZH39>MVjP(lhB?Oe(`N@y^fqcQj8g9v*Qr!(Qi9LMg{
z(V@&qB35|NTS?kh3=-UpRni-ryPD#5CW>@Waa(|s3`B-J9*(E;6gJL$C=Y}Xt4tx)
zL)LpC`$Vs|=Pv+E27^xeKtk0{E<F#A-%kG;$J6(c#;nLdsV_obYQFhjBXo!$d+DEJ
zd=sAXBmfuC?=<Msy;r*wxo81sjB+aQn~clLc_%$kbBL7di;66<;sId<uLpb*Og3*?
z*&*4sWW{30+R~U2jOq3Dn)w40d-9J35;^}&Q^&cpTfq-QL&pInRC~s`H7ymsxdA#z
z9SD{|61=CNQ#xbtO@eF)M{LMXqEv13Ti=StvK!K}aNr$v6XbYASDB1ZAfQ~c4ICZ8
zqek2Lr4ql+lfK)O+Ko;%_NRF`^6_@FhzuvkfrB0?F{y!o@M2({KQ^>)gEUWc1D-aJ
z-pp-fTqFnn-I-};#;4)^VZJ&pmjF$;hKJDS5ikz=jTd$5g_ce7iRyp0-{P|gW&c)Q
z-UFixgN=}#;!YqG40}}!WI<Fzg3^T|+SEtW(oUFf?Bt%<3?gxf7STG&%$G!lS;)vl
zp_5s^25YX+y<cA}2Dk03%Y@_iT%TM|Wz1;hWOkG#N~+6O?Mfdzlc}T|1)@`XL5l%|
z;`~500^Y7iD@#@OjO22W%jOEc%Cv#s$Y|+QZ^=)LrBZLH9Q*0J1uk90ram{P>lF&j
z(rx-WJZ}xMN1yn8`>%2Q7erV!O1M9u1sn5C#&j1H#nT%sEeWl1{Ngfs_1~PGo?%kx
ze6LaGj*gXDTXvqD9|6c>XqPg?(04ou(6}Ilg)Iri6^*n+Bjd5(Ui<ga3N<*$*c`U%
zoMlMe@#r668Xa+uA_yx?c#+wdy<2CJ^kl<beP{YwhX}pOeaGebkyg?(@;Jv2{Asu`
zurK~U)Du$W6oB7T2Kj9!u^|C^P@ue<bv3VgZyh3IQV}w8&Wt(eOZo`ugI7MjbP*8C
z;cJY_*HRY4y!shc<v5ACK}fk_M8`qW&Z8!DxC>3TZjIT%Yb&62X39=`5Pws-_Q&Za
zw*L@TJ|e?%zs(U$<pP@8+g&f(j<*FM1wNq-QzSxNpsXC_I~T*ifJ@)0d62p<(kI$~
z^0GhgxcOY1%8%G<$Uo9tQQ}G9l%GKR&<mCmI^4a2f^AO*AoNpCG!PIw|2Qz3yab9U
zRAq-ME4pw6^ZkeS?%nZBbm=$YE6!#}e6VpM7-Fa_-|s7<lB9+-sA)E{diBbboJgfc
zqFR^>99KReqa|a_uhrqLyLlCRWII+vdC4sQ6g^h8+4b~*r?U?!^hJ@EzXW~GPYL{|
z#fmZfIR7LT4Esz_bicEAdiie`U@P}$dN#NJD(>UoDRyGO5S6sv>Ta3sff5Vc#YDBJ
zqHaZfJGjR1aE)>a<{F+)ws|{wc2}o3_={Ijl~a3vQ6zzo7g$&<inTF$Oxy$;xHpev
z6>T<Pxtv_BI@4uo`TAb_LIFab!WdF;c2IvY!GitAP?xSUq~7J`d8un}mE?twk}WDT
z(R!1Di9>t#MHY2Zuc8^g*n7MLV-Irw{Q%I%K`@xIMuplp33cTy8xCdYv=YkYf_D9u
z(f>!QL=v)eNL-A4o~()(aQQ7&h7ALI3$Rv$vob&xIE$><(`?I{UjcHmR_77lgW7nh
z*@@xSIiokznVB?+piHXGB?O6ri$*`$U(DH!v?#9$hll!Rj}_nmOK|@V%PyD7Hl1b~
zajMohBC}yO+_SiA@GsGjkVea;xSHRKxcHaeX|O_SVe%tjWoA~UceciMvsP&mrNHBj
zSO9*8Y5c*4ee4t{D3EMohn+K14tZwUQBCH^R{@o&oG0Y1;K5L5EW{O!9}UO&`ZX@`
zWQGf>D?Mi!cQ>2YvH`*3))_ySNb|;AoiPZBJvr$B*%zu>zq48miE}^WLxq1^&})RP
zyGz46U&3~m_jy*3gzUL+(pbp)@8#WkX0<9ZWtLAS>n0(o#ex`7m-{3;95wk&bHBB>
zY)T@>`u2F9sS$o$Fi=viDx%Ev2)x{Z`%hR}l)88X9*H?Ky>D3tD@pAHL6#NCttt$m
zFn>)2uMADG@v#AbIVdUdQ-;c;@0PbCNKvV#ymeHxlu$zbh&Eg&OySCuU;2tvnONK%
z1$8FIXD@YM)IfttR`vPgsv|8R6&0t0U|c9U*wX#JnP9bAb6Fs?aO>u3`|<c;%w&;L
z?JN`R3w4=%CbY2fPNSH?X8<t-$v?GTSb=4=|M1fMC^D`b$F)QsBez3dtfQku1jRse
z@btTr`f^-ETu3NF8dZWvWD@2A7*7MXRB|k;Ae%Jr3UtOy`g#;bqU&(D7=v9@4i6;B
zDB94uV7pQ-3=}SCoifK*aOPIuuQKA1sb$YRjfaK^=Y9)L>Tgou`xXs4sbPb$eacOL
zHz3F;G`|*DP~qw*!izf57KF#3imGt7xuM8PpS&RQyE})x)>3DS(K?*i+sYd2)XB1b
zjWld11j#0Je2EV@;In4bg_z?Ntj7>KzDg=&6&2f(cKp-q`)@rUUXszu=<`a*x|uvf
zPXbSrZK2vGb|rc?Q}Fw$HUS-}d_q3-=rJ!g)>nWtkd;|=Pu7M*J~wr{5-fONwJ>>D
zVefM&<Z8uh)sr#Rulp98RE6D9oxEgK=btFj3A)B=%Q-&ell*U5&EM8|%athu8IqpB
z!dMDN;tR#W`0LE5QtLq`d@$t9=%FugGqS4YidrYVET$D!Q3;^-gH;>qn<^}IIBN79
z;3r1(4pNTF6YJiUFP>p>qD2m)9LF335bV{I>m+{f@-^`|9eSvwp(#8G0Z1}T$quxJ
zB&|83f?EALbyr>r=5@=9gt8rRwm83WF)m;X$zMgtimK%fsjB=#(%Z>P&!yoc@Vpt8
zQ5z=qB+%mUxu3qyk?8?S6WgKoC(D;pV_uSLsy1ozTwBPE%y{+~Eo*;xf<OEk2>J@h
z%t`WTR8Un1EEo9yRHO}?u<+>bs!DC23}3pwf>_=nNJgNXc=tEEsen!zsRQ))rDdBk
zf-cbCyZkISot?w>l^HBv{?3O%?*K-7Nc4MUM2C@PAM+^8hIRXV@&m9Xz#r7{cu$U~
ztVCul_A^@|9W5;KutqeDCB-M~jhOsn>5TW<fV3bBD4A(FF7yjzS_1d=6!;IoT5wto
z=+^CVq)OT|6@%ozZC4J=hy7GG(Khkr8n?mfU%9Lu1*dqGdPq=4ib%H=w#KEuGKU8Q
zS40+Zfr;bFXf<fhbc(G5IPt4Mv>K&bc~RYl3vmx_LA@P^{V5~6OiC+m>3)1Ph7Ogs
znO!0RF*6b<fKNF|jfa$srGE^1GZF9wnK?UJ(v5z1wi#Ets{fa--Shj3F@gseSET$7
z_3Vh2*7o`fCj?rorV9F&wHlEykP{uH+<1)FJQr`rd8cw5wBmYV(z(i}dI|jUJO4}j
zuZorP{$HuK0{;n7hWk$*5%O}r`ug~;M#?F*6E4j~V-nN-&8F4R(?s)5p}$gX2BBRo
zAuX&aU3?<0{d$`JD7^_m9}zPCsKYMnT$uH-O|c^PSrUnG$~@nm6c?y$E+q0X%eKNC
zjk`yPn0S>J6*2Zbz1%Y14batTsf%Z`w#n?C+J5^GF{q8&ewjOl2P_4b{zmyuPwOom
z;q~a5Vqg3?arfijXIo1H-!rSFC8&HqpI+9sm_b{~;7l%RX_IH4Z}G^-!mYXH>b14}
z8x+9oFXWs`MeAFGg{Uej;H{Qke`WLVg$%9d`6o49t9EVE?3DU^_XB!(5X~%dLTz>;
ztw}pxr3vJ*_CIl}xzp+4L;YgbPA`X-Fa0wka6-*=NjWR=fZTu`*OX%z7xd#QB~y5o
z!|2XRmn<$cFmpQQ70LOKE~<~Ns1o*DtVz4#ApTP>2Yk`IF@5U%*NifFz*h7t^F|3S
zJv94m?dMm0p`ASI!c`SsFZb%=-^LKwC1pkqEz?I-OOZ0LYP5(T#N|>@2SYC(1uh93
z?`jpxj@`1KZ5$<LZLJ8^0#fv0_xd;^P=JmrXhn=}<Y>;P-ZdDcI><sQv5`Ji)!hG2
zvHeHQ44K;xX3L0$l?hi_*OFEt^hYU#9h@u+<oF>g#$2Zx#SC9QaIs?h<lO;-`<An<
z@&&TeeF!H8AVqSUt0+f)u)lR?q40a&>K}fj{yBk^9x<U)k&IL;0P1GYsi?`IFRft{
zW8t=WWH0DHPy(dUyf3*<iH=ELMMs9P_c6#pkzb1fD78;DC*)WDo~&B`=@uR18mzLm
z)R0a_P(%-PVD7iXPVuf-kNbOmSJCq^eSK@ys+4^ar+Gp(gG;Ifc6oQTqG08n)%cD(
zwouuQRJr?{HOTUt0t9g_m7tsJQZ*DSSRhlHCJ_9^;N;NP3%*nmesy-bjp`rAQkw_W
z8A6%jWq_OH6`c2&L|WyC7m*S|R5`RT(sGFn-Wr6ZUCMc&caSU>BtH2rtum^qaZgQ&
z#6a;B2!FkFbbL)+@86E^BPv8xu18hJzuX7F^OP2o;ujPLgB0@>p_JsRZ>Jvtd4j^t
z0nBTGMR5A3hFl7@tI$YT(Sf;ye=YlaUgmplZ1aCh<!8Z^A2)#KsSr!|!~d4o3wlya
zo-|MUs&7o2=%yVr6<|-eZcW;7f)Cb#<>>H2I}x<E`mxtr_JlsS-;^P6&z7v*va@v=
zgidi*RORoUAT|L6i=gz~dbJ9aSWX}Be}UY&#LMx7>AsOxPz3(YdXb%dj{Qa&rw5%w
zvHz*L=537}L97J^Vhd4(<lPRTszww%&i{;m32>%k<$6^4X1>m`fHp{>$FhT%RY#=3
zTFP8wK1JTBWnyLfu@!o*D(s5?1iWoL+_b8)6?665LDRu|w1b=ro%#}gxi~B8s^vU)
zbLy2yNPU|&;%j9Mc7I7L+dc+b%VTv)$0{}<Q}3rTV4n_5zSk#}x>GY$K+aVK%H~oG
z?WC{5iylMORNm!PNe^03Yqp34ISORRwMv6I_vAF}BSda3(`BlQja6m5YRn)HrH+Av
z@hThkAoUZ2hr$f`d(7lP(JS76cQ$+;b&UFUbW_6~BVSi$*I<CP*khIh%F|HYC|#3@
z*Il95NXr|Hcx2QQ9$6nff-)>>glaG%=EhQYxL9PiO0}ritj;3w%6)vVn9_viPR|2N
zWGK-UGXBG-v=}9-?G?qXsABlwCY2-lhuNBcpplCYdi$wqJP&j=S(?u!*oL_?QRgp)
zh*(Q+{GR*;7ilGgDrTXCtPRn7cs<a$KMXWrTO-I~{OEF9T^e_&C>8$Ql`h^XL~Ske
zU*{H+EA$E56zi13`l`V}zb;*j^*?oXc<v3)S6}^4<(=bonv_QzDaCdA^5%VMzxtF2
z+MW?TSjIu+{2q@cZPwqyRcTeBKk=VY<!Xbc&d`iNDGl4vU4SU2h+Y8L@5X}TfLwz<
zSUNCH3t&qs{G;H$GqFCC{yGw5I<Vw;a$>m96Gir8OHZl1oxAk%BbOcq=9o;|jh3Tz
zdTVZv4BsuL=Uy<j)|OcA#MWhSFb6sTgy5A2mw?#e6`rWJ(Y4<l)er%{Ux|gReNnDm
z5*7fz8_B44MUmrLfHxum#W}YyvU`^59dZqsX~fThdG0jB>r0V$v~mMaBEs850JJw$
zMKK_pwf59r?k~ePM6Y{JhGPWKf-g1IoyDiLv;neUU6h2zU)28GesT|g=fzY(`f1n%
ztFDK#DtbI}zRB6NE9lA>QOCy*x9=FnIpwuP-R-#!KDyACcMFY@DYUYor!kk^3FhOu
zMNRYGf>MuOv6uHmTW7o-t1hm!N5_V<^Y8yp`i1*9^nd5i6+x+x#Q7IUW>t@6(X~6P
z;j?pZZc&j-D+qx*cSB0syyt?pm_hXw$LU7dHbURL);B2!uUl(l-e|eO+5B^-?c!(A
zqXmLl_M@RrtPZx4MW}?lU`EAi8F`s4FYB{t??Io#ixzk_Qj-CWr>ex=7}fznE4ybk
z{2vJgvjX!0N&6;6n)kkQoc?9Pq@Z)V6!YWQ|Bod6|Fa)>)M=kDpV0rOEAz{LuFOWD
z9~Q#@44I@M4*!F=5bpoMScv%l05y~s_5bbCOwtHtB>NwAQHd{p4uFDMMu&nz`p>xe
fe}{%=Qb8!e|DJb+62aK`C#{E)0@nQhSMYxTSTdwN