From b04f8e35a44b421e8069523a619a9b08754fbdcd Mon Sep 17 00:00:00 2001 From: CyC2018 <1029579233@qq.com> Date: Wed, 30 May 2018 18:41:35 +0800 Subject: [PATCH] auto commit --- notes/HTTP.md | 2 +- notes/Java 虚拟机.md | 2 +- notes/Redis.md | 323 ++++++++++-------- notes/SQL.md | 39 +-- notes/数据库系统原理.md | 27 +- notes/正则表达式.md | 4 +- notes/计算机操作系统.md | 25 +- notes/计算机网络.md | 6 +- pics/9ea86eb5-000a-4281-b948-7b567bd6f1d8.png | Bin 0 -> 25600 bytes pics/ecf8ad5d-5403-48b9-b6e7-f2e20ffe8fca.png | Bin 0 -> 21504 bytes 10 files changed, 230 insertions(+), 198 deletions(-) create mode 100644 pics/9ea86eb5-000a-4281-b948-7b567bd6f1d8.png create mode 100644 pics/ecf8ad5d-5403-48b9-b6e7-f2e20ffe8fca.png diff --git a/notes/HTTP.md b/notes/HTTP.md index f87e5ff3..11045573 100644 --- a/notes/HTTP.md +++ b/notes/HTTP.md @@ -406,7 +406,7 @@ Session 可以存储在服务器上的文件、数据库或者内存中，现在 - 服务器返回的响应报文的 Set-Cookie 首部字段包含了这个 Session ID，客户端收到响应报文之后将该 Cookie 值存入浏览器中； - 客户端之后对同一个服务器进行请求时会包含该 Cookie 值，服务器收到之后提取出 Session ID，从 Redis 中取出用户信息，继续之后的业务操作。 -应该注意 Session ID 的安全性问题，不能让它被恶意攻击者轻易获取，那么就不能产生一个容易被才到的 Session ID 值。此外，还需要经常重新生成 Session ID。在对安全性要求极高的场景下，例如转账等操作，除了使用 Session 管理用户状态之外，还需要对用户进行重新验证，比如重新输入密码，或者使用短信验证码等方式。 +应该注意 Session ID 的安全性问题，不能让它被恶意攻击者轻易获取，那么就不能产生一个容易被猜到的 Session ID 值。此外，还需要经常重新生成 Session ID。在对安全性要求极高的场景下，例如转账等操作，除了使用 Session 管理用户状态之外，还需要对用户进行重新验证，比如重新输入密码，或者使用短信验证码等方式。 ### 8. 浏览器禁用 Cookie diff --git a/notes/Java 虚拟机.md b/notes/Java 虚拟机.md index c4266009..6f157ce8 100644 --- a/notes/Java 虚拟机.md +++ b/notes/Java 虚拟机.md @@ -270,7 +270,7 @@ finalize() 类似 C++ 的析构函数，用来做关闭外部资源等工作。

-将需要回收的对象进行标记，然后清理掉被标记的对象。 +将需要存活的对象进行标记，然后清理掉未被标记的对象。 不足： diff --git a/notes/Redis.md b/notes/Redis.md index 0256407d..b276275f 100644 --- a/notes/Redis.md +++ b/notes/Redis.md @@ -1,39 +1,42 @@ -* [一、Redis 是什么](#一redis-是什么) -* [二、五种基本类型](#二五种基本类型) - * [1. STRING](#1-string) - * [2. LIST](#2-list) - * [3. SET](#3-set) - * [4. HASH](#4-hash) - * [5. ZSET](#5-zset) -* [三、键的过期时间](#三键的过期时间) -* [四、发布与订阅](#四发布与订阅) -* [五、事务](#五事务) -* [六、持久化](#六持久化) - * [1. 快照持久化](#1-快照持久化) - * [2. AOF 持久化](#2-aof-持久化) -* [七、复制](#七复制) - * [从服务器连接主服务器的过程](#从服务器连接主服务器的过程) - * [主从链](#主从链) -* [八、处理故障](#八处理故障) -* [九、分片](#九分片) - * [1. 客户端分片](#1-客户端分片) - * [2. 代理分片](#2-代理分片) - * [3. 服务器分片](#3-服务器分片) -* [十、事件](#十事件) - * [事件类型](#事件类型) - * [事件的调度与执行](#事件的调度与执行) -* [十一、Redis 与 Memcached 的区别](#十一redis-与-memcached-的区别) +* [一、概述](#一概述) +* [二、数据类型](#二数据类型) + * [STRING](#string) + * [LIST](#list) + * [SET](#set) + * [HASH](#hash) + * [ZSET](#zset) +* [三、使用场景](#三使用场景) + * [缓存](#缓存) + * [计数器](#计数器) + * [应用限流](#应用限流) + * [消息队列](#消息队列) + * [查找表](#查找表) + * [交集运算](#交集运算) + * [排行榜](#排行榜) + * [分布式 Session](#分布式-session) + * [分布式锁](#分布式锁) +* [四、Redis 与 Memcached](#四redis-与-memcached) * [数据类型](#数据类型) * [数据持久化](#数据持久化) * [分布式](#分布式) * [内存管理机制](#内存管理机制) -* [十二、Redis 适用场景](#十二redis-适用场景) - * [缓存](#缓存) - * [消息队列](#消息队列) - * [计数器](#计数器) - * [好友关系](#好友关系) -* [十三、数据淘汰策略](#十三数据淘汰策略) +* [五、键的过期时间](#五键的过期时间) +* [六、数据淘汰策略](#六数据淘汰策略) +* [七、持久化](#七持久化) + * [快照持久化](#快照持久化) + * [AOF 持久化](#aof-持久化) +* [八、发布与订阅](#八发布与订阅) +* [九、事务](#九事务) +* [十、事件](#十事件) + * [文件事件](#文件事件) + * [时间事件](#时间事件) + * [事件的调度与执行](#事件的调度与执行) +* [十一、复制](#十一复制) + * [连接过程](#连接过程) + * [主从链](#主从链) +* [十二、Sentinel](#十二sentinel) +* [十三、分片](#十三分片) * [十四、一个简单的论坛系统分析](#十四一个简单的论坛系统分析) * [文章信息](#文章信息) * [点赞功能](#点赞功能) @@ -42,15 +45,15 @@ -# 一、Redis 是什么 +# 一、概述 Redis 是速度非常快的非关系型（NoSQL）内存键值数据库，可以存储键和五种不同类型的值之间的映射。 -五种类型数据类型为：字符串、列表、集合、有序集合、散列表。 +键的类型只能为字符串，值支持的五种类型数据类型为：字符串、列表、集合、有序集合、散列表。 Redis 支持很多特性，例如将内存中的数据持久化到硬盘中，使用复制来扩展读性能，使用分片来扩展写性能。 -# 二、五种基本类型 +# 二、数据类型 | 数据类型 | 可以存储的值 | 操作 | | :--: | :--: | :--: | @@ -62,7 +65,7 @@ Redis 支持很多特性，例如将内存中的数据持久化到硬盘中， > [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/) -## 1. STRING +## STRING

@@ -77,7 +80,7 @@ OK (nil) ``` -## 2. LIST +## LIST

@@ -105,7 +108,7 @@ OK 2) "item" ``` -## 3. SET +## SET

@@ -139,7 +142,7 @@ OK 2) "item3" ``` -## 4. HASH +## HASH

@@ -170,7 +173,7 @@ OK 2) "value1" ``` -## 5. ZSET +## ZSET

