From 27aebc826826aed93758820ad903912173eab9f2 Mon Sep 17 00:00:00 2001 From: Estom Date: Thu, 2 Sep 2021 13:04:54 +0800 Subject: [PATCH] 123 --- 数据库/MySQL/附录0 MySQL架构原理.md | 50 ++++++-- 数据库/MySQL/附录3 MySQL索引类型.md | 129 +-------------------- 数据库/Redis/{ch2.md => 02 动态字符串.md} | 0 数据库/Redis/{ch3.md => 03 链表.md} | 0 数据库/Redis/{ch4.md => 04 字典.md} | 0 数据库/Redis/{ch5.md => 05 跳跃表.md} | 0 数据库/Redis/{ch6.md => 06 整数集合.md} | 0 数据库/Redis/{ch7.md => 07 压缩列表.md} | 0 数据库/Redis/{ch8.md => 08 对象.md} | 0 数据库/Redis/{ch9.md => 09 数据库.md} | 0 数据库/Redis/{ch10.md => 10 RDB持久化.md} | 0 数据库/Redis/{ch11.md => 11 AOF持久化.md} | 0 数据库/Redis/{ch12.md => 12 事件.md} | 0 数据库/Redis/{ch13.md => 13 客户端.md} | 0 数据库/Redis/{ch14.md => 14 服务器.md} | 0 数据库/Redis/{ch15.md => 15 复制.md} | 0 数据库/Redis/{ch16.md => 16 Sentinel.md} | 0 数据库/Redis/{ch17.md => 17 集群.md} | 0 数据库/Redis/{ch18.md => 18 发布与订阅.md} | 0 数据库/Redis/{ch19.md => 19 事务.md} | 0 数据库/Redis/{ch20.md => 20 Lua脚本.md} | 0 数据库/Redis/{ch21.md => 21 排序.md} | 0 数据库/Redis/{ch22.md => 22 二进制数组.md} | 0 数据库/Redis/{ch23.md => 23 慢查询日志.md} | 0 数据库/Redis/{ch24.md => 24 监视器.md} | 0 数据库/数据库.xmind | Bin 0 -> 29685 bytes 26 files changed, 41 insertions(+), 138 deletions(-) rename 数据库/Redis/{ch2.md => 02 动态字符串.md} (100%) rename 数据库/Redis/{ch3.md => 03 链表.md} (100%) rename 数据库/Redis/{ch4.md => 04 字典.md} (100%) rename 数据库/Redis/{ch5.md => 05 跳跃表.md} (100%) rename 数据库/Redis/{ch6.md => 06 整数集合.md} (100%) rename 数据库/Redis/{ch7.md => 07 压缩列表.md} (100%) rename 数据库/Redis/{ch8.md => 08 对象.md} (100%) rename 数据库/Redis/{ch9.md => 09 数据库.md} (100%) rename 数据库/Redis/{ch10.md => 10 RDB持久化.md} (100%) rename 数据库/Redis/{ch11.md => 11 AOF持久化.md} (100%) rename 数据库/Redis/{ch12.md => 12 事件.md} (100%) rename 数据库/Redis/{ch13.md => 13 客户端.md} (100%) rename 数据库/Redis/{ch14.md => 14 服务器.md} (100%) rename 数据库/Redis/{ch15.md => 15 复制.md} (100%) rename 数据库/Redis/{ch16.md => 16 Sentinel.md} (100%) rename 数据库/Redis/{ch17.md => 17 集群.md} (100%) rename 数据库/Redis/{ch18.md => 18 发布与订阅.md} (100%) rename 数据库/Redis/{ch19.md => 19 事务.md} (100%) rename 数据库/Redis/{ch20.md => 20 Lua脚本.md} (100%) rename 数据库/Redis/{ch21.md => 21 排序.md} (100%) rename 数据库/Redis/{ch22.md => 22 二进制数组.md} (100%) rename 数据库/Redis/{ch23.md => 23 慢查询日志.md} (100%) rename 数据库/Redis/{ch24.md => 24 监视器.md} (100%) create mode 100644 数据库/数据库.xmind diff --git a/数据库/MySQL/附录0 MySQL架构原理.md b/数据库/MySQL/附录0 MySQL架构原理.md index fc5951d1..3d1c8fe9 100644 --- a/数据库/MySQL/附录0 MySQL架构原理.md +++ b/数据库/MySQL/附录0 MySQL架构原理.md @@ -43,7 +43,7 @@ mysql拿到一个查询请求后，会先到查询缓存查看之前是否执行 开始执行的时候，要先判断一下用户对这个表 T 有没有执行查询的权限。如果没有，就会返回没有权限的错误。如果命中查询缓存，会在查询缓存返回结果的时候，做权限验证。查询也会在优化器之前调用 precheck 验证权限。如果有权限，就打开表继续执行。打开表的时候，执行器就会根据表的引擎定义，去调用这个引擎提供的接口。在数据库的慢查询日志中看到一个rows_examined 的字段，表示这个语句执行过程中扫描了多少行，这个值就是在执行器每次调用引擎获取数据航的时候累加的。在有些场景下，执行器调用一次，在引擎内部则扫描了多行，因此引擎扫描行数跟rows_examined并不是完全相同的。 -## 2 SQL查询机制 +## 2 SQL查询语句 ![](image/2021-09-01-22-06-49.png) @@ -59,17 +59,17 @@ SQL执行步骤：请求、缓存、SQL解析、优化SQL查询、调用引擎 -## 3 SQL更新机制和日志记录 +## 3 SQL更新语句 ![](image/2021-09-01-22-14-07.png) ### 执行过程 -1. 客户端向 MySQL 服务器发送一条更新请求 -2. 清除表查询缓存，跟这个有关的查询缓存会失效。这就是一般不建议使用查询缓存的原因。 -3. 分析器进行 SQL解析（词法和语法分析），分析这是一条更新语句和。 -4. 优化器生成对应的执行计划，优化器决定使用ID这个索引； -5. 执行器负责更新，找到这一行，然后进行更新: +1. 连接：客户端向 MySQL 服务器发送一条更新请求 +2. 缓存：清除表查询缓存，跟这个有关的查询缓存会失效。这就是一般不建议使用查询缓存的原因。 +3. 解析：分析器进行 SQL解析（词法和语法分析），分析这是一条更新语句和。 +4. 优化：优化器生成对应的执行计划，优化器决定使用ID这个索引； +5. 执行：执行器负责更新，找到这一行，然后进行更新: 1. 取数据行: 执行器先找引擎取 ID=2 这一行: ID 是主键，引擎直接用树搜索找到这一行。如果 ID=2 这一行所在的数据页本来就在内存中，就直接返回给执行器；否则，需要先从磁盘读入内存，然后再返回。) 2. 更新数据: 执行器拿到引擎给的行数据，把这个值加上 1，比如原来是 N，现在就是 N+1，得到新的一行数据，再调用引擎接口写入这行新数据。 3. 更新内存: 引擎将这行新数据更新到内存中， @@ -80,9 +80,39 @@ SQL执行步骤：请求、缓存、SQL解析、优化SQL查询、调用引擎 ![](image/2021-09-01-22-16-48.png) -### 日志类型 +## 4 日志类型 + -与查询流程不同的是，更新流程涉及两个重要日志模块：redo log（重做日志）和 binlog（归档日志）。redo log是InnoDB存储引擎层的日志，binlog是MySQL Server层记录的日志， 两者都是记录了某些操作的日志(不是所有)自然有些重复（但两者记录的格式不同）。 ![](image/2021-09-01-22-17-34.png) -redo log在数据库重启恢复的时候被使用，因为其属于物理日志的特性，恢复速度远快于逻辑日志。而binlog和undo log属于的逻辑日志。 \ No newline at end of file + +### redo log +* redo log记录的是page的变化。数据内容的变化，是物理层的。。对于面向disk的数据库，需要把数据先写入到page中，然后成批的flush到磁盘，所以在Page没有flush前需要有log能记录下page的state。这就是Redo，所以Redo是物理的，因为记录的是Page的具体变更，用Redo的目的是恢复出之前的page。 +* Redo本身也是要写disk，将多次写操作存入到buffer中，在事务commit的时候才把Redo顺序写入disk。redo log prepare状态切换到commit状态，完成提交。 + + + +使用场景： +* redo log在数据库重启恢复的时候被使用，因为其属于物理日志的特性，恢复速度远快于逻辑日志。 +* redo log作为异常宕机或者介质故障后的数据恢复使用 + +### bin log + +* MySQL Server层面的，又称为归档日志，属于逻辑日志，是以二进制的形式记录的是这个语句的原始逻辑。 + +使用场景： +* 在主从复制的时候使用。主库向从库写入变化。 +* binlog可以作为恢复数据使用 + +### undo log + +* Undolog主要分为两种 + * insert undo log。代表事务在insert新记录时产生的undo log, 只在事务回滚时需要，并且在事务提交后可以被立即丢弃 + * update undo log。事务在进行update或delete时产生的undo log; 不仅在事务回滚时需要，在快照读时也需要；所以不能随便删除，只有在快速读或事务回滚不涉及该日志时，对应的日志才会被purge线程统一清除 + + +### 日志对比 + +- 层次不同。redo/undo 是 innodb 引擎层维护的，而 binlog 是 mysql server 层维护的，跟采用何种引擎没有关系，记录的是所有引擎的更新操作的日志记录。 +- 记录内容不同。redo/undo 记录的是 每个页/每个数据 的修改情况，属于物理日志+逻辑日志结合的方式（redo log 是物理日志，undo log 是逻辑日志）。binlog 记录的都是事务操作内容，binlog 有三种模式：Statement（基于 SQL 语句的复制）、Row（基于行的复制） 以及 Mixed（混合模式）。不管采用的是什么模式，当然格式是二进制的， +- 记录时机不同。redo/undo 在 事务执行过程中 会不断的写入，而 binlog 是在 事务最终提交前 写入的。binlog 什么时候刷新到磁盘跟参数 sync_binlog 相关 \ No newline at end of file diff --git a/数据库/MySQL/附录3 MySQL索引类型.md b/数据库/MySQL/附录3 MySQL索引类型.md index 31b9b6d3..01a52bc0 100644 --- a/数据库/MySQL/附录3 MySQL索引类型.md +++ b/数据库/MySQL/附录3 MySQL索引类型.md @@ -183,131 +183,4 @@ select username, score from t1 where username = '小明' ### 前缀索引 * tire索引/前缀索引：用来索引字符串。 -> 特点：索引能够加快数据库查询，需要占用一定的存储空间。基本表更新后，索引也需要更新。用户不必显示地选择索引，关系数据库管理系统在执行查询时，会自动选择合适的索引作为存储路径。 - - - - - - - - - - - - - - - - - - - - - - - - - - - -MySQL中常用的索引结构有：B+树索引和哈希索引两种。目前建表用的B+树索引就是BTREE索引。 - -在MySQL中，MyISAM和InnoDB两种存储引擎都不支持哈希索引。只有HEAP/MEMORY引擎才能显示支持哈希索引。 - -创建索引： - -CREATE TABLE userInfo( - `id` bigint(20) NOT NULL AUTO_INCREMENT COMMENT '主键', - `username` varchar(3) NOT NULL COMMENT '用户名', - `age` int(10) NOT NULL COMMENT '年龄', - `addr` varchar(40) NOT NULL COMMENT '地址', -PRIMARY KEY (`id`), -KEY `ind_user_info_username` (`username`) USING BTREE, --此处普通索引 -key 'ind_user_info_username_addr' ('username_addr') USING BTREE, --此处联合索引 -unique key(uid) USINGBTREE, --此处唯一索引 -key 'ind_user_info_addr' (addr(12)) USINGBTREE —-此处 addr列只创建了最左12个字符长度的部分索引 -)ENGINE=InnoDB DEFAULT CHARSET=utf8 COMMENT='用户表'; -———————————————— -版权声明：本文为CSDN博主「yanweihpu」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。 -原文链接：https://blog.csdn.net/yanweihpu/article/details/80254066 - - -## 索引类型： - -唯一索引、主键索引、外键索引、普通索引，复合索引 - -## 索引优化查询： - -A、关联查询时，保证关联的字段都建立索引，并且字段类型一致，这样才能两个表都使用索引。如果字段类型不一样，至少一个表不能使用索引。 - -B、索引列如果使用like条件进行查询，那么 like 'xxx%' 可以使用索引，like '%xxx' 不能使用索引。 - -C、复合索引，如果创建了一个(username,age,addr)的复合索引，那么相当于创建了(username,age,addr)，(username,age)，(username)三个索引，所以在创建复合索引的时候应该将最常用的限制条件的列放在最左边，依次递减。 - -D、索引列的值最好不要有null值。列中只要包含null，则不会被包含到索引中，复合索引中只要有一列为null值，则这个复合索引失效的。所以创建索引列不要设置默认值null - -E、字符串列加索引最好加短索引，即对前该列的前xx个字符，例如：key 'ind_user_info_addr' (addr(10)) USINGBTREE代表对addr列的前10个字符家索引。 - -F、如果where条件中使用了一个列的索引，那么后面order by 在用这个列进行排序时，便不会再使用索引。 - - - -## 数据库优化 - -6、数据库优化 - -关联查询中的inner join 和左连接、右连接、子查询 -A、inner join 内连接也叫做等值连接，left/right join 是外连接。能用inner join连接的尽量用inner join连接 - -B、尽量使用外连接来替换子查询。 - -C、在使用on和where的时候，先用on，在用where。 - -D、使用join时，用小的结果驱动大的结果（left join左表结果尽量小，如果有条件，先放左边处理，right join同理反向）。 - -E、多表联合查询尽量拆分多个简单的sql语句进行查询。 - -建立索引，加快查询性能 -A、where条件用到复合索引中的字段时，最好把该字段放在复合索引的左端，这样才能使用索引提高查询。 - -B、保证连接的索引是相同类型。即a.age = b.age，a表的和b表的age字段类型保证一样，并且都建立了索引。 - -C、在使用like一个字段的索引时，like 'xxx%'能用到索引，like '%xxx'不能用到索引。 - -D、复合索引的使用：如果我们建立了一个（name,age,addr）的复合索引，那么相当于创建了（name,age,addr）、（name,age）、（name）三个索引。这样就把常用的限制条件放到最左边，依次递减。 - -E、索引列不要包含NULL值的列。所以数据库设计时，尽量不让字段默认为NULL。 - -F、使用短索引，对于字符串的索引，应指定一个前缀长度，体积高查询速度并且可以节省磁盘空间和I/O操作。 - -G、排序索引。尽量不要使用包含多个列的排序，如果需要则给这些列加上复合索引。 - -limit千万级分页优化 -A、select * from A order by id limit 1000000,10; 查询更换成select * from A where id between 1000000 and 1000010; - -尽量避免select * 的查询 -尽量不要使用BY RAND()命令 -利用limit 1取得唯一行。使用limit 1可以终止数据库引擎继续扫描整个表或者索引 -减少排序order by -少用OR -避免类型转换，也就是转入的参数类型要和字段类型一致 -不要在列上进行运算。 -尽量不要使用not in 和<> 操作 -A、not in 和<>操作都不会使用索引，而是进行全表扫描。 - -B、把not in 转化为 left join 操作。 - -使用批量插入操作代替一个一个插入 -对于多表查询可以建立视图。 -7、数据库原则 - -（1）不在数据库做运算：cpu计算务必移至业务层 - -（2）控制单表数据量：单表记录控制在1000w - -（3）控制列数量：字段数控制在20以内 - -（4）平衡范式与冗余：为提高效率牺牲范式设计，冗余数据 - -（5）拒绝3B：拒绝大sql，大事物，大批量 \ No newline at end of file +> 特点：索引能够加快数据库查询，需要占用一定的存储空间。基本表更新后，索引也需要更新。用户不必显示地选择索引，关系数据库管理系统在执行查询时，会自动选择合适的索引作为存储路径。 \ No newline at end of file diff --git a/数据库/Redis/ch2.md b/数据库/Redis/02 动态字符串.md similarity index 100% rename from 数据库/Redis/ch2.md rename to 数据库/Redis/02 动态字符串.md diff --git a/数据库/Redis/ch3.md b/数据库/Redis/03 链表.md similarity index 100% rename from 数据库/Redis/ch3.md rename to 数据库/Redis/03 链表.md diff --git a/数据库/Redis/ch4.md b/数据库/Redis/04 字典.md similarity index 100% rename from 数据库/Redis/ch4.md rename to 数据库/Redis/04 字典.md diff --git a/数据库/Redis/ch5.md b/数据库/Redis/05 跳跃表.md similarity index 100% rename from 数据库/Redis/ch5.md rename to 数据库/Redis/05 跳跃表.md diff --git a/数据库/Redis/ch6.md b/数据库/Redis/06 整数集合.md similarity index 100% rename from 数据库/Redis/ch6.md rename to 数据库/Redis/06 整数集合.md diff --git a/数据库/Redis/ch7.md b/数据库/Redis/07 压缩列表.md similarity index 100% rename from 数据库/Redis/ch7.md rename to 数据库/Redis/07 压缩列表.md diff --git a/数据库/Redis/ch8.md b/数据库/Redis/08 对象.md similarity index 100% rename from 数据库/Redis/ch8.md rename to 数据库/Redis/08 对象.md diff --git a/数据库/Redis/ch9.md b/数据库/Redis/09 数据库.md similarity index 100% rename from 数据库/Redis/ch9.md rename to 数据库/Redis/09 数据库.md diff --git a/数据库/Redis/ch10.md b/数据库/Redis/10 RDB持久化.md similarity index 100% rename from 数据库/Redis/ch10.md rename to 数据库/Redis/10 RDB持久化.md diff --git a/数据库/Redis/ch11.md b/数据库/Redis/11 AOF持久化.md similarity index 100% rename from 数据库/Redis/ch11.md rename to 数据库/Redis/11 AOF持久化.md diff --git a/数据库/Redis/ch12.md b/数据库/Redis/12 事件.md similarity index 100% rename from 数据库/Redis/ch12.md rename to 数据库/Redis/12 事件.md diff --git a/数据库/Redis/ch13.md b/数据库/Redis/13 客户端.md similarity index 100% rename from 数据库/Redis/ch13.md rename to 数据库/Redis/13 客户端.md diff --git a/数据库/Redis/ch14.md b/数据库/Redis/14 服务器.md similarity index 100% rename from 数据库/Redis/ch14.md rename to 数据库/Redis/14 服务器.md diff --git a/数据库/Redis/ch15.md b/数据库/Redis/15 复制.md similarity index 100% rename from 数据库/Redis/ch15.md rename to 数据库/Redis/15 复制.md diff --git a/数据库/Redis/ch16.md b/数据库/Redis/16 Sentinel.md similarity index 100% rename from 数据库/Redis/ch16.md rename to 数据库/Redis/16 Sentinel.md diff --git a/数据库/Redis/ch17.md b/数据库/Redis/17 集群.md similarity index 100% rename from 数据库/Redis/ch17.md rename to 数据库/Redis/17 集群.md diff --git a/数据库/Redis/ch18.md b/数据库/Redis/18 发布与订阅.md similarity index 100% rename from 数据库/Redis/ch18.md rename to 数据库/Redis/18 发布与订阅.md diff --git a/数据库/Redis/ch19.md b/数据库/Redis/19 事务.md similarity index 100% rename from 数据库/Redis/ch19.md rename to 数据库/Redis/19 事务.md diff --git a/数据库/Redis/ch20.md b/数据库/Redis/20 Lua脚本.md similarity index 100% rename from 数据库/Redis/ch20.md rename to 数据库/Redis/20 Lua脚本.md diff --git a/数据库/Redis/ch21.md b/数据库/Redis/21 排序.md similarity index 100% rename from 数据库/Redis/ch21.md rename to 数据库/Redis/21 排序.md diff --git a/数据库/Redis/ch22.md b/数据库/Redis/22 二进制数组.md similarity index 100% rename from 数据库/Redis/ch22.md rename to 数据库/Redis/22 二进制数组.md diff --git a/数据库/Redis/ch23.md b/数据库/Redis/23 慢查询日志.md similarity index 100% rename from 数据库/Redis/ch23.md rename to 数据库/Redis/23 慢查询日志.md diff --git a/数据库/Redis/ch24.md b/数据库/Redis/24 监视器.md similarity index 100% rename from 数据库/Redis/ch24.md rename to 数据库/Redis/24 监视器.md diff --git a/数据库/数据库.xmind b/数据库/数据库.xmind new file mode 100644 index 0000000000000000000000000000000000000000..88118c3fa19fe90e838cfc8c41fd866de2461eb9 GIT binary patch literal 29685 zcmY&fVRbRXsBgYpPbw%T#x- zr7Q;y0SEGb1D2Xp?SBscZ-M`BSGRPtGqyLfvUOon{(nH2{{ik3He=umf`B}Vfq?w_ z-$2*@e}~c0-r~B;Oj%cDlQT0!xd|gp)G4a7)5pn!K~*nGE?+CUv!zYl|NK4P^9MxUBo*5tH$-|EC|3#^xWs6Y86wb_-PCG4URRj57d` za+$Pz5wA{1g%WEli#9sCtIFnFHj^pTy=D+r5*JFq)Jm-C=jelJN|pn~8{_;o216t( z0GCRK)6=~27V5WRzuGwN_Tk}Jz>tCvFLiLaHK{j@rkq{N#<03$bN=bv`gfI9ZX%~R zIJ7=TrH4BepJq;O???%}h)e(agU0liO1n6<_1Y~E#7R@BcxzI&tKa4Zam7Tar3s2v zPi24OwDEF6EAfpiW6bRh}Oe#9KRm)MDlaw zu~&fnWAP65D&}E;9E*yd(>XSQ?djISv&58BCh=Bt5MnMAlDZ{L9^tGa}r+v;jBJMT1@}t`h$qc-nW^r$X^Pw+3tD~zc zyBTu=fW?5)yV5;^!ntSGW!a$gYhTOJq5Usxno5>cX%5Qd(w(u6m>IJWAf%w*p0Omu z?EG|;1b7=fQBr*=QM&eEhHVc^b3Vfl_5#pznEy$S!k~x3&7YR2)+ z{rXhm3>`kR+tB`1!DfKidO*Szuin>9PPgaB6!C<3GU^}KS+px=LQiyCo6IW5K|J+x zsQiV!-{>277Dy`z6#vO_FEu-$u}Hu+!sTa0&FGDVTH|ruTz%ca&tlkdEvQF2l96(6 zzGMexf;#EY@wk|T=8VKg;wE`lLrOSqs5$AcSCxxAxcFS_#~_?c3UNp_fANmh`OY^L3w%phZ9sepMNmd zCti_wRySkCfdCURl7%(Y-~xiSo3dq+`9Y(qX|oS@9lB zQVZ*5YMim@dD8wBG8uZ}UQ!s)^W{nd+I3Q4Kxw;?^t92^-<#^LEa`ZKpcq4`MG_PV zO~|^}42R?BPv)-crU{c#4XJjgO(s|4+Gs>8YszTogT>Wl8 zzPm*;wu!a-S`aF&7tw;+u&7z~M^fA8>JfgQ{e@FdhY4L|Q(T|*q=S#Gz)K(d;;yy+b6;UrB{sd$D`=(Yg?u#0b3 zF#KcYHYv_RRcX9YUzF{@tz)jkxpFE;QLL>rAV!LfxV>n`TKRz>m~wO#XZ&M@nH@;E zjK0}{qtSfEuy48h{#eQG9&K3gU|uK0d#mc8(AI{BHYYbB$}SHj9!rC8bcpg&s2pG3 zggc&I)w;YVblERMcs4+S(QPaMmykad3h-V+}f|>Q>sQYu*GI4EsI&qvDqUR23K@TVK_oIXkphCQ-x^+I?2*mvHf9y}D^Q^X9;BsdTd{3pw8;qGe^KEW|AmX@ z74NCq>>7QtaT^D|&Gj%fCU}YGM?n$$0DzTkhLZi#OB&myXD6OUZH_chPz)22dx_FX=vFI9nsRh;iuKuMUkKOd~NU=ag)7JY6@VoT;ede8CQcK z`?W12R@G#Jy-@?qLL|>Q`@fyP6P;RM32i#Hjp%2bzsz|*)}*e)!}C7IBC2B~^5NEt zWx%&Bh1ul~vAq3B2YU*gS4N_?(qcLrntoUK3)X}e$|>GGGJ{(9c%nl&3i%6zNjP(w z%TxSgo_W-r9Z`N1|g*h0$?<1-;Ln z@z|`}5j=o4AU_S;Xtvq3k>3!)r}u3d80%YniC+?K!&5hDA0hc)EI*J&CSvbNN;9ja zK%eM(HyLB4X`D^IU1UxeC$p#U8byAO?uMbqPz|8HH+!eHBIV{FlybZ~GzqT3q~}B? zL1zRte9iP4pCvHaC$UXe~QArL=_ z?LM1OI;20~@bPwr{KB$hqizXgk#KNh%zwoKb&mpQ%mV@%34er*GJ+%FASar`0%R~&CMq}456VsbvmgYmkBNEc zIj!x)MI)LbQBHAYW=}8zS=QTom#4R#0AkPRG5ssdUh69A(69l`$PzyG(<`uKci``XmFGY-CWC8=`}2tm|eStbA!Dt90Sm zi$f>7POYcj#Z#LMd6gE^jT#Y7F>gbT*_lHBu}h!l!7mhNg?9{!C3Ju68)Yp1xPhan zna}4FTY3tuAmMRdk#pupHZdgiY7QsQU2ux;-gd-U0$Fk9maG_=Q_W7@T14#}=5<}H zt0dI<2qFn98})Qig|Su_-{dGyRLgqskh|Bo_{^PM8qxN#c+^CjIxj+j$Hx4-q8`!1 z3=w@mEg`@WK)+r3b-o}@#P$nYxdc23(nRzR5O?uQS?aSEev|L=uN?XVKM|5gkizil z%e;2omNoYTxDc%n1OOvHEG;l(E=-}{-x8t0`eN~v;R08$ zcja(dF}#;x?Nz&19X#1UguvEbHTf%_D-x}>|55_6+)jo*n&%R$Ym^=~Q$c#;YpTeg zUr22wTT*J1(|ppsE8LwtX?nfrPx&d{uzJNK+0}2`vJGdZAO(6jrWEczdDkUm7^th-3>v0VCl9A)2wHWJG34shn?GnLla-yB6;flAf++@oONC zviU@smB8M_&tfk*)kg4)?O7~+unXD?N+@Wg;;H4(cb>?ovz@luPOP_4f0boF3vGH0 z=8>t|tAliZ3|cCo>bhdHefOtW@)Y&J0Gc^ax*{Ywk^0@$<6YxnHywuHx)gC0(k3#8*BCBxifNP`hlzSou%KsM4DA#wd`4k}K-G6|LR83PQ|(1sy>#Ro7J+ zqS|lw!fHo5A=Zgnv?EjqDWGSsAb8yfA8dXP&Y3fBvR63`Mdxn}n9#l0D7zY(pvBsK z#Bnf0gH`d#Fsgtx0%rPLD}-9|x&5$PgtpOpGERZLE5Cs#-nDBHm-7ku{<{bU>*h#) zJ7GOFZk#3osZoy5;tr*#h9SzA+SB2q8hef>Wi9$-57%J1G)%#5{b~oPEIYRdKFS!Z z#PE+RF1}c$>BN0$1uiI+BvL4;5sp6~oNjESBG~>27lVQ<;Tdei3imd=d_^tsU%fn8 z%l1e}^zXkhU$y2#+cx6!(|r|W)b68l(|HZ2P<8F9V+Cm{iX7r zKoqsa&^27W3L_BcFz-`_?0KKc4`9b8WzyiQvEInK8y>=(hG3nw?sR_eQm#v>u9N@t zFBgH}thLJit7Scti+Zid&6i?o6=VK`W2WltOoHucW=ncFhRdmhZymUedxBO(_A88- zuue0bw;GTiE&Y08J6~SpT%<hqwe(f zONsqe87d4i%K3qAwMLzafcT_dlLOgiS`-Q9q9^D=r{AyVO*-YDEVW#0DM$MVQ7BrLWW^u<@i)0WUp{hI|v@pn<2;aH=trvr#E4j$Im7|gvbL6)7rkcMe3g38Aze1`cx1*65Phi>HZ9|g?Qq=0&4WtIM7rSgh zU#Y*c({-~@J<$tmS2-Ut0(m7bVR&aY?jsq+Z5k{`%_ zOkidhNh7@P!7uzySJOhR4!;y)82*rTRf0?API@kO0mE`Ec1?vRj*Nx>F!E+*TO#8x zPK<2=)!}e*(Uxx@CRD-8}0eFgPBPfDTmlts&caW)2R4lU*9xK(l^|aWN&0)js7wx z@PYupiutr(9TZ|*@)LiI)ak23tH~=F0$#>2kMygI*$K_A5JTBT6>uzv7E^iTX?JBo zJu}ay)4`tTI6RMDRLP%&snCcIjZ^nP5lm@ZwoMtLo;ihS$whPbO6*66rGuIQ{bIr0 zQ;^fKd>cXf_k*Sej!0I6o7T^QRKQ;s>v(5%ISkFA&wrsxS#5QuT1LF3%{G$<1bgrUP=k}gw0L<5} z-ew~`i_=#^!QaGpGi<3L{)17;enHsn-WU8#2;c-mw!IsSpB_j^p6s?Vwtvb=LRY>o z>Tgq6Wj_IJbvZaevV9@DX*&Gc=oFAbt8zAkbj+}7f3Xz1pAkb&3s*mCL#Dd^LcNqB z3F>t`A|Bu(>6H9j@aN1ap_nL}QP-!FS<)hu7VJ`PKomBgKH zknd_awt3-XQ~bNYG1N{PU@zUfzZjHt0n~8Y9H^Pt=T4}yUc-qPq0lyq{xth}ntP!{CxN%sxk*AKQo9-N zH@j67{Ow$eSrE^#=*%pM2tazDk$J*B#hu zTMIlFS(~-*W|AOq(rQgWT`l-0O{B3%M`nZ8x5F*NrAD_fpvbF_-4Si8} zv{lvHbCGJpyH>;oo1V}jx{8*Inn@J(%Ne808Kq}Z;4nHamyAITaKz*um`_~3F@~%2;OXggG=T_MRPKj+eP`w!yUf%2pJ`@Re-20|T^YEHT31mzd zpt|?B=nO$C$bSH>y(|2OwBz5QJhv1G`wtlo0P)x?CHK{5Rj*yqYD#Op>O-Brs>S2@vQ#iHbo0wlAVJA`l7X zMPO>+k8=BadWr&n>D!z0Eh|e9vvTRBpVnxk>kc z0JRQZc34^v?6^v=A%MS2gP!gU%Wn`98P@||%-JLxQba}75NegsPJ+RrBf9DLsx{Nr(rJ!&m&(Uuqav`q{eT@JUmtc3`sm&u&S(KO z_8wwT09gFOLX!(ezJA4t*IvKqlgds)>+tE|FfCLzdv^ZNuK;)#s|ufcm`D5>(Y8%9 z@Sx`Vt0)hyI|v#0iC#?jtHebrG@9XS*{O0;wO;U%QcxUzYEv?sfRNR1}^s1(4;5){@?*f8~ zuU4~8Qye}({W!q=POrAG*#;F}pn^wlpfWd?UQWtpyr_paJeWND&b>JiFrL1P?p%BW z$BCYD73lqhXjZRm%?oei#&G(=*QuZiPst_>YjqB7nb6TG{X!hyaILs5WZyphg<3o? z02fba5Ys&@!EYDY>b&8xJlsw*$hTlbF~+zA4Tsj9_ZR^a4lhZvq{7;3+k+DhR`Ndc zuml}cIp#iVT(Yqk8GKXsWUW5~bxe~Lf30~KMJ>4M0VWcd0;+lUu9G$6uV)(?;v;}v z!@9g=jhCjir7g`9G?CL^o7#MLc_uyK_Ijr06P)R1i20>~S4_~DQbL^`G=^HITxFt# z=$wL!(Syo?joS6fk7IxQb=_iMp~BfQ!u^=Z54~z0HdOfBR3|puIkDKAD{^m}*s6!3 z$fdl_P`;TvSCNR3DTNfwUjepd9-O})#G0gAYFf`tcv=Q4nj?dz^rmtSxIY|G1+Ly{ z6fkeVNZU$!=B1&qu7o9-4H9;sIwzq!1JZ+T)dbSFD)-k>JD*-eyz_!te{Y)u@NX>e z9d`z^Wx^ubLSzMiLmhqxU0fo-?)mn|4Fm_H;#(* zB1m$T|7O!BwcbvT=zm^7xUYX@EpnI02DCpLPVtE-9AhGy z`JD^JBE?L-Ke;-kn~Tv*;otacG~@r*frfLlIZ5dc@j3e8X_7et(KM|2jdWi03%XQ9 z#^k>*Y1~bX`G#VaXeUn~S1~6;+4F;biL&a7+_okr;f>{Q%Z;8`Hhr{_Boy#PRvw3AyNanK2e_nz3^rC3hIqX-~ zQWwX=zgEO$;dMQzZGAy(JhAQ8zUq%D4~lm~I;yb~oNI}S8&eI@(mlt{iZiW!w+jcH zwkAG-d@VaUedSN_WUv0#pi@O%@`QXK;)%qGf*8ZXNs0ChJz`rNf(wFo3#Fvl$&z=h z+0qvr8>K&dmsD!RBq!etQNQJh1@T|Pz1=n)kHqNGq|x1@~I?Mm=(Jnny-o$ zL>not!dih1CChtSzwj>ql_V*SXoQ{^LsZv#@!iI}Zmm)H=o-8t<7wAoa-71-{1&8; zU8uO#KdLz=XS@W3#Vpok&7ZN+>T&jM5Fh-J4(rv?(-)~*xx{z_Mul4Nu|p!#zTO<- z#=kM`UDa#68H9u5jfQuY5Dv_W%|u+%V_Hj+7W->eQq$>VamXzT2`CjP1;PgR{$14f z$uP=f*#>Uh1^laaHu`7Oj(Zt}3R62sq<0ZApk<{gLz>h#3RQ6F1;2`V!_%I1XohQU z{?|-o*XASa+%l&Zba|u$BRsuT1V$Rpk*MT>*z=b%YL9FM^EtCQ=cIdH@+_EnE|1v! z{-;J2R>GVScd(qf^E`Dcbgg~;)8((=iH$bv1-Qx<8H1#L-hJ!EUr^ECxto@coW*$0{3rcJ(8?aFt0iq&OIn-e`8#1dHcQpC&C{0$ zvPk*EBVu#^C?pMxko3lUm-fOjl;u2}yn+)iG*3e)_Xjnlhb|>)XTcpd zZOS-fYtA%v-oz){P(SmJLZot1qabKmNJ;vQHdy}p9dNYqS;zlk51)Y#69O$=+w?hS z`ti_VH|7zcdPmluW<2mnzU8_Dt;s+ss$94L>Oaq|2_SYut>`cQM0}QLj4K^4eBNq# zn!hdE=W4pojeKiE*foBudYp+aS`|M!%Im_(AJh%-YniV2TlH|$pq2m6 z<9X{Ez<+ZmKOO=6 zPlPL;+v^UuGhG;59j;j6c`kaQfv|)R)l^Zr?`)ge{Cm4cV-=uBnf@5ER>={ z9`+hb-vK<*xdygR1TRtAYaDGu_Ux7&cByL+H2l9bThD;n6h=9_vm_J*L!ZT#r5WC> z^lKJqWD1QfL*i&`2yRHIpnSsH`pb1&+>COEPt&uce&eT`PLe%Awj zC@ZlJ%b4B}$y0`l%;n9W9Y?%FQ>d>;*zBSH;5hfjbH1SqWJn)yQLGd=)Ek9d& zrMLq6thgk3#;DBY*U=*y8AfO9xo^jWq}S6*j+lnQeW~UD>R_6gbK4mxMZJ914Vpzf z^$*&n_3Pe}(1tU3sd}s#DQx7=4#dhu)KdI#Mi>+3yR*ZOY|PjZl89EaUIn zGKF}v>(#=$^Vd6dm&4@Hwyr|QT9zkb@3J~zYBx3rV~vrW)rJ@u>5?S8K_Ce<2A+&7 z=L{)3>3cP3M!#)=>QkM$C2mSy^ChZZA$8sG#3CisnCx`kPx~j-36%_6;5OI`<_Duw zx9vyk){mD!ySL80T>Z~9#|zHbJB4+)Nam*u*u9XK|?Y|%wX`9qxU&Zueu1cXBbJZ}`l zACHk#Rmz0e7p2aue@P8eJ5yrf#lmcIBL}ycB zt`M+d`{_{?FGf<#?86(Gsj!&d&`|>?Ej5;Qm>XHuQ?5eU7NwISq%?Xa{=XNw#?ga0 z)hb9PKkdx49~T`$9$sZdj~CFBE7V!-L4|E;_2lS9OiLua5#)!7N@!6TXP0O^?TsTr8>Kk=Er zdFh%x%skeA;AIXn`3@puW#3KbI(~_r?*C)$w?*;A>PsUzkNv)_%X&A?gNn!D!>w1t z%Wo_HohHVK)n0n_ex&a{1ZPv29jgW+@^QFvee`KqngKFXoz4pp4(DFMN0&VDJy&_7 z-;i5C>P$uP;5gQf7=y*hGj!mlx8U~K{L-Udy75aZSTW%Fc~t!#Ij_N`wyu2L{U@B9 z;6?>V`-MRm(nB2>qJM=dDJHPR;TTY(|1~W4YsHtYQNz7_n!Y+lTD?8&b0y1L>_)^f5`GO-J+vm2qTUmPRarqG>)XhFtGBZCktQmg;Y@??L znZ;b*Cp}^VrHQnp*l=3k{-#C!-C;p~u>+S6heO(}B6B zFIv?E7Ci(#14Xf`-tjY!fQ0;9=JPXAuWzQ@sSyTJA$q1+svcfJc#@shY{ z03I`O6O@R@;cAvEa?}W-U4wXi9kHvx8P_^B6x`KM8>nlbH(_89$Li?I^CM?N44UFM z3M&gydSMblHJae z_*V!O+1B=Jbsh=L;NhB_#`9NH{TxUQ030Oj3VTfKNl0NLQzL`A;EIM}=TI^4p0Cvm zJW$o1tt`MXsf#V^Gm#`bD0wgFGyz=%?>q+kUwTd2a9)s!$fqVuO#;e%*YS>chCuYk zACL@ft+e_bnb@rzh2c_UCJN+IvDZn&t4bP?7c^p*=zO9Q!-`c*W-_p@&Eoq$Z8BT! zS*_w=4OAM>$NXTZdxgtLTU746lXM3+ma5E1FAP9fR&aUk%MR?s69GpGDpHMSlySvl z;m-0n+ds0HnO32{wvmoFnf*%wrVYMK#jqcTv54bYCMM`PA4xwr{8aSq;UkO5iiPm96`&4${j{iIgdC$3Fr@RINI?X($@i@&La15;FYD?6q-oy$gzL z-9Nu<&SOrh*tB$>Nt!6mZwyheYYf{&Z>tMi)7>~+k{29Ot^D@%h8nJX!;Rm2zTWkv zqd{S_GUl@4kSN7gFYj>^{*2yV){doB)0VV*a%-@KmaUq0dto=uVt*kzc?}}p21sZ3 zM2}VIcbDbf#8RXJr6d~uX!D}_pG}E)a+a0DThyO7_HXz~(9H0FiBHADZ7F)ZKF2R= zYHQtoN|g*&zXT99(Hz=vCGq#xWFHU~24fd^FrtLmM4_Bg^!|a>2(Szhy98ne5U#eu zr)aj7FwBodV?7G1Tkcl}!~RTu9{|Sb+{XCq#e6>aF*IP}7Cr}B@=+n8qsl1fpELEE zw`cjZjRwAhu7BSIW#_U$H_(!+01MvO@=(RIlfi^?yi#4Knv_X0GNUR!8k8^#$v^Ot zsgXd<3VsNyulx|BGH=sjx9j!C7Ly=d3qVuEmWa6z#))<Bi$C@8SYN?RwWp4jbRH~xoyy=fKj=pRuE;9-+&M8Y4jR??A3 z5f}7Mlyf&*AydzA?Cfz?BNiM9#ITk~8uI4U?B5el4R4x0zk*W0^CfCc#h;`h)<_^0 zuV6!&;}F`P&=}PZ3~`%BG8)-fQ=?<;rI$;C8saC@xmWvLnK9M}d&}fp>wc-q6QWWQ z)8gTD(7PiE&$$U2tw1e%sWvnIL1v6mknR4Xa2rw&^l3UWM;vJFh3b)V$AC8Hk9iq3%1X#J@Mqln0w?>mvR@ z@^UQq)@Z$h=IXH*EU2Nn<6lE_!S#jAQYx?fEhtXBK~1u>=bZkN?&d2;y)x~ zW9WGHLXoTqNK-N>v)6aA;U>lXe63@HW($K=bKIJ^!x+|18slWkfLn$Y?p1E#1{U&rI=db*$2erPmJc<9cM@IGx1zgK zVWn$Yv3I6g{i2T5Xn(KaeJ@+j!wibgK$v7mdO`q0YC=jZX|bbq=K`SFZ-4u9_J@%j zg;-2*M{G&~e3?MW;b*3}UKax>m~O_CZzV$?3}3FkmwkLk85ObkpwwO6cGoYfJ9)f6 zpl+F^${wwqmw#OhZx>A}*NBmQRowGsKW$wM21>A_MlEGh_v>qc{Anj@7RRnBOAX0K z?D>$P?{0R^LqrLZ+yCwL^YNEBZ)SfrH?3n|vUg5Pl`#0g??vEcytgl=A{L4i?G<BFeXY6~i=q^tmM_iR(R@T4XK95(fWwI09)0F#nY{8u;qmjWt>0lFf)S+gg>0eSZ zb(&N(FR6!aWZkU7Bw!L?^i@#T4D+g@nYY@v&M^_OThkb?>9 zzt<2ks~(-t%jRD{Yh^E|1l>tC!#aOm>$vutJ`=}ZI_w`DB;t)-H{MYi>zC~hi(%ec z4qO8>F3Wa5km-#3CX}ab^8Gc2N6Mt!2`@=k2Ie37HCF=KA;j z61l9`Jqmtu-bH+xFFZK{+9@K_#RTdRiKz`xr_e?i5p>`3W3ijy`cygm%u`r?HW)JuKf4>zY&tN_igt^%tys*4+*T793$U` zl0Pq+AK>tJ>M;SHZVlF|Z+3b}=J1@w;oZqGWyaoEy@0(}^mdwBjhbrmqGMJMcP*|F zl-zRKwyb0GcA?)FiM&t~iBR$}HP;&F{cfzj1%R>ui!YvH)p0!a&`!!LpICe`PLasN zPec?s+NwXZRkayn92Q4b80`6C&a4VZUI+*zdf(^935#}12MP2C{swn&jsoL|e&Z9p zKXB{?yVZWQ{T$i2c?E%1?J!D0_uQ}9Dq&|0YA^66J_x?CaXO^iq-_TAKb_~Kz zcH4YSNyK9icw|LxrVi0=XXLERa7Ys3=gKwZyaALQgvTVvL=eiT{UoMduV5sZL?XyAlL!PGT5F){H{~XpN%~$4Clu-sV!VBSWn_ znGuwpUgDO&khokxS@VU^s2pc=4q&FruX~fF@&;@X#Wx#p?{)sSFu=NN%X%$$^1!Ek zMv7F(hgmL`wq;t*3e1~P!8&xJ0%<7c}Nv}Ee|FVOOf~+w=a`qJ2Fuuq>VvW z`;@}iP0AJmLp+orhd0{?PNrTy9gOJh&l$Wk1m8g8&wt0s6QxL3Y@42ylFm-rlO6=qmT1Gv-T1gkBf81pQQDK}dNeN7VcSfS zKv(x3cDYk>I$IOE*ND30zF{cePst({hB)ZZ7aNBTq$aAW;qyTMDKZ-YSJkn)Oenk7 zW`flGSWxfdJ>rmfuDaal;DxZ77=76|(SF|9*)gN-SU455n;3;dix%?xGz>&9Q`*#; zjb*S#@z&C6$u!IKib33M4AhV zOr_rUbeDuJO)TRtC3>h_b$dUmIclB%R0Rk({b5;Z1O78hBnTtbLgyw4)rPG`s1BLA zf`j0j8ha}DPcnZ+7H@MBramje(?s83q&&5zZDvnm(M`Z=Ga@tHLXUox!Ca{fBFc?s z`!%h+yjvy^pWD}Q#?fejH>C%X+)lKTD zE(H0^&~O&5s`mM$sz48zZD~_?$kMuPtGYE<&CB1#1!#eCQ6^yit4ZnmS}+dftxT{& zQlwL5w6$bLuwLnQTWX3@c}}H9{nvmUnxIgFgQK-X2VWQQZAtfv(E|K2IM_E-}o}Bp^&EUS5W#C`m z28;p|-ll@Q`O;gCcrEBmH(?xit2C(cc@L{1n|C?Uc5BanLhz32GPS}q-QdynC6)x} zlEiH<)^dD=0%zo0QU-gQm&GisLGx7tJvvQqZY0R&j_WwtC1sk<^#6l%h=!%p(5NM6)ly-54*}DPJA=LdlT+%C>loj2$Usav0bi`l#@T(q*~LI zp36kn`YKtJpyKi?|7dAO827`BHS++5Xo?o9{?W$P_AD0M_pIdOFg}57rRQXec87&z zGy7SmjeZS=xN%0SVVsRcUWko*Ya`9>wYQcw4+cgNu1#qLn29fyEwlBrZ_KtlYr1oC zUTcJnNAn@{87t_y(4}d2E1^F5~jFtMBodwAfB*HBeU?&SS@Qp$pECG={BsH~Ov*tyHX z5=M^0Y~N{V2|Dm0Ckmk^9A}yQPF==b5YJS_a9TRvS@u8CMeXMkuwOrq(5xJu!+tsK zB*=Fpq{7%<`3zlm-=|<{{QEcAA_ppo`z1=HuA_#Yq*dn^wF8<+@XsDW1w2t2x-%sb zL3@<}uBaNmEv|`mnT&kelcy(W6g}1>D5+4-Y9PyMZN$O>^(`h?S5vM(UEDItq#LNEq0VG4r?J%j7jAJfun>AxC%C+|xX!O4O!;G4k!*>g%5P0oY2RW?&?cpE2HL&$^KYx_5S@HN5?631p zF#a6?^06)_4G&-{K#O5a1z-!VWGq(1HG9+A0l`0HwCW3 z1*@-f7%B8qM>tB^t~Xlxtvgm65a|;}R#I-@eX1D~|D>$w9f@~LBl~D7f(!(PtA#8B$$k5mtLxdeD_WzT#n*mV+(p6!{&>vFrxI_oeHH20n36KSO^?Z+o!3YI=t{)-)qADT+r zXWkPUFq>wPRyU>bBZ)3@Dc*vXje&Pt2IBYaskf+HT6H7rKjqvxXQ4Yu@p%nxyogfO zh`I8)zs&c&vL*fmU6fc-sP~d*7@|L@dC(T^%bhoP4|F=-6w(TgLj!NMv(T9V_<5DS z7&Q3z#1?w&`CuhrB5UB;k8^_}-B4!i^Db*P#?vyQy^1WU1R6ReoFL1TaYJ6YU#dsl z7vo>cfq+H@TGTDr-Xk|>!}z;|OWaf0-texs<~_QGzYw$gvxLORpXD^ z4ICVQn`?NljPK+ZtXHCq5J%%aR3=80 z30+C>2c0F0QD)Mvk0VMoGDL-X^+xu6yiPPs6kQ~6?k=UBBuV4U7!vO%{trFKw3dMd z=B0L_njOrU^#2C+Qz4dgQNHJ6aZ;LB%_LZ~p-G^;JD9bfF)hqrU|d=?O!BQQwd+W< zJ@L=pYASlVe4&=wr$w~lG7Bw1K=$;B>Ps3~C6zj*lW0YL5DD2tps2QH8U_DAw$z+? zc2`m#$F%^03w#{@01>(|@7U2CYP=SAe~9Ku^OL&^J>sC9zQqaR!0KV5gKX{Mw4(yg zx#^?+Z|EEiN>5WzZ#4}R<&(zY2NYP}O+`fi2&fi#2zjoxb9RUp?&>JpLsHTd0Rcf` zGYxkm1=tjne`{$m#_PjpUqeC{$cDX&!n)#pb4Da@6yO$vO+sB$!Fmik_eH##wsuWD zUjH~LK;98xudt|;BsKl2KWJ>>ltQ-V#M&JPHjX;M-XLIdj@1zq6)$Ip->)uhOQW81 zT7ppLOJ<#as01Jy*F(p9{baS_mlM~Gy~4=27^GUo+~EO1!qIV?h)u4Hn-EKK&Fle- z4@}iZOu*=O-^VGcPo)j>LWkJZpDeWogPlipWYj|t^o4VEJk1gQciCdITw6+?%w%@dSuKNrVj&;%hIVt2oM5KhQ+`2-u|IH$Z%+f-Nck96pg;@l< z3*DxfJezV2TpE_fjb7pdgb~B2N%LB4Z2mLIMx#}RPX36sL?pPVj{hu?X)Su5JIfgv z<0EB;YdnrTR&)0^8amp1YoK6n{wF4(o$})*m~SK>{q>FWdMl4rtB=OefpM>5d#ykq zgGdnbjca-HmX{XVECO)6=jB#kHy`cnzj`H-ig{LW%#n zZ{syJ^>KVSUe?nB&px>_Wd8Brg_ygF8ICs$MIFl5fJ$Yam>WA}dVJ^VGK?k3d&nE_ z9z}yMfWK!t(*VuRfeVJ!1qBKDOw$Q??RfizV|Zu|s}8#pqYnupTIva!d?~Nx?*F~( zu^`60152KhWJ_Fuc5DyjpPS{vV&AyL;Pfg5*Dz!9B zX>@_Mhgt%6ELbX9^66n21ba+ZR~P*H8`<^u)loq!O$={QMu^z3o5QRNObAS;@5ArTi(L9e5fDkInQ7M8lUr#J zfxg;AMDRyzU#K>ywj27(V4^^u4C3o{`=|Tkr?zv}0j9cpl-I|s3*?T-%gU^r7Ity( z2l{_I%3;&C$_@T=l3V_li2tRXnX8ehk*g7-wTpv2;sgs^urLbbT<51wY6h&+GF~xK z@lO$Wy<_OKG1-nl%O4Npn*J6|c`CTpz7S;i`TdA@-52Lz*@oirA@K$?pRs^S@Y5E; z`)|pnRc9{N&L_ep#|xKyn;7<6Y(4+~&BO$_O+QQr0-_cO0)p@#6B7q}S2KIp{~>bi ztDB@Z+gQA_=NGcl|R(F1Tna|^7!tJdmg)Z&;>4#8@ z2D-(43ZjxYNqj>48?e3^!h0N@lt%&Hd%D|)|#Hbpo3tqKJv}i z!^XSIpPz%V32U#~uDNeb-;V2yV1HJ@nP~G{2O=(BfPs_luDL9LTUKV91u1 ziiBQ|8-G5(zAUQf{!d+B8B|BpZo4<`?z(Y@;O+znE*p2(00DvrcXtWyuE8CGySuvw zcR4xd+;hM4y>)L-bxrlutnR7mAHDkNXU(G8r%dJM{ZyH05jQv#dB|BGFY91@a!fj3 zS2r#AzBY|8_0+Tt3K^2{`*wL5VAYUI~+Fing|-S)f5i zs67yuZ*!Xd?YlugmydhB!ZGTGXML4@)g1D3P34bbqt>&-qywq8E|*j=l<=fY$fBjo z$G+#g=Y?m%I-#)V1^?ImOQYx9qj#c5Z1a$`>dKD*1B*7{_0toU=&Fjv>v8?&+NV*w zE)A~T?Tf|B9_stpq@RlmyVP75*+MREW({@Y;-@x~!mcHrTH2o84Sjb8Gn!5me-v9@ z*zp@Y^&+IyQFe17C+D)~???@8iiOrRpM*KEbEEAPKAi1?WB23S+)e`Y)uWwWo6~pR z(<`yAhjVMx7u9nM_OL(g%oebgr4l5JSMZ+ZE-2J0)fu5nqRY(&D>6Eh4||W}Q4IbL zShSOm$Xt^h;RoDXwoijREl#6)!j zg>18a!dXd2oB~NV3}}^v==2O6=~HQ4tv9JMw2$=o6C%RbHK)B z4IRn_;llnEk=$h3Z+Ne=ij2!_^xf-^qLa_Shn9GE255%w@+LRHro4Q~pyYD*>FF+- zW-P+dI)amXr_G#}tx}DSoX1?$G*x}ccGKBdj56Y!3BqUmE32Q&^GWssm-^9NXx3v* z<*PsF?Qd{7<9eDS#TI%n{__{ThNi~L5T#+@jdmZkJQ6UY9wrFhaa)B}=-Im69WH&X z)%~mUpZ?19CRbs%n{><(yTt4Y|DRtm68e7M+1JX&$=AVSv4UB)j~i;3`r%r62fqz! zY?A7^o86wIoeQsTbiQrepDzw*=zHKrb$mSDuX0P#ymPdAyPuY)cm~s2?+=^dv?nf& zgS0;7eL~YG6e$O*n5WeiA3sQ()di{ZT5MHzFRkg|aD1*Yl!Z)VUTy>4ok=ZqzQ5lG zB_#B(lOiw4H5zl&S6E#$_=&1vjKW{aw_>D6qT+r1q@X70j>wYj?3*A%#u}(Htb$V; zY}zp!%yV$7Br*9wB6SNZ;wT+ zf$m_WtFOvPs!CL;j)AQNnp_p9{S643$0{3U@z_`o?i0lZ4fjd)|NfTgp3ZwRDw7+D`s#gb505cx{sTr zn(XhKzLJgpMB0@o;UJqD`eCH|WDOaE!fFeeoIc*X=)5!fXm%;$(b($4tknq1L=t1~ z$G%56F_y@y0bVLyK%WM2gd%QB@m4S-7P^==Q~%YFqX@NH=gAJo zjz(v-&=xktV)d?yFMwO*h{}2s;XWM(O8Y;OrS8=@U1nR4L=O7AOzz5N-=)c-O2T{$ z%J{V{uxf=uF?ZpF`4%SviBd6#X=tSEeL7f@GN58n%GY@EJTDosyvj5Lim<>D_vtSl zWMXpAxm=-u%6byuOfQU%GP117#(rTv#_A&MdstI==vN_kb>xS{Q8-4rrDQId)B@mRX>-jCG%s~B zBRdsUhl9}3(l5!Jk=>ATfyw4UeDxH3GNsY4Uhz4!+A8#by)x+}r*U6ZW8PDN7rsRE zlHG|y@}boe!-4AsgSUIyX=!bBNk%Y0J(EJCP>ei{I@d4MV&l&oAU??AaMfW6E^ zc&Q`z+B*L=V^D;!QvDw#8FJ6)-4^80zSXyRT#ZrE{2 zVRbCB2!<$vCOnh`PKb24hUn~>ga4rcapt2X4;&f`64vv%Kl_yIZW{Mig&zRwkl@}9 zhi3ub1lAKW2f}}0Z#}$!V$~20qW&Nj_fMeU*W-t(7#43%B8i2(A4xbmP!J`ujolbZ zc66afh|mQb`9g;q0bkG79&aAUo!&q|1_x{rCJIyZT}V5dEFdj`g<((HOQC>qvE1$^ zalqD#rCyT!xU@MB5*!bX1Zh>xYz-y4MFRnS-v-DaYvXCp^@T?%k@^b@y6l$Xw!Ugf z{ZWqN<@h1jT0K0-FH;VjgZhQ2k3D#daxTG2Ys&!L$d|I-xsjYL&6%_nxxwpYk~H$7 zeZxM}b;RruA{*Xc`mx@2wC$Jc9vUNF2p!7@5ulbMMB)}(c z==-I=1@!oWz_{p8Qf)^Z)8o>IlX@#DgSv!2oHSnQ7_;)wd8G8x2UPqvw1WW435@-e zlpH(-@4KdXUz*Sn&&gaEnfY>tu1AJhk(nTxL(Y*_5jv(;joFQ>+vXkGov~lW7rNr= zy-2nO32q%~-?%|4qb zvo#`WIXeutDMVZmgGUAt5mhgtpdjoQAigD#D_@_6E`eQBL7pfVrXH5E3N1B$3pV+; zC>a_(@pk?}z3Jgb(p5`L@NP4N`8s7z2CUFju&E83KNJge!4l-baAD44LyFYkh3&dP z)5}HD@M1#K-7}f>wG#Tl^AijNrkW8X#o>5*8l30J1Ami{9)}s4B4l-*pDiaKjr#62Y3J<7@5K%xH z177+J{u~{j(YXqqlk?5)6+eqOLUu=^)9%^*e#&#ox{qqfN*@A;4gox;N;2#30UkGp zXf;dj-F+JIXnWnYr|14Jot7`Cq$~vZBCMa`f8QX)N#W)XnG+<8fME&B9d{5Vy?4?+ zuFfrd9s`Oy-})Z9KDMj~V|gO=@n8L@`v5Jf4&me1;UGi3OGFr-6I=$ubixQ2X9b65 zXsKZ?TS{B(Bj5^<%>rnQT~n66E?swtSZqP9?!>T+{u^uWSG`dj))>J?4r3v98(8I% zW>Vnow}l6jjn+3Ab!j|I4$>@&()ezE+md+hVGBopMd6#>V(;5CRal?3RfUuUsCZb- z-{v3)_8rrTClG-{u;Vwp^sMJUu-VVW?^nIpv^WJ6bPuQu)DsllSzC8W;z+}~6a7WP zJ{>=>9Bg1^HOUjF{x^6YB#Itx=7~FN;B=@NLBQ;bXgPR#v*P0G3A1~@O{!X97-27Q?H|$0r&}UR!bC^PcqSmh zPH8hMx|p3_*xdZ)wgY0p8GFj%!oXOd{J5TidSv;e-<3#zrW~$t(NXm?kL?Jy#Jhiv zGgI9Y*r@r-_hAI*Bm3s!&|pdEYIuzUx$s(KPm|O6G86qF-`3&OcV?cpq~e?Gm+jxO zPP6sMYhO-Bh^9aHIp%ryJsW1_`ZYQHoR7xtdigS>5dgq?HF&%JqxU1ttHv}5L-#p~o*vqLn>~hku<-zy;ale&Jn55ssbQfIZW zP#_{l4bBIEiC;88s{h(%VANLI(izX)wwZMn61-pv?^-GSmCawDZR$s%BT(8;E;$0I z(`0YI{^Q5tMqB=kMezf%&DxKvi-pWleo`+!@BR7n)j#)iff?I-=_Wze^YyN7zZ{j8 z4gyoA0+bG3Z+n{KOpay!-JKM0d@0n*$q9D0UOquhYWF7fOfS}q?fE>8nJ5a~y%l@E z&Nca5D=G?I?G}@G9)!dQe!Co0Rc0!u^nwxfclFzck(FXirbfJ?6BBXaZFqYOx=M1T z*0pusk)`dIh#0U?h+=*%(twlM%ks7%ub$R0h~DUA>s-%n1&U&*+aP_biDQG~bCz)q zwM|e1jL1(S*x3caX1m>QVJZsE-~5r2%xAQbz|MJb#-i-jO7iO}3oWtZ9dzA!oVZJ0 zZ4z4M^{z!^)oZNUjm9)aQrm2G|8{*N*v9JuI~t@GS=H72{bnKSTG!j^^_n#Y^qjXF z(SakMMU~Lf#l6h4scW{Ov>xF?pfrc~2+;$*Rht;C`1J7~X&VEefbv<%+ zRQ9+;cKF^`CsQ#*)*F5z;@0DtGD>}JrT}xH;W(^wYy4P)sZo3EU=h{i;~$ODtN^Jp$~3gbOgaba=-hAYwez!;{+SatjxsCpYJJ z?);`_3cM6rOdv68Z__Yq>;pm7h`NCe#Gb1c_3jhK^a*>)b2A`M?MS*sjSmLmE+~GA zj#ER_Q71!sG}H6@p4;iEt83@cV6xgFqhE^(*@ifcr(xdDZ(Arz93@|B@emFzjGBRb`)VUC zI23(oN%rec=NGjaxG2yA@s8pS;G_wxc+pGA3alX6FEp4!leIC^nYfbN_V-x1=1c?t z?_n^7iU}q=Na>(Fy6CD>G<@a#+GQKT^6)} zKhtdmk!X_@pPGX&6~T+tQh`6OUlb)2mC@UmmAGjs9LT2;hE5w2GcQ zJ2VkNtZ^wH?4y1-QnimHl}%=;JYxWx44hV%;6?y_uKX03IpdMn#b@jc5Sr0zdx@04UYb~IpJ!XDfF{R z&QVB;R)z3V8ZYDM!Q7etr1x+p?Bnw?QFvZneJg`X2?%J4j6|gHW%3}!7|ocVDogAg zg67@>}EhV<-d;Fr{0jNeT&ge*E$6A+=;2TXuTETWRdG7}3mkOj6@gDwTURwL>@WhM7a|vY&22qtdFJGUd!v||D*O2B{U>}wT zvyS}I>#IFAe$s~7D2{v>4oqTLBDicPA$-Hh$ut^Mhya>UPQjn*xEj3et_u}GUbEUUHCRe8>B5I-* z89VfvSOYnmlS3xC5vWKJ6VI_)AGr0uyUP%vpenks7_7ZN-p|1WG4z{3M3*C2)*8>o z&vd^jH2$O)xQcJyD`&w)+W&+* z^~cs>Y&vS0n|K_%s;pL!Lyjjl(jOUh#7z~ zq*=u4&&`W9TivfV#&AbT3JbnE+ZTRESOSq;yyf_skMrl#>yxa7Z)t!j>@7E0*gHOD zszm2Bvn2F2Ue_F3r*Q96Y|C*8Es+YTV&U}%4vdU$Lo%EpSsG#yIR+S5mQbcRdrkUG z9`D14-5cD$q>YDDwG|OqOrOet6-=(HB?E(aP}q$x31Aft(6$~+Gl`H@)Qm^p1p44cD@+@q^Pl|+y{E^K> zoG796p$!pkUIj?Z2(}{wZYRL&ATl`01 z|5THDqoh9zs!Tdsp zmCMO7|4qFe+7og>3Q9{xn%gc$p_7wSG&KDr1knj17hV*1Me!Nw+LpK*ADbCjeyi{% zAF(Tqpoc+(ax8TE4)+pJW{pD9gM+2;y?bmdyV*r{?P;%Y`nc&CU?{Oy=13pzOZVk# zNhB%?ZaPj`u++4y8ELJ=%%;YqTqlUz^*Uy?>(61jpN3gJ#@{`0)iH!W_kwuJu-fOE zp9B^iOs4mXCWBWG5^f1cTtqn16IS%W1&J(intd$0gaL=6fE$PMB1W9O$8o}r17*C- z%$i8~mLbkeMQ0jp=VbrXYA}FX?5q|Q<8mq#-lRl2Mjwc>Y^qzvh-UiL>zIPzy>Fgw1dz4Eer3AJvzHFi z&JHrE1o)RP0B#T2*g(UG7G-F=8K)vV#2g$G5O9#&3Jzjo2gWV3qBKIAt#@?D9}{XS z7&ZHdhmFEN%$)BP+lsvfJ0CfT!`q(*uNqL%DvNugn_yrfzRm>+kide&%CNVl;e>bN z9bAAIUhdN>TgZ`lyF|;J2$w-yh0Kw&=YddxutV45$&SyzUX-`T9&e!;OAJOR6&Mi= zweSW-eba8SpaY7( zld!taWJwehsQGbe3AaL!!LYCig@K6c{lJy6%4zvD44K%7mP@bZ*PbpSfu$Fg!l=Yr zK#5YJG4i^+b{G#10?$u~Oal~6)M`>J8^6(|?k6Q%)rXn8k(s`(c)KS4oSei;dMzw}!>IQj@S8jKg6K7#1ma6~)DyEhq-c zu<@9dah?6gU0lh(!IBP@BrYvC<3Tch`9q&imTWh0!NvfxbCpNCZHN~y@i0zck1zl1 zwDGR9ATz9FrFZx(Ooj#Zu-8Ka`qD_}ILx-0l0z@^fyBcE#oY^VDgwDDAKHu0Y5Q=a zc$G#djX)HuwFsKWUqm6#y2hidmutK%IU+WGaxap4l=mYgE1)|Dr@90eZhfkNl9Jp! zZ@2s4s6J=DMMwN^C^YioY&~O1O84gs00q5fuZkdk;;9D5iqOYi&XV-!m+ zhhUbpN|KnBh>G@l?M3X-1zxYU?b1dLj%iXz09e&4e2uLXTP|!3_~`MQu|pZbCH-2C zRoT^rN65+gVSe^48XC6*6B|j1uJs;Cx7UwGO!O0UnUhB+#u-hy+1J+rseI2L>(DVw z9Ib@`!?T(Ej-SCZO67U%`Jf(|AblAXdD}QoK~QYX>&K@9s!)>ps}k$ioPQs~p3&l;T8s%Tk>B^7ceh?++<=5-!qos_G|QCM?~Gp`Xi3HIEfJ{p{R+ zSNG$cBe@7?rHLZU8B@Zx(K5FT5`Bp4ahAO(ieMkd`o6b8U`!7edD6Pr$0cC>83Q~K zyyS1c%{$_)WKj2luho}-VG+}sEqLO6U-Gj2e;Y1a$`8M!)+b563wzGJo&6z#c*k@R zUM)$-;^2R(sAy~`=01&!vfuo$?#-v3B#JJbL5Qiqe&!my>yY@^+nsNSE)v+96+dkd ze4HI`zUnd;emhpFTsC(8vI5R8p+nd;!AL4oyrzNAlW)0hjE z8PJxZR9A)cWmY>AWeY0I;%Z%}2+mMP3HfQgY@#whJu*^anq8Iar{_e>%9g1tsoFn= zEfth|fop{tk*b%x5}c%G)`mNttv5k?iPAqDiE`> zD;c0*nd|+`rJW;_R(1-73H*bm<;L&CvMBhzbWv=tBKp3z&t)L4f?_yONDFdiJxCN>nQtJYi@OcU?0)x#t5_|6_?<)c8V) z_RK2}krEAFR+9IOLNOQ1T7?}e4#d>u?sS;2i|It1&D-$3t@?B}3$ypFL{*+x#>f4@(DBq*yUw``|9J2Nu00Q zRQo~!CuS7RlLW-lHh-mKxZ4U~OWy8-LIV2DY4JB?2)(0o2Wt_*k!SjYrIt`v z=37-=^eV>YRb5lePLQenH@c>K+`j`|x@`-x66mIwAXdeTgDO*gfy6O|^ zot}&cPIiH%^nJH3R$n-?S zuv8Z=cKvA|AxC^T6!GC9%p9Hp7bQc>xo&Iemv2ks%nN% zmwFV1E0-j3&Rw!@IDx+DUtzR4W-C?Rf+#v?NjWo*sm3-hK3(g#hd+DipN?08zv+)7 z{bF7i#5|zPBFc9HbsYqw4Kq1V>4LAs!`QkrH|#kgz}U1zXQ@z`JaUbULyjfahG0Dk zv9y!I=l0&ilD!cs<#Dw)#na23{}YXetPjDOcc3O@dRQ`wKREQ{cz(X2s?oMOgB~)7 zjGTk7aXL60lSwalUWqn;+kQuvd+9vo1KHah1G#7+1>KCQ;Wc$lw{}6Uq#jb?S81(>(D?0WLa`>Q6Mzh^hhEH(%Z+&Q|tTaF}?&vt@UrBJDORzd^AG< zk$j~G-z^q9ZUPrd^_$np)0UT&>0oGT;JvA7>E3|jFc59r<7BxZM`s3VdZU?(ugk|f z;(?BZPGGodN4rKsKFYLl0rAkWUiSM-+W9U#RYiW4* zmxtfmOX^@?bV3?CR+AXg`nV*_JcEC0$vlsf!S*_?>t<_>)7$S%!nfnHtGWe$L3ZSK z#o6-&$`VwmVRUJziu$o6AgW1DFbYj8_C9&T#+cqDq-L9p430iJzjf+WU{`u;tC5&> z)$|Yg&p|750%TNiCB$jhe9EdyT_C`H6+PNhL^5aAu{V*WPKD9{Mr{!2x3jCc=6!ZD8mY)19GkPH zvhNeKW#{~{w`9Q+vyx3oR&lkW)3BB`N`?A$3tf`V;=0r|q_4|~d=g0KvKW5+EW>u0 zj$)@vo1H6pZNDO$I|5CCc*$%2<$MpG3!>8~AGvAGlbfb9x5M}21}_Kcv#WeqsUM37 zN31U=oiXmX+~i$u$CRLurKlm5bD_D?>Jj|!#-po-C9v5Oq`Zs<(tm&*E(puNQ)XUloZwgl-F>w3H+dTFO7kOzZS0)_6;q?y z$Qazl1jNemgl8WG4bNMhA0c?he^sveL*E}9^vu*}+O33_N>^DQw~+*uZCQX;3GURT z=+lDt7Y;(hZV#Y5-TBLMdd)t8u!r2Q_O)Rya<@gJ(ruWaQd!F5m~kbn2NpRQ2TFQM zwlaz8>aR{|Tv)o;h2DFPe*XgF`fLvzEo#tg-a7(DD&xcJh{8Ca!?U)~kd+sQ`pm+e z7F*04`L$DM;kzA+Tpq|UmWom4$;iD3qeWUxkBPr)5HRz0&-zI#-w^huB$i}2voTH` z?-VkyGa1vAr)%ORBQ>nF{;<0xlkQ*tfr^8@CWKd-KM3crsDMK_K@{l z_~kmdxigU`fE6lB_tkEl*-3UsuDwIsUL?%yyuQs-a@g4mpR@+7koP~ zs9Y*{CAl?=i$1BXA&uf&QbCkElVXx{Kr=t7r;$r9%hGRM2#?o^v92VU*A^^m@BrJ~ zl`NbnSI*~amqY&BV^MEC*_pqaHI_ zZON&M3$e)MT#-k{!sd#zy#%!7$e2H|*POGl#Tnb3$@EA00`OR%~&Q%Em$PJWb$dqAkrb zyg;5r1$@d$|8R9sc&v3+F}?7w@ZoRU9$>|t5l(};@1k{8rJ;-=-isCZC`_jsgZmI! z}G&o(8($50j7QOFVR3r%3^tPBzQv@>e91vYp`gQO^0Kyy3dHL6nOUvUi4^cQ0 zl};aav9XmVMpfD(XA57UmGyiLEcvcji*So5gwEqH+N~V2=d*`ch>}pDJ0wQ95wb-o zuKHK~5sGc<+YHDd%F|OpUJho^-2gMll%dc#SJ&CGUuDABY*ZEeg$3+Hj}IlLa9n

