From 4408677a5f4b1c62794c5841eeab2294ce5e739b Mon Sep 17 00:00:00 2001 From: Vonng Date: Thu, 2 Jan 2020 13:17:10 +0800 Subject: [PATCH] bold format --- README.md | 11 +++++----- ch1.md | 36 +++++++++++++++--------------- ch2.md | 25 ++++++++++----------- ch3.md | 53 ++++++++++++++++++++++----------------------- ch4.md | 25 ++++++++++----------- ch5.md | 32 +++++++++++++-------------- img/ddia-wexin.JPG | Bin 108057 -> 0 bytes part-ii.md | 2 +- preface.md | 4 ++-- 9 files changed, 92 insertions(+), 96 deletions(-) delete mode 100644 img/ddia-wexin.JPG diff --git a/README.md b/README.md index 15738a7..b09ba0d 100644 --- a/README.md +++ b/README.md @@ -3,8 +3,8 @@ - 作者: [Martin Kleppmann](https://martin.kleppmann.com) - 原书名称:[《Designing Data-Intensive Application》](http://shop.oreilly.com/product/0636920032175.do) - 译者:[冯若航]( http://vonng.com/about) (fengruohang@outlook.com ) -- Gitbook地址:[ddia-cn](https://www.gitbook.com/book/vonng/ddia-cn)(需要科学上网) -- 建议使用[Typora](https://www.typora.io)或Gitbook以获取最佳阅读体验。 +- Gitbook地址:[ddia-cn](https://www.gitbook.com/book/vonng/ddia-cn) +- 使用[Typora](https://www.typora.io)或Gitbook以获取最佳阅读体验。 @@ -27,15 +27,13 @@ -## - ## 前言 > 在我们的社会中,技术是一种强大的力量。数据、软件、通信可以用于坏的方面:不公平的阶级固化,损害公民权利,保护既得利益集团。但也可以用于好的方面:让底层人民发出自己的声音,让每个人都拥有机会,避免灾难。本书献给所有将技术用于善途的人们。 --------- -> ​计算是一种流行文化,流行文化鄙视历史。 流行文化关乎个体身份和参与感,但与合作无关。流行文化活在当下,也与过去和未来无关。 我认为大部分(为了钱)编写代码的人就是这样的, 他们不知道自己的文化来自哪里。 +> 计算是一种流行文化,流行文化鄙视历史。 流行文化关乎个体身份和参与感,但与合作无关。流行文化活在当下,也与过去和未来无关。 我认为大部分(为了钱)编写代码的人就是这样的, 他们不知道自己的文化来自哪里。 > > ——阿兰·凯接受Dobb博士的杂志采访时(2012年) @@ -92,6 +90,9 @@ 4. 第一部分前言,ch2校正 by @jiajiadebug 5. 词汇表、后记关于野猪的部分 by @[Chowss](https://github.com/Vonng/ddia/commits?author=Chowss) +https://github.com/Vonng/ddia/pulls) + +感谢所有作出贡献,提出意见的朋友们:[Issues](https://github.com/Vonng/ddia/issues),[Pull Requests](https://github.com/Vonng/ddia/pulls) diff --git a/ch1.md b/ch1.md index 02460f9..42555e3 100644 --- a/ch1.md +++ b/ch1.md @@ -10,17 +10,17 @@ [TOC] -​现今很多应用程序都是 **数据密集型(data-intensive)** 的,而非 **计算密集型(compute-intensive)** 的。因此CPU很少成为这类应用的瓶颈,更大的问题通常来自数据量、数据复杂性、以及数据的变更速度。 +现今很多应用程序都是 **数据密集型(data-intensive)** 的,而非 **计算密集型(compute-intensive)** 的。因此CPU很少成为这类应用的瓶颈,更大的问题通常来自数据量、数据复杂性、以及数据的变更速度。 数据密集型应用通常由标准组件构建而成,标准组件提供了很多通用的功能;例如,许多应用程序都需要: - - 存储数据,以便自己或其他应用程序之后能再次找到 (***(数据库(database))***) + - 存储数据,以便自己或其他应用程序之后能再次找到 (***数据库(database)***) - 记住开销昂贵操作的结果,加快读取速度(***缓存(cache)***) - 允许用户按关键字搜索数据,或以各种方式对数据进行过滤(***搜索索引(search indexes)***) - 向其他进程发送消息,进行异步处理(***流处理(stream processing)***) - 定期处理累积的大批量数据(***批处理(batch processing)***) -​如果这些功能听上去平淡无奇,那是因为这些 **数据系统(data system)** 是非常成功的抽象:我们一直不假思索地使用它们并习以为常。绝大多数工程师不会幻想从零开始编写存储引擎,因为在开发应用时,数据库已经是足够完美的工具了。 +如果这些功能听上去平淡无奇,那是因为这些 **数据系统(data system)** 是非常成功的抽象:我们一直不假思索地使用它们并习以为常。绝大多数工程师不会幻想从零开始编写存储引擎,因为在开发应用时,数据库已经是足够完美的工具了。 ​ 但现实没有这么简单。不同的应用有着不同的需求,因而数据库系统也是百花齐放,有着各式各样的特性。实现缓存有很多种手段,创建搜索索引也有好几种方法,诸如此类。因此在开发应用前,我们依然有必要先弄清楚最适合手头工作的工具和方法。而且当单个工具解决不了你的问题时,组合使用这些工具可能还是有些难度的。 @@ -34,7 +34,7 @@ ​ 我们通常认为,数据库、消息队列、缓存等工具分属于几个差异显著的类别。虽然数据库和消息队列表面上有一些相似性——它们都会存储一段时间的数据——但它们有迥然不同的访问模式,这意味着迥异的性能特征和实现手段。 -​ 那我们为什么要把这些东西放在**数据系统(data system)**的总称之下混为一谈呢? +​ 那我们为什么要把这些东西放在 **数据系统(data system)** 的总称之下混为一谈呢? ​ 近些年来,出现了许多新的数据存储工具与数据处理工具。它们针对不同应用场景进行优化,因此不再适合生硬地归入传统类别【1】。类别之间的界限变得越来越模糊,例如:数据存储可以被当成消息队列用(Redis),消息队列则带有类似数据库的持久保证(Apache Kafka)。 @@ -96,7 +96,7 @@ ​ 当想到系统失效的原因时,**硬件故障(hardware faults)**总会第一个进入脑海。硬盘崩溃、内存出错、机房断电、有人拔错网线……任何与大型数据中心打过交道的人都会告诉你:一旦你拥有很多机器,这些事情**总**会发生! -​ 据报道称,硬盘的**平均无故障时间(MTTF, mean time to failure)**约为10到50年【5】【6】。因此从数学期望上讲,在拥有10000个磁盘的存储集群上,平均每天会有1个磁盘出故障。 +​ 据报道称,硬盘的 **平均无故障时间(MTTF mean time to failure)** 约为10到50年【5】【6】。因此从数学期望上讲,在拥有10000个磁盘的存储集群上,平均每天会有1个磁盘出故障。 ​ 为了减少系统的故障率,第一反应通常都是增加单个硬件的冗余度,例如:磁盘可以组建RAID,服务器可能有双路电源和热插拔CPU,数据中心可能有电池和柴油发电机作为后备电源,某个组件挂掉时冗余组件可以立刻接管。这种方法虽然不能完全防止由硬件问题导致的系统失效,但它简单易懂,通常也足以让机器不间断运行很多年。 @@ -148,13 +148,13 @@ ## 可扩展性 -​ 系统今天能可靠运行,并不意味未来也能可靠运行。服务**降级(degradation)**的一个常见原因是负载增加,例如:系统负载已经从一万个并发用户增长到十万个并发用户,或者从一百万增长到一千万。也许现在处理的数据量级要比过去大得多。 +​ 系统今天能可靠运行,并不意味未来也能可靠运行。服务 **降级(degradation)** 的一个常见原因是负载增加,例如:系统负载已经从一万个并发用户增长到十万个并发用户,或者从一百万增长到一千万。也许现在处理的数据量级要比过去大得多。 -​ **可扩展性(Scalability)**是用来描述系统应对负载增长能力的术语。但是请注意,这不是贴在系统上的一维标签:说“X可扩展”或“Y不可扩展”是没有任何意义的。相反,讨论可扩展性意味着考虑诸如“如果系统以特定方式增长,有什么选项可以应对增长?”和“如何增加计算资源来处理额外的负载?”等问题。 +​ **可扩展性(Scalability)** 是用来描述系统应对负载增长能力的术语。但是请注意,这不是贴在系统上的一维标签:说“X可扩展”或“Y不可扩展”是没有任何意义的。相反,讨论可扩展性意味着考虑诸如“如果系统以特定方式增长,有什么选项可以应对增长?”和“如何增加计算资源来处理额外的负载?”等问题。 ### 描述负载 -​ 在讨论增长问题(如果负载加倍会发生什么?)前,首先要能简要描述系统的当前负载。负载可以用一些称为**负载参数(load parameters)**的数字来描述。参数的最佳选择取决于系统架构,它可能是每秒向Web服务器发出的请求、数据库中的读写比率、聊天室中同时活跃的用户数量、缓存命中率或其他东西。除此之外,也许平均情况对你很重要,也许你的瓶颈是少数极端场景。 +​ 在讨论增长问题(如果负载加倍会发生什么?)前,首先要能简要描述系统的当前负载。负载可以用一些称为 **负载参数(load parameters)** 的数字来描述。参数的最佳选择取决于系统架构,它可能是每秒向Web服务器发出的请求、数据库中的读写比率、聊天室中同时活跃的用户数量、缓存命中率或其他东西。除此之外,也许平均情况对你很重要,也许你的瓶颈是少数极端场景。 ​ 为了使这个概念更加具体,我们以推特在2012年11月发布的数据【16】为例。推特的两个主要业务是: @@ -216,8 +216,7 @@ > #### 延迟和响应时间 > -> **延迟(latency)**和**响应时间(response time)**经常用作同义词,但实际上它们并不一样。响应时间是客户所看到的,除了实际处理请求的时间(**服务时间(service time)**)之外,还包括网络延迟和排队延迟。延迟是某个请求等待处理的**持续时长**,在此期间它处于**休眠(latent)**状态,并等待服务【17】。 -> +> **延迟(latency)** 和 **响应时间(response time)** 经常用作同义词,但实际上它们并不一样。响应时间是客户所看到的,除了实际处理请求的时间( **服务时间(service time)** )之外,还包括网络延迟和排队延迟。延迟是某个请求等待处理的**持续时长**,在此期间它处于 **休眠(latent)** 状态,并等待服务【17】。 ​ 即使不断重复发送同样的请求,每次得到的响应时间也都会略有不同。现实世界的系统会处理各式各样的请求,响应时间可能会有很大差异。因此我们需要将响应时间视为一个可以测量的数值**分布(distribution)**,而不是单个数值。 @@ -241,7 +240,7 @@ ​ 百分位点通常用于**服务级别目标(SLO, service level objectives)**和**服务级别协议(SLA, service level agreements)**,即定义服务预期性能和可用性的合同。 SLA可能会声明,如果服务响应时间的中位数小于200毫秒,且99.9百分位点低于1秒,则认为服务工作正常(如果响应时间更长,就认为服务不达标)。这些指标为客户设定了期望值,并允许客户在SLA未达标的情况下要求退款。 -​ **排队延迟(queueing delay)**通常占了高百分位点处响应时间的很大一部分。由于服务器只能并行处理少量的事务(如受其CPU核数的限制),所以只要有少量缓慢的请求就能阻碍后续请求的处理,这种效应有时被称为**头部阻塞(head-of-line blocking)**。即使后续请求在服务器上处理的非常迅速,由于需要等待先前请求完成,客户端最终看到的是缓慢的总体响应时间。因为存在这种效应,测量客户端的响应时间非常重要。 +​ **排队延迟(queueing delay)** 通常占了高百分位点处响应时间的很大一部分。由于服务器只能并行处理少量的事务(如受其CPU核数的限制),所以只要有少量缓慢的请求就能阻碍后续请求的处理,这种效应有时被称为 **头部阻塞(head-of-line blocking)** 。即使后续请求在服务器上处理的非常迅速,由于需要等待先前请求完成,客户端最终看到的是缓慢的总体响应时间。因为存在这种效应,测量客户端的响应时间非常重要。 ​ 为测试系统的可扩展性而人为产生负载时,产生负载的客户端要独立于响应时间不断发送请求。如果客户端在发送下一个请求之前等待先前的请求完成,这种行为会产生人为排队的效果,使得测试时的队列比现实情况更短,使测量结果产生偏差【23】。 @@ -263,9 +262,9 @@ ​ 适应某个级别负载的架构不太可能应付10倍于此的负载。如果你正在开发一个快速增长的服务,那么每次负载发生数量级的增长时,你可能都需要重新考虑架构——或者更频繁。 -​ 人们经常讨论**纵向扩展(scaling up)**(**垂直扩展(vertical scaling)**,转向更强大的机器)和**横向扩展(scaling out)**(**水平扩展(horizontal scaling)**,将负载分布到多台小机器上)之间的对立。跨多台机器分配负载也称为“**无共享(shared-nothing)**”架构。可以在单台机器上运行的系统通常更简单,但高端机器可能非常贵,所以非常密集的负载通常无法避免地需要横向扩展。现实世界中的优秀架构需要将这两种方法务实地结合,因为使用几台足够强大的机器可能比使用大量的小型虚拟机更简单也更便宜。 +​ 人们经常讨论**纵向扩展(scaling up)**(**垂直扩展(vertical scaling)**,转向更强大的机器)和**横向扩展(scaling out)** (**水平扩展(horizontal scaling)**,将负载分布到多台小机器上)之间的对立。跨多台机器分配负载也称为“**无共享(shared-nothing)**”架构。可以在单台机器上运行的系统通常更简单,但高端机器可能非常贵,所以非常密集的负载通常无法避免地需要横向扩展。现实世界中的优秀架构需要将这两种方法务实地结合,因为使用几台足够强大的机器可能比使用大量的小型虚拟机更简单也更便宜。 -​ 有些系统是**弹性(elastic)**的,这意味着可以在检测到负载增加时自动增加计算资源,而其他系统则是手动扩展(人工分析容量并决定向系统添加更多的机器)。如果负载**极难预测(highly unpredictable)**,则弹性系统可能很有用,但手动扩展系统更简单,并且意外操作可能会更少(参阅“[重新平衡分区](ch6.md#分区再平衡)”)。 +​ 有些系统是 **弹性(elastic)** 的,这意味着可以在检测到负载增加时自动增加计算资源,而其他系统则是手动扩展(人工分析容量并决定向系统添加更多的机器)。如果负载**极难预测(highly unpredictable)**,则弹性系统可能很有用,但手动扩展系统更简单,并且意外操作可能会更少(参阅“[重新平衡分区](ch6.md#分区再平衡)”)。 ​ 跨多台机器部署**无状态服务(stateless services)**非常简单,但将带状态的数据系统从单节点变为分布式配置则可能引入许多额外复杂度。出于这个原因,常识告诉我们应该将数据库放在单个节点上(纵向扩展),直到扩展成本或可用性需求迫使其改为分布式。 @@ -334,13 +333,13 @@ ### 简单性:管理复杂度 -​ 小型软件项目可以使用简单讨喜的、富表现力的代码,但随着项目越来越大,代码往往变得非常复杂,难以理解。这种复杂度拖慢了所有系统相关人员,进一步增加了维护成本。一个陷入复杂泥潭的软件项目有时被描述为**烂泥潭(a big ball of mud)**【30】。 +​ 小型软件项目可以使用简单讨喜的、富表现力的代码,但随着项目越来越大,代码往往变得非常复杂,难以理解。这种复杂度拖慢了所有系统相关人员,进一步增加了维护成本。一个陷入复杂泥潭的软件项目有时被描述为 **烂泥潭(a big ball of mud)** 【30】。 -​ **复杂度(complexity)**有各种可能的症状,例如:状态空间激增、模块间紧密耦合、纠结的依赖关系、不一致的命名和术语、解决性能问题的Hack、需要绕开的特例等等,现在已经有很多关于这个话题的讨论【31,32,33】。 +​ **复杂度(complexity)** 有各种可能的症状,例如:状态空间激增、模块间紧密耦合、纠结的依赖关系、不一致的命名和术语、解决性能问题的Hack、需要绕开的特例等等,现在已经有很多关于这个话题的讨论【31,32,33】。 ​ 因为复杂度导致维护困难时,预算和时间安排通常会超支。在复杂的软件中进行变更,引入错误的风险也更大:当开发人员难以理解系统时,隐藏的假设、无意的后果和意外的交互就更容易被忽略。相反,降低复杂度能极大地提高软件的可维护性,因此简单性应该是构建系统的一个关键目标。 -​ 简化系统并不一定意味着减少功能;它也可以意味着消除**额外的(accidental)**的复杂度。 Moseley和Marks【32】把**额外复杂度**定义为:由具体实现中涌现,而非(从用户视角看,系统所解决的)问题本身固有的复杂度。 +​ 简化系统并不一定意味着减少功能;它也可以意味着消除**额外的(accidental)**的复杂度。 Moseley和Marks【32】把 **额外复杂度** 定义为:由具体实现中涌现,而非(从用户视角看,系统所解决的)问题本身固有的复杂度。 ​ 用于消除**额外复杂度**的最好工具之一是**抽象(abstraction)**。一个好的抽象可以将大量实现细节隐藏在一个干净,简单易懂的外观下面。一个好的抽象也可以广泛用于各类不同应用。比起重复造很多轮子,重用抽象不仅更有效率,而且有助于开发高质量的软件。抽象组件的质量改进将使所有使用它的应用受益。 @@ -354,11 +353,11 @@ ​ 系统的需求永远不变,基本是不可能的。更可能的情况是,它们处于常态的变化中,例如:你了解了新的事实、出现意想不到的应用场景、业务优先级发生变化、用户要求新功能、新平台取代旧平台、法律或监管要求发生变化、系统增长迫使架构变化等。 -​ 在组织流程方面,**敏捷(agile)**工作模式为适应变化提供了一个框架。敏捷社区还开发了对在频繁变化的环境中开发软件很有帮助的技术工具和模式,如**测试驱动开发(TDD, test-driven development)**和**重构(refactoring)**。 +​ 在组织流程方面, **敏捷(agile)** 工作模式为适应变化提供了一个框架。敏捷社区还开发了对在频繁变化的环境中开发软件很有帮助的技术工具和模式,如 **测试驱动开发(TDD, test-driven development)** 和 **重构(refactoring)** 。 ​ 这些敏捷技术的大部分讨论都集中在相当小的规模(同一个应用中的几个代码文件)。本书将探索在更大数据系统层面上提高敏捷性的方法,可能由几个不同的应用或服务组成。例如,为了将装配主页时间线的方法从方法1变为方法2,你会如何“重构”推特的架构 ? -​ 修改数据系统并使其适应不断变化需求的容易程度,是与**简单性**和**抽象性**密切相关的:简单易懂的系统通常比复杂系统更容易修改。但由于这是一个非常重要的概念,我们将用一个不同的词来指代数据系统层面的敏捷性:**可演化性(evolvability)**【34】。 +​ 修改数据系统并使其适应不断变化需求的容易程度,是与**简单性**和**抽象性**密切相关的:简单易懂的系统通常比复杂系统更容易修改。但由于这是一个非常重要的概念,我们将用一个不同的词来指代数据系统层面的敏捷性: **可演化性(evolvability)** 【34】。 @@ -456,7 +455,6 @@ - ------ | 上一章 | 目录 | 下一章 | diff --git a/ch2.md b/ch2.md index cb3abc6..6d2972a 100644 --- a/ch2.md +++ b/ch2.md @@ -63,7 +63,7 @@ [^i]: 一个从电子学借用的术语。每个电路的输入和输出都有一定的阻抗(交流电阻)。当你将一个电路的输出连接到另一个电路的输入时,如果两个电路的输出和输入阻抗匹配,则连接上的功率传输将被最大化。阻抗不匹配会导致信号反射及其他问题。 -像ActiveRecord和Hibernate这样的**对象关系映射(object-relational mapping, ORM)**框架可以减少这个转换层所需的样板代码的数量,但是它们不能完全隐藏这两个模型之间的差异。 +像ActiveRecord和Hibernate这样的 **对象关系映射(ORM object-relational mapping)** 框架可以减少这个转换层所需的样板代码的数量,但是它们不能完全隐藏这两个模型之间的差异。 ![](img/fig2-1.png) @@ -138,9 +138,9 @@ JSON表示比[图2-1](img/fig2-1.png)中的多表模式具有更好的**局部 * 本地化支持——当网站翻译成其他语言时,标准化的列表可以被本地化,使得地区和行业可以使用用户的语言来显示 * 更好的搜索——例如,搜索华盛顿州的慈善家就会匹配这份简介,因为地区列表可以编码记录西雅图在华盛顿这一事实(从“Greater Seattle Area”这个字符串中看不出来) -存储ID还是文本字符串,这是个**副本(duplication)**问题。当使用ID时,对人类有意义的信息(比如单词:Philanthropy)只存储在一处,所有引用它的地方使用ID(ID只在数据库中有意义)。当直接存储文本时,对人类有意义的信息会复制在每处使用记录中。 +存储ID还是文本字符串,这是个 **副本(duplication)** 问题。当使用ID时,对人类有意义的信息(比如单词:Philanthropy)只存储在一处,所有引用它的地方使用ID(ID只在数据库中有意义)。当直接存储文本时,对人类有意义的信息会复制在每处使用记录中。 -使用ID的好处是,ID对人类没有任何意义,因而永远不需要改变:ID可以保持不变,即使它标识的信息发生变化。任何对人类有意义的东西都可能需要在将来某个时候改变——如果这些信息被复制,所有的冗余副本都需要更新。这会导致写入开销,也存在不一致的风险(一些副本被更新了,还有些副本没有被更新)。去除此类重复是数据库**规范化(normalization)**的关键思想。[^ii] +使用ID的好处是,ID对人类没有任何意义,因而永远不需要改变:ID可以保持不变,即使它标识的信息发生变化。任何对人类有意义的东西都可能需要在将来某个时候改变——如果这些信息被复制,所有的冗余副本都需要更新。这会导致写入开销,也存在不一致的风险(一些副本被更新了,还有些副本没有被更新)。去除此类重复是数据库 **规范化(normalization)** 的关键思想。[^ii] [^ii]: 关于关系模型的文献区分了几种不同的规范形式,但这些区别几乎没有实际意义。一个经验法则是,如果重复存储了可以存储在一个地方的值,则模式就不是**规范化(normalized)**的。 @@ -201,7 +201,7 @@ CODASYL中的查询是通过利用遍历记录列和跟随访问路径表在数 #### 关系模型 -相比之下,关系模型做的就是将所有的数据放在光天化日之下:一个**关系(表)**只是一个**元组(行)**的集合,仅此而已。如果你想读取数据,它没有迷宫似的嵌套结构,也没有复杂的访问路径。你可以选中符合任意条件的行,读取表中的任何或所有行。你可以通过指定某些列作为匹配关键字来读取特定行。你可以在任何表中插入一个新的行,而不必担心与其他表的外键关系[^iv]。 +相比之下,关系模型做的就是将所有的数据放在光天化日之下:一个 **关系(表)** 只是一个 **元组(行)** 的集合,仅此而已。如果你想读取数据,它没有迷宫似的嵌套结构,也没有复杂的访问路径。你可以选中符合任意条件的行,读取表中的任何或所有行。你可以通过指定某些列作为匹配关键字来读取特定行。你可以在任何表中插入一个新的行,而不必担心与其他表的外键关系[^iv]。 [^iv]: 外键约束允许对修改约束,但对于关系模型这并不是必选项。即使有约束,外键连接在查询时执行,而在CODASYL中,连接在插入时高效完成。 @@ -252,7 +252,7 @@ if (user && user.name && !user.first_name) { } ``` -另一方面,在“静态类型”数据库模式中,通常会执行以下**迁移(migration)**操作: +另一方面,在“静态类型”数据库模式中,通常会执行以下 **迁移(migration)** 操作: ```sql ALTER TABLE users ADD COLUMN first_name text; @@ -277,7 +277,7 @@ UPDATE users SET first_name = substring_index(name, ' ', 1); -- MySQL 局部性仅仅适用于同时需要文档绝大部分内容的情况。数据库通常需要加载整个文档,即使只访问其中的一小部分,这对于大型文档来说是很浪费的。更新文档时,通常需要整个重写。只有不改变文档大小的修改才可以容易地原地执行。因此,通常建议保持相对小的文档,并避免增加文档大小的写入【9】。这些性能限制大大减少了文档数据库的实用场景。 -值得指出的是,为了局部性而分组集合相关数据的想法并不局限于文档模型。例如,Google的Spanner数据库在关系数据模型中提供了同样的局部性属性,允许模式声明一个表的行应该交错(嵌套)在父表内【27】。Oracle类似地允许使用一个称为**多表索引集群表(multi-table index cluster tables)**的类似特性【28】。Bigtable数据模型(用于Cassandra和HBase)中的**列族(column-family)**概念与管理局部性的目的类似【29】。 +值得指出的是,为了局部性而分组集合相关数据的想法并不局限于文档模型。例如,Google的Spanner数据库在关系数据模型中提供了同样的局部性属性,允许模式声明一个表的行应该交错(嵌套)在父表内【27】。Oracle类似地允许使用一个称为 **多表索引集群表(multi-table index cluster tables)** 的类似特性【28】。Bigtable数据模型(用于Cassandra和HBase)中的 **列族(column-family)** 概念与管理局部性的目的类似【29】。 在[第3章](ch3.md)将还会看到更多关于局部性的内容。 @@ -299,7 +299,7 @@ UPDATE users SET first_name = substring_index(name, ' ', 1); -- MySQL ## 数据查询语言 -当引入关系模型时,关系模型包含了一种查询数据的新方法:SQL是一种**声明式**查询语言,而IMS和CODASYL使用**命令式**代码来查询数据库。那是什么意思? +当引入关系模型时,关系模型包含了一种查询数据的新方法:SQL是一种 **声明式** 查询语言,而IMS和CODASYL使用 **命令式** 代码来查询数据库。那是什么意思? 许多常用的编程语言是命令式的。例如,给定一个动物物种的列表,返回列表中的鲨鱼可以这样写: @@ -387,7 +387,7 @@ li.selected > p { 这里的XPath表达式`li[@class='selected']/p`相当于上例中的CSS选择器`li.selected> p`。CSS和XSL的共同之处在于,它们都是用于指定文档样式的声明式语言。 -想象一下,必须使用命令式方法的情况会是如何。在Javascript中,使用**文档对象模型(DOM)**API,其结果可能如下所示: +想象一下,必须使用命令式方法的情况会是如何。在Javascript中,使用 **文档对象模型(DOM)** API,其结果可能如下所示: ```js var liElements = document.getElementsByTagName("li"); @@ -545,11 +545,11 @@ db.observations.aggregate([ 在属性图模型中,每个**顶点(vertex)**包括: * 唯一的标识符 -* 一组**出边(outgoing edges)** -* 一组**入边(ingoing edges)** +* 一组 **出边(outgoing edges)** +* 一组 **入边(ingoing edges)** * 一组属性(键值对) -每条**边(edge)**包括: +每条 **边(edge)** 包括: * 唯一标识符 * **边的起点/尾部顶点(tail vertex)** @@ -698,7 +698,7 @@ WITH RECURSIVE 三元组存储模式大体上与属性图模型相同,用不同的词来描述相同的想法。不过仍然值得讨论,因为三元组存储有很多现成的工具和语言,这些工具和语言对于构建应用程序的工具箱可能是宝贵的补充。 -在三元组存储中,所有信息都以非常简单的三部分表示形式存储(**主语**,**谓语**,**宾语**)。例如,三元组**(吉姆, 喜欢 ,香蕉)**中,**吉姆**是主语,**喜欢**是谓语(动词),**香蕉**是对象。 +在三元组存储中,所有信息都以非常简单的三部分表示形式存储(**主语**,**谓语**,**宾语**)。例如,三元组 **(吉姆, 喜欢 ,香蕉)** 中,**吉姆** 是主语,**喜欢** 是谓语(动词),**香蕉** 是对象。 三元组的主语相当于图中的一个顶点。而宾语是下面两者之一: @@ -1037,7 +1037,6 @@ Cypher和SPARQL使用SELECT立即跳转,但是Datalog一次只进行一小步 1. Fons Rademakers: “[ROOT for Big Data Analysis](http://indico.cern.ch/getFile.py/access?contribId=13&resId=0&materialId=slides&confId=246453),” at *Workshop on the Future of Big Data Management*, London, UK, June 2013. - ------ | 上一章 | 目录 | 下一章 | diff --git a/ch3.md b/ch3.md index 285c6f3..980da1a 100644 --- a/ch3.md +++ b/ch3.md @@ -19,7 +19,7 @@ 特别需要注意,针对**事务**性负载和**分析性**负载优化的存储引擎之间存在巨大差异。稍后我们将在 “[事务处理还是分析?](#事务处理还是分析?)” 一节中探讨这一区别,并在 “[列存储](#列存储)”中讨论一系列针对分析优化存储引擎。 -但是,我们将从您最可能熟悉的两大类数据库:传统关系型数据库与很多所谓的“NoSQL”数据库开始,通过介绍它们的**存储引擎**来开始本章的内容。我们会研究两大类存储引擎:**日志结构(log-structured)**的存储引擎,以及**面向页面(page-oriented)**的存储引擎(例如B树)。 +但是,我们将从您最可能熟悉的两大类数据库:传统关系型数据库与很多所谓的“NoSQL”数据库开始,通过介绍它们的**存储引擎**来开始本章的内容。我们会研究两大类存储引擎:**日志结构(log-structured)** 的存储引擎,以及**面向页面(page-oriented)** 的存储引擎(例如B树)。 ## 驱动数据库的数据结构 @@ -63,9 +63,9 @@ $ cat database 42,{"name":"San Francisco","attractions":["Exploratorium"]} ``` -`db_set` 函数对于极其简单的场景其实有非常好的性能,因为在文件尾部追加写入通常是非常高效的。与`db_set`做的事情类似,许多数据库在内部使用了**日志(log)**,也就是一个**仅追加(append-only)**的数据文件。真正的数据库有更多的问题需要处理(如并发控制,回收磁盘空间以避免日志无限增长,处理错误与部分写入的记录),但基本原理是一样的。日志极其有用,我们还将在本书的其它部分重复见到它好几次。 +`db_set` 函数对于极其简单的场景其实有非常好的性能,因为在文件尾部追加写入通常是非常高效的。与`db_set`做的事情类似,许多数据库在内部使用了**日志(log)**,也就是一个 **仅追加(append-only)** 的数据文件。真正的数据库有更多的问题需要处理(如并发控制,回收磁盘空间以避免日志无限增长,处理错误与部分写入的记录),但基本原理是一样的。日志极其有用,我们还将在本书的其它部分重复见到它好几次。 -> **日志(log)**这个词通常指应用日志:即应用程序输出的描述发生事情的文本。本书在更普遍的意义下使用**日志**这一词:一个仅追加的记录序列。它可能压根就不是给人类看的,使用二进制格式,并仅能由其他程序读取。 +> **日志(log)** 这个词通常指应用日志:即应用程序输出的描述发生事情的文本。本书在更普遍的意义下使用**日志**这一词:一个仅追加的记录序列。它可能压根就不是给人类看的,使用二进制格式,并仅能由其他程序读取。 另一方面,如果这个数据库中有着大量记录,则这个`db_get` 函数的性能会非常糟糕。每次你想查找一个键时,`db_get` 必须从头到尾扫描整个数据库文件来查找键的出现。用算法的语言来说,查找的开销是 `O(n)` :如果数据库记录数量 n 翻了一倍,查找时间也要翻一倍。这就不好了。 @@ -79,11 +79,11 @@ $ cat database ### 哈希索引 -让我们从**键值数据(key-value Data)**的索引开始。这不是您可以索引的唯一数据类型,但键值数据是很常见的。对于更复杂的索引来说,这是一个有用的构建模块。 +让我们从 **键值数据(key-value Data)** 的索引开始。这不是您可以索引的唯一数据类型,但键值数据是很常见的。对于更复杂的索引来说,这是一个有用的构建模块。 键值存储与在大多数编程语言中可以找到的**字典(dictionary)**类型非常相似,通常字典都是用**散列映射(hash map)**(或**哈希表(hash table)**)实现的。哈希映射在许多算法教科书中都有描述【1,2】,所以这里我们不会讨论它的工作细节。既然我们已经有**内存中**数据结构 —— 哈希映射,为什么不使用它来索引在**磁盘上**的数据呢? -假设我们的数据存储只是一个追加写入的文件,就像前面的例子一样。那么最简单的索引策略就是:保留一个内存中的哈希映射,其中每个键都映射到一个数据文件中的字节偏移量,指明了可以找到对应值的位置,如[图3-1](img/fig3-1.png)所示。当你将新的键值对追加写入文件中时,还要更新散列映射,以反映刚刚写入的数据的偏移量(这同时适用于插入新键与更新现有键)。当你想查找一个值时,使用哈希映射来查找数据文件中的偏移量,**寻找(seek)**该位置并读取该值。 +假设我们的数据存储只是一个追加写入的文件,就像前面的例子一样。那么最简单的索引策略就是:保留一个内存中的哈希映射,其中每个键都映射到一个数据文件中的字节偏移量,指明了可以找到对应值的位置,如[图3-1](img/fig3-1.png)所示。当你将新的键值对追加写入文件中时,还要更新散列映射,以反映刚刚写入的数据的偏移量(这同时适用于插入新键与更新现有键)。当你想查找一个值时,使用哈希映射来查找数据文件中的偏移量,**寻找(seek)** 该位置并读取该值。 ![](img/fig3-1.png) @@ -130,7 +130,7 @@ $ cat database 乍一看,只有追加日志看起来很浪费:为什么不更新文件,用新值覆盖旧值?但是只能追加设计的原因有几个: -* 追加和分段合并是顺序写入操作,通常比随机写入快得多,尤其是在磁盘旋转硬盘上。在某种程度上,顺序写入在基于闪存的**固态硬盘(SSD)**上也是优选的【4】。我们将在第83页的“[比较B-树和LSM-树](#比较B-树和LSM-树)”中进一步讨论这个问题。 +* 追加和分段合并是顺序写入操作,通常比随机写入快得多,尤其是在磁盘旋转硬盘上。在某种程度上,顺序写入在基于闪存的 **固态硬盘(SSD)** 上也是优选的【4】。我们将在第83页的“[比较B-树和LSM-树](#比较B-树和LSM-树)”中进一步讨论这个问题。 * 如果段文件是附加的或不可变的,并发和崩溃恢复就简单多了。例如,您不必担心在覆盖值时发生崩溃的情况,而将包含旧值和新值的一部分的文件保留在一起。 * 合并旧段可以避免数据文件随着时间的推移而分散的问题。 @@ -297,7 +297,7 @@ B树在数据库体系结构中是非常根深蒂固的,为许多工作负载 ### 其他索引结构 -到目前为止,我们只讨论了关键值索引,它们就像关系模型中的**主键(primary key)**索引。主键唯一标识关系表中的一行,或文档数据库中的一个文档或图形数据库中的一个顶点。数据库中的其他记录可以通过其主键(或ID)引用该行/文档/顶点,并且索引用于解析这样的引用。 +到目前为止,我们只讨论了关键值索引,它们就像关系模型中的**主键(primary key)** 索引。主键唯一标识关系表中的一行,或文档数据库中的一个文档或图形数据库中的一个顶点。数据库中的其他记录可以通过其主键(或ID)引用该行/文档/顶点,并且索引用于解析这样的引用。 有二级索引也很常见。在关系数据库中,您可以使用 `CREATE INDEX` 命令在同一个表上创建多个二级索引,而且这些索引通常对于有效地执行联接而言至关重要。例如,在[第2章](ch2.md)中的[图2-1](img/fig2-1.png)中,很可能在 `user_id` 列上有一个二级索引,以便您可以在每个表中找到属于同一用户的所有行。 @@ -310,7 +310,7 @@ B树在数据库体系结构中是非常根深蒂固的,为许多工作负载 在某些情况下,从索引到堆文件的额外跳跃对读取来说性能损失太大,因此可能希望将索引行直接存储在索引中。这被称为聚集索引。例如,在MySQL的InnoDB存储引擎中,表的主键总是一个聚簇索引,二级索引用主键(而不是堆文件中的位置)【31】。在SQL Server中,可以为每个表指定一个聚簇索引【32】。 -在**聚集索引(clustered index)**(在索引中存储所有行数据)和**非聚集索引(nonclustered index)**(仅在索引中存储对数据的引用)之间的折衷被称为**包含列的索引(index with included columns)**或**覆盖索引(covering index)**,其存储表的一部分在索引内【33】。这允许通过单独使用索引来回答一些查询(这种情况叫做:索引**覆盖(cover)**了查询)【32】。 +在 **聚集索引(clustered index)** (在索引中存储所有行数据)和 **非聚集索引(nonclustered index)** (仅在索引中存储对数据的引用)之间的折衷被称为 **包含列的索引(index with included columns)**或**覆盖索引(covering index)**,其存储表的一部分在索引内【33】。这允许通过单独使用索引来回答一些查询(这种情况叫做:索引 **覆盖(cover)** 了查询)【32】。 与任何类型的数据重复一样,聚簇和覆盖索引可以加快读取速度,但是它们需要额外的存储空间,并且会增加写入开销。数据库还需要额外的努力来执行事务保证,因为应用程序不应该因为重复而导致不一致。 @@ -318,9 +318,9 @@ B树在数据库体系结构中是非常根深蒂固的,为许多工作负载 至今讨论的索引只是将一个键映射到一个值。如果我们需要同时查询一个表中的多个列(或文档中的多个字段),这显然是不够的。 -最常见的多列索引被称为**连接索引(concatenated index)**,它通过将一列的值追加到另一列后面,简单地将多个字段组合成一个键(索引定义中指定了字段的连接顺序)。这就像一个老式的纸质电话簿,它提供了一个从(姓,名)到电话号码的索引。由于排序顺序,索引可以用来查找所有具有特定姓氏的人,或所有具有特定姓-名组合的人。**然而,如果你想找到所有具有特定名字的人,这个索引是没有用的**。 +最常见的多列索引被称为 **连接索引(concatenated index)** ,它通过将一列的值追加到另一列后面,简单地将多个字段组合成一个键(索引定义中指定了字段的连接顺序)。这就像一个老式的纸质电话簿,它提供了一个从(姓,名)到电话号码的索引。由于排序顺序,索引可以用来查找所有具有特定姓氏的人,或所有具有特定姓-名组合的人。**然而,如果你想找到所有具有特定名字的人,这个索引是没有用的**。 -**多维索引(multi-dimensional index)**是一种查询多个列的更一般的方法,这对于地理空间数据尤为重要。例如,餐厅搜索网站可能有一个数据库,其中包含每个餐厅的经度和纬度。当用户在地图上查看餐馆时,网站需要搜索用户正在查看的矩形地图区域内的所有餐馆。这需要一个二维范围查询,如下所示: +**多维索引(multi-dimensional index)** 是一种查询多个列的更一般的方法,这对于地理空间数据尤为重要。例如,餐厅搜索网站可能有一个数据库,其中包含每个餐厅的经度和纬度。当用户在地图上查看餐馆时,网站需要搜索用户正在查看的矩形地图区域内的所有餐馆。这需要一个二维范围查询,如下所示: ```sql SELECT * FROM restaurants WHERE latitude > 51.4946 AND latitude < 51.5079 @@ -359,9 +359,9 @@ SELECT * FROM restaurants WHERE latitude > 51.4946 AND latitude < 51.5079 除了性能,内存数据库的另一个有趣的领域是提供难以用基于磁盘的索引实现的数据模型。例如,Redis为各种数据结构(如优先级队列和集合)提供了类似数据库的接口。因为它将所有数据保存在内存中,所以它的实现相对简单。 -最近的研究表明,内存数据库体系结构可以扩展到支持比可用内存更大的数据集,而不必重新采用以磁盘为中心的体系结构【45】。所谓的**反缓存(anti-caching)**方法通过在内存不足的情况下将最近最少使用的数据从内存转移到磁盘,并在将来再次访问时将其重新加载到内存中。这与操作系统对虚拟内存和交换文件的操作类似,但数据库可以比操作系统更有效地管理内存,因为它可以按单个记录的粒度工作,而不是整个内存页面。尽管如此,这种方法仍然需要索引能完全放入内存中(就像本章开头的Bitcask例子)。 +最近的研究表明,内存数据库体系结构可以扩展到支持比可用内存更大的数据集,而不必重新采用以磁盘为中心的体系结构【45】。所谓的 **反缓存(anti-caching)** 方法通过在内存不足的情况下将最近最少使用的数据从内存转移到磁盘,并在将来再次访问时将其重新加载到内存中。这与操作系统对虚拟内存和交换文件的操作类似,但数据库可以比操作系统更有效地管理内存,因为它可以按单个记录的粒度工作,而不是整个内存页面。尽管如此,这种方法仍然需要索引能完全放入内存中(就像本章开头的Bitcask例子)。 -如果**非易失性存储器(NVM)**技术得到更广泛的应用,可能还需要进一步改变存储引擎设计【46】。目前这是一个新的研究领域,值得关注。 +如果 **非易失性存储器(NVM)** 技术得到更广泛的应用,可能还需要进一步改变存储引擎设计【46】。目前这是一个新的研究领域,值得关注。 @@ -370,13 +370,13 @@ SELECT * FROM restaurants WHERE latitude > 51.4946 AND latitude < 51.5079 在业务数据处理的早期,对数据库的写入通常对应于正在进行的商业交易:进行销售,向供应商下订单,支付员工工资等等。随着数据库扩展到那些没有不涉及钱易手,术语交易仍然卡住,指的是形成一个逻辑单元的一组读写。 事务不一定具有ACID(原子性,一致性,隔离性和持久性)属性。事务处理只是意味着允许客户端进行低延迟读取和写入 —— 而不是批量处理作业,而这些作业只能定期运行(例如每天一次)。我们在[第7章](ch7.md)中讨论ACID属性,在[第10章](ch10.md)中讨论批处理。 -即使数据库开始被用于许多不同类型的博客文章,游戏中的动作,地址簿中的联系人等等,基本访问模式仍然类似于处理业务事务。应用程序通常使用索引通过某个键查找少量记录。根据用户的输入插入或更新记录。由于这些应用程序是交互式的,因此访问模式被称为**在线事务处理(OLTP, OnLine Transaction Processing)**。 +即使数据库开始被用于许多不同类型的博客文章,游戏中的动作,地址簿中的联系人等等,基本访问模式仍然类似于处理业务事务。应用程序通常使用索引通过某个键查找少量记录。根据用户的输入插入或更新记录。由于这些应用程序是交互式的,因此访问模式被称为 **在线事务处理(OLTP, OnLine Transaction Processing)** 。 但是,数据库也开始越来越多地用于数据分析,这些数据分析具有非常不同的访问模式。通常,分析查询需要扫描大量记录,每个记录只读取几列,并计算汇总统计信息(如计数,总和或平均值),而不是将原始数据返回给用户。例如,如果您的数据是一个销售交易表,那么分析查询可能是: -* 一月份我们每个商店的总收入是多少? -* 我们在最近的推广活动中销售多少香蕉? -* 哪种品牌的婴儿食品最常与X品牌的尿布一起购买? +* 一月份每个商店的总收入是多少? +* 在最近的推广活动中卖了多少香蕉? +* 哪个牌子的婴儿食品最常与X品牌的尿布同时购买? 这些查询通常由业务分析师编写,并提供给帮助公司管理层做出更好决策(商业智能)的报告。为了区分这种使用数据库的事务处理模式,它被称为**在线分析处理(OLAP, OnLine Analytice Processing)**。【47】。OLTP和OLAP之间的区别并不总是清晰的,但是一些典型的特征在[表3-1]()中列出。 @@ -394,11 +394,11 @@ SELECT * FROM restaurants WHERE latitude > 51.4946 AND latitude < 51.5079 ### 数据仓库 -一个企业可能有几十个不同的交易处理系统:系统为面向客户的网站提供动力,控制实体商店的**销售点(checkout)**系统,跟踪仓库中的库存,规划车辆路线,管理供应商,管理员工等。这些系统中的每一个都是复杂的,需要一个人员去维护,所以系统最终都是自动运行的。 +一个企业可能有几十个不同的交易处理系统:面向终端客户的网站,控制实体商店的收银系统,跟踪仓库库存,规划车辆路线,供应链管理,员工管理等。这些系统中每一个都很复杂,需要专人维护,所以系统最终都是自动运行的。 -这些OLTP系统通常具有高度的可用性,并以低延迟处理事务,因为这些系统往往对业务运作至关重要。因此数据库管理员密切关注他们的OLTP数据库他们通常不愿意让业务分析人员在OLTP数据库上运行临时分析查询,因为这些查询通常很昂贵,扫描大部分数据集,这会损害同时执行的事务的性能。 +这些OLTP系统往往对业务运作至关重要,因而通常会要求 **高可用** 与 **低延迟**。所以DBA会密切关注他们的OLTP数据库,他们通常不愿意让业务分析人员在OLTP数据库上运行临时分析查询,因为这些查询通常开销巨大,会扫描大部分数据集,这会损害同时执行的事务的性能。 -相比之下,数据仓库是一个独立的数据库,分析人员可以查询他们心中的内容,而不影响OLTP操作【48】。数据仓库包含公司所有各种OLTP系统中的只读数据副本。从OLTP数据库中提取数据(使用定期的数据转储或连续的更新流),转换成适合分析的模式,清理并加载到数据仓库中。将数据存入仓库的过程称为“**抽取-转换-加载(ETL)**”,如[图3-8](img/fig3-8)所示。 +相比之下,数据仓库是一个独立的数据库,分析人员可以查询他们想要的内容而不影响OLTP操作【48】。数据仓库包含公司各种OLTP系统中所有的只读数据副本。从OLTP数据库中提取数据(使用定期的数据转储或连续的更新流),转换成适合分析的模式,清理并加载到数据仓库中。将数据存入仓库的过程称为“**抽取-转换-加载(ETL)**”,如[图3-8](img/fig3-8)所示。 ![](img/fig3-8.png) @@ -406,7 +406,7 @@ SELECT * FROM restaurants WHERE latitude > 51.4946 AND latitude < 51.5079 几乎所有的大型企业都有数据仓库,但在小型企业中几乎闻所未闻。这可能是因为大多数小公司没有这么多不同的OLTP系统,大多数小公司只有少量的数据 —— 可以在传统的SQL数据库中查询,甚至可以在电子表格中分析。在一家大公司里,要做一些在一家小公司很简单的事情,需要很多繁重的工作。 -使用单独的数据仓库,而不是直接查询OLTP系统进行分析的一大优势是数据仓库可针对分析访问模式进行优化。事实证明,本章前半部分讨论的索引算法对于OLTP来说工作得很好,但对于回答分析查询并不是很好。在本章的其余部分中,我们将看看为分析而优化的存储引擎。 +使用单独的数据仓库,而不是直接查询OLTP系统进行分析的一大优势是数据仓库可针对分析访问模式进行优化。事实证明,本章前半部分讨论的索引算法对于OLTP来说工作得很好,但对于回答分析查询并不是很好。在本章的其余部分中,我们将研究为分析而优化的存储引擎。 #### OLTP数据库和数据仓库之间的分歧 @@ -588,20 +588,20 @@ WHERE product_sk = 31 AND store_sk = 3 在本章中,我们试图深入了解数据库如何处理存储和检索。将数据存储在数据库中会发生什么,以及稍后再次查询数据时数据库会做什么? -在高层次上,我们看到存储引擎分为两大类:优化**事务处理(OLTP)**和**优化分析(OLAP)**的类别。这些用例的访问模式之间有很大的区别: +在高层次上,我们看到存储引擎分为两大类:优化 **事务处理(OLTP)** 或 **在线分析(OLAP)** 。这些用例的访问模式之间有很大的区别: -* OLTP系统通常面向用户,这意味着他们可能会看到大量的请求。为了处理负载,应用程序通常只触及每个查询中的少量记录。应用程序使用某种键来请求记录,存储引擎使用索引来查找所请求的键的数据。磁盘寻道时间往往是这里的瓶颈。 -* 数据仓库和类似的分析系统不太知名,因为它们主要由业务分析人员使用,而不是由最终用户使用。它们处理比OLTP系统少得多的查询量,但是每个查询通常要求很高,需要在短时间内扫描数百万条记录。磁盘带宽(不是查找时间)往往是瓶颈,列式存储是这种工作负载越来越流行的解决方案。 +* OLTP系统通常面向用户,这意味着系统可能会收到大量的请求。为了处理负载,应用程序通常只访问每个查询中的少部分记录。应用程序使用某种键来请求记录,存储引擎使用索引来查找所请求的键的数据。磁盘寻道时间往往是这里的瓶颈。 +* 数据仓库和类似的分析系统会低调一些,因为它们主要由业务分析人员使用,而不是由最终用户使用。它们的查询量要比OLTP系统少得多,但通常每个查询开销高昂,需要在短时间内扫描数百万条记录。磁盘带宽(而不是查找时间)往往是瓶颈,列式存储是这种工作负载越来越流行的解决方案。 -在OLTP方面,我们看到了来自两大主流学派的存储引擎: +在OLTP方面,我们能看到两派主流的存储引擎: ***日志结构学派*** -只允许附加到文件和删除过时的文件,但不会更新已经写入的文件。 Bitcask,SSTables,LSM树,LevelDB,Cassandra,HBase,Lucene等都属于这个组。 +只允许附加到文件和删除过时的文件,但不会更新已经写入的文件。 Bitcask,SSTables,LSM树,LevelDB,Cassandra,HBase,Lucene等都属于这个类别。 ***就地更新学派*** -将磁盘视为一组可以覆盖的固定大小的页面。 B树是这种哲学的最大的例子,被用在所有主要的关系数据库中,还有许多非关系数据库。 +将磁盘视为一组可以覆写的固定大小的页面。 B树是这种哲学的典范,用在所有主要的关系数据库中和许多非关系型数据库。 日志结构的存储引擎是相对较新的发展。他们的主要想法是,他们系统地将随机访问写入顺序写入磁盘,由于硬盘驱动器和固态硬盘的性能特点,可以实现更高的写入吞吐量。在完成OLTP方面,我们通过一些更复杂的索引结构和为保留所有数据而优化的数据库做了一个简短的介绍。 @@ -757,7 +757,6 @@ WHERE product_sk = 31 AND store_sk = 3 - ------ | 上一章 | 目录 | 下一章 | diff --git a/ch4.md b/ch4.md index 76fad62..20b2b14 100644 --- a/ch4.md +++ b/ch4.md @@ -19,8 +19,8 @@ 当数据**格式(format)**或**模式(schema)**发生变化时,通常需要对应用程序代码进行相应的更改(例如,为记录添加新字段,然后修改程序开始读写该字段)。但在大型应用程序中,代码变更通常不会立即完成: -* 对于**服务端(server-side)**应用程序,可能需要执行**滚动升级 (rolling upgrade)**(也称为**阶段发布(staged rollout)**),一次将新版本部署到少数几个节点,检查新版本是否运行正常,然后逐渐部完所有的节点。这样无需中断服务即可部署新版本,为频繁发布提供了可行性,从而带来更好的可演化性。 -* 对于**客户端(client-side)**应用程序,升不升级就要看用户的心情了。用户可能相当长一段时间里都不会去升级软件。 +* 对于 **服务端(server-side)** 应用程序,可能需要执行 **滚动升级 (rolling upgrade)** (也称为 **阶段发布(staged rollout)** ),一次将新版本部署到少数几个节点,检查新版本是否运行正常,然后逐渐部完所有的节点。这样无需中断服务即可部署新版本,为频繁发布提供了可行性,从而带来更好的可演化性。 +* 对于 **客户端(client-side)** 应用程序,升不升级就要看用户的心情了。用户可能相当长一段时间里都不会去升级软件。 这意味着,新旧版本的代码,以及新旧数据格式可能会在系统中同时共处。系统想要继续顺利运行,就需要保持**双向兼容性**: @@ -43,17 +43,17 @@ 程序通常(至少)使用两种形式的数据: 1. 在内存中,数据保存在对象,结构体,列表,数组,哈希表,树等中。 这些数据结构针对CPU的高效访问和操作进行了优化(通常使用指针)。 -2. 如果要将数据写入文件,或通过网络发送,则必须将其**编码(encode)**为某种自包含的字节序列(例如,JSON文档)。 由于每个进程都有自己独立的地址空间,一个进程中的指针对任何其他进程都没有意义,所以这个字节序列表示会与通常在内存中使用的数据结构完全不同[^i]。 +2. 如果要将数据写入文件,或通过网络发送,则必须将其 **编码(encode)** 为某种自包含的字节序列(例如,JSON文档)。 由于每个进程都有自己独立的地址空间,一个进程中的指针对任何其他进程都没有意义,所以这个字节序列表示会与通常在内存中使用的数据结构完全不同[^i]。 [^i]: 除一些特殊情况外,例如某些内存映射文件或直接在压缩数据上操作(如“[列压缩](ch4.md#列压缩)”中所述)。 -所以,需要在两种表示之间进行某种类型的翻译。 从内存中表示到字节序列的转换称为**编码(Encoding)**(也称为**序列化(serialization)**或**编组(marshalling)**),反过来称为**解码(Decoding)**[^ii](**解析(Parsing)**,**反序列化(deserialization)**,**反编组( unmarshalling)**)[^译i]。 +所以,需要在两种表示之间进行某种类型的翻译。 从内存中表示到字节序列的转换称为 **编码(Encoding)** (也称为**序列化(serialization)**或**编组(marshalling)**),反过来称为**解码(Decoding)**[^ii](**解析(Parsing)**,**反序列化(deserialization)**,**反编组( unmarshalling)**)[^译i]。 -[^ii]: 请注意,**编码(encode)**与**加密(encryption)**无关。 本书不讨论加密。 +[^ii]: 请注意,**编码(encode)** 与 **加密(encryption)** 无关。 本书不讨论加密。 [^译i]: Marshal与Serialization的区别:Marshal不仅传输对象的状态,而且会一起传输对象的方法(相关代码)。 > #### 术语冲突 -> 不幸的是,在[第七章](ch7.md):**事务(Transaction)**的上下文里,**序列化(Serialization)**这个术语也出现了,而且具有完全不同的含义。尽管序列化可能是更常见的术语,为了避免术语重载,本书中坚持使用**编码(Encoding)**表达此含义。 +> 不幸的是,在[第七章](ch7.md): **事务(Transaction)** 的上下文里,**序列化(Serialization)** 这个术语也出现了,而且具有完全不同的含义。尽管序列化可能是更常见的术语,为了避免术语重载,本书中坚持使用 **编码(Encoding)** 表达此含义。 这是一个常见的问题,因而有许多库和编码格式可供选择。 首先让我们概览一下。 @@ -120,7 +120,7 @@ JSON比XML简洁,但与二进制格式一比,还是太占地方。这一事 ### Thrift与Protocol Buffers Apache Thrift 【15】和Protocol Buffers(protobuf)【16】是基于相同原理的二进制编码库。 Protocol Buffers最初是在Google开发的,Thrift最初是在Facebook开发的,并且在2007~2008年都是开源的【17】。 -Thrift和Protocol Buffers都需要一个模式来编码任何数据。要在Thrift的[例4-1]()中对数据进行编码,可以使用Thrift**接口定义语言(IDL)**来描述模式,如下所示: +Thrift和Protocol Buffers都需要一个模式来编码任何数据。要在Thrift的[例4-1]()中对数据进行编码,可以使用Thrift **接口定义语言(IDL)** 来描述模式,如下所示: ```c struct Person { @@ -175,7 +175,7 @@ Thrift CompactProtocol编码在语义上等同于BinaryProtocol,但是如[图4 您可以添加新的字段到架构,只要您给每个字段一个新的标签号码。如果旧的代码(不知道你添加的新的标签号码)试图读取新代码写入的数据,包括一个新的字段,其标签号码不能识别,它可以简单地忽略该字段。数据类型注释允许解析器确定需要跳过的字节数。这保持了前向兼容性:旧代码可以读取由新代码编写的记录。 -向后兼容性呢?只要每个字段都有一个唯一的标签号码,新的代码总是可以读取旧的数据,因为标签号码仍然具有相同的含义。唯一的细节是,如果你添加一个新的领域,你不能要求。如果您要添加一个字段并将其设置为必需,那么如果新代码读取旧代码写入的数据,则该检查将失败,因为旧代码不会写入您添加的新字段。因此,为了保持向后兼容性,在模式的初始部署之后**添加的每个字段必须是可选的或具有默认值**。 +向后兼容性呢?只要每个字段都有一个唯一的标签号码,新的代码总是可以读取旧的数据,因为标签号码仍然具有相同的含义。唯一的细节是,如果你添加一个新的领域,你不能要求。如果您要添加一个字段并将其设置为必需,那么如果新代码读取旧代码写入的数据,则该检查将失败,因为旧代码不会写入您添加的新字段。因此,为了保持向后兼容性,在模式的初始部署之后 **添加的每个字段必须是可选的或具有默认值**。 删除一个字段就像添加一个字段,倒退和向前兼容性问题相反。这意味着您只能删除一个可选的字段(必填字段永远不能删除),而且您不能再次使用相同的标签号码(因为您可能仍然有数据写在包含旧标签号码的地方,而该字段必须被新代码忽略)。 @@ -380,7 +380,7 @@ Web以这种方式工作:客户(Web浏览器)向Web服务器发出请求 Web浏览器不是唯一的客户端类型。例如,在移动设备或桌面计算机上运行的本地应用程序也可以向服务器发出网络请求,并且在Web浏览器内运行的客户端JavaScript应用程序可以使用XMLHttpRequest成为HTTP客户端(该技术被称为Ajax 【30】)。在这种情况下,服务器的响应通常不是用于显示给人的HTML,而是用于便于客户端应用程序代码(如JSON)进一步处理的编码数据。尽管HTTP可能被用作传输协议,但顶层实现的API是特定于应用程序的,客户端和服务器需要就该API的细节达成一致。 -此外,服务器本身可以是另一个服务的客户端(例如,典型的Web应用服务器充当数据库的客户端)。这种方法通常用于将大型应用程序按照功能区域分解为较小的服务,这样当一个服务需要来自另一个服务的某些功能或数据时,就会向另一个服务发出请求。这种构建应用程序的方式传统上被称为**面向服务的体系结构(service-oriented architecture,SOA)**,最近被改进和更名为**微服务架构 **【31,32】。 +此外,服务器本身可以是另一个服务的客户端(例如,典型的Web应用服务器充当数据库的客户端)。这种方法通常用于将大型应用程序按照功能区域分解为较小的服务,这样当一个服务需要来自另一个服务的某些功能或数据时,就会向另一个服务发出请求。这种构建应用程序的方式传统上被称为 **面向服务的体系结构(service-oriented architecture,SOA)** ,最近被改进和更名为 **微服务架构 ** 【31,32】。 在某些方面,服务类似于数据库:它们通常允许客户端提交和查询数据。但是,虽然数据库允许使用我们在第2章 中讨论的查询语言进行任意查询,但是服务公开了一个特定于应用程序的API,它只允许由服务的业务逻辑(应用程序代码)预定的输入和输出【33】。这种限制提供了一定程度的封装:服务可以对客户可以做什么和不可以做什么施加细粒度的限制。 @@ -391,7 +391,7 @@ Web浏览器不是唯一的客户端类型。例如,在移动设备或桌面 **当服务使用HTTP作为底层通信协议时,可称之为Web服务**。这可能是一个小错误,因为Web服务不仅在Web上使用,而且在几个不同的环境中使用。例如: 1. 运行在用户设备上的客户端应用程序(例如,移动设备上的本地应用程序,或使用Ajax的JavaScript web应用程序)通过HTTP向服务发出请求。这些请求通常通过公共互联网进行。 -2. 一种服务向同一组织拥有的另一项服务提出请求,这些服务通常位于同一数据中心内,作为面向服务/微型架构的一部分。 (支持这种用例的软件有时被称为**中间件(middleware)**。) +2. 一种服务向同一组织拥有的另一项服务提出请求,这些服务通常位于同一数据中心内,作为面向服务/微型架构的一部分。 (支持这种用例的软件有时被称为 **中间件(middleware)** ) 3. 一种服务通过互联网向不同组织所拥有的服务提出请求。这用于不同组织后端系统之间的数据交换。此类别包括由在线服务(如信用卡处理系统)提供的公共API,或用于共享访问用户数据的OAuth。 有两种流行的Web服务方法:REST和SOAP。他们在哲学方面几乎是截然相反的,往往是各自支持者之间的激烈辩论(即使在每个阵营内也有很多争论。 例如,**HATEOAS(超媒体作为应用程序状态的引擎)**经常引发讨论【35】。) @@ -412,11 +412,11 @@ REST风格的API倾向于更简单的方法,通常涉及较少的代码生成 Web服务仅仅是通过网络进行API请求的一系列技术的最新版本,其中许多技术受到了大量的炒作,但是存在严重的问题。 Enterprise JavaBeans(EJB)和Java的**远程方法调用(RMI)**仅限于Java。**分布式组件对象模型(DCOM)**仅限于Microsoft平台。**公共对象请求代理体系结构(CORBA)**过于复杂,不提供前向或后向兼容性【41】。 -所有这些都是基于**远程过程调用(RPC)**的思想,该过程调用自20世纪70年代以来一直存在【42】。 RPC模型试图向远程网络服务发出请求,看起来与在同一进程中调用编程语言中的函数或方法相同(这种抽象称为位置透明)。尽管RPC起初看起来很方便,但这种方法根本上是有缺陷的【43,44】。网络请求与本地函数调用非常不同: +所有这些都是基于 **远程过程调用(RPC)** 的思想,该过程调用自20世纪70年代以来一直存在【42】。 RPC模型试图向远程网络服务发出请求,看起来与在同一进程中调用编程语言中的函数或方法相同(这种抽象称为位置透明)。尽管RPC起初看起来很方便,但这种方法根本上是有缺陷的【43,44】。网络请求与本地函数调用非常不同: * 本地函数调用是可预测的,并且成功或失败,这仅取决于受您控制的参数。网络请求是不可预知的:由于网络问题,请求或响应可能会丢失,或者远程计算机可能很慢或不可用,这些问题完全不在您的控制范围之内。网络问题是常见的,所以你必须预测他们,例如通过重试失败的请求。 * 本地函数调用要么返回结果,要么抛出异常,或者永远不返回(因为进入无限循环或进程崩溃)。网络请求有另一个可能的结果:由于超时,它可能会返回没有结果。在这种情况下,你根本不知道发生了什么:如果你没有得到来自远程服务的响应,你无法知道请求是否通过。 (我们将在[第8章](ch8.md)更详细地讨论这个问题。) -* 如果您重试失败的网络请求,可能会发生请求实际上正在通过,只有响应丢失。在这种情况下,重试将导致该操作被执行多次,除非您在协议中引入除重(**幂等(idempotence)**)机制。本地函数调用没有这个问题。 (在[第十一章](ch11.md)更详细地讨论幂等性) +* 如果您重试失败的网络请求,可能会发生请求实际上正在通过,只有响应丢失。在这种情况下,重试将导致该操作被执行多次,除非您在协议中引入除重( **幂等(idempotence)**)机制。本地函数调用没有这个问题。 (在[第十一章](ch11.md)更详细地讨论幂等性) * 每次调用本地功能时,通常需要大致相同的时间来执行。网络请求比函数调用要慢得多,而且其延迟也是非常可变的:在不到一毫秒的时间内它可能会完成,但是当网络拥塞或者远程服务超载时,可能需要几秒钟的时间完全一样的东西。 * 调用本地函数时,可以高效地将引用(指针)传递给本地内存中的对象。当你发出一个网络请求时,所有这些参数都需要被编码成可以通过网络发送的一系列字节。没关系,如果参数是像数字或字符串这样的基本类型,但是对于较大的对象很快就会变成问题。 @@ -633,7 +633,6 @@ Actor模型是单个进程中并发的编程模型。逻辑被封装在角色中 1. Fred Hebert: “[Postscript: Maps](http://learnyousomeerlang.com/maps),” *learnyousomeerlang.com*, April 9, 2014. - ------ | 上一章 | 目录 | 下一章 | diff --git a/ch5.md b/ch5.md index 9d796d3..e529406 100644 --- a/ch5.md +++ b/ch5.md @@ -26,15 +26,15 @@ ## 领导者与追随者 -​ 存储数据库副本的每个节点称为**副本(replica)**。当存在多个副本时,会不可避免的出现一个问题:如何确保所有数据都落在了所有的副本上? +​ 存储数据库副本的每个节点称为 **副本(replica)** 。当存在多个副本时,会不可避免的出现一个问题:如何确保所有数据都落在了所有的副本上? -​ 每一次向数据库的写入操作都需要传播到所有副本上,否则副本就会包含不一样的数据。最常见的解决方案被称为**基于领导者的复制(leader-based replication)**(也称**主动/被动(active/passive)** 或 **主/从(master/slave)**复制),如[图5-1](#fig5-1.png)所示。它的工作原理如下: +​ 每一次向数据库的写入操作都需要传播到所有副本上,否则副本就会包含不一样的数据。最常见的解决方案被称为 **基于领导者的复制(leader-based replication)** (也称**主动/被动(active/passive)** 或 **主/从(master/slave)**复制),如[图5-1](#fig5-1.png)所示。它的工作原理如下: -1. 副本之一被指定为**领导者(leader)**,也称为 **主库(master)** ,**首要(primary)**。当客户端要向数据库写入时,它必须将请求发送给**领导者**,领导者会将新数据写入其本地存储。 -2. 其他副本被称为**追随者(followers)**,亦称为**只读副本(read replicas)**,**从库(slaves)**,**次要( sencondaries)**,**热备(hot-standby)**[^i]。每当领导者将新数据写入本地存储时,它也会将数据变更发送给所有的追随者,称之为**复制日志(replication log)**记录或**变更流(change stream)**。每个跟随者从领导者拉取日志,并相应更新其本地数据库副本,方法是按照领导者处理的相同顺序应用所有写入。 +1. 副本之一被指定为 **领导者(leader)**,也称为 **主库(master|primary)** 。当客户端要向数据库写入时,它必须将请求发送给**领导者**,领导者会将新数据写入其本地存储。 +2. 其他副本被称为**追随者(followers)**,亦称为**只读副本(read replicas)**,**从库(slaves)**,**备库( sencondaries)**,**热备(hot-standby)**[^i]。每当领导者将新数据写入本地存储时,它也会将数据变更发送给所有的追随者,称之为**复制日志(replication log)**记录或**变更流(change stream)**。每个跟随者从领导者拉取日志,并相应更新其本地数据库副本,方法是按照领导者处理的相同顺序应用所有写入。 3. 当客户想要从数据库中读取数据时,它可以向领导者或追随者查询。 但只有领导者才能接受写操作(从客户端的角度来看从库都是只读的)。 -[^i]: 不同的人对**热(hot)**,**温(warn)**,**冷(cold)** 备份服务器有不同的定义。 例如在PostgreSQL中,**热备(hot standby)**指的是能接受客户端读请求的副本。而**温备(warm standby)**只是追随领导者,但不处理客户端的任何查询。 就本书而言,这些差异并不重要。 +[^i]: 不同的人对 **热(hot)**,**温(warn)** , **冷(cold)** 备份服务器有不同的定义。 例如在PostgreSQL中,**热备(hot standby)**指的是能接受客户端读请求的副本。而**温备(warm standby)**只是追随领导者,但不处理客户端的任何查询。 就本书而言,这些差异并不重要。 ![](img/fig5-1.png) **图5-1 基于领导者(主-从)的复制** @@ -58,9 +58,9 @@ ​ 同步复制的优点是,从库保证有与主库一致的最新数据副本。如果主库突然失效,我们可以确信这些数据仍然能在从库上上找到。缺点是,如果同步从库没有响应(比如它已经崩溃,或者出现网络故障,或其它任何原因),主库就无法处理写入操作。主库必须阻止所有写入,并等待同步副本再次可用。 -​ 因此,将所有从库都设置为同步的是不切实际的:任何一个节点的中断都会导致整个系统停滞不前。实际上,如果在数据库上启用同步复制,通常意味着其中**一个**跟随者是同步的,而其他的则是异步的。如果同步从库变得不可用或缓慢,则使一个异步从库同步。这保证你至少在两个节点上拥有最新的数据副本:主库和同步从库。 这种配置有时也被称为**半同步(semi-synchronous)**【7】。 +​ 因此,将所有从库都设置为同步的是不切实际的:任何一个节点的中断都会导致整个系统停滞不前。实际上,如果在数据库上启用同步复制,通常意味着其中**一个**跟随者是同步的,而其他的则是异步的。如果同步从库变得不可用或缓慢,则使一个异步从库同步。这保证你至少在两个节点上拥有最新的数据副本:主库和同步从库。 这种配置有时也被称为 **半同步(semi-synchronous)**【7】。 -​ 通常情况下,基于领导者的复制都配置为完全异步。 在这种情况下,如果主库失效且不可恢复,则任何尚未复制给从库的写入都会丢失。 这意味着即使已经向客户端确认成功,写入也不能保证**持久(Durable)**。 然而,一个完全异步的配置也有优点:即使所有的从库都落后了,主库也可以继续处理写入。 +​ 通常情况下,基于领导者的复制都配置为完全异步。 在这种情况下,如果主库失效且不可恢复,则任何尚未复制给从库的写入都会丢失。 这意味着即使已经向客户端确认成功,写入也不能保证 **持久(Durable)** 。 然而,一个完全异步的配置也有优点:即使所有的从库都落后了,主库也可以继续处理写入。 ​ 弱化的持久性可能听起来像是一个坏的折衷,无论如何,异步复制已经被广泛使用了,特别当有很多追随者,或追随者异地分布时。 稍后将在“[复制延迟问题](#复制延迟问题)”中回到这个问题。 @@ -81,7 +81,7 @@ 1. 在某个时刻获取主库的一致性快照(如果可能),而不必锁定整个数据库。大多数数据库都具有这个功能,因为它是备份必需的。对于某些场景,可能需要第三方工具,例如MySQL的innobackupex 【12】。 2. 将快照复制到新的从库节点。 -3. 从库连接到主库,并拉取快照之后发生的所有数据变更。这要求快照与主库复制日志中的位置精确关联。该位置有不同的名称:例如,PostgreSQL将其称为**日志序列号(log sequence number, LSN)**,MySQL将其称为**二进制日志坐标(binlog coordinates)**。 +3. 从库连接到主库,并拉取快照之后发生的所有数据变更。这要求快照与主库复制日志中的位置精确关联。该位置有不同的名称:例如,PostgreSQL将其称为 **日志序列号(log sequence number, LSN)**,MySQL将其称为 **二进制日志坐标(binlog coordinates)**。 4. 当从库处理完快照之后积压的数据变更,我们说它**赶上(caught up)**了主库。现在它可以继续处理主库产生的数据变化了。 建立从库的实际步骤因数据库而异。在某些系统中,这个过程是完全自动化的,而在另外一些系统中,它可能是一个需要由管理员手动执行的,有点神秘的多步骤工作流。 @@ -102,7 +102,7 @@ ​ 故障切换可以手动进行(通知管理员主库挂了,并采取必要的步骤来创建新的主库)或自动进行。自动故障切换过程通常由以下步骤组成: -1. 确认主库失效。有很多事情可能会出错:崩溃,停电,网络问题等等。没有万无一失的方法来检测出现了什么问题,所以大多数系统只是简单使用**超时(Timeout)**:节点频繁地相互来回传递消息,并且如果一个节点在一段时间内(例如30秒)没有响应,就认为它挂了(因为计划内维护而故意关闭主库不算)。 +1. 确认主库失效。有很多事情可能会出错:崩溃,停电,网络问题等等。没有万无一失的方法来检测出现了什么问题,所以大多数系统只是简单使用 **超时(Timeout)** :节点频繁地相互来回传递消息,并且如果一个节点在一段时间内(例如30秒)没有响应,就认为它挂了(因为计划内维护而故意关闭主库不算)。 2. 选择一个新的主库。这可以通过选举过程(主库由剩余副本以多数选举产生)来完成,或者可以由之前选定的**控制器节点(controller node)**来指定新的主库。主库的最佳人选通常是拥有旧主库最新数据副本的从库(最小化数据损失)。让所有的节点同意一个新的领导者,是一个**共识**问题,将在[第9章](ch9.md)详细讨论。 3. 重新配置系统以启用新的主库。客户端现在需要将它们的写请求发送给新主库(将在“[请求路由](ch6.md#请求路由)”中讨论这个问题)。如果老领导回来,可能仍然认为自己是主库,没有意识到其他副本已经让它下台了。系统需要确保老领导认可新领导,成为一个从库。 @@ -112,9 +112,9 @@ * 如果数据库需要和其他外部存储相协调,那么丢弃写入内容是极其危险的操作。例如在GitHub 【13】的一场事故中,一个过时的MySQL从库被提升为主库。数据库使用自增ID作为主键,因为新主库的计数器落后于老主库的计数器,所以新主库重新分配了一些已经被老主库分配掉的ID作为主键。这些主键也在Redis中使用,主键重用使得MySQL和Redis中数据产生不一致,最后导致一些私有数据泄漏到错误的用户手中。 -* 发生某些故障时(见[第8章](ch8.md))可能会出现两个节点都以为自己是主库的情况。这种情况称为**脑裂(split brain)**,非常危险:如果两个主库都可以接受写操作,却没有冲突解决机制(参见“[多领导者复制](#多领导者复制)”),那么数据就可能丢失或损坏。一些系统采取了安全防范措施:当检测到两个主库节点同时存在时会关闭其中一个节点[^ii],但设计粗糙的机制可能最后会导致两个节点都被关闭【14】。 +* 发生某些故障时(见[第8章](ch8.md))可能会出现两个节点都以为自己是主库的情况。这种情况称为 **脑裂(split brain)**,非常危险:如果两个主库都可以接受写操作,却没有冲突解决机制(参见“[多领导者复制](#多领导者复制)”),那么数据就可能丢失或损坏。一些系统采取了安全防范措施:当检测到两个主库节点同时存在时会关闭其中一个节点[^ii],但设计粗糙的机制可能最后会导致两个节点都被关闭【14】。 - [^ii]: 这种机制称为**屏蔽(fencing)**,充满感情的术语是:**爆彼之头(Shoot The Other Node In The Head, STONITH)**。 + [^ii]: 这种机制称为 **屏蔽(fencing)**,充满感情的术语是:**爆彼之头(Shoot The Other Node In The Head, STONITH)**。 * 主库被宣告死亡之前的正确超时应该怎么配置?在主库失效的情况下,超时时间越长,意味着恢复时间也越长。但是如果超时设置太短,又可能会出现不必要的故障切换。例如,临时负载峰值可能导致节点的响应时间超时,或网络故障可能导致数据包延迟。如果系统已经处于高负载或网络问题的困扰之中,那么不必要的故障切换可能会让情况变得更糟糕。 @@ -145,7 +145,7 @@ 在[第3章](ch3.md)中,我们讨论了存储引擎如何在磁盘上表示数据,并且我们发现,通常写操作都是追加到日志中: * 对于日志结构存储引擎(请参阅“[SSTables和LSM树](ch3.md#SSTables和LSM树)”),日志是主要的存储位置。日志段在后台压缩,并进行垃圾回收。 -* 对于覆写单个磁盘块的[B树](ch3.md#B树),每次修改都会先写入**预写式日志(Write Ahead Log, WAL)**,以便崩溃后索引可以恢复到一个一致的状态。 +* 对于覆写单个磁盘块的[B树](ch3.md#B树),每次修改都会先写入 **预写式日志(Write Ahead Log, WAL)**,以便崩溃后索引可以恢复到一个一致的状态。 在任何一种情况下,日志都是包含所有数据库写入的仅追加字节序列。可以使用完全相同的日志在另一个节点上构建副本:除了将日志写入磁盘之外,主库还可以通过网络将其发送给其从库。 @@ -169,7 +169,7 @@ ​ 由于逻辑日志与存储引擎内部分离,因此可以更容易地保持向后兼容,从而使领导者和跟随者能够运行不同版本的数据库软件甚至不同的存储引擎。 -​ 对于外部应用程序来说,逻辑日志格式也更容易解析。如果要将数据库的内容发送到外部系统(如数据),这一点很有用,例如复制到数据仓库进行离线分析,或建立自定义索引和缓存【18】。 这种技术被称为**捕获数据变更(change data capture)**,第11章将重新讲到它。 +​ 对于外部应用程序来说,逻辑日志格式也更容易解析。如果要将数据库的内容发送到外部系统(如数据),这一点很有用,例如复制到数据仓库进行离线分析,或建立自定义索引和缓存【18】。 这种技术被称为 **数据变更捕获(change data capture)**,第11章将重新讲到它。 #### 基于触发器的复制 @@ -191,7 +191,7 @@ ​ 在这种扩展体系结构中,只需添加更多的追随者,就可以提高只读请求的服务容量。但是,这种方法实际上只适用于异步复制——如果尝试同步复制到所有追随者,则单个节点故障或网络中断将使整个系统无法写入。而且越多的节点越有可能会被关闭,所以完全同步的配置是非常不可靠的。 -​ 不幸的是,当应用程序从异步从库读取时,如果从库落后,它可能会看到过时的信息。这会导致数据库中出现明显的不一致:同时对主库和从库执行相同的查询,可能得到不同的结果,因为并非所有的写入都反映在从库中。这种不一致只是一个暂时的状态——如果停止写入数据库并等待一段时间,从库最终会赶上并与主库保持一致。出于这个原因,这种效应被称为**最终一致性(eventually consistency)**[^iii]【22,23】 +​ 不幸的是,当应用程序从异步从库读取时,如果从库落后,它可能会看到过时的信息。这会导致数据库中出现明显的不一致:同时对主库和从库执行相同的查询,可能得到不同的结果,因为并非所有的写入都反映在从库中。这种不一致只是一个暂时的状态——如果停止写入数据库并等待一段时间,从库最终会赶上并与主库保持一致。出于这个原因,这种效应被称为 **最终一致性(eventually consistency)**[^iii]【22,23】 [^iii]: 道格拉斯·特里(Douglas Terry)等人创造了术语最终一致性。 【24】 并经由Werner Vogels 【22】推广,成为许多NoSQL项目的战吼。 然而,不只有NoSQL数据库是最终一致的:关系型数据库中的异步复制追随者也有相同的特性。 @@ -209,7 +209,7 @@ **图5-3 用户写入后从旧副本中读取数据。需要写后读(read-after-write)的一致性来防止这种异常** -​ 在这种情况下,我们需要**读写一致性(read-after-write consistency)**,也称为**读己之写一致性(read-your-writes consistency)**【24】。这是一个保证,如果用户重新加载页面,他们总会看到他们自己提交的任何更新。它不会对其他用户的写入做出承诺:其他用户的更新可能稍等才会看到。它保证用户自己的输入已被正确保存。 +​ 在这种情况下,我们需要 **读写一致性(read-after-write consistency)**,也称为 **读己之写一致性(read-your-writes consistency)**【24】。这是一个保证,如果用户重新加载页面,他们总会看到他们自己提交的任何更新。它不会对其他用户的写入做出承诺:其他用户的更新可能稍等才会看到。它保证用户自己的输入已被正确保存。 如何在基于领导者的复制系统中实现读后一致性?有各种可能的技术,这里说一些: @@ -234,7 +234,7 @@ ### 单调读 -​ 从异步从库读取第二个异常例子是,用户可能会遇到**时光倒流(moving backward in time)**。 +​ 从异步从库读取第二个异常例子是,用户可能会遇到 **时光倒流(moving backward in time)**。 ​ 如果用户从不同从库进行多次读取,就可能发生这种情况。例如,[图5-4](img/fig5-4.png)显示了用户2345两次进行相同的查询,首先查询了一个延迟很小的从库,然后是一个延迟较大的从库。 (如果用户刷新网页,而每个请求被路由到一个随机的服务器,这种情况是很有可能的。)第一个查询返回最近由用户1234添加的评论,但是第二个查询不返回任何东西,因为滞后的从库还没有拉取写入内容。在效果上相比第一个查询,第二个查询是在更早的时间点来观察系统。如果第一个查询没有返回任何内容,那问题并不大,因为用户2345可能不知道用户1234最近添加了评论。但如果用户2345先看见用户1234的评论,然后又看到它消失,那么对于用户2345,就很让人头大了。 diff --git a/img/ddia-wexin.JPG b/img/ddia-wexin.JPG deleted file mode 100644 index 7458580f8dd90601665739cf95cbbb122d9642b6..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 108057 zcmeFZ2{@GR{y03cuVa^WvPB^Yk!>s?Ns7uAQU>;GQw|GmyV^E{pz&-1zO&*%Q^_vaqYM-CAp ze%Qgu0m8)vfgA!~5DsZ?uYFADIS9nX1+p6gfe1kOxFjLm;1w76f^aE7c>lPDKu&Qf z{_Wb2OZ(4zwm~46VKj#`wVip{&LN= zjT`dluiqQ&-TR2^?+_nt`zyq4rH{D(dd+?PG2fr}fWZD}d|cdre#7@a$IT`7_i=N{ z{=>Mr{tAstW!v9+(SPtKynh%s=Od>RA|U{dGKQN=4YEywi(7(=(+h!tUGZ}L(f)i4 z0wTl1%f~MuC?pKt&?pYs#>LIOjfb0;mj@&bSNv~ec_erxRSj(Tq>i8ESBsS1mylB; zpl7$my{AiIb;1JiWXF z0)x&4hlHNLd?o5?bWH5E8%Z~lQ*NcE<=(lQmtS!2eqm|Z<0ntcD=MGW)i*RYHMhKM z?e6LA>mPVM_-1r$d}4CyO#-N&Ai3ADI1nh$a3%!t8H|{T;7ah#koKzuPwO&An|KI91$W;{j0s8!sR4AC2$N z#{WkX_}v8m);J)LKOk(|#sj_u`FQ#M_P>Aof-?uQo&aYCBEroDG84B11P)<;V2d-g zs3zGKyy4_EIiF8{-%Q5l1}%nTuL$pL&2!v#?5`Xq^a}?B^|NpJ-YgjilE*8>N3m*0e+({t~(+S@wf_I}K+eZ2b7{a;STqT#YZ zZ7ti>YIO&b_uqN@=DreDI(a5bB})HwtwPjQcr1og+#$h%eAtg*ioD`L7RE6>mMC=& z!j(EDGG^3a>}&H9_BW}-e9cpSfD zS(B4!)D-5xr}yGD>0}eF7--rh?uQU}Xji{{ho+<^S|lXV@q zlcf_nO%1`TCQQSrZul185C@V_fMH(E27+-(m|vp53AP6$7$xqc%yRJoGM+k&5a2+* zD(bWOd^r%>4E&#vZls(z#-GN4{1fUS97ystz>x#7p2kr3t#Ke(Q;o;1RX{q3tW&eu z33VX(g9sdmav58Gg#=@92XP>sLwL5i--JCR2KRqII%%#STK$A1t8G-*Zm1;C(>*yQ z>s?&%^po$*C&#$x)?FnTt)_2V-aO~$5x*wx5Jp{NDJ-B{6yNNE@5f66^~VYh zXS)k+`Sz_kKk0hfqT<<*VVdiFyQ^)ktK|}e>l8l3!m!Gv3Kd3u1q7T(^0bM%*qozS zq2W`JWi|B0`tj>r)xoO^UwD+Kw=*Bn2&*?3NT6zgokQaRPEmfD$9pw*MwIwJkGR89 zy}gk6SjJv6Va0Enp~fD-%A=K-7Xe?gvO8(KP$4G9cW3=Gi;+W9d?zA>pL;2OztQ~V zc*d5P8EP-7@U&}6Z?OF5Vue~2H~PiA0{F{a^P?B9ww+KPl3&qWL~D{c5T$coeBlK_ z(|cq*%DoLTo$T&cl$%|d`*hZA_hG|4k9WJTxrdu$52I%=LU<%rju}G}D`yzH;=H^+ zeKia8-d~2SeeyIrOvC9}rnmgBDeOkGhqGRx&r!W0du=D45#4Ys)}83elnFjTU0=G% zgjR%gD37i)`Q>*Old)X9W1u)?2k7ZA<(6 z0TpLG!GE4-hH)TgdAC4wdq}*EJw_8z z-^`R&WQ!ePRdn#gxYIL%lT;*;0R;44LtQJruQ`vq9Bw!}^zaEe?rr75?Q0$n+0$6+ zNjzX0KoQ2tNaAm|Z)o7zXSqg=@G`!yfGwI0Pr$5nJxp=9Rew;c))*NuB^zE40t zpzv2!Hei}fcV|7~Kmrii2pIlMWi85{3{RYw_q`V8f;rk!*Lc~`%(^;Sr)8(fCy4~5 z%hs?FJsD;yx*I{gw7x_kFwUUgW9!zsDRQp)u1X;VmrxEltGFFze)Y&8&DS?va=vI& z-t-rIZ-Z62;d2)pYmZpoZ22#P+hF{txzqJqJ53d)vs0|fX;MTCk>LNaAYJ{a+8 zwtP!5`GCrIpGe90Qm-$mU1{;X+9KQI!+r^~g(PU)Y@tk&4noM41L1i~^|*lwqd$Gc zp10cFkvnnbq(uC^*?UjZ(LVwS8!r;ZjJUQC_85H(_0SriU!K8%gu!Rh`w`C(l*W?K zVmV--Y^7l9==~s4RoKg4(;iOA9vz`;n)!ilIN@8HT>X0w;J8`$FvMpF>P0z9JIPg& z>A}ipOE7ogsmUqic-J1M%g?@iwMkEK) z1saoWXz`fxg_LY7QIwJb^hU$0ngF-BaR0?vx5@WA3r`)I+|cckCONuy;^uI`P6EYn z0XC~omjrwnZcOXChOsD|(${0>3-X(|`WoEc_~?k|Jfvq}q@>oYRp$O#DsbQU>G>SU zoj4kfm4L+ja`yPavW9U+|3y+3F@O%7S<0Z_rMs75vt6EC=%B z@+m0g26fK{y_j{Et~Mc`|0pVvKvYG`|j<*+h0F| z{siq|VkJ|FRbsUp)1`|iVt=B($D!LR)hIv zil{53@_qz35b6bNzo_CuaLPJP?3*Do?8DP!(TGv*!2+^O##=H2Yg-J9Pvx;R&gnGcli zIa{|+6mkyJg`ZH_cM)5(ivnO8W zu3ri-%@W+c`F@-IMk*Pv-l5Iz#jD_h!U(gt9yry-hq8N!e(41@Ki}Bb8NqOP9Q98B zP4JZu>!xSpLd(-gPbFanCof4q$bwfvXU*xysIb*#h6D2?NZ{*C2jKqWk6kn*Ns*~d zol05C=!wMCIEN4dv*xefxlrf3FFZ}WC{?|X+0H6x3#CetI1r}P9U?zdYJ)xkut@mC zbmG#49$Fu@m*!X?R#p=lz2RzMc4gITkFHZ@Qt6@lr>n0oUWZ%3&)}8OAHkV9hyZrR zPo=Vj0iEMO0u4&PGxiIq0BE^W=TjqVLtBj>98Ql!)~p@!)=5>(Yimq6=N79A!F6E# zF@T!m0L!jZ0l!)T(pi;8NQfFvR&52(AH zaJnvtYdS-l8o-NSx{UB4J_tYqI-m&8xD$gsF&b{QJ;YD2uBoGiiq6;*aB|cpFF35b zsR$ouwXr*C$zo~{CdYw<4$n9+*h29{44@snilp}VvdY36U`a4)LQL9Px4H6_HR&Ps zp=jQ>>C!n*`s(vy&wMm!yP|ZA|4TXL@`C=f6dlh>Qe+GEF(gBaH388mDxZrp*?tuv zzejC!tx?A@Ii9{Bsx&1hHSeO?-6lS$6msk$Q;6LGGRh}JY6lN3g((RoHYYW}#Xp{J zT}&-`-TLH#T%>E%xlw}e_P)1=DH`^7gX|J+o8p!(lL$3oh*glt6J^9?rn(m<7yi2I*t%1gasrMYn3lEAY z5j!15pJ2T}Z^v})4fn7H?8x_xoGszxr#XAaE#O2Q(?>b@Mx+Z7OOa(?ezW%nSKis; zyIiaTV3+Dvy5M<#1SSMF;{meGDvqz5G_2%8lXBxgl5&T7Hzva`SDqhT6uh2ERvarasXm!KICAgVgZ=|MJa!1M2epuVjNyER18;`jC++JIolF!Fk5A6 zeQ2AHRQ^shbJo!ACe7dLerx-kZFQ7C>wVH6XMM#{ImI(mnh?kulrs0 zaUkd45b$#`qlfHnC4Sy}x};O-1OFE-ri3uDoT5str-!my)}fhfNt%92cm!MM{EJ!V zT2DW3M~$?)+!u{+)atq3^P4W>U%`PLYs?Y?JqDz*+3;pN<^Wcit%&}lvX6DwpN1U3 z0=tnnz5tH2qrwzEW!sgW!VCKqs)PI#heB%AKla`ft9fxlL`ghs3k#0(6iS~O+=T$N zg1ezN;ZTdSXBSvfHdIRE6YQ;qKAqsogEwD93g`k3!!U#8$?H}*|E5ng_Ai<~gVk&V z%~aXV%IeStg6WrX7xiJ^RAeV=n5J|O;m}L1kMnc&N|H(Q#>qAYzIAfP%5xnIeX*-w zI1r6!XAY#c0K4U3d>(}Yf=KvGIFE%dHKpI|;e7gI0DGuybj?`QDyp%yG4Y#hn$x3) zH+0?9UIbneaO3LggJ4WC&kI(OpwycHPDBD1Q;gNxFy~Isphou(9V{RxslX@ojJI1z z=_Mg`_ct~Dm^;1aQGwyzd4Cb<{)~9XMD`3ERPiYsNP`?j|0$+xCn#9On0k;CF`*A( z)?5@X zTk)e@XvkEw40|FxRxYc}xhgD?;q{@QhsJvLcG){)mrQ$Vv0WX)O1`ac(<5{dFSd>a zR5RCBRcQ--u!aFj%|g7Jexf+x+x~p-?4F0$^c?%$Z3Ee)o;?KLZnT!bmTCoHG?Rf`yC(qSO+qay7Ae}^CU@*xzEpof zNdBdgOxbUmA_tDyqoAN~#G(%OLIG_oXzDs)R9DxJ%|}4JRo;zDEx5 zlADnZ8=gUhr}8~}pF}BXa<6MJf6F2D>{p<u|9rZSiZSeXVze)S`JroS{~OwVbg2J07Ts2#FCQ}v2p4R4PpKG34u zH*z31FdaJC88d6yzYtvI{jvS&vBYBI{=1%btm0A7CC#5>T5G0%}6tPCJtM#9bnd zOeE~2=_A@d$6=NeP^G0Es96q#kI9~gQ;+IT7xbwp)w7naN8KtjCMGY>D2 z0!JJ#6e~{{H#i5W_ZEbdo@=yuuH(3GuX*z7G5)s%>S5$`0R1eW2vXXB_LY@rAzy-W zqgJbEPkHop7#DYosxe6KE7V)E^r6egj=XqxIZT^1ojblg@qrXV3D6;}^>QHB#bXwZ zfpf=3@qIAPg!XzTzW_}g8JD5eKs(yBv2|nbhX(D^CX(E|uk4kU;$Yu<;gccn-yh$6{y6sTOvdVI9)D01C&9VBfww2k_- z=(5i1`z}uBY+<2_5?P$v;0gfz@MfAZHEO@Jdq6Ks+somL$T8pjm z>1Yp}jQ)16skQE^R}u*kd1&JKvtFXmmM|UU$3!&KcFYLN3#ydEcw+Ij#+23cFcJYe z1Gx9fVHMiGmQES_+RkaTj{oYZ(4hDC|2U9qeyRHYmGCq(YzHP33GBy_@Jwm-g@H5_ zlp0KGgV%W^qva4o<;z=dWnHT67Gn0W1KU$Y-@Rz^LFhz`j(-1nEyEvgj1NQty9x&4 zFO3agsP?!SDdIy8gi>a5v&}V{FH?E)aclJSm0{7{p4~5IYTEFxn)k{V7zQF|E@#|^ zE_-8UmWTwV_%|DdDElp;Zmn-k1-K-Q5Z_-<(%ZLmdTi&b3CE&~>TUTB{#^yS_q#uz z@%X9AK%qyl^=lMEhD%I6TgZ~35o$uHM^c2T4u{%KlJ(%^hGirM=knQ63>*6R>y+f% z%t#?yze5??@_`QK^?vv&6Q+_f&2S+rwS?V?X>iP7?_(;B<8-Tc(iT&K!ez1L&Kgz9 zzxV`|UMZWJ4F44UNb%zag?>9L*Gdun9 zLNdM{)8iX`xRDltBO+5h=o>0(E#q3SWl4Kh#htea#5D6L``bGTO*;8^cE|!+mF!Wx zh=mVhFX|vLMy+?FmiMnsmvy_4kUS`@widferekyA>}vDY&AgAUd%7+J%o*jhUH&d) zeHM`jr#=PUNicLK3_zvO8ZS zlAQFHbBz?ihscgrOH{x0Yz?x(Wpr#CWGJvd!iC`>zQXibz@5y1CtzMYy&sApLb(t_ zR@vlm*{PF~P8B}$hwJT)d&it5Ut`1W(^VA@@pYVG-B`sFYcN!2DBqJ|N+wOc7gJx} z4c%6~wU)xPtm+c1qg|~OA%qw7d^nUb%+s2vTmDY9TXZ0F8F7Yr8XWExQOJW!c_L^;q* z`e5RrGX*_!kxcb?D*j00jiL4ti(Q%%_g{>y%eOU}$Q`#0@Y39O*ek*Oeb{CTs02_} zMobJV4IY9NXMZe~1oUXaWWUrnQl>}GDUV|D54BN;N+))P#Rlv- z+hJR3H%OR%tN<`YTHi?O-KzsK=a+NjXKGua9^U6Wm2R-L)7KXImIESKh)f zqJ%3+CS_k%%Y76Kdk7P@vczIx1o$i&|)Z+ z5#k361JZ0z{n(Y2V+Z$tP}K~u?tLIq{Pg+(%)i(M%rSUFGqZ@0iCGnn<3LKi@de)? zoQZ!i7oB)wg`YM}E)hd(3=m4qO z#UpV$jPQ@C-AY2kW2`udRm?={cOUqbj*zZRL0w60{K1!}{564@+@T?^mvnC*6@7$e z4SS7X$~Q8c&>sj59*I`w^C%SUefxr!Q58i{mvDM~kN&&XAsJGnL`(EX*qQgAg1Ieq z7Qs9@80_4LXY=}^0s*~p_J?_0YIN_K6v}bD@ttG8!qFQRX6!o$T7IluiLL=DQ4#By~T$HeNk zhE?UaHzVq=*V6jkBe!o>5s}k3=wM8f*n|SZ*d#_5wr&re3OzzK>4r%WVicW`O1j6s zO@*v8Hi?L2kUswb~N+=(Y4!RW=04-9udM6x8>5wZ= z(=#TBSzj>LUTehenRmXKW!bc{<7e9kwkO8GMq}y+2f_ed@Gcch047@p!n4e;1{_R>|HZAc9 z3Y3n-Cm^6}U}nj&TSXE-#+HdOACUFfKRMN^?)j~fm(s9n?-UPm-#&S@ovOQLq}Lxo zM=0j>JK%%yC}HZrsxWAhe#c5_C_k`knp_W7xbJ-dlCJa6P48@!qH*$fGM%)e5NY7; z+qrrD#plmaWQzbI9#HdO$`a^zZgj%y$_HT5F}n$eUSOmNfL4!!;qo;ZN`Ic=Y1gXL zU6zG*ddpI~jZ*gQtANlDnPAp2n+qJW;ROt_*2GU6$RrZdcTw?&Cz;k*sbFWf=b286 zQB7t%8QlV_84PRQ+tQuKM?0p$Ax1Mbf9I4F2?|&;lEO>UR|4*k3$lz}RSoma1Bc%= zX7WLW!(QU(!2Of`MAK2CVL2a%Ma}HDu#F+w6<$$s9g+;m<7-0KtgQQ zd3uxCer#=w-}moOiej_ub7{uOGDk&&JLlMYxBpCI-UfUAitd6nY*6HB0X&U{r>n>+WbUd z@(lk&hc9o_wq+1Kz91>F@C1-2A6XftfN`)5G|g%!wV;o+XOatt+C#lFM1qOCCRnh#;m53kL@m%BP>fKi1RDSvSjoIFcx4fFMv4WzGPX zX{Yt7FMj&yrJ57e+L^mEWTfD%t+(BcNxUG2nCYE?eZH1$@jEEp%_@y*-@Rf(>l?mh zCDT(LBDX8D8Y*$Vu1_Nx;eT0n&hS$6mhGFjR;L}n1)3VG-)^ijrt3V;N*pCK)#geY zBj@2VEbPgS4M0x0;{s2Jk)HU`H_iEO@sBruZny2|97PQ%#^5Me`gy=Gnqh(Bqc(Se zP^7+f7#8*H7Yy85e5sGEAV_O%Ozp!crC1cQ4e;mn0rg-CZh-)3I6J&VZv_S$SZ7_$KH@ z^cTH~Ta$@_+cb|g9-wIDE(-2Z*Lzu3c+xRyDe(=o5fX>}x1){8e=#5L;K(@)340TB zmXJQL35=8sk&yz+Z1Kqm;~F)=%(mu9iRm{}vV;5b3>sb}TN4u>FBvam>I;}TbNXy> z-Fo@-#7{U=2FpGk&#(n2)SL!m7nMJPlC(NIq(EwWqK;9oKBV!J2AER9WcI6)^HjZe zStVyHS4?E5_TuMqcLkhtbe~SxG3n6@<_QuVQ2bOf$_AJK$ucY>Y!=@4BQ?H2HjcX|zqvs{QZn#A3 z@fHkEa@pbM`RJSerqgQBp{JAYEGX7aet z^kFrJ2wPAK9jQf;pw<(!nG!2@taeNw z=3`3NR!Wl9o@Iqc0QRxxC&$pBpvR#eqSCO?bJiQjU-#QetLhAc+1sTl3N#GF`1x;> z6O2rPLE&N08EzLu0;U0R^ASx2PYxr9c~6HFD;)f>rl;5FVyms@`MEGC&GdEt-tV?Q zpzud{>e1mD7+V;mHB++{q}(;2n}DEt+`14YzsHD>);f?}<|_6HaCc49IXOzoUahFz zcy{FZC#3E%>Of80TuPs%Ia^2uWC2wg4$M$SKzXOx19%?IG3Nea*@@ND=O@EUE$BaI zoOv6p%^ZCFZyu}IaY)RxR*o&u#fV4G5}FB=fp8kuc`QmsKji@Tv zQXpjjtu`K^HAz7^lENzW%3DTiD7EteVTOac7xu`7DhenmFw*H?fiEES6j-?(dNBhI zMg8y)s$>5Ft3e_`y6j1d!1(!yD#85rp(+dlfVagE0KW3^6A%a#3m30HIe~K-9`0!ok=7S@9{6)5xZmQoD zIeIP98uo}Fi8%|)AT;VTWfAmXKocCkKTuYN9<`F95pFcjc{sIxs7cNYr*E%WY)QG$ z#3!}8?OASB)ft?87fukI-6U|ha1cf^<~bn=9tH=kX#Kz~E1sC{v4x}eN&59MS&U=F ziz}|FbMM9@eP6r3ZV7T%Q9CGe?_%(jp9~51jDlE6DVV+Dm0^K3CSb|W zno07NHJMNqgUNAU@8-ZNxe4b^Of6ETZ3%(Sn2>itQ<@P z0oaXC!4Mz#8L?_RVCZ+b0Jhgkhgw_D_mT#z9J8-I?LBSuwct(!^1%Cib&1}V<%kwO zd?N->NA|&PVL)X^EP!#db(o%$wQcrfm$+_v^R=ueajN;`#jAR)PN#pojT|)MqC@{} zt1$JiRsoO1-C&#iu73bskaYaE4uw7uwkj&Sa)yA?L-OZ=R*>m zi|tzfRD{&taUGrxR(s*=HkeAh)Hu+9#xo3JZqShcbfH~~)O5GdAupC3mV>#X>R0Wx zI8zNMHtoKV&=-rR6fp!bUGew}_-Q`|9o`BEQhi8EH=``i4fwo73L=CB6&Cw?bYy<2 zsCjCi^1s=1or{cbNz>-u>;j{VR1C2Y*67HT&Zf&#Y3#JnC*|V1kU}`IG$xXNb$o^?dS-Q9bTb(2~?-GL~s#mX_ZACBQ0fHIG5X1O#`z> zXi>C+qdu{P&4W$w%?Y#1&<;cM?NhGv0>-vu5Vyg<_9$U6)pw_=;#UVM+}xfb+Ew0uMkW z%gVy}F~K@3(o@Fz5`YldQn5Fs_gGs_y6aBOAKvdn2xYAhfORvKdT>)(j z6ZATH+@C`0=&{xym=Q*1sIe3H;Rqjf8a<*kDeKTSaN==j-RN|WRgxqSMt z`mBI|iBrJ4*z6u8U{p@eqhfD>6&3#a+rzx|K*5PaX6Bn+eTkH*X@77D3_>%ljFR*g zkKe0%t06RJR>*AeMU;R9jLIaWTzMyT41Z`9 zb<#iKQQd@vy?;i|>2J0>a@S_|JAa5ow7~05fdL1ob2exqC}VIMo}r`w*D&g{(XOQi zUp4p2H-&dKB_~czE;^AtdtJ0YNy~IXh=r_S5P2}o8bJ_Z&me@Yc)!9$FvJ45uoWyO z`TaNY;*`$^luNqkZcD3>>04<63fn&o=}4&Ew&BS=fWu(|h;Nosi{lI;wu7&4&^4o3Jw?xiti<=s`a*Y2LdX(@3i3W%FTyKq?dY+A_+DiDB zb;D!)f2ryFr^2ZPSTYB)eFxx6(r)7>XNv&038Bq$PU_yvCMM!dE2+xf2mDVto;t-N z9=A0W#es;zN!eSnsNYeX`7qnWTIIS$BzY%oPg$8&;hCm}<6nFa)zuxEeSRX`&Gn64 zWX{THON}FWBa71b&d#}k+V<1t{MYC2OKmkzz1GjX4iQiad=T{vOC4ix=Rit=`#@C! zs@;Vvm>yRkfPE7S8d_r3PYxvW1HZ3+FHGTJQ?s4jxy1P4ohB)nJco&SvlEYZ?me(v zeAg3YM|)7GVV0Gkp}U92EnN4bgKyW=m#%*6vpF}47i2*5`Oh%H!1tfgQKS>3+9D=% zSj|0`?G5?nI}IIGENULzZbx4oR{ze5RLP^+^|vP1UfHy;)QH?X*7{P6+agh|Q?kTi zjxx@H2o6@e0->Ou$9$+Kq#NqjFN)lZw6o!Sr%vmViy&})>*d;0L;y%hg1mm9Z> z4rJfU?tl63^<)pcSn&BZ>T`m++JuR?SJO}7KwjSB`pKI2%(X(`%FPwZdy(5`e3zel z0cbDDFKM6ZBM|C~-Pl)&@`obCtlvA>)Vi`2Fg>tex&RLJRid%Xi0pqx5>fyzj>w_a zR!my$YpY11dUD6kG3+7&=vO2!xJ@5Vd}DWJfqQ++ssl8F$yn+DOV~;W)CI~*9Ef7s zKSRH6hWOW{lO0BeZ8(c^2Fr6%7F7IA=8>8F<^apgX6)nBU2;Wc(smkkyGwUyEuP!K zbqA4)r-E5X4umBP${~itfsns)bEd&v3>1jzu@K}H3^&G|JbeYe`-}fSjzvqnjd`gg7y4= zDdgu9_@jWk5&Dw zRDeNabi?YGlJuC4WaqecpW_p?cU(t)#hbz5$0qa_`G=aDZ(VX4csnP3E%zDvGAK$} ztmaw_rW`$JXj%QBe@ex4RPW2~Ysl16P3W^beU1$K=Py|=;ej<~n0cT37Lf-sU%Km> z9SoORc>4Lk?l_gaEq-el1k+>3p2PkEm*h7w;E8!Y8wkP7*0VEV9Ed&zJY{+iejVcn zlPMoKkmg{P0-TMQfpZ`Vpya~npiM0UUECoCcv?8Q!II{p@-vO#6fpDUkj;S<(7{uG z1vu6e)+_i|Q0e~oopJ;w;yDm|2#O0-!cfLl%t#pr@`VMSXwTrJ63})IZy8~j_y!Ey z7=ao2?;!t6$^Y`?e+B2iD(L^Gda~V+SU@>~mtbDTP%≫yN@LCb6n#zx8$I?u$Zh3JQU5^_co{_&~+)y6*_^0=EIOhXnm<|Tfch*^V(8cB)$e2acmK35GEQexZajQkY zXax5C1>A>1h<0h(|ECX~pWq@Eh{$KKDx>2!A_tAPBoN@@TmzPg)mqJ22QevBeFSZD zb$2>^t?)2}GxDFIe*5;LdL^#Go!4d4zSN@5KK6O-@B1^L72^2K9*q8y2w){cu{#Gs z0NwaL_j;N4{b>u?nZH2Gty|84bbz;{m9eGbb=a{k90&@G8)R(l%oTLNBw7-|i6Twd zcmtaH6EMYPb+(u5pLf{by!@iHWesroRXcJ7L;MZ-I2coPfOuN`6=-P}Iwin9l0Yr` z{p4R^J2H1}9gY0**N^rIgUXpQ1DI~)6U?wY2eOt21^|_ClF2A$>F%Fhdq$h@*2x5i zvjDE8{|%GB^f&gV$g1c!3Z-v79E0pH2`~6+KG>BNG<>Nlfdk1t*P0%7Zx2~&w&jZD zzL0a6VYWSTEup53V)T+}n97wmEO8KS0ox6f_juLx+ zHvGa(;HLw+Wzm8Fy!UFGu4#4`x) zX`Ldu#FMhtr!116v!vS3dFXPJt*|_GMo{&8;lrWiee2R_3A6KRmxKxZE!3uAhb$ z5qPGC39{=Is9lj^0hOxRmo_T|HPf$braY3z?V30@W-NTjI6hMJLGREZtm=ppnS{m$GN=Y^rr7(P(J+5@|Wp{TM}K=kd~fz@V5olm)heARH2Uq zlmk_zly*0#F^q3V7CET)4e;i}gLsPkJBOqoL7fX2`)ewBPv^bne9vn<^Ldaz*JzuN z>pCXGTxb4HcRoM`)&cjyVm4CfD4E*$aCMT-NB(fyN#nSIjrxHg2JqgXKWt09;rYvP zraD=9|2yWZ^jER|nJF6Py>A4VE*JxFgWKwLs{^Q$G(?I;c>Mm%VB&J1uZ;{>UMzfP&E`8%?si!G6Bx3jJYtVyf6m$uvu+fC`Q=J*8WW4r<8Lz- zedYXV*wu-CSJwqPZuB7%%&{}}0eSZC@5n6X3sK%R^ggxjzu5V+II@t2kOuc)bSN$t zD^6)pm(q|(<6ApIb$7G~eyPr>49}8Nydeg)I29A2_2!weBJy+8uv(wviSO}W7+~>E zHoXW?nm4A2=(9PPURY!bf* zL(EZ8X&q&YGVLa`vfubT46jLwC0bT*M?tHmme&&SpLglAE+SciVHT(TpE*yjUh3Yu z9C7WT^zqaE3IAs(uCf0}ab?o*%tX)_)vkcM&>OFw><0*J8w1Sm6y^u-XNosq#7W`O z?5(d8o9&Ei=!qt_*jO3hLY?Z3oB>MN;e|JBT_1))Ah&Uyry?F+PGd=YhzNL2?d$vX zR?<9DH)8;>-Q|xF@%SM@tLncTvqX+gLwWv?y>o0lBG?_fc3_s$x$KwhYjf0PDDbQo zwgN8LhN)VamjPXm$YrVHby!1-T4Z8ILoCXa=2*6;L>d2Iuy`a>Qko)(}Tl>=$G}@lI~4Q z4(NSu9+pMl*lm@!IRNIzjcI<(Pf!6LjKZ7;RqOBAra5Ga?dxA81{SyT*Th)ZT#wRz zlebm!1;`UhyFf*ztH4H3u{8ItNMFC|^h!U?nt?T$qOiS7NaOYL-r;F=Qc(F#=0~RO zNPMBZ-;82`ME_ekEAIyoPX-s_K34cb;8Y`Hw&L?o{f1fhC_yc~dk>v-zH<$acJ$G- z`VU!zk<684N#8Mz;cuRF%ZMsv+?)9}y%`V4Y%X4?a;p;B8wabPQg%mOtizd~Uw3@n zu@msB3~kNAo_+edZs3y1o2#E4*GMA zEzUwSk>6L5qWI~DHHj6xLJo(%#w<;CRI~EY8s}AZ0VTwuc-w<=yJ|d>ArSc^E3a`+ z@`dV7e3~1+g-a{_cH%@{4$Cga+Tkbs-!2b>D1=#7aan zZNBe(@#WJ;eBS?5%Esz)brI3V>r07p`#0h{qSz;EYQM^EJ$dS1c4R`#cJ~pv)jty2bRt$@tYxY7rTlT8gI`4}WabIbnZat>r{; zW-Qm#0j0=7I)*#O#HMw06$K|rCxw_rd@Mfn(bNjTtmg?{96mku#!>I+skDuTms^vV z^g-E^DKVx_9tg!axC`ic1!JLBH>n%Pa(>PF>aB+rRV|-wNV1W;ziY?-E~dRqblg-~ z42*3HuJ}*!fwG(5&KHueY~^|T?5X{ou){yscrdR|A-0HwEy<}l;#YS@v{*LhBR|Q1u{sdCW+fEU zb8uv?$g^#9U7*H4gH2n^=kuJnCQ>iXZ_FGxjqWEjT7bJhT9GN&N^ZY~9I?;m32Z{W zpJO*}F&J*_2^A|qZb6^{AsTuuigM>;QSOw}uG?mn=9jX{_?HnofH<~L9*y7gW!8J7 zK%C32u8hEow=tJypgwsAr8+X2RiiY#~0cCW7Xe{-bUQ2u0E|40Be(( zI?sVLI`+OZIpll%%ADSyw#c~y30yymQG~vE@)_Y$~h#Ip#5({QAnWea*R zvSYHok*L0VV@99mfWrLLx2=RmBgWUbjgPTPX@!M0&S%=HA$tH=RC6~l2c_Ydvw#c`{= zVxuBwC-ELQwEnlM(sva;K7Gn>V^mf42c9L|?veS4NC)@4Bh#!@CKdX}4vnd7<8q8y z)Yw|uc;um?rCWCD@TEDGd_>V?$>9?v^>BrAV4-zb=wj?=AgIdlwX@_wix&s9SV3|4 zRT4v+J?1A23=we>VPK)@x+UE8#iZ_&)?ypk*F>lBS4|pPLN6_Z7+v@XJ8N;<-wXrsdC|6 z%&grfwD!+fEmDii&jyITnLF}AE^3DgQ4F)23Y$?}NC7Llw>M-bpdnWJt+}AB47%$W zE*L%Auxt1GH&*^!+%klB>Ic77>@y&&9M06CT@Ndcoma^85S(9m-EDC7#pV|(tcwGY z54X|=hI(O2Ox4H=zpx7hVb83sZ%*?O>TeA-Nk>7>Y#8SdJyizQs$%Q5|;Q1#=2 zc8xn9R?b&1KS4$*Lwk^^(ZvSNG*JEKGol9ob zM^F_-9K0WflCz_0h=e`(gf-D#B<*BY!e<{B_wQJVG*Qd;;v?c!Vh z@ej2b7ptKkK5$o*7QU_8xCQfuL`ipPT)0>*xHa|_QhNI~pHpXv7g+SIJ_CmEw$}0% zLiSgXt(^;hJoCRdx$&PTCno+Q1^BPt-NGNv7y& zr~N4n)x=g{<^die7nyb=PwqhFU;6gqc%7Ei=kX!%aNixLfl{B3_j_y3ei2Q1>W@;2 z5BmY_QIV(J%&Jj&rF;uh2QO;!m%C~>fFF|~y{mX1S#Wu(`}p0m@33cP^mOXvibowS zKeJ-CN2GK5EzR`D=ZBc+*pBi?D+s13$%aj z-rvK`%)?dm!f|fD-hCOA=_a;54(6%Uvb;7GPn^}Cu_ME8U>e%=%e}rSoH*DSoagUx zsf_1#SaJIvU$NBVcbo=`ag6;lj1%R?v}fud6Ml1IqC_-;r4x-D7?9fLM3BrezGgEz%DQ zb-$E;S$$?6Q`%++cG zL4WDXFNZo4CGHe*1t(I$n~{PxbPtKTxRN zZmpG()kyD14U1^?eR)g!R%y;!OE5h1IL#`r{CuG@y`a(o7aA#&x`&3no3@E6yAj$i zQFEYqm)AUNxN#5|{D6B+d}vZOR`L_kh0G{K_QhK*9~O>xcD-N}R~MM^>$ccDJ8vD_ zi}6|K&q(lxIo)S8%2#+Hv#(mJx=E}c4zyQpFCEw!8F(3Zlq_yx}2ec?m1lp z+fmYyZQ$=%ea1x$RF2rotYK9!#xSa9yk6AsOj)Oyj??E%JIBW6J$&R+pFydsrtb|O zoNF)TK-dC_`T4__Ntlew_LUBXf<=xWZ@$__oBNKa;8#g*12?jbaUfc$)E;)%7KUBW zjyZIKi}{Jk&8onJU_VCFGgIghtfx_-jW{7!i~VbwrriC2Q0JEir zgT8pC%=g8upY$j|Cia;mQtPtDmn^5eYJYuf{PZI+6B2?cG2jH`QJcFt5Q!Z?P2`ig zm~@xMaUS@z@IKoqiPZfOa)&(kL>61+eYuvBfeAwZnqaxPoHY$`OOuvzJ?g@s%&WIQ zybv?Jwr^FvqAjawNPZ#f!PDQ}5qR)tSir3`2ynP^R|qVv!^}-E-!S62Y>0k0uh{Ww zV78{sPN2zjNzz9D9v7uke(Mgf++#rP5JB81mH;;d-&Oxhqo{sYf z27RVLFr9p662IyX*2Rv9f8YnTDQ_q+%z+3E(|uo3&tc(ro-u7-y6m@5+S`y+Jrx)y zBP>t9GbOVLCTDrRjx!OU$1weYDGg-crN~HvZbU^H{bdQFw(qta_3+PgX=Kcc|ei2))b8 z7{S{|lOknPq^NOy*G`q!hGvETFY?|69IChb8y_LjVJhToDuj@7Ob$aOr-T$Drb13h zk{rU8LODiJ5mTWQnsO|s$(ba_j8n!SXPI#ro0-|Yx4zHe_k4SP@B2Q#>-W6Z`+xtg zYv#J_YtP>MzW05v^;v6u)>`|B1#{;s5L%%=GsNsZ z-EbA21Be|=^Pu#r%q(qFDUfp8{V!_4hW}^=03XMi7IZ{z5RkC176ZcA-NZ}NO}w?T zo);UvQZymivlJ7hxAud*gpJgP9~Jx7jg9qN6Wa2HqJCY>h$TBQe`%fH{A zcGhoDq@A#IFj*u>#Khokd~O00lsN%DEk3oDHSXf1i|>DDn=f<|vP zLOypAt~DD*U6SMf+^8J4QD0me!Ry3|a}YCuz}} z@}$D19XDKfQTSn{jG-}c2p_4Va3ss)q-08Xat_D#a;FC_JdC$C>jDUQI$Ab^?he|W zxhfMW!+!6Myz?J2T)~D17=)FhN3@kkny2o&TDQ9`cvM?n>7L(Eo^^+^oDlor;FmyB z|7t^I-Z<%@y`jms0PgiOyy08yFsZ^%_zey#-M8N1CUCO-5_74WDfQaltX3_s;@kWA z2gvF%4IaUpq2BgMq-Ygw?3tqC!QFOQJdJOa<-87R5yYmay~O?3p@sd;PPPdKSUOan z)YyQPxS6C=;SF-+eTIk)YVXBGe8l4LyqDB{P@g3xj=Q`Xd11gm4^MXGSf@VpS-dRV z;$~U>{&aE!KFBVCc{=ZmtAkMI*VveIcY_MP%SijM6^duFN6l7lal`b9%XTc88r3v$ zetVCTx?V3NDSB=k|EaQviVsr=+7q_X#&7rQXPQ?}tmoDl%bN<}ZOh9n{F-+ylyujR z?X&J1?tAPKoI|ssPvVlk3i}EhD@+89sjJ4i$G(5_GRJ0j0NFJy?8thdp7iMSB7wRa z!AjFL4~17hNk+B!mE|~Y%O1anK0eN$w)=+^&v!!&vH0#+2AOs2D}6yP`V)^|Vz2je z!O8`D+}Et>B<$^RzZbH+f|1bdH$5RzgXIP8qzO-{dxL$R;&$p=*stynIJw`yY5j+v zsJq1NzOy%uzHeh{U+Q-Ak5Eh1%-j{J-*-jXpqc((G z%!oWjZMnsLjisaFJ2AUZg0Zwrcx|)itBrJP*}b#e%1}hF)cel=Cd7jNe!`n_ol20Gr!{@@_r4#&wW35 zw>!x=F*g2r_Gri0z|vls=M`7cV?>09k=^fxDT=SDu%#w=IcN5^?qZje^vhR1=Xa2Q zl|2WlI`9dG(~yjS3!LR;b(#`${_KF*saSqEJk}b`@e2L_KZR z*VkX45*Mv@pE{@Szx#c&z%8@R^UaU62BaT*U#-gLa}sFX@RZa;rrOn=f?cQ;TRBgE zC4{nvqDqWeZ`;bT&-`&Fw~kP|)4a0WxhX-vHwI{7y4A_Y?ZCZq-wCGd2uIJw@&{ppdJuoUpom`B$=4o5~GM z%{$LJA3yvOCS}0$J;|_fXw>>6xe%ldL}93>6l2nbKp{T68b2!sp?0V1;nL?07xru? zJLEGHUhk#|_?&Z+1>D5JOx7K&li`3No?GjXPylA)0I3{S|0vD{`(^z^UGPWizN4~k zYV7anZ@3&|aDBsivkzmTI=fhTh`1Yu8x#Z?JOH~reRl)B+5c*Hy|e^ptx|PX<2YxW z&B9=%Ezrxhpazg3s6@IMW(@0;d!MJYm|0Xla1pt!*1lgi_$yGNiHCMoRy#;8PpsT>am9&l+6wns$)rF zrFpsYauN~#4IDpW&4vJN9Mst$I^xmDfbGlL_-L}&z9r7$Ltz0*HlN-W)v-E_w40=o z5Sy;2DD=p5U2p&mAT4eYs&X}+lj#WF!t$YkN||<05a3eAhtfFLOb@TYLrNPSq_yYB zR1Mt=sF$N-D04N6k!0>gUW!*lC8mHnnCKkPlK0@SU<@I&wb1XNkj~eELy~ve8=ocJ zHI2+bL7Y46p1n-Dg)Xi$5ni=G0e; zhO}bXk*)3}hsFVf;+PB(B$h`vrg&`h4IhoZ;u&L|-N+?gG*gJO(C7QNeXPfcv(f-! zHZdfFgZzG?Ufl6m-2I!QP8Z{!{vz=K@XN9NB>guiEkE za;DVT7cY7G^sekl36Kc-#4X_-w*Np~zkYj2zJv^y4Gyi0C6 zm@%%6BLamWKmMun!+H1bI@~rB59uRDalorsIA>+`SmM&U1SPdL!I^!HBCeOlr*UbH zKDlSTEnfXR>>aXp8sPEGN$wCuN>#c3-gnsNnM6 zjr3hVT6Dt~?(+lQxJP(C9T5*`W4Wa_W!7cit<4;8wW*Nk{^c2iyc5bQ^;NRRUXB`U z8eQ3ZEI%_s)xW z+PqIb#d-Y=B_?5V={4cW1(3FA-Dhi*bwhDp#~^-QbUk{1mdQp_nfKo^2Y;dh(iCfh zkEu4jjZR2dz*FB?pM*PedJT8m@8yzyIVb42n5$q{H^_a{#MtRHZuO!^(-I^Wq?0^x zQ{qlMjoepQJDeEi!v72alUigz3Z~V8}g`wqU=Y8#v$+S)(^|l zb#u`r8xq@)Ko*@Eg#Jc6!)y zX|a;MJ{!t?my;{GTVi-M3Ash}Wf$D7jeLpUsT5P%1Dp z6p^s5w#Tq6;~I@Nc%pnVSvN3UxH5tDC`8aL1zlbIHOT0N{KG@d0iW;de<(&T`CAEz z6Jzb*1!t<|VYnACdm3uL8C~8tl3z5hGM`oa=m_6+_PNW_q5i|=56xKxvrC)p3`#mx zdQ})36#eX#@)M-qO70Hdxz&uTgQ#9ty{+!+69%4G|3+EtKIN^yp^io_SysUx41d+3Q z-(74lWF*u1YaI-r^Dl95rM8->x>3A&6kX=KQ}dC)=b8n#CHDsPv!=)5`)*ZpQ?QZZ z0yljFyv_;SH}GO(J0G?GgP=v%LfAJCtz)|^BU13#2cz$5FUY)qX17g?fe-x<_{-{&6${RU==i=?kWhDW(o3>gr&cqx&J-PWNtb(cW4vRSaW?RFyK!Tc`8#Jhc=2E^A-r;5mlRw;5sWsDR(o~s zHdo`W7pNcWD+W^XjNjkU&r8vI5@N<<{$P0S106r>g@+BbGzWqc&;LXva0V?5i5==# zu20!qnM<6obU2!SYk>D7)-r1K7Cj>hs0Oi*qP8vZ3|Ow}bLG~^s`$(DZy<`4fbpcS z2xSM`7u00giuI~V&DGRKna(i3M2`~>y)2oPBQvH4X%TyT&z`)Uu?KG_Gf_@HvLtsB z4#=EtI8s*r-a}R;nxG`})H&AQfxoIrLPFaIClT^>RUtffF4AixLZ$M3Kzr7S{Q9Vu z-lL0-F(kVo!qy-gz)-oSeL;~|FJP?kK24ci>n4Y1EHN7Zl)6Qzel3$`vabtZaWBbSr=7Joo`aC>c!2KDt5?IjB- zPOpenX5Pw^`iTCZBbnQNqOkX%i7MPX2ObRVARc*N0_+yJF5~muu)U}Y`)n~2>enaq zwsJy^7ogQ)@~SYY6Ru#|>cqfMhSAa&=+O z&#q~=^AV@ZrzIphDvtq0y0Kv=)L8ZkV9bX`L^uU`@+OEsC?E6gtn|bF0B7t|RW9bP zQWBG?{}UAq{C~VS#b}D_*POkToj&wU(REX>yp)!_>z?O%mE#ny2v9TXd_L8e6js!_ z#od~|zH0WI*SpV>_5=IIcuVCS=L4E&zBpZc`09c+ zm)Lv41QFTV;(>(h9$}RL8YD>YxUCLMSo|I0+}i&h($xv>UoseXYWy=!Bw1St9$Zkb z=!H2M>ab>Asb2$*(}6tU*WFDehs_&#?A;x&uyRrEChj?|P?a2exhNXi;@YQOpOHDx zmzh{@ocsKA0`-u~&U1+BvIW)Qt)6($LG0|>Faa94Ep0uqClXopLiWU%@zlTAVxw=7 zQ#j{X-Fk5Kg{Fv^$X>UDIW|n6Vi+23F`hq|Nv-=-KbROl7mmP+ z`&utLPMzAQ^u0G~6I)jbiz>dco6Cp-#IPH9!RWB1``yDJ{LT&`dn%5X)y(LKTi`W4 zMIXIU%(L2(8k<1H%xXI3I{3%ej2|yZ`OaBL`D{@T>KC)_lxT?RLPA^7d=}2QOlSnr zCIjyVp~rhD%_g|_8HTzCydO6*HGG;Kv8w^2QC}NP`-;F_)%`Zc{-;eW0S4vCF_6PgB8gPD|%f0m&CIbZbfaXx`I@ zI^Vo)PO&O0o5;QDsKxF}eLy{ZAb&J`CbzJRI2NKiIVeIRIkbO2WZ$;&2Ag!_71VZF zNm`pVpkak2#pP%{S~+@LdC9qMFD!Rjp5x&*&bf#S-hlo~^2v1Dv3hj9Or^`^Gw~4e zmhf=+i+r+&jIqUcZ>%1bToVJp7$)g6*z~!f0 z?G|2|p`zm*nPcE*CtUw$-+yn3vTp4Lzxk+e|0^=tzZ6CK>+H*B`kctr)<;3wSgJJ! z^Wf)VDoBX9HLPmD>Xukl>^Gz#`^`08WFj(3{EluC)H2Enrh1Zl_fb+{ zT&lMRD)Gd&+cwgRSUyoN$LCGBRCP}YdR#u{0k8KWWU0XLzZA^Pm z8KvYbXa_Xu-Z~Rca82Lw>k9F;B~-UStJGmJof|nhk9P>}jM8{e&?Is1^=l2uCp;)* zV1n=jOL+?lL!(#ab+&^E_=*Pw5i<}GG~FE36{(>pGR4jSF!TwvsuQ(R^ZW6C^6RJQ z3~<@|^pC6uqrP$2XoUCT1r)n&0U(D#xr7W?_JtCJ=k5qugsIMYKwz3t84i`y!8a+z zY1_X|lD6A^kx1w{ba(gOp7UKUDTv#zI{@ks%0Zp!U^qW&g10P9{$V)Gklg&v*6M2Sgu=3$qJ&1U9d9cOkkBsW%AS)a7NnvhVh z$G=*Sy@c&O0yfueBGni8G859j6{+zVd!D~8Fmu-P5Rm2h_zxfQS_s7gYRupk`7TE^%w7!5QKncm&OPe-Xk8&~j8N-BHayV{_4rU6oiFx|9 zzttGSsx)fYUg?LOL9%M-erwmqCa3_^GNFfusRzL8Ak-wkR`lY0Dv`B^j}3kXHqzaH zlv$8DL^Yig@-G_}n7J`T+yPJ9meJN11?{QaRY%hz{`MdYP*TwFuh)Q?w+WI0<%M#vh=v~Px260Py~YK}*3qJs)ZltgfTTJMdTDxY zi#u(q^qPs^%dDG(m2uZed;p(9xIg)A{5d(DA`#l z>0cUbTtB5PQA4tD_nYG^yD$HIus8kioelCmALnqPWNHH*i27}FYob0GTqCxP?RQx( z!+M8xr~3RvZT!3T_^zW3pQm9c7qh%Fm?qTvEQ-hU`*QeP*Q``wvSA7TV9wrGavuyE zM|MV0T-g~htQ22Q>so9zUO?+%@jPkj_RHfLvtVyEyOxmNw&jHf+ z9Vj>~@(DBVLEZp5oty;PV=-dy>bg)KndhNAhy!@kOsFt&mW|4w*U$*JnHy=CS{+RL zrQwbkH7nt?mZI{D_J;-yWJNFYUA``VMME+Lc_z1V11ypRqyT2_Xh1326k_pc&i@IJ_4TZ_DQ@s9-YD(5%7N}KUte}=%1MAqD zTD>}Wfb|5y25Ggq(5&NiMB!UCeX0e!n**R1XZ!6k46C-PB<{|ZuVuU6bdVr43meDRPu*)zzhw_x))o;zBIH#L*IpfcVe_Xh7uxStRj0aU2 z;pU}v4iT$c!_t-75h-~3D79#beCIf|>ebX%TN6p}6ZO}hri_1_R65wWn|S7*i_qzh zpz3z4#~CVV<}1yl)` zcRY4e=&utIdzN;=YA^Q??_j9*ku`NeSW_dzWTuz{MEms5WO)W6xbW*NZE)81KWYZW zW7h<}#Ne91R{#QEt;KgFQ`&2i(u!EdyMiD6(A3UMM16@d~dR~@zh zKw}L2K_+t^w0ffBKRq0Zec#%9A2BVVV8KcjK<*uJpg3R{N>EcVQyTo<W4YxaXeMONH8aZ(w|fEwk_&J2@#fF>7pSeua@IBOb(9CLA1psZQ5W+FSRL^z z%E1OmjV%s|aYxL{te1dDm+|E0Kt8I-QRD+{4 z{ab5_iyfr9m&8s8zElsnl2}Pz5Pcu5ssKef(jVko}gebyy+Uu@>js$lW5}_ z+04%X`952Y!we9bCPiT9a>$4QA$~0jqsOHIyagncQgNhy6?vG4<~8x*lQ^L~rtJQ% zKwu#wK1@=uK2Wrct5(JGvGL7>m`+!A17kq{&%(2=gDV{7XDyMavRP2$$yTJy0Nj`d zS)E{C;QA-f53(jxt??_$o+e1mp+Bb36+|Ms`RhMX8;CP5o!G@dQZKXx z8oCDwBT`H(SQYlt^$y}i?`S%yZm+5~jm@>h$u%ZBS@*Nqe-dO5I~FLsdV~%EMPLNd zo=s^4AeVWU@Pcs2d`*pT(Tis)YV|WMlGo?Coa2Ld{#Z$vw#^|sf#~wWjwT0zd3)PJ zM(*>lDlG4zLGI8U9M!IMMGC(eJEQCe-d}Yn_KC2Jn8#xCTAQt~b3wMO3}m}2Sx`%1 zI1O#msrsVSW_He$l>VZ7*yQ@R?}w+u+7sVjzU}g)jcd$PW*V1I!cg_i;?=r4?A7Cf zRGNhac8Uz#%aF!QEWy16VX zCOzvy_LJsZ>agLZ4NU%4n?jgGwfccxKN+&+7P4(R)obeyySta!RmqPry&RL@XVR>b zxpvZGgcs28Rj-CBQbPz>*OdflMLZM>9@rVZqB?gQqRYBMt4H{Q*>HD5#K9ar58BO2 zSrpTxU#D4ztG1Y(fgQcj5nh*P>Il7;_g%ZaBe5Bss)S9R-R3m#x<_KCxEv0_I8)Kc zZ8Kir&;^~E6Lc{Jh1MeiOr3@y2~qSqI2Bp>wcS^n>87lT5U~(ax&$dmVd`+@(+fsG@Jx8D>?Tb6 zAv{E2rkD-`b;j&~7E6T@qtjQp>%Db1J+FjW53oac^0qbB>3VlW85H6zj1?vu5Y@ID zWQ)Wf$ed5KZyv4N*&oTCxJ8ffib!d~W1xvZP(W@?Iy5e_F^CKqsEH7?drjOO0e2P5 z!P0@R{JuF1zAq#LVVZfB^o%J$Jprmd4uP4|5pyr7^9AiBcu#anCvP4+mDt;#xv%N{ z`aa`CCAJ0&hXBTTAmg%w!1p^7!29aZaAk)dXiw9Zkquz=NSO>7 zh}5IlmA$y_#F@>&KF9(sZ8G{~!{0J|`iLr6R|u9}u7-Mv!(#>1$T|l;lCP=3F+1zT z;U>@W2mveFz`j;Br;r`GA`;mLheNT)vkCQzaPY&A*wt-XX23Dt3(f0es0_tWXmPhc z{x5F`#Y%fl6eRv8mVxO0lR##tU%%(8I$tt_XV}1+^!L>3gb^I)q`<1`i};XhD-vBC zhmSotn)m~^*J%B~LD47U#d1>#U2R-6>0gsTVy;a>$=W0|fnK`*s4YQ7-+5n9JrbJn z>?SVeujTr!90GO-nXWcLTs^~&f;Nj^Op4(csfGB9_q<@22FCPHiq<(=iM*@#F;Z)z>+v(&P6kMAF4ZN^u9xU@d0YK zKDItpALTlE94e9rJEIU<-Ab5yL%gXiha66Zmin-)4c5!O{|y>YAkL`XgVu>`cm}rH zw-F3OWFK}h>=V&ZhZv69ee;WK58*p-%+0NJ-l?DpG$`KD*+6ZL@>E!iWv>;^3eWU> zai+1!%fnaF;+5Z>f~~LFBohNu=CN=fXlYacbXzbU;kg9CUr~_VBSN(zyl;CvtY5kP zo(AJ00YKc@oFVjY=LTmm#N0__s%5ZA?J8zAbfnHI9Tm|%ZeXXYQn0D?mf=IrSo{O0 zO>g(Gy9ka50dC=*tGZl8%Ik@FMA%n)#-bD1wsAn5NIO^wp1p`k1BL3iL60UZJ)P!N zgN@wbb)LeKy0p1`yQx%-Z2Bi5yrP`4XxaUyk*C959K{Mg>?{iyXs6_5yokbd@?!wiX^s4J-$L>0)z-&Co`3@#Q|@^Ds;q317* zi^TD1>3L;OSek8aKEfZKS0;2$@)?=WeSo)9i_~xmbu!Gr*jR?0af9^$8YLmy@T(6N z%~-pmDwYM!xpZ}&gzyhR`SHw@7Y(S0|R|w7!zMEb)~qJ9Jy%H z-*05Uuv|8=4S+)HE6C1%^LG_WJcwrUL-gKR&>o1%*8@CODO5~6u~@x< z(C1>)59vQ-;-lK+#w?1z;`aECi1{Y=sAXdmvI`iT-R$&da7h9l&QS$x<9-LJH7gdV znqT-)54flQh99%ps^TX+)|A2>K9EEFz;M*H8^3zegT`S!yUg5%MvU>b1jf2PXwv8@ zdV>BR_2e@4oqBWwOUDh9w|JVF_-dyovIJcNqO@`gym6#8lu#)gWc)7pNX_c48p*Z> zt>l>&uboNzY5eCS%>A_%RcXLP4YLTT9VguO0)Q#IVi`21c!~z_Waw@cL^%wP;wu2X zN*S8uuLx6eOZJkOTQeS;b?d|Y*{Kn+Cqs{XA$B%9np*|j* zbC}cR45Iv|06ivFS89G!t3XZ2+#t=){Tl2;Fj#h5Xi|?*3sNe*prJd^{HaPQs7JW- zC(0OjCJpS4u?Bkxqjm^S=4b3>j5s0l5EfdEu(Mtw4H6TuV0|$0V8u?y0p$Cl*&W54 zA8;LTD>P>>5oQ>#K-_n9*V@xtE@FF zBPd`%vLS{p5@86HXTn#Fx9S`%r&EmewG7`%YW2_Ih{amXL2? z(zZR1!$sk?-@bzpR()xKUkLz;IgM@?zXDMFa#hAm31*=VlvTThBjb8Kq46k)ygNR> z?h{%zmUqqtkrSI})Osw=7(0Gt#n1!s22v`lYYzt_wwFAjVGy4pxG_DpJZpu~1v$@`81 zw&O%k6OU`4ZN@&O+NbfGrp|^7{Y05}u`#XGaY&^Hec=zYz--Md@Wd`=l7_b!P2)<) zzw81C*aaKc?1DXOcEOs58GLrR9Oca1W$;XLV){*NA8GgVe_O2J%t^a8-0V7okG@|B}+d#sdAqc(J25;c=w?BDj=XAS+GG z6gZpy$x#%v9V*5!)1Z2QVSNcK`Q-SX1>^*AXc1txV3>Z2Sy_+ajd1k_Utypx%*T#n5t$yP|Iebfhvr zKeRD{TRLTTcGl?L=)}NxC_h!jnI^D)`l)!NPGKVusk;bQo}x!h5V121u!P!fp^+^r zt%y;^pAQhGi-F)eN~C{b1dhgI9N%7SD=(h*{Nh#=ZLr z1Fi7eQLx?gkgvcqdJQW83{DbuvD9`R&+ac*3vFXMX83QcqCa1@BmH>(m-%@d_Wa?! z*ZYj7YS{)zIU#@gC7BfkfxzHaunk)Nhzwoim*tZpV$W8i&? z%qTK9c6z}EL}srSve6-?wi#U%c<@%en7mUEGZuFrUr3%Qp_PG_p6!H?4t&AIuyh&t z#_%)u((BKpz89x=iir5nO1D&uzWtJV@h)jh?}?MsRm`Aa{zJB0-aT{_`|^bNB^M5>e}GSfwLpk9Y+^h z(}a%J^I(^E0Q?Fdl|USE<}X;fnkWbj-Nn!AmIE2=2z2+_4o>G|W0oLopuLY*Kc)dE zR=L}sR3pwEHD^F#9(j%H{p@RhNLi|)r7Q91cX7%YKRNaYRNU>0<yTv#9`I~P zBesxhh6Li}(|AGV!4#?Vf){rEeWeb4_Fl;v(QoU@^ZBb65>bRcTR;$w(@_W^WAht6 z{zQqpV>j#U@h`QPtF=8@P1-U2f_#=kV4Hk9GA}5$#iEPaAXGK3O4o*VV{|D$B_WWWgcYuu+l2`f%N}fZ>fZOF`;XwW|l<^&vGMQuWRC)XT@i`=M6K) zjtNSNAG%O}jOaofDu(89L15coXaujNKZ<$&DS8U~%U}B-q(Ph$=B3V6=}6NGi&N@v zQfBv6&u`0eSK9DHA-Y$51>zPi4 z*;#vqefvt9MeBMl3~KOD0-8|P-zxx;_k(J>KrFp=74rhzQs*Ub<$a~ASL31`*x`{O zZOvg^jkaD9Zp&1jQvZO8QvXA>`EsR@AI=7X*Uo>68Igz)Mz&9{{s4=^3Tle;=R(Rn zFsnWvo}$~PfO^Fq#17>EQQ<3!b~@|K$Mg1%|qW?eRe(Cy7+E zSKwZ%&~6oTuH_;MhTk>h5cNgu2yW9^kqQj1APo6(Ayz1HaO{Bm35)9d?>3_QIj%{l z4QONj(Jj<1Nol1MJZ{^9Ax{l(Mkg8ZZQMj=w@Ko&6T!hn_9bP`Vbi8|+D#*$Hm zZ~tzC0hqf`0cm1OT4y#hEScV{S4?}FA_af@!q*_p*L5%QDr(%V)V{Y=#B6P1e0ce{ zX|-N71LzIxhN;&6c;vPqMD>0F&6{HW^gm=@XwEe+1)?6gtoI-;qX+acm#_0#$*x;ew0C7x-11@%!72Y>7$Pm-T8ofoZyTx1ZlQi7>-%3hbn9g2$bw9g~2vB+Nu8&^|1_3%|I}|G;8GUi)hgN z$`4Dy-4V+8cbvHD!LWd;Oo9R!Cxc|)!>0+b;)!xO}4%A;2rp z)BgsVyjDb9YmC>_&jcIfT`Isa?b9~Dj76@xn(5&`!hXOQ?su6LiQK;lIS4g5NUEOl1jcZQvHsp>2UN?)SB-R5h=vf~u zVMILkHT7htjh1-WqyYb3?EkIzJ*q1RZi0tS%NM3q^~V$?hQUeAC13 zw2*kidIvOAg5zs2izrpYPX8EZ%CRFG&o?x*vWt_cv0DISXr8SLQMyV#Fwz~0Ep5G( zu2BX*rlwZmw<+c&ei^S5R*iTixh=7YchD~LbCj8+?4@-95_uPcuETeOsTo7W7)09b zx?8rrzl%|6*M*X#CdH&Pe`=O}uD8wS)0|@?K5goH(+^>jEW*gVy4P4{HUxrNd-wheazKD4j zv<3&$3YQ1}M4i0`vDEB9N0dWm%<$a5dG(()o|5-RSyK;W#=|LR@T;B}w{JyDS%lse-`F;@uu6Wg_^8%7+=v>}sPZ9&wS3DNq}l|Em`Yhq$v)@V z$0WH?t4dB-v&XR6vIP=!$xm@RL!7@P+H>aT4M$`!j7-( zjT}9O)2v7*5{IQWOPYA^JUo?GC85P$ca2ySfTea}cF_9kO34_zUXQ1&s46g?VpxA} z*i#u3GY!1%reJv(nR4z~emK(uBJWIVfp)6`6jCLJ9c|EJ2i44r;#nF4ZCn#Oo?Y>jcPSM+e+(=vHV)DP!2DD@ zvnV(D1nC-2!8;{rnDJo(T>%~K14TFq*y$MjDmP&$Y=YNUO{4iOCJhxb4O`NyXwpo+ z2HQyb5n5~Htd>v){LJBpy_spUN%W)Cf8BJo2_xI0u)}V+J^8)oW^c1 zx@U)-pY%jjSDL_NWN?6__^lk*^1s5M@s3c=YR~Gt0Yw+n@NjmTA?1IAei#m?tl3*W z_NAnuZk1=*S|slV-i*iJqt9)l9+TjbPWPZ3Vx@zZ+;a=?>*hW-U>D>G7&^ln7X!Q~ zm4BhZ5&z19YyGo-py=6u5?-}{KWYa_uelH&{Bj}CrDuY{ri-UzX^MA(j3{_?pMMx` zYoER=?OU^?iEy3tBO&9fMp`~NF-DYq&0A2&3OJ5+riTeEUQ>aesC7UZ#{XH9?YtP% z#x)C~%KzT;BEb9%1fAj$WU97D0KZZ5w^rDCc)jZYv=_CAjzYA{;a4=dIxMg6M#GuQ zL8o60x?k1f-C>yi!zwAkAS5;=cup z{FgFIWM8IhyLFj!CBkz<231~Bfw{tSwS;vO=`vjk&vvw*bq@>@@G;;iI2h}2>cUoK zWz-fWqq(!z%md>y8305;)etOI0Ag^yi@|(s3z5Ga2R-}5Lq1^_4c3@PVRl$V9cR$4 zi#hn)VI$BU?*>>^?K`P>>=NhNHBT>wUlBhDXMwhiPps}U4QUQZ6xXHg)0g_PX4E_m z#H<@uR+hO?7UBKGDX@*};cu5TU>=y8c^Vjm0Ui+UOKZ)g&SH!FW@^e1WAg2H@vB?F zo~QNEF+6ZVjktQdLb=({w+o&2?Q`lYprT_|OL?W8V87G5>E>b~XxI$w*kXw3ev9#^iEscdG(})d3KBQCo7P?CNST!tyWo*`cudofy{Yq2AYPeQ&D3)q15CE!!7dkt8Z-{XIUb&RMO5b1MUp3{rS`_RD3d z;!cGNg?GoCPbn$YzTTL0T1es`>iV03)t{)nBSHK$kngfH4fH%2Ug106;&YbEXoR5FA6b{$=HIJ zCfczPz0xkHE=OwFX6Km>%1)aU$|Yu};JpkEh1j|i%D|t|dIHVQ3WTZ@pwY%4HUxR~ z6ZKLg3UO?m$zqsqR|b8IUy>PH7;BBr79AO!L8oD7DyWV~jjX}OAo3kS+{3f7MeG3? z(2A-J`p=eMefd}<=goH^D-NeMO7?ogj#CF3mEQ0q^xT@p9YXgk&`-`$ z|Gsg6uH9_UP=wm;sSlAYGZ4Ilp?)RjFSGc`pn3d{1`v-hUq2T{bis#$GnZ;<*qXV> zQgp=9wb)_13an{K(G!E6HQ9+ORyBS?V-<0g0M13cVLc>Hyn#)C0d^hB42*}}=X!4- zQFDNp?+0eFA)7s$HusTm3&U3=66`o^eY4PvA7`sSdPL{t%PK#4@5_qsgio#I0^F=O zQmp|y3;A>g_`a}|efY&+d($`Lx5t+L>ud3;J_~hS1rHA5uf-F6I`=8x_B89ZU7~a@ zwjA0pJL{R(ej#GRE^|Qomti}73iT9)669aN&*ti~5|Dl4NcbNisbG=JslJO9S$!UX zVx!ip*Pm_j+d)#Bmw(%`DN0B(mbAC=linuoU%cJE5&iBU1BN2gyiH{z_mZiJIS6TT zR^;V+$}fDPzC9JEvgz|@e;&3qtC6&(IsS;l5`TpzjR>DHursC)DyhcqNC5V;<{YAo zdqt+2XiJ}BJ!S@v#QM-<3Q{T8)AHPs>D}r&GRN8}rRf^cOBY?+=3S`L)|niJ zG8}1LL0Xy%4-xG0RWNqjclokQhk|5^Th@hnBZ)$%0_E*C_Y+T;8a+jtp#qoiq8!kc z*o)#9aV^i<6cj>xGh3Ky;}T}`1+ab{H|3&thHW5R>?rb7cj)j`&D%0BcB~o^954P* z?3*a`Jn4vJLStr*ge<4c_6-_*Dcv73U=PD`8rL1dP^U_Z&YtwKsj<@$8!qT22S{G! z=htnzpv%YhS~*7iD;y4lQaP695h9FUjrj%)`Tc~>dR7i}aZ?acKuf9%v$DAdsGun( zcqd_1K^I^nnlhy%R6az^zxfzVzb-k?SDrQ*7+x__9ebHiId@;3p4Pf6%DR}F{Ifb} zkR9TRjvT}kQ}H)LBmifBRpGJE=A?+1KAv7eNuT3R9vqMvn6VkUYNR^+bsFJg;So*$ z>BA*7Y*?ij9EofH(R{~CUZpH2HDJ>vi)s_TOD{cSEpJtEh`X{^bOOtX-1mGK=^Gpw zo{JidIxsM(ho<$Al~;nxuyiO03ra3oPok@ZZS=+=5r6fI~^?(3%@i~L99R_{iM zmZw{ytB3`F<`!8xBMu6E*AUR~jWfm8HiSzm%^n`N&+ui013}03;NF!0F8-MT{3X&& zsKz>^nY?KIE7_$CgJ>K4RSx}4J#?{k`7aDvSK*@qlPcfQ6hHPUMtSA!VrVH(UEgZo zEUFiM$tp=Oe8A`zuCNZmcW*EyH!yEV3|K zfnBd4@?P1;u8Hh!CiL`8;H6--TOM5O;-?g?o{AdWComSPyv|hm!5SMRu~H@ zyve)lc;$`nm!0v2+Y4fJGPayy4 zn~{~(NuGO#J4da;Q9%QMX}9*=%YS?9Nr(~;febcDab93cDBwZ903lQEHjP+Ij>K+O zP#{!F_-B|M*C_)en z_%oifj+_PRi!C0uOWzLe@(rL9@vPrfP^ip5!)Jd+kq{zWMt1QsPo9!#-{XJCb{KX~1c4>#x}M)NfDjaBIXX z1`wxpL~vD^Onq8qG$pz}yBvPnwIp&wLo(Xie&YV2y-OD&7(c%4mOF9ZY>rjF7HO_Q`%6 zde2^d?=!7OqoV;X8Vw+j*0f=Ai7-8fa0h^(t2Xs}8GaVW()ecm9nI8G9+_jI9fX*3 zfWA%iUJIqHxeI5e8Cw3=CR5)mQr7WoK7{v)SxtDtt)pi@9+(V<~!}> z$D_APE__Bmi0joDiDH6n^|w3)Y}(wfG=)AukpDerf*Y#B0*X0K5NQPaz?Y1IN!D+> zy;SYp?N4X`6GWx`)X=d^Yd<2S^ll$~FF?tNvlvF=%{{ zCxnt0hT?yC zqoG(qS3>U`d==L~UKRfzw7q#Clx_PrKB5qs?0ZvDDkRC0FeD^Nw5Y^XiX^F2_PIn^ zv&0>xGD;<+DQgL1S4m1DOBj?rGnO&T%+-60y6>lZdEVdqeV*^{kNRWMm^rWWJkDeJ zEX7(goiO<^#L@aFv6M+eAJ+-^`h9*FPABI#Urth~C}g z^}{M{E-evYp3iKM{5Tf6!4bbbWuLCEot5jUxECwC<=xh7eaWwA=64Ju$qeD<6>tLf z(>|b;y2$KyRmLo3G4y6h<5os;$R`(gxR#eOh@Lj*0)%8$Urv|-FKK4<5ijs5F`@J5a;#*R>E(XqRz zhQcWRaO4x@$F8Knt|S0bdm^o}i?-YI55vk7*;=+;-e zqUx9=>F7wii9xqG9NM6z-FbYICjytHOy!>U;r}b0mpxbw>CSxWeRda zzDICE6lhq^1sE~(L-Q6nQKkr~&rGih8tl$gENWm?4(E4!6)Z6?cjzT|Y_$ZdE>HZzIk=%Zy%FAOfWxOcp{ zNGFxc2@ol}dQVijJ?T}XNue0eD`2M(;AV_RjQ~qBMJ2tR2931=-f4tOkWX-8!Uc6C zF${PXn)Z~I8$X#ARQ^AR7J>hUXmNlb&h~%6R%4#&K_dLBiwiFpNqsmqwUHX)c~g1s z)eVm_o@IVpc6z;W!!BdRkN=_*K?h)tP82zSP#MTC8&2{ILDIkjqEETgBnuaY<4a8{ zFYLrz%XfHQY?^1b!Ctj*jTysq(<$Ng-WW|l_mK{$GW=16B>FTOMixfBDePE_ziu?{ ziGPmoj`)tjDMjBi(x<%=5FGYzM?VkKQ?_Wne4nx{9=`^|QGiId6Ou2HThOHZ(Z6zb52qt4(`k80 z^~ZZ>UzhLQnJM&C55x0r4<(B7#Czl;ODA9*-KMtd5^>41Mz&kGh<@*Z#M1@Q>J7c1RLkDa;1Z4_p52YbOz#1?`g z-Ywg|M86CUUFn{7vAaK>8(VCZUa73}u6<4W{rh=$ zwr$S5H+D5SSop!hg7pOG$sdwIA{_?~)-bF_*Qlqw&)C;X2r=|Cb9|@ousu zriYS(Z3nXsewJ;32q&HGKx?2jgpWSjAj0KftRHO7&ABl`y)mJDHTTvW2?Kx#7JHzT zxu>6VCIQ^ZwAq3!1783f>%eGAQ3)nU?_a;|{yvfAwQ=SG4c7>_8g6&oO2%*u-~pH- zulfclj0GR@lLuO+{0Xn6*<$jjjS7UqCpsCBVl-2-+CX6^xplNNNYM<@px|JU3Hj4O zr5o9sX%?XYd)z$l`5;wt4@j=^gBQ-OcW8ICl-TBYSFLKz#du3YYhMkvp+BPyGRg`_ zGw18z*)Bo&?AL$Sdyt%|gqfTZr+_kW8g9CBYsgw;$xpajRB{-h?a~nQ2`lT$pRDW2 z#+4^tJ)wVeZ+MY|nb#SW1SPH3@EheOS2UNNhY?rEZ}wA={wzx6L?8n;kS&zwLoi(e zz&sO{7(`c+KY-8N$52DaG9@KBFu>w69|*JJW5^HY!$a6nz(>FbRc4daIjPJL5>tB{j!GYCW zW(>j?4ZnXe360;s81KyTyOit#c_Z?WL3eyP=dZt^Ot{OY2-0^d+I%FNxVi&m|a!5>NVsZEOyX)IzChF#I*F@r*%qv zJ0(qAR4|~~B>gv%$G>GcN@v5iEW@|C_e_s8JUUS{Rv}`izGmXUMfJx{?)y%en#rHq zDRu17vs1mv7_@VM+?RwddCofN@rr&q(JOX_?^8cC5L+f!v*xo8(i>{=tsxa8aiX%* z3ILjE@7I=mc6(XOXBmes8$O?yr4QGIr*@z9HF(G0GEJZl>$0NRSxm7aXpU!4x;*;{ zT^=oLzk0M6S%dODrt}VZPPfm%+?K)?3qft%D{xa^vf%j%f8?CX3}ie0`epJkHX~Q{mBq^#d}! zLvEy2eS7vy`F9Mlg}sUwE;^Sz?JV7ZRl@5mE={V10Q+Kb%QDu9)t;>yJv|TWaKb}A zwS*}V!j8BGqBN%&~)sHA~ZV&Ze1clTBljqH40`*_v7w?2~( zqw9+_Ev`w#?!};cR{Fm6CHGmN3;i<)<*ZX|vq+&E&c^2+t$D%o9kaB~sRF`(_TFzT zthE!Y>~c?K>zZvN0F7^F_dUjn`A6jD-nPDp%BjGRR*!{9RAA{(lq#z zW0}h5c6JayC7-kxjo1ZfQN2Slfz>1KvrpvqCUw3Qp60++a~VT4hOjRs>p^kF%B*-L zs!2cC$G^!E?#A5yWKNiFVkPPTyav@7XyOIGvs!tBW$t67s9pcagSt=Vk;NgE(Ux1( zGczr{(~N?LHf$nXhlo5IG;jv?E?Qq4^44FW^f zTz%z&2o79Ic%|HG*8F_zZ@izZX?IirQ9BJXOwH4RMRi+idSl{&Nu%yi@S>=VDUq{=v4WnC6+qyBG5)9=WAt{`S5k&Cv2JTaf!;s;5gJGTM~pzxb&x6P=deSRM> z7wD843NSiXirmkh9@*8cdh?TAk87aKx%gEV^qSW4E03Sn19-Ww$J!jh%YgIJ%e-`i zQgWMM)d&VzWP#i;&i30%2m9R^l}JZ?!DoYBv)m8E_CcrQ?pwI;i_Bu!gt!$?F67cT;ON1dfyW6CBK1 zYvO05T=Yu}9!M}(9!n_7eUJ~wjgPz2#nOX^zBVNmTGwmm47<*lv*W2Nn>PQRHjDG?GnuR&>T=^WPN;}FJLXa^$hHkaJgn;xZC6&+vtVzEWa zb3XBU4C3Z!v7EA)(p?yW6C%oyehe%0$nBjWq!aATu;V(tXob{N+@$Oaz%U#(#=Vt9 z9C5U5tSBGA>yBZvUT0Q#I0u*EW&}H0#x+Cs_B3e=of9?jQai4{<^@J;1c-hCU&ouy z-N3R1cC$)E5Wcn@?U!W^YdlgG@Pa5F! z<&df;ZR0z|n?pCjeD&6~$rEeL?{4@R#15^_F^|u%#2h@>-@Su+wvrSK*J~c+56EI<>NS z{iDq!Sp2C4rKtYiYqtX9mmq`55Lb{D(Cq+?J6yYaZDO;QVX@GntNBVt!nGbahzAuf z0^Gz@_IYo2#(qiw=?o>@&z@#_-t9aigL0PJbhtG8@us8w9@cjJU_#*3cT8gR@DzDW zr^T|dv>rRFfIowLNuK4RE|sJTP0@XL&bXUdcB|g_Eu_pE2_Vdcf5?#`{I6bg^}chI zo&_hDKug7Td-TRH=XyX`t`N=~tBrjo6+2vrF1gQIguMHX(M1KP@TmFY^l}`{meR`K zV{>JL=RBWHHMvgiexpr$FPv6X-5G9a@J3RiIB_Ua&~RVSresv#eee&cD@rQe$8(k5oqZvEHI|T8e@dOGz<5OdiDFV!o zEL&z>k9}oSZwAxb9&KQ$zY2BmQn~8PhrRxF_tnz_mDglz%uVV8Ld>}`HLG~Pbum@! zYe->S0IQo2KAa$tuXJx<-Cz=9?DP}svs)5U1q_~vcExYpbb3<{1))%fa8DRLHn9)N zag+Q_0IimyT-~0$igyxJ3cOh+Y!yygskV=24PHPyv^noKzLLJrTDAS)fosnkUfkG! z;UHM$#;@*Ju(9T>2+?EF-J3fA^@DgKIbmE{zQ#{l{`2pcKVOmqe?jSc0WkH~yS9mk zZEOFI0O^E_Ml>NW`z_g-=DFGWl*jyK@$>`ZZ6E3!g6m}K-&_rSWlr_F;?-OlNd7$b zqXw7aJeou}vgeI)vN+}nWVFJ#y<5f)dFKp;RbMh10f2?E%S-f`Dy+3k0NzyHHgF>@ zYdpa2Xn*wnAm7B;%4>LEA$=X&a%znJ6890!K`Ud~LfR`Gl9#ZlSMezc|2Si4ctDu~ zZw*X)<~(8K)6e&Qu__hYKY4hO>ubM!vQFy*D-22DHNCQn8lx%4zNqO#0m8sEu&A&3#5}AsB7PU`|K$Z zX>?SHFQn#7Bpp)z;D=~s*&*iaN!Xt_=(O~mVCTZCt)2Fzf}Lu3?cWKQyz~o zSGcmT_Xi=v1y2D1vdvl_=Bc}oah=CgdY6k z^~k_V%EeufCO>Xq`X!A(g<#5tP0QVTa@ErqfpmWMC z;o+q))b)=jfGpp=lYhv&8v6;$$YA!jyNtS7DxU0g*@S~^pXF1x?UY)PKHcb!w zZ@O*QdK+Kkq_X$Z(4*&-n6s({oaA5Za$H^YMzvn{=}`8FI{X&afS!8nq}#O zE!USW|17Fq_gQJzv**t(iVE{u72+=0$@OflJocQyR02;g&3~ zxd9JSn@*`FUn(_V;(F^XsOeQD8_$tN-K>NTI&in@4+fUhxs4XPDivJ$Q&d@bWMC^U zOouwDws&l{7e3u!PFs)>rjgRO+7-~b@WQ*xNI+s2eHhD%f`U-~-~7u%-d+vnDr^Nd z90wg)7py2-mw7B*#J)-{`YlOKXVgH4nke+JFK#Ab{nCon28D+F+U!a0=ZCnZpfiRs zY2cUxRdO47_%T@Ly@6+ThzJ8kDPXQ(FQIFIktL#d&e6uMxqd`c{bR|y<3E@|ua<{A z7bsskUF*luf=$S@s)jzUUF@g+vQpLN0LdOizTWN8ap{ClPMbGmo0}+B=Y_7`sqc_e z&}_H9F$l;MbpV?Elcf@9JX-Y((m3HM~Ye?-Oy?bAGb8ue$?N7+YPf6Do!$%ypelzmBu%y*|innSx`=2YGUW;xB`YOECMR zZG%vGStYu?Y#rv2AjE;18}D$lGvwjW&-<4~%Lixj%wF8}gM@>tm!6vn^b)i;H}X zBDaYh8cPA}%o2S%A^33a`v828 z;(C;EICF6P`snCmJ4*#+Z{g9)cBfMlKG~0@b1U_gcc4nl?juaLp*(^C*tyDX)=IKGP;){)xb6H>ist&1aHID6;_r%Y&SZBKE?w?<~aIr(M&QymNA*i;5_ziaDoG1fi zJ5GKUbD|6cc+X{QwYPZcu^%5l5}#jKE~3gf%Skn`rFoe(eQj2o#6BGB5-mBga{wM`c`8Q z1yW(sNE(&f>+DGk>&7l}FLYX3`0?EFDV^kR8zSC!_V`@j!O2t^_dm8Ihg;YZo>G1= zzi`0(O84Y4zpgR+c)H*5Gp7HBttWBvDSeGb8px+y?(YnRlLp`yYlMm`yfmpfv#)v| z?(gYF8~$m-=$#(qQ@JN1s7Ez6~{mFATa96Jxc4OHzJ0w@Iw z#re{0fCd)LrGaU)_OO%!ygnjs*dQl)W@YwZ-0|t;cE_;%!VB@rEbTXO!dl~J7mKHS zr9}9lB}jK7W&EfSrl;88?FyEWveWF`;$JyH&rdS5A19<7EdevXT(%`)U3>i*ub zf1P$Q5zGp|mNFzvhagSVVyaS!X}&8-z#KX7VMijDIbz9Wj>rd_pXDL1AcHVas>P@$ zEj%Tps_ih_0A!q7yO?Kj6%Dhi{Tk4D4)$e8VatdR75izr0{nSYLfLx)dt?nv1GVp6 z{R|utxoYX_vfBgVZ4_Fj&J)7%|DZjHzMynpBaJ(!K;rhetrorY&3#6cJp2L`+z%09 zV>fR0$4EU0Z}Rw%^xm9y&9)Whn=L#lC7JPDr5hoANQCQ}5t>*V#WQT%4oCxQiESj> z_AXvx9m4y#RPFc@t)}yJFZ_qCOgy|ih0k1je&l|k%0`(UiXsrS;P||V>v~#{7K8M7 zJ;1TUKeF#YMnE2sgt#|N^BxVP^;a#?rQ@PB*m$GpEX9q>@`6{}zB7?%f0YpDwM>RV zF8b5?cjW&ogS&~RlC4EEBv*26%a~ryXQvA~r5i^kpQXpm_qBT~dD$_jTS_RNU$Wz; zW}D=UCuSGGpae9qT4j-UhknUI_fb>h0U>|_(HGncZ_C-5?}vwauX!+ zG!B&6kvO5eYW?_tt<8?vJio2ZD=gP!f5IQMzgWnYYU#Q5l(mlOk+v@C3;(FM!f0m6~!`#%1L?k0sA_r#sD~hzybjjj^cWP%#?qS!YN%k#J4Ytr`E&E$&098XgJrXa& zPrfvD2kywTT#>#=)-Yo}CpJJAs5dXTd^eTwQ|#aQZd=oS<-0Lueh7M~;3Uu$u4oWf z<>NSS7bqJ1a&4g6vsYO#qiaN58bXp)%In2H>OnbMttF5-}jJ<@#ItB5c}WzXu|+AtZ~ zC~)7xWJ7}I${i+eE;+ZAZi5+^&1KT0-Bb#GkV}AL%+67ahum?r-B{pl6y^7iG(dFc z8!Y;EgO=$^tIp?qta{(zy(q5c{mN_NU+m9c(VE{aUhNG(1G-0DqUaj-5t>D%p(zzj zaQ5iQcB$N+*rR%*ZEO6ua}l>qPj3r-$sfr^=9pE(=sKu++JQE8G>`cI$MpU`v>Hmb z88lvWw-}nVawwLq-9&v)T<+7mg;vd}THdoM(8jhf_ZrpZnAn=_L))bG$_Le$D4IMr z<-#4|=Dy2?J1*JBrPyGm{|O3Kgk=Kqp%pkMr(_i}&*Vq3~9W+>CoeJ!=XA!hW~&to6`g5!Ij^A0SXY3Md}w7U`Bf=k?b+8NPUXY@gi3 zYq9H<8K-Zok#U8jdB8GfU(6@606lD^oVAH}WU3h<`&Zf?oX8q;VfDb9&>`!asj z+4|dS%eF`fe;(U8bT9{9>tlsy$U|M(n+LC;T%fW6q(vchICPUS)FNz6`;l0fgN0S% znCc-=#)9g17Q+IT&y*U=mV))DvNr|%2!W*mqo;#F5y7e<%u%3-Knwgkh9lVkB$4sj zIj%(+iMA65H|!!Paqz8e(>+NeW7IlanA5rt+noH^z3)=3R6hn&!xJ^tO!g@S@d|gh zPz5>pc=saC<&#l`$AW3*nEvZ$1g8MT8M(UXzCN$9u607Gx7 zjDUB>Bgf(#+VbKhj7?nHgY;V_#sJWIhh?+aglPq=15p??XJRHApj%+1#6Iw`yQOp` z*Q2*;Hu~PYX4UA;)Nd=c@@j>DycI8@mFwJ;a1i%8)p=srF)SLO=@5J#r!9)6i&y$3 zg=&0TCSL8C(PrhUTJh$kqTMmOojFfB09QNWeg*xFXVNK(brAi~Df@oJz!2&cr{zF0 z(Gkeb&Q5Jwx%Ez{q@cp_i%&8mF_;UIll&vCEK4?#nM-HES+3NGpe#O55og*|&3;TI zWxDxY9x0UaF7Ot+lqlG9VGX?~UUqA_;XiGZS&A=npS(p)5|lh z)9NP*FRp@{+1$4v$zDJ{TEs)mhiqGJ*O!4@_F#vw<|&guEaPp?skj3sgBK1ZrST+ zAM2CO2xf|Rdz|X6Gy)a{^)vszyiYEyZ%(kgvRed}T1Vv3Vwv*b>t{(lJCC;_DU|etJLd^zqskyXV7QhZnNR zf|t&2;@>%7Qn~0Z62u5kdyUKI=ZN8<2Jenx0W=+$qtk40hYD1Y zlWipFlU9S|eZ9?JHR^BC9DVurba>neX(>i{-Q?PKKxT!c{1uZ{VR>yJLmhdEAyiJI$bL7ej67cAO4|aV6@iXCl^Yz##U~b zKO2V1?_v}vV52%!Alvv2HpCv^+A7ajoGiMwb^lVQl%ddtu zA6>LVP(j?u3RGGC&TeiQSNaDcG$xRhsa2cqs4pga_yXUOORK99sXEpPVsmvUQN!n^ zEF@*W^+TK?kE-mlNV0wrE%EgDEzAPT6*d@qx*7s}qkt=r{HD=QAtU_Uu=|jAQ!ODc zskSR(RtQ>xDpiV}Rr&_;%Jpu6{%W)v%Qu>T>I>dIsZISj$=amSd^7afUEbo@|AZ%G1fP%L~__R}Nt8k&om*niLY(!2t$&?gDHAIT+XmsCr z6af4~32WkCT$JUN<+GPI#_fb~aRP;g#-x2Q{P&R6fRHMhm1bCRpqt`GmO?+^g#)yD zVk6L{A2;0IRV5`gy|+;AQlqKC`t5hFzP}#2m!D6L-AYcQ9Ch?Gr?rgYX@vy3$fTUh zjl(^P`tCQmCPd33R@#jz$865LI7fbDojf>^(y=S6ziaNE47tUI@Q<6CV?yP3_$c+_ zDm){+y>)Pl0^HJk9`wADvh4k!E#zMtAu}pGEcA4z4d&KSy77{0gf|v!34g|I&Ye;P z@blh43kxb;K3udQ;+Rz8p`4tOL>Z;^gN*TwyZ2(ixg^kXB_$o?+$euhb9=~Jy8)Ux zx{RkqrG*90z!2E&Na7ZI^QQD=*RIdQ*1wBHGpL-X@0g>{4@K@b67xBBdxO@CSS{XxjFOorTEhr;f>_c#CFCb&ULfAWvDuH`{Jm$^L0xEa8u1e8`$Cy za2pVjVl)0IZVIpkTyKu&DBCCMXqxJ)McP&r1sNYx#_e?PsFjiIa}sBAXu7q@9ZTeB zHdQz*GsOOx{qd0zZ3l;}FwqQGRRue(#hHS73Oor;&!f|DeL(%U{Mk`rbrV=p7HDFJ zeXj@+8h+(Ys1VzUnMBVmFCte`_=cTU<>u4I%hhIGNN0Q{&T<}K_*B1eok(6tuvf4M z(dzHJ64x>|a%ZlK8udpP)rGzwB+Vz?td!Oj{^)R1UbdZ}`l-=$6Xjhd>wk;aHLX-# zy)>lBz80U`Kgv(Tl_5N(iats(Ar=iVgnLTV2dOOD6PlJz7%C`eNwiNacv@{(QYH41 ztngI-+POor`xYB7F9`s)Tn@dPyGMSc2pBI{hAJn%P=kFyLs+37Pge^^$_E%dWqS2m%U4V59LR6Vt-e1bH61Ia{cPvkWf#EjL=2=$ zzId{A(nsBMVbcd#$0GwP@Dra2AClPOVKt~GGn%!Gsavze;N!Ra(Gv{Eoi_fysx}69 z6*u>6STy=-E}J6M?k5lDqJnVvS8n>H>^9wRI`7eXET8=wb(R$Im70}qg@$mvuL?_t z8^=k27FqcnP5=7hC{E|6Nitgj~sGuONw+CdP zgNf@KK~Bxx4zTJC;oIMpXSCM4s$C6?pWhj^K121HXq;x888MG{7&=m7l>e*zk<(|^ z9%4N{&nBGWhD7?I7ipDMZHYG@GD-H&3W^FEHCBRgR?$@;nL%<>7W_z%@9Zir9h}sr zTG^G?P?7CVU>@%A(6t5{`MrY&J30oYubT2{I@UBO#~YaJ*<-RI0<*{(gAgYFd$ITb zOl9ew*I3)_KipF~h>b>zmXwOaEzrn%%|1i^G{#g%*te2GK;~lZMec-kUMVP$%xM6| z&fegTNAt%yfuP0>!;4=9gp6@*?@a*D0lD`x()b!SWc1{EsCmrV?Z1urag~PtHX3bM zqStU@`|e2MK|gQu2SO`|i}}(KMikTXPJk1Q5;>`^yS>He!xs~uQ(FcZ?h)$kNRp6- zx~vi(&D^&q2(S6nl8~zlW+pbV1?f#o4D#4l8E@m9{$$qyhz z>H)1-vuwm(Uiw42Hv1?F56vPJalytUc1apIq&uA`IwvKam_0xI%G(1}V>^Rpv$9%) z{$WBcLStcr9HNj4k)D%R2amxw2gXJcTPhdbVeyM;qyAYN{AJ=edneNb+L7fB=U;fn zBJ(}fi*aepy&XO-{)EM2((4aajQSjl9dXz9J+}6}`97U5r!<2DI^gFejEtzenf;ac zwf+EE9XG@fN72_ZkoF#8T85CA_a?dW=cPg9bH{oTHfB^{B?M~TrvrG7R5%Gq> zlW*hq;u}9NbG0thX`bW87?W)PZM`a$Pn#VEDoIREVF1zVZM_CGeVeB^K2Kg&b6GDM6 zZye!cOQMDj?R95SJzAZbz`h_)FRth-2|2-b3;5R8FYzxgkzXK4&^b9otON%zi%|Tr zu^0wPve@xK=ZT{8C6~Y439hZ1i0W9iN2&hYL1C|Y;yXw*M$kEy8}d8L%`Z}!&e+6=&B zRoRR>;d@sZt;NmW)TVIMK^VE3ILUT}9cscp1ved1(NNhlP(ll3PAgIDkI&3?jNf3Y1B>whegcbr@ z?0GO+nKG}zEkB0D5Pwdt!!yr%*8=TfNwMY+wp5@b?K_6?nx?@P52+|1L0wU;E^bHH zh$xn7tUHg~4Y$6Mw);Ypk|^iF)_XI~&-R>5ow-{-%a&f?FT2iQXiN?;9 z=AHrT0QKVA1>I8ouWz)g7@Ubcz`>5;U`D|TSY104?=GAU+6f|orK1Ln3(hwhPPQE3&!_(kXZ*hdn zp1>#TzwP{_r|f!18{V!mfrv+bVbsvC%&Sz?Y@~SNyTd;Lq$i!Os)&CIP9t}pLl$}# zseM0PeEui@X85C#6cg?|R8Ry7q~m&z(tTtQOO&5;+Uqm2!8KM-0ne+PU&I>jy#Y?G@KScE;3rI#{3BGqo7c zX~b->K5>%^jrBAi%?)Sj~ zU}}gXMptuZ5TQ91-|*bnSrD^?w!pX_fCZk z%slKL%)B7H>!veIyKV+s^$XI9XFQ>Kj(T-}Ce)M)Hfl_|Tg$Nr$1NTTT#8;Av7)1N z*GnC0Szkz;4;cvRaPt1-mAsROE1CR1mr4H5^oaf!DMRN<7b4|q_@fO9Y&jY(I-i5L z545S0Tafhd^9H|!yRzR#os&0bN`H~R-hDxGtP6|pzK+i!S7H?g2%-k6hcjy*`J5e> zA2v_2^;Hr#E`OIJSt%R?B*)O{KWX{GK7D^7ALzoD@U(-38Oc&Hq~$9aip^2DK6<$i zn}Y97f-w?l5%LX2km**LsIeEpn+>Ry;Amnas9YH-xZxL~xX!`20euY;rGJ zZ&Qf~u>`4vLd4l~b^**zH$V~_k&6AYAQB~0sBpd zwU6Dq0E9=mL5hX`IjOCZI$bjszJ!nV_0GKq*QlS7T_3WgtT!rFNfoX)lW|d>P|RHK z-|`z$*@-_1x@pI|n5wbgF_9ox%ZNmGQmA9N0virro+n!p?u=?%7o)_UO}fK5iWw@XAmqiF=*C#!pwXpq(v4# zDNZQ6O}yLA&0dg`>YIBu2}N6&YaYz0VSZSw`1tf`Z$CK>#Jez4w5DrP1jcx7DqwMD zjC&2Dy4ZL~{d3&lqMpr)wOLypK7qT)dIINs-(xck)Wi3$IBL4v5RR0TzLwVfBwC}ZN zi<24dOcout3*^ui)$O|J^s)J~tGj=H@N)G#Ta_y2FAWHPJ_W=LdWYXTeV}apZMP+$ ziddFB@=kX@Jc@fHw)GD%JY>;*;~V}ZS4plSwdpd>a_x5c2AQt-(bX(%lk>-V9aJA~ zc-hy~ugie_Nm;RSf%HP5#S0eskQ-wEVbz9zQYn9(-L*`bvDDdmv<9{$e}!CObywTd z6%;!5vPMkUk=gBGJ0ebAvOFIat-HW;z3WWLx=r>UNVEa4heR(HHJ~EOu$aerhsU@h zd4DR76L|oK##IxH?KQe%1&()N+46UMu$7sE_kAwZwC~8#cixvKTstbb3hR<36xFI!xTDn%+u!KJY z7HS>20rvD?H^!cc^ik;_k9C8ik}>n?dFL~3cRDP+PO7U*wO)!}S<|um))j!yB>WEm zaf|L|65cQvy5hCdz0sdso93AzYrNoTIU*;0`s1~m@=mHQ#`oCcoY5%^@eNWAF|qGe zF;ql^WE(Wel<-OhJaN(){+tXWHSi5WR}F%~)u{9tH{Whg(dsi^-b-$tEYMwPZM3o| z%%%k-Tg-2MAHzXa0lUj)Z*lSvd;r1d7%dxY}i933hu{4nLvP`G35H<8L4 z#d%T7t_zDi)FY{|s*;yo_=GMh=G7HKA=+w{&H+ z7L`z0_j$b{|5o?Vi>K7Yd`+I;=ucP+@%x4IyEEW_E^O^$6`Lp8V+z$knV@1e9x-b zSRB>}=aUTL0f9_~=$43XwS}Y45qArh94Sjw4(P^#_K;eJypzt3Fhx~83w>eP> zW$`EcBA4HFe3O}q;k$z2eIlEVoESnTW^_3mE_(o+*to)Tx0nvpmH7Ujf*|afUw-Cc z`imFO%bwl%Ds;>9NLS+Vc@H|Zw(SlQ9J4!ifz{8Z6IviJ3fbh`WGFGc)fn%$)^oC6 zT@n9|S+?mh=*f=b|K#4uQpK}Wt)PU2&l)Y%x8fC`?E>x6etbJV`P?=%>~!Q zW+@ltcxNYMc9PP1fWYPwU5QD+;bMy4rIa>|WNV-SRG>Xsp%Tb3H)Nt8%bA_S_3!vC z81kK2N=_bSW+DvbXfW-^wcy4wjg&{)U2ET01aA<$Pu-2d_u)K0?c^^{-qyb-w;y$| zU2^5mdWJ-2SleLlZk$qDTp*~?k4 z%COyVd!4Yno*!w(B@F~eX&S-$^c@10Wn>~J^P>_cov3aea$?RFXMn%`*uZ>n_Y#Ol zn@NJsYaV6ycx*TvN{u!2n|;S$$I;W~Dr(P}q@>d|=1fxT+-KF~_TGp&$z33zpB)j} zWOd{~8((-K-`)8QUyP-!*Xb>d6Rg&o)FbyH=)$CjC#1Rx#$uIXdbaEdv#7|*i8)v2 zX=;pX5m`p=cFcF&{a7|sNWSc24^F; zSnf%?VY*CaX?L(8v=(`mif>zdO-+9xI&;(VgFspCCAbR=lGv(rEvS;+j=9rbP@flG zT<+3*YQ{|HJ7#U=W0=ry-1GlFeEN?0bGFOBc8=3|bEajw_TT&qusz9hY)@BUd-i7` zb7aq!aWi;4sjzWcxk?K|U2{SUc^F%WsegA4nL$f~{^54ONIZky-8QbKeelY*whp!( zGd{N}cg;Za^+k6=iSPW50;tjuOnIYKt!ml6KhDZ(k1_Lzzp5=i>>D50<6p!dJU zu_h@X-COq1ZugT>^ACh(ge~c8lM}*Fqn~`@P%SH+Y@;f}kK*qRm?0}~I2NC8n1N>C z{aEI5PaKBrMVghp36Rw6VTP9;0CXz-{ZHOk?~j*MQC5uJq7l9fj9eEl%D$258yVLrw7-5+%hVI)wunk2nHI_`>&v3Z(;`wh6>LSvd z$G4_0b-v}gwB>6T*H;6G2zM6#;j7`YsSyJ43P?x6u7EPIIqY}0f))+vG^k(!UDsPa z+YoCohnu%v(Ckq6swN}-^^su7j-Rl3NlU}a$dMad5rth~L~sp^q<{LUVGxO08D*~& z%7J56LH0_8l1o4?dq89u7(g zoSd*=y*za8WLgF_Mk@r=_HMBic*jg#c^iRcFo1MtbUo!8zbER$I5NI&53W`2`YRP) z)G=#v?O*&uTaqzMdvxJy8lgwGwxP9vMeVPs*E}ES=drDZddNN8<6@-rkyR}L z-86@WQKjzQc2sl|!qF%p*Q%EYjzQ2Pa2;_J;XyHeI^sYT_vaS~FVlnrMRZ^(fSgSl z*#v}(kzWWGe|ZH67Z>zijd52FlCAl+oUmAS!-wA?^5}VZ7Pv@sKC_i&>+=GbNggKo zHj9R`4yk{Wll7>(u6F10cZ~P?v@81SzL@*PsP=Y)4K*vOjqI|ynVrQw@oL?Rd=@rS>UsDKmyq1j&F0fC7w^dq$mI0!|5F8tLv$W>XVfX|UA z@~MGqbMy$;_6(^34r~J=HB6dyR6mD*df+1KV8HV7K>)9O$5>=z5O-}VPLbkf6GF;$ zO1KY>J5z=4)uwKAc7AMZ?imhv`j{b87_<4A(^+H5Z{<0vbbeIG2kB`JfSK_Rmv78$ zCAuV?wTMB7r?skyOOK)4ZfNiAX}M^mM{FupXC~1;*m~Gk7D3Ya)82)#&Q#^w*WG6# zM8no-U5Q!e-h05#G8Hp*FWq_Lh8JgjzWJmsu-zd<^0H3Ff-M=G<3yI&`QsA-i-h%)PDk$B_M7l6sF+)! z$*_wPh71HkeErG1*wyXHTm`c~x_phCZcy>EUQ5sOl*NwKuE%&9^JOmOzA3l0dUfjI zbCs;c{C?;roxUK|!Ld(SDvScA>FB=}a!E@53{>#*O*zTvI$|Sn9?d+A=C#H8)P#A{ zIubuElViCrIF%> zZS&eBnw5n4BH_5u!`yImzW;{v9H!7t9MI~!)r~L9<(*F7an9!1CanTS3?9kQ3GJL*G ztxW_`6-?D@D>R2nvGi|Q{^a8=(HZ;N^J{KryqVT%yzY8?#g$?^)syG<9;60slq`o< zdlsHcP`U%(`v*aZqf2~^8+Y##_(S`Cx>;{FWhQ?~9#XrAYVd#UE$7JP)?f*|IuaK5Vlkb>kl-EIc{ht;{r5Z4?{H*lD0x2pV zaUjw5^x&xxY^UenF-i5@f4B>e>s^MV=;o5 zXL`w!%r&Zp(v|444;o`GAjGpernBvf^3@89({DfRQCTQxc$qlMm9aX3=Wifinj~

cEhI`xr-yeS{h5)_+gD#s^rQu!*XM-u>&Oca*V^~#F8-7dAxR;9k{vT;!{H}?? z#xTk7=%Sbjw6UI~D@0stfI;KhQMT5jA^oFXmgi5C*X%!7yl@0lrY5euNbBHZ?t|8( z*N&clv>$!5M2Y5do66DZxspX4j^5nZ0gk?eEd5o>e40*G6g zWqr?{|7`l}bw`&vKOv81l^{zI=poD);ln|wVIkMKF&h(r_1IYOJo1ZquXt9F|L8_? zJHia?uh#g*W@zbqV_abujnxoIn6%zNU<<*9T8O7klO&)d&E9Yr?%O$&p$*VUknN5Q zX@jnAi}lUk=_<#~o)`ktZWs0XqrCeL4_!j%JG|G@u94a3USP*BW80IK6t`?0?hzQJusycsN%Kv{*-mI@f^8=st`?k4rO*!QnoOB;6i32JQpKr@(X|0UMh9({yKc z?MI|f(iaS8jzWmEM&_O4nRR8^!J*t9;01gpm1n?b^3kw%o`K`qu6SlDz65=LQdJDR&;KR3UYNSxc z2714modKesC0VZeQc-ovVopquz=UGucQHXc>jaEk)3|b`Pn{v~y%#aYUBUfj!vQy> zf>T=T2m}bv%1$6aa1DQOVUNH3ZusN;yWtO04CH8GNeZ18c6=^BQ9EzHq}BlNZ_?nP z@tH9X3LK_u?3dwAZ4f$mHEjjevh07^`#~G^t0@C2x!~hIIEDjrnHSyJgr0Ig+p#>* z?S%R_4{D6TLCyJv7H`e<$hG<~eCa0R$6eZzIHBj}Jdso1@$A?YylCs}E-=#ULPAJ1 zi?J}ASgANuqsMTpO7XyJa81%7WxNvJTQG9f@JrG5mydRA%K+b`>I;5dY;imcWpdVD z^=8@lc-Q#FP%_wSBZ^Hu(my*?N|tmK`Aj6PcG4=bjqJYG56fxwQ=9Q$%ej~TrxP@{ za)A!i7Hv??lgPt(GLMsdN1SUDElcfN7qIgCUO| z8ITxZN&#yzvCRDk8t{{I#yH&b_t!c<43PW16viYc!N8EUEMUt!15s){ahMRczcDm* z{Ii+Dj_CeZQe{frkHHh?Rx;C$^3T4BqhRF$ErdU5TJEP)Y70pVQLIl(j|<67ajN0+ zId{&ERV$8UsJ0n5W@>3H+xJ*dp+)7NC_C_GJDHW-J)I8%nZViUxd>aRgKhiLlesrp zx9&T}h8rYt#83FbmMG*T$X6qkL}glbY*-qN(@}WF@LuEV#tlzrj_tE7!+2E(2>5?E z&SSGOK62H(YBD>}6rKH!(MLfYthX6AEj?pTTLD=B7sXmic}pp6CoreNIMwKGp6;%^ zt}=BM#&xDy277snw&kR|p`H8w14Ez1EO)lO$>p|TG*+Ar%$g8F6{2V_5`PZ8|t$6WP%xSkZNxTu8mQ#F?UvDf=#9Zi!x+^Bl5mgFbyX z*O<}(s`w+XVTR#RP1Ib}#KXy-yY6uyT4@KOl`(7PT#2DK(PV@LXS}=clL~t#12Gc+ zJ(%nrtAP;=4`7OuKum$+@q@wnS#d&2SDrMRL>{?0N$)~$^pf8t&qambuYS-Ibl?*{ zpUQ9RMCkR5Ch?cb4aE&mL=8Oe`W!)fM9)abrKEYfs#fj)ZEJ>BmW0|P-9_sKhD6T( zAZq+H^WgF{Vt3A0bY_@vk_=34MOoB!;=pg?9UUFk>6^#v4c<6eDn|C@YAPo* zC6g+hM7Ru* zspA7(paxFwG5kN&y?Hp4{og-4q6m>ag{de?r9{XwS|n}LrV(l?l_XRW!knUPWv`Tk zk|;5er6NOi6@^Sj*-N&}h;cGAXU}`obzNQQK7RN8y`SUv9M2zJN0(;CoS)^rzh1BX zwWfd)Y!&Z)7Jqwjv5TW)TGMNzx~DJhp1PZSE4WQVC>F==U6dboD#Q(^ehxE*xI8ss z$Qyw~_N&}?+`X697!4Rpg&~$%56jkxhJVMMr1Dl-zY#8y-4!|8-0F=yaEcqK#lLvY z!4%iAZ$s;wFFhdzY{>?+Kc~aHgUhSOZVNIij8{ckP zVJ>vUYc_U;&>n&uhOzOgdCXc&Y%cWG9GT|W^eX0PMZ)930Zn_>oK9Mx8$OUC7r3P` z*N0TPDywIYn9&!ZQ#UUqhb{lQLC*a!oBCxXAA)oMzQ!*QB(5&puqz(4GJF=PoG5{c zu@ApRZn4vvOk}2z<;!IGW!A zlQqS0{E>SKR0WE+7p&+YFm`pi1QZn3*jq714Fb!k#;M~8#rW}~ReS6@rJqAaLZFdMh%CsM>7wkQISB6RH4 zvpx3{u^L2d*!Xmf6JbYv!HT5j4>lh*yxl7Pc5i7$lq#;ex+q|$w&b+uFMLg4sV03$ z4X(H*IM(K@Y%A{VpEs;(!y&uZY+OQ{8dR|My6Rrn*`A|hel;bFu@@@j_gj|Z3#*h9Of9K{P z#T&i%w!0`{@AvD0qQ%H1W3P?*TlK06GGRv0(vn(!V%wL=OW+?UDxdL?#S(wu$0dMg-3%5T^HrRGGt=Q1(O|5J-+0`!(D zm@s+$WswqDKKuIcM(>rdVwD6mmYpEvZGrl*mc8h-MBO{K>XowhWQ}Rp-rH9Oqv-=P zGUMeBr29$K!DRZ`#LvEja9TJ(WCrAz&7JPyn2LvBhe>`rV2wQN$PL4SE%lhuid zi7{Vx=#|z6v`RjtD52!tEVI`jlcL6QIP1FKXk%mBG`EXNsp`H&MTpE6(^3+kklSCz zG4eL&g>w};B~`eq-;D5_C&tXZ>}2aJ=Qk`+YtKO>2icV6dWWL;Zpu`5h-^b$5JxoH&eijIlb|iM%_MIo{4JD5=!qyf@Ij3GLzH zedF;rl6!JVbtR5R?CjmtRebigT@4hP&89Kz*++SIMg|#L9Rc}wytP=y*sWBL1gj@`PxIamE(kc5 zTyQnA(=8}X6NGw{q$;T}eHXBumx_Fe^vHvUbZ-R~UlW8%Pe9eoU+__q3KUfj01TtI z+no%{Rz0IcJ1s4+4t-{;wo~WR-UxktwUb-D#evs};ZFlysBq4CzB}Uuz-2V?Rz`E+ z7@C)g4F&C3osx$?w^*Wch|8^#fg}QxgTAzRw&{i^a+{$E4xc-Ur9XLOIxz zFOXfH$W4^273Hg1n}fr?f*3xv7xwHF9|wR?U{QhrR7 zoQDQ81>0iEp6_h7MsKzGsFo?PPx9gwN5nRMRSQ!tV{7WGE&Hsla+jVk$pFEI1I*2& z&z=`#GwB*XG0%MYL_Xyu0!{A_^jL3U_^Xq z3;H)-Mx#n}v|Bb+sX1rL9RZyjz6uyil8^Ka1l=b>bldxu{5 z@L-6Fe0{+#$CREub5qezbMr^uS z(V|Bu9Lu*TROn$e-f(fUbM5eG-Vo61@p&2R#i-wc$akKL??xCHZ5Qr$pX4S0*ZbS; zgI$?~rEH*00DJ!xFHV~ROeI;HB3?2tmCOxWgS`T;6HHC9T0-3He(f&nOdYScAae@J}@7Us6ecK>p(k-*DHX0?f@FEh$dv-rJZaksX&f`jlGn z@r!rerOhQeIC62)APg72YrhXTlU*D&1aPZ=g=>j$+Nu9&&t3bWJqIZ7e>*(J8D(KJ zW^V97J}rsay&h{@sb*_Nk)M8|A0M!rbkTAk!c*X1U-Nr6iIM{c7EL{cj_=NPzvCY%7woj)hQ|M4B+e`()6w<(q z4k|cfxs zOeBTX%NP=iVbunNl+AyNYw5aZ0D~*%u&Ww^-vlwy0g%tSwK1MibE66vB%f=JSsWs& zeWG1Oj<)6rLq38q{M)v+zMzWq?m4&Tw(-cV_wk%pLu+j^mq=d80G*ofbjou63_NBs zL><0T_7|EaRZY2mo<-^mUjiwOuONP5mIt|gQSG#E5UIc2!ygllBQv+x zzNdq#(6q?5^dG81RqZz~^&E9FubHyuOvHl=Lv|GNYp!u_vw;0JBH|>`)^)?l8I;%j zb)lF<0t;Ae05X^cE0csN-C%vg0uz47R6r$6medb+1r<!e&;!rqx+PVXd9qRz4#NS zT5OG~sku|~eNQM!uYA*(Py}?!G3C??$Q&a{mZ3E(FmP~*kyaYxxJ-$&Gq*=IFT!w% zSDWPr(@r(Xb2uL4fRUa%Hk*pLhG1s2w)++MJjrm+W=<&H_&e^iq7#{J@x_rP%!WwY z@1VCWUs8`O?R|hr4aqiMxur2FbK}6^);G7drr%vPkpJ=`{o3V7|2GqN!+`U_tyZ?~ zG_GHh?fP>U{t*kASpJ`aPrgP7HeC{?Eh6v1t(~(Q&VeKO-2i17R!U%QbqQ(B;xk{6 zLkhK68!kQQdE+p8EkI1>wEfbPiHlSYZ+tSVJ8qmbAP4-vhfkgY4ENeys$r6;Bi!TG z)*1p~(`Vfk{M;FC?MaOyI1(76#YmPyU^ZR~ZQanIdtH}v-|5gkeY2-3YTu?Kt2UO4 zv>gCcQ(wqrd~X`iiQ?^YIeU?^TS?*4GRp7$Q`N^baPeCYE#_1UFLme8KpXfD`noHmYDKSpJ7`w4Wctf9J>*ke%JMHRwfGG)5A4(i|G5@=2J_g?4b)gHQO z5JZ&BQm(4yy6P;edUmqeV&?`^{ochc0R$$A>_-E33J<&X+|ahcnGCW=($1Xvxv{4l zKAA85kS3jd6ZFBv4!6mK`S}v8z74{1Fl~^ScKZ@rs+WO@# zOZR21jadHt9E+SRjEUT0^}E6srUwu^y#QJ;EP$4wJHlPM$-60y_^iOow8JinJu0HC z3~EZBo^?&Uu1Ht?<$F4ptC<5X2C9Zxfr+XrBSSSOH3SOI@u~HUDj@7A{+ckf>I-dr zubfXh^CdQ2j+NGtQj#FH2|w+k1K35NZQnO&ru-#QYgvI+XL4whu(eirej!1!to5gk2xM=Q7AHv&IyP&U>)#!tt=_qkTuU1$1IMhuOE#H8 zsW(}I+AzmQw_I9VCtq5WCqG>$vDQJhHbzb6+tZ4~4qrmz_U2-SS7bu6fz|R#>ZjEu zm}ooa;0Llz@v@{O*=y?|Fb}r%ES`&;qopknk~k&^#c$DX06llQkG!{sCdu1Sa`g;^ z)XF3!jIDIqjFqe=W0ygX@0j2?bfx?jB2`mZbl&BPACq|}$HU&C@b}-valfuKonD`= zbdK~*4+X~UqU&WA&mzq0x41VEYCp+Dgo zc>A6I+dKWacbnvKY{&0FksW^k))W%A4PS_W85Cr(Jf2C?YL@>z-qNzqd_&Wcp!85} zlMB8`2<^d8Vz^zS@9cdfVM2kVJE#E_7U#LdEUT|T~Hdcs-vzw{kp~c6Nk#yd|1T>s37TJ z(m`tP;P0Ro{3OW8*zP*n(4Do^aY*Qg=aE}J-CkHXO<7cnm`t(zfE23%dh4S}iw$R= z;a(XV%}p12PfIHD}-XGB%jRQesj{S=%P)7-QYz9S! z%D&Oj_Cc;p4Eq=_(ObB^7N(P>PUILASh8fc<*+0kvgw0DGmr3BXd)Y zBo^a?2}~lsiN^Xd*iEA$GI=WGeiIG|l>D&e<&U-dQ- zxW%>x!td*|R+EN;;n<$#WrBdX@+>JpzCYmuy?#I2Fw%AU^fp7%kQNw%TND0~RZv^1eGd^-C$lXv+XpM%z$`qd*EHLUW;BJZC;Y*2eN_332#tBC#6=_|)zzQl5M7%YbHFelzi%~s{O=&L%Vg#zITzFk5s7?z zV&o9QoMw&XVKQN z$>F6ShkGV)4jeL*dV_F+BR0pSNw4E$+4F)^oACiT3rXumtJlx)6H%PzYw}>w44IO^ zV5ER-!VjqrB8XG`r4$2$`y->&E=iC_ft9FW;jwn|_=z0qg$-#B>@dPYs16v<;X00g z0#{;ZZQV*KMI^pb4{iSKWEOSwVQ)3&aY|~T&NxSX&_a39u-*m%W&S@Eb9B-05LDGBa57* zOYe4F*q&rkup3xQ*I>|s89GByK>B}N{np>g5Dz68G;CX7#~?5CSvMB5dH<9!)|04J z8r7#o^yhMB<1j3h+D7EqK=PANMH}n{DGzwe;+f80zZUFb9kYEkH1N1?#q&#c+WXD` zHf3!N_aaiflh!p_fMB2DJKyUAmf7QXpZQ$)dL*8)NNMD#nHr`BbM^nm(Tw*A?yk$u zOm2~~mmI%A_!RpccZNe^9^s`wKx(^M`Fb26MZ|UGpo;K3qF$pcWTJ zJnb+6RG0uOB;7?S_tawf=KK+MY&@UD)cp5PDmLM`kT&>1W1#BhaWY#Gwtd)+G~`ci zEqJpIP%^BC!E|u}eB=XK)9Rmy9=<9QDh-I9)?Y8cFDD(8IyU{qhyv5XuOWf`GD02D zi%>7 zbvdVCtv40qKSh&R3!Lpe*M4cdAbbcst%XUp0B<%Qo3YLk=4|%;tqv%$52aJntCs|w7&(!KGv|7|d`}-q{vTcqFl;~YoC-hjoO?mi z0nd#MEXQ+XbErJkYlWffH#W@2JxIa{_~QDfdVk_T`dXFh4gbyDYz;=(0KkS zTW*?4{1Nl-IQCz20fhMVVaAXRo`TYuke+q!eb8j7U&tBwj$1m14#XaI>b8Tr5@^+o$-hg}4s6=^-N$hWB1~;?u5bT4v*zM|yPSi10tV_Wmu32?L&u!wd0Ka}X3z=&}GQUdiw zr}`r16r_#54Zd0kp}moo3%n~LurvPq453Y^InHXnwkM?xpeu?n3Yy2uGZ!urk>p)G zGl*@Z((z4~*vY6WN5NZ~IoRLCF?SqjM}kbGI3)J9xZFI2JNP`?m!86d1FF{)K8jbi zYR1_M3rUfwrK`UB@*KxRU?mb+oRi)ggsI$3g$YCAIZ$G5B~M;7LVFK6QTns@s4Q;nd*=+GOr;Y6$BM;Xul9-k5Tl|L6%H; zyy6qi{%ER4pk-n9^(1rHkdGE>E;&U)&ipN^|z_XU; zZgRKcrq&U(J+CkRYdbOyhItHAQ;^@1OvWFUp3fY6kfY&!mUmNkFvy)Yt6=prrPU+3 zx0G)yoTZ!C*%W+UbIDUp)3($vG)BV$ z99k+;yd6^F;QnO?0xN22)wVq#WR0jKZv=ykSYsPz;XHbXTG4bR0qoQkyC*OQK%})r zv<`XxqJKsox(F6H0Q$ba&=j$K36cN=CS(o{2y-?7j~q3`M9Ra#E!}X-o3gl}In6ds z(PH=SHs^Zo2(NDI5_j#3vT3MlNBX>pz zs8~`K_*(al%Y9($MFf(DzAlZcSnRykGB+#os+vk-;eOkeN{j3!NjeU~+dt>-r67~!rBP-PZ zMz8ZV20{Txj>}o*6bSJT{Mu6fNK1Vq46R2yqr^>POgPkbT9EW znvv&gHcp}C9+1#viD6=%38-bljFmvSaFfPc2vK2sSPom^MZ$YMNP(K#oCqDn60%4} zTKmBESC4Gxa5ThjdRi+A$LLgcIwnbw;trn*L5JO_eN=4v0e4DC%akQ6I0JTkDU zbZZJQsKZrH)f&iHz!Vh<+kKS4h(&NSiQEFx$SWIwduYrvt-#rFKL^;}SFUa6rV75K ztnhX~-I;TWqr6Sg+xLNJ@z@TcT>iFs*V=*?>YFu*<`0?M9&o2d(NAa9>-fFxgZvxVhaAEe_#^I0Jef{pzH$4Y(iJ6C+bI)ub zXx^_Ba^2ssZJK!>`7$zz$D(Gr(1AC?B_>PYmqbu1RfJg^sBN_}=*Rw%P|+c;Iq#9j zE+5QJIn4{(-4Y?^^ziOsX-T_~u@rVZydeauOpt=9z@S1QW?<<4Q5$-;VV|MC#4R8E z4WqZ(cLqJ=6x2oz;l4UDW!Mi5L7(E1RgFT~Gmzw=ZSErz&dlmD6#*uyQA{Kd=$VKe zB;I)^!th;shhmK*``d3n1(J3zGTxiSgDB|;&CkTJ!302UEH4MhGaKcf`x7p7JZ;Y)yj3>ag};_3L9A!S3r?y3dceP;rp`j=btm^&eDWCEb7&2F;cXJ*G$A6+h~4jpSMg zog)odz=ee7>AzsATb>>Px9|;L4z!yJY#&}6*X&?BatT|odSTLiYhIQ}V@+?j_Z)_C zb7F`YURw$DPGNwXX3?rB7E)_IEb>8N=!}xEUQ{>Bh*X9Yi zTOI9?=N<_HD&A#dvY$@aEAuYm<|#=VsAN~iEDgZlGWRzXT}{#DokfZ@k**4F zL6Gao3FjGrJm5lMxxarrh0ybl=+d)4(7|IIXIf{Y%jg{b467T=uhd=NlNHp*UKED^29(_`z{`F6zfNxdGaiJL^wmjr0aJVldbATT-{c(1A$yzE8Ts7z zXz47GcCg-k?m%8hne){~gU<=Cmeia3ZFy2|Xm3QXY-M&*#gMl)aQchaBiv|m{=7n` zM5&5oLc$Ov}49q-VdUS{U z(E00&^sCAp>nXxWG1PL+lAs{y|5#_wml^~F1k$PeBy?KV&s3_%E8+o${~U+(KX z)tc9w0VsM^Of=vL?}^F$T-SvDpQEYl2(h#$PQi=?Zd=Bk^MN)87P_bjcO9l<<>A6^8L zIz2uE6oby5u{VMf?fw-0yqqNOGJ`)aHx@3~{B5E$kVt4x$7aHWYUIr=5N&M*5NXZ> zRFFN$%g!Ob@7%-;NV(^+6EB+}Q|l?Vgzn_n#k+dwz#6N&AM;=Jl&>Ho^ma+E!t`*i zDt`KIiI~`@wY-fIT-nz;i+Uz#STU#g z`0Q$f&=(bKM~{JWwZmJw%oCoii1VWROIHeju7AGP%SdhNr9jJj1bR*+>R(PauD5T-_19QL8*LXEV``r9B- z=gXsGZ6}3^;$g@DyYo3^rFL7VYTh~A*TO{}9pvCvX)cMS;$`+Ix@>j&*Hm`(XR`|} z+v;bPL?rutEz(yUmV=19)S+;u_a0_KnV8pthEL4gWS7*XX-|WXI=V~Dd@>_@)rtrS zW6jqqhEtX^UajVY9TOb2$MAt2S35De1qt{Og=pBKG}m>kQX13h{t?u%W3w50P@&}A z>;m^yVQw3qIVQ1P=cxI8n7du?uuS}QYSGbIYW9Rpyh3>Xd5}BqLZQ-ez>&yXq$2>; z5oRY1F01ulm(?~bjpJ|}VQ$^rL$C`~coBhqeOWx~hVG?Hx%Ho(VDAKX9BAxODmHq2 z(r%XPlVu(?!o#z`v8cnDBQBsh<5eO=cr{^!p&L%7czdLT$=z9iyhwfwrl2%|d&!(j zkStqT!Ch>l#Z{U(4Ctn6!I>iZCfN^g#;Jm%`5So;w7}@zkMU=3qZb$|lr(QORkrGF zq%Tda3{COw(3;ojJCpNh8)iJi4f);BKp<8;ANGos%`UI!h2HNp_6&6#f5N|V5Z$s@ z@*;-^-*bv$Th9--O26zl)0m^0dgD{B%`U~|6%s{hYB%utHK$h(QyPOXqtz~!|pXOXvN^1kDm$H#3?Eh%Scw~Jj0(2TP)+-9sfzNB^Nu%G^5 znRf-}I36ucxKsd7AzPE&j9u5oA#%d$loq5I+)vki?j`^^FHOO&#B$AWE6TlO=+7x1 z;EAPdT*?T+st(;7vb(Vs=vSJ*;|3$ePz38j|A{3?BhBQ>6t3JxNz_>jf95-G7ep3( zp*we7jcJ8u>-#LiaBc@}7Mx_qb_K3fZ3!Y%DCc3=VFYXQb$HBZSJM0A zp(mc%o?fzWNQl3fiw@*x#))_8%L$jepsL*gm<(5q6;t{W38tUB94}X=m7|;Mv~>R7 z*KtcVE|PAE5~)a!`>c#l;rTC373^oh6)R+It>Uaew;sJijwUdMPUQoPp(4k<6BF@ocZ_65 zvyQU1&`bzfs-5oo5az^U=l%kad-R3D4AxEdOL#iZFHo-%4$CGg9XDC^ zgjw>1;le&$EElqGIxf~C@0vqWG4JyV|9S%|gnfJm2Rr_P@zc~?CFjS1DcdsRoAz)y zcx9+8E}Y~RhY1$|t45u{)j*TmwSpVr#AJ*pdM|p=)O+a!!}ip}*Y?`gs>_zmN_Bct z19p>raNB8P!}0q6y>#AxMjvwbaQ%HlxD(!B!_vvw3J_FZKvcY!w!^VBF?h#ak+Kgx zKIgvEFz4yg4$oNjfcWK9(p_ME>H}}*vs^HdK^poR&sWNj(0!g2h#+Ww{R?8>9xaf*o&{@5HF zHq@x@wzxpOJYJ9GQc9Nk=s~Nn&Z)^yZ#}^=8|X^c85%p5d2jSYbdIdX zFiv#DWzx(pY{&0o+eTBBJKdtREhGFydPTlC_Ozl-E{smTh6s&m58qwEYVtF_oxBh@ z7f5&dc8G*mA$S?b9d0>LnpD?_!03tNL)Wk~jNss^?0S>roAv!Y< z3Mr0cf69E;;DBDT4VTDLiJ@-3XMJ2{UZ|Vc^(9e_j3aqr7J1s`YS+v~^*_AwqJN2* zG#gBfK%hh;QGhV%ZNeeLEm@~as6yglRID_)DgjY~?pICU>^Zb;)h znnOa<%Qf$`bc|g)!UJ@8=ENHVU!5{^FX`V4ICed)V!qDpt5?qp%@k3cmim`;(ccrs zrYfM)c!Y&-t9?Pe#Ih=8nZJm23AtTAdqd9F4Nc30mTCx83ky3qCF%E_w{@93jy(AT zl}7o?5)FWn0ED?$7|aRzl>%4Rrr2aA>c-iJg1C*)gt$$WPUqBHaR3wYytaHJXNRev z>k7MG3tb*@(r1!u2m^!6v<~+QJR_kDKG8%B-Moj@eL?rgBl&aX7mt`Er+m1+q&;AV z-0Lh0nf^${IgU!&5uVe03EIOz5w|L{GC%T@Y0>c9N0ropC6qEkmZ=hVKC_Cz7We1R zV0Y1oysL=A6Rm-igm$fv&M*V18#mWK7kw~G+G52?9JQ~44@BF~zZ-vPVfEtbnCksa zOyTx`!gx^1VRFovpEH$Qq(8oIG81}XFim;g9sdAjGcP9(;s4IE&1sb)*uyzZkRP$} zap`dP(+QU)GuE*^>>Hd^pG4{BDZGE!HlZaDZ7a-Q;Yj`p6L}?b`RKaaaNGVH@RqtRr^tMbFr&O zjQlivC&Ql7x`~WF_7&bO?q-gb_f95w7>c@w{jP=)Nr~Q>HrCC@*{(z#s@T+xofex{ z$`s+Gfle3N?BGf`f0cE}yz{_=4aJ_RloGH=DuoNV2BTmm8DwyhW;!v!o z&_;j-75%VN67R^9H*%y^6wQATzxvGpm)Mqmw3ht#>&qaQCF)_HTh`5yJsDN{D#dZp zF8^X7m1BZMG(Pkx{2%DkRy?zeoMpa)8CdcIMg{}@`|5PG4X0Wvs>R`iUH4BxV5s9? z;%KRYZDdqK;RP%d@>rNpIZI-DFh7NtP-m@4ZL&5`J9ctGXh-vh6?^TZO9iK%#2t*A z%~gV}Yvg4RzEC|N8Jp$`%&~5qR@lVZ=*2byLzsQ+IqJq#Ewy$pCCY8R|K9dqbbDWF z&Stis@WQ=QpQl;OTQ4N<^hCLD45FM#mRau)eo+I&N*zzaFB0=At-w0?ztOT5EHCKy z{GW^}FOc#&wkExU*woz~6RgXra+^Wi&1?*Jb8|IRxaM&0acEcM`=M8_EYwDHdnxmo zpD%WN6y=ntEX)ktRp+L^zooaaT_~bf++QMUQ9Iy* zP^5G}p856a!PFl5I0%J(y7ejj;VGiaDWNRQiY3m;`xMt{P7x6zJ^hl9ozg$pv5$|S z9V{Ibhj~mu&^kFf{eqyqah-_+1Z@W_1nh8pt4P60xQ%?c-Y_wcEI<+G&M(XdjssL{ z6Eo*E*HNxC*6r@ufhEV?r=IpbELbW0{M@ILm_B-w+1-9CJ?HOZ>#8K(8xzrVHzR4m zj(casO}oz5Xb3)`in6Fb&}=Ma`eh?8X5TvcNdDVd@oWHyrbMjw(-H5#dn@&}c_Pk| zJPBx+M)%h27!>vBTbBoj$()#-(Z2OCd7GrrOwU9~NDqF; zE&T}t=JwHULu94pb_;c1sL>XM5A5SCU$nSY!AMP{%|F8mHoq5_*Ot%}&Gtf_Iy8)I z+9U&G)dO?VEZstes;f2Z&8}|JCs_(j+qq_B+Vk2cQ~~(CznP?H{^cV>0(0pXGddx% z(F9qu5Az@L{Q#OZ5G>H7FueC>^kds=n|69|cB|}OYxK;TCF4gv=tY`qF}j^DGauuc zH|neF&!u;z<9rnEQ0PdGWI(nf9u7xGOi(s&1951T`4WQxsYIFN%-(Z*?h9R`^TnQO#hKN~Dh9Hd;t%ioN$#+UB~Boi82jR% z-sUc2ncPk}J~O#2=XGJY=aQA{76(|UPQcZKW^SC@wI}coF-F_GMi5kH|$CR7Z2Fyf_aZ{e}niLTZ z;pIHc%P3Rn%ZyfZ?wkG1v~lSa#fO7!QH+ii^8?qiHa#dg{pet1T9fa?h1u@Ff=G&|R45j!xQaZ(UxLHxYh>b9ATR8`GV$ zOGCa^?+G}w*JZxBXzv<AzHQKsSc9V%LJF8o>+kDOwys_C#ze!zZf8S|VpI#G zvDxbJHHXiU0QoJCx_0#F+^M)I4_SeMhX4IA^?%5(biG2zwb2)E<}JtBg%qzTl*Otj ztLu%XcYYMMc}LaVYM`spRX;!14;#vt>upn(n;TT(!Q7Vg@ztHiWxOF^ z_hsX`H%;-G*`&@Gt_h9p1eJX~0P{&61XGcX{Qu~s3CwW_0P?X5t^CBzI1uKK-w5}+ z$$eAkr*d|qcycQk*t$P+K_ag4T)?O!Dc4gg?w8tkNOtVt*FJJE1 z6IB`|3^24(!eq6IzEKxoaF@md{Sxi6i9Q;92Yp;3&sJGDfxyX7e=eg&ijmY_a(=1u zI^Uw@dsL05%Y7y@KS?q+V}V*Ae*}FPD57r{?hKXVD8oF$cHUjum(!p@CPaqLy_|PA zhlG`orJ-2~)CjSGr868izKbc%`cQ_e>w0oJ;GLcQHzRaj(fl=e&R!6fv9==nY0S;! zF>O2!p*=u)$~$NgAD^!zKTXJ_ab-DeDgE6XBfxA(UgGL@D6g}8Yt4MAdwEs3bL+8Z z*WBJ8c^Zn6aG%T#%FT5IcoMy|AyFu5WN0H_7ShhI#%{RK+OlbnZ@s=%mQ9gl9m;;2 z<>%DDTudCP{e-Lxz04}Zt(qVh5 zp<~W2+?A;xdt#)EtX_QETm2?~!(Ph}`JJT2603bZ(tuzIQ$9|Ur>J?jw8sY;$v+DW zrnc1&e0qA+N_umkNcuc8d(r9L$D;>KRXoio6-dby#6hN#6>|Y%GqM7}zAlnAuy?da zE@fIxk|pB`LD*c!*j4E+9b)&F&fBNGIp&N<^s5D2bRN#`-gEK(K0+S*5E_q4 zOiA9^M#6BnE4ebFkNlLJ38J3eZFw+-YUttE2F{nOH?iP{3muL=3V1#6e&7DBC-b-D zttebuDR|`PiqAaWIyC*C72iL?(}h%fYCJD)L?dBqU@@k-ciH)io7WultsU}1>Q{z= z`aB*zoiH%33hFTxFKm%|NYo}y)O85x=Ru|PUlIUi`1e2|mBR{WA4I=7ut??c^WW$y zuM!h`xl1BpX>)C1``Y_c9FN5ut01iM(PTgK71eAfFw!tl0T|piXN5(!QSrxCx1@PK zw3@MYkxpfL{DPormXn=ssrlLM@dC3dbccY}=y$Ur00T87upe*u7AEuOtRBK%1k09( z!VR!n1+jHfBWVttrjq*Jtx0tb4yYw}-if zFgBJxi1KY$zOr2ZkO6fAF9B(bqNx;0d%H08K(w^XL@^&&I{?_GFq2VxuD)Q;knoYq z#&;GS5>`B5{6%nlhAs*@=u}wisJ+a3tV9nP-=fL>l0)%Ciq|2BiFk}onE|RsT){Ml zb6d;LBgPHs_p7v3)iQ+yjDqf|b!V9J(SeHXh~9U;XD@E?^V{vmM<%cm)%<28@1~8%;2y0a<5zs zYquO-Pg|~ESv(h?XHDh$4HEh;gSH2??Q|bzau4RKXt$6p+OWsR2=>N1)$5(O_>P=w z{j(yn=>TJelRgbmq7SvEzF<=E~3;4;?Rm0dkMoV1Ug&01<+4sJ{FwaShb1)FUn}&T~w>$ zS^UihExl|!L(1ZwQLS|85s%!=cnzDgT}HSKD_(o&nc|x#YdIoR9PbLDi(UxhkjW6t z^oU!2p~)0@-Sb`woE+rf)eS3cdoYFij2z9N^cOecH8;kRtV*)(pO(ESUSxk?R^a0f zau}I8UfV2+1#;JD$KKi|B6|oWL#@N#mO1FFV{C7cV44%wd-k1bZm8k{ zWQov_`jse2^||5zp?d<9JnFFjyWp*ztWn-6D0mGw0iMwwq&vZ1JV1uLDJEe0RuizB zP^A9W@jnT^;zO9N49(8k0K(DQi?QKl)LBjYkFVZyV`=uzbq6w^m(00wO^&g^qh8>; z%r&JmRUI?~Li-5qv4a%(AUmFeXF23zChc9K+L*wHQS|`*=#9My||46#c zNgD@a!N(!MN#U#690i8~b%_5+8~#Uv7lFYB~jD9rBhO#Ye8>Fd+Gt z99uOw3kuJF{ao2pTrBKL|4w=^aO?gQR`LH!SViX#!YYsD_%?iMv8Bl@bdwh^kA#mq z`;H~dhaW-C`9nOY6sl!upKBQ_*%fF#XP4C%Yosjgre;t9L2ZcP6ZXz2B&TT2!hySA zJ9I0Oao!JYe5d!IZzIR*RQzt5O3OrlJ12S0@oVkt#*7|jav85cTJmGnVojgvWr$@7 zHeHINr1H%9G1R1?paNPlV{7lwJb<4OVG>)Ln%QS~w_HpXc&}%QH`Y~Ju4U@2C>q#rz*>h*=Wz@vugDSw<}g~O316B8)VYcyujg;h z|NQj4)`{&erLHZ+t)8~ysygtac$NWIX|ani*Sa?3oI3HX zfj;61K`Dq^!QlFYy47n)cwwaD4VW0(gaVc#4GP1c>2xouv^O_2-up`}twp(y^Qq{- z%jT3Zxv@w|uCyWBFfZPqvp(n6+vTvD!FR7$8uaASwwdoghSQ9foPUe2Ch!(1K2c+0 zf+}ETkpMNxlS9k#3D|Q!YQGp7BVC2R{7VV=mfHS1>CmKj&Wskup~Q8BF;zJqK|e#f zFIGLlK>QuozZ1UZaKPg6DZaBvgo{(Bt-+ll0?C6MkP#Q}4g>09yyUoD(nPbEmQnqe z7}JS=#F%#eEyfh^LyQS$Iws}X3+0_I!Hp++bL|vgy&e6IJ4PDKJ0{sQ7stx<$rt5T zf`9e1z$zGS1$k`7*+&aZ@x;&=IG5pEtI#q?jat2sWuJK1puUUhsphY9C>d^-nEf*J2JY% z(PwH)o{Mr$Repiv)fMHO@;5~Xx}W2Gj!x5OQ@fz1k;2FP{3@cA*+`2dqKgy$rND^e zqJJ!lU_$ACCU!OepP$x-l*ph@gKD(Sg!7gK(4r1hIKQno=p#4MxpD}$C8q2cYaFZcSvO^|h=vE@w!e_Mt zNU;{-2q6H|dqbJ)akRv8E4jqIaXd6>b810k@W5f|4SP3nOHN+~PJ!_S|9i2axBm&@ z<9`V7COoPAZML7$#5Dw0^eSP0ifb=Lm6s_S>E4f6Qw-3> zk6#3PF5fD04W}&LG8>z^E&YKjc4GpJarfU?jr}ub>2gJpf4~|^zhbL!h>wR(4p+*- zI^#a?zCC;dA7c6`3GwivkLH`=uLJu*_}EGxbF9Sr2XZ-|#Mfn;3STK&uL0@TP5z;< zBL=r&EA031x#Ed0hf;CZOtekOm+GlajiU>;M2G>$NO{kzIaQh6=6v)Jr=*4U{C1zI7+fvk zZ|mT5Ao7Ufw2?XT=Ge6lq)utyZ8In}e{fr+`tZ^DSalrbW$W~_hk>hZ!R^jG?vt{X zLch+ms37sRXLuuRZ~e(dDeT<)z<%@-7D>p- zA&zlxVwfKKMtGF&zhTA?+$0y<`W=VN;U4?fsc)&teBwa5xq%q1j%Uh{ix<4XACHUX zZXK*~=u7MMg@K!{iuaYRoxAm5Dt7R8RXK zJz}eg&8vzN=V0arGvjA*YmoLl?zuJHRd2t+sd#xD737dD|He>S#&$SfYc;$v2ZZ9j z>EQav=y)J+1asq!F#Oq8$OrN#a?ug;zt*tPoh#=a{ywQ}3_j(x`Uj+9*phoiCTGJb zZr`v!Hr>+A72!B|Y^ob4J-OIFa%ksk;~eOX zjiS6m6gt9sE!VS-X5%D^a9U~uvBdW<`POilmu4bavETy;ZM~MAxi4sLi&?QE3*Vb>o0{MH<++j=iYRAfpBEAwRm#_o=P^`U|Ur? zMtPT3CtyLxahOK!xlOxTq9$N=Iy%%bQ7~NeV-OS0Bexzwrko>jFE06x>&r&QXHo~V zdVckBRETNAnGo_qE-I43QbNsUI}ps_oF@b$%yoV(L=)fnSE59vrcTAn+dv5 zahbOCPDF+vwWZv(;@s%Di7p{Dk1Erd(HKoPoTuPuig$sS1S0E$wc{F4sNK{6|B)|z zj@qz@MG3RLB~!TOsN;Ra5%t=weaS0fv6bHS!^aZ3Zb+3Y&pMr?U)e#sa2$J1XuC!m zI&1=&3IfxF^`T`r%K4W|POkq}eKOMTl@G3qUX;KbCcbyYLI~K-90F!W%^xBEDm{xs z$h3dI0;pDkITFZQFw@n0AW*E#;hx_Cnn;6OV;Qy*jFE(Y$6ZM$!fYNKg1|eJl7!(M zP-VXg7IkPTGI#fO;nAn<69748VPq#k+?My)obEKY@Nt5j`RC>jz)bqSeXqNwU;r+x zZT1i_u@%Rw0bX%6Fn6o_5Ab)0AvbdCYT-b|gcIZ`BUy3^SSfKZ~Bp(Zl{H<*Y z&fOGWslZ)5$cBS+=M+eU?^_8zBn|x8`@k3D-M|1*X0m`q9SC)TSY9HugQIbVx6G&S zKJU)w=|)X5N8_CLEsy*3!vBpDeb|^BL}1#~jx9)-LFixU4#_J}5`z<*^neDmywNfj z0qzOjg90*3wLLzCm)ZVtr?IZnSMM7KTAcdl1`t2K3gY9hcH1i|9iW$A**+~S8mh^T ze{i$1Zt-RvgiRZ}FR=?+HYfm-G{VgpAMWXlKLQM$#sO1 z$5-AX6J^w##DdPfFnfl~n%rwcL!F$>#OP{2xg`TxhS$y(Da%<5%kg$jN&$;tsG_UR z1TbUoAKyp51OUwlFc&9IDa=PLIU*Pw;W#T|knycSb zah|4_&)GL|csr*RuBZ0pW7ENuEHr4tj}JUVdTIbAC`4$dBYAk9OgQ&JPXhO<`Q+Ul z=iTuo+ycZ&MZXqj2Un7p$~9mqbh!HyGP#6W|*LrK^-KBZCHO&xD9FN_a@4PTHy!!uX z?>obq%+_{;pdcVcIs#FOC{?La11e1fR8*P}6%Y^skrrww(mN_BXaE6GDUl9>gdPy- zNUs4!nk3Q!B$;oaGy9u8&X2w4>~qfkF+aF2lPl)UyWaJb^*s0e+za=p_|`iDY>D(|w=B zd{awrYGpqn1UmsJUCh%e@CrwB@))PW1s7e?XmmJhOWLehbX5e;F1>6J1`^jTWhjt6 zRQN7}1^>fY<}%e+D1NbPG@cTPrCf3E0#pzd;^dAnr5jq3{OE-voSP&~4zkMwGP&rD zcKvjj%a%)(6{)9BD78UMHU@m6NT)#vpFp-r62We`0a%5iAmy0C)z2zf~dZh&o_ z8w{Yksw%JL+Fjhpnb!MOUBq`)u%7Wbx!-snGb0qkyT$Gf=0hxjuLD)Wwm2d!rP>j? z?N*h+TsH^aga?cr%Nd>S+!Jg>GH~w0H%5*0@)Xc0qh+_3fYVtROou%KjCC z%QPsX{{k6#(3s8|AbLA}hys06-fx{c*Ou&Gpq8E3qM#8sCsB8|#tVme4p_m^C8hMO z|MjAn1m$DY+vJ~ZSCpj2yusH+dWaPLoDsLhGq`e+v*?cExyf}ITfFKYEnm{7J2}lGKi~V0?W&P!mBf35S zU~Ge#0!R06_pF#eU_Cbpl$2H+2`!*g@n>%b{*^?b65!ZPf&PLp$x@(}2iX4F8KCo~ z>)UG_LH;o^f-3V5^0Gv>Ud-(A-#NX9R9hi`df-EvfYCyKI2;10o>AbyE`SK_Oo%7P zra-qfZQ(^CRjM-+7=Fypd4w$A12Cc>8pDp9iUYa@nFR4>BLvAT@Ly0i4Ljct2npCx}(vAzh>(5GrS1lP4JBTORIqa6Wx6F9+M$!;7)? z`svXM0NvrPH*P+xHNBc>styMBzM%56Qh>^*W|aus~Ci= zMGnJEp?qM=LHJcmLT%2B9_hrk!b|t{utV%`4+hb=xk&VB>r9Tu2t4VM-vFjx&+K<> zMhG`PhujLm0{0>R1&Tk5+s)+XU~95Jlmp*r-(?nhYL^O`uH_^Oz{21MRFC6v4CR>U zhLJ1D$rTd8vL{MHj~ry*Tb|62B;)$@R*||QNxPD$kN0YUvP&#!zmg7`fbFw?{UapR8SHi~v`60I9iy!|9D+R(wq!KCs0BCE2Vhwadm(y%DC%EhOtq*YN=OHv@! z0LB_rRX|7cMaa%MKRWzoi~dT4qB6}$-^B5fcmw_W@k9_SBSYOSymg3cY5z~S;P5>m+u8g0dx96S=xtNFHLy#ujJ~{C)w!Q%9o@My zQno?qhjN|z1@ffgngBpaktO|hDt#_MhGy7DF1hJx>_u8m;?H$$o$LaM^q>=Xc!pl` zq=-L*C1^l1yf&dW#i%cCvsp0mH!$|^X*%9wl0!J@EN1_m(e~D^jizU`NFopbIb?FG z7k#ShD@ZATJ{Ap^pQXX%oa-7mNRAs31E5i$x|KK#RtIN9(FUci@F`+`Fmn3h@U%CK z@WW-`!`UnExGw^X#8B7L$(?Jr!KC&;`ISSrt@xrFW$Z^X`$NN%R z#zCo6U+^{bpQj&|!mL4IkjE15w~hEQV(km{j-#5EpT&+H1#9lL96gO>LO2=|&Q5T{ znXU9aMZQy{OiAx@%yl<{29@MD;*GmNA2>F*YP*{jFhNgkHZ;Z)Eljd~?Fk@GUAgCz zyPW$PSuZc0O^%b3rf-~Cl%~O59*~k6HATn^G=By`r z77n%#cDa6LB79RBHb~J-?x)(Y!QihkbF{Mo*Fqon!G*?d=cXZG_$|Zlf5W7Sx5c;! z&n%wrDieYDEAAX2K}yLlD5vJ3bkb$v-8ViSu6a121*t?(+NnQ4VxLisS3nWg1py!< zX^gKqUYSX(@J^8Z1#%d;<*lQ&d%(875R3$~Z``m$>n`LY$(Vu+81=jc^gbXUV(5W| zU3&*COchCb1nNoQP{f6ziv(xtmR39GEs{0a3?+}+-w&m_o>M;OY^Z$e9rcDP2!&{(8YpZ#M}uZh;w8!u zc#vTQM9hPy#FFp5>*Fx%t}SKI)0^D*F%T7kbSnKnN7((fkvU)<+J7QBu`0kxGkpn= z>Rzdl#W`|&7>F8&f@#stEP9Oi))TD@2-_R=v;}_PNJ;5|m3&RyQ74`3^>B%t;3}>y z#@9ygZLZn=`0!q%gy)6d2qui#d+6%Xz)-_d$!W+h`MZb{S}R>Jqu1=aH0sB^n^ALHu({@HUsMT8EcpK z1`DaiaA@m^zM%CRj6^TX?kGYO{Y>!5$R(8@H{9*#^RGr6-%S*r!-(%?G8W*vqlKoOyM z84rz=n>;u?N<^Fy9s$7dA{|ix9FN1RymZRuJIF*Qzjb()69>|F%rM$wKvf?MeUc$C zVZ5X=Uo8ai^n7(Lw6hj2>5_ly@*9QE*eVAYk9~k-H=49-JY{O4mw#tGgx1`!tF$z{ zgswlSwMYX82y8)(!ioSTh65oWM*v~#2PY>H0n+;KoSZc>JJmPPQP|~C{eH8f-S9?1 zHBkIqWBCL#ULf8v!@gWwJM8^?kubUsg}v(i7a(IxrrSvd9^skj;{<7}bnpb@fGB_n{dzH(CRt1a;yo;k3dY2{?Z{Ai z`B?E;%^0E}DF4jJLAv+@defl+qV~+wE)nT0@@UpCD}v_+QU;5^Zyu+(CR?L3BQ?tJ z+9^CK8%e;Njdpd%;2_Zele3;69i+E~DU!e-K(h4<1i;-Ux`={yqy%Yx3?v)l25;0Z`m-=4+-4zR$G3Y{tvc7U%Fly9zbB^aeYp#W5c_p|;TePSdh3 zW|o(%2?GKpV>;~wc*9vxl=1xG9SF<6#&}TW{0%2Kx3GyEu`}+IPajdig%xF6Hoi2S zAZD4N7^3aWj-(!!7O_cEVlOV1Nw^YpI8FzrQdQgqYEt=~9h5t8u(kDi36OZ= z7Lut-eE<9nwObLO$;ovQZ@~d}HxdR!QnZlZ5GnqiWH9Z*MwB&6Z>&ApD=jB!K6E6x zlQQw^<8BtqEBtgMOy_VgX#T8G2LKtZhp&4&2yRU|+$@^?xk|K@y>QtQ&RcdnSYfh( zg0RdftxHP?h+C557#Gm&$!Z-_XD5~g@v&yYH$mDDzJ!*7Od zbeIK4xlr`96l~#FCk6CN=&#^F$)gR%;dgQhFeopjPltu(+h<*PSA-{p8&y=+D9SX? zwI(bd5KWFsi&weK^l=NMIJ+!b5HT!&yX2~8=k~RcpXrGX@WsXO5G$)oD16* z-dnk^Z<~~#H1P2C^>*Ux8#53(ZkJ@n^K9s8lAio>D%VmxV4Yi7ydj8&0g@5Y;G=uh zOjX(25Th`q>!_m#_!8e-%M*ua@*nVqEn#=gP`b9Im!|O*Is*Ymi8mW4*oJL6F3wHf zj}MK{NO-!6V+B=rS)U*%17)~&3a{fXfc|;WE_-nZ38*|9U$^E`{Sp6C*cF)Y84N{q zZQLZI0)&W3zjEvrw?BS~F#sb*ceS@PdG~o*sM}STUAnT}pa*1-t zUAOuB6k=Dy2#?+y@Bve@(g7smS3Zg+eO_4bSLYEyd7G9dsc^K* z?#e&*l`;=QH*SIf_&0EHCO>IBCGGXR8`jOyV_!Psy?Rv%0VUSpPiCfj04dt~r)P!9 zrgW!6JeCdnw7MxGMC*(FE}wKImkY|$j=xAXqq`h;s`t`|54uzu!l=CvUk>(*8hd~L z7vM|j1sKxwVx2)Oa@#%(b6R|Las$Mb2eTm9)~bM>$5}b5&Bz6Z<3`4M8qi<<+AJfG znCeXcVR>odPck^@1zHL{GpIWefh2^5pINt`{}jLP+1`Bjf`gJWy6Z~Lm##jNay}~Y z{E&Bw^YG<+b+ZD>YTyk^NK+(-Khk~DF!ie z96AIxl@2YŨc?~iN-*7(1gA1T<#D`?3S!}2fja$FT zgge9pz!WM-sXDtb1rGpI__#(!Y%cG`ubKeKGZ+@e=*|!!=^@STz~$p#Qy~H(I8G+2 zm)+!g2I_7$C|BUy{*9IXInQkSliSPNRM}7<9>KW`_icFLyBeTe6T=It~r#=U&$9;Tc_{bN9Zv$>5m9jTdcy?W$Oq{42R50Oe)o`$O zr&(*?qlEtKLgCBY(L;8B0{)E-q#Uzi5R&Vkg35u;&QG6olW2k%?MZk#xa9KlJ_6i~ zKWsJ)C^(B2hm%qP>>CDJzA*BUsCSea>{M>BhjbW*){hy#VwQR+4OD^bQ$3%!N>*7j zwA(o+RBKxT+W&WsNRZXDA4d9PBAv+wj)3RS>;bJTnGpa0Bq@-APSRsIFX;S$8oqeb zB)2L*&Im9N49oa~wf2$*9qzsu=se^#Ay}TMWZ%YZ-69*(3_+@lXbN2^fv%0f$aE%~ zy~-x5O18l4Ovu@i=<8KTZsPg;OX3Mq(yO6LGh}+qi*w(laVhpcqu1r?utK;87a**?6cFZGFK^n=25-E0V$lu7kx%N6Gv zsZ!nNxS{gX+QWVV{R2G0k$Uv#3QDPTjZWKcUxk8$z~3&+7jPY;R$us#(3u(rORio z0k&__%weSPm8-Rc8@x2qInU|tgA>;5_tek5qNev=j3R0LiH8Bir3yalGLe8?g3%u~ z@&7}Q`B~XyeGu%U0w^J5VvqA@C+oHTua4isDSTPGHaqhVnUO(}9rTGe228 zvPH4nC#>LkTfn!j>%D5#40&yZY&RYW1?(#4fH`z-8qiC>PVV~w+TBI`AP!NQAN_!w zUjM#>+5RItSbh!p#{wT3_?e%!FWQ923N9E!B;zY);6dsljwo?_N9VI?Cl{msuY%>M z^%qIvdcA;2G9s9KM3?8fY(MBUg?<4lDF3Ta9R>M0Ld$Qn!cm~(3ecsZONr}1+dB0~ z26GLF*ynsw&q03qOS5!-f64!rfB*Zp{uimL|GeV=4Y&XA-}+you>3dN>K}i@zkln0 z2@L$l%lbkD!Yh`oID@?X@}61bl%iHmJQu-!lFGF@dCZ7A|COKjjC`;0 zB^P=I9q+3rQcQZz(%n@^7>h}|OKT2Ue=puz+65&R)R^TW;7wM1mU0Ux+XZz~^c6TI zY!cYL1WV-s14o@3|M`_d;!Dkd)%w_$L&tLrwGked4nTaIIOZnUh$+(;-VT3<42H0( zzJ8#U%TU*NS4EqTsj@Ht%otKHjdJ*em!Moe@+56J!T;kds`eq(lAKBS7cj3-)e-HG zJkpXfsZ8Uu61nHgf{@8G+q-8aCL2ue-bJ)#9M~3b zR<$Nz>QfcNoy+)XO^e^vM!Tf2-aBI(sLCintLB(pLM*|5`*ipWjsd3blx6>bIQoVJ zs)1h$xv;h3X^p%FB@RXT+i|(B968Sw&OH%UEuyBqU8whpWIW>pts8O5S&6hV7?e74 zk;Xt=^>G`0^n;N=6=m@bfG9F*v^xHgO}FoQt=_mkwc69}7hHvA{qz_Db@QeGV^2oE zlLV$z^zGZQ-c!+A*K1}&+po{0LcZFg1wjosUkNnbq@W~jaQJ4m)Cu&n5RFw;5vY*Q z9kOu{j(t9fanx=$>Ig!i9#W0;TSUQMj#xaASizY+zja7YhleJlH&Fg1niEWwk1aE>FfGOph9+%~>eVE7yzp&~C~5Il zIoI!%&PsB7Zt0NKgkskhH_-knep1XzBGl^I)H1`8J@u%4p+ytrWRL0*c3DRQnf%$% zZy8C}i3>tku`^aCS$>F~qy6&wmd+EO=?LwqQVc2s&j5cHxOgG<%!W$hR zdG?g?xENNrxZ0#U*pzD8-m?T^R;`{a3<7tR>A%)!;YKmci`xe~Bix;C#1hfPN%cS%MEf3zo&fR6&PoMELPSz?UlepL*ApBN=mlN&cfA6(rR%GLe zi!o1q+%))Yck31$SAocdQEBqVH?1)4%O%xM#e&9AA6GwT5+*E63+*b(`h?@gEyFy{ zj!kQ-ie=8u1ZhCEd*BKVP~LURn-jgHF$6dQObHbm_^rrf-P61fMQvSfB)^zC7gstC z)d+98`ldb4+)%@$WN6AR>)_WAXT+ig|2vN930`7J-k7SnS0tF%<>0T%6#_Y6`=V%1*ArTl zu-C}PsE6#)P&~4Eg_)SuG*TX%vXL)2XS!5VJeqrk`<5#Ht{$Itj!$z>m4#Vs!qrN; z2~)pN>G%{+r52y=y;0(!c%2wwf-0A%&$Egl`B*9A1LL*#IJU!1dmn3jBtND?qwV=6 z<3XIy1?rb*$$oWV^8;rZkwYu&+W}<~^Ag3*#@s=Q0@+T7*T+s3de=(dR-6#7tiYFt zC{$&dAJLOq-UuFqd}FD8{g65j;=Q6FFsJ3ca$nUKh)zP!C{_(bmDaGUUP_NCV% zNhe8CIbq{tcBwdN_2Y4O{6MvEp8|K z97Ppb9(FgAH%-L**q)n(-d-D>z;ol4t5EoHFL6 z1>9BO!DTfl3>>*2yX!!fN{xkNxclGlsogilq@hMI0;PKZ%KZJ`zX($&)AH|?JpARj zJ@sD`yxNV?$CL6@4I@T*f~dkziDIS!Q&82U5%_6+V(3eR^_4-WS&;i|_5Ch(*QLZ+ z5A4^v)-5e>!P`idJ0vq?u0!#BDkh@rW}B-Q!@0#=^O&Fq4M#gO^@LFdKB6&l@jUSn zgX)KSXLi)11)ec_xkZq+Y;|Yt5H}+3nbnWz&5x8^$LB`WSZ8--5RvBv_TWD@DBxJN z)_ZQWe4?E_LoySIH#|n&7jVe2J%9e-sKwTx!dshkTmAVo*Bbj4fh#Mq!;nq1R^1v} z3~xCYx#TDBHH}${DDW_#V?f9-dU_qED(VRo-lH6+D{s7GG?PxIk~1PPr2hhm?WTQm z-Nz)&&#V`4SN*s=*i&EjEN9rDywBgfK+sy{-bj+I3_OYQ@yd^1hQ%S*XnJ6HDI`Vl z5+YU2?h4+<6D5x?c1$tuq&73{cucwW=$1GAT@_GAvL?`mm+?E+7dvi_^mC<5c)aWA zcq7JRxE?oh{E7@Khs?S4Hu+(NXE+SeEcLQc7Q)Za{grNv?ABh@=61!lXB5=OZbaT` z0y~_kO#dkUQF3fc%H;q zpZxTV_)*o)I#vyV5JJ1f$LR|E;Qi9HD+ebgM%v^;O-Hp~9j43WZj~NYs>>%^UnO87 z*X|eB^l9h0W*|bZPTyhI<`vg4Wf68>(h2xD>8Dpb2!Q+c9T^UHq_b*^o;ZPyd$Q&s zVO`@>3}Z2au<7{lZOSXA3J+X+S_jjD(>dIf)Dw3CR9o)`dX+sa|8)u)~i#z&!I@t&vl z)OuPV{QBiybBWT=E_&>U@Fj^sk*Tje+O?NhnpHPYOB{7e;xOVn) z(=hv)9G@Yd!F>&#<~LluSljdA(%I__d~A_CFUTXWZ3&eRntdm-e3>5P8X+Z|3Fa-= zvUM$6FZNvV7VV}dkYVQtv`x=$_cf^>FYy=G=*wm^bNB|}GpQFh?Vci;V4*4=a#SrO z$r@sr*EFKkcmG|`f%IEZ|LlLK21}vSYpVy=v+oQD?(-BD@ z6C`va;E_)A+s+UibGX-Dxz^GSyYsarVPA)yM;>{2{z-kyIn?X%X5X$*5;TK&cMLwC zTx&UzeYWCYk+jfBe#Mi*R736@xO9%RGyUs4YaP(DwJA*|vcq+&IoY-PT72)f99%yo z(E81lK|E06K(>qcY|7&JR*>M^r__BPE?#-5Bo`5pEefo1B}AW3yf&K23cayOQ%r^vOlq-?h|%)|&ljoi z2vr8ZqH!~YRYw&Wi}ABFkNn@!Ex9&B+(uktNw&`s6-Ib$(*fo8!UG(XHjnF_#vcsN zI~Th>br;MalDg6N<@#LR?^sg?i^i4T7_&^=n?g}pm6{?Pu_!4*Knl)<-@<%e!H3(k zytMq`n97Hlz2om+LYM;SKN3T7#u2$qwLJLlQinT-E0tsWW2z$Ps4k!O;glH0W@Ioi zjv-WNDN-NjDEmPFw`tG<&-xt7G;NdK6?5%cqBx6JynO9VAGd+GfN#u9hkzSWdN4ir zdt@UBjyBFv;e+bB{pF_?V@%ZWZs$_BX`QT$Gr1{K!_lgCjJj+6 zdHTW61Zb4At`luzxmWqN542jXHS&H6_gC6+c*{HesbOP$Nkbjqj8O$BDek>zj$Yct zZ>{+*IteuBI_HF4WODvWbMvZkX<|)`vns(7-hhNykks(8s3c>j9W9<}aq-qznU{>l zNKLE;1c;c*;5`dwM)|#3ToKk9<^9Ws74GLBSouE-v9WRbHW}~Nk7SWYMksbnKlU@2 z-m#SF+Hr2(dNZ-LT;tNP^sO(XODQjav%mK6m(;mvT#u?aImc1G#7(S2vUk)@*#D!4 zlE6$K7%b_ z?f{g!>{(?(O-i!$iMbCK=cLSZXIYfGZm(97R0k$G{9xABz6H0#jm$wiwRKs=hE z^3jp?g48R} z>7_BxVn;2gELPNyly4LyWUp;aQVaA`Jt07wQAd*diL&(@ogNm|vhvNNuUJMb9;u{x zot~pP#(|q;b}qc5%AeD?uLy@wJYCrCkgFqnXf*lQXF*f8u?OkqJ6vYb%97h>tE^qb z0%=8OPjO5IFyQx>6TNb7zm1QOA7z$m6G^6%65b;rbuRl{PMFFuFv>Z6Y6Fw!$b}Lr z?RRl;x%s9l_OK#8pNqbLw}|m|UYt?Rg+X~=1L>CS z9@w>r%ORB;>K_*XwMZggN^%{;K0GSydV4$O+vwYuG^4?+Cxf~}JMIl$wNf8g>%*sg zPU22!!wd*Vx1YJ=BYe)S_UidPjh|@c2mKUzH$y=$E!3sJtWB~ujca>fMwIH4f`q`l zqo>ShPpbf2@Ac<3?F}d)!qMCrqk~`GCX}Zc^kr*0N!IFF4u81E)`CBw%P(t{ror0I z?xx*yKC`EVJ~2V35`BMsy#wC(c6_PbTM#|U!kzObjwP~^stEfekXEhh_Kur*t+MkY z55HGJrMkK-*w1Yb>cpNp*UxbfoU5|b$d7h(UbIVgG~Jt_91qpDvpuy%>eUn_7GcdH zO{M;BdU(#XS0e?pzJleAssqeSJP)DcfwuLuxp4FC5S)L(eboN2h85!!?cyp1zOa$* zvE;ET>YI5S^*pV7yj#_cwa{d&P9Lti_fymYUBU@<95PY(*m>u>6QeV)X>eS6_J|058EEa z3QtFc%T610?wmZNu6`#$%MoE)d)UE>3-9BgF1jQCqUvt9uy(KFHxtIGFj2|Ach~yd zC)tjM<|D9;tk>AoHnI~f-s--<9cme6PotyZxTByupSt1!W4iW58QJK>A>_dH%suk> z1znocbr0g6cGH>==yzHuhww9t%JR$EiSymgRa`8b4v$&(TjuYX>r4HX&QA^ z#54iMWSBaIRml4d^7$=xzNu9#OuE2dQx!i_FVfL?KT1Su2|;z)=D`}rloboXIn5gP z?)Ddl?Gj|e885aM%gXix5`x&(64y8xqa0^M;b5~BY`_NZr_k$Qb*S89$77Vg*fOs6 z{9zhrdC?n{RWF?ft@bzv+{rQ~Mon3x5hWGS{!#L#Hx%DVlLKwBl+%zO~2 z57=+Vhv(pHHWtb0!sozO$|Tt?*FL!V zvFuQR*u=>Al!cm*er>r~rqxv?TbrHQN@{_!Mdk27Ie-l#_BALf+ZbD2GxBni{4`sY zY$6HWr-P+_!^eDXj37rq9NaWREqwhvXEZqVD6=$f#P@~%^K6BdSX04ro%eTTK^>-+ znFx0BQT(%q=6fGFw7W3cPJOe{?SAtmZXuJBCBJIp#e3}%u}IokRgDib!bP;y7WJ)h zzT34Lh%qSv($?i->5x`agw{K;B9jIo5C>(-8E`?T!45f!67w5I1`(P&JAnR-D3d`J@OotfOn#x-;Cq2I%Mtsq42)b5J$xN7%fLoHZfFHG}pquRtPWh zsbXlxbihJ4t2Q#2(eB<2jC_X^IL|9iNZ|d1>Nhs;MlU`Lb`TEJ_m<2!^VVc&N>Qt> zZZ;KyXQpukhH$#g8#g+ba`s8-4u`TMt4Ps^;l^;pa8a-!9mlH-y_s>Y2Hpb`(KvYV z$RclvS^mBO#c#J!fP@=)?!6qRZA&6Ve zp8fo?mbYF_=Z!Pe!ihe#{n#J5!tqJM$N#LkrCVESU zFV}@%BC-)KiD%=qq8p10xSgkMxNdX%@G%a4F+}HJUuoQQO>lhgT+3zNA+A30B2XO= zzQP|7btn-o&GDq8H$g-BJ#6|@0BGqxKSZzwWv<7VEt%RpkZ2e?l1E_Emq&hqcm}Fp z{`R9LpZq&?{2dnmnf-0U8!~=k dWsFQCYj9@bEq;DT%*{Y$LN@@?fjo2ge*kaRGPwW% diff --git a/part-ii.md b/part-ii.md index 88ca119..197bfc0 100644 --- a/part-ii.md +++ b/part-ii.md @@ -85,7 +85,7 @@ ## 参考文献 -1. Ulrich Drepper: “[What Every Programmer Should Know About Memory](http://www.benstopford.com/2009/11/24/understanding-the-shared-nothing-architecture/),” akka‐dia.org, November 21, 2007. +1. Ulrich Drepper: “[What Every Programmer Should Know About Memory](https://people.freebsd.org/~lstewart/articles/cpumemory.pdf),” akka‐dia.org, November 21, 2007. 2. Ben Stopford: “[Shared Nothing vs. Shared Disk Architectures: An Independent View](http://www.benstopford.com/2009/11/24/understanding-the-shared-nothing-architecture/),” benstopford.com, November 24, 2009. diff --git a/preface.md b/preface.md index 6dbe527..6e932cc 100644 --- a/preface.md +++ b/preface.md @@ -54,9 +54,9 @@ 我们主要关注的是数据系统的**架构(architecture)**,以及它们被集成到数据密集型应用中的方式。本书没有足够的空间覆盖部署,运维,安全,管理等领域 —— 这些都是复杂而重要的主题,仅仅在本书中用粗略的注解讨论这些对它们很不公平。每个领域都值得用单独的书去讲。 -本书中描述的许多技术都被涵盖在**大数据(Big Data)**这个时髦词的范畴中。然而“大数据”这个术语被滥用,缺乏明确定义,以至于在严肃的工程讨论中没有用处。这本书使用歧义更小的术语,如“单节点”之于”分布式系统“,或”在线/交互式系统“之于”离线/批处理系统“。 +本书中描述的许多技术都被涵盖在 **大数据(Big Data)** 这个时髦词的范畴中。然而“大数据”这个术语被滥用,缺乏明确定义,以至于在严肃的工程讨论中没有用处。这本书使用歧义更小的术语,如“单节点”之于”分布式系统“,或”在线/交互式系统“之于”离线/批处理系统“。 -本书对自由和开源软件(FOSS)有一定偏好,因为阅读,修改和执行源码是了解一样东西详细工作原理的好方法。开放的平台也可以降低供应商垄断的风险。然而在适当的情况下,我们也会讨论专利软件(闭源软件,软件即服务 SaaS,或一些在文献中描述过但未公开发行的公司内部软件)。 +本书对 **自由和开源软件(FOSS)** 有一定偏好,因为阅读,修改和执行源码是了解某事物详细工作原理的好方法。开放的平台也可以降低供应商垄断的风险。然而在适当的情况下,我们也会讨论专利软件(闭源软件,软件即服务 SaaS,或一些在文献中描述过但未公开发行的公司内部软件)。 ## 本书纲要 -- GitLab