From 692b89ab2d5e03cc295b3b4eacc286b9b656ca95 Mon Sep 17 00:00:00 2001 From: CyC2018 <1029579233@qq.com> Date: Sun, 20 May 2018 20:42:51 +0800 Subject: [PATCH] auto commit --- README.md | 8 +- notes/Java 基础.md | 278 ++------------ notes/Java 并发.md | 355 ++++++++++-------- pics/051e436c-0e46-4c59-8f67-52d89d656182.png | Bin 0 -> 31744 bytes pics/baaa681f-7c52-4198-a5ae-303b9386cf47.png | Bin 0 -> 27648 bytes pics/bb6a49be-00f2-4f27-a0ce-4ed764bc605c.png | Bin 0 -> 41984 bytes 6 files changed, 221 insertions(+), 420 deletions(-) create mode 100644 pics/051e436c-0e46-4c59-8f67-52d89d656182.png create mode 100644 pics/baaa681f-7c52-4198-a5ae-303b9386cf47.png create mode 100644 pics/bb6a49be-00f2-4f27-a0ce-4ed764bc605c.png diff --git a/README.md b/README.md index 92a1317e..80528a71 100644 --- a/README.md +++ b/README.md @@ -77,6 +77,10 @@ Leetcode 上数据库题目的解题记录。 ## Java :coffee: +> [Java 基础](https://github.com/CyC2018/InnterviewNotes/blob/master/notes/Java%20基础.md) + +整理了一些常见考点。 + > [Java 虚拟机](https://github.com/CyC2018/InnterviewNotes/blob/master/notes/Java%20虚拟机.md) 整理自《深入理解 Java 虚拟机》 @@ -93,10 +97,6 @@ Leetcode 上数据库题目的解题记录。 File, InputStream OutputStream, Reader Writer, Serializable, Socket, NIO -> [Java 基础](https://github.com/CyC2018/InnterviewNotes/blob/master/notes/Java%20基础.md) - -整理了一些常见考点。 - > [JDK 中的设计模式](https://github.com/CyC2018/InnterviewNotes/blob/master/notes/JDK%20中的设计模式.md) 对每种设计模式做了一个总结，并给出在 JDK 中的使用实例。 diff --git a/notes/Java 基础.md b/notes/Java 基础.md index b1a0b9b7..6424600a 100644 --- a/notes/Java 基础.md +++ b/notes/Java 基础.md @@ -13,7 +13,6 @@ * [抽象类与接口](#抽象类与接口) * [super](#super) * [覆盖与重载](#覆盖与重载) - * [内部类](#内部类) * [五、String](#五string) * [String, StringBuffer and StringBuilder](#string,-stringbuffer-and-stringbuilder) * [String 不可变的原因](#string-不可变的原因) @@ -52,7 +51,7 @@ final A y = new A(); y.a = 1; ``` -**2. 方法**
+**2. 方法** 声明方法不能被子类覆盖。 @@ -80,7 +79,7 @@ public class A { **2. 静态方法** -静态方法在类加载的时候就存在了，它不依赖于任何实例，所以 static 方法必须实现，也就是说它不能是抽象方法（abstract）。 +静态方法在类加载的时候就存在了，它不依赖于任何实例，所以静态方法必须有实现，也就是说它不能是抽象方法（abstract）。 **3. 静态语句块** @@ -88,11 +87,11 @@ public class A { **4. 静态内部类** -内部类的一种，静态内部类不依赖外部类，且不能访问外部类的非 static 变量和方法。 +内部类的一种，静态内部类不依赖外部类，且不能访问外部类的非静态的变量和方法。 **5. 静态导包** -```source-java +```java import static com.xxx.ClassName.* ``` @@ -132,12 +131,12 @@ public InitialOrderTest() { 存在继承的情况下，初始化顺序为： -1. 父类（静态变量、静态语句块） -2. 子类（静态变量、静态语句块） -3. 父类（实例变量、普通语句块） -4. 父类（构造函数） -5. 子类（实例变量、普通语句块） -6. 子类（构造函数） +- 父类（静态变量、静态语句块） +- 子类（静态变量、静态语句块） +- 父类（实例变量、普通语句块） +- 父类（构造函数） +- 子类（实例变量、普通语句块） +- 子类（构造函数） # 二、Object 通用方法 @@ -192,15 +191,14 @@ x.equals(x); // true （二）对称性 ```java -x.equals(y) == y.equals(x) // true +x.equals(y) == y.equals(x); // true ``` （三）传递性 ```java -if(x.equals(y) && y.equals(z)) { +if (x.equals(y) && y.equals(z)) x.equals(z); // true; -} ``` （四）一致性 @@ -256,7 +254,7 @@ public class EqualExample { hasCode() 返回散列值，而 equals() 是用来判断两个实例是否等价。等价的两个实例散列值一定要相同，但是散列值相同的两个实例不一定等价。 -在覆盖 equals() 方法时应当总是覆盖 hashCode() 方法，保证相等的两个实例散列值也等价。 +在覆盖 equals() 方法时应当总是覆盖 hashCode() 方法，保证等价的两个实例散列值也相等。 下面的代码中，新建了两个等价的实例，并将它们添加到 HashSet 中。我们希望将这两个实例当成一样的，只在集合中添加一个实例，但是因为 EqualExample 没有实现 hasCode() 方法，因此这两个实例的散列值是不同的，最终导致集合添加了两个等价的实例。 @@ -272,7 +270,7 @@ System.out.println(set.size()); // 2 理想的散列函数应当具有均匀性，即不相等的实例应当均匀分布到所有可能的散列值上。这就要求了散列函数要把所有域的值都考虑进来，可以将每个域都当成 R 进制的某一位，然后组成一个 R 进制的整数。R 一般取 31，因为它是一个奇素数，如果是偶数的话，当出现乘法溢出，信息就会丢失，因为与 2 相乘相当于向左移一位。 -一个数与 31 相乘可以转换成移位和减法：31\*x == (x<<5)-x。 +一个数与 31 相乘可以转换成移位和减法：`31\*x == (x<<5)-x`，编译器会自动进行这个优化。 ```java @Override @@ -594,9 +592,9 @@ ac2.func1(); 从 Java 8 开始，接口也可以拥有默认的方法实现，这是因为不支持默认方法的接口的维护成本太高了。在 Java 8 之前，如果一个接口想要添加新的方法，那么要修改所有实现了该接口的类。 -接口也可以包含字段，并且这些字段隐式都是 static 和 final 的。 +接口的成员（字段 + 方法）默认都是 public 的，并且不允许定义为 private 或者 protected。 -接口中的方法默认都是 public 的，并且不允许定义为 private 或者 protected。 +接口的字段默认都是 static 和 final 的。 ```java public interface InterfaceExample { @@ -607,7 +605,7 @@ public interface InterfaceExample { } int x = 123; - //int y; // Variable 'y' might not have been initialized + // int y; // Variable 'y' might not have been initialized public int z = 0; // Modifier 'public' is redundant for interface fields // private int k = 0; // Modifier 'private' not allowed here // protected int l = 0; // Modifier 'protected' not allowed here @@ -711,228 +709,6 @@ SuperExtendExample.func() - 重载（Overload）存在于同一个类中，指一个方法与已经存在的方法名称上相同，但是参数类型、个数、顺序至少有一个不同。应该注意的是，返回值不同，其它都相同不算是重载。 -## 内部类 - -在Java中，可以将一个类定义在另一个类里面或者一个方法里面，这样的类称为内部类。 -为什么在Java中需要内部类？总结一下主要有以下四点： - -1. 每个内部类都能独立的继承一个接口的实现，所以无论外部类是否已经继承了某个(接口的)实现，对于内部类都没有影响。内部类使得多继承的解决方案变得完整， - -2. 方便将存在一定逻辑关系的类组织在一起，又可以对外界隐藏。 - -3. 方便编写事件驱动程序 - -4. 方便编写线程代码 - -个人觉得第一点是最重要的原因之一，内部类的存在使得Java的多继承机制变得更加完善。在这之前，Java 的继承机制主要由接口和单根继承实现，通过实现多个接口里的方法，看似能够实现多继承，但是并不总是高效的，因为一旦我们继承了一个接口就必然要实现它内部定义的所有方法。现在我们可以通过内部类多次继承某个具体类或者接口，省去一些不必要的实现动作。 - -先来看一段示例代码来方便理解利用内部类完善多继承机制： - -```java -public class Father { - public String powerFul = "市长"; -} - -public class Mother { - public String wealthy = "一百万"; -} -``` - -```java -public class Son { - class Extends_Father extends Father{ - } - - class Extends_Mother extends Mother{ - } - - public void sayHello(){ - String father = new Extends_Father().powerFul; - String mother = new Extends_Mother().wealthy; - System.out.println("my father is:" + father + "my mother has:" + mother); - } -} -``` - -显然，我们的 Son 类是不可能同时继承 Father 和 Mother 的，但是我们却可以通过在其内部定义内部类继承了 Father 和 Mother，必要的情况下，我们还能够重写继承而来的各个类的属性或者方法。 -这就是典型的一种通过内部类实现多继承的实现方式，但是同时你也会发现，单单从 Son 来外表看，你根本不知道它内部多继承了 Father 和 Mother，从而往往会给我们带来一些错觉。所以你看，内部类并不绝对是一个好东西，它破坏了封装性，用的不好反而会适得其反，让你的程序一团糟，所以谨慎！ - -广泛意义上的内部类一般来说包括这四种：成员内部类、局部内部类、匿名内部类和静态内部类。下面就先来了解一下这四种内部类的用法。 - -**1. 成员内部类** - -成员内部类即内部类当做外部类得一个普通成员。 - -成员内部类可以无条件访问外部类得所有成员属性和成员方法 - -```java -class Circle { - private double radius = 0; - public static int count =1; - public Circle(double radius) { - this.radius = radius; - } - - class Draw { //内部类 - public void drawSahpe() { - System.out.println(radius); //外部类的private成员 - System.out.println(count); //外部类的静态成员 - } - } -} -``` - -不过要注意的是，当成员内部类拥有和外部类同名的成员变量或者方法时，会发生隐藏现象，即默认情况下访问的是成员内部类的成员。如果要访问外部类的同名成员，需要以下面的形式进行访问： - -`外部类.this.成员方法` - -`外部类.this.成员变量` - -虽然成员内部类可以无条件地访问外部类的成员，而外部类想访问成员内部类的成员却不是这么随心所欲了。在外部类中如果要访问成员内部类的成员，必须先创建一个成员内部类的对象，再通过指向这个对象的引用来访问，由于成员内部类是依附于外部类而存在的，也就是说，如果要创建内部类的对象，前提是必须存在一个外部类的对象，方式如下所示： - -```java -public class Test { - public static void main(String[] args) { - //第一种方式： - Outter outter = new Outter(); - Outter.Inner inner = outter.new Inner(); //必须通过Outter对象来创建 - - //第二种方式： - Outter.Inner inner1 = outter.getInnerInstance(); - } -} - -class Outter { - private Inner inner = null; - public Outter() { - - } - - public Inner getInnerInstance() { - if(inner == null) - inner = new Inner(); - return inner; - } - - class Inner { - public Inner() { - - } - } -} -``` - -**2. 局部内部类** - -局部内部类是定义在一个方法或者一个作用域里面的类，它和成员内部类的区别在于局部内部类的访问仅限于方法内或者该作用域内。 - -```java -class People{ - public People() { - - } -} - -class Man{ - public Man(){ - - } - - public People getWoman(){ - class Woman extends People{ //局部内部类 - int age =0; - } - return new Woman(); - } -} -``` - -注意，局部内部类就像是方法里面的一个局部变量一样，是不能有public、protected、private以及static修饰符的。 - -**3. 匿名内部类** - -匿名内部类，顾名思义，是没有名字的类，那么既然它没有名字，自然也就无法显式的创建出其实例对象了，所以匿名内部类适合那种只使用一次的情境,匿名内部类是唯一一种没有构造器的类。 - -典型得匿名内部类使用例子如下： - -```java -public class Test{ - public static void main(String[] args){ - Object obj=new Object(){ - @Override - public String toString(){ - return "hello world"; - } - } - } -} -``` - -上述代码效果等同于如下代码： - -```java -public class MyObj extends Object{ - @Override - public String toString(){ - return "hello world"; - } -} -``` - -```java -public static void main(String[] args){ - Object obj = new MyObj(); -} -``` - -为了一个只使用一次的类而单独创建一个 .java 文件，是否有些浪费和繁琐？ -在我看来，匿名内部类最大的好处就在于能够简化代码块。 - -匿名内部类往往是对某个父类或者接口的继承与实现,匿名类的基本使用语法格式如下： - -```java -new 父类/接口{ - //匿名类的实现 -} -``` -常用场景如自定义比较器实现规则排序： - -```java - Arrays.sort(data, new Comparator(){ - public int compare(Integer a,Integer b) - { - return (a+""+b).compareTo(b+""+a);//构建ab的比较器 - } - }); -``` - -**4. 静态内部类** - -静态内部类也是定义在另一个类里面的类，只不过在类的前面多了一个关键字static。静态内部类是不需要依赖于外部类的，这点和类的静态成员属性有点类似，并且它不能使用外部类的非static成员变量或者方法，这点很好理解，因为在没有外部类的对象的情况下，可以创建静态内部类的对象，如果允许访问外部类的非static成员就会产生矛盾，因为外部类的非 static 成员必须依附于具体的对象。 - -常见使用场景如，静态内部类实现单例模式： - -```java -/** - * 懒汉式单例类线程安全可可能有问题，性能会受到影响 - * 饿汉式不能实现延迟加载，不管将来用不用始终占据内存 - * 内部类的实现方式可以很好的解决上面的缺点 - */ -public class InnerClassSingleton { - private static class SingletonHolder{ - private static final InnerClassSingleton SINGLETON=new InnerClassSingleton(); - } - private InnerClassSingleton() {} - public static final InnerClassSingleton getSingleton(){ - return SingletonHolder.SINGLETON; - } -} -``` - -此外，我们 Integer 类中的 IntegerCache 就是一个静态的内部类，它不需要访问外围类中任何成员，却通过内部定义的一些属性和方法为外围类提供缓存服务。 - -> [Java内部类详解](https://www.cnblogs.com/latter/p/5665015.html) - # 五、String ## String, StringBuffer and StringBuilder @@ -1115,15 +891,15 @@ switch (s) { switch 不支持 long，是因为 swicth 的设计初衷是为那些只需要对少数的几个值进行等值判断，如果值过于复杂，那么还是用 if 比较合适。 ```java -// long x = 111; -// switch (x) { // Incompatible types. Found: 'long', required: 'char, byte, short, int, Character, Byte, Short, Integer, String, or an enum' -// case 111: -// System.out.println(111); -// break; -// case 222: -// System.out.println(222); -// break; -// } +// long x = 111; +// switch (x) { // Incompatible types. Found: 'long', required: 'char, byte, short, int, Character, Byte, Short, Integer, String, or an enum' +// case 111: +// System.out.println(111); +// break; +// case 222: +// System.out.println(222); +// break; +// } ``` > [Why can't your switch statement data type be long, Java?](https://stackoverflow.com/questions/2676210/why-cant-your-switch-statement-data-type-be-long-java) @@ -1182,7 +958,7 @@ public class Box { } ``` -> [Java 泛型详解](https://www.ziwenxie.site/2017/03/01/java-generic/)
[10 道 Java 泛型面试题](https://cloud.tencent.com/developer/article/1033693) +> [Java 泛型详解](http://www.importnew.com/24029.html)
[10 道 Java 泛型面试题](https://cloud.tencent.com/developer/article/1033693) # 十、注解 diff --git a/notes/Java 并发.md b/notes/Java 并发.md index 61c9fdb8..8a2c8fcf 100644 --- a/notes/Java 并发.md +++ b/notes/Java 并发.md @@ -47,7 +47,7 @@ * [线程安全分类](#线程安全分类) * [线程安全的实现方法](#线程安全的实现方法) * [十二、锁优化](#十二锁优化) - * [自旋锁与自适应自旋](#自旋锁与自适应自旋) + * [自旋锁](#自旋锁) * [锁消除](#锁消除) * [锁粗化](#锁粗化) * [轻量级锁](#轻量级锁) @@ -93,6 +93,10 @@ 调用 Object.wait() 方法使线程进入限期等待或者无限期等待时，常常用“挂起一个线程”进行描述。 +睡眠和挂起是用来描述行为，而阻塞和等待用来描述状态。 + +阻塞和等待的区别在于，阻塞是被动的，它是在等待获取一个排它锁；而等待是主动的，通过调用 Thread.sleep() 和 Object.wait() 等方法进入。 + | 进入方法 | 退出方法 | | --- | --- | | Thread.sleep() 方法 | 时间结束 | @@ -109,9 +113,9 @@ 有三种使用线程的方法： -1. 实现 Runnable 接口； -2. 实现 Callable 接口； -3. 继承 Thread 类。 +- 实现 Runnable 接口； +- 实现 Callable 接口； +- 继承 Thread 类。 实现 Runnable 和 Callable 接口的类只能当做一个可以在线程中运行的任务，不是真正意义上的线程，因此最后还需要通过 Thread 来调用。可以说任务是通过线程驱动从而执行的。 @@ -182,8 +186,8 @@ public static void main(String[] args) { 实现接口会更好一些，因为： -1. Java 不支持多重继承，因此继承了 Thread 类就无法继承其它类，但是可以实现多个接口； -2. 类可能只要求可执行就行，继承整个 Thread 类开销会过大。 +- Java 不支持多重继承，因此继承了 Thread 类就无法继承其它类，但是可以实现多个接口； +- 类可能只要求可执行就行，继承整个 Thread 类开销过大。 # 三、基础线程机制 @@ -193,9 +197,9 @@ Executor 管理多个异步任务的执行，而无需程序员显式地管理 主要有三种 Executor： -1. CachedThreadPool：一个任务创建一个线程； -2. FixedThreadPool：所有任务只能使用固定大小的线程； -3. SingleThreadExecutor：相当于大小为 1 的 FixedThreadPool。 +- CachedThreadPool：一个任务创建一个线程； +- FixedThreadPool：所有任务只能使用固定大小的线程； +- SingleThreadExecutor：相当于大小为 1 的 FixedThreadPool。 ```java public static void main(String[] args) { @@ -258,16 +262,10 @@ public void run() { 通过调用一个线程的 interrupt() 来中断该线程，如果该线程处于阻塞、限期等待或者无限期等待状态，那么就会抛出 InterruptedException，从而提前结束该线程。但是不能中断 I/O 阻塞和 synchronized 锁阻塞。 -对于以下代码，在 Main 中启动一个线程之后再中断它，由于线程中调用了 Thread.sleep() 方法，因此会抛出一个 InterruptedException，从而提前结束线程，不执行之后的语句。 +对于以下代码，在 main() 中启动一个线程之后再中断它，由于线程中调用了 Thread.sleep() 方法，因此会抛出一个 InterruptedException，从而提前结束线程，不执行之后的语句。 ```java public class InterruptExample { - public static void main(String[] args) throws InterruptedException { - Thread thread1 = new MyThread1(); - thread1.start(); - thread1.interrupt(); - System.out.println("Main run"); - } private static class MyThread1 extends Thread { @Override @@ -281,7 +279,15 @@ public class InterruptExample { } } } +``` +```java +public static void main(String[] args) throws InterruptedException { + Thread thread1 = new MyThread1(); + thread1.start(); + thread1.interrupt(); + System.out.println("Main run"); +} ``` ```html @@ -301,11 +307,6 @@ java.lang.InterruptedException: sleep interrupted ```java public class InterruptExample { - public static void main(String[] args) throws InterruptedException { - Thread thread2 = new MyThread2(); - thread2.start(); - thread2.interrupt(); - } private static class MyThread2 extends Thread { @Override @@ -319,6 +320,14 @@ public class InterruptExample { } ``` +```java +public static void main(String[] args) throws InterruptedException { + Thread thread2 = new MyThread2(); + thread2.start(); + thread2.interrupt(); +} +``` + ```html Thread end ``` @@ -330,20 +339,18 @@ Thread end 以下使用 Lambda 创建线程，相当于创建了一个匿名内部线程。 ```java -public class ExecutorInterruptExample { - public static void main(String[] args) { - ExecutorService executorService = Executors.newCachedThreadPool(); - executorService.execute(() -> { - try { - Thread.sleep(2000); - System.out.println("Thread run"); - } catch (InterruptedException e) { - e.printStackTrace(); - } - }); - executorService.shutdownNow(); - System.out.println("Main run"); - } +public static void main(String[] args) { + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> { + try { + Thread.sleep(2000); + System.out.println("Thread run"); + } catch (InterruptedException e) { + e.printStackTrace(); + } + }); + executorService.shutdownNow(); + System.out.println("Main run"); } ``` @@ -385,7 +392,7 @@ public void func () { 它只作用于同一个对象，如果调用两个对象上的同步代码块，就不会进行同步。 -对于以下代码，使用 ExecutorService 执行了两个线程（这两个线程使用 Lambda 创建），由于调用的是同一个对象的同步语句块，因此这两个线程就需要进行同步，当一个线程进入同步语句块时，另一个线程就必须等待。 +对于以下代码，使用 ExecutorService 执行了两个线程（这两个线程使用 Lambda 创建），由于调用的是同一个对象的同步代码块，因此这两个线程会进行同步，当一个线程进入同步语句块时，另一个线程就必须等待。 ```java public class SynchronizedExample { @@ -397,13 +404,15 @@ public class SynchronizedExample { } } } +} +``` - public static void main(String[] args) { - SynchronizedExample e1 = new SynchronizedExample(); - ExecutorService executorService = Executors.newCachedThreadPool(); - executorService.execute(() -> e1.func1()); - executorService.execute(() -> e1.func1()); - } +```java +public static void main(String[] args) { + SynchronizedExample e1 = new SynchronizedExample(); + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> e1.func1()); + executorService.execute(() -> e1.func1()); } ``` @@ -460,14 +469,16 @@ public class SynchronizedExample { } } } +} +``` - public static void main(String[] args) { - SynchronizedExample e1 = new SynchronizedExample(); - SynchronizedExample e2 = new SynchronizedExample(); - ExecutorService executorService = Executors.newCachedThreadPool(); - executorService.execute(() -> e1.func2()); - executorService.execute(() -> e2.func2()); - } +```java +public static void main(String[] args) { + SynchronizedExample e1 = new SynchronizedExample(); + SynchronizedExample e2 = new SynchronizedExample(); + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> e1.func2()); + executorService.execute(() -> e2.func2()); } ``` @@ -518,7 +529,7 @@ public static void main(String[] args) { 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 ``` -ReentrantLock 是 java.util.concurrent（J.U.C）包中的锁，相比于 synchronized，它多了一些高级功能： +ReentrantLock 是 java.util.concurrent（J.U.C）包中的锁，相比于 synchronized，它多了以下高级功能： **1. 等待可中断** @@ -540,7 +551,7 @@ synchronized 是 JVM 实现的，而 ReentrantLock 是 JDK 实现的。 **2. 性能** -从性能上来看，在新版本的 JDK 中对 synchronized 进行了很多优化，例如自旋锁等。目前来看它和 ReentrantLock 的性能基本持平了，因此性能因素不再是选择 ReentrantLock 的理由，而且 synchronized 有更大的优化空间，因此优先考虑 synchronized。 +从性能上来看，新版本 Java 对 synchronized 进行了很多优化，例如自旋锁等。目前来看它和 ReentrantLock 的性能基本持平了，因此性能因素不再是选择 ReentrantLock 的理由。synchronized 有更大的性能优化空间，应该优先考虑 synchronized。 **3. 功能** @@ -556,7 +567,7 @@ ReentrantLock 多了一些高级功能。 ## join() -在线程中调用另一个线程的 join() 方法，会将当前线程挂起，而不是忙等待，直到目标线程结束。 +在线程中调用另一个线程的 join() 方法，会将当前线程挂起，而不是忙等待， 直到目标线程结束。 对于以下代码，虽然 b 线程先启动，但是因为在 b 线程中调用了 a 线程的 join() 方法，因此 b 线程会等待 a 线程结束才继续执行，因此最后能够保证 a 线程的输出先与 b 线程的输出。 @@ -595,11 +606,13 @@ public class JoinExample { b.start(); a.start(); } +} +``` - public static void main(String[] args) { - JoinExample example = new JoinExample(); - example.test(); - } +```java +public static void main(String[] args) { + JoinExample example = new JoinExample(); + example.test(); } ``` @@ -633,13 +646,15 @@ public class WaitNotifyExample { } System.out.println("after"); } +} +``` - public static void main(String[] args) { - ExecutorService executorService = Executors.newCachedThreadPool(); - WaitNotifyExample example = new WaitNotifyExample(); - executorService.execute(() -> example.after()); - executorService.execute(() -> example.before()); - } +```java +public static void main(String[] args) { + ExecutorService executorService = Executors.newCachedThreadPool(); + WaitNotifyExample example = new WaitNotifyExample(); + executorService.execute(() -> example.after()); + executorService.execute(() -> example.before()); } ``` @@ -685,13 +700,15 @@ public class AwaitSignalExample { lock.unlock(); } } +} +``` - public static void main(String[] args) { - ExecutorService executorService = Executors.newCachedThreadPool(); - AwaitSignalExample example = new AwaitSignalExample(); - executorService.execute(() -> example.after()); - executorService.execute(() -> example.before()); - } +```java +public static void main(String[] args) { + ExecutorService executorService = Executors.newCachedThreadPool(); + AwaitSignalExample example = new AwaitSignalExample(); + executorService.execute(() -> example.after()); + executorService.execute(() -> example.before()); } ``` @@ -875,9 +892,6 @@ java.util.concurrent.BlockingQueue 接口有以下阻塞队列的实现： **使用 BlockingQueue 实现生产者消费者问题** ```java -import java.util.concurrent.ArrayBlockingQueue; -import java.util.concurrent.BlockingQueue; - public class ProducerConsumer { private static BlockingQueue queue = new ArrayBlockingQueue<>(5); @@ -906,20 +920,22 @@ public class ProducerConsumer { System.out.print("consume.."); } } +} +``` - public static void main(String[] args) { - for (int i = 0; i < 2; i++) { - Producer producer = new Producer(); - producer.start(); - } - for (int i = 0; i < 5; i++) { - Consumer consumer = new Consumer(); - consumer.start(); - } - for (int i = 0; i < 3; i++) { - Producer producer = new Producer(); - producer.start(); - } +```java +public static void main(String[] args) { + for (int i = 0; i < 2; i++) { + Producer producer = new Producer(); + producer.start(); + } + for (int i = 0; i < 5; i++) { + Consumer consumer = new Consumer(); + consumer.start(); + } + for (int i = 0; i < 3; i++) { + Producer producer = new Producer(); + producer.start(); } } ``` @@ -1002,22 +1018,24 @@ public class ThreadUnsafeExample { public int get() { return cnt; } +} +``` - public static void main(String[] args) throws InterruptedException { - final int threadSize = 1000; - ThreadUnsafeExample example = new ThreadUnsafeExample(); - final CountDownLatch countDownLatch = new CountDownLatch(threadSize); - ExecutorService executorService = Executors.newCachedThreadPool(); - for (int i = 0; i < threadSize; i++) { - executorService.execute(() -> { - example.add(); - countDownLatch.countDown(); - }); - } - countDownLatch.await(); - executorService.shutdown(); - System.out.println(example.get()); +```java +public static void main(String[] args) throws InterruptedException { + final int threadSize = 1000; + ThreadUnsafeExample example = new ThreadUnsafeExample(); + final CountDownLatch countDownLatch = new CountDownLatch(threadSize); + ExecutorService executorService = Executors.newCachedThreadPool(); + for (int i = 0; i < threadSize; i++) { + executorService.execute(() -> { + example.add(); + countDownLatch.countDown(); + }); } + countDownLatch.await(); + executorService.shutdown(); + System.out.println(example.get()); } ``` @@ -1089,24 +1107,25 @@ public class AtomicExample { public int get() { return cnt.get(); } - - public static void main(String[] args) throws InterruptedException { - final int threadSize = 1000; - AtomicExample example = new AtomicExample(); - final CountDownLatch countDownLatch = new CountDownLatch(threadSize); - ExecutorService executorService = Executors.newCachedThreadPool(); - for (int i = 0; i < threadSize; i++) { - executorService.execute(() -> { - example.add(); - countDownLatch.countDown(); - }); - } - countDownLatch.await(); - executorService.shutdown(); - System.out.println(example.get()); - } } +``` +```java +public static void main(String[] args) throws InterruptedException { + final int threadSize = 1000; + AtomicExample example = new AtomicExample(); // 只修改这条语句 + final CountDownLatch countDownLatch = new CountDownLatch(threadSize); + ExecutorService executorService = Executors.newCachedThreadPool(); + for (int i = 0; i < threadSize; i++) { + executorService.execute(() -> { + example.add(); + countDownLatch.countDown(); + }); + } + countDownLatch.await(); + executorService.shutdown(); + System.out.println(example.get()); +} ``` ```html @@ -1126,22 +1145,24 @@ public class AtomicSynchronizedExample { public synchronized int get() { return cnt; } +} +``` - public static void main(String[] args) throws InterruptedException { - final int threadSize = 1000; - AtomicSynchronizedExample example = new AtomicSynchronizedExample(); - final CountDownLatch countDownLatch = new CountDownLatch(threadSize); - ExecutorService executorService = Executors.newCachedThreadPool(); - for (int i = 0; i < threadSize; i++) { - executorService.execute(() -> { - example.add(); - countDownLatch.countDown(); - }); - } - countDownLatch.await(); - executorService.shutdown(); - System.out.println(example.get()); +```java +public static void main(String[] args) throws InterruptedException { + final int threadSize = 1000; + AtomicSynchronizedExample example = new AtomicSynchronizedExample(); + final CountDownLatch countDownLatch = new CountDownLatch(threadSize); + ExecutorService executorService = Executors.newCachedThreadPool(); + for (int i = 0; i < threadSize; i++) { + executorService.execute(() -> { + example.add(); + countDownLatch.countDown(); + }); } + countDownLatch.await(); + executorService.shutdown(); + System.out.println(example.get()); } ``` @@ -1155,9 +1176,7 @@ public class AtomicSynchronizedExample { volatile 可保证可见性。synchronized 也能够保证可见性，对一个变量执行 unlock 操作之前，必须把变量值同步回主内存。final 关键字也能保证可见性：被 final 关键字修饰的字段在构造器中一旦初始化完成，并且没有发生 this 逃逸（其它线程可以通过 this 引用访问到初始化了一半的对象），那么其它线程就能看见 final 字段的值。 -对前面的线程不安全示例中的 cnt 变量用 volatile 修饰，不能解决线程不安全问题。因为 volatile 并不能保证操作的原子性。 - -// TODO：volatile 不能解决线程不安全问题的示例代码。 +对前面的线程不安全示例中的 cnt 变量用 volatile 修饰，不能解决线程不安全问题，因为 volatile 并不能保证操作的原子性。 ### 3. 有序性 @@ -1404,7 +1423,7 @@ public final int getAndAddInt(Object var1, long var2, int var4) { } ``` -ABA ：如果一个变量 V 初次读取的时候是 A 值，它的值被改成了 B，后来又被改回为 A，那 CAS 操作就会误认为它从来没有被改变过。J.U.C 包提供了一个带有标记的原子引用类“AtomicStampedReference”来解决这个问题，它可以通过控制变量值的版本来保证 CAS 的正确性。大部分情况下 ABA 问题不会影响程序并发的正确性，如果需要解决 ABA 问题，改用传统的互斥同步可能会比原子类更高效。 +ABA ：如果一个变量初次读取的时候是 A 值，它的值被改成了 B，后来又被改回为 A，那 CAS 操作就会误认为它从来没有被改变过。J.U.C 包提供了一个带有标记的原子引用类“AtomicStampedReference”来解决这个问题，它可以通过控制变量值的版本来保证 CAS 的正确性。大部分情况下 ABA 问题不会影响程序并发的正确性，如果需要解决 ABA 问题，改用传统的互斥同步可能会比原子类更高效。 ### 3. 无同步方案 @@ -1432,14 +1451,16 @@ public class StackClosedExample { } System.out.println(cnt); } +} +``` - public static void main(String[] args) { - StackClosedExample example = new StackClosedExample(); - ExecutorService executorService = Executors.newCachedThreadPool(); - executorService.execute(() -> example.add100()); - executorService.execute(() -> example.add100()); - executorService.shutdown(); - } +```java +public static void main(String[] args) { + StackClosedExample example = new StackClosedExample(); + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> example.add100()); + executorService.execute(() -> example.add100()); + executorService.shutdown(); } ``` @@ -1554,21 +1575,23 @@ ThreadLocal 从理论上讲并不是用来解决多线程并发问题的，因 # 十二、锁优化 -高效并发是从 JDK 1.5 到 JDK 1.6 的一个重要改进，HotSpot 虚拟机开发团队在这个版本上花费了大量的精力去实现各种锁优化技术，如适应性自旋（Adaptive Spinning）、锁消除（Lock Elimination）、锁粗化（Lock Coarsening）、轻量级锁（Lightweight Locking）和偏向锁（Biased Locking）等。这些技术都是为了在线程之间更高效地共享数据，以及解决竞争问题，从而提高程序的执行效率。 +这里的锁优化主要是指虚拟机对 synchronized 的优化。 -## 自旋锁与自适应自旋 +## 自旋锁 -前面我们讨论互斥同步的时候，提到了互斥同步对性能最大的影响是阻塞的实现，挂起线程和恢复线程的操作都需要转入内核态完成，这些操作给系统的并发性能带来了很大的压力。同时，虚拟机的开发团队也注意到在许多应用上，共享数据的锁定状态只会持续很短的一段时间，为了这段时间去挂起和恢复线程并不值得。如果物理机器有一个以上的处理器，能让两个或以上的线程同时并行执行，我们就可以让后面请求锁的那个线程 “稍等一下”，但不放弃处理器的执行时间，看看持有锁的线程是否很快就会释放锁。为了让线程等待，我们只需让线程执行一个忙循环（自旋），这项技术就是所谓的自旋锁。 +互斥同步的进入阻塞状态的开销都很大，应该尽量避免。在许多应用中，共享数据的锁定状态只会持续很短的一段时间。自旋锁的思想是让一个线程在请求一个共享数据的锁时执行忙循环（自旋）一段时间，如果在这段时间内能获得锁，就可以避免进入阻塞状态。 -自旋等待本身虽然避免了线程切换的开销，但它是要占用处理器时间的，因此，如果锁被占用的时间很短，自旋等待的效果就会非常好。反之，如果锁被占用的时候很长，那么自旋的线程只会白白消耗处理器资源，而不会做任何有用的工作，反而会带来性能上的浪费。因此，自旋等待的时间必须要有一定的限度，如果自旋超过了限定的次数仍然没有成功获得锁，就应当使用传统的方式去挂起线程了。自旋次数的默认值是 10 次，用户可以使用参数 -XX:PreBlockSpin 来更改。 +自选锁虽然能避免进入阻塞状态从而减少开销，但是它需要进行忙循环操作占用 CPU 时间，它只适用于共享数据的锁定状态很短的场景。自旋次数的默认值是 10 次，用户可以使用虚拟机参数 -XX:PreBlockSpin 来更改。 -在 JDK 1.6 中引入了自适应的自旋锁。自适应意味着自旋的时间不再固定了，而是由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定。如果在同一个锁对象上，自旋等待刚刚成功获得过锁，并且持有锁的线程正在运行中，那么虚拟机就会认为这次自旋也很有可能再次成功，进而它将允许自旋等待持续相对更长的时间，比如 100 个循环。另外，如果对于某个锁，自旋很少成功获得过，那在以后要获取这个锁时将可能省略掉自旋过程，以避免浪费处理器资源。有了自适应自旋，随着程序运行和性能监控信息的不断完善，虚拟机对程序锁的状况预测就会越来越准确，虚拟机就会变得越来越“聪明”了。 +在 JDK 1.6 中引入了自适应的自旋锁。自适应意味着自旋的次数不再固定了，而是由前一次在同一个锁上的自旋次数及锁的拥有者的状态来决定。 ## 锁消除 -锁消除是指虚拟机即时编译器在运行时，对一些代码上要求同步，但是被检测到不可能存在共享数据竞争的锁进行消除。锁消除的主要判定依据来源于逃逸分析的数据支持，如果判定在一段代码中，堆上的所有数据都不会逃逸出去从而被其他线程访问到，那就可以把他们当做栈上数据对待，认为它们是线程私有的，同步加锁自然就无须进行。 +锁消除是指对于被检测出不可能存在竞争的共享数据的锁进行消除。 -也许读者会有疑问，变量是否逃逸，对于虚拟机来说需要使用数据流分析来确定，但是程序自己应该是很清楚的，怎么会在明知道不存在数据争用的情况下要求同步呢？答案是有许多同步措施并不是程序员自己加入的。同步的代码在 Java 程序中的普遍程度也许超过了大部分读者的想象。下面段非常简单的代码仅仅是输出 3 个字符串相加的结果，无论是源码字面上还是程序语义上都没有同步。 +锁消除主要是通过逃逸分析来支持，如果堆上的共享数据不可能逃逸出去被其它线程访问到，那么就可以把它们当成私有数据对待，也就可以将它们上的锁进行消除。 + +对于一些看起来没有加锁的代码，其实隐式的加了很多锁。例如下面的字符串拼接代码就隐式加了锁： ```java public static String concatString(String s1, String s2, String s3) { @@ -1576,7 +1599,7 @@ public static String concatString(String s1, String s2, String s3) { } ``` -我们也知道，由于 String 是一个不可变的类，对字符串的连接操作总是通过生成新的 String 对象来进行的，因此 Javac 编译器会对 String 连接做自动优化。在 JDK 1.5 之前，会转化为 StringBuffer 对象的连续 append() 操作，在 JDK 1.5 及以后的版本中，会转化为 StringBuilder 对象的连续 append() 操作，即上面的代码可能会变成下面的样子： +String 是一个不可变的类，Javac 编译器会对 String 的拼接自动优化。在 JDK 1.5 之前，会转化为 StringBuffer 对象的连续 append() 操作，在 JDK 1.5 及以后的版本中，会转化为 StringBuilder 对象的连续 append() 操作，即上面的代码可能会变成下面的样子： ```java public static String concatString(String s1, String s2, String s3) { @@ -1587,46 +1610,47 @@ public static String concatString(String s1, String s2, String s3) { return sb.toString(); } ``` -每个 StringBuffer.append() 方法中都有一个同步块，锁就是 sb 对象。虚拟机观察变量 sb，很快就会发现它的动态作用域被限制在 concatString() 方法内部。也就是说，sb 的所有引用永远不会 “逃逸” 到 concatString() 方法之外，其他线程无法访问到它。因此，虽然这里有锁，但是可以被安全地消除掉，在即时编译之后，这段代码就会忽略掉所有的同步而直接执行了。 + +每个 StringBuffer.append() 方法中都有一个同步块，锁就是 sb 对象。虚拟机观察变量 sb，很快就会发现它的动态作用域被限制在 concatString() 方法内部。也就是说，sb 的所有引用永远不会“逃逸”到 concatString() 方法之外，其他线程无法访问到它。因此，虽然这里有锁，但是可以被安全地消除掉。 ## 锁粗化 -原则上，我们在编写代码的时候，总是推荐将同步块的作用范围限制得尽量小：只在共享数据的实际作用域中才进行同步。这样是为了使得需要同步的操作数量尽可能变小，如果存在锁竞争，那等待锁的线程也能尽快拿到锁。 +如果一系列的连续操作都对同一个对象反复加锁和解锁，频繁的加锁操作就会导致性能损耗。 -大部分情况下，上面的原则都是正确的，但是如果一系列的连续操作都对同一个对象反复加锁和解锁，甚至加锁操作是出现在循环体中，那即使没有线程竞争，频繁地进行互斥同步操作也会导致不必要的性能损耗。 - -上一节的示例代码中连续的 append() 方法就属于这类情况。如果虚拟机探测到由这样的一串零碎的操作都对同一个对象加锁，将会把加锁同步的范围扩展（粗化）到整个操作序列的外部。对于上一节的示例代码就是扩展到第一个 append() 操作之前直至最后一个 append() 操作之后，这样只需要加锁一次就可以了。 +上一节的示例代码中连续的 append() 方法就属于这类情况。如果虚拟机探测到由这样的一串零碎的操作都对同一个对象加锁，将会把加锁的范围扩展（粗化）到整个操作序列的外部。对于上一节的示例代码就是扩展到第一个 append() 操作之前直至最后一个 append() 操作之后，这样只需要加锁一次就可以了。 ## 轻量级锁 -轻量级锁是 JDK 1.6 之中加入的新型锁机制，它名字中的“轻量级”是相对于使用操作系统互斥量来实现的传统锁而言的，因此传统的锁机制就称为“重量级”锁。首先需要强调一点的是，轻量级锁并不是用来代替重量级锁的，它的本意是在没有多线程竞争的前提下，减少传统的重量级锁使用操作系统互斥量产生的性能消耗。 +JDK 1.6 引入了偏向锁和轻量级锁，从而让锁拥有了四个状态：无锁状态（unlocked）、偏向锁状态（biasble）、轻量级锁状态（lightweight locked）和重量级锁状态（inflated）。 -要理解轻量级锁，以及后面会讲到的偏向锁的原理和运作过程，必须从 HotSpot 虚拟机的对象（对象头部分）的内存布局开始介绍。HotSpot 虚拟机的对象头（Object Header）分为两部分信息，第一部分用于存储对象自身的运行时数据，如哈希码（HashCode）、GC 分代年龄（Generational GC Age）等，这部分数据是长度在 32 位和 64 位的虚拟机中分别为 32 bit 和 64 bit，官方称它为“Mark Word”，它是实现轻量级锁和偏向锁的关键。另外一部分用于存储指向方法区对象类型数据的指针，如果是数组对象的话，还会有一个额外的部分用于存储数组长度。 +以下是 HotSpot 虚拟机对象头的内存布局，这些数据被称为 mark word。其中 tag bits 对应了五个状态，这些状态在右侧的 state 表格中给出，应该注意的是 state 表格不是存储在对象头中的。除了 marked for gc 状态，其它四个状态已经在前面介绍过了。 -简单地介绍了对象的内存布局后，我们把话题返回到轻量级锁的执行过程上。在代码进入同步块的时候，如果此同步对象没有被锁定（锁标志位为 “01” 状态）虚拟机首先将在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，用于存储锁对象目前的 Mark Word 的拷贝（官方把这份拷贝加上了一个 Displaced 前缀，即 Displaced Mark Word）。然后，虚拟机将使用 CAS 操作尝试将对象的 Mark Word 更新为指向 Lock Record 的指针。如果这个更新动作成功了，那么这个线程就拥有了该对象的锁，并且对象 Mark Word 的锁标志位（Mark Word 的最后 2bit）将转变为 “00”，即表示此对象处于轻量级锁定状态。 +

-

+下图左侧是一个线程的虚拟机栈，其中有一部分称为 Lock Record 的区域，这是在轻量级锁运行过程创建的，用于存放锁对象的 Mark Word。而右侧就是一个锁对象，包含了 Mark Word 和其它信息。 -如果这个更新操作失败了，虚拟机首先会检查对象的 Mark Word 是否指向当前线程的栈帧，如果是的话只说明当前线程已经拥有了这个对象的锁，那就可以直接进入同步块继续执行，否则说明这个锁对象已经被其他线程线程抢占了。如果有两条以上的线程争用同一个锁，那轻量级锁就不再有效，要膨胀为重量级锁，所标志的状态变为“10”，Mark Word 中存储的就是指向重量级锁（互斥量）的指针，后面等待锁的线程也要进入阻塞状态。 +

-上面描述的是轻量级锁的加锁过程，它的解锁过程也是通过 CAS 操作来进行的，如果对象的 Mark Word 仍然指向着线程的锁记录，那就用 CAS 操作把对象当前的 Mark Word 和线程中复制的 Displaced Mark Word 替换回来，如果替换成功，整个同步过程就完成了。如果替换失败，说明有其他线程尝试过获取该锁，那就要释放锁的同时，唤醒被挂起的线程。 +轻量级锁是相对于传统的重量级锁而言，它使用 CAS 操作来避免重量级锁使用互斥量的开销。对于绝大部分的锁，在整个同步周期内都是不存在竞争的，因此也就不需要都使用互斥量进行同步，可以先采用 CAS 操作进行同步，如果 CAS 失败了再改用互斥量进行同步。 -轻量级锁能提升程序同步性能的依据是“对于绝大部分的锁，在整个同步周期内都是不存在竞争的”，这是一个经验数据。如果没有竞争，轻量级锁使用 CAS 操作避免了使用互斥量的开销，但如果存在锁竞争，除了互斥量的开销外，还额外发生了 CAS 操作，因此在有竞争的情况下，轻量级锁会比传统的重量级锁更慢。 +当尝试获取一个锁对象时，如果锁对象标记为 0 01，说明锁对象的锁未锁定（unlocked）状态。此时虚拟机在当前线程栈中创建 Lock Record，然后使用 CAS 操作将对象的 Mark Word 更新为 Lock Record 指针。如果 CAS 操作成功了，那么线程就获取了该对象上的锁，并且对象的 Mark Word 的锁标记变为 00，表示该对象处于轻量级锁状态。 + +

+ +如果 CAS 操作失败了，虚拟机首先会检查对象的 Mark Word 是否指向当前线程的虚拟机栈，如果是的话说明当前线程已经拥有了这个锁对象，那就可以直接进入同步块继续执行，否则说明这个锁对象已经被其他线程线程抢占了。如果有两条以上的线程争用同一个锁，那轻量级锁就不再有效，要膨胀为重量级锁。 ## 偏向锁 -偏向锁也是 JDK 1.6 中引入的一项锁优化，它的目的是消除数据在无竞争情况下的同步原语，进一步提高程序的运行性能。如果说轻量级锁是在无竞争的情况下使用 CAS 操作去消除同步使用的互斥量，那偏向锁就是在无竞争的情况下把整个同步都消除掉，连 CAS 操作都不做了。 +偏向锁的思想是偏向于让第一个获取锁对象的线程，这个线程在之后获取该锁就不再需要进行同步操作，甚至连 CAS 操作也不再需要。 -偏向锁的“偏”，就是偏心的“偏”、偏袒的“偏”，它的意思是这个锁会偏向于第一个获得它的线程，如果在接下来的执行过程中，该锁没有被其他的线程获取，则持有偏向锁的线程将永远不需要再进行同步。 +可以使用 -XX:+UseBiasedLocking=true 开启偏向锁，不过在 JDK 1.6 中它是默认开启的。 -假设当前虚拟机启用了偏向锁（启用参数 -XX:+UseBiasedLocking，这是 JDK 1.6 的默认值），那么，当锁对象第一次被线程获取的时候，虚拟机将会把对象头中的标志位设为“01”，即偏向模式。同时使用 CAS 操作把获取到这个锁的线程 ID 记录在对象的 Mark Word 之中，如果 CAS 操作成功，持有偏向锁的线程以后每次进入这个锁相关的同步块时，虚拟机都可以不再进行如何同步操作（例如 Locking、Unlocking 及对 Mark Word 的 Update 等）。 +当锁对象第一次被线程获得的时候，进入偏向状态，标记为 1 01。同时使用 CAS 操作将线程 ID 记录到 Mark Word 中，如果 CAS 操作成功，这个线程以后每次进入这个锁相关的同步块就不需要再进行任何同步操作。 -当有另外一个线程去尝试获取这个锁时，偏向模式就宣告结束。根据锁对象目前是否处于被锁定的状态，撤销偏向（Revoke Bias）后恢复到未锁定（标志位为“01”）或轻量级锁定（标志位为“00”）的状态，后续的同步操作就如上面介绍的轻量级锁那样执行。偏向锁、轻量级锁的状态转换及对象 Mark Word 的关系如图 13-5 所示。 +当有另外一个线程去尝试获取这个锁对象时，偏向状态就宣告结束，此时撤销偏向（Revoke Bias）后恢复到未锁定状态或者轻量级锁状态。

-偏向锁可以提高带有同步但无竞争的程序性能。它同样是一个带有效益权衡（Trade Off）性质的优化，也就是说，它并不一定总是对程序运行有利，如果程序中大多数的锁总是被多个不同的线程访问，那偏向模式就是多余的。在具体问题具体分析的前提下，有时候使用参数 -XX:-UseBiasedLocking 来禁止偏向锁优化反而可以提升性能。 - # 十三、多线程开发良好的实践 - 给线程起个有意义的名字，这样可以方便找 Bug。 @@ -1659,3 +1683,4 @@ public static String concatString(String s1, String s2, String s3) { - [Concurrent](https://sites.google.com/site/webdevelopart/21-compile/06-java/javase/concurrent?tmpl=%2Fsystem%2Fapp%2Ftemplates%2Fprint%2F&showPrintDialog=1) - [JAVA FORK JOIN EXAMPLE](http://www.javacreed.com/java-fork-join-example/ "Java Fork Join Example") - [聊聊并发（八）——Fork/Join 框架介绍](http://ifeve.com/talk-concurrency-forkjoin/) +- [Eliminating SynchronizationRelated Atomic Operations with Biased Locking and Bulk Rebiasing](http://www.oracle.com/technetwork/java/javase/tech/biasedlocking-oopsla2006-preso-150106.pdf) diff --git a/pics/051e436c-0e46-4c59-8f67-52d89d656182.png b/pics/051e436c-0e46-4c59-8f67-52d89d656182.png new file mode 100644 index 0000000000000000000000000000000000000000..e3054539f4044e0e4ed9cf61a6f445def05e0450 GIT binary patch literal 31744 zcmeEuWmuH$+O8-)bPU}M14BqiN|#ci3`h(mh;(;%qaq+(f`TxFbPX-tpmcXP46p~^ z^{w~)_FBL8?>)!C;W7Bk^W1Y^bzbLn-b84qDdJ*NVn2BB09RQ_PV2#gN5BUUP(EX# zBY*S$#W*+e9~37oMVSXB1Js+yH>eiU&!rzcD2oFijM0$qvFw#}ogO^EYrFqJ>9Q*{ zd+@-WR#{G3+ud+?7Q>xnbx!iO?-PlN61z+xBc?Qp^i%CfX6S>2c7LrvY$5=(P|KP` z8b6E?TZR59Jqi})@S}$TMi0<7S2gl!MEzucX44Rr#B=>Rza8uwU`_2ue-BFiIWU)b z?pbnNmol5~;LjzFUQh6nz+hPo3f{pT7yQyBf9Yr_8jZT?^PhV#?)`99Yj-Te+DH=1-b$;daNvhwk2 z^Sw1@ksGU-a5H~*LuWPqEhLdkhcgaou!MT#&gU>rS6JYSi;EBCD&nsaA`Ri_hBThG zS*}9N`=F5OYGL)Td+SgHp=n0ch5<0}7Fs1%r3^l465`(@`xOPV_0^dz53KTa+140y zW_v9sy@X=du+(%#B=bod+M$c%OI)eVwZPuD8lPV2sfB6TA&CFAG8I`E@8gXazrGj+ z=aaVShLBYIi4eaZV5POWGE1}gD`RF?GfsRxGsDi<@uITj@?ARpu-*IHP^yKQ+&iZh zSx`vm$580vFJBqh$GsaS6y-zs3n*J9;5Yhw!%@`Ii#$@KpTQVb|+r=5RTj zJ*vp~Ec)Q!#u#IxF4L|=jGl+@y+n>m$>j#4I@XTQ@V=WZ_jRHrlhFjZu;u;e>C`=J z_CqvqS#3yUl>!4Dq!gGuZyk3UtPE3%N2v&iX=0Lb3*x~}W?!H>2ogE@;Gf$kR+e-) z86;6QN#7@x6C56Ho3u~HDz|Qe4qZxj;UhnThU;G|qPk#rh~@e{J(8c!@D#UJ4=S%5 zu@@z|595S7a?s=UmvIoY^o*#1L}!8qO4Bhqp`>SZ>CuIu83fU|2M$LztJ2CsJf#$| zuSib`J}wCrU@4$Fr$tL0=L3jscRvRRXB_>!qb|cT-(qlHvzGzCYf$CHQl*kj1Lv}{Jo>Iy5Wp~u%y_osdGaG(sT@G($~wge9OFh6`L2kfgUV7 z=uwq4*x8ysE!=<vJA8%fqonk)bvwNfUXWWRwhWfRtL4f%3+zc7v~B ze0Qs_p8J`~XMP?6D2U%^64|CatEsx8856=h@U^9Og=CsD0dFdTdLue2Xn$Olw2-DQ zJz4J7t~@4{4ZBswQF$dJeI_sGRzgoU(*#y)vEBY?lHfu7)$Jo0mm`eVYl=Dw0cWJL zuyA>*3x9M)*$6{KJ}*etf_*cx+30XNdnpU+4ft1 zt-s0oUhn{3#QkNuu~J*q*9-hWl+S&PqWq=g!vr5+*54ix#%)8GrmoW|)zBj5K>4#L z&+L}5qz~k_?bIUqn3{J4Mu#U}>)V-fdHb|B$nAaA$PTa2>6(vGgivfgvEggmL&WEJ zjUjW!m$gleKgDkgnakp}9NKdRiY}%Ga1V>83ygR=79Z{{+k1_6S+a+qOIxiDT@^jL zWVNtvV~N>TTG3=89mfF>k_V{VRtWM!l0 z3|dsoXAr2o1dHF{@7dmf7?4`IVrU5D?OhtRq>RhB>YX~%nkQQ|O{(VGkTA!lvMO<8888vE*-1&@Xa&!uB z9ys>)3kiZ?hr<`Bj@qwG=%tqqJuJKrrT%}0k{%`yAMfswjdw>5gj3ta*WLW8%sc5# zWBrATJHSNAeUT~+WH#%q1KQ#qEbDveUicmp=w>qfT(bYG;H~D6in&ospX-umIGoXJ z4)-O}N0G_r@sEGz;u>#QO*0v>-lveP(pcL0XHUbOv3@&(O^yN@*kmQ9L{VK%Xop^I zMU96b91w6i%|b4T0uwugwcS$H_cW*`N~6vb4v4r?r{a$j6aR0~z7c5N@h9`VS)a*? zoX2_X8*AxQL?I++kJ(jUZ2zzPjuGWGCHaM;0Zqb6p}76!3n3m5b_cO2ih0Hzb$zjV zL|r{4;mbUedPW)3yH9={etDIG8+7y%UHA-6gVX8k>0umbPJw*|^gr&-Om5G44dB*? z`Pw{J}w=!uRJn2p|=6W1mx zH7iw1AYr9^o;Q@MwsMs=X!IVQQ&=Fa`o(C+C)rf`Z|w+--z=aa@+ z&SrAFISSXep+VZw>~=8M@}VFjWmgp+TXL*-DH-x{S~Ts`!r z#BJ46ogzv!gRyVjCyLI0CW;XPP;pdmn2?Ww+|BJ%@2!`YtoG<-1f_S2=ret8m2JV> z%?(ka=qQ~9jAd(~;}194;(6-;8J}c=Pu~GNKYAUJ$_*&BhImhYlZbg~TA$_X@zt{0 zHx}RO2Tizc^J}`FHDNdNVYyAtVf$&TI0tsWF-Grd{N2TzKzU4bUF*)$f*kSPyH zWnwE>8?Hei?asKb3z{MWPbV{JdYyGaN<`TO%yMt19 z+J@OHy!S1@A1lsO!Rj&t+g{&>1lP!i8+;013DP-A(=vX*fB&oRNsxgW7@;8Ce=0rsQg~v~m;u%-GkPMr6UyADv7d^_N;?a&u zaYZ{7DpeRe_uqvZR9wjX$A=OG(E+%|#_}u?e_(Vm5|Cj6xHy&nq+_!fq=P{qn#z9w z9pgJ>`D<;BR3ZA)mgt(oh6sSKwBP@^Yd0kl?ZIF<@7w=$C=*Dq6C6UC$ovQ9m3Jbs z0;pIep^s~-nFC8X6_2r_EY&DU@1IXer2Rs5Ot8cOoHNW0=Q{abZ22W$Q55#Nwg1Zn*g+wqe}Cy=Ut{yu zex_#V#FSFQ_;+H_2BP4B#eI6K*0>87KWzSw`Q?MQ?SXVsij$O{?i)o6W;1c&u^Dlz zVx^I#S?>0@VZxx!XmHL@vxRU2|SzMy{PDW?-NU z!PyzFH%;>+o#Kp>A!vdFdMa>G_M`#AoL*NdzTx@z7FyQBRN8JS3^dwabaPl9KZawd z`=v4SumEqRLUN;__0cG&p*CU8JB-&$GQk+`GTq1LGprk2*}Hi(HC)Z5q@&zBpAXS9 zj>@X>9`=j@I{IeUEJ(>g{I{)$13g~sjKb-6d}JK@Uly>bCB&=8kBBhQ1Q`)ItF2oT@Auf*FnNWp9yA+* z+An20G8)n&W=$U&9}F#j&7NL)QP2(vI2M?Os~-4g50mfkv`?>N0lz99nx0cS78cT# zkyr>4a5CcnS7P^!5Rb}?aHUJ*lMeLTJl&6edRku0M7f`SXGm@^qv8QRw&`(xbSxv@ z!M7DMBx5wpfJBHGxq&tNMFa?m0n3v&sd9NVf32&>nG1^!!?X985jB(2l2nrX!&)i4 ziEAQ^qnJbpVwShG6JVos<$|_E*4N=S%DTLqwKWt4&zZ>T?_u7%R*F6d8));tYU@9K zOv}OsAx~WzR}+L1$VQYLr9v`33;4{e@NmF(S_p>{xjBn;mhmO`BHhiE%Elw{-Q( z2SO!*o{ifRHC_8yu}E^x(6*wK{S}PB{9oOyBNpA3_T~H8zn0o=gIyF&Lai@`Pdv9D z`ewXOkx$%tb=Z51b*7SJ7tNRBb9|jKJ7p3fJvmpd?iBsA&l6Q^2+Vers5lknk5xy<0^RpqskSa{%!ENiTq%_AcY zUh;Q2*J-jIe(kVNzNk*~g}AxS!6Vh&w;p{~^Dkzg*+67!pepON) zGYWguQIlnm4ClA4iJ5aUxQ!5dZQPEW;}XB}$3bYdk4AsE2kVT$We?gba;p{-oC^1E zB8Fq~dv&)pIK*iuLCuU)sDROaS)~h4Oi#D%@P&cJaD)lN?X$89MbSnSzTx5UU-q1L zZfow2$4^2)^n*eE_VQ1sSGP2$`cah80 z$7H8pilmriuFU(V$TN3!d=Gmi130*2j#iD^mbCigl=nKBii@3{bJ19-%V&zFLED|a zAc_g#OWcv95=0)PJsN~wT!+H65m2DibiTayVp8|`>K87M@x_*% zdvgY1paw12$A|a))F3{8;lB899M(r=dR|0MH$IpbUUE?NI7zSt%h!}%9*r$Zade3w zTjB@lYH|Fh^~N);%sUd^nA60~@@Bm%M+h9B(>W!jpE0PeLGo9&-oJ8+8w@2+>zAWC zQeo#)nmf95F~+-(`U*@WhG_uD2u!UDuS4-8WUR}f-5Zpf?A5ujTu!JVLgwsi>=$VX zUg!a4G_AzLp!vPX^>3fm#SQ?sv;~e$r+cQeEe|&GjP|W674H}x5z_u3;m}RuEse@V z)WDnh486eEOgW6hMK4}xAAeeVdcg!saDK^t2&mtF2$3h6kwVaj>Iifjt)bsNb&ezt zCd>_844PxGd^M{G!p5-_@k~NQ8A`)t9L1hs<4SbcFOO1Z?l}iIeFwBar9UURkPv4I zM=tk-e=(x1^xLQMD#u&wUGE!wC%G7Y>G1?EGo$k(#b3(q7qxm#BU&4!vXm(K;ZA{< zQ!LI3KJb@_loUOuifYSR zL+pjQVZI0WnVu8S%`HYjHt2FJEMKTV(k#s|q|9I|w}EH>D{7!RcO{JopqWdNpB4ye z*Fu?A6b`7SZ>bp8V4i3cl3w zwE*Bpsc}YuIA+-l4?zjYbtB`4JkZ5xmV1$l5nR3q`2uCki(icp7pFHvYg1&pv%bB!dqw~o$%;{EN71J4BJMyd@DB=5db*XQ4 z9BxG5%^UI2ZL-V3cnvOTY4VuTGtzl=YSXlvpb3;g1BSJVs&v1j!6sX8Iq*nt48`x6 zVCui1@(e|nl!R}}lmsgQx`RH&>u0THGHT`Bx9|A%C_7pWK|NBx@<~=hFp)d_Wzih@ zWzM%D#eHJ~NGQV7xji!590OiR{SYD%s&(RZhy-hz4!nQxxuXU3-3m^MSJxuNrsNZo z00|SXx}%M@nXXvP0AB2e(IejIs?QC>p$TP&k1h>`uSA2&x>tO9m&$INLRkuf?)tEj`TMNo^F!_8 zYLMzxX+q39s+=LYI*0Top}F~ZuV)N?um}9EvGS(s91YsiLo2&A#;L^RcFPyw55ruR z1Vr3e`Qgaga&VuD@b3c;RNS5JfcPLVDsO)h9fF6k*u z0+v{1n@=8)J&>6_ptJ8j1LdbdvlYiFQFtj4!|W?II24j3k7QGGziHxN2NJr>Up^Vs z#Pov8h}M;@r|M|vf+f2ABLmOp?;OR&R;`|J})9B8O zHj6YwA^qR(nV8)7TBJe@tLPI?Yam(_!QCY4TRqk8o@_N6>~M#j^>KaZTG-4l)ks>UyK6>yP6OcfAyT^ZOR#G5c|k zueFLw>z5!7n4huPcY(#NY%}X;zk?s?sGRqk-6uOD(A3mS?R`u6HUdj{Eu`heOtV+* zu6feF=`X4|0`Z0+58rP`kj-|a-{AnQt?%32->pzMRQekX6(CKJHM)ts!M8s*K#rh- z(7pzK(D{jUPh!Hi|9T%ndLJ!}IXOKo5iWe;v9Z!4o1o-9>b9+~bh+p6Xb4ZXsKV1= z)M5MV)o&ipwr7*R;4Pedw?RIGCLwi!jiqQCW$x#TUqaIv+97ZtukClTbH*7cips$J z_@OLo$I>9zB{(b1!Gy*nXMMSVhJ!c7cCjT#eW?B&n{!NZ;L5fxJ}!{LLdf{A!Ll#v zdF$8fo}e?c^o}p`#{?2mgcx?yB`%_|rKH!!a}Uettl1Q!;BN+1`r{mD$!BaL#yZVfJo9mZS#)^?xUtVLtHa^U4{QkmdY==_`m?hmWD)Z~+x8&26l+MwDoRfuQ5jF;0uzwJuV2xfn+bKWZsW(rSlj;PdmkdBW_q5YqVT37 z>m}tYJ)A<;bS;y zoCHqUCl_#|<5W9unXVHa*V8@pX=l`75A(#eYOSz-)W9c+mwHYIpPO%z&kWVVB-CKt z@Y09XpW}eqH{V1h>!7;~nxz97&UIqIO9vvTL*DIVO=hFoi1H znH=;9UsgE7%CCfGCN{}c)F@F*KQ>I?rssSMT`^PjPTcR~%#{EOTal854CtiNI#}FH z&GJiUvLfYvT(6!*wMV^-S!#|WL1K+U)H2wg7?;zQLn1Sb=AM4ficET5WdM?PRIDwmOyd3%}Eo}xS$<(^UMSH|@)GrFLa)`IXgMZdM+e%nq& zjY=M^fO-<%wJL7Gxrz@wkL#C*Jm=GPAD5l45eUH~eWSJU)$YLm@G{~RoRwHiQIKH1 z9wjiyO4`nwme}boye~a>=&7e#1(pa%GR?;oDEg69DyRwFle^i($q1KN>(%K8*~o=a z^ieeqzaJ+RQ2$|af7-*O;}e$hv*n7;rFFt+OzJwc>clW^+O$|{OF;>wLxBG25bg|* z2i8vLHPxi&T^MXR;#Of6tII%_v=7C0~utZ#7DewTb>zQ*}dov8MjKWBWB zt*_LSbOBL65Vot>Cn`=mNYTNorJ!G`dUo~xL$xy6zr%N!DX`-v-}vA?_7xAn{)Gpq z>t=jon++{W=fGf27Uv1S*5Fc06*HoakruG#8}{~tl!As!BRR;*c<4>}#T# z7qtC}*KVexI>TQ>r9m*4Ld2S59*}=``aW41cqz^&$?n|AjezmOoIT}=Wy${XlMX2 z9iQ^s`V)OP1jTpNdFgIKcI7wKl2O#!M7jM1mgm?NI|Y8bh0#^hqlVLQUg&oc6kB86 z8an4yBgGxu!^BadVRanJx^FjS3Tl{N!#8(WO2PA_a{dT%ioUf-%Pilff zI7q2Ng%l{H{mUE$f^k3l|LPTnUN_~6xGiTq|_IXt-& z6x^B-n$K$xC7o2hbR~HC5JRBUSbEYCIW~&PTuqr^)qj0J*|Ui_eAP-LJ|#q=zUgw{ zCxEiHOyx!}-S7SR#kOBsd5V#7LJR;&hOw8FT6BvmU9M=}c!PPgo0dKuc6^Or4_j~h z#}|}W87#;@Fmz-BCE)BP-hhf{buX{_5uKvP2n#i@f zGlJP^0mwrfH>x)3YJl%Clx_<@A(|4eS$^y4D2w`1Y2b=Fq*y(globuw(!4=HdkMyd zy`GZs5^S%qO(EHFQrMqdRLY}zhfga`-usE$luH4CkDqjXknT2DcI{RbCd_@Fc~YBJ z?&sA9Us?;~IUsUAh*Kg_H5MDWYk{GUtn8Yg1B#kcOTKrC{lFz~zQw%VlOtqxuvlK1 z1cwK}$((~ zDPGXFn>_|6|BB1CI94XU#vtGHo&4&?He`w6kWx)5f1C_exxYrA4yJHk+Y*W-q zKWnB==HHF`2`!Qgl-Kpb&x`If`eE=9cyT+()o-hsYrAFLl95JtSXC!{%YXmqnRRz- zS;SxzTo!z5fB;n$u;try#(SD%5#kgQ0%MksW&j;GA0Sh?pAZzME{tV!?+Iy1k@LOg zh8HxRo3wNR`^%HPuN1w?OHH?vY&12S-qItJB)xCh2PCf4A-kS;zyZb@!`MT+s6o$? z*0Q5APu?}6+{PHSd1)f)o?n3U&#!{2AG5Ve5ya#b$zVxt)U{~QlLX%l5w1 z$z01cDQNsWo6#r5m(wJTmV|1wEpRHx;yh|67AUof-{hX`K zvM_Q>J)9vNx&K7XQ}@8HDC%Zk1Rc=D3n6JU#RHC%-jKb*Rp?dG3b2;+QMC#z!~T5! zIattQ-(+$lls6pBqvIgI$B7yXnBz6gR~I3S3MY;UWnHhYP4l6cx(IMSmSXy>E@DDV zEtfLQTbw~Ij)QyflgEoqH^ts&Tf5=1nC@hRki6G|^yI*XJhW8kHr>s{jUh0Ec~=8x z&SzkLOAu|tn<{&7COsT$nHs=pj4%N|=XWr_V`XNsX@!5x>Em>IIQo)WWiCALIfi|{ zk{gjD_g`)l3vcDa0p^Eo&Ux(U9}}C9br^U2-WBn9QDh{!S<@he>^M3Zg>EgZr<@4i zPFTDo4dcKibG-`Ns_WZs_GGxBfJ*~)%%pq&+*Y2MN@@2EK7C-XU4YhYxx)B%~kfLc;L9 zAIp4;OT}kL*_xXI+eP>-zY)R}l@0(d&zGTU9tzDK&I8gG_o z|AUPVUu0tfM1HPF|ylk1M?ZP&24e~HvP zp!oi$8tUUnj18>2E>uF5&D4J1c7uEjD|6aOb!zuQVBn*dt zKDv5jM^!I=it>9GQZb-UM7O;|V^DpL;tE;#FITjbP2_OHTYmpe(Ev+9p7Vyc1-h8r zHShOUm4>()q$?FT+{!WIpYp2s;XiDvpXE zA8B19a&`Q`BR2U*9W`%!GNAShOUqW=?35a=fkxBm7l@>H9r=;rinPaC*;%Ftx{&Y4 zL(-Mh_rD&e)9J-3D{RS@-hPPLo^Dbouv$8g&_G|5`qhZ|0ENM-w(?MQD+Q2Yx22!2e|7@**rrMu6y8NnYzW8g`lh1=9Z=BUJg4Ow8e3> zp=T%xd~zH20xA(O8`+`Y|Hz^?CvN{Ci+V0<_5MY2^8U`-;yFCJ0sV-1eCiJPcL#D} z68f+Q*@&WKub*4f95xu8g2#mOs!xBRFOt($6MDr_cQmc!Cr=3wthS#MHDq>l&wsbQ zw5y9G^|1<}M!l{sX{qcc(;P4SU^j)V-UCQ!;e8qtZ@MM!THEqH z8n%RM;KDQS0+}ZF7UxcvA?MG@Gfqh8H{LDH8fkT~d^fv`x!HcjU^^g(vo(jB*uKyF z)<>Ki)E#qga50Q14Bark>=X!sDx))8%0`W>XC|sF250Cp%v9G3IPmM9qvR8-NrMb+ zYZmQe>z7@!aQ-E=YGyuBH_>q1BWurHhiqtMud*rCSvgU!zG0mEv@fZLX9sG`6;F<- zs1VI6CVzM$=xKaOn!5g%%Ifmdouti|#g9kp#W$JRWtxZ_0d$iM;PmT95-pp_8rsCo z^c0}(6mk%C*S$AS`28y2J!Ju3US|z>y|YmZdfqiKJlM*Pd0;Cbu}_maxH0uL$Duw-RE4HsP>M(s&$erkEPt+9pSXJo}hO8`O$U|-4hXyR2Bbaq_S@E4Aij# zZyf$^N+2526f`Wwyqq%|p@eV0dw>qgI7G|2I+v@~2^wNxN6jXb<>fe2*XMw8zTaFU zMDV`@G0ty=s?iuqYpmNh5DTJ6-PX}@OzfN1-vC`=wfPdQVeE!u=`K}9jvH16iAp%rnP(x>&iFDYgz`rL&&%84p+ZEG=J~xO6@+fi*6EC^#m9)E+ zJm3}Tw75PVjOmt?AO)*Pt-1f`s-8H$qTOjJKA%?{tMP;0eh#Yfy+i#{`4~Cxd410< zo#O$Qn8?=YYlYoILDGD^e$wf|xB#`jU2JnY63ki5H1~49E1NK^9a#Pq!vrk~g{-2Oh+mQQyQp zS(OesXnMVr6!oGl5tk^3T=Ph#nG*#MEvn>0nVC}W%nL=(^P%O4SONR)I<@|$@Q_86 zgFayl<+n>toIlcoX@sbvi>!e8s2N*GkvP~?DqJJ2qpD-%@z1&eeU2x z9JQZ+%-O?NYpyt@cK%@lbUr##W|VG1$Wb5N{WS3$iZUwL?ppdldOhsmf@%%?&FikU ze%yIT>Ir%3>P_7ZlJy>?Fgzlg%}qt(^(SG?bnjqFG13;Byme(X_ua{4F$bCys%q(W zMAj3IC5vYr2m(0&?NXeS8>d&Pkkoxrb}(%;#LagIdN_IQWIxAkWBBH=x3_Ridd)? z0DNf)O&>5NJf6m*zS;&;&whwbtmw)f1dMBb-S*Cd%rRSBb1zYIU?k2EMwy&sUx4jh zsh8Il2<{VeFoCjPIl*-&vEir4Rb_qiuQ3$GT1KhD z`N{+|5=F()x45gsxevuy)TlsKyZIP=S&FYMHm_U2U9M((v_VfDQpcnONv1*5E8kf* z4Atsdq?x=AwmW8SAnyyP`b5%@h05#~|TMGC6IFJi-pInO`a*Q(K#Ja96+vo`y=-`N+pEp#o+U zT2pVAOhvWv;(8^xnZmFplbS>RG>5^)5srkXuX|hj*B?z%hP$}>#t0f9fV=q-;YiRX zH-L#$$)3r|J2X%kU0Ljb*FDVWPj^tPRj)|7mdK!cZlk=H%kW<&OGzDrfc73`p;C%)<4_=|$nE{qY7T3TK z^SR_2Bb%E&axtgLPUD?;wL)%#9|ILkzLn1mxxOHG&NbGG9wUl>u@`^?bwK9ODl+dgD13p&yrq<8V#Zz?AuEF{I_(ufx0ue6zFt z`q2FKrcZmiAX1N_sf-R7{eBZpLmIj^-kZEX%ot;r`U%PJmY14LpYJnmyp_6a@b!2i z9e3n1y*$g&ypVT_T_X)+x1#$pfS<6Q?NOD9cKxDd2NlrUz?VAtV;VVdw90r_4V*V+DAEbuo zPn>C((ZGY(MsRmOww-x2p#iXgIsX!dCaR+T7h!19Ue>oDqiv2UyCL_~fpjD4Sjr?iKk?5|#!^PG?u3AkLGSqNTCX=Iia%enhlb&;rpC3h_U5Y#(t;vK!_Jpv z`j3Z-c?=Vh(xDD+e1=KuF^&Fqk^COtlWBGCX7z_U5W1<}0YPW617>$2KOLb5o$sP- zIq-kOp#eoYrAuLSzE7{ub~_GPW6=%;NWT1g17Y2rn{UBwsxuLnO;s&xA9KP`0m@fc z%+Y&+1^EQVKR$f${RKK-;R;Vn2nKkt@|!JPr12EK(RNKS`w6X zF5d<#g&o>?84bM^AvxyBIIi}LB@gtbI)%@q^I;-eaL4lZSU_Eo$A)!LO|;`)AUK+s zywSvPg!^qayj71?t7=fj-QcZOIh)?|%U%TROOX8G)d74Be#D_#=N|yE@Z;CHg&sn= zLdO!;VqVJ3=lqGTalaHXg`5EAvHG2N5cjr$#S|~D;a+tNeA!3d<-J$b5Gq?r(CzKD zU0;R-)$Z>fTw2L6TO44?y#g5mkx)2)Vej7C98XYBt5VW2<>aC>u;hcUtvTxo z!~A~oR(|K~mwg}Eq-5Q#OaI6#slT(d%Z|xtLdc+FkWes-Ojc%j@Qf?&?Gp$|HNIU0 zL-yy36f}3VrZ}TxwYAm>@O01JE3M2`bU<0b{V02LiLj0n^K%1@u=O3vKW5oBrN*!2 z;!5xKOt-t#e-hW=y3BX>sMcnVJNq!@P~d#Y!C%H3vWZU)@U5ARhLsLBBhfxx zo!z3#O$^BnU1oWX(w~s?k~1m9b%w+3a<`pc_LJEh06NbM|*fFzvWyJkIWyT12!M`OUyR}_Kb*w%g9T~$)hFd@VW{U zG~JukEh-CN(t1i0TsI4TSwT8wM%ORDFU>miIiDWusQZ^$0U8c(d2#MwY=*@Q>3b}a zuj=Vutu;Fv8QMCxx0><)+!iuv#~drxePO7hNU0v;cz;+2sa8fxF#eb=yqpI*zVNA# z*`WBTcS&tTh+*OyGEd?T%*}=je`Yljd=5+qmpFqtWs%s5cFAB<)Vu9>7HZ~d z)VuD^G;zt8!tDRo>Z|Ua*SPtzO(003hP|!~w~ZAv-e4ar*84Mnn18dMH6sS(7AEs?ZHFDL{USDAwY59j7dKH!{l`L_&TTRn z`&kD1$iyRyO@V>b;ZBvAYF67CT>f3~5hiTN!G9^wS@W`ri*Z^lex{(1`Ws*aXZGB2 zY1X@oRCfV!RPfk$XogsJk$)2F{)^o)B!x4{91`t!cRhb`GODgwYAA8(#Q#^7TqF~_ zpTN76-O=d$1}qmBiIv&wgBworO8bM~NO*6f8Qb@v%)DBMhD5_#Pn8*#hq7fMP2RQt z0<()`*UR?*mJEL)I_IHo2^gu;%Ev*v<-*=n4Di1!|lx?W>v z87UITlSEeO#n>**f1UuPNF5CyfA8Ze6v%~1z=^tiJyNcfPw>~xMjegyiT;P_oH-=X zn!xIdu?$O^KJDDeedQJ>4~$iRiw5R{xc|7o_PAYf))nCsezW|<=|3=J?Y4uWVH+y8_7 z{_DRVS1fz{Kg#SsvYBVjhNDUO#+C@491Q8mcGu7m(n!$tx*3Kz^L_aHkmt&h7wq65tucpmH0@j$nrjDeMMn2*Z7M{TM5*{_fb4$W}P z50b}4n7aZH?>L(pYl{#8wPFFkro7Q^qPzXy8TrZLHNtf+I5Gu8ZoF4vX8L^^KvzD* z(#wC(H0ZVHkkS@Q-cQf&7!_w@UFwpH~?FU`H*J0PMv_Ov0~3%^TuF=NaS#vXbZ(_*!W zBDPl?`}Ae{gXLpl2f5G4gMNg7wnqyo`#v98H#EQQGVj2=!>^?n8lK&r3XM^P?ye=u zxPcG(N+)6LgQ8}OCQAgB2czrzU}=nb)&wOHi*&hXHGE*yjHUU;I2 zbrQo4=yo*+g`zkQ$;O?ORe zSdtSIR>G*)EQY?^=@YuyY~b(Q$TAHL*l|iejf_LoWk;3%R1`eoHITJ-lfn$d7wr=T zH-|dwjb<`Ywp71)cM|?N`ZD5m+1(Tt_52;it3gjXq>y5t+daF3+5ElhgfWOl3b@~> zk0y#w!&&7^X4)CkW-;p5hIXuiROP-E> e$qO#GB#@+apgLdb9`;c(6eW~+)EiNX zlzRS3xR78AL1F;u(y%!Q&8}oxL}D{t%W%+ZLSa@+6s;kGo@FF6a^yFm6>HRRKd1X^ zz#_MGe-6iH$Nm1igW%xH1V=NYmUC&7gni@o-q8V0`37fyddhSzCA2cIVH!;AZWu@N z{=`F>b`O4vX#!HQx9!ATC5AvnF%N7KAiH{14)zYq;(zGuJ4@)rT}>i9TNj{xP4|$j z2|qAy0cE*&)Lv-)l$O7%^`4ZB(xvH%^vPC?G3<5dc+>cdqiCqK%5aC6t}?|{WwQt= zQ!g4K%49a^-;}LLRr0PEJu#u@IPcV2J+8<5dd^YYL3J-z^w!|z=$WUDzk+=K=O ztuer58p4k$gJ$tl{f#yApbT{%!hK)55Qx8CC|aI)%K+$VvO-ap4*PaP1TYAFqVY`mTrM z@p%G}82GUc#QZ;xQ_ydcxky;y{w{v@r75l*({H0au;JGJSUf_J(+Wl~Z`!-S)^RRK zkJKE@oOjQ}3xsIy^Coyz6 zRpbOXgT9eILIn~jw!4Zug}jeT4bkt9X^0Vl?oY;UzqLN+<^l3jw0=B#6e!WL?tyNs z7FkJvY=z_U?~pJj^7iH$xf+SiR~2ubBL_Py_dNeL*(=sOTk^TYY0p{@7UPligITkD~gbjLJ9iw9eex;WDTL zTUF}i_&Y>e5UEIfmrXpyDiUCGBAqh9VYYd^z!&vsZc?JD7$Sa zO5XR)xCdYT&j9e5);z3oWcUur27ls`)Pic z+wOF|H@4Ay*_54nf3_jMqCMzQ@{mj&&UZZD?_DOQk^RPjecMyj);zc7Uq4o;Lse9B zy*+-zYP63{Bg2sG5{Z#84E-dK+}C-@bL$Kw6M_TWDA|l3h<7@2^yhFcP-8yBv^{D37T-xq-IbDE)hRX$>N_%Ngsq?&4>2ITeCx`Nw$x@i1PKuVNg1Rh2atx@ zHz>;UJnx5d_V4VoPrP5}H*>>%#Xr`y*1B4M^tDLA@DHsor#6UqJxnjq*l{Nl2l> z59xQUj2d4z@u}aItTERo5kzRGN;pQy6c)6M~=}*SdMlVTttXT%4s-g!*fZu<4dKA=|-<2+-pWCtyI@a z91-k0=V{)pS`4)F=j|#p5#7yx;Y)@h#kf;a%k)S8%L|S@Alip#yY}Kil|%C*+v>3@{crU6>qAzVV#Y+f2V`Ie+3$Gb72b zjwB*2Y?Qhh|D;O@J85*!uF(hWawin9voBsX&GNH5I+8yXa4*DJ+OF2<%ADG zOBji@g=>Kh(Afc5I6Q>pPY_9FB%x0g7Y05K`tz|meolUVmpIIOW7cf_+xs0Pj9Fld-hSsSV;%0&IkM7*6`i(^-U(1O7ebVLh*2YP}-&*yG@x3mf*b<7@r2 zYoW^Ced_XeajmCM+J@73ERWaO(ec=mu;LA1)znEI!~LU)bz0XAYq~Xl z;&(Z!>1J>s6y}?w--VZ5^4rWI3;Y^^(*g|x^$@z_o<72`((%1G&L~IsJ1>U2EP5{i zq7aa#BM(6Ut2Fk80ADbPo#91i4Cl1K z?3NP@2P5h0stN69`ZAe@)os@0(7Noan70%5vQ#qzQp%cU7r~2CJKjn(#`o1IRJAtc zup91NcsYu-JV^(uf=;S~uDn~baotJcCuyLrZ)QY!N!VzDFAs$q=u9k zM+#=3y3dJBGeDKLME`oPon1$Phf;f*7T~8*T6d%ueJcf&dZ-6n> zM2cr9ew?4@JY2Whe~PtJZkI(_GAM72&sy;8$t!cCaTAzaW#^W0dp~eCpEP5=1wQz! z`}Ca20(-5FvQuf{0AiaY14c0Tqh=iVON^^H(oa@*b(GiS!>XSo&A3{nr^Y&B;OzI3 zrDlC!3@`REm|f}ZD=aki)F(-o3WV;&?!33BtcDUK(}Q`~L`noZFANstUu$9>C%12w zS07?ozCW~d-CeixZZ{n@4%oG_!fQ{QkKtSt2p!bHSIHuzb7PJc#gk%loKw6@kq_=B>2TT5$Qa?wlGhHLDRJ zSe9sIZ7G$wX9SjilBve6cemC{eL`@!0tmR=iXwTJJR!8s{7s6+P}OVc0W#hLNa(Ha zy4u_jW-@TeQMB-kVjup?>tJ*o#{2RFPG`AYbSvjK9D*#!2>L{fMG zPzoeaKzJfXQzN`Og6!#?U*fGx#wF}kYK10+!G;>JONl{N27VzeLfa)fz4JAli`ZY~ za-oss#DMC-R!j?RTG`zYyRmjcQ9Lbivay0%t6k^5F$Os-_GJZ?1Y6v3Y)^QUv|QW0 zxH@@to7&ONgL7*{+}!!{oM3Nb@h}R`O?0KeRQ-qlaB5gu`97ak;^ZiSLo#<(mPkV7 zC-c5LbPY^6*A9(oIiEtmy0c&Ks)#I>deUq#tK+7byzTD*qq(~N4rS%<`sl4w)YEkW zP$iULtKe>MD$V@H0I2#W`4NJwd(z^7Ag(-O z1|epzoUVSv^0|9)<%f&kQAB^dEG`V3w*OiXGGo=6#|wLCEq)PM+B%%-o6_9*A_)6R za@L#5-5=+1xD_c`^~OZ2u~C!IkYYKhM)A5y>7lP}o!qiMkgLiOq-e%yvGoHiwrAbk zh~a7rePih_`3CPdZ0tt~qIqTci&CW~#K78Xt;>^v5?A!bXknZ)Kfqy^*FQcre;Wj7 zW$5%vwsq&uJ~1oG%=D#*fk6N2DKZ}y-0*go~`eZp}flD~PA2UwWjJRqE8 zS(LF<%^t&2pL6?~WaA@R085&zO!cSCW;QrlUa#5O3QOMx695Z!i*>B`fR4(S`Fhc$ zoJvR}{Tk%;?r`dJdmEi5q@`4@^mgmwC;`gVuV+2PW~NW{wof;5%c&_6I3ukl9&ADu z8x2)FIJOS!Noy z*wgT2YNLMn;~F0G%z^)_-LJbve7ed!H{cy(k#A?Zd;O6TGyY51u)>6tfq||AgFuqk z5}yEbIHl&a)`DWQ{RZdty9^_{w~kf&Pxy*7K}C*$ShwncDFY5}cuU&V6*<~~&Fcf_ zniUh!tKvJ24eIzo@^l_ib~wz%9b}zC(mOjM_G7+S3ft@!3y6#h;Cu?0v=c;p-P84! znk7R=B!1O035)5op`lZ-RbS4W;D- z7Bw1Xg|BTbePILA)9Cgjv}m3yR%Lc`L?RIV$>v)8e{uF%by8PpnMXZ*kr> z8ZPw(5{vG>VNvJ3EA|54@IE!L_jEQ*)jznK!XFr(*8kZ9*s!J2(mt7*5BVpWq`+Fw zrvfZi+EN1`g6mEBM0x2NN6-ApKBn_Zlfr~2sX0w6-I4H)+K2)1PBB0RzU^%9NMjqB z)m&g~f=Ks1$dWB_92YxIL^_3fS;sFohDxKSG?l!P1Erf@9vIRWuXz!8up0@;QuW1~ zKNPVIwCYvYl;eYroMbZMO{YhOqD>!XYGSGeP%!91>dPN^AFM6zigq!xDh9u_5BpkPfB8x!vu2tHo3aqT-3>rxR29g9J z$nkfRnOFiu8~}$bethlu)cp8X?;?nx3o}#rkvh1)b6ZKeW~bv2abX9B{W$CB0p&eO z2S>O-_Ci6rTFXVyt(s0RS8pDC-)0?WrF1dvL+B2U6$Ho% zD2bc~f{Y}!O6RNB{A+mp5@m;5)Tr4CNk{;sNndFRO>-mi6A&PD;9Na_4G^7y@;v5ZiU~H+_W_fH^O1fO z8UYuQ`BlHuUc==^%DxgzpD_uJUcQG6tb4&w0aPSf=kNq{*5pLfcN%`M7H@@aWVb%V zz)al!FuF2U?2F?Ymvj&_M@POVVRiY+8>s|qhs~Ik{4we&^(N$%bA=u%Dv zBvF79MX5MdE!6L8&tpm0ZryI2ROtXcefspJMs8%S1>7;3URWpjL7D;3P1=o;ZCFvV zPSOVpPQEF1y`yPnIn~xcfoeg-(QHn<^V+U!qPfb4fxE68&>`h5&TGY+Ekz&L(ZRCg zcjR%G_ZtKUR+uP-m?LR>c(iIUKj#Wxks8#+_YE$z8?N5rjbhkj!toP0p8z^~q)2jj zfNpKjRcX&xUwwgoC_^LRu8*<3*zv<_Z%8oLjFBniN-zw}C6+@lFXu1VJNPOH=EP>?#Q z+EH$ibKk73RO@xKW-M10`%mXFG2@c75gQ&%K({;gmzEzO@LZT!D>A0IZU-8$o%#|h z+>w9%wgRz+FtLK>f-#6mEYbHh<{ly4qc}NM(t|R7H*+siKRUC%kwtG#&q=AMRWaQJ zxiA3bG|j(2NGFKjA~_%Z_}=HK7Zj%VMd;q;V3Gk6%lFHcH?D6|21S!RgVvNj{8WrT zcd)xbBj)z9_9}d6uu%U6c-O0{D`rkA=zHVyp_a8xuKn%Ii2zht|U6s6|{NC9IhvKnHprw1sOQt znh&ma#zg_=*dObbUwlLuKK%OSf?R?VZ!D+>y$?l`Ot;4>01Uj=2j zV@dvw=A_Yq8IE}u32<8*u=zB!EmVR!PAB~8YbBc}aDE%AWWE^rgI;?0+(CM~B<;J4 z09ch(i;^momzQs{Ouq4NxL_n;l6SYaB~bow?+5durGw!=aUp=E0RkUGO;@dZ zxD+J={^d8^d9=QiSfK#qh)Yq*IGM4x)_Vi)I;SEeRB6lKa8Lp{+HEZ$21%ZxF|8IL zX69JoNk7f{k)$#Tu9yBB-NKz$nV7p`!lJv=>4Db1sX6Qv3VlGnkmp4&WH0^T!GnzK z_L{@J#iGvs*f6X1PkGApZmSdNfGNWWg(`$47J7pE#s0={mfN93WG>`Cq0%&^8jJ}; zr#kjkQhP&b>2oXN@AAP5BENyIRo4FawT}rmF9dSZ5u%N%p_EA;zp$H!o11Qc`-AEP z_i)9RQfppC(HQYl*!5kwctKxfq{=~MKZ|LjL73xtMfRVdD~$Y#=gM90e4q{YSzrg+ zaOdB6>yY#IHx97saNt!Xs>?wq5G~AHz(^waTlDQ=x3BnDlG>Tr`S^&ac(jgDtL6S& z#ZHZwshGcGxblKyCR;eQ*d$)=8L?V3#myH82oiuF@Cgd419|tKv&9vP#DVeG@5ml! zXPZxXKyw@V`&E8pl&xxGrh?ETzvIfSEsFL9c#7utF#U$3Ddn7lLflLUY=AG}5Hq~| z7hj?T6cK5SH7WN$plxt9lsLx3;1@DCS0Yu6*aX;jYf2tpBGBCiw+PGavlO}t1R4{` zH<)P_uYXmBY)(M7do8*GBWT8iDFOZ11w3E+min0X7+#V@?Dfu5x&(oYTHi5Wf+oSd za;hY~72r$ADQ)^4l(AuReBxu!+r;znTn>Iqruo=U!t+hZ+m*&_em1hpZ#^FjF@+zn z;*7qvWUWhSLIRYWdyM8>n#B7z*qp?{Ti?BoLkxfr{k<5wfU_t*D;+SGnh@YqU)z!Pyv_^`w1*UuCG}& z6Y71+g79DFpm6*^@F+iw$^AvV^V;aeoy8Abfc!An>htPSTHy27IH^N`3vEBfv=kn< z4qU_;8T{F9MrdJWEEeJJKRwrI8w435bt?}tI)x4%0ArDea%a%66iK244FYa)-#+;7T zq!9mw3MXz%HVzC3JRJaRItWmcfi3j+Ba7xKQx=*i0h~?ggPGberjp*?n-4^bzYYz_ zPEzUGtN3;{#=Tnp${R|2m=N^X&%|3~pEX-tmlWoKacro)GS)&~eZ`6ON6fnI7i+-+ zIelku3ENGB7~VlVdCNQcApzw-%;(o+Qf=}R&spGs&J*5bJMV*FTYYV9hPIA2qr{@Y z3^VU?m@$Ll=95tv5cxP`^4r3z9!v!Sm5sylXeH1Q5dLF&h=J4wbxVf|_NwC+BipNK z9j3TJbH)z&(}l`S{EBFzRqT1hS9M&uif6G>mYJCm9>(T0g4dc;#<%7)^tyi16)t4F zL3Q8ub&5Y`D|F`b(Hi?Qln@(Y*Lv=qi+~24zY@tD?sS~nUkwWI;l`mf5UHP^Q z*vy^`ClESMhSP%WRHmr}&=pTD?7cZAET@+8tGY?!C!~pN*2-kRgj|}I2-+5&v46q_N?L(VUz`X;EiYweCvmMgr z!BTEaVp{fxm)nlzy%i2iq;Bys99~}8)3LfU$b|s&V8~>X8dRi$8ksyun><4w)3$Ox zxmRpW^cjuB#l+PJEbpTmj_|eb^;o+)68@q-$Fi$v)b1njOjB(nJy=6S;}`|=UC4a` zzz;2qs&5NVw4EeAs7Y=oC_&$@kc?%sC_9(svCh7cE8L=dl_%$YtbUHg@TfE2`nsUc?GwB0zNTsUFHI^L`m`BCPFV7s1owHDDHb<$U0 zk_x#zL4&B584XCEY6M8b%Q7-#QW9ACEVa*twtbPw2okr5J@>MDdU0=G+PUMbZU z2dnyz$8Lm%;id}SB5pu7BxI4btrV*iE$Dq};BgDgzY^fup7eZ3&Z#iQgSiLMIZ5($ zzUfUkJw@=bWBv^4``tx0v(^+?A_e&S#e?*VJG(-y51Ctgs{l)vZi=)q@)IuM&l({l zA+Xg5958MOUW)RXN=>N7{>V0F)IaVw(humKv{*9S05XR6?jV}$!R`{l)sHG*IthrJ z!0Jtwz}7mEU>`*VurXrb)0RnDRTJy=>!0uDjFf@+47g5$`)#3~p6?f_zaJasL(mBN z!tc8DK7wvLWl!%h2|tCJ-|!FGaXNxUt1C{dsO9hL`^kWqYK1EnWOq59UGD-8O*FH-QsW@1xOxodTS9~x+`Ib z^AnejIUacwPhJU;F3vE!0?0FyebZwxz^M=&eSFjb7)b+19W9Kp zT>A`pm8js0UfJ##Swbfo&lbRLpHH>+ePbJmtt`J6n^#P3Rc~_^s<-LB7af~Wk&Gpg z1jHmG`Kk%m{($g(J{%pnAXT`cJ;;v z=)NJQ;BMOO$297+Vwo{JQ<2xgm8zIN$rA#eD@|A1O)g(_GkBH6A+@}~S(LdG>w+Q*Kz`4DT~&Oi7YE|T?0y#lV2#A_lw0voMy z0}!#4k#{YVuiRZpqKHGp^Q?l%BRjCgTal)0FW0!jAo-W$(Y+F9SqUNlJ+ObvFG!b1 z(Gvk8Ku12hu(H7t8cP@Pa(n-|E6jkai2CCEL7xxcX{YEtaniFr$h*`KaLrqgC+bz09`$@q+bF| zM`Qq76umzCf#F20te6u?X zQM0?d`?J{nn6BrRpz3NH4W)#jaITKhw$`uT=zwr@g)0q_ev)TUXye#HnsU75n~!v< zxikMJEy22`;#^VErzZ3ptTAsmkz8iK+#H&N9Gt)&Nd*QLMnqGylaI6M+@A zvR=l(niJjJkL524*}Ze=-X$Y7753uz(++V~{O%k?l@PCdgcwmcxxw^az-Tn`m6Iev z17wv&dUcf4%)|jP>CICi3y6kBSP-@Q38GXmj7^jF5FeO!jL$im^RLaGdn2Pef?=h`kDh#u(5;sU++hmn)Aqtd z3G+egqrS*Y^yx0gnrtb{61;fmG7h5RhR>3KT2o;NQ#0l>QCYq?NM3zhRWynZeMfpM zTMw+L)Yim1n9ujc`p&yx|Jwy{duK2bI`L3qZWXerJHFYqA6I6}ZEi7*+6a}XO3`V2 zB@l8?b|hqchtCWT#J`UXO{+E9F-am=`*5|l1E3aoAQ5-~wO~3%!3DUk;n^G?phXPw z3z>o_Rn;HxX;BgQWy#Vcr*KYml&A(oQzII`j*6boO8UXYi_=~p3hilo3a!Ud^;h0p z8Z{{IBOBv0&ys^5$^(*=?JR2*iHszC5BmAv#t0KFpl=yY8$*bLnYCO5c-L@E?|ON8G};CK(b;b4`s#jYfE%-0wNvpcPAQ_3^G`d;&$ zQ?H2q1@0qm5k_2S`&8e*0JwetHyezMZKO~>-EqC)PlJ%8TpDk`c-a2@ zw^7}1T=(FlRNj{X`)s4XvP{^Q)@QmrI3Fm!F>j6Z+8*~Lqo;=v(F>UZhu|VE-@?~F zC``w+M=sD+sQ6R#?%l@rbz~;+F}X&#k59j$Qv3ec7j$3%)(YLg6N%rBx6D?ur`J&> z1P=IiEOl3~aV=X(K=G{Ie;-xAu>#x7%xs-FTY&Go)qG?E z=uG9$uG_8um5@YKyySIkE(ySSjAwXC#~hs6a;9puUU|-0npjz76X4AHSE9STj8PreAOn(~r6)Xajv0JxpHI`U) z4G#~e^=++;7uY-8$UVOK?WZA{>Wv#YCtBl^2WI}htm9agC-v)6G~k|)6OU6?))Oh% zPb0EZZ`M=q!|;>)#!d|ce_ooRr*~o{`|GN?|D*q4QfG-1a$rS5#C0?WBF!Fg=H8M! z$~L$5=5NzrV`LD8PHz*=nDGcQp#QwTZB3B2e}OdTR>Nh}bAx%@B$^RZJDk5?TI0)j z!f+V`!>~s{`{koE&;9>xi2q9#QEtgnsz|vnNza%NH;LM9GpIA-^f}&^l;p zM?%g!{_MaHB!=e1W(2E~e*I!9640y0ltFvtPjGjFyOZD$+!EZ~A-KCFG_JwjT>_0eq;Z!(aJL|hyY_9e_kPbl z=bn4V_xEEAMvs=YR@JPkS@V$!QcJEkr(vym(O^^X9<_4*DL+L0ZfC#S7H#=l_@e_9dn-URWc^ zh>NIt=pQa4=we%J2>Y48>3y9-el*yhAOzrfS}sU0rLJM-=}kA7$)FaK*bO6Z{MoliOz23ZddD` z=ED5j1hnWF7#OiMY;({TjL)zDlIORQ|98KgbPkP)(SVR)U?@GA04cptP5PrHbagZC zSScv-9(oO>66DNl2@)C9y2{kbr|HGT#cv}((R9hEWJ1Waw6rb6ch~T_~2bQ??~(Z==BAY%j_W4q0gEaVDa@oUm|khfz3zLf)s=w zu{Emn)r#AA(5}Y2=h#iy`uffqPdnFD<63}XZ0lzq$r2K%5-x5Dl0WWmiPCLz*~rq< z6`P#bK4L)|J*5luzFu}uWL*Ftpp~iUV{_(N)CJV`CO_7OtAYh9Ce|zoWPY1d0?nN3 z!0cGXQ*g6X8JW|tEKWe@&lh^Zv#*mArhxQ?IT_KTomUFt;&3kkdRa1W+=8_QPp;>k z*(~I*%#ONjn{-2Cw9Tkb2P~)Gg?iyfKZfo1V25!7{SURlow27uU6h-j=Mt3B<@-6H z^Mm(2e5*h_E;vJH^h2FiCiqJYiW}j#Q)tsYkK3=OdC$jIT%u9y;}m=~<|y%$)XL`OAz z(9WFQyD;>GdE;SGQwv_`8)|omJY7F+~peA2lhC5 z91S^>9?&D*_Y*`j*Y9(QDTf__a$SRkn{0RSJ9OpF0hOvMK3rDFeLn9{{B`A45X(U< zcEWvJ=prhjliDxw@fvWXtxiIj4;Ep8lt zu@Lk767zRUf)-U^1(A9e$NMgcAEd-{v+@lB)6w{03Gu>{fkJJ|ja_WKV z8Z*gd#w_`6+lbFOIQ7zkaVyWEs-7~Ld~=dTYeqDI3H;h z8>z_pWks6-DJh(6klj4{HbV6huWq`AzVsw*+pjY94l?yQdIJyNOylN$!Yss3^K)mK zLcu~>|9S!xSWev&l%y=l&7%N_q`

#1b0*)N-m|^0@kER?ivGL;n*6AR75*!0owv=-X|=>8 zE)Rd8t&%(bMV204`;o8uoS*LHAcvx9y6^Dh( zO)B@eOD#@pAwAx4rElp>8dZ&cxIni&={p_7qlkXN64Z$?N}~_-bUY}5JIw!P$l10e=H@{v_0$#i&O^a$y{if6dPW1VP=j~hDw6f^HD-92{F4Uh<9piK?g-TX<*99mZZXyFs=iIKUaH8tK|1DGmCR?| za(qYsA)%nE}-+7Ul$D8LB;1_K5|N);C2i(fjjj0xOt#yYGnC4*c>*l&9IZ?P@Q zv-3DRLvCrzhpH@4-Aqox5#8Peo3>0a1)aP*IpwU@i|xfl#M$;lWn7~GkGB?*)kr?jUrsM|)0Nv9t& z-M-@U*uVz+EWmW2F#PyLi!i)EnQMo;ag8j-oDa*M<9MolIN^Tc0PFw2vO;(KDpN;I z^%^sm(HAK8Ky!g51y4=crhO@)*!cpM^;5?lNE?U+V6!LDHXs-tlhHu_wRn-x_?ai* zm9JuLpuB!3Y-0;dH9IwUNZ%AVy!XF!JIUZ^9@qCB?6DUEtCt)>;Otw3++^WJ<86W} z^Chioj52&G{POGm;8t8t0p1WCO8&eeM8~9qqzgLr`geB4ovTIi#J%Io@sGw*9OpXX!i4l0yhd!&9PAM*D!F`}xi%o7IkGE17wD>#D=W zMg_g@i0;1^eI11mJgxgfG>%aOdJPkCY`=XGf8pmS-Xp$f$qG=-1Ui#eJ6uSW(8yU! zYY%@hMl&BWd4z`XdF;WsF89{EW#LAWa=Z}ZUs;U6TdP`HZggt3N$!N!pn# zl>_udKz~0fGz;drI>(_xb`u}}3e5?juQB2I^M3z;elHG(1R$AoHiYKhynsMZ^e*pn z1+OI1Whiw)46R~AOWqni7sAj>#Z|vSzY|1wE?^j>@xcRrnD!J_Iif)BYr zjQ_a{cqcXH@#l+wep$z~M{JJJAby@C$ae0sFlAtX4d03vbC~@nJAKyLz=*80{t};y z8+?oxv*uro57rlG@c&aL6`LWux%L0uP`zA}zIK%ZHWL?rpNVFYg}N)rkS}N$0)DtN zQoV0QGKXC}8F5GM2s7I*9DXK;9H(fda9WTiku_0QiCkX1m$yUey{HE5-s@Y`UE9If z8wkU~fBG=ck?v78X8!5n7m4P{;oFO|^Pt8?)`xp!(6!vvW>K%`JbY`Q+#D_+p7T!d z+YQk+zUmWbNdAPYQZYg zZV=*$OK`%`WgW$yTz+rhqenqo72LTmamEVHujL9`Kp@4thm+0Rt-=~)Hza>!{SVam z)E24-q~UMosRv%MY}evpKaW6k6sQtihVR|WC|xS)F|`S!3!jH-2<+3tITxx_W!DJ1 z;Hi1g&s{E7NnVO%7bp6@s3+Lb;r+D&#-JjysIC-t1EU49*_=p$xF)o2tHckzMa$>{ zj-*}glItVQwV?~`xSa4@BJ`QWN4kVYqAlqxm<~=>)*hj=E=MJ+2mDOSZm`AU89%;` z%AJUv@Rz8Rp#~o-$Xlrc^d7WE4%3MD%dRyeBUqo19kc$K3zZXWlsg(^Jp6lWlfG&@ zl%GX)nT)ebAO-_hg#4UGt5HF}yv;t%p42uHQPEPSDYR!0!}f0N^6n}s2gIws8to&i zX+a6QHa=ApoK2^n>&*t)K*F6$oJFGajha*k#4@3?H~}lHiJ%?@17p!aKnkEE)K_oP z?{HXsr$8};3D6^V@^{3;j;F#u@C(13e4o)dayg0>#=}*HiY)J?O4cUD>&n>Ar~6n< ztxH9VzaQO2PP8JV2aFJm($Z^7P`q|pQ`VjNP=W=W@ff{Q$C3l?BD+WTxcXIkFlyy9 z9}Z{Ja~}~zQkp!_@@iXbW_<9ReKWV;@4pgGKQ7_;3$R`LQv3S#QAeS=$tP&wgI{Bu zKO*`l^{X|r$UB{j#(xn>VY7#cUa1rKXaSlrOh%6w?!S6#{3y$$#YO~4;lnWS(DXry^r(vHLD&>)b;35y-Cct&e*KQ$$;?{R(xjOa+o)>$6s4Zr@y0puN~f8=>j! zaWP4ZZFqp5Q6f5Eljyhc!-6!z+CjCYmfk$VBlluSnyEB&F|v<3rOK$WUeet$=dhoM1oWdjUB zjfcXeEu}g3xmXkFo;`Z|{6IvTzVO|%;jjx~3T8pxpm{yUZo24+WXrE)W13)ZCnE6K z8vqH8D6*UOH+(=l=PSigx}y}^02%+XV&s|ydg{y{P4JSuhH4)gduJ<_KEwu2t#-tc z&k6P(tyxX*?wxnocELyqiFCH8OyN_tp6! zH6q>jc>e<4&0iSaCnMhYq{rO@UdBAsB(exhpu+?MM}mON+ZCjW8zDqNzQ!PhkQWzZ zt?2j072sGFJJ18KGn@Z#&`9!Es^zYAvv~HVMq$1ikNkE6d*sxb*ZnH~>)O{9)jYO@ zZxTvg7z3wXJ9C-W#kr@n{M@b8Cn?f|7GU}qpi1~)a6Pmh()kk2g6Tr~6|vDP_8bdL zsw~&+Nx?k#(vj${ONBOs!`)z{fjptG)steozxnq4jGra}ybJ;_DxA{0%*XoJTANNdh);>D+$Jl~AMz_UTN6hcK`Zu)xF`dJGa_T?8K5AN^UzE{)?CD2tD zA4sYB-dS)=Xn?qEq*0wx@u7xmrdva4pH+W~_oJ1KYB237TEwR;8UgKBki3mueacAT z*t3doQyKSspojFE1kTXREYz&W#sZ)3}(XI9bD#Z9{hMc z?Q+cn@kV}jLsc`yrR>>4}{K*q)x>@P)!F0!hUG~ee1CRQmVU=F|X$W&9 z8S3QsSNq=X-Ti=IqpblW{OMvWeb!{3h3@6w7P`{Q2R$Y#!V0@RRT@?5yF}AyFF|q` z@h&9J{4I=AD5RGsW3(WA+$FN*#a~jM8jdI#2>a7G?!80&Bl2$yF_19)&&YNaS8~7~ zQAk}USRCF4N8tx3c;DoSz;SyP+k7~TMMyNL(}Lq)ht}U#{KM-%zmq??<)G_Y$HT$% z|7BWb3v?3$>;9POc@uz_3ZIz>(#I?I2%g{%apY`wXsUUo~ zV&4iXrB+gtZ0AU@-s|?|11OaizxnK&eGXP(MZ%jkbm>o4(oKF+4c<~mV!j*w!E!0B z?*?tIn#u9N>>7iNLnS|cEZX$og)VdsjE5CZPbYLoHBmklTP{|y$~6o0IE5BitOywO zMQI%-sO0p`_H8t!QEP{GIFTCAP%6d2rbJ`2-kVSW6n2q1^VUmaE zXNZJOZ}Rha{EYcV0_&t8?yz{RKQaijbFUPQfm1P!L^!kzvmFGCo= zH(G(fM55~JhjwCJeq+g{%luHyTI5`EIiT0Dk*@Cm7WQovDEdryV|~kk5~0;xg=N8y z@TUusa2s{>9D$<67C8}gs^*{HaF^I8_|xH{{NQj+`uGQLlO`2Q_nR{00~T^?^q-9O zmT+tB!g$iot9c0iM4$2}dV~Lv^G+w*l#cFxu2fTe{tzX6 zrlAejOADK}fw7C<;#}{CK(eS32BfNDu_#ddWyX*eLFra`OrhGYLZJfm#twJyonno& zH$L;!i6Q?Vw*!-(4&b*@^bID!i~-xV1iIKVJ-}p22$I|LGx-j5)L8TAV9W-;vPjp` zDh@>c>25%3!17ckVp*O>u={@f%$*m<@U3PBvYRSC`y9q+#6{uxpj(=*S3?Z$Kk+?mI;D^WuoxhJM&jM%59qC<8J%7shJdPuLST_+}Az2&@=W#Hk!&Awe7#(+8G_W<2)p@?-2vFa0dFJ2UzEf< z_Yw&~GC!*pF~)3N(2@1XeB^Tx0#BX(1|rt*;Ld9!AQ z5t;FpKsHai)_wAKEeN087*Pl^fM&1et^p5^J04Prd%`GhDj=6e2)>~Ey^WL)f^qe| ze`~pGcyVqW>LkfqA|t7K@8H^!?=TaP$W95u!=t0%tsSLg%Dt z(40Nu#H5(_DijngEjITg6LBM!poj&9r!HpPB3_>pm+_%=$@8YrpXsIlE& zKXE#r?Tx@=ciNIhCgDp63hG7O?kDqC^(Hb4`YVp-$yHTV$`B?drYpu``AlVRVl5~Z zf4;|UwbF{b}_5UonSlJY07|dJAOY4Y>#t`S1!qrN93lzc9|=aeReB$fdZ?SIA{O6M3m% zDg`!ZfChzMwr8}&HZ*iDc$1yRRa=OCwJU7kd+3}SGB?(*&xAc!_6A5uNH=!}Rk^bV ziCzs%wHD*%k67~<_sO=?TabUHu2-W{UUXs1``$B7F7eer)h zFnDgiF{B0spqFbdc@e4Zpx&u_fg{w{*S|0KHziukvI%~S;1j%#8yl509Nw{mi3%@zM0)MTb^FxC^dZRZF2o*09B;s?W_`EZyV>}KBK0@t^p9`t zVS533#bFT`(@k8+%6FdBk8+m$kK#oR$=D>(Ig&?bzh#6wvvrY3>x5J<@$FzZn;Bdel%*@x5d zv1NF8J6=XABem6@ul z%{0Q_J}eDnEA{Xm>9BL8V|$j39O75y{#V_oGkNQdA^6y#DI70jAE=ILXC~Z8v%Dt z%F`Mp771?&4h&DC5eBhT1bcgL{h$h8XCwi5;I(62rC126?DBR&BniK|o*2iB{|ftR z<{JZx<}AI3Z>!0>3nMOCDqHr<9AC1!|jPIN77+ssYUPHgvF zuN0=61B<~{IT8l^QX~ff}RvIoWj-5p-Whe{TKPH?Nezqi+FDHDKo{XcZGKjBR9z1(K z?-&?*p0MKBXXRM1rGC8GFRx0ttF6~<^H9>`OD)Lt2HfCpaMq>RtW)sFMVMq0`%ln>x%3FV>4is;h4^ z06kHUw*pKGr3^4+I!Tj=RD6bJ#I9^aI-q284NfO@ z?RGo)Vz&4-RNyNHLj3^UhRI0R_R#&0ak>JQfBrFXSxK8VH|3ako3HtvQRo}Q_QUt} z`(OMr-w|5>7Qz;vg|G$Q38t;jKyUnjv7yg1MK|6Ki}!UUpL<$>0mOWXzaEuS^12@(b20am zwY>}C4LWGk!pK+k1f_c}6p1^dmdB*l+p zM3EiGu9Duz?@z8S#SAB41HrASEy6W4Py47$H*V-&x3^u3i+E4I!E5)__l{G>xi$d3 zE^3=MnGw9sV(579sfJ6g_(6u^Cv~u`3;r#7^;CcyoMiB4dIPBA0xnnXMRF`Sg)%+<%*aCG&N;l!R zbk||G9J`|;nv2~*l$#%!@m5uAXahdskD@!gIJ@PhWsQN##XS=X}Zi5EU` z^vo1c@Vr=Lx(ZgPrYw1VA< zJkmAr6yAfyTdiUn?R>4v;q!j*1hb9ys2>pNNk>n(E)um?Io{SDR|%_s(D@1quszRW zMtb#n=3(&KYU#GM@guH}xiBICg!y&k-FH-i`d0iTw9}chwfhEtlU75bnJ79HSF@ z8utsy)peVF1?2+}YRn7;umbU8;TqnVMoXrs8?=rBF;dL^!hgl?qgS>B%P;UF{9179 zGhYG{V!XdrS-eWBqs1)(9c{1x{a#FO^&sbx0qzTTPlV#CX|!|>-}C`F2}q#&#v3RX zP~*7X1&7V5uUp!^H&tA&^40ZVCRelCc*sRb{kwKyN1VP$C8R(FYhpkmU`rQ{L~^{J z>|SAQTv%b#VT)mecnZs2oi0lLyr&T5tc^C=cxhK*LU);r>(LUsFEUnal593ECY1K5 z8>mgKSpAtBRv{zgBvXmU`G_gct*STjhPwC-q`W~>Qk2yf zi`R<9DZ1QojQS)U!xTTv$-q?Yq+TX)bq`>viUn8X;+SLcIXZif@Elqksr&g^+j0nP z$jPVtJSSk%+JBh3t~!4R6-fTEK?jJ?*uieuxe%GjZn-D@~^<;AAq#L*nbJuxWiPO zf;CeAua;ug6sxY4rYmq-Szjix2a`8sD8sO&}T!Vw~T1+i36Z!j* zx2SOp@N)^4U94s_i1`9h$r!|nn{vj!Ts9e<`Wm;?Vy)JpA5(TvLA4ORQ~YW^*L}Ln z*?cLq2dF@;Vj$yow8T4Ip@l^)oAAT`>72~f%8R!YA{9freo)ofCq?F4AYV<(Y3z3y zdyT{A;bM?@E1iap7oj;kmUQ?|-+ZZ)$olc3aF5XM3U^bHaMEXgd)haY-V2p40sCbU zY+97CsVfoYaqmWMS_KDO>kVhhp@9-AGfT-NBXY9MYgbWi;LqmHsMGr+#&!Bp7%;xF zhJMup%+0UP_0SgmsciyF%D#(f@7(*dbb_lOC*R7ws39-U&fiz>i;DE$$N2)M5^W+` zDecTOX9WYVOLLIdRVxmZ3s%mP%pTJnT#L}c>4i`XN)(bxX24Q4>{PoB}ID7|00oTOMb00uvoL%%`wj9!wytr@d~?)$i0 z?ERaI9t$xkLywae7vKrR#P9=h8NQ}J61?vxsCIsi-KigSV)YA8d-_Gr@1#ByrYGa~=k8R+-a3648 zpg-$<*`G8-uPC;x#ADjMSp3GVx|qE@A{ldEA5}Men0KBy!f<;7uPDQ6Y{16^cL68% z8m(`Z?W!rXeDGe{qPZg@-Q01sdJnUxUb>^9aqya6;oh^abdG5SGKuNGJzZYi>*9Li zuBCoy-x9FL4Bfq0EZLcvd33za`e{$5!}6U)=1ON=t$gohWe~uvYi}A>aMA7MXk3dmds=T0(j`oDi9n z8fneRQqcVMO{BC^1Uze$?T?O*nw+-7`QH7mDff>bEC>`G{ypKgKP}S?b1lKP8uJ6s zRUAF`J~kaM4Hmg8(38mF!W?&2W1bLnB96T3EVjTt~k!L#WF`-ar`}_<9){^jB*J2XxWoWaG)NeT`$9NcH-Ats?crm3}vZVeXmulTVsVW!!5FF=aj zmtEA{bCvC^(`cs_ofd|PfsrdeN@9J{^Hdqp876$ zGzQ+>u$P@d}*AhKS7hA4{tkBIK_nbfU zhsht|vIi<$hKBxk;nFU;CKE~+`(Oz-VhD?7PTF1BdLl&}KGH{!Cv24t7B|NGzomtE z_`L+Nm`T$WMrSKUjs+qW8Igj$(;D;uLf`cyC3=0y4cmE#F2& ztZB%j#@>bRHg{d6x7r}7Z(Qt5?`(u-GOnQDd^3mGcPjy<C5*!h3RNjX)uKEEw zJ3G%H5~mjzJrB3%u?eP^Zh(ixzogJl0@m}*NHmY7b|&f|iaprAFbm}a#+=0sYjwLE z>8?Hd)d6&Hma)6TJ2UA#WkGeFPESfe-P_XW)S+9W*j|$C`C9Th zYMb8Tp%h0oHp`H?jpERUwz!&hGp`UG19+%Uv45NVXpME%o-?jW-V@r9J$YC)3^CC} z$tvPVxn9HHJbzKctM4~LwW{>n6Iw9cyTbX6&qWs-Y!h9>r&=~TspXP-Rv}OBJ^jMo z=*vE4(S4EXW3rl11+@K(Ix6n70-6UOtQl?MV*iq_MS8*$mSSnY-z#8Q%!-~{p#YBm zt(};`c7R`IE35e;`cMTt#<^|9Baj0*4wY00@`HC6CQM8Aje1gyXdQOrp|dL1*U3%a z3Pt;Cf8fUBmK0MG(g)2Q$7I8fT4J&UEbgepK*)yXtzKXoiktd@L3FP*%rL{(ngj#H zr<&7i#D5LWND8}HDJ{EsCVuOY=Q5OY$(M{$hJS~9fTK`xb2iNCc)TL$8vW|+I%3kO zZcME@3*Wm{?WhlqJwuvk1`?(HYaf5Jl~(fzYQ1_&+Qb+9j}odtprn!L!u>iTr0xT+ z*$aIVfqQ$U7}LQl((W5cV|;8!jYmtHs6mGc)>G7Imh`CAU#9VD=STM7) zMGMCSEi=$_yX=-<^zTduow3cCsX=N2Ve*v}B8N*E-yDZ|J92MkPhY&SnEfQ~e*6_t z1HkZ~Xh19$>#dW|q}h}dh~C>M7Vkvkj~|7Q`6(V1;T*`(8-Lggpz)LQ_t>M}U1G@T zaOd_Bu*8>)CJq+yma7;biuqqp_} znTQ=W`|3mj@Y-%-ki6__05GIiG7lGv5DO|{Mj#q|Rz%md=&6}C_l7+|Q$QrdaW($X`M|`z|4!BcaQD*q6PUZcfYC{i;sYRrZiT&c1U(seepn}goqbqx>8X(iL?wYZ3stABrO^C-+m z8gAr=vi^CSMSXDhs~6eF?iFOQFsiIaIFjMwB@sr@W#Z(J2~2$DcTf&g$fi^;J&28@ zTLkjc*fd2-AxPylfRI|0Uuve=waM`I=;{I{Nem<%PwPSw%(f|-)kGuwIDvA4aml{u zo{{a827q#6{fq-tNz)AX@yJE~;RV>O;g+X(K~OUe0{GhWQ9j`RIqK`OAfNfp^G z8t|8DP)h?3Z@1J`tt@Q(z!Oiud0TFQHM{fOpi}4)2`7)seuen{`dCAs75UQM4->$7 z|K4P@Mv*roc%#vE(Q%`yqUt5rvT(>@IUc3UFH+rVWZ3_yz6z%I70a3bzvS1H^Ue@k z4g|*YO-3G|5ic&QesmN<6*-IVRow=Xow$VI=uh-OCaoyukbGNB8hcYMNa+TKvlD`! z0YnUJ9lfhcz9fo($G1ar(()0P;fCD*dO;G0%?2_vn#r$G znhfQ3*1+?%`>Kl>yw32M{O;;Wc!kEj;fN?G^wUbD!b<2o-cNSS;fgA~G_f zGTGUVgZdUyP6IBUG(NJj-(>IBeh1Vj!J#kun}?v1C?6@~T-JD9TDk7m>UH|*d4BL8 znxHm*y9tGzjNBhhgZ_P6Vzr;VBd9iEJIvmOJD-P*5aJx%l(Du6YFVN>#9ETUEJ(l2 z5%SE=lXlt9U0S{>#E;2~V&U=5HFI^jv%2NK#%X|D*e$mdBBL_xiz7=JM?7mE_(DEB z8JWG5MHy@R`(*@srzEN+87aeU_~XUH<*dOz@p#{V6b{}paDZONAj@1VGxP>Nr@eTx zda9+$61=aI6Q320p?4nJ!^s*uc+_v-zW6P_~QXo1O7gz^x98fJKv6_#$oNTbDac*lS<3%ti0~ zs5U{ruOcbvHLR}Q*hRy0Erz%qM_X|1@ub_n{f0?xDCbFJ(tfatKP7BZg%O;0>_Kph zM2Yy$=yEi0loJL%J69(MywZL#f=xz+d6;9ivQIu3c(GKFk%Hi7T;;Zfh%J`$V>wse|T&Ak3aJ#+C!=?6?W-*2pO87=!5-B zx;VQJa!SZ0?50(iTYr2=o@vAU5pRR%KJr~MudvBZB);icNMPsY^k{mIzU_h;Y3~!E zvJsg~PxuB#U_E2ccbZ~PsihYdtZ<8d+DV=xy>s|}8voTcdsqx!enf=8=r&0~^nIzc zsEY?WVeDjCd-WM2OyNNFv!aSw){6!wRaTO7+dvn`5US?f(a7?BX>iya zcLlDjs!g~Z2#cN7hc<64qkFz&S(D%7MOp$T+PIrYKGOatOc~m0mnBP|pSr$Hu2V5= zRwMX6?+($Rr+w(2Py0adp{IS+8N#(+ZlX6_BFbk9g%1?2ZnX3DCiI^+b?_0lDyukX z1LH5ecB616&T7f3t!CLXggUT{^4r$w1F}?!4=oJFAGF@^NUffRsZ?%EmzMz6)(l;( z(y(adf6UHmcOd6cElrPKbV z&BsaSiQEE2D(VTFhujgVbJJ%hD;ssGsdJQGks+=9_~ADehh!@3(M&0 zjB#pkz_-QEN&`L+7US>!h`RUlM0Rmlk)y@h0;06(*5GI5$85w>MYZycU|S1o|0wdJ zS+o{lCGpZJvuXXX6mPmk_KjOhT-2#q&-ZD*k8Wt|zH!;kT2M0M@*Iyex@{ASTdK}_ zR{r*ZS-VcLGE>g+a$oIY|CgNSr-Yw{awdI|1VdAFXPBKHq5r6&@)W31Wt1Ugf@Nqc z`N3pZl}~e+EKZ6X(vHBF#Gd`!UKf_zwHhUgFB|Pw)r*$fy)}59k~yL?@pC-DbJZRf z0}Be-zmt_AQ$?S;i$0}mYHFSVxjz5wF}k+rg_>I@sCzcfss%$eJ2B;ONBV?|xdh6wBdFJXgo-k!d+u0v2qPBhgE@x~&?DKJ~2O{Ocz`>+OZw`r86nf&9 zx#4~wt+Ajwi`JKUNJ@B^fk%G8AE&Odw-x%R7ElfmO;uiy$SS5Mmr2OwXLZ$S+9Z0k7>um{6dIjt9xcJ8oEv zV_wU9x&E-RzKV^nP71avH)pj4%sJ?{$Zcfi&RW_L*Am-GU$ zz3b%7tUIR~Z_NoM;`#FrIhSZ(Xo9q|XV1iE!;a0BE#TpVs zK4?Y~&vUS?g3i!}=*6-UE({_y&EVnrzoW<8V`jfAR4rFWVN|bBd}ZLbj)xZe2>hdU z=Xln^K1uXuW<{|Hbt5+aW4Bd-pZ*1^h2R#9onGMgabtGp?5?f2a5eOq@_bD4K#)ov z?K`HI>2*PkCnQQ-S9<6+jxR2S9xZmlUYH(#<0XTd&F9H~slVGvZzA9oNc|-7d@_;i zNqph`YZ-TpdJjbH1WvkH)O~?_6S;k4nvC>md`aHW#1k~JmhUyV;4RyEQdJmuPaS0a zrxa)P_7eq+nDaNSxp5_ozBo{V+=)0IR0+KAgxq&dTl@%Dt}&H)fO>R>YK_i`{ws09 zMcwl4xVdOVa}WsZuV*R*uroCYw=|Z=oK^DiN_*zWFK;={Eb%c*=#dT)tbN^7+mzG+nT8$hSSl<2I7fFE$Azp)L{F=>y#{+-1km#ZlzkakCgWQAQnW)*(k`2I zcG4`wKtTMe`?=(A4H$aB*FdxRVNV``-rz)emDQR2lvZn#isAl9M=`@BW;uXavEqcU zL8h%hS9Jdy=zD1#Sh)aToKYTgX5T#h1v7V|gNPgSy{E7Jx8rycno&!P^P+}{<1Pbu z5F{zsj6vD zMt?_b*Ylmx5{;^?GXn9?OHJ%hDJN`TKze(DPpQFvwUR~Y!~r7qw{eT|=eMqfr(TmE zQ0}tOrj_owwkE}*=~{vMvlPoz>CIX^;H^da9{*Y3P!9C9&V8rD`YY&Pf-P>L&+S@4^b&6YQib$gF`sJq&U&vYv9DIFb+K z@!I2z%9cqKW8>~(FTagNe!Q=D`*vB-Gy1<>cyR?;1HnX+3KCXURt~xG@$;M9oUGr> zc0Lu3#hODg%#gq{9q)5n!&eU#wL|^}N>E22T>WE2u1wFRBSk^jVLTNQnePQgr9o%q zSnSG5yZ5sP@3z5aK2M(crU~*-+Qs-REn*Fkk&!_}LK5i>$4NZIln`iwjHGhz6Q@3& zXG41ASlbIm_#HRIU9HxC{I}4^-s8>o+s*-BLiJR&2C0N+L@u>aLkUj}rMgQwptP!g zhtPyD_kVwyB?RiC5`zv};vsq=bkn_gyk50!$-kUZ5LQbn)oXqK1U)rcuJQ)$$p4=r zPMk0<`w#+!>!ru6;mOH(xXjuG8PWB<0dQ{;w!?84gU^4DL$AR5_Z4SthY%>m&P&R8 z)E7mxyVzLeln?N*cLelIm#R2lFwIg*Mbo(tgm2GQ8C1zL`~16+1Lt-A82eVg%7UOh zD^;m+hjNdR`0TG(SXhRN@jt!uM&Z^KeUUuYxXp5# zr*pJDaA3D5468H-N2l4Tkgxv#Y45AUqH5oD{RBaf5Re`~kVZ+Rh7dtoy1NumBnN4b z97<49{3xZQLrQumW#~rf9voVUq2{bXG4}bL>zuQ%@3*i0$NrPGn6=jXthb)~x$k>z z&Yvx+qhliMBbu*(@(G9Q7Qk}K)5Pa7L>F1iOaon*>+1t;4f;MF#YK2L3BYt^8*K{v zn>$aZFt1>*lc!ND=ONZ1`H#i9N2)Y+Ko}70%8la?f!=oQ6)>&4AFt%3#c5W0NMX0^ zu8ngccel1mJtAwH1CGOg45Q_AJylx}$5@yeTL?4B*D;OOF^Jy@DyQb#S6YDwk!2=M z*t~**Iw^T{tGYktR4{Ivr{cUkOoc#`$)s0-1le`z(P)wO2wT*7AhJd&c{l#Uzp}%) z7g=9S#7)+^3;*SX|3=yX!E`MW3F;hE6BMSb$M0hCF!7xA&roI!Gz-r zT4DwXEgW$QBpwlwPR>KJKU-@fJ{Beyq(3$LYP{^>FsJLYN-}fa`+pmh+q_sKyHWo1 zM(ttFpXtFQ5w^&i#D$z)lD=>jp4oL(ewl%Ls<%xuLKN0n~2G z2hI8?AZ}mtk`LLXftekHW|VG!HL9Wrd>uyR3Lg%u<)4gi9(v;o8o9se*(4w)vY4%I zG@lrV{n&l`YJ%VB@!?)eclSNi-n(!p6c?DagVWQm0&^2CFom=LCx+BxUP5-k;twL$+&L53Wb_)bq*SZHN1PDo9#ih3&1u zrFj(CNjGWdhF3&hY`YN>65jKXZ@f<;#2d<{@C`XiEbyS~wv|=pHY#mTft31q8hy-w z;ojCQ1H~dB03Up{-CwR7H@$92+`Q_R7^NX$hCwOl0#iiWoE8;I1g6_QPnqdM)hDrV(-h!)D0l)=R+_KWEi%CrOfRI_)g_*MoQTDuLgnp~I<<`tavK;4 zP(yhoDHrSSz6c+={Z*Dc&T+pEX1_62|0Rx634}sU)z_90&V8H#CWK*K5Z0kK=Jj_xfN90jN}7q)cr zdN?}lcXoPI?MZJiYL0Z=MDw>O6L?}{#UgXnt9>S>`^13aQ1o8wTzWe@;Cka5L(fx@5(W7?0jqah zO1b|M$;?Xf>xO~wOrB>HWV_d-Z_Ld4D{OKnzE34w^xj;PH?4;6%nz8;4~W~rAy~8_ zf>InlOQMO9sWxCIhIMhd8m|+xJ?wn1>drI;;$qb*1H$q!FX-I;Kr#q@eTiV_A-i(0 z=-A`w24iZSHZ$IZagvs!_Me-(6o5G^KY)Dpwr^YDsQMvgREk7Yih0J&8prw2pt&{c z`I@_q@)JS?6^dFigZ8kO!aN{wM$gQ|C-zknFc#LUxBwNC_N;#FWEFAe*dR?Z8ra>K z8KW#L*Z;UB;dW=W@pE0vxlKkcMt6_({ z1v+?IcAp7hWXp`+)>nFx!4YpKAMsf}1vNvqD{F5y2bC*6MU5za`!*mQ17V-6mh{D+ zjv&itn>XP* z>0Wro6ebnIZAk*XbgRmVn=OVG@+8-$Qtf@fT|$1cwEZKI4wj$e3o6SuallT;CMyG3 z@q4KvF4>~PTbmJQTRpZ0J6D$e{mzRM@J$~to;qSq#NuuB0@&nd= zi&r_6eAC5sM@fJvVsJPK;Ps8>G?020)+I5vvd#>}C9pF>C47ecL%Z&g#)!L>D2YX? zyAnG0Jqb3|p?uVi4msD)O;Bvs^+LwgLN-`n?08ucE!7f27{9j$%rmLe=7ukSHQgG} zJ+Ve7G&P1^w7tQ5{7^?upI=@qNZoaT$HT{!U@CU|f-gfv?Ug`gYW2OrolxJUorT^8 zk2!#UbA@CSQt^_=P^de`2P}_41+fBS>4$MQUZ4TSa+p&w?c$~;wnU?zB%G?T;8BQX zDXWosk#X$IfCY_)v$Lq`NfTSD=wfzoddmA+H8d)4(u5$FF~Hc#yM!}Bn4%F!eDZEd zewg`TIoYaA=piB_I&SaEEVqP2;)=nw{kF3lq!U9^k=xL4w&86EW+=$U_edD)6s}}D zkJROc1$;s`4TYID)drY|G~aaeQtacM_id$oJJ0D?+G+aP-sIk8UYqkvkA=hk)+w&? zd{UyMH*F{~Y3q%|MfxvOZs>vbbIhJ&EXZuWoC-3o|EFFg8Q~!kyAy<=OYkpN170F^;LZ)0@ zv20DSS%l~2Wc-pp4clkyq0LS|a{<`l{a?Y1V;$zVII*uC(Z0F!V&T#JfRAsM9(L`R z$ENFx9FeN#NE_r9mrF@R+Yym%i@%j=q>W&kGdsyRrc;RqI!s?49edy8X7YL1e?`nF z$gOo*NDu&Y3vtJrDOOttIa;5Q&V}GP&0}u?BPsQ?x|BF*W*ya*0NYWMG2+t6{_6-g z>OYEj|Mp-*0>Y9vn zT(E#e6@hF$6DhML_03I&&@F*P%g(6`VV_wV3yZ}WaM5d!+Vz0RdEWi7-iLM}9F&C) zj!R~H7hiAGaE^Yd7eRR!-TC`QDtK&`o&usg)ic^oU*$RZdZjna#tss&a6m+HAC+0u zOtyM*faHne(pB-`;cLZX`MGI^aYJF;E3LvefeMZ;A_S1>dk3?ns7QFm-Ya<*NA-?U z;Cvp35V^2WQjlc4HpQk{BINu$4He_ccP2}K@+l&CV73PViJbxAKWh=z^_t zJi*cSpHhGh)Q=bxLhCkfQ$|X62~fB zSnG>l58P2);+TQ0Po0NAUZj7$C{w+o*tE{bgwVqVPqf4ou`srK<_|e&W^b*vT1TDa z#`E`>8kAts7ZS?oqg=iyq8Jy7Cyb=_?0_YELA9=w2i`f(5x*K4oZB*z=^nbn;K@0P z@9Db@ZJX?+CXX`PLoKIqZKwn4ti>(!xR75^2?&^ig&wLqK??i#2?DX$X6=V82yE4f za72?!2U~(!p(3;(?YAKF(kIo4gVuP7MO$bkm zt5$SyPu13`T58DxJmQ|Bme%ztDymc`0`l>NyMRHFinqG)#BKB26%zT5;yWz>ANmpR zm-q0U`|i}R+Omj87bM4kDv7*)qk9t?D6kIa0(MnDaUh^^Uw7Uk5ZtPH}2+ zpp4aiZsqx=^hKh0p3$Ojxz@wuC;Duq6ve_mB%GM^DT!8Vza`$VXRz!mc|j#&cliL~ z2}l$)uS3>1QK*2UVQ!$^)(uhb=_cd-U;b~JdphQNKy!bO-nzGNFrfVTgPO<-#_-Oa zt5C4C?GSQ^64rt{AM1w9i0psrOm3oKqC~lB%?lUMf)OVN$E z9PRab{3N2KEX|U@$^Hzv+12Y%I~24Vs4ouZT7~@)87Hgt&#$DC=p|XHJKvb^;f*<> zNQj~e2m`6!TrAD6Yro(9rN!3|@6K@vR(vLg1%Otp?)R;ak#yHx1iWx$-`#a)# znV^YfgteB>RYvq_`;s!l2>xyE!eeWk>-f78}TTg6L zlMVe}&^_X0FVgq$sGrv zg1i}=+FG}bHvoYFUc;u6{8l9^@@&ZgGP6CguIS>qrjY5&W$Xl8LhEfPuSyUX|GYvM z_3C&XPUjs;3v+~nUez)73A|fq-vu7)$uHSHj77U?_>n27a3ZvRdE=9NYggn4UE;ZD z@(7X|JGv)ne(9iGZ;U6SObN33oc^RR4TB3Q*w@s*7O&~YAp z5lTZ(_tH_qyEAR3jcsO$pMXSGz0ly+ zePdI<;|kIE)Zm{$Qc56v!;@dU#{Zq%uElcHq_F!o{`&HRyX((}tKxQ3pARAM3 z0EQ~7r}uJrlrGn9tVGIIVD7ifpjj6)Ix-Tfq|KYCAU~jh-i~3euCAWh z-#uQ8k)_ znZ8J>xJ(q~kQKQ6ftDmkB|G5Rsq$8a#^TXobVP)7z2{DxN8|q7C09;y9^eMia?4fb zsBpUKRxMqd(~=Q@DBIbh(ExrNSNo>Td(L2}wbk2u725vm5&O{w_KVeT3^!w-vJe8Nd(Xkbu97({DKWKvyq zUr+Y9D0y;@IxXyYVO16|yQRFu#LYCXR=HFQEqyoz>LMHuMzUU=onZBt5_!qf`}ej+|T_d@(|8Qjm3{{4F8app#{p2x4EMZWsBoKOjL?M0jSCyMvw8na=m zgljE3iE*r%f>OMYg;jCr=^Rytsq0$-zh2W|$(cc|v&I+ZLixUUcfw;`BlW;nc*~7` zWU>lSjrtKQcl$XqyQ69`$hPyrL)cjSY|Y`=b8dE41;?F}3qoBFCQ^`>tUXK;Rme(( z-|{KaW`5hav9hHxz9RgBZz9Rwtfh~YJ*$_u(TF*N?X$`R)GJ}7=hVn+HnTWn=HvW+ z$GG$-SvEFt&Tr$HJqzv{pZx&xb39tmrtjR=767nXIsEDv<(#Jy;y`9-^_zq7Dxb0K zmy=|62ty*#4(je~qquqV{~K|oN*I3+8`@wS^v3yI{Dg^YV(II#Ckq5B3{#OJ(gv_W zcAkvWtT}#KI-X`V@9K=SLv`ZY=xFPXw5=vtnbeN$=jlsX<$mgb-Xj=+u-PH^B>9Eq z+s5D}T9>N_#7yOb6Q-4)Nq7A4pmj#LczJPhhbEHknU8hi2vbitRprFSEXT6YQ~4X< zTziOe&xn}{6>1QFHl#~NY$kJ~R2eH$k|R6&0@%2teV>0$$KbN>U7aKKzgZS#yPW zI5#_AU{+I^$l*W{QL+6XWUvTN_*NE+VrZ|1>s2OAB8e<)aL2ifezM7gi4y0UkuA*9 zXN!(uX5=4mQdL;~t$bl%RTE(A0PZwh$5_&Ohd9P}L2PLZs^RAFG3@CyG8bkuWDfc3 zM5EcSN{ZEr%|Q0rV)Hi4d|W8KF_FHfJ7=z}=FVVnhs{Gs!0VAj;kTfV?}W*blnJwO z_GNNPN9r;}w(S&yPTKm>c)HnDPv3!Lj0}{OjNQ(%T!c}d%8sK2U;{n?%NP`sF*NM? z%N0;D+M)w-2sLv0BF?H5AuyE)(q<9_BQB%#<4Cc%ttYtJ1AN}cuhd0u9886?!85B} zebjW=V8_Sg9dd)pl$(3mvIs8X*4>~F7m2T9r5G9>d1|&w2&{K)utRT(a}rN*f4DRI z3C3;i;}AE{0b4I*7`mKzwOH4PA?MF56}$*30o-P4;z6Q-JpNM6b>HjR&m-3){Yrm& zA{bl&Gte0&&sYJLwr}1EOW8)jiY1t+L|P6LUoMnD{HV`Qupqd6qCVzqUmpeV7hQ3< zUmXe4!6ZgYXzWx+>#Un9Ni<_G+z%m<*TTlJm}??-7%0zx?A$~(z{)i zsIWh8{EZhoC4R8r-j>_qc~LIq(M?OG3?p5P%s1dwmpAQKFh#JHH=$)T+uUw|3VSx! zGy42khZ5dtlc#RsD>GX#d@=7D+`xR~>#yz%TpHX7o!TW{L49tU01d%cs(CN1 zTgH_zq2z(WdEi-l$FzuNgf8W&tSnxeC{J_BP+$O%z^j%DoN8O+)+9_5s zHR_?ymVkSnPsumfOsjNQuM+Sj^|ZhGLy&1J@Uq7*T4=FJ=Z*B$BRE36yhUt6(dSc; zl4RWlYoEJyqxs}UEV}M!3lE`(_5pO8Hjl5u;e(K@qs!a6+0QDXU_G3b=%couG*Vlw ziQTJ1yzbtpu09t&MV$>b~6=iZ@)su0;fJ|THbGO>`@ z>m4DqFvFHA&M6`U*e)fosk%_EK6gBqffVT+&yd#N2pjVfn#a>8qfa)5hE3M<@g7NS z1Aa33V<%rJf09shw3qbkes_IsZ8C2mxq=9M#R7phwb=vGHOtQ)TG~vzgkID*?}=C} z+h zIMstRT-R+xIXF?a)C5m-N{^R$MkIffvs5~}s!Cnphwj71*xBW^N-REjL%V1qLp0po z>bidOh^o3e541RB-ig!Lk&Lv|TAom3pIQys8AzQ<_xGV0o0v$|`D@@2tvg2WN>&F4 zKCQ=-41?E-a$E8~QmqzP9QI;tQ@#@{Q?9u?W2uuoD!Ivwt)$}sn?+PZa&#}f+J6~4 zwsnXfbORq&wkZ#4wDn+0Dr@AxwB5G2d7Rsn3H#y zxX-8Q-r|flF1Q8J{meqIm3~?@I8_`0QEz+f9VAGbbh#HmBiZ}B_3_;+40u%R3+wUqPz)-Q+IP;%-N ze55m#_z!#1OK#q%z_Yxt8>bc^aa#hlR?H7x-L!4~?FS*Fr~X90k4B6I(C;%5#vJJP z!Snz1xMzMp5kDgrZ7X#n9xVh5_1#Frm z7JDVpTECew0o5@tKvaGKDCf5~H(NlR7e10yRH^Iyu=DzVwS)S{{iXha3wm@yh$)Ha z+Ou#UxSp?s9fYKnFmI%ui1~I|4H|(f1q`L+Hw8cF9u7VV8L;6uYG^b|0OR}eTsjwC0H8jwBoOy za+`8a|!UF8H`~YT$;EvTUQ^ka4_oO8~M!Xikg+E+oE^p3*8M|fZ~x}_cVEEpHq1|sP#A8KXz)j;?@!)+0q{O& zVv+;C1O$BhCzAx@$t@#8gE3nFpFjVbL<6r0P2Bl_^A2&%)dt{8S?3h)s>l@GF$-un J`|mUU{}+@EHMsx) literal 0 HcmV?d00001 diff --git a/pics/bb6a49be-00f2-4f27-a0ce-4ed764bc605c.png b/pics/bb6a49be-00f2-4f27-a0ce-4ed764bc605c.png new file mode 100644 index 0000000000000000000000000000000000000000..07d8692d3c70562dc9cfda2b9a22d8a2832414c1 GIT binary patch literal 41984 zcmb@tbvWJO|38kyQO7h#o1X6OW*Da1F*VI}cX!9MVLGO!+qCJ94b$C@-`U=uxW3=( z`{(bvc=5{Xj_3W1$K!EFs;bCgpb?|N!NFlD$V;ok!2tlU{})hzu%oPbY&h%>yoGa(ScLp*sM)?*}s zfz~h1%+R|X%oqwWqensstT@nVK%2{6+)Yi66eNHWg$g+VOj#M)4<~_j6VMNLZk>1o zY<@>El=@zev^3W4 zOVS5`qpVr-)aYSKJjM`7VN_?ls###){2G@31@x%KN>_d223+9mds#`s)7OEEf_Gvj! zb$1G1tQ8(lyNWI)_)xxX~{bHBLOvCy&Dlg|6ZR%0VnGqTDv*wigiW4t`;;6}v=vdNXy z(d$P4z__^3lU9MPi(i5_*Z}7J*xYae8CUprP%ivir*|c5BekMu3PW?&uAq?6u?8gA zz(qF5HSbLRi9WxzA;&JJ_A)}po9hrs@T4;NBSQD~2q_Z27q;YdP3bujG#}|W5~$@t z{8ThR6zjjH6W7rX=YI^oJ=J^Sw?zq4UW;Ht4Kuu&M;3jv_~^`5ghb~YYXU|Dp zfBiO9=873I5!3DOP>j4?W^B|S=emW0xlru-oi#9iS4~7Dl*Oj6&dZCk{koc(Y3|kg z-o~yqZzKof{W#;uEsRtkB>$m1REIj(ouw%+ehv-5V`Q`%=(>Cu8eY>^{kEn=MoN#F zRd%dr(eHS=(3C}^N()(e`Kr72kB!qoxxl4m2iU{kQj8$(FqkcSR)R-M3q#*c_U!hp z-%OXGWkQBO3p*%HR;~14xVEen)7-j24S6SxS#5WLdK`5Uws*el;UalSDEv~;7 zeXNqTTBF9}qJ{=HDscSl)O_dkaa1p)CO1yp!Bch#KPgr6`y11&jp~(Xrm#@@LO*xH zaP6m<1S7lYN_*Ek-;;1XjI09JNAasyJ=g6kqo9)QyqO0^ok@ff!W1^M=*)qn9W=XS^O5&+k2iNW-RIoYTJg1XGOf&&Wj3 zd!$cjf8r*uy!=c00}ci@?#h(~xGL!X(8Ehki&s8grRUs#s0#KJlJl9vn;KL|B2h%t?aiL^i5=71n)1aXEp|Bg8k^RA$cWk{q4VUnEMJbl zICqVp*lCcWl|QgBsIi&|LOpFDYQ-z=Km0(9uepT7oz&-hxDB@=%g(k>^QOM!_|XSv z(x5O9w@k2B2quCVtQPeq)ocA#Q9BCi)DO|c`O%)1Pr^z1bf&djWyu=b>&ow1Ow&p03+Ij1%^aigKybTqn!5% z+!o~JKhOd-JP7W27#Uee%yvFd0h8EFWp}7_g)r^Z@09zI%m$=>5m88iia)=Q`*{V; zK$22rYQ`s(ystGTYkf^hm=Wo5hd4V{f-Y_Ekt%2Ch#;uj@ERtEjcZa=EI z&Vv+6gIE&43_6QOll2t&EB3gy*np9iwlcCGA6^T$JgcT0hSh%mm4EclH*nAc5zSFG zE>FYOJA{f9Jo$z}K`8K{*%O1x9o4}(QGuh=`e)CZCWy$G0bMncY?O(871j<-pHE3* zUhLYcc+__I8sH zzYHtWZB4l`KoEYA-tM@uqB^|?L*T3}&$}jdvlChie0~~%A0PFO#9T1kPi1zV)@8s3 z3x<=e=&JJ>L2rT3jJby6XSMnLte|MZ1NZ&V^)-NMMU0>RG_7|Od|D08+~!6VpO?FR z(1ra&VK8k0d)7o}Ibpz}0;tT`%nb8g-^H67fzJI|+-Kw~xk*-dtMyts#&qYoMgAUu zFV*qSUU?86rL)GQEy|Q#6Y5fz*3A8zvg69V(GaS#b${|3qn1$p^cyq3uCEL^*c2#^ z4jm}K>Xcy)SnM+x(f|#sHmacT%FuuG?~(5ecJ+-FMWDOwsVy7R4%+R9OWN499y1f> zXJ5{zmokEq*mk{u<0-^s$D$ECa$7z~Bew1%p{bzU?X+6IE0y8MA8eTWyjhTL-0Ci7 z>s{@i_DNW0oqT{3fkuEahW{&{!Eh2RphANP9H-eZbrpOBZpGSvLWA;N2F^40H>=oe zV+O?0UV+}ET4$KkVl}Gq(MwYBB;^_p_M8dmIPVjE7d)@49Yx%>ZI0w#U2HWVePOyj z(!?Yz`j%VEQfwQM+05DZvFrq5&(&vQtVIRa^^%>SyP!@EnRHjaS_Zsx!vWM6mf_Z; zhS8amJv zIS^bajm0~d)x=(weD-u95i+S8BsF>TUlX7+nY1A+Gq!^a8>>kZb%%S0rXA6mpYdjA zR7L78w#}$ZZD|igTJ9H9Hl@xUw<|y??FYEgmBT7HhME9uIqQ}Lk$=H{P@=sOj|(zM z(>vYL0WKCZjYpoOj<>nZ%B7bAS&htploWu48hV{&*;CRW91Q>1`9s&)Bp2jwzMV zkivhDfM;>jSC)4rX(0aNn;(t(Q{s{9vdoJe)0qFy?NMvdabCPqFv>O45!i&koP7@> z9;PlqV){{iHey9+*aU$GlS-C+0Y4!0X1vagr=S=GvDISzyJ`zIU7lAmeNa}vID9Yb z^;jI!(+5-B%8s;$5%or=>F;cGjDE4a=fz{GujE2wn#K^N_OTa-6mdv#0MgaTnpk-X zXmKGA`vQBCs=RqMYw6dX7aAZM*}~>}ece;KSO5i~Deaf1 zAmkw40qYwgQ%~z@Zi5^Rk??v_dPZbE|F%_NW&quPiLG28T-}a-=yK06u7L0%EO-VxX;Y`!L(zrMh$g)k2 zzu{1OleC*^`#{Cyzt6~DOI$|tN|xH0A>=i~67M|jzQ8n=7-<Z)|puxUM~|&pX;% zCr5)o<160NvP&J9=P@(3u0aGg(|lxG!rNf z2h;!gt0cRk^L zJh)xe|C}@Jn_Rsx7zAb~AW^Za+b*esh)X>jzFp+LwrTvjZEbol2ak4Yw1_8_j3!C| z3$^V+qU1avtxE>bhE~rVwAp;ImI=+WCU?l8>dI>|w!d4(jAP0Tskp+%C^}Hu_TbCL zyr;Oc;`hloh&T;d4Vzu>Y>j?FRB5Q|CK6J+w_T9P-#!G%s~lurLntkI1I@<2%{bkc zW&s_5l`0c!iCc=1q_Fz)pRN6gfPO0oG*#t&Q2uXA6EhBjqhE7N!_(w|-Z8cNKJrH6 zh4;q@XA%PF`VvyUon7LugrR08g|&EF*75nU(!Kf<6Sh7$+V(?DRAa$g@fVLLE3iK` z;A%OzofP4veWKS&WVTKRS|Tu1)4R5j4Q^V|6O(Fd+pPo3#}C$ET+;~la zaOBJBk)C{Bi#}_`GOyIIcfaiIDz#*OfBbT61d zPq>~(-Yd@LJUQ^vqh%2Sx_|bT8?TRj6u4 zG&v}z>1NrW(&Dn1`EcpHZ-xQ-I+OosCNpXSF#D=?40pX@5ag)zkx$AJ&HsYRVP zVmdx@2O3Wirtomw8$T|J^?LnFk)5#E@T_CX_c*mj7tW!x?q$_4-wX>-1greY*KEAV z%{UVL%mfb(kp_Y+jcxh%e@vMob9DDYlg+Mg>kjelV)7=l*0q6e-Z|}F*}1ur5%dQz z0^jN#?j`!qnj=hrH{u^K3I`XaA1R~D!FO1`IF`A3yw!seMZFF|ZkUM+i|;`?Kj~&_ z-pO^uYz(XU^>g5c$6~%f6v;Zs-Kd9Z{04)NJIpa#`Kvj$VocvrNj=k{?R+FbgXToT z!^;rA3oTdhjDNqO$p^-v$NLj9N3@e(j|KR{$KKHi74a^tDVDeo*iW`JX^kX8mOawL zov^-LdIhuO5Rn62L3^c|8u~#bkDE378I|L|F@!)}1!8OdjNgTbXZOU#{C$Rt-&g=x@Z3c4)wlDuA0p+MGZ!(( zeGCfN_cOmy0vGGvX*EizJ#PsycVGPB#zj8ukZNN@te!B8}uNSy*OShnAzdZ#1pNlTh>;1dT{Q(d7y@LBI zs6@gmV}o7iZ#-@{DRSnCQf8CE@73VboiV0e#!hwo&xB9fJ&=`g-)~9Ta>s?mN+(0S zn7ryPY?`UGgoWv0IluT~NpAT$V`XqpyKtr@$rzN6{LLx(X5LTt{^k|8I#eyA=)LEY zUM&X5=8%qeH5V2-v@KBk%@I)ZO@zM}89i0H38c&7%t=$e)11;a{4WrY5e45t!){86 z8-sw@*}+ac-U69gY`_7?cZFtRT#L;P;0p1Hb@gIySUxR^LIO^^M7zFSsXH+9CyvGr zI$RXnhUhlCYRx5qO?>!6Uo`nTDbmJLGkJ+3;OESkZOg?h^s;rJc#23LjtuA?KalU^ z-Dr3tP}S6xf@{Aj7aMj<2VeIZsxWKA4Aqy75rrUJ4$Y*==I{C$q=8r}9-U!`XKkZfm`_^tH0 z$-iOYE;FX+iywb0ZeKuVNk_DL2#o=0EB*riO(4yP`{M`FST+ijJ++f5wN=w(8`Sh2 z-$F)eD+l1D$l@C;@MZAjTZswO^FWa!p_E1{v(z{aQB>C|=Zb+^;bzDm1SKsTv*%Z(Yxn zaGcC`P`Fv_3>FX>6uG-MfA2Yc{0c>cbe{O9-00XOTJf1Rn~b{KsT%pO2W4caGOU4$ znpTtU@^g8P^<(cYFQ=-KrqAf0%5ksW@^s1j1QapR7Z{IDs*RcGB&k7$QmQwQxn2od zXg6X0v$aaggS*R&1=vei@8`dax^~ZGFPnECeZZ}3ON*NYljc725PJ)}ePomfqr%rW z+s_GRcPx>PgT*W#VRhrJ-9!}TJTdg2r7vNjrb139<-U3zibwcQ-|SH>-sJ@fFi|-k zod`vmY^)bkpPX19>E0smj%9?Eca8P04wx>w{bJ1ZAKsdqqrh@;qwghn9{llCsIG2GE|fe77d1`C&day&POqO7>SipRa5Q+KiriI;$b-oH$I zjH?5b*Vu2%_dAc}m2{j;xYR}~C`1mVcFmije$OLv(W2a5G;B|{n)!no?{vRtU-{w! zZ}IYg?gzDI{4!}2lA8U}+xmDuCb>umGg92g*#^9RqkHtjw6Vb}B9~gKZSYB!#z*fZ zM4RdoIWN+a-1T5r|FNDJ>-XoQW34)*O&D_3qH-#RZ~mgBL6j)SRL%VXQVBl5jr%|G zGH$Z^LQ2IfWiXNerI-BgG02fpRF@;c3z)3`Nc{mSYT!?OKEZfT-sJaw&BPVErySK{ zqd+&H306r^qIknlA=rz7cNzoY7m2DV3lo2^a}+l(zkHr@muHZTCkjn~lBqUVp7Wa! zDPFIJ=y)AFz;Y*)pjza=M@rI&cke+okeAK+q_+S?diWnvfZAi!4*X%%|MQ{i@$Sd{ zs*J@>Dl~mP-VFL4)b%QQ$RxF16JzQB+4N)7{y!exzHDhKPy!LXxzIcZffQyf5bX~w z@wqU&DXuHRN`VKs$Yo<(f#ClpMI^970O!`x@KkItqr(ajq5Ml8ZHfOcaniljAJE*) z7Ze=)My>F}>+9ncZ6)=`i}w!?hc(!Ecr>kSU38gBVekN;{7I3tf*6m(`f9;|_|9M~ z?WHn|AR1CM|B>Rv%%NJYPHVeV9}1(42yieHJd>8w^JePJM>n^&UjO|@sAQn);k?4X zZ(vY}{{6=7$=ZK^qqDPmq9@cz?lt$A!E~q^PQJL$ZEf}PRltWIgLfp?A+=3)x5Iw z5RDZd9tf6A>Ly++@SQn3Np1;>ZK-FundNR#it_%Zlx#QL)Mz1~GakE?yrY4Q_Akzn z#kmb!$=9?8Q0KKC1bexOY;$?gVqRl-B6vL?{3~dS&;^O!!AIa3(P%G`ia`fLiGfKS zUL?UGU=#lEo3(r7@vV~B`7+w;v>1};m4c8;tQ-KJRWts7no;jS8P(8KP<8`=j$iUG zO8D6RFa{eahDoA{`S|Dd2jKlp=fnEN?ZqM86EwNK{mZNnamE&pBHhz1Fdr|X2yt2< zE+KL~#OiVAvv4^zk^+b(H!EV9H3Y`sJhV>k%Bx7T zjvq@;84t03=DF_K?xc&HfgK|5iixgAU~wFe8mMRHBz-y;&3FSRS>Yr>DfI`sVyb%d zN4w6}#JjOl8#`Aq7G;VS2M`B{gdc(te!>0XX)r@}CPE(+ubSA^vE|YDY6~>`h(AUF znQZ^f0z-K|rZTRWPe%3A)%#Z|T}Xq9jfdD=Q<*bT`u0|WJ!;l+B%WSf?Zrtm1Wni& z?Rs@EFu>sd2ez_`4-)OG$Q$I`Z(OyGp4Fm|I3yD%bS~9vX5SaFkLj}lUxIpZ=Men6 z8~sxAVcl1S^<9ejj>%>qz|KvODbJRIBf-pH215DvZ{-nFz#;#(Exv;*c!PvDmpCejZR@TH~x9H5w!)z6GnW0D;)Ym(cjz% zRF>#y$K`jlfa6!P%I(%xM)(mCG+60-n^^puiu!e-1uTl)k?kL+Za>C0oU?gihklBViF=BhlIQ_*Ltd*8ces8V2nRnfX{S7`QUvdk4qQsZm^}$tU2o1A zD>3e1Nm;C-MxbHdIln*y0~|ybFEqr;V)}L|G2L>`9k`My*$Yqlu7)g|Je-n33o;{!j$P z(H6&4piSPql4IfP+ahVBVHl;h(&VnhaJ`fS6_bL4X4;Y494Y6AZ1{-td;2_%#YZk` zDn;@Pf@m?8V{(<;Mcp9Ja@hZ;ddd&qz&~R)0_Vi%*tw-ZsZ+EFZ19LI)O&DQ${Ki9fq|772Q&!t*xCMoAV(|jUqY~DGc_`JI zXLDcV#vljm^uXDOM@uwf?_o;*$F1zoN~>14iw9C;k4&_TH&6mHnrHk1Shz_X-H!?U zV)|p%rtox3KIi)jj)U=fZ^1@eVLShccHrb--ZXii+E&jK0fTxQd0TvL>~%Qn7IYM` zJ=!~Ng`Uqul8Ict_A-?$LZodDQTMENI4@ozt>D9DosP>9Ft^h;JY*r>>3EUuiC~5p zU%0b7$6K($%w}CwbO{^q75Q?yP~Lj>P?We~fufhz%^&r2`|RmP!8T(`5fp+x@&jTb zE5V8Lin_5rC^Z%?oe{RS9>x0GJ%cT$hiV_b!`+?beloI`9prhQN4VnxOd`pav&ouW zpRYv3dPirxP0Uy>Xy2Dc+*{7@nXv6jhHqs9&U&;Kvg9mw3^T>`jA$HNP$yA&7cu1V zsZxO-ods0buwXa_4%4z=ogj_e00;eR!y|==BSQ__N!p-WU91EeASo<0-yO*W59f9z z;Q-3DEelXFn~;!xG?K=j;WnQKE&bW!gAUFVTyMR32uVT##gBkyG~;W(R1BV?sr;U{ zpYeKfc|_XYHs0F$-G`F5Oo8#k!)!|Q`L+KHWOMC4(@HZ372aItYVEE&Uuu$$0#ejP z#rYQ@=M*%f6yKUdeOpb8SufumSRk6<(zn>n-l9q0zg?1*{`r6%MiC{{Nj!N7$9>7Rt|Pq^hAl@@r}k8gEcNu78OZ*5nMG)VU6rES7)f-Bc6_ zQti}>-V8e-8TXmi?A0y#Occ+Ew(h+SN_LZb&8SFqoEh@vDV0UYzPGh9*4Zc`(5B1k z#CXZ})k!ukfPN^SiV!eCR`*clX2z<<-rvo0jHaT)$>BfbZ+N&wUq5`16=*key3WV~U{M9oDHei`o+`Q8{ zq&ucuLf{}W@R!}bX2vbry-7a@SMWYX45h5P?=#urZ zU%cZ_%WF+kaJky+Z5xXo9u)ntn3j4%BuP-&iJ8iKxneX0XgoxRnk_^LIq1maJRd8R9ZHPM`EvyjrahZWD*@CH9$Kjk1I%Ff<@5 z2*At(140jul%H&!(!)V=d!gg$eqME zQ5?8mHq$f3UPs(&fFt2C$~`KehOF1%uNstERe zn=@ZZ#TrnglQ?LK1DE}Gdgk4meHb~!i3RXE30);DQu!bSvOO**YSyj9A7nNNqJ7I; zTw=<9!Eoq44)fXp9w!;CE>}da)~;~PaHzd{V>d`Dkp1_ZbBrka;kN6V8n`NwA6ztJ z6r`o!ktYmq;$QG7Q>F#LXTy{Sj+gOUZ*ZF#3M&tNOzT?=e4p18! zC#MNyom_osE0i6kdRolFmx6#uD0cO-!<|bahXCUv zwMzLxO7f3t^gX!GZW({#Q`xKEgiCD>P;+%cffj`~X%BnWg=? zT8W;@sv)3Zi_Xo)2q#_oC1rc19rF5bNis+P7z7}7G6s>R%H<`Hlbd`4PZbOv`buq% z28%Y^FH*AF=DrNTVSe(}f&NaF+X?w3krf3$N6l>26U>hERk>|gk_D9}rs81)r;$Kx zT@$`9KI?N?BFhELw2fQzL2-4D}~idVe0M|G+`o1fogAB+NcdY z*-Xj<6IgGQ_g|}gVva5dXHG@_udd?EyG}<0hH*K){c--Q5UeVq7eJsVByy3F>4x8h z;TzR(h%PhbOYM@TMEX>oT}cqf~~<$JK?CS>QG0JSfo3hwj^sTuzCewf|0(K{s3 zo--V?9t`&zRxKR;7|o<5J>g+& z6`k?wdur&c^z4q*2Nwwtk;#HZ4{{)(7~6XZwl9BLwBbW@SiC{_)4$yQ^wK(rhBf!7j(Cd9!wR< z%uDL&(88VFg!inDfDb$1;Jv+^W3GNZyk%6!vF!RMCg4Gof%#`+NAEY;orLL`qSJ}z zs5IIZOp9a9tw=`YA9+sJ zmv!~a-yfPLKl;mj_$yvBw*|G#q4JA0qx%fZg?IoKxSe|jNXEMiqu$q*xA4^n7-aOQ z&gKNYZTBq|?hf1t%OBs%&16FPLsr48hH1Y z1uLhcOG+V$UJm40(KW?3kSLu5z1cc`!H%LWE|a*vh6%n!M^}1aCP{F4T;G6LcwsrA z|5~=EG8FV7lqp|xSduid&R!-;7#9HQWIhhc^>Cqiddn?6?A6hX)T$(b18Daf z{A?JI>n9`Ql%;keEdCK3bnWGUJ|+d}#(vFVLUbJ+oUz#67+8aoQZlu_!v1vY>|Z@j zG)#H@`bOy^vazYfXfib?rJ?3cP z()I4s@q5BEbB1+O&s}#TSSow4z%L+#l{yeA+1S-QXpH?=&l^rhdxQ2$rm`n0)dsun z1$06$Pr@KIb9Mujkv?7xIZO42crF5ugq`sxFB!8&0Wj5xo;t+ow<_X%rB38G>_?|v zzo5`LU66veFPU26Ar?UsxzI~1`Z;#-(SZ1RQAJsl0^t~Vp|QEe+l!*9QaA2*#XR-J zS(isrMn~s$J05^|2HX9X#;wXYQY<~(^b(35F=CPHqS%82(3{zDy#2*mNw{)oanyws zEX;cI4hFmB@gLlJd~##s4Xf(UVnIGT<$7dpPavDwIo+CFXBpG3hIDSR<@o1V4UkNI z>faEG?a=S7b2jI1IueV1JXgP<318fln%R)u*}u6CgGT*D@(|Balk7N5EHz-18!g3; z0^5)cXQ!(1c0vF}9>Nqc`9F|y9%U;FaJFXBbOD+jksft9=YY*q|MkvG|3n0& z)(UP;f}!u1|AS^nyh~VxVROR9OXT)Jr1qk*Qz9SGcB@w-h7G^h+KrROoT$neK;rz> z>U*w6Ejr0HBL>w{t5p=kIt|Am|9=H|xH0>5fiMWwSDs~1W~ss}2msHj9lMkcPx zMJD;_HQ8oLMF&nzsgC%(FO(jsOUlcmz`&(~(HMCD7b*^88&GfnA>aOIgh}I4x;g{X zqjAv|?orcc8c8l=@QyH8F)Zo%xF4>8GvD+hbCR9e5!atu=d&u;B<0nx2E-q-5AT?4 zdHtR?bYimkG0^#PyMv{_xzz~FobNsuqhvo*L;2iD=~VP1V(G~#NBb_Yk@P^tPoWO& z1~AO~mEVkDRLbb(bOB5~{Nja6uIMWwB2;`N<7jQk-^$Zl!zXI^&SZge#4~d(!M)y4Op2>C898 z@zU{w3YRhO_$KYdIo+;rLsaD>+qw+sIZWi#p~NxjPpuEWHGjKP+b>Q`F8fL@7~(v? zdnIN||6edVaZ;V{vXt~IhX9DP#3?upk>0~!fQ;UV5G12oJJ2l(VrG?kEyMFfDH!!> zHD?-5(FikV*;G^IQ2c`R>h{C+TV28~gUK-ZVJYKG9yeB8{pTVUbI66yW!f*p=dCw* zLG>qW!xKBre4fAg6hOb|HR5aYLz4t#EI*;e|Fmz!{3?e&B{>3$a-m^%CAyZp&rASg!IsAdn0dPez-R$jl_!W60~5&g1*L`R>YGXC&+Cv*AAZvqAQ!jdVMY1C zu;wqce&A~L^@K%yw3k`_?-PsE!@^3Ti-3Z%L8QP+?gs~drf03!6cP|h!r%cPD&P@% zWMDgtbdZosjr#SAhNiTbM3DR2a(nRT7qCfbeU>ec#W%FCq#mY+Fj$r`n>A_92?lX6 z3rmqTr4_IYEqPQiAI7U0(sG!PA<4i%`xhkFR^`OU&6VKOZ~9!38`H*>Z2tk|wUhtp z3b$*KTPK^@MVQHj9@2wiP-Cb*FHr8(`oOlJ=m*PKWY>Qsfys52dwV=#Zi-QJ9@@`X z$$5E&hrZi`#%fr}QL zy8L*_U!Qpr+^hw{kZz@mIGyQ$zs{_uDSCQ(z?^mzxus9x_pc{tWaDtQ;zoJRiFa@6E?WMf`XBJS zT0mtN(fw4=O6-d7sP%b$m{JD^ric{05RybjGMkDB0(K6wGe4e_eKbL?J z`RLw77EYE7=-T3W81GC~uOgdkeV5_xv{{0wAVh6_-|gvR^xTNqSisbChtVi`izMS> z3n?8j6xyXCVbCVz=8d;|9Qub&Tf z<|*3xE|_S5px}W&t8rt>cun`H2O~aIXcp1}_3!C5q^mmlJzlpWt zA-wj(n2R^!-uZ!Gd8wJ_jtrtB%&w$r)!`I|149al_ikH8^}Bn!zP~9!BqI}K!r+|+ zx$IBuB4}3@N8&6SEbY>4fu{->PfekJ(MlLKni~ag59CiU>U(?EagXf~~D#u`jf1L+hD6XSYnK+M%Eyh3jP$+(_R!(FWS?Byi9n-Ax`+p$mk4 z9Chw4K1M%cQ?r$rn+1=YaME%_MxJPwC>lI{#c!i_&I#YzAL_De3qK3LljG==oG6FVV45U_BV4$s+N|`)}eXa zE)^bQaqKbSm(7)w?|)A*9+Q$asG_xhkJ;k#LgP`WEgj@mK`;jxvm0Cv*o?YiGRqv$ z-dbAUD*HWnVeU+3Z~2$TX$+KavdP@PAIjR85SRa4ScySG#xzLhTPwqyQn`cNkbw>0 z9Uy6^wpZ~^d9RpG!nVO^Y{!Z9cDFx3@PtCi`UpOA6V&D4M*JykX?KXM&mjrysQL+C ztrF`(-Ad3$ps+A+XMEI~zrzpVX_QeX)U3y-?@vo_VcnIGH@pA5^r!MNlOYDxZwnf* zEtu$CH6p=$6pgau<@iBeUlHkRnlhZuUge7LM@Q?b9KRd-EON|5zkJ6qbWA76kBJ0d8+X3Npb8G!-jgLl1Ksv25n z?QQvrQ%XlrHlV}0u+&xE+#PGT+!505b!LBnIa&yeVd#%)QmGUjR&yFt;3C6;(L3V+ zR3b&hQ(OS)^(em8VgEs5JJnzg_s`fwyvTJKUD)atKkIxljQi`(WEuh;dQC&L=I@mL zAAD2vb?3wGqt3%QJl!TZ8$Hp({SLpLYcm7y zZJ&s49+|h1#}!IoXeG>s8HM$J;+J^Vj!UcDyCv5`^Hw~t3FEaf*>)W7G_D*}f$PCH zJ(M^JIDpd$GmDCCB@_m=x>H%tNMQJSR<6Y|$b^FE5N=IZw4JLtFsf z-3Ohol~8$giV5HO#aHW)RB+{?F7maI{u+}X?(j0HDlU7!bzH$m6g0TIXRiEg>gu3C zB1)tIj1Qn~vB~*-CAT>BKG_%tkOpJ50t6;9F?c$l7=Aotf(5Vf_FKVxr_wn%)M z{U>HzJlufml6^}NI!ldmofaL(=NLRv9OMJrk7@&}*@5Ye5~dd6=H&1?kdHZMFt#nW z1~%A12u7dNHow-jD)9#th(58De@WL5FRoGQipl#}_rS^)p3rr@>~`Q3^OZ8ZFiPxc zbo6zN@GCF2m_%oOM580Wly826saJnFyG!2jZ#|RjuK3d#H5jrYZPlR@nv36*IG?D| z2Rj5!BdrTIyHzQsCoa`c1&_EayJcTeYcYcdnwOkCu639?8p{t@jEH~;M4duXAR5Dg zLbsCFme&Oan`p`8e%Vhgfct+I;3v~g_xo~|4SQYYr;Qe;N1m*;1uam=?2M?M!inH_ z3-?T{0C{%s>VPobX#+-*odJGuiJifc18hSAfw?B7oo)LzA97@kn)$$^N%oZtRzoAk z-@EI5ShPkoFlOtL4~Vde0PQwo+EDyJEX4ZX+}3zVSUVoVuHhi^aZRPnE$O|^$m_?Q zj8;xMckkYh?Sx63EN{>X#?G9elip^BtG~qS#+){Htkz%rI3%x2Dox0?&BN+vE%M%l2%`k3#BCAG;I{ zco?1!G-e3~x(PEZh1VtJ4&KC6jD7CHU9Rz}TFVfF;UA$ePt$$Dc3+EQ@v~Fp!{TK% z^=~#1>&PVSYha2ihw=<6y=mz_Q-&d_lhXI`oEoKp5e|G^L#@J_No~%4hvkwtWd*RD zDgv;`HH*$^PNp;pUQYXqAEP1(b=}=Czeecr@cRIx9<|$~*xoSW{nmwJ!}|mLTu}>) zUyno9nJ(Zfh2`>dPv<=BWtQC^H0VmXHFi)YQ+)>~l(S>SZ!jJ_?li&AzXS~#dR7sx3sGzFLAVlB=y)f zp@LBGspyWUi)?qjrNsrE%$K?ffnRc0)%`;|qiUx6@csJ!NuW=Y)3w^Nm}&2ni3E$5 ziq|5dqLSpj*~{PLahC^dgt%;z#5HnlY;hrRIZnXq+>HH*S$b%%EE6l2liV8roS+YL zs>C;6gSBw$sQU)AnjPVu=&Lhz5VCvuZCmFV@2x)9cQ&Tjp2y^jaf*1x!f}T% zh3_R#h;O~=3f@p~bf1{@wi+T|6jfQiMI4A^uj zMh0`*0lxQ(246l(#b*$8jmodjza>3ot6|3(8h>F1NbQtl2lS`-?PFW`jVH8Yblep) zdLqUAA{-gk7YLEob(#io8vlQUy=7P&>$Y|s+}#>?3GR^K?m>dPLy+L^?(Xgc0txQ! zZV3c;0t9!Lw@B97d+mMB`M#fASJP6}{Zu`3j(f}icyO7~l9N++`{Sq3QBb}Sp9a5# z4u9QjRi-fw-e)-ctdPgw$qfTtol<0HPxu*Y|gv;9k-1B8af?PTm=fkHsPqGHI`a3(AmpTUlCXlYSH@2zzM)x^#;KPdQxi+GenEX`k zjo~yLLX?A8o|P!p-OaP zHou0gqK6;kJuNFH6DcUa!a{P+N|2L<0<2NMv+#t|&$R)781IeEKD>~w6x%J|M*uZ2 zv9)f|-c-A(Zh9J*rN8K}cR4sPMB%~cwpLq%TFhxxF*-Nt(=-?re*K)Ak{rAq>imJA zCHbY-T7OevZ1ue#1xuW;K?*Un>}&?ME1y^^q9iMXx zK3$gRN1iv37r3D%58q22Ws1iOGT5-3%-_W&_fP}zqvz$F=he>%-?ZkUWzQiAj!Te zw4Z&tJ}J(0MFPmh%>k=;A6AIipAMrJ|^!2TtYMw%$w zi_CXJ#AU{g>a*xL&S%&0k+sVFyoQBo<*UgVkYNOt0xZQI_6StWL*P>;uOhx(WnjV& zyi6B-6`^?!w?NOi+ca-GsQB)&5#sj^n)DAt5;&Olb)jm+zV?Npw7K+IL&4VUZ3sau zaiZ@ROKGSv)?VQeU7m4A`15)iM&_-`uC=*A+nb_T;v1=Hpx547#HS#;U!2}(mkvPF zlmyG38y~}`C{hRSBg14lB+2iVX*mjWwP!TY3-2BXI%6g9PSja`J3a9{n(B&aKR4V` zbLpm`=<~ZCT|qo*E8kq=KmhbrfdU#SaQ@qx3%ExWRV_%aByX>7A&%w5^m>){&vb)FsI>HfQ z0RkPE9j7GM$bNNS)ve0P*-86GAv@4@&IYV_~L7TDFP7UR^PxCDxq=!xex+?*1+ zIO<$We-|kZ@5)zg_2VI3lW()LzCwjyiI@ym)BN=6A&teEpOC9~7Ki%Bp!8Lzdl(D* zFPH5C6EtV*E~GuCG~v|089x=!W7Hw&233e>XuJr=e| zT$%Vf4aEJA6Toec+@n-Sz7C;ybaHVwtC4*cJPJ1ZG7*e2>YF^L3JXH z61z=%qIcBP>V*w>x6%s3JO?ai1`Mq}-y&9)kfHOsF`rT* z1|fVq*cg}v`gZa(v)6@QE_nGn4gNfI@*2NBs%N16zAO&@wf~Nj=R7SD0N2W2HQ|ZYVWIDmSy$aIYx4uMO=1cndJvANkALNx6y7(i$O!{Qr=1dBPa?-o(PEH+mh~VpHw<1r4M7Y zyy(!h$_A1;Ep1#aEU_KcCMLV%*-pI-1+$SKD(v3aL*LCXM$;NS4eg@2;c#f*SD~vZ z6M~{Gj}ecM<=<6w1-7q>JYQM4>#EKWV;wP_;S31COY2=Ax5Uj`mU%}YL^O9vJb;h@ zYYjk6`!d-ye$`^B!jV5B46NK8z1}*mpcnd7-6}V@&hrr3mBDw3pc)c!8jWhYG4>SL!oVAlB&3TB#hG%Dh7)B#E9=@GInUToLBh!8P3CUKAD z!V?PS(5}=2bMXCsFcs(gdvM!e@VyMw@%OTOi`IEQ1p-wi$?fPnax(orT1Ikvae-+@ zT_~fcsX5e^62jv+tn>iEQp?pu1OXCu3sD&lh^lr&?8Cd zm&+fxSSpH4!@kGs{4n;co8uHX;`UDH^$o}`3q7mmP$)>uR7u>pY1QCyJenl%?&FA3 zR#5HF&0@M(P=5Py%!=l-q>v&w2gE|Y-R0BV%@Q(zQ^k>-8j(|4kmXt%DIa&laS&k< z*&M;>Rdus|I?_dpT67ZH@x42FP5*tX#+D(H-}vKe=J$n>DSM};7w0o84NHVr_zfZ{ z<6tGn??J529YKNJB^-CLLw|RWYi|`?^Q9AzRG;vYK7;ye!l@ z+&JLEeQha|82jN!WL*PFZox@RpW0`-Y>n{;1V0tKdBW3KI43WYWuNhx$pg@k<}iOM z8i=3K%r{E8GFO@pz%``4QN5RCThHqC6$4rf`i0Ayk*}tjYTS2}kT1dC79{u}C8BqD z(+X+;o%M`XT)CbvePH=fYaMp4)lk5)G%~&_N}t!g!(LJbRqA9qrmX_^8CjsUEOMMr zTxcGSZdrD;8b}O0&O-N8N$Yv~KKH6UW=l^CB8aJ%Nq8HzJ#+9wyi?TQYMD}f)IvJY zHfBuuzl}+r|p!D%n6{u^J&vuyfd(g<;Nr>%)_K z`(WTLsbEX%>xyZZ9NPW8kEFRP3(~_(o&b=%)HS5cjy9?Bm8N)1%S= zwM^sRv^8xT+4S+yhcp$9JE>Dcb6fQ4JYa}qxQA8XA)URZi-i9oTzMjiNcX`A9mv#y zYOmJM$uDAzgyLNs5OqA^p&O{<$99sUxMcQbsabd`tGThYU35P_?0MFJsktEMzkyIy zi0$=NKb~L|lo#;2@88cyr^E}^Z(CUehnTkGZpo#72)6+DjchKa_X{T7zg)rIvXMko zr-KIVsS{+aptXB`RT1Y)_!nR>|6%-9#rJJ5%Ehv*W6DOS{`Ar8EW~Lh)%+~F#p5%| zr$i8Z&;HXN0)dz{QR7-nPrVUbGl;%7E>%|E0JuX}K{QsRikA!ri;g-K-$1e=_>RYa zcTG#Q1Ae?MQgx$T-u0+{wOrbG>fsiT*+)T z=Y@xY!QkjY*|&D^)k(d{6lPqY#zr9y(*e8X2he{f+%d4t6og@TQydcpwNww;;`*FBk!a z|DT*f1mwp|r7H`FiO;EyUEGHCND=Mdhzi^KmcQRunvB`g>(vp(g*^9R;3M5oYfy3C zRb1Qvb!ZoaZndwXH_4CO9s;^b(_4sI4>tpszqdR49*J=NgYuY?EP``@|KXnG>t1(A z@oW5__dm_Q1PvGJ16@d=m!>@w#-BEJCGzFI!(81n)kcw_=B1WsR5|T<6}o`3ieNfX z5?mf&$AfwC{$a`jOu!Fe!%n6}`b>IFe0c#$V6G6S!wjsVor6v&_Kxy5fiGU&!0}#6_mc>0ieD&gK#OkGh1^=v4 zM)mtYl)q}f3BiWo?Tj7%V_XCPh0I_$G)N(Ccpy$!iH%1k3cwq=Z(a4PnnXl4X_K>Kop7(;une*@4D9#%m8W?FHO-AEQq8k?y#KbmQ&a_}?ni2khzD zboUVWH1Yi-Zr3HtMH=KavSddy2RNawJ=e^eD!A|=sKaYWNN%_5zGAbXn|*wy zMs7e}mc#hL=izm%e*o!O*2)+3z1~5dIAm%w6{u zQydHX$p08jaymuuDy2t}8W_Vx%H8UpDJ4{G8~?x_AF1=mM~bPGf5bHV1qY%@HG~ii z!Q?3{MMMZ2Vu%a7KnD&N{tb*_kH?|->u*G4_O1|Zx#AgrF$DHY&;m%3h+9VAYz)OA ziqtEz7QTG@IEwq3r=uVY!;;M(y~q+K*Q-qPr?4DL{O)3*e2!VQ~J(H^DN7{5OOrh~~-X^My+CPZmfW2G~FdWveL`$SF_ zB};7Rdkjm<_DtHw&K3CJvUvGw7eZMR86=MP z7>D(lXdV2hU(1&VM^HqR<4rR(i~Q4}W&pt=&<2Y#vr(IviwGza_u z6$}Z>Noj0!*$8yL*NA(`Zs~OBE1hZ*ppt`~Yhtj{^2=Y-D2C*m(igr8Mp!Wl0bJw5 z#p+Ws)SFv;U_rPnIk8>AG0Z)hcBa(DWk&|W!dad)(8`i>@5Ght;lCl#w%}PHWRrS; zLGq+r`Dnz;vE(ZL;xrUOEMZt~#k9au<}{{|xOLG#aM4TN&x1xV^d+=9vh{%JqLsnw z6y}$$tYWmQ*0I5zr-jivHx+3wFIo%rQx-)!56*;n_6N_N0YB}j^)4x_q=5d78yHrS zUf*KF$a!PL5I(xulH^M6aJZ&<#0-%Fzh{vC6l0mKi!+8??us=z;trA)9rSeaqcCTm zFN62YBw%@{#JQD61VQ!=xjH*CLf`vDqchqMX7MThiU3P>q6uyyCH&A>>k0Dr;1tGv z;~;ELT)Rsgxwb}{T7UdT=}F6PJ;0yE@kz>4VPNy2d!~YtpRez3Syy!hfR) zIaypFk>bOi^T@k$@$R~@n<_n-nOI*Al<>rGth89-w6I>A%KOy=0%&^kr19-v~@^Nz(v&H;}*2IJCcm3ZT zv{-Dq1sy-C60T%3D!_sp59iaU6(B*6Eydj9&br4WAP6&uChbqO_ze+pg3?q8zF(h4^?m`A)NjeksvwzL$lIY;TgxtyYE`?WU*k@|$>@%498elzS( zQyvDTdzWLDHCpc9Va4>FjiadMEOCSRUnx{O@-67WalB0L>o?;>lQC?pd$w|+PZ&Q3 z$|{129v1X>yD>uLnu2Evph;bSqXI6ud7%G2q-nw{IpQ=|T_xA!Ll+z|VX~L~Nz%g& zUPc&PJ6Eh(Xmt8h0>RKKP-z!9}8{ z3{0!=5bE^k1P@5X$39(F1-LA+512dk<2`|XSyScBT)aA%sF2=K_9auMsHR69O!ZoE zwKD4b^dLU`q$%y5Pf&N~mWXM=UTI+R^$!-%^qljYZ(xyHBdU!sZ5eLgJiv@~P3?pM zOM@ssHU!7Xg0p}DDsl65)@me*7I{c;Z-Eq6Wd^=TW7 zKp({~#NH4YpFI9X3*IY9#&f&W0)?%@+Z>RHoK+~ zYj@0XdKig1{hF4I?^CX?OAZ5bw1M&;E+Nc*ZGc9R-yADHiq~doo5WReNlzSoi)Psk z>L|P>6rfeGeY<7pxjCMY8pe7R;CMQOrJUdS;bsX3WlmmPx0nX@@EqWEM)?vX^*{7H zsc!ZSJ8!s3{=_+tMN_j3TbzbC;;rzfb{C^C2X6oQI+skP>nE@d)%vU1sz^+ZZKv%M zyczwgdHq$z@FB@w-$UnfBM4&7cz1S)*A%a0WkqjiD@}C6soaI+lIJj&p7dPrIKh~P z`~8I!9Pmd)Gf)VwFT-f{!hC2#&fusdOPl?S#)~G@F5bhTj=rV4i*X9#QiGJPr3O1= z6`ISXUie02-J>sn^Q&1|5;{g4!%n$FX;IxqZiIK=e$aV^b$9@mu;(LLzRepsc}|(L z;mz0}xXLhpUO#RbmRS2&BGNT?q?qDscdm!xBFZQ`>j+P#k{bB$D>T18=DdBmjBmT| z*X$E3*-R@2$vW~w(D$s2Odw7T*0i^$CvOE(%f!SWl#&52zxmKQu>HGqQ#doJk? zyg-e3;Bbz+HL59au#`|C8^+h4%|f2v?4(%uQlDQF^L3Q_vV_sqok*kOGbQ>;-}>!g z!W?rRmUP4|Q-q%fdsoAq33qd2jYFElw>_@Wn-g)S0W-pM7ScXEkG5a2nNO%Ve!6|G zs5)2}Oy)#^dr#WzMs8T)jsxNW*9pXxT&V~!a!rYk+rI1gDUC?Gs)2-`tb&`aRm!=s zfj0?5Q2yk}f>#!^Do*dg$dW?FQWsE+2=x+rWjv=h?Gt>#6}A(|pc<9ox<{9vNw>%F zc_a9PXI7y)B{EM2bHWlqYqt!LX&!PHS-4>i<({kUtwACkPBXk1s-O7reS#lX>zK`q;mNA1RL4>lOW`?h|A^(kLo*_crd*W-npBwU~FjTvPk;0IcKP4}Em z&DV)$yrebd08+%`9Q+TEA3OA&e%&HHv^mo3MdV8c$NQ~^PN`Vnzbv67d;DDQHOYX$w%`fLrBc zuQysAAfQj^8(Qo78PiA)~g-+ex=lw1k^==ud>l3z6n(D{G+(HMUje;9vKg;nML*a%4{VbULszo`p09>@^SbQW1U^T5MAa2bVU!dIe(_cb|xa zO1R3H{Mo>ZsEM}lft`UF(Dj}_M_D2^aT)i0ONza%;|Y3eKgIA8vwl0E|8d;c+FRw) z9B$#H58RjtRz2SfB2VJ30BKhv`W_ls3MqXia0f%tFBLaUTygAfqRWk$uRhSZs~Y;M z-2lkK+|+z;CMa|@l4M1Okq*fBUexdBg=>U!w(h7LMHwinLc+LT^UIyBBvig^1pbxZu($G}#K(Y-JPZYC@FO^8rVVOF~P z>ucP+Wy5x4E%9T`4oU6(WoXDV11r;o?=48_MSF>LKBhi>Mh>wp>M7yZ^Hh9pvcD-3 z4ii>->2vA1V)qOk7JVb&G8mF_iFyz-QV%uANdbLR!$uAyu*Iwu5k39f`i;Px3bVT# zhj|5Uh3{1=>hRC0U#@%_VSWd?|EE!nsEXxL}=Aor61XL1oI z6o-sAHLq5Yte-t;!@m}m7@QdN3+Wm_M(@GF%xqGckBP>wE#O5E<3mGA-NO{rM#6>r znz&NwCg66irhz3Ub$7Ofx#G;jWV2EOURObKvT6CMT8D;*5(f2Vi6wv+LhqJ*pY&pd)hgy{^_u~P0#M@e&yUfA=1PLlZ`u7rDk4klFgn^kX>lF@sH4DOJ$<5HFzeesu>xsj4r!dlD;_ugph6kL) z4H}){xqH1d1-ZjZg~US?BELvs)X%?@|1`GH*)K}U*8w@(6*_h)%My5$)kX=PPEUB2f$rA z&_92}V!bAs>kZd?AsdziiL!mfnAPOO>Hd<}pC@91e{H4%< z-0K_YgX;AO35dS0kUp^3y;|TbiB$S14NLXJV#%VPq4)Dt-hkz4-6pW;3uhRZhaz*I zpgo2Ad00z0Eyza`Lu{)FG`H}cK!)*}FbKocD8cyPU?7CkJea{aOwLfB&OO`+2+Yo; z2B}vYhXvJQ8b}aTZ3Bvf8IxT_sT$S@5*LxC1?$PpGE!JVHn8{JX<<43{20{exZz;f zH+r|Yb?O=;yaAPA6NTb{+|1B!9qh*{Lo#&dudB#HSp59vzNs`qPkvK+swl z&X~nkZ#08{v;kA@k2Wy;%OC{s~)!x1fxZ%ogD>DrQs2Qh^4$4DxT z*BZ4gXD(vtpQRi?G zR%W@VZf3jGSn9h&=I7N*bWejt2q+RPplAe4d8;Zw{ls?vwcdX)u9vJ3tMWcB~lH@x|p-we?i=dC94^$Tj*S<8rw`#CA;ZtcQhAni#YNjoZ$YWs^LlL}l2X|Evh0^yZCS_=9hvfipP{`q zkwhG5@b#@4V&yQ+c}WbKR{rTbHPRWl#@b4@)-9`!B^VKu-KOy0^aG|xM302%oZTCM zDI~OpotE`KC3072>7|-LMX;ZB!U({9vLkr@MSV(J;8(alq-Qkc3qy6#cqW3PzB6rw z_<7pK*@%RAyt}?-me?;;OI(-xkb_ZTT(D!IPtjylVAP8FyPYk~aAoTVucpzFQ=2!$ zj0Z1wGh$DAGImE?XHLNHpg$i3;U3o*F5Dl103t$p|8Ha=1fSKJ;e}annqviQ#0T~-@P|)EUsU_EW9Df2w4}!wPCq9N z*-Az0gMu-;08a#%!%zM9f7YJ}uqy(+%ALUuAu{F+Jj~!-#Pf3^wPZ(OjTL7A{qh#I zsjCLkZGI1<1DFu6xw#XW4jBR@_M4a;Pyb~}C?4`ELH~j+Fl5UC2XHCpq-`N&-yasX z)$*ES#GcYo#Av-d$mzfP2|r$eV>_Lr@wo2tK)j&_>Md>>&R>;cYe>p(cE%>ZI>4}B z(|s-Fw$l13#M1{?fLplQJsQl*jFC&DhyiAeU*P^6<(duXv!k`x@WW@ZFew$-avAW{ zjw^13zy8Ubk5AXXbPKs5+BK^lI zzXE)H@oWvBxqhY1o_(BsmAGLTn$=S}bj&Q!%0;wze}+R59y%ZtX#5;`GvqKKZ4R2m_0w4_Q1Q}p4cBwQB>9^U zV8Kr%g99i8zm_9@8C8*yXr0M+DHB(kxz+ZWlQizMWn{xnSwhZc9`XY^=*Awm)+S<4 zCzGxJ06nG)y6c$lVpq0ofS+#7PkoW!CmtYRuIQFD337i)8ca+TY4brk9zpt;9yhh2 z3B+>gx8!+E09H`oaxTl#spARj={8VG5}b?j z8LcNuLHcIiUa!bMpEp1(@HTP{EM+Vt6!G_FOC7H5e})rh1;7IMj$94ytM2Z5b|Win z2m+1`#;346xwc-llV(rzGbIp~W|01RTxulrginsGH)HdSg(}AI&6hQxN55+Lt5m&k zB_m|plM-A^PL}01oOu%h19JmXORZMpE;WtzoZ^W?lnqR39=4`7p`8JMI;q=@XR(*w z8bzIgD1-0%q-!@D)OeWVd_{oW$uJQIW$>psjBd%H28zW3p;0lS&607mKC@-mBWb6SYDN~g9H6t(A0SV0Ecd?O0eOt3Z4ZOooO zuCO7nM@Tc=$XQ}P0el6h+$&pW62n_8>Y%t95-+%X)MC!H$>#E z8rCb@o{FE_q--c#(H@OiGJ0dmDmuWkYPa5TAV-!kwi8aysk*S|ls(#eaz1{BHl2_k z7uPr8SED(eINvuDp)SObZ9i!&WLD$@4R`@BdS_An(%Kv;dC_n ziTgFQnah`+VGbT!-HqN~r`NU?$Jl`t+Cg<_KI;!gBe$b`{}V(A3u-Ow-5Ab;E!U`u z|LGwxz9e4>nqHLdKB`a*4tqQMBO*^{jLk;UBckQgwZTaGPxW>SJ~EW&2re zSv0IBWCMf!s`H!{$+hdaY8;5$Nh~oH*=7>bR4bC%JzHm~n1QzU9#xc{l&W8%I`wvl zd;0Th;39sW00!4Ee|qR@8TTcf%%wUax@Ya^%CUPp(ru&pu^7M#O4cA1*5)sQW?5x7{?tBUzCE>sDjQ zsi%oYBbqq|%L zd}>q*<%DA_!K-F+7~7DC=Gb5gF-q)c;2xrNs7}-cA}n{gQH>(fzQAymzjX!y57f}g zEZj|Q4BfMbeKR-y>`C;`C+k-qNAXrLthG2L_P++4Y~J~>@e7}Qi2uKdhX8r2EsVGk z0C)InFeAzH3*8VZ4;aP&;V1b2XCeH~evTL|HQN0dE14im)l;HaKyj^@UzoE{XSp+J zm@5{69e?|079|rC(*QaI7M*G@U>pYKP>PlcQZ;Eu1CNmUBOE5+o&@9zpWbEtEnjFQ z&;A2L!2aJbL=N6B8=LjHaU}H?H{x+V0EVFC2Z}+z-Om0m!1?n9_DAsn5>lR3Y{ia& z?^;}FgbBIJ3d|(Hs13>ah_!Fyw)U2RdN!V|F`tVG5d9ind<=kY!4S!!H|GXTE_{g8 zT%h?iw_Cw+vDw07??B*-wmA?&F&5ZYMD>}g2?q<0`^}x`wy?;=+ZoyMB*tR-JFGz; z*879Kj9Gb65@0Gwz9;eRvlN~L7HlZIz#?fH&?Hd!z!<`FeH`9fDGa^6j)Elk@`t2^2 zzis8y$wh@6OcYc6Dvpns-b8%uHZvoU5|VdrcNTzmx`UJNGPYr>iY*?*kAI@v=WX;d z(rkV3I1dox!jfZW_i6<+vICKO`JPwLpK0EU!lf<29j!P`eVAs=^#1TpxzgybG``Ak zt}R2@#3PKs_|%T%D3C>n(TzC`2w-6@A(bA|SWHflC)}=y!nA!`TARl z3(H?2N*~ibu`fUS`F7P*9=AK2D?)#`vFWpQ?hs*l-hwIFoG>ytPNz947hQ+};V)WQBrHITOjqL$D*`gqj6{`LiH@;(ETxCv}t=OKrrQ&=tTWu%*^N zQir^N@`&W|v7 zuTR;i@NWu?=Hx_yQ4MY*gYm6r+?mzRx@RplsVhqutZkMb;$MBDeMI|K1-baiclCOw z4#s?K!|2_;eX)~J2IMU5jm39zW081I<-ZOL1#~JKAjiN0HpqdDgWGfcm(jJ7Zu6m9qp-+fA^f#P4+q`&8RrmuD@F z65eHVO#i`Ui0!W@8H(13p7TZODg$A<#BHJaa(d{aDJ^)l6qrw{uuq@SGg}u7`@48t zuh!@p`KLcaOR=0F@0isK+fhL#V%-~VLU;wmMFS4JG)eug(pJoNP#fNW%>dbvH6o+f zJF$>6&#%ZBsCCqvnYsfWFCpvggfl1{Ww`XP<>$UNB)W)Qqq0*SUzE&Ruu2YK0^1Gq zQz{<<8?~dT8zX$;%#_O={hu&9&nK^dxbU)?^iY2>g+!r|({*mUd#I6}ztZNjko(o~ zey}l9L9=gJ)&f<#^zz~pa2Ce7LwP2M)(-kYMrqYWz>z~#gZ=epi{SlDkNSOBY)-Z{ z*rUHZA%pRIUXpuPhy!l`*0MPn`<#M1Nuot+{}g4y=D(uqW`OHy_g`!u^9~U7p#|jb za5}ML;NHhTv(9X?EHkj6hc2{j+`k(9?xSbPucFyFR}d+GE6yt1mlXaPtM@NWwbM#$ zhL@(AdLmSs{SBf(y4%-CUYb0|FX2@Ks~=o;4S-RTwoZyXiOC2Gi3q)bm-eZV@aA)E zWY%{qB=7cDn|XJoQ|If)UDqDD`wQxF6+8%zDYdUh&!__=I?;O?a58@uOs>r9swH{P74?+_GvQl1qmmomBF8j&;Z>^V^QAa7N^&s>k-Zi4jGc0&zZu zyA*5(`u4$BtE{<4i&RjT_SHF~&*T$LLSU%wiScc65>mhJkmMUU#k`*y`b@c!4M?Fz zTGLF)n=&}gNKIVrd=w1kH;^0gs>m4M45ScyZIJzWCd^Lx=la@AO0SHps$5Unsfv1w zety9`#X)qqaH8k}TWKlxfy6o&*v_1ZlhFfI!_l1icEHM&jvNirr@C9mUyW~Tcq0{- z)1vwxTusPFo5#p)vp@iRsg1zcDdxdR*M#|+oFenzHL>kDd#yJtg3 ztCm04Gh=tPD3~Ds##17zk_6g0KZggUyNyK_vHOq|da1hcYa(baINLKD41=;j zR54!QU+)fhU%$U7z!>W@Tu(hYI3ZgotGZ2VCy?w~M`cQ80u%EPHy)Q8^q(#nB{07a_roN(t1nNL zzt+`~qe9tN5O{_Fdw1X}<|K<9qWDu8ahKnnrn6=hIW>*YfEL=3m=7~N-%Ql`6Fmk|4kR%@`I6r-AvKmnoMm$ibx5J(lNaa6)(Mcf9wU%Xh2Y0%mn2AFwJH$0S2Yt zwVe_e?&hGw?;@gTjb3P@0=QapHYb>FwTR!eiXitmE?j+r`*Sns-}?$Umq6fy`T$sG zxFEaJVD7AwyK@V4CH5e!b`QxJ$9@6#DWo<3nAM#b%WhXa{ z?Y^xXvbo&bY8^to)D`Pqm2H&f5x)3`s{e#o3Fxk&*FHmMb#6j)zV`%!)${-!tg-w|5Qz1g?=&--M z(l{!FwkZ7v^6|1*x7w}^o_g*1)BkbS3HtCMqMBgDfqil%)!+x&sKxlR&=8Xz?x_Z&Q zk=}KRt;3)P@^r$NY}TyjE7@NWD+XMwAx9;v8{PRIPo}){=5-BU?U||1e&MDQNuEG| zO7%WdDYljJ@bBp76hzZCJv#%r3pO0dkN3S&c44k~lT$$=_-hd#cow!|Zx67D=3Da) z=5nAIa-7fH%KCid_iFYt1e*6@mY?sxb7vd1S_Chyygw8@Gp*S6~m*Uh#=)4r}YA{FxAWPxn2AUjH!zhu$Lt1$Ult zUGnZ+5nsCUmA-I4T>A_^MxXz3?<w9KX#;-s{&u&t7%DY0URAqjxxAYlJ|)0P&lq! z&)72ZePov_yzD!~S4z{pi82dad%!m=avHy*;Empuk}3gV^6JE{j@p1uZ;nVtcLWOV zw~_axLc!fwnxw|-XuTkY$O3OK^co1d2;#fpMwlk*zmhlAo0)#HO2kK9h0g7^Nxyay z!anDF!=^hSG9mWAnU_F3*}?K~eESxUmkI1&6(eJIGr^c%e0-MTx|o~w>d}X4dwZY^ zl^0=0`{PRcC&%CWJbLKR17P3f_cG#11Wmohkn)H4!9dzQ9CrV~4$=pkzJ^de?n&NECfMBjA3y;(K8(&W4a$J-&Nz;9@!=B|N=;XK0#=gWB^xrB61~l(uaAwmOqcB`Ot3X=?S&`wv1Oz87O#8C|!w7bX6?&IL_8u0dER;a^au9G3&9E zbUA8|3lQTc|FvlcMu+@XLmKex-HgBz|3tCjPt&piw>3pqD7+)FYE76(0w&h{-rxWI z&^QMry{C{Y86RQuRYq9zdBibI$XuD{xYYJ53d8aT`}0qLd;6cC0hld?Obtz|T26z9 z_E$`VF~w-TJ1G91M)8}xp3h?)V2pg1^)_uQ4H(1}oid!lbgXXZYZiJ%MwY?2^GHeD-$?c4n zCrbh*GQD^w1%O#mRVE|YhkBwPS&aG-S$?`08X1X^tHkCS2nW_pGLr&n7O*i~k^`VW z(F(x-|23|u1!$ex0AeqnzoIw5qlKQ(A^wptiE=#b_mmtK3UqDhEVX5jZBH#;Hc$Ic zx1`ks!F(%r7#N>@6@NTv&};fQXXD41c`rptoz_|K|2@fR>Axm9ZNVs2ay7DNW-U$b z&f-@tyf4)5e?Z1kEWVqaOJw-;gjO{~UA$Id)4H~y407^rE(C%m8S=`Ao}F3bS{jp0 zfT?mCK_S5DHQGJIB!m6<2e)zSE@X$c358`FGRKkqU@8MDwzyMPRXgnG>Ej!^B087#$B*^eI zgugDC0abmT-^$8cW|$_Fc0O~>{!^a2 zg2ZyvK(ef=?IK+yX#hvCX#zbUz{@KmJb-<_Q}Oo)2G;@SL31?1FY_);*6PHLvzJR_ z!M%omD&D6`6%mjHz{SbGLoC$Mj5g@vn<_zcfwsS?-DQH#{T=Q=xx-@kKf@adAEfSW zpn_50`~P?0;|Vz9DR#X)K2Sq4Q4oC{urx%t;>2SxUH#qlHKk)h&c@OYw^Zgzwse*2 z;7<|Y{v-j_=5MCW*SBt&?%)J9pFkSE|7vhq zA_Plx22sz){6!(Gq26fWm5(yRdr0Xtf_FzNC5s<0le4_jzGPRlqCV#rN3)U;kKuWFF{I!{!AU+zIKVjv~| z8aExVFV8=>vd~Xr&ew@U#dM(RdF#t z7K42`y>xXvRZUN3^ZBu?x{+*`8+Qe}2z}orcBc9N+B?&5sN1)Xhb%?b#+oHdvJ{gg zYsof+5M|FYGGVesD*KXs%TBf!iQ6&=S(>p9G76T60@W5Ii?n=6&;lF1(%x+6$>c8-(QPBEK3&~#Kjx}?h$Hv6jUeiy3_5NXx z7%BaRy3PlznfQam$?j&_v!`l#mIq6z3VGloY{V1g%m5)<&BuQTLje1WRZ1lTMU*?2 z#fi)8au0?kVj0-{lWR8W1y8o8;&bdaH8O}=p?W2O=#Gbhulpn~Xa62_`7Y2M9(b?g z_Z9KG%P`&ZEc`sA4rTP*5nYrfgJkuy@}_d}aG`4J;tTeEhfU*nOuu1;#o^7vmdpo! zJzH*y?2+8lK|DpXQ0SHhE#DFnepHR*Uli*%+-rk;H3KhWW+ zuI#zV=?QlS?iVpXNpIL!>(03Nh}D;_xREv>E^(a)RKN2+=Y~j6yK_rn)V$097$l*I zZeJd%2>0d+){Zyq%T>Aw!)QuIVm zTJ*VYLonH)q&!J=X}+L5I)bBOSz(GOsGC+uH7G zB27g;iaKWd49<<=YQ*BOS|7PnhC3HkIDTFsyyU$&OP7-do0~()+<^i8p&J&(|KbLE z$G+RrpC)y&QN5)>PN~tCnd?lIs)NyD$Q?VVek1dsiNpt&a{-OiV#3ojTE2&a5%-48 z+bkm6`stqmFcs4F{&a8^O+=tiU zyz7@3$(&vviEcp&Iq9cO!KRr4gxbGWmoO;}_8P9N^LN0T_690Jdu^e~Sg9A$Ue?^h zW^GX4w^B`3KwV!J^J!h@2VLQj5IwyoqcZdmW;X=f$&Edzq~DlOR1G_fXsn`S>(979 zGHEtDumi1PW(b-pl%ADqI4(@KLzNnw$st*1%uw>l>b)!lWCZJFOYnBEJy_mkmjp#W z`v|FKlc&LBqqwgiCuR=BZG5n26ghFR$_&u#6n9cCuy-|K8s8m7=KSjw$3vfR6}>%K<1NbRYjiu4 zf|xtaSnRv^HC8r1w$#Beh9u^bRGNwTD_4~wwC9B$d^{rv#3Wseg`*P=1Np<+%$|`k zvA24eI;w^?Z8)J#Tpdq$-IyW5q-a663rQzNXpfaP>2ink{t_=|A!Q3%YW8q6>Y0?RMn)ni;!&xpBsNBSXKqdd(b(TtRjIB9Ee8sWfITRGZ^ z2|FFhRs6*1$2+T>#PV+eleh@<>vaN}2g(uCyut-j(tnzG2)*w1)s|WRz-BleVJ488Q zyFmza_|4(?Dhgj^!WJZXd4UXxU5JM;`-Pysv-roaMmWBq`^isFnVL)&I&E|vur#3* zHW5BzRQai;TDawShzVtUv)H7|f~;SfCf(JTm!t$h&>*#L;?#R}t$_&w5sF{8HZUx+ zhb#fxyR~@s>A%s)K2L4rZrO(uju^)AC83j=$$J*L)-2I8wyln;2_UaOg8(|N1gX5Gi~x7I?COca^eF-(JBCkAuiM4+|&R z+JmO6PcjRs>sktr+gJ1{uqG>UKa!%14^6MCxMZfLiwh7HB12~n!&Z}52+B2On^zQG zdJYEQ+r8pF5lVlAPxS+`nfB$5LgmEXBnBwF<9e^s)hKWhf0=L9Dv`HfnD-@f2Z3t> z0goEcvF^b+^93VAAguyuMG218s=YIXy_0`Yzfto}W2N{QVtuGcoO3NFXliG#mA1&V zowfXjv7G6)x?iz-ug+@Y3Fr#zeoO^>xeS6&{Ki-tuy%uZLXcqpR7pI&2vOE$ihHl{ zR^O|WEO@yzVuOA>E`p-B=8B!$6ldUV{1Q7xGaZEd9e;&<>nk~7(vFu=n-`+GKW_Gg z4b&xlsg1hQ=UHY1#gvayx3yHa1n?hYx>7cO@%~MohmpIb4JoHaa$zP;k`xkbdtEmz z$pqqFB6Q4BQ)#axeF+vUC;eVEIF$+IQ`@%uR8>v^T`z{8pVXOi5ACa|uuRJsmPo(z z0;;~kcaC%iwghJsJR2(*S>-|ux`^hfZZ0X20hn3-sD8wsH{dyJbbJVVr_pfppXjym z+`psOW^BB^EQ_5IYdey_&p6q&8|O^MW(zFA-6|%aiy(l6mP3>uy9$bh8ribK-zEsL zelU2#{WyPNX8SkYj5gyRjnzD^0B;6mT*DQztRL%@N8kdo&~{NIr@E9|kx4Psg&_RmqqmLhz`px@2dZj{rAS=4K!L~A2iV;sSGS_PNvD0^H2j; zMcH|^I4vK7-f5cuo{lElA2nI}?0y0S83Lt!kz=K4#u+MLfE?xosr`-2an)H_xEg!O z0z!bg`s(C@@yAQusi1>$xF1g7*}<1S;Rd7nE2GVUwRY@E_1Mv$0Y!3o8<@CzJCIlz zIG;Q-rf&bn&F0OIM6Ax?8U`g`v^eO1+B|twp(%V)qladWB6w126!pv?U~D36&p)%> z-PWbRFGy(5N8{x`KV)tsu7j3%9mg-7Shq}tOMag)OTHq#Wg7(o6s++sy z{!~l9K4HwRH|M%+73-57r1>d)I7su$Oe4E_v*V7DNj-zXF%55iRj;#eq+|K05_-l! zT$FJqrQhy;lfy@?aA9rYc)m-OQwiI_=-F(ViLPg44uCfplUU~n9kg~sa_@eD3DqBp zo2Bv73s=64E~as4wVgfyPL{Kp`*5^IvzLo3J{5$Z(F?74@nlO=%4^+v$#jF^Y{Vnx z#N!>uq0jx6U$*Z*<34le&)Z2GJPq`amv~iTkGIBE79dXyf7vQWzP<5y_1KK@utAIg zi5&LJ+ZN*gL1TJausoH$GX!a8Mdym@Gh12CJ>KfpKMRdCV(-nT*enpoH{+JT9gVhbW;iC#Rb+n<`u8Ln*5rR2xrwRF*=vXb4a)8O%6*4Jqf zs(aCj;w^)-*waf>+;Hcw<$+u383#YWQ;#vOB)dIhV1BoE{$xT&;FMxa*;L1=(6Lre zG)JQ{5!8IwXEwcgFAxRYPvZyZ( zisgzFcn~*iuS09Qj4=9NahV98A7OMt^(CQG2xi)f^gF=FLyVdoSFJiZhW+PMyzL2wQ0sl<7eGiGhi|B0v*p~0i)&E+ ziIl$LM(H=$QxP1yj;Ke;&`nr$q6byd)b;7WZGjrT?X0q+pRU$cF=k;V;oQp{UMdZi zP_9kD)70=s)=sqDs;-_@u}|lHIA~YF@u01<6wb7s_zg zS`t4ZC3Amn5KtR=T})u|1E?^q-lo7QUS=cI7L3A6mN+;p3rP4_6du^bM^a|rgTDOA zoyuDh{f}OGKbOn@<7s!6aw1KdY$859vyY)V%D9>R-Qlr6dYcj%g;Vd4*q~Q6@j&eQ z_}d**NS<0Zq8}ZHS#S9QZR2nU{ec(61(dqMF2wGAU_-I;s(56^qYZ?|Momk{-x9-z zA4+dZUohVVwc?#2JD%&EQ*Fa-{S41wf>{9pkbD^M#ZzDgCwFG zUaaQtzTptN`Pbx0m&j-eb27YExM>O)=%Hw{rFz&ZMj%TsO7Hr zpjYwDX?YqkAQEkcVz9#wo_rkU-dF=%PSbCW_lVkmC=(-B+(KDWK6KhsVye34LZ(j5 zNKwMf-R)otTh!JeYh8dCrr1z zjZ|9$-qXwv@|4c*v>5JKOlGewe{D7%3$$@8qq zaylYF=(S91+PyU~g`BezcsR!3sg#u!aRp&NP)7mE%Yp41LZS?VMH`{&s&tZ-yodYc zkzyJ&gSGmDJQ(&AR# z?J=?Uvje*+dh>tv7}K+Pp4WIMQk&0dp2jYt^c=h8RqR8ZwwM^(-a*)_prAds^CRz|9?K$avje;^ zMv6CgXNVRa%QD?kIh#{oiRR+Ukf?s|mEO#O8^HVBhkkO96W3S1XJ#nT?^e6{U0-@_ zLM`+HS|r6~{J1@&k`Z=+H(vt`b3IJEuH0}$c{kGW$s`fWQ|JfSXRUJ<7r`liUp zeq8nTW_!8e)ckA;U*YI0NWZ^xG~!H1@m-bb#Il=iuiftLD5UJ4AoyCKnT4ZOtk1-1TKt6zAE{{fSFiN;cuZQttGOz}{#uIr#rGw9YLhG#`VFExc-3 z=C#IehyKiT3zts|yil+~^I>HSgZXFij$gOtm>zFhDOD8stZmxE#{>+@+X7Nn<%X5( zXy=UgBBpFID)v>QAq%NM=DGY9DDARH^TsljJ}SZBZg=qUF@!^FYn&bb>Pa%b!9KF}Q08DwbCl&e%h) ztbtTn;Z)(ff2YgMYmG#ZLEyU1?So4X2;MRy1=nCX7ybuGouquq4#|@9Z-gG{-vkC- z9|;eP17UbUlB5ryx`7zCGEgm&!UnAV?F=8&hmS3P>nOb4AY1Rbpf$sCJ;#4fp7Wx! zcwJn=F0+d;Wo~Je%P0@v*(CrK(69oI>#cLY3uMBxGs4cu#{E6-QtAidH7=vE^$+H> ze#?Q6l$cmpP)-k3R{`Y+%?^~qWo9q8y7L}FN literal 0 HcmV?d00001