From 5333702053a0174381f3532b7b6ec2708b85f092 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E7=BD=97=E7=A5=A5?= <1366971433@qq.com> Date: Sun, 24 Nov 2019 08:37:29 +0800 Subject: [PATCH] =?UTF-8?q?=E5=B9=B6=E5=8F=91=E7=BC=96=E7=A8=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../heibaiying/createThread/J1_Method01.java | 16 ++ .../heibaiying/createThread/J2_Method02.java | 16 ++ .../J1_RaceCondition.java | 34 ++++ .../threeCharacteristics/J2_Atomic.java | 36 ++++ notes/Java_并发.md | 159 ++++++++++++++---- pictures/cahce.png | Bin 0 -> 18359 bytes 6 files changed, 227 insertions(+), 34 deletions(-) create mode 100644 code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J1_Method01.java create mode 100644 code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J2_Method02.java create mode 100644 code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J1_RaceCondition.java create mode 100644 code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J2_Atomic.java create mode 100644 pictures/cahce.png diff --git a/code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J1_Method01.java b/code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J1_Method01.java new file mode 100644 index 0000000..06be26f --- /dev/null +++ b/code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J1_Method01.java @@ -0,0 +1,16 @@ +package com.heibaiying.createThread; + +public class J1_Method01 { + public static void main(String[] args) { + System.out.println("Main线程的ID为：" + Thread.currentThread().getId()); + Thread thread = new Thread(new CustomRunner()); + thread.start(); + } +} + +class CustomRunner implements Runnable { + @Override + public void run() { + System.out.println("CustomThread线程的ID为：" + Thread.currentThread().getId()); + } +} diff --git a/code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J2_Method02.java b/code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J2_Method02.java new file mode 100644 index 0000000..eb4c1da --- /dev/null +++ b/code/Java/java-concurrency/src/main/java/com/heibaiying/createThread/J2_Method02.java @@ -0,0 +1,16 @@ +package com.heibaiying.createThread; + +public class J2_Method02 { + public static void main(String[] args) { + System.out.println("Main线程的ID为：" + Thread.currentThread().getId()); + CustomThread customThread = new CustomThread(); + customThread.start(); + } +} + +class CustomThread extends Thread { + @Override + public void run() { + System.out.println("CustomThread线程的ID为：" + Thread.currentThread().getId()); + } +} diff --git a/code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J1_RaceCondition.java b/code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J1_RaceCondition.java new file mode 100644 index 0000000..de1e894 --- /dev/null +++ b/code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J1_RaceCondition.java @@ -0,0 +1,34 @@ +package com.heibaiying.threeCharacteristics; + +/** + * 竞态 + */ +public class J1_RaceCondition { + + private static int i = 0; + + public static void main(String[] args) throws InterruptedException { + IncreaseTask task = new IncreaseTask(); + Thread thread1 = new Thread(task); + Thread thread2 = new Thread(task); + thread1.start(); + thread2.start(); + //等待线程结束后 才打印返回值 + thread1.join(); + thread2.join(); + System.out.println(i); + } + + static class IncreaseTask implements Runnable { + @Override + public void run() { + for (int j = 0; j < 100000; j++) { + inc(); + } + } + + private void inc() { + i++; + } + } +} diff --git a/code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J2_Atomic.java b/code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J2_Atomic.java new file mode 100644 index 0000000..ab34a8b --- /dev/null +++ b/code/Java/java-concurrency/src/main/java/com/heibaiying/threeCharacteristics/J2_Atomic.java @@ -0,0 +1,36 @@ +package com.heibaiying.threeCharacteristics; + +import java.util.concurrent.atomic.AtomicInteger; + +/** + * 原子性 + */ +public class J2_Atomic { + + private static AtomicInteger i = new AtomicInteger(0); + + public static void main(String[] args) throws InterruptedException { + IncreaseTask task = new IncreaseTask(); + Thread thread1 = new Thread(task); + Thread thread2 = new Thread(task); + thread1.start(); + thread2.start(); + //等待线程结束后 才打印返回值 + thread1.join(); + thread2.join(); + System.out.println(i); + } + + static class IncreaseTask implements Runnable { + @Override + public void run() { + for (int j = 0; j < 100000; j++) { + inc(); + } + } + + private void inc() { + i.incrementAndGet(); + } + } +} diff --git a/notes/Java_并发.md b/notes/Java_并发.md index 1ce660c..8a315b0 100644 --- a/notes/Java_并发.md +++ b/notes/Java_并发.md @@ -4,62 +4,63 @@ ### 1.1 创建线程 -创建线程通常以下两种方式： +创建线程通常有以下两种方式： -- 实现 Runnable 接口： +- 实现 Runnable 接口，并重写其 run 方法： ```java -public class MyRunnable implements Runnable { - @Override - public void run() { - System.out.println("Runnable:" + Thread.currentThread().getId()); +public class J1_Method01 { + public static void main(String[] args) { + System.out.println("Main线程的ID为：" + Thread.currentThread().getId()); + Thread thread = new Thread(new CustomRunner()); + thread.start(); } } -Thread thread = new Thread(new MyRunnable()); -thread.start(); -``` - -- 采用匿名内部类： - -```java -// 1.创建线程 -Thread thread = new Thread(new Runnable() { +class CustomRunner implements Runnable { @Override public void run() { - System.out.println("Thread:" + Thread.currentThread().getId()); + System.out.println("CustomRunner线程的ID为：" + Thread.currentThread().getId()); } -}); -// 2.启动线程 -thread.start(); +} ``` +- 继承自 Thread 类，并重写其 run 方法： + ```java -// 使用Java 8的lambda可以简写如下： -new Thread(() -> System.out.println("Thread:" + Thread.currentThread().getId())).start(); -``` +public class J2_Method02 { + public static void main(String[] args) { + System.out.println("Main线程的ID为：" + Thread.currentThread().getId()); + CustomThread customThread = new CustomThread(); + customThread.start(); + } +} -由于 Thread类 实现了 Runnable 接口，所以两种方式本质上还是同一种。需要注意的是，当你使用 `new` 关键字创建了一个线程后，此时线程并没有开始执行，所以你还需要调用`start`方法启动线程。启动一个线程的实质是请求 Java 虚拟机运行相应的线程，而这个线程具体何时能够运行是由线程调度器（Scheduler）决定的，线程可能立即执行，也可能稍后运行，甚至有可能永远不会被执行。 +class CustomThread extends Thread { + @Override + public void run() { + System.out.println("CustomThread线程的ID为：" + Thread.currentThread().getId()); + } +} +``` ### 1.2 线程属性 -**编号(ID)** ：用于标识线程的唯一编号，只读属性。 +**编号 (ID)** ：用于标识线程的唯一编号，只读属性。 -**名称(Name)**：用于区分不同线程的名称，可读可写。 +**名称 (Name)**：用于定义线程名称，可读可写。 -**线程类别(Daemon)**：布尔类型，为 true 表示是守护线程，否则为用户线程，用户线程会阻止 Java 虚拟机正常停止，守护线程则不会。通常可以把一些不重要的线程设置为守护线程，比如监控其他线程工作的线程，当工作线程停止后，虚拟机就可以正常退出。在开发中我们可以使用`setDaemonn`方法设置线程为守护线程，该方法必须在`start`方法前调用，如果在其后调用，则会抛出`IllegalThreadStateException`异常。 +**线程类别 (Daemon)**：通过线程的 `setDaemon(boolean on)` 方法进行设置，为 true 表示设置为守护线程，否则为用户线程。用户线程会阻止 Java 虚拟机正常停止，守护线程则不会。通常可以把一些不重要的线程设置为守护线程，比如监控其他线程状态的监控线程，当其他工作线程停止后，虚拟机就可以正常退出。 -**优先级(Priority)**：Java 线程支持 1~10 的 10个优先级，默认值为5，代表一般优先级。Java 线程的优先级本质上只是给线程调度器一个提示信息，它并不能保证线程一定按照优先级的高低顺序运行，所以它是不可靠的，需要谨慎使用。 - -需要说明的是在 Java 平台中，一个线程的线程类别，优先级都默认与其父线程相同。 +**优先级 (Priority)**：Java 线程支持 1到10 十个优先级，默认值为 5 。Java 线程的优先级本质上只是给线程调度器一个提示信息，它并不能保证线程一定按照优先级的高低顺序运行，所以它是不可靠的，需要谨慎使用。在 Java 平台中，子线程的优先级默认与其父线程相同。 ### 1.3 线程状态 -Java 线程的生命周期分为以下几个状态： +Java 线程的生命周期分为以下五类状态： -**RUNABLE**：该状态包括两个子状态：READY 和 RUNING。处于 READY 状态的线程被称为活跃线程，被线程调度器选中后则开始运行，转化为 RUNING 状态。 +**RUNABLE**：该状态包括两个子状态：READY 和 RUNING 。处于 READY 状态的线程被称为活跃线程，被线程调度器选中后则开始运行，转化为 RUNING 状态。 -**BLOCKED**：一个线程发起一个阻塞式 IO 操作后，或者申请一个由其他线程持有的独占资源（比如锁）时，相应的线程就会处于该状态。 +**BLOCKED**：一个线程发起一个阻塞式 IO 操作后（如文件读写或者阻塞式 Socket 读写），或者申请一个由其他线程持有的独占资源（比如锁）时，相应的线程就会处于该状态。 **WAITING**：线程处于无时间限制的等待状态。 @@ -69,9 +70,99 @@ Java 线程的生命周期分为以下几个状态： 各个状态之间的转换关系如下图： -![线程完整生命周期](D:\Full-Stack-Notes\pictures\线程完整生命周期.jpg) +![线程完整生命周期](../pictures/线程完整生命周期.jpg) + +## 二、状态变量与共享变量 + +**状态变量 (State Variable)** ：即类的实例变量，非共享的静态变量。 + +**共享变量 (Shared Variable)** : 即可以被多个线程共同访问的变量。 + +## 三、原子性 + +### 3.1 定义 + +对于涉及共享变量的操作，若该操作从其执行线程以外的任意线程来看都是不可分割的，那么我们就说该操作具有原子性。它包含以下两层含义： + ++ 访问（读、写）某个共享变量的操作从其执行线程以外的其他任何线程来看，该操作要么已经执行结束要么尚未发生，即其他线程不会看到该操作执行了部分的中间效果。 ++ 访问同一组共享变量的原子操作不能被交错执行。 + +### 3.2 非原子性协定 + +在 Java 语言中，除了 long 类型 和 double 类型以外的任何类型的变量的写操作都是具有原子性的，但对于没有使用 volatile 关键字修饰的 64 位的 long 类型和 double 类型，允许将其的读写操作划分为两次 32 位的操作来进行，这就是 long 和 double 的非原子性协定 ( Nonatomic Treatment of double and long Variables ) 。 + +## 四、可见性 + +### 4.1 定义 + +如果一个线程对某个共享进行更新之后，后续访问该变量的线程可以读取到这个更新结果，那么我们就称该更新对其他线程可见，反之则是不可见，这种特性就是可见性。出现可见性问题，往往意味着某的线程读取到了旧数据，这会导致更新丢失，从而导致运行结果与预期结果存在差异。可见性问题与计算机的存储结构和 Java 的内存模型都有着密切的关系。 + +### 4.2 高速缓存 + +由于现代处理器对数据的处理能力远高于主内存（DRAM）的访问速率，为了弥补它们之间在处理能力上的鸿沟，通常在处理器和主内存之间都会存在高速缓存（Cache）。高速缓存相当于一个由硬件实现的容量极小的散列表（Hash Table），其键是一个内存地址，其值是内存数据的副本或者准备写入内存的数据。 + +现代处理器一般具有多个层次的高速缓存，如：一级缓存（L1 Cache）、二级缓存（L2 Cache）、三级缓存（L3 Cache）等。其中一级缓存通常包含两部分，其中一部分用于存储指令（L1i），另外一部分用于存储数据（L1d）。距离处理器越近的高速缓存，其存储速率越快，制造成本越高，因此其容量也越小。在 Linux 系统中，可以使用 `lscpu` 命令查看其高速缓存的情况： + +![cahce](../pictures/cahce.png) + +### 4.3 缓存一致性协议 + +在多线程环境下，每个线程运行在不同的处理器上，当多个线程并发访问同一个共享变量时，这些线程的执行处理器都会在高速缓存中保留一个该共享变量的副本，此时如何让一个处理器对数据的更改能被其他处理器够感知到 ？ 为了解决这个问题，须要引入一个新的通讯机制 —— 缓存一致性协议。 + +缓存一致性协议有着多种不同的实现，这里以广泛使用的 MESI ( Modified-Exclusive-Shared-Invalid ) 协议为例，和其名字一样，它将高速缓存中的缓存条目分为以下四种状态： + ++ **Invalid**：该状态表示相应的缓存行中不包含任何内存地址对应有效副本数据。 ++ **Shared**：该状态表示相应的缓存行中包含相应内存地址所对应的副本数据，并且其他处理器的高速缓存中也可能存在该相同内存地址所对应的副本数据。 ++ **Exclusive**：该状态表示相应的缓存行中包含相应内存地址所对应的副本数据，但其他处理器的高速缓存中不应该存在该相同内存地址所对应的副本数据，即独占的。 ++ **Modified**：该状态表示相应的缓存行中包含对相应内存地址所做的更新的结果。MESI 协议限制任意一个时刻只能有一个处理器能对同一内存地址上的数据进行更新，因此任意一个时刻只能有一个缓存条目处于该状态。 + +根据以上状态，当某个处理器对共享变量进行读写操作时，其具体的行为如下： + ++ **读取共享变量**：处理器首先在高速缓存上进行查找，如果对应缓存条目的状态为 M，E 或者 S，此时则直接读取；如果缓存条目为无效状态 I，此时需要向总线发送 Read 消息，其他处理器或主内存则需要回复 Read Response 来提供相应的数据，处理器在获取到数据后，将其存储相应的缓存条目，并将状态更新为 S 。 ++ **写入共享变量**：此时处理器首先需要判断是否拥有对该数据的所有权，如果对应缓存条目的状态为 E 或者 M，代表此时均处于独占状态，此时可以直接写入，并将其状态变更为 M 。如果不为 E 或 M，此时处理器需要往总线上发送 Invalidate 消息通知其他处理器将对应的缓存条目失效，之后在收到其他处理器的 Invalidate Acknowledge 响应后再进行更改，并将其状态变更为 M。 + +在只有高速缓存的情况下，通过缓存一致性协议能够保证一个线程对共享变量的更新对于其他线程是可见的。如果只是这样，多线程编程就不会存在可见性问题了，但实际上缓存一致性协议并不能保证最终的可见性，这是由于写缓冲器和无效化队列导致的。 + +### 4.4 写缓冲器与无效化队列 + +在上面的缓存一致性协议中，处理器必须等待其他处理器的应答（如：Read Response \ Invalidate Acknowledge）后才去执行后续的操作，这会带来一定的时间开销，为了解决这个问题，现代计算机架构又引入了写缓冲器和无效化队列。 + ++ **写缓冲器**：当处理器发现缓存条目的状态不为 E 或 M 时，此时不再等待其他处理器返回 Invalidate Acknowledge 消息，而是直接将变更写入写缓冲器就认为操作完成。当收到对应的 Invalidate Acknowledge 消息，再将变更写入到对应的缓存条目中，此时写操作对于其他处理器而言，才算完成。 ++ **无效化队列**：当其他处理器接收到 Invalidate 消息后，不再等待删除指定缓存条目中的副本数据后再回复 Invalidate Acknowledge ，而是将消息存入到无效化队列中后就直接回复。 + +写缓冲器是处理器的私有部件，一个处理器写缓冲器所存储的内容是不能被其他处理器所读取的，这就会导致一个更新即便已经发生并写入到写缓冲器，但是其他处理器上的线程读取到的还是旧值，从而导致可见性问题。除了写缓冲器外，无效化队列也会导致可见性问题，当某个写入发生后，其他处理器上的对应缓存条目应该都立即失效，但是由于无效化队列的存在，Invalidate 操作不会立即执行，导致其他处理器仍然读取到的是未失效的旧值。 + +### 4.5 内存屏障 + +想要解决写缓存器和无效化队列带来的问题，需要引入一个新的机制 —— 内存屏障： + ++ **Store Barrier**：存储屏障，可以使执行该指令的处理器冲刷其写缓冲器。 ++ **Load Barrier**：加载屏障，将无效化队列中所指定的缓存条目的状态都标志位 I ，从而保证处理器在读取共享变量时必须发送 Read 消息去获取更新后的值。 + +冲刷写缓冲器和清空无效化队列都是存在时间消耗的，所以只有在必须要保证可见性的场景下，才应该去使用内存屏障。何种场景下必须要保证可见性，这是由用户来决定的，这也是多线程编程所需要考虑的问题。在 Java 语言中，使用内存屏障来保证可见性的一个典型的例子就是 volatile 关键字。 + +### 4.6 Volatile 关键字 + +Volatile 关键字在 Java 语言中一共有三种作用： + ++ **保证可见性**：Java 虚拟机（ JIT 编译器 ）会在 volatile 变量写操作之后插入一个通用的 StoreLoad 屏障，它可以充当存储屏障来清空执行处理器的写缓冲器；同时 JIT 编译器还会在变量的读操作前插入一个加载屏障来清空无效化队列。 ++ **禁止指令重排序**：通过内存屏障， Java 虚拟机可以 volatile 变量之前的任何读写操作都先于这个 volatile 写操作之前被提交，而 volatile 变量的读操作先于之后任何变量的读写操作被提交。 ++ 除了以上两类语义外，Java 虚拟机规范还特别规定了对于使用 volatile 修饰的 64 的 long 类型和 double 类型的变量的读写操作具有原子性。 + +### 4.7 Java 内存模型 + +以上主要介绍计算机的内存模型对可见性的影响，但是不同架构的处理器在内存模型和支持的指令集上都存在略微的差异。 Java 作为一种跨平台的语言，必须尽量屏蔽这种差异，而且还要尽量利用硬件的各种特性（如寄存器，高速缓存和指令集中的某些特有指令）来获取更好而定执行速度，这就是 Java 的内存模型。 + ++ **Main Memory**：主内存，Java 内存模型规定了所有的变量都存储在主内存中，主内存可以类比为计算机的主内存，但其只是虚拟机内存的一部分，并不能代表整个计算机内存。 ++ **Work Memory**：工作内存，Java 内存模型规定了每条线程都有自己的工作内存，工作内存可以类比为计算机的高速缓存。工作内存中保存了被该线程使用到的变量的拷贝副本。 + +线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量；不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递需要通过主内存来完成。 + +![java内存模型](../pictures/java内存模型.png) + +## 五、有序性 + -## 二、线程同步机制 diff --git a/pictures/cahce.png b/pictures/cahce.png new file mode 100644 index 0000000000000000000000000000000000000000..4461d19cfd5d37274725ac678d7e66878b996ec6 GIT binary patch literal 18359 zcmYJb1ymc)`#nr4P~0uJySr1|-QA_QOR*MrDemsY-63cxQd+FILyK#G5b{sIzt4N# zusOSDch1i2%>?DqloS~17ySZ` zXYfS&B|q~D1?Xv#FjB+H-uA5Y7Eiqr0$E0WXRk3t#dKVPy!+1UI3;&QSiKrgy(cj`j8r!XM_*9$`^TR*N*biRm zy!JYyxdA@L3YgRsJxdFJt+D|li(E|pqr%Rj*44FJ)hxdXDf+IorB>0&dq>F}H(#3hr< zMh5l){_&aU*cl6K_2kNx%Z&jQH0`H&9KNCf-*o>51cgw@SBq~>&C1gXlI}(KbvDUl zym>%H`=sZQSN#jHV(X5zPEIKyMx!t{{g=n7D@MI@zU#7QrR(@vW+Ggr;EsL$lKvx$ z2a@XU;~0_?XeVFG100dNfVMY|z##9K7sJjUtx+=obx3+0`Q}7Nx!VZlM84b?=HAau zTUT2L6(f&un!r)$c?~D+w}mGFS(W~7m7j0>h6FWA+Oi$=-ZD|Y_J)B&QdxH9tz>hH zo0vFuJ)znGtFz7SMEX2C7f@>X>oGq51fG=|!`(f52Cia1DB^C2*d!n*1=UE@smBIP z!2>@sYT#&78R-Ig1DIga)e4}`J^9!U>1({~gv9Zbkea!l@1Eys4H%#*DuHZJ`Hi7uYbOpf4n7%+%5$qlIrxyYrU*l zy8NAB&f7%NEKhX)+v^6~3U;I2*0u_50yJC$R#zGd@^$x}etEo*Q013gmP{94=(!f=AU+Zg#L z-hG#k5b^j%&zC1PFcW>qB*1qaa@_Dr&G6ur0Nt5TCEJxsgw?e|Z2rtG)I19@3@#X# z)Ti`g58Hc92>CoP@CKaJ&CNjqVN3prWxt1h@R|_kx*GOK*DsfAl5y!4Lxl`Xf09IK zVnYt6>QCEVsOpy5`;q}>ds3Iej%4)c=8A%?9G7m9uyUNdB!DjXJp}^AKqtKw(qv9D zqCHtSXBIldA7wv&&FP$N4iT7pl@(s=Rm|lOt5OsZ<7u%;J+@&lj#HgRmZ=N7WT7gh zd3hvuwq8ZvW=`poZ- zJqvkCau^dI3#F4hB(Mi=Kfe4bi@$$pAPZB_`gRU-XgsN$JTZKtVgR_QC_tQr~q5UOr+t0yAUTlXK5>m2_Md4`5 zpHcJG^*agmZ)Y)z7v>;JJ+B3Oi9AA;7hKOgrSH49 z!|v6UmVRuErs545yiemK*p^VAB1RTHv2nHUFHRN>LT z3T=;{Ai2!qqLa@0Y93rJdsP41srX7Il0ZB5MX^bQtwK4}F!()~&z|go{I2z0kuzw! zC;P!62W_;-PHNe`%6|f|(EOs+clM(>egbJebt)L)Qfr(w(r3AW$Mfz1W#}!lsV-u} z8{fEWJ8Lc@Q&DoQ07K{99^_p9l)v)s=NeL&`bk;5w1>(0zv;vZmjPX@^as_tmtCic z`DbZd!SHCf`MWPxh5c@LE%8}qYrh98_a)g{x|ar%BdQ5Q`Ox?A>slk1g{N6ap8S3m zhOhuWr!$UUJ>BCLP}PLH|483j9Wp6nY5mzL47!Pc=&_9{6EO(u)A0$mG4FvGxqlhr zuyuZT@iVvfetl8uoG=DIkcGvJ?KOa69BirV;4k?F3b`om-Id!c8GcKo=iD?DFSvqL zW*)(+?aZ)XiaC7gr~{kj$n|9E`O?@DXwgQjr67`?v5+Wo#T;o^+=Wxj*)w0=D7+tL zsNmQfEXKRep}jfBZP^ZmXh;L`hcHNURB4B7dT{I6GjuG?q) zZdeEJ$vdltifv0wj=8kLw4w});lS?Ltk@xfrc&38OSUt{v?(91@*qXBd&t^Izf9-V zIBsK1_SK6Q%6ci;N4jf&5eun;tcWbFL&M5MF`jKzrpA_s*FOc*U`S?~G@2AM@LufB zf=MtkUQvp`prCKC*u-{XlR#O7g=Y5&z?UyA!YfA|S2Dl+VAe^$XiZXSy;LuZGL7gQ z6`$y-X4W@Rqt5e7cBS9z^@8GF?oFdsdRYoNZZ2y*zK*G`cHhJd(~v8dHJ)0?Kt;#xzjM&^AVw5;hj92E>%f5Kxq&Dd6j_-U=!Qp8sAW6AZixhAN)n} z_$(O-Ze?Z~V;=}pl%OwLnmEyI2-fVTN!~X$S?@xY6xcH01+tqQ7jF-ChpjKKuPIpW z=@X5PW<4h>_3B&5-WWSjAFe%NBc22={Au>o)C(-v`Pd#dNP^@)cat${U7@UiO4KPd zFZ|t%4Dy^Zj{!qs&)>wORI^8$Hrz%s5Q}I=a_h`D@#nWhppECEbUdtB8j&ByR?24h zS@gTRpHLWfJ^Sb0b%+&d;Mwl4xn#F6ZvC~m3~Ajs(n6Wn7<%2u(_S}TVxh5o`qj*& z!Kqxk=KJbm6GTk#*PtM5#Sd-3H*7h19~Sr8i(uF*>Qoh#lsn=~yxhKY(!|jWfq-9J zsAMPhTzY&%AG-Fp*nKQW*V$%KADC{2k?G=5(^F6NvU3W>UQ26nsB#anygb=oxa?z|AK%NZKL;9Wx>q-{_}=Hs6}=0EN$kr>_aXRtMmN5z!$21 z=JnG2Zy_H9M*|kU$(2D&zwz6$?CWPZ>-mai z!}#(o2QN2Ran@ajK(`^Kk;k0oP|B_@K}%4~z_ZPj)Wp$XX7q2Ng>HybkWZ#l3vGUe z%+MQ?qKo*aHJ)t4YeAXF8RvpZyceZ002;7*hyUhfGYQ)~O3@KDoQmwzW#*6I_wYK8 zef`oqb({jVr}H>KqsP!#xYg5Ct|%(me(Al1Q!>URD&W2Z_}GGu%R+$|ph3qYNcWHx zP>Vnz1ppa>BQFn-u5a}^pFw?eR1Skfz9HN2NI-Bb5I^nxfPX&@DFP^1xty9G-wUtnR^U3_^^ z*#2yGOay0XY^AWll&!y`dKY(Gccag8zZw~zr+F`vzTdQFx-dE8?6UT^8^FGE@N#}X zo~atN*5wy03syqh7&(hBE7c>vXi#2kIA=W%I03hu_IoZ--yi3TLuWuXr?1UC3!rck z0?M$-r*RQ+8@O5)lOGpJhj;xQSEhH@TpYyBD}{2%^Qk!-F)I!y-;_z_(}xQrLx=R} z*rG%OCP1{$uXD+6;x0bHqS~$|&`=i}UqA@wM4gApG0~^YoR(;%d-Z{+`^{(P(U`7; z0o?SaJtN$l@GI1!pU?^JeX?4<>$kWqL6(SJYoTeY8`i@1!5#1UaMeQ_dfx{@LR~N5c_mI^{t3>IgKXPHaEadZ+BLKXd)<5yY z52z|uQJ;(g`{hvjVRfn`(y^KJ3_@^2=D!SYNHbi$@|obKn5+lY{=SZOxE~7o{TzBW zQf^_r*9eJv%JDoeSuHDIf|{7RJ{oX-wX0;0o@_YL8qX3|t_c;m*M?gm%_`}z!`!^Q zWZ*tG13R3%T+G~brF3ctiR|Y%ZAivof7Zdb!%XywHh_)rc{7tr!i=iH_kez=TGM6L zlH2kSr3q+K`jo|yeTDz8${Wt@!u%ei{P2tjTJ{ubSR~Upkavye`s~oO7mFx`UG&Y( z6;+^gcw`;7=g}Gl->PYF^I)ak?XctKZ8Cu$AV=8-L-aPcf)2!AN<-+cvS&Ot?e>H&I!D&;L|X~ z-9HEpFX*MI;%tAFxc(PAIH0iDQQV@RbM+aU2~EQ&+ynpOdsPW`*L`TV>ikwjc-(q# zD3;0J!kYqa8Y^a((FrNN%CC{sWbvd0o?rdHrvAYVtj5rK3YlxVxsuI65@ee;Ew_$J za300yQDW?e6ToEnH8qZh_KsF)-wgL-?UrX~`QzPDV849s@stMRfgPg0lYpw!Ovz^1 zLpT>US&JNphC1-g2ZaejfK89bkr2Gqvqw`;}#5AyB~f zlHU}Gk2UXddZlr_#(B z{zEk{@w^O&G-=dr#ztLqTzA=zt|(eP(C{n3i+QRs9oIH1H4Df>^{kmNDG_BFotDYr z;SlmlFDrc~Wq&d184CuT6BK>>6?M>p##!P&;X;Pbchd=+vq#D<5B+2DNip`-RT|n^ z8g@*g*`?(8u`p)de7YuzXhFr1@T}BV&>9WO=%z4PvE%gi$mifuH{>GVPWUzJOhoeE z+6N^-S$JpI2Q@jTCFlgmms#-$&-Jm;^}TNDZ+8?^5>1kgqHTX`jXaWFjEQ*fFY3in zPdZ%*vQ#Nhua*jS1U^6g7Rm`yc%Y%~^@Iwp9j}AUjp;P76##N`!Gl`{ySD)r^$66v z(JrW1q)7$mORruI=AzJvsn_3R`qFoqFNkr!xOgr{RoYO)!>=gZJSI$NCm(Ry(eT8? zxB9(8X>7}HB_+jA^XX+%wgv|xDI;FJ^Fx$zB0|urmxp`lA?}!$G=nW5-+z zo%IB;rp(SgkblVqt6SA#X?fsb%5atjb|5T$H;jgE7lwDpa&|n;M8KCq(DBsPaOz2| z*TUqaecVOeH{9L9ELcO&g9T0Bysh ze>g(-sAPCq*+ShGbKUzwM3TRt-GX0?akR&}n3MXs3_R2o^8N;}7_G3r&Fo16a$m_o zyq6R}JGbE-kfd2+c`ywMdOJ7=8|Ipcq}ofc%h(tNf7%cHNK9=Hq8+yS&&clY3tIk7 zCu|fo*kbawc^=?@IK}BUqtdSj$MKt6@0c zt5)D}kGTobal|R?J?t-_DNOq2koOO&l(i<+)+-i-vh4P-U-yJU1xUF?ULRjwIVrAw z9Iq7avlIA*Up;N?B!ZM2alLt3FOXxb3z4bq?&lc4b4*b zS|xom@8OR&FuYog%i5M?i!FE#LX-kvsV~@z?o_V0WES4)mjtg31w%VsjvoCtpw*$F z3LP4*U8}`ijLMFU%?f*82sVB`4D4OHXVwIlj~y>V0(Hfp26W1ZyM0fEi=Aq5D$(4i zdUpW@s_kcAx;Fy0ztgiAtbuCAjtNab4wn!U@mI8UPGq3_A>cBt`|f1PF0S;8D{b8T zw}-os%e0z;PItwYAl*IhgojsCd?W&msNJhukb4;F&ep?sgd(bq?@a_Dt2_!QOAe%_ zs5?%5*VR$WOR1N^%sUN*XH9JaCL_$lb17yGnCU@ryjLV7h#Vmod?mMDBG2@Q<5n%x zqK(*VUB@0)t=DAa4v=Tc$*l8=I?`lH%B?J6AOF|fhjS5F3!z@Uhz1x~Xf@L*(H>k| z6y2enkY3qCUZ3dkv9ZCm*HOx`tm?ij`c}KpX1VvU8AJFABY9wR?H$d>iT_2cR9c&~ z;b5MMoh;=kL@6PJN$&}o&&6rbD-sFiNqSsThZUF`1Ht^W&RTt zWMpr93G##sn@WVai?V5ObAV`61hS32gN6S~lu+>^4Su?y&6d2W(VF1*H4}twb62u1 zQEHn)M`#jru3ZE@92GG#Q9f;v?Xsm%QxD2 z+fb5aXN9J1p${sePds1i8hhmFlg(zkKyD8Gp&>zQLw=Cc&X5ojP_ddvcwq#+{^&K0 zgX%Q@oZ995#k|A)R%kpg=6QcLm!j%fR5Ur}SvDQ)g&q4fw1&7mP0Pr+h$J+kI&&3_eMwm8$K&h%xzL05fI!Xo@^T}t^&I2L;S@Hy-6 zOmGt|SU&dz!kQeWBF!tI8`m0g=`mQiVi5SKR~@E{qJ|nJyB8Z3@oSQeX_}#?5HL>V zZ?D5Pp<3Mr5hL2CTk6j3zW%sg7IGQ)VJlOO+Z9U7d$+y<>UW8MLg@`D)_5sO`Br5( zg_P!k+7j`5os^3^Z5SU94=f;B5m}{Zi5h<8N~QtJ=Mi?%aQ<7Ugn1YaHCK?v-P`41 zr&W~n*6qEr`sX}50j&W#eI?~MSnSB*SNK2ExGkblzfP?deO9?!Lli1jZ~nb-qZBoy z93XvqU{<+}5|%E}5xywxWQfCu692X$EHHOa8T7m z{b5`_BOXdqtrEXGPtq$!-G!cAp@YwLj*wt$1fwc8GS;j$v< zZqoW#!iB`-UGPQ5thD1@Th!pIF&I|QD?%DCgRK!_es(t@QU~cb#*ay1ui?E6tG56T z)KGk#2a!o7sB+)Gl4R5!;kx^(+{J!cIpj``4Z&pN!!t>9JnBr z;LpehkVH-Yn&m#_&ZsL@m$-EH?M+mv0Du%zEPg>Qg0=1JOrr#d@Wbl zP6)2d0mdeJz)36v(!FZ-BacMCx1;G)PvXFeyrn!%d^5b}2wX6z>5n?!Tajxqi4YdX zg!?3rH2}k=0TLl=nqLM9>uo$WT@#4T=nkWoKKHek2XySX$!*a=PUe;(i1b05o#%Xg zK(6662%7OLq&G+ zjT*(zghS8KMFTD3#J_#~WmN(2iukU?)3bxG$nLAcDbxVe@?@O5?#0#Md# zF25w;j`$kgi7@z$biVMy!q`uZ;-kEs8&Ll-96uv66}Eoa;kw4xFHdox{}e4)L*Fvq z0a9sL2FWF(*KL!KH7^koA}03Ui}~nawu^Hnxd5`Czx2<084lQXV-K5O_Pv8Gd7xDF zoj^1+L|^x>KodhQj(Dr4bSv&0wnoBF1Hdhkx=%543Z;>4h-ZQL=0c-DYaT`-ymKA% z&(68glKmb3@c*Np{BL{;W0Pi*4+I9@cJtl=j%J@ls!640s4lgl-U7jlku0GEX~+Z! zyS^`if#Xh&hb8f%jM^@7I(^P(PP}CTL;=XApLll2Z8Qf<%mEOv(V_7F6`wf(1R0)= zkOi_{YJJx7p*6DR!s~DHD~i^-Vw%x3{*>^pRgl6GcP(}lp9D%cCIEZa)_9eeV3UBh zO^(vsxnkcMrVzaEGVSHvsT&JylEx;o)csJEKL8BZ68lCYCi2~UDf zAi13$eh6XQ3JI4tUKGNi(_(sMO=R^jLvU#HIwO;9LX2&(l_VR ztBC=qD>i&e&c?5{v_~F?f7<7-@#cYkMXz2WQ7Sr~MVxY8jdxreq$tg4Lor0_Op_3* z#die2^zy6xv(tQ;UP&elUVc7{S(qM~%Z;Yr-`!7KMc1yKdnx^zne^JXVqf9n&f_@| z)44L1I56=WT46UD1rO;n$l{r`Jvkt}rE3@|b3qfFBN62I%F<7&jj3+Mgf3$7+0*EC zvb7qDx;>{;c&!;k`0;gmA1zg!`V>3PR?`o=MzrQiRX}Uq zM^)q)eAC&hC*cNNT4`U2-IvRe{p}=0%TQG6Dr3xNCfTWvuBlO)z=^46PyOVf`VcI# zu!QOYivYpeNCuo8O4EoL=YwiLAKp;a8@rCUioAgD}<#|kE$3MD5rO+ zH6lHU`K;LA7jh{v1PdsLN^R(R_x-zatv`-`zpkN@j3E&rIu`n=r45U*{4Y1uFxF~? zH~|>)GHCR{Ho%6q%N2jR(3^vci1T%o!`-yXuA{75kaqXHYt|JR>|vIkz2pRW=Bm1j zFL2n#u={e#NY!?HtYQ=3eIy9)a8PDw_kEK$tOFMP&>c4&4E}#;Ct`l>hm+9S9)WOH zi44>fAEh0HaSi%sP5LJ8+eNQ^Z<|W@gYcth9yW_TD0y_Y{X=&T?@)G+mg(-&2pBRe zR8hsOpQafLPW|vuRJplZWJvQI^tQ(50+to;3G@XGDC1xsh!x)dgrVIcX|!OVei{^T_ zWAW93YD1wWxy^11B6^FUqEp$R*xX|_W&{$v~TN{u6}n~{r|iG zEJ6vkV&0CIrMLG1ZCCcOsUtv}AGf~pi;&36y+IdLR9e7gJ)`I7aMzLxWhOX@U2551S+uZ4Z~UQ`WBzrub1gAU98%wAElvfu;SBUWyhfvV3gbtuI^% z*bG(lRZHK%j9fu?f9KCc-0nMIcKVVXj=W% z<#u}z-xu3gUt$-@Ugad=pYE=KigB3IGdx&5JRsf4Ph-rb##d4C;W?n+{dL!gG3Bc= z_ZzFw4J)v7U>m1`F-ldvktwAmc{o&)R2GL$U!lH+jT_Dd7AB#L!Q4{PZPK~Lmg4Wf z4x>Aw!6Eo^Pq`$gKkT|6TlUK_hiE^_R4@}(kT}F6AqNh5&RtxA)|`HNKCdQ`nkn)qV=e#Ske}NB9 zvESSHTz~?A)hWP3@nFVkM2L6V&{T7#d{V1bm7H}>LWGDRCs9xTY;8?xtK^jLMY<;f zsS!vF&1NpqjSBOo-Omh>1>WQvrT@75;gA$>29-s0Hu=mV^(e|Wd;?zyVnZb%q~-tK zvLCg-*#}p-JCi@Yaw6ik4)3%kRZMC4q2u%kejnNH^;fd_b zrv4Zg7gE(QwA<6NUB;aNFHU3iwAo2t`Yl4X-aE-UHw7E)-T4|#@1WX#`CYT-M1`Po zR!xnL?O(3B@^Putb77K$@Ou%h;>bO-3x$ZgK`e`bv!M68F~?$nWx5!6J>QoI4O0|eY;xR)`GJ&5 z^m9#hp-Dkunopfzwn|`puQT`lEDNT~+o#B=Y0Wf+2)6eXBG5S@o2mc(Iaaz_+#-yT z&>~*;q2>5dq07MO<4Y9y);zzbGzAq={4B9nYmUE8bJS@m=(Yf@tv}1We~5dpq}cuz z^mvppC0?J}^c&Lw`zH6pQU9Nm9-Ui6`Zn-o`}opI*uv4;ynRp6Ff+-8hN}vC^?vN^rc>?x(t9YR7o_H{dHGBMU_BPQyweK6q z_tGYkr$3Q84n5KCzS-XgTBpZ${)&;6^P@#0Ql%w0{BW`=maa-%32cf9VIxKiTK%nu z!!})0tT#O);bpKD!PNIOBSnLM9wM^qGZ_BZMLBugw4F5yDr+A-&JK;HkYIhr#^#Z}YvvjwRpc(HWj#Vs~p&~5|qZ(bV6#QMbWiAt&><(bgfG6)W zWcTi!-vKQV;TGcRR!*iK(T7Y&q@BY;(S<5W3G@ED)X^vS88k1>;{H}^HeaOeHJHAi zwqnLyi7AdOAy`sdSW9@Dsmg|z;JB8~YPb!pIuIovG7i81# zWFlac^vH^xzm$)aWOkB?CG&(2XkuaiJOo>2oZ*v%iat!nn-ZetS}8p z$;*1FDJN&Jy8K*DNoaFT=aKIqHpSKGzQHlR=Lq7jtM}I59KrE7_%W1g@Hjj*3dY$aOX$lp8tJq^NiOHJ^Mr9)q zPF{!%Z~$h-T?s44_kfSM_D@M*yfwR#Zl=&JtffIb##eey_EwWoxC#%egj))Sp~t5f zspB0L+Z|s~FT|7mS)@0=jseFU=$D7xp)2=1Mc@aOs&-ghetkkT| zjK#|VZ#y=?0g0VDlNuKO64Uw=q1R|UiBsMf&01ZOPTSvQcHf>2N!G6ny~Ao?#g3YM z^xtim2*gEFY?4d@@yxc z7RordAv4PEe(E6Rsika23}9Xfu;FRu;@>!gZ)GfCn?DO1Iph&RVt(17^zrv^q*p&A zs0dB{P$+ck{9)vNmD-|o^ejD+D>)ievv)O~EYTfY;382h5t=U{6XdpE&OCXQHUw%|jC(YtJ*C)=z5owi+WH!-tu&cEt%(M4QHZ@4cH&nrLu65--&sQq$74&6w^vyR%!XHxtr=QXm4Wu|9Z~2FHt`C7j}U^&X?6(93MqoK9?Le04*x&iYnx z*|#6`JaqWlzW@x2&txf(Ti4N7VtJBVKRxMOYx|SvkV0Q>4g<E-i4AJ3TgC)kr6)kS(>1w(q_C_JQTah#{Glp%MzUgAs#hWcc*I@BinfpA zipQX6pZ1Z?1cd@_-ky)v7Vb^>l0rl?6FkhHyGb6oZr}0Hh_j`(jVD-O zG}z>aQT&BoUl$$mSTv8Kg&51A@N)!z)O4406cJbx*H`Cw84#;k4*If|shFxY3&lhI z#vyETHgW>HeO3|1fd@Btbin{#ynu$@g?L_!bavK1ZY{m*zvZo09aaNO_G0CL+Srko zcDTHlPLIOsXvSj|WCeA8DUQsez&sn9@JRZ$%tb*d?7`$kKsqq$m74Ro(4k9W^H2LP zlP|z1wwuEFeDh}DYx5^p^0r`5f35D3B@7TOEwjH1tH;jF zS>0~ADlW_UMt_07@(|2Sb8M1R84@qwaMBVVS(%fwN@VgZO=H&MZ_C4ISg7d0kt+ln zHE!;b>>q5FYjX1EfwieJFz;;u!GA24?EL>kv{+skXb^&n<7Keh`3R8V)m?1?e9#dR z8Xrw2<4YA5&XRH6GtfUtrW`8PbxhEq()K9dk4REvM-?B_+HN36Z@NqD9O~(g%pjg% zzq=F%ORf&iJ}{ow?;a6)VN2v~!KgA1^pk#8o566Qi&R28gNXuIO0%&D=(@f#S`an0 zM(VG@Ll&h%)HC(Gcy@D31H}ApfnydzG|cZu{)Z5CJLiw0A(SrL_TcpgJv&zV)KPm> zw@XWfM`UA%nSYTCH{`Iji|JlEv;N$dfc1c zbmX}lWI$aPmh8ZP@x>atLrc<8tS%+`+e9%8qK};MW~oNz-DW25w26F&#zt6u$oF;j zM#3pnw=go~8HCGv1yUNaSTMs?Z0RDJNJLk&r78ZX`J{L#-?Q0AS(~@jEEzN-j~)N~ zI=Lch+TG3Lf$DJIO$_JHbpUYK8GC-Itu|1Hc6XaTc5lP>Tc(b;28TLpG-NR_-S+^! zP`c{7-#sQ=X4seg+aJB~TEr+773JH%Of?t~9e7Uq3jlfvvd4nM6C<`Hfj=dQkATg` zm6VQHA2?qs9}I?_{CnvS7x&}nDQSv>Cz0d9XLj^{q8^6%*utoRjh zu4UQ_A?}@5<4+e?HkWSF0XZ2n1zRR1SPBRGhqO?}-(hZf0hXGPic3{BIhigR1SsTKozWNzdop^1b9y#Oww5x^RVzCKRbP9!!$CLQC)C$ zL^%l|l$~OlRpi=`c<{d^G%r6}$zioh!w}hURed5E&uHklGJ|ffy(T`OSj>m>GH}@~ zOpWY0jsAUy(9Rmd)ql>wchrUDat^gt93f5)MMtjNiDMdsIgMMTr;c~mdt#@Q^Fxa& zbc?4Izj|o#eP#GH$BeI42jGq9eI4o;sP^r)dDpijq0PmT_oGS+9NA0yX6?=8oWtZ{g)|sk<>Q`4T?Sv-r9}sP;P>gBNWs{re9c z41RCs97f#^p+1U52&g$`Q@%fOPG;)C5I+C z5I^ZpCsEaA3JFd8;zAiH@hek&C%LD9%**Se5MNWbe4S^NBeY7sheOTPhpa1OuybQD zpY6lDvWLa;AU|x{rEV=JOGQ=}3)oRE8=gRemr*tepgu>7=?~;L?Pd`3}E-ObOt2mvHHri}9GPYDk1HU6R{W+v-n_%td*W|1FUd;!2nE)xzJ80zy zyTy^h+_fi@%)>Nw?TQe%m~T;s>BkV>G*-<8?cq+hbZ%E>>K5>sDw%hfiCD`jJZ3&R zp3izB`Pp9z+t{!1PV0RwDzyC_^IN${wt7vu?GESKw4Pn=B9rQXT_IZ-Rh~@o2ScE| z7J?;%=~@ouM7GxxNnt5u>u$7)XPy3q;()g5UCrKnIqgo3DJ3Mgqk{jX+v6Ej z?`M4Pg+POK`45SKDksZPxEo910vcL0D!8^RJ`=zN$zOy470>r}<_TxuJjG8?0+L>8 z59cXFF3CdP=s<^$h1*l0SS4H@xe^6c?9A`VSu%LnsJ4s)m1|Da>gL2nOPz_WXFYZ;vj*z%H(9xWB@0*11q6X z&WWj1o_AmCMN7{0j|XcO07>@r1NS{>vKCJE+N_Ialej6F+nCv=3!x5%sJ_Tq#Xn^T zxHol&$Dqe9b2v@u!UdC16yV7J*_&V95~46g);VDHij1n&Y8$V``tkAP1>IEO=M0mK zzFtaFhSJCqdU5eDO=O(9Ta@E4mC3NKNQYG7Srt-3_?)ptnVN7k3f&n7t5^j(&3`@# z&Zl~{5Bro8mG*EHTgC+@QMFQ(IWYdRR zm@eDYznk4`7gr|G&6JONx6b-iOEZ4Ql|#Ec{7N>O3lS$3!bV6l2Ee&RB>I-mXq6=K zeYhug@(O-BYX4oeFotJ^RlGi4r?<~aD@MddC&TZG-@3cYOw%O$F7ZiiT}BKFQ>`#} zA)0pf!ZDdoZQO-fst$G}KM9U1 z+@K$B1Mw;Uyy{V!(@aFV)AhlA1ydE*=yuyNE{X3>;KkB2gD+nPwh%spujUn z*K6H4OV^O!rMFJ-m(T< zNwnh)lyR{jiz-ZfU>N@>5C!tIQZP|0`{{LhHrXKL0?%7=%fn3c@X_L_c}1A5`X-^Cy7yqy(Gjpu@O_U zysQkIs@+-(_`K@^E^MCYT=|HwlL}mB0eXjWtzh?bTgqz1w2867akZ?U#;envT7U(e}y(Qr>+Qv zdB?e1dF*O&|G=#%QRFnh{Spqop6dHM?Hq@P?vyQV)UAXqkuV}UA6v%w$JlkSQR}wc z+EOg9fK;k6F|jXrCo|2{%C9QQ*ZT2%kXp}O0kbJF(ZJQ)r{CAYm>T?4-H`h1ulOdE zyM@R^ga-+ZOSQ{X6RK@e{rYc1kCYKz}grFo-b#dj+2yo?MqAf?0A zTpR7aiTryrg5Min3fDnZwB>FH5@vHKkk~+H*$sj^y2}LC?T`8C-36Vlo$LuK^n_uU z-yFDfmH$K)&>wy$1WJRIPsRZWarcA}t(=M4GUj+koS(AW)XPnZ zPAPbg^@Ghnj%lReymFB2o9=aYG5iF+T4eyjejm#Zj4#L5t-E(2YZBS_=;7_J zyWHV(pCzhBFERU&m_KtbK@qY9Afl~I?^S74LN$KsMzjP8t2R?M$!lq}RVa9fJZer~_ z8svGppS<>|=XD#6Ob$0nwa+m+ppRN~>JIvRTQL383TJLjtFO5>M#9-P8GZud5DN8W`~nhH5A#lFUHozqM> zYm|&musYq_jT%#^+DZ(%Dncn?m<2IS|C5+PFqwE6D;%a2EM&MMcyw{DJp|YaT7hJ) zwygRC2vzbaJ1p{ltmQs4_*FL$IK{@riI4x6k@u_5=Nwlsb{S>uoH0xxt!J3y$H_}! zOGM^+o%m~i`n?z2+gT>p!t2gUF2X$X{7xcIiUbV;2Xl8Ie+YC97vHDr=!7LIkrE73 ztk;RQYW?D#mI8v43H#qfX_UXW?OUgrWrp)+hFVYZ?@h?!)$jLvSo7*iE;n+EadfGJ z-E*1@FMnBEE3|G}#Y?Po24}{qzmbDVzj82}7DP}dwLwv=kld}LN)$C6F|;Lz1Ens~ zPL8hPu9T6LaT<>WQbboid2wy-qcg*ZUGMC-MJBckYZ4N9ULK~UGb*tM=~qf;BmhvS z(4Lxtfbu2}j~n90HRZ+ty<>^-4~++b%=fkAT1{0tA$rDZ#{hT5N{03FS5{i<7LAVT z@kH23hpYrDa#6(#q>IEDYA~xV4kC#Dc5L zpnqg=@Sj(-!}9Jd%ne=MtDgOc_CZXbGogUV3^lRd!-~`Y=tR(Taco$t3d;iA&5SA$n-;&Y_Q!jJPh}^~CFSOSM$Y09m z3g9S;f-rxQF&8rT~+d*<4XD942-Csm?XB3{DK6gGioUr2{Se3X$vw z0472XB^VmdpbUtS4e-0f)&6P4^p@PvB?y|Ug((rS2JhAh5eqE+xA}; zPi#(G8WXS+;D|j|r`q*sxr}hQ`wpf;C6IVV(edT%v?C9vCC4qDIFzJ~&&{b@qkbv(*m! zVNeAh)}kmv*tNmb6?Vmsc<0Z4^p>kMD-t-*o|1sn*cWtbNgLlrpy|;{A1$H*bhvmN zhmt_Mk;pfEuBE*Oo%EevX8Ae#_$LLAgYc^lWMhE0FliSi>s`&ljuRrQu&HtLfY~>T zE~wfU$teAHcqp@+T(J7^oZ)s*aPwM%?TrIk-1SZ9_=YxNqM+&-1jF&)UiIHmPR_sQ zj|<5s*X)3`9oBUcm?!@@jlmQP4OhH4RT!_qJkJ`lCHKZ2=5Sy?^YG+wG>JMM1*<~d zp4!YC!@<4d`}cnVBw0?n=`!^Qm!rjWdlzr@{2vn2$An<181{pbW1|xB1z*|}zR4MB zJ;a&A*K5r}31c#+Y9el|YIPT5eJ(%+=#d>KTebT0xMOK3oYx%u`J&J{2;F*#36__u{`&e5u2dbpYy5@Kwco;5Y|)y{42OQ$ z;}XL9qqCBz>5p+>; zbWfhXr{0Zj6gki|)wL6bVhSMceFOaq8NfHpRMF z)T%_MNNkE7!?3I9LmAb}6M{BWvSv*rG{u%|yMG0}imtqQyZ6->%$OJj166s8f&k;fXPhjq=0dRe==f-V#ZsYKDE(G4at5Z z0ioG=al7(E(Y@a^#nKG=$YRGEmth~^#*6LlUwdQ5>&r7OY9){Q|Em-V#l$uY`xYck zBn-J-M(Li_K2j42O|d=wYgabKVyJ3cqEjR`#SUQDme9mFPjj>s`lgA5rr5e|_pg;a z^Xkz3_E#Wi9K_J>2U^&Cl=W_DA;iPTm#C%+;Fo25L6}}(^HF*Q0U=OX^<9iFOJ-FEGEf`7x`dkiS z6mL=L1;^1IpD5dT{7>i6`zr{aPckyTY7H>sUN`Bj4f}Hew%3siVQ|3qYGJQ7IOdy< zp01JSE*H3Hy}a7F~%6M29w3r0LEa;{mkQoLAyo0}gdc>wQ!VeW=NT|eG&;|8Ih<$L{V)3cKQ~kFmG@T= zj?HwX538Y-gDUQv2(cwj?XIz_&4}7uU^To*8K&zr`~rMIy)ydudi;V%1rF(M{o)fD zP+j-6erEqE_Q4e%s9%fBR)Ax{)j~m~VNEZYOBs zFhgkpE*{90zHHsGqnd3lks6fVHy2`qbsMOf?X z85E|Qgu8(K(qlbAWfrIMI?Adj`YaN!HDIQde74M?!C{inDM07AC5y`I9J$3X33(~P zgy$~y-2ZNZ)9fyGITDZFU$6=H#&G)tCQe)UJl>w{e7Ci$P2ckVp^&3UR*xX%qM{dS zl>0QP&2Nwh-Co~LOzczbqsyUhfs{jiL6l{2P4b|