^iXrV~Y~U%$|(y;<3K-(^KY++gQ3Es*tc?DllK^>Q$CI&fNC>B*ALV!)wq&-JjF z+vVAuv)*X<>68MN;~2~2Q{ndg0!=xV`;^0 zrqD=wAHjP<PCeeoG3S^MPA$! z3BlN-T@8j91l(LyMfL7iU2Z{vV@?>9fAAuF5C<9fhvas(HGpX0D-P&&Q%0AnXx&5R za?dvujxyZX>Xh>_GE+nhDIK!%11@K>S53XdbqDi;8CzOGKRZxV;$>= zvq!lh=JxL}26|M)SPkdvu#V~u)DQ!qKUXnO6-&ZC*Wo@F_u0dNHESR=nIg(_ML?)d zdoTdq3^gq!7U+3jWSj;Z{C>#iO zVw5SfU|OlJ+-$g*lbu%iXT!H{U&wUqW@UWKF5KtQcUbPNp@^$Zkw7N_M7&6Y-ZsS_ zP}qguK?kC)Aj7?OtQ%VgNXBCkVtn-bxa=MPh^AxH9zDy%OdOCIV zFKkI%xek>rY#MIdmzELu2?x(Z2upt56Me^7+-^a8I3tekt2PW;31Ki4Tzq<-ZkxZG zxFE9r!|alL&o4`ud3Vm?@$#nZd8)p)snwAn_aoZFXhFH{z5Qlh-vTqEI>i3tZcn8< zs4cVb{C>UTe#Y3->IGNaEX33zjU}m^cgOTsCv%NPn#wg$IRX-Wp$qL<(2tMZRseiD)-V3aJvT=yA~Qc#^7p+Gfh_lGNQiqR_CrzTrl&$I`Ac2Js)cLl_Pr|P$x&fx zx%YplakN12F@LQc0cwBif2nbd?5xbqoc>z`Q?4#EI`(B=ew=}BM2<Zw3zkB(o_~>7~c>XoH{5L7m zKcW9r3;hcUE&MMs@t-25e?1OQ>7#e{g>JR S05E?qOCSK?`u7C@;6DI8y&&=c literal 0 HcmV?d00001