From 39266b719a2a6d000a13ef830a48fcc8fae3d348 Mon Sep 17 00:00:00 2001 From: CyC2018 <1029579233@qq.com> Date: Sun, 8 Apr 2018 21:27:55 +0800 Subject: [PATCH] auto commit --- notes/Java 并发.md | 1434 +++++++++++++++++ notes/计算机网络.md | 12 +- pics/3646544a-cb57-451d-9e03-d3c4f5e4434a.png | Bin 0 -> 10240 bytes pics/47358f87-bc4c-496f-9a90-8d696de94cee.png | Bin 0 -> 22528 bytes pics/4e760981-a0c5-4dbf-9fbf-ce963e0629fb.png | Bin 0 -> 13312 bytes pics/536c6dfd-305a-4b95-b12c-28ca5e8aa043.png | Bin 0 -> 7168 bytes pics/68778c1b-15ab-4826-99c0-3b4fd38cb9e9.png | Bin 0 -> 14336 bytes pics/6c0f4afb-20ab-49fd-837d-8144f4e38bfd.png | Bin 0 -> 15360 bytes pics/ace830df-9919-48ca-91b5-60b193f593d2.png | Bin 0 -> 30720 bytes 9 files changed, 1441 insertions(+), 5 deletions(-) create mode 100644 notes/Java 并发.md create mode 100644 pics/3646544a-cb57-451d-9e03-d3c4f5e4434a.png create mode 100644 pics/47358f87-bc4c-496f-9a90-8d696de94cee.png create mode 100644 pics/4e760981-a0c5-4dbf-9fbf-ce963e0629fb.png create mode 100644 pics/536c6dfd-305a-4b95-b12c-28ca5e8aa043.png create mode 100644 pics/68778c1b-15ab-4826-99c0-3b4fd38cb9e9.png create mode 100644 pics/6c0f4afb-20ab-49fd-837d-8144f4e38bfd.png create mode 100644 pics/ace830df-9919-48ca-91b5-60b193f593d2.png diff --git a/notes/Java 并发.md b/notes/Java 并发.md new file mode 100644 index 00000000..89249b84 --- /dev/null +++ b/notes/Java 并发.md @@ -0,0 +1,1434 @@ + +* [一、线程状态转换](#一线程状态转换) + * [新建（New）](#新建new) + * [可运行（Runnable）](#可运行runnable) + * [阻塞（Blocking）](#阻塞blocking) + * [无限期等待（Waiting）](#无限期等待waiting) + * [限期等待（Timed Waiting）](#限期等待timed-waiting) + * [死亡（Terminated）](#死亡terminated) +* [二、使用线程](#二使用线程) + * [实现 Runnable 接口](#实现-runnable-接口) + * [实现 Callable 接口](#实现-callable-接口) + * [继承 Thread 类](#继承-thread-类) + * [实现接口 VS 继承 Thread](#实现接口-vs-继承-thread) +* [三、基础线程机制](#三基础线程机制) + * [Executor](#executor) + * [Daemon](#daemon) + * [sleep()](#sleep) + * [yield()](#yield) +* [四、中断](#四中断) + * [InterruptedException](#interruptedexception) + * [interrupted()](#interrupted) + * [Executor 的中断操作](#executor-的中断操作) +* [五、互斥同步](#五互斥同步) + * [synchronized](#synchronized) + * [ReentrantLock](#reentrantlock) + * [synchronized 和 ReentrantLock 比较](#synchronized-和-reentrantlock-比较) +* [六、线程之间的协作](#六线程之间的协作) + * [join()](#join) + * [wait() notify() notifyAll()](#wait-notify-notifyall) + * [await() signal() signalAll()](#await-signal-signalall) + * [BlockingQueue](#blockingqueue) +* [七、线程不安全示例](#七线程不安全示例) +* [八、Java 内存模型](#八java-内存模型) + * [主内存与工作内存](#主内存与工作内存) + * [内存间交互操作](#内存间交互操作) + * [内存模型三大特性](#内存模型三大特性) + * [先行发生原则](#先行发生原则) +* [九、线程安全](#九线程安全) + * [线程安全分类](#线程安全分类) + * [线程安全的实现方法](#线程安全的实现方法) +* [十、锁优化](#十锁优化) + * [自旋锁与自适应自旋](#自旋锁与自适应自旋) + * [锁消除](#锁消除) + * [锁粗化](#锁粗化) + * [轻量级锁](#轻量级锁) + * [偏向锁](#偏向锁) +* [九、多线程开发良好的实践](#九多线程开发良好的实践) +* [参考资料](#参考资料) + + + +# 一、线程状态转换 + +

+ +## 新建（New） + +创建后尚未启动。 + +## 可运行（Runnable） + +可能正在运行，也可能正在等待 CPU 时间片。 + +包含了操作系统线程状态中的 Running 和 Ready。 + +## 阻塞（Blocking） + +等待获取一个排它锁，如果其线程释放了锁就会结束此状态。 + +## 无限期等待（Waiting） + +等待其它线程显示地唤醒，否则不会被分配 CPU 时间片； + +| 进入方法 | 退出方法 | +| --- | --- | +| 没有设置 Timeout 参数的 Object.wait() 方法 | Object.notify() Object.notifyAll() | +| 没有设置 Timeout 参数的 Thread.join() 方法 | 被调用的线程执行完毕 | +| LockSupport.park() 方法 | - | + +## 限期等待（Timed Waiting） + +无需等待其它线程显示地唤醒，在一定时间之后会被系统自动唤醒。 + +| 进入方法 | 退出方法 | +| --- | --- | +| Thread.sleep() 方法 | 时间结束 | +| 设置了 Timeout 参数的 Object.wait() 方法 | 时间结束 / Object.notify() Object.notifyAll() | +| 设置了 Timeout 参数的 Thread.join() 方法 | 时间结束 / 被调用的线程执行完毕 | +| LockSupport.parkNanos() 方法 | - | +| LockSupport.parkUntil() 方法 | - | + +## 死亡（Terminated） + +可以是线程结束任务之后自己结束，或者产生了异常而结束。 + +# 二、使用线程 + +有三种使用线程的方法： + +1. 实现 Runnable 接口； +2. 实现 Callable 接口； +3. 继承 Thread 类。 + +实现 Runnable 和 Callable 接口的类只能当做一个可以在线程中运行的任务，不是真正意义上的线程，因此最后还需要通过 Thread 来调用。可以说任务是通过线程驱动从而执行的。 + +## 实现 Runnable 接口 + +需要实现 run() 方法。 + +通过 Thread 调用 start() 方法来启动线程。 + +```java +public class MyRunnable implements Runnable { + public void run() { + // ... + } +} +``` + +```java +public static void main(String[] args) { + MyRunnable instance = new MyRunnable(); + Thread thread = new Thread(instance); + thread.start(); +} +``` + +## 实现 Callable 接口 + +与 Runnable 相比，Callable 可以有返回值，返回值通过 FutureTask 进行封装。 + +```java +public class MyCallable implements Callable { + public Integer call() { + return 123; + } +} +``` + +```java +public static void main(String[] args) throws ExecutionException, InterruptedException { + MyCallable mc = new MyCallable(); + FutureTask ft = new FutureTask<>(mc); + Thread thread = new Thread(ft); + thread.start(); + System.out.println(ft.get()); +} +``` + +## 继承 Thread 类 + +同样也是需要实现 run() 方法，并且最后也是调用 start() 方法来启动线程。 + +```java +public class MyThread extends Thread { + public void run() { + // ... + } +} +``` + +```java +public static void main(String[] args) { + MyThread mt = new MyThread(); + mt.start(); +} +``` + +## 实现接口 VS 继承 Thread + +实现接口会更好一些，因为： + +1. Java 不支持多重继承，因此继承了 Thread 类就无法继承其它类，但是可以实现多个接口； +2. 类可能只要求可执行就行，继承整个 Thread 类开销会过大。 + +# 三、基础线程机制 + +## Executor + +Executor 管理多个异步任务的执行，而无需程序员显示地管理线程的生命周期。 + +主要有三种 Executor： + +1. CachedTreadPool：一个任务创建一个线程； +2. FixedThreadPool：所有任务只能使用固定大小的线程； +3. SingleThreadExecutor：相当于大小为 1 的 FixedThreadPool。 + +```java +public static void main(String[] args) { + ExecutorService executorService = Executors.newCachedThreadPool(); + for (int i = 0; i < 5; i++) { + executorService.execute(new MyRunnable()); + } + executorService.shutdown(); +} +``` + +## Daemon + +守护线程是程序运行时在后台提供服务的线程，不属于程序中不可或缺的部分。 + +当所有非守护线程结束时，程序也就终止，同时会杀死所有守护线程。 + +main() 属于非守护线程。 + +使用 setDaemon() 方法将一个线程设置为守护线程。 + +```java +public static void main(String[] args) { + Thread thread = new Thread(new MyRunnable()); + thread.setDaemon(true); +} +``` + +## sleep() + +Thread.sleep(millisec) 方法会休眠当前正在执行的线程，millisec 单位为毫秒。 + +sleep() 可能会抛出 InterruptedException，因为异常不能跨线程传播回 main() 中，因此必须在本地进行处理。线程中抛出的其它异常也同样需要在本地进行处理。 + +```java +public void run() { + try { + Thread.sleep(3000); + } catch (InterruptedException e) { + e.printStackTrace(); + } +} +``` + +## yield() + +对静态方法 Thread.yield() 的调用声明了当前线程已经完成了生命周期中最重要的部分，可以切换给其它线程来执行。该方法只是对线程调度器的一个建议，而且也只是建议具有相同优先级的其它线程可以运行。 + +```java +public void run() { + Thread.yield(); +} +``` + +# 四、中断 + +一个线程执行完毕之后会自动结束，如果在运行过程中发生异常也会提前结束。 + +## InterruptedException + +通过调用一个线程的 interrupt() 来中断该线程，如果该线程处于阻塞、限期等待或者无限期等待状态，那么就会抛出 InterruptedException，从而提前结束该线程。但是不能中断 I/O 阻塞和 synchronized 锁阻塞。 + +对于以下代码，在 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 + public void run() { + try { + Thread.sleep(2000); + System.out.println("Thread run"); + } catch (InterruptedException e) { + e.printStackTrace(); + } + } + } +} + +``` + +```html +Main run +java.lang.InterruptedException: sleep interrupted + at java.lang.Thread.sleep(Native Method) + at InterruptExample.lambda$main$0(InterruptExample.java:5) + at InterruptExample$$Lambda$1/713338599.run(Unknown Source) + at java.lang.Thread.run(Thread.java:745) +``` + +## interrupted() + +如果一个线程的 run() 方法执行一个无限循环，并且没有执行 sleep() 等会抛出 InterruptedException 的操作，那么调用线程的 interrupt() 方法就无法使线程提前结束。 + +但是调用 interrupt() 方法会设置线程的中断标记，此时调用 interrupted() 方法会返回 true。因此可以在循环体中使用 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 + public void run() { + while (!interrupted()) { + // .. + } + System.out.println("Thread end"); + } + } +} +``` + +```html +Thread end +``` + +## Executor 的中断操作 + +调用 Executor 的 shutdown() 方法会等待线程都执行完毕之后再关闭，但是如果调用的是 shutdownNow() 方法，则相当于调用每个线程的 interrupt() 方法。 + +以下使用 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"); + } +} +``` + +```html +Main run +java.lang.InterruptedException: sleep interrupted + at java.lang.Thread.sleep(Native Method) + at ExecutorInterruptExample.lambda$main$0(ExecutorInterruptExample.java:9) + at ExecutorInterruptExample$$Lambda$1/1160460865.run(Unknown Source) + at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) + at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) + at java.lang.Thread.run(Thread.java:745) +``` + +如果只想中断 Executor 中的一个线程，可以通过使用 submit() 方法来提交一个线程，它会返回一个 Future 对象，通过调用该对象的 cancel(true) 方法就可以中断线程。 + +```java +Future future = executorService.submit(() -> { + // .. +}); +future.cancel(true); +``` + +# 五、互斥同步 + +Java 提供了两种锁机制来控制多个线程对共享资源的互斥访问，第一个是 JVM 实现的 synchronized，而另一个是 JDK 实现的 ReentrantLock。 + +## synchronized + +**1. 同步一个代码块** + +```java +public void func () { + synchronized (this) { + // ... + } +} +``` + +它只作用于同一个对象，如果调用两个对象上的同步代码块，就不会进行同步。 + +对于以下代码，使用 ExecutorService 执行了两个线程（这两个线程使用 Lambda 创建），由于调用的是同一个对象的同步语句块，因此这两个线程就需要进行同步，当一个线程进入同步语句块时，另一个线程就必须等待。 + +```java +public class SynchronizedExample { + + public void func1() { + synchronized (this) { + for (int i = 0; i < 10; i++) { + System.out.print(i + " "); + } + } + } + + public static void main(String[] args) { + SynchronizedExample e1 = new SynchronizedExample(); + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> e1.func1()); + executorService.execute(() -> e1.func1()); + } +} +``` + +```html +0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 +``` + +对于以下代码，两个线程调用了不同对象的同步代码块，因此这两个线程就不需要同步。从输出结果可以看出，两个线程交叉执行。 + +```java +public static void main(String[] args) { + SynchronizedExample e1 = new SynchronizedExample(); + SynchronizedExample e2 = new SynchronizedExample(); + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> e1.func1()); + executorService.execute(() -> e2.func1()); +} +``` + +```html +0 0 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 9 9 +``` + + +**2. 同步一个方法** + +```java +public synchronized void func () { + // ... +} +``` + +它和同步代码块一样，只作用于同一个对象。 + +**3. 同步一个类** + +```java +public void func() { + synchronized (SynchronizedExample.class) { + // ... + } +} +``` + +作用于整个类，也就是说两个线程调用同一个类的不同对象上的这种同步语句，也需要进行同步。 + +```java +public class SynchronizedExample { + + public void func2() { + synchronized (SynchronizedExample.class) { + for (int i = 0; i < 10; i++) { + System.out.print(i + " "); + } + } + } + + 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()); + } +} +``` + +```html +0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 +``` + +**4. 同步一个静态方法** + +```java +public synchronized static void fun() { + // ... +} +``` + +作用于整个类。 + +## ReentrantLock + +```java +public class LockExample { + + private Lock lock = new ReentrantLock(); + + public void func() { + lock.lock(); + try { + for (int i = 0; i < 10; i++) { + System.out.print(i + " "); + } + } finally { + lock.unlock(); // 确保释放锁，从而避免发生死锁。 + } + } +} +``` + +```java +public static void main(String[] args) { + LockExample lockExample = new LockExample(); + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> lockExample.func()); + executorService.execute(() -> lockExample.func()); +} +``` + +```html +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，它多了一些高级功能： + +**1. 等待可中断** + +当持有锁的线程长期不释放锁的时候，正在等待的线程可以选择放弃等待，改为处理其他事情，可中断特性对处理执行时间非常长的同步块很有帮助。 + +**2. 可实现公平锁** + +公平锁是指多个线程在等待同一个锁时，必须按照申请锁的时间顺序来依次获得锁；而非公平锁则不保证这一点，在锁被释放时，任何一个等待锁的线程都有机会获得锁。synchronized 中的锁是非公平的，ReentrantLock 默认情况下也是非公平的，但可以通过带布尔值的构造函数要求使用公平锁。 + +**3. 锁绑定多个条件** + +一个 ReentrantLock 对象可以同时绑定多个 Condition 对象，而在 synchronized 中，锁对象的 wait() 和 notify() 或 notifyAll() 方法可以实现一个隐含的条件，如果要和多于一个的条件关联的时候，就不得不额外地添加一个锁，而 ReentrantLock 则无须这样做，只需要多次调用 newCondition() 方法即可。 + +## synchronized 和 ReentrantLock 比较 + +**1. 锁的实现** + +synchronized 是 JVM 实现的，而 ReentrantLock 是 JDK 实现的。 + +**2. 性能** + +从性能上来看，在新版本的 JDK 中对 synchronized 进行了很多优化，例如自旋锁等。目前来看它和 ReentrantLock 的性能基本持平了，因此性能因素不再是选择 ReentrantLock 的理由，而且 synchronized 有更大的优化空间，因此优先考虑 synchronized。 + +**3. 功能** + +ReentrantLock 多了一些高级功能。 + +**4. 使用选择** + +除非需要使用 ReentrantLock 的高级功能，否则优先使用 synchronized。这是因为 synchronized 是 JVM 实现的一种锁机制，JVM 原生地支持它，而 ReentrantLock 不是所有的 JDK 版本都支持。并且使用 synchronized 不用担心没有释放锁而导致死锁问题，因为 JVM 会确保锁的释放。 + +# 六、线程之间的协作 + +当多个线程可以一起工作去解决某个问题时，需要对它们进行协调，因为某些部分必须在其它部分之前完成。 + +## join() + +在线程中调用另一个线程的 join() 方法，会将当前线程挂起，而不是忙等待，直到目标线程结束。 + +对于以下代码，虽然 b 线程先启动，但是因为在 b 线程中调用了 a 线程的 join() 方法，因此 b 线程会等待 a 线程结束才继续执行，因此最后能够保证 a 线程的输出先与 b 线程的输出。 + +```java +public class JoinExample { + + private class A extends Thread { + @Override + public void run() { + System.out.println("A"); + } + } + + private class B extends Thread { + + private A a; + + B(A a) { + this.a = a; + } + + @Override + public void run() { + try { + a.join(); + } catch (InterruptedException e) { + e.printStackTrace(); + } + System.out.println("B"); + } + } + + public void test() { + A a = new A(); + B b = new B(a); + b.start(); + a.start(); + } + + public static void main(String[] args) { + JoinExample example = new JoinExample(); + example.test(); + } +} +``` + +``` +A +B +``` + +## wait() notify() notifyAll() + +调用 wait() 使得线程等待某个条件满足，线程在等待时会被挂起，当其他线程的运行使得这个条件满足时，其它线程会调用 notify() 或者 notifyAll() 来唤醒挂起的线程。 + +它们都属于 Object 的一部分，而不属于 Thread。 + +只能用在同步方法或者同步控制块中使用，否则会在运行时抛出 IllegalMonitorStateExeception。 + +使用 wait() 挂起期间，线程会释放锁。这是因为，如果没有释放锁，那么其它线程就无法进入对象的同步方法或者同步控制块中，那么就无法执行 notify() 或者 notifyAll() 来唤醒挂起的线程。 + +```java +public class WaitNotifyExample { + public synchronized void before() { + System.out.println("before"); + notifyAll(); + } + + public synchronized void after() { + try { + wait(); + } catch (InterruptedException e) { + e.printStackTrace(); + } + 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()); + } +} +``` + +```html +before +after +``` + +**wait() 和 sleep() 的区别** + +1. wait() 是 Object 类的方法，而 sleep() 是 Thread 的静态方法； +2. wait() 会释放锁，sleep() 不会。 + +## await() signal() signalAll() + +java.util.confurrent 类库中提供了 Condition 类来实现线程之间的协调，可以在 Condition 上调用 await() 方法时线程等待，其它线程调用 signal() 或 signalAll() 方法唤醒挂起的线程。 + +使用 Lock 来获取一个 Condition 对象。 + +```java +public class AwaitSignalExample { + private Lock lock = new ReentrantLock(); + private Condition condition = lock.newCondition(); + + public void before() { + lock.lock(); + try { + System.out.println("before"); + condition.signalAll(); + } finally { + lock.unlock(); + } + } + + public void after() { + lock.lock(); + try { + condition.await(); + System.out.println("after"); + } catch (InterruptedException e) { + e.printStackTrace(); + } finally { + lock.unlock(); + } + } + + public static void main(String[] args) { + ExecutorService executorService = Executors.newCachedThreadPool(); + AwaitSignalExample example = new AwaitSignalExample(); + executorService.execute(() -> example.after()); + executorService.execute(() -> example.before()); + } +} +``` + +## BlockingQueue + +java.util.concurrent.BlockingQueue 接口有以下阻塞队列的实现： + +- **FIFO 队列** ：LinkedBlockingQueue、ArrayListBlockingQueue（固定长度） +- **优先级队列** ：PriorityBlockingQueue + +提供了阻塞的 take() 和 put() 方法：如果队列为空 take() 将阻塞，直到队列中有内容；如果队列为满 put() 将阻塞，指到队列有空闲位置。 + +它们响应中断，当收到中断请求的时候会抛出 InterruptedException，从而提前结束阻塞状态。 + +是线程安全的。 + +**使用 BlockingQueue 实现生产者消费者问题** + +```java +// 生产者 +public class Producer implements Runnable { + private BlockingQueue queue; + + public Producer(BlockingQueue queue) { + this.queue = queue; + } + + @Override + public void run() { + System.out.println(Thread.currentThread().getName() + " is making product."); + String product = "Made By " + Thread.currentThread().getName(); + try { + queue.put(product); + } catch (InterruptedException e) { + e.printStackTrace(); + } + } +} +``` + +```java +// 消费者 +public class Consumer implements Runnable { + private BlockingQueue queue; + + public Consumer(BlockingQueue queue) { + this.queue = queue; + } + + @Override + public void run() { + try { + String product = queue.take(); + System.out.println(Thread.currentThread().getName() + " is consuming product." + "( " + product + " )"); + } catch (InterruptedException e) { + e.printStackTrace(); + } + } +} +``` + +```java +// 客户端 +public class Client { + public static void main(String[] args) { + BlockingQueue queue = new LinkedBlockingQueue<>(5); + for (int i = 0; i < 2; i++) { + new Thread(new Consumer(queue), "Consumer-" + i).start(); + } + for (int i = 0; i < 5; i++) { + // 只有两个 Product，因此只能消费两个，其它三个消费者被阻塞 + new Thread(new Producer(queue), "Producer-" + i).start(); + } + for (int i = 2; i < 5; i++) { + new Thread(new Consumer(queue), "Consumer-" + i).start(); + } + } +} +``` + +```html +// 运行结果 +Producer-0 is making product. +Consumer-0 is consuming product.( Made By Producer-0 ) +Producer-1 is making product. +Consumer-1 is consuming product.( Made By Producer-1 ) +Producer-2 is making product. +Producer-3 is making product. +Producer-4 is making product. +Consumer-2 is consuming product.( Made By Producer-2 ) +Consumer-3 is consuming product.( Made By Producer-3 ) +Consumer-4 is consuming product.( Made By Producer-4 ) +``` + +# 七、线程不安全示例 + +如果多个线程对同一个共享数据进行访问而不采取同步操作的话，那么操作的结果是不一致的。 + +以下代码演示了 1000 个线程同时对 cnt 执行自增操作，操作结束之后它的值为 997 而不是 1000。 + +```java +public class ThreadUnsafeExample { + + private int cnt = 0; + + public void add() { + cnt++; + } + + 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()); + } +} +``` + +```html +997 +``` + +# 八、Java 内存模型 + +Java 内存模型视图屏蔽各种硬件和操作系统的内存访问差异，以实现让 Java 程序在各种平台下都能达到一致的内存访问效果。 + +## 主内存与工作内存 + +处理器上的寄存器的读写的速度比内存快几个数量级，为了解决这种速度矛盾，在它们之间加入了高速缓存。 + +加入高速缓存带来了一个新的问题：缓存一致性。如果多个缓存共享同一块主内存区域，那么多个缓存的数据可能会不一致。CPU 使用一致性协议来解决一致性问题。 + +

+ +所有的变量都存储在主内存中，每个线程还有自己的工作内存，工作内存存储在高速缓存或者寄存器中，保存了该线程使用的变量的主内存副本拷贝。 + +线程只能直接操作工作内存中的变量，不同线程之间的变量值传递需要通过主内存来完成。 + +

+ +## 内存间交互操作 + +Java 内存模型定义了 8 个操作来完成主内存和工作内存的交互操作。 + +

+ +- read：把一个变量的值从主内存传输到工作内存中 +- load：在 read 之后执行，把 read 得到的值放入工作内存的变量副本中 +- use：把工作内存中一个变量的值传递给执行引擎 +- assign：把一个从执行引擎接收到的值赋给工作内存的变量 +- store：把工作内存的一个变量的值传送到主内存中 +- write：在 store 之后执行，把 store 得到的值放入主内存的变量中 +- lock：作用于主内存的变量 +- unlock + +## 内存模型三大特性 + +### 1. 原子性 + +Java 内存模型允许虚拟机将没有被 volatile 修饰的 64 位数据（long，double）的读写操作划分为两次 32 位的操作来进行，也就是说对这部分数据的操作可以不具备原子性。 + +有一个错误认识就是，int 等原子性的变量在多线程操作中不会出现线程安全问题。之前的线程不安全示例代码中，cnt 变量属于 int 类型变量，1000 个线程对它进行自增操作之后，得到的值为 997 而不是 1000。 + +为了方便讨论，将内存间的交互操作简化为 3 个：load、assign、store。 + +下图演示了两个线程同时对 cnt 变量进行操作，load、assign、store 这三个操作不具备原子性，那么在 T1 修改 cnt 并且还没有将修改后的值写入主内存，T2 依然可以读入该变量的值。可以看出，这两个线程之后过后，虽然执行了两次自增运算，但是主内存中 cnt 的值最后为 1 而不是 2。因此对 int 类型读写操作满足原子性只是说明 assign 这个操作具备原子性。 + +

+ +AtomicInteger 能保证多个线程修改的原子性。 + +

+ +使用 AtomicInteger 重写之前线程不安全的代码之后得到以下线程安全实现： + +```java +public class AtomicExample { + private AtomicInteger cnt = new AtomicInteger(); + + public void add() { + cnt.incrementAndGet(); + } + + 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()); + } +} + +``` + +```html +1000 +``` + +除了使用原子类之外，也可以使用 synchronized 互斥锁来保证操作的完整性，它对应的内存间交互操作为：lock 和 unlock，在虚拟机实现上对应的字节码指令为 monitorenter 和 monitorexit。 + +```java +public class AtomicSynchronizedExample { + private int cnt = 0; + + public synchronized void add() { + cnt++; + } + + 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()); + } +} +``` + +```html +1000 +``` + +### 2. 可见性 + +可见性指当一个线程修改了共享变量的值，其它线程能够立即得知这个修改。Java 内存模型是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值来实现可见性的。 + +volatile 可保证可见性。synchronized 也能够保证可见性，对一个变量执行 unlock 操作之前，必须把变量值同步回主内存。final 关键字也能保证可见性，：被 final 关键字修饰的字段在构造器中一旦初始化完成，并且没有发生 this 逃逸（其它线程可以通过 this 引用访问到初始化了一般的对象），那么其它线程就能看见 final 字段的值。 + +### 3. 有序性 + +有序性是指：在本线程内观察，所有操作都是有序的。在一个线程观察另一个线程，所有操作都是无序的，无序是因为发生了指令重排序。 + +在 Java 内存模型中，允许编译器和处理器对指令进行重排序，重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。 + +volatile 关键字通过添加内存屏障的方式来禁止指令重排，即重排序时不能把后面的指令放到内存屏障之前。 + +也可以通过 synchronized 来保证有序性，它保证每个时刻只有一个线程执行同步代码，相当于是让线程顺序执行同步代码。 + +## 先行发生原则 + +上面提到了可以用 volatile 和 synchronized 来保证有序性。除此之外，JVM 还规定了先行发生原则，让一个操作无需控制就能先于另一个操作完成。 + +主要有以下这些原则： + +### 1. 单一线程原则 + +> Single Thread rule + +在一个线程内，在程序前面的操作先行发生于后面的操作。 + +

+ +### 2. 管程锁定规则 + +> Monitor Lock Rule + +一个 unlock 操作先行发生于后面对同一个锁的 lock 操作。 + +

+ +### 3. volatile 变量规则 + +> Volatile Variable Rule + +对一个 volatile 变量的写操作先行发生于后面对这个变量的读操作。 + +

+ +### 4. 线程启动规则 + +> Thread Start Rule + +Thread 对象的 start() 方法先行发生于此线程的每一个动作。 + +

+ +### 5. 线程加入规则 + +> Thread Join Rule + +join() 方法返回先行发生于 Thread 对象的结束。 + +

+ +### 6. 线程中断规则 + +> Thread Interruption Rule + +对线程 interrupt() 方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过 Thread.interrupted() 方法检测到是否有中断发生。 + +### 7. 对象终结规则 + +> Finalizer Rule + +一个对象的初始化完成（构造函数执行结束）先行发生于它的 finalize() 方法的开始。 + +### 8. 传递性 + +> Transitivity + +如果操作 A 先行发生于操作 B，操作 B 先行发生于操作 C，那么操作 A 先行发生于操作 C。 + +# 九、线程安全 + +## 线程安全分类 + +线程安全不是一个非真即假的命题，可以将共享数据按照安全程度的强弱顺序分成以下五类：不可变、绝对线程安全、相对线程安全、线程兼容和线程对立。 + +### 1. 不可变 + +不可变（Immutable）的对象一定是线程安全的，无论是对象的方法实现还是方法的调用者，都不需要再采取任何的线程安全保障措施，只要一个不可变的对象被正确地构建出来，那其外部的可见状态永远也不会改变，永远也不会看到它在多个线程之中处于不一致的状态。 + +不可变的类型： + +- final 关键字修饰的基本数据类型； +- String +- 枚举类型 +- Number 部分子类，如 Long 和 Double 等数值包装类型，BigInteger 和 BigDecimal 等大数据类型。但同为 Number 的子类型的原子类 AtomicInteger 和 AtomicLong 则并非不可变的。 + +对于集合类型，可以使用 Collections.unmodifiableXXX() 方法来获取一个不可变的集合。 + +```java +public class ImmutableExample { + public static void main(String[] args) { + Map map = new HashMap<>(); + Map unmodifiableMap = Collections.unmodifiableMap(map); + unmodifiableMap.put("a", 1); + } +} +``` + +```html +Exception in thread "main" java.lang.UnsupportedOperationException + at java.util.Collections$UnmodifiableMap.put(Collections.java:1457) + at ImmutableExample.main(ImmutableExample.java:9) +``` + +Collections.unmodifiableXXX() 先对原始的集合进行拷贝，需要对集合进行修改的方法都直接抛出异常。 + +```java +public V put(K key, V value) { + throw new UnsupportedOperationException(); +} +``` + +多线程环境下，应当尽量使对象称为不可变，来满足线程安全。 + +### 2. 绝对线程安全 + +不管运行时环境如何，调用者都不需要任何额外的同步措施。 + +### 3. 相对线程安全 + +相对的线程安全需要保证对这个对象单独的操作是线程安全的，在调用的时候不需要做额外的保障措施，但是对于一些特定顺序的连续调用，就可能需要在调用端使用额外的同步手段来保证调用的正确性。 + +在 Java 语言中，大部分的线程安全类都属于这种类型，例如 Vector、HashTable、Collections 的 synchronizedCollection() 方法包装的集合等。 + +对于下面的代码，如果删除元素的线程删除了一个元素，而获取元素的线程试图访问一个已经被删除的元素，那么就会抛出 ArrayIndexOutOfBoundsException。 + +```java +public class VectorUnsafeExample { + private static Vector vector = new Vector<>(); + + public static void main(String[] args) { + while (true) { + for (int i = 0; i < 100; i++) { + vector.add(i); + } + ExecutorService executorService = Executors.newCachedThreadPool(); + executorService.execute(() -> { + for (int i = 0; i < vector.size(); i++) { + vector.remove(i); + } + }); + executorService.execute(() -> { + for (int i = 0; i < vector.size(); i++) { + vector.get(i); + } + }); + executorService.shutdown(); + } + } +} +``` + +```html +Exception in thread "Thread-159738" java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 3 + at java.util.Vector.remove(Vector.java:831) + at VectorUnsafeExample.lambda$main$0(VectorUnsafeExample.java:14) + at VectorUnsafeExample$$Lambda$1/713338599.run(Unknown Source) + at java.lang.Thread.run(Thread.java:745) +``` + + +如果要保证上面的代码能正确执行下去，就需要对删除元素和获取元素的代码进行同步。 + +```java +executorService.execute(() -> { + synchronized (vector) { + for (int i = 0; i < vector.size(); i++) { + vector.remove(i); + } + } +}); +executorService.execute(() -> { + synchronized (vector) { + for (int i = 0; i < vector.size(); i++) { + vector.get(i); + } + } +}); +``` + +### 4. 线程兼容 + +线程兼容是指对象本身并不是线程安全的，但是可以通过在调用端正确地使用同步手段来保证对象在并发环境中可以安全地使用，我们平常说一个类不是线程安全的，绝大多数时候指的是这一种情况。Java API 中大部分的类都是属于线程兼容的，如与前面的 Vector 和 HashTable 相对应的集合类 ArrayList 和 HashMap 等。 + +### 5. 线程对立 + +线程对立是指无论调用端是否采取了同步措施，都无法在多线程环境中并发使用的代码。由于 Java 语言天生就具备多线程特性，线程对立这种排斥多线程的代码是很少出现的，而且通常都是有害的，应当尽量避免。 + +## 线程安全的实现方法 + +### 1. 互斥同步 + +synchronized 和 ReentrantLock。 + +### 2. 非阻塞同步 + +互斥同步最主要的问题就是进行线程阻塞和唤醒所带来的性能问题，因此这种同步也称为阻塞同步（Blocking Synchronization）。 + +从处理问题的方式上说，互斥同步属于一种悲观的并发策略，总是认为只要不去做正确的同步措施（例如加锁），那就肯定会出现问题，无论共享数据是否真的会出现竞争，它都要进行加锁（这里讨论的是概念模型，实际上虚拟机会优化掉很大一部分不必要的加锁）、用户态核心态转换、维护锁计数器和检查是否有被阻塞的线程需要唤醒等操作。随着硬件指令集的发展，我们有了另外一个选择：基于冲突检测的乐观并发策略，通俗地说，就是先进行操作，如果没有其他线程争用共享数据，那操作就成功了；如果共享数据有争用，产生了冲突，那就再采取其他的补偿措施（最常见的补偿措施就是不断地重试，直到成功为止），这种乐观的并发策略的许多实现都不需要把线程挂起，因此这种同步操作称为非阻塞同步（Non-Blocking Synchronization）。 + +乐观锁需要操作和冲突检测这两个步骤具备原子性，这里就不能再使用互斥同步来保证了，只能靠硬件来完成。硬件支持的原子性操作最典型的是：比较并交换（Compare-and-Swap，CAS）。 + +CAS 指令需要有 3 个操作数，分别是内存位置（在 Java 中可以简单理解为变量的内存地址，用 V 表示）、旧的预期值（用 A 表示）和新值（用 B 表示）。CAS 指令执行时，当且仅当 V 符合旧预期值 A 时，处理器用新值 B 更新 V 的值，否则它就不执行更新。但是无论是否更新了 V 的值，都会返回 V 的旧值，上述的处理过程是一个原子操作。 + +J.U.C 包里面的整数原子类 AtomicInteger，其中的 compareAndSet() 和 getAndIncrement() 等方法都使用了 Unsafe 类的 CAS 操作。 + +在下面的代码 1 中，使用了 AtomicInteger 执行了自增的操作。代码 2 是 incrementAndGet() 的源码，它调用了 unsafe 的 getAndAddInt() 。代码 3 是 getAndAddInt() 源码，var1 指示内存位置，var2 指示新值，var4 指示操作需要加的数值，这里为 1。在代码 3 的实现中，通过 getIntVolatile(var1, var2) 得到旧的预期值。通过调用 compareAndSwapInt() 来进行 CAS 比较，如果 var2=var5，那么就更新内存地址为 var1 的变量为 var5+var4。可以看到代码 3 是在一个循环中进行，发生冲突的做法是不断的进行重试。 + +```java +// 代码 1 +private AtomicInteger cnt = new AtomicInteger(); + +public void add() { + cnt.incrementAndGet(); +} +``` + +```java +// 代码 2 +public final int incrementAndGet() { + return unsafe.getAndAddInt(this, valueOffset, 1) + 1; +} +``` + +```java +// 代码 3 +public final int getAndAddInt(Object var1, long var2, int var4) { + int var5; + do { + var5 = this.getIntVolatile(var1, var2); + } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4)); + + return var5; +} +``` + +ABA ：如果一个变量 V 初次读取的时候是 A 值，它的值被改成了 B，后来又被改回为 A，那 CAS 操作就会误认为它从来没有被改变过。J.U.C 包提供了一个带有标记的原子引用类“AtomicStampedReference”来解决这个问题，它可以通过控制变量值的版本来保证 CAS 的正确性。大部分情况下 ABA 问题不会影响程序并发的正确性，如果需要解决 ABA 问题，改用传统的互斥同步可能会比原子类更高效。 + +### 3. 无同步方案 + +要保证线程安全，并不是一定就要进行同步，两者没有因果关系。同步只是保证共享数据争用时的正确性的手段，如果一个方法本来就不涉及共享数据，那它自然就无须任何同步措施去保证正确性，因此会有一些代码天生就是线程安全的。 + +**（一）可重入代码（Reentrant Code）** + +这种代码也叫做纯代码（Pure Code），可以在代码执行的任何时刻中断它，转而去执行另外一段代码（包括递归调用它本身），而在控制权返回后，原来的程序不会出现任何错误。相对线程安全来说，可重入性是更基本的特性，它可以保证线程安全，即所有的可重入的代码都是线程安全的，但是并非所有的线程安全的代码都是可重入的。 + +可重入代码有一些共同的特征，例如不依赖存储在堆上的数据和公用的系统资源、用到的状态量都由参数中传入、不调用非可重入的方法等。我们可以通过一个简单的原则来判断代码是否具备可重入性：如果一个方法，它的返回结果是可以预测的，只要输入了相同的数据，就都能返回相同的结果，那它就满足可重入性的要求，当然也就是线程安全的。 + +**（二）栈封闭** + +多个线程方法同一个方法的局部变量时，不会出现线程安全问题，因为局部变量存储在栈中，属于线程私有的。 + +```java +import java.util.concurrent.ExecutorService; +import java.util.concurrent.Executors; + +public class StackClosedExample { + public void add100() { + int cnt = 0; + for (int i = 0; i < 100; i++) { + cnt++; + } + 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(); + } +} +``` + +```html +100 +100 +``` + +**（三）线程本地存储（Thread Local Storage）** + +如果一段代码中所需要的数据必须与其他代码共享，那就看看这些共享数据的代码是否能保证在同一个线程中执行。如果能保证，我们就可以把共享数据的可见范围限制在同一个线程之内，这样，无须同步也能保证线程之间不出现数据争用的问题。 + +符合这种特点的应用并不少见，大部分使用消费队列的架构模式（如“生产者-消费者”模式）都会将产品的消费过程尽量在一个线程中消费完，其中最重要的一个应用实例就是经典 Web 交互模型中的“一个请求对应一个服务器线程”（Thread-per-Request）的处理方式，这种处理方式的广泛应用使得很多 Web 服务端应用都可以使用线程本地存储来解决线程安全问题。 + +可以使用 java.lang.ThreadLocal 类来实现线程本地存储功能。 + +对于以下代码，thread1 中设置 threadLocal 为 1，而 thread2 设置 threadLocal 为 2。过了一段时间之后，thread1 读取 threadLocal 依然是 1，不受 thread2 的影响。 + +```java +public class ThreadLocalExample { + public static void main(String[] args) { + ThreadLocal threadLocal = new ThreadLocal(); + Thread thread1 = new Thread(() -> { + threadLocal.set(1); + try { + Thread.sleep(1000); + } catch (InterruptedException e) { + e.printStackTrace(); + } + System.out.println(threadLocal.get()); + threadLocal.remove(); + }); + Thread thread2 = new Thread(() -> { + threadLocal.set(2); + threadLocal.remove(); + }); + thread1.start(); + thread2.start(); + } +} +``` + +```html +1 +``` + +为了理解 ThreadLocal，先看以下代码： + +```java +public class ThreadLocalExample1 { + public static void main(String[] args) { + ThreadLocal threadLocal1 = new ThreadLocal(); + ThreadLocal threadLocal2 = new ThreadLocal(); + Thread thread1 = new Thread(() -> { + threadLocal1.set(1); + threadLocal2.set(1); + }); + Thread thread2 = new Thread(() -> { + threadLocal1.set(2); + threadLocal2.set(2); + }); + thread1.start(); + thread2.start(); + } +} +``` + +它所对应的底层结构图为： + +

+ +每个 Thread 都有一个 TreadLocal.ThreadLocalMap 对象，Thread 类中就定义了 ThreadLocal.ThreadLocalMap 成员。 + +```java +/* ThreadLocal values pertaining to this thread. This map is maintained + * by the ThreadLocal class. */ +ThreadLocal.ThreadLocalMap threadLocals = null; +``` + +当调用一个 ThreadLocal 的 set(T value) 方法时，先得到当前线程的 ThreadLocalMap 对象，然后将 ThreadLocal->value 键值对插入到该 Map 中。 + +```java +public void set(T value) { + Thread t = Thread.currentThread(); + ThreadLocalMap map = getMap(t); + if (map != null) + map.set(this, value); + else + createMap(t, value); +} +``` + +get() 方法类似。 + +```java +public T get() { + Thread t = Thread.currentThread(); + ThreadLocalMap map = getMap(t); + if (map != null) { + ThreadLocalMap.Entry e = map.getEntry(this); + if (e != null) { + @SuppressWarnings("unchecked") + T result = (T)e.value; + return result; + } + } + return setInitialValue(); +} +``` + +ThreadLocal 从理论上讲并不是用来解决多线程并发问题的，因为根本不存在多线程竞争。在一些场景 (尤其是使用线程池) 下，由于 ThreadLocal.ThreadLocalMap 的底层数据结构导致 ThreadLocal 有内存泄漏的情况，尽可能在每次使用 ThreadLocal 后手动调用 remove()，以避免出现 ThreadLocal 经典的内存泄漏甚至是造成自身业务混乱的风险。 + +# 十、锁优化 + +高效并发是从 JDK 1.5 到 JDK 1.6 的一个重要改进，HotSpot 虚拟机开发团队在这个版本上花费了大量的精力去实现各种锁优化技术，如适应性自旋（Adaptive Spinning）、锁消除（Lock Elimination）、锁粗化（Lock Coarsening）、轻量级锁（Lightweight Locking）和偏向锁（Biased Locking）等。这些技术都是为了在线程之间更高效地共享数据，以及解决竞争问题，从而提高程序的执行效率。 + +## 自旋锁与自适应自旋 + +前面我们讨论互斥同步的时候，提到了互斥同步对性能最大的影响是阻塞的实现，挂起线程和恢复线程的操作都需要转入内核态完成，这些操作给系统的并发性能带来了很大的压力。同时，虚拟机的开发团队也注意到在许多应用上，共享数据的锁定状态只会持续很短的一段时间，为了这段时间去挂起和恢复线程并不值得。如果物理机器有一个以上的处理器，能让两个或以上的线程同时并行执行，我们就可以让后面请求锁的那个线程 “稍等一下”，但不放弃处理器的执行时间，看看持有锁的线程是否很快就会释放锁。为了让线程等待，我们只需让线程执行一个忙循环（自旋），这项技术就是所谓的自旋锁。 + +自旋等待本身虽然避免了线程切换的开销，但它是要占用处理器时间的，因此，如果锁被占用的时间很短，自旋等待的效果就会非常好。反之，如果锁被占用的时候很长，那么自旋的线程只会白白消耗处理器资源，而不会做任何有用的工作，反而会带来性能上的浪费。因此，自旋等待的时间必须要有一定的限度，如果自旋超过了限定的次数仍然没有成功获得锁，就应当使用传统的方式去挂起线程了。自旋次数的默认值是 10 次，用户可以使用参数 -XX:PreBlockSpin 来更改。 + +在 JDK 1.6 中引入了自适应的自旋锁。自适应意味着自旋的时间不再固定了，而是由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定。如果在同一个锁对象上，自旋等待刚刚成功获得过锁，并且持有锁的线程正在运行中，那么虚拟机就会认为这次自旋也很有可能再次成功，进而它将允许自旋等待持续相对更长的时间，比如 100 个循环。另外，如果对于某个锁，自旋很少成功获得过，那在以后要获取这个锁时将可能省略掉自旋过程，以避免浪费处理器资源。有了自适应自旋，随着程序运行和性能监控信息的不断完善，虚拟机对程序锁的状况预测就会越来越准确，虚拟机就会变得越来越“聪明”了。 + +## 锁消除 + +锁消除是指虚拟机即时编译器在运行时，对一些代码上要求同步，但是被检测到不可能存在共享数据竞争的锁进行消除。锁消除的主要判定依据来源于逃逸分析的数据支持，如果判定在一段代码中，堆上的所有数据都不会逃逸出去从而被其他线程访问到，那就可以把他们当做栈上数据对待，认为它们是线程私有的，同步加锁自然就无须进行。 + +也许读者会有疑问，变量是否逃逸，对于虚拟机来说需要使用数据流分析来确定，但是程序自己应该是很清楚的，怎么会在明知道不存在数据争用的情况下要求同步呢？答案是有许多同步措施并不是程序员自己加入的。同步的代码在 Java 程序中的普遍程度也许超过了大部分读者的想象。下面段非常简单的代码仅仅是输出 3 个字符串相加的结果，无论是源码字面上还是程序语义上都没有同步。 + +```java +public static String concatString(String s1, String s2, String s3) { + return s1 + s2 + s3; +} +``` + +我们也知道，由于 String 是一个不可变的类，对字符串的连接操作总是通过生成新的 String 对象来进行的，因此 Javac 编译器会对 String 连接做自动优化。在 JDK 1.5 之前，会转化为 StringBuffer 对象的连续 append() 操作，在 JDK 1.5 及以后的版本中，会转化为 StringBuilder 对象的连续 append() 操作，即上面的代码可能会变成下面的样子： + +```java +public static String concatString(String s1, String s2, String s3) { + StringBuffer sb = new StringBuffer(); + sb.append(s1); + sb.append(s2); + sb.append(s3); + return sb.toString(); +} +``` +每个 StringBuffer.append() 方法中都有一个同步块，锁就是 sb 对象。虚拟机观察变量 sb，很快就会发现它的动态作用域被限制在 concatString() 方法内部。也就是说，sb 的所有引用永远不会 “逃逸” 到 concatString() 方法之外，其他线程无法访问到它。因此，虽然这里有锁，但是可以被安全地消除掉，在即时编译之后，这段代码就会忽略掉所有的同步而直接执行了。 + +## 锁粗化 + +原则上，我们在编写代码的时候，总是推荐将同步块的作用范围限制得尽量小：只在共享数据的实际作用域中才进行同步。这样是为了使得需要同步的操作数量尽可能变小，如果存在锁竞争，那等待锁的线程也能尽快拿到锁。 + +大部分情况下，上面的原则都是正确的，但是如果一系列的连续操作都对同一个对象反复加锁和解锁，甚至加锁操作是出现在循环体中，那即使没有线程竞争，频繁地进行互斥同步操作也会导致不必要的性能损耗。 + +上一节的示例代码中连续的 append() 方法就属于这类情况。如果虚拟机探测到由这样的一串零碎的操作都对同一个对象加锁，将会把加锁同步的范围扩展（粗化）到整个操作序列的外部。对于上一节的示例代码就是扩展到第一个 append() 操作之前直至最后一个 append() 操作之后，这样只需要加锁一次就可以了。 + +## 轻量级锁 + +轻量级锁是 JDK 1.6 之中加入的新型锁机制，它名字中的“轻量级”是相对于使用操作系统互斥量来实现的传统锁而言的，因此传统的锁机制就称为“重量级”锁。首先需要强调一点的是，轻量级锁并不是用来代替重要级锁的，它的本意是在没有多线程竞争的前提下，减少传统的重量级锁使用操作系统互斥量产生的性能消耗。 + +要理解轻量级锁，以及后面会讲到的偏向锁的原理和运作过程，必须从 HotSpot 虚拟机的对象（对象头部分）的内存布局开始介绍。HotSpot 虚拟机的对象头（Object Header）分为两部分信息，第一部分用于存储对象自身的运行时数据，如哈希码（HashCode）、GC 分代年龄（Generational GC Age）等，这部分数据是长度在 32 位和 64 位的虚拟机中分别为 32 bit 和 64 bit，官方称它为“Mark Word”，它是实现轻量级锁和偏向锁的关键。另外一部分用于存储指向方法区对象类型数据的指针，如果是数组对象的话，还会有一个额外的部分用于存储数组长度。 + +简单地介绍了对象的内存布局后，我们把话题返回到轻量级锁的执行过程上。在代码进入同步块的时候，如果此同步对象没有被锁定（锁标志位为 “01” 状态）虚拟机首先将在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，用于存储锁对象目前的 Mark Word 的拷贝（官方把这份拷贝加上了一个 Displaced 前缀，即 Displaced Mark Word）。然后，虚拟机将使用 CAS 操作尝试将对象的 Mark Word 更新为指向 Lock Record 的指针。如果这个更新动作成功了，那么这个线程就拥有了该对象的锁，并且对象 Mark Word 的锁标志位（Mark Word 的最后 2bit）将转变为 “00”，即表示此对象处于轻量级锁定状态。 + +

+ +如果这个更新操作失败了，虚拟机首先会检查对象的 Mark Word 是否指向当前线程的栈帧，如果是的话只说明当前线程已经拥有了这个对象的锁，那就可以直接进入同步块继续执行，否则说明这个锁对象已经被其他线程线程抢占了。如果有两条以上的线程争用同一个锁，那轻量级锁就不再有效，要膨胀为重量级锁，所标志的状态变为“10”，Mark Word 中存储的就是指向重量级锁（互斥量）的指针，后面等待锁的线程也要进入阻塞状态。 + +上面描述的是轻量级锁的加锁过程，它的解锁过程也是通过 CAS 操作来进行的，如果对象的 Mark Word 仍然指向着线程的锁记录，那就用 CAS 操作把对象当前的 Mark Word 和线程中复制的 Displaced Mark Word 替换回来，如果替换成功，整个同步过程就完成了。如果替换失败，说明有其他线程尝试过获取该锁，那就要释放锁的同时，唤醒被挂起的线程。 + +轻量级锁能提升程序同步性能的依据是“对于绝大部分的锁，在整个同步周期内都是不存在竞争的”，这是一个经验数据。如果没有竞争，轻量级锁使用 CAS 操作避免了使用互斥量的开销，但如果存在锁竞争，除了互斥量的开销外，还额外发生了 CAS 操作，因此在有竞争的情况下，轻量级锁会比传统的重量级锁更慢。 + +## 偏向锁 + +偏向锁也是 JDK 1.6 中引入的一项锁优化，它的目的是消除数据在无竞争情况下的同步原语，进一步提高程序的运行性能。如果说轻量级锁是在无竞争的情况下使用 CAS 操作去消除同步使用的互斥量，那偏向锁就是在无竞争的情况下把整个同步都消除掉，连 CAS 操作都不做了。 + +偏向锁的“偏”，就是偏心的“偏”、偏袒的“偏”，它的意思是这个锁会偏向于第一个获得它的线程，如果在接下来的执行过程中，该锁没有被其他的线程获取，则持有偏向锁的线程将永远不需要再进行同步。 + +假设当前虚拟机启用了偏向锁（启用参数 -XX:+UseBiasedLocking，这是 JDK 1.6 的默认值），那么，当锁对象第一次被线程获取的时候，虚拟机将会把对象头中的标志位设为“01”，即偏向模式。同时使用 CAS 操作把获取到这个锁的线程 ID 记录在对象的 Mark Word 之中，如果 CAS 操作成功，持有偏向锁的线程以后每次进入这个锁相关的同步块时，虚拟机都可以不再进行如何同步操作（例如 Locking、Unlocking 及对 Mark Word 的 Update 等）。 + +当有另外一个线程去尝试获取这个锁时，偏向模式就宣告结束。根据锁对象目前是否处于被锁定的状态，撤销偏向（Revoke Bias）后恢复到未锁定（标志位为“01”）或轻量级锁定（标志位为“00”）的状态，后续的同步操作就如上面介绍的轻量级锁那样执行。偏向锁、轻量级锁的状态转换及对象 Mark Word 的关系如图 13-5 所示。 + +

+ +偏向锁可以提高带有同步但无竞争的程序性能。它同样是一个带有效益权衡（Trade Off）性质的优化，也就是说，它并不一定总是对程序运行有利，如果程序中大多数的锁总是被多个不同的线程访问，那偏向模式就是多余的。在具体问题具体分析的前提下，有时候使用参数 -XX:-UseBiasedLocking 来禁止偏向锁优化反而可以提升性能。 + +# 九、多线程开发良好的实践 + +1. 给线程起个有意义的名字，这样可以方便找 Bug； + +2. 因为锁花费的代价很高，应该尽可能减小同步范围； + +3. 多用同步类少用 wait 和 notify。首先，CountDownLatch, Semaphore, CyclicBarrier 和 Exchanger 这些同步类简化了编码操作，而用 wait 和 notify 很难实现对复杂控制流的控制。其次，这些类是由最好的企业编写和维护在后续的 JDK 中它们还会不断优化和完善，使用这些更高等级的同步工具你的程序可以不费吹灰之力获得优化。 + +4. 多用并发集合少用同步集合。并发集合比同步集合的可扩展性更好，例如应该使用 ConcurrentHashMap 而不是 Hashttable。 + +# 参考资料 + +- BruceEckel. Java 编程思想: 第 4 版 [M]. 机械工业出版社, 2007. +- 周志明. 深入理解 Java 虚拟机 [M]. 机械工业出版社, 2011. +- [Threads and Locks](https://docs.oracle.com/javase/specs/jvms/se6/html/Threads.doc.html) +- [线程通信](http://ifeve.com/thread-signaling/#missed_signal) +- [Java 线程面试题 Top 50](http://www.importnew.com/12773.html) +- [BlockingQueue](http://tutorials.jenkov.com/java-util-concurrent/blockingqueue.html) +- [thread state java](https://stackoverflow.com/questions/11265289/thread-state-java) +- [CSC 456 Spring 2012/ch7 MN](http://wiki.expertiza.ncsu.edu/index.php/CSC_456_Spring_2012/ch7_MN) +- [Java - Understanding Happens-before relationship](https://www.logicbig.com/tutorials/core-java-tutorial/java-multi-threading/happens-before.html) +- [6장 Thread Synchronization](https://www.slideshare.net/novathinker/6-thread-synchronization) +- [How is Java's ThreadLocal implemented under the hood?](https://stackoverflow.com/questions/1202444/how-is-javas-threadlocal-implemented-under-the-hood/15653015) diff --git a/notes/计算机网络.md b/notes/计算机网络.md index 8f71be19..56623655 100644 --- a/notes/计算机网络.md +++ b/notes/计算机网络.md @@ -29,6 +29,7 @@ * [路由选择协议](#路由选择协议) * [网际控制报文协议 ICMP](#网际控制报文协议-icmp) * [分组网间探测 PING](#分组网间探测-ping) + * [Traceroute](#traceroute) * [虚拟专用网 VPN](#虚拟专用网-vpn) * [网络地址转换 NAT](#网络地址转换-nat) * [五、运输层*](#五运输层) @@ -533,13 +534,14 @@ PING 是 ICMP 的一个重要应用，主要用来测试两台主机之间的连 Ping 发送的 IP 数据报封装的是无法交付的 UDP 用户数据报。 -Ping 的过程： +## Traceroute -1. 源主机向目的主机发送一连串的 IP 数据报。第一个数据报 P1 的生存时间 TTL 设置为 1，但 P1 到达路径上的第一个路由器 R1 时，R1 收下它并把 TTL 减 1，此时 TTL 等于 0，R1 就把 P1 丢弃，并向源主机发送一个 ICMP 时间超过差错报告报文； -2. 源主机接着发送第二个数据报 P2，并把 TTL 设置为 2。P2 先到达 R1，R1 收下后把 TTL 减 1 再转发给 R2，R2 收下后也把 TTL 减 1，由于此时 TTL 等于 0，R2 就丢弃 P2，并向源主机发送一个 ICMP 时间超过差错报文。 -3. 不断执行这样的步骤，直到最后一个数据报刚刚到达目的主机，主机不转发数据报，也不把 TTL 值减 1。但是因为数据报封装的是无法交付的 UDP，因此目的主机要向源主机发送 ICMP 终点不可达差错报告报文。 -4. 之后源主机知道了到达目的主机所经过的路由器 IP 地址以及到达每个路由器的往返时间。 +Traceroute 是 ICMP 的另一个应用，用来跟踪一个分组从源点到终点的路径。 +1. 源主机向目的主机发送一连串的 IP 数据报。第一个数据报 P1 的生存时间 TTL 设置为 1，但 P1 到达路径上的第一个路由器 R1 时，R1 收下它并把 TTL 减 1，此时 TTL 等于 0，R1 就把 P1 丢弃，并向源主机发送一个 ICMP 时间超过差错报告报文； +2. 源主机接着发送第二个数据报 P2，并把 TTL 设置为 2。P2 先到达 R1，R1 收下后把 TTL 减 1 再转发给 R2，R2 收下后也把 TTL 减 1，由于此时 TTL 等于 0，R2 就丢弃 P2，并向源主机发送一个 ICMP 时间超过差错报文。 +3. 不断执行这样的步骤，直到最后一个数据报刚刚到达目的主机，主机不转发数据报，也不把 TTL 值减 1。但是因为数据报封装的是无法交付的 UDP，因此目的主机要向源主机发送 ICMP 终点不可达差错报告报文。 +4. 之后源主机知道了到达目的主机所经过的路由器 IP 地址以及到达每个路由器的往返时间。 ## 虚拟专用网 VPN diff --git a/pics/3646544a-cb57-451d-9e03-d3c4f5e4434a.png b/pics/3646544a-cb57-451d-9e03-d3c4f5e4434a.png new file mode 100644 index 0000000000000000000000000000000000000000..76d45e1984bed4306942dc542a190fa64370e48c GIT binary patch literal 10240 zcmeHNe_Yb%zPHt?GjFTTF}0<+hTHmO%vw1$WwnX6wtlU%G88s6T?d8v3p7NwR?CDm z>ZYctP0Q6vothFLa5h6U6z4pFiojBk41pBoD}I6R{bJg>ud{Q{{o~%fcF*+>UeD|K z`FWnt=lywqK0M#&%)UM0OI~>C1s4~WCA%WtJ>cRpAK~IM@7CglaEtWY^apS;FXce^ zPM2z_*DzdJ5WnMt9WE}ld9Joko`>sy_$(qa#l_{tX6J97m~=hX#pTtoUGMHVn2t3l z`QL8bT~zphMl!s(BxT-`x>#?DSJ&-VA8znm_Q%wUZ3~vn-(1AHAMX`;!r%9uh?v`f zlpjl(*St5Zr^JQD$vThJj)CQ484t7v!!)@2H%e+%M^4uZ`SW18Z@b_ZIE%&q@`Z09 z9asu|<;x2UqC3=3nmLW73Ev2~Y0%6CA3CnsYUuVdU+Xc6JvQ~;(ib5u-FCV|9)7;_ zu<=#AFADGL>A$nC0DsaqUexND&HDK6;x=r~^7EHhAYxudpIDCYrLIFqB!9$Ye&P8C zH1piZHP1C|k^Y+(&Q1KktemDs6l6!L1T=8iuyj>QhOJq#S1sV%2TV|tznJBQ@Y(@{ zt-j{Da=!l`nVuO-pvM%oN?`9Gsk4YJIDD5~rxw@;6i8JT*tsg@{cE0|yoNIhCbN(> zM^SaVBS>2HbSf?ot-=+1uH5PW!~23hT5S}CT9!(0e`Wv@?XX!C!gY+1t0M9O(c&%E zd$^z4L%H4vw;2!)VuULRO&kAeF2{J>@-fqa)B3@vEIZU)mM_LEe7hc6|6*VIb>gOT z#n6rK&x*$PqG)9v2*g@+p{PKJbUaR8VrbZM3LpD#cO%}wYqmDomwX)gH+S`OSa<%- zFkjSX{ZX`D97n@H<-bw~d)sRo;R$aOfj z{tCA2W?*NyN3{QDrgMEQINEVGb+F4biT-sq#40 z`c@9he;MNYY?l17#9etz5zJ6otP1mpUo~FyXXmI5DvxiL_409>FFsxDmh0c97Fjxx zTs1B4i?bpVIGI;__T%g77qDgVw2}e>r{PWx>yv2_N)J7GXRPn6di0YqEX>B#Xm=$= z&rU_oi)9? z{dbmY?UlA$$Wj%qTU&a)5bGb8Bwmw0(bb<&5XD=%5K&)wV-9 zwZ+cF#~SEUVn|@cUT7y-&AbWS)cz-^5WIqRbP64)^It|fMu_%HS!n;dM%x=^kZuze zn*!UK@=XqEDEK_~D@O9IMjXUYdnRshpVOpo9sJw>6EzOG(tMrAd z>Em~B$EY84$pfN0RcRY_#6;kJ4(r}p|73lVM)&DIAARu&Fxpllc9WF18(R?3*bnpd z;7D3Jgwj<3q#{gc=n?+|E7zd&RZ~%kXT!Nol^f+iul})vF2$JCZ?ZEpug-v{RetC1 zJ8wJjCXi~k9_0u+v8MqjMRgpiLelkF$vo{~2w+hvhAwg1_#AB(Rb1Gj z;Anefwk@y{Zi-sRIfsez+=fneBf&Wyp2o(6s!~X5eq!mR;-;-YHWl1E*ljKNFT?{w z`Jll&<|UFYKL%sYTR&}&p+DoVmMD%3ycE=?tum>as>)65K=RoTUk5bu102`cxm43j zeTkOUq_YiXpp*?y-EA_^O;&!Q&&sl){Ja9V6)EnshOa{IIeO4rD}ymHCdqwGV%$ZvU`6;7A-atHW3!yfxwHP^V!dI(n9+Ndz?nrQ?;rK z0V2gdffjh>!xzew^kcnb5*VLbuiYX}6cbB8mc3vw&x;z^NV(P4X%ya0;IZxeQA-&n zpF_?ffEaPlhs=XmLjZ!^LZt0k-AfO2wAL2HP{l>I5yx&xBUOP)x$IXKNDLbsa`wdXz?+gb4_)hkZI^JC8~3k@c!<$ zZvRI^eFCMkyE{shR3%o54gF(Jv|A5)NVav8sS5QfVFP`oqFAjEc=N8!&}=faFwJxr z18c7|BrDi5;(*5mOGC;6jTQ2PO_XRLx1j+_9_bxq$H01fqBMi8q7!H_u7mkmcu2+sgh0tse=ZT!Wv#?I;%V| zZ9%3dM@R?nD6{k#yv}5JV*xNK;5s>w9Uur`k6#*WjA7@}NsuLpXP24DW!lVOGRdJb z!*xTlQI-yNlCzFCZB-NNFVhb?DIQFb)c)#VA}NzZ9G(V*H>7eH2FYNR&JZfGl1EfF zz7DP{wEa~uC=9mobb>$`7YJoPu_O8nYq;en)xO4-f*8yuK&^-;326ONwxU0o1d)k^ zVm`+*I%fUp7?A+_nG8HHTy7$#pH3>{TP;b!YGR6nZ&z@t5-mf0Vu@}yU?GStjTouv zEb6A`4W=8STWGeZLD^(-f<)_}f+HR5JcX59j4>M2(!|920C^}j6c^Nym?+fpX$6Cl zTE7C&WT+2NhZ1#)L?VYx4`w%XsG`7hYv!;j%h01DORW6Sc(-Zd+42(!9Z_w6xKptn zy}rU8cT&^08h9FZz2w6f;cC|!XFNzwpejA)0_I%0@VicyD#WcdSrZ$^j`mM6eXhX{ zv>E}8qM+uXc!pQkScYoqvd`Dk>{fUvn->EGokRPWKd+t6aN(}DFFe=4 zvOaU0PI2Kb&D+d#u&lRUnA^txBW<)+z*i#0B(*Bb3JMe2wWCNOq*bsUr_|MUg_>_aN>J=wKLfkusxUU2-3gg%B>4Ogv}4S|6Z*;5q2Yio%VDJ} zJ;2CnLjZK!3*>?oGhl9Qa965`CG;aruTeK~yKAXl^;j^o#O|TE=0tsL6^JK=3y{P~ zNAcxt2SRIRrzJ#xm(SRdbmXr?qQT=l%aDMt9D6NVI8hYsmyHoFR9ko436ULFl!UQE z#L}8xxfs`^I$dp+mP1)ghpQ%2Nz3I!&4*D=Uu$hJG8k5dk#V-bvzHd)b8yD5G<|lT zApO98qDHcc$mi5}aLBwzTEz|RbL_M~L4susV0CAG(k)YU4W0k+equhOOIBM+`l(vY zs59mHyu6w#Eexa7$p?54=ixU_4~^6ddYD^HqDc5kXo7DpX8FzDc{IS+I`;=^kGyH| zxWtbU<^?cx_bl6k8TY5W3=<>KxGjz@(c?3~pfayix9c0xScR?+iW>jW>E*YSkj-SX zW(|aXM;QT<0FlAEM+Ru?_aDGX4)y!Y@=Ue8r<`X)e@bF;GAk_lvf@#bz^5Wmr!D@T zyRUtZE(3}q#C$E_Jv44gmdn``+eJ!sJyag-m+9)mkuoOi8CegMPi3azQgQt$Q+^U# z-_*KU^BW3~+@q|XRP5r)V(`9yk$D`KT9apOEeBiEEVxuu91VAGB5NcHEMsIjNsk5V z-N?WY1+v^(dW-_K45KXI^WAI*W_SQzZ*SK8$)D5ENNzXY+M6;$-vo<;301~La*>UD z#67en-m@gfvFP2Ei|AMQ8{^EQo3`nCgJsGv3NTePN@YCwQl6o=rvnUkC3g8{>yJVn zjM^vbU|W

XO|0<0U04X6W)*l;2Aif*Ilu8Sj^1==BzwP2AHGaH`;WqJH}!MRc{+ z0_&w+B6^rCy{YFix4Ke$+1Tb3c}9PEa5P1I%J#KSVdxE~#e09GjUFGl3y3OqUY%v< zy2efKO?(xM44RfeOmmR`VmS^uFa+NfD z4bmi6oF~pe1ERcP!DRMqJd;;@RPACI#rDzyX^c)jq8~(JP4CF9{pFxRjv}>(m|#M2SKEDB zp1`v@4Hwl8yGTOQ-B!EYeEF#^jL?r6k#0r5Mkj^;oK6;bC?(HjQFyN#8YYd;xWcxW z4r-DN9EhcvY;m!>XTGu|8~9P#z@`@nE#tR+I zYTx5(TOXAwfot&649eGVU(hONHFPtPcWQN=#bx??lj=c zxweU=TkO+X~N+9Nl8!)nJd0Bl1%~gnB)t!457JsXJRGlJ^uq4r#yS75?Bb>zZc+r3%g=Y z#`=gNj*fe-=?$N|^#51;Sye7V#Uc0?y$G$ZkPMf*x b3fuE;_0Eq^{Ek0)&iViE>Ydep&;S1e+?R`C literal 0 HcmV?d00001 diff --git a/pics/47358f87-bc4c-496f-9a90-8d696de94cee.png b/pics/47358f87-bc4c-496f-9a90-8d696de94cee.png new file mode 100644 index 0000000000000000000000000000000000000000..83d5935956b1d0bdd4782a5e8b90f023bca39aa0 GIT binary patch literal 22528 zcmd_S2UJtryDz#zs4AccA|-$uyCNIuJvLC0qNoT6s7P-jO?qsgNVS2~08#`4(mSXq zphz#F2So`GAk@$Txii5M-EPnS-gn*|?~Lad4AHEtHP@`)_bcCB9W8bCHT-KJ2x32W z^zbPNf+HaamdeTu{>OoE`xf{M=5$K^Ae2!rI1K*5XmLRE00d=)tR-J$0{>>aa#Y_5 zf;cLvKd@?t)XNa0r+4h|fz#KF$6|Z~&$N{l99ws6o5ZB>rGw3(n>TK3z7-L%nd?xW zn)N5MfTVLHw>M>pJuC>+dm3YWeEC38Udvw(jm5d`p3P|O()HN2NnL%{RBch-x!i<@ z2KP)SS(;Dn8W9UG*tA?eEpH)gUjIZ|691u7wY`tvet$1~i6zvz0&8#A{Us#zLSZTl9xDGK;e?eXNf9Vpx^URH}Gu=#I-M;KjuDO}-)$O(S zg@I{}pSJH}%jQrhRQ0L=Qe2S2vgtI#PWN2-zNuDkQqSa}bI81WMjcm6U2;LiGCMpJ zVyM}{xZYz2?4c5)PS!S5_HAg5Is>an+*bz1h&g!NEi6wlyPUMjbgW zB(!h~I!OHR7pl0pI3Y7zv`zxNx(oqQa2<`%j8SN-3VcUWl~Aatil2PS2ICH9T#r=Q zf@)N3;XvovV7qSf8e2LIez+U_G^8FQVY$}|3GsCAgRcF3k z_i^0PdgQ@@rb4N5DUlx?ZNU$7{`7{egw$nYH{Mg^3Vu$ZE+deqOq(L4WP&7iv7#?U z9f8D*id(m9$J+XHAOeEtH-Z~A&r8)mr5iDeW>{-Wi)pyAht-*hc`hW+OkP!L)^->e z+Lm?bmK5#oKt4&^_UHPpgCCv@S@Oj(9JTb~PpL|G+`&ZGClA)4HKSxYnRw4%h>~>( z4t_W(hPnlAWc|SrOr7prhN1pfH)X7vw;JZ#>N`K>$1$Yd0QayVA45X7MPZDg+N>fo z^-mcr7pA_rE_?~^z7A(e5M7?%j67)C79mZN+ky(P#%)ov0{bbW5uQz)UZf3pev zsAUhouZ4w$^HvqQxyk1S#VC8Wn>WPTiHV81j^(v~ri1=G4`D<^_?LaOK`f?v^T!2kDw62OpaFSn2wfN3Y}lHjM;PdoK?3 z8gQ2cdFi#FpTN7jPY-tHTD6SMPYyJN#ZM}uZVkpSSQHiFxd{@XrM<<)kOIy^HZP>pSed_PR6?eXRo9D|`*y(kwAsJ@{TAJ-kSX7cXsPpYF z!J4%6xNqE_0Tq9FY&iOUPiC&DdhlWO*U0I%QfW%lj~7q&t{b-+?tYr*d@f`F&!{sH zyd6av?KBl8_p^+Rmk@)4Z`~YxUPRz;z31kJIu8598nb2ZZFNKS8Se%AP{r6q1ZiBy z2zI)>_Or)$7{=G$vBMUMQF3q2C>d8MnXD2R>vh8g1^e9|#4HdLhCHMgzAux=$524G z8hpqTw-oE$4;OxcF)UD1e|^XaE8Uov>hHx8dhqf~Qd+ zQ;!byer$4A_F9Ot-HwX&nmSf8nq4~@tT=ur_*PKH%?$qxjk5K~k4GWc=Zy@hRs?o* zWO#kvY#_Ptdc%UVzxU;SB4!aKM1&3&C(6bIp1aW~>SK)qbY{H&p|Iidslx3HmZ^<=pRNs;CS6Diw2&jLE7|;o zL&xh13#*F>BSt{&!MAwpa-^_ z>78_wDUWcQn;kc@p4BSdr$WaLdgPl~uZT>_3ZA*^v`plE|7qVzN!ZqFoa>3O*NdxX zTx+f-V}J% zT-89D<^opX&Ats%L@y4UqA3m>R)?rd%3f8_}`EeWV6m8A5V$?Bn z8hmk87EfOCU{+DDb6>-cyrF%4ZNF~+OoUADyStL81V!m2{MeH5tCqRtg*Ysu&al== zjr6>;%IbM};+K84NZLg2Gcf(dYU($x_;N z1$=Y^&Bme=<9KQf`haPwa)VC8nLsEFt!-PpIFgPjD3Ddyzkko!=c!#%X7N=z;*n8< zg%@7k7&>aoEsr{n&8O_s;ug0Hh`v~_$JekpqKGuJA^vs7Fjo=D6D*``t($xz>&U%L zN7U8Suqqn-@)d(g3s$jp-#27*GT69xs|tAG)v6nWoqBdDP<+q_@O<-ymV3QJ_8f=q zo=HF3xh?$sB}KRKz~FTupAy5MyHRTOnetZlkpq?=IYJ2*94uulNB#JaJcD&n7A?t| z>4X;E>GjA+|G`A}w?7WHNSOs_xBH5+3LN9(we8{VzOFAqhO-0Qhu#*$Phb3HI}eAN z&r9v7!|<_+U>leX1Nay$*YDBG$i2I9M_0M`5;!+zh!K1FhRI8FMDe;q(|0%0g#}eS z$WK2XG9VCJJ!3RvV67dV=4pue4Q=n3b;fFkm{naToE|1vbl{F*pTdtiySjFDWSQCx zR0TDKy&5vO{O$@KTPVFEW|)6i{nO3w^I|B*kvUY(lk~hUR=GP_JI+2uD<&ZL?0^$w z^#PodN%EHa9Q%6_Xg{#Yy#6}~;$qU(k-x*HoSR5H`7k$$7H0BXkaCssu=g7d!aFVq`9 zb^+U-LPro-Qb9|jqMly&}bjyfQbgPd7FC?`+NYnJh zn$`I1(tj1>Z9wvD5;wNhGje&9m!EGggyg?jl_0T=9h~zy>qHz!J0zkMT+(=9PaQ3l ztiI1|5CKWSk3KglY2Q~maWG2KLd$upx3hiF0n=k}>VpwT9t8yj5UOrTpWgUww`VPr z9D}%wjEtJ}I>QDxgSd~N0o`6hH$*wC=tdD#fEetd7+u`E6?NYq+6^*;{O<<`YuN+n zxDa>}7qXMCQCc9K0JqhE%+}J~l@0wFjLHAVn{F+D-Fmy}{*kDGFWrNt*Fg&OZH;{1 zj{+&2*J?&||MT)(U;3iS9ZqVBC!$81WFj0|bEK}?5ZCS;0#?64Z>7!EXFP}0xI^`# zs?9>m^vF_7+)|)&)~Lx?rwiqz2YEQ$I3O0rf18>e-q}D~@tb*w6%LtmGaZ?F-nBw2 zcmX@Sg+qSIcxkWCoG`^c)3(!ghp>A`Usp+Wz2JPC`)pZoMfR8Kr0U_xMdju4SoMY! z{Ov_rntACKZTawj#DtsV9}+0H;jAlv6??AujSr>Qg)~@Sopvzge z%Zc?!@P-nr!#g`MNc6F&SX?~rd96N()KgGy<)A`Jl{Ak$(~yqGx;v}H@b=Jup>k5S zIwagUwte}Td{Q{3C}G`T{}nwRqG1MxQE4^ z%b2R9Nvr7iL$qsHX*2TlHIK0ZyM|BV9dRW>SF8NRt*I%Bz<$Q{5QGe*&F@!~l`l`n zmYR9Tux`B{*KwG%U6ZyCQawyf<58Pw3DKIU77&1&#yxRp$Skks<144;Cz0xwbREFG z&)0p$-E-(c+zVdfQikNdsf4ObkS=UF@S`<45#)tVi!r>Us(BeF`6VBZyY6(OmsF+> z-GJ>>(o&&#ne099AWpgRKyv$3+F&AUGx;FuM-QQ2%oCba9~$pF`%qCe&)PULZcyKu zzP0|6zKai(J*G8DpS%U4Cv~``RqJ%8#pqx9_A5`yy#H9)*jYvLm~_46&PZDP&C5eK zRv={<#)AyK*exiqj#ignsvLPLLvggmtzAKO`5fjSA8#%#cFP=F zdHomOT)20{W4QPW{Qv~KGL0+iH13=-#jE}1cgFQW_-Xn{{3WM}xG*zpZ zS!S*p=U!Hp=N95*8Z!HgkU~f$JlR1v4DZDoyeu%v1tU@Qn#wZC8HpJdv2=aBGp=;` z{hs^*zmRT4Woyt<)j<1hpMq96cx|>WqbT~p{Rd;EWWZ*uSn{zHt%?5RB^?= zKTF=l$i>?w#+z>UL3>RuVN|nH#)~V9+^es(&bGOb=tq6($edTlS(201Br_JBX%UvYTJ|ehy#efAT^3NywOfSXR=iM|h{MZv=sxY!>gYdcu;J9DHl7+efjL8dZ z{>qyoiE8K8S**f5^FP7Isqhx@vdbZTGgkOy!Im=w^y~!KUw(~dK8vgSv|g-OsKUkw zTs@(Ox!GO`Cip+Ptzy(*#$9nGhjP`vM#3nM!+_1>%ikhC=+#(Y^|qvERM%MF-<4ja{BXZtr2 z0(n9Pye8BK1Gq6GBV#Ci^r+`LY81O46^u|c*G@^c#?q8~BmoraqKk~Je z&40!;k5OCe`Y)K~DmXfIZw}|#;IlFr(rLIvQux;D_FXnqcyTK{H6^8bU)fA^TL0uW z)b1ghpp&MW)R;b*2MLhDd_GC@4v_7Ret06;)U;oPDYS83N-IcjK#PkOw^huyIK*a^ z73_7jFK^<^Q!z++PF+e5*8Cgx3BXOBZmECAK56jaXI_8d`Ria~HLMSkU5sy6Cp?s< zju{s$*K6Tw33;k^?B#WMQ<#s}I+1t)sPcP)knF9@Fw~W8b}tB_*e+w=vl+n`mTKhr z5HT(JrtK&2$pXu#2v29cyj69Cb59vz!M;mxj};tz*DJf zgVSHe3+q!t>aJ&(T})~}MtHQ1+RZtzTN=Rp zj?6l4ZUsTYs(k)z{idD$j7F3CX>mV4n9L&*=cB!Ck;xJy%j?e98G zr}KqZE;>JToDxQc7<$%jwi!$F!d=98W3wnr%-+Sl8GJ3)h>SRPyrr-B#ep?wPhuH% zU-|r{?krPv=cgT(v5}dByrTwwV$A<3l{%=L@4S^Zsa&Kd@T z{&7^_hylx$Y0&6z{L!nk6HK%@v2@Mc$Q*Iu`5uJ z?HWok5XTsvU60gUitKG^E;wd0{6eU@fel?{C-r*-R_exoiol-uBLYiHBtnJBBvoI_ z25&-CeUQxJvvv)_V;)AG7A~Y?_fg23=!whW^y-J_yAaxkj$X4IFJ>;@G<%;2ow~E` z+Vk<1+()LViFScTIV+Q}5KLbAxwNaPib@KZ{^Gt564}u^;=G#om5lB$836WC9~&ktJ0Tx8{vu=@dHKLe zo}k1Li9?6$(0KmAEWUFNP+neMr@zX~7SF*a773ys6Kv2n@iwP8i#X7yuALT2M-NlV zJm8j%z3BLHh<%~Ccxrl`Z^o#g9W;!C*OeALzcb`9RJ;m8hYF7tejFgRmzVw21MM4; zYXV`fxR`2Q_FqxSxP*P*++aU8qT1eB(3I};yz1n1N$_-G?4A%e)OZEOC+hEu2aS9~ zwsJd*IcqxGsr^*}J6&{B*T;5N<6|T%I{u)=oq?q3$2XqskNx;ua`e(eMdaj5goxlV zhMk^$9t&pO3!PChQMNONn5cH~wXEo5M4d)|0*>zrZ_Tot{ORb2A$tBNFnM@BufFVs zwIZ(&XrCKJ@Y8GV+ay%)R!Jjv?L29T2Cn7TC-jT<;PB&n&QfmXJJK%K#Ah7FP88!4DU|*w-)2 z&93tbj-2NH8^svMz+02@a#+Hy_`yaC=!l#3@rLfXvKuMHrD@enHgt1L!sD|x7>{6U z8bx5&4MC0-;ZuXyRycG_KTmV$ zyp3Q;y^2r4Y(Ja8x?8#7CA3?)oZ_vDF*>Q#W)(d&Mrrut=f$ETgwsbvp^^r;! z_U8NzV8_!131jzO+BEJ=R83u|-?;Si1LaU7fe%hW?EHtu-2FT<$SgWc-j`Yci(^+- zRt8useGnbACGT1*?dQ=1I4Y*Kn+~h!5c0C+yx1lHR zv#!5-VQE)phE7K9HwzFm$lVFR6Wv5M(7388XPTW3?Zqx>meN zwPq%+_Rl4Rt(S9yLGUGQHw8OAMfUV!HdvlNzVl3JUafNeNcAqi04J8z*QBxTv4ng3 zvRw#jK2Ao)3`d=sqNNJVx1i3e3fS&4XGQP+Mnrlq`B69@uPoo+CK}^QSy`rWk+jqH zp;*P(e7v$7NS*|2KKL6{;8yUQi9DJBoGOzHhPeDWh4c4h6uy4Emv4pL)tyzO?f`ho zCy^+~dQ@4mje~q==y<0tMBl66)CUm#V{sGva1);*gxnPoh31e<*wfW0=(8f~%GMTE5y!noL4I8{{*HE)(a8zj$0jWy3gXU-KnKhum=>f}Hua3d!7pg<6-J#b=m4vxz8cH30U z_gKUTSbqpNP{&wAQhNn}*h9m^SsLPHxx3}O){1yzB&?qwJ3wW@;YV#dUc9Ob60qpb zx7*`Q)PSs%_`|EhH?2;r$*zss6Kq$QvSyB5@&4LGFhW|12o|w8AMQnYHB3=`+ z+ROi-Dp_JX8x>Dx70I%}?gP8>jl6;a&kaZ#hL-g8y-Oz^Xn|Z=pq^cNPy>_LE~!c5 z+2N_Le?;)@9{|YScup!A#LxkDXJK2v<`=Ux`N9r6TFjn3&_Cii$~ot7#XeQS#2S$o z3sQu5HxM{q0_lV6$J@MJ(eh3SqQi+!HtYB`45%S$EtJ;S)U?6-5xahD92KYBsYu#a zR%c8ZK8yFGABRZT)~_0jF{%cm9Z*?(tGnE_&$>>dnI%3Sdvr|8TNSL8Td10i6N;#V zx9GrYvr5(a*gO^sV`9$Fu)YKlPu61iWT4V&{dl8%e~DK+Upc++5L;>upUJ###HwCO2C@<%vraiE-$F zaewQg0nf}ojcGqah+_Wfy^`+0PIEkd<#yFi!PsoqL*^>21+TpL!{CeLVcCX` zm2P_%d$a`3+9HMkf9 zt5AntT`4X0jZ-f2dg25RS~yEco7KE|o*BT+s7yv4q;%6MpCZG$-k7fN_ZyI!E#DSF z#oWhziiKBifBz2XGzc&YH_G7LOdrtU`5TZ~U&$fsVGr}WtEv6;Yi)(GM%nHd0m}~s z26`9={#7{aR4J4;t&BXxbixi|pOs^|6XuxJE2uh%Su0XkX6coUCMCSQy55oR<|iC z0$5h~v4nomsPOqa(142+jjoY-MPy!s^fZis;684)hse9ToA*!;>}t02@Tn*z_iTiM z^G=0N+7Mfi#z2c)OaDvR@%%m(pZ*@CX?a_*(0mm(@sZZ1)jk1JSk3@QYyK!fdgqH< zIir}rp#E!%0H81N3{to@f!2(adI!$3O^9bz1%RZUv<8BqQ=?QOU^b3!>{lrVDxGkQ zu@PKv`{PXXVi$=AOh8P`JFiIWxZ$SmyKxR~-zUwFFFLX`zJIjG?$evQ`QYfL<-JEo zy9+X79v&$Z*hnmmGHfXz`h(Piu#!{-wrf+2d10JQVnunw@x>C*~SQmyo`_!F&ijZQ}*gWHhjV+Hx4{ zCiEbe24ioVjxIjpRP;R?&gos3Aw2EgJ+Rn$C73j~pSA|R&gTFDWS%dJWxw!#_7-!7 z-)ewlD}x18?1?i965YKDHDp_HT++upK z4Fr*ZDo9Pe^5Aqk*#+UO%x|_dE1XxcJaP=rtguHTY+zmB$1z{`p33}T{y9@WXOI>O zsN&|P$z^0s`X^k354~lv^|KM(&ZENE_(Eyn^8?pTv+z!YTh9grn}89E5vNhOTE|M$ zaD81)++$*WPhQh(&h^J2xf}2+hCi(VP{e|JqzCR~m9=-vDpM4;ejM6mT?lVI2kqjf zDzm&<4$?F^eZCa$CH-1edD(iOuFDWRkHR5AaopWgf44cQzsn4-IMceA41+O3(0b9g zoakOx3oG~$$dSczCUB6W5lC}*Pea4HpQFVsoS1Zm?VFC`M|>+nGu`geaBjg|p9S&(H6= za!4^i5%~zPXIWfFbcT~`;P4?b%eK?8i4-&YS-Gi><_Fr>;Sf}_>n%Ha%F}ner)6#y z1u0OR07_C^QesD*pUn4|9T__6T_}@n)y)bNb-Mt?X7|`@8G&YoTgLxo5y81*=UXjY zgWlP1>5Ebi>=Tjpwhv!3hpI3yk$S&?T<(4ykY0Gqq-s9d|8|p@0XKs0i5h&X{Wp1w z zfw;n_syV2u!q*q1I@&!-``v<%9jx18O{Ik0yuLfc+}9@*^Okovmk};gBejoq1k7 zVkpKlO*kba+tvGx%McI}e*&r>8JCgPW`478vBC$p_O5#Z{S4zpBWk&x>Nq%Z*K#ITt)15sF=3Lp7;^FCR5z`ym-Z;(gggsQr9LHH` z?=uiwdkylv46j2Fx_?>yJCMLJQcNcFwv!wF${bU!X>4YZ3PVbeOD2r8G zl6E*6;6Uy}<#V^n!kqhtzFawT)<0D8LIUdQk>g_n{_DW8Bdq8ANYwhu=7nwG=_w`( z)+H(xFN>~Md8NCwecwwL)}s0MxcR9S-;_K7JyJcELD^DqmWu%+lGPTL6bYlBnw6e7iOwLWT+>MgEz$w5MW8X8*!lKBbvD-ap2)y!vWFaM+HwrQNMs*1rQg| zNTx|tQ~LnW%{Ku6^7PmPTcG=F3bXcFi(W(1eO9kxO8G$OA>lbX_zM_#jHPkvOYPWH zt#|>Ph2yaL;-my{fTT&-jM7*?DY#|rV=)=m(R1B}j;79+|EAh8fJU{xetv~jm^P0{ zWb%M;j$3R8vFCgu&bl|(M;{4LjqN;0i-y>|&KwIv4UKy-3NE`941%a+=iqQlN;u#Z zrKr=ZWexh#9=)zNcQ@Jr*tBVbtO`qLM}dP0HJlM#9leIW?#CSj)!vbw3-q_&fTV{` zg{8i;m5H|j#ALjrYd-^Tj4-naL2xxvwjGUW} zNfvWmx;8=Df zvywD!)dTTR*`bV_Jw_g_qo+h(lb*+Q&I#ilwGYofQ6+U?yajHBJol}e%$W(=gW9zB z+yy-o@4Q(ONe!s7CqH&6C0U8Wl8dZ@*YfTQ3~p6lfe$&_IPjTbj2;mcpXU*~W_@vJ z?SgJ;Qv*!pY|cl)G2%8`E|@d1Y_97quZgXq>*$?eZUGQXx0MR4lBk?i4VR}4&KSS_ z7qYVOD_I%Ejs~r0Qz3uk>?SWvCyKsRcWR54p7W^Li#q^YK| z=a=fJ7y-K(T}*hp*dD-6{c0BhY>y{tG>g+`;->3dubaC1>jO^hJud8OuS~iF5TYQ${RCDp=vzmCd zAKhWahAu?d{R>%H8TKEMm4L8)psivRZshu;*RdMW6!xOYr4gv=_}HjBhRE+3TSEt^ zt<*UKWAV9~-K#!Daa0uU>#KA6$Uv&chxI2Vhl>2%ZJB|QrmL%K^pNmksPgm&$)>O? zO~BXED9smeo<(Pu((aHmjWZPEGMLnmeWQ*W%FoNnXu;i2RnHYr`-^S|6NzGb6pDq4 z_ld5`B3OKVm&TffTb=E4o3!(c4GNx%pd#~Qp;H&uu|D33WM=lCcH}8J``E|TMvszJ zUmj#UYbqTaiF1jro;~kg0e7Y>&vk<+dt}jbYdn=SO|TjGPq@lTgoyJoXrXf89woDE zGRLmIPUf3j;LnZ|7MkPacKLtKRmuV9hLA`f{8ps~cwjs`E)SQnobOZ_1Tw2;4>LB{ ze`G-srdm*VmX(o@=2luuL5i42O~N%7;=&{G2yW!Eo0s1j^i*$r7{e}oAQ)KVwMH&hv5&Y}%Yo8!ly+?hRB#G5WHk`q1_=@<&RUOPA}1 z$YDA`hcs~WeFi3qvHm&6cM~)Ri`w=$H`MMbZfeSICr!)Q-IyDde&)0JEFi>@YVM$0t;Vv`r)nCOeW{O%|o_Z2-@J#H7?E)mQ07MJ$Z zutP7?d~2iJZ;Gh_4iU%siHjwl0`}OxyT1*b*5CL_wLhC(av6R#yF~tEc8R2!plVcO z$z4XIX3lbA4{G(nDzr#q1M<^oXO4^~$u>&GyZCD;(ExiYQIMPakQzzc1cDR(>?hEg zN?^ngRJzuJJVd67Uv;wK0i4P zD8q8EA|s!LFRuMBuMZtn1#!-56ckE?UWWnZ>J126?5YC!WNg~^Dmo3GaLx^MfIS70 zb`WGCWNA#`isPWRZ+3=uy{r982}2D+bAih03m}k}fLY1)6%%g7w55oRPO}K&!Nc0x zAx0jh!+-bxF7rXKJr6m&?MP-O9Hf;lG%@h+20 zR5BU^aqZBGeqobY);?GtV*^xG)7w!}n}Uv+wrn2oqqY--X8#tu*JxAy6^XKSPE--3 zaExkZ?!I#B-~qVfx1Jhm%<2tD;GaD;tCBDAl1<)y!IaU8=qSe@g3tQBU~&DP29I{%W!rTQ%7%)P@PWbU2hxy5Rlj#HEty-(5FVG}nzGbeowP$A(q_N@|~b*|nsu_Bc7&FMpQFuC#La*xhzA4IWMF^7AM?K(wXn5=7|Dg1BH=7%1Zy_DQ zGb0|H!5U$4>c4s7&kExx=RYZo7y29hW=TD14)U@i5rM^h4J0Esliw(j7y2`O=WkL? zA@xBD+Y>ViGDV@Rz=ZgR5Yn?s7r zD{zYsh60w>{)R^8_4UOgJSR*gM_V&YGP?|>cGA$-M9SRA0_D>%Gv6N&mT!y3}O|7eT zf)S5FdPB!lUHpd@U>On(L;y&SOqiA`qDlvm8lm_P9c@) zgk<12h>)dksw&m?;WOKoDJMHGS6Xae?Bjlm&iHU?q63(w^zz9aMeo!Lij9ly-RV45 z=u1GOUzWeL_FlArw{toniSQUmRlACJ=NP>2I-pv0Fyj z&cxXdnL6U}dDda2kZ!nA3unA$_qfh?r^iUFk1XaW7CLf+uAe?lQB4*8=C}))uJ(>< z2Xn(>NC7zg^7rn@UkEp1G4-$ZZRcs(HApz5F+w;(}N zD{TnVla7mP0P~DgCr;m^YaXboF4^w75pZ?K(PzBs^8fpSIB65<9PPxu5kEgWa)y-i*f*OBnFij^ zZC#KKHkn%%pP{$Yt*fR8`u6&ijTi!-UlFNK;@mecf?wpK<}C|>&E zAWU=Uic%DIQPap7ai1kCgn;kdi29epHO#bx)ACk$5-FyZZPi89oy0q+uojp=( zS|9NYtLt5niEo-71~+pk>k)|A;P=;`AZQlq0lYpiU=CM+_4GI{uI)J==a3r%{8h2V z)1>CwcB;)vaiOM?)ZV9jCO(nqa$XfXFf$($w|oLe^v#}8%A8X=>0z8oRn`4!hIPDB zJh#nrp~>FUb=kLLV=c}4DM__{o?M)`5wK`nJv(iIT~?>MG&dvudB(8P45jzV`|GuU zg8wH~&Hvz9JHNugUyJ1Ato!C#F{QdzX1D$1TG0+#mA23uub(qm{!U5uUxB?}3l{;) z$qz-_FP@b9wBVTKUpy(mR`R{5(Gznh=4bPF2DbRe+Av3N3pXhGvFaWK65pMM>K{ zj*)lTu3%7=0wCD9s%Jo*0_x@bFr!N`SpE|4uN8?0H{y3XPZijW{j0(yng)4NtAT)k zd>AtLIVVv8*elJV&q0Nz%^|za?6+0H2pa)edr&Z;3JV%jP=)L4*5l4+yR%hM6mDO>| zrSGG9$RN-9k#6TYGo60D_P2t-sCm!{i{wh{0s}edi1R z24KblC%PI_W)_&|dZwKCqP^S(OYy#`(rb?mw94baHuyQ^R)oI*3Z=5SJ{w*WudK0- zEK!A1w&1wbo3`ivK31z`b+D^tb?kFsGb8DlUH+=%i&3h+KF&|)Ei)o>28}tNFzM{t ze4bLe4lmull1p%BzNN009%N-z&^XW3g;{rb zz*7g4oa~fERqgwoRC+H8^UW{aOxVq@-e&4|C-Ojp^aoSPD^jr5_I7jO#YX?pCl;}H zgKyo-xSnx4aJ7w6@mz&q`J&9Vkjsrii+ZD5Sd9*!a#WcoSplqbtT2Q)zAQwU?n(|>8 zT3I3%ux;GlIy-mt-~sGG>|t!x5g&N!RhATT$4K~V=?%z3x9iteYv9G0bj_41^({Ky z?sP+a@>fI--Tx1&>ij>$I9IC^MX{n`6_S^MqNn3Su4in9ypXcGUG78Ty0&xj+Ro~h zSERnEq8N#=-HZQ`{i2HJoBg79wWgbOmlQ*4w!G81q9~^oZ)JE~;-C@}r^u_6mpt?T z8&!4S)T%lo|58<_lvY(I>_4fhvu(pas_J8MYo1Fa-bCko^m5^R_S=g#>b|g z17g0o4(Hi6Jwpcv2Y@Y}eSYp_p4Iz0_@`TC&XIMu;IUFVf$ zezvP0aVV-`w`%w)R)F$14xQQC6q=R3?+buY1%+h*J!uEZh{<>_ zIxD)2oOaITj{~ZDdn>D5z=vVQOdN-#FH6F>{j7it?Dyg(ExLC9H{pn@6%J1*pxyv+ z>FABM`(6N{sk-`mP*(2;;R{&tH9rM3K1`vs5*xs?Kp%-5o%t5f2$nO2mbY(~Zl_h{ zdkotuW7}~76d%d~RdpVf&uv2iL6gRS#;R#{HFN;|33Ra=UB~jUT|GrkW8kL`Sd9}T ztZeyBK{QOQyU11II+hLgu5+HAC99=z`1P8Ru1kbN(A}@{f>kX5sF?F3s0L*DZ(Rzs*fRXPOTj9R=2G|;Q34;w$Vfo>`(UXm z;9E7sG3=D0A0jj8HUq#Ozxf9Ke_B0?(G6XQ=l{23wwz8x<Qqik5V|)*+H%Ka!2Ov=3r35l$xx9KmYfts{UUq-}?Wh2QlVQIGJM%w`EoC$fS1n Uu_IcCGY($3v6|5QpRWJ^1^bF~8~^|S literal 0 HcmV?d00001 diff --git a/pics/4e760981-a0c5-4dbf-9fbf-ce963e0629fb.png b/pics/4e760981-a0c5-4dbf-9fbf-ce963e0629fb.png new file mode 100644 index 0000000000000000000000000000000000000000..e576898034294c39b6aa7aa87d681b00b3755dc9 GIT binary patch literal 13312 zcmeHuXH*m0yZ1zjR7nKsQi6&KND)v`dMF2!qJR`>A{|7fN$(J9^w8E*ST*pH(aC6H~g)6aXX}*W=Qr|bVx#oz93Dces&1YXSF*@B0TFw zh4&Wa`zbCK4A!eLJMpqa=Cw&qJa2D37T5aX*rP|kwZ4d3qdnv$0es-RKkp zS3N`p?y{De_W%T)=f!{l{$MHy`Vx#pK+p>$8iM>8704mzjsg}O)A-+bvRR#P{G47( z@vEnEBNrKc9f$lFm~J-JRMd^)8|{-cTkY=%CMQy%PWHdKu<_zYi-adP?|~Q=a%`QJS196M1kB}!V62acc_~&U=xi=HVdX&x9dZ8`iVD#Sy{jb`7pKDi$bXA zi(j%Fa8<#|)ls1qbXRLCcAz?as-B}i&luR9Kg`o{ESQQZ3W+eivRBc8cCaBKYmuCnhGg?(9^(d-qQC z`t|GM-@c*OugT7=c^VVQARX|;X^D%A=3HD{t&58V1A~KN0s;b7j*e}!v$L^#+Y_?m zlan7@DvX^yJ=wQkClS4>a@VGIHebl(jZNN%{Ox!!JnnvbyAtm1?pE&Z`0eF(+3}$= zr}3qwu1hj9@q0T2zwy0Y!k!pQm1$DiNhQX-8JoEzmGp@gI?2U*z`46WBq)fid&(tH<*=}@a3A!*z0<=* zCgJ*oH5~=S6p0LY_aY&I0>>);%DhkIh{q9d1n)ZO2|@39Fty=Unhp*Q7N?RIQi0;l~nGKwa8YIh#7uMVyjCK#_`AIjea3f|?rc)|d`6Wg{|^ zC#f^tuG5}z@4-=dtlSAFC#O13dc)?rKAY<$lb)`_<-U+yH5DpWt%$1+k8j)9cvq5= z>)Gi#vl&-~fHu$=GxQFv3H<_*SW*(Onm)Oy%iwto;*kxeib^ja_hkBF&wwe+`04tFmtBqFOoo-HnYwTQ!kzJQ=ayt&B_wc?NgOhP>`U753FqPt5n zO|rOYuOe!_sZgq&5jb6A)zf*Yo39fg$Q{hqF~VplHQ2Y%my?+|TY`Y*sZgvPQZ$2& zS*N|s1eUEkOR3>iK3j`xZ4+#EYr@JUko+ zUa~#e(Bst285syFjqC|nlE+MA!h?VYMk4}FM1cHS{EG8$i8>>SLL z%$by#^aa=A#fX3Y_)#sF_VTc=ZCqc5;qxSJU=jr|9wl}c%=gvIWvme@y^8M7% zo>!%uEg{%4jGugB*PV#6x3}-3>@8X6MC-W7_N$Y@6SkhBLl%rxy@<8c3~cP~el##J zP$2m#_x&0&Wh-Ut02CX86vdqsaoCISjS);Ovp~%g2+pIcLw_9q^alCR+o8iw==q~( z{UqS+$sghp3Xa}dD9LZ_?B5%l_wl_?Pd4UjDthkRId~rq#+EbN2kmZk2u6QizT(W` zS9LwHM)_k!mQGo;u-}clEBaVt@nkuo`vY(7XhXfF9an*Q69am z+Y^ghW%@p#F0!g`;dwG^e0uuy+Lf}ayx*Fw7DmmMRlZ4w^Q0hAe(gMhQNck*MX&do zOmABdTFUqpeooBIi*BfyJt&RpY)?tDs=!aa^x~W4MGtpBJhNyKLg3~`XUUxT_U&8! zi^N1jj%#?a!DJPAp3X_!-i{5m7k{WZ--dI|cQ&+(tcxiGb$g)Dvk3E^m&nddDTndp z+3*Evj9?`{+A~UYu))m3v<6efoM!nO=WgH3SP-}>q;*K4k<;7nMZtn7icz7_Ca?a^ z3&riKuU--KsHkwrf0ha*YTjP|U977@WL{J~v{_g;e_?>lzzZ!nc0%VP6{__UIEh{K z#7%8!RJG>fjcqB^82fG`Aqd&YK-(b3j&2GIxui%wgMsASe1owj;vd8>@+o5T+xlZw z`n^yUXEd7>Re1&Utl|?;pUU+&cQ4&K{=ezsq0*!#)0XetCV64{W z-G=Aa`ozE$(HqC}TEd{t>mNqg*!sd%t0r0;v-s;*Whf#lJ<2pWL*$=9!S-dn3}|5)bD&0!l8Nq((c zTNNedj%wOFuD^f6%+1}st!8i6et%yPfqDU(@Q; zq!ln!&J2brq1G5=0Ah|U#Wv;&8%K&~R`u)?1auqV&|NpTr(3IEbcM1qrfH!&0DM0- zH7U>GqqTN)G$H?s3glN|7Mq^76Y1~hgSJd`gnKoK_iHXUkFUV6OYF9zfG9SiFFz3tLk`l{L?d>`Ag-%LDEg${3!_bmEwiW|`+{(vi z_=c&e5r>s&M6M|~2tgY>7_-wkX~~rRcrI$=vfLyh55!{{Om!>OuWm-$-^t>bOI7)8 zPcY~Q245ABvp>!ppw~^>eNCbXHZl@T)V2c1o)Oe>l|Ky_2WR_w0X6|NXAYOAYU zx6GqA4$D=+zgM^l<=+Qvq~xV(!zeHpYS1V7O)BqG-i(^VLp^x=63|=bqngdVi>_P=niCYv@^w16 zCICWhZEex-%FAh*1}8OlvPWlJ4+zFbAOk+zN;VD;8;e|2z_G4O{P>aX;qCom<6+oH zUi;MY&e+`iJY}KIEowVOPhMSypkmr`R3t?GW&ebd6Xd& zyg%j$VJjU2*@e@wXV44Nng@iZqmTjhok~%Ki<9&pfMArfI2kKO#rlB({K_YClzd0H?{eDGLhmH4ue_65CqdtSoO>qr;s^@E8LDi5f zGzMCDs^^_Ot#H-j2)sD6ut-F$`k>v;o+yNlyf|kH8muTTyY=%gd{evh& z;{!{BscMN6J-;8<@)$gO6X?ys|#kSJtre2Me}s2cU)ofr#$Z7B3|$@X*M@BI(tfg{N0@U zQH9|7uzB_2@9gN*+I(PzE)-%%VqT$v1UCHjy1=xpJZGCV-bFn61l}y)Ajx)SUnj5N zGRBHloSZYm)DYdP?v3gC94n(?R;T)Y4BI)z53SEsEp7XpTJ_Y)uKO~;>8n=hH0w1S z0bl9KF>a1x!r zvFP9e`d0B>m4*hwgpdH2OGmFatMRQLhcm|Mm7w%QWJ~B`RM#Gtc#{fc_Z#fwVyZE>_+1@ z5Y;UM0|pCNc~cvYD>ctcCM%_CauxAGn+7(Tm=#uw;;_1<+1vg6v$uL=&S>35qbOO^pMz$l#6tEu2hVnQ(;I~$n`jPo0Te)O6*HnS@hn-xmMWi1E{$k}Tw(|~>~-LLhyPHmpmq^v} zmikGd0_KU8HPaDvePYOOmM`7SKU+Md!h7*DfYl&2M^gvgQ{^(o8M)64 zICqU^|3!6FDq_<6!asDJeAdZW$JG8Fh~!6QWo2enp_eKiN1iM<0m#O^+m$>JlB*wQ z>!y5u=H}Ga@)zlbMO48Z6w#q^l!Y?7@xp{)uVI1M*lZLXZ@r|21(!KNX||k|;h}&6 z`KvCL-p$SO3$n6hzHz!$ljW{Ets@IV^=qF#NlSY-UoznU~z?ib7^}gzC z7mgz|+I<|^$+*h&68H7AhcP*J8;KTqxJ!{oxxTqMxM?}A-bsAJwW7MNF0D5Ejg8rD z5u*#vc-nM$GVd*9jEnriN8dg&Z-F% z*+1odbGe`P8{aJc?bKnTl8yMe8ry3T(|KDEj9h%hYnVgTyxh&aA z<;VN6lG8oLArY_Ih&0{f+l?-_l5Yf4k<;RPb|UW^YVVXhKyBC8+sM76LeV#0tv5G6 zW$ssixd_ZOrlH_I%KE#uxgP4J=)03?gk9y{x!uhf$V0c zUdLR3(d`TJ7iMQcn^d&C>K&AnO-ou{w$qR)YrVH7vH5OuMX98;)M`geAZJ@fTs`Nh z!RD@mpHH3AT9ELankmzTY3(J)sNme|_$v(L-U`?cEqQYzcXwz|@sg!QMHV{>0y&R4 zfj5ZNn2?P=-jR%hO0^z}6wO$;pCi9`3iEk%^qkfEnrxEeAtp~f zG_+31nn|84ck#JA7Mxc}gOaT|#4(dE_`AiLX$d!osp22W~>sI zsbbq%`_%OYwtIn_TJ68;dF#k!f9#qsKV*!{jZ73?Z+(PB#hg=>T&JNJs;S?T-Um@i z9P1|GVTkmn1rf{*V`Ixvmp6DUKgU>dCl@u9w*UIQ=l4xzk6{oB^ggr134(fo$b&;D zPvgC#V*x4Lr?2uVOyIajm#Tl+|I%qy{Kd(!ZViI=A_V|=XQcXR$y~pvV5#bB^YL|7 z9gL_QPPKEhj}$QF8GOb~VdQ%X!R1;LgBllXk}ayJeoK0Ee401*b27hTV{9UIO97=c zYH=-kYdbb|OCEpE$F?K8w7YMWKog}zygd06-0!ovepSNe9}Lz8)6UF@h;=ZEieJ+V zR{JI@Uqi>fR5w%F%z0W{^Zm=@hYl;v6pz>xF@^58Zlv(1vWdrP0}NQxbF6+P(!sjp|CsGZ> zITR|&?A(I6L?<g>z@+s`!kon~fUp8n++3s3c8km?uw*vmHiW+3FporMOJgnR@ta zx2Jux$^^f);_IW4gumP0N`IvTD~ejd^jn(n*LRs6Jg$gU4GGirn&a8`2Zt0}gF#kBN@ zz$1E}JWTYuDpo5~RkCj}k=*CRz=w=_IVqRmDz;VIRF5z!y=-#-*-O-@l$Ehi^UM#h zpB%vgKN-a(p!e#M@9T(JFKbNn-I~k-4X|8C7$2{vQ4O)9(&THI(K?$rrTVUmJFTEM}l3!D|E1nX?o}s}L9JoPfP&SvwYJXAhb6qL zC7Ci=ERdNmOln6s%YYb$LqPe}95~ezxOPBJ1}K@yxw*FNyu9Z#Gxqikvn1ZkVju;6 zm(yLDdZ4XAzLc3hVi6ZP^c}>Smsf=EOVcd;0hrKt5c;)>Ka~qQEK!j%-7V|tQ?6kw zY{3JWiGtbVUa8n6gk+sjO$SM)Xfz|l9En8m8)p6@AY(T*nKfIIGSfkvEZ0}1ftbNW z?`#OvjyKbXMOp@xZ%p)VxE`GiK|t?;dA}V`1cY`mA!f?0BIM7l4}z@-puum8$1bj~ z_k)C>sH}`7>dJjTzcNY)pZb^0jAGIuX3p;Jj(q<7Irhz)H)gZZ`}>K%BlQ#zs|i+$ zAQPl0;#<-Lr_l%UcaK47pcHeG z)3`p9o$EaUL=F(Uy8ILQIyhSJSH9^f2FI)Z%AILq%xYvH6@WTe1qTj+=Z{EU73T0rfxfFLmCTZw(F9j z)lF)eG6cy7j^ecz?CnZYj&Q#zf1qQcM7$;)aGD29M=>XzlAh*B?=&1S{hJ9#<^f<} z3ARTm9B=AAsS;r}*3s;JMyBn@A5oC~$JzcXW~W7^Ack`WjDyy29F3nZv@I!ZYoDChu8e=wE>!f{C)!t;3%-$M;4|Ia z+_Ix>ZPUM#a@}tgAt6}Pp{lXN=q31S30qrRO%7WLC6m6B)$3;nNEBC|#K~Z+H*BaU z#>bmDj~+GP=+@aNxX^_Sw(S1=YQ)Q4lE0b&8@=l4TZjB`zB0Xx4=?Ryq$fAuTy9>F zE;C)(Qe5UFTCI#;RL={AePEog?@<#k{ikiesn3?Q^N$mOlWiVhbn1CT@2kH=!zA10 z_RTvMBqsjuxw*N8PUXG!jgO-5cG%#^gHOtNzq?YI$9*^zN(q%&-CSNv*Jo7?qpHdc z72#stOhF$(yX>wn3K5=zY}>{3x@UYdTD4GaB0La}1jut^NG znA~Bc!JQ=m>F)Lh;|l9fAa&4wv34l(&*E34)o+y=!Rd8})IyODX((PFrZ43bUkYEt zU0e%Pz`UNpY{xrYCYMI-g5uI`_KG`q?wCm>Xe_9H`|;!b=J98LmdKQxCu>~)BbkA{ zcRjoH{Li!-1ami0f4XlA_K$xKgV4 z#T*N61f_Zw;+1_C+*#mKE!npHq3Sdi`ja55CA)Mzl)&0f2G?i(t6#8wjgd05LTPaV z_uE=xo$Hg3-$boNr$DYx%)9QSxATT&r|edVuGu0L%4{#d#C$Jc(|nW#{*x-PsLuzp z1!&S*?vSm(}*Xg_Di|D^QJ`KQEfo>4C$-5t>rJ zkUcM?2-C58Q+h7Zl~F!guNPm`d34fm1pBrGf!u?#Z|v&h+p+I-COq!a(5H)gr=R=rA>=J{qts>)&Z z?&Nm~Bx{FLgmMc%p^{NNzTs&biv( zGkWAobI(5EMBSCUcK7Tmuu%v?#0fAih zCW&O!61c2eWlx~(T2ipU)Yw#oA?vvfw-$(pA!ZiKa`%a%gf`qa>X z#}V{{8jsaaR6%liytrpQe4&{IxR0tlvE~WbuLNcFdkIueejz03{PeJ3qjFZCZRh7KgR|j4jkzouf>Gy+teL;aQ_PAfe92P zN(DK0;i@SBZn&8sz|8&|+_vza7e`~Q&z?z&{AY1=ta9NoC`ZDY8iH>XcB>*885w;| zr6jlo6;n{9l=D)yiMP1cqzrdscv+IVF_b}H%a01_`yr9juQw0C2KGT=L4o#`E1!;R zFC+8?+~ebn4E`d(i*%C361CMV0MD;UlNvno%iq4uoJ(ZSdNzF!iUp-Li#Y<}d0HBu zz2YpWGU*6IwIEz)RTnsa+tD!&keGeYtPxxd(|bkk?+y5^n7Kj+o~6!Q z2L~aNk5!vF`6mcVQ$ZhqK#BvkHqgj2#7b?Pm;0Ox3<6CWXDb*$dECxTu{XnSdebGL z+@whks=WzjKYIn&18j})1GRlnh2Z+02B@v+dG~a6>JHc|;!|ciT?-yCL2w4|+&RKH z*r--v{?{2wZK>{jhxKt*m25*R8$CgZvV1nxU@4)m~Tm_DXcQ`8kX&w2-xJUdirvMyhv z90xA6{hKm#`*)>{J9~^jvvgS4K={cpk8Xo$ryq zn^M?m$~oHn7gGvcrT<`u+u$I5ci)%35;)q?0y(+AVTW0RM#i;4w-L)Dr0#-%RM?Bx zgLXBLP4tD90^OsxLmIrVDR91YXs#(L1biPOqV;igCQv}A^@87qlT-U(?S9-O_YgLB z8Amv0s?WgIn=n7G>`s1?5_Z6V(F1K`2n0f3QwgbJ3d)!fpqcYaNmy9e;QT{Tdr}fc z8j@&Jds|sqESYshpq!z#Yk%5O&}P8J&7Jc*;Ak-cx15)goh^Pl;PqXS>NrV5GR4-7 zgM;xU@{V?$J7&W4Od;S-jWjhit*ot^2V=)!ntx;Yv|854aH>fFRrgZXM@Sw05vf=9}0YD^bOM|VT0U=}nL62xo|&L4e-e0UD_>cb#{fp@({ zyyl`XhGbPw|J|z2fa2Etl`_yx6fG`x+T4bUEO@76a#>bV#dOcbCeflfChWnwhom3f zsPoqG)s4xjhW2(7l3!d{p0P1D%&~M{I_x#K9PZ(BLA0e{t&xLxD~S7P<$?E_MG5D* z$HB_|k`oz83)%?n94{9=&Nnv|3#+lH+4He^TK!pB7DotI^;-p|cv`}fPyQw=rmH!> z(sY8$xtbL2r|W;cA9O1yPYYCCw?~8gQ+QCjb_>{)JuZX(F*=1t1vq=KuTI2fqPWQ^ zjQ}AQ?)n;14TzVOj%Ij@7e2e{`QH+K0J4AzeuVMvaO_;a?ze%XM$}nEVHlLPeyzK8 z0~?Dp3$(~+Q0lwd6iekL$0~6OQ(S$Bk4zfn3nH9_zU?C5gKp3dBsX#_7${lWV zUsGuO;4${zcUCYxYJe>mI}Rrvdh;_FjK$$sq5ev%m{x<2`uwSxNE9ijzW+iSv~fUA zLO0)k>@1)eQ;_Q$#d(dci=vjFUe(Kf;r!F)K@0I)BW%<3s;eiCc~PY%36UMOj!Q77 zMeX3bn&)>$?o|t>S5}=B`}BLl49cG5@B(ZrinL}W?^%DZHjPs3=~uBlhHTB(Xk2hl zJN`~1_~Xkp&C`~IZ*jh#Md*&iDPlDHIUdS{Ms`}f|M<9B_(LdIoAw}}gWEd)=r>Y= zzx`lCL(s!V-aY?BYgryd$}8HqkcKj_OMV-q)JwW zAAiNqMunf-4vN5lB~w-7w-@hL;Ry1O?7nv7o??2B!4Euq?09!t%F}(khF9N2DHjteVq~s$8k@J zii$3j9bC(R2^h|~{09g6`!jdSQCUgT)Q`i#Rowoq6A73u0Fs~&p=9`)BJt{ue<2J} zeY?BW7o?;LB^#@mdsT=B;NFYm(&E6ezP_h${Z;YRaG33=<4j_ zqz?r3R~1Bc^urF|P^SXqj(}^5hc+Fy(Mq*Cr{lAkvF~*0 z$bmsZB;WltO|+7>xj3hhVNpJO+x!o=(OT{A z1W*;(Y1RaHr`#@U8yPVXk^BncJ$C3uWK71`^g79y8~~;Uk_-Hg(%)LpxC+I7*(Yjp zxJYCEmk1d7vhQvOA9b{C$KT_en3#h-;CVt;FAHenrSJOrIo-Z}yS2AhSLEn5ziI0o zlf1J{2+&&ozqLXCKW*>+U-mx`4mNGe+TJOgB78qo0lotCi;@N=SHUds|L_0*zyJSb G|NkG9$IdMP literal 0 HcmV?d00001 diff --git a/pics/536c6dfd-305a-4b95-b12c-28ca5e8aa043.png b/pics/536c6dfd-305a-4b95-b12c-28ca5e8aa043.png new file mode 100644 index 0000000000000000000000000000000000000000..29bbc9de946b5550924504fc4587e787cff5608b GIT binary patch literal 7168 zcmeHLc{r4PzaK4Bl1fq-vQ#pmk?czmQWM&&F=ZcX80#=d*)yqR5FW`;gRy2QgKSx5 z(AXK0m@H!-Yh%tmp68tRea|1~darZNb)9pa>-;fu-}i6%?#u7@i8eOW=Q$vF00aW@ z7+kx08wA=#0p36F;{^VzTEvrp2Z#4 z-XPGSdiIZ_*(28u1QO&kxO(NTzcro8?JC?;S-W`J%azMn?5fn$19!_V2fRD=3Z(sZ zU&4~HL6P}aUGd@LVb>A_k4io zPTL3qk89Cbwnn$baU8(ZtN-eh1tRF$hs2nJamjS`_6FLX&=&yVKN115g@RBXQ2tfe z?$93K%ZbfBPY<^HGNkbdy=gnY2YW}wSB_WEpN zn9>%eUY% z!SS#>%L*O-QULJDxg+d|yL=sB4+1?u3NQtM-T?;uhpEtSo6~s0&r#NP`M@sFgH3>L z@2!O2tq{W3&d%reLzoP&E?t2ZL{8e7W?}C*;h=@O;ttKNYo?}2?J1XT)F_o~Dm#*e z2Rv$+KMU&*y?kk?YCzUv1#N6}gvhQ@{W3oPUTT|6m4JF)0Q7y6BZXeH@=7S{%n)0QRqMhZEw()Mo{xD@nAK( z`UoC*b@lVRckeE?YdOla0JbK*37Aawn#nJ3bs`7 zNFJ@fHFKZq0onWr0GA zfv`Ike_*nNta{^+>aSB9Jp}Y=0&(+0fTR{iYrA5F!DtEN63I2ibAToQn@Yv?!9%P@ zt1{`E&ky4e~el*5TL`lSVLi#|VUO?C!dmKZXn{%%mix6s0UtQ|A#k6Ebib%I5 z$tj^gAp6U(-A<@!;xAi_hKY6H)ajBOjo{6xoTYJ5mYJaju=^i{|sDnRwGh1%jN*@GT1r#n#yP2vu1%L4t9d^Cz9{wJ)4X8Q3 z> zol6t>jMTeY;pn$Ef%L&L2X4>!3#l76eu`-}g86foBYzK<% zy~dv@rO0gMV$nd5kdDt5-{O?!XXmyX$o>joC85#H-g3LGRk}l)CZJ%>{YQ0s9k_kP zaA9n(l|FSF`q<(}Tn3le=Y(u8XUL;gU70S;4~1+5r62%vOXGQe&#|WhDKaSLLZsHK zNKtgZYn@1gg0V@1!t?I+=XYHM+QOhEbU~r#*R!Q{#vLrZW%Kw)4|cBx?#1jU>Q&~M z6=}OyGfYbC2}2$=Ris(?xbimL-lS$%5q(Z>rg0rL zx|RN$IUk~A={tm)ueR?iuyWuwe@}pMH9jpU(Lx$-?dj;NSWd!nwgOS|;<_MZvf@{4 z;LYKg?q7+;ow|eWYJPLwqHCieAzN0On+#IXP%4oSz0j|x$Ww7%=HKr?w}Tus$h zlB>T@@7O%--HWEuw`&`6O?Lza-uK6!oYzQyEhH@bicB^PMm4`t@&4JRFWNKYTth;y zmSjw!auV{JpkU8}%JFTG&_;NndGr|^N5d&x*gG5_g=6k|654&Xu_EZq*|XVMSvrxW zn=}fQnqS_7PNn(|xp{3&B&EvO*>6H9=rL3-Kj2eaz;kBpjq+Vj2e*bRP_k|B2?V3a zQZ?rx-SCQq-EdKqjRl=M!s|i> zY5DD!&#nUFJ~O=rMn;%zTBc@vTpU(^whTczqq4m|&NhW8WzKet-@Yuw8NQ&NpIj9( z=sluFn9v{xc|@t^aF}7RoVZ5w;BNw^m!wm41isfo1AhxR>3b7>6G9Zpi z{sOxT!^g6!d}iJO(Wk1a`mUtpj_=$sLPS>(Facj2f-H7b3`ZBSQMGJPxP$eywXpit z(^ykpZVF#V1qQym{r;MtUwK@7d`gJW^Wy;BTrD_ROhE@Wq|t!<7=^%H7;h@ATJZDn znTpkV$vjN)#cVE52-~EPLWF&#pl*wQ$#D=u**FF8F~KG5flzz_r^(o)oNKRu(zEB* zgioFvLw6iJva^}-Lsw)BfacDmW(In+xc zi)KU}7%i(G%FN5Ve>cHCYi^ZUoVPmf5sXSH3CKR5cmCy8mWYc2A|t8(Fy-1?Cnz&1 zn}3SVy7SXEdU6qd!($?6DJi#E@a7aXo? z>n)}-bFSHs5hh4c&4U3uW|K+tG_TI}?Sdm~T%-KoVADr{tZ~98BETg_x`Z#P+7PNn zUDfd2U1HW55%}I{n?ZACd?0=DEeX~M~!CAv*!L=XWS>ugGUsr8+CY~ z&m;#g;e0OWr(tg5(A-}$>>fQ_ffn(VFa6%i=oOJ0kr8qJOKzaERA~JCz(c|;6DKFP zCKTqEb;8_xWRp7KlN9pIY;W-3MP+tmPrWvLfi)?bj)wDvF}@7m_Nh2!n&>;+1zBM19 znJYAZghz7e^|M@TFTS6oY0BK5_Pt+yhMi00NM8w@Mo08BMD>fH_`DI}eh+Jj6Sd?R zp9jMowk99yISgS*Hy3RNt4&oOb(A{Z&WEKc`;rrDXCiE>h)2N!fYE$P`rUyfzxMVn z)a^&VO5bk$*Gy~y;c9cR>>6=y65iI%!_Mrg?3enmPop65CM)~&D&D~@!LSY;SiRJJ z7~Xc}fcI;to5^!(q6>dV8U20pZfL$~p@7Uwdt%>$(L(RbWI-E2gHjLJ*~)zJ3rC>$ zd96ww&l0(#VrYY_-Q!`{UPwQ8h;*NBp8KZ~%X#S+l%2G(R1IiAcDI&>d|5Nbi{Xys z15Tc^J4Ts{L0$;DX*|=n*i@=XL}#oN-{SkR|LlCCGr;AQjs2ii!l4Mle&=9Rgc2@i zTS9m3(sa3(Wb!2361~$Q+^0&FaeNU4@l&0BhkvVk5_Dln&+?&QA5T0%HuW&^`d;tw z4jNj+Z^IOqw!grAD>4yrESdqWz6(sSE*M98(-+aK*3yf0J#MT*c`Hr8<2gN0y5@1~ zTP9mMtGam)jHp`RP4$uS_P*O{@mN{RHv&vwQv}y{5r-jYbcFBs|%jWQs(c?gC+4msX@pSe3ZfyPpu&{6oNF@fDDKL+GwL?vI7oit2>>5T?s3oB*~M2Wr0TUuQeXn#IF4R z)ZoAg;E2}JVo<`b$L=r+_n#33{(;md4;ne`+rYp%Fc|!;ukWmcghXcSxt%I+oDwXz z!|2ae29zSGs;V@VO5LQV1_lPM>@5Sj8gQ7+kt^Kk{`Eb-P<1$#g$~RTC>uK(WNo|B zGO8NZtkYq>l%Ae!xm;jn)^{j=` zV(`uicBG$xzBeE0sxU;4+3CAZeDyurZ!!Y@?$98HTmDmI1)D+4-!SFF#%vT62*j{>|s zBG9JDcNQqu2kll=-<(SVXnxE3)ZPoP4FhZgvkt=2)V95)riWKE;A8WA(?KgAGDg!o z_&i1W;8~Yw9wx(BhgrZWYQ2pLwk*3FR+75~E_rt?M-+Q!=CyWK3}ohx51T29(Q9gZ zWk00HB7l34ZXc@7M{W=*Ft$0PFPxMBoKhXnXDmT!DYQsSd)pA^oA~XArqTZH4I9?H zOHqAM%0#Ni*6qwod?jvlQHB;iw;4OjHBcyx3v)5T%4#=yhAU@81^rjh3O-*%) z-ntK51;=ZGzr>w&qBdu_vy9(xBj{MpI(kii6W8X7O_k>i7<)EY3&C3*R`^GPPqd`&OBzUL8&RC&}r3BSemm$tfSX; z01up&S*Wr2K|LryTVqX|My@sUw^#L#OOJ}hdwjlfpD&=u$3ws~XEh}cw%gp>B6EzNjld0ld%Tz1j+AoAp-pzE+#`t)Om|rtixf@KkdkHts-@XU zaJ2dAu(wgLQIXqm84F3J(V&t6?F2TM_lKLtVguji_LROzK*Q`gA^>ka9u0Ilva_*_ zjcpOP8HBdhLtR7`l!!Mbo(AV&<%gUkold%Mvs!zcjTcJAsm)dBOp?n3p*xy7m`dA+G=6_P#m;U^qADKFw>IS0UdA zt$iBpsp(lLZj+^y`_`g&$WvNM-4(#Kf?7M$ay0T#w+4YTgG%xanOdB z%GPWNV+J2(D%vCWppv;d#3+&yV4K)XU$?j_XA?l}UZlEL84!-)L7IR+7}JYN#6=#U zcq9OT2eTJ7UEcWtBmITeo-6^7!VsTb1*3*No2P~hx;^YZFSSA@lxjAfq47jh>wxTh zce%RuQ~y2a`9A^2N69OmO1!Si+0^b!V#DUgd0U#@9RrV?+<6W3r_2X{6d;rm$Ur1)^Q25ymT4QnRqL~iVr%j|nk z#{{{Vg|l70c$KA z4j!70xraB{{HpplgN<9aUa4;OBW|@yJlAz(xlTdpk)6$JcIiCaPC#Su`@3AWAInN# z{K)?%B)uqhdbPUc&Lag^&t`7#|IRTL`3Fu)c^30L%rD3pY}LEl$EKD1)+d?El<(+rse-`h5v5fv?O*8 zR`@H%AZYKcL4ff;MH#$NBFd~b2k-oPM~Qec9=hb$N$`#g@di{O5Cpk8K|0K0)IBZ4 zA}Cf8_8nS?m+Bzi!{8kmgerW)Cou3;2zX~-{Zjf5VBr5xr@Ej@zBGX@cTnbMC`Zl?y6HFzScsFnnktgecgdOON_w^7o#ZFc%kLjO)7+1!ThdKv`sr&lqxs7`h59n`4SdfSCJdSSOUiqo-%gErdc7MS|UZ z>8dyRm~=DwxeC;xq``7#YO+B=F~_?xKS||HS+u!dp+#&8zhq17Uo%vVP=rR2l`zFW zSAcoky5Z!AsS6cjbQ?c9@nFl%F|H3!JxCV?1p!QhlOsjJYKFe|cJJBay$ONQG=UJD zT;}FnF*8Cl6$tyS`BaKnhbbU1Z5~YtPG$3PW#-=A6IE^#V>8l;5@2aC63iUGHR{fi za)aogS2t9HSr|swn`C{zmUPROmcOPn$s&RbNhLwuOU~U@Q2nXe(6{r5Fi<(_Xb{Xq zkAU1Do%co7ZGzI&d-u`Y@s!*A_L>Q%ysM$9MG>`?)5>Y*Fc>WiS^7SFAvDPfpK5}s z_pcnbO4%D)7%AjtJ%)~H5bx70ImEzL~2@te*Q)*m%qSp?DB`0gNZK}WW_I_y|qJ)!# z5Z|HnaKGBIp>Ae^S^vsfViqZzL>g_Lk~s)PIOA=8LO78;{F2-*T+4N@Ff?&UEP<{k zWYCUr)c1hnW223j7-FNftZw9oj()PVe&(fv&<>)Qpb5A&b9<#DeEQt=75f}|dPIeG z33?I?SrfFW4n0po#a*S33=MO z(u?Ni9R>vVCN)KMhB*1N-<#%Pc=ADT79*No$uVJdJ!ATAl=!G6Q){v#axphGqUbO z`^6~7kP~r{<*xX*=gdvd4@Y)8_PC4+MzHxMBF@xE{e+$-uWXCM#~3+2=mSgP1LksOEDyzA9{s{cv#Kr5f7v6&SLny9((}I#`LE)Aec^^|;ezFV4fE7nmiNO zXC-1gZ2GfB1vfLr_kH!XV9G<>R5OMr#6W_~H^8NbIpE^(;F9uCui{{`t~;c8X_SFa zY*eA4m0phi54a9jd~lw6@!?Wf7%r-9;9U%)v?+2hQ1J1#ot5=ukED?R`2MIWMo3+u!7QQGFJpj`i5d1dCM%rv7@x_YhS zT$4*-O2p)DkwCwS{EIhKu#R}Fc9}zpX-Hn=yA{a%Xn932lg-4wiTx8qy<`QtY-6wm zXV#XTe<4Q1-|h2}8P@QKiP>{}^pY;Rwbl|z9f8qCpM<7u_9)QklUqY1XU@zpKUUJk z&5=*%3i--v2(HyLoHN_08W5V2_X}f1TQszhF1%XXtwf9r?|T&E+nIk7BZgI{H&->A zwN!BrJ4P3)-&3(DAaTXs{`|0A!qT2++cCIoG$WyEb+)^?Kkp5_;91j`MC0VBjRqcps9VxN#hlE4<5RHMq$V7mEx;f zh!zN>3fq~Q`WY>FSJY(mL5I{j-cQDe_o0{4cj;V#>OgoS#!KmIW)x6Z@I#F<2x~74 zi$~Yyil6K9bP)25?!U|gCY*G|E-CFn>)W1^RiH1&*6W&kl_9|BPjEAQbSdAojLA&M z4YqRa$>Md4^I$S&lJ&#h7X;s(%<*W{&Roo0GJS^?0e&vvJ4E1l&^5VOOrapKT8-FC z;<)vSf69Lzb#&5<7$*gb*R8lQqDu1fE>$1Pd3-h+R;UVLa)6vB}#|0He(MMfeUHw1}ECrWJA0m=$SrN0_ zv#ZeSF|TcW)nX}TGkDLR^(|qU-|M|moPKx$J|TO4BSOE_pMAl#LN;=?JE?zMnNU@8 zu9U%s<~G|^SI!7|{LX??EjKATF2zs!^$K8_flre14l|4}{cU}SQ$MK@G1GZ1E2x6U zG5ZDtJAE`ZIy>R5a5Q?^CqeP^=%d|CreE6=d&5ZKSRaBtMrFWukBnp7$uM`$J}Ka{ ztfD>Gi%RhqUyuAertJN2y&qYT3?b|7(}^;O){a#3;~;OHvnVihchhyaH;W8qsB46l+tVp`*s7i|?4{DzLr;u#rvB z-0D2hv97)1BN;u1=IY5W47)P_%}Z||X<{%iePKcF0UIT7_IeoKJ&2?+Rdd1n!FtS> zWo5^1Dx6l~)Ia-BFbLJjoj!NAowMSzD@Hq33*oh(!fZicbijI;`%ar88nUaA?VmcP zO&hz}%etoo{v^DWwxu^?g1_d;xEu<_!YV%P_*2pI=ZgpBo*L}l-34l)AE=%!N_$vp zX+oh8)YKjBF?ri;rNz!Z;X{*|cla3`Th+@lZ7_CFv3b1&54yp3#wbEcee%j*ooPzd z&O;c5mHxc{MR-*2V-QGYTQJfX zC&)3=N2L?qPTtY4yAETiupq2$52clk2E7}|p>_SXZ0*3O6m)58mYubAHmLL%+Ns)j z9Z;^fNboK|Z}l@`kze&yB|~&iWgnsh;0|fQwEIq)jAOmc&yZb^L28rgshqvvh989H z9?w5<$vtwsy%f!+^wn89D>x9cY0ezYZF5-ZaYn|=S8;0IA8HfIigwRZ-#f2xAf(ZL z;bf26E}t7aGoy-?N|?roc(H!8)u(#7Gkq{FcF}$btUQXZ?{ClM-?GsyDDh!fS=SeS zPc*RxGZ_0z)_n%=2!L&^RlGVXW|hYE_|w`5%sfPyzDIb;44vop?#2&}W~^=4-<5Vs zQRGSoP~eNSNtJ~=Wr~!ELNtJPyO&9TKgf#qXU7ar*R5vepS0jMIWKb{B+zU)NpezH z(f9hPtO!6y6m8OTkc;I~7D*wU{L=>uz;816TrBM%Co}NSa)4K+mOFG&A}bWs4By;O zNzqp#f_5T-rmZ7Qj+Waj^UBuv+?hE2%6s8tBpEFu$&C$gmmg2PT3Inj=J|elliU-1 zl=CpK#du4c1WC(1RX4}JwMx(=T!XfU_C?SSNOM7Vn_#d6bR*}jRCtkOG#R(uaIOzH zny82LPx1(RdicJ<4wGB3NIya}ZHt2BkxdcW9XZZx#Yqqf1t#5*=L3|$_$u+_DcYZ& zRdy4HClqU}B%2Y8ukXlp&6pk8))**3kU5J{_H!3Q?k}WD&x$i|-`&u0WCzU#LG0Zm zfq_L8pPk=Eo~ydZ_)hc-K=#d^DLh)WUiq7?iqJ@!hYhHiS;!W|1$IY zMz%OcRIF1DYNeo>Mz3)<U~GbVJ;*0P&}1oI|U`&~U;*r;Dc%}pNE zYfAIhX}*r4sqFO{QU3H@el^sNi&_C|49e{f+pcdzy$i=FFno)WI8D69;~ts2ZKoVt*r= zitml_tUV|`6#aY03tJ;O4C=>uM3HjqAHC*fdvGN$R1fXy;!=1EK3jTNTq+LbwbD*_ zzP6okpMXpO9_tHhRTDTkhGLow`_PViat}=)n-)!3&i~){y;U8C6Sm&l3xYC5B+jqX zo4(Rj^!K6Sf_6deW19z$s_Dst)KuA#Il4@Gx5Q@o&Fl@IxK=_t@^2#-jr*+4ImKD^ zuOoXJ2ln47v7Nf2f9p88HL!VfA8g(}6g-G1pO(eAU8<%NQlnGlN3Q+Fu1%YkhCNW& z5R@S4YVwqbH5bNSv!zXo?6t?HX7Xl=AJ<9=HqiAGLKOQ~7I()LS+g%taX2TTNg3>1 ztvcEU@OAG6qMF8znYx#>eV$y~CU}$V)B#CQ3df>~O`7Xl4C@BFj)^Is5R}Dv$hj0D4P-JEnrl4M zkzuGCR#P0|#uNHg+5he_naJ*Ua?-;dN;+198iL?XwuA;nQsE&(10%3VoMzOz03p*F z(pAL1_wk0-C+{%LFx@(clzaq?fcvG8Pj751tkJv;S1Ja%0?OkiPQ>M6N&-n;txVWi zb4u8`BCUwhWP#sg3(=U#Fq;)8(|+*8W^x{JqNX=Wwim1_&I6TG?VjX>(4*Lenl16* z52r>+#xRD|_M0W7_UO?-cmpD8gPCQYb-lm;(Y$rEIS>xc86Z8uvnM8CrV`(3Mi(a? z*;Qo{Ivn^sx|o(QwB>3;_UzuJ^i;E%$q$5yS3}6Dv2l#%ql>3lYX#l1v4oS=(}$WY znwCsie2I7P?ms%xpt)1`u0$8}Y85vld|-)CjO+9Bk0ia)W6scR3Wa9DSsNwWfb&O- zg-#2fh2(^&$Tf%8YZKu{xS7hs4~$y;$=t1?&o32ChvH_XH4Jb;)LlLmK9nj^wabF1 z*(HK^2maZv86uCWg0OAQTV+q|4GW_hsr-!BG`>)sS0!*s+3n*PL{$F`h7k(^gOx_p z&o0FcRS5oQO6SdQh;i}p@d^64iKUWR(bq;sMpq}d|j zt^qazTuVMc4V`y({E`kR8PE|CsCgEQ56o>tR5a6{+NgTq&CroXLi~kpC3KYqg=~$Muq8y!Rl1Lhzm3)ynko@A6HhYdS*N3 zUXNcFo9D_PiSSnhht>FhM$R^=9uRvZ{i$xizv++0RdA8@Xe~te!sRFt8ygz|@%jUk zQq{@Me8OWyHj5G6u2hj?c*zvjd-Zs@J-)}3UlH$g5K<7XR~ZN8`~7_(x_qeky$bcL zgsTP^+uHiNq*t_<*mBSsSJAV|ta)H%I+nDCsMFNhuO`>!bU(HHbLmKS2D`*v$80f* z;RNzF0$Iz{P7}Qlu|BU2cSR?_&|dCT!R7YKrppOc`4e;IP_&Y6SmwkT)n+I6wns3B_C*yZkOGF+ z(>$Vz151z%;u3k7$HvBO^Y(r@Rj{QBDY`X4-IzNQcx{%^cc(Vdoy``bfBv9q?zQLJh-}a#pnLYJ{pk4{pG`G4 zq3^jIuf3-AJ_TD9B-t7L|a3u6zxuiw}`wOe$Ndg%t+ z;=bM2%fK<}sEdn>@8>`NDD`KN0X4c|*^A9>qHzWZi3BWLnqF;c6`jjg;m%k z+?u*2OE@LHnIXwy4 zF8s2oSLV`7)Fv-_tnV7G@BzTZsh(b}A)FtHU{rm<$jmjW4FZ}tP@H?KudOva^XB`M zpS*q!sy=-4-7iRRGn2ralLEG0X;)9E`2{&8p4a$+37Icf>;j>z!4vOzC=JH4ire4? znCO<9=Om3UiRQ{lTMtp+dqVF`GJoZ!j?uTIx>sLr_XW7#Eiw8i;Fr%>#H=dm=op+u zp9Yt_q&|>?P@q28Ld?!poQVJzNluI8~@1KuByaJ2(370urq!1wQ+laU-F1zp~PHfqnn%1xg_{<^vr$b;qhsAA7| zFD?hSA9M1O>RxH9_l}N}oNH+swC&$8(ZY#;MDz~VLYgF#?Jp3Avr80H!8G5X*urU! zM6ZkcH+Zoini5ELVycOsi=3^WU-TFDZm59Dg283se87Rv18xfzsfCFBFd5G;MZa_Z z*S~UJO5g3%abUJLrio-HY2k~FU?$Vn;WHxr`JhGGe1r42Td0Sl!{h%83TkISJxX5cK!~APbM9`HQXVyhQ`u#m+w=wkUMbmxgslqGtlK8x6pEw% zi?(R68fc3N|4Cb%(=?SE;#EUBpB`2t%xfWlIKzdSVfyc|E`EqJ3>`Tw8f&$)f%lmr zc7Neh)<|?R4PxM@HwBVH4iHwlRu|B3Lb)L0fszWiK$l%q#q*ge?IZ z!MWyimv!27ZdG>#b$+9LuE=@ zR-Kihqv=}hh04VBCP+dV&3wmPm)85SLC=->)^tHAu0h=wuxl$FTFUz$U^j<^#&YdfK_cDel1%p82bLgrH50OYuUBVY*n4!oPPJ8)WLOgVSt0rTC3UJdD5d2D)?BxWDz0!YI@2Yo3fA%J*W%Yj19Y9s8=A9u)D-*mm+_li(}G{E zu?Z#*k!S0GIv%ZU>B&LnWWOj3yepHdt~Xn5;*j9)x3jA0vdk8QO)$UPD{Xd~!>5P_ zW8>Gwi#{VnnLeJ4zUf=zFRX*+aX=gONyZl14VVAH^9IHtL1Lgw_Fs*1? zTEtH#4ts(6D9efs1AMqmK&MU6pj+1=yr2LGq&-#P{AbyDg_l>T010mnQ9o9iJF8q4 z!E~Uv;*)9gwJoNs5EkyE8vOp#DztfPwkbx=(++^Y%0J;IA%kwB7b=t!@`{=_;@2e& zUK+eSc+d=pF!J~LS7@^Y%E{hU6HK3uy0Y;^i!z>n{wG=Yp3H<;3br@$0mpt6cCgaZ zw0V3F0%ImSRrWfRD0(EK|CIwlf+k$4_ck0$!ZqC;4CjcgDN00V7s&8&)2QMQMYAzH zpqg{?*fGb~kyXgs$a^ARpTj50j(Tnv?5>)9lk1*f$?gE)dk{U&7Z#{^mhfu*2+k&s z<5L>7!Z1rl?ZwLmnw9%qazMhBL<$W|OG0n!-~Yz9IlHV&FvC{(H-?E5SwEj1S-u14 zBO@crQN{>)w;3eq4;2I-b;I|5+jyqA34&+TXG-+TU4Fa(Qi+#HHba z3Bo)Qa84yX_P!`=H|gFQ;uawIP5)QX&qylziKQY-@pDPL&Wzyc2!;nagyHJ{Qp#`{fR( zzpfJcW19@Eajx=!X2(^4-|m8AZVIduz?~M$?@cpw4sUo#`_*&UcEWi=t!5woj4zAQ zTN*4coGH<3=joV)$F}>D%z+0c?P{oaoWU$ORhzCA=~{f&z8&cqd5CjFPjY?rw>@pS z`O3=>!JBl?P{HzT6fbr1k9C;rFU*6+%{+LFZsel^c(ZBHJwdAs&>7kzy*m9rcL=(*gtW^B2g#Q z5cv9ATWkidYv<(ylZB;qSl0Kxo0op*sADjsRtwpiENFZB>H+1OB?bLUt5>icnd7H; z(>p36Ke}WxmwZ>j;6H1Bz>Dzz zK>J&=Q2SGvul)gu3T);uy=tN}P17&n%DPx@GL_u4eU+p_g7jJif%!7r0^=G}%|NFE zYE?h*=8!Xuev?XnKh2Z=q}9C_uw=YxMy{)h#{ zfT+l!5sH?r-P#F?xo?(TT70}?!v%c*gW7lv*RQpm3%x5AO)#%2Y5De4hR*L`)=4YP zs*}eVovk?2 z^KQYY;L!b3@B`S3BGI&-9n1Eu!*47-`SJ=qt!NDq*zS^OdUM*GeSxIReay^yU|%EL z!?I&Jty7f5;1+ymmMx)B4PDu?)h^XH4J$;Qi8{(j52TlK)o&jFCL&nWQ6P!>zr3PQ z^y$;5LyMmRel%nBXKC6x9Ic$Hn9Y|x9Q)wp--f0CyXN;;^6U{y7HWQT{@3-mp}zb^ zWL1sS>Ex6HJS+WQl`Hyk2WLt|xqBG*u_201>_Z60N-(QTl8Pk&9jNQai_RP#Lt-bV zh0Y^z4D^Y8yb`c<{=n~u0Z zG;<4P8`t(=r+@VJE$GP-Wr|`vwZI}5I9cCa@Er08$9AmrKL20-YM%H?{wBUI6yQ=H zNJOVYX`fc=eM%in8dQ^b9v8}%d%{&%K2o(=Pog%n^!EKzCvzD4o7%nfZ)*3#0rg@W z#q~4iXCuF;;)~Y*i0c2*t+mJ!qjnt#!P*Y zhz8Xb1|frRzvlhR8ry8l^Eq{TiKZDjPg=!)%B%iy`JY1L0yD^iuV#>3H~Ae66Zl;< z^-&6C1?s><93yqiZ5S5dO1lRkZ!XBWv}B4NiWWWpXb6Okx}DPN=4_j`;;vFBl|80f zx!YU+a_W3FWgGOT;Y2BZA{t)+T(5+J#0f623Xv7}*?lF~qSlFrTX->i?y}i45SZwO ze)ot8VANb0iep#45Wv6}ghZE>cGFBVnUaF>K?mImJbf6}zOSq{aFojq*RqQ{d#22T z<=lEQfhFg=afx^TFMs&TJJ{z<5)+t~!~`~MaRV67fP6V;Ik!~zs0_a(?GQihPXmrb zc>{@$AL=DNUP>{urnnx#bYG0rI`>3solDA7JiGXt<9w6u?B0;Pb?DI0$442DcrBPk zao^NFhw6i*&6JB1?xj@JP5qJm$uuP65ABRTy?HBG1ADYdp5_e_*=d9HD3!D;)_{DR7^kkty`261u!eAii2ixE)?_)z6%R11u zAf4D~h;P@xjn^}_X?AH&X-K3sQV}5w!VSJo@?LMK@)U`LZJXgS*@b@Wa@MMu;@3S` z-x4u8+I;cBAyPtXEpN1Mlsno#DvOeAgUqionBp>~s~Xl@j}=%3Y&V{$rl$KR_4Mu` zmpA@r@3&;WkH43<&Yps3zg&w1f;3-5_AMXg(wPw)S-z8!O#gMipb1J5v7Qtv=ezUXzviy>xfaVsvN<{DWIxaIYv&h~f$lag zAubpUwoUKUkLO`9HU#*|-m)3IQYWo*8vF-$Kd*ZnmfI>a0e;!!sC`x&2Fs7+UbW!> zzi)LrW$F%t@zz2=@OpHH9So-WUhhZk3qF>Vq3YA3rsAB|>o04B-)R116VC25w559vw)oDMGiedCy1B$7?kSvAOOr`z zM;wVCTFDyjt?~J6Fw|~12P`83#|FEgi-g0T?Zd-h-8)b)+~gJn4C%RvABI zx!Zq4+BCQ_wdU5PwRWL08iv@LMoGd!>^iZymv^@!in=N6O@CC|Xdv8nvT>a_h;KJ8 z-G-2elv)$Movr3>E7U2eTJum4| zpBXAe4>ygEJH#g?9X3o>Ka^)lkaTu-ws&-VI!&ddHqC!GK z6jW6DuxAQOOM3-nHe09|M8u7bFV$tkisEoDkpwI~m;UB}?I~Brk^?FRyrUAC$Oof< z&AL6_etva%o`~xSos=)n#fYh-B$~AH;b_}YOHT3Mtu9P-5-;6N$IDGO`I1&K$*`he z+{+~Up4U^odDy}$3UbAVM7qwaR3|#N_Ffamt!zaMHumOOVW*<(lJ2D=QO+cPccMxV zZ1Mo!%{g9le!8!4j=9FD+m6DLD&3h5%doD~$Pwd?`MU{>P(E=XG}9$BF{uBM1P9)L zjY}yuU)Wc@qbK=(bBxy$jk+hWE?wkEokC5Ki>*O!R*?jS4KD+h-8=Lmo}<&_J{p^5 zk-mq$>m+i-%ydk8>gO)an5Enpue5+&?(7+%xR=ER-#O>pdA{vgM^({Ioaz?DDvD@- zpY$%lbj zt+24L-eeOl^dR2tw~-MW^fStDziE$#Z!B(DguNXBC-!+_Mz*8Mto{66OixcAB|g{9`Lr@DGBR@T-8GYoxhHZtVSI+j zkqboaBgc+)`xI844p{Zf4qKz1T^{_<7toE5jGr1AQit)O$Jm>+nj@RvylI{z&r*Xw zkkP~Fd$x{?KFcYihLa@~6_*_x9E8wa-kCC+qRk`C1z=*aIEA-348K7u1xAA|tXS`1<=Mxqdw!eNoe^w_TZt^&?ak0S@{??{g6>lCG zt)NINs~l3J_sOE0wdx-|nz-J4&P|yyoe{YA)av3KgWlFU(seN?@Ab;c3esx(8^K-7 zKqE1WGNNo#{d`JLUR$-6Dt-C-vD*=Cq?UCV7jIIDch<(~8lMK2NTSG=@3!FCxm84h zAnOl3D_*-raF*ueyV(FX<8_9ks{js1nEC;~sNzSSy?DMm?;p zKdHrqu&quy`Li|+U!;K_oDz&4)m0O~>IjvnWsVYK?<{6iE~}+jiC*0-iVD+)3-ZEW z?MpVItKK1V!bv}&8~V!b%@2sV%zuEtl4k9e%}YN&r3BkiJw>AvX!xUHMta+%@Ry)Z z)WPsH1uWu=0v^t;q9G4X*RTFE zCj(Bz$qA{_vA$(oT5wPq@9*7J`$u(T#S4E+m#q@=4W+x4XbywcqR~|@fopGigFA{W zUN-H)qAFVit$oZyQG%6eX=w!|B|Sd1V#Q6KpOuS+CBd)z%U9ied@d!c`<{n-ExJGT zyi?Gh1@WkDdivV(!i3RA-5K(6!D@fNw>!GK7rt(3IYungP3vHqbHZ+)Kt5`NTK@09 z|JXM$;9TkJP3V{@(&~jn<##2zPb%2|x^;piMG?zsUABo|C}4Rm?Tmo|@3lWlN-p## zcs*T%@kHWY#_Za)tEs6;e>A)@D~6Un1mgjXJZ6sf;hAF5n0$njWB=5U8mv|V|KS9c zNRXPJpAT1B$i3JfPh*qwXXEPiW3Kv=dr#^yIt*AXEoW$GXbx)THGiZhU^8zah1k;9>=(&oelL{)yQbV zPMjYY4|;xLb3RX8Y|mq=RL~j{FwdQ+vcj;T23Y6oo0$Pzm{wVG{QR-;P53}IF0I2x z9)%I7a_*FqDlviS-?0~g9*(q&D$M@yzi^=C;RR3Z!LawJt^KN8BGJm8n#js=_E>I-wQh zJe`~}&zw0EU0z-ehF)-RaGl%r-X>gIAfPIa>ZsKx4jTef*<-iVJyXTYmoMAf+NNgb<bzo^~ApdGV=^ouQM-ud3!ha^ceTOd4rgmnzHxwET$i+CR3Ny2jFr-oA|}Lz`*Jw z5@n!i2u2SWG;x`knF>da7=gCm{O;XPrk0j6pmh>bmNkOf$bB*cWbASv?fx3PT?4?N znSoNYJyc_@t+5h@$8x5SP>Ra6&UCl?a3$xH9}3)f-QcBDl2{+;Y*t~^<8HM z*lx)nU;wHr^k?BJsR`ePmbKbYzHp`Wk_)X`l=k~&2Pfh#hjem8cF(U9b&fU zVUzptZnnFv`%B~{dN20h_kyDYz_LdEq1QK^UNn{xI%JIQ!YB9Q-EyQcv7SF(P0{!7 z)vxH#yi*SEIssv-Uy6H9zS(@y$*O-VQgjo4Ac9)Zh?zaBvO z=~sPATLVl$KQa^NuwL54pIh|&c{^6ht+VA*Lpz?zBa)PuC=HdX(p;|bU+wRBD%7+q zD+hgcQvK3~oU~xI`|#}&QdtIP&V;>w1EImEYsL>aAfTn0kdR>S>Y6({t|1viBdfyX zL;$2JD7f0&t5KfY!35ZZMYi=VCASUlzj`|x2CzswsVab{Z0 z+x2oeZ@CyuT^%06t$?+6amkszt#LJG%36`H#%&A2Tuwv7!pqA`2>mA2_|r;I*t)LQ zOR^+;f9Pe$g-YPvB&qoLhYzn-nnqqF`S~dE)zk_v`3PjP*qc(SlQ?dq`k51Fk{Hu*rKA*y zbe6lca^7yXd6%*Idt)YOi=ug6pp2EU+Hb{Wg>nb(%;lp8B1y0KN*U(FRq7l$vMHfj zHn2L6lQcKGPS5D=oO>5p=%UGdSY3T6B@%06P(pA)pUKtD<%aQPrNK#8{Od__Q8lx3 zd8zCELYCj1k6?PNydl{ol$GkLALc=T*<){Sp9XNOX|njSB{F^Z`H*MKRMZq(P3=`jPima;j;ErH6IguP5M9awNV{wk?{NdJjKZ`{lDHRIFO#IQPmvsA9XIp~U+LH+E zr9l3lWH^7#I^K4ey@_O*BpxG=fDpkJ#8X!QsK#a+Ly~_^ua~F~QnM1M>g31B+zK7x zThS4`f263=!&mOXxQ?TRj&l71sCO&g zv*x@zhNqPGm~TOBm5vLpSr)tNPsZTha|^BA7|#$$_kA{pXaCiE7RF-;KyDOMSI+SU zsSZx6NVSY+1`NJ>6_AwWET-4}&H;Tyv+9qO3pbHgd`)RCexA(PGo3;RffG7LNWCO= zN!4dm#_DLG-?so)Zi%0U>^57Yz=BUy;~E+r2fFw%;&bN=o+pGisU060oRBe7cc!Sf%gas2 z$H#@xgDl*}&cbJ8Xny?k)8lCh#aruLJ_SoH-j; zc$NS1`GXP?d8S1mrJK(7l53OaoDQLm;EoRna-04=0d1|KwX(Y2S>2QAKz z&I=L5)%FT+YSZef|L8V?bBtFy0mhR8C}*-(5OLY_+@Flo+}Yc^R6Ss&NXe~eVw^|= z{q-Xk9c%#NLpSyPay-;?VUs_AW(~lV46BxxON{?&*v(DPIy*Z_YYck05~Ji|e-!PK z{4N&YngfGn4&vA&wV`zhftMx8DS$V#SaVN-!70}n7m8k^FL^b`n++uk4^h)=J0TWX z+-MuOYJT~$l$x4aX&_HDB&e+01p($v zSW8G^Zx?0b;+q8BAM8H5pK5_v zU(MGFi8{8V**UHH>eAY!rKN_$tzH*NsvBr9n!$w#BCJ*odvQcp20L86`fS!g<5|px z>Sc)B?S@q8AAaLhdq_W>b+LV?YLXfsai>zUMhVDXDB-ix!IfQ>U3CS{oJ~L@e%x( z-`ES-hv)sfQGVK^*`-e!o%ot&sk$pCY9rb7gZRz{S%@M5KmbB_&?Lu=l%Sw4?|=xl z#&gO}%;_aYP-WTD@;WiPjZ6#Be4D7%dPl3ZWO-?-oGOmS($*?2egt+g@H7>F^MzEL z0&T!ll8F^W$?H_>7#26f22Qu5*%Ip$73yWH*W|UVh57XC^Wo|_m z-tDZ8yiIYRmWuFBXxh;7wj$V?GArnK5zbqkavc{;IHD7nYcFu~kNvN$V66;aQ}p?` zps_7Bo467$4;&AZ+?o8cz19n26!S^niEdK6`$gokw(=yULaS^r9g?^HgiviQ?^JlX z%B!AwYKjah;zdG}JH_rgvo(c`Cg+U@3>UqA2iAIRj;7|10x`;UJL;hWjYo&U)`aZU zRuN;zxYU%jiABSsJyEdRsQ}ZSTHp7eum&@Vn;SYOtG})}^X^?$Yxl9pCs*a($Joh6 zY%79}*fTwn~-RyRxC7Ho_@a_8wGe4>9( zHI*8KRwkZpt^oKDDBL$Is#=y1cK&=@$ywC==IeKrbGdCscTM3F*C;<(SaKd%Or_*W zp^t2a2oN{qO#CJE{z*Z8qtU#47bh=n$iIKR3h21++?bwDzy5U*{b11}U#@Q1XffrbTfh-=VH704@&P3E$9@1N|0G=>8-cJ0yCWm|ePrU}>fs z#E%8ROq$fLD0F*WsC)b*$tlm9$^uY)kbS{oJna?6K=|TjiSbj*^W-EefdiD&YVZu; zNfbjQ3Y(@&dv3riE22R^m8ILHu1Yo1CYd0lMfE}=wmx%U=ZWA zH8u4F0!3xedeyAMa0x`1rRvxqyTQ0BaLp`P18c15ztry2i9StQ?Tjem#H|2X%nWed z7DA53Awbis7lG6UprHhy9j))8)nIaosd}q zRDwTRRQDFkjK|J50o=#aE(VmUsFSV0r-;3iM;g*#X$sAIufZsL@p35NxU-gJaiwfj zDphH7C?gj@rZ!)nQeLDQaPQ0=>ZPTnqZ=C=0d-!r){y*Y1365vY#>5oO&6fm3i9&j z08aL^)rM5g+E@SKC}HDFj{r^$^a1oHs$X1jg%DTlsmE-o?Q;o${U zRm6nv5;qi}x@cG!?|*0ex^Ww8-VXf%4>SL*BGuYw6F<(~fLN7OYByXzP&(f^P&(qr z##Q5ORpmdi=8ozET9!hkYnb9&q?56`wkf01Y%UbFn0$( z|7{DEJfQsS)QQKjh247n&=<(AKvdkEt{4(*CP|K)f4%&WQk(G|3fIb5S#(Bg+{-rV z;NNmJClL+QRK8RlBwY1yp)IsAiPb^Ff^1jw61`i8rNwo^acmyOeqtE+^$#N_Mq8>6 z$IKh5Ej*Fa-^7o<4>n??ZhyZ!rX136AMophfYs+WKPYi|-RK!ZdtxES1(vxhoKz~b ze&{*}3aOdjPUi+#q`yn08EjR<169sx7EURz2H&f~Io?NS|86$5_ge6?B3a5U8F2er z8!E09nEQ90g*cF(H=o5pJS^$1=W##=%!oPe!w@m*(S4K!K4m8mx&6=_t}o)fi#v!# z!Y@uC;byYzx)Kr+%}i$CpW3&RmIt_`B4S6!d7u`$R{p}0)Wu(bJ79MBYfUK4863F# zD@P3{vjc@Q2DHh-iaz#2pW*1}7@4=lBN!aD2Xw@*9W`9;b`-9s|8q^K{d+d9cC&cG zCnrHJArv}l&qE-K1J)6)G<`11Jk*@;Jr|tgO3v);Y}DmM$}`AuU>(jFw6^s0bRl$) zcTQw=L`?oV;ZTaOW<{RRn7q42WkM+Qna2G?Lx%w;fs7>M0d{>bZ%+%X6|R?_V;t!B(qn+x1}luBte|9*(Za{c*7ub zSb7(Edcd6P&{hPwRAt*%$@afB5NnDIQs=_kZP6b_AI=5l1WwHN^J1+(OHC8+rvwDU6Q`@OpFA2}V0ZhJF zj8YJJKI=rw9(H{f+s~Y}S35KisUWXnHbHcpUEPB>pWdb-Y=Q|KNOciY#CIv)0mH&^ z3j!%M#85>jQM8=|pWYMFL1wy$Mu&1C2my8s@n~Ij;JU+dJl3TeEx(tPStAIb3~n}< zTJRuDIHR;TM^75xTWgd@_@Q(Xpv{RNe$^?k%k}6T@)fVv)M2d@S9e7*lDV78Oq5FX z(7B(>JzlFBCsE&(k4PsAZ;DQj*9iUr-=z=E(YYOc#C5u*>^D_Jz`*KCejaCVojQi3{apiQi(Uh}qf73F%aSq(jq^~S9Rx`K!(lQI%3+E8ry1OC@o*vI(#NZ#>Fc4mEO$C>sqo4lX zK{U!tz`Yp+HqIPy=-P^?X=vQ*X!^^s=2yLQGs&!pWWPfZ)a8y?@4m4RtgqAu&~9zr z%BU=NBh-7U1_ZPOo#I6c!94|%So7T6T<~JX7$m$Tj3%V93v5NehV88bX?>_ffkXmq#w~7BuqtOC$!hGbv*Jxb97$^$~`@T^+;ZuwUYjks-J_gjr*fzC=KMViHQjXO-)NM zHkyDv05+^FkOHAl3E)}_f#dX5jTFZUmhaeSNaF<91(rKY87M6PN~nXQWAl9p!=@~g zJct_r6XXzZSxCULtGI5@@RuEK3pAj`0V%C!2l$G({s}fpH2^nyzwJrLnI0Rnqsq4s ziI%oyf*z!eZ6RFv5&=%3)fW^OHUD(o-9g%H3tp1t!K#Q0o`f*ix6?*CpfQA1e#0*l z1XEY8;P3phR3zB$9p6YBy;lIcSLIu2qjr06!1Mo^HVVlFZ6PY^tF%!&IA=M9&(cOW zbHT)qy8A`isPhqsF^}_q1<_EkruYjTZQ<9XFq$G{1z3srhZ$AX~A|bN`s_P9>2ubk$0Hmox zrgkB9u-pX_O_0J{5y+=srHxoeg)HCC(?)m*j~IR7m$44F?<>E|Wk2YI`F|ydPGnXO zN9)?!lK!BkBxnWUAkDz3A}CfoE)4lVd(2)E^=mx&&@0VodA|@YQ z;D8_K-PfB&*(`*j5o7DCE7!z~T9>EnWuK^9R(&wJ4PBEh@Y4#uQ z3v<;aJIsPth6h5`bpR!`SZ-gczticuR_J$5ljg$6uUs1ON@-45w_vWG^PQ)^qS6=f z=9K%hl^8E%jFObS2XKb=lXAC8d;bD7~~hofy7uE?ie97FUWTYo11&%Burj z9NkVNS5fA5khy_vTe+y8ulBU)sAl_^|OkqceX?NPhz z`d0~oZ1s&kk)0nfRpfU|*PEB+f1nQs&pG<~E~^Vlf_)PvOvfL+NF5K#rH{^0m_w<9#spZso)pr?F+r0wxc`oqY=e7dey=BQY#c*uk18}FXAyEo%74EWe4{B_s|I?w7ygE^~XGtcsw!NI6K_h8$vxAlE^(`vjn$)Q0QZ}17%QOHAo)a zHv<*fsLm8nd2UqI?>`GColn}7kX53x+X_=c9pQ|&$qk-E!P813udN4P_4nA9c;PJT zFQgh3Z{4sQ+Jj%t(m8sX|bid=~_2cxTTeN z5yPU3j~A$;B{DNlt6z_00`lU~1W}^Pmz^tZOfD0W<8J34(lUhvopv3ldItsuNZnZ` zfSCwMvOCGrGLEWagixO zz!4-qrk*SduUw`}f-GfcAgg0#e`U25B|-g>sC_@PBvoP80m>O{C~Zbma1ZzjioB`B znC0c=I$^(FN$|!aZm8jY=C!fp39?%e{AQ^PmBwpa*S zMt$3BW6ccAmtNcPIDo-U>3`w1-GYE)RLp;RZ4m#q9{b8`gC^t$3qZj2vrT2HV!i2O z>KIKG**nkWuR?OioJ>Ncn=G1xI6REz;iX%sxJIPRe{dDmi2;a0?{8%xxhC+(Qg;7W z7$-Lg);Zh#qui4+fZ~HM0jUP5pP5AuJB@pQ3M(8tb`gX@{n*V44fMo1?RfOQiCzNF z*Zpc2+wv(-L^$-@MnKB-%+|rgf9>M})=1_WeYgP3D~OFlioBJTENI$)hMIVnljR2CA&7nVBT8Z|(j4E6=6CWn)ZDO()h^?qZu)pXP8gy)b2( zk9AMm|JxvWO$G}P{(~r#+%wib_@AOs5PU-hgPL0utFYr~bP*rsd4?Gj(IQ99-#E7y z4@26u902 zlCu_2Xi|DyM}XB9^s|d)UMgllF-i!U32p__Z0sHMi%h^M4X87ZC@lPEaLTgGq`AU# zrUKB+-W5a<5c@ocAaO>`sX41O&x$;qfO_gv`?v1_sO|#=Tp7hu!_+9Dics^s47N*i zb91=TY%YZ2PC#JG(cZorc;ivKu|UR~DH`S~ECS5fqvuaj1+v)|tUwmr^3Rb74hY_SGp1AHXnU}_u$%k{w2ND3ggx=69W9#Aw@4;7m9^z?iT zJvq#`Lr2wvb})E`;V(771#E((qnetUm^+0Q7g<9HI-H6xXA1~Dj<&3jr)+)Y6^+H# znB^mdep0=uE!6R4$K~t0g|Vhgb>^E15)^u$&vFL z5huSHM*To?z`84xH&Wms2(OpZ!ooFV(Dc@TSkzt1a3FnA8ov_+X{Vcjk>MA;_NoZ1AW4+@5;52P7nLs9bf86fwPbpTC`Bt{b8R{w|h7J4N3Ww zNN>pV>vud+txT_cnY`e8D}T^>yPpG94$7lH-^ioi>8Oqzcu|(ZRJi|?7pe`SgTFD+ z;S5x%5{Chg2Z_}>VOj?3>53vS$vry0Hs|`GI-3CE$EWBMD^L#f$o$mfCjm|p5Qqy4`&Ry()i@7*%AaeqS}SCPe4amN!8L<# ziD{6a8204bVj85)N5y=ZKZpDU9kVaRG!Fog!YcnWe-3#Wu!yf=81O;d488@!B*6sT z{CDmg{11j}ik=H9>9p}ab30oZ2L9=t QH25+1xb@Bduj>E*09E`8sQ>@~ literal 0 HcmV?d00001 diff --git a/pics/ace830df-9919-48ca-91b5-60b193f593d2.png b/pics/ace830df-9919-48ca-91b5-60b193f593d2.png new file mode 100644 index 0000000000000000000000000000000000000000..79efa287c39bd30bff5a43d60d72e4bb7d0f5fe6 GIT binary patch literal 30720 zcmeFZhgXwJ*FGFXiUQ(M5D_UJDDxk8y^NYZLj@l|~DuY1facl>cOu+w- zx!yN+2Z2ts)BiGbx)eSGfjs#h+*Q{1u~?ZTxEmPctOZhY7F>LaKN4|8Wss)QxiZQR z8PDRC)s^QZ<2I%>D>XWI<#(OlO-Y4v{8_^~#^IF3peDvpcll_%#?d;aBjNG!C(9UA zPMt@QV`OY^FPK@GS5$}*H!1otZPmk#Cn|?iTO_}pw@PFH>fS@5 zzT%=|aoYtH2b$~&kdhaDN_G`*7hFdCS3ST}xG?Pd){n+&`#Y-~PRLFsP?rGx6lv!4 zOVS#t$uP@tk1Q;2n~8ykysQ|1X6$KDJU{)or7GpxL0V=^iAgSfGO9+puVS@2i{=0^ z80lg#4>bColhiZ6w&OMF#$5V=o4+8|sI#{b4vG(=w?23Gbbia;2BgvnV{cpg(69eF zVK-%g6EqM**BGOnHkanRW@nVOZPr7L{tbfs*`G|HfkSPk+aK{@%7dj-`h*f{a){_X zd?N_7s0tW}tXQtUEi7s=Rs4Kz%!O5F(&PG~XIOqedmJj3Zp;>--0#~zbQ&}eMIVOW z4xM1*NQT_Ec!cWPq3YBKCEB`!UFMkr6pYT3YorB7L zbTbx^7h*!bX%4r5_Z-Zpx%Vl(OUfY{DG13p;WgIx(@__*_5f>mDu4Q;?-eqEgn=#% zeDwO+=~(O}WIZv{%()^wC=cAw61q#cZuV>_Az#!7*kQIOznkhP z+>B9m(?1^AYWw78Wk0Panf!MQ{Dhk6Y)d~00a&fSl*kZ0miE*HB` zRqGt=h=iAm*YS7yZFrjT$iF?<3R@ZVZ0|fd4(;FAT`cjU;?>K~`p03P!UC=`1JtxrY3x#ed>CLM2XBWP>RWc^LYl6ND4McOOD~xL6EC zO~srHdB~0K?9eZ}JPykIYOjXlVAutD=|QJfTYej2t7G5#TWk(lyD4j{E%UAQDC)~h zrPZr_@m^cSlD14ay*x8K8=TpI`f&@=`D6S=K%^15k>#W^o-zKu#mENuN*fQ$cC-a_ zDb`hQ@lPRGHmXHPq`~5kosLu4h#{e-GJqQlL@u&wfE#iQA_tMc(0qilf0eEK` zFK+Vc?V4>s+7D335!+ITViT4>(|cQ7nCt70xXaW!gQ~xgle(EHfY);EC4Chewa)thy%T3#@Eev%F0va?7& z*p3sfF#BBHI7bu+2F#jJpc!;q>GX|h*NKml?xVb3*DUCBiZ`+jI?sr{4H#eH(~cJy zQ|-1{8hU1lJL#5DKe&hDmX7(V;Thk&06H*t5)qvAMh6&?*HRU4I@lVhZG9lC2>d|~ zz67igWVfjqLK8XYZmOIzDrEpImIf&ifGaI46>ZyY`tm_&>2CNJDr;^m zn&;8O9=zAL&9AmRJv=aM?|RcMT8eNOQXm;it?J};esA5~h@Ms{Y^+zTGOJO|T+-NL z2H7b9)*3KnQne8UFV~Mu>90pCie39?h2&ui1WY}@@83U1s1!|NREyb7TJvV(9)eN& z&)KzyG=Ac61!JG<+zlxbCCu1If;7=@fNSBVKBkVpv7psCML~v=mN-CYKVSh0Pm-Ow zCmQV@RnD%YNZz{zKA2Wh$&UM+FC7|{w&OO#(Rgfm+it4;xaI@tA(SsA9E*8CD%dZ9mF{0B^D40Hw(n3 zr911_Qu->rd#HNI-qq9XHk~`tz1VbB8@+vw${JSp<2mk0OyUp3VO$U?*3g~Q zJkzq&4tUE`s(U*(v6b9yGg~h}oSGI(p%I5Ji_^NJZKjr@aVy|@Se8GL=*)*7Odw7h z9B*CSQqe)XbBmV1QRV_tYh~{(@gja=X9f>GOLJHF^|oblhZ@OOQJfM+*A#2UKOv09 z5?h?_-2EEcS+_DGm9IBt-0ytiyo{rtzkmAtShb^C9s=P~Vb&59SV7v^(Mk*nVK8-` zsI}~#naL7WRaM2|dedsyIXTlzkSZhko+VYH}FG0+DdK+ER@$j5mwD0$e9 zj$7S3-`(Apb-vy`X8Zxq`nF?7K6$N^V3mZCPor*j=#P`qPYhR<#k<+Em$lN$l4*a9 zTeT;(C58^lIf{)fP~GRaiO(-o34abOC)DqmUKlL$)EwX4#%p4{0!EhiXA>89H)3Vn zR?B28Mo^pzJH06-7jY`njP6CW>^ir(*L7a*gQRIcC+0Qzn#tQP(}L38f`6y&$6e_O z>pw;;bZyMF(sG*7kDmJSHnZn#TSvgIU$ckCbnZD*@^RX9^mlpU&`-C1?P~Zp#V;yG z*&{2vgb^X53E71Nbj|q?l)qS`3pZGQEKy~l#`Y}vdKF3dQAf0jVeK`aqHEzyYT1v} z7&O%^HPu=*86K-yKF)ru#-OFFrIxKVtEH?RqCKm9K_^6~Rp)|ki0-VerQWQbr37n{ zGKfRP_M}An>}}Qr*+`*BOFm&IkAX_*=HrUz8vFL!!5L{?*87z9+?t`4eKzl2Z*yeN zaNmXT`h4we%L`dWTaQ{{t2~oZRe@D|#m03_D6z^qEA;XKHDAVcsb-IQVD3)-{-W+L zR%`v#0-?gPWCsNeH`lb6rznq5N3%%rM7Ih{FQ;X2e>s;5*Gg|^mXV6vF?Jo4Z zb^cV?88y%gAf65u9Qz?E^x72{Rh`9EJGLxl>ov{bM{rslYjL$!%{ZR=E;MNR)ZLk+C9B6rWoba}72|BqbaVd|j5*uWfD0 zKLDW!9~MsEJQ3t}`;mgC+gmE4W1T(Ky`C|xT6Pa{j+>oYmT zrT4?k>5*cP?DDT7a2x;o7yOx~w5>OIJ>+zh25)nK2JpC zd5#$bt*4nm`)|q;=E6*EiZR4Y>Z^F0p;fABI$u znOe0=BkNnVMZ;T#q>e}UJ>Efo7eHj3ju zGvuj%F=0T3_0nme+f@8i`!V8N!XI+9_w`R5mX1WoPdXxrBbwuviNk>=t8eU3{UY@E zHT^==DbeDqLp&9t=UIn5CG0Nf_dgN$dt4e8uAH?6c+hAi3i4iWwzzlCSQF!RhFtZ` zB1Ap{5}_Cq`O>3y0FFJd1mcH(Bn!~}tcTW{(IaFX$qLP4PC917?75buaxoYOxE4zM zTa)Ljcg9Mc8=Oryrl8YS!z+9@qfk?~7?A?|8W&0>?tG)WGRkyUhBK`8vzn#$&e39P zZN10%AmvHv!ZRw>$BUy2nO`$#!+{GpImC45YtO8^_sV zn&@)J83?hL+2yzpg+cmSN|GMaS)mywOxy=;%G#yj4u3qGIr{_$Oz@^=>TTuIN$}c@ zS1C|dKRBgq`n(K0$$!Hw>mN66ENlZz!0TdfYTH1VP5YtT*VzaRj>e?k@K3(;0RWlnV7dEGUxip zMlY#tF-n-8JTi2uaQ}#;Ng;D||IE!tJPg1bK9ktxCDKkzeZmL_kXIz#e@>W(3Vb&K zFo@BB^;GfQpVfsBeX!E0Yk1*x;ay=+v81-SvOUvX3&1Y^9BA*tsR0#;+wwboFk{=FNk{?tmPzyn{(twR_jOxxmBA9M@!A>9PzIh|P#FXk(36AJq* zBm!)g+eLGoa&(_aZm4a~(PQ?m75kLmlMLv3>FBs;H}8uI3y&#T_z+|K<@#x@Nr)tO z_?3u){i_2&=r5#qBD2A93JM<$Xs$$=Ey3}MY!ZC{BIPDmc!)AQOUMsJU&~se7M)S5 zrYiWh;rs3j(uKVfxYxXgUo%>H$2N(z_f&Eh1>%Am;~rzYe^;1zG|RdOfjtnJCN#iz zT4{nWojCr135ctT%>@M{OMs2Evts}0OcpoY3zt@$vK?Ll&c%IW5m~KtL?2%l-{eAp zKTTpix<2Uk7UKXtfURy;@WV9j`65SY?V>c^EYC91^esA6=0sTbX3qP_m7dwBx4`yu zlCr-8L!z>?FRbpX<^UVvLtmWHy&e_w+9D~U|n{P)4gW6-i7y0i7Us{qMvIRgOaraiOgcnoF zUFLlt&J6ytzxq>@xXm+(`=WNmNZs$KxdH}K8y%Y|mi`%V9)wB42a8jRSqXH^z|rZ) zRpL-aQ03EcNq2(4O&6|=gjp#Uj$l%&Z(CMH8nMPRcU4M z(q}lgUe|z2m*mkzeO9IM3Z+S0``#cj4&(XW%Yu+m{j2iTHewFFaq}-Ww0wPwmixZ_ zC!VZ+dc)cEQ8^qf!1Ehv@|mvb&(7BvY;Pz^)`@K#FiwXzck9O~wf%l-6?6sK$&e)( z85ITd*7BqrJr{vy$(oNfueHU&eP4f$nvnJO9r<|RpR||6G@Tj&J%7t_$4n{;HSNt@ zV-j6cu;Q?P2zMT_Q{Y(5c`(U4c{)Y~&xqEwEsIT-$%NiCa+crBWY~0cI(V55GS9W? zqdrO6`(LQ60rIGWj3{EOs<|e2#lB&zd7DwlSU}$AiTX|e>BXArAOQX;b(;al#HDnp zrj=9aR&QK^js&eDuY1b9U?%_N0CXQCK#vKjO+NhFP=#TlpZPCH)KH|wa^)LBdtNeD^SAl-|-y3v0smc9|eJa0JtXmYN#J@gW6r6 z?A%!sL8XO^2fPGg_}D8h*uo60jGMcsY$Ac)is)AGM25|uCLmC8_Tu@-$jAeAB^a=B zsrhp~{Cof~sf989DK>4bZatLTk-)FHxUO)`J z0RLxQPVzqObTRT(_3p5?HuAjPG<(Y(b#U9vqyUnBLQphYw-u zkv(T{KN&$!?p?WZWm)3H+}y#7SBDJ?H(qA;Oc+e!aFe%aydaRaNHuA)-m@EiR3E@S zva)4^8m*cqCf5{?09fq?MoTfJxfvoZ^);@j5Qu}7R7EGUy;IWctA z-vlBG9Btn;j>ZZC4Tj~r;#XFxX-9_WI!iY1jOqnq4B8(cP$5suPhT1}koJc*y|eZJ zAj+uop=2L6i@xH}@;q$MMTZ|yO(c3Ez`X^(O&`V&6D;;yyoZUOKWPHdqy!CQ8 zMIdjt^xy&liNsFSK5qxML9!#ZY?Q`qMjrvEC~a|zIBX^XU9NYg578~P z0Gj^?d4C_auBU_No&R?4Ojz?2gP+}?xKzWs;&*(ui*$(lA&u_dM7&C z=38P3T{+sEJ8RR@JYWlnC{97C2CtRdY0@rIz&s`46auuDyhT{CQb1s<-zTz!qm5V` z9%E0|DJUr5ChFXAJt^Xc)Ve;r2xe1-Bi+hQlrD;Yv^~;tkX(XF-B*(}^sI zKwMnv>}zF=cS9$MJzYGB88rgm`U^$y1dX~b4GLFUwli0{&Z-axG{7kf8UB4h*PS;^ zs=5L;zg@N2S{jlf39m2yw>eA)BQ@KS9lk40UQWrAeQwK{%Ew?Le zQBp3A8IE685CwMHx2(C>L*{Y;?a3*oniWXhJhVe(~|d#_v?^rnmR zL5%MjVbrF78`~Qtw~*Y?FjeutQfl`h96fF`pBad=QG#Oxb#tvU; zUzTFiD_+@yfo|`|nU+rWWJ-4TtgQ=PNi=e)wCM$(FDE>gC9RIzHt!=xYc8*nqTnC@ zM+Xeg%#BF%6%kw+xX>#N0xE` zK^O1TEr8|R1j&O4-;Ey~+etA^{yVa?UDJPZu9eh>5ppWf2bWc$DOStoRvC}ilRn(T z%9BQrGAzv1igx5Ws@7tW}`_naW)ioxDMiJADs3{|LX+ zlJ^)vTV^8C!jp`S4GUwAT-y#fH8OTMf;o1dHp_1Qdjy{QA~88d{)^2^X1M=+8KWmm z@@-OoIvq&$o*dlqI%v2-X0#$TNF1cj$(3neL7FZ#V7AP8Oud#yj)%@$P4`z*U!>Wj zKAxRVg4X2P)t7C(G4TMLXnw^3(WGoGBF=vBk!SYcXW=r%&EKhM^A=y)_o!w(OXUue z4k_X!t*t_Ec@}&IZu&N);8S{+Z28I=F8CkJ(8tvFKVz|Mojgt$ilcSj+`0gdr`7Yo zS#EuHPZI?Gtcm*X?w6;l`gyC~7}9-kerY20f+pRo>(%G^zSg(q`rkS67#(5KOP+(! zwfDQ;UI+dqS?lJf19;8^f=Aa7GjhEf{0l6VPXZUbZ4cybR%pKDe;cUam(lP3y_tnm zV8s8Ygo{P)y*Vcj-m_;v0U-u@Pbl4uhb*BuwFam86ZaM}^gksBzBgTTnQ~)8FMi zAyo{fwvbKi_q`D4#!Z&E_Ug)qL5X8!inuB+{+2!~Tv+3v9BB{wSPlB*dbafnOVIL` z8}wv^I` zBQ^Z{eHRZ{gBIUJqYIvpCfrdeZ?9^}(tI!`9uQf?SQxY@9v9T?hL0AVn<2k>6;OT$ zX$r%q>3V!D2baC-)N#n11y?>W2!|~A_2xdQ+7qNj)zvtciYw(+)8#p;cjK5E9t8?^CV59zD0MuUr^c3$CV6SGu{YLAcGEL9&;@024#&D3 zX4qc!X)Qc3LXo-x@ND%SHlpiHY6}MbMkoNzUfbKPj{x(~*s|~%eL=fXnIcn2^Q#B* zKi4j9-r3AMJsxS^yvsAN*{LH>6=W=)V=dgT1Sq)c298ISb!dff;fqE4oU&3tSr{ zTd5VHlCH2$puNLO)l=hoQFExgyLMI z@W5%;<9!iw5XT?W2^*cKXpgR$d>wZt?Mo|WYlXeXXCOb)c_SVGZG_qTLDZut2#433 zJhAk=hiG8vu!eW_*W48ak4cqrZYsI9a$naQKi>S}KzH}HBbZ!0KzmB;K8PJjdOPX8 z+kL&hQM4Rn6E_L(l}misIlHSu8in2p+bS-KJF?PJo580Qmj0|r!?x&@$JV3G8L`(b ze75~++KVj>iG}Ol<`%&0?h&WQ%Tb^;vvdC0MXir32J1C*+wB$d#nasLv?~v?0x<9gy>B9Q=mKt9N zq;LeL4lCuFDwQ2A@0B|I*)t|_D~D(!(DJj}36BZzvQJOU9?l^S z`Q}PCLapa`(k`3urz#Og^E^!=ffHu5kRFhrl1cN{+jTK*gDWZ*9;37=)}`+vsIyzI zOpZQWQ*34ciP+q`72)d~Bnx4kKrHcj|OPpVzSjEX|-{a8ik zjA&Ej*vlUC)@uZ{g;JuHl($goar5jaKcb4iMOS8t7<|z1P}a%Xpix6XAF%uvT$gfC z{G1g7R@khklZL1KeZ#+60=kWt zYgZ~ZU=fK$B)*$Uo*k7Vw@G;FWNfIv5M^4vPA>GZvvZ53TX5nE^iVYt+tdJC6_KQQ3zDo|bPlQv(YMTwuBKm6v~{E3^@Q4p7uZ(?z; zPnist@%c}>7>hVqzkQeuu9?Q~)yDcejJlS0>-#n7r$@wT(=YDszP^`py29$hHwxkTc2ae2kzS#DV83b-)A2JC?hE;MUZlRTKggwacP zCrdo0iir(L>EjLGG}PyOG#A|1Uzp&Vl94@@Lw+KGdiGr(pC;#BHrn8gAjaKvQQHDm zrFogU(w*-=f83UpPKzppyeZPZpJu$%H(>d7{N4dI-3KpX(z1k>wsw#!pQ{P^sBeT0 zeTYaZtTgmmGaHb?IxU(I*p+`{);#9s<`NR`t`+kPalW}Mp1p?7R;}Z2%+sd>;_;kK z``hzg>xsH*TiJdOGJaW2DYo&-kgoB2mj?H`wID`Z^^I09m%E|1o4cetr?}cX&nc?Y z&OYrdL*rnGdhEpo+c+6BXc?J}SffMUTJqfT!u``D!{(FOwg{WfSpGf&;ukUJ+nW@$ zw9AxyC7c$tAPBXHUQ*o(4cJ|swn>Z5EcJ-YY&j zfV00>@0c!r@H=-f?CI^DHd<*bhiLjuXE~q38hEb!%@r?iou_0r&rvT@*iP>vCk@Z8;0vZ}f1vC;nx~5OYkN9J*!(K*$EmUQ?%uInk@W1V zYxK+vL&ZZPT48^=G9Q2*d?(d5UM;C_eQ6B*_L_{AmXfkr$Rn(+c~kr6o9OZtUwwx8 zGS}&4Q4fTX?|*lpqi~_Om?Mx$SsE*}yEmy@VuB3aczH_>Y!1YXw)k)U^l1Xws5AU` zTt7F`sQZ16V!zlo_ag_Rnt=e#|-x<3OHpP56qycs1a4H_4m&dBReVf!?o;l1%#*@)V zAbhS2-1k}#)y2{+NH@h^cWxd_ZDdW$a(;T4&ll4OAEP(k}Yk0w-;xajnv zt{f<3$q4r~hOdtx`X9+5y$93dpWj-mVn~uXDpIg}KOsD}&8&yJ{ENNw;4s*k_re{z6 z-Y>O{x;-Zt(qV&tQ>EG^s*^CA`4F|fc)iTqO^MB}f0dBlQ`U@(G@EU@`%#$L8 ze!77S#yPi6oe+@!%Ogfj*jyj_XfT7l=tQ81;m4cfH86MTYn_}!QdUg>ty2xRJP`N( zpKPpl2^~`5=zQ8*RF?NV8$k-b6>}``m)PJY(kUdDW@TZszKdOxepE9Z?KyM|yRP-; z0K;A|^`dP5p3wxbi}x1_AbG9XYeV;#hY!hJ!5?ekv}WJcx`kI|h-(Sa zOPX6z!w)_2n3+pGC?j(ng=ydE&$$5HfgnI-s0KJ$v_f1z@1#X=R-R|->s!VJ0jJYd;Os( zugElV0&^t9v~fjUOcx3>OVXn6^{ykD64Y;3GsDYD2K*K9Vlixi#nMB+q{DDFZhYnI zpewIc(5W9R94p;Xmw;QC1^0i8$BXhEiz%0G>$;!jTluLkts$&4Mx+>=54)eq!oMQ5 z%MnPr>JHy2Q`v2B%*2uy8>l;qa_un>pW{W|`P8~al=ix$(I5nxR3>cL3Ve;a<7=8L z8a2DZJpPHGDSG;tT{%|2s`nc<3^oD}vktY=ejWi?tNS)z!dh93Sg+zZ?%#k)zpb$i zLx!wrqkL)HKVMUsn`Qmb2P5#(lc3H6TZPo1Cjdm4J{$Q%j4qf`DjilPU=ic{C?ID5 zyg-LvONdL%JN4BG8o@a9<)}5VB zq}>_$s2cNNn-!v_`NQBK(JJRU_lk~&#F#S0YS>WP5@%_`7}|SvqVDVCcwRs8 zQE8PMU7F3`R`{~-a4~mlH6L4X)N?8R7H^Bq^s|zvpr5n*Ntwr?^3t?}a$b`I%WDVK zDSRy3X$s(`8FuOGWoU2vDVq82ep(P7Grg=ov)MNM%#JP8#10DJXHvAi)9^srbDy+U zDV6TK$Uis(J1(Gk-K^BMJc%S>_c^M0<^F;G$iCeg(q=S7B`aw23&Qhfe_aTKxY5jy zL+yK~UXEya$#GQ{20HI6@8B2Nm%{1Y_dJsCRRdi%B@+M}9qqq@FmJGl_ETqKaHWv9 zY*xmqvkAqzF`zueu_njvwmDZH5ibAIzkGrmOsRgc3s(diR5EM$k3ZW^6?fxUVhwqV zkn2;=8<5!x0asWokLbG;D^?jgs7|Md+x7scvG^8?;o2!`Sj<7I`ZSkcJ6Dr(8{r;x zee0_a=Hnn=<=tye&r+lpIP>Qw_bhy}J~VK(O-CT7Z%Fu;FvQ)g0K}Fe@j%*H3sje5FoCs(yILy{{k0;psUV&l9e2JkRVH^|2U7#;s`Y zrg?U0F7G|p&hr>wzs#l=`Pu^}TvU?FNwfU2l2@t&q_SfLuLvfeez=#zWDr+1mR&0D zo)ehJMhwUpR89-s%&oRt6ft-T|D@Lv89vQLMeviY^9qj=BI{io(vJIQOQ#Tf2eVW( zpt8QAff`raEzkqf+L{{BpDqJ`yh!CGFT0gnT}Q@rHRom{b|*r0A*2XX@-|mBY2`y6 zc%g5y)|n+hGB9a9{-wM-#3ENMsBBD?poFxl zC8EZk+=$j6q?A9%MzPuVD*;MOP=Pk)AzuBcFK|KaVcyOn=1%R9=2NK5K;J2xV8VeuO-;roJq(Pizpx&kmSV2e}5{cK4wi%r>65-yQb zpg!oGryXTGQEh(Nkp68=U7s>zK$x3;wz9(OllwTrw@*CD+xT>;7aeW7dMcU7n01Qx z^#oOD#A-VC>a=@;Zm#!~NO%jZKx-sA=%*1ueXYmPlJxl51Ib)(!^SI4)_4rO6B-u| z@eVHWc-)7z>imjN{}w-n#=iF@|8VIk>VJ7FMGf(#%0}FAN}Rq&+Re>I@jh7z`q6sJB)NdIy4W+L*#L2d z`WPCc8U3W-$+e8s*1C@+BU_ob*<$_T%rTN*lI+ziGa%1i;!-dH?s`~*Si?^bvEhA= z-B%);wLi1PDjvM&aP5P=lPUPi^?kizhO88BQ6q9N65>nUTY!ll3<_HEYt%{G9KTrpZ;XHC2!m??eJHXlTV6D z3VY=1`DoK4VM^!3B$@hE05*B>M|5BiN@3?c@m#cSbK#Ue+^!UGV(4ir*m#W$?ejlQ zOfzlnPj|0H^}cx3U!GXu5c#4Akc2VtX!)B9!Q^tgYE;RH)vC3H>h^kAwrShJPBDn} zJv%h-i20|0B5ST6D&y4*;3|uQjYlSe27pq9G%WlUFU!>z5M-n2m(CEM33w>mWuY(K zX0*b(Px1CIhqfybfCp0BU78mEVYvsJ@Gm)wi*Vj>i+t~P*$t7=mP~P}-qmEfE_!-p zl~?pN){!G{KC!&@_SB}4KVFYM%^SwGuGum^>rZ}?Ujg&{?W{pG71zfc5i+zxU+rmq zHr>&PBhEXe#^ z`AoX3=l4d+_P83>_}##7Ul~FYHLm#LG~GP87j^G2Rtk4o3UCRbr>SiJq0HGVb*pOh ze4Q&vw=D43sCR>GEk(a}U5F^==?%Rv6z#Ro{;&?c!0uEX-rQAQG6`B8f9m?dP2SSG&wPDIKh zqQP$L2a~*lqNide&CExJuj_hv^Df1w-1<6_*^dDn0JU`O!2rG-J;G2E4BE|3x0~?% z?`Vl0^abs8L#3RXo8Qr^TGY3~ol<=cMw|{hP#S&Mq~Db$!71l5&x!*8i{BV=i>X!g ze6fDxlX(H94rYY}BclYDMG-E9MxoI%B%hzGpR*t6@GaCHNh&%FB88$)oWJvA3QnVR zRiEiFr=R^xs!OVwH=xZEPGeQy_E>(6A~YTwwB9U3nHBsuTwStWnVq*;=}!Pyfu%Vo z&vJg4KP31)8`|BirDq^Dq0mfXee_{43D8ELb=}3wx#QS#eG(7RhzeL?Nwki<1{b|v zr!Yw)%+`UgLwweHsH8u5!HNH)_Wwt?tp%{}ZMWB^*ACjd52=0eoYRzXC-;rYgua0jocA7N=lLU8r{9J`{gXffvyTRh9TOD_Kc8*Ha5u4>t+WcH-X zVV5TxuzM_Y@JKsQ2nxhP));zn4fLyyOeyzuwzm9p3erL^K~u_oUl%0*c4vD?_mEVmMbB7PdJ+s5JpcNI zqx}4)kAK?{&6DOy7?z=(BZO;-P~#|C;MDNy2o{g;PW!Dol{h(LuQB!;vz?z>2q zhIugO{6-By5@YLKS?Niu4Me&3A-}LqBL$FemEV>F5r`u0AimL2uwu?jdN`HL<%v3R zWLP~N8SO#>77yp8O$Q$Z?Gl0TwvK<0j*PNw0+2`(kYB{jw1)K&Dh`DW@!fkP@-|y5 z@rLnJ2<^aqLD0sKj_q>XU+`z^Dfga!&Yb)444qqOS3}1VO2&BP!gPMU@^f-yuCuor z+~VYKTvvvwuwZ6pUIw7RcryT|&dtrm?X=LEMwt7zwXy2q^ojrx_jNk? zFkSO6U4urkMLV20pa&wSNQpqnWWaac7M!m7)7#|KSkj>yII(um#BqrYH4r2AcwB-ghxCsi(}m;XT&b zSXfpuy`Yb0F+Li7_4qyGr6pdE#Y^kiCjb2VfP@lE<=a^!+a9|V7OIn2@5gK|dn`c7 zy7eH?m?KCQjGNQQoCt>inTY&AR~~*vb6K6}tPjM3r?tYY9&3+@;iO{bbfAbdri1?X-NT)>{6T2$TW+9^gp?JZvJ*DMh0K&dB8pv zYGVKCbc|cd@Zx!Tc5@0-(DNp6yjR`7rJ6Pc#LV<=B}QJ}t9wN7I6=?;hSh+EFk3*0 z5Vj|xZKrhAxBL5y7(F3qE{hTN&eoDB4Z&4n?&1K4=sDH$>c7;>&yVa)7<+9CUiRz* zrzW!Gch0zUZaQ%F9c*3?Pc+$oyl=~LDLP*g9pIJPbwEEyv)Ap_fRgB;=i;J_Hxz&`KxN$nXWh4zuSb|D@DEljy}t%s^tS z+)hAF^GOgrlTdA;8%;0BmJguk`md6=o&v-JTs780+<#})liG^>mrj6YrBjm74aDA9 zsG?)NQJHIGnISiST&zZC!5ljsmVix~dObIT;5WI-lN~`y}PA4OsIRBf5fP1S2DK8D4b!`5S0Pqp~50mBt;GJx6ma-16 zFWs?08>q~h-ea~i?5BF3mla@kRIUUptOP(js#sC+rC%Q>|7Bm4)yD0t+>G+;OM7`$ z%ZY8e);Sd{Z@A7lpcIxvH{uQ2L6g;eyluaU98s+%!6`aCeXe-S+^3C==Rg|zUdy8; zA@E_vyIyCslMo5uW_on>q)DS{KEZ(76{swen?AWE_HSi<7PsHdia7l$8*lR>w=2>) zLO@~te>kl=983xkib65BF zwQ-DBb>NEnJ|-yS(%Ge@+vz-TAlJ3#YT0XDd%P{b4BZ*E6Z} zrq*M9L3*AVS^tZr1v;lH>W@hu&H|i?0AMb-QQJ((wH8`4KnI?asVx(>HTjqPv?4fq z4`9e0vU`m_{$;sVr{{{fyGV}s86!RQY3D~1u}|)Q(|hgne5n$za653bXLLLjMsF}q z#nL3`SegIM5AIjg|3RcHiW-XANgL-ZaDK;9ahEt}&(#ZnxWLada7{?)kO7QOD!Qh{ zd97m~Q-)loQ-QbYf6Yi7B>?cOIUg%-V^s(OKw=zN$l z?+vhlx9z9oW6Fwzu;L#7)y}T8Gfof-8{E<>c$~t)CpA)*1mMhX=(uptdl~m-;CCR* z^}+Ae!S7jtyj}SI&f2)L z;R!*AQ-d8qJ{~=wtih4f4P+PYf9aG!a}UM_=VvaF>9!3$DItrKasZJtw@_n#ef<-y zaHC2waBT^i#YN|PI@;jnd^XoQTJYr zLDs8f=2H9hyj}vJcy^@oq=QLGTC*efZs@?rHH#0N06%n6Qk>+;$&u{xSda)XebFWk z&mD(_f|Rk3nIQE(Ifwkxh9F9P3Z0xQIXpvYz#*muNr$iY9-KIT_Uwyrh{7)#>|^3- zNypX9{spm2?RCd&f)*(w@ZM#4%%O0S zsWLA#fZ}XAt9fv8WgOWH6mwA2W27bAP#cCXu6ZRBqK;p|NIQYjrfJ7pL17i@^?j~GEpsey|A zO1ajKgHFFlyBJD9Jpz$(0=g*00!}~Fy?pC?-*XQtM<;Y0F0c)5oU0}d zmzq*@agH4?Mh|OnBGK#p=kC>~2*fBz39e0BW>n4G^8+bC7WW@tw5xe_#8!OatC}oO z0wWR5?B+|tzor%X)*QGFz88Gf{3l3h&i-VAVch#7Wiyjo21f_z#Sj-r-MRO~9i==s zCcMbC00TYvtNlDkjG?!`K&SGM?tM;WhX-I6cftqd=d`Xk@t{~lmmL^ET@WTw&lRU? z!->ZsBs$&xh2e<{lU}PV?jMnz^kt(IB_OyJOn#V13d{c*%0sWA{(V*G6$jd87X$s& zY~}e6zeRt?77M?LhX71yj{YTZ&Q>R9iiWi5X;}u)Xnw1yNgz10YLmr~UZ|+l4pd@K zJ~kOYZp&PjBB~fb=jUfZxVB9cp4uwqdO46DXPu(c;QN!Fil}p$4%J~v(@iVDOHXV( z*4_u9AAPq=Nj=-l9hQF~5a58H!)>pOi>BY){!-nI8yD1~uWmALAj1A(&W9&Yz4U<} ziOI4gsSPfHJ6q0^V}~K2&wm$rYLy1m+bReT=H3hY4oU!4U*hj(A=ALHy>HDTID%d$ zee)06Jb5DYM;J1^dUMM6m*{w`cCX-|Luzxj?Hyj}Nk-7XRr^WV%fi#;^q++JKkc1) zJk;&K@W(P}hDex5mZYRC*^2DahR7PSMfR($=FGjm@L_%kg;UR7RoZp zI<^_ZxxU?Zzvn)`=lss=JkKBJpL6=N*O>W!ul@R5@6Y=Rz2B>N(bm>>7ducbIpi_G zw*WYNn4VJQ;{4mwP6sokE$DC&;Bm4*F3Z85BlZjVOI^|9d{8Mqo4=%0i4(qE@#$53 ze0)o#^3fXT-L5uYDKytE9OJEVfY!#N0VF~Q11z++|8;I+#mm^(Vd8<;@#0XaKZ|U< zNgE~MBaH#5yeKh0A(CHA%W3^)^<~tr2b0JFX*_Gmn`1rc z5^P51r*YI?dGOu>OENsT_)PfVN; zfl`u^*0b|;1yGg-#}$03geP^;t=w+u4X$BX0w$0Fgg#FD0r4pHm z^+ss{UDTdSyV9z!mH7B&n}s59OZVdDxfLA1(x&V$u~PwdNw_lkaa#56=M<_dU6FdC`h?|h?@4%%TCRy-Ljo7r55evW`Q)nv*gkYZ}m-UpPC!U#~m*Rs3&eB^zx@ zt*QM$QEpeVN7|Yym&mtyzH^uyK-7N- zk*kwQvQECpqX|hxWS#|Q^(T4oIC`QU6Xko0=6MxnMqaUtuYA?Fm~%P1hFnml-ae9@ zrG(qYh{+i=n67D0?##ji)<3mzPyJZYf!Bwkc9MfezdLd0jA?B`Ow!!dt380>M%Oy> zF0~;{uDqWpUMt77P{i_~gqnb)mo?`dZg{F3)kA`wiR+z93knL_#eO?~_j~qswpRvs z_25v-?sTz{@e!NY#`m>g>e);z43nx{{qWTW5Dpbayt1;^GZES9e?&x`LatR zMVh>uJX#X86gjwV0X#**F`IR_C(|!f?1vsczfkAP z%q8Mmua3a+nn7>N`mZVmD&Iq{$5q{cqrxYVg;OzYH@=D@F70A0izs$Gx4KG}@a}6)O!dm<*IH48IhHYHp-80 z__0|kvzd0UZ(pA;w@&u%2o1hqC~$RE@s)Irdzw?4IU8i>A+VDZt}S$}Lz`tVVSXZw z@{%%Ma0g5p5~sQv^iBl`8hg{Af`62%_^EM=kGI|!UN%I}A+2D}duAs%@D*w8cizUH zs%B%hN(J7TQv7YAPUGB9o$iz>C|G6qi;mV@E{t1UqOcuKAniV=XFb*6(Y#cgKUF*( ztcy{x0!ak~%K6j0=MM9dIU-4PxA+#l4DxbZPS}To5n0$H?nc*Yis$g zbfp(#jj9anGY|PAJmVuOt}LdC{dk;aTHs(=-%GH4@^d81d|=9G2{VPv(NE#f>9ZzJtQ(fEV_vywnaht{%@V zW1A(rM)R7u`V~%xW4LO&39mn1GciuQ(ro?JoK;U{CAVnw8uh?Z=d~p<_$%5BlnD(O(4qFM7AK@Hj~`X=OsIk&-z|k@M|t zp-mc>9$y%*I=VCg`1rXXGwTebTe%~*$J?iE99EXjOhJ>ca%s$0FZS`C5j=1I5Y*;v zk}xjXE2Q9zi0}t2nDZ&4C(8@GGUQcmEJ~Fy2ZX&uR_3#_n#;|#Bt}OG&cf3|!VXzV z+%3C7BKK>W+GRA>@7O-(&sb0&Sieb9L{NxKR!r|Ttkk}3?ZmWSMa3z+N1#5hXa7yq zchRku-~VPSg|aa&RMz0J7j$-eTx6~O*;EicO(*MNtq1SHZz+$rlWZl?@X2Ig$K zJ;2{7xOCaFIo;8dCrw4t08CI~Ig^#;G8w(k%r)$Pmfc%h&$qRo3oc|pc}CW2-;Hd( z^4+qq6vV&p9rZGi{OI4~x3Cj0_ksF|koSoQ&kooiQ8OvStJ+}_9oU3yKd>AyyV@{r zzrwJ7a8Nu&cmJXk1s_thK-zEg;=ROtzJodY!|u;6!qJtIGVeev?N^Ex6jaRm9h?`? zNkEakg4d#-|^DD{@ceDLUr1_C_vY(XYGNo5OMc zukY0%o7Ou_ZZse01KWo3?7FVNko5$=)q^Nm(@ZBMmpdg*nh82CdH$Z}vwmSZ?PCU! z9)||pvf3Yu=s}QT7RdMO0WY*Sx0GvaE)AdLrt)Lq;tZ>+a38O4=||?*0PQlgnBl{B z_i6AK@4thrw9du)n>sA**~X`W-p`^rKFxn@X3cUG2d~qjXOf{fRvWU}qv5sOD__3z zPQ0Ajd8P0C(|zMThFU(|(pEmjUVnkD@NKUB{ycwZ?h)^B;bs6)i0YHc90wK2E>t>Z z`aVPP%!yJ9IjbW|j$k7oX%S@7d1&*_v4NaM>EB>#J8H}a7f>FNnforgjrpT~O3{Az z`vbtKcA1&VUNlgz=;PF*7%~!~Xme?&|Et8HBULN4GAb#h@{);yhVD3YL>KYHpp==a zmm7aJq9nyR>*!q9BZkWBX|(H*5I|(KcF}Lyx1V?6=NV|=Dw2Oa0cK6>`}}qe?34;{ z)L6dOiw0!CU#dOmQ1be7gSI#fyDj1K`R-~Vyk`9ff9Lej zpLLTfVoNs{YvVO%0 zL_Cbrw3Z5UdvS{ycAmU4JYcbvy@GV4Dv3rqVU&QQr$Kjr)o=i919c_xCwoETEvE2R zsBc2qKEI`Z&$-7;a`_uL#>3}bITrhs42pet95wrn&jm}Od+cIsNj-Z8LESWup@!-E z$Z^2;4d3Wl2M^M4n2lVzqH9DZ?!nM%^Cq-0gm!(g>LIWMCORM-ob&ry>u6KVyg7*8A!*8e9K?R-+=26zTl9_B z===#{(v&T=gTG`O2)te|{D7J6!Dbid2h(**_5ilJ*FxwownZsbkbYT2abzoZ??4JqnP7CtdzMMF=H_W(z@*Ql*`V3cx!3oBC-UgJL2pv(+4J4rFCL%RKO(ucvU}v-vFndT3aqQw zT$AKM?35)A5oNaYzV7YJI5x`OHG4aPXKqV|&=p4=M9_G4h74fm8M)j-#<<--{tMD4 zpixpJKGe~CWk+EC4G)*tVN0Ce@dz8c?d3au!b~qG^|jcHt_KPGePIZ~iPWA1IF62( zIKq?XkS6Mz+5>~aRI{ljwQCug&N)3UYRI(kjDf)_84*Sc$?Fe;B?%J;ifbH?gR!Qc z0O$1D%t>K*(32XD@O40_>C&~$DXU{Ny2Q5LERDDoPQC_FzuutpogZVz?7QNr_8?NS zfo74z8eb^x^V<%WH)eXILb9kFA@cD^CPgv2b==w;8`xzh!MTb&nin3PKiIL1Fq+Koanw@wy8_c@|tN*^Gcn>1+JJa zAJ<4>@y1AU?JP*3oQnHgCf(Ej69UQ5s^HDJ&py>6yl_oaqbNd06k&%~HNO75H%=Mh zpr&e2_(DCIHYq&0DXA&hpJ7h<97d}0H9SkKTK5`Om?0u-PFk~rp61$ui}{z5jjSN& zJ$m{6nB8&GCR_$czf=q6Ze2s&Zdb-g!7I&KFSE2U^B&b*P*N3E+uFE4+0_j<*) zE5q4ZQf^@nqB-}zzR)?rnzD|0k_X%V9#2>G?0Q5mSc=-3^Ca<)-p(!7>qrmJ!RLs6 z3;HHvc5%;=N70sR$-jf!UG!Odoj<~Mqv7+^S-!pXhc1$p9 zOvK9L)=0{SUo{CkiXk61ndose8FCN|Iodgf48yH)lDXNTT!DNdKThTW_0BCb8@)!o zFddsSOm2uj)Y=)%)IzXi3OpGaG>yC)aWQH@XB#{h{SLOP-!TrZw zKpqY`?+c2zHF#k<*Fl_1Qxyvj&H4?n_eu*ba$GkQ)cQ$u% zb}a)b;Xr4KA)p%gC91T)52#9f#Vnm-j;$FWv?&IKo;Vcwh;pUpDi|g6bK*%da~cXu zOABXR(qG(8-<4W=`sq!|HbSOK(QSZ4)-~yU`(CjaJyRJFcYbEXP3E=o1c-Ib*Ny`D zDrXG;Xj9hJR;2MFjbW|A$v@PGPL1@Mh*&1+l@0}IpC{#C*rfC)z-0lP1m#kUJJFks zwdIbmhZ;l68`+?EBGSmJ=t}S2_r9m7Zp&!KWKj*E?dxOG_&(&;CDBrJ+;g$x{OpHJ zV}h~-xmuxhq>N~4vR~`VOfs~O)VL-Wqi(JE#MlJFoCKD<`T6^#1@=L8qidB%zNK?< zkXz+R3!UzDEkmRk*^G}oRjcrPVp65Z_=Vdb*U`fA-F8IzKxxCRm#8VTBvF zAw_MdVxLmrXj{}vu-<8>A3Ij+_tvaL+vVvX85Q|VfK*8l?2&jHCd?EkS{8cH+wHVj z8!E(N0i|RjBHSE5`2BA1rL9A}9TYV=k*73O-|Cyx&Q<|8L?U59@Lqrc+DvY!HL*DN zA6XwyG3<*+owXi^fz*SSWLm(;tT?$}5jY86L`nne=bSKOEIQH45qXm8!{*;a(;A?} z?mty*rkVAA;@T@+6;F(LH@P8oNzBSlj%vFs5<< zX|37RD8d)2C`Zy}NDaT?s}Flvde9Q*I+toc7sHS{w}Rg|D8Ip@VYT8_)+QI2sKV%Q zI{GE_N<2evg{38$O$ytaBX=s>` zq&fe~Q|v`Tx_EeaXazfojr4NulV5>-D?Cc#ESAo{a0vPG7|Cy;U?Fch(43ci?dDHO z{w2S`-!kM-#U9mLJbK!jt29?2A=VY=d4re?{1=(ecGfHWQ5VdMdBbo5y_)*BCi4UH zikAI3!#)59LCxkt`FpeV1ptMp=Qm%z;ZkHo!+>n-gb{pSR<)eAzGPTV3n zW->#C-j^wkZ_6IW=IPu|{J`!(MK;+~aA2PKf}}h>%wSBUs>+tmv;1|Tw(pDu$?6#` z8wdT0GkvW-N7d`o7!muDP2U2f?@(*`1?XKuYYB>h&fn=0AQ9b~cO2&8dcV#_{xl-U zPj9idqt-Z|;!<~dOsP8%LMj4R%^>@^fJA?qfdQPx2{N1^)t0qJYOhpPo(_z&5swuJBRQV^<&Z^P+Mg5SiBc$)k!CgYT~q}a_u5(D4aVN^U>{Z!}r^ytVe>KCr3 zFxGqt$=?e}u6<+*a&cact%||zi6DmDWs=sBswN_#Ia}%vdwosFTgnmH3j!7bNs#ml z5K;EvO!}J&o%Y0k#L1cBUbR&)UzP@CKdS%LVA-I9|5vKlZx-(LRje}W{{2AKr4J4n z1P1w3f?bzZ`UE6Yi|Z9DT8f;lelTA&6;rTEJNv{4ziB?f>a#Sy4qR~HFiT)F-0Chm zLRl}SZ5j*II1?#Qr}#fG+v^AE0_~uy!M3~`?q9qeu=*`}k6Ev-ene@e>v6-GiS+Sr z%vXQIT$% zvr0kNC7j_IE`ReT$z3V$Lv-Ph84%)g5Z{^yHUI?`0hj(RD4+yaxNQ_c3ak> zoU}u8>7R|^)JaW1IQ6g4nnHf)^Xk%lX9PUJcqyqvoXHPR^eLZEi~Rht7ArqtHtdx%lcN({$};v(elY5 z(Y|{dDFx=Vm8prpG*Ew;f@oe}7SsjyE!|00NJ9@p<4V$#2X)sdG}2kyD*%T92>uTx zAB20d2(_-%Aw_e<>dod9)oIZDpYa*fUn#Sr)5Nr8X0!~1@b>KB% zAzc-Ng9w`LTL1Qgl{52Ea%1LQtZu4KpyfFVpk?)wxqlEr$$HS1R z2ueq$5u9GSCh3Y_gHD(CDi}WLdprdE3ZF?{j0&)Q*yY@SU74>j zGa1PM8nL1Y{n67e$CIilboVacd=7z^yPUVOvhtxv*<%cUyIBBc7v?XOcPYYbUFPTs z>>b+2;G{G(vd@sUu{9pAeCH0mK(UPfon_lZf0<=lE&?y~1qaX(y`@u#P(-*lmHr6> zx$LTn*?ju#E`yH_D8fzX6M|HQ67h`2((gPl8d$;wi+;{!4id@sS#Sj{fd~4)nK2ah z`eL{mnT;*a1o!+Uj+%^Zq zFUX)h`m2c_^=PTpOwA2CJ(i$*krC;OeFi?)VDlg#9?JWWQPrZQ2hO3Ys=@@%IG{$D zmZrTd0gC(E%`KC_F}l2y0^Yir$1#jgSb6r{@S30JvxXYRIzy%=YdZt@oOQw?4KFwM z8Ia#zfem$b7lW(AHDJTpo0Yi0o=jbEmR>s%_UrnotNK3T=mmY09+g~b46CG-Qs;l7 z>|Docwnj=f?g?3tH`@qv1$7TA$i7bL7tJ(QMbjB=O2E~{4~5zFQuI|u^HOkl4@NIv zVvx2A-xCQ?E~+{*ga~~2{84?>Q+!^3tFR!OQp6_N|H!0WvSvwx$&(FU4=Y2&iS&6D>p+3hU>x+H;jq0IwERG8z#uh~Wx-7;4*&FCUx1~PAl3o!XEaZ)9- zLvsThWgqD8Tsp{LKr0Dd`=biv;p$^5vI5%Yn272os5gjcZx&5sC->T~N}2o`;arLs zMXHZy-03A6m^5gQuwxI!JtMf(EVe}H8R%N)#)Z+hu{m^3?E8Jx7SeW0WY4BAwj#~m zZog$9h(O;zl|Pb;4{;_SDiNa01+vGOBJhp_trg-0Xo)QG*J1X3tXv3pvdz)0^DI$s zGvVeTxuX$`nJ>V&9NMpc$gmxWZ=26HLk%J#5E!Bq&;Ce6Y{kn=V{(AO4FfH2#Uaez zO#jg%6{9_}2UXd@WC45e(i2s&UleFu^Nl1O1^Y30@ga0r39$8v_oAzyHmmb{@w--Vn`>%1dlKt=hFL01-X(hzlX`8eG_YPs;vA|$cqTEr zdN2|Wr^CQ2d5FPcnEL{fd7PJNq?n=+&k*~+#Nx9>U7bfNn2mJNIm-RmaD@?p&6~yWofqZ+Ce~A6 zpV>jqtE8K3+Wq90p4sahdKD~{7n}o}{d%i7Z&dJO5(TsiMBdGvGvr7x^mbLd?u+>7 z9XV*QuL|`;Xef7spEm}gfU|8`)RRA{&1QQch?iyy6?$t5V+~O`#4Dvy3+rO5s{d-+)Hta1f(t zETg9}Zp+sfZGW%fdajm1jT0s*4cf^6>rHRNgfkPJ$+8m_6jt+MV14T_7NCH^r~EW*=w~=RlbY+!l>gK8(Ye z(ZrbbaC*Z6Lb)phC@bnYjWPWMwJe>TdU6oB$V$ro$2m7a}87WYHs6Z z2y$h8$DjF#hIhv9!tI5>|16ia>!BF+&DakgSgb)*tQVeY84ub<1abvjl?`#r6e-T^?H9ybd1cPVw}&!RtFWM2mI7 zq=Ewx0q_?$2`BlTN7ag2HfTRtvs<THGp> z5Ak?0M+T4IrnkKZVL6G=2=nXldC5D-9bZWi*KP)yw~yy`YrkuBw{HF{?HeWJevj$4 zxeLl$_sr6vn{C{w0Wx#j9c`boM#+{I_pKy~Y#HyaSRn_ql%krv$_OYHhjA~1b>rGc z3(r9#gGA=A%P)ZcWhGp7Qa$8#WRo77+>TTOcI(j51=L25rM*?+v@f>JMCVX6-=*(f zB33FnzKy4E?)=65mk&Erl!RRRo8Utb!?_~O3OGC%Ip6FsHWa~t~< zuPe^~qP>2#WeKp4P|XtbK39O)T^UXBx#cckmqd|5- zePg{S)}VN|hhvNVXZ%MVr91Q}z(NzDnkML}X{BQ$>3Zy5o!W0Br}&KNv7BqG6*B65 zW=?lND{BA4&yn?0*4$PSeC%Sg^)$a6+_2279fC1wt%X)nGh z4I