From 3c01b594900780932c1e2dc76841b13bc1020842 Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Thu, 29 Mar 2018 14:08:46 +0800
Subject: [PATCH] auto commit
---
notes/Java 并发.md | 198 +++++++++++++-------------------
notes/Java 虚拟机.md | 5 +-
pics/600px-Sharedmem.jpg | Bin 0 -> 24576 bytes
pics/class_loader_hierarchy.png | Bin 0 -> 125952 bytes
pics/monitor-lock-rule.png | Bin 0 -> 25600 bytes
pics/single-thread-rule.png | Bin 0 -> 16384 bytes
pics/thread-join-rule.png | Bin 0 -> 24576 bytes
pics/thread-start-rule.png | Bin 0 -> 23552 bytes
pics/volatile-variable-rule.png | Bin 0 -> 30720 bytes
9 files changed, 81 insertions(+), 122 deletions(-)
create mode 100644 pics/600px-Sharedmem.jpg
create mode 100644 pics/class_loader_hierarchy.png
create mode 100644 pics/monitor-lock-rule.png
create mode 100644 pics/single-thread-rule.png
create mode 100644 pics/thread-join-rule.png
create mode 100644 pics/thread-start-rule.png
create mode 100644 pics/volatile-variable-rule.png
diff --git a/notes/Java 并发.md b/notes/Java 并发.md
index 0f877ec6..3067f275 100644
--- a/notes/Java 并发.md
+++ b/notes/Java 并发.md
@@ -18,26 +18,20 @@
* [线程通信](#线程通信)
* [五、线程状态转换](#五线程状态转换)
* [六、Executor](#六executor)
-* [七、volatile](#七volatile)
- * [保证内存可见性](#保证内存可见性)
- * [禁止指令重排](#禁止指令重排)
-* [八、内存模型](#八内存模型)
- * [1. 硬件的效率与一致性](#1-硬件的效率与一致性)
- * [2. Java 内存模型](#2-java-内存模型)
- * [3. 主内存与工作内存](#3-主内存与工作内存)
- * [4. 内存间交互操作](#4-内存间交互操作)
- * [5. 内存模型三大特性](#5-内存模型三大特性)
- * [6. 先行发生原则](#6-先行发生原则)
-* [九、线程安全](#九线程安全)
+* [七、内存模型](#七内存模型)
+ * [主内存与工作内存](#主内存与工作内存)
+ * [内存模型三大特性](#内存模型三大特性)
+ * [先行发生原则](#先行发生原则)
+* [八、线程安全](#八线程安全)
* [1. Java 语言中的线程安全](#1-java-语言中的线程安全)
* [2. 线程安全的实现方法](#2-线程安全的实现方法)
-* [十、锁优化](#十锁优化)
+* [九、锁优化](#九锁优化)
* [1. 自旋锁与自适应自旋](#1-自旋锁与自适应自旋)
* [2. 锁消除](#2-锁消除)
* [3. 锁粗化](#3-锁粗化)
* [4. 轻量级锁](#4-轻量级锁)
* [5. 偏向锁](#5-偏向锁)
-* [十一、多线程开发良好的实践](#十一多线程开发良好的实践)
+* [十、多线程开发良好的实践](#十多线程开发良好的实践)
* [参考资料](#参考资料)
@@ -427,70 +421,23 @@ for(int i = 0; i < 5; i++) {
}
```
-# 七、volatile
+# 七、内存模型
-保证了内存可见性和禁止指令重排，没法保证原子性。
-
-## 保证内存可见性
-
-普通共享变量被修改之后，什么时候被写入主存是不确定的。
-
-volatile 关键字会保证每次修改共享变量之后该值会立即更新到内存中，并且在读取时会从内存中读取值。
-
-synchronized 和 Lock 也能够保证内存可见性。它们能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。不过只有对共享变量的 set() 和 get() 方法都加上 synchronized 才能保证可见性，如果只有 set() 方法加了 synchronized，那么 get() 方法并不能保证会从内存中读取最新的数据。
-
-## 禁止指令重排
-
-在 Java 内存模型中，允许编译器和处理器对指令进行重排序，重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。
-
-volatile 关键字通过添加内存屏障的方式来禁止指令重排，即重排序时不能把后面的指令放到内存屏障之前。
-
-可以通过 synchronized 和 Lock 来保证有序性，它们保证每个时刻只有一个线程执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。
-
-# 八、内存模型
-
-## 1. 硬件的效率与一致性
+## 主内存与工作内存
对处理器上的寄存器进行读写的速度比内存快几个数量级，为了解决这种速度矛盾，在它们之间加入了高速缓存。
-每个处理器都有一个高速缓存，但是所有处理器共用一个主内存，因此高速缓存引入了一个新问题：缓存一致性。当多个处理器的运算都涉及同一块主内存区域时，将可能导致各自的缓存数据不一致。缓存不一致问题通常需要使用一些协议来解决。
+所有的变量都存储在主内存中，每个线程还有自己的工作内存，工作内存存储在高速缓存中，保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的操作是对其工作内存中的变量进行操作来完成的。
- 
+ 
除了增加高速缓存之外，为了使得处理器内部的运算单元能尽量被充分利用，处理器可能会对输入代码进行乱序执行（Out-Of-Order Execution）优化，处理器会在计算之后将乱序执行的结果重组，保证该结果与顺序执行的结果是一致的，但并不保证程序中各个语句计算的先后顺序与输入代码中的顺序一致，因此，如果存在一个计算任务依赖另外一个计算任务的中间结果，那么其顺序性并不能靠代码的先后顺序来保证。与处理器的乱序执行优化类似，Java 虚拟机的即时编译器中也有类似的指令重排序（Instruction Reorder）优化。
-## 2. Java 内存模型
+## 内存模型三大特性
-Java 虚拟机规范中试图定义一种 Java 内存模型来屏蔽掉各种硬件和操作系统的内存访问差异，以实现让 Java 程序在各种平台下都能达到一致的内存访问效果。在此之前，主流程序语言（如 C/C++ 等）直接使用物理硬件和操作系统的内存模型，但由于不同平台上内存模型的差异，有可能导致程序在一套平台上并发完全正常，而在另外一套平台上并发访问却经常出错，因此在某些场景就必须针对不同的平台来编写程序。
+### 1. 原子性
-## 3. 主内存与工作内存
-
-Java 内存模型的主要目标是定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量（Variables）与 Java 编程中所说的变量有所区别，它包括了实例字段、静态字段和构成数组对象的元素，但不包括局部变量与方法参数，因为后者是线程私有的，不会被共享，自然就不会存在竞争问题。
-
-Java 内存模型规定了所有的变量都存储在主内存（Main Memory）中。每条线程还有自己的工作内存，线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，而不能直接读写主内存中的变量。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成，线程、主内存、工作内存三者的交互关系如图所示。
-
- 
-
-## 4. 内存间交互操作
-
-Java 内存模型定义了 8 种操作来完成工作内存与主内存之间的交互：一个变量从主内存拷贝到工作内存、从工作内存同步回主内存。虚拟机实现时必须保证下面提及的每一种操作都是原子的、不可再分的。
-
-- lock（锁定）：作用于主内存的变量，它把一个变量标识为一条线程独占的状态。
-- unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
-- read（读取）：作用于主内存的变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的 load 动作使用。
-- load（载入）：作用于工作内存的变量，它把 read 操作从主内存中得到的变量值放入工作内存的变量副本中。
-- use（使用）：作用于工作内存的变量，它把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量的值的字节码指令时将会执行这个操作。
-- assign（赋值）：作用于工作内存的变量，它把一个从执行引擎接收到的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
-- store（存储）：作用于工作内存的变量，它把工作内存中一个变量的值传送到主内存中，以便随后的 write 操作使用。
-- write（写入）：作用于主内存的变量，它把 store 操作从工作内存中得到的变量的值放入主内存的变量中。
-
-## 5. 内存模型三大特性
-
-### 5.1 原子性
-
-除了 long 和 double 之外的基本数据类型的访问读写是具备原子性的。
-
-Java 内存模型允许虚拟机将没有被 volatile 修饰的 64 位数据的读写操作划分为两次 32 位的操作来进行，即虚拟机可以不保证 64 位数据类型的 load、store、read 和 write 这 4 个操作的原子性。但是目前各种平台下的商用虚拟机几乎都选择把 64 位数据的读写操作作为原子操作来对待。
+Java 内存模型允许虚拟机将没有被 volatile 修饰的 64 位数据（long，double）的读写操作划分为两次 32 位的操作来进行，也就是说对这部分数据的操作可以不具备原子性。
AtomicInteger、AtomicLong、AtomicReference 等特殊的原子性变量类提供了下面形式的原子性条件更新语句，使得比较和更新这两个操作能够不可分割地执行。
@@ -508,80 +455,89 @@ public int next() {
}
```
-如果应用场景需要一个更大范围的原子性保证，Java 内存模型还提供了 lock 和 unlock 操作来满足这种需求，尽管虚拟机未把 lock 和 unlock 操作直接开放给用户使用，但是却提供了更高层次的字节码指令 monitorenter 和 monitorexit 来隐式地使用这两个操作，这两个字节码指令反映到 Java 代码中就是同步块：synchronized 关键字，因此在 synchronized 块之间的操作也具备原子性。
+也可以使用 synchronized 同步操作来保证操作具备原子性，它对应的虚拟机字节码指令为 monitorenter 和 monitorexit。
-### 5.2 可见性
+### 2. 可见性
-可见性是指当一个线程修改了共享变量的值，其他线程能立即得知这个修改。
+如果没有及时地对主内存与工作内存的数据进行同步，那么就会出现不一致问题。如果存在不一致的问题，一个线程对一个共享数据所做的修改就不能被另一个线程看到。
-Java 内存模型是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的方式来实现可见性的，无论是普通变量还是 volatile 变量都是如此，普通变量与 volatile 变量的区别是，volatile 的特殊规则保证了新值能立即同步到主内存，以及每次使用前立即从主内存刷新。因此，可以说 volatile 保证了多线程操作时变量的可见性，而普通变量则不能保证这一点。
+volatile 可以保证可见性，它在修改一个共享数据时会将该值从工作内存同步到主内存，并且对一个共享数据进行读取时会先从主内存同步到工作内存。
-除了 volatile 之外，Java 还有两个关键字能实现可见性，即 synchronized 和 final。同步块的可见性是由“对一个变量执行 unlock 操作之前，必须先把此变量同步回主内存中（执行 store、write 操作）”这条规则获得的，而 final 关键字的可见性是指：被 final 修饰的字段在构造器中一旦初始化完成，并且构造器没有把“this”的引用传递出去（this 引用逃逸是一件很危险的事情，其他线程有可能通过这个引用访问到“初始化了一半”的对象），那在其他线程中就能看见 final 字段的值。
+synchronized 也能够保证可见性，他能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主内存当中。不过只有对共享变量的 set() 和 get() 方法都加上 synchronized 才能保证可见性，如果只有 set() 方法加了 synchronized，那么 get() 方法并不能保证会从内存中读取最新的数据。
-### 5.3 有序性
+### 3. 有序性
-本线程内观察，所有的操作都是有序的；如果在一个线程中观察另一个线程，所有的操作都是无序的。前半句是指线程内表现为串行的语义，后半句是指指令重排和工作内存和主内存存在同步延迟的现象。
+在 Java 内存模型中，允许编译器和处理器对指令进行重排序，重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。
-Java 语言提供了 volatile 和 synchronized 两个关键字来保证线程之间操作的有序性，volatile 关键字本身就包含了禁止指令重排序的语义，而 synchronized 则是由“一个变量在同一个时刻只允许一条线程对其进行 lock 操作”这条规则获得的，这条规则决定了持有同一个锁的两个同步块只能串行地进入。
+volatile 关键字通过添加内存屏障的方式来禁止指令重排，即重排序时不能把后面的指令放到内存屏障之前。
-synchronized 关键字在需要这 3 种特性的时候都可以作为其中一种的解决方案，看起来很“万能”。的确，大部分的并发控制操作都能使用 synchronized 来完成。synchronized 的“万能”也间接造就了它被程序员滥用的局面，越“万能”的并发控制，通常会伴随着越大的性能影响。
+也可以通过 synchronized 来保证有序性，它保证每个时刻只有一个线程执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。
-## 6. 先行发生原则
+## 先行发生原则
-如果 Java 内存模型中所有的有序性都只靠 volatile 和 synchronized 来完成，那么有一些操作将会变得很繁琐，但是我们在编写 Java 并发代码的时候并没有感觉到这一点，这是因为 Java 语言中有一个“先行发生”(Happen-Before) 的原则。这个原则非常重要，它是判断数据是否存在竞争，线程是否安全的主要依据。依靠这个原则，我们可以通过几条规则一次性地解决并发环境下两个操作之间是否可能存在冲突的所有问题。
+上面提到了可以用 volatile 和 synchronized 来保证有序性。除此之外，JVM 还规定了先行发生原则，让一个操作无需控制就能先于另一个操作完成。
-先行发生是 Java 内存模型中定义的两项操作之间的偏序关系，如果说操作 A 先行发生于操作 B，其实就是说在发生操作 B 之前，操作 A 产生的影响能被操作 B 观察到，“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等。
+主要有以下这些原则：
-```java
-// 以下操作在线程 A 中执行
-k = 1;
-// 以下操作在线程 B 中执行
-j = k;
-// 以下操作在线程 C 中执行
-k = 2;
-```
+### 1. 单一线程原则
-假设线程 A 中的操作“k=1”先行发生于线程 B 的操作“j=k”，那么可以确定在线程 B 的操作执行后，变量 j 的值一定等于 1，得出这个结论的依据有两个：一是根据先行发生原则，“k=1”的结果可以被观察到；二是线程 C 还没“登场”，线程 A 操作结束之后没有其他线程会修改变量 k 的值。现在再来考虑线程 C，我们依然保持线程 A 和线程 B 之间的先行发生关系，而线程 C 出现在线程 A 和线程 B 的操作之间，但是线程 C 与线程 B 没有先行发生关系，那 j 的值会是多少呢？答案是不确定！1 和 2 都有可能，因为线程 C 对变量 k 的影响可能会被线程 B 观察到，也可能不会，这时候线程 B 就存在读取到过期数据的风险，不具备多线程安全性。
+> Single thread rule
-下面是 Java 内存模型下一些“天然的”先行发生关系，这些先行发生关系无须任何同步器协助就已经存在，可以在编码中直接使用。如果两个操作之间的关系不在此列，并且无法从下列规则推导出来的话，它们就没有顺序性保障，虚拟机可以对它们随意地进行重排序。
+在一个线程内，在程序前面的操作先行发生于后面的操作。
-- 程序次序规则（Program Order Rule）：在一个线程内，按照程序代码顺序，书写在前面的操作先行发生于书写在后面的操作。准确地说，应该是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。
-- 管程锁定规则（Monitor Lock Rule）：一个 unlock 操作先行发生于后面对同一个锁的 lock 操作。这里必须强调的是同一个锁，而“后面”是指时间上的先后顺序。
-- volatile 变量规则（Volatile Variable Rule）：对一个 volatile 变量的写操作先行发生于后面对这个变量的读操作，这里的“后面”同样是指时间上的先后顺序。
-- 线程启动规则（Thread Start Rule）：Thread 对象的 start() 方法先行发生于此线程的每一个动作。
-- 线程终止规则（Thread Termination Rule）：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过 Thread.join() 方法结束、Thread.isAlive() 的返回值等手段检测到线程已经终止执行。
-- 线程中断规则（Thread Interruption Rule）：对线程 interrupt() 方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过 Thread.interrupted() 方法检测到是否有中断发生。
-- 对象终结规则（Finalizer Rule）：一个对象的初始化完成（构造函数执行结束）先行发生于它的 finalize() 方法的开始。
-- 传递性（Transitivity）：如果操作 A 先行发生于操作 B，操作 B 先行发生于操作 C，那就可以得出操作 A 先行发生于操作 C 的结论。
+ 
-```java
-private int value = 0;
-pubilc void setValue(int value) {
- this.value = value;
-}
-public int getValue() {
- return value;
-}
-```
-上述代码显示的是一组再普通不过的 getter/setter 方法，假设存在线程 A 和 B，线程 A 先（时间上的先后）调用了“setValue(1)”，然后线程 B 调用了同一个对象的“getValue()”，那么线程 B 收到的返回值是什么？
+### 2. 管程锁定规则
-我们依次分析一下先行发生原则中的各项规则，由于两个方法分别由线程 A 和线程 B 调用，不在一个线程中，所以程序次序规则在这里不适用；由于没有同步块，自然就不会发生 lock 和 unlock 操作，所以管程锁定规则不适用；由于 value 变量没有被 volatile 关键字修饰，所以 volatile 变量规则不适用；后面的线程启动、终止、中断规则和对象终结规则也和这里完全没有关系。因为没有一个适用的先行发生规则，所以最后一条传递性也无从谈起，因此我们可以判定尽管线程 A 在操作时间上先于线程 B，但是无法确定线程 B 中“getValue()”方法的返回结果，换句话说，这里面的操作不是线程安全的。
+> Monitor Lock Rule
-那怎么修复这个问题呢？我们至少有两种比较简单的方案可以选择：要么把 getter/setter 方法都定义为 synchronized 方法，这样就可以套用管程锁定规则；要么把 value 定义为 volatile 变量，由于 setter 方法对 value 的修改不依赖 value 的原值，满足 volatile 关键字使用场景，这样就可以套用 volatile 变量规则来实现先行发生关系。
+一个 unlock 操作先行发生于后面对同一个锁的 lock 操作。
-通过上面的例子，我们可以得出结论：一个操作“时间上的先发生”不代表这个操作会是“先行发生”，那如果一个操作“先行发生”是否就能推导出这个操作必定是“时间上的先发生”呢？很遗憾，这个推论也是不成立的，一个典型的例子就是多次提到的“指令重排序”。
+ 
-```java
-// 以下操作在同一个线程中执行
-int i = 1;
-int j = 2;
-```
+### 3. volatile 变量规则
-代码清单的两条赋值语句在同一个线程之中，根据程序次序规则，“int i=1”的操作先行发生于“int j=2”，但是“int j=2”的代码完全可能先被处理器执行，这并不影响先行发生原则的正确性，因为我们在这条线程之中没有办法感知到这点。
+> 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。
+
+# 八、线程安全
《Java Concurrency In Practice》的作者 Brian Goetz 对“线程安全”有一个比较恰当的定义：“当多个线程访问一个对象时，如果不用考虑这些线程在运行时环境下的调度和交替执行，也不需要进行额外的同步，或者在调用方进行任何其他的协调操作，调用这个对象的行为都可以获得正确的结果，那这个对象是线程安全的”。
@@ -830,7 +786,7 @@ incrementAndGet() 方法在一个无限循环中，不断尝试将一个比当
Java 语言中，如果一个变量要被多线程访问，可以使用 volatile 关键字声明它为“易变的”；如果一个变量要被某个线程独享，Java 中就没有类似 C++中 \_\_declspec（thread）这样的关键字，不过还是可以通过 java.lang.ThreadLocal 类来实现线程本地存储的功能。每一个线程的 Thread 对象中都有一个 ThreadLocalMap 对象，这个对象存储了一组以 ThreadLocal.threadLocalHashCode 为键，以本地线程变量为值的 K-V 值对，ThreadLocal 对象就是当前线程的 ThreadLocalMap 的访问入口，每一个 ThreadLocal 对象都包含了一个独一无二的 threadLocalHashCode 值，使用这个值就可以在线程 K-V 值对中找回对应的本地线程变量。
-# 十、锁优化
+# 九、锁优化
高效并发是从 JDK 1.5 到 JDK 1.6 的一个重要改进，HotSpot 虚拟机开发团队在这个版本上花费了大量的精力去实现各种锁优化技术，如适应性自旋（Adaptive Spinning）、锁消除（Lock Elimination）、锁粗化（Lock Coarsening）、轻量级锁（Lightweight Locking）和偏向锁（Biased Locking）等。这些技术都是为了在线程之间更高效地共享数据，以及解决竞争问题，从而提高程序的执行效率。
@@ -917,7 +873,7 @@ public static String concatString(String s1, String s2, String s3) {
偏向锁可以提高带有同步但无竞争的程序性能。它同样是一个带有效益权衡（Trade Off）性质的优化，也就是说，它并不一定总是对程序运行有利，如果程序中大多数的锁总是被多个不同的线程访问，那偏向模式就是多余的。在具体问题具体分析的前提下，有时候使用参数 -XX:-UseBiasedLocking 来禁止偏向锁优化反而可以提升性能。
-# 十一、多线程开发良好的实践
+# 十、多线程开发良好的实践
1. 给线程起个有意义的名字，这样可以方便找 Bug；
@@ -935,3 +891,5 @@ public static String concatString(String s1, String s2, String s3) {
- [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)
diff --git a/notes/Java 虚拟机.md b/notes/Java 虚拟机.md
index 1735580a..81c5dff0 100644
--- a/notes/Java 虚拟机.md
+++ b/notes/Java 虚拟机.md
@@ -125,7 +125,7 @@ objB.instance = objA;
通过 GC Roots 作为起始点进行搜索，能够到达到的对象都是都是可用的，不可达的对象可被回收。
- 
+
GC Roots 一般包含以下内容：
@@ -620,7 +620,7 @@ public static void main(String[] args) {
应用程序都是由三种类加载器相互配合进行加载的，如果有必要，还可以加入自己定义的类加载器。下图展示的类加载器之间的层次关系，称为类加载器的双亲委派模型（Parents Delegation Model）。该模型要求除了顶层的启动类加载器外，其余的类加载器都应有自己的父类加载器，这里类加载器之间的父子关系一般通过组合（Composition）关系来实现，而不是通过继承（Inheritance）的关系实现。
- 
+ 
**（一）工作过程**
@@ -692,3 +692,4 @@ java -Xmx12m -Xms3m -Xmn1m -XX:PermSize=20m -XX:MaxPermSize=20m -XX:+UseSerialGC
- [Android on x86: Java Native Interface and the Android Native Development Kit](http://www.drdobbs.com/architecture-and-design/android-on-x86-java-native-interface-and/240166271)
- [深入理解 JVM(2)——GC 算法与内存分配策略](https://crowhawk.github.io/2017/08/10/jvm_2/)
- [深入理解 JVM(3)——7 种垃圾收集器](https://crowhawk.github.io/2017/08/15/jvm_3/)
+- [JVM Internals](http://blog.jamesdbloom.com/JVMInternals.html)
diff --git a/pics/600px-Sharedmem.jpg b/pics/600px-Sharedmem.jpg
new file mode 100644
index 0000000000000000000000000000000000000000..76cb2a486490fc463a056c4c68934dc2beb969eb
GIT binary patch
literal 24576
zcmcG$bzGE9+c&;QEFDV23Q`h+bfH%m7xogxCh
zc;A;-JkS07-sk<}ckYLChuLG!IcjE(`OdNXbLQtVfKW+JQ4WBDf&zGc_X7M}0T{{p
z*jWPrs;U51004jqKu1LZpx>2H?*5ceQUCS+s|?U2{CD}+Kbk}Uw7a*vB7TSF{lCh;
z=m03;IRHRa?9VxXGynq)9RnQ=0|Olc2*kj|Cd9_Z!onuTC%`2nBPJ&&BPJ!K1ToT3
zQqfbBlF~k*rDuA~!pcHH!_LXh%*n{i!u;zYC_o?(8x#8hHueK%N>WPZ|L5yx8-NHC
zrSqNvDheIo9uW#E5z5a_0QDXF_wLva`Kj8d3PO<{4&BnuU}k|6W!JS^Ai*)E~1|Z0PY>D
z_lQu501|+6B|2IegqcT+CzAo>+l~_!x%O#H-ZxKdZ`nczO@S8~C}JRWfx=Lg
zC~nqs6CMw~>PaJsTR!7e?>80ZH0S6&D}n56VNYwkro5f0t-yv65-sK)!01=^Jxz2@
zyEJi_LgkbnbdQ_%0QoxdiTax~h=@>#2>*TKuH=~Z!x0nE0q@clL}mh&ju!GpfGlFm
zVPeG3?d@UXKLNQ0&U}uW**Vw>kvr5j&hjCpiA?41HY#UIP_CzydDnf~o=Y*wQp`-Q
z1?d=o7FU^Ej^`wvQH2*5pu!xJbn`Mt_4b;stNHS7^Y2?~HU^qIuFa~ulki8SX7Y`kJ+h
z1AaPf-%Mqi37Zj3m}hcg3;H@Iv0?j*kD-eASgwx;30pAmSK`CAO98)Q~xVjm1jBxqI2+vQz>g7BZKUUB7s_kc}$=RdUMcZ%l
zXA6qa?tLy<$+SVQ_CBxM-APsa2}xzLDBmS*&@;g^Io?dZX|pf4Of4>3_jj&-J2nTF
zB%@sE;W>%dxUuH|(d3lOepFP6BJo7ghfWv&p8(CKD`kDvq4H9V`JztUtbhjUeCTx+Np~)+nN;0cp)!#nW(*zA
zi)qpsr}-Xt67;5tDxn*+dW4}gZ
zo!cjowzY=5<`JN;^NX1H?kTycsu+|q2RQ(09Qs9AvCP)u4nhNU$(a-)_tH`obs{Z*OtU&$;>kCgpo3SpL&jGygLhK-l}JpE1XblHTB9Z`
zZ9Jpu!50K$XwLowJQ;ERJ?;w|cIS9eRL!m})#3>&D#|+!=C{>AkF~ROU+VGtSRxZj
z>r+09qB@g2D=}m=zBtp>8_GbH(XC`?&nxP%X4<8HsfO-}LyVJHW4K@cY#KT*F1I56
z&}NN$63%NUzE-Gx>z4PexP50)xsFtZgqikXfowFj~B_6aKb4l?|
z_--ZkG=A2j*~-cF*Pusx!d6fnwX1}5NPa@1K{JpR(ji7K8qrE>Py0rA&S!inx@wSd
zXnxVy3EYqzcB?Y9bW4^XOihaH@ylx-YqWpdWCvZ{43|q$#OYysINnlDbJP87c14~K
z9cpMl=Uvs3G+mtWsb(({`A%X*3CO(d&8BwTMEfd+v{Y>|w?!i@jcPgj@jDnx!MUrF
zkip@)+$tu$o3YNFOUuZhm$xi3?@h=Rwwi>eVsOQv4<~QMN82uLJ$z0^8G4AGGLJ0j
zSa)-UlG9Tp_<|a$Dn07oZ>lZpRkvFf^M#%UJxM>hi0kIv6lS8ibo2fRP`oY|Lq)+5
zv2_uCdz@-#Rbve5lTu}R92Yc{A6?)!k2B@i1#w
z5KZz69ql8`NWRoklE#y6oESF70ROclt7i_i1f_ykSKM}yRc@WR}{8?&D_6A*kYy5
ze4O&CPPL-^`)gZ5Dx@=ATZo%g6%OEGJY+L3lG%mpi!Iu*m
z@~xB;RA1Sv(}x{H!`~ECKI7zvg4g=NYeTDw45tZt?r3+G_?J1*WTc8GE(|K*X)FxM
zM=F>p*|}oFp?ZgoF=DjWdGv8*;vtjw7iM)Go2%mNaU3qw>oXcE=o92#mWC5Vv-s*h
z#?d*a^w63;_xkAAyM?V3C-l%&nP-JcRh;yU7XIZ46=Oe63oNBIZj)l>;bQz4K>+pZ
z%;48#vQ8>Go{5t>A}=s4JQD;@`SKX9L(m+w#lAJ=``M=*SQ135yC+AWS3U?Kq>t;B
z0&PZkzGe<(UVa__thlvH#AHt*Ncy%q*~TQ
z3D+Gu<^w{0h;y&GoCwh-n_b8e)JATHI2E2O3R~k#E=wkYj+D*T+#BfPtL3JlOr=-yh
z0f`W74V+N6-@YKTPOs(evn||9v24jFj^N&E|SI8k%JFjc>
z(yi2S&l6f?>ok|rJhJ}i(U<7bi+omz75yUJD
zmD}~wo)ET9YPJpK6vvzkn;slq^gnKi-ztb8a0xq&@cEWp{x|gz5n<%%&4cX6^@V4K
z*UXFj^A10g+x`S_;WVimr`c6&Xz-91hQvP@lUxj7SihY5WE#Slos!kTURLF(KJ_@`m|iH`
ztB87YK2i2D$%z}44KgoO$&)yILOUe;(dlaJVxpl=n2zOhIUVHo=}Qr(A9V*u2Z~Rp
z-fe&Qn6M?&uc$WQA#5EkcpB`{FLcEjX8o2BY#ZZX+hrwG>H&F0Ck2<|$;#X!r}z6R
zsR_NmALujtQ_aU-i
zK(?eSwK$lDLJxT=fLaZY>*U^0iFf!+CGe!fNYA
zv+;}cbQWjg=!AS!R1-F-q=(NIeze~*^JCWTHP4x8YpZ>I{U|%FU|f#L*#b4G-UcFc
zMW(+(^1fKOt~|*^v99a5*#iRkEHAXteNBtVo$m92_lWTlR1`Q)N(y687^g|Cvr{Z(
zpBxla-Zi5@pCABy}o{gR&;dOa}oYN#bX-!;hV~VI_@^-Gzh_<
z34%8^u3|m{>`zzzaJ$DL5F25E25a#}R+5feGd2-oS^eRW%+R!do-4}y$L1x?b5GcsfI0l1H13~p`N
zT`PUe*!r$Q6yu1#_`{TDKM$*8^K0&}Af=l-lQRg)=57^OoZ&Q4MCaf%4;(+;>v
z%0*7rk2(^#aOemXPRv+@wfDPKQGeHOc%67Zjuam9Qpp(5?Yam6N1_nUWfqVuAmu`(
zkh`2mZ{v&42*$kha*?bDJLZsq1h{od&FMXle&0q7CnEcWpc<~4a<8#S{?e;Z8)t?k
z==95*AI&1E9?tM@`ie3Lq=h~euUD_1e
z()w0A80D%|^4@G}^TmPpF~xD&D(n)o{AnF{8+?c?aQq0`!lhXyDGt_ok?G})$>%N-
z0O==v)+W!8DA>>$6wV(2Q_*oyST!yzDj8Bfu$BN=a@8G5G2N}4Mn7(bMEJ7HS9sl(
zK_WO`>AT09Iz&<$Q?)ud?vI+3U)8$aUp?~7(Z%l!2M+?fuz!!Rkh0X3MP-=Ou
zsV(iApO9;fMITdL)38rZ8fui#_)VuX2Wt+qgrZ
zkcJG6?Q&ihCn3CdZ_;IK1o!I>mYTj)@35Me7D4?CEz+?t#u;MT2VHm2+;a||MTUm1
z&_|DhSPfLtowy&a46k90&O+Nj*dCs92z
z`y;cKXx_SBVW+uDgB^Hf>A~(un^x3iApIp_sO|5)=&y)|-f!0n4=#-~^vrWRavP)>
zRJ<3vi}YpXeLW(T$gAlk^V~gEP9`{@%s8Dja+ig+51cW
zD5}wx`F?T*Mz(5Jz2qzdUss19`MlzA-HgkGdT65o3kL~GGAE_qoAj|MrA@*uQ62(s
zdueDd15v-!;OkdkFrjb89~ju%Gn8;DZE1~Zb6Z1aBJ*Y;?gF?cxXBz~bNAqSx3<1@
zoaDkO0a65SEuy6pzo;O7e^>;r)_a^ud&(DOK{5oj_Rs^?K(8BUl+Ghf)y8XvyaLOU
zEbG7Gi26(Ub+XB`as{|q!^a<|?UlxM8}tO_mk38YcuWjc%{NfVySDG;kc_nMKVqhwL!qp3`wGMu>Y!$Jh+O18!7v|`$yajt2I+`kT0mJnjDt$Yd&TlYu@yK=ieTUg=z<*&_jDzqc%
zAqRq>yXf6O{!}Lxoq*Hftt1-mzFbi6%MCl%1tXRkbTGyKZb4LXUXfi}(``z!!I3^u
zhUpx?dm~P$nRD7JINi$X!
zqY%8_OzB-(eprBl;-$;kr_M$dQ^Z?i(@JJa^eYgg=9<9VZs)y%($G!+_a*msy8
zOm$2|N{KGxeZ60*G|#e=UzC$yH%wvzW3%Xl&Ny+|LcpV+=6LsQP=V|Z*??HDNM^@U
zwOu}ba@1(V!c&QER9f9RWy6toh#6W6-OHYE-dKpaWb{f&@hvPI)bJ897U4^)HYB@u(vYG2Lo(1
z-yssgzE2792nEeipWt1{J-}q6s7apJhUbzilqVQ2ZsEkP8JNz@wRDTK??bx53s4PC
zwd-%=JH~4qgQ8ZVL<*a&g|>{>IuUP(QsHF0?>5#u(w8}bAqJN!v}N|5F;lIx>hhYZ
z&PBwYPjZ|)Uk{etGsxT``h=(>qUK%S*!toaiJ0Q$%i+s&y+i6-E8j`VJPXabje82x
zETX?Yyh!z_Y`>n`3a+r=Tf&vF?!sMZtk-q0WifI`u+mZs)6lnv3_2k%4`HJNu?T=l6hzh;N(ykFzEFheWz}Q>&K#;-0bpdy$*F$+ysTS;Hi)VrIXvd
zmcf#z=ia`EO{_>uB9Rnk8!!mTq(e~UGdW~E6b9FyX*=w?HoDSkWC$~GqqC^d{%R5V|
z0rd*~xoMYt_Ex#{9GxS*QWw07KN9&uFl4_V?!W;U@P1Q6CsW8&7LuP^^JTBcIeM61
zq9x8euXEu2G5TDa6H120lwLeSTdI;^SM;Xs8djg~7uA>^)xWhrInleb6~yJXf!Zv9
zvWPPReqd-~I~Ff)?Kq+Lu-Hd5hX@gyxTE_(BQlCrsDh<1rE4!*WPitMs5qwTPEygn~V%0$TFyCIJXA_
zeQOVO$Q1_&9j$@zuS11LQthUWD@;dE8&_9E)ewbw_rmWB;kPrc`H1Yp-)>P(u2
z8F>xn`;ZyUw<|0{G9hCRPvw3B@PWdo3+zJIx?&>WZ}-XD`@w35N$(2`II{2A;_AJP
z@rXD-#YFfIQ2hkFxy2qaig|436sxW=Hy2ZEL1k00Y>gMj~36
zP<$rEg=+gPgEsn-yFi(8O&z<}8#yoYxb;Nm9Ho
zBTM|3H<@wsRoFQMv(ux2mMik5a6i1;M$GIdJJYLANLYt|=<%ZOTTnY4n7@jknH7y0
z=p`99Rz`PvQZwn=!zWtyBteL(W}5dTl$g7`y6G8TAw*~XtjXK0Y#^Bz^_@tzLep(Y
z^ACl`3YAV|MpRumZ0uedliCs!eGlLfVa@(sHuwGo3n<ya
zgH_tBC#y_A4~ca=9hr(b5L+%T^Q|bY)d(b^XUM4r4Mk_FYDsKbOw^srKNZ@PO8$}p
zr%caBlxbP_p`Jb|6M?M*T|rzmKLPKcA+3CcjRz1-BTYPK^%-~bvmQc!hh
z;hG^H2^xNSu5@+pjKud~Vc*mbXQYW?%5(hOvksf>#qaR72c~X|Z$)9pR6ne6Ns-uo
z!g7vMsA!I$~I|vB}!f%-P38)dZW;F<(AG`hPC$fdw8s_0%UI-rFFAN!t+ayZTpE+;^?=0`0V%Bz(Cc#U!Pm%fFBC&x^Nt#52q(xeWc`e4B
zq7FOAT%Yvxg0QEdnn+V&Kg@O7IA6V4LR;R!1Enoxmqrr2D{P
zz#FvUGWA|#=6N$e3tEEKJj)v|c1OYc&(^*|UyKip*O%epSMOR4rZ`#7>`w!oLqA$-
zP2s=jq0u-<5lMWP^uQ9#*A^_*%a-&DDP@b!xjQD1%gGtnds9v(1fjFu1TN)5rVlUh&%-&0o193+AuLPNyKji1fRB3-1>E>zW!0NR
zQZc98l!#GgAYqufRh43)XT44
z6DzAbC@CSo8F7pXj|atiY{Ni}>Qis76L?Q8f_#-xr27ALs>Xq(+X`Qi3mxwsH4tpd
z8i16$LY@cTHbt=9=pF7n!uatD&q6tWKV+RhcSDf9pkN3WdP6_bJ`?~h@SQ5m&4pLz
zR<~M+St$=BD#`I@EmF7P0)&FWQ!cyWG|
z0e4SMWo7>R*7fc{wbgWFGo}9C7^l=0&JLk&V`>--M){rNinQ9;$pJc%bSz<>@bE~i
z
zz*zBq?jrI$;_-&ttx_%wmSW#ur>8%ms;}p3Q|#+sHG;JcS_#e<)|WFmr$QhNaCv?A
zVb*9opaXB8R$cd*OVRO*RJfFq{g(4Fqvl-up+H4Ms449N_UdS1g}5>$8d$
zsTOCS){!700=jT>aCC@Hhe9O#$1yvGm=gm@O~SZtXJ1Zo)6N9{V_obX{8+Du|nO
zVGJBKU($y&Br*P2UTF0`GZU~EAABSctM@oqVWM+z@MBrmFkD)K&9
z6ww?Pidx)i_pR!ZV8kyU><0KVm0A=t@P~_7VU^MvmR9%Y(L?}%ZInoMZ36d
zcnmAY3K`QjXiEOhWpLm_Pgn|q_epyeTAm$l()+6`h;})SqO%#BPf?-|C8|shn%Fqs
z7R6_J7zpEtX$L$JJbdz2AGcZnx7lDRzF|yLg<7KbnrOLCADhS7^wi)I2M!6F@PlI_5`YUMIqy5;o*wR2W{ZyhJeGU2LIqwskK*!}!
zr~nXL?lC;pYd}xK(x;ih#ga^KJ&&PNj|Vr{Rwb}CMHP|tXUr2
zM&62}I~ddq=5{XKaECL$kET#S_#V|C8V5g^@YK-M*3gnymBpbgiZ+ja-iBg{_D8sN
z2eFBKtcj`69f{=7fbwOmX64mIe`{LUFq|ALzmyQ6D=LSlI9tGsc8q{>GyAh^z54De
zgJ^`3cRQt=5~pS!?UWi5$7HvM-eU^08LL3cvVj1Ooo7@%I(lte)EIs8Odg~4BsHzB
z{zV4|p3r=x;X-qt5(G=^xc8+j*xnR-LD93iOWF$`2`lOz6*ZXcusT(FJD?;_{9B0u1uVZ3zB&vrT8M-W3b15SkF0
zcGB<7&1{%>f-mcdsHd-$T;7ebQZ=V}H!ria^7*o4A$QQ_Q+wwe^GczO1nK;P715&Z
z$TD7i^m*g8j}uKC^l&FCHTlb7iC|~F0Y^ti2lA0AUH~Nq0QKF|oIj_GKhkrsF|=7(
zJiHK1da5pU3yn+a=(s#_2x}$Ntv)t2T%^L!{;RR^t1Pg*rAL8zUOi#9dws
ze=YVeN!+~DP^?bV%>GTX%kkl$P(5Qsib?aU%crKLwi5B0uWP^Cyyz-8)CAkJrNJ0U
z9(4C+`-M`IR@T>LoX>|okK&m!kzUYwFYqPHYC>$H?=*m!p)Z-@_XE{__wWxU+Uaq8SK9kn@Dops#%+)>6UVx4fIXX5o^OswSgbq$1Rt0_laYf&pD
zISU&euNya1NJNtgl(6OUn1h+gSEabe(2Kx}J75WW>o?D687%*ii*it}j>B)FKlupT
zz1wA(6u0uHBIWX7AgO{19S)e6cySVCT9zi0t+|jdfI1+=>O58BoA%?uqnt##=-=g{
z-(6#ITgmzTpMmCQLK<-jA9a*_*K+YHQa
zH-3aLi&v*2x!2Rfp11B=%x0!UO-*@T^Ml@b7-T{$$FE_`jQ3
z!9M7d@(5}zGM&VZz`
z1W{2L(K_6j|5G2_d18OC!SbgSRg?Pv)JHiiL+?X)wjoAITnc9s$R*+(ZF26Uo&Bt{
zu>GX5mXS?KL6jkm9L9J$R@-qI?4Ff;ZJ?^>vvGB&QsRUuy-1J%@hpyUSIb<;LjOqP
zZ-r_op8Q95?f*|YPm`;asJPNzISHCmssHVX2FZS==la^RqKI5=MutM$$edT^T~PC3
zwJqWY=>5^Zw5WS$+Va18Ol19+Z~yYszkK_@YW`Q7oJ1>PNiXDd@yANt#m2^TxZ#Tc
z=X|KBW9L>Vj`v9oi_hQA>t$q!`h)sOI#wH9;8_Y2?(a`tyIz)O>=$YA{*k)yo0wQ0
zo9u0J=_}UFIR_XE6(hTl&+8u|GEQr(qsxf$+$PyMdxysfzKhdNijTf#%@H-j!or{S
zGwQdq`~*yuL9qivj6Pfa1b|_T5%F?oLFK}EYx;rFN(#QjF7keBFmXQbna-Sqe`opp
z2~s?i-D1}bYMS#3&ktR4FD-nfFEmG_V8m@Oki0$KtDkzl^eIO1s3%Y^|6$T6u@eNd
zWqj9g0Io--uOd4I8~bhkB`Hb7lyXq}+SLc^&lB(OVJ=}TwmW{ta5>e|rCgqyVNYEi
zytP;Q+mU%>Bu?(dwl_
z4EY3&eyWVVAx>}u8GqkeboK1qzDAzUrkv7djq8HDgnV6d&~P_A?Q$S68YU-1{9klR
z5{u7Q%YVg&CyOUja|*9*ua?^rM8#=egj3_qmzMjzgd4|zC$-?kRprTZGI-&cLHF;r
z*<+|v88jVP7f%hF(SA^rUz-2mXAA9<9y@|u%Wfzt#NDv+j@_<C=Tqr+-QrS$sTXz4n_Cv@5mjHXfr>ufFga+ZVLR(fqr
zE6Q^|LZQ%bzpEY@WQ6R4^o4f_$;TYD_Z8cye_WBN#%g!@H7KgPe*lVn9BHeTM9LPswg}kn|S{ze6I6VQEx3JlcXlVF5yAH7V*GLSLzM6Sy%6N!n>T
zMoV;(%tGj1c;pQEh^Qnj;?*wz;Gy5j+mkoCM@m8Gr52&@pX*i322HaT{in*667zM<
z7SJxV_;PZ|;(o$IS*p>+dSq;j$psfPLvdtqL_A^6>+13!0i{iScJ~>(R1r}*lm>I69k2%_bg47vPt1J1-
zC8ee5=__tIR?b)TC5(8MJyasb?d)!Vdz*1;z}JDF6^sTMy?9kq$XRnk$+!icbH!Z+
zFU-Zg7~Qp}ER&qGpa}01O&T5SkyFmMhJ-v9Q3aJ&t_rNR@+|pIa?Qbzc}^f%8R93F
z$)CE7(C{F~^_lf+a9VeQc!juO2Rf3=B{&SYNOQ@5Ib%i;RpsVTxH^j;9fPpM{Xg>jrKr)9L66jL#ZmC^iez7M(`eHAD
zNS-Hsw2BGxHUrL+)dNg)e=k<%Pdy#{@2nurC{;3fb;c*w@D)CIg4|bCmjn&-H-kbh
z{NrJ2{6?#iZQGb!#uY5@rqzvIN(*wj)X6kXzA$i-0b}Cad8!p2r#8cd&9vKJrob>{
z9u*hi`oDV&)iAnVj^K>Xo(L6cl|AK$)(%Ul%S+HOiZbQlJv|3QrWU{v~M2y)%q%j-3353TZbjLaVNp;Y_IO0k1IXeA|RXhFm$7+9{jUVfK&g%LG_#0!5Qn
z2ClW!yPNBq1lebOXk&q_h)IJI*po_Q6NY_DYQw1KKLOoUd$hGHJ*U+?Bi^S^{9nE+
z$S(`6J)P9i>tRS}wKL^mTkNh(1pwyn;(JaELYL4DS2AYI$k03GKdhO#r9Q0k8(e-o
zGw9txFk59Fq(ETg7=-UV(_($}V9&Z~C1P);obGP<`3vfn`umb2f4BZK>k~xnv?9Fd
zC5;BvP1q~cOdNJPKz!^BpSo#~%IRMu#r9r*GVvnp(L{?Irn0=tiWQ5ca7dTKq|cFXIHh+nV2hxdUGZxSDiJ;jU5r55>|`Y+oC-j7G8BS@eE!3n#QXoZAfDAp#b;M
z*}>~r4@g$_+=TgDI8Hb*QrYXl~2nH(D-8<8r
zy$F-c_v0kIaa($+Q_7Gff&mNX1sV`#fS|8M(ZLbkzq7OXF{dEgC;&5yL8>d5I@$;S
zJXwrUOnL?xNtZl;kN5OB1T~x*!%uEC6bl2^G+OQJ?AA5mnM}Ny>-&5aGt{K8es8~t
z3V#+dI&Y*dr^l%G>9a5oqZqxBp#lfhz4uNPF^555L*O8IR
zof2SeGWqby_!3%@P>4xsgI4L5!1pQ+QzS&w<;&XzwAggGl5qW_^5PF%(kK?|t1F%%
z-w}dt?A=3LG066kqVR%{WFl@oATanM6g8w*oY1?xJSU$3pSaQqOJ#Wv_YG!y(7pvk
zL$cIM_aHnu=7BLQ(tf7|nG;{tP}S8v)cX~T`o_ccx_0i(EE^n8(@$Vj&HVm&JNRqB
zOyP{f5LGR$@5{BsxB*Z{QeraWhYyv~hWgHV`5!EA3S^FY2p2v-@u;&%vJ5EYR_22%
zXE<|fXbZQr7Up!~bnm&JtwA(o_^goS!!TA8#ajCHy!>!}$JE;L1n)W*3;M^XiS#1j
z`chM=%1*S|yXrLeX*89nw=e7ZM2x1t@JmDcUV<00!6D9Fjmg6J?@|LiHUW(8AzS2IK%@KN*kh0;$*|19*zxjG)<1!B!K7>MFMen2^zk~Dmc
zy!$I$LG(JRCwV~lX<12{AY9+{d=zZ~Lw+yOeLY?1WEKDlkWa4QifKP;ZedYDjo)#q|48l>}N
z`YLhRK##_d{U-nzi+r8_6QC7gTOT@);Jq}Z}Im$sScR^G=%AV4u`*IE^eLDm_M#v!mkkygqX_!}|s!p8pu0(~m
zP=Vf4Gnm{XqP7S`|58XnDrb~3eAlbY(VJW{)Q^9P>sle=d4h-}|GeouXlUUM?|gd{
zwX0}oEbY8TLtn}U!wtumz=O)we(auu7|*!~&5N>rfzR&4`cp_O2I8Q>q<2~@S$r@&7Rvary1`3_*nO-WWTg;V&K!cEd)H~k
zHSe90B9s#|>p_|usP5CSa}}Y>HPWH22m-tFb1-zORK)&1=r)|zmwI~uf?Qf!T
z&UI?mfG42HP*u_rL7xcZ*(74pPF&^Qn3%EI+8K5Yvg`8VrsIWI9b=(Vo7JUm4D6><
za)O%TwpOk-TN@K7-&*1!{nD26V)i2YFH~N5eu6YfiwHUZhGB?}ZsKku9I?jc1%`sW
zqL0a|JX#hg2Ohn)R3;3|-rqRBJ6_D%(#SHRbLIOFKqI247}xj7EQ%frZS-RwUqzkR
z=ao8;b6~tVf|C(WwS1|n+7BmNbF33I_lE7e7b3)W*r#Uck(LC-q2BGxoaEp!PS=b3
zu6sni3PQbxa$WYkq3`BwuQKI3BQI0-!fhOE$k%&^BmDa7M#kn!j8&!8NksAbh`L8c
zur`>vHHpx*Z)nBrs;-5WUYuvNsaK^RhSPj{@#Q~-L15X0$f&zdx%F&{w?}
zFQJ5L-)fZ8kchtiOfKVv9L=&Bjkwl{H`seaKI7qhjTME7Pgt*eG3NIm3?6-Yw_K
zUH*iLQ18hn?hO;Foe$0MB@mvAc3OTsl!IH&0Hqf)B=y9h?qHaSltggi{vtDtA)}>N
z{^&dKi>#ivt7~iSlrk0^Ytrz#n1v0eyVN~0=3ify@ZJ5-K+pUCSX~-k@CyL){+|J$
z@LfsOsn~MW`o_VDlYFYqD;wwT^g0l0oZz2UIi!5^{n(Ff1
zEeC@BohGe9)dUGJ(8{T6I)g>>}2ju
zBjvVm$mssLV8OoN;73S(4^?f}_imw7tMbs+xps@4vXLoS1Kfz`4|*^thNgzR_Z@9O
z*KDYF>55)oteR+|AY-JS({Tk)@xD=3e$(cLYWrZM(a~Lh7*sWVVfNm5
z;w&a_6?H}?q*Jx-d(JvuS*zZOmC;?=TZu)jX&Kze@Z;!ok6TtMY46yUBXss4(lIgo
zaB)%1^eXMz!!7iBO*dF*`N#7*oCHT
zwiZwQpMV#|H*>9_VP8f6He+va{0(rcr4uR@a~+qUh^zIF&+^9a`G-eIgLVO*Vao|{9K74BWd{4f@peOx=_o_DUbC|3%#_i@P0N{)Fw
zZ=0ghZT_gB^Ch#K*{Aw@9*J>fU?xIc+z)|)DS~w2KLL}@fk6F6Z&3m0gPPvEZJ{V&
z6}&hh09tPvo8MuzDscTs%3S&wmw=C;+aj{3l?QH|$RV&S;{B}l&fChy@0B(B&2v0W
zP^v-|obFvnO|?kwcnmCRh1>objJgv40UmtvbO&WuHFjm_2ieEPdx6o@0h~7(B%OE3
zf_M7)1N(ga573af@h*vBG7;-rXoFb6<_WlvHkZi$+`(!?C38u
ze2Sy*E%$EIZFG<x(|a4Zr)LtsDLCgqXv)W=TpFq1rzIWyaLRKkn7O{CeA
zSyAanzX1A+_g{zT~tNU0^T5d_Hk68k=+RyH6z1i`pr^{@aImO)%8sHTDKXZL2
z-c$LGk9@INl{<*cFE&ptnZl>U*axp=EG2|U=v0TDpJbg@58M%
z+N3v}y25M)9@CPZF<-8{ra2%p8d%s8otWim21@aVC`}{)y%9n<<+K)=U`f80xZvY_mqi%}K|7>S|Ux
zK{u6}3(6G-MlK~+JB1fMH)T+cxXJ52-F#Hm!|XZUSN#=^?#o#BC%0nJ_3ak
zWc_cG>L^wM+H*-k$wk>tA6IH$R|5yk6@dsV$E=OY&0)reGu5tmBsv4tCT=I&Tgybh(!&3dg_ms`-9RN4&W?VMi)!^ED5?0$=W
zf_=>>y5aw0-K4}gDa61rX=b0C=T;WCO4!wCU4g6rw#ZFDU
z()ERTj@)glty|xZ4%a`1xh$uoz~e2IsB?5Z-WolH?z?43BtZD^&NyW<{})mIFwUKL
z%J!|;cFeq8h^jiJ)JAMYD?F|`wD82(G9t(ea48H8lVypVbb
zSojXu<^OPb2b5ducmxyl;b-2A-;Vb3E&SmWY8^GEbCbSIrK*Iwza8cOQl|%R#b#mV
z&`FMI)M=SGfoqIEkc9LNkt9V1=Qgg%b-)HGvdfK}3lZHNsBn1I__9|1|60aB&8k1o
zXp8O7Q81bmKRwJ`KTQta;=I?6a3SB=Fip}0;$;uk^IeWEso3&}5NQ6>&ELt8*q9@p
zI^CH>yK1EB_Ry5j3vZ48k8kV{HESG>eT!8o_~J7_wzabJkNb!&%IyY>%Q;je!kD8
znb-S$+2t?kjJniOA*JN?{Jgz&j$_GHT$de+#+u%FQIzhx?q80nBT%VpQGLGb&vpRe
z$eFLK!{wWAr~G6{s|2Kuvkr7J*FqKNOb=v#pjvq!BoV>15mW!w7f10e7L
z?dO1!+H-3@erq9>141g+e8+Wy1gRD4g&!pyzv=3WFQV38+%u~{k=;CdnZFJMDu1tY
znP1Rb>stbW)zeG`>)j$VK<%bD4u7g}uV#K5sju1vq)VG98LT*1#|0yXBiHw%MSL;j
z)8_0iUEh__<;mz%uldB5Kf;^nn!yw7D+gH1QT~tyEN_ds|aA%|!xI=4}g~_L5T6HZ)&#A$_t5XYVY>H2y?#Ezw4sdlzTXl7BQ+
zs#N!5UbI%G_44MOt!ldzW_)HjX)CUMu~i`|kTEfk>~!Pog$ULnKY049*Lw3|+fnm-
zwQ9X8+aPFfW}y+q2t&eN%V0wJiE^O8J_8wKpqK>^Ae)$$j^d
z^E!^ZTo}sCiyCfZuo0WfoV2}WG%RGg9bJQ-wp~5lKT2HF=SK^=KBV*6D^A!7?nFwx
z_D;CRl#VaEX0LXSe|z#Q`%1BXnQJ}0_{A8vSlWwbU>Cp0H`o9sr&d$rM*(nS`!r1G
zV52x%5X2WUfl0L~pqgn%F0yG#hIrfsCtz&~qqfQ+;MyEeb4{J4%YR24*tRiBvm
zNMj46Q?8TRRU^Zh$N(i6vc#`QTIusd^b;4ltnKL3sP$V%X?l!{^IV8>>k@Gjk!V5c
zbcdDdxHX-Pbn60#%Z2#5YTLd;g1c7sL-YImfQdibOM0tf5xa>%BZ>rCb4M8z#kat>
z@VrKRmDvB$eD@V>_vpx=oill-{x;?e-2=;OQ|e$x1}pRa1qs&~*C`9Q&l68E*Y^p&
zx>Vt8?vFeprX9B4r1t7P9fid_`a5Eyx*qp;mnE9`Hnb8~NJ}GyO`WKZGISFj!#OKO
z_s|c=vhDeDPPd5MTtOV1$eh7WrIox*skpFBOf@dV=jU+pMA|@Sw8Jw7d2~DS=`kzxveQCp+q@t-Zvw1Hd^SlP3?W`#?>L
zTiLd|J~0jZFyi{B5%Epx-9Y{C;!n^=?LuEad^e{(L*`rgsE$UC{JO4eTeSE{vt@V;
z!l}d>;8DDFGbpXXKtq1bi)1n}BfXulSDzi&E+hGqt}p+r*tw2i#eIQ@OsSuKJ(KOd
z#CZC~LfKrR6WZ>fdsapz3sw`!f-z-`4R&^2D80{(S904MrEduIpP~VBXQmnBUgy>h
z$p|z?Xs@f{KIFNSho65b8Ly_)Xvso8^HHN0VqyL^njufqpSKW}uRwTC{x4r?qt9X~
z#&)=hD(0KT%hgm&wJ2XGy~k4&WsXG5euz&}lvy|)uE0N^h7TbWItZVJcl5Ho<4j~_
zl%EjL1I@7P0BAFrxz~R`?0MyA5VJbf2@G%$q(f0)MfNij;YY(iTZU+IEbn>QQ}HXE
zT_P)ucg7*{A2l;xO}Uwa;Z3iqSB7*2#6zFMjk1CR>LypjJv8y+9MEhwK*Fjpzl?A@
zU!o;~3POlR3K^t^S!U_KK{IK%-o6T2`n&YjAlEdJa^MXw;&xwzUO
zgsMLQ!Ybeu>!b~S>n>X_*9^dBG$kdsKTa5mvIK=YJ_cqdaE1KV=4Ph%YrW4UE*?$hmwQVL6M8JUiBlclYZWE2yLu7ci}8J+eU}2thifNBr7+$
zz>cjW(x&E0QWQnoAPwb>`OJQ{vLmuR)e+^KsfOYLWCD|#ek}aqIAi}+42*_T1U&nj
zW1I+SH4k|kCTJ~l;_x{zr$^fqbRm3OCW*XRr9M~6RA@YQ)C65~|9(!t|4LrXB&4gt
zjTW-&TJ8&nFl;e+-raWxV5YePxXKkRG61~QqPTWHb&Vx0DoE+G27}W0BkD|tCQC1j
z;I2LH!AogUxSuI2=+vb2Jqe%$$5C|F7FH)f@`I#}JvMKbKTMB6!yE)0)EY9t2L?b;
zhD~7_&~Pa2ffHs9ME*RR6J-dgEalSHWC7I?c~#9eT0t}zaR-;{kL9@PPr|0-5^Ef1
zqP@n(l<(jDMIv^<^nyWgIZc-->x`eQl3LiWvLOOZ%ggKpp8fzWD+3-UF=A6Wec=OK
zI^k%iRGH%NWU8Va6ne^evT&O3hV@oLY)Acu356_F!Lr;|?Il_*eum5c@4X@lUoQ
z%RVgcpH0XMpM&%24TpkKm%Jf&RLUBLQRD5o*;Y>|DvyK#&k
zXf02Nq3OL2*Xb^XzK$?&;Z7F0hhObPi9<&`u3}$$78c4T;qmCEk+pxY4h2$LUgdllyhoJ4A&M;^zr^Urot?GO|`CjM4
zaYh4N(T2@3S*gw{Yn9hX?g;?mQtm^(xonKQmjH(2pgOlIXLl=rlXA);=M&cUO{tn%
z;dZi<-P8MX)Yw(l?>q>fcIwv(~778$@o7MP^HHHR3WSqj~YPq$#X)k
z;3DKrk2w8yUU>2jbSwbL2_H9^lXrMFw~5NDLS~frA}_7C&S72
z2WcR*!KRtA>m^vlRmx)D?4@0yqj*0i4uNN9g`kwWyGWR`~3X
z72gGHvDNAjT{&fBsI@?8YpGZ-D%JQD`MP>2Zx*7MmwTrh8i4>dYxp0uQ|Ilj&~zxo
z#7_m;UQmi23!&(44EWs?qALB}e^$aMYCs4D|o_!8EC>%7qzwH4R9
ze)&T!9~ljg@yM{Dwe_<_Q_G}DHtLt!R#>E`3*l=}1_A>_v;oAJXkh?7pr#Y0aV!FV
z?@i7!bV|M6Jm-fyc4^N-I8V<6wSz+uoAD{NSyiGS{g71%7*smrqw;KvJ+2zAJab~1
z?E&*SUuqlDJ%o2Voa+Cdn9MgI_kyFR35Dr!VY~lMUu2S3Y$|!v#b@;O%wbQrsPglF
zJ#P_M`-81a21^iUXL$HTrNdt=u?#dn{d(GNMYroX_mG|jR9@tRRt3VO-KEc{kHaBI
zm}$rg=l_w>I{aAX_HT4IR9@P5h&kg+8)9CZNDf>wW+C|~ERBjtA{%8R-Icj8V}ZT=
z8}oNFebOt|jgjUbM4mRBnxhN7Sb1l}e3JXg71BCg)4XMFT@~)VUrw11Kk?YC)3!0}
z%iY)_OyX~QpfW8+s%hQ99FGZZjRdlwSw<~ZMf
zRxzbE6T;`ujU;|#t$A_PTY*n1eJJDh8-*hcI24#nQ@ZYCZi6kUebwbSIZ?luvjebV
z(Er#WkwpFCCdZt{SsIOV_1@;ToeD|;^lO^nUVVcT(MCG&!6oP2)l;p9bx^78Vu2*&TK@(>_7<9`Z19g%=A@%|p5
zTzF8f6Wf62o~cZBzh-ce2;JrVuV7RP3JTm%$-M6H91YLG!NF0wMx7`>u^gpWbe}s{
z_lgK|;qfuikQ&L^_I?xN!tRMghh
zRV7j8rp8Uq$WY~WOf^$Ih)=_9MGC)zr4|m%tq)UXz&tG_W_@lsK=K~Z1-Z`Hs!Yp!
z`eVF}64xV*x-z)%;)o#NU_r?8gZj({hz1mi7)Lo&%^mb5t?*t?b`A~gWM3;VC7dUw64USyE=Fk2VCtq!9S-rm3_sM?YjAv0S;>kTcJ>AyU_We5(%JD*d
z^e;w6Mq2z(l=$EWKR)7&4^WWEKL;oj<==K9UOhxlrd*P*d_GH`wJ_#CIUg7gxa14G||66YodB(vt2F3lLRwCTuB%Bl=Iv
zk6DnLn?Ld>=GB_Gs6EhZ28iJO(6EV9hbyD=bKsNt3)@|nrt=_y&jt&XlaBHSRdxrk2BK)T)0CfQ#6b}-TFDDH*
zeY6@lIy%y4w)flqF|vL-OQUYIgc^#HOutxA5EFxyWFL=>
zR!SnSstK7Z^r)V*0Vg;$FI{<_EfiTpMW96-v?LKffk*M5D;DiF1T9T{jf{LNMGuyr
z^Hr#f7=iK$i6ereR*nl#@7C6Gi!wyfP*l5&SUt@--l=xs(zakWoMjeoSdcRmT9QJp
zf+?(39d(1hMoxS#53l3@#z*JCB3NN$@k=~Ey;M%1}gWxR$TophX3jqI-?Nhw{>|z{hc=7)XA+m
z`L;Ra&Lh+0IVkC=H@rNDznhy4VOoV(%RZ
zi8{%zoBrUC_9@HYL3Va_u}fD!KjO_#i6|N%{tegA+)-t?#W0AFMKLI#2xNiA0@FJs
zMn{3mg-0i>J7e}P
zq7dK&7}34wzbT>*T2b!}8NMOg`Hwxm*c_jp?unosW5z{qea}QHs;Voe3{p#*oK(S}^78VE?K6>*
z3V9u2X>K0k=YP@><*Q?cJ8@YyW~-Dfo6M!MEOSDYpb3V);!5mdVqM
zy(cRy@a_E8NALIvC~ylxqB)D>_N_C&4OnKUr>E!Vwd${fZD$hR+n|QZbavzyog%v<
zBO##^@{G>SNxyD-6c*e&JfwOw9#pD+70{};^7?+enkzRKKi%*8ctx0l1KQ550IKQM
zf0W&F;??5{6-ShS3+;agp^B4Me+uS!0~F81T@(q7f6CuK#U2P=V6T9qh}}t*CazDX
z(P^`*Vp)L_`^=9$g@H!F6+0y}lSvp0>w||6dt4~hv?Ut7M(jsQY&x?BqT)GvnXoN(>wSG(lanJjy*LtHe#1`)KypD*>J+X
z^LCb^mwo>p?qF|U!RJJY&B_x4{}&g$At5PTNl3s`U#4jZ-MYS)NRE(Z7CtM`)5tG)
zijF5qveHufJSX3pj)QXYoG?*?f3BvXqXRY9jtSZd)0zB*@(}$Szb1q+mnnQ~Y>cfu
zJ4tLvV1UM{XCqz7z{yFuqU`EwCaGw$-3E^>+NVhino6@rl-tClJ=Q@Sj&NyXzvXhy
z3$*{Tbk{-cz;05K*odW;+pic{E;ID~C{^H_D9tjwou_UZC&)m^M`NFlex$|O!_?rb
z%ra?PR(DX><8rKIdM+Y7T+?fUgm?DJ^`EO&&u=Z*-$gpvU4Ae1BNz9+IWq9!Eg5qA
z0q@_&Sk^(M_JhD`8HIevfTf7Q*2YGT-Lap{{Y>9$muikY)%ar@!S66aez&jB8M#Hf
zn3vDI!YV2%UX3N6D(3LOv97h-o|Zs?m_pk{)K)cnGNbs7%mgI-Xu+GzUQ`cHV+VO_g3Oszg=rB&8%(lkCq
zeLB)NteRt>3x_v>pyY{InIeMyQNA(S*dd0NupB4^Hu~Okq2yElrefAc$Sn~b-@S^B*>+GN2A2lD}
zl5t-O?#*NwJ!-Aq+Iy=ME6mJi{QUWI`=Q*Wy1E>Xv;@AUw)Qm!#o7Rj48Ctj@%
z&nmu)cGsh$qnR`kGg8;f-u8-$(HXiu*?zd$#l^*~tr_;=7pT|5wN>y50@^u^jhdOC
zx|6Mmvkyz5@xb9tdynDPm5&9}8LJ<+JuW7Du5a4nkKd&XOS
zsnf{RlVy4?b93|U?QOi34U_6Q7rw`hQup>|f!lQ5pN92}S{lej?$KCxs
z28qza(w}7uD{E`iLp+DXA~0mV*nVzo3_!1nA#B38OCcWX@3Uc5U#_m)DrN?p->`rz
zW?5A^bFRYmvsAdh?Cpw64uv$wJ}PN27P15LM4YC-n<58#B{
z#rdn#R2=+?{M0x(>Lt7Sp^UCyg2i-NXFP@i2IlmmMDltW@HluN9>h?TfF3+Np^6|N
zpi1UvMX&RXUUy*=8iUoeYNCw?_io1M<^+r9xhK225c~_(gYafo;(g1N^fPg3XlNvk
zHfPZ1R10KR1nKU1T#EJ7Ow_YdEv<&tnrj}O``IO(r(R_rXz7ayh
zd67@MT}XSK|0^ML9wj`N%M#Jed=ES#NJp}1PUeLE+G$hyw!GXM_x+
zU(bfkkB=x#G%yPzN6l0EV+f&|?X|2Fx{5h%2z
zY?b++&Itl}N1z-@%epCoi6fFQ7UO_`n80z2@*ek+MpzOC{ioN$|C>;WKoz9?8W2F@
zrf_DN%ODU0FYsrGcD9w=Mx`gUwjoX2A9)pi7GdG&L=+Hx*k)kSyWVu#n>$hqUh
zS(CaU{ZDlW!+3afB|zDM?=!(h0_rnoZf^5aaR~NE%ab2CA?UTpCrBF1nJs0om&CuN
ztxd?kF^)^0-#7kI$dJq)1W7=zh0Ijwx4RwAYiHFx>~HDLDCRSTGz7w9s!IGes|Mf$
zx836G;-VZSHh}&^(1}V=EA&9KP^hTZt^n@Q!GSmiCcqB^m;*xEK^lY42nNRwK?^*4
zJbsC=YRZL5lUiv$%G$0!e3k+8f#bMHMi7tnpI>@~D1&gdP*kk{guU&#dhvo;?qVEY
ztK$oLi&lmLN%Ame(%UaNhh1Q4*)&j{@OtAM
z|8e=1U;E?o(c=P%7Z^0E0{6%6B(cfX7_{if8pw<+gNdhwHq8I#>Hosek~-5TF2?(A
z8?J$E_0sEQkye~)m@-|%8w`Kj>M{j!tF~6N-&R9tmq<-&4?3OA3o$DdADYKhcq;^1
z+mgK!x?PO5C+E5zQpfsvjLxSPBVg;N4Ik{ye&j7f-aub<3LBh~D%l*BVHld*RbHwz
zDbXq!0pOnOYg&Dy*JX*3@sPgy0ac<71OBCq5;Pin4IytYbw-AJ>}dNFrrQFuJL3Ez0Q9;yO4Ov96ywUHMx5GWGZVA4!Q)d+5zB!9w}3
zh61bJ56EBtjnb_GoBgl!*gIZg;+-7gp{JQ>Cz>`O0e1wKAhX%rPB%)DhJr2v&7KoF
zCm3n(9&aRA>5&&jdlsp-v9WpBR_4XhI>so^^1Yr07r;p>BBrj**II{QYyVWD#SU9+
zwQh!je^O)OS%h0~+?^!F=h&+UvHrI%bE
zfOEJx|DljtAA9=`0|rPi4v;JV+0S=KSrZFpnu{%5aH6}Qin=!?eS3Q)HRq(Wf>zi2
zp2&g;k&H-nwu(5bssE8LLQ!VD$#S^O{dEbBsM({Vqv=JFXT6x=t_8@z=1PhsWiQoh
zYijcA`<>6|Qt|G=YUj5C7y+bqS(%yBi?Ht~1e8DBySw1|fC?S<|$B4ENcPl)-#K
z2o55u66eb(c<`D-bHgo-88UNjOz*?SZDx-FkR(Hb3`9{PBj;z79E}$&g#+u0e@D;+
zOJ9!(Ql@H%uz|WFqK`fK;^T{dhyZ+cc}F41zeC^$n!0X~
ziYc37`@0zath-^uk3@e%VSj(WhQZ#h8UYX%RG_6(y=KEdIH)Y}xBwkWrL4Ss>LWa!Ig4O5hl#4&|V+0wJ
zqdf<3HpnPEA#sEMdl8X{>ucF7tkgh9TG;i
zLqbAeUevB3UnRati+v!w&5~jIQ1x+$?}l$1%?p5@2wH%wS+@
z8cYR1rkB=0QPAw)JllvkMjlA|l{E5j5qyoA4V+`>Y?%Lelnob6k{nA$r@;a4`i=}d
zy6Ec6a&z*h)`5pGx|c2xgjn~UkorXM#fuls?#EB(&nQ4F{Ek7+9iz3A%`JqNADf%&
zJHCMgsTtz@SBLyp6&NMvdH8_(cz1Pm6=trWa+iYBS;f#iA=mD=yW%hG-`#B2rde)h
zZ;P-Q3aD7zl2<kv)I1Y>MLrjo+ty}(
zh|}D{hb&gBrK_Wp-;aTY=5dk8$C*5F?4GIFB=8jM%Ow0cTLr0K;1Nv47Si9^+FChF
zG-gp#Q8AJspXj;;bj<7Jw2LFL%$yuDOPcs7seQ%5I__}UsoIkJl}aZ`sI|3qjn9EI
zcU<3#$H&J>pf}dJ!)F^3
zHrz`kDc3Akn~!|gZO*0zK{Pw2r^|^6D_r42`;Gp70QXmP{nr6hP2dRVweUUZQ7(2l
z=<_ctD}$D*O8n?gO|aqlL={XZ=v8wo>hVRTP=Qnb_s&jHt)ELf0R!FV1G5nNxsn%I
zegL6=I%)KO^zmt5%W#=NQp?dw7%(l-;~{k0Ugt!W-!@||tEiY@!wzd$ME#(yIh2vX
z`PXV^~>~IUgv2xYgQ9;tHECT_T>b)Qx-4+xvlMj^Vt(c4pXKioS_mPr|u!8OhX@^
z^hBWX<+k3m&Dl(6zaHBINWN6Pe6WAy*RP{il^XdRj6+$dJMA?UTV$cT9sZvw%~bqKWm+qC6x^OL>#dJ|$4d&Sng1E#xUl+d1ygUh
zIHe&@O~@CUD9h2?JnZa174QWZMyeF}`AWfk^RjGLSGqDJd*8AbsK$X-n)zr?G`%}MkgslCvmBG2O9
z@E$!SfnBbXAiWebE#VB?v}<^4W3%}$G!oqh0}J$#_!oDywfqt|qr7EXuLem!t?lxc
zV!TIIUfbx4>j{?C8rjlJMOl4qXNK&mXzG*iRZy)2O*M~1YU%j0_}U{dda64%#qaBa
zm^?Gfz_}TIM0b%$Wu|(C9;XnhMJhUgC<5I)@_vcwbvT1T58ko>IPN!M*$W^5VlZG|
zVk$>$2+i!wqX_c}VZwy$B#0>3qD|Vk2lXgiLErhn(9FTelMJZp3+-N!*zD0u$2Rg>
z>;}$-1RhEeD}r~PN#1as?emKbj-ROdH`&ToaTjkEiQYVU;^8XRGDP3I3zz-~9>`i61|IiRz;qHpC8|8f~9%=|V#qmP*581{n~
zG}|8AM=5*G$nZh%{mSpeTOU6+H#LUOH5U)o^vvmPA4@R~$^~xvjsgSW{L0}2ghTvO
zN)MTfcqo6S;dG;-p5Q>ezYv-C
zOqj@6kK{^`b9Q!~z|jM~R_Spnr&#DkwM&fa1hB=4ATY3a!ozDr2qYjandY56JIN0g
z&FMSIU*l%G;?#^=m9}lgtYQ|h9C{OiG-dFE;HNHjX1w>$&Q)nmFH6g?!fyA&OL*fd
z*c)6IU`7R@_CCu)N9eaZX6dTn?Jl5DuPTL>i(z|C|qG$g~1
zsAM!zbNx0*-5IAKCs!n
zkY1vDNTQIdwP*eZ!9_nVjvQl;-kbODCoV#NVpTST?Ky|&EsV0qmrB5rWzw!`VimsW
zw00!hpxUqWY=5kj`?59R9!%2(;oMipv+O>Slkj2or
zoQRS{Cx0ij4y{F)Z*W$nu`+9>j4|vH5hXmvuNV+Ig+UJT|10TRfE0a_(IB_|8EsO`
z*ssMmrB9xs-WwPKlf(-ss8cu~69uRYATMwz$`Qg&ahY94=6iX=8{|d$lHuXuoUWm)
z4d(0=pntzJ(IjrKh{hK7J96DY5rIx$K<}>(y&s;U=&ch5Co1f0Y<@KM|3Ui`H()QN
z#s0Xnx3{;pW>l$>?n&{BOUU(MV$1@U2@X?ry{QBWR{ySZd(w#^ZBUac1H)y9g9mPo
zobla#OcOA+-PNMUMfpkf7ybL72|OTn7(FqAyv<48_j%5o*1ESgZ`WVW^WxS^+hy#-
za*E%*57&ZIwjt9Boa|RqRSnHej}t}3n?#Ne`s^a~icYksN(FabIh+VC(jxc(9bhrXix@+e6-|GS8m5J>zgH^#XOqxx{CFsQ$L}qvJ`W(OwTRuk>gvT
z_7vaD55*u*z%mI4B+@F*0*7$S3#wqtd3z%8DhED00q%}(6v5*H8Sq*FP6UuB;(r&T
zP+(S+g!9^ro>xvz4qBbIa(oDTL#)2-4(BuUj8KOB5>I5m&x9@KOlr+;*$fyOD1X;!
zG&;(g@9OTB7+5VWEw!51+A2_h_R55(gw5MpS@l~}xDPS`mFE3vqI_j0wi!l01)Kn5`
zhECkH$!KY(jRy#=c0;9I&QVhGiN(qOoCOZ_g$s=}LUX}BmX>|Z`r5ut3Ujlwqi^>{
za;)h%kK>J3ImN`pUgC)&I(U5sC&=th&*i1442;KewN_W;50FE*c3oI#QVr_{5_v`_
zOeQ1Sj19q=17ANM5RfBXU{dx5)TWyHN)5^@BSj!y>~%*Fgcb2&Qp1A(V2wu4J4GfF
z+^_<>l`fjRkC9E3Q;i`4WY|BuDAIYdgAs({j1MA(f^1Qa?FAU(Mz)2YHq9sZ2uOT?
z6c!dXry1}K2O)w_s)$v?$^3w?;DkvCRbMcXLQ|t_84Ir4Ai@T2>B|cGZ_^V
z4C1kDYH9*Tm0vV
zf1o+>VXxx;K&PzafJ^?L3=+ZI1y?_rmGE}8pK;Ka0#gTH*D5|vPSeE2nNrM+e82bo
zGiPE34X-dctje2+@6*yQs`8>6c%v99%F7#Vod$Ysvknh!dw~{W_*3}?2BYegEj`l#
z0xD`Zw%quxr{~M2_}wo-8*A=?jg9;e)}?vc`(zq+-L%~P@DKY0EPo@IOqA1-g`0bO
zmZvG>m+_PiehP$!tvX@4C6@y%9$us1LC_(Wo|RQGrGy^{8358HDnwCHv3c{D44UZD
zC$3gsSI5xY7y07?gOEMuMXe!YT1z)}4j&N^U3|fuFQ{I<777_Huf+A5O_~<8Kzkr|s0lN?S1N{|EM_L3WtU(18zVMTS`)Taz>S|_kbt
zs4#OO#4mul_@w+#G6-LCKf~07ugC7ay}c>0h|~YpOk0s0rG~rl%aNyv0kbs{KhlJE
zM3SYz1p?H_^%%gH_lkn<6y6M_oq|%_D5t2cDFo{Ue5mhZ0
zRUE7~CIsu{_^U=h>AiJU>8aV({si*<;(|!G;iGzdE$Bek&DkpxfjXKL3;78J`kV;_kR{Z#)B|%-<+VrmDQrX
z3NjPfC%^@^t%j|zpZeBEC~c_!S%YDEVc~tG
zYU`x!e;wX(#8&$sZ>tUic>vU7Fja;^bY$f2#O>n*NdMfv@Aw^160z_^SVqfRw#?p2
z16?F>3TQ^MAISnEj-E;_OiXIGDxf&UXG7gA#cSw}R1O5gV$l>%u<9v)iOA$IJ92PPmLKtz4mO!&rX`6t
zzK9EcZV?U7XPSVTvN9ypiRsIp^I-+4TR-~a*r6Z^iQ)xKi;5%uxnz3<(n4>)148X@
zq0ZI=AjpT{pBz996-oPrO35t)Q)WuKKbxO+AHNrVj>^Gkz0TBN_>wF3#~XGd&`}I2
z2132D;-N#%=OJlDh=pZzX-LfPZ)bqvMs&+jpY!|Q=lV|kV%B{_NC?Ec#w&P~M}~k7
zXCI%3p7-{&3Ge28zi;ojYVIsO=@~t%xw!5Y6PT19e99rs2AT-z2_X@YZnN7V!SP2~
zB|M?`%Y)sho5h5~z4o{fX;mll)~%udsXG2A$MG?vdq*<(x!Ks1X>kD{nDrd}s3b&L
zbrH92941bVA8~noJs?zs`?qP5b4Q6|n>sZvo}N0YtE*uHgJ_8?z%40}%YudQZW)l8
z{=s1Xn|p6gO52~M{7F^IOB8F368Q!#orEk*%My|bhgDyc
zt;)u)ZdjH-@A;g+L#As%d%G||68lQ(w*hgzg4vfqrRIz&UM4v2@l(dWSl+c!q}!i|
zxtl^^2NIPRIFPA{{f9yIOmAc13S}WD{~T@~Yqu1@bJvd>DJhX_Lh>sp6*Gc}kg#a;
zddb(}c&G}&t6oAv52rS4IpO`kB8tq$M9tJNhgtA7=s$+978
zS2|&7p*t-oidf*C!9rB!b4z8+l2p|aC0Y})Z@dOb=WgxJ2dVDV?y_Pvte{xUiuBi(vRr?i{_M-$@w2HO@AJ7RnIX72)
zac9nJo9>QK9|V>T-4pSuYmW>3^>%wzXW1*BsPB9$#4?4wr%D05V%GmEzW?}v$Y0Pu
z)gnLW*6P{qD)`&|@o#P}E(YWG3X#k=slr$Z$E}dv(_+N1jzO0Mqbm)V?9`}t+acEg*~!2V-Yn-w=
ztg}1(a<(by1D9h};9P?1J0l2g)y%3J;Ni+%7NvpXI^^L5yot6xF
z+X}}VNpY>AzEl-E4EDt)axO(bU)n38T2>Z34d))AAXQ^*^R@OJw&cyDlUQR(r1_?N
zW7S_a^}D(Eu&%G%Ca1(asq%OEF9x3ks>)E*+)-
z-=AzG(L#A|b*Bzdqt^1RgXw7OuwsqN&qoLd3xAED0n;a9D%SVhwS8!3gv`}g`UWVl
z620%B^udU9Och$VSunA10Z>2czR<;sMvY*yz=PUAw(wX02`7dA%rABOoo~zTNO+}h
zP3_g9MUgV=JZk)9ewyHb;-M&z2fCiZgAQ|IAd7x_@ZA}MqyRk+$cJeE+Z5sFSr1BV
z$9oXQms*1;HcQ35n_-iXm22f<%C-}0|H|8LDUyTT-Jb;S20w?Qq*Ck!i>{VF*HM9~
zO4qUgm%>_+1`;3UX|Q$03MTV6)6-D@IS*-NkA<0+;?Plqg#PVwnOu&fOs`d63`*gL
z3A$J1H!K(~(C9N-ECXY@SWXr5ZP@KYper$O($85Q+KS(IMjR-|kU>QvTV2
zlAJD<>HC0~=MHAPQrJ7Zh;Cqhb#$~(4pn}pVvYHDQdNh=2P>ry^xXQ<^>|gmZ|VLE
z{TUwT59&=&v}l4t;Z$Lb)%}lz*UxQidi#t?=n4SxdEmBhU2VBwXXPvl^m+lpd`a#G
z2TWM*(h$L>etu7XYe{IxZ5qDw)jf6YhBF|HJh)`O-|Oz9c{Sbdj5VOYx-EsF5JI*#^P
z<(GjGdv3>cDFgPkk-2K~^;4czT#yJUMG1J!Fb;t`*ARPg@$N^$y}LC-8ZcW2Oh$+L
z?^V2+n3(pCkxRP5!or4zUqWiew|e`Xz|27Nf=){YQ?_{Hli3h`QO<-X7!iYryCUw3*?-!G>Spf@bcH<2hIy}VnC0#
zwJs6}hNWuHpd}EV*C1$bm3W4}t(115Vokg)H@eJLyeL+Z#7D=#kf;IX6DAX9=dD&F
z!Z#ha=XtMsSZ}&cPb(+GS04BL2hOC3zqVf!xnrQCW4DVUlMf98LyMWVl&7s{+#>}S
z|Gh^#OLj}oR2&FhV!sCoMPQV16P*_RqjMThmoaz!Us(#@^=tg@{yuvrLoq!$6tI+M
z2{kjm-bu>b^*lJ%k1yBv*wDq+#nJ+9C3wCEvcxcP^ufq8)Pv()0`X&p`?BZL!!0TS
z)5FzB&wXCKjNj&Q8#6q$OiwE^h$mPSuVrBWD5`h8&&0{a<-+(lO1eMV4Q0*-AK<$p
zMe{FT{V=LbrcKmh#6=;8${C}9Fwp?)vbVG~RjN+nw`O_ky_uj6B;`0*D%G?PePkmi
zgxE?T?)LV!hrM!Jsh7t3FlFa7IMT%EdCW%p7QM}(pAC`~XUBr$m=$*_(^_1L1CKhE
z4+uqf7qi@UL#cPOgG+$(hM0u){0$BgvE=afIdIQs`av^*k1CqkK}-ou+@_S39!gL|
zLM)Xx_Vna;8_mq2e0tMO$$@;y#{zh!FVV8u-)lM|VA1&GXp%yQiO9c>eiVLrg4jWj
zI)~AN@NXza3YCwXD}A-F)b_1_Cg8f*;N5Y`o295B6E^whuW1`~O-*|Zz?%_swkSUB
z?bPn@xBHDOTm*H~aB~eGCCW;HUxsngr&L+N<@Z*XxlKPH?$O;(7C)A}C&OfKufc251HyP_
z6*Y-j|EhCq&l=wx2*DTWV_2ZNy0*6YTGuS7J|vH&YgGHvm|ctyH7Vc9JYF
z3YFu(NJmR<7py0b9xBSGqF%wjj17ZTs8^-~lB>pIx;!O#gTp*;q27RDJNBsX=oOe-
zWdOWXZo_$5+-=0y2A$LTCGV`6p<6zGU+5KQj2^`HPLYlfpS+@C
zX}@I;Q=+NhdfiQsw#3;9(EnxZ`r%rqD%JFro?trC-TwV^s;+x262RG4w!
z5|?NEgi|Ou*_SjY?Jewsqe&%O!5(eczoTel8ii67>!>)|a#&H~b9ib91JV%D0@BlIB0clGMP3W(+S%
z^##xgN0plCkDrP+!M+#ZP0-X5hzg_gq;+T2#Cd&%$Zjsn>cXiK`DM3dizab!x@SnLrI2Slt%gvGNj`{6mef>hyk#u$
z9Ng%na?J-OR-skB7kT>!L2u)8vgoT0wbOs}=^9SC99*Zbp{)OZ00+`3{%%k_y3vjj
z#~a;?L1E!8h?rOEHDw$%Up(=gu3D60dKsQlMSNJBn#az3$YF$0p-la-o25
z7a-;Tmz(^9nf|@__XNX*mgs4f3KYT2gU%b2YCwp`ky7xr5w3$E05H9DxO+4OD1G41
zrAGLL4k9zVlqkv;w0wRQ2uOlKQIbP+z&jXWblIJnIyx?CUU*j4syDxw0rd+~`_t9U
zJ*3mHR)-c>yy-6^6o(!L>Ewk@M847AK;NwUgco?h&dazjlH|eeSom(-+%CFKcV(*
zvafmmB<#5TXio$k5BBZJupn2}e%o>9+hMf6Rqxu^z49uPZ@)v=Me_r2Lv0PDr&!))N4cYNFs8mE
ze?9kMp@BT&-580bG!pH6u6&XtR{gj1*wECMw3yC^9UqtSmsHbo(PNWKXRFFWWM%4L
z2~>=Y%^R`ogt3o@4{FHfBff*J=YLv+NHDuvx7&sVuOEi5AN;llTmNn?2Xl+?D-cNO
zuW|?lw4(V}ZF{KY$Z;$=UT$W
z=FZMe)y(Px`c(2Gwa)iYc{cSjclwGXe9QFI)RNv?3DZsN78F!{lv(v4O&YEpnW?f*s<*sxgFa!RGoSQjh>#~wBo2$YDJq#
z8y#XNCGlG!D=qDO$=}wN(aV`c&ua@ahAA(pDY`MdoG-S>t2hmxfIwbaZFE%
z85^XSmd4Re968HKcYtHDO4<#04>`fq5kYwB0&5H<>-xQYpCCp&VR)nOe5{r)Sp$lk4e*|%AWiK;&i
z&-wFoZj^77LFGdi_iu#7wy7=73!OWC{Lf1#`hxu4TW{S5-zWlmX4aDdu3(J55G^QQq+g?UJZnA
zX6j$~{PXxkOIq1o`8PD;zJIz^Xc#frlCoHM#};IyuQhCGrne*LweHl$6Zj!=()00a
zwsr8L*<9VP#?zBI_qIY;wq1V3@oN!wgiz+GtCMCs3)cLk!xqCF-D61V7+>o|PA4Sm
z>zXZI=nWtdfe}G5V?siLzCgxhOOxSZ1OVdM-%mmRyEu{Xw9vgFX9TqYWWw91J@Qp*
zlW_kC8)zPhbsI=7n#`v}2LD^<=mKRr0fmkv_yDsHlveikibyN8y{@y-+iI=Sm8uj3qzK$gLJ{RVHHQyZj5lRA-3yT&Cs>})XnUz``^{0(g
z%3NjO--xUe73)7{9D8y5t~MS6GA1eX@28zVXykp)0!em$F$>*@-L|_s)U>yc?BM=A
zH;Yt>27}OTGxNR`b=+963tu^E)hl347_gS_#q2yd6CR{6F%?$Hz&kn&0Hf
zjf-$=Xj{l$WpAp=JYAcrIFt0bxSC>MVBm!1=A*rS4O1?@jiz=IOy>Q22~uD}MjeMG
z-)~l(s{xSku&&qABY?qFp-)X(v2dd0GyLDHfyjl)MFC?cKrewN0rZp!i6%Q$SVX5Y6Skq6uuL!>=h$^r0Hj@pc81O)}FL?Y0Db912PDg*uQp|I;dE2U5lsL=t`
zPKARs8!@y%Va}GW4Hpf#3d2m^wKv*C9XXq3{I(Wq6?!fYqiLn!38WnwrI)3cv^$cxBb92&c)x$ET&Wl@Xij
znX2-&o>P%M1wuzsP?W)*9@rWsDKSyJDX8x5>aH~`Hwh3wP2GVqsr*@X^5o=)RjlUA
zB)vw|mFBCV_5;mGz`Agw{Axu^)J_xq6(5HZ;{({gyu9YG7&hC7yOYz?T?B@!
ze$VA5nfzADWuNTQc1aP08+EjpC}SgybiKe@r0rk5(HmB~gq4t-XJutwhi82Xh2<|q
zWwcIx9W2H$>FVG~@~R$__{A^S1xY>euo<-prLEKfVofWS{@RG|ejc~v8-gcjFC=A!
z?Em5Ht>dEnzO~^2Llfc+_0<-i4cWEM-ayIy2bxSgm+6~%V-@~;IXqmQ;#JRrEX-F-Iz2mQR>NfzFX(g1y^3m7Yb?)^
zgn=0>uG8xwGBuPW-DxH}Hz}3y(%Y=K)*NuR#JwV|?zbCoc)zvWGdBx);JJON%WgJi
zC;pbuBaaVxnP^Kp)h*RaBY~!T^g;QFH+IGW44FhQw#OEs98*8X?^xa#lAj34*m9a-
zvn*X}_;_SU%_QA@=aCqGG#0vPLk52Gi4<*ym)P}2sgh}9o7!#p%V?@xTS2V`B^3v0
zTgTdfCHY8M6q{W6k=ok`smu1=fw-E*&2Mj
zz967|;bQ3mstxh~aIKxA64XLcuAz$!7s|B1`P|ZO0R%j?8<^Txt
zXMZp3&+8ViV1rB?_&HJkT=asaG9*MK)k_d|}LK(4M
z504pw9$%t=Kex&7gUb58u=}6Btp*ATKCy(3HY9rrtt!tLks*a27jEw^l*#9G={o4#
z5{G0)Q%&B@$;`|wDJe0%SPSXv!(#k%{@-Gd1#L)hBqLx-@jxU_5<;s;k&guZC$0I$
z^=||sn3Ju!0LC0cNkg-~w)QAqBMzMLAk?k68V)L7X8$?3&0$Ketcfb2qzikVdrFLo
zcMn!qR#u==Qc__**6{-P`=F&%C(PLYUykbkBIshm@XLPJoxAEbLV)|qdX3Ah12n3D
zw)JGhsbh6eed!v?|K86ZKd^(qvJIwzgIz^kU7JvY2^1~Tl9IA$lIT%^H;eIAKO_JO
z&XL4O@-kZ6iAS|^1Z)H-Xz5=
z0WWG+D1_URo6=yYr&F69bA3qg;_kADUI*Li?|EPKCID>3|MQRhw?`xg`rNq4(yhI{
z>q_<-1q1{(e8%D2Mchl4iRtMHdmXoj5AJG^VZ~u@+tM#w0f-DLb||vXvy0B4A?SCK
zl9ED0Pd{SWwG{VAPp!z(6i@@MOwVU25RZHB9P4no3In(r(r<(%YrDGi1l9y;{q*QHuITKivbBMJsbDy76$Hz4W;D*M*P&}pHV1If?af5q{Y((gLu&2lIH&W
z_3J&?6$FCKAT2qWpuO#6Z>ftirDcg%W~O6xH}v^hIPB#20!&|9IY3Ej2^m|eYdZ@v
z5rg48(Pun?^AD8f?8kqv>L}%?{cNtY1?;#Z(TFeqq)5o*209IRs4v|)vqgRy!=I);_-L=e_7hSEm+lze#zS&oMktXiYe?zV7g2E4dH1$Yj>C8s+5@Ez*x_`H|BgqWV{5U%?M?t_TuAY|BHRK6Jc8dJ+9?3Df)Md0v{
zqpz>=@38kH{V%TCcWs*sUFE*2J?XW@HK|s7m1lTU*z_qmAd*FHr9LWHaaOo}An66!
zMIWak5uwPsc;v%S!|864GJneJooSHeqW9^%V>9G;iRlN1hbimItzQg6XDQ~@k0Y$&
z!gj6we5@u`dtrnFVk13o}uERfQa^~-dp_|8VX3EiqtBh;CaFSoTBP{($D@RJ`
zOzi-c6P08MZq*$Nt5uW#IWv+eq<_o0mYo{NkM=I^J*O69-o#H$n?+W
z&+xwm2L%NIc=S;74-)(jxc47FNIreREc^xPQ%aukkUbSWgmZe0_NFR50PhgyJlT@?jYgv{LYj
zK!8!gPSrh99&sWA&-zuDWq~;-ue-c{%^ERS>c62XqNxks{8c{YVL1k27%S=2>5li5
z>Z}?#B13Ot-X}+CV}1QRSpt={Jy;_p7qt-{>xsf!~t*Hup*%H?p~VC+pGHYO@bf;N+I
zDjh8?8JsOqWvbqjXJK;BzGAD%fr9z9o&H3_h~d|G4%V-0-=
zh@T)==^7zikfMp74&e3LYvh}zUS$XHTkUqz3K$pCsotS-`NOQ=qg#^!cZrySJ7W(
zYwPL?3)3&BIW7d*ITrCe>In%6tEvvCytjHR4+at1AQjL`_rzy$AfQU~JY2vsAj|%E
z$@zv72CZVcYKJ#w6ehxE>CZb+gGdYRv7tEPn0RPhmz8qiAo4W|CZ67CgiKU{!@1(e
zKIZq1j0lK|vUm709mo4T^>Sb?(O@O*RCth~6~(Az*zf;!*U>ojVoc0dPBz9%Sz#iH
zGgDfY!03(dYM@~D{w%dlQ*H=5AnLK74o*&XvD{Ig!q1`ixj1#($=(mqU@m|y5Hq#&
zYDhCFsg6q$7(M9^qNk#g&ZW{HBFQB>)*`*F$+nYzcyy$b3yBLI`Tm6XAdzSb^qv$G
z`~j&?lx2wJO#AoX2fJPqQSIam9v!9M2H3>~Fs6nMt*ylp86eyG?Sb}X&>VA!p8ir0XaUr;b3^K@gRTqs9%|DvfguVd;77)RTAmkLPtWO
zL>u7iAFw2X65J&tS!`QhpQadoRfBrJLzVV-F(u!^OHniNq4XTjB4VS0X7X)tdt`X7
zAXTm#g-K_=yf{6`NA132mpB-mPUNw6u6f2ySug1ipHw|je>XZCU2dj4%|?@VeHs4GC3+~06yXjKLu
z%kj~XEd+2tXe$j51OB_adfFsjNrMnFip@(iB{rkS+UE!7suMbUFUG~i1$T5DDs6k*
z5h-zb47?dWuo%}Oe*O9dPJ93@@l9;Ve*&Qc5DT^%ujS_F<)wsq5qxfrt4mu-FhaSm
z^fx!l-F8W~8S_wo9R`q`HwHshn@{|xaal5JC<3&k^OHRwxvZ=VD)-!a*NpKs;!G>1_mMCMdL1AJmgP$
z%vcUZUalSWst#z6v}iVwaK_toS9j@Z46?up^6X?KbX`oE%pxrbta_5H=dK~w6vwd}
zR~?_Iq<(c?2zA8)ULzpiou%`Ro_u*$8_h7uxuOiZxO=R$KU;F|Kr3($p6A#(IyuSR
zdOYfApY0$eCY|POVD$VMG6M9KSJiue(H;&P%C5Jokq+H89|+ox3FFE#z4O_B7FAzg
zluwq;cb(lVuLGD@ymXMOS}lLpeKfMmoL-)v%9$T}yyjI$)@vCfzydQX;S(2kf=Blc
zxU#9Uyv|zDG9weEtqI*KPRwT(e9FztGF8#$vhT|mTe8cHtt~#44{z`CLp@}2E!3v3
zSIC#g={`*B58o5NYffPGeG1u;hb_~V4^{nDb!Y$XM@|Bf$r%?WN9nq_R+E
z)ko-y=EP3QdAW8v%k8PkExl4#PtcC40op21_MY<-TA+`8v;983I?<(HRjoT+!t}62
z^-XeiAj)dcxk@|ceLCXSqNh;Z*c?-3CGJ^>U}O_srR@|AmxPnJFOSu`j2{HOyv#FI
z_sRM#9{!et63Sj5T4nX{-IfK-M
z`FAT=7f5onW=4qZ`z-m?Vw{@i*G0m!v}O`2)GhgiZinA9i7iJSjp`Q`z`Nf>V>7iy?ws!ZSou!BIt21)!yNzC%7gTQE
zT*kHYu1qEM>cyP-QnHB6!^Bj5UEDdHDIeqLHU25`T-f5&LhND;%h0xl&Fo4Z~ozjb~_dlhxJ0v2kpEpvz=ry`?i
z*FB(hGxC^l=BI3(==j;dIZ)YnPDB{GndO{Wan6h2WEJ6LGCi*?tkRo*U*P+GtMy|J
z7d!huGHvFn*^iGbH^
z?~Rb>jE@#;^-AVdRYf!zyBPIq=6;l?=}Uknt2d->%kljrUw0TqQr2V<$Ri#(1b$XQaGgL>_dq&i4BJNeyxcRPJLDsE?cY{20N@ttqwZ`4Y
zNU=?%+2U)r?rS$pC-$0mn#`r9Vn)Y4d&GpTBKe=Fu{L#5a9^jf-;EyQS-vZ%N$B{p
zfo1<4$!OE#EChYhS90%W6-d6DXb`~k(|^|#wKTcU)p!auR#@gWI$mnL3iXJ&_ufIeK!eQ&
z0z_C=8OJe1=aLkDJKyQsuLPzU%esbkRXMh^-q
zs-QoRM-U={OKV1;HKeNX{Zqg_S!U1t%do`f1O=qL8GEeIgGdQ}#t#3bnF~yhf}VyZ
z<)qiq;F!XHPn?}ZSUxxBM@Ko#&zzuqyFAx>H5+j$T!6x`hT@)ib
z0GA9Dg=Y08Yuz42ePvq#glN#bR{l_#&jJM4P2M)%IniNMA&2utAlPv>xGJE)&VnuP-0wg1(og{x*B_#>Vej{RJFk@3_)3fbV=oztSrPEHUM
zScaOC=>l{FVa4N;D_c8ibdyN~^8H-gJS(X!lHgQh5v0%+rxcd2(
zW8TY1S&s(_+zml0U5d<$cYS4Y!^PlPPG3M;k}ElZn*fKrsXA=Kymn>^0Qar+h|9(e21|cLUb6n-+H4R1g7$
znc`p=++k&vBqk&+jgEHe8YDnhi_P{FIGL^uIewE|*
zqP`c6E`(kTsF?~3Kz6BLO7n=KhM6?;vu9H$U
z>~1w58fR^yQ)egbwjNr?@13P-3_87f)px{-_8Au`AUJ?uO~>h#Y}lQe6D`n-r-~bA
z0lCr0;b4;^P$dD;#5nxC+Qafd;Bxpak?3~7rAg?IH)<6@KH^u06L2n{3r7Rv
zfL4(zR>7dyK`l!<(ta5F0U4BH`g4WnYNf|lAVi!AxQ9AD&ynFwm`inrK#FC#Lz_o|
z7w!=M4HFLzO)9*ByWm2HQETGjuYfC;00x>knO-Wa@
zt?!PQ`*lGZhfLZKm3`sv&cAah^BoXMUYf3&8o##Ld`P*Iayg}Lay8+9Fy2%{U5j}6
z>G;UM{7Rk+-ECFTxrPI=ag5Vq>tAsPH8bJG*ln3ZiyNu=`9^@xox+3sOvx*4v$(aQ
z$qc!N>&>0n1K2W{uAoPgSM)^sndEFj^VCJ%+|~+VPh