From 8dc15a27efe9815628dd5fe1239b4907a1696741 Mon Sep 17 00:00:00 2001 From: upbin <1269836458@qq.com> Date: Sat, 7 Mar 2020 00:06:33 +0800 Subject: [PATCH 1/8] Modify the title picture and complete the translation --- README.md | 2 +- SUMMARY.md | 2 +- dynamic_programming/FourKeysKeyboard.md | 184 ++++++++++++++++++ .../动态规划之四键键盘.md | 173 ---------------- pictures/4keyboard/title.png | Bin 95061 -> 73446 bytes 5 files changed, 186 insertions(+), 175 deletions(-) create mode 100644 dynamic_programming/FourKeysKeyboard.md delete mode 100644 dynamic_programming/动态规划之四键键盘.md diff --git a/README.md b/README.md index c492f68..bf974bd 100644 --- a/README.md +++ b/README.md @@ -77,13 +77,13 @@ This command specifies the `english` branch and limit the depth of clone, get ri * [Regular Expression](dynamic_programming/RegularExpression.md) * [The Strategies of Subsequence Problem](dynamic_programming/StrategiesForSubsequenceProblem.md) * [Greedy: Interval Scheduling](dynamic_programming/IntervalScheduling.md) + * [4 Keys Keyboard](dynamic_programming/FourKeysKeyboard.md) * [动态规划详解](dynamic_programming/动态规划详解进阶.md) * [动态规划答疑篇](dynamic_programming/最优子结构.md) * [动态规划设计：最长递增子序列](dynamic_programming/动态规划设计：最长递增子序列.md) * [动态规划之KMP字符匹配算法](dynamic_programming/动态规划之KMP字符匹配算法.md) * [团灭 LeetCode 股票买卖问题](dynamic_programming/团灭股票问题.md) * [团灭 LeetCode 打家劫舍问题](dynamic_programming/抢房子.md) - * [动态规划之四键键盘](dynamic_programming/动态规划之四键键盘.md) * V. Common Knowledge * [Difference Between Process and Thread in Linux](common_knowledge/linuxProcess.md) diff --git a/SUMMARY.md b/SUMMARY.md index e835443..a4d6d43 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -64,13 +64,13 @@ * [Regular Expression](dynamic_programming/RegularExpression.md) * [The Strategies of Subsequence Problem](dynamic_programming/StrategiesForSubsequenceProblem.md) * [Greedy: Interval Scheduling](dynamic_programming/IntervalScheduling.md) + * [4 Keys Keyboard](dynamic_programming/FourKeysKeyboard.md) * [动态规划详解](dynamic_programming/动态规划详解进阶.md) * [动态规划答疑篇](dynamic_programming/最优子结构.md) * [动态规划设计：最长递增子序列](dynamic_programming/动态规划设计：最长递增子序列.md) * [动态规划之KMP字符匹配算法](dynamic_programming/动态规划之KMP字符匹配算法.md) * [团灭 LeetCode 股票买卖问题](dynamic_programming/团灭股票问题.md) * [团灭 LeetCode 打家劫舍问题](dynamic_programming/抢房子.md) - * [动态规划之四键键盘](dynamic_programming/动态规划之四键键盘.md) * V. Common Knowledge * [Difference Between Process and Thread in Linux](common_knowledge/linuxProcess.md) diff --git a/dynamic_programming/FourKeysKeyboard.md b/dynamic_programming/FourKeysKeyboard.md new file mode 100644 index 0000000..36be9b2 --- /dev/null +++ b/dynamic_programming/FourKeysKeyboard.md @@ -0,0 +1,184 @@ +# 4 Keys Keyboard + +**Translator: [upbin](https://github.com/upbin)** + +**Author: [labuladong](https://github.com/labuladong)** + +The problem of *4 keys keyboard* is very interesting and can broaden one's horizon. This problem can make you obviously feel that different definitions of dp arrays need completely different logic to think about, and this logic can produce completely different solutions. + +We can't wait to solve this problem: + +![](../pictures/4keyboard/title.png) + +After reading the question, think about how to get the maximum number of characters 'A' after typing `N` times on the keyboard? We are more familiar with trying questions using enumeration. Whenever we want to press the keyboard (and can press it), there are `4 buttons` for us to choose from, we can enumerate every possible operation It is obvious that this is a dynamic programming problem. + +### Discuss the first method + +This kind of problem-solving idea is easy to understand, but the efficiency is not high. We follow the routine directly: **for dynamic programming problems, we must first understand which are [ states ] and which are [ choices ].** + +Specific to this problem, what **choices** are obvious for each keystroke: four types are the **4** keys mentioned in the title, which are `A`, `Ctrl-A`, `Ctrl-C`, and `Ctrl-V`. + +Next, let's think about what are the **states** of this problem? **In other words, what information do we need to know to break down the original problem into smaller subproblems?** + +Now you think about it, Is it correct for me to define the status of this problem as follows? + +- The first state is the remaining number of times the key can be pressed, we use `n` to represent it. +- The second state is the number of characters 'A' on the current screen, we use `a_num`. +- The third state is the number of characters 'A' still in the clipboard, represented by `copy`. + +By defining **state** in this way, we can know the *base case*: when the number of remaining `n` is `0`, `a_num` is the answer we want. + +Combining the four **choices** just mentioned, we can express these kinds of choices through state transitions: + +```python +dp(n - 1, a_num + 1, copy) # [ A ] +# comment: Press the 'A' key to add a character to the screen. +# Subtract 1 at the same time the number of times you are allowed to press the keyboard. + +dp(n - 1, a_num + copy, copy) # [Ctrl-V] +# comment: Press C-V to paste, the characters in the clipboard are added to the screen. +# Subtract 1 at the same time the number of times you are allowed to press the keyboard. + +dp(n - 2, a_num, a_num) # [Ctrl-A] & [Ctrl-C] +# comment: Ctrl + A and Ctrl + C can obviously be used together. +# The number of 'A' in the clipboard becomes the number of 'A' on the screen. +# Subtract 2 at the same time the number of times you are allowed to press the keyboard. +``` + +By describing this, we can see that the scale of the problem `n` is constantly decreasing, and finally we can reach the *base case* of `n == 0`. So this idea is correct: (Do you think so?) + +```python +def maxA(N: int) -> int: + + # It can be verified that for the initial (n, a_num, copy) state, + # there can be at most dp (n, a_num, copy) 'A' on the screen. + def dp(n, a_num, copy): + # base case + if n <= 0: return a_num; + # Let ’s try all three options and choose the largest one. + return max( + dp(n - 1, a_num + 1, copy), # [ A ] + dp(n - 1, a_num + copy, copy), # [Ctrl-V] + dp(n - 2, a_num, a_num) # [Ctrl-A] & [Ctrl-C] + ) + + # You can press the key n times, then there is no 'A' in the screen + # and the clipboard. + return dp(N, 0, 0) +``` + +This solution should be well understood because it is semantically explicit. + +Below we continue to follow the routine and use memorized search to eliminate those overlapping sub-problems: + +```python +def maxA(N: int) -> int: + # memorandum + memo = dict() + def dp(n, a_num, copy): + if n <= 0: return a_num; + # Avoid overlapping subproblems being recalculated + if (n, a_num, copy) in memo: + return memo[(n, a_num, copy)] + + memo[(n, a_num, copy)] = max( + # These options are still the same + ) + return memo[(n, a_num, copy)] + + return dp(N, 0, 0) +``` + +After we optimized our code in this way, although the sub-problem was repeatedly solved, the number of searches was still very large (*if we submit to LeetCode it will definitely time out*). + +Now let's try to analyze the time complexity of the algorithm just now. The challenge is that this analysis is not easy. No matter what it is, now we write this *dp function* as a *dp array*: + +```c++ +dp[n][a_num][copy] +// The total number of states (spatial complexity) of this problem +// is the volume of this three-dimensional array. +``` + +We know that the maximum value of the variable `n` is `N`, but it is difficult to calculate the maximum number of `a_num` and `copy`. The lowest complexity is *O(N^3)​*. So the algorithm just now is not good, the complexity is too high, and it can no longer be optimized. + +The more embarrassing thing is that this also shows that I used to define **state** as it is not very good. Let's change the idea of defining this dp problem. + +### Exploration of the second approach + +Next, our thinking is a little more complicated, but it is very efficient. + +Continue to follow our routine, **choice** has been defined before, or the `4`. But this time we only need to define **a state**, which is the remaining number of available keyboard presses `n`. + +This algorithm is based on the following fact. There must be only two cases of the key sequence corresponding to the optimal answer: + +- Either keep pressing A: `A`, ` A`, ... , `A` (more when `N` is smaller). +- Either this is the form: `A`, `A`, ..., `Ctrl-A`, `Ctrl-C`, `Ctrl-V`, `Ctrl-V`, ..., `Ctrl-V` (mostly when `N` is larger). *(Here you can find some mathematical rules, you can study if you are interested)* + +Because when the number of characters to be printed is relatively small (`N` is small), "`Ctrl-A`, `Ctrl-C`, `Ctrl-V`" consumes a relatively high number of operations, so we might as well keep pressing `A`. When `N` is relatively large, the gain of `Ctrl-V` in the later period is definitely relatively large. In this case, the entire operation sequence is roughly like this: at the beginning, press several 'A's, then `Ctrl-A`, `Ctrl-C`, and finally several `Ctrl-V`, and then continue `Ctrl-A -> Ctrl-C -> Ctrl-V` Such a loop operation. + +In other words, the last keystroke was either `A` or `Ctrl-V`. As long as we are clear on this, we can design the algorithm through these **two situations**: + +```java +int[] dp = new int[N + 1]; +// Definition: dp[i] indicates the maximum number of 'A' that can be displayed after the // first operation. +for (int i = 0; i <= N; i++) + dp[i] = max( + // Press [ A ] this time, +         // This time press [Ctrl-V]. + ) +``` + +Think about it. For the case of [pressing the `A` key], it is actually a new 'A' printed on the screen of **state i-1**, so it is easy to get the result: + +```java +// If we press the [ A ] key, it's just one more 'A' than the last time. +dp[i] = dp[i - 1] + 1; +``` + +However, if we want to press `Ctrl-V`, we also need to consider where we did `Ctrl-A` and `Ctrl-C`. + +Earlier we said that the optimal sequence of operations must be `Ctrl-A`, `Ctrl-C` followed by several `Ctrl-V`, so we use a variable `j` as the starting point for these `Ctrl-V` operations. Then the two operations before `j` should be `Ctrl-A` and `Ctrl-C`: + +```java +public int maxA(int N) { + int[] dp = new int[N + 1]; + dp[0] = 0; + for (int i = 1; i <= N; i++) { + // press [ A ] + dp[i] = dp[i - 1] + 1; + for (int j = 2; j < i; j++) { + // [Ctrl-A] & [Ctrl-C] -> dp[j-2], Paste i-j times + // There are { dp[j-2] * (i-j+1) }number of 'A' on the screen + dp[i] = Math.max(dp[i], dp[j - 2] * (i - j + 1)); + } + } + // What is the maximum number of 'A' after N keystrokes? + return dp[N]; +} +``` + +The `j` variable `minus 2` is used to save the number of operations available to `Ctrl-A`, `Ctrl-C`. See the description picture to understand: + +![](D:/RapidAccess/Documents/Algorithm/fucking-algorithm/pictures/4keyboard/1.jpg) + +We have just completed this algorithm. The time complexity of the algorithm is *O(N^2)​* and the space complexity is ​*O(N)*​, so this solution seems to be very efficient. + +### Review our algorithmic ideas + +Dynamic programming is difficult to find the state transition. The different definitions we set will produce different state transition logic. Although we can all get the correct results in the end, the efficiency of the program may have amazing differences. + +Let's review the method we tried for the first time. Although the overlapping sub-problem has been eliminated, the efficiency of the program is still low, but where is the low? Let's abstract the recursive framework to find out: + +```python +def dp(n, a_num, copy): + dp(n - 1, a_num + 1, copy), # [ A ] + dp(n - 1, a_num + copy, copy), # [Ctrl-V] + dp(n - 2, a_num, a_num) # [Ctrl-A] & [Ctrl-C] +``` + +Let's analyze the logic of this exhaustive scheme. Obviously, it is possible to have such a sequence of operations `Ctrl-A`, `Ctrl+C`, `Ctrl-A`, `Ctrl-C`, ... , or `Ctrl-V`, `Ctrl-V`, ... . However, the result of the operation sequence produced by this method is not optimal, even if we have not figured out a way to circumvent these situations, thereby adding a lot of calculations of unnecessary sub-problems. + +After we review the second solution, we only need to think a little bit before we can think that the operation sequence of the optimal answer should be this form: `A`, `A`, ..., `Ctrl-A`, `Ctrl-C`, `Ctrl-V`, `Ctrl-V`, ..., `Ctrl-V`. + +Based on the findings we found, we redefined state and re-searched for state transition, which logically reduced the number of invalid sub-problems, and ultimately optimized the program's operating efficiency. + diff --git a/dynamic_programming/动态规划之四键键盘.md b/dynamic_programming/动态规划之四键键盘.md deleted file mode 100644 index 5d289a1..0000000 --- a/dynamic_programming/动态规划之四键键盘.md +++ /dev/null @@ -1,173 +0,0 @@ -# 动态规划之四键键盘 - -四键键盘问题很有意思，而且可以明显感受到：对 dp 数组的不同定义需要完全不同的逻辑，从而产生完全不同的解法。 - -首先看一下题目： - -![](../pictures/4keyboard/title.png) - -如何在 N 次敲击按钮后得到最多的 A？我们穷举呗，每次有对于每次按键，我们可以穷举四种可能，很明显就是一个动态规划问题。 - -### 第一种思路 - -这种思路会很容易理解，但是效率并不高，我们直接走流程：**对于动态规划问题，首先要明白有哪些「状态」，有哪些「选择」**。 - -具体到这个问题，对于每次敲击按键，有哪些「选择」是很明显的：4 种，就是题目中提到的四个按键，分别是 `A`、`C-A`、`C-C`、`C-V`（`Ctrl` 简写为 `C`）。 - -接下来，思考一下对于这个问题有哪些「状态」？**或者换句话说，我们需要知道什么信息，才能将原问题分解为规模更小的子问题**？ - -你看我这样定义三个状态行不行：第一个状态是剩余的按键次数，用 `n` 表示；第二个状态是当前屏幕上字符 A 的数量，用 `a_num` 表示；第三个状态是剪切板中字符 A 的数量，用 `copy` 表示。 - -如此定义「状态」，就可以知道 base case：当剩余次数 `n` 为 0 时，`a_num` 就是我们想要的答案。 - -结合刚才说的 4 种「选择」，我们可以把这几种选择通过状态转移表示出来： - -```python -dp(n - 1, a_num + 1, copy), # A -解释：按下 A 键，屏幕上加一个字符 -同时消耗 1 个操作数 - -dp(n - 1, a_num + copy, copy), # C-V -解释：按下 C-V 粘贴，剪切板中的字符加入屏幕 -同时消耗 1 个操作数 - -dp(n - 2, a_num, a_num) # C-A C-C -解释：全选和复制必然是联合使用的， -剪切板中 A 的数量变为屏幕上 A 的数量 -同时消耗 2 个操作数 -``` - -这样可以看到问题的规模 `n` 在不断减小，肯定可以到达 `n = 0` 的 base case，所以这个思路是正确的： - -```python -def maxA(N: int) -> int: - - # 对于 (n, a_num, copy) 这个状态， - # 屏幕上能最终最多能有 dp(n, a_num, copy) 个 A - def dp(n, a_num, copy): - # base case - if n <= 0: return a_num; - # 几种选择全试一遍，选择最大的结果 - return max( - dp(n - 1, a_num + 1, copy), # A - dp(n - 1, a_num + copy, copy), # C-V - dp(n - 2, a_num, a_num) # C-A C-C - ) - - # 可以按 N 次按键，屏幕和剪切板里都还没有 A - return dp(N, 0, 0) -``` - -这个解法应该很好理解，因为语义明确。下面就继续走流程，用备忘录消除一下重叠子问题： - -```python -def maxA(N: int) -> int: - # 备忘录 - memo = dict() - def dp(n, a_num, copy): - if n <= 0: return a_num; - # 避免计算重叠子问题 - if (n, a_num, copy) in memo: - return memo[(n, a_num, copy)] - - memo[(n, a_num, copy)] = max( - # 几种选择还是一样的 - ) - return memo[(n, a_num, copy)] - - return dp(N, 0, 0) -``` - -这样优化代码之后，子问题虽然没有重复了，但数目仍然很多，在 LeetCode 提交会超时的。 - -我们尝试分析一下这个算法的时间复杂度，就会发现不容易分析。我们可以把这个 dp 函数写成 dp 数组： - -```python -dp[n][a_num][copy] -# 状态的总数（时空复杂度）就是这个三维数组的体积 -``` - -我们知道变量 `n` 最多为 `N`，但是 `a_num` 和 `copy` 最多为多少我们很难计算，复杂度起码也有 O(N^3) 把。所以这个算法并不好，复杂度太高，且已经无法优化了。 - -这也就说明，我们这样定义「状态」是不太优秀的，下面我们换一种定义 dp 的思路。 - -### 第二种思路 - -这种思路稍微有点复杂，但是效率高。继续走流程，「选择」还是那 4 个，但是这次我们只定义一个「状态」，也就是剩余的敲击次数 `n`。 - -这个算法基于这样一个事实，**最优按键序列一定只有两种情况**： - -要么一直按 `A`：A,A,...A（当 N 比较小时）。 - -要么是这么一个形式：A,A,...C-A,C-C,C-V,C-V,...C-V（当 N 比较大时）。 - -因为字符数量少（N 比较小）时，`C-A C-C C-V` 这一套操作的代价相对比较高，可能不如一个个按 `A`；而当 N 比较大时，后期 `C-V` 的收获肯定很大。这种情况下整个操作序列大致是：**开头连按几个 `A`，然后 `C-A C-C` 组合再接若干 `C-V`，然后再 `C-A C-C` 接着若干 `C-V`，循环下去**。 - -换句话说，最后一次按键要么是 `A` 要么是 `C-V`。明确了这一点，可以通过这两种情况来设计算法： - -```java -int[] dp = new int[N + 1]; -// 定义：dp[i] 表示 i 次操作后最多能显示多少个 A -for (int i = 0; i <= N; i++) - dp[i] = max( - 这次按 A 键， - 这次按 C-V - ) -``` - -对于「按 `A` 键」这种情况，就是状态 `i - 1` 的屏幕上新增了一个 A 而已，很容易得到结果： - -```java -// 按 A 键，就比上次多一个 A 而已 -dp[i] = dp[i - 1] + 1; -``` -但是，如果要按 `C-V`，还要考虑之前是在哪里 `C-A C-C` 的。 - -**刚才说了，最优的操作序列一定是 `C-A C-C` 接着若干 `C-V`，所以我们用一个变量 `j` 作为若干 `C-V` 的起点**。那么 `j` 之前的 2 个操作就应该是 `C-A C-C` 了： - -```java -public int maxA(int N) { - int[] dp = new int[N + 1]; - dp[0] = 0; - for (int i = 1; i <= N; i++) { - // 按 A 键 - dp[i] = dp[i - 1] + 1; - for (int j = 2; j < i; j++) { - // 全选 & 复制 dp[j-2]，连续粘贴 i - j 次 - // 屏幕上共 dp[j - 2] * (i - j + 1) 个 A - dp[i] = Math.max(dp[i], dp[j - 2] * (i - j + 1)); - } - } - // N 次按键之后最多有几个 A？ - return dp[N]; -} -``` - -其中 `j` 变量减 2 是给 `C-A C-C` 留下操作数，看个图就明白了： - -![](../pictures/4keyboard/1.jpg) - -这样，此算法就完成了，时间复杂度 O(N^2)，空间复杂度 O(N)，这种解法应该是比较高效的了。 - -### 最后总结 - -动态规划难就难在寻找状态转移，不同的定义可以产生不同的状态转移逻辑，虽然最后都能得到正确的结果，但是效率可能有巨大的差异。 - -回顾第一种解法，重叠子问题已经消除了，但是效率还是低，到底低在哪里呢？抽象出递归框架： - -```python -def dp(n, a_num, copy): - dp(n - 1, a_num + 1, copy), # A - dp(n - 1, a_num + copy, copy), # C-V - dp(n - 2, a_num, a_num) # C-A C-C -``` - -看这个穷举逻辑，是有可能出现这样的操作序列 `C-A C-C，C-A C-C...` 或者 `C-V,C-V,...`。然这种操作序列的结果不是最优的，但是我们并没有想办法规避这些情况的发生，从而增加了很多没必要的子问题计算。 - -回顾第二种解法，我们稍加思考就能想到，最优的序列应该是这种形式：`A,A..C-A,C-C,C-V,C-V..C-A,C-C,C-V..`。 - -根据这个事实，我们重新定义了状态，重新寻找了状态转移，从逻辑上减少了无效的子问题个数，从而提高了算法的效率。 - -坚持原创高质量文章，致力于把算法问题讲清楚，欢迎关注我的公众号 labuladong 获取最新文章： - -![labuladong](../pictures/labuladong.jpg) diff --git a/pictures/4keyboard/title.png b/pictures/4keyboard/title.png index b5b71adb9eaff1b5f65fb8402358cf77edc6bfb2..35a7c5c12d9170d5b12d293ede85094707e9bb53 100644 GIT binary patch literal 73446 zcmce-Wl)^W+b4>bvLe>u$S#60WQ$g^ogm0tE$yE+Z|W3Izpw@b-g7LU^n3I>@Ppg8Bd@ zBO$8po^`T{si$_|DGW|E{i@H%of5B8j+<;54e;mUfws{@pBLk=W9r0h-Wva1m>Fx| zd2_{(3MB3HIxTyBs!yHuaOgUD>f^0TzDuzWt}2;X;HpZaQy+~u+H0)f4wjNbW%SqgoyQTiT+U&Uj>@) z-`dHbZm8^k>nvf6{1herDICzOA~cl$lnf|>JnVnlDnOx4g#X+26BNS1zfC2updRhHjL`@jPUcK(aL)UnY|OoOwCk(%X@w$2^~ zve0YE8tjw|boZP1MyF2qZ?RNO?hd(OVFx48OmA;)h(HO&1XP6k zlPU%5cbySbLBHl%Z$0+3V|UfoS7y-{u3a&JuDKxcpZhd z`fwxbtsZnTP!6w8w5=J^w&Ntw^(*)(mDq9OEJQ0`A^`*?tY<3WR70xJ=(4bU7Bu)n zMAcJh?$rpMV>oa2rp*Xgg@Mk5!P72y5s`{>X>EC??cb|`K+S+?KWnw>-zJD?>;~+2 zl9{M^p_p5->?xczCm3-ppyi~sBmI(e&KRKSDMOUmQj98@DVP7)$NaL@$i)K;nES5v zIf(*4xVjL%4A_tMY(=M!Qr7U5*1haq$Rb5J%4oW`2JP~x$X;xd>8n_OH#e}d%%>6| zrk&y9#X9<&GZtIZm#jr1gY_%?X#ot55bd2X2vRteHb43tcvlV~ovB(yyZ-5PqQ`!b zE#0xoH8Vfg%b1+r;qV0qA73n$$B|d5R5Hm9JI1AL14P|PnUY-$LJU>OQ%bHT4y^Is3QE52E#;^ny)V^oL;#vMnMX%*|n&lvz^Jk~`it*N9RY>O+Hc!_N@`WI#N10a#z|8h! zZbsf?&o%8Ri06P`nz^f*($+%{b{VxxL_G5xsKP5A8?eR68j{oODOh`6CAvxsx-Js? zc=UKb-!t)wYP*1LxEQ(zacsBy(I*^vE<4^KX3ID(shTHWK--)KnwMB=*Ev#wM4Y#K z%8#kMtwwC^l|&_>$F2caY%+k(TF_}CToDtuQOxH9&U@aM%VxZ+TtmOmv+i6uV(DrLj0-z?vITzE4*^@JxEKm*d!_LFpG-W-za>ODW%zdVF^Mes(Ri!Vj@ z9A*ddpUVY$EuQ_{+;KF(9+va~*J0<`lm1z%6LpmHZhU1AuUP@L|F0l6>>V0 z5BvnCB(W=CTz|dx^F|u9sS$sit|?&miLbFepP}4Lbk&v=v;;rk?Sy?!O#CpPu9yYc z7VS6<>nlLiD*OP%U|wQ$UtWpA1b>o)D^`1&JAU7zusFW{%W5TJWp*9=)&^tZk!x** zA*IuRk)Ou$>!FETW~=Wa|9i*kTZIlQp`f*yUF{EMg{9bdShYEr^z)V@aH5Cj!pxKx zEU9_AXL5x|wxgN3zalAl#$P7YXhBr(pd~%@XeIlFta{_A40|e9(5T_p#Q@~LP*oSh zBO#Rfz1;#}$M<-?H3W~5_TgEBlgBScOI8rBbSkQDu(#sPfy+Y6X4l^(`885cuCH{Vf|*z zAQXIc`vdfvfVGs@Qs?Wg)1f%WJn4J0bAPu1eG>>w@@zP)%clhgofr*Yend5~VTcX) zpPm3>=8e2g;w41cy1ldIJQ-EfVGGc1R;ljg9+2ErXKZ~F=+R7d*~RZz){k~A)$>d= z;G)K60p@n>v6gbPhL-K3IZ_^GQa1FZE4hXr3-9*q)9moDes4d@gkz;0#G42XYR*)! z1hbNT-C9V0U*46P6~e0wAQPRJWI`b`4D9%$`+Y<~jg2?Nc_)wWd|Vvvs7Y^SvP$XF z1yjgU2&SF>p<}NMk{cNWOY1$57lb|Rw?fnUVnc|X&9zoz}9Z%z355&nqE>_j+SI>@<$LL-aDR(LZD>yHw+#u(FDphP;n{zDsZ zhPI-@?|X*tVlW?vMg$+I6xwbP?77iYU>{4mmLz7o7`HrcLN~h`wM6sF=M}AFMqwzM znaQRnW;G_xO!9SVTuk9N7e}YHsNx0aHauVcOT~P2(-Qqm_=X-N5T(+PASt3O78Q5u zvn0_{70*kk$w8pb@=8-+ZKTqkj~u&Ey}bjG><>u~+Sg;W)Ike{hx8%tKMcJkPNu$O zEPr|fPCu3{wxdTA>h2nlux0DQi~-{tjj2%fAE!QCHgV>GgYYwEb(O!nK`s;G+hCQ{ zF>|wz9#tK8{0h}b5b407#fV2p+%aR2=XwvN(te^YakQD_w;i#Ub;E90?$$DS3@rJM9?_>tFU$ZfFa0*jS$ zODjw(m}6+L*kJev-%I7!NCgiWBss;v_tl>+?^~%Ye{p%06P!AKLpzq6p;R~t-Ihq@ zx#9qQK6Ke|&qP|oMR8Zk3ffMX^!0J;@sX$BUg_yX3CMQtZmc93ubjN|4INeAnpF6t ztwUOH_7sC!zBbz!TJF{y@u9t@RP;t5TcONH5pJKozjgZ(SF}^ggtpnTYu@ver$xz& zD)Rc*!1?jZ$iuipapS>5H^#V_V8IEag@v}XB(RVq8f)Wtv6XcH zS)7XMAk%x9fkY_6(JnV(w)owtP)Z(m`Q49ep44(gI4VVVw7bA|EtC?fv@kx^c-}Tg zd-t?5Dh9$IZn?#3oxw2Fk;lRCprdGp*fJ=ho7$JOcqYJLvQVl~nAQP|-~Y^dCctQl zBxxJmKs5m_T_{Gn3p=BusEOYhy9%KcDJ&L=P#&#DCXji!VW2^)FQM@&ShTY|7^;lu zw>LYWqQE^*HHlytc6hVP(1=3pE)U62b@&5P_*W4kk$4g$42C!<95+)`{czjjUU7HR zXigm>TOQguB&KlraD<)(nnIC{k~82zUY#$C6YVU{TRU`07p3`zU8Li}?e-#$%qlh7 z^Y}MITM2RPQ(Bm79_!5*^PAqa9=NPRal}*E+Q_S`9+ceKtmLl4H7(1Gl)q5wD^*G4 zF5gA>QGG;g@v;CaTN3O&4L0r5Oi<>AlOd$ZRsvU#0vYVm@Dl z&?v+y63%}2`_W@14f?wvj6pxzM8RG&DTe`|@uxedc3;I(`r*Pel-!Jc06jBVUYlmK<^o4C{Bjwx>z1z> zhjm28AlrT_^N(17M#<>g47G%G`==MAgVvV=v@zGKeFJ?5lc{i2yO>}drGZCG@M`ym z1(Z6Qzs}aW*+g~1JA@DYI~95@%01=2OCz=&lpyiRe$e{hz{n3D>dPSUk~Db`Y%}9z z^K-k+=fQ_nN;Qk)uEn;>9!VST#hGl*KX6!vRi7lCI6ie7ukqSZu02?@IUT1lD6?32 z>V1<~^s!Z10k+l?Z|%k7<8$%gFYpq-5U)1EM4fDWbMMQ$h2siafiWPQt{*h`8` zG3e*_=~!*gn%|PPJTKPKdqj7}(%NAA&FWi%H<4c-P&K;h0|^|Wm2eY^B4Zo}rkIz( zsJTizN(HSK4elLQhK_!=`9?EkwlBU(b1sn?4eTo+->6G6=|!sowYfmAL?#8-g}5fC)mgw?j;$oM zC+9pHselhVXy3JyU608Pzocrb*gHC2T4XCRc{w9nmT--0sL!m z)e9gusAsI3@3R3B{wDvB=udk86$a?}iA!=O8Ew%+1pn@tUk(;w|1-GozmJb#{U^n} z@msW(q(JXO6H5ZWNg2PE+y35IbZayTEs-BhpT^#Qk%T|-(at^n&yqb_2$Qe8b#_nX z_7P43WO}bG!iMak*rZIz<4u}Z%jryvaxuYdwZ6x-4ER1pV-ltwn$1|#)PJ5Y3s~Vi)8&CXO^Lx zR=tCPVNUC4;egFKMqOO@qBXc+3oC`6XD&=_v2X$ly~vmxU4ErRUL`4IgvecNQN#+g=e%coO0!FrV7vR$a1NvD~| znm8~>C4YO|z^;Z8qA|Wa({5=pV}I7Kunx6La|xuiP%Ahp&gf%HW;yG~=o?%9BEa=p z>9JZ*mkrGE#W$>?RL!u=Jxi}khKR??Wf6>5GP(8^UBL733i}WivcmL z(R?Np_c5%LaLdLmlY^(wYQ*7j``*5XyQ4-HP$L%H*ku+EYju*{YERqY+prCqK8asq zf813qYkBagk^sl9pdH4)44WxiG^#EIa`05dwg2M&gptf|W@fha73Fra=({C+;$&$K zoOhg4y;MCz)x`j}&Jckh$Q}hOc)qq+01VGKI)2r?*{>8iyx9-e@Ysw3MHn$Q*NJUe zxn(I^!Z;$^-A}_16(}|!FJe+>J%w|NRjopjb-FlV%~k+h-jxsUaUDfvMx|V8Pm|i8 zRVox*@Jv_pnP-i!##)cHTTr=Lkd8Twi3R>feL5wNJE-7PTAwmQ0j4>pe`K)q20LfS z?&KBPbx*@HWEH1OOYJG(;#+5h3gXhdM?)-}nsnL6&i4G}$Lg~#hXzmAX{q4P_398j zTvKw>?hfHPkOY?YnS;H<>idCH-(Wx$U|;jzp`+YfHp`9yg+Y}^ffM)fTTR2}5=H*m z?$P6R8Pph;OYM{c)6v8Ua0RY8uxke?5a^xyf;yXX%TGYQT{6>oHx0=;c1F3(^pjE~ z#P!%Y{yFxHI!G;*i2`F`I6fi9ISWjwNyVu%RO(Xkp?$-k;52P>sSF3nNUi-a;9Dqo z&dvEE3^LL*t64gJ@U67deWZn-NEb#r>dL)ke8jDzQLrv7IPBbNuoQ0pTQ7K9@bQ?w zusRSzQiyVIVgnD&aG7i^tE1#q%)O))Xz=r_rAr`(j zE@gqZX(TlEUmL{bOJe3M$4+kf9i0_gX-rRcu~BuZx$Fn>oDJv0^1C!y;4kw+zjj9S z9P6wC?J_hw>-Pp&_$m^f&8@Gwn64)zQn!~e7i|aBr-f~@PW1uX_^`z@j-KA%sviv6 z7-tXDRJ5afXZqG8Mlgjnqb~R5Duqj@twU~h0zGKGvGQqxjMQF}fw=3jEz8|Cw-hMv zpvq~QC8j9hdVnVrBr-zRLo5g}3fSUiS93h)QHgY(fzoSP059%=V5$Ot%*idg0!x&q ziqdnBO!TtlY10^hqOvXP=Q4<)JLUb*vSrP3TeW)u&9*)5wa=FJ0Xh5D^{NSi)Xp$f zStP@BlLf#1I^OJ^^~{XYFs(Ay<@5?xm>cg`6P>_5(jl&|Ziv9sjwe_ciuR2(HW7po zttFb{0{Hh_KeHcv5ia3|VVwxW-X{yv{TZbV2&0sd7_0IMRhFJ{TH=m)k(Kpfx)OU6 z_IcB2Q?1<_mGiM{N;M6rr@7KLiXDy&5nv7@ligrQ?%Lf9gJB7fMd02ZZJl_yoN9ao z^BTLSYun@SoK&&KxXxXKo?U@##wm=8B4VzTG5s^lt|*Gh`3+-5<+<(vuya*&z=$67B)|`2?72PthpmaG1|THOP|9 zcuN@S_VIJLlGnTLz2E%CS`{`2ov*C8<&?(k{zNU4R~?87A=)(QgU$FBO;ioYxw`M= zQXZK$<{;cjfK=P#R;n!ow>6{YqLtq(<2^3t%%u|1W3O9D5B6g!fA+SNi*a(YZG9kc zI=Q--B)7~?zT4myM(u__#;oEPOXf<7WE#Cu@w4&aKH3?9*CIu4LD=i55lXoc z8Ex8ucXYz5ABH5BA3JPv;jrA+QFeVwwU10V>~dQ})=U2SVLQkighzZ<&;Bi2t8&ow zk2)TPVqtce+&fm@fXD#t!u&Vg6s2ACE%G5dZOuOus3^^NwWnI?zzO#>Lh_GwvyL2g z8w$%8Y*(UtZYx)eK^``Leg<205`(%uERb_w_WBfQqxb$37me28*}*@Ag@i}Bz^ahOA!l!S}5x-Lt*=`yGB%t8;8i&odgL1C>HLTy>sndL!17!)wk zN7&m>>H==Wj%X#a5|n`VcQoY?0KGj6DQYk zjRmMMD614gpLbr*LaqM`<9t5|TOiH;c(=Kjo&K{u|FM*-$v|S|j-K9hT;?QH_-8lV;tSifibXuDJ`1UmD)eDNAf~86j~aW2ilysdNB5=ne^Y$nToz%m-|{ zLLPoC%Q!b?T$eO)V==ZT7p#qE#nhGAjs}+xj-E1fB4t6ArA)+RB!bmUQLHUAqgm{1 zWkN?5u!A>0;>-;R%a6`ix!!TLwvU|3%f2+Vu$r4rPQ0j#j>su~6K0i@z@?TYz}M8& zeA;yKyR%E}Ky{NV?ddoHay^xsrV&V9XI{<^lc~ zS=vC^OcZGR*yzBeI$AgoPv-$SMYi;rDYKRWD2s+I0o&BfNc9oSZAjf{t3*4 zO$Q#Ppvt?(TozD|+ZmXh7(0bjH{~_WoEC;HjeHWziO?3}uhZgfvoG8WUE5KhN|P;n z6z0UcCcHP~aHyS+lV!m$2s-}eYCI*FY7`%Y#W`s10cju&YC;de#+ zD0i9JJjCm=)%s$nx!cZ@SbguC51V46)x8tSvx^0{!CR(}s&94f*w4LVn=9Cr}+=Utf0)vW)RANLG@;)x=L{$ZjoyTDmc z^JyyeVb8PmbngTv2)otqgE(}!`>*63DI1)8O@$$Q8Dnqe_Kol6+#m{$cvhYUgX{QTm}Y%R4_NOY0Ov+&rWZ@JD{vR`ZV}1;VR( zzv6dr2bhIRNjSIor(5x&L^dZmU7^d+;1H`j8=Ej+gqcSArgUe~Kg%Z;;0{;_mu9Xv zMoYZppN>p)Nu%+DMTA)1iQa_qM?k1TR3SeE>Td?cul4Bad-hXsObIvZdY>PfZ}A^V z`W=k{hCcT+xgX{o&4Ztz8l#?D>L$HAhO z@2bNuTh%T{x!ZGf)8l3}$vAcP-Gv4jFL(GCZ$;43iNCa$pwX|OVuk`Nqn-{{ZkXHl<#t{tE zoGUy+Uf}eH_BC%dL}o5&6JO@On<%^@X^L1sm(^T&zu=|j4&>6kYCX|)3c7Q{)>4XJ z3S9b>tlf`i9lL?Yv+J%}DL5Nlu<44`VR=Df5R=RBHB~fxpg)vNV7cpV?Lm|6j&wbq8FF@ zra}s+qfPmIljk)RYd5Pv{&^zOl-c3}4`($mr&LS|)IG&@Wx8hBhC+$VN)MBjGll!Sc$azXLF#z1dBXW5P8ygC z^V;t=AH_2Uwtv;>q$>1~U35MbL!`%l3);Nc&41d@DM74KXrmQeF=BgMtrJ>0f94a9 zA|+(BK4N5u;d-}noDucx>DAZ1C@kgQcxBD})~Rny8b!>ZREG(rOaMTpzT2$ZfZCV^pZKb*NR_idA_69tZIv@Z zxul5;Bh9of^3M<7&!~D(t5*qvM(Wf_yLnjZos=I580ub*=9eEsRDShe@ys*ii%IW- zv*xsYl;Wx*b5TWR?KCeaNxfRPnVA^KpRfuEyGJiz!C;;+Zm1l*)Qx`X!L*okmXl8i zbjr$MC%Ai(GTa z3Mq=Zk~nUeuSlgOPuY7_f)=|1+n(1)NNrYNuY(hT*JVaTt8uij=fKIs7Mc}L1a~;S zT~x4PeUob%pDC<#7US)2RGsr6rMG2VdEJ`SMHX0X(xc`uz!VeNxLoLP;W~y#3(6!J zgVR~@2*=sGok6RXawp>2zeP*p0zHUTR?vhj(7~?26uy&XM#3=_V#N^DC$j(9X&MR#9=!4jh6t~yi z2(P8uhtF?6&wz4Z9@dH%`vauq$p@^f8>~=B({=#RxComHk&<4(ht6#RMogL&9auOzk>W+9SI@j*DT+K)_#fR6evr}glmtAkB zRiant-zs!NtUt<~%ff8D(b0Ojt7cPAO*VuT>Mr{BNA&>1Jx7K7yzWIiHmsY-u|xN3 zx;jpS(SP-m5gRH?6m}^>MkUrcNzLx6?eIlMW2Hfoj$=CAv!L8pnubyFU z{Nv$&%B1^0Qr7+lzR0tN=TpaDJr_}4&Y`BG1OE_uMPZB|mRBkmc;--bJm+eFR(KX5 z#zPF$T5sGw`UG`1>Uf^@c*ZVR+xfaQ7;_XCHEEQDb}P80I!etu&I9Ym%Vjl$jkTt7 z*U!g58v6}cgb$*xrvc1FoUH?K*K*jI*{q@GA7R^g1=2c-CyKv$%T9cpd!o|X=>GFb za^4OwV(fYn8{+*-&EBwzMUX*ZRQT`t;%!6t zDXz=4a!S_H$i|s1(^{JE>(qdU>+gw+AgQ~#1i-BO1E1O7K(ezs`Y)d`yb2LK?mGjF zTV+nON@VJwK$x1;v-OI(gx_2NXKy5D=}Qg!s@X%%TqP%~^`Bo;)f6I(}I@3=GBcrJXc8j6B{6^pip-WG-mlZ~EE%JwJE7 zIJ~2?y9BBFEYGaJ%Yb3P^_l~|PkQlhFss%)Z}oWVbugFUIGyNntTR8}p0UNSU&y7= z*>1aK_$LdC+*`ZYOd<%@+cjCC;gQ1~RDaQKFjE_KRCk5NN+E{-Hn$N5I7Gtd`-15X zAwVD@(p>$~*xm$h*#5Q(V9W#Nyb_$D;%~crWV31YBsyRQ1g|61M{eQ9j8WxK^=nah zUl8u^I1*MQ5C8;UGi_=Lhk@$lGAe`1RUAgU;^PM)alldt;{Mg50tfMy;sDzn28m`I z4<+2J-@ET4e?R5KTEFCBVhy6rFcM!qrDtb9(5kSm6esY2V>{;-ipR<_tDrkE+BbeM zXg>d`Q-ZB0{ro-}h>{$2O$~z<*+k z|L^OAWLM0?c~DnPR?;7OLRy+oiH>D?KKkJ(%M;bX*l^ZbCVDaXjyT5eakm zH=BZodB~y0QkR2*XeB;zmIBO~@J-o$QS~93V&!7#avd+bR9Vy4%y10u9raRp13Mcj zLA001Y;DeCg=s0ulhE=SXZ{H8p7BR<3|lcvU!45euXMTisIDE&YR18q-xoZd5z3mx zKE_c;GuO>tv72PKfB4yJVRjT0o^H^C_)W`SyOffp zZ|MHX!~FtB@)Q5*`kb?1cnQGyT+P|3-ND)Eu!yg^?uZ%f`Jk=}txeDS(<1Bl^ob=< z^mj4_Hn4e+ikn0P0y$9GhC!Sj6dF~okon*Tq5fQ4AJ$< z_%2;aBi^zyp0I61_$?E_q7sG1u2t?`4RkjFhff9QHYZb8SPWJ>FY;GoqVa<-9S4^W zw1PXR%pi}g;{WVn^qsryV0ql|5o0-yOK9+qGD)yV^+vYaW%WvMpgg9WYTbMP(tQ^LMR*ll1n_f zR_~=U{CW$puPQ7Mh};<782^hblmU)g$o-rjG>?u1mk;uUqiBY~>}>{?vqf=eE|JIURnLbV&JTyL@;gw>$0 z-2^=m&Yu`d z_xoCG{)L9Hw!2}jWozWr@2Ixc1~lkmDS4V;7lvBvE;+B^%w5(!I@{n2zgBWCCPOi zMIyyMv>?6K&ui6*CqA+)%E0Ry=h(73nN*j-T=DV^lD*rudE0oNgXYcH5z~bxU41^k zdkxd7($)bt`IydYrYh(@kveny7F(1ZQfN(^!Bis$7EA?EVldN|Bd{Fra{0VQ0waR8 z2E~V;I+ht+tpDK4NA#6b*mi?ksKZ>=zE0LJf0d+iR|HoSUGose4j3Ks277erAU5QY z6gdNp?O3Q-QB9IQaat&%aSd#DJ#PDeJ;r=G%Y3@fM9zI6cp=PkIc<6XSfQt*L5cGo z={U})zy8Iv{bW^q&&a<#+16W*p#p@q5TYzQV`r*CUeijQ9_Ro#Sxayp z#u*}>@AyP>^(-HldlG{?&&%45rj5`a|qXB-FU z(QX0z9j!BF$4#I!n6-Y9@p?h_TEqYjDGu6K;{>%y$lo#0?v;ZXu!# z3>^*H9rR`ng8+Vnavk#8NukX(wNb=p2a+*Pe003bTOGdzrgQ@6PzalAo9etO!U7~$0IjXqX0K*+aL zBX>0*&)9#9p!1YEYT_wN>m4Gm-78-9|8yi-#{4z&s>%PcKOC_C(^8&c_5Sk0`uYP? zeg0Qjg2{29o=&G1&;34k$7vCj>6xfM^0SH2nB4aNFbzGg1SdUW7l2exD&?p~R2Bcw zreDsA(A#i=O~j8_MMN238YX_``J_yQES_6I+jB+a)z5^uSU%3Mc0?Me*MvlCL!B~S zWaAzG1cb{-E57d*V!7KJpmC6u(4aOiNTK->?R4nzz{Qv~(K7zXX;}nIspX zS;Vn>G4PLg2i={f4di{9XR=^kUtr>4%Mfb(U@Ky@cSfjw5U%QV~ zHVStiSkPxMWXvDoFt@=s()7_E`jNoy?$7B{>3P61+ZKX%KB-S{6>)K7%g3eJrmRwd zG9%cti6?|20xAw#ea;F8xyRM#?pVD2*xNOfWH&ExRs?7_QcpWTidl%;JY~IHcdW3V zs>m>*$ggdi)c!qQ=FSK0^JZDE4D4sPixaEn+zuHtC9W44%72qr`R}~)t=biOXda&bTLj(vu%>}+_vnmsGKWIZv)JKiY z=P_jos;J3j2|}z;89HF)L=gHM3p&;;LA|PcTorJ(Dm^uiXg`Ea7va`&_tM=#0RYrK*ry=3Dzk3EEL+O=?sX!0mD^)#(^kBw}JZ zaFFG^ys?^oA!@C?c8KnHbi4{tA+A03Ap^vzQBgH-wv{_FI3!nB7H~fb z7YfwYk_VwiK-xf~*dm%3-R|;=Qwu`Ksi_b$2abYa`JG+tnbjlZ?Ue68pW_!;9%^$Mfxs4U3zoF3-P55 z71DRX%NH>8ra4CT--M9?`As#y{v(czQYrt~c5D!8R}a?g_jb=b@b7M6*dl8OOnSV` z@AN7|x-)B^p?>I@XH;1YjkT8}6CAb{d!?Tr;%+Ir4w$+adz1_C2WOPUYPjTko04iD z%652-ah7_QC;Bvrkei^4V>V%ifmdGGOC-2F0rd1BG(LlVKD$(~cd9S9XLUcQ&~{Jeq&g&)CE_gGeq(1qdyy&Y%(VNk8{=6O zfq5b_P`ZzY*7bLP3Cv^&Qj4FN1|L0*$>()XVC?3zJo-}r7V!8v=D?IB3C8DI6;orh zP*oU3w$O6u_E8U~N{M|&`p5q2KaJVWxNn*?YSLb1x?1v>#CLVVXPvMDIRX*S<%?%k zUhkLC=2iaV-UYVSke@w$U(r})vYD?>3hRD1N;qrkR{t^SJ5t|IU`_KD#>lt-aU7Y8 zb+~=Om-Nv`T!~I{86BGpgPfMaE@z5JHFWCIFCMSLOE|}j=gCN`Z0v7k2&Bsg(1;Pa z+{|B=K(6%wp_!z<5d2@EGz8I3c)IKV_sY$nF7lESr zk8j=z>S$g{)EG{e&ML85ZTeR!rg&k>cm(39XPRdC%gP#70X@HI)xpbZGrPn>}mq=i38tt^w zeBH%vDf1HQ^MQ$R zig-0t<_DR6xvuzQ#}*LR>0$q3qs_zVQ*?OU`+m;Kr(Y}8Aa8m5xbv$`r%pt;38QLdwa675VhKXA?OJ;Dd?qh{0>-l#hg3O;4D zV^f95ddwRtFo?C0 zgV;WE`2pS5h_AS+(>opXExl^oW&lQ%VfgZt@TKNkUz$qRv?vfbD?#%3F{&;THcm(6 zQe9r?6HP;afjOwezo8H_s{V=UN$X^7B8%b2 zs8pBcSS-|mhq`mnmV#nDnG@Qi`^q9GfMhpe49vf-04E}6z*koo#Dp~O)CVWjQCn_a zBH8=&ip(VF=<(PWDzaML>ZGN zy|O@t%48=3ZcssqTPItlKyTH~_fmT*XfEJrp^TZf`Y6$o74{Dj}8P>k4 z8ngbRwyS5C(s;#UovS=pnib@ZI0z3nOL8_%GEQ2@ z8r!a^?iaPVOzQ85X)Ljbi8)9u544J&MR ztJX%hY|>VO3&A%kL-i!mU;CpPIY9gj%M-K;9nC9oJ+{;-gatizY$#Q#a!XO=5+*C+ z$j0c{;3qV2Ls0r2h>CB-2=__i@T$2R%#p2g{Xqv=3C~6>5vW$Br*B0M+|dX!IJpg* zrs^Z5TwouOiYk-OoqArrNE9bHNsWP_9r`zZOi04!8ahkve)tbRtiS@kk+&e}%A>1q`2OShG^A%(F~owef(Xj*StvajdAaaC*|*vrI)P$wrQW051Z7Jj!s?Q~!94>C8}J zrTisg0nu?GqQ1+ckxlqE>RxKyFwK#wd@?Od(h%nUV2OU;c#z1Z(DT^3OCSSzWa{HN z2SC-;gui4D3p>eFyxLYssbFu24aA3~v@3+gqvQ3zm}uq`P>~I>A`YrvV}+uRz2qi; zl~AA-?W`wJ5UTv9ToNG3{42Uh%k%hYOh}5>;$!k3eNXL}Cwf=Q7ij3;i03zIXwtR4 zcvA3f*NNpO2A;(HELGg6&4*^0W86bMXc)lwigOI=P4VzWxdNZ z{ZxKqnpy7q&}*O$SD{EDX2vcN@r>U)8CMnP+rn!|S1v$N*0CztMZV4NEAdaJ3|q#JS5r(AFVE=+v( z^e?l}>eoNJm8M3;dcQQSdUC4B_Cb(U`59)jNs}kd#ON*!Ii`i@A{OjM@wk-!{$na@J4#%(G+njr5Pwe%{G7S&QKIDy>^tJYpQ(gg{J3AH$4e`Rm<^s_1Q{gz4bh<`^)dG zy7cU{dDzz4kSR|Vp7ikh0WA6omcQ(hD=Ai5#(Mh3wO2E)@0yqU`S+~9K6armw{Gnf zHa&i7*V&qwpX*BE@5jfzylVaS#nC-!_{j{reYS6Z%zJ$GXXfv^ zSG_yWHQdddYyHeCrq569E9ag!_k;K9T;BFq_E|yuwF$RUE|-T??+4C7y{Oo`?fl#1_7HBym#fvRbpS>mu^3|$yU| zd(PwT!Q{Mkj=m+!SpR>E+{QhrsOD@`jgI=^UoPo+#)Z`h_pW%ZcyFK|rsn%uSfR>h zp4aYN_oWNN)pSz2znerHf^2z8b1k=$QTewV~{G-^8|c{$=J7x8EIE8glpg z8rS8((t7dy%Uw&h1Ji}eiEUfAZvDC;tnTeC)0>;q{UcWA`^28$OLJ8dcaq$nxpbdU zrbBn=8sYd>S62O(k*3~d9LZ(7W7+#F%@@5jaRe=@a%fl=w^wU-`TK9cLC+VC`FB5M zM{2fxnChjcdNT6r8oC`8#@aQaLCnBNitX5TSp?YeWnc)rC_DK`<5`k6^WaSC-uViInR`{+s!BU`JMCa%r4-5D~5)So3k|E0d)d5GcpC; z0WBY5cu_=NXrwbimvT;FU7(Z){w= ux3p9VvgVxO>_^jVh)Hx?f4GzX@wtEx$J{P?@%@+sg^Iu?>pM_cuv&+!KI%BJ z*U|farJ(gCc0}{|DZLR<8YiRgut#XtU{to*de0hX#=|B*{iaKMCP2%gyKcGK*t8kr zyWv%{Sq;PqPh2*Vhz~K{>xK+Ee`+QHON&_Ttn~UuYO|!$!9;riNCeMv^}FiCg0;8T z0tyq!!L8b<@dZ)II8aH!=)$}*U0|gV3Eg>lt8Pny__%v6qc%H zttDwN&Yv;gCDNfx^A+2r1;P1t4V=l^a=ZROC7@Z01HWFQMNFX7ET{IbUJ?Eoh(mo&R!gzJb84&p4^p8h#IFDj;i`zSH>pD>~3 z;->Fx6+(_0L^5F-?&+&RgPIMg5v0SKDdx+f0``qYrjXEULx$zme^O6Or@RAUY2yV` zR}*r+zMz}?czrcoCZet7r)oqyK2RI;uP6v12mYN`m0r-mnTPBWdtd(HR}zJW$c(}~ z%h&diL5T+S4E(zn3+?h8)gUiMDo%~ihD~$}KI{t9J|K9`RtQaLVzbAvKtV(HlO~&= zN$7EJ=fr_H(t`PTnlfR5?U-i-<+sA*6h7Uw5?-}&PMSHkag0M8uwFW$yZuY^aS|}asO68Y7xH-sy#d@LFmf0S@+^ZOu_iqY z;U1|ZIj7QQ|4>^LDnF&AfNWuhVm1!R`R!#59@*ml@=v?Y8HiUYctgbbAg( zVVL2`@cC$xF@!CJqZRx%e=~A0?Dr|7zc9$1+bO`)kWBd3Cz~X~uD)c5NfmTm^jGJu zW__CjhD8+Avefc#>q^hlUen0T)P8-Nz(?P1C=7`ilolq^#a)NoCWP7LPE& ze_!i&1~!<=N@d5$tIpKHgguQ>!TfIjHfLZ(;rDh7e$1w@MZ7|gnpOC2S&rMC3*6i< zLS|8;4I#tQxRV`6rQ9@cy1M&g6QZ~>1rQf z9i%@7Q&;ARaK3B()>>88+0-Y{8Y&RmhdC-%S5Px29q$4E4V~H>wVV}`lrGA?kXyL( zw?G+YAVuS(r11l3;MGS!*2?guX36RAa;z%CZmKt?EGvId@(@o8g5rlw0a(6%2%znr zuQw06b4k1;KQPJ!(MDS|owqmC6;`oZ#9=r6t26LHZfFeYyU?)u+TBBgUfdweKZmRb z8s@hMT8a&XOvDvC1BEbbb71!k@;v02$&VN7HPjf_i$F&{9dU>o5)<33jz}(JOy@;a zAYQMXXg7_ZSa=j-II8;B2W}9GivMooz}90j&o5u}7hJB3QHC6QNXNhTMwvmrOG`Ey zo{_L?3be>t!S5@~Ae(c<@^X#%qPlM=??^>ql5ntN{;KXjI(4{K$3rSYDp2 zzmv~K^dRreUZwmiYDB>uGk09XJSmB&k-J&`9OCsre!)EVI#u

