From 478db44e8715ab0e98977086d2f607d05eca7fda Mon Sep 17 00:00:00 2001
From: Luo Tao
Date: Fri, 23 Dec 2016 18:13:52 +0800
Subject: [PATCH] Add machine translation
---
machine_translation/.gitignore | 8 +
machine_translation/README.md | 581 +++++++++++++++++-
machine_translation/data/wmt14_data.sh | 53 ++
machine_translation/dataprovider.py | 94 +++
machine_translation/gen.sh | 26 +
.../image/encoder_attention.PNG | Bin 0 -> 53263 bytes
.../image/encoder_attention.png | Bin 0 -> 53263 bytes
machine_translation/image/encoder_decoder.png | Bin 0 -> 72064 bytes
machine_translation/image/gru.PNG | Bin 0 -> 47219 bytes
machine_translation/image/gru.png | Bin 0 -> 47219 bytes
machine_translation/image/nmt.png | Bin 0 -> 20487 bytes
machine_translation/moses_bleu.sh | 18 +
machine_translation/pretrained/wmt14_model.sh | 23 +
machine_translation/seqToseq_net.py | 168 +++++
machine_translation/train.sh | 26 +
15 files changed, 996 insertions(+), 1 deletion(-)
create mode 100644 machine_translation/.gitignore
create mode 100755 machine_translation/data/wmt14_data.sh
create mode 100755 machine_translation/dataprovider.py
create mode 100755 machine_translation/gen.sh
create mode 100644 machine_translation/image/encoder_attention.PNG
create mode 100644 machine_translation/image/encoder_attention.png
create mode 100644 machine_translation/image/encoder_decoder.png
create mode 100644 machine_translation/image/gru.PNG
create mode 100644 machine_translation/image/gru.png
create mode 100644 machine_translation/image/nmt.png
create mode 100755 machine_translation/moses_bleu.sh
create mode 100755 machine_translation/pretrained/wmt14_model.sh
create mode 100644 machine_translation/seqToseq_net.py
create mode 100755 machine_translation/train.sh
diff --git a/machine_translation/.gitignore b/machine_translation/.gitignore
new file mode 100644
index 00000000..3efbccb6
--- /dev/null
+++ b/machine_translation/.gitignore
@@ -0,0 +1,8 @@
+data/wmt14
+data/pre-wmt14
+pretrained/wmt14_model
+gen.log
+gen_result
+train.log
+dataprovider_copy_1.py
+*.pyc
diff --git a/machine_translation/README.md b/machine_translation/README.md
index 46b5a71c..84edb20c 100644
--- a/machine_translation/README.md
+++ b/machine_translation/README.md
@@ -1 +1,580 @@
-TODO: Write about https://github.com/PaddlePaddle/Paddle/tree/develop/demo/seqToseq
+# 机器翻译
+
+## 背景介绍
+
+机器翻译(machine translation, MT)就是用计算机来实现不同语言之间的翻译。被翻译的语言通常称为源语言(source language),翻译成的结果语言称为目标语言(target language)。机器翻译就是实现从源语言到目标语言转换的过程,是自然语言处理的重要研究领域之一。
+
+传统机器翻译方法是让语言学专家编写两种语言之间的转换规则,再将这些规则录入给计算机。但这个方法对语言学专家的要求非常高,并且,我们不可能知道一门语言究竟有多少隐含的使用规则,更何况两种甚至更多的语言。因此,我们往往无法得到一个完备的规则集合,这也是传统方法面临的主要挑战。
+
+统计机器翻译(Statistical Machine Translation, SMT),其转化规则是由机器自动从大规模的语料中学习得到的,而非我们人主动提供规则。因此,该方法克服了传统方法面临的知识获取瓶颈问题,但仍然存在许多挑战:1)需要人为设计许多特征,但永远无法覆盖所有的语言规则;2)难以利用全局的特征;3)依赖于许多预处理环节,如词语对齐、中文分词、规则抽取、句法分析等,而每个环节的错误会逐步累积,对翻译的影响也越来也大。
+
+面对上述挑战,一个较好的解决方法是利用神经网络。利用神经网络的机器翻译系统大致分为两类:1)仍以统计机器翻译系统为框架,只是利用神经网络来改进其中的关键模块(见图1的左半部分),如翻译模型、语言模型、调序模型等。2)不再以统计机器翻译系统为框架,而是直接用神经网络将源语言映射到目标语言(见图1的右半部分),即端到端的神经网络机器翻译(Neural Machine Translation, NMT)。
+
+
+图. 基于神经网络的机器翻译系统
+
+
+本教程主要介绍NMT模型,以及如何用PaddlePaddle来训练一个法英翻译(从法语翻译到英语)的模型。
+
+## 效果展示
+
+当法英翻译的模型训练完毕后,以下面的两句法语为例:
+```text
+Les avionneurs se querellent au sujet de la largeur des sièges alors que de grosses commandes sont en jeu Jet makers feud over seat width with big orders at stake
+La dispute fait rage entre les grands constructeurs aéronautiques à propos de la largeur des sièges de la classe touriste sur les vols long-courriers , ouvrant la voie à une confrontation amère lors du salon aéronautique de Dubaï qui a lieu de mois-ci . A row has flared up between leading plane makers over the width of tourist-class seats on long-distance flights , setting the tone for a bitter confrontation at this month 's Dubai Airshow .
+
+```
+如果设定显示的条数(即[集束搜索算法](### 集束搜索算法)的宽度)为3,生成的英语句子如下:
+```text
+0
+0 -19.0179 The will be rotated about the width of the seats , while large orders are at stake .
+1 -19.1114 The will be rotated about the width of the seats , while large commands are at stake .
+2 -19.5112 The will be rotated about the width of the seats , while large commands are at play .
+
+1
+0 -28.1139 The dispute is between the large aviation manufacturers about the width of the tourist seats on the flights , paving the way for a confrontation at the Dubai aviation fair , which is a month .
+1 -28.7138 The dispute is between the large aviation manufacturers about the width of the tourist seats on the flights , paving the way for a confrontation at the Dubai aviation fair , which takes place months .
+2 -29.3381 The dispute is between the large aviation manufacturers about the width of the tourist seats on the flights , paving the way for a confrontation at the Dubai aviation fair , which takes place in month .
+```
+- 第一行的“0”和第6行的“1”表示翻译第几条法语句子。
+- 其他六行列出了翻译结果,其中右起第一列是生成的英语句子,右起第二列是该条英语句子的得分(从大到小),右起第三列是序号。
+- 另外有两个特殊表示:``表示句子的结尾,`unk`表示无法识别(即不在训练字典中)的单词。
+
+## 模型概览
+
+本节依次介绍GRU模型,NMT中典型的“编码器-解码器”(Encoder-Decoder)框架和“注意力”(Attention)机制,以及集束搜索(Beam Search)算法。
+
+### GRU模型
+
+GRU(Gated Recurrent Unit,门控循环单元)是Cho等人在LSTM上提出的简化版本,如下图所示。GRU单元只有两个门,分别是重置门(Reset Gate)和更新门(Update Gate),用于控制记忆内容是否能继续保存下去。
+
+
+图. GRU模型
+
+
+Chung等人通过多组实验表明,GRU虽然参数更少,但是在多个任务上都和LSTM有相近的表现。
+
+### 编码器-解码器框架
+
+编码器-解码器(Encoder-Decoder)框架用于解决一个任意长度的源序列到另一个任意长度的目标序列的变换问题。即编码阶段将整个源序列压缩成一个固定维度的向量,解码阶段以概率的方式从中解码出整个目标序列。其中编码和解码的过程通常使用RNN实现,但由于普通的RNN存在梯度消失和梯度爆炸问题,因此通常引入LSTM或GRU。
+
+
+图. 编码器-解码器框架
+
+
+### 编码器
+
+编码阶段分为三步:
+- 独热编码(one-hot coding,1-of-K coding)表示:将源语言句子$x=\left \{ x_1,x_2,...,x_T \right \}$的每个词表示成一个向量$w_i\epsilon R^{\left | V \right |,i=1,2,...,T}$ (T暂不包括句子结束标记``)。这个向量的维度与词汇表大小$\left | V \right |$ 相同,并且只有一个维度上有值1(该位置对应该词在词汇表中的位置),其余全是0。
+- 映射到低维语义空间的词向量:独热编码表示存在两个问题,1)生成的向量维度往往很大,容易造成维数灾难;2)无法刻画词与词之间的关系(如语义相似性,也就是无法很好地表达语义)。因此需再映射到低维的语义空间,由一个固定维度的稠密向量表示,称为词向量。记映射矩阵为$C\epsilon R^{K\times \left | V \right |}$,用$s_i=Cw_i$表示第$i$个词的词向量,向量维度$K$通常取100-500之间。
+- 用RNN压缩源语言词序列:这一过程的计算公式为$h_i=\varnothing _\theta \left ( h_{i-1}, s_i \right )$,其中$h_0$是一个全零的向量,最后得到的$h_T$就是整个源语言句子的压缩表示。
+
+### 解码器
+
+解码阶段的总体思路是:根据当前单词$u_i$,当前RNN隐层状态$z_i$,计算出下一个隐层状态$z_{i+1}$。然后用softmax归一化得到概率分布$p_{i+1}$,以此采样出单词$u_{i+1}$。不断重复上述操作,直到获得句子结束标记``或超过RNN循环次数为止。
+
+$z_i$的计算公式如下:
+$$z_{i+1}=\phi _{\theta '}\left ( c,u_i,z_i \right )$$
+其中$c=h_T$是源语言句子的压缩表示,$z_0$是一个全零的向量,$u_0$是源语言句子的结束标记``。
+
+概率分布公式如下:
+$$p\left ( u_i|u_{
+
+图. 基于注意力机制的编码器
+
+
+### 解码器
+
+与简单的解码器不同,这里$z_i$的计算公式如下:
+$$z_{i+1}=\phi _{\theta '}\left ( c_i,u_i,z_i \right )$$
+即源语言句子的压缩表示由原来的$c$变成了$c_i$,同时$c_i$可以通过各个$h_i$的加权平均得到:$c_i=\sum _{j=1}^{T}\alpha _{ij}h_j$,$\alpha _{ij}$为权重。
+
+### 集束搜索算法
+
+集束搜索(Beam Search)是一种启发式图搜索算法,通常用在解空间较大的系统中,如机器翻译、语音识别等。原因是这些系统的数据集通常非常大,而且也没有唯一正确解,因此用最快的方法找到最接近正确的解才是系统的目标。
+
+集束搜索算法使用广度优先策略建立搜索树,在树的每一层,按照启发代价(Heuristic Cost)对节点进行排序,然后仅留下预先确定的个数(Beam Width,Beam Size,集束宽度)的节点。只有这些节点会在下一层继续扩展,其他节点就被剪掉了,也就是说保留了质量较高的节点,剪掉了质量较差的节点。因此,搜索所占用的空间和时间大幅减少,但缺点是可能存在最优解被丢弃。
+
+## 数据准备
+
+### 下载与解压缩
+
+本教程使用[WMT-14](http://www-lium.univ-lemans.fr/~schwenk/cslm_joint_paper/)数据集中的[bitexts(after selection)](http://www-lium.univ-lemans.fr/~schwenk/cslm_joint_paper/data/bitexts.tgz)作为训练集,[dev+test data](dev 与 test 数据)作为测试集和生成集。
+
+在Linux下,只需简单地运行以下命令:
+```bash
+cd data
+./wmt14_data.sh
+```
+得到的数据集`data/wmt14`包含如下三个文件夹:
+
+
+
+文件夹名 |
+法英平行语料文件 |
+文件数 |
+文件大小 |
+
+
+
+train |
+ccb2_pc30.src, ccb2_pc30.trg, etc |
+12 |
+3.55G |
+
+
+
+test |
+ntst1213.src, ntst1213.trg |
+2 |
+1636k |
+
+
+
+
+gen |
+ntst14.src, ntst14.trg |
+2 |
+864k |
+
+
+
+
+- `XXX.src`是源法语文件,`XXX.trg`是目标英语文件,文件中的每行存放一个句子
+- `XXX.src`和`XXX.trg`的行数一致,且两者任意第$i$行的句子之间都有着一一对应的关系。
+
+### 用户自定义数据集(可选)
+
+如果您想使用自己的数据集,只需按照如下方式组织,并将它们放在`data`目录下:
+```text
+user_dataset
+├── train
+│ ├── train_file1.src
+│ ├── train_file1.trg
+│ └── ...
+├── test
+│ ├── test_file1.src
+│ ├── test_file1.trg
+│ └── ...
+├── gen
+│ ├── gen_file1.src
+│ ├── gen_file1.trg
+│ └── ...
+```
+
+- 一级目录`user_dataset`:用户自定义的数据集名字。
+- 二级目录`train`、`test`和`gen`:必须使用这三个文件夹名字。
+- 三级目录:存放源语言到目标语言的平行语料库文件,后缀名必须使用`.src`和`.trg`。
+
+### 数据预处理
+
+我们的预处理流程包括两步:
+- 将每个源语言到目标语言的平行语料库文件合并为一个文件:
+ - 合并每个`XXX.src`和`XXX.trg`文件为`XXX`。
+ - `XXX`中的第$i$行 = `XXX.src`中的第$i$行 + '\t' + `XXX.trg`中的第$i$行。
+- 创建训练数据的“源字典”和“目标字典”。每个字典都有**DICTSIZE**个单词,包括:词频最高的(DICTSIZE - 3)个单词,和3个特殊符号``(序列的开始)、``(序列的结束)和``(未包含在字典中的单词)。
+
+预处理可以使用`preprocess.py`:
+```python
+python preprocess.py -i INPUT [-d DICTSIZE] [-m]
+```
+- `-i INPUT`:输入的原始数据集路径
+- `-d DICTSIZE`:指定的字典单词数,如果没有设置,字典会包含输入数据集中的所有单词
+- `-m --mergeDict`:合并 “源字典”和“目标字典”,使得两个字典有相同的上下文
+
+本教程的具体命令如下:
+```python
+python preprocess.py -i data/wmt14 -d 30000
+```
+请耐心等待几分钟的时间,您会在屏幕上看到:
+```text
+concat parallel corpora for dataset
+build source dictionary for train data
+build target dictionary for train data
+dictionary size is 30000
+```
+预处理好的数据集存放在`data/pre-wmt14`目录下:
+```text
+pre-wmt14
+├── train
+│ └── train
+├── test
+│ └── test
+├── gen
+│ └── gen
+├── train.list
+├── test.list
+├── gen.list
+├── src.dict
+└── trg.dict
+```
+- `train`、`test`和`gen`:分别包含了法英平行语料库的训练、测试和生成数据。其每个文件的每一行均分为两部分,前半部分是法语序列,后半部分是对应的英语序列。
+- `train.list`、`test.list`和`gen.list`:分别记录了`train`、`test`和`gen`文件夹中的文件路径。
+- `src.dict`和`trg.dict`:源(法语)和目标(英语)字典。每个字典都含有30000个单词,包括29997个最高频单词和3个特殊符号。
+
+### 提供数据给PaddlePaddle
+
+我们通过`dataprovider.py`将数据提供给PaddlePaddle。具体步骤如下:
+
+1. 首先,引入PaddlePaddle的PyDataProvider2包,并定义三个特殊符号。
+```python
+from paddle.trainer.PyDataProvider2 import *
+UNK_IDX = 2 #未包含在字典中的单词
+START = "" #序列的开始
+END = "" #序列的结束
+```
+2. 其次,使用初始化函数`hook`,分别定义了训练模式和应用(这里为生成)模式下的数据输入格式(`input_types`)。其中`src_dict_path`(源语言字典路径)、`trg_dict_path`(目标语言字典路径)和`is_generating`(训练或生成模式)是从模型配置中传入的对象,调用方式请见[训练模型配置说明](### 训练模型配置说明)。
+```python
+def hook(settings, src_dict_path, trg_dict_path, is_generating, file_list,
+ **kwargs):
+ # job_mode = 1: 训练模式;0: 生成模式
+ settings.job_mode = not is_generating
+
+ def fun(dict_path): # 根据字典路径加载字典
+ out_dict = dict()
+ with open(dict_path, "r") as fin:
+ out_dict = {
+ line.strip(): line_count
+ for line_count, line in enumerate(fin)
+ }
+ return out_dict
+
+ settings.src_dict = fun(src_dict_path)
+ settings.trg_dict = fun(trg_dict_path)
+
+ if settings.job_mode: #训练模式
+ settings.input_types = {
+ 'source_language_word': #源语言序列
+ integer_value_sequence(len(settings.src_dict)),
+ 'target_language_word': #目标语言序列
+ integer_value_sequence(len(settings.trg_dict)),
+ 'target_language_next_word': #目标语言序列的下一个词
+ integer_value_sequence(len(settings.trg_dict))
+ }
+ else: #生成模式
+ settings.input_types = {
+ 'source_language_word': #源语言序列
+ integer_value_sequence(len(settings.src_dict)),
+ 'sent_id': #源语言序列编号
+ integer_value_sequence(len(open(file_list[0], "r").readlines()))
+ }
+```
+3. 最后,使用`process`函数打开文本文件`file_name`,读取每一行,将行中的数据转换成与`input_types`一致的格式,再用`yield`关键字返回给PaddlePaddle进程。注意:由于本示例中的训练数据有3.55G,对于内存较小的机器,不能一次性加载进内存,所以推荐使用`pool_size`变量来设置内存中暂存的数据条数。
+
+```python
+def _get_ids(s, dictionary): # 获得源语言序列中的每个单词在字典中的位置
+ words = s.strip().split()
+ return [dictionary[START]] + \
+ [dictionary.get(w, UNK_IDX) for w in words] + \
+ [dictionary[END]]
+
+@provider(init_hook=hook, pool_size=50000)
+def process(settings, file_name):
+ with open(file_name, 'r') as f:
+ for line_count, line in enumerate(f):
+ line_split = line.strip().split('\t')
+ if settings.job_mode and len(line_split) != 2:
+ continue
+ src_seq = line_split[0]
+ src_ids = _get_ids(src_seq, settings.src_dict)
+
+ if settings.job_mode:
+ trg_seq = line_split[1]
+ trg_words = trg_seq.split()
+ trg_ids = [settings.trg_dict.get(w, UNK_IDX) for w in trg_words]
+
+ # 如果任意一个序列长度超过80个单词,在训练模式下会移除这条样本,以防止RNN过深。
+ if len(src_ids) > 80 or len(trg_ids) > 80:
+ continue
+ trg_ids_next = trg_ids + [settings.trg_dict[END]]
+ trg_ids = [settings.trg_dict[START]] + trg_ids
+ yield {
+ 'source_language_word': src_ids,
+ 'target_language_word': trg_ids,
+ 'target_language_next_word': trg_ids_next
+ }
+ else:
+ yield {'source_language_word': src_ids, 'sent_id': [line_count]}
+```
+
+## 模型配置说明
+
+### 数据定义
+
+1. 首先,定义数据集路径和源/目标语言字典路径,并用`is_generating`变量定义当前配置是训练模式(默认)还是应用模式。该变量接受从命令行传入的参数,使用方法见[应用命令与结果](### 应用命令与结果)。
+
+```python
+import os
+from paddle.trainer_config_helpers import *
+
+data_dir = "./data/pre-wmt14" # 数据集路径
+src_lang_dict = os.path.join(data_dir, 'src.dict') # 源语言字典路径
+trg_lang_dict = os.path.join(data_dir, 'trg.dict') # 目标语言字典路径
+is_generating = get_config_arg("is_generating", bool, False) # 配置模式
+```
+2. 其次,通过`define_py_data_sources2`函数从`dataprovider.py`中读取数据,并用`args`变量传入源/目标语言的字典路径以及配置模式。
+
+```python
+if not is_generating:
+ train_list = os.path.join(data_dir, 'train.list')
+ test_list = os.path.join(data_dir, 'test.list')
+else:
+ train_list = None
+ test_list = os.path.join(data_dir, 'gen.list')
+
+define_py_data_sources2(
+ train_list,
+ test_list,
+ module="dataprovider",
+ obj="process",
+ args={
+ "src_dict_path": src_lang_dict,
+ "trg_dict_path": trg_lang_dict,
+ "is_generating": is_generating
+ })
+```
+
+### 算法配置
+
+```python
+settings(
+ learning_method = AdamOptimizer(),
+ batch_size = 50 is not is_generating else 1,
+ learning_rate = 5e-4 is not is_generating else 0)
+```
+
+### 模型结构
+```python
+source_dict_dim = len(open(src_lang_dict, "r").readlines())
+target_dict_dim = len(open(trg_lang_dict, "r").readlines())
+word_vector_dim = 512 # dimension of word vector
+decoder_size = 512 # dimension of hidden unit in GRU Decoder network
+encoder_size = 512 # dimension of hidden unit in GRU Encoder network
+
+if is_generating:
+ beam_size=3 # expand width in beam search
+ max_length=250 # a stop condition of sequence generation
+ gen_trans_file = get_config_arg("gen_trans_file", str, None)
+
+#### Encoder
+src_word_id = data_layer(name='source_language_word', size=source_dict_dim)
+src_embedding = embedding_layer(
+ input=src_word_id,
+ size=word_vector_dim,
+ param_attr=ParamAttr(name='_source_language_embedding'))
+src_forward = simple_gru(input=src_embedding, size=encoder_size)
+src_backward = simple_gru(
+ input=src_embedding, size=encoder_size, reverse=True)
+encoded_vector = concat_layer(input=[src_forward, src_backward])
+
+with mixed_layer(size=decoder_size) as encoded_proj:
+ encoded_proj += full_matrix_projection(input=encoded_vector)
+
+backward_first = first_seq(input=src_backward)
+with mixed_layer(
+ size=decoder_size,
+ act=TanhActivation(), ) as decoder_boot:
+ decoder_boot += full_matrix_projection(input=backward_first)
+
+#### Decoder
+def gru_decoder_with_attention(enc_vec, enc_proj, current_word):
+ decoder_mem = memory(
+ name='gru_decoder', size=decoder_size, boot_layer=decoder_boot)
+
+ context = simple_attention(
+ encoded_sequence=enc_vec,
+ encoded_proj=enc_proj,
+ decoder_state=decoder_mem, )
+
+ with mixed_layer(size=decoder_size * 3) as decoder_inputs:
+ decoder_inputs += full_matrix_projection(input=context)
+ decoder_inputs += full_matrix_projection(input=current_word)
+
+ gru_step = gru_step_layer(
+ name='gru_decoder',
+ input=decoder_inputs,
+ output_mem=decoder_mem,
+ size=decoder_size)
+
+ with mixed_layer(
+ size=target_dict_dim, bias_attr=True,
+ act=SoftmaxActivation()) as out:
+ out += full_matrix_projection(input=gru_step)
+ return out
+
+decoder_group_name = "decoder_group"
+group_inputs = [
+ StaticInput(
+ input=encoded_vector, is_seq=True), StaticInput(
+ input=encoded_proj, is_seq=True)
+]
+
+if not is_generating:
+ trg_embedding = embedding_layer(
+ input=data_layer(
+ name='target_language_word', size=target_dict_dim),
+ size=word_vector_dim,
+ param_attr=ParamAttr(name='_target_language_embedding'))
+ group_inputs.append(trg_embedding)
+
+ # For decoder equipped with attention mechanism, in training,
+ # target embeding (the groudtruth) is the data input,
+ # while encoded source sequence is accessed to as an unbounded memory.
+ # Here, the StaticInput defines a read-only memory
+ # for the recurrent_group.
+ decoder = recurrent_group(
+ name=decoder_group_name,
+ step=gru_decoder_with_attention,
+ input=group_inputs)
+
+ lbl = data_layer(name='target_language_next_word', size=target_dict_dim)
+ cost = classification_cost(input=decoder, label=lbl)
+ outputs(cost)
+else:
+ # In generation, the decoder predicts a next target word based on
+ # the encoded source sequence and the last generated target word.
+
+ # The encoded source sequence (encoder's output) must be specified by
+ # StaticInput, which is a read-only memory.
+ # Embedding of the last generated word is automatically gotten by
+ # GeneratedInputs, which is initialized by a start mark, such as ,
+ # and must be included in generation.
+
+
+ trg_embedding = GeneratedInput(
+ size=target_dict_dim,
+ embedding_name='_target_language_embedding',
+ embedding_size=word_vector_dim)
+ group_inputs.append(trg_embedding)
+
+ beam_gen = beam_search(
+ name=decoder_group_name,
+ step=gru_decoder_with_attention,
+ input=group_inputs,
+ bos_id=0,
+ eos_id=1,
+ beam_size=beam_size,
+ max_length=max_length)
+
+ seqtext_printer_evaluator(
+ input=beam_gen,
+ id_input=data_layer(
+ name="sent_id", size=1),
+ dict_file=trg_lang_dict,
+ result_file=gen_trans_file)
+ outputs(beam_gen)
+```
+
+## 训练模型
+
+可以通过以下命令来训练模型:
+
+```bash
+./train.sh
+```
+其中`train.sh` 的内容为:
+
+```bash
+paddle train \
+--config='seqToseq_net.py' \
+--save_dir='model' \
+--use_gpu=false \
+--num_passes=16 \
+--show_parameter_stats_period=100 \
+--trainer_count=4 \
+--log_period=10 \
+--dot_period=5 \
+2>&1 | tee 'train.log'
+```
+- config: 设置神经网络的配置文件。
+- save_dir: 设置保存模型的输出路径。
+- use_gpu: 是否使用GPU训练,这里使用CPU。
+- num_passes: 设置passes的数量。PaddlePaddle中的一个pass表示对数据集中所有样本的一次完整训练。
+- show_parameter_stats_period: 这里每隔100个batch显示一次参数统计信息。
+- trainer_count: 设置CPU线程数或者GPU设备数。
+- log_period: 这里每隔10个batch打印一次日志。
+- dot_period: 这里每个5个batch打印一个点"."。
+
+训练的损失函数每隔10个batch打印一次,您将会看到如下消息:
+```text
+I0719 19:16:45.952062 15563 TrainerInternal.cpp:160] Batch=10 samples=500 AvgCost=198.475 CurrentCost=198.475 Eval: classification_error_evaluator=0.737155 CurrentEval: classification_error_evaluator=0.737155
+I0719 19:17:56.707319 15563 TrainerInternal.cpp:160] Batch=20 samples=1000 AvgCost=157.479 CurrentCost=116.483 Eval: classification_error_evaluator=0.698392 CurrentEval: classification_error_evaluator=0.659065
+.....
+```
+- AvgCost:从第0个batch到当前batch的平均损失值。
+- CurrentCost:当前batch的损失值。
+- classification\_error\_evaluator(Eval):从第0个评估到当前评估中,每个单词的预测错误率。
+- classification\_error\_evaluator(CurrentEval):当前评估中,每个单词的预测错误率。
+
+当classification\_error\_evaluator的值低于0.35时,模型就训练成功了。
+
+## 应用模型
+
+### 下载预训练的模型
+
+由于机器翻译模型的训练非常耗时,我们在50个物理节点(每节点含有2颗6核CPU)的集群中,花了5天时间训练了16个pass,其中每个pass耗时7个小时。因此,我们提供了一个预训练好的模型(pass-00012)供大家直接下载使用。该模型大小为205MB,在所有16个模型中有最高的[BLEU评估](### BLEU评估)值27.77。下载并解压模型的命令如下:
+```bash
+cd pretrained
+./wmt14_model.sh
+```
+
+### 应用命令与结果
+
+可以通过以下命令来进行法英翻译:
+
+```bash
+./gen.sh
+```
+其中`gen.sh` 的内容为:
+
+```bash
+paddle train \
+--job=test \
+--config='seqToseq_net.py' \
+--save_dir='pretrained/wmt14_model' \
+--use_gpu=true \
+--num_passes=13 \
+--test_pass=12 \
+--trainer_count=1 \
+--config_args=is_generating=1,gen_trans_file="gen_result" \
+2>&1 | tee 'translation/gen.log'
+```
+与训练命令不同的参数如下:
+- job:设置任务的模式为测试。
+- save_dir:设置存放预训练模型的路径。
+- num_passes和test_pass:加载第$i\epsilon \left [ test\_pass,num\_passes-1 \right ]$轮的模型参数,这里只加载 `data/wmt14_model/pass-00012`。
+- config_args:将命令行中的自定义参数传递给模型配置。
+
+翻译结果请见[效果展示](## 效果展示)。
+
+### BLEU评估
+
+BLEU(Bilingual Evaluation understudy)是一种广泛使用的机器翻译自动评测指标,由IBM的watson研究中心于2002年提出,基本出发点是:机器译文越接近专业翻译人员的翻译结果,翻译系统的性能越好。其中,机器译文与人工参考译文之间的接近程度,采用句子精确度(precision)的计算方法,即比较两者的n元词组相匹配的个数,匹配的个数越多,BLEU得分越好。
+
+[Moses](http://www.statmt.org/moses/) 是一个统计学的开源机器翻译系统,我们使用其中的 [multi-bleu.perl](https://github.com/moses-smt/mosesdecoder/blob/master/scripts/generic/multi-bleu.perl) 来做BLEU评估。下载脚本的命令如下:
+```bash
+./moses_bleu.sh
+```
+
+## 总结
+
+## 参考文献
+
+1. Bahdanau D, Cho K, Bengio Y. [Neural machine translation by jointly learning to align and translate](https://arxiv.org/abs/1409.0473)[J]. arXiv preprint arXiv:1409.0473, 2014.
+1. Cho K, Van Merriënboer B, Gulcehre C, et al. [Learning phrase representations using RNN encoder-decoder for statistical machine translation](https://arxiv.org/abs/1406.1078)[J]. arXiv preprint arXiv:1406.1078, 2014.
+1. Chung J, Gulcehre C, Cho K H, et al. [Empirical evaluation of gated recurrent neural networks on sequence modeling](https://arxiv.org/abs/1412.3555)[J]. arXiv preprint arXiv:1412.3555, 2014.
+1. http://en.wikipedia.org/wiki/Beam_search
+1. Papineni K, Roukos S, Ward T, et al. [BLEU: a method for automatic evaluation of machine translation](http://dl.acm.org/citation.cfm?id=1073135)[C]//Proceedings of the 40th annual meeting on association for computational linguistics. Association for Computational Linguistics, 2002: 311-318.
+1. Clear.的博客. http://blog.csdn.net/u011414416
+
diff --git a/machine_translation/data/wmt14_data.sh b/machine_translation/data/wmt14_data.sh
new file mode 100755
index 00000000..43f67168
--- /dev/null
+++ b/machine_translation/data/wmt14_data.sh
@@ -0,0 +1,53 @@
+#!/bin/bash
+# Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserved
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+set -e
+set -x
+mkdir wmt14
+cd wmt14
+
+# download the dataset
+wget http://www-lium.univ-lemans.fr/~schwenk/cslm_joint_paper/data/bitexts.tgz
+wget http://www-lium.univ-lemans.fr/~schwenk/cslm_joint_paper/data/dev+test.tgz
+
+# untar the dataset
+tar -zxvf bitexts.tgz
+tar -zxvf dev+test.tgz
+gunzip bitexts.selected/*
+mv bitexts.selected train
+rm bitexts.tgz
+rm dev+test.tgz
+
+# separate the dev and test dataset
+mkdir test gen
+mv dev/ntst1213.* test
+mv dev/ntst14.* gen
+rm -rf dev
+
+set +x
+# rename the suffix, .fr->.src, .en->.trg
+for dir in train test gen
+do
+ filelist=`ls $dir`
+ cd $dir
+ for file in $filelist
+ do
+ if [ ${file##*.} = "fr" ]; then
+ mv $file ${file/%fr/src}
+ elif [ ${file##*.} = 'en' ]; then
+ mv $file ${file/%en/trg}
+ fi
+ done
+ cd ..
+done
diff --git a/machine_translation/dataprovider.py b/machine_translation/dataprovider.py
new file mode 100755
index 00000000..c2b49804
--- /dev/null
+++ b/machine_translation/dataprovider.py
@@ -0,0 +1,94 @@
+# Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserved
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+from paddle.trainer.PyDataProvider2 import *
+
+UNK_IDX = 2
+START = ""
+END = ""
+
+
+def hook(settings, src_dict_path, trg_dict_path, is_generating, file_list,
+ **kwargs):
+ # job_mode = 1: training mode
+ # job_mode = 0: generating mode
+ settings.job_mode = not is_generating
+
+ def fun(dict_path):
+ out_dict = dict()
+ with open(dict_path, "r") as fin:
+ out_dict = {
+ line.strip(): line_count
+ for line_count, line in enumerate(fin)
+ }
+ return out_dict
+
+ settings.src_dict = fun(src_dict_path)
+ settings.trg_dict = fun(trg_dict_path)
+
+ settings.logger.info("src dict len : %d" % (len(settings.src_dict)))
+
+ if settings.job_mode:
+ settings.slots = {
+ 'source_language_word':
+ integer_value_sequence(len(settings.src_dict)),
+ 'target_language_word':
+ integer_value_sequence(len(settings.trg_dict)),
+ 'target_language_next_word':
+ integer_value_sequence(len(settings.trg_dict))
+ }
+ settings.logger.info("trg dict len : %d" % (len(settings.trg_dict)))
+ else:
+ settings.slots = {
+ 'source_language_word':
+ integer_value_sequence(len(settings.src_dict)),
+ 'sent_id':
+ integer_value_sequence(len(open(file_list[0], "r").readlines()))
+ }
+
+
+def _get_ids(s, dictionary):
+ words = s.strip().split()
+ return [dictionary[START]] + \
+ [dictionary.get(w, UNK_IDX) for w in words] + \
+ [dictionary[END]]
+
+
+@provider(init_hook=hook, pool_size=50000)
+def process(settings, file_name):
+ with open(file_name, 'r') as f:
+ for line_count, line in enumerate(f):
+ line_split = line.strip().split('\t')
+ if settings.job_mode and len(line_split) != 2:
+ continue
+ src_seq = line_split[0] # one source sequence
+ src_ids = _get_ids(src_seq, settings.src_dict)
+
+ if settings.job_mode:
+ trg_seq = line_split[1] # one target sequence
+ trg_words = trg_seq.split()
+ trg_ids = [settings.trg_dict.get(w, UNK_IDX) for w in trg_words]
+
+ # remove sequence whose length > 80 in training mode
+ if len(src_ids) > 80 or len(trg_ids) > 80:
+ continue
+ trg_ids_next = trg_ids + [settings.trg_dict[END]]
+ trg_ids = [settings.trg_dict[START]] + trg_ids
+ yield {
+ 'source_language_word': src_ids,
+ 'target_language_word': trg_ids,
+ 'target_language_next_word': trg_ids_next
+ }
+ else:
+ yield {'source_language_word': src_ids, 'sent_id': [line_count]}
diff --git a/machine_translation/gen.sh b/machine_translation/gen.sh
new file mode 100755
index 00000000..140d5626
--- /dev/null
+++ b/machine_translation/gen.sh
@@ -0,0 +1,26 @@
+#!/bin/bash
+# Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserved
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+set -e
+
+paddle train \
+ --job=test \
+ --config='seqToseq_net.py' \
+ --save_dir='pretrained/wmt14_model' \
+ --use_gpu=false \
+ --num_passes=13 \
+ --test_pass=12 \
+ --trainer_count=1 \
+ --config_args=is_generating=1,gen_trans_file="gen_result" \
+ 2>&1 | tee 'gen.log'
diff --git a/machine_translation/image/encoder_attention.PNG b/machine_translation/image/encoder_attention.PNG
new file mode 100644
index 0000000000000000000000000000000000000000..dde2fc60d0db3b6d7f4040a4aaeb499e176c8084
GIT binary patch
literal 53263
zcmV)|KzzT6P)Px#1ZP1_K>z@;j|==^1poj532;bRa{vGmbN~PnbOGLGA9w%&&!kC2K~#8N?Og?c
zTt(8ZtXte53W4D6dRTDhAh_MZ@BhAf
zQ?tEqXLe+FXJ@nX!Z5S%_3Q3xsjjZB`l^SAOEOoc1v;e#F!UNdY3$KMdf-z#{WDqq
z&^W1^`I+R5*iZ)kW0GVQ_tP|zWfkm!9~`p$&Rm%mSTR~4JiJ#7axzqOtrh??<$s>f
zRP$EZNOFg)C0+yWW#NBbma<&1YN5Q~dG^hl8Tp}W^>wDUt+hag5og9nr?&uvVV|*5
z@&(f+bM}-&LsDk#va<0r3!m(eBy3DL!;Cw<^D-4^mlnt{;&y4qOeRUUfU9Zf0md5Q
ztvzyb!GL>6<&@`T`7{5LvbXM&hUE*DNt0izMlHjKlWz9Ri|N$@8AhC5{n3qU6Vm%q
zJSKClSR$1Z?v$F(UzM5Uv2ykC@0t6JIrUx?(4c-(dSK2!4yBhHM0
z^lAZ0#84Awl?;;n4fm3)fEI{}AJ(YC+j+b}k$_V75l77q-Kao#RtSQ#RhCK}AkZ*r%>X|J5aL
zlf$G(ZXVUjYImHmr0B{6qWji8!-%_Y-=_!Vp+h%1Y}EYtKdG5M8KN%!TRc~4fBH}w
z>*}Ot>VKuN2KUNprRJLnzPBB$D!heL^-zxtyGJ8gaYiCek50|hBGDG;k-?fsw8=8*
z+pPu2JR!w4(()lYOR6V71)Pb`Ar0q9V?({QNe(Mw;7Gd0V!K*ScvFyhR>
z=-d`ikToBVIM#;}aS!T&>uaT9?w3$Q9Y1z5B_z`V8P!BG
zt+qnGV@xpJ54?P4N)J3$RfH@rGJ1&>a!_^~qB0V3x9RHE2@QuXgoA}gkBX4OHH`bf
zI|SHKT`U=(FQEq6wjP&-4&hX8rur6k!frY@&nEDQ$az^F;rgI#HIfL(&%WISEhqRO
zvP5i>bf(KQEs$<4kYU8>)+3!zAKUW#KE%Gn8QjE&l@Z}Xu@E9!puWBtn!_d?+u$H+
zX0qnrXW5bE+GgpZ)Q>s%Mr^cu3zZZ`2nyc_^Zia}=1h^97Kqvc8AhBL9AVunL|#Bo
z)=K^CFC9iq$+tnWd#xl{eOJNndN4C!Ks3}y-JEYB8P|u|Hq`|^iuy{7PHsYP%XE9D1=6Vn
zGK@H#dZUx-LTd!76Fj&HSH1Z!shNBifOZOf=0zuox@yVa@)RlB?Vr8^0M-fhi)Tss
z!@H^ZSR)vxzF%7o+ur@8SE>Z2Zg1$(Ek$
z>?%crhQrm_6Uyo3_wA*w&&4NBkR0faJ$mJ37;!fr@##r^h7qS{zof2KRH^dx3kPwf
zi{?q=?Q2Qt+9yca=I2OW7ML73XAaZ|CB+5Ot1uskls+_NRdtOlE3d&fn6)0-fpH>T
zVL`6+EkSrAP1i%JYwD!5s#+>5tEI8N0n#&AHkfo#VS)5Po_R<|X}Atj?6R_Isi>-w
zhI+73zB(_;$rTBtJh7`4uAHJhd|}uWpo@
zNB0GIkVwICuSjtL7J*Q!+F@eq8aY!^rUhDWfsFZDcON0NfKWvM9M&LV)~vL>NY4?{
zD_^94NuKm8A;Zj-qC7ZF03pq+E66~56=q9cJnM^eeM|E3J4brvL-!kE!epj-x!F>j
zn}uh7ntuG?ch7uC(8y0!8Yr6*bkBUGD?)yF-oIyo=GzktG#`3m0<^J~*^ri57na56
ztYhDjTe#cn{Juk{yj2Q|C!NY>6DFz0DO#&7WD8v)$ih<
zEu^>RdxW=i-?iUO<%TRhLQJ>^R2s|5ap?H)UTR8_ee7$}8w-k}WVXX)?GdT3I5{YdK9axTfgu}R+xEwiq059rY6dlraS4oMC9z9xCUU_A;2;tSze;i5&7hjtt?
zbf}KU640#e9BOb^Rn^wMvJpJ_3^8EA9OL;jQBl6%;
zhAnn&Z7r+;@?_n0*Oin1cCzfg`|i@GZ=di)w+WE!;5R#Bsu60-7D~mnt4j9PXG`(!
z7pq+`r=?!-o1s-D&je*H?DfVFx+sZzsvt
zTW_slt|A|twnq)SM;;kQoZ^0V4>~x(DP3KC_0@924L9iad7pjuk+s)eTLupvtkTu;
z<;!K-v}wwyf0+7%?6lKPa_eok%Id4H-a=|iiW!F(C)E<=OXo}NZR?4*$;nc@+eK0Y
zQ(%=MeN%{7>JbCfO7iG;g*Oa~Y-dk2#Wfke&yEp8%>t*TU#WLlSPvo6<
z-jUjxS~>aTljXeg&r^Hv3^Pu?qcV&*`L;{=%^(xzw(o=!PLPQcC(5a(o+^hPdZ-K^
zK0JI##eq#`%xV)!3Q6dop;_@pP3}%9%@CZTvSF)3j;8xWeetr
z+`W<1Z8T1bcfA-kypVJ#5z_`NgaI6xXtPKFg9RgQTs}uCUN}waXH1gX4gV_DYy45_
ziU;EvR0LUI*3e97uuznmRbL|o(_fR^&u>xZj-mq}kepSwR=TozQ0TjCpjcfonqN)I
zG2s&;aX?vu7t?;qQ~FgPC7~Mx#u1^?6AYMzt&h|
z4LGm(jx9{j-}PWpTvR^+le*@bYh>#8-^+dX-6uytLZ-e%0f|C~kJX#6P(2!eDJ~Y?6c3RG(2|fSfBY|&{I-&b&b5Q69J6jXGq86
z{`yyy%wB)}byZnJJ0P+N=T7j5lN}tY0Ss#Cyg8C}$68Xi@kvs$`xR1DMEhNC@_ki9
zG$!oxNLoiw9Rb(k$B&TOpI()!9j=wC)%H?Go(~t~Tz=rhLFP_-;W|jrwfZfRyL7q~
zzco(skU`NguS)K~QDOB!QVLq}z;)IGYtsyXtGd0BcE<%MmHqiI>f2Yn&S2yVak*kcbl>ZqgS{PWM(?Kc@Q
z`-$IVPGp{Bz?6u|xTEYzv!@-Y-0}>CDIh@AQ
z>NnrV2h7-8v~Z!f0H5oxyG}V1CXVLG{Q16Jm|Wgtk3HsHc;SU!Sy`FhcI(04{s;BK
zzXsTS!D7Rk`Qz8#@4rp=Dl01WzCI79wRha_Cc0`D&+?XDG18lJ{~_MA8MD2)^X7XM
z6%|@9*5B&j(#HF&>*7U=yq|xY@6CMuMsLyo_3$dEzKPO77t052sGk1aSX1p)fA)k|
zG3i<$c2;`;9Kv(IK1l7CgLjseRe1|;-`QJu>rUR1(kjsB(;vzu;&cN+vyf
z^-_s>Z|LQQ4<9D~{`V8%LlRSGeEaRUs&l3!cgZD}$ijud)EqJN`Mzpx9T2J-*dRse)Xv8ch%N_9(k0(tk{cRP)aRJU8ZmbbzzDQQfID?PEA
z2OMyKH*nxU4-8VJRg=WRQb$O7jU;g~4fMk*L7#ToX&xB3H)F;OrGEPK=^hxchl!yQ
z&ITK7;N5)l&CMj`Sj|*Vi6>T~2+#S>vIqC}=3Tv(H}m(o-f~Dw(dcp|V*ajg;7-8v
zs;VlzSqqkVzdt?RTXN|DuVTqOtxMhFnO^xz=Xy*2)z@2iu6T29+|v8)?R&lDm5{VU
zb+K=&ds$_*H|vKly_r)#_kh;sOVe?FnB`?xT#4Y&*&ep*+TN6OdAT$N`$zjPwDX}v
z$-c#*s`dpA!u0()bLM!^!D|2W{?MUAy?_1dUn*I4#%)iAJp+gj@Ba9G06lQ;-E?zrPr3IQ{gyY9M6CQqKMk_t_y_>7JQef##+
zdtsQhD24+R9P4P}h3B*~h-ozzGGw47LUkP^*88`Ye3+=o*r%mm5wL`F;msD3=3~*N
z4kduNTvnYWm7m-%#c!V}Sx3Anc@@7&?I*WOX?0rF4Cp1;@xc6aG!<)(dQ;if*tK-
z83d=AypU&}(GjhWe4*Mehlg3;eDjTLzWL^=N2Mdg6<1s#@4W|F(0`Pe*+-jfvWfKX
z4}1^w5qC9wKW5vvVcar*+QQIQo#uAC?6Qm81Z$jAPCG4x+3atWTeE!7I)>7a&Qj>Y
z$Bi2&Uw{3zeE#|8dgy2E(1xmZn^!Z8I0aqpGFcvs&@PiF)MTV~0&geo(W>JPe6yf<
z^UXKa!DF3u){*aFE@fA7aj}dTF+%g^AriOMijANlgvhR1a$2>H`(kr_Tcm0q@tvOK`U9@BFfkmkThjz=q
zcusO(9xGV`Hj}J{A1jk3v#rnTC-u2QK|`(N&|@wa2XG#k2BL^Cn5i;BeqlkWr*Ryt
zG888nVD>qH&oo9Hy^Z}R1u)Oo714V!x^L
zOvq!AhpuPB&YD(0RE?P_n=$J|>)74WXBcq`dfa8iG&|#@q%_1qOGar@P&|{|qzq1g
z|Ni&Cf&)J}=9pvTa!k^BaS*u`X2e9^hBIH-$gFAH=FN-!L$H#
z2g6+Y>9bPz{Gn32`k$nD>14@Y_Kn(X)aLe-ij@$asqgCW`a|qIWw$=CP}l>6QaYu1
zSbKOl(bw|TN*Wdw_^r+$b%tRv+nN5MogL
zJ#*$vU3mA}YcGMSLM;=FIc>Sc7P94*TPpZ|HO7Hj)`jX9%O*UTVQUs1q=Dmt-@n6^
z{>7JG5*+NR4Y7??m6~H=pM-XLWXK%HfB*a6<%JhsP)1A%-xVH`sc(0BCki8;B;~_z
zm7I5Cq-6Pgrp63
z!wl#$*q64FCRPcZ`P^m1oB;I7;y2CE!V+OT1K&|ka8l8r{%?Q#o4oSMD@q<+q&X3|
zO{C`?oeyYi->+XkWyX=WioR4sMqIgck*xgcUQ#;h2&vli?*L%;qiMMHkHo_oF$pW`
zdPv@X_LqV_D@otKOq8B@SKlLZiRD%d2Fwshv{$Z0+NG23l&aUyl12MIuTecpX1pW=
zXFn@BHH)OG@5WNG?w_S@m0cv8fkL6q$f8cgwR2`W!FeQq+6!={_M~df1C<%myH3sL
zB3+@aHmo#oP?;ka!W`?3iLc8S*k%tKHY{v<7Lz#z`skA>Q)CM;Tbg!J1@Ui4o-e=r
zvL4nAgagE}P)!^L(=lQ=&_pp-d$)BQ8-t}88vBJislBmCTn3fNdH?r+2}#6yu*sba
zJ`^wxgt;DFzv*Gf13X(yVzpUYX<8B9k1i31m~Y;L)1*Yeh;JMXCJRh}5Y=R`)oVimd@KyN)tDI0IRvHneFY$}cB4dv_l>L5XuE}kR(pV>t!
z);Lz`w>lHyiD1Yd0A+8%i1B&@LKanc&_Ta`niT&ACVcvLQrr(9MXI>m(`8mT%7sY3Jb;Nkj}Y4Sp8e0(@n$QtS=7h)UN$6fBB1$X4m#O
zZ6{_LRjhT@1eq}z@EOx&xiVr(yW<2ti5SgMmd;n+P-^q)%;(j
z>duX%YOOy>kDcH|kwf?HT3K3FA(hJ)Nb%f{Wx$VjOK#0l$sRXF3i^+LMC^MVs@n;1
zl_5n})Z#$%i32eZaqs9C)w3?5S|ZT@>ur_C};a)9aoY`?FSbUZ4pR
zojCw)>HYNMPg+@ZdI%Z&M>FI%GdP+DVbXe-L>{mW)VzxC(`1TH8MBc;jqImPnc~5s
zLd}aJnIy4XH6^178NL?Ho8v9Gc71Q&D_3~sm9-&<4s(Qv+@@xVM!IJHHp`oH_rBiJ
zYleF@3upQc88qioZ;X~7br``jb=pAMy1Hs_>0^g^3oahy&HUjjZ)vIT3_^OBEnVi#
z`hB+d&5tv@Z$6*m{qoghZ&_K$2_{5`?||YvbS$Go$6dR73vL^uzv<{<=4;VLhqV#g
z5nxN+8E2fKCT3XF^c6G93Yz8Fdv5{aRf0
zV1{L6hG+V=k6trI9F0kmp-%Uz_Oj=Z7;GH(RQ
z^rH9s51)V$!?P}A7fY|ZXo~~iqlIp5U9C5N(Nb^5l>d5*FUa$j|NCfVtjhdC-f?7*
zVf#|^>SNxTgXfjMf19`Hyd3Yh=Py!wVx!9@y-(KyFy!C8IrA3cdB|%ow1APJE6>N@
zOW{qo;Lcr@5iea1MvRq4JqTO%67)SF+19170p>zBdi6Ct;4XN-{L&{UN3bDgKbmKyeMf8aw%&Kg0huNj1>k7tm;zoz
zcm}FRW5_PrEz_ly3(Nio?C-(6&wJ+CXSL6GFJniX7$b|wi2W>lrm7NWq7rc=37L5q
zW4Ag+N|%sC96>ryjQ*6RHmR83oODZ;Eb##LgMExF>^O>pUL`*KxHME*OH~);^n34PTeH+M0fE}x%B!66nS$V`Lp-S
z^cmiwrOTVq#d?y_*45R6CeQ`v4`Wz9eYzC+F3x1cWtHCiJ9qQu-@Y3dG26gjOib#G
z)bTE};o`-`?6uck^MJqW0ddWP_gjlT3icE01Wz>&w%Z;)}Ij!SNWR6)G=p&)xUbcW%AyHgyB%7_fAa#&Ac|
z)m8J4&wR~v#qsKhr{5=~J4};;S$~yA=!Gl4jziU=78gy2fpNUirIKKPgb#73tL32$
zKhHh)oLqMKWeSYLLp-9e@swU2FvxN79wT+B`j
zyf
zMAhXIGn$qGc2O_??YG}R=X<|eM$kO*mRoL7SX0_{GcD`wy0M!Xp?lx*Ypss$G4S1f
zqis9&*0d+S^2#d}_-Dr*ca-CgKVHos2QxZMsPWhyKm726K;oBcuf0|+bbys1hd`H}
z4|{cm&4f;z`DgUQ@%L18MjU3QS4(z_gEti5JP%E+rczsb7PD^tq27wfygA8@v6(kg
zEe>Zs0nWhfx8JTzmiCtfgwgvxOlqMm;NqZe+azca(yQ`-(@ZogtVm%aC5rIh<#>P
z4bbxPN<;*~-@Qw)Sius4wi2WY+z3;yJY9DezBX)ypD{hR}`YTe~rh*Z(46~%+!6HATmj`Zlz%-IJ#>8Ic
zK`$9B+k*=ZEp>PZ%=-k9CwP3=dov_FxC=_8g(fB&=w=C`GGf>2p_$nkrQ_FkmwqQt
z_od!v)HG_-Ox*{y4cP%N}mF83ufdmPB2b~1OgvC}^
zB@QxOPE<-$WVjscblM;@;5}d!$oAWBuODDaD0HF45erW6Sd*IR6@I(lQse(
zZLt3OvOPj4Z2=Rwb+JH^Y3rsZw4h}eaqM1=%7~koFXBFi&CVQ04>9$_)gnQg;z*3R
znJHUS#ah}HcOOQ~R;a;NuM$!(v4%Nt`JuGT!On})7e7=%yaW>{hU+mmS!+c)1JIQ1
zzyl7DKmYm9&5*%jF=16W8-_*sVky0GZOPsGbSWBhp6@6TGAoNUlx(YO>68XeY=pJ1
zgE<))WL5**p6koh9ofq%g!4wWR5TVz$p;t8fNA%G;fCycnKlb}zx~&itf8Ap{^loO
zao9R!?AvWY|(C;J2hUm0P#N4
za=~G!BpehA1KqmU%Gd#H45t-hSHR+=nHnaZc25Pp=~_kjP(te%R7-
z3rnU;iFYs}0f%8QY*x2
zc*FJ~|EeOxq<0%6Sw_uZnRK*h?*0%tM^lB^H@ED4AsGz>Fi-zJy#X?xFL{ulvU_2>
z-g~g*7Wagma-sAq$&rR(+ldGFtdtknWif-*w+SC$(QcuekE+Q5W^S=9yU^nc9QS3G5rH9VqSPvyZ@#`olABCG-dH
z(P4&qV_w|Se*o{Yi!Q!cnbIb3sySf)1Jt(L@{FeEj@4i7{oGYyQ5{1mw?Am1s=)#k
z^uieASY(uHE;>|KQ0>BtI3`R-kg1_K+u)9l`gCK`!3Da#>%XGp7nu=b`_(9GNY*Gw
zr#Hg2dF<|z2PwB&?vCh5C$g#(+`6~a-ag4`m*+xm(pM|=i#$C}mJA==;uFpNx%T*$
zX`8(tkIQwM_EPY$j1vG*go;?j3BXC+3%@z}`(ToDV(>Qy`YO=N@gmMGC&3)(ju{o<
zu}2@3e_iq~DJpI{6r%JN&t)RXAs4?Mt^_09pYk~n6BV5x!S<-he$*q_r4cSF9e~VjW>7EZu&ANxH
z`bGmWh4k6c>g4;5_z|V6KYK{3KYch1pA(IJN6IV6jQKYg7pi~yp^y54IrTxGu%F0?
z**`?p<7IkiMs+5G;(_6dh&O1_RMJs8bnC=Lo(#D+XySNOIzcxP135Oykf{pe#kh7%
zLzitjC;c1P%Xi#&>!4Kf(}n+I08RIz}T;v!fOfVM)0Phx1OLWJT0K1EIcjesRFU&@Az
zkvVIhA$?{%CjEZ6TfC8fkRF5AgA23oJ*U__3J?^Dt@5FdeNYV%x(+}@4Yf5=MYloo
z?2A(>R(>8*W4H%={7nhjb}rn#Z~^5v4^YXdDLK=-jD160{#`iuA`B)i3*5^NZ##P!
zyNixXGecV$AU^wy%$anOzCS=0&WpbZ?MYP{UAZ}K_uX&*u;g#;m|@B>dKnFrxjL~0
zT${^C#`7AQ#y65xL;2@lctO>=01onSsHfqO2*?e_?7OM8<8&N8gd4iyQtLr^_la%WoL>v?a6<5lfV7h
z`{kJny~Y15_7>i|pI18PXW!`~>|78sL~cS5>P$F)wSAWa`q9@3^+q(SCCrLb_MlAQ^iw
zt@MB-sK2o&d5FgtuATkW*<4FCC?rfdZIp?MUyg*@z|`5MvOc$mj$4?gsuzl|pl
zPRNlY+N38RPyk9Wto(d9QLKM}flHd8=6JzDn`Ejb$cT9AtwY`NnIgA3dgEZCSh&YQ@4GH)OB^KI9sI^HZ4%fsjj$22^@MA)
zRKeVhlb{58JN~9=6+Q4yKmByIHzx8LP1zzb;Gl$J_MVi~>S2yWyWyOiTz>&T2JxVl
zMVt*`1`~=2;dA}))d=f`Y%qM9@GV`oTuNvE1j`B><_#Hz=pb-rf!=X>IqX;GekHvo
z{Z$G|21x#)|B>94*HS5$o^(yL_(zUB7-JZq(z0?X`}7GFgiAI%0#+M^VLB2$EOVt+
z{&p8Qx1ZQnAHrIKhgM^-Q@H`*he|;g?W$jS^%eO);QbORl8Yw6;*B}EQfOy#6_-xd
ziQ~b>U9&NRN>*XK{rt->svD*Q5_e>zlV)zf&QS9<+8W<}$L;dBlm6CX946Wao!Kra
zDLa~8g$QhmBO$FtdZ9J+H7C91sVHu-FHIZ7rod~>km14@7_sw9rxdR4%>Yz_7zjZS
z8LK~aj06qhhZqIC3`mH+{@5xiW&pVou`KKg0{*z|q3CGP0~`2`|4rR7u^FP{OtfrM
zA7M@DQ`9x)*%XY_2LK8^*Ajia3F>bN=(B)f=$9?`YHEpdLGYbAZ{gyF-p{k)n65I>abWs(!)9pKZVm#O
z-CqP6h)Ds}k%t9R%Or@kERY
zen_LeL+lfR7{MDftRuhZ;)}w;S2H@}$UW66)QQ=(?apjBaQ~J^!{XZYeytJ_n`*@oDM7MTvx`?o>I@G>UpTUKVY`LZ0&;)2cB(
zBo$12HD!DDnP=sun{Sf8pZ51=I$7IhhPTGFke~_#4j0wmyd*h;*Or_i>xOKRsUC?}
zCh*P1R0_vO%i-_pQmLEul{C!%M!e;}LU#+x@~VKR4?CVmP?t~D81=!Ff-M}9)!(FO-J!urX&J`z
zWtUy1Sj)7m;EurB*Bw!*qBY)8+!^WO0{v+{at2fqbaPgaA3r=&n;E1sc9_RCYY|`d
zLEMWKff3sT;2@+E#zO!fX8=dK$`uP8t)
z%A%!<^`PkW*It(=VB2}vVTb8E?xfc(HW^PSJVit0Vkx_2W69g%G%4EUY&B)mjlL>)
zV{v0Ufb&hu2q<4)u~h0le_ZOm{f{&({6QKE5XY>bkFPhbtH%CzzVyf~k^Bt~mE28^
zlw8^qvnW5fTnIP9Uu4RlYFG;VipIG=NY6L_B>74AWx{a^=eSQG3cnza!K{?t=Xf$O<%-eq~w
z^NzS7)$mwjWalG~IzoyHii81R=^zoVa~${{vFe}5bE}^#5D*~#MyOS2_gq?53VUKW
zafsC5>K5O
zbdfpiQMEtIO8*OIKw!H9RiNb<87!ibExxo+2&Kz+&6E`LHJ
zC+coNSHs+?Qu*3hkc1~oQb-aT3Ji{OcP@KchvG8j0X`?2wwEF>Ccf1$^O
zSwlApVO97GM3B)2+s}Qj0X88SUUJDL8mR-=#A*+`?t1IWfc^uN`BLKLAslxy|M|~<
z)T@k4iXLXR`0<-Glw(0*Ts$7$oqFo2GHCE1eTNdJ>15qSx-ASPnzZZQ50=Hn=KS-|
zSDNV5V7VA>YCTSoQ(V7%#v!xc_G2X?{VeDk%3
zlYF)B{NRHRTD%idwyNHK$%1*_!hiMm=Dl=*S6&SbE`h;SiR)`~n`}XwY?}>L*w^WX
z?44(Q?7V>>eP1k^wtn6XCGn1w!JKUv@K+y2Ias?k%pB3$s#
z3%t5e6bsAOqNvRJeU=9Xto?#W&K{V(Rzd6T*p5e?pK&}eeY1Ne5j>x0>Qhh06eD#I
zM;VM3xX{zJUPd3sA?f6YI&e4?>DYy9cUb4`+KjV5*nZTHQ)j&GcH1ggK5dY-ztA>r
zec~W#g-sH-`5JYzEnSqyM~Pn-TpxCZS^=JNjD1HpXQH*Kmt9K>irU++maH>eM72p$
zg$T}yd(nk2jG(X-Kq(8+Fx1qHu!EFBxW(i4j}jJji?m5K*IBA6xCP#P^Uc*7g1805
z#eM$y=bK5wlq^i*W*#L7tT}k4Avn3dL-osyO-5w5<|qA47PtSju<58}ShLlBySul$xm%)xv>oW-Vp+4d_`-nRGQLyvA?z-!ACvw@PmxZNb%adu;6Ax{&!;U-1U3cH5
zvEsNB;#jcr0(ZP5I_!-;%fqZZY;4$byU%Y%0w*3e1EoHI-4i8Tnnvc)qZ2xCqm|=|
zG?0GAU8LHJk}vDeU4dJF_94?zn&uAgwp(wLt$@>vkW7LD&9L6yA3x2is&DI5hIu|69w)py@2wPR0h
z0W{QA8{U{8Z7g}%!z~-_FL?mR0Z(6k>fAWs`QbhK^7E6Eog)SL1$yW~fEk3h(JiFe
z8=JbrCK_!!3*e+N4Ej8}pYjmzoO8};_Kvn=h%aUFyB6qZjn$4ju`y~672g_IX$a|B
z!;CHTcl8H%NWOM}$OS^k>OhSKe*XcwJMJ7xnQJ)BGx@)Y(}FkVs>C@3$~VpI?&OC>Ih?<`dH~<`wO-{LmuUE-nxEg*_s#UoOz*0G|Jqw}
zVU9QZKj(SVXD?K`0H+u+7N5Q!a^0qx8iRxWI%mE&$k?gYP%a$$G@JQH&C>=D(vY?p3zOlBnZ*IrguT%wrL3=o0ZB~C959}i|ZL>h5
z425O1#!@XrQaM;1j1C6&WL(5E&pgwE
zWc?SSA5J*&1ofJ+kYADF?k$IDBEx;*yh6+4_;>S8SGVtQqjlhqge2nn%XVv$Vp~`>
zG_4H{zx*V!)+oZu#<*anb}I0UL(rOe*So5U8B+Jsw~)eH!fwXOHQk>xbUC-Z2OoT}
zZu2N5GTf1F6=_Nq*g6|Mlu`)4$nULzdbKg&6`yndqnGTWD&>1=|eHQ&Ds6EsBWSn~iW%+J*=X$~YI6;uP(3Pz(z@uaI~
z0bnp!-bCtF-b(7eegb7yqb;%^)%rNi_71<<1|@LPC@jd8>J9!XHHE{aX3_Y@Hh;$*cT|-IcS@F)2V_?7c)qQjtgUFN
z!9zqW*s6A*24zSvA6c7l#Z$UK^(Mlfm3
znNAexXqD_D4jt|R21&t|)q`b(2L7~QizX!*sga~ElVD&1Z%ZI6z?v%YiDoH^_zP$=PpG3nxa5!8G-1@?md&<
zsu2`)&f;=!)(ijgN-rJYH7=VQb$B*CX!I5>gY(9Rk9*55%<{@Vd`KVFLj+#>zx%u;
z|GV3(i-1|A!CP;<5r?Jgs&oc(EDzQz8qt^+185Swht3&vSa5e3R`=kyyYpdsMs6k;
z4)cfQN~^R`+J?=p2OYDw7lO&UQhFSX5H$(w@!>}wdSJpHR0IIbKr_Eum)&;T&3oyk
zm-HP<`iv$HAa|ActMPHiYfvgTn%y*PAA%Y&+BHz;!oWuEyV`zunL8v#um19jFTGVp
zuHpg3P3M4{Z(Hc?s_({#Sw~ymI84}F^EGwmfLp2A6bF`&*iIsTgpS(%-0(?J)}b!q
z&|!xpq=FI-B_(1-(5#HQVM-PlK)!St#m<$_?P4A@@p|gH7v$XI#>#7tT_fvmxGD0g
z#WbTmt(lhj-*kGQ-m$!@T56%!yZ_Or<$~LumS^v|Mh@B)7!NQBXk9|4
zXo@@815q~Wq!f0%WjIjEUNTL3&3IaJ%BG8lFh)76!Q^bivE*#i^pWvqsPiG>t7)yqc(+POP#gKS>ZO&cS5vbL4m_Z
znQSoqT3L6n$duJClf@vZ2KDt&{}M=I)KT&s?gH3;+>wCs%TGT~lUE_JehH@qUfgBy
zP>#D6>ODV#*&y|#lyL2e)kj7T%i%#BopJ0SjCxg*7{hduDN#J%mn^0=!fiK75-%tNLpgQkT8($l%t&K(74Ols(iBdMr@wm&N
zowV5&hY#=6X^76}2n&XG=Q|HS{18kxPuIihBab|?nQ3LTHcqrHx=Q-EV%9|@Cg?pE
z@{DU?1I(8LX^Aylf`}h2u8<=~R})UtpWxM4>UE8z%*$n1xL<99tB{`v^Hq+mIFtG4J<4(vJ0U8sFU1k96~j~
z8xFjpvF{pEUpY@2);?H@4!K_tYLaFY%rs=*8@*>pyK-8TS6QDWwcorTx1D~V-1v1d
zLfgUan2L{(Lx!7+El&I{ukmE(;nniQfu(ZsR?yMSaEaXNCcE?%b~Bc_!E0edJB
z+q1YPc_^YWIWd8Go_gkaIsK@EK7WU?qe`0+X+=l)mquCY8hYl$zDYLQh-=76`L1@<^2Jc{xZ2
zNq51wQZoHXDXg9;jfgE*HgJ0>U-d94{Nx%bTy<0FdGwP~9FFV}hc_D;5Iy)jxM@Q)
zUq0mt`Tp)B>#t?h4Y;s27
zJCumo*M}c=xa_{??qEXJH_fdJST?0!O3`$mrt=8BD4|AB>w?zk*NWRF$oXxSBKZiO
zN+%OKV7&bD%i&$vVTT^3^fIIqP1dL{PlOS>3jrDNU;gqJdF!pWba%n1GA<+LLdx;S
z^_1rqjEM&uYq{{k3pF4v+lkV-F3PxKwR0C|2`#E0my7d?Ms%v_ahWX#Cr;~SEzc8Tp?QcV#av`}(XQ|Fpsu&pA7!2vf=bn`d
z&OcA?eef~aZTDTVUBtwwTqZ+b7$eJ8KUyj``#U`AV2rB=dSv{FEmu=6`QLy6|MIxx
zBO-H6(GXcM;!vqtWp|MQfJ1y4(r{6M^#1Gn0<+;}+uT;$Tp6)CDT5LBkfjr@mzp>K
zDU}DmEJZ`tlx(^#yRdCeX1d03fk7mWg{2MB@1yf%;IhfG;E(S}kyox;;l`4|eq;|n
zya%LPmefO@f8lv~@PP;QFe@)NPjgy;PVvt+M5rxqul|a;O~3je!2XzOJ#F}gr`mL)^I#fDH0N%Plms(uzrY4N=w&l
zG8pDZ*Jz7*7p9}PPg76OputILLk=6|4S_Gs@<03RGi8+O*aN%kXlpLniI&hfOkVZ9KY`B6JjD
z1ZyrfRIAv6;Vv8|XxKOB0@XjXNTD+buh>W+D-u^|q9wzKQ_!zA@a&*yH#i66VzBa%
z!ky&NCb!*p2mZV7zAKY~jCBB{nw6ni@SO^J!JMcke)oc2lb@dY(Z6{=G~xTgk)jWR
zd1gb0n*&KO4_jA0D*}!Mr$P?U%IKA6lbi1s;BT+@a4B1DH<`P|jZ(hhU#0gd>&P%L
zzrl#q+^-~GdaS-Dq)w5fjxdtQB<*9F0l)60Pb!R1H!;3m#W<-jnRL50Re0
za_9||vR=JPR8Ol+3v@Pp$ec(QgRCO3B|vxzfoDuXJ{vS-)h&@8)r);k#h$(c1_NRi
zAzmH>V8XRnoi&IIwk^y72SF!mP8no`#Qb>p;fJ-Vt}{fipIm0;nqpD4K}Jk-ElQ!3
z5}Ciz;xbmdM~9w4h{{bVoYE^7Tw}yWcguG0+r+(ZP8e*Lb=F=-z2K+Aw)HQ2^C_)MDmX0m3ADR^G9$={@G`>P~t^&KF64v?XP
z`r`nqpXyMH3IR1aWId@{_pjo81n;StpZgP%`f6G?kl*^#-2YG#4js_xMPjX6>ONpD8xL#dA+
zcTu*XN7~pY);AW$o@0jN#qR`PZ|d%#f_=+m?sL9R*h;Ed&K*BqUF7=@=&zD6cMxR$
zv|FcYfNel;H(Eb14_6fvX*{wl11TZ{r|N|^*R&8JQ*EXncIKGX*$$`S;Gw#4Et^VelZ?%XuaX{kpM;!DaDn|9XCrbU`O_8TLKv1^~XAkHcd-mxs
z1BVQkm7&@g1ZkC$C>H?Mi*yyhB&v4P)1)r9zf?bel+?|erj`?pWVj*qgj#*r`5_Mo
zsV1c!8v4=7SN|^c^QK6}Ru@TLpFvW9`Y79W)B?fo@}GrRJTxHL3%``co};88rx0cO
zObj48ejcHG*dLS_i3>rdq;BPq4jCz%&qxa|G8Qsynw}vrYcuN$w;nE|GDbrOibo%P
zR3oO40R|6a-99q4mF3Ai0F)DUp$?YS+K{z!G=Jp7MTKKz2o@Gf!2|mCSJO4?GnPf^
zn>zzy51(?%DMIFG;hdt4M_W9I9>_7wwmb_s%PiNNK_cmygG`+!f@J7?pI0_{L7b@db41dKX=Y-IC~)SFga4W8@*GSSV&k)YciGhEY
zmsfZ*=PmN4zxRx{;Icv9@|)N5YNk(a<{aV@Y0e^b^MCfrpE}xGd|r+>>!nM*Ux3oK
z6fV!^z+w&`ks65gqo*|UDqA$yTXe|)Z}tO6dei3Dc=K-B##?mrcHWZZj3Ck6sf2mc
zMb~xZbsaM3+(7qTI$021jLsd5m~C~6)>(|uan9LiYahWjR#D05Hq3T&^KaG;VOMWI
zb`8hJ_SeqN$PBR|bcT%FD-6!#1iC290-FNFLIKg2KJm5f;Mycm>
z?U3EWk)Tv<(hA+1iLOQI2lx|kC9Z|$As0evJsdvj)JB;u*S^Xmq?+*M72nY#tn_W(
zc%+MmON+|@`o8c-DgN+6$(#SVYDI
zpfu(%g7g(qx9To9G|agC3UZ!B$fNV06VllNX`e>
zs@Yn>nDeDqF?84=yIqr7U8&ThF-m8Y==e>uG4|0+=z0P9s7Pa5;4qKoZH&k6+3v59(N+l^scGh|)bY)t4qr$eniw4~uUqjd%)e**LH9(M%r@>AqKbI@QsIwGerN;92LDD7W)
z<&}ECm_=Hl+A-CJ>n6=Qn>5VdOhXrPTBz)UAf#+tmT9|@NaHvjy1Qzc3?oiq&$)Ux
zPAZt5y*6=FiiKOPw9JmE5B8!-2Wyo_nf3Z{tl6MFWRyOh>(Av32$CK)aKHT;unI+&nLHC?8DRT(fp{N1wAtPUE*p>(;F!&|R$
z`CKXd`31?J{;FhGEs!2Xy`@LVP|QN$YE;aZ#`1-*X@*VdsJ*0S^#0N?a6Lq=$kD~6
z0F28RXGBvf)iLWCpW4{g!iKo=z8$3+SQoYXKOsfHp{S~=fazO~^nvcTun=kor`lFu
zml7+_p0SVMN)9ZKN@Y|;W25!KF9@2+13)rj_5mSH=@7#7#B1PIeG4!s>dp;qF1QG|
zzWBg8@wikn6yRk8CnYve(}yb?*y}e_ZpbFdZ58>p?>}}$tp&erk(@!Acs>|oe5}*
ztW3DMMC?jiHo+)i18YLc;9^WTN`d`x!QyYEN7-!2`QhJ^T{cr{aH!YV54zlbYe_wr
za}U_|mK5bmFEB4UAh;4yOX(=ID6npH6u_je{PG2Z)?Lcf_+3CEH7IqqcLH3
zELi_=EQ}aF0%nODsvR>KIi+bk7)w-AbQc_##-J{i&&X)GqoF-|9qh8_&6}_0eKfVC
zq|bvtAi1dp2*)F>JD3ma$MG0kEZn*V$Kj&Ii)5=Uw^A?DhhUj90E;E_u|vERPs>g(
zE^}DdNnK!vLL9)vf8`+V15>RXci2%Uc1h0?tr?Bv2_R25P;T4kDocrxgVwdSXl;VJ
z+hK;PVIWAFF%>{c468LL4cC-P<#Xet=DU}gS|#KJ;j1N--G{f=!7{@VESMh6%KG*!
zlwzQx<-(+_YRGm{I{Fata*Dt_v*EqBi&Tx;TN-<-&hu275pS8tXWd|@`nnmSH5tw=j$_{Rkt=?|CxcA)hSeFtoRx(vZd_$hx
zP9Jm3G0H@EZ3;ETQ2;w9bK;^#sW1`~jyBZXb_5uYEL^lu{s=U)LLRDdSHf1;T}k3r
zwviUJNVFP5<=En(WiI+*2qb0%<)uhlJn-XTArFOkX+HR_Tn-H3i~D)YUccC@(Zekq`0)HF
zlvk`~vNEk+{N{mJSy`z!2Vw1hn|Oz}_#fge8ZX|Q`^I{6<}dM<0He0L8g$`6DN@@s
zD^pM9{7?8G5eb&RafP=KXmHctxKGjBs%xr!y2=;fvoM5fjQ2uV#IfkGc57B2yvqYG
zL(Jph6s!=mpH>B88gY2po7!lP-E9(RuuF?s{>s@`-Rf?UxeAzPXTRXIM+bkNLRt671iPOCQe*5bI
zAI?jf#$lXett~XCB$9K*@qS;ydrUGhC}TCcYsP-vAO_=)lL!
z;8ZpZNl4KoC2sSWza9F~yoh>D>g9Mi=i46p2S}8~~uG@nA~CpeW9S1*vFuR#~getW?EIq%mOq;Sp$@ObN`(ktDLiKo^YUA8(I
zZjQ&g{`!^Fzjvurt#!P3qxY1a`LI1!HAJISPWY!(ync~iO}rfT_KTy>TS%ZGvo`h-
zue951GBU?gWEwrLZhE_Xnk1tttMu4_Yxm_9+)IQ{W=hy_dJ|USu+`KDr(*M>uuv_jc)f@d4+hl}>%F9t;pE{g6
z)-IYM4U2vTP!Y*Ud|Mx++1j1%z{FE<>qwAuTDKTub(u;eTI{*$M9nFJ!2%e~o3_>F
z%@^+hU1ELIGPS!X7}F%y1?x!0%;!8~c;JBtn!OxLAaEBoE?|V?qk1*6zF+G
z5~`QB(wsK$r=ytOUFsCv7Q(n)g+81}d$4BE@6ET^T<-y5u-W!4p6#w}1#vp9d7KX5
za{_@=&0+SWKm*e)J3|RAoI4vKhYG!U&z*x%Nve|wgG(&PtKQ*O8s>!_
z7?rmhK+v&M(U41QU+D6~cE;{I!IDgMV>Zc*lFU3A(VJ1CUE6RQBk|WZxs`y$F!yJdMjdZjzog777>#dALoCZrG
zr4O13U3=}dS{s@K5f6Y{zax%3LhsRql-RZ=sklCxtpd(H!u@lDq^{;Bz
zswQuoVU$2Q0z#vJQdsSX-K3!pz3u!EJ(QQ#{M6*)u=d)wNe%xQdhY+NF_wIlM{T9l
zesnAJ9wJLd?vId0LjdlRCrgJPBp!C&b)O;<^RoF0jYw0p$oZL593wINm96^tL23B*
z83Y_1FFi(XDLwQ2(|g1FZKy+LlOsy@rUy(<2$hMRNaw~tEo%Iiz%TE|H)7;X+g<*P?*FUv4JgK@c8(37O`qO_)?aP0X%FWM|+D*nuZcoJ+71S1VIVs~h>2B1Mj-sops%Jx|7Hx6u7La^T%&9f0O$G@woO{YwH9zoLH9`_!6JbM0>!)Eg#-{xsA}>
z)*#4aT_s}$xp*~YcvhupC;>}7(jgy4W2mTxt+W(K`Hhfg%?6c2S
zPcBAl;9$4={LK?**YMqyLYNl~@o6VK1)fn^%^Ec$GrwuR^Qr!Rtwe7ohWrb;^3-~=vh<+fC=|pMG6nN
zOR@%zlCtHcvaAw-^&ea>ML+)=jD0B(-rzJ)v>M84kcu5{l%DJCs?jt^SM?W9OYPei
zBNiT!+f=*-bFY$ueQp*HjvrNz?JiZl*OjWZ|15nzJ_q%q4K@zwsM@Hjkld}#m7?wc
zs%^P!-b_`K^jT??#;r@15t}mw)ko%iMtfrJVEzhq4=oEA1)0ye(9y!hJj`61XjjES
zmtMw*+Zmwj*IaXrN{jJ2>2$=9b;lySnL2cTQI0MR9$f19l|$D_+cU8YR%
zAlk$;vhx*?_>Y2gO$nK{${8lyycaX7iB?9nyPa(7Zx$2G!=xtOClli2rcb}dNFyQ{
zE=sYyXAS}`E^aVCPKeoaX3OD6947C-_nw+q5vbdkaPSn~oqWnzDG@^|Z3JVhK}h?G
zRrZ%_&K7-AU>Z^Nvz;
zK|!AMhR0kkR1+1e9xRKqhsvVrp0a!}@>=~sDe5y=iXqWvgYi<0TT?VtDn{-rWyAJC
zo_k5z&^@Gb%_C&_%s&nZy{-wCQTBGo(6*ov3F=3~I045XI}ijQ#(cXNzEF4pGI!h3vXmK4^muJr`t
z;?e2lwbx%$wb)_6t+4lP*Vf&oV3+k|B;qKHIH>Egzd49pY=EFN8k|VRZ0+E}H4(Cb
z=niBX@Z7G_&6y@q)XAAtX8F4ZAtq^6As{1xT3&wXWtD{K1;xQnMjiw<57Ot>g|XjC
z5f!<-q8t#Cl#-!82HtNGCTH)yePAL6`%y@sKw|^0aVa7@L&7EIuc|jhnGr$i72g3&
zySBDYmMmQ?3(G~ypZ}}$n2X3HhdeI*RvIe(dSmgy#HQ;uEE}}k(&c5k17Nw5-%Gp&
zKS=&-M}ol>N!6I!5WQm^$;UH-6xD@PI%N7}jJ@EI*b^U`<}pYmmzQirns(dGep_E!
zAGv)Osh>@{wLYT0_)mZOle~vTkJ6&4m+ak0(lCQ$a)&~9Vd5e40E|qJHpuQ_nK8&_
zlhrZra>tB27R(knIJPXGWbRYVMf!H!aYv1%r)mqHGw>iTgjsDi>vqV7x)EQBxVz;=Rk%(LAW|vvn@74x-G+miH!R`H^6yY)lmuUnUrd8LK?l|G8
zPu_EnJ%tV+_rrbkSj1lA$+WrVMp`i3yp#!qZsY>Xf}lBlz)bu0=>-g1MD)OSPejVd
z4`KC^<>mk{n6|ro))yg__}!;3r6oo|_L(2)Wqv&&@o7Yeo{*4>vo+s-aOviKWn5}9
zL0pJ@N7Me1kXi?#?GGk2N0o1XU>pKUJyH_>(YNgU7-vmpoy
z1^N=%Yc#ur4Jr(kb!Z+@oFPh!>uRjIikTER*+H
z=CGkd2*X5Y8Xj~pTF6PTxL6-C1GnC4YXu`B(345eECY7Q>NxQo;7W;VW^~eAj&u?M
z&FaE7r+%7JIrY~@C&wG>$-c0FrR=+H(4Y1A=J|m!U((BQ%l5Oe#kOHPQ3|FGoF;5k
zrJQ-@85ln!^f$*XfvT8~g@Iywyb6npgCX_r35J}DF~zaM1&4KHT`d@EsvK3i0;A7J
z#4&n_43LKwG+m;18$UdRAmil3B_tpjmEE@k9j51f4pck%;6%}U7A@BI_&%|0nTCH`
z9(rg8TwsP?=Y4*bEnTLjQhcUqaT?9Pxz*)C3emu5QbopD3FI?goN#5t2M*PnWwQ=s
zOf1u_Bk_^p5D~u5IUyApZfqttC+k$CH2k&tL^S8AZ%TcUbpm|l6m#MlS
z7tue;;ZavpQ>X37G^``@E-eG>WHk==zJF4NeDGJ9pEpWAAAW{Z6~g2Rh7UB>V0oG^
z)EF$2jLOt!PzKVZA3qrkC#0_;0PaHwR+04vIF33%5LS~xCV3e^
zIDgxL4e2X|^#fzv(VwC)AG%`Hg>^P&O-YP-vkk}~E2~3gf=-%b<>h9}?4=D-{Kj9T
zc;R>Q`|dD@8o4Uy$Wewux)@d|Hy?;;zrHB>@0=xNCF{wzqyJB`i~7pYmHI;Z^>yWh
zrDR=lp>`;M3Z=NH*ryZsO@C{LNk%6ZHP<{$nI@P5x7gGz>q$PiJQgdmzNz~qJuH*EJDN^z3asVpApNtv5{%snq-EW>TjF@-
z4)N-%uT~Q^*2B{EW!s`XYtY`LgX7+Ie;KCiw?IZBjxrM5!y2<_P{>MxePbYUkejJe
z_&%PIvD!psT0Z07yl;$}q0V`q1D%mDY;f`(f3rN|CGhZzaG1=8AIoDP!lZKx{kOmU
zO$RhjrMZP>@XNu7=scj`08Ouq7j-2g-CR0}ajY~ligbv6>T8Q|U-h;*qziOHA57RwEweX*Spu@M6C0glM#d&!v;~BP^zQboq4q
zv`|mY`)n`kOY3Ki#fLUyT5A^r_A$^K>sRY%!a5FwT7YULGAODV81-TeIDQO-RJ;-n
zUlqy}`D)vS@@D;ehQ^jM!BG7anldnk_>Aw_eRnMCBILkvy3w6k9zQlVm0p$^awMV6
zFfBsdF~_=aK5(q^eo<)La#4Xxwnlnc3JIO68p5{H&Uj@={d~^+IG)+QY-j%F747V!
zyE5i(D-pYPxUr;S4jR*&lJRj+T5v_a>zD86RR;p-wBWm#>W)IEo&)4zWq4M$Cs{;-f%%7u%mwDjF(FAPe>
z$hFIUyZ79egZGn3XFxER;2yTGir4C13^K?A7zUB>)DR_4qjNhws1h
zew{VPgOt@QxMyqh#OkA1eG{#pBlV%(10&YHz@b&MCP9>Kh0K7%hWF){UwU)r&TSSz
zl!=3V)Yh>Uq(9hJt*T_uX{v
zNwSr1~(={5cK|NZ#mvK|6}QuSc=nToLxsB^3`Bh}e$6qiQ3AB}ET`eK@9dBZwQ
zg=ieqvE8%j2}f7jvPDw_jjx+a3FK5$3v8V{NFzm@rozYoCx&pQk^dJZtnKkm_vKlHIe)x
z(go(Lfk=HwA4F{~mfD5WrRu38rFQNYQohYKQoF|fQUcS6zR({By|$QVB6VnMT9;8%
z)nckCQ-82;Y->-o1MO#tlt)i8njX@%m+x_#ZulNS2Hw^>w#WM}lQvaV@F2}p3q16_
z@~SK4(n~MZ!#f_#(R9*04ozLct|z0TU%nukNcO
zh68~@Dkceym~4OAWQ-*l5W|2c?)20D=Rg0cq02b|4m<3y@IjyH8(n>OXX@Qdhipu<
zX_AwPB4P&GyX^6!MP`2`J;q!qh3}1rZWyLnJKZY{D{lx#j{+R%6vJ`?Amo7tP90TEvX_3=i{XQ7+c5Ta}gWk?C;tp!qNZAG@5ZeCIG9n1%V+??{
z%Y;;i9yIZ~4z97Zvvu(`QY8@w`-nEc2H2lWyD|(t)f6t%OD3O=
zc*h+#^c4w1p1w_48e$uChHAo`JSa8tkb`!Z=Gfs%V
z=5yXBgXTpPFCLnhuF^f|OIbsP7_ln_adDu8NZqM1W6qpfKp~9on=SncMLwO!gHZN>
zkHgG#JnSM3be*MxgsXDt40>2E;_;H1aw|@kbeg8|KKsw0OZhh?c|%^KO)~>-Qk{e_
zRqAxpA5CZ#h44#
z5?gGsg)oE+QM@SO@-W0~U+J~RG*m-y!1Kci&xt?}E#fm!>ZAdEXEWkp{}Mo)stIoC
z>DEg+c-3Q3DJ!c~_wAxWI2O>>G!zzyOpLlmE=*(!>B5Mq4r0h4;wS92*Ivy?HFtCN
z3lZ)NL5+WNw?k(R;`fqKbqI56w_3y9
z2g>r7_LknSp1>gFEw0+LMoak*>W2xgLnds_FRV`@Tl|i!f2_P+D;uWeqNxz1
zjQ1CEWa4i+eOQb+*XhSBN@A7MF3&>?dc?daCG+D0(6zjhmNzF!)nx!*IwQn{-yAPX
zhL3LcDSsNpeSNhoZ+3q?!!*Wybw5V@R@`lql7t-O286;vZML}f?M?lC@h(mqrPy>WTJN}0
zNzitg@7M{o`z+y}PVo!wB4O^fHpz{i6j!NTigWwQn6iDR^TL=6@$O-qOJh)*nKHUV
zjv^6h$-<&PACU)|LK8Mmrf&9$UXC{9cCOm(6%l8>%wz3olbytc!46BM~
zz7Rn1K}8Xm+|}>~Nl-nZ((u^3^?b??jnyMw@>$Xg)Obc|g7T6A+
zbvKO{dHEWV3$7RWW=`w|sDdhE5e~RdzX@*j^F>bCI`%uk6tI#ge;N|-^)P*NE}E}*yyFht2C4^m()mV2(XZaa
z1$Lk!>#r>`WDs-<(N6NBWid(0q3_MP;IGZ4+YLtRnP46qJo?SL8_#@IMehsNL)wX<
zdx^DH_hrP1wNoZ_rUkSGBH0tW))OmIGqpx*%IU21;{$^Ifw4le-D=&)77}$8&=fy
zbbuP^URQQpjrWi^B{cr;%lNvmZZ2?#e~T||tW>J&b?t@W=F9`UwMMnOLvHtF#46sz
z>WS1mcTKsXmFQYgq-5Z?k@R@#=+fj$n{6z*U0+XRF^PxfcCB1HW@a9Q%ra=P<662z
zGiB>=+Lt~F9ErzpVE3WONBDdg_#lR(O#VRRx~p+;M_0FwxMoP>4-mxHSXDExJ)U~v
zagdsQbGGI1!1JYN-b?K2zKpn&EhcQ>(*D#?)q;)>!9j1fs`lOCgFmsc6i&^0vF_%9
zWeyy{2_2-zT!cH5u4v8*bVcW7vF6O<%yqVLX(k8|udZTWY|^jmL1#=k(lD^}1f(L3
z9qw({4_euO0?T?kpsx{u4es*IK5+k+tpRa)(S0JX|3~C!Q)MJMh@ID(4(4`~%CFax
zyj^`p+@3n(ZVQ9i(AWR~4?uXNcqwu*dx^zBux*0BGY}|Uouh3BjX^N%4uM&od+s@X
zZ`WOS?HG`iHjLj9BSvUwcS0)?49395gIT(?lF{wA-+qd`#t+-3Gtk#uM$G!1c;bl~
zFp~iA>mxLk0W(Ew9=dNc((xN_yrKQW;I71$PB&mC*5AcQCXyeqO$gYu^UgcR#L8eh
zk@*sV?!^~h)bUHOCgN_G3aVWfq1Rx#wl^Fl{s?B91we^ryIIEGg5B^3KZQsdvB!i6w6vF{d3FPCCKUSE@*I$2KLApC+;J0B2
zlMy4}q|!z7IAcP=MaIRJV7d=J_&|s{M^rh!+Zl}5trLGAal{eANF2#t3@1cP<8lLhIv@bdNlt_4-wOCGx~CA}1t{^$?qIGTbKSN~YX8
zBfeE~5`f0+zKj@?tX)^^*gdH!jJXg~c;k&X)>voBUIxwBAp<|zO5wd>n3S_Y7p0>n
zJmQuak}+G|xh2*}47eB~YM*`f=@dpBl!%Wz?l^@hB_1&sPA;IWjT`narF&u#cLh9R
zQx{Q!C#335kcQ7k;8Po?(SVptD4;-a(n%+2U%&U>dmSece>+WNz0t8pJNJY-C=YZfib|c3GXTy6P%@@0MF`Ny|R6_BC1{&1!uQJ@ily3um|uNRQhl
z_S@)0U{McD*aI{67B61hakM`DdVFJP-phpc@w`W-#+N=#QlV*ww*fk-F)Kd1`aDLOQHN(|03Ek@HVk_G-e)GP4n}lZ1JBzkxh;i0mZk>&;AbqU6
zrH|JZx3lOCmm7kKG*tzsMm&Z^W<6r`b{HK!UWSYE&9I1g4Q|f(?S7yJl9!$pxdYKT
zHr*FhSXpF57m|iiufH_QQVKV4+6y#?kq%|H8s`R)&$@W~egQv&rq^&*k&
zS4xKLPJ5^OGU85a^5_M}n&cfm*xR{HT;^p9NYFOAD=aK-v)BP+q`qqB=1XaIt;r>6
zK`X3jWCQ|-o_n6i|NTP{;WY5U{cCOq76m*mZh>_}7vpSQth((yHal4=Zf9yT*=1T_
z#chEyIB?8-SLEu;MXrEl#FfDh?w|8FIDD+xCEK8TGvdT>qPt`VXDXd(fv(>I&{*#j
zjAP&Rsd6dk-i$aS5wBRIIYZ3~+5(uUgt62MUUi=!BF8lsiW~(RN-2-5F8rE&R
zkH{nV{RW_1ais_hrOwY`Bhiy*0D7&bF^jhF*6f^Zi(6
zdC8QKPVaOztCmP@=W6TXr6-pCd%N_}Gq8&Im{FV&yYAliL_UWt@zHyUj6xKS!GlHC
z-b~~qKwy4_xOM-&3u=n4bpVuM#O*Rl63--(d7H`B;$8@y44c0rj
zn6%b3k!be1$hNDs{)%Q+$+j?uj&>L_tz=ON={FQK^dvCZ6M(=L?OGWoZd(sQOuLyK
zTcvi+y?Zm_PCTr$f$!oG6KA3|TjC&oZ#$2LcFT^mk&Z<1h+Pn%cB@P~WmHsDq&Y>y
zR)QP2;^
zx&}avF?V6CRB83R+k*aRFL3vg;-$#NBi@T6uDPZ{Kt_{_jd2q$^N>Rh
zNqanEqLh8|$tTz~4i39;N287R$+(FAMJPqWVRjZCv5PjwdYy2>33C7a_sa=DU)yw(
zO{5ZZwZ?SlvQFkiK&F@Bh6}6-IrY?2(;oEazknXy6OgJat+bMCz4g`#$x0?{o7JrVVSYu$Fo!5tbZio?2&
zO>wtn#EM7kfeWXY5d%R*dSHNa0B;6Z#UFr2OdxK8i4$`o79-~1pE6~NLPn-5`Wmrm
z3GYeJdg2W8GAY@eKX#Ab#98KoL~wk9l&1q8F_{rT_@8>}sidW+Yp%IQ&N=6tj$uwo
z*UEp<1%`hNc*IAiGafO0m-9x5oc1EZA>lwSc>VqkR1yez|2vd^gTScF6UI$6h1wTn8LL)`H3`{=WF3K?C6fgL&++$I2s*JfaMF{q@$9YQUHB
zind@X9x=isO?vZ9nFx&E8*aEk&N$ux84vi*Sbb)TCj|o1M@g8w
z8Ny+9h(ydr{{{g4C&G>SD#Wha5r=f{^&0Go_l8NEz~1=Dw_(nv%$=bxR|z&XS0Y5fhng(@i%Ozz8bv_-d=I)@rCEb{4ye
zx=Idw0(nz%+*Q=m!nfUetDJnwDQVY7q{Een$wapY9`TV_a3~$edo5hJQ1OTf4FC4q
zZwnXS4r9cuRP}sB4uG^<0e$h2dx{ic^R`d2|kYiOjir
zjfn`2OVw73ReUX;PHttCEi)`gh-bvnO%J4wZdhJ$c>XoU8{LXZwS%FjQA-oo42HxD
z3S;MO5!vQgE&+x)LwFo5%5#K>m-BtTs;L%^b5r89Zl16#n*8U?bRbn?5U}r9g?}9nCjB4Sf4pGmeSSDkTd^#KrneY2c5T
zpe&JN5_=A6;G5F&B+A+0+#&%r3zc!=_e%>KaZbL2#T^T$%7h(T|F*fqrho=m7DL=2
z3;xv!L<*n=b(VG3c9wVi$SDhz0W=y>I0>WM1m+BG|2|WD$;h@7hVIt9czS_SB-z4_2qLJ?OX8SPA;mv8jS~EuRD#C_e3^vkMM5T4qrY+M7
z-y^eHIOOpRM1rw2$BIh18sg>U^;rLM%`8|N1zc++ZvNzaN3MzVscecISrN}K<594n
z|I2VGfLt|gGG%!ot$J~xE#Fx|BYCBi99T~+Hw)*qwJmpuCglDoj6!7hgqCs&BT#8x
z`{%LXZ}gGGH0?+DMbq-mI~wSdPYy{=qU>BwalJO|pJ6E#n}_0G*dt-)TbdQPdG|}n
z9XXfJ50r-ib!Dh$_|wSvz#+ktLuJt)vlJ$Rvn0W;G6Zo3${E>Hc~^CM@2p@K5e#4^d1-}7ZaZ>
zq~nQCut;$W?FOuRk%O{&$+rqgv@iYhcxvD;@HH_;Z>76(}YGeMsAnZcgU^n=J$5(t)R&l4#f*_0q<3=wgHNBFV6$?M{cIS>AFjA#!%NsnaJ%QlDpC
z#h|2s%#~vk-2Ns~&ou&2
z1EOM&|F^u;a{ax{k-e0nyQbvJyiCv;qNB;cMEZm`vdpmP&{~YBl&Wk+XW$uDrEL2w
zTaB&S>Ej^XLVn7P^uKXi3
z|Ez<=j*Q@@GBD2dAGRQ*MqcbTx$wvIxtOBMt%0kEpN}~h`^KCDwwp00f2uJbQT^4<
zTNH-vH>-)eAzB;H`gX@zn8FkSYE$Hi=%#`y&76#u@2G1M+$z(d^)O9M7j!lD=K=dI-FskK
z_+Ljb$tKcFo_ZU^3HmS=WMLR8A)KhY0$x+Y;JeEaDsJKJt((u|s6z{F!SHx1dakBAoOU$+BlSQXYfZe3#ws(_V%21v6#uTQfd@<*s%i<
z{2{M0mU9?HC>pb?q#&jir~La+4TBb=pT$Ox18l&67a}?xPGzaij!f#REG_y*<0Y9J
zNUA+im)i%yk;1Q16Oam|+1~=6MgL3Z9;Bc?f&tpvCo$pU+(h6q=p;0q*jo(LLtKqY
z2LH7)0PN|SL~KdAyrYn~+EItlPYNLoG@6Tf4_MUHdg_;@A;)SS^$XDi6M_f9T+EW<
z05x5?vlt$7aa7rfT0B>kJxe2~AxYaM%Yl@_pD)?hlAJ?K31#bVNUUbnm~~9&{nk0p
zS@$F3NxR&;UvQ|SQn$6oV#KXv{!ze>$Q`2w-$G>`NV#kf6owxt?06Yh?%wU~SYom6
zLPxeqK|FX<>7uzPVTnKcf`i7sHgj*nbwT#i%yVw6sb_9j=LPV=Ml#~%hfG8&oW{fd
zQ(e;YV=OHls4DtuP4Wnf`%Ml^egEs)00Sv*ub`3=!*8|DV6(zkOz>t70eELfh
zE(O<`p3EpmNyw`?3Sh~~ClN`u4JeUKg1>gEPkTzXD7+-|nIM3F{REk$
z3DtR{>``}KOr_=~!%Vk=2=DC@qBTSyseQhOsZRd+uxxy|{qM6mhJf=s(;`fBCrYO{
z=@mdzF@}g&jp`AZxkJVG;qpTpop{utKB+7gask|<}0E{bo$Q1W+n7^mHyz-%t_TGvh
zQ+#3yqD$>B+8m3z(B*!}qE4>k#h@$*dYQ_vKn>G(7rA=HM~R(=b?;1LV$NjPi}Mo1k3>K?>TzMMyWt4vyJ_)CV^@I0z7
zA|Ho^e;bF|)>TKN1~Zd&5raL}<^n>QSI?oLhQBzHNa^o3;5@nCR`2G--X0!C1Bq`(
zEZ3cnC!b$Sp7TB4cu~Eq$mLD!FXK*li7YlZsb~Jz{n9|~j14Q}H3C5{U{S0no
z)e@ezz(*#Ut;4;PzJNKeF8~Gg+DtJ0=ENlj&1J`nL@a|62Eh>5T4_dc+$8&}V_V1w
zkQ+K4kJ_=?n2N1ZJRo~LX96K6qfOV}Mo%hh&q85v0*ANibnn_JU53OTlX9;#yA2pd7CSRQ|3W>F^Qc=x&vuLg^bTt>U@cm0Nag5if}{@RDQ#YCY0ljyE*1gX^LwGvzH301fyt~dRcn}{E6h3Kc${!O@(e9qd_
z=248!W>P6hMBj;l074mE7@ucP?df5c{HQ11HmYntW+#YTX27Yf*(G5)5m(wG1zqq`
zAgY@ug?@u_TUc@$vDV~vmn-h*t7EXVxe@Vd0I);55a$Hh6qV#_foD8=OY^rCJw~+K
zjdCVcld**+V|iTb}u-?V{Mf?UnqX=WmIMo>E`X|I&n!lU@lF@78Z)n0$c`@cM~g0!lR6s&9nWf(cIJdB>01Tx5`%_9x
ztbeh|T(awj)3eb)6CuofV=6FgS_%r|gelRUSZ|{>
zLimO=x1u(04!WKs42UhW4M}kK7k2~1@M*~-0eViNGUXbdxqwzmIK*T%@3M24$ImLy
z9Z2%GtGpHK?f{8LDoRmbBYdfiv_M3XqeiOgnfBQXHHP*nPue#1IvFo&qR{~+qqj9B
z+Zjq^575DtH@FD{l2Yr&;#B7ZzHWc`mH$&caOQ?Qhd;5K7L1>fWu|=e!6flv?!9MJ
ztVW@@ER1udad*LzNNxy5AvFZ*sJPiFwnb4|da9+{)XuK0>@b45lse*N(il6eLFfF2
zZ?t-Z*j>pzYMv)VsF{n`swbIF7x^WN#GVhByyhj3kyF_+#Q%}bkJcVj&OYhQEFZF*$Ic7-#jo
zbG`1{b$p?&3ncd(N}`hgf*c~EI4k6$on9oLK6ZOJKHnDqhm#CMzBF7Yo7}fOkgy{d
z2o6ocJ_rxOCeUDw(!Uw7PiN96{(b$0IDPlp5lY~~=@;}cYIBr8jCh;vC~5ehetAft
z#S#Yy_ccZ2>xB_7t^$hi8TXmfXf(GzjiLKY9wpmIN0JUQ-U<31`XLGEp(9|
z```Yl=%~yMHIexjvw{Zf6E_H%UJ2ZJ9#_o22E<0V!LYC$fO8N@--11;+en1Z^@INv
z>VHe*!VQRhUK(gU!UG4*2(oiZ)^Iu!-TAH7S=ODFm5=%T=p_n+Za^zKghS&SiGP
zM7s{&P15NlTaOaBrFDqYR;;?C=#-4aI}V|WkhDfgQ*&wEVEm}s)}`7z<)oIYcGaRT
z@QA_oVZr+0e{TmiLU{AgHQ-%^ptk#J%0g#KC+ovl4Sc)U59=*FP^J{=Gr{VOjdlrV-NWYo+KN8Q%x_eBCyI*$vg|s)dyzL-6#yRS^CV&fP{&J6{8$bM-n)I
zIaeJNR0{j7?D@sSyWi>e!82HRHVW>d8LB%UGtEXkS9+BH;KyJ>`zXeNIjdN$d@`>D
zT(8tgq8>6tajY4?7=haZb>&e9hgf6(8_89$T`FHHW-_3O*Y-aTsKZ|PZyM*;P_NBR
zccdRMFEl9BUQF+wZ`=QJwE`?QPnq~Eiv7-O!-;%P^4-A5n_XVw)DBwj7FCXc%il2*
z6KEzin6RrF1mbT7Om&;Efj2Zlly2xhg3k3Il)SN7BCA*6XboJBcpi*k2qoX!L@$1*
z5>-od(1+fumP7Rk@J41pQ@R(`z@i9Y*daKBv0in&3DA6rJt~SFi=M~1p^WXR5Y(c?
zbLZ5Lm>8|;eDQE!XgHMXqvw2f^wE7qtI%t=as;sTDToIIJnt|P(EiEmYBiEwxfpX4{Z1nNKCY7r49rWBs>|5vB(4f;esG_GpSLsPE`48{uK29m
z%&cG#OZ!?IwR`6@8qtccWrY*1J}@6FTg+O#-!;|i@I7J&2BBC!)RjhekgMAYUaywg
z-J1-FQHq$qRG)_48zG%mqVzDg3Wss_FFF)EX5i*)Wh0LJ_E}3{$fp;!_dI5v|HEfu
zd9rn4*6x!3FiZyNgYDh(*Vvs63&zIH;cq5kmfyzpit+>T!5C#F>L4V;d(n9UG`}ayM-gPDyN@o$fp`Uo1d*L5>IgEBoD#*f9Te4ns=
z8oIgVdTgpO94O)6gtU(!OlYvrLjiFTxI-XCd)xXp#xcvvtfA8Jm}U&mPm5!C06NQC
z$kw=L?+V}u&KXO+-ftd;VtBLO5e>?Rcw%Fhhv}pnG&YJv$S)Sf;baK;sV5}kF-?Y
z2>YY}I?SY~dG<{z(a6w>W-ki#IOHZfsE1d}+NXARRtl-zfCfKL_i=<SF-g9G~9XcJi+M^7#vrmYij1kFC8qgmykwv=4DD)lr!8Q=ph
zVR|A(8g?_YO{b<+tK0v8sgv1)uXs5ktkjaXS;?E0W?aufFNe4}5F#+@Cw)_JkVs`(
z2)|@h?i-i%a&@-J1cP>g`%pgkL3nDuHGIb
zD~Gunqy9^U&g;3^c#S3Eos(vBPgu=xO4Za-joDBwkm8JPNH~Q&NV7)4o=I$zNl;3*
zdx@Dy`*9N^A=bw8(@>BV9|D&uI0ag+el?BT=)=cv=86q#??Ne?hm|OO^7Ur}i@^+-
zaihUC1SB%?6^=6%7XW1Gk};XF1mSJa`OFS?nL>%w4R-Jy`(vZT`0zhL2qsqU>28yp
z%QoGu$P8~8`-!tU8=p#+dB1Ecf9*>XYv2t!db!3e241{$__6IJfK;{6PpH(+O^%gh
zPFL|pdx@WkIyQ>q3AvT1m2)e;Bd{@+F`n<4T&>oZNX4?a6>RUqYlV&_DMW%`(WZZ5sX7fw)}<);yLXA;Lc9{
zrqLS=j^WX3qp$8zD~N&M*9Sig4@{8TuxFVU>&567ekx`To#u8k$Qmy|NXw6n#4++6
ze(DM{><^G~kX<8R?d_?J-p0Fm;~BW=tKhhC2g`aSD>G*;cJ@mPd&k)H&a+4#D$*gZ
zjeS8yrg}2d>sK8G)p`V7>1cp~c~4P2Lq1HFg?=c4;;#xTA$EVp=LnSj08*Jw`1#P6
zlO#RW`~{tj6H9PH1wxoSGfXr8xyGsa`Coz7(%`
zm#a50Ga_B|?hw%}p-TVRK&yX_=`Pjoycr_o48?+uzO4y29ozOjW84MtGoyrBZG#Hk
z0j}YdRSOTdJ!fDe$|aFM0x|sqOX5;+!U21Tc-!zNax|I2A5zh1B-CtctcviqvLc48
z%y3AS-!cQ&U%%&ow;AfiO_zd5rkJW)z?vfg&vP9?n@yX7*af*`@J%H1U$#)Ze+O~s
z&6|gLb?O1+rDA4!ON9!edD(anZQSLceWa|6z-BP1uEb!ctk+A;j4wq+MSP>}eFIJX
z;<+_;y~v7Bl
zKrK!g`J@QpyJ(nSKng{U^DA-}hCQ=2PkiDW{lJr$l*1hr
zz*j!(i#Ls;tK1kJY0a|CmIpTni1~)-TuZR*tgfQ@vrTA*lW8klNzHT9LtEFeQPsDa
zUY0E2^`9NJM>}j#BhW(+rw$twk&ipev2A^FDUx&|lX^VqC6wR2a{haLqkAvGv
zXxk!L@t|qlDcLoM7}qn*1z(?U-rA%7)vb1y+~*%O`bcq>Q?XS<7@cS%z9M~T7$~;O
za^V;SY|wJ$sm#Bp($S^^{a5h8Xf~rHRaIA)t|*}xZ!BB?seVdGJ~!yo2Y7q)#d4^j
zxu{pbBk9QL^wff4u~87uQ~%Z^r^TZrMMvAXMD6Bg_!~1=rdQi$t)5f}m_Rf{iD#Iz
z+%ifG^K58qD2l5s#<(j^$H&K{GFwV7i+q3g|M~EPDT(DqP0B!Dou0Rq7xRr4)A!F}
zY3IrDjf@IfZO7(~PB=Khn_9uotIX)R6|5xGOdWWG#fxsDM~EM!v?QVzUdoPHG&X$j
zc}j`c=lP4w#u+vAz
z+~}8}SS?JyCERV3zoD;Q(fsSgD-D+5Pe#ug!-~mO+zM`x>E?w>+{d4%sObCFpWM2J
zj$Q>9$NqW?{0lsjm;4_a1UY(X0S3NMPY))Oj>$bOjePdop(g;ymbnILciH_-Qi>Zx0bpo{Gs{>5ND;A3DAlk?w1hJsd(Kv~CIi(DVNfv0a20P#J
z<fV(*f#VyjIh
z3{A1JYAL*M92RDd{0~u0(_b$e1_{0d5B!#OuSrT-Ya*@!VIH9@zS6;#nz|Ro;&DkT
zej5F^35_p>tnkwSGBgIWu>k8pAEM27HAVe8FA|?soF-mvx`D+_v)ns
zkOoX(xHG-va)4~-C(iaVWaQ5lu7rwDFkd&;k1kwsWO&p+jeY(CVQl)DO{rm?0K8E-
ze7ovS|J76S8!&pot~ih(Ecy%V%25U)Obn!Cf%JZ6!#{;gT~ML+2qtuF$)9^;R7iGU
zyUsxsod&~H7N_XK-vt%qr5aw2vc~U0^OiUY^E%WZ3*di}F#nrD+_nHqzr}qaSA@Un
zAK)4}yk}QRzv_N70>1~C1QUjf&Jh6S8zZor?}TTgwOJC
z=M|%gtWyMVqnLwAU_F&tw0`5eaTPsip5w8cdREy5ZV64c<@x<>;(hlPdYE
z+%y;HSD;z@Ge$+%Vq99JYfp&YCSoX#U=!o;G)hBtuxS2g0E?2%+(-kA206t+K+_q)
z??@kQk4Hvc|o78OS)b}&s!Llb%LwYLj#Ti>aaKL*VHRV3m#+VTSl)D2m0zvWth8vV!DbjgW<b
z59vsGsK|!`b(|8~|LWtZN5aacy@ttvp+!cO`<;5su*0U735!CN8n=ksCEf?)CHlVJ
z@#U!`&z~Gw|2{u%!`y9DoRZT9(m`h^t?^vxujH}gUE6w@*3hqfSM*N-~6wC=E0x#^Cc)jv8n3R
zH0`y*;=g{m@2_XEE+`9*;bIn64nxH+PAGyws{6FgQm-Lppa#3Wi79+x+6i4dXxR$~
z)a9*e8_cYRT{@K+(zxS}Fi>DhgDCkq_PF7{!?RLh$l<&sq>Rki+1vM|xMB>xt+?Uh
zisB*_7r;AbELa>Fy!gZ?2ft`&X^64es~k-@@^+{9dS+m^Vm{ru-KD7Jx=-=?>PRPi
z?UQpOcTY&xom#bj-=m7=WR9|_fF3WD7-~BS
zFsNWZ)6pJglPA-K^gwR2my7C{hL#{iRzllw2l9Tj+kzC%`6I0cS=7B1yeN9#(c
zvxu}=B#ptiEQ#qY7__S8KQ%ZxGj}UWvnW;=f-<)w6RVVoS$B0WbiyFwBPdGm#bBN5
zQ!D@;&*~1f^yO6Zjd33ZhehhyR;Lr*PiLA^qGFYbRrw+}hC0Lnbxsq*uRt{caOt`8
zzN(XniNc?$MzF0?FVZHz@h~|R&JW?h!la3}y@|;k4YuhBm!k;-TT=NZ>v
zTp(wRD{^mYRCQkJ5g&Ir1KcKRE3gh!f4GhbtSB?6gCx3DVWmgY?=zypKSsS|k#QAM
z2SUnfn0h4E3!*l)q=}sOU1v^6Da`wSXewy=yNewi%&9v!BGlpW}m#}~M!wTn#~vbwbJ-Tn#)UQ2A>k6h*lSUw;u|ALRm7q|zi
z7iTpu4&L8uNnxTNsNgoGgTiE;14X-z0RgKp>av(va?zI(AgBdVnSzBDcYq
z(b_?%iXm><-qvzREO