From 3dbe49bb1b61e7b8b4ee63eb25993531ed3f3e9e Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Sun, 12 Jan 2025 13:00:32 -0700 Subject: [PATCH] =?UTF-8?q?The=20Schr=C3=B6der-Bernstein=20Theorem.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../plugins/obsidian-to-anki-plugin/data.json | 138 ++++++-------- notes/_journal/2025-01-12.md | 4 +- notes/set/cardinality.md | 172 +++++++++++++++++- notes/set/images/schroder-bernstein.png | Bin 0 -> 37941 bytes 4 files changed, 233 insertions(+), 81 deletions(-) create mode 100644 notes/set/images/schroder-bernstein.png diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index be17032..48a1977 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -80,7 +80,35 @@ "calculus": "", "_journal/2024-09": "", "c17/types": "", - "calculus/images": "" + "calculus/images": "", + "combinators": "", + "computability": "", + "data-models": "", + "geometry": "", + "linkers": "", + "serialization": "", + "threads": "", + "_journal/2024": "", + "_journal/2025-01": "", + "c17/strings": "", + "computability/images": "", + "data-models/rdf": "", + "geometry/images": "", + "linkers/images": "", + "programming/images": "", + "x86-64/images": "", + "_journal/2024/2024-01": "", + "_journal/2024/2024-02": "", + "_journal/2024/2024-03": "", + "_journal/2024/2024-04": "", + "_journal/2024/2024-05": "", + "_journal/2024/2024-06": "", + "_journal/2024/2024-07": "", + "_journal/2024/2024-08": "", + "_journal/2024/2024-09": "", + "_journal/2024/2024-10": "", + "_journal/2024/2024-11": "", + "_journal/2024/2024-12": "" }, "FOLDER_TAGS": { "algorithms": "", @@ -142,7 +170,35 @@ "calculus": "", "_journal/2024-09": "", "c17/types": "", - "calculus/images": "" + "calculus/images": "", + "combinators": "", + "computability": "", + "data-models": "", + "geometry": "", + "linkers": "", + "serialization": "", + "threads": "", + "_journal/2024": "", + "_journal/2025-01": "", + "c17/strings": "", + "computability/images": "", + "data-models/rdf": "", + "geometry/images": "", + "linkers/images": "", + "programming/images": "", + "x86-64/images": "", + "_journal/2024/2024-01": "", + "_journal/2024/2024-02": "", + "_journal/2024/2024-03": "", + "_journal/2024/2024-04": "", + "_journal/2024/2024-05": "", + "_journal/2024/2024-06": "", + "_journal/2024/2024-07": "", + "_journal/2024/2024-08": "", + "_journal/2024/2024-09": "", + "_journal/2024/2024-10": "", + "_journal/2024/2024-11": "", + "_journal/2024/2024-12": "" }, "Syntax": { "Begin Note": "%%ANKI", @@ -170,81 +226,7 @@ "**/*.excalidraw.md" ] }, - "Added Media": [ - "adj-list-representation.png", - "adj-matrix-representation.png", - "abs-value-geom.png", - "triangle-inequality.png", - "triangle-inequality-degenerate.png", - "venn-diagram-union.png", - "venn-diagram-abs-comp.png", - "venn-diagram-intersection.png", - "venn-diagram-rel-comp.png", - "venn-diagram-symm-diff.png", - "normalized-form.png", - "denormalized-form.png", - "infinity.png", - "nan.png", - "triangular-gnomon.png", - "pascals-triangle.png", - "function-bijective.png", - "function-injective.png", - "function-surjective.png", - "function-general.png", - "function-kernel.png", - "peano-system-i.png", - "peano-system-ii.png", - "relation-ordering-example.png", - "archimedean-property.png", - "church-rosser.png", - "directed-graph-example.png", - "undirected-graph-example.png", - "cyclic-undirected-labelled.png", - "graph-isomorphic.png", - "graph-induced-subgraph.png", - "graph-subgraph.png", - "graph-non-subgraph.png", - "bfs.gif", - "closed-addressing.png", - "open-addressing.png", - "theta-notation.png", - "big-o-notation.png", - "big-omega-notation.png", - "b-tree-full-node.png", - "b-tree-split-node.png", - "b-tree-initial.png", - "b-tree-inserted-b.png", - "b-tree-inserted-q.png", - "dfs.gif", - "saved-registers.png", - "local-variables.png", - "arg-build-area.png", - "stack-frame.png", - "buffer-overflow.png", - "infinite-cartesian-product.png", - "postage-function.png", - "free-tree.png", - "forest.png", - "cyclic-undirected.png", - "rooted-tree.png", - "ordered-rooted-tree-cmp.png", - "ordered-binary-tree-cmp.png", - "lcrs-nodes.png", - "binary-tree-nodes.png", - "abs-right.png", - "abs-left.png", - "abs-up.png", - "abs-down.png", - "abs-right-down.png", - "abs-left-down.png", - "triple-table-repr.png", - "state-diagram.png", - "state-diagram-ends1.png", - "state-diagram-ends0.png", - "dfs-edge-classification.png", - "complex-plane-point.png", - "iterative-command.png" - ], + "Added Media": [], "File Hashes": { "algorithms/index.md": "3ac071354e55242919cc574eb43de6f8", "algorithms/sorting/index.md": "4a66e28bce754de5df31ec2f4aed7e93", @@ -972,7 +954,7 @@ "_journal/2024-11/2024-11-21.md": "951b6034d60a40dbd8201c50abf0dbb9", "_journal/2024-11/2024-11-20.md": "951b6034d60a40dbd8201c50abf0dbb9", "_journal/2024-11/2024-11-19.md": "d879f57154cb27cb168eb1f1f430e312", - "set/cardinality.md": "02191c855899826b9e379adfa1e9b98e", + "set/cardinality.md": "a684ba2638e90d6d5647054230b3f35f", "geometry/area.md": "7f947bb5ac782495a1fb4a63bb2463e7", "_journal/2024-11-23.md": "911f82ab8aede5ecdb96493aef64b0b9", "_journal/2024-11/2024-11-22.md": "51117030e2364dbce3a8d507dead86ae", diff --git a/notes/_journal/2025-01-12.md b/notes/_journal/2025-01-12.md index 215bc84..807fdac 100644 --- a/notes/_journal/2025-01-12.md +++ b/notes/_journal/2025-01-12.md @@ -6,4 +6,6 @@ title: "2025-01-12" - [x] KoL - [x] OGS - [ ] Sheet Music (10 min.) -- [ ] Korean (Read 1 Story) \ No newline at end of file +- [ ] Korean (Read 1 Story) + +* Notes on the [[cardinality#Schröder-Bernstein Theorem|Schröder-Bernstein Theorem]]. \ No newline at end of file diff --git a/notes/set/cardinality.md b/notes/set/cardinality.md index e3c3d14..f5654e3 100644 --- a/notes/set/cardinality.md +++ b/notes/set/cardinality.md @@ -1236,7 +1236,7 @@ Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Pre END%% -### Ordering +## Ordering A set $A$ is **dominated** by a set $B$, written $A \preceq B$, if and only if there is a one-to-one function from $A$ into $B$. In other words, $A \preceq B$ if and only if $A$ is equinumerous to some subset of $B$. Then $$\mathop{\text{card}}A \leq \mathop{\text{card}}B \text{ if and only if } A \preceq B.$$ @@ -1520,6 +1520,174 @@ Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Pre END%% +### Schröder-Bernstein Theorem + +For any sets $A$ and $B$, if $A \preceq B$ and $B \preceq A$, then $A \approx B$. + +%%ANKI +Basic +In terms of sets, what does the Schröder-Bernstein theorem state? +Back: For any sets $A$ and $B$, if $A \preceq B$ and $B \preceq A$, then $A \approx B$. +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +In terms of cardinal numbers, what does the Schröder-Bernstein theorem state? +Back: For any cardinal numbers $\kappa$ and $\lambda$, if $\kappa \leq \lambda$ and $\lambda \leq \kappa$, then $\kappa = \lambda$. +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +Let $\kappa$ and $\lambda$ be cardinals numbers. What name is given to the following conditional? $$\kappa \leq \lambda \land \lambda \leq \kappa \Rightarrow \kappa = \lambda$$ +Back: The Schröder-Bernstein theorem. +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +Let $A$ and $B$ be sets. What name is given to the following conditional? $$A \preceq B \land B \preceq A \Rightarrow A \approx B$$ +Back: The Schröder-Bernstein theorem. +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +The following is a visual depiction of what theorem? +![[schroder-bernstein.png]] +Back: The Schröder-Bernstein theorem. +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +Consider injections $f \colon A \rightarrow B$ and $g \colon B \rightarrow A$. What set is "reflected" in the proof of the Schröder-Bernstein theorem? +Back: $A - \mathop{\text{ran}}g$ +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +The proof of the Schröder-Bernstein theorem uses concepts from what "paradox"? +Back: Hilbert's paradox of the Grand Hotel. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +Consider this visual proof of the Schröder-Bernstein theorem. The first yellow segment corresponds to what set? +![[schroder-bernstein.png]] +Back: $A - \mathop{\text{ran}}g$ +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Basic +Consider this visual proof of the Schröder-Bernstein theorem. The second yellow segment corresponds to what set? +![[schroder-bernstein.png]] +Back: $g[\![f[\![A - \mathop{\text{ran}}g]\!]]\!]$ +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +%%ANKI +Cloze +Consider injections $f \colon A \rightarrow B$ and $g \colon B \rightarrow A$. Then $h \colon A \rightarrow B$ is a bijection where: +* {$C_0$} $=$ {$A - \mathop{\text{ran} }g$} and {$C_{n^+}$} $=$ {$g[\![f[\![C_n]\!]]\!]$}; +* $h(x) =$ {$f(x)$} if {$x \in \bigcup_{n} C_n$}; +* $h(x) =$ {$g^{-1}(x)$} otherwise. +Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). + +END%% + +## Hilbert's Hotel + +Consider a hypothetical hotel with rooms numbered $1$, $2$, $3$, and so on with no upper limit. That is, there is a countably infinite number of rooms in this hotel. Furthermore, it's assumed every room is occupied. + +Hilbert's hotel shows that any finite or countably infinite number of additional guests can still be accommodated for. + +%%ANKI +Basic +How many rooms exist in Hilbert's Hotel? +Back: A countably infinite number. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +What does Hilbert's Hotel assume about every one of its rooms? +Back: That they are occupied. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +How many rooms are there assumed to be in Hilbert's Hotel? +Back: A countably infinite number of them, i.e. $\omega$. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +Add one guest to Hilbert's Hotel. Typically, the occupant of room $n$ moves to what room? +Back: $n + 1$ +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +Add $k \in \mathbb{N}$ guests to Hilbert's Hotel. Typically, the occupant of room $n$ moves to what room? +Back: $n + k$ +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +Add a countably infinite number of guests to Hilbert's Hotel. Typically, the occupant of room $n$ moves to what room? +Back: $2n$ +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +Add a countably infinite number of guests to Hilbert's Hotel. Moving occupant of room $n$ to room $2n$ makes which rooms available? +Back: All odd-numbered rooms. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +What "paradox" does Hilbert's Hotel raise? +Back: A fully occupied hotel can still make room for more guests. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + +%%ANKI +Basic +Hilbert's paradox of the Grand Hotel illustates the existence of what mathematical entity? +Back: A bijection between any countably infinite set and $\mathbb{N}$. +Reference: “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). + +END%% + ## Bibliography -* Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). \ No newline at end of file +* Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). +* “Hilbert’s Paradox of the Grand Hotel.” In _Wikipedia_, December 23, 2024. [https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel](https://en.wikipedia.org/w/index.php?title=Hilbert%27s_paradox_of_the_Grand_Hotel&oldid=1264833516). \ No newline at end of file diff --git a/notes/set/images/schroder-bernstein.png b/notes/set/images/schroder-bernstein.png new file mode 100644 index 0000000000000000000000000000000000000000..3b8f215acc875f55cba36587d4c8a380e17b5e0f GIT binary patch literal 37941 zcmeFZWmH_vwl3UgfZz~3xO+q6?(PsEfe_riaZiFnaJS$=f+l#7;O_43?$E&3C}$U6S3INCTn>5j=(*fQUxMlUW^*lh{LSSiuf>S4_ZIra*0_)232xiMSQ{F-BA zYr{FO8Amgtii~PcBK-C}p#{Ir#LI1|(=Ik1-=9spq&>LoZ?^`Et3(w)$q1AeXgY;W zkHMG8Zlf@h$bIzXs-m7X#-L-mXc>vEslKQ2o^Z7nLts}kHBs$P58|+6au|I*nbT}Z zT69dPS7-v#?UupxqM{2r;qEK!J?(Xq>fU%A? zRsZTVw5#a}+Anl8dhs&f#YT&YBkRlWC}GB6i^?OhTzvUJMGYe!3dGbrFjZ^&`IQou z8>}T+31=jRB@k|O9FFkHRG)b!frsJie)HL{b06npzbC%)EY9sA7C8Sq$17he09Ws5#-vbR&Y7|_+*vpEhdZs zphjE+`wFvRtib_RCIu_=0Dzo`+GKU|M8g^X8hBcyQ%b@i%@r#`W$hIqr>xJs+#R-n zZ{Hm2V-*1wN#w)y8>ZrDZ^=4_D4SK`{rTaHmYbU7yhFyxYXXIhLQL-lF37+fPX#H$ zdA*xv=!Tto8wJ?(1Nhrcg%4SqH_M4hOs^vh(bC=~QiGJa&2?(i_~L$>>Y%N?SM$^a zb-cy&!#vx3#LSInwzSCkO~$phS#3Dz&)PBMZTEqkc6U|v&mCkiOUnq0_<32NtOi|QmSQU0G zMS-Y|F1=#d$7IAx4PRyNx-oOG8lHgFhzw<9+@?LUW4b6V_Scba6i(_kNBO7NCP>?@ z5pnhBbb6X4?dSx|;%^vJUF&`4!Om^0$daWUVz0#>lSA6-PY?pc!s?BO;d46N^M_tI ziixHhF)L$jchNsMI*ZwbMDPU9aJ8_%=fhKB^na%+V0Eg(8<@sl7IoTF+D?pRaPa#8rkuS~%1C^$pj&H@T z1lm6;evXYnmp1u^;fehzB%njph9xXEmevT$NpnT1zfhO55pRm3K*Ifwid)qR|;AE{h*VLe(=kJW>*4{m({#$=k%#JRKg6~^RtyYtO( z<_x8ch%2H%Kt}tQ50U->KR+nx2)Jqn1;3d#zTG2=z@rK+gJxfe&0<0-oV~ya~Vyt_CbK> z2?OB$77-B<-EaH%Tfodd4B3;!GT%E|2>2VU!xg3qBZHF@*o%nPD6EC<+h zMEq772egHNl0xDpfX~Y7n+S3w(|{zXO&$%I=WKp;0>WWEt$GJINK!iP;Av^P;) z?f2dY`@cOaqj<3j*HIU+%2rebv9?#^PIYgvo3NL^@T}P0yn?_i1^ZE{B1^-+_=q1M zK_JmXtw@23(}(;H`2}*}O7(=2y9_n9ODMM_#tm};W_9Rzs6xnoNMmSsXhw%jhc9-h ziKr9#ZFG*Do;plX@{hzHaTDSVihHy^s%lz5Ek`xvH*#87MFScP+OyeCiknq^8VSQD zXjQLf!%393;tFGuVrrw)dhvS~H->SQ!q7T{V?}!l2J$sk_ZSN4-5BgOwX_DcgtUyc z0*jqBnKZAzWor3+y;D~~)K%1v zHAF^sKy*aGU4?@MTBAf3NtSGry?bx=m@kp{r1m!V?kCxbudSlFO1Wl;^dfbMw1|R1 zb`}@bV_Y&;($-s+tfLFr9?It_cyj%3nPkJue~MaHPsx3k0Y})0nU8y1++MI;Xk6IY z=F~)T%Lu${)bvVn4R+1?lK7=WId(`hgE1qQU%w%_>?f-XkG5ONk?`VvL)JyarH&`; zuTIZP&!o$xeT?zzY5bj}o#UyNf~Q`8Lrjxs@4gFta&>feyuXJFB#6Y zHwB*tC7{mp9MoW0nb_l+gBC5S)f&}WDnlJZDrelkpUSPj$I-{}i?fN-qU~1nRNO6S zE)XBrDqtxXCgexOqe@b1voO9$AxsHOl^f(vaY^>!t_7-qvdo+3A(;rBA1z}HEBkUL zbB4zzIL4fUOfxoZnW|omGxl3WP7;<}PjOH6PQCn2{5@-SXWqdk%x2H#XinYs!G>;r zYUceiUKxJd5^RDi#ySKaPO*_&(lANS7 zH4!0RJ;#|{yjDDYF_1{oIY(Q1IlMA7g~XXRk$@QI-K%?QJClWoI?mIJo6u8%wPhN3 zYG#GHIEyrTB^xDm6`~}~vwyp;XSbd#P!X#Dlpm`er(Rod6@^CB=xKA! zTkF`lUKUkLDB=RCM-IYqq9e)pCLAN+=to4s!e=Wphi?a}4Vupyk}Fp}Ua$19c4xbJ zglIuX1ERhvo`Blva+%k43skoH1~QpjO3zB)Q@qn*@J@K0`itV;M;Sa+lOC|Jv9RdD z=way*EcrHvL~WirPELc)CG2%a=UQ3s`#5ctqqxrsHCt4->*r}GKUSl>8zV|SP z=SycUUb#Nx`)32E=85_rO&9&xOR?uIUm!o%rUUW`6$BFN+1|CJ*XjL$+@Z9*n(qho zhxL(ukIBvHZR{w`tv?X{PnQ1m)YDzOCl3 zy1NJd$A

hv{j1_9fMZ)p6<7uCz39ZmtQP>3DluJJtn=iNaVSXA97;WYMbbCwPC_ zHpfzxGULf!R54?>$~O? zpYQi6_xl(+ufGY)is+2_gA}cItOu+PtmG~C1aV!z{hV#QT`??dpZ}8lx`@Bn89WQ@ zt3>EVd>i)mE-F0gIYs zwo|r=+3E}|EZnR`ZW`y0UkEG+5V3md*)(i;6xBO}w=4U7lT`GOo1E?#xAy|A)u#E& z>E5?^7%xPYr9sk$?KYP@T^diWwgsGzu#XZK#_P0wmv?*z$z1&oj+~D9@5oQY?%QvI z-AGSKf4QeW-6&jtq?@4IR8h*B5_a}*&7-T^9y_lbZZrrn@IGRB)HomBOR8bRfNVZ# zdo3q7A8E&G!<8pB0o|()zwggaJtjZiAD=Dx_!^wGt+Zc74Mdp>)A)JbdGz6rC54r{ z8l<%Z`ZWqf^RSa|$=973z@T!2sNnpk=K)^}0HVS7oP9c-k1BQ{M#GFUDzVgAZq9K2Lhn|tUhb7d!I1}{h<>CKm5C&>`sBrR+pKOTS%)!`e8wfj_8LO0 zalq%-bHB|QUDWU~YxoJaDAC(;DJU@m06;ghgyv5=N{al(_O`5sCiX_AtnRiB(8LM= z5EOBDFf_I{1(O?@np@flQ64w8P?B4k2vKTtDX}X#NSIn!%6dAPYIrJZ8hctB^O;bJ z2%`wP^Fsk_O~Hob?zT2|&iw8|lz(vfq1VsFY?S1GM8MWUlsZbP<^9tG$ys8<3BWkByy!je~;) zD#7CHVFxyJXR&jpdWQH5L(1 z|APf6A8hW14s1YHb~amEw!c5&43=_*g8W0F|Mm%IO=ud*rf%wN@8V=^D&=Zw2d4Tv zgp8b$>c0@4yJT)@>+q*jQ1bp$VWpb%yE({7>@Fsqep@ z_)oe$*Zk?u-xUE{n*ATdpKJb$I8?j;9{itF{lSJxDJk(w+8et(>nJBFMETr3eiM6R zOB4P-mmFq5Gee*u4~r=~p9u?y)0l(B$k@n~#gq$V$_L`&;Nmjj_#2d*oio_b&e-%B z3JT6@3B}=L=jCQ+=LE5E@PK$(Kzu-B7CsOsJBy(yI~S)32d6QYA^YDTRGciKMr>&F zcdeeGOrTI4JnS6oTtF@sUQSLR3y8xQ#A3*8Y6iXK=HxOngTk?c{y;qs8^4&UoDd}k z>tEo1N>ptO!DjYOwnCIjhQ{P78vh}yX=!V!0XBSQ4amdE%>!iT1#*L+8uM}fhtL~S zCugXEK7#_;Svh(C)R-9aOG6J}}q3CvhJqqOI z{)@2xsMh^kH8BRuV0$M`dwUxp%IAKOKkM_a zY9;90H8BJmN*aPqp{lZTaPhMP`GFjoKn{KoJ3o+{g`J0={crO2CYEL%|2OI9nMyAB zm%+$dIz!v{_*3-P^wltR{Oj(oTN}$i^Ol_a&kW=@H2$j#&W5h0CV%vVV*OQRY+-0; zZVGi(|Ck&9EVuk`42jp6o6C&TjGM)b3uMFsGUVcA;pOGyfPQeBvYVN4a2Of?|InT7 z&A@JkPNrh!P#&RNL5=$lSLF16jX%SGR>sZ3^m%ZhjIpo-S^g_yZ2#yn+p~xIXO{)p z{wpbhe+E~}+0;qG-u8KF{f#Oyn}6K>ld5O;#%}|q0Xk(^OiaxTU2MRV!Wza-rcj%) zum=nNY0k#-?~VTxM3C*jYw52i{^nAlkN#B#b=6SM&-O3Z{}<-7kNw~L`G+z5Z#F?r z{_jTqNBsVqu7A_@KVsm2B>Zpd`ZrzwBL@CQ!vD6e|7Uce{73R=Y6lI&+@PspQpiXh zG_6E5Qjn1ZJU#z@{Z$wTEkSmW)pZ5{@Mxa@VC2-PPoRY_z;a4bFLq&2ap*B8awid> zMc7~|9q>OQAHaVEGWS>|&@Do8fSjb5ru*E%FYRRg$%NzkG^WEQw*+y7&5+MXv4FG> z6)>HQ2o;Ts1fO3;Bh}3NWDfb%VO(b(`)+T7iES!?vC#mxibhAkCtDJtG!s#AU2fwg}c58jlj`aZv)rv+IgSCa6^Z zTq6UZ_s~muz+Y9Wu%gemD1q33XGvB1c)(wR+3@~<1W{-Je=t<(VZQ#qhWKA-E9_;2 zqsK2jWdD6$S!5(YfFXeu^{YP|#3G2YCQ0FZjI^F!ts{N9J?q~P#8A>`L;ch3q4@qj zD|v?9!@adkf#Z!5ras*ocdS!c_-U63S;l7u98FOGa*Qb^kmO3pL$Q`3Gb<%gC?*o3 zqdo>hK9SNNlrj*^3O_5KKtB(eX9)4uAQb@;CUP)RutZ&EIHnc*Uy7{3iy9b^)h>DC zTrauchf2cwM`z=p=+u1)NBL_|91)NK6sJ~Bee zpNF9{fg11`FnqZKRoJ@Z4bW#xap|r<4Gacs{xM_hhOD+A?l#7+==ES`u}xhmUYY4#&ZNjc9qcmojc?eG2jzmF??1 z>e=b;jM~M%1>I`*U9Gc&D(vwGcoAj5=renTdtD3Xu&8{ZuIO&+=QNm+A%M09cc z9(l10M^AGc1xi_M`{gZN*)6a0D=GlpHI~-)bV>c$mPCPpfjSLhQ|Ci=^U+j@N}fn; zfk(8bf-myi#9k<;kFjU%Zf)wHdZj}m5U4TRH9z+3GpWdrppHmbcw&OA$;GKVZ{2O? z7z`2w`%j+^%88qi!@|!NI(1vjJjAracpZ;0yo8-XkYOl(!N9GNF}!zYdF1(CMi+y4Cx2cRy_pJH+} zkh0*hok1et8j9Dc4J zqb)yf>wWEYOdZtBd|+yE;z@A!CK+3nb$T1W?n8SYOazp-Eqa7hl>Ql%w&^P z;g@w%ecY7#Er&22Ewqt?%(03V>Uq<`gNcq2D#-}r@D^%CV~)D@-h@&#G=fhM?y(e9 zgh1mFP=Fl)80@;ni!P4zyN$e3@?&C|U0%HT<=1<4w z%b~)_Z|?7K1?5egL_aorh1IhWcv_GvvmGc?_G}=`3aj|O{w0vob=joG2g;QP$TG+k zjxRWli*M-*B(*d@aF;)B@qDIIyNmTfqV8>eKR5T*@eIvhQHhE)e3f^Ik7d&PlOf1b zg8(lA!#re{4^&l{PQEPx(4)8YaXDlq%X1YtNRg73iy_8-qhsf z#_fXs9nZ@c3__FuR!+$a+|V&3mqXpLFTD%a_L3He_voY@F8ZMCjPY=Mt8}(>Utnj9u0--QIvx_yN{`#ST{t&lAC1hFH1=vC1UOU8ceV+ zKE)@sqj=#Cr^&R{$>og`qCXwl|EQ_S*}aqV^>0#Tg&-tjejL>+^qr6d=uOikD69Ei zYwI{2FCxJ&`y8mDwx1l|V(8u!lyO46695Dqm8kW4^DKDY+L)r-xBU#hG`J38tQiaE=Ok&k~OaayK={r_+=z2 zC#m*+@2Q{Gc&FX{^zigxuilFrAPTVG8OAZcTkG8Bm^62STT!>MJrjT2;QSG`M(yR( za)U3v=0VCgPn%YW)iAW?gyPsm93PH? zq&6W6t%s7cJxO`tiHL7-y1brl8?4{Rljusw`z4$Q78O@`N38O2B6Bd?lB7!S{rfnP z!%vXC0>?VbxU1jUeR!?(O~aIh%U&Lh)92-?oNk=n-%CfB(0ggT0_CQnVjL)RIL+7)upqt+;ghOk%H>;>z5)c%VtT5 z_Iduiz4=f&pJJBq>wb`2!QD*dJti92H0M^CZXF+tGP)K$L_8eeapx#0Veva^ZiahS zk*J+LMEYgSTTE>XEY@_%rVk{&;M5GStFxnfvah>K zaNN(3^NJSD9QN_Io!bdf3q!qk3~(O1V&w{DuV$&caI4*WIhw03NX-V5yFP~+-o3?8 z_dCFR<>l9Tbp7or+SxItE>h3=^j&LG3-ZWzJg&B=Ec5mQQs{-=tCGggu%bxO zndIA|{F~Sn)CNtLZ|v&N?NGWSWh`h(5tC^wq@%C4%zSU>_CFAG;2_XN)uD0~WNoUZ z@7Z3+5UIHJt_Xg2#BhOk*mFFgP64MPoR^uN3b|D~Ps=nt9C_g;BpT@^k{uD|%zTdj zVa@@4Y3mJ3OoO{32^Cs7VlrPexK0tr`<>aZSR#`!ecYFtF<1_GG(>Ro+oe6y1q-|< z@5>VYMo|(arjyf$?@J0y_1Hd>9VJ(+@QC%2YnIK&v(15Y zU`A{#Hfp>na`rvEVZ*ZL0$Kz*j#t?T zF~<-fb-9sfh@8!QL2Y9=5CLJ~>9V}q=+?E8R*WW}6#-Q&(k<31wZ~9%a@hG1;`zX;L0U z;eM-KjvYyd1P=>mrP7bl6i=Q9-~P3+@Wr$XP$|69xZ5ZNuZ)iGejN|kfqxnZcpD+C zvMy@NROTAeXwP|b#=?1$w^DwewsQ&VaeUe#M;XY0w(aLk^5{1FNpFfGLlOIBu+A?d zuIqB0wx7;hs&Dl^+ogKETMIzS-Nh4{Wn7v+MSh7lWc;wa*w)f=MiERrPa%l+8Q1~$ za6sOS?T#;tFB>`#92!@I8(7KvO1XWvLy(o z?l3tn*{4rlhy|`cko^0FdN~b{*+uZsV@oq=5)@-YB3F;!EGW#z(hQ_Ivq(uv>AYz* zNK;3*d?*-QnjI?lyMCuf0aWTYu(qnyPk|Mc4_)VlnpLy+@gj5GBcku!S-CZ z9ZphbH0F0Rf*)?+6<*ecGN9Q2fnqyvcZq-dCoZIuJTYa-T~``1ZMP4eWRCaWU)Jp> zrpWG|4K=@stw;Kelnr@!*&=sGS|7aa!OIs6=1>x2?i;JhFJ)yiUP`xy#E!sN%PJQ7 z=`nkHX*Atl`92=v3&_!GEcjfrc&|S;-j+`NP}YZT6=KIn%CpN4A3o+@ z;DV*j<+Yt|JdjpOUlT&2h8lQe$efEs(ZH-Jg7cj-Oedq1HxQXgE5n|9(BDqPf$m~>HN?vJ(s zdaN?<-VvAWf8FIrKmb04eVFP3p@|SfN_nix4F>Ks^maBvM%RA_%)Jpj#B}pHeS7rF zmb+~GY-x#KT^X5RihWoWHJma1z~;O!4i$ea7|TOtsdvjeiV}M@vori=&Znf_aLFZt zfw_n5m4`<=3u2e(7N_sqxi9A>%fF=3h}W)}mPIv1-&t7^RKXDa{o zW!>Ym(vz$?d8f8-;wh09FuLEB#JQd%MKe{Bdf=BrlGAcu!a&OrKMKm(zVo*ULMH`r zd4p0nu*>P3y|2X7Wd+!I#r4aYd>BBsWz1lKgOE7fX)(jVXz&vThy9i!ItkzJn>Fk& z*B7yara&d<87CKge2MYUR9a(NC6lXCU7dnJ#12>(GnF)HA6pg6$^juqM?@+dYGK047wnJh*M6)e> zv6b{|pLC|-V@Gu(!^1v2uD5CuGPZuk1YcjA1h+J`ul7mj1ZwO!y}Nywzpn%ZHy%MK zpDNCjeIMuD_~s@8en3i1D1P*haW+CCM4*Xoe5}{;BMOH1WeIcBs^{A2jsNHkbM9i2 zVx{>LjO)RYQt4OrW4`x8hL`=vKNW^08d$G=Z&{mtpM02`9z9V|P#~8KDyLuWrb{qq z2-Dn_?wNw4NGNc_BIY7IXaK@=W!vf?JLaeTr@JggMwU)?aLy<}y-g5d9PQbKhRWGv z*`oK8%6lM_alCS2XvCgd+b|`uZiKwAjc1iI?mlZ>eiCw9yps}dBPYdXGf4H> z5gKDBe%CLjBD=({Z`-~M_TgS50XFF&N@k0p+D_<2C9vpyHOZ6g$?-f>9~<>gDP zRPGT{nTR^V6?^8n)~hT<+S~QCr@=xQ5gHN&e@tGE5VOeqcGsK3tZPFn-DdFiYj2;< z*ANKL@u{W8i!phBv!e0G@Rfa{24x>(oW|>e%^;8SWI;#R)PjtvwXKm)NzEp)uN&Q} zt)GOAPLpG&k`${fp#J(~YTlmH{)(A4K5*ggge?lX4v?5+gzy;n})1(C}WIaAdgKAJgPh?(Qad+1)bm5&(W~W-7%%|ANuJl ze*d=5-=-QZ%Ph@HL`4*d9Vs0unfo~x3pU_uRtVRC-W|<*IGFGcyow+^Dw6XSI_yZy z$j*?C_0Ps?AKNe+4AZBbsSUnbG`lf?oyKx%8{O(%v}=qGi88 zU5oGs!t@~|K3pGjPhEz5|2pR+Hkvta|jRIaK>UDl& z^(Vq{bM}I-1w)xEOf=gHM|3*ROoypELQS^s z`AI%o$B77)J!<+gBqlD!7EL9&PQ9>%N2<6nA#`0rkJAg$j#WzEn6n0-WF|U(^{Gi^ znQU8=UqZr|DwB?Zg@JUb^L`03@c*Hl0fKim_cGP!0ni1nASxud-4wa&!(+?aw z|5jGCnzEglo1Z&gj?dQ7N>K93&2p-!%zC9QrakyHo#Z7xGc_&}$C;oEAobZlo&8o| zQ=1LZ^OQfF6JC;}52-kSb zizDB~>2_t3Zj;y$B&}!pl~C;IA=Bl%M`!38@mTqM3mY5BHMO_u;><*^*J#25IL zgMN=^Nsz~3du*g2%+yRa8X@%U~Ii9+R=~=?Y$23)}wNbKD zzNVP73%oMN*WORk^qt{Jt7M3fsyAI#QcUAU)1L-{Un`9VWjqwBGc38EEBQY5l}P4{ zQfR?+%DEzTc49g_=wlw1D$P{gtPR$(8+U=>vB#@0C93$iS}z5CPy5O}4&CfO=-@Tj zeZy)bf^Q96P-bQIrEZPk*I$%V7h+Ll2nE_7ku>S0&Na|hy$9$|pCbeNIQe*bC+#a9 zoPO~iOr)JB*AhiOh#D`pp1m8&Y ze4fV}_*$12(p7*s$L~2B(Zf)lfZl~Lag(|G4PDc^$L(H$PJ`MANUB@=MXThEx~^7d z<8h0Mm>3K~DEvm8$f=;!-rmh>6wkOfgttxALKat5=t*Jy;a+YoMKS2BX_fEc+h*4% zpNWZyvmviz^=SGJ3(3Gwtnu*^+@O;+mB)nQAVkNlqy_-FA+$#pe{ru=?XlO_gQh^pmr(H>cf(&N~`bXKqLk|CcuZU_@8xm5ogv!uVjsI=Iqzh?V(cGx!v zzCbxc9!gv)CU03k+k20M<;T+~StSV`G?yO*@U5F+L7&KwcXp22k1P$>Zjh?Y2Rm?C ze_pa|C{&VJ z-baIT*lt#_{}jDcHKZ+1UhUM}^0e?OJxYfPnpvg&ciO9ovwSd?IlkxkgoO{ZMGiIF!{t&}(d2 zT%Nz_P8LKcinI<=L+CX3jLej&Vw0mJF>0T)uY#Jw9&wtx>p7nA!p~rLN-=g^aY|nB z2GXqF7g72F0W$AaV(5N}G&^rJd~qFkCIz*i>~tsSvXu3mvXU)JTCMGRyM7}BGl>NI z0of>tAeexHCfnjO&$4gYa?35P`1A{TA*Ogh9fU*^IB`85{hN}`rNL8uFJlwjK75fM9!?CEx zErt2ONc!WJR+j79<-eq@W$*(&oG>f4e+V}S2&O|F$=x7HnoA{u{k^)iU&wB{2O`=l zwzS(9<2jE3WJiWD(hCbztOq~jwgHHzzMEe5C1_4h-FEq1ldhe@2U${n-U{cX;C-Ve zrRBnP?0Z5XClGF`TWoSbLmMYYCD@CT#$Dxf%fVPuJlk}L;Ci&E&_sUZc7a02_d zQ`MNiN!IGWZuxt$aTjJLb`y5^qKLu5ZpN8k zej=AFEXgp=J(IsUfsb^|FY`vkcq(68l$A(JIJLWQCJQ^FvM5D@YOg6H{QV^Sab5~D zD1X`Z$kSjjY9l9}F3rwH&e#gnX@+{(i8#F zZX3FnTE~pgDqB9uL&u-V-rE56^FF-2c=Fxd$$Z8rb-Gr>Zyoc$jA-rb$2Ue`x@QKL zSxV-rEqU*=_+Irf!MCq^cU2JZ`dx%a6U@|;6e$udvY&$Uu$dAzy=sN;W-11W{hQV`8C;@BrqT) z?Ux@$Vy+`UUqGmV6g$dSr>EKN-cA?x$%#_z1OxUY53iPkyh4Mrvm|6sHE#)Si(zlm z{UhKmU9@(@D^BhR2husd1O*|c&fP;iF;e+9Kr2?uGj~~w(N9z~yWp_sf@;Th&m)8S zk8?rNnVwsOuE!#>f>_<`13089bvurNePq2X+B(te6bvaY$!p?rv&<_22q5OL^~ zbMh+_r@nylfz$sy3m^-?{Q#Xc30AabmK)Pd8Jw^zWLWj`p?je$C;*!v^N6#e_lbt+>58<&T6@ZP*nQ z15sE8MW-?`b8Q|Uq1TG6U!0)Pv11h>G<)so9ntb3A#_~r5$ko@LF zV(VG7-z)_i9I37olGK(LeqT2~`CR!qxwqb6NIOq713gU^Fo&0GfS@*Lj=;OAfTyOW z+nM-%xcX_t5E^n9Sfbb1YojP50}yUmoe;6(NbrP&7EQd~(X)^aH`R0Y&N2|C%{?HB zr+U1y^KCvIroPvyF~M4%y+Cp{A2R8dAsbyx8nCC&rAW^_27J>+5|W*AEGqv_@ojd& zz1>D$LBYc6+m^fbT+|NIF`-i? z8|&;&20d(#46Jybv#P#UD8))5f<}s_x~zsX=V6A=R|GLmg7YYpnE3{ihvYjGQczhv9a>jbquJ7lX_^)I9)ANp%-4@AHr z4%7!Pd4s5Jivu)aMICbpV|E@L{Xx6?N0j5^ik7{+Tl$Gn5*BYB)5^TD zqUFr%E??H397aZ|s_L|I4%==eEH?+dLb^dV%r)9j?!ckl!GjujO+#4pYK23aOFV95 zeo;|k%@Jy<9r^~mUStr}?6gb=$LvK9;+t~%!kWs^r}JOOjwd~Z9mbAe2{LBnZv-yx zW9>sXuO3PDTfQVfSHnuHVp)dm&v71eM!mlWiLJBci(EY)JfRZm_C5xvB)eOHFRA4& zYdC*W|6bs$cHodpeK*(R-sW9NUgkbL>PUhe3O`<;w5i?l$W`8a>cz|?O8z0zshuH4 z9F9tHDloN=5jN<UXq4%E3H`BbV`6CVZH2SJ-%jbGG;6+KNE z$~zej4h*1T@oeDV-M2Cnw*;PVDN-dVjn6CuF$MZ9G1pN>be-&f@YNQf5FH1lzI*F_ z{BX_Zu)_}B%Iha$>3X_IfmF35RM^G3kT6EQ!K@^)YxWS%mkRvBJvlZPBR;P5+3bQ0 zQGc{x=v+^|h#Fy)J&n}kb3%WT#`sK6+_GP)PnNehWlU=i9prM_QFRhWChhdP$Hc~H zm3`TJN36NQ2_Zpi(q^_fLm#?%tEBC2v2{)ygn>G@I z!}x~UtNP)FP#I~t-t>9CYb3HR(x0w7c{#~!ZF^+h9RVmibdl`w1Es(CI zIQbpZ(+&lRin_j*!pP@$_=@=!5FMg4BFke%%8LqvdS&$Kk4ZnX2}bpbL{{0b(5np( zd35#PE4%mziQKGW@HyNdRqCL&vj>HWnL=dR>AwtI4P&Dtdfc?xJ1mDe6}wyu5^*)DIpAJ4EX+2U!wX%|@*`UPQK# zT^XFW!j&?!GcUnn)riJmAlqc-S3MqCu z^0}6#R?yU~7wE?0;*ZYg$XJ_`iDP`4S{B_o6G7iOo=cW5kd>sgad$^6c@wWOJ=4KC z{Ft2KbsZBz2jTSN0~O~GC^_rN%XJN5qQgHMH)L^73!2DPnBKo^dKzU#L3xP?pU%Gz zHE%~>W~ztK0QKa$v7Ew^Pl{FHYo`c$eup3jA*=m8MZw1CJ8bT)` zn2a9fRiIN*PV#r@yXqh`4y0L+l6AT#WmMzTqhs9K` z1??rWD?g}bJuLX3ND)+)!vl5Dto{ZJFCv0vniCw{!fdJ{L)VQ5>do*F`HHRHIaHh- znzIEfP1rwDs@zLt?+Pg z;}s^c#coMcms-QEXv=A>BKLQL;V@H$qHo_m^uJ`QG9I=wI)yLD{{8r@^-0(P8=gsY z9PKZCeQK{pdIouRueZnz{)vfioH8?qkufDwmm<{9V^q#vg_5AV#q^{G17uGS^Y=Hy zPn0C+IH(BaqEQth#m3}doO!GXEo~#KSOlH{)3eXKEQ6Onz|;>*Ft@U;Jx7SS`j~ZP z3XBP7!w|Cf?R`}odql(@&#BMM&;D!3dCFSx!aaTDl5B--n!jO%<%8#&1eU_8D(Fgs z!AX=I3O1eXP#*N)pd*D53~b&=w9ba$r=um@*(F-}ZkZG=A4YNL_nioTIo!J?y~x!C zY;cl*o_=!u{8{b1EbMwH5@MMOFF{dukRe4G7&_5zA{3mu_m;V80la7e&7qZzeb87A zg`mfwve9a=@ldC_2*0azU+Ss%QdfTPzqFpN@|5CpL5ut|`xdH$CB@n*1lGdTcm-%o zY>1WQNtb`bO!g<;{(OL@WVz6l3S3-Ny=hJ8>BTx(S`E|%$j*ji6!T@xIef$4F9KjvA|mZ}ZoMA0n}a6}&c&eb zKe$LPXn^Wu47D%~38BI6`?GEsT5^?>#7+x$42cuLC@`avAc4s^)jo7jQrT3AMP#8V z<+T^|>lAQ5Z1vwWO6O+*XC^Uv-Ll+2zEZ%u*MF$7H=hoG>o}uH)%slkb!-YXmv`OJ zV22YuO z6CAU3hOe3W`@Y#*t)-AXB}ZKyQN^gfU;p;wiHe_dt|pRoWj;zsdUj1pQ}a!g>HJGy zk7aioS!6p?NCH4rZ_M4lgM5GQ;sP9_ddu`{3|M{=7b9Kk;TPNaW=W`-Z0hXDiRI4 zL}>yJ`Cl-lg&9u9kO19|y?NuMdd(5X!VRGg)W5Hie1Dh0y{IT{rDr*F2Ij&LA;B5K zS3>Fi>9WJoj&^RwZaSu!nr3CWD@zG}skD>J=s3jl$RM8D1&!VupWj}4d$&s%nP$gr zQRkaJgK?heVWXTuHMUg#$AXUpC5f!7BZYp@z#ba9d4IM5h5hBrq;oloC;|i5EumX& z9|}EF^l%Nge#k-B%%I$IWCmj5&-arGQVp1Jc;70xoh){9V}*CRo1Npmzg;{Ae)m6P z1biM40iqSXkP{$^{K>VGx>7(~2&|_T)6l@NefFXYK~+ zISrX!_^l!0p6U~f9uvYe?03;S=pAYXB=~h2*|O27BB%_t1d{LHK0K={01i>5b`rPs zgPtJ{8#NXpUzVSVfrj%!&*40&c28+a+$l*~0n~Q!F%i}EZix1MUyQUd8qMk@GQ`n2 zLtnY4aehx2?;jS4bppr(L`BgIe39;7Zp#}|fJLxX4K$Qg`>Q@Y>dA+PTUZune`kVg zfZ6#(dP#E*8UKvxLw;ZYRklU&mih%c87-bhmmgS}3#f={a)6pxcHU8-RH{>zoSWb~ zF; z;#WM!@}$aFYkrqYH19fNy2fj=)*p(c{`slDP$RNs{3d0din9Ph{)e(wCB>EC$ai+> zeI2plL}{rO`-&e)#TzB-aiH;~asd)Cf0W%q&)yk_6%onfG6g25{e(#076 zrfsqx%ukt5XQsC{Pxv!_JM1wQ)NCsgL|RZi_Yg$=;3%|{H!5}xk2;QQ3-jDbs?8NU zdd)134`{cMMpzeqAC(_LHwH7eDc}i$0?MrO#t2czFPK`3A~&h2dRr%zR0u3Q{Y&@N z_0^8(BYQ{MEG)v92odQ z^|b2|DJ-%2A8u|xfS*d3#uWBJG> zl8xGK8Sxad%>epL`rB2%xTLs3G4h>#y8LM!ypqx&7)&FEfl+klz9bW$eMtp5Yi3w$ zBj2C)jk|}2IO8Kd&@A+mA&XDKDcNFUpzS<79Nzv^sbS|BjpiGzN-l#{w$iGHSI~8+ zM<5KwA~b z`7iNK-8Hg(iw3DK=>EYQu?cXp$de~6Zd7)D(U+Q`crpY`MDg_F%xDRDwQcMB?oVRe zWd_}SXB@@*#O`Oih0nqMsg8~8z8RNO?)ZhmL4*=7fyv>g<(1|$j^*>^M_97M>u|^o zi_av05xRDysO0Bc^fG`BRj+7#G=nxxa40Vale0icyn*|5#xE0+CzMQHjF#!%&DP83 zbpaWk(n505^+*v&D8}_ceP0+P-4BjA@C*BIlh;YcekGLHAZWO_8$tF?RzrgdnrX_i zY{=*gZQGO4W3I=@(}V_#+bmRMCTyBc@YJ46j1O0Ax5A*@DYT=+@Nj;k${aO=oEtu= zwyvcuyZe_f)~2SW5^>x61wh{w{k0cbnJwbT{{3@$J=srvJeW=<{>?|qV?M8OBNf=K zt)N?FW4=w{ic=C+TZB)LxQEjc$Y$MjnZWH(LF8vD!_4_d%BQPvgAW9V1^Gh|5qs+Y zkEW}Rit_pTfOL0vBOTJPbcceJ(jg!XOQ%RkcXtaaNFyn^bax6%cQ@?&@ICMEZ_W{X zX6DYlpBgFi`~%|Hkjz1#D<68i6XG%R6Q@Dz&)*}q*;bB1%86P7nLa)wzKZeJ{l!{V z(GY8$`^4*uOL11&NVuCih~XZ5;+XB+u^b8 zLNxY2ayRz5+X<1O3+~Jpy#bj}{2A~3X1ZheI#w6I<{!pInf8YdDsI}ZfG>tygi&d2 z?vnk&mWWN=>2_@ct<@pu``LLPh#0-baYXj#hj$tPtN~iA>AfK*Kq4*WHFYH{vYv^e ztAFD6NX@scxh`;WhE=4r@4&jE9^H2|fVqKJT~&hb_iVlpEM;r->(GC`SqFDgiy>)K&UibZP?*|OOCf_)|X8>%dL>A%U zV4*c}TRl^|_YqaTa_1MsGv7`=L*)3{aP46ak%}zX`C{&+FPx{gx#jA2S1Fdk>rW1O z{ewrn`()pm^v+U1=kh7o;aGEYAD*re7ed_URA1J9)0GvC2 zi^`tLSyEV-xYOWpA;wQkXvpNy2oy6`g?zeD>Cvg(W95zFMK;bzes5PaFTo=!|M^%a z%X`nXf`Nbr2a7T-4xmPyh&M+lmoPnUt=yd7%UIo;ctO`XPE>K3cj@dQ1(l_#LEFDi z!^+jtc@lsWS$UITsgFF`ybvaBOHPMH ze7%Z!$hhYEs%vV@UklKv*M5IV8A{c9XD~2(#9d>z7O;VYboV3R#c8DXYv>U^~9D6rT0D%*H-?fFN?BSk~GaeF=VC`gXP8K$zpt1G}HylmdMM zDrm7a)TH&9BDgdDHIfNu9gMGAktM#j?3;`GPkr;Pi>&xQejvyD` zIP(<*DnnQ5o42ct6_vTx0hb&t*GDYx-tzprQw28ej(ES~PVvFH=9*9NIa3rs$qZ~e zEY05x(9u`hwClcl?IH`9wayuks1eSwLYiAz21*~&g}Hi?(Jb(q0R4_xi>Q{3(%!l# zm)j?k?$(3Koi!M=>~Uje4h`|Ee#MWqlKFG8R`AY_Cn~2@-UPv3uEuYIK2`@979KpV{aw?QI3jI71cYdiy%aDNxXZwJ85FYwH>~Cs-%~9J8`o>o z`)M?#xze`Uw4V&pq+VL%^W*)UUs1eox~WLvqoio_Te~KBQh^$!g^}RyDlk25W-Ex{ zm_3p_pbeCQ(h`OU9)x!NQ|L3m?Z`BDLgO6G-Mz_X?kWQwK+hpw;$O^mzwYIK&Q=`w zhQr;MJupw2*#`nv{zoe3mQ63OpwmiUyKFeBqW_qQ$V)vSWQlln>kbt++fYf$&6VWa zqb^PEOMhcQzX#?%I-;64#x2MY&MhwbL7*l(p)R5v|sHq>v9+jmjU~7r6K1@F%~yQ4)|3oy#P~@f6Kv^|IqlVSl(KZM8Y8k zK$2n%rkLYZuE!@*y3XLt=t9Cu(NZuyBEk>fYp!)80&6?)?!RWb`n2y4AxT`>i?}5g z)1!~c9%=pstp$es%JPg8e;5j-xGMm2W#K$vO!LHjfacZny63P6Iu!ezy)0?9`;y>w zfa|w@+%Xg2h)B6KA2GrvP9)RRcD`2}S=~=7F9%#;M)ol&-MCN8OsOtn-OoMsY+bfL z!hM&bmmt{_2@)!PJF(TM9yt|I3Bor`81M$*3X9!f?%}-Ao{j4FdNT>izT(%rjrwhc z(V1aBz&D~fJuAz@j{~%P9kuzd55zuvIvW^$bdX6Mu%MU)*eU?{mgq|b&IQ2igfQR% z_+kgb`&|>@WNbtatIPrwMLd<$xJ%Yf2p=6?OX8OrD;uL-neEA`8$$6Xta3O|=16ge z%RXO}voGD8{PZyHxZA%^r;K;zB6_*iNnLXM2$odgi-RhKshf*-I|;0;+m+nhR%eCs z0(Et#+?oM-uYl!=>gBz6a*O`H!K&!@-f-C9Fz@chWDc0l0Lol(R&scMYe+=b03e{a zYi^*L-{gv3)jtuv>@{mg9!5s(wq$PO;YJ#m;F*5#PQ!DE5bX9Nv9VCZK$1%Tg7SyO za}jtMS&A!lIYyc0Z-y)`N5VoTLJ^@C%>4dZbQVx#2?>A3T2YxP>2Gu=+k^8`q2p2* z38T%FqNhT^1qjEm{WZ6ToT&23@=e&|5UBQMyo?bYeF6(3aM%Rc!XmKgQT`E;qV5tx=kV zj?Uv&RiG6l_sQl9Yo|?gWv;-&dkO-Gfm#+HnRr(0C^cU!ybMK2pNwfgVR2@Yw<8_w z_r69Zd4>0pP>aEN${lc$)$aL_PmU^pc@OtK-uEhPXPIm7{D?rpj6uq(M zaxcdlUZLIE2*usABxzjX`NBO+p=!nx!OUNDZTmS_eZ2l|BW6wu7sKt+sUCHNA(^%0 z%qx=t^4aBLZn?7VXzGHo+%i&*v5UcO?wxUa>Tff(bIiQQ1}-HtY%-WO|2s} zN)pS#Vl9CTsFxm1LlJ*7-~I&x?ObPwR3y_)z?ZkegMl5s-(<1;ryH+a{yB5fP=04p z-Hc?l`ibRr*mbf$H>YUE(bpV4_xrOvS<0Jw@uy`szd9IPXS}kJI#ucRd2c8`D<@mQ zpXx6SqsAe4=T+X=(Pd$xxJ}?b5I*X?g}$+Zj?SAgho!zz313!L*1x~i-W$B!Rz=e& zRL^PfKQu>Ol&-H5HA+s48Lh3W`N@itg=4?6O9-fU&<0D<4=f7C=9Ji(J|(-C^IK9cHzxd zddH`1ZB0+loGo9B)mn@hZ$wnd53vV37&(0`tM4=0BQ2_NFPmnB5*v9nBVEgJB=3SW^Z&ALkf=UM}o|$%azfQ9{Td$Z|S95Q$24EQ~!34!#8hYNOj2LTU;Gr`M~*J`x1#w?qgM zn@FCNCH*XwIIW|8#9|@>V+x*p$*~ytaR$@6;PII>1c^w;`<<0s!hZJkVs@NdZ?*#zOCcizK-MMp~x|=K-zsF)R1PwnAVqur`E)uoMz7S7_zGNR3Qb&@iifL%XK33@o6pt3%#XQ!pA;!t zMEhuUokTqyWu?~)h^T00ee>t`-s9p!nc-r2ZXPg~O3MM{v9HlL)|_T$d&a8Pd9{IS zYfiARs^Rseo7LWq=j&HiEJQN@(*nfSc@&^Tj@Lt(tct4YH@Z~Lq1z@ZRgE2Mdud=YJb#D9HRvV4hkT-UhoyC2(BK(FLN??cr3J;?0VZe2*2aEAk=tQoDiWPO zLCK>ckHx2W9IshC~4ufCqGQVMJ5m14h43JRN(NVD{SVp4LZpH2FnXK%CRH@u%k zgHI%@69A_8t&w(jsa^xXoU9&NDr}{(0We9ITsvci5_ro>(Gc=O8`0OZY~hI7Vt!Y z@C8mX4~Ds>Bx}BII=)2H9qXx;Oj7)_j+82E^cY^Np^0M#-nc;~(tAo(|GD0KIY1jt zNE3%(Bqp9dTzPJ6YddSl0!gOM6Kg~G+)~!3q+Cr(C9TIanzAFW-j3Qr=MH^8EA#Gb zJMGTW8fjwLra^jm*F+bcAeweBTHQ^SAXUlj0&DKA?gs@sZHXhJue+b5u3oh>ehiu0 zR3tc^?!!vvHc$gJSy_#aRy(V0Aq=bJuYo=c@h?%B!;%tYyVFVXZzFY6-gblT^I3-V zcLy8#s{9}?ap~6?n?Ep|O1?Lx&#n1I9TBzgaM}rzowT-g;|a&AS}U@oD8`;{o4_K? zNN=C4Z63peQ)Ie(X^+S;FRv0Jao!r@TB;bpXU1P%UdIpHG#M^0TCyoLDibxKX3!m` z-O8g6?OFA0@>Ej)tNnT;;Mq&2rt(4bes4DxsxmHc6shh)-~~}R^U8MqI~GMP zrvA%890n!11J7|4CVV4Vz%x&#;SN(oKgfSjvP4wBdSipXz2eNNJ=ixfIoV%bDeV-Q z|Ea#Z-s-YWjy0MG?EyRb-BQYfPN9&HikkE8i@&_TKrB8h7bs#yEhewx>j`VSp+8@a1)?FDUXLshTYJ-++t z?aT(c>-|V+f82#iRJa#*BRPm|^j52!aMJyDbxO1P^O^bUIBKh@RL;ZlpMVzK^b^5z z@=aA!@^?u%lAZ@o)Lqdi63)`%ru5NO<5k!xgUmWlb0tGb6gyMxr%}u0CKpNxpJYI3 zjoB?FmN)+6QZRMiG&-V$0QL5%n4b(6VT$kUu9Y8FJ9IIt;LBxGERWr$LH$56>DT%r zbJ~;z<5S9SQw1*XSvZ+e?#y0XEeb1KByz1=X^f3#@;jt=2qNC#t0i!+fZ-3sxqeyx z;N8WP6_F7aN^=8fhuO-9!8FbiKsREY7x*RT;l?)?#)ep&_9&b@2d}j&JS*J1;wbU1SR?%dBOI*LgBdQN7Iq#NwMsE#=}J zeJN4)3H)?jf-L=l?u3$E4t~m4HT%DUhvQGPh*UxoSQ_L7i3r@^&NNH30M-ZOe`2f4WiVV&q|;h= zXXQa9tfV3QQ~WIRC7T zlH&_4J=n4Q9vTE@mKDu4?X6)FZwrvHVq%(}n@Lcy=87(mkVXuO-u{BT!hool6O#gw4rC43n885-F2fPM4K>oP*`lOw)*yJY-)-DzBz zN4j49;Aqi@NX0S{aZs#iO205Qp?~k z0naky9R+~a?1G4Z)^>9<1n6@t`J}C^tQy))0HIuxhTF@;vl-HMzXVv2t}D0 z*?^}kI;(68?+wa?)kfhrIG3(5sHh+vMqkVjQ%2b6F{$7p(n-0qNOT}QF^ehb3k-i= zqH1H~xc)Hq9RDgDn_$!@#@g;NysGGOIEDd1SeI_ak*f+;AB-b;n_Nx+x%f9&#b*I@ z>ib>wV}6_|PcXl+!0ya99349plz`P?1aQ0L4$3b4?vSLs*87$IBE}scc{dd{mgTTi z@S|nv2ZR^_;sSU#U!2S}lYD@#<9m6PqR?m?e0(x~-q^;EM$Vp-S}&K2p~veOAzn4R z_xiWu?jxt18|n!c&D2U@K6;rv{@6BmY?>qCZ)zTAGapM`A%_U(PiTmvNJQ`(#W2r= zSlNJSdJwlf>z*z{~GRDxq+T-wmS^Zo=cc z3BrgNqJa*|`!f{z*r+|aBJ+b_TWe^f{{tHGR|EL6==P2Cq6)atIbpOfmA1fzme@dL z_!77wT>15Az6Tj4Xqq`xzU+(R|dRJYDq5=hnKCN`SG?BC(iQ1{c-uFT=6VYi6Fc3rb?mtCpf>bI>3DoXp|m|fW+wr&A8X8emMg4vJYF(>BN3Wam5$ojaWu{lfj?);T9n6k<(^T^(M@aE^{T3h(+M?BJ2&!-uZ-Qts2j=ern8&k)P~jZw!NZ`H5hXmua3X}5KC2%jUj^4 zpx=5wCWIT*+n3KR1s?qHYw*k-ov%$P~3ShCk;TzeE>Y@s~p9 z+&_)wju@Fdkn@*nmVM6;vM@4wT#ped|5XK{In6t}&d?~4R$*4>00@h()udr&`3J~h zX0!q>1DI?5>L%z^BuSXWPyQ0c$Sr_O=kI2Xi?Bx6YP+-+*`9lmSXH2l(zJ~+yQz@E z-y^7<5E0*2Guz?!L-U;i4|~q&ad2g^SKWcnQIVT0(AgVwx3LeEJAK}MsRc$4H~#-ckUc==_9#eub}n)zW)lIK84JNr!Oo+q@*kU<5$(Fc_xG!o7!*>;hB zqef#{X*1pv9Raue1{||(+MW~!ILbLXK^`RmfD7B7`T5#J+Q@=o?CDnC<77=!z;_#z ztacx22D2xA&R9j#@>`{XUinGk04Mo##ldM7PvEFr9|_U;;-ZS)39Zeueeu?38oF$W z_(ZOO!}lE!>U+T-x*TQA&0!@181Z@Lm@j>wNGChq0puS8%q_>FA?P%=N`h=vk&a z1;MBpl||W6jwLfsGf-UCcMdN0)B=-5Cs)?Bm+9uw2)~*XN^hnMx@Uc1gWAg@c1-*t zs9J8k`anx00bc$ctbQEa(N1i5OR7{14ZwOH>pisT~~2s zd4|RhQ;w^?Fzrt!VzJ@6{xLuW(I~{&`xL(*)J!fqA3>06x;wmPo%z#y(~MfbJ~8Yb z`GqP_%=1?e;O6$-u4+&XjfC?<%Yl!8HvMb<>Az{_n9iF62xrc!Krj&?^`nUlQ0rni z{RtJRwRS14h&&SW^f?Nw?Y7mZcWSOw{d;2FH=L0!NwXAi&L40cHP??8dYZTQz9Y(} zZ&TT1B1{$W!6;`ij2KZdBQUD>mm71?r_+IFi%Z6@N_dFb{Cu-AqW}7w`FZ&oqzKsR z)Upc;%k|q?)qlBzFRjKePf4#IdrxU5Q+iM=EV5K(ya@*!R&8Op# z1r7=5zW@}RCJMlQ$!csHyf$hHmk87$DUYGN^7Pwv+;KWRZy7xXfHDIj_rMGulVDMG4r1uv^=_cu z0GWLt{vu@>ZEa#J-1XN3>mC{3awCV3B!rcnvvbl=v>8QNM7ATygS?h)Vwq5~F~-&k zetRq{cKy>g8oTw%7Gf=)_VgRcUzUOX$SZ@=(PzQn464H<3iPvEi#V-zKe8)z_14>S zV#(F&Zi++x!hx}^3+h@$wJxb$x=D|)ux4bAm91@&B-R|Bgoat-MbQVmu(d2}y1F0R ze}MM-)}NSyCNTSj?bOlfP1S>CXnGtnCW`rBy&6%JvoTM z?XW!+8JQFfBSTc=YKA*S<|ad3p|_Q_Fv2QDzStf${cI~aqK*Y%9EB7CA=g_}R)AT_ zTd4d!y7t`dXc*Sd4-Ltg`=7a&0&g4(ftls?x+Z{6%$UM@ot2F>J#mayR%}WKu-vwJ z{O`e!owSPBG~06>cT^pL2M&gN8y63twO>guGCz8}vbth`yNhKn5n7z%<5lMu6TC%7 zuS3T|Ns9h4C5GD_;mIcn>VHF^I&K*jyGqLTFx_j3K(gNRr}FLZ^IVGGQ)CT+TGGay z!lfEngOHZ}+e1@~Od=!)OPR&_W(_T$k^s6P%O^lc+~~^W9;4p++m;~jxPms53Pr3z zZu#uTF8V7#JGUShbA@%=?|hLxpq42fx(!g{E#Y!O*H-@Xcv5^Ba?PvnJ9Jc2o$D$h z)qztr*X}RpTC|{G`1-U8ppf@*0osOE*idJr{VR&?=kH~erJ1iDuFuvXd8e~2CvJ6> z*hALq7Y}%gBxEqc0k3SGp|rD{dOOq*nZuRFwWYU}{Tzk%5y`m5uK5CcG`kELq?Uft zL3YfW1sJ=>d(2h`tKg2Y6;Gxn!O|tg0LOH%$r4a*vHiYUMOO3OkYWmBHr=)1!UCfC+eM$}SM60m*xhC&rVh@z$cgA`RwLeOlVsDK_H;JGeM z-m;2&g^b%g7KQk2s^cLA%&m$RA&0O27bJc)?d$|gYjm)fdwv2)x2oDQKG=(tf=j@t zn+Fp(I>)QVi(+DcPOT7>3*hMpU;eTsH3N)BL?`K%YTD^#*cBlO(fPH>T1iC%cHSB! zWkFmHo5Gw8T+E}a`nCOw^s*NU6e7>Y&MA{5DBoSFar&eJelj$S%;iwp*Q%&FHf&Xc;~>{N6ET5=lVyX)x6OPbLtJh>9r-;Zb*@joZT7nhy|yoM$cGJ|F8G5pG!R{$3a0< z2bO+jTuCgcw8gS|W3*&T@`ct|G5zQWSRtX)2=nw(VQ{3<0^KMw6by8FF2TRuA|M-x z>R(U90nm4-?KccqJjm)Rln4cSQrRQ_-jwP}1{_374+&t0mG&X4X$|MNah8;nP}d=&a!=rhJVD zxT9WZVvYzF{5pWlT@9x>Ps5S?dwzF%*E;)0@4l2?W6>0eD^-tv9wf!LI@VJNN5DcD zoK@J^7#DIhM2&)(f))u?k=eD$jAh0wz7(yFK}uj$kgG2NM?eS=v2s|194%+gtppkx z&NM-{@V?l(iCI~`GQK7*@;{4&C!*%S<9u|VG{qv(WLepgdV zrqP7c_x+e`)VDwNo(vEzh+h%16LW4T0T{5!YS*f4cx$I5!~P@S00d+K!foMnOqF04 zs=2JsX;eo`9zS!ouRYYJ&KD6?x%PtcRP9v2hU@YO$oCHeJ)&&Xd1J*jGKMU&nt|Ei zK6zJjFT>o+1^uXaOyB3Q&M^0bCeL11a$pQAv(B?xE9jP^PgwVh$9OY&qvhMr07~mZ z9HF;u5tx}H5SSd!;?LPQ3#}8Ho0>?IvLTk?C(THs>$~L_onCi>F4n&c2}OVdX|*|J z1%-V8Z72VrPoDD6FCbd@bgR}^>UD~oC|Bs6cd-_mJw#dv3|5DXV>#_pY^d(PqvXCL zuu)Q@v>l(KVIVqzX42DGS@kN3$$M&ol;?1E889LGqcw^DQ~>NuB(?W{_|b=@TS(wN z%e4+QJ$a0I#`f;oCi+Kf5k6A>M^Exy0L{;DZzi8QrH5yd_pWQGpPHdi+%0&gP2LtA zU%*bs1+9n?+~`&h;D}-YL}N2GC6tl?wE!G`I~csodiHv;y4B;01Zy-MEGo}OytBGB zG~X0J1<y`gHL@x z_1qtOiIu@jFoSn5~X;8D!}EM*179pxS6mlmwQ7I-dt{KP04JH1P$6d&!bt-EV&Zi|+w zHZ>(CH7N)x>ru(IjO5BX@}%6TCN%@-jD_~oD|JrshsU^iw^Le?b)G)9Fp!b*Sr*=( z92NoBQD%E`_{j!UfPPKIzSuF89k_L=t8bi`5&Jg%$l!|5lRgl58XcIJZ5ls=15&#K zWV$-O+D{&b3#!8S?~eTc`?9@KO-c}}1)=uNDT+A)^iZ$8nZRwmKrgB(fvR(tf(71= zE=C6b%bV-O2v2P-!@rx8E=rKnmd3dEeP^Rtn&;Arvri^r_3klX0^$deEd3CW=~F<`D{llekxNA3L$MYpoJxin0@%Kj>he@kIT$pqkyBWqUx zG3OF9h&#Ak(UB(lTepZ%H!wrEXk z&AuoRV%u-Euh+i~{KjE3Dh7)e(e=m=@WEOyHoU|Y1W3)F_90D;t=Rx)pX<9GYM+z` zKrr+@X+OlWg-7NX$#Gxr~2ZXy}wZV4JW+KV+=T zLZ+-5+V;jK75y_&N2#+fM3{qd%b^Rp#Jx$W%5P{$RsYy{wg8L>VJ!l$Un0Xt!B7#i zG_~SHrGL;dkMkCxwXQmj$AFIJx7{{Dv4qGCcK8&#OhhL|-+9sotdLL{jU@bw9pb(C zXWQiXP(~umEJbhZN&CoPKU?7(; zfCknJegj%sxhZw6hT`^8@(xFS>rsxu$Rcpv8<(GA$Mu-An23VSV&Aw|`Zit2r&x9p zRWNzt<55>ctA zxuNQ(^-dai&G4GMs!lJsI<1civ~6A)%g>~ARjcYK3Q2@&`jRJl_BJb zJeMqIYgTO=)E|58LjY&v=qMAbc|0{O>1avOSV6_JeuL{@ z;jz5ECaHI(+8uCkB%?2H1ZXlRrH74bAIw?TKK)pzb7x;-_rM#7$!GtM-`$!Q6{pL$ zN@~@>Jc=5-8xN79c*O+9R~AiSCeVD_Zpo`zX{4&`!g~^Uj#lq})eRK;Z3L-8KpedI zhK%x%0goad>__cZ$<16`LTcUj$8&cbG4Ug83mG z#GaR*`UQ-)#9nrxQYN;*>X>MN7y(7Cl|{s7oro`vzRFu6|*@V2(&b0iEaD}BlI zG#ER?yf=$*b1C<~Lt^Tvij#MnRaqND_DiW3n~@WI{U1055-PduwDOePkxQ=A@?U?`l1eib zP8(en)=}p*Tpyy|%WfeA;yD2ZZjU7oxa{1qvP>2RV^@5?ZEnAYRyDmQBM3LDJowiv z2z1A0q@o$`(IGBvW^4%H6$*q`MJRujfPmYu&QADd-v`|0+@qOaCX?X?D#|WqcsPC+ z@PPCqcd0I8E&!&8&>1AEDGo^=jKA5X|BZ$}RxASk9b5iKw3bDK+0dSzUyu*_$pV?n z5}7TU&}Atbjk5e#K4d_iU!aaae3IWp&#Blcb_@cveERi%WN)sp9=(#%jzH5(CS=ct zSNODyEXoDzDaqKSb!?I3ggbxI`M&&>UUW_FoIOND>J-NKL{fXvPg}pDY`Ai+fQPe2 zQD!ofVEwE#0P@>u;V=Q?gvU}^U9eXHy_2*nJs$Wf`h|bZ77O3JFW0_Z)z(ZP!K8=l zSc?M`)s=H4Lk&3-i>vH#HySf81$Dg<>!@)VcbUkMz68_omn!_R)sUo{lDFhjy17NLfvfy#=II8l z^J~zIJeAg=R2QnTupQHY!=wnDvV=ARZEADK{r0C^*jd#3!zD#w{7#@!`Vd)z#UtV&3Wb zkE+R)wLBtt5(pGU#ITJv0SMYW67IH60VH`L9T$WKqJo)J49TB2`s^P4>=qau)A75& zeE)>=#0(@$42u1r-foICSpjaz!tVt5y>!{>N`&SiRkrr}jj<29mH7qrDKz329KJZZ z__1>1U?a{6vORbbx+%m&ceSB3@g{q|#?irE7JgKSLjOcjZrJ5l!eBLLdK&5k`==}H ziih*@UvIB}9Fs-FTk=I<`<;}Zylvm5#@5rR-P__kl=O;!tAQP6%er0)$RCGdN^LE( zG4pf}&3~7Lw>Y+72|ZZq>gioP%$e)}#yLcW3B1ZwDHRgirNhek0nglfuB|ANYS#h! z#B##5z;z@*xX|%$=LB$*$3UAx5a2f=fJh^AQlIPHP68y^i&dhXV3r8vouZVOlXhiJFJEf77hXy@PObM4`(e3wG4P-U?}h;d zK}(x0=`ClJsRnjZWm_s5fr@iUaZ&Bp)L867BqX^mGx~)7Q$+!CCdvpcgO8B4Ro}d5 z3+?ng$S<)udotZUyo}<|pxwe#~aDmNmNxuIuQ|UxDiJ=rhiDV^Ko3P<-aD)Jj!e#mJEJ0kp zyxg;pQMqRW5uC$P)7Mc@l470f8|xn)7Ts~YRoY)L#|{l_c1H|XVpMwf4zGC~rNElN zqm4W7{W|}pr$@HokGPLctR;-E6FeyOni=#smX>dBKWwOI$>zccC=3!LE&}gTejQf+ zWK1W}>N6=IRYfq}H2@otO!2UBaxn|BgzNJuYkw4ruuPN^%nGpa$;HiG7Q&?J=CcKP zL?<5=qDdP&CJ!W4(&ebQwdWuxkcR`H;%j1y-bALKzME#BG;?G$-nw74qz{fK1V8JC zeM#?`ebrQo7IyvTCVqG{b%GLQ3iyv4xMhflkO)yJD$QjP@N5{9&M=L-M*y-N&M2$} zgHs@a>hZ=pm(1!hyj86?qpDyWbN_?I<7FDnY2O<5#CTBxpKE+7jqNUG2KXq1MJEYc z0qA;?T>rTE&=J2f?mBhemCCnLyvLR(8nDFgusvS^lplb5qT=&sue%hzdH>&uZ#77# z>XLy0zwbSwX}_j3W#85gzwP83n@j~?UkX6qCnCu=mr^8tKzB0a&IB}d>KD&zE|iG_ z$vfpa;XvA`=zQ$ggXZPNnrztK0Lv*7g80RxYU{%U1cDT?(M2A}DfeI+pZ8=28iRqw z0+*)beY+Ik{9kXvke!_zr6FJpcCs)(mh`jwS7iEafPF zYvP-?OKy~%YsY>e+jvBN=N{dcL%K0G0#!DMFI@SWQITzi&6Iz`w*ZHXgxh2dW6ud(GsFt z2@#*PglZv>^gE*#|Nc8zHZ<#XBSrG?1KVw?j>qJWHv)g@W&*{jS-(Kn0BuQ@MCqAv zRg3MTBaM)u-XNAXgFR?EN+8&vz+)K>NL&!7W`Q_WyFA^m|Ayh@`o}(nV<%;0MOE6Z zK77JS486`R$^@1%ey|BgnoTVdYzHduJ$fy}#a{EoF!m&=zSzaUARyC-+E;qKxOY*lABQ=xaY?Q#Dm@UH+?biyyA+CZ<| zCBVL`X7&V)KMBarT24HlQTVB!Ixtcb{T}I=2^rC?8Zq~dt9?yw9Syy2LZ6rD>fG+kxLas zE(KbYawHMw;@IS2>8aMUT3HdQ2(N4<*1wAYp?4BVG%YB2-o2A&4eOLOo)2WLb_=0> zpZ!F@6s`c!kCUhglL!JH*7JeIUl+ru`6g*`2kCGHNV$g6Wck*5clgJj?kI&92TdpC zr~Fn$o3Vi~&G`*hRZ21M_}gT8;!RTEP)2S7xg(lJ9}&8LkB12QZPQ>Q>o@vfvFmXF zDNA2=OuW8GJg}oFcI`Hw{ZSNCLChZe@VTk$?+k)z=m08+a|Ot|ax5w+kE&zmd6M>n z2ZfdUDj2H>@FCL6*SYtV+u1{Ay5Wiw(OeP!qX_|n_l`}y-cEh|wU+|Mh7 zk=4v_e}{6%EGIWZyOX(1Mxzg^$_mOO)}D_&4_8`9jHZ;Cl7N3iD}pgXpK`Bx*<(ok zXTYYJF4xDtYM_mK95V5~R^%RE0!gtFir(0BqGhO&&$*mE_!m#whK%#56HHw)KkS9& zUfphatMk9l{zMm+DS_p%AtSpF|J#)mtX7e^aR{2$u+~HvIfY`}o}#E>8qpd?uuIU{ z*x`B5eC|nQwjn<2Buy{{;zDMB0}{H-#YL~PT(23g_6l%6_GpUds05%C3>~_Cot2y7!U)A>cKA1ru9AwmnpW@y9=?$yEYuJohKaUVpSee$`n?xU;=6o_%$H!|Fj@+ z!viG3KA*4p9xm77@RO20D=67Vhltc+|wkLZjzhsgT8qE4W;}*cYZQ*?%70p5hG%C{ z_l2e325cqJF8$QFg*kZxXXq8Be{H6cBiaFVU^bCz>RThD5de``sJ0`y1A1Vs*vh*m zF#VI?te#M(&mBMt^{FF7SPrd711U!G0=!Qmt>7x5?Md?qqSxS14Ln##=CYf+QF=N7(3HR z`;8ECv)Dkf+vq<}k+ClHbz`eO>FkLsQe$;*bFw_S{DJ}6oNCPQRoktn97sB-EIF%` zgwLTSuh1{e`K@(l>%pxvq zY?!aYZV8^B>P?cAm{0GXtcjj!$Vomg36?PRE{g<8;(%^%Hn+Ael1v`6_bWaFFTnsQ z;$`0AGq3#UV!HP#AucD&ONXK0iT->M>~K*nfw~*MmVzWCA$9YvX`Z=cg(izms^RuM z>UQt7wmK@Yz7E*=8&NS)1Lq;mZ@|#+U5(W{Q`2XCFW!`${)r9OM);ql&4A_Y6U!?@ zZSC%0BzQ`gT>I6{+IH5>Dg>wz#t(68&OeL3E)jD`?KbO?XU34D(X|FejdK~iLh&9& z_@|Z^p*_GxghXlwzQ!>Xv$)9UI7E;_(CA|ZWp`f!Pvr>293MMMKAy@--d}2WP1p#A zx%yeeD;K$QbF$UDZm&cpjhxXt~{@G3C?2)<8X zL|gNUz+av&Yz}`g}i6O_A;lZ(N`dOZ!upw^rq{c>PWAWT;@=n|68z!n_mAk?bF3f-ha;g{o zH_kEO^vw6kwV5@$PHJ~)NdJu|6aiyW@cKC04Hli%^-t&iZwG+5ar5+VJpWovC@yKK z^y?(%gx_sa&J9~x;?jBSF%q-Xd@jgQ{Fg{OZvLF!$dc(FZg|(VVu+7fkoGpqPm)xt z%gV*%d4XFXZbA1f%?NHDP`?TfxBj`{0q3mdQhOXN#C#$(neWw9s*1`21lX@RdWNxW zl}ohi>g#i7?qL1lx~N}lGfguY#H9gF9reHWH!b3;#mTN~P~j3rCR6Z%9JEjZ7Cwu6 zOab+>j=-Qn+3;Fr&pf9`=|tf9NR&svrvp#u&0V!a`1UpSHI48$5U#KtzeL5=35gfM z;Az|hirTMe;MvCPH)$op?_y6YjUfNGr?WbRCB=CsZ_ACcva+~#u`ozF-tf=is@#TT z=H{Be>vr$>d@XvT&g5&`%<6uwjt7oY_ol9#I3Ij@XwOcLhBMQ?-jtN~-Q_dSNYeSb zWY1BHs8C-eIc1qn1zGWhz;nAw3uUK=Sh-qFee%xw{ezY7YuXnba_TEB`}ErW&qVWk z|BM&Tkty*F*Io_2<}yNvp)Yx|U%JQApc^Yyu1}w4lzvU8BzF1w_0zlNT6-LS{N?L+ z#n_o=?|qAVZO(J5t82&KbJh{RUo4(7b=sv%*G^^c|0`?%_j~*UkIwU-R)&Uxt~yQ9 z;bd5Ud*0z(?!1Kt`tq?Hz)dF1X$DX4|LoMSC=R#+_U^@fR2N(loQ9FhbIc& zm!*D#Tt&*n(jdTe*uapdcuJxD#LJT3CdP-~1K;B*k{rV@XYImp@GY^04=-L(rS|2o xRJekc2KUE;He*9B!X^2-TiDgQ;k^ItU5+03+HL*kH}Gy?22WQ%mvv4FO#o86n%n>Y literal 0 HcmV?d00001