From 69211e0742b492284877a5dd6d322bdb4713e245 Mon Sep 17 00:00:00 2001 From: Sungchan Yi Date: Wed, 17 Jan 2024 18:12:44 +0900 Subject: [PATCH] [PUBLISHER] upload files #134 * PUSH NOTE : 9. Public Key Encryption.md * PUSH ATTACHMENT : mc-09-ss-pke.png --- .../2023-10-19-public-key-encryption.md | 457 ++++++++++++++++++ .../Modern Cryptography/mc-09-ss-pke.png | Bin 0 -> 156529 bytes 2 files changed, 457 insertions(+) create mode 100644 _posts/Lecture Notes/Modern Cryptography/2023-10-19-public-key-encryption.md create mode 100644 assets/img/posts/Lecture Notes/Modern Cryptography/mc-09-ss-pke.png diff --git a/_posts/Lecture Notes/Modern Cryptography/2023-10-19-public-key-encryption.md b/_posts/Lecture Notes/Modern Cryptography/2023-10-19-public-key-encryption.md new file mode 100644 index 0000000..b6d21d7 --- /dev/null +++ b/_posts/Lecture Notes/Modern Cryptography/2023-10-19-public-key-encryption.md @@ -0,0 +1,457 @@ +--- +share: true +toc: true +math: true +categories: + - Lecture Notes + - Modern Cryptography +tags: + - lecture-note + - cryptography + - security +title: 9. Public Key Encryption +date: 2023-10-19 +github_title: 2023-10-19-public-key-encryption +image: + path: assets/img/posts/Lecture Notes/Modern Cryptography/mc-09-ss-pke.png +attachment: + folder: assets/img/posts/Lecture Notes/Modern Cryptography +--- + + +In symmetric encryption, we assumed that the two parties had a shared key in advance. If the two parties do not have a shared key, **public-key encryption** can be used to encrypt messages. + +## Public Key Encryption + +> **Definition.** A **public key encryption scheme** $\mc{E} = (G, E, D)$ is a triple of efficient algorithms: a **key generation** algorithm $G$, an **encryption algorithm** $E$, a decryption algorithm $D$. +> +> - $G$ generates a key pair as $(pk, sk) \la G()$. $pk$ is called a **public key** and $sk$ is called a **secret key**. +> - $E$ takes a public key $pk$ and a message $m$ and outputs ciphertext $c \la E(pk, m)$. +> - $D$ takes a secret key $sk$ and a ciphertext $c$ and outputs plaintext $m \la D(sk, c)$ or a special $\texttt{reject}$ value $\bot$. +> +> We say that $\mc{E} = (G, E, D)$ is defined over $(\mc{M}, \mc{C})$. + +$G$ and $E$ may be probabilistic, but $D$ must be deterministic. Also, correctness condition is required. For any $(pk, sk)$ and $m \in \mc{M}$, + +$$ +\Pr[D(sk, E(pk, m)) = m] = 1. +$$ + +Public key $pk$ will be publicized. After Alice obtains $pk$, she can use it to encrypt any message and send it to Bob. This is the only interaction required. The public key can be used multiple times, and others besides Alice can use it too. Finally, $sk$ should be hard to compute from $pk$, obviously for security. + +## CPA Security for Public Key Encryption + +### Semantic Security + +The following notion of security is only for an eavesdropping adversary. + +![mc-09-ss-pke.png](../../../assets/img/posts/Lecture%20Notes/Modern%20Cryptography/mc-09-ss-pke.png) + +> **Definition.** Let $\mc{E} = (G, E, D)$ be a public key encryption scheme defined over $(\mc{M}, \mc{C})$. For an adversary $\mc{A}$, we define two experiments. +> +> **Experiment** $b$. +> 1. The challenger computes $(pk, sk) \la G()$ and sends $pk$ to the adversary. +> 2. The adversary chooses $m_0, m_1 \in \mc{M}$ of the same length, and sends them to the challenger. +> 3. The challenger computes $c \la E(pk, m_b)$ and sends $c$ to the adversary. +> 4. $\mc{A}$ outputs a bit $b' \in \braces{0, 1}$. +> +> Let $W_b$ be the event that $\mc{A}$ outputs $1$ in experiment $b$. The **advantage** of $\mc{A}$ with respect to $\mc{E}$ is defined as +> +> $$ +> \Adv[SS]{\mc{A}, \mc{E}} = \abs{\Pr[W_0] - \Pr[W_1]}. +> $$ +> +> $\mc{E}$ is **semantically secure** if $\rm{Adv}_{\rm{SS}}[\mc{A}, \mc{E}]$ is negligible for any efficient $\mc{A}$. + +Note that $pk$ is sent to the adversary, and adversary can encrypt any message! Thus, encryption must be randomized. Otherwise, the adversary can compute $E(pk, m_b)$ for each $b$ and compare with $c$ given from the challenger. + +### Semantic Security $\implies$ CPA + +For symmetric ciphers, semantic security (one-time) did not guarantee CPA security (many-time). But in public key encryption, semantic security implies CPA security. This is because *the attacker can encrypt any message using the public key*. + +First, we check the definition of CPA security for public key encryption. It is similar to that of symmetric ciphers, compare with [CPA Security for symmetric key encryption (Modern Cryptography)](./2023-09-19-symmetric-key-encryption.md#cpa-security). + +> **Definition.** For a given public-key encryption scheme $\mc{E} = (G, E, D)$ defined over $(\mc{M}, \mc{C})$ and given an adversary $\mc{A}$, define experiments 0 and 1. +> +> **Experiment $b$.** +> 1. The challenger computes $(pk, sk) \la G()$ and sends $pk$ to the adversary. +> 2. The adversary submits a sequence of queries to the challenger: +> - The $i$-th query is a pair of messages $m_{i, 0}, m_{i, 1} \in \mc{M}$ of the same length. +> 3. The challenger computes $c_i = E(pk, m_{i, b})$ and sends $c_i$ to the adversary. +> 4. The adversary computes and outputs a bit $b' \in \braces{0, 1}$. +> +> Let $W_b$ be the event that $\mc{A}$ outputs $1$ in experiment $b$. Then the **CPA advantage with respect to $\mc{E}$** is defined as +> +> $$ +> \Adv[CPA]{\mc{A}, \mc{E}} = \abs{\Pr[W_0] - \Pr[W_1]}. +> $$ +> +> If the CPA advantage is negligible for all efficient adversaries $\mc{A}$, then $\mc{E}$ is **semantically secure against chosen plaintext attack**, or simply **CPA secure**. + +We formally prove the following theorem. + +> **Theorem.** If a public-key encryption scheme $\mc{E}$ is semantically secure, then it is also CPA secure. +> +> For any $q$-query CPA adversary $\mc{A}$, there exists an SS adversary $\mc{B}$ such that +> +> $$ +> \rm{Adv}_{\rm{CPA}}[\mc{A}, \mc{E}] = q \cdot \rm{Adv}_{\rm{SS}}[\mc{B}, \mc{E}]. +> $$ + +*Proof*. The proof uses a hybrid argument. For $j = 0, \dots, q$, the *hybrid game* $j$ is played between $\mc{A}$ and a challenger that responds to the $q$ queries as follows: + +- On the $i$-th query $(m_{i,0}, m_{i, 1})$, respond with $c_i$ where + - $c_i \la E(pk, m_{i, 1})$ if $i \leq j$. + - $c_i \la E(pk, m_{i, 0})$ otherwise. + +So, the challenger in hybrid game $j$ encrypts $m_{i, 1}$ in the first $j$ queries, and encrypts $m_{i, 0}$ for the rest of the queries. If we define $p_j$ to be the probability that $\mc{A}$ outputs $1$ in hybrid game $j$, we have + +$$ +\Adv[CPA]{\mc{A}, \mc{E}} = \abs{p_q - p_0} +$$ + +since hybrid $q$ is precisely experiment $1$, hybrid $0$ is experiment $0$. With $\mc{A}$, we define $\mc{B}$ as follows. + +1. $\mc{B}$ randomly chooses $\omega \la \braces{1, \dots, q}$. +2. $\mc{B}$ obtains $pk$ from the challenger, and forwards it to $\mc{A}$. +3. For the $i$-th query $(m_{i, 0}, m_{i, 1})$ from $\mc{A}$, $\mc{B}$ responds as follows. + - If $i < \omega$, $c \la E(pk, m_{i, 1})$. + - If $i = \omega$, forward query to the challenger and forward its response to $\mc{A}$. + - Otherwise, $c_i \la E(pk, m_{i, 0})$. +4. $\mc{B}$ outputs whatever $\mc{A}$ outputs. + +Note that $\mc{B}$ can encrypt queries on its own, since the public key is given. Define $W_b$ as the event that $\mc{B}$ outputs $1$ in experiment $b$ in the semantic security game. For $j = 1, \dots, q$, we have that + +$$ +\Pr[W_0 \mid \omega = j] = p_{j - 1}, \quad \Pr[W_1 \mid \omega = j] = p_j. +$$ + +In experiment $0$ with $\omega = j$, $\mc{A}$ receives encryptions of $m_{i, 1}$ in the first $j - 1$ queries and receives encryptions of $m_{i, 1}$ for the rest of the queries. The second equation follows similarly. + +Then the SS advantage can be calculated as + +$$ +\begin{aligned} +\Adv[SS]{\mc{B}, \mc{E}} &= \abs{\Pr[W_0] - \Pr[W_1]} \\ +&= \frac{1}{q} \abs{\sum_{j=1}^q \Pr[W_0 \mid \omega = j] - \sum_{j = 1}^q \Pr[W_1 \mid \omega = j]} \\ +&= \frac{1}{q} \abs{\sum_{j=1}^q (p_{j-1} - p_j)} \\ +&= \frac{1}{q} \Adv[CPA]{\mc{A}, \mc{E}}. +\end{aligned} +$$ + +## CCA Security for Public Key Encryption + +We also define CCA security for public key encryption, which models a wide spectrum of real-world attacks. The definition is also very similar to that of symmetric ciphers, compare with [CCA security for symmetric ciphers (Modern Cryptography)](./2023-09-26-cca-security-authenticated-encryption.md#cca-security). + +> **Definition.** Let $\mc{E} = (G, E, D)$ be a public-key encryption scheme over $(\mc{M}, \mc{C})$. Given an adversary $\mc{A}$, define experiments $0$ and $1$. +> +> **Experiment $b$.** +> 1. The challenger computes $(pk, sk) \la G()$ and sends $pk$ to the adversary. +> 2. $\mc{A}$ makes a series of queries to the challenger, which is one of the following two types. +> - *Encryption*: Send $(m_{i_,0}, m_{i, 1})$ and receive $c'_i \la E(pk, m_{i, b})$. +> - *Decryption*: Send $c_i$ and receive $m'_i \la D(sk, c_i)$. +> - Note that $\mc{A}$ is not allowed to make a decryption query for any $c_i'$. +> 3. $\mc{A}$ outputs a pair of messages $(m_0^ * , m_1^*)$. +> 4. The challenger generates $c^* \la E(pk, m_b^*)$ and gives it to $\mc{A}$. +> 5. $\mc{A}$ is allowed to keep making queries, but not allowed to make a decryption query for $c^*$. +> 6. The adversary computes and outputs a bit $b' \in \left\lbrace 0, 1 \right\rbrace$. +> +> Let $W_b$ be the event that $\mc{A}$ outputs $1$ in experiment $b$. Then the **CCA advantage with respect to $\mc{E}$** is defined as +> +> $$ +> \rm{Adv}_{\rm{CCA}}[\mc{A}, \mc{E}] = \left\lvert \Pr[W_0] - \Pr[W_1] \right\lvert. +> $$ +> +> If the CCA advantage is negligible for all efficient adversaries $\mc{A}$, then $\mc{E}$ is **semantically secure against a chosen ciphertext attack**, or simply **CCA secure**. + +Note that encryption queries are not strictly required, since in public-key schemes, the adversary can encrypt any messages on its own. We can consider a restricted security game, where an adversary makes only a single encryption query. + +> **Definition.** If $\mc{A}$ is restricted to making a single encryption query, we denote its advantage by $\Adv[1CCA]{\mc{A}, \mc{E}}$. A public-key encryption scheme $\mc{E}$ is **one-time semantically secure against chosen ciphertext attack**, or simply **1CCA** secure if $\Adv[1CCA]{\mc{A}, \mc{E}}$ is negligible for all efficient adversaries $\mc{A}$. + +Similarly, 1CCA security implies CCA security, as in the above theorem. So to show CCA security for public-key schemes, *it suffices to show that the scheme is 1CCA secure*. + +> **Theorem.** If a public-key encryption scheme $\mc{E}$ is 1CCA secure, then it is also CCA secure. + +*Proof*. Same as the proof in above theorem. + +### Active Adversaries in Symmetric vs Public Key + +In symmetric key encryption, we studied [authenticated encryption (AE)](./2023-09-26-cca-security-authenticated-encryption.md#authenticated-encryption-ae), which required the scheme to be CPA secure and provide ciphertext integrity. In symmetric key settings, AE implied CCA. + +However in public-key schemes, adversaries can always create new ciphertexts using the public key, which makes the original definition of ciphertext integrity unusable. Thus we directly require CCA security. + +## Hybrid Encryption and Key Encapsulation Mechanism + +Symmetric key encryptions are significantly faster than public key encryption, so we use public-key encryption for sharing the key, and then the key is used for symmetric key encryption. + +Generate $(pk, sk)$ for the public key encryption, and generate a symmetric key $k$. For the message $m$, encrypt it as + +$$ +(c, c_S) \la \big( E(pk, k), E_S(k, m) \big) +$$ + +where $E_S$ is the symmetric encryption algorithm, $E$ is the public-key encryption algorithm. The receiver decrypts $c$ and recovers $k$ that can be used for decrypting $c_S$. This is a form of **hybrid encryption**. We are *encapsulating* the key $k$ inside a ciphertext, so we call this **key encapsulation mechanism** (KEM). + +We can use public-key schemes for KEM, but there are dedicated constructions for KEM which are more efficient. The dedicated algorithms does the key generation and encryption in one-shot. + +> **Definition.** A KEM $\mc{E}_\rm{KEM}$ consists of a triple of algorithms $(G, E_\rm{KEM}, D_\rm{KEM})$. +> +> - The key generation algorithm generates $(pk, sk) \la G()$. +> - The encapsulation algorithm generates $(k, c_\rm{KEM}) \la E_\rm{KEM}(pk)$. +> - The decapsulation algorithm generates $k \la D_\rm{KEM}(sk, c_\rm{KEM})$. + +Note that $E_\rm{KEM}$ only takes the public key as a parameter. The correctness condition is that for any $(pk, sk) \la G()$ and any $(k, c_\rm{KEM}) \la E_\rm{KEM}(pk)$, we must have $k \la D_\rm{KEM}(sk, c_\rm{KEM})$. + +Using the KEM, the symmetric key is automatically encapsulated during encryption process. + +> **Definition.** A KEM scheme is secure if any efficient adversary cannot distinguish between $(c_\rm{KEM}, k_0)$ and $(c_\rm{KEM}, k_1)$, where $k_0$ is generated by $E(pk)$, and $k_1$ is chosen randomly from $\mc{K}$. + +Read more about this in Exercise 11.9.[^1] + +## The ElGamal Encryption + +We introduce a public-key encryption scheme based on the hardness of discrete logarithms. + +> **Definition.** Suppose we have two parties Alice and Bob. Let $G = \left\langle g \right\rangle$ be a cyclic group of prime order $q$, let $\mc{E}_S = (E_S, D_S)$ be a symmetric cipher. +> +> 1. Alice chooses $sk = \alpha \la \Z_q$, computes $pk = g^\alpha$ and sends $pk$ to Bob. +> 2. Bob also chooses $\beta \la \Z_q$ and computes $k = h^\beta = g^{\alpha\beta}$. +> 3. Bob sends $\big( g^\beta, E_S(k, m) \big)$ to Alice. +> 4. Alice computes $k = g^{\alpha\beta} = (g^\beta)^\alpha$ using $\alpha$ and recovers $m$ by decrypting $E_S(k, m)$. + +As a concrete example, set $E_S(k, m) = k \cdot m$ and $D_S(k, c) = k^{-1} \cdot c$. The correctness property automatically holds. Therefore, + +- $G$ outputs $sk = \alpha \la \Z_q$, $pk = h = g^\alpha$. +- $E(pk, m) = (c_1, c_2) \la (g^\beta, h^\beta \cdot m)$ where $\beta \la \Z_q$. +- $D(sk, c) = c_2 \cdot (c_1)^{-\alpha} = m$. + +### Security of ElGamal Encryption + +> **Theorem.** If the DDH assumption holds on $G$, and the symmetric cipher $\mc{E}_S = (E_S, D_S)$ is semantically secure, then the ElGamal encryption scheme $\mc{E}_\rm{EG}$ is semantically secure. +> +> For any SS adversary $\mc{A}$ of $\mc{E}_\rm{EG}$, there exist a DDH adversary $\mc{B}$, and an SS adversary $\mc{C}$ for $\mc{E}_S$ such that +> +> $$ +> \Adv[SS]{\mc{A}, \mc{E}_\rm{EG}} \leq 2 \cdot \Adv[DDH]{\mc{B}, G} + \Adv[SS]{\mc{C}, \mc{E}_S}. +> $$ + +*Proof Idea*. For any $m_0, m_1 \in G$ and random $\gamma \la \Z_q$, + +$$ +E_S(g^{\alpha\beta}, m_0) \approx_c E_S(g^{\gamma}, m_0) \approx_c E_S(g^\gamma, m_1) \approx_c E_S(g^{\alpha\beta}, m_1). +$$ + +The first two and last two ciphertexts are computationally indistinguishable since the DDH problem is hard. The second and third ciphertexts are also indistinguishable since $\mc{E}_S$ is semantically secure. + +*Proof*. Full proof in Theorem 11.5.[^1] + +Note that $\beta \la \Z_q$ must be chosen differently for each encrypted message. This is the randomness part of the encryption, since $pk = g^\alpha, sk =\alpha$ are fixed. + +### Hashed ElGamal Encryption + +**Hashed ElGamal encryption** scheme is a variant of the original ElGamal scheme, where we use a hash function $H : G \ra \mc{K}$, where $\mc{K}$ is the key space of $\mc{E}_S$. + +The only difference is that we use $H(g^{\alpha\beta})$ as the key.[^2] + +> 1. Alice chooses $sk = \alpha \la \Z_q$, computes $pk = g^\alpha$ and sends $pk$ to Bob. +> 2. Bob also chooses $\beta \la \Z_q$ and computes $h^\beta = g^{\alpha\beta}$**, and sets $k = H(g^{\alpha\beta})$.** +> 3. Bob sends $\big( g^\beta, E_S(k, m) \big)$ to Alice. +> 4. Alice computes $g^{\alpha\beta} = (g^\beta)^\alpha$ using $\alpha$, **computes $k = H(g^{\alpha\beta})$** and recovers $m$ by decrypting $E_S(k, m)$. + +This is also semantically secure, under the random oracle model. + +> **Theorem.** Let $H : G \ra \mc{K}$ be modeled as a random oracle. If the CDH assumption holds on $G$ and $\mc{E}_S$ is semantically secure, then the hashed ElGamal scheme $\mc{E}_\rm{HEG}$ is semantically secure. + +*Proof Idea*. Given a ciphertext $\big( g^\beta, E_S(k, m) \big)$ with $k = H(g^{\alpha\beta})$, the adversary learns nothing about $k$ unless it constructs $g^{\alpha\beta}$. This is because we modeled $H$ as a random oracle. If the adversary learns about $k$, then this adversary breaks the CDH assumption for $G$. Thus, if CDH assumption holds for the adversary, $k$ is completely random, so the hashed ElGamal scheme is secure by the semantic security of $\mc{E}_S$. + +*Proof*. Refer to Theorem 11.4.[^1] + +Since the hashed ElGamal scheme is semantically secure, it is automatically CPA secure. But this is not CCA secure, and we need a stronger assumption. + +### Interactive Computational Diffie-Hellman Problem (ICDH) + +> **Definition.** Let $G = \left\langle g \right\rangle$ be a cyclic group of prime order $q$. Let $\mc{A}$ be a given adversary. +> +> 1. The challenger chooses $\alpha, \beta \la \Z_q$ and sends $g^\alpha, g^\beta$ to the adversary. +> 2. The adversary makes a sequence of **DH-decision oracle queries** to the challenger. +> - Each query has the form $(v, w) \in G^2$, challenger replies with $1$ if $v^\alpha = w$, replies $0$ otherwise. +> 3. The adversary calculates and outputs some $w \in G$. +> +> We define the **advantage in solving the interactive computational Diffie-Hellman problem for $G$** as +> +> $$ +> \Adv[ICDH]{\mc{A}, G} = \Pr[w = g^{\alpha\beta}]. +> $$ +> +> We say that the **interactive computational Diffie-Hellman (ICDH) assumption** holds for $G$ if for any efficient adversary $\mc{A}$, $\Adv[ICDH]{\mc{A}, G}$ is negligible. + +This is also known as **gap-CDH**. Intuitively, it says that even if we have a DDH solver, CDH is still hard. + +### CCA Security of Hashed ElGamal + +> **Theorem.** If the gap-CDH assumption holds on $G$ and $\mc{E}_S$ provides AE and $H : G \ra \mc{K}$ is a random oracle, then the hashed ElGamal scheme is CCA secure. + +*Proof*. See Theorem 12.4.[^1] (very long) + +## The RSA Encryption + +The RSA scheme was originally designed by Rivest, Shamir and Adleman in 1977.[^3] The RSA trapdoor permutation is used in many places such as SSL/TLS, both for encryption and digital signatures. + +### Textbook RSA Encryption + +The "textbook RSA" is done as follows. + +- Key generation algorithm $G$ outputs $(pk, sk)$. + - Sample two large random primes $p, q$ and set $N = pq$. + - Choose $e \in \Z$ such that $\gcd(e, \phi(N)) = 1$, compute $d = e^{-1} \bmod{\phi(N)}$. + - Output $pk = (N, e)$, $sk = (N, d)$. +- Encryption $E(pk, m) = m^e \bmod N$. +- Decryption $D(sk, c) = c^d \bmod N$ . + +Correctness holds by **Fermat's little theorem**. $ed = 1 \bmod \phi(N)$, so + +$$ +D(sk, (E(pk, m))) = m^{ed} = m^{1 + k(p-1)(q-1)} \bmod N. +$$ + +Since $m^{p-1} = 1 \bmod p$, $m^{ed} = m \bmod N$ (holds trivially if $p \mid m$). A similar argument holds for modulus $q$, so we have $m^{ed} = m \bmod N$. + +### Attacks on Textbook RSA Encryption + +But this scheme is not CPA secure, since it is deterministic and the ciphertext is malleable. For instance, one can choose two messages to be $1$ and $2$. Then the ciphertext is easily distinguishable. + +Also, ciphertext is malleable by the **homomorphic property**. If $c_1 = m_1^e \bmod N$ and $c_2 = m_2^e \bmod N$, then set $c =c_1c_2 = (m_1m_2)^e \bmod N$, which is an encryption of $m_1m_2$. + +#### Attack on KEM + +Assume that the textbook RSA is used as KEM. Suppose that $k$ is $128$ bits, and the attacker sees $c = k^e \bmod N$. With high probability ($80\%$), $k = k_1 \cdot k_2$ for some $k_1, k_2 < 2^{64}$. Using the homomorphic property, $c = k_1^e k_2^e \bmod N$, so the following attack is possible. + +1. Build a table of $c\cdot k_2^{-e}$ for $0 \leq k_2 < 2^{64}$. +2. For each $1 \leq k_1 < 2^{64}$, compute $k_1^e$ to check if it is in the table. +3. Output a match $(k_1, k_2)$. + +The attack has complexity $\mc{O}(2^{n/2})$ where $n$ is the key length. + +## Trapdoor Functions + +Textbook RSA is not secure, but it is a **one-way trapdoor function**. + +A **one-way function** is a function that is computationally hard to invert. But we sometimes need to invert the functions, so we need functions that have a **trapdoor**. A trapdoor is a secret door that allows efficient inversion, but without the trapdoor, the function must be still hard to invert. + +> **Definition.** Let $\mc{X}$ and $\mc{Y}$ be finite sets. A **trapdoor function scheme** $\mc{T} = (G, F, I)$ defined over $(\mc{X}, \mc{Y})$ is a triple of algorithms. +> +> - $G$ is a probabilistic key generation algorithm that outputs $(pk, sk)$, where $pk$ is the public key and $sk$ is the secret key. +> - $F$ is a deterministic algorithm that outputs $y \la F(pk, x)$ for $x \in \mc{X}$. +> - $I$ is a deterministic algorithm that outputs $x \la I(sk, y)$ for $y \in \mc{Y}$. + +The correctness property says that for any $(pk, sk) \la G()$ and $x \in \mc{X}$, $I(sk, F(pk, x)) = x$. So $sk$ is the trapdoor that inverts this function. + +One-wayness is defined as a security game. + +> **Definition.** Given a trapdoor function scheme $\mc{T} = (G, F, I)$ and an adversary $\mc{A}$, define a security game as follows. +> +> 1. The challenger computes $(pk, sk) \la G()$, $x \la \mc{X}$ and $y \la F(pk, x)$. +> 2. The challenger sends $pk$ and $y$ to the adversary. +> 3. The adversary computes and outputs $x' \in \mc{X}$. +> +> $\mc{A}$ wins if $\mc{A}$ inverts the function. The advantage is defined as +> +> $$ +> \Adv[OW]{\mc{A}, \mc{T}} = \Pr[x = x']. +> $$ +> +> If the advantage is negligible for any efficient adversary $\mc{A}$, then $\mc{T}$ is **one-way**. + +A one-way trapdoor function is not an encryption. The algorithm is deterministic, so it is not CPA secure. Never encrypt with trapdoor functions. + +### Textbook RSA as a Trapdoor Function + +It is easy to see that the textbook RSA is a trapdoor function. + +- Key generation algorithm $G$ chooses random primes $p, q$ and sets $N = pq$. + - Then chooses integer $e$ such that $\gcd(e, \phi(N)) = 1$. + - Set $d = e^{-1} \bmod \phi(N)$. +- Then $F(pk, x) = x^e \bmod N$, and $I(sk, y) = y^d \bmod N$. +- The correctness property holds by the above proof. + +But is RSA a *secure* trapdoor function? Is it one-way? + +- If $d$ is known, it is obviously not one-way. +- If $\phi(N)$ is known, it is not one-way. + - One can find $d = e^{-1} \bmod \phi(N)$. +- If $p$ and $q$ are known, it is not one-way. + - $\phi(N) = (p-1)(q-1)$. + +Thus, if factoring is easy, RSA is not one-way. Thus if RSA is a secure trapdoor function, then factoring must be hard. How about the converse? We don't have a proof, but it seems reasonable to assume. + +## The RSA Assumption + +The RSA assumption says that the RSA problem is hard, which implies that RSA is a **one-way** trapdoor function. + +### The RSA Problem + +> **Definition.** Let $\mc{T}_\rm{RSA} = (G, F, I)$ the RSA trapdoor function scheme. Given an adversary $\mc{A}$, +> +> 1. The challenger chooses $(pk, sk) \la G()$ and $x \la \Z_N$. +> - $pk = (N, e)$, $sk = (N, d)$. +> 2. The challenger computes $y \la x^e \bmod N$ and sends $pk$ and $y$ to the adversary. +> 3. The adversary computes and outputs $x' \in \Z_N$. +> +> The adversary wins if $x = x'$. The advantage is defined as +> +> $$ +> \rm{Adv}_{\rm{RSA}}[\mc{A}, \mc{T_\rm{RSA}}] = \Pr[x = x']. +> $$ +> +> We say that the **RSA assumption** holds if the advantage is negligible for any efficient $\mc{A}$. + +## RSA Public Key Encryption (ISO Standard) + +- Let $(E_S, D_S)$ be a symmetric encryption scheme over $(\mc{K}, \mc{M}, \mc{C})$ that provides AE. +- Let $H : \Z_N^{\ast} \ra \mc{K}$ be a hash function. + +The RSA public key encryption is done as follows. + +- Key generation is the same. +- Encryption + 1. Choose random $x \la \Z_N^{\ast}$ and let $y = x^e \bmod N$. + 2. Compute $c \la E_S(H(x), m)$. + 3. Output $c' = (y, c)$. +- Decryption + - Output $D_S(H(y^d), c)$. + +This works because $x = y^d \bmod N$ and $H(y^d) = H(x)$. In short, this uses RSA trapdoor function as a **key exchange mechanism**, and the actual encryption is done by symmetric encryption. + +It is known that with RSA assumption and $H$ modeled as a random oracle, this scheme is CPA secure. + +### Optimizations for RSA + +The computation time depends on the exponents $e, d$. + +- To speed up RSA, choose a small public exponent $e$. + - $e = 65537 = 2^{16} + 1$ is often used, which only takes $17$ multiplications. +- But $d$ cannot be too small. + - RSA is insecure for $d < N^{0.25}$. (Wiener'87) + - RSA is insecure for $d < N^{0.292}$. (BD'98) + - Is RSA secure for $d < N^{0.5}$? (open problem) +- Often, encryption is fast, but decryption is slow. + - ElGamal takes approximately the same time for both.[^4] + +## Attacks on RSA Implementation + +- Timing Attack + - Time to compute $c^d \bmod N$ exposes $d$. + - More $1$'s in the binary representation of $d$ leads to more multiplications. +- Power Attack + - The power consumption of a smartcard during the computation of $c^d \bmod N$ exposes $d$. +- Faults Attack + - An error during computation exposes $d$. +- Poor Randomness + - Poor entropy at initialization, then same $p$ is generated for multiple devices. + - Collect modulus $N$ from many public keys, and their $\gcd$ will be $p$. + - *PRG must be properly seeded when generating keys.* + +[^1]: A Graduate Course in Applied Cryptography. +[^2]: There is another variant that uses $H : G^2 \ra \mc{K}$ and sets $H(g^\beta, g^{\alpha\beta})$ as the key. This one is also semantically secure, and gives further security properties than the one in the text. +[^3]: This was one year before ElGamal. +[^4]: Discrete logarithms have the same complexity for average case and worst case, but this is not the case for RSA. (Source?) diff --git a/assets/img/posts/Lecture Notes/Modern Cryptography/mc-09-ss-pke.png b/assets/img/posts/Lecture Notes/Modern Cryptography/mc-09-ss-pke.png new file mode 100644 index 0000000000000000000000000000000000000000..b861b10f1b8568cb7f4604e6d923a08dff1099df GIT binary patch literal 156529 zcmeFZWmuKn+BHmfBOr~SfFdD+bSNz)Azc#EA>FV*T1o_@TSB_K5d`UORJx^`Z!Y5A z`+na2J$oPTpZCw^IAATVb;XQxo-xLlE8vxk7$zDC8Vn2!ri8e#JPZs977Pr6E(#Jj z!n8y81qKE~&{#<5m4uKG)hlbux5j1$Ffif)k;=#_3f~D6)jx)X^}(Ttqt>BPvwMER zQG;0#Da8E ztt4YJsAR`{>{A(!e>1bGFN+oZ=20tOYH0_(e;L&U{e0KPJ<*3T1APcSd?p=TdM)v= zn*Iq#Q;k;snD?*<7lcLWk4tUeupsMJzUX`LhM$f?m(QOFZO7}^r)O~wBJ?8b`>JhG z<1*%%tsYo6uxf{a zJD!sUuqhEXAhs64$%%Wupkxq_MrePuA!)OVv=n6CbH|!G@<`DAt!oywfXdTQhEU2L z#F|GqMR-Vd2u^x5NK4H`2uKeXL->gN@qT^crffTgEeb5+6p6>rD{b#a;JU{;gP}WG z>&3aC!uy1hN!*7&k*Oy%M7cG9$lzT|D#4$*EG$d3^hP+cN$5 z7?px>te!BO^f67i5<3*QwcjAr+jPQkVH|8sf-?*-h+&u9t&j4ts5EEPsVKuS6JNxm zH$TU!jqVf+@U4B|MHhy9(ZWNdMDc+GSxNP>VF`JB3j>`M_oXQJa(D{Akpu=c5}r^% zld$>}%wb#I9~8%ZzhPp-Uy0tkM;5Y*>P@b~x z5}(^309#AgN5jmCu<=_F49^PZ6U!rf=eUpE9?-+;2c>cM!r|v9KQyi=G=p2#I5H7 zUR3wr`}X0wwIUP=uj3lN4>+QJE{=c~be|?$9EtixdIyF+g}iUB;0TR+n2ElCH3C<# zhVVpKjX3f^aP4#cw7V}w%H(K<(8vQ=h$zebG5lH-vSyVRNN*mcyniJ#Cc`Pk ziGC{6zyBwOnf4I4xB?gS=>qggjRmMfOOeny5q1^aSeI??DwT1 zrE#_&ZG(qIPO?&SbW?xj;^lr!rIvrF^iX*`!}`TSZ0FNR_hO{+kLw~K)VtpYJ0!nP zb_CBe%rjXFh(zd0|4C_8D5kf0X!@}1Q^_afPZc>iId5|kbDre980N|`eSMg%^=jkQ zx$to6gxvVhAH|1usCLNvclMd~8G}VjQjZ7ajgCtnl$uNsPtZ(=u~)~Yk%$EsJX6nm zkteeeJHcRAT%Ex!>6Ypo?p$^9e4k;Jk3=7n0ka%QSuaY|=NoSDB#B$BZMR&kTx?Zr z5W9o1){twy$UyM`+Q2W(|qN@_@4z{>w-%KQb#A9mc>TvjgQ9j}xY zohR0JO^LfdXekH{zEa3uAskd1bbo4Ef>5GcQuh|S`{AP0uI=vYMd`&lLRvz-$8S}J zRHjPqtFtmbWgJyWtT@v#FptzPYs{Hhttv}oZ?EpC{&oVv?EcpKHc&dU8&f@%aq!us zz4yjzo}r#@rosH?%|JerEeqz-S)JKuUM$Tv?~R0q{U@;$k)wnlLcv0QY598Z^@{ZB zet!)oq)`xMqI7bf=b+=rB+E3HITSMvMk9UAoAYjn)R4z8(Z**NlPFfQu*)nODS9;j zARlftINxDv*+OrMu#&yX&F;`Dx^lGI!9~R}-C5Cj>aEGsw3wh6B3{%)*u)aPP$%~t z>%-1N?z#Qw3U7zTbNPL$g8)LmG)lWieg%g64gje@2^}_QSLFPkyhTemckGhHZ z4n2m#`q3vG5{hcxy=U$IEx#3QoLhLC-}xy zK{|agKbr8nR3%Zq59J|=cy4UIck#&;aCh1471uwE?Y`Tqlz3P3Yo;B!l{vT}Nhg9z z+UTXCELoCD!qL5lEXE@8r(@xIh9PzFW?_$|EX40+-2Y-GyFyCDX0czH|HtCDdMdq;&oOo)w)(_t+oWDX$V)+^GnhjQ%F^RcdXa$jQ`^`S{}O^_c}E zRL5sdwOaNhaBqp2pP1ok_0x0KuBR^V&3-!nT+8jtl~$!JPAhiM$DY5xu-^UpyL2}n z^#GnhP%Is(EK~dxZ8=f2|7514v?^bQG9J@-qTjr9hiS*CufPtYJn0JaKnUEdSD;s@ z0)8gNwLCN>b-iXTSU&bQ+9%`?=>cPnsUB>0*>>M{cRAbV;{iZ_+e7 zoqkVG)u*a)8xLmtM_O`c7Fq+f-;PChmws%WJ(!P<#Vf;;_`ZQSgZ_-Ml?aWfoXJ|X z)S|ya-hCy5HM4l9m^sKPi20m*b+oJj>#>CPK=qK@$~S{ngH(fxs8hz-suwmQ{eeA^ zdP*aCy19=u_bv9*hl#p0yEyVva>MhDwMmQ0-z2nE8?4pm_G);PP$%nJX1rNQ?ZhTM zBF#77n^md#Zlo~&r8mweZp#dHTwdAW_3Qe`$}*j`LGysgp384%dCoOW2gMuO4*vF~ zTOX#!H8$il>$dKui!7Kue(>3vLQYe{zY`_TZ_spVadh`%&bAL8z*K<30FXdayj+k#~&PCz5o@I^8>7S6skf`=|p<50+ z+}ix#U3M}|FBB#QcMNHJbCP%j1V+fG-1gfli8Ptpm``0^UJRX;>_m2d74kT~93J2) zuUIRa-*1d-v)rHEbX+>g&t|UP>OY-2Jg0mqu<9{&9B{mHwv^u6dy?sX&rS7o_`vjc z#kM6jk~K0?s|Kp_1%qc(;FnDJ?YGD#a2aHid)ap zoav3erLF;!qq!CIJ}|tF+~BRbf$bYAM{_d^8*WEF>Z>!j!F%XoW@@UdQ*2H7s8yt2 zQ3+XE8&ExCVqs#T=0~HVqT;pIf6FZ|EP8V}_>Yg;$kx`1o0-|c!GX!)DU+qOA@dV1 zE-q#kR%TXKMsNnBjgy7#8%IV98=C8z+}=mnz(&v7*vi(}(t-+l-#5CJcD8)f)X)e0 z^>f`$14rY3Jjuf5rdyzc%+ODmpD?j7|8;M0DKGRW_bX#Z12a`&V{Pps$XCk>*F^W&Uf{_|eRylb{AfW-KhL2ws7iL4V+$fIsxtui!nbPH<^=Rmnz34SYwXgawbY8 z{!a#2?K}n@BRpCq20M>Ma5je6DbMHbQvoj}*!Olhfgljo|<7bb;p07r{W_om~H9bN~CO=Z>lL{Tl z4n0^ne22EgekWXYKS&a$8*8P*OOF#o45bM-&z84jl)>A$hRt4XH{MMNR% z_#GrWjQby)F0MY;_$`=pACT6ItNDvVq1+ zgaJHG7X1z!Vm70&^@%cchrbUL?tNU+ZkoHCZnuIGi|RvHmMN?=Xj*g-6B`II~hM)|aqgkmvbZ zTd0KKA{msU?AAsCLIfMV{#ADbS>fuDu-3;*#9l@|ij=D2MEYA31gT^o;1-=JeiS52 zGwZ(p@)nhz1rT^1`}MG$g)YCOaLfNO#SaNos%^8`jQXfDoIVo&3tJVuKmi^?U^F(C z`ky?6UQ7$Ea4p=iK@*m^eJX?v^|5BPA_-WJUrNrm*buPNBjY0eZZ!eW zAXG^#cGC^P1L*(fqhTbs2dsgEy1(>I?r+8`C<8rhFgm*P=5C&Tz~@r1+`kEBf<4gB zccVX}{j=r5!2O?3YsKeeG3rZRFQ8|?o&Q?=%G1pny^)wk$Y)+N;p@S=v9cWnFtca1 zn?od52OzFQ^z>HALVj2~U?dlL@b_;_1@ia~OHo0lc%#}`@f5J8Pt4jgPft(w*Sd-g zx_B!}{<7NZhYGf~#!2L(-wyIz1?Y`Cdc>_Q=)Y`it*3xPW*sKsWWGJ=YVqM@dIoSr zydzAQ{%g?Ff$tTM4S~N|ON~~r_@~Y&WGuD)uXt}Q@2XFY&}X9E-tNE8{O{QQ*M|PP zR{rY~;86bG`&%yRLbp@<bbZ*&#$E;9c_^P% z%X#-U0qP)t#kZujX^V2ciJhKRAa;IsF{i&x?(WE3#}PCKX)Y2-E$&$18}Hh~85dUb z2{zR_=d#`1c1jOUqz95wpQ`QFUV0;8rn{e?q&DnT+pbV&yo|Iy2q-JIoaHwj%}K*$VYK3P5Fqt2jTv+_g8azCj%lPNRgyv&S^TXHjYh+f3vhjD1o_iyG=R2Iz+p=jwBpQRD zSs>S*tbS#+oZ+S8q`G?_=WIw0-76@>v(WL6F3;zCpT8|>!#TSdcE>ItAR85m^vMYv zu8;4I_KZvnWh*S~4a#Cm2A%y9OAKF{z+TiBAJZaXiR->`3)D& zPV?bn>&BSWPZORRhQ!+rNZ`3Hdu&!Mb+!iJ(>RngBw2SpOyvmq!z6HVlt$*Z*Z*fT zQTfzvx$pUm$K`qD8ky{zC#BOjO+owXyoE{(QK~lPhnz`{&rK_lP;oeQ`r4A|Z}VyS zn*m;VK>HM-SY6QXh>}&`pZ8!)uh?{yskd{v@6s^ItsErQ&F*8`C2yr4%BTC2vlZHJ zsHxVwR=FPi^xGLxw;Z=T^?N&%E`d+XW1mZA^W%w3asBX2uIkf%<9gK%?U$2L6J_DM6IXT_SV!KJC(qDrNvDDgz z^(NO6PrL3ydJ(MEBLt~CeSWQOCwoPd^DdEFfeiU!KU@4HBOkr4wSUN>DMq|JT99;h zak_O-&;6pQFGVQh^;f0T1~QsVPJaSU9H-)0_fu($hI4!3r*Ea^X-|0|@cEDP14y5l zg+VPoLY9A}nlG^t(g6=v*$$cObv8;hdSwK5HmkQ~N(|IgcSk+(Zaswn9PPnA4(D8N z8Lcux@e3U=z}DX%M0cc1L}+w@NgG>RX5{y#u{-CZv0*{wok9XrRy=My)@CMs_jf;Sl)O+ z(`q}H;(#~~%P4f_+E-s>lPI1B3Bx0^l?=)XX!2j4?Pj^6lKE3VWJ$4E>S48*ssxR} zBxBa!rKfgg+;rj-+c!=b!s zXyS0!R>SoO>P$l96&P}Sff_y^zJT@vcC-{>2Nz6T+`bJRwE|d<+ zL=-e!Oq3M@w_Ph0!z%JfIe)#H?{&cLVs``~qgqD@Igdt(6s=XVVQ(TUSQJ@jC|85= z6D-)sH!Z#*8_J&>fkA(GM1^`|&{sX(oVQGNFg;*DFAe{}8E9@e$$ z`+6S3)j98fluHw>A}qDvm|%4|Fw0ge%UL^6q^sW>khE?iP_BF{Ip@hBIe~ZX*s&#+ zXbk^T`1)D;Dxd`UjuBzyeADX=cqqm-N39@oePBoNI$rIRK9S!zyW_Z;ojL!F)N(Jk zmcOH6y%-cyr$s+MDahc~p?=T+J-Z{ZxP;$lw%Lw78Dgxl#s720wsthW1c1_-pRb~V}o zAg+~U%J~0CYJ`Y~@3|lTzSltM^hMdHjNDE z*S@x+!CpLgS20<$#-8=vFX7P%)569dF;5rfBV_HTHyw0O4>k;%-=n_C1iw)w8`Tl0$#IFWU&Pwfe;Ao%&x2&u1`exvyZU!zFSAP2J&bIScfvo;CF>I&fg=lZ> z!HeUcew3YHB~jXI!67$u4qUW_`klGY$JpPM@xO`_g1!jQxPgP1c?%ZsLXn+Nrf09O z4^Z_YNUg7d_Vtq78}62cL@}yQ(4aXEyI-6g4^+O>E9kDz+?uXYHW|)&0Nj&RkI0;- zPz(0w!cEvhCb6FGTeD4w}$CXn&xfT_6EN=f(Nyh5{aE7?acC?$MvH*-+kTN!dr& zBUeQS^%T!R{d9u^6#>qAK!R?( z={ap=crnzCkKc#3;MuX9(rtHTKzECGtL02?4$y-Y4(%^my~R32a0JbEb4nFJy-TVW zG6~#mQ=3l7vZVR7J1>d(oJ$j2xZ#l(dy|;Eq8LlO>FqbC9wJk^77k^}wOkkvWrg2i zR2#}9xs2SXb=sY;*{Y9d3nJnXXt=znA+zm!o(fCBZaVS_bnN@MVNyaAF7@@~c%b?g zm`_)~{uWBfJkeBWGW_Uxe^lGx{A6GLixhFTV)jRn;I$u^O;?x2JN^og&s8bf#`t)4 z06eOH$R6%V3CMv~rfVF2kX4vZ(gqPS;*rDZ1NSNq(&5sIram|(jmlT<#|uRL&ngYN z2p?)zmy%g`+_MH|BiZ7Msdo|Amn}!(arW*QB#|3>-p4tBO|N4D*ew<<-Cj(!QKjRWN_wT`}a=ssbxW!J&RBz#oek}T-68xIFDP1qLPNK2<6 z$UONj&sQ3{?+N+dZQJ|tw3liWJ%6M>}22@EemAp{l+*s$NNAWbcF<(F#%4Co7l7+S-bdi|0LXS-YHWm25%W;H_7_nKjtrBllZz**pIz|EG4=y6@rAWW1Y7_ zV6RUIBFR*B-|8E&Awq6AE1Z&!-x61zAmXTNDdxqR_GRE#Of?$6qY)%;pAs)6I3-V^ zxjrH6U}HnX5d@3MpT3?1%Xqv)7o}d>a7t97KlFy{47#FV&(A+~d<9|NGqIK zz8{x*39ZW^4oS}59bI7=dhI4eTAuRqQD}&WiY)MO9L}qHVR56Us%zNCF&+yu{*X%=Dg776C7p&xJ-neI~9V`Vn?B|gMRO<_RbAT3yUy7-{=o-+`6cE?Wd{2 zlwfI2ozFfr>VS0K?mH=D430+hgFkV&`T0SRvmU2?$f6~qQ7f!z$G)HuLUg^vRGI0h zC%dh4BT3*?elk0qi{OTgz`3n*1HKIBJsoMoSM(TernAn4tMl49irIom{BCd~ul5s< zS5e?o+L!kSDNTvDg2#AmEFgV4?LJJ_ z+a4rQ;@3f>6yBhWvD*1g$1}?8m^*5?><>R--^05rwKOJG)}-SGQaap1-#&*<{9Nyl z(v*#tVg!92qylH#LOSyu;jrWh_bNjt4gdUVg9lZHI8NY4vM>^dN8haVa<4sB7IK40T-OcGx#BY-wv00q2n%O& zLKtd5bvIlhH9|W5ZUJ{o=Bk+NCDL|%l8pUTXtFH-aJiqRP_I4Y^YE}IoT+|LmL9u+ z>3#pt?I9%Wo$i7bbp{lLi`CeQ+42t_CF#U?LEyQ0FF~-_SdY$rb~kqnus)i8KO2@) zgW$mOMBgMlr~>QHv%E}anpz+eR2Jn8?o}&a;!+PBNEZe68l^Op&*K(Av4%Ybcq03l zynZ~5Nu|P`rbbBLED!gFc;DuvWkYa|!?wz~cNo+gh=Y7K?z`|>5WI< zZV!Yp-sB;Sd4AT^VabhUqgrdneJ?4sR$BTs)L&4}AyW3OEX8x#z>RFrh4}SIQ_A+e z?{TugwA>;i`cVQ%O^MJE9Fp4PW9fL#Cn>lXdq2OhCp=e-VPiHW@%f}F4-&9UZrQwo z`Xb6&rY70CdW$rS%AYEO1np@@WqU*(q-cstXRpsZpechDaYt+^(jjw6-9 zCAl4_Lfy8Elh^)8)xE=w$tAURozz&cKA2Wjx-A!f#57IE%Wll~%dvYc^)<#oqx2+= zvQ%|G_rwbjKjVv$*OHS+IFr*N5eC^j?+?j%Q+iEO3k(PT-;IzbKg!$_I|O^b|aK;wKHe4 znwxf*wHttr2tW4@D7`V`cMvu@KRv`(0feK*YpqJF6h3Lu?Xfw-1a3Px?rO35R0VPj zV%GcHt@yGCAf2k{=sw2nU;Z?3Bt!Vs0AKsQ&)F?B zi3+8K!mi4)fDy>~O=$rG5r*-A;8N!@s|!DD}%g9>ULoG z*9ZMv|9oJ>Q5#e(d0WN(%xsLswxV*x4rNbAm0Cbn;C!!g2W2zeGFNOdWp@9k>!T<| z{(0;uy4Oz5!3Zh)m&<9PUYU~1yCFQA{yTu(vlaA4!&3z==|`699^~weANku%!)iYzSjq8Gd9SU;2e<2FrK?WU{kzJ65(xk$pE@!%Jc*A7cP39#luDbJer z6Zu?3H)NqD@vAUs6^a-cv+>tLc>}sjpG(z#iwtE$7s?&E$6skCquXM&)jFe@w_+-W zSC~NhxI5K@1Xi0?BZ-!J{qZ7cFGem$NSkxlw2jL%i$aQT-#YsR=ILNpZPlNq4%FcdE$;RT98NrrvG7)7Ij^vkZozr|4ct{**RB(o;@7l@f6uw9mc@%I47m@!Fz}|@`eCIrtkbyyFdCoF@aCdtw>w= z9V#G`^GPde)wE86!Xa^l>`=EmV6)1D`dHN_d-6Hbi28)wF{4VMU6gb-J>u#9y?(`~#pq%DLa& zDR$aOE1PI`xTT`Nji+HbvXH`dWuV4*EX4)wy+4U<>$ST^cE$XT4L}j*fq)j9lME{0 zi+E1&s&BD5bD)5ftkxg#RvMkv<34nv4%&~ZHRV5XDHaaEgIx<=6fQ_@~jb;XLY<<~S4y5m#z#{kirr554^_ zKK>6H%j@U0^5aFb%|7VxOGzH?$>QPEJ#OXf+dTlxvu)rBQU`bi2+*>M1XL-cxq^MU8f`_9O2B$Xc(_d608eZMkd( zpb^Utf2%>WS1pV?5sMP61qhE=&mPU0w;2+#UNO(Z^QZE8bJIIPm21RPMbIMRc-m#Fu1OQ^?1%5#DgkG50{LSwF@n`l6hlgR znhX1;ESfI>%zBm01_)#0f-3_VX(za%AMS?pM5fbTdz$-H*XS0ihM>I&RU87h!zS6j zpQF*Xr|7{de2s=$EyYB+ zjUL7rCQ4Llgd^WMxaXnoeo|NHjpd z7Glu(DWD?o%_)F{JJ|*JWNRg#X($&oLg*45sb@@zp^B1MMo^duUGpL9U*ak>94f11 znB>Rfxy)4vr+L%@3V-0FqF7!@T`%qCo6xY1_XiO&g043$J2nacxM=mIXcW>MKwMP`|fuk4d@>ZHMF=D|D$pPJ;5Tl;sR2LXr%P* zNei~Xn1U_RDTq~K!6cC*J61P1yA@rXJD||LnCL#7$$=hc< z1%BlL7;&3Q-ipXrl?gQAYzatxS8<`;FUMP7n+%0j(ePM3YC=kh$1QPA&NHI5SR3#@ z;auZjl+Y=An7UtjA-2&4r70e2*Vh`(0DwIj1SuyAsHeKmTxir!&9&1(qxY7@dS1N9 z_f2S(Y&D0)SmARJ{U3m`57+c)@4d`yiJ>f%F&KIx%eVgtDz=ha`9mA;Fypk-FGeY{ z!EZ6exdLzyMdwF&P%NX!*Q$asR}Qrm?M|V`NWLZmD9VGK&={-)b5nllZ7TGAQ@5;p z?TblDSQbZMMm^#^1H3dITHF$V6`3TX9>3!o2EBO%Y&LbRTo~_izre#-P;=}aAZ$vy z^H%tp2d3*k&ma*oYdr>N!F%=o1rSSQZi@to^o9glXf#!O7eu#K5s=~}AUSToKs{X3yTKpu4bhA+4F#%E-h6Okwtd1sR z%E#*EW`B4S*qLj2&$e3`_(XknXQ?j~J!*o|sNztT$K z$)vH;0i=<=mDk8I6gLDH_z>Pp+1J1%gX*+Y(irdShX*F)y*We27(q#-Bc0Fz*>S70 z0>6s>lFb~T388G&EV^1h6?vZJy!F|i_AVd?q>12bFl@22LnrIAeNBU zN~X!6oOwWiB2Gig{n$Vj`#fW>jY!+kqPNxe(d(QJKx$+F#CiuzGOgl!Ge;v*)s%&< z=q|uIJuIl*2{bJ9n2a%RZ0WXoq5l>EH;LM17fYBtE#A#5L)x4ePtQJDdWGCh%LEZnH4R~C8R zd$X#13kbX)g>zP}M%6%`S~@g#)uVuJuSkk~zjK2iPyrq~UVw9h;h*^bwvB)3Q*l(cG@+6%!Rs&w?;FUSIxzIvqWP*89AQ z7s%r%&sJR*b>|v^f5=cPGm#;uQGRAVF>i9GDrt5W^mG-|1!St4el>|)HgA92qw;p= zUVtE(uFp0IeAf3^HA3S4V9z_qy$m~UtvL;cO!CZ(e)UQ!nl1?~B5j8gc5h%O!3(G$ zvu^a_qa;%}Gy`o!Tkc{5K9<=^!2V_>j3RtkUn`=ZIx1HYdbuXtpC|x4$>GM7{s$O1 zi08f)w@zKg#4FBHI0(fpv+fVwo*e`+%+bX^z+XT{OPADVtuq zZilJLcPTY(br#)qM1?a-_T42Qg@MFbR6o=S7JjAU4gj2BQwpUyK}b7csZfLaxyEiH zx1GszKW7VOsl*ZZRnLj{TBCjYAj5M`69-LZ~fFeKRA%gI?MY7qGF;h#`Oe(tL$JDkkWR%+iR5wP!} z(cK8H+hq`j3d_LBw>T?E&TZQvT*PSz3kT{Pg+}LWs>L$&3r5pAPDMcrGtn!mjfw*i zcwStAY*eysh3Hybf7!X}wfvxCv1$trgMLz%~|gzsQ1>-Sz$wf*A#68#pt2Ub)u3|&t^$!7u$^9q_`JGT@m0yU_C{O^1Z*#gTj zc$Eibqa9V#1LRJ{Y4V@0`4h+;^lQvNkePM-o=$8duxhxG!ox(5TxEcJ0Cd%YCXoE3 zZy#8wY^796yWfoGXVzbh{FUQj0?0Ub4Ip)Y!=*aKpA6Gg$b#erZ~3EUM257HHM+P8P8nYBjsNlj&HKV&rWBO$B)uzuO7I#rc*8GPHn9_bHbx z*ypxeMVJBkWS?1tTCeZg%Q->$=qPU-Xj%bSq%W0$|B(9%0~!fOMAx<1AX;;Ak9pY^ zvBa=9gqRar=HJz(L%U|vJSlJJ_4Y_wSp*FHzBg0*n7ReXp4`d~U&P4!kQH{aRttt%`b*Zq6Q6DyfTHIc z$hX&QRx_+vXY2?@OzIf%*?oesV~|UIk6#KcXd6NFA>{;l7_W!+r-ur($>yq=c>OE> z@MkZgEKPc%E*F4XF?H?{oxER8|H#8m-&D@9GNF9axE){C-ulbjZbU1k9if;3W~O900Dcgk^z_ro_eDVY2ia%Ro`l&#VS7=Rm!T zovT_xyV;0Om&U17{IeQJ$=iMOi4btMHGvnEm}Tfjy#X+(w!q@*$fpJPKXT@*s2J&I zpuo|D0G@|yCB;ppI&p>n`#Rp2(yKC|>i)HDRt+_0p~E4fEXV7Hd&DC*tg*oYLdpe} z>!`$OAYDSH3e?EkjR1lA$Q=$kUQlzd+bvR2bDyd}4nr3aYuU*zzsf5L zq|**v0t8N4jz4|!qd*0KM#gE?xKS#RS$BDH3YjP~MYi>?b0ks#lYGp6A~1Gg8;gNY zI9R{{fu}9S>jc3N%%Sz`n;yZyHh?Z|t8>~N%O>$puUPiE`vKR;8B;T@jC@LqgiW!& z-hQM1J-+GC@eo|L=?pqlMgHomQeL6JFK>_Zwagy&V|Gk(BB#k1A{USEQ!X~?fU zPrbr^m1s53@{(xr&EcPR%B@&Sz-GE`HzDWSDUAl;)6q`bPhpw$r~0@tCCE_Etm&J8 zg*Pik={A3tupHBOQT?;sV8K^)WIvfd&Cq=i=?YiDZ6wL&rYse7hXyykQNF#cVNitl z)K#Ve3v|;>Sp(&l?1AFPk2huM3rOFkgYQMdlgfIan7fn6Sf2}=Wp6+oP6sgr=rfRQ zvkK>!6Z>SPJ@$u{2h~Oax!Cux3!pMFdq(hTMhcV@6o9ysAs4FK_dxs31Vk^GpB}3Y zu+M5>k@fY{uMU4*QriMiiMET_ZmQIHFy4mDVd|aSWE~#V3>OlB97Tb{JQT{DEH8e@ zjdRyTCF>9`nFHML|1Vv4^6_WoyWhw9+5* z^N}3i&*=N)*C1jUsaYkNCFTe=@q@^hIgPM(=M1AKA)0OdQefK)oyn>en$0`de<^S3 zL;I1)H<=w*%?@^k0J&XkpC)Uu#SSzu(MWqmPvTmkWAlWDOb|^`9CPV3dKS7JU+;7g1R2|vmZiRwe>FhR-xI5b-)c^< zS71!?6FqKUO3S$hn|LyqL>XdV3}X4^LEsv@zccUA&O`SADb5%s*hQJv|3Ok&_8#xs zK^SFM(QOYQM~#*)n9a^iT#e0K~kK;SUOxe2v4;5c)I+TSwR_|6bX_0RXk|>7|OuH^yQVhm* zF!ykP^+jVa1n4C^;HKWCh@PSFi50JX(HaF?l-@h7lz|mtQ9L})35pY{htT*Pk%NN# z7s7%H-A@Cf)WUxv30l{HL}ceV@TiH@XqM-p z6VYwXRJ0(|KKwE1{OaCc_~y2<4j{*^H_Ao>35dz;sMnfOp_qhj-E;D?yh79wZ`CTG zd2Dm`G&UU0*W@XJBWR6%l=4ay_}Ca$yVapA-drlwqA$Y!FGD$+s;k0*o=a?l-+oc7{67Yek-dKL`8g=O@8o$Hs>yEk7TSWG1jv)>~_; zR-uu6ZytI!kReG_B>LW8DhkTZtUL?v@~%h=Jl01PMmD zl`GYkJE}_4J17YHw%`)G#EXFMpY~*Qh+b`H$(6C|O?7}uE8Pw?dpFFsl?6{P^ZF6y z4`)3pWYZ6OPaLujh~G0!7;Xcdt{*Me+Qebjxil1b0-kI>&NJMN&t24PSv__{4xg*!Gsz{+wdaV^%%%Agb{rB}|6H?1FmKdCGpzdRXj zfCCHWFgI<|7wC17hL{}locET0md6>!em7?+?!%{(v0Ww3wS2@6Br6nsD(p7< z5NEGx_X(4kG(ih;#oz$Rrrh#M4$so94CRafu&gBo=b8@F1opjWfTXV?V=;S;}0P=WsLV00#O^E?IE z{rhf*FUM=aP0&QpO%V2>^9QVodcY}ovYSZEhoK3ewpx$>hl&zC*Yw$IT`GMN<3Dx)SAQ|U_W|6X%B>gPju=M*0~kyu?7iE zNUCRw^xEObhpeEqDueZ8Pv#3BG+4&plFW7Uv6i5`f#c4AFgeV+Rh0AsGSDy+@e;pu z$n>k7BcSTxNWyT`>O1x?Pa7`LUBS|aWr&^1FF*=dakX!13+4585_2~p-L3{gjS6g| zIkD$mAY*{z&P|L(TFc=mogl1@(jhO&#uOcCBSCG+wk({xD~yc`hs!peay{sJ=t%&psU#W}@jY4W#U^bgS4s(k`(2en-T3-DkRM{{jY5O9<6n z6)>Yj-tJf`g*qp~#dMieH|vzaun{1ODe+kQ@U&;UwqoSr3t+s^`lv(fM#9z}C7yt5 zh1-X0pseL&AV}%!!gqf#4%Q9b1t_rJb^GLF41;ICZCXvwH1UXG=yF1b_ux zj|2)>+h2yp+jNu6a6C8$C3S1w7-X%WVdkj^-{E^ye2vgSzmFqf7Cl8IyxTyoGkLly zWXYkOR}u0S$HV}WgK}SR7aFv7f(>5xJu@{y$Xs`yU(w$z)|IZqsa%XT)mTe0SDKsv zN}+hcKpnypog)Y`1&VM_NhSp41cqw_Z&fW!I(K8m!aK!opwStu~>OO0^3ryZl;EzxtYe05ETm^eaF)hnnpDZI*nW3S`M}D#kPW&FIV+ zHKFBSM)n>L_u{-J0gxG=d`S` zEX#kKuF~HsH~CAt&^;!w=biFco3jxEP#)P77l~?$f8V+fP&=q%m~M71@S>WW*Rc?a zVd?UH#-jCe%UJ-pCj%5vQK5nH-?vf+gviFaUfs{fBP_etpz!82hQe|2_7ld%?&r>Q zjMgGcDVNYqgIaaYZ{lp38i6kqc+42XtTgATqQEic2lPF>2J%E@Kmk#`wyA^z;oC}7 zTXuCBS;hyT_G4A~&Dvd=(}@-5+z0BDI)yS5N??ztG1x>t3iVCa3^8CBwr>k(q^31IeXG-9R?fWOlO`#H38`W{g~nT zRwQD17i=PUa6-komkERhsRFSL?ABf?EvG^3@9T|@_YHx-N*D8qrN`B1pd=V;4ftXJ+|X4mM5(X)m82YJw}5ilM4*uu(8(`2#@9wl;dL>~D3r9> zG0TSH_)YIR)L5vsCmR&@tnwNU+&2dDH%li`0$$N(s19}Z@}dHo#B=A!eBisR$Oanj zRE|QE6ppWd9*<8T4GU4e6#%I7L4!|UwaMwIXCl!1u(FNUADnE_AElXVc)w>m(glQ? zJ?Y4^SAD6^iAgvk)_)z^VIpA}O@^M;rOxg<2m(ScL#0U9zGlD!e>FSl#PWsrgW(59 z+54|ep^PNe>#Jfr$70_5cBwgnVtejEM3wCZB~-Mi4+Q)&_khOR1~~oTT|Vm!)6x9Y za~%uGJhifBt=M;yer(stl(pP-d1_shAxDQGPp{KG&dA(wR(u{+Gm{I{f$W=8d0fBS zNXoUqMi*VNdu#AqQC1Kxn??VSokHt{mrG*aL~P>EDd$#0`G3>{frth?QnL;IG0=W& zgd;w)oG}YUNTGS5GDs!78AUYf0U&g!!gk$n()sCE0d8j@kb$h@lG`dG2m6mELsZg! z&!a{0Z;z7h|M}hS_gZ2y`hrwBNS|8dTeH-!*nJn66U|DxEKY)mqeyP7(6!^n`_v_p$>zOHdg|FV#%G>`mlr zi|uSQk1)D?!!0Ug%f}UPeVP8N>rr7HqvB+T8>daS98t4rn;b+~h9AQueddouxGZFX ziI$~VQ@#rz2l9Sx=aVl?K#icUH3ztjC@3YBOT|snmL-?Aj!W14?9Q(s{;>wYnQLZ# zSRVcw{eg_D7^ljH9+U}T4ba(K+!{_^ylHb76Q~&m9+1yELB*w~52B%ag^-OJl4PFZ zaIwGDw;0uO$%E#z;olD&$XDdWSodNV8~3U3Zlu((H*pB!D?)G`n*1NI07TyKQNWx# zH=a)j-m83#DjoSw{(avDu}})R796E~4OQEhp3O4KAB(*{;zFAx0&Uh?TuPB!ne$@; zKsDu}XEIZPbc|Fc#a3+q$UC@Z>y)5h91zNP@OkvD%lkoZEbfjgw|x~8MQ+;C7A2Z+ z-4+zw%K49y^Uy3r0yl=u_+zR0?&k=g(Qz8_4=0p0uWWAHVBpHZz8Me_I6&R@YM zXk!R9Ob)I=TX1VMIuKlbp2<6v%1DEn#Dz|h++0zNlwQ3&H)65O8f;MM0;%U#nX2uC z4Egs@x54H{GVN*t86topZdA;Od(xMT>gAkv%z#EB@769glB4SmjU=_Km4imjj(7^N_=l~Jg_WQ?=z-mHbAjzCTu?fT3veb*02GDp2>Ua&0qBfR zAn6$Y-)8IR5)OFSOvPLkIe;UseTK%n9iR;3nmq^f3j{!f?+q?*)FLedM^};JRpFIH zB|4Vxdd5L=&t1=lZO(e@TUMq2I|;5^V{-GT=ZQX4dU6K_LuqTb+P) zTXqdKgiSYQLN=yN>0xPX<=`4tM}O4#@@FP~IJX zsNz*73Y4YcP{Da;6ysWYTM4V_$YbM?+?b_&Dbr<%79i>Y9VH{Y-Vs1%VWo(94JZ?+ z6zd1LdDq*mDIuo=4crd!%#whji7!>m%hhg}ai@6$1Uqk3L!jHi4mZhf$Lt82&V4AD zU%%ZQ2RK!*;&$wP_~cLV05q@i|FQR$VO6eQ_o$SFil`VUAV{mIgv0^_R74sDMH-QA z>4s&ZD4-xADJfDCf`oty(v5V9bV?`hqY`Zf0_40ukM#jZOYua=P0XFuY+38N+xPqL&2AiCl2H{X1zr$ z68I4r1rog`$jI3z zKr)nN+`!oWHAi<4dgl(kR}haKy*E6oD8H-gE&f5z5J$VuKhc7^EeoMHX{+8_DBggW zNj6izJT|wGtu|7m-Sd<-T$la%18{o;TPyILBsNh zfZA=FCHT%V(BDh|>Fo6k9kDf){@tAFS@9<1U*MHYH2`P4%bK3lf7gZuq%92RVm?!B zLk15IBa*h4P80xycH5y5*TJQC+Vwzd)*fhrD=HAPsMsZ!xi3EU8ns+MtU)scZSR zhNk_+pT>F~)P)P4)w34BQS4Z8EQ}Mw#=3vM4IP}Ir5Dx$e@|FgT?@hsPLGp8D}oKgJy~8r5Zl`%xP$*z3_$!B zqF$xqwsH@;5bRHJm~KZYpb(t|4E<_CqLU8NuVV9e~c z{ou8D4vJkDIU64Q*uI`fwa|gF=jOy`UhrqB(4S>CdX}1AylO@#Y-{jLY`uRGl)+V~ z&$abL2!Dq>+Qv$~nV;X+$L;CA|ItC&g6peS_J7ys20DbY%_7k#CcRhqX%xMVT495egmU*AO2KE@ z5a$u0-+yQye&+iCmODoE5nMn;*u$PMWcTeET{E-^8;Z{45AAmWO!cqd304cQwbL>; zY$eCP8{B8vf-*h4D&kV&Mf{7`i-2|B)P4z_P8nFQAz)HFC|-Z3$`vN&mdkI|(;*}G zy&BFF5~xRY0#q##d`5fXKVj=NKI70h6?cKKmZ**hu)`&y^t=ZNTF;-*isW2=32E!u zEKt{*f++s8$m6NIAeF0u-Ae!R#5_P&RhD_Zhk}FOoz?gTO|@zOXhgH21s(_YTKRuo zBpd!kCLFq={f`&Pfx9tfOimI4%@x!*T(fltzLaf~)L|J2m4-kdxDEwK2l@I|+EFGO zK&Ky1r^M}*kHnlGR-t_m6%R7YESn!+8sp#phW^{tdg0NC_x#&e9aBKccAp?1CGENE zU&I+6U7{WlB*OSUs*>X0_%oE_t~IZN0MNGen)DMzqL>;~jUp+=C&o!}kU|82l>UrG z2zXCb_2k0S|Sc&PdX#lx65ZpEDD6qXF1LW|ZFUS3?;O{0ypRb7H zr35zOuOTARXCNgkU9)|5^t>$asfMQ@TOk2t*m?*UFOJP8)O6hEr1IyhPqEQZJg{^H z${bvoXKtH%x;K@2LnvYiHG0SDGb2VhTsk38XEQdXHRa!2>6l}f*VlT(lu1h;t%OLY0&5`nZLpA zShewhMBti;Nn>d#mSh;fqnsp0kW{@!Eb)_-5_?5gh61JXLO8FTIC)%rKd#91p%EUG z9LxXa$8ZYH#U2Iy|M9NJuk`=AQk-cwM46e&0a~MEolgbsu+eOxQG19z{DHq1+>3@Y zJ^4`;rY^wcXSwlC6*UHGytdYK!*~s!T6E>epu-NZ{Jdx|K1nnP+kKgnpOxBs87}q{fB_F_v-a|^KYWT&$s`ifiM2Um-#ziy~$8}9u%`$>B7(4M2tVB~PwzpfS0 z`P^E)A-gKS@gU9*BMUbs3slqkT5H({V9&zF?L4vFVD4;o<>c7@(e^V8rJ=IJ#f|5! z5dO#UNcL$x0eqessD8KsBUwsLA-e+QHP^F+0(7|{^WFERyL2x1qtQrgk zAs`F^aXA>;aIyeABhBRX*vn7k4?VHl)(r#*Y%k!|?%~nP|8=u?OW2~_!mf6}k8n|t z4kDL?3n|c?sewY7xg|*{1Xz@nfWO8=)5;e3)!lH0xHb5TpLOiQf6Hd}?S(TfT#u+! z#e#~w>izAnD15zwFQx-LIs>z7T=+y+o$VKpsjA>>#sj4|){7z=uFHAc_s~7&_t$xB z5T2ar0>>Zx7X$0M?bL3{TslbTAu*D`+5^FFk^OQA(5kx^%oBdm8f*s|i9Raih=)WF zO?jG7sGSB%W3A?{lYSDnQAj#%5h=uo|LQcHU^;-k_n?E|1lNgA%{#kZb2_~tv)@d$ zYYE7`&isP7Aq$}DFkGU!57JA3n{XYd?xG=YRw@3+^#3OX;UlT>AL*BSiA#m^y+PG} zWK?s2Um3_!E07T+K*;41-KD-AP{DTr*nLPm{HFm*B4)J7LC!1(cf@s#WjMhXt%_HS zI2s^r(1J7l)7=;l87kCi$r`wxO-?w+%0lqqRHGG5_zkF+zI}s*cI$A4?IlK16BR{a zDSl^(ko|13m5^kfhG=yKYpe-=D@dtax*^~724E>$$i2foTb`1?2<%h@|J!995weL9T^_h!?{pK2 zyIgd^WXjbNMBNfGzaX!q?F*pCXEdeq_)9Q5P5I<;(#5oD8ulH|l z==S{P)W~@Y#I0-gm!nkAU~Wi4cYhdgf4eM&p{=j=lBrAqNw}MRJRznF{|W=Hz$qiQZ|_`%GGvGhyZ~509A)1_NAI;h2QC*=AD5I2r1xAkX^wv) zHi2bS12uV*U+EoxF@YBr9fz?+wCK(}dzO^o+KbIWM3$RYiUhAtQ+$EOFR(-Ll`s~N zU^xV&5v#%ljb!i;dG9t;Y2-ue%m7*gvDWevV`QiZK?aauA2gR6MX^{`gJ?Saf+j zJHy6BxI-n(P(hQ%k&jP3y@j_IKu>WkhV=qvs%D(4A=3Ux(aQ1H(}-nrZ~9_hf|+&_ zW%IcGJ>Q+98>8Y|l%B(21EPhi`ncF-{yvQ?dKxZ{Fv8PF;-5yDp#-0?0T3={jtcoZct(DakY>}9WKtmp1|#jpr}VfoRVa5<%76VX!WjCraoh4A z12s$!1CW%8qjX7rEN)#}P4vA9nyl2T9aJu z-~1!U!F}TtguD=Fc)J?qfv17nQ{n~&s!Xtp+4F~j3c~oV8mXj9%aF1m58d12?&wQ{ z|K~g4Z?KGvJCOPlk?h0~%$K=hzK%`Wtgh;bE$ekREEt}!j(isb!ozDxR&Z|C0m8aA z?#T)n@8y|~KdCv)_pmnF!3*rd?XgXicFboqXA({f#WD*dRpRMG1lNPG!`p$dHgA{g zKp?uCr@5#uN)vqqhUhS;Z{~)dz0Rv=p8ha)EER+`b6r|v_G#AWIsrP%?wU!+B@c=d zvwcwnSZk2>7Tm7L4R@pudPBC@&tyD&dMv~bX&cEW-~mEN$RF)Jeg^J--;TphOP(^9SHgCu} zL(w^$7;a^orM3WAj0_^K^TX9Y;DsK**79%Vy3HR9T_>P?D)>t^xvkX2<6y@J^AO}i zhrqIkBuMRIKa+ZLvy)Pr^j>*>lnsKS?Yk8q2UQ_%EQCU={I0RqqtJy2fs8Un)lA$Bi9qz}SZ3GdF^=;)F$x=rzncjsl; z`GHN-Q$=-U0O~lnzn@AZr5?K!3iSnM!FDgB=q>10*Q=_9tkZA?dFQqO(?O~j_??}3 z*3rm(4fKg>O#?)SNO`$Xn-DB>)3qOHG2GRwj}S)P^UFNP;ogOe_1;_ik^?(;A7KKg zSO>+pmQ`S-egoIz{px@d@j&5F^S5lo6%PGhh6ps=Fnlvd{=?4t$rSGk>l7a0>iv3A zqApn(qx@_(5~t`if`Or+5#_b%qC2UG`fC#D6k~4>L*A5~5|{!M`OglY%}19iML#cG z_C$UqkO9yJr>Yzo+p4(*%YGIS)wWJDm=mr)Z*hqD%Rgn)@jnP~!KX>?g)yXDhnAsJ z6c5|(cD^5@mI;LB@lQy|(9Vm~#By9KI$^G!Ez24n~mgMq~4Iev&4*O_fBmwY|p zva|>%*zW1x;6QLJ69*~(nEd^QdvYMF8QVI%xV8614a7Qj&|W=}SL|LwDFRgJQ{H(4 zGJNM9F8*3~KcNSZm|$Qc-8DwSkr0C;Vmtf#I>A5)ogw75*NCx`l}KX!2>JWh34YIY z=X_{+e`#J{*4G$7h6JY|VT#cH4lfCH+SlI-xF8OfFiVU|p*!^L6g_NtZ1ey|vz<)K z!#M0tU!3?Zcg2sMZvFL(2B6wh1H~ZHPVKF-B-8(@jKgN-a zN31?#yQ>K%9%r{pt8r`ch$d-lrSMA-Or3bOXBB&Mnx6A0#rJ8!m zW;SG#==SdnL&D7AbqE^g`f6pHzH06QHs4^YxCLuYBY!nm{ zu`LLohy%q1Ci7z7uYj!sx&jfR<)& zRvTelZ{z%4!ZpZhnABoDCVa`uajJtEnpH30TXJZB0tzh4X{9uM_HG)t##V zJsMUGX^+s<-!0@78q$`>p*iC3Qq+CLG6{qQ_Yr0t8y9O5`CHNi)DejG>R8-m)RJis z``q-?^}Av@+7sdPFg4-57hL%UTUMu1yTLkS2>w|}wC8Ho`4lbC5hhzfBt3pZEizUj z=_G}AtJYT9WC`U)-nBwUOJp^$G5ZEu*l!9G?Khyu{sJgxtfw1LlXmfSHWQdh!Hu^m z{%3}C^Xa(P`f}kX3hv;GUCLR~)p;3g8pZKh28U%Xy2qvNdzE%k#$buNTQELAmDSBX z`GGa<{);A=51tNgHn@5A=Wn^q*1BJC3Ud=Tp7E&rd2OkWkI%T?C2FOo!FZ%-G~&AT zfeAuXTtU#x);D^BkNU|grQh7(>Qb%EFTJ+F^d1})o;nhP~97J9$cbb2sSGxyL{C!Y z|7?QeL@;FE)sQ4ymJYdUjHm=!pv$!dD=eYu8+{kdoFT7cb4WCg@!qLpQsFoOEuOqe z0Ky`IL|x_$P|0{%I_s)-ZjY@T9Wegvc3Y0N4x_RQghDlT?v_p^QVP^!i^?T8WK1!y zE7w;R0_VTmeQn@*OLD7(1!Zq2u{yB(g}wKKy{?Slg{uPemq}6^*3@~AHSj*Ef{Qg$ zkLCll2ETI*aNcbJNf#kvmh2vWspDfOU!zv}r*XhHUAs^g(%A^T*YfWC-ai2i2mySk zfsVL;*0{7zN!kq>78}JRo8&Pm@#z#%2#|qfP*wpjAY6Qvp14cIkdj#xg`WOw6jP1QTa@(>(6YP! z2R@^X(IdXuH_0PdyO0~I$UOamYP}tV97PP_&*bDv?Y+Or8#^`U8)1g1p4tGo$H5@} zyGM{=M*Y<&7&H2fnqwTZs=r!uw1gdR5d4rj?tTFVNNi*|G}j*JQy&$BYbM@Zf!yMX z3k(ie-elKfG8(Dy3rkwytG+bp)p7fAxqRal(Tw-~q1VXtku=&mzc%nwCRB|T@*D=W zqLlRJh=s?Hlb%SD(-UiGW`b${>GE1}x#QtsoiWY&)`c>A?+S2oao1g{19zr?woNO~ z#JKL>54G*k)l7)YprpTA4S&NS^O)5~=EU)tyS-|B#NHfr+DRFSf#OE@?!2706Mq{* zS>zMuO|QggIGi#m&*6N!dzNx(`ANn@(Tc^72fs72$FL-pkTk2yOFT`|-rp_IzBCJz zO-%XQ089Cpo3*4X%WeInn&q{sWSP_qnC0{(J02CPG9dpnHBKU4zgx9lVi)Cxkb#c` zEt$Mc+~_FF+-S?Qx3uME*NpH%NFqj_XyM$&FfWqvjRV^;8U7E`Q(}R>$)+TQgxE%oXetqM`R0>JxGzA+LSE6{UE4IsjpR zcSgp$I)Ic-8!qPNh=epgVNGO%->fdoq|i+>Pb*g0H@qKjNvfz-UXQx-ntARHs^V%z zhbODdfK8YQ3~aYQO*?3&O-`9t3BZTlsavF&yJPj~cblSdAzih&(TN{}r4*u@L66G z)#dvjIR$2W&+0;Xz6w9i(XPvZLUUDWKsaf*nYvFaL!p)#1!TcSElFIle#DgiP^DY-g`>l31go>Rtxh zeo+MuyOG)#F}G(N-ra*5KtzS@BRO=!KSjLR05e_ZWPp6bBNpEoe%}B&e@eXlMvPrg zxZf?FxOnF_!`Hu{J1czYp1H^V!+iJdkJ3Fm{F~Xorty8ZB(s3Rkd%&7webYWBCmp|ya{wr4^CVTU!1&khI<6^4~y)^=xi@TKk}uZ@_@gdR-! zpMEc|29=Q8enJCkQVb{hY8hsP(^vd_lftM^lxTajEXuT&c^v3(&(Q66aYb#V`QE(L z%PlL%L_oGdvY;sHN4=Haos=D#-w+t}Ua3}Eo4;BtL`oX->sWdpDgUw`?|{?kNGgdW z(yOP#i`$u(9LyfsANIKS5qfM!PuaVT*`M#cFt=4F*zepW+1)N?U2R^& znJP$huGqo8!I(h|smd23tynWX5tum?r?_gjzb&hR(aqU!4mSV8S7IwnH0ngh;u=|e zWj+&LIWO@uA)2tn*cd`({>J*TJ`LY-@WczUSKZ>X#&=VuRWhn5{rw1T1I z&ORLOyxSwAqKWwjpSCB&!w$faN5Y)|*U`sVy9@X#o(~Y3exRwt*L<;7lqdRH@JO;p ze=;>EfDJD=NCj&YJ}}(%Cz&v~K*i%f*to z>P@G%@y3s&FoZXNx1p#ui7c-=(j)c@^30w}|M+Fx!l4CvR}nI~nb4kJ8xhej^LaMk z^xRUkf~uEswfAM+^(idL(dF#&Lz>G`=B_gnO9_f<0rjyiP<7P?wnI;(rBf`;5(LLy z&hvsSrtu%n9%ELnB^J<;Ka?%#KoAg!Kq>b=j)9X54>CMBtM~I0*w=osHnvR#Ic?HV zKbUCT3yv=;CCal$!H3-6PCRa7b6Gcpkg~37!tX>tsMCZSU#pvoI%#^laBiJ)XYoq-_>N{qhEg#Jb*0pX*XL_`Psg=G0obfk zjC$PsZ<%_f?z3L+UCa)9$s9Ga6qHf#l3p?2tu`v9+(V^AVB_>i44Dj(jfci z;bVIgm@c_*{2711t-X8+-W*EYDURQuD>YJ&+4HffiJVv6o^-Ex1q3?dm(Le+oEqO! z9CYzBWuxk3?AqCRx||Vb|FaflJdGY4hvjy?a^A z=Ovh$(fhk{H0TT7lTCsZ-k;B9zH3+UVZQR>c2;iC6fmV9BGDLhq-#a9G9i?hywwu= zV>}G2-P5;Z-9G_Ux;a*XA1-#A7`)_NN)r#WU-l%+_iB zkSttD)O8(CD0X20+u!2uq`+n16RwQ7)SYjS&vtVUZ{5ede=?cnEGaj@6j~P9bpmoH zzXIopp@oa4S$ltjf7#EGqe3>|C&Bva6pytBvb0OoEL(Q;+V~y9XW?O{^CUW(Zum0E zp8X3p{pNaC*nR6pZ@uZhM552D{Zz~*CUrL3zNF!Rg2UzAOIixCbBh$EqK7mmu=q&(2f9Cc*4=-h;7SGbYF_2YjwD*^9O7Hg4fXp}T2!Z! zh79vdf2T??F<=2EeL^?Wo1Gjcu2maY9<}Jsre*V)jMsC0xpe9{a2sW&CuLqhC5vsTmzZkPu@=?Kt zf?zLe;w6lU8X}Mt0Yp&ml41zXLxG`sfu++bYFh4d<;bVL)qn>}f;cIz%`FP&;uwAC z+IpPq__%#U!O_2XvRbb7kARB7vK8>Old1sApDIi*DvJ?lwCjFmqTDy5zb1Th>`$Wr zuTn|KWbnt&(1JF2%;0!c-nK8C>r9z^%AkzD#uwmYGaC(2DrFYJbQ7c2T|6oWo!ef$ z(!1jK0^)*;K-285jlN2Urv4D4R&2b*qKIV4v0F5phFD~!t8W!Sz8~?2^b_|}YBf+1 z5?jb&w^kaw%6e4yo-PPGs#@Fn06VEp*aZ|FC-sIuMfK=2SNDmG$=I|=)CZbj=mmBW zgV%iE+>G$6<#(4l58G0@x^{7^uwM!d_bcrH4#{w>$n;D`#>3a|N*!8mCvA+pZp#`| z-js~PoYpB4GQBV@AAQfsU$@V^(ViGaL|D2MCVtR)Jgc~<nKku=8uDq z6lJYi!-_>nq+?f=pl%CM)Xm`B=sORs`~~~n`MC4So zp?-@QL!&gzkBgCjt{l4S zJ6SYw?#GDChI4-1TT&i|5wYWP%1KVQ82XG_pN2ZdaO~XuaTap%Ou$>>YRyas$|19z zE-ZP%ddjZf{^sj_yWAHLcGc3^+sR(}3osj55q}H8)Aj@2F0Lg#0;f{W0D8RmyDi#Z zEBMo&t{TC9phty-Thi8N#=u;G507^S8Wzyn!LMT~me#u;ZvW!fKi>UpJId4ugx_Vy zqqkyM{D;gbCl;we5LjdRXxXowBeQRH6XGyG9r^q zUx7%P5GkE|>=4E#23S*_hrV~7HCcSFHL7EcYE_Ym25lF)zfVpVn z!R$%`ORzy4UvLAYVFC&ujZ#1bSC)=@coj?-{T5gj|rE|;ZGFDC(UagP$7ZE&xJK4JosFk>^1`cZQLv-Ou5x z(~V66jl+;YJ-1c?Z?9Vgm(oN;jOTP=4}@Y#jEZNRBd`g3Kjj;B8hjEr9^2nG8~aZnQeZt zfa#T?G^xdpVIwu8bNAt>iyAW(F^aS2NXT`-!K)u*E(W=lsuA5@vBkzxk7!W(@GdDh z8G__MtOA$|G6jVd_jaS4CTF42@hd#`nDFbG{j@>@JL?U?os zospD!eXHe)bXqcK!bU|dmXv@osqa?F?MJgpo)(9v&Q)UCAmONb2*ld4A&u2!aEEL_yB@&EEMcOz-4G+lG1aB47B0Ky5FzL8r_gr|!SCf?TsTVD=n=OrNfzvAwMK$Ap<0MKUnjJI;x z+40SLCn;3-FxR}&wEXZYRlBe)JCBl{hEMw;hgkRnh=Wp#LY}&>*d;E4e=b6_7wR;+ z6}lU&5fp4#vhim@^VPL3fbnLyG(q}j0BV5i(8RG_pyK6kVY&*9^qOArkUe1Qst<&+ zXB@i@q%tR7>Isap`hqkEuv!7e3nDWgFUfoRbBOhl@>xEth2$`M1=Kanh;xp9D7F{p zOEAK2BY|4@GD`A3Ur^Ws=bNYWV5aj#ez>@O!2{ynFAHPLmtpvKi}BKIpL_HIQ2>h? zoS1z8rV?(=Ei#R>T70q3LSK-HhKG9-uYlcx*mxMbJ20U2iDOh0hx^hk$A^<6a^d9+NDtg!MM=kEj+I8v^NHDO5vf4k? z1beq&YLI*{|6;>K#=A`IFNp44p+Cp)UAU9hq?!+kEve^?5^W@PZ>=LJpi1T0O{v;tzVAs1t>ze$5=r@5E`DNF+ zL5UxA!gy^91uYJiekPLqJ{F_$uEk#T{SM$?jz5sT^&lfKs1?G z1jrX+ur{1z`0<(amUDCOgI>q(wA$Y@j$y?UCL~9nctI;J@k2`V?K4U&Ne+!$ma1d> z$mOL!fC+GZ7%h)!H@tx?moH*GKP{x`eX4~I@eg_{OkYc7p(bFmY*AMAYd|H?g!+zN z$rVHC8Mpp%EsSZO3kZdK{nbm(+w1}+O8|epUzYaX zM;_a9Gl*c-$9v%YypGa^JM2g9GDQ~*O;h#2T@=M}Kp`o$us|+0BQ|G`t<`#5n z@1RoZ+iw~A7q@|*OgDQx=PUg3=v_hGCp-s+XkY}CPNUVE#5FPQ3_}XHGA!V4EqUp# zsWAdF^jsJ7&G)F5mpzP z_X;!b8+N^Pp*OBy3S%puD+gT}bgct*B-}DrX00xauflFO-+B3F0l=MU$t<2-JX`J< zQ%^`|Zh;v-6#LTn!V+{W9nKk#VKYZs1)J;|YkB_3ZAtN688GwC8jX#|=eT>JJ)a+} zIlAfzLyjUW^Ol)FYCE+4<&o=A%m^pSJ4%zl;AHNyf-!lK&se^?&=)8YX zR{;x#wM}kxD;*jW$nlIvcoPJ0B_W_$5ZKI*?OUdMT}s4r>EY<7tIvdfd6jkg3DLZ= zd$x~!elu>!ZN~;(9|Tsh$wfC8xXa+CVrwXv-|xA#;WX;Dk=O6J(5vd7+lnl5a?*JAggGMY^#kvDsXnzH#jX+p+h?*PcVh;I=S;Ph zxSC=VY!#O#7u)2&Qq#YMwiI%qEgtp&^7^nh3H2}S_97QM81)=BTL97LDzt{(+Yjo z3+J(vnb6=Z6HocHW(^i^GHZ`EK3j)+h&hI;92|3rzhqG8AnUOK=n8R4!boy=VYIH> zG_XRc^1n0$BvY+xmXdy5&K(7}w{@qheCNB9src78Bkm*sush!9hcJ;9C(sTjbhTt^9S2>2ZNY04Rp#FdDC-=5-W@I74_~!OMCLy%JGf5X{kogp8N#;5WMT!hi_NB> zXrV}ra?uyC>F0=c=d~%hnEs28)uyzB%wjh^3V&3P`r8;kr@`agv#|=ipN2 z+9qHGbp@%B8m*RIox0d>2@hZ4sUkti_^yo3M}{p;u1E zG3re?*G$`axN^+5(Q_*Y&e?IhVUFa){Q%NSL%*blZ7vTkO}-lrdB|E2COaO$s}oVt zVH_g4pvvVS;cItI1-aUsgOxO-=eIZS04qVth+NjryhPDj%m@-xh=L*3pB9Bs13HZD z({QjR@zN&%y=!{%luvE!22aX%c#%w0qep=JGOALna^I7~^u3xu4g7;6%N~g(=3lhV z6pWo{$gB-Ie4FuJ5sgp0_w&PnFCN4<;va&B3z}jlzH8AE%ous0{Lq0pm2~_};a#U< zz7BIZ-ke+mc1}hN8TCZ`-I@=evAP#L3YWiKl#i4D7POB??cEvtdh1d^zmwVe=FbN{ z*~c#(^JLtSrSlyiFjtN*dy1^#mk@aYSVt}j!BtYIn>lE@N}J^;8({LISa9J%MP5p! zpywl?8|C>t$C5y%3F;j2==sQrC6Q!+tksYId6$wtzj3BzmY;9bq-|w&x&yq=8!{pB z9m(S|r3eZ_&&T$ChbrNDPF{xNNOgOZfRQTiz^|J3qfwfb!zSIiX-R>%!GUu{+~&)^ zb&P3`qP_>W{XpqhQ(T}te*jarRMPzp=nW69kk$PVv+gUp1st8hZnm}(fHXQ8FW89V zmg^Rlq{|4Se^Fm-e?Q3TMc-S@JY^JfU7pc}ogM1eN;5JKRqr?OFnZhpLrj7lb8*kP z(0N2ChV8=!{i%ngSm68cZrWMZsFHzP;b}X7c!tvqri!bmEPbS*!N2if(c_|~c z3k?*FQhWrxNxrVjp%`&% zq&O^n5pLc)kH8!pMwF4ZAufY#%12N{?5({6G9lC97c*C^b|?Uou!UL{cO-Rt+DeJK z8!|b8QRl;z+^@Ep4_(Slj!Uu=NE6au(pchl{ptR#WpK(Ys~KvWM$l=Qd*6@H3p@MLKRZAEO4N9PW#{$aGv9d*fwK8GTX zDiVSp?B5x*t3P6{aUB_G8KU5X?(?RKU zN%1VOu-yyo`=EKmkr=llek3lsADZy?S)5McR=ow~3&+7|Jioi}*fQOIp@9k3k}jC_ zl901P?+ZSvAWr%ze(8yL%J}*-zhi=Dif17c3v?e;ZA=0-Sp{qZ>HB%S+Ndy6y6`%B z({GPk!9niuou2u_4!Y-;(TEs*9>5Gtah3-ND`M&gs^XC5Uyf=_EPm~!BKOb>suD36 zVLsf+h3?E7#<-$dFk>DapRy4VTSRk6h7DgVtb#>d6PA9IpfzvFb?BhV#5hEGn;A`0Mw&=+*^MS9>Uk+9ELL7p`OdtcXSw*$2 zl`-uWJnON6%pBLi^`W_%#U!qbx$1XOd-BOxAa`FuaZ+&vmx_ho^-C#IxsR?@)$tx zjB7$Pp* zm0KzVc8^Y&!RK5G+B9^DO8F|3<1dcVqYxxgO{u5|yj130D1$A<1{@2UI;mKiaeoMC z?_9UAe$b#*GJf1W{w4z?byb?`_N(4dxw0h25wkM3c!$l{3TX`-F&%oeN3e_1blar(*rf8 zc*Ts|HMa&70+AAw?M{PbPfU#ySj0cBu@zf=_Y&s8;tY6qQ;<4bJ>_p9PymRbSVa-A zjSeF9Y#ga4>-Usz17Z2OAxbN+`k=jna`i;R4pnM-&#>pGQO0qM4Y5~ zieW$I?Lxz}eO2PmPenh?IkrF}K!+kh(#*`=-{&KfX2Gmvv;%g;kz4*~G;`6Qa~q=S z83vn|`Rt4G;FaM7jBnBd7|3P(G)#ePCe=@%A}-J3xhnbx_WQnWNcTMy&VW_Vvzk@d zD;#xVsO(^8Oz&AbTlDLmwR-EB7R5>1y}?<@FdWV zd$lIzz|~^c?|#0Ky?Yp3h8OBoYDB>nLr`-a8*48tuNZE<@$1BguSW*dv(h4m@GjjkdLdjO0hj%L7%wyU!_m)o#t#+ z9C&|ddaRXs;6t{K^xnpL=g68>$VY!q>)ovxC-(z1U1>eSC%hbZR!*@zz8{ z1At||yC1MkA0+?7X0ciNe1SNOE)I%g8?lrGu>(L?2=~g;;ZPikH6V_ z=R-859ImA{SIf1p)FQR*1%SF{+CSRY4|=;P*nNJc-35MKbZI)2b@xuh2KPmYK*p)*QqIlaBCiN191`xkq@3&>ddU*=o-eQ1AFhX34 z)G-8cZvFd>f;7dtmklordw7jjU7_4_n^0}zmc#@BRj(L8n(c<1+usO3Ps!f<)#A&ff%c2DR<>dk?tjDD8HUX0_?)WkR~az ze&BFgJB+WT=>|c4;Ggdjq|-sbsk1qeshD591)e+%_MH8T=R6&uE&8*n5LDl9TA^gd z%DBM%>C-{(D$=ds&*fOZV)kAcBYFDag$mkpX45ZP$F|mDh;{-7P+~1I?!ySOKik|^ zi9>tjI{?ZW>;_(4xu^O~=hvS82Spoub|SS4t|k{c3~0>!S9$t`=zhh)TAiI z?>!C^smk2VTmUO*Y}&!A{$;tdiKAF0#42)u*Km4>1)vJFc1g zGx6_Xq*%>Q1zPffpdd_wBtX+**b9;?YO1SbhqVS)(wmql_f$7EDNeL!%&M1k8ikjG z_*3ouiAj6mWbs{ys`S~f0Za2<8}d_`?mA9Fwsu(;3X-ur=JNzykQd6zRhwg9hv&Gc z*V;7bV`PaJth#cNLw_WYAdFj{toGNmEpWowri~u`329Lj;pXBF-#bEiHy>hqcIStS zOFUoeYCu>Mth#fd>|+EZZTgtLNUv2pGt3(_Z$kgk%Ap1Rv`}h09wlzyFae2Lm6cfW zhE)u>u#AJ??z(64ae0m)uzJ>%ugD9ncOAXaAMU+lGZR$r>M+yM8lJniIs$vN%4(*0fv&fA^-}{7@Z^;)lxW} zJrcHT7rSB>c3{C_p>+{-gw@xi84fnIlZqowEJ@Aerq6tnv*iI)E5kz-q$h>@v8!$k zq-wA7EkjR%h?5f-Z%>SqD+F4+gv5R4F847he<3!~IKd-WPeKONO8qN!|E;TRRLwu? z%J+5(y838>#J!t=1f2xMty9~{f2x=^=Pd!^t|vVpYDv1^-K#4y69w}cmsm2SSOXNH zZK^#je|wFk$;(J}4~I!iYE0_A!x1D`u6Wy>&Q5IJaSvwq)>CRU4Y2UNd~(1d zw*MFy+u0B+@-wlT)gVO!jHC+yT&@zrD3cK>S<(d!4n8s8&}7O8z1WLwawUQ1^(60C z^+=I?L}sP%jVXePaD{z8=MMY@F3|^ax=Ilqa{MvEQsI-RgZ8{O9qW{1fge{FlM2UF zDy%p%!@rr|r7+kpq)dN4@emYE5_hSP!x-{fVY@K{4CYsG;Rthp`oJ z5=2S`GDC^m5yE(Hd5u%}e?gLwf7}H+1W=-tv+nup5HX|)w}ShwKygA%2S5hub-sO@jr}=tL*j9y zZjtld^&=STdFVv^jCN6>ha{3#TIBjJQW{Q6qDbD`dA*Ku7aR9cfU+zg=o>kyEV_BB z{-5*YPoFcYJ(3SCyr0r&5;mXHI_To|Dg9Jfgg5QudF(m~R9FKb;d=$$NH*$BpjTBw z{>ThKrEk*QP9oAHcfIWhC8(?lJWsQQli4=8RDuin2{%_G5fdEsg!uV=*d8(%fTo7% z?4Z-&jZ%l1977;`eCjpwUq6x45(_c%Dmd6*_OdRlIp40u0?k?{@p+JaZXv|u;b5a&96>tfz8Ix4h6_&#Eu3=~l`W#P!1UL&>n~ zFit^UlJxADVEsm=c^P`0&Lr2}Vc|@%NYYGasRz=|yN|(M0Ldc{ZPkKu5o`znfZW__ zo}(tj(MqIpTe-`ohDRjdI^(gdxluB<%D7S}J>$XLa*n0--3<_bsh<#;&QU?ncd*gr z{ej1Mj^@aw5j>6Fti9O&8@tFLqYvh1lLRRYQq>1S7x~sLji(PJ%Av&LQJ*{c7gTtv z4J)c|eS6|Du5T+b4)kGE12zMvB5?%xJ}*VVEoN>NaGe{8FduiTHr#{?Mn_2U)0A1S z0G?xjYFAAuoMz9P49$)WL#b01c$_Ek1D5g<*$q--#+Y`=O7Ek2uY%&HNCM|U0vdw-_T4&oipIAbnaPKQ=z0q41b|_r^i1*E%(8JGleae{gT6A>Trz(b`wQ44 zF=;8;64-%m+sJ~q*eE$$Ra_~c>&OXzjs-Ns5|Htp2JgZrNptKNV$8wMXi|Z7(cB~J zHz?fj8Px_L2Bec1{)=$fz?-Q=R_$jcpi^P6xxR88-Et-(nKZu9c^yrB5MdFv10 zj?tw5M_Mn2X!6W9rBMs_Uk<734U}SeK})oJ4Ve@mnYlf9MizX>25XqTa&;# z(Z)G|lw$3J0RoXjRxIGQ6Z=)KADkTP8#~6QY6Nh|(vMy4;J1_oDh*TyN7g!2hXHCE zK5qCWiM`?kErOva!jktB;6^lG%y7@ey9BtA9}hQbEWCU%O$^e!Admxx(sL--*G9n`$7%?E?+tWdYZN}l8 ziyGLY1g7B|I8mHALKTDt+eLiIck#o8ip-08(8h`t_W^c>L$wOb2S934dQjrt4D!F| zO!j3r{Vnj%%dzV1a-+G9`|9&2(ava9QF?{g%KmoX7+(d2&vD$b!uJ9IzT>?LlweEPa#5|}`YQ%p=L{-o z@_#%!Hs}T=*f<&w_f32OF5zk%I=Fs4n?PG-3P2ja{FO{W{5o~u6ND)-T~2jIGEkKb z?GBmRxfi^ZuJ*Z3a(9AublzDtYuoiFW|5R#F@n=L%EhQ?5TR1Y3ot5e-V}jxbfjw`Bh+v%-dhi z+HRW1elop9WLt>+inB3C6SfGYvOWPv$g zK>*SSuip>AyMeNC{(^g^28?YD;dnNK5Nbay$dVp#z}Yr%{=mXP*h-~P8xVONzD^)` z!wW`dn`w3Q;NNlq{Vw(dZj~#mk{Jny4~*x%$(~E>BOJc7_GS0FT8JonyUpuA!Jui0L$(wm2j!B4UDoWRW2xtC511puC$u zfk&R3Tk#WXaGweP`S)S}UDZ{c za(mXyTd6(zph(j}QyM}F8IGalA4Y13D4Iz^9rO-g%)B!`F#HcQ+L!wf2x0ImnG@_i z8lis-5;K=8RMHF%LCDIGZu;vt_%7bjPyu_MjK^0k5!(3QSWHeou$_BW>efNN>( zQ5*&?$(i>6996+M;h)hhE_?v%)A5@qW5TocK-^YNguiGw|9*SUG7;$syjJ)Fp=j*PH0^$B{W? zI&C-M`?lg)EUon?s*$e_zVO{a%!aEVtIiW2ys`t!iUs$GHAQJHay zfPT3Xp|8)6uHpZo1TFp#($>>gZx1EL|5Y|_RFcXF;s(JXDP9ra!HiFU%2Ng4qUiRt z#Q!&cEvAeNm{qKR6$gT1qMU_i`+Wv*M4}OwOveC1$+~vuIR4f7+{2gfU&1cY;Wq&; zYmAA1}DG$!M`b*gLowBRrX_BJUO~~Pv*t|a18oG_Lj5fkPOgn*~w@MkU~UU;}@v zfCvdErqrA4yqN!Apf32$EkKcZWPZZ?8zIiTCC}(O#*Cn2G{pz;W92}&6`AxKM%<_Z z!R%6g7*bjAg5eSZ6VW&y+!TT92~SZ+pulnZB&a-sK{A`%}(u8f~XCE2^RE$=z*{{oEKCuvNnU zJd1W645a#&-KWsVu_Xf2h@fMiJq3*kD_g}3gx{mf2d<2fDq|2Y@q#<5Qi1Llgn9lS zoPBpR*Zuo{WLMITtddzMvff6dvPZ~BMz#pa$eyJlS=lRl%g$C5lD)Den>Vtz-}RI} z-|zRF-#Opk`TcR<=RS4c-CpZ@Uf1J#4503$maX=hIHyP5$lU5kRU8AiMTcST47iVN zU@H@A)f*oEw@%7G{`;lIb~HhbBKk(pt?jHTcsf#o8SWx1SifFep3i`PvmVGz z6mso6n>-;xZ?j#ziyI)}^^OM#Y{o_y__D#RFaT?4Qud*-tS3u+&kICKQ9o*`!sGc<;Ywv&_3$H6pRkU@4;Y&RwEOP zE$nL|_ZN8!R+_Q-XfJ_XO+Gk>PUrpo{F%l%eM|OhR8WR6Xqk|$;CHDVlg>2yTFPfW zN6%lQ4Z6^3$9y>q-LX3WG=J6eKcPs4x5#1vdMlKAdEw?aVEi$``Zed24;YYY$yFuq zvhsjCqoG4oa4aOeFG7Oqx3%tH+u5H+NP56OXT%t@^BERAjBtv)NrnvQzOcKrQOsl` z{2OJhi<*$H6wQSKw_w})%GZ)C-$=d+>Cf;)KlK@r)xhV(46RC$;via5f{A^9XVVN2 z9+}`C+bdAe>=#40+H&q>)N#RM4SI8MweR!Z+3!F4pr9()T}Schg0l-y-50$%DKmyX ze!{p5Lp%+lsrbHYV&4K~BJbXE{YOwE?(+`N-ex>n=8kE1Rus5_2}8k2v?LHKn$oBvew zEMnx&&ROn8aC|auEc&|cOU`4#f!e!E7oL39NRB^oSr$8-v;>>@M0zMm#sxeD2PG-! zpd>Lz9fS@-<7QRS-%$+JV^tj`(%of)S0IPzOcs%vyiK zZRC_{v1K9({UC3YFiDP@?d^&Fv<-C1IMLmZ0?0D>LVT%(akW7m%$VoMS6zT4?1w}Y z%-SEy9Q#*Ly56Zn!_Kmf8gNFRO7RO#nlF%r91(E=SCPtUlw1N-27O1xW73_%B*!8b z)O|r!Xa~U@+sgjHAN^koZLAgk7ZOT&5vRwpG0{?Bo1J=zy<$C%v)@z)GrxbrSfWJ@ z$Jzt`!?<7BV?|J*lPHUWrGL&WSpNKJ-n<)=HU!Z*fo&&m8YNfC+P1*JRWn+(Rsv>4 zPXuRB9yJPX7n~ZS@3*Kv20?pd%?1>+`%dRznBRt>`mlePKp-LS6ov3L@P!6FwoRK2 z#_2PZs>q<=^KrYz>0YdB26L5 zM?#TFw=76We)FI4@VybMNV^R$tAyPoA#0^%bPp!dk&BfA2I?`)OO|L;&QU}GtKYBe3)wC^QcakdjOTY?13JBhw}V4S zNsIW*<`WghKq#N=An5gvp2`K8*?0JeMtZPNpaLM-tu>H3=$h@^!wtA&bEWp5-SNTb zbY{H-bZxbV=_qa((VCa91m6Jee1*_tBQU8Zd}O!JG+P&aSBYrjtL$$SkOdr@c~KnWZ-v4 zm+E6Yh;=B?2c3!-0zKYeQL*WgiR4ABiQklp9%nV3R_+7!+(}@|A01|Ts83GPG5yyk z-vitMspRhQIs8lH;Un=R=SBJC{7YA!fb2F^2^z#e2qQ(pSo8>iCjkBKv+Of`wDSG9 z7@5z&rI=A#g!;aCv_AU^7~Nci4|hd)l1UcR`5EZaGioZD?gUKvraf)8oY>);zkN6z zyEo{8-Ej|n8fu+j^@}>vz$`@-7_6m0cEE0EzfA4n;?6`xTJ4jZ#b@76hj>Qwz6HD)u=n_CE+iDnY-_( zS;4*}0PW9_IlND(eC7i#L~9&Hp$VpP|Bn;%MPknrydXcP;pK@#xx)zxRPb|fz-tM) zR{!}Xz97ViBQo6o2<}(rSjFSWxgBEEZW-3?f-0pgOo+As8oP2%0|!9^c0e z*r3>s#?@B*8yyc?z>ga~A570M0MA4Z0HLM@UvMpj5~Sqgx_cGsPH7v^_A_1@XND^D zIdn)LCR}FD14&c^w5qqgB0F30&R$jZQ~Hd)O}oc36Zx4Sr)a|n(UQFsW~dC@Xd)7g z6fivl7uu$L<@*a^B|PwpJ%`+T0pzP!)H`;A7ZMf(rlv0c)AMhb*@LX^JG}AOQZ}wX zpaeXAl;h{)^h^|>WMk86G7hou;`Ymv{^9sBa7egCqA@DW@94p>QKfJ&Morb<%3+b! zo@z_9L~cw7pg}z?q}COTkW~8vCW3=a>537h+T4ZnAQ%kXLOzL`b*>$uOo7~vB~R7I zP2goL`dFcD0!EUdFd7we0Yo)5rlKJulA>)Ns&_Q>q?Z%oM!=16{3-ogw34_Kp;J5= zE)aEkJNacVP}+0Td}aM(73tSmF>l=n&L-rcKqUBN6vvZf!f*J4-@J%TkA4V8kuLrJ z0>)^G;A`4X(W4X_q%d!K3bq4vRg7FD53Z5E1b6}|G*BP-&1494s4yuxoF~1>7SMB{ zvI?jCI<{ysuuq>AJn~LDkvsuq3yTS7*G0bqVQ%!0>cS(a=m1yws)zTJ=@PE;k%v#e zp5b`h!6Zix4S}s%zL7tpU=(uYkOJ7^Fi)rd%8f($Wn(A+0ew8c-D>DlS{<;};)BWQ zPG#~k#e+3nL|FR*$0F@jiN$~9wZ6aInClZm;<40gZeTb2h1?ho@v`JVv^m}?>unmd znDX(Bg*M13han3h05XdNG}8gZspo7KpaZ$!8{o1D;#5|-K?A1@C4abH*!(2BdZ9E- zKb(douaG|p6w<)_C|~8+>H%u7l|*HOR>ke1GviW}f4b0CA0Po=6Ec;9jsV(>KqvAk zwt_Ou_b#AiDh9T13g~}7&3InO=r>AsLOR*l&Ogi0zG}eqH@rS!HPn%%p$-?#2*pBj zhIeYb!3MgS64cF@^(j94dnCSr8imMLr?=F^cG^ycLfH0XdmhSj&VwV|oZbFW+)^3} z*7|znA*kdzK=JZi1nhojF+Zl^g`@_$>jrKZBxjBn0!oYgSo$Hqc7#B+xX*}@{qy0h zyT7ywo-9w@iZXOtK0fr%3t%0_pp!cp?P4I1R|0nw1`OfTtOmFc7L*eP$fr0Qw9gu| ze(Y4QNByw98&;FylY$_h6Nw2wiBvBxzzr9N_e2log6PH3#iCA#V`R4-v`c1`lWB>4 z9))|+s3x^03MNGis-Y(XBiAr5egchf46mmWFxo|AEm_#=3CS1@;4RGt50`GZTjdob zr;4kH3bVN# zHfuuh=#emp&52Fi=TC+trAt7>laibeb;h%r)Nu-5K)h>E^$J&PFG?|+Jbn$&mLCTX zb2Ufka|+$GUak@CEf@@=7%#2V*8x6sC2)YVm-`2*0D8BZzX3%Q3OTOn=@U36_$cmT zqxRjFWl=&bm3D-NY&T z%vc;33cUqbNF%bwIkW>6%_jQuNbrLwwV#&9Tr8^v0z&O2=(wW1hh)oo^ zu(!KbnHRnEll6rS9jqh zXQE12tXof{fSY+}PzDYjN(BX`^yS1-nj6C^*?HEdaglQ~tsBo=M1gsnh%mdItEG3?PW z#5|SymK@4Lkyywrnp0~7w;@$b6D4KN+i4UR$U(VW%rTBTWn(k897E*# zF}fLVK^jd+9lE>}y18VIIU0ZeqNKO*>mztO&NrbU$_*yJ>FhYX<{1`Eo8+RNkQaJl z9e3$E9W}neqa+fN{&_IpAnkv522OclHC%(5ysG)LI}UX|o(f%a8UGl=cp3Yz4jAfH zUQ?5l6P}phrect&W}UgVwRsxPo41`*k8|`BDP6XlD>%Ii$JD)jpk4{oN6RW4!dJVL zGjPVAL3y`OvMyp4&M38gyi0i=M6)OzGxaRS9_7))j7nLL|7D@E1er;Z_g7b?h>tdQX&XxFBt`8Ecv}yx?Q=;8eM`I;3(=Q zfdLw(Y-8&Ohbr&vkw)HhsTg9B3nxD02ko$Z8@wx2Zdn;8yrr+D&NEqIR=xo9`)kT! z>idAu#tI;}9JyC32OSgH{ew+QXWnbeiOWc_UkBC(wi&dIcJovwsuN9nw4dAh zs}DJ6q%jG^3{z+&ZWznEHL1F@?%eb(y+T?HK;>% z{no@Kn{%86ZeR;gyHQ*Mb$ARw8(WpHS_oC{Z9Orrkh0&&^*kQEe-91a%0c+GcW9?^ z!G%q~ZT?Y_5K4vuL!43?PWveEFk1$RyKM}7?t|oRDS+)(%$z#4GLLsGqg&XsV+^$V z@4eYdn7DeD)WjIp;Q$ms<-j(JQSi!cNGuygf6C_+jHP>U1QHL>TKtzz<<0%7?+$_+ zkv~7*E(zfyd~b)j9^=JmjwgU?FB?uem$1|(F!ig)*HhaKtuHsi*i9#v;E$&+J7sc- zS=&K9f-zVpDGxK{=m?Vsov}vBE$|t{)JwTIH_ES))9ePToBbJ$w?ope3cIPYK7+cg zpU_gzl~x3uY7}R?eu{{UQ*?JTJk135n7T=vHx0~2y(GC{7);O&PreZK8}I#BpBpEp z{~Xyb;_?yiey|8veY2Zqadi{DB!3!rd|bY5UVANEa*v_T=DNt?3cJUH2AlEuc}`%8 zcX;W#o3HU$9@yTkk3YJrOwzvxLjBia_ku>Y!k9ne7U{$56BO(k#>TokFzl?wP!aCm zE_uYW_h6+d+`7Lh2dgTr@T-Y**8uTvO}^ZZ-vzy=aC;j-PPfE;%x7rwgor+h5>J3Y zRgrW~+3Z*QO+ml(thT@F`+JjTH{?&_#a)VRubLXlfW5`?X*;ktv}}`Lv}cKQUChNZp59*Dq`KZd-D2^!@Ma3I? zH!`{dQQNbmnf&MhK$E7B1yIo!06X+V`l?rl6FUbx{uK|d*n5=(z|Shwrz`?6wR}=fiEbxmR_<<^^Z=$4XeRx* zw!lU^@A8q*YtqJD8DWN!{-)#MJJ3kzLw_YM!}b*C7r&)7&w0t1 z+vS7pCT<;L;G-N2FdGYel6D~0&jnb47Da(EcgpH%a zMZVDcyBvgAZ4ye^HGmL}#ek_Vp)voN8Wubw&d7Ds`hxPdabp{lpRdU8a#Um~4Z$!- z2R7J439ccxy#e@Av5L4|TeI@0virg|&`;#F?UtW|<)Uiae9OZIdH?;XuVCe8C9)+6 z&0sp>>n$9F|MDpLC7yl@k7SbG4_Q<*VQd%$RU`v~RPJbv6^GvdDar8@q%8&DDWCxKG{qo{c|ms)m`owtI;|&<(N(YJR8O{Eb#T_T(S$>*2+9bQzpi zG$dWG8RAJ&a+nd>=($^Ok|MdIPhgwR5nu z`gvB}^p~kFCJACWR`VCxy58pRCgoM>2LB|*WOo9HcSP0#HYq`BSzx;2rJVF;7fnh= zG7@+3&whM5Sc-eff*0@2tt#oQ-&_2)&@ncoIWrJ_=DEpffA0q#p+QhGxp5T_`;Ph; zAO~_+vO!f}%X6GlM`U={0F#j51Z$RapIEQ#Z>m7&l9@37s%D1K$=tnN>iCQQXo>Fq zr{aZP{mQQGydL?Xu|IrTz5(`7?_oDtEKwFr2MadTeyqJ#ih8#Q@55C_LS?Z#v~Qj~ z!F5A;=0>@PZ=VMr?=B#Ej&rKvT4-~mUEFYCRAa< zdt6Xlu_taX*K@-*Vd8hEqkAxlM}sbGLi#;fzD!PXdUI-WGz&1OZfoD~%QvROu-q#rFZa*Z)_~D_MyO9a^0w*^*{e@gaE2!U*uDs@-+Gtc zpOLR|EX3&TBmANR&bUF_|D!R)WIbj zg$>+_sSO-04KOUuNOXIG8(2Mpd^6gO>x6ce6^F3mw_)ddTD#_d%0K@yt`vBeB+Go! zmKD_E91AKH z{#SAd$fN5pTm&XIFdMyOvz$i$gzr*Ykgh$rXmqp}!{$oVW2P|T7@ zdSDxDo^7wkpR04nKN8Tk;z4jl2qw7zSuvN9Cj0W_Zrs!cIMS{_%8G={>W+Z!x1&?N z1?h$ZXu}SXM!t+19@LPTd;YldCm7uwlWUh|#R1a{@&PcMzP&@~um7c60HF0~vZS}A z2-bXo^8a9_mP-3Hc=Wnx4rAh<52kL=K5q(LY=ivT{1{obEuxHqJG5y}GNU?{CYs-I zPQO*4QcD2%_spRo5(?+K_8wigU5dI>-W&V7=(sEj5?2!-Qq{;<53sKw}R zSbgK9=_dNzD2}b}{VYATekEz|&+mDglWK8F`F^Z%r#Be#dtclRKD(uILSaf>O^Ue3 z`|6#Gj!)iaUJhDU&Q&Q)xWf|gCZ%Ji*O}HnlM1Vs>G^xHO`tqoR8eD6{n@$;*?;C$OAw-fHIiNM?R>pvZ z0LRmj+o|#&+;ufej$*B)9YkB2M-%p3EI^k>Z&)g;UQPFk%j&)EAh=SY^~uvw6S>2^ zzg-!QDR*d|&L_Nz1d3!xzRB|WAL|BBrm6Dy0z9#sQbP}p(w+%>r?jb0C`9M8t!IS6xVo? z;8jm`-DQFuq>KjK%rZiwMS#k31cDQundapWZgXOJ!k)dgPAO99xx9#+bhcs#t{>~S%hbkZMO=b>(>AteJ`CIb1S_btIG>6;<`<`z(Z z5*;@dZJJpC{|SV%hOneOiCfnEBhAyA6S)wX7j%CX=DnG>dqG#83+TdfcQxnK>)Sf& zY2fRIQrTA@D?`^Ke(=S6@&|Ulxdfky-aXo%Ot?a4T7=7B0QuCli}a!(Rc2fb zc7{(xZ+rdEYTtV68TcO>9(TF{MiNHBJE=Ii9)!mcxIVFLaq|P2$q2LsAz*01U?>HB z(b$V~niiwU4K2S&klgz9p356B8vR+$YUJv=dN)>(VgPm?IXaMbD~qNm({T3x<^I*+ z88k;@pKEsk0e1ubSGo-g^!zxLzIHJhGpa0_Rr6a9hVEmq3I8$D={O4G$P*o)MJ$j270W<-NX2CQ>c|3B|P0~SM10@6H$^y zTv`9?O=Vy{JND|tdF>?@QtsOd5P?>)MF@E#@5`4nCzLMKMtZ_#hb=vZ9%Rs9>@ zqZh7PwPnq5##aL_53f08R-c?a*0G*o{>Zq3RGnR=bC)7Y{1M|^DoQ%I{Nd4Cw@ zB5SL!5oI_|@!7BytnaxKlLda0U*2v*MQ5N?q|b~^-Mg+&-?&c*}cv1u8Tc+R zPa;*9FSZ;jOViynw^VH=x5Fwav%NtF&mA}Ic%pUr|J1myZK!HUiTHi~4v4=rTU2^8Lnr5-38>lQ6pGy{RY zmRz)e8el^Co>WCMS*3_jaB}jg;ue?^^yb~V0S1IN`y@*6eTY+Yw7-fL=iW9{WpI!M zsZT@nZP~(?Bg_-$9KHdej}_c0^3tDn+!Lz@CmKK7_tJYZq%(YU^Hfqe_~+ml$sHy# zCBum!LH+A~&hX<(I7}M=RvfEiJdCae$^$OpZqD#OCNCaDNbffQGw0*E_84QUPh7S= zoT=+lI*`G9x)&0hXE9R|k(h7szD2O0eTEpGUB_1urPINu9xg^<`H2fwP^2_-7D)0y zeW(dcf_spMV0?&&9M5lrwO!x96K8Nwi+h3$Uri4S@=dE}CAi?_OSJ*2E9boZM{Fym z;&pstk8yDt0uJqJ$BU=oFi6;%+vJWgjK>ffygVmqV3@6HAMZ4cL)=< z9zi*jbS;{5q_5d_j|jeyDH_4YZ-k%XgLNhE)*d#{yh(qUf90Q;uX^KlX_(T zt9DEW)ho+j)OdOODHBWP%T2xMtYfb>SGe1B~mEDed|%S=J`@8_CMShwj!IH z%;T>Lr2aT6w5+bc?>?%0LSxPW{PZpJ>q6{ILxw>9qF6r>BdKe;xxTm_tvL)6vtOVr zh8cScqt!f-lmzDLQn0bo?F7PPIAYFmYXq<-?Jy)i7X8^oo=REAqh3|xEs^&%1%TXJ9K;RAwym4;&tbhvyaBIO2=X&=zLsYG>Kh}LKz)d# ztEhcR2KKUrPzbvU&SU??!qzTpDJ~4=mLfsD8koIjKHW<)FMyderu7cC`C8@EC2&RP z6``?@WJm^bp#&5h>|C=-<^%frtupX_i#yJ0T^x`Ui!~|YiEIXsfBxr*33nN?lSS^G zVwCl{f6swN6>`!iFU%!;Au=l3wHLjj(dHB+;B&WR%=qd42tt~EczImOP<*coR)6iOGn7n8kLITxH?lmZ=HapR@q`ycBbM28K_|K)5Q za*HK7Z@~_l6gZ5W>CBYp3^s%pzG4|gUr&us4Sk2V?|gdv3M~(EGhw{i4nt;Lf<)k@u0EDkOB64Gjs@Zd zBfhS~ey=*)MKUr1oI&s77jFuTvnUL?_cmb9mjI)cQXQI(@ zyp(CSM%Tr=Ox{4+iwn({tcASp6?s~nW7#Lb5baS7$>~>IcJQD3!|*Mj^EN*EV-tjX zoXElD(rFmmq&M2?oz@ZjEGCorOT<$D&(}p|a~9viX*)k9UYsj_-*b*HhkEZB3ZAZ; zG0(TiWFBA*TaJj#(tm_8On9ap-Gi&_s_?~*ewQ+SXk{;3oQPICx(XJ;vztYwz+DYh zQG4tOB&PFB+W6e1(PHs??0Wcy7gSBs(68=O=k(5A`=j~J<^@*ml0_Bg0}@#}3*g^i z*qAcRw%ap)HDjlR3(p_(Z7IAxlM8&>yBUv&bg)`r8Hpy> zoQ>A8WkroIL1x8cXT3ZKJRtR$fz^X6UpN8q7vh;!FoD5hrVI$4XsK80T>g3c-SrvP zZL6ad5r)>RG_8bft*cXp(16n^hkU9q@s7D70NXN8C$h?$aYI~WOg{BNL!;8GkN6Dr zEVV0oQ1ckhdKXJ}O;p$;IezaZ*`D#S`-XS%Q_)sM8~MGzoTp9uYj^~7P;`^ffIb+N zVU#Ak81d8o**NSq*q>Xoe;RiGdF+yjbi*s5tMBBrTz0HYowtu&cKURh<_6H23hKc8 zIo>l0Xr8aj&2siK&xD)5C#OG3?O)g2{Of9q^P3ID;*_|S8ycS~b&@7&}v;0|xJL>?nT+`2G0mC(#yPWvYxqla;B z|K{|*&(O;ihI5^g$6z^g?iPcSy1*_$D}sxDmf48R+Z<*VLM&i!v<>&Q9^e3<@n1}G zrP=Jp;Hw)RUuHCruWnY9a6A)+LQ3^{@O$+!>fZb_1+1$#jqifb?Ws*VozW_~<*WtV z1YIT)D%?w$qj$KiH(-NL2a%bk?h~-&2y09uZoqr0wYS_ZM+`S(7FdN6Mx`-~Fse{7 zs~4Ky;s^J+g^a^;+x<3y(?Tx0+wh(Uc8%PG2FxWe?O{tv=t4xKj7POaQ{6W={U87R zra(_p9<&$ZNBK}=yLaCgtx6jDiy!^$|6w*RLSKUJ$Hu&hMSd=U%O~6}PJZX6>fAysQc5vx#c_oy=3e$HnS2D|MZZ~VC3S~pPeUm4r#+ql0 zhcAKvZzt0KElxuyJA!I99(RzrjgTa4?s-C$O#XC6cLvIa>pQ5@3$0CYX$RebU*O*+ zvCjBh?#C%ym_?sDxpF=osc~1{(c0To$)Lt0C8|?g*ST#PHtHp_dFWanAt)4$J%}3X_nisjTUmLRT9y`I5<+@56vb~3o82|;( zh_X*6ntg7^)5JYCMOGrT4bQx4ClnA=+$`a4E|OAkYc}CY+RAykn}-id0xT85kfXb8dk^DjZZlTJ~I|2YbGzwkI`>LeRP{6 z*W*{hfAF9=5USnFyR#SL1XTU6>F3o^H|U5AzM5^$cm5^$A9BmUmxg$*yC&uuW%dCX zSwUaz)4BC~x-JyzynP>SDa1)ucVByb;a6Lwi%aceFr@Q`PNdI&{?0d;s@Tx9lrahR z$|4y>=XKj#*}M7}7vVwQWz>!7>Py!-#!lN+-LI<2t#y{|Arm2$m7i`aI4sHo^>MgP zF67a%cv?75pK09QGgvX_2}km*sn&QeL39AUu@;%=9h_X;EQVdxR9{gxT7+c`o9 zB`gl#gnM3$0u)8(SdU+elAxIvnBe(^JpMvKA_}{5Y-r|$x=G|*{=~rOd-t+ze%raL zT^ol@f0&gWe+B(~+UF>EHr}eVIQXed2V;*yF5YY~Qr~(=-GcZnk z!Fg5^`6GsLnFKpR$&D;{^bJUh%O%UP8yHh=i(th#-bGI%5LOJic?SU7i z&VZ6!&oV4wWHL1Q6`KsvZ=s@1t9>xWU0X5wph$;~+ON2sIIn5B4Cq zDp0P*zIr>xXK%}(yz?@wU@ZZkB3i7dfOLXU=p<#0Dt4(<&9M{9Yku;={tU~{`9NH7 z$6T_OvAk6PG!NasFFNy8IM8XYkkTPMSshtbvjZ8#p;zA>)9yJm`q0$Fs;Mq<;OYzw zYCw15#biz_$O>n_fMJ#==jFo&2Rd+;cQq2`CH`Lq#v@K9yKt8qU`{$k$)cRW)D=2R zY^NzZd7*JL>2;Ej(`FqYhf_Zz3C~X&{Oo?`C*!0}VxL!=<{SFYNt` zqaMN~M`cuWSoqt(H(ckFyx_7h3d?Eflw2Y0cET4g#1S}7v&*Jg_H!;*i`{H_{GMem zjCK%XP$AJ&SXxHSYY|I#Gs4HpyrKf0x!M{*togN4e10RU{D@`1scxQKmM=6_b5MN= zp5y!xEV)1Sh$lmrQ+?|f#~M(>ZgN~BRyXpo%Ccr+?EK8X?eVaBuAam#*LS*ZmkcN6 z8PJYkz~MUxGNw}A5(FdWvyU#;kJ<6%Dp{QFn`FsNKVg@1%MYil5iw$?MWp%Srkq1x zD|RN?H$GCPEh~5>wA}>^FbfaYE%P9KW>3bPY7*R2UlRSg1%Puz^Fpa;(YJZHMoRG? zv0NVds-pwfm5!i~5)ProgC^W=UYX>Y#Bf5OYyi*TbGi?b5D|SAOC0MbF+|Zy$ZZBB z9p?a`ah5a&K;G6H8!D{;CD7QkUL@{s16+unBEwInt?C7A)JoXWf+5DEXaWl`9Fq17 zzIyszGA31{p*dQRf9F=$L#LlV5d|IePyhqmMIjekZrb0@IgK)6@X zs%BDI9LeN`-c1`P$F@I1D{hg@Q&30>hM45C-uV_+0R4Fj+cIhwmc*qke3(!n5m=z8 zlEYf(mNW1ZMp4{Fom4d7fNo{**~aNw1X!N?1g`})`hul~;@Te&a~SNU1K}_$oj>^a zW(74`soIUb_qA~WSj-Z-H9iQ|`vc8}Bn&TiXhs8aPoZ=u)bRAM&bBISl4;WPCrhHV zkOBVNX&Z_Dl_14!ZvNWa?qd@bX|h;tZs{1YZPoNDn`fw+4y{X`FB>x-oOY*?5>ux> zPvZc?TzK&J(w~=iGgrpqB3Z&tm-F`BmA4%<8985MBrpaWP|~S7TY0`G%S4RVH8Y6T zV&)+{WF`(%k!15eN=A}r+-ZArvv7%+F;e?ob{1nH+FDk;m;5d(Tq`gHt*IVdNl&I< zeh@*}WJC_QN!)3RoMo*3m<^52BQJmIWD0R504Zj3NIs6DBT}Qpin%J-J@54qwok&} z-qC1v5a^Roega1K80?gn@_j*BT=>p#Ct~%I@r44f)7Vbh?oqFy(RJ>PsmK#r<`rII zP?zf$CfgMbE|V!3X{-VaOApTc;ex+i`GS46qO%Bo{*^Vf2r^YHE!c%4^3>uRz7M|x zORbrmV9od)jF08x(x&X;2z{!dLgSZo!GqtKzCf}1VW3T|6Eq5ag3NmS!8TcaM7@hp z!vjJ5&6#bWf%eJ3Sv&du#7n14^LVXija;NL0F$;Y@#IroXuR|r$hCez)qG8AcuSI9 z9+<3lQ;8u7&{#~JTYhc^UHl#Nq)}M50_je`NJmB)pZHC&S2J;D@^^zq)N>r*} zibgB{Yu2wLVRn*G-#*3(RfYX;1$GT_h|E30hFBUHH=?db~%stF-aBWps2i{FZI&vjF1q$XS5D zks=`BG7Y$KfJ+F|*!Hcamf?J>2@-77U9Uea-0zh+c6j)Tqnrf{FBiE@X&(VNnB4T~ zgMVNL1Ndubf6c0N-p(vm!EiR&zq^6SZz@Wgje0DB>*#th*C4O}6bS@>!n1 zBE*t^$FWJ=>`43P)8Z?ARDu(#g3|bTzw-a75^u3CK+l;}9?XZ$Z@+~V{r%4@q7n^x zA8K)CWG^uD;v&<7ndfc2_n(2qg!iDllZn>QX<1q1D*$^_Mnglc%mHhZk299L$!!Y6 zYK5kEO&{H_=yhw@T4QCjXMg6b_WfzqUqSzU+#q}|mX0>FXp?-Wbc#X$Y)jTx1SExl z`EePH>wLENvj_eR0U;=iXW2!{Q(tQ)Vi5Ky5!I-h(!sCbU6lFJQmM7W-&VOaY6S@x zKg(SwFRUkw5P|*2S880^&aML@gI-z>eq;A9LQp`5Sw`6Jq6~=d8}wn1(9MZ(w}6{- zs{QlHYaAqksx|pwow9$N96cRdi*wkP^8HH8y@F^xF3bC|?QAcr12^+P=vvnWtO6LG zh+PMGCdcEf!m$?%Fj3W`glpAzKFcV~KC=uuoK?|ZFxl2a-bQUeE1 zRzK=rEp2b3)uvC{(((12NY;Ub_<+Rmp-#Srr_oD(f*?!g4(T}B{*gFWMs`${F=z?pXg%FqjEwZ8ock-1fPd%J*@gd z%WPBrEtf{&C_(`LVo!XANu+Sv^~g-K#ss^i@jIE>ohzRpW3#$|bTfDZD*OzFUC{vM zBz@pWW_cSQCj>=?Ra8i1syP>2Ew;WVZj2ooKYyCWk1tjIK*RDtXmc{&NO?97YUirx zv?_s?<=K`&9Jm*ZhY3kfo2Zg>uVj8;nI&}J43i;gr~t0W5;CHZpoProH$XDKc(IxN zR4*!={Py^Kz`50f@SchzFBiNWO6;3LuhU_ROQ9YigRbN&akNXo_0^9_R(vuGwdOrY zLT_}=o}7r-j+pIAiH+jy?-h@(gz6c(T*Oo$1`P&!Q*J`-81^c^O?B|y#9sajj>KMe z2(b1!(?Xch#oOq+DHFzV2ZdGFvFm+v+1t|MgC#UoL_dr=vxHv&K(zeP5cENi8MqnO z#&nQfJQx8$AzLT!Qe}xdr&}*Uqckm#Kc$dXct1n6)j3uJkPWMJPWB^iXRavM!4XXh ziJC8F+IsUmR|Wjg%`j_EdaFxB<|KOa{UdIhubOw8^)WZ<;Z*ULKV!0OUksbdlZ&AX zn!;-yq-Xr6Wp=4-etxFzO1wO=)|OFDN)`WEEL9<^Ix2yMk#A^pXmqq>+6wR!GwkJN zC=D};fTEq`lAw7G3VG@L z5U*Z6MQVWa^u!|R|Iih^wTxaynhe2vk9ebl(4pu&?edP%SlY2BqpY$yGk zJr?KD;}{m0c`$k+*A;=xg8d+;(D?{r*pTcqF7us*vj(9Pc(AONbyY#a3M7uT^&xOD^m{ zBrc1>uZ<1~OSC~#!KCH1@_r@_@bM5h3yPbhnmUR?xmv1Nr>+s1CH-lb{xpLza9muU zDft1C50nl3N=snXX>qik_;@rTp3o1#{ zVWTp9N!7X8E0nPV)r^FB$fYH2AeZpsR0|$3^kt0RtbRhiJoKa2e`UG~`E?Jo92LtsS;p=ey-~V&{zL@Ehe3xdJycShFQds{%dVVjeAniAFbw0s`vg%oj)BFz447!ShG=XgmDD3Yq1@p zxItEwm5gviqyh{|ef4u2IYa>;howujPE~Wc0ro&>9oJeP6a!f-A;2@^A1{K*7>1$o zx^5q^UAYU{?|VPX+Rp24fe}OqkRk6Op>Qg2-B8j3^%0?V`6D@!K_lmiqH#vN<+@La zZd=w5S-GYCf)0nI8_zB4f;&t#yAg*qnf(Q<0`Y6iHOQX1c7 z>91*59TK~oTd|?}qXQP8Vo@2KFLw$pB&MwasVxmQJa&#ut^_D%()J!I({?__xO zslC^?4w-xKa?V?63OR)#d_KKcM0qoZ+L5K-0-8o!04 zCh=^o7%G5x>3f4#7T8Y?NqGb(+w{yW0W-*Sq2Jy>{z^LkqN(y)CkLGWR+J{nE$^~> z$vnS5z!8MkYbT;x4*Nc~WeV=0oH`@+!#LFPmHY<`y9}jVywVd#i&g_Cj^mt)Z`rvh z#`>?%ZN^>Z9iAu`8#wp{+9>oYS#29OpL9DM-Kt5^7>@XuYL4m=RrvU`AZnqE6WTcYaI$g%1*X z)kn9Kg=uO+uBbHqsk&Vo$$qyjC-XN=$7PppFaDk+*wfv4+?6r)U=VDwa#+4)oq}`aoe4SEZB)!Wrg2)n_hk{J)+IBRJqAhBZWjkp$Yal06_$pn)sdp? zA!~t6z^{T+wt*2NhQi@JIc&ie?G-_iUc~-QNEafLS%oprqA-2StQhv6KUy_SKH&}( zRL`I3(iD-sxnosZ@rv4elcyBOt<4dsZVD7BWCLbt&A<||(>&Mi9H_{}YdYbhL^>M5 ziq?HSIvxMC;_eVDAxyS<>B#{X1Bd4?q&r-gT(?v%45>_%$EBgC{}z`&17*&tgMRm- zuZ?kxOmB&`NdjR1S^6umvX8h#*=ijOzzVPJ~qbYQfT8%>C(E?s_B3oGd|7~ z$SCKFntkRXnoKX}3V>ViFLF%r^kja1Bw+Z7&(E*|H7w)l_eB5Igi=6NoQFI*{$)!k z0K*W)A1OI_J8B(yVn56N&kNuofFHhI3@`?=NJel7c62>DisUBw*6l@&r64*t3KUw0 zNJ;hAG-WdpyMK=Rk5o=@_4Z#AC-(9;)s`VY7DQOIGdkRY|Cgh)?!PyPl_0=N}(NcX@q>x86E4d>qu1y#+pSxZXx< z$`VcPFqmzhu>!QQ)@ZQesUOZ`KF1`*J~t9r@%qA^pH`6~#nvbspjM{*J*vqoA0Av( zbZjOm*#YA|G4S~dus*ZA-dg21S~#iN-+TBD8#B`uCW6~!{!+aGfHzj$>6`ZCSo+Jw z1F)_BV;!;ma0CCy+1m=oj-MQm1N`M70&kkq!!`@il9{FlIvc93JrH%~G$1!L-DsOe ztrWfQP)Al@u0S2}aD293M^wDS4@^jfW{w%DDo^a_&62Zz5*-YlK=WfW_evx2o=P0j;c@gt2{ovH?Yj=GE<`InCH)Gh*L9RRYZGL`q9@h`;23_-o#{+x?2=gw zS_*R$7TU*kL2knNfoR4p^P$TQ+B3;M1U0NqIq~#Q&rT0lRr9d#&S3)r`8xp|%gAgksJm zM+M)j9xu=bBTQm%HS+>V*zkP!dw7!)SjUm(5$!6l z9EpPM)A}MAUJl4Mjqi;aKyRt0SsOG!VN{2+0b4*nV5-~xL?KPc(aXp>x9X3F87 zpWR;2J)MPa;kg|9TyfPO_FL*1w2_`=w6frGbN!cU-b;2rSa5K?l3BSQQ2}myDAJFr zQo`(Q%Kh|U@XWgfYijl!cdr@}pmQ0LZ*9j;yabk*bj9ZMm7JG+78z#84(rC4!;0G= z`$DB_v~Ktf<4X_D$#jwNwShI#`W=BCvoA2K9Ike5vf#Yf{Lsy1XGTkBfLBiK^BwQA z67a$P_nq^w7*2VN9&Du5R?tQo!lXhGHQ?WYqKNNP)*VPWARpe|%UWE(2@N|gq2#k? zK`(^etDwwJ@vdfgT_`DR+B=j5F8`mytOOY^&)PD^nbH{;g# zwegHT!xG$lz(|!1m3Gh{;9I`$Z_Nx*sI=;5{MP%DEA93lsrf)lLf7T7{;HzK1(3qq z(O@?jt7UIy#DAidoEr*y^xr?* zAKmy85a2Mx3v!V!ZC1bgQYUKt>BR0rVl_?eb&8z`_NnAmOzgxUoO;RDA8`X`m*PkV z{F|@w81n?^B!P&*?EaB0zUoF#0jL>1w|M?X&6s>j%j6JX^LK6UDxCYTm6wtuNpkI! zDO1%ILM(foWBDca=S+AHZOJsLCW&bwFEbcOOGybwetv;}h*%i^#1&kwdi?$<94m!; za43Cu)|DRe>vDlq z*2aKyes%`uld8z+xN`c3U>B+Y`V+@D&2|Iuro5?mnq@wd?sPry|FHMo;aLCw->{jH zL`X)Gy_F<8du4C35~WgPWpfr1Wn@-%WRp?Kh>WbtDzuD{S;>r)>-ln?XW#nVzu$FS z_wV}azK_pwbbOD#KAorc`!$~P@pwGhg8G}Rd#Z?F1UcCc?^kKtDla8M8!qC>`Jzpz z1t0CHYF+j_lYM{goS=ddk_jRa`%Kz2b5Cx+Xdd1Asp=6!RDfXLvY?K{IqPAIXln)Hcg5r!G9GZhbMr8aB zznuep^)2Jya4a|a?%7?RpE|?dzPzaOl`*%K@av5?NLdVdDtc(5Y^erKn%fnU?wSI* zr|Zmz1x}pn_wKX5@i`@CvL(c8H3;c^M)Z>{t<#tt)eNP*?<*C9G9!!Asg6gB1fQF} z(aI!6tZErPZh3Q!eQBjuj}4dhud-+<&ND|kgLk<$fb53Igiv%v+>x0x!^LwZ`Q^9vnF!lYFH>34C)!sL3IHK|)Zg&b zE`P~04nDNBzdVYzWI95y#FgYG$)oAabGM(=0fgu@Z)FW6dO#I?6e0^OvJ6S0mJJ=R za|b7>jxa1}Z$aW5L}&1$*53ddtwEL1n*O-rm9L=m;6O&}wDa`aE2qog5&yfER1c}R zz8zrfDVDo0e4GU&OpMuEIv`Ca`@`>#vWK~eYL7vZkaf+$n{yu8r5*dPvf4Asd(Yb; zeC`pJtXEmv0pzI&6sCCnXehkDbJ6B<5Ci13Dji=x*r_X0ryu3VoQ5mJ7{}vha0H*! z*|1BwvIio)LNmBYJWx*+?$F;xLf!mz#}hn)AqL70s5KuGb>Qts0W`(!oy+aku2&c9 zuTt-2PB$qS1_xu7Z(4j?g@aZdshd7T`E9IT*byQ?Bh(|m<28!3k$}DBU9n$FxS#>* z{Pvedp8(UrTuxk4qxFo?r#rM|9rGYf;f%50;Hl}s?!U*@{vWv;h~NKIh3W>369s$_ z`=BbT1pg(SO_BuB+@Ux{7m&P92hx!QfRp-4d|3nigbB!&qc4c8SODM_$#<)?TJtif zDb&3B0n(jwWsR?g;t#G<_N~u5Paqwz<1TfFGoPYi)=FlP6o+mh%}sLpF$k11p)OZOOQp#lPsrMSlv`kSEw zB?#sH(z}uY;Xgs}Q)Z!kUd`@Jxg+Wd)J&4e5q3ed?amH^vj(IPK=VQc>A@AZEQU9z z@d`{F!xF2b8S5T=d0kCKZfg z9rz@JGXo@=STjH}O@3FHe`{a?gx>W?1oh!_Bn=SBD4Gax`IZH(S)|D}0d)pX`Xf*b z*n&Qx6H2q`Is+1f@o92?zS!*snWXVBmJ1qrO(7I?X!;=(P@!kQL=^f9dJ2apuRGA* z`-!N2*|u|ecz$X&V;iq4yJfkVG81qV89r?>a-hIzx*K?i~dsx zf^Eb+M=6xj%WMXTaX#m~yF~i2wG^dhs1q*u^M<~C51LlX^EOUhe42&Y*C-Rvd_6+) zvq)ym2H0=I~zdV#O-^9&8Q$9s(^Y$RqWGi^1(bj1Q~B!($i+tjW( z;&BquxI86VeV3<5SpyVFgpm!}fEIa~SP2s0g$^8w=D;N-A*J#td%!L4M_K&V(waZ< ze=H}CM!fXc_x5tVDI4BeS()KcR#Jwx1C)4(i@g#t6LbUW4EK(Nl&1s&^v7&@BjI>N24@+5sAp zqo39I>p;qEt`*=d_V4;fV%8QXkDXaz-zAs=)X$M?!AWoq7(S)M3N=;^Zxv$i?8g_P z2`^!kz-GEgC2d`%q_O|GxsJQ{x)>!g>gECVzAZC$hZwCq|U7~HxQ$=Xr$w%j`; zTWPiv2#HZm!R7!V5otJv!UwrpPxx*6qX zUklV9j$6l_V*;WTxhf#myip`s=ZN|hq+j5H^g_Wy8NJ}a*H~x{n6eM}$%Q(RV~9ib zPq93s+-faYzf(1*>jg0qYOcrwco<(GZQHVq-u}0$BMSTD--PuLF-vCb6wK1R zvQ6Au;R<;#cYuDe^{5MU?8|}9D)S3??wY6r1rbEj*f7-2RW?7DcZ#?{l~W5MhQ9L= zJ{IIf5JDoEfh`PFj`i-s`{7+AH}?tj7npSZI$msD^RUZO3DHdx6f~jX)-jecdQT}W zoz$%^nG1n2@8H0gG&UGO!5h6iy6HbXR9CabcmJYygo+zOJSu1EB!%^WfsEK!IEH_P zx95VR(j@{nzMIQMgN{(og*eaeL~vZ`ZAU<4u#8wKOF425___-~@Etrt8(}Mh*daOG z`j++WDTlPqMe9dt5k0rX!G!#es3Qg5b=>#r*0nAJ}M>qnd!)w!+-}#pC{x z{L4YbP8E0%hkAV8cYuVFNis&3UXe!;bQLKM;%~-=0PffNiW|6ekvzN3#A#;jnefxg z9ojsO9r65W=OZt}si6ILSet8Xq@-sRB6rIGBJ!#nCB@;%D$|)I1 zfpE#-5hj=SkC==oNGQ`f?Ba4|kE2<{HzZ1N?zvQ*ZW-?((UW4jQEbP=?9YslwV?9Q zK&l1e^;bEd$+vxOh;)fN*q;taIF#k`xEL=Pw{qHYmU;h}N3(_KEqBL-1nhf=*0xcP zANt>~J#M+Ssu|=rP>huMG&d6)Bav8TWMhb>=@nrX5RwiohZ>o0mdZ#lZxKEAaS4dF z;gU6CYN`T!0*C!{HfjNjSqI$0BeH(cwsE^=R9@w1%T^gt;MxD_H_`yx3J$i7=9$48 zqpk1A1bmLYnD}>boWe}-b_YtTut;g^OVq--01-OAo`xay{@#K4v)<{E3dnZDgxV>c>AnNr3T3;oX=&;Nr(M`kOr#zPBaafoWRuO1P21P}II7Phv0SfUJndDvsnJSJ_W z=lFkD4_+(a3#R>c}nd8v7wSD|-e}0mt z%?u%0{oggOV=n^SY9830|IYgTxjp~9f&XqSq9FdevH#xKe{bxc2K8T4{I4ng*T??r zWAWkM|7m*hZ}5aP^G5!SitWYzjf$};-!f?DcQ*7vOV z#~|9D4|Q*Yht_j9c1h~b$u+Ftor55*7VvuLp4Feprb0&iR@E@)o&gm$$@SSjb!8d) zM0!x~<^~{ZIWZYRR0D{it7gug(G?)|oxy~};~+&73!H}R!PorXS14HdB&AqXwn_v9 z7$O|3km$3&lI0-FZM8>6)N=EKls?8W2L!GI*K%1g;HDhou^E(5M`EWqA)$Jfr= z1IDuV!8x;aBTEi`VGlqZ?v~JB14J&L6O61k+7Di7 zz_30w$B!iU$1&CX-M{M_{JC7@P{m@5JMn?Ba;vP$f|et#2+ig4ow6o+65@#=9>};96(Yg&>MK$KmBzQxDUM|Msv52z&mG@ zq!RFm63PXR{#=R!76RwQ274D&+S>e*9%2!lG#9Y;fac4|oBh9wfbi>rcW$*t30X|G zE;IT4hSz4c!bnZ(?QYW&D+>h5fG*v!8mqEXXjXV{mg@F3INe63C(tMd7ULMVmf+{` zyVzxJp2F>Ourl_QB)#aE{(Ph0U<*`Cyv?n0e(TOQ^1$5KV?F?;J|yu2faWnk&X*i> z3$?KW6o4DzGlSS&?}cgrxrhPZr?Qj8hX=+y4b@a)MF}yk!2d;XX4idjm4B7v{MivS zVdr2T2OPeUa~MDzBQZ}7XfMCW-@ESh6FPBcH<9?c?(DkbiGV4a2WL%sj;tKYDLdJ! z1(okZ!lv_U0qaY#V1^vtfAJi!<^>Lb*|Uku)c~nh{7_Memv-2K+7Ps&nSB2#h1>l{ zCL8*@M~DPXix7yiDX`EVjg@el(E5RTXA5VQksLB~l?`D&MQz8yixYt4>`)}zOJ8`~ zYqA~)a)TZlNxZQes*zvWCQN-^RsW*MWEVG zvnp^N$GRoN*=^Q4e=bunh-kxsVAfUJau1xOh}i{fq_Qj9;H)eO+J({ISZ}<}M+#k`zRY4OIAmK&BR$HMY%~!HUy*Ob6{le!9vfd_VUS(f{+xm8(YwsX3&i`U%771?Q|G2b_HJ~nbChilX!b&(q((@9ZpWePwEg|nZm>gAo|x? zr3^u5^-;*ilnP+#9cEtT_q6MS-V05~2i?2aV1qmq%Mm4S$yDe3vtZTGg?4xSP25&H zH+0t?!22u#`|$lxh|Al`e85cT!Gsh(1PwDz@UKrrFgU{9Jz-7?VcU-9ErMuUW+aR#nsAZ`bZ}p2{Pafgr$j`s&%+4H*5;7npIQ*7LB(Q6Z07 z5%(ip02N3Nt*hSXDDL7#KwTgsu>hv|n!LX>pza-kSxmcET{a2Lnrw%M*)sh_Hg#{m zoT>qjmt}3T52jHXW-5hRMMMf0?&R~NnnM&f4=NR%^_AjZ?_jZV0BKz2xc0G_pf#fE zNuWR-8jA%qe{N%oE~cM9R+H{rsLpQ=`bt3>=J9dxWOM>dmK-b|P{6~sSn8ZP5>@0765|g zzrdA+to2+2K#@VU$F%)`5iz~S5V>oS_t?yUp*lpw0K3r63j_%AIA{*V?H0D=8b1_! zrvWfs4giX%ATIUL2{^EC_(c#vO&kEuQ4%`yxE6RJC5yFfh$oZ-e4=vTErfhTGm7De z>j~)*w*s%Q0-1KCBnNkjE}fzJE5ra7lKSkhR~xmWQ1qeX{=G;4ujped#tD4z{NWJb zPLu9NNo%3Gx?Tx@)kOZ%YItVgVj*Ble0zd1wn|5QOFPk?{v) zG=_mhzE3`bzKpd7%=-B}bQ}PDN#>b|^j8b8x3cN)qHtd`fyB)t-&yhX?GHt87mi^5 zDBe8+!JP?2vY42bvi3`R1H$`4qU)-}9WVfBCsMZ*7mQE;=fDTxFwO?)%N;Xqu6uGb zb^+uwmu25ckp3CN5D+QS-enF|*U)C2o@dkoxb;MRKtNt8iK6XjH=xRbNpgAS%J!9F*F4OEveC_t& zS9UMMh&jKt-q9o&%KA3^SFw86j`jSYyQVSG>31BBKP<~KFFyzqa((rJG6p0w|5=^Q@Ymd)%`*kkrfLgGFiJ~Zz@&iwIIrcs*QA%64R%m= z6NF9421w>Bl7T{2lyKaJ>Oi!}zMqvtRyRQU>_~g0n6(mNRKl)CQjZ7cO6w#>U0%){ z=2`%it8JAJTFxZCKBxSAaAslH;M!yNNf3?g^81z!&cMCM=r$9xWIw#P`re}bP8{n$ zVp0%I*IdGKcs!$W+_Omx@Ve$J;-9e@D7!z-eE7HS7yipdrXxxH=|hbv1%A&Dwl=ek zBjKB}FW> zZKQ}z4_xQJV{bj|`+2C&&vdq2{}jC3bF~u|O2lpg#(6Y9WM0>w^!?8Fp{`W!h)P%V z`WhH)DTxf1rQ_C{yh4oiFCqJzFwds(2A(@$CXV6<(@w}e;R^_sENDFbziDy z-FWnT#w7asi;8Dc53h2%3O93CKyqB> zd3VBc?9@AD?ngqprqo2Nf>L&&b_SnCFWTI{%w;hq8o@Aer+g0ldpqPH>3?!=updzQwOkr>&2vnay9I)yX672H z3I9_LqOLHJt^;`CpBcciOKoX#2p*TCZUgi(>srrsh~PQ_$t2i6Pux>smzuj?M94nxs_34l}PO*kzX6v>0~f-Ar~woRhblRYT0w_min%X2ta z%d}fptI2pa<~NWc84?`i9<(LJ@`(RRJz~^Q#YOz}@@JudDYF`{^JQV%XbQ;)fAr1x zzVAtcB2POI+eh05r~>x5)L9GkA0RDRG;-WRq(YowT!COuVlG3qDVJ$0?*rY?Sfpl7 zO#LxPx6u@;lcL1{7vV5TpO|x#*hAc#&-%WZxs_H$YX7{@%GzP(6d3K|k}G?9Mz(MO z6Mx6H+~L|BL{0pYlhR{w9T;{H3Kk zi$(hh96+_d7cjz`twTNv76uLh8yzth+obrJR6VrjP73q=uql0duH>CbRbik> zX<5yM59g{A;}x1e+=Clox%=c;D3qR}LT24NXMcr2rj`i;g?A$0xP*Ni8`E(kpQCNC zDr;>Q&M7b})dj(%2mK$w1{y+)T`8-p#CzcUTX8gLHH#12VsjXYX_&QDuv`X`K4O#i zck(&8@_qr%mZi;hs3s#xytb$&u(J+ZQWWdFnY3W!4lcNfRC9-ez zf*17GCyN=jd$ZopB4Q#BCfNF;AWjqW?f6bAvaA!IGH$RF5dHb5gok~sGnb?T9R(x-JMkbpq*fAOld?u-kS^+j z`_fs^CxtXJ3nr-1h|XR7emyxkS>Hs-pVj3Rx0T&hj#s-)P)@YR zsUPC8Z{k?7yi7VgALRhi!x>2OB6?q@%JhNm%+H|=2wj^;If@K{0Ote)ButZtZvKQ= zE@JynP(@^!d0lFoZdz)SI=&b^d95_&AjlYTQ)4hHTHcf)0u9;(gf!Sct{j9+^~(*e z4c89s2q41$6!+ig37Kqp_L6?@dI=(oHwHtGeq9>>Py`bn#5~<0@NM2kG?cG$ZI{+} zB3l`|x=z1I*egw>-cw~xVciGU{MoWH-L51={&Fpg|9D$0(hzECk?Gp$ zwZ?Y-4Af&@LF`ogX0ALCfZ3L8yqR<(lLxQH8pze%zjPJM+PaCX|94jqtqyTy3Vc|h z8`w{Fr^KdC3(&j!CH#AMCEDITcIQRYseH>O9@nQXkze}8C>E6Rh+dX@qlNPH?=#S& zs_@K3?f`3eiBw4cW$cN;|L>!i;OnAsx-8r3I-P8s(HIq>nzl$OR*43gwFUhV>z8I} zmy#Bg5-)vprC^oVpWGbzy>@X}=8G4IAzWjuQ_=(~jj0m5Ig`xy-p<8j#%phiFNyO$ zPv}Kg29;;POVFX@Fnanz9Kb?DV%7q>@_4*bhDN-9C4^Vn@uL&SVTP@5uucZ;dvwFA7ixa_K=({kg@EP48SPUR zgQJbv&vu0oQ>PP5vElB7WODHJVP8ARkr9fkC6IyOZpzkQB(I>Ce#!pBOw{|}Bgo{N zOLBR2Q}Tojf0|sLf=YJ$;d7=&@8{_G4f(cz^A}F`SQys?x!vS^fz~G=PsyC48TZWN zMO1?yZ>8l`Yk83LI{sptztt0eDbVSOV3YOEcr#sy7EPa(n$@5^v>+ zrftQn=|J7R0ziL<7*(Tf?%eY|_Fsu|byE%BSBY9yhI{w)%cvHP5?tLgs?T{AS_28? z#Fj6{_DB=fJv9XdM<*z;YYI4iB>`nWgMbX%R z$(H)~UA>Lkp|X=?Wuvz~G;j7Vfm~?0ce;E)d{Cs2Xtg$Z6JgR0$?EMmb0NaPK32uH zhx(BdQC8va(}Vp>kEX&in9ssBUH^LZ>u|2$>X+D3$=OA2Ng z24)O@O=(@HyY|-?caHc)o}ct#6#p8wqFZZz&vt6*$rsW3a|0s2FvpQW_bfC&s`1xC7L~%FJkg)seK5otP$H;>7I1eNmPz?HJ68vg#ZifP7SH;4xxbqJIh5ZbD9w9rwo z)UIjGOO8ZRjsISfa=Ms>R>z^y%b(ES@hj;{4tgqI%N-Kh|dZ`bnVXJY32P{q8eae032d zDNG|tJe)xRDM!Aazp;TNyR$tM*!joPQ<4)7u)4af_8h_4S^`2cI^=3(slzv$RQ_RX z2?%ddXq*WZIdq@=!Hr8QpcK5y^BHXZU8v398TTTEx~Qp_gI^K^v@$>rd~w`aFlc4Y z!WZb4I*yQ3>kX9J?iAQi1cKYOrhR$*wom+C5{i@E>%3lXlSz_WQe+?p!mCCWbWW9`Ho8-sX3n z*pIkM=YMP**7oP*36xKha#!Q$xt@To1@tq5^Sy!e&bNO*rumC=-(i`{ z&}j>SqUm`7%c=|3Z||SDqL~&y0f5}3X#$&c$SZA(T za_B<3;MAZqsXVy#4N}^tOXMJZcsPCWB-E!LR(JFC7gRrGI!48!t*S*atW`BVULENiWpqm@<_8#4Q)C;`qk`Sel zhoo`dX;#%9?d3BdO21=2v(Wa(D#)}@iC5znLWB!vT3k7@I{$G;kb45t!m-EqT=8yc zi*tFAsjNYF#$5e)SHv4?9$wKYtzC$4+_)gY2khw64QC-*(1Q42VCI|d0@P>>GPcnH z7djiZ`K+&ZEE+))f9SNX&hF2=un1nyx*`nn>bYfBZ>Zb?LEs*U)DORAolQGg!WpU? z%=jru$Rdj`A~NzW)Csp0EkTsaxngXWFgPE1qYB~^M^B4bXv&2{0rupAWkZ*fg!KK{ zi!DE(kS?oF)l_?f_LZBn9mCY3N%3qYCly(WMApAZ`SxjWwG3q$T*J5TLO$BjZWo@nR z@>%=4`Ed7`OW=`idwqGY36(jCHsW^I%XOrSq2}ZiR}-O) z!ml60njitLn!+Y)=k3FS){k5^B?me1XU7>1- zJV`-85y5h{t4D6LBAn(BZzJf($y&a@muK;cAEMKgA zfG_tP;n(sTE8{DV?JsSlI7qsF`>5J+=SXS)GBAhvB40u0y3aw9;yS@mx?>3fsxX1m zNMHr#mcRgzv4;35E!g^W9_{3exIKDR&To_spMBLGvXKJW3>zXr-@dLlxJbzo5ibO) zRXcf_hNxgjpM%8%7&Z!BQ2EYt7w8*Z8*bc|!Zss?pXQp~o%D@8C1oh&-J1Z2DJ|jhE00<|Tiab97H!A2FH)2EA;m%%zoZ>&N%R8apqmdn+86rdQi}uiT3i zrWc4$AFuYv|1e{i3S2JINhPvh+`#lal$rsUD z)TVs8sNkHEDeJR9v+wm1v>xcX$g&&A=NAjTzkTGA-z&)Ab2<=cYs5zO29`pvegr%l ze}2n|LM|>j*(q-?9i8%aMv-jj7VH_%JOu_{8%h9W#(j{rSpw&J;_wm5(To4@kN>MB zNLvIh7Pq|gQgQk3a#=GQF;AJ~BD=SMMsNRWxck4Jv17g`*v zFOl~1*HY?3*RocW-zRF|MOm|tV)|EMSt6$iNe3k>s}!^Ws|#^8T|scMPHX?NNf&I!OMTw@IJ<*v$gsuLn2MUY(O%=jnzb+HGmi0>j{R z3z&Y+PEAL1wi@ys20s1ZFGF?bjx${KhMmz>Y1D-tU?fUm-XwxwN`*yo@Og1V36h74 zuX;}7Y@sU|A%Fd{O79x65`)T35s!b|hex5o*T2lZZw!R{nJ97-`s;gk5tUteZCE-l zPE$Dqx#IB|dKt%nnGHxwE2WW2On%DXa)C8t`h`k&TC(@X{Uz+`QLMMwOmfZnDvn#f zbpwx&p}O9u#Nav{8XJ7odZ^I-b~FeZQ;|f@cA@|#tea2HcZpn(?!@~Od-nY_w@8IK zP~1hU1A=tV4CUWJjmap$U?82-7&DtoK!8gcgHKX`UAt->q$>2(mEGPca}S9E!5@Db zR7o8CZ+UG01q@6}kuMvwwwsg`ilEaWw2a1LC{71#d@tjL=rmCprdN*{ore7Ofi#RI zI+(B+^`S(h1QwtZy$n?B-pZK-Ko_d~_y=RqdUs5N{Ld$(@S+}wOvp7BKUVj)J&+Jt z*#J99^F&vib>tT~i+2aAAV~iF2BsacJ6Tyjgoz}~MAs-O;48n$SOf*KO`7LtdgNQa-`$-;lhu*-pi;oLibY(+K-2(cW?*Rm<&T)2L#UZVjp<< zF@rriP%b#c04SNg*ILf(Vq?`F;NW)sVMP&ANTkozO#l8L@KS_#@_(6CfO3e%b|iELaaLoew<$x-CS zo`XtK1DmHoESSrSa8|Wr4YKP5Qo}w{mdj8v?*)wqD(-Wy@)V(1b+GMbM~bYEp@oyS zwsxh^I^dZ4pptT#jrUlNd`PmOe8YDdnb)qtHG+*n-N!`hRMvfN@#?X)cq3ygA1-Mm z^zdrzps?=7^K&1n4}YuZGuvgO?gSbxZyjxfpa@f*xO0FadMC@8>${>}D8*}d?<}jP zH@!7~T?yJB4_>va@qi2Yuj9Y?VPB5vF~Uqr4o${t#XqkM0m*wM1+`Vr3wB*1zgi|K z`)uK`E6@D8OuAiLdQJY~#fyrwjsqK}=TkxKF6Sley-#yvwIMGQ-#DrE3w6Sb$9BW7 zP>(-tF%+fm&3a%Oi4mq2go%OK6QBNeik)g7l_y8SQ!9$=MMlaDdGt_;alCy8+5w9Y zLMaP>jJSJ1w^tI1f-g9!$c27<-n)xiUVfQM+(D*N8%1fB8+n9gXm>P=rL^`CgN z4Jxlo({iA8sBL)lI3>F==C~U3Py9hxrA49O@jturbCTO_uoOaKC!bnAy&Bi89jkkd8BwJCyr~)~0M8Q9!fEZR}8?~bXk52o| zQ(OF0it>E|4;*vb^qw};vAWDTwNIfPu zco6-;cL64vh9d7D-thpbxI)eTMUneZ$BAPLU|CCH+#h!`cDH+rpU1{z>IKP+70?X$ z*1@`zmIO9o9@LaAgg>>7LB<@n5#Z}S>JPp!F0>W&tP)nr4z@xeI&LCu{SH7s--<$I zY@M%VbG3fcXVAPD!rU~F#`FWN4c*+28O2Vy0}axSP=PyNq#npZ%04TYSwT5 zlDVj@XqykApH|8t+kyRfgZdvM%6?PqOKKCDnozS5B;D7B&n@%w@PvgN4+7SFoQ?C3 z4ODrQazADNbDgV^l+V{FM=OVs%tK^%qsE;7kyo@ORr!!DME z`c?j9Lg8{(s*HMLC+7B!AGGe=uGuUS&KXdxVG(eX^^0=+QrTQzRW;-r88Yi*G!Q~a zxMRf{5}{FSHty1{#6A}FCHM#`UmTiLUF>GRBj zNbB}NsDNaH7dn^ZeXtx{Uvn4*s!Rcxkbj{3beHbCDi=LBOw->AryW;3)u& zi`zS<+O~T-H)rU*{{py=S=EOxkAj@^`sC5g=_(;n>2Fyc*}FbzjW~R8kZkaH0#ilK z4nL8DMDyvc-J&$$?Tyxoza6|8CX%>=ydoz3(9=C;*XF6YlyXBJA9gFC+s`}&u%yZl zk`e`W5{-12&(ga5P&&!I&b3a6f8h}wY!zXijeGnbHdH}D3^^XHFg}hKqp9Da7T@o& zs5A&+$i|oM0m>hev?mC|89)1!S?B zwVaaqNXAjXqC7i)5K^jZ%OtlS1-!SVm2c2rhS)h5T8c~#UWdSo--GHqe;AFk>{Hen za9;q9F)^NdQ*jkaj3ZnREr z%+a1WvZT6^w#eZQm0yjJ?hFWY)`VHEMM6NQ*~{1d;|Z9iyI{Bs!9&)HN{Mwn~$5W>C>?=BN5++9Wuo<|AU$f<+%!P+F8*5*l#0S3c{wIUxz-F);QE08HR?+4M58s z)ba*7?RiJ)z@$2Ccn%a<(69Vi|+^)w!5^{}aTZD->cG*aQB`=n*(@xe(lW0$?z z#>NlZ$8L@{w~?Gp)sLF&O3ww8b2W=&q!bGxV*5eDqIr-u4zvD{i7tT@_U(>^#vj{7Ywd2536AJfLjByN0H%mZj(q5P zI>fjanOSURQeek4>>sghHsMS+F`U0}<*#mJ6CjUpeXS^8S&5 zXt}5SnO-iqmPwgHEW75T#$4|a5^tmNQ?;0!{F!Lhs3^YQ#`RH~Zw0 zv5n;5!GrOFW+MFW-?>l4gK%RX>{J4cz}%Vrkn|Z>oYI+jS0##yyl3|Cjh-cf!p8Fa z-9>z1!wKuwgYV|DN|WKO5jOW90hj+oTN)#{ZWm1;T07Ym+e8zcdh#CGm`y4pWt|)Y zJR$gvPMed?iKr=>DtS?f!mJ_km4+K_@My5r7^Xis_&JH4B>Uo2#`)hdLnf|`t;A&T ziuCUgn*ig$4t;C~F%Ooim~aJvT%#B@Y&Vnxqk&K360_DhUos69$!6}BWUQ>0Ox^&{1oq5rBvuNr`0!C{ z)>Txn?NQz-yn~F;<~r1Ph|1nwJp90AI1L6n7oUogEwQanV-|O^<2wQp)}R?)skr-W z*bY+g^>_26Jf>(8K&Z+%A#dL)SZMM?`gz3AOM%6>LdIxKjCiv@Rh?aUBD%rfi%i8c5u+V<(&f5e-2yZ z@m9GE-?MLt=m9<0eAIK_uB)*?YYy|@kZJ0^501NUwCU;&F^8?JHjFr#`1g+Ja%0b{ zr02s-+uuLM{v~QZ0v4Pc$>MxSks|FGfvS1czRLxsxrRAfl|GB7>^TX7&Vb&cIP|fV zV*z;D4RxgRF`>6%cfvnC4X)dN-;9LoF*%g%uY$a`E{vNL7Z(D|X(fyREHKKAQjDS^ z4-T%OfZqOxvFIUO{UA6FgTX2k7-&CE1NvQ@X$MjnLvwzLtt52^e<%X7A5^ORj4PcCq}|5JAw?5l zEy&~~Ct?-*2mmB4@5tt66~~t;M}yL!1FoF1ngAol)L~(HS5#tobeJQqT{DP4!#W_5 z{8-40dWO{8P&K|vEmZwGgi%06vrz&bp1+@+04B^J3n1tK)nE@W^qr&*g$psNyclR- zMSz)61C8=t>4p>A0dcJXMFPWT>61?ZPB9JBnG745oJd-Z5zWxQ*&kByj zt+Pm4%#`%s&#K^o>f46gt5ZFkA4A6hn$ZKTwKGrweFb)XSuBd0yJ3`44SYFNCYEdb ztcHIAq@fq)cjUnd^u1{Q5}+-*z}+zLXlZTjgO_W}V${0Ks}KET=uxng8Bq99Yotm) zSZPgT{~p~$=lXGyoFz!sdtTv|p8t6LkJYb&L365?Cz)At+2MH~MG`>w;qcIuFzz`Y zUBh)B?lFZw`Dgcm8+9LoAg*sQw}UWx2|8J4t{gD6%h4mVLgtnt#Yft#*j zGxX^9Ayrt|$`h%`Zn|t-1ItWda`z zmHy&WKgE7o>$$6*53|}kqL!(c#JVAE$cO74`$TvNdqcSB2=`EP(K)@}hWC~1Zz$Rp ziq(g|Z4wg@Y;KAyu7~4?2F!h+*kI_}{Qm8dVZOcwzhup6$DZ$gR65u~0x9p@V=h78J~fk(gVE z;q&yPwqOp}s^#x6K+qKj;7uLGYlOCN9I9=azlZD%$yza7Xwo8atT2y zr7cY@g$8Pjl9e{}Ws`L8H$Z850t(T`n1GBIpFem&eal0OJ9R5aeDLUFP0%>F1<-wn zW*2tGX8e}iKZj9zKbv2)lZ4usr`h+fcLv2P18eOP^D?ESr}a@H8AoOgX_8PoWIdC| z(Q9b9U<5`Cr4R1^>QfRKe3;d2jcCAlR1WU`OSyh4+x`k(LwjOy=U-nEuED;KF;1G{DNGIF0AiTAr4g-hzatTu z0G+)YZpE?%;F$^xo$=COEj%&NesXV^X(VHc*?;^E==Ry&_PWJEqynSs&05(J++z+3#=NLY^IwLw@^3d3!Eg80SH^H+v_*Ip4>Kq_T64H& zi0#L7=@bfJnqIa*ix+;uor!L}pKZUi4+LAQ4ov+0au$@?z6YmuRWt5xN1FegmWSSf zK;ZNDgLqEa27K9foi@BCW-pBfXf(#xal5i>ou9!os<68vMw2&Z?*@)i3}QSV5F9_m zCs$R&3T(0R7ZUHrAL?u2=oFZn^m%5bX;gcq#VcI^gWG!_uLc-ll~L{|2W6xr@KWk; zj}eh^OxzRu>%6fCU^+y2`b1;p@RttLxLq73u>tjf<}D4-6wa7~cJq`u+NbwD9N*+z;_PZBMT;X`^TSvvAiTe%pkf0RJx^4Py!0 zZTm*wI8&w^zhl@<;M+Qk10X34Nphk(n~w@QL27-EJW_wk0q z5UseU;6vPdU_S0@Td~oT_XPz`d1HRO_$Br!+cFhIM0qA(rp{hhngi27l6UPgkMvM3l!} zDuEC~>?6;_hh>ps#6YJm<2tp3HSQaqlPm<3^3v&opqs(TeScpKB@CY^Pem$H4ky>6 zD!^XPjArx<--xwWaeH+V!}oPLyF>dg3y3?}8W}WFK-u#fryp2j3;R(O&!v2_KURZ;rcJ-$ zS!6p^O(TBof)zTD$IxyG!@ak@19mMk+H^T?W4VDi`!~UBH`d~?wwKfwPv|k&4l1(` zB$x5idW><)Sa4TQ?(by`Ba*PuJ~hbT^_x^@xEuD~Q9uHJcRA?pZ&CGCy>|6j{bvI~ zwfQI^izrX$SHA9(xF3gG!b;_}93tyqkx^V2voQ`T{>#x8*UD9!7h zT(&>Yg#x=WIv9uMC~I)%kAR3D4rGiN0}E~=6=Goz5o3u%=9<%A5mbCS+M$U{^iz0Q z2o)3oy!!YG9~BzlKAIOLzl^gxxO>1v2?yiW39~^g`yZD6->duY)rIr?@74YP+tuZZ zZ-7w=9H1@ZYWjL0&p=t?o%5l5NMBx++S;xRp4@rn-NWKJAY>Z?9k{6D)M>nd%7{m% zSjf?39dC-gP+Hx3F@phTUSs^Qb}i<|nD#aD_-q9zdyRt_eCM%Y#N>z30!1mnR4)h4 z-gpi*mHQ-jIZuXa03l94)-tdPk4hVR%J)Z6P&@)(Q zAl}&q9K4&g5strK(|PMP-(68`#fKtdVEH-j-s8agYI9sD;=fCOFHsIh#?GIpfP#k6 z=N@CGxev*q_rm4fP~{yX;h5svhQvfrBl^iL-7~H*azF#Hz}Zm2{O14Uw-ufcK>p@2 z+xB(5cu)@o1R|-2590%oN?aiF);;(w4Ie*7Ze>sz)z9_PVKN=r8~aFMS)T-9C_kw} z%|#N%`GlVC10I9H`s&xO?I#KG{+LgFEA;p#*^S@Wa8n39oa*xNrauc8we;)_I;)g1 zPU6NOnQ;K{?%64@dTe(g#Or`*3TSfn{CLIhI57UsmiO_Zni9pu4JxAGeU?7G!u#nS za;)QWijsT4u78v0F%@fgi#_6jwf^K9^4l$$gvWhysu!CSXeM zvbhOBpJ8h`LBwnI&-ahpdjD}fTYNZl0G;7ysh0R(vWeTk&DKe%3INBJRCc7IS{$Sj;!ie`#gg;7h*@?1h80_ab(t!ED`&KgyG15MQF0=tGfLwGR%-iBXML&drTd??@n{?=) zTkIyYZ3!RzWuaWw*ZnL$9(KY-dE%{UmNa~t7%LKLbRl)S8=wIurv^h2Q$X854S>#H z+E4#qoY>wStl#0rU>`R@&5Q0qR)bighc0R76)eVDOmB_euE z0|#*dpw*o)fruS0%|(%jY$_6(`{oKkpN_&Edvmt17>UK~u8P06U%w3PG(%PL1DtUR zR#<_pc5u<4!2Q537i+EVFIr`qkkf}M=#MBs`^T|vxqtCN5ET8N)HYw=n!W*AZBnyE z6^M^^t?+x4!b=j^JYJYicpIu$Mrg>R4&viS0TKaP6mH(+slW=R!9{OF$wbkAl--0Fu*pPXnvnQ*j6DrGC2Jn^g6#U1Z*)cU z!j%(&m8ugz)0>_3!u+bjGa{I=7M23Ee59b0dmU+D*#HIodgn=X$X%#0M~3~4fKMFk zeX<7Tr0tZQComdqR{d@$gyQYpk$Z8{0R)(jsPy0+y;m3~508le+lo?zme%XAdioex znFjDg?8lwULS0JXN_7I}$N_5qFJpQDT^NVvls)Y0p=5&r*izq`>Ezag*kg(t5ZC{@ z_&hwdlv@AMa^^(5;^82hKY#vYCVI)d?bOTJfK=wCKD#u-DngVC&y|J4byt=0>gn;M_`8bEGLLs0QAHW&zGg<^iDK1ccxCbVL0DZc3*upC~ynl4j4ZwbrIZx~b zjB|IuP|njS)5?gFb#b%L9VXs7W<4ct*PIO9C*|hgCecYwpAfw5DJxVo7G?@dpS}A~ z=XXi(fTBMsyaiMqA~ie1ov3jS9iIVj!R@U-4Lh~vg(a~I9vlZXHnH7pCL;}`j8^QR zOqP_p7qH1Our7mft(R>_KnCk(l8tYBeU^sXOn*{xz~jrx{wJmdSnWgo%)U_J=@m?N7}JBMi$*mW>gq|{b^pC6$4%zB^6SY3l51ZY7I zYIpaB#7z)RsQ<;F8ovl_)wbQoontF@Z-NFwZ;7=G2z6Zg=s0uWhxA(l&6G1_Vz;)b zT)i|fLb!`4hy4IZK)r#nY-5}cjEgNzU`qDkGvEUGJ)-5~^N{`H*3zlMxhkk`5s?W= z?-9q>!rUO3K^eK5Z#X{{W?>gvO!%du16J-g$n=K8`$u1CGHjoNm`DtC;3AHc`xjH+ zsBh=FGhURCWaW14z1O?*-xfTKuYkOy6|;o%o-V;vQR$9Wp!ll{*P?mYDbo}HRId78 zWW9Gh)%_nno-Ji$RI*bxWkmKtvR5Q!MOj5h_B!cMi6n)PJx?Mek?2s!-Yc26ea!3? ze$Th``F+2S?|=8l{dwFE$9cbBuj_d|uR(QvWzxW3M1wLiqyov2BOyQf)Ds6{P9z^= zvGlaa_Y-}{Wnb9zbnPF}MgUx;?^6@WegLd0_Ws^VhwLD;bd1qXlq*rjLK)Z%B+3mkD)JmZ z|M%ny^v+Wi>se%>*O8QvO+7V**8dhj!9R7B2+@tSwUG*F!lCE+%K|pqA(C3&3Ekd5 zt%AIZ;DJsD(_qv71Ba9fPCV#wV1E^n$V_vU0jC_d7C8k)JbH-@NNjD|PUW0zSm+^D`RqYfbV7>_ljl))V#G)b= zF$Jwq{|Z5zhawd0UN=?aZkLH1e^v+2&txc1ipoQZ46`ty6m&DVnXVi^XTh2`-Ks(h zeNo z;*QP1nb=4wacBc+dqL=VC{!12^RL0Z0*eMWyq$<>&cKC($_Rcj^V-eT@KFs^OMWb{gR9dfY*;aVv|&i3X)g}OZpxrvxt@fCpp)XABY z*x`5!kAm;{`r-%igQL#m;Eoegu(CfzEO}(gln+ed>(rLJU=@%?V{jcFm{C_a9@gge zW2!*MFx`*`2}*EGopV{NKG6VA`n0Luk3CX1ssONSJ#kr??KMQYt-dJq2)>$R=vk@^ zyZ^=AAO0@Lv{wuEu94D2*myMSw0eOqWCqYVhTr{JW;|M92n7>C2rOEPQOKiRn6rxPsiQ7s`QRJ z!W0?-MG&(jkDm?|Z>CE)9r}`D>};-7=&Ojq+wI4QB!~Q5v!Eh-*&}3kDO-rmxq=7@2Jw;X@Ro3&CnR|M z;!n(@b5p=Tvd#&W1?J89<-ZG=cCd44(nJC$Lo2!C<@EjX#t!=45g? z`6ro3*>7c}8gX=>HHdv{-3~TjFD4hsu*wJrf8Cy8TI~>ag$zQ5=R--?AY*dVquZfb z;`c_*$L3dX1P>J}h^mm(x!)mSE13jn>|yMXjO^(XJ~I!&RDsQb38VH+IPt%e{mS17 z<0hd_`6FGvPO@H-f(tY*XAI=P+fRjD;#CMUOk2KLf(+K6Qj|$M zYCjy%tg!<&p{2{u)MoaMuQXj}yJyPL9ds7cAURDjQ`d2L%7{T`{F0Jo_zA}GlCM0mo7X;bcA$8DTn56UfQ84|EVn6NTTrWXT1YZWbed|MfikNL<%!a9;lI(nbCCz@VJFRy>cLc8(#Loc5 z;>7ourU8i~3d(Ki2|;rApoVkIYte`G#l?}Q8!kMSYXhE^Z7hfHwX;M)%v;3!qF?n* zBOmFB5^%<7dS05Y`FSzxDoUihue6qz_^couBc~KxDoE&2-CArIQ#5i-SD#hCdyEfF zl)$cw)DB*hCY0ACc~3AyUXr(YYeCp44x-`T+{89K$wZ_wv*XYyKOSnFjHNggg9Ld6@1CB6!>k_tJ(AhHtW-vO3S2xR z4Rw}2YqJE>fHRYmzMDuAD&z;9wRkQ9c{a_9<8I|s{W*153Yd;uC$8xf=eP`73?1({ zrWo)lj6Bs)JDiTs9s5FIt5)g)Hq4e@LRc@$v{g|SVQ2~sLyWnQB6M9@&rSoiI&dPt zx~2ikP#YNSuDri-VdzWpQR*dy@kqk}V`*<~-V>UYpl+$v2cUiQzyA^4IVb+kM%_u0 z63CiL-4ey&L7>~U(m>NBdi-**%3gk54pFIX1i}7vsdF=(S)(GEJH24Gk3DY{V5f+o z90V+-$9{zA$Q0d25Js;#6|Q!h;^eHKqV3=sQzoL;2X@G~Y#ah&?q5FN=5SPrC9pUlOMHLv2lC(3L-K4oB2g=l6MZqwhb(G*eh<=D8=y~gN@NLX zEWVA<`rVHh|FI;mfxJgLx3u(*?{5Qd3;YJTtqix=l+iIOjY%mdz|lXa%f@H^;NqN$ zVhwlUY!X6pB!0Lw69hU4DI9%kkmk2}n^XTC zG0e}&V3BF)kY@|?t_|lxXa&AU$W!*%IT_-%)y;3hWt7_CgOs!56WktQ!DXlC0olGo zU-Co$4UPF-y7*m|uP{yT>xAH7X9M`y-ezrjz`pSD{5^E^we9Gf5bEO!U5upD8^lB4 zriF3!fFm+xX1T-~T+~;%SX34j#PeMNT*%wn70M)^KPm#|&J>dn-)( zvfG1+s&vCtR?JFU@O3{mP8VdZ;8sgkMn2UrlF*4%mOA_HtS{LmVP1Ra_k(l*gc!s} zF2o|a4y-;?DOTBa$k>kT>p8h4Jr1-n*wX+<5DAE?^GNF@QmV7(L1M0#Tmcu|f3e#o z`g5s+A!IZP8#miZR4dy7IS9ao=L3)5gkFNo)nCQvh0c^p>=1;IFn2}!-MhmDH-4NS zd{E}7Yt6FMtQYkGLCBKD22T419jSpckXgU{m#`aChBLs7 z?+SEJ?jLbKVcCbwD~@u8_6)?YDa~A)F1WziTw|J6UIoYaG0TZ(7-C?qad4enbKBU= zFN6~T=n{>e)0)exGlid&(81-3Ze8DHpaPqXC zHe{#8x>kybzF3GlQh2vV7Xht9Pk<6|5BrEFW2TJ!{7_db87m&Ff#YxWODKBy2$g~W zdZ9?N)zc4A)x_}Kf9MD3iDhy6LdZ<1HV2|8~u!lfGinf)@83sywl zUcjD$eNn5(19};GK&yV}9!!z?qz4Zur7r6ms75C(>boZkUEdaEK3|D4mg^&CnOa%A zfF$s@CvpGj&GtYcZfx*r4z$|;fupEk@dpdeEIv^Y!Py@%ncN)6Tm%wpPB>KJa28K4 zuR5m}CKK_TvQH)AtDH75B`LV6$q!Mpm;v@78vJq>(Mkg_5vMMvWX914()MH4`_PK9aEzAL z+Jz9qoE#2EPjm4n@*trbg|*RolEZ2r=yY|+ATn=Rq_{H~j*;vw{y()IQ-N_Qd zO~!(G6P-_N7V4u~uCjSp1SQdG`Rwwv46qeB=|30=oPcRRSVS#>Mt()#8{(_vyQcY$ zAlLAiY6(mq92cG1E1rTIS{i--)4hRTu?rWvZpH!Ss4sDT6oNfnGb38t7>a(~5k%-k z8-UX-TAql~`J{6j5?y)Wj?oSGX|s}FK?n*V1nOF)kZ-+6dM#|4dDZxXV;Ok+yaD^# zKoBD6-OMIG&(N*Q^nh7-KF&kx!S1FV@5xDs->2Kj{dQw(+eG-2*=ql-7xH3>5gR}# zg~NC*u$vSn0K6f!L;vRwuDOK%s#D;y_nFBUSi92qAIRoh&0cM1?6KR!4TW%Amrf&_ zqBCqb`u!V9?NsYAitqFt^N;F~2un#&3*208OL01Q)5D)Xj9T|;q$ZSQAXJbj$?>fu z@1Jjqzwn;~#TNX@znTE8b8CXSveotC;-7nvxHJp!AoM-N_4d6xf-h&L8tj<_c=vvI zE|rMsNQ~4xrbc*?6+CNPEJfP~fIz&NJ1tkY;E}er ztqQ8}X>vQxf9)3WJ8PbNzE0G3D_ol~hwU{=8m)h}Y7fwhqgTkb9Fm$;c4K10xHEE* zh|eMzHjV735|6Mr6&f@)YQ-0TBk&J{IJ%`qn^VQ!bf93>aL>sDzOkCdP7eN0Un8Y{ zL7XnecFR>=Ia!}LYKOHYNwHjCC(Q!h)=R@Nx55^8<~0AvBBYsV`;|9{5;I-oHwdDQ zHcFd98DINYIU<;B{~j?pgPcd02w`+EG^?~-aZV&%A!>l=)LXK1g@%t$oZZT|eQ?UBw9so!*eJwcPpLK4h*lD*|U}yMl%M&Y9G#_#0x!&#N^1hMA7&DDT|M;K=q85t!%7QH%n4oa{T8{tTuITcQFM07G z`rle=h7@hh2BFu~jgcJqpg*V1jBJ%8!4vol2{ud_Xg~A`34*e$pRiD+H^J{7y~ena55?v+E3Cqkohd35N#=mg8)6^fPrw58SsihNKFF8P zAdTi?wwck(J9933<^`2BvS%Edt^pQI_Cnfl6K|<%{o8lRAFP)LMQ_j0ABRMK-NvJR zY+h;A+FEoh7oBf59(}8lz%4)bD{7DM_+bZ}3Xm zw9Z2g)LB`NdC^Wi>X15#rbPKZS8f-$z#0nQ=B#zNihj`BGDn9WKb?D>k{?UTtVch0_f`Y%cR&50i zw=8TM>Pnxr&9rm=^3c(JBGJg`Fw&N$HWN+}5_5F){4E)VDisXR16U zER2KM)?04X#34U`S!SqLWYParXIu8Qb1iGXXfQ_%)Hqs~J9lE+mamd<(eFKR=-o;p ze-6~oxerqXTZp9I_h?r-oJBS^D7!gOpjo$zaNP(*L5CJtAsrgmszxSu&ZrouyK5_sXr-1+)EASWR)& zE|ZS%c{FUfP^B-maziaa0iMPfg(-I(3HwS+Yqk@zA{d$Jce+vJNRU{DzJcXX=~0`UVksItRGcx*MgHC5zJkG^iQS0$8<0w3D}+3sZ~b}y>SBW zbeQ@zxV5X>y)P!Cou;3X21_}FIH`{UQm=`4+ql9R8H_luh$Faok6qL73`Yv6psUa^gMmON)zBrp_eSII#@b_#)AG(t|C4+R$IWNosw|zEpJfo@ zeksL8?ny?s9pD$OrkGt${YGM74XOTk25h6rsoi)HoKnpP53(rxg6`Fi%66+J<({^m%1Z~)~Sj63?i7P-p;2dz8SzC(1U7f)9y(k zty8?W;B}ENQ>m@1w)U>jX!U7o!O7Lo0AdvcMQJltmm?y)RV=jil^&N5MXc9#6?m7L zH?s64jx_3A5v?5YU0N!+IXHEExz(gmomKY&QWAiS35f#b;Cx5s0D14aBR<;N`7dLV z!^W=SZNz0B!rHPj!hiNdO+Ac)lXY6|-?XDRZ6hC5G_5Wa>|%6vZ72b~j^v0FoopUrmZ!a<^QAnt{d;jq;t?J%RHHfx!iU-Iz%zD+$3zK+ zh~Yj3p-R$_;KLz{?;&fbIL6?t-)2Ul6|qe^Sl#jW-aHf#HH_F;szY%O5hIwUy8j~W z`ybj&+;EW5?mL+HoQQV%z}@(}Lif$htD@L>>`X19L2x|b1pqH$`>NF(gpH(yawsY| zUihC%|KTTM z>&CW1cEE;$OcPeu=~X;($!HUrMuE>emrxEz=)?E=WHzc_uV>koex{nF$`SfgPW;!VYNoMgK5?zM{? z`AVM6AzuM>>ygy@<^p77%}>bhG46GHrvqPmHw=tRC#j z(C|5r%v}cg)kxo24qx-`V)2f|e#VnoxL zgE~_~AdWi;=F@E$$nuP!eL=*w-1{%k%(Q_5o+f?ZzTrUib%kcT#4K zd{xGsJx`0ODmy#t5E5J5&wQm6D4s;Wr%g8cR^Jmmt`}fnSmX|cqIeWseeO*}(+ohHyV!i^I0UK+QeurfeCpcD`%TGAk zb2#yxBN7bC6UZ;e>z_nAmdXUo zF-gZxYF`c4Gp}#HGz|4Dt6!z>4 zDthOAk?E@VTV4ucrOKbYi7$}4i~3J7L3JO1S^WWia|UtR%b3X^ys+h41Bu4?CH$Jb zBG_BwUG@qFS{qqr94Y}k5I^g`S2`!xS5l+0+(h!T0wYlW2hwv%8u}1E=a;ba0MvaP zH+fxjAF{_1G1@mT`I(CM_zLBe2g?%r=5g^Zn%djH;6L;;3zvARL#p?gbZk(c=yGfS zhx1Bwq6vd%`3O%BeHoM=tV=@Lgj(32sIdeXkB1FMaAICHvK_{mYPtSn_g8^kMmdOUZns-*?~V_}f91 z2O)Ke^&e)1(jojULSo-m*5rds!tBSEwaBjx zBBi%)7vs1)#Kf_t~7F>a!{2-g1}K9#r7_r>Qe1eebM?LFLj2PX3OC{uY_u=vx< zRIAuyH3Zp#3T|Cm{q_ee))8y!=(bRyVAxyMTI&6CPrruJE($6Jmn|PUzW3z;8 z?zy|={UM?lKbm9uM1hQR~Ws37s2>{>@P2Y0KlfZ(HHmzLJuA9vrl_& zeJWiOVT)Y&0j7vt;Q!}ibUZMKNG5Obx< z3Jkdi@Yc7DZ1JA$L0H?E`<8K1VET=*2z?o%g&MNR1FXH^#giDZ#VOl?q%r!|cN@r3 zMZsk;?(l5Qz`r|HoBEW*(_${iTocSj?9{@8o>9iNOdlJ}+bQe^_B1!7D1f-H2Mm2) zqCTU&m`aO4hDN%bMfdTIv-b<%nBFTn8(E>Pbj&_`5+%YOGV_#delzkV z^Ssp<2Qhjnt(k3LYHz_3Tu-|tZA_B)+#Y~xhbXq{AHdumarDeoY%nN{mC?M043F(y znRb+nNe{^%^6ojgM+x8OfEAVBhz}<8$nXP& zLkdG^?xQ1SnANUD7UuaThIPZC^v*c8*i2}R;_AlfaZG+w2b1$H+xgmj?f4iYOAp!(O z_T20Tx^E=-^QXrQPW591d<^CDlOHw0Yus&EY?}FCS~~nrJO88aPo8l=zNld%QqCs6 z+$6h7D1u@|mv`0CvmUm&S)ccSsz3g#1^)GUy!nV|dmF3E;*%{vF%WV?0^M z*2cBL&^Px0f?|A^GMR;uVW!#bWS`^5=Xr^29zVI##FoEyFkLhI?{4-NWShU4`)29b zZ$wo=xO;{fBzgKoJHFGqJGy^5?{@l~*;%gvc?ENx;U2X#SbY7ARAb@)^8*njEq=qz z{G~mBw*Ko3TZ{;sueO#M@=!(Jwge9SY*RWqZiXeo3hg^BK@Be0a}I%5=KGPox70K} zn&!(8@h>@fcq~FsVKFk+WEa#FQ7*EEz31HWeIO7J5uk5_?niT4J=hcD!qt08ZpV4Pz?Fa)LXx?%Y9&eQ&P zX&XIQkMzoEG@5=>?HQn9lX)7eCQ&$GdxuJTuCU`DUwnM|^~aCBPyulc^n*4wrDIMz z$JAK4AWvZ>5-Lb;ZNk5j_ujN*qg^DOoi zr?a>`kB{ROjcexaQ8C`LBvMzk80^P#vO$l6)Enx`Eml=HHHdyp9nEF;@q?{5i~6kz zrsLw&sNpY0;z&o2^z_>_Vk!UWEL?$tv1kANATzf%RqS|6thgF%UvU-g1ltDyjjaRj z`jtKhaWHJjZ(BY{5noxDf{}3g?hj-iHt}B9Qh}Lr%&;Q#!Rd+TrL6+moNp!I59TH> z2t?8f8Av<$w-zq%XlvV^In-AE4N@$18k;vtnS-^oTOT4$af>I+8N4e)v5U_)0st7? z=KKv`c1TGU`xo3{*6{x)p8#Q1mzV=mR8GeQ9@|R7muM(+CJ|3O(Qpi;mZX%Y0EYRu zpRr|r0i?;(XM@<*zFcstM5xDI#?$M=S+-N1a>MU`UyKWyzV6;2Cl?l-hfcG5v+~{? zqva0*sMzDj;Q2By6Q1{er;^wg*;uJ($@1yF%yck5DoUf>z_5Rp9J34G6aR_0i(?P; zufIVKplX3rVT$AR^^TRmi9cq?nT2-VhXT3rPkuYTC*5>of@r1XU%_p5^QJt{c^=&A z*gNQ&dO}vz^MgOwrOU4V1DvdUZoZ%FnTf{*odJkb?9SC!Q>wn(0@~*XViVD0gUtb- zrLzx^KHev8z6&U0FeExSS{c<5(R}E|oAa+CG_RqCmS!Qq#-0L3cneV#{h-`)-AoW( z5EHXG{Or>vnL{x?Di1w*!q5jq8yWC*r07V}cB!f**7B^*512N_uj?N3u}FYP$KeDH zjhbfpVH@TtO1ozRIf)L@DY8?2{aePK*6jwTVNDnrbG3CL*dmx(dMY{aHe|^JU+4Ev zg7th1Y&46dR7M+Mz##59Yd6h@lKK7vgso9!^&fM%!&#xnv6+SK)Z*vKMBk9ZmzEqW z11u}FZ*lV2Hx#Erd8Re7sNW{Rc8W!ED^tg%zFM7=hf)KgB@EkK&q#yLrHL7HT3WHg zW`}L5ib2oIqi2W~K=j_EbGs-q~v= z`gGp#U6tGXy0sProoD^tSc8#cMufmebm#UHspp6ifH|rM=oK$ni1hsxTHl(`Sa@{N zrQh|Z9A(SrGQU~-CnD>g4Eo-2i`;$#TeE36f6bPM#m239b>1-E2%BMEad`69^KwY* zF%k7|#Bg04W*gu+fnJZL*!ln%o{YWR@iOs!-&>i74hxyK1i@L~KOn@LWGg^xX>O~T z5+9lHLU|sF94&pj9vet6rRc;)9sYUpvBmYc>p(a@KDGfI{4E)=YfI&Gjf@yk@vo>G z&&9sge}EZ=+Zb|f^}Jz2FtK2D){CLov1X6213e^~F98-`NjftiRZT_c;m!8(PmI<#?m>igkcHadwXsehn7m74A_s^Ki_Hfp4gy z$*p<2su)i!wY3)uddUnxZq#_4l|Ks|xEE!+TQf_r!g(B~-kPq#P%`~4yGriuT9m;& zvyY#<#Pj480LJw&HJm6E7%u~sPQ|S=Bsm?ua805>w^gCe8;Ua`p^4;-ooxAu)iTJ* z!lTW3m}QC!!bHO3wVeavK?PaYYb*rLsix+>sJiFZ^KW8f_={hCyndN8kJ$Kf%H*dS zMmP(4DW~iewia68La8sj9n0*C(jV(cQXuivz1tDseKo9M^*3*`S$RT9f zy8%&8BK8XqDAE#LW~~hpusJZfKBWG;IIMUg9w<4cisE=X9oUuc)^wrgsrQkKj_w-c zpuK9bo)|hVUhFokV!Shsq~x_xJWU^=Yi03~ne}UJ9l1x_`1Dk>imzu0U6QR4sVKTp z_9{eDTzA_F*EVdWo4oOwdEoM$p4-bfxJxWn@xU@>+^ktA4MD^V()oCo7Px*HFl(v}ja7E;_ zQ1tVa_3STac-h)5(A{y~47iU8iRSYE`%1C+Q}Lh9+hHCX4v0_$U*0`*(_)@1Ctq@%z<(yjUSzc<8@TT@YA z3)CZ}1K75mi%s%jd)x8kEDoYb8{om1BQ=~UzmAZIlZpxRoYD^A-$3*|NqTh3of6Ui zKGg&r#M|`$`RP-S|CM$aB$0KVh^+uXQhgKx_mY_3^v2f6x&_jkrAP%J!e~Sj>-Y6; z*Sn}?lufE5yedU&hs5Xn0=Zo5}c5~kFUsLw%N+JN$BjWb8R5?)4jm8(F9v=^h zRs1q9FxKsdh*x2&I?3>HbZAvre8*gQE9oKoD1gDOi;YGcNO7^{gD=d$*e4@0_~JNr zUwMiGjeSWA*yOOPG5qLw3R0|~c+k#L;81ACfV`MAOLtJ1w;vff_Nw4vb2zx1nUG{okyqYV*ezf6)Tdg;n zkAe`yUdlU9E#}WHzsxgaHG_Fvw+$YeQa@N{U%%@5jqJqJ#L_yAAiV*2wIe=qTMj}S z_ZUz$zq_*0ArxOf%=VqMN~RM zzkf2pKO-iyoP(#+I7v)Ggar$Y&rk6hERic*u?j+hlj+OWGp0Z4(3~6~(-niVV)myd z4_u}sShvn!6arV_n>m@E3!aC_} zHn3~1zRkSYarGb77!K+fvH;wTga2Jy`gba;-L}F7C?B3u5yl*1k3_to$l5v3IO=L5 zC|A*pdys^a_yB?}t6gT^7yB%k=n)jyOVV#S>6eNaoK1nAHF=14)m~D{nww4bqeGqkXHe z2!DxCxruq`rJ02zJ0)#dCs(*IToHJuSh=pJVa?0HKpro+-f5nRh>%_rQj+@)#1nKW z@FzWHZOC*0aW5VCT29N8y%o~LCdcjE+u2Iyoocf2#7JYB!R^F+&krvC#CtQ9-x+i- zegpdk8!^*YY>u#FcTQ}&%p;6~PdfTsG2}aX+rJy1QPE4d!PO@L8<0uisWBHMjs=mS zz)Nl3O_2lY$-F#W41>J=J)fZ`M9fyS>Fyn{AJ^v5jX#+mtvFM@x0A!cc(Q zaEh)-=C+f5d&;c)#%6N*YSuIIi&GLbGSip%dE|e{Oru-?ghe5S%er2Nb2DyqN;Nn9 ze}IZH&ci!c)_(XW?17?V#{GJ@f-mr;fIbuN{w76n)aSvpiog7VVQh0UK-*Ns>|l)` zr9?%4{2$<(Q`30mpzSu*^?d2%JMxSvi8F|jl_AFPX_lyjIx5IrR~unR!B55|`fTC< z(yr|LM)~f-v01zKWSR^1Oa)tleU_ysg+bY*3ea&&J>#Ywm-mC*VSchC| zW%9GYtt|P$Y>^WqJLtraw8zjI^c(Pz4WF6-`eo33d>~VB$D=9MVHw5;BP`Xi#wlnn zisz}n!FGZ`v{<pQpKg{ zmv06H9WT0DSxRhN3e=~M*i8U|ctpa^1mtiE+O!vqVhb_Fy9Bp^9t~Cz*HGs z;huGyN8yj&-~-rVHk0g(`FSF)gVeMxdt{ze#eIjhKFjvj!~++Y{9fn47Ao=mWH9+9 z`^{64i{K5D#!3Zu6gYltlGIJGO5>_J((vuXj(J)~=oyM8L@m$`ZWq>0)G^BR{eU1J z`I~nSj#U)owT0xq_#{DX!lC%UZ;R|B#lh*osekieDL)($Fulx6C&}@pdjmG=wP5Ob zQ(V6)JP0Pd{@CqpD8SNkI5}B%fu}kEGR7w5a$@1?uzLXymqD1^k~*l#A2YOal}Ukq zxk4&@z!)M@`Bs$jN_7+z+&?eEsNW>6qnt_GT=}aQppuMA9B-~7Fg&+mixhnQ_DNs<9X++kR?bh!FfuAWrdj1E z#ONo68H)lsO}@GWjHBIZv8r0^VJcKFY=p<*wu=N!5qWoZNAgsquMVO?w^ww({W9bg zyDuA-OQe-VJBG|n{pN-R(+W+9uLnlja>;@eNUyY4?%fo(3+lCcyS_szl1qw?#G ztrOlPVzdU<6G|#&_m++A2dC@Zzd>|ygw zLmvRiHsz1adWfrhs-cmY;?(O~>92DaOJnw$ZrzOwdRmgp^L}Y-ZEognL{Y<^Hoa_C z&s*YWRT|~!sD(bl_H5pkAM@rW%}`6BZ*$D>yU62)%?HSmu4*Ld`w0@rlK=s?t$EZ1$9I-Lq%cQScj)zWYY&A-OvA)lUa_=_)|RZ( z=AbvpEgB+?G%{I1Sk~=C_wMUV_hxeCAX{N%`}5^_+-_p4D?Zf?**35Bj3zCtz5x?nL8xUliLMnkcQk?f^u3_q#0ZK8{1Y2%+6X>+={7g2P=MM|1yihd} zL%*n5ZyUY!B#pLDBEwG@_R@D2#Rgm-fJZhYHf0I!&mI8Dvl>Qd;qQ+g+p;psxQ)NcW;t!*n%6TVm&WtZLQERW9m^IRg0 zx~kEhB~h%9?S_Yfp?*a`Vv8+Rpr5f;FXba->BIcX#Q5MTJwz;x$m`X@p_J_JG1C3l znMgFF%Wx`E3!5L5V{0*GW;`01K`Tk`U)uwIuo#6x!J^v}QDKC>f?!%tM5|;ybGfdl z7~ogptq8C9m2J=*a?h12)FSQ|KPRyc{;I~ZF=@2c&%odHgC@=1D!cwzBo<=xeI;Z>5&?B~(Gb3hr>CtP;mly%2py#LC z;02~qi(yvq^D5JUN7`55s&vf{ca1-t1~^237Fpl=9C7^S^$FurIfEjPbX^PYAaleVx+rjWh$4MBYXI@L2;TwWQBEl0LaK3ByLF znMJN-8KSA$(ROSBH%3A31mF=`;XOD%8{hqbxc~F{vmuv-Kpo_+O>(6F!SwmvEJPAh zy?%eas|7kfaRt79aj@F&yVeZh5)76}FV5|4^_2U$TY!sw^KFROF?9`OcNTf7`G1Lk zsN;w;09%uL0C{hI`a3n`Z$+luFQIGYN@L(K{yc;*f@X{y9YM2@^c&h^0565f2im!E z!1F_Ny)rLkv+{`%9nc>+*Ot+$78w06x1$n5}E%ABeKzX6BI1dKtLz95@W z7AcYZ(EM9DlTYp@r$yhEjrW6bZe+Ynu;xlM5V9C3^$e>r~oaa8$e zn5?b2Un||8JJ1~4+FF1H=Y*HP`=wx`7umZ<&v4{{ULmNPp~xEC8H-V_b!Vd=IVHN| z!|)7@Z!^*Yz-$7pXs|dHB!eXQFKFdJKH1ESpw(^#tf z95Q&kIaAiBA5m}Foq7Z}YWa6b`?xTLttrQM*=|FC%{PA`k|53Xh8prH`Oa?dUQ5UT zpvv9_5O@nzF3YPL!mBZ$YQ~|rc$2v2U1SVp8)Lw6|%u^gK{IOh0qQTja!Nd{*PtkE(0UF2Fby;l635q^_s9<94%` zfk*o(1(n13dT6Jo`)san3tL)@E|iAT{3`q|x5E-Sl{^HK-Uiiro$WZRsW7V!oY=53 z6e6>RIqP_RfX@M!o$QAQeUonK=>7cxpA>?ljM@Tk-oqmbyrTV}*4IuG#Z1dTtfzd8 zIl~39NUlrc`I;q&lJE|ZsLW{q0)%hky@}p~p8>m{5o**0#)EqJdo1+kz)~F%cLp=x z>5s6?IfCpV;z6a52nQa)2A*y3poFs!EuXL7#B2aYd+Ke^H}Ne!#%i#cL>nwIO55e?)hWX0kB0N zh}A{?T^#Of0`qC}MiP~l2NPV`qc)e7eveJM{s#djOw0O4B)lb!bny5bBDzbKQ`VCPQ3je5T#*Y-!me&3-aO8nmRAi$h!u!13`M#LGK5X4S-Hbda*bu5%GTrG5m$_Ji|UCZ6HR zk{lTe9f^+?WbwSm=!Bct$7$#5-LN5ZawNV?+|c8IaubL(OFts=x#C(-m|seVt$n)z z6T8n8S4%Aw60H`IbZ5s(mj@-#bvk|y@_No%ny#|ej+yCx8c9y#V2FP;J?|KVvLJN~ zRc_Hz<7Yge)#%jeK+s2e6#p+^Qez*1WKn5OGp3109iFNTf$QnVN{Vr7Ag?&F(kx`A zxlN!Ik&uBPAFJihz-FAbz0CeJwzxttyU4zWSAo*#Tmt@Kq%RQ$b;3iJJOL*;Nocvm z$Ul`b_*`o6q-xiqOf#U5iXrYT*-IVZO^};$xA!&2x#B6vj!xb0a=7YtW@wclui(jp1U)b9?>xI9$^7-OFt1*$>2* z0&qu#)%H9x;~L}k@GgZy;sU5Isu_h}b?--B9Dg!%^Kz@YgTJIQrzLWPO=Raq{=*-X zpWz<;Oz-#akC=53FmXk;VM4L_TZ!*#-iQBVNV`sp*dvHyy}(e|#Sco{AGzc_WFeto$QE>?BDP_R%}_mIm= zo;p9guUdlD?8k~Z`WK@_6s&Z$t=WaSt@i9}UPf>ZZ ziSoW*vJH3LUfj1XUD<}yHQt4p;CK<7>XxNVg{%a|Z$*@2st7JAbBk2|_fBI;;f|$0 zzY%f(i_aoSt%(8xj>wfj@T-}4;%eV(`_t1-ccGQq1dC!PTj}iC>}w(+wrjRd(Aovl zsmp|?6m4ewW~95W%}z@h7oo8i51X1`Z*jR7?+dc+mwC!!r0i8Ev%00n-0$68e*MY( zdHMw#{+q;%2&`Iyi?Mn;PchC`=8!0@;HdZJmUX7&OJr*pxZrm+Ca4}lbV|K;L85b- zr&X!ZjlbD{%lGnRvSb>~#Xa|_R;7It!CJ{ys^o+YMzpd_3+SFIQjc2L?3_k+$L~Tw z%W?yXzIb5jd<|6WHQG`-WV!2-F8LhU{|TT$y32+H(p9ckao;$a-QCT72s`1n@;s7SzSoz zzDsAeu<@@Q4ihA#b)XRt_<}V(S#RAoJtx;#S^+BA$@2aw4hQGe({qOGK z`-5Fx_s7Q``^G>czSd&2rKlmdSCJ_Cas&9lX6qVi0+{D58~qmWsjEa^74m!Zu1FBu zMv}AzHP}*7il(JsGUWecB=8%C-Dk{XRmBP9arWme-Vxw(J0b2AhIXZPY`qz8h68wd z@!PpzC5=-TaYUzma$o*mUg5vLE-eDzMlW`NtpfQ$y}*d+sjJJ>Hf?Eh#)4uxn(V}}eB0^WD&afHDUxOv`TO^{8 zYTpLJ#rpPN(0jcWEJ2oJ23P*(!(&|zWPjss^I(6AaA-{g`=>Sn(K_7Ld|OBe@SKr}U(#S@})4HZNs4`;btDdBgj z4877j2iQe4OB|NDpkdv9h;&D~hoJ0|0Byx*0Py{0+y--?I&?G3dkb;uQzGK1Bmbci z4u%JP3q%;!vzS@@_Xm-XiMSsbjuQ{xzh2JrAhL*Oc!$IoWR1uy<7RJdtXqE0w5T!G z)qL`ao-Vu*U&MznE(#5s$3BBa6-g#{rb6`cNUF+a*3&B;$6H@2f>{*Z@&Gj1FL@Ka zzDHbZ`_AUs&xIuJpc$x}+c*=(I3Y&*Bh`Ft73dux-BF!@i2J|Dc%VbzqBsnB@ zROAZlKlW~z0hEGj%Ktp!kq`v1|GU48cy&rbhX{&GlPbKb+^v~9ER)o0fEcCMKsg(dX?-Wl2*vT8_XQ<%IrmgJPy|qI z12naPsW1}iYrKrnAF7Wx2mXNx)pyDD!+Gan6tkRHKJG18WlW&w^gl@O#3~~)z3Y5O zrvK$ZE`hi)*)QyZ{NEoWBf*wPx?V}b1v31CjV~jTwsMUIaxNo8jOGZ2}bBtN&3 z|2r$3;N{cY-e^B)KBF|B|~IlNM*<9Hu_VSF~r|3 zhK8R*@bxT^uc?ZC!35Chz6PROLR8Rh2%b8h5@hxsMF1x;0wk}Myj6;Rh2wN8_0DA9hfo`U2aVD<20C+P(f6j-Q4A?ZCtq^D2B0C|cWd(d(E1{A;t z4yeU($8scc*agHJ+aWM$Jcnh%K(yZFd9v3+*GIHt5ZA1fxub22c=})IK;H zg0Ex@J~NorFIAj^$2>=xQQ~h;2>gNwKc(#W?w|2r{lNI2jyn{!e<_X`qJ}i_BO!t# zSCPOyx6dmO@XMVTO^61lpaF5K2#>zPbRW>&GyEs*`n-qiflvr^1z_x$QTp=0OxgOG zQZk9pX_)ObJb?n)-IMzN0frt=gM@h?!|;TBsxj_Ftem$?*#l~2aK40%xun1H`p-{^ zQwurCKhDyZ9#H8I&l1DFItuLRnz}NCGj0C3zDP>ee1d)J@q-7bHsfHuJbo-w2>BT{ zfa(vTHjX3ukL+|w3Y{G*f?OJYI$ z`Y(P#CA%FQoP>DGm9f1Kp1i{zI-a8sukny_DL39SxYgPDu7=U@5xvS$r_jU7)T+-; zX(`@$duP>9{3YjwN1Bc4wb!aSu2#u0UNt!w@uJ-3nV(mf9> zyi<=5Krz+RuCqJ^vhMlByYD|4o7{e>stlPiF6AbJP@|=C)GXiKESaD+xDg;#)CT+U zUyGsR`d6_)3r-R%jO1;No_jM=9(C3D`q}jp(SJ-FKUBZFlK5HfJCMh0;Pw9aW4rpg z%E&C2Bykp1`p;PHF3l23I!@HXL)fCj5~MT|Uj>>!7lUFg2$7!`o0)ao>iQ$%oc!k3 zyy`>bvrrlta#nv}$C7mU5%=$Zx_77PEVpP`FXrF>x&qYlIY_7=vC4j5bZ2q*es{pe z(jF}I?=AMf)_vOX5z##fCro%9Ax7pqSHpptqF~eb@Bd$WZyt^1`u+`h>(;aB*|DpD4Q}=C{yN$2xTbKbDZ~e+56tV_5H2) z`916X<9XNHcdhT*dzb5SUgvO}$MHEn$LCn8QC;$2G~T0`oKLivItjYCb&IO^dc%qX zJ{~(4Bz5fBPQhP-kqN}BiM0cf?4jgwu-eBGA6AgkHoZz7BQWl@ldu6>;-E37jSbWK z2sTVppUUPS^Z++)U-Ynt<9zTVfLa7t2-(1wVm>0I+Ap0FYjW}mYplrda3Pe?hA4h7 zeR{vGd2t&2J#7MLx}9cOp0-@((1t41XS-K7`IF#0%5hzIAGseaf#(hr3E1MyM^xwq zMI%qz$sO4qv=yckeq*~tlU@&Te=xJgrfO3~Q%zs8zA;YLs>i*43u)(t+YgpKr+js=?ZPwC4hOEs(_O^))Ozn={!oHqr6gH%%YGHH%cU$+1sLaXgPwi}1 zM8!qqT{r%?u$G=R!;hr8G#Oz9sAs*QHMp5fkXze73^>G?u_p6~Hu}ac`AZBN$VWVk z!2nvWi5eb?kz*w^8N5G-f4T;h==Et3#(TdZO$x1fQ%VJTE9+V{&_?_LUTOtr<2kC; zR0WbUKvs2cHMI+Zgrms9@FCUAvAXSk#~8tsWRI@V^~UzK07-o<%TApFJ5g#9HM5Tj zJ!WCD=^qeUx4H8>9gX`<{uBHd>>;r$-i+ICBtU*zC!MN=f!Dr{Csyv0Tlr$;-nE%#Ws720J!Lo#P~k+=J&nwwYVhodB~` zU%xLGGW0>NUC(Gq)QMeU<43V^8K@^eI;DI|?9hh`v@APYCK9o&j%{RmhWvsZB|qP5 zF!CPG-OOO0Yq6nWf2qLV)Y|Z%g2Zy-c{KLc;WH#irS3tE?Cx2X`&&VIm~){L?6g!5Y^1D* zEwI-?Td)84I%{6%WeAZK+z-XFVdJ0P3W~wsCLkg@<8v0guU?t+6Fn9cL~#A~1Jgyq zu<7fglvTLhNTq34Xw`q{xwGCFW}X?Jd3@26ku|4@V_%tqkP7hFc>pD8y)Lfke}swU z6HG}JEPnJIQ~ovUc6KdwFV6>9fpg{(A3fU@M(xcDeJRLG%*}=w2WDmBRs3wBzaaXd zosiuaqvM2aOJ!069j}SaEyGFx&?4vOTZ_tCBr+>Vwhp}5*U>myV0%h_Nk>$LVs_iO z;ONHros}0PPxiEc&Z7!aa4KEjH!48C3|&Pp#RSr_cE@ZFMyov4hK^dlwMh9mz) z1`pcmXD>faAx{y1Kh-TJUV8_4-2VUYaWGY5dNh*n;KUsH%Y*!##AG8{vccBLI(pNS zeDd*8?WPj-5*}S+sYV_W@ilE72can`mCh^${uve7kFVP!2J$&gHo7Z3D7>=u_=%vx z2KPlPbJY`i^NWwZ^Uv8KJzI~==k7T%Y>DNhn%XN! z>Jn;AY_JwFfxIHvNFBkhBmbn}_fFB>6iaw^8@hU2Ck(OEVQq2ZIEnh!@vF%~W+ZA! z`aQVuZO$ZKJ*7;w)^XZF&lQ_a@+XWOB%9KntnK7?{#A^e57+@nkc+kaT&u8q^3#E? zSZur*`PfUux<;n(VUf2gaV@%Wy>iv1@IPf+Z%@ZN90n_}6%6wK!3r!4N(azGNwqCv z_3dZkJM6H55UJ<1oe^JgZOp@nei}50`)}BhVIZ#sQQii>;vR}UVO+vF^O&L=p1M{6yPq79veLM=hyw2Oz7(PXRG`<2!9U3pM&t{Mp#AqbG?EK z_2)+TAG$^%eO>A+S^$_M`Nu0;P4&m;1c>mD1OF#H`EwBdZ#oF3_sL9X6Chbs?PHWQ zxG%5cjPQcPh5$2WO5V4?!IVQ77Sr_3=&UkDBuyhGf$)e*!x+DCy0DG1Tanh)JrL*Z zMdCA1v7db-N?aH{(0mD~A!hbMHW>Cq)4mPEM`rRLIAH)79_yt(1XapygOjSfwY_^{O{PrImxe$N3V5~9mLQW8Z&Y1wXKCoKPX?@bOeD$ zidQOKHmu*M>~jYC0a9~cUc-I002tT7!2S$|q|al4S}dnwUj%RU`cM*y-Cu`sJnf3= z&Z~$1fr6mXo#IWiRDW6^E2QPZ=z<{CAA4ZqPJ5kVC>7fe2`_cN*u&%p%)}uVQJ~kb z4TpDdIKE(pT~wN4KF^Av=^W?Y8+4iqFlu_$-|r%(F0J9TaDOQSBGyXxP@1(9YFqDt zK$rJd3_2v5)6lTwtGy|~*Gdw@gp*^E_-*iMK~s?|gY+ zuXjSe1Ho%fwD2uPb>1r=9{w$@Nn2NznEWl{WDxJzwq}o@?~q4F_$`8ScZwwdq~8lQ z$WEPZb5pbB%gW#2Kdhkn0rL?nXtmoL@03FiOdJQzANZ#ogimvdPQc;#<`n$XCXeXZ zQhu5``P1Zyn~jn5J2PZMe1R@|Q2QP*m3v3B9w(3(d+Jm|!J zJ^3%1!x4b}?B(MRSD`+B-m1mWm>JS8jr0=GpsE+7Iq9Ly`goQaw2m8m>_|Ien z;&|!1_fxo)!}jzhbns%H_~hYuBV9B*boGl;gHD8KDI!4N=q-1SlHuQs9$x2|>-*H+725hiUjLFt)SYs<_x5R`5je*U~^+16O zMm@Cd;s}<8V`9YeU{&i9GVuu^e+@G-i*1pHj8rt40y3asg7SPJ&?`a^iuaVQfUhs) z*75w@cNv?y=%^Y&Tm2rWb7qGAOlNEBfIT94VMwu?9$Kub&Ap58k7kq*^-ihQWQ4rl znID)2aCjs{cwUr12>W#elJEZQgFk)QJfb{U64iO@i zVfVE;>C5BGxFkuwYgQk{6XBR?XCo(B2yuPu`I~A{8krdi-I!(1C%a$!&v&jf4~|06+A7PSNN!g3P%P5Xo*G~UL* zrQ}?Y-cH88S5qyoC!e#5fcBc*6uXA*?*x8kd&5{@wYw>& z*ywhO$awTsBf);u>LOz}8ucGs_|+J|0`-lS?_}xQ)`P2^SZJ^Tn;L#g>`4D|v5ufT zE49cdX|fz4)k(2_WJ6`iW{GYfW>y81Y;K>~@vaf4gxiuNsCAaj1`e2j_8!aPa6V-P zrcH7WWJ)sUL1dtQ(MMS&YjRKc4*pMHBquCx<-cc^WoGm!d(F0Vx- zBKNnlH3k#odE?HomlC_E{z%leR1lAL<1fjacR<=zYrJ3S5SipXwr|pqYs7rUvC$&?VKL`v}cd z%fQd+bm?cGg+|WWWVa7IH9jO>$4brMyv%tUx_=SSWdcdpO?}Q=(FO)C$?5dT>QyB0 zm2!rcfV0Jn?m4OAd&9|rnqUO~I5#m;7!~O(27J7&_5Em7ZXK;{z z$p;1|y$)17)aGD#p5@I@-jrSi^(jVE!IQ@2lY>c*RA`~HC(hTKN0qT?qYfLjM&^@O zT%TnRqZT`K0l(f@n)#s;+daG>lw&nF(Q5^iRHx~)rb@C>8mRS65Nd1s#0P1{5}*#B zXEtk5Xi3%n6^HTL#ej^7&mJY0T#C91W!n4?!li8eK)~=awlB8hX;|GIN08B9`39mH zT8Iy9dhw3*)v@QYa-KPcN^>$6!9kV;S#rLh+L_SM_t~V-0<@iHyeXcC z+M$KOK9yDiJp}JxH8%8chZp6(JIE818e=B5d(cn9%|hj#467~3+cYfJ`9s#e_RW1h zuaixO67Kaz>ub{kxvf5H3M$$*psstR`HtVKD}tc3CV99}b_}X{q}5|1nUQU>KU9E^ z`6`|}?bO!8u4U{yBBPOod~lIH&5>&IW9OuhGZVl4vsVRusvwM#Tg|4iQ)}kMb(+@^ zTed)>FCBw^I94fI5>!$m>PgB^PhllcthNGfCJR&yIKB0{7sSbc{A}n2 zdFqteX-jlRT9B&~OZ9wBX#q#PbHT>qE>=9=4u@Cx_rR@|a%^xv zmX9ocJsMzk##eg$>fsTodnFa5{VaO~QSCX$4(c2vL7YY=^3m32*>{Ky*V{`bCUa{Cuka z2L)%aM**C zl+V7^a2soY-j9`Yll?!myCFzH|kM0M&R5LEn- z`(9mqFq1v@y#2F*{ri=HA#->xyAT%K@!E5!wP+Tm=Ok`{CuGQW{{s(E{-gWhNP=i|?upa;D3aWl?yU}B#bIz88h zaXw#+Ug6Ch$L@;yqS$Q|ZXD}jxI-GO*<=`W4M}r-`ORm>fUM4fbRZo~^-9`+M!RJk z94S`I_+?O#Ve+UAp4$zln1#aw>H!#!Do-2S1~P#{^ig@~9GFP3GMgcih%|nMd|Oao z^ZMih`*IyRF2_H6#4msPtReB_z;T~eFBs+{HK%eF7-l(h3vT_lV}2g#y^GMTzwZP1 zms*r3)Le6DZ{}8nP;@eWnA7-OIR-Vp%!r?8i(DebUY1Pn5yd z3M_RzzV#@cM2+UJQeFI!fpvFzz%pwr_wev8M3aN1<+Aw!mAWcq4@kXH?-J;X71-_? z+3L>EGnT=LO&IYBc66_H9HC@5&_t21TlUCG1B)JDAkzbp-Rhm6(Xq2F6F{(JPqmZn zg@Q$TxN^Ou>`y?KaE`})Kq}`jI_^DqwL9HncZO|G1<3Dlp&KV9<*s`reJ{8VXLWtd zH$Y3b8@a$J=RC%_43(!pKd5~*RR?b?we{`6V=#mFH@95E=4m@877BVO9uc6tOZCuQ zdXq};_EpA(nWA!L)%mu@tK&NW>Tw6vL>QfDFQ^;Rmjf?^?1vzy#oNdQjw=&$0CGQ2 zC^!5*^^MYF2cKN?B3CQ8J6TYm@(J{fkKCRG^=i5}}`9-)gXRLr*?3`L_0yi&oeUmg=~* z3`L%jAv(9+#O9%MgaiGcJu5JN_W`8u90R z<+F_Daut7+uLm??(+<>_6!qdp8m%drY9UZ)q>31?YBeLuXgJG@-OHP=@A+~&s&kUI zU-*u*-js>?2B0o>O@Ph^=do5eHWNU!=SsB`+S@}kGLuuB{-3%2V#4mdL0mBwyH%ug zS!2cQpJ~O(2_Xch7r14oO+f*H>A{Dv6 zKOz!@v|UkejPJJ-0~ig&-T9@|+(BsSmURI5CzY95Ic8|={n=|gye?Nh0@1^gw%uS= z_0DhK0P`vLE-WrHu!5v1pI(RWK`o54-1LBSfda|9NW6*;kp3CHv^u(PaFZdlRjN*D zY3njL0}ZLmC=Qy8?U^hs&fnWx2+sCU+Keh-aGp*zTzp4umfvegGlPDD^>L4r6J(bR z)#R3*QT#>btd0lyOK4eWpSq#OSu1U#INKMs7L+fJ)@C6m5sD$ZqiP(Lb$f`9icZYb zNxSp=x?~>2mb#)Gb31#!{tN%;L!;dwqF*XUk6I;w!luXtki}HngHWXs%kFiX74lp3 zi=gLLRPVX+`C}X9tPkt@CnmZh-aN2VC94&7JEMDL?v3RVn-Opog9Y!_)4>FvfWp9a z9=4=P$%a)rV)m&MrLE)Z_>>3>;6;gf|E|8W0kPZF`Ld=D0GICbr8e>M3evZNhuk<| zv5Xn0i|PLYP_7`HM>9clvQBWKsC-fK!tC>I$vVj;23095gpj^YzJy$eg^3VVCgknR zHJmHkfWD6@ea3TT81)bnbor$&>lPzPO%VBhDpS%mkErD1dn9k|%^n4NWjUf#4+7sAzl7gf z0AgjGbHorYBbZagY{7XY3Z5o^WHGV?)wS%8HK~vhbiG2-YkOsRzA;g8_c?pO5#Kyg z+!AolviJo=O9FfWFq=Hz9Xuw3wKETHJGlt=-?_G7%cY|q#Sx7ynRbc-1*>F zLJ@*;xxB!ANV(ZJ#SWtChPpn!Y$s*vpbFAt>iwK1H0pRU@MK2twW+Kt5Xz%sk+h2y zT)ooX*{vJEl=(2)K3)KG@iEQu0Cw3fm}4$MlJ-B=gN9B}3OV~8a<9a1R+P4SM-+uV zU7G;i)5y^gRDrw9Z@V?cC@2=$?H787(cXM45wVHl&#^t8EZ6_ zIG3kb_S5wfcB@f)jQE<5()MZ0=#^JSXc$_6BIct;dp^6@{1J1!x7s;@)NFgVMQ^Am z+6zU)AoFueY0S9%x1p3t+Q3Whqndl%dmwCO1bs8p8xv5A-QgU0=v^(Fqc-^6_4094 zIFI!aj^>KQB1?m{|XL0-avM%%@X#l#ie90jX9x2xd)> zPl4s*2FqFC-Cz`XZg1Q`v8u@zs{0?6EiZmY^5CT&-Lb8V=<4c)*hA{s z34pf|TU|ok?Pw)vDf0A%v8EOh6kkJpqOsZ0xE+F1&YaSzx~Pw@Q}^^`Q=4|`vG5{5 zWZzvCze+f4HxF&GQ}rIaWgMRvzV*AcqPz$sk-o%hl5mQ$5uQJ|6+X0+^0=IdA%~QC z?%gBw-(Z*b!t#ng>t#{=#)|yrPCZ(+wL>?WIt^w}0Z8axhQue+5WX!mE-xJIf3)I_ zKqkRVWCEp7ob%ruR1=vUX%R=Nz5-=oQZ>6Co62y))rjD(=>A z`0H(qgwCc7`YgPmEu9d*R0Yy+xaxQTdNc)Zq_cjL1ZU-c-v%pemjQ8h)_|9bkR;$7 z1awe3sG!v>Yx|4TKoC7pM&OHD`YX%(HI}KyzVkrzuatWuu>nd`Z$3Yp{T&4hoPe}C za;2ty-;GL+pbi8nYjU(~E4xq*ue~IsyFb{63 z<1ao62aYC+?7{IyQQb1+UrPB6%}Au`P6O{8EhWAm|hVxY?uO>bcSHgv1L>45C9bApH;wBE8Ah zF=U4oM0smZjU7>f9to8hy7$$O`_zf12U;$U7z;(T_?#Ts!E&G*>c$3aH*YVn-pj-d z+gx!U-1UwxM5C9N0n$6qjsr;9*eT)9I(o;4GEcDy8L+sQhBu<9JVt&IgwFSRK_yto zoKyFVbN!+^;R{DV$!C!7oU!g0cj|l74atk5$={%28Uzh13(KIB!vyZu zv3@_OKwBRJaL4OK#{g3(+^l5NkXT z%xT9HN)j>cbQE$=eyOtNTy@-jRN)!?;B_M?mIOo3ZNY44qEiwlR`w(D`+)6MfY$B$ z_mn-5hK;+pOK%@$`I7zcaLv;E*;UG8XNY#LX+hm{-4-;Nu^5=hY=lu#IaL% zx!-J->_jffEy86Zp_wy>+LdfsS{PC_UQii(@e&pEI6$J^HVVe@S({ZK9i&6xAsdHvawL~d`oS$A^mKmAEr18At&7nu^`w<* zZOXZYl@a{G%~fjPk=Bry@&1P zFNK~`-m;Kw?~Gzh9dEfIq^Ld^t7j$&AmDA;Z5D9Hmuxz4vgbo-ArjnPSo|Jv_oL`_ zAz@gnCu?+h@wIZs-6QiKb-4eEL1VYb#W8X5b@H?%fG75#gqWII32flg`tP_l+pFzM zC|iOmacS=_NIVDvBHmp8M-H!IAHcF=|;~BcRGq)968PfD!>zmVa zsf!kcv-XC*+J?6MsXSL0>kmjGk$u7sNzRIAv@Ft>5ZU4FDa5yEO5O`LHkuR8s&wUd zkSAkJAC;a?KsCZ-GX)|qx?h|S5qT;>ad9hl=4oVUnHA`=JSnn;ysRT zWHcKDCwSa^K_NI8V(a_hVRA~icSBIuiUl~D;(gc0IG0_J zpqsRU@V#9STQ%E07nR2jSyLW%Cz`qLw!{5<@}ec{BY50PEcA}CCfV5ob1hXD04}eC zSNlxLO-8nrJWAy6?_Kh(Cfneq78i;zRG5S&VNRb;UX$c@dkPm}5cn}K;M-zo0dd_7 zmZv=GB{hN&T^%k%?Qvm(E>A;fxm-DD@u(l4g#8}^K}qhwlR{ys;+{(aWyw;VCv^^3 zh}~1(yEDi;wb+soAond7+&9XeJg~kS5h?o0M>&j4?hW4#Z0CR^{&Sb~0c_t@lwuLP z%=cZV@q$Zi;Sy2EmG?oHJ$dUto^eVkC}=OZ_gxX;glnW1vNrWvE|w#mcNf3e_3keJ zrS)(>$I*F|kZ?-c-DwXgIYyY1hHvH1;H?@77; z?k@kj+u7Wsw$|(hYphD>oAuG{Nf2M6GFC8|xAKuVrV_+8;j`R(Jgo_!4Zt(&=a5Le zpaK$ymS;Q{4E+;Y0|1|tP-y)e2-)H%Z9=SlKC^&XJGixme?&U9Rsd}}ce?!^4BVhi zCtD$$Wj;cpM)7?yV5wK&^7*jbf3tD zYabG892$8Fi=}?UG+(j1Kju{GuUB%gy@t6(^y3YnPVwK)+*v>)7eJl57;CNj@dOnCLn9a33 z_BRAvLC*fB)-F-+Y_lteabUgQ5LvS2|2_C&o zJ)7{*Zl>z)~AW*-HSQfUu>fh6VY{_IW0>07jO8bsrhHRf?m$ju7v$ z!Me}->PKyo?5Wp*5IZVnqz0BJ_o}rZ;|^(y5*; zn|*14w%(W17emQXuzPG>I-Yi2x(bANSZk#9>PJzOj_JC zlE8LYpI6jAJdZ;*01wD#hW3Gs&4y6vcZ}&@El-8ZSBgI_eV^uA{cssfQvC$L6CB58 z?{qH+FMP986<7cMHV~oGH5xsFzeeR8s!Tmh zFF}_o_G7x&Q-x3JR6_iDH})LU`CnkT_A_bQkD}~<(8e?5Tqt6)I>Vw0tTAu~4yj9h zX5Y}qlRXvC>8?`#qlLZ)&+cJfL=@>C&%qXkIEW|qe|eo-`>&WEbOai#L&OI9tZ7k# z9VPPzZXr2mweoKOhE+F!g3}h{S*yQ6B8UBWw0(w#m1e`k~4A^vFRnGafOUnPaA+r<4RuUWDu zaxNe10&iJh>CRz?tXELlOq>3oS!&vX6Nr1Azelk8WMHM(CHzrL5pL1 z(U2p4eQ0@JM0uF&Gc9OETFv$KQ5$OYi&CY5ph!KK$oCjEVXTC^?RIQZT|+mtR-XW8 zQx)N+PYxrjSn50ihut)Pq~;R~sMnqpJ?Z-@P9WYD8t*!vhqeodo*OS*^m{%cV4>d~ zf|#MiZqNf}y*o;nKWJWvw9~UeN7}p5;KL}A2$%o`vOombIe4b~MZ7s%-L{KidF(aS zs}o@xqu<4u+bNw&G_{;v0_yPUqo6W@)+-WcU0P2&=u1_$mfKM*rY9%^;TG#h zCbws(Kav&l9pVk9e3@iW24?>StM)UaK*zi-W3_Mi<73MY0|RAuPdDsA8uInx#tDTg zOYfCh-?Wwz?Mj;y2_7fsKF^kMAuTlH+~UBOP51WyfF%5eSdq||t34iur*%N<%=I9! z7L|77(Qm%=#)$IZyC1!vcVY;@){e*14aPpf?Xhp6$jni3g;1&&k{Q#wsnMiGZ0KM; z7!CWF*VxAqlV9U|v47pIK8gbUNIzu!+KeA}bHBFadHif7v&3@W?(Nlf6X0LEe3Jb2 z3xdPJv||C_$o;rpBi{?Hl3zxBC?86^U7@}3Y8q%II{9z+Ar{sVk;LfvS7&_#YLkf5 zVrGF2J`Z^;OP7HYR-4rUUM}Bp@YRu9H<((K{}dYV1VNA{|2-cugHUF&zD%c4vE;-M z_)P0iu5+*Bl50ZmHmQinN=`fWIVd|f&D##TYG+)9qgor3^yF@`2z#~eXnlF|dFf@a z^a^ytp4htan_?b?;C%6RjO~W`Ni@I$JZY!bVQtR8l!ufU8?pw-xHxc6O7nvg30=R} z1+Uv~FGFGeQW$mFkuh!aFke}PHRy6LxUNou(8 zP!ZU_?!Z|2Qm`N7DXNfGIv~_>v7bA&oqufH`TmSK&9Bth35`o0|kDY-#@=v&3tPs$*b;3E*3nLV2VI47DP7)T`uc?%MG}gLt&{$?RCQC zeGBJU?fODBfa<_}vh9>INKtX7n5GssTzD;JDDtaN0x(FMZ7Ys&fhcy8+b_gK$Nv*{ z1Md_?-G>&=nzqbUDrw*KhXn1eR@JhL;rbOdt4P6;W!4MdmzTb?2ACcryqMQk9AnRc z)7BJMuH(Ah&Q}E>vEPXLA2s@-hAUk*_ryfc%aYjCv07E9k7vGUbb+@dNQPP=5z}}o z{3Z3|rm&}Lb{0Xu3(19#0gJ{`{13kFL1;uVKVkdb#7aa4=Y4UxGAi~Fd5VUtipKXkKmrjpuRb3 zJ2(dt4Ynyxstv+Xt%9q_Y7ga0&a=e`Rt!>x}$;)3qE;jIfB~C_Wrdk;w>%1 zPN6HSS3y?EnE?F~D!~zce}4PYZ-iK^Qw91^6#}wf|C|$&db~d3RmJ7&t_XxD^o4Hw z5~sCr&fu%*p3LG7bJo(Yj@Kg_R!53`oki!#{Vzd<{03WKOfNw!*$M@>XC~pd|{EkXMR4hDaNNH-L zpm*pR97K4tZ=no=*e_}BZaxjAW#`7)p7!lFKoS{dt``+Ka^Vts7XlhRVMtao1omz!KK{z>fQ zw$%u|>k)h-xV*S|Z6Cs_BT4iAd zJcUK}14$Q<4g4jPZ@i9bGS%*aD9^|JpbP3bZrtXS{p4V1z@(bJMLd65LjA}tAhMFh zh=9{oxRI#Ca(PaCZey6PxVadK`kfPEF++s|qp^jD8tQ;&CK$Gt58?`Xqz`8TJWz9` za$b>Y&qt8sD#_*pI%M8kSDovgsR@VF8%^r8O~vn2kg^LhRoPf~f87CW!>C|zkJlKqgOPx&A2)T9@zEsTq z5@c>-8Q+?K+FKp*R# z)lAbH&tXzHC|$ew>gyLoAWqYai@MYB zVjJx-Af)cQVA_g0;#ljqIK60g;W@{oggSSOr_6O$4@x@!;G77n?-0p41TboWO$%A| z4N`JQkn7@5)IYXsHPzqwU%E5#L^haEoeH*QCW;h@xQ@H~)vGAfOMO zBfYiyhbWfT(G2Z4t;=FcP_n>it+~u5R*U9qO3dg zl^jj+Wa8N+0q(xM+SloLca&WKzje3qB6#nCAmG?4u6AeC58#X7M6dRT!wN4&)db@Z z&FSG6gH71$ldoW37QZv{@xRUz`5w5cU3cIjaflw_23C+26c?+2z+$s20BtEheKg56 z87TdaH1Ki}P>7nU0nT=xPqf`|=x^@(Gov2j`Xgy7^gATC3tP!;W%9mA71*sR3L~jk}5fS(D z+I2Z1msmbd=T@;WqV9CMDgY4MA{&17y^!^OK>GeibIngr0@JUgnWR*bA%UXT%WIg$ z)E}n@B8r3s6d06hK~vLO*R*fBiqG%oJDBn#5a+ z4IPD!2gz$Yatym_rk4ydRVfy|mdsY+(^^f>I?PT&op*R4%^~#N@0}V~5QvGU4Lr#f ze*JLzBUFBLO83=V-^>FILEdB=6>OdM0h&P-a=wlO#F4U41fYS8|H7OM06tusZ$@rL zGvJ^hk7psKFn>R?```>^5`sd~5+EtmD*=(AZb=+XIBTGK|Lv+(JF<@)*lW;(sO;j| zx%+DSO*O-wvLG?Td!S-zntfbtWGCc!-J$p_2rd`p3s4Q9HVf=MW`t;LA8HAidG zlH`cj3oabO7G>FCOZUI#<21n;p!4b}r1u#$-rKvh*D*Y81UTIfwH6g`qpJ+#LO z0x&}Wp*}*5H*af^pk_g3cNUR}E%Xf=YPBOI{;cN`W3a&f;J|Iy30te%);Lc?);8I{ z-As#Y^ocLw7O6#=e`#2`gXU4t^iDuAk01qEn4 zMwWil6Ht{Dj6%5YkKMYK~=JB7l|%S5f^*u@&LF9q^cA+Cz3661TsPJ=gvzRGZ>k zFA@vL1o@7NMf?W(4fs255-D4 zJG4@hv2P*rUHk_9*mN%MG` zej4#zmf9`C@m)@b3HlvRQkkYmc_-VVMQD{syM$v9^5}5b#;fneXLlFwT84)YpP^WE zIs@REHCPugcj6Uc8LD9Jrayjh)Wqzq8g6f=emaAB6-i&Ii&dP!VEsJ6iQDmmYt7l^5yhcr(g(8J{8#N=F*^ws+OWbiAArgI-&9$3*7kWF zwh8$mOo+w}$q!2;5%3Az?mLRdRt{jYDJ*mSdjg)5X$EQ~IX+&vr-y6rl6Os>G};|H zi$L)Cik&LFBnGAww+L(t%3NC>U=lx=^?(b=1OQN+9Z%S%9m1%=)(@qcz4#MEQTXgsg9rGLG-W;P zke&WgzlV4^kkW$E35qqfCDtNwS=5+~OTr!M#)BbSSlXgDx$yGx+M?eVL{>~7H`oIx zn8D9*o^TVuOsPt=EYW&5@Udg|Adp5OYX`tLZeL;qASYM-eXI@Y=MUA(<0k zAJ|zjFdW)E#|tofvzgA|bar|{0@Trq5B}GnG*$5?%o#m!Ku<`S^dRg7D$2yowaCf} zkUo3i{Hqq{He_r;cI88>BW55*w36SSQXZRRCp7WNe;(~!tqd->A)wTeu+gDY2y3E8I?nO&1Y^VKbT=hQV*X#Q*F>gJoM9oV*jiniP1$r z-Lc1eYQP;Fy&)_IMBR)s-&tcBQj60;^zq$LJMyt9LO*!#7*phMqG*qGUC1 ze17Q+4kzDFtOf8LRaQ#F0s|%)3=AxTj0dmUt|O8fpcJpx{+$LhLzMwkkyR^Ji{Z?f z>~uB`E`kodq4&y8K)*COjB0F56E#elsz1!6SscDQ#yOT9U;D>wu z3$-i%Ty}aCAJtm1hvIG&dz>zMZ?a@!Ex;Drf$*k4J~se5OICF$#=HUoIV8iaf-HnV z2!ftDK=xj*@4~lXe=+ZTg9y*)rxSd){(8zbyIsPrSD9g!u~E9lf6o;9FMpwN*~d!# zi!Sg@e`Ug9%P!1bp_I978hscO0|j75o>Nvn(6oy->Df&Ib&&;{&7A~^{9?hEP}$Yt zEfNbl<4#nv8KB@w`$+kCxKfJCes69S#t-e!x|2MMhT;ojvL+ThJD5J=z^)6IvxdkuaGiy@OQXg~sL`?cepAXsQcz9D z)9xfEGqFRxla-4zolliNvVSgmG(T8ucW5efumGlpUxE^g)UDUwiZ7^!ab@FW9M~hSn^Wmom~VMS zj{OTX?X2t{YjbOqm%Md9wSTO{&NoL?;!y7r2%Btzd!p=iLdSoxt~Z_}shfh&5S@L2 z!mr@h5hi(_74DCJDSPn*zz#?w#YU{F^yzwnjN6t&xTX05RG6J^{dCy!>U2;Ia*v9p zL!p$XV;zp5VFrSOb^AFxPq;+{%9^%7;9U$>Vt?o3W-o-G03F3h%y*@*eG@03D7~)@ z<;mMfXNYQ$Z&Y+`I=pjx9bSZuzmq+~+HMLcc6IecR=cg|fgAbe_%%Y;1TdL(W-hF- zj;t-ggw1rAFk@!>1%rWScKVAnstSKHKTtgvAHkZbmM#>gBS;!&y=?oo$ppp{%`zXw-G#)g>4uQS##0QY7kv5*>=mcZpY5T!y>4to~yO_G7G|1X8gB^F)>ce9t}3w0jb~dM-R=qr|sw3j#H) zFZG)BCs-vkZSDny^PA8yoV2m(U1zd=m_CD_&g)?if{}8gC7%u4dwiHN2orawXc!(S3!^r} zW2o!=XK{WGlel>1rdJa-uqTU@fIfNa}iYJT@>V0y& z8CZDdA9?yytojHo+m@S9;{uvLzL54^URVZZ{g01ZA_DxO<5CAAa4vP>^@{xN85esh z?&+!E@fGhKVqf+l_nuF#H-1oDS?+J>1yzKXi|C=kWbudFmh<526e3UHIkXPHyJbD^ zoTcb89@+4U!S`oGH{uqzMmUl%x}KL%Xg*Mijhq~qc6w4>iKq>5tVABu3!n!FETuD{ z+~yd-Rlm|B<~OZ;_A&z<%Yr3m0Pgg$(+M{C(5z*UieaO$mcyKfFKF_K`H#76C4iT5 zZ_Df+d`2o*S$Q|IuN05Qkv}i_Ta+k8g)&KnR9$0zH}5L;LekFFFG=~=3HYrhqrvad zx{V-{^?YW<)kd4TVkaKbblOY||hK?yT!X3=R8(4V{kB0uhU;C7X z%})6e_0wlg|8n3Y*x(^4v6e!7I!OZj1exs;_$tehXMxxzq)&O3`=M>AV#9&&UI$oI zhs_>**d&~YA#a}(M(4&TCSesx4Lzim+8#sR+N}ICFyCu}R(Lts0oeZBx{hN1Bp>CU zlx<7T-ip1MUyJC@|7cqS{@S-}Me6%5+t9w9C$MWE8wKqNqrr7o|?JD?}566if;=1LC-3GAP{~RKk zKZl5X+Ws6O8oED+2s1f%$`pQU+}D2#XU$> zgsA_*8V2B#N5?Ax$vBx?>+pvT3BrFKsP{C$9I>7Q@Qg^`loj@$c&e3f0A9>0bQjN7 z{J-;iiY(lF>TZd5fH1<*zyX{igQrW}8X%^2x)dV`2TlT?t1B!xxjphaN2Q@jT!@i!cXJCv*!u;>nL`$tfo4&9X>oz>$Elg z;rt|XIl=@`rCork(7BhWLRreRno4BDd0=E0fjY;ub@{-DmHg2*NP`eA3Gcz%Sh(v` z6zJNN!j+QKAH--jjO1jC#if&p&LmC5tmo{J{=aeru-Ng+Z&2YW9LpdAHgREN4d{Mcy^zqW-M8$LC-&IZKMC_L4i&o7! zt>UEWpr~fVLN*N9)0T2S?A|l*{5LbcONeEV<@1k7z?Q_R zmPMJS3^?p#Q23_W@>u2cbosJki`!3|e?PmzBOvxz()dGqeGIbrT_6!v6!7c8mKD~j z4-LqlCyhZ}VmA^?)R$Cu?=dLxTggTL{SNG3c*Wd%D}%;R*NmV2D;acFf)C=e`}+cW zNc#oLOOn3GY|wumihF3qEpg*Q5T5q*1rFx!0Pk^ulPY)$kTDuX_XDl3NZr%Oz!Z zs{h9yyaPYz`m+opvj2PAQ0`B!ud@55xcWJD)=~_0Kf^chmI$iD|3|STzwkI+JZ_b!Qd)?}(cAft-COF8wd9 CeIUgE literal 0 HcmV?d00001