From 415631f9a175403b3ecfb05523c1dbe2ace88d6c Mon Sep 17 00:00:00 2001 From: chenyyx Date: Wed, 20 Sep 2017 13:53:08 +0800 Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E6=94=B9=E7=AC=AC8=E7=AB=A0=E5=9B=9E?= =?UTF-8?q?=E5=BD=92=E6=96=87=E7=AB=A0=EF=BC=8C=E6=B7=BB=E5=8A=A0=E4=BB=A3?= =?UTF-8?q?=E7=A0=81=E9=93=BE=E6=8E=A5=EF=BC=8C=E7=AC=AC9=E7=AB=A0?= =?UTF-8?q?=EF=BC=8C=E6=A0=91=E5=9B=9E=E5=BD=92?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/8.预测数值型数据：回归.md | 9 +- docs/9.树回归.md | 538 +++++++++++++++++++++----- images/9.TreeRegression/RegTree_1.png | Bin 0 -> 32718 bytes images/9.TreeRegression/RegTree_2.png | Bin 0 -> 21203 bytes images/9.TreeRegression/RegTree_3.png | Bin 0 -> 23920 bytes images/9.TreeRegression/RegTree_4.png | Bin 0 -> 18563 bytes images/9.TreeRegression/RegTree_5.png | Bin 0 -> 30483 bytes 7 files changed, 446 insertions(+), 101 deletions(-) create mode 100644 images/9.TreeRegression/RegTree_1.png create mode 100644 images/9.TreeRegression/RegTree_2.png create mode 100644 images/9.TreeRegression/RegTree_3.png create mode 100644 images/9.TreeRegression/RegTree_4.png create mode 100644 images/9.TreeRegression/RegTree_5.png diff --git a/docs/8.预测数值型数据：回归.md b/docs/8.预测数值型数据：回归.md index 2da3904d..f85e66ca 100644 --- a/docs/8.预测数值型数据：回归.md +++ b/docs/8.预测数值型数据：回归.md @@ -3,7 +3,7 @@ ![预测数值型数据回归首页](../images/8.Regression/预测数值型数据回归首页.png "回归Regression首页") -## 回归（Regressiovn） 概述 +## 回归（Regression） 概述 `我们前边提到的分类的目标变量是标称型数据，而回归则是对连续型的数据做出处理，回归的目的是预测数值型数据的目标值。` @@ -169,6 +169,7 @@ def regression1(): ax.plot(xCopy[:, 1], yHat) plt.show() ``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/8.PredictiveNumericalDataRegression/regression.py): ##### 1.5.3、线性回归 拟合效果 @@ -328,6 +329,7 @@ def regression2(): ax.scatter(xMat[:,1].flatten().A[0], mat(yArr).T.flatten().A[0] , s=2, c='red') plt.show() ``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/8.PredictiveNumericalDataRegression/regression.py): ##### 2.2.3、局部加权线性回归 拟合效果 @@ -416,6 +418,7 @@ def abaloneTest(): standyHat = mat(abX[100:199]) * standWs print "standRegress error Size is:", rssError(abY[100:199], standyHat.T.A) ``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/8.PredictiveNumericalDataRegression/regression.py): 根据我们上边的测试，可以看出: @@ -519,6 +522,7 @@ def regression3(): ax.plot(ridgeWeights) plt.show() ``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/8.PredictiveNumericalDataRegression/regression.py): ##### 4.1.2、岭回归在鲍鱼数据集上的运行效果 @@ -599,6 +603,7 @@ def regression4(): weights = standRegres(xMat, yMat.T) print (weights.T) ``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/8.PredictiveNumericalDataRegression/regression.py): ##### 4.3.2、逐步线性回归在鲍鱼数据集上的运行效果 @@ -772,6 +777,8 @@ def regression5(): > 使用算法：这次练习的目标就是生成数据模型 +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/8.PredictiveNumericalDataRegression/regression.py): + ### 6、附加 权衡偏差和方差 任何时候，一旦发现模型和测量值之间存在差异，就说出现了误差。当考虑模型中的 “噪声” 或者说误差时，必须考虑其来源。你可能会对复杂的过程进行简化，这将导致在模型和测量值之间出现 “噪声” 或误差，若无法理解数据的真实生成过程，也会导致差异的产生。另外，测量过程本身也可能产生 “噪声” 或者问题。下面我们举一个例子，我们使用 `线性回归` 和 `局部加权线性回归` 处理过一个从文件导入的二维数据。 diff --git a/docs/9.树回归.md b/docs/9.树回归.md index a79747c4..067481df 100644 --- a/docs/9.树回归.md +++ b/docs/9.树回归.md @@ -9,170 +9,508 @@ ## 树回归 场景 +我们在第 8 章中介绍了线性回归的一些强大的方法，但这些方法创建的模型需要拟合所有的样本点（局部加权线性回归除外）。当数据拥有众多特征并且特征之间关系十分复杂时，构建全局模型的想法就显得太难了，也略显笨拙。而且，实际生活中很多问题都是非线性的，不可能使用全局线性模型来拟合任何数据。 +一种可行的方法是将数据集切分成很多分易建模的数据，然后利用我们的线性回归技术来建模。如果首次切分后仍然难以拟合线性模型就继续切分。在这种切分方式下，树回归和回归法就相当有用。 +除了我们在 第3章 中介绍的 决策树算法，我们介绍一个新的叫做 CART(Classification And Regression Trees, 分类回归树) 的树构建算法。该算法既可以用于分类还可以用于回归。 +## 1、树回归 原理 +为成功构建以分段常数为叶节点的树，需要度量出数据的一致性。第3章使用树进行分类，会在给点节点时计算数据的混乱度。那么如何计算连续型数值的混乱度呢？ +在这里，计算连续型数值的混乱度是非常简单的。首先计算所有数据的均值，然后计算每条数据的值到均值的差值。为了对正负差值同等看待，一般使用绝对值或平方值来代替上述差值。 +上述做法有点类似于前面介绍过的统计学中常用的方差计算。唯一不同就是，方差是平方误差的均值(均方差)，而这里需要的是平方误差的总值(总方差)。总方差可以通过均方差乘以数据集中样本点的个数来得到。 +### 1.2、树构建算法 比较 +我们在 第3章 中使用的树构建算法是 ID3 。ID3 的做法是每次选取当前最佳的特征来分割数据，并按照该特征的所有可能取值来切分。也就是说，如果一个特征有 4 种取值，那么数据将被切分成 4 份。一旦按照某特征切分后，该特征在之后的算法执行过程中将不会再起作用，所以有观点认为这种切分方式过于迅速。另外一种方法是二分切分法，即每次把数据集切分成两份。如果数据的某特征值等于切分所要求的值，那么这些数据就进入树的左子树，反之则进入树的右子树。 +除了切分过于迅速外， ID3 算法还存在另一个问题，它不能直接处理连续型特征。只有事先将连续型特征转换成离散型，才能在 ID3 算法中使用。但这种转换过程会破坏连续型变量的内在性质。而使用二元切分法则易于对树构造过程进行调整以处理连续型特征。具体的处理方法是: 如果特征值大于给定值就走左子树，否则就走右子树。另外，二分切分法也节省了树的构建时间，但这点意义也不是特别大，因为这些树构建一般是离线完成，时间并非需要重点关注的因素。 +CART 是十分著名且广泛记载的树构建算法，它使用二元切分来处理连续型变量。对 CART 稍作修改就可以处理回归问题。第 3 章中使用香农熵来度量集合的无组织程度。如果选用其他方法来代替香农熵，就可以使用树构建算法来完成回归。 -## CART 算法 +回归树与分类树的思路类似，但是叶节点的数据类型不是离散型，而是连续型。 -> CART 算法简介 +还有一点要说明，构建决策树算法，常用到的是三个方法: ID3, C4.5, CART. +三种方法区别是划分树的分支的方式: +1. ID3 是信息增益分支 +2. C4.5 是信息增益率分支 +3. CART 是 GINI 系数分支 + +工程上总的来说: + +CART 和 C4.5 之间主要差异在于分类结果上，CART 可以回归分析也可以分类，C4.5 只能做分类；C4.5 子节点是可以多分的，而 CART 是无数个二叉子节点； + +以此拓展出以 CART 为基础的 “树群” Random forest ， 以 回归树 为基础的 “树群” GBDT 。 + +### 1.3、树回归 工作原理 + +函数 createTree() ``` - CART(Classification And Regression Trees，分类回归树)的树构建算法。该算法既可以用于分类还可以用于回归，因此非常值得学习。 - CART 是十分著名的且广泛记载的树构建算法，它使用二元切分来处理连续型变量。对CART稍作修改就可以处理回归问题。 +找到最佳的待切分特征: + 如果该节点不能再分，将该节点存为叶节点 + 执行二元切分 + 在右子树调用 createTree() 方法 + 在左子树调用 createTree() 方法 ``` -> CART与ID3的一些不同 +### 1.4、树回归 开发流程 ``` - 第三章使用决策树来进行分类。决策树不断将数据切分成小数据集，直到所有的目标变量完全相同，或者数据不能再切分为止。决策树是一种贪心算法， -它要在给定的时间内做出最佳选择，但并不关心能否达到全局最优。 - 第3章使用的树构建算法是ID3.ID3的做法是每次选取当前最佳的特征来分割数据，并按照该特征的所有可能取值来切分。也就是说， -如果一个特征有4种取值，那么数据将被切成4份。一旦按某特征切分后，该特征在之后的算法执行过程中将不会再起作用，所有有观点认为这种切分方式过于迅速。 -另外一种方法是二元切分法，即每次把数据集切成两份。如果数据的某特征值等于切分所要求的值，那么这些数据就进入树的左子树，反之则进入树的右子树。 - 除了切分过于迅速外，ID3算法还存在另一个问题，它不能直接处理连续型特征。只有事先将连续型特征转换成离散型，才能在ID3算法中使用。 -但这种转换过程会破坏连续型变量的内在性质。而使用二元切分法则易于对树构建过程进行调整以处理连续型特征。 - 上面说到了一点，对CART稍作修改就可以处理回归问题。第3章中使用香农熵来度量集合的无组织程度。如果选用其他方法来代替香农熵，就可以使用树构建算法来完成回归。 +(1) 收集数据：采用任意方法收集数据。 +(2) 准备数据：需要数值型数据，标称型数据应该映射成二值型数据。 +(3) 分析数据：绘出数据的二维可视化显示结果，以字典方式生成树。 +(4) 训练算法：大部分时间都花费在叶节点树模型的构建上。 +(5) 测试算法：使用测试数据上的R^2值来分析模型的效果。 +(6) 使用算法：使用训练处的树做预测，预测结果还可以用来做很多事情。 ``` -## 回归树 - -> 树回归的特点 +### 1.5、树回归 算法特点 ``` - 优点：可以对复杂和非线性的数据建模。 - 缺点：结果不易理解。 - 适用数据类型：数值型和标称型数据。 +优点：可以对复杂和非线性的数据建模。 +缺点：结果不易理解。 +适用数据类型：数值型和标称型数据。 ``` -> 树回归的一般方法 +### 1.6、回归树 项目案例 + +#### 1.6.1、项目概述 + +在简单数据集上生成一棵回归树。 + +#### 1.6.2、开发流程 ``` - (1) 收集数据：采用任意方法收集数据。 - (2) 准备数据：需要数值型数据，标称型数据应该映射成二值型数据。 - (3) 分析数据：绘出数据的二维可视化显示结果，以字典方式生成树。 - (4) 训练算法：大部分时间都花费在叶节点树模型的构建上。 - (5) 测试算法：使用测试数据上的R^2值来分析模型的效果。 - (6) 使用算法：使用训练处的树做预测，预测结果还可以用来做很多事情。 +收集数据：采用任意方法收集数据 +准备数据：需要数值型数据，标称型数据应该映射成二值型数据 +分析数据：绘出数据的二维可视化显示结果，以字典方式生成树 +训练算法：大部分时间都花费在叶节点树模型的构建上 +测试算法：使用测试数据上的R^2值来分析模型的效果 +使用算法：使用训练出的树做预测，预测结果还可以用来做很多事情 ``` -> 连续和离散型特征的树的构建 +> 收集数据：采用任意方法收集数据 + +data1.txt 文件中存储的数据格式如下: ``` - 在树的构建过程中，需要解决多种类型数据的存储问题，这里将使用一部字典来存储树的数据结构，该字典将包含以下4个元素。 - * 待切分的特征 - * 待切分的特征值 - * 右子树。当不再需要切分的时候，也可以是单个值。 - * 左子树。与右子树类似。 +0.036098 0.155096 +0.993349 1.077553 +0.530897 0.893462 +0.712386 0.564858 +0.343554 -0.371700 +0.098016 -0.332760 ``` +> 准备数据：需要数值型数据，标称型数据应该映射成二值型数据 -下面我们要构建两种树：第一种是 回归树(regression tree)，其每个叶节点包含单个值；第二种是 模型树(model tree)，其每个叶节点包含一个线性方程。 -下面给出两种树构建算法中的一些共用代码： - 函数createTree() 的伪代码大致如下： - 找到最佳的待切分特征： - 如果该节点不能再分，将该节点存为叶节点 - 执行二元切分 - 在右子树调用createTree()方法 - 在左子树调用createTree()方法 +> 分析数据：绘出数据的二维可视化显示结果，以字典方式生成树 + +![基于 CART 算法构建回归树的简单数据集](../images/9.TreeRegression/RegTree_1.png) +基于 CART 算法构建回归树的简单数据集 + +![用于测试回归树的分段常数数据集](../images/9.TreeRegression/RegTree_2.png) +用于测试回归树的分段常数数据集 + +> 训练算法: 构造树的数据结构 + +```python +def binSplitDataSet(dataSet, feature, value): + """binSplitDataSet(将数据集，按照feature列的value进行 二元切分) + Description：在给定特征和特征值的情况下，该函数通过数组过滤方式将上述数据集合切分得到两个子集并返回。 + Args: + dataMat 数据集 + feature 待切分的特征列 + value 特征列要比较的值 + Returns: + mat0 小于等于 value 的数据集在左边 + mat1 大于 value 的数据集在右边 + Raises: + """ + # # 测试案例 + # print 'dataSet[:, feature]=', dataSet[:, feature] + # print 'nonzero(dataSet[:, feature] > value)[0]=', nonzero(dataSet[:, feature] > value)[0] + # print 'nonzero(dataSet[:, feature] <= value)[0]=', nonzero(dataSet[:, feature] <= value)[0] + + # dataSet[:, feature] 取去每一行中，第1列的值(从0开始算) + # nonzero(dataSet[:, feature] > value) 返回结果为true行的index下标 + mat0 = dataSet[nonzero(dataSet[:, feature] <= value)[0], :] + mat1 = dataSet[nonzero(dataSet[:, feature] > value)[0], :] + return mat0, mat1 -> 将 CART 算法用于回归 +# 1.用最佳方式切分数据集 +# 2.生成相应的叶节点 +def chooseBestSplit(dataSet, leafType=regLeaf, errType=regErr, ops=(1, 4)): + """chooseBestSplit(用最佳方式切分数据集 和 生成相应的叶节点) + + Args: + dataSet 加载的原始数据集 + leafType 建立叶子点的函数 + errType 误差计算函数(求总方差) + ops [容许误差下降值，切分的最少样本数]。 + Returns: + bestIndex feature的index坐标 + bestValue 切分的最优值 + Raises: + """ + + # ops=(1,4)，非常重要，因为它决定了决策树划分停止的threshold值，被称为预剪枝（prepruning），其实也就是用于控制函数的停止时机。 + # 之所以这样说，是因为它防止决策树的过拟合，所以当误差的下降值小于tolS，或划分后的集合size小于tolN时，选择停止继续划分。 + # 最小误差下降值，划分后的误差减小小于这个差值，就不用继续划分 + tolS = ops[0] + # 划分最小 size 小于，就不继续划分了 + tolN = ops[1] + # 如果结果集(最后一列为1个变量)，就返回退出 + # .T 对数据集进行转置 + # .tolist()[0] 转化为数组并取第0列 + if len(set(dataSet[:, -1].T.tolist()[0])) == 1: # 如果集合size为1，不用继续划分。 + # exit cond 1 + return None, leafType(dataSet) + # 计算行列值 + m, n = shape(dataSet) + # 无分类误差的总方差和 + # the choice of the best feature is driven by Reduction in RSS error from mean + S = errType(dataSet) + # inf 正无穷大 + bestS, bestIndex, bestValue = inf, 0, 0 + # 循环处理每一列对应的feature值 + for featIndex in range(n-1): # 对于每个特征 + # [0]表示这一列的[所有行]，不要[0]就是一个array[[所有行]] + for splitVal in set(dataSet[:, featIndex].T.tolist()[0]): + # 对该列进行分组，然后组内的成员的val值进行 二元切分 + mat0, mat1 = binSplitDataSet(dataSet, featIndex, splitVal) + # 判断二元切分的方式的元素数量是否符合预期 + if (shape(mat0)[0] < tolN) or (shape(mat1)[0] < tolN): + continue + newS = errType(mat0) + errType(mat1) + # 如果二元切分，算出来的误差在可接受范围内，那么就记录切分点，并记录最小误差 + # 如果划分后误差小于 bestS，则说明找到了新的bestS + if newS < bestS: + bestIndex = featIndex + bestValue = splitVal + bestS = newS + # 判断二元切分的方式的元素误差是否符合预期 + # if the decrease (S-bestS) is less than a threshold don't do the split + if (S - bestS) < tolS: + return None, leafType(dataSet) + mat0, mat1 = binSplitDataSet(dataSet, bestIndex, bestValue) + # 对整体的成员进行判断，是否符合预期 + # 如果集合的 size 小于 tolN + if (shape(mat0)[0] < tolN) or (shape(mat1)[0] < tolN): # 当最佳划分后，集合过小，也不划分，产生叶节点 + return None, leafType(dataSet) + return bestIndex, bestValue + + +# assume dataSet is NumPy Mat so we can array filtering +# 假设 dataSet 是 NumPy Mat 类型的，那么我们可以进行 array 过滤 +def createTree(dataSet, leafType=regLeaf, errType=regErr, ops=(1, 4)): + """createTree(获取回归树) + Description：递归函数：如果构建的是回归树，该模型是一个常数，如果是模型树，其模型师一个线性方程。 + Args: + dataSet 加载的原始数据集 + leafType 建立叶子点的函数 + errType 误差计算函数 + ops=(1, 4) [容许误差下降值，切分的最少样本数] + Returns: + retTree 决策树最后的结果 + """ + # 选择最好的切分方式： feature索引值，最优切分值 + # choose the best split + feat, val = chooseBestSplit(dataSet, leafType, errType, ops) + # if the splitting hit a stop condition return val + # 如果 splitting 达到一个停止条件，那么返回 val + if feat is None: + return val + retTree = {} + retTree['spInd'] = feat + retTree['spVal'] = val + # 大于在右边，小于在左边，分为2个数据集 + lSet, rSet = binSplitDataSet(dataSet, feat, val) + # 递归的进行调用，在左右子树中继续递归生成树 + retTree['left'] = createTree(lSet, leafType, errType, ops) + retTree['right'] = createTree(rSet, leafType, errType, ops) + return retTree +``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/9.RegTrees/regTrees.py): + +> 测试算法：使用测试数据上的R^2值来分析模型的效果 + +> 使用算法：使用训练出的树做预测，预测结果还可以用来做很多事情 + +## 2、树剪枝 + +一棵树如果节点过多，表明该模型可能对数据进行了 “过拟合”。 + +通过降低决策树的复杂度来避免过拟合的过程称为 `剪枝（pruning）`。在函数 chooseBestSplit() 中提前终止条件，实际上是在进行一种所谓的 `预剪枝（prepruning）`操作。另一个形式的剪枝需要使用测试集和训练集，称作 `后剪枝（postpruning）`。 + +### 2.1、预剪枝(prepruning) + +顾名思义，预剪枝就是及早的停止树增长，在构造决策树的同时进行剪枝。 + +所有决策树的构建方法，都是在无法进一步降低熵的情况下才会停止创建分支的过程，为了避免过拟合，可以设定一个阈值，熵减小的数量小于这个阈值，即使还可以继续降低熵，也停止继续创建分支。但是这种方法实际中的效果并不好。 + +### 2.2、后剪枝(postpruning) + +决策树构造完成后进行剪枝。剪枝的过程是对拥有同样父节点的一组节点进行检查，判断如果将其合并，熵的增加量是否小于某一阈值。如果确实小，则这一组节点可以合并一个节点，其中包含了所有可能的结果。后剪枝是目前最普遍的做法。 + +后剪枝的剪枝过程是删除一些子树，然后用其叶子节点代替，这个叶子节点所标识的类别通过大多数原则(majority class criterion)确定。所谓大多数原则，是指剪枝过程中, 将一些子树删除而用叶节点代替,这个叶节点所标识的类别用这棵子树中大多数训练样本所属的类别来标识,所标识的类 称为majority class ，（majority class 在很多英文文献中也多次出现）。 + +后剪枝 prune() 的伪代码如下: ``` - 回归树假设叶节点是常数值，这种策略认为数据中的复杂关系可以用树结构来概括。 - 为成功构建以分段常数为叶节点的树，需要度量出数据的一致性。第3章使用树进行分类，会在给点节点时计算数据的混乱度。那么如何计算连续型数值的混乱度呢？ -事实上，在数据集上计算混乱度是非常简单的。首先计算所有数据的均值，然后计算每条数据的值到均值的差值。为了对正负差值同等看待，一般使用绝对值或平方值来代替上述差值。 -上述做法有点类似于前面介绍过的统计学中常用的方差计算。唯一不同就是，方差是平方误差的均值(均方差)，而这里需要的是平方误差的总值(总方差)。 -总方差可以通过均方差乘以数据集中样本点的个数来得到。 +基于已有的树切分测试数据: + 如果存在任一子集是一棵树，则在该子集递归剪枝过程 + 计算将当前两个叶节点合并后的误差 + 计算不合并的误差 + 如果合并会降低误差的话，就将叶节点合并 ``` -> 将回归树运用到下面的数据中，目标是从该数据生成一棵回归树 +### 2.3、剪枝 代码 -![CART构建数据集回归树的简单数据集](/images/9.TreeRegression/CART构建数据集回归树的简单数据集.png "CART构建数据集回归树的简单数据集") +回归树剪枝函数 -![测试回归树的分段常数数据集](/images/9.TreeRegression/测试回归树的分段常数数据集.png "测试回归树的分段常数数据集") - -## 模型树 - - 用树来对数据建模，除了把叶节点简单地设定为常数值之外，还有一种方法是把叶节点设定为分段线性函数，这里所谓的分段线性(piecewise linear)是指模型由多个 -先行片段组成。参考下图中的数据，如果使用两条直线拟合是否比使用一组常数来建模好呢？答案显而易见。可以设计两条分别从0.0~0.3、从0.3~1.0的直线，于是就可以 -得到两个线性模型。因为数据集里的一部分数据（0.0~0.3）以某个线性模型建模，而另一部分数据（0.3~1.0）则以另一个线性模型建模，因此我们说采用了所谓的分段线性模型。 - 决策树相比于其他机器学习算法的优势之一在于结果更易理解。很显然，两条直线比很多节点组成一棵大树更容易解释。模型树的可解释性是它优于回归树的特点之一。 -另外，模型树也具有更高的预测准确度。 - -![模型树示例图](/images/9.TreeRegression/模型树示例图.png "模型树示例图") +```python +# 判断节点是否是一个字典 +def isTree(obj): + return (type(obj).__name__ == 'dict') -## 树剪枝(tree pruning)算法 +# 计算左右枝丫的均值 +def getMean(tree): + if isTree(tree['right']): + tree['right'] = getMean(tree['right']) + if isTree(tree['left']): + tree['left'] = getMean(tree['left']) + return (tree['left']+tree['right'])/2.0 -一棵树如果节点过多，表明该模型可能对数据进行了“过拟合”。那么，如何判断是否发生了过拟合？前面章节中使用了测试集上某种交叉验证技术来发现过拟合，决策树亦是如此。 -通过降低决策树的复杂度来避免过拟合的过程称为“剪枝(pruning)”。 -> 预剪枝 +# 检查是否适合合并分枝 +def prune(tree, testData): + # 判断是否测试数据集没有数据，如果没有，就直接返回tree本身的均值 + if shape(testData)[0] == 0: + return getMean(tree) + + # 判断分枝是否是dict字典，如果是就将测试数据集进行切分 + if (isTree(tree['right']) or isTree(tree['left'])): + lSet, rSet = binSplitDataSet(testData, tree['spInd'], tree['spVal']) + # 如果是左边分枝是字典，就传入左边的数据集和左边的分枝，进行递归 + if isTree(tree['left']): + tree['left'] = prune(tree['left'], lSet) + # 如果是右边分枝是字典，就传入左边的数据集和左边的分枝，进行递归 + if isTree(tree['right']): + tree['right'] = prune(tree['right'], rSet) + + # 如果左右两边同时都不是dict字典，那么分割测试数据集。 + # 1. 如果正确 + # * 那么计算一下总方差 和 该结果集的本身不分枝的总方差比较 + # * 如果 合并的总方差 < 不合并的总方差，那么就进行合并 + # 注意返回的结果： 如果可以合并，原来的dict就变为了 数值 + if not isTree(tree['left']) and not isTree(tree['right']): + lSet, rSet = binSplitDataSet(testData, tree['spInd'], tree['spVal']) + # power(x, y)表示x的y次方 + errorNoMerge = sum(power(lSet[:, -1] - tree['left'], 2)) + sum(power(rSet[:, -1] - tree['right'], 2)) + treeMean = (tree['left'] + tree['right'])/2.0 + errorMerge = sum(power(testData[:, -1] - treeMean, 2)) + # 如果 合并的总方差 < 不合并的总方差，那么就进行合并 + if errorMerge < errorNoMerge: + print "merging" + return treeMean + else: + return tree + else: + return tree +``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/9.RegTrees/regTrees.py): + +## 3、模型树 + +### 3.1、模型树 简介 +用树来对数据建模，除了把叶节点简单地设定为常数值之外，还有一种方法是把叶节点设定为分段线性函数，这里所谓的 `分段线性（piecewise linear）` 是指模型由多个线性片段组成。 + +我们看一下图 9-4 中的数据，如果使用两条直线拟合是否比使用一组常数来建模好呢？答案显而易见。可以设计两条分别 0.0~0.3、从 0.3~1.0 的直线，于是就可以得到两个线性模型。因为数据集里的一部分数据（0.0~0.3）以某个线性模型建模，而另一部分数据（0.3~1.0）则以另一个线性模型建模，因此我们说采用了所谓的分段线性模型。 + +决策树相比于其他机器学习算法的优势之一在于结果更易理解。很显然，两条直线比很多节点组成一棵大树更容易解释。模型树的可解释性是它优于回归树的特点之一。另外，模型树也具有更高的预测准确度。 + +![分段线性数据](../images/9.TreeRegression/RegTree_3.png) + +将之前的回归树的代码稍作修改，就可以在叶节点生成线性模型而不是常数值。下面将利用树生成算法对数据进行划分，且每份切分数据都能很容易被线性模型所表示。这个算法的关键在于误差的计算。 + +那么为了找到最佳切分，应该怎样计算误差呢？前面用于回归树的误差计算方法这里不能再用。稍加变化，对于给定的数据集，应该先用模型来对它进行拟合，然后计算真实的目标值与模型预测值键的差值。最后将这些差值的平方求和就得到了所需的误差。 + +### 3.2、模型树 代码 + +模型树的叶节点生成函数 + +```python +# 得到模型的ws系数：f(x) = x0 + x1*featrue1+ x3*featrue2 ... +# create linear model and return coeficients +def modelLeaf(dataSet): + ws, X, Y = linearSolve(dataSet) + return ws + + +# 计算线性模型的误差值 +def modelErr(dataSet): + ws, X, Y = linearSolve(dataSet) + yHat = X * ws + # print corrcoef(yHat, Y, rowvar=0) + return sum(power(Y - yHat, 2)) + + + # helper function used in two places +def linearSolve(dataSet): + m, n = shape(dataSet) + # 产生一个关于1的矩阵 + X = mat(ones((m, n))) + Y = mat(ones((m, 1))) + # X的0列为1，常数项，用于计算平衡误差 + X[:, 1: n] = dataSet[:, 0: n-1] + Y = dataSet[:, -1] + + # 转置矩阵*矩阵 + xTx = X.T * X + # 如果矩阵的逆不存在，会造成程序异常 + if linalg.det(xTx) == 0.0: + raise NameError('This matrix is singular, cannot do inverse,\ntry increasing the second value of ops') + # 最小二乘法求最优解: w0*1+w1*x1=y + ws = xTx.I * (X.T * Y) + return ws, X, Y +``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/9.RegTrees/regTrees.py): + +### 3.3、模型树 运行结果 + +![模型树运行结果](../images/9.TreeRegression/RegTree_4.png) + + +## 4、树回归 项目案例 + +### 4.1、项目案例1: 树回归与标准回归的比较 + +#### 4.1.1、项目概述 + +前面介绍了模型树、回归树和一般的回归方法，下面测试一下哪个模型最好。 + +这些模型将在某个数据上进行测试，该数据涉及人的智力水平和自行车的速度的关系。 + +#### 4.1.2、开发流程 ``` - 本章前面已经进行过剪枝处理。在函数chooseBestSplit()中提前终止条件，实际上是在进行一种所谓的预剪枝(prepruning)操作。 +收集数据：采用任意方法收集数据 +准备数据：需要数值型数据，标称型数据应该映射成二值型数据 +分析数据：绘出数据的二维可视化显示结果，以字典方式生成树 +训练算法：模型树的构建 +测试算法：使用测试数据上的R^2值来分析模型的效果 +使用算法：使用训练出的树做预测，预测结果还可以用来做很多事情 ``` -> 后剪枝 +> 收集数据: 采用任意方法收集数据 -``` - 利用测试集来对树进行剪枝。由于不需要用户指定参数，后剪枝是一个更理想化的剪枝方法。 - 使用后剪枝方法需要将数据集分成测试集和训练集。首先指定参数，使得构建出的树足够大，足够复杂便于剪枝。 - 下面是从上而下找到叶节点，用测试集来判断将这些叶节点合并是否能降低误差。如果是的话就合并。 - 函数prune()的伪代码如下： - 基于已有的树切分测试数据： - 如果存在任一子集是一棵树，则在该子集递归剪枝过程 - 计算将当前两个叶节点合并后的误差 - 计算不合并的误差 - 如果合并会降低误差的话，就将叶节点合并 -``` -## Python中GUI的使用 +> 准备数据：需要数值型数据，标称型数据应该映射成二值型数据 -> 使用 Python 的 Tkinter 库创建 GUI +数据存储格式: +``` +3.000000 46.852122 +23.000000 178.676107 +0.000000 86.154024 +6.000000 68.707614 +15.000000 139.737693 +``` +> 分析数据：绘出数据的二维可视化显示结果，以字典方式生成树 + +![骑自行车速度和智商之间的关系](../images/9.TreeRegression/) + +> 训练算法：模型树的构建 + +用树回归进行预测的代码 +```python +# 回归树测试案例 +def regTreeEval(model, inDat): + return float(model) + + +# 模型树测试案例 +def modelTreeEval(model, inDat): + n = shape(inDat)[1] + X = mat(ones((1, n+1))) + X[:, 1: n+1] = inDat + # print X, model + return float(X * model) + + +# 计算预测的结果 +def treeForeCast(tree, inData, modelEval=regTreeEval): + if not isTree(tree): + return modelEval(tree, inData) + if inData[tree['spInd']] <= tree['spVal']: + if isTree(tree['left']): + return treeForeCast(tree['left'], inData, modelEval) + else: + return modelEval(tree['left'], inData) + else: + if isTree(tree['right']): + return treeForeCast(tree['right'], inData, modelEval) + else: + return modelEval(tree['right'], inData) + + +# 预测结果 +def createForeCast(tree, testData, modelEval=regTreeEval): + m = len(testData) + yHat = mat(zeros((m, 1))) + for i in range(m): + yHat[i, 0] = treeForeCast(tree, mat(testData[i]), modelEval) + return yHat ``` - 如果能让用户不需要任何指令就可以按照他们自己的方式来分析数据，就不需要对数据做出过多解释。其中一个能同时支持数据呈现和用户交互的方式就是 -构建一个图形用户界面(GUI，Graphical User Interface)，如图9-7所示。 -``` +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/9.RegTrees/regTrees.py): + +> 测试算法：使用测试数据上的R^2值来分析模型的效果 + +R^2 判定系数就是拟合优度判定系数，它体现了回归模型中自变量的变异在因变量的变异中所占的比例。如 R^2=0.99999 表示在因变量 y 的变异中有 99.999% 是由于变量 x 引起。当 R^2=1 时表示，所有观测点都落在拟合的直线或曲线上；当 R^2=0 时，表示自变量与因变量不存在直线或曲线关系。 + +所以我们看出， R^2 的值越接近 1.0 越好。 + +> 使用算法：使用训练出的树做预测，预测结果还可以用来做很多事情 + + +## 5、附加 Python 中 GUI 的使用 + +### 5.1、使用 Python 的 Tkinter 库创建 GUI + +如果能让用户不需要任何指令就可以按照他们自己的方式来分析数据，就不需要对数据做出过多解释。其中一个能同时支持数据呈现和用户交互的方式就是构建一个图形用户界面(GUI，Graphical User Interface)，如图9-7所示。 ![GUI示例图](/images/9.TreeRegression/GUI示例图.png "GUI示例图") -> 用 Tkinter 创建 GUI +### 5.2、用 Tkinter 创建 GUI -``` - Python 有很多 GUI 框架，其中一个易于使用的 Tkinter，是随 Python 的标准版编译版本发布的。Tkinter 可以在 Windows、Mac OS和大多数的 Linux 平台上使用。 -``` +Python 有很多 GUI 框架，其中一个易于使用的 Tkinter，是随 Python 的标准版编译版本发布的。Tkinter 可以在 Windows、Mac OS和大多数的 Linux 平台上使用。 -> 集成 Matplotlib 和 Tkinter -``` - MatPlotlib 的构建程序包含一个前端，也就是面向用户的一些代码，如 plot() 和 scatter() 方法等。事实上，它同时创建了一个后端，用于实现绘图和不同应用之间接口。 -通过改变后端可以将图像绘制在PNG、PDF、SVG等格式的文件上。下面将设置后端为 TkAgg (Agg 是一个 C++ 的库，可以从图像创建光栅图)。TkAgg可以在所选GUI框架上调用Agg， -把 Agg 呈现在画布上。我们可以在Tk的GUI上放置一个画布，并用 .grid()来调整布局。 -``` +### 5.3、集成 Matplotlib 和 Tkinter -> 用treeExplore 的GUI构建的模型树示例图 +MatPlotlib 的构建程序包含一个前端，也就是面向用户的一些代码，如 plot() 和 scatter() 方法等。事实上，它同时创建了一个后端，用于实现绘图和不同应用之间接口。 + +通过改变后端可以将图像绘制在PNG、PDF、SVG等格式的文件上。下面将设置后端为 TkAgg (Agg 是一个 C++ 的库，可以从图像创建光栅图)。TkAgg可以在所选GUI框架上调用Agg，把 Agg 呈现在画布上。我们可以在Tk的GUI上放置一个画布，并用 .grid()来调整布局。 + +### 5.4、用treeExplore 的GUI构建的模型树示例图 ![取得更好预测效果的GUI示例图](/images/9.TreeRegression/GUI更好的示例图.png "取得更好预测效果的GUI示例图") +[完整代码地址](https://github.com/apachecn/MachineLearning/blob/master/src/python/9.RegTrees/treeExplore.py): -## 树回归小结 - 数据集中经常包含一些复杂的相关关系，使得输入数据和目标变量之间呈现非线性关系。对这些复杂的关系建模，一种可行的方式是使用树来对预测值分段， -包括分段常数或分段直线。一般采用树结构来对这种数据建模。相应地，若叶节点使用的模型是分段常数则称为回归树，若叶节点使用的模型师线性回归方程则称为模型树。 - CART算法可以用于构建二元树并处理离散型或连续型数据的切分。若使用不同的误差准则，就可以通过CART算法构建模型树和回归树。该算法构建出的树会倾向于 -对数据过拟合。一棵过拟合的树常常十分复杂，剪枝技术的出现就是为了解决这个问题。两种剪枝方法分别是预剪枝（在树的构建过程中就进行剪枝）和后剪枝（当树 -构建完毕再进行剪枝），预剪枝更有效但需要用户定义一些参数。 - Tkinter 是 Python 的一个 GUI 工具包。虽然并不是唯一的包，但它最常用。利用 Tkinter ，我们可以轻轻松松绘制各种部件并安排它们的位置。另外，可以为 -Tkinter 构造一个特殊的部件来显示 Matplotlib 绘出的图。所以，Matplotlib 和 Tkinter 的集成可以构建出更强大的 GUI ，用户可以以更自然的方式来探索机器学习算法的奥妙。 +## 6、树回归 小结 + +数据集中经常包含一些复杂的相关关系，使得输入数据和目标变量之间呈现非线性关系。对这些复杂的关系建模，一种可行的方式是使用树来对预测值分段，包括分段常数或分段直线。一般采用树结构来对这种数据建模。相应地，若叶节点使用的模型是分段常数则称为回归树，若叶节点使用的模型师线性回归方程则称为模型树。 + +CART 算法可以用于构建二元树并处理离散型或连续型数据的切分。若使用不同的误差准则，就可以通过CART 算法构建模型树和回归树。该算法构建出的树会倾向于对数据过拟合。一棵过拟合的树常常十分复杂，剪枝技术的出现就是为了解决这个问题。两种剪枝方法分别是预剪枝（在树的构建过程中就进行剪枝）和后剪枝（当树构建完毕再进行剪枝），预剪枝更有效但需要用户定义一些参数。 + +Tkinter 是 Python 的一个 GUI 工具包。虽然并不是唯一的包，但它最常用。利用 Tkinter ，我们可以轻轻松松绘制各种部件并安排它们的位置。另外，可以为 Tkinter 构造一个特殊的部件来显示 Matplotlib 绘出的图。所以，Matplotlib 和 Tkinter 的集成可以构建出更强大的 GUI ，用户可以以更自然的方式来探索机器学习算法的奥妙。 * * * diff --git a/images/9.TreeRegression/RegTree_1.png b/images/9.TreeRegression/RegTree_1.png new file mode 100644 index 0000000000000000000000000000000000000000..72e22c3c53b720eed22e143e32e542bbd6cdef0a GIT binary patch literal 32718 zcmb?@gLh)-di_aD4ot5=`ZtLxr#?>)7v zPSxHWp&%y?4}${(1Ox;xDe+qg2ne_s@aBdB0er*dzhMUiL&#I18#@- zL;#yMaKLbjdC?^6zccOe+#>*v1G4qs@K3rWv)q4Y{~0ANtEiBYmX?;3L`FkXQCClm zkKf(fGgOJvPESvll$4B&jGUO5@b>l=_=i^>0GI+16e~P1!Y%%(%}$SxMNeIwf}o(m z!AOklMpM7I3CZj0-N8z=_R-;?U^ps;+~s;BMIub*itarc;GzVPESN!f1#$?Bo0?d8 zcyRF`75~g+aYbP=xH>uthuQmVcepe(G_aV@boqQdcYD3eWb=ss?)oK-N(7P3>Cfa1S92O=xx z5Bg5K5gMPClhfn%a;?|xd3JHZ;u#dB(R*<6vjH~5?Ojz?*2hH;0R{#J4jvI6&Pwxy z!FPCcG~65g&5`IgpKBI^LPHBT#F#(b7&eW>4J4|^xT0RR_b@Rb6|Niv0gr-$V%0{L z>Bcqarm3lUv0A%2HEJ( z5HK<_!q`;@y;DmC;eO|2WMvh3_QOWkunzP7us0ZnfX}__7C0^LE5y`g2@MT>ic)31 zyRSb-k}11uJIcVfJD^_p*7fEO8>ucM6P=!}`EZ6#BszM#F$gi&YPVxHKTkq8%flkIOntxp$2j}M-RXuT7Z2vxOH(MMOzIXk-!$P>m z9P;XT+^z+Uv)OHNXwhGP`RDZG6CooaB0|X;4B{+8khf~?MSTkz2&HCZDuU}9j8RQj ztEb7zFvW-s_D)yW`B!2;!`SaF3y<0_RP74;VTH2|auC*Hbd2@~fqFx-VbHj_JVPs; zuALXobWUH9G{I?WZyrBy!X_CYSgC=aIqlz)nwy)CQt1Y1Ud82FSX(=NR^A_U8+91~ zU5!@m+rTR+DP?oJScQf=xTclGfO?PK@qg98+;I=AEx?)UiiwG7X}!DkF9>#OZ(wbj)8VY$Q_HIKaA=8$08nRc3x9PN=s@iL#b z$_`#PWsZ}f^j(!?VXpk5hmz?0&v8?U1YcvNe`UZW{^xujOn?6u2yno{y+_%UWg(=H zc0K z0tTQA+kYsNQT_{*9Lk>WKhtk?A|L>EKmf2qhh^C$4`3?(pJ^`$7*HV4>VK25F3EsP zBIoekiwzs&C6?OQ0kDy1qKGL!4<%^rvprCIWSnq0v$?4MP;kQ z>0~AX^=Nolj#Mm~P(V*drb;zB8m{0Ba2?j%u7~5t(Sjz4yM}zqH7LjLf-+5;?MAdglA_Z1Ls{(z2P0Snv{k z+LB#DpEJxqrNgr;=O0VteMuRnloY_vvnn%}mXwf*?scWJxfX6hku6HgxlA`(CLs}$ zj*qxz)ArWdSrpB1#iDVqQF;zSHIGM_?qQ)GFE(4vXLFpnb^UX5Q&Y>Bw_b6Uuvqpw zas1=ssv&`)oCAm8i=U<_AjO1zA31?Y$^-v{TIByO40-W4x8#2@0tk5Kw2>8uj)#Yb zgG0UK-GCnMz|+x@xyBe?6mWaQ#lt+JKz%4w|AS1hfEyuy7Vp%wv^K-R(6X{JU{DBJ zy{6GyBa0yAt^2$mEowi%Acd?2830}Z*Bz@RDiK(f%0)F4s+O7BZ_ZnX6 zs;c0~b^y;WDJiL19p@6t0|tYMisTm)n;4(4YOulBxDl9SO%1Gb)s z$4plfCJ#5NwYA)CX6Wf+_k|>Q+`(fB*gk1dh;iYBI7W?>EO1=E+mwF$73!yD_d*Qva8Hw>W~&lNr7) zH+fB2+n`FCl+boORC>H`b-sFTC(HwVg#VVoAP(Nj8P@gyO_XUT;IJa;qHgL{8j5;) zv6l_IHnA@`L4xrW8PFi^ejPkq>zdl6r|A27ENAFvVi$sdl?Pc0%!$)TGVrMh@lvlx zaRL?~h75ER5fRC*b$Nn5Ha$701otlJo9{<3)>~{gbGvPK#%&3}BnPm_$f#P~&SQ@w znB2PCG0nyf=Q9wd#DnU17(Yx96M8?)`=ae%B!acR*Az#lFV9cit?qZ1(a}ng+<%jb zoZp+u6BJQ-qzJ5ip^%(}9x_oE3O$i1>1aAVpU$U{NmCd!kdUx6`X>^=zyHUw0|^Mb+xzSNxiP79Y zMn}iBGP4})mgSSaoUU9==I}|+W*;D9X+d3`iS_sH2RC zL%q4eic@quuM7(tdp+0SU7S95{9xqiVjGtpQVIs94y|#SOQ|db0PQs)GH9!AsFKP` zU!N-r7UA2% z$;p9wI$P}IaFkgt8rTWLdskCa1op%HWXsk2;^*}hoeaM51)nI2Aru!B*6~is+cedIgAVYcF8yq=XtPTt`dVBT$ zC8yJ9iAouFhep}ZP!M>-VXLdAqT)Qfy*<0BEiG=oRHkSf@q0XLGS@@+_1e5Z`urFV zgopvv_<+xRhNzTwszK@R-zt|6NC;|3aM_Z@5GraKwx{yc)bjlN_`Kak@wg5!uqm+C zc?%Xoez;uLaUqN(iP_oNUhgBR-As;iPtQTI*d^Q5SVe6>5+)`W8y+9uRb`W1E*2#% z#oW+9l#mZZv)ABSGVgS_%IUQye0zUH>g2=+4$dL|`;yDMZM>On1COfjHy{?H!Z$taTiZYH8A@}2@^ytvJgz~AOft*3F$ke1sRk6I0-7z8P zzr=tjt*Bxr)W1Dlvvs)=6Q6HFU#nuia&@=I2YZR#eJq~s<{#bTf`SCHV4l+G4I8sA-#ce-{D) z2}MUIte30_4Mj7@hfb$UNc;vsdl}1eo1sx-F4ig_^rL^dGLIF3)vW1C>mFK(P zYpht*>urBY8`gS?P|^f8cKzL5^Besy;=TF3!Aum?WTb@W+r8>c4oo_&A;uiW{E#ct z{UoX={hr6$=b68WnLL&YH`8%_ml~A<#NMmtrD@s_;doIH+}vzpupwwA{x~Z@Lza|Y zo_`7`yS|Kn|9+RrrlutWBVXF+-z(|t1niBV80?Y@3rpVpm}x{P8*l!7ZJjNiTUzE) zQH#nWN(ZxL42~8I2nS^0*^{7jS@c!R zDt=q3$<=v72Kf3Hl;`34jz3TpJa|Y*`~eYagvyD==RY}vY`MZNJdX(^g?zx;pCj*& z4$8`YU}ixS@YxX4^yqK0WOJ55J3ZgMHT`;De7T8|l%6HzQM>Ntn#0<*C@n5tDxEz} zq;Rop>WqwBe1ERa9t&r=m1RdOzv=rHFU7MCJ>i5lC zs?OkLeX-HwvNi;C&4$g(TUT(XtWsZBR~E03-Ms8p-v#1RO60hr?ypme3dn<9288L^ zmBAVu9T9A{xt9h91LXv8aXdR@Gc_MhMk#&?uPiRl2eheo?%02?bvl{fjwh0cihgc) zREGfzsk;rAD-*QZJ>1__)cQQz^jE5j78Kx*#4Ii^1WtpoV<;jgaF?g7gIy9c==F3tK2jnw+>~LnTwYye z_IWOUbFn@m&8~=VO<`y+Lhp61ux3{K(XMlGfzQu(pE*~>K9yDJ9PA7am6}B>uc*DXZTEc6<}rnZYi%tJ3%mQo(sQ-TNxQbJ*Jvz< z2vb&BZu@nT>%VJoxnW~uVE?sJeL_GWY-D6iA=lJcZB zvYExVIlk59S|3^~SlH`)rnFTmk55Y{4u?%bOR`}9rskA-t6P~qvBH8xS*`C;-KL=? zC3W8`35<4hq*_%i9~|slQ`JRFa^GH6^%DenP+39rQqAc+wy@IDR(3jhGAnTbc0sM8 zjw&KTW{$}~{kM?P<}=6{bUi)2jL?8>!a2T(e|XgR$FAG;%HSb{aZEFu7~=VI1Kq{5 z$J51WCM#rp-IABrD=6@gLC4@-VD%5v>mcOh>ub*KePNk;Lc&`Ah1VN`bZ%#hO+G&7 zTw}pL4%{L-`oU<-!C%&y;2W!6#ls0Zu|5IH)7=!hH)v=pH8ty%+R;d?Mv=VU5b4zG zqrE#>2}TF|Q#|B+G<5J>l+${UkdV@u9NA6>(BpXv@Q~+_koEn2zU{40cx=ao5wqFB zF#BS!yo!z*FE@7dzD>7losACFUtC=3>TX9pK4yS4JmZ(jK=jnq;gSlz?DQ|Y1rVV) zHPs_ryvwX)Q&^b7#hu^c;^btkeQr4C=W%3Y3sF%tRMb*(H774#R1`jMC@=fN&kf9% z&Q#hu-n;KlLO~GAmR^Pf|E%NySwKd)4LRue^z2Tj(Qux4T)fHa>Bq|lI(jO-W?%^8 z$Za2|efeg)9bp-8rLIJ8&(&~LR#6caasI;dRbvh>7Y?RdN&%je6NSPOX5_omC;|^; zSoLV^cAFam9fzB2t=_FnO??T3xRFg(^e)R8yKP!44AM@A?IyE;z-gqLvhvS*r`yNB zZW%pLNj|@C@7l~vXDzMt^0S3%ZDJFq+^?E+|EqyI-A-H*l58od1}bVvMMYWY8m}jU zwRXBc2P5mFv5LIBpyo48jo|XWI{}6;R8;+?TG0icdlF@}`X?PHFRB~DQm8%F#Hhn; z+cH5t>1j}Gi2U7Or;oZqLgdB8GCiPhdFaOrX~`kOpNSOuy}s4eMMX-A4wln6RTte-)ub!m6a6}SUCg;(M_cbv(b_4Pq($JzU@eRuC_Z|hj+aEe&|F(oyW#B z#1wCr)<}Lmw-=F#X=wBh50`B~r%NWVAqj=AZJJKHo}Bmvv)>73`+Pjs*EdSfPJtOm zIxUXO1>a=6F2s-eLV(0uBW(&;e7-)QqXQ2QduDUTU~@IhAF-1?!2K>#w>o!@^b}U4 zczd-uo}oiSVOCPR4r>ef(c-mo#w9l5i;P4<06zX36Co)hW71JNrCGO|A0T96uxk$) z_OIKsp1CA4FwioNATucNa$@pEN@5KTM}>z7&NyKCXz1>spMc;#H1xoH>U1q%B>OXj zUa0Ih5W`e6&+*heBJ>?Ps+WM_K!wXip6Ti-qd32jCQu8}r$bQ-h6(_bF<3RLdn*Au z#!lDk=r)(AnOQroKU;vRLw-*^iw$76$`BD%nwoq@Or|DfwRJk5Eko?i=9`w0DUcLj zH#RL>P{zy0=aPcOye2;yi!HKOyAq(+PN(IprnyeT+N7QOUpeq@wc+1D=hgnvB$f3l zJp;Y(%l%PHTN^5e-Aak5**4T}x5JwwgWb)zswx#Y_=8-oTn3X!7`&a88T?_9A|Neb zgF&Xcy+Cq*ztp_X;mf>#*wbk#$;(TOi4h5!v53wwB%d7bC$>3TSWabl5CkXSsObi7 z=xKBzI&)YFg}<1|Momu5?KF{$Nn3}g5Jc$FTrBBt1r@?%8$;Op)B0x{#`oj-DwE?v zTB@%zzL3E0)xSu70|)161$sRtwKXfO6t29oPG%hP3S)qti!%aHdy*@VJbxDg+dtTU ze0Zp54dJ9pzPy~(@2S%yUYR*=Z!eCR7+8Pv1x^?8W25Otlchm&d^7KA4rznvH3i73aYO zU{;2IdafptTW|hxQPF5?YZ>h^v+&>oqu1pEa9d1N+{?prf`;<(d|6skGNK+WTy-G4 ztgQQD)x6u2-0%;-&zqw)P35~9^o31oB|V_pRB`raC1`ql{O$EjIlugjpQ#=JpNBq+ zT~=GUk?Ro)`w+PbW_4-l4@kW>Oz#V@5dd3vhEiRjt2pgTOB%)9cx>QnD*6;Gs z*3+`Gwk$6%e|uW*5c7O^cgY7-wNp}#m6nE1Pl?gMDb6nk2Hvi(6aM@uS+-6BlxoJ2 zk(H@w>gg?{OZ9(lfxU8&dn#|5iM`bcnGfF?M2YyRs1Ba5bdQcI>``JPJzsZ)%y~L@ zKDxnEJwDzPbVw#b@K;=tEgQ?%TluNDvbD(Gc!9)r!y)l)uk<(3PVG)J6&-1&m(W6H&!A(w{(sg znAd2L=)$Td)7SJ+#tSJUf02M3;XmuIN#>oOYis2^JmRUVxhf0h*|z>6vFWVKQy&wJ zRJ?_ST4HSfTxkCZi9zo92r)=3ITshyP^eRqq2=Jg4fsm$>M}w>fe&}(YHw$fl-w^U zusD$$q5%8IRYl)3)j*545;dT1yx4ApyH8ytf-Zy%0Q@rRJ7@S>gN;^3c zRTTra>vwmW_Lpn-jpiRu=ON~m7vDbueD9CzjyE}Nt!^E81~rL^@~X=PySpmB-xiwd zSC#6M6=gC%2Z$CEuo(2b)Ku*=tE+QUHp@klY}7(goK}fc8?RW%z>87?qj4kI+|%y| zh-X?Ksg15BE?IzBj{mT>FAfaJ{qgp|akEXMtq^Z*-s*g7P!bwmOH&33Nt+h`H-7Te zj-xejwU(x+Xrr@(gs6&$q1OE8yW8s#se$v)QqLc&vt|7WG8HRWCmNM(fYRt`MS|n}g-q)nMoyG?afn z0iQRe^W$mLoPq#lh2EZRCATjwast`Jq_<#dXmZ7yB~kAID$^$-1Q5Hcy}qxK%r9X&>eZ zdZ^*ovtfmR0k8FCRf7^XoN%c= zJTx}5@28^IhlSsd3^MYhWa8uZHV-@^iBh%xPR|w1p3Uau7d+p zm7M#gL1e`pXjJ&v)RYWa^+-VaAF8%^-){^sq9WdxdzhUTTXQoraM9|RXzzt)Yc)?# zDA96dG_xkZer zQi=&2bXPY*LC*UJx%anIbTk)AsxIHtnL^jsUphJs$;qRB@4=!%A^9TeFi8StBV$$ad=#-EmvJ{59y{_N6?V32sfu^i={W)onao^T^>%_Dfp|6 z4GquN+qjsRkOxa!?M{1EzbR`~d&KbYR2-!ueH9bLTzVXX_V-B;5v%N{ODJ`P`rU+u zF#+xj*NFP8h=wtuhL~Yx^_7*K-~=rxxXv^`aO&{%{uJi*@|~EA=ybLMi}{C#OE!}= z0>8i{8u=}Q{rgFMJqk0#$mk1$fk40vZt%Ci{(b$yNOncp+Rt@%LF^0&2ZsVN*r47I zefn}J)DAeF1@|xZ=gVg6I^$?Z2O(Dsohscl4{$fS=_%S2h8_1O>MWg0@wixM#9Sn7 zOR3UPMHM%bi^8&htQ#L|Yo~l(OYR=xN=v4Z3+!yFh7ocil@RamiRRPP?%#Ockn8Q@ zhI@nlKxQ=6Pr-mDwFMp?-s97g+w~UojrcDmcUbu>PDM2}*V8%TESt5uJpi#{s`D_I zNPz+*C7Zk2di7e$g7UDl70sp0Gloh+)n%?fNKH~QRjqn|dh#J)C%uq#KssNB@o9+L zy3zre-&$`rryLEQ*&5PV&LN9DwC3m(Ezw0G-@?NvjT+`p_WnW^>cBA^|SF&wG1N{uHT=} zH0p4VNE!2Uz!yXDhJ#6LYzd8h6Ioi zm;}6IIn1Kv8x*0MPph{)zi)-r$9qZ)&I_SKao!sUBRcMvX%F$l7uWxMzK*9+KtUg3 z@xMSpu5~(}+q%5N)7L*B5%olWho_}g=`|F&K4b2N2EXFh=ulOc0qH0>T64T;*YxFq zQIL)F<{=|I2N-*+cghQ**0b%hZ4LC!!S;Dh8Rh5a0~k*lCBvcpT4d$KsF;p{!I#O& z<(8I6(-<{6n!Crph^b-hOhWPD?2r%9K4pBrKi}2_e!L?ht?cXstd=OnrZ9MS)n?KM zU-m`O8SLuf=aPno2vk*HNJzf>?>|RkqQUu-bOQNEqNA^;GfQ*+qKK59VBr{Tib32; z6cJETrs-)#GHBK$p~0-CA#p-PhDVB_lU79q@<(t+;(%NE{kH2ZDsuPq5bAYsbRO#2 ztzstfw)iZS({>xFCaiz0xjXh z=v!VFt73L1>->FMcuzI1kXFbe1ySHVD8AkEV5uOmz(m%r!FNHtH1R=LfUw%4Ig4 z&*ni740LrmS^2lIyuSXX?C!pCwP{*VKzcm0yt-_QX8!nG3l2MEx06yduco1C+v%Rb zb`#Z=wN=sk4P)=n?nY?;wh z=yStZ6-6OnznJH`c65KG)BXKGJwvzcx;jP#*EkmMFq;}g0^YtGI2nvTfBs1PAfcm! z_kb4Sb2*x@8GV_Up8TvXO=~hG2ZhI1_%eV{ot<6txH9Ve%#IA>v$1HmI9tN^GE!DY z)aut(tcZn7OvJvwqM>6J!r>(kS75FZeG|1#IO*w;<6O1m0zs> zeJiRaA6#`?&Sc4!$^~>0&DpLskUK7rY3RB*J8NtX-wRNx3JC#kN)5?nfKegNBg9CF zxgYvSgzpZ9UBp9Ui=hbgLdFr2GBI19W0ncIs;RAA8cjEt4!7F*kzdajrtWH!l7f;L zU$M_PfER3uxw+XWnot6AwOG|?1G?y1jkz#H#G9>t1KlvhuvUX8R0be$gcYH$T`u!i zgpa4^%XL&7NXoc9^RPH~<6B2s-43({0;tZOok~JHAdjwOVt;q$e^s;xR*h92s>|tP zV;kCj{j(w}x?esD@h;8q>Y~yY)=DnE-+FR#PE%9tkPsxGx+&GwNy*DKb91gKDfT_p zSKr4sC#zg+%Meo%g?zEGv0_$7RzlFQfpd_Wio@y%CeDbzW~QcmzdkOktW)PL2nD=> z%!z+^F3yQBl&74Wt3G$^=(t03mJaLA3+%eOX=buFm9!#n4i_Fy^j$94E&BYqr2|_w zGBft$)_-SHB+SoWl*(PFwg8&=|Z3M)zag5$FL>jB3rs!U`A=B3^3liScYMpAPMp zYa~NgbAPNj+{=UcDl+{G~3^|xT^Vm_T%uaQ*-?!m7PXvbi%%Gc)XPx&&+^c zEuq~_OHGYzSt%ReK&#nwhQ0s+t=K*~tKE6ZWpB@5(Xf6fkRBW#YNEa5cwdWcw%N2J zK5JRa3{*y6T$#_y^$4FQ*xPGT7I(5AU^`ky`7o2+%*tAkxa1NH2eo0O;izdD!i7X` zdZgj|-I$)vu)G|`phrte(`kIMLUDcFesr{Ld^ZLVWX0nMhTjKj?J}Cy0+IX^>g(FD zLbbwm>sSUpz|=K9elCwDu>%9&#%RP9aYI57@wo208C1p0epT7#?(c^>Uw0)HTvAq0 zAkNPH+5Xq%Gg$>gV@jHwd{F6ROMi02hK}6NC2@!#I*r8wLEsH*HiKtk#M~gCOCg_& zfsWqo`EvbOEZyVl3x#a_jPd2#TnANiO$|aU=5m#hl0M!Qg$f5BfYJH=2I;p3k@}>z zIAbXMJF-;K%Bn_7OS|O{c(iQg2?swoL#)HWNI%jzz>fdro_tCq>{-;$!>RrRlxhX*2n#)6gADUR^Vo$fsX zT#~fJSYcTR+H#0o@5zzN_ZrifezXQtu%2ZscH{e_<@mw^2t}!HNr`nVo~6FZBVY#- z9R+)@9Ffb_SXneAKzqrWO>lkrdE5tFn3UvYWo6uI!^Fgfj)LS55{ox5aDP9~%geoH z2q~P~#LC>;_zV{msKe#P%o|c(62Y?8kMR%J-e8CXW#u)#*J*nsrhj?8AYL%UvdPpo zX>;Z$h_e+wC%To36bTE9)8$-cyN)sc{7a+%cK}*57n8%u*&<_g!AW|1d+nbsf3PPv z7s}+`nrlPx(Gn{Eipa?FyrtRPz2U$LLkf?-SpcHaB4<41*$q7IKSW%J$;|F#bU2(b zBP3*ko(^eD_Y~UigE*$*;*GHmxzZgN*iIxQdot2OP|94^O^ ziDbx$30|bG{6dyi?!K0e_n*&2))EnPq(G#R@AnyeWbE|4#9vRBEAR?LOe*S-VLz;W z+k^mW=F2C?>il5u;cJhNE(r-7<@s-ySauC`2xA^~&TMiDQabXUsW}c08tT5FG1UDa zpoJERo1!(ao`(NIY(=Q;3MEo*ENmr2Py?!1BOPqolL_ip9t0c4=sAS>g6#C#Qq= zh~BKI_zri2GEou)`@wzX69f_gZ>38W>OMa40a}eOaRTvRKMBFXhH`Q+ zqNWy>mW@TG#=KF-!UKb~)w&<%7L>jM@$h>QJ>Pi&pqkcyo=$>qw7$?<$ADWF=NPlO zoTdR`M^h7I%sLp{x2TVWxuL1aL>06iVy9KTR!sbLe>iGUJQmH|OzY{2$8H9X(*KDM zLmxq#wY;{j*9@c)G1E%j2R0KLYYNy`|{WF4FYxDBb zf)>9gtGAElI>I=Do`;vXm>7v5$Q{ZPlS?+8+413Fujg{ESWpjlQ<=rh$BTl^hwBYN zr_Fi?jXIdAiJ0n*w%W(~S}+(uz7V?%D0Ovp-R>IvIq0m#9r}6?dM*6)oYK~bLaK@v zbDw;^5`l;3kdla=Tj2IMN3+=Xf&@9nS*SlCwP6%fWDyme)omX*|D|MZd-JcS`DzXM z!b!s?Gt{RlB={Mhf68oeSIWKMQC;~XEY2<{Z+B^L5cw-KstVrFVzb2tn}W1aR?wiX z<@pJhL*s_s6JhqR11KcH$x%qQTXXzeNwszY7@>T>HRL?it+tuxLY-O&e;=t`TlW_{ zZBQVks!Eq$j|trz+-!t^)D4g`QfYydI5`hB1Y) zVC?ishl*vsyt`PqyQ_Oy9PS`!z!)T{LsImtt$AHv*8~|x8@~9f@K_H=8V?M- z7#XwC(V0i%Pp*k0b93q>T~vZ=HMWF~JT_a;4i1+#IQm!8Fwd;2w>9fgyxUl3ud6ZB z*X2|vqkm`c5?DleKtR0w>zdCmgWTW$!pFBBU1(54=%Jxu81>Z;KgkeMWaJ!ERkf9u zqpvJ87{v)(=F|ia`AtCJ{&GxwQWg${(%HBY=VX#Gh_KdVh5Lsb4(CTUNxP7dUzjy$ zH?-7bqsg%Bp=D)74U=J@6`N~C1O0Pjwm}bA-|c1v-meO?{XFXyUtN}i0|8^kb8)r0 z)B7}D+_B*;p4g`ne=*(&aR|@>z&{9 z!O&kHPsW@RdBgzW1_S|Fs}+C+TEqV9P^wZGNCz}xq{qqJrY{^zwX8TUm*3~*I3^<$ z;{LtQNINK+(OsN^q8OJW{^&9?b+!1^!a;gc6&9n8FgLHN$a!~v7!euyHjZgwF(^Y5 zRADXLd?sUgeuJBu+cT-TS?=rY53x;;=g0HRLUCnc;+|RC^sKzJcBjZwtOeUS8R5E6 z-my&G100nIl7$dd-yjA?P+$QGIym@T*k}+W$M%-zFLLmxh+%`;EH>+SbS^#?)bUFs z?U7ynaJkU;ckU<*Q~8{%#KfQ?_lAXqX3KhDq1^I0NAMnT3Ux4jItlIm05C zhVf~(^4NdNvT||~QY7B1K=<%FfDcCg!#|T^KqYHofaC0RBnyy=^jNR9M_~%|xZ27H z3+r?9Q3?31e|=CaEp=^gzx8+{UoKfr*XT;%&6*I7nTC6Pb+A3X;EnO$em-5q&Cl1} zZftI_8|({;OtqX_1B1gkyTnOJa$%qwvfUzD&*g|X1!T$UkFMD7=t zBQdc5dWOHzyo`*tR8`TJmQmkcVQ6UfQln(YcmaAKOx&nW^S^)Pu&`+L>kFRw_23Uc zkZJje`&V}e5w*0n2>$i{Jmib0g@lMB$9MV(IJ%Pf_wM1~w88d(T9(|b)gP=e2^sE1 zES8e$3WFZ4_lEo-ji4gaud*YVO7SU#{E%fG{0pE$>=nh+JHP>7;uHT(S;;9daIK?f z@I%7naJk-+wfpz_@nKFy>5Rkwxwzg4r5uDR{xLBDo6FxHd)I9nbg4F-Uif}*8j!cE zi{fRmPGNhVcuIAx)CDeI>y)h zcGLR+0z$^^n$>9%;Sq+=9M#-I0|*2=S$~mzM1Z`$pf)$Y6XOjaxRuphuQ!&bmL6}X zGZP#fChqT{HuN9g9o{*-ZUVA5GMmM2q2hA4zv$KL!gUPV-vnKkAvp78voi|tW%{^ zAyibiWR_r1gfj}S=4BpruLB=T;Ca_j|&Bo)Rz=7eS zBHth+J~pJ*IHeLAc!6IXOO*YAJ;^H_YEv8hWQZ_b9*Zg{w*)rA2ytEsPn zi;KY*J#l|=IpIKKRdldT1n2kWa3~ug>DOy7L$V`ikY4zJ+3|6Cy)Ho*Bnlp$V-n0F zvTfHZ_M0tD{Z^!Z0xri>r)gN=9&Zr)Ru^8Mm94rr|0+9Nb>BZdh+TmR`SBc;KeM=U z_YaW!^v%cUE{AVGK?wNViD(!E=GHZJWn+XqBy$C7b2%MsEGP$@SB+DdeZT9Aiy7QK z1OWS1i+PggZo~5n>I)an>vV1|eD^yeqWe2&=rb;!D8EvJNiA(yZi;(d*bLf*Wlv;( zd1$55CXZXeXfbVDvzCi}Q8o-|>+U#3G~QiTyA74oBh~yGey442aY#r74bUU&9pUpN z7f1wyOz=ashQ>xvOPupF0QFf?CjbeuVUxvLt+lSs1USHjLGO~w0c1VPp5|^cwS|ev zr!o~smxgAMhDKaT<)xyc9g)yXCSypmN5nPgY_TN!aF6TgpwP~k#qsg<2Hz#S(E1w_ zdWY?Yi-gYxFCev6A9kzr#Z3s9x!mUNx##8c?UBiNO;JuBk2BBjdh4;GA}=_&8<+hw zo2Rs*YRlb=mYhhqWpQDEaI)D`zW(3K?h4&y0w*X{#l!>#ukR-l^FoK`hj`VTkD?Mx zY?N|w*$EnWB9jco_*}y9kd+th>L!pE2a)2$wHbbowmEN2vpU#H>Kla!oh(p5|V|(BZ{fq*)jc}gYH0JGDb?M0?M%( z_1T=));)!NLc99*Wk4KhpN2YneoWVjx2^p4ijJkq@E(o zJYgK79ILalS~THoQj0H&WBd*4@^ULa z*F7;AnD!DbHckVC!EVh$Z*Y_Z;-^Ck?wAuBCz%PHXmM%^eY?j43%ggPd3HkM6?^Um zfX|fMPQ>>{3}#|t;`wxX*R9&8#5J|t4Cu|xU9KTR_qKj-90^%9Ff;3BXIbsMudBx! zk|X}}cIIwDr9K)(NZ84ixix>eHD8qnND4@0&VRn3`oPHmBpn!hW{@Sl4@h9c(czsP z>DXr=OYt2KubplO(4x?#9JS>LXfgS;Ix1G@npU@x;NY*%H!EstJljTa6|vVEa2b@d z{Wu~Z%=kn}P_B?mJ}dlcNUQq>JPp7EAL8d|{l3{ry}$qSbid*BMBPHOxVpUU zzS|czCPB8#!oq$G0eOI9hwy(DWbnY3OszFT9BBnHKxkO@NIU<2+v4HF)B#f-DW1uZZ6wt!J z5^ocMRIwqpaTg%$kuVh$=u^V@<&u-tiFjNPFlQE$dXN56DAJG?&FhYkOl!E8j`WmP z^j%oMhlj`AW+*5|c-rw5iM=@9&HEfBd|+iwIX}gs*ETc#^L-;*^DQuM-tPI{Zg^WV zGD6yF%j0!N;@V1ZdcH9}Rb@Fry8>KK4?%6YanOrp#o0-#)j($XXyL3OtC|d(dVUU; zb*r0Q7as-C&AF$;;c_h}~WHFtA=coTq2!El|z|&H#;WhuBHT zt!^Pw0tg)eu)R(u;ToWY&EvIxxjyl7GpV9l&CH?ia2TE*0iD?etq#!4wdKVlwG9~j z=*)zEwZ2BY9f1;Exb@;WE*MCQ5CJH{JrwdOXqcVJDXuUup6{#xymJA zGC7~K;m82hn)p5!J0aOHfVBuvz(7%h7R`78M4DUSeeBF zDo-T3ZA4~dWB!ZFw9go|w%-TPxomg6!jTbeV|F^00g$SnNFass zLWupbHsQ5fUSqKoHFRvO|HNKdtm6TBXOOF^y4~Fk&sjv+hfD%qV+IeJN|)wDw=p*$ zARvFX+V;-RVboACG0lH4tMc-8=ki6&mH{HC&8NplZnx{`Wt}lMCMG68_aTu&9wLUC zis~yGIG!6241s`|nCfeupJgqe&Ni08!HO(d=^~|uUn*oXf2jx)?4g0|3_04`+M=T; z>vp=fx3_P1dvTDG29>9?Z)rF?J4;DTznrwQh;UfMhzpwULpY1cAXH)}9VW0UdUA}{i`aA~1tpO|SuFzz?Uv){{iG*C z0CZKL-^0VhI!8$3Vz-@l*b|R{fB<0Tl=;RZ(PvBLiy^R>f`*B|WUbmr>d-GyIEfGk zSb@Kd4s-i@@hcE{V}13zJ<+{K%V4Tb4i198WN)E3>jC!)oD6Rarj`Z23i@xC&lFpf%Rl}*MF&@EW>ciq6pqG z6Ch{>sEmnN;ISBiXn{?UCrvr`mgaizvg_;bzP|tjbM*A}{*6}gvS!Ibx&RDfL}BCM zAV9Y|el-u-@AK7R{4e?S^)=&mK_^kO$HQ^G8u*M^Szi?wr#U98{4+e`u(r#e1!Av)jmP zv409q@_@Y-1+*-*g}Yg+($>XH$ZVS$6s!amgp2eixB#11Z!>t0`+uMEWCrVVEAeb5 z*EH}GaKY9vFz*cM7#~Vy|Ho~BhWPXQQkyAVamZwM=fQ3>>*FB0rs|?$Fw(A~vbJkF zB24zDIErQEf399r^KFpJ&e2R0g?vR-i3j#Kr<#WOtv)Dhs#0-$l4juT0uRE#eyiZ5 zp`O{KeE({sp%j=ZWgDP~kB8WtBc4U{zn7Q;64`d~BB<4*bZ%~aG<4svHU2BS#`@q_ zOOmO$Rlt2NST7oIR39z-CHbUCHp@p$cxUAORU7c$$!D#-Jeb>qAb>kFtqs_@mquj! z7R0pyGhTsIKOit+w%^g8gVo<-7s|o@&-qlKWO6D3Pi_lx6+t2Y*t-`Jt>Qra zPdA+K>&bN;j4zid<_Buo*x&JX$6IqtNm%7hZXO<)@JQ!^0|OWst6v%a*~Z1{5xvGH zN3ZW6hf^!*==|5pi#qa*0clJtkNX2PO*<8Na-047o9FG*)2Pg#7=zk44z(wn|BO$d zO--bPhbSl>5(gLi9fJ!tgQ7yarRHRYq$FG6CxTY1V}4Y_U2M3Chol{Yi`m>9`VZGHSNnF6ySH?%@q#l(Ue zliBc>&11grZ*R!oIpb2pWpv~-y-Y1Q?C*{on*B$y-6Bx)XP$svG*3;f(9BF=nHFJj zE`>orUD=6+D0iaA@ZxO6_F(?G*KKqc6j($AWNlV0zK<%cD=W&Lo;PTrm3*w@W6ZO& zUF{JBeqg0=)!I4^w+}@}ccfn;SJ>GFuwbKxGr!|CPGu`hj!X+)h=>gmR9uCHNm2vE zj}Ty?{G8t2;*+5%*I92nf4GXvnaj>duR7ky3{I-oN{Y|h*`U$D7x0De%2+6lt&5+H zrQKk{f$Fs?Dcz3!%O7V93fv3_-o*ga1!&sJ>{jU;9kTV6>joAUjt(6LzkHE0H!oUh zci&G+(zCTyO-$;wKe1bt2Lxs&Y$g$rFTHMccT!;bw@onrt)zHk1Sr(S-FjSHUcUCG%6wA#2+>2KoLA!=OGZ*R)EA%_%Gr6H+b&)uF z^j)`jMjVrPdDRy7jYzlmgVmA&ic6I^@QD2R<5v^qpcwaP;9p5kE85A!ZqLff=33KO zS&ztQqAvu#IA1_Ymge2Jpj8(bDJhYjn7BuPwJfguO$S=0(W;+ODB#SN+s)_Tr0wiP zO(;YSX#JE(#J-#ekvYP_Ic#>KVtiA!Sycx}E&B3Rqk3i4=uVl0SF8V_9A>C`V$!a! zF+xMl7aC7Y%?2sR7f0R08(W<2PZGvczK(F)f4p7jwX^p+Bi==vb8$>&S8pAsk?q#wKJVi!mzhoHW=Wb?@YE)FUR3sduh zCa=bGWbg9%b*xrtlqcW+E*IqkFRyx05sjK^RJTtcJoZM_x*-XPIb;sS*;7JVQYdBB zR$Ls6Ofs#4LRecn8}CDm)+7jk(LoT=-O`@dy1 zAVlfx>WF=G7UlH}1&TwBnE`WiS!*>3>t84rIlf!^4bTYo=L!q|Iy<4vqURT~iK`^6 z!~)$sa=U+b3Q};h?0>b|7kheoYMm_(^cGP;7INsXqN zhlUNV&(A7HcZ@iQ>=hM9mj3>qS$tlGoUZ&b^uTUT3}l!%X>680 zoPGIueI~|ttZdPU2!h~xswV3%x`U?s`-lhRos<$^d%Xb)vX;?T_{7!od860g+PI}z#=C;n06=mBA z4HFYS0^L%q=}xXX<2j0$n4fs~8^L+{g@vtvm&weIZXNoa3`iZ5{gpnOc`#K}OeAC*^!FOA>2aAl=%f1eGXhyV_P4hQgYM#~Z;4_st&GV$KzCHsUaeUET-e&nxr6zYXFjg$(8QU?eo=+x3}@(=s9C0 zSKQ-M_l;x}RNQW#XKb8vYuTuf=)YxYECg$v?T72_S%ZTLVxkqVk16lXGMidVRPrd6 zMgQCUjmwVi#_E`vBKn-VD8Rm!HE6^FBOD-GNN=zqQHfb1i{DP*qimjf2jXtHr`5VR?{b?&gE&9r5ux%K1Re@I=Lj#StiU3Yvr%o&a(Y;Ogfu^q)6-La zIEA^te~-mlqHwtpwQf%In`>pYp9(aK9rMx#(TY$-I{fjb!p8klA2Ak!$MbT3tYYEk zEXLL9NTYGFUPHt}6quD13cqV>cj$WhGXXGNB7VWdFmkx8tJ_B-gUD`)B_QzhIypW0 zP+f285@M?EhvKGY$DsP%xUlfmZV?P=LSh6?D5n+J%`aA?3JQxIK5rF@Ev8h<%O*Sh z*2T5kB7-4!Bj1w_Pb|2_(Q9m52>5x43BjaG{Z03_cZbi<&h|{VG?i}y5Ek+!kReG( z!kvV`!FgR?0EheUDAXwI?-=A)2Y(67%!bSL{A>N7xmAI~OT#^mT@LjfOdh2Kno$K; z7N=vM^QYf+9kZYJD_y%g4JGBgKSSXO@^dGpQ4zq-0&pURFcEencCOG^#kXBly+ zP)3&oef>z|;+l<*XPjBwA`A~RY zp4fQ}^j3M4C&&N3{ve8hRm*+X^}~mxQZ|)zXdc9|OYM!5u0<&4%UtogPO~`(Cep^T zVy&()v&jvccmBxbDLo)IPItg>Z=|1y=(@Gly{wFTU`U)^|LpL%)#_4z#J=L5aY{&} zLN>(ti6vtywf3Y3ylcmpNn-dni$!``s-V9q|7;Ije)AKiXGtB0owlN8_}&l#8au z9@Wu>WcBiH-XddPL7ZVgmQ}6Uhu>y(uH8iZL>+4VNrhfSWE63Mj zld}B_RfqB+jxt2?H*daKIaNy2I?(2NKPYPvxx54D7ASmuPg@Skuwg*4KP` zygya=lQ|rXH-3=Vi*4517dlB#9~v48v}y8)HG54?1yzS$w+!!^@@ucdV308|F|-MJ z^E=kg?@uc#Xdj-d8XD$r7s{8WvYUew47>d#>mV@LIau2NHJ%RHEG1g9A|pn-PEMY+ zl#vz|bnv;tuL@Wz&hH)_0qw;8zi|V5b!?dh(^CK*WnDw}>lym(R&P@TJY9q^!Y5IL zu=W<;*RNldln(H?8RNpB6>sOmaR_X6QqP|nw>a5KSf0~?WUHPsA)#_=k)Z5F{1XCL3H};?CgF# zMZ?R3aP)A!%NJcvR{!~>EIFz3U_WVo$zm=L+E|Y)+U;|@|1=WARYn>f4K)%0cDccs z;suhc-AtJUL3}gi>A3jT&TT%^IjiUo;X31ztmW!| z83hvR>Xw>V0KtI}aYa*87pP3V9sNcjFfjl80Ho5ru8WWpH#hgEzLA*YLxY9QcI|sx zy^~E%avFC>cg0iLw+5|sjU^@Dj6N-<+&G=dg(WSsQc?4f!n8EXT@V8>29KB48mlRyD!BUB&QFRk&mcPG0R%w&rqa~)MaHQm2 zMQ#Hu2fq_lrlvtPHymO!ScuI?FpHfrR8N!9i5C;awtBgx)((a4GuQ8 z_bSVWOT5w8#4rplv;8sW3=V_HU(cFK+lkr!SYPWpy)&A_8Xi9(Kbq&vCpiBOyH77^ z{GI+$A2|-r!J$AvuxwxeU`$??R*^OznjJP2m6W!y1cZcAviNMOy8^|hE>~E3r;za} zfq*QJ$88E!BuIWg=NNt^{b6BSAXl6}_!aO=nwsUxn-A^!4=X)>?(XcU$KWmzu{Nk! z9s5R{h$@ZdI7vy-N-w?(zH1PX>T~*aEY(|dmX~3upv8Y}fI>4fi@Qu^5Pw%l-~k0@ zhl2rb2>B+9$v<$gu!<@w?LW5r0JxQ!YR%5)0&GC!lcl-28$jmk1&T%3%mtoZ*Kw67 zT4uJ!@ri$Ql{Jqru_)=OxEd7*u0P2;24ZGqG^z&j@YSms+jfB7q}`@G4c$4fDXcOD zlQ|rk|LJ^btE1x`*rf*K$E<@R{7_df+AzW+-#Jq>#CKIV{r}fudHyj3}#+@{sxav z{JRj=!dpt~t~iwJrl#8t&mYkriw+NyC=Mwp$>yqR=n_gE9&-2H##&nV`1s^QLvn-5(pB-YUiNP{D@#xOYnc01^(BoY(UPgru9p zyBJzFqHiQNOr$u(m!40Ef&O34kXu=&2NXF_0>jXWu@WPS?a9 z>XX(-oQH5SO3HQ?hRbo?*+RLnzJ6$LFhwl>UrBw%e0(?l zpbLp8Eby7-&0z^55|isrZ@Y*{XIk0^1f2OJ#+B0S#BF@gm9ev14dCV&L3%o1X@kND zwu^B@5`u%-#mL{J96j@ul!Pr1)`bxZqDfoQIg*mpT>kldE7sXr572EY47%Swd_|>c z9X7l2f58Q>fI}G%P8xKiq5(?Oqh$ciLTX(Me4WWCVu^7eP=~#|#Dv`FC^7<10RXV$ ze#;oc%A%=3HnlKIb3MwbEFJyxMV&Oa8Gt9n!7*(z^YYfh!BKyF^q1$mk4sBey*we{ zb6y?YpZXE-1H`+Y{7|a?I`zH_E@WgsXcQM-pJm4I!kO!9&(P2zZti&7RJmolphTMm zpxgh|7&YDuxUI>FJxx=!0D+Q%fgv`DaKt_i))iEcr-~i-bA?N`y z^@5bGGk?o9c)UE{h4RfX(CN7RI&@<3Rfc1rQkaerp4T4FmX&JV ztL?-F8)Z_cAI~B2=11i!I-zAC_=cvSMT9QK4R!7y4p`_$}%1&~QHy5;@v#44%XCatI8xUveB{HY0f2J~jzZ zNWJ0m_~GEhtbQi%;f2rRY!2As8#@yN-?Gcq`J7#%p5Huk)6y~<*<>+3&(^f!k>v&yS3CSPoJ2LnIPj$5Jl<%&ghP(K2?672Ts9=`Et73i`iey3Vf=nE0rn~DY3Y=S4BO`;;ZKPyywT&@mv}) z@iXI%@;pY!Vp(aWK|MJIM@l0jr{hYV*j!vOsu4aKdi1(2mGyNznPRq9WUX_IU)Sw5 z_I%env(n7=%?-@M<#5ijXUz=rBQGyBHugIiEw8ZH{_<$TpR%SIH>tqn7(q+RqZY^A zt>fO(z#oELHd1FFb1(3vxM}jX6%{!{b=IY+6t=b=#*Y_k3fV60Zts8-^+!i~gtQ&S z-aoy5F91pW!(0l^N7U))&PqyZ1_sH)?Tm9|C9RaUpScEb_l7Ml7Gu(#q$C!IDCJXG zD`{fsrV|+t4-CFncisk6KYM*X$;D|Z{TdM#t;ng>W))XUQnqdsZ&b@DDim#mg{xfu zi6IuHO-EOWv#?l#QyZVGsEk-^91>?lN)-RLdGr4KQJo=VfARM*`LL^FhiB5GE8BVU zkoS=5kT)z1COL^R=B>^=_Y<_~W|K_sdp`2Dn)2QCG0)NT>j8d2bPCglj6@1 z7w%*6KLQN4=0{R*2VdnPGZm@iXH2%f1)HT*TJc8J?2%AHLw-=mGt-y3%5h&#eKUwG9G76HwDKk<%!6$vx{JW$Z!mdYa0&tx_RbBbDf#ZQpG3) z2V0a=Al!n(T8pMYH(WIC@bh!+jO*)UraFLg<#!}Ly6kqB%WyloGV&NEOzx#i-?H(2 ztt!!SHm)`Hlb4s<@Eo2ixgUZaCDtkC*wnqcn^TFvxOaE9;V}fG{|4LtEzR|Gse7~a zwuIfT26Bt9moRS)9)es#aH#${2+ihSUZIT0<5}s&`TIryI4vn_Dp}8?l=$Ctp2;k` z+&R0Nx|^Ga1FRZeQ!6u98gl6Oi$C)2@ZD;K(knbQev@&R9(@rPJqrA-$#Fezkin;4 zFc}slW%}*#Nj1p%KmIM0TNjo5A$omWU0GqPFfj1X#QXKcYHeC?DzywqwW&3Rnw^=o ziC_@SxOjBsq-%SanUd5<*$}F=o9)k!&Jd*6%hbGUJ)OyVSq>*Fd!z{bbY0q}ET%S& zj=5_5{n?UrVId9#1)u0~Rk8K;x;;_Z;7>K_>A3DM))~wvT3CEv=2x4S0EO;x8cX(6 zTK`vr7b>T+Gr+BDkwnw{GLcq{%Z9`J!;pUX{YXN!YGqBkTdlm?|9SuK{Jf&gDbM|B z{VttN%_o$3unc)x-dLmk3iEV-Kd=jcY)(bxImhp;2X7OUl)x`L4_ka+5pgrv_`K!c z&gy5q!Y1+}*{r7n{4FN4@D{5L-m>_b*sMEnv6k~Zor7fqk76@-8Hc_XG5ICX>VA2(+RSw9F0DXtf0$h&5A7pyJ7h6o!D7y66!FEw*H>Dg z^iLJ`?8DiN$ztdiA@4_S^(x+xsY@kZ_jsx-wlG@V7SHp4#%^vT-uF(fZU;o9jlRP% zC*BV}E|2syKl!ygU!HmbeRBLRKqj^y_p^nr?6w|sY_1el+cJqB4`~)Te(#1Yn3?B? zk1yN(Ej;>YU$@T=7K_wqc22@(x+h=8@{I>q?@t}px;mx3UbrQOW77Q2@AF3*2@Rcq zhY5j*4+W#i_G*g=lcA38qTc^Av&L9V&mqcTUNK*hG@ ziARn%8ikA2?oG(w&s_?+zR_nTFHmI@DT9BRs2%qElvy#qgj zr`}(~F$Bo#jW*iW)XpW*EX;oVZc&4*&_2U$X2n-m@@fCDFV;VKJ+2Bd=tk}W8|v2L zcto|DWU;-VlAogAcOs#Bd%N{prgJT(9_-S(ld=g7_5b_!*L-Lgi0umAu zqM~~P?oqO@Ncg;uL(xheixnCU(_sYET}cQk6OVjRX~jy6*v48i(o#eiCQ@q6LH0)v` z^}1J^h~( zr&+QY6Y1OwCeJs$R#x2?o13rAo4k5@zHM&4?$dXc#B!Evu)LT?1h1(*MDnP%pKj{7LrM> z*@=x}l>29DYG^kwdQ`gFe60_~Lap*W0;@$^>Q}TG*0{ay&y-a>ys+12v+>;@?>2gE z4VE)ONxpxM^Bq!5qkIk@>?oBD%uG^!sCa!0wQ*XT`=dNw8ZM9LHox<=t<2S{gdvf` z2z^5X)rko%ZURHcE7IPJYv#dRL<27kgTkCPP~JY7W^}1kaxj(#IZ_BmeBa-Co0ES1`koC{erT^^G zV`z2POQS;e{-#g9_yF3Ik)U8ix4+?}I5`0(zU!P@*iBL);4A*O z_He!vkfD#nEMU>j$;nDy0mr5EOrytlVFBqo2?R)sBxmOgerNNERHi7_>rl*$I75vN zPNY%~wMON_EFb|-<(y&X?~;wgFllo)=yu%wx3xt)7}3dQ3VZlbQxw8P3sBz)U$?ff zOH04=T?-i!evDXKw2_XBA>54p04!eCu@=-ZU35B4u)`h4@0tk}-@nb4snJY7U9Q02 zb&1h`M#92wqU)A2=`ou1h0Hs2yLS3|&$3KKW$`q}G;@46MS^3jN^*BK(^xqKY6Jhe zyBorW!vg}!)XH)O8XcCZ%qz8@LLVzsk4Ju!&(x=5AH5jD3BavYHzdQ4@1EB({Qw z=yQkCfME<7q}5{P;Yu5{jr@3XUY`;Cd(_x+>4Ttj#azije-> zQ}HJd!@$1?2|i7-LIpCr0&-=_qOvdv`F7grvN8l5R=-||;k~^`e*WFnM(-o&iZ|FW zl4NQC*Q(cz?|#*N>SA`fU_z226vV*$`IhFm%dg+HHn!N5P+i>>io|^oHw0V=*~G@v z#g)r7E@G}UvwkTUWc$s|jNs|JlqGCZn&zMYGh$#F2RZdJasZm&xaZr*Erxonda8O0 z3!cRG!>P&5&mY4vzm}?Z?-S4&$VYe%Nw@O-AfYF^oh^1g-XHMs37%hZ&x#1C+l^rm z@z?h6m*ApK!l13=@NpNJl8w@2K&RSC%2c2Z4hQxgO+tvD_p10d8+?l}M0kk420d_HcjGc)_SxO_j{y-h6@ zu#MNNGYni+5V)6@(n7~>Ei)bc@O@2Rc(ODtm1OX8X#e@#pV)#!w^yd&ID*AmHOkj4Bkn z-eTg(rbx;2HZvLY+G-O}Pd%Q8`w{^dN95ZHP4U10dNgh;6xjg0#H3Z}s|oX}@b50lPz%^X&me0y(y&=foF--usQTxjlIibTv|m=N)Mnckt(qp0$cm0Q$vEbC@-f}(?GL*i zNSkBrTWH}#8iw6r)aolPhQZ@R$xc1m8$r1G^!rUAPn#w1scTtclga(=>kB9*?7OT$ zA$us<3>p&c@t~y>`(#qdla`wPg{!r<1su#Bx&FM8X4iY)hd#2E< zmD&DH_djw8*{q!7QmvlMQAUhanbMjoUY!DPb)*Bn8y!NvFK@LbFuP`K0W+ASeP^PJ z1%xVpetM~u2630x;r34IwbYmmBXO~;TK13`3lS5(WL{gcv<>u2i~^`SbJI1RVhXbT zRXmQmET`{VGw#UE$F}X?Ggb~lYBmXQ;v?XG?x74in{@HBt3={$=+|upa3i2 zgfxzsg;XeA$jx;Q@R*^w^}^*fa-GaHt>#-CS2H+<>mD3~q3=)Tm8c*w5Az`*Vjj=n zRDLKT*#tO`W@sky@mbL7V&P&Qo*j8yCff5UP=~G*{j1q__U2qGBR_2> zi3VE3o!%+21=PyWKI?vxmc~Lr21_Sd*IOz9aPxD8c5&jp{7%TyxlaS?ZP zGH=Wr-WiMw%}78M=L_9>D%UlY<10SY5;^z)x%ciuLh!Dw_cz%^{`hf)$DKGw;S?MH zs`FsTt5&;{JAoaqs5t>7k5ZcEbm@%_pU+KpcJc9UEB_YHmuCi7xE^WuDhYGwfPMdY zFx&C;dPGtKGi4_YDdaXoSASj1!+rhF(mP6z!#$$1^KQ|<=xL2 zJ}yUMdZt>BnY^o%=VW4=x6JrX!Z=KjX{V$9v=<|7ervMbKU!Be{n9yKGn3uLTuAi} zm|#n{VJSX>*XL;4RktHthchI&(KbI#mQhj@AweFHXg3SKH?NT6qK1|C>v{Lbm|K;G zfiK%5oZPPSn29XAB&}Y@vdKyvoR!ruF);=PwW{5-6PF5cET#0-FbeqG6<#thDXb(U z1jN9=;3@}gx&3-H@C#L=N>`}6hr$Es+sQTJ^b(_%O3Ozglz7x@cjD z%O<=kATbR3>2*9?D3`&GNWk9#;5h){ci_{8$1b8;ER9m$z^X&{`T4nBpBbuxS1#Y# zYg*>fbeC`6-e~#5nIo-%-||-PpYhuo$s2tXkGHQQxSQKk-z<_R-l=+i1pfV)NMl(u z?r}2g^{qDtMwIPLn}x1hdYFwR!XY6IDKJz+BYiKSSE&CpvuUC=qKOOus^Sk$X;|uG z&7Q|3u)_p5o{-e+Pv%R10V7>rh9oftD*?bnT*?iI+eD{OI=rDRAOH+Mi`$i&k#Tw$ zKmv4nMdTa;!{B_L7>TgYg%gLQ7;2p)1V`xIefBENh{3}C@Os8~A1S}F<;HpL@*p@9 z_*{W&XAy(j4*s|wipDK*0Gu*)&COwh)T$)`v&En-VJ@>q&01qhubG({c%a~~`C@Ex zeO|OXA&BZ1OG*X{3-Rd+GE9AXdIB1BA7!>C@v&pTMYy0VM@5<>-P?{pr?FnD!u$4( z*{BaxWP{0||28Ybz~qaKfuY{z^L%yn16Dq>I)IYtq0x3lS-g>)O6-PazyskN6l}s^P;_d&*+eJZRwzYz!&?RWAF`;& zoe)sH^Sc}=PIw|1DuEOsu^)_ig)PnA#zpkgj&bpqh?gGPjjQ!=d7Ml;FS~3qfk`rd z(;K*)+uTpd$x7^UB`=;udstsbEup8eS&O5*5_PJQzBKScH_fWvXsJSd&zzh8hV;G1 z%%}eD?n0yb;`LtR&j@A>LOhUIYJ+6^-HVc>l+45HZ4p z??Rw^1ZPS`!hrG!`9_D<%-?9LdI~hy=d)p0;041ajDN4FJg|STh}6Xw5az%^7d-(Sa5)r|uK)iJ{|~Mb z<)2So02JvAM5Td&0eE!k<<(VOQY?Thh=+F`|6JdM;l&mpVGrDooGlbaaBw_6FBf1e z4=`|Wxy`k_YYQ728<0&r-_0oi15;T2-kyL{#*L^zK%pKmI7Db|y15X}?e;*f4N)cm z-t%Ik^NaCYBjrkoIWRQQr3Zryy^j)oVs=ZoCNVK_JcU8WQ?JP^QY+tD`vl7!2G=G76fbXVfvBru7m7nd#NXpelz7j#sIRZzg`nnj+!+9HMRXDOTNl9euS80vJRr6}Z|0rT zK~LWTvPTB}wOMMi{inxGe;#gb3@T+&op1yviOzmapZ6EnNPvbP3$I=ziw)d9$iT)< zF-$mQWdD=W;s$gQn+srcS#)e{v5_#L)+Ww1DY6etI}qp!fGiANN-3d48Tj2QPJhRA zL&7*wQo!EGev~Q~wvgwgq+l9AxZ)7iKIai)F@HWEW@~j1`lRu*nl%pE1D?=4kcg9M z@G;O`FtG~ir40|Uo5=$~(x=*AZgdJ-a0Qj3+X9;ea%D8scQCxj++4WYG04r_MWeD^ zi>tquc9`_K0W-iPVGFNf{2VyBmDXaP}Iih*CN zTDf{$q>wUj7>9)j3WxxE$G`wHiz?xtmn~m z@7o4c%tip4*BB7LM=mnmH-r)-DqjI)O6q{+bdFH1@nE9t??9qepf_KGU<_XYw9vt$ zVzF#U;GP%D)XKFRt*M_Om~J5_$n!Ti?AJ8WXDxkhaK4`7wNsEVyI3eHLz%ez2L)B_=)4D3Zf^Wqeib^6?B_14q2pZm`U?ypD~}k?NyN3d<|#KtXU0 zp~e!EU6Oe>O+%9;PJJ08)jG_AZDo-JB?I+u-uJt?GW2k9q360XaL*e1IZAkC>Mi2~ zoLbYYu)2sx9HWn!mq!#?n|U+=SeOOH~^ZBmh4Bq zV-(jQ?E-|YbOOI8a1r#1Fq~9{UZ-F3;*?ni{_kwUe!xS5PNQA`PP1K`2n7wDCkfnn zT%vm$YkIi!6LdwzJ-`b1^BNF~D~LeJN~atmGyqTE7h?q5SONj00`t(3tw_d&+N$u1 zw0dEkYMo~KTUBeU4fzaqJ7Cf&9*-OF>{q<3tzq``<=iJI@EeUH=}x>*P$~pMX+Q6$ z7$no{Nq=SelzfILnmH$}CI~W|xCh1)Vj7jqD&p_r7k)pME|yITniLLXZYm5@Y;Wi| zFxK?|Y1SC_DhRxbHWt@wpymo>a5@rWiHnKN`1kx2EbgKU_>zuq!)2L@@_j*Pza5Z2 zDa9Ot*WjbB0T^`_{oQ;+_%mSCA!$j-86cxZ5MYK^ulwn1$*8Jm-~D>g&avr(DyHCR zR@BWJ0E}`qsv&$|skcA|JpI^-9W8iF#-K`^#MK6?U^hc@>^eD&Lc_h0-@p@I>~f5b z5>KBJ7Y+k;n`~pd0i=p*7_w#=;avE$8jS#6c5gI+lpi3^0(QC5RzmbbXv0HRaklIG~#Emj^I}j*QS#=uK`oLw)`wm1B1mpQ1 zH~VhDq+eiEt}wnB-Vll^*v*keAVNbmFvigD^}P9I>Ug5f?OfVd*5U0kC z_`+xZEQ2gUCV08KSn)2Uto-d8F?4HAps`y)FD2J(x2K24baM+pwKrD{Wi98m-npXf z{6h?ex(O?_ze~53bDayT2&EK)eL|dpQw~N?Dea`;!kq}A3Pz?fmL3z>G}G#Q2(hSw z0>(PBzP_GWF+=k;c1Hyi{A4KDkO~aPoF4xs>#5J^kIka|BMPHba^50Q(d?b&1V7mZ z=ZBymm@jl?3b;pac)>xCI9Hw?z%Rn5@#v;)N0#b&Mp zHj4Tyyf{|?9a@;8uUw9a*#L7##YzQ_uMDYsc40UMbtYa~tyv2}^1fVa@}&n1q-98E zni`xN_m!sIn+WqCHT0Kh(SBjZ5YbIq!*V)^>0#zs7&08_FJ6`iutj$c{%_YXBJ0Qk zZz!t~5qA2KYb{sOMobn#yba0~5sJXXDNd2ETW};2lC`Uam%e|vt5Rqkhm(S;3; zhA?V@qJPoY6aAWF+Im3baGU7F51CJ#8=$gU+pf}E@{C3nq-1^6HxbL^BzgvHjoD-B zJw7n*lm=mpy0`iHc{@a;>=N3`593r2Tz;NZ&bo zZYa?x$tzNqdtYL5rTxwS`rJ@bsmu|6ap9152Ii2evS=Rzhi0)9sg=NQLp;#&vbrwE zv!POueHl8WWWGnilTHBIVV>sh8lTTAjt!L`jX;~iH7iJ5t+?Fdw6gig>x(!w8D@nc zY!C8^AVROEK`)3TI)(|`AuSJzb>axB;|hNuE+PiCAM@m^ubQGFikK9M7)Nmv38~pw zN5YIaSpAire5eFWpDfF%e2uKpUop!vDp7f{0p5bUi5|pER0O{Xs?0Y5iZ5n6=ufGr zIjzcHwmB`K*o`WL{Da`qa}kLI>KO!*>lt-L3gM}0WMgqxf0K^2_dyE{Ka})+ zU+%yO(46PpLX6HKa)hR*qnR`H41FZTDIHbu(a4JA^gXtrtTEq$N;CzmU{x6_qJjK% zNLJTSnJP6H*%uuiMogS0|6VCkGL#pM2~D<^IUiyjt;VoH2t$kzeNp7ayC$zrDe(?5 zM?#2%D~TY`NM!e9im!8~CH0#OaJT^lequnFr)9r82ocW0Lj?7p1_3&GROM-m_q0@( zq+=OzCf)JW{ydq}ZrVRr>;A2G_?RnNEEC^hWrx?kCP>z7?B1B&;3bCwJ#Vw5;RGtg zTb7D?BX-m-69}NU|6nRiWMHQbn&5=7R&OP{9)<&dIIjg6-5t$TbQq~$IKHqxV*nMQ zJDy1D7z$OaWTxHsASe`DE<@GVkUYX{J3ruzH4$687e@o3d5Sf0lM;PbfjuM>w0!9V zC997U8xUm?JuGjW4gyb(uj@j44A;C~7VH~hIIvFgB`23M`1Tc~3KV~8;X{FzY*3F$ cOwT8HVl(989CL#v81N@0CNEkgY#8)^0553hF#rGn literal 0 HcmV?d00001 diff --git a/images/9.TreeRegression/RegTree_2.png b/images/9.TreeRegression/RegTree_2.png new file mode 100644 index 0000000000000000000000000000000000000000..517b5f93cc3c2ffe583ddc0139f7da623640a605 GIT binary patch literal 21203 zcmbrmWmFwa*DVT!Cs=R|5(u8)?h@FzySoN=4HklI2oPL@Y=XPHySux)yPqb{`=0Nd zG48#8?hnS;o35^2Ro&G!=bCeEu)M4oG9o@A6ciM)gg8hM3JSU$_yfVi0RI`9r4v zNj!G>k2n(BrMwV6nh@e%pXtI2+k>kQQ`n;QoYk;mzzXe2|I+%g7 z6*d71^ETdhuZ81L??2yypaw{9-n@Qk^?@&?eTIYc(T9=tMJT0pApZN|5oodQV|NPo z+Qv8W1Dbw?7G?C-*4A1H7!0nes;aBwvbmIJQ)_$e9Zgb@xEwy2UZ=j&X-|=chDJ(i zKp|6<&30KkHzOqtff1TAofyU=s_VxOSOS9N_bjF);!bvUqjC$iIDapI4-4B1nTKmR zOAiPTk(Pc3)BP41|3_dTsVNAeP0v70?JK{o*m1dk2VeWiKF{V|kUw;iF{fRB8K_If zSxMIPIiDIDtwXF=Di2@L!f>o-pq@h^PHTEbQ$h^;?Ci|-WSNbPO{c}%t0NFu;BFIh zaizi4b}C2o~@x1@08e^It6=wzCiFWV-Jj7 zTgLVEwNX#Fv#aY2gyRaGu3dYj9f<=2Y&=(P((nB%C54cPh|gw`ldf7!OXTBEKKpgh zNGcz4QF41K9O?&S6O$^7DMT&xd5aR&en0E4U%y61M)G-FGO{j=3SQQC1fja_jsL^r zt@*X28qrVDh(0zdYP{ar@~5LUc0sJe>crvUVQ_Hp@lpeBtZflivBAeuIspNnz9p?WPgB_UxpPl<|$hlkI|-N1RK zM9=4Z6QR2u$#GxcO*<|jnV%f8UCQ?Mw#{NKdf*qiN^wzN+I$@vU0?YQV4~LEmL2b; z`Ple=3#~$75T#Yen?F$a`bT3;Wl;akUGOr3&09lhCYBg}x;S$ZViD3v=w{zoyH%xG z(*&b0Vr^BxIFgY>?N^$;7HVuG*lTNR^`-D@6*R{N1U+*4-{FDhaA<=f^FeRw5a8hj zL8iWeeh~!)mO&^)?NIaQrRPB`oYV`N3--(5t(rlQx=U#J1a?N54>yjD^-#sQ~Aw1 zJKd6U%pFl)US4HlJlG-td!P^>|oUUqn1z-&^LbCx&DjzzG*Z@YlH33*t_!X{o z*1(b6FTN%U$mWmmnEEi?(t@pVNG{(hrG%;i{#->>SyIJ!153>SgIZ5`aybZ{B-CO? z0Y{$bh%{D(D2D}_Qr{TX>CZ=AFnhUo`w-Bzpb`uWM5IX0c>vXy&HBB-2yk{8=Ihz1 ztBAiust%|J*tijW2lB%w5}_~|nPIrc(NaMK8UkzEuj}y>bexC`!ubUd7v6i|Gnpeb zM-ULa3=pt|!iE}{Fl@5ca&;!zlu!i5 z*WOy8iJs5&s`juKa3_I~eu)6lcn}*tB>G08k1AC5@{Ea2%hhrLF_=pN_etsdBQJ1SQBlEG;7rZo z*C|g|hEdF8W&ik5Kwzb3VWF+<%Rzxzma2t3m^Sq777BYHf-*C7opiO?%QIVrnU=BH z!{srbbN4$n+<3`qiIXYdqRZgv2G?34%5+;8g|V^ZY`K@?duLRL`_1u@)x6WCmhIj` zFyc%P<97*ZV}lSPEbJ)ZfvL=a*l>($me(2l&Uw9;qFsJKOV{o405Z!Gu^Le>RQl zgbXxmH!OYSohvcvNHkdmsjVAF0ipEkeKQ2nghS;A;*Em5P!~!~Dcz{NKu?@-GccV0KHHlv~b}q;Y%mrpx}e(P`l3 z=8TyqeP_IhmH6!ViKTbz{O6$bqLF`BU*BFPL(3y0Q(4DylWqT2jm_e%b=&u2hNjKU zU3H7EvB|;Jxy4a&xlcA|f0xj>wn<1h%xZc5h7+ZJFRa7GxoWXytjh%@JLfc}2pYxq z4)I(~iJJLtKqxL*^WAn&j+|p~HWgK}rlt_)PER*Crp!XEz1Bwe5sz!}-my2;XN$cA zCLLm4P6JC%_x2x&jyp+-*u<;3Tf1i)J1@@-x*dW3aLDBq6*Sb;vvrm;%WRg6A3P)Q zn7-ZGp}O9rdtBikt(?%u&rn7QxJOap@FXYTk?;|H6}Pu|JL|v>Mo@->@gWj;HlN5o z0>y*9sgfinea+8O`A+(b^AHf&qNC9tKI&f#4TpzD)btLpP_b; zPYqydQGnSJWrEItCCBKS3l1jU9w9#4RX~EgBb7FvL9Ze`@9Py`tlU$A42{x~+G0i@ z@bj}rM&?XRl%?;=R;tq5CZzC&n|DN0`6ML#p~jK{YhvhxhVi+ct*3iGedzAl+1{Q; zdRJLl+3DBG0*CTbLi!Li$xgNr`t(pSJ`q8uJ}ULuTBo*0@ue?%2MLEn`-%!*&YT*NFp zVS`+F8Ev^r>>T6Zdh|JrFzaz+aW^+PsvI51?Ms}{46opmKnxM|u#Xn9m1-HY!ZGp* z%Mzq>RnC@+9YMI>Pg9NQtwnNaBW6PmuCA_E*Ui)zCjG``pluYCG7ekWI7wIZBg%I2 zJMys^&{t4S@I3Z&XdCFc6QS48u0XZx+NBbyEnRYACE{iHH&1+QtV)fI4(R-CfNz)q zOsv%Eek=_`SGRY%{3L}({4T$O9wfcJ#So%RDs38p5tht(c9Eyl#K+s%X(*kR5ldD& zB*gkFmvYP!r1L9?x=DVCBwOv~M333?Iu{PLIW!`^NcZU`k!99skHvg6DT(c+{cyGu zWMOlRjpw$|*%`762YCXujjEC+_{9!sfLMY_E6NYOAMHC%*97RbgMTOX|C3cS{|_iM zsaHc=dl3kE#q*>|qr&u)Yxt-TZT$A;Ca>Em)Th~(_JVhxJS@4?I$_`a@NM$%P*9pE zX4aq{`wW3gz{fOTZ^Cb&4~W!{=5{7b=BVLuFkVdMYo^nZ6c(aS<>OJO?68_q`5X`; zBD@_8^D!Wx?1Ly9mgDioj<~k;Bwn;(8D2r)n}-`YNeP6Z;Xrd7YOH8fVw-xmv!{}l z=6dt7^-hrax)LNcJiO-dNdyIjfQ)ny5fP2ISwsGmoa-*yWZ*agA6vPh`lDcneO8WK znjuWc6KUbQ)<23<64rcw_u-E?p&Zup$_*~o1Ox;rHT}K4f>MJ+LubbxC?h&SC-5uv zb#-~N@9sMbsKmJiq5 zAgSRr)I{#8gI2!?B}Et8IY_PR$xi#|xfoKYaPUK?A;?`F6Eql1mxKmML*%ftAuV2P zesXB>{s#m6&fd@<;S&>68#qNy;88v*)>*#|MlR1OBJb;sLgupj&C-!pjZ1`J@2y;6 zh~v`TC=m-w%ASH2Y^4+i%=zhBhuKK#7o4*NYxOLhj#uoBEPRNZX}ef!|8Q*`OcIAH zEF@$nj!o3w(_?nJ+BR<;HSconFP)A7pOB!hke4PjR$^DNWo>IqBQ-G0#Ke|vj)I~S zh+>UHnBx2US1>%RZ}0oGBo7Mq>k5%j!}axJB2Gq3Xd{E%+v>VI9jO62Lwgp|+#L{U zp|ar|Q!M-f1^oT>a@|E6fvuZ{mL3yRZyfMow)Eai zlV_;ukd1cB^TS}`HW*A9hVRAd>EfSGLSSk6IM47$DF>Oy<(-^N7j#+?nXiDo zu$om?T(%S00~|J&_RiMC7~iQgydJLcPVWrQdJGJRm+J$ZMXi|R&d)70TD%)dOP>u4 z@HkzntBGZkST`T;kPN^~nQF-o6rA8PFhREvMk)m@b3?R_&dBNT~Q zY7wC2m`Tiymv)(HhgjywB191T2zcE;m<>C1raV1AEg|ExCNaIC2$hz8i%OV~8p-7P z;6h`0;GQXZwLjLu=<}F^fwpKqHU?u{rp$+9jQF^euR_BMp+)pjiBEUnWWi*lguxs4 zZf?HKvA{yHJ5rY z{WsjZTf&UAfPgUU$w80vc)jkXv$x)&N4uLbiNBw&9!^g9+!*C47tCy5G!1rLZ(IFp zEoVxN{D1G>gKE|{%6tq|)S160oEh~rvw!34F7$8Wd;V;xtYJ>V@frHl6mM0P;wuLd z(|}b--~UX5n#1B}A=Nt6m35J9OaC*xIOqywd-ACxaO(WL{nsZ%SShO&S{;wWUUW0p z8`rm}*O#aACZ$zX*6PF#HzNTn7fk|Y!}!E$MsjH`9(N``LPjIaz~EVkhR~0SMFJ5> z+tdA=hE~Cc7qKLrGMlfX@sfhdrj}jW(B-+Y_qAvMi2f`NburDc?3O8Fce>Qz8dPJh zP-3$b<-gLtNXT;hi`}|ZRO6YqM&x2U%=;1DvsV2;>=KT^aX=u|b4&7-<%J!G`L8(WEkCNMB>@k5-SJ)v> zw=;SXhqFwrBPB1ZZPhNfe$La|It|Q@jt@YRK!932FE#&hYA4X7?EW@Ms~`4R7|Jq+ zXuhgLz{FzyVn@&WIdZwbzq zyAc67?&n6p6mhFqo1CRlyln46#z7;h~MbOvq7`8}t}t+JFE2jlPUl_sA%LGUjKr27v$QlEm5z$tE?|xn-XO9G^s29fQm@KPU=)Du^Yj?iv z2)oppn^hv#+~5I2fS$s`!w2J_msr%a0X(Fa2QF@k%ZU0iqe( z@!Qe_I6?oFj2BwYGQO@0Aj4(2Ww)dGI&O6sVBDp+#Y?6!Ep^39^|h>&@*1zG7C`s( zDLgyt$NcF&F97%YEJd!kR}q7CNKo5Qn~Kq9(ZF2&r)Na+&&M+n^Y5kb-~#u#ccftRM=JgBaRwPr&}i??o=dU|tb z8%TA)Cy0-T6aLi+7W@eJf2!r~8 zul{Mt^&#sIXm&0uC)@k-tfxmV70Y`0(aXif!sWU$OUmf&J9Fg{T?P1T(n!lN{4z>P zE<_Phh48SUd_C{?PN(_=kblt8Q$gOKJCL7*1nTjMnFei0F~$i1aDN+qa+Yd`EExc4YpA?=_ zQVzJdR6%gT9yD0djt=F){J?g(`~$(--#<3p!ND=&aEWJau0j?BfV3Q&rF*yA)51aN zi0?4)Il;Y@92@{KpJimi1P3+(DP(|GY(~ zl*jRNA>w(St3HaPQ9Cqdc4esu1AW{X(dymWK@2$O9Ya={NOW*VRKSENL#!Zw8XF7L ziYE)SW`?`B-97Gsz3>B{mq$=8x&oH+;LObOaItVtxTC*6u1;N)g{kR#e9eU(F*fNa zCBI*I zY{@X}_wV1EbsDZmGlV0eqYA%$6Dro;D|cgBZ{+}cGfaMA2r$G@fEr_k__>*3@?nM= z<;XsHUTjllWYmnLobkGi%48&%899y*3{=YgM$r4Vw!OccaN5|}w(nl}e@Whi9w-yT-{PG;{S=BGVBH3!HQsn5$26BA$Xy0nZVc1Rwg z2%17iPlV4xwKbk?Bm7=Akd}ikr|z78*$mhV4-Z#Q;dkDje0sP6lAa|gAhKv}`kq1j z_vulyfgM9WshgN*`QiY{f!Iv_lvLTp0p547V`;Nee#KbW0JmyjNpk_v^jG}=v zF`5L}+ZU9b{q}{<&6rG#fIinSW9;f%V|4?2~i)Nc+?_n59H9!~q@1ATQq zm$^aO&!dx*XDe3}bZqnHp3Vmzstm>+JfdC~JJ`;d%>rCe&Y^ce}gptz~70 z*Mx&Cu(4KQf2H&)e{S;Jkxg6Fw!L%@XeZ@w_B>f0oqQ5_)W2W-qN~3e5=ZCC@0~JH zx(1giRzUjpcjbyYVi(fh<=(_>u`jKunVBU~62Gx{-8>AN)nx8iB8!>#?OISInb`U+ zj&43bKmQvzl+I+F49LETC2jMD3my(Mt#ulotIf#qQrW?bPioAMt;RhN6NpoXNaiwS z*9^i6NeYk(8toB>jRjSKT|z(#!^80Zq=7-_J0n!sSR@fw8$DDJgnIxa>GSraU}pB2 zDdx1YF!Hdmupq#>HgLNQujP#1-JL+w1{*KUSKX);X%Y}eFq`#sy8txd%hNqSn`J#G z*V&Ie(%)~taO13#kR(`s0N8|qkw|L3+Xt^+(!v(+C+=s%&%kR~0v8uIwmws8Zf-7* zUv<%DxDWORMyb@z+rME)i(Mam=5CQW;lolUa5r{-T^N+dzjnAB|oE{ zw+3IeGH&spNzm(`m(tTu)QT%BD=?_MOE{8a<2o9#J4q{xF+wKT1*I>Zpl=LVTcvyJB!6hOUrdkb7b6%I! z-@ioA>i|satKV+6*F%%6Y%uZ1yzsj_%)&yP0pmD_ySwe79ay*mzS_^St<;YB0KoLM z7{~%%)C4q}gbTFl+@QkHI>$bVpm~Z5fO3C_1(xtF(>WhY1wRG?%DZ8Edj#*jERN-G z6~f8v2|bnjqXt)gZ-g(-uQMw8w`j5y#quuIASScoAGu9zj+dGmimKQGHD>5__F@0Y z`jh?k_MV%EE5qe-e<+#b8u8@{a z#$vM8+HhPoqc$9!$!Yh(*LU&oa75ROEf)ngk>L#~3BWt!bXjpnG&R;L4}Iv#^NU}; zwGk)yRwJyMJX)yFrbxwi6Z4n?Z_l}hlL$g4Aq|9P57)z4Y#f}>=lg-_m6eMTfg?y} znb!CB4&E=%$xV&>tTwzyv1({|qyo$jQ~3ctpWk3cN4X3qv7M}S2tw}U(rhfIt=4Pp zul&F7%Oyhk{Rs%S?)1BV2Hf4z5DQd)UAn*6n|Nbsv=qe<2A>NH%Yl!5xf1kGuVJ3S zzK;~1VCy1GV6GD2f8)Q`P_I!B|Ph#n>@V%rnQ)7p>nujhbq#P|fdK-}O@`-O6mP+PT< z;ojkEJI4;~2IEvn*SVJnyl=+-=R`g0BCP)=rV$a9bxgL_oG8;pU=prBn>AAmbe@MN zBY6{wb1J))iiDcUr48>-BU=W*qe_|5C#|0x9I)H1${ox+Y;Qg3lq~mTWZdd)q#NN5 zWj2Z#$}lh-8eU}4!2nDYyLP?`SRYjft8j^e*rfWFMl9y7PyyQEz32r343&%H?S}h@ zb3yY}QXY@D6Z~GKE0Cp+_d;(t{ik0AAfivW>RSk_op3nlG_&u5)8lh?l5Lw*+8$Ge zP7xCDo55Be0fr?lmcET{pi4D&s?{5&^uINF>o{fz9D_pm^}@|>LdEx6Wh>E8>lvKTx3 zYacf;1^wd+Mq}qLF|xrSD^oj@jD)3X=ECDh{LHzNBwv*Z#h{4F}Mn3EHciq(yIX zx@`;)jeHtF#rmIP`Wm!v-cbSEOXjQd%_d?$PdI3fp8vr&!?GG@M_xhZPfS3hz zY*JS5k-9JhOxAl~vIn3#`d&Gg8qBwphJO#_^FsqV+m%-@-Rm7GfW76cQMGq409rBn zF~gsd*S}*-83g9A4RckZvaKN)c@o)gXC!R}fQl1Y-Cw={prbzThg4A%tP?932aQfu z!ph1Co9b6=?A6d)&AKb9(L(SSM%;@!oHOmYQzCF6y+xHE`{pR+pHqZW9Sa=0& zh>WI#jqVp1Y5XG3kd<>jO!){XvCw_{jT~KRDAL&EWY5dlG9|Hy`>7%xPTs|Z1%irH zLpf3{RhR3j-d?e@v+V3_>-kDR{r%Nv%w%tG&&1>k$vgtn2A?JrNyo*pXy1QdO&ug#SwNbMX`ov@(pPS>9y9;Y;>(JQ5>&H8e3RAwN z%1;y&TQPZG?G~!FYOEV>R@=rUq8pD_BF<06o$Sk~si{dM50;yhf>82%(kQ5GwW|6l zDNHcO3JlNc9d|I&_>}tA0m_LZ_j})COVXjqBNLZ)cdRH`oLrG_fI~W+5C&KP(eDve zgV#4U9331Q8yhXA3&H77>=}YnD&gQq6_t-@*w|NXKM*w3NS(NRS8<;V$)3|5wvDX{OHMNK=_bQ$_)?LYl#DE%K?7s4JS()qQRQQwi|Q|5NkKcM^T;Tr=qPtd znSVijRu%w!(|Fx67J}tcdEfK6SOMXM*nG^>ambTd@09%L>s@ER(fu=;s^Jq>Jb0Qx z>#d%E*X8bebZ!ltXAd`ZEsalJbU2|qvdN||J;YVyQPy#BPYw<#h-Uq4U_)%g&WN(t z%qt9-9iwh`4jBc>(b-w0`rsCfDU~CQPDP%A8R~-`suP@q-WR+)&})7%qenBGx^%d$ zT4K=AOQR-AjrD832eB(QIGFF@29=0+c7DEIan&x1n^ay|v{F3)N(0o=qihOzOT4|k zi+~)wy?tJKih%|oEbu?wUsY6AYBzaY^~cgIR9Oc30$HIML$W$*J~VMj*>EmTmpY*_ z-(8Y1c<|=%@zTm?tVEC=8W$LJWidHh<>hHADr(;1?S6O1<@3zNL$yPkM?8$P7QaUJZxkL>lQPTnmLiwF-VPP^P46C?H+B$)QtedkdC`G%aAE*M)0 z5q<}9$3;#xD%k9AD(*0+b>}j9 zNJ~IkFZYA(yg^4`Ku{1MZMs|^&N=Q3cZq2~KR+{c{^Uny3JVW^zCS354PChlfNG{kM;z{zI$B`xfh40r2!ccA*sL(K`*pIzyk9@Qi$_L`K>>xF88 zljSE)ffjbvOArKJtY?jj%b^VKz+DS`jG;rLZ7f|?3SU}9#P#hqlS+v+Rlaw z;P%O5!)oQo{#HCuw&J>ikM4SWe7w8ZG17X^vKvmsGrzDvML}UbSDuxEc#6Ggdvm-5 zkI@rGaC5pQoajUpk()mEaa_0m7s{^s61`exUv_Y0)5s^7QPs%!%qqE;UX^nTLv&pt7 zc#Kd)WUVtb<^|}xY)B~lR$uq1a54#hq*Z`j`nG6F;beZW^@BFAFSWN07g>29v!0(S zD#|t4ZFM__ii{qvQ8(7VH8$zEQ`J+C=6`#oLzn%-!_ywQ@Qm%o=;&<^CoK_IAoE1U znZ?CL(TERELhUZI(uBNt-`%eEr&?QERf{yww6_CB^R?eTJ`XQV;~)lXiOAJ0s*)#h znht*d@dK&BWof9_O^+6ZDx@Q6!yiuI=X?K|%$nq6TmQFfwoMdql3zzsQKO^A=>gxs z^$|{6Tk{LOU;zoqkHeK5x%Ct-0YYvk7UuJyN##Ob!}jJpmm>xc>B6G+{;d6RFuK{u z?*RsCHw@gF5+9%B_Sw<4;bK7f$#=L7L}>iw%cudGxqLd|A^b#vx{FhQZTq|&pjPJe zY;Ft-80?Z!32Rs9t5yMP1Dhp^`xdqwYQ%d$Ebw@`VrzM}D0gSs#KG^(L&ztLh$u%MMq_oP* zr2WU}^Ak&X#lh`up++Q$aWDA%{K106w;w^JcuVZgp^`sIsf z${D4_&k0_8`&3=s9bgv+9zGVOiOxXegPGzmI4SFYj8PPk>=!rJ%J@hjG7%quZsQ)+7^?gj4U)QDNz)T zl2fGV7-&b_nt#=gBtcreJ+@DYX+_#F{rsAh9fFPfQ$?XZjD=s8>fr!0g6Ga~J{;S%=+$wHk{Ko=PSemB@c%2q@DKdK!84fNxR@ymrk%#@|))2uhpv{L%j@DV{47;f%#GC>@7jG{!iyRZMY033JF<-KE& zIGz43Ccv`y{y!GIM6KJ`7C*zG1|VZ~F$A4JOs20fZS=^!ib_teF%4%elDx+BpE%fr zhhC2Xw!cQqB9nA&LV)P}U-}SW_ybfRd~ZXVR|+HHOEpH3Xom>2no0tsqJpZ2x-)>0 z?1n)RkB$*o6bHXL^#DI)nZ+%*2vB|mZGnqk1t!tFGD!zOPWu}#f2x3g3mB8 zlw(yd%BpjMhm9;Y8KUbA>t$afiz~9ZNb{KLJn{6#jwl`DUf+>1oA%0~v6N zOsOSRQd4o&%jxhC>}59(fTW zMd0%BUWp_VIa&ai5iyzQJMGfdxgQ9QrXztV*iWiWo{7@zTmGoegp4Hilewr5R}Jg^Ms!Y4@V~U_;iOf3w|93FY%G&w;!Gtj zdj|{43JR1dLqo%wybq=)HaCqHY9a>u_a!HT%@_NkM--I+upjG^oPp%pD;7^v= z+GMwQXZ;hd4U2ip0R7~=0%*`DfQ5O(r9bAAuCDG2o4)`8r7t7hIsi&$N;u#V_ebli ztTS4xfLCJQ9|>XxEmO+a>D`GO%bxHCm%{`mXN!p-R6Rv%X0R+K8$~_H_+-P#)+jTd zZEY-*fl9V=uI3~~Xv~j#peyT)Doy&^iHUUVQqzh#>IOK$fm$6y&T1+LenuHXDhW1zYCUbbnrWI$&-=ceo$E3uu?>(Gk7V8{5 zpAY!!c}-1sZ_kGjtTaE^#P^Cvs(<^vn=O7>ER7?2$w`$%JhlU(K9CHxvDGWB{eHzt>95EOv`mMkcF})(o-(VuoNv=JxbPV&+KOyV%*;J19=YMn^jy zpR~wrZIXC=OY997mp1+#Hw`>Sm~beZ^|e2)PFhY{{q7?pGrJ56#k_yOm@s>i(ioFj ze7VFKBZ4I0v+-I?>Idbwo`)49=rh4R$sDXx3*xYq5LhZwgWUaaak?-tF>j6*f;#sQOo#)>lhU<#xx+Tq$`Dm z{tMNw&*mmX$6nK#$YG-e+{^4aCb#Kc4zzgI|r$d+D0_?P3=)zLo^(WXO50KE;Z$o>TGf@r2;Z}Qj%#;H#=JB0lGV`je+YYZBas+ zcw&0$Tk_8q6XRL@Y9+-KnpBaqRx9C-kqMZMr5{uL5X^<36!Gxz;Frut)1hUn&Aq;p zl4wqr9s}sfYN?)$j?TIbCWSKE>@6Q_>d9&nHwl0t{M~R?S%xLDbRHm>)p_KO+8viCoGFS}(C*CZbhwwMY z26Dci_r6FWg;p171z{bhVNHRGSl{+EwmjY+JRL0<`B)f8C4PrdQPXhe{0)FeK-q_m^V_Wxf>< zBmkADWB&!M`zLDjS=Ax01|EHwKv4i&=2lt?)B1mzk;Fp(pKB!kzwAV}zTuH~ zsQ~Z=CWVM-6nK_jt4JQu7DoPhlw2VH^pd{zn+4Qfq~~M4=FTlcRho=S|8*Vt`kF^l zjcJ;W{0G9Of-Jiu(f}V->n{ARImXZ!Wb6vd2JN+q#0iV;eBQ8X?+Z{90vLQm0d#4Y z!ioEeK?8x5dX+sJM+^WvLx3cIAs*H6t3#>k<15ULa8ygyZ9_JJQStW;cY$ze7UCb9 zz2aB^d_s?r67NhWtJRXe_9-MN2ImCZODYGUS*IF)1@p_VQP2tEaA{5^SJeHt(HLn7 zohmH<&TG*K{_FKbhqtp|>t4`b>s~TC-CuF4=qsA_t)RdF*QTc<;`LK9LuZlz@np>( zgF?I3YkML@va_H0`AH+i)4bycwmg9yvCc3+n)aA$Jxyxl?QTVxHZD+n=j#dyz?hJI zE-Wm>rcq7NY0~_NfqZ{Car(s{_}3&2K79-gR(3$LSw4m`L$V^rJuyhkHiiEw>|h2k zp*Fb`*@xoL;d9Wl<>U)C8^BBjy-ot)dYKAx9*axmccphYUKIKCDWOv~iNDF^H@CG` z4SiC^_nQRx7q4yU%`gJzgUP+=yy$?et;|jklA~jyvd7D_m!95AtFLcVmwx7 z6GH>-x12asC6Z933ycbc?&eWBmNc$`RMW3iQ@`+LIb8M=B&$0kn zN38gl&BVC4$ICo?LPp$W*VWeQ2>$)JgxZC^PafySUv-zWho0 z+i6Ux@DhE-At3hI9?$ym;|ER4i!4STJ1Ho11TbqXR(@qdsjI6)-Prg|NZ82BD;en7 zFX;%Vt|zlh{Or~K+ROY5wu6gxe(&GEM2mZqSjb&|9-A{8iF>(J3JND8A|ec#*ASrI z9ST5tQLmCzm1i{Wgh#;+ZC~@GOeaGI*2Pp0+!zxR%d$7m>3kIk+$q4pk+KUlhORb~ zmLqd_KlW4I`}QW8lPEYH%?~B9$4ZjBE9N1fv+H6x+=VxJ7O55{FvPEb!5Vi*HP#C? zH`kYggTu`p8-YO$o=@D)F&SA^u~R_i_ThRw%P5|~Y`TcY=J7W3Vn?f|bCE(bI0{Uv zqis?BwZi1WREr?l?+qL`7gye3I|`>z@9ymEQxGcL?L&?Ec&9QsbI0KVtm^5j{qGuK zR~QF<&)C=)1OjbtZUVPxvQVR9mRI>(fK0Ng`nh{*s(xB>t9n9C4pp@f z|IwVIlN0Oro;i@^@#5L#`TkhN4ywSDabl`B@|jVCi}T}?&)r&(Xb`GgjAZo0gn&k4 zt?fh z;K;b`RCbLTBUxEk~(*{^02k0`%pjcvtraCPk*Ig&BX#@)Td!@(;Q! zEP1~_K(!{2hJCtTum!ek;%}#Iuc>I^H7*su{A5I|>Je%3 zdWWO=^Qi*5%uFpqfuvoGF-oxU$#Ro0b%YZJu~*ABHsk5(bT=n(Xhke+N3p5TL~*#UiYCC%+@1-ka9V!z@tj@m zB{ViJZf@=&b|FFpAvpoj#|nFU$-}8c{8kAnk<2Oq00hgWgpH}7c*nFwO*3s#wWIh~ zcUDwXq@|<#_&zv+(fx-c1i4nsPaYs3sToYS(?BiY(dUr0(Z|e+3PcPft(sd77f&aD7V3-@5S`pW%W*>hIf6qi zUZ~uwh~RGzWTsbVKJs~KINvXTI#*b#hxYbXOf39Tpeltz*ozna{xcL5#`o9X1?U^# z37wTE--l5R*!jV@_Z+u7J&{v@OK&y*2b`H{^bbM%T!QZyTI*qjR6PAJBv7bWIAL2Z ztqS*KoD|^xcOjbfumKXj5dzP_iJ#WLEEa^cBP)_n1n!lJ$)ye^@^ZPaG$$i=jkRMg zIbwyZeuw#CtA{OW=O0WWb;Z~rBggPdT=_^+N&+EL(w=#trPSaCOk$=0xMOD>zmmqk zB*wrVDOr$~*EZCB+BuX&*`}mCX?(hN-P^kuNvpB9!+VeC_Rt&Y?0WntgC&Y3q^w2B z^L^;}@)9EE9y4;TM=4JPPu+t85qZbGmDQ#C7oFCUW(&^uL=Y3de-G}UDblQJAHy_J zxGkvvtQekpp}%Fgl*IOBp?U~2)OHnaETDn93ehL^=SFZ(gHzs0?$`;BOD6?oYU{_N z23Lkuft4CtJvVrl>)i>nxeQ@-gGL+61zO&3VnXf1x3^-ds(wsN3+Lx94Gj@T3%GEu zqmSkI0cf7rgNbuoT05u z`fQv@sNpj4!?0g1Jq52?yRyWNH&O<*Mzoc<_XF@_e5@HIHe{*0!PJ{hD ze%pL%5*w9t>SB@Oj!2bd$@5`F&F1;3=Z&h*l?p(wAHBQ`zReWtSf9Nt0oy@rjq8i| zQ|VAtLdv1O_0vtB5+DLCqaf@}XAK~^&tvIIVjay_6J0EO9?#AjI!2;;U@hTWN=#~wBdxNWnX^ab$c4i>;tMFu@DJsnW`!*yLo9o;lg|UW+aY9$!uEYwkv>Jz>k`OI`>2P{G;cW+YswQniVSx%lCh-W83^Y z-o9hpoSOB~8hHT#djbIL-G@6+)8H--f_%VoY1`ng+ZIP$Y_?wQp6Mc`nIf$w$DE?f zjmxo2%l+pWp8ko*t@lGK|K`Kvx)9GU&O2?jBTv>@FBLmmO%MiN6FaK&r9 zx~?0-qqaXQ#b}}RxBRtu{p)rDD)|2vHPH_&hWv>yxy1hDck#;8e*g7Ii8=h;XZjtI z!(*BY_y2M@GBV)4F^v+F5hPyxtxi||_*z+?3R3&nQl2NB&W*Mz;pBYET=QBn0S)Vh zK?j9n21Eq>+<=Vl49=8j4=TVr^iu$?5jIh>_!(d^la#=y*txxb0cUKGxAKg2@2S~f zV*++QH>!GWx5NdYM8g*fNc8`oT~Uo$WNyF#oG91$HPLSjXLki$0}mf4_aI0ToBaUv z`!gCy?lZ}@I1~WvMm`x(7v^_wzx;aus2IAB)p~_-^T1U!t(_i80A3a=4R9BlIcV+I zG&{gM#dyXD>F|>>=U%(}EGa1Vmq$%Pr$hj}%|Zy^rNM404f0M{P?j^|^kG2!{uIFU zteKDL^9=_A_f(z>7$;2-&rCmXr8dCX#i~A2`f7zzMgbUk|JrcX>tvJyjgY6=tngk# z5C&+XL#<=c>u6}9q2ZkD9R61T77gk0QoGG4|0t$*>*CUw0244i0_AIn+Gh$mS~R|{ z!YyI~Oh6+70-{B=rMD~tb#xT7tm-(O2`~X8BcLM<5g?0dPoiZq*~N<&FI~Fi?Cku? zE3a5uS}J{0egIs#{*y|j&z?Q=^77L9%RuvXWoBl=JQo)i&5P1{3HkZ?>FMd7o}OAS zS@QzX-x3oOJv=-_B9Z2$X}5&z>};`E?CR>O-D0&;T0ucUT3VXH`cx$&B^#^u;1w{5 zE-K7|?lFdM-MaPQ!GpDH*XHKt3VOD(GUw&x{q@&hu)MMiD5u`&=;&+Lu9cIa62D4G zNjY`uR3#cvPSx<{v17;J*>dt!)>knxF_$l2uB_V2uNSZ3lP6Eg&F@bHZ{-WWS}ti8QG*cHoAGNo9C%KC`6kYU<}4hq{U3(E`Zg?TT`Qz;qX zO@p-!4mDWY;4Ii?m}5alRtcCySEMWBRg9NjR#uiObB!7`nlx!*VPR3M0q6&Kdn54K zym_-Kv*FxeMsxP;Su-=UVrCnHg@`OL=R#a&fCK6I^XHfu0Ga^`H*mqHunoP@5d5gJ z0Vc)8#igdEW@Ka-AUAZjD_5=<;6MOCEZSfoV3|$@Q!6)GmPM#ZL`1}sCr^|R;p2u4 z8`iI1ztoOct5&V9UAsPd^vKYNE4yahx^>YItx(otA+QZFu}T{sA8(l40s;aO5)ur} zHn;%j;8QFaF@9V(MKOCzf~skUnal=n1CPxm~?7=4^1?4 z=FAEjQB>^8c?2dFy`Y1zd+XM%t5>hSbLS2wfQTlXoSg8|#+Id>ot;W3Q6_?6q~k(e zstxOM>eAv@SXX}f^eHsj+}ylqu{k+8cu&GeJ=;^%2JBP81~9R*vQnk1SRtiox+;Sn zZeS9oe#yznFaS<3RwK;D4ko^;tk4WT#nv+%TFj^DknlBZE9vfHP0-y(rB6|QG2bcs z8|H@A*4CB64e=Ma!KbLb*d$NM4Rh+svJL$WwZk@8q8g7%0m1qMdC-Vrw~5>{Bvv#;c@r?!o6tGBCPx11+>-o#2i7*Xrit;13ehSSS0zud21KfRfxst7*) z{rBIou3Il%q^;ax9 zDSe6zTefTgNxYr`Gc+_59kS?C`niWyh)%xx>Z`eP=N7FI2kf9YSFc{hyRd)%{`c?S zFZ!*1?$O(E0va8D%$PB_S5=DF3DRLX)Er%|sHCX!2)Yq)Ku1uys?3NQ&;a~Z-au>a z-Mfdt2azDwzp){6{rYv)aPsr>LoA699q}6U9FxpQaOfOiSrC!cC>fB6@qPR;_B*tXWJMuoj1OSdJMqCYq{Vr*`NnV9P}r=L@O{ zVJ%+N_^W&t@9NgATf4crA^OEghV^I<#yMoMXwZA}=1s&P2-8$SvY<+ZW`+C_>fP2E=;~F2+65Ff1UvPQPT6F1EmU2! zc7(LB8RHaG(G`_auK!-A@<=iBkd7!D4#m3=!B$brRgYBsMu03sE8UC;2&#>bs1a5v zRU7xP6MYoos8dTyEgbJaWrT>K0#k7*v!UaH75V{Y*3h6*pVet1;J~49CH`XJ7(c30 zzT2=gh82?L&6^`8LQH|M5mO$O**Y~zRXCJR=~JY@Hp~N*y9clk3XXUO<{=Mei+E?l zdP7DWp z)KGd}SYtUEid7Ahu;2jQfK{VMkJkJ>r`r$%E{AwyU!{BDg((AiB!UPu`-o1MfrDAah^JNU|BS(%v2Rn4= zfHg8~pzq$j8xME{t@k++ngbrd-k8bw&-+u!m-X$=*m^NwAhO&x+AmD|8QyCBkY^h-q zaPZ(kSc@C1gyIA=7Q6ADM)X})2^CBia6qSmCB85l#0Bp_3?y_}>=i(gu)KmEjB$mv zQY2y)2Krd4N6*%S5+N$ASFawbgTGt0Y>5>ybWOw&*zJN8!U5IL_ zWKTlKgQ1Q92XA!@X51h+hXP^&2=7c~;DdCm_vvk@!vL6s8Zp`d9TzCW@wkCZBka{Y zGB3%Yf+1wPvHh7LvEATFKvBV#&uO^0$3ixNL^mo8oK zdnX+ASNmRaYEcv@M$8?gV#2aQEO2!6j(pnxMhG3D9^5?hxF9J3$(^;O_43a4O#!=O5g+ z`@k5hpx9m2yY||1%{6C*tEtGMqmZD$z`&r(%Soxjz`#}lKPE_Uz;A*ZO!;77C}HHK zK5Bl0J<34*hS&Glx4Us7BY`F%7qEs?Yt4kms1irO^yBA7tVCoBzJd)?Z-iaW2Lz9# zH5|A=gzy%lr<0e}l^g$#Lu^W9@1(Y+7EIMSgA~tQu9{U}S$7%QgaIN4sQ@G_*bIj3 z!b=1s7;H*7sWl3?e6S|Q_kRbkSd={Z&f*Bb!Ce?kF;yZwHE_@=h9HMt{0<8iIC!BF zx0T!eHwN_?CM>)khe<0&eOH$Rf}OcJElzmjS%Eqe1_=?--u^xl#sw))sLa2?zEQvl zKZ5V??;mfD)7VYBuJ$LnxVQv{vSV^`auVp3n_c&DZdUs~Hz)lYIGY|$xO81CGe>FX z_}KUP;kva|cy#aT>WWOrT^uD#%s;xuRsk7N@&86H%?S^eKV4}P@;I@#w1iH7r^6Xo z?+!aYIwIk=4)86Z?@)D|XajD%Cp(4>+Acp?IZr=d$#r`6qV3&G+n@HMVOm} zSv}}yPgxnucD-~j6V(x8JS751(;n-$1M{!Hs?^zzaMl@Ie0;K5J&&?Il2}e0x!Kt! zo6x9}lM`fQWO;e{A|@+y^SOnEjh~H;{M>93=+$j>A#AG#=tp~($Z2pP0gu#hs8`$-w40NcHc*5TO{0?nwq{S(%rp1U1t{_7rNiC z{c$uDzE{}HFR9_xTh-#fRMYt~;nq_{apU%z5hG=KHI(05@u)JVu`J1iznuY-_ywMjMR&Z? zxFb885@X};e3O*des6cTZytSYW^k}XyIkMV(Xll@q))uZjDz`($8M&!zJ7;8*C?oq zl#Yc3ZAm;P3FaO>gj7zg(n!QFc$O0CLuXuNGz>I*A0@9c* zQca0wv6;2?T!CUzZZ0(g1B0}$-&TJdFE8(xci*ZFmIFI4aZK6*6zgCPy&{g(%o{eo ze{nZSV{ap+3~~ti;PkENTnd$eV%iFM%=WudXhY1gTcq7=#q+~QQ}RGO=j9DJZp@79 zpgQ!%gQ;Q~aqDz>3D&?W>#DNL= z-sz3Aw#o+y4;OIW>OWa-0ahPXoE&AeYz%oQy_wa{aEfZCaNL0TsSWqC%D-H;mI3qH zZaR|6Gh1QUV%8gxp8hUQZtLi%^~<^hKiJdL6KilNiS6<6@iG$)B^H=ca^$V;-NJ%` zd0m6F)YJ>2vd-WQWArA3_wU4!sCnN(qNBl}xl$drlfn(oV$BHOd#%^cGNiy1Zp*=_ zvXW0{`M(Gp{DIdI>u`cbmv0;!M&IC(@<4jDkBV;vidcCxtC2^(qY|)KPySNw2BYH_ zHWJ7f7#P^u9eQ0Kq@<)UsZ3z}8%=^zfX?D(I3+WUPu1dRt{OB{Q)Bf(&kST^V{Wa> z3JhxF=l8PQ;-R6T@s)rx_s9g_+ZP$L#1Nfoy@+xwl?Rn)?^B)(F)=X{OSkC31O^7i z_{RhNPbN8J)M`cuXSL*L8147BtE*hvp&YIre(nCRI=3gDQ{_VTS9=SvuthzINe+YO z60F&z^z`)nNW|+ys$0hBT%4Ta{NGMjMD}h65*SGN93i6#cXxN>B3^5aF)=ZPg$$|K zacC|sF11w6O-)RN2{+*|*o?ApIedRGtk@djBWeEHhrNIW!e{k-+gvhkqj}= zaR2)C{-ovfM}mmo)3@!cTGjvZ0baHQ1CB*glZdihKPQhvYT9F)lI1Yb0#-qLyY(93 zuX!K6UVr5jwjsuM|8j;5jMnHOpW{=lS?D!|zYkNwGcC?`zc~TqBg$cRI|~lJ`-#0B zD38N?kd9it+xd@591bijwz%(Q?@-c55EO5v-S;!S_keDd5-%@bLu_>~#J78{O(F4N zwsK4-R8ySkwUQ|x{JQeUkur0yNfKOvX4k;K-T~Y<^pr@40w6vJwMU= zJUWEAA2SORsduAf_5Kj2KEr_9JK(Oat(BH__%wkBRlmLxHvi3?g63NmUSFSJHF~sK z!_fS76+7Z4i=JodMK~W1EAW;wV0{Kyd6)uj2lbgoTwFD3E-sb7l#RD`{Jd`+soKkq zCktI3Z<;AX#pP`8$hW^c(!uGgz-+Gj>D4iN++Wz3opZ$P>56xbm1?g`BKut5tgTCm z_&$5N9q8)m+j=r9+KLvN%F9ortxLfmoE4CX ziW}WrY|lU5UbeP{y+Qm);r0{l-wB6I>w?NK#u=2)P$)Etg!@i}pP!!UPw&LUARK&! zn+FZg)N*U#k3$kz2)z#;f&1o;GJTwsl$2cl-dQ~@p2Qp`{QW`;ps|L^d`z{hP=G<53f%O65$n8aQdp0 z416B1qZ#GhUF@(kw$K}Pf`Gu8PoHKbfd9<4_Jvy&gUtt@j>Sq)!s&~{wCB`Toe6-F zy>f&=*F=W{x^I3d*Hu&X#SV$7OMYPNGpEM><_~B2>z8jBTGQsP$8`T50jQEl$ku%7 zw`>f6L0oFsI{fh#$l>ZpZM`w#pQW;;5GXyPNV#>ZZ6;UWVhjs@>6Bxsn5tNwV$wJ| zI#O`$!1yd>TLhn?BtOLg_gXeXN*Km;k@4=`51n^Gl)Sc6Nbl<`lvCmpGmba5@_n@X zDDe|Mt9P4ak5f@+7a*MZes$L-n0ak=SqliSamm7_(Qk14@E3ri9P1&N${}-Q}$7fsu_3Qmv;`(dhk+C^_}!ZYNE&&C9f`?ic#s zk~=x{I_8#sUFtJ!xVx^c^8^M8LV^c&_k?PFCZ^S2`6korSva^HTPAa%c|H;_*Q`*AKEBCj>^+B{xzXo9hW_xMQ{!pK{dw$n`V6 zfE3}Z&G4gXPF&ol;GZ9siMqvYHSSUR-*C>qg%ohze3$|AaVpp@H%r%8HV5V(71OR( z9UbkdP^+CFI4(EUxZhuF88pylW`3=x5Zc(x$p3o{@#G-rO^#`QnI6rM^?7z{*%`43 zSQp}ooI1<+z6VE5sRnn3qBD{e21^p}&)owA)U< zHo4s-upx<1-V~WD#-|%6D0k?4z#7sTm$`;mM-7`%ZIYY{`_Iq1){eGBGy>)bv+^jpw}wwcNJXNbu30^W@2#l?13qfbXWBdMJ8CFA4g zqoc;{-vTjD4!GQ-tHUAN^tASwg41KGV%cwIA`8o15sC;4TwC{SsnwzpGDZ9y39%=P z=r6m4Uz(Z_*^KxH%fqc$Vynp^zJqgb$1)Au-O)F(h9*=#M5RutDRM;*&j`RZH8uSM zFdqoQ*x%d>flSvITki=#n}m>K{BVi$dopcbv!n1FQ@RJ*CZ&R4+d+#i89r>-5uAWZ zkL#V0L$N1z4l#fF_FBoKlM}Jw6kIYgGM_y)Ez-29o*p)GF-z*WF@~&K$CY;)&9*b0 z5m=3E`#M~LzIFb^4HbfPKl}K@Y{ROCUn#9Y)(A0dB!&s)Out?Ug z0ymI7(oP8z<2TRyiwxNqFV}+*{xTvL=PiBg)%P-n?I}}gNiJD`S*_vr-p;pJja@dm zSeaYOL`spWt2e(zbXcyU+W1>g+ttMl#Zgi|w)Vt*xrlu=!b1y>h=^zgwk0@)L;TB|J974kf2E3@_obqI>Fv+imMwF!_bHc)`wg>M{?h4UKPsF|jAWA%! z==7zYFC+=)=nr=|0Tn(_HMcr0H=ByX2-d4>Xf)W*|LyR91uAOo5=|SRApb%hst|lc z4Y#cdquvNQT{+M47d?q&8$LclYkzq#pvWpfC&ftNEQm-VYp&AJH_AGOyu?g&(|5Qp^5OXz#wWkd@xLE{HS5G z>)H@o;qF$aU9#8XO=p2(2Ql9$bb;iRS&8#r0qK@=t@Js{e^rex0}&B%Ty%IOa#ME{ z-{HINMPkdFQ*rC-r zOShf>P3LR%B1$ZOtBnSyd%AzKJv6YV{Ik;bHyPI>1B2?_df4W4>Fx1+jamNrvj*($ z{z{uSmQ+7dZD=L(yL%l;7F~E_HUR-*AvH%rLPAW;n6am<($b5nM9@_!)Nh;%Evn$v8QA$S$UJ zB*B;zmunwyR@#CiA}~M%Z@3$0OLZ7vf-!6~*kE6#u~HrEB6$p7Yf^?9Uf<;&Sp7%?I(D4Xfrq$qOH1MRd zyRgKEW`Rey)eOWjA>jgb%n<9K6!28Hw>M5XLIFiWq83Mz&uu#Vrm89e-!bq^!I(z` zA>jc}HW4Ys>)M5d3v`B4JG}br>1j77Cq_CKE(OgEMCkoUA4N(!Ui;E}xp~i6Of@FX z#80i}3`fKlR#|fp7BXytX6I+d{2B()D%axq6C;yhAqMpwqxAQ?mJ|_=~EsQ$uw0eFr_6?=~=H%f4 zp=a{ucD1rWiY568CNNY)xT6d>#o%>XthbtFWr2<0piZI21{;7dX00H;!@8;E<#maP z8R&1w{{H#|;0BUjsdv`BzI-i)n1|p*#&vpJ|csPN(vJj&occwHkp{2 z*-d{+_BekASoLlX>RiX!tJ&yqG-Jumw0B=(^-Q>py7rNH5*>|%&swcq z0iT<&T~^rDZXOxy_IFL5P`EfUvPtG<2L^?x|3-*$hTyaJEvu_@m+%W#PYdL^e@?I| z!J3(Xp)mgkyLhwGzdd#OV`3LA+$#-?|Cf=4I#VL4j0Bh7@v59e=JJ>K{=J#uJkz1uK7{Vp{?ypQM-z@CzR{OXKS*}8DaOP4Fpk8B$oKRLn0rOQN$ zyzJlKGdr6NM^}r;$mGdJrSdzbQ~mmy>$hcwYzr zCc~*6R;>&M>mKb-_V?58@qRoex|~c-UL!S+m!QH!KhPkMV2wq`PY}1&UpVKndl2=W zsVYM1F3AClL`Ia5kcyQW8M2(JMPHs-lM@vQZ(8*tMhs6$z}=zgrKTPB z5^0|_jwG{LI`MEmWXr~23VDd$%^FK1BIdQYl^R!)*WshkI?1CW#$%hyAkwaxI2jij zcZ@_5rtR!RPtR6vtbZzy3_CaW2@Dm7C*^}~oLjS&1q{qA(0;PCc9@A<@1n;dr0_r9 zQNAtFa?q|AmQy^`Z}S=nfbrntD?>%FiUsSUvfl#eDVfPU-W|6ysb4@qpyrnnlc3L> zHglBYl=TW*$DL+53U<%0Wt-CRnFJE;y`zF2o1ZWwDAh_QKsLWUUQDV2^%10?;Wn}g zy3kugAr%yUbM?xkY^tgUTod-0Kd5=tyVW~$6~jBzkUA-Pgbf!xj`$n>J0^qQmTPFR z^_wpeAO4wp&dojWe>&e9@(e5rCYq$6ZORY=47N6m5Q^wXEqz*K%YoGG7ee^mLA za47=fA+j5oGl!C|J>o(w6$?Dg&aXE6#td8UfL&43n85Po@3;TRz5)vb6ckh^<2FHl zKEi~0vjar5;(<<<83XbXtV;S?-%Md2;Hh$XNu%68%)?M>=v!^htAGy zb<=fj=mI;zU~+k;QK@NnZkBM0+lEwNyPswxK|&fYU7uQ2lY%YdTp3k&Z7_^J+9fJV zW=PnhcBNmo@8ec~e^(Nl^5w+?$eHAQscN%FrBV69J}Myu4V{74LBANMS<4!i5#S{Q zEzwd6J|JX+_k@v+n*Q>#s%STy6d|H!E;YIMj%Aiof7<*Qtk3Nb0SgWm>pf6~Oq`LJ zS}_;rR9%LZ;R*-t&CS6_5`6HvL2ILH8O>}v*yQrx|C^glN#tl@dVX4RmLD86CQBq| zTZG;u#fy>%^R9cVmV2{|#o)eXi#0JbJf@Gqqkbm2J(BkW4M0R%5XhA6d0(O3`z@f0X~ur!#uy6gpo}!W~=&Q0A~A(`Ksvf(QBNK#A^j4 z#d)6W^`Qx;t+mDXz1O}79)s_ zScuVy4-G$@x&v&+CfAKaRgAHXaOTT4VPKl zPvo!B!2J9$+9B=auW}$c*75B2JC5LXPN5}XQoL{r5MNGCncM&HSud2O{$!z}3r9+shHbM!;ka1pGTKAMGs(P2ms+;H+^As0XUdh+qezyzs_cEgD%-kO- zKk)Fpr`})!8FSu5RNKcfb~rAZc88IYQ-C9P+J`52_ zN%=?uo17fBEHUGZGy}|xem3J5N3-8%%gqaJhcfM6JoBp^AD#Uo`c1P%F4=9p`_4WLn3#W4xB-2fQdFUQ|Fc3XQj@Dh3iwzk}=%r zo0|FzZGYax#M2%=GL|;tab!u%ghWULo{m>!ykW^<rl zdgxd}>XDJv85nUhV~OG5e!F6VmX!zr9l1bN(o*glY(NT?m(D}!uhMAySdqQfe|xD$ zCm&XuZs*>Il5{mG%F7G*zX;p57f~u@iIPz_I&TjG6olkXL>+7c!rQlb(XEyvsYgfl zK6`#Z4-ixA35!tjT|#_30C~-AZ1%Ud5GrwfS$f|{ybTY4BGpx`BThpskDk`#Kh`FrK);#JlY=$)rqX7oz^k}}Oy1F_52H=U~m_tc6((*kocXFbd ztj02}1-Aqx$1C9mycMD1D4zn#%F93Xb|xZ)v=BYAva)9RJrtLgzK>RW95NvK%M^tT z?4jT8BiY)MIeQa0jPJ!Xe;Qt0w_uXq9BU4n%B4{viTjAY+<}te`p*6qDBcZ4>H$-$ zY1tP|cDT2P7w8;!o(&F z=|><8iNk2Ri1+SjhKtph1Z?%oE)R4jdwINbO|8y0Z_xx_cp*drrYm2<0PfZbTMdd-v5AMd#rt~d#!qO_;LyVEpg#+N ze7o22a3k)P$nKb5^w?kZA6)x`ez*bSfS)eTG*vZBYwzFyaOt0S7WZYSJJ|w*f`SY@ zPBX>4XGWHv^DxC+s~X1o2b*tpvsTT`*WkA>iAmqT!VuFS8$=OtI4p3tUI+ z@G+QON~!PbzRHC>x*J0!Q^6}%XB7m##ohP(ifQLW6+5zHzRpe%Y?q%O5)!%$Ix3U9 z8eb8G4l=J!x~QndX0bJ^TTkKx__jHI@`p+^%t7njXnp{P?|qVPI5P4tvDc?2P1~_K zWhnXn;adn%b(NE`kdP3jherwJp=LD|&s6czuO7~;9baCbyZEXq13o7(J^{4fTx`hv zP8%<;tRs=lD@j{ZGv-0b^>_aG6Id|ixH)4_2AyQsxWkBzk#T;80NCi8#@^l6z7&7K z{P3ZzL~GJPxH--10^N=8)Qxxh4yV8!=l`?-;F6ym{*m<#sJ!+>jIUE$s#9?e4kINx zr{h4iy3*$M6B5mkKBd-&8gN3tx;S#2SZL*HwgHo3-&C-Dc7NI8c6@NOb@j6n*_H68 zV?J;u-$jc0y)oP#`FW|f!|=s6sZIrplIrRG07EwzEr%!b1yz36FOKBk^Up*3pz}ZS z?kdqz%ypc6gu6TRh51uOpFpD#`22gv>mL)a4(sem&8jxad& z##h=#3jQi5xAD-Lf7G5)CFNb)6h2lV*Bg5a>qU3*F|G?sI56z?bQTTM=|cjKd6~|q zxN4t9H-i+G+xyEO+$=~6q}Yrj&5Tl!NY+e&Wk*NARfxpP8F5+;%(>kgqj3qB7Fv;F zt!=Gk7wl8l+|!BkSonFWTL;m^CL{zCFL*dDf(M?%xU^F^WTDhVq{jyb&wt*6f`ZCy z{<{6K(7z{=vegw`V$w#(>O=#FGcj3>WjtD(Z|s=ZWj>dHcwh`djZMOE6re@=IVMXdc*2w(9))Y_QIap4w zgg{{G2_UI4g30biBP zYQG6A_*j8$a|ljiBuA=FO@T z>A<9aWe_45#8-3i#zLcQnF4DekjBT`>a#{v(9DHamYOm~=Yr~3CLJxktxayf{RkH2 zsv1{16M-9c=P-AQo*t1d$i_4-Gp_n3$(R!any|v@opbelmf@TyE}k0i>@55UucM>m zM*MMI8wp4S_|&9sJlLV3p}TB`3s;k>O4R!TKHq#aH3u)YJ9c*&xOhi(_uTDe4dkIeXjR-w$7z7d5VJ4O5EKc z$jeKCPPUMvRT|VK0ivNv9neY^U}P)>ikn0-bESQx5D~x64Ai+FKsYQnR{;A5jf&CJ zpBWv7fLKO*d;5kWXTWS^YRl~a$J%gdJfvYfKk{L2MUWEnr=)miC3j4e0!UB%~=l(aPHoI2Et{YI0PWbOF*YnG@> z$J5_YDEPLBNj!t@AIKgW^1eCJQ&*4A$S?%Hb2M~xHv&Gorwj!4-y}xs*Rio#?Jvz9 z=J{Eg5z?^$H8(Ja4fV5N85*`XQyU*26XWZ%Hw1c|FGxj(=$Dt54UWrR+k^O+n3yb! zdpkQjYipfZ&v@#g)B&f*qo3Q;)6;!kdcqyYGJRRITD{(ZCW#Km=HQ`aXAaJeC%q!x zqV}sRvwejUbeT9BD+p7i;BRBAjbAsXiZwKTDOK0k*8>2pKs)nd)cFrID=Uf5V}biT zQ$z~|g&GC5^bfju+4pKCAl*L3arpSPMsUa$yAJe5?y`LbG%ohqw#B9gT9V>{B+#Co zBS05MMfGQF%n1-CaBrvo{E6?DMuv@#U+1!00zp%n!(>7;V*yvcgR&QSp@0gB9wRx} z?lr-&a=yN02-0a4xN9DWQgx-KDk>Q56n9UTV^l%^6l>qkH)JV%dkSC+0X+diVoz(& z%F0S|sQm1uHpArDH5o%;LHOkb+SN6O)B7G3W}E>?l*`3s){waiF;`d^BaVoxTSjVz zA#I|i+rd<|F}2@@sA&2cWy$fvd_e2?t*gNd8Ed|V`5YRO-N)!#2RV4&wV@> zSp{@4i&xpfT zGDl41=YckVe;Emh?bg=uRG!_@tgN)O_la`)b+*#D+}4V$rQIsre+mZq5TY}Y+l8gB zOQ_21XDgPgL47wz^YD7DK#L-VT!eq}oHiT1+U;;=Pv_HHHWZCJ1TzpQX*7$%{mex3 z^O91^aAtL4VBocOCF}5*@!xs}Wq*Gbo1ou*Y~0*}yzb7IJEPIjO0+nB&HWN?xa=Gp z$Y^L%EU~>ALLM7zY#e|nq*Sw*)9>l7<3%D3lT^^vS{!Dk{@Ej#^5vEFxzYtejccyX zrEnjNUK$aR$x)wHeGi%M@X{*OF7Jd!U2m0GnOlGNA0g#?Ny3oN8O2ZVpd}&+QWo-& zr0oSblPDi=+24D$(b!nKJ7A;sCxHdktt`@03l^d}a#d9ZSy|t;0ci2jdyFeNk#PcesOc zrle)o=9*kwc1}(}fH*#wpTAGYwv#6V2^HVmME5vKzStUwN#kv5HcLi#kP^>B=;xba zbc|3+2?%a`hNN)$-(QYZ1i$tF5&xTC%-_-0_PWL@CS9mcr=`)^6%c`}s08?QH(ch_ z*wO~P`G||gnb;7NCSULivc7H4nz*yG{mDWvYKdu&4^VUZz!M3UslZ_gee>VbUiob? z)VsD;TUM4tK!DRvEhsfDJ4+d*nAlYq zMZ1dXSoawTVbWHPWT~h3*vpxuld9@