3>Onl*Xu(?wcF2>F3nI%t z)3_uodi}-QJypvfAegq`A`l3?;f(YfuQTQht~lL0fHV*1xI#eOvOir7diozl*)fE*Es<@F`CD$n4tDT zSQ@7u&r4NN1isrNE}1fA{fO=x(jRCWjg2l}w#%$XeNQ*$YxvH3t`@GkN`$odlTe`A zxTsva97I>efVo|uAe*?^?totYM{f-PUoM#DQ1NkPVc#QYKb9~bGGsKUt`%H1{sVTe zn#JR~;V;zRO&n{&vE&SKwDIw;gD(r2o)~AYA_H>n6G%tLLZ|RdXB%p%ZGUwHbUVa{ zI?-69cVq>WZ=HXEOrZV}RevwAh&M7|6=zwtH>>SSEN6LbZ;~qe`?G(%4iP2(XELs_ zZ=zqlbwsHtZt0*l0keGyaxIv;3Hi=Zu$NTl8D;tHgw)kcsJc{XW}FpESDuFKDLB}-cCfJQz0xe>9U=N?yGCz@~b0(Ztf0;ZTAe z%g-!kK5=VD?(_3;j>cxo4)p$a=CI;w61RT8oPp&sCW&eey9CmO5q*3`!;Do~J(%L~ zx^$T@-)3UOV`G|@zQ0;$!bV) z*r(3MS>j1t8UNO25C(qh$^L3GNt(jGC;AO7hrMe)Tr%9DC9m#`%(^iX%gIp+{w5f< zf)?ac-B72%jZbKLJw>4`{Le|4`3&>3iI8-_kv^U}9lXQi+*iJ93)kXRPE})A*n%X9 z)5ZQYd%dm)j2|17XX=qL^*!apt7Mjv6fsf4xYG$U8TU$k=~oC|hbyuN_pi;*=UrB( zn>?s;_XC!Fdkh4ZH%7D2Zqh0Rv=)C82#a3{Yo~&x2@q|LX`DKmTJ&EFlTyQpTHU8~ zk@X!LLt6L6NU4w9%CE)dZpAul@;9Uqtb8644t-F4dPW-SNHF+fm zV{&@qW3h;=BhAJbcB00Rwr7lYkjtED*WQud*?pAtBJ!s;HPl2K@e?z0$guo{Znl0RtfKYZ3fPzXZqQ)~lLk^8A*X zoB1(?M6O^j^YC)TQOam^7)q~hKcA9q^jk18@EY&!7IkBccDqreI6M(QPj?1~!v@%P8 z@M2yu58AAxY6v4!=t%PHhQt^>+Gi!3U8LlfpVPP5H8LaLfYMO;9P%Xtyq@vyhOG1M zK}uBh;y#HAfqs7D^1-c@2#u<_dMj>dtt{)(tDd~&+B!0<*7GrL%F5Kaou|1`^YT65 zWPY~rD5U=O6YoYyf>*RE2B7$vx|@on)LHRK5izPrxJ(D7rq+twQ$3}I^6T6Um-y0e z%w+uO(X~Z$J9L+JdpKL=kBc7++h*5{dgdgYykZoq0#{13Vaq~iZv?l^#s`_)5?glY z*|NM>hj^@|j&TW+y8_iO|Zr6Pl zN!AR84P4jS)`iBsc7A$Aw+`p!HLvN%;wI>kEC`6RINZM!zA@}t00L8N`-Bseu*x1z zYO;)tj{xfz#zsqG<3YFS`c*#eq*W!y1}7S#@`X!G{fBZlFXIlFX4nMwle6;2=u7L}XrBAFx`*P~|S0b6YWAvlAdop=<9o z$<;I=?#yvo8xRvGfGV;ly527;Q+&h1sNgS%B;j)#B9pQ9NoX&XC5q|(aXIMl8mxzN>*HQ>u?{0en;Yq4nfhY zdd-Q_RppJoq7>Py4sR41aVUqw$3sVMLcq%?1KQ`QC-*o$EzjW%%01>v8hL?BDlLYrQwy2EjsB`6d^=PM$04n^(jqIw zX=%t^zl>S%MxK;zHL!ZvuWi4yTp8~7zDL@oLqYQ5Mrok0H`dA*V3E!Lg#n|1dlcM4 zhO}^hi1wJoRN*K=M2wW`E=qx6RW(z}phx9UD3kqH_pkEVP+uC#M+Q~dWI0pFV|Auo zyblOG{&YTR&9=Zr(G*okt)+*iPe3Jv+w@Z@oOq?jsaPYi-bsglMdaX zF&T`RcZOX?CQ1f3%%Ndi;u9@;JM9huEYi9!z}Vs7>lO-=Hg-KV1Etc2lmeT7I_INl ziozm2wOVqG59xf6wdsb9CNT|5MVOwf4o`N9?O>_ zV6{(vZj({w84xgpavDInHLqen{O;szO@Zz|gU~0(2NgImvj-iOu!+^MP)-s7X*ah# z{0PUS<`D@iUAnsO1dOn9fmqUWsUTt2z|yYFX|Z5EVlVr;9M)ZD?wJq@iP34^hicV^ zd$-E1bD;eC)!%=;?eEF{NMQWL8p;yO50+&Y2J}8iEI0VS7K;7W(zJ=LoyMtTFqCu| zM@9=f{jG!B&haTKFF~vJlL4Ig8DvwKrUmthUvy_DM4E;tZCpX!V!H@z^R@}jLb~=C z4Ek&kQSM`sf_DKY%`1)Wkxsa{`_8(tFy%P~=t<%Op~3}8^lo)bqjHY}1`Kj$-#dB( zrGq21CGiM_@p6|V%0a?C?IJ(+L={xk z;7EFu?M)VzUm1x*vHiK`0Dz-(Wda$&|swSHNQq10sbj5Dxq1|dwX zh~A@r3h3){u|%Rk_rey<(_mV)eUqX6E=Zgz!301jX3Hd~&&#EzRG5cnS&0SWu9x}Y zZXH+`cqwSZBMPYTEqLBUp4_6 z2+fr;$eTXQg@G-!NF1V^S4)_T?w=pz8l@V3rmR3{|F>Ri26OF3gkJhVS<$cj!dr*n@D>y6ThoRsthwC6`BYTM-a zdJD{Y%Zv?PeG9g?WiL&x_T6B-ln6!r%_p1X=qc)C~1qi%P;WsHUF~^0CqM4AX2KFjPva$ctDBfJ|)17y6^(+i&3>0VN7gdxW$|1$T z(H@vtli8KAu|PXWmfovwNk{cIgXdU}R5LM6&Uln>TsZutZ8SXf+s7ygE!FoMm?X1c z@5T6N2Gft1V1-oL_lMz$nN7@{f@z8J+GO_vF)nvEw=QT4m{!Z(BYH3k9w|L*1;+l6 zdGI8SE2!~3%k(9CgUd@ohGhQ~x|7oJr4nuGe8E7J?JFV-)Twbbu^0m|+58osE+hLb zUWVQIHdzS>BMG&>*69fd#WngMGMAzg2}Icg=tV z%%&EhL4y^EgG}Xt8j@-gT0I $nC+$uS--)~mKoP%6zsXTpBPFB=|&*3}WR2kI-L zs|{67tX3UwxO5o}ekKhoFJSL+TnDs;8XfIF&|1rnxSQ+rcUq+}&*wPPPeY}+e0^s` zT@DKP+G^>UP`=N4)PsYNyet6buy6hdt_ z)^ARcLL6OXD$$_1iJ&JXL;0W2SSzXQl+q4O=HiZm2!f}in*7((@gk=rVXg2BZmWtE*~93hRBIqft|?>gGP;iy=Wjr|L%2zW_{ zHj?ci?-}v47GmlhiH@>g;0*O-XU^NJTvF@3znEL+OWAa zg#}(j!hP3_QSOAfzn@55(Ii+>k+OSI2zUe9SWA>jbw=Uu3iJibmeSO#h5)x}>yR6w zCR$XdvWg)!*~O~D9fy7;0zP&qGG-E@u~QMO^3;GR4L`X>B@;LGalT8f;fQ3kO-d7wpEL(qGK$j-_N~!%y}kTZ-z>`^yl#Y7 z4A89l-!&BE3(zCy8qg>0(oD!wz6SgBGE^PR*VF=;;O68nfd*i8?%cjZ92yf6;mYKd zs&rV?S+#C06rbUGP2GhMlLB9(4h@7qU}nx0`07CJJAqPi(uKbE3#`&utQZaFGma>F zuN<@<1CULu%5ZZ`k22||7+9(l-0R9&Vus!B+yS%=;|tZ>Kn={u0WmbKG9DZTt1|RS z`WTsfs6t&fk@(n5!zde5L7i9CWj@v(fJ-q#DkQD1WfRe=b^HqiWxsjS;*n za#ds@Ca%bSuc~{w8Ur$Ms7=I-FNP+SQ^ySW|r+%XFr&! z95))tJSRA|79k6NDFx$6A0dIvMatDV+LHInpmH)3fp~uY!H$-WyF*0mDjz%URL+6JVw?eFTO2 z)}4L)vlHH7%*cnKH0ox!OD}_~7bX2noU#T#v{K<=Q&Rgk)r*n!tIuBr*SN=;-g@iO zk4R9GvL6&iCxRg7e+JM`8rtCHFT+tg65Y-6vP3s~!F7&G@wK#6bWaR_K@6QBoX}!n zc6O%6wFocXb8thcH4cxB1GliqNb47lT$e%R8_o{Z={k;)LKIzA*)ds-2!e#YT1A;% zcRvpn2ol?Up;2iFir{-5gqm)7_v1Z$m)^>Qj{QR?h_(qvw*m`k%3p{ zIm5feH-7<; zr}zI-4LUN4Fh-$?Y>#--tioiefwec7{Xu3JezXAD@ZO1e9y< zM=TxQ=m`?%b;1Qo44ScX*j+xdRp~Shjs!RlC>`z#$iJ1NvvH5cV>-Q>!m_|Uf2OWx zRKrSmqKg>4xKYxVzf~H)V$KTo(e%fuQYx`N9XV=BY*P0tpiH64F>}I@A(Q3)ux1nR zTn?G-VB8xWFwDC%zA@+SsQzNH<9}B~2dRTwKsGJAD2F{*fPKxfXmDvZsG+PU_^mZT zpRhdV(Ba5Eqkj$@mg>kHRh#}#if)(HSJpUD`aLmHGztnX$!2gfY9GrmOpo;PJq-%T zZ+CFRfi%von6>7oM;(8(^@viyPlu&Pgn)DXB(VF)S@Gp@8@qPR9yL7Di_w-nqkGe@Adv+Mw)L;Dp%T_|_VL!!B)HJ98!jvE(%Vd<{Iq=YD zj_W7sn*$Av;EEmVn(RW;@0p(`(|4ll27S6T+LNI&S_bA!LERZS&37&P(*Td1Bw3y9 zFir9q$Dj$rT9zi>rZT#=)O*7fzv1a_(qvz??}UAP>+42Ye~3JHSmHRD?=yZtwowBT zHY9(+9KIxW=7rLGKCk1Pshsn1(+3OjRvN$9dt6)q&KY+FyFB`6w-&KZ0V z(k%a%3ox>s0PmtU-|Q_DJhRj~fT807kaD`y_V9w@X3%qav_9&ysNuBZY(z*>NaQ}I zOzGnFnM}bGs(9$hv*f(jU zdOBgcrcA@~qRHl^;N)17T9MA;JQ&2Y9#oz1po6%|o2Qvbj0U5ebOg)5Wrr3`rsSIe zXK!HU%{#@uu;Z9W_Evm5c%+rC-Bz+qf|m8CMa=XNg)FFrq!m(I$3SEI`gEv<-m} z^m081l(sMLZJ326`3wPP%h{hahV>Oy*kumn7@R0Yyb~$R9b|i$3WO9Z%WzY*67#<1 zY<^W^!i?Svs#ZxYioauB$r-5x))syHG?|P~50FL09M!IPgW@jYzq1Pt)F?RY=HnAR zi}DVB8ZqcsFDf*KW7^Np;Xuy^jT+N)N|8g(SER&w61#+elab%)+yp~pRhrx zp^TOM48OS;v`e_oR8dyyQxq5~rpwC6WBWKP)(VyKQ%Xw8#Fdpnv0>j{(^G!ADPk=H zQ%G5(E6^#d*c6kye-E1t7`P~9%&AKvT}12gIE6-8<2mOOAAT>?zC$>x0(|Eu6lOsY zc66go7*@*3&yk`_GC#LF_XL>H2$72?rykoaJGafh9AKg;a00bORU_1Jov$H4$-c|$FqIF?o`FV4Aiw~Drh=;kzICaJVX(RIeQnC6br7qi zpki8I^Hq~LRe9RBF^(87oyf#xt0sZ110|dZwQ<)@U0pXvuSUsm<6^1)>vjbp%O(rG zM~REekVeXq6`bg;dWzL*MSCQ;1=WNUFy&Y+HqE9lr9qBaZtzCSZ;WhFv6|D|A?dO8 zb{*H8OUm?+BwT{`qcqWMdEfZo5vFhBoEr1#^w4LwG86sjWP!Hh?WUC5Not3#1@!US zbU8)X@u&^4`Fa8HlJ=1Pk*PbNwkl9=Zc95?2YJnk<PNnNI zEUQ_jKrHzriAKQ!_j%TqZXGsyFdqz+yRIf}dMdS77!6+=JH{x#XL0v$!q#3I2ZN@A z3Q8JRwJ9!fyE~PJgrV$tkE6k|EYi>5m&I5`rH`t-W`g}xP^jgMINwP=5ccyVpQziG zH{9dqWVT@N#h!g=>)t}S=G*&dc z_Ql0}jv8Wc4rSay{p|JI=F)68Kg$Wz8%ir38tx4LSs>1L4;e^4(3>p<;@Tv{W-~|z zFS=>#r(O;siGdvqxZWDXY zDjoW0tLN%x;VT5t`7|QZwd#_CkU`!Uyx)jQQjPT>*FIrdJtH*c8u*vQl`I!?s%T?d zkouBLl?@$Q8u5-7+c30fMCqlD$rv|4@Li{@iDL|L|N%HIjN`z6X~iCk;%8%J9g z7S?p{C?TdRwl3$G#4W-ewS1e5SG~6JAa~ujdA_T7r9KlN?C+B^rdQ`PwQ{aO&bVV{$5a0L!%Ih zoW59WYi(lgo?=$wztbkem@J3Fa8d0k{pnnr7SAa$IeYy;7rRuHql?!!Dd z_1EIn94u%K?-1I%>tv`s50)eEgga=(jKof9x{{e4>10N3n?vhneBpjMx!B?B6kh?~ zX6BXJP%=BhHC(dZyy8nv_tL^-oStPCf0PWbLqyzNZx9*_7|zpUN%Ur~xuy`eIOg3a z;{{04wESMI{#a(fh{X63_n&}+P*iEmlD&@zeiz8s_jF4*;iLKUi&wHN-^*`yU5~(1 ze9y2CX`FfTPUAiH%qy|Mrv%^Dk8Y=p*IR#{r!CVqmv`+OSw6{qApiC>0zSa!aWNv; zdo)_GQ}6T;!X=T5Sc*rfJ~w-0v_wPnd0ji|;kFoiY+O0M!_0Z>1u`zeibzV&F4pax;hY%# zYNKPnGNx&%H}8UQ>9FT((n(u{wv%0l>7U^Wbak`)=|k)84)ZCSKC`ci;!2r>Xzig2 zfPm4nt_?F|Dz5Q1m0(M2);Q?6Wa$psf4&>g(V78wgb$*Je6x)O%uIGZNBw<2qPyL; z?a}f+hv56THNDyr zJo)ow=Tb>E&!x6cV&~hI`b*|>$aX0E^W(nhv)epbDRs2{+f#HCo@d}9-;40@Y;vU{ zA#yh0Gj|lcV?EDx)?S=;lKTs8K^9p8;f!7{kz_{Vn`>Ntj>9~SGT@HylqX*Jr9Wcc zWP^*bNs}wA3!G!|dK~j{fUk zO%k{4u)Fo?D{8Kd=krO#+pFs;MeD;ms8x&L;eRIK?Fi8{^iSnNrgczrNC_V%hB399 z^|@KFcAME0nA|W;2LzRxvtn0ye2?PacaiwC)~7)impETppGmt*V?MXCaGzU%vU8%w zVeg-4&|%9&bnDw&G&#QSKB5~bQqJTfI$cy{!Z?p}+95uOmbmggLpI}`H2NO?2_3|SSD$_HFSaUr=%RBW`qX!UmT!S+C z?vW~`BOKlzGp}xSZ8G?kc%R`!1$y6JQ}MUG&aj6d=Qsq{31i)goEG#U=YW1nHoSAx zG)BHW#h>T0oTqUu#pqlPxw&7Wzw|>xFKh}NgkO_S4usqQe*IwSmcQ(z(G?fD*do5? z{UM%tMkYEsy+xoHA#41*O>Oh2139)hJU+?rBOF;anbRpB@er>jIiP{~Rc~Li`9mIE zgFr4v-|#4->k@n>_bx$wf`Cpj5Ugz3R|7k{EZ0S=2^v?jpvQ%$0@Vx*>yQ` zvh1dJ9Kic}GR^Zq-nA*r6c5{UZ=C)4DY4KMSQ{A;ef^YswIPasO&RS~o-YtM2KT=H z#l}n|q72a_GwNWi!P)@9Y$o(Ng<;`?eHWxB-)5`+1pRYoW0s$>DC_ zE@Q$_EeEI2h(`G6{0;m@b;GXLy;s|6WmD|}PcPh=p+{Wrcm*VI<{&wW-q75Jl1jdG zV84Qt1;v~TzjZd0Y&9@q+_cqCD?e6Fx;KaL4Aj=gRyOCDKojubnW zc)&KxWdZw&9h19=woZ4{(1?Juox*4^rR!bO3<4a_PknaY@-V1n$q5U_^9JL4L(c43 zOoB5?#)Y%wZds$@Qk#Vdc!?$7PJ&60I;sO$0I=1wgze3c>o zkI!st{R`*$tK-BCvKO!)?TsHZg;dFlMRiP4dU$)}IRLuwNC0VP2SOzzPV2MEy9Q+9 zgBUB}ItNlSc}A~AZ`vMLTK9aGx^Fk-q~E-cUq+TGHF?mc0BsYUpyMximpb&-CGIzc zJU?J=HtrFx`Rt8mXV8S@`6q4pHa@iFr5$yVN|(jcIc44u>eS?vZ;}|}2;()RX<^JA zzNLGb#3)&~IgQgua-qzzz*5>gA{W(g6|wm)^A5b)fW-$6xqk8P(#!fWvw%kkrxK}r5w0X?$Rd}>pwvGDy(myEG0 zCImA27F?~lm?7}aK>Rb&0viSFj4eZN;nsX9fxv2*UB3e=0>x9b@z4aOmf14f4 z4-^?qOeF9NDag1dUd9`yhAT}s9~-11%zj#UcyMZFZw9Hv?Ir;xtY$>D)q^8?1VS$U zgqc2J{VE;sY|6~|MXXB4a$ZsC|L>F+-DK$nX)}oO>4G{z(QlTUmTt4*xM3o!gyHa6E3C)Ny-tO~mw4>J>>%hJ2(`1S1@rqH~dn@tepl#fCZ`( zdP+ykbf`16i{anwo9TeEbFFgvbNFrt#lwTK{y``MAjZDO~+nQ zg58&E&tj@5Ubwpl#2Fp7Y{E6^iWog4^|p#_S_#ms`PaDu`rVP>1{oph377E}psS0( z_|_}h{M17%caL)3=^9vz>ARg*ypfL{9eF++4|={a{uY=gj+Rrdc{TpnjgN`X7S3#f815pD zzU_t5-EIeX2Yj3jIArcOR^E1_Zypv-g8T;YXfJHp~XW&AHJt>@@5EljL%1 zvoIJ}OVpv!VU;jZQQBc7o$k-K7;KfmkQ>P84J#0o);%ZJa5s+41RhlI+XqO2aWPb- z5T@%oBK$9Clr%_@wEAU$P|I5OQ8~%l(Vnw27W?|pgq(Yo4@rub4osAb&@a19q$uk&~m-m{0v+|9%>GTfQ7wJkePCEt_r^P=|mtzOPt;a4`hsz9o zgDJZ|RfC6zH?ct^`P(s6jjXuGwv6?gmJAo7Yi1yRaZ=$1&QR2g2L|P?2W@nm!vedg z=A6N=+W61DxU!HDlaQ{b%My}!2g%ust_6GbRCpfQiQ)8TRo8D&ZO`4h zPu;bXwVg28vLzoqCYqqJ+k;)CN*wsc859BS9WyTZz(CJM{f-y z`Cb^pnUh(h;ROY2UL=zX{EL}3xGhen3+3%rNw1&;M&74;9>8KEV1HH?a4>$26eF9l z)hYY*m<;EsdF07+vA@{Kx&t5l^o*M{|FmmQ-}w>QQ+#bVd?X!jmWf*RhVNo96Cj}= zm4-=vi8*k(wkk(+(gO!uAd+$hNs*TvnpfSb$%eTsOp1pPQ9RxcA5e9%R~=G0y$Sk2ef%G~YM=Fa z`{@FJ`Lq*G|GaalJA&-zG4u&%{F_gMK1erT$tiFDVYUGrLl0}FU<8?9vPe7Fb(R0?{rhfzx#F1o=f4Q<&IZ~47hrB5 zZWgT&hmU>KScc{hgQNE!JFWHJ1}fNTXcGmE{d`#FF&ZPvv*)D_VJ61_`iVaqc1)ND zJ?P2e?}BOhpG$FF|2)C&1t#E`YHad?nO46A?_SJ|N>BL*gJ&S?WPc?e4W<~g!1TOn zf=z#QHp79$ur^N$uZ`~Zf{nIlOq8y6%O-DHzelcyL6QbXuLmu!y25=?R9P(e_$qh1b(q1}j#r=D!x^WN5_`U#5dC+e;j8~!vHyyyh+U2p?KF1;4J z9y?xTUD~|DbMbEX30t_8g9ag+a0@MO#|9D^8@U-Embp6)%Sj=9L>{d=?)v4Z;j`-j zWp%nrkkfRfC?3ZJ~84{@|e);R{*Eb@r+F!Vu{RTSohUDyW2 z+T3_$gD-&Ed?@}mPwWrum!Nu4?p2KPxiK?x>wehJe86iy+$%WvvoI@w!}1TWe0{Us z1H9tw`@S-+`2d0ua9iRAN&BMynMbG3GwO+s@h9&lT@(nk{Mrfe-zdPXlXW;T6=CpTO;7y25#dc8OT_9#8gW zKn{CBsq=uc*`k`vjcy#uBPnRTMq!!zA3Q5n+nbElw=bTx$Z%nr+>-6 z{Bt2P|4jDnwlkZ@4uI%+_`&VQBXBnI2};}eK!RSLHydOi>%PY2vNu7mr2%JlfVH`P zX(wbs^fWWf`d@K}CVyachUPEJ+SYypb7K1qFzIGj@FZXRy{v+hQ~=%S>PK5@N+xRu zthvegZ{Ll|q;U}QBs^oZANWxVLN=TCPe>qcdq*O51&1%T+uvTkijK2xNTW~EuXRq! zR%x#l9&>5mYb!>}m;3f#6AQ_|5$NFP?OOo+ri~N-dODq=ypKAn9Yuadq)xvCJL?&7tKtH;%9mrHGegQ>N#A)4r_~;{ zXVkOuPI7K%n@RqxYt^)q>n$7TSPjkKit5;r0TMdnuXbz*NSWHzu0%-CQ|A;t)5t`_ z-k~dH$?jNXs9Gh;9ExXqW63{CCNd3&C*rTHEnp5GMQNmyeU4}E6$taw0GYCe%WFNi zcmR3?`o_e6E?mu!smgd1t>c}}eG2uXE&!y=Ew%7EzVtBG#`j^=;D04 zW2h5f%^f+%?mhCpEy`oU&FylzD;5>mCdfEh>`mow169$zjzW|0Jz_I=e0}WR0}<2X z>qr#G1MVa-;1UUTXZPANZM1n5+nN<;T7=Rve#gP$sdG^2`)2mTdeA*O$2s9dn#=K< z1vjX+CizBinyR#_u*>&c|4W4fJAJFQB$pOWtY&@$^Kx?A6s_5VNFuX0UXV|r{Ff0{$ZSvz?%+y{=}=UD(*l0BbmV4T7>voUoc-{UwhTj*q41R+}G5t&5jPe899L7w#bTGq*Jg zJH^LoMm|^5N62|SUT~I=6Owy~=?2;~W-w@!2JfNSXZw@U@7Z-TD$D6@GcikcR} zP)D)WS}g_zElsfnJ&nhsb&3|F1ookXoLG)9*V_Um+Q)fHB$FhVF??(A?G(fHYKiK_ zV&atB$jATr{{gl+W?9I&Zh(TkxBt}#(?;WECi-2ZBZwFs-ue;a?S#>4bNJ$&e5kR# zpYMH+4pIB z4}3#^@KUVj1pf7Jm3XSJjnwoX9A1XMLQl!^a z?e5`O9Jq{+uesHx9meF2U)gUb7MkOxzp(NpQmft$7d1t2vNUJBr!|9H&{yP;4VCvM zFgXpfa!G~5d#NXWC&ojMI-w)NbY|j}@uXZ%dPz^SFejN;`6XWBS6K?3Sn5w`NcONs zKucT5i8@r+mk~*-0ueE#tu7?Jh}7l~yF!J%u++TmY*&=&&Fb`jn0v<{%i677v$C?% zwr$(4v~AnAZRbiGm9{Hw+qP}1^WERx`E88D?kJj3zV5pE5_?7o1~vAwEr%VoRopTt zUiyK6wyxM`^0;qjaK&=E%4_`m%+)_Z(HZS|I)_W4#&`U{)cN^+f!#i&cXFyXUoG3p6m6DJc#k@!NxwvS9kfu!TV)vb}!s{ zJ7=Tx%p}(BpIF1C7_#+_v!X?BxQCKxMonyw-k`>_NxNh=AHdlY?p=LzjQ#$x%qr$t z%jXHbZF~K4OXE3LQw~n^rQKQQ_rg6@uS<~~m7p=62VS5pb1DkNjE*=lcL&q1Ef6M4 zM#6!iNE{{r#Ih;na9bZ`BIrgXE5BY4r{R#60G$L1M_x;@JXr`hG0!8Lo=jWPbk7}h zWN(Y1%m`M)=P8Vr5Cs-alO|rFbEH@cqhLU=GyrL`x+^=B&t-^LdG(~mxcK|Fd(?DZ zjv$A>Uz%4^`S{zH`(74~)c| zMfE!X|F@OK6fFjNS7`mP7|!maQ1fGuDC zfedVtXro`YA&00rwROSEre@-~uf{a~QnjytT~~skW%^uMZWdBdIkc|j{$fEEHdig3 z1ZVEiLMCBiO>#$Mqe1oH_0jtt!}&^^7-2!o%>laAT61Ku{_Q)ym;e@%=(r3>6UDLN zE@|kKP$8KJT&&H85RHqX_q)3^cs8@k9cT{UituOc27JNMGA^4ln+^T53{WJ@Pld-f56l(a^F@EBuI~#0V>9Iro~b+hhAct zuAM!?)uet9o2bh7te%XkXJ)Vo@u9;8vL-)QIKJ~(p0;vL-L}s0U+7ZSaBs{g4o*b| zCceKYBqsS1{t^ucQc8M$AJZBE1E0I{h{eoFOSofANIs>21O*RrLN|aB6a7aaMA%@G z03B>OpeDlx&0a6K+hl)>os7%{<1@V;ana#nr$gWLj_crB{rk3pkG%orSH~BM)Mhii z>;ee*7@7e-?O?U>Y5^FMgrZ{Dc4F#-@;S(9@Qr8xCTl8TQf@rweLc(vIxCBgW*CHh z9HdrwE3V90jlL|N&R6!s2_5Eb^$+*MB;_X4Q=YasTJmD_-#hpn(+_ma;bw(bwVI*T zmBYq_Y$1?jxLg|gX1G^!O~-Kb>xVCzHZY`k%c1aKE!ee7sJK+d+Ai*;?Z8ZzSXzfP zyGMa-`rUPv8k5G-8g^>EOex?NMOjPMMv zSSBJiMNh%L@468k;ZG=AucPzI$Y`auS-XOFWe$Zuup*cDt(Q;?xr-j?)kY@l*-w!y zD=mzaYdWO{s_1j^tC5WN?ns@X)<>qow86ZpcTpr795WsGJM`s2g*Ufu0@dSIatL4<=c6Dz(J zcPT;&{oMFVndMZ9dag`jl*+vAdh=L{t5D@N-Xes*U))g?RfNFQ!iuGSr^*5OVpiJ1 zFS$jIKK^I*e3^P|T;m@>-)B2pp0NgC=z{fTsMpmu$p>j+pVGE`P*?kX{!?o3KyGrZ zSr*nw^z(6egTBbaj=AtkIkSG^h-VU8^JZ7`$#ibCj@{~0zTAF&=C!Iq++6;6Hz}qZ z-GAji&6m9IujPXM@>0n|f zF~gvXRX57=S^AZJ0x81)ae~Jn_S0MbwC7Gkc~EBQ1t@44JO|GsyP!+FJR@>U+Kgf^Z9$m6y8({PEqbQR@j^!e~3Xz1Aj z`<~(TfdrU}~(s3=_uc3!H(gnNWz z?jE*39iZ;5*#O#yDDc4_8yOOpUBNt;S$iWWO@_uhp~exlH+3ZLnS67_&j(zVjqC_o z=sS{{9!uXsYzZh$mMyDb>MKi5XQH2-Tv23!Mu!FH9_f|TW%3UimoXOe5&=siqdp}l zX^Q&v&XW;&VGU8BMRcG>P6f9Of`p4N2ksM6>F(jKZaui zYVdLhdum6_km7=^>BeCOVv+Z^Stb?>Ea#95;DSBG#Vf97WiJ7R$KL)9c*>sFvMNJM z!)XhY7}(y^-QAPPmCrZKgZuS5^>6dJ(MH|eWlh0h=Jv1+O)Qx0^txNh^(G9qph_oyDSwUsv4EGAYb@ju06+fM-` zjwrJDu#Yo)P`z?o#*@@_5~t*{jqq*wxibAOElJ2*)AQ5lAO$PE?*e>Nl3pe_&MkKy z1k9Y!Q-2B8uTD&rGNOzZi9_{@Ba47|R5WLAry$%YS+gQEh$Iq%)uizj$jzce3=E4m zTWVlIrZJ`ac_(TJUq?`S?!}E%y~RA}!wjbRf6TiZ-ZDqrga0%8PyItGHm(v4zj{R~ z+pw3iNBDhXCq{y^Y%o``-|tyW>;stGVQgIlObnXcs`K<9B4%jUxPfj7t2%e zWA3BmT6MDtV)Uoe=8eb9n1u20`pP|e%=u8E z;K997kIqOE4GC5rK>o#(VpivlxJY<6Gn-67iv~pE!0`Hi+CuWv*T_S0mZ{6tmqY_c z4Agy^i;H7~rh^tns%lHuDw(86V2hOMpo9Nvsg&IUl|H zP@4=a`nAR0dNIY(4Y5@~TAfH2Bg1QS?rHl>v`J$pn4R&2rfupA$Y>R{$j*REZV}BJ zLWue@BwF!z8UT16P(mI4qN|zzwfiDs z_99I>2}acxA#9nvHmaOqp4Rc(Dcc(+RHK(HB^gfz<(zwLErvkhOp`(yxA3lm(830c z;ZL%hYIaXRrrAiLu<2RB>sACh<#Vc}Yzk;PlmGHiaP!nOg3>f*Ld`-}j?a%(se@Ou z3YXd0FQ=dO5UiHxqn?!CJK-?A+$&+m+?ZGfR@PydWk_DAGR2pOZhb7Nnuot(Ggs;PfCt-lM7<9l{L4h8oUO^T2^*!8+onVH;vS+w%7z!gS};oq4sx4ti#rg5UO`lG_5hP_KeU`!RBbkr3U1` z7VNbFPw(pgh7o*5TaiZmVM+f^5NP16<1vHsk8JeaIPK_`GN4VJ4Z$ofl;E{Hq@<+F zud~T$+A#lo8FrP#LIzCN(GYCg`C&tJM%bV3eK+CSPW(T#pueo*Tk{-=W#M+erIGD? zQSkuphhk!2=mC&z<@?;x@O{*d>;J=7g4Ci}Wbr}4L-FpM_aTswt}k3?CGoSnDm8Tt z#!#QbMFiSDis@Q8|Mf^)RA&vUzfR+!hc-mwc`J^qm%yEj{bk* zh5eM#PAZBgxAb*I1%kgse+&Hxz|~ry<)$Jh-@PiTHHJCDzS%Cb(VF2v7E)kz(Tv65X0xU z8+e;y-0e|z_rGN6O8IA{`_1>yo8I*#*)8l@5a?n->C=dLVzWO~f}=>`JIvhen>+BQ z##%Ing?i&Gam5lFZ$g9;dZ$5F^{7>vPsl1stG6w=qwaFTDEX`5@7x}n9kV7>cbm*3 z>O@JDP22iAe7O#w>M|^bx6#=sy4xxQg$l4a43^{j-Z2rAn(C{c7JsT|wp z4{m(>uW44oIq`*Zr>5!}XE7Ma1{t4XUd`E^A!8pPRjtGCWF=%L%rgqBrK}*e+V8HnTS%k%d?L&Ieow~d zb9i*e_V*YAtg#@j4=3_GQLlKf&nkbw5~woF`P+I|Ro{y4nl2lzeZnRU|{Pmf(!#yNO%_a0GiytV+NEphh^sN#0 zjc;Ofjk$fIg7yeJJI1myX9G&}_~=N6>P@IbJWh{+E&KGf{KJ|P=Av|F-wOg~g9c56 zOyHzmztsd0kwC19AwC0zKIzUio19l``1KB=MR{Fn%39@WWZT#G`|gZg%!KCte9Z~M z^Np^vrb@5WT&Xi26IqlDLrF_b-OjM>BD#OJ^fN{bz~3CSSjVkFO-yJuVsb?O6e-gT z3FA|b+$hs_VvC+^5QDk`@5ly1$ICsoTe>foE{2_E{?J4`@a+^DoKv%^-62jFsym|< zm@&^B7(l1fB^>+ptZ8tH7=~M}VjfjZTt~96 zv^w|^%ma2!a)kb8K^A)!FJks5Y%aRWW_~q8ytbxrZUxjlIK4z5+gO0yQK~FA5@z6>TO9y1+j8MgDz!KQvKD>@9aA(lZDx>jAB`Xb( z6lS~Dzu8X~h%d{y`Ogmy`3KyB#c=e^iV~6*8@g(WHqEF18eX9$(j(pd{lB)n+5AP~ zUxv=u#+}<>RG+13|3WSov>(5Yqq`j4Tutc8e0@6X;JJTQrXD%DB!${w9aWiA*e%!* z+MHnB6;#sQ?2j~mlN{PX>-oePPK)iNXWj^1uA1knn-;AW z3&Wl6Z20VC+K}D)lF=p^o2NHB3c=Kb3NE$`2YDkNH02Lybe2jI`AzqdbJ4Su*Lp7|Zn&cQJ6Y7Y=vb zaWdW}iTqA~g13w~-RU3B0_VVvr;8MxQp%2L9!2nAU<44q?aXU@RJ0M5`ff_jkXSs4EJo!@l{#V(L;cCOFiQ`GnuClAqX z=2j0h@>9<1zTeAqMsIq8KaFP7_o_M*San@Y@?O2FU$<#H*kpS6P%A6x*8E7o@FGLo zUY~)6cUK0zW%VcTh4d-3YnNed1*18Z$Q@)KC&E+aK@r1=%MRwUNUv5%?;Y3r(xht3 zb9k9Z&ZWQh$_@9$JyZ=IFIIO?Yf^jDtbAv9w?IvWnzlIP%Tp@&8pmSGTFuwLCgMzf zS#i7jvF3+rOGe5@6A4mbAuoW*K)n1pu0dH(egWR!2X1q_B64m3&|r5zTE`sj{{AWJUe0IN8elS8Uq?UT z&JeV?mrrIyKxFA7D*-;R_s8@Gfy+;Vojs!YlUYZWR#}-fp%@avBa_{>PhS*hWX8a* zPv5H1BcNw(e#tF-iiThVThf47h#oziD?q{&U&Zp(vjen_&R8EjX4~3HMy77j`FmYO+xsyd70(YV)?ObZ(U@Svv8!~vEUl?%y zY^-HItLVE8{A#g3sWI*<`zfoz4BYy%hoXP7Ipg8%1-iOaH-lQ5(i<}HcLSgL0RVii zH0z?u@_T4lfX(qtn`>Zqu>{CoX| zqIeU~pV9B9Mm)gvE(=9VH{sF(qG592_+p+jboN-5FMoRjK1xk*Q7$DHGB=JO*PdmLfmip=LpuC~f)k_(fD)aaEc~&RoC42P_M4@qDxc;ZL z#{odj*Re{8Tlno=QBN0dX;=oa|6gI$@WbJh+!Lz2_AM!(@KS$@H@F80$m50RQ!3a^H)~+V*@_kY%K0r@zJK>>L{7V5bVv z<YnmgP3l_ead*5gB(C>w7PX#nW7+e6|`>)UX(qptq)FplV&xh^>IUe%JuWt)7*?a**Q4)Mrx4^3>)_UdX?uY23(_SOJ) zc2G{OMNjT$8qVo9<|8n3Kg%wj=;aVTzka7BlcfRYJE`T5&%<)ygaK7L=8bt`L7$qf z3tz%?WPfA9NMmfw9w|Fhpo*cYP)Z}Mxuz9Zy7L>g+jS?U9St;Eg=>xp{(g2(QEXBs zJsmwmOeH)JnfcgB0~sd>STG3MggRUVxia9CV$VsCt@9v6(HxP($~#zZSSVnn+e{Rx zW7SK72`1|KBM2yfS45dUDD?WR;LCIt6DizV#=SRW>z`SW4}FRi1N|+rECDp+3HjFN zWyZa-lkzFc<#Vrfw5QjBmmL{w@5#K%Ucth*ALMDiCXI(9bJ;VxwMiC(_Y>CMF~W8) z`;`%dOa%b`H+2r(Pc4F;0hTq=diBl^ZlzwmI6y!=e8uzh^V+{rP|{CJd!0 zog#|2nas}SI&tlGPai;i@fz5ywVS;Z^YfbwI#Kr;&w2Pj`*uuq+@B}--*~cHX09Kg ze;v3{jXpohn!nylx^&w6*EK&%gH|vMQBZt=>ApV_Xw251a8VpOtxp)sw*AedaD;Ncxblv)PO`O@IxlI9G>@HeqWH^i=cARxV8qffA1pP z2osGqm|%WVgAo6cr1aczz=hz4U`a?{g+(+P<-q|1s^X-onZblI9~r&3Vp^qAdOPty)JNC6gdX^QF48z9lD!C?4;-3 zIUgro0PcI{w<_rVu-&fb_9XClX|{K18ffRlNUr*LWM{AhgSlp-Q1iv^!QZho7)|Hu zP_YkxX0hI?IGKUs>i*N}YX!lIg`^#!(O+xqvcR@ZzhH4_5Zw^W(-5_^qfDlW*D?tv z+mIpY*9E)K;|z?{uleioe(4{`4Xf%bx>FBk|HGF6vbNsw-oT`5%AeV5p=VMIG!nEa zv?dIm@iM~2nl2rWsxq9zl8e;eQfdQIv8BFVmjwddMYjAsDip+wYxmWKFoWh1DO5po zsq1=-$FKWsC+a$z>4*e>{OnPtMCV{J$`&E(h|S+wk`*LnI9 zJ2+u5lhXp}oQklS9|hX9oML&zwwK#qdT$sy)h9WsdI(Gd$0P0UWanclgh5^PA$94v zA;>&DR~<5Qe<35{0nT`iv>XA|TcMb+icajKJaf2%_7B{5p{Jr=(ah^A;?&~3xl%<& zg4!(XhcG-?w$AiVlnvB;TV8>eUH_<3nWl-*+yoVT0)=PbIVo%A_MB#G7nw}rDlnn) z?&G?Wv3E=4Bvx2CIL`w&B9j8?<*R=gyfQQY(z~u*!uxQ2Z>n|&Kgq)5;vL>$ zS^u>H;ih&~a4;iE|3WJ+1E@BeMgILC?gf1&>6Rb9B0L@hE`q!=~Y!L{h6xJre}L~o(+ z2d`EI8wU7}Gv^6rEE(HcotOdQ;F6MvWUp~mb_NSSZ(iIY+#PBK>Ad%&^QfQ;@5{$G z3FDmV3^8nBQ0(Ew92+gUQWdY015aF$m&hYSBaRy{OdH*^vr~+gyJiS(RFfX zSk>A;085p3az{zd37kv7s}s4(C*xHW?JoIJAYCi3ij|4Ei_*L2Fl{(oXyIXwOLKG6 zJ0Y@$px>HPQ9$~r-3r88sM_3im5lQBiY z^##x3Nb+inW(H96eCM>_BmN#|%OebJ(H{&oTlz=w9g$@mf281C^dK>*ErP9 z3F##G`C7a~9_3(%Tsp@dn%**pG5%ceVpHdIy^dp=?Jd`n!7dMd3W~01XA36P#~X&8 z3t>?=$Ris&c;hg3K#Rm44gUEbNg{z|# z93R0bYfL>z$v|!tnJuXw;p?cfT=I(1k`FYM6-|Q^WrJFjX&&RK&J-uwo$QV?W)f{& z*{?GAvG6&E3+b^)8R@>JQX8WQBjyZ)ZPC^eEl1Anj zpX!~s+-AXKS`DFe!e-*y)e-TN5~7! z>`Jv}v5@XLDyW@St0PX~(QOSK=kNG4jv^`=mjc>Fmip2MoVy(|TORVF!$O&1 z!;rXoEmGfs0*1;zZxsLkp4c7lpYpUl)tRorbYh48{kyW~&>Iz9di-#=8k5A6IlMCF z?22XMoJw~;M4@#y%ea@Lkghm(eFOF0(`l>k$FcB}NA-WhcIP^_ir!Mt4BWfrwF9do zd+csTXfQBrEk1OyJoP3Rp;s*>Su_4g!kxT4sAXOFB6W+7EXO&UcY^U;VqwW{{FZ+_CRLcO9DjieC`sC69 z&cN`(Dt1Iz#Ce=SpW1-){$o$f3S})D7=zTVhDk9pQ(2B<7^;4}$-?>M*ah^#tu^t2 zrNH9m9Iyg?xv2Jpgn*W=^wDg4enCBCdZA;>tKWe1#@k{}U`)qFsj)YMx8rP7bb{ln zfw>jIDQi3tPnz&(++J~)$t6tt9Ll2OsNdGXX;pQw^Yn?7sxFU0%mod9x+(oiIrDJvWOAwq)v*J;1&t!O-0nZd3lYEg9oa z`YTrUQV(}Fw9N?M4|#_zt3xeA4i*hAj<-Fz-aap%jp(yE`k_o4tGjGQ6i4n*qUgeg zt>wWnVKTKlaDoqlx)|2mwli4D1`s2hC_%|oI$M^#&bQPoTkJ@MNA?_+C23lkR$Jf% z|GypW?Hy@tIebDqoqQH?SWn4W6`C%qI4<*v9?cM5lNPVoA zjs-8UTyUrI^YpsWrRSWO2SCPSazjJto}3W)+#E)d9~MzNJ0nZT*3b;E3n;CtXK7Vq zeN*UOby*#rOB{xRDMB6|KYi%b7*+3n8Nh_Aqs*r_swI%EIZ4tj^sX4lbX|(bqa;Ys z%EEQ2b>IVSk?(YqQ$nVrY%LsD$Er1{C?yl07$({~`HSfbY&;+xb&4cbx37?GF<`-v z_o%&XHS=Q-5KO#TRlKwZR-f!I!{%d%diZkJN<{D*K~A*2q4^o&7brRorhXzbC9Scj zd%%5WAjXaR-;EW)=He8vJ<14%@cD7C3Lvs1IOso1#fH=7pN`c%L9zH@&TgXj}}3akv}ND6IVk+;}}D3W)MqWB=p#} zERQr%T%`=;4w0rYBA?ogoc7m^QcfX7NndJ$v_j%v>ikKlo&cTibX-Nw!(tZt5Qlj( z>nt+dn*Kn=Utvxdy+^yyN>X-KG~;qlWIFAzU~nLAWvM3==BEO=uo zlqwF@dN(a5QJ)GVtNW5G2pDHYRRy8E3m`o@lCR~!uCgEiDJjwx5`-b8QvwDdI9U1$ zM^ES#Ln79fi-1u^5gm3k9ieyUj zJbM90g*5gT{{d*miI%PSkscS+&qyn((h2Iz-QN%!tIBbimdGGW@;X^ryp@uM6!~PO zWn$-5zY+)YcsS7M^s};nk}faBv=!pWUj5jkLZ?D?&Uyn$PUmkQM#wUCpFkk4=T7<4 zxNnPzglf5)&=*?-(&m1p$`VziVtaj~kIlr)=sk21_b^ z`mT5s8-i`b5V|d~3fh5ogd4eMN9xH@YaUtSBc-wm4uA(3I8KlB@g%QDX7YX3pD!;i z^2n({sqF?jDv%-A$`j&61z5lq>U-DIOvXptp5UD=*<{R1R4<&tk3Ar=`4!iNW9p2Q z?GNAji|VD2#E4kppDa;)#Q$JN96UoSt2ithGMc`(=cz&8XtJ5AoYCC1!M3G_Wvxl! zWaf?W!M`?i-7KGn(I z)jc3JrFpn6hRAKrmMJJ;Gc}CET;&?$b_XY72+^9}i&#w0EYXf!h@89SPkBDMVh3V+ zX-?yDRP9{lTx8_7rR!`}k-?OVj=Uf4P2={t(lF)3>a{-Ij4V1q{>(T`nIO>XtLRJ` z4RMwE$oMzJMe7idLk1ocVoD}~ih#d<6ifgCnEaC6vnCt~txY#P0(nCS`1JWEKxRzV ze=3U%P5S$SJ?IYK6=tO*=l9+JB~WZxemBQ<9#!at;gxLRN;Hu@M>o|t|7sCZ7 z(24ryw3@oBy_j4mLCbdEUE0dqd@Qo+U(sg$-^IWH{wX@Ey=+@P&GF6%1{0kxhg>@U zE(2$v{0)uX_lGdExnGjWw!El#e(eVTLyJZLw(?ys$vK~Dhc*AYPsLz589Z=MU+fF# zZBRJG^CQ;@3H;R7VkKRzG1R+ILGH%q9GW)Hzn=Cg$(iIo$;7Vc)TPD#^$%gv|1C|& zO7Wl4bjyGKQ<}~I@ZZvO|7Twqh64G`b61W@8s=r<@%?$>E~3%Q?xUz%HOaS4iR)&W zLeU|9fmgYGsf#|cD5$T*_&$X4A|d#4Ei7C-FWS*SeG~o<9gGYA1#IN}>W+9BUAq%+ z4ch5lZHt`3U&l61GnbmTfI0y}AwsH-G=X<-?`PG|9?jq2x~5QB-b58u4M+B0OGNyx zhC~5Xv%3~#t3@Ru-*NSlUZ6j-lv1?y!hMk>Bch(K-MlI;XhBXaZSy<@J_x^Q zLxbB-%kufIMEuUn$-=GbxY)-*nOD|*+uZ@In})ed2+`fpy;Gjg zDb$HAP!omzUjbdSqS5O&LgIA8lnO_)Z_9%$^T--S80@%f18l|5yb$c=#GZ{_DNZ1S;}y5(Qerf-dB#X%qyb&cnieJ3gz?SMe*Lcc=Jrr(*h3@c1!=dPJ}=1AFeA5Oeo6*K;}VZhNxu z;qWtNCLqX^1sA67ZAB^ce)-?)Prq3d$!3Cd*+kSzrk{9ozi)j!F6Ud1mP4u<{(j|Q zLjhWYh7%@^MkT6nv4APPLDOM;e6DCYLtJViy>@K;BcsgHGXt8=AJ(b%{gg+EXASJc zr;67My@>4bF%=0kh|5KyS?}bfQBSmA9`!INxVeV$)`NhQm*-3j@ZG0Zh%z0oyCmPxxJMNuDR6!($(-clgC&YEPSF^R2v zQ~R%CixbQ5{FINqQ^Qmw#OhKNq)K7WuQyaCR>?1UhCx2Da4ZBFf0B^VPYVl7k-aS- zN@wz?lNLe{boqdLj&nZa=)f(080#Ki@1xO@)6XBWwUMx7)URbKIhBKjss zrdSh`cbh?($~ecVxq`H*11WJESMTL!e!D2ir7j%n%(aiS7_vY#cl5arWVCdkP?Fu3 zFmI=)8T}q>fHRC=x{8C=J<4WNJem5Ol(UPBYbSbKCfjucza&oitb<1sy9KBG0$Tbp zS#H$BgT^(^OIMRFxTl3`9d()`yTbDorK!abLPt4PkSgN{MvtuI*w3Gtj#RTYA|5mx z8Lywud=Y)#S-$bQS(D8-SEs>Jrz21?GB61Eb``};?^OdOi-QNaVU^o^c5BEwTmwi&6E?#Xh1MQd*tB_$@SvWrx$w-r4b;^bB)$~qA)doUg9jox2 z{9m2`2UG1;_bNO8B0JDR^>BEzeKu3j;j;4XGN6F0%ok$@i4kR56RA%?)I?c6t6g&4 zD^n(J<$*(~@dgA?b>j8NRlUl!FrtCcF9X9R??DugU_cCag6hKud~Qdb&!Hs6{($m+ z?$gQD!+@ghFh%0m3n519x59#vB<&*=oKi9-DfH07?)eC9`(&zUF*Rh7uImrJ*Xi@R zkOVsqzI$~wWSY6wkDl>F;5(J^zH;S}p-3|*tO5A=yU80pdP4$GuZ|j`Lx| zkC!%3VYUUed?}sM{26HyGFdEnX7cowH*UHRW~>%zGIKlEc-xWeBy^GMmaO{{io~^o zC(Q9;^r%#+G2;M%C`s*n*6{UPLPq8*TTQp#F_KL@ujSi_a zOr(*;evqX~NoGK1`>awvl<_BiqY#$rmrce)FL;)*vD3~P7H8&^Rli9;B5gwF!UIse>H9J zxe`us)`An6s`OR)%n5qw3rf=KofeNND9$er%@a10c-947%o9iXIR+sw_xE+jD5vdH z$ONOQp?rTa;(-5WZ^d{xER5Qu_Aa3*`<#Y|@vL&06Ri&2se!)jBX9)VxNWjKW)O`t za6Xhvvi&H7#A{M{X5=FNCCwh1FpvBxL*LCR5cUi!d1&d!+Dl6xDKfB0xicdJ7Y%z`nfr7y}SI9UG~oNBL-^z!frt@HVM0_jUCvfS_qSyJVZ zBIh3qh7CcyEtOV0=6!P<^(+uBI%s#%+vNK8E?v^0jN9a@gr>7Q>)A+teH%FrNyrAU zdFhLDl^+%>7Q?3cx+~C?O=SomuHCuE@4JM-6Zj)oFpRqcO+5nrf0c7se9RBC_iQ_` zaf*@uq+a}6#h^bzUwJKoid58{Qnxp3{ok8IS%5Y;2B|NhTYBk z(dxgCj09^+v;lG?K1ZS_K0CW}LY8XU3xD(7kq8qsgoOvstCR3IWY~ajUbIFcg2nJA z0Rzy+iwXwfJ^626E1ql1tdpKSPfOVuGnXOn@CeJPKP?c#gmW4Ee-WRCg;C|(kdwvF zS~3U=q18Iskl^qe&{13Hi-X~VREX&bV=N{5Dg2D7IG2E3RFYE^AuMc6Eh?!=Hd5rNK4%_ znJ6C{p5ghR3ruF{`5+aIs4#a;$(H11p^F=aZmRK zP9+Syf&ved>L%RsAB}VtJdfe(LHt1;k~j)Z5q2WMwHyA*U=G}gs&-r+HCC?QCA9IiusJLh7D^=bx;cdShA$`>f1;6jKhfObAq+TJYr($P5? z`?Bl9!+`7ju~Q1*{&FDO$TFpfk7e63-rgN*cNrUkD}#Pp ziv^&0zfavU8u1ytn=aw)N@c9u>lnR%s(%jAu$f9+Djrr{5q`bzh`-vtx>us|Z?E9O z#Y}mC|22KSj55>}Ht%wENa0Ku-7Ip?A(D{GII*$L^`;PO&?8(@TQ$3PSBnv2ZZ4a_ zx(C03#t_=YMT=~pmq%`+5PpANVqPw`HtT1e;ouufzzy|C+msx$`U%~16#`8ix{~dg z47R2&BKdZ1{fH^ctY#JL`e(qZxjsuV$t3ti4QEm2Ev8XhLHJ1()Iq&pDoXDQtD-q} z+gWWm6i2cG?48;)8XD(VW68j#QJ;#FoFW*%Y{;Ts9{VR1L_DJLk1UWjScegmK`mTV zCeRR*4K-%`ffR6(UsA~?&_yz&TdeeKr@dPbpl5<}Zq|?aLQ^n{Y~9mk1m_lHW`BFQ zVoXFf8T>?mPoNL_>dU1pJjop@LX*YJE2Gfy$;6EgG^{pMR5p0I35e#Br21n6F>#uJ zaNV+WIt5@_#--uHdI73}QVg63OzTt6iw_OI^=R4Q5=YgZl^UR$G zfbpZPPf)RG(AMbG^!mx4x1eq`-@knmx>48lZ-MWTSH_SR_bcB?PffcmW6QkDkTR8k zRy1x;^h67j(R8``0Gn;p8xszPR`ErITL+V(y4U*{V0-GUlnOW;6-vyM>j$Tr7 zGC3Wfa6z?0Q$X548LkIy^2=7GEFt&>Z0lu^mw#?&2 z(0AH&))4PMi?i5j)|{5DiQ*#d4oJ{$r{AP-NqmmveZdHd@qHc>#z2EO)USq#y>wFvHrtakd)d|e;7v2Vpk$Fg z_REW!g;SylFWB>wRi^~MV4+F+X3U$I$bMjIoQEFP`I1O$Ka56nd0xYuM(Uou=#$QZ z;HD9|#G*8bsecimH;r?h;T^{Y0ah>^E%Q1mepeS1#UCBl<-!hcB$%w<8QVltsbhAm zw^#*6AOz}oO#562MoKICj?0ThX%9^5bh#2MM#zl`Rm2J=;Ybr1N<_32daN%Hp zyEMOfs?_p~odT9Jl6jdci?r*p5XPD3BXtHbD6F_Am27pZjsDBsS4H8=XiTe(=0I>|$GwK%3h>!5_ z1~KLiJW-Ira!QZ6@ceE_t+}neu z@a@OfMA#eb3KOl*CAZ>zwAJki-A}D9=ae_!Pblse=HkhAndZGA?k=7XFVt;3-$z<9 zP+P`Fhnen#kGS|qoy)Fw$Iq0#l>!QkmA2=NuKcE<5m#G}7R8(Hsg{+ySgo%)Ca14z z4BBL*O}OCkjqm8n0=wj|&w^XBw{sJ}EuS0a%B7#|Ia{r5^+#?uX#}4$zL8t&zG;!g zKX{4kZcKwdGx_@83LM>|wa$Zxn+Feu5R~$Vz1J6ZWpFec7_dTn#XmA8&JEewJGT!edGQ94I z*akfM4FxI%!Guc{EU5bcBqTsA6EYsCYu8}CPEt*mu#+qv>D0vtBsegjFlhtsi%J{N z&E{fc-)3$T209^&Its+_Tibexa=No#pZk)Twf1#-=3V<2JKYEcDl0-ZSO()IoQuR3 z_V@>CBSEcLHH=y%0+@XT>R>{#5Z2+O1_z94d19!=Lh;@{M^<%ed%n>27*eL_EoE&qDL7l9Zu zwy1>VWWs%qM?abDQ$}75%pKspfsLUiuId=cJ=bfcSLY)mk`I)C$?dUnoz_P#Su&67 z^YKCedb4xo9j9rG+S1lAH?|(_$WV(;ekAPS+Jc1g=)yRh@b4YwEbQ#pd}@2>@E4Huk@w!cy$(LeejSN7Pj2zNR}m>y3*aRKX~5MJR2kSa;TY!a*LLJ``&eD+I+or1Kz)e#$H;Up({{5KT4j- zW_X@{5&H5BzD{Z%IwEMrBrYcWs`M~}FJ&6Q*5UqOq3-pFjb)#)_Ytq1xc}gGeVb6C zPu(;nK%dFwA5`jn3)}Ica(upAnW|Ne3IQa`4@Vc|yC2eKjE%VJjI%PbEQRNw)45)u z2eEx>D?9Y1I;upDkpi|s_X3W-_0AWy)sEUpl~aT$T#F|;T%f%DF#4q}uCl^Mw0XSR8fHrPUFQFxA zMWF&V1*YBHoVn8(mwzr<$$46Wp54Hi(&3m$(q-s!H;GT{ z*0WDFVQTI1{^>?wX^@kz7&HUSrGjriQq}*gbEx|!OHS$T2OH?uZiBJnu(0YeoQ)yG zFj>%)(WNBED_lhl;WXlhVi%oKrVgMC=WF0?teZ&|Cy$6nkM&3)TDPmWuzox9O6PK3COcJ>o- z;1#o=u;deGBK1!qYe6Aye1Ma#)Flp#@)L+?|MJ0L0{_5xZ&$vo+Ps}>wmvmGHQc+J zPKXcy!4A;gp$O~hy!Infj#~m_85Z9B#1JQ#K$GI&GuC^c^U2MP<(&Dx{cMx*`lwC& zUh2Jnv|O?K_xkn;>#%Pevgx}Y`~3(TK&Wl>m<3aI^f}}>3BR*{yhX^|glgxL`?CE( zI*_g~O~_dK^q|`Y&Eu9n*QcTE<~&+nFQhu;n9P$K+VM*Gx}dwec0xtTbPxLV z1k7{y$($5%8XO_;WxEufnB@lWqX4sz%bE;*Nh(f3ZT?BU!Y4wIrGI%el8gj5)8i6z z)Aa(o{c#F>;@jlBH5Kc2vq1kg9jjYdMF#{m;}feSx49SV+lFWwJL0Io%QUtt=f31C z(9O@&^%ww&WQOyNzi}}W7O(IQiqbM>4`3xZQ^ucu;TJ5O9@*YUqJ(kYQ;GYFg@DYlbU+K7*0C(87I0MU^#d9u>iOKO6T* z$EwGhUZ)a;mZ=sh#JwpB{;N(OcuiL`y5OdXsE%c!i7X-Be(X?Rm!EI#m9ckqX%w9v ze`f!473J2^5r*h)&vp@EQOiENz9o*&)npMa(I;Hx164ZZCn(VXXVi$20M1Wv1{66ny5M*hn@5H;E{rX-(sVnitNP>djEi~$uTv^TP*)p=M=r<|m1WE%T zk6XtX0qRHS{hgX%^czihxy6uqMZVN_2Et3WV^Fodl zx<`VB;jcXjNM9+<_WHFKD*D&)Z6dd zCTziA`MSQ92HUuK=UvsiPFU@vC#Ov}NOAoQGGu7r?BU72D>*EnmRz;X9(g^#b(k~8 zNr%qO0j2~AKvG;igM(ouA~Ug8VB{=Y%u365SE5V_@*>VT!2}l-OfX&|Q{9;Dr%i*# z?!=FszjZj-P6GY@McDRzl<0LcM56z?7|HXpNXz&2&zs|g2WTKYvg>OS|JcS`VkSMc z9Q?4ewe6u+&e5k##!M1@G#C7K8}0N_O|xHosN9i%KVGz&->nZcXTKd49YAlZVlJ;T zUlbcbW!vt4PV?*-D~}x4XcS2fkz7%BRH}2(e6wwI-i`S7Deg``6BxUF&`6(~|M1Dj zTglbG(0qFqIK?|=8ykyvW)}ChO72kYS2EZC>Q-D3%vr!}gJC|nm54|&N+Bjmmg3ds zrLQPNyGLEi)cZRyuh@H^4YUOBP92Xkv$(f>@|>oEoaaWXxZO-uf^HgVyQ*}fppYCi zPTzT4NfBT(ck(-8tV#%bwPrifJkQVpB@}ocKDC{PRU-AUrf1*}ouJ+9P{U%FCnbM< zdT1$jX{w+cJ)M3^<%b89LlG&kRw3->pv2B2NA}P!0~Qkq6VtiQ_q%rb`j*Y9**N@% zm`9bs9%t@pZ4o$_zs_PbCisU5ePV)ika-rIw=E5KSe2F_*-MZ8Y>El17C}?0FiHN- z!#Zb%_Kr9CUoDs}sL0Va+qph8zf8x8>V2-50w=KHAfRDH6P<$Ww1g8?Cf3(c?BUSw zo&U3QnwT82cSHKlu5QVq(L0Sp`fr_6xMd(i6v~<*CXcuHWJ^tmdQPBZVu%4G|G%*M?$3!uwN(vy^iiFFN0S}fo(K&^aB~(#X;owI zOPJw!-nPL?=|mudC|R0qgw&z;rj;9iK0rTS$pT>bXa&{W^kSa+i2jAM*(BBbq>^GH z?m7g|dBVF*1PhU;Len>LPq2JayBPTEdn?S)SX_1}=yYJ0_JZfkD7eHzo{Oy1vB z$Bz26Ca%O9P;P%h<(`oC9KhYKGl~sghSHqe$d-|q~?*`q4Aa0(#I@{LIk=l*#u#bcIN-^k5Bzgh}1|Ko+Seg zD_RT=0@TBMOZ8PcOM(S<(cnpD!F07}f~GP@2ZR$fB%xpyxn^cdxGu(U0T|nFfdg}A zy_y{D^S8A>*Rb!&RyFy5kdbkWH+l|dlE0^UxhnNJG2xPUnggx*ju~eeJ|6!F-o;sE zV$)u#sgk6{q1wbWR%hq=_KaKSD{vle$+oR919N=DEK7c43K0KNOM8(+*4k)s8BRO* z2=}J`gl<0ES9)xPd-+IW&}^a%7MMR{w}HSJr+OH>-(7S_(~fv&|Cby6y6>hAk0Ny1QMqm^vZ zsFYp~yb5X#=rZms3*v#g4`{4!6uP57v4nO1UbX;3X1ONe#tYt30;*_(*=!sc!OZoh zG&x1$9~-1tTTQC@qC>B;MUSj(*S3~zf$WZ3ZFCL9n7z#K!mC@Rd2=D*m}F}Dz4)yz z{&YDPS#eM|FJ!QvZ1thWwx{!?pY2XU za~#;;m*&`;Yy#&%bGZ3fE}|(nL-CA71_EnxkrIs9DUKj_xXy?-D2*nCIR zaq68^u=>epb91-B|BWr?qg4_1=^jLw+_Yn0&62yMvGga?0L;PJ?ZxLI_=Fh^8;Yz z=Ip-p?|UT}7&S2Q5SI}&Op(m>VKHCmonzBg=j)2l`9w>1!xkx*niJ;s;hh;Xw0E~c zSa(Mx?F<=Du`CQ7tw_!4J@v$@RMUBC(Y5@z6%%I*oC8XN>o#zPiYFUL5zy-75feBz zOUyHDvn$=jPFNl3SyKhPdOhQ6Ai#gt{MASZ@P^RUe-)Y=n7M#$5a_zXdwg&ljM2T5 z5-*E7hPN8va$*Fl7Xy1iI5s~SjTBn%-&FBtr9h|u9VA8nBh2?Nr2+YH22n3 z8sYUbc{?qhPNryA7E(p{1?A5L7|#gH8P+xBG4a)m9^!?!3)0Ql=2>Uz&Fil|Tpv%E z9oM;W&#pi_X_}rs%plp~QARWJFMrJ-BStmEDb5|*Uutg%tql9|imY@I%8m8~UHQc| zQO&aG9%WZs^e8BRHG7}*TO{%gr?hF9U&flv*xjDmfilgnaxfo(CBB3z|NgZiMoJD^;Qafrn1 zFhutHc+ct;`QisvFs%iEd7PD~3N{>V#=s#Yf6!To7{n-|-led(Q+>7?MY#aR?5|3` zD`=SKrj2;Ls~yjB;i8Jk1jqbg%=SBUBKGn}tab8UFXb^~Vw(7HDBhttR0FG6CDrUR zRQ~XHB6KH{Vtepk8vUF4~yw zgggFR+J=U)mv+v>Blgnw*Y*RN=3n#XDIbJBql67qIoz%>N{E&f{PqE;Uj4a*$_*d6 zheL!sgHIQP_uE^tIkclp)7$V2OrOLQ6DsQO_xe(P1o%s1rtUpB^pWQ@)uuW7KbvfD zM9ybCH-|@hL~w@j!;jxq=qh|YR0*Ppvj1%hJ?sjyN+MpB z{xJS;x;Jew8A$qP#lmgqVNsbXWDOWpo#;a6n8Mu1I99H9t{UUxd7^*aAP1xnDcX^v zv7Tx?$2L2&r1na*+2pzuzUvI`1`4x2NXHRCT&OA4Vwj9QBQ=WV0a zAJ|zD`8L?59;;2QGee(;8H{j@Jx9Jf+q{BALA?_X zn#dtEV#*ktVrQ$c4OkTs8Ps!0Hk0CYx&Lq8lwF(cu=MRT4Y`DZ&$P#i<% z=yf#9bei3h85=@lqM?wo5k@{`pP}1FltM%O z26%6{*0YLEJ8jsQ7WWPekf4q!Jh|;=36dPaS!cbL*xNBxQLx|p`vZCjF}xQlm#NHg zhFdS>-V;ov8zE`4bj%#J{k$9E+jF#y=jJ1^iMZD#)wW_L2Oj)^cVawSAdz1{KJ^$2 zOUL3Ba1!xI7Z8xGnGeH2&KF2q@$BkRoQxW1H$Xfk&JfC`Sy3*&(=#<6cRnv@D?VN* z7Bh2qg_&@Z?RVu_T0D*@#2=i#ZnhzPwGCM>GrN>9$NYEqqCO1lGN;q1UajBGF;;DA zOAd-ES>RbyBlEBn9L^0{*&c~IJ6WTt7~WsVl%N#32c2@;hX?##A)oi@4MNvrgxvN2 zh9yT2M0#Gi_&JLA>0fT_9Ip)ih&!)`y z%>1LzJ#0TAU@{c8E-Ehe7eSk}R{7a9g(GZrzF95Pd?GJW^zl#d4iJNUpz1MBJOk&7 zY00BFFKotO)yS5b>?uXLbDlVW62NSkC033@;+5lquQ~AfMmjzfhR;Hf*UB1F#w`be zR1^=*4|-+m_|bR3@<9dSZZWG_fuz0kreaad)M;`4xI}T1^6^i0znWlU)P)zRzNm}T zPpVj~8e$QIbyVJP*n0!$JfmTR5L1y&nh%*rgf5dPc`|O&X!dDS?~qYei?sydJxdJk zxjVp{u06nZRv3%=Kxd<7q+&W`1N%5(X2^JnBM~&1*l1+#n=^r$;GMT}wDcp*DYbQ2 zv2cX(ntbhu{PGNP*q$BJ6Y9B~Tsd4TzzwA-dc8n2T_ge5e*cc6{^_%~{13Xd(v4kE zz;B{o>gjg}x?#k*Hl_v!K#urf;a8xGSeFZ3+P=}$bcCsNG;{k{efrFJLRrgtnP03M za}owDGFlA#tg0V9(2EulyW9^&a~!1V)0SheHq+pt;fVo;xhKdOFb2?y$AP0u}NhCgs>^(@Q@ct*S|iI zS5l&C)bNQ#SIjQ@b`EBLsC#or4DBatR?ZqG{mKz5dD4&+LHYc-CF^KpP74)~0IkTD z8XHsDi3%`*=$f_ureaiuWu7V=b^rO7YqMaOFT;EFBw!?tCsg)nelDzBdsH_z`cwXk zTgR(2?3$hXTRBwS+apxDyKK{$*|UqiCkKu00qp5q_lV@!9N(s~T3zsghtJ(hr7AC{ z(9Rg(5in- zx!dg%m~z>Bkj2uNgbAco0$xO1Ts!Z^f+*(2v$gQYwQU-c7L0(-yVWXnIA^0mLoI@+ ze4F$>{R-k#9n&|DxTh!q>*@$Ai+Jj84KD60b=)V-%DQEJXO8&!VJfYu(A}I^HR|L| z4xoJVEW{cBfknakbm7_y7NaapMU9)X6iuljUc%-zS^d>ieEbAEZKJ>nEPBI!$+}y9 zl^)rpf*p!<;Uo>km=Ti^QzmyhaHW!u!Mex!Me`}#kuZLP26lU$ez>JpTa!S^uLo z@I+8*;J_z!{rC6`?ynv1x8%H5H2|C5OA^C*_>I<~%)`pJQOOiH!3nM8GQck5 zuOP85G|a7fZ3KOU$xe#-kj2!G%!PgwdRB5D=CMt$)5Xmd62lE}_6zYy~-;l00g zPWmPtrBBQDOw)A468x77APq-$vVAzeI4m2c>g{Pibq2vzGd(}2w@OP-NjJyeCQ*_f zE2#;wlUa+jwhCrV`g{l8L5uU(45`Pa=EBQqwc zN=K^2&+U2q{W<5%kUy z^As=&M1`|uEL+7ie_f}_uWwQ?IeDWkDl{4qW;V-;Q+NJo_M_$J&WkI_v6+9SyCpvs zYoI7t9_8Sk2a!7A{WerA>c7rb;=>sg&f)mL$bg`~bhJWuim#;? zxbQZBywu5n5Z%Nw3a$&Mj3cXwD?O4W&Y5DKfsH-0Pk3?gvqwAng zo?8n)86LiE3ViPG%vA1=K?!);X0oyQ`)6`bdS|>vspt3{jIL)mUe`LQ@PNP7RM$=~ zCP23xpOIES=dMYdK8XJP3VrV7ix4FmCmmJ`lk%uKX2QT>oR(rqujSNP@#~jYW32H` z#Tzq&i!yOyH79YbJe2wKbIkrq7W*p_CBYF=G1adxlv8|)*Hf1fgS^pGe1sxx2-c{Y z<)Vas#ph=f)NTx|ByI`rU!Uh4j-Fze2^9d7tQy*HR;C`wOW=e&xn}RGs>(AT5AK$kFmpTmj>;{0kCLRg;HGJ8X*-L zo0_Ox-^hgu&%=Q#1loTjCRFR%vaTg3V1PZT7uHxnFdql)r~O~qv-A2Wd;yJxo8NdVdO3`HFtE_TKA$C8D&HQW zJ2x1Z9r^!v(F6tea3c!fDF3f`3IG58qh9}#{SRUKi=F4&YdeVD|C)u#vxGN2xiX=U zq5ZjMHQ!!|bPDQgCc0282HgkS_6p9O{#D7L5~s)FeakxJEaXUy=QUg#<`kr77A!Kv z=bl6ct>cqOoo^JpMLiij?yX63ClS= z*(IcVR+UTh{{aU8)N~{;xXV z>LC&BsX5ILGYO=}52&+|`V41*fFr-$UxQ$@CR@bQq$sg}IkVgf^YiC!Sx*Cn=$J5i`O7HHUh)@wTapB1-3N4 z^|@Yfj7g%DEurz(IJrT5JF^O>m^_ZGgM^>168X2K`8^1%U}D(MJ}6*h9NiuD^F{79Ti@{W!e9RhXI4$pIpI4DmVyVL<}srrkp8A5)1jznFTdf5{qIqbAp*AFSxf#uq%$6gM?R zsox7pat(V(1&^6mQQ9T_YMsuSn6g+3B=(EXe<`iM(xRMhhSfIy_?|u4eCt`p?wpmI z12*ebSUT)OyLYY);%AP&pw!ere=YhQ2k;oESEwD8CbZmp0P0*+IBd5am1|ZP}iQ zIS59ofdhb(sHdD8@OHpcNI~AW6j>VB-hl?dk#E(==fE)?>zF*mU7_Oeru}hNfqn@s z9-bA8{S`6c7;a<`a0a~KzcQyTmX<9)x4}P(z6HO%9zR*w=Cdlt;n~yz72PQn)wI8# zKp|uD(TRy;X75(Vs=?rOd<3OY4bGY4OSq^A7V8;*MJ%>KjuI|Y-}SFfZNp6; zMnH7pZ!Pv3%JMm&+s!cb^yRIdE=uo<3!C9QY8CFG?cFnem;#&4l8AF8^GeAo36EzK zmLBa(TY6)W9($YM!eY|N3HR(?Yq&W3$ifkStr_TFk2*U1ZvxL&dDeZro4ovrOl0Vf zO`4mv6jG+;n9j*VrlqB6<@N;`=Q*9W!k$3f8;+PYb>dl;FJLv=k6yfXqqyzo^onUp zG0--#lW=R0s(l+z;Flayi~5*eZ7TVaz|W?s8GVr}6sh-1tYbwL)N2h$$nk``3n%vk zbQf}{F8lDo^Q`q}4VxR%A#!0Ko{5hckZ2p&5~`$0Z88!c#7JyfczBdO1@*J!Ar5k-9TPs2TG50&{-{Ncpu#F+wh<4#oHV_mLPX|O-Ts1l28nN> zIkx|C=_AOCm{iM7DfutuW)%#w6V%&3sd5H)7KzISnRq6uYI1eHiBefRQ#Ss|XF{Z9 zwGgqMN*O6Gn`Sfw(Hg+bO@&3^C+OU>q9r{Bys%Z*q*^$b}Q;`YX2)m}ceD zk?oS@kP>zQBKVJH0UxQuE4{lR7^kr?bC}%=EWl+ldxTn*Acl*EbRh~h6&tTB>Uns> z>HJd0cQ&Hy0Xd9DyZx_obmqn&_)a@f9@Tr+IY7KEOGO`Cv9H>0}@p^Texne4^yINta_v1NO$j*)7EoZ**zzc}8mO z^DX@WCnUCOt@M<6*5}hR;Nixfk-_|BgL;gqFA2p;lTaVjpl734fi{wPXHy@fRiJ==q^y|Wf{j*lwMMT8JBA-D= zVgT!EVGaSV6T0hKkL0O}?u?FNwlqo2v zf+!-adQa|g%NZbtq&_`=Fscw}8fg}HzFiAP1;k?m8u5M}0|>@UMAKD^4w^BEcDx3f zhTl?)<`q}o>8q1y$d#=Yze>^IOQy|DoC_a2F|aO!&u~G_Nc9bvMqyLk^3_M_M3w|b z4rveu=aMG19=RTH0am0(IgD{o`-qV&POb}93v*gDU5Bb|pNh%)Lb{q3vl}DWGgEO) zmSdCMlAddKM+AZNXuiE5%Xd3_ThUzt#&z=@yhzeW&-8^Yt7grI-#X9YvuUkg5JZ32 zn$)m=j--ZWevSDUmJ8~7?OI^_c>y*I6LX3dVFANBz2zmpG@=Y7;CL@C(JTpN0eNX7 z|91>_S<7E9i853yA-<*D4u4H+P#02iCl@NEtyosE%2Qi~-W@c@3!`X+Ra4@NSQKjz zo}MoX%!l+dPv$>)kULXB;re2+e+bOxHcb&`&Ol5GE8v^I?5PQKw733Ao8g=U2H0is zSipfEv>jbo@kMwhi7H;$TU2nRN*EBP)9t?#*Nk2R*Qim;6x6F}fFa>vcX%gLT`I)_ z0av=-u&bsx#pSjnzrY!IpueZ%6@mw~nt{?OIVPozDYV6vgn%Zr9_L z)w@$TYWSs*4V!3gX1af#a%Wc>Pp##?Fje6zO~+YM|9D3U>X4yK^~WVQPeuD=!)son zj+k*IGqr}416KQ47kMA0@Qbw}0DU3Fk6iQ^y0}R_H0$t0E8eb8Tx7w2!)CQX$VC1A zV{Mi|j^nSrJgHxoA<2Rs_Wis|d2HVCq`rvQDOiZaQiLJ@VvS@$LQpGAZTyI#-RuxqUzwV3e9vDawx4+!}>ny zGxLp{A+<9PC4=+SK^4G;-xR|aHg_~=NT|cal7?6s!3qOKi(Z)|3fxfKMQb+`HVN}X zl{vs}9gaICOU5YVEe*%|N})E((3(@~*$L75NbFN9puPUWY7}Q3G5O^FB@9RD1c;od z)PYIoPz;q6*h?S%>RMJtbgOzxZURG8gk_O`T%P{-aMy-#_zunGh*DlK{(vF zDie!~x&l4oy@fv1BmlG4#`AI08V;d*#;M<`!qz-r-zVo5fH1KljSIAR3U{9U%`WHT zXKd<&qH$?GaZ>I^+o`&ok->Z5-{us|UTcZf&MWh9J6dS2>VmGjbKXCKPNa-NrnEv)T?7;Rfm%BL3G5 zQBPge5c81T5MKPj-rmVPNrV2T^#?A2YdPKQ<%M{Rh*{i3535DSri^>0YqyYdwN^H| z-BbJBBLa!e)4X}vb-IOe1^%8-D$8CmhmaC(biHxPfVtH($V4X~5C_zsD z`lW|6vah)sJ7cIQkTF}9+e~xGbEFmUmd?;%AI6tyd|~`2F+H$sS)$Q+Ljmm<57n$* z8UOHeHS_bhj-VT&@gNr!aUP1E++^5#(87jnm1TT=UUaLg0iWVucB3E&RL>h5cCV-> zMxC=r!yOp(_#f-%Jcb6D;_wBPO?FQ4?n>3L;YIKH!_2q8x3m4naAXIBOR+0{5i;b<8YCC#%YjaGlcN%HFm`}Kw#4qbn8K=Md;FR35rIQ|7K)aq4x^;-b* zT^C#1WN}5MzYM4T9g)6GJRwFSR79johPm?$bG3zl!l-bJ#q2bpsAM|+Qcgx({s3yj z#SFQ}B{PLVbBMH{q3o>k*Er%glLM`DbEu`T*CmK{WbhsL?+zVxAh3*(EFv_3^n<>6 zfum+$4AcAI7k+F&hjW4)09Zt*yLNvi>Vdm9*eh*zU3N4OExrFF)sC%MRW;;7^VBTz z;Knz63(4JIYzES8>463&TZYAQwhkX8k<{VnmkAtf*A{etu1oys+mY;a-%rqn*cDpk z9DJSElZK;#SMUG`Gb9w28@n6T!VN@Io0hzw2{a!q2>HMg_@0 zy6nw!r1l;mLqf0j6ef#@;3-j$6=SO1Td{s46W_}lUxGOuo4}2*xs--S!S4fP@|!)< zD3!rl$}NYvH3QG@DV4NS!#KO$u0lYgtEsASh>O>_ugEZLZ(%|Vrp*-qnY?i zf^4w}fIFtzpLiD3!Wrr%pFKSLUBAk!L$+M|bfAmMz{ZBOfnt;xX$Z#N)Fjh=+qj+J&w@8gok>d~HDZJEz z-)tO)8PDmupuZ*?`;;;}rz>#}Lr^_`+%QjL7JLUo0JmrfNFc*L!zh z(n*JELbVgSp;#07CdvC3E_v&4hIgFxjXm%NIr2aN<#!scR|1Y};18;O~;qI5Q={p8E< zRI`5Gwi>uWTpOlO*zs@k;bXS0b8>cmbh+`KcAs|4;8Z`1ekjuCK^J9|yS%ee8-4?c zepVzP#7o~~9UeEzTTpGzu>PWv?bT)|OO<#?sqZMtj5Za&F@kyr6+yux8`+RmJByiv zH=3a;>YWxKaAjjz|}WlDUHB>-1tV?3<6@=jYqEFI5$ zl{Ax6IZ<-GXA!ut6d#X&E+zrMX;JE*pgIZp;$TEHKhOex=iqiAlR)4Qm0O2}Dc516 z*Q~+#(IJnjst8C6dU1n>ToQ_C6w74?Gs$WXHbUU?5Nl^FKa27N6kSoy$B?SUCl$Vw)Q0)Tymp+#w35sCg3 zi?aO2PV(lsBUa*F6_8ZnHcG0uJOia8Erz^p3aPIyFJURpVeJ+VBzqBK%ZtmlKzaKPfNV^R)RcYd4T~tAHjx8la~Q{j|0|%m4=Og{;2xbZdEZO zjp^c$Wq32Nyht#hA8m)lQkxoQKrwYYx6J0HIdn|a>^ixaks#Hv98f^XF~1-wN>O&= zaOgxVRp(y-6PT2x2ypbPL9N=rDcS8-oKHHn#CbrRpJg<~NLawCZb35VmHHDJ>75uQ zp&|zlpAWW~3=SF+5`9{iudfG0?)3Qt?*w4x#9?3Yq>(ErFc{XyUq1$-h3B(NRZPb% zDf7O?988J}8l3Y)TkNc-gjvPoc*ohi8mamV3voRNX3&{AfMGfdUP;I}(1on62R(VvsehOM zo_m>22qN7Q+T{pRRFsr!4LBarcFVx46x3AV+ZMqbx;c`M@^3Zbe2U>ZcPLQ%Q}4L> zN1fILsspOA!F-6KbH2 ztPcB}L*%LzQpmCE|I0F3mLi`0`+JnIN) z_M7@AH3A2xf_*>=d^sF7`I7WQPF_AWu$un*R;#*#Jld=id|h5>;3MTlhUA?0w*v#On2$s?udSwY|_&Hk1Me`{!kc=k_F9?hnjmsRXiYjW@| zW1gO}s@?_Qf}N$bq&?$4@nW*Q@iBr8F3{^yS92`>D6*8$;Q&v#4AIk<*ENvwr24KMIQ-ld%40%xyL*~Zo(fgEt4dzZc4dFUY z!Qe;kDBJ0Z@o3CWKC*SB-2&;yQLQx}R`^Ho@g5l`e!}Ob9T@1BA6adsGmECJmd64v z!)a7b6|xlWa&C?RSB9~WOU|+mK0`F8W-UpdM>Hj^;R)7pUT)!{l*w9OiNiZ9Fqdz` zwroSV*}rQ$XbYsz4~(u@MUJ9<@jGp{5l*jOub-#@J~zu$GCZ|HABiuMy=y=riW79O zXFSAzZU^>RRF8zQ*_9v`C%>E@Yxd0S5lKp-ltcEnUL`lA+7ug328a>j#~hBCKSTtA z2gAJ7Z!E0(bVWPz!MXX7kDXdDSK{AWJ$v2ZTeMlXY4+_`ZlC5>)9?xkib4m-u8-F- zCUoa8SUuYoLOOIAQ+lu19VM~LS0gJv$Z|+gIZVqrq^6LQ z=?b_H8an-PJ0ebeLf`r=j-0SmeJu@XTHtu#E&=+~Y?ipcBBjn|n$F}ty zzD|oa=u-@Jwq*y85PncS8QIFO_-KT5Sc7mL0oDI$tAsskqA5`8uo zowsU?g?X!&t5p~*ysE{>s2G(`*PlR2LC+x`JRJ5%7)qy76ue^*7;U3>pClPxTrrzW z5!%8^tR3b&>Qb->^Ec*_*}u6`LFOXA8OX(NC<*vtj#Kl{eP=a&xMd#ty#QIxUESR; zqRy^%j8=omINU15oy56aVz`|ap)=xVJIDKi5$E}NF1nXgGXIo4ltG6w81iG}q%DAt z63>KMOB(sE!^CN*wo6<{#=wmbUJ*oK39|BrDjQgI)+RU#`u&)Aux2~WEz9!u&A0&$ z-7MgzsA~(0}jB+<5uy(1t%5HMG{+P+IoPpOuhI>thZl6&)7DdPiB-FMi`T zH=Qe=Uj0NfXUdAJz*qfaK6mCi$36WkX{4-sBbMhM_!QSkABr{FFuXTXLoU$ z@6nQ6c9?U`Tb@Zn3Xxy0F-A37od1tfTjX{LZzwYd+uL@Sakv^1_xCy=c&35rJ!Koe zuxRk$*S=FC^5gt`NdoJ1pxkH4MqN57m@rjQ>=9%_n5QSU)U1${?uulcf3`7xQ3?S8 zk3T>`0&9M&+8hUhk1Bf|1#A^uMtpUuqaJ%TSTHu2-O(VLS9boL8gVMtSN3^ zi5VNy0$R4O-~y)`jgt`I#(B__5Pr&YeC+7ymMc4gKtoVY3!PIrUO!ir>tw9MXANBg zKV-0Qt%K;z5Hy@-2X2mAY=%UXR)F+2ru{e$Ll8OEtU(KnP@-0CiCS$tAAVCEVxB`> zI9E%`$E!f7p`HcGNvUzzkeO~6w&h*;U%NG%ZZnuFnUC#Fa;>2Wp9f?qy?@@)&b2F9)X)_2j}y== zl{H@$W_L*qsL9=fW;o{d`cNwJ3dX0-ywC0eg?UAYz*I-NZ@P0(wg_;%A>>)x7$j@u z3q!A~?r4=OLR9LC;9q-0p|q>=zsx|dDx#wX3NObc@gHotFJDl}(>FiRp!#@WA!v;7 z+fk+l7rAenMC&wZn>@UXZpKNxS3I?Fo4iTVJE`h57bKfK!c)_EY%+3(Ga$UAaByKD zYQVU`J9t^%#nLX#r6@Lx3x^hDMqEaAHyINny>GmMj?LskYtGVWgmFs?FG|eluIG!5 zqM6_eFa96uz9OKGCRi6ja0?P#5}e@f?jGFT-Q9zGaCdiiclY2N+%<4;eJ9C(S8sba zcUCYo-8CiOSJU0obp+696R_HCJvs5_MQ{S~svHC&B25DoWQI3Wx-kEJc1|8CLJDj! zOE76!TE7>uu9e5|22QK0UJuK~#U&YXdj;7;NjYyqzSo9G~MWB6DM*X&`mxrn>#3M#P!~QD=FW(wY8my5F?dM}!XxWe-#gidPOigi38e$O2 zh$@nsoD&LEB?5_|ae`^(_bf4A@Zf|5aatiSdd(U9MZZnm{cLjY|Eagqv-F)|=o^uu zNMU7Bu*)39B=)g3>$X#|fz8z{%15y|zxE1RP|di!6@2>`;-mp^DyCs9sb8yQCD$4w zRgU_%8Ask@!ga`mP?gx1>}9Z|t?;EzYW77MzxU{h$1HG}2R6>l2SNgN{2!YE1Zk_p zB(@`XaZr|DDOoZ}l=_ChX2cO>GWkVsE0uC?L|Qm2Dw5xTHuULFMD zqBAH<6ddVd_B$g(O?yIjzQbMAo(I)zN~OEFUbXs-VU?Md1}f37$pk{Yy)g!A@DG9s z;=jG=*z=Tpzya?j^xZVAS{9eBH6Uv2uG4T*F!@X)${DmjINNsS52AhGPnRd2reZJ+ zzoBr{lXm<)4D_Fw9=?67g8747%F7>}G_XZK0=x_JY< z=^xB5>@j7s5b5)iLt}zxy-?p|(Q7$t;&!h4-ogq2m{Q9s`@?NTX*(^L3;I(BG@+?& z76ht?yXYBG&m<;w-o_A*EW=mDh}04|=^j^~Sa@-9PYkjZ+cb3wDKq@q-4Z@fgsq@s zGS^p?{rGloem96q0Mob~kz!x4FJcY@qYE2uZ zJLJHG>Z2f53V5a+I|8evFGkqxZf;(mtf&iRv14*H(<`i%`hJG2>V^4jPHqt`7CnN; zi#2nz=kFDV<)!w}kdxA3H2a_F`E~~1CrLm1hR8Zx(kD@pddJ1n1fSZtCx#cv_C%y5 z@RmT`?Hx5_vWpb2$lSuj^TY$pNthdVZ-q{BfVr?zm)~Pgc*J$WFg^A0#h%DR%|O{- z{y?&zz438q{oeCH8QI4iH3d;xRaPfY^dru}gMH;dVv{rTRP=*8C~ggCW$07b)We+y zC;KKdszu_)3PLBR@T!l90~+eElWXFd$iiu?zyv-BR~Ob57eZy4Z=<*l!(B6~dFf{f zIAdO;=$tP~+{y!ff?pvPvB5kq)Hi6wafaK$^unw1PH6IZKI9hd8tUdM+&b7fQdWB4 z3^od>N-4Fvm5{ad%qvhyL~G$$T9lZ(I2uW+U^WOl?v!)8EmX8bydWkt_z*&FI4fCs ze?E-`og)4EQ!CW**R&ux9zs6Jeq4GY%Y!iBApfMozdvzsYYGu@P|-O%0Gw%RT^qgq zEWeA8OpJDaVQh;Z3=GmT+z_?13H+p7;|q|Ym6GgNuB{(wX5Z?n8yX@QIb?Bq&)hTq zF;yZCP!l_+v=$Aa#O;KV`y#PoLN-Kk_$n2!n-Xf$mwMheV)29*( ztldI^v82Nx#ozq2tQnFJ39eYrdCk*>da3>RH!cZy_=?Pa;q~_8r3RDcaNCbEl-$lT zvtZzojzFJ`$` zGUGWC&$-S*bZ$aQR(Ez@RS^|u(u~^2#7iC7B>jp5Gc8oB90|fE(E*CeVpnZr_Nfre zcozIpRE1x77TxK?CbXYxwmUQ%rxVB2??uYO$0#O&yKBwJt~KF#`99Pa3T4g3(K8YT zWHim6Tq8GgT0s*7-H0u&Y^(fhMw%G9Jf(s05`4@oyy&JcN1eso`m| z2`!h0dJ-J%Bj!3{-V641nYABK@O=%b^an=|*pHKIo!D#&N3tdMyRi0!E-CpYvpyX( zFy2|mFhEzXi7utVrQy6*#H7yZf3o3`RNveWiW6}9h+Z*uG`57}2U4FWnr_Q4BN?K7 zUgTm~BCHvC2;SAz4mV9NEa8&Xvtd@YsL0#SPNEYLq=g2Yf!5;)EC zHG9Vs^6?Wb$ut^aPj*3eER(YE^wT$-G7TaU+bQFM&G^w+*|JvH%^I5_ippK(rlf`( z4mipYJhyI0(+j9MZ{vgm=UqC!i97idlHoEkW)~b#WeLQnD7RJOS&!!n!Ei?vQB|%e z)+AM6^DKH(ebF7vnl-QFbvS#QGj7qUg@eM7%a`v8YzjJ^DDB$$ow@$OY1SE0U`L)gHKc`Dd4gGhA5Et*~i(Zcgyq->%?|ducw%>)&tDaA`mkU3HaOKNJ*N_ zW>{5K8vS-omfiX#`%Oc}h+s18Zi>vL?rVM4q%tXU!LR5?Z@k)-3p}mih!Vd2VVzkBC<4l)57sb~Ib$k^Te-h7PS*^DH%_K{pb< z_68DPnVLTpQ+a%4d_moioC{@n&ZDF@G$gKXiDNE@kSa+H4kjDBjy3?hW8sKop00}7 z0El`H_>W%L$o;0k;TcYk>L*o(9pi9R<>FP#I~ z>E^ZN)P7<9op)v+030x$+o7O=$i!;OY3Z0Y5)iV$duk;{!Vu>ut0daElk`05@v2 zI+4?uCz=rIDfBgE-3a;VI}4}mXL*MP_~!#oxaSx~G6i@^^_8yFvPx14v9SdMJLK>4nyqCLvfO_HaJ;xDjxJ`Hr87P21rt3E&L1KG;W?&EyD^5CtY(e%mf7` zWuIAkBRvdoxo8s4#tHBm)bLjJY-%FS_o!`fHYlK`qQu9>ux%6DVC#M+oDji&Csskf zF~bSN7c>Q`qmAX(*g;h36Gw9fgX>QVEG|5JuPbLbCI77+U)!Ac^WB0&Otdp4{KUp1 zk!(R?`+%JsV4pT;=&nmzou%>unwe6m8os#ArLY;}JED@{<}V1cmP4GTAsE`pyJ>J# zlUS*Raq|wGEG!@pjgvj_$EXQ0L+!m{gfLZB zinYYeaFWM|@DGwd;xn$BN0gKk7^EHW*tCU|`vZxg)Ic-GuBv_nT7Er|G?V_NH`KQ& z5>zhwxT=m%l2MEEM-e&8jLYBKB5v~w`3tRbF8Z~|9KUrYAI=S&_5b=XAXA_s?sUFm zHxaJ-4Ridu^qSHrA#tcO2_s^#(LcioS?m-S#^f^sd$9AoS53H!A#D(@mf?H!hu9i8 z*f6vbUS@2Z4N*ECSR0ig{K1-?G1>gG5h=xX(UTmQVacZMR;}`QYPJBwdTW%p{iLV8jM#o&9-q5uODI)JCT9kX+$bqrQ zj(%+Ci|6vExZa<)B4AX<96~4kHwR`a?t&?qtxBpG1JmP8>}tB&A&nH-b#>e>3b>9Y zt)m9myU6mybI)(coSW(ZbQP|ey9K<snXi#PXYo_HV8gKPAs9_{bKFaQLMI9+9+JuxMig}*|K>D#kD7&SU$TqxU)I7 zc)j}Fi}bI}36RVM=uQ{bEy|P_Q2B^`EsiNb^KhmTInBzO&6JW&i#m%!vWizf_W7dt z4VTSyi_#h&=maih!MXzRw)jKmq#Q|p(}td{If?i*0A(91D%M?{ln*C(&D#wgt@9S!H_&>*_Xh_>}B% z@fRwJ1gD1^(P#eD66PQs6=wtJb#3jL4_|i#;R*bT+Ouu z-EVS2BEAOD>#qknTh*|BSNf2;;Eb-JNinuLq*!TQF)>O)>I}hQAD4W~k0`>TO=4Su zyCgDPQtcETz294eqv6qWKwH?x%=ykAaOBFUBC!KwNR6lW)gA%h)?c=NbM3 z-P3a3RkuPrY~Jj9*DaNvaRuCt#QH@R^wd^FOOae$h??kNt!{Nsxwv``bx`vfI?s{fg}0+phqE6ld{V;193QuSC~d>Et-bBWjG1QWF^iHnS(NH* zFbe?*p;C0Y(Z)@L{X*qQa(YF)YQ8tPkimzqO;(s(mU4@vj@5=N5BUt{yE#`wRJcn( zYr1PKBc&|vR}BXx@b2O)lQaI0ww}lb4SUb&Ls?B^R?Q z|59NL1ugXey1j*nU(8PWcO$YJ|rCSq~ zMICwwomQZQq;D~wR+8kDS6GoW#8O6>I_w+py~3?&csh-%5fFrWv(lOO1m^`MPqs9b zY+>av-H*Qdw^B*1d@hEn8LiD6>!ZE?hGX{IxSkI1Lee+);4!K3nw!;7e>O$WcyI`_{Fkzs1G_<&sr{>$3i1&{hW{WX=Ut~6@f`LZ6iW4 z?zEQQ#woE>PO4NDFvL!%@xF12E26#oAQ3H zy1=WwQ8zsjPrbKY`Bf$83N zjjf^mmiA@YymCKcSxiJyE{=^~vKMph*}BW8q(+X4S~}9Kw-r-BgAKdDJ|#4=I*#is zG+QAa#3*IvAP;(W&M(M3{)uAK^;9f9VF8FGRSFwvbwn46p4818S}luK1$GJYNR{qX zH5?d}s(BkO7-D>TFbZ)AtV%Cyec z1Z|FoQ<;>2{Db0^{Ot*8^2I02wjzD7aD%XVi^6P0%^0*%N<63j9Ed!4Gl~_>XCvxYK0o~ui(YD z0IbCV`SG)pv|tbqJFEf1r8I^`UL>T#UNKJ0%EHS;j&M`HSGdGo4A$JM9f8v}1xk$K z>9l@f{p{-q-I5foF={F;S6!-Ci}WVzqPzE9ge$twyX6JWl>do`j zBNx2_Yg|0Rq{rp&U67b`De@b&q_kA9*A>V_Odr^;bj(Pv0b3$@uq~06Xmw>V3r|~&5ts-wcHq>G^TpX4)JJq zLHWnm&q54_^`uCiJZasrX%TQMYxP6lVJp(3O$hb*YeiL`FWy6MzF_j`E7a#z%UE0X z2tiTJ?`BASh{CH_8ll$aJNXa3jc+s9|x|K~VGh2!b>60lHtY?&^1u>vv4kS~B_X)w>t&qNfM`ki{ z5Qh{?bO8jXhS3Y6_BH99pYg?2P{(khOV6PSHOmTi z>(#JeX!N(eJ(!_YXyjX;1YsDoM{2cTzFuVV9qaM`t=I>HvYAZa1OX~Q_~%#T;Exc0 ze-NDbj*9TF0fUePJ*e6v==J~tX|LbEhD-_n_Zza1_Vx@D`c9-WnLZ5C`7j*aeWw`c zet+&pUgJfFn_XXzEHY=fzaQp%i+z8peoqT8g8fta5a#PnN}OKLA@FL|vij=n`SO1A z?jYT^&g0g?g*y}7S@}**PEzZ3WgKSv zW{H!a0)2fS`U#(!ZLO{MFW)XMm+MWZl{)bL4P_Eoy3s)`l|2gmK{ zxELHJq~DF30Bo^Rb65zOhxx1)1T4G2X}-g;L@H|aI+BC8ZeZr+Z(#O29+>vh($Qv}fHi^USn59WXO|7Qf4NU*Y^N zeeT=6?p92_-X0IV9>;aF?9y-bm`K;YnIX!33H|5fJ8~lhKm7lgNsjk15L65=-S_R# zmyD7!3=x<0_i=Id^&#lS>)LVK6g*uASWh%Q*8}LAXn^mgYxgtY&6kkRr^DC4Zj+VJ z`vwK9`(>Z*@$J4FxreRm3X%75FW$bndCfC4FOIB@1nJ+11`fUay47!%)tylM^jHHX z_1kvrP}Xd}`(B?n-+4D5r(A>2%gf6nTsOU4XRO<*fLFtW$ZIO|%qEj*BCf9YDQjgq z>k>NVR6Jl!2T!jctbwr*g0DXiswY-FB=_LHpUM48Ss(n?F*B z%iu3L{);6Bd}&UshkZKVmG?_J?_;U;4)^%rU?`v0Q{CYVzL|xEg?HQZNho0|7(knI zM78(1CHM6R@ypXvH`LbIN?;=+ZYZB= zj;)S>g~d1D*CpRcWZws&scgRKYTs8&TJ1JrQ&Vy<)oLB%;b{EV>Br7XZ`+q%Fh3TQ zQ!G}giPC+Z;_MpG{xfsxnE#CWl&VBOv#}wos)|XQ9C2}B(*+96PhrB#b;j_(gUQoP z8)`?WZ{NPT?Zt{cYy}{LJ%so^K!eTA&p#gJ$3R8#8yOkRtgmyY7RB@hvXDAU`v?5% zd42)ppNhq@;J-obc5Xc$Ux3q;baaQ?A%sQ6#l^nu{=GeyzVDu0ca7Dz@2`b)-eI8V zNdKckus@CurbdlH;J$|f8XE>G;B2`zVDt6Dl^qZ1ZS(!vH{QJI-!MNUK0;(>WD)$oz+i2EH-xy#*s?x@Y2%J+0JYVVWOSFL%D!ZFN4Dow@-VU=ZS_M&lgy5PqM%oMrmQN>@2DZbn}?I8rMrsC{no32)_YUO`gPr%!6NyI9XO z{XrYw=Vo8{o@w7VV2UHu69OW|8<6ikK3^>6LybGor0ear8shh&rtPgQlilaN(iy9jI4manGA<`(s+#ZK@4MD{|Fb~6Igo6h3#0-?&D@B6(kcyJ{eJ&HFm1X%aur0v6~ zoKN5T%k=w}9s5%`8o=_aZ>ZV!ER4YBFDRV<`jD5l_+YP_7F{J4Z(c+sQ({Z_hf>CJ zg+h*wkGD^C-#JN1NxhDxTn&?{RIBXHmKnOP6RUH~aXw`_aev06Vv?}ok`hmqQfV^0 zf&Pz|5oJ6w!E=0#^u7i7|1s+;=KUYxrgdKzbP-oU(Cz*)K!Er4M)3knf)b{CqHZZ_n?){QU0ul9Z2L?Ft z7J~n}`d`cDe%-)BHONkNI|ltEIP~d^aIDVU)_CY@lKgAtQ1e47wx0gKfv6bJ^S=2B6-dGqzKrt+ktp!PAqSVFeiF9d|F)DK{o`toS`7*kbmVmSa` z01Yor*h!vG8voSc_WR$I^! z*0Qr&M|ToW1Ul#D^5|4H;9!>UTyK~uq9%Rl8l8{qa*R>7yEfeIUq%-A$@g2)bO!jd z#)g%(!96z<(1mSwbyd>R5^Wl*8hF;`rPEzi9hI>hVwaI_Gk|G?D5JX zi7!iFXm?!wb(g2Zo>aKQ9Ph8bb|TDi3Sq&YWU2sZlX)x6?5+n;z@;hZe!aWZ*NJu~ zzwC4E{-CeO40Id4Z|Yx(>QO~ET#xYRvOD}|A)1-RefZr4hi;iNj}Z$ihBHlF9Q)_yvP0ZHeX7s6Cd1W)*U`6^48#G44%8|o{`!s7Fkz= zIZKr(GH*hEDxa;@?f`YVqhSx8-8MJE(X`5NVy$0v5iUcLYFyk}3u@=-YRQ3Ms!?vZ z6cd}9eR9c>`ivsoMp>1X`jz_Fs3jC&DW8FXY2W^O7(wJQ8p6>MhwCFN8}aD~J4UCu z>5wr-x0)1Vz1y`NzUBetjn?vLn|B$W2+TLOcOrNFwCWKFyl83mC32y%y?C|>mU&{LVWs3Qz>oy>BvtADW*~6 zpN`h5gSrGTw3kBH+j{rotL>Cir;{3EWEvX(xdwO&Z?B&@f#rSoNO+)nifwoQMzW`x zrx857X)mM=@NG(Z;}W2x-eREDj->4taynsnZ@}f~iNW*?fX`^HbFq57Y=W#%Yt(zG zCa2|+)`T z6p3&%tK4R@F%+t0d^t8wy{^mEd7m&8uGg)g-nfC7+RNPAX9BuA zp1)>ufsIyZaAn`?a`Xp5qDk|$kvl>`)hwrSEg^9a{Sb+e*r*SNsLn82$vccS`uZpM zLyz^JK0=(3>a4m)j)y_W8ToGMSD? zP}gpB0uo*j+I{U3U*e%3j`PLbeEeD7Wc!xbU2icabVkA<6`Pe(ov)aHvT z9fyx~Ca}Lx17FgTTW<$YWcfBRxe@h*L!X`g*%#gvB*&tddV>L))WL)y(&f+Y#t>sF zj9BT=(}|tY)n<1e+LFU8!^y^3*J9_c-l7)#)N!O^zm4^094V z?t8V2m*@0D_t)F;8oR{=D2SAUI*W7e4c~oEDA-7*$1qPu)1J1U$`Piuz*mSf7F&ab zyp@zNyVE)BXzeKa(^2Dz)KydTzk=P*+`vNB)R))>pOlQgz>U4o{F-7g3`fvzQ_Tlv zCUe-GedCF-$#Z!}HPGoxk5l)25cyT<>F#Pu(A?ZHa`AcezVWX6JgkwL_Ynot<6<{H zdZh0Mj~KfZ-%u)Wc=@@W00AAFD^7X1~nnpJd_25!4?+ z@>+T8&&f1XKT}qY2d|rH^km&@o2R-+(BYQ78;fR9qU0bJ*(G`Bh?+~DURio zFMC+a?V=O>I6W~`pu1bh0^K6{p&s*64+D%9qslv2CgR|CfbnR*jRM!h-HV4BmymytwO`u3 z6>;v^IC+~fqvQfljH}ke2bNv(qCWp~(FjYBNpQBmhgRV>A2Fme*o43Y36?wop5Kof zE6+M}Y97MWwfJfhlW7OB3BFI)GBL%lwTb$w+^#zsRXtL^Gb_^x{R0%b&}!}@s7UoA z@4G6lp~($C_0%{ty9++XWwr4%QP5Oi<{9_TX-93Y<*Nyzvm)q~ z|46&btw@euPj@`MQqJzJ)j31gC2c859XzTE_=mCYTTxOc(Vmg(4ZEw^U;M77% z8i*9Yj@VjVELkH=Hh0!jaVK=S2oVBSEbo~v=fHiMToEyYxd%Gjpr1{HLMJ5MzQ_+3af@67a3w5W$;J3ESxG?A0!jz1%;xAa8?ic~09 z*>6cB*Dul<^oH}CfvYtJni}$oi_P~KV5gBA**%+(XNqoaHn-q2ga+EotgOs;E6Y** z=!L23=-Kt8>+i#S{9P!5=3~CPz|`SOiU^NEp<1~yvdJ^+CTy4hh6`e#U}9A%oFtUZNA9UvEP;(SU;in&EyFW(h`Lqg z-o?LnA1nh9loq*H0N#nHP)+o^UXeU?FZ9o2X{a+GF zIoR$+bTnC#I&d?o==SXy_1SEBxm+Ir|M>C)9YxkB(`!#L&V-K#JdZ?TS)K@~eAIuP zqiFRHIR5O&p(E!5hfHA^M-cW?=T?7aot}=Wg0DGP9q|mmSuY~z-jVhLM~KW?TQ_+y zFuEV2&RW(U&k#p$w$<5PPwlK|e?$mDt~Rbp5c?Nuie@-8oQqPb$8GMo#15&QR7<~~ z#0)!2vT3E&;t#Kv4I|W=PTV)xUm#FZiK|Qg2{hm)lN}3wi%NISJ+zASt10c}-n4f2%(4QD zosS=!o<5SVF-PpLA-T;!hOFTo%ln+J#%N05=oa!)$wRGK8)_t|MQEBflhEd#wWQmP z0BAxaZl9Y8wxbCpR;WS*gwL1lHGj2rLFP&PBxOqQJ9*_?$t=iXD@7PtQ#*=Su zXC}Kka2e#Jm@;@y#h-1wBaD+^{6jWHtAD)VI&V(RYC_4W5#x_C*@(^mReu}9r8C_C9 zFWPvV4BBcyRq1+{cX}4c6WbO z2AV3JNUk1spW$|4?i_-%3}u==a6D*A{m68)ej?!RL;yVC5&h82aqmS|J+KB@{~&N~ zo|Vp33nu(uk7@ru9bzYXytyxSc;V;Y+Zx}+uwO6MPb{!Bg!tD_J8kXu=j2vA zwm9ouJ1C9?{!y{q)J-Z=j`r^D65YIE&o~v6TkGW=HyfWJlBVqC;d{O7yFe7+zVkgh z8jw$h@%VMFR$MXGB#`NIR;jqj7Ar)0v>oS&EGAd|8JS8GzH~A5dCmHzu{nGLqzwcK zlU_@^^aAxv;u{B$*}U>iu-41J{3Q` z6>S%`3Y{427y(YsLvgCG=~JM)FYhqJ!el~as=O_OQN0n(C(ZD> zBMmHiLwQsi!pU^No5-(*CMMsyfD2xTL$v%GPZqK-M4-zxyPt_s@5jP%kBQQ}?=k9h zQ=1)&?$%u4*ApwU@px}(BOI)g(qi;bx#p{5;_RYhgW$2JlgZd0R;vRG>vH)KjqcEQ zoSf-^pO7PQT4{OBl`*N2_{IHSSebeUUcRjWrYyUXLt^l@x2qmC-*H0!TzEO4F~4gK z9^ZYOMT>C1V5YF;7Axi$+}h)=oP>&xXE+Jg$u0lZ++ms+VNISIs?$mO>y8~0T&xh< zlSr7tWT(W&$ZSMR**=c+9VWn=Jhis9wCaBLtUT`lgHIU+bj7Z1{|@v=Joo@W=0hlg z&Dh(PpqIfkh8p+*E(l9#GV}!kD-{8B#0~<4r929T*iy&gYl?;bkqugq>43SM9<{tM3}1Cy-gxU29|+GRbJRwlvZbXPK<42L?r2K zN?dBgr=rUAI*DDxNVZ>`y*qc@IJu)(%#K|#8#MIix%aA^NBa0PB7v~9+|J*M{kukb z4ABNYplKl>&n35e52KhY`Zf^aAGR{76g>^WaA|T}HZel^1U;fp{gn|1wQ zY;zp{J77cm(s+2J!3ZrH8=%3(gR<626ONfvKx&-1w31DS2JM5DbAE@N^G@#*nZVG{ zLC$Iw{a^178T$$cp{|0Fznmc(e!Xs~7D2h81$2B3?_Z3|SOXg~Cphnov&FD`#MWtX zG6AY4!iN2|#RbT__VE0F`nUTUs_-X)Vu6{-XyWy9D2@$wJupp2r}LL*%`^I6H6tR) zVbLR2R6(7vl{wXYg_65N=?k7*;NMMx!{<_VcGlap3{kr;jrVd+S6Aqqh}1wudrme=RICFldWR_A2u;i5vv_WI7x%Tw@eI#v zcmz7_!>Kxy0|mjZB_#yDxQ17$2eAe$xSZxZUCTaw8zP zuYY5k+j=|9&xzC}hIlglxp0N%jZ&Zn~ryBK02oVg`qB^HnCVtwxUeDDe z=kc&f*SR$XTtr}(dE$J@oO%>8{;t&U8djjL9Uiy(eAG@~!!b??;La5Zj)~E0;uBL{ z*ocXQo|<9M6qr^gH1@Pyd277)j6>Afccz6d_KNtT zS-49rhW6|uXJy01yRSiE{tIx}^8(t>pAZvm#=>c8(0h75 z&I^hdQYF%OJ2`1$6W-NzdZQvwqB{Ok(1!aiDfG zO3{>fSMHGluscC)+RZ=SxY{&I`V!zR9k}@Rd+IjRi1yy6U*t5%k=e?fNS}C(O>%?qnRA|i3XX3eF1ww`m2*G#W?D=ik$xs$e%>2p0g!$G_PkDyMhf)Zh_a5>) zAEAa})Tv6Fs_5suk%k{A$AC>K z=F}aM23yj60?q?iy$v(LMOk?05WlBCUnXc9Z5jPcgU?JKc4*Ezd>m?=Rxl_FXo6%D z%IC#9y~k}T7tpicLgBmattUZ z<`>?hbq?+0XGomnL10<6XP2Zvy1y1D{N+(zbtj7pHS~nZJ;>sO*yzw^9C+b~G$faJ z$Q()Z@dE?i#z~{77c0CmFHX5BRtCa0ZV6y@*E&J3M#_@+r1;#;uX6}$Lg~YL`+90r zJv&eD@&F#}uzYY9pOCVRn5IM4MiQ^eH{8;-*I^L0<)!-D`?rTO}(2@0VQGR~P zEI@RxDW&*++vea5lu#TiE@2t37Vqm5Sf&Q&g9x+8U>J~82NfK=!`v7}kLAR4rtKSI zoHy|_oDwa&RaQPkkg5MwQR4K-y~9{!%~epy7df^F2}QyI4M1_qoFnuw)7)t z^CMR9XEF8TB%LESX2~J-2&zp>W8lonX3fTLs8EIl9tY>Z(ia3eEzbCRMe66{Gm+oi>2M)$ddmc~>-r=ea>@}zm7e7Q~&KbbR4l%+U{% zOJegZ@i*KvnB3c!jXr{NiuPe;xdh9qnhOgEU%-J7h+p0ulIy+WuqH{5bj+mK$DD_U z=TjX=6LVkPIQRjoEDm>J52LAE6N;rz*!H44p6KzdcQ2QB$_K4@1&dkmTjB3tV{*xY|Sg}~_ zI89we%iK=U?NzKw2H;Onn05_!^G9u>^F1}Sorb>MKTc3j%9S^DJ$440%TSv`&N(4M2tJkRk&;^q;` z_*M_b;)LWpx5O&0nLax6GY0UDV^OVE1Kje8MbvL@;yx?KlQ!V>hKKut|fY5$K~w$V|ba_rMW4i$#Ce?u}$m9 z-Q9^YT0>*c0%{F&y(vL4UBi_~V_z7t;VB<3d-^ofh1%)4OG2_O>}WmIGc_C67fnek zzwc;btT@|MDp@>BHO{{lPI5Xb5bD(D9_Qqd`YHPA9!cxo+!1v*-A_UO%va(&CwBJK0p@~M?vEBiM2R02gjJH%H?X*x zIqiRb$)e3O>I|{8afl8)UR}|lpas;+XRA8JB@Gwd5nzuLTsK^W+o^b%+coTzs>6R# z*Zo=Bg_0%<#j&`hH^?V52AFaycJ1tP$6R5LJ)*tcQ{mb#d@eoK#>E~1NXRQwooB^6 zNlVu$c?ZM6e~LksQMc!8?o>!JkQ`@=jyGobM6}H==_@268*|C{Hjh?-JMCaGt(2@u zmO#YJFl69PRk@%!L?kZlJl_dA*hvnesv|QIN_LZ7?(vS+K$q7uqv?Elov-`0F6>kmwue%v`z3t;>`iE4;i} z$e&+k*u)KDzBr0u*`$eSHYckFrUp^lPk)25m>V!wo9A>TG!p z4IsqK9yHJL?)4j!q@2K1CkqTj6gDbI!_e`fM ziiWkNMHb54{Lkj-$^W2(Yl7J&tchiIq3bjd3PlNe&Guo5Ih8?nysi4 z@-5cYM{}+&^-UycR{TQjlve$0l>GW21U=uZvWI`LkWK-pNmx+Gp6{wj@G!q%mT-#v zJt6!-&XT%~Mi^*ii^16Dd*9D5sqI9Q$3!=b@4u1CqY zmDk3w$F&DRyUW-x>2Khk+}WAM$p&qtt~*!CqRxEP7mN@qEh;P08}nKQ54EgS^}l>G z1IVWisbJgfS01?0yaTi%Iou6OvK3DufusBGeMRvn;i%N4jW=1%+m{!HHHBe=i?XYy zK$*D)1uMvY3xK0AS=Xm8R&8cyPAEs|Uu%9AmANE~sa2{W-r->{Q<^GJqD*<`MhTw| zd8IY#yo_3&6SWTfk`9;DJ@4W~50@OHU=t#dCcn*cSafg-<{#=Yp&N2AtpCwWFGQTd z-6-v7NxX5Lp1Nl_ctM>{%@Dz7R9KY@w-)}{1rcKKS9ZHFk9u4=Y~);de&z8#7;ykv zV1?N6@r?~71ob!dOY|`H-kNO+s(f@@7R2EZb}$t+g!Gm)faV4rDdM49qyB4hnu}Mj z7>E7N3H%ZFYBW`cpFBt4ymWjcy1svgoyp4GI}f_*_se!sx!}-|ua2R8Jxxy!gN+;z zJaqRC&L=C3{ljaak68fYpa__F;`xFzmkPF~kH|Hw)ZPYXH~^jYkxez}`Zo6AggaD+%kRRTAo1mY=K=4aIm}aj%NTri86GDNCxV1NK z)Qw9=Ymw|*m>y|JRi5>I1mze-66t#7Rl__S0`%*lj-7iHXmB&eM}&o}y1VpD)57;6ZU&(TWnL0}Jzc6Ccg_;^ zcv$*&R?!K&6t9QV-{XOGLm!9{$kN=K@{B4al$HE1&)hRipRw@Fw}o?}@3Lquni~=- z)j;KDd2lbvCm>bmwJY5$00rc94h${)b&Kh~yb`gW%k}-74{@CqKu^e)3|nvSbOX6q z^qC~Z#xsxuV)5iaX5vB&X8)z@k&_G}!^g|09^Z|HNTcucU zjRENR;vYe2{;KZAO%Y-cES6LxG{}x#t0X9vyR+t8V(Eau7kHxy1nl{(J>qyQETzr8 z3_O(B{u2;+yw)h1gv?lcpwQ90t}%u)eSdhW^HY(uN@RXMdw{m>pe@)tqM&ofz~bQW zZ#2y?S<>*H?AwARtKiA71sHw+95}E@Bz;i)h}j?5Peme)OB)mOW*W0IHbFnPG^920 z@!*Jyq1pH|QhISVd?yRE)@BzkihSS#=0Pv5HX+a#*9!Gxz%a-hzE{IA!A`*ks*-@FrixUB*R&amTf9$@m(|F9vhXRkNz5RXv53%rNrJpmnQ0EzJ-nxgaF}aSB1P z>imJO$N~c}gjuEvmkcgb9*z!1gUnRimKNJaxRyigqCetPHjb@^vrF;8kdidCv{%!; zp^y@~ox_emXUNXg)r^};(>RFXgDram>t4Z(iAZrmKG>vAmO!_&C1j}j@#%g3e2*QT zJ4M_kluxct!=ea6mrD~$S|SoN&b76MnuTBT)|lN{mGYsZK#H>oGXmRK9G_q3@YtAV z1QMpZsn9WnLDFEPqo&qrL2k%YS|)oHGOKD7Uym`DS$n8l;ZgUH*Sw`eaKfZd#WxrP zn1H5$sa0Z+3XHHYsc}2jpq#3}tGjZBWg-HSk^Q8L$HdKFZ#_C>fR>I?yEH-y zY;s7>a5Hk<8qCZ(!zxPpQb zYFaoZ9+rv158!(I;-KC`+u9Cqv*-|dHWK8D${*SJRcH;1q*$R*-O{F(zNMK_S3^e7 zlDWqu-ZN?s?ngKH^w=Tv%1Gz{=k(e+VGgN6aRoq?KtJ2Pj2zhb3Ah)2uquU>$R8BEQJDjI$ih=Z~Th zBFl^h$)pLT5;$&<0gFtqyx!(MQppvLJGWR zXIfef_wTWj6NR$#dtuw4QEXH0yiv3Rk@t4uB+BsQ^{Gsup^nejd=WKay1X6#=$4rG zQHcF&v{W*+c?dlG9VldE&zYj(B~1Fwc$cD))fRs&S}H3a*TUE@ulZGtMR;#ca_T5QXuRB>RI0r{ZqtilbI5@h z5xknNSLJjp`kJ(VEhM+)?{K!}l~2Mn=d zmydC4w^U7U3v0MJMQlEhB^|pZpb@f1MCx;fLrN6`vwyuQxAR?;3d2+4k$i(K2i&6P z5N2f^80^LMsl#H0Gep91RFduw0hZWScW%reCH6}vSy;XXv_~_~4PO!N7X*g)4EmiSZzo zEcR8hfd$vulVt97LL;|*w2Y2{&#$5KNEi$~^HP7?L)YO=tH!Mm48jA0_Nm|okL_L= ziWL*a)!$CysQ2~n`IOlPdsjqhoz+(R<>jR(^>*Q;0^iX8E>(8RTe_kC;dW9_iHiuU zdbNq*%SBNJMETMa#enSD)7)P~|05kAa&+Md+u!@1jwWVCm1{dp8lMgWRwR+=@&vwH zKBVTFzc>jY8*m+W-97gu#cqiIJBQSuR?WcoKJTK=k6P=JiZ*mygM*G>_RZg3jdlVD zzZ3Q?4B9P!mSw+D?OL{v4$j4DKrVIN!8`u#)Ko~*fN99M`K#`3&spEzC^%vD7Ymnw zQnmflCvs!cZ*giknW@@^%5Sb6SJEBc0jJiAFVD;w@bTWEsX4o}3wwlAUpgKXIZ-ht zLyLVl#JS5GDe`lyE6qvMvmF$3+~#hEN#U>4!43^ouaW54AZ!kCD_oVJ6jA11pX7TU zHHlBeCnPs4$+WA4m*FYA5yw5Se!pRs)6x_dJ&3+t-;kIQ@syT|BMZ~2+3O{jzMqI2 zDxsh4*TZDYOgKqsWtCIxa7Z|EDfO;OMZxMDt{Fiq?~>^7dsfWJYPO?td3E&7gG)mD zK-ehEnL$z+VzW7QhA}%s@kH5yEhB%ciSTA&m9Fj$(Jzd*cz72Wz#6s*ZOLFGtmhc1 zL3bwG;tazgswSK7-m6WwZhKm>s}_aE#d2B+v@HIEur=KLuDW(AbRq<8Q$}`N3_bbZQj#I&doyuNS6%z z)ELJeI!)zw#E?82>u18Y!y0VxKPoeD5=4E>xzUPN+)h zGrUrT;}qq8t(=T3DK|FEY*<)yYs0{pjT;0HpQvd!>H#9Jj9W7!$r{)8Az$dq#Na$g zPVb>#U3o<#4x>_VyG9S&jvFhWxJ5iD4=^)hna#xtlRwC^P*JO%fQ{?_TM#t{2%9(N=pPA+&=y*WU5K^`4-0np&M>06d zh&93qmb?d@-$j%osi^)y*m-8TMd9kk^UZ&dXIxR-~+9Sc1Tq@IM)N8TQkfyIxeM?{PFoFG3A^l`+~H7dQI*Z4MFjom`5`l z0Auh3mw_A)f5ch7=~O*X%rvQTtYQpoikpnsOA+sP^9VBjgaGlDDZA^P0BHmJ1K8w& zdKl)9;-+s+vI6e{0t!YRy)h@**Uq_CubI~KmJeOw@d!2A7TwZPH@D2NsVG&M^YQAH z>lp;T-j_j1#b69hA(zho;uCsY8+_fKz=@hF(p;3qmiUgG2!kH>({DNyx1&L63yis% z#RRFSFFs}irJ$jsa6ZVOQoTK6ybK%0j1fgs&;~23!iZ zJwitocCz!1i7`S7=R9a~07h&)FcXoJh1E+3NGt99GI(#V0#Occ{r>!`J&u8L{DVvb ziqGBVx|HaaiWQx{o=D>zV0iT>==uG{>Hcq1u@m4W+}~ygcmQ`Ik!i=VQhG{@n6DzM z%rr7|>xY+?E${XyHISPPuoRVl=sY{3GY1a`v@H&PFNw%c3B9Gjc|?i;ptCMkMqHIl z=S`1t%t_=MeQ!Qu?H-w0Ze?+fM;XE3&}8QgrLM+=wtMBL2XLlK8!u3y7*-D-+7z!b z{BHRz5kW{UFmmji(m)D2e>ifTu1c8Gw$98u8@h;GQt8fm8tatC9h#qbp?^r3pM<3QOLR*`ffFb-C=8#c#LzNC~fRbAFmC z7f$M_Bfo0V|C2TO);?+8upg6 zd-zuGA}J^P)d!^1QTDk8%-vr-J&JrBFCSq)JtfSB+|yosT<# zzX&GW)pt#ObHi`J{zykta=cm60$W~v+Qlo@(xaWt8T zp%GpnmV5yovr4ehLT!o#&X|T56sI`e2jlN;QLn@5L37s)iWYJl$i#eBKes@^75`U? z?&i6)6?#>3rD|kop;796-zAKCDb^|2D7!eqZ#V@3v)tzfix)$9ghYGWVRWLUC4ObW zJoyCP6NG*Y^YNJ+xeLn`i|Lj>vJ#MUGT+#Oxi?zP%Sw&}F%6?Ysy7VwmrDmk_vrO4B4^w?h7(1z|l9qA!`G-Mj zYRcT%>sSi*7T-kg!7`ATMcmFl-0}^#V;S09z08?^f98#OziF$S!_Y1mONE9@yBm#i&yH?loSes#XboZE(2UeGNs__WnqUWNjMnO=Ks-3n$ z(XGe$>6>7rgt0eu`y~{{kAT6187=D+C%%Yr^{+&n$~kul5~2uc$?ZZ-!u@t(PbLJ+ z*>^kp*6$Uy0!uQWWu)=?&21BcSKf}9{`d@sl#Ef6lQ@>aOKV+UOf#_7iok0uk87cV z*-<&Yy1<5`#;g!pn81jCAIPn&kmQWpoV$kfSVXCy+{5^>b)mZ0J>rO*u zf8exz$C?AU96JL%eXwM5s@$ND#LX%(y0;7pcRXpj2;=SJ?w{(Ajo!SCtrA=qe2;)Z z$j2J&AJPr#_KX;U3(d@k$w(sDhlC3qoN?aEgYI~o>T;Q&;zHQ?YcjK%Yl2!LgL6~2 z#y}pMqAPZ23AhHo*5CVW&0V5YYr2fEPq#Ok>FalapZS}PkZ8aXK(BjsVMc4+n@=A? zfzYqopkmnYSQC*F!zJnnp7nH9ty~%j=vHBO_i**v98N!bjofw3hn%25RkjdTvwILM24=QA-i_15!GOdljlb|D?;c;s>-*e2$?aGhlv+U< zG=?UvDQ)@6Ssq<6WPY37pbfrc8lJdwguY7oog#%UlbDc~Vl%%%E4ljaJT&y1h@O6J zt_4ZXtcDnbHQ(AxYCt6QS>t}!Otqy{i??5YaCqzqq^?DGk($yy$K78hj~F-3meLWOXzC^~Fp8jU=y? zzNNG&fYr z*U@P2e-tq>C6Omn5{E{8$?8q$o-9w1f(y{=T2;S4Fsx9ck4t`dXB3YB5VO16qZzsO z{XkCNjiiZ{rJ*xoiG5{vu$jmB&vxa}>y{gY1>mEC0&9>qv6O z7`%IVocn;oh>2D=PgKrq8+ve#TKE#-(!03v5;6m#rGE4B^9!{6{})j+|Gkl15q!8f zJVDSma&h7eXF<>8$W-IzYqSVLp7zt#%~!nDFTGi?LNUVaWrS1x0=Z^mqld+=EwUr6 z6V@g3n>7DW_D+{YgR}?xC4i@4m<$QV4Eq)0Z$ih)d(DJZQefY_^To|4@6z4&Y3)FP zDq-E#E72%ESId`xpSpX(X6ElHD z0WgDI$7cqAqS3T=zx(^V@o9Zq+vxHYIwbF^o<$!B8)xkZ?HSkAN{G-AUQ>_jJ#Nk< z4fJ1GC?Za*jrr$uCNti`%w|CW%fgpVIl3mRYQtd>eVA+5QGScSV#}-2H5JzMWK8%? zzaA6z)~K%@N#*}5ud1Uu`_2AX0$1IKdm78*hUcFnCa7xI?j$(|j4{vF790X2D6$$3 z77=MkX{(*OZ`h8TIQPWTvkKbnr-?LPBA<@5uNQYQW@;|(%9CP?kT@Dx?2lMgD0guY z&{V(3?=uY7Q4K#RdK*wYRnS9?m~mK>xm7$k_%rh#tLL#6YXB zs-`J9;%}#9ob3|7zi4jI!R8SWt7#injbMh7wa{( z55rhXpnEEKSM5K4whvuY{ObXtIwTAJMDqQQ;^h8&$NvYxcK?4P|JMM-|FdO+LV?uy zbhi&Vym&!HSk-wtI>tgkFkZ7|k9&KxOwBj%cO7_-pFj})$NBN|(=oiA`5!eb4~5(= zlr&x8n~bCxxw*NWSHECl)_Wqsv$GH?!dVQ%ywK%@!b4yB1A>&46vP;edY-gBPDNj+ z6T>MyB9t+G_sfwGfWy!slU99a351FOo}6@iCnNr19luEzoC};Zb#z9+GD1=m=&N)( zw{LZB+Hs(Qde$4y`stuj_+6vjkLpZ%3}AeqjvLQW&d<*$rlz(Qp96&+^j>fkuf7i% zzhGBN#$f-L`M&MI77`{7&iM<^01EQO<+JoqBmCz`@k}~fFFY4l2nfN6|LAgBhYCMj z8~FSO)L;-P&`n^|Xje+b`10ZMq}Jw!E7zdo>o1fs4=eCOP%9eCci50m{0%k>2?@Db zMfG|kOdGof;qUO1+_b`T5**t!U1GO9&bJJ$M+yy_2%aYndBVMdh9Y*`A$x&~WJ$*F z?Ckvf{rek^wu>IH;RRdq0O3`zWt$z{dsNsw5sf@ws<@mcFB@~DK^KHa!+ZIQd#%^p zER=Y>85nBB{WBnegHrxJTuUx~F8s~6?vydB^UF_8OI9t{O~5MGUFVkg^Q!$4$d*LuZRP&)=S(HdTVQjROH8 zlhfL3OxpLn%MXv|VP03{({(z3q}s8c-QEfTDY@(y)wmqhZT}&d2%beno@lgOYBWAx z%|9HBJRNK~&05ASEono|&ClOL#8&INEG~36Hk1w_xIEhf^-sDvS8Z{Ysk5PgPyFJ_ zqh8r5=;>yvJih>9Jgys-vminZBz7|$aH>PTe$h$~2vuRJtmF$tdsiq<%|hIeF(mzU z+SxK$I;U*@u<>>)`JNxFFL-(H)qQ;K#Ugb7d|DS6GHvrrh$?u?{p^m{+t^m4vZ{dk z>F)Rmhr#QHzd#Hx{eF$QdgxaiOY+GkZ|KgyKgIm?%9-; zm7!`qAQwxIUMKKg-d*KWkJ_4=gXvGZ>1XRC&k4oF#SHV%9)}h>>t~w-{3oq2u&s%ne@$vD-f_H~~XJ~@=Jvs|c253`5PR+6U`*SkOpxqDe@i0`ky5g5soP|z< z_xa*prnz1+Td>{=!SYS_*2u9Ngr+Z+3E{2itnw}2N-y2QM13(l-;Rz(*R^_`p-SKF zzI0AZ?6Ly=f~kQzflyUm$to+uwF*703%xpl@M)}PN022!sVbb(WgBFIPZ?Dtk|eZU zE=G75bf}=ljjc%X7hOD4*val_EhuU34-~v0Tk<%U5_~$1Jbz)7K)$BFzW(OGL^T&}i{X{esoDL8^pR%_kjE<5C1?gt_-?qlPmK9Bii$OaSx8R;CsOPW8O zcvwY^=`%F7vg$f?vazm7=YfGRX5w8}eBfPfH{+piAbx=W3bd&L^0(z~G=g30jUsQn zSqtT|+mdL05_;y-c`|X$Ce@+V^b$e0TY?rE>&=`Bm zJ7G}yTOs@vqvrd?S=IDTjIcmObmyyuKoP zy;va)Hy0sXTztIiVb!z?MDLsG+(tJC;%{5w1%<7w4vQl#%+2S{?yo|Ft-kpT4@+w@ z;y_qk<>jn`H*KhAek2d1$4a5sOfT(+FS~=VF#N{FpM!+%*LBuKxXQ%;8v33V*PU<& zGZZ)I;l}vzSxn@~7~JqMIUNuCK??kz}Ghe|4K*St!KC@)Th>RWG2*q#2# zAxchSgK($1ny!}yUg%HI2es0z;WM~+P&Z50&EggobkDcx&wUV5OJyDJ*rj{;HkU7y zFlBqzwsWzVA)C<9@zb2R>f_bkT{T|wy*lCFRD}&jhZmm&pi0)F%jOAU%?S5=01G{0 z=-iFRf60<>g!t!8)aMga*Xf30Wsaed5jGZA@oP%Hs00m?ju1Zlf%H{!M$jb4d>Adi6}+qp-X3>JaztX3j$|jv}t+dEX4*i zY9BMYKVs^n=osE#20ANT1V6WdE1uWIq;>w7%P9AEW{9srJ=vAG zd@dvQ((Z5J1>lF8FMr&*ZzrwaP)$0Zoqvwqwk!~g2MkZ5dI7#X#T zlorC9|25=#MlR0K&|lSfeuxtuE6ZI#`i~wR*+RnClWxpI2ET^=m<&i%HNq;LlccFG zTx@Zu4nM+!kx5OJ)ggdM6>*r1J1B3#1d>~Y6BU)M$&*nYk`RG|5R0+U&T1QThP@+0FMZ*s-Z{{Za#Y#p>V8pWZvm1?k zMJHoi1tB}QW7^NXI?|+GhPmR9Oj(9c;7W-VQqx4sS{<30yUsV!R~5hiNH+C5-r2g& zmHk}=*TcEp7`I!R8*qLokr`tV*(LpA@XDY{8r@@#Olja zQ?llDMuEW-gAld{(l+NzkmNp@dsTV)aT}a-Mg1s&o}>ev10Pu@Y%2I_v!+4z4WMv> z(XLvs|Hy2`*C1+{L+*Jao+uu3s3Q?vD5Z&h+`QXY7oYt%ELSNB{BLX+p9Oj z9uhRb`B|6oBRepf9K(Xkkub3XEF_KR6oHbOGimibX?JDgS1=wjE9Y_7`g~7w44H8U zW$~66{u*5+{UADzQgw?fj5JeG(dLTnQfG{YiLcylX4_cj#0I~(yM?ufL#w>R{_Q#Y z5gJ_KRkBr+_(|l@_q>CQGEIpWue(vo!>`x6);$fDX&Q>)U=h96eY*5=TY z2`I5KSDe6!H=50r7xL*@KDZ7FI}G6r3D z8`JvyLp>*4Qmi{A8#K$Qrn_-tD+Pvbog;ur5~KVMw)bX`MH^DaHNAIdz++BHOEji(`H3aE*w!#tk?rcmmDo|R1eAx&b6>{yz7TmrC zNa+@1_-<6HxC6`;1jZfBeFZ)QNez?qeSp`6)*djZ&IPO$CcaUNc<3~*Hw{oudVz5L zb%a<4H>uI26fX(+rp! zorGGGGmJ<+lb@n_ve4i+%5_Q=FX`f)6_;UKNHe$>$ZVq)%^ikHue-1e-TP;a7Vjzj zJKx6ukEv&KRCS26E!?L@C3QVxSuDb@&tvE*BZb_bKqFtEMi{QYy5l3`BNG7x9vEa~ z{-oS5^qu43)rKk~Y8`KM;kuVnGbAAsJ+hBwe>JxY_#)P^r?xWWi!(2k$l47uuBq7# zWkd@eW>(PN9-AcqtsErMJAlg}2qcgxSNJLmt^C>DNxh&G)9V|-rCaGH>tK+kxyuSw@8M*g0; zHjWOMON#Sl>2jcld*0;+{c`id%1*{oz&{`XjOWJ*DqE9Hfw*piAH1j?>-XNi?zgB@ znjg@kn9B%V;%d|g6{!=p5>ZE(-3cMd6hT8LKd6}g>B7i40-Pl@=$84Dxl_uIYlf00 z0yEuRg2Jsq1?zx0#wIs`v@WJTh7<3%xJHB9Eez z0}EHp*xmcVK6>J&-!1%Y8fW_!76z&aeKsWaqlLd=V-VfSE3F=U)o#~!TZ`k8S4>Tx zFTbf){}`jsrsCP;voM}bNHjsk5eiVos}$ZOmA15q;PFh>dDSH28Ss~8fOy{M>$65C z3MPgAAj!SdijHg8TGRX9+bdzWn8|$1(s#^-N9Ie8GOg^W46#bC8LxWXmyA*F#R9ph z(Ym(Pw@h*4E83eQRc(?ap73Y&elX?)vthNT`3u6aFI1 z*9Ti1o@Zj!(M=+CUYqjioV#p%7Q3sdpG4v9ZW2}rO`j$%_7l&Lf3stg7%!{Hojr@Y zp79l<6&nxnS-67|-Sj9HpXb&2$55ZAk5qfw5tayW_au+(e+Z4mXlE+JSencyCj~@^6^+3r^85uy5|5s%sZXp>ls5KnK??k; z5w-oQf74_J4<&10^P~aUn|qzGCbet|JEACq^f~344cZt`ra^1lsh_TM+~H1cA8+6U zt?cb1=R*}}&?1k%7gc*>PiDfdF7p2b0*j;nYU1^^hZr35IG=5FjLj!#dTgvwD8$V9 zmec$aPaW_0+2qLI9Omr#&Q@CcJK^{o#Yv z?8K+J^FW;7rnf5d1$BH>&1x2?(u_XA=&eFB2 z{&4ialI{2}Qv&?;<}FlYZqkRuJnzXzv%F82YkRmm~3qie?hdgla2OG~*RDb{qj>2FvfbOUn(%yJQZSyjZz zYjWesyH=aOq6x~m)bWBGq3MvEx9>f3Fh3qY^IzQlv7k3(f-&1bFw0-wS*PFs6W{w^ z-1*&cj-bzdK}>j$S#9>o6~5r!n>^&+uMxlDPUtyRn?guRWqbe^nGa>E(juq7(}simdcgb^b>jZ9mCC2usBUG_jaWf%mQ_|kkAx8oSt z+CFooVSF#h2=#Z`Sv%hP-%Lq$N&=T5@lk|s+hzKXQA1wR;A!*m35N^yl)5_fC$527 zrJr%SpyE#}ksJZY!UfV=Tn3!Pstn! z4vj$E;Edos-(QmQnjL=y4~)`yAOBQdjmOOi38y$9Hv)731xGGcfk%slfAvw5lg$`X z1L9X^0j+tCNK1W9=b&<&^8Q8wLj(reue`TkWrQ#ki1F_wzUCt*4+W@8lqW0TA%{zl z{&g44)FZUGro`Pr@hLarmZO7FgLz>$sVN_he$2{X+THM9q*$6mD$<9{xz4by^`wPX zEboLd?6^joVYRf7!07Izzu%!n)0$g7(ey)}^AMiyUgi99 zuP$@v>J7i7-s}6wEE7Rq^ncQJD$yA#opvXTLu!ccLJ=`Su=> zwbA%5F1{t-f7Y{G@o{( zaZEMOXF0QdaWo6Kj4@f5`25wbS1=KVEN1`xopr#^S8HYt>l>d!|9q7Iw!3BOkSFgkdr|RkF{k2jH-rY@@A{1j(;)b^{i+))vIpO;9wbY zF_*Pw{|oeLRvn?o&HXj&wQ#rEOH%(+42fwjsj7_m}_oRIhwcU{7<6bdz zB_z&f+S#qECB4(dpWV;wlp(Xh=&u9@z4Cb$Cs$>;p#+)f zhl2$>)kB^dxl!58Nh++g| z;Fz7g-*n!(#uIkr{?6sd!$ZBTnT1bkx|ja?P8z%g5ikK@r|6Yi;m$kR0ek9~^EmHe zUF7yy0V?i?FPZ&9yj%&NS0%b8E^}jMGnqFaL2*BO0M1U-*w-CY?nVRm^5T_P-K6b##yeaUm^l;ad<)XB)8 zoAFvOtPmPlat~iZ;0iCYYsV7W-v_xNYegtXV}uejKNu$nR!D!q`e0|dIz)%zE)

tf89gpJO&qCahfH&V(c*Hk$s=mhqbZ0FWvg8->k*FSCEIFlC9B$3A{DMjfnVE9 z8z01yenfs{w`P3Ae@p33QVquFFFzH*6u2M=h2d%`Px9z`_$V|`0&}rcYvN<*5!u+& zb09E$aC0dGXf9b;$D$OgdG0D`md+y(Vy;kWs2o9ptZEt^tb>}s@NbVMh13WdGjhe! zZj=cd7A0G510IJ5AVPW&oJ)0ThA{1AnG|x_M~_v1>z9K~8g9)C2s>vcKZT)Oj~|lT zn@nPsP?B$8;vmiwxVQ^$>PF@|c1{iQ^YpyhN9>qEf`S-pqRDf%P=x+w&kz^jy2>Ii zQOm$s(nKHVzp7E}BgQ$@JS9HrEJef>O88q+)sySFsNP(e=7+g+GbJOd-eHX%oOE%-O?S07WX+Z%)VR68Qf>(f zu(0??rH|mEuy0eR4Jj8%$hJQ|e}rEYe*XM!8jx`NA@&fNDSn=6ase7^pV^wg8`;Y= zYy$A3)`sADPeXIAE`3Hl+V&=?JI~Yi5VAn9=00Da7GeQv%vXax^P^M7Sv;R)cdY*& z5h~$+)4bT`wHm%Lo2v8vQLYFYYvis)jc58~x)QE_>J^eK)AzX&U6ONcglt;>_gJ1# zm(}mz(%5s*rL8851XyGCV9pPu%@2&Sel}ji;kF*m9abPqy>K0meU7f6%E z!v`h{RzRyOl^-AW)R6g4J<4Eo@ zB744`J|nS2BKV1JVrG53&I^OdHQ-gq;_-Am(O=G)rhjtSZl*T8LI6rP^@=kOcHLr? zp5lU0vlq)y+v1FP$e#Bf{ z4sdZ%`TXt@5R#%Sl8(0~po^zv>e$gMQ&ZZslO*8XS zCKl>m*3XCEC?mST0BWy;54PSEBI_KSD!a+nW^?F-uw9FsbyLPJ<@%f_QE4cZyR%g5 zo0(6^O?i2BwcbWl-;vR=>4g*{h!tPdqLiO)!z)`;-}~C9q*E!>RzLS$#9r0;{_@V= z_l7q8F7GReu?4Mdw3f;?Ta>1|zrOW*55I0A#VSeZi0k za8{gIX-E{nUEI(qxhvtf+PSP~);6+d{7SKD*fC$%UWpEW%5e3Sg^=8uKFgCeDRgCv zps}fY0KToIe(-dIKgv{S9uWmU7T+!YXXCHk(OfxtOj%4Ui;}}nOb%6wpDIw-ca&8q zQ4tHCq&oi4n9yMGWCg@M@0Vwi6tyo z8Ey5wXWKlCB?wZ*DdrPDfFdnZ&wll^wl|CIp!>cI;3$u~7ic*c*r(=e2~YAIC=M-s z4<7RShAozm68R3#rDM)a@U#E=Th&LLeax6Zf2$rfk*sJ6!aiN(V%F8#EVG{pwF@ly z+nF9hm`&@6$+%7BMbhS1?(aWfU@JkRQ`9#*;WWvK02vo5Rvl#2lWsFE4)3)HI0WM& zkzXefHl>-+Ag66QX1gP|k|ORSLI@gzL%W3~@U@IFnNp%k(32hmZ)9USV&mzvIOsFy zAFlF`@3fSvJn1j*$no#8Rke0RfvJcbLokC!4oA zod`Tc-0P1?K+4rODnY)0wlPig+$E$obvN6`VXXbfB4Y!LrJHvSY2nYy7@8#T``oqvhzeV>ECX)_?OarZp zgVx9U-CF1=pwwljE}INN4uXK`gj=F1}U z1XK`nqcki;0zhYvAPt{=ra6x{HUHUCG%t2iy19`Eld= zv@JA(<)N}`x!_f0kOx=-0SG8zx&$zo9qLP>}l-yYKFxF)5FLNSFqb51#%AR$(sG_i z+YDGTJuNeP{?zr(v}X)oLaNP>#o(q^tqo_Vj(Q#ZI@=e+Oai!@yoaw=?Lx`fHEI`%Wy-ZJk zR4BmsHFfmRK6iEsPH{Z(Gm6(8A1a&(to-uX*{0g-IdKv0Gd#>`UZ*CB0o_ihZC|#I ztmoy{g-9k_Ng2o`0Y4jLby53+B;9HRPxa~gt%<_OTgwM#@ee2a9CVt56$Fc!dSyRB z3+Vj9?y7g2Qw)pR(>qJ5mh!{d5}oS@+Z=^yG|Dj2=4BtMX{E7`%GJf=5qu_ZM#4yz zZU>pQ5#YRug-X2mZnLbS`3C*SgZAsEGzwa+F9eXqgD&Ue)awFJeo~J@PQltXu2vVq zqxxlZkAD-I)luLrzzR?%4N)$tXuPt}Jzo`v!^FCtU~Oj18xGk_%3aF@e>=EQ;lewb z;+{YWW@ri|nNGyt!Iq#_l^z~ja5uZmBu8<4z3-ju1B_AZ{}6iwHb}yZmV2*ZhCd~z zyxgdNqFJR3`CUZ=Iy^Sx$_smh)oy8f;ssFfb_{I1$=DPPV5Cfzde2y86%w@h>3x8?^!o+9c#PD_mu z%@@dZz(|?>GRQ&6{f-&m3~Tj}O@-&rogXo1(Mqw0D$bI-1=|&h^e8D*How&~ere!U zzd~gZHgsH-XZ>t4-nj_v+r|RtCa7oZy!qXw{To=wd$ZniSSMiU{k?`9`Ul9RVZ0!N zD1Q-Tfw)~%a(s0w43#^xsLkF4xIOVsF>bROheU2(Qd85$5wpP|Ar(LNd7)t6a`Mb* zljW7Rp}O-{^%E{1so|#DM~9k>Iv`7_;65AUyncNxGSY|kDad3E?=_6GUdHsRI(ua1 znt1*c30( zt|IY<0wT2V5kL2nNX}^CS3fMpI%pzVyP3){shFk^%9o6dek{S_78J}QdmS?waH~lm zI_)S+O5!SU5()rlRnnN~L z;Dn}-b0=;IcI|G%`iDj|XH$Ye z`wrOgPtk@FZFpy+et0F*{SAv0yZP7S{pwUH04r;7QI$EK+E%!N2$hWG(E}1XVrH^4 zAs(~)o2IhNUEV;Aa}zoc9{d}|NLC&kvT-j^#E@gsM#Trk?atlhY9-!ZztqdFPe|Lm z_30z-I2Oribt|Y04 z5#Um<_%wxh!`I1CLL}D4F8udggoK7;m3*w#Ks;@GZO zEA6mrE&JxRkW~i{|FN#{v>71|H~l6LuQ}_xlvaH?Q$` zf2BY5mcn^E=wP}ujPcwUY^T>nT!d=?q6svZxuwR?;v>p1QD;!!R^H^1?(CysR2I+z z@yeX_0^J%Q92fli)xLsj%b6s-vkM={W!`dvfR$>^C_a9OxxUNkGE#{!pOP_x=jw9K zwXi7>{h8HZ`_`sXkn}LY>+5!n1*mX#$r!ndJgX`3;zMxb8HnWTW38|Cq1A{Q%`sZ) z$lCKGhc@{Hm}M&lrjZB1FkcOYzzMD)%TZCG@LRX1=gflkK^bnI1K$6t z?L32;48naM5J42ABS;enReF)$q=XVW(t8P2q=nwAG!c;&N+<$KN2EgpY0^U{)BsWh z0@6F&oO3>$5BJF72wq`7<@q{NS@0wZCJXnG9CB;I{Hg+$NuWGK6k>#IEVfGrd z;!V*7sa-}jw0JxH1bd(+)zU<#$4&`RsW?&{o5z0QQnr4sOd}1QQ)t#0T=gK)LWrn_ zWa^8$mCm-?CpdIETBIRXIMef^mp^?TkARb^a^vexNdxV_r8(QO{u?5|EemomxrPwF zT`i>xau#`R{oQg;1rhZ4lsN5K@%qhr#=``yNm<5W!T8@qm#boXK5yIejo7FNDTH~^ zdu@_O-nmI>)hJrTMEA1IkAj_mqSW(dck|V9<+~Rt5MuPzXM>~u8LW3AqGMsX$g$;o zjE45isk3w8wc5a$ifkV_5XQdB?x zmg~#Lbk{}W=5Mr&rb$Xg<~^%UK2y#0a+O9-Ku=uHCy^oor^d9|7Z1)$d=z;*dhCCV z?wl!c%sGF2Iz~2m3nqFVA#|ASY0E~HNGK3syliRRoHjEhsh;XCp5+C%s6AaHqw4MI zx!fM0`ZKaXcw+uJ`vF1D6H5cCqt$@5Hbd?+o7`^8J9=!Xx@gj(b*y7Ojpv;Q-FuVB z5T}OItGtcjMjQv!J|)QLlVUMrUwpEF$7p|ebS+3jPb3B1^qa)H3i*0z;p@$v|Mq;E z>B=xd2`l$FM8}UfNQdYof#P{IKOILK6BADsGt|}p=#gcu zo4=D@`8lgo>8=vRtm208UL@@2G+As;ryp+-ox&)O^0GvEiuW`s_Ri?9orWZ|7xj5Q z00$<(@iN=Kgin*qEmhbsS!`YzBa_6$ z6}*I0fUA)HFimkC?X=%c;_QoIyDB;|X~43Ge8OW4a^t0x=8;nZ;<^+BJq1v_*QOoi z%|x|I5^P1=cJI@6J93d(J?D5UI*zp9X=W0ZbWI^QM+irhI&+pMtY(-D!Ah5EiQJ-G z9vGw%MveQ6(&){*-c>+^AqB96TC*QQr<*{hhE>A1Yu``oM)twM}ywwtcG-0ki z)BK_}n}DFyh~4Lr2~kY5QAC#ejrzPzA{XWM6m2~e&PSpTD~6)vNUi_avpChu2Z!eS zi4qiIM1yyjU4=EGwa+inpyYT)=` zH9zN~;~MThvAtM-{fF?W5yJ7WPjzB~u>H?K8B}{^8!o*3DhA`#0<+0;>?HiqwK=6oPzMm)lrL7m`(PR$Mo@8CCq<8gXe zdBLnpu6@0Mo(&7n@fd;TefZGjK1QVQ10z#mJY|~M0g{)sa%H#FhSz64P2KxanppcI z=3|QMf?cTsuH9|()%AWD9M4CcAizVbj*-R&y*LuQ^Pl--C6?4Yyc^QWWPh)1;wEQ5 zS}n0`w7Qlp8r~H>j{8hWK;g>@i6Z;@De2F6o`Q5^y%c$q!G_P}_!G_f8Nus1aW>cR z5iv=#G&THXH;P)?0w_2b603M%_UaacAGYfsH;~P8hvE8ckn5)0e~xzUex*`Y`ql8W z>tvpfg@d(ib}Ao*_AUV#%eCbG2KuxM&Gn!of^ad&#&^A+$f|kTC(%m?>~GcGLE3H; zy_##9@Y_5J{q|hd-)Tc+pyE=M-Q4D4Z}Z z!Rs&Iu!^#BaqoDa#^#xbL0UT5eM<}bsp6~6UwfjIQ+ipnY&~AJ-o^4n&5;Xk1f5^X zzp@|mzP)DeHTaM)5Wir`A}O5Gh!~_P*d^wUvC}F;Z*Q@$%VkNXt3ODbRiCx)l>WW< zSVvPJ2WR^G&>wKb#;G#(SeO>~Lv{~8utuABt#e~1#J_sh>)kRAM5b6 zPwoA0wCKj))@6jRW6@{&p~`u3N?yaMIdZxTs3mchpbz)i3|rV37encS7=s3rUiN-w z5HVKOe)J!4r^4-fB@uO=;#F*V8??B!JNu}+Z*(tCjEbfr<|p6y)g7##;0tyKPw?kw zc$7O7u-wLsI4v!pJPt_0jp>6MGUwC?3HTqUSk;@pfJ?o|p5rjWsc?-(LI5k8=QMzA z+D^HUV?MyPrcbATVdkWY^;VO2z%6e%>ehEG5D~j`m3kWE%-3ThW0{fpWOx{4GGDtG zz}34jJ@Dm-b97^LF+mcQ%+{Dd-Pb7NXV%q+)IgugEgY2Pf9X)y+nQbWIP2rD;i)#h z`ZrpgS9&N?@ld^ikGDpJR&&;wvY!6$ti4GEHGPMSj-0Gi?3(plwLVw+I8vOCy0#q2 z=~|Ha%}I;?>`e1SlE2d)Qv%W^i-+i_7!odN{V6&D0LbmsloSl0-wccCe)j(|msGR4 zdQ;Y=$I(W?epCJ4!7cCMyK_6P1l&M|s>!9L$|yu3D3$X*@5b zjVG>wlhD|M?cyE%E2K2oNBwD26mjVst^zOW5 zS}&8TYmNrTUr^;czRc*u5IlEg5zfpke&ex(Sz6Yt=+W(sUUI?91y`Es665oMTfR94 zbWj$rJ+AB6d(k8U@^?>-84-<@vT~lbO^tZ`3y)r{f!2 zxKFJ~ZCYl~m>FAN{d#7Qw`fDwfj>XTof8F$&U{hZF`~*gxHus$*P=p5bhdVmIuOkc zwsuMX`0c$Arx*jp>tKm|69JvAi?5ORP9RaAN+dT09PVi3Em%j3g@N#SzyT9HF_}71 z4-68x&&+0E2c;%5rKJ&;lAAZ>GYwJVbs-Fi-SJDdT`qKe5K&#NXwv)Il2|-ISbpbu2i{uB~>?#>z*$4+{?)6Iwcpj_CgT1?#$yw^s!;6-fc_X97 z%>nasd&g{javR7p)auvS?agq@2AM{*Bi~r8xCz0^&`~MF$ov9f><;DAM2xICuZAYU zZhBUa{5>|;4vuSCmlrrVFxFVNmuk@-wSvL7&eOyAP7MY@?mT^cGwLt|maCh-SZ=~| zL^A|O;N<68(@Wmd9ESex9(C%{S4M;j2@l**cg`WQ%8 z{H$M_a@zJSHB`g^P+)GwL)d92$(K0+2Zl&qxMV?NLuL4sK%>v?KU2_PI`O@Ys-q z>4*F>`2VWhe@)P*wupYlDC3VfOnf6}cijHPX;WcYI&-<^=Cl9AV;#6*nCGGhdY60M zSd}R;xFtRe8Q3~9@DL!MhYT(x)|tGZO|BJ{Q{!q5^tBMvuzyLdVq`=pnGoH7uEX() zww_jCj{0(|1_bn@0Q#MC&WJR!aKxBg9%AIO5zb#H7gG)z7s{S6_Xr>V4}jcakqnNA zrM|8v``$9?lL*E=@EkWcOHiib(f+j7!t+gtuNeAJ%P;1Ecw8)3ll3^ zSa+kd0Ob2=BI50c138gKoBe*V>o zJK40gaHIJ~ZMf0MLiY_-+O(!e0Bk|hG$%&!sJtS`!g9GOF!;<*pLZ@O$erO*LaUmz zBG4p1^s8>d!%M+(27tRq&);#N4yDJIo;CN6p(4r z&=j@7Ldx)c&{(w~MU^#_SV(-YFQi4*$tyRB^yRflJ|?4k<VaIzd?;yoK7kZu1^lp~6UKS}B!O<4Gub+7etmn7% z{3l=L_@wgq3}d$JuD$A?rTAJ#!}e_k91+x&SokdXcxjAhpI*;h#sG)J;B2LlZ}$tt zO5kMVF{&Cm!_s!fpvVtV^Sy1C`4}|iaBQ9Wu9U)n>5H{+{zem~m8eBWc0*@G(GWqq z)>}cjRI!7dQ7p}sgx010AXW?IAFe0DH$?%nVF~3f_Md2FUBz|AJ`Ov5Em!AFYu_Ze z(co@VcX5s_@l&Rp#d}gw!2@o7!DJT-iRm8t*?P*-3%m2^r5iq(bDMLc9)?fpHE%mt z7hX?02*XP*KK9ZD)uPF+JMu*Nq67anZl zw6K*{k@d3{od)^=^UR9cbk=m|g4SUFVYmVEbl)Vi#4VNJCfZJ9VIJzNCwC~%7tBZz zD63p*CZeO7TFoim&gcd=#A4aOy7@K&NMPD9vi1Y%V{zm$*F*}+&R0z|4Ok=fC|adf zLX!X?WXL3(d;md9#|NKgr%L|q;v=#bes#$8*L1J`FQE?a}hDDnPUVr+a?|9`gtHtHlX`K^0v3XH@AmSZJA%N+QKoQfcpX~;3}YHDXl5_~qgYCH$o z0fxQStuyzpOP8(q)i!}+wn`t621f@zs(1`@Z~bw=>R;r#y$^MEv_0m1aLBfK4#r!F z_JFp+siq@We_Gi^cZT;b09wQoZuBh{`8ue6dY8>7)ta`(R zL6JNJRar>n6v2pY+i!vJv9~s1a%!crN#`dImVlXqh1n|qB$z6M4sc_u7H)Xw6Wx1zVKsx5dMl;dtP5aTsk0bx zKu}?S^eh=GOx=?{Yjb=nm+BKxowvR8vMG)o`}EZ0kKkh-Kbb%>TQ{-BZ#3^5Fs4PZl|1o&fHS zUfBB7OMsOrKRITw`+$W^@Zz4O5O*dm>?(cxqQ)rWiyM;Y_FZOp597m&!fLaDsRmbd z6lVG5ZVVO#lrh@Fn;oxpDLV&M(Z~3>+J3|#HqdXon0C)MtAY!+@Fq8^H#lH-T)0&F zm)W?nLVa+lwticAHc)x#!|e6@C3-7si?ikq@$|=kr_?0%9HV>Jy2SpWY7Cj9FBXCf zyX1E{)mn?tCxKc)UxxQ>a@CW;LSx0TSWtZc{9t-Rh7Qsg@K3VfGx+GM>$S8ADv!y> z0u+?g{n9XyNzkq!r>rd&QQIow8~I%GzMbMi4us0E#$H0O+S&PVUv) z=-j8t=AZg=wavzW1I`5wzk-7#J@?tnlnby68q_vwB&(RlHH}x#EV0>%;fc8_ORox^ ziT$N-sc2Z2ONBzKuwIv;*j z%DP6S1}h(&PM=kgd!;B}BXySHBG~H~mpOWS^Abyq`({l0JT!rOSzbhpC$5q+#O!)1MzUhbU;3TjRsQx|})|aXC>LkFz z`0PxT{c+OhSzZbGl)lmyE2V|e@f4LmvV?$XIL%U#$tZI>Y_hc{HfT2msS&~ zRoca=J@k^&X5yCiD#V}X`U{EBiD&|vh&k~QA+wU-7(30^va~-w6pZ(rAsv~m@>QYI zheSaGB5!K$D>3ThW!cL>4 zT^h-Uf$o`A#*9$=y!h+9JC4j-znY;}547NPL*}q5r3YzJSjX5HJ+PzatZl4a_MU0( z(3H}rNm2t0aD>t2b#3i{;Eqca@1L>SDw4pUz2y@Glb7289$-?u_4|#o|4`(B< zg)1+x0QcCWFd_cn9>?)E7Qgk&0YJ9<59;fmX?)_j&ffP)n?5$-=4{4|&^Bc&{Rr06 zrN?V~Dopp^0d&YFf9YPD5dO0!)LwF3P7(#`UBOFg`f9?NsE7)g4VmKT*AH3R1UDUh zD5s+bZ2Os7v6L|w`}7P+>)8? zeqLk|tae@o+;XrIKJpIx(gq=7wt7pyez0(Fuvl@^^2+~b)bp#XrNvS)YSz>_mPKTz zeZOey@Xpk~lI0!h-fnV9-_d-aeQ4dFT+^U6|DQ(1HOazQ={dV?rAsFc|O;TMJ2_4M-&1@Pb{J zqClQm-X@$xAcBRtOUp**jlndLTx8ao_WXjU01ci-vkYe9S~kT6wwRw*Jj!2oPR}U) z-p}gp?ri(-t@zb(!0zg`f5W6ZU6|{&?+J-j|DSmQ-#h3pTzR+8dg?g@+KBwVywk*l|Mhprw~&XaNAgC>uWZ6$Y0e_ERk$2LMo2CjtQE^=z^2 zPvj2(fRCSP0D$l>J=iwzKf8XL5%jp!<5%Yr-NFR`Ds^^gwod~ET}NF;9|8czg)@S+ z0jKKVoB*(+HwPX7P#gPd5LfEbL^$O@F0>C-L#`=YBf$>OR4&`b>#m7wv^z9 From 7f05d9d687c97cd5c11593fc5cc452771e2923ad Mon Sep 17 00:00:00 2001 From: upbin <1269836458@qq.com> Date: Sat, 7 Mar 2020 00:10:44 +0800 Subject: [PATCH 2/8] Modify image path --- dynamic_programming/FourKeysKeyboard.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dynamic_programming/FourKeysKeyboard.md b/dynamic_programming/FourKeysKeyboard.md index 36be9b2..9690c58 100644 --- a/dynamic_programming/FourKeysKeyboard.md +++ b/dynamic_programming/FourKeysKeyboard.md @@ -159,7 +159,7 @@ public int maxA(int N) { The `j` variable `minus 2` is used to save the number of operations available to `Ctrl-A`, `Ctrl-C`. See the description picture to understand: -![](D:/RapidAccess/Documents/Algorithm/fucking-algorithm/pictures/4keyboard/1.jpg) +![](../pictures/4keyboard/1.jpg) We have just completed this algorithm. The time complexity of the algorithm is *O(N^2)​* and the space complexity is ​*O(N)*​, so this solution seems to be very efficient. From 5c533f193e8dfa464c78ca02be5549b6fce026dd Mon Sep 17 00:00:00 2001 From: Tommy Date: Sat, 7 Mar 2020 11:19:00 +0800 Subject: [PATCH 3/8] Added translation of One-line Code Puzzles. --- interview/one-line-code-puzzles.md | 118 +++++++++++++++++++ interview/一行代码解决的智力题.md | 120 -------------------- 2 files changed, 118 insertions(+), 120 deletions(-) create mode 100644 interview/one-line-code-puzzles.md delete mode 100644 interview/一行代码解决的智力题.md diff --git a/interview/one-line-code-puzzles.md b/interview/one-line-code-puzzles.md new file mode 100644 index 0000000..046e403 --- /dev/null +++ b/interview/one-line-code-puzzles.md @@ -0,0 +1,118 @@ +# One-line Code Puzzles + +**Translator: [tommytim0515](https://github.com/tommytim0515)** + +**Author: [labuladong](https://github.com/labuladong)** + +This is my summary of three interesting "brain teaser" puzzles from the problems I solved on LeetCode. They can all be solved by algorithmic programming. However, if you think a bit more, you may find the laws of them and figure them out directly. + +### 1. Nim Game + +The game rule is that there is a heap of stones on the table for you and friends to remove. Each of you takes turns to remove the stones and can take at least one and at most three each time. The one who takes the last stone will win the game. See more on [LeetCode page](https://leetcode.com/problems/nim-game/) and [Wikipedia](https://en.wikipedia.org/wiki/Nim). + +Suppose both of you are very clever and have optimal strategies for the game, and you are the first one to take the stone. Write an algorithm to determine whether you can win the game given the number of stones in the heap. (Input a positive integer n, output true or false depending on whether you can win the game). + +For instance, there are 4 stones in total, and the output should be false. Because no matter how many stones you take (1, 2, or 3), the opponent can always take the remaining at once including the last one. You are guaranteed to lose the game. + +First of all, dynamic programming (DP) can be implemented into this problem, because you can find the repeated sub-problems. However, this method would be very complicated as it involves games played between you and your opponent, who are both clever. + +**We usually use contrarian thinking to find a solution of this kind of problems**： + +If I win the game, I need to take the remaining stones (1~3 stones) at once. + +How to make this situation come into being? If there are 4 stones remaining when your opponent takes the chance to pick the stones, no matter how he takes the stones, you can always win the game because there will always be 1~3 stones remaining. + +And how to force your opponent to face the situation when there are 4 stones left? If there are 5~7 stones remaining by the time you take your turn, you can let your opponent face 4-stone situation. + +Then how to get into a 5~7 stones situation when you are picking? Let your opponent face 8 stones. No matter how he plans to take the stones, we can win the game because of the remaining 5~7 stones. + +And so on, we can find out that if n is a multiple of 4, you will fall into the trap and can never win the game. The solution to this problem is very simple: + +```cpp +bool canWinNim(int n) { + // If n is a multiple of 4, then return false + // Otherwise, return true + return n % 4 != 0; +} +``` + +### 2. Stone Game + +The game rule is that you and your friend play a game with piles of stones. The piles of stone are represented by an array, ```piles```. ```pile[i]``` refers to the number of stones in the ith pile. Each turn, a player takes the entire pile of stones from either the beginning or the end of the row. And the winner is the one who gets more stones in the end. See more on [LeetCode page](https://leetcode.com/problems/stone-game/). + +**Suppose both of you are very clever and have optimal strategies for the game**, and you start first. Write an algorithm to determine whether you can win the game given the number of stones in the heap. (Input an array, pile, output true or false depending on whether you can win the game). + +Please pay attention that the number of piles of stones should be even. So both of you get the same number of piles of stones. However, the total amount of stones is odd. So you are not able to get the same number of stones and there must be a winner. + +For instance, `piles=[2, 1, 9, 5]`, you take first, you can choose 2 or 5 and you choose 2. + +`piles=[1, 9, 5]`, your opponent's turn, he or she can choose 1 or 5, and he or she chooses 5. + +`piles=[1, 9]`, your turn, you pick 9. + +Finally, your opponent has no choice but choosing 1. + +In summary, you get $2 + 9 = 11$ stones in total, your opponents gets $5 + 1 = 6$ stones. You win, the return value is true. + +As you can see that it is not always correct to choose the one with larger number of stones. Why you should choose 2 rather than 5 at the first time? Because 9 is behind 5. You will lose the game for giving the pile of 9 stones to the opponent for chasing a moment's gain. + +And that is why we need to emphasize that both the players are clever. The algorithm is also to determine whether you can win with best decisions. + +The problem also involves playing a game by the two players. It is very complicated to use "brute force" method like dynamic programming (DP). And if we think a bit deeper we will find out that + +```java +boolean stoneGame(int[] piles) { + return true; +} +``` + +Why we can write like this? There are two important conditions about the problem: the number of the pile of stones is even, while the total number of the stone is odd. These two conditions seem to increase the fairness of the game, while they indeed let it become a "leet-cutting" game. For instance, suppose the indexes of piles of stones are 1, 2, 3, 4 from start to end sequentially when `pile=[2, 1, 9, 5]`. + +If we divide these four piles of stones into two groups according to whether the index is even or not, which equals 1, 3 in a group and 2, 4 in another group. The numbers of stones of these two groups are different as the total number of stones is odd. + +As the first one to take the stones, you can decide to take all the even group or all the odd group at once. + +In the beginning, you can choose the 1st pile or the 4th pile. If you want an even group, you can take the 4th pile. So that your opponent can only choose the 1st one or the 3rd one. No matter how he takes, you can choose the 2nd pile after that. Similarly, if you choose the 1st pile which is in the odd group, your opponent can only choose 2nd or 4th pile, no matter how he chooses, you can get the 3rd pile. + +In other words, you can observe all the strategies at the first try. You can win the game by observing which group of stones is more, even or odd. Knowing this loophole, you can play a trick on your friend who doesn't know this. + +### 3. Bulb Switcher + +The description of the problem: there are n bulbs in a room and they are initially turned off. Now we need to do n operations: + +1. Flip all the lights. + +2. Flip lights with even numbers. + +3. Flip the bulb whose number is a multiple of 3 (e.g. 3, 6, 9, ... and 3 is off while 6 is on). + +For the i-th round, you toggle every i bulb. For the n-th round, you only toggle the last bulb. + +You need to find how many bulbs are on after n rounds. See more on [LeetCode page](https://leetcode.com/problems/bulb-switcher/). + +We can simulate the condition with a boolean array, then count the result. However, this method is not smart enough. The best solution is as follows: + +```java +int bulbSwitch(int n) { + return (int)Math.sqrt(n); +} +``` + +What? What does this have to do with square roots? It's actually a pretty neat solution, and it's hard to figure out if nobody tells you how to do it. + +First, because the lights are always off at the beginning, a certain light must be flipped an odd number of times if it is turned on at the end. + +Let's say we only have six lights, and we're only looking at the sixth light and it's going to take six turns, right? How many times is the switch going to be pressed for the sixth light? It's not difficult to see that its switch will be pressed at the 1st, 2nd, 3rd and 6th round. + +Why the light will be flipped at these rounds? Because $6=1\times6=2\times3$. In general, the factors come in pairs, which means that the number of times the switch is pressed is usually even, but in a special case, if there are 16 lights, how many times will the 16th light be flipped? + +$16=1\times16=2\times8=4\times4$ + +The factor 4 repeats, so the 16th light will be flipped 5 times which is odd, and now you understand the relationships to the square root, right? + +But, we're going to figure out how many lights are on at the end, and what does that mean by square root? Just think about it a little bit. + +Suppose we have 16 lights, and we take the square root of 16, which is equal to 4, and that means we're going to end up with 4 lights on. The lights are $1\times1=1$, $2\times2=4$, $3\times3=9$, and $4\times4=16$. + +Some square root of n turns out to be a decimal. However, converting them to integers is the same thing as getting all the integers smaller than a certain integer upper bound, and the square roots of these numbers are the index of the lights on at last. so just turn the square root into an integer, that's the answer to the question. + diff --git a/interview/一行代码解决的智力题.md b/interview/一行代码解决的智力题.md deleted file mode 100644 index 446fda7..0000000 --- a/interview/一行代码解决的智力题.md +++ /dev/null @@ -1,120 +0,0 @@ -# 一行代码就能解决的算法题 - -下文是我在 LeetCode 刷题过程中总结的三道有趣的「脑筋急转弯」题目，可以使用算法编程解决，但只要稍加思考，就能找到规律，直接想出答案。 - -### 一、Nim 游戏 - -游戏规则是这样的：你和你的朋友面前有一堆石子，你们轮流拿，一次至少拿一颗，最多拿三颗，谁拿走最后一颗石子谁获胜。 - -假设你们都很聪明，由你第一个开始拿，请你写一个算法，输入一个正整数 n，返回你是否能赢（true 或 false）。 - -比如现在有 4 颗石子，算法应该返回 false。因为无论你拿 1 颗 2 颗还是 3 颗，对方都能一次性拿完，拿走最后一颗石子，所以你一定会输。 - -首先，这道题肯定可以使用动态规划，因为显然原问题存在子问题，且子问题存在重复。但是因为你们都很聪明，涉及到你和对手的博弈，动态规划会比较复杂。 - -**我们解决这种问题的思路一般都是反着思考**： - -如果我能赢，那么最后轮到我取石子的时候必须要剩下 1~3 颗石子，这样我才能一把拿完。 - -如何营造这样的一个局面呢？显然，如果对手拿的时候只剩 4 颗石子，那么无论他怎么拿，总会剩下 1~3 颗石子，我就能赢。 - -如何逼迫对手面对 4 颗石子呢？要想办法，让我选择的时候还有 5~7 颗石子，这样的话我就有把握让对方不得不面对 4 颗石子。 - -如何营造 5~7 颗石子的局面呢？让对手面对 8 颗石子，无论他怎么拿，都会给我剩下 5~7 颗，我就能赢。 - -这样一直循环下去，我们发现只要踩到 4 的倍数，就落入了圈套，永远逃不出 4 的倍数，而且一定会输。所以这道题的解法非常简单： - -```cpp -bool canWinNim(int n) { - // 如果上来就踩到 4 的倍数，那就认输吧 - // 否则，可以把对方控制在 4 的倍数，必胜 - return n % 4 != 0; -} -``` - - -### 二、石头游戏 - -游戏规则是这样的：你和你的朋友面前有一排石头堆，用一个数组 piles 表示，piles[i] 表示第 i 堆石子有多少个。你们轮流拿石头，一次拿一堆，但是只能拿走最左边或者最右边的石头堆。所有石头被拿完后，谁拥有的石头多，谁获胜。 - -**假设你们都很聪明**，由你第一个开始拿，请你写一个算法，输入一个数组 piles，返回你是否能赢（true 或 false）。 - -注意，石头的堆的数量为偶数，所以你们两人拿走的堆数一定是相同的。石头的总数为奇数，也就是你们最后不可能拥有相同多的石头，一定有胜负之分。 - -举个例子，`piles=[2, 1, 9, 5]`，你先拿，可以拿 2 或者 5，你选择 2。 - -`piles=[1, 9, 5]`，轮到对手，可以拿 1 或 5，他选择 5。 - -`piles=[1, 9]` 轮到你拿，你拿 9。 - -最后，你的对手只能拿 1 了。 - -这样下来，你总共拥有 $2 + 9 = 11$ 颗石头，对手有 $5 + 1 = 6$ 颗石头，你是可以赢的，所以算法应该返回 true。 - -你看到了，并不是简单的挑数字大的选，为什么第一次选择 2 而不是 5 呢？因为 5 后面是 9，你要是贪图一时的利益，就把 9 这堆石头暴露给对手了，那你就要输了。 - -这也是强调双方都很聪明的原因，算法也是求最优决策过程下你是否能赢。 - -这道题又涉及到两人的博弈，也可以用动态规划算法暴力试，比较麻烦。但我们只要对规则深入思考，就会大惊失色：只要你足够聪明，你是必胜无疑的，因为你是先手。 - -```java -boolean stoneGame(int[] piles) { - return true; -} -``` - -这是为什么呢，因为题目有两个条件很重要：一是石头总共有偶数堆，石头的总数是奇数。这两个看似增加游戏公平性的条件，反而使该游戏成为了一个割韭菜游戏。我们以 `piles=[2, 1, 9, 5]` 讲解，假设这四堆石头从左到右的索引分别是 1，2，3，4。 - -如果我们把这四堆石头按索引的奇偶分为两组，即第 1、3 堆和第 2、4 堆，那么这两组石头的数量一定不同，也就是说一堆多一堆少。因为石头的总数是奇数，不能被平分。 - -而作为第一个拿石头的人，你可以控制自己拿到所有偶数堆，或者所有的奇数堆。 - -你最开始可以选择第 1 堆或第 4 堆。如果你想要偶数堆，你就拿第 4 堆，这样留给对手的选择只有第 1、3 堆，他不管怎么拿，第 2 堆又会暴露出来，你就可以拿。同理，如果你想拿奇数堆，你就拿第 1 堆，留给对手的只有第 2、4 堆，他不管怎么拿，第 3 堆又给你暴露出来了。 - -也就是说，你可以在第一步就观察好，奇数堆的石头总数多，还是偶数堆的石头总数多，然后步步为营，就一切尽在掌控之中了。知道了这个漏洞，可以整一整不知情的同学了。 - -### 三、电灯开关问题 - -这个问题是这样描述的：有 n 盏电灯，最开始时都是关着的。现在要进行 n 轮操作： - -第 1 轮操作是把每一盏电灯的开关按一下（全部打开）。 - -第 2 轮操作是把每两盏灯的开关按一下（就是按第 2，4，6... 盏灯的开关，它们被关闭）。 - -第 3 轮操作是把每三盏灯的开关按一下（就是按第 3，6，9... 盏灯的开关，有的被关闭，比如 3，有的被打开，比如 6）... - -如此往复，直到第 n 轮，即只按一下第 n 盏灯的开关。 - -现在给你输入一个正整数 n 代表电灯的个数，问你经过 n 轮操作后，这些电灯有多少盏是亮的？ - -我们当然可以用一个布尔数组表示这些灯的开关情况，然后模拟这些操作过程，最后去数一下就能出结果。但是这样显得没有灵性，最好的解法是这样的： - -```java -int bulbSwitch(int n) { - return (int)Math.sqrt(n); -} -``` - -什么？这个问题跟平方根有什么关系？其实这个解法挺精妙，如果没人告诉你解法，还真不好想明白。 - -首先，因为电灯一开始都是关闭的，所以某一盏灯最后如果是点亮的，必然要被按奇数次开关。 - -我们假设只有 6 盏灯，而且我们只看第 6 盏灯。需要进行 6 轮操作对吧，请问对于第 6 盏灯，会被按下几次开关呢？这不难得出，第 1 轮会被按，第 2 轮，第 3 轮，第 6 轮都会被按。 - -为什么第 1、2、3、6 轮会被按呢？因为 $6=1\times6=2\times3$。一般情况下，因子都是成对出现的，也就是说开关被按的次数一般是偶数次。但是有特殊情况，比如说总共有 16 盏灯，那么第 16 盏灯会被按几次? - -$16=1\times16=2\times8=4\times4$ - -其中因子 4 重复出现，所以第 16 盏灯会被按 5 次，奇数次。现在你应该理解这个问题为什么和平方根有关了吧？ - -不过，我们不是要算最后有几盏灯亮着吗，这样直接平方根一下是啥意思呢？稍微思考一下就能理解了。 - -就假设现在总共有 16 盏灯，我们求 16 的平方根，等于 4，这就说明最后会有 4 盏灯亮着，它们分别是第 $1\times1=1$ 盏、第 $2\times2=4$ 盏、第 $3\times3=9$ 盏和第 $4\times4=16$ 盏。 - -就算有的 n 平方根结果是小数，强转成 int 型，也相当于一个最大整数上界，比这个上界小的所有整数，平方后的索引都是最后亮着的灯的索引。所以说我们直接把平方根转成整数，就是这个问题的答案。 - - - -坚持原创高质量文章，致力于把算法问题讲清楚，欢迎关注我的公众号 labuladong 获取最新文章： - -![labuladong](../pictures/labuladong.jpg) From 79c51174bb5f9e295d1e1906b00f3c4f932e4bd7 Mon Sep 17 00:00:00 2001 From: CoderWang Date: Sat, 7 Mar 2020 11:29:08 +0800 Subject: [PATCH 4/8] tranlate koko eating bananas --- interview/UsingBinarySearchAlgorithm.md | 182 ++++++++++++++++++++++++ interview/koko偷香蕉.md | 142 ------------------ 2 files changed, 182 insertions(+), 142 deletions(-) create mode 100644 interview/UsingBinarySearchAlgorithm.md delete mode 100644 interview/koko偷香蕉.md diff --git a/interview/UsingBinarySearchAlgorithm.md b/interview/UsingBinarySearchAlgorithm.md new file mode 100644 index 0000000..76ba715 --- /dev/null +++ b/interview/UsingBinarySearchAlgorithm.md @@ -0,0 +1,182 @@ +# How to use a binary search algorithm + +**Translator: [Dong Wang](https://github.com/Coder2Programmer)** + +**Author: [labuladong](https://github.com/labuladong)** + +In what scenarios can binary search be used？ + +The most common example is in textbook, that is, searching for the index of a given target value in **an ordered array**. Moreover, if the target values is duplicated, the modified binary search can return the left boundary or right boundary index of the target value. + +PS: The three binary search algorithms mentioned above are explained in detail in the previous *Binary Search Detailed Explanation*. It is strongly recommended if you haven't read it. + +Putting aside the boring ordered array, how can binary search be applied to practical algorithm problems? When the search space is in order, you can perform *pruning* through binary search, greatly improving efficiency. + +Talk is cheap, show you the specific *Koko eating banana* problem. + +### 1. Problem analysis + +Koko loves to eat bananas. There are `N` piles of bananas, the `i`-th pile has `piles[i]` bananas. The guards have gone and will come back in `H` hours. + +Koko can decide her bananas-per-hour eating speed of `K`. Each hour, she chooses some pile of bananas, and eats `K` bananas from that pile. If the pile has less than `K` bananas, she eats all of them instead, and won't eat any more bananas during this hour. + +Koko likes to eat slowly, but still wants to finish eating all the bananas before the guards come back. + +Return the minimum integer `K` such that she can eat all the bananas within `H` hours. + +

