From 8a7c24b559da63a427e62fa9bddfef94ffed3193 Mon Sep 17 00:00:00 2001 From: tomit4 Date: Wed, 13 May 2026 00:40:09 -0700 Subject: [PATCH] :pencil2: Lots of notes for very little progress --- chapter_1/1_2/1_2_3.md | 23 + chapter_1/1_2/1_2_4.md | 30 ++ chapter_1/1_2/additional_exercises_1_2_6.md | 378 +++++++++++++++ chapter_1/1_2/definition_1_2_1.md | 15 + chapter_1/1_2/definition_1_2_13.md | 7 + chapter_1/1_2/definition_1_2_6.md | 9 + ...and_the_converse_contrapositive_inverse.md | 9 + ...e_math_converse_contrapositive_inverse.png | Bin 0 -> 39851 bytes ...discrete_math_necessary_and_sufficient.png | Bin 0 -> 31927 bytes ...ifiers_converse_contrapositive_inverse.png | Bin 0 -> 38446 bytes chapter_1/1_2/discrete_math_truth_tables.png | Bin 0 -> 18848 bytes chapter_1/1_2/investigate.md | 63 +++ chapter_1/1_2/practice_problems_1_2_5.md | 430 ++++++++++++++++++ chapter_1/1_2/preview_activity.md | 345 ++++++++++++++ chapter_1/1_2/reading_questions_1_2_4.md | 78 ++++ leftoff.txt | 2 +- 16 files changed, 1388 insertions(+), 1 deletion(-) create mode 100644 chapter_1/1_2/1_2_3.md create mode 100644 chapter_1/1_2/1_2_4.md create mode 100644 chapter_1/1_2/additional_exercises_1_2_6.md create mode 100644 chapter_1/1_2/definition_1_2_1.md create mode 100644 chapter_1/1_2/definition_1_2_13.md create mode 100644 chapter_1/1_2/definition_1_2_6.md create mode 100644 chapter_1/1_2/definition_quantifiers_and_the_converse_contrapositive_inverse.md create mode 100644 chapter_1/1_2/discrete_math_converse_contrapositive_inverse.png create mode 100644 chapter_1/1_2/discrete_math_necessary_and_sufficient.png create mode 100644 chapter_1/1_2/discrete_math_quantifiers_converse_contrapositive_inverse.png create mode 100644 chapter_1/1_2/discrete_math_truth_tables.png create mode 100644 chapter_1/1_2/investigate.md create mode 100644 chapter_1/1_2/practice_problems_1_2_5.md create mode 100644 chapter_1/1_2/preview_activity.md create mode 100644 chapter_1/1_2/reading_questions_1_2_4.md diff --git a/chapter_1/1_2/1_2_3.md b/chapter_1/1_2/1_2_3.md new file mode 100644 index 0000000..a4b4e0a --- /dev/null +++ b/chapter_1/1_2/1_2_3.md @@ -0,0 +1,23 @@ +# Example 1.2.3 + +Consider the statement: + +> If Bob gets a 90 on the final, then Bob will pass the class. + +This is definitely an implication: $P$ is the statement "Bob gets a 90 on the +final," and $Q$ is the statement "Bob will pass the class." + +Suppose I made that statement to Bob. In what circumstances would it be fair to +call me a liar? What if Bob really did get a 90 on the final, and he did pass +the class? Then I have not lied; my statement is true. However, if Bob did get a +90 on the final and did not pass the class, then I lied, making the statement +false. The tricky case is this: What if Bob did not get a 90 on the final? Maybe +he passes the class, maybe he doesn't. Did I lie in either case? I think not. In +these last two cases, $P$ was false, and the statement $P \to Q$ was true. In +the first case, $Q$ was true, and so was $P \to Q$. SO $P \to Q$ is true when +$P$ is false or $Q$ is true. + +Student add on: + +Note that this example demonstrates that the implication is only false if $P$ is +true an $Q$ is false. diff --git a/chapter_1/1_2/1_2_4.md b/chapter_1/1_2/1_2_4.md new file mode 100644 index 0000000..8b42be6 --- /dev/null +++ b/chapter_1/1_2/1_2_4.md @@ -0,0 +1,30 @@ +# Example 1.2.4 + +Decide which of the following statements are true and which are false. Briefly +explain. + +1. If $1 = 1$, then most horses have 4 legs. + +2. If $0 = 1$, then $1 = 1$. + +3. If $8$ is a prime number, then the 7624th digit of $\pi$ is an $8$. + +4. If the 7624th digit of $\pi$ is an 8, then 2 + 2 = 4. + +**Solution** + +All four of the statements are true. Remember, the only way for an implication +to be false is for the _if_ part to be true and the _then_ part to be false. + +1. Here both the hypothesis and the conclusion are true, so the implication is + true. It does not matter that there is no meaningful connection between the + true mathematical fact and the fact about horses. + +2. Here the hypothesis is false and the conclusion is true, so the implication + is true. + +3. I have no idea what the 7624th digit of $\pi$ is, but this does not matter. + Since the hypothesis is false, the implication is automatically true. + +4. Regardless of the truth value of the hypothesis, the conclusion is true, + making the implication true. diff --git a/chapter_1/1_2/additional_exercises_1_2_6.md b/chapter_1/1_2/additional_exercises_1_2_6.md new file mode 100644 index 0000000..be77349 --- /dev/null +++ b/chapter_1/1_2/additional_exercises_1_2_6.md @@ -0,0 +1,378 @@ +# 1.2.6 Additional Exercises + +1. + +Q: Translate into English: + +(a) $\forall x (E(x) \to E(x + 2))$. + +(b) $\forall x \exists y (\sin(x) = y)$. + +\(c\) $\forall y \exists x (\sin(x) = y)$. + +(d) $\forall x \forall y \left(x^3 = y^3 \to x = y\right)$. + +A: + +(a) $\forall x (E(x) \to E(x + 2))$. + +For all numbers $x$, If $x$ is an even number, then it is true that $x + 2$ is +an even number. + +(b) $\forall x \exists y (\sin(x) = y)$. + +For all numbers $x$, there exists at least one number $y$ where $\sin(x) = y$. + +\(c\) $\forall y \exists x (\sin(x) = y)$. + +For all numbers $y$, there exits at least one number $x$ where $\sin(x) = y$. + +(d) $\forall x \forall y \left(x^3 = y^3 \to x = y\right)$. + +For all numbers $x$ and for all numbers $y$, it is true that if $x^3 = y^3$, +then it is true that $x = y$. + +2. + +Q: Consider the statement, "If Oscar eats Chinese food, then he drinks milk." + +(a) Write the converse statement. + +(b) Write the contrapositive of the statement. + +\(c\) Is it possible for the contrapositive to be false? If it was, what would +that tell you? + +(d) Suppose the original statement is true, and that Oscar drinks milk. Can you +conclude anything (about his eating Chinese food)? Explain. + +(e) Suppose the original statement is true, and that Oscar does not drink milk. +Can you conclude anything (about his eating Chinese food)? Explain. + +A: + +Let $P$ be "Oscar eats Chinese food" and $Q$ be "Oscar drinks milk." + +$$ P \to Q $$ + +Let's also review our statements: + +Given an implication $P \to Q$, we say, + +- The **converse** is the statement $Q \to P$. + +- The **contrapositive** is the statement $\neg Q \to \neg P$. + +- The **inverse** is the statement, $\neg P \to \neg Q$. + +(a) Write the converse statement. + +The converse statement is: + +$$ Q \to P $$ + +In plain English it reads as: "If Oscar drinks milk, then he eats Chinese food." + +(b) Write the contrapositive of the statement. + +The contrapositive statement is $\neg Q \to \neg P$. + +In plain English it reads as: "If Oscar does not drink milk, then he does not +eat Chinese food." + +\(c\) Is it possible for the contrapositive to be false? If it was, what would +that tell you? + +Yes, it is possible for the contrapositive to be false, but then the original +implication must also be false. + +(d) Suppose the original statement is true, and that Oscar drinks milk. Can you +conclude anything (about his eating Chinese food)? Explain. + +Consider our truth tables: + +| $P$ | $Q$ | $P \to Q$ | +| --- | --- | --------- | +| T | T | T | +| T | F | F | +| F | T | T | +| F | F | T | + +Specifically where we know $Q$ is true: + +| $P$ | $Q$ | $P \to Q$ | +| --- | --- | --------- | +| T | T | T | +| F | T | T | + +We can see here that we cannot know whether Oscar ate Chinese food $P$, simply +because we know that he drank milk $Q$, even though the statement $P \to Q$ is +true in either case. + +(e) Suppose the original statement is true, and that Oscar does not drink milk. +Can you conclude anything (about his eating Chinese food)? Explain. + +Again, let us consult our truth tables where $Q$ is false: + +| $P$ | $Q$ | $P \to Q$ | +| --- | --- | --------- | +| T | F | F | +| F | F | T | + +But we know that $P \to Q$ is true as it is stated in the problem statement, so: + +| $P$ | $Q$ | $P \to Q$ | +| --- | --- | --------- | +| F | F | T | + +And so we _can_ conclude that if $P \to Q$ is true, and $Q$ is false, then we +know that $P$ is false as well. In other words, we can conclude that Oscar did +not eat Chinese food. + +3. + +Q: Write each of the following statements in the form, "If ..., then...." +Careful, some statements may be false (which is fine for the purposes of this +question). + +(a) To lose weight, you must exercise. + +(b) To lose weight, all you need to do is exercise. + +\(c\) Every American is patriotic. + +(d) You are patriotic only if you are American. + +(e) The set of rational numbers is a subset of the real numbers. + +(f) A number is prime if it is not even. + +(g) Either the Broncos will win the Super Bowl, or they won't play in the Super +Bowl. + +A: + +(a) To lose weight, you must exercise. + +"If you are to lose weight, then it is necessary for you to exercise." + +(b) To lose weight, all you need to do is exercise. + +"If you exercise, then you will lose weight." + +\(c\) Every American is patriotic. + +"If you are an American, then you are patriotic." + +(d) You are patriotic only if you are American. + +"If you are patriotic, then you must be an American." + +(e) The set of rational numbers is a subset of the real numbers. + +"If a number is in the set of rational numbers, then it is in the set of real +numbers." + +(f) A number is prime if it is not even. + +"If a number is prime, then it is not even." + +(g) Either the Broncos will win the Super Bowl, or they won't play in the Super +Bowl. + +$$ P \vee \neg Q \equiv Q \to P $$ + +"If the Broncos play in the Super Bowl, then the Broncos win the Super Bowl." + +4. + +Q: Consider the implication, "If you clean your room, then you can watch TV." +Rephrase the implication in as many ways as possible. Then do the same for the +converse. + +A: + +"If you clean your room, then you can watch TV." + +Rephrasing of original implication: + +1. You can watch TV if you clean your room. + +2. You clean your room only if you can watch TV. + +3. In order to watch TV, you must clean your room. + +4. To watch TV, it is necessary that you clean your room. + +5. To watch TV, it is sufficient to clean your room. + +6. You did not clean your room unless you can watch TV. + +And the converse: + +"If you can watch TV, then you clean your room." + +1. You clean your room if you can watch TV. + +2. It is necessary that you clean your room in order for you to watch TV. + +3. If you don't clean your room, then you cannot watch TV. + +--- + +5. + +Q: Recall from calculus, if a function is differentiable at a point $c$, then it +is continuous at $c$, but that the converse of this statement is not true (for +example, $f(x) = |x|$ at the point 0). Restate this fact using "necessary and +sufficient language." + +A: + +Let us recall: + +- "$P$ is necessary for $Q$" means $Q \to P$. + +- "$P$ is sufficient for $Q$" means $P \to Q$. + +- If $P$ is necessary and sufficient for $Q$, then $P \leftrightarrow Q$. + +Let $P$ be "A function is differentiable at a point $c$" and $Q$ be "the +function is continuous at point $c$." Therefore we can say: + +- "$P$ is necessary for $Q$" means $Q \to P$ (this is false in this case). + +"Continuity is necessary but not sufficient for differentiability at $c$." + +- "$P$ is sufficient for $Q$" means $P \to Q$. + +"Differentiability is sufficient for continuity." + +- If $P$ is necessary and sufficient for $Q$, then $P \leftrightarrow Q$. + +"Continuity is necessary but not sufficient for differentiability at $c$." + +6. + +Q: Consider the statement, "For all natural numbers $n$, if $n$ is prime, then +$n$ is solitary." You do not need to know what _solitary_ means for this +problem, just that it is a property that some numbers have and others do not. + +(a) Write the converse and the contrapositive of the statement, saying which is +which. Note: the original statement claims that an implication is true for all +$n$, and it is that implication that we are taking the converse and +contrapositive of. + +(b) Write the negation of the original statement. What would you need to show to +prove that the statement is false? + +\(c\) Even though you don't know whether 10 is solitary (in fact, nobody knows +this), is the statement, "If 10 is prime, then 10 is solitary" true or false? +Explain. + +(d) It turns out that 8 is solitary. Does this tell you anything about the truth +or fasilty of the original statement, its converse or its contrapositive? +Explain. + +(e) Assuming that the original statement is true, what can you say about the +relationship between the _set_ $P$ of prime numbers and the _set_ $S$ of +solitary numbers. Explain. + +A: + +Let's first express this: + +$$ \forall n (P(n) \to S(n)) $$ + +Let's also review our quantified converse/contrapositive definitions: + +A quantified implication $\forall x (P(x) to Q(x))$ has: + +**Converse** $\forall x(Q(x) \to P(x))$ + +**Contrapositive** $\forall x \left(\neg Q(n) \to \neg P(x)\right)$ + +(a) Write the converse and the contrapositive of the statement, saying which is +which. Note: the original statement claims that an implication is true for all +$n$, and it is that implication that we are taking the converse and +contrapositive of. + +**Converse** $\forall n(S(n) \to P(n))$ + +"For all natural numbers $n$, if $n$ is solitary, then $n$ is prime." + +**Contrapositive** $\forall n \left(\neg S(n) \to \neg P(n)\right)$ + +"For all natural numbers $n$, if $n$ is not solitary, then $n$ is not prime." + +(b) Write the negation of the original statement. What would you need to show to +prove that the statement is false? + +$$ \neg \forall n (P(n) \to S(n)) $$ + +To prove that this statement is false, there would have to exist at least one +value for $n$ where $n$ is prime and $n$ is not solitary. + +$$ \exists n \neg (P(n) \to S(n)) $$ + +\(c\) Even though you don't know whether 10 is solitary (in fact, nobody knows +this), is the statement, "If 10 is prime, then 10 is solitary" true or false? +Explain. + +This falls within our truth table as: + +| $P$ | $Q$ | $P \to Q$ | +| --- | --- | --------- | +| T | T | T | +| T | F | F | + +We cannot know if 10 is solitary or not as stated in the problem statement. We +only know that 10 is prime. So therefore we do not know if the statement +$P \to Q$, or "If 10 is prime, then 10 is solitary", is true or not. + +(d) It turns out that 8 is solitary. Does this tell you anything about the truth +or falsity of the original statement, its converse or its contrapositive? +Explain. + +| $P$ | $Q$ | $P \to Q$ | +| --- | --- | --------- | +| T | T | T | +| F | T | T | + +Yes, this tells us that since we know that 8 is solitary, it does not matter if +8 is prime or not. Either way, "If 8 is prime, then 8 is solitary" ($P \to Q$), +is a true statement. + +- The **converse** is the statement $Q \to P$. + +In this context this means "If 8 is solitary, then 8 is prime" ($Q \to P$), if +we then invert the truth table, we get (where we know $Q$ is true): + +| $Q$ | $P$ | $Q \to P$ | +| --- | --- | --------- | +| T | T | T | +| T | F | F | + +And we cannot verify the truth or falsity of $Q \to P$ nor the truth or falsity +of $P$. + +- The **contrapositive** is the statement $\neg Q \to \neg P$. + +This must be true if the original implication is true. This is a true statement. + +(e) Assuming that the original statement is true, what can you say about the +relationship between the _set_ $P$ of prime numbers and the _set_ $S$ of +solitary numbers. Explain. + +We are given the statement: + +$$ \forall n (P(n) \to S(n)) $$ + +This says that for every natural number $n$, if $n$ is prime, then $n$ is +solitary. In other words, every prime number has the property of being solitary. + +We can interpret this in terms of sets as saying that every element of the set +of prime numbers is also an element of the set of solitary numbers. Therefore, +the set of prime numbers is a subset of the set of solitary numbers: + +$$ P \subseteq S $$ diff --git a/chapter_1/1_2/definition_1_2_1.md b/chapter_1/1_2/definition_1_2_1.md new file mode 100644 index 0000000..6ea8435 --- /dev/null +++ b/chapter_1/1_2/definition_1_2_1.md @@ -0,0 +1,15 @@ +# Definition 1.2.1 Implication + +An **implication** (or **conditional**) is a molecular statement of the form + +$$ P \to Q $$ + +where $P$ and $Q$ are statements. We say that + +- $P$ is the **hypothesis** (or **antecedent**). + +- $Q$ is the **conclusion** (or **consequent**). + +An implication is _true_ provided $P$ is false or $Q$ is true (or both), and +_false_ otherwise. In particular, the only way for $P \to Q$ to be false is for +$P$ to be true _and_ $Q$ to be false. diff --git a/chapter_1/1_2/definition_1_2_13.md b/chapter_1/1_2/definition_1_2_13.md new file mode 100644 index 0000000..22828e7 --- /dev/null +++ b/chapter_1/1_2/definition_1_2_13.md @@ -0,0 +1,7 @@ +# Definition 1.2.13 Necessary and Sufficient. + +- "$P$ is necessary for $Q$" means $Q \to P$. + +- "$P$ is sufficient for $Q$" means $P \to Q$. + +- If $P$ is necessary and sufficient for $Q$, then $P \leftrightarrow Q$. diff --git a/chapter_1/1_2/definition_1_2_6.md b/chapter_1/1_2/definition_1_2_6.md new file mode 100644 index 0000000..a3aaf7b --- /dev/null +++ b/chapter_1/1_2/definition_1_2_6.md @@ -0,0 +1,9 @@ +# Definition 1.2.6 Converse, Contrapositive, and Inverse. + +Given an implication $P \to Q$, we say, + +- The **converse** is the statement $Q \to P$. + +- The **contrapositive** is the statement $\neg Q \to \neg P$. + +- The **inverse** is the statement, $\neg P \to \neg Q$. diff --git a/chapter_1/1_2/definition_quantifiers_and_the_converse_contrapositive_inverse.md b/chapter_1/1_2/definition_quantifiers_and_the_converse_contrapositive_inverse.md new file mode 100644 index 0000000..ea51ff1 --- /dev/null +++ b/chapter_1/1_2/definition_quantifiers_and_the_converse_contrapositive_inverse.md @@ -0,0 +1,9 @@ +# Quantifiers and the Converse, Contrapositive, and Inverse. + +A quantified implication $\forall x (P(x) to Q(x))$ has: + +**Converse** $\forall x(Q(x) \to P(x))$ + +**Contrapositive** $\forall x \left(\neg Q(x) \to \neg P(x)\right)$ + +**Inverse** $\forall x \left(\neg P(x) \to \neg Q(x)\right)$ diff --git a/chapter_1/1_2/discrete_math_converse_contrapositive_inverse.png b/chapter_1/1_2/discrete_math_converse_contrapositive_inverse.png new file mode 100644 index 0000000000000000000000000000000000000000..f1879eb7053e379a150d31967cd98f22797439a0 GIT binary patch literal 39851 zcmcG0Wmr^g)b2(R5GiS;k(81~IwVG7K)R8XmhMnM1f+)U?vjR~MCopj27#e-U}(;M z&vkwO&-wBFfnjFP-uqe4TKBrwz1Aj7RYe{b`z1C20Jso^cOL-YF(>%?7V8oClX}!j z7X0sNYODn&()*&2S{4hcDw))OCFJ{q%<=cPnFbI-|gNI0C_2Ygs{qJCD=b-LB%uWg+V2~m}mm)-$RSSRr{`JdU zIpy+Hw?mVKp5~7&p6>UjwJr|CvMD0-=P5#4Rn{(Sitle!UPyReAgku_WYuo0xH$WU zcKPha=12mjI*$MQ+i_*soLg|od2(vfUT1)UUE&q*)L_wQ7q=2=S!TDw*S_l*SW;qT zd77 z-eR4)4--*d4Ec^U&ECdwA=j1}vAjex;bEzJiXQ}kqvm)Fo^`aCrM@aCG}`9Xu5wv&-~2ITrdTvtuDdCQcJ z%cwca#mr^S4lgv9MVg&7qU*7hireAzK`8T!9OK0fF=F28dLy@!jf}^=x76ZK0A9=% zx--i+DeV3h7Djq<(w{sHOg>91T<+z|7QDav9wHr{o88k`KlA6g)(M(qA0m$7>e(&E zPrJjW_1iF)y+$VVS;4Ia_0h_i5e`m=18gEEs?t zUhhz66ka!99mPVUJx9v4)x_NXM*P`c<7QzYv%It6teuhf_0N6OfCy$(NV~87LQhKj zfpDGUV;~~>0J_=JusiwBcCz2Rnv{Auj^O3tRBf5LDa7dBcyjA>U?9!ihO6y!Xy;vm zh9;kD-T9DGySqFt0rIwBS;J_Q2d? z+UTTB+3vH8Bl9=pZWRd`>CV3WyQSd+F9ICO-TP`3uy7@s?J9IwCb$JstIgunh!p$T zWfY$kWg60C36pIfhB+nkNh_u6H}cPO0l>8iwV+9l2I-C2$D+c@s7RMV0nRo&E*&O6 zo{j{ptVS|{1KM}FAD>wUoJ9s`UvF7Hi{58tV{zTR@^}F?4CVE{qEDMq5g6eJ_#%V@ zkmGy{ho`ouSl{K4$8}GPIoR3R%Z8fv2q=T5d?@ClN3NU_1)Bn@P_fjUf^MWeg*!A$ zk6O{kR;i<8q6e zP;_tmOTKB5)>nRrNpUk@J1q?l@9w?O7jU_qf2XCXVKn#CkewLqSJSkj?KeCej6XRt z3;D;zRZFK;!+Y}_!g#gr4s?d6uXD`o@@;K$&CD-{JvcVbc0QP&_vo$o{#!`{&1a*& zD@>`08#(d^)?9XA?Zz_+TLR$Bw(zuQ7J5-~Q;J_*eUu@;d0f{gbz{Z<}3} zE%+^DyFquUjZ@#XDKpYj?W-zB2XZ81C|?-z)=%SP2)gt{DU&KwksqJ<517u9g=i-x zvX+$MBy-Ek%4Bq!2%&bFO3a6pmCI}^K->a9t=}K7M{^ik46<|w@1&3mCwm< z(#8=IZxmqcLn9EJ2$rD%IthOEvaJX&BUqazMTvHr=4c7Qvyc~0A>g{%@|oTbDl5P0 zLI;iq1|;6SBir1VaWgP(MS^xIS)2?2R(1oPwzgut5iJmonE44e#_4&ti^CCaCA_@9O`?*u9@~B;GT<% zGsi_ySIz0YYq>dGhXpj7A{H(f>l4g5FQrHxWZt>TNyAi+|D}GVMb`UAeW>QDu{%_l zHQ6e#Qh-Jy&szfaT|Zh1+|@fSHO}@Gob70Bu#Q)oR+9s#ygbGR?RbD`Y*S4gpBN{1 z0tK&K=RUQWe;GT+Gw;KMIM_=XV!h;y+P%L^do6guUN@@5-R9gkN-qUJ&G324gZ3DA zyqh##CzO7bT4yIrPJ`pQ!}`qzhkSb!_}Vn-&& z?5o>zit8YYvqCqHyvl;ViB6w@XdG$Ot}xq04w$ZB z7QJ(h%QGXC`D0k9@}|MT*&ZP-JU`j^ChY_v=jT!zzdc9vpwF@KOvg@ujA^jfsR8Xv^MGt%)brg-e0X#Fz zJ(wY2CIbSy*OKS-X6tp%IH?%3x~1151_h0b+WOZ&YfxAdo13$imEfiGR}6lqQ({uT z5XA>zLQLFzxeS8Fx`s=Oe%bbR8;(~Lrhc}HFnV$FH0)z+YfX(97d2Yo=m92v zR0amX6e0UvR`2>cB5GevL+!7G&vPmaRuh$amM$P3R zR#==%xWD6OkMIYMn>;s>rMRw`xxdTpvKH`t9VAw@wfw(tFv-isb@fU=s#ef2GN3&D z-9pP7LEnE@OQs#4IAO>S`ReO`V)Nb=r!7CQmu+M?!h4TvX<6bo;vna0aC_9?0p)>5 zeb($p1H68(`0uMU7?x#J-Ggj`Tn_Ve>(6G4#A~-sQ#8p`YDkEe7kym4H|4y)gu^C2 zNd#P5dYhp--*9CWQZ2Btu%SuT83!I^VAf=DW8}3fRuvZfJvsYcO3V8U7}~er!+!qT z*bgTkhl4|u(*WGh@u)D~LrPIC+iK$qXLSj2M{_%gB+3_Ujx)I$4vR+%f|YIS@Pjp6 z8McU~?3lY+(#aFB1`uTw77(CSU?+Ye=HumZ^wAcP=o&D+7+(kG>_>sJ>NoY;27f6V z6liImnr?=~akO}#1?sjm)X{7_!s$sJwAv9W&)jDq#2SbQ|I_L>5TS@weYu}H3`XB^ z$>Gh!jA3V{(Z5;tg^She!Ucyj{QY(9Q=#y1q*}0d+p>rYoouHHswF@iZf$CtF%T(I zZ|YYeabo+{IxF19Rr!axUB9dQFe%E#0Zi@sN5%`E?|ui@4}z$FL@9K!pHAVcoEhLc zaehBOiA2mc9xjPE^UQN)->W-4Y?mBsJ9(x3Gx#}3U|k?F02uA-aK+!o zR}-&V4d!e1mi`nKx(iS~c>*Xzgo!l!X5^dv8%%0%U7tF2v*vcPtx7laI9QBgZZs@Z ziXoN*DIV`SVchRm1ra4SVwBaYI=XrS+i7X`KA#O0jk%cLx}oZt7d^g|EsgAZofQ9By)U?Wf)I27^Ka5751M3g z(&&;*FUW)5n)DFczj_QPVBz_Ao|1&vt2ABc+ayRjz=^1q&r|-3) z%;maFgxFb`ZI{9|Kjb>Edx<-AFEq`1hSb55qg{$RM-b z{_bVtWNB(7KugDv&berlpSSe!81UwXn?#dRkWct$KQpA%32>hf6r^Y{No;Rs1wbmb zmr4#|*NoMKj=judw5sqZSup6ghvyrd1nO&ZT~PNu1Rp2ilVg2!L)+Sur&8U|3j zcVw7AWw0Y6wT(D$AddszIA$dWqJS~8eT65ovcM;aG1=KEa=^%-Sr?YX<&#On=X2ep zskk%B>tVMH8a4l%ZTBq+kZo`N=HtQXGEonXv5?j8)J-JZwd^ya=Jb6B)M5O6%0___pusH?|8Mqk$>v zr5P!D_(j!U?pNP-=<~T0H+%-u><(!`bIA@2yAyW%b$??DwBsa6hQoqK5-D+m(@uq> z<$#(-wz>l0Mw(BwdGiM#yRd}Y{P4&9B=dQexb?}nAM${a75Pu+Q_Tu)?(+4@qDS!X zn$kkeNN!1xy=~FT!{YW>PQ{P@Vz~>-39C~f;o%dh9N2E(+%FTRh)o{1M}095BKQ;izmCoi&VYEw<65-g%I{>OVvGlFC=*928gS>6k;%5Rdvds@el6qs zS;ya7E}FYzJYWEpk!&XbeEK9v-DVeCk}(|9%u6ZKK%}8Lj-L}ZII|1_@A~;d>1nuy zRn%D7yQ}N*ycC57Cf1c<6_u-X2mnB=CiE7hr-{#dvhHc0;-dYUZ)OAt=+&@MW^9zY zr@mr;TV~YJfVQ4!fof}MF0+-&^CH~)3`a)(9avN(ys)Q@+24*TIW`8X#?afJ5g+i} z+-xZtK5z156c-x$HQ@_t3b0MvhJAwA(*tO0-$H}kBU?mmFF$BiA=MSMi*QWnw z0_Y`pBkoNmOBoH9Rg)8N0kBR~gkPAkeP)5tcbQta)%Rdrzqc_a?_G;vFtb&2tMhOG z`tvk&501XHFx+t#v^<*1FR$!ji0$S}_UATn#R#?4)V9I2d$+qfSu$!R*c239oefuZNRb5Gd4$&ktjLj-Y>-$o%0o z;QHHqwuK_PNh97Vk*cdhwS}?nbHiaDDg#UwZ({fy45YLY*~_L{Da;xD14p5=C{xC+N&hWB80!@eN|#cx{n8{>2nA{*jG^_46jynz(v00 z#5VDTp5AwK>FcDA$&E*_$~!P5rM^SHPK`M%&Pis`cXY;W%RWj{Kf0X58ZWHhp&vBm z2{9#>O?Y}g&DE=LJGG(yp|#V*|2DI{^|Q1TB&^eP}h2hA11avx;RmeVE~Eeng@Q?Zc55Un!v|(IEgK0B#iNAT>QI< z3`vV-WN9Q{V!G(6|48J`q1ckIx~k@XOeHoU1Sx6y5DY6VRj)ey0?h)`g!A3XvnyXZ z<1wec-c*O4B5vAw{M}iPQz5{_MJUp>ZZDuimfs&g3&bl}w`sFd#+y$wb!8%`X$eA| zir`0RhKD*v@&VIF0}YY24Y40TYPomqHG(lH?m?|1(inr}x?;Wx`1OOeH1cJe4^o2% z$L+P?;qPw}vj*aSOn{)yY?gsvzkRnVhk;+_HTjOp4+aT3I*gMy2L!NwZDh7NZ%WX9 z#>>|Kngo&09FKR;6>uW5MONO{IkN2-6`9#36LvoVVkJM>Ep7PhqZTIk@8+}&ucIJj zzaIzsQ{9nv(4kdfljH0dX@l~7rLADJuCA4rj+awdKA-f$80{-@HJAwy<2nxGK3S5( z^KtuE8Q5D^TI}mN;r2V#;+&nGwF)L~$RIU#PK7IEI3m`vBIcS~+DbpR6xVG@p(_}x zas5kTP=$4I?s)_vN=LMjmX~d#yA0F@!h?S!n>>MRiYJdiZeuWUUZq7Wt46F@OQSUQTh4XzkFLt=;isUzB_X@zlVz1*?O+Q(v5 zVJ46whs!C)=Rm6auIixhii(}dF`Uk92A}GTZv7un%8e#vrR7*>yO7##+U9dRgt)j% z(smFRL0lXMv(Ygrz(m_!&#&psK!rq!Yh}KG>_6d*F;8-w2GmKFEQ&MG0nj3_8BsK- zD5wf)?oEE>d^XO{o$HuavZw?37yY|D`Y{*(!R>TWL|*Y&Pl2ExmeH&Oit;86xrkxK z3>ECR~Oa zWoY88;ffl6#Zdc_VtafzXMH)e3mttL?hU$8keQXcO6vK>P)Mo^FClFEOeX2@)T?#k z_IGMT|JU|%)0}OvgmjgOz5OxN*T_@Meu z8RqaBXFyW9R;>k%6XYw80zuDk9Z#}wkq1__Pct(*3|y8{8>^}ceyd$FLuGDJ#+N9~ zx4Vc>4aPD3A1-wjLel)(&}dmjVTWHCNU`r|S{_R--1{-w zn_Xpn&~Z^x)Ll+XIkOI&nfUr>#}z}=kCPB9Skw1`nHnGlR3 zR_lG;?xflE1+J?x^UnIGZk9p4@jn*W6PaJ6z*+3-l<}_KWzOrew+7RVLm4Dq1y+9CB51(UUFPUNh(sN_ zsF4Mv#C+qUcyv-m`fqb?umkZ3013Ehi#QZj#;{JO0FMk^77l0%S zLHf$irH8Q4)WSl;1+Dr_K3R(buN(KVlp@+!d#kOCps4xO>*Tc{e??vPvCO-8)VYWV z^RV~B{u98JT0EIE+|%cQ+wh}adRng^836nt9ZK{KG9NmN6mL5{KPhpEhGwDQ?k$<> zQXU3RfZ2Ne#fCe#kAJeVNGmrd(v6zwz^0_-dMIY^XmE!&umAbOw&V-Iyczk(NE6ht zcZ-a$-m;e54!lK%KUu8pxGyc86Sn2$ANPT6C9ua5 zbyxj?C*}j#(FCa__?_GL%b*4c%Cnqb_Q=K>jI(}OWmeiYjtNG9{hc?CG-ag9{4WJ9 zc~ZcRkA_3J4$J$nsGT>SfngQrU)~0Q!WTyPqd>6#W)Tt+MKzBWC==R1|Am%cm}zcO zY0| zQ7uf3Nb~Sa?^xe)&seU~Ve$6cGs=(7O0|6D=fW!xN_0O!27udG?C9W*8awfZb6=#1 zLqGttlT?NHe@O{41dBZGWF?HazopRV`0eCk!6T5oUN8E`JkJtx?)Qaz!1r<3hrkdT zvaGF@$R|c@bYq}Df%|wHw}6|K2Zn7PQ{pSq(Skt=CA$j#b5|mnKW2}=()-=rQa8(A zx7sgMjn-A{?L2onq7l1WowN2H8;sx9Ic)jm{`i_FWeB|BHih4q3)d4y##-o-^mIMn zPSEb@0>O1iK96NlaLiAz9iSc)`vjnGr`>MWHqsNm+v_N;;aM$_FP_~qfmR*QIv!CA zS7zr6`JeMZ9;8~_E4roCUJE7~tG%Eg-+#D#fildlcZt9Yx<-?9CKg-`!vua9UWMk1 zS2I0fEJ$2x5vp@c%ZgP?Ps<`DBD)`$MIFk32=yq_GoF;#{RMaapKO06(ujW3`t2E3 zW_}J{x_+>vm_yMWRwfZA#4}aukHa0IKpzAW$30p*$F3}92rds4K#X*~yzPFkzMXVY zpV$>95$^dWHEN7~^%WF-!NdU;hPjwtV4d|ICo-F+pZor3$I8Y+SGVuk5lEP|6XS=M zYb*XDy3@hl*VRsnRHo5=^wJL7`3CX{n0_Z4$_rYimgYS+PIk_aT-6(W+vE=@SBk3C zQ1w(}Pq2IZ;}RXnW_dlfq%Lb{IPsJiKn^JxufU;%UEf1oN;Rur=<8eW?0`*ptgBo6 zHMK8?nVp%-VC&sGlBS?Imz^{W)RaMXKfChnEvmF&L<1Bs#aZ$hxQx5Vuu4lU?N-Q9 z;`yz`$pjHWnH_dB1$le(!#vBld~R+?CFQ33Bgj`UC-S|t9hSJ%237N=E5W(Rh~YII zz6x=Z|F-U*qE?arYxCjv@BLB7tV@5?E-0nB^2#eoH%?&PYf5?@HF`l6*Jlp}94%n? zMK&}uEN4y4aXDpfe$4m*H7c5S_Xr%Kh ztaY_MIQI=|gPih=?e&ckWnMv5(Y!+5{6Sfzqn06iy(@ow`|+U=l7=ic4i7jOHn$o3 z9aAu;OG}!8?b-dYrl;X{mrPU<>*>kx_g@(0ETq^Fn0bv3yFgkl%LjI*F7%*ojhKp_ zS_Uo&LH@SVTN&6yRwiViBjrv}YWVs{R*n8kU`4iMY`hM`2Mw)UqJC4CWOgR0sSxigviq8#2l`3Zk(}Vi*pR2gE~1Y zj1~f8fWW12WYto_Xg~m9sEWu*ASEvB?kVG+c++70;ovUQI3%~YwGNrPZ(!sVQj=Qx zEvg}^IwzkaDp-}aPZ5OOAyDP4aC9i7=cf!)r3I^`_JLr9ci*4Nl2`x)PlIuog1Rju zLg+Cb=cmEI3OQD_xVT(nHX_GnSS45obiluq0&(5+PeBVxs=>^dAw0ZvB@A3y1QBjZ zKX5sQZ5`6JwKCIEwP42C%Q}NoGv8F00Z|demjB3bq2^#nD5}qM`7$8^T*2%2?;&5u z#vIB^$`qsV^v)z};?%q8W7|_oz&mEBf}zuyWfmndcfI?d^UgvyB_$}MAxG-2=qq@B z;^zgWIUoNn#&()ud1@m2lkAR1I{zX2po62-93#Wp(^Ee`?dr^?(d{-P0osi--gP3y zXW`&nhj(FC8>QCiIVMKXeW9X?XZ@d?(VmsivmHByBZXgO^jOlm%Jnmu^wM8wxj0@) zh^gxuPLEA|#d`(Na`UZ&x;xlzqo_1iEwRU;f|!EMg?ja8AV}s&N(L}?OVjB~Np+Ed zo$bKUe+9jaF{Zg;>MjDIuL!YT;FvfGxhm+@N+swp(08F{5V3^kI+EGprFEM4YT{ja z?hLXevs(@y9rZT5Z3IY>WcA0xnThg|e*ECfm4sNFasMRG7;hb4QQl{31}S25OGIHI z=*WgduXbp7-Im(TrzQtFo5n{`%bLhnhIr?X1G_W!D7+-snX$SFt{v$i&U@Re1y4fC zIMegl0s_2Xs&)%Od&nl&j@KZ?`tKgx^uxgI~oD$Hf8b zuD!Po8vzV>H%G;_75TZ9h@9!+F;?lv-(-oXcpSgVdIqj zrQoW{`x90U#xGSII);GT_eQ_sthVsnwT7u!VFS=nEOu5ZVaIQ+lOY7sD^&l@4_>L; z=X19&qu6MJ$EvW?4qpAgjus9_?@9HWzbUUj512ay#}RXmqzZc2M4n$W`x~(ISk?&l zU4%RTce0!Ztn%!4|BVE~C~&&}8(|FIz>wko?<2bAPVhd#R|*bqi2s`~{NFp|n!(Q zwPQcSPF7+{8@6;2LYMj;Ed7=CrL8S*%0sR(lcuI-PG{#|-M`@c&HPNye2<*0tn6|a zxGdzsT|}lBYkxmmBD=kfeVg;ngRfEBYc@9J@6jDz2lK5dycIu`ydD z#OQxLARj^-k&oOv2pC!ot$>HhJkl{PQnV{pj(R$7RaVo6hR6 zxWU0e3R~NNII6Jj^-$CyYI|DUJ7~q1>s-Iu5;to!!1E|my-aJ=*lUugS#7)n_l2n4 zuV09&R{Mi}e@PyjP48>uA(cqO;hfjSx@`Zuue6*^@Jhq#)8<~@DnUnL5|YgXQP6W% z7CUk^_NS`rKRnAM(r%TV8e30&Xz4@ zeXe}xL93jdi><}~Y5-qRj$a;+da=g;kBkSZny5z+YE`YnYdLDv=5NR@xHZ=9clw_C z|3<}qj*b$a$K5ViyTd6O>?*CQ{qJsUZLA^pQ&SVyn`tBDFJJVFJpHxy+11spV+~`6 zRtakS&~msLv2JRH_N&@jeJ9Kv4-bgR$T)wcPQQlQ8lJ(W5PWFPP?1x1A>-80&=7Us zKE_u8=Y(^P-rwiU8H>2bFub+8_l=Z`+|{)kjFKpL$Y*)Y&nSD^JYR0JroUUmv9nZ+#ZxIV_-+ka*1l8%4~fHhjy_0lsg7 z0`2`-HnSizCXm|riS?gc`}X+VO+B?ng+QfYQC=Re(?C3&R8>pMVY*Nm3_2~#LUxLB zezr#d1O_`&sqZeWfMq83M207hn7KX2LVtR4@-ZhT%Yw6l@MgTmfT7W-I)IpSrVmdx4t~jpM;93m2O@R$<1m$e5b6qOHk`P*LqbA`Weq>O ziGjXaEfc!;ckqe!tdyUj`_ZBoa8 z&CHU-fPjT-JA>oCNew$KjuUEIf&=zX$prSG|5fY&{_t#@@EXPo>XiK2M(bpGk zRR(O;R4(E0)q@@a_tncT>4((H%CP|h>H4ZMwuB2ZJx`w7G+u( z-$L&kHwRiDh1lpFyEnvr)sTMs6-5F6#^c%V(hjVfXCbPo8^wEoOr= z{1gJB{)Z>C?SAhE-Y*C^=rtn)+^ACFaPO7-J1}9EDocR=g6xkYJh77 z@`K-fkpzGwE+bKot)a;zu9|S{l@Rns>)FGt`aKWFl|pUbliRDA$h3j?iVzsme}{ye zASN!(aMoz+_Wq{81yQxq+~)IeA6HokW}u>i!i()G*43pJj4T~%ZiC7%U%nu*Sk+=< zXE}|H>deCq5GT4p)jI5r6tl)YK3s-P+Y#f*MZGS-_F}#5T}1U?J3v)kJ%JG|;QoB} zOP>6tuYYJ1)u>VH+(ds^rvL6-b@new$d~oH7rX{shQ!z*_*u=+RACZ8i(MCPy#!ZB zjMBXIS|2+x!;GR9b3R_Jgf_!dGZq>!JMd3^?{-H!?uA`%lcOJ6Y9>DPFSakiQ8avS zSYL_N{xliweC*}r6)=)s z*I;kE^hz4*&UAw^oWwu8*!+lirc^o2n%7bz?UR}9LaoQqz`y|6XqF<=sb_2a#zy~S z;Uh_Jy?L55#Djph>+IpucJme~sf;`hJ~j^0?_e@Vz3A;3;;|$c9i4gd-*9Lgrt|yz zxbqqh7SRAGjYK6IH+aUf*{ZySG~2!HeKA*6DD>#6)(UALf*E=e$CQ$qg7&L#JkM%0 z%L=@M0{vOV*(z>w98@pVW~mTlX?_L<@bhg>v1&8K$Ui0(^gz(ZCK02!)B@#U_2+P9 zij4G(v$In#(dGMBq58sa>ur|2AJ+Z=tM?mEGxDWmz9F}#p8 zMl$~0T~wr|&Ud>Yq`wB)Dt`lw_ZSnuq4uF1`>1oNg<`f+Y-e|Ov6LjJQ+0Oi(r>2R zooaqEg98T#ch-KsxUdidXmEGOjG{yXqKgiZaPTfG7vUvERikU4IgQ$!Pj(aRMLcHU zNzC{(%k54se|I%^U%o^VE3%bk_@KVO%MEea!VdWjX1u4>I_dE-pAg$I1T>?O;UhzR zP0l+LWA~4@I1PS!|GB=Ny?c#;f#D$NxY+7$KV4&S&h_FsDF&c5Gjq(1A7U|u7bGIwZ{B1h z?ghN#tHb)M|Ag9BF!|rEeyI+t-his})~cEHD%?}@Iv8}IJq9EpkR6n6Ee0-CDl9#n zfD99`6YyCE@o07JUc);`u+mV!(Tgae8+JneTzcDz8PUnkaPVjS-}=yyh2Jkga(G+_ z!Jd3{ce>d;X|=5{0f@GGIR1|Bca8D5*;4)@Iaa63yQ8^n1$8wyZ=_z*WoH8TY?lr6 z<>hN6L5D-5<)}~GQso0tX~k+dS3;dQAvUwJsEUS)M3x|ULl>08(XxH2GGX=X>>SF& zLm;2&Hsv-PQBxn5e;(KUD3FvxUm^N(3~rzHb8L+I0|iKOQ~S*=^NY0goz~;~CvJFn z1Ty*TcR`-L+~&1V>b3{RixKA_3^_;fmtoCVRvPJTYe!c9GO`s-UFs zhL2}rayHIsmYuY0CGd+jr{O8;EH7eFg<8aYb$gsdF$n}%{aUBTeuG=my!NkYwUD@g z%C(frGyG=@_4YneQc~8CFjW>lJ|6h_s<`3y2Xz`UGSKCdGBZn9SzWoOGtwGI41}Pg z%HJa}1N~Ya;QpK8uo@n!e$DtKk+&j>s4cLmIkBLjt&JIYoyL)rlwjEI*^iiJ`%24R z&Ms^ETvjcCgk;*AZVJA6{py>Z=0a3y=}R$9o{(WnHdfYYyM)oo@el2~XIp?Oz0BZi zJ%1yA10}l_JgQRVBAQ=y@f+ri&&XtCz9uBZAM78H5EI+DM_{6O8WKFvE?QAnM+|^$RsmLSD;WTe zfMmgwW*9m6`Cp0o^`CAU*Q4%(FpQdA`|tYWMhsg>Nr{6)f+(dD+CO(G&fz~r>aXut^ycR3o# zV4W;_{0pR9f6uo3rqSqw$3|5~a*|V1^$-q*#y(yWUdT`P>$1~Z4X(~`cZ7hf+LExV z!h0oA*IQ3R@HvY&QJBvSJrIm#FKT&dwU<8x<6Sy+3I10p&D7+v&nc)L_z%wRK~qaT2xEpSdYw@r20!Tv~~h z-xJOUJ-9}WD-8Jsoci_Hz~LhN2_Vww82#h>oS%sVRp|7<@_3G4Z{ zx^7GKi-Lri7Z$*>HCN8Mq+;=Jo*y=j{ZcMZEsy(OFBu7GrkK}z76Ju9@xA#x5n!>| zN&OYv$KOi8yxI^!U^A#+6lCnAykNE z4;I>5wicV_bgFgAxilB{ju6_KW+nm{L3E@MJJd;TI};TYfPq^JyI5>)@pfOIiXnVT z-GL#GoO5=pulU|+zdZ~rvshVP8?}3#MYMfjf@W3b<~rZ@sqGww5}HIy7mMu2ovoW=y={2hXtkA)u_#>l_GWG^A6bvuu|Mvm(!bdSOR{X zPg%c^&(y!@CG5AV=!u+lSj;XfvUPAk1IA<3X!+BtR9TRIcknIJ?U_VO)M1O*5efz z=pi*T-}q}0!%qT-_hv`aMdZD`tHk|;-4D}~k_7Vu9zf{yHU+aoW`@X4PWSdaT<_-l z(_M1o_-@k|FDR0T$+E=#zxMtE1HjIpR!&CdF_7Q8x32AXo`?p{?K}d+ACAm6v^CKr zHK(o0G)~F@$zN5}f3eV~8(V$*2~o_@?USC|S9wg)R4Bw@$F@;QR>9d>t={=nSI5PX zwyLU--)$GD2{9yr%(pE!_jlJ6I$$Ika0qUhk(T?#)J{vIBX5cl_sQQei&Q;51_%}+#j!%U4Q4pfxtjE zC3v_T`%dEg4IiIDgSRFaY{}0%Ag9b6uX$>qvkn(gcw|*ZB{OgEfCl?{K2W)X?3L*? z0;z+Lx*O{a=&%=CYd^RbAC z^h)GkljA=6V)A!gqSCM(2Vg2JyvD!)jdw=MnOS8dM`oK3Sk_p~ zId-5)f;1qZ`e{(-_ITOs{?(bmHL9v%m^qqyIE}lurUv$Btz56e;bfu!tool^-*_C( zyIr(47ZenL_<`~}cnqkFjND=3#=COv&9uw7YG_0xa>z%$sQuheGqJECCwsJTHyeS- zB-z{q%_`=DT85h;zO?y(GHdu|&zqDX@K#1MC7{~Sqt#_UE>TfX=WK8HM;VDd-0pF~ zT?$GnsiS-MrV0jEb7Vkn+TnMW_}J%Sdv6c1wdE{Csm!6wjL^Elqk+YTV4;5nRgbpw z^I-+3wuZ+3!8(se=k3?q+cJkFaOt#=iIL8B@MKD+cV?7-}O|n;F`uxw_^=dk4IaL8tflXRFms}p4hsIkbgadF{$(ZpxO4Of+d>{##(pX+DWcn9&{|4x#X z3PF8QR?T&#$0kxS9Q)Z5>71OLj};4C>?~MM@xTzMsk51=c43BR8CqB{rVWEEffn+C zg_tKr2@**d-K+lLL#|@8O~oJ^8wV)b3kvWTEF^>5IKGg>5`J$iCG`dDoP|ik7#NR+ z^U3m9-ZKztDoPjz$al~xFc3ZsktQKYC@p<`?I(p)tJPs=iqo~{2Kxo@sV^$LQs6%| z(9zXR!RzKU?3gL{I$KPqq|ny~(Y=fc6f;A>I}iOshb7HI3_2p%v4m-;s)DRkI!BeA zRPnvXJ9;&oq`}DW4;mUZ4fWPDtavAn8Qy-J+V1@G?KKOFxEHeT?&KfmQp<2Mf7wH}6bz3IgjEoxU^(MZ z<|OI?3td`L(ri!7c}OHTAgz-Xo^w?(W8Dgs;9y@*>o@zgX^0!V-2dZ)cUmA)zDhs zZuz9xZ8GT{?(SWrU?JP;UfPLjl%DeemzI@ z05Rl=`F(L3pnyk9;E#p+PIa9p<`LePG6e-sn<*8gu*>6N-5qIG^Uq(td{JZJJ@V+0 zmhX-^+-&22vXl%B_qLrK93USbF&?LqW;(hZ+1t->;TM)XF*T&0Uw|{NQID;Ngg3(G z7w&Um)*DSVmP_7O*n73$4LyEW8O-fNfRg+QBvXWgb0ldQTrm2abH+Th1Md0g}vr)J|1SA8rl~3~2E2+dqy4+z|5P%meYThWa1hvt_B_gQXJM4WZlG!y&AH`eQ>w=lZH!><>*< zt*6}1#tk3_Kx;Z#`YaK7+gL1n@!DS$pF0W2hWT<9?G)W=7^J&-oQzx!K{*fqqy15ns!G z@Gb+-7*3nO1))IW((ffRA4itv>8-9HS^iS1)sYmx(@=WdVz(*J^A+8v%F4w<2m1d- z98v_U4uAQCfdMV@ysj1}t>I%-nKE1abO*NqzyeKq85V!zqb{kSwQbG{?!IS&tv9YnhTDiU2QI2F~ zcRIujUPWAji|k+TH*V+ zSHxwl1OU+w8j+TEo}Gz105&aq$nlnv&0D1-J~$p8!r{`@GI|C zYAPrxy~M+B{FNqB(LqHchJAyl1T{r@&DmN1#>*qSyqc-*^YQLKf84uVjfRcqyrx;laTEA>t>mw_2Zlz)v;K7bE72^E?=Mc$3!H->e^A zoS70t-;xuAJvatPErg8Com2=AbYV9xIZbhSMT_%j zZhPjRTzKJf&!g9Yr&2G>qJH=WmwkMe_!5>P(y~LGQSiu02VTax%j3Bwf zoSfXLnt7DdBTCAIGMBOGgQK*s1xbsRejco<6N>InC)i=0;RAg%ejfA`7ga}%F!Cv!om-8%uLyR z(JRgh-+tY{|L)46YM$+)%QG=4sc0Dvt6|O8y;Zf4(4TcDY>w7$4ryOX59fw3GCsD3 zZJucnnTI@eR8~In&2J3G3JeTf!x$>dBYXIeI5dptY_^HvX5b<<^|gcZIJLc{gKvxy zw@U1JEGO4iH%rGXE_ZqJ*5k-lS8MID4A zqGi1D>{)+XDC)O7h2X)uX4~pk{-TXe2NMJOcy*=K935|Dll1ubtfJxp*%l)!lV*V) zwR_xbb8$Q%D7A0qn&C!uX;s;-oE_Vz%TrEnVjypJb{NggZ|?7pCmge|K2FQbd`QP3 zrLOGQ+LK6TLx#Ef$Xl?k`neR$z9(1+g!5)I05hn>0JqP z^YiOJ>u}MJMb0iViCS#BkIP*>oEvv`c7W4UA01)9^|N1FKcM8hj=))Nnta5#>V#Rfp48EHuXiuT^!Ls<++)t9MG- z(dXeSNIt5#N$fH+@Ku7L&25BTK|yVzA=+`3fJG-@9biZ5`z&3cP7g=k zmw)=?lSYU9U0f&_W$BQTwui|hyw-IKJCE1q@d@uG^Sc%O>5Os_@Qg3yE#Vbn?+yz)T%xaktzC3rnz1JAs$m$pN%Nw)vNnSNl0CHw{XX3G`G0Yl0RW& zx9;@Jj5@Gpa3V^Ax;oVfMqV^z&5jcPOfPL64EF$8OH)hPV>4p2Arc%WrkqVV@oYiC zZtWU$gd|#{=E4&myRmV9a5_#!Xp{F-QU@&TJIMr2DfG!(qp2Q1Ie!; z6^6|&@kg~Z|_xdsSplWgjgQ>S*FYIA85&nBBug_Cn zjg&3jhP3$eHT+3FX$#ZTB5JIGGQbjKXfc$74`rwj;+6FKiq2jpz%lyC+(eqF=-8Uo6&SRxx z(NWdZygc8Odx4`xV6&rj4Joxbv7RVLL#(xSzlDWF8(Rh9yAat@A}N1_Fj9?;YQn?t zJkLkR$C()zB#!KUsKbmH)t~4{f@Uf5BQfy`@?5tnzqp8tGvUdk?fZ_t)W>AG>(S`w zNZpV64(ld$AyMD?)OSt1J9f15)#*gTPU~r{%s$t<^YhqY;A4jj1~FK`Dk-Q z3HTK=)3buqR#8b!BE26A{kgnN!e=N^nVq!@tcK;#L_~m+o9In0r}Vg~*>7)X_<&NF z68Xv~5ogo;(-+%9meZJ@yBcM9<*9-?mh{arl_1i?nTg7fkP@x4pgdM2pSNPh_OUC* zu?;OPbkiE6qb>rs9rin&6>0s@kq?-+7j$l%zDecOh?I`PG3|>b8)hMW(t7FLTU*B0gI#*~<*1QXj-4GSJVm*2g6y#pA`P$sPVs5q4Y-|X=#(1rBbV_fX z;-$Z2z{kf&w*GFh!ESl8KWrS4Z4WK$NYS^C^*owiJN9@ zxw!`co_$;Oc05nbv_YKjL$Sas2JOxc{5u3JR8)F~79FWFDkgLmG|vuu!4vmE;ozq~ z_18a9QOJ+1w6v!*LB#we>EbX4(`@ljz6nyQ;PqQh_Kt1st?1tR4L)%KUb!97el;S= z#YkNVaGDim4(S3G6gLm91T+5@7AkH1TgyN7`Ie=$F1q{U;SZlPGKzn$Pw+dpceLyH z`ta~_!@q9bB3ySu-v-!NbfK9^X>RmX2mw zo2dw9t+4OkgkHT089aZ&%p(Se!nffjg}`^g^0lD#N@v*^cEP&Kjnh&am^-w0+@Fqk zU6$UtvwpI7mJ~lJbmhvsYxU2l;Uol8i2L}ar=_H%r3h4AQZe(S6|R=Ni5i=$tIMw8 z4UQA~)G*W6-)DVtWJ}pU+MiJoJk)m;Is8Du#Q1Q3BcA^kCJlk-e8h9^fni}BER?+i z-b{3|?p94-f3la$X;)XX$zn~lbVQ{cYZSCmR8&3IM>OxLTIEmAPrqF8u4vBqTvisg zmh-*wW2Za@$Y{=q0>Z+$Alo>W7Lu&8dbZeEK@=M~xT3DC-lp;A<&^g$2ByO@a;I+= zW2WVK-HwztHj6KC)c1K|w>}UHLig^oNreQ1Et-@QtL41IhO~D4R#sHK?YTW`;ri$N zM+@u*q^Ga%{mtAkRj8$<>zn<_ z&B`Q9UJ;TsGg}&*`J&a@+720gVd1as+CXr*!$nm_#?mC34$LQz$G~90A;?j$^;|#M z*Cyy{>r#28Vq!xn4kZD;SC8&JGh$+6vmb&sCK&K?aRe)1$pKP5dC z%^Q7;d3STNYMJ9GUTn}qthpJPwr@Hm^olOzCj=tRdApAm$|zM9+lwoxjL)B?7g@Cc zMf>r6BoDn`4wk6vbZ~1o)@kj}gz-#4U*D#q<3y&pF&j~yPR-hz5E67K(;4trL1n;= zyi`>j+kV6xIQ?DbrB_a@fMeFXL~1|L0xnL&-vgsPJ+^B-)InawFGOEJ34 z*4~p_r=_MA1>88*9CO};Nkjk5eWFG6~Q( z2oG71qB2`pSUxpqVKXu^MyAt(8;ORdktKqIww&&y#vi(f$@I!2wowZ=y( z)#*lzBgVMOPcjaN)=FNRh{}o~FB^A|T;Qnp`#3H}EfU$c>>&BBV?0<`e)q(K+;poN zFRXmUlF0>KY}ebBLF`Q;tbet|%8TUF^WrGZ#U7O5#KYL5?FaccnPz4$CMxCZ7e>#C zcHUE6?;{TTvR}7+kAC5Iu{*`xtH^Mkj`lQH_vX-}p~}h7({e<}BBO8Q=Y63&K6ZUof!NI{Y zbem)49R{O&wEhHG*v0$)!mb4D=7ga(np1rvaU8K^_~MJ6ZLv zTAB)%Lhxo3AHYy=1N=4TOWro8w29xQh&D8B5%Q<&08Mabx(tRl)EPqy3%nk0rE0^| z(o$sDIrtpcz6X~cwi{b_i^O9JVQu7`h)PJbnq9ob{=_ld?v|XMUQ|>x^;46F)6}5f zSzRX1Y3=2yxo}Jr!J>S^JBrB~8`>%0E@xl!FZPx1Lg{T=6!(CJYr3Gjxa-&V)oDFT z^H*OJ@_uIVOik9i&is1fTL?aD}ehy!N$U@?SclauHNG`@{x{~mJ$s$^|lbBlym2I-$P0U2`S>`Rnq0vOJf`1 z-q!1GJDv6c!0?``_Mw(D$!Lbd zXn5J}Dgl>kR_B)@GM5^%va*lKf+8acgIhR>Zjc1}G|Z^QrM4Pzyn8x5H)jFWi<#NX z%uK!K1G2G~PoE;EWKBMaSN`>>uM7;-%`&U5_SV^6P0UWXYxDYb>+dcW7RCr77Iu?0 zwV^I{$KqlrS5v-VyWUq&ki_apWrMaB6q;&!YQ}dD{?*>HZ{NNZ5D-ve43CVA6!dOx z7Q>8V;j^V`*^s({IR_U8g(dtQav11%OX8m=f}zhc!GSMMEO}~71%z?y#W zy`i9>IRCvY%=0uNA?6U~JB0-Vlmy*s5xC(W>kFt{aB!QE0k{79_wPZr(&py}QL@43 zrlNx4svPewbo?)J6<1Kz>Z_*$8=sY35-C?1N?+8}=t)30=BnPv1#|g+^}fP)g_~_bTnb9 zA7B&r_cfws)mmT}(RjsHoy!z+(;mN)Z zCDRuONB(YMUlK8;06~25{QZ0AD+M}6-6qmx{fL)iN~|gu7t^za+IyY4AiS^EddbU5 z`d!Ca-DJCi{><(7rf?q7d#X!nx==b4$-axLt9As7W3=#P#o-{d0FU_}U-ka+L$7Do z^ql0udnyT==QqQyzdySMhg9^1D3lz5gOv1xl6hW`%Dnt2xL+n|u){jgj*gCcf~_80 z-_d;T(F6i8c%0mn`rr0DJ@$t9|3eG#zrK>hTC}6v8JW45hyX<}J?{07wRuFLZ7KcB zH~3)wG5j1sprIlr20{o!!-jVc#7|f!g_UF-9e=e1ho;HQ0H#u4>tK`uB{Wnlmm+%A z86ir3@uh4$Zn-)|<9w(m z;&NfTefvZum`eC|s)2SP2XA**=j_~EgHGRTF1k>^bHQIj@GgGWR9gxnK4)jSaD2V= z(eK_V>xeKgO|jN|%W#&vlI}=vagp1b9kvN-$4t4#uA# z`J?@z#S2b#)$a@pR(WlNJhq>ET|3P-&&uwO6Y}Vus;xy^j)JamVZj83safjj%BQ|U zL)+M#s`m9TR=h_Hqr$}$6%`Z2l-1SMUunh0#O?OGL+jT8*Q(BXx=L(8D3)M7SbM@? zLTR%ZrI;=kqfbCVxC)RR;2KQBdFk^DAo|>!Ew}HNk;zap&!a42wH&Y5?<>wmesH?& zW#8UJqY%dS4|F9bi1-$7VkN}M%3E5CCi?Y~ChUu2U~sVf3)%4fR}!xgDB99{F z%a!EsaG$E3Te|33bsl%x8|VhN%xOnH8Y?h#ms2^2x<~JJ_`_pSQxXeV3MB2&NX}(9 zpJgr~fjUTBl?Yu-8BckHh6;{1Eu#pD6Vkm>&$=e0+TVrli2b#|JYAW2M%sTSET!C2mA~gjjO# zXti{5uaMVCqg&g`B=75&r~OyFXOoh;tZ#<48J#D1-1L#515+NfDEhKV;|iGr1$_qz z@+sJ_K+6f4ElzH+;L$&5=sM2r=~rnTra5I93``FS3&r1)f2e0*0kgRbGYjL236T-U z6HdW7#b?i2?#)mLL}t{yy$E>pmg%9Sq}+v$YKvQTYAP+KVDg-O$Mf|5-8XMwO#|Dc zgi$iN85syd5(r!T;vV~DtoB&RZDNkUc^Ei+OjHaEk2U1;P$<;iSm`9+YaR zZ8>0iGA=j^a~N2!A+nFwh4>iWpG|sRD&?eAxaEc`F9g$NNxhnXp6=QvDG38ip;>Yo z;(?BrzUff&U|WuEpskS&^CYbnka*f>58940@HjPr1HeRAj_go8z#ooZ#yRu5Gd zl-4mrKMkw*A8#cB7gLgz1tj0Mnwo*Hi7^6#>csI-Usje{C72lSeaZO#E#7ms^-fYs z*l}1UROGu0qd+wbdA3V+64!8UW@ejy$vT%| zsQZN{@)SrSvL{K2DVFAJ`U?YQ=GcvoNO|%P2==ymL9=Hf6P+VR<5PXPb+EsR(irUz zkfjSEP0vg@TNq?ID3q3!j50A`6gK$#g;x5f$@jLKl=@JF#;Xnv4po$wF-Ubh9_iGn zHu#iTkBu5oXh+h(IhQ7B7RXhXy3uE<5diyz#W|Fx#n1KF! zPa!m0_9R?NHsJC)^04ipDyz1TChEy!jF;KePsDS=AIRCu-0JZJ%d05iGedjKyHyqug;qqPMu>yiBD z;6Pb9nW7?8Gas9S*gqET@8bOB?2OuTU4aBa3j!6|@znwj&MQw}D2IC(D~Y001Sjx$ zXy}sNdFJVUxn3hXac9~qQuID556A<;?)YlAT@y-jREVfX@!O{NP5wc#0^ef47rCCF z01anuW&xau9tOoYj@shP3?qFCE;A6?8P;42m?!;nuQJ`Seo9+7)!KFng1yb%W zN(y(*me>Qu=0azkoovsxHpr3d*w|O)H# z3Re~p`EVTeP=9k0Sm{7{NeTg@>quF7S&i%d$}eS`7S~;bYHi}Qd}s)o1Ego9=jAJ{ zzTDFN!mqf8sU7+Aym>mGypACCu$6{ya1RdZZ%%nJGU$bqaXMMbyqbOd$ch<-;~z*) z$9@9@?6*e>^c&)0YT%Cbac~%M{OKB{W1(x_tUm`Q9s1F!JF~9c>)Oct{MH?1CjQA{ z1rie47cXWuh4Y61dk0d_dc4Mp!}V^73GnRu`&0bZ9Y!32s=4iLU6|hQ&jc(}{W8rC z6HtK`f^d&r@DKDM*CEiTR#95Q`PMWwXXkH{*AJ*SB{H3Q62s*5#coK%K@lR}AO zghIeQ>>>{?wg|tBN}#^pCtK_FQ|+0M?`HJ>Q})nzULT=iqBrFpqoWoQy3ZUtcWZ*6 zQos%OarYnB&3d$YbDU+Eda@MgDtCl3t)yqqcT2ZER<4=j$1p*@vR8VGF( zzM}WL!V!m%wb{vda|!nj;o|D%A=_W961uf>cT4@#_=$AZ*p>*JYvWA0G}=`wKXZ}_ zfSsg;0Wn7^uach9)cAkVs`RYRiDf1@E@z4q1O&%xsRuaMe5>U9qvqlfWsfwAO}I-0 zWDL~It>t=l7u(dMM*RAh_w3W++xV3p*1!E6mvg@ zm;Xt(jq@k*03vp;-shIY9o%CPQ#JO{!nzt_n8+=6SEy)~f+(zb?CBs}Ev_*?q{Toc zBU$XKEELmZ3rmWPb?*^VTvX@Ez0&wn+zjAMP@x$-v;S}|i!OLR*2u^`&d=YTpTiD7 zVcU8&gS6y-vWBPt@Du(w+R#B@ynmYh*RNkW-Iku77Z@!5FGNMlKk9ETJ#H8$L(tLD zwIW!G^9w*sffKReT!Md?p)@#{V`YWPX?6TlK-)0^h2z4=*dv_^bR=F7Yunv+$|xkW z;7fayKjF16e$}q~Uk0C7yN?|}W5h|wnt$SutFwrOfZlk1ZZ5{!#OK`qwOOKewQGM* ztAv828MMU*a&mas7?l&+I<^tX@DUWfJ%2BB-@*u($cT`u2)4GYuBx&+2GYk-Fz)Y2 zNfBJ@xvByIDem_gpdBo<>sBVtu6%0~SW6Bk>1S7AjQ&|wRZc)BfL)%Y)?hYc)h&M0 z(M4X3FZ}+@%=1!%U0JT$7&V?0{Q9-I0sa%B2lwtF42+hmUibbRyU8>B+Qh8_l_^yUMKzDn=9N`{ zKmXyuAwWDWTK@J`#zxlRAPv5^g`H0DkbINd8pTdGvpZ8BD&~LMoVwf?7df)i!jaCV z)II-no9v0XfTsYGlAeC$shxs?lL-`Q1#$0Zf`#_MzJola3q?6Sbtfg|7Z?A4b?-)C zz~o2Y^9K?-ItP=6+VOJy{@U6opL|%<2>+9-PeBUt{_Jh-wL{d^+h`kT-bHIu36T&~ zL6U)8>uF_e-Mq3mS}*33|M~M5r0&fy?U>U#7aJEI9^L@CU_~KS`P@ao#PnQ`jFE~+-AJYskAswB0<;Vozba%@?eTjQ&`P%YzPw(LTV+STdZhTF>1fdVyA>PW> zEt5Ccjh0?o&e+#adHm$Nd+%O$_D`$zlxrU1S7QqTL6A}Hw#~sIAizzV8gojVnn}&T zFfu;g+1+y6axenzkDUHeu;S6qGA9U6zkX$7;|lQml9iQH;jnQAuKR75s?@;!wnEcC zq*9)r3bIzpw&$QPGE7Q>Hw;uepzYy+BQEXw5D$B3`4rlHk&iEqj*rc_NIukmg|CS4 z^@V&bI1C^^5Uz4JHMJ6OVgOD z^A3*8o0}x4sQ8F}O}LD33y|#m{H@p3>`p;JL0;!gv~gBeRvvp)Tl2f7fEhjz3uyE) z=Hjv?_3rD>U_<-(i9bFM06hYsn;K2Ft4hb9Jpz7LS+G6-kCU+&c1qTZY?gZ9#Y=eX! z&S;b{dV^|dCV2<=8$C9nXCQ8;5I9=ORIGLs!_n5xPfLaKoCD&Q`9jm+gktVvAa}`b zwHR?I4=8P-qwC#~x;R& zxF)!<&}fD&I_tZXae8B` zj&brtMEFVTx9k-h7033NM0}fR==Nr<-9J^mfBWkBa|M0s$b^xdS`UDTyN|_BAB+2l ziBTuAx;wn)ixV1dmr{}2*xof=!_TO_zFOFg%DnRIYr?_lAwC)cOyV6oyN7?&+5NDh z60kcTF`ux52*30gi7XX?H^h{8C=S~dfA?bn;g zzwxU0w)%z^{&7u$!d{#Hkz8Ed>g2h{$H!2RVIiqgQlNOl`z)&dq&$8>-iRYgDpg}_ zbh6BzKX1!IVo4gGdk_@ZMb@eePN6A9Tn>HGA<5Az=Ahl9weFx0c0VZJ8#AV))YqR8 zfA=mfRmHce3V83Jcs{>*eGfckXJ;nJ@8D#~Mn6%l50SI{i!BaCG3X-s4>yd@IX53c z6Up4ldfn~9vhnks>M~7BIvo4~LCR-tgOuOC=%*MPg()k0ots+l%kd395CcWk7TdHZ zuWxj4Uk~mbe2o8MaK}t3PVU{v|J1rwTY2Vn-p9k)?_gg@(bU|~KZKR$XXWGHMMGaA zd;R^O1`IW^%e-rNDVPN4HuAmJcIF7{9`f|rx5o}6FA<5e?{((w`m(VmJpE)ytIEKT&}aVsQyUin+NLyJOXX`MAifsdqtMXXFXH zZM}3p7*de1WwZE-e#fqW^0V@uGSGE7 zt_fh{oq}%tv-*7tZ@RifBxd4<`44&2)X=#9>(}Ud;hc(KU{(w|21ZK&Ih6VyRn=a0 zs=^-i{Bu<_y-Bma{yJ7{1Ny*`}B`WK@Pmv#)sh{@QgM$LF zFL5yuCC2>&SzW~TJFooIk4FlIzrXj`J;pyJ$(g-|9BfX`6`QhJVA@*#8U#q{06lDQ z1y$E())YdU+hrB1Rus=|rj-y<0PJ^9xcXv0(D+v)m#UP;s{%jOd z@dE=yUQKgz^GX(Dt!Am(HlSxS+eb~(5qcIH8XEZ>U7mamG&K30r}fp|F7(ZO-xokrV*&aPIvDPj92yf)JQ_>CC9AQ2MQ8Wr51UnZEiIz-otnNkuvm5R_^Yh~c6S$BmLR z#yQb$pt0Vbe5QGMiQ8X01myIrp@FWiPf1A$HWrp_G@qkSIk5%BIv{n`?z?pSoH)J> zve6vI7r!t@v@oYuSMX?3Z6C)j|7`<3t_&|{@~g~M)x2`|#aoDkq_p%6O1Z2IHI#Yy zn3Qu+3*^^o+k>_G>QgmJ&e;!`apf-czxwX}+XS~kS9N@b0S+}-JCOFYentAL5y}=r zdYK=>qg*W=xOnbstEsu#V3H*~P$eKPY@svnP2TTPL9uw)|nLJfP?A=7c?+ zf1Fm{XA=2z=LlAEjb`V^}bM*RHNE$gw|2?LTp$3P5D z;C7ztny@Ao0$_{W=V0CS-U-bnmpZw9Mw_kvzXK z{wF%1pgcTSpLp9WRqLTS4Hg0RJH8F5=sVT7$W3I;n!8|SMPYbQvOgkUhoVH+x2B)~ zr7s&X#2x^b)D zy_m%BwnyfE3auM&t~%+#jEJjx)Q=z21H_!;f-3rvqd+XK_Pm4-m%{S#q3@2v@Lp<_ zAT(W+dPNHuJ%j9TplOMp{83!&^85VRa;)efY>>NtG|bEb#wSHLV@fkD0^U>JUi7|# zmL`)>W4}p(asQiPCz*|Gu)xh*0Cg1B)aYocsw&I=OiUD_=hsw_bUl`G9*Ru$dO{ak z4!~Ky^Cr&DE+o^RCS#yfvKlKcEZhOg!pE=$3k&O0Q?qTtBmo3g=aA$pdd2#s3xZ;q zYPY$#xuL4j(b0iML5~gi-dnzgjzsrE+t9DR3l7dJE-nT_8Cd9j-i*vl$$vb0BK}a` zHi%te-dsd@L^~7i%^UQ%6(>=P5Q@jw)@G9o{ATVNHV0W9Udzob;i2b`QBt6mr(tA# zi1Mo7g)(zz$KV|>%gn)zNx;L+&CDde%KXQzBMy9mjQ0yl(g4dNB34%?2^{L{`_eJ>cx*!C;r{O8%mXoo?2ONT{)M&v=S%&iA$R!#>Evm$vNBO7ygy!L0u>P)d^@0LW!8r!?@lfHg9TSU!zEwX+68=j7&}M{v{rcCozfQxrmC$y4dP+5I`xxdjVTaf2 z!FbEm)D-x<_Z8BBmXohA(|Aa3$-zxp8s{I6uaMrq3{RuPi0|%F)_BH5LP}cAs`GYt zg&UEHVV^MSqj}i1{aKa_49m+GY&sM<^x z6~~NC%}}*oY67}bRqj-n^AqUsgijxE>hij^Jbr(s1riWWLxj>6f1|2oRY)z)pS=4#w<|TbpGywPdFB^pEZI* z;!D-)bw{e{t5D+^yUIrTwb=WuUeP^BqMzlUc6(M9@A*cR|CfQ@K|qtH(W_AfcN=QG zE`uDcL~;Li@14qTf7y!!>|&AHN-@Q!#wGWM1ProVDUc?6eQzt(47>>g$d>ns?h1Lv zav5W@vf6BJ9Pr$#7P@#6Rw-iFgPGiamhBLq~@$R5Bd`OZ4Xq z24P_@FW-YuNW`J{?sZ6YKuS+42uTVF`TF&x*R@Yn5?;?U)rNCAe;0BV!lulRgmd3! z1RZdGUjdvcdmNkz_GCcwYj53*W3w~Z#H=&oNRN>_**V_5uR46sw0m!(>r$B~Pxo?T zKc?q!6Z0m;*{XX-d*|Nn{!P!bvaEu3MfoEY8dS`6e!l# zn4nJb(V04~m6B5#0y39`gv65%-#;*Dfe^QcT#y7Qa&&;lYpxTJZMkuG#((M^*4)pl z3HsC3Ti?}74YEwyhs%S$hxhN_M_wwcFV9xhHM!Q~lXw8dO-WwieC*;*3F^VAdXeF` z9_mcQH=1QB6Rb#itFb+fSvYoTH3#8z<~{XjssJrfdQw`u+d~>I1o`;lqq>EXk}|3` zvFf9cq!p+tw)_|AyW*d`J#*1ryPSHk)fT$eonSQo*VB3z3S>2znE1%hj+&6j!^?Az z5C6sGpVT&KX}n6x%Jl&-oXu#dN2DbP##E$Adw4AA*lp}BgH=k%b^Dio{Jm2*0gBBE z%Rdq1W8i@4j(yy#I|I0T?ZpqJ9B^jPGgU&mOD6?vH>BF1h$8qJLe@PMX?^thj>q|+ z7J#PTva^qVJo9i1^K9wp;D^^rn5-(#Bt}4f;>MbEsY`SjGVT8N@}B+q;U+M5<|`{} zOeh<12)G_@OFDP{@7Vjx?sxxGPTS%s2A~ORKACeI6ekWM&z7U9aXH8lkCBgI|KR@a z3L2*E8l}qDgoN;Ke+C8y{`d?kE1P9zLW-Zj`XH9a@hOo;B_mxZ-X+(=HV;NzzKWQb^$%-+R!vO|7=U5}NX z9!B3lm9cLPOMroDaT6~Qs?auA4BSKVsVo|09v+^n!~R3_7@PQi)YXw57W@awO2|{z zTTTBV@g#^#OfC@YE^jr}Yy|PlSq5>na zM>_srFzkXY!6Jyn|Aln^rLtgTobbf;&7aw(tR3uCko@iJg5@)ye<+HhS3*ScSY6`! zzo7>=U!*49PYU_q8-Pnm!)x&OLc8+H^xpQI6h{I4QsM^QSh*upNdxqDE2~R#+#EbH z0xuLantwN8oSvn&4KfRds5eagTJJ`>dRF&w?EU>R+5L9@ai{GP#p zlr7HzCmn0~SOIR0;qezIb&kyUMa>?m0FItlI+I(PkOqF+m@6i7)l`$*%5ha`7XV{KyH%qii*Af zXAH?*yhg@7}H%~X}wsZ(OVK#($b;LV$~O|;N}*jOG_c6%Bc zirDG*Hk{rD^%h7=e*W%EH8w_(ya%rj2nyPaI4FYUfB)_s8cco307|0tuDG#cFG|G4 zdfesY>@3CtFnhD86oGOwfND>> zgx7c;7g+B{gAxw;y2UO;$H(`GTlTA!L^K3vEXuirYR`RYx>1uLE8q*>sH&>aDgp@$ z;uCPlfYFqk&uMKk**9WnXhS-(#(mdk?vYT@6w|ihuhsn9P#`?9-+u05DFY!x>(`Oe z%W1Z;gOO#$rtp-iUwN=p895n&qA7p(t?}d#)t5b_yd|i_#GE3_ee6RZ2EkMN&u%7q z|53cK*I~)J*~854$tq8BinLtz_RE8HFnSlx!v5x>$YW)qKV_gXnyUYhNI5y@x@Dh} zBZ*IQuMboo+xJsyF+D_W21kFqlgSGATj2cjKKsw@sFRJ$74V@xQw$nCQF~j zYdsD`IcxyLySM%G=io|@&5hHgj5fvet52&!TboPH zN*fv(IXc+4(6e~L5pR_BGuyvmCO;BBB;XM%Q=z?s(km4LT->_*Ap01u&T|rw#kg;` zkfY9+b-5(7%XQ?JpPvuJ_=xoXNs97Yv(U48f&2lL`4CwfuN)qp>K>l5sq?NC9tjHz zuf9bIa%CvaE8d(}RK0%=LqGusKiJr?8iPu&TdS&W1+UC4jvk49{HACQg-n~-=BI?w ztp0O(45{ZAvH@IKx;7GYQ=CY^s1@##?@iJJa3pNh+XuJT_4I7#)gs=a_g$yTguvJe zQ%gM#S;(~~q+S^-D)zV8n}RG;EST7SXH6Yc^BpjmEfNFg zr-v4*xxlfhjgAn>#kQU&fi{4D7er4W$Qr+_bl4C$r33H~@YUJbS#a;BVE3)|^em@^ z0=@%mvifb!ypb};>~DT;YwCs21eM|OyKU)3rsGnQ`s2$4)C|5=XZi5)LB8phW_|;|d<)0h&yE6^Gpm4t?_|^q1vv=-% z^Eo*IvhYL8Xh^_6&>G~mU-NCpzP}t=d?x2qk`jiu`V_G}>m;5Hz8wy>lbrYMlg-Ut zy}f$B&_y03^UmmxRD#?P(mX=-V7P?$p_$o`HGidp%b76DfBF15EHW}rt)S6rUdoD` z92(qDEG%(W9dUridp&Q7#U^dM7LUmsnE zXMsryIcd2gi2 z-#l+r9vbm2YEd9T`pV^)b5?ftpW(korc4i+aBdPo*t_UE#wmDH02BjzY5sJ)FYr&~ zqqVi^GdGDjQYy0AP10VpX1_F`KMtKNvx}SH?gT6Uh&LvZLGumKvsDc(gmDMKL{Hv) zZ_JO!44`VYnFbHzS{xZnq3)WzhZEdVnWr=1EN*#-^)9f^)G@93zj2~peSNPXB&7eN zv@?%~s^8=IK~Iq^B{vb{K0=~MlL{FnWEn0|@sMRiwo%s6SW2O6MNcHp5Q?%V48stj zCVLpm7?jLp&%TfQ?e+X|?{i=G{&oMEKjxg*IcLtC<@f!3zVFXZ+}GDHa&zuN30SqEY6(6xkpJFp<@Gqz+SuJg6AgtU?1@Ib!<=zEMQO^ zWIzsiV%RV;3q0S{nw`&^_HNmOr&d7l-m%PmFFag-A{Kx{U&ybMN|owimDMO@{EBD; zh^Y;|&>*M?2|cV8qu$}!0eH8^PCNKF4O|uCh>Rk?CWx&UoMZ;r&s3+^N5rMsm-|*o zEbG03>rFRv*%Zl8aradUG6 zyj~e9tsa}0&@~cg*GrE6*%yJ61c^4v5);5G>fxfRrfMU|QY~6i^iQXhS(KjL0faCS z2;nzys)WMsGHq;&q&@)Ap%KWj!L(*P2u=X)ZX#QeaLX;d=_@eA@RYGjn}8nl;DW1u zwq-Hh51uY=YW*8BTK;z9IjQoFkRa+54A9I1t@gu+GX{b?whKuGEp#bpnlkY0(;7JJ zV|eD&>&FaVCAG(K$FKZdeVjwR?P3}>f*YyB+zSuojo!syLx|N8VVl+$e@p-AIQj=5 zBnSuCJ$sWwo~hy!z#3r%K$qs*sZJbobjkb%#ek$IJEo&kg9!QF4mw=+)l?n4zljUa z>CmG&__`%cT-IuL%1L5CTQJwe+rs{-1(GfZ(~sJd&M?P^t2ZGMBSc6F`mB38Jx?cG zeq?HR;m~2F$-FoL1e(0QjEwkP?Q-87gfYC=>VGFrscPfn@)ryYcn~^2XG;f~d)!?O zjj(4z*Ni)Q3iBFOkw=%WyL)7yPbvyO00WKLT#rb@Kmw2hRsK1V&z)s6gTS>S2+e?o zNH62aP_O~G15BxcYVjE(UMFVnTX?AI_B4DNvy$;t*+7c9qVth-n@#rdeX1J#EGEyxg>w#~_WRw^^a4VB`l)3#K<=y{X$AZ;`NV zmFbmfjot@#JCiZjG!cP3RH-H&mo1NLuf&~Rhr*oc15nQdo7y#CWCJY0V)J)Lvq zbl|uJ1O@DQ;N06J@9zyDb{%q2+ojKROUjUustsa46P3C16F*i;&XGI zV{efI(%#=s2^uwABD0ij?k@^Q@$!?CU2iV8k|356Fx#@k#5_Tl#i0qt5&K#Y!dID; z2KDei@{}~CY6!GF$h(nQh!@`hXzD5yGd-!)_%FL5K!#ZrvWZ2Z;AZ!4dLg}{#hyB^JXMm_r_fteCA|tWM467fudf~Q*Cbw->NBr)L zJU4$e<>+k7HGB5%B?1Atz3IUyT1FKqi$cW!^-ldDb%vumB6b{^9HJ88zShwp%N?Em zPG?qv3GGBRHeTWNz-g_Sh$IJ1b}1N1q}UBvPWLE_#PqX*q>eehUptaA;pRT&!YJlY zaS->OExtcDCwFyiy>#7wb`i3bvjFr#uh|g;Pxk$DW(1`pdCez>zZYjBuOg~bms-kkuyu8+)a7u&Nkdra65foWJ%Q#UJQb@5DzW3w){YUNX{K3Jx z4GlHc)bUUI@&`*NMw8TtY6OFF%$xCivU-2N-9QPgQwFVd%z2IQ^6`eUz)QlvEaiJ`Pz&$`0>PX>&~s)@ zXq34>{-*XjWCjHJI9}TESr+z)OQjHoSf1|yOf1FvZHD8EpX_1vkZTm#4aNBRh&yQh}3%`$zUdruuQq2!d z_igDf<@cU{CLz&z{P^X)`8Gv2zF4CCHgjO#LGRzPa~iB{(i1Ow&>SsZCvw}_rzuJM_KQ|jmvj+5=R99H z&kQCE?NmGGH|Nngpo1SS;Zt6KW0lQIt7s@CyT zODQZY^yfdHaBylkRQc)#dv=6Y*zm*ctm-u*^ zfg5esNs7O++# zNlJ=v^Wd^gx^ot7WWls@?FAe2ycx*&{*}!6KaM8lQuFgmUpDjv4CM7;x}Du^yI*oR ztgNhgcI)c;&~aHcIoT6_?@>d8*9dXG0e;x1`|Sm{nfRWFD8|&%t_O-JKT=M~EZB|% zcyi|$Y&YYO`T;?Mgp&ASXiV6IBRbO0+Z7S(g7kWn(GwF3T3eqF563h&qkh@O8>T{! zR?A?`v)kmcv5L3KRvLy5wzfaW%e1n%8IE zo9%QB8y6>7g^%RdH9K#%F)eZ!`5ty?yEbYfl{o!2;;w-HLqbRf#Er{K5rb;$xD8Z8 zDPBWEZf>fqjma^WR9YHl=})m5(UdlsL^61S}uG<9G6k)p*cEgxkPs5^po1fZbHB!Ur_S9;~8fuf2<}S9tw;G^OdYb92m2zS1j77z4x4 zZ!RF}l=Vgk2tjb|5*^E7n+kn;q>49 z%6h_$AUDYSb@ux3pQ~Zsnm2^amovl$@XG?G=FI76dK3A%IP6|S=f@eY%+sD0X1m}p zPV#gv!HT{*dwCF~UEt?;+9%;0AqZ2r0Y3ltf_aQiL(U@xf9XY74KdI)IbU$jKJ1?q CQ&XG( literal 0 HcmV?d00001 diff --git a/chapter_1/1_2/discrete_math_necessary_and_sufficient.png b/chapter_1/1_2/discrete_math_necessary_and_sufficient.png new file mode 100644 index 0000000000000000000000000000000000000000..c6c4232e5b6ea24ddb9ce77ccb541f51a840b02d GIT binary patch literal 31927 zcmce-bx>7b951>738fSe1q1}?l$P%9ZcsW!xk}4=DC<|-ys}S@ak`xhCaY@-2Of@59^)k^qQKQ zw99SL_YWb_mobNjWn*aFyGvf)@0M(^uoW3+_Rb!Tdz_q>&(d1j(^BzeNh2X46cWFe zMf~TtW&h*t=n)12v)@Z0luS2&IK2NpRN(FKK?C0rDoFbx;150_Q5pI8Uig3f%yiJ( zD;_H-Cr1BdCCu*<*;k@24|X8IjE?UBdCLC8xXM`g?by-8UyoxicA?mK8) z%7WjAKL=7v$tdE822o3qMpDsG7n&7turbvhjE^n0$}Tyb?2gx{dvi;ZMd424wor!6 zaailQ+DfKVuOp8nKFV%NkVSRa<8GUpI1;g&?H7@svfQ<~*;{XWarw4xmf8DuhwiGK zaSaUgqB*&*xc__0$k9wl?`EathQ_m&iNgfvN1W_fut%mGBP+U zC->^~CKNr1gN3Eg^E)vy|5g26V4o6%FRRc_P-Rh}nXDFjnxfrO_>ofmdsmhSsg%eN z=Wk(c`MS#{0mt{NXP7ej3JK94uu$MK3WHwFYV`N%#|(IRZi@MBi_0l8h04VTcF~cG zR@Ig^g%cVtmpLx&zT8}QcHB$*RcQykt+IPAt@sN1%gfJYv(i&u0QpD~sO!&Hf0*xC zsSaJr!bY}K-r`sq2K8gwCL=ICxacqxTXhwla(lgj2))(NL`&q4mNPx>ADA=8J893X z@cMotm`UVJj9*ioR_kf#E5=pBs6&RMx6r_UntkMlPCG@wJ}4!TMa4vp0}rJSJWLl! zbsCVQV?wd5KZBqBP{1tT&xvWbHis1VtUQEe3za3 zT{siheT9#RIb%~}gwn>%s+~OD!?bSme>Enhl%9^WJm@YXHG64C#9B|6)mRCrX(_l^ zZ$D~0y*HOawG4)Fv$I)^*R#hS@mMJ=EH8!AYedE-JcHEh4mCY*O58e-DqXksS0b_S zJdF;c_@aBz6F6hrW8QqtBL0zEP=ETbkYl(`r)>G!Vk@NHFZ(R+1>z5qGZP1VE(J+Z za!T@{&Hm5`=OfvL*(v(>?%qdZzU!v$Ap}#EmfPP(!e7wgLd^|Mcd)tOhdlX8s}=Ui zj$pC;NbWH8J>1HquiL~_B%cQFV8KBIYJE?7elKrr?u_A?q0cl_V8$bSWQ4T`Dm}Sj z(k+ysLvnHr)wbeaE!^x}Cc7N9<5Rii@@Hy=FCQb7+iiFU4;CDDR*<2Rcl&UkPYOE< z6`8Evou8)N#_>Xa_F#4*2h<*(JZ<6y&$-^^4Xwx7S#fdqnjC(rZ;LAWZjP5$n>MuQt4C zz^?IlBUM!7*6mOBo|c}fx!HC5$A>!_QC)v_HE8tjJXUsvcSu&HlCtu8xe0b~m$%I# z0}cuoI^L-J_@}4>8w(!Kp6+$;ve6=CZIj;%cX#6Q2!B>NS>DR{SEQmt*DVgNZkJi` z!EE2QaG;O1Rfs-?+A{&}UL_6${fY+%_Xvb(Ra9&=ak(X|c-c&TUN&vBZ<#q)-d}{E z7Xc>kFQLLvZiQ`^7M^vg?q!^tkh)?s-?=n$bl~jC zY<(w&<=1tKyh)a?mdwvYwz$|jw8gD1PM0RGq@jOEO3ziM>fB?ES;oli?y%57kQ2-a zPI!R2_<r%^^BRo)F-%3>Ks`-8H!(pq45<2dMbUXwZEM=; zOe={>@Zw)IM8vsk?!mJU5ET`5|JLN>*ddpJ1bwn$kOe5i{ARyfp{0B41F3d#1G%ofm1)$%O|=hXv9w(wCkq$)>(qRFYF{LtyVd}ZmL;f>tI$!ZG@ zO^1Jf3UX16_>XC76gN#xLbV!w`V8P8X~l~53@<37pyYmP^f#6v_rmw8yr>?4wa!hh z<#7a{f+_s`URRx2^uJ#{iTaR*CEPLaOPZ#ovwW5Or>IFMWq%l6d=VAxh>S!CDq3Hl zd^F`M){!E^QAjOo^N8%CVL?uR$;RYK|&@K%> zt&}hBeb;ZN9UeeF9ie3Bqa-igB_laa7p!UYMn%b7=`Wu&)+7+4FO^KE;C=}9u3t+d zCQjv2k4Ti|gXS+_oECHNr?DL5%wl9%Z~}T_TgjGnkN_D@YVB-v}kp_4T!@nt`2?hKQQM=`U1Dbh@G3*BEYlk2@O; zmH(o|Ze{H!#?4uGcpOF}Tv;SAvq!4b8wz1TnO_POD}v<-rBI&RH`w{2<<-LWKRPZT ziEc7#-Q^UqGxZ;hMF)2IZpp+SBu$Q63lXuho9XT8de|lo&9w<%Qk&D^@z{tF-s0ZL zCiluoV}7$m@S)5f*<+om+M5=Ydo1bPK<<(2LH-$)PhUdcU8=b}*(s6q9V=*gsd0PP zBUpVH5yB5;cU0& zV*d0rg+(D+my|HxH>ZevBl^aaxt+*AD<{V5cAZk>f}TFxx&9S==ouXB(zJTsZ3pd~_|ED1lX%?j>s{ zAqY6xNo^pn4Ep70JpIYb>o!!QYi%}GH}N2a3JQwD_3IXgVZk2;scF2v?aLf%JKLES zT6(tR=C5t{(UKhTgg-T84IB%`5$;dno2m70-Tft}C7~uEqx-<{Wi1H7#9GUkf=txw zTsAl;6cvT3vL=exXM-jxklGFv8*z?v<871(6L}d}YI1UtXy|pYjgQuMNOMczN4%e$ zxJW*Q@Jz8;R1DvE$ktWe?~!!#eqYZZ{Z&py4UYk9QnQ*;jXydU`XOVo zkd`bO-H`EmLis_~trs0%9qIhc%2|6fwf1!F-b7Vgt}3(F!RdWTN=zVCkcge*-Evnx zMqhVL<&Pzv6z6@8%9`b~)9)H&TvZ017ApJt#q4GFeByr>?*~hylbvvlj4@N#WJQH} z`xiKNLYuS@(4kfJ<6%1e_;*B{?ki4vVFwTTEe#dhqrs@^II1yC;dsvh(>e;hJV~#& zef>Pg;K6seM58>T00q*Ko71P|Q2EwBt=}fV7nGjfl=AKsb?Izjt|dMJD*=zGmWhXf zPcT7wio4~}t7tX)nhOVVEL$KbI+4?(nmr(wn>rTrTVrZ!yoEWdhP`I@@xj0QI#5EZ z;Ro0~A(wYt+}G%)0697?+tKP!-Klj2Knxw0vGNr===T@IT<^&J{kKhxbmwYK*N3Dx za&WdbkXl@kp$2MmO59SbFNV*d#FHQ$jP0%E4%~wU$&QD~o!KhdY1-n#VZh5v1${qa zGOBNDt6phH+DqFDYwv+Mg(O}CgBRqJN6}4B$nA*FEPx*t^ZHHCHFE!D$XUbU-;~AU zD`I2m;0w&gT6=F-YGkN0CSmb!x)c>PA`~egfF-N7peXdEI^27TrlrMed#*v6J(V!e zdPN~2b>>6I24M&R}8y4N;bsN4~^ zBfPR;X2VZS=^i=g<>5^QRs538F5oPO%s4pEpGx0{OL2}m{zguZwZ+E?%0ArU!falb zVTXz7biU>8QoY*a*+)e2OQ~(?ZbbhGWQtO)Fzu=mrQ`_f89B?c6!LIDjvZHrCWf5L z0G0PrrsP7~SBKH#Y*y;)HNSvL-ML^p9EcFFp)giCnZJKPvpXgP$nOEG!}~s)mAaWE zTJNFR8rSy7mUNo4hRyW=T1NWN6U-czx7q4+x5HTs*7FsON54U}#^K`Vt$6MnW@0;P zpN94s3@ulwN|!%}P;Tz+i#b#mY_zpB91O1nrKtAV)-Yc?vVlePP8hz3tNfCN z&JGV@A!aJ~i!lA=0yyFS0U8E~YPD*fWidFLGQ_J^{DgVQFGUhIdL zYd4W}bfmm@VAY2 zAV32c>01~BdWz%ryiS`~6YNfxp6-$6zR+l^z71B!b(@V%c*JyT{ZE+lG60e}6i3BvwCqZ{%l}t50|t7jjtr zzTU{pH4Xa|hEL(H^3&rHw6`4Lt0KbH-p`W{ZE92BZ(=0QZ^s>>kCro9Zs|$2=2K9d!AyAu4SAQ7h&~7y6Hrmtrs_^=d(fBM8p-sq16UToH4`1M+PR5eoVp( z{h>2!xI`bU)HBC&L&wKg&(nJ>o$>e*crwQLJ+(?&J^XWXM6$E%*L zAfJV`y2hv@oAa)&t$F9&{+42tJ_H#^fp?ijg(p3~M8TX&j}W=u)Y-?>@h777mKV5q z!nBkPJEnP4q)>wytQRA3aKCJhwvNQuI&iH|Moq1pcXOlTz1-h|gO=s>wK%Jo!$JPr&E6_>rN)2@VC6+!)4NkXe0BEjkm%|BYI7V&|pA<_?Me!chEatG!2=mgsIeyxF%6)Zv2)(7Es$Y)@UH43lo;t6et&sYKty&NZkNt13!j0^CN zf6dMQp#+jmZ;W$AxHOyk?xdj2qHfvZ%NNgJ6}FIqnhxm(YM%AN`@Dj|>&`38 zwCk2{a6Z)u^`3eO6N}JJ57wlci-RsaGa{E^h_3ZaLz$F7(4pVd35!5j=jbs(6DFL`_uQLF>%Cl9 zw^J=J$Kd}|wLPY}e^&SO434cGMX}H@mXgAc2TD$A8&^WzuM)O+vaNC){kH87>R#>m zPW4TIQ*@HZ9g>blT~~i5uW$RY*QHeN`tuujl61yZRHUIavFwTAG7aKA;>q!fvl3qI zHZ3nNwXmL4jL9|`mRaFFSC@*eCoLV zuE6?;XgtzLiNYzpJE5(?sY!O^D~&z|DXWD!;r+C)`mm=XENP!n|JD7AwWRQlIp|E-qQ8O&3FvvCF4cV$X##JFw-J9tMtjA+^%b1eB6QFH(l%4>OGFRN&`{W@n-0N$!W3ZV{rG_!yH;@{gKydYl}LydM?^xF?sQhclcBnT)Rg zHdHFAgX>wc;s2bU3%r6foyx|u(eJWatU$)1d#&>wjWU2dVD+r{(JJ?xpkY6$!st_# z2p#UROKjXl{DV19q=Ll!bECSc(P`4QjCZT2ahZQ`lqY-1QNc_hiZ^D@9f^uTyU)daR5XP=4OVfS_(T)yRuJs(aDL43AGhf4!^@s(5VLdcv;;Q zkNVb=@Ck4?E2r?;KU!OJxD20v49AR-*x21M7BG(aJk$Zt-ivkk3e|1PX?9=r8jx*3ThM>cZyJQ>0LWIZh`es0Jyi0m?=E zX{uIY`tj|!kIX#93ubjgQCC-lf~_|@gh&_ewkJg*ba{S4`C}a$?>LMd*|>Ze@;WmQ z_0;PQhNMR#!ZP9y6=f8S68~Aek%^;l!sELhx>(rkA_rP#}gY8Scsl?2?$g_d) zpK}dhumBVKcXcL-k*Vm?ii%_}n_FCGo-PQC9cvPs>Ll*8(M#xd(EJm!mRH<$5>lmu zs3IjKc1OyuvpnnqsWKHV4JfVxBN$&Q;{-Y9iYr|nVAx{R#K#4gRvaUEfm0^AbQ6w+)DhW>Wq)i>+oVVXrwCM zhy*F%yC-Fd_FSuec@fLIgLmB9d3iu51F!|r(JhaA?5p@yRtpV#>9YmouqEDaAs+WQ zCfi6&u7E^0a;>Q0P8E_DE0bnRCVDaI;KarP-|4Ks;joSv5)iZU zm=s^Rd~myKv1_UKB1qg+j~T#ly;`0f788~Zmdm%7<^&N2>GzN1%#G`-a6^N#;e)zZ z`&)wDJ$@}uK+Fr=+5#W!&FM{He(P}%lwK^UPh8ZWy{BcmSt@m3me*^pcTrUpHta4Na!U7xR*Ua} zWm0V}?q=no$iV$)lOEXE4L=jDkPvYPiVOpQq#;RP83${rvPd+*2}}qZjla4Y(fXU6 zvwhW=x^!~_?o(wr=<`CZp`@OmngLdPN6_)NjIJouN25qF!7dug;psMg6<3q3w<71CcGH&H>=3 zujcB0(HPhq<_pu&oNh%)Nk%`{fG;$?L`aBq`2pcCpd)@BUM%(#AeITd-;uU>yL*VY zbyLytr#03;kh-t{v}WMIYdP<(vNm?#!~%vkfym=!=aM5r$1pgISNjb^T9Jv31_=VJ z2A^$WBt-sGog0g$eH&TZ`_6-w@3EpFW7G`lGZOp-47DHoDRH{oOs^9Fk?y)iREdcV z_7fsW=eM6RF=k^^S}<#aoV3J>zv>oG3zEIW+1@mzAiHgG@N|Cw{@_f$>60AV^CM=f zQ6TA!2^eFiCSz1ofgB{mdd|%YQdei7L2b&Gkp6Q6dYi6HthL2mT=nNFlLx^rfVTLu z!m$eDE^_tS1Coh?E}YG?dp6&!3%#mRpIRP1Ee{Z<9O3123=0X82?_~1z1;hlfte~7 zetbF{DF4g{dczSH74qso>jXTH3s=YrvX!H`{$2| zfLPLDDU$x`&X}J|f#jr_3W}ORDpBn!87weWH`)k2QBj30HtN+3YE*Bz(X6q7wF#nh?B6Pt^;J!Px$Y(X$;f~ zq~AvpVbJ@$PAn#J+~6()CK!IS1X<#9Ng!~H?1MxAJI`Qwn_inWLH&w6kLnjzMNG_& zL!-}#d}zoP4zA^n84QoWYfk_#Qh^FLIPpIz2z+3q9!NI_QXw$KB@ZSOXU~| zDx*pbgI{1;W#WEh{OD2m3}OJgGHNLm>u{s`?H<4>hxwbu8^8I#1F4f}gR4J%DO)xE zuV?T<&)&X}k)q0C*#UQ3MzQkEN1$5Ujex99z+%yS0XT3T73`-}kcj4U$*vp3ZYTC4 zeEb**5ycqzU@$viE5~Gn4ou|t1dG%uDwrl9LFZ*JEE*#L!NRkBPDf5&$&A?cBmWQB zF%zlKtD*qT_B;$*+29wJWG5DqF9U8cP}8aH?}Hrh(V;K}pfB zX5Bscr}*pp=JSxoP}eR7X}?ERiFjjcq>Cph&f{iqzE3=$C=CAftSJ?jB zUL)Q%ODF9Yp;8cFdaRAf3_=|Jo}Kzz93hm4O0e^0N8Nb5h`cT)d-=EEN+Gt9>D%|< zn46#fJ7&M_hQg_3GT5Bs<@m|}f4gnx|F*H_zYRTpyLd=O|83|Ix+o!vYxz753-jN4 zy7zh|w8I}R*>myz)h+pyuz*~>Q2iPopU#_Lx_@w{ z?j2dF{9rM`)g^j8Hb@@GSX2w>@K52 z^*Uuu$;qB~7@^6mkA-aaZ;A>EP%zL2hx_x!%<{HO@=Q!A#vI&kTd z;k@`M6ql9N*y#44hDLH;+~HHgfIFfOoE{1I%KZ{L@qjRS{g$ZK+pC*1#YjbYBEFn4 zGwXu`0(Pr}=+xAg#4Cl;@v;kbH5N;ac?P1Sicdtmju+=;OAQb5&7mvWieJ`pD%J-F zhg4Nml%t}&m&2rf1&6=;bbT3GTvnEr_|p|He}A&VQ1MkH0uuVX^L2z*l}YSrI5FG& z=2UTZz8t(maB%3sSVM5-FDWyb^O54UHU$HrziEWr{|pR5Wn|E_-u||?=O{fJ92wC5 zZ8lbPvA4@a7mR}H?(+0_Mk&uSKH=!-SZZbU3|`PmhBdnIqy6xH*FZc=;RzHGq$-JmvdacVBiOR$t^)rIw}^SWODc3h}sI6RUtP!ZYaCGibF zf4lSVad`1>)_jyJkDiB)&X+H1BVMQ|P@ZhcC&#T2TWktQKvQ#0em=Oo?&>@!x?3*c zcB^$Ycy-H^U^R^HaB}r zHP+DKqCy@mo(}l1!9@NiQn_=j+Cxk97}n+E0I7e2M+qbAL4R zwumS)F%b?r*gxn~#tp8qo?%E8QUS zs4Mm4{;#(LTpl3!uv;&v_2Uv?BS6#a?3F>dYHCnKYASjDJrX*>^c_{=N;|T=Jn&}J z9$lNLdPmZk%gC zytcKF>RGIDikIh!IR$O@^cW3f1Mb0gPYfyK1Bxp``- zp{JLYoGe|0|B5IrA>ut&kVSt=S{&}{SJW?2Ec*XY)1#xJ)Ax=%O}ED5}V)u*MIR#t4!|s<7WAhBvA_~DIF_1 zQAJh#C|!!Io@hNW|Y4O7r+=h%l2 zPuGUWzrWZ?LC~+P@riLrfDX5(t5d`;U?44iJSu85A|fm4u68ajlT;5Rs`V}5r^}FmH^VZfzfu&jXN7j4A*B~BO^UC%q`JM6kd^9ui)vFD2B5s@A z>*wu)f;Eia`;7QpFUI-ls&(%!q1Dj_dk?MMSb`}BK`~J=c%PrSxmN!`*4%~x}i!;59*+g$(@VrWEGiz-il(pnPn@Rt57^wx)6Qq z1a@{|@B$t>?_7&=b2kaF78n2c@T4|uJuHGYe zu-^pctN-u#T?aB$?{Sh<6J$QZpevh9K$pa!PleO}b$HmAQS*3v!*(429H-NDAj84J z01*QxB{>_paYquHF1N#PR^}JaUwAn@eJ^bgEiVhJHQACQ5MV6ZVHO=eAy({LTXb7m6)=!GAnsy5tr*B z%NbmHU5m%fC)>ij+uJ2K2k+D4%s3hMh3ek{q zGep#%Li$JHC$<$ma_JUX#djNP9ZL(&gUOu5r7bNE>?=jN1A1*9uzzc1#l@%)fUl86 zzErtZ(K!5PS?TnG{Fno^Z z?=QBm<0M?_4=%WTxxw*Z^(8SulhstwTDF)MgNJq1*3d{Q-`U_Mn{Ru8Ly4W8os-Rq zo{kP0q?xF>ySs}{!2Zmqva)hHOfI$2q2ccO)s2kj!|5iNj+Le+_uE_6$#H->18?XV z7->1!Sc=U{T1Lc=PESu6bP0<+ReufkDl0#+{wP(NF`9aw5c?L7V8Pk!X}2qQzhuAb z>`jSA)qH>V*7OBIz|~PYpZWOg3HGOV!)F|2IHL5LzgPXMs$y#{esl%*)*8k2rQDo_ zr}7~}JVfO-b%)vh7-#4h6nmDvoYYeN{a~+y+ukh_G@Qz5IQn8 zYbXVF_z;=GeY4$yH8aC-+%R>#hb(&#Fl4vG|82FI|4j%!^LgJuJUhL0TT*(px3;FX zv@#i1-`2$*8!Mah{@h)*#m|?wOZQ^*M$b>CJaWUrL+{qOfqV%%d5$}+c4BJ_@E$B- z&=Lvfz5g`-^e$VfuE;B$pI?wq=2T`U=ir!GnW<|Kv^Ve1$P}h8CeZFMsJOj6;4jOSKM-Yj>m3C1~q$J-gnNi%p5Ly9qx`dSgJ#xnG?_6 zJU)lY^;;u&-`CkJFaCCvo-zw*&SrVT5Fxq_y1Lu_Ak4bS8Sc+;sWv#^jLkBg_1X@{ z=Reh&ELByN>?NAC?mw{ptv6ll*xs!nI3I;$Q^=P!qCzOB=x`9W@`QzcZ2!mzGKAoZ zds;P>qa4q$P9gUUVo&xw9A5!EkA;bC>9?`{9=kQ@_c{z$$3g3*T6JF+%9hsFd*B4- z#Tg?dOk@(X^70rC6ji~+Rekm{m+br5_DD)?Cnpt6A?uGuyqpWJ<|7NoN`rH`^*|i` z!T#gzoy`Zs_1?h1>PZ!)!22^jNeu}U=&kof#^xr1z*!?vwFMYwxI(+`l`k^riXLqC z=i6}4kCt1Fw<{k!Jn}-)U*cl9J;9<^zLkFR8x21tsEJS|=ugm0cseE|@9YAoAWciF zsybB_FQ1#2GhbWXa&@h^Fk)Z15kWYWla=-N^T*4BMbT-ViRrP-37B0s8Pi(_XlHkW zOgm6H{IJeuQ9}0S9M1Ki|Mj(9EnKJ=3p0EFU~gb>sC8DcJ7_Vs*kHS;Q~m@je=m(-gsF9CEfxnD-)Rh!R*$>p2oDaWp z+Mgw9izsq%aCmWg7J&Kgd~&nqUV@8;`2|ErN58b(tlQ=mTU0dfBZx4f^XVyiYnRl| z3%gBGfZgQ2J{uXcA4AXN<6G2L9f#F`z{f?99qW7F9WFUCi0kTl_WgPdfa=M9SO@yZ z&SbkkZQb{4^HdyN9sjQo?#nk`L|dXs&nd$R@=LRYan(Sh`S}wO5ZDSFjb%OJP6ONM z5%kYW8`&z4wWpR%c1!bf%J~QLwVpGz2ch^JyR!`g`>yu6smcZw*I;tW^>`TR=q4vD zrTo3@Kjp?2WoBn9Upy2Q6@?M#M?Yii?UOC!b~l`c#yZqK4@x z^2a-dhQ`_jWo3aECqaglsbFSqO&;oC>8eDdZ-c)Jy~putT;52(l6osc0ja3;a+{eK z7J{xTtzH%rEl!5x|7^-hAOR;a3=nw=Q}}1EuwUmE=jYF5vmXQm}Y;nc(bRTnlF<+ zynUwM=F;$WB2Vk9bVON)#Tz;^(3=w?G74|3QRUwzzC{qQu=|z5qj$s$#4U&Q0tMxW zywKK{bAnG9d2lf+-byH(+btF*9}KfIe0%`HaK73_-?pT~wLGmZv~w!TEWA0tpyk9X zs&T&y1K-$lKALylc~6-v@Lobn#$kW@Kzl$Oh2+L7o5=|JY;Cy?+atgt+$4PaGBM%f z=h2MxiZ{$#Gg0bzugg#5TTcx!L)nZF%>CJMhgy{Y1gFI;Knocx%A z0ZHtk;60s}F7%gMd+DWRMvmPMB`@;1bmixkX;dLWhbt|pkh{|%8Yb$3_r}MY)p7)B zOWFXrRQUUQ(!U+)JRYnrJEJzbp9eb!(IDpWiDHHgMHQ9F9LZ=Y-9&xH(McTW2fU?@ z43H=97QxdqK5%y3Di1tHn(KZ^lr&yXk|Y}`S49#TjHZac{{Hv@NUQaHZRmNxqX6(T zc)YHUW0N`FHF5ThNKOkEo^g zRJm0WrZ2rn=3ui}ED%K%h62&TA)oH_{E`>X;N>yHZ9Mf^Oh%A=01oIi*|}~la;`Ks z0D4%Mh?hR%{p~2t%1zD02tm&0i^Z^;e$i%2$f9l`1 zIf%`E{gTo!D@YHQufg-`m4s{9ZYk=U$S*D^Na3@stj@{VEhddLTOQN|u$I$muLQ`J$LqKKH#HILp@yvx0Oko}v-!U>6wyOQ6@CtrsvL!1B1S4&i+Gw+B5R&kG&S5(;+y2ZJCH6s)9m?e6Ka9cYNomq+l~ z8cIg^6N!M#`A$y5Z0Fz2S>JCmDHC!fJur;RR12HIPT<-+7Z>Ky(v10J;2>sf_&X!M za7NiV`(p^&U#Zcq?YTUDL;%fKtxQ)qEee|~A79CV%k%2{gA9fJWi{+*sSU*#pth+@ z+CFS;ZFj9~VrKz=x#*v&%AajzM%DJ>`$Lq+?SYKUxaoV*VCeH;U?kDeqU7j%++drP zdf3_}hJ~{dpRUdQZdu((fW)wCxs<%TP1ihIm#CI*00S$Y520UA0gjW)NMfCX;$0+DoSj*|C6>jgx zb6AY+x~i(G`^7<%`GT4uc67<$AoV)sGh`(2B$Ro;0Ot!WRDdjYPqgVMen9s${BqyJimiB6YBEQtLDVJ7F zh1UnTMqFMSy|i_82ZS5CDU5)t-d^R_l>z>qn3U*f>%imjZ{p~fr}61CAS@OZ7Rq_@ zpnH3*pK57~n?7s}8C5XNVNbT0j!-lC*KS_{$^~v zY0hGbLCjV;ugcll*Qi>&+|<+~B02#(2Nv3p=EpY0^=@%YBDb?!w)g?-@f^vzG+w8J z1#ybc>^74L1Dj5V^Nz=(nf6aQ5cKAetM1E%MWn=J#us5=;)a}`^F7=i%(uw{&*D)M zHeR#WXV|mSSbyxo^I$U6$i+p(=@?bA)%bO)2(X?VHtTtCzP>$S{hUW^uE22s`c6t( zTD!*F(A>CdEv8#UJUJdhvz?jBqM$$P0hp~Kj4GAu!6gUG9$7Il5jCf ze+_JcU<>!ZU`v8Ky0X$v%fjN@=g(ihd|B@fr7tP5z?TJ-xPM?klP>PZj~}3qqdfcd z>zC1kOeA<8q(O(9K4My-G5-EN8#y`E`-q<6-!)a1=BDa}0vG|XDM8?)Q z=8|x;S<~j%ivIlR)!NEAH&;|-(Va(8x= zGd4EfC=Kc|_%851QljXgVI21BGl4M*aLcI%9*l^K6_pZW zWMpM!Xt|I9%r#0B$WQ1?E_yMzz^^OywnvwQ7y*V0m774uplMZK@7k5usO#ws8!^Ae z!Rck|`22Clfs1oYhC-PN2cS4uE#oknw$>%L^N*~|x4ZD9 zPrxu?#0>^xzC}Z780a;oHpPzGCN3rs+R;ZrU_M{qv^)M>Wir(F;>!~jSQbiZinZ01 zx7TYOvfGwJXi4(vZ0`Hlw&V2ySp~^6WwJ>$Hp8nnqI9_OZy$PAzX)s6b#2S1w|ZQb zSaReiR+(NAvr63RlJYTxr6%7^AwGbpWhLVh4lj&E_z96Ta_1&Ge_UVwHomvNU#G?E zVf599OCp}P?_SR}$*<7w%`7A&(QDWD&MYMNtaIwO>gZj@5{EpMc6N1gIUKT@?@j`d z2>@_uU_@P5*uMYzxf5>Oo%2yxXcz-6Ew|Iox7?Kkz}220wBAwg_8S&cWOO{bwx^x+ znS6b3m?6FO0Z@I2Vqzi5tS5)1+6eAfV>8o0Z;$%*MekPlKe5vk(dZf{wSwl&sNc4A z*vCDvG@n6@~RK7D(!&b_VHl)Fy{D__`EYoacfMjBjj7`$Cq(Ekh=7YB0~f=%zjkH{YFYN;qN48^iQgzAI=FkN zKwfO9`+(RgQy;&U7UX6B^QrRxNBH%B7C@o({{MHF5(cVYcAgJfx2&`*EOe}Y=EKjv-6-(>tPf-%AmuHN>)pYoBmdU_iI6JFa&o>KUPs3Kl$*O@ zu4A=N@Fw0n!~Y^ItKh!5`Ck?(Mu4)SVmmcGJslMl4PD8Ro2uHKau9fY-XBg=moBYs zb+ZcCgidO4*}~!!zSN!)`)(^iBXn z%)!yFvbHADM5E>_VR(=G>G7AnT5H|KmB`M5z}`qBWC0eO}Y$H~bh?u(znarDN_iO})#lCH3_{nq{*f1&>q4ah*3Tivg; z)n}MG#AVXiEceP%$sWcYkXiC&fT`%t>n>|5KO88{_0s@)@oFkoHt%|Pjy6NQcO3)(R0U?)!vVS-}=eOR7-awQiOyb>K zDM#*D0A9R+$u2n1FobCzb(>&^KR8v#g4u8^oR@#rPhwObSLjHvf;?JUirH0mV6e#Ryf_C(N7y;B zcT1!~iET86-RUF#=`_j8Z&K3~qqbH?!#L)d$-wf42n7K14a@FK!4?gl1%AC`m3xM2Y!8?}12EbhKxA z7--kvGL;JlhlhvdE*D0`M8={aNlM@mW{C0LE%a`^~hdmky z7FT>f`$+nhscKfjZ@|Mc^>r&%W1tStNlB5nkTG>tEP>>xsp;33fG@eoa)^g@N(u@f zRmdnPm5=Z3?*)-^ap~>oNtxxDzCgTe>q&$SA8o{6`246>x2h;0{VCntRbp*+PvTQ# zv~7{y_~IA=KEdrfx0HEu(RO!jSXkJHaS>prrBP7ay78*K@cnzkA^UH1UqHBu+@hkV z2-+IJ&J6A1>eM#oO*AOuQiq=|4oex};_eNl+O3?F4Vk({w-?!!8<~tCLIAc4%3a8N34U-Z{7HL zn5Qa7%Kf{iJOA4^(4{qs-yiM`=LM5^r3R)!><5H6f>|Tp~4*By(*zFi4aAYdw zbm1IRqte3dZ?lcI_H?k0PR1|w*jSf@fz5c1WIjh}m{{}U#}i@MB>wdA6coBA96U8C zDK9BPwHlm@>%NmBuCz+32HvL9{@$;rK{Shql8=@8wk;h09nQ-Oe~NHF*qf+F`i2%4 zmz0F9n-SjrRBW)Fg!1V&3W7Hpx!jBv?6mz$NVr$KX6T#ELJlr<1Rh~BkEi97H<~hL z!~RkyDAd8l2D$v~-jI7oRj8OsetG#=uUHLHWH~4X)kJ&VZ+d$2i%ViQbG5-`x{i*O zo`hZJVdaIbp`wqY4vTYDWj#iK@fFhyrk3`H>e@ z6Wy>+7C(KhZR@x-QhG;1z24o$!~_jtY_@(t(svDKTyk1oUS7+^J=5r>S}|?h7R6{| zV}l4uhGz5-ahwh;XQt@*q$msogJ@Jx5C$(N{8O#?aZpy~@A>s1m!Y3;aAjPahPi#$ z?@TEPJyQd-_|T{$xT(#rYAY?7b<6&?*1H8wCm{5;yly2RIhxf1N=Cp&Fk~+*m!(DXUo(r8mFDa@RX)U2>yI+!nPS2MaJ>-&31Ths-M-ag;QLQK_oOiynfEu_4pqRK3D+UEGKvtV=H0|JTvU&Ys|qwUR${)JW& zHoIrTX5h-&PHh1KaS&uNxnXYMcDTjsg6k+b z-782x3stXrwEdpXW?bhSOBSTzramvxgiJ$s_0GNaW?3|8&*+h5nt9vm?ZFp553cF> z83UV^%gkn(D7l=s3#Ri%3n#0OgO`uiIQ3pOqM%k-Oi_-#QBuNth|OX(cjIT2gkpA9 zwtw$VKwn?(Z^;MU*PcImHLHrgm*FA4!VD%EnX4(!msKx@hQ4R#sQ2QwT~VC*+^ukQ zjPBL-^Zyc8Y5lWMDhi9_#cZP|Y{_yjUi=JkM->+4`LsLM_PXe)Z<9KgQ9)G2QIFse zmL|NND;F!SJ+%X4-Y~9L=t=Z$3J?P%pL8ZX}D0>5~ygMR1tUkmBHx;*gTUrd)PQV5iRM@ONZqPmc)O zZ3F~6o+_v9&!t9{+vAKhG}$xd>q(dAeh*1}#KewPdLEGTjcxDZQamPMHIGU12p*)7 zBOo9+yM5xcHuVs3aBw(oK60jS3|A6vopZH<(?Co#LO5D1+T!-k*u`1TJ3J>)~|-k^K}nXc|3{j)w!Sg z#W(G^(L}z7M}$1r9}-7AR%}N+Ha0^+Jkr*dVa%UOAZ3bv=8zI;SZOt#o0mtzWn8o) zrp!K^GnnmCq@><@S6|=yID<~HnJmAeq9Qf*)r#Wx!320YM?Bzb$%P%< zp_vLoEv$NfULyX!HGU~#;Aut5MoY0^uwJ1Ig>-*iGoc%iR9UDuryBtyuc$HylMG^_9Z``&$nNvlCaEuQU! zpSVpA{z6hQ-YA{^CWpVfi&{Fa>V1=sRax^VKe%}iDOaa$F@Ve21&Cum2+uYTp0#m^ z43DPy)i)6rCxATv(iM%js!hSPvW{Ak(M*ZJ3Szv=-`&kW&5yIN@R^fChT7|HSj<4w zjPpZ++lYMv26GF`cpN4IQ7S6Lp1w%*-Tw_Oyvd zPT87{DkH$67^I~yE-eOr4P3Q%9gHQ=xAN8V_(7=jD+vm^f4Fu#{vI>oi{n{W3$nQOKs*tWsc4;+;GH8u%x#xs-uGcT2(K~ zC9~*ye&ats4tylo1JSrNC8g_l8$yzklO6g!bTgi7DOuUAf>GgZUrh2D&m9UjHYN@Z zCXS<|w&|6^CVwjYhMe47$&iXP-{%;<4-mD-o0@gzt zNBT!5Nl<(O=KA*S6M*2K6LnMB)w<;Qe*Ag2Qz5@+OLd`W9Bj&+SD2`%#b^b(^)&|T z72S=O%WHG5y!%xX6a4(~7>{p7KBwYVmz9+@{PIo;@K8q}8uKSI9}CW|WzQ{8OIugD zmRHkNUSGi3pB0`JN7X-PUw=q|jU69GN_NPxioDH|T+oeerbER3!ntwDnNR1PXiEwt zjEVfXi4iB%Opf!59n#eM{)KXb%@D2_2-c$?zRg;qa#h#6nm@3gd*m9?a~ImsZ5E%~OLUfKu0Z|KDu*HKVFK`hs6)=zjfd_?(| zbFxSOd8eiZz){PypjmwujvTP6Qe)pn0Gy#!g6vc&)v0&9Dqb;DX^qxEiGcGGedp%?r!Bht&g53`CtjDUiw+l#%XByw6@M}b+b`%SDRH@(r->6mu$dG zks}jiI#F(X9bA706Y(LcLUyouMn|Xlf)@emY?H^C$!V@KBIPj0Gu${0i){4zVAmkj zBwP0@k(B-Vgu@)!TZz@zfj2+6ZIS6-Q<~uTgR<%$NvsjnzVk?xGxYEy5G1^gYiu?p zC&l_WSo!R2!KB#dqw{I=!yKKMWZVO}I@KI(?#*`*){fSAwPbs>LrM^w_{>fq_kYm+ zorU`25VQh-E|pvI=9jImh4DfhyZ!BjC|_T1N9JGA(~@MtE7u1m=<9+)ci9i0-Zq?7 zQa3RHvT*20hrSILDTuPp_vDe<(|JXNztEk<>OAt(^PV|Um7dkq7`=M+OB38nn(Ms) zJuOu^J3GV)azCos+Z(8AUv$FDWWLRbe3Ix+d`k{9Jq`pS;Pm>$XZ*)a1VI3uyS0AE zgMicH)+bFq-LXc~eSOaj_7r}H5k`N=p5HyTuqm$JqDwE7^_vg<~fIE#g zH*b;H+1Y{z>$X=`ujiwUL<$d@5t_;~+{-uzGy7jp^ z1&+4Xb=#{F)Zx{91?{Pnvluy%@*+xxln7%}WJf@z@`-yxR#e6LrP~)ALV_pmo>0#avMSPA^bkfnXC=%|Q{ z?97(77Fn*sc1-w0LXkZs#-&0?Lt*fUNdl1nm~vU@)l; z*E(9%)b>8z24S&9L^KjFT0~SV>0;fvEhurLHyQV!CnhFN0R8@#pf5Gci|*5>rq>@) zF-W=H&lYpe&dyRkfQ6BtmR5pXAK@*qWFUC9wmI4CeFFB*Wwq6H^7OyqRX?b__dX~a#lv3+k1dRMIG5uD7$&E-1PuzB8o{x?;ar>3Tr zni}*khdTS5ni`&`{QMl$Dl#%MQkrhd3EZbHr@dZYq|7?DwJ!S~SL*k(<*s4jf9sDb z;I!PBEPp1zgn{rvy#cC&U-<_3)Ezk)RVV85AW3XO_(6OSNpZ&p~)cLeD!2A40=d_qA zRkvplJIf9t;?_Hp?d{Dc|1Pw{U|$Tk+tIq}+|Q36jW##x>+7@<5@2oD8pZ|&6T5UG*};*3kwUwMbcQSja!RLT7Iw3RLdA5 zo)H?APQ*wieR`|1q@dymD#xc{>KvT-gkTJ=#PB8^^+W6f~4W+Yl z!;DHgYg5$Jl!8_>d!FQ8P(6V-q?&C0=H%eO$=8R=09pu(f&zfv0Og2L zQ+Efp-~Q0r+Uk9BGPD?RcE%&a$Oy4Ku0XSMVYh_!MP6R+{jXpB{H@@P?%)1Iq$!r( zA0th@OG&{L-TA(BX>pO5nE0k@^ZQZ>N*o|E^YYRMSJ{XIJ7Mw)DRCh6Ni!ooy`*12 zXK&}=zyQbgbU;k98XRcG%C56Hhb9*iLZiKs(kqXKf}|_?fVa(4aG#HljfrOu!W+hS z15EDq`W~3kSfb5y);H4=@7=p+TT*gx;Px#yhl4RTE{+&%yzD{$QpFslxfVWPTNd>7 z>F~bfsLNfF@!#yU!B6tncto^>Y*&eo|~X(Q_^T)F6c zo93*!z!MZowdR6!GCw0jNmccAs{GAi9}x;{hPa>cMG1;@baEn;DwLt zjpRk2u3%Er)6%w|@BD0U7Ln&%TwL_SF(_6Osm31uAWe<_#Y!AD)L*K<*#r`*;*dqP0plA2ql9YK=bY$d=jf0e= zcnpVKR`+lGU!MZqVPu4cnz;6B)DD6fNpE>g6PK4h2JKj;Bn>kHZb#e69Ckk4zavq4 zg)LpGvZ;aXdS}AjHSZH3^~%EoE_C=O;WpVs!$d{OTk!I}0zkutAqrEq+J+T$Ql?|?94fRdIixsDK;rIpHYR8I-hTu9HnZy$0@s<^`2C`qMWAbR3 zw`RmrY> zI)~f+IDzMc3^PZDbxPx1=DU^N1dmI4K6=(S5)wI1vkh#-jJ(hC$}$Wmx?qPBZ`cY;ZiuGb4ox=Dm)@7^}dFLGSCjW`*0 zoiVW5&g9^@6GTdIwH|g0onVroG)a&gVQOa9LiV=eaB6(SZed|wKRx|YIEn7rGt`$r z2bbs)GM+nxqWbchZ6z%CB*i5pBt|MLDtD(MvE&;`1k}BJ2B(xvA0ga7bTzMs~lEVZkU`fVn+&P45uja&k=e&9UyGqZ4+;iOtRpw zRBpqo{$auEh(|zhG_>6xb!zzlYIot+!MAVS?26?;uI?>)RhIZ3Z%s02;Njvg5$;Lr z=;%@{uw8BJe z@{|$IoQ$=th#ISb`ZTXfMMZ`7y8Zg3e{9IxuN9GE7tPcrn}9&HNkvm`ES>&UkX&}N zc$8S!&KpKW9C?J46&Vs!EKO=Il$4Z&M6NBEjD7R;nh|0Br+u#Z>p?P&jOpB4&)M>4 zEc}5dzx#b)x9PfnUyk%#%C;meE$v121~eu5>)v8cu29x^!|D-{3B7oeEB|BO&mvFY z0D5XGt(cjgnVqt<=seye?>me--hGO=Ps%4=^lqZ-A#S#`grxL+&(k;5>ht@j0pC|z zT1D=B{(SGX0nD!a?!G+#St0%PthJ2`HZgVh#*+h?OFtBKOIcY{+k45q*Co?HasBc9 z82$DwqAzSa0=~J=pFdM)W&I)vl>Q3yHwATn1+fw5!-dcdd3%s1~`5$OCmj*bhvfoM%`Bm_#~L)mef)yhFfINUfrqgJ%Ew0<&0r4laaR&`gGEJ_;G58^LX zw3Kc_(djBNb1ZDh6x@b8^NTT;kP?9)mHPLL0R3VxsPql=e@jYHZ9{SbZESwYu-%8_ zhOe!!$4hCcXb_VVsw!$vYk9@3t({bH71Kl(6?#wYIoDxUSNAI@klWhDZ?!Mk4h{~) zb=nyi7|1$u?Ak#JCSfBnc#}fV?_x^HMO|IX+#EK_LBo7{iFtVmH2((=9^ef4kv3MR zJ-(tW3GH0^Vs5TM;_o5GDpBSE#gpIW`NIC`_6t_v6RWifc8(x${r>VLYgKS@nVN>W zczh%4VU&i-{o9WaB3><7VArLbMyr`fNazdQ2=BlF)Lx+x ziz!+fno%td4`P-Z0-sqKhr-Y=;-U>z-c#=i12zSR2&pIfi>R=KF1_dW_70ypakR(Y z56lGIh3wfYTE`BY)%a)D*nrm^(a2u$xs(*=NZ6V9+$WJtm7mGXs#yGR_p-LVVf><& zj`>+UyMw8X4a=^XgiXi1%l@TM(&6Ul_OsxNC!EJfR~`fxFAvzayQdd|7#mhhEZ89r ziAm6{+#ep@KzJlEH0;xYx)K+@zi-rQTT&YSVm2=)2L%z`$q%9@B-NjM?ib|eAP;ul zVxoTfu<}I4sc~U#ZQ<~*s9KCmp-$!0HiK>*CD(H-#5bk2)_l$5jaixmE)MGDA>Fo* zA_GGM2Q^NOa*ZBfU*d1oqTRd8WwTKTdm9uq2qMn6zc$^H-W*3JXjaB^7V_w@tPe}Q zQuqmaDnY>E-&I_GB=TQVNOVuKQ}w)(8cagiHD;SgO@DoBVIEmmw>5p}j!isKY|vK3 ziJfO*UbiI(Rz<_grSVc&rau}Q-n~pvdrtguowg^@5!pfH$1v>V2~DNE@iR3)|2!|!>- zAi&hq-}0_?L*45DlW$ww&T(L1;T{zN51)XCmuF;n zc=hi;VO~2!4OoS=8Ic1yD zG`Q~mI&AHR^Sh|43yWI=(=<`g&gbOnxy|p0{b=TLvsp4qNg2tlw|Xxj8P_~<_YiTe z%8H6gankh4@NNb@l-F+8%i9Kzk8HcS-=IM!m`Te9Z&lfNZMobGs+Q7t^4I7H2#E&S zK>$&ib3i>Q)lDgMO(7_c9$PzU@rq6C&#trX?18qLnlm(X{{AhAXz%TW2Khg1CNx-4 z2@yAw&u-oQw>3Qy;4^Ly`5ZtPFfFRC?y}*%>)?TC~}1E=QGGL9dDE<`sPZA}h)8jka-nVXy#MJ3U#6-Vot5*hgf-{e`Hn z)S;=hW}=4d_U%VJ_I-n+o@WedujPU}3@uMDohXP=Kg>Ep2c$(F_{zbJ$z#SFNU_$b z)fch}71#1_5~9LEi=U7A_RYYP%+f+4Dk?%co~!>jv~uNX;b_0Y_~%=&c^kbq^s9e$ z1Lup7s+`r2l#k`fmG4*ARv!`(-?PFi2qd=^G<;u2a|Km1;-!m=i-(SmvNFD~tgMVS zKRcCZ#xxV#;%N-_)ANJ%_=wOXO|8Y#_5jKBCFF&8x&ouveN}lSJQL;%kjF0Fj<~9- z5^CL7yIRoUgOhoYXN7{8m37~HCMJ2c9T6W&1_t^;R8)f z=!)NT<-Y5*)N-h{>m3~F*(xb5^=vPlN=Q&>@)7m+Mg3r1fxED9Y(6XC+>QlzN~*AL zR`$2TLQK!y0myInejxP6Z$Xbfnu)hW!;eB23CFde)oko0|KE)!n>Cii#B==$I&w(| zY%kn4Hj#^cPdXk#uFlNFL|_tNYhw#mWTl{IkXShD3=7y^tq~pY1;?cvHCV9C(%VC~lO$P}kIKl0K)oQC9~ z=h4XO!cu0xw(w3~R+Ng}3pU^TBo(Hc8VFhj20rA~RD{VOxDrM^v6m~w>4=@NHed0h zC!9`$6XjrW5ipphTOaCqo$Bwo&Dk%waz1!4|0{ShaiD+D?BBv& zUpN$(kdVmK=ABmsUcq?$&AX*WRi_uL<96#uvpGuipM@TpaIaN9;w2#=LA|{6Z#*J- zuIC^4;9v9zE-SP5v=*eiz-M`uB$-*D-iU#?Na7=4dT=~hc}zOSJVpN)@=K2uayLJ# zi$oqL0hi@6P&=*x0;iWis9BWq2{O-KU2y9^CXAI%;x?*CEX#R|^F{yL=g)^;w-@dZyGtIYt=w`m&sdgE zAVRF#OFhdIm5R0>9opzCUI1H3>?<){!WC$1d8!2){Lb=yA9xIo7y`GZLHvSrOH)mS zq|%(*=@bVM6MI~t^ayvdTlHFoHA#49@?*Q!QDSDaYpM>cC$GS!*FiTwOeHk>lDoJ% z7pXD)6j8Xb+aDPbqW8~e7$0~2d1Eeh-jMZl9{+XDc@Po%8zIZc$VhZ_^ic-g2ADZA zgFFlASZwKxLc=IASy%bl3v#MGzp=e^pODLSK4LIfv|f5n!Q$vIH;NWP9dtZMv4~-64B{R>OS+nA|usC;J%^p!u@SHp=-0JcTESm@{kD#SqcV zXa&eh*svhPwH19%bbxxEE$kI^pOy-{%hrL%iug)uK_{M)o|l)C85tiAeTP&G>A=w4 zK!6Mg*J{XS^6aeU3iY;614cBl+49PgOgvXkQ3{xE4!QxO%bRbF|7^g>;^$X@ESY-& zS>oe!JF(ZOg5%%2y)Sh;j+{9U?rZFUhy?Bf@@%m~C{;Ncn(8M4Ng9pFKt%>|gE3#M zv!laes$|Iw;}ANIo)IvE;@=ng$+za4<3rXi{gyRlf+k<7F;U9prvw;S_nWDS(dEX; zAZ4VdVV3)v1gYfeU}a%$oW@B&w7YF-#vux}7TUhyeUS#@b&cH9RLD5hLSdV*BRrfMsV zSKlD2mN)8b10x*N&2sa=<;Nz*`L(cXe_+q8B@1PPwncu*oTRCQSc5-2=PXdAaE+;) zwjrmePac6)-GW1Kmr5vHH$R`(VN3de97?Xey^^28z5^!L+p=L=D!Na(=^n;Sxw6KZ z>zl>_{{u5Nrk+hpXg$CdYi5$pil`=h+bayhYLA9%oz&wd zUn6F1E$F0)eiYL57WKy#^4weV-Ayn#?{&-hMAsEAPOYu3`vO;L(>8q^IvPKU4Ze@C za8jc)nQQ;*J;Zm->a~yAE0OD?kTlSQiUZ{}nvj@@A%?A1p`Tg0fImvYNyw=ETfg{% zOmMv1snGiXinNgz?~llz|Jlft5*h9I#cem6nNe}^74bvAVa_WI4NG94p`l@IDWQVe$g#5tdG&q#lP|`!+s;cV$By34(le8j zDl}Zu0v(I3$_ZT(s2`U2Qg}2z)#dIBW3RdAW zMrH02T@_)HHx1```xd#|JO-rOk>=gXl3L-)16c_CJ%p7(P! zQ4|E_V-$q%{x}a_H$Uz?I@a{@Zt=X8jUqHi_x(QgvG5a0#ri2Sn1dt29e>DbHH=bT zR&K&J0lp}jsO##53qF42r)0sjg~`yfk~8AwF@I(=_wuq5Tbp`^xvtoAC;m+8_pGsv zJ>?u6?A6Q5^ezP-{>N4JZ?L`z&JAQ)x^?p>$ceAmXFVRxrujLU?~KhaT9{4d2aAx{UVSt5+yCof<85(cFo$m~Ldm53!$&wHvZNV$zAIOZQGgAY5Fy5#XQV z6u5C}X=%jQFMlOszlV^$a;W?4;CAANjeux*(qhJd>z5Z^7ZtD89Hs|CDw>tKxw*8Y zIMLCdoc`-Ash8>CwyEhTYHwQ4d5zsyPesHGGB{T)Ts>W(VN=a3F+Gs1r(nVK`Kb$@dg@g zcTMA$K#4S&_(_caP=YTBKh?9GoaOPkq{wTDcc(`AkDB*TM06u>Dp);5NvX|RCQPVI z{fH)HzySKAe|yX4UW=I7_>aH$QAE-$&( z;^N}K0>dXD0B42#YMtoc{r`J(QnSbn`i_T?R4b5ntAunB!Y ztH*z_$q6fsXD$Go(>IWjd9eH85#n2+6(UtZ<$oL5BtI#r!DD-kL1yZrj)K6Rh5jWz z^n3R_PfM!hM&zn5uSGW}YE{)mmy&#acRtyJ;6Ten&$Df<-j^Y1sJS@NGEwXXsOJO# zMnQzkXs_W~v>pBJ2NC=n7|4el(uRc~Fr{9ek#k!Y`F=dXlHa)HaVZsc5?NLH23`HX z#(24X!8bLVDTIs-e^1SPYSd1;Dwa*=!QZ9l z>zf6;@fj_xTF}E6S1V{R)1<~`7@G7xv@IMye_li+FtwEsQ{D|O^PbCrA5kcets(;M}^Iy>cP5O=;iihr7ub;X6sIo zqq4>O!{CiPA|;9mivVaE&VYbP=b-cJLxjAtdQNtKq6kGGF~9551Uo=A05C&KTMcrZ z0BC|CB}G+cCVGuh5B}Y5d<3X3Q!u6mqzl4fCLgg@(7{pfU{X_SNRCB!7)rKpdiSgB z78jT1=er%QYHKUw|5*`qm?#@wA4NgLcPH^8U5(rA5Pzq$d*2yldtG=vRLm;d?wbS0 zSyq?J%5&a(HauH|yzN_m`tZwv-zA_u{j&muoulubHmHxHu38 zIp1HLIFNAOCuS8{+`#$b_2>Fv^$V4h|L3-$p&{7>?)<{pCjCDz?|o(k-~$%$@W_bY zP%9MmTsv*#KR>?0Us{4JS3U4isrxWJ&nKIa9)b4R#)bwRZEd9Y(ziz0B=gY*q=(MT z$O9567{4jy7W@0xdHn+{3!M1B;jPh4E_}Q~DQ9O-thI->K_2^qnA|v1ctM)WK8#g^ z6jq|Q@wFJ4z|m-Xe-vY(1EL7V&!sKL9Izc89ut~)LFIeBzB8Bd;RoEJ;6nwG8I&LY zd8MDC36uKZRP0JhAT-W+{`lctRRtil0gW7%r;MyLj$tj}Lc%@|5(Uhn79C1K5O%sc zn!Kz{0^R|Lw&CGnh@5%fza?-x^~`5VeWr1|%ZI#h{<*;&5XBU^(`*)s&iBsj{E%4! zGLWsAYGJm{!_`TrUm5;hv7JwEV}d@v0aW0>d2&`WlnKzlEX_NKD@QH}6N41DCmetw zg%q_n)`&4xx`Bo%+HH9#C*1Rqs*1wuaBZay=4Eg-xvgypFniUm(>%pbXH0YRK=^(m zFYkQCqhGf>I6Q zR7Q4TAz)r_Yv#A(E2kWsFoT1_F7)K*(9Of6q2h#F9j`7EYZk}DlMj1>DG_${wAZrz|yPUtHqA3 zX?Fk5zp=u8T(2t1IUVN=W@Xm9Idz}X$9HS&tfx_RT6h~Jff}j&e6tuRw#L}%>FQFM z=uJ^waF70-M~-J@)oAhIB990#~qa=vFsNI%R$5i>tbww#p}Saf+kBg*{5GkbNBFQywvl$ zEcS)DO2K_+GTY83es*q`DO#z{w*-(|0TKv9PZLQ=GYVz{`WpK&%P=0Ev1nJ@y9`8h zyh-l%#X@{7E5kb=gJ)yCd#2K*S+$e95Q%QobHOu8j96S+A{V&2R`mZ)*tI>`*l50Y zrkjzUZeeK7aN=+f!veUPfQ}B$HBZC4%iI45!`BuTjpo>--dA%)oj8}A)m+@eqr-Mp zq|wi0nP;ci^b*;w-4}gofiYGfc1A54QuMah=f9;Ub2`mLtdf9{`dd%7hlFSP(EJR zJC&PhsdQ2KPm8dJbUu2!IOQ8c(Iu-0{C`czspPmh#l;FEE-&F|vCdNGQat|s_mhYJ xede}!>wh1$9mewCHe$P|V;7Q~N2~k;*0wF!G{{sn04@3X} literal 0 HcmV?d00001 diff --git a/chapter_1/1_2/discrete_math_quantifiers_converse_contrapositive_inverse.png b/chapter_1/1_2/discrete_math_quantifiers_converse_contrapositive_inverse.png new file mode 100644 index 0000000000000000000000000000000000000000..0e5d28c197f5cb39c1d5e7c649c471c8225f6ed8 GIT binary patch literal 38446 zcmbrlbyQSu^e%o75di@OX$eVbB&C(^?i8e(p&JF^LkSGs-Q67q!jO_fBOOCGGsN$B zf9reyzIWZVSPV0VIp^K)+3`Hj-X}s$MHUyE92)=tTzNSu4FEuA0sypUPalDwsEeD> zf-mT967pJ4pFUk!Rs9P9G=RL+2QBZ+{Uu8yEoBnmxIz9Y%M)Vr=jL8sB%U;$W}m!T zW@*i7up=W&-!z-&k_Lymhr4?@9-+*RyAi~t|D9w$#NrR_kF#;oveJ=6z z^?B5I&=nfZzrXL8K2Cl8_n8(E*B*ou>EtbPV}b zJ%yAegZ0*9K^DBi{acCnYcJ|Y$gfD3uQC#A!v#*cPN*aHiZB9b-f3S%CFlFatJsY`O!0X4q?QQSF zxXI?sF*wrG-IZmKe)Do`+oI%G|CXgC_Sbi_&H3+&7}A*KcOys zw?z6HKCUMz$TR{VFNop*j`7w%{#sjOe9Ym)o0npqt=AJbR!X%!a`dzj>3mH>=Tuy7 zBRa+*#7VBHNk%F*zc?Nj6@8nnpjA;kUTwXS z{WBUBO|GllfOHn=6d$bU5QwePm$K&C7k>rM2%c9*a4pOQM=nFotMvp`XzAR=6ldzcz2`ex{6cm79Ljwir$X{KG z)?Q;dLY|{*pGK<*M~2Ci81?H5uS?7)#Rq2vqu8iB$1BUUMJz9V}xUHg!x|Pra*2QB`#`I()bvshMq>qC9P( zX$q#zi!(%y@Qy=NWz|84DF2AX6*SbHMdEB#OfQRp>abq?cw&hlSVlTTJA!SsHh%Y3`KxA zqiWK~v?E?cJ&*%vJY1A)koihA{T#V)7okp)qUq}}LL09pS2C$S56xnZA=Oh6&bxm+bw9MHL ze1A6(-y`X&AOzc`a_WKl=;k9rD;rd}gQi!Qp*MlFuTx}jt71wx>}Dz%nu6QItPoD3 z7$WyIv#1rsFQlbygemax6gmxkO;Y6c@cJ2JL-sePq9cQG%G2#n^?K<2s!9K2m1mnl4*oflm~mI9TZlW(&Rd7Z#fi>j&pQ*k-;aXj=-YiAdZs!~;>|Re zrEh%nZJ9M9L^uQ(>A8OO^Kc3)9-7hj$s~~62+rkoo768E>pKvgN;rA=N@#^{^b}#I zzqk=G(NIcs@P!yD#lgder!3m+H!UrpKSxJ~pFZr<`DjFp$A6|eqP-1>#KGC9X5HQ9 z`Aqxwj1JwuM=DgOHZQbDBiTE(i;Y0O@;2Q#FydM-oHa1Yfz5TM@Z2^ zG$W+)2Y{8%N+noG^zjwexi{05$rtQxXyS8fRq-obK+U*fX3EljgF~`ld>G$=Tb~Uk zB^FCUO+>YJ@Ih<MY zjsYu0lY9>$-EKU1(Zvu9k;vm>5KHb<`4$y{jb!sl+T4QX#}XxaJurbcz>xN>5VV~= z?@`~bs+Abh8A*s}?=%%>;yhny)NPCo%(y(n&qAa5bJnHyhK-rUI{?ni&o=Pzb0NAg zwB!T>_J5viSP|ap1r9T7q(x<=PLhPcY zXw_9@^tW2YJBKzC`JJbmwYLwULy0emSXOGF(NK-l9EzQrZ=Fsz2PX9L+UeZ^I}RN| zhJh+NA&esl=Cq$>DEL0zFUEApwYc_p)%^7D`f=NdF1nJI?rgJMz68S^I&EkG-s|@C zUE;tg5ENlSmvj8~A}x)fFbk~5w|fRn$w$KDejBr0R>f%4OCS`8Q8D#e^IuV4|N7{= z@dA&^Our&F&M)(~hSJj(eL|XNF}&pLqRgvz38=T<(Q?FF%gXFCJuYT@yo-+(QgE6N zGdjJsmE`{3EK&U1&MBiFE`bsnffCK0@0hO+@7{C3kjLj@K6&u=uE_HA{JyY^;e3;A zE34W4g|+)XZJu{wkHk0ycnZ{cx`;4UJauVCSHkHLVq`#RW*8G3Ja_z~!!LCqFgWkyrHN4$H|u0<`%&5GB-m{8O+oSaZYd z#oDMxog6)J6k^J`)qQLnOln#igI^{H03cgfkX}aiaS-zP>XG01Wdlvk)i)j48zTRQ)*l8lV?kb4UHkZwrZ6PnBb<-Wt=DYu%`!s57Q>?b{?TGPK}^ zkzI;p;sBZ09?Ddg)ufgX-O%>1VrVvP5)=!dA&!czGIpplH+guQFe>8Hb9c*k5GDkv zu%p+Vd*@MDg7|b=bMeii8MB!w(2!5>FfhqFF)^`~bQ~V8p0)Kv;ady@b;}$@boQ>O zXxlWf{rEKDq9N9SXj)d6^Dx_V2BMXkLUBLWe|4ZJmV(+l9N{t41rtS!N{9>)_ngwz z?8pk>+MDg$N)kxu+kz;3ef0TaGPW?@Ddk`!Pt)p;O(PDc_yr|jwx&ksxW&|_q%b_E z(T6mlVQWX9DrMc}Hh5^$4d`8Wf$&VOh_a=;X#zui_Vu?~(Iiq&6bpju+AGmI~ub{$gkS)874 zw5GC8_9KJ5afrH`UM{_6_<92t(`Bb>BNba6h0|i&-y5Hb@{92R!;)C`;jxScGbY<5 zR%W)^#l|meG%uf?Ht?*7yS{D^d}Y%1x2zy5Z~@PONE`U?+3}K~HG#)uvfpl!wciJ) z<_EtPFc7tx-w08*_4T#-C^l!gJwLtyFH>OUo3es2q62#tSehp&#`nkp)VENf6LD5^iG<)46%>RVu<*heT0?^0;e_#&*p>W4Ekyj2g}v# z<6gd$HVUu!#Nb$GSd<`zXLWroZH?Fbq6?O)VbGd{DCH7(xM_b%8RC_N!f!jIoNJaf z1=Qe`fd`tuKn`FyI$I?Mk=g5o@bIWqn*QECVdOL@QZKL?nfLfTtp6AQi60oAKyNA8 z855_8G%?=g<*bdZ-|$@06m6?`J0=iw@eJf6z|=%FyzL<_y$QiG*sB1047B>&Y_nST z>lpj8EjF9hcyuh&^;31-DOEU$N~16U@)%DrEq*3c8t7@c?P(1y!Oh_}w0p~dVizbV zd`YySS)=dJ4E;pM4JE9}diNB#i)P|=n0N)GH{0-iTzm;Uy+1!$A|wHJ#H}VWafM;0 z7v#GpCr_7rF9&Z(O!(}kp9H_h_nP>v-eD5*!c_I(%um3MB=E=tKaD$tH&;0G-SfS5 z+dtKsv9IaKp8c*Z;{h20S}>;PHd=07_v#Nvl*joq7#6?H{Ni363dCs$0Vi@0doj_) zRF%)v+Pc-xf%fp*Ox*TEh15Dk)zqHZR;GrscJX?Xb`R~i@AhF8v8QLsT7PWjR@dnacgoLzRdcz zxb_I}eMTuQbIK?qtHJIIVrr~-GsYo!JjM0wp7h*qSqNk5&JJ0vwzjfPB{~qVc0K#O znN}A&F&O~3Ja*ILi_ZoSpd*foUd;xs&VRSJ^vHoq>ICIJR?D|6sbbsPGgontX=yyM}feiilH1s^u z2J%$dKrToWH>B%+k?_pnWvMXH;iBa({C%Mj#at#sOFaeAo~-0(dND>4+g8K?D&aeLe-)4u}sW5fn!Ya_teX$t*-!^iF}5n z*=}onCF%|J%MmFLE4#@qlD5QY-insP864nRglg^)5S?BZ-0AK6^V@tN#Nj*?!?HoE zwQVt31OuRv+?gckQS*4R0RbbZ$NT~7j-PVNaem3;4;N%S>eMYIW@ppJ;}-~~8N=9h z^)v75jG)rEtcsBll>?_HoH>tzt(2<_<}c(G4t#OR`6khWLragp)Tn9_wf)Q5Q`VhV z|J4x^vrXDBIYl)EfJ_jm1*^v;e5cl}=lh2AxIl~h9A?8B zz{0-uXZ$4_hIQ=^YYD`dy9?BnL3{s`ab(wBXm=yyIg#0)=7LjEjSpcm7Y{kQBSMy{ z?XXDaA?I(Gh>*|KAEI=!I>M2@7(vKXQp!2KmE%?I45tv;IG0dfnn%4TCXRyinU8ha zj~{i*y_qUEtTFjye9}UhP{iTe-yOnhXG65P%_#LX!HmIfnwOEy=tH+)w?K*o-;BVy zryE9E-fKv_AYyev2|bv+2?6!&+Gr(}reg~Hd)B9;ouvHi>~7<1OS<-|fA-H`Y^VOx zPb8;bo_#ADDALV7NHYKXm~bIPxV4C3EUQ|@v`e3jK(xbF+!99qBm@nx#j@0$@$GMS z>k!~hV-t&2wB`bVukA#>cHh-$7Xtv;%#`XU<|r;LXlp(Kf`7v?f$|Em5ZEgrkK)O+ zPoPvNaOE7E{`Mj143~(HuUzG%<1nafL0;a~KtHV}R8TL5BnmjC zxbsBbE;YCK>nwHtZ@!zahc3I2Xu$@2%4N39FVosQ?Jo?Pas=mtZjhuTAQX3*d)4M9 zsjI`NMj0x<8Jjw3y)J6ksUq|;H4^q1 z=pRWEIZPoYS*mTcv70JCDm@W*6aJ?ybo!k<0}2@ePyDXZ%U{GtjjcmTiWpYhwF`Z7 zD*}VMwT+ytet#}%kmwX`e@1Fo?@yUEI?LT9VVt2|kwg?iW zCisEONb1ADch6x5p7QQ95~33EoSV(HNZ_yP!>aK4&%~y$<7nx+oIQlmv=Vjis*h!5 z>Yu$5PdcZ=d)SxUds0aJJgQH%#+0$9f0!TjKw(N(wf4pTbe}=k=MH3K*@E-vz12|y zNxZ#x#9FbLKROq~Ov7=s)JkKwpH2#{Z?S_s>N4g}iHB0aHWV%*?c zv-(@D?w>}(iinm`$x-D;og+6vJ$`l4N|T2K1QXGn0}6`lSNAEM#ECs!kFVRkmc9jG z-n8{ZVqv*73uYygiu=wy^xy@myBd5S9vd1gESKxiUAI#r`kga-gUL){OcNAI#=L1{ zz#nqS6D01r11jG5S==F=&GXF$o-8kQnZiSNo&uzzZXXcUqGj&oceH;B9MXezSMGK2 zf!m-|te7W&{9AQ#qj71`bGgyMGaduaJ(=>I!-Xte?wB|ul1m2_#b``0+t}f!i3Cj0 zx&ft{J$Z{P34?>7Pn6T+x0XQFE5*wxP6{91UxtM(yrE7i9`7d}r=EqvE#Ar(>G(u> zBbFe|=wr83v|pU>L=WVuMDB%ZxjJZTPaLa*+Kq#o@0U4&9^t8SMSQSUv$dMpo)~Au z9ACNCi{Sy!p8U*p><5!Gbm+rcM&!ms|8}g3laW|KMV^IfkUR*R85|u!6FNvz)jTMm zkNw4L!J1q}0zAd|qDHN{XUtuv6TXbjqT$E1+i@6I+B-(`!YuCe!wZ-%+eBca|AQ;{ z`~MwV!22N;V_5V9NP9p94s_U}*U1j0=*YL2MM)i_sz^0#Zpf#(}HfkWqSr=DJ(|GHMh^vaxXd<4j(jv6-~wQd+p zg{t<$+3UD+dL~+f=HaG$MS+M~nX3BO&2H&Q5ZDN}`m4-6lKwj7DQBu4FGp`Emi+Rr zr;{;96sQ&NT)5vcv8G^!P2Y%AZ)`+@+z#m7hLqZ}y<_MrEG+0ocgHn&mL)_8K)5Gn zRH*{TW`u^XCc{hc!4*Rpb%8e=YzQTmxg#P#Arj}vSVXe>HdNwunvlnSCj*4L<&^t# zpOt1qE~ROU#qM!7tIS1Pz#%=^_d*+Uy?oEEu#G-2vsJ%Zl8q^^82E>)>XQ$I#q5{( ziL{%*cpyZi9A*mN%#EE@cd=qSfy#me+S}1tGKL);ZiN!JFdm9~| zW#|GQkLfkb@!w6Cq?Y5v(|aHbtdslv`Rw2a0>1ehhG5Tw#zPKNxne5~c2<$^1`t21 z8kj~MP!GQf3;mqs)jw}sY1*or#lcZeAL?x(VDX8=R;$VuEGoShw1GlrDp6(VBqZkI^^#oOK8|KjM=7sH=*%iXe+{fGCl@PhJyQX|yd zRm$Wm%i;z>gcPV2bqCzPOuPA~tMcX&5pC4X?t^4X*`za)JXrEYR9|@VSin`QL!?{+ z5n{pppzYHrJq>zs`=tm3VQZxTZF3brwLRi?*@+Bb+PY*$wQYKeqBvH(*8W7cO&JL{ zA^1}3e9s1U&$u-ctgqf6lAZokPu4Ar&6bx-eEv9c{ayV-4%&NZ?So%kDYWs&JA2Yv zUX4Py|RkuZKHPW`IV;A<$cn~CUqUt8*LaO;y4ahE*E!MA_8{Z+s#lavd-ex^?FPK99|v}8j8$r zyM_%;v8pt#cZ*|wgV5>1spOY?2oK0lZW!|@?!1RVJ<0`a%A$+48#)?GFNx!(^Bye* z9iImDqy1fP2nXBDp%P|11^mw#dANI9v{R_IFje{P<|}l4I52zyX5V?x1N)sja#WB+ z7q>Q#yQ$ZETyL_Fc;q}@t{@NBo$cWGpIHD{57^aUf^#Z=iz-`CD+yd@Gz-iD+YP2Z zJMIn1jsVSTmi)C8y-Pfwz_Y!BGo~{68&D9W;PHF0d$4hHx_jTpGe8#u(!Q_*p#wt^ zbdZwI6iTzghF@-bId?jHnVkNm;DfJt@8z4JMxha#CLojMAc&Yzenmj`SC-odRF~uA zi|Jb|Rhjt2bedap%Wu$fTWNx1bR{`T+*gRUIncutHgDaS!lO_v3g5~P`MpDLJ`90G z>{?{GkU!?y=p5-&5tiB1qgQ*Tejh5`Lz&oo~~O_{MO}G>nx-M_!ziySx8l( z?sn(V&)K*?boyZya?Oz- zrLp4^fTi3H{kL*_rf2`*@u8u$D%i5UnF`oN8ZcZ1nFSs;rxE6N&)iH`YPOhZb``Yb z#Cu*sqBI%O@J+>cL2QuIdUcA4^y8};)#xMs-J@p1K?2C^*s+-IkHxgV!BT&*VQAgk z3M(icbDlCXz3D`EU41QIr;h8MvD;$H`SR)GM`BS`w8RnDA{@3-Z-&QkZ#MGEv@5{& z1}}M4W9xrP$phQ2`Yh%C9O2(B-s-c(s|{?Q?YKWNl$K^Ab`vZD6+zem5UfV?^wifh zE@Lu3VB0q))2RqYr5I#Q_l)f7z)r4pW02Y%q`wST-CO`FbOO6taJDm4GmflPaQ zn2Z*uRU6A&ur0(yC(5$ZpkwUFO(;;(7@A3*)6c-f@j!YCkq8jS^6tb7cme`!706M? zWyPC==@6io$m z@{qp#$z6Xc)i-|=x9^YnG?{|zW{fDR)G}~N?4hap$J!{Z1+4>Lz&#M zy`t9UTB)DZBrKrAhPb6F>42zrZjUfKFGRvOO-HxLb zL<3}0ASy0C-qP~_C*j(G=(R6O(K89LTdc zF2?Vd34({1iK6-}i}K~@Up@_e)E$}Lu15158-tA)^?*TV`1QL5_P={PprQWa_(mcx zcu)g)j{O+CG#e3-w0I89)jilV$b^D+j#$(U2x33>hppVQx4hF%ys=oX%lpv&M20Ah zQjJ)~IH)X$eh=(ieJ@kqnxcE5C|!i;H3P$ISLov#=5#@ZJ`Hi^nCC1ha`fr&5=T$p za!~A7eij{gwW@`|ve$k{DZNL3uPv*?4z{0~Cf0cQj!2MEAEz$BiHNBSrh7cP&GG4| zJTVi)%7ak<5C6r6uL!s7M8APNdNVxa^Kjm+-p@f-JaV(t|K&OKQdZVjvSgI^Ug)h9$dtF77PV7T)*r@~ z#_l{yW345$u4~I0JZBes<8bnh7+zvu&9B5Cu%F`-MwI&A1^I9nW)4SN`o-eD5+^bQ zo+Huk#?@0CguARp3<6|hYJSPPK1Vv|BYPf5z~c2Eu)<}^d0LY(bijcgeqWK~51M~J zttq)feGD!G9Jo4Dh{QH_{x><&rk!$V9{)~|Lr9#-{(eie2h|GBKMDSuxw?0qZnCQq zG{5VJeFVOn(${$LZ^-KY?f=0*)-g^$*92f!;eUl6MEh@|N?$2+`7-Acr+`B!Mn{#> zy7>LS>8VG(#4`W?1lQ;PrwOkA_d&2c?z|75#oNCA_vd+@nx16`O41*$AC7?uW3;j= zv@R^s-unQWF7;4VI<(S{@}ic|9)gV;^h`N;kBxHXh~3{*VLkp*ddx+_)Sra2?T@^^ z-xko*KZQUf=ii+6> zaQLgSwe$@q6O%BjCOrZ3+&~mltcj@KkB?j|t&@wH`voXZ<`t{yq0vG2po<@KC+Udw z@VDymk3PS@IbHFapP6A^9b#CL<~BWcgtF1l{k_$;9;g5@^Po zhrCi&b_Smxae>_?R6VHoET&pg-Ze8%NZ3^6incd5*fROkR7xr;bfaRUFoOGdlw~ds zMz_y`9AsVJj_Yz}i#OUY+!+eExj_=ycGos$mr8GBuLQ)K3ywVCyT6Gt++?o~6WhCm z1uAz}^0b{)E;*O{ruR3)vJM88jg#PIF7Gn$DGi4L%Tnxz$~T{|8{(4le^GF4^)?&Y z+jMl_BcFz+zxCX(YiQ%?kKrz_;j{nZTKix<$G+I*vvjt!U}-O)5#sn{|{ z^&vkSQ#5kTdo5}x8yoZgNFbml$w-D~re~g```w_OrBtUj*pw~b*=g*?=e@=$^}s`Dgf8+2D5auA6bxtRN_wbBR^{i)s>r?4*U) z|M#I9O)|V=vE2tTpH#-P?SIss^xxRFGr#HH5hCC=(=nXGxa>Ut$B!;Ueh0ngfun?! zzTE~5`@3WPnz?p2(EXQuulQ`tq!`LeOC6S+&8&oO#trec`S{vc)14Qg@yYYkwYyh` zFJ7OAU)M}|fGZP*Q_ebEPNJ?R7}C}6g~q5wci?%`XW>^2gns9{+mtt(|6O3fq~QJd zqRU-;c1y{(hRTxYKz88q<+GUaN|QV5Z+WyY7RpB!I)8kU@73iaefA_qCPBg7#b=)| zD|ew$-}1n6zjt}-%v!$bTpMY!VOL%v?)|GYN~h!{JJ?R<%&vPSU}<1{;7hdPU?qdR zY+}`QoM%K4W2Fmw?#dLAHaRtz|J?fV<%=-9M&Z!w0Q$9ogk4)*z3e)WnN`4Xsm0?H z#QX<-r6DueTF>9rd?bz%^F_QSgP;Y66>r7!Y=bv#%_a!8zGMi>(OZ>iO2uh6d(&2K zMRpt+ySpt;@bBg+nf50S9zi=kSpREhq>MRK1bnZk-}(Nq`261GV4?l42Pbw2tf?Ld z`JgI0xbypxAU8hIl`af`&%*;I#piKBZeY-Zq=`V{QfQBSOZ-@;*Myj=`i1*%CNbBk z3)$n&8JU_^b9r`odbh!RwIslqEh`(EkydkG?I<*BQd(9tUG6A6*CKaNrjFo;Muf?* zqtUQ$KE!flA1!r>ibd-fp_drB1%&)=SKc2re3;!6A46Wh5P)0HT*8aQ*j`Qqzacuh z-_VaG7kE4SaJGeBB7-5hU)eC6|zRkxOt{zn_XYb83qAbUFVYf*8|{t zMjQgXZ@9SG5;YAJ?l&QAQyt)F6Z2~mJEG6;X$0OfvT%#g>p8XTK-bKM1T7 z@H4rJo)E@9-yVR;vRS=;(LR6Ch!BWd`XRZ!@GloHr+vTA;mm4+w);EIdvyjalo51H zi+2UpdJeBd23^W1Jb$r=x+phkJSxDvpx|W^6QHJH^osZueGC2Pnw);Xl)5eF zQRttVjb^2nZ}u;-)T%dC#a*GLi9HsQd%#>h%m;wb0Yxok0roTMZjAA>&4 z^Ji3VS=ipVJVZ7R?=ace`7He*~_qpXBxd6+E_`BknVNcQG_`Fdq~VbF+VE3t#<2STd4J z{1?(Du7{1ABIGVZRHR7L$N#)9zNUp(g}WDp`WtxkY?YeG00|bxmS-t0RcGULb>_#lt;= zE!!4)&434#+uBs>_4ter@+lSH`n?0gs%eO1rN<}hnqgF!#l$e*lZ8cOKe6w=h0_=Z z2ODhpdr&N7jK*Z}Vg!eewtz12EhduQG>uTHn7XdJ*Q%k6$gRGi&-~@T70y;AI;hNf-Zf*fG)?A*iM7Z4(-})eueA5 zLUpto;z!xxnPR;3{qjdOu6?M)YL&gNN#H3sBdbc?%9g{^*efsMP0h{i&f>#%WQFv#fy`lgd`j=ej!EI#vUUB4er45GN`2r!ObJU{J+oyMIP}z$;inRA&C|B;k^1VDz zWp_c$6JajkRLwW*>gopF>|@0adHC+nYpGHLMovp20oT2UbWBKGs`6XX=MpOjado(* zeSq&FbaUfkv2O_I?KU4F6P(kZ?2mrK!gfnaa52clMK6f>Z~BHLmKscpUWg?UAe|qM zm~HY?H_O{FP|iT?k~POEEH;|Ue+XRe=shm2{6T@Aty81!HdgEbVhkWyrKDx|Po2z2 zy1&@U!g|5ycNzW%$5U{Z{v@y#^{F}WJ$lwgvzQhI-1+D0E2WH?USdwI_ z7Iw%;A%d^$Ov!A^`Y#U{lO)TSVPs`xB2=*>I=00noP57(T1#yvYSEUnsVS*NR{}Od z@3K&!eyG=ABQ|~f;(X58=IR?8F=9@ZTA=4|@O5Jv4soB9%o`Xlal&+gs<_969es4} zX{d#kufpkXBE?|=2cI)Ri@vatG_qYq>ols_ZozlGD>rQm=q>o*f)?97`|f|}10U<= zjD64Z$9I9hH-`tHlg~IWc%bGgx@1+$%gZU3y8`;#wIlH)B{kjt9LFy#vq z@*8(T9M#NaTr{@s2}{=V3*?d(z;uPzOp9`Xt0#R@Z7kI>xXvw7zXJ1wo0fc3y8t#@0v_QWkn zn>N73SRd5%TyKn7H5fYyKI+XLLCAi~aGBVG)C8graMNE-muo8?cGF5o{wpHS&?G}1 z9U1ksdrupbQ(VK%9#0q!z(y6K9|+RZd3=zSJO3U3$?XL>i!4g<((ABhuHM*gmE52y z_q6!PoQsr%(zz$-%=c{25-N~qw4URzQEkezS`SOuR-2z?CvbMSN+KaHv1Ej;=9e#(sna%oW;X4 zyWO=V8<1%Q#HvRt1;nJnwPSzOe}6u)eL;4EQq3G4mRo5x$I{NYzAQo<#@N@ii3mD) zIKfxfImK__Rl2c*WwKt*{Zi6m0e|!Vg^u{&mDqOkd|J@%GBeZPge6nenpX{DOq+C# zXkdyTdnMlPbcc-6tzt+x0f+WZ7>lQQdHHzx*(^#t|+_ z%MMOWO>CY1*kncf_yu;31JC3za@+e;ga9*~tZFKK8z-pxs2DfeFI9^I4)aY%|6P1_ zM6nyR*o(W)M~B6DFrzUd9t6Gg)a8F!Q4?tK-U{aFP_*n|7`>+osYu z$#tGx`?CuUJ&(BYyUhNlsN#i~sTeb_liP9@_m(;|(SQ?_)mz|*HZ-=bk?EshO>6DLRGJ=fsa(`iE3kmM8%&74T;wV0^6YhT26o#M3 z{Ys@2!*5osI`TRPYs!t2bDAVLxes~n3^ans{}EE zc#(wCa<-nxmQYn*!5va7Kql&b&wbXk;He%}#K43WTs}+;60ru4mDk$Z)6%SP;C*h+ zSX)BBL-op@fcH*j-%uejBW1Zp0zp#dwbyv{O7G0cXjcZ@%So@mANDtREPc8HURF`% zU$?l=Mj0{oEx+NA$K`lqw*jp3!zQh*G~y2hsEq&OK1NMiW8zV~UG%P;`eA2hcihC( zE3mt_*C#DqNUIYcea?$h;RgDg4aj4hB4L*y;b?zv3LfC@DqL?VMa*9UrRC+L2Cd$| zQeClJ>!!{o8p5wCY;C}NA97ofpU)j|_y|{7`SfU1QdZzdkcQ$FU1;EP&&m()o66~E zA5a5)=fJ<l%H!KK^iNGb_Rmu=On$Tyhi9G@xIe&+%uzD0Gi6R$poRP^_B>?m?#S}+v za(_8!`-_>rc{#CrUKt$?QPr{I^r{w4d`aT9HzUbiSMAvqzs|JW<8juv9&Ry;QJ=ig zhTylaE?A&{dmr_lMr{g$4e)HSiv(=sCWMGit9Xsf6sL!6d8f_4%(u=71VQZM8K-qqxuPbGq|NhnLK)gHCSXUCnURHvs@GMT|^uTuU?&dq`WU;6g) z@pOfDi1S!F%%Z%se9*HpnG)2-9fiSp;Di-*V;vnU87=SBeFsP7bcA{h;hMR#NfXZT znYOkzAD11>yderZNn3D$h?w9p0P@~=1?TDFB~X+qB9FDGZe;}C#J1bn*eYj>Ax`xx z+M-h4l0M@|@w-^N(YJ~M&#}p|0KXA zw-rO7!t-F)-PbJuT^c8j3HS3F%rAkE5TyIeb6<@xZf<}$XeK>DL}B~)7xcMIU06xS z{zrI#X7O0Q#-OM@dO@-Se}`@lS|kUynl=06SQc*?YtCTn;ui^e0?}4C#O9=Io1owY z1@G|a;A5aX(EWGkR}ka2E<)VFxKWlY2-vPBR8nG6&0!Eoc`lK(Lmk`hG;2x@lD=t6 z%(C-MH)~Mu>mR>Ajl9TsS*6&%v|(YXGZY%P;8 zPU*;td5h%3I38c0net)@re-wiA57?(?RvGN- zja+SiUgW*5f5BvHkVN4L5^wb2&uj4kkA2uy<=j~l!4}QBd43X`nuf+Bg&dbHPUE*h zyV#quv<&PFbFD!&AAZUj%$umcR4OemvxPgy#U~GLLXwm^JW%t~TgWF}n9u%gF(Utm z1d+Bj_p1*tP8XExt&I&do|$rv#KOjgc=)Jv)YM#di+RWrak5 zJ_0uHPoMbgB>F0G-e0yHXNz_QZHN6_WEcvkh-LRu(@wITmBR$;xhLe`(GJyW+XHb2 zKuXC+s!$eU@|Sug)y)UY3@955f)DGmU0zHl|c1-6@`kpR1kTx3wlAVXr?!%n>p%9%#9Z zTBDulpnM2USR4Q{`h^BsFnpLXbP&|00?fMGOI&aqk^v&%W zLFSyPl&M|}B)EW=e&Pl%Efkbd_$qXBKpk`ar!|NNlSvN1{}XZVz6cjldwq_NN-3xY z^++)6Ixe6*LSOVP4 z80{0Lbcpv{9Wfw1kwwvsTGsvchL@CuVM$3*FbmIv>G0d(hW!rpRWndHhv;}Y$KuzU zR`8N5(>#|`>7$QwuWwuTRxZ!trSCPZ&^a*U?kW$81_it^u^bg@F;XgmPM5Dg>N1mw zQQ%X+b6{4-cQ#3Q31f-@@8nOo!F%QxW_cGB{P{vgtoaL#X<@}y9|E%%y}%S!Ku2fA z#)S?(2e1++HJ8>num`cWyL(HK!fD>1&9UUp;k9;sGc=6$_t*CT$jZpDoT($fGa?WN zhK0=QYzRd578#dtfP!nxw`dxV3P{c&7;Rcw+8Hq3PU4O27CV$?o{yf(bGhNoq4g87 zZjS_`zrD>PeWsYppgJ2Z@RpLxz4ek7+@v_b*^gD=KrE&G)&$k>=8mVEIX3@;)+hk4EQY<$j?Yr zsp5av*Z!s9nPl!@`=*?{WA}6WOqw=cs~~nt<%+V!qG8T+yGoUEUez)XVlLsT{=)W; z&)HgAOMf`11GDmPQ@vX$p4`<~N#Sd11XW+K$pOj+Q@7+Aeq=nh3MEdW1Z(Et_uJuUB}BHa9ma z4c=WXAyR~AYD}7~BrBQ^<{U0DhSsT$mYqyHxD|^hSV0xDBM==nR~Q&3M?W#{XdbjJ zw#!$#2x>WZPw?-qXB^if85mY{)Wtzb&*@_h$U+8s&Ez3t^A{(Q6cw6YPVZVpgM=Xa z-rW0t2ePwjjB^f_Xt%fPeujjE#Zb`+>XU%wz{@&cn%`&18dlGrQ z3N{V?0uQ)DgTHBTdX|S782T(Mc-0Lw2*^pfju7WUhC1v#JX!wkM=H|&!OxLq4^~qi zV0~5(XqOKAy4>Lta1vdnk$@BW_(|$m&ZbQe82~o4m~bhN_vQ%aVz@}3VW#x|jOjB+h8{SKO;wB^AXM#gZ;quzBtFJfhI8f^KlFG2RKIGRbdMbRqV zLBHu00E&P%b|RV4xS8DMaYcP-zz)bDz;@N%)bu}7Gh{q|nlU&yoGJtv03k%_OQDcD zm-)ivizXoipIE0KN)S^Prmma(|Izl=QB{8ZzUYIfpn#Nsv~+`XceiwdlG4&03X%fS z($d|qXi&P5Zcw^Aghkxx`~LRc=Zrh{9rxaIj>A73x@4_2pE-J{nOY?m*pC{Y#7{IGc zZY&%G`!TVn01F6qvp3?hXsll4Oc@9ACnN9k197&V;Mjnc!sGXBi@R&T5&LSt0L-y| zXgjv*GAB-Q!y0-M-JAi1A)_S;I-mypc-g=K+HxG6_yB&`tFH=$p@h_5zXm^lzdg`iJJRgSM24#Yo?#W`L=OsTjC&U5k=~f{KcE9>#8i zQVOh#rrm;Sxu|#{Q{dyr;5n)47&L48VzvNU zd3iZdWmD!;P>Vgd(P2zD4(xk5a%Y>ep+tfNA@~Ya(?oiBAEwalb%=koP<-_l)h<%h zBjmQc?p(Lqm2zR$CRv8p79P*E8URrxBx2=wQuL^ryG+{=95c}C0YtROefu6drrgnO8!kQC=O-QlxG7A$f2mz9@LdHYtuG|;Zv+_XR7LXiLvCd*&#H*i50(=8!6w(Ts~fji+lOHc0& za%g^RIu&580rti;4+8)y$igo%DrRk%gR_hBG*$HnjjO@86?yrRAqFuIch#YRkt+qY zVdeA+lk5k1bb)P;63{Kx7lf3^yY`z_N&ra}X;?9ZLn7JZUF4YILm+zy0EH38Yfe&cAz|>51Sn-B zC2Jc#yal1VKutzjQC3NggTqR)8!Lw5_p!SIb!_9OF*P-;)=tjJ@$zDWsDX9*ITWZ< zO8Sw{g~_WIQnqtkqv=Rl<*QM={jO1Ev5C23^33!$D}5GI{7sW#J!OMj+b!+C5>j2 zj?}RYhxNG&X$jBq*uM@|$#<-dZaEkIBEO_BOg5{Y6(C_@V^jwW`p9<-s9v8r4Lpy( ziY*Prh>qXh7Z(86B*zU04dzmriAAA&iMKm~n2hFsDdmZhO9WuF=1EKmdjscZALK8Wd?@pKKW6Y)gN;{* z*+{!?2dwEl9UB1?+T5X7DO2OIUUeWfna-ml|=13X`j=t234i%iiS-qQBCs zECQrWRU5;%-o&q49Tvm)YkTj6?SEEasu~yh?g>r5WL2pd~gjYj+ z4J~D5eGQqzhs@c&dLv|vtb(5N2=TV|U;nEJJU!t%{?GBnSbk3kH3E|x8&5{zK*03V z=pp?7^mMBKb!`(6TK#XFmDPj}-6{eBv9IC5{an*w{nvY8=vVoMf!H|hzF@(iDRs64 zWvD4btCZ^n?$ul<F7KL! z4@clmc$YhZ#q{)@O)jx937A+|*W;Z3Qk-#Cl%m`kii>v)4d9t;f1Zp@+%BK9h>Knl zaglVfJZ43_24ZzyF8UK?EsWZL&JhPc5TgH#?7LeFS;J%VsAxvF&n}8F#R^W_3s7#m zW05X<&{^l!ni&}chs-vYQbb3{RjVEtwKzEmD`viKRwi-Nsa#W@K5mPW%jM$WxZ%=M zba7#LYQdI761)I9uH^pLCoO-5!hi8|duKcn?3Ix(Eibp1w_I3i^SC`K^Fy&(Kp-F> zkZZ-$ii_9K(oms`E9&pB8jCp@Qzc2PnT~bcUGkaN-3&W9nVKLZJ1ZyuZpzl6wvD`J4HpgPUii+{pkXJ>*yLs_g(#; zoEn`mg`KY%qXa@TR;eR6B4uvJvMtJSaauhl9mkJ1a5dE$lv{kxSI$PoCnq%sboo@r z#%7J$0$V*rsl#nuT&h#p+j4V{-@6|wc|4K~mQ-SDEF#9i!%24$#>Kx7;$stQwx0Ht zLX?n@Y%@0l0a_83^t;Ll{jzB;QaSl_f44i{&%>Z))<7()RQV&uH8$434)k5Dknqrk zrwoOYj-EUfxq&h#M=7<5l8$L8I@7w&PFx{qe5*!SrRko9VyN5JpvCz1!k}esEv0{T z-B(?@&0b!-EZFUKKu*419EmTjb=E^iVWKD7!u#`MH1k|7Esg!fm6a;*zWfk$BxO&o z>Y8QUCYSt%zVBom(pFZxHD`0KqhJyC;rG78H_mrwbWXS|vyCGWGJfvUeq9fO>y@Js zSj75_jZ1F!;WMuXRgi*u_#@k7xCUUaNyg~xvcex#c^#dz$6B5*H zd9cF6pHg%z=TlRSy^BCHt>xr=ByI<=Ppm zRF`qey0U6P^-6Z`;bd|M0|AEg6%Q`OS%9-P9}%t#7~C+G#XUmFX_n- zpwVbd9~{pD`EcvY81+P4(wxk*wI4pv`>Hx{q(^t?GRO6Hj&Hr7*G5K%E-M9`yKAyD6UJoj?>oGqS)js;j`ZiyBI+-A>nCnSzW&b zjm=S^Bo5Vb6VBKl)b#D4$ERZ03(qdpw6!jFI*7YW=11a3r(!I(+S>!CYEDC>ybnui zacQ9?N5?1j{2Wu$(!BZFf|+6=3##0lvuphKIT=EpTa(o^fL6oa9m^d>Ni26l@OL7i zNmkQk*HNksjS79{aaZD!SQkE#BLV%K8n;lMn3zO_E{^qxk8|4F+p(#2JcwMa4U&*E z{lFZ<*Q)>})bR^1wzT5h#45*@)?!W-&zum73h^MpJYDml3{_}#9JY>L__FoXQrf-sG&GvMuWiP zPHa{(I_K5X(&~}(#y#^l(f4qB@`OsGwu!s^b|c~)tg*52mo&Pbv#gvdd8mY{s*0I1 zBQq@o-TL0&xQvP_&z0Z%kBnx72nz#Ivg`|&%x(?M8}@8D^|Q-ZddKQEV*Uy|h+4T? zLsJb2vK727WH(0;>4eusJveyaKY51F%zue>1*fG8rpog&Y$drN)76#2h1!>zsdbAy zfz&Ly?o02*#U#oUlbDfE#_w0kqO$l<@82D;X`VcJGCP#SQvMAY!fR1N z^bbn7;F=ED(Vc_7B*vCz<&m6GdtdS4N#aZvgdAmk^sf5)H7uD=Wv`QNJkE~<4-dyq z`#>UlG@-Dig zT2-!cuh?WTM6Io^rTIWaQYWdaLKI~7rBBUcW0NKkPtl)wiWHVUg1R!Os_mjHNy<`c?&_-Lg0$Q|=)JPJM~-HjCgLYd z9qTc0>1b=aPjwF;Hy_^UWu&75r_?+*pYvYucV<*p%x3&9cmP)Ba2*dzO9vG)X_O3b zhyanpeK}rYv>557DoaNP$$SpC?NcKUyi=za}on_ZI1BIODil zFQ+Mol0gL~jlS|rUWzZunu;ViH?`{uc9aIWIr&-8)O8V1n&`V*Ky3xBP%@;zRgBQ1c z<@W4vULZ-xTIKc&NItr!IF_Gr0vkJ zZb?#_O-^u54gHP+d8l6g{RPTCP8Vk%yFZBj-@d#aS#mUGyQ=GwlO0$Cs(lOWTeeT}M!));tLXN{X@C7kqK6VH&44B`YQ-*8~KZbVB(HJ-XUJ zUBH#RY}#31fsQEL<2~1GA>32=u~`6mdCzCqn%9^tmwC3w)YC)&ia;QQX|<_z&(5u6 zCt-aGDUk{~|DI~eJHZIJ^cW-r*;ZvDMnm=qR*Y&f@n(38%tmbfQLhw-h1K@Xlc!HT ziG*YdOIZmx){dK^_I^+~uf^UebQYjw-ZO&biPf~5k&rL|U;kjKxtssU*k?EKIbJnZ zagpz55t<99g4^jejD?UY0f%Thm*hfaK~ z^_G`!Rilej!}B2|Ai!ERX7S2s@Y#O~b^3#z3JX- zXqGq0FU)43r{}YYql^0Wb<269^1??>%===RrFplzG&8d`Gc)s-Te$yCNTai}#sudz zI>DGaEYfQ%Beb6Xuh|9U73v5A{-w9kH{%qM@O&6KyzHfI4HFoLQ*Xl;@a@ zk;C+SgLLp@?>yl%TgeCFkeBcc8n>Ii zl21GxPKx;|LLM8hKIv|;TTgSlzY0S9{(BC=6|-fP%kz0x@E+htaWOjSzTrRLSVwWl z$ZEyI>+%U}bn2L1>Nk!(HG;m`zmY-3zdK?+Gw5Z23W|%HJg&$gg}My(cU!Nrz8Cd} zks@hCFm}FHGw8aD;iOZ}lOB=fg6-w&yY7)maf5R0UG3^e3sH2TW|VUQSNC~c3r!N^ zU*0ZeRPdrAaHL3=f~qu?W#pBLib}rhW{aE&T3YR55H5m|R`bazSE)kyKuXT@>U-Z3 zSLXOtm*Bn_KzS+8;AI07pPmk{~2KDcoLzR{-RJSbHXtPdnmynBY9y$ z;ATIi_vo^xnFYg^9c-s#J_pk;l}`>cR{&%PJ)g5jHqey1K6&(PV7dVV<@0eua%w?l z?$F)qh@E5`9Pvo4 z;3AaGzaL97=57B|G$O2r2F^0t3y`M9_ldRHdy)ICc6_5gPIA^lFMmy;(Rk@Kg|3ny zEmbFR5<;NEwVgA%mp6Y5#U*%?E*kmuT$6^wKw!{_$KhI)){EpwXEXofzIu0yL}=8C z-8*OOco>bXG;ICw(IY_bUf4QR;&Xf68ilXpJfFo2xUB}n6j2Y=H1oAPu`oH)yh)W} zY(VECdLy%8rJSDfJs`Lwo_ZxFq<({<(V26nKf4ZX>JE;67$p55gfbMwq zgHwaxx5FF%AO51^K~W0Iigbe`0o09{3=I9Urd3whCKI|vMOBWKi#6NTMB2OYN3Xvm z>ggDk6^^fAnK2Sy=HTGql$>CKny?b)MU%!?#5MSNgV&wyX<|t^eKYjWH;@i%)Gj(jA zu6dfO9w8~Af%dK*+m()ToYW-?96(2voN!bY5;w7iffZ& z-OAo_t4G{yy&GA1oVvONi?cwZ-$-8@`ktVpn1n>2Qg)?VO$5gTv8hda%jNQdW$bb@ zayqa5?}N4|S4=#MT;ZqnyN$Nv2`xwjY3RKMbJgFFjM&(7%uLCbS_GZ1_dq%YrQ`f? zI)7jHh0D=+OK_A^+#9ZnjPwt`3&UGWz4Um%2WoU24*!~Vtrvxec$duXlsjOaNbKdC z(h!h-_9Jbc0dLp?6F-0S#Ni8arf_jmlaa~9r=M+O07wA37zP1WaWT2D)d>N@;-85l zpxYvwa|a#MQ1CMhjOPnpYn_7)C^JqZ{1un7Z@yO_DHBmmOiu%w-Ji8gM1v-mL+c46 zNdt<@`RToKqo4>jgXV>X!f54%+%#U_wO?hn+1-)CZXFp4)Z82#p9yWgCZ%)P_f@6Y z1@n?y%Gs8drJjA#yBr*(fn69_MwA0NW#kR<&DL8TOIa3P4*;l8Q%F0MS9Fzu?*e|B zy-}O@3#_SD^bm{{L@=ZNnx&YQOnBkMM7pa!4q){S8NJ?bVk+gWin@*TRJ(3$iTwJKD-`iy8$1MAngn7Qf*32 z$sS;@hD!6Q^6}QzK{?Oi5LR0hWUjBCvm74|;-^ns+}awv;zZyX>X+zvv#5@G`Q$XR zkN=?sz{bT*xN$*qV@nz&zCnOu`}CVke@C+mDGI9hfOGO369)$i3kw_@@Mm1iE8CfA zOyz6ZUv>@-D(rA^OtCaY)>;IJgVJ|g^HcUV=5-sF)4|7`qW+Le`&sM^A=HHmrx8=a zc@HJOMZfcl1+@FPoQKxc(Fqh0_WFEA;ADSE^y-46T0eboIF`IRrlX9)U_CWfo@N9W zvedEc%dJi?>rsLkJp%892`&@3Z9A>s+V$JFTG`~$49f~D%7ZcQu5USDlLQ3P31 zAaYj>86n_@`yJ1_cFN-AjnAPsf2i2S#r1-vo77L`DFl38^m>)2D-|20bFkgCgf({C zbGJ$$yO{GNll+BjLr9bHUEZQo{DnX`R~iP`Wuh|a`1V<3*_faB%4WT=<8n|?P+VuAxj8d4 zJtIBi*3WBaEVEoHfLIL;E=*V?KEH3cwF<v1S%$dqnrl0$C)ZNfU|!|-bZ z7sXk-0FF3N2R!vX`|{(>&Gu7Qa)57Cr|{VAy$rZnAX?&0QrJ+hjz+Q2K6KO>$Y^w- zrH`Kjp>y5_G_$3&sePuNM2-x-Bi3ED3$3O(!hS@~fVcqx}9(weQfovXG`W`XZ!ESy?5Uist*xS>q=yFp9U2??ND@tRa!KZ@)l_x!lImy~ zn0TA*@h9aN@k9P#;jQt86-jJY zs*JabEtLN{Gopw|^2&MNZux_*Ey7S$Pp#T{crdqkny#>b>y#Pv@$=|Jd^?T&2Wski zRs+f`BuK<+;HA8JQg>lu&5^2-}-tP2xJpV55Y^^=+l09N2@U*f1{9G@k_f?4*V1} zSXWt8T&$+4cG>DGFWtrh*8$z_yOC%2yRD>ZZ8h*xfWu*8pI3(0yQ}(IHsLL0ZaI5` zHwP%Nf>fkA6#(^T;cE_%JBY63_mHNixu@<-%5-c=zPz0L{f9;vLtAkotjzFOh^#a* z)mzO&lXqBIUe5dGz$9D_JhA&9i}Myfw{xm3Ss!mC*=;>9c6^RI9sF&j3mCe1d#|yvZ6TMiA~8ETGvAJrtID+9 zBJ^#|>-fZ@x?{Q3;j+QTmODH?LMj`)=cf`yLCXS>8g z4gcwhW5B^Rf0_PbmN9^<>&o?NJ;!0NiPAN%%JUhO#_L<=g~lEd@LpL}{qarcrlwwd zOEs+}HG#M4TLYUTA4vvN+X`^p)HSAma=+rMFIJq~sBT^$VlogUUwZ)I&yqBu6C?V| z8|KeeH;_7OsB2nE_CA7&x&CF1wY%WHka+v{EogVGQ}2Ax=E1ctZzs+z^e=?ePFh|- z-3k@ILddiyYHL7d|1DEeRul$*j&n&@)L3*JSq*kKNV%O3phDiBJQ#ZM=xWaMdM^|- zs?c|#)G}D!Mst1-XoyRj!jpsYvSLoUj5>Iric~9XQf%Ur8=c)SN#t4z5Pv@Re7Fn= z5ET#RjF*NqNdVo-^`0c^6B@SENk(xT?RftcaW(7FNY}4_h{VF z6{MQT?J8C9^TzE1bID_e6ydw`ibUKX$?tr{Ondw1LO(y(<$2hAneF9GnbZA3y|eF+ zv2_Un#onun^TA^ZWs(Jp+=wUv#8sKALPf_wB2y?UZ+dM|@$U3B;?}>w`o03kUVJcSE zD2`4f3k@2&CoNT3#@7$WC)OkYw}gOz0M&20`Rpd+l;i_ytJ|T@XRh&@RIN3zlahqj zsSLb0e_(Fa4(=;pE>VA))v&U%QfY+pQCPxnm>KBd6*@-pYO7*m>dFl(kVF)y$L&_? zLH{4}R~@<3=HsL*=cwrNcM`>EkLVuLN5JIh)!0yhYh|)kEe4bP*thVZ&o9_7w!yKX zcexPj2_}0B9sPF%$81NBu$UAqxHjz;=a3!j;PpQ`O{SO;QYqEFq45oQjdM%=D?ihT z<%#z~bZp}0biuBhpW^HB4Wm4fke2cu=%3iNm`Tu06ZXM^@@7t~Oeh+O*~e6M=sk;MYVlh>L?kn#z{((cU;_IWt`;K!oRB*jUhnP5z+|ON$ zBgQS!-Mo78z&TI^`#}*>Cg<1D$)g=$+6b(~@W-216C4~&C3z1-K+e-FS$+uNn3(|y zE22L_K*S~KPBv)i*FPwj-qW%EtKnRFI z=?A|U0nP(fj#EB`kBpPj|*I?T=61FR2P-|kE8b&{YX+Fu8|zw)79^^TmZ$euwR z0xKxpyMHjrF}$%}fMV+;N70uouL^$Sai%=x{T;mEKQ zEoM){MqDCH3VM2i_q&gwz1ilsD-)IgWkw}5lUtJwiTFUxmz)v`TK{8ab#XmuDHu|e zO}m)bUnHG@fl7#rfM6HXPN`OhGB*cHxChpFLe#C8TH~Hn9Z+i~UE&a*DpTXKU8xFS zwn&m0{+~0Z8_l0eIs<23Jdve~6e+4%^8%SM^ePuty_uI!N#h$SFR#?-uzdqK2kSbU z&HCuTI1Ub&cVbSQGjV)!eEL-D$R`Xdy5GVEAMT~Iva*Z~8Zjthfiw;D$S1=YAbK6w zRpHLpW5h;hhXeo|RXeo3om_%z1+E|>^4;d+Bi8ins;rMPmOIQPFU-2GBVzLugELw( zRL9u7o{`ch0U$Z@6{ozS9Ocu!*cN$V^l6`)oxvFrLU%vXExN`ewwNpD4AG8FcV62n`Rq&(fs1{mQWo`Kl;eD*k0Q7*VU=2mz=q8m8*BphSM!>AAr8>uuBrac0`i01HE>On~x!R z&C>HWU(N%ywVsO0rD;2Wx=KY5k3=VFUomD_CvmKl4v!4jngp|n6-4~a7@!ziHOcxt z{exMt?`D>hf{d(BE^hnSq;+X}5S2Q1R{e;Kj7pM-!>?B3VD=B7qCpCAzrE2p>p?F; z&}id))BBoy2a76tCL^mU@Zr4L%{vORgp>>c+w1dip?_su5Sbx=ebP^h!I79u-uvxu zGgkqP1iin_8mUmpqYHfkYBS90KIoUVCbh#WyO8LRkPraRM@Rt@nvRwp6D`m$_5UN; z(I`e2ssMBP+LQg@t^G0v7$gUPsRxiHzRr>hwU8$wOj0mJ7K;eMh`o47OyBTJ;{3Y_ z$-+{>oyHWmuKK>-3tFZtJK@x{TYBL^86efM}p|jrSq-O<{1SviDbPQP`Npq*8J{E;FVEt z4?~h-t{QlUQ8t@H6=Qa@e=yuJ`Pp$VC z+|fgQH3JPz-7)nEPS1shS*xvdJ5R%Z+b5^_%9>gl8k*`v3k~}f`P@;1CHJ@T zVc|NVfP(2<9w$hiBi5aaN7-0gH`PNTytno1` zMr%&JjQFl}8Uq7E2%@p3sHasJEd6fin}zyQs+)bns178c1R8%=18|Uwutos%?rpMM zdtJH$J^OaaCQv?*;FVPkS6#dH5A>`1PCH!W^OR}V+LoS9`5*zc06f)kn){WF)iLHD z{J0!S>Iye^%xhZO2he3Z`H*z8!K_j1QLmbY&ehrPTT6C}>N=TomDh}eBcN!3C<$A_ zq-%9(YdMcj>FQk)zto@qxjM}FttGAR)+6O3aOjpeskP)<82SYIcDwsf%Fc1<4-bHq zmr}k=O-()U7nt@EQ^@D9MkZ`_9@)+!ea>Gh95e~Pe6{S zztivTbN?f=@>1X|S)32sr*WMEA97C2>%#EBKI3r#A3Vir^wmUOZL)IFfys?u|NVr+^P-ke1a zy?5^5te#^8_1STmfsW6X?IrE6vgu+E1Ul{ro9J>l|t57XV$>MvY*fO3bK? z&kP6bS<{{+#3K1m5bEHdk;V)pyB^U@1w#bV> zTj!7vi{Ss`4Wm9RrbSs=O)q%nb#B4S<*9|i&9gorUg`OO06>&x3dk2I^qq(j^_#X< zU2Z~ZY@+(O*pvIWeSf+Du?A>I4h`EVRcGK|&rnf+Pe(Q70(AiRsHz$|9zVvjM^S&< zFQ;A#Y&-l83tVHd)xCZ!C15wyG{*>mknUM{8uZJj*P1-qtHEQ%@xaXfA8KgaAQqYI?t8(max#z0+^+Jm zb=}^Vm;_lxxrHW=juKhy$Ck7a+y`xrzli{*QC`d)`psfv;gMg)$<9;@yb{riNg6eY z!)gmi$85}b7ko&>N(M>Z?{0+n&PfF5fL6JlOsZ0)t;D{@VSOxu;hsDa;Ahlfz-C=n zP$8mWU=qK2qgb4PX|d>Pm&RxQkabT%Lc+AKs1_2*AI}i>toJTOvG&Nk8qWt{`!Dw_ z;AEQxU8?OKEp_bGAA`Uj{vS%zKvBj`Dnu-3C#E8LH}fM1NPTcSklZj2ch+~gS2vGr z!45acCYQ$F8LoK24C5;fdJUI zV3rNHb7ujlStB`ql2KzwH2d){)eHCNdj@}sl!!0c=ix>Id`w{MDS@cy4&k2*=ALIJuDiX~)q1Uf#RYKv~VbaJQF%cgPF3jcRY$l7Nzv*QgCZb8fL;wkGwIbTlGr z%?MHA#blKguM*;C<&~7g<%3)7KY>dKCZ@wf!k#{P0(8lqdr9U@_kpQdDA zP>u)ZeG5{vIoQ{LOYBe_3JeUivbK8oDKI2{C^VIlEosu}lJ{B-bh9F>nS!1d0A&R( z8n6d|g;ho-#%Nwez5RVdGObPaf*cr z4p`a~7iOTJdmy4I)p+$20TcpWQK?^f-4MKnO^_~xo}jwpF6HHl0-XoI`w6%FGQ~aY2CselYhuMRiYC{)<noVV9>28e{JX;iJOUDk7078)<-C9N>TN~Z=F%UO5C z_Wf~OTCUGF-G;A(RRDWJMX~t)*UJO7_1s(zU1GSFqoI;(-2v7D10zrtL~)b6KkOnT z8DB}J015$s;rk5r$HgA9J1vQUCYK6F!}v&F%@9d=5jMq3NgW+udIf+YreZB*6qG~$ zouvdTHx58g`hWWdbd;43Wd+lgK=pUYCBm}*ZS0kfN=v-Fbx;9sj)(UFTr;c zrG(2D_Uu745Po|5?ayv~naI6fde1XKZ|q?>wkUF~BzrdV-dl++BUv%ks!^aNrp(Rd z)fHXCc}^H%0MsD!J3FpBM?YW_Yam^KGpentOloh5gLm6!b`>+_G?5#XaauHFQ@JQf3b=sj!@zhMEwf_KbmtnKSgYqo-Pv8iRe^_r z@p^i~*r?P{LL#RS;|kzvgs}Y;- zHR6Ff4b~V4@*nYq05>2gs|Pl?D`l-=Hb6|opOta(V7?F_*+4YV*&_i)870Hp1%o56 z3>qYCm?phZADi4?48fzkoZIcdjd8Jk!Ac(c%dJUXIRf^q(WFkTK52EP_|n&aE5y~D zD#6*t5c31WhYJ*e0>Dtn3!r&u5U>Im3V6iz)Dk|~SrcHszBX#=Z}Bi^M#B?kGmWYJeQRxVT8ueramSMFP1N3lNO9Son8$7q!Kp z#1Rt{>wJ0np%LPN{~%h<6LcnVDojRH3Kb#+w9ak0b^25yKY# zM$I%ifNcWx1(1|Ev2mZzfit5P3X2S9}*rB5vC9lzPRIg zbdvU6*r3pl`@iKJL77Ii9L~_+4{(-(=W-fmX5d{sEa{@;!C$~iU2uU^JgE*qco#ft z2|#Whw&Q}O{&XFbW$?P&2e9RZtUWeIWaI^FEb?<|6xat?{!Kat{P-o~cfWDo z(R5c@$SPJ~f(-nW2kLwQSLFG+7$VYPo%ej1_x}B1VZLF4p{r{jt2X?)vZPA&dGh7) zj>YpwPI_bi@Y;>ZtcFamfCOQs@;gO~iJREo?k#66&R+&aVAq$CZO_N~uj-)e_VeSA zkTBn&envXxWE=JlvrUr7{)wpxo}u*Lo_je(jZ&wFs#;ogjvoT52XF%r5cO30glU0k zpP$acK1}r=1PqMBBk&RIt`-XYI9#ydDwcTP0&1Vo00TWi<_LzVUT11{RhvF$(fZ zxsF~02cg?$kUiPR1})2FHs7_69)aUu4jwd*jUa4!p6%88+%JRUkL1rAp7=-b=>;0{ z(+EXA=baKDT5u|*QK5T&aRaZjPk+PPAPH!+FETl$Wk}PvwO_Mqln(lN%ePk*hX!ec zJV-sJrtRS$#A$q(fzJEz8eT9$cS&aw1d^YFzF79?6c5u(y|t12{cBcY`)5#{H;Ypa znBZ{=bo9V3XzPIy_}c47x%e3pSi|RQ>kl9>nlma?NnUni)JKY=r;5A3igbEvLL#V5 zIV9Zn4F2`U8;oUcKwtq2la~YLuDXNDTLl2z{QUB{WzsI^s#y2Thkp_@VbJTm8^Dv&6h6KltxTaEaf7I2UV$3&(9<)r^h_Mzv^gu zt!ex}P4o&UKL zgbK>bFZmoMw52COQ{mW&fw;azb1x+F(3E$%)zd3gd!5IxBJYH}$ue$k?h#Ba|1-Yt zW+Mwk+1d5C%#{(h1Y{WKTvE{XxZUPVFFdJfI_H(SxcAHLxg8c>8=M!KNZlNZO8zIs z2dXTBq4&QB>FDrvinm>v=r4*!bY$rYVdz=PigFL3$kAiK!vnfbe{l8a2O!>nZOg?i z$;M>YYboXOTcy$pINbqFFx$n=yu$4HcaM8;ib3~S*W+-}IhULais0D1S=d3I6+v>C zTtATiJLTy8mwlw`-$;CjA3zI$J5wxOxELrOy-w$*I2nQ?iKwQf5ggnFD@CeS_!``$aOJhz698aylj1df34VH1-zVTubV4%mUvcYnci0d6d1IrLWf zkdOX+>rN05nGYcPcwKO7&DK&HKo5a%ZF~>EQ|pN5hu&Aq; zx-l~+!L;F`H4u?BvlYK8m@m||D<|<@2T8H2km3zj029y+`{A6jQ(D553awoeZ1J>d z_||E4?COzxVt80s)yXDcnKl3}Z%*}}lv%G_17J6R8Xq>zL`4@ZK@QXkRW!JG&mn(b zVeu6+yNf#XLoqm~Ytx204g>_wpkDsw&u?4)YL^)ZsbN}{dl&Z0j1==7b_XBx*uHdi zq9Q#jD=ag&SMWJ`>949czeNLl#`|D02#Aea};slE!JsDFk_)f+- z_5TZ#MUMNcztX{4ZlNfjG=f}?f@=@g7(1MuMUxVYMLIM#oVPX?vD8dU#9KJDXB zd$Z6lR19td)Mj7fCE1R+Ht1?Q3&&+B4XdL)FAmV4Bpc!dggU#JUeg0ndo7>gGS^hU zH$Aujk?(Aa1~7nHH|izN8ug#uZ?Zm!9YBpy@e?Bw>px5*bY;kyu7N6eD-1y5u=3q~ z26+V~8*nz_L1;+e23k$&Tr3M>To$rtz~iAz)QsX0pOg-B@1kEZ`)(@?y(E7nMk+}K z_1?vF5&WWJB!2)2dJQy?@Xt;c+~+Np0o6gpUo8Vk)-dvt(>i1adg!POtv8;e1R2&vj=)hhkVnvt1MM&gzAU*-&D0YKeA zIrW<2@02wDgS@G1XY_dmwcicMHO-W@BAIo zmrr#RKHsj(R99lDssb($yfpwD5&c000a8%;d?Pm0YHo%#+l|JG1)d}Z#<$UTrmU=w zB&o=Y;ME*1&e9RYe#5Js0P@yc0eXT~Q*-^ZwvlwFV@HdX?}P1ZLezX97-dpO>C6uq zkBFbyhKAm!5TAF;dCH(6w*RLIXZ+GbD*kn`~@*$v$;^okentW&BgARu% zK-p>0WWWrC++I6yR2MM<6mkME+!~sou1#~JO0oR2#X5g^-*U$y4f@>TZ2&`E@cr2a zJ-<61r(Yi%h}YoKB5DFi-IrUr`V8*&24xov_PAUj*Q{m;ulc+;^fp~R|? zq%W%1q0c_<-(}gS!eA#ob*kbW@A|jL#DFgjQ>+v?@ON^EaCxPCkP-a}@qEDU0_WKM z_6PP#++U%OKM*!dOpKm4{6>d9iiv@p%W3fy7FRR4`0ER{9UR>KplYB2CcaNj9w1%r zZk^WxtHXJ8Lqi5NfiCb#TW{;468AfF6?t%J9#^vZphbi{&rmxsVPXWcK?#TK*^DQu zgFj@L2-z-GXRNA=8j?U?{0uVvC8+0l2Uk@-RMgpr{0aT^?$N~9B=+;?XFT3tRP{_a z-u14!k%ELjQ;j)b`2L~CPzgPXgNLZ0otjEwT~BCM0?Q>m8C~t1Lo02lsgQ?UHvaQC z4fi&tzvEvSu9S$tEN%qRjifj zHs9YWV%b2n4TRfIlb^|P)YN#iF&)kZsXjq@f(V^kxOrq(wfXi9-NB4+r8J+i=8AvY zzC?lm+zCYDDPa|$AWAFQ^z`%1nVvqSB_ittn#s&($MW1pCUDXl+$4o`E~kt2>hyK9 z+$EYQQepVOmrYS|MWCYq{NZ01b+ycAh=q&#WEI?bF|6M}MoBpVe2yLIOCU=ED@l>n zy9eL>$;3l7YXCHoKQmVuMYt4&J# z)=$As1TyqtqsHdkX)ZY(MJDPUlZ!+~lJFl(t*(;l>T#Ub523Z>V~2_HZ6LD~V4L_i z9RU|-VISQXk#>9t1>}nRe%FmdoeK{upb`%HYfn2 zsesa=`UC@UvzUQlR!gI_tmyiPE3TGORM$~e!|anj>7y)bSv9>LyJ7FFVc3SbP`Q|Q|IhdG zzqJm`vJN%129seP>+KHzSz-XmfZA+cQ!Bxmn-E6W+&0^(KuvhcH-uc((p|-`jDi+i zyIQ8r#U7U_NFwN519Y|TjVnv*4eDV1>N5lWGTXtE>UFzxDQy4tE3dGadtq&C@MQRKkk^P=Dk75~ zBmY7-%JcHjX|TRaw6wcB+LnmcQ6g$c<_l-LblB*IIgUmjwR61J6VN;BD1Cbkq4&~C zv?V;>vyCVEMjE=hyTM+Db?*se(`3&$!qNh~uZ*4nj0&P%!>OH!@GWn%4!v{<$f?SX z}z}N88y-0B#0xaI1@{^tuJVA0MY-sLo;I zgHdiUTe~f0#hcV7c0EkDPYWNtIGQA8o$Xs%o6VA!cQzch#GfSQ7d0ON(W7fB1J)IJ zs?QW;{`p{ej&cR~PKd`}Vf|+_N|vzS^a@{q0CtIUxrQDllhNlN;q#h)dCcGI$+Tfq zJ9whExecC|Fo6kxRHX_LPBzCQ7?Koo8!PFKipwK|@h|a|2d$!W&vbS6g|;y#K2MVI zwbdoD8X-tXE&$EsY~Zkc_$g5miTfcDk`?&JM94`8D_ofC6zJJrgES|biyzNz5U7S! zHtIKg{07Gz&|?)LWZo`wz%*#{nlsVU&=Z6d6CFR!EGjS0qqQN>&b5#{fLy;mq2y7^ zbulU8IU)r%b3&sMVASyqaXOOUd54S|9&#taR;RXCAnSy`5Sn+X z8Qg=W@8a=z71c&_qLwl;1GV97@IS#rFaDvrgrp?1q6ksu!IN-v8;m;m)0a-2xV*yZ zMIaNUF*M=tGsHKm;alM$P$i!@G*B7r2Q4m#X)O<}c3jKM%qc9Q*ZbawlkgxHs<#+1 zX0Qu4NbtC?9K>#A}ad=7I}l_{juN5tRTVPthlg zQl&H+^)!yNPh-~HYixqJ3F<1`_qLu&(oeL2jsAI&{$ z7LU|SGxGU%dJXIT^Ol0uE|6XH7@^o|4>&#tS|H+0!0H-qzBV-0^MEt($6UUj?l9&i zy(lG|pN?a4gGVy@)2zmiouJ0ly9zQ;{Ge2_z?S@aS5pij4x;&i5TXM^cupKyAl-c- zW-M!R8Du1wV`0AXqNq+{>hC3pX5vjln*9I{KUW)yNKRbNfP#}6R13CU`#P_pth^C$ zw6$0YE6_yq`Q%BkQJD^MY0CdNyk{H@|FwSw51(HA0vcNyedO0juz1P*)2ODNX`#Y o75s=@U4pRfyIc5=GD8h~gspnPtroIt4gx-hEv+r+X0Fk{0`ABMfdBvi literal 0 HcmV?d00001 diff --git a/chapter_1/1_2/discrete_math_truth_tables.png b/chapter_1/1_2/discrete_math_truth_tables.png new file mode 100644 index 0000000000000000000000000000000000000000..34b35dc56a024c52eafa41341f0dcbb39ea08baa GIT binary patch literal 18848 zcmb`vcOcgPzdn99$%rH}A~MR(D#}P!LRPZ(ri_T}gc6culgi2}BeRSmBShILD%lz` z%Klz=@Ao;M&pGFFe&_cc_dkmJevRkrF|NmTUC%pALtTlIjFF5$AW)uCme(Q>wonrY zn`lWl<2RzQO0oE{<)Yjv9a2)#!B1yC5(xVVr{quQc%^*(aM?&_be-gf?Ip9lC$x6G zl-+Mmy(M1dt?0#53Ka&2?2^dsZ#;-gh~s+HXVfBEuG7s|Ke*>qJHKeVmPj}6vEsZ# z5B5(t=hw=-{<=CA)JEYlmXbI-w_Z#SBWtO|@*#~eDgwCVVeLIN% z(37N9CH_>rXGXk8q0QTN<454Gg9*gnM#w(jiXUcM$+(FBJ)j}92|xB;2_k;Bj`aWF zqvrRwY1s#vS2s3<6GYjwS{O(j$K$dUN93I+y-moHz=G;J%fs1&revU*<| zkk)>^uK20vcOF_Y@p@}p+Y-9hHhOl?=j*9tR)5q}@sU&qZ1_JmsTMGK*6e0v_Iz#S z*LYiEz5n|kKYsM&ohxCbZ@V#CL(9Ta{s`=f;|wm3v}Qg zxm`Yz|9YQ+lq#7&7rzchvC51|?poA2caENpPWtlC;Awd$U44ChP0eV<^iPtz;#_>F zceEFEU87G&PHxt`6vJ~l?`x%6|?Z)GtyF7Adrdx37A4o|5;!PBQJ6K~Q@1J*n) z%5wzM($jx`S2{gE*@bKSRDUg1(qpP8ukV3E_`6a^+pOzxmMynAmzI`PGPMrU^2FlD zp;#54#hIn`mG8%n9ZNnm5zBiH_vAVGmb28rSX+DK>sKkSA0I0(j^B7`(P$|}t`s@i z+}{47?EK(BiEUn9UUhZ#*RNm6$;s1jD|p+@y@!Ja^dwWi4La9Kxld>)D1_wYIl8*K zYHGeQbgo|L2w3lGX$gBSYfy0M(~FQphYl$yC|tO3;p<>|Ek3Q7&T!;{k-Pg7+5Kih zappZeJ;~zdmq+7GfBV+x@U*wJ<>%!kAM^aymMAiydR2|@h(C^td+U1p*2u`{j*7K| zgTr9i`E!p=q^z2$ZMK{rEc?2;G#9Wst2EtPfDan!5?|tGb%6@ubfxxPp#yr`3olVK zbkwVgJN3(w4%7w&oIn5d!&6VsZ}07$oi`epoV$B^82rBX78sUa_~7839}yA3BIVt7 zSL*4#d$M^wQ|?v8#l;@eyFCIlN?e*rm~>T&*!z5Z&iO;tSwq9* zT%zO9h8rHUM-Kv@<{b9a>U&0~jMs#{(ZsfjWz3uIh%lesGem`5d zgKwR@wv)jxebR68`Bjp~)r;@mS6*~by2I6XP#D6h)(W(qS$_6bsIU| z`)8NC8V(}nc94=*c+Ij`D`aXRuV=lUVF?q9ui-5S-=+o^95?t@>M>6(s*;kDW0z+3 z?%mt`?%dV`B)bl@=?U@c7Y9@SoOpAS&z@=`WLf@e%Q%BtKx^QpEu?HztkR;(L(Vlzjq|c2O;G_~OZyNyQ|BM&<&l$- zIrKd;zI?fI(x*gg{B>$xU%=}$nKPteH*fxRj?vLktijw^yW?-26DO`*y;^^Z?WF4a zv)bfYT>HfES;HFN%a%`28=)QAE`^AeFjM6Kwk9~Ka?mhqV#vX%$xaaqtw6(Pb1`^iz1*_+2*fJ1kKbV|{ zYosp!{8D1ukwn8OARut~@NDP(lRJ0rT)0aU{_=Dj-{l`4H!Z|Ro^Ney;|QKOQX%0@ z%l4)E*U&{57rm#K&evxjmy$Yg;J}$Q>9r=-03oJ3Z!^-fPR9$F`p&-87C9s!U{Yvy zB3{7wE@Q}GdZSxLcJ{O=KSwF*RCm>pl7)z+jpEoyWyL#dfqK}WC|7&kS@_OUjw_4I^ zrr#6n?dn4*Q3eC19)IzE)!J%lX_>8_`mV-rCA%h&Q8+d!$-!Yrmsd>eEPJ$lN1G_g58f!)###~4Hq}ZM*Hu*4GB~!%qwXcKVjqq?L5gXN}oBPrjL+Y_w z$m#6jVy)WJJ!A@+nwl;yLI+lAJ--jxrum6G_VTer{pzO26aG3o(!|Nh84;YGnVH$M zvfk3x=DRc+Z}{_=VRjd8ENVIYWgxO1mC${0X5frp@AK!+TU%Qv)bo=h7)?!`obn9{ z@W*-Wv`l{nv}+-n@VKO;snJnuXXi7{EzQk^B_%$yFX<_tozBz>2@N%Qda0m@US2_g zq2O+%B$o40(5XzV4^a&vju*&h_qKe_P1fR8SD zM8?kkZCBT*Tjlz>j+PkiC12^119!@u2H0a&P*aBb$=|&#`+rK;PJWH>ACrN ztHljR&9?5}qN(bhAM37c+Ol2rl0&v-(@nYiw`S=cdA`dpE_Or7X^rELQRaxOR>4wF(n-RM>))sc-#`0_vD`oK5m;J(ZM%%P6T`Dsu=>0Cqt)6n!eWLT`zGE3$ zhqN`dw6tEmdS&ACRcy;+&Agsq>NQ7ZRr^1+Hlw)sXWru);nl{+HOmetFx?YzsHP15 zvskmQGc(?Zfqrs#$yCMk!%YF5Z@Z6OKpC|_3|m-GFvqB6zOh5B`uzHK{-cvfPdadq zL{`w-B-idI_FXn_Gfs7DxW2<>;M}E+>KEO7y7g{8c_PXZHU9bY?c`*i??cr%o8Q_( z->FllR6n>ct$eQymuELM9d0zyFfn;OG7F&7pnOzCQ883Kd+yh-TJHsi%a@nX8|&-q zJ-@!|0ZOF%wp36)lqBu9%;fy+MC5{RE@}$H!#Gkl6uHIuc_(u&x>n!FGc6q*g8ckq zE+*MoS&9X^B110#J&m7Us&*YwR8V+1+8RIXH4^zIU8y7a$m62EY4@t;=H_S5j@M5w z{a#-7U-??TYu7HMuEUI23bXw7glR?&W7W1anc)u~)&Ny%H`aaJ+d=sx!%dj%6d02uw!dbl+1bsPKaY@<>(x_@ZN4ll2qZo1~CD-&)nq*2KE>n z99#iV+b;cmX2$8Kc0 zkKU}6JN8}p(j1Kd_nLA){^v2|nLP;Y{=GtcWdnqVh6?vP+o6*O-_k8GVDM^Z4Oo4X zcTVtP3YGHd(=n~1ckkXs?zFVDB#PSKJ~XF=oAI3Pjg++fGBw4>!oosNU+y~6*l1#E zVshcPCzIG%UmYjMpe+4vwBQZY{OuHb3(f1dH`*RKoT+47>88L(SBsl&3*~B;azKXz zFf78LfpFR_N6c7+KjXt9Vl^QVd*9H~V*fm7+gN|?)vG7Zo;_>Xk*kvnlpkBQ?e>YB zoSfIMUjy1*kBAVp_BdOl_rCvQbEqg|q9K`ORm$69BvW(0rytic`kX)>s;In*<2P*EC54x$=pE{}MV3nSwy}1M zkv40~3joWR<%s$XfOnH(t5cTro8Of?JAaf>CYA7CC3e~&-?{dzFBkkKMs)X63yJZS zv!zSjp#F)*9my;~1k@2q&WoBQE}vdtL=rHn=zRX%90x8cD%x(+_Epo8&0W$M`K}+u z=n>Ab0;LPz?qj z3e%74K=Ej9cd&;2u}11U*|)Tbg|@smzV>-!F`6u52M4nxfNeI z&9Q}KCotVJ)X(~Ce-vE6h?$}4LFP(*(m63{1+JKdsh;U;to~k8d&e=jNN=ppb$@B0 zP*GD`n4LW=RI`#Je*Rr|ZNSF$>!e#8%K-O9czC9M&yH+YoN#laX0W)~k_x2lb$m#B zd`%=eZ1*|Lp{%T|wzlI_Feecb6(b$VLbCxB|+ zOaV)y^ykj?p%NZn;GdnH4ZhVl#?36@_9b}7?xZ_cW4%XX&k_64OnI`j>!{E7Y9&&M zfOX&cY=A0+>aUprOK+nt?nh3aG%qgB=$|>$fu_1w$|XU{A)i*vvlVxh^y|{@mA7?Q zwxp(}3K~`1tDQyRM(3Nt#o2iu-Oc?d!{%Opg=_kxk9f3h-aechEuNw_|Jk$E%JI9? zL)AVQ|JN6TgM&YQ{D=zOxVwaz-^mvreCG0LGn>`w@7d*xCcLq)I8Vo|j<9Y#%+D8< zO2J|*udG}P4Na;r^kaBqby~tX%^YW7yFH3AFI_7KGp;J-PM_(5 z@;E_Lb$;?L4z9&a;ETzwZ1Sx^=Jla|tFukravqovv*TY2MIYMM^~m_?!(*%n$4X4C z-kju)sP8Mkz7OY~%|p8t)GxN0>drxVHLY^bIWMTt`LpqeU)J}ufc1f{uCDreO8^P9 z^nJ%JIoa7weEaY;XO~UZH4y_LPHyfq2|`z>0oa#YxYN3M_4VqzPc)E*HVNhQOr4Qg zyR$4gRO9F4@4t@udTnhjG4jE8){Wmy05@pDQ{&@(2xxi}uTN;X<<7(32Ft&L{%9|f z{D`%#`Td!EN+4rtZX7^k0lDRPl*IESu4)Ns^1GY7?eO8lC|cTCs`f{v=+io6aD&e- z&nZSS_FyEdtCJ-mxz^pSqomX{F=3a?S|v|9fGTtUZJ9Gup){##T0J zQaaR6s}`F38V|K{z>-*A{9Kx%%0*5^wSjW}?S19Qw{I+a_AI<07Zf`B_(lyTotvyO zCVX^xJr0>#_O`aRHxDYJiAS=^+@%J&LA!VF(SY?;0D%$_PSI=qPOFG`ps4jPEis^% zu5PDH61KjPcp*1nq30Z6dk;q3DR;?Ct(KmLRN_?ZBMAkyPYlkZvEkx%^Um_bg6U~D ztb2IMv8AWGo6oRpCNtiIZ0F9QVr%kJ;Y%VxNnW8C2k^ItIy?oshCn=L&-O&vZLnmi7mf0y*-o$nsiz{5dnTk9cqs_2bFTHI<&p*&eiL?D5#dlX1#9SylGLC&@>Vz&z__6>cub} zg2)`%w!AQHdU-T9gq&VcNr@HBC+Tt&wcGb0DTg;oS)?Iypa|}3G>^Z+h&W1N`kS%X(6aQV}(tSKxz_ex+?a%x2<&cn&RG9$(;Tk{StRM69 z%wW*Q(*mSDrn-@Q7gG<^|D2o4R!u}x6gmIy2}n%_5gR_!n)mJP=U)Wx*jOEx$;qj! zeEp`X#i|&v91K;yQ6<>kBm4L7KYsi@G8$zZMA#(gxJva~=5!v^MMcc%m3TXP8=ee^ zBV2FG=uZUfrK#>oz%F$al_V*jMRLJsbsjhQ-B2*V^wzHaY~9VJTH!YOs?RjQZ+=2k zQ1CJC50QTnvqj%y({V|qa>~ddK2>IMk{*;t^NQ zr_Iej7aSAdh$d>dH7V?Bwv9wcAc~IAFui#idY{%V#n(-f3lVx1#9eZKL|_ zkMr}5K&RlU3`!jqdJUbCJqZ=OT_k=b5jp8&16JOq7QuUrZ(kidymp&e`&0ht?G%Ng zkRmTi+mnkwe)OY8jkPCBv|Mwg+_>s1EpwdsN{R7xGO6Dl-(rR7*V#$J(9vp6iIPAl zak>wk;NI7Pl50t{O}-gglSyKZZH#hh+1a)yPHalvRXO_g>l)Z2m(-UV$51lUbXO(NCYa<_Na7q${12Eh0ZK7*c}MjoR7(506s)lL(cK!$MMrM?l04XQ?rX zA8>1Z%T+efUzA?Sw1K14)YO1QwuyYe`VFH&hkBF+*_rIF#Pum+_5iYswT3EwD5(EA zvrjTr{l11W2Mv>njn&UDEhRSXpC!XLJTY{GXQSIZ`KL_1*mr5+IJo?d@$i=xaU;cz zO-1&3lIA>%Hd z+nz(0uceA)f|5QE+?H_oYKY#G&z~)*sG?9{i{^NlN!id)&YU`B&Zgn&Ivc?t(!a{7 zGzqF1NtLrsK_K+D(q-)-N-RRWe~T(+oks}A4M9$MpzYt+I7mx2xhWhs1wo<5q0|7q z-~;+)9LX|xK?@5DdG=jEDeD-x2wr2%$GwD*pS-*%e$rs6LG@xd z#%;f9X_;MIjBBxqkdId80I`H_F)%PNIXMY_AEgNIl8}(VFLC3e4q@*bo2`oL>gq6s z;59$*4ituefKajl5F8~=q3xm0*X?(R%h;hYf;z!G0TxL$N%RmmH#hJQE&&(9$@y|~ zpF|n1&rG_HNLxxs=>IQsU9QiJnaTDO4uE zAanu(0;Xaz9S(S}N#EC)7$0xaF}^)jI0$_uUP>LR(`k6Dsz}Fs4UKSRg5j09SnI$fcsmfhf zOb?5UJe#9Kq39I$>Xk~Q;_iL>)cg(z8duF@Ix?(sx5p$z%7*7MuPtj?`$q3uJ-_?c zccsX9px>L+S{fQcsMzT5-``ipcrSi@eiblmT=YcvZYHMFX(u0e-}K)YC^X-qeFa2z zzKk<@R8tp~=!N%3*JKEMS1^Dg1ShU7FlJ-;@BYQpT|Y*$_LAOof`r{>y82H%nbnvT zmzSpA??iVT zst%?%k-bHnGhe@+Jb4loSXJshMl9#rH97>gE&gfp`gV!V-_MX(jF-1+nV7J!HT3kv zUSLjDk55i+)pw(7`SF_rp_H|m;qI^2=g+U?$WjRZ7^WxP+C5C6L6yuZ>Q^?Fvv=m- zua;5VDPi3`vs-Ml^hWK~OnLS<7-|?OxaqI#3irW1cp9ijodMX=N6j6g(2sN$q z8tEr2GDWUQzo!X}arGp=Z21`o1jCT0Ux?-4|3iSiYYg5om^wtx{G05bVpm9g{Y1Xl zO@8yat7TPG%~LdwNFe4O4}W4n)W*QH?;y%2HzOjRxli6swD{UzWZ7S6P8RYRXg6Ik zQqtvPVB+S(qiA$@h0I?7`0ik{Y>dz^b7JUY&?o7Yo>*O7#e}R`BHh^7_&QOf>BV?< zX;pCAtE4#BO$0Ntw2r9ANH8FodVH9!RWjfDwi>7<2$_SL1=2D2d@exOu66#Mysj!PrT%NRIXlyng721B4L!IL(Umqmz|;GpTb!?t-lwbP#4$$J~Pd7PbJv}{D)rcjFU24?$j{MrO7}vF-=3G6_t>5UMUiAK&VNlb^8~TK;o3Du7q#_Usttw9ML~Q*B z{oal-PKg<7pI1@7Gf9nurifX6BUD;w7X4jR?fpy z<@Znh?FcZxUw+%wzp@re3RPxxdr)TqYBN|kc zm47b|I%{idE3ikS31Uph%k!C^fCz67SOLj`A?(Heywm+OzMwUM@7SZ21IT1k)w7AM zaTSogML8dU9FWqu%0284{ziGg0AXVCNaG*}O$%_vsGG!rD+v}JJD36iPwq;f`cUlL z$rX%Amep^09@_PL#0M!GPprd_kI#h@BXVRv{dt`@abjbsBY>7{n}-hup7!SE>({TF z@sM3btv|g#S{XVnMl@w9cXxLuhzL-L*yOXj_>C%VJs;%3UCg#08Eyl`fWHB2?}hwZ zN*vjVH7PutT>GD{i5LaL!)cPcWqTAc>v;notgWtk9cL-oH63X=GPeZfQt;W2%_W+9 ztvq&IJk1{6JnFXm{x+t8t5>(IX$ZuNNK+})M@NHS{4qOg-}h)=$)Cf^?3vrv1>G?* zC53O5sXA3!;!u36%*N`)?FWV`TrI)Ok%h={(9ACRO5Re>-W?_nNCxG_M#zYq6Sa|x zE4RlXS~;U@60s7?&nC}D7sV*%03yU_+)f{zhMt~Y$%A`sKxHDU%b^tfBE|Y`?Sr%; zHf;}ca~}u{bY20$sd4a*G6$xVl9bX7v}XeYgLgkR@AlgdKpw$#i0TL@}18PN#|&FcHJ^o(ERGaUCSTz?yRoaIcdQY7A8p?+N&hVgHr$(CQIJY(%N3^UUFwLqq@*&m_Hc=b&UI5zHD6KavxVUum24g4-AfB-!|h*{ey#`wsx`{Pw=k5P>K5`O5*71 z^K=&*GNl;-CqagITLSv>e|`Lb*lwh++=-7@B6aof$YfH=?$UoZOmXjxUCsKkBX6z@ zx`1sbZV?lvg~GzM9!}LZO(9Aq@iurG{FRLle4N9eaYdO!xQmlpGFbY^k@7>@SqTS> z$fd*v@odbhmP390{J`g&k;(7F&|$NDJ#Cp`mmD3xfz?fy_N6<+0%!2nU94xfb^}O6VMdRNK8dB)!zU|~FHWofzWJb0Ae()vGgatQ^WM*Z>-MQnE z8qEfQmG{u0U19Q!kz*h^pdNmdJn-;wMurvC#Y>kiA%gSsXMlN(Y`2z~VSYEt?i3|n zR%q3Z#v4elhDEY0@Owc)n~U`Ls7Y_!xUo0wOo%@4H({RYp8yzw4h-A*cg-{nL!%`STPrU-_ZTes@YOLuC3iqm~$ zbV}x#&o6;%ErbyVN5>s(WFbMR2kFGvLN@8f7mjvLy5kq6EY`gTDT;{@r16Zsypqzz z)Sw)MI4lemuQx~3?d3|wLm2N!V`X4CMJnO@n>Yx;YPC1&Hm>l}jGn`evd+#H@DEL-FLP8X%Iy8w0CG%T7oKArS zsph%Y3(^0NTk~J{%<>Wn1WVwYas;$sZ9eBc7 zg4s!Eg|iZ}nw+wlT4eiHi(n6HN6pT3io(W}O@#a)2J$Qn1)(7!vGI_qu!fi_+h`9; zNug9tc9T8DgaRRIb!j}Uoi=Y2%oemJ-35G`7H0bbA_Ai7yqg;w zif+JZMkw^h!rJ?x1ta%0;+1oXNNptPUtI^ivy(yi3;0bs(yclrAEjw` z;|)&Gu0fg#dv;+uEikDz;GhY6X;Gl-m{mmDhJmE7LqA8y!2dOYpxY3!EoQw=pu~i{ zuU6inrifJajWda3?Y&mvwV%!J)s&(x>>}M7XB5!ob^NaX>&3;z_hVZKW|mIA2Jk{Q zmOAv@Xm>$Xd~T{+7CBn$0+5Cow%ta4kcb`b*`xdqQ2hGw>7?pm=Rv)@Z#3^~Xw--Q zJ8=3>R!Y4IO6%ph%;FqKAneiCV>-<)K%krd3^98c|A+vyQggA_sMUmG)v2}M!CO^>8@XLmV z>+0Pmz^=g!a2cpplGk=zp)1!*$4iKJ+LUyEBf4>qYY{`9v!;H%A%;Es;VkK zUv)n<1*>$*^F(K07)=8M6+hYIEK%jFS`}gloea#rE zRx4p1+kk+Lwl-CPxe_NzpF8sGJIKi3YLdRH2?~26rnlRu6r^%D354rcX5X!K>l-IK z?_Z6II)g+w+LC>l2-R2nlvw>5J`NGb`C3`ZsHXJC_o?NeKH1tI-~vB!uE0P+CZjm> zA}G^2w42J7Hiv~7q+rKgif=!{1#9jFJo>e1mmDbIIx{|~Hnkh=9%O3uzRxo>4%)OO zXr4XG3G};pli&HX>2E++hsi^al-|Dah=-p)RoI$LOkQ>)>5*<;=Ex(1(p+SUs)Eyf zG_HmQ`BDRbT6f8PAEbk+i}a2=bU#FuMMS(buY6MjX7|e%t53rdU+0x~RvN9N3=!D@ zB6kyMfA8i|hxB#XM1XA+OxNU$vj=&3PoFvkASk4LO!OHG?YZ)@y}dtF32OVPJ6pd8 zhShAWuRyun?rGGR??8Kddwu=YY5AnUrJ$Do5tQvIvAzG&!qwY*8C5Ii zdltMEP>C?P++IGdoc^Yvu`$W{!>|o06%|M}aMBL@ExllmK4+1T8b_DdSL&hPpcaieKl2Fp#BT5>N$BS1i{4%j>14;?}2~LfFVW*$@^s0BDZ9yLU@&&? z-6w(UrlzJo)nC(|zP#{#cmrxk8HZi8U0q>#BMV{Y<#j|)GP3O!9pg#(y_!87 zP;U2z-DV3){95bbZq6NR6Krfm%GFlfu2rhk4;~G(MB7RJt&WihTq3i%Y+kL-NfX95 zRXhpL<3t+MVnC(Q5R4Kaa%eD%=#|(|F3dqE6&4n*XeY@xM)QAcR4KQHL1qLbh--3` z!T?YV9FI9^;I*~$4B4W4P7GUHThFuBP{3v=_QMI7VQ-Y(PI$23&AGTJ8kWdd@CPfJ zRkRkhxd{Io2DI#fj&1KT{L!ohR3X2^UH)(y8XESPmWtO8?DbNw*@HlE3M~;Jq6=47 zBU^LpPP@AO7^IdzOA`(NHPm^K(dEKNX<}kxWcx;ROsZZ-ORLziPXK0b#G0<|B~aNV zp(T?468!N7DsCYV78A?Ow0L46_5j0i&>&<XRvDJRZ>8N@f%Vp&OozbBeHrKYwvmG>C_X?ao@`IZ*?Oyl|VEi%(R^!Lq2 z9#-8B`6oCe#5FY}_C)##5#`Lc)~#`X6G>Ht@a4BljV!{9z@?s|oJt28cDXCSFsskR zrvQ%v&2;k>SzwHAol9|(SE;10-?;HW+5(e>%u1OA4hxopOF%&VAZ;!Y+F09{jCX!< zTf)U1aUN35#4mF=J@a?vZPUhRI6z@*3|TEGD5&D~i&yvF++)C?FJHkrh#w=lpkwFz#laq9Ft- z@NAbaOR#b9@$qqSg@)W~*ETd{+P4oLVk^03fZPM@>=UCPJ@1Vs)OtDF+A2k6(T2Z- z{kU}3O}9#44Ef#7!Vden$xrT1G6%dn8A`FVJpCBGMoceipy&E|nsbrjf8#~^4>=Wl zThFt=ShF^wj;FBRY(XIKTEyKBV$nE6O{&NA>7h(3CFSwmHAZEX)f`zE!|P;|aAO;3f)&CZ(hr?l7Ia|Shbh=<2Q z#7I$byO<=U(^-9ehUDzv)>p6KXwWCO75UfuW%MSR?Fa;soZQ?bJZwznaNlp+e5IsB zB&sRzA@M~W{t^U2x{ZRlyqw$%aQVqeNjx-Rh=B|(dsvhqpolW6L2i0%TKigOzalLi z-F6ZZSS6wS*BV7EJ4Z)H!+1I_bTYiu;^htPY;~yNrgHZ+xMHw<0Y$pFSon&p5GJDS zn3yg! z(e>XWQE+&m;ehJ+h{1vG=;;vn7$_)+M!lAnQ)kZnnxDtNCE$I<%xYqS(mnWNp+BKR zdWATZeY@VWI`z(%)ZtB%BV)*9e9$hQk)}7cP85szE4mhiC}E1_tYul`u-G zO?_!fdb%a{2;cxH{#j`c)zm8$zf0hp8@Rg-Uih{Y@b& zz1|O?{Kc!VNR&T#5VTfdrc*Ch_U{-^)RRv-jg^}E2hn`N@-PGgNmNu+YU(~Q5puDD zP*tvU7MOx8-yYqMq6D-xr`_IMHqHVbc*Sc~YOYDbsqak;s>8hYHTorJlTQ@I%JAs`Tv}Bw#E#Pbu_DOi5QGh1q zr6q%nb$o8}n3;!Usxk+NH{)t=v8$g94gxzIKCD@wi+oB|S1PCak0hq6-UZRc6_?X` z=Qhek{~0Q@d50e2gb}^WX+TR~zr`ac?)s>rWi3^Cu*X8c z>E06CGrj(!U{woulOFvtGqXCD>|DH?mxE&~uV`{|r9g|OXPcyi#J26*-!g%Yb*wR8 z{RbuZ#26eiww{5Cj7ek{XG-h%_48+y%O^PyNt1@*TefTgE9rct#7>X&Z;4B{dxJj? zM7AThKM}R4@Bc{W$m$N5)W2h%PvqS5hH)9cqf6Mv)*mr3HYN^TO+>*dEZgRoSsejW z(PB&ykTTBs7=9Xj=ieyl9!{2pg9pgq zp*;^g_1MIC5lH({jDzspU2~p8hX$Yufl!p)kMRcMYK4CNE;+#E8ru$*F!>iFvuMtz zRaDyc6>-94tgEHPP7@}|*p4{>^xJa}Mcu%EJo`ugz%o+`sAK{6^=+z`#*)!hC0srd zqMEdGbh-;tnnM}jG2U~&cehr>jx{8_9%%zW4sUT%QhEmVghF>s7U*t4It@jnK ze?%>fKl=?GwlR^9fBIAe3qwW4QJ(VvInK@<9$IQPLqVrGt#p6WVW-d<-W|%4D^p0b%bbRo}8L$47#>YUytD*NwA5)$Gp9r zh{g7rKMDd4xIv9aXPLETDAy2I_{fQWYip#9aay#8H95h|10DgeV>EzDaPJZ$$lJ^7 zH#A#@s0V`o#?Gbx6FbLP#QEQ2v47mpVBOD;h5h|{%Zen0r?6#H7sCOVDo9+!{k1sjAc=U)4sIo{euLp=URlTo!kPkzfB5C4b%g{rDx_LcByF!uPL0YYnT+*#UHt$Ic zjf`eKeR2gcSn`M)_R{Pg2Pk#WGPBa}jr~4sD$msUQ;}Cd;4Y3ZS#q%S8I^VwJT~xR z=gK7S(8ekfD1=&{Y@TQ4hISjGB^zKucCjP(t=n>KOTMQhSzOVu9pA4{Sf+IL$|^-q!7_vG$LKGEagfk6rdZ67mpe*`(7MqUrLYB^y;TdOOa z5SF&KeJ~%zjbKM~3Ez`H8>0)ED>xwN{=eJ`{hz46|H}>7ukXahV%r5#>Nn!v{MU7U zRQ2!x?h8nbj(+aJ{@-r$rglrkMsU_hMQvSOuGQo}xaK%Z$IF)?)7|T7a`zwRnyLa*f{}42 zs9a+~pkFSDM!d;s{B^O**K0KO&AgeSB1KW{bF-qHr|ge$UNkL?Q+l5eLX&t@(ad* z)-aGmvu?L{AegBE+sKM!W@qn~+q`-6{1Kcjmf8)2?FBanq64?RT`j;RR^#Bz+stsq zbmG3pYhjxLJx*ZreEXfaIId`AFm&@rpdLn11K2faYHgfMe*@u1Q!J$h4ICtLE}RA_ zR@(@@*4t$>2!tK7#P0H%rk6AS!M#?em5rO;#Bt`0H3oK%WvPlZQd{u z?VfapOb&vS>BxmI0)m7>Y3%*KCxL>rgAENHFdV}S6k1f6e(b?rUt76G0ek;-Ft^yQ zBfOeqQtb`px05O-C8-7J#>Rlr;86I?KW`xvvi~{kgaOQU2$tfktg+a0 zCJ@WlM z`gw=}$gIQvw$$+)_7yB=`IUgzH+|++^rlP4CdNa-BCgss*^LbwNL zAZ%YS^x}W}gHD1FXmb*eSnbm2t37hpml{2fbReGKW944{g!v|Hlye6`myGxfPhdg; z&ji*^krc2W#*$xD%tz}yv^LNazkm6HUF7gsz`9#v*|bwmSyiU#Ky#xd!~QRo%+Ir4ShMy)LuAyoYfbQl*|sG-H@l69FeuRFpxLo?Grl-L zhX?vwNLwcHO1j7hvb({_-q+~=VH*x(#6+3``z{quf}MoXZBRh}f4}|VasuIFEfA&K z+?bm90qj`907Z1nU-*#JUZDnC?PGaGMYqeZ3Nag9v`b!_|U>*$DTC&mmWEr09> zg$rRIVvqx$8kgKg_{j1a(}QiBXx9+}VMHkOUw*yB)tXKB>;Y#{IJR!yRQg*0>~-0+ zyCjq~-8?J_93XHp99x2_4&=|na7FfB+Lov$SQH@IEVs^XCWvl@ReihE@yDX)2HPQJt&E1b#ySj1X2q_>j5`a z7(;;=#Iglup_L3gvDf}ETz27u3Mov?N2*7`xjGHqkbxQiUJIZ-fm#@nAE>PC?CkL` zU+&zw16Pw;s^nRL_>wr{ky22fvWg%|{Q8y6iqpwmPftHkoe6@Js1HcwWvly5PE7p9 zq^8BNnec@8g&cNC(7viFE8kFo17Qp9*huT@K_>IrDo|zSa`W-2!o`z2`577z>KjxymsDCp|7M)d>=;HiPgI)aPq2vVC+{R9I59N} zZ3=9M*}w6+Gujg#cwqa_U%&d&gvk)*#FPHr$2-{(^6T{Wgunthq!&MN`@ftrxTA7= zlrw!fMuJ%$@v4(1p|ZBOggZF{qwIca zjinz;8yiaZ3<|P#6L`}tExRLez!SKgDpqlR3ZgQ4r@6-UfEh(IHALs?~u!BbXyt(3<3=vARSFE-AEQ96QO@ApU>} zf%j>3t^;3p0)sCoVmM0Sa7QMXXB)5wW4GqBwZ%b?fYYZ>rrZ?wf_4s) zj)@qnT=4sP8+si#!EksCn|KX&0$X1O5RM@n-eP5r{LHNc@g0A9 zpJne&1Ir*SuA)&xKQZ@y3HUxVn+8w6p?tF{9nYSF~=oKjGie