From ef5f1b45d059c6606537667655e0c69b0a181c3e Mon Sep 17 00:00:00 2001
From: Gege-Wang <2891067867@qq.com>
Date: Sat, 15 Jul 2023 15:37:41 +0800
Subject: [PATCH 01/24] first commit
---
...30714-porting-riscv-ukl-translate-part1.md | 111 ++++++++++++++++++
.../porting-riscv-ukl/translate-figure-1.PNG | Bin 0 -> 19253 bytes
.../porting-riscv-ukl/translate-figure-2.PNG | Bin 0 -> 77536 bytes
.../porting-riscv-ukl/translate-figure-3.PNG | Bin 0 -> 22508 bytes
.../porting-riscv-ukl/translate-figure-4.PNG | Bin 0 -> 65638 bytes
.../porting-riscv-ukl/translate-figure-5.PNG | Bin 0 -> 147549 bytes
.../porting-riscv-ukl/translate-figure-6.PNG | Bin 0 -> 26225 bytes
.../porting-riscv-ukl/translate-figure-7.PNG | Bin 0 -> 16636 bytes
.../porting-riscv-ukl/translate-table-1.PNG | Bin 0 -> 23524 bytes
.../porting-riscv-ukl/translate-table-2.PNG | Bin 0 -> 94345 bytes
.../porting-riscv-ukl/translate-table-3.PNG | Bin 0 -> 19288 bytes
11 files changed, 111 insertions(+)
create mode 100644 articles/20230714-porting-riscv-ukl-translate-part1.md
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-1.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-2.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-3.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-4.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-5.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-6.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-figure-7.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-table-1.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-table-2.PNG
create mode 100644 articles/images/porting-riscv-ukl/translate-table-3.PNG
diff --git a/articles/20230714-porting-riscv-ukl-translate-part1.md b/articles/20230714-porting-riscv-ukl-translate-part1.md
new file mode 100644
index 0000000..a40af7c
--- /dev/null
+++ b/articles/20230714-porting-riscv-ukl-translate-part1.md
@@ -0,0 +1,111 @@
+> Title: [Integrating Unikernel Optimizations in a General Purpose OS](https://arxiv.org/pdf/2206.00789.pdf )
+> Author: Ali Raza
+> Translator: Gege-Wang <2891067867@qq.com>
+> Date: 2023/07/14
+> Revisor: Falcon
+> Project: [RISC-V Linux 内核剖析](https://gitee.com/tinylab/riscv-linux)
+> Sponsor: PLCT Lab, ISCAS
+
+在通用式操作系统中集成Unikernel优化-part1
+
+# 前言
+> There is growing evidence that the structure of today’s general purpose operating systems is problematic for a number of key use cases. For example, applications that require highperformance I/O use frameworks like DPDK and SPDK to bypass the kernel and gain unimpeded access to hardware devices. In the cloud, client workloads are typicallyrun inside dedicated virtual machines, and a kernel designed to multiplex the resources of many users and processes is instead being replicated across many single-user, often single process, environments.
+
+越来越多的证据表明，当今通用操作系统的结构在许多关键用例中存在问题。例如，需要高性能 I/O 的应用程序使用像 DPDK 和 SPDK 这样的框架来绕过内核并获得对硬件设备的无障碍访问。在云中，客户端工作负载通常运行在专用虚拟机中，而一个旨在将多个用户和进程的资源复用的内核却被复制到多个单用户(通常是单进程)环境中。
+
+> In response, there has been a resurgence of research systems exploring the idea of a libraryOS, or a unikernel, where an application is linked with a specialized kernel and deployed directly on virtual hardware. Compared with Linux, unikernels have demonstrated significant advantages in boot time, security, resource utilization, and I/O performance.
+
+作为回应，研究系统重新开始探索库操作系统(libraryOS)或单内核(unikernel)的概念，其中应用程序与专门的内核相关联，并直接部署在虚拟硬件上。和 linux 相比， unikernels 在引导时间、安全性、资源利用率和 I/O 性能方面表现出了显著的优势。
+
+> As with any operating system, widespread adoption of a unikernel will require enormous and ongoing investment by a large community. Justifying this investment is difficult since unikernels target only niche portions of the broad use-cases of general-purpose OSes. In addition to their intrinsic limitation as single application environments, with few exceptions, existing unikernels support only virtualized environments and, in many cases, only run on a single processor core. Moreover, they do not support accelerators (e.g., GPUs and FPGAs) that are increasingly critical to achieving high performance in a post Dennard scaling world.
+
+与任何操作系统一样，广泛采用单内核将需要大型社区的大量持续投资。证明这种投资的合理性是困难的，因为 unikernels 只针对通用操作系统的广泛用例中的一小部分。除了作为单一应用程序环境的固有限制外，除了少数例外，现有的 unikernels 只支持虚拟化环境，而且在许多情况下，只在单个处理器核心上运行。此外，它们不支持加速器(例如 GPU 和 FPGAs )，而在后 Dennard 缩放世界中，加速器对实现高性能越来越重要。
+
+
+> Some systems have demonstrated that it is possible to create a unikernel that re-uses much of the battle-tested code of a general-purpose OS and supports a wide range of applications. Examples include NetBSD based Rump Kernel, Windows based Drawbridge and Linux based Linux Kernel Library (LKL). These systems, however, require significant changes to the general-purpose OS, resulting in a fork of the codebase and community. As a result, ongoing investments in the base operating system are not necessarily applicable to the forked unikernel.
+
+一些系统已经证明，重用通用操作系统大量的经过实战测试的代码去创建一个 Unikernel 是可能的，并且支持广泛的应用程序。包括基于 NetBSD 的 Rump Kernel 、基于 Windows 的 Drawbridge 和基于 Linux 的 Linux 内核库(LKL)。然而，这些系统需要对通用操作系统进行重大更改，从而导致代码库和社区的分支。因此，对基本操作系统的持续投资不一定适用于派生的 unikernel。
+
+
+> To avoid the investment required for a different OS, the recent Lupine and X-Containers projects explore exploiting Linux’s innate configurability to enable application specific customizations. These projects avoid the hardware overhead of system calls between user and kernel mode, but to avoid code changes to Linux, they do not explore deeper optimizations. Essentially these systems preserve the boundary between the application and the underlying kernel, giving up on any unikernel performance advantages that depend on linking the application and kernel code together.
+
+为了避免不同操作系统所需的投资，最近的 Lupine 和 X-Containers 项目探索利用 Linux 固有的可配置性来实现特定于应用程序的自定义。这些项目避免了用户模式和内核模式之间系统调用的硬件开销，但是为了避免对 Linux 进行代码更改，它们没有探索更深入的优化。从本质上讲，这些系统保留了应用程序和底层内核之间的边界，放弃了依赖于将应用程序和内核代码链接在一起的全部单内核性能优势。
+
+> The Unikernel Linux (UKL) project started as an effort to exploit Linux’s configurability to try to create a new unikernel in a fashion that would avoid forking the kernel. If this is possible, we hypothesized that we could create a unikernel that would support a wide range of Linux’s applications and hardware, while becoming a standard part of the ongoing investment by the Linux community. Our experience has led us to a different, more powerful goal; enabling a kernel that can be configured to span a spectrum between a general-purpose operating system and a pure unikernel.
+
+Unikernel Linux (UKL)项目最初是为了开发 Linux 的可配置性，以一种避免分叉内核的方式创建一个新的 Unikernel。如果这是可能的，我们假设我们可以创建一个单内核，它将支持广泛的 Linux 应用程序和硬件，同时成为 Linux 社区持续投资的标准部分。我们的经验把我们引向了一个不同的、更强大的目标;启用一个可以配置为跨越通用操作系统和纯单内核之间的范围的内核。
+
+> At the general-purpose end of the spectrum, if all UKL configurations are disabled, a standard Linux kernel is generated. The simplest base model configuration of UKL supports many applications, albeit with only modest performance advantages. Like unikernels, a single application is statically linked into the kernel and executed in privileged mode. However, the base model of UKL preserves most of the invariants and design of Linux, including a separate page-able application portion of the address space and a pinned kernel portion, distinct execution modes for application and kernel code, and the ability to run multiple processes. The changes to Linux to support the UKL base model are modest (~550 LoC), and the resulting kernel support all hardware and applications of the original kernel as well as the entire Linux ecosystem of tools for deployment and performance tuning. UKL base model shows a modest 5% improvement in syscall latency.
+
+在通用的情况下，如果禁用所有 UKL 配置，将生成一个标准的 Linux 内核。尽管只有适度的性能优势，最简单的UKL基本模型配置支持许多应用程序。与 unikernels 类似，单个应用程序被静态地链接到内核中，并以特权模式执行。但是，UKL 的基本模型保留了Linux 的大多数不变量和设计，包括地址空间中单独的可分页应用程序部分和固定的内核部分、应用程序和内核代码的不同执行模式，以及运行多个进程的能力。为支持 UKL 基本模型而对 Linux 进行的更改是适度的(~550 LoC)，生成的内核支持原始内核的所有硬件和应用程序，并且支持用于部署和性能调优的整个 Linux 生态系统工具。UKL 基本模型显示系统调用延迟有5%的适度改善。
+
+
+
+> Once an application is running in the UKL base model, a developer can move along the spectrum towards a unikernel by 1) adapting additional configuration options that may improve performance but will not work for all applications, and/or 2) modifying the applications to directly invoke kernel functionality. Example configuration options we have explored avoid costly transition checks between application and kernel code, use simple return (rather than iret) from page faults and interrupts, and use shared stacks for application and kernel execution etc. Application modifications can, for example, avoid scheduling and exploit application knowledge to reduce the overhead of synchronization and polymorphism. Experiments show up to 83% improvement in syscall latency and substantial performance advantages for real workloads, e.g., 26% improvement in Redis throughput while improving tail latency by 22%. A latency sensitive workloads show 100 times improvement. The full UKL patch to Linux, including the base model and all configurations, is 1250 LoC.
+
+一旦应用程序在UKL基本模型中运行，开发人员就可以通过以下方式向单内核方向发展:1)采用可能提高性能但不适用于所有应用程序的附加配置选项，和/或2)修改应用程序以直接调用内核功能。我们探讨的示例配置选项避免了应用程序和内核代码之间代价高昂的转换检查，在页面错误和中断时使用简单的 return (而不是 iret )，以及在应用程序和内核执行时使用共享堆栈等。应用程序修改有很多好处，例如可以避免调度，并利用应用程序知识来减少同步和多态性的开销。实验表明，系统调用延迟提高了83%，在实际工作负载中具有显著的性能优势，例如，Redis 吞吐量提高了26%，尾延迟提高了22%。对延迟敏感的工作负载性能提高了100倍。Linux 的完整 UKL 补丁，包括基本模型和所有配置，是1250 LoC。
+
+
+> Contributions of this work include:
+> 1. An existence proof that unikernel techniques can be integrated into a general-purpose OS in a fashion that does not need to fragment/fork it.
+> 2. A demonstration that a single kernel can be adopted across a spectrum between a unikernel and a general purpose OS.
+> 3. A demonstration that performance advantages are possible; applications achievemodest gainswith no changes, and incremental effort can achieve more significant gains.
+
+这项工作的贡献包括:
+1. 证明单内核技术可以以一种不需要分割/分叉的方式集成到通用操作系统中。
+2. 演示单个内核可以在单内核和通用操作系统之间的范围内被采用。
+3. 证明性能优势是可能的;应用程序在不进行更改的情况下可以获得适度的收益，而增量的工作可以获得更显著的收益。
+
+> We discuss our motivations and goals for this project in Section 2, and ur overall approach to bring unikernel techniques to Linux in Section 3. Section 4 describes key implementation details. In Section 5, we evaluate and discuss the implications of the current design and implementation. Finally, Section 6 and 7 contrast UKL to previous work and describe research directions that this work enables.
+
+我们将在第2节中讨论这个项目的动机和目标，并在第3节中讨论将单内核技术引入 Linux 的总体方法。第4节描述了关键的实现细节。在第5节中，我们将评估和讨论当前设计和实现的含义。最后，第6节和第7节将 UKL 与以前的工作进行了对比，并描述了这项工作能够实现的研究方向。
+
+# 动机 & 目标
+
+> UKL seeks to explore a spectrum between a general-purpose operating system and a unikernelin order to:(1) enable unikernel optimizations demonstrated by earlier systems while preserving a general-purpose operating system’s (2) broad application support, (3) broad hardware support, and (4) the ecosystem of developers, tools and operators. We motivate and describe each of these four goals.
+
+UKL试图探索通用操作系统和统一内核之间的范围，以便:(1)启用早期系统演示的单内核优化，同时保留通用操作系统的单内核优化(2)广泛的应用程序支持，(3)广泛的硬件支持，(4)具有开发人员、工具和操作人员的生态系统。同时，我们受激发于并且描述这四个目标。
+
+
+## Unikernel优化
+> Unikernels fundamentally enable optimizations that rely on linking the application and kernel together in the same address space. Example optimizations that previous systems have adopted include 1) avoiding ring transition overheads; 2) exploiting the shared address space to pass pointers rather than copying data; 3) exploiting fine-grained control over scheduling decisions, e.g., deferring preemption in latency-sensitive routines; 4) enabling interrupts to be efficiently dispatched to application code;5) exploiting knowledge of the application to remove code that is never used; 6) employing kernel-level mechanisms to optimize locking and memory management, for instance, by using Read-Copy-Update (RCU), per-processor memory, and DMA-aided data movement; and 7) enabling compiler, link-time, and profile-driven optimizations between the application and kernel code.
+
+Unikernels从根本上实现了优化依赖于将应用程序和内核链接在同一地址空间中。以前系统采用的优化示例包括:1)避免环转换开销;2)利用共享地址空间传递指针，而不是复制数据;3)采用对调度决策的细粒度控制，例如，延迟敏感例程中的延迟抢占;4)使中断能够有效地分配给应用程序代码;5)利用应用程序的知识来删除从未使用过的代码;6)采用内核级机制来优化锁和内存管理，例如，通过使用读-复制-更新(RCU)、per-processor内存和dma辅助的数据移动;7)在应用程序和内核代码之间启用编译器、链接时间和配置文件驱动的优化。
+
+> Ultimately our goal with UKL is to explore the full spectrum between general purpose and highly specialized unikernels. For this paper, our goal is to enable applications to be linked into the Linux kernel, and explore what, if any, improvements can be achieved by modest changes to the application and general-purpose system.
+
+我们使用UKL的最终目标是探索通用操作系统和高度专门化 unikernels 之间的全部范围。
+在本文中，我们的目标是使应用程序能够链接到 Linux 内核中，并探索通过对应用程序和通用系统进行适度更改可以实现哪些改进(如果有的话)。
+
+
+## 应用程序支持
+> One of the fundamental problems with unikernels is the limited set of applications that they support. By their nature, unikernels only enable a single process, excluding any application that requires helper processes, scripts, etc. Moreover, the limited set of interfaces typically requires substantial porting effort for any application, and library that the application uses.
+
+unikernels 的一个基本问题是它们支持的应用程序有限。就其本质而言，unikernels 只启用单个进程，不支持任何需要辅助进程、脚本等的应用程序。此外，有限的接口集意味着通常需要为所有应用程序和应用程序使用的库进行大量的移植工作。
+
+> UKL seeks to enable unikernel optimizations to be broadly applicable. Our goal is to enable any unmodified Linux application and library to use UKL, with a re-compilation, as long as only one application needs to be linked into the kernel. Once the application is functional, the developer can incrementally enable unikernel optimizations/configurations. A large set of applications should be able to achieve some gain on the general-purpose end of the spectrum, while a much smaller set of applications will be able to achieve more substantial
+gains as we move toward the unikernel end.
+
+UKL 寻求的是单内核优化的广泛适用。我们的目标是允许任何未经修改的 Linux 应用程序和库使用 UKL，通过重新编译，只要有一个应用程序链接到内核中就可以。一旦应用程序运行正常，开发人员就可以增量地启用单内核优化/配置。大型应用程序应该能够在通用端获得一些增益，而较小的应用程序集将能够在我们向单内核端移动时获得更大的增益。
+
+## 硬件支持
+
+> Another fundamental problem with unikernels is the lack of support for physical machines and devices. While recent unikernel research has mostly focused on virtual systems, some recent and previous systems have demonstrated the value of per-application specialized
+operating systems on physical machines. Unfortunately, even these systems were limited to very specific hardware platforms with a restricted set of device drivers. This precludes a wide range of infrastructure applications (e.g., storage systems, schedulers, networking toolkits) that are typically deployed bare-metal. Moreover, the lack of hardware support is an increasing problem in a post-Dennard scaling world, where performance depends on taking advantage of the revolution of heterogeneous computing.
+
+unikernels 的另一个基本问题是缺乏对物理机器和设备的支持。虽然最近的 unikernel 研究主要集中在虚拟系统上，但一些最近的和以前的系统已经证明了在物理机上运行每个应用程序专用操作系统的价值。不幸的是，即使是这些系统也仅限于非常特定的硬件平台和有限的设备驱动程序集。这就排除了大量通常部署在裸机上的基础设施应用程序(例如，存储系统、调度程序、网络工具包)。此外，在 dennard 扩展后的世界中，缺乏硬件支持是一个日益严重的问题，在这个世界中，性能依赖于异构计算革命。
+
+> Our goal with UKL is to provide a unikernel environment capable of supporting the complete HCL of Linux, allowing applications to exploit any hardware (e.g. GPUs, TPUs, FPGAs) enabled in Linux. Our near term goal, while supporting all Linux devices, is to focus on x86-64 systems. Much like KVM became a feature of Linux on x86 and was then ported to other platforms; we expect that, if UKL is accepted upstream, communities interested in non-x86 architectures will take on the task of porting and optimizing UKL for their platforms.
+
+我们使用 UKL 的目标是提供一个能够支持 Linux 的完整 HCL 的单内核环境，允许应用程序利用Linux中启用的任何硬件(例如 gpu, tpu, fpga)。在支持所有 Linux 设备的同时，我们的近期目标是专注于 x86-64 系统。就像 KVM 在 x86 上成为 Linux 的一个特性，然后被移植到其他平台;我们期望，如果 UKL 在上游被接受，对非 x86 架构感兴趣的社区将承担为他们的平台移植和优化 UKL 的任务。
+
+## 生态系统
+
+> While application and hardware support are normally thought of as the fundamental barriers for unikernel adoption, the problem is much larger. Linux has a huge developer community, operators that know how to configure and administer it, a massive body of battle-tested code, and a rich set of tools to support functional and performance debugging and configuration.
+
+虽然应用程序和硬件支持通常被认为是采用单内核的基本障碍，但问题要大得多。Linux 有一个庞大的开发人员社区、知道如何配置和管理它的操作人员、大量经过实战测试的代码，以及一组丰富的工具来支持功能和性能的调试和配置。
+
+> Our goal with UKL is, while enabling developers to adopt extreme optimizations that are inconsistent with the broader ecosystem, the entire ecosystem should be preserved on the general-purpose end of the spectrum. This means operational as well as functional and performance debugging tools should just work. Standard application and library testing systems should, similarly, just work. Most of all, the base changes needed to enable UKL need to be of a nature that they don’t
+break assumptions of the battle tested Linux code, can be accepted by the community, and can be tested and maintained as development on the system progresses.
+
+我们使用 UKL 的目标是，在使开发人员能够采用与更广泛的生态系统不一致的极端优化的同时，整个生态系统应该保留在通用端。这意味着操作、功能和性能调试工具都应该正常工作。类似地，标准应用程序和库测试系统应该能够正常工作。最重要的是，使能UKL的基本改变需要具有这样的性质:它们不会打破经过实战测试的 Linux 代码的假设，可以被社区接受，并且可以随着系统开发的进展进行测试和维护。
\ No newline at end of file
diff --git a/articles/images/porting-riscv-ukl/translate-figure-1.PNG b/articles/images/porting-riscv-ukl/translate-figure-1.PNG
new file mode 100644
index 0000000000000000000000000000000000000000..a246fb3b0971084cb46dc72d6259d0595501e0cc
GIT binary patch
literal 19253
zcmeHvWmuG3+cu5N5YosHBBLN6A*nPfAqXl+NHzSmm!73Xzc=XF27t1L$Xp@(2$VUZ}v-@K27
zg&hU{{o@P)`1{$@`f2b5+u^>P3|4*z!vgpQ&s_SBG!|B2IP}mEAAC<_C$Hszg+<|r
z`GY-f#_WoPb-PvJrnH)?-f|MO@`3R&`qe99$`&WOZxnCr6=q&*r@vIZ48M9m>b9g$
zq?*i=SGQ*e!kaI;wC1tAeDXX(5zg}F(FMvf{${6Sv}ba^!$b3(tks<*C-?2^bDk3g
z0|$M29w{9|DOCf-)t2I&4?7>$p9?gklO@QFpaWlDA!UrfSCcx(b3?koNFq)+=7*R5
z^B+E^SCtPWJ~yp=?HiTL6oU5kyGO6_ofrGR=sI@aYN07M`Wi3u~n1F}|u
zJH1@1hCz(qhd(@uw<I4ZRFUucD76cWTfFH7!w?#e7E}ucAlMhn;A+B6a=A0u2#2
zZy2)deT&l{9nkk#mN;1A-&x2^0XOTXD;%reCL5{srKZ4Nknty54Iq=STdhHR4+TAb
z{Z32uvoqOuq4yf+SYx@0}^DB|#|2bALyc
zT9&ao1oX(bo;Tz*`atyp}%>M488J9&UCX
z94n<}GCih1ojqWL?;cXWmv=H1VP8@l^`)%2>|
z|B+*wvX`q>9A%zVfj&Msa_D_`$6>@3n4H@e?r>X)6rf!gl&rVR*gOx@?TGWr2wX7e<
z3)?1JPE=QkPCca@tyry25UWV6_BtphqPzrG418Vdq@Dsn;v$F4682>G8))@+=XeLN
zJ(-ms$W&pjG4yk-T&+GRA1XFKNGaRjMf_Ve`q;x|wQ8qauwS#@w$l6P
zrv{q8FDc1(%fjA31^?Z
zHvLgtGO-qZ{tmDn{vk0Xyz9*rJN`~EuvNW&Y#-iNN};zzj=
zY7v#R6n2g0%uA1t4%ig0OB}A%7m>V_Ho#9UQY-o*G*W7w;w7Z@kU;4AfS!kS(d^;O
zC+m^@rf`Y<_lrZtnFs4l%tu#Ia#
z4#kVqm*K*rb^$Ok*ENVa)kBsnosVki5t9}h;A%T^i3pP`@ZBWM>VuUEuvPaW@U^0#
zdcW0aWwdPcx~ispe)$iMfpmpvlSkLoA;*S@JAd+9mlO
z>kYKg=54B0ERP2AlNS4O;w<~JV?@DY8k(Qt@tLrlM
z4T|TDSx}TloG~KZU#&@og20w9HI|zuhXX#ZZ`=JAu^QflGWZxo?b~{v2tu@<-#dAx
z2pPfPKL4hAJq=xjjMu~*Lu!Palla-(OpL
zMqb84;LX5A9^o1bEa1Fs1TL19jhOu+Jh6o?k|`=O@*Aj29WS+?QD=w8bGyH|@@b7z
z^Vf~H>7c?F=){^_D9`9>54M>!Jf)`aL>rpFy&NMRJcj
zSIRxax;AL5ZR8~xh07sEvm2s}Be8uZa>bcX4u>rCjed`3iFeqM|rX5W1>6r^uB
z@5|ejz7Qw38-A1-<3Zw;F({fW=2nC*v#s8{a1jt}
zCqnCd`HOorS)MD6Lx~8wku1_X1nS61z9xp5CYd!JNZr>g)uX}2zva&+|6xZqJ
z-t__8+`hd>^ujhvXvwQHf>w6CvHnfFjDr=mw}-M+*?jUnJ|a$@R&ebr^W=r?aSvOU
z*+{v44~cY@Z;h@BO<{~jgVg05SiwY%Rcm7TBq&m85IEcNV7t15EbsG?ICr(wpC;Ip
zx42w>vkYuAT1TdYm!Q^TYksOGVZ6#CF6mLwDxYVHML`h5lV|Aao(X;TCgj;elEi6`
zjTW|pP>-FJv7_r-Eo>=p$-*T86NYndETIjYzG=E4d6P^^^?@Xc$=}po$oO*{3>t^;
zIehOnXW($hnzKpUD3)mQIo?b;7PQ_8QIjXG=Y34y_cp?Dp{HT>L0Z9C^Gm633GLR2
zIXD{6tT|}tdpT_cZ+aM(YFc(AUXu{n=evl>G?8q`nGh`~ZA9-cI+3&
z7jJt~rEz`ABrkE*Uv_!Kt3uo%TgSjZPoYTG&TNOm_I~_a#*UEJ@s+d^iycV+AbA~h
zF!xQ~zUvq>RSxMD`11PFC!ax5Badgx)6^O|Q!fMjOu&*DJ&A2bc@OKlv;W>F1aX
z&?qnK+E)EMBw$SCFw()3BgZl~o$}}ORrTaUF@?$4*&JOd8J%WMD>Z-wZ^aX(AtSI7
zS^R3k$$BxHezvSP)zJLFIRtNpKEC*SqC>|z?Z{LJ0*m7kM7GBJ=&(UFK0wlUL9#0@
zC`Wkx^>;2p%wyvXF;yFqp`bhgWSmWq=Ky^Gkn-EVB2{=Lg1LWeU3u578){=c8geDk
z5tlcd%0}2yO+sCsN|S{z#M7UM$o}mekxh!scPmA0+{f1m6Z@HMP=SgBynBYBrQym%
zNSU_)>=@3HDGj@WuzO(H3c}t3dg>FhbmqL-dxCiEp)gr>=HD*p*SpI1@%s0~+q4u6
zk(0x`?P)Ft%Ow?1p2{v-s?mrqnqHbL_Y4r9c{lKFD!1yOJiAQ`GB|cO*b>KmR?6n~
zxw%J~=y#@3p+f{D^lDQh{q$FVUHZ`XMTkAgx$hkT@ntx|E(cAL$B~DhpV&FD>o^2L
zU)s~&VEu{z4mV!Ft~*)`
zCAyb7oHxT2<{&#oZnED{Hf(v3eviTpj`n{ZiO9QORqy&}IZ(vSGkSY}skn1nGT>my
zcpI9w@#|pJNOR>aOj11{V-ITOn6!=^UeH|OaM@9%I?E7a5Hg$Wv7(SH$N~MI%LhM|
zWu5qS1{{RyZ~^+g#?#f_yN0~*rn_1A*M3|5sEI;ls{s}TyNMLGgU-){OOAg@yvFZl
zc1|@@`KLJ>2^}x$if*}poAc05s)EXm+eK>EH6yz$W?`qdb2DmvdHMKwaKxq}&xZl^
z;k@W-WpT|68+TpB;YQohCX|M2t@k-qGLtq$Gcv+4V38`5oaEO>aW<9w8be`moN#9E
z-8Z6>zPN`oY{{;5Dr#rK#J4qfwnuCanlb{ZAqo${9=cCYBT^0mC0eN}1ZTd_O4-gS
z`1mXP4#*xA7$7Bi&t3CPMEWh6wEwwDIx@od9KYG_I{9eOOoDB-{g>B*o2oeg(C!`Y
z9jw+!?zQxwAPD#s3i?os(?e@!&5cN}rTRf8w&n{HbakjNq*R*Wf4ZFh
z^SmjVQ*?AN%6bP)GLGL)!{h;CwrXeGL5|Vs<%FHV!?W#SP+rRw%Yv%!%yBp%6+epX
z(!3GRZyuHdVka{#)WHAtXaN4i4nUC6=1G!iWWsnkR=E-Epdy+jN{m5x#H@bkRrbCr
zGwQ%f5-eBYyxh8C9CpFqo?_I@xu9zM3D`)PPc;=%hDG7U(?)u%u$#zw-{+h+SZa5|
z`SL+=m8(noC`N0~^u+far7}8S~2ObjxP=C(0BuF`eK`N{m6V|SO&Ry=4yOl4kyaPx+{q8e$-y47=oo
zBQUpMSJ-^iewiyxmcY!l@p82^!z)6&;9dSsv1qO^nmT(Ulf|~bSUXl
z*LGX{nl(c>j9Y4!?zGr%in~-wM%bui7bKO)^hj4bn(S5&1U@)4nUYb;bAWSZJzkJy$dQt?2~*@tI-{JmhA~6}Si`
zp@#Xi^IMTVN)2ZMv(DsY6^|PtOQG*Nbx=2*T}cqw0Z8Ce78|Xtg)&Aa2x|s`p3s0l
zSjYcdiJd?sgFhm<)CSN3j-aZ0=_6)4E;fNr5vI9@whJfl%@PnAbL@>F9R`$*Nq``6
zXdh9m3hS7N1?I`azhv@dB157CQX1veT4ek;(@I94C{8@^VctDNR~GKN<~y;d%NNzs2R8n|Ys-wZVK{kEQQv#xRe_(pRxyTWo3OmP
z?vyPVC9;qnJ?b=|JI8hb6pTop<+8ct&CQPV+CwD~2SVDJ!|jrqD+8Hf+L7-vM@hGq
zhI*Zrhx
z0cDb*KmX`ks_EBwqdV9G=i{m41c?>;*?(O)6gb8<)5iHW_LhxDCO(p6MIljKDYDx;
z8bP$Wj*+52zp6&(nKv}6$#;EunnuV#q5GueqRo8Q8}FV%UY_>scu<)0z(tJNkQg?C
zklC{fL$%};cU=D#cAZ|pViMgcJmERxy_qoa5=J=$h#(EO2}=WA?I8n_8&QIg7~lb4
z<@q1~^K-hnI$Sr{Fmb#stWjd4>qAxevtPRcR9xMl{&zm!_Z1w_>HYYqw=pHZ?CM=9
z-bKsZSAa?C<}r3B_RVK+Cx+TR<}I(4>8>>~HSAZ^i9^;Bz+S@m4K-O>2rTKMKHNL8
z4B6NBjFk<~U3?_*nso;NZz$hI4e
zqnBgZ^)ei`^A!y+?ANFaOd&FVgsn6kbf7vpPq@QV4OSbip&mvZWrYl6QGg*ZM*TSb
zoFK;0|7bsNX())DgR(f`yrLKLW%Z~_*NFM`idJ~r+rsntoo}#)WKDjo6J5w7=7gUd
zm=FZB(0_MeYAwZ|jEoU*SgxUbkL(+a!P7sI{cT&n?o0PPiiTqJm^@$-%i%(j=SIu1
zcb$k)Gv%q3!>y@KW3t)T-wgcM;Y0$1t3AIv`rW+U~I?bKBjhS^WtiuKF;-@No!eqg;11>sG(5(+<@jido~+#~L;RKq&0inXBNnZ5rR;nve`#oMXAyX+?+mh|KEz+R_&0vt
z1cB$EZ+Mr{!O{??@xvAEPfFe#%zu3s@UehJOdj``e$IAi@?vwYlV`J;HT-XXdLV+B
zUVvSTqchv=_zFNUn0WYaEG2l$`r-#9I$$n%PxsNU=m;J{_3^&t#7Bh3Q!4)o^6!6Y
zD`$(%KRoVh)z9p&aIr=20=8vq6}Mzy+Z>OsWui#>dEt-Jx-h03DvFE&Q8otF`Fl`1&3Dyy%8!3|q&h+3(qUnT~OGByF&tyGQh!msmQ;k)pM;~?V5h)1_1S@9Q)3MPYsW36QfJw
z3GS5>qp=>ncZ30P=vVk~X*53s1JjO36Nm8a
zo(6Ci7=cWnB@q+Jt}sATeU}Q-zOU{2-~g0)tNEa^+yQCelBBNtpGB=YP(}5pI3ZdL
zro0c9=K%YgJ)6We^HNoLy?~GRQ%{NQgh@+TzHY^SKHm}^8RK;Uw@=dmm2joB%D;3B
z!Rt-01PuclK;i>PKW95f{%3LZ?ASdKUD_Gg8i>J);|)*L)o-Ezb=ammw~e7gVH@J0
z@9~OY^aM4S!mW_H0HOayxI9JH|JGxEGw2Y&!v4AY|4I}@n0gO``I(iw{Ox~W&>iBk
zp63BG##z+G+vg>?T7N!
zN88#y**qM~9ea&m@j$_#vGLgZms4q_-F@{BA;urjAtBfRP+iUD!cuJ@rsD55D!hfGUd(tJaTnaOGz3<*r@>a}pS}PU=9plcl6Dg!hQhY(jQ`pj=933gx7iQ;wqp
z#YDD0oc&d7QGB``RM`I7RDHC0T)?6gWDa&iV<1{ZV!=g(yL#8i1wi~#ZQH88pYz@I
z`iak{sW8|BR)-J=4N0k~+xn0H^+={bPjTmHd_f3-t*Jy!@x8JFbPJED$5VaK$KCH-@Y?yt`_E!JX28|7!FFiR_%9(e1d*WOt6ewvNt+
zl^D3n2`?>YmZRgGi8l^gUp!+mh%uU){B`qwKegn
zXO}5pWFdw|*Ps|rVQUF~+DL~9QE9S?pPwo`DRl5X*H@TVwcZGeb}1sJij28K9guXm
zHFz}53z
zR>#M|!40@5O!75~*;MbD4S)bWn{-9=hWSjWu-=;q27EjOo>lP|p<|~}RdyZAyTt!=
zG9Y+YMi_JvWKzGw#NB8OQ{GQeD>=CDQS-3IYn@}|PMj`3SogO(Kx5OTU(0;&M!B6a
z`hnrUAoa_TaCzR9bwKKNcbY-F0vV-e~1*0AWHh2z!afNrSdpGM-#9|t7dm9O&Kq|3_;{y=ty7%=lbb0`
zZpj$`@*+5ZdrY2d(ms3_RwM#h&un!P^qRlSC0=5j65CaXz7zxO`61J0!_$PrG3|TY#5q2g~1lAXH5(&D-
z*BF%Xzu^31gu#@tT!B&46vTLdcrI(X?{-%czEXW)0WR>N#Jco}+fp5x+Ofi0dp$0rUqe_qGXQNe=KP6MMsf2_^fnuQ{Mr4)c!8UY6}KtoW=hdxSj8DE%lcqL^0@Kw(OBHn_OR#{qU?xfq+
zGMi*3zuZc~?t)vq;
z#ATmG%P=PYt3t{(e1Ad$zP=X$Xr|MMi+N^A)OfPH_(iW|Jy~VZ*y3m`cvSHC@
z(2l!FfM0)Y70dWyd?AIo6LnavffQ4L;l6L(0G-=qxJWOFDka`MD%^0%vmQ8`K^oUK$-OSwp5BF3YZjmjrw?A#Diln`$5iZ=7zK$M4>ZT{OCc8G!>a|G}+p@
z=?hmw7!e9PyxqfqiCAQgqX6}dR{d|_8ZuP;Uv}
zkuIUc9k7{wUP(m}GM6fE;7+TQN~=tPsu4LLZon;=k!YW33g6*(`i_0NOf4*%epT0|
zJ4zx!h5Sk}0V6>Kb~l9`=kH27(<(P(m6lRR)0p{Ts0~OFAOTO)4!kY%_a$K5I_iO6
zT9jC1oQ%H*^y&2ad|LQEe^=du7Lf%kV>q2?ZC`u*HV#Z`bcwmsQpG@%5wI^U^ntBZ
zbZqrnZu1nxljRrN&3sp+s7M{trs-LIf7)R1Be7)r1dYT9hFt3u1*s3vLVs!{H?P14
zjT^D}==p@64YnDZy`r*liinfBe`e*IziKA5wo)F*S>o$u$yZ^$QklXbg@z~LBZg?g
z2VIqNNGV4Pv;chRj)
zAsrx$mKLU7la6xX8^hy==?6ln9tSKlEE#4Fxi98vlnUc@nAG1n#uf@GUwa>eNqY
z;NKb{|J%ym(o!TAy-p@YXeGUq2M-voeOc`foGRdX{?s;_O$TV+xpbazoxiuA{ulEu
zZX`s*vnH3=j!Q=|TqC|j(|9y0tN2J?~l~*r9cJQ(|Flpx$nE);p)Sa@is!^t2
z|IADbjxT5~QP*Xl{U#e@KQWec1nA`~=qh_gMZvvX&b$TyRPBVKJs{ExI%6pbHwdV;IgA2+h#&
zg6lgV6O{uMNNU3uEV`c@~!=9?QqvoSH4uFc={
zV$AMEjEvg*T!UHF&wdB+e;GVnfG%^ufc=6g
zbKxNq$`ZRNnVQP07zPE?cgE97JIP$EZI@fFKK>ozof1bUDE~c;F&t394j_BH_Bq^N
zEI5#fG6OuYBL?O0NLl6<21?Qs0if}93@oLk=ZVDeuCacI0jQ(L0Fmw~ta;1yBuxL_
z$OK(KP$_AA`Yk9nkGq(*VVEj#L)qiGjyn{jGw4f5O9Ul#462GqXP&t5rWYjFd`g@*g
zX4ooIf|%PA#Q)8TfV5j>AWJpVWKoOnww`>KbzilY#|{w1v2}{nsm{Jc>VqI;Y3ZC1O-d*U|{HT^jd6d!gxL7Y7Pf$AK*VKYY$n2)tYArfsn+fDU!S
zh^s!?j9qu@+gp#y$uDn}tOjEMx_~G;GVZGJ@$pfobv;~f8p9@Jn1r@wW0g>l?iy(-;w+8mi6MzZJH=>gcaPnZIX0|J
zC>gWFXbMxvfFzK${D(gBQN+^H=|6C)|E9+OB8I;og8!de%Y(d#$z#qFb)TenrFN;E
z;l|Qc%+L)`hcc}KiA981MF`+04q$#$-rRne;4cn@|1J0JPl-WGDopA4*yI`@hyK8C
zoU(K$GzyS~sb$C%nY2&5rBr6;V*>_4^6w-Ft%UG**s;on
ztc@9oyKmV|cy0nB-zHK2w982eT2_A%J8QwnRkoTuFDi_cgu#At{;hduGDcXoUXUS;
zEgh!;kWRFDBHE3Lks¬k?FCc|Hi})z7wm^tFXoP~rZ~dgRv`GKxAo-UuXK53hZB
zS#=bQRV*{l%wOXP%h?C8c*Iz8nYp
zb&;GLy1!YO5dcAN_I;K;@RW6fNEtojXv*^*me?$hdv4xA4`XJ)FxCD3&&9bDk{$@F
zDlp2=8k%{~AN2UyrxAT|4x`s>x-(p2yL!AH?gQ^sC;poW@8qEg4U*bXkrVVlYd2k!
z$UC-g7Z;`Uoroa)|5hn>ml~>&eA+Jp$}Lc^eQkaM0Moyxh(Is*Jp}PI@9aPR_;1yQ
zCm`%^SCaqz?O&u1&5cm56P0)c=&p={3L{yp_@qzyTW8=er~`Tpc{|Rb8>H7hR{>f2
z3XoK9Iw&ZdatJM$R>NOKbiw?HrB5R^D_{m_JshZIwM#%ZrGlsCu!pDML_7AYQ}7oN
z=8Y^hMSDm^BfVuQP}A|bHI|9*jP`=QmQT(52L`7(@%&7@+Hrjm1C+~w(`gJ&SZfy4t(11#ax6VeD0uMlv^apDN)k`n
z9H+F4>~{4Zivyh@jQxQ=WoBfRxq=llCYV}@bIM}+OgwwGKyvt`_bp~HW+f12BOe>f
z4tnpp!8696M(;t>QupEDnT)2J&clz`cBWtOTvFWoo)#|g
z#OH8^IXdGtQR7D>cGf~_gh`c((gX7`r-7d(;rT6A)qCGpz?`Z^k(yvuRKPN36tM!R
zCy$Ir*KI*RH(l7Fl~r9nHv%s=LX!nsUH&%Sih}p3ebe5^m$&cLV$#TcW%*5-BTTZ)
z{L@;2UWZ33y9}g(Yb|N7+dyC*C6hdi;ObMtbklc0!NjKcAeuu<9*47nBoB-XlZSKY
zp3Khl7=s}cF#80=bR2jDW*ScJOv+LsVA^tYu+TW#JezR-h8*{^Ueg?y$j=QhRj3?G
z9Kss7>T!Iy*HYY;{lIRlLrM<;E&3QZuh(MQ;=7;&cZC1RWx~s4Bg6qCH%d{-
zf9L-;comkp7nBu&l7aZ@)#|H$s>Qb^+PgK!#$RN!A96
z;OEByJ;hiN5m6l?`9me4z
zQ$?3aKf--9zy0*h8vjYY&pL({#I!ng(q+A|DegZmqxZpt?yS!Qf>v*Su9}Fm5A0B5
zTU26imJ-c?+61EcDzulY4Rj8`I3e
zXY(gOHgk{`h7smUhOb=lOn`Fyh?L%Y0Q3_VQwVoGgGgZCN3g<%UsMSZE*k8%+v_%Uy}5C;4=T#ly@A3o
zeXpN=60FrFbu02FOxK>I`!J5FYBrh&P7v``5TLr%T}gF6TFkM-HF?%_+`aa|@cT0Q
zQV|GD4#(&;#;G$jK7{=4=>_#fi{F5PZ&8x}u*S~ug*7yGeMn=w989`mSs{5>+re1%
zibgAt{FTav(w|J&%aX2L6td_-(c)0OzI5mHF7-KpKk8{Ilt%n{h&dVZJ!+puYHHaX
zLFs9{n=U0-P1}?&TtcIhU8jj81tpGY^22K-F(*-$ntp;|qgJ
zv&Lc98f%2DA^;j3ut4B7P_0s{Rv-Q>@Np6zcTKbGeHS`0Xc$lq1p0f8exV%Rq|uhs
z;<#23$hpvgwQEMsI0F7y5KeA&n7I1~+cQA&Qz#mWllSKA16tN+Q@
zjOfG}ID;80m_v1fsJ#v(hYwY*FTnMmV$2|J41x`NNEHPnm7_ir(QGQ)oyM#uzN?+Mv9iYXtEe;(9;JvjZRy-Or=-T(8hs-4D0kn^iyyEZS!TT698ETp
zS{DpHC+v=`a9Ld$5t7jUaA)c4^y(CU6Cwc9B%H7=u^H0=#7%23OTS@d*b+O{T(U?0
z2w-hSf#FV;J1_sJFuma-4C%#mJ~4CQ`eOB;48hYnwl(ys-S?eClAt!5L#@f3Z+86@
zw40PdiyMSV=eq2Q8q_@{I(E1|pBgX<*8Uv|D?d|MA6OH#{j8Izp&ZP7+{aRP6jXt`F)}xqF)LZc|LVZ^(n79(;d8jy0st>lIg8ir^d|4?4N|9H$fpmWvEW^|X<{<`j
zN*`f-Mo;w#c17QikAV)HO#q1y`#}YkM-gAer@K^qJLk45v5s#AG@9Fifuy}TtgHPw
z8l7Wc?8y6^hY$O(UzY_g81wQeBf)`CO4NWBnlBjlr%YXC+M^e;(%e2`1hdzs9(fk?
zuIM+ssi}dXCY#^Cw2i3-IawRBhJ?Cc!JH4Pjpk&t*$2#Lc!$GP##Oq9rC|B}vaXKr?XRN6
zRQc{U-|ed2|G`-kvg23h%f)^M+tUY(0CHP)0v=1hY$x35{D&J13PudXqOY(D40Xwt
zX%M)p*SwwvZTrpD#h-P)bT1cKADr|B8Ro|tF4i*c_dsj&oxssu&5vgFZ3HbHiDnlw33v;;%&fs06nTl)~
z|1`YAnypSODjdfk8e9kwK{d3toA+u4{{`k@iSpPri5@m3s-8DD2z~G%UAGWvFEE>A
zAI08!I62Ql5~h6jE-pKK;U~_bVfmTqXLMD#G0&-^aFFJH^}_`jHH-FiXOa(_?8|7|fCE!%JM17nABU_K+A2M@;J
z=tSi$JGG_jD4lALu%~30Ldf{f)tM&}=vsioVW)9TVW(&g2xSgS?;;DefjM^LfvG)a
z1b(^I1YDjU6=
z{z*!+(&`_y9kB_(ryxy{NQXe@7=lGuc@7RcSRgh-Ub@TUE=Dtu@g2b1DRx7p=^Z(r
z%J|pv^C)s{v=G1D}O>;AxOET4qBlO@MZ$sPAoP{16xKP+GTcM?#m2cjC45zW2h-cH{T;G$j7|s
z2EN=3wXHbFxo0c%T*lv;CUw~1yFDPv8P=j)_s`OTWvtO9
zex7J7#ojmUe%3t@h7PEDjTw6o2J?SQ8ODePNRT*u>D*geCfvgu7}bNVXyZh})hkpt
zefc}Pn)&33d7b^e*SbQ3I?2YIMfRm=D$N-hp5`+j-d+91Hp9%1EjRqI%0;#>Gr`l-+q!|gUqN%D>3Zu@q>x9ca+A<-I^&c<8YEmepz8iHE#P_NGC}Ho+M@C+YPL0
z4Xg9@%6KRPv;DejRxj(!@p^Uj=xon)2JzugK|OZ{vC=Dc>>8>1IT@U$=jw?_`K02w
zIu2_+>L!}>Y|6DsU{bTP38?+hRc_BqgCap8BK{3Kw6W`=*xodv7d6B0A(7r`?33nQ
zNyNO{PY00qh++2+C8=PQJcrhYc}6Y*U2SK_X+Q785-f@in>Xvb3Ork-UcCO_)eP(OkI=dL#0_1R)ONfPz^sfg37n*Y=~%T!kHLmkG=Vnj-Dj{
zs#QD97u+y)C1j>=^%FQTi0dQ%&Re2TWoR<%45n9vKiiYRtFEvVZYkf)mof1FKWVf>KFp?{qD
zCM98J>D!5&5WnzCxG`KHJUux*lvcWs{0De497WO{_~Dj0nXGhicTaZdzZ~&3A3f#o
zURYUJT@bi&&9p9X|GScU>7Cs!$A}xzYaB+Q4*7S1X;KQ+1TLuhG(lCsg-m1>*ciA-
z!Z#7``FFwE7Y^+OE{r2_K*0B^dQwc8zP>ZoLc59_Kk0->QVGabjyM
z#s+80bj;3H+uRm_cOC1w>{l5JValG2LQ%(M0|8
zp3B$f!{@UNccd0iFX55t-1c4q-+FBc*IqvCuMPN)K4eC-8i`X9Gk}qM8XdPNRq|!y
zD8vv6IIR-)W*z+Q4`>d?e+KQPQ3>AOtoiSpwwxtlQc1(UzJ5DxJCw|lT+#8Y&BUyb
z$|hcIK0*KhN>n3Q2D%JwM_$75l>S#i&vF4a<5u|Ll@>HmJQ8No8B
zVc<&@fybiWKqBa)DV@Yv)c$&_KRUV2dQSTJ@owkk`Rpav^K$o)^~2{##W@D`Qd%1M
zjF`bhh9TRA73w_c#5mwiMg0&&yJMl3M-_o@+5S)0$v%(g{TEL+YYa+XCUQcSoyP<&
zc9IPSe~NvZb`E_{LSNDLH|^?pL50utF!y=P^I|(zI+0%Lr)bFZ+Hddk-f&4CbqHpR
z)lBign*Ym5)9$;o1wY!Y>~Ca#npAo`1iVhU$(7tz(~^EKPwuXs{ohG0y3vJ#!`_$b
zw`pg29ny_)MuaH{J#okebMm{Ns;
z&9YYNzCi+Q(EQ2t+6<$amLlf(GA^76vn+bK8J5+!JkD+oGO7=D^N1APyEgu-I<=4(UN~_2smD5nqK>YuQHnH*Y_c?OO)$nBYSx
zW*l@`jTI*rXr)Xlo7pxn;~I8M1&YIIoHD-e9pdl&a4}+mAS{~Oco}xL?FvTD^6stz
zW6FnP#J15eOBNr-Z`tA;wvS(?gK3(*tBOl+`JQy?cVJ~Tt_fyt$>;i#ECbF@VTEJH*sd!^wi&TZ2zdi}63OzX2pu_L588MK*Oh7@LmNX1iouDs>6
znpPYWa@vOOB~iX2>T#XZ^7Ua7s&)_feG-nt@M&&&{qr`DRV}~u&S2ta3aLSG7s1U8
zk;ay-UdKkZnT$i4VO>0@^=#ob!n55uV~?9-(Ay=~q?cS=+%p2-#*)xFD#cq>p&;n1Ev^^kW!O
zpvZ7<7*1?sHxT2Uc)P!%1>@XTJtYQ{n272d<*h7%9hK5~cbLuluZ=6>&A1qPQ7MK`
zZ|=)xPFLBR+@!cr?K&&9M7u%XMiU_F^V^~9=EE_-+ztex3l^Tbo8#uW@XQid82CS_
znH^$qxaJ=^9YaHM6|(g|N0XM>O^F6R1U;PBt$Cld>A&t5Eip>!Z06
z7v;6jUc~&q%NZ6m#NKvOLUKcP^bMlK!HnE%x5TbQ_l>}6@z2s(Sx{NVU2xp>Hw}C#
zxpeetkbS}0v%YMb=IL<1Z^8Y~WdA2UPW1d|TLki@ut;gl>HGE}RSQgm|7=44vLytI
z0lWcZv(9YGe_6B#4~P<}B(P|u%~HLszFP6W#ETbG*riCHUb*=%y=f6{C#l3pgof$?
zX;VX&k*xt1PIz_4L-Lou6;o0VSnP+f0AmI{xMCDZdpKZyv=`e^m#N6NapwN
zg>2`$9DDW^3m|j8WdJ7yd{rlCa^6$7W%^RGVfyg*r1*(@d^P>=T0YmQ{1=lPjj4P&
zfd*~Hq0rC(6XzHM(|oCj1wmCs?ftXU_}ps7p`lo(Z^vxnLK&rOe)
zV?tI*0}K_d;Ao-eMypndB;pm#g)avwGT)|w<>Zw`XQhepIx-xaE=PNAu2^lzn(%{h
zCyyb**SY_>rG@;%=pyQ@m9j{i|upx*E4zW4(Z(+N{jFi-?h$s2y~zM7Dj*;o1zB~Y_v
z*)PXnN0N=t=Tb-*CY@~bL#-ie9qM5^lq6?6n#R(8D{4Es{LQs9^b9*ztwg=($i?tF
zPa>N10%(U>yzIG&n;6~CoRp!1DuoA1Rr|`as7_<2Fbl_pljb=LN
z=nq=1GuWU0OmV#cKYvZ!9z_mnP^YvodB#Vdu>L^YSSp#M!lU00Lkar@45$_Rv&|$l=QP{EH46a_}hcpWoClbJ#2LP^^PqR{??VnuuaK_-MUm
z!ANtsh68_m1bRXHkl(i25Ng?!ALZ%VihuYWT*ZND4P^K(6?gvxg3f{8QiF`>caADL
zPOrI5It>%Q;)1j-zTivev-ec~XcPhu!5@YE)Z%;Jb0*~X*w}1SMacm~og+N>;(E@&
zyS&Nh_qf2#@`s?e=zo_t-}${P*>~uLg@p2i;(`z*s#4iLNsG}}s6cr5_xNT5S!AI;
zcRR@fbHfly@a5i^hTJDl+k#%jD&t;S@$I&oRa9qz)N!yVme9L%TqbajbYu1w9ti1O
z&0hlfzANbns;Ww`aTt~?7#^XQfTm=FG3~sj2N{X2MvGay7Uo<*>z;%QB7Fd=K+hQm
z4B1^?ZOD9#V>BAN$!;;SVnBzU5HI{i;ehKP6E>kP2yGCTvk!^FgGjZt?fz2WG?
z+~eI|w$ZGHD!40Hdf8!gqO3f`y6(>
zJTDE=lT&evg`!!JeqvwewJujL)1F5hTDE1&Xm&lK2G*Z?I=GyiL<0H!dv!;g(c^(-
zdbQ$&#eln_*B1zDK-pHx%ug|2%AO+oM;}i8U%7)+tvUB8Do09qj-a}V=K6V{E3E`hf|
zx=`tKWqj|)O`vsuHj}_&pijb5psB@(9QCgcon#6YDs35b&A+L?$$UASE;^K532V0>
zOrWDzEN#iPl6jrdIpVBQpZoe-?bpCs$9xj`SrtUN?V7#ddsQL
zS>C6-*Hg&pf{tv5-v7#zaP2yx6fAP%Z@CVapW;-mX!WhKp+!}A00`4vLB#&`IpGb#
z8f7?Ck(kq@4{eN7>4fe1b_;!s(;fpou#ga?DI>%R$W3wB6t81_-;4ag0bx>y<1!sK
zQ5WNkLO~y<&6Ha^?hhGU2^^*lAy{!N(0&S@X%@IBi7HvFqisH^9tg~fPN%+fFOB<(
zEJrOgwDl2+&<{YlI6`1AY5u{IjySgsV4{5Hm*xhO#_RYQu8Rv4+XhMIvx6U8dH?TT_2WI6e9-YnlIwCOA_?DeraZ*V)51;
z9wNoN1Y`ZF>L*pPobwu+P!C3qhdStHj!~FpP^SrZD_E5LU^VG0Ttm%`+)Dj9LFY}n
z;ElbH`Id4cuqPszT1gz?GUByx{}l8OPV9RUKH8%myh)*;z`$wI)NIdPf*JEJ<}-1o
z(1X7T?Z=L+{~mb+v|nR3aMc;ihm7bi9=!WYcs5f7QrIop$boQhkS{EX8PWm(Uu8Wk
z45DSj_G`$wTuvAge3#JcHAB-M7o!27ncvu9;)tDIC@{uV#h{P&tDgX<6v~I4MylOv
z_gkuFhX2bg5Gz0(0BiyKb2w7bylK`X^|yEf0hCvg
zFFV^Q6c#<)UyOd;aQemd$+QqROU7sJEO~yN{nXqZoM6ZZVkBDDs-2XQ#1x0X7=KSX
zFz<sO=T`CR$U#DZyZ-MH9pEm~-IlRCQ3~*hi>w3x%|qZ9!!RDBm)zO!@qd6>
zeSLHeq{RPyL)K+QYk-6SOos$?{{M{xw>m@_<9~O>0oj*AbIJeT+rU7rYJ#Lh{@1So
zDadBdQXNh#cJP1io(lmjxIVVZ>bXmPu9#=(PCiZi8sR3B{iY?if0<;`a+b>yuUd^z
zPV>W!;H{)^IP?^;6o4vn!6eg90KP`)`tNkawfqMYi}?;Yes87c1r4*RQpW0
zl|S-ZMWN}pO4Qq|lF!XWVIdbWu&oot;uh%^97l&w`%`vZ4+k~8&4qp$3bN|}ilRiC
zY#-%b596T!jU_@Hl$@}pfjBW=g-hz0`R7GPno4VFBv=4XW+|qu+VsS{snIALc5Dt7
zLkX+(n$aOo6Qr4>Nrpj>
zMl-bPq{1Rl-2XqLcL=V&hG`w}+81CuYY`%a;6}Ler2{j3})x&-~
zGIu(hAj@}tx$+0MIfcuXgR8BeM^`>r2hv#@(J8{CqdB}=o4pagj)m|^{ue^jMPaam
z2o1A~MKNX9EA4@0m;B^BrJ{Zht&gR78Km0Ec5W{{Oc=m@FCuk5QmbQY%}Q*q)5lt`
zrb<6!?$foqAe-|sMvFTEY=wNoDuu?JxC!cf!+|Uk$
zYUsyx6gUDdn-nXeY!(AS6BF1z#s^SmG(hNa(<$ddbLG<2_5JS5676*>4MjK^G~e1|
zqW-^?MBNVA9zTd+^P7PyVs*>(Sv9vy`FLBdVJ#nfLljcj|2S^j&T+!6t^UrQHu--0
zx}IaPZKwVtmpn!j#*4QCc?9%KH-4eUqNJ#@ieeF5Z90JIdESes=I?XAvSlL1bE{RN
z&crFZvtW^(xV~;U#*Rt)zh^T;5Y`^Po9vnPRJSQxZd=_ohPYeV&hE1BoPkQru38hT
z895+sBSiEx7WMH%@g+keu^rH>=i$1`wv9}tnOnuO_AaT>2>$A+OF@?4il5^q*EmUfzxdSYtK#WbGXu
z(w->KVyH$ZaQ57E;G2njgTjRP(M;s|HyQaY}7IZ*C^m@d{@W?4V~uX#M;+kXyZ*nGQ{l!fIN;ONyuG(U(ygeuY
z8cD*huJ?DRZcbn2f!4PizYMj_>st9i+onjfDrb%~Y7Xg$lB-7(BA>xS@dgDu2H<;(
zj~esrT28n;kIEV%Kaj`)oz-Ln>Y9o)4cYHCVE`9PhZWnay9v;`YNOdg_Q@u!ZuodP
z2ki;1x8UdK(sNRnLD~
zGml{cBH;KEqgtdau0=+BLE^sra~0dtq?OhGj|7CvX8s44;Ci%NCSP5tW|gR(dzZK8
zPNK&2KeqNCr-zA&X`F0gG$EJ9G2me!tqtSWq{9-t)X08rrr
zDju^cyfFR`0Dd1jvVIM}#%0nDW?D82qXs{+K2`}U?gI!@J$Yj<+yAd_II%yZ2Tv6{
zf|9M2e<;$`B2~)rwDgw+%Rp;cf9_HS$%V{X9=+R7@vUoZm7Q;-5xGOtJJnzhsLh#<
zy6JkusT;XAhl7;s15EFr%`V~S)hTuHsps{!f=f-!pE#et3l>?{=KCfgnzy1{jJRmV
z7Y7B|#oHlqR5F7ABQ6jPCH43qtWjD+Ln)n!^ut&a>Gs5dBsT0-E5$I!zZsan%AmTZ
zlynCuoUXtK@fBr#YkdrE@&zT;-;T&E;5gfww72mrPAL
z*Tjp3K}^m2X6)#cqK*l&JxMTTFX^e<>ZasIvOt9{@EEfOo^17W-Vt;Pe2{)S`PGK8
zpar#&Yz`M3{6@9DRAyYy<#=AHEG2;9y-2st61753U6=b5m-s;7VrQv?O&~kwGS5Uy}4MSG3%-J
zowOOGrsH&I@|iXNPCx66g4lUxoS83mBNAjb0abT0y#?}@#QWIK3SJS2V7B}O-IOVL
zb=l)o)0$l4u4|&Xot|E-fBd+Xr)l2sGQUcn9T9`?+)ZNr(314Zc=N^0amUWhL5EE2
zfH>vat;TYA>IOE0Y@0;yRxU)jny$|m9RA3~yk@vpeM2zGxRNxrXxmP{5l3bSl
z(e^oZ^Uba$^cCyDX}6aE8#!|_5rQB2{_USEkFr8(t{iY582&1U=1i*~lLD+s`FvHl
z=ZHhE8soGxNQZ}0g-))r4#*}kQAFIuM_29rz9CH#uLjB3NB>*@!An8@X7I4Q#yd@-
z|2129hnFuR4eg&R3(OU-fWu@f3^^u!EYLl^tXsa4D>IwuO~R#c)@ii<$Q)YmN1{QV
zlFsp9k!r!kI9_&@SBtOgkn&~tS)!ffr7V{$MNk$AtPK^P{i(GRF<}66$7+wyiI0#z
zSf7;EwPGryy55^fejxp8p9KT@8Cgg2Pssw5l_KA$`ET}!#jER?vnZCogF%1bdE3}0
zegd_d{%Hw?SSYOB_dyjyD8EM5FnAm;>
z!UF$-bqZRZe+#gp_|T|y~*IK2t@5lCv$=%4-seEK_YV&$j^KxMZkAf+URC8hiq
zfXIr5!xF8zRjp&*EPWsPljl9-WA7!QRG6H%AnVyXQN(4NIWXC(!?G~nkfCcE&!x+l
z62W@U9h>@2TpbN#;b3uJ;S{rp^nnkaMoI)Ss>}O9=Vht5G~}7+UgnNqXQ!KjEHvzM
zerIYzNzqO7YW3+nAI>Gz9$pLL^OIA}=B-MvCZrIVfYms7FD;$jVze+nvg!nd04PoW
z0ZVE@@$KauYpYFCxHEfxmPV@iGL8Gt&bW##-J%Km;z-h2o%iUBMJU%@!N0n_!Bf^@
z$9lvCwj&=tP(Zf(Mu@6+wsCQm`+8MrYQHC-FjL+2?Zl&p`e0DwdgYNN==-JKM^v*V
zk?AvQU{UOo!N6UsvH{Qkl&*-Ld`Jma7*cid7v${!|4`|M!xm&T%w~5#OqyO$5A0#S
zD=<43d6Jr}mM}==s4Ocb*4Fro&djoR|3W_3V&Q%hf0214$JCc$4*oXhtuJ5{h7RKO
zy{oOJM{bR=b#k-*-%u-5ufqIjMlZc7x4`vUZ`Z=*bJ2@;@tt(6MRb@tR
z9+mCx<(Eu2eU=3vVM%)~#hKc2rc&+=-t@6yWzco)u0i}Z*V^ijmCPB&U-OiVwUG}h
ztAmCY`DN-~8uZ@O$Mbz<1e^3lDupSSeyK80@$cFb`d76`p6m!8UIV(&K&Ja@kug}M
zK>qp@z2pDkIv6CFy}p-Up-{>j+QToHX?5Kt*IOFd>`MdN++f;14j|hxzfA7#4Ga`8
zHw<>eSiq)qG7K5A;mt5CFG|7C1M&JiR|X#=$8rrV!78Tw+ImS6Eo4cH1S^`+mOjbm
ztznX*Lx2eSCny5aX|w5YijtY7(q8hHQ%3lsZAO*4ay(8FmpwU~|3lrBV1y22FaB?|
zj;Y0GR=?DxUVbcK^0}rQr!H%cM&GH}{dLz`8|6b|%S#FBgwE<+ntU4LXAP5uV7!7~
zc$&S5?=XL&%KrX1E%T8LeWY|*O_QMJW>o!+-#`dZ+83`LxEE^Gn9FUxnJv<^pc4P@
zQ$I%_*%fz2+!TTZnTS)fs_PpX?{2zbxV+j3L@ZsKi>St=f%eZwRY>chg;mJhq|1GnHc3LaNEzoiuauE#??
zRWBQFwN*kF5vZ!oL^y4XF|=P@9Kpz2ODToWf)xkAdBk^wg`1*nPP@aYm8Xo-x0b7Q
ze!kla;7{M_bi-U@%AhGyQedZRfLo~A6H=?yFduhHqzh3y??6(vQE9;~FV&Yx8rtXR;K1hzA9>
zz1w>3&h%{;``+L$Ej5+QFed7cVrG1fAg}4m_*M1c6JMZIni)^*>7oSNWYwz8j;}??
zr;Ubq7Hsgjew6p8@U=mbeM3K>1!2}}V@7o+PX5bYU#wJSKkcZ4!x$VSDtO2N%PHn{
z%XGYxGT7hY}%n?2E^Zh;XCIYjDsSV*_87}anm#<
zXY_d9yynJf%OPa8qJ2`oj`y2-DB9ENLWY3;IY9_1VTKHQV39$CGi68*Ep^x96`&Rk
z{9`tIC~X&O|2anJ^jjMbKMjb;%K}2~fXU+&h*$3BbVaQLzZsz>#d=uvGx@vkeKEH|
zKqY~-yJm(jyEmFSvm;E|1cd<=f?0o+Gn?gzh+2=vk0a5FzvM`;u{KdNz>`wVUzpd@
zb{F7tT2*ShhHd%i(x}O!F*FTUDG4W*T{d253;+u*`eOY0p`p6*qbtrx5s{_y)@Is5
z*~t9OL1XnV*);*ZzZna^vI@d%!|k1@FvNq6zM>tP*nD$-T6=jim}KCRMd1-gfcwGV
z5Qa(B3JHGvvSLRHhg
zZ_hQU&Sa@scI5Y`Eov2%<#R+*?+G9r-(A$@K;%K
zC{k4<6~BUH$w9grad(59WOHceg>}W21UxS_CK+Whv{05{
zu5TB;kk*dFACQcee<}VHJ-mTXgP}oLgowjJeQmv42Pc{``GP8Ja3d8FspC*sOw11RnO9Q)vNXf%@*sbs9#UN8TCe`f+#C
zENeE_v_D?Rqzd`B6N1HF4+?*%65pNV|Cz#O*_d;7EAkZYqYmtqi>uwpCP)gi3
zuNbo{8~Ab=3aI&DXPt1HYzn8&j`$duWH>l5BK%5gSw(hsDo2DkXvsk;Hk2qED0H?e
zpo;M#aT5_N?S-?}6>Yms{VU+`zel+XY)e6wmB+lol`Wc8##RPS)EBk3OX~0PrL8E_
zpwlH93MAWwkX-w<_6xw1Q#?exjV^dgJ{W}oGKxF}H2w+%sCfV2&8oM8o?9`m2-PmW
z1j1Jr_(M$*KwK_wj$&ka9{BoM6pD2D@e7t{686-MWctX0*LRKj1pNvPG8VHmx5NPf
ztD%imp}}_uU3B;&s}Mi`1;w7<{kqC}UsLa3q)PW1BDC
zW*21Yai(5fJ0?_J(SPIA{`7YB9rA(U5>p9`a_;5JwPNg6Rr&)l$)*lOGB&S0XDQ9D
zc#;1l_>q46=`_H-JGjd|)^EvI&OOm6QS%?HBLV#+!PduH`@xmol$HIyaimH*!1L&s
zyRl}~@4?oUh^DNTHjGZSFg}FOX8z-jk`bkyE{FkS6uu$D(ni^^;+DRcLC9@a`u_Ww
z;yo0Ay_308TV|7W_G|id)hw-ekif(b67S8z)^m)N#=0tfO7R1C@7)9uRBhN&#MgFp
z{~1sCOvdLx6_58O
z1^jFp-VullaMlQb4Ejq~V_2*JF&d5D?=4Mb2GZvnQ<6XXAER(#pJr&}8V@qr=S)N+
z#e)YWxU5PMxXd94DiLy7pvdR-Xz02G8VbsVuCoq-YWIUE3QGH(K3n!P_*xAx4Fv
z%~;Ousn6^>NN@4>k&>owE~dN23)a3fWwtjP)wdR_8L`FYd+)O4`&_z{o;0+-^DFOq
zc~;rj82Qf7!Nbco^ee%3!MTvsCGUvYMe#tj>qA*~QEv0TEGT^|P8YBL4QL}*`Hc72
ztR3ScO$`>tD|x$A$M=o1nWPwpJc594$ThWJxiks~cF8-@t4%FcD3{J9or3=gpTxtr
zFWI>ZqWgvcI@Du~StgHABBtTdV7J0IEY}71W3-Fx5d<2&&&0w`=d{j8EP;GZ;g48A
zD8GqcPUWzS`)AQCRxQdAG&Oa5<(L65XQ52ZC=Q=%y>IMXg~m$MN@kg`=y_2$#bn5R
zuEL+_t?A`X95!gz?4ZL$iVCAwgEZVkLRfZYilyAe!LY%v;DR`FXL+pW=9+y_-Se#%
zCwbA`v{;&2SF~KdL*9K8T!D^zJJn
z1zWF{qw|JYCrRGfUP~k`kpZvs
z(LZgEq-!MpkqE_%)iA(W;O(uWjyTSw+PoJ*(0lesI~y5s@|d%?-X>YA$Jgty=j33lvHjHP0sMm-aZt#EM4!M`>Q74UwG5*kK`-b;y!W78h|!rT5iXUi?}M%Oo=m;kP&g#6L(dW<&aXl
z8eWe5t{b=iPde3Og9bUEE!>6;ILUsEx0T<-c)v+u;Cns8RE4}*;UfR`uQ*B$uNKY1
zH|mB7IGJE_e;LyjlU>Qlg
zr?yfR0~g`57E}3aU(>{+`0AxP)E62jrbk~&GoD>j-59hVPvz|n)ZL75nsru*eC#=8
zlJ!190}Q?C16u|OiOX+LhuYgaU~-ezbqVQfvDo~2+ifZ(1#65_`3<@=t5$<;zAb9S(CsW_(ek|K^!T^*{HygE7E`mV=v
z*N-kzA$UZkXpE@AU(rihG+i=~57_O}@Sh*uZ9OS0SUs<{vbV<$Ik%@cq6hEN&}FtV
zZludTu?&`P%s{?-HGF^1LAz+;b~E^a!L0M^8_ZUI&9JUJkwl!@Bz-nG*M}s>)}L&3y&uxxC`>mDc;WUeY$uyO`pv>tuy{A5L)$lJy4XPG
z**Z~QI=4k9DcM`M80TI%^yc&jV{f$JJ?!%MH=MO`+L8aHl@@rSZA({A
zpUI4a=L>u?XU*sdTSQ(XhGM~7G9ng1Lr#s@`A*3km2dv=r0XHdUG)x!l!|W#N8x33
zhTU#CMz+TNORi75EO>9ZOz-LlRH-oN=fCKucrXH+6|#6Lx|ie)p*R{ZRp!eD2oywH
zVoHV>ktG$EF>Ya65ob0YVR)O}#l5jakwc47f9RiF};g%^bYWNSDs?y|AOT%!q##%NP;Zzi+kCzG`S
zRIAS($wehpOVMUja-*Uby7gq+8?tKymu6mc8Z+FSd{QlaFOqFt1g5TL5nSC`kAnQsFW(qUoy1u6?Mly5F~I
z@)6i&rTecyiaecy)Ef##PBps1=s6PpAy^MELbQq>Y)9~X&PQ2m!bHd;U{NO`PCmXd
zHu|`fsJm|lZV%$~Zi4A1ZRSnsmINf7>QWdjtwL_{jW@FHi`^88)^bvZzZgiruOFeF
zBjU}!nMf|SHgDo+F0~Iu6*5dVx?W86)`&k!vE-kRgIjNTNa0e}G
zS#YZmZEFR#h=bjSktDADy1usz(t}PAJ#hdCwj|A1e94rz`8eKQSHY0p3{ton<
zV5zBbuUKcQt!a{Ik|Fd}eXf+=M4`U`RN3Oi%XPPr1iJV`PXrrybb%|y`HXLX7N&pN
zv`4Cz4T*`ZmH7P1@brjOyzv$ECAHWup5gx%faaW|!r=qQ)r55Iaq0c_5ku7uKd}_}Jp{piMfMxQ|w?Q(}Q44441qa#H_m%pMD{`;LmUpBL
z9SAuK!;k2zFG6qK*AhcNMqc-wjB4`2j$7})YYnC{thz;m%k*rfQy2>Xy%X-=gNFn!
z@S8(7e+iBpZFG#bDB5x=Uu_oUgvy0K9B{^mzJtqAB6*`j_n#?MgYanO9PtHJ-wx!M
zNCNJyGP#c-KAmqclG_eVL}ektnmrqJBGtx5F|sM7lzROLQcTH`kCVKTg4Vc{_R|-*
z(CHZ(snEl2N`;YAzWqq*5SY{`TT7k{X(jfdsO_T3PqyGB6w^Qyb^!;e!bF4o*)OO#q{DhUBV
zW}!OrhLdWo(MLZp*3OXcj&)zcvOYJpc!@`LtQry=kYiVOf|_k2Ko&a8(X9OX#L(;d
zFi$z_04+0NDs$`gKi)zKQkcf=`fSD#T(4*>9Vw0=v}H|2
zgiBeXI|~_e6j9EzkHJ2`pv-P8MbedqiY)>wPb2E|LTBW&a>1;@WZozXTa^)<*6fw@
z!px%>@4~TM)AFrnMbchud8k73iu?*&OYkOtEOPmXm78Adj^0WYO1F1p1Px2_*
zuL}HwzVB{ixr=e;50}%~YU4|Egr0rdvHp9{46nJ+6wB%OR;j5Z#oR~p97R#>yu!Yo
zDnY1GO=9Vqa}&`{DCR#wD{`^_yTOE^csU*@ZB9`2fxCopEXEl3q@}@5jxsU9qo{Fi
zAM^qzCTx{jReTe$OBQqw=k8SyXBilOMhPYhM6Jc6zWd<7P_%;?WzGVvl{u;>zW1YG
zs|{Eh!M^$?>A)Gw`%WCU4x}}qXSzZjTV`Uvl8fbdM+F|;!AvMwq8ThrB-uGzR|X0P
z#$S(-7xb^>LvD&>Hnu|J!IVCRmMM(LUQpKa5dzJ<;m8pzZaf+(%9xKj*}FNEapV59
zRDd&I)(IPAC24$r188iB?}-aXmop+lO#t!cnMI8dr^KVI4`QaJTA`-ZH$6i0K$P#Q
z1rmf8L9t;--Y0+m`qFC?T@8X;i=nm9?Hc?otdUD)>obus10T5B&z0MfP*+=!;NmCd
zd-%;f>g{AH868;2uX6OIh1ca%ZgX0^bPZSNAM!=JrJE_(`>Db>7<;;eg~5ZPIYaa$
zd2)2^2one7a-VTSYF)kvL*u-t{B{59(y#}_wTv>}77;6$9Yq-%s|ZBj_rOw1nWaS6
zW*tARN0jk?&rJs%p=j<3YXLW^=JJ)kQW$KQl-fuylAfNer5$$Psh@5xtpf@JcJD2-+d%C&XH9h~VokCUU3J*~
z%!<9IO>HvDVhciO_FGZCf(HJTnVWMoJNijCy2`;gst9dO40+hRu?a^Q5-#T{!@E>1
zO(ujzpjJO>;{5YN?!7urS2%{E&u0mZ5#Sinulo(S0d_uuuiNm(kWb%wUSndA)Aa~H
z!Iex>K0XTM+NYn2Df%+W+x;@obHV`i#CXvPq8=}?o^+8ifhc^Fm%aTcM5HsRcXh`E
zZZZtW=vR48xbVO9;t7IbSKykyrW|;X=VcQY+qcHO`i%MGdyX@wmVRbpcRW#L)BVexDCP{u%LPZ~_K)(kq`8&j
zl;D4d`_e
zNo>@?n@Vl|YQf~R{lV^K)Gqn
z;`<)0mn5;)^fK7nBZ)A6(7Q;LuV=K}?>hONF0v<_w|06(|E1@%(xq;~?Xi2m8FQ9P
zzcB{6zn%rs%)4a3$;s%fQh1haEGw`Phn$LyVU6)^x=5u&>(R7;0^ci$%DW5@(FfyX
z20y}o)#9fH4WzLCx?c+LI0eoblmy2!s`S7+Je|A4bBZKV$#wQ%j$2M^*^E>&}HNxRY-r{B3hPXdF^3ZEo5k981h9Xko~eC%S&1h
z(M|!dw$A&IS1->W7w+~mi1gcWsV*BK#aiNPD|b?YhiAs$AysKQ_#0EK6Bq@(g~VwR
z(zHNniP}2AIjCx!NVRrW;ea3Oh|iM!hlyQJF>TWcL<_gOiWrI?$(%j|YzYoZjyA5DAh75Kd>BgYj^n5-
zjbHzkM@LVt%MeKcKV!3E)%Tlkjakk{OjLzXLlF#U1XIel<~MH~aD{!t=qiJpu!eiw
z+ssD@uYYo-x}*d&togNQx8g>NwZ(4{vin6|5iKb!Mq9GH`^*_5{efO;z=$euJti>D
zR*|dXS(UNef-FI=o$R9Rk#m!UfX}Y*-1S77z#0}qLBA1TUZiWkSX*>Ika`XX>=lof
zx)Q{|u_QRo8Uvx^kZ2);cArDGbPQHZ<|*}{X2Ly__`zo24DZb6!`3KxRe5vI7fMva
z)JS4p<&|%5l*_a^T}7q22-A7O5Itla7&h*WvnRa2%YTLvx!cApZyWhzankNwzCvOFP|9J9fFDfe9s-8%%7MBHe_=~Cb=bI){ekGzm
zR@YzhlxMnP;%Fn5Cj3e44Z31OkZFMv^dRsJ(`A(O3nLb87#ip&P9
zLGgNn3V8-Y(9k69$3y2L;;VQUM=kOxT<%yVYp(&bWV5cLEKPQ$UHNQ>p);9-qwU2o
zHk$f=0D3OFXfboU%e%g8H#gg+Eibdn*pX_|az~dYrPI{&%$ncuwGY&AHP0g6*cRLj
zjzrMxcBbdlQL6$Qx_Q?XwGmjaRE@*&Os;Ejgat=>&cT
zY!k%lO``jp;ePcPGn4ZXJT{@@;;K+h)m7DQ2@a7hCXmrCR9)Um4=oxQzG}G&m#;FC
z)^2F5*>tAEOFc^?Zoe{dC^(pZmux8}_DfdRYVUpX7ALDiQ578p=IBo8@BYpHi#^7S
z8tb*6;@D(|h8!_(zL^EyrWof+y)kgdO|QlUy;H||NXGj9hNkT|GUK^E0ygNp03%)?
z7R#RTy?l}<^B;eQQ}@O?ABFKIvgmiIfsgurLi@*!`vFurOeDZztInF5`D5NcN@ax*
z1aV4_TF*;!*Gx3f$`)zeE}uX|z%b*}1|)=)_gA$`TsRaXou}5QvQ%qEjhfMhoW%T@
z&cB5bWfM#DUAt(kr6Qu4lxoIRP%R2wffcuCazkR<(ZkRTkEBLD*jOK#9$ckoG=M<*
z)ktZ&$v?~5!X+~^4qKS%y{H%-oRyRDym2=Bv~Y#y9%aJ21i9=k={44K;eC*KhTWnC^#M0c~*pTuO-&PrXuaP3g5wStZYr5XN
z$f3AfBNw|n@CBhYTGwnQ5r#plu%&kmhNjI(J!D
z_;WNf%WNr;e3W!L+5F`&v`Sk>LRS0
zqN%&d-9$$IKrn6V=tIehdAcM8Q50&jA`B7umoOYkuy)
zz#?+egNsIjOOfqA?-Xy35tv0e6kTbDs!
ztRuM(H+-hGEj`S7{=2HqSFNrkYa+Uq#YwlP{+xDcO&E9UjaWjIA&;w
zu+MeDbBoGO-~rP9_xrUVY~`R1%5Fvf;@A5$eLV4AWMEaX0Doo$>kR${54mW>Svfb8
zD-vVHhe)(rVUvFt8UF9Lt3on=rbY}i{T%&KnAn?C3AY*jpF?blBsE?3A_4c)_y0L{
z>imwkx`q-|NX-8p?(b58d!qjL^sAt&pMYuSKMU#a7qnCYuTcEISN8Ak;Q2rQJNH1Z
z8rSv8@BUBv^?+yrsM<^G^|EVK8oh5Kg`al~Xkwpk4(~P641RWGB?2X{KjkKbYn8%WA`QgW-|1kjOb2W?@z$#&U4c;}X9SybMit{=sP#6lX0g0mJ<1#;htzoyC
zpd00i25S9&*7lp#Ml-X;7S9-F9d2NhG+XI4*%!Qc$_8~K4
zDv85fJ;A3?t2%F@;B~k2t98&pi~}NPVA=nx=7bw3!R-d(4LFA&=w;xADF~R;tnHpY
z{!FX*+|(6>yzDmR#Q+?o@u>8^-pNn1CcwPgR}{YLaURanYJFP^;3{9?|7`bd
ztzyp#7^@C>kW1(5M0~GkwQW2z9qsEFpdF0M$jhr~s(dh0
z+3j5X$4y>9S2r05ccp<_JC40?y22BVgR)jg<s}%J{LcF+5WHT0=o;TdUW(+O*
zNI@TM@s|nJ0h%=bhXqCZk568xv40^?oU<*@lbXBcb;eAn_bKp?_XFe0#$@1!8Az!K
zFBWO!_wP!hLMt|lEn3h0ZXC=1gh-rtq{)@DJ54<*#SAq2y+3;jCzrg-4IX`zj)C5M
zDR9+df%ROlpeUG8ttjX1voWVWw4LOQp#%*r9#tY%ow{$%iiV;s5I=!*5@ABbVZ{{Q
zmB#5*Y8h)RbL}ErqXcm6ax@MCgT+_2fLEG;%#U33!Ix{yHYwF4l?U5Fqhnv}+vtG<
z{cL`96VNqI0Ue-l6k`eBoL(HR)cc+?ox}Tff2K0cD~4=97B=$$?wF}yMP^ne=C&zd
zq2(D#6Dnrsbt!%-oC7C4H9ZF4lGi(94*N4~o-6MO*FkK(%TN9o7>1M%%%nr7j!C(n
zF0JlD;rB`j)qIHvS6pVs$
z3?=xX+c5)@85H+Rjg>UCGs~&w(VR}re-4|wxf_8QqPzHsBH+!mjFc4Kkip4HXD(r=
z@t-*AQ{$GwM)tN02@5pwRS2d)A!Cmk>it}raN4l*q;aKT!LjezApei3_NC01D6UCs
zI3eb<3es|}X5#!~=_K58z$hY$x(^sL?%}|_Z6O7FYegQ0y0b80@t|)7`2N(m0EtA&
zeUlLia{qSOz$v)=3IAmvfjOor293R_6S-C>s`=80l^geypM^O=HHK~LHA5c&Qmd%_
zi=Zp!VG<~N7Y;SJ!zm+e2h_0ITTEHKjuX)*vrnm8}1J
zZ(337MP6^B48D;>Ln<#a5I}M(8#qp~QFojV%u@NWIwH&ye``YEe!OKK?hz)u_ZTsP
zOr-42O;)Ik&<%<({*8^y|ShU~?cSc2Vy^$wbYqU|3Oqq*;n9c>!7Eh7K>PM$EVk6`;3q?H=hiYn
zoJ5!E)W3axQ1+CD;DJpd+%UNMZZC4J%lZKc3yUabeYHO#x=k1%
z1PX$Ok04r_aq8H;9awlVEP729f3~&d-p%qgQ51H|^a)+eubn4#eA>A&2$X?cwtV*?
zWb4e8de;hiKWSbIOD~a?`AGU{q+&jYEcY&d)Bci`f}ixWmzK~Q$z-)BltJ@x;?&z1
z;=VPwIq*(r3p%s0hB{m$OsnEA%_$}YYQXuxaFJaDW@UKqZs+N{`5
zxj4CQ5KUz($ieb^RQbXjnJgZ)YZ>sRZc;;{f(`k*(6vQ*JrRVZ{NqDbSmC=8ljW#9
zF{L?ye`4?stM{el!w;I@KYWx(e|~Ga{Ag%t)X^~8LEA!{zKBl!nwQVReMiGR$gERGS1j@8+TXa}wt<$HhQArJ!fHUZ+cog1
zaT2de(IW)ODznivy-;de^c&3UoWNL&2*NB`o3RV8K6c_S55+1u>^J{Li4rJ+4
z#Hh&1Ls*8@eGAR@OTy>wQT}=DQVm^=pMo9>KcU*Qs2ETB)U$=enC=ma%tPPz(vN2V
z&jqVMRspOr1YLrZ=-8^QUp}-vm&(rZYt1Qbx@~x7$am&QPZW
zM!!EqE8*N)%9mmTuMc4|Z-taHg`ikoY{y4GB&E4Y%aTF39rQK*A?BUrT|JcouM{hw
z)U0iIP3`~j%tp&ZhBz+fkM=%75`M(#{WT0K+=Uhb{&r^z?C_`aYjrSQv6Zu|>PF56
zgw#=E>gij$+0cJphd5YpHX(S4vi<*MDn9-H@C7m3FT9dZvf2)IjnPYw&Z9~J(@lbJ
zHm2^V=5UI!aiptGa}_l7;$a`Ous}V~Yo_-J+>=_O*F5Ds?3akvi6_oX`VHmH;}U11
zOxBNGrmGa$0YvOQ9c9~HHlZLQ^D5I~qKEUNs1RP}qzL}mueOR(bTM3A9%5~0N?_4D
z1ushwT&V=+K(hft>=ekvyviif@fp?oZR=;tW2raZh@8hi?KBaQ?62bWnts8hsHkD$
zM1E22&tartV8(d>_JG3P7^C;w({H}f9lr$)=O|*W!2=+HRj*$=H0oi@mg3vns``P{
zd(cwG`tk#oTDC1EB?IJ55ycN|&(WJS!14&XwaXK^1JSN5?AKBjt+>(T3#SVZ{6`n5
z6$gK!K~mdbR%Zh#4#u3kePK7x>j}49T1QT=C7!uMS5XQ3a8Dl0`-9Lu
z8|O5!VVx;H5p)u9jAsfC+wXmocL*AsEsj>2QsR@DoJd-^~m
z@RWOwgyOqnl)zET59_k}a)CYIA&v#NT}O*0c_5Z{h%!OKYFG3x-&5?icM{?-mcuThrbeSdqAW(@^`
z+*ovc22fRhkK_N4>6xz-K%`B&E_2^{+?6#SHpzvu9D4}^N{#fI2!Wg~K#Slog3nWd
z<))g@4wUE{U2j2aWKxUckZfL<7`6`2x&VIWbtq~XBlpgd@1IwVZki&uzhav(-Lcyv
zhw^v_!TC@6{A4zRf~$XwI^zd?CNThbFp$DmjoxD|4^?jS_B8d}z8LCa_uNb}7mRcW
zM?Iv)4DiQ(a44i7Yf~N4aY_f=9ZetKow@_=Rw$fQv~2SSz?n44isAW^?WQJ*&8CT<
zUV}sDnRImlb-*WVp5Y;Ymx_qqNxUT<&UI*Zn6
zqc2j$D+Yrq0|l_@dqW{!9lR5Tw=Q!8r$3%IC{_t6FwevRG2PiJN)
z$V#n;;z-YX>*+H3A;tU`XHSE|V2_wM!l^Ssk`&5iQv;*}E;CyEEX>>!ud^i!_d2w=
z?tBA!Kw~5hZW^4E>D%DoNfHel`$ge*D=wxGYyrMBi
zXal3`6x6-mmMx&S2WlcsJt1j#J`u)-SiNfaNL}f7?+fl`q~P^-_HOH=qtL|1mAC;*
zh<%=sElVH;p+i`6#hxC^mMY$ga+NSly%;|8)C<`7N9+Hjq69#4au+F$dX_%EU&{ge
z%&y1YOx)L)D8Rz)Nj4pdFJyvZc8PAroPA60bNHfflPF3Md*;S1ml2lo6!D9I`B8@!
zkCqu~|?=AU1gQN0LGqGT!TnW~YY~VTMg|>c7C*WV=I;k+(}N~?qmg9h
zNLGD`*iDq`qdQK38D8>dG=;FtDO4Q$wa)XK9OzH2S{pzjmVu-OzZz^V4~gPjZTa-=
zD~QbthiV2W_+GvY<0%bzCogf`;LkE|J5`b-o36<8kcLLQBM#Y()G$^6;|JDRlti)#
zP!6jiNB(6jvhKQLBeZUn0C!6@?n0Oh4Es^l73V^;yM`TW#sTKSb56WpR>hBog7F-y
zp2?8EK}496F>1PeBnhKqr+oDOk?pRM>@H=SIKjQ)Th6hJ(XwNSVyv(^`HS3j)5vg7
zM_uViKzN8D(8&-~4SN&DTy@WC`bhqJ}!
zm+VM-cnS4Mw8%~N4G0C&yvk>Ac!FoHkhdi^goe^U7&cxx@xH5tW@ez4shu@
zJ}yEN#djhB3UHZMy+oCC(CeYye_iOHwjo3RmnYP)*1(xkBUV+L!dzIS7@urBJ#bE9
zM)+Dc1hrPqh5h?7^v8iMHg;7xXOAqMgRA&6ye{$ZXV-PN$K6kM-GV~PkkMpf2%}T@
zoEd&Z1WHVa1LH#LHEq&gnp+L((0l{Q_4r@hiO24#Eq)n)p=cT#dMW1@Ywb0
z0%2%9J9VDNazAD@L@`Kz&SA@CVsNqPrs{oFoY(6Sa!_+js=HUP
zD1NE)yrWd&_s)JrK(h)%()_R
zR%=54y_EtQZiGEQb5sOJ{Xp+6twh~u)Sk1B%vz_)q|a4z(4gN|EA6XmM(8(p3Xie`
z`}rUy#$@{{151Q4^2ZGg4F=}Mmi^aRhdo5{`Qh9LP7aRLoCt)tCm^2smpDbEB!PG_
zas4RYbUUV1+4h_Ez>ha+ExXvCIBWA|Lw)5;`(uQh*4sItI(eZVS!u_ip8;rhe#q7H
zGNg0&B)u+;@{dArBh%{-3WZy6ioroY{^
zDh?U|_GQF%_c;}yCIBKz_xo%q?&vF9SiFn-(&DkB7JJM4oH8~ocCNI{AT*$bF$NXj
ze|al1dN5RP6noy15_Imjh?IKWhF7^q%9gk-5@t4nP^r-drjWHc3Bd75T97xR%Pl0AW(1OmKr*pca}ipQ6L{hKKk%!f5JOjT
z95QZKlnzI=&(9llH%pf&cI~I&wqhuyMd(E!wU8DL74D0uNwq1RCWW9K_IA32N$Ps7i<8{;GL?BglSgewnNr}o{0|K)
z2s~m&tI2`m&Wl)2npmlMH8zS2DDz3DEAY(IT>
zL1XuV{`au}7)7a$g=6_EXWrtpWWs(-_t0ax(u4w969Qe}<^G?O_YOskN7|_?&9{$k
zdA9WdEyx+-*S~00hqv3N1Wa5Mt~4bHVjKxWv$F>hO@5>-q&>`=buO*5t>6$+zgY+@
z&x__=ZWpD?OaP0~>SvzW@p7lr;XEIJ1p(6ef9|s*J(PAtFP@F@_fYyvjX|%7
zRpEy#csHN)8V%GB1)(VJc5y>GdhO1W*wK8$Fd9{CqNq`30!%V@45_mO7|rd$&xtiR
zs-9YsX%irzA9r=tm~}Rb+)^h~I7-;ltLo=?viKYz%o-ex)e8E5ws=-=P0jqz;Q_kZ
zIiY-@3XniLx)uN`D_N%mGwhFapI+mi#Q7QSAJnLRp*3D|Ii1-n1i{W+KKeP*
zF%|jASC5+qKX8kAf{*0CaR
z5e>$>Zxg%s=82R~I`VM8X#FOX{(qj~&mq{;-+l5l%O?_<((99o=T(F@50$v^
z8!FeU_T=5Wc@w1L9CYxtd8IpZ8;&lyM;Uv`K8%vZCwZC6e)#;13g|!IbVYl)*tyP4
z-PgT+zGDU`7%_h0zUPTnXGH_K)+E2M~%IeV5s+I^6Tc
zHIKei6R_lVnHZ(G!%9e)*{h@bkJINXALoB58YMjBkGO}1@bw`489hvh5~7eL9Sn+#
zw&|{ZABxP_7eYF2Bg3KP<5IgtWX7V~O71s$rz5o0mqGR!8?H0|eK0pE+_9A!9OcON
zZScQ`mxnr?47!?H8hWl3Suavx2)~)Ct9o_+qur3YGH;OW|Ah{M_(<
z*mrP*{&c#eJ&t6M{wWcPd0aZpJ=G^dp7_eS-oee-FB|-|WWHTAav6Hzqea=p54B<2
z=-&)WLAOT^6fae$mu7H|pj{&V1cxrECN<2IcJQnZ6r4_Fxx(eZJMiCPzX4>{=cc7-
zK~(haK;TswCIcSJ(`Vz2I$_^zwyR*0jZ86^(CL=urCw^na=kdq=DY!s>igH?oiz7=
zDU&l3XEZpNSm6`k^jbpd1@w`|49ZL4s9%BOLmga?9;w4-yi#MIe8423nXCIclKQk9
z+BNU|c4Y~WT;XJNncj~?YD-?%+al)^DyNrgk;Mp1j&GFt{+?P=91RpCm8!EU3!D2<
zJ0w^`g&3Q|i}cW6nQ!y&T<|Xv`ASOXZGOk-2=;!4@Et7_3AQzO-&Vnm!A0Lnv$$P?
z0+-!GEvZd$6k!VpnmVTxFUp
zCN}Mg$cDSxY*bysUyw#4@QqW|R=wScMXaRBp38Yd!}87KS=HVz7A-fAq^cLl_QWMd
z#IE9d(v3tL>mOu9g3wU*whBdtfF%bQz}M0=q@OAn2s2aX#YHtgZ)7Bw2=bIaYQJww
z-bw>0ES=P+KQCKCQLBA#T{S9q1SZ+){>7&_;X~N7C0Um8X@2p|Wm7(V)b}dpS?t_E
zO6a4U-|u!}2BJ-K5wjO`3)#KjuiI?;>VKFzUzhwrC^#iG%PZ3=^me7-@hm6o9})>&
zjp$_=pu3b;6;$xT9WGKMePyqtZ1_BPa|ADs0}<$qOJ1l%XOhtfqW9L@<>E6)A(KLv1YJ-=^ZWM
zwJ+@+idwXAD}TTHtKgz7voc|&x|)#<-^ZAk^~hen*55>VE7&WjY8*_6Q)EoV-guHT
zXhMgcuqG_zyARDWnhTA}^CLPLwgRqKmAT@)Sub@+h|NNi+PTde1^)NUaFiU#ixkYh
zC9ZhF=KsB^{!~!Z-j4UpxvLdwG393u%deJ4zGCN!pac)DX81aps?r}7`h@gPSRDqm
z;onLG+(CA(c9``X%DH@A+fDd=^YQWajFwxZ)V+NlH`hsmB6mXnwYvmESEYwLz#XNS
z+>;#A4`qMTg?O$tjTDSH1@ev}mcBSdNHm%6rP$ro78w^$BIX^uGz?3_G-(kRQ)nh1O3)_yHdKAV291Ql_`-B`e*A`G^2`j=wpUu
z9Hc&`PlxFt-z-_2JX*KZFm>BE+x#XCqv`JlYoGIN*zCDL=fnk{gplsii9ZP%e24ic
z$Ie3Uv-Y2rs3-OiEGyoJuXs}s-&RtvL0SO`aie2RD&2ICY*WV>4v7U`}2uXzh+QCQ|%vGaYK=R3%ye9ZnS;1hTD{cKth3(Ae
zPu}IV__fVF=B=8xZG5IySC2UBE`x9ST{EY_xUQ)hUvb+bfZ&A4GNvdwJjHIUMkiz`
z@jaYxR5=97M?UWvy(=O-JSzBXkc2gyzwxFF1Jvne-c+j^kU=pPHYRJ1e@r=>d|%gc
zqRDyRtQMleM7N#&Ju*Oq>C-3Ng*C&q3}GlcB$GMBO>wLwDuV}{=1-haURQeGxBApb
z0O4Xc-#`I!q=YPqa9Pk=RXurQBZCd0_*4%D3^0`LgA$=?eWq`ZgnEf)W?3IK5CMSa
zE>;N|pkwtl?cQX5@V4m9n{zhnT#t0>m><+QBm49OTto-K3Q>W$yWuXwI4s09V)@+0
zr9(KOTLEo=h&^b3kY`m}@>#d>x!(~5Jr2O_Oxc|8PO9yEEqI;1UOg%tyVhr%K$A)i
zbz1E~yZUp~o(l`baa!&`aMk%5hMy}P4fS=6YVp3R8l*d(-UlKBILj0$n|3)u%vGN^
z{t87qLq%5UdePlFA;8AqB`9xOWbHG-U?oElxLUjL>_%
zYsFduF~M!$=5?j{kuy}hEJkP?e}$h!{!5f4HQ@vWFqVdR^J^&m`ChYvEGe8VI8|;y
zRvd5y7IsL+jW7eGGl1fSqNx|?XXk=!FU<@3A11FhY{a0ACU%N64*jLN?9ZkjU5MGD
zAFz{NRHfSxPb)`6mN997oD`*{lBLFQ`|HefhAdP-?}#x%+ntxf*y`r@Nl`=Oq6$q4
zl->Sb5PwZnblb{nbCAf@OO}cs+Lh!7rd~|mNlZs98@h*a(oTRPLrcqX7lsua{gHkH
zUNgIGUZWtiC(4
zm&sH+c|2~LgelyXB9K@4vsPx`AmZ%j*{&lB{>rzZOW*Me*~h=Kw(x962MUO5T~#$>
z#bHz)>J^;26G}o6Gkp_!DnjM)PM{$_lLOkb=A&HG?NhbWJ5Ld-heH)DDzFpJ5a7+(
z(yEhsHEZJqXpvYTvh0Mn26%=5c25`$3U&FIqZohG1eCnlco2g$pWj+q
zH5SoZ$^UKoCt|kUZu2Fz{En(YTZHDKu(X?^;=cFUXjY7;rqmhy+_n@H>9Vo)VA{1R
z*NxR7b@S*GAx3usGi|+ef|}k$2Q@RXOH*lUMjaf|c3pnN3f#Xjtdf2ZH<9p%9Z=lx
zeyP9(J;#Bn@zU=q{C8o}C#zpSzaSNGlMfYzJ#^R@#Gi!9rZcHrci5(Iwx31pQFSA!
z%c|0j-iZ#U;r>RPH)*Sv`hW<5;Bit>QQ1U)mgrmo+KDWH;(H%+3pbEnjv5*fP9~NB
zcXdB}9s?MNQ#Djcz^cy#R5o0T2{F^4M3p7T;`b|w5?Ij)F$jiHojH@B_im)*fnGIH
zxvdO?Nx!w$^ZLdc#*St977pZQIod)?^w|3@n;aYCOEjTt;(aptTB$jM>kOw?6~~1>
zS}5k9!(tf*Gdu%Lt_C-Hw?_5(b*{hdP}b&6#dH~?51|BtxaiTiT=lXU1OCLXl(>eO
z4+XA_N*SUvX@Qd~a)53=@vFmZIJt0kb6+nn5t*o{A(2ye^F$M~p*s(lzUQw)9+%37
zK>F}j**W!Wz@#H>Fs{hQa3b`Wn(H+v=(aOM(DAQ6z&Lf&I0nEYS12LN1{HUgZSEq>
z2~fKj7d+PER!ttUWH6;kh-Q`Yr9Z;-V3p_8oc&;$Kup19
zGQKOb%a=DDX5*-vr;u*d0uFkuKml!7J5MwI*#|F2hLvzNR5(1l>T268A>N`Q%G7T2
zZnV<>1L|T7(^GJn(zvsu&=vB+?fc;H5aKS0miI!ujs
zG!3dE`wyuJdN|vNEzZT7;p#uC
z*MM=_%qR_urHlCaYI^5_me6>$xuPpyli@;&h~J{~@WEo(fo?w7`M7O=_JbJhd0juM
z=&R6B*yQ8K2$^Xx4Ajl_9GTdOjsNTy{ji+<4E*ujx;?oFhmQ`o^MbQNxPl1Ewn^!1
z)<;Z*Z0*6*J;JLbr3tn1p}=F+i%T-O25)+q-QY)q7tsLdRRD376&+bFrUKn%c)!X^
z$KRkAR;+;Bp8++-090Q_y=FJHglvo~F$@od!5u1bl<0RAFuE5^8fCgOT|r%aAIM=y
zH1j|zO$Q36YT=xXpn2$V$n`JU92kKvCsA@lKe-*!1PM7ec*%XG-0~9-w;n8#G
z1WZo}j(fF1`N|vdLPLJ8q56LO+GM&+Z;-1`U-p@SjWl@IzQa`ki259?L}v*#7YpDI
zlf{KF^laG)(WIK&CIsd~?Jmu6qT#&K59hQ4i`SOxX4(0$2-}l+TrZ0c3O>EtrP;Y4
zXH|Aom$-7fsRw+h;1^>VulNtfQS6@5p^Sd@iBH>ADqHV-RSEC}^Capkw(waj*gZk%l@1)!gBuZz+dw>olSW
z|Dv6s#a$K9MTjXpvi33yVclJAty_$jphx4YSvj~C?mXHIRdR(S+=y~
zHjOp073PrVMXyaGuSVgC#T1h5udi(ym^;rK3b3uW8)<{Gn|<}A*RF09P)iW+us|+=
zRGs%t7hgY~SJGxeeP^u4sWlH9o=$A{Yugv9)+k#DG2qdX2N@Sllmv{B(`x34QS(Lb
zmk>i}bn5XBMG<;G@=a3uyqs;Lyy%2cc|g|iQ3K$qO;7dtf2?~r(Z=SiL*HIW<+vUb
zT$K!`yjZ!+yV68ET!O)Ae>wi<88Oy+_BS7I^xC6u$~W&u
zYuj=AEY`*zs?|#&Pc8^39;i;ve?y!;5Yt5LvBYIJ-NNHa7l?vicL4H|tj}X&`n^iE
zfSwj6w@MLr0yUJ>v5(@;8NN{2%v+g4X4L48#+hjL
zPdSJmG8OXJw0aR`>G3++H5=ykO?l0rlBtP@r97?M+A;;IoVBD(q|;~Wb4<*LQaG2Q
zRQm~O%-zS}Gnbl$5kK%*w%vy?i6Kbk7ILvWXOM^u(QI#nu0f_le9Xoef!
zj^U@CI$Tp#I4wvTT6NH`RVd_}>TP7fsGM=jxwBB7P(r4uHR3+J!%Uj9QbtDUG`qDQ
z)+xVGRn#|Zk!*nfWQw?6p_Y9N%IQq*8w*%I@dsI|KLgan^i4D`p-}TfNf-`1PL62`!ItZgP^-C!c`;@||m>-8d%nCE<%~aw|Fesd<9KNBl+{eV8fY8=~v%w~JGGTGTJk-xR%B?ab~oov)dV
zX}y!?Q@clM9D~;GmC&{Xc>G?ReG?!iXxtMIsoLFU;Pd)=A1~w|0zVHrC>3jxawuh!
z5I?-!N2La4A6_LVZzi;Up4;vCY4P1JhLq^G+{-E*6my3(bf+ZQq9ybsu*xEQabH$F
z2;3`}=AWhdv|co(cUqUuIGe2Cx{&hYR)9MQg)Gzz{Pg*3&RfA!%)YiJCy&OFOGr2f9Q}$a$_8j7H
zrZf&LWPfA9(>TAi=P+jRC$B$oNh1E@(+_P-EiTQRu~?_vm1^ZIGvh+#;-WtnC(Wd)
zsTyip6b(hna7=!YHM=_Bh1O^u?=B$@Zw