@@ -202,41 +205,98 @@ OK 2) "982" ``` -# 三、键的过期时间 +# 三、使用场景 + +## 缓存 + +将热点数据放到内存中，设置内存的最大使用量以及过期淘汰策略来保证缓存的命中率。 + +## 计数器 + +Redis 这种内存数据库能支持计数器频繁的读写操作。 + +## 应用限流 + +限制一个网站访问流量。 + +## 消息队列 + +使用 List 数据类型，它是双向链表。 + +## 查找表 + +使用 HASH 数据类型。 + +## 交集运算 + +使用 SET 类型，例如求两个用户的共同好友。 + +## 排行榜 + +使用 ZSET 数据类型。 + +## 分布式 Session + +多个应用服务器的 Session 都存储到 Redis 中来保证 Session 的一致性。 + +## 分布式锁 + +除了可以使用 SETNX 实现分布式锁之外，还可以使用官方提供的 RedLock 分布式锁实现。 + + +# 四、Redis 与 Memcached + +两者都是非关系型内存键值数据库。有以下主要不同： + +## 数据类型 + +Memcached 仅支持字符串类型，而 Redis 支持五种不同种类的数据类型，使得它可以更灵活地解决问题。 + +## 数据持久化 + +Redis 支持两种持久化策略：RDB 快照和 AOF 日志，而 Memcached 不支持持久化。 + +## 分布式 + +Memcached 不支持分布式，只能通过在客户端使用像一致性哈希这样的分布式算法来实现分布式存储，这种方式在存储和查询时都需要先在客户端计算一次数据所在的节点。 + +Redis Cluster 实现了分布式的支持。 + +## 内存管理机制 + +在 Redis 中，并不是所有数据都一直存储在内存中，可以将一些很久没用的 value 交换到磁盘。而 Memcached 的数据则会一直在内存中。 + +Memcached 将内存分割成特定长度的块来存储数据，以完全解决内存碎片的问题，但是这种方式会使得内存的利用率不高，例如块的大小为 128 bytes，只存储 100 bytes 的数据，那么剩下的 28 bytes 就浪费掉了。 + + +# 五、键的过期时间 Redis 可以为每个键设置过期时间，当键过期时，会自动删除该键。 对于散列表这种容器，只能为整个键设置过期时间（整个散列表），而不能为键里面的单个元素设置过期时间。 -过期时间对于清理缓存数据非常有用。 +# 六、数据淘汰策略 -# 四、发布与订阅 +可以设置内存最大使用量，当内存使用量超过时施行淘汰策略，具体有 6 种淘汰策略。 -订阅者订阅了频道之后，发布者向频道发送字符串消息会被所有订阅者接收到。 +| 策略 | 描述 | +| :--: | :--: | +| volatile-lru | 从已设置过期时间的数据集中挑选最近最少使用的数据淘汰 | +| volatile-ttl | 从已设置过期时间的数据集中挑选将要过期的数据淘汰 | +|volatile-random | 从已设置过期时间的数据集中任意选择数据淘汰 | +| allkeys-lru | 从所有数据集中挑选最近最少使用的数据淘汰 | +| allkeys-random | 从所有数据集中任意选择数据进行淘汰 | +| noeviction | 禁止驱逐数据 | -发布与订阅模式和观察者模式有以下不同： +如果使用 Redis 来缓存数据时，要保证所有数据都是热点数据，可以将内存最大使用量设置为热点数据占用的内存量，然后启用 allkeys-lru 淘汰策略，将最近最少使用的数据淘汰。 -- 观察者模式中，观察者和主题都知道对方的存在；而在发布与订阅模式中，发布者与订阅者不知道对方的存在，它们之间通过频道进行通信。 -- 观察者模式是同步的，当事件触发时，主题会去调度观察者的方法；而发布与订阅模式是异步的； +作为内存数据库，出于对性能和内存消耗的考虑，Redis 的淘汰算法（LRU、TTL）实际实现上并非针对所有 key，而是抽样一小部分 key 从中选出被淘汰 key，抽样数量可通过 maxmemory-samples 配置。 -

- -发布与订阅有一些问题，很少使用它，而是使用替代的解决方案。问题如下： - -- 如果订阅者读取消息的速度很慢，会使得消息不断积压在发布者的输出缓存区中，造成内存占用过多； -- 如果订阅者在执行订阅的过程中网络出现问题，那么就会丢失断线期间发送的所有消息。 - -# 五、事务 - -Redis 最简单的事务实现方式是使用 MULTI 和 EXEC 命令将事务操作包围起来。 - -MULTI 和 EXEC 中的操作将会一次性发送给服务器，而不是一条一条发送，这种方式称为流水线，它可以减少客户端与服务器之间的网络通信次数从而提升性能。 - -# 六、持久化 +# 七、持久化 Redis 是内存型数据库，为了保证数据在断电后不会丢失，需要将内存中的数据持久化到硬盘上。 -## 1. 快照持久化 +## 快照持久化 将某个时间点的所有数据都存放到硬盘上。 @@ -246,13 +306,13 @@ Redis 是内存型数据库，为了保证数据在断电后不会丢失，需 如果数据量很大，保存快照的时间会很长。 -## 2. AOF 持久化 +## AOF 持久化 将写命令添加到 AOF 文件（Append Only File）的末尾。 -对硬盘的文件进行写入时，写入的内容首先会被存储到缓冲区，然后由操作系统决定什么时候将该内容同步到硬盘，用户可以调用 file.flush() 方法请求操作系统尽快将缓冲区存储的数据同步到硬盘。 +对硬盘的文件进行写入时，写入的内容首先会被存储到缓冲区，然后由操作系统决定什么时候将该内容同步到硬盘，用户可以调用 file.flush() 方法请求操作系统尽快将缓冲区存储的数据同步到硬盘。可以看出写入文件的数据不会立即同步到硬盘上，在将写命令添加到 AOF 文件时，要根据需求来保证何时同步到硬盘上。 -将写命令添加到 AOF 文件时，要根据需求来保证何时将添加的数据同步到硬盘上，有以下同步选项： +有以下同步选项： | 选项 | 同步频率 | | :--: | :--: | @@ -260,67 +320,55 @@ Redis 是内存型数据库，为了保证数据在断电后不会丢失，需 | everysec | 每秒同步一次 | | no | 让操作系统来决定何时同步 | -always 选项会严重减低服务器的性能；everysec 选项比较合适，可以保证系统奔溃时只会丢失一秒左右的数据，并且 Redis 每秒执行一次同步对服务器性能几乎没有任何影响；no 选项并不能给服务器性能带来多大的提升，而且也会增加系统奔溃时数据丢失的数量。 +- always 选项会严重减低服务器的性能； +- everysec 选项比较合适，可以保证系统奔溃时只会丢失一秒左右的数据，并且 Redis 每秒执行一次同步对服务器性能几乎没有任何影响； +- no 选项并不能给服务器性能带来多大的提升，而且也会增加系统奔溃时数据丢失的数量。 -随着服务器写请求的增多，AOF 文件会越来越大；Redis 提供了一种将 AOF 重写的特性，能够去除 AOF 文件中的冗余写命令。 +随着服务器写请求的增多，AOF 文件会越来越大。Redis 提供了一种将 AOF 重写的特性，能够去除 AOF 文件中的冗余写命令。 -# 七、复制 +# 八、发布与订阅 -通过使用 slaveof host port 命令来让一个服务器成为另一个服务器的从服务器。 +订阅者订阅了频道之后，发布者向频道发送字符串消息会被所有订阅者接收到。 -一个从服务器只能有一个主服务器，并且不支持主主复制。 +某个客户端使用 SUBSCRIBE 订阅一个频道，其它客户端可以使用 PUBLISH 向这个频道发送消息。 -## 从服务器连接主服务器的过程 +发布与订阅模式和观察者模式有以下不同： -- 主服务器创建快照文件，发送给从服务器，并在发送期间使用缓冲区记录执行的写命令。快照文件发送完毕之后，开始向从服务器发送存储在缓冲区中的写命令； +- 观察者模式中，观察者和主题都知道对方的存在；而在发布与订阅模式中，发布者与订阅者不知道对方的存在，它们之间通过频道进行通信。 +- 观察者模式是同步的，当事件触发时，主题会去调用观察者的方法；而发布与订阅模式是异步的； -- 从服务器丢弃所有旧数据，载入主服务器发来的快照文件，之后从服务器开始接受主服务器发来的写命令； +

-- 主服务器每执行一次写命令，就向从服务器发送相同的写命令。 +# 九、事务 -## 主从链 +一个事务包含了多个命令，服务器在执行事务期间，不会改去执行其它客户端的命令请求。 -随着负载不断上升，主服务器可能无法很快地更新所有从服务器，或者重新连接和重新同步从服务器将导致系统超载。为了解决这个问题，可以创建一个中间层来分担主服务器的复制工作。中间层的服务器是最上层服务器的从服务器，又是最下层服务器的主服务器。 +事务中的多个命令被一次性发送给服务器，而不是一条一条发送，这种方式被称为流水线，它可以减少客户端与服务器之间的网络通信次数从而提升性能。 -

- -# 八、处理故障 - -要用到持久化文件来恢复服务器的数据。 - -持久化文件可能因为服务器出错也有错误，因此要先对持久化文件进行验证和修复。对 AOF 文件就行验证和修复很容易，修复操作将第一个出错命令和其后的所有命令都删除；但是只能验证快照文件，无法对快照文件进行修复，因为快照文件进行了压缩，出现在快照文件中间的错误可能会导致整个快照文件的剩余部分无法读取。 - -当主服务器出现故障时，Redis 常用的做法是新开一台服务器作为主服务器，具体步骤如下：假设 A 为主服务器，B 为从服务器，当 A 出现故障时，让 B 生成一个快照文件，将快照文件发送给 C，并让 C 恢复快照文件的数据。最后，让 B 成为 C 的从服务器。 - -# 九、分片 - -Redis 中的分片类似于 MySQL 的分表操作，分片是将数据划分为多个部分的方法，对数据的划分可以基于键包含的 ID、基于键的哈希值，或者基于以上两者的某种组合。通过对数据进行分片，用户可以将数据存储到多台机器里面，也可以从多台机器里面获取数据，这种方法在解决某些问题时可以获得线性级别的性能提升。 - -假设有 4 个 Reids 实例 R0，R1，R2，R3，还有很多表示用户的键 user:1，user:2，... 等等，有不同的方式来选择一个指定的键存储在哪个实例中。最简单的方式是范围分片，例如用户 id 从 0\~1000 的存储到实例 R0 中，用户 id 从 1001\~2000 的存储到实例 R1 中，等等。但是这样需要维护一张映射范围表，维护操作代价很高。还有一种方式是哈希分片，使用 CRC32 哈希函数将键转换为一个数字，再对实例数量求模就能知道应该存储的实例。 - -## 1. 客户端分片 - -客户端使用一致性哈希等算法决定键应当分布到哪个节点。 - -## 2. 代理分片 - -将客户端请求发送到代理上，由代理转发请求到正确的节点上。 - -## 3. 服务器分片 - -Redis Cluster。 +Redis 最简单的事务实现方式是使用 MULTI 和 EXEC 命令将事务操作包围起来。 # 十、事件 -## 事件类型 +Redis 服务器是一个事件驱动程序。 -### 1. 文件事件 +## 文件事件 -服务器有许多套接字，事件产生时会对这些套接字进行操作，服务器通过监听套接字来处理事件。常见的文件事件有：客户端的连接事件；客户端的命令请求事件；服务器向客户端返回命令结果的事件； +服务器通过套接字与客户端或者其它服务器进行通信，文件事件就是对套接字操作的抽象。 -### 2. 时间事件 +Redis 基于 Reactor 模式开发了自己的网络时间处理器，使用 I/O 多路复用程序来同时监听多个套接字，并将到达的时间传送给文件事件分派器，分派器会根据套接字产生的事件类型调用响应的时间处理器。 -又分为两类：定时事件是让一段程序在指定的时间之内执行一次；周期性事件是让一段程序每隔指定时间就执行一次。 +

+ +## 时间事件 + +服务器有一些操作需要在给定的时间点执行，时间事件是对这类定时操作的抽象。 + +时间事件又分为： + +- 定时事件：是让一段程序在指定的时间之内执行一次； +- 周期性事件：是让一段程序每隔指定时间就执行一次。 + +Redis 将所有时间事件都放在一个无序链表中，通过遍历整个链表查找出已到达的时间事件，并调用响应的事件处理器。 ## 事件的调度与执行 @@ -374,64 +422,41 @@ def main():

-# 十一、Redis 与 Memcached 的区别 +# 十一、复制 -两者都是非关系型内存键值数据库。有以下主要不同： +通过使用 slaveof host port 命令来让一个服务器成为另一个服务器的从服务器。 -## 数据类型 +一个从服务器只能有一个主服务器，并且不支持主主复制。 -Memcached 仅支持字符串类型，而 Redis 支持五种不同种类的数据类型，使得它可以更灵活地解决问题。 +## 连接过程 -## 数据持久化 +1. 主服务器创建快照文件，发送给从服务器，并在发送期间使用缓冲区记录执行的写命令。快照文件发送完毕之后，开始向从服务器发送存储在缓冲区中的写命令； -Redis 支持两种持久化策略：RDB 快照和 AOF 日志，而 Memcached 不支持持久化。 +2. 从服务器丢弃所有旧数据，载入主服务器发来的快照文件，之后从服务器开始接受主服务器发来的写命令； -## 分布式 +3. 主服务器每执行一次写命令，就向从服务器发送相同的写命令。 -Memcached 不支持分布式，只能通过在客户端使用像一致性哈希这样的分布式算法来实现分布式存储，这种方式在存储和查询时都需要先在客户端计算一次数据所在的节点。 +## 主从链 -Redis Cluster 实现了分布式的支持。 +随着负载不断上升，主服务器可能无法很快地更新所有从服务器，或者重新连接和重新同步从服务器将导致系统超载。为了解决这个问题，可以创建一个中间层来分担主服务器的复制工作。中间层的服务器是最上层服务器的从服务器，又是最下层服务器的主服务器。 -## 内存管理机制 +

-在 Redis 中，并不是所有数据都一直存储在内存中，可以将一些很久没用的 value 交换到磁盘。而 Memcached 的数据则会一直在内存中。 +# 十二、Sentinel -Memcached 将内存分割成特定长度的块来存储数据，以完全解决内存碎片的问题，但是这种方式会使得内存的利用率不高，例如块的大小为 128 bytes，只存储 100 bytes 的数据，那么剩下的 28 bytes 就浪费掉了。 +Sentinel（哨兵）可以监听主服务器，并在主服务器进入下线状态时，自动从从服务器中选举出新的主服务器。 -# 十二、Redis 适用场景 +# 十三、分片 -## 缓存 +分片是将数据划分为多个部分的方法，可以将数据存储到多台机器里面，也可以从多台机器里面获取数据，这种方法在解决某些问题时可以获得线性级别的性能提升。 -将热点数据放到内存中。 +假设有 4 个 Reids 实例 R0，R1，R2，R3，还有很多表示用户的键 user:1，user:2，... 等等，有不同的方式来选择一个指定的键存储在哪个实例中。最简单的方式是范围分片，例如用户 id 从 0\~1000 的存储到实例 R0 中，用户 id 从 1001\~2000 的存储到实例 R1 中，等等。但是这样需要维护一张映射范围表，维护操作代价很高。还有一种方式是哈希分片，使用 CRC32 哈希函数将键转换为一个数字，再对实例数量求模就能知道应该存储的实例。 -## 消息队列 +主要有三种分片方式： -List 类型是双向链表，很适合用于消息队列。 - -## 计数器 - -Redis 这种内存数据库能支持计数器频繁的读写操作。 - -## 好友关系 - -使用 Set 类型的交集操作很容易就可以知道两个用户的共同好友。 - -# 十三、数据淘汰策略 - -可以设置内存最大使用量，当内存使用量超过时施行淘汰策略，具体有 6 种淘汰策略。 - -| 策略 | 描述 | -| :--: | :--: | -| volatile-lru | 从已设置过期时间的数据集中挑选最近最少使用的数据淘汰 | -| volatile-ttl | 从已设置过期时间的数据集中挑选将要过期的数据淘汰 | -|volatile-random | 从已设置过期时间的数据集中任意选择数据淘汰 | -| allkeys-lru | 从所有数据集中挑选最近最少使用的数据淘汰 | -| allkeys-random | 从所有数据集中任意选择数据进行淘汰 | -| noeviction | 禁止驱逐数据 | - -如果使用 Redis 来缓存数据时，要保证所有数据都是热点数据，可以将内存最大使用量设置为热点数据占用的内存量，然后启用 allkeys-lru 淘汰策略，将最近最少使用的数据淘汰。 - -作为内存数据库，出于对性能和内存消耗的考虑，Redis 的淘汰算法（LRU、TTL）实际实现上并非针对所有 key，而是抽样一小部分 key 从中选出被淘汰 key，抽样数量可通过 maxmemory-samples 配置。 +- 客户端分片：客户端使用一致性哈希等算法决定键应当分布到哪个节点。 +- 代理分片：将客户端请求发送到代理上，由代理转发请求到正确的节点上。 +- 服务器分片：Redis Cluster。 # 十四、一个简单的论坛系统分析 diff --git a/notes/SQL.md b/notes/SQL.md index 47ed5cce..d1fb3e27 100644 --- a/notes/SQL.md +++ b/notes/SQL.md @@ -374,10 +374,10 @@ HAVING num >= 2; 分组规定： -1. GROUP BY 子句出现在 WHERE 子句之后，ORDER BY 子句之前； -2. 除了汇总字段外，SELECT 语句中的每一字段都必须在 GROUP BY 子句中给出； -3. NULL 的行会单独分为一组； -4. 大多数 SQL 实现不支持 GROUP BY 列具有可变长度的数据类型。 +- GROUP BY 子句出现在 WHERE 子句之后，ORDER BY 子句之前； +- 除了汇总字段外，SELECT 语句中的每一字段都必须在 GROUP BY 子句中给出； +- NULL 的行会单独分为一组； +- 大多数 SQL 实现不支持 GROUP BY 列具有可变长度的数据类型。 # 十四、子查询 @@ -520,10 +520,10 @@ WHERE col =2; 视图具有如下好处： -1. 简化复杂的 SQL 操作，比如复杂的连接； -2. 只使用实际表的一部分数据； -3. 通过只给用户访问视图的权限，保证数据的安全性； -4. 更改数据格式和表示。 +- 简化复杂的 SQL 操作，比如复杂的连接； +- 只使用实际表的一部分数据； +- 通过只给用户访问视图的权限，保证数据的安全性； +- 更改数据格式和表示。 ```sql CREATE VIEW myview AS @@ -536,11 +536,11 @@ WHERE col5 = val; 存储过程可以看成是对一系列 SQL 操作的批处理； -使用存储过程的好处 +使用存储过程的好处： -1. 代码封装，保证了一定的安全性； -2. 代码复用； -3. 由于是预先编译，因此具有很高的性能。 +- 代码封装，保证了一定的安全性； +- 代码复用； +- 由于是预先编译，因此具有很高的性能。 命令行中创建存储过程需要自定义分隔符，因为命令行是以 ; 为结束符，而存储过程中也包含了分号，因此会错误把这部分分号当成是结束符，造成语法错误。 @@ -561,6 +561,7 @@ create procedure myprocedure( out ret int ) into y; select y*y into ret; end // + delimiter ; ``` @@ -632,10 +633,10 @@ MySQL 不允许在触发器中使用 CALL 语句，也就是不能调用存储 基本术语： -1. 事务（transaction）指一组 SQL 语句； -2. 回退（rollback）指撤销指定 SQL 语句的过程； -3. 提交（commit）指将未存储的 SQL 语句结果写入数据库表； -4. 保留点（savepoint）指事务处理中设置的临时占位符（placeholder），你可以对它发布回退（与回退整个事务处理不同）。 +- 事务（transaction）指一组 SQL 语句； +- 回退（rollback）指撤销指定 SQL 语句的过程； +- 提交（commit）指将未存储的 SQL 语句结果写入数据库表； +- 保留点（savepoint）指事务处理中设置的临时占位符（placeholder），你可以对它发布回退（与回退整个事务处理不同）。 不能回退 SELECT 语句，回退 SELECT 语句也没意义；也不能回退 CREATE 和 DROP 语句。 @@ -659,9 +660,9 @@ COMMIT 基本术语： -1. 字符集为字母和符号的集合； -2. 编码为某个字符集成员的内部表示； -3. 校对字符指定如何比较，主要用于排序和分组。 +- 字符集为字母和符号的集合； +- 编码为某个字符集成员的内部表示； +- 校对字符指定如何比较，主要用于排序和分组。 除了给表指定字符集和校对外，也可以给列指定： diff --git a/notes/数据库系统原理.md b/notes/数据库系统原理.md index 88a6f74f..343c23d8 100644 --- a/notes/数据库系统原理.md +++ b/notes/数据库系统原理.md @@ -68,7 +68,7 @@ ## AUTOCOMMIT -MySQL 默认采用自动提交模式。也就是说，如果不显示使用`START TRANSACTION`语句来开始一个事务，那么每个查询都会被当做一个事务自动提交。 +MySQL 默认采用自动提交模式。也就是说，如果不显式使用`START TRANSACTION`语句来开始一个事务，那么每个查询都会被当做一个事务自动提交。 # 二、并发一致性问题 @@ -131,8 +131,8 @@ MySQL 中提供了两种封锁粒度：行级锁以及表级锁。 有以下两个规定： -1. 一个事务对数据对象 A 加了 X 锁，就可以对 A 进行读取和更新。加锁期间其它事务不能对 A 加任何锁。 -2. 一个事务对数据对象 A 加了 S 锁，可以对 A 进行读取操作，但是不能进行更新操作。加锁期间其它事务能对 A 加 S 锁，但是不能加 X 锁。 +- 一个事务对数据对象 A 加了 X 锁，就可以对 A 进行读取和更新。加锁期间其它事务不能对 A 加任何锁。 +- 一个事务对数据对象 A 加了 S 锁，可以对 A 进行读取操作，但是不能进行更新操作。加锁期间其它事务能对 A 加 S 锁，但是不能加 X 锁。 锁的兼容关系如下： @@ -149,8 +149,8 @@ MySQL 中提供了两种封锁粒度：行级锁以及表级锁。 意向锁在原来的 X/S 锁之上引入了 IX/IS，IX/IS 都是表锁，用来表示一个事务想要在表中的某个数据行上加 X 锁或 S 锁。有以下两个规定： -1. 一个事务在获得某个数据行对象的 S 锁之前，必须先获得表的 IS 锁或者更强的锁； -2. 一个事务在获得某个数据行对象的 X 锁之前，必须先获得表的 IX 锁。 +- 一个事务在获得某个数据行对象的 S 锁之前，必须先获得表的 IS 锁或者更强的锁； +- 一个事务在获得某个数据行对象的 X 锁之前，必须先获得表的 IX 锁。 通过引入意向锁，事务 T 想要对表 A 加 X 锁，只需要先检测是否有其它事务对表 A 加了 X/IX/S/IS 锁，如果加了就表示有其它事务正在使用这个表或者表中某一行的锁，因此事务 T 加 X 锁失败。 @@ -319,7 +319,7 @@ InnoDB 的 MVCC 使用到的快照存储在 Undo 日志中，该日志通过回 多个事务必须读取到同一个数据行的快照，并且这个快照是距离现在最近的一个有效快照。但是也有例外，如果有一个事务正在修改该数据行，那么它可以读取事务本身所做的修改，而不用和其它事务的读取结果一致。 -把没对一个数据行做修改的事务称为 T，T 所要读取的数据行快照的创建版本号必须小于 T 的版本号，因为如果大于或者等于 T 的版本号，那么表示该数据行快照是其它事务的最新修改，因此不能去读取它。 +把没有对一个数据行做修改的事务称为 T，T 所要读取的数据行快照的创建版本号必须小于 T 的版本号，因为如果大于或者等于 T 的版本号，那么表示该数据行快照是其它事务的最新修改，因此不能去读取它。 除了上面的要求，T 所要读取的数据行快照的删除版本号必须大于 T 的版本号，因为如果小于等于 T 的版本号，那么表示该数据行快照是已经被删除的，不应该去读取它。 @@ -339,7 +339,7 @@ InnoDB 的 MVCC 使用到的快照存储在 Undo 日志中，该日志通过回 ### 1. 快照读 -这是 MVCC 的一种方式，读取的是快照中的数据，可以减少加锁所带来的开销。 +使用 MVCC 读取的是快照中的数据，这样可以减少加锁所带来的开销。 ```sql select * from table ...; @@ -418,13 +418,14 @@ SELECT c FROM t WHERE c BETWEEN 10 and 20 FOR UPDATE; | 1 | 学生-1 | 学院-1 | 院长-1 | 课程-1 | 90 | | 2 | 学生-2 | 学院-2 | 院长-2 | 课程-2 | 80 | | 2 | 学生-2 | 学院-2 | 院长-2 | 课程-1 | 100 | +| 3 | 学生-3 | 学院-2 | 院长-2 | 课程-2 | 95 | 不符合范式的关系，会产生很多异常，主要有以下四种异常： -1. 冗余数据：例如 学生-2 出现了两次。 -2. 修改异常：修改了一个记录中的信息，但是另一个记录中相同的信息却没有被修改。 -3. 删除异常：删除一个信息，那么也会丢失其它信息。例如如果删除了 课程-1，需要删除第一行和第三行，那么 学生-1 的信息就会丢失。 -4. 插入异常，例如想要插入一个学生的信息，如果这个学生还没选课，那么就无法插入。 +- 冗余数据：例如 学生-2 出现了两次。 +- 修改异常：修改了一个记录中的信息，但是另一个记录中相同的信息却没有被修改。 +- 删除异常：删除一个信息，那么也会丢失其它信息。例如如果删除了 课程-1，需要删除第一行和第三行，那么 学生-1 的信息就会丢失。 +- 插入异常，例如想要插入一个学生的信息，如果这个学生还没选课，那么就无法插入。 ## 范式 @@ -449,6 +450,7 @@ SELECT c FROM t WHERE c BETWEEN 10 and 20 FOR UPDATE; | 1 | 学生-1 | 学院-1 | 院长-1 | 课程-1 | 90 | | 2 | 学生-2 | 学院-2 | 院长-2 | 课程-2 | 80 | | 2 | 学生-2 | 学院-2 | 院长-2 | 课程-1 | 100 | +| 3 | 学生-3 | 学院-2 | 院长-2 | 课程-2 | 95 | 以上学生课程关系中，{Sno, Cname} 为键码，有如下函数依赖： @@ -468,6 +470,7 @@ Sname, Sdept 和 Mname 都部分依赖于键码，当一个学生选修了多门 | :---: | :---: | :---: | :---: | | 1 | 学生-1 | 学院-1 | 院长-1 | | 2 | 学生-2 | 学院-2 | 院长-2 | +| 3 | 学生-3 | 学院-2 | 院长-2 | 有以下函数依赖： @@ -481,6 +484,7 @@ Sname, Sdept 和 Mname 都部分依赖于键码，当一个学生选修了多门 | 1 | 课程-1 | 90 | | 2 | 课程-2 | 80 | | 2 | 课程-1 | 100 | +| 3 | 课程-2 | 95 | 有以下函数依赖： @@ -498,6 +502,7 @@ Sname, Sdept 和 Mname 都部分依赖于键码，当一个学生选修了多门 | :---: | :---: | :---: | | 1 | 学生-1 | 学院-1 | | 2 | 学生-2 | 学院-2 | +| 3 | 学生-3 | 学院-2 | 关系-12 diff --git a/notes/正则表达式.md b/notes/正则表达式.md index 38ce62f2..c6c21f2c 100644 --- a/notes/正则表达式.md +++ b/notes/正则表达式.md @@ -47,7 +47,7 @@ My **name** is Zheng. **-** 元字符只有在 [ ] 之间才是元字符，在 [ ] 之外就是一个普通字符； -**^** 是取非操作，必须在 [ ] 字符集合中使用； +**^** 在 [ ] 字符集合中是取非操作。 **应用** @@ -131,7 +131,7 @@ abc[^0-9] ``` [\w.]+@\w+\.\w+ -[\w.]+@[\w]+\.[\w]+ +[\w.]+@[\w]+[\.][\w]+ ``` **{n}** 匹配 n 个字符，**{m, n}** 匹配 m\~n 个字符，**{m,}** 至少匹配 m 个字符； diff --git a/notes/计算机操作系统.md b/notes/计算机操作系统.md index 123b03c4..59584ad3 100644 --- a/notes/计算机操作系统.md +++ b/notes/计算机操作系统.md @@ -725,17 +725,18 @@ Linux 中管道通过空文件实现。 > NRU, Not Recently Used -首先，系统为毎一页面设置了两个状态位。当页面被访问(读或写)时设置R位;当页面(即修改页面)被写入时设置M位。当启动一个进程时，它的所有页面的两个位都由操作系统设置成0，R位被定期地(比如在每次时钟中断时)清零，以区别最近没有被访问的页面和被访问的页面。 +首先，系统为毎一页面设置了两个状态位。当页面被访问 (读或写) 时设置 R 位; 当页面 (即修改页面) 被写入时设置 M 位。当启动一个进程时，它的所有页面的两个位都由操作系统设置成 0，R 位被定期地 (比如在每次时钟中断时) 清零，以区别最近没有被访问的页面和被访问的页面。 -当发生缺页中断时，操作系统检査所有的页面并根据它们当前的R位和M位的值，把它们分为4类: -* 第0类:没有被访问，没有被修改 -* 第1类:没有被访问，已被修改 -* 第2类:已被访问，没有被修改 -* 第3类:已被访问，已被修改 +当发生缺页中断时，操作系统检査所有的页面并根据它们当前的 R 位和 M 位的值，把它们分为 4 类: -NRU算法随机地从类编号最小的非空类中挑选一个页面淘汰之。 +* 第 0 类: 没有被访问，没有被修改 +* 第 1 类: 没有被访问，已被修改 +* 第 2 类: 已被访问，没有被修改 +* 第 3 类: 已被访问，已被修改 -算法隐含的意思是，在最近一个时钟滴答中(典型的时间是大约20ms)淘汰一个没有被访问的已修改页面要比一个被频繁使用的“十净”页面好。NRU主要优点是易于理解和能够有效地被实现，虽然它的性能不是最好的，但是已经够用了。 +NRU 算法随机地从类编号最小的非空类中挑选一个页面淘汰之。 + +算法隐含的意思是，在最近一个时钟滴答中 (典型的时间是大约 20ms) 淘汰一个没有被访问的已修改页面要比一个被频繁使用的 “十净” 页面好。NRU 主要优点是易于理解和能够有效地被实现，虽然它的性能不是最好的，但是已经够用了。 ### 4. 最近最久未使用 @@ -751,13 +752,13 @@ NRU算法随机地从类编号最小的非空类中挑选一个页面淘汰之 ### 5. 第二次机会算法 -FIFO算法可能会把经常使用的页面置换出去，为了避免这一问题，对该算法做一个简单的修改： +FIFO 算法可能会把经常使用的页面置换出去，为了避免这一问题，对该算法做一个简单的修改： -当页面被访问(读或写)时设置该页面的R位为1。需要替换的时候，检查最老页面的R位。如果R位是0，那么这个页面既老又没有被使用，可以立刻置换掉;如果是1，就将R位清0，并把该页面放到链表的尾端，修改它的装入时间使它就像刚装入的一样，然后继续从链表的头部开始搜索 +当页面被访问 (读或写) 时设置该页面的 R 位为 1。需要替换的时候，检查最老页面的 R 位。如果 R 位是 0，那么这个页面既老又没有被使用，可以立刻置换掉; 如果是 1，就将 R 位清 0，并把该页面放到链表的尾端，修改它的装入时间使它就像刚装入的一样，然后继续从链表的头部开始搜索 -

