From d8024ee8c884e13cd2d6f0cda202534f2f94cf5e Mon Sep 17 00:00:00 2001
From: johnjim0816 <39483938+johnjim0816@users.noreply.github.com>
Date: Mon, 14 Aug 2023 22:57:00 +0800
Subject: [PATCH] format
---
docs/ch5/main.md | 2 +-
docs/ch7/main.md | 71 ++++++++++++------
...\345\236\213\351\242\204\346\265\213.docx" | Bin 399507 -> 399869 bytes
...\345\236\213\346\216\247\345\210\266.docx" | Bin 610958 -> 610910 bytes
...253\240 DQN \347\256\227\346\263\225.docx" | Bin 365474 -> 366034 bytes
5 files changed, 48 insertions(+), 25 deletions(-)
diff --git a/docs/ch5/main.md b/docs/ch5/main.md
index c361213..8f59331 100644
--- a/docs/ch5/main.md
+++ b/docs/ch5/main.md
@@ -395,5 +395,5 @@ self.epsilon_decay = 200 # e-greedy策略中epsilon的衰减率
图 $\text{5.11}$ $\text{Sarsa}$ 算法测试曲线
-我们发现相比于 $\text{Q-learning}$ 算法的 $300$ 回合收敛,$\text{Sarsa}$ 算法需要额外的 $100$ 个回合收敛,但是收敛之后会更稳定,没有一些波动过大的值,这就是我们接下来要讲的同策略( $\text{on-policy}$ )与异策略( $\text{off-policy}$ )的内容。
+我们发现相比于 $\text{Q-learning}$ 算法的 $300$ 回合收敛,$\text{Sarsa}$ 算法需要额外的 $100$ 个回合收敛,但是收敛之后会更稳定,没有一些波动过大的值。
diff --git a/docs/ch7/main.md b/docs/ch7/main.md
index 4b6f8c0..c6d25e5 100644
--- a/docs/ch7/main.md
+++ b/docs/ch7/main.md
@@ -41,30 +41,30 @@ $\qquad$ 这里 $\text{DQN}$ 算法也是基于 $\text{TD}$ 更新的,因此
## 经验回放
-强化学习是与环境实时交互得到样本然后进行训练的,在 $\text{Q-learning}$ 算法中我们是每次交互一个样本,通常包含当前状态( `state` )、当前动作( `action` )、下一个状态( `next_state` )、是否为终止状态( `done` ),这样一个样本我们一般称之为一个状态转移( $\text{transition}$ )。但是每次只交互一个样本并即时更新的方式在 $\text{DQN}$ 算法中会产生一些问题。首先,对于神经网络来说,每次只喂入一个样本然后反向传播并更新参数是不稳定的。其次,连续交互产生的样本之间关联性过强,会导致深度网络更新的过程,容易陷入局部最优解。这跟深度学习中为什么采用随机梯度下降而不是单纯的顺序梯度下降的道理是类似的,只是在强化学习中问题会更为明显因为强化学习前后两个样本的关联性往往比监督学习的样本更紧密。
+$\qquad$ 强化学习是与环境实时交互得到样本然后进行训练的,在 $\text{Q-learning}$ 算法中我们是每次交互一个样本,通常包含当前状态( `state` )、当前动作( `action` )、下一个状态( `next_state` )、是否为终止状态( `done` ),这样一个样本我们一般称之为一个状态转移( $\text{transition}$ )。但是每次只交互一个样本并即时更新的方式在 $\text{DQN}$ 算法中会产生一些问题。首先,对于神经网络来说,每次只喂入一个样本然后反向传播并更新参数是不稳定的。其次,连续交互产生的样本之间关联性过强,会导致深度网络更新的过程,容易陷入局部最优解。这跟深度学习中为什么采用随机梯度下降而不是单纯的顺序梯度下降的道理是类似的,只是在强化学习中问题会更为明显因为强化学习前后两个样本的关联性往往比监督学习的样本更紧密。
-回顾一下在深度学习基础的章节中我们讲到梯度下降的方式,首先从样本选择方式来看分成单纯的梯度下降和随机梯度下降,随机梯度下降在样本选择过程中使用随机抽样,即每次从总样本中随机选择一些子样本处理,而不是按照固定的顺序逐个遍历总的样本,这样做的好处就是可以避免模型陷入局部最优解。在随机梯度下降的基础上,从每次抽取的样本数来看可以分为批梯度下降方法( $\text{Batch Gradient Descent}$ )、(普通的)随机梯度下降( $\text{Stochastic Gradient Descent}$ )和小批量梯度下降( $\text{Mini-Batch Gradient Descent}$ )。
+$\qquad$ 回顾一下在深度学习基础的章节中我们讲到梯度下降的方式,首先从样本选择方式来看分成单纯的梯度下降和随机梯度下降,随机梯度下降在样本选择过程中使用随机抽样,即每次从总样本中随机选择一些子样本处理,而不是按照固定的顺序逐个遍历总的样本,这样做的好处就是可以避免模型陷入局部最优解。在随机梯度下降的基础上,从每次抽取的样本数来看可以分为批梯度下降方法( $\text{Batch Gradient Descent}$ )、(普通的)随机梯度下降( $\text{Stochastic Gradient Descent}$ )和小批量梯度下降( $\text{Mini-Batch Gradient Descent}$ )。
-普通的随机梯度下降每一次迭代只使用一个样本来更新模型参数,尽管收敛速度快,但由于实现随机性可能会存在收敛到局部最优解的风险。批量梯度下降算法每一次迭代使用所有训练数据来更新模型参数,它的收敛速度虽然较慢,但从凸优化角度(感兴趣的读者也可以学习凸优化这门课)中可以保证收敛到全局最优解。小批量梯度下降算法每次迭代使用一定数量的样本来更新模型参数,介于批量梯度下降和随机梯度下降之间,可以在保证收敛性的同时提高计算效率。再回头看看我们前面说到的 Q-learning 算法更新方式在深度网络下遇到的两个问题,每次只连续地喂入一个样本相当于是普通的顺序梯度下降的方式,这种方式其实是最糟糕的梯度下降方式,因为既不是随机梯度下降,也不是批梯度下降,因此我们希望在 DQN 算法中也能做到小批量梯度下降,这样就能保证收敛性。
+$\qquad$ 普通的随机梯度下降每一次迭代只使用一个样本来更新模型参数,尽管收敛速度快,但由于实现随机性可能会存在收敛到局部最优解的风险。批量梯度下降算法每一次迭代使用所有训练数据来更新模型参数,它的收敛速度虽然较慢,但从凸优化角度(感兴趣的读者也可以学习凸优化这门课)中可以保证收敛到全局最优解。小批量梯度下降算法每次迭代使用一定数量的样本来更新模型参数,介于批量梯度下降和随机梯度下降之间,可以在保证收敛性的同时提高计算效率。再回头看看我们前面说到的 $\text{Q-learning}$ 算法更新方式在深度网络下遇到的两个问题,每次只连续地喂入一个样本相当于是普通的顺序梯度下降的方式,这种方式其实是最糟糕的梯度下降方式,因为既不是随机梯度下降,也不是批梯度下降,因此我们希望在 DQN 算法中也能做到小批量梯度下降,这样就能保证收敛性。
-如何实现类似的小批量梯度下降呢?$\text{DeepMind}$ 公司 在论文中提出了一个经验回放的概念( $\text{replay buffer}$ ),这个经验回放的功能主要包括几个方面。首先是能够缓存一定量的状态转移即样本,此时 $\text{DQN}$ 算法并不急着更新并累积一定的初始样本。然后是每次更新的时候随机从经验回放中取出一个小批量的样本并更新策略,注意这里的随机和小批量以便保证我们存储动作价值函数的网络模型是小批量随机梯度下降的。
+$\qquad$ 如何实现类似的小批量梯度下降呢?$\text{DeepMind}$ 公司 在论文中提出了一个经验回放的概念( $\text{replay buffer}$ ),这个经验回放的功能主要包括几个方面。首先是能够缓存一定量的状态转移即样本,此时 $\text{DQN}$ 算法并不急着更新并累积一定的初始样本。然后是每次更新的时候随机从经验回放中取出一个小批量的样本并更新策略,注意这里的随机和小批量以便保证我们存储动作价值函数的网络模型是小批量随机梯度下降的。
-最后与深度学习不同的是,我们要保证经验回放是具有一定的容量限制的。本质上是因为在深度学习中我们拿到的样本都是事先准备好的,即都是很好的样本,但是在强化学习中样本是由智能体生成的,在训练初期智能体生成的样本虽然能够帮助它朝着更好的方向收敛,但是在训练后期这些前期产生的样本相对来说质量就不是很好了,此时把这些样本喂入智能体的深度网络中更新反而影响其稳定。这就好比我们在小学时积累到的经验,会随着我们逐渐长大之后很有可能就变得不是很适用了,所以经验回放的容量不能太小,太小了会导致收集到的样本具有一定的局限性,也不能太大,太大了会失去经验本身的意义。从这一个细小的点上相信读者们也能体会到深度学习和强化学习的区别了,所谓管中窥豹,可见一斑。
+$\qquad$ 最后与深度学习不同的是,我们要保证经验回放是具有一定的容量限制的。本质上是因为在深度学习中我们拿到的样本都是事先准备好的,即都是很好的样本,但是在强化学习中样本是由智能体生成的,在训练初期智能体生成的样本虽然能够帮助它朝着更好的方向收敛,但是在训练后期这些前期产生的样本相对来说质量就不是很好了,此时把这些样本喂入智能体的深度网络中更新反而影响其稳定。这就好比我们在小学时积累到的经验,会随着我们逐渐长大之后很有可能就变得不是很适用了,所以经验回放的容量不能太小,太小了会导致收集到的样本具有一定的局限性,也不能太大,太大了会失去经验本身的意义。从这一个细小的点上相信读者们也能体会到深度学习和强化学习的区别了,所谓管中窥豹,可见一斑。
## 目标网络
-在 $\text{DQN}$ 算法中还有一个重要的技巧,这个技巧就跟深度学习关系不大了,而是更“强化”的一个技巧。即使用了一个每隔若干步才更新的目标网络。与之相对的,会有一个每步更新的网络,即每次从经验回放中采样到样本就更新网络参数,在本书中一般称之为策略网络。策略网络和目标网络结构都是相同的,都用于近似 $Q$ 值,在实践中每隔若干步才把每步更新的策略网络参数复制给目标网络,这样做的好处是保证训练的稳定,避免 $Q$ 值 的估计发散。
+$\qquad$ 在 $\text{DQN}$ 算法中还有一个重要的技巧,这个技巧就跟深度学习关系不大了,而是更“强化”的一个技巧。即使用了一个每隔若干步才更新的目标网络。与之相对的,会有一个每步更新的网络,即每次从经验回放中采样到样本就更新网络参数,在本书中一般称之为策略网络。策略网络和目标网络结构都是相同的,都用于近似 $Q$ 值,在实践中每隔若干步才把每步更新的策略网络参数复制给目标网络,这样做的好处是保证训练的稳定,避免 $Q$ 值 的估计发散。
-举一个典型的例子,这里的目标网络好比明朝的皇帝,而策略网络相当于皇帝手下的太监,每次皇帝在做一些行政决策时往往不急着下定论,会让太监们去收集一圈情报,然后集思广益再做决策。这样做的好处是显而易见的,比如皇帝要处决一个可能受冤的犯人时,如果一个太监收集到一个情报说这个犯人就是真凶的时候,如果皇帝是一个急性子可能就当初处决了,但如果这时候另外一个太监收集了一个更有力的证据证明刚才那个太监收集到的情报不可靠并能够证明该犯人无罪时,那么此时皇帝就已经犯下了一个无法挽回的过错。换句话说,如果当前有个小批量样本导致模型对 $Q$ 值进行了较差的过估计,如果接下来从经验回放中提取到的样本正好连续几个都这样的,很有可能导致 $Q$ 值的发散(它的青春小鸟一去不回来了)。
+$\qquad$ 举一个典型的例子,这里的目标网络好比明朝的皇帝,而策略网络相当于皇帝手下的太监,每次皇帝在做一些行政决策时往往不急着下定论,会让太监们去收集一圈情报,然后集思广益再做决策。这样做的好处是显而易见的,比如皇帝要处决一个可能受冤的犯人时,如果一个太监收集到一个情报说这个犯人就是真凶的时候,如果皇帝是一个急性子可能就当初处决了,但如果这时候另外一个太监收集了一个更有力的证据证明刚才那个太监收集到的情报不可靠并能够证明该犯人无罪时,那么此时皇帝就已经犯下了一个无法挽回的过错。换句话说,如果当前有个小批量样本导致模型对 $Q$ 值进行了较差的过估计,如果接下来从经验回放中提取到的样本正好连续几个都这样的,很有可能导致 $Q$ 值的发散。
-再打个比方,我们玩 $\text{RPG}$ 或者闯关类游戏,有些人为了破纪录经常存档( $\text{Save}$ )和回档( $\text{Load}$ ),简称 “$\text{SL}$” 大法。只要我出了错,我不满意我就加载之前的存档,假设不允许加载呢,就像 $\text{DQN}$ 算法一样训练过程中会退不了,这时候是不是搞两个档,一个档每帧都存一下,另外一个档打了不错的结果再存,也就是若干个间隔再存一下,到最后用间隔若干步数再存的档一般都比每帧都存的档好些呢。当然我们也可以再搞更多个档,也就是 $\text{DQN}$ 增加多个目标网络,但是对于 $\text{DQN}$ 算法来说没有多大必要,因为多几个网络效果不见得会好很多。
+$\qquad$ 再打个比方,我们玩 $\text{RPG}$ 或者闯关类游戏,有些人为了破纪录经常存档( $\text{Save}$ )和回档( $\text{Load}$ ),简称 “$\text{SL}$” 大法。只要我出了错,我不满意我就加载之前的存档,假设不允许加载呢,就像 $\text{DQN}$ 算法一样训练过程中会退不了,这时候是不是搞两个档,一个档每帧都存一下,另外一个档打了不错的结果再存,也就是若干个间隔再存一下,到最后用间隔若干步数再存的档一般都比每帧都存的档好些呢。当然我们也可以再搞更多个档,也就是 $\text{DQN}$ 增加多个目标网络,但是对于 $\text{DQN}$ 算法来说没有多大必要,因为多几个网络效果不见得会好很多。
-到这里我们基本讲完了 $\text{DQN}$ 算法的内容,可以直接贴出伪代码准备进入实战了,如图 $\text{7.2}$ 所示:
+$\qquad$ 到这里我们基本讲完了 $\text{DQN}$ 算法的内容,可以直接贴出伪代码准备进入实战了,如图 $\text{7-2}$ 所示:
-图 $\text{7.2}$ $\text{DQN}$ 算法伪代码
+图 $\text{7-2}$ $\text{DQN}$ 算法伪代码
## 实战:DQN 算法
@@ -72,7 +72,11 @@ $\qquad$ 这里 $\text{DQN}$ 算法也是基于 $\text{TD}$ 更新的,因此
### 定义算法
-由于 $\text{DQN}$ 智能体包含的元素比较多,包括神经网络,经验回放等,我们接下来将逐一实现。首先需要定义一个深度网络来表示 $Q$ 函数,目前 $\text{JoyRL}$ 算法都是基于 $\text{Torch}$ 框架实现的,所以需要读者们具有一定的相关基础。如下,我们定义一个全连接网络即可,输入维度就是状态数,输出的维度就是动作数,中间的隐藏层采用最常用的 $\text{ReLU}$ 激活函数。
+$\qquad$ 由于 $\text{DQN}$ 智能体包含的元素比较多,包括神经网络,经验回放等,我们接下来将逐一实现。首先需要定义一个深度网络来表示 $Q$ 函数,目前 $\text{JoyRL}$ 算法都是基于 $\text{Torch}$ 框架实现的,所以需要读者们具有一定的相关基础。如代码清单 $\text{7-1}$ 所示,我们定义一个全连接网络即可,输入维度就是状态数,输出的维度就是动作数,中间的隐藏层采用最常用的 $\text{ReLU}$ 激活函数。
+
+
+ 代码清单 $\text{7-1}$ 定义一个全连接网络
+
```python
class MLP(nn.Module):
@@ -93,7 +97,12 @@ class MLP(nn.Module):
return self.fc3(x)
```
-然后我们定义经验回放,如下:
+
+$\qquad$ 然后我们定义经验回放,如代码清单 $\text{7-2}$ 所示。
+
+
+ 代码清单 $\text{7-2}$ 定义经验回放
+
```python
class ReplayBuffer:
@@ -123,9 +132,13 @@ class ReplayBuffer:
return len(self.buffer)
```
-前面讲到经验回放的主要功能是,存入样本然后随机采样出一个批量的样本,分别对应这里的 `push` 和 `sample` 方法,并且需要保证一定的容量(即 `capacity` )。实现的手段有很多,也可以用 $\text{Python}$ 队列的方式实现,这里只是一个参考。
+$\qquad$ 前面讲到经验回放的主要功能是,存入样本然后随机采样出一个批量的样本,分别对应这里的 `push` 和 `sample` 方法,并且需要保证一定的容量(即 `capacity` )。实现的手段有很多,也可以用 $\text{Python}$ 队列的方式实现,这里只是一个参考。
+
+$\qquad$ 然后我们定义智能体,跟 $\text{Q-learning}$ 算法中类似,我们定义一个名为 `Agent` 的 $\text{Python}$ 类,包含 `sample_action`,`predict_action` 和 `update` 等方法,如代码清单 $\text{7-3}$ 所示。
-然后我们定义智能体,跟 $\text{Q-learning}$ 算法中类似,我们定义一个名为 `Agent` 的 $\text{Python}$ 类,包含 `sample_action`,`predict_action` 和 `update` 等方法。
+
+ 代码清单 $\text{7-3}$ 定义智能体
+
```python
class Agent:
@@ -162,9 +175,13 @@ class Agent:
pass
```
-注意,这里所有的代码都是为了方便讲解用的演示代码,完整的代码读者可在 $\text{JoyRL}$ 开源工具上参考。在这里我们定义了两个网络,策略网络和目标网络,在 $\text{Torch}$ 中可以使用 `.to(device)` 来决定网络是否使用 $\text{CPU}$ 还是 $\text{GPU}$ 计算。 此外在初始化的时候我们需要让目标网络和策略网络的参数保持一致,可以使用 `load_state_dict` 方法,然后就是优化器和经验回放了。 在 $\text{DQN}$ 算法中采样动作和预测动作跟 $\text{Q-learning}$ 是一样的,其中 `q_values = self.policy_net(state)` 拿到的 $Q$ 值是给定状态下所有动作的值,根据这些值选择最大值对应的动作即可。
+$\qquad$ 注意,这里所有的代码都是为了方便讲解用的演示代码,完整的代码读者可在 $\text{JoyRL}$ 开源工具上参考。在这里我们定义了两个网络,策略网络和目标网络,在 $\text{Torch}$ 中可以使用 `.to(device)` 来决定网络是否使用 $\text{CPU}$ 还是 $\text{GPU}$ 计算。 此外在初始化的时候我们需要让目标网络和策略网络的参数保持一致,可以使用 `load_state_dict` 方法,然后就是优化器和经验回放了。 在 $\text{DQN}$ 算法中采样动作和预测动作跟 $\text{Q-learning}$ 是一样的,其中 `q_values = self.policy_net(state)` 拿到的 $Q$ 值是给定状态下所有动作的值,根据这些值选择最大值对应的动作即可。
+
+$\text{DQN}$ 算法更新本质上跟 $\text{Q-learning}$ 区别不大,但由于读者可能第一次接触深度学习的实现方式,这里单独拎出来分析 $\text{DQN}$ 算法的更新方式,如代码清单 $\text{7-4}$ 所示。
-$\text{DQN}$ 算法更新本质上跟 $\text{Q-learning}$ 区别不大,但由于读者可能第一次接触深度学习的实现方式,这里单独拎出来分析 $\text{DQN}$ 算法的更新方式,如下:
+
+ 代码清单 $\text{7-4}$ $\text{DQN}$ 算法更新
+
```python
def update(self, share_agent=None):
@@ -201,24 +218,30 @@ def update(self, share_agent=None):
self.target_net.load_state_dict(self.policy_net.state_dict())
```
-首先由于我们是小批量随机梯度下降,所以当经验回放不满足批大小时选择不更新,这实际上是工程性问题。然后在更新时我们取出样本,并转换成 $\text{Torch}$ 的张量,便于我们用 $\text{GPU}$ 计算。接着计算 $Q$ 值的估计值和实际值,并得到损失函数。在得到损失函数并更新参数时,我们在代码上会有一个固定的写法,即梯度清零,反向传播和更新优化器的过程,跟在深度学习中的写法是一样的,最后我们需要定期更新一下目标网络,这里会有一个超参数 `target_update`, 需要读者根据经验调试。
+$\qquad$ 首先由于我们是小批量随机梯度下降,所以当经验回放不满足批大小时选择不更新,这实际上是工程性问题。然后在更新时我们取出样本,并转换成 $\text{Torch}$ 的张量,便于我们用 $\text{GPU}$ 计算。接着计算 $Q$ 值的估计值和实际值,并得到损失函数。在得到损失函数并更新参数时,我们在代码上会有一个固定的写法,即梯度清零,反向传播和更新优化器的过程,跟在深度学习中的写法是一样的,最后我们需要定期更新一下目标网络,这里会有一个超参数 `target_update`, 需要读者根据经验调试。
### 定义环境
-由于我们在 $\text{Q-learning}$ 算法中已经讲过怎么定义训练和测试过程了,所有强化学习算法的训练过程基本上都是通用的,因此我们在这里及之后的章节中不再赘述。但由于我们在 $\text{DQN}$ 算法中使用了跟 $\text{Q-learning}$ 算法 中不一样的环境,但都是 $\text{OpenAI Gym}$ 平台的,所以我们简单介绍一下该环境。环境名称叫做 $\text{Cart Pole}$ ① ,中文译为推车杆游戏。如图 $\text{7.3}$ 所示,我们的目标是持续左右推动保持倒立的杆一直不倒。
+$\qquad$ 由于我们在 $\text{Q-learning}$ 算法中已经讲过怎么定义训练和测试过程了,所有强化学习算法的训练过程基本上都是通用的,因此我们在这里及之后的章节中不再赘述。但由于我们在 $\text{DQN}$ 算法中使用了跟 $\text{Q-learning}$ 算法 中不一样的环境,但都是 $\text{OpenAI Gym}$ 平台的,所以我们简单介绍一下该环境。环境名称叫做 $\text{Cart Pole}$ ① ,中文译为推车杆游戏。如图 $\text{7-3}$ 所示,我们的目标是持续左右推动保持倒立的杆一直不倒。
-图 $\text{7.3}$ $\text{Cart Pole}$ 游戏
+图 $\text{7-3}$ $\text{Cart-Pole}$ 游戏
>① 官网环境介绍:https://gymnasium.farama.org/environments/classic_control/cart_pole/
-环境的状态数是 $4$, 动作数是 $2$。有读者可能会奇怪,这不是比 $\text{Q-learning}$ 算法中的 `CliffWalking-v0` 环境(状态数是 $48$, 动作数是 $2$)更简单吗,应该直接用 $\text{Q-learning}$ 算法就能解决?实际上是不能的,因为 `Cart Pole` 的状态包括推车的位置(范围是 $-4.8$ 到 $4.8$ )、速度(范围是负无穷大到正无穷大)、杆的角度(范围是 $-24$ 度 到 $24$ 度)和角速度(范围是负无穷大到正无穷大),这几个状态都是连续的值,也就是前面所说的连续状态空间,因此用 $\text{Q-learning}$ 算法是很难解出来的。环境的奖励设置是每个时步下能维持杆不到就给一个 $+1$ 的奖励,因此理论上在最优策略下这个环境是没有终止状态的,因为最优策略下可以一直保持杆不倒。回忆前面讲到基于 $\text{TD}$ 的算法都必须要求环境有一个终止状态,所以在这里我们可以设置一个环境的最大步数,比如我们认为如果能在两百个时步以内坚持杆不到就近似说明学到了一个不错的策略。
+$\qquad$ 环境的状态数是 $4$, 动作数是 $2$。有读者可能会奇怪,这不是比 $\text{Q-learning}$ 算法中的 `CliffWalking-v0` 环境(状态数是 $48$, 动作数是 $2$)更简单吗,应该直接用 $\text{Q-learning}$ 算法就能解决?实际上是不能的,因为 `Cart Pole` 的状态包括推车的位置(范围是 $-4.8$ 到 $4.8$ )、速度(范围是负无穷大到正无穷大)、杆的角度(范围是 $-24$ 度 到 $24$ 度)和角速度(范围是负无穷大到正无穷大),这几个状态都是连续的值,也就是前面所说的连续状态空间,因此用 $\text{Q-learning}$ 算法是很难解出来的。
+
+$\qquad$ 环境的奖励设置是每个时步下能维持杆不到就给一个 $+1$ 的奖励,因此理论上在最优策略下这个环境是没有终止状态的,因为最优策略下可以一直保持杆不倒。回忆前面讲到基于 $\text{TD}$ 的算法都必须要求环境有一个终止状态,所以在这里我们可以设置一个环境的最大步数,比如我们认为如果能在两百个时步以内坚持杆不到就近似说明学到了一个不错的策略。
### 设置参数
-定义好智能体和环境之后就可以开始设置参数了,如下:
+$\qquad$ 定义好智能体和环境之后就可以开始设置参数了,如代码清单 $\text{7-5}$ 所示。
+
+
+ 代码清单 $\text{7-5}$ 参数设置
+
```python
self.epsilon_start = 0.95 # epsilon 起始值
@@ -231,9 +254,9 @@ self.batch_size = 64 # 批大小
self.target_update = 4 # 目标网络更新频率
```
-与 $\text{Q-learning}$ 算法相比,除了 $varepsilon$, 折扣因子以及学习率之外多了三个超参数,即经验回放的容量、批大小和目标网络更新频率。注意这里学习率在更复杂的环境中一般会设置得比较小,经验回放的容量是一个比较经验性的参数,根据实际情况适当调大即可,不需要额外花太多时间调。批大小也比较固定,一般都在 $64$,$128$,$256$,$512$ 中间取值,目标网络更新频率会影响智能体学得快慢,但一般不会导致学不出来。总之,DQN 算法相对来说是深度强化学习的一个稳定且基础的算法,只要适当调整学习率都能让智能体学出一定的策略。
+$\qquad$ 与 $\text{Q-learning}$ 算法相比,除了 $varepsilon$, 折扣因子以及学习率之外多了三个超参数,即经验回放的容量、批大小和目标网络更新频率。注意这里学习率在更复杂的环境中一般会设置得比较小,经验回放的容量是一个比较经验性的参数,根据实际情况适当调大即可,不需要额外花太多时间调。批大小也比较固定,一般都在 $64$,$128$,$256$,$512$ 中间取值,目标网络更新频率会影响智能体学得快慢,但一般不会导致学不出来。总之,DQN 算法相对来说是深度强化学习的一个稳定且基础的算法,只要适当调整学习率都能让智能体学出一定的策略。
-最后展示一下我们的训练曲线和测试曲线,分别如图 $\text{7.4}$ 和 $\text{7.5}$ 所示。
+$\qquad$ 最后展示一下我们的训练曲线和测试曲线,分别如图 $\text{7.4}$ 和 $\text{7.5}$ 所示。
@@ -245,4 +268,4 @@ self.target_update = 4 # 目标网络更新频率
图 $\text{7.5}$ $\text{CartPole-v1}$ 环境 $\text{DQN}$ 算法测试曲线
-其中我们该环境每回合的最大步数是 $200$,对应的最大奖励也为 $200$,从图中可以看出,智能体确实学到了一个最优的策略。
\ No newline at end of file
+$\qquad$ 其中我们该环境每回合的最大步数是 $200$,对应的最大奖励也为 $200$,从图中可以看出,智能体确实学到了一个最优的策略。
\ No newline at end of file
diff --git "a/words/\347\254\2544\347\253\240 \345\205\215\346\250\241\345\236\213\351\242\204\346\265\213.docx" "b/words/\347\254\2544\347\253\240 \345\205\215\346\250\241\345\236\213\351\242\204\346\265\213.docx"
index 2f4f98a435d91bba58f1769413efb80eff31d838..2d4a2996434c1e48ed37c80bc9e186efec337a3d 100644
GIT binary patch
delta 18366
zcmZ5{V{l+i&~EI_#!1d*c#G5D-_4dPKMvCV<^3L|=3yE+29&6*D41)dobj#5O7y
z#_bL)T4eQ93q_F1GVpVBNYY38{JhFJ;DWPsx4{lYKhPCrytyMA(*o~Lo8chMd)3j_UJ`V
zEMTHP+lr|xH`ltHyEZoknL~u5E2kvELM4@wh&I>JbntzFjb4;B(!y7u!Jt2|p6cFz
zBn@ZYcd?pPeajLT{$WjpF^+t#X;a?$6#n4Vt^C7_n-xaAyVF2OA(qPPUJlPplma=Z
zpLgkQon(4w?)*lPK)U@rhE1U?Y4v5~JAi5$3=u{3x0#gxYov+qC&f`YnZ3dWxEyxQ
zW1&fa`D`H-XQNxSSjXBafAz`J(GKTW)TI6+A=@GUg1b3>r-PfHehi#
z+A6YOHFIS@W&PD!jQ?(8-9@-K?P4g5$xatJ7ZUS@!T!lT^=dR9>OIZxnl4@6AKe2J
zRMqfydKL$|g7wGBC2}%g=#WT~mN)4@?+PAAZ3GR6F5;Ap)A75TWK{LTgK9ZgSf=l6
z@=`<0!QoNdaFOI2{Ofs{vTt0l;$Ac!fCvif`+r3N*Z=6hT`gz6kw#}V2
zzrksPXXB#aZrB%L$cInBx;y2!Pfi3jkxAdvc?iZMfZnyD*6jF|_-K-hXF$5-S7p8u
zo|ZccZ(W^EbJgSZVQ>MYf+F^=Ga190pZ$ZmQN
zL}0?u7&;p0Ap$5(#t=}1@oXc29dTpx~WbyhTT74AjY?^`L&Hf@@3gf;JTvkeUmO$t&tRtGu5Ztx9s
z%CY(_)&k|4$ueQSWR|&7VX1H&lFLz=AP%<00$L;j8a5?!14on?Ae)DT;scY{l&L%$@Mv_DS_%y<
z8Vy7^GG)VmI%6NX%PMPFqfVKqm=#QNM+6>H(S-bBkc1vmRpPLH1`1|#PISV-Rs{m0
z74QbQH7@cqSkUGufj!ay)^7i5IPSmJmTov{|80
zV`aA?G_y~x+SO#FFS8@!A%m)D@>pra(l@Yeui2OuDVS|gE{Ty@mXj>o0@T}f`LkdW
zST!{5O|-k)fv^GG^~mX#mh0Le>d}g2v)F8VVH2AB{ZC%|rh{J+skpI598hZJ9Yg%M
zL)-(kESXvZ3$DMDZ(n?ZXY#(8OLNr9k_8UbY8$h|?Ro=jik#8XSaltac}Q6}Nehvh
zEZcc5(0^JKB<)i4P;6~2D{J3ET0(gzi(B*qYIJaf0VgCdNg86<(`Z`0-C>3|<(2MB
zox8snj?Lw^zC^Ud1W`Me^P@xO1GDXzNbJ?$EE*WT$9{G$YvjziyWNj+1uMUftM62M
zoYwYgO{m0y{6<@mNq4Tmrvy<1IpqLZd@?)x8Q1uY>|*`8XaDYXiZw#j60Roddb-m#
zmN3_S6o_Kn$iA*Bp5>r(@EJRS%YoxZ|NM;Wnq(M9VsYK|Gj>zf#ui7FWko>cNDxuA
z54GcM{Fys9(QFXH|0&@8jEwG)+|@(gLW%hozucF;zh=T=;qqW4kD(4Z(+z1&aB5Z1
zL1g#!vcKS~bGhkI5tvomK5_qA-_Qf^)|a+k0(|PP{O=YAZCOnNkpl*P_9Rj+>luqM
zeENa;6z-ukK<6mNzF|80#!^rqd>MM@Ncx-XNhtvj0~mtX+vE=-1sR`4^J?1C=HiWu
zMf$>xIdWcSdAks}e?!osrPbJ~NA8RgSUSU79~7j`8@6u}Prv2Y^*
zo!buZWy9Yw-FrMDwi!UM)5eG97T>pYX3AYiWygA>t_pOu~vmnk;ob@G&MkB1<*P%1-F83cQ
zQ;Cq)*Ttz+OM0GBApc2?SvYo3N0KtbOExH48cDzSi#W(_u$CC{#;1f5eFm;s1rXcQ
z!uf@Y4%yi2P{!sm_B8#bDy?W)N*!WX7D6AX1h;xBt14EQr=r7D9-?$aU+HqD1?mkM
z1TPYa+6uLA#S3l^@~{Ti!lb6a3}c(S8IM@%*yt8{9(P3x<0j1AC~MZDWDoT}9OJ
zszr|}952u)?AkMtV5eJ&)o96Uq!OkA@?#cw4-TncvL;dcGru=w_jn*D3_}V>f*Hk$
z!DC1~7MbSKHjm`ACYM+2ILI`b*cpS$6Qw)VYBPHc!Ah$jLxE23jj}H`3`~lSN5kZl
z{!|7nHtK$&Ye(cZQ*J*uY(tVIXSO7!TJxMNN;Tn5sI%X0y@Fe3`6++g&ofOH@#9YK
z9PY_f<7uC;SvHwF5`k1K)Yu5~z3aSoLD`4M{q5ts{l~YX_44RfvSkA5ZEH@_@;C?rA8KgI60qRE9oAM6yoKi{#riT4lv)Blb7eP5aqB
zDeqfwDUKgoOYVrXk+TT;#k`-Z;B)JxGsEA$O_Q}`fATu#zd7hL!MjmW03}zQKVB;i
zms&nu+Pmttw>8-`1d?x_m45nE$=dbqG`3X8cMC?D*DcO=*-#v~2m%3L;2NcQTH@4)+2`>i%LPR<;cJcni@c}(G
zy&j=D(Y8C^4vEbc>fWQ&SL_;Xq`P+gjme56lSrGj=D3QdU#1EdFJOk05ZEze#SAa4K{&jPZQtZ#;w7m8&+-F{#NamUkMD$Y@4X7D@pFQ#Ph~H~5
zC8gdKDcB}6R8?nooD1Val>D3K;Y_U3EbbP<0Oo1mZtTZ)uy?_>@&*idJbgm7sn2Y9
zqz<)D2CR~9Np-@0*wfx!^|1OYk+|EMC3(eq92nfvkRWrZw*}F)_2&h2y-il3Ap%
zsh#e*G{Hf9GHS+J<6Z$51Sx;xeBuZuH!_92al(8mF(3ghK`18x=OF+1Oo0(%`t=V#
z?Kg<*-VsI~_Y8taW+ZW0_MfLx-yB(kx+U?0kX@egi29wr;KU60%QX|W4q`BI(9fI6
zez3uWi5{q&e6?YnG`RSChnBWy6OFru+v?1&3
zM+Ujg(*yXU-)P;dSrM5|5O34Qk3d5Nfa1Pdpe&zwGSt!w#X9F?jc!_9b-$iN+)u+N<*0i=Q@rkMw?RK{J~uxw>qj3{g}P5s|NjHnhpDOQ=;5_h~@tFKFT-
z75gkuX?z)~k7{4mS(4w3+`%ZkmgoFd(TWL`6#z2#-$FOE2Emmp=&vdgS^KFFkX2Dv
ze{uo0Qh`wN*o8I{--K^XaV_C?Y{k<$qTHhp>lE4vun96X5j%^?>X5T!sAQnOh4TMF
zn!$L-LTn&A%-e_m4p=Xw@2XNvVi$Kyk6NG4#qe`F!gV=FrI8eY
zK$7a$ZCvS%qiq%D%zm=gr16iz9ocAJ!GE5F&Jq~#@ikk%kXqv~{9p*Ctqm8yG@
zzDm2^k2S?*!wBDOO
z&ne3siNTT>g6KRob_!{NSxobRvP(e@_3RJ{Rqaq8WeB$Ic%wU2eD1QCHdwJ
zSFTOe2vu41$hUJ+;UtW{F#-@yp`~mU{H%}*$HfJPhH)j8Kx?da*;fVs)`vuKH`v~x
z-0Y+0tl9<;PX6)>sTH|0x@r*BS&0+s07*l*FA6#OIe@{f@plZ_cqW0V!Y%^$=iH%a
zy%%ecAEW#AGNXRhg7i$R-C9Mh-WzYR-(;A{1$(!ix7qLeWe
zwc9B!ox5tuAhxgOQje|SiN$&L9MB6Z;H$iDyjq`AxHE{Pj1-23hT5b?rT5vGutqb$
zhF%7%yh|Q+(WKZ`&H?ys=;|&FMP~$gSWPmkrloW^>MyfaiF4t@G?Sa-rUPCiT`qRT9ltS)(kYX8+u8KGnxBR5J+-9hfxlJ1`>0r&lNN}uibuo(+Jda#SvOACD
zm%2@(T{suAg9EJCmp+%2zD1P|pSgH;K)IF~K6!K^ra&u7Dt$|^(h=d08iyrLyRa#9
z1a(R?gIJ1jq0`G4w(3?XJNt`?4lB~H&e%BP-{YF1Wk55K9k7oMmmvA>%yt`DrqR8~
z1A0Jg;H>GcI
zm9G-`JLHAnMk~{?6m1nXXm!KIkksQmQE8>NM2nBpCI?x9h1nsD+UhQIY5vZfZ#I`}
zs-i1*fetvKmOOT_^qW6M-ar!9`zu0`%|93V^416k@}TTz72YuFgGPwro!$(y>|A(|
zS5j$$c|lsAU=qKi^K(=2Y$M105a1R>!8Za|AAoXj1hL|g+U3ZDmbe=(-wP9Ed=gq&
zx0(vX7>kYplC_kLFrJ=zi_x^!A1OgWAvVOVR{*&?8mUZB_&X%?nqf%$rJh4}P;4+}
zbsQ7+6yg#8B(~ifwN>`uL17ErN>%-eC4!tyD9e(vF03rMocS;;qD4$4-`4Qc+f~{4
z)S)D2e3_}&3}nhT>&DE+oq;sUalNqOK+s5dG19gk)|Zfh`#;wtbQ6VHbMRH^Cv
zEPy7AwS}6gJt#ZLhH?o~P8v9TJsCh$^&!>j=J1S+N8rCGPQ=!Gw3YWqGhJ|?K00KB
z#gGn`x6R{LO5-b-#fHZ;TqwXtOUBlqpGZxxVlPqyvMwM9ov~dbTUuRlOP3?N@#iLA
z`?z{z)#&9zdMA53{H(g$p({rQi6A|!6ELj|Gf8gX5onzka}NJY+6?(;kZF1{n=gkL
ziy-%2F}QBcFlCzLdFJ^8Ya(Tb-cCJD-+(aVOThF*Ze{1vcf%qG0=a+_uKTjIVD7#J
zlIMHv-3JV<>7?<1Vcd`t;bRtbX~TVW=9{|bzB~K`zFz`2?@(2h0*be-9-eTiS^(ra
z%R#Udk7j^W+-bou6%+5Q7Ko(_Cv>Jb3Pja5$=^*89jj{=%0L-
zKaHDG4AwHUB?~e4>AzR`GT0aLY|jRwMq8dAyBumrc?9m(`o?{O7o^XOsH2KIdh0j)
z9(6o_4AVg9U*IJo_NTB*h}$c`i~^j1i@zfRw@vD4V3O!^Bk(2kOoVtzWf{
zR(%W{uaOVN{xEUTZj4}_p6}8p`ztn=5iwv3AD~8TfBJhBvXqS#o~TnhjFo`28V?N!
z{7y|@7-_G!C%XBp`qPAX6yIgHJj^0s=nkK+UL7$8zSVrjpy$vDJ2zyJ4lsPhsvL=*
zNWem2`crN!@r)1V_=(D?M_tYNT5(%8%3;9VTBe6t^XvtMM__Migyv}5s1XfL8LbxC
zcgfVcG38`@cU$HI9RW8H+}2^mZdj!q>&77cDv^9!aHF7sOC^K8z6h}lRXGOw**4hj
z^byN&^X|MVmiV!q&O$@B4WNHE$Lf(!mIAoBU3+Ujh&hW(^95=;VeiFC8&O{{A-+8p
zDb{XemE}wU$>_O>JK>9^&lXjTew0OisLjA(eWH&U>Ja2X7FlmUm!Ua$#U$D`4-((R
zZ&dCBzBgC*6>%nsJ-QVgG(NeY0b?v3367Lg$M4@G|D|2Xc5F~0@SW0GM(%I%b=u1<
zs$vZ(FB&`C-MWF)>!iPqnoQxqM4r=&H5R6%bIC#%vrn
zZ0MRsgS1Hyb)70hP%ba6poeMDh0p@Qe|th6n1BOT}CkUs88DOF=#4oqumg3092ej
z4z_fAYnip)(Lw#-Ui0YgHMb4S$8=-@lur{VRi@SCkCOJkl(0u&aHJhIWi+@nLh+Y+
zMyZ7#8@W~!T08p`9Wagg?uA(d5&OvLa5EF%yu!_9Wa!U3l%?&%q4u8;KVy3ZIUcac$*}^4-HJuwWZ!2&e4M`fDcC%F
z!^Kcy#^hbvVPv{Mg^9O}Ew3xaMupOB&&t=Rb{Q((V`s7_{t-qgKB(?5$h=n#om;v7
zUa+ej@9H6C1hZ9alRh$M`ens79*8LNv7L{vAq@sEc=0kB5`AOWqg{ZH=P
z?uErpwhPD=BTf;i&evC>f;M_RJ@gV71b+KfP@<(a1Avqfkr?r}Eip~cB;gShjX0X(
zm@(mc_o5vvXmiJm@kG?ua7OCw;Rb
zQ}iH7Z!4P1*`SHZ#4<&7-$5;y-E^i{(7}R80-Ya*hzGA5ouCoZ&5OF
zW?Ae!3xLKoFrNrv>}Mf)-jF~KG%fqeGc?|+YXLcqeeWu$c({p%cH2+pz9?d2R^fSe
z%2Uw5AJKj6Rvt`NfjVk*GbNZXbymNIJ|xTu?B?Ro8YP!MB>LGc*Wwn|s3rCot60;juH
z6FugNTxBN|{;H6LXST5D9S@J1{?0nEOMs9)vi*0ni~5>wCGWEF`+DLuwLR{7Cs=SE
zoV88iWA8ruF%c~$wFAMR-6e8#@Aa-BTNc8{92^7PS;cZ#j&q28$38X&)VA0x?dwu%
zGV7qI-8zf>RD*_YHAX%4PNExT0b{^$h-fvM7o-W6SioIxX<-}o!GtOq4qMPspBii+
zJdN)@rwo~0Xb}=O!jPTjSVJwp)G)Gw0k&12TCFu*8I>*_<(Kv5l$FGv8X2?$@BM?$
z>|SiHAG0QGQ5a8OT2pVPEpQlLQJLnZFA{5s0j(e35*4-4AP^mnDG~$p=zwv8z`BSz
zo94)cC`wDh9?*J?Ug%Y`@AlhF!?r78w5>FlcthFtq1)L38SUWXS@??Sa9vIxG}Epy
zaiT&mZU>*AjcK&H;LEUQTU;@I3??
zVMP4?ZY*ZuWs6m4NK%38(12}mSq8DmUz26faN+?($1EHJ5`46@!R=!E22Qp(`fMWYW4?5Ifyj1Ji}55}
z$CNEoB{uEgxY9wr6#?gbCbUcPPAWR2?5Q0(U!}_K$9)gN|iRut?w25
ze^Z>B>Aw`Wa1mX?#LYC^v~!Ur`t#M`4YfaU4SPDhT3_O;|{R5E91bBJU$gchX9F?9ArZz*w^?^vmBJdq7y
zHhej>G<~$guLFhb732gVi|ve6ODfg1cUpYm+#c42&`Ki?EfwLibcJl|)hQ}0csojl
zvAB_OZ?;Znqp5d;TD`5WZKLd@18~E3Z{IiQ{}Q`i-t-q_qP8|%{kzf>SbezRFn9_V
zDil&8odtY-y+$2a${Wf*g`f;yf1p|lmXZ+*4%dwE8*-Vr8Qll+2{VNq9SSL|F&4bJ
zF&4t=BIwjA?9>YM-vicsY6V_P`roU8Q+y9=Dg+RaF-8y&WDpP#cY7xj24_B!1~wy^}_QQ7(ak0)G7
zwYikxsHQN{fTcrW#4wg=gfP~(^PDU9ht>AFv+|}^K68GuBXiSwI}TN6ci&IoEyLqi
zcFu$FtW9K_?bz8}SRMb@(Ovh~#p;KuJ|ej5*|dbny#B?~^3l5CioUMij3S2RAvUB2R30Q^L1^o9{}}B;%yVY7*PY4EsmZ+EY}+=93huLpzM;lX;X!
zb9sv26YWdn!B+F;q2s`E2?yee`$gNix6@3O9$H0ual`>;Ai>dRz#$*KBZ_FhCbRFW
zhVz3h*fS>BeVfmhE%RJKv^363ZKllx1Xzj
zHlI1L9pBAgHM(-v#D8Y;7vtUJ*}9uQslU}}E9WW%{u+HbfZ2#o|LuDFc;u#m-&V!T
znt^F5X!~P#rKulzODzL%YGgP|KgNf-cpW|@Y&Q~@E?W})Ko**v*{TXPB8sVg{X24Y
z=cZEmwbn*z;IpS<_tkffyJG&b
z$(k%(Hs*U(%?=vfTEF#Wv@W*|svp-1-6xS&`GXsb4~SP!4LMa!ix=10Tndjlxkh(a
z!u%a&>9?Yqo3>#olNn4~W?a75{pEXkya@HfKa$k%KBcVz>quR$pRbPczMFPqzgEJk
zUSAQI5jmNkB`7b8UvwfIPIv
zLqq+cIwBe+-P>gu_7~cv#ZOnZ!^D)yQ07&Ac1>4rZ8ugy(b7}45S7Kor^KwI{b%(_
zX@s{R?s-IjB)smdxe7nj?P<@jn_T+~$kqwGq?#&O*^ntUdcVdExi?-OC=$D6wC2v2
zm*`7sq!Mv4(inhY5i}6-Fk~cY?Y~PESua567mwylgzQyA{E%aJ2(c`<7r$tj{lq4qzD|k_tU!WS*&l
zoiCC4j^#No=W>Xne_&LFIZ`o~;G$BG$9g}ThocD!<07GS4utO_#3}M%&N$0pU(~SD
z8T)S-ia~*T@{-_Gv$9D>9*v5{4wg^U;fzr9=RF~H$A{DM-9VDHi&t%RC(2T~Fgcu5!tF3Hh0`tx&
zmNB-!`~4HV9%~wF`o@cS54TCK2z<(DBXUCM@|vmJ5cip^D4uu&cefU5%LI;;Yn-_w
zn@BXa5>?j7@DVejVfH6U8$MzC=`_W7IB6%z57w&b=6~8f*gPC8u=RkC$Wu33Wk1
z_3>9Deu8lVd{p#wM+$b7L@ZdsAvQ%z;RfWFiV2*ww5q`j{~R105o#eD`_6+$@@^-f
z=arAU)FT}!9=_kVW2Jxs4{=|LFh_F^S%ydUsKdC?#}rwsBV37&N*sism|4f1JoN1d
z3)!V?C|pI#;M<>C#5DmbI3FxcDeMq;b5ZYl{|b@;xMM=m2ezt~-;yQ+#?d#h8)+(I
zC66HzMV&*&v{5aO>huwa+6%C2VNCgeFx*{+6UE>IB{A}{&zN+~lUI^+Y<*N@0^~7Q
z7EDTiY5~a(L^Yc!pfhaU%WIaDEcI7PLi&R9KCp-w>QJxJ_3+v&Iuc_#F&%H&p1a@<
z?>=s-A!24}ZEh6eR!jR9Dftj3=1D9|nS?(;!8F7c2_b|-gye!HJ|b8ntWXpvyv9}#
zFHo|u?)RV|a!0u6fsHmGO&Z6R#29wusB+bl$|5Hn#Cvqo5yf_`l4Oj#ufpG(
zKE3~kEjhWI)<_#VO^Qc;24fkpr-+15*P*g)!j5kJ&AFG0sl*NJQpX?#yoeS3f|~B<
z>VI&R8ZJFJieNy(H0+WqECPoSS-=v)LKYK>RdTH4*{D~VOvHQru^71f8WVd=kkhP8
ziqBX3N6b;jv$%9ARn?NhCbqHYlzR}zWN4R~yKw-?#(Er!55I`M7W51_9R9lsJFuHY
zRrs+Nyy-;mfG!|$ovJGM>kwv?5`U+?AsRlkyf<3T7R)M3vhv%$V3Ee&4VExAM%-uv
zPhN&>W*}1v7sa(Eg|pU4UKVpSb-Js2+F3Sau?x
zD)-ppXT0-FDF?P=9%S4%)@4t)v}3Sotn9FBuOGy}KsD@2C!6
zH?S|6w-7Dx@Tm=rtSOx*8S6C4aw+IL)XbKkiD6~beYq(O`Wr0CB#wKbs^q~6H{t%$LXgbCtH413jMCNSK9Y6};(w&gTh2n+8)
zv5qx>JzT{DfaZxaYz<=%N4tMcSxl|-??h70b7UQoq4pU@FXiiD6TKhW(SI|tL+dII
zM~i)a8j{!zx7RjS02OzLKGh)Aol^LEU%j;Q+55?dlffSomp$cn2cv&(*H*^q&C3VY
zh3CEDVz0YM`z-6Z?shOda_Ug;kBP}La~0VZt6QrF_*3DZ7ajR~dj9mS(#PD~Ox!Sz
zLu|4eThAddjk#hNzZ|aOJvYDaqItYCE-Hjiyn7hFEVBw#U$nFQw=*a=RZ({NPAC{=
zb~oN`S2v&Nd08E5+nPZT(n+12Eu1_#cvXI*si1iubWy(d`riN8_rqEBwGPR_$|SUHS*#`7sgy!6Rlg#0{>H-#4kenyt4
z^0rQviSo8qmdf(BUY7I5>yL)|Zmx?RoqWJMXVZ3*>*iKU2B!QorffZO(NW6w8^PU5
zd-fKr-<S8CyTDm&{NG>BvzZ($|g@I{fD7iN7bvL>Sa_F
z)|y@KCzGL!p6%L$G#vdaYa=ds=^-cIq0uR_8p}Ijq0s)s06eLZGcjrv!;thMJQtr+
zK2D}%`KNdEJ8
z^awzSrVvHjM%y*ow?Qychvzbr1#yB1W^!~k*J;|IU!(g}n=xS(sAs~|W0IrF2;;?3
zp7z2LljiyrBJtbiOi&SpZoR_0_2krAN}PxA`}gUneFnc5L#A#|OxvdV#oI-?mM1&=
z`~#NI(fEyJ#O~#F-8CLV*7pXqyN_PhI?(``_=$!
z@_N|Q*-80&@uuAeBbH6E{H#%3r~X7y#-iJUnLEEO9aK4oz1h6QwO^wrp1^mH+pndJ
zMbDW#;THBgkgXKGt*+1=T24Qp
z1uPq}qN0RxthwYpPx{JZ)It#Q+d#-7>dYv;oWu6OfpW)a(PIGKI6MVRsRZWkLgq_O
zS{EmO3KC}0@B<*}Tn$=TxWLwjH~%XCpmvBmBl2{w%ixi1f)PTDIod5)HbfGy62(!d$8B%3!rT)z480vV|NIVX4*Fwy!?Qiv6}u&R
zcg0s#@WFDs?0IYbx?oqEeYFk)1AhGGx5f;luukmpzu5z$UFU>QC(5;soO*bEIzvsy
zuWzsGo5L@=<%!^_T-8FE8
z-xBm>n+j|WD#d^B61{dvwCGhE(;O47AB)oU$
z-2n$#tFHi)V8=uj`XC9`BDwF-6VIqF(B(-}r5x2ORp|4TK<@EBQ;dtjGPkxzPc|Yn1qVIT4vvf;KjmBwFi}O`4&4=MRufVhp>*@<+HhSg
z(7-}X^v@95isPy|>WA%F&2;@+F`@1$$-@*Apcd_TbB0c#z)pp?9Amzx%)eOS@5
zx&Yaleo2bwJX$KJnL$>f4Td!o>nF5sjGwQ6zXLCK_6Oxo_XGtTiCD>IhDqr>A-(->eYCqz6Bmd5kA?Aua&28oU=3$HamYLlZ|KtCLZ2z5V*t=D
zJ_F-lo`pqCID$mje*_?%BxgFC0zY0o`Qn%nq~pKd3BQ)1ZlUyFC>N>KTY1C^xfHCY
zKD6Im60*0(nm@44ZtZ_)dFojyxh$h;2>|Dy3bC&K6qW2CT1?E!1$p)YUo+sjAOvVZ
z%;|}&>mZhkBeI1}<`QqI_x?_Fe*nq)Z}Dmfw%*0O5ZQ=It2W?&(1o|RBECns*(OY~
z3uw8rR%AUZSg8N_pCR+%t%$f-w{p1ujWi$sCsW-#6DF4fTxKS*C6}r%r(p0M!wr%l
znOwz)?!l+}Y2Pz3gELw7>f?p&OC(NBs}#0RsraK06m4*+>7#)azA^o9A{sHbwhNXa
zA5mKsgrVe^e?KgJ`E*7Yc{F!q>%tOc_ypx^YN-{fgN;x~ccXbVffHq%KN>N%+idIn
z8?Cqo6Bs}tw@sAQrM0LLkz6++#tf`EwvuWq=*-wz+}t_{4DdG>z#-$HEFwk=m|L*r
z&`V11n#$v;-Mq;6Ani@UL83m_ZCHj&}M`zL=ym>Xf`+W_VOlxE6q4+Lj
zr8xRCB9R&!!h#?whO>MPX=vyPP|zxxXWfM89kT#7eAw97d%xu6dz$kqCJ-GGH@w{)
zknwtN^c1oE;Rja={He-&%LJ^{@{;f=!3ru-;+@0A2LK*i0>*vk<7IlRO2hXP_wHs0
zi2@W+tf5PN&IRgucFQY9e*(27j13i;TQ}~W!cKC3`io7LT>6U-$*?A!we`Zz#rU>{
zryuwZ&X)Emk7~lFb6Y9j!NCeh%po9p45?KQw_sqX2qCu|>u&{7s!n3|hieU$XUtD@
z(CXJ-I{}EC!g_@Xt21{BpX4IIkk@_%>_HRfwy>fJA7nLSu}MTyJ7dvq<@!N0eFD-S
zrzy@i8OnjF+?S1fb1_qvtgM|YsvqLq5l-N#g2r?JeuS^0tMZRdJ@MFg*Qdm6ss0r+
z1l&xlEND_X2kR;S*Cz{SnIQDU=nuRXvfz6mE1-u+rK~FG`N!8KI${B74zR3{U;JA-#6sm=VUr9Yt7vl|vZ(UPlpgp|0Gq7$>tE6|U~@|-Bh
z-O)7VeYBhvP{KqD!HE(*9)`?Htzbw`0j@aXaiFTf2c=X!$QL2g19EZa0%#=2bPO)f-3!UN`~=d5dCvj
zq4cVf+(VR>i?j$GFIkAA7r?UP%=IVBQtZVWJ4@jassc5Uk%uDS;I5R0j;xB
zqyvKfLzM8NSeU88Q=aqKElsVinIj&6_9TLoRy9jNBuE!gGonC|unPM+$cePmdC81W
z`oDTTfplJdXgsqnauT=gAm{5o2L~-__V1Wum@JgR
z6F{;F-dciKl^q)zH;y&)PrwbMs$kdJZRRTGt30@==Rj&h+QEM6`s<>X#&NQ)INDCg~c
znijRV$*(Ew=dhOk?S)AB1nQo2@!jD49@zd`6zjl2&9CDCcik_&gFM#Up-P=Fue~7O
zmhG2&(H|2me)>MY=+nrR``nTE(?6XyS=mwcpeFEay8CmRz~SO!?;c^*o}XT?`jE@O
zng2e}di_K4q2;nzTvQJ@24C)~*6Pk2XxhY8jkD4EqbB;O4xEFpc2%2C$A28I0~z*a
z<0tdfo^KvZBD+Tjw|n;Jm_snG&4%N_;?0KA<7MkLiwwNq&vB
zWIKN>W#K4ecI$(Az?-*Pu~jzL1$3m2WsJ1GwdpKBcP7%O!Ff?-~i2BmIjx
zQ8Y*X-;i@2Cb|M}99Rf2a9^2n&&lH8UE-;bbVSnKvKL*pFT)V`#rG^?*Tr{Vd2jW}
z?YDt{x>Mfg|EFIjWiNjZmL3f(QtXaKLKm51T{N+*-5dRJsg2`HboBb!Nef`O6xk
z+OOv~8bgVEXQ$q{{5$^{hmTi13zvI5K@}paysx+6Cu57_g7Q9oMLX!Qd$(N0n9onNad_RPhlO#cz)o!liF0se!o|6KpXKl?QBWg_>K$E?2*c#WuL;U~1RGu4v*yvo6LG1b;oOK}ozOQfRU=|XN
zJT7hSFbIc5dF|Yp`0m4SA9Olm{-8bh>nd-k*z!2UZC`ZMoQFr3<+`{Hd%22`ySO?p
zw5QFh;LZ!$3aPB<9i8U)l=XNyXiZhoNykz%4#Zhm?vyn{Gn-wt28XNOSyLgE*M(I1
z9k5nF7c*?VY?ieg$jbH<9s8Mwg~BM(|C>MP_%l3~@&^*3|4)Q<=}vrP?5tt|Z1II+
zQv7(j^Fv3Z*uW3`C{b4F#GOFJcb-GA_P@w3&mbb3hR|C6SnlGO#~^`>_*9r6)!^Y{
z7t-{Zy3k0sw2E`=kj3yIhSI+qWb+Qe1b~fy8wcf`76Y&Ra;lT6LmLvs%}GtZL#&JO
ze3?m2tUbp2#f;nUf2Di_eIdBB=WywZ?-tp;5X>@8c$5&&bRYfR6b}kR3ilNj5Kr}i
z_gx0yvogSAy~|vM<}claT>E46sccwNaz2~4*aN(;bo*2pZ-GcRYjeXu1-FgLF@QPW
z)Rai)Emj+$RpUKvp?T9i(PF~Hz9h%y(nt{N5V0!2lAT>AGc1UkeWcWv?qpb5r5LCJsiAMMHC%CsN=q#<)=EJeW`j%JQ0@
zC4nh586emf%LbGJ5b+2^f8jZa4}n@COV`C7R}uu%3Ek9=ealuQm(HsLxN%$%C(}LI
zt~{DoyK7du+1Vzs(SO%WiR;H><+vb53`H7i7WTA%u|NV?el9%k(MIzE$5g)6w=LY(
zOPci$&z%3kRJ!X@MZFn12-klqCyLG51ql{)!+3Y({n{lCb;Q3U2JmYp$jtG3daDX@
z&L(PB!QKqOi(w*Q*~XIKzU9IW!49B~XP}9x`8`6fEOI~($(_Z^$HQk&QGN6)SkogM
z`S+HtB32-H;+yv06u9&{gKimAqDW%@QTj=(GH)mq5!6B*Vkx8p5gKuP%|J-{p9N
zLNIXwG~dgdY9Wx619y|!i*%g03NsDULzJtRI3D^YDM4hyt>a49KtLdf5JlQrbSmwo
zeuCwCB=30$=>XWA2V)>esPV!=tZGx_+{HRLAlIC^sdZ=c+H<`nZc_z3vkvOn6*Xp#
z{(9$~Wb39@KcP+hN@6S4JoAW>O~M_mI7>a3xNuI$qfP4&P^XN?+NQ=>Rq#~{nM05q
zgL(g)&@6c3oS2%RqkqGG1R+jW#XKLDmsBn72I+-S?g3mvLt`ys_CT?~5iG1)%8}!>
zEl)?vVk8+x5fWCI=LB*g)p%DOxi?$wI`;AH*-Ykx3eo1#KzdWPttx!<&WpxV{y|sv?1c3PxKD{YA-A
zE{i5xK?bIiZD>{(UyIauu!d(G;nE$KDQZO(8XUw}?>x-&UALS$Smc2CAiA5Khr)
zW`V~x4i!3jMw^o`(A)rVCwi;EL;0{hg))FSQ80Sz*$FV3D;2F)F?(r;
zqNX-NGf5w$5i)Ea6!db!zkVa|l$d!)Twv2~o)N7}d=Ec=qn=Z9&1{jIwM}%-2sK|=
zr#+%wW5CU{`0N!#hnSf7U%!#KfsVuI^n4G5dI#9B+|qBJJ&eVLf}thdiy*26Q{y7T8~D%|PnYO}Nc=S3_81MnOC
zuJyF;&ykrZ)1_Co6mwtA8j5k>?xBQ4D16KBVuJqLRTCcuWSeMs?mt{~W_tb#>skFH
zXSw0C;S~D`~H+IW5*h*7V~GhvLQ0VN@OBbBWVZZ1pU7m4Bj0e!)Ha{
z$i)UR$XN7$1q7b(F`LtNgITPCLI5-%7r~k9h9b@g-_4dBEv&-k^>$_&LhDzJtU##g
z<|g3COFSO#b#!(R$}3_e&M_9XdL~m3!^t2nQ=TU=7=0-+0>*
zl4O-U7!bhT+ou_u6Rhfq#K)3B4ePv;%NaRf81Ha&CPbi%`RQ~#e?Bx4gB=Yr4V0mO
zr^J;hQ&Ho*4IqWscwQ|3RREN14j^Zv{huz*J*ufAkK=ien*vJ;;f6p6Di|IOVik~7
z5R?M)(3Y2AW1}l1L@EIS3Mv(%$Rk7^V#toDpvXhyQCMP$RRknZQ9yYL2#b~#pG_
zbLE~}l0Y^0w!?CAzN@3-$jd=yM*WD%nM^KyPlU|Bn0L-AgLfsu{h{|`UcFWM>9X5T
zUbf<6_S&a?wsrAz_%@zXJ@>6*d~z_SY0PC=sTw#>NkGx29`|hGxY!&YXiVE#=GuSF
zXeMdv*sRRKHu%Ze?8b8fFQ1axyAeZED6&%;Ua_u7Qp_{UDs!O*M^1A8(753xv}N)=j3_AN)}a_(Ct(gd!Xz{c)ST$
zT3~c=kfe8>AQgr?`Xoms6BavYv7-$$-P?=y9+Glz2*U>}9i4??|oU
z(SzTbr6~*dd$M}iE=tdKX*T^^?dtuR@%wvHSo=6t
zJM$g*(T6pE)vVnY8Q>5$VOU*Y9hhnJ{iza%a?POh9g(y+7o9Di)7rt$
z3-pXx`?_OHNbq@(5T-gP3T`$^!_ce_#K7*0?T#CI3lqC7n!LUk{V7EnPJZ+Hk!V#_
z1-<;NLG?_|T;IFdqR0VqMLr4ZZu=m>l7*(p@3Ip^q4K`8bt&UF>&6z|-W?n{pdIIL
zHa4+*)cG^6WYf`%RNJgPlx$DxZ)xTf0JWFJJ
z`EwUVc<-nzM8&yp%YO`hHF0=Rw3wjG2-B2UOOynM7aAG=XwO;Qx_$|zr&E$iV?C~2
z8~WX$!q<8SB^G({dDo6tkpc`qAKfkK;m;@!=@3*r$Gw8sqpp1Oyxk$XoZI6!?<|P^
zwomrHmmQ;3V(Ed7tJQLSAHIBD+{?CEY!k
zWZTZURU(DIM`>75P=fxM#{DF?rJ-)1P-IF&vkkS$EDlJ!D$1S-j!i?fmBQrQ$o{
zi&`#(HpV~O1$QpKQwkeA;)Hanxbr}@+!X$?dL8c?zAnJwVudxGozm*5$9Ff)q9%TMzU+Q$SI!?|i7M8%v}WXr
zo#%xO4d$v3h@MP3k6S{6Dm_T3v+~Oo4U`^mB|-+EhzL=EJrSZ{7W{x85n4}G^Vm}u
z6v`Pv?uZC(w_;s^K&%hZEYvjXDB{6DJk&tmicJK6#PhfG-fCu!jPF7C8S{1a6ynhQb0&T3akkK
zH~=>~`fymRof`iGRV0Xxy%m81!z5%f(Ikk5xtIlPj^oJcN4jdrkb=!9MS(yPWC3as
zMOdsD1G->n8+LOY4(O_zsWnkQMGgNHghDme17ibdEkN!H351nu6v{vjo{%APkVrmijLhd?jy~3_!tiq=_B!QF+kMWzQKWwEjSY3
z8$h}y|2?aG{%Jt+@DM0KRGEC(DbXlYJ`$Dxk4UgK1Wd?~naPJ`j<}2?rykw^odD{M
j4g^?a$P{QGny>^t2$&i|rZ5gtdl@6C56Qv$>f*lvP_AHwvCBx+qSJU&;PvdTIYPI-oL7@?pmu>
z?XKNd@BVB6B-R0H8KD~>m6pKZgb;^oN2NhP*5Dhsp}bLI6lbxE)r~)m_#7DN
z;?f6JBWK|1I{h+uZN#0F&@^VgK;a&sY&5kZ)|6MuYjtz6#r=!9^eA2D^gH{e(j0Ww
z9aOmFlrsp(=WbUBrw=pjrZUrFz6w7lbWAi92!8r)G#E
zhh>(sOsap1x|~LLa;h^%x8G~z8?1kFm;6<%HfmX`8Q?eDJ!`=X+(|Zy;Os(w2lTF^
z2lWfQkqOPh;K7Gj)&%(Karf9SB!}IsPa=O^5m1KC_LQI*e8l&535ecro!sm#TWX-jbx|(=BW#Zb_z0d
zx0789xPm*isqy_h^rd}X_DmZ4oJxE@y>hfNW#F!;%CRvO;!H?Li%WUFo4UBZ)~!91
z!aQ&WYB@YM?omb*9amMJ%b5-An~K*TiCVQd!cKtnXjpy)*SA+L)5e4I-1S9tHfwx7
z?9S*}y2<0<%}AwTX!WKJk4fA9w<*m`rQc@n`n3aR?F=6SvZx_t#(uC?@`T9U?d_cdoWBLqXJ5
zIlUctl&l;+zqV+KeR*rKrXatafLlr!4YZgSaSDA@fXh>)!T`NiqJ(uie?bT|nQZ4c
zu=ab`gj+8xnE2V=nW3L0mG%307a%Wq#Y`(s>|hCi+OsSRPsY)uPYYntXc{johl&(N
zV?=f6MxAdXlKc57_#u|f+#d6lh>|et;_MZE-Y8b^oR&N!L{7$)`ognFm8L=ITTa7K)xCKI
zKQG4yju;>s?@tOY5%Oj_OH7R+x`9lx@K8TVeT!++Kj#jLF;q&vzzV472UE7mMXYEH
zR%S??Tn7txr8CP@y7Pn`HWb=;Eio6F4ak=;n+-5$E+b5IBsk{=`=>4`tGrhA#6!G4610woY&wG<1WlOeLcnK?<+<{nSf#5==
z8N~3sGL!x>oa)<_(&t$zOT0u8d}a*`M%MBfpS~4xjCfqX>|klWAB7{uE3Bsi4G!L%
zU4SDur(`3vxCr$uLMU-DmE7Gq*rZX@!oS!TtndoC2&`5pqvRJ6!$O0A&VP=dGbs0w
zmYQM5Ki!E@!qURECL4`^C_g@V4LyF^lS?b>b64fr94;Y|+F8>H+U|Y~!IYCX=->*a
zZbD2KpNwwuJz0-``V!&6{pNz=jY2H_MgUlm4iDLvlc|hrYROV2`pzM{aA&lI*pQ-<
zBk2*bKcM`5jtuD&)Ddj~UPZ@HZRc$a-J)RXbM_kOXg1vjOgkzintA>BNP6L8
ze*Y!JBnq?8*6}CY#lr#yHr*VT5(yAqt`|ArNza!%*VytqSjbu7?>8u>JDT2auN4ry
z1KA26&MTA7Jipm-V7!dJ@rnHyagvDqC^5INy~q1kZ@1lHw8a3^-5uWHlF;HL=FNLk
zZT|GKJM>2KlpSgODRUzPRz7{3B%-9Z7oan05ADD!M=|CR+rbAZBvkF&fGy*QTk$dt)eHaZ+#moSNEGZLQ*(sLEgx2!j?F@c
zw8&C$8traXU40^w>*}s1F=w_a<^(-Z$T+Gh{g0XO^}A^Q5WsK
zNLmlAW-sOKZjZ=3NRc%Z3bdx^O*wcEb7M0u!n`a}3l0WBjV;t%ae^GG-h-YEvcSRr
z8Qi81v5YAg7@oMhFUkxE6SX_&3o|T|olR`@4~aGM(LoW&ZVhMbIYbKD)U
zTLz9rw)v})W=lQi84cKXGaegqIy8acR>+djXJ6w2sj-}PudYN5g?~f_JFR9Wi9DlV
zmJE`%PdvL-_@oeCn9ioUl?-BN?V8qy>9Bn&E0Bb)=3`2_C(de3n<2rfOgaEZ>z;
zMvN7q4O)4?{s~du&HTlX#Oq>_cAlcVLI=>vt>$)I$nCJ4?!lY!a)Eq6Dt2@T;+(OS
z_PR3w(rnV@fuYi{wvG?l=cT4Zgo8?hvFb|pg9e}4?gSu@2ULI^nX`D4r784pTeF_F
z`IlW4|8OBiaflA^pzN{4m|($Qo#FKs2%R~jqRDs?23tg01Vv7E|1=b-lDkB0;w=Q@
z4*%Mxawek%DDP%guVU&4Ol
zTTz}x4}2)?KV>~u*RnL!319DX+YPuqXyn+dw=&GPGkmwYG%my$cLoSyV59@Coj892
z8T5A6Z$Ia4Co!0elNM7v^P5ECeEkt2KLsdnb^}oLOR1)CVG^#WT2dNg@mCtk@rHWp
z>O29JzS&e-jwT;vwJ_XJ%i>Jcb5;Vd>RcGNFm3Nx7UR|jhGr8
z#QI&ab;5nl1?GHO3!va#X(S2%xNV^UeSWzZNvEyS+u5YFBrlQ>kGp%*Tu+aY;W2wm
zGSM0_&F-aHyDTte$neNL^Z-FXK)$~(bkCL7rLlZ5$F!UNlvP1&o2>ZL;$4)Lt)=BB
zEPSb3gKpj0n4nU=kNXFu+OxEY1R(k&K!m_Hn@I=MA$Ioi4@7At18?EhtCDSiqW~jD
z(9!wA2`FMY@ec;!iWN=nD(TzozGKXrymQYuX;=9NM!>>fzKL3oBn6C64i8nTUSJ=wNB3E
zABf&2e{`Fm8eqC3<2}CHBG=vs7PL*DIIJK{9xR2WanO3!)OI1&cf-}NdB!Ebu-zWd
ze`;#HAl$*$WYJO#dQq;o`=R4%*pQiB#Zz6coT
z?GN#IOWF(SZ!lw{8Ws#dRUK6sc%anGqx5j;=o&$u=9@N=w|V!Xxzh@Dpz0WlkYnk>
zmA!M@q^f=sPMmAfuwf(6ZLuk;(y^#E2d7X948J`9NUIKop%7Qt(--sRv#Vqd8iNQ;
zKA7MCH$raRL#Dd!bKUpR#P>L_Ff-IMW>sLWIsv#Y1Az=
z<^pkhFMHzAYs)kYWlX`?g#47F-jFVxMSGi;`0%ETtJ8cj7q5eINT|9-LMkBg*YT5=
z81BK17w}pVfoPFjd^%bwP>kpH-d&C^DHW
zprY*fs5}NHS%(gMDb!zk0@dWt%1bZv_aZhqkPM^V)Hdsx15u&igrTTJ$`e;0
ze2+EirC$B@1e0~@*ooOlvU1J$U5zehmjw@6ANeMn1hU!$hSSXLc%J?^YJPJU1b@2Z
zGzpBTSWw3-|RF)CdfzPlK&4n1p3E)A2^m;cX51^^k(|L@%(uwfWa=#pbx<}L%_
zXK^Q&1&5c(duzZOwO&r6YB=ogXx}SK^ATlaXyXgfWMbX21PK4%;bdrU|Ict=VNBaE
z)v>Y+uZCE*kwN*s__%NP4r&$b5~DX6g@;;8hwgOdV$2E2WUY#~(!j0(Wxk@r
zuhg-)g$-<|CM_6Cx*Qkv77}-rip?}%rAt%r=7OpIgzVRvS+)v;U5)2osM^mST$M0y
zx|&KQI0oOppvly4i*_A<(Jf7e%!Tk&wUiDq=*y8Ucjh*<2Q@kdsVBQ~>Ojb*5!hzT
zMoaR~k$6&%b7vShe)$M``H-`4M4qUGBTDT1$gaJIQ&o~nC)?}$q#l5e8}Hp}
zd~i%0=)*i}g(C+vVgM0-p6{I%H+sxA687g}Ph5O(^r=(5qBRy|a5`0T`7)K3yrNvR
znO?+~KDjuZJJIc!9IE`8NXOOebwJI@K+`jO(TSR-BH2adBFtBcHuebnJX|Sceq>9H
zOffR5{U{6}h7GPD5#*hsHcuyCFp@RvFRWa>tWBlvSk09m!v*R}j$M^rRjk1LnMwyn
zZ|o96q(-zp?Cj(sS~<|O;NimVX@B^?gZ}ZIYqG1b(5`q0k{={cPoKZUD_%8Mt3P+t
zUZ}pSSR^TmC#-4wmertvb1It~b}PBq_^C7`=;qT+h0Uofmi#(?J@$rp{_L{h|8+oM
zyQOPBa3nQ2S^(T59l5xDT~*#ilxFISL3#=;>Z94r;ykeXzLFPmT`G?Z)Ic@q$MmqL
zm>IFSTA=*#A&Lf|yKA$#Wu~c?Pa&G}TZMJL-ZEpk4`VV7mJOJ;>E&hqE&N4+@JHDb
z)M0QXg!?b@yHXlUG3U7Uyy1}n4^QuLc0NX*^)Knco;ToE8GFJ2W;osE0A_d2o|DJP
zYLO_uC+E}G(n;aq!l5ho`z91eR-v_zJei4vG8(VU$$`X2LuV?A^6UM)Oyv5KT@#n;
z{@BTZ4etRw^rIAY-6abl3TGKg+Jon1FXcHvui^rwPNBA$+FL`dAW>GKw-+qTEcigG
z4?||6Q4KiJm}YLAeIdt5PoOIJb9SeM}^i86cA1p
z(m)fM3`|q+d-8O`Y>Z>#er1xh9Gftt1b3Y`Uwci2fIzuHkz*2~rToJUeq>5AwL^&A
zsSRa?2Vo2|(#SDV$&lYYoT-DAU9D~;mbx8SH@kK-YI%9LVxtJPcrz+4(lz;uO4$z~
zX9Re2N?JXByew>pR`OSVv}}AcPYaRZA>PND8@CI#=GBM&7&+A0ALoug`XcCtmTsbO
zd=wT1h_r|9&4_FOUPRDx{F|f?Qv&_A4TqUa?uF-+cfI@^!YikD3rWKhY;NCs7aTX~
z2aRiH2ot6r%s9=8QADU+&>vm?fI%LYg+(A%gP|uTG*mbo8m0{zCN-36!f(&NZ*?*h
zJbRd>)#*%Y1U`fv^D10L%a&J;?f9Gnq*h%X{XSSQ;pF6Z{NY2QU~}l1Rs$BUyO;Pm
z3UK?ey#rK&T*1kOH5Vf3;Dp1y2MBL*w40;@$Gul}MJ?y%F_w8C+11IE&$<0{#m~S|
zbfg={n7MJeJ|CE|7WlEBpn)YD{x4`Nspa(~x6H6vgcQg~bB3;+91mQ|NGbgW;!c+s
zCw446o2FbQJOrN#TP9Kh4~aASEI0FOjC|>Vr<8#QY~vxcI%}eNjER2fV!DWDWy~`%eqnQ0EoZ?bB*ukn%+uOa|P<+-SDk6@M
zZU?|2!empnolS0c!Dur%nRCS%YPl%6z&*eKduJZvLj_ya_=3WCJj|<=6igJH2aBUE
zd|`?boI<*L06!sFjckP5ZsZvJ>0QUNdmdbNXaFgBQ@E}7JwQyKVHixdOP*s_G63
z4pqtU3sg%(3!4&o##@YrUWPbc*fK}Bk7#9JRoA{&F-yU#cq43dpEWJhWqXc3n-P2Q
zy4q(+SWBA$tDvIU7&4=8%g*tMr#yJliR=!YoTe7-Y$I$nsL3|%QZMB(p5ah^zqmI0
zfZ4@z8QwdykrwaeSERzBXBm*`_RDEdGSLSK^zz%kX!2JQjm
zB7tJhK8}GCCcVO+Z2>evIW=hKu}>1bD}-=v={*6B3~WJ#fB_Y0#zJ7|&)3#rzQYuY
zpuX$jo?R+-M_IYOmYcTKGd$GQcs)4y;8jGFl&5z3gF$Dl35Nk1pk$9lK2i$yv<2P#-u;wW
zp*#G~`ncW8f??{{JEG(j^f!Mvpox$Nq>IOCQlT#F#jI1~Xn7-Me?epuHlwggqD!>V
z;O)_u1V@b?;M;Du@DFcA62RA?(4+C3n(wX;f!l4F2@yS1AJx#%V0`%Xs3O(dz<_H3y{n>~bD%T7`R&^)yw
zYYW~TDRMH2KU;1`@XfbSTTzVW?m(9sW1fT1BREt5zv!G`Lzuymgvbz!3)P^}w
zLh80cmv45g*XY~2Dv=hU&M97kh@F_HBnD^TCQ89rBq+x`Vw#D|FrYh0kV~=30P@U%
zRBBOR)6ZiaIx?b7A%4gj)^)B{_^ZzagK*b9t6)@Ng&H{RLaZN=Br49)N4kp4AP@?G
z7u|&y!v%!ZO5WU2Vie;=61mX$DgF&>0L@84pFyER3OkYHSrYm+R_jEW-=H{c3?jlJ
zltZO2<||AO59dX+$ppUN=_D?K>E1HXFRG`4;>N+7g+yFuh#hYjQG#(pG`#eQsOgLI
zvGlHnsS0}XEjZYIIqXWVSZ=@K&0M{$hMa~Qvse|8Cfz?q`6TJk#%)K;qBfN??otZO
z+GA0R4OTW#GQ;z_1^i!WO(4JiB2Mc841S|yc(@fEdd+?N*+>kkc-aU!kW
zZg^$)%LPwGUAs4#Wj^8nkKaFS#$USE;K;O8rw=6ve)M|kc^=IKakk!jApJ3O5>d&-
z$vxQ4;QX^Ng@VJz0opfT>F?`?$V;(tJdwqPQ)7wI&yCfZM0kxye_nxuH>c6gV(w7+
zQJIHEROQ_k1lEB4UEyH9L!=cTkQ&2_#_sfQW{cP53gP}%w)ZcdjuCuEVe@pO;AmAw
z*;O!t*CGR?sl<_Lf!;!{oY37*a{F;jcMBXoyd|M?xNY}acz|ata>KBfm4;lEc|hcZ
zvwHUBf+In7%CcIInF$l`Fa#lX)E4yv+{g?v|9K#~m>S<$>Sp}!IV8PbaC9(?QO@y)
z%&6;_>B8pQ8CnfNG&X-zV$gH_a4h?O)!{LeQ>fu2eMj4xagZwmC?oC!?%wnit}`=t
z`>lCkiN2dMpXq>?4Byy1(_?q>ja1-1?|6x~iWm@Qml&jp&%YReUI=59KN>b^m6`Gj
zeL$cm3?Ye(GfbW@`Hor<*TX2>4g>mE?k8{7+3cO%ey251{ZQ#$t_B{qA??P8(QH?3
zZg)2){y8@f^oU~X9bFSZyWHCJ{d80b3L4e{<^#z~{$qN>6GF$;R`yYA#^QBkW%w!n|PDmQVl2|{KKgW>I)dvGF@D-n2{5xxya
z@O2B+h%ll+dhwuqi8#6dO~RZNgyx)Z5SowD_YQ?@Of3K@xVOSX?zu(o3Ps%|-f%8&D(=OXn61|%CCq|k{L^DpHjYid_`sE1MZD&-*8gh~50wMnd#0g4t
zD85#B{vYW;bcav>$r4ZqfgVy)a3L&2BQ-X~1+|vL8Gn;S`*O89{59Bf|zS
zm4Q=JuFJ3TOj33!
zSO_`tUn?+&0i##b;rdgFJACk$D`bF@bra@o#+uDJxNUl)s`0nl>YGq(p&H%k_pjO)
zU!ulhL>c?+w6Bpwj!nCds^==Wm%;^N#Vep18&3MRA=tQu81^i!uXn{_I
z>>vw_E^3J`0u8!sD389xPQk^3LTOmF8YW2*sE33D+PpIKKp}vDU@(J#p#D?d-0U2U
znVd|Voh@w5oEY70tQ)m#V%Is*zI=N=LxY93O$XgZM~ZW)>t*5_C9?E{tZXi|ur*o9
zc{1c2zCR@sn&dfSBgsQag_n-RkV4s}5klE>zHbcFbvv2Xs;$q?A-%8|7$ZD4t;gQ3
zJa6BD>-IQIjO~IoTpo)HgO7W8Cs;zAFULaJ+e{t#*JavnBBW=wZQA-w%|6}wdb%#>
zHg)42W|MzQVLNTsbhqZ0pRO!ZTCS1a$6XrMk9|B;ewlpR4;Dx>#Tcfa59U>+NTH^5
zIBs(4I;|s%B~M=3v@ym2k5Dg{C-@LY(;p3h>Ijh>yF!#bFSNT(LI;+
z2cP;3d!Nm;(;H)prz<775(*Ys#if|OM2zos)WL)S>3Vcec7{TM$0QOUDhdc
zYZk*sWwI+obzPbAQG$4}exQI+oI{+74e_o`gP!b>xs2=A^>j&3?iileO{Bqi_B
z-}n66$Mun(_k$@^j)HbsgWjA#`?ZJ=1%lNY7`gZN^YB2AKg;Ka5|mXD4|yftz}7Uu
zPbJ&8%Y$mcW}sR(!JbXRJZ5kA6j8dEkcYRb2ghZ1V>9nIW?})5=y`!_vKSEN
zV?JIpP2BHC<`laSfX*QSs%c`|mGZq_M#U(UL`y+uH_41wLg$^>pGxZhw
zhk+f@lLWP6J?SC^aN4+FT2$?7J4sB?L(Psl@zW;pPfLr$PxPdu@-0Q_KQ>N6YaTyh
zfXkf&wL+zAm&5_o9lj|*PM_@yJ;93>t^(oAMRJpbT5pkPWm5@#QYjCLN2G(3j1vdP53apF<|
zHH{KhTsgVSXhu+?brIl@i9ajmAzee$KPH
zj}Vv^Vh`irP~_kKFhU=6&o;h!!4a2QSt?7yvf4@gS$mv$fYU5OsnJ9C7=O1Sq*sS<
zmoCl%I(#E-1^Wt=Br6Q%+zALRlY9fi0R$A$5Zb%$CT$~3sBK7-GD|u~*-S>GuB`K$
z;(BEa^K&pq-Ui(w)KHQ9H8>|<+ovC@lBPdEBD%wC_Ky@r!0F3EMY7tF&1X)iBkw(j
zrL1Qjj+9<&n*#>aN<&ab$I<(HNHOD>Fk?Z?(}r-OBxnO;ifC}GM!@qZf>Fd}lT72f
zNMj(TYDptmV>xbU6IXaeV2}i;0%ACfVMxOL@&6pvsN9R>Vv$B|m&5{mbvfwcEKE|-b-_Jm)Iv2OD<<2cZbr+?sOLC{sS7D`&rT}G1!z((&i(%8=FKxi#9y3Ufx=Ofsr6-Zb{$ruB9ZB7eqv2_
zC#+$po|8pEt*$U!Q$`19vN(_j>xG>T1X%%DL?NcUjd3k*_%qpb=!Ts^65_&x3PDW|
zH7t2qg~bv515gc)a;UP2(`lgHiZ$-31HbYL8v2iSRz}$SUD+b`X?bIshBm^{4cIF2
z)W%qrh*@Z=!;F6N_h2
z%(9RGibg;`@&5d-JZ25MDVjQU5WxFBaZWz=8hI{tjJ?uj%*eY~P6cx}oeAh7ZhbK?
zYsO-1c;?Y}!|yCP+=6P6YY48*Udq;OU)T%b?dsa!3vwmIXb5$`#zFxg?Ee!>EQY^K
z*>41a7_j8f=k7f$0gV&*dPHvWGu0p~sS#R4T*j7UpCGH{5hn=R+tckAIUMV(lJbHE
zm*~xDf05{}&Y^PJZU%jdWeCu26Lu7Bgo|t8Uo%3jBCZe6e2)EhsM9ie569h!Y5!Yh;hgROEcS$bxA&60;
zNRl$dgge`y;CM)KD5&&9@AxEG>Tx14fn?m$SW+`k{t@P}$1LpWHB*-;C{ZBZ?55XH~$S>G5wf
zgbvsD-&dT@-*}%Gaz)#}UKKOkM{@N$tySa=%e^x)oa1!U*k&}pU}zH9n%>+wg0<`F
zspU;BvoRM3Zobqq(%BAAFJ^Rh@r?>RnH!uJw|<@~E!`y40nLHd8U4PZ*X!Ow0`Tb_
z%sjdp7s)1@-HdKdUT&?LlLcp;J}(fw3mN)bEd^QfM{W8~>xNu{HJ({HgjiUQhu0Om
z{&MkdU6*4Yp0^HOr@q-2-PLQ0H@qe8iPz8bWH}jpu3e=eW+v8vrTG@Qt-pBP8ymM|
zLsC%+D=!rKK;+1xtzqO6PQezRIfV(Ey#>l+P7g~Jrwrbv(>6I|oApqi*S96z
zj$R<`A-EZ(4lZiOPaFpy9-TnFv0W0>#rY`h$896)sp(h!59I$|J6eRFAPrGrb6h$2
zs=z@&xKb*hq40p?w(Hy&o5(Xjltu+{n))h$OTa*tpJpK-O50gZ#aTQ`8n+OCn25Oo
z6pGqZC3jxI+>B*h@NY50nwoE3O40$f5e{s$sj)_K^$6KkzZcSJ=x|Es4P)s)nJJ#=
zifp?eU?eL1KK}c{qCMp$o3U=ho&=KMm9G4AzW`cDKnI9qrku1E_$7+WgY)X4ITb3B
zD`;(gC3ZygUrx&^
zot_T(18@T*AJI=RFU1xh6OAf7&51O=VgF`@pWI~ciYE&%Y-WW96r(#XcqEcWH7!3qIUL-m%J1
z*;DpR(R0Ot#tM`ZePJ<4V_VPQh!kapAg{0h2C$zipkf7CRxH7&s0_3MH=mZjKNGWp
zvYfu!huMr`G~)&G*F@A`&%#w6evK0v+}BuC(b;|W#|mlgyI~X@@~(Mav^2NX{n{A(
zO0p60u)(?(gJ3cGsdmIpw$jv<-v{^WLV`Xo<7obocd!HLs0x4_`gB!JZa9B3h>f7h
z5@2FM;r1Y^Uea7RX$IuP0EdK9LZRH7O+?=p1IA!+Jf6gKuXohx*_7ic2g-7&SetQ@
zuv*GR{?uA9$^xbF=hgR;Ecz)qc^OztP?SS&afFSMf~A^~Aj^W(K_Ow6@jqRKYD*Eh
z5>1K!MSp=!^R|q>c|ii%*dT}%q)gnN3wT0F`gZFwJHca&x)s&BD1qKahG&L;9R-^(
z&dAs1`F(Wu*}avL0`z@-f8Y{lar8`%-?xwU*o%uED
z9w+!?{f|*NOo28nH0{;QqMOj)&$rziyBgo`r>j9Mk}NP-NnuIpr;FcpSEBW4lEBg2
z!#b+{hu<6Pqefy)7cAD=
zyM#-`DTHa=3T1w|Et2JXmmN6gI!K&Sg>4kR?3Qh^%A>=dS%8y9c&%H=xMfF+Oz7&M
zS_e-9^UOgX=
zur~NwxOy$yvnSQBw>Q4d-S(MYE+=h;G$$z|A8Fm4-f31gzwXAnKQr{b-8BRlwxQN<
zdNbmNET3--*nFJcTes~9p#nD_STy8apT}RFJGQE}FRx3^4}X7NZF=J(2v)WCR$0dRO=-Qx_WpDeo7bp#O&KIv7{_>cI7SS}--m*~KRf6w$v`Oc@*McIJX#KIo8|=3yUnzVaU17j>
zn0~|n`p^GnCqoP6N_Qsto@}HVR}6?H;tZe!XEZPMRtBpT_md9{iIn&eNW~5{zkd;P
zGJz*wktEMgi<K&XVU<`RKF;-h8C
zyw)jXL;CUQ`q{{%oRK4WSyAxg14WaH!JGmeNXs|sR^oEBK0HdfkTibUuYRq5etB?7
zdZENEU@HpS9Z!bx$%T=068o{eQ}7{xd!8XZyy1(Ju9n!+@#)IC`Mp1XNBLY+Bf5$(
z*$}tZ&k18wZ}VVe?ca9&)a%-cNVzQ)E3W#hAfYe)a12sWx5*)
zm>oFimcuFX7WLtR`iU#lq;HF5fd~2*T6Z~G8*5srpZ_D#_vaIZ4`4tccxcz%!(yRfKh&90QU<-R>`KzaRM%
zz^FVO?cJR-K5%N(-*sOO_PsIxV#vAzz1+A`1OVj7hzIJCvH>BoQvs*mJTf=q_i6n4
zJNHN%z3-G0S7J2MUxX+=T9P_;OL;Snq^HO+$fmR5T4dE!70+{}q4;i*$ovFE8o|hK
z9Y{BzAVu^QAPJKmL5eLfc_AMO)-DetJ5agV=F^2@9-w&A2o~tl`6l^
zl(Z^^P81Wml=H-S<0+0#C^M`DE9g-ZSAT)+3oh`xod_mn@;L&fGC&ed*bX8x)lcV~
zYCV9%YmO1M;M3zYeCQ?5ZjQVyhQAaY^h{r0Q@gs+ZC(cC`OsYh%Eh3+w
z2ykEhNLH6=1Fvr9*Dt-FqK7Jh_snkIv4lkj%s=LG*X*$76*q;2bw{+TZ@((WslATo
zXD=evKLDq=j;7>ng*uW0+#jwt9RLVR5A7EqI{*TUXY+W2M9wWxcGCu1e$xW>@EACt
zUfTVlCHDTLuUSI)o5%5EjzEgIrNcd~|4XBlW~LYZx(9yfqmNj59~P)q=p60=Fpq?b
zc%JQc=VzZDbacJPiK2?}dDy1wz<&d%DZiO~Lca&-0VdO%9HgMaksT$tDVI7<9n-ODT}
zhFhF@6_N$$B1!E0PempF$ixhaV%uZQ5i=`YS@@}wSG}m>3WzLNVOPz>t79L_i6o|z
zbZtLp9rBj2NkSgNijD|$1$J$T3wCPjOjkoF=6DBoYHFz#se_d&B>R#)Y#{r+8Mhn<
zu1dTg{Q!9!g_{Ny_slPRH&!`D$Ne9W90$|_Pb`157j@z7E^cid27ty=3FBJZD$4p$
z^B0w^TX+88@d*|=pS+SRJXiz2P##E?W<_5w!6KW`NhwUDCvjx`bAA4L_WlqqGp3EF
zN9wbXol+Odj6!B)a0~JjAB+Ayq@khLBd<|7rL_-Fux)a+;?2s+IzX0^?Pn*ar76?{
zjDFf$4~*P_iBXX-0b#^23I!{kfT9C0(+pnv6h;LQ{PD{a<0n1p*d-KW47EKBm<0^w
z_&&d9gIFZx!+g$s-iKe_s22B@FXAGkF=QlaY=o#tpyTg3=>{Sfa2l^+twmAMk($QZ9gIvKEe;jI^orhs
zjObuik}OSq%*%yb9y!we4`^W^^y#1XLN}H#m^+Rv=AjFgU_ClmV0C+@Q+;8Z|@t
z&x!vva-#Q|k~%|_O^UaQo-Cb+qZw9%4~|5Wut_t!`RuZBtNsGB;s9m}eVzf+5lW_v
zPN;h~P7YA_dc=&9f{dfkCrFMvtD$VSH+bcZJF5(#B&wFvggrp?m+LFl2%=v!E;Jdlc`BDkY
zXZ6&fb<;2dX;zpMsKvt@_i3+z=YG3vq5ae_E>pmEHTZl||0Bs*yO06j(dv6%_TyV$
z_5^|Pf>!O;rcaq>ZJ`3bBULY2waNh-l{XN+!!KOxy^nELmIK(>h+9bB
z(tgu!jc1YfQx>{;!yieZ5THpO0f2r)&$-B0FP&Dm;38Xb)Tr>MO)0q!U9xmP_1C0D2JQKtvZxu_d^yjhvWc{g_{rLEGfrDvIjsk=5z*6)1!ZuU3zAe^{
zm7F;Q#*;7=5;dHOEjO!1nnQ_#R`*_3Lcjkz*nfWLnX7un5Yxu_jha@7)Is-13HnbVY>x%3_W5Q>MOhnkPl*jS*XkdmlKty)9{#X)d{5;~|aRj&Otm!zpvt5TAa
zO`N8CPiRY&F<|irrb1KJa9wrob{q2uy?5s=
zkIUJRq5Y=m`>f>vcJ^mQ@y4b$DHihIVIeF)sM$|c0wsB3K@c}UbBZSm8Y^v%Fpkth
z5g9=o;>A(jact*ktWMCT|U$mVEtmJT1enayH6`NDGzqGNz{cx_{3R
zx2(GSJz$!{sJC@xnx(mwoOpX}7YB(w#v}Xm93e?xI9E0Qiav7P#GEfE&p>^%mzQ4`
zs+fHeehCNMzTqcI|1F$P%-?B>6YVy~<
z(SJtEYDueMDP0Z3_`lj;EUTqb6j<~PgRhZJ+wy)`V_{XvZam~Eh3_y?n$T2XeRN#{TVc091QC@1C3`{~VHMZ>$^#5_xeEc6W{fE9g
z|1jZQJ~yFlJFwY}E?a0XHc`wAI5H#appXCI}T+m_5mC>G4lz`L;17`XGBi>s>A__D>Mt
zzpn~8&P0AL9I`z<%l4{AbY|Ck>iVR#f@YjaAq_}R0Dtf
zRjLs{SU`Em#f=Vi@}0(tKtV#mBWOCV>M01K9FOtG$PnEQN8#wOpihFfemd(E*E@yc
zUH>s&oPvkUBNvM@>X)%WA0I!h7@_3=vi1kv$JJLiIO3H@lq;u+hH>{H%{_8-E&h;E
zD}&-OUI7g<|D_ujlao-c3;fFG62!o%1tH2O|c|)9CA(?HfHGhWnKXbE{tB*7L>!*#y5-
zDaV5XQI~P3Zsn}a7HJ$fU1aVccluxv{m!4{2r7udzybiXQNt9xC8{_|wPcwLqe}G^
zk8)M+%t(3r7?$)U|7NwU2aq>mpw)kh=A&XMB7#5C+Jn0Z=iJVLw3~dGO148R>f$NU
z(m66oKBz1WBDK3$by^uyss(Li2*$GCo=Y}I;zy@SoF5i^o(Bb5dRe)43QtA6e;2a$
zqn-fQ%955dwWQcE&_k`hQs;sc5tL?;ae$XhC%cDM#RcX7z%~g%v%aH0`8Q2=v#SM$
zvZ6%pO=l=O;<@PW2k?JMI*<)Ja{=Zp7VuE)pg`xCIn&(wz+GW`)?0e=?dIQ!N#xb*
z1pm(}7~@*XAIQGUy-}9^yx>9Pq2Es){`NGxb>dKT^G2uDGOmstHUU1x3#VCD&FTHC
z_-W1JuFFo^CoYQVNKO2_xo4{8Wwv*{dIv2SudVhywQS9qi>G!P9lfzh)FZ2TRzT^F
z3vNN-@n?mmPpRK~LG^(J4|_z@;yG4b(hK9ixortAx~6?PJa`M!IRg;|N6YTT3WwOQ
zHBS8Yq}lAJtJlMAs&ia+Z&+>~_9Y=S)N$&TjM(~?`OC`rb64*RIJ-tdVN&5VtA|_)
zl6Eq$g^eBNnx*K8T%Y=N-+lXi_w1rqbkDjec4b%Q-nLeTy1lBxA$x=Fxt!qne^%&+XOnt6)5^B)#mCMiN8V;
zYWMv*(A9G4>ZvOB?6RgKc~5_rCrQ^fbg%_Eis-Gq$!NI7!v7b;S}$QP>n;Mi#u?T~u4+CXSiV`1r$|Eg>EzWcIt`74nQ|1Pdu38GDZ
zuHD@-`Bt*_j~Aj--BYzMH|gZB(=?cswEEkGC%q4t16Uyd&PO@
zjPqhm>3knGS+ch{Wv%~{Rr2Med4$cES>1gOA8cGNSeGq`UvzNt9Ikn@A9WYjFG=td
zWplZ;=$5-EpXapAeh)Lc=7x!xU17edG27w8eZE5eRkPoR&GdUH818=IMe@Wm{_uaGj2D>xMwE?<>0QutJ5e^J>32lg
zqy+YaLKnoP<>!~A78y?u6lN2dJ`X6x)DRYgngOfq1~xfKsmiCbL4c=BB1(ChBMACZ?wv>J{Xr2Y53w
z=`x5gurY7|U9HG~zE}|9mHS(#w~DhVPhTSeG+pEn>vaEbtfJHJNw5jX!e0
zGVAn>>}31R)*<1f^2fr#X+%?5A>Gi>Mzh>DlVzaNd+&C4De=U1KA=CgqMM=Re~Tc0AGAq
A%>V!Z
diff --git "a/words/\347\254\2545\347\253\240 \345\205\215\346\250\241\345\236\213\346\216\247\345\210\266.docx" "b/words/\347\254\2545\347\253\240 \345\205\215\346\250\241\345\236\213\346\216\247\345\210\266.docx"
index 4265a5f4d9e8e48b2b74a1b2b78f7e12af7ffff3..e23ec8f5099d4002d8c0a09982a56d013cb1c94a 100644
GIT binary patch
delta 32464
zcmZ^qQ*>a#yX9lMW83VGZL?!19XlQS#5Oy&ZQHhOJLx!?{@*os)~s1~Ue3cgFSSm6
z_3f(t+ZA0%u~k4(!w3y*bdMnXH30#Ur2z*)1pxtZwR13LGPW~vwlT4FVsx{yzVKdk
z!IMbddCU0m<=gL5%FP(oN(!14|7zg;i0>LTR(0xrGLMV`6OR2&27Kl(loTcGRbu1s
zB+*oK3r!tk1_)S2Uh}$|o~UKv(Sga_U?sF3XxitcV>=a8~bKHfGU|(5Oi5#F-N#AVZVZ#xj8dL$(jWUbS|1;!J?hu#!Hh8y_dS>_!kjj#Vw5
zKJ&W`JW8*&7BWd!_bFk)mSTYb^S~39XPC}uD-Qfq>9zjcmc-24$=eyzWmJ!%QFhSu
zswcQBn#ir_?WP7yh9`hV|m45y;y9^6Kg3+_Q2?_B%l!zl|W7h%Jy58waI$dQ2^+ySc0wnJ?dr{JF7uV7`h4fpwq|-qV>Xi
zvSWk9?CvJLsu7p1Ks|r%aHhN(g4&xzPPT$GJLJeo!X00`=H9M*lPsAF=d7s6m5jwp
zF*g?{`!WJEx+0eRo9mI>k!OXd_0qp~kW?g53+gQb;(!S5`PXxoz;|@NfAvjC`V1Tk
z+QVddjCO004}~9$(}wNp7Z@@}b|OO<-43V=B|?G?&rpf;zU_Syj}W+9k$OIdf}k#c
zk}{#>gy-DJzY}@i*brkfZc$}oQAtYdA}YA@F_--mq4Px@)AZ8Q;EEqEf*Y^C(-t_!
z?8+y9Snn<1edJF`O=-rgJ2htiC<1QwwcU?vdFvUfKgnY{rfv8qiDHh}DRWFdPvUsn
zs_7}}p&ji7o{SmNH51H+4lnuKzgYfC5t{sHceoQIEh
zK4HN+9y^!?GUQ^$C1~88Nm5edLgr^=`Bze?vd7Y^>pht)_WJ@vo-_Qcawr4~={q6W
zrwQrN#fu%Dp6XJ=bWCZ}^(HG7Mw$LP(n(#^Jm>vA)vA!E!hNXT$ph=~uO`^#lzrF^
z$Q9hUTkf$LUyh4q(#iO}e+jTtzS^b4R`&HUJ{sD@QLmHqUQdI*cHIu{b=mggqv*L@
z2T4yb{jGnSAFEfm`;6>przjSWz0SG<^#)Vr$V1)WosO{W(jk*n8#*;ibs)=Y>Qoea
zE{__8E?&kdFLuKm>HfgRC>|^-z+
z&iXE0YIejb&d+_sVH3hwPms+1a2E`Rx3DPCIT5oxUBr>J&~JTIX{k10qfAiM40h91
z1--D_pY0H#-QdlRND9~#+???o?g!TKfwRM0g0cymin5U=vzw<|duYuc+>O+9G#2;f
zOiYZG5}e3c3FZb>D>~-S1@_9DQi1Z)n)H(9*s$goIdIOz3+Fu|Gg*Si&1>I1$Gkie
z^?2kNpl8`&=uM73g<~$|d%wIWFjF)8m%JowPaP!mzwEcZF9Ap!f!TMnKc2%ajSGwE
z3`efy(6hV+gKD^-|K#!=U-M0MPJ^hJR}f5FxgKP?t~hv+dA1m1hrYjdc`?tM;8sIQ
zjE~hLNk~yE^(>~V9$so{q5~x{>$V_D9TT6mpc^ii?_YW@so#?)DzCD^j<{*N@P5FH
zg}{8aV?~j5)&XW0{_3QtRGD>V6v>Tv8k6?Q#TPQ-DMc5HLlEK9>Z>8Iq+e$;2zmiH
zGoL*XJplKw1D4ht29YkFD+69b*xAp}R@}3Ds$U|s9gDp#FT%@4LfMe*lqzCk;kQk{
zWqZ{m)WAxc5#B*?z+Z&yL_^*I*uT&S`>-$j4_F^k>A)))NB@vt$otp0e#aqlprHdS
z_F&3L&}+nln^veLmKZI&Fa`NwcdL8nvo-;c(x>Mi3$lfQ5-d3Jfd>{c7u^%+BzYq>
zyT+#Y={g5P>8ChI*K|rHAfE!o-G4$GyD0{BOKa>~ZKIV(?801~sKDd20fjkuM
zf3>_I0?>X0`{!1ZroFf0TzzdfhrYuK_OT&m^%#C2iZB+VTMpo_fL{k28h8(L&Uv_!Sc(x-c4T-KO
z%Dm|$(7avqeC}Okeu9S*F=6~gH)HjCOF8_{DXV=*=onIEDoHM?{o2-zf|)t=f?@_q
zxnFikD;Tkd3a$sc&3C;Ba%{_!d(s_?z!hszavNy`ot`bo)i#Fcl@4i>>0WDl$;*L?
z9Rb=&oeIU&%!X7KD{RJE(F
z98<-V
znO-Gb&lnCVbH^Os?^f!Cx=E*alypZ=q*2aLU=7vcg)^2uQvY#o#|c`W?2xFfdaQuFD5hLVn{SU
z#SlL)VGz~)R(opD&885Dwf)G*V_dR5LT_g&{==scYeslfAMyJ2|7!{iY1DKKF}q;a4M
z2*XJ&ctK(9sP{o#QqR9&onPBf^1lr`Q5A>>@4-H~UJ8zAn%gA;hio4my>k66+~Dr#
z_UsN*{){YhY`->igzTk5+0;>-2-S3iZlJ+C(~v?>k6pDBpa!deGV3xJBCY3W_5g)^3J&gg?N!or1Iqi-=2mC(`t1+PreDn`(jJ1A
zC;p`A$w-l9_2t`PDqfkNPJ`MZFSKm1_rv*#DpNr=p;aTh`5Ug;3;T!RJ!U`pZ}bg)
zFgZ!nHGgm*Uve@849p-=E=`dwb%=U|T-B!Y{Yjw8o`cN;JTFX}X){A(
zq+^UAN+Ijyv+&g@x90le4p&e6?&x??;xaDWkd7Mg6s{}V`6z9DI_!zaK>KO_q$`6G
zP~{j!+xWaWGyWj$_9P`D$K%zIuM1b}y}Y1-kF4zg3GY{S{aP~xH#$5g6&wtVXM?shN;*1slm>GlnOLe>#^OUGmytIE!`2<+nMg
z?=o~*R)G0^BY-C%3cD~wyNN<)5
ze8ym+!Xzeok*sXAbpGyH#^g!Y7Bj}w+`iO*@zP}-qJNf)(%|4v*fJ6t$vlw
zxw{y+!trm{hwl6E)5!TsyB6=kfq(9zAOf#seJ9Mwju7TfLsN0yo(tw>hr9wYFM5Bv
zZ>{BXw-kG+DItJD&N8qy0?UNSqd4qWm$t-=an>KOx`@i4%_W@YPo5}>X}I59G;s+*
zjx$y!b9e>i=T3{|F!Li_R4-a~7?)xL6Cnf+zn`~GQ1*y?5PO(&^G)h*c`=y%z1P-m
z*}0~MjSU!8)Zoe+|IAU)foXPA(G^$0c4ULl+dC^fBdA%ln_rY(8@+Hs`9m~OG1^{T
ze|r1=`n1z?C~$RjbxqP|x&>bIV9J<~$B|U%?M}$s>g|3c_t~4v`-YN6Q(8PSQjZMO
zen{|=h^=NRZB-pC{kVIEYWcmUy)!`*BjDGQe>}L1S2}fKB|oHQP)Pf(nAV$Z1I%|Du?-2N)vE=&)?sw9}mbU_q3V2%Srwqi|~{z^PUq>@BNR?8R%6KxI<<*@zp
z4c=XM{NzwXTkLMPJLmd;yU@K$4Ix%SL4kb+hBQ&cZ}^{F*6#Fp&@Y1$u=C*Xv0lYI
zR}az)Jtykct&>A#YxH%YX$~=!?B?
z55bW%RO1-%tu`jB+@mQheyh9Z)^&z}su1oyGzGhW0;<$GCY7O=`
zuCgjP9=oXwaznhxy@MFn`VgklMd)DE6%j;g>M4u*wN3f`0WNI1VRwY_g7pZ>&nXhd
zU!KY`EX^+(no>0DG4~S44%$-g;ek;RV?-Z)Lii8F@fau7?UC3*xAh=fF>L
zh27}C=vrmL`*RxXAK2U^Smk4PaBM^~(Q9vkF(a^!YpuUM-h}zR0^=@}=xs$fsj`1%
zIlOCS6qig_8h!D&n>#toh@K!DE?v#MG$(6$S^9iIr4ss
ze@FR(Vk0Q6H4Y+zE&g;b;n_-+5NM`9Uas(HizSH=2$)t0Nes}oZMsZpGages>Z^~v
z;DV!aR;w}-HmN!j+i2l3xU0~cUAm-%-?wz2F&U`IT>q?f8Da>tg#x8!W^J99Vs`7JhnD&X}ih
z*ERP&-xp_xzD6ZS2zH{kb^81$O*?jSnaM8uduZyZO+VpnDX8p77~OaqZ+NB|vp(vs
z`7qBID51u5D^jUyNkOx}pJov(71>|9v8!flK?-=bi0TsIel17etHtBEKNGCns9F@Z
z^_p{NMN(Bg7FTc`O}7b)9I2fc7>aWCF^1SmL^t%Krq
zIiCex1z%^*9?fR=PN)VlO{DTr{ZL1>XEwXan8;8Bjy$X?8%xwpHvN7I%>6z4S1t7Y
zlE8;3*2qjx94_0Mca(tH)|U%&(W2>rUIoS#Us>VL^}&q830i&g0=RLhzj`wcNoDCm
z$1#MX{Z_9~*kWXqFj}rRPEOhUg{qi0jHXva-Q!mZ^BzAVFO#|@v4W5F%o3>tN+MDp
z)benVy(I$NHO3V@iVC@BKp4$0RDHaOs(|#`zyaFB5p)99oOO*3`FLJitZBTaY7Ff5
z&C}iS@(!MKMLgoE-)zSq-uwj(+_Ov%@brrtz3bjz)B5j$0w}?RW!zztxmq16@bf`Q
zof~^)Gs7qQ-&1RS(0^8<^&u(CFSL8aOKAuPEiK7g`D
zM8vLe(XK^KG5f@u8|MRd@e~w^llvY0!jP(wnMp;Brw+FOR#=J8y@#N;#_rFk&%)rc
zv7E2(m>0w2csF>jIWudQXhGHQjN{p-x=A@}oiflm_-1*s;Z}iFPx+OE@@O_gh&h`s
zRQ-mWp6w5rdomb+>S;;6~Ms=nFt44EX9x9jQgjV`q0^pv}I_!n{
zeGI6Qc9xBh`X|fh{;ZK^+}c&-5|W8t*+lY78Z(k;RMNBo?th4zRAvqUz#FFuE3g;V
zKFAbme9OXUf-=OajN6chQo2}gngoe2GQJ;oT8fMWIN|>
zw$EWEc}%}=f{#?UnYslJ>_FgAtx5X<2~%?1cA#nB@^t@wR}1ki%KIYAsS7bFY(QH1r
zOJ*|Wco{#acI?ytwS0rsLdqDjZW7AILYVBTof%jp_xb(hyyF%~Y4m)KNa={w6+L5!
zIP|!<$r<3F1XACfqn~BYa6i#5J9d7rAe4hwFebaY6SyrOFeP+P5df=g!QB;v#nf~D
zI^J9y{XCp0ix1thpWG?$Cf6XqF4LGsZJADv8R^pbT{xla^+_sBl%UYu(w}A7lWe)~
z+6}F4>BF|64fX)xmerF7o-WKbn)32SR;^MIBi-rsR;YJzS3tqK*yDy-X_SWFeVdqw
znp9oerAr8&V_DRUxeO#$X5sAmVsXhQH-7L=&=wEIMIAfS2u*pfx{275Wi!hmG*;@0
z4Pm=&$hw6QV#Bz{2L7?>`il9$0Ap{yh&^|Pu@S8|ega^4$vtg%=vOiD?bqYvI}&
zg%L(5<*<&(!;!vX!!J(F<%V_5ZoM?2!AIDhv|>c*vff*@ZfVBLNajLNu~QS~Ojbkb
zqAdp&vU(!6ZN
zro!mR9#{K2&!Vs)Om~SARz7{P#Rl#gg^#ehRAPOAao$wu3Qc(xVODnIHao
zhH;g=dffnA3o;Hh6X{#~<(e=1kS*1ldeUswrVZd4Vf&+Qw#nGuu|ibs&*@>+&hH4F
z{^XRfO|AIev3j-iNn#xA>H|}XC$o!gC#ZJ+o|PVcW&?HmAMELJ-}fJFel4Hb^YGdF
zOL!aiTO>h5S88h-zix@`(t2owjNtg+(GS;0)}wp8WqRAGp=gYXHO0(3#zi#4spZbP
zvwH*A({>7l^$(q$EqN0s-S&c@?6|A!6yA6%7#i&(tCztDemf|d<%<@krt1S$#*QtV
z93ehASuUNn)h8t90df~je!9siY`4*cyg4b=z6ot*Z`A;L+5VI7{^99MsZWIbKu@U&aeF6Q)tq+I9kVRH{z*n!+Y+m!G``h)x~jL
z$K}>O9IK4Z>wn;qvSIO`DfGI&TJ`gHZr61gim*E|TG^RrW-OW|XqS}&^krh;7*n*-
z5#Ek(&_dnmM)Cfv*nqeDFHgdBY}RmNzKgY=G$a_Nt=JH>M=no!Qq+xU*csmI70WpM
z`IKpo7eWK=bqTQPY3Guv)13TcmcDX`U42r6DxyflaR-A>b!)m&B6lIpIHXxG=1U3~R3Cw4b6(g0S2}BY29N|6;?x{O@Rw_3*??qaAyo%cH
z@|f%+5*o*Oh)=_p@_rL>uOp*EJ|V%d#OufD;(ltSCBM7?wf8s%f?@;s5-*4E&for7
za$DY+axurt-66de{S0^}x0BmX1$*5exz+|)3_`s2A125WaQEdihKvb6+4W0JrBv_tUGkw5_qYs(
z`-75X$*S>UXe!x)alIxJ9bHP(J7L`)X~eXyKC{Ni|CvxgWp7-K-=Ps+m*9@z17
zP3RvRSeHk!4KbT-doz*p`dsCoXPqltpt>4tlKC!9G9Ce{w&wTlP@t?P5
zb(>PE0hxdq&;HZe?{UZU!z#Di5YV;P)Rupo1vlwTF%b6StW#n2VgF()!rDVRt2J9r
zA%%@^SV+p`HsH>wxYp=W6Pn8X@_^Xgo3Bv@4FXSFudJfTI->dP*mY6+AOPL5^2n7Z
zVQfFr3L?)KPcF~2Fh5DHzDk-auVgCWvIvGkM^}BJ~PDr5XN>L`ma)$0VMh
zqDsnE2a$J!_*Km;5Gg4sFLFGVUwW~NcK7uF?|w^BH2#tiB(
zQcG49%+WlSt#}QfnwpzjWb)5IO$IS`6QylJ^O(%#b6S#%D%Vtx`lO+jwXlJnDU&0H
zaJ|mMY48$0{@H>x|0JKLm4RgiQp)g^Gj8$Fm;+%-d6WbH=Fj#j=BLEb+KmfIpEvNs
zI{eVcQ?|pytnZDg!G-swRT9WaR6N}T1qY>1V}B7OH-#Ml+0^G-utJ8@qwX@I9w3~@KorL$pQ}rgiIA~TY(JE}D$Y~X-
zJ&ZYqlNo(K_jEWL-q=TU=Y$-?aOSl^E`dZx+jJ+11${t%&N&n{=rx;{Sn~pJ&8ZZ4
zl+Mx|w*#00um#Cc_i`BOCB|Q36ynrqV*_2L_GC;PF|3kIo0Ps0(vPe|zsw@z?$z@B
zR-&dFOLvrXWHRlQ6}ECEDmM<>_xmdwz&+2f%Ewsu66_Qd9fVrT7ee{n9o)OQ|BQO&L6$Dkdf{ebVwXd(g-CBkrCO#u8L)amzz$E@1ej
ztqo3SyOY%T#4SVT6o~l70bJ;0|LnUplFFem)9^T
zGyqTBms8l$=)2DTc{lxN@94s+J-
zNsWdSKQ{NH;WEq+ffcrkk@KTg&VWHb%shr{2;k4jWmQ6z-UFA5hT2
zFGNN^cJCSFUO-{|zJO%U>LzxV-?;If+u`V&*SHWnPV)$eZiL9$}fYasO`0lVwHt>AHJ}X1#E=3&c%&
z2?N2NoLSq1^G@`!vb$SkJLC+E(v!m*D|F8asaYzfYQ8PzLfo;&KAwSa>NU9so36N6
zw57!_2h59|Dtn|i^$C&-#ESo-4uni(`4t3XR{6}~)*iS-1l{1bf-fTOt>uw&epPh5
zTu^fU;KjH!e4y`voi^7b`S=$B^u?l(X#m8&$eP-oW-f9pQO;(7qAg56tHn3qc)zsJVVHu8J
zeu7_{(MK$P8&18LIb-*{xDR<$5^SHPXFu|dximn=i&MGy$qH&xd|p;gSG~Q7CIBE3
zAF(=niJIOFpIkTvuqLS29!x4@RRc+&jroANYlJWUn@E|=IF#$AsD56s?M0YaX|k&*
z5g!=wJ-J}$rh1fOa^QolHL}g+jE_-#9$jGe{KNx`=0qnRlz_KUl(ky>hm^D$&+pba
zQ%nJ4WagFf`
z%RM`gv!OK01Nco<+1o*psq#nZ9a1aR(lfdKk>ou8G6Kd~kIGbIG0#}?pB$A(kj-*DVetCyo4
zW0HLZ@$P9wInJFN3HPUr>5=sU6}#G%Q(h{<%E|HXu>UY+dqn)6wAq&>{Tn5(#KvB7
z9gEE-Y4K`MhlFVk16w2|AOYN!AMY&xssnBVI_?$!HA0bC0n3`OmSW2ey9blc=iCl9
zn(FAhjDS;d7!)%8Jhki6BYu!4wls?`
zZx6_5j0KzDGD<9AxAr