Example 1:

+
+Input: piles = [3,6,7,11], H = 8
+Output: 4
+
+ +

Example 2:

+
+Input: piles = [30,11,23,4,20], H = 5
+Output: 30
+
+ +In other words, Koko eats up to a bunch of bananas every hour. +1. If she can't, she can eat them until the next hour. +2. If she has an appetite after eating this bunch, she will only eat the next bunch until the next hour. + +Under this condition, let us determine **the minimum speed** Koko eats bananas. + +Given this scenario directly, can you think of where you can use the binary search algorithm? If you haven't seen a similar problem, it's hard to associate this problem with binary search. + +So let's put aside the binary search algorithm and think about how to solve the problem violently? + +First of all, the algorithm requires *minimum speed of eating bananas in `H` hours*. We might as well call it `speed`. What is the maximum possible `speed`? What is the minimum possible `speed`? + +Obviously the minimum is 1 and the maximum is `max(piles)`, because you can only eat a bunch of bananas in an hour. Then the brute force solution is very simple. As long as it starts from 1 and exhausts to `max(piles)`, once it is found that a certain value can eat all bananas in `H` hours, this value is the minimum speed. + +```java +int minEatingSpeed(int[] piles, int H) { + // the maximum value of piles + int max = getMax(piles); + for (int speed = 1; speed < max; speed++) { + // wherher can finish eating banana in H hours at speed + if (canFinish(piles, speed, H)) + return speed; + } + return max; +} +``` + +Note that this for loop is a linear search in **continuous space, which is the flag that binary search can work**. Because we require the minimum speed, we can use a **binary search algorithm to find out the left boundary** to replace the linear search to improve efficiency. + +```java +int minEatingSpeed(int[] piles, int H) { + // apply the algorithms framework for searching the left boundary + int left = 1, right = getMax(piles) + 1; + while (left < right) { + // prevent overflow + int mid = left + (right - left) / 2; + if (canFinish(piles, mid, H)) { + right = mid; + } else { + left = mid + 1; + } + } + return left; +} +``` + +PS: If you have questions about the details of this binary search algorithm, it is recommended to look at the algorithm template on the left boundary of the search for *Binary Search Detailed Explanation* in the previous article. + +The remaining helper functions are also very simple and can be disassembled step by step. + + +```java +// Time complexity O(N) +boolean canFinish(int[] piles, int speed, int H) { + int time = 0; + for (int n : piles) { + time += timeOf(n, speed); + } + return time <= H; +} + +int timeOf(int n, int speed) { + return (n / speed) + ((n % speed > 0) ? 1 : 0); +} + +int getMax(int[] piles) { + int max = 0; + for (int n : piles) + max = Math.max(n, max); + return max; +} +``` + +So far, with the help of the binary search, the time complexity of the algorithm is O(NlogN). + +### 2. Extension + +Similarly, look at a transportation problem again. + +The `i`-th package on the conveyor belt has a weight of `weights[i]`. Each day, we load the ship with packages on the conveyor belt (in the order given by weights). We may not load more weight than the maximum weight capacity of the ship. + +Return the least weight capacity of the ship that will result in all the packages on the conveyor belt being shipped within `D` days. + +

