From b043fd1d059e607a3e9f406fdb7c30b470d28965 Mon Sep 17 00:00:00 2001 From: FallenYing <1535145283@qq.com> Date: Thu, 27 Jul 2023 23:15:47 +0800 Subject: [PATCH] update chore: add 3.4.6.2 chore: add 3.4.6.3 chore: add 3.4.6.4 chore: add 3.4.6.5 chore: add 3.4.6.6 chore: add 3.4.6.7 chore: add 3.4.6.8 chore: add 3.4.6.9 chore: add 3.4.6.10 docs: add 3.6.5.1 --- .../3.4.6.10.增添属性.md | 36 +- .../3.4.6.2.探索未知.md | 17 +- .../3.4.6.3.指明地点.md | 11 +- .../3.4.6.4.创建对象.md | 15 +- .../3.4.6.5.捡起物品.md | 14 +- .../3.4.6.6.绘制地图.md | 30 +- .../3.4.6.7.增大距离.md | 38 +- .../3.4.6.8.移动方向.md | 30 +- .../3.4.6.9.练习：生成代码.md | 13 +- .../3.6.5.1CS61A Sec1.md | 420 ++++++++++++++++++ .../static/call_expression.png | Bin 0 -> 10820 bytes .../static/expression_tree.png | Bin 0 -> 54534 bytes .../static/function_abs.png | Bin 0 -> 6413 bytes .../static/function_print.png | Bin 0 -> 13658 bytes 14 files changed, 535 insertions(+), 89 deletions(-) create mode 100644 3.编程思维体系构建/3.6.5.1CS61A Sec1.md create mode 100644 3.编程思维体系构建/static/call_expression.png create mode 100644 3.编程思维体系构建/static/expression_tree.png create mode 100644 3.编程思维体系构建/static/function_abs.png create mode 100644 3.编程思维体系构建/static/function_print.png diff --git a/3.编程思维体系构建/3.4.6.10.增添属性.md b/3.编程思维体系构建/3.4.6.10.增添属性.md index d830f1f..7b7cce2 100644 --- a/3.编程思维体系构建/3.4.6.10.增添属性.md +++ b/3.编程思维体系构建/3.4.6.10.增添属性.md @@ -14,12 +14,12 @@ 假设我们的洞口被警卫挡住了。玩家就过不去，我们可以简单地将通道的目的地更改为终点位置（或 NULL），但这会导致对诸如 go cave 和 look cave 这样的命令做出不正确的回应：“你在这里看不到任何洞穴。我们需要一个将通道的实际终点和虚假终点分开的单独属性。为此，我们将引入一个属性 prospect 来表示后者。 -1. 在许多冒险中，玩家以及游戏中的 NPC 在携带量方面受到限制。给每件物品一个重量,角色库存中所有物品的总重量不应超过该角色所能承载的最大重量。当然，我们也可以给一个物体一个非常高的重量，使它不可移动（一棵树，一座房子，一座山）。 -2. RPG 式的冒险游戏需要角色的整个属性范围( 玩家与非玩家 )，例如 HP。HP 为零的对象要么死了，要么根本不是角色。 +1. 在许多冒险中，玩家以及游戏中的 NPC 在携带量方面受到限制。给每件物品一个重量，角色库存中所有物品的总重量不应超过该角色所能承载的最大重量。当然，我们也可以给一个物体一个非常高的重量，使它不可移动（一棵树，一座房子，一座山）。 +2. RPG 式的冒险游戏需要角色的整个属性范围 ( 玩家与非玩家 )，例如 HP。HP 为零的对象要么死了，要么根本不是角色。 我们在 object.txt 中定义了七个新属性： -``` +```c #include #include "object.h" @@ -115,13 +115,14 @@ extern OBJECT objs[]; textGo "Solid rock is blocking the way." ``` -注意：textGo 不仅对通道对象有用，而且对非通道对象也有用( 在这种情况下,以后我们将介绍“墙”这个概念) +注意：textGo 不仅对通道对象有用，而且对非通道对象也有用 ( 在这种情况下，以后我们将介绍“墙”这个概念) -思考题：你能否自行实现上述伪代码？ +::: warning 🤔 思考题：你能否自行实现上述伪代码？ +::: -现在，我们已经可以使用新属性(如果你完成了上面的思考题),details 用于新识别的命令外观``，textGo 在我们的命令 go 实现中替换固定文本“OK”。 +现在，我们已经可以使用新属性 (如果你完成了上面的思考题),details 用于新识别的命令外观``，textGo 在我们的命令 go 实现中替换固定文本“OK”。 -# location.c +## location.c ```c #include @@ -195,7 +196,7 @@ void executeGo(const char *noun) 属性权重和容量一起成为不能将某些对象移动到周围的可能原因。而 HP 检查代替了角色的硬编码白名单。 -# move.c +## move.c ```c #include @@ -264,7 +265,7 @@ void moveObject(OBJECT *obj, OBJECT *to) 这里还有一个模块可以使用 HP 来识别角色。 -# inventory.c +## inventory.c ```c #include @@ -327,7 +328,8 @@ void executeInventory(void) } ``` -思考题：仔细观察这段代码，看看与你写的有何不同？ +::: warning 🤔 思考题：仔细观察这段代码，看看与你写的有何不同？ +::: 权重检查利用了新功能 weightOfContents，它将在misc.c中实现。在同一模块中，我们还对一些现有函数进行了修改，以支持最后几个属性。 @@ -335,7 +337,7 @@ void executeInventory(void) 在函数 getPassage 中我们将属性目标替换为 prospect，并改进对所有命令（而不仅仅是 go and look）的响应，这些命令应用于位于“隐藏通道”另一端的位置。 -# misc.h +## misc.h ```c typedef enum { @@ -357,7 +359,7 @@ extern OBJECT *actorHere(void); extern int listObjectsAtLocation(OBJECT *location); ``` -# misc.c +## misc.c ```c #include @@ -432,11 +434,11 @@ int listObjectsAtLocation(OBJECT *location) } ``` -思考题：为什么上面的 getPassage 函数使用了函数指针这种语法？ +::: warning 🤔 思考题： +为什么上面的 getPassage 函数使用了函数指针这种语法？ -``` - 函数指针和指针函数有什么区别？ -``` +函数指针和指针函数有什么区别？ +::: 为了使整个画面完整，最好扩展前面生成的地图，我们可以用虚线表示“明显”的通道。 @@ -462,7 +464,7 @@ function outputEdge(from, to, style) - 尽量不要太担心浪费仅在某些类型的对象中使用的属性上的内存空间（例如，textGo仅用于通道），或者许多重复的字符串文本。 - 为了演示属性 prospect 的使用，我们使洞穴无法访问。当您查看新地图时，这一点立即变得很明显。进入洞穴的箭头是虚线的，这意味着这是一个虚假的通道，但不是实际的通道。请放心，洞穴将在下一章重新开放。 -- 请注意，更详细的描述往往需要一个更大的字典（更多的对象，更多的标签）。例如，命令 look silver coin 现在返回 "该硬币的正面有一只鹰"。玩家通过输入一个命令 look eagle 来查看银币，但程序并不知道鹰是什么意思(显然这样子是不行的)。 +- 请注意，更详细的描述往往需要一个更大的字典（更多的对象，更多的标签）。例如，命令 look silver coin 现在返回 "该硬币的正面有一只鹰"。玩家通过输入一个命令 look eagle 来查看银币，但程序并不知道鹰是什么意思 (显然这样子是不行的)。 输出样例 diff --git a/3.编程思维体系构建/3.4.6.2.探索未知.md b/3.编程思维体系构建/3.4.6.2.探索未知.md index a4a8279..27b9b29 100644 --- a/3.编程思维体系构建/3.4.6.2.探索未知.md +++ b/3.编程思维体系构建/3.4.6.2.探索未知.md @@ -1,8 +1,6 @@ # 2.探索未知 -::: tip 提醒 - -## 驾驭项目，而不是被项目驾驭 +::: tip 驾驭项目，而不是被项目驾驭 你和一个项目的关系会经历 4 个阶段： @@ -31,10 +29,10 @@ 那么，当命令很多的时候，如果你将他写在一起，一个文件有五六千行，我相信这样的情况你是不愿意去看的，因此，我们引入了函数的概念。 -自行了解函数的概念，同时去了解当我需要引用别的文件的函数时该怎么办？ - -了解一下什么是“驼峰原则”，我们为什么要依据它命名函数？ +::: warning 🤔 自行了解函数的概念，同时去了解当我需要引用别的文件的函数时该怎么办？ + 了解一下什么是“驼峰原则”，我们为什么要依据它命名函数？ +::: 下面的代码示例包含三个函数，每个步骤一个函数： 1. 函数getInput。 @@ -69,7 +67,8 @@ int main() 注意：某些老版本的 C 语言不支持 bool 选项，你将他改为 int 是一样的。 -思考题：static 是什么意思？我为什么要用他？ +::: warning 🤔 思考题：static 是什么意思？我为什么要用他？ +::: ## parsexec.h @@ -77,13 +76,15 @@ int main() extern bool parseAndExecute(char *input); ``` -思考题：extern 是干什么的？.h 文件又在干嘛？ +::: warning 🤔 思考题： +extern 是干什么的？.h 文件又在干嘛？ 哇，我用了一个指针！input 前面是个指针！！！ 指针是啥？[C 指针详解](https://www.runoob.com/w3cnote/c-pointer-detail.html) STFW（虽然都给你了） 在这里用指针是为了传参的时候可以传字符串哦 +::: ## parsexec.c diff --git a/3.编程思维体系构建/3.4.6.3.指明地点.md b/3.编程思维体系构建/3.4.6.3.指明地点.md index a6fe8ea..7d6b06b 100644 --- a/3.编程思维体系构建/3.4.6.3.指明地点.md +++ b/3.编程思维体系构建/3.4.6.3.指明地点.md @@ -1,10 +1,10 @@ # 3.指明地点 -某种极其糟糕的编程习惯 - -## Copy-paste +::: warning 某种极其糟糕的编程习惯 +Copy-paste 我们很多同学在编程的过程中，可能会写出一大堆重复性很强的代码，在最近看的 pa 中，举了这样一个例子，你不需要看懂只需要感受到就可： +::: ```c if (strcmp(s, "$0") == 0) @@ -86,7 +86,7 @@ bx = torch.cat((xs[0], bs[0], xs[1], bs[1], xs[2], bs[2], xs[3], bs[3], xs[4], b xs[24], bs[24], xs[25], bs[25], xs[26], bs[26], xs[27], bs[27], xs[28], bs[28], xs[29], bs[29], xs[30], bs[30], xs[31], bs[31]), 1) ``` -你想想，你遇到这么长的代码，你愿意看他吗？ +::: tip 你想想，你遇到这么长的代码，你愿意看他吗？ 更可怕的是，这种编码模式可能会导致意想不到的 bug。 @@ -97,6 +97,7 @@ bx = torch.cat((xs[0], bs[0], xs[1], bs[1], xs[2], bs[2], xs[3], bs[3], xs[4], b 后来周源源教授发现，相比于操作系统，应用程序的源代码中 Copy-Paste 的现象更加普遍。于是她们团队把 CP-Miner 的技术应用到应用程序的源代码中，并创办了 PatternInsight 公司。很多 IT 公司纷纷购买 PatternInsight 的产品，并要求提供相应的定制服务，甚至 PatternInsight 公司最后还被 VMWare 收购了。 这个故事折射出，大公司中程序员的编程习惯也许不比你好多少，他们也会写出 Copy-Paste 这种难以维护的代码。但反过来说，重视编码风格这些企业看中的能力，你从现在就可以开始培养。 +::: 传统上，文本冒险是由（许多）不同位置组成的虚拟世界。虽然这不是必需的（一些冒险发生在一个房间里！），但这是解释数据结构使用的好方法。 @@ -112,7 +113,7 @@ struct location { }; ``` -::: warning 🤔思考题： +::: warning 🤔 思考题： 我们为什么要用结构体来保存位置？ 这样子做有什么好处？ diff --git a/3.编程思维体系构建/3.4.6.4.创建对象.md b/3.编程思维体系构建/3.4.6.4.创建对象.md index d4af0c3..3a7d1ab 100644 --- a/3.编程思维体系构建/3.4.6.4.创建对象.md +++ b/3.编程思维体系构建/3.4.6.4.创建对象.md @@ -1,6 +1,6 @@ # 4.创建对象 -在我们继续之前，我们在这里使用的是哲学意义上的“对象”一词。它与面向对象编程无关，也与Java，C#和Python等编程语言中预定义的“对象”类型没有任何共同之处。下面，我将定义一个名为 object 的结构体。。 +在我们继续之前，我们在这里使用的是[哲学意义上](https://en.wikipedia.org/wiki/Object_(philosophy))的“对象”一词。它与[面向对象编程](https://en.wikipedia.org/wiki/Object-oriented_programming)无关，也与Java，C#和Python等编程语言中预定义的“对象”类型没有任何共同之处。下面，我将定义一个名为 object 的结构体。 冒险游戏中的大多数谜题都围绕着物品。例子： @@ -47,9 +47,11 @@ objs[] = { 我们发现 OBJECT 的结构体里面有一个指针和自己长得一样，不用担心，这和链表的操作类似。 -思考题：链表是什么，为什么要有这么一个操作指针？ +::: warning 🤔 思考题： +链表是什么，为什么要有这么一个操作指针？ 链表和数组有什么异同点，他们分别在增删改查上有什么优劣？ +::: 为了更容易地用那些所谓的物品或者是地点，我们将为每个元素定义一个名字 @@ -80,7 +82,8 @@ for (obj = objs; obj < objs + 5; obj++) } ``` -暂停理解一下吧 +::: warning 🤔 暂停理解一下吧 +::: 那么，我们有合并这个物品（或地点）列表有什么好处呢？答案是这会让我们的代码变得更加简单，因为许多函数（如上面的函数通过这样的列表）只需要扫描单个列表就可以实现，而不是三个列表。有人可能会说没必要，因为每个命令仅适用于一种类型的对象： @@ -96,7 +99,8 @@ for (obj = objs; obj < objs + 5; obj++) 将所有对象放在一个大列表中，很容易添加一个名为“type”的属性来构造对象，以帮助我们区分不同类型的对象。 -怎么做怎么遍历呢？先思考吧 +::: warning 🤔 怎么做怎么遍历呢？先思考吧 +::: 但是，对象通常具有同样有效的其他特征： @@ -169,7 +173,8 @@ OBJECT objs[] = { extern OBJECT *getVisible(const char *intention, const char *noun); ``` -## 指针？函数？希望你已经掌握这是什么了 +::: warning 🤔 指针？函数？希望你已经掌握这是什么了 +::: ## noun.c diff --git a/3.编程思维体系构建/3.4.6.5.捡起物品.md b/3.编程思维体系构建/3.4.6.5.捡起物品.md index 9dc1d45..a2ea2bb 100644 --- a/3.编程思维体系构建/3.4.6.5.捡起物品.md +++ b/3.编程思维体系构建/3.4.6.5.捡起物品.md @@ -26,9 +26,11 @@ 你可以尝试去使用这些命令（上面的前两个示例已经在上一章中实现了）。现在，我们将为玩家和非玩家角色介绍一些典型的物品栏操作（命令获取、掉落、给予、询问和物品栏）。 -思考题：你能不能尝试自己实现一下上面的命令？ +::: warning 🤔 思考题： +你能不能尝试自己实现一下上面的命令？ 如果你可以在不参考下面内容的情况下就写出基本内容会有很大收获的 +::: ## parsexec.c @@ -160,9 +162,11 @@ void executeInventory(void) 注意：由于动词名词比较好弄，命令 ask 和 give 只有一个参数：item。 -思考题：为什么我们要这样设计？ +::: warning 🤔 思考题： +为什么我们要这样设计？ 你能否为这些命令多加几个参数？ +::: 从本质上讲，get, drop, give and ask 这些命令除了将项目从一个地方移动到另一个地方之外，什么都不做。单个函数 move 对象可以对所有四个命令执行该操作。 @@ -222,7 +226,8 @@ void moveObject(OBJECT *obj, OBJECT *to) } ``` -思考题：识别一些我们拿不了的物品需要考虑什么因素？ +::: warning 🤔 思考题：识别一些我们拿不了的物品需要考虑什么因素？ +::: 命令“get”使用函数getVisible将名词转换为 object，就像命令“go”一样;请参阅上一章。但是对于对玩家（或其他一些参与者）已经持有的对象进行drop, ask, give 等命令时，我们需要稍微不同的东西。我们将在 noun.c 中添加一个函数 getPossession。 @@ -362,7 +367,8 @@ int listObjectsAtLocation(OBJECT *location) } ``` -思考题：上面第四行中的函数 actorHere 返回的指针指向什么？ +::: warning 🤔 思考题：上面第四行中的函数 actorHere 返回的指针指向什么？ +::: 在第 9 行中，有一个详尽的，硬编码的非玩家角色列表（到目前为止，只有一个：守卫）。 diff --git a/3.编程思维体系构建/3.4.6.6.绘制地图.md b/3.编程思维体系构建/3.4.6.6.绘制地图.md index 015960c..882e064 100644 --- a/3.编程思维体系构建/3.4.6.6.绘制地图.md +++ b/3.编程思维体系构建/3.4.6.6.绘制地图.md @@ -28,11 +28,12 @@ struct object { - 通道总是朝一个方向运行;要双向连接两个位置，我们总是必须创建两个单独的通道。乍一看，这似乎很笨拙，但它确实给了我们很大的灵活性来完善命令“go”的行为 - 在大地图上，你可能会发现手动创建所有通道很乏味。所以，我强烈建议你使用自定义工具生成地图中重复性更强的部分。这里不会介绍这一点，但您可能会在第 9 章中找到一些灵感，我们将在其中讨论自动胜场。 -思考题：为什么创建两个通道可以使我们的程序更加灵活？ +::: warning 🤔 思考题：为什么创建两个通道可以使我们的程序更加灵活？ +::: 接下来我们将展开对象数组 -# object.h +## object.h ```c typedef struct object { @@ -56,7 +57,7 @@ extern OBJECT objs[]; #define endOfObjs (objs + 8) ``` -# object.c +## object.c ```c #include @@ -76,7 +77,7 @@ OBJECT objs[] = { 我们将在 misc.c 中添加一个小的帮助函数，以确定两个给定位置之间是否存在通道。 -# misc.h +## misc.h ```c extern OBJECT *getPassage(OBJECT *from, OBJECT *to); @@ -84,7 +85,7 @@ extern OBJECT *actorHere(void); extern int listObjectsAtLocation(OBJECT *location); ``` -# misc.c +## misc.c ```c #include @@ -140,14 +141,14 @@ int listObjectsAtLocation(OBJECT *location) 我们将在命令“go”的实现中使用新功能getPassage来确定是否存在可以将玩家带到所需位置的通道。 -# location.h +## location.h ```c extern void executeLook(const char *noun); extern void executeGo(const char *noun); ``` -# location.c +## location.c ```c #include @@ -177,7 +178,7 @@ void executeGo(const char *noun) // already handled by getVisible } else if (getPassage(player->location, obj) != NULL) - //go只会在有地方的时候才会运行起来 + //go 只会在有地方的时候才会运行起来 { printf("OK.\n"); player->location = obj; @@ -202,14 +203,14 @@ void executeGo(const char *noun) 我们还将使用新功能getPassage来确定从玩家站立的位置是否可以看到某个位置。未通过通道连接到当前位置的位置不被视为可见。 -# noun.h +## noun.h ```c extern OBJECT *getVisible(const char *intention, const char *noun); extern OBJECT *getPossession(OBJECT *from, const char *verb, const char *noun); ``` -# noun.c +## noun.c ```c #include @@ -294,11 +295,12 @@ OBJECT *getPossession(OBJECT *from, const char *verb, const char *noun) 显然，此示例中的地图是微不足道的：只有两个位置，并且它们在两个方向上都连接在一起。第 12 章将增加第三个地点。 -思考题：你能否绘制一张更精细的地图，并将其变成对象列表（位置和通道） +::: warning 🤔 思考题： +你能否绘制一张更精细的地图，并将其变成对象列表（位置和通道） -``` - 注：不用当成任务，自行实验即可 -``` +注：不用当成任务，自行实验即可 + +::: 输出样例 diff --git a/3.编程思维体系构建/3.4.6.7.增大距离.md b/3.编程思维体系构建/3.4.6.7.增大距离.md index bcb0ce3..361b834 100644 --- a/3.编程思维体系构建/3.4.6.7.增大距离.md +++ b/3.编程思维体系构建/3.4.6.7.增大距离.md @@ -1,6 +1,6 @@ # 7.增大距离 -一个典型的冒险包含许多谜题。众所周知，Infocom的冒险很难完成。解决每个难题可能需要数周甚至数月的反复试验。 +一个典型的冒险包含许多谜题。众所周知，[Infocom](https://en.wikipedia.org/wiki/Infocom)的冒险很难完成。解决每个难题可能需要数周甚至数月的反复试验。 当玩家操纵角色失败后，如果只是返回“你不能这么操作”来回应玩家，会很 nt，很没意思。 @@ -10,7 +10,7 @@ 冒险游戏至少应该做的是解释为什么玩家的命令无法完成：“你不能这样做，因为......”这有助于使虚拟世界更具说服力，故事更可信，游戏更有趣。 -我们已经付出了相当大的努力让游戏解释为什么某些命令是无效的。只需看看名词.c，inventory.c，location.c，move.c中的许多printf调用。 但随着游戏变得越来越复杂，这正成为一个相当大的负担。我们需要一种更结构化的方法来检测和处理错误情况。这就是我们在本章中将要讨论的内容。 +我们已经付出了相当大的努力让游戏解释为什么某些命令是无效的。只需看看名词.c，inventory.c，location.c，move.c中的许多printf调用。但随着游戏变得越来越复杂，这正成为一个相当大的负担。我们需要一种更结构化的方法来检测和处理错误情况。这就是我们在本章中将要讨论的内容。 大多数命令对一个或多个对象进行操作，例如： @@ -64,7 +64,8 @@ typedef enum { } DISTANCE; ``` -typedef 以及枚举类 enum 之前有接触过吗？没有接触过的话就去学习一下吧。 +::: warning 💡 typedef 以及枚举类 enum 之前有接触过吗？没有接触过的话就去学习一下吧。 +::: 在最右边的列中，我们为每个情况提出了一个满足条件。通过一些重新洗牌，我们可以很容易地将其转换为计算对象“距离”的函数（从玩家的角度来看）： @@ -84,9 +85,11 @@ DISTANCE getDistance(OBJECT *from, OBJECT *to) } ``` -思考题：你是否有其他方法实现这个功能？ +::: warning 🤔 思考题： +你是否有其他方法实现这个功能？ 注：自行实验即可 +::: 就这样！我们可以调用此函数并对其返回值进行比较。例如，我们在 noun.c中有以下代码： @@ -110,7 +113,7 @@ else if (!(getDistance(player, obj) == distSelf || getDistance(player, obj) == distHere || getDistance(player, obj) == distOverthere || getDistance(player, obj) == distHeldContained || - getDistance(player, obj) == distHereContained) + getDistance(player, obj) == distHereContained)) ``` 这可以简化为： @@ -119,13 +122,14 @@ else if (!(getDistance(player, obj) == distSelf || else if (getDistance(player, obj) >= distNotHere) ``` -尝试理解一下这样做的意义 +::: warning 🤔 尝试理解一下这样做的意义 +::: 这只是一个例子，让你对这个概念有所了解;您将在下面找到noun.c的实际实现，看起来略有不同。 是时候把事情落实到位了。枚举 DISTANCE 和函数 getDistance 的定义被添加到 misc.h 和 misc.c 中，因为我们将在多个模块中使用它们。 -# misc.h +## misc.h ```c typedef enum { @@ -150,7 +154,7 @@ extern OBJECT *actorHere(void); extern int listObjectsAtLocation(OBJECT *location); ``` -# misc.c +## misc.c ```c #include @@ -226,7 +230,7 @@ int listObjectsAtLocation(OBJECT *location) 注意：isHolding 这个函数之后我们将在各个地方使用 -# location.h +## location.h ```c extern void executeLook(const char *noun); @@ -235,7 +239,7 @@ extern void executeGo(const char *noun); 在函数 executeGo 中，我们可以用检查距离来替换大多数 if 条件。 -# location.c +## location.c ```c #include @@ -290,11 +294,12 @@ void executeGo(const char *noun) } ``` -思考题：你能否为 switch 函数增加更多 case 来完善判断条件？ +::: warning 🤔 思考题：你能否为 switch 函数增加更多 case 来完善判断条件？ +::: 函数 executeGet 也是如此。 -# inventory.h +## inventory.h ```c extern void executeGet(const char *noun); @@ -304,7 +309,7 @@ extern void executeGive(const char *noun); extern void executeInventory(void); ``` -# inventory.c +## inventory.c ```c #include @@ -369,14 +374,14 @@ void executeInventory(void) 最后，我们将调整 noun.c中的约束。我们正在向函数getObject添加两个参数，以便找到特定名词的匹配项，同时忽略任何被认为不存在的对象。这将在下一章中得到真正的回报，我们将在下一章中介绍具有相同标签的不同对象。 -# noun.h +## noun.h ```c extern OBJECT *getVisible（const char *intention， const char *noun）; extern OBJECT *getPossession（OBJECT *from， const char *verb， const char *noun）; ``` -# noun.c +## noun.c ```c #include @@ -455,7 +460,8 @@ OBJECT *getPossession(OBJECT *from, const char *verb, const char *noun) } ``` -思考题：你能理解什么时候加 const，什么时候不用吗？ +::: warning 🤔 思考题：你能理解什么时候加 const，什么时候不用吗？ +::: 在本章中，距离的概念主要用于在游戏可以给用户的不同响应之间进行选择。但是，距离的好处并不局限于输出端;它可以同样很好地用于在输入端进行改进。在下一章中，我们将使用距离来提高对用户输入的名词的识别。 diff --git a/3.编程思维体系构建/3.4.6.8.移动方向.md b/3.编程思维体系构建/3.4.6.8.移动方向.md index 443c99e..a7220d9 100644 --- a/3.编程思维体系构建/3.4.6.8.移动方向.md +++ b/3.编程思维体系构建/3.4.6.8.移动方向.md @@ -1,13 +1,14 @@ # 8.移动方向 -传统的文本冒险使用指南针方向进行导航。 +传统的文本冒险使用[指南针方向](https://en.wikipedia.org/wiki/Cardinal_direction)进行导航。 例如，我们在第 6 章中绘制的地图上，玩家可能想向东移动，从田野移动到洞穴。我们可以通过给连接Cave的通道标上“east”来实现这一点。但是，我们首先需要解决两个问题。 1. 我们可能仍然想把这段通道称为“entrance”和“east”。但现在，一个对象只能有一个标签。 2. 在更大的地图上，具有更多的位置和道路，标签“east”将被定义多次。到目前为止，标签在我们的游戏中是全球独一无二的，没有重复项。 -思考题：你能否想出解决办法？ +::: warning 🤔 思考题：你能否想出解决办法？ +::: 这些问题同样适用于其他对象，而不仅仅是通道。 @@ -17,11 +18,11 @@ 这立即将我们带到了解析器的第三个问题： -1. 一个标签只能是一个单词;“ sliver coin”这是俩单词，他不接受啊 +1. 一个标签只能是一个单词;“sliver coin”这是俩单词，他不接受啊 所有三个问题都将在本章中解决，从问题#1 开始。它通过为每个对象提供一个标签列表来解决，而不仅仅是一个标签。 -# object.h +## object.h ```c typedef struct object { @@ -47,7 +48,7 @@ extern OBJECT objs[]; #define endOfObjs (objs + 10) ``` -# object.c +## object.c ```c #include @@ -63,7 +64,7 @@ static const char *tags6[] = {"east", "entrance", NULL}; static const char *tags7[] = {"west", "exit", NULL}; static const char *tags8[] = {"west", "north", "south", "forest", NULL}; static const char *tags9[] = {"east", "north", "south", "rock", NULL}; -//我们不固定标签长度，在结束的时候用NULL来标记 +//我们不固定标签长度，在结束的时候用 NULL 来标记 OBJECT objs[] = { {"an open field" , tags0, NULL , NULL }, {"a little cave" , tags1, NULL , NULL }, @@ -75,22 +76,22 @@ OBJECT objs[] = { {"an exit to the west" , tags7, cave , field }, {"dense forest all around" , tags8, field, NULL }, {"solid rock all around" , tags9, cave , NULL } - //我们用NULL来阻绝进入一个你不知道的地方 + //我们用 NULL 来阻绝进入一个你不知道的地方 }; ``` 当然，要让这个改动生效，我们还需要调整noun.c中的objectHasTag函数。 -同时，我们将让函数 getVisible和getPossession 告知玩家他必须更具体的选择你到底是银币还是金币 ，而不是随机选择任何一个对象。 +同时，我们将让函数 getVisible和getPossession 告知玩家他必须更具体的选择你到底是银币还是金币，而不是随机选择任何一个对象。 -# noun.h +## noun.h ```c extern OBJECT *getVisible(const char *intention, const char *noun); extern OBJECT *getPossession(OBJECT *from, const char *verb, const char *noun); ``` -# noun.c +## noun.c ```c #include @@ -107,7 +108,7 @@ static bool objectHasTag(OBJECT *obj, const char *noun) for (tag = obj->tags; *tag != NULL; tag++) { if (strcmp(*tag, noun) == 0) return true; - }//扫描对象的tag列表 + }//扫描对象的 tag 列表 } return false; } @@ -187,9 +188,9 @@ OBJECT *getPossession(OBJECT *from, const char *verb, const char *noun) } ``` -问题 #3 可以通过从函数parseAndExecute中删除一个 [空格](http://en.wikipedia.org/wiki/Space_(punctuation))字符来解决（下面的第 10 行）。这个解决方案远非完美（'silver' 和 'coin' 之间的双空格是大咩的），但直到我们在第 13 章中让自己成为一个更好的解析器之前。 +问题 #3 可以通过从函数parseAndExecute中删除一个 [空格](http://en.wikipedia.org/wiki/Space_(punctuation))字符来解决（下面的第 10 行）。这个解决方案远非完美（'silver' 和 'coin' 之间的双空格是打咩的），但直到我们在第 13 章中让自己成为一个更好的解析器之前。 -# parsexec.c +## parsexec.c ```c #include @@ -249,4 +250,5 @@ bool parseAndExecute(char *input) 现在对象数组 ( object.c ) 开始在多个维度上增长（特别是在引入多个标签的情况下），我们需要一种使其更易于维护的方法。 -猜猜看该怎么办？ +::: warning 🤔 猜猜看该怎么办？ +::: diff --git a/3.编程思维体系构建/3.4.6.9.练习：生成代码.md b/3.编程思维体系构建/3.4.6.9.练习：生成代码.md index fe7f8c0..37fae34 100644 --- a/3.编程思维体系构建/3.4.6.9.练习：生成代码.md +++ b/3.编程思维体系构建/3.4.6.9.练习：生成代码.md @@ -1,10 +1,10 @@ -# 9.练习:生成代码 +# 9.练习：生成代码 -*到目前为止，我们的冒险游戏有10个对象。每个对象由有5 个属性组成。一个真正的文本冒险可能有数百个甚至数千个对象，并且每个对象的属性数量也可能增加（请参阅下一章）。在目前的形式下，维护如此庞大的对象和属性列表将很困难。* +*到目前为止，我们的冒险游戏有 10 个对象。每个对象由有 5 个属性组成。一个真正的文本冒险可能有数百个甚至数千个对象，并且每个对象的属性数量也可能增加（请参阅下一章）。在目前的形式下，维护如此庞大的对象和属性列表将很困难。* -例如，当我们在添加对象 *wallField* 和 *wallCave* 时，我们必须在三个不同的位置执行此操作：一次在 *object.h* 中（作为*#define*），两次在 *object.c* 中（数组 *objs* 中的一个元素，以及一个单独的标签数组）。这显然十分笨拙并且容易出错。 +例如，当我们在添加对象 *wallField* 和 *wallCave* 时，我们必须在三个不同的位置执行此操作：一次在 *object.h* 中（作为#define），两次在 *object.c* 中（数组 *objs* 中的一个元素，以及一个单独的标签数组）。这显然十分笨拙并且容易出错。 -我们将不再手工维护object. h和object. c，而是从更适合我们需要的单一源开始生成文件。这个新的源文件可以用你喜欢的任何语言( 典型的是某些特定领域的语言 )，只要你有工具把它转换回C。下面是一个简单的例子，考虑下列布局来组织我们的对象： +我们将不再手工维护 object. h 和 object. c，而是从更适合我们需要的单一源开始生成文件。这个新的源文件可以用你喜欢的任何语言 ( 典型的是某些特定领域的语言 )，只要你有工具把它转换回 C。下面是一个简单的例子，考虑下列布局来组织我们的对象： ```txt /* Raw C code (declarations) */ @@ -21,7 +21,7 @@ 根据到目前为止收集的对象，我们可以构造以下源文件。文件名并不重要;我只是简单地将其命名为*object.txt*，以明确它与*object.h*和*object.c*相关。 -# object.txt +## object.txt ```txt #include @@ -87,4 +87,5 @@ extern OBJECT objs[]; location cave ``` -思考题：你能否自己用C来实现这段伪代码？ \ No newline at end of file +::: warning 🤔 思考题：你能否自己用 C 来实现这段伪代码？ +::: diff --git a/3.编程思维体系构建/3.6.5.1CS61A Sec1.md b/3.编程思维体系构建/3.6.5.1CS61A Sec1.md new file mode 100644 index 0000000..a14bee7 --- /dev/null +++ b/3.编程思维体系构建/3.6.5.1CS61A Sec1.md @@ -0,0 +1,420 @@ +# CS61A Sec1 + +观前须知： + +本章节内容基于 Berkeley 大学的教材 [Composing Programs](http://www.composingprograms.com/) by [John DeNero](http://www.denero.org/)，并在此基础上做了部分修改，是在[知识共享协议](https://creativecommons.org/licenses/by-nc-sa/3.0/deed.zh)下所许可的。 + +计算机科学的高生产力之所以可能，是因为该学科是建立在一套优雅而强大的基本思想之上。所有的程序都从信息的表示开始，然后寻找一种逻辑来处理这些信息，并设计抽象概念来解释和控制这种逻辑。有了这些认识后，我们就需要准确的理解计算机是如何解释我们写的程序并进行计算的。 + +> A language isn't something you learn so much as something you join.
—[Arika Okrent](http://arikaokrent.com/) + +为了定义计算过程，我们需要一种编程语言；最好是许多人类和大量的计算机都能理解的语言。所以在 cs61a 中，伯克利主要使用 Python 语言来进行教学。 + +（在之前的 cs61a 课程中，Berkeley 大学主要使用 Scheme 来进行教学，(可能会写一篇文章来说说 Python 和 Scheme 语言和编程上的区别？) 不过在现在的课程中还是有关于 Scheme 的内容，所以并不用太过伤心？🙄） + +## 学习目标 + +在这一部分我们要学习的内容主要是函数（Functions）和控制（Control） + +### 一个简单的例子 + +为了给 Python 一个适当的介绍，我们将从一个使用几种语言特征的例子开始。 + +Python 内置了对广泛的常见编程的支持，如操作文本、显示图形和通过互联网进行通信。 + +```python +from urllib.request import urlopen +``` + +这个 Python 代码是一个导入语句，加载了在互联网上访问数据的功能。实际上，它提供了一个叫做 urlopen 的函数，它可以在一个[统一资源定位符（URL）](https://developer.mozilla.org/zh-CN/docs/Learn/Common_questions/Web_mechanics/What_is_a_URL)上访问内容，可以通过它来访问互联网上的数据。 + +语句和表达式 + +Python 代码由语句和表达式组成。大体上，计算机程序由以下指令组成 + +1. 计算一些值 +2. 进行一些操作 + +语句通常描述行动；当 Python 解释器执行一个语句时，它执行相应的动作。另一方面，表达式通常描述的是计算；当 Python 评估一个表达式时，它计算该表达式的值。在这篇文章下，介绍了几种类型的声明和表达方式。 + +赋值语句 + +```python +shakespeare = urlopen('http://www.composingprograms.com/shakespeare.txt') +``` + +注意：在伯克利大学的教材中，上述代码中的 url 并没有添加"www."，导致现在（至少在写这篇文章的时候）无法打开原文中的 url（可能还会写一篇文章来讲解"www."?） + +将变量名 `shakespeare` 用 `=` 和后面的表达式的值联系起来。该表达式将 `urlopen` 函数应用于一个 URL，该 URL 包含威廉 - 莎士比亚 37 部戏剧的完整文本，全部保存在一个文本文件中。 + +函数 + +函数封装了操作数据的逻辑。 + +这句话告诉我们，可以从两个角度来看函数： + +- 在调用函数的时候，我们关注的是要处理的数据 +- 在定义函数的时候，我们关注的是如何处理数据 + +```python +shakespeare = urlopen('http://www.composingprograms.com/shakespeare.txt') +``` + +`urlopen` 是一个函数。一个网络地址是一种数据，而莎士比亚戏剧的文本是另一种数据。从网络地址到文本的过程可能很复杂，但我们可以只用一个简单的表达式来应用这个过程，因为这个复杂性被藏在一个函数中。 + +你可能不了解 `urlopen` 这个函数背后的逻辑，但这不影响你去调用这个函数，这就是函数封装的好处之一。 + +因此，函数是本章节关注的重点。 + +我们来看另一个赋值语句： + +```python +words = set(shakespeare.read().decode().split()) +``` + +这个语句将名字词与莎士比亚戏剧中出现的所有出现过的词（重复出现的词只统计一次）的集合联系起来，其中有 33,721(?) 个词。上述语句包含一个读取、解码和分割的命令链，每个命令都在一个中间计算实体上操作：我们从打开的 URL 中读取数据，然后将数据解码成文本，最后将文本分割成单词。所有这些词都被放在一个集合（Set，Python 中的一种数据类型）中。 + +对象 + +前文中提到的 Set，不仅仅是数据类型，也是一个对象。对象用一种能同时处理两者复杂性的方式，把数据和操作该数据的逻辑无缝衔接在一起。 + +对象会是我们后面章节所要讨论的内容。 + +现在让我们来看这个例子中的最后一个语句： + +```python +>>> {w for w in words if len(w) == 6 and w[::-1] in words} +{'redder', 'drawer', 'reward', 'diaper', 'repaid'} +``` + +第一行的">>>"表示输入，第二行则是交互式会话的输出 + +这是一个复合表达式，其值是所有长度为 6 的、本身和反向拼写都在原集合中的词组成的集合。其中的 `w[::-1]` 是一种隐式表达，它枚举了 `w` 中的所有字母，但因为 `step = -1` 规定了步长是反方向的。 + +解释器 + +计算复合表达式需要一个精确的程序，以可预测的方式解释代码。一个能实现程序和计算符合表达式的程序被称为解释器；没错，其实解释器是程序（可能再写一篇文章来讲讲解释器和编译器的区别？） + +与其他计算机程序相比，编程语言的解释器在通用性方面是独一无二的。Python 的设计没有考虑到莎士比亚，然而，它的不可思议的灵活性使我们能够只用几个语句和表达式来处理大量的文本。 + +最后，我们会发现所有这些核心概念都是密切相关的：函数是对象，对象是函数，而解释器是两者的实例。然而，要掌握编程的艺术，关键是要清楚地理解每个概念及其在组织代码中的作用。 + +解释器的设计和实现也是我们之后的主要议题。 + +### 编程原本 + +编程语言不仅仅是指示计算机执行任务的一种手段，同时也是一个框架，我们在这个框架内组织我们关于计算过程的想法。程序的作用是在编程社区的成员之间交流这些想法，所以，编写的程序必须让人们容易阅读，而且只是顺便让机器执行。 + +当我们描述一种语言时，我们应该特别注意该语言为结合简单的想法以形成更复杂的想法所提供的手段。 + +每种强大的语言都有三种这样的机制： + +- 原始的表达式和语句，代表了该语言提供的最简单的构建模块。 +- 组合的方式，由较简单的元素建立成复合元素。 +- 抽象的手段，通过它，复合元素可以作为单位被命名和操作。 + +在编程中，我们处理两种元素：函数和数据。（很快就会发现，它们其实并不那么明显）。不那么正式地说，数据是我们想要操作的东西，而函数描述了操作数据的规则。因此，任何强大的编程语言都应该能够描述原始数据和原始函数，以及有一些方法来组合和抽象函数和数据。 + +在上一小节中对 Python 解释器进行了实验后，我们现在重新开始，有条不紊地逐个开发 Python 语言元素。如果例子看起来很简单，那就耐心一点，因为更多令人兴奋的点很快就会出现。 + +我们从原始表达式开始。一种原始表达式是数字。更确切地说，你输入的表达式由代表十进制的数字组成。 + +```python +>>> 42 +42 +``` + +代表数字的表达式可以与数学运算符相结合，形成一个复合表达式，解释器将对其进行计算。 + +```python +>>> -1 - -1 +0 +>>> 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + 1/64 + 1/128 +0.9921875 +``` + +这些数学表达式使用中缀符号，其中运算符（例如，+，-，*，或/）出现在操作数（数字）之间。Python 包括许多形成复合表达式的方法。我们不会试图立即列举它们，而是会随着我们的学习引入新的表达形式，以及它们所支持的语言特性。 + +最重要的一种复合表达式是调用表达式，它将一个函数应用于一些参数。回顾一下代数，函数的数学概念是一个从一些自变量到因变量的映射。例如，一个求最大值的函数将其的多个输入映射到当中最大值的一个单一的输出。Python 表达函数应用的方式与传统数学中相同。 + +```python +>>> max(7.5, 9.5) +9.5 +``` + +这个调用表达式有子表达式：操作符是括号前的表达式，它包含了一个用逗号分隔的操作数列表。 + +![](static/call_expression.png) + +运算符指定了一个函数。当这个调用表达式被评估时，我们说对参数`7.5` 和 `9.5`调用函数 `max`，并返回一个 9.5 的返回值。 + +调用表达式中参数的顺序很重要。例如，函数 `pow` 计算第一个参数的第二个参数次方。 + +```python +>>> pow(100, 2) +10000 +>>> pow(2, 100) +1267650600228229401496703205376 +``` + +与中缀表示法的数学约定相比，函数表示法有三个主要优点。首先，函数可以接受任意数量的参数： + +```python +>>> max(1, -2, 3, -4) +3 +``` + +不会产生歧义，因为函数名总是优先于其参数。 + +此外，函数符号以一种直接的方式延伸到嵌套表达式，其中的元素本身就是复合表达式。在嵌套的调用表达式中，与复合的中缀表达式不同，嵌套的结构在括号中是完全明确的。 + +```python +>>> max(min(1, -2), min(pow(3, 5), -4)) +-2 +``` + +对于这种嵌套的深度以及 Python 解释器可以计算的表达式的整体复杂性，（原则上）没有限制。然而，人类很快就会被多级嵌套所迷惑。作为一个程序员，你的一个重要作用是构造表达式，使它们仍然可以由你自己、你的编程伙伴和其他将来可能阅读你的表达式的人来解释。 + +同时，数学符号有各种各样的形式：乘法出现在术语之间，指数显示为上标，除法显示为斜杠，平方根显示为有斜边的屋顶。其中一些符号是很难打出来的！然而，所有这些复杂性都可以通过调用表达式的符号来统一。虽然 Python 支持使用中缀表达式的常见数学运算符（如 `+` 和 `-`），但任何运算符都可以表示为一个有名称的函数。 + +### 导入库函数 + +Python 定义了大量的函数，包括上一节中提到的运算符函数，但默认不提供它们的所有名称。作为替代，它将函数和其他量组织到模块中，这些模块共同构成了 Python 库。为了使用这些元素，人们将它们导入。例如，数学模块提供了各种熟悉的数学相关的函数。 + +```python +>>> from math import sqrt +>>> sqrt(256) +16.0 +``` + +而运算符模块提供了对应于中缀表达式的函数的访问： + +```python +>>> from operator import add, sub, mul +>>> add(14, 28) +42 +>>> sub(100, mul(7, add(8, 4))) +16 +``` + +一个导入语句指定了一个模块的名称（例如，`operator` 或 `math`），然后列出要导入的该模块的命名属性（例如，`sqrt`）。一旦一个函数被导入，它可以被多次调用。 + +使用这些运算符函数（如 `add`）和运算符符号本身（如 `+`）之间没有区别。传统上，大多数程序员使用符号和中缀表达式来表达简单的算术。 + +[Python 3 库文档](https://docs.python.org/3/library/index.html)列出了每个模块所定义的功能，如[数学模块](https://docs.python.org/3/library/math.html)。然而，这个文档是为那些对整个语言很了解的开发者编写的。现在，你可能会发现，对一个函数进行实验比阅读文档能告诉你更多关于它的行为。随着你对 Python 语言和词汇的熟悉，这个文档将成为有价值的参考来源。 + +### 变量名和环境 + +编程语言的一个关键方面是它提供了使用变量名来指代计算对象的手段。如果一个值被赋予了一个变量名，我们就说这个变量名与这个值绑定了。 + +在 Python 中，我们可以使用赋值语句建立新的绑定，其中包含左边的变量名 `=` 右边的值。 + +```python +>>> radius = 10 +>>> radius +10 +>>> 2 * radius +20 +``` + +变量名也是可以通过导入语句来绑定的。 + +```python +>>> from math import pi +>>> pi * 71 / 223 +1.0002380197528042 +``` + +`=` 符号在 Python（以及许多其他语言）中被称为赋值操作符。赋值是我们最简单的抽象手段，因为它允许我们使用简单的名称来指代复合操作的结果。用这种方式，复杂的程序就是通过一步一步地建立复杂度越来越高的计算对象来构建的。 + +将变量名与值绑定，然后通过变量名检索这些值意味着解释器必须保持某种内存，以跟踪变量名、值和绑定。这样的内存空间被称为环境。 + +变量名也可以被绑定到函数上。例如，变量名 `max` 与我们使用的求最大值的函数绑定。与数字不同的是，函数在呈现为文本时很棘手，所以当被要求描述一个函数时，Python 会打印一个识别描述。 + +```python +>>> max + +``` + +我们可以使用赋值语句给现有的函数起别名。 + +函数也可以看作是值。 + +```python +>>> f = max +>>> f + +>>> f(2, 3, 4) +4 +``` + +在同一个环境下的连续的赋值语句可以将一个名字重新绑定到一个新的值。 + +```python +>>> f = 2 +>>> f +2 +``` + +在 Python 中，名称通常被称为变量名或变量，因为它们在执行程序的过程中可能被绑定到不同的值。当一个名称通过赋值被绑定到一个新的值时，它就不再被绑定到任何以前的值。人们甚至可以将内置名称与新值绑定。 + +```python +>>> max = 5 +>>> max +5 +``` + +在将 `max` 赋值为 5 后，`max` 这个名称不再与函数绑定，因此试图调用 `max(2, 3, 4)` 会造成错误。 + +在执行赋值语句时，Python 在改变对左边变量名的绑定之前，对 `=` 右边的表达式进行计算。因此，人们可以在右侧表达式中引用一个变量名，即使它是要被赋值语句绑定的变量名。 + +```python +>>> x = 2 +>>> x = x + 1 +>>> x +3 +``` + +我们还可以在一个语句中给多个变量名赋值，其中左边的变量名和右边的表达式分别用逗号隔开。 + +```python +>>> area, circumference = pi * radius * radius, 2 * pi * radius +>>> area +314.1592653589793 +>>> circumference +62.83185307179586 +``` + +改变一个变量的值并不影响其他变量。下面，尽管变量名 `area` 被绑定到一个最初以 `radius` 定义的值，但 `area` 的值并没有改变。更新 `area` 的值需要另一个赋值语句。 + +```python +>>> radius = 11 +>>> area +314.1592653589793 +>>> area = pi * radius * radius +380.132711084365 +``` + +通过多重赋值的语句，在左边的任何变量名被绑定到这些值之前，右边的所有表达式都将被计算。由于这个规则，交换绑定在两个变量名上的值可以在一个语句中进行。 + +```python +>>> x, y = 3, 4.5 +>>> y, x = x, y +>>> x +4.5 +>>> y +3 +``` + +### 计算嵌套表达式 + +我们在本小节的目标之一是分离出关于像程序一样思考的问题。从下面这个例子中，我们应该意识到，在计算嵌套调用表达式时，解释器本身是在遵循某种步骤。 + +为了计算一个调用表达式，Python 将做按以下规则来工作： + +1. 计算运算符和操作数的子表达式，然后 +2. 将作为运算符子表达式的值的函数应用于作为运算符子表达式的值的参数。 + +即使这是个简单的程序也说明了关于一般过程的一些重要观点。第一步决定了为了完成一个调用表达式的计算过程，我们必须首先计算其他表达式。因此，计算过程在本质上是递归的；也就是说，作为其步骤之一，它也包括调用规则本身。 + +例如，计算 + +```python +>>> sub(pow(2, add(1, 10)), pow(2, 5)) +2016 +``` + +需要这个按照上述过程重复四次。如果我们画出每个被计算的表达式，我们就可以直观地看到这个过程的层次结构。 + +![](static/expression_tree.png) + +这张插图被称为表达式树。在计算机科学中，树（Tree，一种数据结构，我们将在后续的章节中进行讨论）通常是自上而下生长的。树中每一点的对象被称为节点；在这张插图的情况下，节点是与值配对的表达式。 + +计算它的根，即顶部的完整表达式，需要首先计算作为其子表达式的分支。叶表达式（即没有分支的节点）代表函数或数字。内部节点有两个部分：我们的计算规则所适用的调用表达式，以及该表达式的结果。从这棵树的计算来看，我们可以想象操作数的值是向上渗滤的，从末端节点开始，然后在越来越高的层级上进行组合。 + +接下来，观察一下，步骤一的重复应用使我们需要计算的不是调用表达式，而是数字（如 `2`）和名称（如 `add`）等原始表达式。 + +我们通过规定以下几点来处理这种情况： + +- 数字计算为它的名称所代表的数量 +- 名称计算为与当前环境中的名称相关的值。 + +请注意环境在决定表达式中符号的含义方面的重要作用。在 Python 中，在没有给定环境或是明确所有名称所指代的内容时，谈论一个表达式的价值是没有意义的，比如 + +```python +>>> add(x, 1) +``` + +而不指定任何关于环境为名称 `x`（甚至是名称 `add`）提供意义的信息。环境提供了计算发生的背景，这对我们理解程序执行起着重要作用。 + +上述的计算过程不足以计算所有的 Python 代码，只计算调用表达式、数字和名称。 + +例如，它不处理赋值语句 + +```python +>>> x = 3 +``` + +这个语句不返回一个值，也不在某些参数上调用一个函数，因为赋值的目的是将一个变量名绑定到一个值上。 + +一般来说，赋值语句不是被计算而是被执行；它们不产生一个值，而是做一些改变。每种类型的表达式或语句都有自己的计算或执行过程。 + +### 纯函数和非纯函数 + +在本小节中，我们将区分两种函数 +**纯函数** +函数有一些输入（它们的参数）并返回一些输出（应用它们的结果）。 +例如内置函数 + +```python +>>> abs(-2) +2 +``` + +可以被描述为一台接受输入并产生输出的小型机器。 +![](static/function_abs.png) +函数 `abs` 是*纯函数*。纯函数的特性是，调用它们除了返回一个值之外没有任何影响。此外，当用相同的参数调用两次时，一个纯函数必须总是返回相同的值。 + +**非纯函数** +除了返回一个值之外，应用一个非纯函数会产生副作用，从而使解释器或计算机的状态发生一些变化。一个常见的副作用是，使用`print`函数，在返回值之外产生额外的输出。 + +```python +>>> print(1, 2, 3) +1 2 3 +``` + +虽然`print`和`abs`在这些例子中可能看起来很相似，但它们的工作方式根本不同。打印返回的值总是`None`，这是一个特殊的 Python 值，不代表任何东西。交互式 Python 解释器不会自动打印值`None`。在`print`的情况下，函数本身是打印输出，也是被调用的副作用。 +![](static/function_print.png) + +对`print`函数的嵌套调用突出了纯函数和非纯函数的区别 + +```python +>>> print(print(1), print(2)) +1 +2 +None None +``` + +如果你发现这个输出出乎意料，可以画一个表达式树来弄清楚为什么计算这个表达式会产生这个奇特的输出。 + +请注意！`print`函数的返回值`None`意味着它*不应该*是赋值语句中的表达式。 + +```python +>>> two = print(2) +2 +>>> print(two) +None +``` + +纯函数是被限制的，因为它们不能有副作用或随时间改变行为。施加这些限制会产生巨大的好处。 +首先，纯函数可以更可靠地组成复合调用表达式。我们可以在上面的非纯函数例子中看到，`print`在操作数表达式中使用时并没有返回一个我们期望的结果。另一方面，我们已经看到，像`max`、`pow`和`sqrt`这样的函数可以有效地用于嵌套表达式。 +其次，纯函数往往更容易测试。一个参数列表将总是导致相同的返回值，这可以与预期返回值进行比较。关于测试将在之后的章节详细讨论。 + +在之后的章节中，我们将说明纯函数对于编写并发程序的重要性，其中多个调用表达式可以同时被计算。 +与之对应的，我们也将研究非纯函数并了解他们的用途。 + +出于这些问题的考虑，我们将在下一章节中着重讨论创建和使用纯函数。`print`函数的使用只是为了让我们看到计算的中间结果。 + +## 课后作业 + +一个好的课程怎么能少得了精心准备的课后作业呢？🤗 diff --git a/3.编程思维体系构建/static/call_expression.png b/3.编程思维体系构建/static/call_expression.png new file mode 100644 index 0000000000000000000000000000000000000000..cfdd48721a99bcab4300571a470e98da2f320195 GIT binary patch literal 10820 zcmV-KD!bK*P)4Tx02q~HU|=$Eba8TJ5@2A+%_}Jia(7aQh>TKTzreu3z|A1cV9a2hm|R@o z7!csY00epYd8rH-;M+9@Mi6~j7i1QuJYK++Tu@X3r2hc1QA%oYG6Msn0g#}7DyFQ_caOwTA$FfuSOP;gAiPfAq?t}HG|%`H~&%uCKMD#$NNEJ;lPs)e`@ z30PZ|v<{CjbBd32;bRa{vGr5&!@f z5&>tQ(oz5bAOJ~3K~#90?VWdYRmJwlKj++=d($B#Aq@y66zN5f-VqBnu=frkith(m{HM&_XIHg!Fdn*}p%|y(a;J0-{Oae%H!cxpU^s?3ul1 z&&-~E_9!AE_~3&NKKO7>L9J~9eDJ{sAAC6b@G19m6uu3a4?dh95D{t`?TXJVbM8R^ zrM8JU3pkl*D$41!PB^g`h0`j+hdKcfK}1j#UbS_uD&|v$2rjo9v)O#YBj3nBhoEU1068hUdHShmNXskor2FP? zAL=gz48`tnIMB4J)%*FnHZ|HU4rYGzUuG^|<9%Y7Xiil3wFnW-*g|_}*1f@(w%|-3X{(s~fLLY0cs}EdFf=4MIZDG&i6U z80e2;4d%+x*U>aQ*x++br3eZN!luHs?@EOyP~M5s{ZFy&ffo_Y8&Rw zQ$26>ZCX{DUaklzMmgsuyzS39w3A0){f5WK-GT*uHD4c_t)QS_0#N}!{LCuvKJ+jX zo}FuKK~K77tM(vi^AaXco{Y^YxSbkK7nn?bRee$q`{sOsrfDcZe#SnoN$9}GoAa3T z_!A83)`Y7@3}Dvc)qu{zQ(3>K?_1BL$&XP|=|*!44ws;s{OYd=c*cCs!IyJgN0|Tf zS^!i}gX+x6U2{1oE-gbuIFge~qv$vq_^TXDP9Y*To~ZB!#x!19TtH6F5$sMkp<&@P zjf*xEcSTtV#buR5G>*bg1x*B1Q79?Q$L4~_$ng5h%#%R`#j|bQxMB(PzM1w3O@aEg zYKJOa+xL>u^u1)Xk?yL<=eOyTxci@DiD}@kxA_m-reHFe82!lWJo)&<->uJwItaxh z)5{mK5!n0T|7hE!5eyrGTAs(Pli%UeK^M^|$nW>JU>?0;GO4t?_Hmwi@-a*`Raf7} zilXQyEB}UE|KKxR_t8vlA3cJGRz=r)wN0RiZYQ>v_VZNiO#di{`zr7XY9t z3WpDFqi3TCmaO078O$}i4%Jr}-ZAcSR{t`aiB}DyQ9w=NTmRtQk?h>Cg70>~hygtT zebPRap{SbtD9FzxGwTRBIoVV?T;7uZ8iIW|OAtd>=Vay5^`=LOjcNp%8-NRkTnu}@ zB_pp;&wVQFR7~v6&m%28o7|ji$|~*EYO9A(6vT6$)}c#JSoSHYnMd?zbwRmf*w}?7 zpZ&;{H;yB9-!>M{`jUW_14uu(i}cxVvGqWjp3fXe;*yo*7Zy`#t7Oln@+8-9 zgR)@*)odhw^8q8qPNi-0DBx6ASsHG)o8@1=NZ($~h>3~i=KCLE%br7ka*7(khuVh4 zVrE-TK5n;wsxMk>r6mBAl~#Ik{SGfZqM~U6%RXUXzYavl#4_r}ds)3@k0(ogl?9#d zu;>^7juhk@PikMedm+%c19a=&o%lAbxV#JW=+T{~ty(kuGAJsm0N}!bmoaL@0K`#2 zUS0tWqvE*j(zc`?$S{h!aOh}ey!{{Ud~gy|o_KKLe;9YZRf7A>~of`UJpS2;X{1>)-(XzcE>Sq z)g%jE#3ghm@uy$-_1E=m{A~sC&b18a(SdCTvVi(63s!3gO@aJUT~8|1A)C7(C?*g^ z1BU~*3U1t>*>Sq6272bf9sKX5=XvduS@a(~g78o?^B3*oo$LMeax^!JYU0NG9%1|D zQ9M6wKC5;l(<~wwx7&@$bZ(d{YJ{R-1~m7%Fyh6qxvpKh5a>hiZte9a$8AVXn5+%Y zDTSW>M^vS^Zp}yY*U{{P-mKlYgM_OF8HZ2x5$Eb6#S3rqy7nK*yDv;)%!oc*Ip#Vt z4;`e#1?_;%IJM*7IlfPHPZ<%R(}jcRWTdy|wGR^cqFD!iS-F9(t*=J)*s$wkue#iJ zGJqhfcVQ=WN4W!thR1-cATIC!DsDTNEmpwA{~jC20{6}A+INWPh%ii2&f{aRrlee- z!M)7M$xJ0_&nf_tlJ?WTQ%g)HwZ2;_P6E9_fq{W^7y{WDxmC&aR9Zz7R8_%NoWu0z zr|{T+r_(Gv2;CN2wc*sQ7*R z|1o6&xZS!em@QVqW128-R73Jh3q6_s_9mV+lojZ<_Qnkx0{X(H?wDmzumn^oUP~ay zxU2bF{BRT(GG|^fFFrP&4sBWx-l!p={ucJm*@V?!pRrWcgtP1@|G1_LaUb!l173_Qzk-Eq)>vR|%iL^Aan7(VhW~+s4~3Ok(Da zo}@3km!^#Z`1189xV&E{cBbUev3XRz`dHyqpeTyr^4WjbDDM6DNK&4kO#7zc^|Gz{ z2U!ZZE1C28G`M&iUD~zKA0GE{o7-jMi+M``DDv1FHBC@WP?&j$Z|5Y^sn0;-V60){eiCZ>!EMZHKAUaX1u$Mg1mH|`p>g4~bUoToqSb)he#cG;^b)U=x;Al~)w-8Vi%JZ|C@%2nv_2@@JvuMf- zkMRCWlQ;^D7}yJ_a+|I%5YbQ-6~xXj3#Rk%3-=Hg<`2}BkC;4tshTW|xZ_HKtY%P5 z^uGNPLId>wJC7Vgpjklm=kbr0;kV;+TDI=RWmn&U64#AK9~_I-Y5`!!Z%g^-i*s4E zZ3ayn1psj4{ge5>aie+f^Y5r|$~pPjviG#VP3PX+I~3;qv=X3R39A7QYw~k4S+`;Z zUr)T1P^<3U;%$$2!ZP~>aNo^W)3H+@A{vGqQ;gYSX3LUy8Q8lAqp!SzuD$wG+GISN zch8|slW@H}wf2X=siSI_;VicSFn-`gGz`*Zzdo}1RA4fh*u7>Uy}Nhj^5K2BZTxF| zKKCcCy|@oh)hi~|%7F2A5FdL1G2x9o&vf|t`Eh9LB8CsRh%r}RMTf3E*;Eq8s!hA; z-lmCOO1+YWs$E>h-fg@%eJ!_KeKFwK-BOnVhlxgIr46&yA3u{qWkn@sixoe!iOR|f zOlAufKYgQ7UQ$H%kv#l^8W0!L7?;D2TT}4&w@_JLhNhSZ3e**Q)e6r+d4-+8pdifW zXfQ3!W2fG>Vm_BV`~mBKok@H|h>>33;Bq;z*_`+X1e}y-n&!r4vm+w-S*(VPc;T>D zQdm$(MWr2+pC65*qVczwsgH*d#x6`8y#KLmT%tApzf_t2&{Fk!D+XVcl0O@ zr;7$*;e<8NC-Uk$Q_(bRHXE7^4BNE`X&uk z?RN9Qvk$Y)-GR5Kj>lB(S=~|YrvmZBi8v)LRI#f*nkLQ&-hH{|BJ=QJLc$_x5FB{^ zwEq-QU;9IM0aYo>&!AUCGcNe&G-kZ|C|0%pw&~0v9&!J3Z5Gd%sjodJZWmcuS%frd zOlXk*F>+9+lza7#KH>jrO1-)tYjx%xA7kc(vTH~`=Wv|iwZ0Gf<9UDbJUVLP`|;1~ zYkzooX|E_{Ptrc3nzbS}GOXV7_*8KGm_J#2&lg#!3CGJpjmrIe5SDWqBKqg~=a}%G zFF2j?=Nqf%2Y!#w-VZa6e}2-HyH9BT8uIR*?i7C~yy zIqhvxUyzxZNp^NNJ$v^2+w1nqM0$EUWo2b_>C(j~6LkRD+1aF}rO~^0@6&qkgr%dZ zs$^$pvuoEb#*7(5P*4zVx7#;+p9QF@%EpZwS+!~vty{MSYTr!bcDtE3ZytVreza`a z5|_*6T_7kZh^z~W}`}_a#OMfxS%F6Kf_s48D`*>Z8@X7{2X=y3J!NIl0i}LbvtX8W}CTbafRwnAy z7pmt2YWo27WT>ljolmH1Jg95*_;7lt(a*`J@Bcc~wTP77PqKZ3xb|TLz^ViC;ggBF zg)@-}-^$$wAAIoP9K>1uMDkRF`}lA^K+rUA5k711XJ?c3dNBysYrfJ5`;GB~S zkKES<{dd+@?lo=W>iX91yonU~H={Nqwk zd~LVuEKHl?xzk#~X{#VDHHEbFOzcjr&e@lbM_rg*&oxvR=%Yt+NKQV)(Snky@XfVL z-k*k7L6sNevTW&6atg|ixzp8$nqgcZ0TdPFk(``N&XIhe?wv!O3A~}HofRdlTJ{Sm zSp~J;u0O5Zy>a9AZdt?KH(XBh7A7EN?!e9wS{l_6u7P+;08%zAbC{cJ7aq*j#wGQ>R4>zfa5g2K_P#1$$W`pT6-t zkx?-uB(x$jW*CXfHvsx|fZFNEf_D1-UsYC3^&I=Pb#=L{URO=DRDYJddm}@K4dbZi zy1Vm~<);L%Vi%{4@4tGVuHlVINJt4ls%gA$*vZMyN zs9w*>X*sqYua5B2a3u2p1BZ?v^+=(&ptIMJr-?tM+`V`8W$xd?1wHyB3Bx#;n!&oI z^ZD@AC;9q^rGUOs@!Ho^RW(-3s;X2qUUd7cs;a2QbM?5{PhT~8)2o+d+>-9C$4FN_ zc0GNEfudmYT-ml{_Pf0P!*7K8n*pWTRdlCF3n!=Le1mxG&xnK1-*}pP9+^VovUOyn z9^~o!;<$3i1Ed};1r*ei$pTe<>-F(f)zk0)D!Hnu9`!hytMXK@t6IwtFv>8QOaNr2 zCPDwZXcEy7@R?;!ifTK#AHRK{Yi@ghXXY;9aArCmygZ4!uf2qA2M-(Bt9YT-$oJ|z zJC>)%DrO_kNy<`ckPD-p6Xc@$`y5k`S4Vi|BJXfAZ~?928tZv#(GYpY2da9*6wqvZ z`OZ}6aWii`^Dn}K{Ad*)&Hvpqk|pbQGU3*%2rw(89N0&>QzO`_u>QC8IL*Nf96Xq2 z(cyTn4^x1gj6?jkZUaY4D!HIjcY62if>}|FJkE+@cI-Jovlgu>%}ZnL`pu~R4d~mi zAI+OY;da_dNj|`yq+qpMaw{i`BnvKr;o= zr(b_s#mAgACe;Uct&RJ)u3_Aix0vP zEYzP(>(^7_G|_+HU=o@|SJ~zjD9FiV&2Q_-$uFj5yH51)-Se3K*X-r&*p)=%rmfJ* za#^)@JuW4Hi~9DZO^YUo+eLaxGQ0OAaU{PGYj6X4UDTIWo_Z8T;b>L{=|_ra5*yC8 z4eQ7}TF!-i`q8;g(@d?7yb5_uyfAB*fu%RI+<_5)C3ED9lc0^Y$c~CUjsx|K0>z zOjY;9ii;haH?nnS5~_a)efka1Wd}h-SJp=|lQ~@AB%yf>J2$UmPjV(rnzx~Uzl#VC zuuxuHz@9z3NlrxuUB3w+SB$w)h79Z{ciwfE0P@O5-;0RIjhBC(R5m}4{ViSkdaqiFT)4*m)q~uY5C8a-&E_TGwtE}1I=ipOFnpJ ztkC>g$t!b+h@PIbVYvXZbW^g3h#-YaA8xkUhZ z>BHIjxDyd)d7->9^m|Ih zP+62MBS8N3zpwOkPk(M-`=bD|dRK;sX!7ENqXgQ>x}CbR&pNnO0C{iDFCrq6?O8Cq zJ>y5Cj$NL<-hQa6Z<99tDu9f<^PNSCYPf+LcgrYq)xyevu0%rWx2N{`5u5y%Ul zC3*;V$Oq3nD1fZmtPk3p16y>tT(U((M2d0_Nq3NkpL<^_-6A3m`Qr7b1dwH0_j%gy zK3iRRPQg%Y&N7*FeJ8o>f#*EqNl(w%zexc3YSDTT5jnU;*8!7W{zyvnSzNw);|YOI zl38pM5s|Ond`bu(A^W@w0j*M=xO0fy{p9Q7@>c9BmuXMlr%%A&BubghDWbU~CFPJ5 zmfA$bDapwPrL@vv(7HD9a{*+3cBzPneE;#w0?52y)`^Hnd0v|I2ATHxVowzXa_+|;W<$}-X*fJJ?m}af$4mdoAUo$^^1qR+m&rS*CW*s3WL_=t>9>+yB={L+|A5I5` z65mv>!_Tj(D}G%t3!+CcdE9OIdv@I&y7vH}!e%pQN!y!igjD7;^PL6!clrV@>ev#1$hhWQ*AZ+^ zJ^J8}-+m1AXHc(BRqXqf&yEFuO+ zW-31|Or+AK;IBB*nnGBp9#Yp`S;Wep-r?!DXVSlWI{?g<0MENRk2kDX%obqw{kPz+ z0{GFPLstM|A|gEP_u1TQgr{Rl3v&5()=nmW{Sy8r{j5$^6$)~7TYIxOy&uz3l7J>W zc;^j-SoL#{)*X8QFMw*IB>MojKKv{%e>98mU=tbX=>!G^(!6Cib{x*eu0fy*6(z;2 zo%InDU;LQ+ZyaTi)4X{LY93et5-+jgA+Xc86UX@2dxLY|RwH`JEPL2mMX zE^9e}K&#n!ayab}i?ZSF4*DR^N=pTxN0+un85N~PYyqMhHo#Vr#gFg)NUIA6^6y6; zps2VUi`7Ee(JXomyMYjkhfH@l+qSG>;&b=vie21jsGw=6CKKgFIlTV-6sAo3im?xl zBPzThhxe^xeGasUiZEyg*uP@~gYO$igFuU3wA+ozWJ0r*vV87TCO`Hik-=uf?M5+~ zC@Iw4wyb79Pbb*fwR0o4O@56waScH1}A%ooE032n7WtSgckYWd$_p zIE;n?R?k~b_Uzuw=m%e*U3>((XAFRbs+w?=7xK{?FEZiDSGi~01Y#n?DLTA|1zX|a zm?!`Wa&wun1{S>9!Js8GV?O{b+$2*v3Wf(kQPn!1>fGSo4NKM zUHly@=YE3I4gUTXe)u7g|NQS0!#kuXKbyG+VA;h30gNl^G)*v>RQ7IN#klJSVrzCe z{V(iHkVRqkb1%^G_Q#0|v*0c}!lt>2T=CvNjWY9c(pZoMQ#@yBJJ+p&es>tQeo)9S zI08fw7ZZL=`)dn-?h92B%FD}%X&Z~50^X)=rfUcNwxQJ2{m}YqA{z!7uVyCe ztFHLC7@XzltOb7j@0$$h(u|U_O3Y>xeijR=q7oPw2tY+~5t~2xnHv+I_EfKXMu_L6 z`iC#yX3DgKB&DU%wpkPkuyWqVd@{3)#!>oUHK_`?%Gk1T4I?gn0)G|bvS9$bvz&du zzzq-T0;i#10(NcQ0K>-8C`?ye_RK>*?cTOTIxQaBQX)7#(TNxDI5h7nm0qUmGbjS_awtG{#Q(R@>Mn^rP8f!JgNdaR(#LfpMFPl ztUf?&k@;A2*CpKb69~ zR2XzGZ@l>eL4FzzmxiC`vKh144~s{g=A@?rF*J$QCvnwe0(8Y*S(wGd?gQ!m^2bb_ za4VsKR?uuzB+a6-eH;9NBYB7U@d!+69&5BACoKhNNlasXr=M{+jcfaMA;4cXwD_Lw zzY%)rwM2vld)}&D$v7idNP}dvnMN^<*_E1(H#&K4>Ta$bJB26S_%8|34FHXdg9qS1 z7B+|O3o7;^K6(9KMvi-ygy<05Zhbv%*MyJ;VZ_D75)~CiSV%BIK|wFG@n8S|2(?K> zK~z{Q`f9nTAcrMDo2H&^51y?LfUAe#n8*fIx7$<{ z=CktqZ8UGDn*|hA)s;S=pke}!7U(gxO(vDY`?qlWq-lIS;U>ZYJ*Vl#d3>`4E@-aD z;I6?<`@BO?h(382mXvx@gv6Pj0&vyv0RW^PI0)>b!ln;+G#fKNdkscDK!?^*Xqu1* zl-r$zgf=8LHkRn9D8d^yATS^Zt5qNRWyMFCu^igBXsQ>Z3xj8lcC&fqGDbi8Dm~ii zioK#Jm(M?g>Ib;pXzmOO3(5?cPu{tX zr`}$`fSwm%0-sIh6c7-okG;Ht0wZnZPxF|U3b$T;2>?Y$^VyP^L}6)}ktcQ62LAod zBF0^RDF7m7Sg{NL&@dt*qlk@(Au=+OK!1ONgM$rM=JfP~v>0&}jT==hGQ=}Lk7ONY z32@EjBXz|NY+AX5X>$(Juaka%MRr;m(2O|G4i6wDWgi`{7)3-we{`=LHyOD_cq_=u zNaCeOUS{0T?gabmu9>y&5`Ct|dhc1unuYqI=W}miM5}4p{ZF^^@@`PmT9IhhwwmFOr`U=g9RVyX#&S?|8gdH2uh>GCxbMYlValzg1>@ zGef?elPGyb<(_h!^64v+^n;Oki)87d@AX5|2mT{P6;6YeEx*nYKz64WRHNnmg!kaA zqA*)-?1Iq#3i)yI&+^7|j|m{(ELyE+be73~pBkroF+A{ZS+-)Oyz->}d-e7MdLFk; z-hW}D0P@x+U(3o>E9KkiAIh+yBW3A^y+)loS1-_I=#YMp?(Kgs7iPWptN`-)%=xnP zr$o8$hLHlueNVq7`tg@To*p|~M%??1c#qX8i*lqh$h5B(ds`;oysdloOrQ0GEKZyy z-8^fGg===|Io!U()RVz07n;3Pp1x1-|Jgq*lF#3LRRDSI^Y0BWnB*O+1yA38_~mT* zWueD$;$N?N4p&7o_Unh;7hZj@Ec$t={QC1^nL7Cax$j@ENO7fy4=$Tbz6!bV-*1Xn zA~dPuQ$f~2=>Rh9mWi@r)oS_dooPnBt9IxfH($K=s1S0k6nW|uN4bn2g53Sg2S(eL zf3NGJ*FTye%YOb*t{d81r+v;+Pupu>E=*IWPMvy&(*la35F6i$UY**oX8Esd+>yk^ z;~wF)DHDkc*Zn+;jvVI2o5u6R*WVHEU%@AzeM!TXy?F2A&*;*+38HDJe*Sdr)t?Jm z#_`jS3)#LqiNbOhqi?v8zCAl*@qBcYm!C(MK9|tHPj~#hD{bTBC6!j~IuaKV%6H$* zA>U@^mixvtxKA&7Uf5IjUl%>UIUt1Y!>**6*-l1A24!v&UAuNA$Z7^u+H~wn+h);x zKW{EO_op-A(I$iQQ-{$g%)kv z(<&~4IkV?crUY~ABNG@na4^05^(HJhpqg`m568n8n`SE=y7eI@Jd`EB{7P1llc!&p z#x2*3^q9L~`HKZC_5Su0zSNPkw_~zcF?oLL9|OVk*CsJz zR|tzgeHsM~hf_0j$%#DI<;!F?V>X@HM`W7YiNhuMTP??=pNeE0t0U}~E!N}Yt8U;= zg&(Mj8v`b@pNAQGoCQVIJ3VRJW}q_-8|wBiuVUA#9bzhqf@m57_*pE5Vi(a)*`!%L zc$2?Jv1^_(YeG$NBC59uz+&~sY*zKS5vCA>BLr#s4)ywfJ_CK)}I&V>ZY+9_kV)w>; zQWenbB`kjJzjW@B;Ngs_>k>KsA{jAc#cH)0ioK?|L??$Qw1vsfqu7s)Yot_V`okI`c=RP{}8R6HMk@idVQ^ugi1lkxaC&WbnwOSK+Sl+&Ag zyxVeb5x*BJ`uCpcZK|Th8_mv#KgRKq@KjYb_~92C&KvK4L0q^#(VtWnl&YQ5@oA?+ z$1yxS!?@wc%am_|KQkOJ7dk)n-%gj40h3;#>p=Zm60cmGIPN^&amSQXJtovCQF6>= z75qOlt=B}a(l!SG O0000Z|3erjoN=iw0*8M>3t>*O!iyOGd5VV=eGlq5c_eI5T1HJ9P=<9vyskL762EY?9%agWioO=n<`l8^sHyXctG`_kGGp z53(`Khk1T_Hw7#70RxOZ_|L)I;p-?ObS6|(RP_Et_+QQ7^})^f>1AW|v9@h^?oW7b zPyF=DY@M(N$rf@n2J81tsGS=_tZo<#Ayur+bw#*?CZ_y9 zzSH-}rSQr94CwS@Lq#2;3rbPoLG4DN!N5Qi|Ht=68Uq8_7bC>i8L7Kc)qb~j=Kz>N zEC=~-&PYgPM9*Jj^Q=i=g6WYIK7P>jKt9gE^wI0R=$DJP{Uk)b(t7D@*-@%?(8Hj z1Nf{gfbl3WNf{LB6|?PLy->30|28u|&ZpcHMzn89v_CUNL_I~tta?Ti)>pRb%zH`4 zJpP6#32FY|<1R%^bHs8<3hd;?=5SJIH222GKQl`J|^nWDzEP z&-{-IBZ6q32rG)pykSV3__&5e@4C_j3#XpSlCFR8doA&uT@~bXPP5fVb~G2QMINO( zbWP@G?1U^q`erUN7l%}A>lq%$n&&-uDG3OnN_v0>VQwq+ z8)Uh}k9lahXo|^_g3$aS?vN;=eJ!E^^L4&y7;ZDX+dk)l06l>q`RtOwamzVTGEs8p z)eAh(jwuzJ9M*I+T3;-k{TcY7!uMuITUN#I{-CfCwwJYbe|?ZJ$7`|=c{mmE-ij7l zZi9JHiF#Cx@by!Rx92d-U8zVsZaezHFXYl}YW~?&H1F2@`H@;|w@pkDO|*~y{PZH* z#-F4UC9#M)s-{Z)fa}|~o;1{w8TwS?C6zZU4k9jM{pOdQ$1()&`PXAbFT=`f2H9=T z$0VM7mTVhWoS0C$f=|N;nU3?54Xgs6FR=7m*KVPY2mBH1BbKHz%EY?1azmU`qNKk3 zdWQSzMIT~RNhp^k8d$ z%m*z@cZ&EdFe2y%yy7CQ_puQwCVpMC(CU0F(Rd0Jel=#hKb~{C-O6@ST$ovdPWrV2 zjJUTJc{r|(#z4B}iEeXEb&NY<4H#9FygD1=fwb{WgGb*V z%@alP7+sABW!ZvZyKbq#YVA4<%QZ{`_h5X5~c zo$&hOh|pS3HAiLJO*s0b~$v$Dv8 z>4G(2@wb1JcnDo!1)ZMX!%1T%4D@)vLv*o|YI6d>?LaxZfH2Tm&yot*zO$9K7~EZQg^2bv&Fw&a_W!$Fh9|CKELBE!#p#WmRveBOlu zWHr2^#BVmkJW`30!p!T()uCF2Hh=kQ%7*ouYK{TG*am^%9AJl2otRJbC zk03AjJJCYFCxqxdx|h(JPp#jsskpz4?|bp&JXiE_MguLliqMKnGsaJ_dtdLYlGZp@ zmWZ@aNHmcoO37N_TQhyE*OYL6Q?igux+I(%6Kk3Swmk9+GP7|@8h^=BZnLcSPjq>a z7dsBrAxpvr?u{$%cg`1OedgXPcWZuGM*&kJg~(M01!?yK!tB})hYP9h2l>hOc^-V1 zloa2MXgd^qhA&DtI*LK=Yrc)PbrZ60dtYjJQ2So-FeCClOtZ7A z+LbUMYb*NN&m2s$`Hjs7KUvo4%L(pMrsh}C2ab8du8(m#fqiTb_#3a$ug<(oL^AlL>3U!#*;WEpNLVbes92y#QGF z*c+bl2AWP*w`DMLd+$x5Ya$~{sFw&ghF#UfJ}D;pPcaC6H49u`P`etPS-)=Y+;u$N zUZ^hy&+$;H8smP!A;klQ=V}RrD?&s0C|V!DQ8ez#k?kIazt=C1-lJ1|pJlQ0;Z*D5 z`znrgZN=ZZDa8@lN#@Hv1_S&z{6(ABu1`0T$udR5-hcY5Gx8n3B%tGgZfos#u%x^6 zQpj$q^*!-T5L2>@CvY;=NmPYKx?m8{+9+{W2d(|?XB6KE&r;W?oby{QT%h$4H{sx- zESyzLGQkxpM(c|fdf4QsWqC?_Y&d@Z1M{hPVpgxcv*1rlz2kw+hw?_Qyv{5^dy(tT z`PP=P?gW*_`L~#L^O&(|G@dqrxuq&q z5@(a&y^oi-y{l(ttN#XQ+0))8ti_)(*onh$KaNi{Vx7KR`|OtTJ(6qsyByuFj;udV z&_X{{LNQwt3;KQy9dY{*)&8j5ciPnNdLA=8Z)~0N_^>UjYjtsa>|sHr7+o5_Vf<7p ze-J|9b%V#%aPwoN;mQEdZJ+rwsHsriiBL>2n-y!k+n&=|2qka0Qfz!v%wc+p1s4H- zDK5-e=^jlT7PETO-rf`mlV$&DZKh);*4Lrm|fVtC0@94`KWm zM#S2PHtjz=*L-#$%k>FjkBcr9zdV>h7iTb*h;;udBX{)d==A6P5co4Vukj#+>lUtr z_tqsYBvpTaY(zt`{Y&X-e-?kk0|QsXirudFEn0H5iUNDC43>)`$~V;HdMhLJX|`Nf z>aQfc(y)N?%B`0&vqv9LTuzG~0@~f}YoZ&39ZX-pEQtcC`bOPtQdHCf{y?IS| zmXEX)ArqzvH{pF?`3sqAe);c|?k%=BCJ*?_#xT9uJlwxW@o4cK^RG zM+ue`k8FB>;14;`4f9=Gx8r$S4XZl!3&}AU68V`Ekx<|Cg>QK}$JtNTRp`4zx6GR_ zK#It+bv5$-w7p*oL%mPqtCcFVeu?ena3&t5{kM~V9v!=8^ma|{Cgb;judjmS+wXC~ zl(v-+)8n5?IyU7qRFA8VI!X%5zmpl|_CHModYp_zaS1|}_8#Q(%3IV;s0URTTEo;0 zupF9(^R?eBk-MXE$ySht;ti#3UQZW!P+WZdj=<2hA6Yy$%2)Z^Q^ta2p>wy2scSPb zqjOyDo(kU(T{vi5R8TnHDEx=hhpWE>NKVm|kvE0jj@ix9Pee~LSehSD(xLTNw+q3! zU&6R$37KCo|B^zfL3hRj*%rDfB-603Gu?-kQDpz(WatX&lM=e0-^) zh$*57jP2WW>-{in(SRYnL94OXf06)3cxHckSj>o)=+9mp>UpUU_W#ENM_#kGl;^}i!!{xXD@5KqP<>fr{lqH__Vt+mGy z3c7qv_3`dA>v^q%`SUI$ky%4j=6l|)mO?R}x2h%$jH4TSP936)fjp^eQ1D7?MKukZ6kvc&w`;m+jIrY3UY!8?{46<-q4$L@A9_1 z6wN63>rdooD|P=U-&iF=N=3Oq)gI@4ww9L2dR^P7BpraWpF^BIA;!S)OQqP~J%tV? z8}jH?+!a-U0$ZG1%1G$`KNr~K6x1%jh9Yf@Msrtsp!e74d1}tE3E`y&OLyy zMny8UVWCYMfXH35c|zPlq$^u|>?+G%5eI#mOzgfr3^Z+KRMBjRzxZ;Q@h(B)BA#be z5XP0krj>lzt33poSf6t`{ktA51y6>+d)E}e|6Zrf-yhk3Z(KdZcXgv@R*qMzJZRp_ ztkrj0=nX}eLny#U+YABy*hjMufnP?lB*e17d=ap{hMQU4r9cAl6f*539QRU3GzJ`|&*E`G zU`%vNZ9A){ve*5cLr&IP{<}>o}OqpemHsYhVv^43JQ|%8l`kTAPo6 zmbkkQ<8A{UyqWHd4g@tyd#`e!n6Nhar>;dayzWbIfkyU!Y|IYJ#l-xjwxZ$!AgMv5 zFOtql#=EDjXQNG8HoKdVJO#SHn*m|xJFL8c2F4$mezKwa%76VU|Xk7s=jv zMuR3!y79Ib-G;yg%i7dskLqlyb;ZF1iogIi@ zL#!e?p`~NVd^A^?br#SR@=JJYV|#L`Va06;ZD+7uk+$cB_@1}QkW4iUPyb($*a92q z09kC8t8sbqM~17GGlpRn#~~w=$0J}fn?Ss`b=n4=3+tW}GGsUJKg8Ny{#&6aKxVZC zwo)YzX0o1BI2W+4n*}k85NZcYz@*zIebI7sY%`AJYWQmKs1m}p*9!g5G9Ef*b;wpLqK=3ayy=ucToCBm*3Z}+78f>%``*ucpS7DGl{aRtcT9jxGF3#S(Oh94J4~DC`Swzu@%;q)BQen^bk&LvSwhTRJ{6S%tNAx}t z^R#u>`g_DT-G@k6l1L~ffQRrbt&7M_(km|+qt4g-o_rtXAP6&Dm7hF*6TywK5{P*! zHrNLLU-xc2A!wDIX7}r~VSUFhABytfzoXvAXY?>UzS~VPIX>?uXw33MER2d?4gd74 zaM*FNZ#{VnME0+a%4(Hku2FC}e|h7({u0b3XgveBKBoh~6GFhM|C~#Qrqv`v`mJZG zWh+Lcty8JaeA3A~$K5fv=NYH1bazAV)4^bB6#pkqv$`g?i z=Z0e#CIwP_T35I@&ZvK9Af~rA0;Iay_L1} zU~4u=(rApS++wdpl0;E=e9cYVnGF79y~89u+R6!)U$eqw*cQDoC@tOwV@UeElA_o#0GTmG~?8y=Dmckh-J` z?>6VSkw?r=PQQt1k;wepC3^{pI;F}Z;DjestlSNXc4;!0EC^e>GanO3QnlVq8jI%ZdpIS{&S)F1@L;=Kbs;q3E6#^@BE;`I z1*!8`k_|!4D?n1@wqF7x@ z?cl5(W~_^7+5FS@0Hh1dr)grv?~CkNJCnhopVmXU|Nc8Oc4dnyDbQsgaG#D48)otv2>Xqa428wkmGb+v%dLU^g83HrmNj-Ec+A?>}loQ zyTgVaf#d_+o%9U(@{Z>;3p#;94Mo{LGhCJkb|(4IM}g$&Jy(A$U>95)+h4wT1FCS% z(*1r@-0C2C4s2y_QK78NiCi&ob0*}@yF*j%){M{^VH zH*P&|0_?F|+3hoS?bwRzda{N@`-n=dOI=G=SvNTvSIxdRXad`oN=nXs6pTC~LM56c z3(X-#v14z32>`CC)bI7#^_205kLNzFY9F4M`LZ&>7-TZbB}rxUyGM(P=tYoRoF5Tn z`E0*s$&6p2S)=(oa)l&_CW&PGgLrF5gNlaS&I_OX#=LtZgI8xj>OsI6kRImC)2W8n zN0i?vgt!>pICj}Vq|S66rd3I?Q)EsEE`{+mfBGc!OxeiyXaR!ubS-wyeh~LtI9s^;6`@XZ4|>+)!`&Sd zUXT$EzR|3Kw=G=|A*TO9IB;M;#6|ou&lGNSjp)^&vZ)Hd8e?kpvpGVpn}4y$$!;7+ zo~_m3XZaZViTv~v_ae4qm-)HnOzju*^7`3J=T<8FHpeja>OGyIvl!EU_jN$B+%oY1 zxg{NI0y`hOAjx+m#5x>Cc$EUnBe_bl)M06aZ2m@2K9j!flY_k4vaxmV)EY)H4NnWR zoK5_eQA*V7gdB&-Pn6#{F{((^&%Ym$&cqC2TRQet6*(2XOGHQkULd~kND~?->=Gmc zNwk-}m7;!9&+&^I=lePEwhi!>t8;1E`mRZ5I|A_o3)Cf$c+QszYrTi+{1rOBu^5mD z;k;hsmmVQkXv5B-XP1?Ur9aE1(xWi_urZV3tVz<2-asQ>nnXT7n0X8)vpJSkcG8?*^mde+y~ZdL?@Qpwv&XZvMeQP?)D1{Y|(>qOGI)$>8T- z_fkU(P|Q9pmDiDtKH(qb{EfOpU|s>D*@S%tK9n%Q`38t??)M(f* zo*vKq4BVbGoMeR7oV?;)l|jqd#f0f3T3;E=k-ogGb7NX~N2+q2NHNigq;Pw3!S;T} zYPf^ty$a7C86!LUrs|n!*&9G5pY7#sB+K$4f%wdrKMP+65kI{zA&_#}Rz#)wGx6V4 zc<^;ifaxFn?%zigzU!erf~gJD>PnuM``ifFrNn0tF)6E7vQPGVC|Tpq%=gzhWpz?t zJhu5YvEA3BDwjBx>cuFzh1dy%$dYh1 z)&;eW|3ctl)^E)<_X$jmsUXCJ#%{TFb@7IZYllZ6Z%?Cb7d#hVDEY)Ei zezqP>cfeM9Csz9#$z&AUg2Hlwgdn$5(Oc4^sVo)$gRZk?wkaj$c&y#E%)wA>!q}Cyn@cR^&0}lRf8r-c3)p zjgXzm)EbvoB?v?RqsDnR(sR zmBaG!US*1*lx_Srm&v8AB=g9qVRF6%`cT;?_f=1Gh?c+o<_8a}uT3(x2!D#*(m1Sa z`>xMhQgq$X1~s2G`wYaqlI){iU-M~xs{G5vVL52TN}S)=elK}|LI!f^ro-cm60=lm zW{KL?;9g*cjkn@TL^Jx^g89!^^KJ}N;rJJT6y((_mjIGg!PN2U?Ch(S6gWj6i}y9j zZ$`?U$RgH$_kbURNp)C53uD=vG=nt1U)vpgKxJ*&zf}H!mW66D-zCi>jcCfvcRnoM z=UYAuug(8u7&gRv9w$d@$s`wZos{sjj{pimuCf7hZfvll4qVbl$+U>Ba`uJ<<@XA# z-x_mf9N{R#?&{f34{J~Ncd8ZVpBLxH{En;p?@#>8=)TJ*_KIC+I(%vNLMeaxMG#Fw zifVK%5^4(EI&;>$wt%{1Hx#-}%A#Bt4g;5v0~5*>2B^IOAhT#5_` zc||Id_d{{%qCdvsPpvig(Dei3Vn7K8zxjoWfx%W+nC8b^v;FN$TsPraE|3{23Oj1J7 zkrUT-t3&xyu!~hXD38J8cELPwlPZc~ZFTCABl$Qx^i#@xwg4KzwC#DH=9Ez=&2HXD zb7@s@!N{4h3m|RmGBaK<0n(;;=~Bc$X=(ThABJCJS%1`o6}ap<_d3fjors^C z{|r3Cm9!K2yQzE>@q=qes7*;6W?EPmfckWQ5d&&@Lv2t{;dED&oA0m_Pjmf|Ds>bJ z^H@O^rD!ykNUmH|WY=p>q_~VNFJ<6*B7&|BuKphj04EmL9qMq$S;5}qkf<*whGWut zbZi~zO15;%^`6K!I2|~K+L^KPjJwH6c_%y3>xC7taf~9}LnFCDBMRH^{p(utEXC{- z9S7?M-}q!XbYV5y{>o*6B`UcQRV?Liz#N$9z{4%FC4Qj}ICQ!=Ehq#ne%Uhw@`!pJ zUKfxv?)_$k4Y{Is+CHv1f#Vx*uo@>A|TIfls)&DwsigFlX#^`z9| z*F=`Zzj5fU>j`clN(X;7`d=bJfJJ;gzra3V%wTulO-HYP4JLQ$CCHRo@ZVx*aK#0^Att?`q9aCehij($tARFAyB}AFB4&0yDpqBG${L?$EMQ!6j7{a3gH~o@lcu zKb?Rl%aHsnoc8|c4$nYyXBKTKkR|KXzcDnscvKM)j zMPw#b#m#k-*ylXnF12OL71O3|Z}ImGF&=}V$zwdYR3Mf6NIP@0!gn7l(`$%NUY%`t zgU#Jhvc@E2wU91edpVK(CVVCICC(A=&9mN6$0Sg&?w7iz z3@IpG`}(%XgoxRdo&`ewoyVq}2lANDUNXVUx3~#CWcZ;^4!CSrPPrVZxdis-X(S$l&}Lw7Kke0Q$%MqcvA0@xcH!YQ3A#O zr@MyLU2Cx(0w2h7`5-cl1N*>)77R=XJtu@$9L5&=QKJo*5~K8-V<~V?=w#AsNGJN_ zVf<#1kPx6Hx4)`WB%G-){~}?d2L)$J!_S2kB;W<+4y>ZA9^Nl5X9?+y+GsY2%;j~* zjGCl;0){lDh`OMFs%WE>e6J$W|; z(e}NqFKg@!A`{95Y%p$7J^YG|WQ^?Y7w_p&fAdg#Ah|qmhx-Ge0>MR`gji(;iHSM) zf8Q$LJ0S=!<;fS^i2K*c_8YYhJD25vXFB_L4uf}jursv!I4aUAD((NwdJQ2dAlFw< z@p8)RtSnq+7pQ!Rfi2wOEcT(9-9StJNZv3XvTDizo@!Z9bL;)f7Cowj`BmUW1=TM< zoo{o*w3bRtX)%+pC}tv#BR*^JwM@rxTAg?cLhFAsAxq4tijs`dFSdAavaI!L{g;o; zN}=-RQi!hdhPBn_;J?QR1r5HYp19#g-qq7vy)v8kihf)J74w25k!x|dRtFD%iA(Ey z^fNAh#tSU7nen`(z-H;4@~(F2Fc-%&n3Sr9S{}^u(>nbw@3W~!u0im6q% z#5!RAoMYH7o*)Msv=yF`U)AV4q*ynE#7wFwFSx$cW?RGA@nowzWcVZqH5+CoF>UB^ zjHfaGfoh4@aL)RQ^Dj

P%zZaReFZ&Iyn$Lm)-ndJu|Zj!}E82Oxg5-JVZf5?;I> zC8^Dbd*~LX4i=bpwbD&=p0f&f$udb<`SYTHm@bmbnI`|I$GZ|8vi50RuoCU?pCfI1 zOI2F7vEtGd;s0djW^y&`?Et=DfbVvwwVU5buFkk)%Kw}fTaQ37Z(~|R<;FYmh6|6z zA&7uyFT>s7&;Y!YYSOssWnB@+_}+3W+9N?xlHVn?3(BOkpfOVHaLl#W^G5PrLP(5w z(r zN7>PoZw9lV#r7);(aunr?TRT|ZK)OeP44El9M^(6oj6=##m-9%|G!M5DEu+!rc_wT zNs@a&%Iiuu=3T?vwxEI+G%(^u?wWN`Sj?vOyUld7-{0U2Z_ayOm@Zc360U?3se+xx zi7=l*sn_C_aRQh;jyoKoW&8V^;S5_E^{=vPqztMb^3?B@TeFf7+hUGHhV4lFM$?2_ zO?Ru_52*I@gvRhj}SEmzCE;FC{uVDL1uIJ!jn{65Oc|k@W=MOP^37=H7hy8wu87 zX*i(e+$4z7To*Jo8PR=u8^`X z)sA%ef%~|;a3VrEuRC39z%pvzEq_~!jUw)~7c`w*=k02SE%_cd-pPv9H_IvEiD}%A zfmw_kiI#yFg7Z^Z<43M!1}+X(jO9k$m-};-hN11IQDW#}w4!p>PH0v{P0x^u{}_u1%&K3o}*!KI!3y_(eMN^Nj<62qKp(k%i%q`tVA&_jXQymh%e5?=$4jbPm);VNqg zm|j1s$Vs%4`$gcDIx?Ty=awUuV;Sug{M4McW&kr6L9O*;^swR(v9hB203)NI5)~1< zgO>|o^P>N>7GFWWnqr zGN4JgQ2fN`wdKLBizw-#BR>sGSG86b&CXHf&df-Vn7+7v2FPyA_SpF6F{r_olRD!lPN$loT^uQexij%%@Jit%~9knrgN-e=OJeK43Vn-f&JOZA^};Gme{Y0{^4& z*J*s&H$G;+evc>1}ANNA@ z1Mnc1`LQ;N#k@UGFlf#*;2@M^wqT^YPTcUZgP2qow^}WH#r?$8&@O_--l-yN!9GTz zFS3{J?6de@noO6s^Ye`XNIx zht~WGhLtCNL=mij`v8%d4}n2)$G-FAf3Mbp$yOGVB*CH@(gbAkG56DUR*dFqD7I9E zWuxZ0v>Ab!_%+BXqASK6oKrRgqRXb;THGsdHPthjQ%V$TG+OIwPu|ofX3_n8&k>o<8#(Xra6Zh2VqeMPKjW4Fg zk1gMAQ%Lvd_=kToTX(!!p4wJFIw-F@)lLO5??ftF@24HGjuL-gBrMump#fMDjm!yUM5BJMR%;uf4amYBfeJ8ZJ(!b-bVo zc|1&9W}EtBWo~A!M*yUl(wc&biWJioJjV8oGwgLLIw28VM6U|k*+u2x9#9ckd5${m zuj7j0-fjL?Uy+h#9~Gx6>n#4*p*@%9B+4pjSZ>lQ)IF1{pH^&V#7`4{c<&(B#)Vcb z4KAS0t#$vHrUdFojLtzZA{3rus9X)Rhg@#Z2|TxR~eQ<}>a4B>!YTR;poD&82=>J#PAHRh$q1wFmH~$KKa`mDYk&jJh%k^u_)E?sCIs z2>B1TF)b*QGsXH4(v_=)hY`_l^b7lGL2sYbpOTRcr??hd?>c2gPK%<->wD3> z4=LOgqIK&67|&5-*8m1~GvzTu8YNZj8!4qL zkB5f|xkY>to4x4vQg&m5xeo{#Qjy>Ohn#Lqd_9$SG19X_7zdhXbbz5mjALz(yKzqA}*r`biWs`U#k&E)Ynj8xz?jJ(D>O>D<#R9PFDdK=Yf68l)H z4?Xi+WMeVhYN)YU$1hGmOY}A7LkT_d4HBhZU~J%@zF2!l5$>;T2_O+O zlKCjLk64ME$cA^#gFIU<_rn4zt~U$Q4NIrq5X;L?6vNb`TPh9nz1ns2`HjsdHd#_GKR-i0 z=K0<&Z`p17Sy46Y8ry*(z2Z;ch5PG4b~%>Zm=D(SC@(J!)A5Jju$rJ2Jj{wec=`K6 zKSzERlF56#^i~=^qZ}+9P~2l4-@bkfT^lL5KY2yPKjeLTP`NkXg!OrJ-iWf5CCXXs z{w^y$r9uDJvWiewXx?c^P>0TayTzvSW7MKg1O_Al7C&N9k33@61e5XJ{6}ZAlcZH| z4|a7oG_Q%&d(FFgM!!^g21d_I*evT_7hKiRQz=Yt-zGK5^x8ah8(5>Q@!Zp$?|VGu z{_J!GBLtZB1hlU{i{>>3w|%8T3nm0~wz_tAVN*}V%ko+cF-OXlUv#_x$ep4<$X&5u zVO^NgX7rSdlPef)C*KI$7Cue9i=c8(I+w=U%tQvt<^Zp5d1?KP8 zp1uPqksiW>b*DJ>+~Nyf&ha1j6`5AI9_c#aioNU)4m_^4x_@1-xEh!CC!VT-GH2J# zJ@2igSh4i)EvQ60T1u9^lSw)xI^%m_XqnB!$(_0V@m8C!7lrJwR|1l&P9HGMolonT zaigdBicDhOAe~}Em4g^Dxbils+?w&V>p$E(X_Yr$8qDR+B)A8Uf*g+ME%;+^xEt}~ zUwi||_d2v(u)9vs7p8TLSB!~_0RURDX86kSnaW&e^%cC$m#-1;E{fmcf7!r-Y_A`fj+!JpsZ8OsJ7;xBH=oq(9dGTQMCc#ZlT(@-~3+k5-PmgDpB%Rq@@;n z2!&SaD*F4phCpDuRL`~f$9%b0ny@u4Vj5x+=3jCs&xKV8tAS1RiK7>3kVDk8|8nxK$YR~rt$EmQTjFL zFobA5sG8zON@vrXD30KKjuqZwJ_R)tbmopf_XHBx4iy3~Ma0l$z7W%G=C+G2WNWbx z4xtM@*OxN@%p9y8n=|MBQx<)Usl)D&B-%@8WIm-V{?&^iX$9k>Nl8at19}jJQ&dyt zx5S%gvf^q?!k)4vT2}mp4uPlU&MlCwZ(XXopHI|KUXWI&O`u@@Wr$M3V&a=(C||X9x@p4-{Nl30Vu+3rJ;m-)#RF&{Gkbd9vZfif6WC@ z9&D{;O@${l2lH(u>-+*xaRMhJIP}8pZpD2Gz+dbt+i!JFae(YCBHi3)pN~kDU^iZg zyBes-_J$D9oleoZ=Jpp!ezFiDYPwytK503sh;%g-;V(&25nEi>FglV8(Q}>o0^(c! zfJtL2F#67fJGMhDKkF)rKuiiH2XuWnGgQ%bsi^C=VCK7+r+ob%Nmw{1J@QQCGv{w~ z-5>2NBrn_{A!VzW-H(5u^sU=wgEs?6fDdZ{V9Z$t0ZUKp*orO+-&3nQqHo$&8HJtB zzU?BU9RNNWW_7G#H(VKcl+xPjC}OkgOw-Q{M5fmv+mb^!-U@6lp+2rQu{qk@=Ky#y zL@a<>eC?iq`1!3lhqvF;=ArQAsG+PVqlj6_XDL#5v;!R-HUQ1vNUZ#>6AX|>XJeUO z8$A&#k$?LU8VCWQ<|$>7g%my$r^t8SWva$q&mAO(Iw)dY>!Gsg=IqW5i?#qfbh`%B zet%?o{;=N{R!|}F)!(x+1#1xf0za3<-x~M)w*)NOM+T)A(f1Q<6MY>knkYPAsBv2G z=!)PU*Q_#HfxlzeK6bSxtu!4d#0~N18cf-z&H}HqIf=$+`hl`~iWmaA<+dJxNr`it zo0%xn7AG&1fV5)_n6iegAf<~=b#^3vt~`E<30FKhJ>3rh0~!4j-b**3j^+qUYI;Su z;zRTcG%ylM{Fsa8Rf49;%?;eY6`(ZWmVev5?@o(1i(oG9LkYL4QvMs-UN^wMA{|So z001UgSB70CTDtB{W!@LFU)`?Y`$LX2%Yr|P*ZX;yns2C#ODFfX9c7nf4s6N#YS7UlRY&Y%gS=-e;N1UsYG1y_^ zxz&Ka^~L+Q5!QypEuRStN!~L0op)mTa%emp6n6x?==XkR-~$XCs2E%LownuuP-(lu zlfG)ku?EC2zZg>J=PyBzYB9`@B}``6GbXO!&-O6@AsLu$a376Rp+Gdbv|=lIMuEI<}wF-OkR2OZYl^J{J*hT zXwzRmfj9tWE%NLcp4=@2C1FtvkPU+uDjc7Mwzdp3#2>te`&7AG6;VEIdD{ZVG<&${)q|u9 zvD;BA#eS<8ih}`w2R8+DWfKJ76Oi+z!s1NQYA84K$S20%%#yyqdrhd-(R;j_Zk;N* zal!2Ss^LJxi@5iGPAI(O5a6b^aeXyw7By;gw&d@FT02m1<^k7nR4M)2ul#}v7EV-z ziS-?720sc|%N#Hn;aSvR{$wAO^8i$B7Xa{L@^xjgx0Viu3o zsKozQVnlE%G2Hl-hBDUlF|{~JE&Cq8g!KaLIof{VSU6=!yU|kVPT0(ohnYmb#2u&k zS$Ji`fF>N)EVQD8Sm9mrR-i*=P)<;ty%f!AbX|iDbz@wV;ew|W?+$n8vDp%S)Pf+X-@vk;7N@~78X;>NsItaz6_)X=NE#o(=loI38bmINf zUN}AcT#R|C#-UFN0XdLkfaAMm`q&*x&Ttn4>*TEH>3T}#1b~3*pFyCLV!wHgLx7|@i564*JJ@Q@j?5d&?8Pw`%Q$E%)gTP?y=hvz)Untc1tI=T0+y^zr>}>CE&b$zrPw6Wq3@6 z&(4o;n|7;3f3c06Rs?+%f6p9H7V~(2G-gM&XLk!sW@~fLam)1XF6k4%2$405bv^2F zep^^KP10;2SMccb_^s zGaDI!%)edAGN~OFZH&$uA8yk5(ljWunak97VfVwnT87G|FCe{d(b@anR_lN%%-YVX zx^Zpfo%C@Hr}sxEWw#8^?8eohFW@ZDB_R1T7SM!xrY7SZLj?tw1U2p&gw_zfF=A$I zH>W$Y$kcX$uEx5dLmS0~{7bg|vT0>1NhD3V_2gdLQShOTCrZj?UX`xKWW?#E8nhMKkCV7whxA822;%gjgeMB*zm>+ z_V=?!Pb86r3JSl0Jvgb_bxvxoRDZ45Y+~rQUIS!=|6Jf`#oV7G{4_oB_u6sVSwY=N zgBB`Ppt>#MReO}!y{U#Eln9eM>9(DqejYN$O9lSZtjGsnT-b}sn=_vJEYPDvNm^$Q z0sXrl;|+b&C^)~DwPGWH*E~%NGc@#5Ola68p<)_bD{Nd?8A}@xEnlE(98*`#Vf}5; zqr!ts8QQouWvs2Y?qaS{C}L*AS+IxF{l2pxJvZx(Aoq_okS7?Ax~{C!1dOnZcV?iSTXRg%P!C?W?c!c$vc6Z{iqOnjK0b6;rB)~o1cVGomG)&r*^(+`_pYd z1+ftl+kwhwOgGvGian`E;?d0#iTEiO**f`W4s0j9nWwvZBXT$W+K|ndb7+S3svT}H zHNRv}bE>tKWdVqZmb{hkOE&H;Cv{T=Z*QhG=VO@3*+{9g&KH*`;MR5)4dt?vOV-Tl zD9y%sX9rNzg_ji$C%#n+2mNoFi~rbw5|!L12Zc&a1R33(uR5>nDQsk4mr5Yt8hXS)5PdzamLuM$gLlD#JEXud_+ za2W4);_AKxY?V_HJ0-6Ay4Dmc3l6O}uz!5JbQq(*qSIP(TAVD09TFS@FJ`(X={zmddPT#1Opbs|GtdA59N zmn6EB_o6IjMD&XOpj_U>h9__{6nG9i<{rvN?r^u2-5gF7lK z@^OkFJk=BTiJ$wMi`q60o6896lsH>)tc}Go+Xvh3eN6vowmB`CwTJp}TAa^dmIPI) zh8>?r@P~*^L{z)T;K^VAIxami)p{>6ze#}-`VQ-_%A~+5te#BPXlSQF;pyWIHyKQx zMKQbJRkm{4Ag$e3gjK`>?ck>mfrgfz@@$vAf${QcIy$M34Y5`HV`Q)IZ$z=Sr?9@f zj}N*2gn)JZC)Dz+i1HOAcOu6HOJHiZ?|zW|2l0-DRw}(3H^YFaS}kz*PPAwn`qoS2 zgxCJLTeRlcT2Cwz4E{TN1#fmvOK5-Am4?lqBp$EdKEbaZaDK;o<+{5Z0X+r+c7}iX zQ-RiB+f2{he_s^ER3i9#)lf2${RheRN*ro-fHBs<8C0lS)!6jhINSgLuS@>OcBPp| z1I5Uzu&+$P>aTbmaqAMtN&X9zDg(eq#Qo&ww+lTS<3O{6en1N2Kd%J;kS*bi=Lq=r z>Z-J&r3C1_wrZF+j$8mbtKp1dE@6Y{sw&Rp@5cX+1=#8)kZ=jTIJTm`YixiE}PM!MsA2AIKQd=BH1jb|W5Zy*A< z1?cuFfd8M)^u7H?1yt`VgT@PiXl9h=ra7nma&QQUzLGuj#;{_aqw+Q8$t`qB^cT#k zxoEuCiPd{qeyh*@tRg^IaZ>5`Sb7(@4a9(!N0kup3ef3-7+4|73-26!6%daL_R=vG zY>b<5n$p9QE*HJ}EK8S62V!`6X}(WFY0@8avtOQ3&uigx8bBmD<_|PA|39A2GAydL zYr}v@m(mT=-QChHEiDa7cc*~TjYxNQch}GzQbRXGH+-AtINtA{zjWL)vuEGeIJiksn1Qs9!Unx z{^ta6`1mcA3j&#lltCD)4aT+K;W( z6r{N8%tPg4zM^^qTYo(gwIvk>y6C zsRZmxlPN-99}O<8YJWS00M8or#IB3ohVy+K3vR-Yu6HU0rn)=@oxf zfwC|B`<=eiSPev;JOwQ(^iY8<8PRS)N%kCIi0?}f2{gqklzS$#`NuhQ4>pExpKtz6 zya2SK7tyoH>09sk#`$y00}1fTX#;vbW{rM zt%x6p&9>)fu?lcH)pcN~t|2KV@Ib?Y;0*Xgl&uvh4|2Jqy`jCNK36IgG!s<}PW-Z8 zltm6m*May+2I@IBmPE+2F0&Nq2RuIGkR23-U@a}nPGlBSU!4QBr%RP%VB*+etlFPQ zz4i+eXvDFqz|adsr0IL?Bn~8;0#zAHnhf_GpQrOd-)zPK5wrv41Z^#$#Mxfl+NIjz z=GY=T+tUy`#`#ITDEnN%!9j<}T3!c?7ylKh*qi8^O`3L(KcK3GE3I?a>q?PM$|FUsxzei6!|2ueq$b(DPsZ?8DbWnSA?C(_R7 zep~4CHRWV6iLVZ~3X-P|JH!!x7aEDqAJXHlJ{9VF-fST&+8#!e={*f3K(+uEo{*U- zjr2hMdlcx4ynJYn&7iuLLxl?d4ZI{Sstxs8(=T6}sW1;EL<=VV(7&tW&txxX`76c4 z?N7|1j~Mr%A|rffkgBvI+ZfIeKg#)QRd*F#>0^qtM(_xj?gScH1WNPr9nzlR_d7!i ztdfv;jTkN@=y&{itB)=r92GDxm37TN#|xBbY_k7U%z z14`j&dL!qc4zE!h9k;&cYx2%*)TTKU1t#b!Enh2yUj!;#F>oy7A^biSNqDM@07&=aJ$-~`_~+<5)vGcr>`FQyP3EH+zj-P@_TvM#i#-@oo-HVaYk z!FMg}CM0|1(ha?&Chy`ha<%9HxnMqbw56pn;?-d!?+89m1hiI>Mf@BPLL2aF1FGnJ z@g#+717e{bC6Q<6N^YX%ck1eeY4vAwvm5T0D)(W+kF!oMYO?%Ox0W#|l<@N+(a%gK zA}@Wc?&mpR`tJ>0emC#OhCxZ4H%%sas9kRniw$I>`vzdL?-L*IYQ;kwi`gR#>&Y1K zYn4SN7DqYA?FvIB8={9QtqRx|EUh5dX&1`(+U0f5+!=8wFMXJhnw;%f4rcZbRh{>M zoMNU_YbC?u^UwZRnG`{{OqbYU>RCB!3TrWKc z3CVD$t26XXuV(4se0;u*=p^j;`=lHZnA7F&@5BjaJ@k%9I zC5LCi{BFG1i|DBjTIG#lL3uZ^`Dr7=>y*t|?I9^oqr%M-o3sUK4?L(_CM)y=3NO(+ z#+5GAps`%J%IxUYs6plSSpPkc!5%bzMfpW2Ap6fo#8YWyG8Z5hpW~Nf9QC) z$+$J&v0(NU7OhDFF~7;|2u+%OVC9})lanC(;nLDTq6T7V#>EtU1gK|(&x2$W&xL=^)P%~?I zUI8o0#lHf)upI#ge*8^~Sa^oQcrr;H`|kHAz|5Ns%}KQSD+-K|=o4kH=8=%~s?U|| z0Ev53KXWs)$?f`ACbaJ?8IsZVg3U@SnW&WSUWT;_EuTtUXA@LjYo1$5 zN!V6hnT%9J#Ev-g&@;m1`oLF_u_5@kc?@keyW6$3x%;7cX+)Jk43DEx7L?(|X7czl ztmx(K2vQZ)Zyzk6@Zs{Lam_KH9a9PkPIlD z@qOt}1Z%AhS1(u`$Gl^2*fnRm@$<8-)6lfM@{lepWY{)T;3v?NQW5g<2m7Ge-iVXn zrVo4EJ+M!`7b+u)Kf`3B5f0|?^dmqASNT8(6C=!a(FzA2|Z62J$2 z)iFZak{2FXjJ{_x(K7gF>~;DVdu#n=Z38Q-yTDC|Fk~6TW|$DsnzTlx>%3QG^4I1j zh4456Gwsw_tY1xrSymr$y?5_3cm(V>dp_oRW`f_kF-y%;m#Kf56;?!a^&=9_6Kvby z+S`Kf1>T7`@yochmpbU`C9vrf;ac8Uszv%-TuiP(*NUehygwJ+(YECJkIm$V%_+*W zZ)C&vW~A?*CZbs3XT5YKJ zUAwgeLZlEg=UjC%#$4&nW)~=Z)RK6*)RG0T?2G;w=?^L*9^YjyLkn(Hzn{4jjiYfD z-Q0Ck+&Y#0uWRlWf$1K`EUDv>v$X3olcn5BQ*fkk!(FVH@n=S6rLa`zm-izq2h;~N zom!Xr11~3T9NcFsW8AML=9TSBrpTiL)rTPLjo$`yrqwMD&Fm7&^-CIpSH>&;a{bv@ zJ~AP)9aX>oPo$O5_?qvgAe3jsl^0y&tbs-+D(JusQ9e)uO?oONUwd z0eyQFKP9*F39tRRwtD*;rb=O5K1-{h&aWi#0Z9f*rP%mXAz01d`^2O1 z5H6xPF0EV9h1g3XUhzn2XRV7V=V86pT%KiWe?-|W4)GfLp!qBt=W#@s$@N50k(LTnxgWpCXnLNzEgLdKXuH zDui7M_?8~qEXUx78C~vdfBqtJJdmdGVkLw3#iI<#dTmpVXG3W@JY~8WZnqti?*x_A zA0WlXpW!{84VqftW$GULixb+^My7=Zar3J{?|$uq?|T^95!1x-B~JG1YfAi(H?w^p zH^Q~7y=P(F$BnP+5gcKdt9sDJOhp%u=l!cHJtSDtKSZp?uKrO(tC}ANUzN>s#mrQT z>Bhp)vf7VmYBPi))w^Jm6nQ~HELXr<;9Za4@WWNvtI<4h4tal zDE_=*X5wjUp4DYzzm;rPFUfqlJFs**mAxD1iHD18dEjA;>Onr@?dT=`XgZq)>tW`z4R2KJ^wetZmsnlIm_-cc0Ux z(IkD^jZ{u&m;|e|S?7myyt?B6Z_X7!oHqDe5%$ zdZ4UXb1qcHr%2DsF?!+ekswZSk_kf9Up=Ybxyu!?QHJVhQbHSEnstU-bvCj zLSJO5-jlU33KQ3qwL;3TZQtGF?v}I|0^eGRbtbIPQKoptL@QE1^M;i#I7DW2Bb^FU z&dBVmpWWyaFjWkxu^FkXZnQ^9T-3x?W!><4;8%*rHK3gt4z)BSR*fiUTA2z(*zymu z<}WBKyDPbk`mr*-!!X!6!`vsl88Z!ot1Czsi; zxaus}l1d%^v?bAg<1dJMS`-|!b?b~v=$Dn) zEJN}(Z==>)LxLr$nf1*mu_L*AI`kdtd*tY zKb@#Gb=Cfax2Z6bRCP4(lq2jR;%vEeb$r?^t-2?uQfZnZpkiq+9Yu7YTMt+QuPEcfUI3xQKQ(2c z9fknlZ&?urw16eJ2KnVH%!xCGFBiCm9yS2++wk&0xCs1vhqo9GL8LD5Y0v#KQU ze$WmOn<&2Bs<)_4)6mC77sw54fEraJ5c;fNX4T}f?zr|}0{qLjaK@Tn0J`H1bUzrY z{Dpv4iLeehXFYEVm>hBu$jrKl3b)^q9zqNOSzoS#I2#=;eT=ScbN-&ei;?Q~0!and zli%xOCg5o?Tf@kLT!fNL0QRvKV&_RQa*tO*&nwG+Ktao!T*W({Y%Tzv{jJ4j1L!t@ zw|jjF$abs&E=IC7OI8&Pub0|X`=M$#R@_CN*&Ooy!F zx5N`~0qKDeJdwRWvC}A+Q8>pqxI$C$cX~#0@rRbuX@N{6uSvqGMpmY!;ZJaK>nh-c^YXA&n%T&pF#&0-C>zdsz8d({v7cP zj1v!0J36$cC8;5D;^u&1#JM+><#Av&C!F~Z4f=2=l#gaF@C^3Xo+8ictfsaZwg_Vj z5Cqp-q0q~)H6dZHI)6lP;Xh6{8B#~5qysBwOk%=EKZPoN{JczHlOsrTgdH3|zV4FT zy08e%4@-IPKLEUs+`nJ-oW{)Fa%xhmZ=i2A^vBxjEye3at#KG2f4jEcS71zfO87kM z14-|bpDs?m{k_F{-Qz%fNtd7P|Hb_}-jCht0zMO__;U(ljJI-lDQ_42+W(9ofD5ru z%lRHT8Y!r`vGe7+@;~FECYw+vMYP~_`X}yM^haQ%tE}3D-J!>fjVCf31&XkMYTnl! z67dDMx)1MF8l6;|)IRoJ%tj++NR0 za0g`IWW~pGKI!`bEo9Xxo!-gLU#SNH7 z-*5xdsD}xVA9xd}6M+&zI6^)VG&4aLn5(STTp7PfU*g)rNed|afsAgV70@ZTJOPp` zdNUHFAV+L9_ikl1GD!i{ia3V%=G7#u?vQV1pmm@ptj>HT1C4|rV*lpw6k)jqve$nT zB2EWAeN)J4~Jd+5v8NqaV01XhVimLDB9CuzL`T$fZMrm0vd6C8r!h}LQ&_}szyMliA}`!wc_#S7Heh};f;j(#VMo`}edVHfq^MN0O2obY=QU*O-`?dPa~nCpSZn(i6T_K=DO z9fB8HZDGl_Jm+6hbt&T=-m`Co^sw7zN8CCg|8Tssa_A35-+xJWo|er>(*2p7n{Nkn z1J68P0FeSaKvcL7Tt9GBXdSCuD}q7bFvIDnm6fEFh*ag9i8fM~SrvSXw&zw|m5lId z4evF8;CQaQ6&LpZ7rgNdm^V#dEBrQ}0lNnIK0c2bSY+7HJ^LT=}yw?Intg!iR>10zFuf1U!nixl^k=c-L$&V;R4 z{)86j(*}VnzQsm6sRy$=a7S*>)D=y>2Zxewr#lGwot+Wn@QHvffN1~ZnNADJ?8^>h zm?raTeUjYg65ZpaJ2&-cLJufj;5WV-3UvxM;jo>m9@KoefIX>8w#)>KQo;s@VGuV! zyK27D5*X;+6dN%*Ezfdtq`UnWM^xXl{5)l5g05R8FES6){X|)vA5oGv8g|yvw4Yww z9I#_dd@ulTNFSC&l46E7-&kbQOkkYkB-MY5qAdeg)^b?ltCXHps8c!VySrqe3ikX| z{;Egb@Yd2#1CO6m2#dE(P8|F_lNCJg!|cEn3s0Biy+H3xywtXG!Tvi2j8J{UpqJi6 zVFNupIOx-!g?q~AI(Lr!;W~#peUz`ptDH6QD}UItrTcnB7ffpk43iACr$S|~aOsb&xb&1CPR1LVHejiTfG%_u<2Uz!9deXC!XFP%9$s-^+n8?X zxE+ue^~(p5T%8CRgg^3`4pMI9zuzUI`!EzTECcf5GNFCf+)-dk(_!!pd?<;lzdaHl zRe8}LzM^f?^^0s`_5EgyZ=xeRV;i0q5>s&KTqza_5=&QyikR2?k3@7_697ues$@IF z&DeGq+SK+AvZ3>oWH+UWlY8O^Vf%wcu7_t52ENFw{Icscq^=W-WlpJ`}7y4a=RUmryK;Wc;q04m&eoEN^}Wv zw8=oVd2=WbGKi63g6n-h&%z_O=0BF&QTC4Rh|GC7D~D7N(mE{r)qMw|G_#tG0#z2z z><>;QZb0$m)czw|eZ_3`LwcTA5Zt}SgR^ZE{~>MXMhq9%alf?E@YRNNI)%1Y+7!Jc z&=5+5O>cmFpTY}n%Y~r}iiP7To}?tqm&#VL)<6sH6Vp>C!V7;hU*}fqM>q3!xL|c) ztQtSp*Cc2Bnnx220#SLhB-vKq0g?l43I=*iDVu#TM9SnW69-cYaJQNcPwrCazVqPx9! z|9(lMvIoydJF_)+MR}X=!Q~psdM8$Ux3KOcsCm}#*GV~GIa*0zz{9x#d~$s(h4jNU zcbX~uc6csEx$0B4^7GG93$z6zFg+^SJSEhoICG>aKX*g|S?4LtDh(A^1_iyk6*5a$ za)T&N5Mdaiq=T|HEjes;wDdZ!*tr_PgFe_obIi?VZ+^iA}lS+pO^eTH9aRrLoNmG25v}6m@P0sHc4HDXKt$7oliSWCYt>(gV}9 zNtp|Vg~<`emRAbv>bSp{>#hWwTpUZPu^#jk95~BKIJ1T)x6~KyWWEzY1Z1liIkWKnf zxCzAzhlx@7l7CJ7Q0Km+>Kd$DKGyaM+=y4fL!!;dmG1QW+zL-QNF@QKr9`y)_w=>D zv#B+$vom`@l@v>Kwo>9y1w#9Z9GOF5R+`EaoHGgyz%22u*-0ZLCtCMS58_D&b?`;! zYRu36RYvXOkQ+q161u2HIb;VgQf^3F8p42R4pE@mp-r>wdz&3PtZen}^Hp#_%trx# z_HZFKMKiKd=^9H5JX|up-t!!4-#JCUvQQY%ozqwUj|ISDcAkRo*)KeRiKJvBPKMoQ zgXvcXufNO)_NP*^3qa$^e5d_=U5sIqinGM;82j0&~SAvnU;T7r^zyAzjw zN3BTY+~cuJaHFAPNeOdE3^HVH`_f!%sqWO8!$8#Bzd^6yd?_!=KCiN{j}(#$cDVXE z^Wh%4Cx2?<9uFl|4HtozdZD~x0-xu8#_K&V7y5DnVq?oX%L{gtn=aurC(`d9!0h7^ z*%g21-R#$dm(9vtkAvdUbC5bL4G()^#XzWgC>q$RY?5pq0p_JY@a|hvh7--#LP}x0 z07n7)Cpv%I!l=xJ(2l#T0H`ho_*gbnxcyeY;yphl-VdsBS+h1C6{2@|iw0ZHR9i@9 zsZ8Xye?%J1`mQsaR+^l~+eLIQ>VkjTnDmCAUcT6hDNHquF)f`0Yz|+$bDT~_jsi`9 zv|McArogzVd7RC6>r7~%rh|}CU~+P%uQe4a_EcLc%5LjYwKs#hW#-QE{uk*tFX9@f z_w${ti4FK}zoZB7Szk|;U`DG>WX?92>Lx$qTR1!EPHZfspPw8wIraNAZHsJgMx+h` zHi)~4$%Hn@q?2@w{PcY5zwk_l_S1+|_-lil!n6PE6aQ9GH)gh@kjHGQ9V4S62+bfb z!!{{#t*MTX^(A4Xp>;qz5N}AZ!kX4l(r@FDtxoOZYN2>1n6=WX!u_g{;utRW%%S_` z{VbcUO4Y5~;}M5EbF=9H@uzqPHR!cyb|@K^MPIpQN3Sam+t+r#q?guOLcxj)Eu$%uVq7d-uafm!!M|5O97e=|&$eWNK4gHbydKYl2Wp zb^x{#Z*qHaj|`2c>k}c1D|H#9<`Vlp4hfLHyOlLY=M9ll6!aN8

3)`wX&y7Jlwq z!4vDi<8^P5{zKF(1vXzhgh8Q_o-SXd>E4v4Wy8Oc^bB&e`%Q=iPfxTCt3s~^*-Csy zA8B*T1s-C$66W)&Ku}-Ezb!s-T7wxaO~H~!V<6ti*<{meww}|Cp3i=+?cx8@bWMie z*s{VS6^`V`CP$}fW7XI42Q%|q#J z7+%iR*57eoG5nxB*idP$6VJZCFGS~bCEYu2^c6h3qkBiRiF28jm+f|y%-)@HZ+(>D zC%i115#RJM-p0T4i0*e6BoZ6#@j_`U{9yHz)ytBg4`>&rJ?6AGnG}gOs<<73uW1$= z2zeHvy)^gQBJ0{b1d}I$kMiUaNrzenH(Rmf+Q3XZ<$2tC@9p?z7`#$|6H+YU3v&qb z6N2H@N?T>&9+F*!7IRw6E9b-#dm*tiNtxz_W#!p$EQT_H+!!Yzd2=;+FEg zBH7$V&IBAEy>*{lFepAi-K7VcrkxB2H1S%+s30s1vCtjroPh@=y(GD!`J<2PXd8!u z=c&&g_{>KC<@6hp5j773x(2qM~%VYQ}>o;{&b{yyI zfj*Pqtz01A^fopp-T4Ewqntc{6Wt*$_hKtK3(!DsGp+i6WM4q{%Mjntzw1GM{;Zb~ zTxtQ{4Dl$pzbMpm+F?8+|Fxdy7q<}8AT`xg+dbCk-yuZNzrrfw83@sc z>Ot^+YucT&Jc@U)HZq04Cx*n!icn<=+09sU=_Dzh0Ra>dQGs`C1O$CHsU zs(W!Nyc(D<4aUB-kP|Czj2noQTQjdHeK4Y40ZT2^k?U+m-IJm|e!= zXd^LfleeGG??g|Yf=&bAN%n8ygK(xx=k{*y)KzCLD#%~!?h<>D?|1P#l!UI;ANNFF z4=yFv9j1s6l=n$9<>UQ91fhDUgxrj7yl5|0m%40){kRz*E@UG<`Og;4kamoH!i8(q zg)e(ha_|!y`>Q9PAh_S?m^+f?LoF$*V<6CORLr7jB?20Lo65QV!EKEGaDAzM2L-Rj z=$&EsBhVQ12>qH-MAvt~G5X$spC|PIBZ2dHhNH_;4I>QN-Ao!f7`7{aGR*Co7vlAp zeoRi3!$Q=KyY(5}R|DTUM3e1Y6A8C@#z{Ffs?I%evk^o8V%_F!7pP>1Mf4XV%3 z=tL5IVuBHxRRW>CMH{jF8t#c3`SX@Ig^2Y7KI!MZ_Wan?Oe1x2A*$0euD7y#QM{|e ztAG1l@uC#+H|pSN1%hJ&3wjnveD5MzPbbj~S+m8!egIF|PTFYg@RwNpR6%2u*K$DC z(}%p=I5T^sinQiaWC?9p{*1;QWF$$-6MvhOrl1-@N!rB~+c1AX-m^$%Drno@x0usQ zqN(9%NluARoMRM{SamZ zl-1@6!rI87h~xeu#$0&WGDJJXRHfm@DOuC!X?XDTDY{3a0hB3VG`;>^Ry^&JYlSX+ zK>ZW{?ctBgWpy?4+r~yPhda5Um8sh8m+|leunD9X;E!^S(k#R%V)^$62<@(R0zD%y z8F-ywmrv#lp>>N%vt@-`0P=F_t+?WnsLN0+4LyE|$7cM~Z+E`q;-H%5V3T1}U^?^FwALL{o~zCfEJNGOepxqxLpsF8Jx37NU#+?4u(ZQsTvg`(=SrDr3NBoCSdc-)|CM9J zXvH>Dqlk=$rqf%OWQE89D@g$*9w?@OoR*`-_yvO&56>M51K1=1ZPIVg^@8W~gx5?K zxdXM&>O8CyY;39#)ifd*M2E;sWPBAQ7eg9}M{lGAEL5_WPV~%GMSIC-Hu2>=TCXI+ z`Vl(t+UQ1NuZlfPTDe3Oj`#&bLJTV=505R&-yhLQa}*p==;m3VHsKw@k)2a$amSDW z{eI#Xz7v{%7}+nrtiY^~rf$22>lx)>w$W3iHILfW%!yGThYc+;ygfRsIIUo0Y=cd7G{O7O@Z?}abH zW!`=%r12@0;brI1?z)yQ_d^t6AnQ*}&M>XaW1qxW@3J&O(ZY(o*;yynQ zq|y)rHWH%)Nds{L23O)qK7r|}O0H8lELvhI5`pv)@DmlpdMo2i8=t3_=M1tCOA88# z_8=BB>$mW>V3>MyGE&y$QfYs)*mawcZR}u$C`*Sb!Bq&8#CzBdSy=X`@F$G_9mAeR z;8^Yn{!IhPQ^>-{E}t_Rl!@~57N0Tyb#**I5Kn~35U@Z0`(T!CZR5xRkx!)`A$^MP z&_hrEIwXoGDvEs_?HbK!#4VcCJkG%-Urbwdpq{A&0ugxiV{M#n*e^YY67M zmiCW`EI3~huSY{TMC*J)-O0xvK2e`6=LpMpE-0N{02(0+V;7+bvB6NBw2{pW3XSUx z#KN$x-rQs*J5qV|hCkGJG=B^r8R(fGny$@{jx_#x)qU{B7=5=nxXD34!cX-2u+Z5T zwIK1YYm<`zH?1FiI%ZgCk@Z%pqsiHQl=As=Xnwa5;>|N zK`D5bg3kvO@bGIS(e=@F_n9DGKzeZd)N2c7{VDzuZKM|QiAzArwD4IX!&8{LH{{D& zio>_NnjuWW%bSyV4ZAYM>cl++AAaOMGiT*gvDLCOubMXP(9dg@H-}C*p$)(3-e+7> zN==D7t>g&7A=Nn)Tz?`;H_UDBxSH{>*{0r?Rlpb3T`J9GhEc z@*-^d`s92ehi0<#a{A~nl5tdyiEi{V3?@9*X7G2rCd(=)PERc?OaVQ}8!xQjHP%|c zTuUfF)<-3z+k6ktx-_IaQNJ`0AwkxRDb25>Kyk|}%K($8Ve2c1<@dUxzcb;N`Bkh*ZGy$r9ziiLQFT|s^y^t%`F_UdoQ>F_weg1eUmeHq zWO|mU&YeYT{p180dX1*O5l`E)HopwQxx{jLpf9Fn653g%=q#k3?|UMBXXRYKpU-yj z4ehmH=96PuMqSH#2Aj6H^wYAHV(V>1BIw#X-Yf2I=Fv18nP%buezS1q9T;h41#ox{$+H_MX zh)fB{%*izc{2ZH-YTko>xizV_BnL|r6+$D`VfNNGLWBiR7pZN@srQ<&nL( zuW$x5pkEWF$LrRb)ayM|{z`NC?oC(GF3(ZiH)ughetD_i;_QG^Ql&bVD~+C<&7-Cf>OvB;? zz}LkV^;j4$RUFD@km1fxFJNcL6s=U0@Zn!A2ZfSH%jZsE;iD3@SrMWhMpBq^VI9@> z&<?lj zAPQ=8v-v$X1D$u)(7W*`U-m) z;py!Yl@TAZc2hyV0~RGO>KZTWX~CGfKOlfFT(dZQm(1*{8U6cmYSvw!==%WFZn6m~mo}GV3Z(S@I=~O|AU?skE%j zQ8ZU=L4N9@^i3^F?@WVX*=OB3dt8jJjRE z(7!#~sWo&^s6KRf0@7N9hpxGS>0DR~1NCc3?hM0AJbX`e*gySnu)y$X?8DPJl~{L? z?CtWtrE&Gw6*-ey^AGn=;Y;7eY=2*!%*YBHeXm%$CJ}89NT1d&{vN?6;s^K=+e3() zp5(tHSY%BjMb;zFY^o9)!mj4UiD$n|I*I))Mh(2%h;U{3s6u45f1T0%K-Hq}w;b^& z!i$}HA`0`MC2?r~lEL|(S+FaPoZ(_nIqseIeAR~Z(|O&W6;F$LJuhv+>gOn|gLRru z#F~`}yJNn|me=sA8mop=w#D>3!aAO@pOA5vvRTjN5~=9;Bxi;ZG{lVFi6#n7=Ht!= zN8B}gCiB6>%H)^4-y0FXwWUA0X;SB2@@DZFpp`4;bWXWUkVWD7TN#C*IVi01kDe!b z&hsj92(9Es@VO6Z$@NE+2b%P|6vTCxVAKZOaGdacZV3-pV+9iTPt@^-MGWQ;;&qC4 z7zJw++zhYx({l_FgZ75>XwNZ#5QI;eD$%LU$;Eq`W7~-H!1D)HO*Cn92s{o&qn^l=dby>hxBH!oh zr~c9*(AQ!8rc4?D6n*yI`;y2FW4CZSHIxU%vfaMk`tgkP{Zs7>F{kHpqf>Yg0WlO8 zO0P&{K3{?q6?JMvU5>sL%bl698|fUAZ6jzXcCf^3q|j_K%SbYp?=d2We!Eot54#SU z`p;ubM*C4J$LDLF)^`=a4Y;hp|M9yom#R<<$2t%3e3gq1-TN~~2{MEI4;ufZu2Bxw zXT4A5nETsrN$9+e9kRyf1~XN*l9PgV>6^u*QS3Uow3$1fba>{nT4fSPRrli(aCB1C zw%A~6v;2P?_mBw2y?=kV@tyfRw5#(JduCiLIEuT}Y<|ya2N=yb_N>`cwJ&eN#nBxy zafz%I7k@D#CH;D;{?r|ZI={J zf{D=ZLo0x&;`B=juXYa@ zc;{~dPP-^>wlMHXfBgOq-+dzqfQ1=e-_^Fvnq-b2!|DKvkl+5N`!5O*Su8Qsxl z*J7n#$LCCa=R3%Y-v(fhGV)riLC*YNS%q}Jpw{Wuw*Ux`9);Gvj>_mx>fp}?FVh)t zyq^0|TcNHFubh7zSKTkzK*0U6qK(1j;iz{W`RM^e&eM*RJlHNVSEE$Z5!g`Hy7j|t z$qd)cn{g`8C@#*bN;)@l=HDH-$KW?1%4l8$>L5VP7`$nd4wmank&RwtyPtEVvov9k z1=59mS_DGDziBe;je1p+%WP(YzB_~0aDR)%+%JIKf45bkjno~?^EEPX$;y|WO)iL^L`8+*JA;V%XxOdmc$3F<241iJ|t`r%{@Ne(BALIe2fZzG#ix9 zgdG8k)ksC_DSbS(qN8_$BcUN_hc8;E@Xsru_oLBrUHg%>8p51)XCPsG*6Z|*EQbuyDx)&Olf-C(23BU6JW_6G!`)818?+ed2; zALr}6`$a|HahR%w%RJAz0Y7QK2OQW2$VN&lrqPIaSrZ~VczPhx_ zW3N5#zz4M0S03s6I!^e}8*D5DT2-+YDyHsgRy+OtG%jUVFTuojM#e%Vt(Wql4{I1u z9x?)r!SBXvHKSjzjPVQVhs|{9EMZuTeNUqLw-UGGtco;Zi9OMa5%vvAgl)&Yxd+fnCuX^c zYzmEedD}1eo!%WDU&Oa%DK*rgm`Mk*-}k6`*9OiXh}sYFL(2miuDi#A8Hj zdFQXxfXa^Q0O&T6kU>47URhs1JN$47iJAlYnsf{mU*%|mf?;~39-0)GaWh-2b}dnqlx-&?*Ub1eOJc7|txzdSVZE7tXPO>$ zS>aC^aD1$2*Zxsn|5@KH@LlAaH{h*bJs5qT40o7Pf~ku5KNdjE=&IHPrlZB}jHJa8 zxZ+$pN-QUdS_TdbXWIQ80|aSFSZ-LH%nFe_oR_(5-S&fk!i-kecGyZ|4f`YX>>q0{ z)1P*z9>Af;DwGuZFuWWcNrXq9@0$>e&a~}nOEX#(;%GiO=!hBRiAyK315u*X5m??F zuluW;n`?L90S8Wul-mfso!Wk57}<;ApvRzC09cLg2=mypyQ_xI08_`rTh{cpZ+n~< zb;3v$UEEGTO40^ca;&J04+pn7IKf(!jztUD~Z8jN+o__Gb* zR}PmecwsWw1?0%|t8J0C^qT-l#h{^)*4yE%qTO-t2_CA*Apwyaj|r5>%mg$DR>E>becAN@E-6MYk!x*KJa5<)#m?ON{w! zB%IpMwp*3Jm!oH(fo1>j;u-^VP(p^7= za#w-%WwhOuh@p;U3<`E&kWV=Mk?TBwk@vL_GaP+OO{0atby#7QUZq%Mf7zGaS`4?% zt%4g6VOi3BKO%1|99#Awi_L;_hU%wlZ>{;VbQv!6qi}WP1RoIqKBapDG~;xIerpZE z5+TOG836Vlqv5@kA3!DTT*5(Ga7oTJ&b zbilCsdW3Ssx)=Vi(6OqT%cbR6_EHI`I!@a@{IGLUY@FTd`V-*oPCo{=z@HKa8-vS?TX4yrYQy?kU{Q`HtGkI;c_HqK9TAp&IFyfI%_pMPU4;O%Awr^V_v;ktPo|_)^uRqflRP)zC{+|q#>CL%(Se0~IWu%;*FdtB~HjxAVdE+bTlx*soAN69Q_ zIa-IRCPI1tA6aktS5?=AjRK;8^o?|bg3{d~prCYjcXxMpD&0zVcXxM5cXv0ub3gAn zAI|Um0ekJW_nLFAF|Kh%BoVJF#JhnVFC7_fVY}91aUqL)sG9`}VeDNaLP>j`;Kc7r z)L>Mz5!N~TM?Sw^LwG-GN>XDUwKN@Q-P4tp;|Z;>U~h*;W$H>0j?^zoU9x3MpZB2n zjYB96b2aB#TYob9=jbFs(Z$GTF}(up>Lzo!o&$Zobxvg$i4$wn9YB6P5l`_GvRxz$ zmkWQCe(&B6%VTB^9U96CFiRI;%&_dp;w^z9hXnBJpz|KnGvLc147MD1LXJYY;O^;^ zR0I^FgL2X$4u0KqFbk2ES@##W$Mrt+La+#%i?Ah9Zu~<&w7cWBAZJ=;K%H?(<~@`ERfol}9Cg|1cvr<)XL_^8GuK zj9I+ipec}Tjcns%cfDa{bJkAy3n>7vCPaoJfnRc3dUH&xx?oN?VmIB3UPblzHE;2f zQ3S4X1uF)*Mo)Lnmcj#+pI*1+ZDQm$?qUzn**I>r1lSQ7+!@K?49`tX;4)~pGc_lW z4t*N=HPZ(n*yAp0D+N2{1VMFXqVfB;{HS?fCo>w(inV?Bd|l?{u+y~pqnrEf{UCqF z-cDGqGnWlt+mmkm`#Zg5Du*LkZHp+B@vVX1ri0$2QZGYU_BK9qi5NFixe^%RXgU#g zU_Zoy1mW_%dYU4{F-lVxQN)f>U+m(|q>x^SMW@QBnoa=bMXZgwbJ550r{IY1S;b(RZ1g;IbW-$tik#h~|Q+fofk9mnS6ZX`X3`c%_@wDU@JKR&( zupy@o5;G5##uG3mE6oAsttwtF*EP4o;IIkCaYD#y1m)Z>4WeG zvCS81B8-jnOa$+BO-w>vS|88*h?i$kXmD&ukS?!l|67n>av816{>7~G3SJP6erz|Z zUS4%%ZH#A{vTtP&8Hbl`k!BgeU~<&yD+wx znLd0ljlErjkAR15O6!~BvO$Ra7cBeWq9SSqiQtf9qXZ z`j*^-oZrh^b;qurk%9A@*C`;wo#X8L@C%txkjEFZ;)=$n8+^Fho~4CIt1Fz#8ZNK0 zF^#JP5p%`at?6G+*?rVGT2{x_pSigt?PK>+CarVH0`RC1sVBgSv|`8hM>fTmQQ?rY zNqBdCp94d5-$8E5i1Mg20S7~Dq`bwhl%bjnFO8CKeVqDka5zCC_cIm)PvtgmjG1L{ zKgBaS*TL4}fRtw=qjEBvikPOSi3sOyYTE(NwWKA>>t2@B;9d$*?23m{G(VP-nI{+Q z$mI9xm|4CYBz}$q;XW0LDs>i;aYlav>+F6R@@so`!L5&vo8(6a2gqCTDR7N(`{4Wv zv>bU<1U&k0L@wskCM|y*JqkC|vbW&}JF^6JTD;Wd4c(Jg>AuDCB{w3B$=6H5b~0g$ zcoap}#xuUw6^^ct$w*ummRe}lTl<(=D8}cdn`~Ai*kjpk`%5C`ex>mG@EhZ`+TAC9 z7@l82C`7}ymKn&LxGbYud^AUq3)i8ddMU$vA!VJBp7*^QqMq}e**SVSQ>IWYa2Dl) z87{kfcEj&)iwHsGOLX{PP?NYM!$Cf?iO$|F~JQt4ogje$&bK z!=#Pqez`XQO|_bX0)KDMsz1|x-PhZMez{ST+G)uq2x4kzX|~cI12^;z-@ZtPlHVDJ zO)jr*YdLE35N4Quj#^NzG0dEwC8NGNdX^S-rdF3a?PdP!;ZKYXCaPU3B*M^R6s8ek zwi2a}yvODg71H)TQdz-5iSsSIReK>VMTxrl0(d&W8V4V{m60X4mz-lbkx@tlQD%R( zB&ADlqdNrQP+}I{y8W*0FS+)%KUc;VN+e=d#W&>N;rP3dHcOBx^?S*gg2GLiwIUnK zJKvWq7d`=L7bDjl?_feVnAOkwhk-c z$T;q3ow)c8-(1>HLK64m4V|Hr5!`Z+wH6;fJSSU zgymk`Or$+o2IE5gxb;RksW}8y-8duu{evkxrjm+DL!M+*V|Q6=!Oy)BiM8xeVy#IB z)#%2bCA>b{D>OZRZ^Jkq4c~XXG1+M%Uk`qV-9wl_|J0!a9Fv{eoCnXnocr0?LSj5* z8|Wy{pv%ypz|f=}bVkS1IKap4_sOT#uOeq}mf;HusR~ck`r(MhXEmj?M1)c!IeO;D z_1|K_vM;(_j0FZ>U4~t{JRa8-aUD7K7^ux5LUI@EVJmz`SG6{rr*>qRc@B5<)B`#oL;Irwh{gGyoofRPPy$u*-=3L%}_0+*b7T$+{ zq~DGfLUB?OM@jd5*f;&Ui+4Yy^+Kc3R9X@grJlFGv0T_W9y9FeItC94z^bh%t(vY& zAELmj2DN;VfOd{ISZ{a7UIi2$(qbby;`e1V-SVHZW!)a`-Q{SW4)Zu87qBzD{`RG| z7F^okHyr;RNnwxkc~dvTxfDWmRyP}IHZq?10((hBCcd5Qw1dwffM?Ibk7UTvPc;u? z%;b{fFA=F$IF?&dekqY5`#hHYE?utuUDI^sP$Zqjs1QV|u{?{cYq-Zkm8H!! zkAG7VO|kD#Yc|sDKXO~8$7H7{p3FW(OxGcPFYWoNu|LCEmMdZJBbi;0kNZu5a-T=G zNYv%=+0Zmsmfcc*e{Uk<*{@=%%?OCg9LOh2k=?twnfCkWJbz@Ji!6&h?~C8?Q6sC! zhq+5j`fV$=d(up1xdo&wl55oJ*%*#W@mHbZN+_x;q(t!?O87~AKi5uCK&72yD+~MVM1oSpD2B7d zFA=@;i-Vk;(UE8z>u7hycJ0mt@wihnNCu)p3{Olj#9XD%PV$y56dANsCX5>@G-c%7&4|$Vet(KM{Zsku1*CsJ!&^ zw_arz!;M+D!YS^jUy9n3ib8@#r*wy<^$GT>c8TxZBA+}|b6*{Uc)&~?uu}NJ_43E^d`vO;Z(6KeONy(Q`D-JstCXTrMLN81QE<_nOQQWW*-eB*lqTztGuh&5`O+$ znEY(ur55}yLOE7X0FOIdl579tZP%pw?a4BJ+BjSkaM9CvdAV(~I~?^AILo?k*QHV$ z`+b;(sO;Tl0Ly2gLakv`vG^nAQnJVzhLYI-44KtzR$bGxB17GF{Zr*k`*U1}sX`E) z;|^54?alu3(f zx*oLn>U_VFL?E}cE^i&uQ}%abQy3G;aGrN>W{cGkUh^WOc77z9MUUIjB6tlJe`KL> zJMCRrXCaT5X2`l`?z{OlggeqD`wAqlTZV(H-Bkz zp^qi8<40Kn?~>Lj+y$#K8@ zo-Q?1sX4(OuQ?7g_VojD7fphOW0G2ITDVH0^KiT(eoK|`A@JUJlB-qBYwubyO7Uzw zk2g#D2jko5l!a{W{|nAUg<1D>(glw7`@It@rE^?ifs(A4P*LG^v)4ehfQH%Lh|H_z z@4;|f^rY-Z=9biAaN@)`;^ zQX-zp<(|aTb*X)KdyE<5(C8hvu3%1-pCunyW6*Ah&7HCye!%fjzrc)S0q^r-j(gCf zWsK@J@Mf1<;yi&jQB1P?FDK2@XekNG=#j=~h1n=-{uKCQ>NlYC>6na9A(-t4U5AeA zVm5L*_f@1r`{@9XsMfR#tHG*=p}IU`+w|C_%24?eO{<#Z+LU3rQXHqiERl*(3cg7` zuHIzhwWuvP&-dI%PfRt>*z0D7N5x8$X8XV38ylRYONQm={uLJ9jWx8@4_6>Dw_Qz1 zO1+pg!rD>kfvR)H)n84iS^r6dR4D(*oPh)^Hp~L5S=-p}0l~VBr}UH$b-1wpbuQ5I&q)OT=NF zS%e`hLZL$|sa%#@3UNFj@H7_Zpt=Pf3<cqMZbj=b8}n3u?93!RWh z*OQZu7%@Uj;!HFRkV9-d?s@ z-FB74^3ud5nwP0mNG~gK6fla8`CC%l$1KbLH5G7A!>+dg`SHM)ywnZ&x~dc0KV(as zo6r5^QL!Gk%X7%O3)Lo@Nc!kF7Ctk6_MPz*O!IO*S3QcRg0;Y+U$Q4^ok6@`w+O~4 z(I`WRLr<3#Ytt5@QD!a`PU}?04(gQA3iTPXrFz!=Y9h$@+an*;0M?fVI9y*6jtM`M zV^$ukjb3SJLv!T~x%s^^KjX_-ion9mLAvttQoSYJM|&6IshD zB+7`#^HoL@{%T*oniw=So)mb3794}JMQ{;l5Xpf1fe*xrkqJmS>s&KB0&DmKGTQ`T zTN!_i^2tBqv;kzp=?4N8i|fpel?m_;thU>th5M{6d<*Q#rNb-`Q#}k^JM-Tb&|m=_ zTtJ%Q@b+I{eR;vnG0hF&lD-lljZ>3Nh4Co8-@O8m`ID>W|Cuqok;3FV!imFpb~l2z z7PzK8DS;ZrbHFowM;?AKV({PWhW~SD`zp8yhB*>G z+ptP@Dwjhcw{||?BWy^pfqmD*TjmyVxAroPCP!P~`#%V5FxHStb%d7>WdA6S{mem~ zV6pGe((tDUDl!`@%ozy^WG2Bgbz1%RhcWR#HY-H(&jM@uJdv=-ge z^JAhXtqyc;{XR_{zHWeBHKen{ZIZxq+3&5<6v$902BLNIM(}0{L^2qXVk>^cUI?Lm zo3~&TO$$@~vmRT^eIkx=m5|V8Fp_txHh64-w38yLy_n8A=LMFqlYZ~uJw6h4ubVUT zi?0Rm;uVqW9%&MjK`6^fn4!zdxaWpgPk(Gxh>wh+&bk!MTr#eb*!9M<*&Gz5(cAy(KsX5 zRvOtv1|47Kmi}6Qd2)Beu_aXEb>Kl*FuT)gLre;#+!z3rrEH=~-gO>4d|Y7%%})g# z<^>E;h($t2FtNhuGEf6klADCv#1iOA#gBvtf%ouY@-=8Z8qrCVWw7sM9NiHib`(Wb z5G6>;`!najH_(I8H~YYP!2TFpUTyOc81{2h93{bVy))iSY^*p|n8xtuUEo?t8Twe< zgK&sB0f7aPn^Gs3AqDH)veZ@J;jY7PEgNhf& zCc+EKW~Ck52rs(#%7(>$-nV9kv8j$a>qD*STYgdM6mYxhk^C>txY>knW|N$;QDBQB zI#;-ha^?kl2Th(#HWQOO{%q8_w(rN?Rk3GqnC}YxO9MZgjwYh1LA+Bn6#$PyDEA8> zdT1L=iel*&baH=pH-4NX6FUQ|A*X8#c094hNM&*0*X9t}bhrPyQ*4?Dd0TtAz2Z&;c@|FX? zl#Baj#dO(MiOTGH)e6h^A804Cg$c?(I*xuiXPJsn(&D%akYcUhv<8DEL-E}Lj0s=o zk34qu4LiMs|8lz$y4yc18P)H|dBU2=j!2n5Tsr8A@LZT)^sycr zG(Yq)5v@=0%8)Jpc*lxOO19`5H$96N|AOp*K@qlDdQIwJ6!cJUSTXbhHLiPBSidlWM6r8pl2si+$Yk zIzyy*@*O>6z-TdrSPES=qmJ1S=Z(ZsDdDYD&+p-XRPro^^RkahbOY zzu+BfC(Da`1By!2>KxPL28RzmU(YvLlK|rKaY~KNU6L0SopS;Kp904d6M~u=p3XTO zM(TRMhX%(*D`Pzg9k|b)-cRIU*Y@kc(?|>cW9~eiG4rrEy85TEJle@aSrliXIasQg zDUkd7w)nrmmFj>B4)qdrj%S)<4&@B$BFo;wr_IS9O_!slduh*qtpf8`;sL*q=oH*-#EnNZc zI~Ke4_ON2(!sif$^7<_l|4XEGVw`rwG$O^@%C(^HQO4|RNuoN=LD4PazmRscqZs;b zu5pc0*M-j+^c^M!-};f!EC}NF*kh$Bcq)oC-1@e%6#8PB?WInrOHaNDQS;0}`Cv~c zWcEZ*Bum*;f2Go}P(yJWE_^3k!Rj7}6%E~xI zRcaI&P7o@v4Mu)q`OC%X#X*raM2b#}%u0hFvVPjHLClxycxSlauk|x758*}B3x_bN z4M$=zZ-VOpAJfuyUzhNcV&Cb_o8}9lc~@f=5}h@)z0&vzIap30{V#E7TVURxiLCgeQLLUN7)n~6*a9YvSoknP#tEPN zPRTw=G)mz##NqzaNL+yVa7c29@S(f%icTZmF^zF|Hkn)VNTX&nYGfP%k8wE$i@>Wa zNIyfW?ewQ8Ikr{M*z0t!7n7ff!fS zH1pB7fAaFt>dS%Ku&oaNIUC)ot5^dbSC6gxR(+Rb$e_ z)VEq(v=~nh^2w4gRq-jPSnAP1wwDi)UWcDi=E8hHvU{2s=Vj!d!B z5}U4ecvJVC#U}gx4awJa!WWjr{0CZ^3dV{b&MYu2q2kDyFrSJM1Q4UnC~3$ws+i3U zY0U6BReX3k_^2L@H|wljbH>A1Uvmhuy+rihql~qn#r+ZbdvSalS1J6sG+Dj0zPxj| zzRIxHvhJ;rtDbhwu)Udhb*MpG)}lbFW*+)w)j-5zDuVrBl`w}rygOn#3HW1K=`I03?m7|1OBb|@1?b5#a8O90!k6Mzl z3YxduL5750j;`OGzaAHra&AHA&W6$U?MimOd9#i@U88z{y%OO%$eu5fbCtC57hX=F zT^+-6(c(5iUBQidsIwynG-b?5y%uNP4qHk3^FTy{>QO~IVkv$x%3!Xn`aO+Yhw}CM z;9d1U+gXNC*;1#$=CzC#rYC9iT%%Gvm@~99=d9F?m4$!ihdI0~7zwcmRO=5VF&{Jx zQ@feak>&=74{pw!^d>6<(*OPt!XPuc#(bMmmB`cbnbqmK|1omR5jcDvfP1kzITiz{nydbD7WGdFT$kV zjlFNftvnQEMTR@EVp+D^-)Bl`P?wZ$6U_S9l~)?Jc_QGL2$Q*e{YL%wUh9kas{1kxjb7ySzTkl z5ehPDfM19>Dl%rzUMs3yfc0;AhD^B9IL^c z!+>rz|00w-z!G{Eh^f>x7HEUV<4IkH6SEmr7)xhXuw(d`FF7DTv?^(MuFF=yrk+|p zp+=JpzAJ{#NL}{5JD(%FNTIWGR~laOY^N&a+kZ0xR*fFKbqZ z6MyhvzlR>v!)!lOXS!2>b?+Oy#|oHj8TdxT7(aDbQXyJ;nYj`~_aTAtc&RVt`6N>7&I+1uHW ztm#=Gljchl$87nnQ}oQLE$Zhg2q5m<{=-|$*#MHF^#+70g>?kVjLpiO zuI>{MzS$0r;XTZ)h7MMthBUJmbmmxPy`=tE_KB$z4i0t1esMtecpOtV&XXs>`bn;I z`j)=6^vfKK{159oTi%E9_shKsv{HP862^9&KCyX|tnGIq z<7YRzpURSCZYNjovVG4iZZ2--b_(s!c@6FFVeiq;;Qg*B?MFF#KSZTNJOIA*GZoCx zQP=L~^H*e)a`q{U*HT=L4{?9hnTv2^zP>^&o24JJIhu_#eC*P+u1g?L?+lcX2!a#( z=;2x*s;H!kZR53-wU@|CfVPdM~nAME)A}K*?2y$ykFhk*I zGOO38B8ak6p&uy5q;pI!6U`jM;oEF&=HI^!yZt_L)xKbciG|TctS9o+T!arzozW;{ z@Dgv^?ojaMl-PbjTz<`M7yS(0AI=8=`1(_N^w$hHRGU`_2)iMx^+evBi2NTy9kl9$DKbDKyzxil9%4dvP8r;lPm zJx|iI{k<&wAF$Ztj7MYx<6Zdb|FY5Xyws4&se29TSR8LXGx4XFVc+%itnTih_rLWK zZvD-Py@%(dKIIr|=Vuj9G*ppow;mw?%?;ap3GWQs8PIM^{$w3DxSc+N z8_;bx0egvf2n4D8;?QL0R3}Ye_mh0rESbdgUDJ8}Z4!sg->f(McC+XzAf0pzOmY8* z$e!!JV2x_=f)nB5dpqLO1?{5n7;dL|AE8q$#NZL(2{4jXJ;9Z^Y;^p?Gn=m_#kRXK zq+$U=-yI;8L$n*<01HMouRj4h%K&&q%5!7cX{0W2VV)Qez4YS~LCkzP5Aw6Jwc0!( zAS5o2b2)_1deQy{l|~3|eSH&fqho>BGymI9IScYHxXJ$AA%O;{bx^%f%-#P!7RfUqUYZ1EqLQjrEP;fVm9 z)>5$>VKo2~YY7y^Xd?#SHcq>p{$TW`{vcw>7+{^r@n`j0iG)N3pN1-h#h-FXF))TA zqys*;3FaVylrGH|Z6D(rtO?Qg(DY|wg&cUqjBJhHa1{2T--atwn@I+!{56Db*iCbQ zsZTCP{Hu_{pXD&ATrVy4Ad@#?=0Jf)DW162$)MXilY3KphOJ>A1EGUn0AJt%kmh5G zeEQ$e<*Hs3?~Xq(jO6l>29`ANCpWrYI=W?0?DelLtexRg+lF;z3*$?WB0rEjJjlY=h@#EBHaj z0q_nv<5<$(5O{J-Uk4F7CYFCjHhQ6m^%ER>o4*~^;5@xdE)p3FxWe-RqL_1gd3Nm^ ze9qo4x}3&;h3p~BcL2>MjO)W*vLngfm$ck0j6MSDt=*iwj^FuH3)q@yp0LgBs9v~% z$$qOd`l|q*c8GoW17TagJg&YDf`}#ZRp5!MM(PE?vwjFc+WFgONV2jmFngxh8I_O* z(7co69j$UX2{jK*T3PFZsB(E9PrV7&FN}{gr+dNW!fP=iL@|KW2J&KGVhO5A#)PR4 z(IGKpoFHLz`LDnUvDcGLopqFx{d<~XbltQBU=Tax;zK#gC4AEH>H^CHV-VtveP^Ij zysk4ieH%Wi^3&^KKaYC@@SvUN!S|;z2u1%%7WrIbxvctddzvAgk^)sV;ZW;41WPVR zU<5Pqlx8%NvHjD?KN4DyKiBPyIz|4SALh}D@dJQW)QRkEUx4haN#+G4w=H$HKw?21 z{{9MRod85V{CVJ!Y;dtPU`dsu-TmMX*>%4Jz^?oCCA9Zvumz!-NlqLA6pg!3{^CX* zptlYJ2bLt9g1@37$LUAn@Dz_m59TInA|E+h3ogK4Y0&^&YqtQOZx#bL<+Fs?e_8s7 zzX{k^$HK7b9e+-8s)FR))Lx(F3F$Qy-Ye-Ob}P-n7(QoKtCgjeF>FUVIlvYMCm0Rn z%rT!}q3cBBtH+{Mt?#kw<-NS438ao^7RV5V-w1lA^YV0GxoFvhK>h?^_wkr_&scSU z?f0E@?&5I1DlZiT>IiKcFW8ib~VS%s@n1B-^6!P-p$1o71fT>|2%t{0lE_dxa$#F zJx{dhZLVN-Z3ltX1@@*vAG+W$EZ*XPv|LqVhKm`7HPDO{{bfW>IvbKzEn=?6`3sN10o1V^T0h!L=#Bd8?^%yP=pw)5@g!6C-njeuFt|K&L5Gf(<3k{Dyg;2YXeC~HoiaAF-Ak+UHz=TW$GxP^ySAJ37;Ol z_9d0?dIJByO)?NdSJ^~?C^Sjl{Op{2$>4AxpGP6`7(IxNQUY5F07Dn_%0v`lGw%*E z7F0<1k~iu*AGCud{8x1w9Lh!zPflQ2tWth^lJozpU7ujjqXJ6ap?HHaWjgr$)G3+l ze&(_726yB6Pb_(|3#FlhX)?MGUs9qwP_Uf=0!UqvB zMEdDEF3Sr%Lc9WW~CGdO7|+S@d{b|G~ zaJe6KFoy(UgA6>k)D|E0$xp9acOAR(x9~1p472MD3zOSDh)?!07wbGQIYHi9)k>}g zlg6KQVI!qCg4QHG-@(KFHwxPnz{tOm%nXf9Fu%xMip7ot*QV`^=yy&$JgOVqH;J4Z zcfgmVh^SZ159*@Puzk46G5LS0t{p`ah!Hh9Kb$vX+>=|-I-U(q9z>gB6djXH8sPg-s@=fQhUqjG;dMe=2U z=Mz8NRC_r(|0(1&>4j|Wh_Yd!5k{B~3G_ND_&C`aQO)6!j`&ASr>#T!MyK)T!|NS; zpF$cZYbAf6sNCm6UfA&HXGK>+%EsGYnGVdcq9E4sk!hLbg%SK1@)X09AsFIAoqDo2 zU=kA53}i$OI}&{H2{}S|s61!h5Od?5ZLW7`U1Jw(=>cBFvFv@^ZdRW2>htKaB+@J!bs$KP4JM*bHOl1N-;VZN6;y*?2x!C(eZ zffcy}DqZK`mHh^+K;;>HD@e6M-Vu>G7UcXJy{) za%jsG2LFhIAxJ1-IED@pdHz~^$9^BjIy61$spbx=?|-FaZ-BSbK6~lKD1V*U+^|6` z8_auh){bMd>rd?~w$(83Ea9spR}a^RN?O(1E5C2S#5<)twocvKl}Gukb|aLULa^e( z15D^o7?L5W-Nzo3sFC?2{%zlUYnGyOIcph{F~2@d#6E$tA|6zA^>1C^U2AD{srik4 z#x@>{KrJ$Uhjs?jb{^;Q(|Xt#Ba0rMYPfxYv7sQi>n{QMBM5eA@Yp24>q>W%4DR}e z1Vg_(QG_ru#`j25G{JUHV!Y~lNQ=vA8cUuq!FS-cMC5iv3gRT}70=4)y|3HcxsA2W zmO(HuoicLvn=4R-*Y`Nve`81)a_odai1RG{PA`1Cpok?&g?IKL9<`+=EKES*V*ZQp zC*XZ5`u^4alo{q7ys`X0csB95|DudwiA+7jr*%2PNO878ydR2WZmW;zMqW(&Z< z3UU3WlyWS(hY*ev-o5kYNRFSl-r#4-aQu;g<_z3HSu%UA=1S8J+r8iHLVHhu3iDX< zx=K>A(PR!=GOV2&awGnb8|f6Je)~&7kvngyTZPk~*U+9((5@R@Wco`vLRiTYkgFn6 z+1>QoStI9K;a=-$L|Itv!?R85TDqOKwEa+{M$?bxQAP^-xtJBnB?=*LQ9AFtuSsX< zjoyHFL;_ID&2M9dXGFOfuc47l->d}@KDRw>(~mY1RSUdHgEH>QS;Q3$V>@1ZZv7Fp zV?l%(ai(PZzrIV*8ypJQzJgTW|4W%+xwG>MkxSUmjEZrUjvEVRok4|;@ZK!P6E1;g zDgC$D7wHK`It0-04f5x|pMN0o4_}krRoOro7z=NAcJE1#sHrylZphUCvm!6bo)B@$Xg=$r7^H19kc?;B617YoT#a@rJ6mr+WKCBCUInDR@8ZQTs z!iWx17+KE8el%c9K9rtX8%x(9_m3a^TfHZIX8QyAz&RD6Ok4j6KB&siM*5KXmfv`s zqydH(bVC-!Wy1!B}W4qSMc<_)z^Gh?w3g^B^By$=a?73;NeAxXe z;g?9p8Qbm-#`~K`(Yy`TSN9lmn2ZKbtV~9w)oPQeZx;>kE4~S;tiWEbn&hP|slsBN zzJ0C|=h`$LaA6ub19=pUZ@m90L_hKUMk-eKnv(NkpDz%-nUq}lv}-swF!WK2cov`( z{q!&eL5lYyU3rSR@JPh}mGPm5hebJG_T-MB{DV(c*d<5^D;Kdo?@9uGh4+RjDAYGz zug`VeD!0N~wfhDb^ucfMtMY9?y}k#`Y-YoT5wk*&%0r71Ao@1bAn3(U)AnW3sY5gdcc4aZdQ=A#uF*> z2rlN&?P5Q4y9wm>aYDN5&;%`ha)`jEl?U@Y>}@t0dHIW{aY?w|9F-!zkJFsvMwC_+ zavp!|Drn4FA2&_PD!MdkRs3>j-+}gvco|OmvX01SoCN$8#-W8Qz|rtEkCTz}HAAN1 zT#K>c+e|Cmks7JStn9U$u>Kspqsrf)1M!JtD-RaOs&LuQmTMd>%!ck{fR9m>>awF{ zpR%4T>U%DuZhA0UA__v3?3RCyOZd%bQLVnB{eI;onnCvv4=h0MP%A5qt>Jdl(PHm? zDG|x6hAj5#A<7TaN#lKyBji%T2B*s#825c?crk=Q-{j$ir@taA?#WhR5R)D*RlX-9 z3~w}n*09TcXR)ESHYp>JC)rTmn%}2Zoj*NuRyKqnV*cfokYBFRUPT1?Av=$ap2k5; z&gqa${t>P3gN6Tl%d2Zf$-A(rLG_lCy(v}<#-uw_aXM~(zNNP7(cq&xrGVmp3y6<7 z!4KR~Upc_t@uzMp+RCT65_d|Uw_T`;pWqY6!JXts$-{=-z|N|EY~hZKiCX!mm@zj+ zjCGKRm+!?==!4fkQ6cc=JhgbGT2|JdxFl%!iwa*C zPrqT&Obc1re@Hrle+(K-u|Zv?KW%o+Om&>4o-DXj#S`+3Z0Y zC&4z(7y4dac269;6-l%zsU{%Jj$C%m(Inm&#_>Z$>^+6SL{T zZY1*GK7DI=%Ag!-x#i6jLD73*Kd~Cf(F(-s`d?uqD*`SgOaCW&Drk*iJth=0O-3<> z7=1JkP;`GYwf1o6i-V? zoYVM&3Dx}JBM(djo=*;bEarB>l|So9H?_7NKz zq$=|F_z1bBkN?B{RA{zEKEQN?$q+zvCeln+|9%gXF1#2j^S5`~BKGy|_mGPxqHC<60=Br|anO5coH!YDrL_2BGbH z7*@lv6C|?ctX2~ki1i4d(?x1!eIURO+Y??%Qxo!amQ6(?V<_hmrQwfL=Y~sVL#yIp4Q@& zf_~1RL(L)+cdVx6_64$gO&|-?BthzP0dt40Z10 zmYd^?Z{V!iO0$dQkY=6b@?fJ7#sbWRzZ>l2xAvl|DcC_cF;t(-uSQ$ku2*~Cy4RZg zjry(7E{y30W&X)&)`Q$2d7uf`xChE%!i*i_i@%p!;8zfWe}TP`jGm^8;tmu7d^!_K zW9hsaf!m*tbdG?;Cl1v7AF!t1NqPVrGa6`=q=Dj;L#J8_*X_@0d%#B3Exf)DXw_7_ zce1jD+x?-GkPacf5lrrP*4Y2JU<&jC$L5?pz+*}yd?+j|JY$qW?V56hq@mS=5eH(Utq!IIz zO4U(0=WsGdZ2rAFwb)<`ab&|2DYQR6X?x)L*Uc|@WTNRix-zzS4JCoi%JQjI7{#+Y^EEe7<~i2zdBCvzgiF}jnYk{ zzHWX6E4)``^zHgDVWOZ1&!@X{%eS|XYViqgh&b#zacpM}Cl%oaU_h#O7OnR?2(?2F zguwIEYZD!w6SAb6q3}c9&FTSd_Wt{F7 z5RAp7)9G((Fn76){uv*@(DW&PX=um=bPQph!P>BPt5Qj`63i@@k5xPvHt@QhQ95z= zp8Q*UHZ8rPh>CV+%&FWEl~ww$>@4<<0J5p=(a)%!?PE;4*NvM?Y>X7R;MRBmnqE02 z$&CdX$1eeS9avtT?548AOz!W+TV49@R z&^p$NUjNZQMLzqxKKVN1cRiIGPxoz9ScmnIAmZnVgaEf0tdGWMtkR0L zjr%M3STacaqFWIAUV>GYz|0m15sDX`T4oo_22wM2f8L7~o{dSho*$_v-#-jd(ouA0c$}ytaqnX9FE`ayTP!LItsak_snv2}5ZWP2V$j9@KH3qZsk0BQqL;FRjH_(5fw9R!l+A^1Sw^^18X z$BPAB)t`@oZTtffn!i&DF?SNFo6MxvOX`7vqHc*WF3#cL3Kc7SSI>GMPnLJLrLw^N z`F``_P^#~z!Eb0&Vy{0t^XgTJpD<}9qf3{g#wS{c2r#C^t45SAO=soxS5C?L2-HdO zuR`)wIY!mk`pIFV1=@zg25Q(v6po3o+2*t3g5`c2DmaK6O18*S=}G-ms3|PcQ{eh# z@kK#QGeKdlUX06;h(>}%YoW~)WChQdrx7_60%_=$nv)x(4Ho^;c0*Sihq)k;hg_{AK~6 z^HPY%_riBbuW~||?9eI9*yuC6y7azMVPMwvApYR4+*tgL*-=(CyUpcY+w+Rzg1lqA zidHu_{(I5*U>f`glx2@sbQ6a^`R!Ua8nsg4)vL~wRCVfECPWJ4XH^ozJz<-wHU9=j zN^NMc=tKJFR`G5cHU-m67Ffv2q$V!LBiFSe!!V+}S`R!Vt?&AYeEx#~VE@r3iuX?f zPulNWgNW2Qk6h@48vAm5@BCOT>^@G)rMsQ5HS8o8Z2<_+K_vU-_$o+$Zka8Dy_}J- zf!1P^nN-96K?`*rJ&6y)N9*{6Su``UJzUeEw4Z;hIC@=(+P?;X!egfNMwnT&1Fpsf@4zP>vp)e0?iL|&W7 z^H+ZxXfH%Z;B=BKa3|}0X8Eyhr3q?d+)i-GK}{Fp$ddqICLY=-UdPI#W;?{0;Lo0a z1JVpMY{Jbn$3@d{xdERl9mCFm zjss&fv00EI$#Gv;(x1m1*Cf}p%cvts=a@#@!^7RVMpG!nYp5Q-xW$`DDEw|MUYqCvxmF#K4e>O2& zDAnM;B}Y22P*uXfDjk!VIxlBAO5@FI#49=Hkqziy9-DlZv1A~*G)V9`2r7YRSepUo zkDB@}Z${SOMt+tXCg~m+2Zn4XaLIGE+NeV^R5?MuDmWTEZD3Y!wiZ!>>}3n-he1*v zBh^Q~>xqq3H`q>p@M_edDseTg>5$;^txeC4cOjIbU&&PKN;Ch_vuy!OgVFSVTDtOh zsMbFm*(TY-SVq~GERl?5tlcb?ealu#WU@@iBpE4;B^e@JVO++1Y%$hk-({qXC0CdT z$-Wb&q~Ck`-T8O^nK|dY=kqMz@AIs&laWu0?#UBpFfChZlkFWF@z>vJ7}g7)VVIv~ zm0(?$e}OuyKjb z?iSSgd^A1Nykn=udV}0Dpzgvx&4II6xf#hTR?+ZDBS&dvsi$$+-9_iztKVRtmo?fF zo8Y`&IT^ORn8c=fU{3jW_4tzRP$| zd2Od|+5KnP1dj$9i2!_anm2;*E|T@$G^k2^26Vt)5ucf!srG30#u{!&uZ|{HP7l3Y zdOTmV!?z)QFr-S3vb#-ISBFg&W}PPJZH~C(FniLID`VB)fa=k|+=OY^5l|xfXsT6% z^Y^pC@rSooi?c@BWrH-sal(I=ebL+Y)9T(IgynZKMlwJ~+-v`_Dus%W^W~nkaQSr=@ryloV@u#e`neXS&JeSk(%9cwkGvo9AAy>xK^*G!d$ITm;pg zS&5>^SGN7%40lI8tww`WXSj8{YG-VDq8dd~m+k65@%QJL<)-lh9AKwNU>>S6rqB*R z%!ngdVXvpS@Smlmx?9N_(OXQ7(< z%(71&i%+L}RnF!p;DiO8%}I^cOh9ksatG?I zK`~ko@^tIk2c8?s(z@gd1v%52|+xq(zovh_}b20yNW z%g3WL`|N_)CCEiv0a-bBf%8|7Hr>@mP~^)?H6PJX0f{t}wiwrkC=I*;^{5j{w}rsN zhp7JzmR6G(tYLP8P)4~{uQ+HUs0d7E%_holguq)iCBNzHa%kv5w>VrxAck3#UTj|| zXFBK2M8J4y^G|_bxx4)}$PaS?z8Implmn4||MN}%dEy~{QilW5$0*WX9-=TAm?mbT z8;r-STP)`>fgp8|CKICr0LcXQna~ed55Q%)3xGsk$MzsJFF2HHyEUPQM}s{DontRx zoKRpmo3TCLSi_aLp#=&Dg_^*g*c1J^*Z|C8T1l%<6i}{CqlrPW)o+iKgJR3{KOVT@ ztzH3Y%RSNef}H*7X1NX!t<85;XU%)h(pX%ek~NFow!TC3<3vxt|9*^n!ystJSpV#X zZY@{x(VL^IZH*wRYO?YWO3=GsY7t=JJoZM{pKo;67?q4=fyiHlhkW!O9k>&6?m9ib zNa)COZj8sPc?brXrK%uhI>l6IlZ6QZ>qC7?j-o)5&?CL-u3VEGs~jDCLnh65(>?2T zJM#f%N^Tn;KzbRSgKzj2t17`R99D^$)?spuCv7g>dld7l{+~m-!KX+HN z`9yHtJc!NJ@tWsgG1q-TxCxkwpvOE*+s_wY-Y2=QV~ifiJ#VFCgpR`Ywx2~=o+3r5 z(04#7VCxgh7@4@!?2~?9ncVqiErN-U4jJko<<1GMeUXE}E1I%4(b%{^fTfRbY#pA8 zjD^Ir*uPqO7*hD!FA=zOCBixBQ03+6&^c{7&_iT5Ejlg4L<1tuQx_;_%)&U@K{0t# z*^OJ<+(hT>$(Pq`7Chb4#lN?)gm1K*{W|+#k3&NSI?^&fOlSzC23G~Lqa7{k<(Iaq zKg-7!>Alw^Ek-+-xG>c}!>_gA%PD@Ge+2inhWMbg+`sgWjbWQ4qrPST5E?nMafYar za*OPXuqw4<1|PMva=A~OJnp$y+`;;Fv^l1B{%(t=ocppObv7*R;HuNr-w+K@P-c!8 zboba)@m<;ss(rQaG}G@+h6p93Po-w-$u+WZ&~d>N2y=Rwhml&mrSQUcAk|%F1qb0;afu_`?JvwJ0fU2lLfqc!K%J&`8O|T(u%xPh~0T&#`m`?~@$3h3u)K zflM_KqR zB1`SYl+O-_SF{lU1O>fHwpZjB9k0VtO>cb<;d8NjyR=|OD!YRc4${J$ND+@nOjaeN zH+bgnjpXOUuTu@-&-+`GdS^@$%;V)Mv5qmug1Nt&&kP0p+6lE%a_F-;9IL&#wXTbm zEHoXG&GIo(i7^_^@V1oR>P6Tt7Jox<@hs*a$tfi9K|+v-fPoxc7bCf~)Acg^SFlB9 zkqxIgBEF({2#)J}Bju;a(>DY6+qP50hVA~F9lstS@ElfN>1Y!K<5WvHQZnII%R5&0 z^depJL8MH|MRp{4;5&MQHeHL4hVR1dTZXf|S&7`2X&(&%&P#-F-Wh%CM)2fJ0Zjx5!^RTUp2Zr$+wFk# jGXeDx`r_dP)4Tx0C)joU|=$Eba8TJ5@2A+%_}Jia(7aQh>TKTzreu3z|A1cV9a2hm|R@o z7!csY00epYd8r^86@0tKzz7n#tP3&=RgNH!E4iSk1gPo{5F4eW7AG?>Fd6{a+2th# zKyk)7K(|nuy4Z#W`s90I> zaPdS?LB#%S&$iU3K5>bHA4_owiXtD_3kp{39V?)KAkvErohi)AFT=i^xtv?)%rJLu zvev!loMdMw`JZHGXD2zSQDU4p=MZoRI0TYFAS;PD)iTQV?b{_kKVO_Yt(LDh@In>v(G+KR8*8o@6qM85)sJC z%91_z+*5k?>?yb2daGn+W>#YARV%5q7a#}^Tux4o+*mB-dKSO5MCBD8T^ucamCw9; z;DcnNS6aNv!Xr|FH2uH-{#(Y59V>tS`KOz1jRaNz{(%V)R&Xv_v`D`F_FMV->#t?r zym@vxcrraeZrx0|Zu%OzYr+Cqv%b&>q^c=IUV7;zdF-*r?CRA3-o-8~v@x*au}_~q zlAD`rY1Dt02)o&%qVb5Qc-nC_YShRIkH;T>+(uLXcz8IP_z@_V0MUy4`|rQY;K75X zb?er0%(M(m+MSl6^ z7kT^bw?o4<#UphV4hI<@O8n^V7r%!E|OP1USXpdvq*&)SIHk`;zvVeSjG>hWwj4G z{-9?`bIqDHtq(hRiRVYF@su~T@YXanT(8RGIe9r&n*f@a6|C zzeI3Xeq6o63Vt|EU-?_l9e;`7q2-33Vy%8&p5gbJC*px0`S6Q}A4|^9Jo8Ms{r1~s z$&w|O75Ci?|bjPXR)U9IrrRirEAx&;YGC1uf6t~FkB{G zaGW@CqO4uJR@${|Cqsu0wRuzCdPNJt@h)4mXt9g1QM%7Q`%Grcm?7EO*>cfE7fG8o zZFZrxjND%t1bj6RK#k|8oRn5)UsO==a&ZkCHndmhl5tGJ6q?~uXK8)QIQ^>BjCFx z@ILUs1Ep`@zBaznaU~o&eK*PzP3q>GZjj} z2;ajGKU}W4=9)5m;=u#H)DMQWH{5W8Tz1)IRtS-21VOiM-DL9Q$u5Cs3Vs>NC=XtGK<6cG+qTX2gv=h$i{ZRa00JZam!wl966o;7x8GRGZvoc#6IU(%pKgAfZEJ;M}wWO``E`jittdc|j+c}4~d z7+~oc#t}|$jpjfF#-VCYnKH#z(h(y@SU>*IJgBf}BkJG{R%mVrk)}DjSwF*HB}O%xBbCIkgDc5U0XwP}JK_q}`fw#Ik_ifT>}P)-cB43V+7DK2P- z8#ZjPJhYDKm9K^&)Y*RTzl!KXlH;hk&mJ!plI_r2-w2o)r%S4u)lZ>L@?GJc3nuY8VZ}D?rpATAbQg)Ia=6x}hj$d)Zz!lT%-hI^7f@`Fm1a8%; zRl@WtHZlYT`PZ_dEuj6;ko_D(zkve>TH!%MC%@pM!|3ohlmj7xkk+z=)9_3uhZe^> z-h1!8Er|*tKYHg^ia;3+1b_jJsY%Aj9S-gwt5&ZngB3j&m4@DlH6PeHG@cSNre!?N zSp2A?j@l($>5{!t$Fq&b@cZWNvSD+nkuzCd8c)kWBcNAg=)jB;Wd##{r<`)iE)9l? z*SK+G%SMF&0+S&P4FyLpk{-jz zpMLtu+J>|&q(OcV`AsE3}^X?5-zk?1sNcef3hI#$meOUy`2oMdT z(SP{ihqf0Bue^Y&FN?)G>eP>Kief+IK0%!~>y6BY*J02ZbR4LV+O(<-*3{tyGkm3Qup0(=eX*+i$;JjK>V;7{gF{jB#!~e>MBsBngZ4HyACj0}nywO3J}*zO2&Yk6uCegI z?tw$wz-T#c+&JmfsZ*#!vVrFB+H0>3+0E3CD|L}!3mO~Fn-}jrVOk#%9%zlMq4Aal z8t2N7Kp6p|FQIko*1|7-hvt%DdkqX*qeqXn#x3IW(t~<&wav`SkL!x$w7gn!NB=x& znVS=;DDmfYS4ypHYu2o>21qLQph1Jm5Ym(LQ;Z1Y9-|~f1bTbr!}Iswe;-nXp(P9) z5E%S!yzxf)?YH0L>8GEzALm6iXE+3%I#g){%iKA0rAPN3QE?=mH?Hys_w(joX}HqR zm=%fU!g+<$#==8~KPmvIV;Ex-abTE8ePXDMmUH>#m)m40gC7ReQ!O9-{b&-&XS&e( z+CTsjKx6#?sq}?p$lSSe?F_@HQKRhQ9en|byzEGzn|3NWM)P=mO_2;aqP~nA(%uRW z_Q+^Dk>V!e&tfD04qt!U>x)T9k0YXJo zNgwSB_|PsiQ-93O(-^RQ&;w(%qIbp+=V!#*nT1GqW~gL>GEEMdpLk zR_dGK3%hiKS_7gvU`WRFC&B`up~g$5U-`8T)5>TtG>R8re9@}qsQ8qdMRm+1zzYY4 zV1R8Uyq8Dt;#AnE5KuwItjDv@K5MrGK&KU+dv&C%whHy*O1jEd{jp;(+cJInbbAgC zamf=yH;tpT2swDD10T&F*A~s2hn}H{g@@W0$O9SyTOF{MQ6|!XCpIUBH*A8#dCN;) zv7N-@G~WoR{{8!hW_r{=oCjwDVL)YeN9(IM?QnYcT#7)MAxyHMP#O852D2!N-W0n5 zFPlcgQf$Vxi8!N>%N|B@|03gNGkO96!expYZSskMZ=IZ@vj>P2`1lLWAN=6XL1BR2z)W zGQo>-u*V5U+%LcUGBjI4nScKI=g>1WiQvIhFpKZ7m(l5<-O-5Awn&%#D;Sx{hhl=( z#8fx}HJZ~n*j&(v+3-lY)!#2Jb{VGc`B66K;zOW@0X06IFbY4^e(VGE5c-nzishV! zsl$ROY(hc*oxDh7X5wABHaK&y}7T;ZDQp)~%a;Ka>H%hESmq(Hplm zS{Ld+_GeeV- zho>wok-^`VTsCS>$>Nn;Z2n9GtWx=mm6;&&t2~S*Q8IAgz!IZk?-ndHA6n*E&r0XL zCKJaSKi+#y$7m}hW=lbdnennwjX;c-g{4zI;gQteEFLT|)AA*W@(t&g>d%1;VGIaX z0!Ndw;k`*DS_USoHx$dQo$JfL`n8dIwT!*P7)yh;cSK4be^W_9y&q*$$32>YY75Ze zcqUAHfAzD0oF`tD;o(|# z!lU7#W$^MOZuqm7QNy@~m(xq5e8G$vE}ij-7Kiv+9`3zm;@QtZgXY0I!B$4TlX37! zWfw^9;{iNgkoc5g?_(Ov;qB{5cFl|mF_y;4i?_0Ag(Qymo@YP0a2n{;dFk;>1UDK4 zKR*}FS81a0_r}rt@Vu+P^7B6X@eU6sUN}$XrB`np{KB7=E>@VAj(gVP==z-SFu!NN z^7zrIA45EbFW9yirXzsjb(E1IAwxkrhD7oiZyJ?F7l;j{qB6@nF@oMXgMe1hSPjyF zwG#m_3mPxwiERm+k=p%srW)TJ8ViP94C|?^g;YraVuiU898Pw`R~a3ZLtu9y5XcZF z=*&BWY0EW{#X)L~M{uwr@t^-3 zXf~L2u!2a#V!Q(v><~yAfkN|*;BV&UOXq_cnjPw9D}a$ALGDzKm9exJAPNwTo$dFm z3QRPTQg$!xCSr||#hg0>g94uT^ zhd{Xz*jQ)|qqpZJ6-mD_3(Sy)1MN%qlUYF$M+$tJfCJL_x*i|A;zL*L0OyF8!RB+N ze60=P;jQyd1BnCJXe3@~9F5L}IRq*a0ffaiV^D2i4x>jSId0q{nc8QYoY!@4D@fuo zt}h2r))I`OEWWrT_l?0yCfWb#wRMhng-`Y@x^*R*{L4|S1rT|kZ6dyFo!@2A)w*` zIiZKq-~7>9`S;TcWL18F5iCZCL>bSh&`{x^ng*H)Gm{K)xc53IK)h(Udxt%UG zInv$CVf53CarFvgT%EsUQ_M9Y2o0~`01l2K<-^__*v?W1oYFV}V&QOq4uR^4074|M zZl!z(;^cGI|^;G9FCnjwII$Tmh(&Xc~+ z9FcNmpFF9@k+3mVsA42#=)yv>E?v6F6Hh!Lef##c=%`@vLgfUA7Y%ps5J+JJP%1E< zW-+cXH=HLu!JH@kkM1pYZnR^^T?B`KKzMNEYNt+}?2)vWTylw}MzDly9|Sl75&=x- z?GQ*c1Q?oRo6U8b3bxBqvobZ2^Q2X~;D}Lk3Zje|Ge(9E9U6i_4XPoJ9XC#Zgd^gf z9Rewc0GdaRv3D%qSS*drQ02uzt)yd|=Si#Z;Jjm2nxbuRq92Exb9S-{5BxcoxJi>H zb|wam#0iiTtSm0e4uLWVm{CbRBRpp37faVxIdVt;JZaG+C-iNQXa-X+A5P0daIgnv z^5n^OKa8H5hp^xP_lXlHS^=W*oB&ZI+|?nFq6lOeyT;5_Me?7M8p*J8TE%57^%hla z8%>)wm9b;ThO`Uy_tLT=6{lfNfOyey_YQ#+L}0l&jDFnNxpGObee9YKyKydxu{2T< z5egg>o``b-BoVY6twW%SA%L(Ler7W{v|Z^Ea}24K`AI{!kgSST2$vm)Kq3g#G_x*V z;SsOBBat+s(K-PV4ILNe5J&+8&^mCHEj&om2@p_l&LNP(2<#5Qp>R0?qDZ)_L%<=B zFal11Bn+90;1F;KC<0D^C=%}K5O4@2jDQm$2}9;0I0PI5ihvU!ibMccR_W=!0bQvV z09(hxAy8!za0|%-dNph`;#kbL-g--xELmdD$qk6LV^hr#pmQlME|xlV>e!vH)SFaw zshjgEhB%dg^E3Dm%dAc>%vRnV%TRVRs?{KQ zprmJU!4jqz?klh?+j{+LhEH5I6!(fCLVyW9Se_ b9|Zmf4or_P?(P~V00000NkvXXu0mjfNKFmX literal 0 HcmV?d00001 diff --git a/3.编程思维体系构建/static/function_print.png b/3.编程思维体系构建/static/function_print.png new file mode 100644 index 0000000000000000000000000000000000000000..b75e447db5863a9371dc07981b3e677f404b2c3e GIT binary patch literal 13658 zcmXY2b9fxz*N>AnPQKAb8{1C9#*Nw-jcr?vjg5`QjnTL70`Pp>2fI;lS}RdGQPtys@l37xWe8=*m{`QcMfh}F?Cb!TrKLR@L@}p9 z0kI}o72fneu>GtbKR6>rk;B$MPE(vR0o`#zUJ?3P;k@C>_EBa11k=a*VU6j;7de6M za@L4oeWZhzAjr?rn;0BKDtLH!#G&MuBDK&>$adoFsxjh3$L`C|pqHQhiL?LZ>qI<@ zwGkpvd=#fBF|xF>D)@k3ObHu>9O0A)-?KGB?~X(fR!iU7ScV2MG37Kj1oq3MbI1e* z_5?7%!;g@Mq|33v_rZ}OA-$EOaPUYVA;J0~h55O_^woTI*l*Z7g3jOvM_Fwb7#ISa ze=k^zylLnJ17YMO#nn7v&vKB{)dwEm4VG0>*L~Q&VD|^%46I8@vA=PM;_*a%nJt@2 z@6Y29Zc5jhIt>118}NxfiY91k5swM@h2X0ob33!{!?hpu(Wps`d?sjz1z++Q)JnRQW0wIC|)k-Lp z4xz)`SQg(%z1c{Szu$=)T}hOgJ0lGZ&2)t(o7Gy|?}c4Ou8OP!J4t-X`kJmcox3%U zjW#bps*MgsLQ)ddC->6?tC^DFBDtjLFLw&K^AWZSxO03~?{BYrNy;J|vCK2p-f$zq zcX5MpyzYJIe6srbxypJcU*Q_+i+)A?z+Pg_Z^UV`p8ImQY*WM7Ytd6r8i>!LWBLh! z;hR5I{iMmJ-N-~X1r{nScm4LZaZSp=M~nN!;2+r9C>GpYbK{?zPp7fUe*BnA`sg@& z6pB7J$MBNcN@0jX4F^kAFPU#?^>5m8C=;e7%}ag>RuMyYCh(#Zaf6OD$)zoa%axBf z!5~&=+Jka!R$zi7Wnp4UYHI5HFWsXif>f{#dG)pOhtEu7UwPs4j*XKK8M9djPh3G< zQxike(Q#tEkuhHeCmY{ds+A<{zINrloM+5&-nQbYsBO~%+g!iMb2;cBJW#h8X@rwx ze5v()bRM3Vh}YLu*;Eo24@_$)E2Bp&;=oox3=F|tDpAbZjb`gi@YwKMm`E^aw%7BL zhz+02uY|2421_+843m@VFcV)#kqDUMX9Nyy4@8^Y9?yNK!n{l{IT}~VyJxEDpiH7u zzH=$Oh&a%uQG1||EEmE$A0RMbX6t&X$1H#Q_A|pH6_~(IS@>y~&q9XOEg6kePz{5B z6NZSxI3(Nqxcq9>W#TamyJo+xP;$4-9epoy;%axgd;?t1gP1#7){&8)HAN2%OChhr zf^Zz2HD3Ewdihjl5Tp^`vC^QX({`~|y!y|bPV3FIe6iU`>YTU62NtoA{<2Tt5rrpt z)>g^t)_s6>m;avtIY5RK4D(0_jIqqedl{1$o8HPfp5Iji*XKkgz&S328@2BTzy#Pik-clKIzuB%I z599xpUY&i+6Y~MJD%Gx4E=Ko+MaNe?0q}^b?E}FUeAk&`48OkMY9U|5nQEAi{ zmfK%uxh$JdsXn5?Y1j>;Y)+VH#oY6(4kF8BbPjuyuFi?G)HfIuY5H=mXF#76_xJn- za%#RffwQMI_G8cY>GtGccxy&k^cEn0f4)|%oF{_a5Qx?Jbj(Dd(C&U_I`vbk-g=Ia zJP(gY5IV2==YKn&$2|_Z(U=ce-HxWsnq7OMxrZCPuJ^CD!pXf&d{>(6%)kj0B6b6b zZnLSZdW?!$ytjiFWWwIygS-G%QbE^?dI@_WWEyDH$DT*h|DAh6kBgom z9X4~JF87IWkiq2ZG(`d*Oc{797Br`@X=?=M;Vu`f3jU-!AXnNc2TaoT|lOgn#8T0}7LyH#ImvdhZ$y&C4UoCIpOI2ObZaY>tx zrf&Fd|2dwf9KA*Qwn4pNSxl9N< zzdatL4F&eoDrM6r(C+={etTNzdV0pXCi6L^@K|+{5s*9L>P`(inJrHe{ngba+asD1 z{}dwOAEEH7ZtBOX+iag=@Ul(d@3^Vi^_246W6f=k&{FGDi6|ULB=dIxMkagq4viw{ z{14w8&FqB|=wIlO-PSNyS>A7Hv}KyC0lQ7|>{4h>x_I+rKp3O1JF3!{eaXv$*IcPHjYKAC(xUZhlh{<$6zUM zl@cqLOC2wJ2#k9<2kJ97njWkS%=+Y{rZ<_V5yABdrfUhS+{{~nZY~s*z?He00 zsl^6@*V^1FzA6FmMcL=h%|cbZcEC5puFi4@s5QjPrO+nDyrY1ldt>|u;Ey z!w{z{_^Woiy&WP#ne0ll!+k8#3i>kg<-=5Wv+WY)`*YX(3Gs(t!jkz%8nR`X1oZkZ zsdj8Bs>r)vp64Sginz^DtlnSm@245G#XrWRPYp z<~T*-RQuZqv$r62%CN4yj-)y6i}i9*@h;?=!Y>>0bE~8DSpowhzUbea3xt#`w!)uE#NVlPl+oW%_o+( zUQ#SVuM6}n+|{Y|=446Sx>-avU4*S;GWNSJ-}l$nW+{4bIgWy1Xj$J3ZLR9<>Cz0H zxMwV`0#|w}stOIk{4XF^u3QT?^7V{G;UnT-s}dn5fFN(r#q}I}xp$GTWsY9Edu$X} zy$zA-ZxUKfW2^{SQ=KE9`*W6;U)#xLlW=c$&0Ss+TvYa!)|NPtp19MkcDq`Y{jr9f zwZ)RTgd5tlBs%6dd%B~UfakuwnAsKvRBD`a2)((hiK95>htjNw6Uelt*U!D;ORvtw z+XqVc_M|77Xw8K;M)JZ&!lyb4+Mo7wZmrDknG{$cFt;2ddKZKwHVh)!*L70ezIwQr z6NH_y<^R29N;6fz=vj8EU-9>%nik{A+GEziZ6Z0ks^a7yuN<^U_ZZ3T|BxY(dQsI> zyw$SRoE_X%oE?x_^)ACzNQCTO6g9jjvRt~0pEMx1mo!+uFMaQ^k9-q`63kX3!Q`S@FjmhifPh{9DKEU5Z3h*Z>`-yipMA z^#q|DZ<-fMKR2P}UTIMO6L#E3=mPF)IcC&kAis0TJM=GjJHfOoX{)yC^R8#EkrZsQ zq>ul;I*~+3GQu`RBCSn`_;TO%ekMaofdqMYz2A5Sb(6my%IpObZ-tR`Vx*-#FKT2 z?MGskJEdcbgiW4G(i!r=bbz*cluT%W^QCkiw^btF`TG`T0DT_XFZ8%?Vj_B<84FlAR=-@`=ub}(-O20SbApl#gX@9hu_1%KqdsBxUWKC2H0IBUh%4)~ ztQB-H1&B(`_zNKVulpjVASbNJc;I6^x>FA-PUtSTpYW4{$E&!?R!1Y~-hEAqWQKPz zp8W3&^`EW2@HE`aFey|M4B|EUl28PhJU_}nQB!yVX`_sN?2!T7R9Bz@x84g2auGe6ILwRAJPOhQW_|y!;j>z+=sz^Ks$zU~fgaF(O4dCn@-@2zs^WUc%kyut+ zk{UFTn5Wpa4YZi2@J7(}&|N}_fUA*Be1Ae@*v)>H1LSn6;g5NrEDb!qLZX?!)<&n_ z$gq}N7=NL3>@W62BIZ0CqA)kw`l~q@03$l+obkHz5J~($k9Dt7<#2AIIY~z@h#| z4C^~|6EceI%ZE4M`x*}vCt<70S8bgnBlp~d-7wqjd_wL!_7c_<>1_P*(i=<*C@GPt zg7>ae@_st~g}bob(ze~rb`oDi2#^{mc0M1wHhY3ldO3f#ATo%S_G4+|MGei4z0MT{u)M%s)}wJzWbM4PIFIPazscKdZ9nJSK|~? zSFoB2%22`9lwZXtHmeR5`cP~tEultg8iXji1FYPa<8$76mG}NKv@(~jRQM*I!ANy< z97dzhtg_n)33eY=`G!pDinYG?_D0!jpk5n=RRz%p$0}IPrOdrM{sc>th^$37H{&QV zoz&gL*9`uDCK3%^^If70u_TTq&Dexwusp~Gghi#Gk+ z){TYlwzn#F|0L?f{+a5w+0&5h9-og;`m=23$vFvQw4(wAwsTy{fGrzZu@|zui=J4o88}~K!N~yF`#?)%;pYSKJ zB0|I*f2mvusVpkoa8a(@s!_1*$M{_h)A{@Py2~FtcX^Uf4|2}>!uY-3F39MqGUal! zRQ|)KG*xa{9$=qqzL5{e?vAPg)(%|@TJ^Jg!dd=xsD82$twOdvgZ7d=X0E@keniCM z4<-uvij9gORemo(&`#lIj-kL}gA=DDetUj&KI^gD?ZEYsjnnO_X{+eBtbx;}9CMgy z!l|kJO|;HkuXlJ1Z&Jk~B2Zp!vc~h>jNC?(&o9~nMN-1Bapmvr_QL!~GjY`J$L0;2 z6@2@y1#4!nV!J?JN|45dKeu+`nS&($XQ2n)k84q0k^2M99&Hq|ZZnY?k!#!t#=vg> znxRjeKKs!^+8yUMT^lw__YgC3=AkEj?GMqnSNZ|3Zh0eH_70jFnDcFDftNqc<8|)7 z7|vM45=c}Qt=4}V!5S5+Jbsg9#M{s)pjxa+++)s&(^pT_3)?qJF%gr zk+&w?Rxp*Fh&R&O5YN~}m*+c;T&i^9m&#-;Wu!pQf4ktKfA|vgCSthB=4sI960;|( z+$a5IC4w2>+kFB{mI`5$0bDt0r@vO>)WfE?=jsmf7Kh=WvcVyME#2axGwgtH*y_b`IkR-IuDY1gNJauE zf%T&{D%-BIU?=QVcQ!4FT$e_50S_WT=UOujglSjJ@qaq<=h-AM@cmYzkf9P6gA+~G zT2Lg_oZQ2y5oaXedUx=H@I!^s)%A6#9p!V2qRC=upg6~i7Q_+?f$%iw<~=QqU9Fbp zVq6z{qW4yv0D}>ueMSLcV*9{+!8EQ60d$4keklCz4X8=miyN(eabgoi`C*K-6`F&i zw;8C-*$>$Gx;d z#B0exR~lK{7_8m75jY89 zn|UhvZYGvA7~lC@e!JRr*%(Zttc?KC!b#oJ^GK95u}dXOj1~>>J}n$h6$(!|8t|Ph z+0^{;)x=s!6_mArLS_GYet!Ty=L(eE39T*?Y|Bz$41bvHTx2H}Soc0*Q8qkPn!vE& zZ}|UHV!_^&O4~au8ZZ3GPSK=Pj(aw;kxFJ7V#3a`{%UJKnpQBhI-uu$R{$W9M$|B*Y78JVp27Z!ks zFg{9E(=$sHQ$n}|E!@&5J7(q-(({+9YwzJhBRgLP6Oa}mQd?jWt>RS(-a0)ZTu}1i zc4$swPNMOH|3l`*7Y!1k%aB_8_A_2lV7|*(%aFjKj zkGJP*y3me?3yQaOy&P$zP|$v=ZgWvGg@cvQ0!PJu#F0|p4MLkYcQLLE?{5J_lfnyD z9F{^;?Ma|7H9B+9XlFwuU`@{8vUqwlIF7eFNszz*LAjFQFm&RMZ{$HeV;NjSE92?+ z>UhWk3>?^G@Sm)I+ah-!++=NtdO^ z$yX#YcW3XZHS)4j_-W{AP-Nk|MC|pK9xiuYWvMe$!-Bsx`l^6kI;o z1Ka1{p%DL$Dsyp3Hog|1953!f$Uo`ZI-#PYFvEXTl(btAPIlFgB!?5nK<=v)`ify8 zi7z=ljvmM@onO!po^no~vcQ)HNy5$k_MR}_$?cn}hKEDNF3I8haN#T=EQ!?WD9L0Z zqIoc$^T#OnV%0=iD#2ou0vCS-6c`nTiy z#q@iLE;}B)E{Uqh$|14E+sh-T=Y?SgpF?g9*0Dj~E=wB) z7B;L-%?^xqSF!Bdh9auzT3n9vL58sD&E!Mulc|_rDE%xF-gvT4NZ2z^4Il`vMfAHV7BINnEk#=yy8Y#rjGLd%bevK~wwt02MK!SmOYEpDsnUd*0b0JI< z2X1ex94-C=t$KN55-n0KfMm42+%IKPP?150|3%A!dNY&50$qXm=WFd1nqGV=axuh3 zQ8v)Cjf{o*sxCSRDvD7It z!(Sr9ZRcueDG_E+N=Z8`BsFl8S?sH*x}O)jyw>1&o-Z7Pj*hmj3Blup+P=KX{l){)N=AsstzY4V6TP~Qu}&z%3M z9@nU`|BNT!wXQ>%x0@!5$wyP}lk}9hQr3CnyvtK71<&Bj#Jh`kmh6T|bCrkpY4>bm zVI-uFaGh>IFD5;QUAJ5UDrSVj$juf5$};$pj;cpH)p?J;4ObY-L^A9CQB19bB*k|Q zyDZQ1YPZyBiMVEJ7-*if@lRXtt-%OkVU25kWY=>an8eN>+*~p>L`$vk zK21YBLI!>nZwT0(%=G3=cYYIIYWIRCnxv3Ha#ZU6J*UyBp7`S267yDQ%f8j^$+F>hWQAp9B*r>%0+?=m$F zLA%q!AeEzSTLYhVv$Swmd*;`6?iAs6o+J#rEZGBh#bT3_!Shc-GC%jgsW}Mkl?A$Q zD#LP-^25;XQw|o+5;)>I!kVoQ zHL2J3BThb9JbN!-FMM5yC0S>c!SD#VeO_;!E|%arI*z$J)7_KpLjtw03x36FYEBv1 z(kFSk5|d8B6^%&WOV+;j8;l|HKd{9|HWk>1wgWztGZ&fqdL*F0-kzaVUt6jybZkQAm@457-vfpKA5Y#;iNN2f%btCLy@L@r2Sj@_z0WAxhJ zpP(wU)4&|l`1PtHY~8z4=e>TZdu3r054P~lD+Akt_WUAeqC|kZK!=o7TeXoR|UGKqqv4i&~`Y&bve( zwA$}nvCwe(%gVQUZ;M%-mVCLG;@eOjq~w@uOSa|KdkNN)mL}p@*WNk9y_9&7gE+-iE9UL(4Dv@OeBDX>_kktk}& zdM>8MXTYV&VjpIQfcGm<@tH3^$=ak{o;FOR7RHM#$8+kWap3&iCqRe(-A@XWw>^~F zm~rRkY^4A`rhxN7%2p5Cg)(X+udUup%_3HliCp2=>Q6Hzib=wEi+yZKBo!lNI^SCj z-HlOBKX*rr{`#zj0F3+0SLZfPkY!qyRcx?1A4+~2hm2-*u+y^AE|8)l|HHBiM->*@ZlgWlj87I*wH&`?r?bhaKC2RKh_!|dA7Ri|HD%jTeMk2_lV z?(J&5kNtJ}V{e`5FwW!E2-`?|%!c26&ZJqkkXQXGROnFAP6KgM6%&v4LAw@qDDXCt ztiKWD*Bq6o9WjY)i1#}c;Q?%Flz9&M!MvUHR22nsomRXmY)zm1Ka`?e(D$i&R~u=I ziAo@~!G%_xWl6r+X^eXuqR@~L5&e4gJNF9B{{*St$?OrM*Y&cVRXE}mx)RacIg~%0 zaTD>`ui9^5es=xhZuxx+_6K(mL{d>4AqK2+Q9!L*WGthC7&@|lvn#L@BL-IxA?fL5~s)4+zL-)`4noz_sSmG(U^jaHsPd!awg zF+@`Z9VdrWi+L0Yl2Dmno^r7~LtUG|>7ByP%roPt#7=&JSnb~4Yqz_hf7|C^IAL`2m&vc+;AEl^OrJEBs_P`OHB&GRRL<>4MqH2P$^OI4bl>O9`hS$31f$JTJ> ziv4Ff6Jsv$Y%cCyn7Wnt8?!J~q=P}9v!Ej+f!^E1U>C?i5dPrRTA0!kZ4?WpO_W;FI&t?*($E6jHz z>U5ZtzTBjr+g~vkrj^7FNY9M**UrZ38#gXzAvCN;4u^;hwr1z&8dR&Zg&I>fzNRUs0J-qhP7lFnH+}8T zk~y5_<5;pp|H66yTTvKL@OHZlbY`X~w-oa>s6?E#Q=>TxAu%)_9gH577wC*W1FIPFl*SlpR)0OE{9Tlg}O{Yb3`}g z865wG4$jS1g*a`CoSC(*@c91DigW6zTYHh&Hs4epJ4iiKAp)8CphsxEamL!rPP(fc z+nQR$S+W!&rLj2JA-zTX$gm)#G9-^(xP+G-IGsD(sB<%Ey~@9HZp@;No=M?U`DUKP z(2iYe<_kBG7iN8qj8L0qx1!&)N!jp*p37-F8}|UO;;ylPVk!*ENd2~;&i?1R`6&r7 z!Da(hH({Zu*6jK2OhrXydp^jJvMhG=o0Pgd4@*&HPmlzZ&xSfuXmM79xxVMA6na_2 z|EDc)Dr5|fK7-6x>C)K(Pvl0Ql$TVWE3{R3m4=6hLD0?eLvf_Ve$RIzG*k`NaG5_W zwWUmZqMD$l4ech|jD_B^^cRH_S+Q71B6XR3$AhEYO4Dr?db6!|6Nh}NSc1yHD1cHG zhl!E#iWvMea!P8_Zn(u^94i7D*6$LJfZ#a|=;P^rw#<`D&1@Tl1qM*UvoWrAcwL)9 z760iLCldx1vvyACDj381G3kkYl?Vmv!o^Tki&wqaJYkUZQw425t5$8dEb}>|F*c)w z*l$1Xmrzs!$Ui_EX0GFJ2BtapAB5@xCI56#sO{$uXr8;SUmYl4js{D^)!0ze`2?|f zU%uszu_h0Uq2px4mDWakMh7IHO=&&X>R>EIz?e#tu0R#f0IQ(DPT2|Y`&(O*jZhY^;pAgl;w7B?_uHYF)E2TK;*AS;?6a7=fiYC*j)!7&ll)~Nh$cte}! z^KZ(3hk~q4BEynC>S)tceMy%bDL%4V_f~sX6Ajx#H=vX7A4@6}yq!6*l+n+RNnip= zp<28}N&t5>ySi&9(EJ%SYgOj|`#f!u{P9`0vIo95p++gU(yCKEHeLg(>BDpjPNcZH zStQ?gLM{Ge7jnIheNO;i+9 zA&^z5BDFg=5+j2FGPK2p1pLB@90fnGICR~*%s*t)Xvay1<3oxJ#+^tqD$A)s%-Y*y z$hJLb0xQ3nbm3!_!Jb5J=ii$U_1vbZg;65OClC|ED}nd55@Ek>7QE3iswU`Uvv?g6 z(NFkfp(Xp(LT-y6RGsvC6-6!4^kC+@z&VAPD4j3qv=htsRB$I7jKYlswu3TeSA)b3 z$u@A2sdU-7yefeAf7<<$MP5ocx&Pw($B!R7NJ8XzN}U~+8|CafAI-Jvj6?Gn;R7i| zaWhhqcR)D@Vu0&|iL`&^l+5=+{9VC(Jo_k*)C!ySu;uNrFn%}FrWzD4`nH&Kd}TKB zdJCng_VaA`mDoiNQr0lTn@=+TC1I%-OUoW|yp(3QmS<__9!E=T7M;d2?leP^ajMq* z0Crz?W@nDR4w-nes}X}Y71lpDDnwl7F_<{fC_zU@UhI0p@ow?#t2L3qVhOmb{H!{S zvgJ+nB}Yz}mdw-~R54!rV$zZcZX~ogfzD~Os`lmt6tHr&q+31I#e%$>e9u;^f3iTPe?@&Om?QhrndJWQNlcBo>sO!S{Y8I&z3f5|h9of>W z6X7}Q0SLU}SJl6$M3Pc9t8{4k!qBhHN@FZd6Fw}n9Sum3g@if+85}i)fQ%46<9-yc z^VS2?*QZ+%v^{Z*T=KkzSR$9&W~LzF`qQrWH+?Q@e<5czJa|-1KLpC=!Q;}jZye=| z+%Rp_&}eG0U8*18`^tDJj!e3{anmz6DnNblc#!wpENr7bRf{R|U?>2!i7;~eDiQ|^ z>A><9V2}!W+QEDlXA;jUGy>7`)@0eYX)B4o4%IvFeR+hcmA)puWupEso*Uq8L~^3Z z(^}CrD0!XR@{q27{f|c7OE-yQpu;xxf{K2om)ir*!!&80z3MEH{M>KE_ANagOTY$C zK*zSM;1`?+P^tcqZl~cxEmASHJejwW=hZ<5@EHtxez1v%BN%Hv$UXUx8kj2y{x5lA z+$Ic)Z~l8J+e}#8AIsVU$&g(-n4dCRYAkB9|2(i8xkgt^%6Fcjzgw~({~yh3(!EGt zKD{Gj;sq6j%%DCe=OweW$0_#h20>(W8RF)WjRp%$C=(e+;&(IUylhqa*s<<=t(f6G zp{5*U$$H7ld6j>e>vy-Le{D5inUO|N-|_zT?DserOMGA!ctgJeH9~DirrG10{jk;2 zBj|f@8X`TYiwf`mFZ!Ra#%)3GK*npzx6Vw@YcEA##1w6(phZ#;hd09KBKuaH+ zIBHg`kx33dA0%V_qrb3jI)zgBl-t#aLb=V3N+#|Gou4r6Lu#d$+h!p0)1VT;e`Ah| zlScl@EbG!GocXU%XWjBav~Z;B(Rz;Oc4Th0>*u;e)cZ-n=%{ER?*ud*YDsC2DnWVb zZ%S7sSqja`HnzTofgs@+F0a9-K&r)X(xcB{tXovJj!hmjl%#qP@;y;Dh4T30QF65G zQRqzbNt<{#cRhWJYWWl+`<1atK^B-@1dlktR%_9&1>;jABRav6$kt^k#dJ=Q%~08Q zD1P!Q{C0&pC`H!T*ZKPN8~`o&w>p%u-(oL~GK}?R4(s5*X@ClOD}Bc85Mz>OwTW_TOFr@JkXXb`ii8iU(FI6%*Txm6E2EJ z4A&zn%bWS1QIO~@CfV&pK$JtuX}e&d$@#Z8o=BL)Jfg1v^((c4XE+a=YWwf4e_YUt)%zL>*ry zWt~{yvhY&cdbX!!%cZxlRm|9xyi_4$J2H}+f(sle_j|ca;B!e#GMQsH?3)Ocm!-3% z>Eao%I}=M=Yw&`{EHvN$X(lhs;mo~iBJzr!LsbLG!T+uy&udy^%)J@B57Iz6wU?A- zy0p>MVieWER>k#v-bwB_T%VMhk|s+I3B!fzX1-NhRyVFY-cWxK)TWS^?KDW_?|K@H zDRR*yU`p;7*`OC%ZB-=q(8e_)0r2m**RF$xmlj0xm3Q zsc6V>5L#Nd(D$+WCJQ9~pmS*Jv76SMB7dV|+e(P`G8t8sz}<0S@hb`8NLz}xPP?6Ckv#PB@c2SXfgvfjgZ8$hDI%dF>afuuAb+r+ZeXQ(x7hs;Q~+4_u6 zsQ@*S`Q`AlA5>5CCm?SeaxA0{Xv=jaKY}xEDQQO`+5&Qupp%AI7LB;ZD~rCm@_hnw zQV_cw5mNskti2TP?Vq{vHU9k|BT#Ww_yT@DuBd@P^;Jqu1Ha!xAE&wl4+^wqf3~E$ zvQQc7jnKo)7+S3oh8&3qUypKCgU(%%&UpQ)abx8^gi~9pCBXE`&P8jO|^2@koX{ZIY3oJ%Ar6e1X*eF{E2Z6hi-p{=N^Jek+7kwf_L zS(_nrob~rJ;xLJUj7%R<{j73V}-zt6}QYTn{<&7&THv6a>8R2QHT)`0e^-@ zbfoiH2#eZl3&=0B@pzs0eo8ma86UlLVCkda^+N&7l}e@DYsr5lWzRxxCEk+!p&iHx z#N-4QUSO%h_Z zmqOswr>d|*q!fwGph6hL=FB(BuiH$ndC3Po}J`!!-2a7vQYY0U|oybC(O;g~KqZ zu7Pz8Q>2|QS0iQ*7h8MFCT>@wv;4nW&8;6*s=gE1QOzJtB+kYF!rJA^@7RrpCA5Ji zU~0fre^egWhY=Z&XK2 znO* zf4mp`AIl_OCi@?7f`=iCSXJ`c&x^<|;KOethT_2omB-!Q8on|SusO};0un%d1R&Gg zg|=d_+isb1$>mVA=~$lyDHIhJ5_d=8R~8Rs)90ud>gbFysh5Gg=~EcQM;U6z?zS5uvR#I^$plk3-b3TS8h9XjM?@KvtK%e>e0Nd!XPj$>!=Snv=Ck&@8XZq16 zVRCjNE=;TgMN2q}psqiB!kSW*Umd=|zL?T@2!d5Bs7myC_>Y5R>h}&7KB)Pp3=zS$ zr5a!CH#PK;8DJ|kA=3~zjEq73Le{YV6fKy!L~f|HVVCkEU?qfbE=~SZ4)lp17&$2= K$?DIBLH`Fx!=hpU literal 0 HcmV?d00001