From c75dd19b0fafb94058179c6e1a0fb0ce7b403b80 Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Wed, 28 Mar 2018 14:20:59 +0800
Subject: [PATCH] auto commit
---
README.md | 7 -
notes/HTTP.md | 96 +-
notes/Linux.md | 2 +-
notes/算法.md | 1621 ---------------
notes/计算机操作系统.md | 4 +-
notes/设计模式.md | 1800 -----------------
pics/2d09a847-b854-439c-9198-b29c65810944.png | Bin 0 -> 13312 bytes
pics/450px-HTTP_persistent_connection.svg.png | Bin 0 -> 13312 bytes
pics/HTTP_RequestMessageExample.png | Bin 0 -> 23552 bytes
pics/HTTP_ResponseMessageExample.png | Bin 0 -> 26624 bytes
pics/How-HTTPS-Works.png | Bin 0 -> 116736 bytes
pics/a314bb79-5b18-4e63-a976-3448bffa6f1b.png | Bin 0 -> 11264 bytes
pics/dc00f70e-c5c8-4d20-baf1-2d70014a97e3.jpg | Bin 0 -> 20480 bytes
pics/mutualssl_small.png | Bin 0 -> 99328 bytes
pics/pcrypt.gif | Bin 0 -> 11264 bytes
pics/scrypt.gif | Bin 0 -> 11264 bytes
pics/ssl-offloading.jpg | Bin 0 -> 81920 bytes
pics/url_diagram.png | Bin 0 -> 8192 bytes
18 files changed, 60 insertions(+), 3470 deletions(-)
delete mode 100644 notes/算法.md
delete mode 100644 notes/设计模式.md
create mode 100644 pics/2d09a847-b854-439c-9198-b29c65810944.png
create mode 100644 pics/450px-HTTP_persistent_connection.svg.png
create mode 100644 pics/HTTP_RequestMessageExample.png
create mode 100644 pics/HTTP_ResponseMessageExample.png
create mode 100644 pics/How-HTTPS-Works.png
create mode 100644 pics/a314bb79-5b18-4e63-a976-3448bffa6f1b.png
create mode 100644 pics/dc00f70e-c5c8-4d20-baf1-2d70014a97e3.jpg
create mode 100644 pics/mutualssl_small.png
create mode 100644 pics/pcrypt.gif
create mode 100644 pics/scrypt.gif
create mode 100644 pics/ssl-offloading.jpg
create mode 100644 pics/url_diagram.png
diff --git a/README.md b/README.md
index 54d44a9d..db99de25 100644
--- a/README.md
+++ b/README.md
@@ -160,10 +160,3 @@ Google 开源项目的代码风格规范。
**关于转载**
本仓库内容使用到的资料都会在最后面的参考资料中给出引用链接,希望您在使用本仓库的内容时也能给出相应的引用链接。
-
-## License
-
-
-
-本作品采用 知识共享署名-非商业性使用-相同方式共享 3.0 中国大陆许可协议 进行许可。
-
diff --git a/notes/HTTP.md b/notes/HTTP.md
index a20cc03c..37d723c9 100644
--- a/notes/HTTP.md
+++ b/notes/HTTP.md
@@ -67,17 +67,17 @@
URI 包含 URL 和 URN,目前 WEB 只有 URL 比较流行,所以见到的基本都是 URL。
-
+
## 请求和响应报文
### 1. 请求报文
-
+
### 2. 响应报文
-
+
# 二、HTTP 方法
@@ -178,7 +178,7 @@ DELETE /file.html HTTP/1.1
CONNECT www.example.com:443 HTTP/1.1
```
-
+
## TRACE
@@ -190,8 +190,6 @@ CONNECT www.example.com:443 HTTP/1.1
通常不会使用 TRACE,并且它容易受到 XST 攻击(Cross-Site Tracing,跨站追踪),因此更不会去使用它。
-
-
# 三、HTTP 状态码
服务器返回的 **响应报文** 中第一行为状态行,包含了状态码以及原因短语,用来告知客户端请求的结果。
@@ -220,9 +218,9 @@ CONNECT www.example.com:443 HTTP/1.1
- **303 See Other** :和 302 有着相同的功能,但是 303 明确要求客户端应该采用 GET 方法获取资源。
-- 注:虽然 HTTP 协议规定 301、302 状态下重定向时不允许把 POST 方法改成 GET 方法,但是大多数浏览器都会 在 301、302 和 303 状态下的重定向把 POST 方法改成 GET 方法。
+- 注:虽然 HTTP 协议规定 301、302 状态下重定向时不允许把 POST 方法改成 GET 方法,但是大多数浏览器都会在 301、302 和 303 状态下的重定向把 POST 方法改成 GET 方法。
-- **304 Not Modified** :如果请求报文首部包含一些条件,例如:If-Match,If-ModifiedSince,If-None-Match,If-Range,If-Unmodified-Since,但是不满足条件,则服务器会返回 304 状态码。
+- **304 Not Modified** :如果请求报文首部包含一些条件,例如:If-Match,If-ModifiedSince,If-None-Match,If-Range,If-Unmodified-Since,如果不满足条件,则服务器会返回 304 状态码。
- **307 Temporary Redirect** :临时重定向,与 302 的含义类似,但是 307 要求浏览器不会把重定向请求的 POST 方法改成 GET 方法。
@@ -232,8 +230,6 @@ CONNECT www.example.com:443 HTTP/1.1
- **401 Unauthorized** :该状态码表示发送的请求需要有认证信息(BASIC 认证、DIGEST 认证)。如果之前已进行过一次请求,则表示用户认证失败。
-
-
- **403 Forbidden** :请求被拒绝,服务器端没有必要给出拒绝的详细理由。
- **404 Not Found**
@@ -323,7 +319,7 @@ CONNECT www.example.com:443 HTTP/1.1
HTTP 协议是无状态的,主要是为了让 HTTP 协议尽可能简单,使得它能够处理大量事务。HTTP/1.1 引入 Cookie 来保存状态信息。
-Cookie 是服务器发送给客户端的数据,该数据会被保存在浏览器中,并且在下一次发送请求时包含该数据。通过 Cookie 可以让服务器知道两个请求是否来自于同一个客户端,从而实现保持登录状态等功能。
+Cookie 是服务器发送给客户端的数据,该数据会被保存在浏览器中,并且客户端的下一次请求报文会包含该数据。通过 Cookie 可以让服务器知道两个请求是否来自于同一个客户端,从而实现保持登录状态等功能。
### 1. 创建过程
@@ -354,12 +350,12 @@ Cookie: yummy_cookie=choco; tasty_cookie=strawberry
| expires=DATE | Cookie 的有效期(若不明确指定则默认为浏览器关闭前为止) |
| path=PATH | 将服务器上的文件目录作为 Cookie 的适用对象(若不指定则默认为文档所在的文件目录) |
| domain=域名 | 作为 Cookie 适用对象的域名(若不指定则默认为创建 Cookie 的服务器的域名) |
-| Secure | 仅在 HTTPS 安全通信时才会发送 Cookie |
+| Secure | 仅在 HTTPs 安全通信时才会发送 Cookie |
| HttpOnly | 加以限制,使 Cookie 不能被 JavaScript 脚本访问 |
### 3. Session 和 Cookie 区别
-Session 是服务器用来跟踪用户的一种手段,每个 Session 都有一个唯一标识:Session ID。当服务器创建了一个 Session 时,给客户端发送的响应报文就包含了 Set-Cookie 字段,其中有一个名为 sid 的键值对,这个键值对就是 Session ID。客户端收到后就把 Cookie 保存在浏览器中,并且之后发送的请求报文都包含 Session ID。HTTP 就是通过 Session 和 Cookie 这两种方式一起合作来实现跟踪用户状态的,Session 用于服务器端,Cookie 用于客户端。
+Session 是服务器用来跟踪用户的一种手段,每个 Session 都有一个唯一标识:Session ID。当服务器创建了一个 Session 时,给客户端发送的响应报文包含了 Set-Cookie 字段,其中有一个名为 sid 的键值对,这个键值对就是 Session ID。客户端收到后就把 Cookie 保存在浏览器中,并且之后发送的请求报文都包含 Session ID。HTTP 就是通过 Session 和 Cookie 这两种方式一起合作来实现跟踪用户状态的,Session 用于服务器端,Cookie 用于客户端。
### 4. 浏览器禁用 Cookie 的情况
@@ -413,14 +409,12 @@ Expires 字段也可以用于告知缓存服务器该资源什么时候会过期
当浏览器访问一个包含多张图片的 HTML 页面时,除了请求访问 HTML 页面资源,还会请求图片资源,如果每进行一次 HTTP 通信就要断开一次 TCP 连接,连接建立和断开的开销会很大。持久连接只需要建立一次 TCP 连接就能进行多次 HTTP 通信。
-
+
持久连接需要使用 Connection 首部字段进行管理。HTTP/1.1 开始 HTTP 默认是持久化连接的,如果要断开 TCP 连接,需要由客户端或者服务器端提出断开,使用 Connection : close;而在 HTTP/1.1 之前默认是非持久化连接的,如果要维持持续连接,需要使用 Connection : Keep-Alive。
**管线化方式** 可以同时发送多个请求和响应,而不需要发送一个请求然后等待响应之后再发下一个请求。
-
-
## 编码
编码(Encoding)主要是为了对实体进行压缩。常用的编码有:gzip、compress、deflate、identity,其中 identity 表示不执行压缩的编码格式。
@@ -486,24 +480,22 @@ Content-Length: 1024
代理服务器接受客户端的请求,并且转发给其它服务器。
-代理服务器一般是透明的,不会改变 URL。
-
使用代理的主要目的是:缓存、网络访问控制以及访问日志记录。
-
+代理服务器分为正向代理和反向代理两种,用户察觉得到正向代理的存在,而反向代理一般位于内部网络中,用户察觉不到。
+
+
+
+
### 2. 网关
与代理服务器不同的是,网关服务器会将 HTTP 转化为其它协议进行通信,从而请求其它非 HTTP 服务器的服务。
-
-
### 3. 隧道
使用 SSL 等加密手段,为客户端和服务器之间建立一条安全的通信线路。
-
-
# 六、HTTPs
HTTP 有以下安全性问题:
@@ -514,26 +506,44 @@ HTTP 有以下安全性问题:
HTTPs 并不是新协议,而是 HTTP 先和 SSL(Secure Socket Layer)通信,再由 SSL 和 TCP 通信。通过使用 SSL,HTTPs 提供了加密、认证和完整性保护。
+
+
## 加密
-有两种加密方式:对称密钥加密和公开密钥加密。对称密钥加密的加密和解密使用同一密钥,而公开密钥加密使用一对密钥用于加密和解密,分别为公开密钥和私有密钥。公开密钥所有人都可以获得,通信发送方获得接收方的公开密钥之后,就可以使用公开密钥进行加密,接收方收到通信内容后使用私有密钥解密。
+### 1. 对称密钥
-对称密钥加密的缺点:无法安全传输密钥;公开密钥加密的缺点:相对来说更耗时。
+(Symmetric-Key Encryption),加密的加密和解密使用同一密钥。
-HTTPs 采用 **混合的加密机制** ,使用公开密钥加密用于传输对称密钥,之后使用对称密钥加密进行通信。(下图中,共享密钥即对称密钥)
+- 优点:运算速度快;
+- 缺点:密钥容易被获取。
-
+
+
+### 2. 公开密钥
+
+(Public-Key Encryption)而公开密钥加密使用一对密钥用于加密和解密,分别为公开密钥和私有密钥。公开密钥所有人都可以获得,通信发送方获得接收方的公开密钥之后,就可以使用公开密钥进行加密,接收方收到通信内容后使用私有密钥解密。
+
+- 优点:更为安全;
+- 缺点:运算速度慢;
+
+
+
+### 3. HTTPs 采用的加密方式
+
+HTTPs 采用混合的加密机制,使用公开密钥加密用于传输对称密钥,之后使用对称密钥加密进行通信。
+
+
## 认证
通过使用 **证书** 来对通信方进行认证。
+
+
数字证书认证机构(CA,Certificate Authority)是客户端与服务器双方都可信赖的第三方机构。服务器的运营人员向 CA 提出公开密钥的申请,CA 在判明提出申请者的身份之后,会对已申请的公开密钥做数字签名,然后分配这个已签名的公开密钥,并将该公开密钥放入公开密钥证书后绑定在一起。
进行 HTTPs 通信时,服务器会把证书发送给客户端,客户端取得其中的公开密钥之后,先进行验证,如果验证通过,就可以开始通信。
-除了上诉提到的服务器端证书之外,还有客户端证书,客户端证书的目的就是让服务器对客户端进行验证。客户端证书需要用户自行安装,只有在业务需要非常高的安全性时才使用客户端证书,例如网上银行。
-
使用 OpenSSL 这套开源程序,每个人都可以构建一套属于自己的认证机构,从而自己给自己颁发服务器证书。浏览器在访问该服务器时,会显示“无法确认连接安全性”或“该网站的安全证书存在问题”等警告消息。
## 完整性
@@ -542,8 +552,6 @@ SSL 提供摘要功能来验证完整性。
# 七、Web 攻击技术
-Web 攻击的主要目标是使用 HTTP 协议的 Web 应用。
-
## 攻击模式
### 1. 主动攻击
@@ -558,7 +566,7 @@ Web 攻击的主要目标是使用 HTTP 协议的 Web 应用。
### 1. 概念
-(Cross-Site Scripting, XSS),可以将代码注入到用户浏览的网页上,这种代码包含 HTML 和 JavaScript。通过利用网页开发时留下的漏洞,通过巧妙的方法注入恶意指令代码到网页,使用户加载并执行攻击者恶意制造的网页程序。攻击成功后,攻击者可能得到更高的权限(如执行一些操作)、私密网页内容、会话和 Cookie 等各种内容。
+(Cross-Site Scripting, XSS),可以将代码注入到用户浏览的网页上,这种代码包括 HTML 和 JavaScript。利用网页开发时留下的漏洞,通过巧妙的方法注入恶意指令代码到网页,使用户加载并执行攻击者恶意制造的网页程序。攻击成功后,攻击者可能得到更高的权限(如执行一些操作)、私密网页内容、会话和 Cookie 等各种内容。
### 2. 危害
@@ -568,7 +576,7 @@ Web 攻击的主要目标是使用 HTTP 协议的 Web 应用。
### 3. 防范手段
-**(一)过滤特殊字符**
+(一)过滤特殊字符
许多语言都提供了对 HTML 的过滤:
@@ -577,7 +585,7 @@ Web 攻击的主要目标是使用 HTTP 协议的 Web 应用。
- Java 的 xssprotect (Open Source Library)。
- Node.js 的 node-validator。
-**(二)指定 HTTP 的 Content-Type**
+(二)指定 HTTP 的 Content-Type
通过这种方式,可以避免内容被当成 HTML 解析,比如 PHP 语言可以使用以下代码:
@@ -645,9 +653,9 @@ strSQL = "SELECT * FROM users;"
XSS 利用的是用户对指定网站的信任,CSRF 利用的是网站对用户网页浏览器的信任。
-假如一家银行用以执行转账操作的 URL 地址如下:`http://www.examplebank.com/withdraw?account=AccoutName&amount=1000&for=PayeeName`。
+假如一家银行用以执行转账操作的 URL 地址如下:http://www.examplebank.com/withdraw?account=AccoutName&amount=1000&for=PayeeName。
- 那么,一个恶意攻击者可以在另一个网站上放置如下代码:`
`。
+那么,一个恶意攻击者可以在另一个网站上放置如下代码:<img src="http://www.examplebank.com/withdraw?account=Alice&amount=1000&for=Badman">。
如果有账户名为 Alice 的用户访问了恶意站点,而她之前刚访问过银行不久,登录信息尚未过期,那么她就会损失 1000 资金。
@@ -657,13 +665,13 @@ XSS 利用的是用户对指定网站的信任,CSRF 利用的是网站对用
### 2. 防范手段
-**(一)检查 Referer 字段**
+(一)检查 Referer 字段
HTTP 头中有一个 Referer 字段,这个字段用以标明请求来源于哪个地址。在处理敏感数据请求时,通常来说,Referer 字段应和请求的地址位于同一域名下。
这种办法简单易行,工作量低,仅需要在关键访问处增加一步校验。但这种办法也有其局限性,因其完全依赖浏览器发送正确的 Referer 字段。虽然 HTTP 协议对此字段的内容有明确的规定,但并无法保证来访的浏览器的具体实现,亦无法保证浏览器没有安全漏洞影响到此字段。并且也存在攻击者攻击某些浏览器,篡改其 Referer 字段的可能。
-**(二)添加校验 Token**
+(二)添加校验 Token
由于 CSRF 的本质在于攻击者欺骗用户去访问自己设置的地址,所以如果要求在访问敏感数据请求时,要求用户浏览器提供不保存在 cookie 中,并且攻击者无法伪造的数据作为校验,那么攻击者就无法再执行 CSRF 攻击。这种数据通常是表单中的一个数据项。服务器将其生成并附加在表单中,其内容是一个伪乱数。当客户端通过表单提交请求时,这个伪乱数也一并提交上去以供校验。正常的访问时,客户端浏览器能够正确得到并传回这个伪乱数,而通过 CSRF 传来的欺骗性攻击中,攻击者无从事先得知这个伪乱数的值,服务器端就会因为校验 token 的值为空或者错误,拒绝这个可疑请求。
@@ -709,8 +717,18 @@ HTTP/1.1 的解析是基于文本的,而 HTTP/2.0 采用二进制格式。
# 参考资料
-- [图解 HTTP](https://pan.baidu.com/s/1M0AHXqG9sP9Bxne6u0JK8A)
+- 上野宣. 图解 HTTP[M]. Ren min you dian chu ban she, 2014.
- [MDN : HTTP](https://developer.mozilla.org/en-US/docs/Web/HTTP)
+- [Are http:// and www really necessary?](https://www.webdancers.com/are-http-and-www-necesary/)
+- [HTTP (HyperText Transfer Protocol)](https://www.ntu.edu.sg/home/ehchua/programming/webprogramming/HTTP_Basics.html)
+- [Web-VPN: Secure Proxies with SPDY & Chrome](https://www.igvita.com/2011/12/01/web-vpn-secure-proxies-with-spdy-chrome/)
+- [File:HTTP persistent connection.svg](http://en.wikipedia.org/wiki/File:HTTP_persistent_connection.svg)
+- [Proxy server](https://en.wikipedia.org/wiki/Proxy_server)
+- [What Is This HTTPS/SSL Thing And Why Should You Care?](https://www.x-cart.com/blog/what-is-https-and-ssl.html)
+- [What is SSL Offloading?](https://securebox.comodo.com/ssl-sniffing/ssl-offloading/)
+- [Sun Directory Server Enterprise Edition 7.0 Reference - Key Encryption](https://docs.oracle.com/cd/E19424-01/820-4811/6ng8i26bn/index.html)
+- [An Introduction to Mutual SSL Authentication](https://www.codeproject.com/Articles/326574/An-Introduction-to-Mutual-SSL-Authentication)
+- [The Difference Between URLs and URIs](https://danielmiessler.com/study/url-uri/)
- [维基百科:跨站脚本](https://zh.wikipedia.org/wiki/%E8%B7%A8%E7%B6%B2%E7%AB%99%E6%8C%87%E4%BB%A4%E7%A2%BC)
- [维基百科:SQL 注入攻击](https://zh.wikipedia.org/wiki/SQL%E8%B3%87%E6%96%99%E9%9A%B1%E7%A2%BC%E6%94%BB%E6%93%8A)
- [维基百科:跨站点请求伪造](https://zh.wikipedia.org/wiki/%E8%B7%A8%E7%AB%99%E8%AF%B7%E6%B1%82%E4%BC%AA%E9%80%A0)
diff --git a/notes/Linux.md b/notes/Linux.md
index c592bf24..8ab9f56d 100644
--- a/notes/Linux.md
+++ b/notes/Linux.md
@@ -1083,7 +1083,7 @@ daemon 2
### 1. 孤儿进程
-一个父进程退出,而它的一个或多个子进程还在运行,那么那些子进程将成为孤儿进程。孤儿进程将被 init 进程(进程号为 1)所收养,并由 init 进程对它们完成状态收集工作。
+一个父进程退出,而它的一个或多个子进程还在运行,那么这些子进程将成为孤儿进程。孤儿进程将被 init 进程(进程号为 1)所收养,并由 init 进程对它们完成状态收集工作。
由于孤儿进程会被 init 进程收养,所以孤儿进程不会对系统造成危害。
diff --git a/notes/算法.md b/notes/算法.md
deleted file mode 100644
index b4d8893a..00000000
--- a/notes/算法.md
+++ /dev/null
@@ -1,1621 +0,0 @@
-
-* [一、算法分析](#一算法分析)
- * [函数转换](#函数转换)
- * [数学模型](#数学模型)
- * [ThreeSum](#threesum)
- * [倍率实验](#倍率实验)
- * [注意事项](#注意事项)
-* [二、栈和队列](#二栈和队列)
- * [栈](#栈)
- * [队列](#队列)
-* [三、union-find](#三union-find)
- * [quick-find](#quick-find)
- * [quick-union](#quick-union)
- * [加权 quick-union](#加权-quick-union)
- * [路径压缩的加权 quick-union](#路径压缩的加权-quick-union)
- * [各种 union-find 算法的比较](#各种-union-find-算法的比较)
-* [四、排序](#四排序)
- * [选择排序](#选择排序)
- * [插入排序](#插入排序)
- * [希尔排序](#希尔排序)
- * [归并排序](#归并排序)
- * [快速排序](#快速排序)
- * [优先队列](#优先队列)
- * [应用](#应用)
-* [五、查找](#五查找)
- * [符号表](#符号表)
- * [二叉查找树](#二叉查找树)
- * [2-3 查找树](#2-3-查找树)
- * [红黑二叉查找树](#红黑二叉查找树)
- * [散列表](#散列表)
- * [应用](#应用)
-
-
-
-# 一、算法分析
-
-## 函数转换
-
-指数函数可以转换为线性函数,从而在函数图像上显示的更直观。例如
-
-
-
-可以在其两端同时取对数,得到:
-
-
-
-
-
-## 数学模型
-
-### 1. 近似
-
-使用 \~f(N) 来表示所有随着 N 的增大除以 f(N) 的结果趋近于 1 的函数,例如 N3/6-N2/2+N/3 \~ N3/6。
-
-
-
-### 2. 增长数量级
-
-增长数量级将算法与它的实现隔离开来,一个算法的增长数量级为 N3 与它是否用 Java 实现,是否运行于特定计算机上无关。
-
-
-
-### 3. 内循环
-
-执行最频繁的指令决定了程序执行的总时间,把这些指令称为程序的内循环。
-
-### 4. 成本模型
-
-使用成本模型来评估算法,例如数组的访问次数就是一种成本模型。
-
-## ThreeSum
-
-ThreeSum 用于统计一个数组中三元组的和为 0 的数量。
-
-```java
-public class ThreeSum {
- public static int count(int[] a) {
- int N = a.length;
- int cnt = 0;
- for (int i = 0; i < N; i++) {
- for (int j = i + 1; j < N; j++) {
- for (int k = j + 1; k < N; k++) {
- if (a[i] + a[j] + a[k] == 0) {
- cnt++;
- }
- }
- }
- }
- return cnt;
- }
-}
-```
-
-该算法的内循环为`if (a[i] + a[j] + a[k] == 0)`语句,总共执行的次数为 N(N-1)(N-2) = N3/6 - N2/2 + N/3,因此它的近似执行次数为 \~N3/6,增长数量级为 N3。
-
- **改进**
-
-通过将数组先排序,对两个元素求和,并用二分查找方法查找是否存在该和的相反数,如果存在,就说明存在三元组的和为 0。
-
-该方法可以将 ThreeSum 算法增长数量级降低为 N2logN。
-
-```java
-public class ThreeSumFast {
- public static int count(int[] a) {
- Arrays.sort(a);
- int N = a.length;
- int cnt = 0;
- for (int i = 0; i < N; i++) {
- for (int j = i + 1; j < N; j++) {
- // rank() 方法返回元素在数组中的下标,如果元素不存在,这里会返回 -1。
- // 应该注意这里的下标必须大于 j,否则会重复统计。
- if (BinarySearch.rank(-a[i] - a[j], a) > j) {
- cnt++;
- }
- }
- }
- return cnt;
- }
-}
-```
-
-## 倍率实验
-
-如果 T(N) \~ aNblogN,那么 T(2N)/T(N) \~ 2b。
-
-例如对于暴力方法的 ThreeSum 算法,近似时间为 \~N3/6。进行如下实验:多次运行该算法,每次取的 N 值为前一次的两倍,统计每次执行的时间,并统计本次运行时间与前一次运行时间的比值,得到如下结果:
-
-
-
-可以看到,T(2N)/T(N) \~ 23,因此可以确定 T(N) \~ aN3logN。
-
-## 注意事项
-
-### 1. 大常数
-
-在求近似时,如果低级项的常数系数很大,那么近似的结果就是错误的。
-
-### 2. 缓存
-
-计算机系统会使用缓存技术来组织内存,访问数组相邻的元素会比访问不相邻的元素快很多。
-
-### 3. 对最坏情况下的性能的保证
-
-在核反应堆、心脏起搏器或者刹车控制器中的软件,最坏情况下的性能是十分重要的。
-
-### 4. 随机化算法
-
-通过打乱输入,去除算法对输入的依赖。
-
-### 5. 均摊分析
-
-将所有操作的总成本除于操作总数来将成本均摊。例如对一个空栈进行 N 次连续的 push() 调用需要访问数组的元素为 N+4+8+16+...+2N=5N-4(N 是向数组写入元素,其余的都是调整数组大小时进行复制需要的访问数组操作),均摊后每次操作访问数组的平均次数为常数。
-
-# 二、栈和队列
-
-## 栈
-
-first-in-last-out(FILO)
-
-
-
- **1. 数组实现**
-
-```java
-public class ResizeArrayStack- implements Iterable
- {
- private Item[] a = (Item[]) new Object[1];
- private int N = 0;
-
- public void push(Item item) {
- if (N >= a.length) {
- resize(2 * a.length);
- }
- a[N++] = item;
- }
-
- public Item pop() {
- Item item = a[--N];
- if (N <= a.length / 4) {
- resize(a.length / 2);
- }
- return item;
- }
-
- // 调整数组大小,使得栈具有伸缩性
- private void resize(int size) {
- Item[] tmp = (Item[]) new Object[size];
- for (int i = 0; i < N; i++) {
- tmp[i] = a[i];
- }
- a = tmp;
- }
-
- public boolean isEmpty() {
- return N == 0;
- }
-
- public int size() {
- return N;
- }
-
- @Override
- public Iterator
- iterator() {
- // 需要返回逆序遍历的迭代器
- return new ReverseArrayIterator();
- }
-
- private class ReverseArrayIterator implements Iterator
- {
- private int i = N;
-
- @Override
- public boolean hasNext() {
- return i > 0;
- }
-
- @Override
- public Item next() {
- return a[--i];
- }
- }
-}
-```
-
-上面实现使用了泛型,Java 不能直接创建泛型数组,只能使用转型来创建。
-
-```java
-Item[] arr = (Item[]) new Object[N];
-```
-
- **2. 链表实现**
-
-需要使用链表的头插法来实现,因为头插法中最后压入栈的元素在链表的开头,它的 next 指针指向前一个压入栈的元素,在弹出元素使就可以通过 next 指针遍历到前一个压入栈的元素从而让这个元素称为新的栈顶元素。
-
-```java
-public class Stack
- {
-
- private Node top = null;
- private int N = 0;
-
- private class Node {
- Item item;
- Node next;
- }
-
- public boolean isEmpty() {
- return N == 0;
- }
-
- public int size() {
- return N;
- }
-
- public void push(Item item) {
- Node newTop = new Node();
- newTop.item = item;
- newTop.next = top;
- top = newTop;
- N++;
- }
-
- public Item pop() {
- Item item = top.item;
- top = top.next;
- N--;
- return item;
- }
-}
-```
-## 队列
-
-first-in-first-out(FIFO)
-
-
-
-下面是队列的链表实现,需要维护 first 和 last 节点指针,分别指向队首和队尾。
-
-这里需要考虑 first 和 last 指针哪个作为链表的开头。因为出队列操作需要让队首元素的下一个元素成为队首,所以需要容易获取下一个元素,而链表的头部节点的 next 指针指向下一个元素,因此可以让 first 指针链表的开头。
-
-```java
-public class Queue- {
- private Node first;
- private Node last;
- int N = 0;
- private class Node{
- Item item;
- Node next;
- }
-
- public boolean isEmpty(){
- return N == 0;
- }
-
- public int size(){
- return N;
- }
-
- // 入队列
- public void enqueue(Item item){
- Node newNode = new Node();
- newNode.item = item;
- newNode.next = null;
- if(isEmpty()){
- last = newNode;
- first = newNode;
- } else{
- last.next = newNode;
- last = newNode;
- }
- N++;
- }
-
- // 出队列
- public Item dequeue(){
- Node node = first;
- first = first.next;
- N--;
- return node.item;
- }
-}
-```
-
-# 三、union-find
-
- **概览**
-
-用于解决动态连通性问题,能动态连接两个点,并且判断两个点是否连通。
-
-
-
- **API**
-
-
-
- **基本数据结构**
-
-```java
-public class UF {
- // 使用 id 数组来保存点的连通信息
- private int[] id;
-
- public UF(int N) {
- id = new int[N];
- for (int i = 0; i < N; i++) {
- id[i] = i;
- }
- }
-
- public boolean connected(int p, int q) {
- return find(p) == find(q);
- }
-}
-```
-
-## quick-find
-
-保证在同一连通分量的所有节点的 id 值相等。
-
-这种方法可以快速取得一个节点的 id 值,并且判断两个节点是否连通。但是 union 的操作代价却很高,需要将其中一个连通分量中的所有节点 id 值都修改为另一个节点的 id 值。
-
-```java
- public int find(int p) {
- return id[p];
- }
- public void union(int p, int q) {
- int pID = find(p);
- int qID = find(q);
-
- if (pID == qID) return;
- for (int i = 0; i < id.length; i++) {
- if (id[i] == pID) id[i] = qID;
- }
- }
-```
-
-## quick-union
-
-在 union 时只将节点的 id 值指向另一个节点 id 值,不直接用 id 来存储所属的连通分量。这样就构成一个倒置的树形结构,应该注意的是根节点需要指向自己。查找一个节点所属的连通分量时,要一直向上查找直到根节点,并使用根节点的 id 值作为本连通分量的 id 值。
-
-
-
-```java
- public int find(int p) {
- while (p != id[p]) p = id[p];
- return p;
- }
-
- public void union(int p, int q) {
- int pRoot = find(p);
- int qRoot = find(q);
- if (pRoot == qRoot) return;
- id[pRoot] = qRoot;
- }
-```
-
-这种方法可以快速进行 union 操作,但是 find 操作和树高成正比,最坏的情况下树的高度为触点的数目。
-
-
-
-## 加权 quick-union
-
-为了解决 quick-union 的树通常会很高的问题,加权 quick-union 在 union 操作时会让较小的树连接较大的树上面。
-
-理论研究证明,加权 quick-union 算法构造的树深度最多不超过 logN。
-
-
-
-```java
-public class WeightedQuickUnionUF {
- private int[] id;
- // 保存节点的数量信息
- private int[] sz;
-
- public WeightedQuickUnionUF(int N) {
- id = new int[N];
- sz = new int[N];
- for (int i = 0; i < N; i++) {
- id[i] = i;
- sz[i] = 1;
- }
- }
-
- public boolean connected(int p, int q) {
- return find(p) == find(q);
- }
-
- public int find(int p) {
- while (p != id[p]) p = id[p];
- return p;
- }
-
- public void union(int p, int q) {
- int i = find(p);
- int j = find(q);
- if (i == j) return;
- if (sz[i] < sz[j]) {
- id[i] = j;
- sz[j] += sz[i];
- } else {
- id[j] = i;
- sz[i] += sz[j];
- }
- }
-}
-```
-
-## 路径压缩的加权 quick-union
-
-在检查节点的同时将它们直接链接到根节点,只需要在 find 中添加一个循环即可。
-
-## 各种 union-find 算法的比较
-
-
-
-# 四、排序
-
- **约定**
-
-待排序的元素需要实现 Java 的 Comparable 接口,该接口有 compareTo() 方法,可以用它来判断两个元素的大小关系。
-
-研究排序算法的成本模型时,计算的是比较和交换的次数。
-
-使用辅助函数 less() 和 exch() 来进行比较和交换的操作,使得代码的可读性和可移植性更好。
-
-```java
-private boolean less(Comparable v, Comparable w){
- return v.compareTo(w) < 0;
-}
-
-private void exch(Comparable[] a, int i, int j){
- Comparable t = a[i];
- a[i] = a[j];
- a[j] = t;
-}
-```
-
-## 选择排序
-
-找到数组中的最小元素,将它与数组的第一个元素交换位置。再从剩下的元素中找到最小的元素,将它与数组的第二个元素交换位置。不断进行这样的操作,直到将整个数组排序。
-
-
-
-```java
-public class Selection {
- public static void sort(Comparable[] a) {
- int N = a.length;
- for (int i = 0; i < N; i++) {
- int min = i;
- for (int j = i + 1; j < N; j++) {
- if (less(a[j], a[min])) min = j;
- }
- exch(a, i, min);
- }
- }
-}
-```
-
-选择排序需要 \~N2/2 次比较和 \~N 次交换,它的运行时间与输入无关,这个特点使得它对一个已经排序的数组也需要这么多的比较和交换操作。
-
-## 插入排序
-
-插入排序从左到右进行,每次都将当前元素插入到左部已经排序的数组中,使得插入之后左部数组依然有序。
-
-
-
-```java
-public class Insertion {
- public static void sort(Comparable[] a) {
- int N = a.length;
- for (int i = 1; i < N; i++) {
- for (int j = i; j > 0 && less(a[j], a[j - 1]); j--) {
- exch(a, j, j - 1);
- }
- }
- }
-}
-```
-
-插入排序的复杂度取决于数组的初始顺序,如果数组已经部分有序了,那么插入排序会很快。平均情况下插入排序需要 \~N2/4 比较以及 \~N2/4 次交换,最坏的情况下需要 \~N2/2 比较以及 \~N2/2 次交换,最坏的情况是数组是逆序的;而最好的情况下需要 N-1 次比较和 0 次交换,最好的情况就是数组已经有序了。
-
-插入排序对于部分有序数组和小规模数组特别高效。
-
- **选择排序和插入排序的比较**
-
-对于随机排列的无重复主键的数组,插入排序和选择排序的运行时间是平方级别的,两者之比是一个较小的常数。
-
-## 希尔排序
-
-对于大规模的数组,插入排序很慢,因为它只能交换相邻的元素,如果要把元素从一端移到另一端,就需要很多次操作。
-
-希尔排序的出现就是为了改进插入排序的这种局限性,它通过交换不相邻的元素,使得元素更快的移到正确的位置上。
-
-希尔排序使用插入排序对间隔 h 的序列进行排序,如果 h 很大,那么元素就能很快的移到很远的地方。通过不断减小 h,最后令 h=1,就可以使得整个数组是有序的。
-
-
-
-
-
-```java
-public class Shell {
- public static void sort(Comparable[] a) {
- int N = a.length;
- int h = 1;
- while (h < N / 3) {
- h = 3 * h + 1; // 1, 4, 13, 40, ...
- }
- while (h >= 1) {
- for (int i = h; i < N; i++) {
- for (int j = i; j >= h && less(a[j], a[j - h]); j -= h) {
- exch(a, j, j - h);
- }
- }
- h = h / 3;
- }
- }
-}
-```
-
-希尔排序的运行时间达不到平方级别,使用递增序列 1, 4, 13, 40, ... 的希尔排序所需要的比较次数不会超过 N 的若干倍乘于递增序列的长度。后面介绍的高级排序算法只会比希尔排序快两倍左右。
-
-## 归并排序
-
-归并排序的思想是将数组分成两部分,分别进行排序,然后归并起来。
-
-
-
-
-
-### 1. 归并方法
-
-归并方法将数组中两个已经排序的部分归并成一个。
-
-```java
-public class MergeSort {
- private static Comparable[] aux;
-
- private static void merge(Comparable[] a, int lo, int mid, int hi) {
- int i = lo, j = mid + 1;
-
- for (int k = lo; k <= hi; k++) {
- aux[k] = a[k]; // 将数据复制到辅助数组
- }
-
- for (int k = lo; k <= hi; k++) {
- if (i > mid) a[k] = aux[j++];
- else if (j > hi) a[k] = aux[i++];
- else if (aux[i].compareTo(a[j]) < 0) a[k] = aux[i++]; // 先进行这一步,保证稳定性
- else a[k] = aux[j++];
- }
- }
-}
-```
-
-### 2. 自顶向下归并排序
-
-
-
-```java
-public static void sort(Comparable[] a) {
- aux = new Comparable[a.length];
- sort(a, 0, a.length - 1);
-}
-
-private static void sort(Comparable[] a, int lo, int hi) {
- if (hi <= lo) return;
- int mid = lo + (hi - lo) / 2;
- sort(a, lo, mid);
- sort(a, mid + 1, hi);
- merge(a, lo, mid, hi);
-}
-```
-
-因为每次都将问题对半分成两个子问题,而这种对半分的算法复杂度一般为 O(NlogN),因此该归并排序方法的时间复杂度也为 O(NlogN)。
-
-小数组的递归操作会过于频繁,可以在数组过小时切换到插入排序来提高性能。
-
-### 3. 自底向上归并排序
-
-先归并那些微型数组,然后成对归并得到的子数组。
-
-
-
-```java
-public static void busort(Comparable[] a) {
- int N = a.length;
- aux = new Comparable[N];
- for (int sz = 1; sz < N; sz += sz) {
- for (int lo = 0; lo < N - sz; lo += sz + sz) {
- merge(a, lo, lo + sz - 1, Math.min(lo + sz + sz - 1, N - 1));
- }
- }
-}
-```
-
-## 快速排序
-
-### 1. 基本算法
-
-归并排序将数组分为两个子数组分别排序,并将有序的子数组归并使得整个数组排序;快速排序通过一个切分元素将数组分为两个子数组,左子数组小于等于切分元素,右子数组大于等于切分元素,将这两个子数组排序也就将整个数组排序了。
-
-
-
-```java
-public class QuickSort {
- public static void sort(Comparable[] a) {
- shuffle(a);
- sort(a, 0, a.length - 1);
- }
-
- private static void sort(Comparable[] a, int lo, int hi) {
- if (hi <= lo) return;
- int j = partition(a, lo, hi);
- sort(a, lo, j - 1);
- sort(a, j + 1, hi);
- }
-}
-```
-
-### 2. 切分
-
-取 a[lo] 作为切分元素,然后从数组的左端向右扫描直到找到第一个大于等于它的元素,再从数组的右端向左扫描找到第一个小于等于它的元素,交换这两个元素,并不断进行这个过程,就可以保证左指针 i 的左侧元素都不大于切分元素,右指针 j 的右侧元素都不小于切分元素。当两个指针相遇时,将切分元素 a[lo] 和左子数组最右侧的元素 a[j] 交换然后返回 j 即可。
-
-
-
-```java
-private static int partition(Comparable[] a, int lo, int hi) {
- int i = lo, j = hi + 1;
- Comparable v = a[lo];
- while (true) {
- while (less(a[++i], v)) if (i == hi) break;
- while (less(v, a[--j])) if (j == lo) break;
- if (i >= j) break;
- exch(a, i, j);
- }
- exch(a, lo, j);
- return j;
-}
-```
-
-### 3. 性能分析
-
-快速排序是原地排序,不需要辅助数组,但是递归调用需要辅助栈。
-
-快速排序最好的情况下是每次都正好能将数组对半分,这样递归调用次数才是最少的。这种情况下比较次数为 CN=2CN/2+N,复杂度为 O(NlogN)。
-
-最坏的情况下,第一次从最小的元素切分,第二次从第二小的元素切分,如此这般。因此最坏的情况下需要比较 N2/2。为了防止数组最开始就是有序的,在进行快速排序时需要随机打乱数组。
-
-### 4. 算法改进
-
-**(一)切换到插入排序**
-
-因为快速排序在小数组中也会调用自己,对于小数组,插入排序比快速排序的性能更好,因此在小数组中可以切换到插入排序。
-
-**(二)三取样**
-
-最好的情况下是每次都能取数组的中位数作为切分元素,但是计算中位数的代价很高。人们发现取 3 个元素并将大小居中的元素作为切分元素的效果最好。
-
-**(三)三向切分**
-
-对于有大量重复元素的数组,可以将数组切分为三部分,分别对应小于、等于和大于切分元素。
-
-三向切分快速排序对于只有若干不同主键的随机数组可以在线性时间内完成排序。
-
-
-
-```java
-public class Quick3Way {
- public static void sort(Comparable[] a, int lo, int hi) {
- if (hi <= lo) return;
- int lt = lo, i = lo + 1, gt = hi;
- Comparable v = a[lo];
- while (i <= gt) {
- int cmp = a[i].compareTo(v);
- if (cmp < 0) exch(a, lt++, i++);
- else if (cmp > 0) exch(a, i, gt--);
- else i++;
- }
- sort(a, lo, lt - 1);
- sort(a, gt + 1, hi);
- }
-}
-```
-
-## 优先队列
-
-优先队列主要用于处理最大元素。
-
-### 1. 堆
-
-定义:一颗二叉树的每个节点都大于等于它的两个子节点。
-
-堆可以用数组来表示,因为堆是一种完全二叉树,而完全二叉树很容易就存储在数组中。位置 k 的节点的父节点位置为 k/2,而它的两个子节点的位置分别为 2k 和 2k+1。这里我们不使用数组索引为 0 的位置,是为了更清晰地理解节点的关系。
-
-
-
-```java
-public class MaxPQ {
- private Key[] pq;
- private int N = 0;
-
- public MaxPQ(int maxN) {
- pq = (Key[]) new Comparable[maxN + 1];
- }
-
- public boolean isEmpty() {
- return N == 0;
- }
-
- public int size() {
- return N;
- }
-
- private boolean less(int i, int j) {
- return pq[i].compareTo(pq[j]) < 0;
- }
-
- private void exch(int i, int j) {
- Key t = pq[i];
- pq[i] = pq[j];
- pq[j] = t;
- }
-}
-```
-
-### 2. 上浮和下沉
-
-在堆中,当一个节点比父节点大,那么需要交换这个两个节点。交换后还可能比它新的父节点大,因此需要不断地进行比较和交换操作。把这种操作称为上浮。
-
-
-
-```java
-private void swim(int k) {
- while (k > 1 && less(k / 2, k)) {
- exch(k / 2, k);
- k = k / 2;
- }
-}
-```
-
-类似地,当一个节点比子节点来得小,也需要不断的向下比较和交换操作,把这种操作称为下沉。一个节点有两个子节点,应当与两个子节点中最大那么节点进行交换。
-
-
-
-```java
-private void sink(int k) {
- while (2 * k <= N) {
- int j = 2 * k;
- if (j < N && less(j, j + 1)) j++;
- if (!less(k, j)) break;
- exch(k, j);
- k = j;
- }
-}
-```
-
-### 3. 插入元素
-
-将新元素放到数组末尾,然后上浮到合适的位置。
-
-```java
-public void insert(Key v) {
- pq[++N] = v;
- swim(N);
-}
-```
-
-### 4. 删除最大元素
-
-从数组顶端删除最大的元素,并将数组的最后一个元素放到顶端,并让这个元素下沉到合适的位置。
-
-```java
-public Key delMax() {
- Key max = pq[1];
- exch(1, N--);
- pq[N + 1] = null;
- sink(1);
- return max;
-}
-```
-
-### 5. 堆排序
-
-由于堆可以很容易得到最大的元素并删除它,不断地进行这种操作可以得到一个递减序列。如果把最大元素和当前堆中数组的最后一个元素交换位置,并且不删除它,那么就可以得到一个从尾到头的递减序列,从正向来看就是一个递增序列。因此很容易使用堆来进行排序,并且堆排序是原地排序,不占用额外空间。
-
-堆排序要分两个阶段,第一个阶段是把无序数组建立一个堆;第二个阶段是交换最大元素和当前堆的数组最后一个元素,并且进行下沉操作维持堆的有序状态。
-
-无序数组建立堆最直接的方法是从左到右遍历数组,然后进行上浮操作。一个更高效的方法是从右至左进行下沉操作,如果一个节点的两个节点都已经是堆有序,那么进行下沉操作可以使得这个节点为根节点的堆有序。叶子节点不需要进行下沉操作,因此可以忽略叶子节点的元素,因此只需要遍历一半的元素即可。
-
-
-
-```java
-public static void sort(Comparable[] a){
- int N = a.length;
- for(int k = N/2; k >= 1; k--){
- sink(a, k, N);
- }
- while(N > 1){
- exch(a, 1, N--);
- sink(a, 1, N);
- }
-}
-```
-
-### 6. 分析
-
-一个堆的高度为 logN,因此在堆中插入元素和删除最大元素的复杂度都为 logN。
-
-对于堆排序,由于要对 N 个节点进行下沉操作,因此复杂度为 NlogN。
-
-堆排序时一种原地排序,没有利用额外的空间。
-
-现代操作系统很少使用堆排序,因为它无法利用缓存,也就是数组元素很少和相邻的元素进行比较。
-
-## 应用
-
-### 1. 排序算法的比较
-
-
-
-快速排序是最快的通用排序算法,它的内循环的指令很少,而且它还能利用缓存,因为它总是顺序地访问数据。它的运行时间近似为 \~cNlogN,这里的 c 比其他线性对数级别的排序算法都要小。使用三向切分之后,实际应用中可能出现的某些分布的输入能够达到线性级别,而其它排序算法仍然需要线性对数时间。
-
-### 2. Java 的排序算法实现
-
-Java 系统库中的主要排序方法为 java.util.Arrays.sort(),对于原始数据类型使用三向切分的快速排序,对于引用类型使用归并排序。
-
-### 3. 基于切分的快速选择算法
-
-快速排序的 partition() 方法,会返回一个整数 j 使得 a[lo..j-1] 小于等于 a[j],且 a[j+1..hi] 大于等于 a[j],此时 a[j] 就是数组的第 j 大元素。
-
-可以利用这个特性找出数组的第 k 个元素。
-
-```java
-public static Comparable select(Comparable[] a, int k) {
- int lo = 0, hi = a.length - 1;
- while (hi > lo) {
- int j = partion(a, lo, hi);
- if (j == k) return a[k];
- else if (j > k) hi = j - 1;
- else lo = j + 1;
- }
- return a[k];
-}
-```
-
-该算法是线性级别的,因为每次正好将数组二分,那么比较的总次数为 (N+N/2+N/4+..),直到找到第 k 个元素,这个和显然小于 2N。
-
-# 五、查找
-
-符号表是一种存储键值对的数据结构,支持两种操作:插入一个新的键值对;根据给定键得到值。
-
-## 符号表
-
-### 1. 无序符号表
-
-
-
-### 2. 有序符号表
-
-
-
-有序指的是支持 min() max() 等根据键的大小关系来实现的操作。
-
-有序符号表的键需要实现 Comparable 接口。
-
-### 3. 二分查找实现有序符号表
-
-使用一对平行数组,一个存储键一个存储值。其中键的数组为 Comparable 数组,值的数组为 Object 数组。
-
-rank() 方法至关重要,当键在表中时,它能够知道该键的位置;当键不在表中时,它也能知道在何处插入新键。
-
-复杂度:二分查找最多需要 logN+1 次比较,使用二分查找实现的符号表的查找操作所需要的时间最多是对数级别的。但是插入操作需要移动数组元素,是线性级别的。
-
-```java
-public class BinarySearchST, Value> {
- private Key[] keys;
- private Value[] values;
- private int N;
-
- public BinarySearchST(int capacity) {
- keys = (Key[]) new Comparable[capacity];
- values = (Value[]) new Object[capacity];
- }
-
- public int size() {
- return N;
- }
-
- public Value get(Key key) {
- int i = rank(key);
- if (i < N && keys[i].compareTo(key) == 0) {
- return values[i];
- }
- return null;
- }
-
- public int rank(Key key) {
- int lo = 0, hi = N - 1;
- while (lo <= hi) {
- int mid = lo + (hi - lo) / 2;
- int cmp = key.compareTo(keys[mid]);
- if (cmp == 0) return mid;
- else if (cmp < 0) hi = mid - 1;
- else lo = mid + 1;
- }
- return lo;
- }
-
- public void put(Key key, Value value) {
- int i = rank(key);
- if (i < N && keys[i].compareTo(key) == 0) {
- values[i] = value;
- return;
- }
- for (int j = N; j > i; j--) {
- keys[j] = keys[j - 1];
- values[j] = values[j - 1];
- }
- keys[i] = key;
- values[i] = value;
- N++;
- }
-
- public Key ceiling(Key key){
- int i = rank(key);
- return keys[i];
- }
-}
-```
-
-## 二叉查找树
-
-**二叉树** 定义为一个空链接,或者是一个有左右两个链接的节点,每个链接都指向一颗子二叉树。
-
-
-
-**二叉查找树** (BST)是一颗二叉树,并且每个节点的值都大于其左子树中的所有节点的值而小于右子树的所有节点的值。
-
-
-
-BST 有一个重要性质,就是它的前序遍历结果递增排序。
-
-
-
-基本数据结构:
-
-```java
-public class BST, Value> {
- private Node root;
-
- private class Node {
- private Key key;
- private Value val;
- private Node left, right;
- // 以该节点为根的子树中节点总数
- private int N;
-
- public Node(Key key, Value val, int N) {
- this.key = key;
- this.val = val;
- this.N = N;
- }
- }
-
- public int size() {
- return size(root);
- }
-
- private int size(Node x) {
- if (x == null) return 0;
- return x.N;
- }
-}
-```
-
-### 1. get()
-
-- 如果树是空的,则查找未命中;
-- 如果被查找的键和根节点的键相等,查找命中;
-- 否则递归地在子树中查找:如果被查找的键较小就在左子树中查找,较大就在右子树中查找。
-
-BST 的查找操作每次递归都会让区间减少一半,和二分查找类似,因此查找的复杂度为 O(logN)。
-
-```java
-public Value get(Key key) {
- return get(root, key);
-}
-private Value get(Node x, Key key) {
- if (x == null) return null;
- int cmp = key.compareTo(x.key);
- if (cmp == 0) return x.val;
- else if (cmp < 0) return get(x.left, key);
- else return get(x.right, key);
-}
-```
-
-### 2. put()
-
-当插入的键不存在于树中,需要创建一个新节点,并且更新上层节点的链接使得该节点正确链接到树中。
-
-
-
-```java
-public void put(Key key, Value val) {
- root = put(root, key, val);
-}
-private Node put(Node x, Key key, Value val) {
- if (x == null) return new Node(key, val, 1);
- int cmp = key.compareTo(x.key);
- if (cmp == 0) x.val = val;
- else if (cmp < 0) x.left = put(x.left, key, val);
- else x.right = put(x.right, key, val);
- x.N = size(x.left) + size(x.right) + 1;
- return x;
-}
-```
-
-### 3. 分析
-
-二叉查找树的算法运行时间取决于树的形状,而树的形状又取决于键被插入的先后顺序。最好的情况下树是完全平衡的,每条空链接和根节点的距离都为 logN。在最坏的情况下,树的高度为 N。
-
-
-
-### 4. floor()
-
-floor(key):小于等于键的最大键
-
-- 如果键小于根节点的键,那么 floor(key) 一定在左子树中;
-- 如果键大于根节点的键,需要先判断右子树中是否存在 floor(key),如果存在就找到,否则根节点就是 floor(key)。
-
-
-
-```java
-public Key floor(Key key) {
- Node x = floor(root, key);
- if (x == null) return null;
- return x.key;
-}
-private Node floor(Node x, Key key) {
- if (x == null) return null;
- int cmp = key.compareTo(x.key);
- if (cmp == 0) return x;
- if (cmp < 0) return floor(x.left, key);
- Node t = floor(x.right, key);
- if (t != null) {
- return t;
- } else {
- return x;
- }
-}
-```
-
-### 5. rank()
-
-rank(key) 返回 key 的排名。
-
-- 如果键和根节点的键相等,返回左子树的节点数;
-- 如果小于,递归计算在左子树中的排名;
-- 如果大于,递归计算在右子树中的排名,并加上左子树的节点数,再加上 1(根节点)。
-
-```java
-public int rank(Key key) {
- return rank(key, root);
-}
-private int rank(Key key, Node x) {
- if (x == null) return 0;
- int cmp = key.compareTo(x.key);
- if (cmp == 0) return size(x.left);
- else if (cmp < 0) return rank(key, x.left);
- else return 1 + size(x.left) + rank(key, x.right);
-}
-```
-
-### 6. min()
-
-```java
-private Node min(Node x) {
- if (x.left == null) return x;
- return min(x.left);
-}
-```
-
-### 7. deleteMin()
-
-令指向最小节点的链接指向最小节点的右子树。
-
-
-
-```java
-public void deleteMin() {
- root = deleteMin(root);
-}
-public Node deleteMin(Node x) {
- if (x.left == null) return x.right;
- x.left = deleteMin(x.left);
- x.N = size(x.left) + size(x.right) + 1;
- return x;
-}
-```
-
-### 8. delete()
-
-- 如果待删除的节点只有一个子树,那么只需要让指向待删除节点的链接指向唯一的子树即可;
-- 否则,让右子树的最小节点替换该节点。
-
-
-
-```java
-public void delete(Key key) {
- root = delete(root, key);
-}
-private Node delete(Node x, Key key) {
- if (x == null) return null;
- int cmp = key.compareTo(x.key);
- if (cmp < 0) x.left = delete(x.left, key);
- else if (cmp > 0) x.right = delete(x.right, key);
- else {
- if (x.right == null) return x.left;
- if (x.left == null) return x.right;
- Node t = x;
- x = min(t.right);
- x.right = deleteMin(t.right);
- x.left = t.left;
- }
- x.N = size(x.left) + size(x.right) + 1;
- return x;
-}
-```
-
-### 9. keys()
-
-利用二叉查找树中序遍历的结果为递增的特点。
-
-```java
-public Iterable keys(Key lo, Key hi) {
- Queue queue = new LinkedList<>();
- keys(root, queue, lo, hi);
- return queue;
-}
-private void keys(Node x, Queue queue, Key lo, Key hi) {
- if (x == null) return;
- int cmpLo = lo.compareTo(x.key);
- int cmpHi = hi.compareTo(x.key);
- if (cmpLo < 0) keys(x.left, queue, lo, hi);
- if (cmpLo <= 0 && cmpHi >= 0) queue.add(x.key);
- if (cmpHi > 0) keys(x.right, queue, lo, hi);
-}
-```
-
-### 10. 性能分析
-
-复杂度:二叉查找树所有操作在最坏的情况下所需要的时间都和树的高度成正比。
-
-## 2-3 查找树
-
-
-
-2-3 查找树引入了 2- 节点和 3- 节点,目的是为了让树更平衡。一颗完美平衡的 2-3 查找树的所有空链接到根节点的距离应该是相同的。
-
-### 1. 插入操作
-
-插入操作和 BST 的插入操作有很大区别,BST 的插入操作是先进行一次未命中的查找,然后再将节点插入到对应的空链接上。但是 2-3 查找树如果也这么做的话,那么就会破坏了平衡性。它是将新节点插入到叶子节点上。
-
-根据叶子节点的类型不同,有不同的处理方式。
-
-插入到 2- 节点上,那么直接将新节点和原来的节点组成 3- 节点即可。
-
-
-
-如果是插入到 3- 节点上,就会产生一个临时 4- 节点时,需要将 4- 节点分裂成 3 个 2- 节点,并将中间的 2- 节点移到上层节点中。如果上移操作继续产生临时 4- 节点则一直进行分裂上移,直到不存在临时 4- 节点。
-
-
-
-### 2. 性质
-
-2-3 查找树插入操作的变换都是局部的,除了相关的节点和链接之外不必修改或者检查树的其它部分,而这些局部变换不会影响树的全局有序性和平衡性。
-
-2-3 查找树的查找和插入操作复杂度和插入顺序无关,在最坏的情况下查找和插入操作访问的节点必然不超过 logN 个,含有 10 亿个节点的 2-3 查找树最多只需要访问 30 个节点就能进行任意的查找和插入操作。
-
-
-
-## 红黑二叉查找树
-
-2-3 查找树需要用到 2- 节点和 3- 节点,红黑树使用红链接来实现 3- 节点。指向一个节点的链接颜色如果为红色,那么这个节点和上层节点表示的是一个 3- 节点,而黑色则是普通链接。
-
-
-
-红黑树具有以下性质:
-
-1. 红链接都为左链接;
-2. 完美黑色平衡,即任意空链接到根节点的路径上的黑链接数量相同。
-
-画红黑树时可以将红链接画平。
-
-
-
-```java
-public class RedBlackBST, Value> {
- private Node root;
- private static final boolean RED = true;
- private static final boolean BLACK = false;
-
- private class Node {
- Key key;
- Value val;
- Node left, right;
- int N;
- boolean color;
-
- Node(Key key, Value val, int n, boolean color) {
- this.key = key;
- this.val = val;
- N = n;
- this.color = color;
- }
- }
-
- private boolean isRed(Node x) {
- if (x == null) return false;
- return x.color == RED;
- }
-}
-```
-
-### 1. 左旋转
-
-因为合法的红链接都为左链接,如果出现右链接为红链接,那么就需要进行左旋转操作。
-
-
-
-
-
-```java
-public Node rotateLeft(Node h) {
- Node x = h.right;
- h.right = x.left;
- x.left = h;
- x.color = h.color;
- h.color = RED;
- x.N = h.N;
- h.N = 1 + size(h.left) + size(h.right);
- return x;
-}
-```
-
-### 2. 右旋转
-
-进行右旋转是为了转换两个连续的左红链接,这会在之后的插入过程中探讨。
-
-
-
-
-
-```java
-public Node rotateRight(Node h) {
- Node x = h.left;
- h.left = x.right;
- x.color = h.color;
- h.color = RED;
- x.N = h.N;
- h.N = 1 + size(h.left) + size(h.right);
- return x;
-}
-```
-
-### 3. 颜色转换
-
-一个 4- 节点在红黑树中表现为一个节点的左右子节点都是红色的。分裂 4- 节点除了需要将子节点的颜色由红变黑之外,同时需要将父节点的颜色由黑变红,从 2-3 树的角度看就是将中间节点移到上层节点。
-
-
-
-
-
-```java
-void flipColors(Node h){
- h.color = RED;
- h.left.color = BLACK;
- h.right.color = BLACK;
-}
-```
-
-### 4. 插入
-
-先将一个节点按二叉查找树的方法插入到正确位置,然后再进行如下颜色操作:
-
-- 如果右子节点是红色的而左子节点是黑色的,进行左旋转;
-- 如果左子节点是红色的,而且左子节点的左子节点也是红色的,进行右旋转;
-- 如果左右子节点均为红色的,进行颜色转换。
-
-
-
-```java
-public void put(Key key, Value val) {
- root = put(root, key, val);
- root.color = BLACK;
-}
-
-private Node put(Node x, Key key, Value val) {
- if (x == null) return new Node(key, val, 1, RED);
- int cmp = key.compareTo(x.key);
- if (cmp == 0) x.val = val;
- else if (cmp < 0) x.left = put(x.left, key, val);
- else x.right = put(x.right, key, val);
-
- if (isRed(x.right) && !isRed(x.left)) x = rotateLeft(x);
- if (isRed(x.left) && isRed(x.left.left)) x = rotateRight(x);
- if (isRed(x.left) && isRed(x.right)) flipColors(x);
-
- x.N = size(x.left) + size(x.right) + 1;
- return x;
-}
-```
-
-可以看到该插入操作和二叉查找树的插入操作类似,只是在最后加入了旋转和颜色变换操作即可。
-
-根节点一定为黑色,因为根节点没有上层节点,也就没有上层节点的左链接指向根节点。flipColors() 有可能会使得根节点的颜色变为红色,每当根节点由红色变成黑色时树的黑链接高度加 1.
-
-### 5. 删除最小键
-
-如果最小键在一个 2- 节点中,那么删除该键会留下一个空链接,就破坏了平衡性,因此要确保最小键不在 2- 节点中。
-
-将 2- 节点转换成 3- 节点或者 4- 节点有两种方法,一种是向上层节点拿一个 key,一种是向兄弟节点拿一个 key。如果上层节点是 2- 节点,那么就没办法从上层节点拿 key 了,因此要保证删除路径上的所有节点都不是 2- 节点。在向下删除的过程中,保证以下情况之一发生:
-
-1. 如果当前节点的左子节点不是 2- 节点,完成;
-2. 如果当前节点的左子节点是 2- 节点而它的兄弟节点不是 2- 节点,向兄弟节点拿一个 key 过来;
-3. 如果当前节点的左子节点和它的兄弟节点都是 2- 节点,将左子节点、父节点中的最小键和最近的兄弟节点合并为一个 4- 节点。
-
-
-
-最后得到一个含有最小键的 3- 节点或者 4- 节点,直接从中删除。然后再从头分解所有临时的 4- 节点。
-
-
-
-### 6. 分析
-
-一颗大小为 N 的红黑树的高度不会超过 2logN。最坏的情况下是它所对应的 2-3 树,构成最左边的路径节点全部都是 3- 节点而其余都是 2- 节点。
-
-红黑树大多数的操作所需要的时间都是对数级别的。
-
-## 散列表
-
-散列表类似于数组,可以把散列表的散列值看成数组的索引值。访问散列表和访问数组元素一样快速,它可以在常数时间内实现查找和插入操作。
-
-由于无法通过散列值知道键的大小关系,因此散列表无法实现有序性操作。
-
-### 1. 散列函数
-
-对于一个大小为 M 的散列表,散列函数能够把任意键转换为 [0, M-1] 内的正整数,该正整数即为 hash 值。
-
-散列表有冲突的存在,也就是两个不同的键可能有相同的 hash 值。
-
-散列函数应该满足以下三个条件:
-
-1. 一致性:相等的键应当有相等的 hash 值,两个键相等表示调用 equals() 返回的值相等。
-2. 高效性:计算应当简便,有必要的话可以把 hash 值缓存起来,在调用 hash 函数时直接返回。
-3. 均匀性:所有键的 hash 值应当均匀地分布到 [0, M-1] 之间,这个条件至关重要,直接影响到散列表的性能。
-
-除留余数法可以将整数散列到 [0, M-1] 之间,例如一个正整数 k,计算 k%M 既可得到一个 [0, M-1] 之间的 hash 值。注意 M 必须是一个素数,否则无法利用键包含的所有信息。例如 M 为 10k,那么只能利用键的后 k 位。
-
-对于其它数,可以将其转换成整数的形式,然后利用除留余数法。例如对于浮点数,可以将其表示成二进制形式,然后使用二进制形式的整数值进行除留余数法。
-
-对于有多部分组合的键,每部分都需要计算 hash 值,并且最后合并时需要让每部分 hash 值都具有同等重要的地位。可以将该键看成 R 进制的整数,键中每部分都具有不同的权值。
-
-例如,字符串的散列函数实现如下
-
-```java
-int hash = 0;
-for(int i = 0; i < s.length(); i++)
- hash = (R * hash + s.charAt(i)) % M;
-```
-
-再比如,拥有多个成员的自定义类的哈希函数如下:
-
-```java
-int hash = (((day * R + month) % M) * R + year) % M;
-```
-
-R 通常取 31。
-
-Java 中的 hashCode() 实现了 hash 函数,但是默认使用对象的内存地址值。在使用 hashCode() 函数时,应当结合除留余数法来使用。因为内存地址是 32 位整数,我们只需要 31 位的非负整数,因此应当屏蔽符号位之后再使用除留余数法。
-
-```java
-int hash = (x.hashCode() & 0x7fffffff) % M;
-```
-
-使用 Java 自带的 HashMap 等自带的哈希表实现时,只需要去实现 Key 类型的 hashCode() 函数即可。Java 规定 hashCode() 能够将键均匀分布于所有的 32 位整数,Java 中的 String、Integer 等对象的 hashCode() 都能实现这一点。以下展示了自定义类型如何实现 hashCode()。
-
-```java
-public class Transaction{
- private final String who;
- private final Date when;
- private final double amount;
-
- public int hashCode(){
- int hash = 17;
- hash = 31 * hash + who.hashCode();
- hash = 31 * hash + when.hashCode();
- hash = 31 * hash + ((Double) amount).hashCode();
- return hash;
- }
-}
-```
-
-### 2. 基于拉链法的散列表
-
-拉链法使用链表来存储 hash 值相同的键,从而解决冲突。此时查找需要分两步,首先查找 Key 所在的链表,然后在链表中顺序查找。
-
-
-
-对于 N 个键,M 条链表 (N>M),如果哈希函数能够满足均匀性的条件,每条链表的大小趋向于 N/M,因此未命中的查找和插入操作所需要的比较次数为 \~N/M。
-
-### 3. 基于线性探测法的散列表
-
-线性探测法使用空位来解决冲突,当冲突发生时,向前探测一个空位来存储冲突的键。使用线程探测法,数组的大小 M 应当大于键的个数 N(M>N)。
-
-
-
-```java
-public class LinearProbingHashST {
- private int N;
- private int M = 16;
- private Key[] keys;
- private Value[] vals;
-
- public LinearProbingHashST() {
- init();
- }
-
- public LinearProbingHashST(int M) {
- this.M = M;
- init();
- }
-
- private void init() {
- keys = (Key[]) new Object[M];
- vals = (Value[]) new Object[M];
- }
-
- private int hash(Key key) {
- return (key.hashCode() & 0x7fffffff) % M;
- }
-}
-```
-
-**(一)查找**
-
-```java
-public Value get(Key key) {
- for (int i = hash(key); keys[i] != null; i = (i + 1) % M) {
- if (keys[i].equals(key)) {
- return vals[i];
- }
- }
- return null;
-}
-```
-
-**(二)插入**
-
-```java
-public void put(Key key, Value val) {
- int i;
- for (i = hash(key); keys[i] != null; i = (i + 1) % M) {
- if (keys[i].equals(key)) {
- vals[i] = val;
- return;
- }
- }
- keys[i] = key;
- vals[i] = val;
- N++;
- resize();
-}
-```
-
-**(三)删除**
-
-删除操作应当将右侧所有相邻的键值对重新插入散列表中。
-
-```java
-public void delete(Key key) {
- if (!contains(key)) return;
- int i = hash(key);
- while (!key.equals(keys[i])) {
- i = (i + 1) % M;
- }
- keys[i] = null;
- vals[i] = null;
- i = (i + 1) % M;
- while (keys[i] != null) {
- Key keyToRedo = keys[i];
- Value valToRedo = vals[i];
- keys[i] = null;
- vals[i] = null;
- N--;
- put(keyToRedo, valToRedo);
- i = (i + 1) % M;
- }
- N--;
- resize();
-}
-```
-
-**(四)调整数组大小**
-
-线性探测法的成本取决于连续条目的长度,连续条目也叫聚簇。当聚簇很长时,在查找和插入时也需要进行很多次探测。
-
-α = N/M,把 α 称为利用率。理论证明,当 α 小于 1/2 时探测的预计次数只在 1.5 到 2.5 之间。
-
-
-
-为了保证散列表的性能,应当调整数组的大小,使得 α 在 [1/4, 1/2] 之间。
-
-```java
-private void resize() {
- if (N >= M / 2) resize(2 * M);
- else if (N <= M / 8) resize(M / 2);
-}
-
-private void resize(int cap) {
- LinearProbingHashST t = new LinearProbingHashST<>(cap);
- for (int i = 0; i < M; i++) {
- if (keys[i] != null) {
- t.put(keys[i], vals[i]);
- }
- }
- keys = t.keys;
- vals = t.vals;
- M = t.M;
-}
-```
-
-虽然每次重新调整数组都需要重新把每个键值对插入到散列表,但是从摊还分析的角度来看,所需要的代价却是很小的。从下图可以看出,每次数组长度加倍后,累计平均值都会增加 1,这是因为散列表中每个键都需要重新计算散列值。随后平均值会下降。
-
-
-
-## 应用
-
-### 1. 各种符号表实现的比较
-
-
-
-应当优先考虑散列表,当需要有序性操作时使用红黑树。
-
-### 2. Java 的符号表实现
-
-- java.util.TreeMap:红黑树
-- java.util.HashMap:拉链法的散列表
-
-### 3. 集合类型
-
-除了符号表,集合类型也经常使用,它只有键没有值,可以用集合类型来存储一系列的键然后判断一个键是否在集合中。
-
-### 4. 稀疏向量乘法
-
-当向量为稀疏向量时,可以使用符号表来存储向量中的非 0 索引和值,使得乘法运算只需要对那些非 0 元素进行即可。
-
-```java
-public class SparseVector {
- private HashMap hashMap;
-
- public SparseVector(double[] vector) {
- hashMap = new HashMap<>();
- for (int i = 0; i < vector.length; i++) {
- if (vector[i] != 0) {
- hashMap.put(i, vector[i]);
- }
- }
- }
-
- public double get(int i) {
- return hashMap.getOrDefault(i, 0.0);
- }
-
- public double dot(SparseVector other) {
- double sum = 0;
- for (int i : hashMap.keySet()) {
- sum += this.get(i) * other.get(i);
- }
- return sum;
- }
-}
-```
-
diff --git a/notes/计算机操作系统.md b/notes/计算机操作系统.md
index e9e61452..86f82e10 100644
--- a/notes/计算机操作系统.md
+++ b/notes/计算机操作系统.md
@@ -106,7 +106,7 @@ Linux 的系统调用主要有以下这些:
### 2. 微内核
-由于操作系统不断复杂,为了实现因此将一部分操作系统功能移出内核,从而降低内核的复杂性。移出的部分根据分层的原则划分成若干服务,相互独立。
+由于操作系统不断复杂,因此将一部分操作系统功能移出内核,从而降低内核的复杂性。移出的部分根据分层的原则划分成若干服务,相互独立。
在微内核结构下,操作系统被划分成小的、定义良好的模块,只有微内核这一个模块运行在内核态,其余模块运行在用户态。
@@ -858,7 +858,7 @@ gcc -o hello hello.c
静态连接器以一组可重定向目标文件为输入,生成一个完全链接的可执行目标文件作为输出。链接器主要完成以下两个任务:
-1. 符号解析:每个符号对应于一个函数、一个全局变量或一个静态变量,符号解析的目的是将每个符号引用于一个符号定义关联起来。
+1. 符号解析:每个符号对应于一个函数、一个全局变量或一个静态变量,符号解析的目的是将每个符号引用与一个符号定义关联起来。
2. 重定位:编译器和汇编器生成从地址 0 开始的代码和数据节,链接器通过把每个符号定义与一个内存位置关联起来,从而重定位这些节,然后修改所有对这些符号的引用,使得它们指向这个内存位置。
diff --git a/notes/设计模式.md b/notes/设计模式.md
deleted file mode 100644
index 35ba2440..00000000
--- a/notes/设计模式.md
+++ /dev/null
@@ -1,1800 +0,0 @@
-
-* [一、前言](#一前言)
-* [二、设计模式概念](#二设计模式概念)
-* [三、策略模式](#三策略模式)
-* [三、观察者模式](#三观察者模式)
-* [四、装饰模式](#四装饰模式)
-* [五、简单工厂](#五简单工厂)
-* [六、工厂方法模式](#六工厂方法模式)
-* [七、抽象工厂模式](#七抽象工厂模式)
-* [八、单例模式](#八单例模式)
-* [九、命令模式](#九命令模式)
-* [十、适配器模式](#十适配器模式)
-* [十、外观模式](#十外观模式)
-* [十一、模板方法模式](#十一模板方法模式)
-* [十二、迭代器模式](#十二迭代器模式)
-* [十三、组合模式](#十三组合模式)
-* [十四、状态模式](#十四状态模式)
-* [十五、代理模式](#十五代理模式)
-* [十六、MVC](#十六mvc)
-* [十七、与设计模式相处](#十七与设计模式相处)
-
-
-
-# 一、前言
-
-文中涉及一些 UML 类图,为了更好地理解,可以先阅读 [UML 类图](https://github.com/CyC2018/Interview-Notebook/blob/master/notes/%E9%9D%A2%E5%90%91%E5%AF%B9%E8%B1%A1%E6%80%9D%E6%83%B3.md#%E7%AC%AC%E4%B8%89%E7%AB%A0-uml)。
-
-需要说明的一点是,文中的 UML 类图和规范的 UML 类图不大相同,其中组合关系使用以下箭头表示:
-
-
-
-# 二、设计模式概念
-
-设计模式不是代码,而是解决问题的方案,学习现有的设计模式可以做到经验复用。
-
-拥有设计模式词汇,在沟通时就能用更少的词汇来讨论,并且不需要了解底层细节。
-
-# 三、策略模式
-
-## 模式定义
-
-定义了算法族,分别封装起来,让它们之间可以互相替换,此模式让算法的变化独立于使用算法的客户。
-
-## 问题描述
-
-设计不同种类的鸭子拥有不同的叫声和飞行方式。
-
-## 简单实现方案
-
-使用继承的解决方案如下,这种方案代码无法复用,如果两个鸭子类拥有同样的飞行方式,就有两份重复的代码。
-
-
-
-## 设计原则
-
-**封装变化** :在这里变化的是鸭子叫和飞行的行为方式。
-
-**针对接口编程,而不是针对实现编程** :变量声明的类型为父类,而不是具体的某个子类。父类中的方法实现不在父类,而是在各个子类。程序在运行时可以动态改变变量所指向的子类类型。
-
-运用这一原则,将叫和飞行的行为抽象出来,实现多种不同的叫和飞行的子类,让子类去实现具体的叫和飞行方式。
-
-
-
-**多用组合,少用继承** :组合也就是 HAS-A 关系,通过组合,可以在运行时动态改变实现,只要通过改变父类对象具体指向哪个子类即可。而继承就不能做到这些,继承体系在创建类时就已经确定。
-
-运用这一原则,在 Duck 类中组合 FlyBehavior 和 QuackBehavior 类,performQuack() 和 performFly() 方法委托给这两个类去处理。通过这种方式,一个 Duck 子类可以根据需要去初始化 FlyBehavior 和 QuackBehavior 的子类对象,并且也可以动态地进行改变。
-
-
-
-## 问题的解决方案类图
-
-(可放大网页查看)
-
-
-
-## 代码实现
-
-```java
-public abstract class Duck {
- FlyBehavior flyBehavior;
- QuackBehavior quackBehavior;
-
- public Duck(){
- }
-
- public void performFly(){
- flyBehavior.fly();
- }
-
- public void setFlyBehavior(FlyBehavior fb){
- flyBehavior = fb;
- }
-
- public void performQuack(){
- quackBehavior.quack();
- }
-
- public void setQuackBehavior(QuackBehavior qb){
- quackBehavior = qb;
- }
-}
-```
-```java
-public class MallardDuck extends Duck{
- public MallardDuck(){
- flyBehavior = new FlyWithWings();
- quackBehavior = new Quack();
- }
-}
-```
-```java
-public interface FlyBehavior {
- void fly();
-}
-```
-```java
-public class FlyNoWay implements FlyBehavior{
- @Override
- public void fly() {
- System.out.println("FlyBehavior.FlyNoWay");
- }
-}
-```
-```java
-public class FlyWithWings implements FlyBehavior{
- @Override
- public void fly() {
- System.out.println("FlyBehavior.FlyWithWings");
- }
-}
-```
-```java
-public interface QuackBehavior {
- void quack();
-}
-```
-```java
-public class Quack implements QuackBehavior{
- @Override
- public void quack() {
- System.out.println("QuackBehavior.Quack");
- }
-}
-```
-```java
-public class MuteQuack implements QuackBehavior{
- @Override
- public void quack() {
- System.out.println("QuackBehavior.MuteQuack");
- }
-}
-```
-```java
-public class Squeak implements QuackBehavior{
- @Override
- public void quack() {
- System.out.println("QuackBehavior.Squeak");
- }
-}
-```
-```java
-public class MiniDuckSimulator {
- public static void main(String[] args) {
- Duck mallardDuck = new MallardDuck();
- mallardDuck.performQuack();
- mallardDuck.performFly();
- mallardDuck.setFlyBehavior(new FlyNoWay());
- mallardDuck.performFly();
- }
-}
-```
-执行结果
-```html
-QuackBehavior.Quack
-FlyBehavior.FlyWithWings
-FlyBehavior.FlyNoWay
-```
-
-# 三、观察者模式
-
-## 模式定义
-
-定义了对象之间的一对多依赖,当一个对象改变状态时,它的所有依赖者都会收到通知并自动更新。主题(Subject)是被观察的对象,而其所有依赖者(Observer)称为观察者。
-
-
-
-## 模式类图
-
-主题具有注册和移除观察者、并通知所有注册者的功能,主题是通过维护一张观察者列表来实现这些操作的。
-
-观察者拥有一个主题对象的引用,因为注册、移除观察者功能,还有数据都在主题当中,必须通过操作主题才能完成相应操作。
-
-
-
-## 问题描述
-
-天气数据布告板会在天气信息发生改变时更新其内容,布告板有多个,并且在将来会继续增加。
-
-## 问题的解决方案类图
-
-
-
-## 设计原则
-
-为交互对象之间的松耦合设计而努力:当两个对象之间松耦合,它们依然可以交互,但是不清楚彼此的细节。由于松耦合的两个对象之间互相依赖程度很低,因此系统具有弹性,能够应对变化。
-
-## 代码实现
-
-```java
-public interface Subject {
- public void resisterObserver(Observer o);
- public void removeObserver(Observer o);
- public void notifyObserver();
-}
-```
-```java
-
-public class WeatherData implements Subject {
- private List observers;
- private float temperature;
- private float humidity;
- private float pressure;
-
- public WeatherData() {
- observers = new ArrayList<>();
- }
-
- @Override
- public void resisterObserver(Observer o) {
- observers.add(o);
- }
-
- @Override
- public void removeObserver(Observer o) {
- int i = observers.indexOf(o);
- if (i >= 0) {
- observers.remove(i);
- }
- }
-
- @Override
- public void notifyObserver() {
- for (Observer o : observers) {
- o.update(temperature, humidity, pressure);
- }
- }
-
- public void setMeasurements(float temperature, float humidity, float pressure) {
- this.temperature = temperature;
- this.humidity = humidity;
- this.pressure = pressure;
- notifyObserver();
- }
-}
-```
-```java
-public interface Observer {
- public void update(float temp, float humidity, float pressure);
-}
-```
-```java
-public class CurrentConditionsDisplay implements Observer {
- private Subject weatherData;
-
- public CurrentConditionsDisplay(Subject weatherData) {
- this.weatherData = weatherData;
- weatherData.resisterObserver(this);
- }
-
- @Override
- public void update(float temp, float humidity, float pressure) {
- System.out.println("CurrentConditionsDisplay.update:" + temp + " " + humidity + " " + pressure);
- }
-}
-```
-```java
-public class StatisticsDisplay implements Observer {
- private Subject weatherData;
-
- public StatisticsDisplay(Subject weatherData) {
- this.weatherData = weatherData;
- weatherData.resisterObserver(this);
- }
-
- @Override
- public void update(float temp, float humidity, float pressure) {
- System.out.println("StatisticsDisplay.update:" + temp + " " + humidity + " " + pressure);
- }
-}
-```
-```java
-public class WeatherStation {
- public static void main(String[] args) {
- WeatherData weatherData = new WeatherData();
- CurrentConditionsDisplay currentConditionsDisplay = new CurrentConditionsDisplay(weatherData);
- StatisticsDisplay statisticsDisplay = new StatisticsDisplay(weatherData);
-
- weatherData.setMeasurements(0, 0, 0);
- weatherData.setMeasurements(1, 1, 1);
- }
-}
-```
-执行结果
-```html
-CurrentConditionsDisplay.update:0.0 0.0 0.0
-StatisticsDisplay.update:0.0 0.0 0.0
-CurrentConditionsDisplay.update:1.0 1.0 1.0
-StatisticsDisplay.update:1.0 1.0 1.0
-```
-
-# 四、装饰模式
-
-## 问题描述
-
-设计不同种类的饮料,饮料可以添加配料,比如可以添加牛奶,并且支持动态添加新配料。每增加一种配料,该饮料的价格就会增加,要求计算一种饮料的价格。
-
-## 模式定义
-
-动态地将责任附加到对象上。在扩展功能上,装饰者提供了比继承更有弹性的替代方案。
-
-下图表示在 DarkRoast 饮料上新增新添加 Mocha 配料,之后又添加了 Whip 配料。DarkRoast 被 Mocha 包裹,Mocha 又被 Whip 包裹。它们都继承自相同父类,都有 cost() 方法,外层类的 cost() 方法调用了内层类的 cost() 方法。
-
-
-
-## 模式类图
-
-装饰者(Decorator)和具体组件(ConcreteComponent)都继承自组件(Component),具体组件的方法实现不需要依赖于其它对象,而装饰者组合了一个组件,这样它可以装饰其它装饰者或者具体组件。所谓装饰,就是把这个装饰者套在被装饰上,从而动态扩展被装饰者的功能。装饰者的方法有一部分是自己的,这属于它的功能,然后调用被装饰者的方法实现,从而也保留了被装饰者的功能。可以看到,具体组件应当是装饰层次的最低层,因为只有具体组件的方法实现不需要依赖于其它对象。
-
-
-
-## 问题的解决方案类图
-
-
-
-## 设计原则
-
-类应该对扩展开放,对修改关闭:也就是添加新功能时不需要修改代码。在本章问题中该原则体现在,饮料可以动态添加新的配料,而不需要去修改饮料的代码。观察者模式也符合这个原则。不可能把所有的类设计成都满足这一原则,应当把该原则应用于最有可能发生改变的地方。
-
-## Java I/O 中的装饰者模式
-
-
-
-## 代码实现
-
-```java
-public interface Beverage {
- public double cost();
-}
-```
-```java
-public class HouseBlend implements Beverage{
- @Override
- public double cost() {
- return 1;
- }
-}
-```
-```java
-public class DarkRoast implements Beverage{
- @Override
- public double cost() {
- return 1;
- }
-}
-```
-```java
-public abstract class CondimentDecorator implements Beverage{
- protected Beverage beverage;
-}
-```
-```java
-public class Mocha extends CondimentDecorator {
-
- public Mocha(Beverage beverage) {
- this.beverage = beverage;
- }
-
- @Override
- public double cost() {
- return 1 + beverage.cost();
- }
-}
-```
-```java
-public class Milk extends CondimentDecorator {
-
- public Milk(Beverage beverage) {
- this.beverage = beverage;
- }
-
- @Override
- public double cost() {
- return 1 + beverage.cost();
- }
-}
-```
-```java
-public class StartbuzzCoffee {
- public static void main(String[] args) {
- Beverage beverage = new HouseBlend();
- beverage = new Mocha(beverage);
- beverage = new Milk(beverage);
- System.out.println(beverage.cost());
- }
-}
-```
-
-输出
-
-```html
-3.0
-```
-
-# 五、简单工厂
-
-## 问题描述
-
-Pizza 类有很多子类,要求根据不同的情况用不同的子类实例化一个 Pizza 对象。
-
-## 模式定义
-
-简单工厂不是设计模式,更像是一种编程习惯。它把实例化的操作单独放到一个类中,这个类就成为简单工厂类,让简单工厂类来决定应该用哪个子类来实例化。
-
-这样做能把客户类和具体子类的实现解耦,客户类不再需要知道有哪些子类以及应当实例化哪个子类。因为客户类往往有多个,如果不使用简单工厂,所有的客户类都要知道所有子类的细节。而且一旦子类发生改变,例如增加子类,那么所有的客户类都要进行修改。
-
-
-
-## 问题的解决方案类图
-
-
-
-## 代码实现
-
-```java
-public interface Pizza {
- public void make();
-}
-```
-
-```java
-public class CheesePizza implements Pizza{
- @Override
- public void make() {
- System.out.println("CheesePizza");
- }
-}
-```
-
-```java
-public class GreekPizza implements Pizza{
- @Override
- public void make() {
- System.out.println("GreekPizza");
- }
-}
-```
-
-```java
-public class SimplePizzaFactory {
- public Pizza createPizza(String type) {
- if (type.equals("cheese")) {
- return new CheesePizza();
- } else if (type.equals("greek")) {
- return new GreekPizza();
- } else {
- throw new UnsupportedOperationException();
- }
- }
-}
-```
-
-```java
-public class PizzaStore {
- public static void main(String[] args) {
- SimplePizzaFactory simplePizzaFactory = new SimplePizzaFactory();
- Pizza pizza = simplePizzaFactory.createPizza("cheese");
- pizza.make();
- }
-}
-```
-
-运行结果
-
-```java
-CheesePizza
-```
-
-# 六、工厂方法模式
-
-## 问题描述
-
-每个地区的 PizzaStore 卖的 Pizza 虽然种类相同,但是都有自己的风味。一个客户点了纽约的 cheese 种类的 Pizza 和在芝加哥点的相同种类的 Pizza 是不同的。要求设计出满足条件的 PizzaStore。
-
-## 模式定义
-
-定义了一个创建对象的接口,但由子类决定要实例化哪个类。工厂方法把实例化推迟到子类。
-
-## 模式类图
-
-在简单工厂中,创建对象的是另一个类,而在工厂方法中,是由子类来创建对象。
-
-下图中,Creator 有一个 anOperation() 方法,这个方法需要用到一组产品对象,这组产品对象由 factoryMethod() 方法创建。该方法是抽象的,需要由子类去实现。
-
-
-
-## 问题的解决方案类图
-
-PizzaStore 有 orderPizza() 方法,顾客可以用它来下单。下单之后需要先使用 createPizza() 来制作 Pizza,这里的 createPizza() 就是 factoryMethod(),不同的 PizzaStore 子类实现了不同的 createPizza()。
-
-
-
-## 设计原则
-
-依赖倒置原则:要依赖抽象,不要依赖具体类。听起来像是针对接口编程,不针对实现编程,但是这个原则说明了:不能让高层组件依赖底层组件,而且,不管高层或底层组件,两者都应该依赖于抽象。例如,下图中 Pizza 是抽象类,PizzaStore 和 Pizza 子类都依赖于 Pizza 这个抽象类。
-
-
-
-## 代码实现
-
-```java
-public interface Pizza {
- public void make();
-}
-```
-```java
-public interface PizzaStore {
- public Pizza orderPizza(String item);
-}
-```
-```java
-public class NYStyleCheesePizza implements Pizza{
- @Override
- public void make() {
- System.out.println("NYStyleCheesePizza is making..");
- }
-}
-```
-```java
-public class NYStyleVeggiePizza implements Pizza {
- @Override
- public void make() {
- System.out.println("NYStyleVeggiePizza is making..");
- }
-}
-```
-```java
-public class ChicagoStyleCheesePizza implements Pizza{
- @Override
- public void make() {
- System.out.println("ChicagoStyleCheesePizza is making..");
- }
-}
-```
-```java
-public class ChicagoStyleVeggiePizza implements Pizza{
- @Override
- public void make() {
- System.out.println("ChicagoStyleVeggiePizza is making..");
- }
-}
-```
-```java
-public class NYPizzaStore implements PizzaStore {
- @Override
- public Pizza orderPizza(String item) {
- Pizza pizza = null;
- if (item.equals("cheese")) {
- pizza = new NYStyleCheesePizza();
- } else if (item.equals("veggie")) {
- pizza = new NYStyleVeggiePizza();
- } else {
- throw new UnsupportedOperationException();
- }
- pizza.make();
- return pizza;
- }
-}
-```
-```java
-public class ChicagoPizzaStore implements PizzaStore {
- @Override
- public Pizza orderPizza(String item) {
- Pizza pizza = null;
- if (item.equals("cheese")) {
- pizza = new ChicagoStyleCheesePizza();
- } else if (item.equals("veggie")) {
- pizza = new ChicagoStyleVeggiePizza();
- } else {
- throw new UnsupportedOperationException();
- }
- pizza.make();
- return pizza;
- }
-}
-```
-```java
-public class PizzaTestDrive {
- public static void main(String[] args) {
- PizzaStore nyStore = new NYPizzaStore();
- nyStore.orderPizza("cheese");
- PizzaStore chicagoStore = new ChicagoPizzaStore();
- chicagoStore.orderPizza("cheese");
- }
-}
-```
-
-运行结果
-
-```html
-NYStyleCheesePizza is making..
-ChicagoStyleCheesePizza is making..
-```
-
-# 七、抽象工厂模式
-
-## 模式定义
-
-提供一个接口,用于创建 **相关的对象家族** 。
-
-## 模式类图
-
-抽象工厂模式创建的是对象家族,也就是很多对象而不是一个对象,并且这些对象是相关的,也就是说必须一起创建出来。而工厂模式只是用于创建一个对象,这和抽象工厂模式有很大不同。
-
-抽象工厂模式用到了工厂模式来创建单一对象,在类图左部,AbstractFactory 中的 CreateProductA 和 CreateProductB 方法都是让子类来实现,这两个方法单独来看就是在创建一个对象,这符合工厂模式的定义。
-
-至于创建对象的家族这一概念是在 Client 体现,Client 要通过 AbstractFactory 同时调用两个方法来创建出两个对象,在这里这两个对象就有很大的相关性,Client 需要同时创建出这两个对象。
-
-从高层次来看,抽象工厂使用了组合,即 Cilent 组合了 AbstractFactory,而工厂模式使用了继承。
-
-
-
-## 解决方案类图
-
-
-
-## 代码实现
-
-```java
-public interface Dough {
- public String doughType();
-}
-```
-```java
-public class ThickCrustDough implements Dough{
-
- @Override
- public String doughType() {
- return "ThickCrustDough";
- }
-}
-```
-```java
-public class ThinCrustDough implements Dough {
- @Override
- public String doughType() {
- return "ThinCrustDough";
- }
-}
-```
-```java
-public interface Sauce {
- public String sauceType();
-}
-```
-```java
-public class MarinaraSauce implements Sauce {
- @Override
- public String sauceType() {
- return "MarinaraSauce";
- }
-}
-```
-```java
-public class PlumTomatoSauce implements Sauce {
- @Override
- public String sauceType() {
- return "PlumTomatoSauce";
- }
-}
-```
-```java
-public interface PizzaIngredientFactory {
- public Dough createDough();
- public Sauce createSauce();
-}
-```
-```java
-public class NYPizzaIngredientFactory implements PizzaIngredientFactory{
- @Override
- public Dough createDough() {
- return new ThickCrustDough();
- }
-
- @Override
- public Sauce createSauce() {
- return new MarinaraSauce();
- }
-}
-```
-```java
-public class ChicagoPizzaIngredientFactory implements PizzaIngredientFactory{
- @Override
- public Dough createDough() {
- return new ThinCrustDough();
- }
-
- @Override
- public Sauce createSauce() {
- return new PlumTomatoSauce();
- }
-}
-```
-```java
-public class NYPizzaStore {
- private PizzaIngredientFactory ingredientFactory;
-
- public NYPizzaStore() {
- ingredientFactory = new NYPizzaIngredientFactory();
- }
-
- public void makePizza() {
- Dough dough = ingredientFactory.createDough();
- Sauce sauce = ingredientFactory.createSauce();
- System.out.println(dough.doughType());
- System.out.println(sauce.sauceType());
- }
-}
-```
-```java
-public class NYPizzaStoreTestDrive {
- public static void main(String[] args) {
- NYPizzaStore nyPizzaStore = new NYPizzaStore();
- nyPizzaStore.makePizza();
- }
-}
-```
-
-运行结果
-
-```html
-ThickCrustDough
-MarinaraSauce
-```
-
-# 八、单例模式
-
-## 模式定义
-
-确保一个类只有一个实例,并提供了一个全局访问点。
-
-## 模式类图
-
-使用一个私有构造函数、一个私有静态变量以及一个公有静态函数来实现。
-
-私有构造函数保证了不能通过构造函数来创建对象实例,只能通过公有静态函数返回唯一的私有静态变量。
-
-
-
-## 懒汉式-线程不安全
-
-以下实现中,私有静态变量 uniqueInstance 被延迟化实例化,这样做的好处是,如果没有用到该类,那么就不会实例化 uniqueInstance,从而节约资源。
-
-这个实现在多线程环境下是不安全的,如果多个线程能够同时进入`if(uniqueInstance == null)` ,那么就会多次实例化 uniqueInstance。
-
-```java
-public class Singleton {
-
- private static Singleton uniqueInstance;
-
- private Singleton() {
- }
-
- public static Singleton getUniqueInstance() {
- if (uniqueInstance == null) {
- uniqueInstance = new Singleton();
- }
- return uniqueInstance;
- }
-}
-```
-
-## 懒汉式-线程安全
-
-只需要对 `getUniqueInstance()` 方法加锁,那么在一个时间点只能有一个线程能够进入该方法,从而避免了对 uniqueInstance 进行多次实例化的问题。
-
-但是这样有一个问题,就是当一个线程进入该方法之后,其它线程试图进入该方法都必须等待,因此性能上有一定的损耗。
-
-```java
-public static synchronized Singleton getUniqueInstance() {
- if (uniqueInstance == null) {
- uniqueInstance = new Singleton();
- }
- return uniqueInstance;
-}
-```
-
-## 饿汉式-线程安全
-
-线程不安全问题主要是由于 uniqueInstance 被实例化了多次,如果 uniqueInstance 采用直接实例化的话,就不会被实例化多次,也就不会产生线程不安全问题。但是直接实例化的方式也丢失了延迟实例化带来的节约资源的优势。
-
-```java
-private static Singleton uniqueInstance = new Singleton();
-```
-
-## 双重校验锁-线程安全
-
-uniqueInstance 只需要被实例化一次,之后就可以直接使用了。加锁操作只需要对实例化那部分的代码进行。也就是说,只有当 uniqueInstance 没有被实例化时,才需要进行加锁。
-
-双重校验锁先判断 uniqueInstance 是否已经被初始化了,如果没有被实例化,那么才对实例化语句进行加锁。
-
-```java
-public class Singleton {
-
- private volatile static Singleton uniqueInstance;
-
- private Singleton() {
- }
-
- public static Singleton getUniqueInstance() {
- if (uniqueInstance == null) {
- synchronized (Singleton.class) {
- if (uniqueInstance == null) {
- uniqueInstance = new Singleton();
- }
- }
- }
- return uniqueInstance;
- }
-}
-```
-
-考虑下面的实现,也就是只使用了一个 if 语句。在 uniqueInstance == null 的情况下,如果两个线程同时执行 if 语句,那么两个线程就会同时进入 if 语句块内。虽然在 if 语句块内有加锁操作,但是两个线程都会执行`uniqueInstance = new Singleton();`这条语句,只是早晚的问题,也就是说会进行两次实例化,从而产生了两个实例。因此必须使用双重校验锁,也就是需要使用两个 if 判断。
-
-```java
-if (uniqueInstance == null) {
- synchronized (Singleton.class) {
- uniqueInstance = new Singleton();
- }
-}
-```
-
-# 九、命令模式
-
-## 问题描述
-
-设计一个遥控器,它有很多按钮,每个按钮可以发起一个命令,命令会让一个家电完成相应操作。
-
-
-
-有非常多的家电,并且之后会增加家电。
-
-
-
-## 模式定义
-
-将命令封装成对象,以便使用不同的命令来参数化其它对象。
-
-## 问题的解决方案类图
-
-- RemoteControl 是遥控器,它可以为每个按钮设置命令对象,并且执行命令。
-
-- Command 是命令对象。
-
-- Light(电灯)是命令真正的执行者。
-
-- RemoteLoader 是客户端,应该注意它与 RemoteControl 的区别。因为 RemoteControl 不能主动地调用自身的方法,因此也就不能当成是客户端。客户端好比人,只有人才能去真正去使用遥控器。
-
-
-
-## 模式类图
-
-
-
-## 代码实现
-
-```java
-public interface Command {
- public void execute();
-}
-```
-
-```java
-public class Light {
-
- public void on() {
- System.out.println("Light is on!");
- }
-
- public void off() {
- System.out.println("Light is off!");
- }
-}
-```
-
-```java
-public class LightOnCommand implements Command{
- Light light;
-
- public LightOnCommand(Light light) {
- this.light = light;
- }
-
- @Override
- public void execute() {
- light.on();
- }
-}
-```
-
-```java
-/**
- * 遥控器类
- */
-public class SimpleRemoteControl {
- Command slot;
-
- public SimpleRemoteControl() {
-
- }
-
- public void setCommand(Command command) {
- this.slot = command;
- }
-
- public void buttonWasPressed() {
- slot.execute();
- }
-
-}
-```
-
-```java
-/**
- * 客户端
- */
-public class RemoteLoader {
- public static void main(String[] args) {
- SimpleRemoteControl remote = new SimpleRemoteControl();
- Light light = new Light();
- LightOnCommand lightOnCommand = new LightOnCommand(light);
- remote.setCommand(lightOnCommand);
- remote.buttonWasPressed();
- }
-}
-```
-
-输出
-
-```html
-Light is on!
-```
-
-# 十、适配器模式
-
-## 模式定义
-
-将一个类的接口,转换为客户期望的另一个接口。适配器让原本不兼容的类可以合作无间。
-
-
-
-## 模式类图
-
-适配器(Adapter)组合一个适配者(Adaptee),Adapter 把操作委托给 Adaptee。
-
-
-
-## 问题描述
-
-鸭子(Duck)和火鸡(Turkey)拥有不同的叫声,Duck 的叫声调用 quack() 方法,而 Turkey 调用 gobble() 方法。
-
-要求将 Turkey 的 gobble() 方法适配成 Duck 的 quack() 方法,从而让火鸡冒充鸭子!
-
-## 问题的解决方案类图
-
-
-
-## 代码实现
-
-```java
-public interface Duck {
- public void quack();
-}
-```
-
-```java
-public interface Turkey {
- public void gobble();
-}
-```
-
-```java
-public class WildTurkey implements Turkey{
- @Override
- public void gobble() {
- System.out.println("gobble!");
- }
-}
-```
-
-```java
-public class TurkeyAdapter implements Duck{
- Turkey turkey;
-
- public TurkeyAdapter(Turkey turkey) {
- this.turkey = turkey;
- }
-
- @Override
- public void quack() {
- turkey.gobble();
- }
-}
-```
-
-```java
-public class DuckTestDrive {
- public static void main(String[] args) {
- Turkey turkey = new WildTurkey();
- Duck duck = new TurkeyAdapter(turkey);
- duck.quack();
- }
-}
-```
-
-运行结果
-
-```html
-gobble!
-```
-
-# 十、外观模式
-
-## 模式定义
-
-提供了一个统一的接口,用来访问子系统中的一群接口,从而让子系统更容易使用。
-
-## 模式类图
-
-
-
-## 问题描述
-
-家庭影院中有众多电器,当要进行观看电影时需要对很多电器进行操作。要求简化这些操作,使得家庭影院类只提供一个简化的接口,例如提供一个看电影相关的接口。
-
-
-
-## 解决方案类图
-
-
-
-## 设计原则
-
-**最少知识原则** :只和你的密友谈话。也就是客户对象所需要交互的对象应当尽可能少。
-
-## 代码实现
-
-过于简单,无实现。
-
-# 十一、模板方法模式
-
-## 模式定义
-
-在一个方法中定义一个算法的骨架,而将一些步骤延迟到子类中。
-
-模板方法使得子类可以在不改变算法结构的情况下,重新定义算法中的某些步骤。
-
-## 模式类图
-
-模板方法 templateMethod() 定义了算法的骨架,确定了 primitiveOperation1() 和 primitiveOperation2() 方法执行的顺序,而 primitiveOperation1() 和 primitiveOperation2() 让子类去实现。
-
-
-
-## 问题描述
-
-冲咖啡和冲茶都有类似的流程,但是某些步骤会有点不一样,要求复用那些相同步骤的代码。
-
-
-
-## 问题的解决方案类图
-
-prepareRecipe() 方法就是模板方法,它确定了其它四个方法的具体执行步骤。其中 brew() 和 addCondiments() 方法在子类中实现。
-
-
-
-## 设计原则
-
-**好莱坞原则** :别调用(打电话给)我们,我们会调用(打电话给)你。这一原则可以防止依赖腐败,即防止高层组件依赖底层组件,底层组件又依赖高层组件。该原则在模板方法的体现为,只有父类会调用子类,子类不会调用父类。
-
-## 钩子
-
-某些步骤在不同实现中可有可无,可以先定义一个什么都不做的方法,把它加到模板方法中,如果子类需要它就覆盖默认实现并加上自己的实现。
-
-## 代码实现
-
-```java
-public abstract class CaffeineBeverage {
-
- final void prepareRecipe(){
- boilWater();
- brew();
- pourInCup();
- addCondiments();
- }
-
- abstract void brew();
-
- abstract void addCondiments();
-
- void boilWater(){
- System.out.println("boilWater");
- }
-
- void pourInCup(){
- System.out.println("pourInCup");
- }
-}
-```
-
-```java
-public class Coffee extends CaffeineBeverage{
- @Override
- void brew() {
- System.out.println("Coffee.brew");
- }
-
- @Override
- void addCondiments() {
- System.out.println("Coffee.addCondiments");
- }
-}
-```
-
-```java
-public class Tea extends CaffeineBeverage{
- @Override
- void brew() {
- System.out.println("Tea.brew");
- }
-
- @Override
- void addCondiments() {
- System.out.println("Tea.addCondiments");
- }
-}
-```
-
-```java
-public class CaffeineBeverageTestDrive {
- public static void main(String[] args) {
- CaffeineBeverage caffeineBeverage = new Coffee();
- caffeineBeverage.prepareRecipe();
- System.out.println("-----------");
- caffeineBeverage = new Tea();
- caffeineBeverage.prepareRecipe();
- }
-}
-```
-
-运行结果
-
-```html
-boilWater
-Coffee.brew
-pourInCup
-Coffee.addCondiments
------------
-boilWater
-Tea.brew
-pourInCup
-Tea.addCondiments
-```
-
-# 十二、迭代器模式
-
-## 模式定义
-
-提供顺序访问一个聚合对象中的各个元素的方法,而又不暴露聚合对象内部的表示。
-
-## 模式类图
-
-- Aggregate 是聚合类,其中 createIterator() 方法可以产生一个 Iterator;
-
-- Iterator 主要定义了 hasNext() 和 next() 方法。
-
-- Client 组合了 Aggregate,为了迭代遍历 Aggregate,也需要组合 Iterator。
-
-
-
-## 代码实现
-
-```java
-public class Aggregate {
-
- private int[] items;
-
- public Aggregate() {
- items = new int[10];
- for (int i = 0; i < items.length; i++) {
- items[i] = i;
- }
- }
-
- public Iterator createIterator() {
- return new ConcreteIterator(items);
- }
-
-}
-```
-
-```java
-public interface Iterator {
- boolean hasNext();
- int next();
-}
-```
-
-```java
-public class ConcreteIterator implements Iterator {
-
- private int[] items;
- private int position = 0;
-
- public ConcreteIterator(int[] items) {
- this.items = items;
- }
-
- @Override
- public boolean hasNext() {
- return position < items.length;
- }
-
- @Override
- public int next() {
- return items[position++];
- }
-}
-```
-```java
-public class Client {
- public static void main(String[] args) {
- Aggregate aggregate = new Aggregate();
- Iterator iterator = aggregate.createIterator();
- while(iterator.hasNext()){
- System.out.println(iterator.next());
- }
- }
-}
-```
-运行结果
-```html
-0
-1
-2
-3
-4
-5
-6
-7
-8
-9
-```
-
-## Java 内置的迭代器
-
-需要让聚合类实现 Iterable 接口,该接口有一个 iterator() 方法会返回一个 Iterator 对象。
-
-可以使用 foreach 循环来顺序访问聚合对象中的每个元素。
-
-Java 中的集合类基本都实现了 Iterable 接口。
-
-```java
-import java.util.Iterator;
-
-public class Aggregate implements Iterable{
-
- private int[] items;
-
- public Aggregate() {
- items = new int[10];
- for (int i = 0; i < items.length; i++) {
- items[i] = i;
- }
- }
-
- @Override
- public Iterator iterator() {
- return new ConcreteIterator(items);
- }
-}
-```
-```java
-import java.util.Iterator;
-
-public class ConcreteIterator implements Iterator {
-
- private int[] items;
- private int position = 0;
-
- public ConcreteIterator(int[] items) {
- this.items = items;
- }
-
- @Override
- public boolean hasNext() {
- return position < items.length;
- }
-
- @Override
- public Integer next() {
- return items[position++];
- }
-}
-```
-```java
-public class Client {
- public static void main(String[] args) {
- Aggregate aggregate = new Aggregate();
- for (int item : aggregate) {
- System.out.println(item);
- }
- }
-}
-```
-
-# 十三、组合模式
-
-## 设计原则
-
-一个类应该只有一个引起它改变的原因。
-
-## 模式定义
-
-允许将对象组合成树形结构来表现“整体/部分”关系。
-
-组合能让客户以一致的方式处理个别对象以及组合对象。
-
-## 模式类图
-
-组件(Component)类是组合类(Composite)和叶子类(Leaf)的父类,可以把组合类看成是树的中间节点。
-
-组合对象拥有一个组件对象,因此组合对象的操作可以委托给组件对象去处理,而组件对象可以是另一个组合对象或者叶子对象。
-
-
-
-## 代码实现
-
-```java
-public abstract class Component {
- protected String name;
-
- public Component(String name) {
- this.name = name;
- }
-
- abstract public void addChild(Component component);
-
- public void print() {
- print(0);
- }
-
- abstract protected void print(int level);
-}
-```
-
-```java
-public class Leaf extends Component {
- public Leaf(String name) {
- super(name);
- }
-
- @Override
- public void addChild(Component component) {
- throw new UnsupportedOperationException(); // 牺牲透明性换取单一职责原则,这样就不用考虑是叶子节点还是组合节点
- }
-
- @Override
- protected void print(int level) {
- for (int i = 0; i < level; i++) {
- System.out.print("--");
- }
- System.out.println("left:" + name);
- }
-}
-```
-
-```java
-public class Composite extends Component {
-
- private List childs;
-
- public Composite(String name) {
- super(name);
- childs = new ArrayList<>();
- }
-
- @Override
- public void addChild(Component component) {
- childs.add(component);
- }
-
- @Override
- protected void print(int level) {
- for (int i = 0; i < level; i++) {
- System.out.print("--");
- }
- System.out.println("Composite:" + name);
- for (Component component : childs) {
- component.print(level + 1);
- }
- }
-}
-```
-
-```java
-public class Client {
- public static void main(String[] args) {
- Composite root = new Composite("root");
- Component node1 = new Leaf("1");
- Component node2 = new Composite("2");
- Component node3 = new Leaf("3");
- root.addChild(node1);
- root.addChild(node2);
- root.addChild(node3);
- Component node21 = new Leaf("21");
- Component node22 = new Composite("22");
- node2.addChild(node21);
- node2.addChild(node22);
- Component node221 = new Leaf("221");
- node22.addChild(node221);
- root.print();
- }
-}
-```
-运行结果
-
-```html
-Composite:root
---left:1
---Composite:2
-----left:21
-----Composite:22
-------left:221
---left:3
-```
-
-# 十四、状态模式
-
-## 模式定义
-
-允许对象在内部状态改变时改变它的行为,对象看起来好像修改了它所属的类。
-
-## 模式类图
-
-Context 的 request() 方法委托给 State 对象去处理。当 Context 组合的 State 对象发生改变时,它的行为也就发生了改变。
-
-
-
-## 与策略模式的比较
-
-状态模式的类图和策略模式一样,并且都是能够动态改变对象的行为。
-
-但是状态模式是通过状态转移来改变 Context 所组合的 State 对象,而策略模式是通过 Context 本身的决策来改变组合的 Strategy 对象。
-
-所谓的状态转移,是指 Context 在运行过程中由于一些条件发生改变而使得 State 对象发生改变,注意必须要是在运行过程中。
-
-状态模式主要是用来解决状态转移的问题,当状态发生转移了,那么 Context 对象就会改变它的行为;而策略模式主要是用来封装一组可以互相替代的算法族,并且可以根据需要动态地去替换 Context 使用的算法。
-
-## 问题描述
-
-糖果销售机有多种状态,每种状态下销售机有不同的行为,状态可以发生转移,使得销售机的行为也发生改变。
-
-
-
-## 直接解决方案
-
-在糖果机的每个操作函数里面,判断当前的状态,根据不同的状态进行不同的处理,并且发生不同的状态转移。
-
-这种解决方案在需要增加状态的时候,必须对每个操作的代码都进行修改。
-
-
-
-## 代码实现
-
-糖果销售机即 Context。
-
-下面的实现中每个 State 都组合了 Context 对象,这是因为状态转移的操作在 State 对象中,而状态转移过程又必须改变 Context 对象的 state 对象,因此 State 必须组合 Context 对象。
-
-```java
-public interface State {
- /**
- * 投入 25 分钱
- */
- void insertQuarter();
-
- /**
- * 退回 25 分钱
- */
- void ejectQuarter();
-
- /**
- * 转动曲柄
- */
- void turnCrank();
-
- /**
- * 发放糖果
- */
- void dispense();
-}
-```
-```java
-public class HasQuarterState implements State{
-
- private GumballMachine gumballMachine;
-
- public HasQuarterState(GumballMachine gumballMachine){
- this.gumballMachine = gumballMachine;
- }
-
- @Override
- public void insertQuarter() {
- System.out.println("You can't insert another quarter");
- }
-
- @Override
- public void ejectQuarter() {
- System.out.println("Quarter returned");
- gumballMachine.setState(gumballMachine.getNoQuarterState());
- }
-
- @Override
- public void turnCrank() {
- System.out.println("You turned...");
- gumballMachine.setState(gumballMachine.getSoldState());
- }
-
- @Override
- public void dispense() {
- System.out.println("No gumball dispensed");
- }
-}
-```
-```java
-public class NoQuarterState implements State {
-
- GumballMachine gumballMachine;
-
- public NoQuarterState(GumballMachine gumballMachine) {
- this.gumballMachine = gumballMachine;
- }
-
- @Override
- public void insertQuarter() {
- System.out.println("You insert a quarter");
- gumballMachine.setState(gumballMachine.getHasQuarterState());
- }
-
- @Override
- public void ejectQuarter() {
- System.out.println("You haven't insert a quarter");
- }
-
- @Override
- public void turnCrank() {
- System.out.println("You turned, but there's no quarter");
- }
-
- @Override
- public void dispense() {
- System.out.println("You need to pay first");
- }
-}
-```
-```java
-public class SoldOutState implements State {
-
- GumballMachine gumballMachine;
-
- public SoldOutState(GumballMachine gumballMachine) {
- this.gumballMachine = gumballMachine;
- }
-
- @Override
- public void insertQuarter() {
- System.out.println("You can't insert a quarter, the machine is sold out");
- }
-
- @Override
- public void ejectQuarter() {
- System.out.println("You can't eject, you haven't inserted a quarter yet");
- }
-
- @Override
- public void turnCrank() {
- System.out.println("You turned, but there are no gumballs");
- }
-
- @Override
- public void dispense() {
- System.out.println("No gumball dispensed");
- }
-}
-```
-```java
-public class SoldState implements State {
-
- GumballMachine gumballMachine;
-
- public SoldState(GumballMachine gumballMachine) {
- this.gumballMachine = gumballMachine;
- }
-
- @Override
- public void insertQuarter() {
- System.out.println("Please wait, we're already giving you a gumball");
- }
-
- @Override
- public void ejectQuarter() {
- System.out.println("Sorry, you already turned the crank");
- }
-
- @Override
- public void turnCrank() {
- System.out.println("Turning twice doesn't get you another gumball!");
- }
-
- @Override
- public void dispense() {
- gumballMachine.releaseBall();
- if(gumballMachine.getCount()>0){
- gumballMachine.setState(gumballMachine.getNoQuarterState());
- } else{
- System.out.println("Oops, out of gumballs");
- gumballMachine.setState(gumballMachine.getSoldOutState());
- }
- }
-}
-```
-```java
-public class GumballMachine {
-
- private State soldOutState;
- private State noQuarterState;
- private State hasQuarterState;
- private State soldState;
-
- private State state;
- private int count = 0;
-
- public GumballMachine(int numberGumballs) {
- count = numberGumballs;
- soldOutState = new SoldOutState(this);
- noQuarterState = new NoQuarterState(this);
- hasQuarterState = new HasQuarterState(this);
- soldState = new SoldState(this);
-
- if (numberGumballs > 0) {
- state = noQuarterState;
- } else {
- state = soldOutState;
- }
- }
-
- public void insertQuarter() {
- state.insertQuarter();
- }
-
- public void ejectQuarter() {
- state.ejectQuarter();
- }
-
- public void turnCrank() {
- state.turnCrank();
- state.dispense();
- }
-
- public void setState(State state) {
- this.state = state;
- }
-
- public void releaseBall() {
- System.out.println("A gumball comes rolling out the slot...");
- if (count != 0) {
- count -= 1;
- }
- }
-
- public State getSoldOutState() {
- return soldOutState;
- }
-
- public State getNoQuarterState() {
- return noQuarterState;
- }
-
- public State getHasQuarterState() {
- return hasQuarterState;
- }
-
- public State getSoldState() {
- return soldState;
- }
-
- public int getCount() {
- return count;
- }
-}
-```
-```java
-public class GumballMachineTestDrive {
-
- public static void main(String[] args) {
- GumballMachine gumballMachine = new GumballMachine(5);
-
- gumballMachine.insertQuarter();
- gumballMachine.turnCrank();
-
- gumballMachine.insertQuarter();
- gumballMachine.ejectQuarter();
- gumballMachine.turnCrank();
-
- gumballMachine.insertQuarter();
- gumballMachine.turnCrank();
- gumballMachine.insertQuarter();
- gumballMachine.turnCrank();
- gumballMachine.ejectQuarter();
-
- gumballMachine.insertQuarter();
- gumballMachine.insertQuarter();
- gumballMachine.turnCrank();
- gumballMachine.insertQuarter();
- gumballMachine.turnCrank();
- gumballMachine.insertQuarter();
- gumballMachine.turnCrank();
- }
-}
-```
-运行结果
-```html
-You insert a quarter
-You turned...
-A gumball comes rolling out the slot...
-You insert a quarter
-Quarter returned
-You turned, but there's no quarter
-You need to pay first
-You insert a quarter
-You turned...
-A gumball comes rolling out the slot...
-You insert a quarter
-You turned...
-A gumball comes rolling out the slot...
-You haven't insert a quarter
-You insert a quarter
-You can't insert another quarter
-You turned...
-A gumball comes rolling out the slot...
-You insert a quarter
-You turned...
-A gumball comes rolling out the slot...
-Oops, out of gumballs
-You can't insert a quarter, the machine is sold out
-You turned, but there are no gumballs
-No gumball dispensed
-```
-
-# 十五、代理模式
-
-# 十六、MVC
-
-## 传统 MVC
-
-视图使用组合模式,模型使用了观察者模式,控制器使用了策略模式。
-
-
-
-## Web 中的 MVC
-
-模式不再使用观察者模式。
-
-
-
-# 十七、与设计模式相处
-
-## 定义
-
-在某情境下,针对某问题的某种解决方案。
-
-## 何时使用
-
-过度使用设计模式可能导致代码被过度工程化,应该总是用最简单的解决方案完成工作,并在真正需要模式的地方才使用它。
-
-## 反模式
-
-不好的解决方案来解决一个问题。主要作用是为了警告人们不要使用这些解决方案。
-
-## 模式分类
-
-
diff --git a/pics/2d09a847-b854-439c-9198-b29c65810944.png b/pics/2d09a847-b854-439c-9198-b29c65810944.png
new file mode 100644
index 0000000000000000000000000000000000000000..384f7ef0bc4fd22b83fd5694c0c2f650cefa86f9
GIT binary patch
literal 13312
zcmeHuRa9I-*Ci4XB!mVUCs=^s&;(0x4bmjIOK2d3;0YewY1})wHm<=nK;teUI6;ED
zJ9G1YYt77Bv*vN;>3;ya>(;%us?Mo%_Sv-wReARoAD0pr4Gj%nL0(1;4Gnz)_*{&aIaEeUHrxoAIJ?n6_R)wUXLc&~;6WGZR|`r{Z{KG!qeF)kBrC
zvb$ZT3zWU9XsrZh`z_FO)MTjp@ecHM
zU%Xl)o|Bz*>E*d#S(VaK?VLf3{aSurHe;>l{<>kdW5I0xtqxTV;!UJO`domMsMFy5
z(3ErNiAU&&0xZ7{I{526EaRm^%8rhdJO)^uh;0Ri#ED?S{+rOk#GpuL(;o7`Dl0|y
z{`Zlh$C*uX#dMF}+|vz3u%eZ?p^71la;YaRXw9!k#*l2Z%6ywLs5%d7cjeSCPTD^~
zwzLlRmI`^+6(0~%PsdpMlVjN-l;k`NF-?LBxod;`bE{fl`Ktw`NEpnBE;Z-tN62
zu=jklS>L7olFREcy)&}Y5r0(_ks(Z;^q#pODK}IS4
z_o&}jc%t;=ZZ+i~%ZI))Q~HslQMMX;Wam{KiZQjYD+MG4VKQNe2-!phaxt^Xp+mus
z^IfkQkjzI)a>*MK5T@Ki6{tc;Z-rW2S9e33sfZ@b<^&2&lQNqgnH;j(PE=Oh-iSW+
zIBwh;R|0x70KE&Mr8Yh#NQ(5cKe%?;;UNo23PNE9uFWLs6Sa@%zvT9baY?S3UMxf7
zoEI-^h%=;_pULBF0XANt0G9cUHF|YPbFB7+dFQTYhZPS
z6-emChrGVZp(|=4ER_Y9swGpvhmM{Cu3=;Xekmmn0fvoY2iyhB3AkFbAK*b_z%>6?
z6UY5gly}I*lJ`<=+r!<#6t~0a(vkP`-D0natBbaWv@yu^`?oe0l!(WfwND`UjDVfM
zOa&kT>*)`7OsMm{xvpx<34`+vJnr5l)h!`!^@O40zXQaz;-{n1Uxe$|VwH%z)JbAa
z+`TV5Y1f?Xe;c|m-FEY#A}mAnN5_5c)<-h96_u3orb*es>S`Lz$NlWbf3*|*+^>$x
zf5f&g6?{NrW4#m7putU57uV9{lPC|c7h$9I!G(%v7|oO#wahLK^YP$IzQc@Eol78L
z&mx*gVAt*+40`T;d&EU0>|An-&l%}`f08k!8W5kO%~Lo3CCo4eB*pgl5eW?cNH$Ez
zH<4|z5@uQYSPx1ca`UB-FZs-db?9
zqAr8e$9)~l9>Bl-NDWG#4QjtTpW~LKCJ_3ArmCjKFf8hlTpdiK_i=8e%ca+*#r=$E
zD4GAg(6h%Tfjn_5Xe)&-7KOHjQb)_dwD2TjFJ0#-(W|vM-I*UFV(doVcTPutlZ^E&
zUZ`&5M2QvIyXiJLm%8rN{6>`-w!>8d3AFB>YtUA!GTFnf^TqF2C1vQtL47YXJQSNB
z?u}p7;!_F0uTIM2R`gojoo+my(70ySU#+K<7RMB13xC)&e18Q4hO+{g4g6f#8JxhT
zSv8lK>-De5zFcCGvd+SEJ(=1Dkf4_23O$C+&@sOoo^z>X)`L
z=c31n^3LabKifqZOOr3r#L2Mm2p9NMV0MiqQNQ(Ggy3SVU-;LelbpQ%{iRL6B*7(&
z07VQE*xmKn-j}?&gY#+W$w68
z`94qfBI>^F)g%>Y7AM~N^ml)rEHDwFEwP!a{W5=Cx8(IhZJFDZ_Q)6SNnrsYIVA8T
znhgyk7RTal^5dgn;;5Re3vcM-O*y|;GObs;KSoe978y24^yUjxf`qT$IFk}&coezX
zoC+Ns&8V|k)4ogQ5J(qO<9Jx!bG~#ep!lLma*64?3Z@so4xsf
zTmLLg_jW9@kZ%Vq+Saqx3e6Xb-$-hKCGDNsx2aoTW`38-qF4PX#=f-CX$MYaTi>o2
z<1Hbh8KpY;h#v%dV=+wqeHrxHaVS}4R7qNiWTCAnvz-{R*tYzHQ?)tw>XgO+xVu0t
z4{qojS)i$JFjkW?{pK8+!{Tl^^7J_ubG4Y>F0oa6!A?%z^-37GUf~N#)4o_H9L^qp
z0x_N1cLV+X;n|ycrFu1rPy~;pMycMfR<9HR8`SmLPU++oX0um9rd%K4s0&0^ySRT-
z3cJvDQ%RMxo7#-4ZYb3w8&qT1mC
z2@IkCx}0Z4)a*e;of4nfaTK~*u#CA<7@(1nx=&INt?@cAZRVO~2H%RPQEK*;bWqqZ
z{=gj?vvRUo9^w+GTW&c7dHgs0)o`?F;JX<1YSFvXiIr*7sG5nuEdG_}t?r
z6I!HPFs)ZT2eA{IHX-}tX993t&~DYR;T|s0s#)%#1i49`8)q
z9|3F8-)oJ@yEbtO(Etk&8T_d!Hj*iC*vt;wJ-(87h>KVuk(qcN2T}+H2hIGjm>YS1
z;-d_-rMz(}O51;#?%L6q(vjW#ZA=mWl`lv=uHee@6Kiob{h;<6p7StLA_n%XCX680
z4tJ2(qg<6X6LHTgZZ*iHQV4{MyL}Qp;bBvZKU6Dv@3LFjY*xS4+H!%g?7K|kK&
z*SJquGwv7roD*KX^ud=z^XMm?^tmPkf}1G_say?oKAhyGsVwPvDgvp^N0x6>ja@rg
zH{#)xjdAqNAYFGNi(uT`y|XntDDv&%>8J5Y7A?s-vUkGLyOlTl$27O;7^+WCcW2ba
ztXvP1QEZz*1m8%;566|bYxd!0N_2WiFZW~SSFV>u`$jS>=$C@uU8OusOuNGq2va{G
z1dA~a**g!W->1!4BGNHqy1#s7?uEOL9;DOZW>KZJltFLv%%MpcZ6Kg>5ab@-X2cnlJ9gInR26G&zA$FN^yahX>(
z*rFk)tiI~p_)q9R`{9E<=7E2}Ql46A$mubDg~XIgvtZ2`;RdejCRe=B|~?{N}~q
zC>l}sUJH+Y)_ihVHt1BngQ*+0SM|Gu2Tb?P4tP1NsM!tg`4tP5`a(-Tod@!+nYY>u
zqA5?%Paqve&b}ReTj{VWcjH!0;hwCT+hIngYfeVL8*=es=9Q)qjpwOqjznOe#ts-y
z5KKAvDiG1}@0sos%7T4^(#3;}9FjcMG-LdD(!a|sGdw6n!W;}+y5Nv`51A_*Dtn!u
zh{B|}mIRB{$_Pq|E>`PWa}5s~!NCL964f;zL?w=p9@#3dfCat*QFQNkCD@{zXrkh=
z{h=n*>1D1Io+jd{UnFUzx<=TH366v4(TdyFyYlYN4W}Jja6ZqhL&S=q%SMKGt5Xt+
zJyPUY{>u7D)q*IWCs_{-6*U@v=>0*^?isbyq$=+TkC-J9kzT`hnHn9kH`=i6UorC2VpwBEOshDH@{!W0l4pFpqXi5a|Ob`K4q%k*J`bHE*#
zTfeAeI=_x5MR!gn!%n7A+8n6K;=fa%Yy6QahcnNJY_OL8>rWwu@4T+JUhdc`l(BFx
z&em8_$+DK5PpZG4`HQtv5j%Kf2=zVQ9;*BLeiG_N)j2Aw3teb6;(k%I!|;8m$`N
z@%ccRh2Zo3^-j6Ii_#aY6PF{Xu*<$RIFDz}Xv)38zL%ZxQldQ>WrDv5!iEG&N4PJ)
zc1})fS5R=f|ANy1|9ZWZKVT8^_ZKu9{LxCKCb_xJqohc^geN!dT%ixps5}e%S-i&kW1-*m+?=WAKfd~YVNDcyx$OiAYAgiNHb8y
z3iO(*wSk?i53Mw8q{kV`M2Q@S)NiDJLzUJovXPZ^lS69->=s34BEqg}%+1Ze=oTNe
zJuE6pQbYI8c^PwX3!NQ$-pNVg{-`NY*It}Ub6K=puray3+Q={$^906S6)V@^v6Yu(
zHuzzU)2|(P>jG@KBXA|zstl4C=;(ZR_B-t6pv_q1Wbjqx#UFgPQe*GCUy73VKSy!X
zw_b0gt`g-`=r=j2P=)#FY)w@>+Js|{=ks6RZ=uyZ+}{k?ggn3{o*KMHC@-kJ9~Cd!op42`3QTczlNXYS}!&?SkwQ>Gp>XMmO$IC)~R;Ns-!uS
zMe=tl|1H*Y^)}yT!4R!7kE1TK@hz)`Mkii@V?QjsTtW6@>SAOjgY9HN%rt;M%)NdU
zX)4|02b0DRlo>Yl6OhHTpFU1?TmN2#AuA}Hh?VmCE7HL14}j`h5F&0>2qA}T5y2@-
z*%?Z{PtoK&AAE$ia^u#D#8|%Rh*ul6xF07Ml}wiCs@on+m8NhQgGA$HJvL2}L2SDQ
zGGxDdoK%p?e&CPl2OR(uv;j;hajycM@Ub;$1~H>+#sq*$d<>f#blD`k9_p-T7@BM=
z=84#tcQGsdvrz8TL$O7S*8h}L^fn+IE|>@I|3>5
z$C9G^^{X=ej~&Jev`Uk~ZXv>KX5pQgU8zM~H0BT+yHHDH`qHM;PvIuBJ|c(ZKr(pT
zd$Ad#-y{ryQRE^w%bmdk{RE;opG-Q6NqnD*0T|n_`kC_W{gMocKnkD_Wr9+9jblnlp0PK%oFvi1?ncNYY3uLr|!8<}o
zz^Rqikk%(hW;?IMgEnv-P(Q?WD>~PbUboI33ARp-VaTvMY>nqt4eafdx7B{(FeoU5
z43|&SdR5PGWd?x86%*2==PLlfve6h`#V=#Y`sVno_oRD!`PVN8
zVIA*KmcIJM4_8DtUI#)?^_Q1#GM#WGhnRT;n!U%Khr@~4Jz16|29(_5M>Z#QaYu`D
zy5V=Gv`iM%Gg8e0?x{+d9cGP)Z1box-Rjvf{4gzMF~!j;8Kq|!(gD^p+2&2gzp!
zd^esrboEfUTOaxc*?`nfPd`j!LZbg=g%c%c%lRlbUwSBOBjHhC7*r*Q%fN9d`H_#7
z!?%;6QV6{+_~sJ@*|#x$1yvuRK?Fpd!}$JX13@i40l7O5|7Kz{P>GqF7xeG32GcOx
z?s&!u-E0aRA4K9)!ZrOn8~g@|nWWd|b?2Y-KWaP~TM2N@7EUyKEXE6>qUs1Gh*3;n
z>$8Ao5qYHkX~=$>MenQCtdQFQ^9p4RGCefWu3mnW5VF0R1scmNdqn)PX{W5I>!+`O
zZjNkEWEv`-RlV!(LY&2U*L9?Z+Z`jC?CbhqGl*k+MzP)LRg$voqnrAns5At*_0BhO)V{u=ud)x<
z1Ij?9|BNPJlFyNt^b3)CIFpLZiB+*yDQO&Y8mA~j3cnTe^UpxU7_Tq4B~Ow|m(hf>
zj}N8bYWjW{JnaSQw-?3y`TBo#0$(@ED&_cKwcBpZ=$}@3fUjx46x3I~eSb7HeWWW)
z7jw!2DOJr05~V4pYDPd7dKk4N1>u%m1<{CX{-Sl=c9!hLxmYHbK2|!X?a73)yD-uP
zw)^8Gg7BMUj%`@-AbMf;ChU6DM;!(C_3s*Qz3akd-wY7DcFV$0chjLa*jClYTLxJ5Yjx
zxgEC(aAkykq@|XLA)Sa7q|4Q3KWhN(?CQtN4{oxZ-{N++oM|Ro0&4_ae6JiKzXE$L
zy}t`7H1mEAKN4))jlxtyAqo5ZPt>6;FXIX!K>Vq4_%=Gk4Z#=I4P`Zw6EP!4){hDc
z)(0(OtPwY^FZ}OUuGD?aN+yXhL*Hjo1C{PB@7Wrx3DRsmbNQ_Ai~nldgC(
z%&y6AJVun3PZ&vj(53oq7yeKkV_S7HjAV=SOzz+;g4JX3!RiOT(Q;Z)*4$-Y#{&U7
zuiU{O1$BxoM%1Y=#VTLewrGsacZS&~G%Vp0Mt*jU(Xf50?uMMF&!c$-fsv>{Tb`IA
zbwXK6$h*Mr*xAT2yO*E|f}BF@;Bk%O92qRQ<+>c?3}71_U|{t}F5R7|FGk4z6jJJm
z9{Dg?dEf2zv(NMK|Me=x)Or-SR82&lyvfDi=CDLd3Z9pf{RSTi0(dV0;7xBm>E1G9
z5NXx-_@i>Y)v?~;1(|e_uMs~TmQ$sDF(mju=i~m`QT>wv49*mINY~(~$79nO6mfpZ
zQlg_BIMeFcl=>%vmDeab0+H?wz4l=w4Y=RL5$g&d~(ALZ~_@9JWm`6H>^gFIhnsW|=$ns*BNELk6HgYYJ7ZbNF=Ss_5@~`*(iz
zMYo+8`{2nz1tz4qML4PV=BzUHQhn&W#jigmWuCXy0%zxBoI8_*Kbol7_xA)PN~rl{
ztVKL?r^RgjZqtDA_MyO?TtJSj{Fi<|0T83Z&IHni0!vX+K(Op>+x^$ntnO!}2@>D{
zqY$>>vShg4bKrF$tlH%Ke5^qAg~Lzu2o!xVb?jQbIqw&eNXa@o4OW>)xlPxn#L|(U
zn71{`7-j`O(XBi0a4k}ZkKK#1ID6eZ%RV;x)_2Iepjp!
zGslWt%nGyA)%{+-o@`}CG5d8yv@7&wItwYMo*B4^hrFvAR*yPGrr5?35aIcxuvzIX
z?+yvp^^Zng_RFSA=p0qm+RVKh{QfoYh@4#NDa>0(BY$LV0Nv6ojCAGJ^i9ae8mlnm
z%@jy|wwl-~IPD|2l5Pgb8ZtYLXS*K3noHm89JaH9Lp!aeV!eUzA)S!)aVR-d6yUQQ
zwijq1tE|7y0JaTuF${0&_2QYP4l=%Ip1<}5EyS6(mk>lPM
zE2&?HV-B8+eg3b)f=^r}WbgBzm;`X7a!UU`V9^EE
zx`nSJo)F2amQ4T(TDQ9kk8^dW+goV$eQ)?|z1rpy`BTkww
zKoO>;yJ^JC4b;)2H>UtS3mbh32n0LG9Brj76Av;s0c=6xI3sQ_>jUHED
zfKrWjp&6Io8Ml)>^~W*t%G9o%N
zV)KuJ1cr26e4C%)Ri!9pf4N;;j+(P;yKn0H
zyG1(d0sdA7G(iZfT}@WPotruLQZP;M0GI-224S;`lA@vvFiP_slAfQ-
zrB=VoV5ks6*!tl2l}O=z(1^%MI5>+y>{6oa@W}h&!h7nwUwe7mJsW_ziH`su4%IBy
z3T--Q)yKtj=M5sDem8=SGt|NRfAxC
zHdIIX=Vb;B@GM3&cV0#g6Nul^=@)=Tipv@m!zuX{-@KnJGo15Uj@K;GP;du#_FFn%}HUvg%>Zw1l&Z4X|o&cNoVPqhlxVrV2Dvk7_-Kc6;T
zX}#Ge4kP0x1?JpRzXE4BGZ%2$)?f`UID98|W#-U<^RoAJ$7qO0<8aemIxnREDW^&*
zv0*()+B2{$L{n?55c28j#mH!$Es@^BXk6fy4q%cP!`^8!H#eX*>A!8c-YzybdVycJ
z;G9wqSjwE8+*fc^QEsG9{kxfb
z=%s@~yzZ|1s?ba{OqX~j^*QybqdS5L*sH}HxC}69F&ZQwXX)}`tSai}Dm+`!U>fNQ
zk>fppf~fhzD=PkQ`(wJsD#^O59r9#BU*|hk0u-+-{^BxSs!#!CWhHg)D-U_eibGW_lkO)|y)iGk>K#^5x)y0n;+vz&
z5xk)e%7!dsO)I;JXUWzmFy|T_u-h5|aM#-jOr`ZSA+zI8yyJ}dkH2akkcz3KPo=Q}
zZsFTRHePVcX%1SL-mcjTq{%BFDIFZMmp8-iNW{kBtUj69OukP_r~>)xk%^zfK9?B%
zFK`nZgJ7d8+U!?gDxuatTLQJ)Y1oL6!8K9Q|ruT;NHOe?9T+bXV~06FXmZrJBdl
z1WByAsfyH
zIo$xgP~1MJ-Qt4CQEEn?@Hm75HnalgR#5hbuyF?(>Bqy8(e3@(srk%643`xM=%0zS=4SyjW+d
z@jO|{C?pkaHnjpK##zhH+o|H}rB2S&}~=%NXFXV-c!*
zki78kU_@>Tbj{Du1*@Q%jWjRE7&uAkhsdy{^V45;Qz~O%`TJn?K`jF!>`3e^UqnKV
z(t$WP%EcX`WJAP4zM}Kw-$j#Tf_Yr}sw?_cE4$z(KbBF-8r$HoM_5?b}v2rKt8QvkEiqI_t
z#MIm!@}4xk_p?-+?WfZ0l$vV3wuPTU;uwZ>hk;(6gD*JOZ5KR*=vXU~@zWiC%+^Fm
zkvOVPn0yF#kN2*4^DLde!v$9G6DUOmTwfF)SA7~|*eSy$=!RA@8tbqYU=lSlEBg^L
zN*7Op8ELZN5@6(EC=YecTQ@bSltTJbhDiTq5qH5d-f9{8UDXWfWSlGTM4GS*{2zD|
zJ8>x0qrze@2*PS7DArX%KBp&AxW59pqCGA($D8Cwz?G^Aa?7~c_|!t9?=Dj8S}hmw3$X#e$>ilISgdS}&TeAX
z2M!-eO~7M$_(%TaJ0FP*ttT$p9fW8)LQf>CL%lz=e@V~|b5HvOE~ooW`7$uDp^2je
zXgs?uZ#mb?amDJZ7;RMKCe^y2I`bXGmbX+{jXaFy5B;9;n0{}esSZl}C~~1dW~|Q6
zxT&Kd>+SoT5Uh4NYKns*e-igC4znw?#|3B5x!87?`#K<8y2&xDI6*WFjL061f0_cb2WnS@5blb1(n%vYxB^ozCv5psi@+{R6+M)Hy|3?&?hCEdupUBz-dLPO%KjAI$
z_Edob-O9z{{EwukgXQBjAKEe4YfyG_Q8YFiO8-0-zCS7hJs#0*;qTv+T+SJV;ZE|}^#40Vt$nI2mGu7GX}ly(sVb^@T`#X)
zI*>{us7&)x3K77SaemlI5C-7S*{uTox-y+skA{T)Khfn99D&)Hz*ADyp-hsDv~kma
z2T~c}N2)^jF^9{+2tVMU!l;%{gTfErYRVw~nLLfxDBjJ^6E4_2vo8@1g1)Ul;IqMd_FjBLJU|kyw0mu4ZL(`KU
zw>v);^$C%hoT0?$CVv&!^SQML8dvFh1fwvNPhcf)G`RW4=2WYbQHbIgwwu3rJ1}J>
z0AN{`$||#vQ@Zro+B78z6NEIb$;)N5^ddkGpw!z5P-pK`9mf?`vctGyD?PQ#3|RHc
zfaBu+{(tz9#{1UcH69xKG+p)bz7~suIX2>l^PV0%fBPfa?m(mHc_k0PW8ac=kQXIY
z+7TYx?M^%3VBmJflMVl7G{Shvval+c5!6rijPoDa;^agmP;ptipBewY*r=s(w_&>8
zA;;fSCL*j+{;0~qLiPN9+dlx-r5KPz1|@!qV^%g(
zx&Y!7iPcm|Wf_=;E*CsO?W0bFK`MmzL~2`-S~En{d^%_;we;P>D2D7n(rVTi(-L8H
zGup&wx~dHCdpE6a$mq)2KU}90)A
zwtpSBoDUE%Xk)xUz5&TRMRh93Qv|5p(Y8V6jU1#QOaYHVB>=(BmdZjipwW>BWg=o#
zh|X~q1EOU>@))Yo(?d#tSWE--hK_Ir^YFubg^B+e89n3fKcx>k&`88dUhNB_1)_F^
zUqJLBCSezmgGnGvQ7RN5&tllHGZNuMozxo*DWyv|^s*5Tu+N%mCGqkCfAC2C^eQ&F
zkzX3!xUdp(gU3Tg8Ij;kCpaZD+X$PhOzq-`XGIOR%MQ2-%Kt^6h)_imAZoL9&
zB`mTUTw2}(=s{t^?v*|IpeQdgcL>&%6M3dt}qvx
zFJn1-8SPB-HcJc!PQ)GBE`yC>y1dq3HTH2Zwl9@C;BVdz(yqDgGieV;i0Tuh3!bpN
zs1Sglzz;zQf8dr<^zV%*UK>BsE*^c;rf^7vTVG==6=)ucY&E_ogBQ6g6K%B_5LZq-S#%Dw9>
zCS9Rb_w4;Vb;mOzFPEvnsWX@pa^X|`nSeG$Vtv0!@;9{`J1wV=`%cdnO+3hh-HP-x
z^^tG({j7=9&lq&P^%y;ti%*2{eq>cS<}<~eq>L*bqjy9}LdT?rgte|l*~wjKQU=O6
zXd`Wi)W1)Zt#VjY8NBXyfL*DnRGexAF^
zMpb!hq?Jyp-B@}zFyOCAnzqrK>49u{xpNS|#VwW1gw&H=;}u>V+HlFo6gnT;yhT>W
zdZ?)6W0_vr$LgA!n~LOXjwP2dUDUCe-#z562p!W&O7NQ~8!ZW){4}tr7js{0P+v3d
zUwU;_P&d8|YBoD7@GOJw_pz4A5J^Imwc8OR2k)Nnw2*HN+bOd5k%1=t>L;iMg5#hA
zWwKJ{&)?#dUm-59RM-C=4D&+Se9|rcjtE9F^C4Z9h)8nsieHT<<^vkK;k=4SCqv@I
zva!r1V*A8)=)S^!Tr17sqch2HBV+|}pRLhv?GG3VxZf-7g)fHI{>@`FuJ#zSki7!6
zw_gS37A%TY{KBPSCcOb~s9aLZ4>W^&?1SjP_cY3*PSD)U4ovSD9B^ZBe!u4AWqS{C
zbWk^^pLtCzuSIIgG_udi+9sX?OiLP~*{)rY3!BENL?mCtVRglf2?;D*4F%4%*j=CW
z99C4soc>H9<2rM5Djq2~R#K~FoU$u|Ii?R3@hy;~oU9HJee^1E3qETdZW-r9D9R|=
zppWV&A}G0j~08aY&r4+w(P&(z8Q@!Tw>=88GHldNKuv}Y!YL!rfIX&xhI
z@dV}4%)#7WJ38HCbyHx&oTZN17PxaCzAo>Gc&u<+*Pz|K{r>j>#e7^3j53hR=uaD<
zSVRY@G8M!a@fm2L8nn$AW9o&zKYHc)-sg>$ZpZ7%x7Sr)RD<#!$knougPwP|{FEG%
zmHRglamVQ*L=y#)5T+P(;@0IEs`bnCt>^@UB2s*M^v5mo>{=z*XWKk|fF_a%V^=F=
z0w*XsI@5z{^c#4cycuYYmCtVU6a@5$HuM3Pp~v%qmF9}_@+xC7AFx8BWv~@ODT6|{
z{q6xdrLLo7gx`)Ry$Qwv^?H=tEWL_9OpyWKXp_vywf$PD_aP}Uk#q>}oqSe%QyyuS
zkF0m29-t^?Wt+r%)`?gC?SAC}OLsUT8r#POi?$dLvM3xXkLDLD1UEC&BBEm~_51))atZPJobnn>{}@DD62O
z@%O7wLIK)b)sKvZBnpGX*XZ@1Fui5-E-c>CdPGn?1m6KqkJ8@OTAF~Mw%8O-0^|!o
zKK$bUln>wkuqi|c*re;+1fIF9T}hRs2`WRIEQ-$rafE^1QoU2(U?fM)HI;0y|LIeE
z0j)8S6dN1Txa2z-acLfdy{0RD7ayoY84^MHuRnGd-xC%jBLR?XaOk-pcd$}~piQz)
z<4{rVuX%~4Drf5?WLVLOOYk2y^jXrj$h#&^sD78)&9o(KkuqP6=|27Rmi5tat3^Zk
zo2V_s+6BXiiCyrrYg~oy7QeNABmNxM&f)CD|*8O0RepG
z?%bijV=V>5-tP%DaGrTK*6CV?r?E>0{BqtgTIqRxL2vR;2#c-2j4Wic29;Mknf$1I
zEj#We=Fg)P&ag?!M|NC4iLrrl8u{s9uzs;ppE%#+kUst7=XmbMJLjlj3tJ+O%)OTr
z()9TMwWuLUu+MduPZQOAd>on-K9y86rWy-#&0O*G5>CLEltes__Jo
zYhNR5I@@r53)Hkq-hNNAd;bDCT_z^LQjqmeO^#hyfS?RS>3r`&Nr`(aqJObm=%_Uv*+-#(<<)2s_e6&lR3h3m5%yyu{%UUPG4#+qk9+StdPsiURlE@a(=TM1qUXahau&r6%kU>5WHpb2u`mhE}@x|4ddjo-it7?b5blboA7QB;K8
z`+0G$Xy&5``ttH&l2;bj;cjS8=YBO9Y|xqbz!U+{vxeOj50b*}BmBSm`+wx}fQbGz
zAZrFh^j`x0-`|)DT6sVhirzb>q;&ZAzXfOtvhQTdq(1ol_x}Iy{r}(l|NqDS{~vt2
Bsfqvq
literal 0
HcmV?d00001
diff --git a/pics/450px-HTTP_persistent_connection.svg.png b/pics/450px-HTTP_persistent_connection.svg.png
new file mode 100644
index 0000000000000000000000000000000000000000..e4fb8ba20f0c332f3068b339b102fc86cc6b0a32
GIT binary patch
literal 13312
zcmbt*2{_d6+wUxl!C)-eqp>f8vF~K;AyjrT*=66!Hp3`Fl5J!Qq3m0hY-2AWOGTL&
zm8B?3S+bq+`@ipb-}gG#dC$4dxs2z_cjj5X_x;@WbKjrOJt-EK4H@XT=>Px#gRzm`
z6#xJ@K>6i_LMV4$_w2$b7b;I3GaUe+DTDs#1~ujX3$8|2%m9E}A^-pu4*>k7+`_H{
z0AVNq;2Q=2P$K{U9D#+;Ej1`_KwL}=^#G@5KaYB<
z0J(8vJ)LWjAHEkw$7H`PI$aV)&;oUIygP+)$!){8-n#^B+_LlOdgdS#CY=3l<7Q5Y
z{js>j-E%aK7w2*DWLisQG
zH$3FB#)afxt{vafY%pC_mEX}=E8N;qT?#qigQKAc{QqV17eucyt^d%zq+WfgC|%+G
zzNuUc<+BF*1kSp8nyR;bYZ5#4kjkx3w8r>rAJB=iF>S_GVgHITj=q7UD
zyH@mTEkqIWeWA6rC;DQ)8pkg~lo+?4d$_MP?>M?GLYJ%pEl8b--P1Yl7jCA^yr(j3
z{;i9xARZF^G1P&29Mo|F+jLWqH(-v6prt)vp67k@Dxl1P&xh~Mry&U&5|B7@gCMNd
zWGca2`TFxcYibRc!v5B+!Dy!ZFR^V~L7a`8woEaw7^+&TUh%ArXCHz|4>CCX
zEFm-V)>vytoE$(5#i(pkJKAg+UnlKBFjpQ%{T3#J$?8P0C9^QbM%MipQkc}AC?#6X
zZ<6~X7n3H0uB+`?)B5g6Eu{2L|8gfkh3#l9?ClFR4)Fw}Y(4lZvb{9Z!AHBS4bd0~
z{dR{sj@?N2w!2&O{bJZgu*hzfbn_1BLsXx9hdJ0GmU{HGj%H-98NOKf`0!JvP)QUO
zfh+F>M$VW1(e>7*GBlE|1KEFQLxzwN=M-gho(Jq(+f;s?>1?L~r{|dRS1aAw>yYeE
zvF8ZM7?wEZ2q@%+yq$VT)aJ#_5F?gdS*cPplwqSxKlI-l*tc?U{jLyk9gufao>%#T7W7@>0>DAae^<`3y((v{f9ZdO;d0GWNb^-o6c5*1T3&V{(2AR
zcF5-piK9!)stj9@PBct?JxecN%b)v&b$Lcya3S$`=x6)cXC;o%(oKyWpRGLfei%9I
z^l#V}ou|M}eLMI-KkZER=SmIHzovwtp2h)&`86e9m}6zX%V=sA|z0sNYnRmgPDN@T;Pk5?IY!3OeRvZq2m{Ql)d&qF@e
zAXI&-xtk$$_9=h9R_mu%VzY8))^oRR)qT}4aa%jMv3C59{Ao6pM>*+lBq{igE-tCV
z&fulQzydM9L%j2;#H1^64`=@O^I?ZwdDerNRp^#f@s{MF1z9pw(+)zuvNRl`RKL~5
zt6cN#Ysb=lv}0dnXyse6)4yO6tih4XNNtb3&`hbn{av5lrf+lTue1G1L-K9?NxVRU
zkq?Lg6bZDvqDY{6%eX2{PHNUItgdSA;be)}tgi30WT2p=jn113Xvt1nRu^
zb??FR!%(rnKAGBDLfu>9@~#Kc_cwwfBCF=oP3KTsj>4&DT_#_endxatrczp1%Q5
zwf4xTN_|fW82M&tkdOTOqS@`JlJC(PwENWlnqD;lDjy-dV(G7{uZLS{Ux_tWbIKR10iFVv6(Z#F|*DNB#)
z@|;3L-&fv;uSyvVOW=J&u(B{)SS^hfL~$?090626I=ur9sGLd_
zAp4QO@EzSYN|Yeqcm#xk0|2uRTA_Z*biJJWIBkB&JD|-_MT#~aX7NI4CrK11+^ca3
zo4E)%RlmP_mAHicN(>~^Upyap#WCd0%8q2D_7Wv`bB_Mp6dV5pHB4fK92!urgrt
ziW|OP*~hM6v``eU#1QIAm&h)65wS2X8eU;p#Siot>4|`Bn>so<6_Hy;K?T^Ej=fhg
zf-5|B`wW>0G(CvN0{Kl94q`hjF>A`$JU8F7&PagMnQ5D3dVm9MNzsDXzLAv`yiiFz
zdxyl2o>TfG@zg%VgGNoAkxC!R?3cn4ws?V?*-bA2Nxm%r!n)>9Yx4CaBh|$Dp!cYh
zt_SL$el-id3@8M3)9{i{`BzU*^N=UEjnL};j#cU-x&EbW?)yDxh?rZ!fe}}rLLjaG
z(H|VKvk&MhC)S|XO-K6Vdb8)=&Y#LUvt^8TH(TQR+!E`l6~p-U#g|11OrjAT=mZl&3m
zx5)BPHa4ddj{LFFp=cUyb^lD-Z2zZ2e_B{KXkiy-Y5in8Y0StiFEJ2T@@&m9E(GZh
z{B1c#m(yv%_2-=a@$X&{pn17e1Z9iEED&eI3gIb@o(=2@JJgblth&p{2dM-!0N1V#
zvIA~5akAg&1hwD!tZ;Mw%j@)k?>tc~7EF$&3=Nxyh3<^E^NG^PJUJ;3LuLfz5qxYO
z|H53YgZ`Do2h}1u57$oc{=42C<`3SUNMRCoIh>>?ha&0VS75FZU8-EKVml^s&g*Am
zxH6Wnk;9EJ1&F&U3Gcm~H#|mu3T!hu4n%U#o)j+API~mvIsC4J?^ZO?BCZ5!R1}UX
zJd8@y&u)}m^%d84;hxYKcKHwsK1cke2%Gg@E{(P3eVjz?XvFhOgZ4;cStg^D^HrU<
zvv-9y`B$2fX>&I%3wnAEJ)bwS+CA!-^05Y~%7f#<#ji0`%gMD>m~I5m`6B+(-)0<<
zE&5LT+R2CqpcraVb3jG$A+D?f@liO<@h^GE%JdEF(rDp#jR?)#+Emju*!i`8_F(KCElS8QM_$~+i{)butXCeY5aX#wOclz2%wMnsxHP_
z`C%vfzCNTxg&mt`OWXZ)fHg@NAM5RV@%HuHQBXs$prV}8^wt4~(r1x!VGjvqfb!;E
z9D_P;OXSFuL1g6=ovd4jhPNXm(l&_i&8A0mP!KKH#i~3f8GcVTmbk&+5is6mRqO(z?Q4j$X|xgw|)Zn
z7s)|od8|$ZkFyWF7Ng8N`9uBih
zg-6nc>#>ybf_Z7K0f%wF&BXD+>W#E%R*NRkLvd$n>u$jC##K%oO+s=t4o)qYYj%-!
z`!Y)@lA6(2Ap2?{>j5Jy<^n9-A;DAcw`voYY3i@*Xxm4=pm$oZER&$m@KN9_?gmcJ
z50m(rY5HffRMBaHk`*h0Zmfp%Bjc^{P_xEmu|yZuXFN_7+;3P0V%))jL&ux#F)rGI
z(D0T*EImL`Y!do_>tYedD@H3}1f2oW!T3G3j|tXNynBqBw7PUXDrfq1ZnwzB`wln)
zv_pLJbd#nK9zF*pX6OpBjENJyPfo?6iE;NIJGiSi@|m_&KZH~7qQ)%{RVz5B~a82^cRAVWn(60#it!pj3zcluTmJ
z`3_@wzohjnNEr8^!XYPJ4EsLoJT=h|92IGRww*VyfTWo$TUj5_mFPCi=n%#(pWcC62i1nM~tg;0Cl@
z)?Ry;VM!aj2Qm)}P^!jT{FW*8r9SzTVcIiRj*b7YR6`|mTi4NNRvIjA^F#u1%Zkbb
zR~3X<(}J`CO>m?A3S#kpwLh%YM=iesnOD=J94RVF+UzFOGCo{O`zLXWR{C1y3_$D?vN^kdKy(#y%$eWTIWt{#^pa>Xq2uGZ$l=`tOuUg10gUEzKm
zfHiGk@wFH$#NT3Jr1;Xr58CsgLJwg!z-z6ud<592Ax$80X>l#~gI9D-;jfGpX1dIW
z=H#|#&-s)Aeb?;-^tPJrCkcM=ZfKitV()V9X!Cd|I>QwTCOO@kUa@H4RQC4h>VK1C
zaV0`fS!sC$>P*cJ*t!HwGD>-$CZY+=WJTj$22kANoT&_S*R2SF7ch{1EY}wKwx|op
z0}uUfHF*iDFVm8&KRAGw6x6GRRSvl9g}vT%-+F8qm3`}5j-|_m=#aM;1u~>X@MY-?
zr5$SP6Z*-%Fy_A&oe~JP9#g4j!#=k1mC0q**eNSA`??J%r>>Qc%`BiPdfgG*_cW#Q
znN+J|Z6O
zk>5Lt-k8!mpXaYK>$pM^cQv)wM@)2rk0tKK%^X@Mk*Z9=r5`svU)!3
zEr3d55TE#Z5(BnaEW}%|-Br$eDhvLDKz|sz`a22A$Eb0m>CQ4p!Eq+bnExh#j`oH&
zM%=`N+l$jmZ@M>#h9cRIr4tJL+4Zt{mTms*E#cyx`dXGIem}dqqw9tzWeIYrQf>3!
zL-M;WF7{OZ$3p1
z)FL2VBs(C{PB|m$>WnYob`Y-eEr5+>Ahf5}fI9%<;jqa~Le}?guZk$n#$cY0@FJSq
z8mJtSc@^|%xW;RtnFX-QH_y}E6ARf8zaGYaG+ML9$Z(FIw#?TNb6GC6Ee@HfXP2YV
zgx;U$XN_FzIE3iO*MD&0`Qtfx5D%uxeIAw4iRCJb>LGUs5qkI+@%EdZS2PN=sCrc%
zWELC-zk6~YzAFkuQlp7h7gha#e!B-RwGyANw1?-QleTG#UQh7j??$c(Z8~biPAVYVSr<;$3mR5Mi78tM^iTZ~XlltM9sUKAoPb
z=*b^dVf176_L^HL)9Dhd14HGQp-zec`l*o8j4sujB5U8(=vZcb2O3$gSH2$ck0jo;
z1har!#@FOev(AT_X2A1-*SJkHhjY2op3R53a)x}VaIC&==9c#h+BJA3H+K^=N|6%}
z*a>t0HPGD77d11eMm~6?%z&{H-xzdE`C5UUS~YChpL;(Q6Rv=
zEwv06+M@U-lr$hEsf)jPTmA@>c)(ZxN`6yQryI3+ULX`(eFq+us%PQGkd^d-kimDu
zp#B)d&Py^_XipV;cms9EeiK8EAS$EryH6f|F;q=Cxw2Z-P1m;wapy@X@@*UDFX;F3
ztKDp#GwSkrGZ0DEAxAz!X71ayA5RVv*~p6In9mYQ?318XU{+v@)aeBA_=F@z29kvy
z@pa4-C3|vcf%NoI%6vVYiAu
zBlOF=%cYNjX&}4Q#XrzG9{C06xa@Y2K*rQS1GXKvfPGJ_g2lWlIRxze)h9jdQXL8C
zcU=x5_u)#wqTqI}Id0mMlN&=ld1;>HsXOF06Y_@!wQ}RUj}Yr8_D@#C|CWt^hq8>)
zq@QTZ{>VSaV8DF6iiecm!)Th->=2&shwueeryrWIP_81}`%?o@OgS#|gv5l4r*eW6
zD{T9c)fZ_P8Dsp0h99l66A1
zW8c>ZWM1F>poRv|+0T`!pC|Y%gTQN4R8fUNIoF^F7ES#DAhU@`?#u2mLF`p5?T{%;
z>(lNr2z7;t{5C@6E58;Tl|E+dUYudx#f-@SMAOZi5EmhB?3%xfZaiX(H(i0Z~vm2Aqd6wMkQC^b@~1i`Qp9PvKBe_VD&=A($9^psr-Xc8O^AZR{T
zw$At6-3aP1j>6I6+QgGA{P$e)Z@_`GjJtB=cH$pmXrm%#@d_8^G=vNAcaP~lfUdBS
z7cP=={lgvTnrdmXyiD5HaO|Yb<3U_r{|S^()nrCn3P=BbX4CnR|E0(-FM5qV&??lQ
zR+)DHF2}_BR5ta3k?%In3zYzo!RvRNkEn-KMs00}R^Fsl|=7W`M)66_t>D(Mz>GsIm`nL6ecYxU^H?p+b
zo%a=P#_YG+BXds&^B%h;C~Y*5L1bH%
z0&{Dw=v|n$#mM_xf0e;*f#b!=(VIUn3+0EV^O=jU$)5j5tR+NzmVj7bMzd*!s|1P`
zW%-96dY(v-oydK}R(4`~3yphg;VugJ81HQu%6
zx(_eow@4~bkmrb`GK~c;nLOk8Q|Q-~(+g+ciB*dvplnEebWAiN&u{Xb&jAF1RC5HxQ_YuVbFuJMQ~B;LOYv>ikMq
zK50A`&RPit8$)(1-u_%ZkMnZAQZ6$syj4w)J+I
z&P}k6k6D4KIds|q>9(94{-H*yjhoY_NoTsozcNbi!T}%2smbz&1LO^tX=1-`2HcKc
z;Ef~M?t%Z@6MSI262Or3I_{OIuWCx-8*8xWetqJ_-l5jYPnu(DGP&pFoDq8FJ*to7
zOjY(B8MWfAdB&R`Dbu{U1O2n-B$Y)z{YkVV$`V(8LFHf1TF)$8leg3_0u`>FGPS+a27y}_u48gmvxG!u4~QHy9qQE-rcw>m1!fc7Y=3qiwu+xv`n@z(Yh7F
zpfHp+5fvbPbEAgAgUfFzSomFS3ScuLY|?;*N!d)NL+aKmvS&>yQm$AQM?p_zET>tF_}
zi%s2~2{$+cg|-DraqTPvK(f^c{R-QulZexb0g8W>Y+xS4-?!TIH+De{PtOt6%aI>R`>6{7$}_J)cx`}9jic7;Oke_XjF
zI_a^ylrV}5Ma*%&W;*KOlJDhfQ8-J14tU0hs$%6V_Y;QRw29jf-g
zeHf~trVyea{wjvnWGtd-BQ&)L81p{$lf_=690PlFN3QVt!B?J3hQL$CqkKMtyy-Z+
z08imJep}gZP=(JPIa*XPG?BV?!dHSA=2{mAq|EWqV^{Ht&jNZLzyKc8n&Eqp;@uX#
zVZcpqQI$5}9{F8>)7x2oi@7K3-sd%;9rVeU%>&MoV{#QSpubhJM6YuHeNhBB;tte`
zXS|bHV2yJ;^2%j6>oM$m!~%G3@z$K(m&;VI`cIgBseC2p^ZK30U6-sbquuM}B%p5;
zC2kFf2FCuG1K&wF5Fp%Pb901dx@&=tcq5tG@gAD~vFpnecyW|4fw>3T864W6PlA_?
z@-oy8QGZu~v=?ra;M%cP#1zeAU^)dwF3sQ)21jQ+zJI>ml`w8ORP$1~Sns
zI@~Fcea>JDi?O6|7h)IMfDXmDLCEI>Ro*-F`R51>Hw*qFLe+7|W8l0;Gieh1V~+Ux
z3-jIXikjrpfS>O&@>(3Z6v>esDo6gi4&}KDfrGLg!fLE3`8otSUQAI&wGds2j?hxv
z#%#xYGiBw6cqqe2l5>p$fsP-l%3W5+@&v}p$GiWc{-RG@dB4VzQTfO@eQayu_$a-*
zLb$(h;Kd8E#s1ett=9wZkI6)gJBlq*HKTpq-Tn-4iVG+uv=L9G=(bUm2HkgtU!u{DwWIfKk
z24wK1(DRtNLS;ew0)iL2NV**UgU9D9j*=+G?@F+S^;t(ZjZf83!u#*X(a#2PhuBWc
zyC<8%_+yB+lCqM7FGOBsvY>{Jl}{qzax!03j@hCU3$3ZRf3D9%Ct*KKdlh`l3=`aR
z$3;?FZM*=p2BcRIkwBOlx@pmjpC2cO_>*sE{GBhTfv`k{mVYf&o%3(nqJjB5>sJ6Q
z^eDH>>aFYM)WYq~jcI=TEm3~Tf5$=TN+GevR499)$JS%r>S1_e9M4m|0r72g9r
zu`0k)rTl%(i=3NnY%X?89uW!rxA-`q@sIbeIYSNwF~uWF!uUhNX!mR7>EBfT5q}s{
zduqErJ)jIMaz7?xIPU)V8FHcP994l%cKRvNekk~Us91O1@gAFFu>vLLj4#%UzJr`M
za7kp+OJqKS1wmuD8l3l{ddziqS!~i&v?slQp0pw%*tv9(p4mP}?D$_OO5lwS?K4#4
z;60mHXPpwkoxQ6;STx`=bUMklm#I5rAyO&RA{S8pATmevR=)HBePr{kkpD6(k@()F$stvI
zQ7yal&s?Bc4a^Rjsaxu6K3Kz>z7ZsmaoQNaB|*N{=$RO0h*r7SeKGYq)X@dC!p_sO
zTt3W4tHHfCQ71=GiwdF8iC^>{Y2x5YU}0kXa<1)>KHo9`!?$xU4IcFYBLdL3ltJCI
z#)Kx{-<@Sev#I>o08=!oxi7^5Ez3Cm5_3~H0c-&U@(8qkWB2cjM7kP+mWHJay#}fA5Ka$NyNug1)QSP2
z2fX@EoJfGJdZG5P2akwb8}{*TIY3pr)hp6|djk6#`bh3~mp0mA9=C^2iu!qZMUD#K
zr44v!EHat}&Bphy=E0cd0i+xy^1vEm4OivkP1V28;^-;B2iP}ThZdoCS~-gL
z>VHU>kfYBl=y(dW{lr8G)>+V$<~W@)3A>0R7vjo_^1FKmb@`2XJz0D!mfxP{!RZiq
zF^!u~rJM#I%IdROQRC|qCQ*L>fyBY!&HskPAu~|GcYf->F8DV#BP}DIgmE3Cq`fwM
zhzBG3PW=ORL=8u;5(DxQjI{MS9mEH?4ElykW#}%Gkix^8LeKpOV(^i`=`agemeNC@
zQ7{-dMgO4{@hj1n%t&@PA;q5jN$s6lB_~Z)IWU@1U*7f3
zu+HH?!xWxF7o9(vh6F~<@sS&Vr4F|ju66wjsI$S|-=teMCiYdrb-LRli*X+GsmVoQ
z2N$+o$?jxh)`d^|+^F-BFHZT5$$oJ>9dbqV$52LFFfVNe@BP2GK6@)nhMc1q)ZXd~
zRHU{AzW|%%3F|$>o$S)6z{_jiBV0BeFF9#qREw6>8s%?PI<2rO8wUM)faX*$=?r_(E
zDvD`aV!MX8W(`QKTM+d@HNGH5T+={9vGCH@AZ0K|67<>cVa3pu3B@V6ywX}v=lV$J
zSqKS-k!1qv0ZH4JNCP_=$ZR1y_5E0qTYgQ?d=bCO-b0S=pbqKT)X%+#(io|21WK|$
zVhMO8M0s*#j6Z94AZN_aut@d9=xY^h0;E}|JloRiVXLwMm+(eX+r}6p%+iz}#m`7l{7g-trG-Qw{g5Ge
zBszqdq_#5A@iO4`^6k)XsbU}0l64$BP|`9l
z8Z^i^T>;*}t|cxy;$Mh-=N6wJSR`mU~
zwwp@1n;~eQIxI&sXo}&;HOU_dxQ0Z-cw-7*PFEhVpIBz-PJVaou-d{oXoBEZJ~*)|#v
zT%bcdm%7u
zP*QNxm4am>#~-Ti6z{5DO3IphQW(6>Ts^L@jVyQmD_G-YdO3N3z56G-wY`^#NE~}L
zQX}9-Uea1Ey$QQ!L~c_1@!EzT#)gx=9Cz;nhIoqEg
zwuY*Znrt;S@OOWjZ~bBk-C}M(K#PD$qo&!h>qH4s<$MdmVK5FU&+_>LBpBgpw!g12~eG@PeBseseg6fy~7zaNv@eZ|@H6wKjj
zJ@kAx3)vkaIv;(;E&DZ2VEo8l)LrbGEf{_(9?)R}#vFJk-k6w^(!(6<>y
zDJoNvp3ph@1KnuTOf5bvO?u1zqbcwbDWW^Tm7!9we``F=BrDam<|DDJe}DH8C%!su7NGpO#`hUX$N9hco%pK>G|0IFH7(@J18cIi`_+<;-Eh?W
z&84JUDO*>r(}fGqr(^bp{`}aaI=rXd$F_-VTswGelPG1an&SUfPuXrYf_--=><+})
zQ1n%+5COTPNza39{c9}$pFq=E9?5I@ucQyln&y@p#3Ngm1(^PD`VGF(Y-pCEcUtjM
z8Ylf`H$7cI7dmBQ@q;>_iEBVh#kRmGexxWKF0
zk+6l5i)#=1P}>*mxchS9>=Z&=Cj079bbe$GPk#&{k;fZ20{#aKc)3&nM}HZU9Dk@R
zhCs$NG*eLSftuR8-!H#N`X{yD$qD@r0vQoZKG)_s%aaXf@3pucO}660IVdaP2vFUB
z%gZee##8;#@DfT{!zu6(fO_?MhH@|$2WxI?)N>$f^}J%ifSycF2-ixv4CN#Jj-L1rfWl9&UoZ(s0g
z!!I#%$?l#+f9f(EBRua;T*269FQJq9P+7cGk@w+ueIs)QgFZgdWhq3C>Px87ZgOFq
zY~m;$;1Y-s-bbI0&eONIlrY7pd`ch7y%gW{*pK
zpOzp>kDx0&J800*GmIH3d(m?4$qO!eJC(Ac-6m#%e*OJJ_LaV22W_XxVE62^k?1nu
zrTrb-J~@!9H=3+MZ+q38F_knlTFt4GQ@%V5s|N<$ik${f$}*$APgpr@+NPR)nKmOv
z)H$?s-9p*!aewx>|BlP_I^IY(*+O7i-C9-ZY&}kE|0(YSUvu!aSf`B31dS2uh@DmM
z82%-@pqz9@4bxF*@Ujctokg34$xBo1G>a4vlk(tOpGQ|m43Z`=BSTRkRyPK8S0-o?
zczmO}z>X^B2L@6S0#=TBGrH)gc>hH?&-p*A*znX??F+s&43)t7A3dGv2sD4S8wJHj
z6Iir8!X;6&n8oT!HPOS>iscD2C@bHCp#lenBMQ-M=J9Kl`=;8p1WF+lVpC~{uy-Kx
zu$cJ0e(^?AUYL#J%=YRC)q}03d8P+ZAr;yF>yix=nnef?25c2cCBr-4V8((zrf(%d
z>n>%-Q81DM@5>!15`WH(f&L@k0YB@mkEtZN)btY>N@hgq7Auk93@Rr2@hc3yE*!#y
zkGubfz+FnMBT6xr0In%e_*Jsx0MR<$7ii5j&Yt?w-t_0YQdnKzZ6AB9p0hegLWI+!
zVQDI9Swe8CV*d_%w9vL!p>q2e=G&KliRe-OXt$uCUa=B^_M+t*`n2+MoaY4|o4F^!
zU9c!jcnM*!upJk|u&R^l2YkpN;>55=Ia@1lo}~Z-C&>)V_F?qxjvBd5g1D_uxq_|B
zAT$^zPgvk+4#ZdAK2y%2R9>)mbn;X~z;f>FEAdmRz@+|eXe-xv|BZn@T4wIDZ)cfA
z39#>8Acd#~W&kqAJx>VXAF99{Y*#fP^G_rM@bEIYDtjaGthO!7BA-6TQsVBlRf+~6
za(2vUlTXi}l)v$m!lJV$KCArv4Mw!076&fT`@MXwD|O8-a&bVK{frXQu
zKkU+sg*@)dHtY|jy1kd_CHN>^4_28Msk?z`3PlBjB9~g|IBB|JBxaQe{y;7iOa-`q
zg-kk6492jbUR9l=%olvAasz4(I(bVR6`$c{D)cP$Y)_tl7RdzC-US^zrj5iC=O}fX
zx+kYbpn#o4m7k_Y^sx6(UdCrD(!r)8NO_dAmF}62?M8{u*hN59;1DTC47qS}Hcj6D
z&K);X(7hkuA{f_Ae?RqiTs5g?r&wsZLiulY~oL_&qqek8XX81qlSc*RC
zY@pF<2ib0p(n%sU>OV1~p_w)mlAy1pQB=iFP|14{rj|M13c~5^4v)Hb+FomZ*6JJVUWKx}%
zZzJ5k8)q-PK%!-6F$zlm=O?z7($RvLAtv|VF2lFl#njz
zA-?f>-uw5y-yg)B+57B$_E~$cYhBk`@6=TlNQr2P001CWQhcrn0ALjM{{;d(>~E4C
znSSgakcXy%3{W;mzlr^TV=Jv94FHuf#8>9H*w2Ko6!kp-fZX%%4`|T_>I(pRLrTx3
zwS7%?(+!6izI*MTq$#wojl>k@X?7bC1*!S{kkwQY6@AD%J>M>-<7TuLKV69W)(xWQ
z_=@Js{=%E5G#P21yG{Z%{1ioDZ~HoH3XOhAY}RfH^V-8
z@)K$z+5hSGpDzK}Pssnd6#}eJ1i-3SWz7G3>;Jg{z!dnu!(p$%ltF-1q7f^}-{Jq?
zAc!!sf2Z`HYgTM~d54Hq6-DZmX`geS!
zk~RVdwVxSch!bgCev`)FzoPFn{I@ZJOhoe4^0dEO#@UuSzh%j611b8^Gk6>$^H=>4p27es@m?>`gLXRB+$p#?krx6|W*z3$%AW{@Z
z=G8rMw_Mol?7=o+=U+e&Bgt%H>e$)Govci*xsO5TxMV7g`GP|G&D>X?
zu-o}#(bL62oySfLD$>Y*kQpF%(o|Dz`j$bVc3r&G@XsGwm#k*KJ8jBn*z5+b`snF;Dkkz!Yt#cwo3P&xrZcUyi3w*M43($a)6>#xii0bLe%NN^u~b9`y$b5yK{n@nn$
zv#DbnGbs)7DEF>$;n1p{+zkg+xoC%8+FyTwTkSc5nP&bo@l_MELt@sSx7oMPqzEUp
zszb)vj
z0X7Zs0#jd~6p}dU8rF6$;5^3M$D?@9y4%YqCzZ5iNb^3VTqk+uk%&J^@DQ-K(vnR+
z6lgumwLJmdc!7uy1XPj`dm%P{lRkb=RXlX
z%xe4kz-Go0ILuz{9ko^$SiaaP3+>W$M)?N8J(2j@C>=SKkKQS49hk_|)S^+GGC34>
z{ZYk@+I=yTNuNA&fB0@Mw5k)IC{hL)h`6dD;D6`*Q`O7$G1=>u9a@Y@_jjNBGar9p
zs?vNitw2&PbWPFUzXu_3=(e23cL&QWF*()ZHwhMQPs;nc`&qLn>caQ0SI;(mulYP*
z?Y`T#1gzjoeK$p|cE%2oXy+%j+<q2>QNKXEnB6?D#9vm0
z)^Kn87v4PJ)Z5gK3Rn}qe877xvRtDy{u>b52CkIPj*G!3Guz^jb!PI$e@$u5$^7
z{G1OAp$+Zofz0JL32(sWxc(qTQhn>Y^pxvM(;WA0hQvk3Qq{^($z3(Q
z-%k53rY5SEzvszl0^fG`KmEt-Py0Ic8ST8$7cJ>7WTPium7JlN>Io^TmPY&ib=PyE
z;B83zE73m(!f)(hB`NH<@(>h}kicDE8b#q|ir4XzW|p>XEhK6c!T5m|LNAx5IyAFP
z%b2Cnh1=p(f%I>w&qBm#rYVO%^9>!Hso&0l@+!sxee;}h$q+T$$5opWRxnOPBt0>c
z6b%GE8kj@)O?6SSU`WtZ@oJ~($qVkGuh61izXx9j6792U%tn&A>bMQGy?MQtthnHs
zv+Q5(aN8<3S6mo#2yI~7K%CvJx)NeZ8FN`5Z2M)svy4p>Mggm*MjR-)bA*%>6
zVZQ3)=J>y#w>p+3oqZSa(%dQRqt_lQo}$+3RSoF8^zyr7D0lIRbn7+H}v^$3b8;G#=UH%>NJ2+>ol$l9`v1s!FtdQ(L`|MftE22~YrH%3EDc(P_
z)w`)i%d8uP9XnHOWvXKB2F*9UZSAgoz$gyiGUKXxruvEl^jhtmN-H7_u0H$`+-PM?z=Q#cueycR-{LE!prbWtER{paN
zHFIn`P57oQZA}Ma2)3Q4nAAHaWSGPH@mKAAesS&i{OW5Ytixn*v4ge6mCw=~H>l^h
zZq`{jHi0=v#ZZ+jmr6BU$)6E+Ry;9M&n-KQ1vu=$W_^qhywH8ZL_cG;@bZIqpI
zbi_3ZMOu~&=#Mdy!t7TPaWXn>U}M3WX9r1=lcOuTzvsSF>~H;IEnJ~Qn2kxU156=J
zDfk!ld+BPDO!4n!e-@ygki0L5n&=6DzX=(V9tirxba*!^(7*9UI@QWhwb>*+A+m6y
z{QT?YjMntpaT9;|-fSA}C*JG9>goA<5k)L~xzx@QMo_Z+gwbo?71Ts9S-Yhb6nyxR
zh0Dt>;tvuRDczHL=Zw7H%LsYY|063{Y#L;~?{h8S!Ei30@2};YOikd-kJ6nS+oJodPFcTp2detx{hes&L(00!w%j{InprP1i&5IL|k)_)$h=*z6*0!C3{n(4c^wnxi*ap2yC>{~=^!`$#YtaKV&
z9clanbGg^D)wU@R4AU8DaGaZ=d`u6=_lRy>RBJ?CTa@vS;|$JCq3r`StOFW!ejT07(+W4l8?hiY^ut8TLk`^HZY1XuZYhLCK3_
z%m0G{FX!+5g^^Bc@lqBns*JrNq+~6ud?*MMHunrzeNH;{oQ@cQLjd3`Lk^I40?iyi
z?m4paJ2Yg7v{qiIUJMAufOE&nI`-omEa(DID@2xdQ`%U3AM)TM7*GV5s?@M>4UR8~
zg^4=TGU8s?>HLJ|V$t7>^fLUEaE1koPRIr)$Z~q$p$JlnZR$2JN
zDgYBe{-0J^5GWdiuFt$ezT8Q6Wl6jO!QFw*R|YQtxN5)Ropz`n;P;E>w3h{XuWn-J
z@)sw;RJmJ!-#+zHW2QR(XNKG#o#NBK%uT8v{C)||xjYII8J=_j&zu!X~Z;fD*?<$oPe+bTwE(97)qPbtY
zt^#>}uh(IItB#rX=wNZQP3m0v*hr|2mmT|d!#a4%5D615I7igc;k5
zeI9tx(tKntTHt=U{j-<5nPtUYZ7Lt6vY?M6e&z$cYNuBjig!>wuC1Qhzk_S|KV#Rh
zz|#zWy3`4A)j;rKvlM&G^y^|b&6&SLoNdXuu2r$gtGQSGUkV*edWe0v5;3^-+tXVw
zjd2_DFy?1EHB?nG^$(p|qJzqF`7##nEmU9bt5TnpdVx?&TEJ%1CW|>#Kd6;nIXE>`
zLek4iBTzGO?Xw?qJ>kV5V?yH2aIkvr8n#S
zG{18?3o%SowgJlDiFN1lOLF@Eth32M9YYbNv3~2E?RAb{lg`?-6?}8@|MS59!hy>*1d?akwI?Gd(+S_woQPugt=|a3E%iONKW8sH1W-`p{v_0XF
z4>JaOdIrTru*cTQh?2t|a+n{@n5y;MNiji>{OsiMVYt|vFC&J(O&)WvP>AdQ!9Xv9
zQ1ncPNU#ca0faP2F#;N9fq*@(*<%DEn&Z!DEFrLK#?_+bK)+Jna*djvUz^054SbM!15TJ(*l{Gf@UeIIU
zph`;0vuqE;L}^mi;bO2Qj$-=SFS3Ula8+d30}`dTh6#P(k6J?mRdN
zMB}z@v-R59hxYpN63g2&uG*yK#^BF7?Ptx1=glwd$B31`&Dj-2_`HvdcieY4@lJTj
z@b1Pwps1}^^4(72Y<)3b{^VN1(XS^?AwRmcZ@rdOq9QMwM#WynIE?)v>|q`g_PzDk
z`p2;*W}&lSy#L0uZ_l^$bi^QpvTiHrg{kg|&@tOAubk+fx=orvhJV2|r4ZoGQ|V?w
z3WBTd46CI5lmIb-XG9=0vu|!Y@#Xg+0Q%jB5G{Kiz@0t93zZIr$MF^AlF0*r-5uzs
zr%(WXhp&4eO#?tD(;ZcMJpc$1O!IL(`bhfa@I%@NG62?dzh}528+!uo@%%jj|2hsV
zt1*nkex*QFH>{eD^(E&$U;b{6yCU7OyYN&rHa2;)h8SaVa%zNEL11pa=g3`>U
z<&XpZ=`_JNc7~G2z?xsq+rx#eIxh9$vU2TbnBH8jO6-hQKx*o=wgbNESjBs+L1zvV
zH#CIG(n#>5Qk^$zu2`k5hwsYZ*nteEs&pjIK6@or+hW8{I_v79?OwbYv-QjP8SJ~@
z6&R1qKFwkNq7mvJSqX*S{UwbX{4uKdxf3V4U>Q
zRXv?A4t>I=)txj+CZ>MY1CDJsGua)}7alSv3gCy()a|krx?7*~XOAxLp3MF5rxyoMr7QQ?H{i${
zpsH_ilg*C!e)^_G!26fh)Rt!|>tLqOr84~vMb8c@$gs9le?ov7)CoSwGfuDIfOE7p
z5B?Ci*Y_6gj88%>!VZ+a&c7N&$~xdxal#Wj6;8Nua+*j%UG((a)=Brt2sa|j01Jk@
zrPn&?c+dOITpaS?B4KMZOnBgww(6o@Gx?QcYDU9cZ!gQ^Lzr9}LtqG~1HBI}TXR@(_
ze@l_x^hS*-p3GRVhRwZZ?~fxc8{!U`bRXkSxtsRxnNI2O8M5!jU-r5SVp!?&TySAu
z+P#M79jEO=6virPL+oQdGcWt@&ZwP!-*J04J!bK&p>&0wLXTtW{!PH;gKUiA
z?9$ucu_cu&r&NHxhvZ0)2HKS)iuL6DH1pX9wjHieiYy
z{bczAaXA_;%Gnb*%+L8L07hoC6yi7+6{Fz4CAf2j!+LUQbj
z+hZiYm-Bm3!7pKZr|J2*lQ4m{Q&$@p*@hFclL^G+{EQvuk$Flt^a%wT6_H$%T%R5Z
zV%l{L0<4+_#oC<%0wFNNp2yn5Nbq9_+JeR{cxWZ33E#>$MC1!i@;|QE=nh!{#x%S>
zU$T`3XVG1MFHOFDhR7ZPy%7pHJB&ca827%th_?Pc?k~y6N4P9iP7Lrn;*ey#`-Cyx
z>)(kJ*aK`9k}Rwx?8W+EbiL2*Szpu%_R^q_eYFonvUuJ2{1S+tQNRYCHi&+>8(!uF
zRqQe~>`=aR)~%zULEGPnjGwO`0WsNjO~+4nhgUb#$C&-|`wT8L%(3$Hq^k!VAR9fF
z*lZLdzUF+B@o^x{3V(C>6c6w#1KxhC+ZX!y-J`#hC%
z7a^*iYDO)W)BN|7?+Hm5h9NllW%4NUI3Vi!5rHG-#qN)wub8=}Y83_E(}xRv
zZJM+0&WiO6^ipwcD&4#mWcJT|17ztaOhbp=K1#}ut}qRessv{BidgSyZPzDz;Rf!n
z&LkaDdPj5;>IiCOks+LHl)6nmsSe(C6p_P#6z|zxXdB~D{)38Fw+c1B7g)wG9iuL9
zEpBDQL{D(F{AH_k5O-+$Otn?4>(_23-P>94s^~}KQi1qaS&Vo2z?V4*r8o?YZAbPC
z4=S`Cc8#;OlHtPog9|Q`afa#u(HdTRA{5dRx%znXP#|V(ue@L&(0V{b6r;>lZcMjIBtkOc|Kg+j`z#VyGKGH7W~SjPA4_{NuAs%yps_ZCdKMZ
zcA-vtH|`YG6Iw4=!RwYKnu7Fn5hrAPtOOm=cer&X>m=?^TuDs3cQ1(L-1+Eh&SC_B
z$|W_i<1E2Kf(&d>gyrC72_+bYn@b{aV4M)eq*HIhq@ZoMjxg_>!$w@&=d9+sBf(+n
z$Jsk)cGsNF0X|}%dzj*|!)$KsJ?Pyvyj_`mo_qXYwh8<%pr9Z`Js5qbja58M1Fwa5
zuE~~?(YqRwyZ)QbPD5d{OaJ(Myw~E1C6#t8mJ|eMd)or+D=Fg*WAxjq>uAqs`ij4g
z2bBiN(%cSuK8oy(z#Z0aD+h*XdIqCo=i5#sT_~ey&r?^FUDJXH&)}+757M}DL8vjo
z4B0(Wz?~I7QqRDy*vyS;_qN7#Yzw3pgqb_-!wqMM-J*
z1-tMt;O>8w6s$1S#TvFCrnh`vnp8E_ej=Ve^?@iGQ3wE4p&iJQr&XhWH5q`s(~Fhp
zZ&3G$*ze|GF#8jZc)mLFDZ(AgNK&_@~%5qgO)6~>hc}D|-
z9lo3=+&`7|mG_#|ho`IJbo(w<&9!PLgPT}n_Rz%m!ez4qQ*KCyB*H6z4*`v#3nnFW
zz60cUtdlC{&Q#&*5cs2N0YYlA3b$9mL@uQTaA3*scRLVcE(jSsj|WkT1xY7ddlIn
zPJ@mN_TS~!qd^OKnJqmv-5$kPpE`&c14WM<^5gS{OHi15xQkufEP6d6?k%Vua@L=m
zenp7-<5YMVLhw*78BCuvNR1*yIF+0*?M`#R_YBa87Ba
z6hmE`dDd8AJicQ0=*(@FX*$6{c{%SwFsKYTu;%^0fO^p>v$qDy^?UT`Nzg9IjVd
zx5gbnR4Lol+v)n?V<~pZ(nrVFrq);mCt<;l6y-Q$AY}TjSJai!FnB0F-hy@x7hU_u
zJJ758)1v@=H^hm@f~ymfb4`C_x-F+5m_|RiZ6oSXY35Vu?D76zOJ+xeRY??AMGy5I
zSqqKM>m};fZ1jPLkI%mQOu26e+^Bxk_xt?1vuKZfxPKpuM`q)elARsJ{jv&
zRw@ieWS|$SQn;(4*UN(@!Q}${eM(s?JSAuGyToR?UXA_-`)k4Sw}e6(vtkO^M~!&y
zH)oO(Q+Pu@%hA&=ukcSQ6N7Sy>$ZY(;9ZPncXdBs&k#Kv&;8PJ{rM@Xob;mm>{cDl
zv~=Djc;&iv9ZLm&1FGEf`6JAh0d9&TH)dUHcWfxes7zXZ&ChTsKc93~p4soPob7%`
zf4Ueo2tiwZr#!{TndLYIj31vc8k@)rJXzvIXzsReHxmW+@dYnz@)2oA`O96aVxBxr
zsr$euhYA_D6Fz46+^$Q5i?V4A6SFcU&f@P&?63&@ok;xAtvz>~f_Cbv&Td8e=;3Rd
z--`vcQ#H3`>8t*XI@E%KZ42pm-z?+uShgI*xO&ul@KJ#@_p#A`648MkodaV0HsnuP
zzoN=Z#AiM)ss<&+F?}U*h`u#*>6_;ayoxoWuVW)^zd3y@EpZ~Q;hq(O;^j;$#@VkE
zS%X*e!8fY0bwtmKj`+@lBX%{t8bTtrRFnMRHgk{W1Y`P6yH3zS+!uSNMQQzL@+0&8onCeB%3^=nq+
z=t;)X+s(?)6J0%>WgKh7o57>e;^X|1=}my*%`${+k0s=og`YZd_-8QX`D!bFWay(a
zjPBBZfJi|npAwM3T^Qg7of3qo1mGi{B4Nz;nrcu6<;ES*s%Y%4
zJM3~6|LJf6f~+^+$`HiLV&W+f3N;8wxY3$*)r|4WMjdIrCuNlt#ZxfNCq}Fyf1j&l
zQk<3i=y?)pAI70DGyo%%=Wx1%%Q^b!?3U@$OJDtu`iS9J8vzu=@
zS+}V_=nd4u18C59&BV?m{jt=DozPh?7#-RpROz!Az~8#trf+pv7Cg=wAk~~=d*!mk
zyfy77o>_IxXQ-iN+w?;y`CiNVjX|@nQCD@QaCN$k;nzX%FK;?;d1sd6<`ToxvHkY4
z$4(w!${#lGx>s?P+B*e)IcX4Eua~1Ei-T$e?n)R0Y~GA@*Q-cKLzzxuZ47-pqOXd)9WkSMSCh~
znbc(MpAZjHzMevx3M=#PZ2VY~S)1PWP)Vpt&BCN6~k7k>zhav)x`|t5+cede(
z5*i3iQ(2es{sl)hdSn{G2f8Qz%QP5CmM{6hk;?k)W9g{OW9KYY2r+4vkqBvRQr)}B
zN%6453UCd3W)s0%JTI95dj|UzD}D%-5*XIm^uf;TgKzT&fd0qfBYHP8hjsp}Iz-{?Usd
zHO+oe*=31#??a!A?waWMXN<9ZE^NFxX?Q19>&=|OYo7^S#eO0SZP6i<1-&sB1=~A=
zCIL99iq2HtPrAE~9uvbnJcar+yO$2|7uyOR+efmAZ8b4uQc!b{Vj`~b$``g>clVhf
z_FTZgZTcTV@OYlu2ngn31WynQ`l7@<=Ug#ZKEGpOM+4>N-@|gL5}ZTHCi47sFJh{X
z2d@mykPmK^c8}N&V9#lPJC#@`A2&N80-Fh};u|FL@+&e^)iEn6+jHPLu@y~g&1SlC
zjXJ^P;K}sKjoUnXzmms@Ra@uu@YV9%{tGJ*llg+U_yM)n&%p$w{^
z`}AB}`LfmgD7I$BZIb(nkM2)T9%yV(zFvH8cxm#rh|6nRdROeN`TlbMAI}roF8W(K
zgPBiK->$9fBp%dBkOD_hU~OjCc)*V$zy<7FJ`r%H@+(*?L#4LwdzDk+2Jv8nd{_8+l?3WiRRNTIqbqdQ%zzk0(Kr>V>>nfLsFz6Tj&uEH0O{J
z`MD&3+OHzZrT4ybvQEC7Vdv!*#NzznBTIu({g&CJZlg?|VO^_qX>N{`QfXi0HZz&;
ztM;GeTzO@O)7%!3?WZU;D~WOb8!nQ`*H018UU@>qF?)pntMCj9!na;9nNo}z0V$zY
zI}|1^-`fgGKDpMK&`}$ua{sHvifJ`ZnnKUuAVi!=$W_<4z2j5Vp`!BfGrr0VTN5-^|Hw_|ny
zu>*Srb_@RtA-#7aEF`<(0gPx@GV$;?(KoKMDl7gWt{RcM+zCh*~!lQ+2~{11v*
zc*4_1VYn!ZD?*+kP@HMt@?Q}UMh6>86CeB+cA8;2MzjLN1KzG*{Y(clUPz!s`zykr
zj}H0m6TJ3YP98(ZB3{nOGZyBMp>Q(#CiO>VYj5m^^Fpm|WCaAhV<&0G&$u)ha|#`c
znNuBYVhDLi5jzyg>h*8N{
zf?_xaZ!em`us?!yhl~LF9%?!#yzkiotIKZYMIiDUVb|n{5>Twt&Sm{Xh-&9j
zZBgi*!!GpG*Ar24bt|m=x4V-MUmIL7jt~Xj4Y{0ZC2ch_9#_3Im|c66W-Qe4T=g~oqFN%@#wa2?%yZHoTJ4O-+HqM
zKDt!OJn_Ve8rjM7Q`FIq)U%>`HLyCQsHNa$;yP$G*0j2QQB-DLsIX*(SwENszXe?6
zor3A-`*7cQFfr-m{*rOfSar$tRanQJP+9xC%BrH(A9nu$r?os+W#JZAr6jJKC3hq7gT9e8?{MA!=67<8B
zut&3RuS|emLn2~ne!`!~uw5>1&zV1-(bFuX9ZSJuCa7!mh>r15j6DCmZ8#UgP57>~
zKz0?(qmtwX*TE+)2;zJC{u&Dj`HPEgoN-L3Ux_M)Be)hqOs9yZy`;XvhabQg&|cew
zC!EI&*A{t_4`YW-O2=8AHB9wTM0lh
zZ1N#14*}xo6hx}Y$#^igB~_S?pP;c^Yw-)y>mD#ziDdt>F8+;-Nkbtazf*v
z3*JYLn~&<^ek=;4YFYK!Tgq-4v%XQVsn41D*i^ULM!i&5xur#OY;isRr7C~02BVrA
zn5_TKk!p)tj$bX8JYk_OFTKjODpRklqCadl{-jva#eaPo!%Wk|oX
z+VR8T`l8a78^<6{sja+_1h?Fa_C3Q(-y-PkQNu~JaK?aFV8!XnzUtIp_$yo<=L6|z
zxT>^z+A&uo9W1weti%MywLF5;J^b}_(Pu<%O9iHF=Adm-HbV2#(qpv8fBw`Kw0iSc
zty0Ss%Irip$<>^jlQF2jY<87od`k4OvuO7G65)H84_TLHRC^)B4~kOR<+u
z$TAjGlTD9#`8v9?z)Ji82N0m+dk&%iX3|
zl8wv#dGfk_t%jv{H)87q?I6h#c;Hv)6E@nzWN6Z_ohfvS0={2grM&NVl+~?uYaz_
zUa%{K5T)*GJz-0#68+;^8X+34;`HG-`tZL0&{5enV3oY~4x!{mw%~oQ#tN}Y){Jh~
zF=NAer5ol14Vo`vc88FHqA3WLHKYOM%OdjZn50p*4@pTywdtCgDp+s#$Y5G@r&dRH1ZmSngDN!JAJtwg>0*w*n5L~cJ%aI-`TZ?pM9D{@V2@|G$3Gf6WDRZX8i
zd`6G^20&$FXo@Az_ieac)N7C<{fb*SEJIf8ccVVKeFMYSebr26ULXSFS}#tEdv}9*
z1+O{lIMuyV3BFKQrDl$ul-LRzjxDUa(pWQI=14g^Ov9Yq^L4n}yn-6Ihl2V|$n8d`
zXRgD7lV-!5?qwO-laDGoP&jau#?DV|tW4bQ9uJhs9ve^V*Z!W+nAD3R>~&F-a@KpU
zP?}`xF*_Bu9(Kwal$+3d^w`C4llWnK{xP?Ni%e+Pt>e-QXzI^7)uNS?_L-#8wJM@a
z?<=&JLSFQfoP~rxgAM&HSXIg7SbEch@&O0D2%9i<_A#IWtz*X_gswjn}M-h=l06mb)G7k-^
z0r#b!EHk~;5zOw*x9o%{LzeNIccT(~;kRoM{zvKe>J-j$1NsUV7cWUo8OIwpbO5W6
zSR%oAstpLNH!64e1se+MGuc(A%gz4H&OSuysqJC8ll-s0dBlkk^y>{Ta&=~ai|&~u
znt$m>C#Z<$kv_00Am2;4O#!%n#dCT+Fo2Kd|E@&wuZEjQM(+;+L^~^AIlRD!s}88&
zX?v^>G@cz$?0id3`WM+PW64MNgF_c)5*+y8Hy*N_cq~foIG0}TY>!jhF+Lh{`XJ7D
zDSZ8WN#}NRPMK}&Ra*Vk_U|rl!4fiRv#|gWmiv4DBGvCPmfYJ1Kc;|@!At{QGe})O
zGRLT$etxtZV&7<}8yqsi+5Tu;+P)x@&(MV}3km7}e*3KsbvYNq@Oe`F=AAL+cy+(`
z+H^zEq`|S6P5*6N)>-*KP&t6^%>Y4QwdhAFS)wOF%)^LxkaOp%!2bJ
za5FLFY1S_Ilv}*pJalaRjtepVk)(61Wi@)Mdi-_Qz|1o`
zaAH7UTZS4CEvg9j-ok44U!~+f!|%iQ{C1OePR8&F=VE54qSJoiTFrRa`p3k%
zyfth_CATO
z+?!w#ap|5Ta@f_ioXd~=?Fb_Ef=+~oi86j9dk}1N$+*_Q(;pUdFS|A%5*6Jzf2tvQ
zHjiSzJ$mPiCD_^Bvl*&I7l-0%)?4*f__#T@y-O#Lg{XBTcBWyQ*E
z0_pUNbQ}<|E}@X4`j^XWpf~)f%i~&ZV;~RlYEf#DoA4zw{2vhkOnG)IUUwX70!075
zvZPSKT8o1Kn;>&0DsX?#wYN|Nr#lmme?A2)v=J{(%J+OA
zVGRt_#$L&v+SXSzKvvJk3@{cmb`&M@01DZra3X1JSv@zE57=L{%`nOlTakHmxM*90
zP`N~gcKBM;2grx4*nPiElqCY6-ovJq{r4?y_)qF<4eC85OCnRH{=nw0(?-(mRX5|@
zE9S>sI$HpKza>uSFHEVme$>nkDd=wqiVG=l^4>1pS_d|dEqh3RJ)|{-_PxB@p8)&T
zKewVc%f3?~7=Ht+E$yBd*)M9Qkj(AQuQS5%Sx-*ULQVHk&`;M!R#>{m*WTTWR6g>BG;hpK~2uoB2lDo#wjy6)wMGXpi{ap2Jdci@+S}2?Qmh=J9ZS5s%&2(YF-^5W1(V2n3s$6Za;nII%Q98`
z#%pBFO9r*#anXOO${r=lmxZ9o$stWT?Q+Y^c?{+y90WO$9;tjkgF*p)%X+_9ib0-c
zo|pII%8I0Q7EKGe{a3-
zw&L_8m>Ol3bZ=Jz_HcC87d~0{c8S|e*ri}@{nRoUuL*vemtJ(Ud)vW9vbb_i?UdZ;
z`gL7Bpo*b@(YRpBB`eK^KhNA^{`p*fzP#U5nfyx8o~U3CtH_ONV_6@)#0m7YwXmgJ
zhFeQPfBii^-xa#JYf&$fe_!jl;Z!~M)gU*zM{lt5Z554Wid!_lSJ39UD^{v}Z}i^{
zQOPmP0arC0jzj#!_rql&?Qp&n*pgB|`>fB|AsqI;%}K7c>kmJ$I=w&UPY
zj}H|R@^72`zikMyz5yNX%@a-veb5ZX=I?Isp3e3fPusi<%?wQDet%6`XZ}X8gBRfe
zN8{gNgkbGArxSQ#-i0rp|Ce*&Tz0daWJYxPdh~}2mk-Wn&M!{7z7_sv6daNfw0b!Z
z>@zw^HnWynC2aeHJg69O#}V^r-oN#5ondl~gjhEWovb^G`sX-F^
z+(Bpk?mHoC_0!FBNwO?|69gr|c{ohTrA20zT?3ih_(x($u}73%qxXTTdo3IxV-#Ar$>u+fj*gmtL{Rt6$dw7=zj=CBxgnHWBs!k8aqAFmD-k
zNP6i|Vf9#5@l5@D;qIrGN9}sSUjTQjwn_UC`Q`G8B+o$yFI83nNna<+?Eu))jIVH&
zLMTC0yyG{zrCV9=o#fv
ziLsRvg9h6fwA5FNxbO_D4vc10d2vpkk^O8NT^&=f*XZus-I-IUg{|tCqC{>r9_!jv
zZuS3T_mk&Ke`(yzXSonvE3P#kzWBmw6D&C)-;t>iQZ#_M{b8>>;XFR3Z%7%X>VSB$
zF%!GcHdz&v+?%_tIQe#p&55i=dX%N)!;Zol^sDzmv{(6VQB7uDMW`oz)=e^PC{`$`
z8H6*opJ;mj6`C_MLPEA)lZuVEgRxoU$OGsL)3b6x1GA@eFtXM|dSw^fA3+&vLyLNP
zy5JwbT@9?Ke(wa3;iEqgy%d-=4v7zY8}P!=Vb17#o1aEW>5}czQy}rIFtv{0lAxIi
zKIt%?zL4D(-X@;#K)gzxQYt&KQ4RS8{LR0ey+$W!`BmDnP7x_9J|_jX1k+9&@gJ!{
z;+MW6R+lRSUuDyrtCcyhF3BVDfW}+`rgzTUOKgY|HkQ6uSSv5luBg|nd5m1!Cqk6;
z=>YaShI8xfy-tQ!m|sCv87{NGym}?4cN>E~3T@VPrFh%ckN>EVp1i(D%^O@x{5u~u
zsQp#*=xYD1?skMU)PA11^S6f2Wed+5ErUo?n+~3)EmTS}pk+Xm0W+8d4m^AnytGnD
zC)qFQxBr8L9l;eNiwwr{?gVMRS$qbFW3ygDJ1dbKz@6{qD5#2}IsIuyn!z3T^fIUl
zAv%(T+HatyIkAqTmg(iic`4J?ho1swB0K*p+o2hw9)ne-Q?K3yVT)COzcRSi@MBMN
zO-eKbtrt9aC*3!(X5r713?v5J%wk|7yPoSEWO$=%&2257lkwpuu~c{~cIHWei>=h$
zpn|phfif=7#PpJip+L}`^kG0>uZ^SGS|YQ(cSI~tt~8ovMf#YcNJ@Wg4mdj|Pm1cJ-A^gZXAbRPz@u(Aj9wWk*?a|`xF7;Du^6H)AotS3G&wgUl1g>$7(t3a?J
z`2?jKPTeN0PF+EV1o7Pj(}~WCmX76me06iiwW@B!>QZ%q{T=ugX2SP?dRy|ola3#c2d8`Yse?8#546q&0<%7o(TiMe>ynL-NWAQj{9EXZD8xd2$=g1M)4q4M
z6)GushBq+{<;Q=7B`ji$cQ8uZ(4FtRq5#zQCpMQ~@tYpDkB$7_;$QHPV%9SOQWN-^
z=|TkY>(~t`j$om#YiwlqV*a^8HbBXW4J8I&bwETw89yNl7udWLUaJ3;6l3{*Q^~fd
z|5qY>io90HNNZr*sr~a^V%S4@Mn+{kH^H7qu?|In)>_A23zO!hp?5wlKQ;H>;T8yn_d*BC`79I2IdA-oR=-
z%6ai5Wt5ch!}dPm$cMl8OqpKFTV%!vR5}-(Z4xreq(lX^$d69dI<+C>
zI93`e5(XNVq8|2}3eCjd(FZQ(If|#1|4-ChMiMQneeJb?BO_UQQxDE_Nve3GoV
zMVD7$bzWlWKjGOYsdDFEe_bt14@mM+Jfes}mMCV8^1Ui#6TXha<@ejf7rqVV7M`&W
zEeW>hFFk=r%u(@)Tz|H5{2t6+O*#5b)Ac2_Pf>hXIS$q0(1pdf
zaO6>&`ijXj*Qce_{36NK30#FY;*$4I%R40A6?#)#j}GYiv#Q7}C)g>+#Fjfd6KSaE
z|6Y*Eam=HSkiKQ_S*R;j#UIf%YiGWTty&^kdHp{^RSJ+Nx%1yCg2va$pIQTTH_qCeL%^tIjfeygy7|BwYGoXoCFHZy)6uhKzEcw@7l0%g`(KOL5x;uwjW;Tx;PL7iHUSA&
z@vqD3-jB}<(q8XU6@F4M@)cztDntGp(#g^g1L1O+eA4SGHcYD)Re-4Ko85pp+Srp?
zD{0+$=^GogQnt1pMsL#fO6p@GI$#9Y$}@X?=j!VksQN4^J;LsXJ4#|FhL@zF`p_7Q*HmWw#wD@=Ws%00!O
z_`_z2K?pTBmV(+)nlR4}GDsAI8LQUx9z}uuE1oJYPDUX#o}w+$WZKr}r)Qcfq+&GB
zEU>eZ9UEo}lKXL1P|;d|lm(P(q-JjkT$!#B(=Jt}l_V)MdKQMg#LNZdLa!V?jo+m~
zPO393x*K%6Js7wv#-lib40!i3oXjY2^qklA;o)z8G`#KVs&!`=a{E63lzA54q-o!v
z4#Q$lg8jKW#6P?Tuh9IKX(T8v2ocH_wh3~rF{o}s&wb%1J
z>uKv=>%O()w_e7A2f92j`qRXCN6^mr@_adzg!w2prm*!RM8R8FJ+(ThAz#Z}R
zq#)gp{rQWF{RVkPrBa^{@?THFgQ^;L9ze{4+vbegCC5D#M6_6%L$dSw?`oOwN9lNM
zU0LC3p{@!OqgeZGe@la$qdh*bkEei>pH|4IDliGn+PfmtKbkPlEbKC~c|T94`5a3F
z60l}xqd4Q{^|8SBwq(%z5A_DK0FGO)kcurFX=h~VIPl|uHs+vyK^i-iuRAz7
zDVABXD7gyTWOZi32JiQT8JF1zKWlV&6Yc6ff5|DUW@07C;rF5goL`SZ9VhOB&N=2o
zzuUc2Wo6s?;UyM8IZ1X|)Y#!t_M=Z)!`cYprp#@+ab4>x(78X%UNG90MCbP#?l?mL
z;>G#S8+_9gKxyOWkZc-63n1X|+3-6z@7|Csnp1Jdju^ojR@Mn+vn5_`Bp6QC%mx&_
zb3Z)zAUHXhY_MhoeGFhMorI)r;;vrn$owN6t8TKTgvPMNsMqx?%pguT4&Iy=Miz~O
zk2{m8WQnOTd$j%Y>^zVrCzDrdpMWk4<}gUo~kp(9u_VJ)`|DdswHG0DARCX
zDFT?U>ir2>CSJ*sjby-3+?s|!fMoi)1B4i21Ic?+6%~9$etu3~qN*8C#n|S|iHc=`
z|M-;VN&|YXeNjsD%wt$OY+<}KDoY7K2?yo#;z!>Om5L{z9H298cIoW@w!
zjnh8~@6=yte^LAQJh-7$G55aXt08`lX_dvRaB8*j7Z*C43U+ep;{*UfkpHEN0?baJ
ztnpX#G`aJ;(x+Wyxlp;-n_M{50yxG~bb-eIAM)s9(CbzgH7D5K1EoV9nO}+(;8%kj
z-u)ti5<0Z@;F)Ui+aDRZ$1x0?C#UclxPyB8!#3RpOMvLJwL%Y|=qqcYotjoV8q(v&
zbFJNzee^z{HG%-aPikZRCZSfK8TEWdSt^ZHS-+o&zNFP8PuAO1wZ6m0`=-^A6NjV65b7Brn&Fy?y1{CRNOUK
zRlDTiI?-@@8x`n`8M-pV#`A}zeYD|ItGmW_Cf1Ii0V@9KdkZw39;~<|a^;_u8eEqP
zxWw~XC)*DWwXtQN1Oo|GX=CTQHW&{n7p6QcJYGn(c6j1N7hyDh?nhh!cWl&4^!O{o
zf~PL@S8#t4X;B=}{$qX`j9ygjklbn=URUS&9^1um0d7uRF2dy&-34N1xUU7pj-)~se@DERJd5&W*pVn9GD
z=+b=xNwnP4D&O6%pB4SdvtA#XJDyo!N)b$IrtQ&ea_uH-*Iu&*_=^2`_};x94z2Hb
zj-mPU4`c0Uuv28UdG#ksDRb&i{GD6{+YMsL4)TxTb8O%Mp7F&SX-9FNsh`i)46*C7
zAcQf3;wXrKjb7*_f^cH9MI(ILeC>S*A6Da(nv|m>l%E#!a_;7M5Iol;wHCN6;XA}d
zTIWa|9`a%fRyvmhXbl%oc69DSy+NGhwb||N&JEopiFXdAV(oE~7{A51ACRfND9M#d
z)0rvR*oawNdlVSX+{UjA+-1c;#^4N^7ya8t1QAa?Q1Ay!7q@el3PI*7js46n>uNN||57
zw!*$_Oe;6ft6k@!q8JzNCq{vU`2KX#JvMXHho*}5n|cWk_P9q`f8lxi`#PoWw$ae+
zo&h|5VRS|XS@=Blov}YNxQ*9Ig(^0Od6xac_SfwYbdt5bV_fr6z`CNjx{AdEYL(-0
zJE6yX4#X~-EdGtyS}=@Z5E8=)2+nYJKw4#XpLQyFQx#rGrVM
zs?(tA4Qr4=)H-W%eLoK;3q7RKQ4nz%n;7XaYnO&F@oH0!?(FMSRx-ku=>_Aw0-|b_
z+$<8`?W!$>=YB$p<)?RF%?kuFyWj7vX?Qv4*RP3uktr1wZ_C+7j>oiGys1Ieb*BB^
zM-}B+9~Y#c5{doYze7Fa*X(NS#zfGq?&jG{-A5YQ(kZQ9w?&YGq2*l#N2(r@9{K@~
zd@M>^B$1*X_msKQjfqQ0G4#UwD~og1td(|~rg+K`FBELtr>tEvo4;IKju%KluWyaL
z-R%UwJ!bn+u%F@Fgeq}6e0CsaoUck0=CVh=TON@Vl&w5);5A*qFXmofu6}+**9?_2
z>j+1GfZcc)5*Ue$&E_4O-+VB!o^DFa{Lbsv9L*HR9l`)GyF+ef^|iC{F@^r1Po%p4
zk}sps