Example 1:

+
+Input: weights = [1,2,3,4,5,6,7,8,9,10], D = 5
+Output: 15
+Explanation: 
+A ship capacity of 15 is the minimum to ship all the packages in 5 days like this:
+1st day: 1, 2, 3, 4, 5
+2nd day: 6, 7
+3rd day: 8
+4th day: 9
+5th day: 10
+
+Note that the cargo must be shipped in the order given, so using a ship of capacity 14 and splitting the packages into parts like (2, 3, 4, 5), (1, 6, 7), (8), (9), (10) is not allowed. 
+
+ +To transport all the goods within `D` days, the goods are inseparable. How to determine the minimum load for transportation(hereinafter referred to as `cap`)? + +In fact, it is essentially the same problem as Koko eating bananas. First, determine the minimum and maximum values of `cap` as `max(weights)` and `sum(weights)`. + +We require **minimum load**, so a binary search algorithm that searches the left boundary can be used to optimize the linear search. + +```java +// find the left boundary using binary search +int shipWithinDays(int[] weights, int D) { + // minimum possible load + int left = getMax(weights); + // maximum possible load + 1 + int right = getSum(weights) + 1; + while (left < right) { + int mid = left + (right - left) / 2; + if (canFinish(weights, D, mid)) { + right = mid; + } else { + left = mid + 1; + } + } + return left; +} + +// If the load is cap, can I ship the goods within D days？ +boolean canFinish(int[] w, int D, int cap) { + int i = 0; + for (int day = 0; day < D; day++) { + int maxCap = cap; + while ((maxCap -= w[i]) >= 0) { + i++; + if (i == w.length) + return true; + } + } + return false; +} +``` + +Through these two examples, do you understand the application of binary search in practical problems？ + +```java +for (int i = 0; i < n; i++) + if (isOK(i)) + return ans; +``` diff --git a/interview/koko偷香蕉.md b/interview/koko偷香蕉.md deleted file mode 100644 index 03a4583..0000000 --- a/interview/koko偷香蕉.md +++ /dev/null @@ -1,142 +0,0 @@ -# 如何运用二分查找算法 - -二分查找到底有能运用在哪里？ - -最常见的就是教科书上的例子，在**有序数组**中搜索给定的某个目标值的索引。再推广一点，如果目标值存在重复，修改版的二分查找可以返回目标值的左侧边界索引或者右侧边界索引。 - -PS：以上提到的三种二分查找算法形式在前文「二分查找详解」有代码详解，如果没看过强烈建议看看。 - -抛开有序数组这个枯燥的数据结构，二分查找如何运用到实际的算法问题中呢？当搜索空间有序的时候，就可以通过二分搜索「剪枝」，大幅提升效率。 - -说起来玄乎得很，本文先用一个具体的「Koko 吃香蕉」的问题来举个例子。 - -### 一、问题分析 - -![](../pictures/二分应用/title1.png) - -也就是说，Koko 每小时最多吃一堆香蕉，如果吃不下的话留到下一小时再吃；如果吃完了这一堆还有胃口，也只会等到下一小时才会吃下一堆。在这个条件下，让我们确定 Koko 吃香蕉的**最小速度**（根/小时）。 - -如果直接给你这个情景，你能想到哪里能用到二分查找算法吗？如果没有见过类似的问题，恐怕是很难把这个问题和二分查找联系起来的。 - -那么我们先抛开二分查找技巧，想想如何暴力解决这个问题呢？ - -首先，算法要求的是「`H` 小时内吃完香蕉的最小速度」，我们不妨称为 `speed`，请问 `speed` 最大可能为多少，最少可能为多少呢？ - -显然最少为 1，最大为 `max(piles)`，因为一小时最多只能吃一堆香蕉。那么暴力解法就很简单了，只要从 1 开始穷举到 `max(piles)`，一旦发现发现某个值可以在 `H` 小时内吃完所有香蕉，这个值就是最小速度： - -```java -int minEatingSpeed(int[] piles, int H) { - // piles 数组的最大值 - int max = getMax(piles); - for (int speed = 1; speed < max; speed++) { - // 以 speed 是否能在 H 小时内吃完香蕉 - if (canFinish(piles, speed, H)) - return speed; - } - return max; -} -``` - -注意这个 for 循环，就是在**连续的空间线性搜索，这就是二分查找可以发挥作用的标志**。由于我们要求的是最小速度，所以可以用一个**搜索左侧边界的二分查找**来代替线性搜索，提升效率： - -```java -int minEatingSpeed(int[] piles, int H) { - // 套用搜索左侧边界的算法框架 - int left = 1, right = getMax(piles) + 1; - while (left < right) { - // 防止溢出 - int mid = left + (right - left) / 2; - if (canFinish(piles, mid, H)) { - right = mid; - } else { - left = mid + 1; - } - } - return left; -} -``` - -PS：如果对于这个二分查找算法的细节问题有疑问，建议看下前文「二分查找详解」搜索左侧边界的算法模板，这里不展开了。 - -剩下的辅助函数也很简单，可以一步步拆解实现： - -```java -// 时间复杂度 O(N) -boolean canFinish(int[] piles, int speed, int H) { - int time = 0; - for (int n : piles) { - time += timeOf(n, speed); - } - return time <= H; -} - -int timeOf(int n, int speed) { - return (n / speed) + ((n % speed > 0) ? 1 : 0); -} - -int getMax(int[] piles) { - int max = 0; - for (int n : piles) - max = Math.max(n, max); - return max; -} -``` - -至此，借助二分查找技巧，算法的时间复杂度为 O(NlogN)。 - -### 二、扩展延伸 - -类似的，再看一道运输问题： - -![](../pictures/二分应用/title2.png) - -要在 `D` 天内运输完所有货物，货物不可分割，如何确定运输的最小载重呢（下文称为 `cap`）？ - -其实本质上和 Koko 吃香蕉的问题一样的，首先确定 `cap` 的最小值和最大值分别为 `max(weights)` 和 `sum(weights)`。 - -我们要求**最小载重**，所以可以用搜索左侧边界的二分查找算法优化线性搜索： - -```java -// 寻找左侧边界的二分查找 -int shipWithinDays(int[] weights, int D) { - // 载重可能的最小值 - int left = getMax(weights); - // 载重可能的最大值 + 1 - int right = getSum(weights) + 1; - while (left < right) { - int mid = left + (right - left) / 2; - if (canFinish(weights, D, mid)) { - right = mid; - } else { - left = mid + 1; - } - } - return left; -} - -// 如果载重为 cap，是否能在 D 天内运完货物？ -boolean canFinish(int[] w, int D, int cap) { - int i = 0; - for (int day = 0; day < D; day++) { - int maxCap = cap; - while ((maxCap -= w[i]) >= 0) { - i++; - if (i == w.length) - return true; - } - } - return false; -} -``` - -通过这两个例子，你是否明白了二分查找在实际问题中的应用？ - -```java -for (int i = 0; i < n; i++) - if (isOK(i)) - return ans; -``` - -坚持原创高质量文章，致力于把算法问题讲清楚，欢迎关注我的公众号 labuladong 获取最新文章： - -![labuladong](../pictures/labuladong.jpg) From 3784d6eea703f6dc0bf3c0abcd82d6ec06678611 Mon Sep 17 00:00:00 2001 From: CoderWang Date: Sat, 7 Mar 2020 14:39:08 +0800 Subject: [PATCH 5/8] translate pancakes sorting --- interview/UsingBinarySearchAlgorithm.md | 4 +- think_like_computer/PancakesSorting.md | 117 ++++++++++++++++++++++ think_like_computer/烧饼排序.md | 124 ------------------------ 3 files changed, 119 insertions(+), 126 deletions(-) create mode 100644 think_like_computer/PancakesSorting.md delete mode 100644 think_like_computer/烧饼排序.md diff --git a/interview/UsingBinarySearchAlgorithm.md b/interview/UsingBinarySearchAlgorithm.md index 76ba715..02ce274 100644 --- a/interview/UsingBinarySearchAlgorithm.md +++ b/interview/UsingBinarySearchAlgorithm.md @@ -8,7 +8,7 @@ In what scenarios can binary search be used？ The most common example is in textbook, that is, searching for the index of a given target value in **an ordered array**. Moreover, if the target values is duplicated, the modified binary search can return the left boundary or right boundary index of the target value. -PS: The three binary search algorithms mentioned above are explained in detail in the previous *Binary Search Detailed Explanation*. It is strongly recommended if you haven't read it. +PS: The three binary search algorithms mentioned above are explained in detail in the previous [Binary Search Detailed Explanation](../think_like_computer/BinarySearch.md). It is strongly recommended if you haven't read it. Putting aside the boring ordered array, how can binary search be applied to practical algorithm problems? When the search space is in order, you can perform *pruning* through binary search, greatly improving efficiency. @@ -82,7 +82,7 @@ int minEatingSpeed(int[] piles, int H) { } ``` -PS: If you have questions about the details of this binary search algorithm, it is recommended to look at the algorithm template on the left boundary of the search for *Binary Search Detailed Explanation* in the previous article. +PS: If you have questions about the details of this binary search algorithm, it is recommended to look at the algorithm template on the left boundary of the search for [Binary Search Detailed Explanation](../think_like_computer/BinarySearch.md) in the previous article. The remaining helper functions are also very simple and can be disassembled step by step. diff --git a/think_like_computer/PancakesSorting.md b/think_like_computer/PancakesSorting.md new file mode 100644 index 0000000..c60e10a --- /dev/null +++ b/think_like_computer/PancakesSorting.md @@ -0,0 +1,117 @@ +# Pancakes Sorting + +The pancake sorting is a very interesting practical problem: assuming there are `n` pieces of pancakes of **different sizes** on the plate, how do you turn it several times with a spatula to make these pancakes in order(small up, big down)? + +![](../pictures/pancakeSort/1.jpg) + +Imagine using a spatula to flip a pile of pancakes. There are actually a few restrictions that we can only flip the top cakes at a time: + +![](../pictures/pancakeSort/2.png) + +Our question is, **how do you use an algorithm to get a sequence of flips to make the cake pile order**? + +First, we need to abstract this problem and use an array to represent the pancakes heap: + +![](../pictures/pancakeSort/title.png) + +How to solve this problem? In fact, it is similar to the previous article [Part of a Recursive Reverse Linked List](../data_structure/reverse_part_of_a_linked_list_via_recursion.md), which also requires **recursive thinking**. + +### 1. Analysis of idea + +Why is this problem recursive? For example, we need to implement a function like this: + +```java +// cakes is a bunch of pancakes, the function will sort the first n pancakes +void sort(int[] cakes, int n); +``` + +If we find the largest of the first `n` pancakes, then we try to flip this pancake to the bottom: + +![](../pictures/pancakeSort/3.jpg) + +Then, the scale of the original problem can be reduced, recursively calling `pancakeSort (A, n-1)`: + +![](../pictures/pancakeSort/4.jpg) + +Next, how to sort the `n-1` pancakes above? Still find the largest piece of pancakes from it, then place this piece of pancake to the bottom, and then recursively call `pancakeSort (A, n-1-1)` ... + +You see, this is the nature of recursion. To summarize, the idea is: + +1. Find the largest of the `n` pancakes. +2. Move this largest pancake to the bottom. +3. Recursively call `pancakeSort (A, n-1)`. + +Base case: When `n == 1`, there is no need to flip when sorting 1 pancake. + +So, the last question left, **how do you manage to turn a piece of pancake to the end**? + +In fact, it is very simple. For example, the third pancake is the largest, and we want to change it to the end, that is, to the `n` block. You can do this: + +1. Use a spatula to turn the first 3 pieces of pancakes, so that the largest pancake turns to the top. +2. Use a spatula to flip all the first `n` cakes, so that the largest pancake turns to the `n`-th pancake, which is the last pancake. + +After the above two processes are understood, the solution can be basically written, but the title requires us to write a specific sequence of inversion operations, which is also very simple, as long as it is recorded each time the pancake is turned. + +### 2. Code implementation + +As long as the above ideas are implemented in code, the only thing to note is that the array index starts from 0, and the results we want to return are calculated from 1. + +```java +// record the reverse operation sequence +LinkedList res = new LinkedList<>(); + +List pancakeSort(int[] cakes) { + sort(cakes, cakes.length); + return res; +} + +void sort(int[] cakes, int n) { + // base case + if (n == 1) return; + + // find the index of the largest pancake + int maxCake = 0; + int maxCakeIndex = 0; + for (int i = 0; i < n; i++) + if (cakes[i] > maxCake) { + maxCakeIndex = i; + maxCake = cakes[i]; + } + + // first flip, turn the largest pancake to the top + reverse(cakes, 0, maxCakeIndex); + res.add(maxCakeIndex + 1); + // second flip, turn the largest pancake to the bottom + reverse(cakes, 0, n - 1); + res.add(n); + + // recursive + sort(cakes, n - 1); +} + +void reverse(int[] arr, int i, int j) { + while (i < j) { + int temp = arr[i]; + arr[i] = arr[j]; + arr[j] = temp; + i++; j--; + } +} +``` + +hrough the detailed explanation just now, this code should be very clear. + +The time complexity of the algorithm is easy to calculate, because the number of recursive calls is `n`, each recursive call requires a for loop, the time complexity is O (n), so the total complexity is O (n^2). + +**Finally, we can think about a problem.**: According to our thinking, the length of the operation sequence should be `2(n-1)`, because each recursion needs to perform 2 flips and record operations and there are always `n` layers of recursion, but since the base case returns the result directly without inversion, the length of the final operation sequence should be fixed` 2(n-1) `. + +Obviously, this result is not optimal (shortest). For example, a bunch of pancakes `[3,2,4,1]`. The flip sequence obtained by our algorithm is `[3,4,2,3,1, 2] `, but the fastest way to flip should be` [2,3,4] `: + +* Initial state: [3,2,4,1] +* Turn over the first two: [2,3,4,1] +* Turn over the first three: [4,3,2,1] +* Turn over the first 4: [1,2,3,4] + +If your algorithm is required to calculate the **shortest** operation sequence for sorting biscuits, how do you calculate it? In other words, what is the core idea and what algorithm skills must be used to solve the problem of finding the optimal solution? + +May wish to share your thoughts. diff --git a/think_like_computer/烧饼排序.md b/think_like_computer/烧饼排序.md deleted file mode 100644 index 668f3c6..0000000 --- a/think_like_computer/烧饼排序.md +++ /dev/null @@ -1,124 +0,0 @@ -# 烧饼排序 - -烧饼排序是个很有意思的实际问题：假设盘子上有 `n` 块**面积大小不一**的烧饼，你如何用一把锅铲进行若干次翻转，让这些烧饼的大小有序（小的在上，大的在下）？ - -![](../pictures/pancakeSort/1.jpg) - -设想一下用锅铲翻转一堆烧饼的情景，其实是有一点限制的，我们每次只能将最上面的若干块饼子翻转： - -![](../pictures/pancakeSort/2.png) - -我们的问题是，**如何使用算法得到一个翻转序列，使得烧饼堆变得有序**？ - -首先，需要把这个问题抽象，用数组来表示烧饼堆： - -![](../pictures/pancakeSort/title.png) - -如何解决这个问题呢？其实类似上篇文章 [递归反转链表的一部分](../数据结构系列/递归反转链表的一部分.md)，这也是需要**递归思想**的。 - -### 一、思路分析 - -为什么说这个问题有递归性质呢？比如说我们需要实现这样一个函数： - -```java -// cakes 是一堆烧饼，函数会将前 n 个烧饼排序 -void sort(int[] cakes, int n); -``` - -如果我们找到了前 `n` 个烧饼中最大的那个，然后设法将这个饼子翻转到最底下： - -![](../pictures/pancakeSort/3.jpg) - -那么，原问题的规模就可以减小，递归调用 `pancakeSort(A, n-1)` 即可： - -![](../pictures/pancakeSort/4.jpg) - -接下来，对于上面的这 `n - 1` 块饼，如何排序呢？还是先从中找到最大的一块饼，然后把这块饼放到底下，再递归调用 `pancakeSort(A, n-1-1)`…… - -你看，这就是递归性质，总结一下思路就是： - -1、找到 `n` 个饼中最大的那个。 - -2、把这个最大的饼移到最底下。 - -3、递归调用 `pancakeSort(A, n - 1)`。 - -base case：`n == 1` 时，排序 1 个饼时不需要翻转。 - -那么，最后剩下个问题，**如何设法将某块烧饼翻到最后呢**？ - -其实很简单，比如第 3 块饼是最大的，我们想把它换到最后，也就是换到第 `n` 块。可以这样操作： - -1、用锅铲将前 3 块饼翻转一下，这样最大的饼就翻到了最上面。 - -2、用锅铲将前 `n` 块饼全部翻转，这样最大的饼就翻到了第 `n` 块，也就是最后一块。 - -以上两个流程理解之后，基本就可以写出解法了，不过题目要求我们写出具体的反转操作序列，这也很简单，只要在每次翻转烧饼时记录下来就行了。 - -### 二、代码实现 - -只要把上述的思路用代码实现即可，唯一需要注意的是，数组索引从 0 开始，而我们要返回的结果是从 1 开始算的。 - -```java -// 记录反转操作序列 -LinkedList res = new LinkedList<>(); - -List pancakeSort(int[] cakes) { - sort(cakes, cakes.length); - return res; -} - -void sort(int[] cakes, int n) { - // base case - if (n == 1) return; - - // 寻找最大饼的索引 - int maxCake = 0; - int maxCakeIndex = 0; - for (int i = 0; i < n; i++) - if (cakes[i] > maxCake) { - maxCakeIndex = i; - maxCake = cakes[i]; - } - - // 第一次翻转，将最大饼翻到最上面 - reverse(cakes, 0, maxCakeIndex); - res.add(maxCakeIndex + 1); - // 第二次翻转，将最大饼翻到最下面 - reverse(cakes, 0, n - 1); - res.add(n); - - // 递归调用 - sort(cakes, n - 1); -} - -void reverse(int[] arr, int i, int j) { - while (i < j) { - int temp = arr[i]; - arr[i] = arr[j]; - arr[j] = temp; - i++; j--; - } -} -``` - -通过刚才的详细解释，这段代码应该是很清晰了。 - -算法的时间复杂度很容易计算，因为递归调用的次数是 `n`，每次递归调用都需要一次 for 循环，时间复杂度是 O(n)，所以总的复杂度是 O(n^2)。 - -**最后，我们可以思考一个问题​**：按照我们这个思路，得出的操作序列长度应该为​ `2(n - 1)`，因为每次递归都要进行 2 次翻转并记录操作，总共有 `n` 层递归，但由于 base case 直接返回结果，不进行翻转，所以最终的操作序列长度应该是固定的 `2(n - 1)`。 - -显然，这个结果不是最优的（最短的），比如说一堆煎饼 `[3,2,4,1]`，我们的算法得到的翻转序列是 `[3,4,2,3,1,2]`，但是最快捷的翻转方法应该是 `[2,3,4]`： - -初始状态 ：[3,2,4,1] -翻前 2 个：[2,3,4,1] -翻前 3 个：[4,3,2,1] -翻前 4 个：[1,2,3,4] - -如果要求你的算法计算排序烧饼的**最短**操作序列，你该如何计算呢？或者说，解决这种求最优解法的问题，核心思路什么，一定需要使用什么算法技巧呢？ - -不妨分享一下你的思考。 - -坚持原创高质量文章，致力于把算法问题讲清楚，欢迎关注我的公众号 labuladong 获取最新文章： - -![labuladong](../pictures/labuladong.jpg) From 48fbbab6afaab401d414401af3e3d333d3969068 Mon Sep 17 00:00:00 2001 From: CoderWang Date: Sat, 7 Mar 2020 14:41:44 +0800 Subject: [PATCH 6/8] translate pancakes sorting: --- think_like_computer/PancakesSorting.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/think_like_computer/PancakesSorting.md b/think_like_computer/PancakesSorting.md index c60e10a..6ff135f 100644 --- a/think_like_computer/PancakesSorting.md +++ b/think_like_computer/PancakesSorting.md @@ -39,7 +39,7 @@ You see, this is the nature of recursion. To summarize, the idea is: 1. Find the largest of the `n` pancakes. 2. Move this largest pancake to the bottom. -3. Recursively call `pancakeSort (A, n-1)`. +3. Recursively call `pancakeSort(A, n-1)`. Base case: When `n == 1`, there is no need to flip when sorting 1 pancake. @@ -101,16 +101,16 @@ void reverse(int[] arr, int i, int j) { hrough the detailed explanation just now, this code should be very clear. -The time complexity of the algorithm is easy to calculate, because the number of recursive calls is `n`, each recursive call requires a for loop, the time complexity is O (n), so the total complexity is O (n^2). +The time complexity of the algorithm is easy to calculate, because the number of recursive calls is `n`, each recursive call requires a for loop, the time complexity is O(n), so the total complexity is O(n^2). -**Finally, we can think about a problem.**: According to our thinking, the length of the operation sequence should be `2(n-1)`, because each recursion needs to perform 2 flips and record operations and there are always `n` layers of recursion, but since the base case returns the result directly without inversion, the length of the final operation sequence should be fixed` 2(n-1) `. +**Finally, we can think about a problem.**: According to our thinking, the length of the operation sequence should be `2(n-1)`, because each recursion needs to perform 2 flips and record operations and there are always `n` layers of recursion, but since the base case returns the result directly without inversion, the length of the final operation sequence should be fixed `2(n-1) `. -Obviously, this result is not optimal (shortest). For example, a bunch of pancakes `[3,2,4,1]`. The flip sequence obtained by our algorithm is `[3,4,2,3,1, 2] `, but the fastest way to flip should be` [2,3,4] `: +Obviously, this result is not optimal (shortest). For example, a bunch of pancakes `[3,2,4,1]`. The flip sequence obtained by our algorithm is `[3,4,2,3,1,2]`, but the fastest way to flip should be ` [2,3,4] `: -* Initial state: [3,2,4,1] -* Turn over the first two: [2,3,4,1] -* Turn over the first three: [4,3,2,1] -* Turn over the first 4: [1,2,3,4] +* Initial state: `[3,2,4,1]` +* Turn over the first two: `[2,3,4,1]` +* Turn over the first three: `[4,3,2,1]` +* Turn over the first 4: `[1,2,3,4]` If your algorithm is required to calculate the **shortest** operation sequence for sorting biscuits, how do you calculate it? In other words, what is the core idea and what algorithm skills must be used to solve the problem of finding the optimal solution? From 8b74e5b10bf19d0bbb977ced8b1fd17bcec1ad60 Mon Sep 17 00:00:00 2001 From: CoderWang Date: Sat, 7 Mar 2020 14:45:04 +0800 Subject: [PATCH 7/8] translate pancakes sorting --- think_like_computer/PancakesSorting.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/think_like_computer/PancakesSorting.md b/think_like_computer/PancakesSorting.md index 6ff135f..0ccda0f 100644 --- a/think_like_computer/PancakesSorting.md +++ b/think_like_computer/PancakesSorting.md @@ -1,5 +1,9 @@ # Pancakes Sorting +**Translator: [Dong Wang](https://github.com/Coder2Programmer)** + +**Author: [labuladong](https://github.com/labuladong)** + The pancake sorting is a very interesting practical problem: assuming there are `n` pieces of pancakes of **different sizes** on the plate, how do you turn it several times with a spatula to make these pancakes in order(small up, big down)? ![](../pictures/pancakeSort/1.jpg) From 742cebd91df317a0d9d539dd22f5d1e00c61f5d8 Mon Sep 17 00:00:00 2001 From: labuladong Date: Sat, 7 Mar 2020 15:04:41 +0800 Subject: [PATCH 8/8] update Summary.md and fix errors --- README.md | 8 ++++---- SUMMARY.md | 6 +++--- interview/one-line-code-puzzles.md | 8 ++++---- 3 files changed, 11 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index bf974bd..adb83d2 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ These articles are somehow kinds of **Algorithmic Thinking**. All based on LeetC I don't like one liner and confusing, I like clear and easy-understanding. -Gitbook has deployed, will sync with this branch of the repo: https://labuladong.gitbook.io/algo-en/ +**Gitbook** has deployed, will sync with this branch of the repo: https://labuladong.gitbook.io/algo-en/ If you want to clone this repo, please use following command: @@ -26,14 +26,14 @@ This command specifies the `english` branch and limit the depth of clone, get ri * [How to Check the Validation of Parenthesis](interview/valid-parentheses.md) * [How to Find Missing Element](interview/missing_elements.md) * [How to Pick Elements From a Arbitrary Sequence](interview/ReservoirSampling.md) + * [How to use Binary Search](interview/UsingBinarySearchAlgorithm.md) * [How to Scheduling Seats](interview/Seatscheduling.md) * [Union-Find Algorithm in Detail](think_like_computer/Union-find-Explanation.md) * [Union-Find Application](think_like_computer/Union-Find-Application.md) * [Find Sebesquence With Binary Search](interview/findSebesquenceWithBinarySearch.md) - * [如何运用二分查找算法](interview/koko偷香蕉.md) + * [Problems can be sloved by one line](interview/one-line-code-puzzles.md) * [如何寻找缺失和重复的元素](interview/缺失和重复的元素.md) * [如何判断回文链表](interview/判断回文链表.md) - * [一行代码就能解决的算法题](interview/一行代码解决的智力题.md) * II. Data Structure * [Binary Head and Priority Queue](data_structure/binary_heap_implements_priority_queues.md) @@ -59,7 +59,7 @@ This command specifies the `english` branch and limit the depth of clone, get ri * [Interval Scheduling: Interval Merging](think_like_computer/IntervalMerging.md) * [Interval Scheduling: Intersections of Intervals](think_like_computer/IntervalIntersection.md) * [String Multiplication](think_like_computer/string_multiplication.md) - * [烧饼排序](think_like_computer/烧饼排序.md) + * [Pancake Soring Algorithm](think_like_computer/PancakesSorting.md) * [滑动窗口技巧](think_like_computer/滑动窗口技巧.md) * [常用的位操作](think_like_computer/常用的位操作.md) * [信封嵌套问题](think_like_computer/信封嵌套问题.md) diff --git a/SUMMARY.md b/SUMMARY.md index a4d6d43..bfbff99 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -13,14 +13,14 @@ * [How to Check the Validation of Parenthesis](interview/valid-parentheses.md) * [How to Find Missing Element](interview/missing_elements.md) * [How to Pick Elements From a Arbitrary Sequence](interview/ReservoirSampling.md) + * [How to use Binary Search](interview/UsingBinarySearchAlgorithm.md) * [How to Scheduling Seats](interview/Seatscheduling.md) * [Union-Find Algorithm in Detail](think_like_computer/Union-find-Explanation.md) * [Union-Find Application](think_like_computer/Union-Find-Application.md) * [Find Sebesquence With Binary Search](interview/findSebesquenceWithBinarySearch.md) - * [如何运用二分查找算法](interview/koko偷香蕉.md) + * [Problems can be sloved by one line](interview/one-line-code-puzzles.md) * [如何寻找缺失和重复的元素](interview/缺失和重复的元素.md) * [如何判断回文链表](interview/判断回文链表.md) - * [一行代码就能解决的算法题](interview/一行代码解决的智力题.md) * II. Data Structure * [Binary Head and Priority Queue](data_structure/binary_heap_implements_priority_queues.md) @@ -46,7 +46,7 @@ * [Interval Scheduling: Interval Merging](think_like_computer/IntervalMerging.md) * [Interval Scheduling: Intersections of Intervals](think_like_computer/IntervalIntersection.md) * [String Multiplication](think_like_computer/string_multiplication.md) - * [烧饼排序](think_like_computer/烧饼排序.md) + * [Pancake Soring Algorithm](think_like_computer/PancakesSorting.md) * [滑动窗口技巧](think_like_computer/滑动窗口技巧.md) * [常用的位操作](think_like_computer/常用的位操作.md) * [信封嵌套问题](think_like_computer/信封嵌套问题.md) diff --git a/interview/one-line-code-puzzles.md b/interview/one-line-code-puzzles.md index 046e403..3a0ffc9 100644 --- a/interview/one-line-code-puzzles.md +++ b/interview/one-line-code-puzzles.md @@ -18,13 +18,13 @@ First of all, dynamic programming (DP) can be implemented into this problem, bec **We usually use contrarian thinking to find a solution of this kind of problems**： -If I win the game, I need to take the remaining stones (1~3 stones) at once. +If I win the game, I need to take the remaining stones (1\\~3 stones) at once. -How to make this situation come into being? If there are 4 stones remaining when your opponent takes the chance to pick the stones, no matter how he takes the stones, you can always win the game because there will always be 1~3 stones remaining. +How to make this situation come into being? If there are 4 stones remaining when your opponent takes the chance to pick the stones, no matter how he takes the stones, you can always win the game because there will always be 1\~3 stones remaining. -And how to force your opponent to face the situation when there are 4 stones left? If there are 5~7 stones remaining by the time you take your turn, you can let your opponent face 4-stone situation. +And how to force your opponent to face the situation when there are 4 stones left? If there are 5\~7 stones remaining by the time you take your turn, you can let your opponent face 4-stone situation. -Then how to get into a 5~7 stones situation when you are picking? Let your opponent face 8 stones. No matter how he plans to take the stones, we can win the game because of the remaining 5~7 stones. +Then how to get into a 5\~7 stones situation when you are picking? Let your opponent face 8 stones. No matter how he plans to take the stones, we can win the game because of the remaining 5\~7 stones. And so on, we can find out that if n is a multiple of 4, you will fall into the trap and can never win the game. The solution to this problem is very simple: