From 255aab0176c4b0e907bf5bcf842fa921a8b91ed2 Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Sun, 18 Mar 2018 11:43:15 +0800
Subject: [PATCH] auto commit
---
notes/数据库系统原理.md | 399 +++++++++---------
pics/0b304499-0d7c-49cc-b784-3e7a805c9fba.jpg | Bin 0 -> 36864 bytes
pics/4f4deaf4-8487-4de2-9d62-5ad017ee9589.png | Bin 0 -> 11264 bytes
pics/d0175e0c-859e-4991-b263-8378e52f7ee5.jpg | Bin 0 -> 73728 bytes
pics/d1ab24fa-1a25-4804-aa91-513df55cbaa6.jpg | Bin 0 -> 71680 bytes
pics/d589eca6-c7cf-49c5-ac96-8e4ca0cccadd.jpg | Bin 0 -> 65536 bytes
6 files changed, 208 insertions(+), 191 deletions(-)
create mode 100644 pics/0b304499-0d7c-49cc-b784-3e7a805c9fba.jpg
create mode 100644 pics/4f4deaf4-8487-4de2-9d62-5ad017ee9589.png
create mode 100644 pics/d0175e0c-859e-4991-b263-8378e52f7ee5.jpg
create mode 100644 pics/d1ab24fa-1a25-4804-aa91-513df55cbaa6.jpg
create mode 100644 pics/d589eca6-c7cf-49c5-ac96-8e4ca0cccadd.jpg
diff --git a/notes/数据库系统原理.md b/notes/数据库系统原理.md
index ff62cbff..c3d569b0 100644
--- a/notes/数据库系统原理.md
+++ b/notes/数据库系统原理.md
@@ -1,118 +1,99 @@
-* [一、事务四大特性](#一事务四大特性)
- * [原子性（Atomicity）](#原子性atomicity)
- * [一致性（Consistency）](#一致性consistency)
- * [隔离性（Isolation）](#隔离性isolation)
- * [持久性（Durability）](#持久性durability)
-* [二、数据不一致](#二数据不一致)
- * [丢失修改](#丢失修改)
- * [读脏数据](#读脏数据)
- * [不可重复读](#不可重复读)
-* [三、隔离级别](#三隔离级别)
- * [未提交读（READ UNCOMMITTED）](#未提交读read-uncommitted)
- * [提交读（READ COMMITTED）](#提交读read-committed)
- * [可重复读（REPEATABLE READ）](#可重复读repeatable-read)
- * [可串行化（SERIALIXABLE）](#可串行化serialixable)
-* [四、可串行化调度](#四可串行化调度)
-* [五、封锁类型](#五封锁类型)
-* [六、封锁粒度](#六封锁粒度)
-* [七、封锁协议](#七封锁协议)
- * [三级封锁协议](#三级封锁协议)
- * [两段锁协议](#两段锁协议)
-* [八、乐观锁和悲观锁](#八乐观锁和悲观锁)
- * [悲观锁](#悲观锁)
- * [乐观锁](#乐观锁)
- * [MySQL 隐式和显示锁定](#mysql-隐式和显示锁定)
-* [九、范式](#九范式)
- * [第一范式 (1NF)](#第一范式-1nf)
- * [第二范式 (2NF)](#第二范式-2nf)
- * [第三范式 (3NF)](#第三范式-3nf)
- * [BC 范式（BCNF）](#bc-范式bcnf)
-* [十、约束](#十约束)
- * [键码](#键码)
- * [单值约束](#单值约束)
- * [引用完整性约束](#引用完整性约束)
- * [域约束](#域约束)
- * [一般约束](#一般约束)
-* [十一、数据库的三层模式和两层映像](#十一数据库的三层模式和两层映像)
- * [外模式](#外模式)
- * [模式](#模式)
- * [内模式](#内模式)
- * [外模式/模式映像](#外模式模式映像)
- * [模式/内模式映像](#模式内模式映像)
-* [十二、ER 图](#十二er-图)
- * [实体的三种联系](#实体的三种联系)
- * [表示出现多次的关系](#表示出现多次的关系)
- * [联系的多向性](#联系的多向性)
- * [表示子类](#表示子类)
-* [十三、一些概念](#十三一些概念)
- * [数据模型](#数据模型)
- * [数据库系统](#数据库系统)
+* [一、事务](#一事务)
+ * [概念](#概念)
+ * [四大特性](#四大特性)
+* [二、并发一致性问题](#二并发一致性问题)
+ * [问题](#问题)
+ * [解决方法](#解决方法)
+* [三、封锁](#三封锁)
+ * [封锁类型](#封锁类型)
+ * [封锁粒度](#封锁粒度)
+ * [封锁协议](#封锁协议)
+ * [乐观锁和悲观锁](#乐观锁和悲观锁)
+* [四、隔离级别](#四隔离级别)
+* [五、数据库系统概述](#五数据库系统概述)
+ * [基本术语](#基本术语)
+ * [数据库的三层模式和两层映像](#数据库的三层模式和两层映像)
+* [六、关系数据库建模](#六关系数据库建模)
+ * [ER 图](#er-图)
+ * [约束](#约束)
+* [七、关系数据库设计理论](#七关系数据库设计理论)
+ * [函数依赖](#函数依赖)
+ * [异常](#异常)
+ * [范式](#范式)
* [十四、参考资料](#十四参考资料)
-# 一、事务四大特性
+
+
+# 一、事务
+
+## 概念
+
+
+
+事务指的是一系列操作，并且满足 ACID 特性。
+
+在数据库中，可以通过 Commit 提交一个事务，也可以使用 Rollback 回退到一个保留点。
+
+## 四大特性
-## 原子性（Atomicity）
+ **1. 原子性（Atomicity）**
事务被视为不可分割的最小单元，要么全部提交成功，要么全部失败回滚。
-## 一致性（Consistency）
+ **2. 一致性（Consistency）**
事务执行前后都保持一致性状态。在一致性状态下，所有事务对一个数据的读取结果都是相同的。
-## 隔离性（Isolation）
+ **3. 隔离性（Isolation）**
一个事务所做的修改在最终提交以前，对其它事务是不可见的。也可以理解为多个事务单独执行，互不影响。
-## 持久性（Durability）
+ **4. 持久性（Durability）**
一旦事务提交，则其所做的修改将会永远保存到数据库中。即使系统发生崩溃，事务执行的结果也不能丢失。持久性通过数据库备份和恢复来保证。
-# 二、数据不一致
+# 二、并发一致性问题
-## 丢失修改
+在并发环境下，一个事务如果受到另一个事务的影响，那么事务操作就无法满足一致性条件。
+
+## 问题
+
+ **1. 丢失修改**
T1 和 T2 两个事务同时对一个数据进行修改，T1 先修改，T2 随后修改，T2 的修改覆盖了 T1 的修改。
-## 读脏数据
+ **2. 读脏数据**
T1 修改后写入数据库，T2 读取这个修改后的数据，但是如果 T1 撤销了这次修改，使得 T2 读取的数据是脏数据。
-## 不可重复读
+
-T1 读入某个数据，T2 对该数据做了修改，如果 T1 再读这个数据，该数据已经改变，和最开始读入的是不一样的。
+ **3. 不可重复读**
-# 三、隔离级别
+T2 读入某个数据，T1 对该数据做了修改，如果 T2 再读这个数据，该数据已经改变，和最开始读入的是不一样的。
-数据库管理系统需要防止出现数据不一致问题，并且有多种级别可以实现，这些级别称为隔离级别。
+
-## 未提交读（READ UNCOMMITTED）
+ **4. 幻影读**
-事务中的修改，即使没有提交，对其它事务也都是可见的。事务可以读取未提交的数据，这也被称为脏读。
+T1 读某个范围的数据，T2 在这个范围内插入新的数据，T1 再读这个范围的数据，和最开始读入的就不一样了。
-## 提交读（READ COMMITTED）
+
-一个事务只能读取已经提交的事务所做的修改。换句话说，一个事务所在的修改在提交之前对其它事务是不可见的。这个级别有时候也叫做不可重复读，因为两次执行同样的查询，可能会得到不一样的结果。
+## 解决方法
-## 可重复读（REPEATABLE READ）
+产生并发不一致性问题主要原因是破坏了事务的隔离性，解决方法是通过并发控制来保证隔离性。
-解决了脏读的问题，保证在同一个事务中多次读取同样的记录结果是一致的。
+并发控制可以通过封锁来实现，但是如果封锁操作都要程序员自己控制，那么就会相当复杂。数据库管理系统提供了事务的隔离级别，让用户以一种更轻松的方式处理并发一致性问题。
-但是会出现幻读的问题，所谓幻读，指的是某个事务在读取某个范围内的记录时，另一个事务会在范围内插入数据，当之前的事务再次读取该范围的记录时，会产生幻行。
+# 三、封锁
-## 可串行化（SERIALIXABLE）
-
-强制事务串行执行，避免幻读。
-
-# 四、可串行化调度
-
-如果并行的事务的执行结果和某一个串行的方式执行的结果一样，那么可以认为结果是正确的。
-
-# 五、封锁类型
+## 封锁类型
排它锁 (X 锁）和共享锁 (S 锁），又称写锁和读锁。
@@ -120,7 +101,7 @@ T1 读入某个数据，T2 对该数据做了修改，如
- 一个事务对数据对象 A 加了 S 锁，可以对 A 进行读取操作，但是不能进行更新操作。加锁期间其它事务能对 A 加 S 锁，但是不能加 X 锁。
-# 六、封锁粒度
+## 封锁粒度
应该尽量只锁定需要修改的那部分数据，而不是所有的资源。锁定的数据量越少，发生锁争用的可能就越小，系统的并发程度就越高。
@@ -128,31 +109,31 @@ T1 读入某个数据，T2 对该数据做了修改，如
MySQL 中主要提供了两种封锁粒度：行级锁以及表级锁。
-# 七、封锁协议
+## 封锁协议
-## 三级封锁协议
+### 1. 三级封锁协议
-### 一级封锁协议
+ **1.1 一级封锁协议**
事务 T 要修改数据 A 时必须加 X 锁，直到事务结束才释放锁。
可以解决丢失修改问题；
-### 二级封锁协议
+ **1.2 二级封锁协议**
在一级的基础上，要求读取数据 A 时必须加 S 锁，读取完马上释放 S 锁。
可以解决读脏数据问题，因为如果一个事务在对数据 A 进行修改，根据 1 级封锁协议，会加 X 锁，那么就不能再加 S 锁了，也就是不会读入数据。
-### 三级封锁协议
+ **1.3 三级封锁协议**
在二级的基础上，要求读取数据 A 时必须加 S 锁，直到事务结束了才能释放 S 锁。
可以解决不可重复读的问题，因为读 A 时，其它事务不能对 A 加 X 锁，从而避免了在读的期间数据发生改变。
-## 两段锁协议
+### 2. 两段锁协议
加锁和解锁分为两个阶段进行。两段锁是并行事务可串行化的充分条件，但不是必要条件。
@@ -160,15 +141,15 @@ MySQL 中主要提供了两种封锁粒度：行级锁以及表级锁。
lock-x(A)...lock-s(B)...lock-s(c)...unlock(A)...unlock(C)...unlock(B)
```
-# 八、乐观锁和悲观锁
+## 乐观锁和悲观锁
-## 悲观锁
+### 1. 悲观锁
假定会发生并发冲突，屏蔽一切可能违反数据完整性的操作。
Java synchronized 就属于悲观锁的一种实现，每次线程要修改数据时都先获得锁，保证同一时刻只有一个线程能操作数据，其他线程则会被阻塞。
-## 乐观锁
+### 2. 乐观锁
假设不会发生并发冲突，只在提交操作时检查是否违反数据完整性。
@@ -176,7 +157,7 @@ Java JUC 中的 Atomic 包就是乐观锁的一种实现，AtomicInteger 通过
乐观锁有两种实现方式，数据版本和时间戳。它们都需要在数据库表中增加一个字段，使用这个字段来判断数据是否过期。例如，数据版本实现方式中，需要在数据库表中增加一个数字类型的 version 字段，当读取数据时，将 version 字段的值一同读出。随后数据每更新一次，对此 version 值加 1。当提交更新的时候，判断读出的 version 和数据库表中的 version 是否一致，如果一致，则予以更新；否则认为是过期数据。
-## MySQL 隐式和显示锁定
+### 3. MySQL 隐式和显示锁定
MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时都可以执行锁定，锁只有在执行 COMMIT 或者 ROLLBACK 的时候才会释放，并且所有的锁是在同一时刻被释放。前面描述的锁定都是隐式锁定，InnoDB 会根据事务隔离级别在需要的时候自动加锁。
@@ -185,7 +166,135 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时
- SELECT ... LOCK IN SHARE MODE
- SELECT ... FOR UPDATE
-# 九、范式
+# 四、隔离级别
+
+ **1. 未提交读（READ UNCOMMITTED）**
+
+事务中的修改，即使没有提交，对其它事务也都是可见的。事务可以读取未提交的数据，这也被称为脏读。
+
+ **2. 提交读（READ COMMITTED）**
+
+一个事务只能读取已经提交的事务所做的修改。换句话说，一个事务所在的修改在提交之前对其它事务是不可见的。这个级别有时候也叫做不可重复读，因为两次执行同样的查询，可能会得到不一样的结果。
+
+ **3. 可重复读（REPEATABLE READ）**
+
+解决了脏读的问题，保证在同一个事务中多次读取同样的记录结果是一致的。
+
+但是会出现幻读的问题，所谓幻读，指的是某个事务在读取某个范围内的记录时，另一个事务会在范围内插入数据，当之前的事务再次读取该范围的记录时，会产生幻行。
+
+ **4. 可串行化（SERIALIXABLE）**
+
+强制事务串行执行，避免幻读。
+
+
+
+
+
+
+
+# 五、数据库系统概述
+
+## 基本术语
+
+### 1. 数据模型
+
+由数据结构、数据操作和完整性三个要素组成。
+
+### 2. 数据库系统
+
+数据库系统包含所有与数据库相关的内容，包括数据库、数据库管理系统、应用程序以及数据库管理员和用户，还包括相关的硬件和软件。
+
+## 数据库的三层模式和两层映像
+
+- 外模式：局部逻辑结构
+- 模式：全局逻辑结构
+- 内模式：物理结构
+
+### 1. 外模式
+
+又称用户模式，是用户和数据库系统的接口，特定的用户只能访问数据库系统提供给他的外模式中的数据。例如不同的用户创建了不同数据库，那么一个用户只能访问他有权限访问的数据库。
+
+一个数据库可以有多个外模式，一个用户只能有一个外模式，但是一个外模式可以给多个用户使用。
+
+### 2. 模式
+
+可以分为概念模式和逻辑模式，概念模式可以用概念-关系来描述；逻辑模式使用特定的数据模式（比如关系模型）来描述数据的逻辑结构，这种逻辑结构包括数据的组成、数据项的名称、类型、取值范围。不仅如此，逻辑模式还要描述数据之间的关系，数据的完整性与安全性要求。
+
+### 3. 内模式
+
+又称为存储模式，描述记录的存储方式，例如索引的组织方式、数据是否压缩以及是否加密等等。
+
+### 4. 外模式/模式映像
+
+把外模式的局部逻辑结构和模式的全局逻辑结构联系起来。该映像可以保证数据和应用程序的逻辑独立性。
+
+### 5. 模式/内模式映像
+
+把模式的全局逻辑结构和内模式的物理结构联系起来，该映像可以保证数据和应用程序的物理独立性。
+
+# 六、关系数据库建模
+
+## ER 图
+
+Entity-Relationship，有三个组成部分：实体、属性、联系。
+
+### 1. 实体的三种联系
+
+联系包含 1 对 1，1 对多，多对多三种。
+
+如果 A 到 B 是 1 对多关系，那么画个带箭头的线段指向 B；如果是 1 对 1，画两个带箭头的线段；如果是多对多，画两个不带箭头的线段。下图的 Course 和 Student 是 1 对多的关系。
+
+ 
+
+### 2. 表示出现多次的关系
+
+一个实体在联系出现几次，就要用几条线连接。下图表示一个课程的先修关系，先修关系出现两个 Course 实体，第一个是先修课程，后一个是后修课程，因此需要用两条线来表示这种关系。
+
+ 
+
+### 3. 联系的多向性
+
+虽然老师可以开设多门课，并且可以教授多名学生，但是对于特定的学生和课程，只有一个老师教授，这就构成了一个三元联系。
+
+ 
+
+一般只使用二元联系，可以把多元关系转换为二元关系。
+
+ 
+
+### 4. 表示子类
+
+用 IS-A 联系来表示子类，具体做法是用一个三角形和两条线来连接类和子类。与子类有关的属性和联系都连到子类上，而与父类和子类都有关的连到父类上。
+
+ 
+
+## 约束
+
+### 1. 键码
+
+用于唯一表示一个实体。
+
+键码可以由多个属性构成，每个构成键码的属性称为码。
+
+### 2. 单值约束
+
+某个属性的值是唯一的。
+
+### 3. 引用完整性约束
+
+一个实体的属性引用的值在另一个实体的某个属性中存在。
+
+### 4. 域约束
+
+某个属性的值在特定范围之内。
+
+### 5. 一般约束
+
+一般性约束，比如大小约束，数量约束。
+
+# 七、关系数据库设计理论
+
+## 函数依赖
记 A->B 表示 A 函数决定 B，也可以说 B 函数依赖于 A。
@@ -193,9 +302,11 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时
对于 W->A，如果能找到 W 的真子集 W'，使得 W'-> A，那么 W->A 就是部分函数依赖，否则就是完全函数依赖；
+## 异常
+
以下关系中，Sno 表示学号，Sname 表示学生姓名，Sdept 表示学院，Cname 表示课程名，Mname 表示院长姓名。函数依赖为 {Sno, Cname} -> {Sname, Sdept, Mname}。
- 
+ 
不符合范式的关系，会产生很多异常。主要有以下四种异常：
@@ -204,15 +315,17 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时
3. 删除异常
4. 插入异常，比如如果新插入一个学生的信息，而这个学生还没选课，那么就无法插入该学生。
-关系数据库的范式理论就是是为了解决这四种异常。
+## 范式
+
+范式理论是为了解决以上提到四种异常。
高级别范式的依赖基于低级别的范式。
-## 第一范式 (1NF)
+### 1. 第一范式 (1NF)
属性不可分。
-## 第二范式 (2NF)
+### 2. 第二范式 (2NF)
每个非主属性完全函数依赖于键码。
@@ -240,7 +353,7 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时
-## 第三范式 (3NF)
+### 3. 第三范式 (3NF)
非主属性不传递依赖于键码。
@@ -248,7 +361,7 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时
-## BC 范式（BCNF）
+### 4. BC 范式（BCNF）
所有属性不传递依赖于键码。
@@ -266,102 +379,6 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中，随时
分解成 SC(Sname, Cname, Grade) 和 ST(Sname, Tname)，对于 ST，属性之间是多对多关系，无函数依赖。
-# 十、约束
-
-## 键码
-
-用于唯一表示一个实体。
-
-键码可以由多个属性构成，每个构成键码的属性称为码。
-
-## 单值约束
-
-某个属性的值是唯一的。
-
-## 引用完整性约束
-
-一个实体的属性引用的值在另一个实体的某个属性中存在。
-
-## 域约束
-
-某个属性的值在特定范围之内。
-
-## 一般约束
-
-一般性约束，比如大小约束，数量约束。
-
-# 十一、数据库的三层模式和两层映像
-
-- 外模式：局部逻辑结构
-- 模式：全局逻辑结构
-- 内模式：物理结构
-
-## 外模式
-
-又称用户模式，是用户和数据库系统的接口，特定的用户只能访问数据库系统提供给他的外模式中的数据。例如不同的用户创建了不同数据库，那么一个用户只能访问他有权限访问的数据库。
-
-一个数据库可以有多个外模式，一个用户只能有一个外模式，但是一个外模式可以给多个用户使用。
-
-## 模式
-
-可以分为概念模式和逻辑模式，概念模式可以用概念-关系来描述；逻辑模式使用特定的数据模式（比如关系模型）来描述数据的逻辑结构，这种逻辑结构包括数据的组成、数据项的名称、类型、取值范围。不仅如此，逻辑模式还要描述数据之间的关系，数据的完整性与安全性要求。
-
-## 内模式
-
-又称为存储模式，描述记录的存储方式，例如索引的组织方式、数据是否压缩以及是否加密等等。
-
-## 外模式/模式映像
-
-把外模式的局部逻辑结构和模式的全局逻辑结构联系起来。该映像可以保证数据和应用程序的逻辑独立性。
-
-## 模式/内模式映像
-
-把模式的全局逻辑结构和内模式的物理结构联系起来，该映像可以保证数据和应用程序的物理独立性。
-
-# 十二、ER 图
-
-Entity-Relationship，有三个组成部分：实体、属性、联系。
-
-## 实体的三种联系
-
-联系包含 1 对 1，1 对多，多对多三种。
-
-如果 A 到 B 是 1 对多关系，那么画个带箭头的线段指向 B；如果是 1 对 1，画两个带箭头的线段；如果是多对多，画两个不带箭头的线段。下图的 Course 和 Student 是 1 对多的关系。
-
-
-
-## 表示出现多次的关系
-
-一个实体在联系出现几次，就要用几条线连接。下图表示一个课程的先修关系，先修关系出现两个 Course 实体，第一个是先修课程，后一个是后修课程，因此需要用两条线来表示这种关系。
-
-
-
-## 联系的多向性
-
-虽然老师可以开设多门课，并且可以教授多名学生，但是对于特定的学生和课程，只有一个老师教授，这就构成了一个三元联系。
-
-
-
-一般只使用二元联系，可以把多元关系转换为二元关系。
-
-
-
-## 表示子类
-
-用 IS-A 联系来表示子类，具体做法是用一个三角形和两条线来连接类和子类。与子类有关的属性和联系都连到子类上，而与父类和子类都有关的连到父类上。
-
-
-
-# 十三、一些概念
-
-## 数据模型
-
-由数据结构、数据操作和完整性三个要素组成。
-
-## 数据库系统
-
-数据库系统包含所有与数据库相关的内容，包括数据库、数据库管理系统、应用程序以及数据库管理员和用户，还包括相关的硬件和软件。
-
# 十四、参考资料
- 史嘉权. 数据库系统概论[M]. 清华大学出版社有限公司, 2006.
diff --git a/pics/0b304499-0d7c-49cc-b784-3e7a805c9fba.jpg b/pics/0b304499-0d7c-49cc-b784-3e7a805c9fba.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..2a77e0c35ac9698a3be3c7dc951a741e49806fdb
GIT binary patch
literal 36864
zcmbTdXIN8h*DV^FbdcUb1wjNv=_L?Q=~7jC?-1!NK
zgpb^4g+dZ@i8x+ZVJmGyRA}S^>Au09hwSuCOvWn{4
zckgxe^bHKHtZi)V>>V6EJiWYqAijQKAHyReKSf0+C8wmOrGNRFk(XakSX5k6`lF_{
zuD+qMskx;G-rLtdFgWyca%y^Jc5Z%Q5rIT){NCK!-r2<*|2a85JI7vJ{(}n#fcGC*
z|AXxRgNy187cM?N9zNkexNvZN?hKC#pWxw(d(`sUgcfczkAy;qXkRAgR(BI~3hSWh
zEZrwa=($7?k1_v1`xn{&KVYH%SIGVc*#E}02q445xqEncQ~(g*=51c|6F^>K$Ice3
z7Yz3%Pgc|f3dD$qwh22`?5r}FQ5(0>Kw@+`w$Hk?zUL&BwYLD&0sg0SD0cjrK(3t*
z>9i%2w#jR?b?NV*1Ntnk+V>&(U&P4VdA-Sqy7gG~iWac7N^NaMYEG8@yN3!t<>`J3
zKWB5r*$fsdsWdXeCLj{XcXcmKi(xw%-i02wd85Z?5(O!j1h%8#q6m2|)vk@_gCc;-
zCwajn|6@gJw-wC;Z1y-OdcW4#JA@r?Ij|E5!AK0`$1vhHwcJq6OYoB@{!4ZR;45P9
z_sao$^;oNN$RC9n;7g$YkL~kSnot(sIv47tnyzQ>yH~k%HhA#`CAWNNarRSmDKe1<
z4Eim{{9XaFx9i*p^7fyt_x*z@Iak9mVzG;#C-Y|bSFczU@>Y0LP}!~DFss4hC6yXm
zNV|{a&Liz>(VmcJRBa8>M%YBST~W`%h-p1WH`%Q`$hHV(^(?mvw2<_htW`50=Ol-G
zmyhI6pOj)IG)-@@FuV|zowNu}RndSj>bQFtx!rUx2D2&9YT^8ALT?UGFh{i6Vm6BW
zsOJFG<2}Adf6G`uCu&pGh9TeZM^wcy@h?2U^~2Q=mSewCfPml&ft+v*`%mR-y+X)2
zqVV8bYdwoLv!;W4d8_-+{Te>pHBYzbt-k<=wRi@0n)Gh(TWU;r@N^~gm4ii)mA%fU
zZqx?JUqCB)lQ}yihqCBNrIjgWE#mrxKiH}Qyl9)~1zB=Jw717|rziJBn5$gN{D6Jx
z;D?C!NaZ;!&c%p0acV)X5l#XAtU4k=tM4s|ub<#m=d~^MXR`qr);Vzh0(vY;u%RP$
zOe9JK)8a%(AAz_;k3Y{(PAWU$x7<@ull<;d2XXY8!SVyIq!oBb;x}sHumd@kcWt+v8{%}n-onuAdkMud&&Vkbb?PkXaJ#6;wtnKdehcMJipj&b&;$uM#p^4ew~
zY%4;umz+lz-Cwvq#<5!)W1`AbAHZh-$>19{S+ce9(o8vU>hjmqs|=jtAiWk32(bEb
z=X`Y?wJEPWD3@rU8cHjiA~?HsdZfs)SXl}*d!$1dB&_!`@T*0@UjTbL^{)csP;uS_
zLjLC-1BF_%x3W-KbVpd;o>XIOT@0JBzIg+Khso1EcTF$JzkpLM!h#7?xgbZEaH^f!
zwFHjs$yWs3^@)As{2Z0I@v0%$a#r#6Q+sO+(1!>YvIT79dklNFUA}25*r?$fm0RoK
zg}HS@KnY$`Uh^6ecIq{zKdGfCtnAefhg;hz5i&+T3KFVm*2_5sIRaYk|C$~X#$%u%
zh%}H5o6tA+bIQp6jCuw5)YW=X=sw3;ru_)O+f#2Wo6ysY5vqoL-SH5^5aWDu{UG$ddmWA3Be3Cj*9|SKB?%W(egrY(6qmg+<+$pub)i-@rT*wd*yM-7UQYDg~G^$rxDeD=Zf>|IM1OWdj&Xa%35;7a!_1mn>Y_yoOL40C9?
zDcipEZ}ag{=kEUSGdJ_sN@&}2;AJ%6U>layiSTq-yAJ}xBJX20`*qf~lXs*d7wb+}
zSowc`EXdTy?aIRQJb}3+paz0BFmmH_ePV(oH~IUI9vImz%5n8=S~=g!9(u^J$0@w5
zI9DTMMFF-lGJ;7ICGaOF?;^!L=L_Odi6c|utJjd>t_jCQ%Fqr@h>e#Z2_%$P+-zCS
zCUjMSNoyUiDr;o19s2|i;HI^#zqHajF-GR02q&=C>PqMjmc^+>>qQ2#UCYm%2u2uw
zKg&n|`~zp00xufF9{0tS|7Z&C{Uu>FDtA_?*>kBGdQFG6JM*5~=jWUfy#T5^HqK2L
zNi8$t7mpe+lJ|+B9$?H0X8qLTvmKqBKCCx10DYhLQ~93JPUX!DJz|ky()ukQ%T_$?
zr$yM4rpL}W0TsY(sbQ0C9UuOZ>FO)
zyBo5&e9a6aHR7DfHqytWU)eR8g-
zURy~^6;2?nTPi60h3Aq&<8xAdXp+0tyx7)`90v}><(5h?a*e9fcIWy<@n3+Q%xI?2
z+K9sk%vVl`YWSCsQR7&)&qP)5sg&Rk2w95dj?1}3kpYt%&W$cY=jBEX2
zEvtK%IR|UH-PUNPKt~S!XQJwsjH2?=j366noGCt9s^6@_bOEH3!SvBja&YhLo+{oG
z!Xj{Ar@i1OKf!QNwMYUTR#o#pR?RR&&3`9te0jiG?t-+468}{6!1~^v^1J5`V&hYA
zF7`VJ(PNRfyi3c0qvGP2qWpqghsyc+i!jYMOVuGAZpVX<7XfU-#vQpX2>g+mf1`!
zb(DJ3z+4!9UA1@=Lh#G&QG|0BqLb51)rp`+NkqhPfXjNEusfTmgBm-~6@*TvWa{?u
zL3Bo@ou{!g>01h`du`q06TI#=hk@nI-~QNX1Ir$9fk-n-;>h(RDlvprx)1d
z3#i!i0l2^GIZFEru#djsyaHM|Gq5NURu%h#@BHrmo?arv>@3}(O%mZBmCsI;L>Icc
zfNE@OUP_6YcWY%Oo1;U^xQHA@WfRo%#i%vySL}N|5fr(SVHs?k-1wev-Dumt`5}tf
zmZ!9Pv-9q=3&PgvMZ$*
z#GR30HsJE{v;CsXYFc_Aex^oKOMTr7IPK)4x|fPo;^Yi-NYV!oL^krfy}MFp{iw~?hGEuQHHiCF!%n9E8%KULaL3ML7q
z-LT6@`rj4&Mdn#EHVDa*Kzj|uCL#hPPrtwFKJWLh5EDF2HWDYV^5M+5w9WX*7^>(t
z84Q#RvVVoVGUDUFxA#k3?euusk8$*Nq19DYUgP=|)FK36Q-=^_g?o0$-V}MUjFGIW
z&Y?e*S27Q{FLMYwP$eK)n#T$Q)_(Ik&2JT(f}YaT8Uu20rr1jG{`4$Ek~oO3Nvozs
z)K&Wh#Npy9+)XX!&FyM=I-r`kt_zFqEBLpE<(YSF%3lEbXEwPA=@=ncXg7_WKkCrw
z@IzRNLZ(MG#|ocWL5HdnUp)CeT61~hu3%k8{surru$i&-!js=@)!4wX7A%-b8czh!D_4%4k~j0!(33Fwhblpm%2>|vHq
zP9m
z$+@a!Z_I?-4QQ128a8QKd?6PnKl%g@Wh5P^*>A?tLGL)resA`~i9v0$
z@}#vabB~Gy&i^@8PKH6I&$W~6maz|^Np1|m8<4$^@h&TOxP6lOt|3{?f#Cb>RWN2*
zB&0g^ZM-~+vpq1>*HKzWM0G`JPmZpw3MwOpS_7`v%?RI`r&x{0K0%b?{eL1TxB0Wl?J!AE`1k!tx^aX|AN$Y
zRpMbn<>XN2w2cfm1+1C57&`v^m2;W3jO-8yLv6))-nAxw`n3kiRZ4a{I51J@gln#c
zT7v>_2I+S&$MnRHLgnyW$29mR0vYzwZwawCrPsjBK5^M6ldw98(=uNdHdDxBz4ysv
z!Q=&E>o1ln00A7Ebn6ZKSsf{GVe9pT^mzYl)r(fd_x|d_z;z8(jSR0b^)%Mmd31%y}x6U2Nuot#}JKIuIat(ycnP?$G8`GhT_;@%&kT`
zl0<2gb9IGKz7G(PRMG5_nC-{_-0TR%`jkT=5!nO09Zb6|edp040ZOXO4e6!3AL6`d
zc=<%!g`Sq0!1<2D#@?FADYe>@hq|3dzLKN-hYBfrb8Bo9HPDIDEIE9!QO#q|n*7ab
zHTcCL)TD3$5<2`c>z3%$e=y76UkC*)>GVzUBbfkCD+~`-$7^gpAoIJezX-ch1gjKX
zYhVatJOk`{rQ+%vvSkws%*K9Hlph4~S!ApjFnALArC#r*HU9+=GkmH~pvS&?GgmK2
z4SuV??cJi#2aBP4ozCk-x>BQPw#nKMFc6r+V0HTH*M*vM4=U^iEU1Oi{aU!ItIOc`
zy}th7N@%g0GkCHlSpUhP?~nVA+E}$NS5wF13y0#J-8pxSb)sKxHZkIe*^cM4vV4vp
zW}wHFD0WE;U1RUQw(HlM5%6tJuDet+8E?Sv+%4AE}HkeSNYbh9X9?amLdqtOIPvMxiLq%Nl`4ckC0}
z=8M$)lwCg;<^t4SKTx`*G7;8npN4`EdlszewJj0}2RivRPpLiXtkn0B>l}Be~UgVL!xkD?FWs=R_}j&;z~d6^7SZVZEUHCr2MU*j%WL%^aEE
z(d2;}rK$9LxNM&U2j6>dlswxhe@l8TSB;HAXZLh)PxV$UIHuiSRv@1`O7(dlYxJUj
zlf5a2;x^jxh0Tyj$I8z1zoi2COwVG^RHiKSFe*k!dWhp@0ucWZYYdvcO
zm0Re>&^D*??Zv{ClW`>vnetLwaiLG$e{kNN0mcbu0x2>5ai{}YF!Q}aisGWW1jY=!
z#Ae1a!Rh-BS)7=T1cYSWc72@gl6tcCcc%kgJHYTm;G_7BxuLb{&fXD!I0y$yQ{-Sq
z=Jj25bW5x4$~2$6ujUoNf9Uux0GhrC;l#ar&z7d(QVmH}*kQvNpJkO2qn%Zz_>onP
zeOpU$6A;g@JV}g_*+{RBiGHJ*ubGmKFRT2lYW!
zeSu#gN?l^v6oCxO3s`}ObPp~8f7->iDYF6ASaD~|QR2OEDmmenYK-FdQh`5)YfHwY
zOmXdlDoTe1Z$r!dIUHN*bLrrWh%BCTmWD|DaGAa1pq{?~>eFl*C?EDn1{NnGAX#r>
zd8O4nkyHKE*;!4U%+mg`gPg)oJ7?Co74-nkD$Wm?93mc
z$BLSje7Ugnzku~z`e8405M22z6idmly|w@Qm2dXWQ<8Atiw9ZccuMt3nB;DEp%RQn
zib>7;!0FECY?_7>=!9NDO6>O9Ux4`@ySbcvn7C1^a9(--uAMCYXU0o*|_=u!xj-9uNc<)sf>(-50I
z-l>rEn8>}CT)GkjzIfBgx_eul3z5C_m$C_z!Il$H<7Xn7+Fr8tNIokvap4y%Jsrm?
zLp!mS9UuQ~;z$g`ul+s&3I!%wiV1O4&Xq=m}|4G52B-kK&0O
zVbV?Xc@(x>^I2&&AB*sEvO~A_37M*J(NFFiFRAeB_9NxEbb`6eE6=z>;)drc0(G%w
zs+hUp(>RmUJ<_r$Pu_zMPMlM@jo;HS6*Eq=_61z6A4!OHFDMiU3IgjPf=ICt44!6N
z`?#otmo(U@u{upzsnzK4vuhob}#Q9Avd$i2n`d#f1
zse`#Kth|;*D<+~OJ-eCyW}&+q#Pi+AEBM;`_`RXAE;_z>T}
zH^weF_t&y;#}pa7@(B9y8iJz^=c%GBIJKymPqKK%Z0;&{URB4>m@GLU$K1yt&
z+7$vxEufELL^|mmz$H5jXh&VLUwNB^WZ&3*=`O(QLG;EDP|tZIc~G(X53ngHTdnC4Z!YHKo@b4ULyz5~hyjbRORXV>?)J>EK|%R~91(=?_l_Qwtph%dq}
z%HOPEGV&rsXCNl%d-Pl|R9vjJ-0=+U;M(Rkx=KG%yw@RkTGA65z7`|NO9Dy
zk?CUBiF(H*Jo?UVvh#6$tN&M7QV1Ws#%P<~1N+Iuc-fKRvi_G(kad0A*Wdi4A0Ea!
z23vuipNs_HT*>Y=SbUYlT0T^+C1MO?3ZOzKW+DPZwizJ2EqRVXn-JO
z>v!)Zm6?Yf%@fY#71yqRHh$hi7Ng50pz;J;-BF@~5lIeGonMR7Ckw)pR)6X(#SPf^
zJabnbAdJ4opjVrb3FOy;7^UcXBbK4M_Q!{BuRuM1`7}Qq2?az?mrJM>LSK9qz8ojq
z0fhweLi~}kVf58Gj?Y);YwO-D1$!oHFpHVyhV1fH!hR)$cr&wyqhOQ}+r6GF5sWdP
zKY4#H(pRvsK1o0oAv<0(>_q#E>`nQ%q<|sVl+EZw7KLOVK>Nkn<1kkh+}whqSD{`=8IQl+UyE=X@}aS0N2A0Fo??y&-f#_&trz_tE?(>n<2?I4
z3UD{bend7v^)CRft%lym{*k}=qb6Fyy*cVsp!jw^i*mLdQ(L#bJ_XEfdG(y{=-W8q
zuqhQ5Q~~9@`6hY=!oJ#vzO4iseq2n;N1RA}DzAy{EpCo~p5u2=+G!gUre1ihICuMy
zgH&a`Rl1DmqynV;C0l%0m*QB~&nAV;kL1#2zY}t=%PLD66CZRrUo6luy~x($wd=8W
znnRfeWbj2MV8MR@_aS+ET`j-UBFh{;J5a4@G7{CuP13suwJbG>W@Biyu)&=y^)PBR
zbmLo$S7i(}91-+Xe|C{6`u8C#P0~Wwn8i0QSj9-whq!&(Ggh5|?DLTBZag+=YRWsB
z0SCj~iJ?(*A&B$u$?wZzZ=YBcyuUENSYA_jhC`-TWB1@{?i(cNEC`d*iF07I53-%B
zOJKOul=SlK8>#;S%0jqw8k%oeE3a{;0s>;rw3e%v16)B;?p?Tf$={oHrI5iuLBv`F
z^c6}o_AZlC1LgCKA?}PKgC`Z@nys#rAxX#0ctr-EE^$ovzp`@3%f;TMh=T!D&V*sc
zWuv|S^b94Hv?BbZbnH3E!Xo7?Ya5RQsBN&U*iBLWcgmh1x;8
zOkZVP4)s>0K=4j-tiMjnwC4z^deyY^m-fEj?LW9Cs}D!-p|Ba_(`_#_rp5pl9xC%7;0r5$EvZ)u@xxM(KwQ&-3zm`vE^KJ6hsr9)w#)Q9XK3QrZ~a
z_x3N~qraw;zGH&Ths%uISW`y5Q6dfR$bL7u1bz@sUhPf6BW$5fDGNyWjX&v)?2C`h
zR_7+|%9TL_AoAM>%O;K;k4^00!$D3~UM_YXk3+8BiB%+7QYKg=?~Mf9D~t8`<~e2<
zZ6uOKLmRBZg3DwePe!TbA;*!uRuk0K?vEtwYVzU`h9@qstgH~UPJ8BhxV8SWNV8>)
zErHbodDaDMAWHDXz*d2d!V-svl#2ou_g_yw>0b{EmMP1dxRx%$`e>+;KmExjH6)}%
z3h8;2q{0P|QK`VW>vsXx@m3e_LI-lJG<8?9wfyxGv2awreJ6{jV1)N7>ulvSQGdl|
zCvQgi+B$$3jwJ;uaS+9-SL&cO=48jJ#{dGS-edlN)4GON2r$0uFY$Q#G!n5cZyo5q
z5|kIF-qVkZ`z$j89k`;~HWi(?#T|rdbDWuGHJpL%j+uU9Vsuo+
zIbZ2wcQ^j?!GYpCR*dkBCKj|0M@Ryg9AIOdj3Xyo*OVwzy(_P073C0*{n}k-(Bg+@
zXfnep
z3vd!K0fNcT>nUq;n?Pq%Om~c5o9~q@Hc}14(``a%+N`4aNsw7a15~du%-6?|RrXA2
z5I>k*=7pJs{3BYS4vIw{L--I9xi!R!U58fTAMr$$#`cayt^Ynl`I5zE8j$+B*NKT(#Mrcy#3E|pgN4O37?2pRS59tY>Re38?
zKY-neXYWUGKvCD*cnA}{GZoBi=K76>QS(U<7o@O$N0-kwV`HhjuYa;Fxv{G9&lv|s
z2U4bwMN}GS(@D#W;B#SI6Z)xTU)UOk6iH5;iEQIy4SS0*~>0HvR&#
ze}=H@VOUU=$?HL6JB?{)dW#*kpN|qbS;A%ap`WEEk^Kk
zwn;t9C8&$|^RC(US<*1oMqU|#ZvS(>Q=vVzhIU<}Pf4DZj9i}>@3ArBN{ui20n7ND
zgdR$B*bfpm1i@)3w(dI5+QUqwX2=?I{fbYYDbDo6$y+WHJgdhUUzb!_7Ggb0uA+M*
zWKXNFtd#Pw94H<*C5=8-b@#kiy-Z+cd&^Mjk#wFvulLA9N+KoFX}UpliLpjm{~v9}4`Q#Wval=RxyMw?qWX=G~pefEM9
zf-=tOmI_PwwtCLfge(T~J553)m4O|~7GXm$BHIN{(xQBa8dgXlrZ8EK6uh~NA)umV>8Wez6Cyn8cv;z5$#?!6#H_gI^_)C`*sX>Pc-bt
z;a@j5=evD>Zkr%-&a58W_~MJRDZYahCxLzmS0JINMA&DaYR*pBY(Wmezav@E;1_HW
zvUPynjgF@dfe&Zf2+I~A8i%U`z3#7W!`wVGQ7U-67a_Yu%OK`mRL~1|DIF1uuSODl
zmseVZp-=%V=Z~dp`5B-W^2$kQ>|MHs3HO}lQIK*AtIT^P^44z5+;BPkb6akW@Uz~Mh6ri0~8u~lT
zjr}eW^z6ba+-R;LpR+HUP7SsjiqKqf)MT)1rugS@^37*cU6QDxpj0uom#e#+{L}@Q
zco++A{#*u@Qwg(KRvtLKMs-p_qu<$qZj8J(_ssOi+T4llv}!ap#6-(4`?1S`PWenQ
z1uO%Sk`U{2mePc7gjXoop&N=3g`F8ciP;d*o?avU
zoUF&L2Jez^IMF{ABcnt{xRFl;VHNwozaT}k-oM-$$MuDM1L7fWD0?^>24eQ>1`8U+
zSDETMq${mcls6q3tCj~~bc2DD*(4PQ^@41UhSO{4?~vsFwCWvG>T#}M-iYEF_o$0_>zj|$A-7G8uL)0*Z`Zl22p
zHwid%rJ*z@439;#sFg-iA_ITR#7k)rt~6Z6wJ(FYs0$`)oyb{mL8?_1tr-`T>q^nU
z7x{tHS)6DXdbAdDv3MaMo&QF#JTJ__nYF{d{SfVJn=s7*^M>=>g
zp(Oi-)8V4&{%!&cz_aS)&_5
zS>(n9W{VN2ffo;uQ4DyR?EyzY-VDtj^h%6O6#Si&yB`hH#Fp_6g5mX&*x@++E#H~v@}aIyY15Bjtt6)_AWzLRLeBbC}r
zYK%%iJ}heqnwdpXT4FvR+o(;IXx>yIy6V9Z<+8?L0BxC?T#u(S4Cjnf(MF{p&QeNAmAsE4kjSMI00~*7Kj7J~aG_->WVUNn7%Glos&2XuN
z$bFzZ0O_xmqkzF`kpmyLVP-@!BmeC8=KD;U1NnDVE7
zEXBECm2&_m1W4^qVz!iyFp0~`%6iz;e3ynX+_?_$-kof2~vf;tebr=;9XTddFc
zX(4Q=%%z1Y;qrtHkHrL0et=Rsu0E`y*E{!c%z&az*kpe_;_`o}f5yeRVPmO`;^Ert
zRCzeznN4~9B2i?l7OOZ4<^;|e%G8Oisxh96M7N6Jof_hlQ9G=$w6T=xWAjc$zgX6y
zM^5fUQQ+3Fn!%LwZ%co2c-FU>zW@rTJ~}9-{#DU-2j`TRGy>3kEa0r8cs!=KeggYB
zhJ*dN*2h75`)s%rob~K>az;>;uT|nVQHygy96#UJhLT_N#NDT`s#~IMZ$p;@-JaE+
zHO>3iQd7Ov^0*JFg$IUuP9;RB1ANt#r6^AROO;b$>`;V}fu#0g8Dmj}O<|hN?GfEv
zq4!cQY8s~TpYSA`RKqfZoPRerVNDRqAGA5N()$gC3LPx-67Ng>ksFQITw*~?
z2R<+%E|~4Fnz$IYxry=EtP5Hrt(6Yg`+-%%tijEgIuV>wgiAD6_pYvFPfVA9WHtMg
z!Hjql;n0T|9xWQE;S5lt<57l$?((*f5$ux}ooAa6%5tn_OZ%zk=OUXl!jv{+Yq+LZu2i
z*U&V~_qj5GKB`q#gB&TP7A11VOZyil4q1gGH2mfw0%um)FhOxZJ(-HJ;PO+!@D_fv
zMe$+!yfmF%_u^kv^ADYJ5?cHHGrF)~lqSb+)+2O!!buSEHV6%anp;pq)Q_yvHm6~S
zvzv6*I>7*OMN$eO0Cy;5^E1(5QW^29m;NQWHB=WxzN}9P`rTCyjCHFqQ*b}QK6Q?+
zw{-_)jv2-obu>y$_P~!$1?k(eb=h>;@7vJ(E$ejCBW*7srVW8ml|Wpo>Z6~jjtC}|PatjC-FXG6`aA2&aI
zt#8E=p@oEQyB@RctN$4W0ZSNfAiux!669Z6j*3xYNLeaSdipXXNuD)SrUWnYZshBC
zo?x#aEmq~=5Y>u4Ols--4OhCVC1n5zy03BS5reOcp^})QVuXwkvDc^UUU5?PZ2m>h
z@jgDP&%l1I;sifzcAww0cy^t5EK~t~eAJuuDB`ZwpEVl(u7On4|J`C=2?+T@JY`iy
zvhn0W*6FB2i(m|t=P!Wha(mB<LlLbLRSbtv+J0u6~&ZWspi*Hi5NSBmgDczUdt}hR^LVUTKZAtd`q=P|atnvbW
zpmcNsUnhNlCMLrH8cL4%ej8>D10kZ>wVe_CUUzA9N&RWx*$9nl26DySRezAdnJ^GM
zcWr|DF5PWPIt|q*5Fb5CX
zAM~VgK-byr@y11Ai?8G-W$!ORZjJc5@f)-qd6WZ6{i-@KzSbM-9s^num9^cSjBT8#
z-dYnDqq^4C<~pMZ>l)Z1HT}S^iLD3LA(Ne=*9PlOFSpgB*8OV_wht>ZxqND5G?&jrCxT_fx(EEkBIjfI$w<|>G}KD+G&=Was=um
zBIX+#-t4IxYxR-gr$J0me2i{tuHjHXsXFbmG&kAVCgrVY15Uys1FA^brXx8vm(ajx
z5GCZx6%I0RgW*E`1J#CPz8ab-&U#HdjC9ZWDpwGtLZ!Y~LrilyLC;quQ?ad*ZrEpY
z%!xRtPB-!g)(oCe^l4{3rnfUWAS(N*MmV2MRIji@P{uIRO&18_J89w%Kk_d%K
zKby&F@KU&Ne&)i{LG`n+14Cfa{|oh-7Uz6f9M?vdM9+1U(lD*WL5C&A$f1BKLpi1S
zkm8<#*}qC1?p@J>@B9vv#Wxfv0tp(JTP%)*0Uz4sgQc8W2SwRc(K#a;+(`VTpzA%sRqE|?_!tXTiJPnwrmiOF_R6BrIFKBwUIp)>@b1vI<<0_dTF3?ZWAEV>E3e|DrSYGy?;n`gN?
zzWfN2aF^O(Z!hEQ0pSHc#Nw?Ne-b&Md^cr3v5TW!)@O4OAQnh=|Kd$Y`n~4za&L^`j!FZc5oDU+&AN3~FsReH1NU$6#<8C}5M9Mi6@fFJS1KZfM`ZPujT@>j;
zc?R`UzsmfsH)3h`=GhF@K)B>xLnwObH*xgfcM8Q%SIXJ%sa-lvCyXaKWH&6j>ORV~
zosBBF5t~#({1aa`w3HNegvcGISy;%LKl}v*b&kI~0qAWF^uutj?oqFK(V!50Sed$J$0TmyvfWQZXSK;WofdQ9E0
zy4cj~_UU?cj#tgo?0f}jv@_7w?e0cfAl@Uwv!S6}GQPe?sr$0Gb3
zC*|`me`H5y$r1o?mtW#faQ=+#KP)uG2A#Q09MrQ&9z3(@oaWZIi7opet{E!7^X(ia
zeN$5x1N%hofoPY0J9Bzt(a@e9SuRq`B{oIbD$>YA${aStg)y^wMyF+Ur-6ChBQ(Uf
zpJL!7-)#%bufS_h2!mQ&J>3mtnd>0jp37*TEmz-r6}V@Y@@c@4$nw?wE@cUU*u;#>
zT6hq_;#5~lXZW=ylI1Ue(ZG@a7Q7mq@ca2didYr^_IkDRAxI1!H!9?+q^%3=>)t9h
z#NFyzrNSzpKn#Z1Y{Vi&b`QQNmW#?=Wjxt&Uzc|HRjY4hG4e19
zBi`LvNBGIh3h^^OK;m0wu=0p|(@V^IqazQ$;o@e91l2(}xy=T5ygyA^FB5F`SdGyB$v(YqYoheyRO2
z6+;}cqS6U<;1MMLqyREjiSr_J_JI+jObyuX3^WNSf(QQH0}&Jq-v%GlgH`1z8nSHmMQ`hEMytDKpp`yP=kAWSg$I?xBGTw8Gk6U8b
z@#fF}0!WMxmVX*;OVZ-}Y3wmuOUAdfJTN5KK4tlm0J=WhLhP}a1JMkfY
z>|A>N4$u1PP_kRYuj`tUrsyAB($z^pBtOLY&COUb@`?(ZEQeW(=N_+MF=(##haAlH
z{!!*X{XAZp&M3+FVf|b1b78Z*{q|R^->mO#=#=4KWJ-cob9{hG$l}m?4y-kd7UDRj
z5DGU)hbJ#_r{B$1JMbwb2vF(>Dfq$$%mCQTUbC99I{}{Dz(G8n!SY;9-1P@t#;U}E
z&l!q!ZjMH|Rc_bVb5!Q?tbjvsB>CIP@||!7Lc4TxP+$f78f7`Btf%8kMXT#<+uD3-
zEX)UpAfs}dZ3D>8o=ygAXWyLcvuTmRBat!k#_#!%z<&M7EuBojPfR*}=;)uBxM051Z0x|dEynNX!91tT^hl2E|UWON$af&-R&x;1Fkc`PZ
zfIqrHc5I|5rMn?Pn)SUSq99AGokCNKR8iqgE`E%6EZ6Z_UbV$A@6K#TkM5n)AXB5s
zURT4mr04Mj=s%8s@;_VH6aaKTp>NT~e*siLymGAf()*V2Ls23!m68Rq1*fHlVR)xn
zvLEO4)a~B)qhi02jT0t8rLipHk)j7`y|>&mod|Bs`-30)EO3rgR^6Y^sc3lcPkGwi
zXR~W$Dk{!Wi#k6!JGT)OIUZCRVjYkyR!v-~?6&(~X1;!TCY8L+w+#|~PT_~gsLAQi)MMd3xupwY~!`
z9eh<-O;ijAP2lXT89I79-B2u>=c6H;wsVgCTR#g47!({sLSCETvf_1Rf-JpY7kiv5>U_HuJFU77u9No8LBlicyFR
z7buwPczCT=dpiP_-T@A)vDhe5n+RpMM6(pT%iUGiuOOL7h6pG}!Q!spX1ztx{4%T2
zn3sDs*H@;VG)^8mTMp)JA*^k>La~qxOUL{d;UvoHY?ky8zNGEUd!9{c6nI
zRrX5`@jta0FQuws^zK`Nwj{tvwVIQBlH2@U6}c(P1yvsJpvUs*W5nA1*&4nU^-R4{
z3m(9een&IR4ln%yA_{!E-N_6jEx?w&`f`(nrXE-6{Vah%dEL?zG7%;wnh9Pzc3@y}
zZSO?K?$2YrpaO^@@rG5Z=~EioWaVrTkL4$z7lS{GHI3)8uy*~XpjoJ1@wEv7wkviwS2-MOaFmRo-Dk0)+Vwp2fO&gBI-Db`gCyD3@}NIz>15!DTU
zjhqfVxSJ~ClaFz_-XHP+Snr37d=V)G4VE3!6m6Tq4*WJ@B;k
zK&b758PkAd4&|%6T~61uG+l-VbKy>?q{UGaolT^G=0VHH=S3->!#Y&hzVPC&KcgIJ
zvZ@H+T!%4i-vZGc-(lN#6K{Sp*Dw9SW!}q454YuE{c0TajvbWfl}%W|uJ+=pQsHW0
zLFgvERVG&6q{Hl&vW#@7zqQ`JU{922F`7FCC|_i>!~A2Q!N^FDl6n0z(F2^p?w!?O
z>8HHB|Ar9U%0gkIg<*cz|3%bWxHZ|nf51afL}E(!q)|%g4v_{2A|W*qX#wd0BSgAG
zKv4-PX~`k6NrOnkkdfOIq&Flc^}P4j9H#~j++6~4<+
zYI8@Cga$yD6>a!!&>n5Q%pI6FiM1>Z{2b>OJ_V>)c
zEJzMubA!5H$ty^Vs$SLO$D4CWc5iFHCvnOa-bj!qR&oN%;!>;j9G9$&#*UEQbwi
zx@mKmtGGr2HHff`mPOsVw^0ENtFT*mys)^q@kdK8cISH@o4*dfpb2M|c4Pm0S4Eq1
zK}?H1BRJN7#WPQ7s$?3uqQ8Ir>(%|>C&a!BS&DD-7t;=$7lY*Zs%7oKig~z*X`V6K
zB|YrhWQ_O_o8U`SEkfB}Zna`V;*M_uM=HQ|;Ic9@Qt-@mnL(
z+i)<=XxVR*Y~DagC@}p8&i6Wv=twaPEPT
zk**nENa@wKMLmCq*sw@BREfKHZoRm<_ll^-Z6^#W^t`?Kw96LASCDuvXyiHEX4bvoVc1UXdfS0>n+S2Y*dZn?7^S
z9`N+X&7Y|+bI+!|9+4fs^)^}{_hC#WyYEE7M-&UmCAoBooNP_X8F-V23{rkY_V`sa
z;dL>%_BJT-8Y%*DsJMoDcb**3G0s4qCRnBi!jXRSTSvoRZt9yhG^Yp6m@?CO{Z=uR
zPb1*jb{vZkcj6y)k`&@ptt#9@5qQ>_Lf!Ya>JKPsuI&tjZ!(`(7thqzmQO`+k@w7^
z{W%_+-+LoGCl)^p3HH1)ULglui!IKr$oexg&o78bfTxiHYkEINC{;cFJ9<>cLAUW<
zX^5a|1tFpb0F{14qACqZ1WL{+-iVMUDIt@sh|R1Q#tIX+UZ{>0egDKpbwGJ38rr3*
zg-?dkk{$N!XYRKi$z#^mUhqj9aK6kk{3N()mA$FajLD|%_o0J3LF4GHdh=J}*GP1s
zhh^V7Bkn1PgVgTO2N$Tfkn9g@%;4?^saaylWf*{@fAWY}Y;Cm`j*dlG@V*NUDKRQ{
zZx4l6o#N21QJ!LhYV%)m9|<*He=-14qbUMU7sjEPnjy&!O!0l{+*wAc^6tEf`PTXT
z-{T8P%7StTfE2Zp3%^IXNmI6Ia}g{2((7r%JUP;&@s1j5Ss`BB`qgH*=MT~UYs5>%
z*(&=btlG5sp34uI1|jX91r~vCkrZ}l%HWasvh|pY-oRkba<^>H_OV)Ts*E4n>`$vs
z4OHGa;e4~335xYfg-7^_fE_2>t{GW-H#jesqLeH!P7IdVC%7;^VIP7Ieg{{u?AQ10
zT^q02(%_Wz?li~qSm{me)JxIY&%eR9q2+fIP%c-TboeY7v|Lmz!zHr+h%oEc
z;?hw^FD~~z{K&WvIIHmz|4K{9W=YbuUm6AoU;K{Y2+q3rbGew&hQLQs%J>mTH_@o{AP?B3I6>+<=wZsC1-g(qCuk0Rvk
zm$z0LUXq@Av=_$tNFXGUlXb~(QtIBd?R)bhqKaEE^@yp0o0v0S;=TQzKMvD}OVq~G
z#ZsOXFg?^74mA8lDmN0A&CD3?ekyy009>lHk=Hl<;SYSkZt_;q(@<2{>rAP6|FxXk
zAr_8Ny*K}Cn2?}5Tp=INtT1N+J~)m&r^y;ebhdf6S!+v7O^l?Bc#@(Brc>`owTToN
zcNS9N<_GUlk)o80r@}a}ed&nXHJAA${Z~czH~!&Bl)>q2U&If~+IsRILcpZ%^q|wn
z4f*d?6qLu``c{ehyv-B`k2G4!))RzD+?;GtyXARW9k#c2Tj(7IFr#J8V~j5E7=j%m
z?DjpU*2u*QaR|x^a{Pde#9F5RE#APocTB*19Lo5FKIeD?b{X+t0#A~ER}FX7neg6|
z>)^36$_l*r+R&_zwKQOfAyqX9F&BK1JC5wz;t53Ea9D6>Yt3advj(f}@kvW|L%tVX
zy5n2mM)@rg*L8NQa>d=Cm<;Pz9xJRouQKv7M;|;U#9%2tDVI
zzfZcR+*{{p9VI`|HSm}EsYk;5a~60!r!^cuTyi0QSmm)9Ti6cugBz}?wB%WwY8wwY
zTkCT
z30Kb?Z3wr*JwmAB585Z7DyXK1ms9rz4{5DF@T0rskvcnB3zzD7YGnB(_KsYt*;|9u
z$c_94yUf|>bX*a*o-eSFfm?C&+6iYtm355uN9zX?JzxpV3vOS_-~U%d{zY2qq-(&&
zR&Nm2WKX;gmz^7OnTr%qz&sOBnQzCgdKwlh!1c`JTcph)rzmCrHef*}m7H;P5QDPu
zp64=_U2p4mRrNTZ;ysahqao~}tcnX8{g27!M3=qpWue(KE4;)Da&o`&hvuN{C2@7*
zJ6}KCV3QcW$ut^zE(C(h0+LrF@E|q$O@Zvoy0uo$XIM}7S0nO?VvSK3J}X>*6}KKQ
z%bdSQI8~n+kl2#WG)T%Y@JOw#Q2lGHp`Bc_2Lr3Tq@uW%IyyF-#YmHvqUK^;xzqB3
zsvS^5){D#S(L4^1=Bge#`z?3%TUBnZT!wSn;?IJEcGvBZ^E@KDpO>qV^q|ZM4`GA>
z?f?gJ?kv><PNQLm%oG5*O?z=;cr`W5n#5XPV}OS;d-RCb)h~mE
z7)58O^ruBAQw~+L9p18yLs~{
zI>#tr!?XimxVYwT21!3txP3i*``S5MX%Ss51D;?y
z@02O^TKY>3$8pvby<&Id304lwQUK1*K#tzCp1D$qS99=8T-*PU+ST5XyI(T?0IGg?U;=z9Y}@|CbqBH|G51)X
z#QMHH@Mr#7NeEB-H^>bGzwHmo&;0EMcld~N*5u4joB5DyOdZUlKsV0?
z%=@&+Z){}F?LoNbrlAdpyfRSOu!DLF%-Nm~CTd%F{KoHh>B||!mHoP{+uE<%KL%cg
z^bT#nfJmp+l~`4vR_yTh^si4#l}RsZfBJUp;Hcg)TzAYn(@a4^WuD%FuRjLzW&(U}
zs25iJJMHBRCYEPSc^$Jg{6ZwO0!?EN-RyYUO4D9HkS$_5(*nEX;D(JzuW@_f=06$|
zDDH22+mO4xif^2f$8)RQ1{61HFTVOX=%c1|B6@I18LvP6i(7VprmCA
zOoRwRpD6d5s11G35jDbXiLvv|YxP_dt7*;X#<^Yy1TJPyF03Q3jT^UO&Wviq>#lBl8)r6~
z^$F;TKtxr2=juFvw~O9hA5)hmhm$l0&{(29Sr0e!l*D`WkmFabQQ5<*bo#BT7joap
zY^xgmK5=OJ11Sc0q!HOmvZ8cBkIH5V|6r=&Ax(tDpr8yxSM`>Ss37n#2~POh+FlybdMxCVuzj>2x{pF{x9$ZDV3%fQMFW<@XB3nFvk_1oa87`|ZG&49i-#
z$@$1OM^PG5U}@UN<}Nc`7H*;gLJ)}PZVmQ5l>8_`BjEocm$ud59S)t+LL;L6juaTw;S#&cVF%q?MI1j6dfTd8*}R
z>LfO>=W$Yy0+?h*V08b0T)@{?0F08!J3`c?ctt7^HR$y;|9Y-aYZ^u*?N&7M?(iSF
z%TC9kbB}#b6_(+zaFUs;CRT&kpRKJ-E?)PRViXiU`=7q08K&fBdY^w>WeECfWqqD6
zx5Xpr1BM&*0DtzKGclHq?h3h+MXnYwyJhCQqtf%Aho3GeFUB;kM_k`jXKj8)WZcL{
znD~5hu(35cFAn5-h7%O+@ZE!1J)EGH!4+Qp0kUYq01_rP(ta$?R!x9>Hkk3
zx_%(ngU};4lprMHO)h5Hj^}J%uQ)d~O?#yrGpW<^RDm@q);cOd&z^+d7==RySLn&n
zkOVYCrz7r@SBn=^CpW;0761F*@mf#y4cd}
z;=StW{1|GkI&S31iKJ_|(+hM*h|V^9nt<&|;_VWJ3xSEU)=nAL_x-FQj_n#i8P&O8
zRjp#qtlOry1EKK|!k^nGTYO$=5Ht0JK9t9@8!#R{>~?m6gd=)>zT6shLRe2Ad
zC2umBSbnDYZtXlY7k<)^6>@Y42!4KsLyw4F0s|Rt(`5b=BP~2lv-_Te_vH~iZoT!k
z{Sy0Mnmb5R1)TEe=jXXjdqPL8CFW3-qhd({^~%?&blJ`XA&`DNg~()~MgQUu$p7nU
zM=lJ+MY4O&0T|_TK9X#Kz-)7Qy6Hb4D=#legZ6Pv(?eM_^_f>4;97}{4dfBu;N*En
zW?=F;FBS2Gr{rY`BAKLWvdYf~qX9$l!Ji&=u~rf?{&`@Rl8?krJ+rc2xVK|w%N_ixG=Y2#O#FH*%mvRecIQI)YKrgx12jPg20laK-6+py6S$bmsTB}5cAKMg
zAVj5${FWHm!z(u9^|Y}IBReGJ63wC7r<+N6oq@VG!k;W=i=25jDYdgB{0iCz0L01*
z!#B))AV=EtjT946zN6uUQ{IxnQ>n8%3>WSfUz_>5^j^0Wfu91M`@bDLr9gi^jtB_t
z0Tyo3tuI&W>Zx6&dp=j+9FYUZcq3Fd~h+gi^UUw?l#
zNBM&K71H;pK8*YtnZBwP5^%bZs(dhS?AYF7IyKNE&zBMGt$5rY;R3g^YmV=UxHILY
z`k=iov22XAfn-a_MKTTx>Qwmo=6cOj0j$V0`V!jPOQDZQrqm&|G-Ks!@$|QC_jWvA
zQL#SQ5KXyx{^yR!B14!JCRzIX4MO(a_bkpzmeea<5snexLLa>PcVbk11}M8u;?mNE^r|Wq#ZZ
z;l^nmR*oC4pE=^%RGo2N+V?x!3NW-oHf*`eP{~Ksson9$z!j&?eco}uK!eneDlXo%
zQs->U8=YWy_he7*{IyQj8nNj*N9#W3PK<0cJ+ZIb18OCM(#t&8*J|gmD3R
z8e)Prc6E#@mD=bfs-FZTkPn(vK+)dRPOdG7!FShwAQY#(Y67H$*&W@B3fRl;8X$AI
zKHuH32XD8K7{Wb|-V?F*9yV=VFq&b8T88?oG54)T+>SD%oB-X!q!8C5iivABI)MGQ
zZO7=p=tIB4>t~MstF_X!3otO?-3t-iHz~;e74qihhn3C%p02PtD{FQ6c!#zL5h(qr
zt4}pIdnww|EnYy0cHDS^I;s2A78*>TEu`rNkTWKD9A?S8qCux=h1vK;P2ZvysPLZW
z42p$3_n3rNXYeTMn*gD(tsW)UU_r+hc;p~iiM_=(#%1NH#
z%Xi6BOYk`-?hP>|-fuKV
z^%
z{GI=RoYBdgEB!vyo5+HjGtJebHe=^IzwCvV@$5T9iv5Lgou_(rVvE&3p=1#}*5)_*
z#`aFVQ>XleKz48*MS_#hw@djayZ=coqg}*u1wo4JiW>DSYT7rieV?a9tD%5y+$U87
zI4;UFU0xOxIkHlGi*7E<_~b)=P0(b9>iYLKo##;sH?j*2NlOYxXR`6ft>HQ}kV+^=&Xq`B><5X>n^$eY{Nvmd=9cb|3b4{&b
zT$HGM*qLy)!M+-Bn?6LME>Hdo!6zX2jiFZ5T#c0Oo7bulJn+hzXlJ%kW>1Q@v_3*KQrC@919Gf(V^s|p1t0c>khO#_jNwOt3t$U
z0~3wxoQ7V$mo5m79&J0lwvS%mWN(S&LU?o-*?I^oD=>?k;UPP)|z8c6{3Yh-ynWdu{jaciCgBZ?KH!C|4{h=?f_@{fvz`HfTO0
zD+c3)Cz^-jf9GAoTuw<{7<}(P-71FLOE9W|j}7*rSWsCKO0u@KtZQ2jX9C}rzASm4
zXc1kYXr1u4jXLQx5+D1kYp$DXBktLfyo>4bSlgdpfeJHH4)gJu>Ap~M
zp%kgG*{<&U2lU+MdVPGP>mF0b54}(Qk=&uSgVNsjZ4(~~2!M4MY>CVig{$@H7Xt01
zU-dBvXPh-cF7lJRt3^Xw6Z$m3i!r5rIL1DOTCIC0e;hcSoxm&g;pLm=WQVoEubcy)
z0_>&w>4VbOm##dcD27N^ODobry*2Tj)vM^}3bFuc!GPF5m*7NNeutO1qRmBskce`ivqznZ&(4hdfv
z@%f8n$_kr7GeppmeQ>oOh|@O<@SCS@9bGfRVTt7y>=xpEABtYEl?9(tt7eadPFM+W
z$Wq`VAm>>Tyl%>)Ewe2xXYF1&Kl9THi$~$>(8jhP@hLq9&9ODXD?=QLmzq@_Po>EU
z1Arp2WqzQ#!odTBpEJK0o)K&@`aQ^=^C;?p;^H0OAjZEFi<)!0!xuZ
zw%1n+um5)7o)(yPo}BJ&_^WJz$-5ivsecrEyN=<7=K5T%x0}Y*GZkDR#W0Ru9*dvT
zduwMrVb?w?qp=c{9kf5#;VOr1_SkBP!|iFNS^-L>HGpEd0Kv^yhfy#(tq`xvKU2jg
z?O-O#xgvs5yPCu6Ne4M!pMt&?)rIBTfNcK#{+^-zNjy!Xy<#zDsb&Iy9hF1II2K~NLY2)4(b_71({I0T#Z^~npfJaz)FS%vQ#Hyzq
z8LxqZOv{qR`yOI#Wn{dbs2dL$U^RycYGNA`)xV-%{Cu%E)t+n0b(7nFV@H!az6Tb6
z_e_)=`H^fnc0@31na1tsu5F;Voxzo+?Q?K<{n
zrd0CMP@!g*Ulx*=q~0*?#t$kURWr|;e(6_^x`Xg_s@-(p=xin)l`v#h8(-26Q&o3M
z7RjZ}%uWF!wrdf4fY{UP6C8HGeY%s91TiJzVKfYt^oON3sV(2@82;Y(YANy0?m?+l
zZz@^&5rYZ_r#@QPrB)9buh(~h5NKk>kw3YEI5pV2%$tl)OVxOFP=59EAg+ODx=%VN
zBwg&~xF1b_xb{^nNbuJKg-H0xbWYAp^gPwhL0JIrW6;il`fJe9*mN3$Vx9lM1rwBu
z41G8;dXC9OPBhbpRG{-@L%4Ii2apAUW1~Nm7B+@CN`Im3cGUhXno9Ld^~jifD?UlI+vs3y@zva
zr4QJbwoO2AsJab|7ndEiqJbrD+FZN>R6hE9~hgj6Z2@
z2=gU?uak>5g=}3~R3BtqzjNOsvktp!@ARa5XyJX7T9q5|J3H?pxc(ndRg_@4@=Fd#
zK$!VP{qX|>h#?4fApp=x4#J;}0IIeQOzZ7)@UC$CSNog#@Yq5RWbre{ZO`~AV5qZ&
zTqT>^wGfY!rksgiNfL))D=sCt2rN#D{Hn%D(%@Jdm`s;b%`43)X967WAa*GbQNSem0Q==mc`J8U@OF@cz3@?UONtY
z_BhX%V)*NG--Gj8RzH6x4bIaUQU?I5(RtzXZ*5rxm$u
z;@lAoO?Cnh`Pr8EelWA$?@)HPQXRvObR!!Op_ycJpV^}+VFahKc7j@zGp{6i}q
zA|f*3TNvp9`l4f*=9=>WV@lx4ySby*Z(a01>$oVW%4Q(h5l=5qcrde#LpQW(b7PLL
z@(7y$c!jB(@l&~F+F_uUSj3>vt#KIvCa$@=5clG?59WW`r%K0#Tw7NORuTkWWil1!EIA25zZ-tsVIp`ZP-L
z8XG%%zw+C*J<2RFlKJHSSWeN8850yIbFTqz?@Kk=s=t7Rm>w6fV4~d@!53m95V4(M
z+sl}nrMob4of>rGu-?)ITOs#nd`G;1tAzvwTo2Gb1qWslU2v9UX7wQ3+iQ2V+m*Bk
zPIO7209eZ-Y-EoH3q0O>f>nwc?rE;fvzti;tgZ0uG1Y4s8cOX;_?kI^nd==-z2NI4
z$NH|KIe)h*d)J&;&u*7b3%RDjUz+~b_Tw<3`!k9-TrIr1u^%y}!FFawSlBWAqf63D
zbU~Xu6mu~`A`=NoG%?nzl-GTCY+;w07si<)rn1Pr7mORK7PvhIxX<>j>aLsGB#nVoL!*_-y%%6}
z`?)l<+aB{g{9WJCGA%J2ofuGfwMP*1D}U!>zTR!S-shJx?0|%tq2FS?sw$`2a9TXL
zpBBck6l$;$=B7RJ9OW|5o};3__+@;Fy{@izAm0ZdOz~1_oK{JKfir=X
zKQRH;NguG$!{A(g;NQTsM-g=R_Y>vxnLDX>;N-9{rh;r${QKlXZd1hvOTy#1(wyfz
zPrmX&^P=sdp$@a!U(wAK34CNQUMi7SX2IKUTu3(15s)Mt8;xC2@c}3hoT5r(QizsUpF@<_(WnjhxYT|)ok$^;QjW-Uqi!8tUt^$amy-lgp*bc?~no0*I%
z_7tYHwJ%pA?!p^K2P)MYeB7&yDuX0S1oYd|
zOHu_U1@Rj*Kh;vCT#%(W=Ec|k38;8vmU54hXAtu*p&Hgn9wn?WA`D4;@dz=TXYiz|
z3ipdhcMrc27uPmtVY3@QzMaCmH(;83d_w})t^`{Rz?y^OJJs;?VSr0G%1bgZGLf@+
zG%zgKC+y}cJ-xpv`x!y?+*Cz$=vRf@>N4)=OM&Sukx$(Vq>#-s-h`%8%M$)2M#$3v
zUsjBT(}%u#-VdHz8ZpYqq{EeXPM&{2sm-VKQhjr*xZRzA;e6{G=_WNH8)-`2yPbW=7uRmH3!06%Mc+XbNq37gfP6|a&X`h9!f4QLJFbI;9CG8J%?tL%sTJcXuS5O4?G|U00ae;>i==@f
zNZ#K$Ba$n=t{P{eiy73ORpoN`|CRS8xi9~n=2l@xvy{^oOd(>V{ZS}nr-UTgE!!oc
zYmVzu%3aX;P|B81NG%J
zYJw&=asZ4q@3V4XYM%5tgO(ZK-<(-g04c9A%tkK~pRJ$UWhvf%_Jn=)MkW?jL)IWQ
zX_CJ%w95vd5>++)k7z69L_5ou*_3Y1^R?s5%dwPU)W&e6XIgIF;2~t)Cw`GH)c8`MV$OcpuH1oX^C(wUv2&qdWrtbNy13
zIsw)$eb>mWTQr~jr-Q}Jo$hg1=zp>F?E4`hg1%`jfVzTH)fevrS}1RF493-}^tOK1
zKR#~XcrELC`})m$3QT_xT~PLVQ|HA#NJkP0obEsoKM*?b8i~5xMq0|!k>7HRWWK&o
zn9VS>-LY_5>dFlyA`bgS%tF{DB9uiEB|Fu4-xkTI2xeg%WxnP{-@CjKCI4&qf@gm4
z7qCraOoJ&fJpqYbTCN~~uaXNe0ZE>s28=GrcR>^FmjHDIaul1y}<1b-1kDu%kqvA{6v@>!^*~LIB63xEflBt?~Xr
zK1*49mdF6u=daY?NxP2icHxuJG&?W>_ed_)NcGCHAGYM=hb~PmsBH5IYzS|Npuv=A
zK6F{EZs+@oz{^3FgTgar71MBy)!l?)(KIK#*rn7qNnh#rV4J_{yKbEjVCfVo^&(Ap
zN@%9}(6i4u;kLLW^@@P6xHeBr)FV^snZky#E)v9UMy`HG=rfe+9yHh6$6GS+a{Fc^
z#*hp>GLSo*MdY1=bb>#@75WPV+gjv6WL@YH$Nov}9-UVp;~x$)i7xKv-djr!ju9=nBCG~6U22Z3X;SXI;Q)sjEa
zeS4*tXE*gz%Y@&qxu^OB&DU{C(pvL{3c}^x*OS~r*E0A*PXykJu36L?=N_2zhMhnu4){oS!Hswv
zrV^jZU@%Zzx$K_%+epy$SNwNxCXwtcz>ag9Tt+&z!E{O$xxt9Jc4TB9D@t}6I6esV
z#*~dsSxtfK$sK9K{+}w`Cr=nYTr`tKNYf_dSywzwz`2y!6#v8?w#Q|bMO&umZzF}`
zKOoh)fdUp1rU8#mD&Qgq!N$reN^mcVy3;v=sq++91jhsyPO^u9#HMf+fuGYsCFzg>{aFWrs4QcjTMXwD5
z4xX0+UY_BQWE46qv^LkS-BKP+)=Q^!!q!NTQKs#?-_PfwBW-~MB|tV>e^{S1app&od`DQa;qv5){0z_((3y)-
z`q3HFhTunI2Fsv9j?qx59YXcS3GCGcmxt~*d&@|&QH?j_Hw;7?|LeYAM%CSIWfDvQ
z_#L5&xIh!#Js?C~SOV5(c{z~Qh{Gn3*c`KC`{jG&ZA57U=*Dk-6N9W}zId|oVmpn&Vf%-P#rn)GdFZv1l1G>`w*eIp+sKRDwOeYILD$S<+
z3*O}3=5i$K-KO-RFYiWTXE`3}{aRD?RsvRaAS+gMDjzQ_eO)Ljkjs_78Ep}#)qN!Q
zhix0_TCsv~I4|l(B40}-Cq31lZAjq%b`etliID1K$_y%c0#dvb1t@9$6TLZvlTHV)
z=-$E@V0!>>tcz5Oz54K4v~*c?X37`JPg;5E#Q@@WrPKeYRb9j<>OwfaM}FGDqj8Ya
zz{lfVMb?i|&P6Jo@z)Mfs)SW^|2UI9LjUtb_JBN^F@USRR@PDRYxq%)MU*Vjuh=;H?44KY^8meC8%s*`~-h4h0$YO<#ukq*U1PIblq
z*z+N@G&vg?1r+Fp)Bek%{LWvX
z-{CK4qW_^G7DSci_9yOv7W;Z3)CN@P^bzas+Z<#`oG+2zmmtvO?mkeS{l$KATrT@Y
z5mX@az>@9@GidW)OjXyum$^A+l}VGE=eQek)ngd|n1YH+7CbmdXRB-sgzz*O{O?n%
z=0P)nvHmgu#`lqaNbJSRetzyvKp{OnonL0TjhQt@xl#q!9hP7Fp~`fuC9rm4Zu5)z
zW0nGP$)s1L-1qMURZ^RsIiR`W&tGzl#rw1osChi!O{jB_{d-#TOF4Dl(!ZP)$_kq=
zfpoTI-7{)JKJ**pCM~ec%!WuY@^`o0_8q1anHE{d2NBfS&Uh!)naM(DVr6gZngOlw
zPg}f@yDCPg*LO&1P_4STp)ua1DGswN8@J3t!)^A-LWlb@C;;@xvc09{u&piHB6lhA
zl7(Y)hVR)XwiTEEAG!>jhCsdy|8*|+!~PK652v@!q#D~Wu5HAKysD9EhnDjZkKC=m
zQ_QB`+xHPHTlevmFwb004>9{C?dP0YjDN?N{0ov~fOTF4aDgLWn_X{Yg7RSUnL?RX
zDQq+Mj{BblY*E^x-i@c%ioR0qZtd8wB*@;VcSD8-V|T?b_nF*iYkEB>8^ZqWjwev21Gq064z}=b!lVZ;Vzh$rV2h_P>!)$+6B}U-WNgk4j5R
z!R}RW8{xulSr+ua(rQ!IDKQ_MYHU1m8eh*)2@(fOvBxL>&Gzky2beyHywaS*x2z?bZ^>ILkC1L^`dNK9gt+&T&;J}AQ{c4}3*3pmWYZxYxtH$Y^t3KmKTyI2nvnS$!?
zW#I(I@K>%p&}ZjufnG4uD`hk;FMK|F8#xdKv=mebYNB3mB%_DTaU4R!{o`h6)Pk>2
z(K9{B;kXL5dX!ZW#xfqCD%FSC^DSLo*p&aaCL>o<%^%NWb@Py=`v2-2o!g%d>dSF5
zb`0r6uCMKqEj62ya8HxAnZU5}&dx6#tp?9Ru5QvYh)uY6kP2TD6h}cXmbuAdIH{}T
zQ&Un}da12@`*N{Mu7b3!NNzf3D{h}bW_Yb#;|APeyboBC^)AQ-SbHX%n2&Ld(=ng(
zET*eiyzXh}IaFI5QXZHj_;5!sM$`h7WuO+tJffz%V%n01$2@C`zRxI_`I+za!Oas>
z>dUyj`90u1jXk>&j-%J;IikgF5hE5nWg|T88#bppoIjwkPfY?MXoxAosdPM_ztI^NJpHp}o8_R#puk9>xb!M*37A?+>fj|t#O3VZN{`^r)<3Y4r^$)G
z9_i=JCMq&h#Nzg1BG`ziYJAtdUgI>CbY|lwkB-KX7nU00m%v_Ku_4VGpX|vth|7M8^3QnJdXcj$Z}XZnwnjmIOc?o=Dv_VN`W7e}Tuk+djrZnstq=YC
zyw5^E?ANYjYVRBl_$PrzNRhouw1fFHlYt#qcMrBJtq07q-G{K>w55z+=yC9Dg6YmA
zfTbu0Mjs&eh!=0mHvChJ+m%#wIh8vtI`%||7jnZ}Y?wd2JfJY4K
z*=9Pq`?wy(OOO7%_es!y_8nzb_+}sWHS4~(pK@v1g4yFJsjniC^%l{Yn|~~s_-TGT
z)9LgUnByp7@abNmJyTg#(}tlZ1Aaf>lUrDu38Z0$tUUO7X$ihz@Abb%&;v_Q=3(FEFF~1YB`GAJL*!4=1F;Z
z)v0Zjo7;aB6w(wi;UF~`K}E(Wwa|vGFv5fT<9iAh2AFSmm)%1e7d>AT$dSIAI$uY?
z4W4ox6pGWiUC*&U>sR`@->-mztWb%NJ%4)!<2jDD
zwVUbGtAf@p!A*8!QkngRKMFBiL=%3Ip?+spcl)(jh)Zr!{NOq~P%
zcIklh7eGDU^+9Vq0C&6zqz`i4!!QrKR_4Wsb;oFp@x@CON|;J%7uT~gui;dHf&r^*?M
z+=q3&NAJnd5EA8TOg`&NH%U4A+eT`7&<1RgF{VlHcK@Fzm+pt@!q=kiM7n%%GN0`<
z!s`Jwr~supt@_Ex#)M(GrcVERiu9Em={G|;PXK!C9f)#*G#0+KhJF>nF?(h~I(|%!
z1;_eya^U{Ty2%c$bI<0ZSlM3PnDXygC>dzOqNi?Qa>p;k*8
zO}!3K;;Y_l2YA<6uKc4i#iP|anFvy!&kV_f+`J02osxU_g=i)tV)Mzzj4RUi6qJ98
zzz*jhE~MeT1BJ~}X{vIS>zpox
zhTNHoJ0FR9l-k<@4BIBFg$cZ}B)!nkbZuU*HnlpfBK=OumOQ9p5Qnr%VoR4MUF2rZFB
z*#@?X0myH=N8#t|oJM}|YHQc!%4DeW0nNn=Bif-Ju
z8QC3f8$Sw0ZXDaEAu5bWPa(D%H~1Ac57D(}bC{@84fIH+A4ufh^mb{Jc`f`1_9ml3
zNr0K+gq~NmWxzKbzxAN%B>bmM4iGgAUei|fqm;}pvuLy;4)
z-NrP&K^hXkP?4E9Vxj{%^=^$<}Zc=19=&h;3SU7_(%mz@UK-11->OJNPL`VE|4q3TxsU`5mbttX
z)6b^mPEBZaPXjzZi4T9-lYWuAdB>0EGq|BXrPc!BOn51=QzM_h7x$#2r7LM{NT|Ts
z`BZpY*oehI+PB;0j2Az?$a3VqkP
zJRW`jg6|LC^TX%y`RVh+`}6p`-#@(GpV#v(R{BkOIMQ%(uiprBa|Sy*cLOuUTy
zJ)q|qE_=gTO0|1aLp1dosMOXfNrP#2q@uZ3t95g8KDo~?X*#Rjur#beo$4~opPY&qeq`x1`+!?x>(`dCpCD<9fM&K!YJdZ%B+eE!u
zj!id+m94Tn5TIZE`AEFPUTKSMy4WMxy44uHoP2ofX*&j!y^lK)bjn#8vx@UJHJ_D=
zdT6)X6roJTe^`NtA&IWlycU~Sc@e~?XaXL*Xc>5w6RsV-*F!rj+0fz9`qYxSAkCe9
zIO2k&s6>dXt7Ip`fA|PPFHIsj(F@RP4djVY`HUwU>K}dD5%OXDl{WZcW~wlMreA?U
z7UfB7Cy$y0F`*x)z{Ck&V?jnZ#9bi}ax9~5+b&ico6jWZ3~wUNqmncDW5{3`78O)(
zF%DIa*97#GUGJ1g8-acHvbcSBGf52dy36BQ!iUWc%5k_(u{DmmcwD(tLRrl7je6=>
z%8LvYf!q>8U>l@V6LmXPyS$2dpNlH6^N%C_YFzLeEq;BJ7@n%pDXPCG%Ae`XqwDqZ
zrj!uDVwZvk5`wQkSVg;qhApA{A_+%360cwUrN~}icNy23MN1Nihj@Un^VkavoBF;-
z@sWn(QQ8_`B#zJ&l@;Tq41&OYiL?<;upWQp@;c%Y+t_nXDe8h=mIe4p
z?(pVPW)XP$&Y^8H?AnYlpI2&H>p~ixuj;cuYcv|&+itM8#AMHE&igEJZp`uktfbPR%4n_w2LeSM~YJ#W7P_8?svFI;dAt9zX09Hqq=)Dv&?O5j?K?cZ7Q<
z7~6!gNe(*)x4*|Kc=9jgiHE*MFE)doKEb;-4OW#HS^uce
zz{}sUs12y_W7D$jBWB?XMa}6N;Qny{M)#-N>iR?h3m_&Jk^T#DH3y-Yut%o*vpI~E
zOa>hOVdX#Fub#GhyU8@Rxmk7^Dg|){;`NwyhJv~~N@ctIm
z#6;>MPd>8owIjqhqkCI#X!Eon_Cz6%+fiLLFKjkFcx{>;L&7vaJ##ZG_a*e|Y_lNC
zQww{PNdU5v<_|xPd4$N-XwA}I@jUM!jL3rNxIcY1-=lJ>O*Xg!o0CFyd9|%3VlW{f
zyFD|wbTy@muypgYf{B-^>${I-FfHmpSBh~VYeg@F4-hW=iY37PMS@;a{&S(pB3)xicYWX`G#+NhKMEXanOC+
zF)t%y2}#G<4=etE@+ib!6oBS(Nq)>5xwmqyq22?I-!;jN2y>saHSX2+9ES^9p%D1KO6_@yA2aC9XF)
z;~mN=4Lufe38)D3@s^L)Z!28>sG}-k;MpM;?xmcZwcZFMU316`(~JT;O#XYKJF=Jo
z@`2(hmNoTJ`cfK0ZOw2(OJcp#8R>xfc9h~qrZM!onw9jYL_hPbUH$DP$JwRiKo?wi
zvU(N@cRRuDatLMDG&@%Xa0^KsJH0@ub_$hg$vpbze2GIztz$*N#rfh<>_c7$jYt+Th)H;99;b(L30?}
z`lY&*zE*l<;=DC8iRL90D)Y0GgjN#Rfc4kSiUWHUwiPdSsGI)q>cBo$g^!03_JbNc
zH*O!oIR9UxFI9=P&Zc|HE*h+R0o+`tU0^DJax&7QgnC=Zaa%4@_d9p_8i-QU{jfg{
zS#Zt|lTtXr32+AXzTh6H0m+oI2rWk5SrYe}eQAlu?Jxq;YK~p0YXJ2dh@6v|;nIye
zR@R*Y#ZcttqQdrfNrRlZ@nZ4~SW$bzM;T?t~rv&H?LQvOxjh+y^y@WJdUIM35o$@s5jb@0!Nd
zo6BO%!vdE)VY07q`$60AcU%>~o!BY{(ronwN^5s7zJL@GqoWm;S1lem-MHLk)Mvw@
zdC3?gi8PKDbD)K)>QE^Hi*iOf!6+Lm#tdThyC^sRY<~RR1ab3hM4ltcQiF@Dzlrnf
oJNmj*mA!gz9Ex`lt9`I<#EicW{||S$FJu4Y|3CTvf0h6L0h$t{SIF2bu%4^Y&o{00y;IF}-70C_C@Q}62Q9v&{Ae|
z1GR|*73cerrcMhQ{fPELOHZ%_5;-$md=)10M^R~y{L3S`|SSEU_U-sE}WlL?>uyn_G
zsaY(#+-AL6__tZ+M(Q-cFtLw|Eg_u#EU9qc=Y(v^_H
zDL>X0YCK~_P4nkezcc5)sdv^zJHELt-=$wNr5^idT5DX3zk_`K+-a$Cs$VSzb%i-u
zIH)wK(AGdwP3rHI41-appFlG(%7pwZ6mlqbSiIg
zfbpYe1k2c{P9tf9Qdo{(Ql68>-uc14SIXnxzpvOSY#|k&Epld!*?>Iwyec!7yEP>9
zD>B0bq2`>qq0oE3uS|xBm8sXM`<`vt$VS$R){CWVRJ2sKSY${?k5{K{&=#O$t*R?y^AxB&O|M99w^JUm%=YjBCyxhA?uBc7t%{kCS(z2p
zmhDI;@L&+Z{j&ckhHO6kWmZbv0kkIy+Ph9Ye0QbY1{*w6=Z0AJ0Rg}s>TyBt3EOzG
zS>`-yB__ET43SgRz*A=0^B(Se=a(Q(ABQqGY7mG#0){vU=g#R@L>AFSh#SeI9QrIL
z@Z&eG{X-A6L_6&fSoI8};lWusbvF?p(+xB!PQ8DJ4Z0>eJ>tqBLTiBI+nZ})hW_$z
z1S>NIjoHYZxp0;S%%F2{@5x2zkDWa`R#BN#hsQt4`s{zJ`=u$UTb4Y6!1{8CiW<k}f@#Bn}IyY97I%JCfjq78j
zs6m%;OV+9B1vOY^VgO4uUX55?0|@hFVou@HBV&xssSR!`ami(C`;hYVlf>$jf4iqf
z&2nSg_;s%a5c~&GYWkfT+wY(~>O$CK)J;1ejPsif->&n&`Sc|n&7`C2B9fz_2aww*
z@P-^el(;@FKk>TrK2!snli*qX?>(=Yxw7pks+
zJx|rTazo-DrQ_5r*Eo}6)Hfgda-vUF$%%gwe3`hXlkHg?BTmJO$n5I)y4%fIx){*`ENDn%ZSYA~k
zh-(gmoUx$Uyr4@As)y9^n;Er?icT-6!p;{q&2p)0VsB9cZEu7XIva{fkZ?Yf3`XO#
zCtgGoIcqimK{t!;78he3&xD$Jy?mEA3{`>1cP5E4mXfTE?R<5@jL%w;?O
z1FC|N2=3=lRiy52`Ko31Og5&
zG#30UCSzjQ2eupR_R%Q?pYe9m`)95r;gSD>Y9UQsi;30AWtlznM%#bp+7}V|6uJj#
z=h{VFW8ZWAk9$XpE_e2)a+PaH(C`0Zc*$d}@F6KlFFPcKeuc(5Cc-mvU=_`uKwd<
z6fvxoZ6CXrTHDzVN8NLBpMBSg8NJzd?jrTR3nkn-1ImY-r@Ir?lL5D{H#s9Yd5$5U
zonf1hJx$!L=XgH0;o^d;0_(e7$smFV7xxIuzR=Su-
zPXs4V2wWx%s)#JyEfckzo*B+tRP0YBA*9P0w+n^cvSQ`pSYK)~*hjl~Z=J*&c>FeB
zKrByYmpvuUx{QDSsMLM1{kO$7q)L_BvrCcOk3eZ~$TEWnB^sgzhcx$LU0rR9t)D@)
zk)6u;taJg9o`;-wyr{1nDU=x0b(E@=LE#`5yeoniWz6x{Ii&d+H@6=3e4ix6%pNo+
zajG%AJPWXvEI(WYx`?9StrM#`k;7nL?Am+sBwpME%}1Xls;7YTzg_gex`uZqJDpnu
z&w0m*Z2@!<%CA<87Ap6Z=sB;;e*)n8m`xODu;nQCz=~4`$d+)FpOY>X>j*9_l%fXq
zlf~dOyX>>&Ee{dtG1lc~t2`ifzO(zKk^rCab5f$J?W#N)_>GOB$!5$?l?QIXB@pWo
zh-G=hX$~1nzeHr#lc^GwV77UX
zN6%OpPreKH8D(WW+l2T2qnrod$0#+
zjFW7A04Z|DDqP3lp_|jyF@`i-@B|DE(DR<~w=L+9|Jb%$LmxKgI16RVMc5iVoO04z
z!c235Uw%%Qu;qxhAWL*ama{_4ML>$5RYC4KV|8H?ob%Bnf)Fz$nf)aG197^(1_F_A
z<=@`S(AU@dAjkTFGI4|HikygvUe`6n^KgCqlbA@el}ZpQ<8q6N$Zx(d!+F83m}+H=
z-uyyzYm87CtqecFN|)X%@|m%WE0S(5yK1n7V7o@
zN$tQC#kD`~e-QMs)%Wh~o%*bnG1^1vjya_zKUFWC7V3}I`q*pQELv=!vaKXPQzjWm
zx~xsk(BIjLH(Qt>nVctW(x-{31f@1^U%mI2$FHIXPd58Iye3`PjEm~rf||r0L}Oxg
z?+0qwN^&zdl7OTyHPH~GbjTITP%g7J{l=6OHJVXGNrU!l*V>$tboo8@?C?6|;
z_DHN=NpXc5Qis)D5ntjL+k(~pwX9qy_=;P|8E%w@F5*dTKnf8Gqdc+}uO{(rW8*Hnrg)&*w
zAJST0pW7bKADkVcC}Q9hIEA=iFxxS%1V-KRW!DJrK?@J^0bNl&$}HED#anfx{aW5;
z2}ecN&u?8nfgk%^G#+7a*83K@Kk9=^HTr#(jw=|A%tq{x-!Zx=l^@gSU=czle+pat
zW1bM-9o{I?lZn_%X9xwI1aKURnIk7zwl%mu4536%0
z9F@_o>=^bn!b;a3tAB-RbKG)@@s@?|z4PS^6%CN@_adbItzRHmAPpUHzdU0H;ee-3t
zJ~PTlclx&Gs7%*oy($yOX3n;6)jX=C{ZU<_wb46*2)vR!?Y2dO`E-7kM#w#Cheu=m
zL>Tf<+x}X{iK&;7Lpr7NWfQh*%Uq17p&}BF(aL<84|}BX~=i6*1rJ7oTomW279)VVhT*RpiN6^ZE&G!qD5Iu_w;qmd+e&1OcUQi|9T7&J(3NEvE
z%y6>9@_D*hRouG36}*ytsEnmbcGR=J#8%YcL)Pokbj0cEYE>L}2XQTMsl)=Rip!kJ
zHk>36HD>gt_o_>m*K^=MHOmm9pVSNrA5@HGJq-NRX$kdy6hkP^6@n!kEt3dT61SiX
z9fkAQ!6rxc_Kh!Unu-0aK;>AO>S4v{<9=2-^skaC4j9=eFaf83Sf3=OCaF_(x)x&F
zNxUVkikMUh*-uyI<4Xg`ZNa5!t-mqMT}avX-dJ^{AYa1iGQX4f?c0BGwiPt_iwb
zAEZEhP38{4w{Y~JYDk4bR}m`@YW6A$*HO9T{XSLGs=4P|1iT9s`Xv=()m#L*a}vJ~
zLHhbCD(yqQOeiHW-x;@5*rYu5!Lk(7k2?GWD{i^yR=ci8zC$U0J$7CEtf;{rqP?e8
zbC+X&tlm_IWhrTu&XKr0k=Lg=SI*NGfVG?z+uHi3E@YOpJe${-zy+?kfINvIi&C{d
zZ}ToF*3$iST>x=Xry83i3k-|7|}-JqJtf{8CZo>s?GG*v>{}RA@V)m>8uy)+-$bS&31>Tw340o)uI&hEr6WY_bm;zURR{$QsJ(DP~xn)n86~)XQ4h}295{y
zBN3YKJbaE-5LL`%1-|TRAzezDO$(&Ffm~m!vCoPsUSwInG|SnrRiXc$=giu)D~31s
zu49$7$(J)8vhvjF%6ZQ5-%tq9Zi~@3HbOJ5{PQxwvh)*;$qR;FU;L8t;%G(EW%0Am
z#0{n!@=CY%+{mvd-xN#PN{I}$T!d||ZGSSWG8?*)(Sv&GJ5FkH{I(thY$Ai$ya8J7Oz_dtcuR
zce@nZOV8Tdd6o-a6WN8{*)QMiaO-81)ploVecq~4Xr0wYDWle6wMqqp5UX(`J6vy0
z++4dlH}yW)T9Q4L>g$2eA$1cB7E(Wfb=Qe4aFD6VZ6sDd*#(X%%ztSoG=Uq_Qp*XJ
zi^q3D%+ij#6=XEM$jkyD11lT_pByF%qK20-_S=@tZlTUyA%Y|0$}aQSkQJgz=uNSM
zTd}&!P|q#x7_b0`q(YYuTP*fx^r>Y;;r=>HKa=N-Vyd6A3|diGnVtHoYb}HQmREJO
zCFnLdgsIiKO!40wf$i-S<$`a3(QUA!qZdT!PSa$!@}vAhor{8ei$Zf%{19R`D6)e^
z^ILrtD?RPr`X)jpNSgm`s2-era3b@^hBF9?8EG>#C$b$#V0F48I8^U7{af|eHYpx_
z{gP=qsEda&B|yrcwo-CKm0BFOM2ohSjs!yJHljhLn8XaHN
z%GaW^J@I+HIOMag>vcK<=JU`NL1V;#c^;q^*Tn5iFsBvlLe*2~pY^`4EB>K8_$|Oa
zx$9nhQo`B>0z{{>w2y*KQ-e8EG_D^&TK}Whq4QPsUuJK&Fa4`SBTzntt~TuAdV4#>
z!mUk=xkce&$GP=(X4T9dw8^x3W?NBqS9uO}Dk{D8)!G#n;bv0(!EPz<3&Hhj55U#j
z7hfSqq3zBu_2T2jA$+~*4TO4kmF@Oi&tWOBAi=>PzTUJ3LJc@Lo$EO#9J|);(VDL|
z5jBbH`IS`6h9+z$@7DyxBiVFI(I2y@8Bu$>dU=D9+P1h?z+R0CH=81rDGsX=~E*R%gv-`@0%&F}K)wu+T9I$U>K6
z!KRnQGPWM;Zb1Fx5xYI(Z@C}tWGhgve!Ls%-Q&X2KXT{QNj!N)$gw7pp|nGvaIg&e
zkinpaTph~wV}lfLKGt7;UDe9dGIZOrc1dBIoI55@l39KMRzzsM)yC^uGt7384RP%9
z_EtJb+8g?jN``7q9MrMHn>Zz(;*r?pF0gTI2km^D8Y2aM>CIsmc~B)CyQHTJ(#7&W
zu0lY`iQvFRKN7nTS*-4)YvXGH&)IeUMCzdImZMzhRuk(_ukD*+4&#jS3cc9*?&x}y
zc;0Hxw!PcTm#=!dYc;M}QTk)OJ{5Wrj4#g|P*>S5U<(Voc3OxtF<*PNo*E~Q5@PK|HofcvAMQcL1-J(c3%i%o3H9Q=GM}!a;se~hNQhb-NhLQln6b&x`4`ude0kNE>&hX=
z%+N6b#}cQG$D@zMvr@3O*MciwW+v4EjVQgXYzid6{V4m__A*$Mqp#fm)f)>v7XMRv
zh8L_3#}P?ev6=@HU*D=kPAt|=l*UeYnHm~%h>}y9gu8uQJrjIJPC@?$u>wK3miKvG
z@Y#BrdRGY}xeSxNixc8qV{PG7@hBv%Xrj6k7!#;hZHV{wZ^})VV^c9n>IH&nBb1AITGh^
zcj)n4p-PVB;Krr#5+TgzeJ@QFSQ+K&)AA=~jYkFyy$
z6UgHMw*+c$<4|P(w*t5QYos$Z3h$h1LAa@9IztIb0Rupqy$v`8gc*F0-5(|*({_DVe4Q!wGONRi>yRzoqJmvz#}@lh#%5zMQ<))Lm`)aC7j6CzLUBFsGL
zErmB9zCTx7i^I^kNwfmW9*rlFgI
zZRn;As^ni`noEZ(G@1%aA4Ns8cP9@NWqBhTecERFX2lLx>$egYU!d=BW9VV-=olm!
z%-8Hi;+o>97Nq!uEo`zod~qS$SnS~Lz7DuYv(liu;HyU-*;lQZj#xa7Gw4KJz7y77
z$csKyiOr4@woC=7YSEaa5Y-KnO
zUhSJD2dO_nzW<*~z>k6>1A^z?B;`piL#C4p!`6m>dk4K;se$o4jLZ;z@Z5+KjKEVqnqr0M)tLq-
zyqAZO6(S@77&OeEk(vh1*kl)lHY>ncBuH)ix}7b6SL!={;({Cx-HwRsJn|!QJq;W?
zT4Hl0PU{dEd_OvG`AvqIa)ARtI`-b!>*Gk!&7^l*OG+?tCgA)2ck`wDrx!dq0*!TZ
z5kHUGJkq*ii`PVS-4X>d#b!_P=Lkwld_6^7PUHga2x#-S?NQ(x&k3=5uf*XRnJZfd
zm&xKEUs~JR-n00mmQli~GkNH7gqe8D_;StnCP9@BoS@=6bHSANjWAx9g|)&TPLYJk
z;fG>hPemHP&(1yeqhpHoDN@e)1xxBWK36vH@ddL#zD0LovW2wY|IRp50GL5-kBI9Y
z9}U*457V37UshYmw(&9i#)3O9W8nj7cPxK*EcM31EN|Dshw|OA6!w^>Vrd`r$WW6)
z<$8%Rc}cmEZ{c}U&U@#nM;{-WDKmGS31d5B^|+aW$ckxC%oo%;KRFe^L6AxJ{uUK<
zr}r)R(g0?`EtkEtTnmr|%%Jy7_1+h2aUw^Q{(bZ}m|ovv@o_yDwjmGQ%Rm_z_Lu$q
z_mgy+rf}@R^k543;yqXP#S!rXq(JVBnQ1UTxLz#JM-iP#fPHjH{Tk2!I=F{@zNzOT
z$6j{kN&p#CiYJBs`Q^pIj%1dwucVPF>2RA!?c&vtPw3O*msV=VcJsXE^P73(FqO#6yJ~qXs_cRl92sbq6CJ11gc2gLc7du55
z>dga>zAUQEeWtbRh!5J()L1Q@g)@ok&KqsI^DAoH`0CM9+&Azf
zPUnS7w#|5TJ(aTVAJ@MgCsm&qtFoqDDz~xhN7ApLE&QV=FK8(X<2!VNgB?0}mQ4B-
z-jR!)HSn+m>QCSS$TRL6;Hk8Nr<^=&vO9uD*Gf$OpA|~>2$Y)O`$3lh06&=taQ??f
r^J)foW+ncu=m(`b+F1bn`QyUX^F>CE5B|IU|GWPGyZ-;bsQ>=~_6HN$
literal 0
HcmV?d00001
diff --git a/pics/d0175e0c-859e-4991-b263-8378e52f7ee5.jpg b/pics/d0175e0c-859e-4991-b263-8378e52f7ee5.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..5c7aa86044dc460e1137a52ad39dacfff7eaff5e
GIT binary patch
literal 73728
zcmbTe2UJtr)&?2`L_k2K*QkJWP>O(**yv)UcOoJ+M-V9@B~cMjs)&Gs5~T_Vk&d)T
z7ZD>h^xkVi34ye?J?Gwg?*0Ee-gy6u?7?s+*{-=}`@T8nl0HnI2Awc5Fg5@&Fff2_
z0e?XBG0;^I_z=&|E$$B(nKv9oh?Gq3f6#O9MVQA#jsOXqy&tqSvyh=?=fBhyS
zJ0~|Uzu;qGQF%pWRdr46m%5hLw)T$BZ(ZN}`UeJwaKj^`GqZE^3yVw3E31Up7+8I{M!
zc&{XXC~IbwP_@AG-M-(;#xJQhBSrWv+MkmBe-rG<|1Zh@CD`9`je?FdG62eBMd!>*$w|>6}EznVM+cUEv($a{i~Ht`<(`#BqM`n)QqU@yi~R
zBAq2l2fd$&p)pC521~Ttg$+uyqPs1s>N174XWrPCtv!Mh#OwVcVJDSnycB~z9etm5
ze%34Fr
zk;O83R66dWEmm=Q+yw$2?#>~tSIcTcl+@vx9#^9ijR(#h#`m8lR6q7t(HF09lT5r)
zq}X!Oc$r20z>sW?>PStlFn@VLkE4}{-dcdH$Eb2V3S;-)yOctI=)-tMAJ;7U}^YrqA?^;kR<@h4yV
z^j$CRtqk!lU(sc0f2;=HG_^vJS9`&P|Ut-3?$`?xSW=#V*
zbdz;7X@{O4Y4)X~njdZY3wPc`o5GGXX7A^W@0$(qv$0BpEc{7>&X%;xH6e5RW|V}W
z@q>k8RcMmVMa_#7(a5zKNJkP0s-xXWxv>txpN4c`_(~zTE*jzETG!zY&2kIJo{!$(
z8h^H6oMUUi8LuLA<8pyVlMgipq003P#R>VmwW-tNd5xXN_m9dKsJcl~2iFYDBzU$_
z)9i-MH_}@h@eqf;9Nk_^i=jUPLxxP(YVUFwey)XVUX1UJ}9aL0@`|G~@VS6*>v80kv
z$UdJ((;w8wkoiaUNZdjvEna;$19w*|pxx-;hc&o(C{=#4rC0xS3FploPahYFzFlu_
zPIOkBrel234*O1?4g4mlsI-iEVNMRoHsS
zj1GQ@di1Yt`g7Chpv(1Klw(i=x*gn-)<6fL>7YO|*Pb&H+e-Wn5%RLUm(d;vhCii)
zg!^k6o@_k0tQMgB=?_6fDk7|$zItpUB)mx3Z
zi85{I6|1tf4GH15%95E;u&>ngan)G)Mf8Xvu@shI-t}Rv_p0|S{LVz3(#ZuD0>kiO
z?4eDgpqZ6Zubwt{bYaxT6>A%>JN=z^*}LUG`JYMibbADve+d_$@nAWTzkFNipd&mK
zxWwEAhK<^1ImK}=Ik
zg^H&q>Xg~=T6{)r<54a2Q{;5s676ggGnPWAr-OcFm#$Xnz7@r$eRZ`_T^dE<
zvqA!Bk-=cn3Dlh7e?&ptY!a{SyFEH+6XixL?xZ2W)#pi5t=rW+4xinC)yUG+bG(b}
zr%LaZey9~MGZHxvrs&zof74X&CHc)lV#81S^NwD?d|cTO`kt$y#6xhJPWqT%Ms>Pg
z(6TwX0BEZq=N>v1zx>n^SB$;;2Lkt7UD!XJ4Nw>O
z-}eO;3yI>x?kz%}PZ)r-PWL
z=%D1KwkFJN7?rasFOHaEUe=uWjh~B4ZhXJ&kXxVEHaFZWzWK7`G+V3QMf~bZ&YD}t
z=%9k%OP|L0a6OyCe`?}{kLFq&*!H#EEiux04qLF$d%B2`7>SR!{~|g6)|Mk2TIM6`
zj51A~$DS{cOSCbfe)@A8Fn?{sE8tnUil&+Y#lG25ugz2bsV^@aFId(`h#~k6Wr0QR
zky5FRcsj@&U-DzDwDS4W7tuNgN}M1fGnBe#X~?(X{(UfEMkG4A|QT|88?)|H{08&CTfhM}&Pl^!x24|GCqEm;8<@TK^VRlL(W&5j#1g5^Kg?8thc&|
zsNGL-JBO1c*f4NjD%4`=lUhic>Dsru5^j}heM|s~u-Tc!=pd&*&_Udo>IT0&(v3;y
zp;0G9_$ue+)R=D4BO?mDyb9(n?zVKFBGPGVWm&eL{vQrCFw}JJ*H-CC_6Ucc-fw5z
z5`z?=pL-BeL%1gtWB+M7h|k+$u(&e7Zd|fCy_8{T_gg7*V*T)87rxH?e!^8^r&?9q
z^c1%vslMgVrOK!IeN%N}Q1ed>8A$|-1iqwb&$8|d{(fAXf5egUDlXpTL$l^5`<7Kz
z0D@V3WBoa7I%7areusxh!BW(iJD`--4Zt=($y*c8FP5z=)GDKKM8#pM`2TdE{|M_C
zUL>2t^zX#CI>p|O>~1CgR2K9KaO)mihppU0%{c_`-<&v0ayPamfBPCs(T(<29M`c>
z^BYP2tRI}kMVgvJADQU%&mp1ABVE76+Gp5dc*D^v)}ob