+

-第二次机会算法就是寻找一个最近的时钟间隔以来没有被访问过的页面。如果所有的页面都被访问过了，该算法就简化为纯粹的FIFO算法。 +第二次机会算法就是寻找一个最近的时钟间隔以来没有被访问过的页面。如果所有的页面都被访问过了，该算法就简化为纯粹的 FIFO 算法。 ### 6. 时钟 diff --git a/notes/计算机网络.md b/notes/计算机网络.md index 53187e1c..15a6866d 100644 --- a/notes/计算机网络.md +++ b/notes/计算机网络.md @@ -78,9 +78,9 @@ ## 主机之间的通信方式 -1. 客户-服务器（C/S）：客户是服务的请求方，服务器是服务的提供方。 +- 客户-服务器（C/S）：客户是服务的请求方，服务器是服务的提供方。 -2. 对等（P2P）：不区分客户和服务器。 +- 对等（P2P）：不区分客户和服务器。

@@ -102,7 +102,7 @@ 分组交换也使用了存储转发，但是转发的是分组而不是报文。把整块数据称为一个报文，由于一个报文可能很长，需要先进行切分，来满足分组能处理的大小。在每个切分的数据前面加上首部之后就成为了分组，首部包含了目的地址和源地址等控制信息。 -存储转发允许在一条传输线路上传送多个主机的分组，也就是说两个用户之间的通信不需要占用端到端的线路资源。 +分组交换允许在一条传输线路上传送多个主机的分组，也就是说两个用户之间的通信不需要占用端到端的线路资源。 相比于报文交换，由于分组比报文更小，因此分组交换的存储转发速度更加快速。 diff --git a/pics/9ea86eb5-000a-4281-b948-7b567bd6f1d8.png b/pics/9ea86eb5-000a-4281-b948-7b567bd6f1d8.png new file mode 100644 index 0000000000000000000000000000000000000000..ba045e207619b632cdd5007f92b64a450b4a65d6 GIT binary patch literal 25600 zcmZ^LbzGEd*EJ}}APNIW=L|zgmxScN&?Sl}QqtW>hr$R$H%KUrs2~#3A>EBgcS<)% zefPjQ=Q+>&zTY3`C&Q1q?(4o{@3q%j`vg5wmAiYJ@-_wr#$5$@#A6JM8!!wEObO5} z;5RO}N4^99U^+dPlfwAgL%j-oz%qlYz%eiiBk;})uz}CG_VQXz7#R4C=>ITV?Q)GV zFka#*AmAEqdK>TEOGuh4%C_j($z-F<=Tg!T#AaV*n^JhKQQM2|J>S1s3$dY)BTHY1+JnXct+9+**0YRetnNz(6s9z1KA7aNP6hNc{ z-kok%^@^Xyb7;qVDH-D~$L)2xFL^ml311##`j*^EUIDsOr`h#uMYR}$@Ax$6ALmn|7wrXyylg1Bfsssqq%c@PbRpXq-PoTYF9swFR5TTI$;SIwb(`v9Z!z}R84j}g zPTx=EQQP-w4Va*6JQ57`UCD?0W&I9x^uOFTGTEX+kECeHLE)V5^ZV1sXhsOKjjl5C zv!Dv~jNDmb%SSw^=aYWODOzG?)sob=U@6ecNRF28;GNeJgZ>{+fJc1Mj=V$3-$}4`E7DpeTYaE!m736v0`r zZ#^)#chN7D+Llv&ZHHf2mVJf6NhpI(RoUe+H=Vd9=krCwfsXd^lnhll`09kY?O$Tn7Hn_laPyxJ^3ld1kmwILH;x22hRlPG20B zZRlGU)EpN17F7QJyg)hL!J6l5^d|UYACOv@=GOp67kRW2_ zF_WA{Ib(X30Ue){Ma}2*QeeKm0)2^7Px1$ru@n+M)#rD9>HF49E=f##mwi58Rr7tp zI0r?7yOGz6cW<>JSSUQh8Lw^62C zgn&^?C=U>~xO+wSLWP%8oYs%tf-@+h=!2+mqaPkO=9eW^I4vhx71Ru)kG`zfX8C+L zY1Pq`r%g|rP1)qI<5{o7Wp%}RQRjM*RdD*~TT?pZom4{hGvAZl#X~`^n*HcR3Ex_+ zZ!h1RpT8y3Gw!|FA5&0wQMu^po`&-V47J;*4hEj3DVgQhhTYAK0-HVgsH)3|`Kl*H zxb)659f!BNvXAyx2V1Kz{;avUzXH<;?=%r>XRx?u{{8jjhTG9l$J33nWU<4M#yiwP z_KcbLm-c!k%BD|%yVu28wQi`k{u=XU*XdTBUFoEYc9o9BLhAPAXt7!H>fpx$V}4AC z^Gf3UaCeIE;3flskREWriGc&&a`Fou7Vcx?sxa}_t=FDznr_e33(z5HAB?>ErE8WT z7fx+K>#+hk_0FK@uZgU_o$9q4Wb@g5Ex&A?S4CtsOEU?nQwx%P%F4?n+V~(8njlEiZJ0dzCT5|?rc?wcjfvGQKBRwoTPV9( zu}tfk2g}MiS<}C?47f`b&z_Hprgj-IIIP+qa^J4Uv62;8`S~RFj1YokxdGfz;2ts$ z=BO06A_nnlOv6Psg~ss$%yDaMOGgYt;`?6!>B;(3mq?G06Y&%bF=`F}-Z^srV~XLQ z!;Pw776<=tQTn_6a&(MVdmqh#yUkDMf!`dqSD;3Q{PtK*-V%=01dpJK)~5LhrKz>8 z&dU^LK0k&2a|(cMBvNPJr~fA?01=|b8i*|na3Vo;BuMF$1)_&fo@ykw3-QfIwk7?t zhgC&}Bdd;U*SkRmG(mn zy+sGGWXoO%t1y!&Ni*(@v-f ztfZR=_a8v|BElt7C%fLmRC2Mv90LR91~Dxvcd5sXm=9Sv3T6_sN{UexXb!I$*a}tsc7#>j^T18C)71m{wE~ax$LG5GKFFmajHj3#8$uwZkDemtT zK9jy+p(BFr(8CAl(E$t{*Soi88)F_AygXeGJSV}P+z*3~OUxb?RR=w5aBw;+T;K*C zk)_GV)FH#6{|Cr@Z29!)nAfGLZDaDmZ7#@I<@pG~sZpJbq@cG^Br^hEGI93!z8w1P z{_ATdkJnZ|rrLTOZQ4xvUY;APoc_2N;X3W5LO+rVmx#FYPOF-*q2vV%GX%RmLEpy$ zUuXuSxS3S@ok?drqm>n( z!n<+1y2k_fg{y%#>}GH%no&>qv>NFZS?FzNh+joOmOunFWeX7Mo*n9lV6+OOX6vm+oh zBm!W1(nW{OyarD+B zx1hgkj;4y&K6q{ldwN-bIg{;bE5!7vY|GQp$!)`7Fv`!7+I=CabRB?OR!UkU_?^HR z%{cEFRFkkF<#=HX{1u&N7w8@ELR~&(-(wXc@1-Z)Wlj!>4PjLqk!Y>oK{-Y@OBaK3 zshgqkjzb{@)nOm}C4hwNLWRJiRuemj)fF`9h&ApO1a}Kv9M9*c*^>zNgP?4x;H-4j z`O)qzG};~?3ZTEr)n-RJmq6xO?_@6hrRS+N?!Nqf!+{=yTbuzr(Eo>6Rj7WLAk;x- z6DT%(%o$*+ZCUUp$CS%IM|B&#G%P3&9rwjJ(~)lmhh-p^XPkP76a2ZGa9-C<9X9#r zfj=sCTBwqxBaiV*#o&o9KpE4O^ngt(hKm}fwb3DHH|pphg@jeE5S2}RFvn)6-HRE= zPUz1NF4Q1PJ`&Ey>dNYY!0AT{J1vb&gP+a_@;~d-sCRuIiOvWcyELv72F*C#P>mVR zO67Y28+}797bCY)Pr`}G&jOf8)>F4?t;)QIwai9&@}@l2I6S-fr^}g0d|G$t`Ex~F z0h~3?FD+K@@Jv<@Olbl4W088jt&6yuVODp3X!R*j;^NrIY22o4lr}9EZ@wIC>E#P# zR6RmXf|M_c6O|>jAd755nD?K39x`1oha!zTLbTy*1iOcFqd|*jpQxKNv^G1{#80wh zFt%lVfE<}PeR**tuv(YD{JM=#g~-CIn-f8m>%7{JXzniZpNAG61E=nLr^XCWT@_R; zfACyCQWIW`jn8dHgS;M*Em0~)3Neooo0eI=d`yJJOnM+~(Fy%mTG(?lNYf zf16>SDsqS+Le$V#*Fk?Rh~iZLB3sL&wG*a-LGX+9xg~LXv_3Tk1ORv9E}dtonI3> z4R~B78rAGZ0D@EA-5}{^J(~9QRVu-7u-~dV8tXkf2rKtqFKm4Q_fM02eTRZKs~OC& z&UH8A%`^sXAvGRXCh9K2-=B#%{5=SVFmCN@RnO8745_uEPR`<1C7A!b^h@w4y+iS z5YW|&g-z^Bk-Y4GB-~M7?Y_58b?RDosymo2jiaq+1|rH}3`@Dmy6My__AB_U!+gu= z5;3a*l;lU{{&Ow_)V#so54mLs3wW$BI5C^_ zO;xIZcw5vTvlz~d-%_CmsBxAln{m7weL9Md(A$$%2!u?oVzuY#M zw(GJj0=*Ttmmmz6;`d{MW`OwQLUPNX=cIzFYll|T~G~DiQE$lN2L_9^{_S3r724zrttfXsV6kW{t6O=MwS6vd* zT%R#?xdzmJ?gvHi9TF4nB1?NO>W?f0waEpcf5kaJ)8K<&`am9dqL*Y}dwIUad}*^z z4bD!xf5V~C#cf9skErRjT4Z?#C86X{lA<^bT;6FwfqAq^qvNm-h$rRk%Tql;_WJom{kgb%Z{Qs+Wns~m zWAraNDy_ITnL!b@c|;z|X9oqo-=}RjsO1=Kb+eg3CU1KoqaJJdHt)W*T~FOzw^u9E z@m|RDj#>XREK|fZP}gi6lW8o(Cg>2cBIFpBUk4{QJ=tY5r-bNZy@BiD=z6x7xnm+IGNw_S|FOh`oMu$81iAqhO zl&ob$3zfI1lia}17T$mJZc$Gc4lu{@CDcCaIaq;LgZpR8S4))_0=5Xd>t9bpE6r&e z==SeG1CjE#Z&)91&)U$|Oe_nQ^`L8rbZp!pIF(I_dXa{;kZO2YOboGfCEyL;BN*~!Mr?4z0~@3tXR9-GS_LEd5y(?a>(zlm`H0n znxt+IOP*3@_}kNscBD*{9NT;UCN8FKrHyBq~dw~fP@hpuA@x_zTd7G35KL6lTP}gQP?=#PhQy& zOvO7OQ~1~Xc;o%+TjV=Fda|8R=GQ-)dhRu9J+zyRjyF4fH@O|;$xtYodoVqV6V@gT%-Hmokiq$(4;*#iNNgjUs z-tQp)Zjq1>!&Wi{%}|=OJ&r7Kp(a9r43V?Ggv=7h^#pm(A;C|2o8&83sTkt-J_4JR zk>LNe5?#)m6kPr(h)XIM5B__~S4GiVQdnP`d_I4ez0~_CH6myrEF|iMux65z`Ea^> zpeb#Vr}^OyO{&Kzf56rf8v_uGSuBOg+hfe`)!-#QV`TGMTwGiS;+tALg5rmMZG!Kz zKKd}e!iz5IF=Q+Y zgs~WV5AW=a{OdKMg(SHDtINSOU_4EjC`~9cpQV{b8`C;VS^KTM|+E`Dk6WW~+uD zhoce6WFJ8b2lS}ykix4K%IoM#qbS)Dk{kMWyfl^+uC^ zS)dwgOL*}OJK}wEgWQGE0D%*lIx`XLh>hSs_m#+up1y9DT6|v5n4n{rS-9}&d~Nzt zb(l2aU;AZ)ukZlmbhtG=ZT+qOR*vVLJZUB5|TjtnEqt=_H$FQ%Vkfm)af11 zQU=P8FUX8MKntVI&q-bunjbn&0Jy<4kj8}@AOwAr%>;Y>|1)@qYGhU-k5Pb1ZC3l+ zWSYW4fN&pGesxjQ<#Ew_bnK(WvgZHeS2H<}+vWLDnHAambJ{E*^qAWS>v`?SoSvQZ zNB9`)hjz&R=hVt@$bX*g&@eUJY0ZofuY624Kj|{wo#K5sS`VCq>lkY%Tzm1yN+iBN z$?B^`06tAp9tYj^(&rChrRVJ{T@1323v$8o}KKFoBlTToDr+5rhvlg||A8R&S#1Dgb|k9-XM{rfVjCd5RJ zUOCE%hN|Kx#^d9wBGV_Tle(c5wifZ@CJDOhX^-P_pZBicq4<(xa23Y-F`))vy`}R72~A6Pa=Z#Xy;u2*Bro>Oa4~ zw2zUXN90NHU)VsG{YkNJ|2y<4K}8AKOra&_x~h+;Fi2>=gdzWH~h%C^rXtp6sI4 z5GyL?oM2Jd-g0l5dI)=OO@!%}wB-Ei?tp7rwGunXV-!{NqP2SgPozn$p z9(DTZIFiO~9G`lL?=w}8KH*9wI?5xSL@yqM(xW*Z?M;#vF#|=v2#Jf43E*>S1&W8o zP2>^~Jo8=}UTSrz(sX(!z7k%!)g!Q02oz1sb(Yknzm$hqxhD659_az3rHiJ$I`!2P zjz3ZM)S=N$M)F>5D!**}a>3(B z9p{~9O?%PHvpv(syMp{%b(giesY~x&r#}6u8wPj20)M9FALn_$vn-wK zQS8vw5}+g=6cO@Vj{;C5x=KZ?C%5zJ(4>cBQnGDj`(c+wiD78=jXS#dL}6&ECi!Jo zihMe%nGQ`96~Fg?p1XJj7GtHMNzv>DX3X+nGXA?+)A-B)J$&>4pk?B1+kk*mpqtPf zIafH5kltAzd&wVl07PQ6%DDuvL&;~%+UQet+%aywOiyZgGJsYuu@n@dBq$j=_X6o5 zV{gDaGGZ6@Yxyp|JvxFj?C5=cieLGBFga+{CFuDZDl$``qAq3Dh;N#U@Ysnf8|{I! zU&G_;d&)2CnJQ6v#Cww`gR%2#PN5EtR)Rl5v(&v0j*|$W2Z+|`T~L&IrtIj}86c`D z4hyKVU*wYMyC-i@H%VQSzabAly=n=iSn|W;{C1v4ksEw}h2n7v#mkdU-nA2n>G@L= z_}>Wl_Zd0`i9f|jXL&Q?;IBBSu1we;!g-yRl*d&=M^>h4swlW$zP4%A2h^?; zpc;?1%YSV$yysindUTcHWMpfsDH-AebFQkL|FJ}X_?)#;V@>NegE{!+85dB4jK7Ow zkQ=Ly7`st7e`FoFQK(BucU_MVDhdB?el}$)f>ZdYGXY)aE2c^p8MhOSFBAc(#e`Q- zp0c#nWmNo>aHo&<7oT+7V6pV1@-wwuN3Y}AK$i(Zq8B?i#om9dyYLV>F$Ddu{d)ch zyBY#s6TAGAPl%61!#-4{-bVl_=qP3XvV{U~aw9U4IST0~dZr)=7%ibB-w8%>~b z2uJC+6KJ)0dE&cbrt9mlidZfutDpi?1E~Z5B}^0Q5lc_TA{=t4?zA*o~rQ_6kT_*GVld(-m*%u z*l`il(1|A?A8t&e;Zx~ACRwY+$M>cM6oT9@;+q_4kSwi$)M<+I`6iPnj3AuHAYA;9 zxdjE+RCp}LI(p^&(nH;GeZl9+WvKzb#}8i$4Z9^&RfeP%5E3slC~23pLs>@ zA50~h*iYW-u(5y4cVwr^iC7sg+fr=(Ar9!I1I8BEU6NtXeSoaJ;Q&dakc?t#*0!x^ z*8Adx&iREV+M@d9rhsP6dYUl(ge&_OPqn1>Uqxs(G0gwgU0%=iLOI*kW}i`s)+pxR zCWGYZtoT?UyLsDfjtoX+orC>BH7l1AGS%>^b3_ zl}0T`>z>8o>G4gbv~f3ttJb`((dq5--An>LNroFsg{`#302>6{vl2;jz^3pQWzWCn zay;B{A&eg`7aPM)nhHeSY&1ah0D%%3-KoTI?r5|Mph$(tN8i2TFMKKm!;XRvbv~UyFre~;;1~cYY4jax zh`66SG3helQ&6!)NmWSyIlgqC=b@_5ES9zecMAy@455yS)NyQQY!|GpUlgb?nj3`= z&3CXB@HYnBEv{qiSPl;)Q?KYg;cNO6_Py{L_nP_tk^gf(fVh4rh#)z>+fBm% zbX%91h}LTxUggzF(Jk7YzpSn$jy!DEi_#shZ=7*W``$m*L$)qr9x*N!?-E~Q79?$YGSET>=y&&=o z9r8V1$k4HPZ%PTs>hAww{0ldJ$oS3AmhaNr`NqC~v>Xx0KdU=s@AgGeZSE?6ZqFLT zkz9p zQx4(65;@@E zS8{y#%OMG*;r`~VH~s+X0zX>C%JD4C17S1pVDz7e;Q6Y!Ezk~=@kN}X{s0b zR`ozhv$e3I62KiXUX+vXwA{1QDskZ;z5H4+v19syD>p&Z7dNdIl=wq({eTZoIA6Tp zekouhz9%R)=kieM@hDR2iQEIY)E-*}Ge0Jgw?oU}AR$qbvXBdsf{@%tZV*CW0{AC* zJ*yGCLgHArqVDb*kw3nX-n2vGHuL6CYc}VB!|9AkU>nE;w%brKb41>$x(?p4QZoGV zH-Y{b_I;q3vGbc{yuA*!zUN?@3RlB>iK)*vG+H!>i)We;T zu)BW94rZ)wM}0@VU(b#1YU|y3BNah@#j6jR(C%>CP6)C6{)D7MdoO&4v%Oo-Wr+iT zeJk^CdcvQG?$gGmk?RMr=>t>vr=dV`!>f;k~sFLo}pyd!-vI_c>5nQ6>0!u?8 z2z+s4#x;(xy@Vb@wz}J4)87^gXWz`CFwzEKh;;046zjLP?pULx#XgaDg$MY#jy zShdG!+Ho*1xz+>Vg`ULXOm{z%)d(LuCOR|EBw!>m+6naU@I8$T9bpxUrZfmPU@NVRq&ion{e8kDLYtjgzN+gy0a_4GNx3EZPK)h&7$&Pjtfr^@{d{$Y#-AE~){?Q8`H9ih8XL(CGoqnB=K0|7fBqNl|Hd$e_ z_wDxU%d!07ZLaBWSsj&5ix`{A#D&yv>yhQxR+b99M{p`(wRA2%CJwC z$|jbbgesh`bB9q=j`ji-bX|yc=-^k@MAyMp8&yR%jQ3bSzk)Ez&1p~ni7x{r>zmBC zs1cZ8*nuB6xqMR!?U|*U|kmnFH+pVe?$Y2!-d(EJW&~qL?*{^2UX{Te^K;AV~z5EEZCgWp`pzR*-(4k5)fu|$|AjnLhhIR z4kB``$ax#Cq0Ss0DN%m+Tw*EgF=vWLK|HtE^_13#z25(;iw`22q0QOA+9y)2aC`XFlPK%rTU$e6{qMk?om{J zSNq~dEHZN+p;A(RQi)S~t5l^eCWngFnL#eRgoLOeoiLrD0X&zkFi2-NbNqfuvQlc` zeS~eO@#>(!R+2*z6d}Azj}Qjg5Xa4>41Vnm0X4qfOEkq`x^K0{J^qs=Lqap*-!r+E zVuWE~vhr<@Wh2YM!U}S$rQ%Z>?F%{9pmG})(q#LL=DKJj z){C+J`y4eXtNt`3WZeBD6yusNq za<|K%(QFt(RBZkAO~!HN1KiJH0IXsEW&Dr&@FH@X+X5DdWC7WIrWP6PL=Ne?%S*zL zAr5;29lssr$t#Ha8(qnZ7nUV1E4)3mT_<04-=ea9*_c~hL;s`g#z%ecd_56#Wz%#b zeQaoa6w~-xGCdjM&RCtj7oZx0nekIMFbrMcWKgI0diZk}LRva8)!E9rkd}qGL;>__ z%(>BAWJG`_Qo)oQ_M%pK?MqV{9c@@ibmnUe(|trGc%V7L_AN}EfSmh> zfQ)He9NpEaB|i%_sA`Xz@sUdbC&HpvnSL@Pdhg6Nb42B_1Ii*SH#%0$k9DprANR8j zT3`Cwj+VdJ9>7`HoF7|d&PP6?*lxi<+9`0u3L|g(3o<7uxj8Lj{#+r4rnf+5$t}hb z`7NTo(*_o#2MNe-tH7%d`uP#Wgeo%C-h5aNnUn8~n46?yydafFb9jQ?Lj6QjEt3;u z$6quB8-|HG8zt5p?diC~{gV?(q+f48ZZP|RxgMh~RP4oL!Q~4Mn)fl|6(Q0ftO#Su zEyez4>Cm<}VCimzg${KH-As98rm<9=$gASyAtvjmt|I7*EopHavre#Z`gOAO{g-!17$_9~D`55~zoZ0@RV0WJV#? z+n5#1CqJs9gxl9XKL~Zx25k@|q;>e9vUr1ZJ{)&+c4`f`k3-pyJCAm^{&DpVS6HtM z%PnL$>iM(J9tR5~-1V8~c#lI`f#>X`qZ`c;cb{O#lpfJskJP(!(v=%zo$8>l^0PiU zj|v%5w$I+{fO1@bqa6FH!k6y!h#cL>pnlV4Y;gzk^`kDwNBkfF^Z2n65)x^IIHvyT zP@1AG{u#Xcx^7#W@tP#N7MSeF<%_bFSZhK-`g=>|m9TN=XRAdq2M5XvcMISAkj8q5 zsf_J5Vh}j0N7Hqo6!QkF{WFps=Y-)nz&lcjG@8A$f9mQu=q3H&FMC!2Xks}^|0O=1 z-qJ^0VNXD=fGWa9c{d*TGZR8LfttA+HqNLN53A$E*?1+k7yp44#IeR>v0Kem409Hi zw{DdhG#B1geq@99v!hevcwrkg=byTrKyW>LHWwMEJLQB!cKBCy!F@SFzvk^Oua;7rCshCaW%ltN>j=Yq*CkhDi6MfL-lZM z(kVLOgL+X!8siPWft{x8l_z34`I<)_AhF%~TQBE?6K#oS3!|S6O9yPo0y{;ZE5*u= zcl866$?LUT-gXx>>wo+G-n&=P9K?Ynn$z_`;v^g5L ztIN?mb!r)Yv^e8M{JoJ(nF78?QOvXa;FK5lGeR=>UD_CFhvRur>Fk;IUm?CgPr$-0 zlAGPtvjqE>A7Hzqj%W+8R44`P#2;+b>};YroZ_65lwl@?4PLK+Ky3`K&b*IJxjEVTlq?%&x^g!xSJ~a>?h^72k zg`qO&9W$x8K#bd8t3<)n(fpw$ZC>{_%g3k=JApF0UtB|}D0|KfF@zRDla0p#N?#;> z1T9lMbltR0j--ZsHDeVCV3Kp@?!hL}A4C1&_OOqS&6Y|_Ae@WLGKU%-vvMd)#oi=r z2)Vhjh+rz$1LuHl?52XA4O*{+q*xMbQ+^4 zqJRYA|MnTBuSPNze z@AJz_G%wv1pt=@!6*=Tz>tNn;8MUq2um%YzjnIypoXSugf3dEy9wUyHv-ms;=tmo% zgxU_~1^<0J-&4AAe#9WHVUtSU5s*ijaX(; z2Kz-@uqnV_&t6CC5@FcSG!gU5i}MZc<^3jdfRa^lGsfT~q96QrrQuC%ubh3@K)K;M zh*ec%w`iri;`|~xB7kB?by8J!8np!%O(ZM~9V1Z;2w^a6-}VzVD3-%y zM^2Mp+dcX2@-*63kwFZz0HkLFX8ug*OJ%&KTXq(kHer8}zMX!wSYd>}&v-D%xakv; z56I?KCeOK)3@h-ZVi{;43jXx%4-;AmLnMA@j{oOmL&0;y%T{C7$`~i3d_AI(!xTpo^~;W>u6qx~cR}a|gPwD)@Sv`m+<5Fas1@ z$)zp;F{3n98m3*WdQ2eA=m9|&-qS;;U9ot;D&{t?7<-7-Qh(@1%c0g0` z*XQallggEtLpTRljJZol#PrIk5AmcTk16?SJ1~+HavJRg-}4v|=X2p><&({_1PXG2 z{_n%(Jo$_O-`@GVBZPi^@MFZNd1lzUt4TBWmAixE_$t9Y!4EQ5l+pz{W4r*gaHZ7u za4TKhfHKzPfdI_Fi9<}AW9F?_VjgwXWED%(eVCH>bPAvgdeA);O8~Hc09Y+NiZt(G zq6a4M`Ft%%{w>d-_F9t#q+9tixr#e^o%S(tsK0d-UBeND=6x4M*Msatw86Rku?zpW zw^n|&h9e>au~V=169H&q|LC#&vcN$6hZp4Td6~L?w~hU@rvPZIx+GJac-7V#kHdYMFKrb6H5>F*GHfDHA$l!!G)A) z*}@;jK@{{Z(ptG#Wf+*%DjQb?Etyfo?gV(r3kw%Y3++3!+ziXCd5~e##c~Z-ws48`S|JR8e66RSdwTqz&QK zzty|{G?SQzUK0jalH>m&prQ7T0Oo0=^m$9wFfW_xHkr2~=1Gv2dJn`f84VUbJu0?ZwrN_#)2-`*wVaI9sXgstq!q>U-_H)djp5 zYc@~D(EU{BKQ6YrW7Nbgl3k0S|4YgO8hiK|Azzo#K0i~SAJ1h@psB6Mq|=)02^410 z8T}k6X&0~h=r~G88e}DHt9NAg02yW+Qk1xQ1V{yUcr|5<#hAVSEh?geNgEwHbG-Mx zIB^+=6>#cS4*7iLkJc{s+h~@|bp(7mt+JAU4LkaYs&Mmd8LSR;mokpp7wZlSwcgA#90770KN`ov_lB!hqLDW;;$1;AaTYG+#q1HA1%HEx(&m0`eP3P z6g5(JY_K^|;gSlgHB|rvc7Tv@!S}kkYLe)xaqll#_n-T!hXjPGlwSnVtn9l=IWO4}xEXnUw$<8*QEt zMpN!)`tIW%_@7_>Y%$}1^Jhjdj##tO(*Y=N+mn8a?)OQThWI=npG-)}be%eO&g75LLm4~R0lt*m7S=<39k9mUnxC% z1@$>wJffEKm;`c)>*?e$pcDS>M>r_52+d=|XDtOfO-98vfcBBpc!SQ>+4`HmU*E+4 zHtC~ltDtGD8(t06lszIO#Bn5Xx5X9YJ_DRwiE^^lk2wE2jfpOTU4Oc>ADh1DR=!^? za2y)r@Q1%yk~Ku^XC(Q&j_vt8_RU3v=h51t86?LQteygNzKpeL$Ny5!M0c6y040bi zpabvy$tTo*42d~DpK$6;yf{DA_AM0i_{yWs*dh!YTa^5^edC95kk>Cp4v}%^K^5($ zo6GT+AH%k|Th%?>fnITrX*IhL+f$&`Q_F%zz-pNN)Vmz$6zxuf`{(thJjxJdkPZEo zN~4onoxAPXaR%hRv6bI92}EBObOXt0KrdBCaMQiP<@r)YgR6N!)$RN5tmM zd~VaV-M@@p9WVe9*Cun}$-h{9)9o!S(?E5{&PyZIna>-jUU*e5v|6 zBfiljX;L7dN15{cc)4opg+qrM+^c1Txf20Det#-PBGC|dnq;bV3*J<4Tz|0Om}1|6 z%W)%+)@9uvgj=)CI$LJl$XN9Rze6suLg1LA7oS<)jc`$9oeJLY>Mgwi&5gi`+#E10 zOwU;AUeKdod<3LZ8Rd3v40GM#+Z&%gez2r7*Pvv7qGbYSKQb9!Op~f7(BRY<(@+&X z6Fw4M|J3zzqTB)97CW<&?tw?#y@fq&8W2g5J|4Wg@4$5SuyN(%l_`J zFOq2PR$VsSJPR9lnF_PPb(G9!1n{!F_-$|&@na!rv784v6np>4`cY!@!%457lwLkg zYbm54o2&ju^U%oU2pla>!p>J|jtl;33*hwft=iMi!PFVbRMy|#td10Ba&QF*!QZ{K z5yL@Iuo@;kHy=X?6>-Q8FLK450!PalJNiq)Yg2qIoQ6=vL`52dw`mW7c(HMaZkwx9 zvb~iNJi&PgSG`42+u1Ma_EcaVf&yb$2O7Z?rSaQG3XQa(WcXMS#Of$8@*aH(H~>YG zAg=83DkQWI6=;LmUOB?IqHZ8`P`4@^p(s>& z9}J0dSR-TtnzV?+{XsYxZ>Lp1h>qHZOb{Sx7UBGaqcd(n*7VLy%I{tt1-^T@{o`i7 zJzS&zp8xUe#5aQQ_fwwKcu^exqnAes;4*>#??d!ll^f#x+6~@+=ZG;*{~=`ql}D0n zFQ%~gzE8T8TuLNDF+2423|~KG1_9@6Y;dAEPMk!ic-34m+l$h$m+3)R29oEpPONpz z1-BgLGH4OfBXopnNf%%WjeYV|LNG#VWmGC07u~gEF$ORH=1ulVp7}e}CuPM!7zQGF zsqe+aD-*#0mG~-*b3BReiG7Q1+Ch#243M?wZj{v^sgPP+`Ky10@H^Ap3D}}(+_aXW zFpywO-@xouD~lHLoI zvMu2i!u4q)h_(ETXqOGlF4?RaTQ8&fngv_s@kFvSuH5rJwt!b%7~NSRagi^TigBUz zHn4)?Iz=!AiqMsMX3gZLC?3kXuL{I7zbiFDxBSkCL7hY$P)a8Z5$fjQ&_L7yzZ%cP z>(fi1$1!<5-3NUo(4EYH)fwm{ZbEJ?S>2<3Eh;oBKp+(gwq4W_5bc`q{>cLAhyu(o zghe674*)#LF<`d@HIO7n7V}O_{XEQ zve|O92G?+st`)+RS^Afk>aWWR=}9GqiHee6z7fp8fZ}0!IXf{)$PoVj7#)1pV-PZ+gk2Zeoe2p4`3BaL|!{a-;subGUucCLkdfy5C3K zGv9>g_F1)2#7P{nruGWWhsL#-L!<^is?nWZmK27I65v!&fj&871@S_P!1W0E$(@fM zrm zHI%FF;*GX30j{4O_cqSxpXOKCUAE_q-PF4m_PxRruTA6llZs{b?##8wJ)AA6k>83* zpi6SnX+jlM@;rN?bS<FvpQ=`VA>o1H#?sH~LTHoY$&71nTQ2q;lfE>U^1|I4ZO zFZhmyYcshD=2;_8k9swsbf>!M9gY^^mD+&Z1nzTQr@He$_B^z1c4c5Cn)6^1NzF;* z2N4O5(gxYD+M)pM&zmBH8d4>%nK}9)<{z|-)^7fVmTBn~c<+v0+HwZV#;kc=S;24& zxizkiFnZ^&EtCH#x^nS_sqZj!BVITs7|A}nr2uvHS44?MyAM985`9ZNFh&@wZTArVQ%?^v=__M#C=B?@J& zY^8)5Lus+ZA!`YztcQ#|*FA&k{Lb@wJ%2uboWJMwHS^u>`?|0D^M1o{`Urfn=%YPV z^tb*zoaLm-_K9dGDkEbZ8NIAK)4N7f_T*R3N=?94xc2hO?;Uzq>|Sp_p5HSr8r-Fe zDN|IP=6bxRXR%>@lU_l#B*@*|fl$ywVi0VW7`Ksc25vjAY zQ@BcjBkYbO2!0<+L+QFU07XX(x8!$^i{9w=ggKNNugJ#wS;)b{T0Gr-ioqMtP zx7tOrdCa)yJ<6N`yuC~Fu>1nmlq)vz#B`0;br)-UCAHpib*WUvt<#)AGpv3W>nS*P z;E7VrSCf9NLehqSQYlN3r$#syY*kFF@}+49Fh*+?+-bXW$84!K&J?ypJ6mODy!mZ4 z2dkau9(A)>B(i^bCkMCr)Oi=iQ!;cwOWg1Ag|2SUxwP4g-BF%$OKjrH^%bpwvm*^I z5lvLFTT34_CTE5fcKYz z2k;l$Z3y+}e(LH`o=Z;bnnvNPXmGMvm*H6X`zGM%%q}=(EoWPab*F7BGz_P#UFti^ z`30#uk4P> z_Poa6^eSjObY6vS#%Gk6v+)OZCR0o>jthAN^r7$?d8QK+`H=Y&Z)^#AIO$+8&Zc5?u5FS{r>$Ln6gSIJqi^0i~3@vdv ze2VeUkO6HV2J{YZ(bB{(I3Jj!chW`U*oC9(HOQ^%OfUnoOLE{2_C|L z;mq56fkd;$?LdD+KY3s6Sbu#30QnxJzC)z6z^{V@kJ2DOr!i|U0|pJvkZ{=wQXnvq{a>3M_!i(a{<#ZXKHxM+ z396j+EGRkqYX$#zht-ZahKAcKtU+`gG`?(FM+G-U_6In?D3#VPqUUvOrt`1LBOuU8 zBjEhMzeQ+hSyLrx%`ugb&Zs`|x$_T{3Z%aC=C7a3fs0dK|GUVxM5$fxe!z*)tVtc; z_NDc3Oq+&4vd=(fisz2z%Un#zsV*7T9Ye!8IIM_jo!iRsJlj z_~4r|m{+6CEJKO&UY}o>%=ha6q&Fmf%axrTz7+GJYxqrnf}%wczu%MjoXK)qH<`4& z2Nhde-cx*G=@`UM-y*FN`JXI0(ABcgfD z)?7P^x4l~qvC*p@&BVMrAhR;UD@83^aP2%>de=AyV}j;pyGSpuZPV#E4f-_-FfLj% zyA7+ojqbvzRo9=aelS?vFA%6{Dy1gd!FkgokZob{g46;|3VuW>V`o2|B@QLUHO09jqbkWx!=7}#J zy}`U2BQJ{FUJuvN;O+M=$ef&}{nXh-fFZMj!8w7m@A)t=IevA6%(ivAA?v%h#%2Xp z3;dFt>i3RHPct&W?>GL5Sl$?ZlX}4Q4P>FC-vMFhIYO88rXRfvnCog1VP^)xqps4xDBSWZqUp zN!+fpA0m#!bddrh=WAz61`(gLLzxc;%kFAh-UBAp>2t$JGLbY98o-v#c^3c^NDU!n zETQ2G{-XQ3jXLe*!xrH8LflfHac&4g37<{1dah?$Az{3>{?M4(a4&H3uJuZzs4I>V z6jsX6&0iu97E1%bWA1D|!`4s4v~C6zf%Ifi1u*Did082MD8;Fy-P1tpCy>%cS~v8| zrbjZ@Z;QsTQ-=AE6VLVD7SoUlT9bl2cWqE2jPUmk4!C?`&!D+sEoqS$tB`ASYFwSS z=SoR(`kZ|wXCLRc1N)8#H1Io|g`J0l`G|n&ZoVMblp)%pm1wI=&|I-TXly(trcug% z$e%YC8v9C<9ZH9OlXi$%Ozyr~&0GkQ|AwEY==PPr=c^Gq=p@h-P$wi4_lWMrNR$Q7 z)Yy}cjpf&DoYTz2x13N4Bw#P@a}4kPD0Z8HTl;P5xfdV&@E8jhx5x=GdWz;HjS1=*%G|-2& zok;!ryRGJ?SmUR1RTecRW>oS{a2~Be|$SxJ8wg zHm~DRcW=%i;3}EH|4Z8BaVX>Rk0I#UrobUIcy*YUfkzKkUO4vw^7$M;1F=d`t+8K@ z&%m|;2NNZi}t-d??--wEoapI=>Ux#*_|-7s^OIBcx6E~~s?FvSZcjM!v@I2U)$R`KCw_EQlHH&+s z(d4MX@cobmlNV9Ro&nP4`q_ITFNp`}YyMUTFJX%AA9c5eHBpI$m_qVjanA}f z7gBabQde|5_T66|4j8p(3Xa!k;@7fti*CKw?WbV+qk|&NHGJ=`-G)FkfE*`c%=WIJ zl0o{}sVm~k3XgSFs!U!J!XiD_Z|6`k0c10Ax@`XqFQDwTK>DueSpB zC>}k6t=ahb5}xRUUgFnz@NjjIq0}d#k};@I;c|*IhmG^mJ%=)!EMs$4X3j|(`g;|; z3E+6dBc}H<%^t%c%e^8l?!@N9u!BW{7!B37{lFVjZ}VjK1dlLJJNqB+17tBiR%nu2 z?-Q~ok*8_^+UYuyL5zF^42@9bax4^ilM~SJdjFvQw=NEH8GskJ_}alwTk)gvj^)jG zYQCF8P(ct<^`*9b!6nAD?e@J;cI|8~xv15s_e=uJq?@^lH)+_YF3bbh*{yEqW9dB4 zoV3IYGI{~S@Z7kY0$X=Y7FHXs9DLIsTePlpFpU3{-CaSUei+x8na3h2x1yv5*f{Wr zfkpsgJqF^`Gd`gWE7&la>DymZK1Ndlzb?&L=Xw)P4fKHfE+s3jTS(u+Wfv6>5AA!) zDJ0+e0*#()WeQ0RnxIk0S+7ZmP!YxH^<}>-KL5Gs($U`7P*dFsFk6C`5d^fn8`fw0 zRt2+9g>I2e$1FEB4_$t&BcOCnM@IhB`fP1?qzjDGH8fW0{@-O4<3I)P&mVnpvJ2OI z#;kZU_m;L#8wdrJr!kzTPD`&0S<{WAgz;cd>hLcEW>*$8z zEL2ANGQW0}6-;+o|L*~CR%11L9A$QaND-MHkh|^yTe8MWeA@k>=#X9k(+JY`V5}#6 z9Od2315Q$KTS=(YzU{p4GW7!F!RA^>7YX85FPQw=(^N)`3ROYrH*9?D2eYKD0=Gqt z>s=K6Dv(zO08v}ha{uLz+oYDfwl^cxck>iZpG%uc2kW4&+Ae{YAtrF2kkJxjrGzga zM2fc(VVckqQrKnPOkxAAAxyt(I03;0sqKQk6*zB|zXP2VFv6+K>>hf55<*DePf!Zw zKeT5-;iU&X$zRX$1FueB=bVsZ1n z`kacXcT;NhIUnZF#C%R-|3TGT#Fl4Gv{*9b!X3aN1Zl2>_AFmvl{N&y=(_X6mhJd7rZ6svp!@8Saz94SU99MTRyji| zu&7@44fZRUUqqz5c~^1zWFg2UQK4+tb8~I1;bz#67L^c1s4aM9qh3IMl?YnH41yK& zNM0n*xw2YN4`9#+7^B^R3o9TrL{-uodG-5Z3AxP%{Kru~WCkkxGTUl!R7W+U-~`CX z;Uq<#q))#^c5r2%Z9QhaBzT<4zXWTeiNq>#JtH~rAk%R^B4Y_Ry1IU+S_Prm$p`1_ zrKms6XWa8*GiyzQRPJ;r!mN>b9NGy9+8NgGbs6E3N}~`S2Pr(*Uxkp)qHzA(tin#_ zhaaAyED$CVMAY<;E%(xMJJxL6xC(lG-4BkUz;A+-06exE%iV;&?cHUSUu8UMxfa`;#@q0doZCgqv z({GMN=Yk2_RsxFf?z$_oVUg|0xXU(olKw&RE^YJ?Z?yD>n^e_xR|}PB;8xnTpM;b< zJfo*>+2j!0M3%(xe{^ileZF{NFb?#f3R`u-if=9a>i=fczdABcpJ($Y*=agG&bkEu dD`1(`_Fd+ArU!!megFS`|Nnje|3AF{{{u!8Z$|(C literal 0 HcmV?d00001 diff --git a/pics/ecf8ad5d-5403-48b9-b6e7-f2e20ffe8fca.png b/pics/ecf8ad5d-5403-48b9-b6e7-f2e20ffe8fca.png new file mode 100644 index 0000000000000000000000000000000000000000..25ed74973e2b42d02d84c0a2444e5bbcdf3d38df GIT binary patch literal 21504 zcmd?R2UOF~x9BT~f}m8TNGAxWR1u_y9uSnKA~iHA0@4HwfdJBil+dI|RX{;{2dPRR zbWmv`O$bG*BtSw4@V@vv=d5$y`=7P$eRsXP-dpdxmdi<;?3vlKXV0F`?61*=_aT>P zuhO15bLNt+j;8UMGn6A|&QQqFoCm(~E<$ese^K}tL)6cd4{`klK2SNS-BUYrrV2$z zwmk=YzTl~2=5yu@edp;P3XDgQ!@C?h^tgjCBujun(XFh9~RZ^2NJF4cU@34 zsM4O&fu0p9pAw=M7!iNcm1%8ccG4MxJbm=@Ls*%B=SL`|xhC*9P}4e}eoo{T$>TO}qU6^hnn+ocK*H8czyDki;g|kt!}IScN%&##iPX{Wnqg}MA#<*+J>C$0b4W0cX?RcL z!sdMoXdjcx=`gb5GHF-on=>s>u*n80mQBh|%p;IdBl)Qu;2(Q9UYJl^vRqN&E0P~_ zrP(kfa6hm%u}OPirmM9(VA}!G* zM*ry*cE;c=kZe=8!BB~NxI2{q%)3o=JMycXE`nWjQ!QfOYvqTh)?zBeb6HMLqev+_&r(mSK zFoWiEYnaOF@c<~nZv;eA{_;&RA;yzgsA>B{o3|0_f*}|xaDotsEta2EGBQ{XxsX$ zk@e>GJ?>Q+^}hWF5w?Z2{Q;K6lnSuM?x-_3y8x|3E zXoa32+U1i*z%&W%7^9=CDyesK6)Q6LRf|lZW%jiuZIAxxq4yn1g$1_H-BQh!KbQ)Y zUP=fg`QZ2*I-5Mn5=&VI?vJx@MfNPQMIj=xMN#i}PUXA0mmDo6Xm9fLUtX!G< zI--*+)@=Qwy}md=yT~4fX-!q$b1%i!75GR3mVcLM`Jl!HXKQI2NQxCSzNVzF3aFRG zmP06LOJtqYUp$`jcuM%<5i@~^396WvZj1Wr@pj2qDJ3M5^oF|Pwnz>jWXOPOcePHP z%6^OYdLF9Y|K=x~N20Zc_8K{v=$F1SX+SoLO}$3L!Oi-*eQ7#X}vFgy?{ zzVYIKIfPuL6un65I->{WGW4(2C3nNAo-|>2=kd~rF$txfBU%CroiG09-rX&Xhh67{ zs(hc|vbq0;kZlRAGcM@{5fjwz>&kPk7U=%8GL2F=A7vE+cIM@s1qqlp_l~YL`dYMo zxt6B=&4pxBbsyfUH|@;=!%3B~lGpehnMw+>CfX+!6wuHOZ(jZZ82SFeG^Rm3pb3iC z)L9f>Y8sL!;P^v*I(RTU)FKAcw@`l_-WHE0uR5bqkC*i#@{E><5Cfk8DDo`EQbSUG zkYN(5MAkeg3*k z>{fJ7%zVrl&DeMe9$DH|;rX8)?Lh}?B^4@J(MY5c&qF=|Ri+Ra_q(kDq2bt&^WmTh8NM4$ z)?E&Dciz#N%yU_6q)a>r+Cc2QYb9Q*tltkh!0p+!0s@p95Woq zK95+qxM%KWoO25V_KCaPeA;#0c^P{Dw_2K5qhd;?Pm&Qi)Niw9te7!O!yQAQgYqmL=XRB7o*^Hu1Jc%T&BLv-C8}u;Ph-b~P7@T&ixhpC5t{IPM3N zJMa0w&8YRID2^G=4;c>HdGZw|=zLN*$~F%dR+J*D1guUg#^xGj;yufJBCPV^=b$@2 zaWt85$6|@b_-*Bxn|fYKB+JBg7K$V1;aa#F#gQg?uOhhhhxqN>6s9buvt(=w;$@q^ zvvA;0r?8jO)XUD!x({ftVfC`)ijQA{$;-kk2YO_9WL5a^PCK*ORPYQO^-{RmoYzV$s1QNwoAI zV!=D5qEM?wWlRHT#hfhZS7!#r!zC4hZ)-qc&wl?8h42 zyu!jl&W~4%Mk}wTBR7<4hLjdOBDc?-+fDu~ew!sKcfw(}*YEje&M*EkUUd{vEw8gP zmD)vRT8S2QgZ70ge^06(-A+5S8Dq-FeAc}U%ZblCMEiIgcRqr8=B^WtIp1eU?IC@% zu!)AMVE%^52*bT&P& zn>OXDwNA4?(J-T_DrF^yeNW48SwPk&a2OwS8N;#ss;3p0OZ8_}bjs$VHAt`kY&$s| ziFiP9)Wd5hAo`s_khGNO_id+XIEI!oJ{_6Nph)O(=7GGxsj=|bmZL}lUs%4z{=sIo z@y)Df@pgGdHVJrd116o~x~*RGBG-jlf$uW%m$g6jM9&sJe@p#|spOZWT+}!lsOl_I zdYPKA9fYZgvDf5SDD57@PlNK?@@5X#ISDEr+Fn_<<;ZD8V4{|$nn&^p*^r4X4!`fD zunPjudE$_7AT!Ds!q=#3$QoVXru{3g$VS^|4%7r-wrGC@S>HtoDy2;(6UJi$7pL-v zUo$nVMya$({G#FXJ^}idezK1`c~NJzT7#gY=6gQr1;5P`M14b`MqLRt$`vt6}K(8{7_0Lup#%ot2j=fYO`-Zx9W5X8BzLXP(n0`t_|z8%AKX4dIf zXvk%he7v_0bh(sgK++5IOjMfNbT*b=*{~t0padDdObSA`2t9e31Of(<{}{E5tb&JM zY6`wQVnBbA@dtbaKKb4Gql#~eaY$5<+%l0}B=aXD>N>+$^bSqCu$)BrLJ!pKN8Jro#~>TVGpZhhsH9=$lbLYpZk?QUs*4a}=_;MwVm z@V4IEZNr|`nnC|ccbx_q<@n&JH;kNeCrvkHE z%)#LD--aN()AcvhgOBzmc*}wP$dWe)?6&adBB>vGjQh2Aizz38A(!S68U&VKQNWII z;(WmE_f%6TeL-@%(;x%4B+3KVoUG2$xcgfm=j$x|*@GFaZOL-?Igppg(Qzq>_J*qc zhvzmJf={9toPda7Vre+|7!Ut7P~)^O^Myt;TnIzcNxNdXf(UoHrhX-<;rJ1~?JL7g z7->jiqVbNsJr&_o!jcjtY@9%{n7Q$Z;uja3zYV!Il3}?}38lxQ|oXoByGQC6gZj8L2PKvwnAlWHpoLnTUT@YCK^Anoz^v(gK zctR}gZAdDikxmTg9A(vj^!Xhn{HJatvi%x`*}3O9K6O}7sMSP^H3e)b-^6`|UFs)G zbGx*xwkN9k3fW=hs`y?uF6G=-&DmCLa|^Jkw|v-E4?f&%*iHt5n8H5+=Yxxe@DXuu zCPG9s`G#7)d^VtRE_^kD{pED6xs?&Vcjc0G7$3uuqg(8}b#Uv;TRUlo(ru>gj9r#7 zAwxsHg(UF`2!$9p$;vsrrsDaj%*yMXCmgDyJ8r+obk;toSFNt_V7JtjeQ>)^YJY6guv^FhfrPT}$h&RPU-eKom4==iR}F1$hi zf3QP!f1XKyk#Fx!k*f8*@(KRS_fns!RF(4aj8OC+`=_~*!Y1=Gleiqjp13RvaYVVSL7 zcfh()k~<%f%W@lLHmHSvEvRO%>gyMJAHOuF{)!{VIH&M>L|jN@OHQa*xO7Dzar0_} z7KPZ!E71fqL%fUZ%751%>AkT_sllWV!2u_ncXO^ljzaT#fCZcytkD(`7ICYYR+?_( zt7ZQE#l~1^^cg4QqWNAnf4l_-DB72_9sle-Sqwg$gC4J+5TI9vaHAr5PiVemMBLg| z^AM|?nE%&(cLf@K{f79=DbY!rLM#Sr`aD4kpZedlQmiuT#S`tstoW_1jej_n(ww!o zVv|U>F8b!b8&f`sc=fv_M6+gbK&CzCK9>6ONHuNDHM$k&&}<5(At;TB-!_y6YQAz6 z?k41M4{h9D8XTFToYX3N5VIL51&*#zS~yg9TAZ|)yZE=pK|h|vKvS>t1N6hbX8*Iu zU|^Ihj%Sdk*}`jpToZ{s{i#_pZdgPFV=zQ0edxgfA=zHoN_2`b=XF&--ji*Qa5$@_ zc`Qcj{39Itee9ecLm>D`pMVm<(ANI+9!X9XfHeq_i z5OP&{Z?GC8bPxb#goHCJxMo5mBF>i$%-MrYUO|5oKo`AX`1#xI~Lj)nBPjFYME$={31iQS`* zz@8qrJrs&Pmcvj;atNjQ`yR^XD5Zi)u>tW_(9x&t!2GCT&;@6|(VhlDs#P|UQ%plF z#c6r+I`$ZZ_Nw^8GQ@}}9UO=$G?i%_ir*b5;qu_XoXT~Xec-sxl9&suh0AH8l}v-k zJIolRM#rXtA+h~QLEh%&jZvW;!zEJeV>7b>=CilX^UWnO+DybAO53{{ zWY=s|aePiT4D@BJ1S#+Y|%iYR|z)FQVs5qg^d_Z$aLR)pxVF47V^Q!hjj*nms4m{s?m0=}tH| zZ+TU+qQ+W_HX!flR~T`4h_oU8yo|6~+ci#qyEy`W?74Z>2Hl~^py+A>8B&c|epBH}Q247O zN0RMt?$sZrN`KX43}5M-8lbNE$Dl}yGM1oI4^<<(c=FAo6W8~HhayO@Mz(fYJXzCG-nyN2E?9Tu;r^(6KTjr>Q#o+5ZfSO)^UCQLrGq3fE^hM5EQrPc z7iXt>W+(HK3e7;v)!lI~2XcF)>!}~HA9q~ta*ng(x~2jgSw#VlbA4a5@?dXebu0uz z>ZZc+53N=B!tw;hbx?mW#tEkP|8RU(y$ItCTCSs>G?^2HyCr!5$B70)>(A3wNn2wS zP{JVXsmoRI>#EmARWG}M#Nw;^ZG0yBfYpN|iqagrd1^~=*2icLhC-%|tv@#ApP)_M z@7geqxbg69v3(;1~ns1<7~6RNM|4IU8)y2?~vUWH7GWFE4~ad&jYJZFEh|Ys8fiUv~*Fz;}qf+ zZw)b?&Ek)D9rKTrd&YfQw3ra~K7Tr47NV6CMc?Jb7cZW!vBpP1fS(=zTl5VQa8mvM zqY%JV{nzN=KgA6Hr$9khbJ+-(+5E2kNB=o|_)n39v$pTF0C#WCaoM-T*o`@X=pLp2 zbx!;Ltc09YiFPt>$-n(zGpfc{<%En+Gf+9ec4h!jLmFrrcDL>1_%IE6f-~LL+Pw(J z0|6_{NHwO%1ovTBC37~2J}m`63i!7ntcf4OXB@2iivoAL*d*FdR`dU&$Y!C-&C07x>Ne_%MlH5Wnp4d;(*)Yb$Q-P}+;6t6}0_yEW|@xxiK z*vHGQ%OTENU($VW4;zV&uhPt?!J@hC0@I?Zs}X$5To zxe3OR4MTj6w7NM35FK*^t6zybF!Q`XW7`*|9ZQZ2s~h)$vEbjGHef#* zfB{Hq(Bj4!;gAQk|5 z45#w1wVVvBv$vE>(JjCX5KK(+!l$*&UtF=@XQ2EMw0wmD;B-Jm;OU_UWS>5YhN^!V z{|2!9PCr+l{r_GCoMhn15kaE;c&Wk~u~U=V4#4?4yyfB=ZKpR0oj(w>t#ATv2CxFT zW**2`4XeaN(;O;v5x6%XcV@T&wgZ?@)UOzcwigonI>Drk8V1v}10ssI{Vu!luqzc& z6!?+jhgXhM;q@0RO;v~gUWWj`An*q5;+p5k`U4Z5@(sYO^g60cSM^kiy5t;H!;ou{&bT0`-P6;zo zz8)sFg_)R)ef(a(E+ar2tqndOU!|tR)HZWs&bE`B+7pB`J&{*A`)`df`XU<>W+v*g z4YweM0%SQzAho9aL|V~Os86`x z=PAm=hf1A2X@Mcp^A!$+riR`(9;nEF_-YPPBb-YhHarA7HC66-#hvEU#y8{Cbr8kl z-|s4NeFo}`-jy>l#Z|`66?Ax2IHlMnFTUYr+{<6*Z`-$@mn%l7h6Gf6DE#ESPUB4y z-E2!a`TEzcduGBI*B8X1;d-9!uVlmd?NVKts)PI+zx5M*;+rA|a|DKxqXH&3mjf0q zg-V-=l7@CU58ivVBh&4>nZOocV;UN2`O2qFwwF=i?48*IJyYmNyyC} zrRjPqfxU8W!}iXC+!OCy_#R^L`+78c_nkh?(Pb6I_AL97?k{!M68n6&2!LYTd&HIN z8GE=eY36JM?{d#|*1%;niY~=T*SlUe-vZTR^XAMOO=G8LqMJ zK!n&5Kp?p?l=(Ea@4ry{f*hAVn3*Kud?B0zgJK-9aUhBNf^H##y zV@l!W+Zb*#Wcs-_Y%Zxxj?ccN-RFgY;Q4NPl}8J~S9}RQ05cuhgXi4bsWMr##WbCy zx;?+ADGneG(}-*)o=0Z8%|!@7o;`|iXVo+F@XZ*=RNTh}n>ZQ}ViuGy$LP9Iu+rJ# zR_dYEZBW>Dzw>ebj`GQS$I&5_f+?wyH>fc%d`=-+i5VFF4OpenOpWAYkYX62ty7jV zG?K6ANHw5&N(%1_)iJw_Y1@Wr6Z))|;-ZTZDNKANQ6p)hY|b`=GD>w$|D$ z%I0-1pZBnyC|b+K`&|pm{*7l7nVMvED zJoe_d*6qvta@xED<94mo+Uge*r@@xXb@A{kx%qyGf~GGDebko&*B58GS0|*euE5#j zD)M1vD9`XXCqTPVonekHzZ$#VdEX|8Q`L76jwK@?YcbcLpch2ga0OjB4>iWp;x2*R zBrqp5kf6}5-R8B)w0xIj<1&p8&3(XOmHcEs7SGhcE?u$56koYh3P2uD+`47B(~?ny zv!5KVT3(#ZL@`({dMS}a2|esAY9}1f?8>FH5TPtE+zqtyt$_J>w3+qXrwKWLrh*1u z$0pYK4Zi83SNM~Rho4*;RNgVS)%~H;7QbAl@`Xt@=gPTSF8UZ51_5R|SvqBgT+9A< z$0C2$y7SxGC=OIj<_xq1N7zufw>GB?7D1fj#iZPNnu9zw&U0HP zZSnZ8(tH(AvDT^1)>w(P58`fUkD>Kx9WamuFmb$)?iyWEuhGHd>z%ufuA0z}f=}wV z#TNI)ZvSSn69$9V$rkGk@KdV}&92jbAoNg3FZ%(C@|dL`ByB!V@}Sw`AeYC8Ik?3c z55pw}h|R=7syZlxY=O#Q`w4vZcNTALChujhXPK18`wYpK^A23sfQqUe?@}Lo#@lpBAiRfs zk#kto++;VnqXPX|8HX0Sp3uJBD?cy=fV>@J$KpY!AYrepTa{xTgjauepJ(*%4%*3` z;1=>>`+>g%z^uliO8WV#1qS$DHqed*@J`n9GrW{gk6TR9D$t_w$#zZoEQDd?q=ByP z#rGUdYO+6)TTvi@^lvhKOlW!7v8bVFwpk@SnjaE5Qhf1jZ5R=3zrE)1nDE>$|;SHkvdL^utg{4pJ+=iH8x^#AamK zIMK-}|S)BaQx!f)wnmD!@ej_iL zdhSoyry|f2t`G8IYG}uJ;}qCRxHJEeZr)EL-G}v25*kRGJU|o<#E}mVPGL8W_juo9 zj&7x*{g~7_7Q|O8@JYQ@mbt!#wxh0vHbf*}|4P5_%I)SpkZts;hKM(JRiiff)t~pX zcga0L8;?HH+{-~TE=Z%TXRcIK0qF;yTaN?IJz0<-I0aT9_+K^Ef0*0)CvvqshracW zV<#4gxb*OOM8KuQZuyrN)yz)VUxN3;j^v8q}LS*)kDd5LJBVD=cHzWE?TeIwrBEb{isxOU93)f|+uN z1IlX)?9kAb$r3ML-rmkV>}SWgpzhPP6CF%s*|}JAil}?A28SK`?K7MJk$L&~_d%`~t^r^nw0 z>ycmonzl;sX(=UdpBxRJ98`LYGr}I6B8M`z=l@MBkAfa5B_FSx>;OpEolfACxW1n> zx2gCnvvxbaUrytqXQW*D!#RLc_?{NW*VY&0qbFpCb}w-Xz)yQ(cH5)(U)N1tTilDC zF1dbUl;H8xP_w`09iX^s&)Fo`Q5UW>uSoX!i(Zx`ZPIA3_0wYP+M&k@5e2q}Ncs%% zUb>O4g*as)v84^QNA3P1`k`7MyjbpbN2NuerF#aV&M#dc1u;ghi z0BRnidRj7U0il+5$xT__@RJUSrAb@u+lQ~83;YDg`YX{&X;FZ+@&6)y(PIH#4eIyLH?c;{KV| z6H4F0tqa)M+>F+h6b5erT$bf*Y#+~SM~>I`rtk`bb>FV$?>snpl=ogt`$_y=>Da!# zQ*vwM!b%mKeHNzdx@~?_0Dr1yWx97&6$$$r zs!-6N`s|OY8qJEsp4)UVC<~+l;I`e)){<<*ORC1`pR9F50I0=UtVPwqz8CNDWIOhJ zy4&nTojtef6*os7to)$DbU<;gR=>(A)Cx|t#Mvk$nPt*Y;KYLLbrvQ;c_@eRWpnt- zXGMHMc9{nQ+&wAng>~n@sovk!x?_VYx7b7CF9zjxv=8}*;s$aT{_sjA3!LWX{3W%@ zf&1hLq73UEAlx1yrV!wy_{C?RyAznzVhJQ_61g)ArlP_P(Z2jQli_G~#ZwX`W!LB2 z+LTYPCJGUcEjs_<$3j7>ZC}k(*tL&FGyWZK0<&D>IRRZC-ws9eLvL?EmlLyo>powU0`tX z$G?MR-v4OU%;a|%(_X_lVD+3&tU296X6-^-|FwfITW666m_WvY80+M}c4^a}R1&36 zUCIA;A#um;k%MCYbwl~z-QVhtHZ6su#3PGB5XX=9|5AKo#Qk4*?>`pIE>_=g_kZkm z_Adqge>bti)dn6crAf3O4tmV-29th&kZ33V7@p%r5y|*rC_s0UPqP_t1E&=B`oZzx zHuN;Rx0UT{<+VIGfGuIxf4L_a$mm5(2StieTxtanr_x`Td3W;Oa$PJV#Zea-_;H9cQ9N=Yqg+%_vM*p|6u>X?1|D`j|jp+(2CKVKoSG@)ZJ}x=;G< zlpE9tmmfXa;RPR?`T;2Sd-F4oskNMLDnvmrd&S=zY(>-s`BxBYTmsFe zMxezALfSnYHpgO5E_Ht)<}9(iaCP8o#<9gq1jnA~z1_pr0H`Y@ddKkdBde1+JIfZo zdyE-c6s;5tlcMK?sx)kBRF&R@INE-O7R6vw=dgvMUhnlk)SKR`xbjr=%cQMs?Dk~r ziRc@kF<%4wmr_~BA9#5W_%(8!0j**=XL@oUQtXfFoO$lBg~>>u?73J`XN4q>%bT%wa2X6wYc_JDh_+P~kdSZVQEj zmbRPb#6x9VwzGPoZY=-2Y9{^B@a4vRkJn&2<>S`MXYLnPLF^Y6JLGh^GW2B1clVNV z&64r@?0d@g2~{s*9{;Lyec2;QyLur#w%|tIFs@^evX?R~dq!-WYB#AT=#tWCv8(Py zO&bDKc=jrfQte`^cQPI_#Rp@u-4A z>Wh2A3`=X1c^4T>w)PbANUCjD**49O<`H$uoc>!z!6eV?tgCy*5Eao!6jq1zQ=mxn zbiWS+uZV^H_A#TyvKRLq)xb%8vyImCYu)#A;jUg(Ly#l$&-6?1oLZ@>!O=R|JE5+` zFF|g5D!Onx_#l+5t4w_SlSi>`Q-0Z;Phz5oGkE92vT)&683L`nmyxccH&4Atn|s#R z=sjt0SVlxc#qHsritaaFCO?x7E!Pp>#Cy~BtvDNcP3(VbbJU2< z+&G>E%IfQubf*$Y@WD;o+GT((P_IlbU&TbHrL=W}x16}*I@mT6cq>tHQ~On|JP(lbTZ{2y4%-jAg z_cD-!br*~#%a%`6cEaq~jTTq0Z&HFR#!xv)5{R+mHT1r5i$#!HOL4>gxy_+TKCg>h zJ}3o>Og(#-!SWtfVAb3zPJhvXE@gOZb4v)ys*Cf?(Yj5?k$h)Y$;`PV`)RZIGsa9` z+l7|#DykSws}#7t-e`m)mER6sZW5|d+}8Eixivjyu9X&vRWyWmTz2a^LyG9EXk|+8 z*^;FC55XZytux8OelE?kLol5u7qKn-GRLBIYTb}-y`E0~<3cgK4M*aq@6g&O8_S6+&sZ;R8s<*RagAU!qCZA#U#dWA0)5d%wU=33~k-L;*b??okM)8Usu*R z5bRs5oI35TPot~FLE+sIG|X) z_M|A1Yp%y0XlIOUh}mb>+nYZd+wCFzB!I^*mRqN^PV74mkSQv8@J-xR88?kQG zeM{B`R;8j$?K-MiV?*ZI7J?pDDTIW{3D!ESZnL=ZgH;CHyxwLQ6V~cuGO2nssrp3? z(XZL%C-(E!D!;l_Qw}x6y@sgr4lGG|^r%8&X`PY!fSp>#W9peEswR1V?cMFguyqTs zFf&|8y4jk8&aUqzT7Bd+ zejo2OZ)WmSuIdr^I~xf6UC7KSJy%a~I4M`p-RMvN|50V4emp#*>UQ!dBk~YP*mS}fMYf<@x}B9wR>mz0RQg5(-eNj;jKShv zChKN)#WR%`fF!|ewE0o&wkv`e1k>J$Qj!kfq}uS<)3Ulr=|!kAKXh~acRLB`)iSpz zs6i%tOz3sEZ&y7Y-S_VEp5D3VtPth{@dzzv7q9h=D~-w zQ};8ET4C5#3TJ5&rpmE}&~FfI+5XOj%;IL0RNwpThK2hUj}9%Qo|M`NFNWp1+?q6Ij$`zxtlCf z1Mf~e*3TaE>pp}36jq_Pm|@>nn5&T;qqkUssTo6IhvgWu2(Hl%i^O_+D-qX&miT~Lp~j9x)b%4b>GlDK0V4z-z-7!UM-d_my7I%RG5yKbQ>e8Fp| z*4n{G)3pqk)=gtmF}5B^23GeK@S;r%i6fJ!0gIQGZH#Qa@t6b?V@O$Q5wZ(Gk8V%E za{ShOf};afOJ8~m#dqu(Sws>|ewN-cF@>@z)IpQKIfk_E^4B-!N*TS~D%??$W@B+( zqfLqCo?OGAlhcb)ILrKL=4ty`sy-7T`*kg^d{JH#@w5i)8&?bX}+FrNm(X@4?)PXJ_3-zofMF zDg%M7+56buv#BJJO!lXuf_?i@zEdBpF>?dKeEW&P{O&cZ_SEp!qqK#hgKzC)?R^_^ zQy)wA-I-z1JbCpV9@6BV$DDO$c}Kl5?l@x)64m&!fP3QlbAc-s=*??Qrhdc1K{ zpN6BbWfKC=l94rGyfO^M6ByXA#>dU12Zv5n?uoK|KzJ1xQ`fe-SUyz%HW5CGWk@O8 zY`>kF3cRW{cU`zToRajaa?;_~R&O*+8K;_V)u=V3tun0@GSJZyJ>M#;=L!Pe^Hidw zUA>tYW#lJ(Bao73leI?*I2<8Jd$1WVE6TUoRzt3xWQR*!zdnfwpk7jv?*36#NAFRq zTW>aYi4Oyymi2&QJR<|vL4EW!>c}+&ym6Z_K~Xg4Yoy5oyz_G97lqLrHOQ-Nk0-;D zzS+I5RhQ-|Qxiiv>S)Hq+9mVHbvC9Zw*P_D8pR&yM?6H5eC=S$RD1{XQhM(5)JeLK z%P`vrlx|Hpo`g{*_Sb>Ts&y?sDChiw*P!Cr;DJ``;3YX+)JKnL#deo=g+r`v3;5nFxCq}R;?mjBRZ)c(YM)*Mv+8*e13a!A}fx_daP0uBo)U$3Dg zc^Ro1bYM3rQ4ucpQ~`2{R7&WD{-#?m>wUNP<^tlk9p;_FcR#0JS9iqYN)X2b1GVSy z+dMqpMDwmESIk2fc~~e(nq`-_ipWmzS?xb==`J6J zj8r75{L5p<-_KSM2lm{ov(;2J>{_Ghw8S-lvtV*+#7Buy%b(069qN;8(L--WIIP;Q zRAkSmv^ykH^V}E~%&TD9cDCg2aO~ccmi*32lMaXVjAef^jCc^Z`7Xx0RHMP6qGM1& zkvSQ(KLx%@&NTbkfD|e90lQa?)2Gp_<_B6YAe)k$hKiuy9|3pnfZ=dTnnCEUOgu(6 z4h!a$PQcbRZkKxLTMoIjeR;Y%8Z|l3Q-wlknIGC+XDIDz#zMq^ zV^BnjS7IOs9fyH#z7(@aCgPgcK;7L<`?U%J{D5fIFM0e&W+htDUSLz3vmnsjG``v3 z%GQ|QXX`1)_hKSY{5tMi{{;EOox` zLvZoUHotH0Qw%I?DAULV#Hw2S)k-}Ta;!n^Ne;~NXU<|>l_sa50nXuAc!|W5na~#P zfgL9Pnq{u_C0&OR#U>7y(J!H}9!A{hLl3e&}pY%B`IyQmbQfeJQ~Ovh|%FJ6I>$fyL}U z63u_nK%Q^ecUf5EiS523`yHycyVE7#<|Vcm@uDf!C;oe6tCG9XQ4eg2rYDyuzpS!S z!1eunaTt43YL&d5>yT&L7%TR}@o2J-v0LFx$DfU7nMyvwd& zCgBZcut(lAp87}-W~96B>!Y7Dh0!wv?-|K%K5|DP8H%NkVzzBZd0k4B?XMr{-Q_{} zfeG;jMfJ&zk!3PH8iBnKxM$9e^g5o#PKO6!N5^ck9N2wtDyyZgO%ECOwec-t>lbvb zBez!G5V0@M2CvFcsM5_ysCpE1wN7T@+cORitZoyLnb~!Uf!E|tTUnid-?9>Bv~D!m zTZwk{68nI!5xwR1+2l|QVH$^#3NfVFxazS{hDw!zKKK`D2V@zK9J1YlgU5-(+o$yX) zQSiqyJ&bNdm0=KjoI870r8aKm^GrWs@>}lMaSm!wtt{!?~QQ z(Vu+#3wJi^F2rWUW^w_qG=9Z!O4jdO$9s3LFimcHEeS8dU-7p7qqpCS^rUnQ+YtQY z&T|oyiO^?0x5q_HFjKP!V1+0pXk*%;a$yd!D?Mg-asd(7z|&tPl4r_(@8yUvw*y5# zIxIuWRmgyk;pIzm9YTodx~D`N8j)QjZD=Yn!A85~b$@Mh6fZ8-*RU_ir8a|ZAB#70 ze#-lVe{D%ywx(lAEvx?C1~xOgsfKmC2laKbG>CqutUJO3YhmBZ7C5i4U)g*+r+zIR z#^+^;k!EC@xZZEcxp^b5WA1BKhD(f5X}(|A{Y`?=$pZ_n2{K$waE#$B`435q|c5=wAl6v~R@Sw&?bWfH&F0@tF9<-TWKRi{f z&Fhg+cisIKa5I?#N_~^2u(*!2p1X$bcAj>a9+Q79n?HnZXh2L=bw70f;#_JJxqqP* ztlhT1&r!!_FSJxYrHI(uVQy|c!M*^T=Wg#6?Fo)uUuHF-y(!h4-cE;K{Hodd)z-m6 z_k>uIg$WZIDAtd_+54q^4W`E~QHz>aKFVm8DL;@1Wh=V20NNX_wI|1-M%a2}GE-s_ z!j)>jY3Iw*0mk;qzaKSCR|}e8{#m3PVb$fyU-y)qXSVxMU+vN3 z9?OkQq+d)NU2hJbWRJ`InzbP3Ti(?mOYee-eNrTAdumz}A7*(i@WIdNuVY%v_IVDj zRQ@{wml^)p1HH#@?N?+z343=(c<{+Pm(a3D4a3XOo3sU?m2$ zSRibY@l(gYPtdYB?%>`A?Wv-}e!HPo8X32-F3#qZ=odvkp@BQE?YAbXCqM2G_RlQL ze`aa~zsaP?tP2X*kakzgZWYu15A~(Rv*2O_?<>~^?a^sZ+?ehp#AdFotSVJ?p{6U2 zX#Y7gxJE_^D{gfb-hPVS-joF{8kq)v7gK+U-(kp%uA1<_P$hNs4u}63INmiIZ7_w;0tIKA%q*W8UK=fZzn0J= zQRMpw{*Mume7fK2JK$2PExa`Mx4u>9`20P)wJ^cR%2s0!EAQ<=|{Q_ zr2f3Z=R@_+FmkuS){~vP*{$~!W`yQ{rUo;47fT!u)oS2I_D8ev9GMmfuiRTQapCHP z7{x_u#D|MP57wVpdY7f~50Aen5QX(*w&l+>rtVm;-|dq_Zp-{~?bDtvxYsirRDO*I zu`I_3xgt0XeL9gLuW|6BDFYE=)VwdHUy9YuR3%B`qe=1=F78=2J`W-3P8pB?LrPK`0ir*F}MTVkf+Zg)?Q1o@Y>JN`Z?A~%%uow|ybGn&8ckB^_I zS|0>iaOr7=vaEEZ&g)SV%pfwhVfO-9zQSF05l^#GVD&wI*Oioke`CDjTz+O#^$ov@ zKPTgf>raQQLhiLjy{V6x>1&@x+=og{(*{nm@GO8M9B_kA$e&5!*vsWYQ3ixvTu{;B zNWZv$@hR(&ek?6Rg+jCf?D4fR-N(HJ-8{b1y>h6{H9cln$=r2~FHk#+cZaWgtyz|e z+n39#9F0~2f-0%{K3Fn8A=QaWf-3cR5Y;1J=|?lP-Y5GF3@0ARWSZ3me58|%dFYn# zH1qlR!py6<+`5Z-!<)xr>&jbqflTpFG~fMQr4}qmJne_mJ&y<2yB@g}SQ>YG z+70;jmB#(TTD_5$b`L!o5Zf4)*ZlG*_hzk$@(Q9XMpGZ&ePK7?>Bk_G^)JWHRv!&h zCwmOIV`WGojU~Ya$moLDn`=dz;S4E*kISBOz9uH#zA^VR39sNN7fBo%RtXl7R!n6! zHSV_GWY`#=ZYzRI>a$vd+C3o$Xp6_LMj2 zX-3=q1^YN4xKlaIS_}|FwN3>WJWFnLKD*)A<_899G|pi}WsBNLcgffi(K`PI)1R+M zsU(AVEr7*``8rapTAFV$r#m10O1>ZnPCV!BVw4@)2*yM7(_iykkyruRT88+b{3*e`O(y4C~bT6GVIE#?`}mf2=47& zvi|C|Vg^WT`k#1b;fR*FPuJG_Yqs4r!((yYLSFn}{6bS!EUIvOH7C@AIDeB?;^404 z+Omau`GLD=ps&DU@b;a=Klg-Ub%9YrG%14k5ANH1Q>Jr9n~)!<&asAjw5@F!i(eTT z%|NuLhG;8&h(G4WTAbd&VH1s1+nLdW%CxJWKYgq|5NAMhXAPZmH&656QCI|!SqJ2C&7RpY3g(X2 zQNJ8cN;3%AgxT_fFZfXh5RQj5aQCYDQN4K6Kr{k+ZbOOIrdywXV!$ z@4oHp7tFx9$}_% zPjO6PemEzTjn&)sR+zsx>`*;r7d=&gu%mOmuaaze@@pfFRUyM`aKNgTmKsFi+Cv;*7~${#aSwmR-~X|K)P`+{3{x^4HDqRkiIQtKm=XmyMYa_=xPU}@hHFz+hW?I6H=|k|JsVzF>X+YTofu9I zobfiOp$M>-TD z->+bvIk(%sH)i?Gvy{t7SgUjfjoTuZ(-Do6qcxI$n-kdQbL zbT01GcJQR-yzuzIbiH!DNh0%d*`d&4oz^W{*o-BFPTk(#md zUo4?>($vwmU-UxRRl&p!v4~o^wJw83z|eRF;fRq{l80}FGVt3g>eudIxOHs z=tlOccx*pJ$B9DHoQ9h|{1cgJ;gvang;wXAA!6dmovU+*h7GTm)UG+T#178xZJP3kmC?&X3n(BeS5QC~?JQfFPpJZTd{ z{^@0dM0ieJS{^Arj%?$GH5qMg(q$=_0&0N!9^%sSW@x7^$AryBc*)3=drv`M$l7Pi+)CD>Aeq!24+_y?zb)C;b3RMF-!POmjYj!8P)@^DkYl18{ zM@8x9u(d_(A^f+c;tt8AeXa~#M73gtcmok{6D_$e5*1RVkl1|t&az5-m}T?MtUp7 z<_NbiQh$@Rk6GkpK1!WeWLL&uV0Ia&d5%njMgatVB8~r>X!niiz!EaW2>1&nxg-&7 zAW`2saoec^=i$?UYoB8z*|#jF{=MRL7s!B`x1!H%ECu(~3A#@?3B)e3+ z)I^OLWmMBLLM}wSRmTnY;n@x305EGE{9nTww?6{sC4`ke2hp^5M+v|=Kt3yTTU3?l R#l#={|H1zs{Quwc|6eA8P|E-S literal 0 HcmV?d00001