From 7b787d6c09c6e7b9a0972ad40c47fccd018d4f12 Mon Sep 17 00:00:00 2001
From: benjas <909336740@qq.com>
Date: Tue, 12 Jan 2021 14:39:51 +0800
Subject: [PATCH] Add. Loading Word2vec
---
.../LSTM情感分析-checkpoint.ipynb | 254 +++++++++++++++++-
.../LSTM情感分析.ipynb | 150 +++++++++++
.../assets/20210112141331.png | Bin 0 -> 18991 bytes
.../assets/20210112143537.png | Bin 0 -> 94873 bytes
4 files changed, 402 insertions(+), 2 deletions(-)
create mode 100644 深度学习入门/第五章——LSTM网络架构与情感分析应用实例/assets/20210112141331.png
create mode 100644 深度学习入门/第五章——LSTM网络架构与情感分析应用实例/assets/20210112143537.png
diff --git a/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/.ipynb_checkpoints/LSTM情感分析-checkpoint.ipynb b/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/.ipynb_checkpoints/LSTM情感分析-checkpoint.ipynb
index 2fd6442..1205ec4 100644
--- a/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/.ipynb_checkpoints/LSTM情感分析-checkpoint.ipynb
+++ b/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/.ipynb_checkpoints/LSTM情感分析-checkpoint.ipynb
@@ -1,6 +1,256 @@
{
- "cells": [],
- "metadata": {},
+ "cells": [
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "# 使用LSTM进行情感分析"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### 深度学习在自然语言处理中的应用\n",
+ "自然语言处理是教会机器如何去处理或者读懂人类语言的系统,主要应用领域:\n",
+ "\n",
+ "* 对话系统 - 聊天机器人(小冰)\n",
+ "* 情感分析 - 对一段文本进行情感识别(我们现在做)\n",
+ "* 图文映射 - CNN和RNN的融合\n",
+ "* 机器翻译 - 将一种语言翻译成另一种语言\n",
+ "* 语音识别 - 将语音识别成文字,如王者荣耀\n",
+ "\n",
+ "请回顾[第四章——递归神经网络与词向量原理解读](https://github.com/ben1234560/AiLearning-Theory-Applying/blob/master/%E6%B7%B1%E5%BA%A6%E5%AD%A6%E4%B9%A0%E5%85%A5%E9%97%A8/%E7%AC%AC%E5%9B%9B%E7%AB%A0%E2%80%94%E2%80%94%E9%80%92%E5%BD%92%E7%A5%9E%E7%BB%8F%E7%BD%91%E7%BB%9C%E4%B8%8E%E8%AF%8D%E5%90%91%E9%87%8F%E5%8E%9F%E7%90%86%E8%A7%A3%E8%AF%BB.md)"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "## 词向量模型\n",
+ "计算机只认识数字!\n",
+ "
\n",
+ "我们可以将一句话中的每个词都转换成一个向量\n",
+ "
\n",
+ "它们的向量维度是一致的"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "词向量是具有空间一样的,并不是简单的映射!例如,我们希望单词“love”和“adore”这两个词在向量空间中是有一定的相关性的,因为他们有类似的定义,他们都在类似的上下文中使用。单词的向量表示也被称之为词嵌入。\n",
+ "
\n",
+ "word2vec构建的词向量正如上图,相同含义的词在高维空间上是接近的,而不同含义的词差别很远。"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### Word2Vec\n",
+ "为了去得到这些词嵌入,我们使用一个非常厉害的模型\"Word2vec\"。简单的说,这个模型根据上下文的语境来推断出毎个词的词向量。如果两个个词在上下文的语境中,可以被互相替换,那么这两个词的距离就非常近。在自然语言中,上下文的语境对分析词语的意义是非常重要的。比如,之前我们提到的\"adore\"和Tove\"这两个词,我们观察如下上下文的语境。\n",
+ "
\n",
+ "从句子中我们可以看到,这两个词通常在句子中是表现积极的,而且-般比名词或者名词组合要好。这也说明了,这两个词可以被互相替换,他们的意思是非常相近的。对于句子的语法结构分析,上下文语境也是非常重要的。所有,这个模型的作用就是从一大堆句子(以 Wikipedia为例)中为毎个独一无二的单词进行建模,并且输出一个唯一的向量。word2vec模型的输出被称为一个嵌入矩阵\n",
+ "
\n",
+ "这个嵌入矩阵包含训练集中每个词的一个向量。传统来讲,这个嵌入矩阵中的词向量数据会很大。"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### Recurrent Neural Networks(RNNs)"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "现在,我们已经得到了神经网络的输入数据——词向量,接下来让我们看看需要构建的神经网络。NLP数据的个独特之处是它是时间序列数据。每个单词的出现都依赖于它的前—个单词和后—个单词。由于这种依赖的存在,我们使用循环神经网络来处理这种时间序列数据。循环神经网络的结构和你之前看到的那些前馈神经网络的结枃可能有一些不一样。前馈神经网络由三部分组成,输入层,隐藏层和输出层。\n",
+ "
\n",
+ "\n",
+ "前馈神经网络和RNN之前的主要区别就是RNN考虑了时间的信息。在RNN中,句子中的每个单词都被考虑上了时间步骤。实际上,时间步长的数量将等于最大序列长度\n",
+ "
\n",
+ "与每个时间步骤相关联的中间状态也被作为一个新的组件,称为隐藏状态向量h(t)。从抽象的角度来看,这个向量是用来封装和汇总前面时间步骤中所看到的所有信息。就像x(t)表示一个向量,它封装了一个特定单词的所有信息。\n",
+ "\n",
+ "隐藏状态是当前单词向量和前一步的隐藏状态冋量的函数。并且这两项之和需要通过激活函数来进行激活。\n",
+ "
\n",
+ "\n",
+ "
\n",
+ "如上图,第一个词The(Xt-1)经过神经元计算(Wxt-1),得出特征向量ht-1,再给第二个词movie使用,循环如此,直至最后,综合考虑前面的所有特征。\n",
+ "\n",
+ "从上图我们也能看到一个问题,就是越前面的数据,越无法感知,也就是俗称的梯度消失,所以引入LSTM,LSTM在上一章节已经了解过,这里不再重复。\n",
+ "\n",
+ "可回顾[第四章——递归神经网络与词向量原理解读](https://github.com/ben1234560/AiLearning-Theory-Applying/blob/master/%E6%B7%B1%E5%BA%A6%E5%AD%A6%E4%B9%A0%E5%85%A5%E9%97%A8/%E7%AC%AC%E5%9B%9B%E7%AB%A0%E2%80%94%E2%80%94%E9%80%92%E5%BD%92%E7%A5%9E%E7%BB%8F%E7%BD%91%E7%BB%9C%E4%B8%8E%E8%AF%8D%E5%90%91%E9%87%8F%E5%8E%9F%E7%90%86%E8%A7%A3%E8%AF%BB.md)"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### 项目流程\n",
+ "\n",
+ " 1.制作词向量,可以使用gensim库,也可以直接用现成的\n",
+ " 2.词和ID的映射\n",
+ " 3.构建RNN网络架构\n",
+ " 4.训练模型\n",
+ " 5.评估结果"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### 导入数据\n",
+ "首先,我们需要去创建词向量。为了简单起见,我们使用训陈练好的模型来创建。\n",
+ "\n",
+ "作为该领域的个最大玩家, Google已经帮助我们在大规模数据集上训练出来了word2vec模型,包括1000亿个不同的词!在这个模型中,谷歌能创建300万个词向量,每个向量维度为300。\n",
+ "\n",
+ "在理想情况下,我们将使用这些向量来构建模型,但是因为这个单词向量矩阵相当大(3.6G),我们用另外个现成的小—些的,该矩阵由Gove进行训练得到。矩阵将包含400000个词向量,每个向量的维数为50。\n",
+ "\n",
+ "我们将导入两个不同的数据结构,一个是包含40000个单词的 Python列表,一个是包含所有单词向量值得400000`*`50维的嵌入矩阵。"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "数据集目录如下\n",
+ "
\n",
+ "其中文件夹negativeReviews和positiveReviews里是一句话一个txt"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 1,
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "Loaded the word list!\n",
+ "Loaded the word vectors!\n",
+ "400000\n",
+ "(400000, 50)\n"
+ ]
+ }
+ ],
+ "source": [
+ "import numpy as np\n",
+ "wordsList = np.load('./training_data/wordsList.npy')\n",
+ "print('Loaded the word list!')\n",
+ "wordsList = wordsList.tolist() #Originally loaded as numpy array\n",
+ "wordsList = [word.decode('UTF-8') for word in wordsList] #Encode words as UTF-8\n",
+ "wordVectors = np.load('./training_data/wordVectors.npy')\n",
+ "print ('Loaded the word vectors!')\n",
+ "print(len(wordsList))\n",
+ "print(wordVectors.shape)"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "我们也可以在词库中搜索单词,比如 “baseball”,然后可以通过访问嵌入矩阵来得到相应的向量,如下:"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 2,
+ "metadata": {},
+ "outputs": [
+ {
+ "data": {
+ "text/plain": [
+ "array([-1.9327 , 1.0421 , -0.78515 , 0.91033 , 0.22711 , -0.62158 ,\n",
+ " -1.6493 , 0.07686 , -0.5868 , 0.058831, 0.35628 , 0.68916 ,\n",
+ " -0.50598 , 0.70473 , 1.2664 , -0.40031 , -0.020687, 0.80863 ,\n",
+ " -0.90566 , -0.074054, -0.87675 , -0.6291 , -0.12685 , 0.11524 ,\n",
+ " -0.55685 , -1.6826 , -0.26291 , 0.22632 , 0.713 , -1.0828 ,\n",
+ " 2.1231 , 0.49869 , 0.066711, -0.48226 , -0.17897 , 0.47699 ,\n",
+ " 0.16384 , 0.16537 , -0.11506 , -0.15962 , -0.94926 , -0.42833 ,\n",
+ " -0.59457 , 1.3566 , -0.27506 , 0.19918 , -0.36008 , 0.55667 ,\n",
+ " -0.70315 , 0.17157 ], dtype=float32)"
+ ]
+ },
+ "execution_count": 2,
+ "metadata": {},
+ "output_type": "execute_result"
+ }
+ ],
+ "source": [
+ "baseballIndex = wordsList.index('baseball')\n",
+ "wordVectors[baseballIndex]"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "现在我们有了向量,我们的第一步就是输入一个句子,然后构造它的向量表示。假设我们现在的输入句子是 “I thought the movie was incredible and inspiring”。为了得到词向量,我们可以使用 TensorFlow 的嵌入函数。这个函数有两个参数,一个是嵌入矩阵(在我们的情况下是词向量矩阵),另一个是每个词对应的索引。"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "metadata": {},
+ "outputs": [],
+ "source": [
+ "import tensorflow as tf\n",
+ "maxSeqLength = 10 # Maximum length of sentence 设置最大词数\n",
+ "numDimensions = 300 # Dimensions for each word vector 设置每个单词最大维度\n",
+ "firstSentence = np.zeros((maxSeqLength), dtype='int32')\n",
+ "firstSentence[0] = wordsList.index(\"i\")\n",
+ "firstSentence[1] = wordsList.index(\"thought\")\n",
+ "firstSentence[2] = wordsList.index(\"the\")\n",
+ "firstSentence[3] = wordsList.index(\"movie\")\n",
+ "firstSentence[4] = wordsList.index(\"was\")\n",
+ "firstSentence[5] = wordsList.index(\"incredible\")\n",
+ "firstSentence[6] = wordsList.index(\"and\")\n",
+ "firstSentence[7] = wordsList.index(\"inspiring\")\n",
+ "#如果长度没有达到设置标准,用0来占位\n",
+ "print(firstSentence.shape)\n",
+ "print(firstSentence) #Shows the row index for each word"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "metadata": {},
+ "outputs": [],
+ "source": [
+ "import tensorflow as tf"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "metadata": {},
+ "outputs": [],
+ "source": []
+ }
+ ],
+ "metadata": {
+ "kernelspec": {
+ "display_name": "Python 3",
+ "language": "python",
+ "name": "python3"
+ },
+ "language_info": {
+ "codemirror_mode": {
+ "name": "ipython",
+ "version": 3
+ },
+ "file_extension": ".py",
+ "mimetype": "text/x-python",
+ "name": "python",
+ "nbconvert_exporter": "python",
+ "pygments_lexer": "ipython3",
+ "version": "3.7.3"
+ }
+ },
"nbformat": 4,
"nbformat_minor": 2
}
diff --git a/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/LSTM情感分析.ipynb b/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/LSTM情感分析.ipynb
index ddee266..3fc9822 100644
--- a/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/LSTM情感分析.ipynb
+++ b/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/LSTM情感分析.ipynb
@@ -85,6 +85,156 @@
"可回顾[第四章——递归神经网络与词向量原理解读](https://github.com/ben1234560/AiLearning-Theory-Applying/blob/master/%E6%B7%B1%E5%BA%A6%E5%AD%A6%E4%B9%A0%E5%85%A5%E9%97%A8/%E7%AC%AC%E5%9B%9B%E7%AB%A0%E2%80%94%E2%80%94%E9%80%92%E5%BD%92%E7%A5%9E%E7%BB%8F%E7%BD%91%E7%BB%9C%E4%B8%8E%E8%AF%8D%E5%90%91%E9%87%8F%E5%8E%9F%E7%90%86%E8%A7%A3%E8%AF%BB.md)"
]
},
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### 项目流程\n",
+ "\n",
+ " 1.制作词向量,可以使用gensim库,也可以直接用现成的\n",
+ " 2.词和ID的映射\n",
+ " 3.构建RNN网络架构\n",
+ " 4.训练模型\n",
+ " 5.评估结果"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "### 导入数据\n",
+ "首先,我们需要去创建词向量。为了简单起见,我们使用训陈练好的模型来创建。\n",
+ "\n",
+ "作为该领域的个最大玩家, Google已经帮助我们在大规模数据集上训练出来了word2vec模型,包括1000亿个不同的词!在这个模型中,谷歌能创建300万个词向量,每个向量维度为300。\n",
+ "\n",
+ "在理想情况下,我们将使用这些向量来构建模型,但是因为这个单词向量矩阵相当大(3.6G),我们用另外个现成的小—些的,该矩阵由Gove进行训练得到。矩阵将包含400000个词向量,每个向量的维数为50。\n",
+ "\n",
+ "我们将导入两个不同的数据结构,一个是包含40000个单词的 Python列表,一个是包含所有单词向量值得400000`*`50维的嵌入矩阵。"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "数据集目录如下\n",
+ "
\n",
+ "其中文件夹negativeReviews和positiveReviews里是一句话一个txt"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 1,
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "Loaded the word list!\n",
+ "Loaded the word vectors!\n",
+ "400000\n",
+ "(400000, 50)\n"
+ ]
+ }
+ ],
+ "source": [
+ "import numpy as np\n",
+ "wordsList = np.load('./training_data/wordsList.npy')\n",
+ "print('Loaded the word list!')\n",
+ "wordsList = wordsList.tolist() #Originally loaded as numpy array\n",
+ "wordsList = [word.decode('UTF-8') for word in wordsList] #Encode words as UTF-8\n",
+ "wordVectors = np.load('./training_data/wordVectors.npy')\n",
+ "print ('Loaded the word vectors!')\n",
+ "print(len(wordsList))\n",
+ "print(wordVectors.shape)"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "我们也可以在词库中搜索单词,比如 “baseball”,然后可以通过访问嵌入矩阵来得到相应的向量,如下:"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 2,
+ "metadata": {},
+ "outputs": [
+ {
+ "data": {
+ "text/plain": [
+ "array([-1.9327 , 1.0421 , -0.78515 , 0.91033 , 0.22711 , -0.62158 ,\n",
+ " -1.6493 , 0.07686 , -0.5868 , 0.058831, 0.35628 , 0.68916 ,\n",
+ " -0.50598 , 0.70473 , 1.2664 , -0.40031 , -0.020687, 0.80863 ,\n",
+ " -0.90566 , -0.074054, -0.87675 , -0.6291 , -0.12685 , 0.11524 ,\n",
+ " -0.55685 , -1.6826 , -0.26291 , 0.22632 , 0.713 , -1.0828 ,\n",
+ " 2.1231 , 0.49869 , 0.066711, -0.48226 , -0.17897 , 0.47699 ,\n",
+ " 0.16384 , 0.16537 , -0.11506 , -0.15962 , -0.94926 , -0.42833 ,\n",
+ " -0.59457 , 1.3566 , -0.27506 , 0.19918 , -0.36008 , 0.55667 ,\n",
+ " -0.70315 , 0.17157 ], dtype=float32)"
+ ]
+ },
+ "execution_count": 2,
+ "metadata": {},
+ "output_type": "execute_result"
+ }
+ ],
+ "source": [
+ "baseballIndex = wordsList.index('baseball')\n",
+ "wordVectors[baseballIndex]"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "现在我们有了向量,我们的第一步就是输入一个句子,然后构造它的向量表示。假设我们现在的输入句子是 “I thought the movie was incredible and inspiring”。为了得到词向量,我们可以使用 TensorFlow 的嵌入函数。这个函数有两个参数,一个是嵌入矩阵(在我们的情况下是词向量矩阵),另一个是每个词对应的索引。"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "metadata": {},
+ "outputs": [],
+ "source": [
+ "import tensorflow as tf\n",
+ "maxSeqLength = 10 # Maximum length of sentence 设置最大词数\n",
+ "numDimensions = 300 # Dimensions for each word vector 设置每个单词最大维度\n",
+ "firstSentence = np.zeros((maxSeqLength), dtype='int32')\n",
+ "firstSentence[0] = wordsList.index(\"i\")\n",
+ "firstSentence[1] = wordsList.index(\"thought\")\n",
+ "firstSentence[2] = wordsList.index(\"the\")\n",
+ "firstSentence[3] = wordsList.index(\"movie\")\n",
+ "firstSentence[4] = wordsList.index(\"was\")\n",
+ "firstSentence[5] = wordsList.index(\"incredible\")\n",
+ "firstSentence[6] = wordsList.index(\"and\")\n",
+ "firstSentence[7] = wordsList.index(\"inspiring\")\n",
+ "#如果长度没有达到设置标准,用0来占位\n",
+ "print(firstSentence.shape)\n",
+ "print(firstSentence) #Shows the row index for each word"
+ ]
+ },
+ {
+ "cell_type": "markdown",
+ "metadata": {},
+ "source": [
+ "数据管道如下图所示:\n",
+ "
\n",
+ "\n",
+ "输出数据是一个 10*50 的词矩阵,其中包括 10 个词,每个词的向量维度是 50。就是去找到这些词对应的向量"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "metadata": {},
+ "outputs": [],
+ "source": [
+ "with tf.Session() as sess:\n",
+ "print(tf.nn.embedding_lookup(wordVectors,firstSentence).eval().shape)"
+ ]
+ },
{
"cell_type": "code",
"execution_count": null,
diff --git a/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/assets/20210112141331.png b/深度学习入门/第五章——LSTM网络架构与情感分析应用实例/assets/20210112141331.png
new file mode 100644
index 0000000000000000000000000000000000000000..e2d1783e0481b9432ebcc6c1a63c83d3ebbc16ca
GIT binary patch
literal 18991
zcmd?QcU)6lx9=MZ0s?}7pn@Vul_r9866qoxR5}3xsUgy9h$2W6LAta^jfhl%(3|ug
zdPjQbEwn(A8=vQW_daLez3(}D-*fK$^u_O0Xl4-|I80FMWR`NYTHx>fajMdIK^gOTq+uf&~;|I(V@{EE3m8YHPv
z-wqA<`{>FwCD7kTm&h~O{yKX5?h=~zucOAscNp@&jx2sZ!T#O%;hTH73x9ofQW~^W>wk1PPsyFS8=TdO)LY{QM6ql)c3>?OExJrUed^wP2yfo!*S`E6Bh3@WAgO~sfvYCe4
zg^pT?<{#V2u@2qvJTt{s&tda?68^XvK*F|j-yNx!2_
z!`QS6Xp_y-lcP^;p!CP{%L21ZtNjQs;(0%D(|Nk`x)m;Voq7MP{%l)x$Ebd#jBUt3
z@=Zrc-JPY-`!j{Z;<7?~4YkNiQTAFq2gW*Z9cgC-5GJo9ZS)}?v6ziu^_Im*yZw%2
z9SPY`!MIYEat&c`ype`qE3Jnd#<3%*?Gw+5v7pmfYq<`nvufZVes%|M?pW7J{w1Wa
z98nFUELDSL4pop93Lmz!5$4%O+vMjqzg2*(Tv^r>Ok#^1Q#8kdMI7Pp$*~iP7<|jukxZ
z!DZ?l?jHl3F~*=dR`(j0I|XGgf0s(lu@U#!BqpmIP2E@wkM!k7qrN)MT)W)r6)7qO
z#cVJxiH`8uplG^83o$$T+&M#A&XF``+?LC|mV>8pUrY1)1sXi>%Zj_UalIG6Y~i97
z9w7IQL7GM+vNaGm)cm76Hk(O^X2Q-S^j3ZVAFmlg?Q=$O7}GZw<_Bx{N5JVyda|hC
zk=$e;UTN9*)i-`jiHPuI8=w_kH(ieucV@s_Zww&_?ymkix2uJj)$VqeeOUzNJV|-K
zyu4g05HRaKqa>f*unvDaO(N=+z
zLE`rzTR+;fZ;X-UaFq~M;aJsrNC#qA!j#n-j&6V~nggwvrrYz*M`7VZKo_Yz7Y?=4
zAF!M=SJUf^5_uTZdA6h3r%m;(heQXS}Y&&l$#`CkWiB!LjiX;+`&RIt^#fi(a~Ipjw=zqce6@&
zFviCcIaX7qpl(|sgVD6X=%_gD$(4KU)T>B$tdX-qXKq=yM>2`2*Q
zd^ZXnr@WM+7drSPv;AaUB)_UDzH6?Y%FrSO7g!1^Gv<
zp8gbgzmMK{GTk1hg%Zg@_Xqx9h9`JRrGJ&IR<$38;u1j&)uvLp))Ut1P+#5xCeOH#
z{gul{vFDa9il;eqkaze|kAVT$_aQ3bS{)YA(gN4t0ZXMMlcVbKSv*ew_CQ<5+(G8F
zm!_%S)wdM6@p{5~Zv0x-)Q6$HoA*F=R>!3KH0AVGpQ^{Q*mLcQUx+HgQp#NxSduj`
zr_?6p(Gv5i@L7nY_pZen&zOG2t(;ZIiEE}_LfVsecxY#0x6}t<-K&go674DmY5I`y
zcv`?i8FRm_#~>cyUJFC+E>f}@)xtm{*SLRSx${W~kXA$!P`0bN|2vk(98kk_b^i;G
zFfMW9HQEELur}@t=9XJq6)(dnkUvXwKs<*{G5t;zA6$IR^8~2wVl8i9IWvh%SWk2?
zFuIl#Ytt318^Hao;9KvB@mcp;)fQixlhuAOlVKo4S8hB#XrX%j>9Wy+zM{?G>maS(
z?HBqn?ub62)fbX2xY5>%WT4JEzV`oNIf^W^G;wYK@W+
z=T6hkb2=4xw3Ij!b-RmaNEhg=SjZ0+eZHf%U);~gGhb_66rtvXk^U(-^Wk>dpCvOK
zHfaXWrkv3F=Rep>Dd3^PM-iE+WAbea@16=QcjlK@r-c4k56{lxnu%u}h{l1BFSP0s@uvu46-t$$KZSm+Hkm8?
zl0`RQ8~Ust!FOjY1ZdJPhaqi=nTsvfaLyt-x>
z^TayFp(N7kIV)10#ye0|^Ry>!Lcc^!eOciAvwAu*XzxKFa^DzREm~;z
z2^yckPv%1+EA_AkK^nxakkPBMme+CY{WQKY?B1_3&z3@hxIYampv7H`m+4H$SSL5j
zL?Xc{UrWmo!&gY_m{qVfxxHL=UGv;kcJp$_Dlmd3ijALkB&scY1X#^l%`I~-eHnFU
zCNY9DQFUxO;Jm$3Abn{~9GT&do$v)>jDg@sWszp3s&G4vi;+s-UuXwz>PK5O-nOl|_w;{DE*14uq9hupQd&hpaN)swDCj)Q)xlqjhTg6m9fs1rT5R2cccD^!Py%
z15AkX!SxO`$SRr+cUUTcn=E)23CP8@)o6Q-SYcCUXWH-T4t@4k2@SJ~0c%G~Wu4~movBU7c_Zrk(o{4sHMpM^m~b$Zw##Uh?Ja`FSPWJy=<
zjW`+_WENRAB=GCWu!4NRXPQzj%PCXgupdz7I3bdq(^&M%$uq4Rs36Oy$?Mg-_@ltg
zt-E3}AYBK3Xy&9x#Yn<{TA>g^jw6mwi$5Jfb~h1+G_0!g`JwCkrLZ8f^UBm`oz%yk
z6XeyZgwH2SG$A%2TF!iTa#qil5O=8
z{vfp&8{}}+2uj(SvpFPp6ujL%hM;iv!WnRMXZpEr4#-`rB4CcJTqi%A=LD2=#TeS?
zn4d!UQRE}`tY}c=>2nkhX?ZHXis2@Z(jB%YD~sY^B|Ecy#%*WFS&I&gmnJ*%L{~pU
zl45BA#d1&Qg~>qk${=moQKhG}kJ12xufFqq6xS2y$_wiV^wboHi(0oB5kvw1
zEKb_v>D>J&S+3^>0V4_u9;?bKisG)!zk&9vYEwzY>y29uhb84nA}^&Fk%$}B+H2m_
zu0HM$9-Mt9#B)Rsp}7@~*%E)*xD4o|{$QSp^B7z%g>;*5yD3%_h)j~@Btn#n`&m_&
zk^W!3jlf5Vo30H*k4K`mOCYm`Yo6S^Fb7$*96v2PtR!8&6sZiFNldwP6y+pRDs=mS
z_9()FrBsu$n}-s`KxBW6`VuVk-alJBHb4|Y=ueIVKNp^1dd~b^bS&&VXI14B8R;H-
zg1R36I8xU4Zf0c#5WO_sk@s`tgVZSiFhx!U=R2V!hSXxe=5ov8D7B@_vqDh)mwIAv
zXb~~#z?pGq`zI_RQ6f+V2RU8tV`SF>}C)rQ`a%VKP@}e7RO%HSj*cvyOO`@
z6TOd^dOM{*s~$<_pkJr+C{8sB^vo6?LzA;;`wl^~rq2==HH5b9o~r;Z)?$lZFz@$E
zySz>rRK=w_@Kfg8vXza7`Z{e?Wfv4Oj)Nzdt^4VdAJJrNBsz!&;$yb%v&*<^pY_nGRDW1TZeK+S4KkG{Jxv%!Ai`cqhw!J7IltQ;9S$}-FOi`
zf7W3v#YrPM6wd%*V%EQp4F_H{06km{$NLApO;BbyPb
zuG912vW9ugocatlIj|K*38_xmr7TwZm)gW{)6_xDaQn*thG3KwYrcK=6T6ZE
zmA?EhEolBq>VGM;{p)J~8Y%B(68D$82^Rr?Mt4cCZPWA1jSKJhs9#@b8#%g&roHmZ
zv8ZkZc$lYs3crvfVc63c-ROPgCt%URj}&9Se;Y)w1)UiYzYv0V$q%kX+`37Bv)_Wr
z!W1G*hqsvj9Ef=L?|hz7av5}Ko_2+jN%SG-!}KPB#>z?ad$=YAx8IHLPC9cpfPkMD
z|NCnJ01qz}C%t2T_pd_(07L=*>66^(@jI0U+qJ)7xPkr!kGr<@HFGeWsB(S(rdN?E
zFNctS|4cLD0>Fa&b6wJ@&!)|>LoM}r&sLg+v)|#so$Z93dWIq=Ud<$JndY=PH``Zt
z`)R?2?P^54EktpQMu5X-QR>H*AN-~;rJOm%ZJzQ&L|e^W2@V}&`}R^wrkE0Cq7qK{
zBWhA|hO0*&tJ+k==5V7@^g#yr@?rFupPa-s0HFBJlF;i>*#!EfoM=?bE&YZ7`Co;JU=o&5cl(I+chQPy?2;7^9m!Z
z*JJl?2|#3s?D%&fE#?2k-O5=
z{OAj&Kh31s-?-OH54+*_>$Qmz95(;ERb%US_qFIZ#`iy2wY4OTAzJcVW=ZuLVI
zu-#G*`y$xgS*?|>W1lf<)5v^ylKd2#7~m3}338zo5W}|`O~3UmA(T$#kHOyKlAg1u
zNPS|kx-D?`=cLByiul1pg`U^|t&Jor^5#@Rw87S<=v{NSy|5(#bJDt}Sqr`nxhle`
z3`)Zu)ZPTUN$OAMhuO2SF%>)#BoqE&E~LaXu@w-B6emZKsbjk(tG*^jIMxhYijYso
zB$9iS%o*vN8Z@+2I)n;vwM_o`CM+-wUp`{#)_bLNqRJ(mTWh7BuW;ggn!09;!osrs
z2l8V@wsjgpw*s{;0XF@snSL5jy(4}{Pz7TWd9dZsi?5zju0|y4T^0YcuX1e}`eCUL*zj0Wl|1YW*4V??>CdYbSyN
znByTg@Y8BD@*Z@;k6IN84wk>XN~5S46so+pV*dKq`%I#W*mfU{zW4Jc7ks{ED8Xqg
z)q7%-!;~66#wvgVj-Fs?gG;on?KRvfv2B&?*ztMIHxy~FXaz1WM&|QQHcZJ?Z2AbT
z7#NpS?XljS;=sWaaUodSPJQInx};Vz4Z=GX7?*jAi)xqF3{Bbc;FAIiTlrKqknXDTqP;IFg;dC!+nfyfJZ$_xa@RVEd
zVs9DrRtXKB1pz>oL`T`TMV15(c*(}+^FV#
zWan*?btb$z3L?v@%V3DGP{elAD6L#3`GBbw!^{TLO6e6fIX2h&C5cp**n8WntO=Od
zfCk-%-Cs`)hZQM6{u|QN)opI&cUL2X?y^m==-de}p=3%abh*){Qr|{3cZJahTYG=y
zOu5;In3v)gv%$?9}wK
z6{?0G8qjNY)+#Z5h}vdUH31W6yyHb@?Cz`YWqK=fK?
zaNm@g^Mk3G5mdc-C_!c>lEJG=TWf|*^dFttEI(xu*}`{S841LB?K2RrlbH%lwDCIZ
zEvnvVIFa#M+=7xi%(945M@7bSp~`BvKecZtTcPnJiT6yg
z)l=NzR2i?}U*y!%eT!a+_)Pbea%c((m;f3Ii_b;Fdtay03G2S;5;O9o;CpFu!-28m
zQ7`qu>$9THqp+Akm7qb-P{PNfYc6zgF~u3T?>}YNh6oqho5sz2-+mz`@o|Qom_iQt
z(88(=q9kPXnR(Avc{MBs9QgS~T4&cn|RX$fsa|J4vs{fHUiG;w-FqS+5Gq3zHA
zx`V6UQ;&BOmoH>Y!ORNw>R!fk7#4kZ`a!|MnJV$@>_$n?BeNF?ht)I@&{Hk{b^M8n
ze@K6w5chWX2ogDkllN6^fXt@YP`YVYt83^{8Q#SZDn{#CZ7t#x;b-FL@8Je7LBHMV*p0I$H!}B4(G7
z`h){*W(3%?0Y?Cz8TbRU4g3Q4H~vuKW1Iaz?Ht7Lhq>?uwuDg#0cvmI~X-x(9TfDtTLZ{KG|g+DpIFdp2ajRms?lO{qQ(XTpF
zMDS{DSopPb2!<_sdf^L-m@|o5t3r6**IiBYGuZ|?Hxrumek%)74dni&RyvF9xhU+M
z)6qwVM;8hdHT0*31i9ZxE?gO3-)}!^n8|ersiZVaSnj|QelCLmmpHG^Bp2_!;^Ie+vEi{Pl|S>6E+4``L#GHXnETljs8`?XbO8-rqsj
zoZ*MAhJ#B_lda}et*HP>&BTl%OcXFz{DKtl%=*K_qEo$r_Ltqc*(>l|O$3j*_gSm0
z(We)=DBZRT4`mI-#FaGjDIje;TfBn{GU=5S-^M1EXqIqAB3rj1%$rgCxGA#i;|%27
zdll3ds7cKhN`?JSx#j*;S`g-VOUo)3YIiFHKpig?PO!b&1RtpS8FgcUc&2*FckWg~N$!%m7h5e?PBVH)^qAN3YdZ_d#;2IO}Qn&U2r@FH2i%
z4Y~HH(nM<5I*9}+PRgpeI=A0XLDV4tdL582dgtI4ELTz8&(Fls(JGP$@S*Em353{3
zz?xyME0o8DT(~(-G%<25g1{TZvQVn>Ad(&(c|7c4q?C&h{vG=Unw7xbZkxY(aVJXv
z)X((!h-a1`-(S|55)%0gT7^E6FXoa|
zvj>yU8LmieV#GZiYg>U*E~KrA99R+LIl1WY%euNntwDJNJdBu0p#gYO9WdZm)2|}W
zZSRsS`fsM=ZQ^+j9UjG$NmLhQ#QPUq=A_iSKCfKhQEj%wzvakooc>Hgxq+$01I-$i
zLgCwQ_JY0JRv+t@5?bo&-J=3ju#+B{G#Q~m6fGkY?dSO_BnM980H
zjcKKQ)BeJOM1S$TT=4`#yl?vYrO(+(QRj_mO*C7>_2^fnKkN9^%${DUp-X)HswTLC
z1~xsSGDL?D5EvfR1l9v?UL_6M7QuU&NZ|NULq)_h$7A4lw{1mXT&o&!jod1ibzce8
z#8FOd{FXV61N0$2G8dnGr*ytGkABw0?a8~=20q;4m8Sh*%>Kl8WQfFlz6KhTcV(ai
zqLjFlCQO*_TvS3OM~))k;XOmfFHQ9EBlzUEYnCA*%B4&-l)33%)WpZRX72^i;DO26
z^rRvUQ38rlG0QU-%rPj-oXDWBvBmDiZc8oKmRuE!vA@cw5cKfGGTgfzgp&Qk^WNd
zRGvUJk+h5zhywI?6SF&21>Q4cIpC?-GR>#MUwiQ}dXgclnj$$YP>*UV>;pKt@g0)-FF$ogpa6f;O|k0!dcym77$UuBwLjFNUpv;;=7kG_sYA&AMWi16pm
zZjny56a#%n3E1Kq^}S}0dhu9r^^QRwIhwYyh2)YN4vv+*^XTv)X?{C3+bH6W+xFn7
z;PxUS0Bt7aSyOW~IyMsto;3<3)L4B`w)|DVxZr1V-@GsS9?l?~o?l^FAP5Aom=x1`
zoHg#$M!DzeGE|U9;-t`|v51M6pIL){Xo&u*ogg@t!ZNeVu4k0pS&+@Dr1WFb``zVHn;TJ~;7%a7<8{owa!6{&%P}
z_OtHi);9My8WXK?d~TOR{=m`5%6F3<)HSZh*De6uZs3JK=o6^=84+NY213)^31a7b
zw;fg84I;+W;8eVeh$~^xR_fEZ9R%ASL~;~XE{?0z(hquFdM~@+Y~Rdl!-Ius?vdFa
zJgPm?TwdeCnK&(9qU__{Z+F-cuc=`n!I8xMKX7Ead;obc#HEd+th3~Os02>|12(U$@Zi?W0;HEg
zMEAW@o8$Z)VmZ8ZRnfO~)fPn}U;b^}p3HPFs^OOC(qeEneMZic0{)}i%8zRg(9?`)
zmJP^)c=lLec|u=ezIjvF@=Kfn(!SmR8b;9ZD!+~?ji1-fO0R>Ieub`3+LWP00X2cV
z((0Bm(ghl=qLZI8%{W6CMz{L;F}vWQ*JE=LuSB%5tL0ubGiINl!ufJ~I}_~zyl2x-
z#~$D=l?Oz_m?Rj*RD_&wyxYE1Ohqz$4U#1HvP#Q@h^hwTcf#SVA#)oIxVEiroC#Q1
ziI~=BhSTkd3*qypTIZA(s-0^{&`f7#kW3l+5CM4-E*3oG6w3GgJB7rU*1dJ!bP80*PszjsI5)FkNC
zY5$5Vek{o|vV!WU{RUnnfVHOPx||BEW&%?7`0Cn^NCnDeiMHS!zuTfP#cs*V7T-uW
z4@jSa@V+k%_JfYtUwLef=O>yI$w9bUqSY*ad%bBWq39I6`-OyOPc!(PB)Yp8@a6k>
zTV3-M=tV(X)#fC>#+M3XJYTUAJOK`jI(gl=N&}45tSZ@6nxZ3GcFvsGRw@%+8X0Utt`^9y)dQB?t+)Rt0Ei)+aL+=W`uZ)U
zpY#dRX6&X0*^ds7`Aa4l4=V0C=kkYEVC1|6oi*p4Dn(G}V^wtpySqx3?e|pA5VoRM
z&*Pg5LyvtD^H|Y$?`%;w?oz<9lX))=^8yydq=!B=GIegjgSvYjK-q|o7b6JXuEMR>
zwtf=tFcP6#Oq1eR7yMKn_kRj|WDUPMD_M5QQyFP9p1!cV+Uv?-IjtRW8lB$S@I}a(
zE_v?))2NNkniCrQWFckHF=OTxfAmrNKB%1=Y43C`T++?z`Q-cGrrhHuU;bE=S$sbU+4kHAP9*Muj6n&fQv!g|iB~&5$Hw37~Su={{cL`
zl;=t^nWTRI0z7LM{s>lbp*+P_YhTs&NwV0u_zFKRY@;EJEtmYCL~`SR87~U>XSyd`
zKKvh*iBHJ>dB%UCGSQ6zFI<0;DdUU%<~QGQ-RoqR%317o)hYr$D|a^Sw*AEx;W0-z
z65Spc(ynpt89KBV>2U;V+xhNy=HtDVT9lB
zX=^d?)ikf#UC?I3sBz+{RCTmXt0fB#h1Mc|+W$3xt{1
zUWzXqE<_vrRo+QwlJx>rE$wQuS55V-p~6SRoU%g2*#k0k%L_2R_h;m6Tj?@hh1@4Y
znZ$5reAKpy7g9zU&Um2Dgl`{9oEg+ZnF)79xc{6|Um7Llv=1g+vtH2OfAREcWTDvS
zh!jU>kGN>@F0Dsq?@;%Z2RVK27u3g_x~DikSE+xJ@-j`1Sz;zxgYEs7f}*W=3^=)w
zYbD^;x<_@?3OdMO-?9;Xe?LDXA54|0+j)`?NQ&)HN{M)l+f7Sw4K%m3q}HbfTVZbN
z7Y#ct>*zkD>Q|S;RQHocU4%{LLbJ67Oz{zyyXCPvFn5Futoke)6eXfW+%GjTH}>4%
zD~I{d%z=eAj~MVQ&NjI$WPnDkY?tJl%GRQV^!IA*#F!pcB^mNREi;>4z^*uCU7qCh
z2@{&T98cF{7=$!l4b{FsDI;$jy>0%z{-=_Lo9PMm@r64>Z%j9f+6>3~l_(=hL;|tz
zHzOR^HwGadw3`B@E6?SNPPqq@k&aqjsbGf_>EZ5IY}VHUv|_A=yaPykYt2@wKby(=b_J@3YUjsJ9`cEa~NS1{C{Osxrfv
zFw7IE-a`>fzSnENB*=tk*%NE<
znbh{-o2B1%d9OPuw7GjH0P-|w*)DaXq{;qOnl)Y$URP^K>&C1L@m#kt0A9DbRbQW)
zOVOM=(MOi&4R|6^9%e%Ml^(P<706vaZg{bq(TvP@FNw2=bJ^r8y~(U+RItmrwCV-E
zA!~uI=jQ86ZzS|9AgriEpnbT9A2r!$Gwz}OCyZuNy>p}5oh3KPZmb>vyWHIy=0(Rl
zPwJhq6Osp-0qIA3@gS6sb^36!&cF}bgD)v57$ngg|F_gf2
zl5^$A-ho4$!iH(OrOnqSixJ;y+r>Y0oluV&VI>y*Di~E@VrJJ861Z))(xT`)T9fIe=mn*IRoAbECkJ_meIJ-4;e=&8#9uX
z7=zzXPqitC7|n(s1s8WAi)xZ8`vfn8txbMv+9Ruc#v@NE9!$L@6Fav0go%RWpT)GF
zapR|oh;~kPpO?BdBY!m`H2V~n*MT`A_1$Mamc=W>fx8;VDNx*sTECh{VA{3$oz)k<
z3B2xcM!8h-QTVDb0`l5jY(tAa0}g0vPeF(R)^92kFVO;r!C0QwTHy5}t;X_u+{Ud!
zlxF3f#bmYAdN)x^BK{(a-D7Wz2?OI<8+RTmH|SOr<@5ep0AJ}12%EvvE|0y&+#sdFc%ExFUb!sWZIpt=H5R`#j-T}
z@sPp+=h_5P%KcU`g=T1LT(lSydz-0~o~L_lymL%#crNq>J~pG*!a7shR)_iLyqNE8
z&k&Wmw2K1uU1J$amyFh8Pmapl{dvx7ot7uQ?k$mUkf-g{gQd|6PM08V>yih(-fnSH
zJX{$6YtPU-!p$g46<=`fCj-aUX(i&Kw(QzmKPm`F{?}-0h!?!}m&(j{!d}%@u~2xs
zm{7V1hD#BF4l|0nf>F;rQMEL;Z&Ro<&hb0?an~;UQ5V}8yE$Tu>`qce^dDKCeGnOO
z4HW)LXj3D;T0o54bt6Z6)w5UcFZFpS*-j>7ghSnu`WCk^B~|)LM5`#!wpN-nBpe?V
zJf4_IOh4Nu1v8y??2$~l@{OaxUZMO7IqNgeZjC
zip!I`lYh;0nghl>zqj$Dh)>(h@CrC?91G((yO&;XGYsiCsrX**6{H;QkY()~K}u34
zZgq#@hb=?eXq1Q?F;d6}KTdNU3)hpg2Ho`9&NI=Oh)}m^fh@oJlq?Krcif7AKNrss
zz7$5N*{SPKyQzp}$O(+C
z7Rb-$Z8e`ZaJb2ii+I$9po)~YiD-!oE@S}Qi)2)Yv=F2o!B;33KuQKZ9oDcb3L7(B%L-RF9R%GI&Lg6#V(OqBp2_l;YP#wf@5wrFp{GiQZk^_`w~eJ
zEu?K(e~8~k!#13Evd+$lW$MH|Cj2!JUVsPxj24d;s{5r~gdLzHWqY7AFfVqTwi1;^
z0+t?sa>*RPl;W)*p5Tn&6ed+OiCw8JA^8Y$nG|5=9I}<~FQ#hzM3%{xv=mC%hu$a!
zUn1cxsU7?a$^O52il&b=^a$a4%%{6@>*kWKEq8$Dfh>_K+o!7tuYTZhs^7|l?F^~`
z|4{~u9oqh#q3G;>QY_=S8JWcJ*C+r3AtbD%KVKC#eIo#m-*|VG&_O2%A+enftDB
zc`dY1dM$P69v@h>zjFS}grvt9NgP6V83Sws0O^TazAMhm+-Wh30Ms;ZG2tli!zw
zadSSacZAPr8+HSU)PHyDuyxKvn6K?+Hqf2tV0cQPp#(XjgllqgZrCC}RgjX6H*b>CpwC`qUscOM$8-Okv!owXnNZ8+-}TIX
zN@A$&5mZbBNr~&~V743j{&RI9*Cck$>fz7Ba=AAO4aiCMqx?#P+(dbb^)j8P3g2)j
zRG6PuF46H5o9GVDY8EgAGuLF@m#2hS^$I^wxH-o9-6f%AO1%deOj8J+ai*x={sU9|
za<*z%)si{SF8HY{9o~;^W>pI@8=2W4Okz{}PR%v-D}ct2cB$NLt(muYm_AgV{J~RR
zBYxe#@$`Gne}kuVc>Mym7UY_F=un{hF^97M&oG9}2JWx%Nm2Nbn;W<fvjxEwtSM~=q7rCrP`A&K6CFN&JSq^Jwht%e
zv+w&IlQb0fvf`mX4~1coKo^#a)lVY0e6|kqu}W6*ycAR+B~S9mNWMm@KE9F|eDP1`2sTu0Ir!
z{1$~`EAL#==Zt!(9BNbSY6#U|+LL#%(~_iNHT;6FY))KjV$(V`!h&jTwUHRqEKIvi
z?S;Spj3BdukJ@FyPWXkWIsLe5n`Nr4^yt4@}yjbV05n~XuFQ^kH
z2(4*fkP1l4dK+i|h{^eZHiGpcy2538^emfibW4O$$@7Z_=n|oN(OPWq-{VgvnE2>{
zOui2(=LS_P+A!jDmUa8HDcGQB;XTgQdODJ)XY)O|?)7~mdoE(f#$e5qsr``<#jGAm
zrAbIx5_&P);)vrVrFqonhA-kLx<66olnViw4Kqx0W6q;tnGLUbD&ji~M-{`pW&v-i
zRZeT2D4ZU1F9EMM5r+)h&->veXAS-C{#
zLurKM_4Qn%xVGBVYYGp`%nE32rdp5aBl(6BZ(6B;imVVBZk#G@yMCDQI3OQLV>SMi
zWOEHqMDDF-@1@U8^icKMHU}xgvxGdB+!jQ{AN-jgXlqb-FM41#n*N*-b9~O`kFoSx
zAI`I552jDijTU0Qh+;&Umz6$+T(wi7+Pn9*{Gs-;LD8{NMk;+1DRUhnc$8=MMwK|M
z=5LH2}HY~*_^8rp*Q+<6oDhjsM@9v~vp$&wrk__b-VTs4rsNmvKwDI|8
zacw6;JFCG>$@)m_`6rO@uG@8mXN_aK2M<=)lEB^W>~?3Q>1p4Q#lXXm+*nxUAl*3|
z%zq++Kz`SsR}rh4ar;IQGqTl|2xY9?cXRp7G_ZcThP(EQbpRLcwEF2(vF_K_id=Kg
zngR}wdW=C>8QbeL$`SE$@yLpTNJhX{O5uBv%E%YksfBi?M&q~F1zpO|NwI_0`hPDe!3%jbMun`*=v*-s=n
zM=D4^;OA?*hhq+0N|kP1^}2m<@od7_`7ido34aWi?Zy6?5%4rl#=|(AkUMVM)SpQt
zlt1=*q=+@RC>E++kjs?~sFj1UNH}X)VTs?T9{G1wK_fFaF
z)u6WE&Ai?x?+_;*AL8!Zf##%e7GnL%xW|)@-B~qJKwP2*d%;N@
zqCy2xde@*AYRT^K{$|ec*+!rkg&9{2i^3#*^}Bl?H+ZJl3n`qwj)(pjW*FWl5zC#5
za0;vYnG)=OSk$&GGGrmqU^;xxv{e%DB(SA3T19hGb{@H(!xX&|NY`q3i}}2yrH|8x
zD=osr`ax#H*C{AW(`TK^eOFmPotz`)Hv6|*fcBt*=%t<>FrN22ej=h<*b3Oyz
z9L^5%SL4=tsNBsEW28U~QD^p;t*!JnaIEdMTL6ia{_iN-L5~+Ok3YfA0mhLy0qcAn
z<~^lnBs!J+^oLHrZ`iLNP0Xo;o_b6`Dr7T(8TFHhyO|BVsPiv_H=kELoi;3UG6w*z
z^99{*GPd}B2BA`V24I-f5=;Xt4ZgCAsntk<#^{VLWg_ejrwkdpD<5e$)6T$e9p09%
zFJK6)+$2Y9LDpEXjQAG~EO;KAPagCoi(BtyYKal72GtZQ$!3w*(B2;Ys@*
zX0<7Ki{sn=DmU(!O;U&AMBlt;^+U~e)mWP3XC7RW`#?%0iML1`x*E&h@h1!1C}uf7
zbXdTkf0aulfbUu+Ttbm&|CFUinY1_IbGU$GOuYx{7!4!9Cv*O24IzktgxG+b5Q1Ie
z>^#!I7ZZfIOhj$h*U;g4GRcbX{F6gty>VjymO~@t+0Z*f3vq0JAk3njq_Y~6M4sij
z`_>ItF8>8)6%7B;BiW=s|Ia_+O|k|5hv}%}Yph-y-RjQvr1a^ZM7+gar^uHx>+2nm
z)(s(E{NzfjH`n;>s*!R{+vy7y?SEJaUgozwU6uS>JA%M(js;aiXVT1d&9>OMvd6^j2)Mlnzs>ERI@x>S2FR2UmryYNaBthYN@0XTYPXq
zuLo-$C(gvc_p*SDb5aQE;_FtTdl3>-tCR>0beJcVJpF~D*SFH{2|o1_)^mTHBFT<(
zyl5PDIu4F3DMWw^&)qx!qfGa^rpvJ?!MTpIej6aq*;LWQj@i0k4Cs#FraN{GMmIldPuM$L
zPJmu$BL!q{m9zhaOlJb3~G5+!J7JTgVF9;q-Cy=MVEy%?g4v4R7?^q;h(nDpnIc
zz;j<>zu5$({fVRyCXeh&iT);}*{i7g-2$$orb{!=Gt1!h^q72Vcu}
z3jgZzU5vkDG9A*}v|o)ad~%j`PTLY0^o*hF`kwN)3B(W{tM3+cwi<2*-V`37GE;+p9tTLU5d~4r+WUXduqGn;V1Aa?>(F3
zkIG-VhLB!Q%KoiT`j&k`uk29YRX|0)^|UtX(VZFS3AHD;?P{f8XEbZTwO3iri=KjJp&lXFc#=FQzCsYsm9&(54@FmoBJP#bUT9O!2
zN$GXXhLS}}D_syIa~9B#I6WNnT*!uJR$oaeci-Sc-+>k8M8VjdNab6@Oa_Z#S9163f;-7LcY0ASziJ{0O6
z!X^(mUo}!e^pL;%uDz~*njgCz{yJ4S%hR|(oKvIMw!5N@zLjD0aroZoEA`B%bxvTB
z<{y$>LG6sa1_GE8Br_ycvnQ54=
zG6f2k7EI)pF);6$30;Ai#6udJKb(n}M+AIF^1PZ_uV31$S0f&6fNrxGbDp~DFBb3G
z#vbTYRcqUS+}RH>r*8KCNw#l&px|47-SFVF(k%pGz{eK+>9kyfIk1pO5+3x)X>s6%
zJW3c_q1a`jDjWDHllYFDt&0w?`&7kdz13>ZDBSV1s`4q7kw^39)`ROQeNd_cEfJQj
z(;?`6Z#ScbDLQ=YX#9p!z1X(B>pJ2A^2w?G#!tJc$yz{hXmPQV#(6>JoO$*pnHtr@
zOs>KNcucK_#@t8g4@Xahos&D)rz27QFb3v>4@nl5lkK~WcA?%(zwiw|Z%>oyB0Yn~uvjFn?UTGl^5Y2qeLk=C
zGDf^+Nq-0*L*j5ZZvnES6~WqjuHH4>EiIDR58)(
z_|JAovvX|&Y{;WU65Tc`{EEQG$d`e8lZ!eJocF!b*~^R(SxXl-z#A
zYgn2;TxHR2_XloI>rOScK&d{8tl|gv912LnJ^Vb32Y+^&FtFPAXY{aR&~L5uO(uK}
z@AOyr26COBh4Vv>#pY?3y5iT|{g9In7~x&daBpaX3usGQIUu?E)VhPhdmnRPT;=Ym^-7k|6nk}ChZ>Mf!0i@+Ip(u
zO#KW`({@s(`@M0ix4{F+Ci)5jwmoqg0OH7foh
z+n^T7cWbl|YbB+w)%8iH6NZuUUCSKvP7by)nK*+HR20TwjT$a{XX{GitIv{$=x=H@
zjxG*n(GFA!j8-+?g{8U
zXMsduR!d=0B?#%wfy#Fnuxa&5)V2?Mu9|HBQ62EWr@!jgs_tQ!r*(a*Z?7hn&3jXX
z7!Z&$koZoCICDI^szu7T2UQ-<0XVffvIc%A92|a*!|*)YyZx){gP`vv-FqxN)6{3+
zEBU5dKZVq%i$;6`t4BBZ4%To-ba-W{W$pKE7UCuK4l-KNZ9>BdX#}yIa%o<
z1ewq$%waDgMp9yXCDg_;3vSi)wPhN%#rx0)UBvW{%zArEE$vQw40AJQ!d>jc=eVT~6db6N4m6`qYd=>wZWogZFPlN5BWGM&w=4c5_^MdIwj>~^wGLU|B
z@^ZwkTA&3C8!k(HIF^?OTqv-p|Hb#r!c*WgiY`cZ)ER^qxzzvs&U|kx)VpAwVFscYB`uKYHGK$GBs>pXfCi_
z`0KB~XmqrpMt}Wv7X8;>r|qaHfh$wOv^~JTQ=UdzYJZ{nIF^Ag6!xlms(<}e5=VV#
zeHQqB-c9>~=U;y@Jp1)`YWgvk?_YnN4z-PmZ?|6E&p
zw6@W-;nH@z)@Puhc2-!&;UWlRZrHRQN=loV%-C_;UE7#?gx@$JDdWp(Ntsgiiy0}N
zq+^^4Ui6U~6;CMWKOay=b!^2y-+=2#f$&zxKL&(?^k^e6{~7-GgQ*-0=&(PZkyf}0
zqyF=mCmzGazA6R2nQ(AftN-DhM|1|_rPgJ--P80tU#k$e*6U{?*Hc(EcE6Xax$fQ{7&Wix%~aeb_`_0u-oENzdGNsWoJ5Kw<*}tr8ck1yM!@3->^Mx@WIw;Z-2*Lq
z&UExdbtCif=+U!As}tuJ@T_8_&mY@|KIS9ToVr;x?dhBOX-d3^5%0(eOeBIEifQaDDQ*z^9E3<5eKT3T`;Dv3JBmo0Zt-wlZW!}!@%cBQQ{q}z
zDW5-a2z6{-)B_$p_kLuWuKrlGWC7e;Da&O)wvuIUPI9GoQoCPtG>4M#nO07_CyiOkn6Ag-(`~PGeZ$iB9)L+~%^znmh;yapF^P}}Mm}xq$L)aS8?C!{hy5|~V
z!}X87g+AGkuJJuG|7yXmP%un+XlY|rJ9ly|)v>V()BZSd{M`fo-8QSf$$*x}N#i~W
z`EN~9BX8*2m`z*wSVS0nQf1}$#Er%6dpd7J@@22SS%@Z$-F_{!aP^ku{*cFAJNIch
z6zrbFz>h?aF(@Ifx%xP8@9U3n4CFX>^esM(0Zm`he14JV
ztf%e#O*jRIjzLgr9!hoo07yiAyqNsqo%rJ#*&&RTX4gCAoQ9KUc%JD4$10BqhOB$i
zh?KG@+}i`U&r0v#MW+9R)E>_(4#yMJXbD#%EoMBO+v(w*ds{mm5LVsc5Pwe#21IQM
zeV`=2oY$K8#<-P6phikGeY=s}0#w+$7k%pMQY6D=Vf-;`GF~Pw#$8pmthSRREuOg5Vf8d=^-&UrU0y?~^Ih
zLV{LmsUqoHC1b~YQhh=X4<9kG+MKqh1QR5DjXBW4wd%3m$OrqkQ_B2D+D^QmbXc3K
z%jXO+eIHtomUos|0=RRo=ID796vyT7$fxS1zt`K=qmJeG~h
zO2Qww){gIVm2!s9k48Z*KgfdUIvspf2nzXj<|Xa{I{D``9&H2BmygpEEM_2bWxyVZ
zz*E=d-Yb)fmBlGKRIg^nLohJ6opG-xAMhdlg)J*b9!@i})w_`aT&nU867zf}TH{T7
zO0H@RcoW{m+A1(@gV|_eg=XWhsZB}9>iw7K1V?7uXW?I~N4~|Z{}gF&N=0#OWs}_2
z)eB=|zj0g4DC9TcB;&{m=>dmJ$^k<^;!Ey~VPpT$T`9M7qcCv>;#<5DSYE7a(pLpo
zA?&05E%}SQmgXdI+9j78+#Qttw_>Tl2(^amLxK|{ZVQ$t&JF9b(wO^8Y0gnqrDh#n
zX3dFVPog&2;--7O5O+tqvPN##X@(-U!qvL3=_mRS=bN`KaV0*`YjezjfAI*)(JMb=
zxL3rwoWVm*M_d3-VJ(Ik795_m}vl{!k@PTmZcg!&2R4
zKL!I?eDJyT?lE8U(M#O8#tJO<7=c#prZ2G|Af@lj=jN|&0@ln>P9EP;WL`otVMn2N-t1;*Q|1PN^qbl&WW
zWDdIKjlR6^A^%b`f+c9SAV*SUw-t?L9esAtY=4^R&)iWR5yJ=9Xt+-&
z53_11WpU?WiJX+U(X*)fxZC2}NA4vejvb}i4qcG3iY(6@w-}!wkxCkiH2Ru}+BuLt
zn*6?r#7f`(Mz!V=IV31I&hNU|OT=D4$@*PtLTb4%A1~JHTb&=+x!cYq@Z+&xEadSS
z%!y#^H)7f&EMBSL(l~6xY(2nkB4^_WrS7@TPx4QH;{Ub}Uh1TSD_)rLqVt0H22(E#
z#0`ge^IVyct!`@Q|1_Ee=%Q8$j#|SLj)VTuK&$p4m)lqo-mfO!bFazY!+FLtJjK(K
z&E7byl5L|-DR?hd?e{MThxMVjlH3;XE97@4R{RUpLVs9pX=bKmU(V2GnJN5ysOI;p
z_7X+HogsnarWAFE+?a$Mix6Ku1u8f)6oW8-nAIyvs7C8F-eij|n{ua`r;5<6otruN
z$rwtO-(IntFUk|5_NbmNv)rQf%WhBh_oAlVitxTWbIq2n!
zC6!*zA*u{|z(xMT)8@FM-?}~0M;BF1`r^5R=-D~9U-GS(204+3kssY*h3gJW&t2Cy
zu4^B0w~cUDzi_Gj9DE#)X283)vvs^uTo_6rexb<%%YXW=RUqZDEwolUXlK^mI>~r9bHT
zNRryPP7|qOAJ`C+Y-#ALPNi{M!%YBwn%5?s8b|By7?QqxYXqN>i-xhNUlnB%>>h;Df?)^nyJ@svm2Iba
zCdJVNG0p~(StU@Uh-|QT=L20vE7k1sSj6oYV3SuD+Ig0tEV_A~em`P{gq(Kwxo}G4
zvk+eIGWl1uPEFdE6pHMS5AB`eJ5(YH0A`w@W^_abf5b#&-^;r}|C7_k%X<&v(NU{5a@~FwpF2db^1MZmYpiH
z7#)rxYw&zPptFlAOFD0sd*5@g%n9`*5Xh)l#!@4CjE-iW^0MvH$%n=GKW)RUgv)4p
ztq3!kU>nP})$jsl|C0Ds6b8b7jZ#vlP9UapM#B>xy00?BJSwK{0l(r%;Y9J{QwA5P
z@I~Ml)!@9=dog4k)%W4+E>x2o;Z^-5?u699`NW75cQ)O+#X7G^mJ81KNu_G%uPlNV
zWnx&Fbpekw^3@0oot{W}FXg=NsnlN0MxP^TIfnCAmuD?jo@Ye}7(6{!`H{Uq)Kt5U
z={F;K69q(IbQu}r+hSCaUYF6uH7)`Xm{U0)1aWW7tT3^6d{7+%FXnXwaB_aH@X1C$
ziM;0^?;XQqQ?2S6>^!oWAJN~N`K~Pj<81MOD)dN7dQ0)V(F2Zydmr>i
z73PRXl(7H-Xs(E7n%?
zl?+1rA#mcJ#T*Il&DA_BsdaNYJ8|O+DD>!_A-n8_e}E}+Q8S7jt@Eu(z&G!~sDpOw
zjOh(P;=l31hfRoDoE;8Nu`-x|$C`%KXnpoH+>zGy4kIe4Tb_$R&QG{-`2KmtEG_1x
zMn)E42DXzdOMyt}NP8xvV=M?mPl$KK@q1V`61or7JoF0138|Am)95-04!32wk{xFj
zdNN$k^nReim9pY?LmZhZuK!7l+y_Vu5)Obbg5Nux0{Vg{8_KnIx3aH~h+I|({9Mcz
z|Ls)kDz)I^0nILx2i}MCt$o`@x?f4@UYac((&^9yp!$_>*bfp0#O)btx{mhYB#r6d&b=hfhQdY*Ev^o>w;F3cvlx!pbGQM
z_|5t
z@zjhO-{XSBE8*b_@b%-HR&`uOpz2S**gS7`QUB*2LHkMiPVJVe!
zZ1L^7J`V(5`RYP=I|xmfowXbIIl42$v==x^m4~?8TP7Cbd9)Y=4Y69CE~XJbv3Qh5
zce^5>1U9z29j77Noyd7^z()|Xdnf5Ck9`0BPO9sL!-L_~kM8@j62&&-)D-(u;fwxX
zm38Wl>)lWpH)Q+YuFp;56YaDD6LGmE^hC#7@CXbvp3CHIbJ*crM{Hl2#EG%fgzH()
z^^KyiT`tUSyvs+akIzFHCbuK6^#MoJ;2*&i1iZnnu-voOo5jZ{3
z&lMIK^cD)JYlNDK?-q{u!<$FPQs9}WMCd^5zF=aMA}2^CLV2;q;P}p?lY{!ILyOR5
z$OYVZK%e-qS3c5UhFnnNvjqrm8|KjLm?n{J;Zt8v3%4T$#RO7`nM8PlNLiU&o)hppU*s{`0i||h+@WfZso6V`={5uYCJe)
zGU5dYDXIPjennkL+;jav7H8$oVI9
zEtc6Z_h%V1;@TFT@8e(x)YJ;V#^~;_J|C(%WQA^$Gw4AgD0(T@;K&_Sw?64!9#iu(
zcZX~@Aqg)H?0U8E>kOC27)#j4_J6tD9r*d9QbVywQm4y!`{S2;^Y7@ZgWPQaTn+1q
zyK9A&d1bUffjJRnx*_X8&Hhx9Ya`X@Nk`QTW+TZ~x0c}kTqG*&1!$q4_rky^6egv$
zRD8yAiXgTA6?r_-Dx|ZSjj$!cjm4|qB;0ILerlZAf3HqE?_!YF
zD-F@QcegtiYtn+^Z4LT`w&|M;FX-a@vXh2+I6*v?oN5maW8S6GTFK9(YZ_M+)7c2@
z+`LF*XI-AS^hlPhWNXn7(|c{lK>-VL4*cF}k#)j`fUbt}loH8XsE>T>|pw^*o;EtYmj?LfM)Q9J
zf;C1O7c0@{xdeLV1@6x6ib7&R%+`#MX5dOVgY
z5O4IkjbXR-I`Pg9#OeXgZ@rXq_aOy;HTAX-?c%;|~&~=|n2zqd4~~!&Y;@yIN<@LTrn7iB1@jkAd*^X|QdK
zXUM17@h>6lLwg|>^U*s0fD0;~RQ8=~Fh=+2o6$}3yIDq!*)WbRQO2*`2ZtYT@A03A
zV+A_s^*9WAPZ<(wx|=w}Gd=q-V?|pME6rZV&%A^`T*WG0*vY10oAt{+`tYL>8b=>q~Sxpw{#_9WX!Wm4ga%!rlFZo>A5fU%{s5~C=d1@au%#n
zm4Vi`V>)bonMBau5(2kHI$|E-;=cE@cpVJL?6H$qt;G4;Nra
zsr0-qYkNEL+PR!%cs(GBA0KA-{4B_GZ`!-Cp0d(zIOux@)h|D1+7(^!?)(jbO}X`-
zRX<%lqKIdM|c$aJv5Lpx^Y>g>zzts4CD{GNTvXBRQ9y}Rv;1uo4-t*`K;|<
zvE#yv5ty9mc;7!TQD~tE16re=k6`vkP|VOo(yR_F&I@zBPN?|?0Jkv;qkn~^bKXBH
z_l57sovrLD7#o>Q5S>`)<~XRhiS@esGh`;})4l#TzV-Oe7OVUJj$T81JD(8zfmq{i
zAG&RKrC(#@px>rjB*SDk*7Vh3G7x?`tR98!6?KBs9@sPr@xuOGlsd4eKj4iT)qwK9
zw*uH|o`3Cw2b%EzO*s8uSRYu({HuS_^#5!ju>jvNR*0$HaYylqKw__*WXf%U1esH-
zgZWXMZcV3Tt(!wj4gO(hj@^wcUpOwqXZ)?Xi-UOGW-u`N+oMu}hjhxD!-(^pJh>
z{oViVfgwG)F_+r)`@2cMTq`DN$l+#)*V^bn!yY!O)Z{nns;lw0
z5DbL=CVNgk@81-E()^nw14jRKU)uV28sbUOf89^L@jHZGZv0>O^;mucZ
zyPbS-qpx_>yI_}dmT%Z~U4n?;2r>w+Cc5`$dVk|j8jXV-KM4y9v%?#QlCluTezhmZ
z2O`(e!bWChPZ38uNu-v!IEYJvpn+I`*6^hbuRX$YK~`mO@acfL7`ek4uE0&zF?t|#
z@DCraCjy7Iz#z+Is@CUAf&q9;GltEs-hZdmvtI?%CqH*FO~La${N#wVI~{-@Q^MEX
z_15f7Rtc!AKPIn^WUHSGz)ktocmBAfnoI_M$_ZV+TY7ScgY5QxnR#13^!c-IliJtp
z@GDQn8xK9kim#suZF+I$+_+S~@|;G`VQ_G%PbwX>;$*cZa#
zHye{g1j;g|5n0TD#TvwQ!mE{UZL<6(qhgwQIy;SLM?XjHZySE}2MPYpUfjd7;
zVDq@c4^5D{jyMwbjx@QBKMDgS^O=3B!bZX@Y(GlNEs+W`{kvqReQjq($iAuBB@t1W
zZAND^|KyG6|{1WqOZ09D~1G{MH>g`9`i-ndX5uW-F&Or_u;!
z7y1wM3bA1FQYoLPGl7jK+;gr-6}7<66Hn0=`vpt%P<{CK!~%iM70m-C2Nba!5b9
zQvvRQ=3r&!_!$Af4D%kdTW>r$LLVIx`x(%DKp<$2X*-?v^fiaHL4p?uO{Xybs?=m9
z>%7afXWRlClt9N0o~)eo=#I|dO8l)(p}P6gt*g`Z0TYA{E-Nt@gf!_{NtzDOt$XV`
zB?KBf0T{N2gy#&f^LBZvwp8(|bbWDA=6U*<*PT$4m)H75c)nB6wYGH?F)MHM3>4q+
zj&FUL-KfsZRoC7fc_6c+FW9E-Ts;@7v{u?JMkMLwp!yXLoN8xZvR~V=fB#=v=9k9$
zdm)Y#G!3R@I!w)!!q*`>iE}lTx;;A_g;nsvc3u33dc&=yM(J71U7uw+zr&%iVvq7
zUxg=SL3^->zWnP)2PARQau_qr^jOisFeeQ^U;@>LJtMR&V8Fy4DL8xZ9j&9$=dWXg
za^cin~Y_;?YT;SviB6Oa&
zJ=$GNb0r@y$dlhmbF<-GVy;$&GaX!rwY$<92d}{`c*7<0!2W}6
zexi(M(D#C9&S*dOMs?1}cnQvItzZZg9+l05&W0BS$!Gv!!QHLrfdPq&o|yD
z!)t_qywxS{3D$xan@-RztOVjiFPVHbObObZzjA^In>DHZ2meSJX`fx(@Ra40f?=B^{i&w)q&@
z>Cq_YFyovus?CcYz5h+qMvK$yjS9eISe<~;-ivcrHamXVdGDrE=X_5^8(*kn4s)Dq
z;oe99pUyr=bwm+(4M1q0aR))Az8}k#6D}g88L`?mtlZF}p`IqdG9EgHa|QYCyAQ8#
z4;he7GqRW8WBM9x1sWi<+%vIUI5>q^tHn1oTpSN|W9fogK;`)^Bs?){RnFNF7b0@u
z-9^`V49FpL;3dAh-^_Ib;^eVZ2kT#Ex==3QE^>rmR=LcGX^Yl=oafOMivCx!p^l%&
zIN6bsu%!Uhi%}gbfXTR^kS2L5Yox8x+GlmY2JgN31Oq3))_u8r-}I}NKjn*z!wo26
zFdS)r$O+x}X~M)RpA1H#GT}
zSi!yaWro&?wy_HBaSpNS!;i%7U;rgOLZUwEu4~2hu%hY#>*D`4g}7`*rZSYKB5zB<
zJ9BPtDs}J;yOa-TR(4zocoS8Ee5>Q24q64t5NJHv2N5W
z>8WryHy2H4f1K2lf0e~k#ee&==M=}q^;~Cjr;@OG@=EdUD!P$82eQVPyQ)BrQ_!<)
zT8dWRFE{itD*UYO#@HmYa9RMHZE8@9RkZF#$)sb%
zXU#lX&$8-2pQ+=em1r^|}Ihx|hh{^8d{ivv{xN!M2ktp<+K(Hce!*Z&O=PZ$2piyKeKkqJpz*7wN-p|l8(=W2JyUoB!
zegmL^x9%6y4*-EC&&+*)-_^RhLQZ#Y-@8erksP#?9o`iyDPGmM*-U+G4?;WeYE#2
zM+_z;6T8h9ocoO9!0O&U;et3~n_G92}S^&^R
zeHz#TepFoT8d&w}qA%2OQTeDpfp;%hQLK9YH4I6E^F)k$PdFc?7k={Xtw>?-8GAKo
zTf6>+1imsy4)tqSd2I_okoyQRw8WLFD{#Fj7Qx~D&n>jXIl9g3M_=ki;?6RMZhmNW
z%zT~QJ1o~U3Y->Jh`Dpck3d@?#hGNON!=&r7?kBv9WFC6E~TtThFnm!2K&zNCm4Di
zkM&Z<$=ICZz1Ym3!;ED{2%fJqv`%s4{+uTQ;{&y|wfu$QF^jL!Lce&&+3OdR9JLqn
zgf&OTF1Z*YEO+;g0m}^2*uC6&tv8?s-!v-ft2@Ug
zO^&(%D_7a(2X|zp>y~?#_Y=OVp5vT9D`mt2#8NFnp7cE_mvTGY!C2w>FzPkY^3iA7
z&&=_P27Z4Gy${6};zRbxqqcE=1exJ!-JD8kX40MQf*P4B29bVml?S0#`J|&v^o{y>y8hMv%yrs%CkkAINKfSzI_x?CB
z0;39zZ4N%O;EuNIk)rbpe(sk79Y$Cyp8?}wtu}g9TCM1A3Dvp=LOVN7w~YdL!1}gk
zM4#M7hYs#EPU-|Z_u=2ie=Gu%r^kJb+3>8YC>swo&k746$`MqQit>$FG9T((?P_(*
z5zEc710Ap#)h%-5u+sNwx2UB?*}Z+x9_0qjImegdS=K9C>_cEX6*m{5CdhdzhixbN
zy&Jb$ayi{zu#oQfEq^-R8#*N~&=Jl2U&IH7=4k|Wv|ju6%DgpuDr|0-c+Uy&U9Y>&
zP_jGyoY0kOaiF={8Oobr^?r6}$~`meetjMiN;
z5!{cJHQO9{o9NjiBnyI~+d%p06wV)td^ySKp4C_8PzM#5x8kX-=dm&a9rG@+!RUx_
zfk^p1NfrY&ic_gbIE6_LYL32iTQKNr@TM6fK@mzJW#T}G*J@k+&gDE&Sy3@!)*baJ
zJ9eA@G`9h}F+WTSygcIu8}u#GuM^Nax5GzHHCEeJI;NJ+^W|(8BJnIT(9aELHAHDD
zsShIt0?yAR9|+mTkOXUG@AJbLzx5xVHhg*wmcWMe>*KgHzjOGfgYDprmEo15e;)Wv
zOZ1Z{8Bu8{c#@lq10_u2=bfF=_2Us
zR!7u}!pO$zpmI2JCNGy8uFjC%_XaZ)lTVk?*m>?Y*eY~=XT)lzKtnaJ9k=ZzL~Wfw
zxCz(!*1R)X`0COX0Q&+i+qM_~0*x9thtDfUb4fE>Pv$aOJxeen4GKahES@GZ(_fa5
zUg>_=!yjr9sx_|qMs8r5=Lhxoti21=&5nAltG?UMj05xQ+*}IuGXg(E`!?FnU$PGp
zP@Q=_eWuYJ+yN-wsi4fyov#3kbAfgx=~4v^jWFykX{inhZ9I8#E|AR2l)q%fgced-
zXi40>zdVrSqU
z+`fzvlRXb*c|4@l{=_0ZSFhqSy2wNk4omcnq3Wu8v~dTrXv9z#{ymNx($vdLmTnrg
zgFRIB{S@Kbdr;0L!FWpcT7wY`StsC3<=5^gSy?3K#Vsgz#Fja#&G2pr*xeRu`22V*
zSqj;*mz~|__>coD-p;hYgcdgsjUbEri}NU^P0pITRNL*}6(Fn*iqr7J5^}*#DE5t#
zQNSI>Go#Je{)_~r=J~2TTe>6O%so%P&kijGYKy3(koHu(RH8h=$wGIatSet12T@HR
zZ%|27U5Cc;it=#qYVzGSqU*9Fs%$bJp^mk7a#ZSWn}+3tlMw&Wqn?sG0{b&uh55G~rwYD6AI}8cX6||LSU5?p$Xu
zQRU*x#T8EGkHE~b5qhuCH-dyq3O88H-}^?+}?>%m8nKk
zbn$t0*+gAmJiGb5@t4_z&1$uS;B9KBah|lTZL6DXMG&S3kK(uHo>$Hm;3mDWY9gWT
zsm4jN&f|NN%YeemJuTjhD6|FfIasMjV6yAc4ZCK30WDtiVG439#bTB<##NLHVeX(t
z7xhTY?Bor~oVRac-~Zbh>qKIZ-+o2sn3q9a+EX{LUK#kZ9EqWdK)!_1ZIs|L7Z$iD
zOJ=dP8;2k}?Kd*?jY!E~t_X8Jl8wJ#asUCHG7`&q_N=A-iS*Aibjm;FpnPc29A^5s
zav4iPsqWbcfaqYne4En2B!Rh#Ui
z860k>b(V3&&W=Z;3r8)0F}wnBtqg)-k$IsY0PePxmLCJSTZq={5u>Io(<8oSPz1+W
zi8o8`hdKvU_7BrdCOREAuJ4^bmD2FA!HBsvU_&*UXM>f7)epWm8=f?C!lHD@*=m2t
z%!}3;`nu22k^F878XoR9nT(a$p=FoV#Fx!;Lv}}P;ZvPqRzD7%_5Wo+i~(}PT0vJ#
z(6K;7(LY`5VH&9>{a
zGA(k%+>%^q3->J|<7}Mq_1W=5{UgHNOJvEsOXt^PUe9&0L9ByG=cy@pt|d6S^)AVn
zQhhbx$7VZcPQ6e1P9t;_uM&Jni;$VF@Y>IR4cu_1JfN^H5q9eOW&qPVw2S9!
z+ON|`P@G73+xMj}cen^im7lR1f<%{HRZ}wkc;Sd0_0=?Dh7TmSOkApa1b(?%`b`K!
z9sJDru%PFs;|3yKi}MU&_2s^5%3gF(R5PO}5V9jRP~GUOa&5(3Y`|6-fcINx}z4x8jRYHC@cR+-yQ+Ex)F+xfFn@3
znCdvbIor|={`8-6Y~9LU_=iB7q1Y+>eo_K&1?Djfh6pIik<
zE*>!L-MDgjqU?ZOrqacvVXZ&u&$Mf*)ZYVhusc_#tiGt@xgK^vNP02rO-cu&8zzm{
z{v@HaBOrYP+P_aD@PoYY|GD-*H25Dm_*HZ9KXUNjKm$XqTe>)ZYyY+38K-$4h{;o{
z=rou9T@Jf*u!CFmNKC;rF|%ID?KNCsxubRU?7?n9%3CXACr@0jNO8#@h3|S?fPo&4
ze?3?&OU$x3c-V>Y?oSI@BjX^t<;7XcjyUDL>~+5d>K$Gf*R!c&Zy@P4T5)nDP4FLW
z!P8V6+ZH^4W&deX;vWEtFXu|9xM(F0Bcfa+bH(<+l32R#y^QEy^IP?9(;ZpwO2U=Z
zqYxdmaJM@-@|GE#&q(%_xC+<%LS?H9;^fsZM?ROCBQiHTWQSC0_Pg|(Dqi95$&=+=
zGcPB-8Gr6Rv|cLcpG1wRwc7u%?nBh_{>cenEDOP}+iQWr*9_B9eYA*2$-w-$%UzSW
zcG9Pb%O@9bK6SF++x3omwO;;X7}coa9sZu1hvao4F%%dH66dwrty}k5?eN}fQD0vY
zY=1i;VGvtpo0XC*q;F#10ap2%#dRJ3`5fgKSgtOsW?Dvk!V*naE-`cRxcaPyoebme
zYE|Ac0M))9^d
z6GtCR);H5&UutJq9@#dY^m=UZTl`)xvgcRD3{BHodftE(EwnYO
zca_Ky65f+#2@GLNspBOE2IYKQoYn_3yAkU_3nJdFy{>!6)$>EgpPR9-OH=rhKs_u<9p-yF!v2kH%wnt8Hm@=rZAe?x!)2B4q_%4d|O$MNswL;%aNIrVBoAa*?6
z@Hd72E-Wf}Uig$z%ehbJH})`71OS5R^Q+ESUqA%cK8L@|3w8YW2%%pinp)-D*Sr^W
zD=|B+2OOCHr@3{;TP2cZ?Jxaa{NGhd()2n1``QP8t(`GgkE1btJGcJ3eY9TkarnQV
zWCD)2w8Vv|TWe^<)<@$awcksIQvWV``g?=_P5s~i;eIdu|Gj|ik+PM2(s;|zh4pQB
zze+q(c~wyw<9#5B*}d}Cu^_tli@6~4=<`Nhr~3nSrBb2ES*(7ZzZ%MeCLczpl$^YI
zTW_v1v+#yY_)@?gaN-VukaMfnI1SBzdoVz!d-P&i3cvSsXy8QP%~+tdvwIvU+7AQY
zdN2`J=CnNhpc2;Tqy#i~!3ichV-M7N`akAW?_v!!M!I5H+xz;|J=S)tBD=p8Y20Dr+LDcK*(m0^!R{9sI*
z{6eo+50XR*h5|?aACc?SF1@ulW}UnB(H3nS86G9DkW|kHU4Q6q>!DxtX$aCmJ>Uq>
zbjAdk-`RDM{MBdzbW4y67d8AJj}_Sx16vVyXIo~X)?dX}1GPCjD3v_gZxsI)rmMxi
znVia!{cqP2?J~%Z#w2oyYyHjD_bsB9o