From 14b3afb020081b3404ec4b961136144bc726b974 Mon Sep 17 00:00:00 2001 From: Boyan Date: Tue, 4 Feb 2025 12:36:44 +0100 Subject: [PATCH] vault backup: 2025-02-04 12:36:44 --- .obsidian/workspace.json | 11 +-- .../Introductory lecture.md | 92 +++++++++++++++++- Introduction to Machine Learning/image.png | Bin 0 -> 53488 bytes 3 files changed, 96 insertions(+), 7 deletions(-) create mode 100644 Introduction to Machine Learning/image.png diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index d4b2c51..c19a931 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -201,6 +201,11 @@ }, "active": "96f5fe23af86a273", "lastOpenFiles": [ + "Pasted image 20250113151159.png", + "Advanced Algorithms/Graph Algorithms.md", + "Advanced Algorithms/Graphs.md", + "Introduction to Machine Learning/Introductory lecture.md", + "Introduction to Machine Learning/image.png", "Extracurricular/Circuitree/Committee Market/Macro pad.md", "Extracurricular/Circuitree/Committee Market/discussion/Committee market ideas.md", "Extracurricular/Circuitree/Committee Market/discussion/CA.md", @@ -208,7 +213,6 @@ "Extracurricular/Misc/Proposed Routine Plan.canvas", "Extracurricular/Misc/Ideas.md", "Functional Programming/Eq and Num.md", - "Introduction to Machine Learning/Introductory lecture.md", "Functional Programming/Proofs.md", "Operating Systems/Introductory lecture.md", "Discrete Structures/Relations and Digraphs.md", @@ -221,7 +225,6 @@ "Operating Systems/assets/image.png", "Operating Systems/image.png", "Operating Systems/assets", - "Pasted image 20250113151159.png", "conflict-files-obsidian-git.md", "Statistics and Probability/Mock exam run 1.md", "Operating Systems", @@ -234,17 +237,13 @@ "Discrete Structures/Midterm/attempt 2.md", "Discrete Structures/Midterm/attempt 1.md", "Discrete Structures/Midterm/Untitled.md", - "Discrete Structures/Midterm/Midterm prep.md", "Discrete Structures/Midterm", "Extracurricular/satQuest/img/Pasted image 20241206134156.png", - "Extracurricular/satQuest/Parts Proposal.md", "Untitled.canvas", - "Discrete Structures/Mathematical Data Structures.md", "Advanced Algorithms/Pasted image 20241203234600.png", "Excalidraw", "Extracurricular/satQuest/img/Pasted image 20241206134213.png", "Extracurricular/satQuest/img/Pasted image 20241206134207.png", - "Extracurricular/satQuest/img/Pasted image 20241206133007.png", "Extracurricular/satQuest/img", "Advanced Algorithms/assets/pnp", "Advanced Algorithms/assets/graph", diff --git a/Introduction to Machine Learning/Introductory lecture.md b/Introduction to Machine Learning/Introductory lecture.md index 634c559..f322f48 100644 --- a/Introduction to Machine Learning/Introductory lecture.md +++ b/Introduction to Machine Learning/Introductory lecture.md @@ -117,9 +117,95 @@ graph TD ``` +### Mathematical Formulation +[Markov Decision Process](https://en.wikipedia.org/wiki/Markov_decision_process)[^5] (MDP) is a mathematical framework for modeling decision-making in situations where outcomes are partly random and partly under the control of a decision maker. + +An MDP consists of: + +- A set of states $S$ +- A set of actions $A$ +- A reward function $R$ +- A transition function $P$ +- A discount factor $\gamma$ + +It can be represented as a tuple $(S, A, R, P, \gamma)$. +Or a graph: + +```mermaid +graph TD + A[States] --> B[Actions] + B --> C[Reward function] + C --> D[Transition function] + D --> E[Discount factor] +``` + +The process itself can be represented as a sequence of states, actions, and rewards: + +$(s_0, a_0, r_0, s_1, a_1, r_1, s_2, a_2, r_2, \ldots)$ + +The goal is to learn a policy $\pi$ that maps states to actions, i.e. $\pi(s) = a$. + +The policy can be deterministic or stochastic[^4]. + + +1. At time step $t=0$, the agent observes the current state $s_0$. +2. For $t=0$ until end: + - The agent selects an action $a_t$ based on the policy $\pi$. + - Environment grants reward $r_t$ and transitions to the next state $s_{t+1}$. + - Agent updates its policy based on the reward and the next state. + + +To summarize: + +$$ +G_t = \Sigma_{t\geq 0}y^t r_t = r_t + \gamma r_{t+1} + \gamma^2 r_{t+2} + \ldots +$$ + +where $G_t$ is the return at time step $t$, $r_t$ is the reward at time step $t$, and $\gamma$ is the discount factor. + + +## The value function + +The value function $V(s)$ is the expected return starting from state $s$ and following policy $\pi$. + +$$ +V_\pi(s) = \mathbb{E}_\pi(G_t | s_t = s) +$$ + +Similarly, the action-value function $Q(s, a)$ is the expected return starting from state $s$, taking action $a$, and following policy $\pi$. + +$$ +Q_\pi(s, a) = \mathbb{E}_\pi(G_t | s_t = s, a_t = a) +$$ + +### Bellman equation + +Like Richard Bellman from the [Graph Algorithms](Graph%20Algorithms.md). + +States that the value of a state is the reward for that state plus the value of the next state. + +$$ +V_\pi(s) = \mathbb{E}_\pi(r_{t+1} + \gamma V_\pi(s_{t+1}) | s_t = s) +$$ + + +## Q-learning +Something makes me feel like this will be in the exam. + +The goal of Q-learning is to find the optimal policy by learning the optimal Q-values for each state-action pair. + +What's a Q-value? It's the expected return starting from state $s$, taking action $a$, and following policy $\pi$. + +$$ +Q^*(s, a) = \max_\pi Q_\pi(s, a) +$$ + +The optimal Q-value $Q^*(s, a)$ is the maximum Q-value for state $s$ and action $a$. The algorithm iteratively updates the Q-values based on the Bellman equation. This is called **value iteration**. ## Conclusion +As with every other fucking course that deals with graphs in any way shape or form, we have to deal with A FUCK TON of hard-to-read notation <3. + ![Comparison](assets/image.png) [^1]: Prototypes in this context means a representative sample of the data. For example, if we have a dataset of images of cats and dogs, we can represent the dataset by a few images of cats and dogs that are representative of the whole dataset. @@ -127,4 +213,8 @@ graph TD [^2]: Parametrization is the process of defining a model in terms of its parameters. For example, in the model $m = \gamma ( \beta_0 + \beta_1 x_1)$, $\beta_0$ and $\beta_1$ are the parameters of the model. -[^3]: An agent is an entity that interacts with the environment. For example, a self-driving car is an agent that interacts with the environment (the road, other cars, etc.) to achieve a goal (e.g. reach a destination). \ No newline at end of file +[^3]: An agent is an entity that interacts with the environment. For example, a self-driving car is an agent that interacts with the environment (the road, other cars, etc.) to achieve a goal (e.g. reach a destination). + +[^4]: A deterministic policy maps each state to a single action, while a stochastic policy maps each state to a probability distribution over actions. For example, a deterministic policy might map state $s$ to action $a$, while a stochastic policy might map state $s$ to a probability distribution over actions. + +[^5]:https://en.wikipedia.org/wiki/Markov_chain \ No newline at end of file diff --git a/Introduction to Machine Learning/image.png b/Introduction to Machine Learning/image.png new file mode 100644 index 0000000000000000000000000000000000000000..d509455427b18ec5ad35dc2c63bf51858e43af02 GIT binary patch literal 53488 zcmYhi19YXq(ls3C#I|ianP6huwr$(yL=!s`+xEn^Z5vN+B5`79}E*%)E`N|chc(n`@cdw5(w?G z32XW|^#9cmn6>o()eb~LNCKu_^Vgg?9qnJi{}ch|ss2wb{{#WiZ)K@7#>_PTYY-5O zt1jsO1pjD6{a*TlQDfErD*i5le%=A`e*zX!PoR!y(rCrECI3}PyX*n?e*&|hKX`jI zd6I^~f7`16-IhD-|5*WM9Q>^eONP9@?_W>+EB|dc+yCG2lxTN@|Ei8h1A&8sTW)iq zaddP<#KViRm@6h?WmQ)F!OU_g_O0fP=>Q+=pIyhyAaZ;!q`K}q;Lk5Fy{7fO#>_kx@}h27O?p z6cp_t8~tGjBt%5O0RaJueqN8~y@MEf(T9ho#%5+xt2`W{+tz>@s!!|EYqS5@-4M{T zq~{kS5{14K2t(h4q30d2xTren>^sH#^u9k@TuhG3?JUk*mcyPCwWaz;Wp?E4=?bAy z(`U$BLqmiAW!#!w$|pE9RG>&P+kxM&2k=|e|9hCh|1;*?5duCwynOH1LgN{1Fn32& z!y^eKQ^zM|CE0ymSDh442Xit2*Y=IrOEas3gM-;ngN-&9_s1181x3X` zH9a42BBFBvH};O_dZm8@mGYl~5}-gt?9+H3&*sIE`bA4*faAEROW*zOXl!aK`SiKG zGqGbYZtA*o;oEfR%ze`XilG1X`H?uP2XL=N!elX}wK#u2<-;+3U!ekXce$4Qk8k9n z002s!_V$dn-5-xm&@MBT)4Nl}qs?rE)7RClhuG5DKd^Q?d=AD^C~0X2Oj3117yhV` zFfr9u(m%Jw5%&ach*4y(n1W#jR1p!fTKf5YvG0xXzrC}ZFL&)x6uUFkx$6!T>iK;< z961N09DaP8|3FjK0>a~Z-V*={sb1q|^J@IT3gfCF$G|fD?H(Hu{){DBw7>4)9rmx0 zX!W|@DJGqEfgOhE8!kQW4zrYMzFLeNu9j_d3)~cEbTcL|+gjg5h8!+N@tmaj`4Q!g?pi zzZx>l;w=8vpewZP%+8tDm{ScU)?8Rvc(>s=)Y#U>O+_`){rSKkac#wlO(m;KTAa>k z@FNrs$8(6~9hk%(8+h`^uvNf6hYgS=Bt#wn*l<%)mZHezd?iFj!-g|*CFB+t6@kaZ z#3Tl7c0O%Jnf&G3v2VWXKe|)ny8AuF01WXDH-6v&r~Z{F_FnA&;gkI%gb)2Zn;AtK z@_&%C4FTp3a}0sl3iCgd=~4Pdj!P<*Ug!Tq16u+A&fN_lVz(I&FkD#-T6T)Tdv2mJ z*zy$L>C%r}MaRmM$$~LC=5J7B_-A^mS$C>?b0Xms4M#ys9k|$Sro8S_O za_&#z8gw5N(0E)Seg)5C7wysV)Z)l6lW(M95cbbH>ad^fNHKQ$gU1uMU^Ewi?d{hB zf!3%x5Nv^nl^-;t2e)&-wr(gU6NDy0dLI;H8GVTpEg?kA*yKkE0_sk1TIn?9%mNZE zF!c>_okul~CkagimHiYrk~JUZyeh?t`mfXWuoD1L?O^ykQMh|ew2(U>I&{cW8TMqA z=3N0>P}PevK~Rf366T;D#sDh&NAl1$;RhXMk!mtT}AlBHBqSs5QvKTIz>QV`M4H@Tg3 z1)d@dQ9eH`=pXUzdcIL*i=6`MLn(STs-l3dWFVNMn~IRdmo2Ls=jJcXY(k3lxjBb7 zKgsk3KzWHRx4anL#@Xgz18YVGGXuqWF0Qql?C?G1@R{?zT`4zdt~zRpR5 zq$U#;)_wSn?WtuBm^hk?DRTcf^Tu?hem{+5mBt<~erdAbJKKm8pn|&b35(rbP7va3 zHDiHBuno&8f;vHhD8$qbXQDnCKr?ddfjr&krvbclCHoI&8S>)xR=;NCzgeT$0d#Aw`VVa}BOCSLbi>Vr8g|1Y zg#xfK3ncXMxPqhH2hLQ5^0G79ob8RL_jtSIIlIYaT@5p#okgbSl-9ys5>Q{!H>CT+ z21E0sX`HSN6%HncZJ|Igk5xOva$m3km8A1u(tk+pJjkke)uI_FFbNNT)!&%XD5R1HKiRv zuB%;xUv)WptJ^mXH&|PpG}tre66v($gfD(Ae0Ymb6gvUMudS6JwD3-&u>C0c?Treg z{Rywf@AJit6@M$%0eB(pH+pzQ8lkz0FJpwT6zO<-L7DgnWGUKg@s7O)343Dv)+{ct z(4qMI?x&ssXNm)FJ6$eM=?)(+-uJL%^9kt+>d~dc5qP~(!XGBokP-1%*sI6McipMu z`97T*7?We(3{-v~;uoGIICvm#3FbEBLsxfyVt0M*(~U>48>wdCN9^naByCC1+oRZ1 zd4s|@GnN!vD8bWmYucdx$Ys=aNXIeV+4WtxZALsFk7N@Ci`|%ihb~_C_wJAm#767g z{Jaqei>Q0qFJ&z^fx-A>@BJ==&%?v5EryP?_$@!O=4Ku#UvCM{qwLfSZ?k&pSsG{AlVAb&Wp=O|h9oq1s^l*$dubib0IYkTiZ*&TKJzyco_ z&3i|inJ!HLydQkPbxGtNu=+_H-UcNUtDds0%W8p3E9&)M7NLd1PNyk;cDT1Pf#?Y3 zwyp$!y&b_k?_YHfx;Qkp*m<)Cf;Ny&55Bb82cK<-s(K(|0a(nLXf}XsP(-4=pTTdj zbuhWz5gRm{bRRBZA2yFGYM<~Q>o7g|O~T&xaKw-VPxNv+NnmPs+H`mRR1~9idtCs^ zPwAfj_R+$ML!F~>yUTkJ#wVr5m3%e;sz_*VwvP$#qnP@n&5k>Z@|r`+8E4KcgnTMG zp#0Vrfy}nB)bF2@M#QCT&J?=ng}^*j8xx8AyT%nki+p|VG6mH~z@NLoEjr2P2XP02 zPipLSq0bA4I<7Uclby10NT#vC9trqDx7J;7cJI0doiK#+7@!_ZBiWvm^XT1C8=$aR z3Sy8aM!{*q!`5n_wi6}=dZygDzQg2BZxFAf_eQVs+BbK+s=|F1;(Ben=GqS-`-6FP zTsrfCr8R2LOkDge7^LMkD+XV;C7HBc?qIQEGD3lZM6lv!)`W9WIadB3yufoQV%Kl& zc72C=B@ro|V+ zK-ql(oUeNU#clZE(8Ej);~B~%g=K`$3T&c^lAEKk!j#+LpajtfMO}m4G{mseu6sj% z`+XP7lI@-{YOQ*GGjteL!$k%blrsN@({E?NlZvlMDhJ9!&nv+eCnK=cpq?3&R`>gW z5YqW5hl>$TPD(9px52{Zu)Y+((Fy!jcxV*l4K7CtysHt2JDZic6gw zK8~N2bgw!uZZAVU5Ce7Gul0DT(OEw3ZoGDx7`mt7c%3k^W4~j4xf~*d0=a<-zZV}Y zORB+xz=#+Ex~rJu)O41rng6aysn76hNKsbaU|> zff&6>`lr2AOr>j&SexEv5?XOLE)4&68L4vma!K8uZfKoAXlZQB$gA|f3@&6>Ll%8U zgE8x9)oTv)E5*X7T`1t!pIVU+Q&#x=Zl>Jrm4V2z6{N}x4oK(aoanjck?ekcTJA3R zA29I8#3&DhW_o{b>gcyxU3knYQLDR7^x+Kq--%capE7 zH?z`IbG-JCYxmSYZVa`P$^_$eX=uz^o5+ZIj=U|eE2Sq1Fm#+TgJ7)6Pr>$n`dpc~vCz{i!RtdXr zAVteS1!x%C-OQMhi?z*+5`|lEhoaGR73@lMMTOv|e$NE1$?{AOY9bll9NcNqS&v5X zl~Ws;-SiP&dQ%8t3J!U>e$K~nfM?bc%(`J(pM`tWF>G;p zr2Qzx*kkQL*ql6P@rjG0_q=9VZ#37OV`S+FG%v{?8=otIq1hf;la^@MW7=1|FxHB{ zf2$)u8iI6K;Dv~Ibk<5XAs&7!=3cW%7sSeuF}=JTerSrKsikF5zr2lT=DjN;RK%Qe zU#DO-KYiN3hzWv-i3u=@&yzBu7@mgFDT=2>$mh-?i0PkjLo6--Gn{~TR%_pptyu92 zzh&bf>7_F+4%2gl!=77L3?IR?i88i|ZrA0V1>Vju<;&w#k^NBcA6yn=iQ+r8WDPSIC*o`sL?f1szF+bM2 zwXw0WYfTp{&-0xo-Xn4MmvDc|NMQw%L<90#9EJSgW`*vrIUt0DJT_D;`Kcf~qfp%- zHK1te*c(_i49fqA+S*XL66glBxx@e#MG2`I_!CLyn4FIh$J4k_c93jRV;4%_r*pi) zx>hs;`o_@F&o^4lf7D!E;HVm@m!e4WlP$qL&%B58#u8|Zgod=&`0QC~_XTc%s@V-o zSbk-;?fKlHFbm|yOE0-P)=5O(V5r`*uic!ZsJ~Ado^N!+uvLL@2H_xOp~w2}1tB7% zAdo@XQ-rLxjF4#n98Q|WT`UUxNR>LCyFosa@ucjgiGI+_BR~5Zi@GWDjkn#JDx)3h z`&_bDcwH%Vbl$_kp7Mh&>A8_Wz+t(|zLvt=%RvulZJ{SN=7ubB~pfhN{CXuca)PDZOi0s$AXSGSb=`D2iof+tKyLoz^k+Rf0vDR_Y zgGarmz);VU@t@lA_M(X6%f?aIlyGkzGD$oCX9*lmQ|}mdxUieJ6{A zw2=qAVJE7Yb`nvrUwlp>$%+sa^K^?@y*J!C{7J-d? zL#a(upWvY{od!b7C_%tE$}rNO+Bt63oLaSW{L4YX#vU@u_CKSk1-!*omqdj+osql^ z-Krt#m7v4*^%^zJFlTcB+5GBSfhR&Fj4tY&$@lq| zrFK2T1ipbwn|}D=7Cpy2d-|j{t8zrM&WQqc7rskI6i^=D?;U##e4$aN{2+boxj;}W zwY^X;_T9t3S3_(|x*_2s04OoEbX<`vS0$LNoqGMN#>Ry?(4(Ajk>Gr!PwK3-$Fvgn z+>NTg@Tnn=B)=!ui-{-HY=Vg?VI-mV?NtwE=^qWH#Ad_6C%m?v&MmorB6?& zc5l|Bzd@M;lsfhDl?-dfxUL`;x}e)e|=g?4lN?5C`ScWo=;(X)e3AJg6?aA^c*^qZd>#ioZ0geX4_D=||{JA@;bxa^zI%9Adbb{C+{K~0F~QTLdkEsWLGkyQmN z7ZyH5@Juc$aaNOp+_pO0GFp2=u^1mwRqd=HCg6IfKK-n}BE*pVdk6kn*DEw7K%j5?uYr?uj>TLM(T&8c zG&)R*c~K2LbHH4rJqpA;5tNOZ5>?iBDuLSw+WJ7RC%Y4azWbhF{DKwRVkh$WkABMw zFr~K2eKUSW0Lt`jFK-R{T5jeYZbO-Yea2btB@a@@04A%?J==pDm9x=X&w{4ho_QV~ z7u+v2xxS817)obRj+^Ul+u)qYU%_4|8uh0c7o3^`9+Z#D26C>vhjP&-y_c>7?ae~$ zgKi96x*P4?LkLb{VEPMTa)uAJaZESA_yAD|iMV?|bV_p|bf>9~;UZZLmrZ6E$u$*J zP6SapJ6c{KKwMY16SB`X#W^IM_v)7Vo6f3haHm2&`>v4g|H|cMGG-1D$>>;nhIB{t z0Zq*R$zyHP*Leez-l8RuQbTSiFcnI#0s8ER>`8cola?aLuYcwq1<8e8oZBlru%h%d zdMGgWK0sQ|h>?H7LQo-e5PWZGr`i^lf=8(^nj7`o6cal{?*pjbeu{KxAz>JI_0JzlknR9J;wxD)Jgm zj=Ob-r|X@E?5A_jNSx1U+Dv!e@zEwOyYK5DY>_;Yw64;Lb@+4@YBRDh9g~jm@!s8| zakpK@;%E@3HXw+FEg;B^x_UD8vw*peA>7zW1s7FOh72Qpw>p^U1o<@+_xg9MJZ8vB zCRoc0VMQy?PQ_9JRTt9fGUX~oaG!}~sNl(_TJzr`{}|{4%tqHj#n)pL@P$OgC8g!l zNuvk#=4R{@> zBWB^{x=!Hetk1^;v}RW+Ar+Dk^k?`4Po7&8=+g&fIWm_*AQv@2jGN4bFrX)zfAnTXXp1sdYq2VL4qib2BLK~vP>(ze3^K@k6Ch!5a#;XO}UznxQIeA zx^n^IxNIHLNs0i-{27@3V^;xcZ4|_O53-km6=X3Gn_DVJSYwkfsM7(`=GRezXbzD2 z(=2&_;g(R@>w1EXaU_LPS24nU{U}wnBAiYg`r`)$C4ESH6bnrXWbdQ~SQGj?>VpK+gnXA=|({91D{%?}vAb&kI7w{de8d@^=hhh+;K$c{ zw?g;(Rf|;`5_UP!w(1wd4q*vY!QBmGi>9Oi8I*)Tl03-~_b4~v?ySg2CV`0%bT~zx zY-~xf6jk7F?SeqXp zN|Y=~`26B`_LnAFsFiq~H7#9>{vhXevp!vB|mP1NkPngs+<*Q$eTPJJ) zQqq#VMGFBMGO|;68w_-4qd#1df?0}xp?hhRwTXf+NT)^a3hLd}Xr`Ti|Gto&t>wmh zhH;6UY#e;y(WE)P`*2p>a+g%1KyazWve%^4o>YWW6RN67af_12*oTr9)(ykP2nj@1 z#k29D9QsJGV!nQ^{9yb}U9#g<^!76l^fmKPwwNIImzV>oq|Y z96s`@XsR3z;ZmW|r5}V%j0xmD0R8HySB9S(`SA`L5FPED%=2JQv~%!CqA$TY7g20q znAC7jaK1Qu#6Md_Mwfkww0Ul}{#0=E(Lj22c0BTt!{~Dh@_WLRB6w!>e_Vjs+p_rR zWgurIlr%uEuIUm92}}K40jw7iaGP+T7+6Dic+ z8AsRif*&!@cYQy|AK)e>E&0=ycY!q*)b*)7yA_89i9}A;N|QVF3PP-vK#8UmIR1dT zWHSP+ZzQKrb7N+g#QFK6G2Q*T99Ef4{rXvJxW-roDf4gx*p}y2zjqTpe&6?R#2(kP zZ9m2_2k)=0gY2)>v)C6z@)zK_y;|QVH_ne6z#Uy2iz#D)Ozlp=3GuhXOk@ zfgeLJ^?VP=z#i1(`CLE`>K-Qup$rn2AYVybTLKy$F**%a(}v&)8BKSMaVs3;f1=<# z7d`QB58#&!S`L3wLk>+Jmhfn*)*;1h&O^?His;`&3ckP1C6(G4{!w?+_i2;U-P?$$ z!nn`MbVA;`TJvw|O+HmjZcJ|N*Va->WMmD8*0V0kxO-b`OR4rk0x26!P9kE*YnRmI ziWrMKl#$7HYM0W|50?;vHkj9;<5mva(oTt$k_h^;Hlq5x>PMlhHYsVl?8^lAaw9q; z`=Ix+qxy~12#7|!$F#0|osQY$cVe@Y_ zNM_lr3gf3&*Jm=hKAJE>#6S6PH0cLnKj~#e;xI_ZJ5KR;?sGzqiCpT~Uj94NX-9g< z|2(C#^?BON0!ZDJG}I<1tyZSw)f=bE(X4~z|ZT1TQ?L4}QC1CRv@N|9_Df=r8+r9fZK$>hX~UAu{f<Ry;4A%MYJzc&%Hc zm%bK34Q=Wa4YF`LOv1_*Jo9YP;bMbto{;FPI`@1(+tX%ETh5!*QTh%9bi_S1_+1(w zMyR+#)11qJ>C(5=Yoe$MNwe>(K@`diD62+=G^h@a56N-B$m4KAw(~G{qdv%{UuqWV z-SxVO?H19`%ps+1sYWpr6|Y%)D`rawPC%HdIAG5K|mP2Hj9?E34+(DQ5woG`PCkQn*0O< zx4EiUqhlIHwK?s8qeX?P6H4=)K6&V6hX#!bZf;%`X?1kG%R6kV6-eU(G;01D;q#1( zI2cfs%a{OS*k)h2$u71Z^}q(WyzG;KWty<}73geiZw2)?&ouyeuE4)8NAL_$|Uid>HnRjOI<&F_Pe;a zP%EgQWQM_gT8f-%`zu4Y+bB@p`lCTH1_EVv&ndVrNyAad9V2>@=sT~GgLGE2SL z7Ee=ClhJaXQro^4yydzNX3e-{a6K}xE(t(X(mILZmFK-!lXT72FG@wFLe1-(-NmlWe*`&QtA)`xQ{xELmbo5QOg1S!;JcK-iIiqxdJ6b3l&?km_$;; zRW4K>i3}0hM!>=a82bzd2^V{wyvjT1iI6eZPfy!@fzJKpV)#azvrWrKzFo@hchJ-lg_*Q|_no^W@yHu7MdK-+2M<)rEK<=I%tl$h zzi|)9AR!?km`sLXi&Z*N0|UbQ`}_J2rwi&$)>y?dnSsH<19yt#xJR2`-b~6+6N#g( zN*2bWKI^fRuu|!9H={;K0;Xq)zaW^cpbatuC4A_Gy5kX(7t!K>$z=LF4URxhtZ#xO zjH-$pFqFkp^H%rO-0SUxB5@cPzY7=AT!cq;1C-2vzbF04h3f{~z3M?{kr5meOG?^R zpI#sCbO6nWfUC?~vNh&E8q*ZVW`)F0Z#UuZoau)4^z;f{PsA2bj_~ZFq`dvk6_F<2;~4o2c^yuR9if%9ri z+R71xHup950L`fJWv)Au3WTZgMmSgcTpq=R*725LdlQe%*9VejYtW}^so3t}&D3t4 zFGi1usT)rE#s?}BW)>G##-h=)ZuXwJ^?q2<360WLO8;<2aN{B7*g!!_y8TU88xXgPL5TV7A3vRU(SFx~3JG%>fn=9L-+o*l%ql2P4U)v) z_YBoknf*ZDYli#0dQ!Agro$Oc{!fN|%e6~K!wG`AN&;w+AFZG>k)oe$9WmwmJ5ni3 zn8F4dO7=1Zz+0Lw22l)SeLq5=`yO@uWt-q;_9tZ1Asev(3BwM3a9g(fs={XriZ+hS%4rRbZIA8BRnO-=Y_vYr#%Pz|!ywKwuq@sWpZjNH8eUh^7Uof?A@k$ z#h}>9BSv?_+m0K?m zj|NzNpV&@a-d(NPm617YI~+`6ey!_Q&dp9lCno=MTua-PIWG4*>E`GPefra2Xl{Q@ z_|o&AQMFt&)zw1#BnFVXqsgBt2Yb(J-F|Umqj4lO^oZnE7_J@oU@3^FVp5sc_lKV2 ze%n~uuA_ta!W*p;Q1eMaBqqgP#|QoHFHt`R#9m40imfsqoZ`s4Y0M;V!nxP*$)*O=4Tf(4O4^SA|l|M-ghzSrzzlwcZIDJ@$ilv1vZ^)6K1k<=r-nC;Y?r~0}y|J-r zmJFRVpmq((jfB6}X2Q`p73xwG_hEx36eS%7A>);lVl=(TU_&M3r$dRF4I#4%mPqEV zP$vVmvxdR}UyQ+}telFCaF2X$2HL0I$r^74j;p9(oN@YkD}4Fe$-n&Q*C(G^uUphm z_&_MyJ3o*hkIs^+J?KH))?I004^(z$;<9`7=#>e1`v6H3?IG>ilf_Qd8Q1%-lF{uR zNS7M!?MJdb8kB!?u`dN%_-`JWI%+$B{PJh3HCIdRt#H0$A{(RmDxS->Gx{Iz*ZtGx zBON}!*gbBIE3{h^8x~kFiWw&$<#(fVIP$2fbUPyjSAHvYlP5tL4MqR7wmz4$^?5xh z`Nz_HxjQoI4V3cRoJjYBvB@AU{N@?DF#8hXJ;v zsJK_0FBO;n6XLI8Fy8~o6xoFAYmASPV?J--oNb%vsj6tM?H|gluQ2jk)}*leqtv!Z z^mQCKuQKOX!xzawT*nSxEcyAk4@N(7wg7jQEUT(_C>$B&sOmOF`ZLc4X`U><;Sm-<#*bq~tlzjK3GdM9*Fne(zl`1g+=8)boZq2A2i)j9~l7++=z-d|>Ic zXb5&~eJ<9Nt6SgzDn*PYvi zmYN9d%S%Q$NB7s~+f-RCjM8f`R3Z6$DI6vv&^NL7WfbdbI#1}!Yk0Ouiij56aE=hn zTUB-OMf~}Sttc@V-y?19gjTz#kZf86N{-&<+G$Z=Z^jHWff1llMzTXX=OKc^1p|Hc zWA=21viJ1EE~!=9z4I+eNQdQAn!-R)y5x1)*POWeMb(SOVy7?PK{8R&?EdH=eDc=f z{5qFb_#@t|e`^^7>Q!HvZ86J)#(s0s*HIyI7ULOFmU^Mg$p4Xl!p)N#WJP4c{owD9 zb6y2GUmSYo8)_u{Qqmk)aNma>27N~Co8@l&VLG@4=V;-{bmx6jB&Kxy^@e0`QS~oA zF7+^ux|EjNRJpy_HM@sbAB%5>>C$BQFpE@Nl0CyfKF*u_HLW{@1?{qzIeu{SyUUUe zWapJXyo_$y`ZJN?#n`r#SZ%0vucj;&q?l^d>p8-O0y?0oz(Gd*t#> z6$e_D+tR{SPg9`GF^hS5A>CVoeY4gn6_qHS#qJEiKE1SN42n}F0009BOz$|Lip)Y@ zp*$YMj(v`oW?jb7CxUEunz=VR&~RUa#D+Au%>9#V#}%;ASb3bv3AlsM3GJ}4%TLgC z6ui4qE(oZgV}Fh+2ynu!b}rZR9r?~h5{Xq9q!V$*uZbh!x+1SbgW-IphFrvI*$G-o zGJk%b<#N`!^4k(%#Rk^^jRlKO<{xSP?i@(Jc0$^GA8a)3kX;PxZ0mL3zlvgXdY#wJ zANlB?#Ke!N46~~BwPPDH2{C-V20S4U7vO8uJWU&$8XIrR`MoA-iLTX~A=tKjLP#VL zaMaHs^1V##Y`AJu6d*uHTARJo-@h zIpQ2*>^BAz3c^%+MCV&h9|c8hQZ7P#-6E71rw6D!GaN}#ccH>@QThE`Lbj}|^B6#S zybb?jl-FP@@9BD|R&d?g9lyY^s&~Ec!u@IgXC1sVy|=_Zw7EqCVGlpz=WC8A;crmH z&*dn@>G+6LST*BXMMAn?VC*VrcT1o1%q%{q#>U3L~ zJ47b2BC}Wq_HU2&WPF^GTSp10JA+~bLW=KlANC#QmXng@oJj2_eZuE_x^hJJBAC); zW+Kcuwr1b?*tZo2i>Hzjp*&%0cR4mBZZ}VDqUph@6H`)@-S2pw(fxYcDY2krA9cpS z!Mut_P&jd$%vUx8o)viPvyKE6py{uOR> zYeo>Ho1iEhu2B7n*W7Y+IAPUr3|lRT4N^CdiXP?@6~Zl$c|ikpV%hT^uauU{cy?)) z6CHQt4d}syKACfLUHn(TRh^cCwwlb%X=cssH1zq@mL!y2M(yD=|1@IC&y4OI()lS@ zc0XBtU+15{@zY98-GuE~Rl1?Ar%1fxFo^8K4Hvicl%i3QPrF;G@j}o{2gH7RxMpHv z1f}YFLPc$5`8WUSif#P+wEbA?u>W2rL<24bVDUBU;?)U|RIeNe6&AB%Z7)Zwwxb&y z&FxKd`?6^{5rrlwvU0SRQ1D!r?)#{|%IT?tBWuYj?~5ovu{9$W;1X?f@9{Lv;d_u! zP(Wh0T@SA{8YX6AYZPm}cm$Ftoaul9jqPf?7>fsU>G?4X;k=5Hle$X)@?16=n!SwXfS7uHemsl@3^)v7+(N>^?wiL&JP{RE<9B7aC*?~3G}rg+d( ziE~S3Lm47A?}JF-x~W|;MpYIr(#L2-=^c+JTPItbEv;yW1!}g>JJ%%I*3QFDE5bb6 z%Jn|aa81tmwVy^B8JVDk9FH$Efz*}{Mthe#ju2c-i>o)>BymgE$Kb=MOAaz zw0elqI#p&Mib%tWwxsFFhKwj|ju%Q*_YTCp#8vu}oL9|hm6zs7UET3S!E)-He>Xj@ zz%bQOle8-a+~za`jH_K58OIzYJIK`68943AD~EI^8w`390RJpPw90ulQ*NO9>;8OA zgvh#YpI%otd%6JvjlJ6q6{B!HP$cS;Pz1?72@>S0inb3XCo7q?YmGtjlu?Q25r5!z zim$J!db59ITU9%`T*R`4A8*Y(w>YLeYq5ora;^v!NjOE_G2cEavI`}DI2CBg-zo@!#FyoRE~b@Erlzq9XK zre{+tsEO%#!BS;U*SYRX^FW!L<i*l+!fC{|N)*8kZKDO+n1Z zguVmJR9fVm)H@@}*~y9|=0-?iS-YghI``tksi??PHRA#)vu?J8WNzNH(|F)9p8(UG zP>gSR?oH>&Cb9LIZsC3}7ngUb*4>LON%e8Dq-UsN0Zbf4jc7t69K9LRA`eOohaC)I zjwnnO`GBfgLNeSr=TR<>RANLuJ5&kJDvv6fH5w_IUtib+Wnv0WJ+DBiRzgI{jpSsP z5p_~;O2ir-Tj1TH!%B{wSt=gATo|$Jy144sMyOu%c8o#FOM-``>|R9d$Nzm0UTDm` zE=!bKh+(JVK!OaylE7Bu(+Z5qGbN_K5~_GUSvB0}L4}#I(^bC`F91s4Z5?p0q@o0= zfNA-3$-Atg8mcqFCjaY~z|R>%-%7S*^7Kg3hnn5kCrM+W9-+%b(D5dmxN9>cNGLcFSra8D7o^v6nAGwfax*T&L*J zB0e|wEnS@M&Tw_)q~RQ}ANS$BU0Tl$Y9%GmLoMVk!KhG6X9-M=!urLb8fbQ30TpZd}J;LP`s$h2@7ym`v@Ga z_P?NJv-9EyDNf-*oJQQU$Q+63Up`}wjpp@7;-yelTJU~N@HwY^-$symoYH`Uhwr=2 zBT-0N1A$R#yMBnL-^sG3pePS`hXSID>Rjr*xYWh z{n;MtFaGfQnL&I$Wie3clsL^1AT-bxTWKe@$;g|5nv{vXID}C_6kk-$-+G6u(K~^?<_;LV(-neFC&q%2cM9%ki3IoIK2(r zLEV8Fa0)@A`^lVh`p3#)4?JR8K|;y)R#bp{2RU?|_IF%o7Yz9$QeLNvB1eQ}mP`LgQ z5LqbOUsra1)U+=JIqZjczsVa$#6lx7b2XXBybi>mGK#}s-(kNEl#7}9o1tfVc@BWh zAG7;N0zLWNi9ZaTG3A?t;7xtS(TpIS+pd8tP<#xD&KLad@=cmt6r!73)+3rfqsg>C zZ|7cj`2fXa@oi|&+yC@L43K&Ib7I{HTTeB3T#=B#%gKyzAOUz*xLD&dGMpA9vr{{- zxF((TO#Y^W@Gh*fbfgg;6jW9ec044p(k6 zF-ae2AW>FX4*vOjhlEo+2v?7sXTtDYzq?OE5POOfjX6f*w`~k+nOV`*_bB&l+{J*L;r&(OusSS{>gDd$6EF`JS2OE8{p)0#{F`oyH_7Je$e}c8ij_6|JjXa%%S&K zyo`^7LsWo}(N~`mx8Y>Xrvu-${p#TG`@Z#7kQ1>!EbF%2*AoIPLQaT_9e!YIUJCAM z2g{Jo?=r1%)e1dtKpAGp*ZUb+u$be-nUic6hBhT(%z3393?fcdzf5v?sLZu4qXn<9 zAud@3)*J(>mqg8xTAG)+@)TAmc>B?Kh?pWWHh$pO`y05lL^mwX=2)>I6C5IxPDc^) zZ-52LeWY_M4hBJg{4|#P#Q_H*-rtn9ACA3^NtB~tauMcZR-<72JWw}CpBLVVc6Z=l z4cKJGiQp8?^TD94U8xbV-*o7TTl!mb!if((zb_1W0zaNdTB`mCok7L-<`Rlpr2B~Y z&W<3H<=PfZmRG$9j2u6#JOd&f;b4L*8?dfoQr17E8A~A~1%!sF-<*7Yv0S}GV5}Pm zYcAy|QEI6RshDpK6RsHUD&;BeyAi`TVP4rk7d+{jXnA1UCw6L2%tC%$I&#%s{3)P( z9}3XZ?FRULt!?EY=ucF^{OuvZ=hd(z4{H@15IJ`E`&*cjY9IoKmw|n;4SJ_L; z{Df>pMg3!zC|Jd0XKSh>Qp>LUpu_t{8!_oT~QhWW9 zNbr4p3~4sJO&)bWc)+OLUHA_j_?ajG5S6D>CksvylFo@Mo157b+b5Y@`1_H4cDMZR zsX|9L5}KD5lf^Ub`dgpR2=;up+0UJsHnf1GeZa#I2l#QO`M`qGo_eVp&Fby(4@v>L z1q+NKZI}^UenvKV{OHDBaI140pn=pi(VlPOG|wBDuI~ex^;$P@`Lk)T$ukKz6>M(; zu(C9S{jxTy&}E_1Rnr^K5#D@UqV$FDehWp#C!C6@GU{UPX$#gOF>k18Yyc(y{{tC8 z=Ds^%Ko*r=iNU;NHu?A^Z$HLe0UgBuZ@7LLfoK!n5?r6e~(lNY9XvYem# zP10VH_u?Ot*g|Lv^STJBBg?+@TU48KQlXFf@@7;PHlRGW8m?MBLS0E1)PD%BzwSm1 z8Zxj4Ipv{x5&==*<;71=;?l{n_~qqkJvlUw<>d&}HQDgX{~VAkJg+=B#3!6BS+INg zqV-hr8yXt1X4Pu!+O-D-6*l6Ya zZ}T@>OJK2D$r;WLo!W)Vr^K*O?-ZKyeaJ*9Kwteb4>oeNymd|zB7(K@WtKVXb_7IZ z&iJelRMuIjPJ3gwkJsA+uqnQ`XTV3sH&d+n=bK8U+S$U({qDIb6uMMTXX#3e>C3s> zePkK5o6Th#O0n~39d4SPh*7*g+Kn6Ecy0uSW(31Z8^vRVO_(<>`rJ3l;0g8Fr@>%iW1Rq zV+7oRKo~{gq)|jpA(i{Br4YDKBb^J%w6S29>BM>hTMmjlU%s^r@2o6FO@oCzQWJ39 z%!L1bp+rU~Zj8W>5oj{oDZ5<0l(A4G6A7XaH*So8I}q@vQm%tigRqVijN+;mSqpYP zV|T}j;XcklptQP`!jz8Vxes%or%G#&-O>;DE=ZB}m+1@;_=651Aj%7TyuK8Bvg>ip z^mq&Qr5yg2}WcWH=~i(T(C@!didKT(*@kqZ0#Tq=C|p^yyrv%rVow4&7`Gg z#0T^=89bgBA|T5AezdL_yGdie@3J&xrT9h#E-#!auO~UwC@4ujGHap$~L458oL7=iX8 zP}gk3%U|Wes8`{}3lkAQ=bzjdf$l^gF2WxXL0TN8Fx+tiLZ!0Oa%(Ku+bfWjWR%igSBR5k zCR{!_PSVn2!#RviHWS=~jFi>1;%&-Cs8#z>Cc%Wa0(ZB?B>3hLZ0s$F30BOGuu1lJID)O~fq{ zH}E99l|S8BilwWHB#-6$E=|RP39(Rf!4@~5>$_c4P}xl31s_fYIc~flfwF+{E68_O zL+^1OLq~{)9|XHlVC3c*&)=%vTU#DG@}ay&y#7rAzCT!tiKM09d|?6xQt4Yf;f;jrDnYObw1YbuR>5zHEU_pBMO=(VEOLWNrjv3zSe5+nWbyX#XhlRTBVF#_&HKos2gn%0=`f}b@a z!kt}nUyMMf5lEnSo@j+6*yYw(u*+>m+sV&n%KG*CR|Pmx+(b3gqj3XyC?`d+Ce=>( z__lT;P)H{Dx4tPvG=&%4GCLU>N=UvLK+Q5x3cN_sLIb#Yh_~NP-JW5H85+XTEVaHMAC%OxPAgaag z=chnpv%R~9=(T=Xu=g7DJwNcC6ZKNzmVG&mQdOfnFHYvHUp+q!J~QI#-BtK*M+Gh! zAA>1F!hMEsX4E?nP*E1+U=r@FR)>@`UQQ03EZDtc4R(o2QH@Qc@O*!5F`Nz;?wXe@ z<$4!!oZJ|J?m(cRyalf}JU&V`Yaa7Aq^g}hm%<082< z7VL7F$#d|LOQ~RAAuWCLfoiIm9*jFKPQvg^4r4n9T>P;c5U|>vc;lOV)SIlhXF&=? znM`hsfTtlKa?*(K%OVPQt0!}Obf~9M*m-(buy-CikABihVQedRR*>nvK&oOSw5DsP zCm>XYm5e-kB7Bgzuc=tj`hC^7cx)7A4r4EPA6x=n!*Y0_7FN51&e?5VLvwowWx?Ja zl)UU75xya^$9?sEInv?+@arqnFljKKaeCP_dL_9zr6#GqfCweJ`NAYh!tIr8Fws7O zKp53#7a2F}NcoXdW5F(`*(6@pQrgb9M9p-1!Ok5QEhU?Yn465W*Z>)D#w>UX0>=wYi7jeL^F3&?Ng;m~6M?W!P z>;>Jq@{<-te&vvAkLJW4}rr}_VWET#pstDh#O}nLcA!sF#_I#0A-Z@L9n~v zAd|dOd?16yg58TIQPi}4ooc49+gpv47(E`oCIh4Uhe(ACxG@4fjeziif8(11nCSN% zl%6=)sP1VJcsxd+O9+Tp=P8ZdMOr%x_AY_R4|fa!VJ6zJzXq>-nUAV^3nl)Drb=0f zhzRCzqK+ZSce@J#mkaoOb2+viu9d2`jq1zU4Bdq-_tSF-2n&-&rGTBZb@84RLS7Dy zHFgi5#d6AHEKHrBZY)C_rRIEus1F>LO|4G7lK{HvD=;U@r-A|-lb*X{)Y>z z9C-fITpY-2!pN*>ETm*JNf9j2-H$Z)*ck*)l-aRtQw^q$NWjhH=fQ59ok5YG@e~C7 zNm&Xo=+W5P3awT?K1(dvdufGPTFq!`Y(P_UGg@0(V6$4_aM-ZnKs~-&U5?2E128Wu z1+GRbN-cU?d3=Xdhc3bGFwrWTY-`)3pTHB zqPiMds5NS6by@@j(3%c3(tFp~gA}@FD20ofd%EIY&WC{6+>Gp_M^TV}5+x-i$Sbav zeu~TLP}^Wav$+*kiv=oO5cGkOurwA@207YI`s)!HZbWii7*gZIkr*F|*w_T5XZAsI zO4|8`gc_jje>$Al$MpC zs5~FVRVPtiTS}!`>(ELHmDU&yC^azE6+q#%L$A}rpbtbuNHpRjQjr*)g4pPI#3#g| zPoGT0#>cpm#BS+}1$(!^da6^W(}9f})?@3|%{Xzg6vC4@zswA^J_LbbiO?9MpfiL+ z8xTypL<9WPT1t>W+K$UX`HRV!!)k`Lr3tO3I#^9rXsItjLsbzBIw$%k8PPX61pWK> z#q=4okitT~8)s79U2odB8Cy1ekKDrJI9Yudr44!XvQr^EJ_v>g4Gh6L=qa>Pt5=hD zt`zbdE;7P9>`qu)?P#T1)+VaxW~#NKv7!Z4CG}9d{E-ye7b)R=(XVemTBFlQ&}YaS zNaoHX5HK~Huy)Nl?A*Bvd1X1st3HG(Qwf5?0}v8pgdv>PbchcAl+;VCX%*S66?EF^ za{7_g)J2;{gw zOSvIXU)O;5mM+1%_3Kb(&V$Ln4B?bLE{Zmb;R%7z(F;#x;-Wn!tyTIhex&93KLg*X zC3hy>rED zSFGnBek&DHp_uv#)2TI`Qw?XW4q>ij4Cp%;*IsiShK(5N0SNq$1QzUWoQ{g}61=^5 z2|oLBHL9JlPz3iwSWG4f^LQv#S~wk6dQqMd=3N<9;in=QucpPPByFh{b(MK&C_4iG zmSgCf5P*B{z6}#5OrUcjeOHFzXJv>$RYf(HkU;yPNgSA#%0&5211Ls(oOZ8%kM z*qo$^pL+Rqg?&GI87j%!So}6Mw9*T)9%U!$(2}o3Y(NGU-gY;pPMrdOJr|7W3eLX% ztPs*CbMx@ZYp-C#j#coBX+mha2GPl32#F>uDEWJcH7yDBuADlPuorzP)neNUG*+8Y zQBa4<6HTxb=`ko}B<{KE7Z^Nv5LsV)-*t@zyBoe4Rh4D<;De9w+LF&;Rwl!cGzlSe z)~L}5rwgI=kU;OsqB;+aLb&_U`H*nDGc{D9zT^PRh3hfAZy0`k|3Zu%H-WDA{z5ws z3w)^u5U8%K!6%3HuwC0Uki`TxAv2{?(9*s^TP;ht7M;;VblJ@>gs=RNOwUUzP6?P#bqqU=xuiZ&aO z6qJcS+;tD8&6uVHEU8UJpeG0v<`?0$*I&hwZx_Ko#SJlId=U~ApqSU~G^yL^D(a(U z7w%-MlR0f;Wy89P29)e=MEMR2rjD42yYKoVhL6nb$)h;^Tvf350@8N+!Iv*vif3MY z1AB@%u|`}A->^hzC`c6(yO`VitI>9^nCrQpv@po2I(IEh1uJp$m6LJnt+!%ma!P-V zM7@uTA@J?8@9^Sl&myZ~J4Rd_gRn$@`V~1xsqM%D*k4WDOKueMqVlwuTadq_8oBH0 zap~k6@ax-tjkJu^{u+vUpFxa(_|QLDyacbl^DLSJDlq)Q7zBiQ({xT#`%$-1e?8tY z7nGgry}6+ohsY4xc*q04yz&m*c=OK?5y`;30cfgVcM$Z7iZU!%@FYH3wwoIIEJUTA z2M?zH*zLBXesTvp?)7CN;Q65zZ>%dt!H$m+?Nxz4-*YRjy5{;`_pWv@co3+muEoNI z3-S5-_YghK3#l_=DA1|RkTR~XG@0(ABMYLKH5;o<*!6WjJgP$Rhgr!{Cm=d_sW#V=1yzC5QEyT4}alWqk5_kSM7 z^mC{7`;pTqPJR$E(Tk}*fB$M&^1r~Z zubYN@?z*fkDLyHZCkhFvH6eUaP#*Ve^nAf z8j!Vzz4YJdLTKaesiz+(ALYB>$M_*0Sop-Fh)-1Wi~H{_^zWTMWW2|dFV2HcrWwO$ z#VZ6dt@H)DY7+~Sr``kArS;gev=q@E!|}wU3y_jJ%vFc1j;kLLkj?1)Cl=tnFJD9a zxjGD+5JM%ZBi*tehtZ>3DRCu?!Y@2ffkR)_Vp{secn6gHrGA zR0PBn`P!@h!PEc!CsHm6K+?EK$*5F*2x-#aANe~z|Nd=^yCEJCiGkdtx}N2!tH+m^5=pUZtTAEJM>)s{oQ7wfe4e@Q zAzhvB)MKh(?*^Q9rl>7=;&D9v#!AFb`VC1AQn*-J`Yh7D8$)vF6iJa2(wywApCGh# zCtiL2F^n2B-l4wKi(Cu=3iW57ehx1#nvbz_$o!TP+_3--sN=Ec7>TAMdBwZG&4Y2b z7oL6WWlWwnsplQ3R}6Xtni`Gx-v=MSs>7dP+Rdrt0`cy!Jh_%P>5MpwyGclIHY_@X zn6^=P>A6=B9ox61j#a^a#@7Nox!`du`1cAV&A6M4aWTyEZRy5Uu6c_1+~t$KZ7BlG z>+tr!pFw)&NY@;!I;w6X@WONd!gC+|6O(REM0k84Y%Tq7dKZD*k>%U%VRw0=5@}4o z`<_*~sN1Z?D^I_ouAtcgF}e=k;MFUEPd42RyADZSLx2WykmxHe`{ zt^a60qRb=k>c3t`M09wcJ&szf;SA8e`pQdK`0r&%oO;)w7wYn;l7c7hgXHm7p;k8$ zbMJltIY$nk0R{DIS4QBiH{Ztd?>&YIH^%o+s7vm88`?U3><()9?d`4Pk+-t+W$!l> zN*W#sMMljcQ{xy5e*eFBV&C2auKWtru{jX|VS{_*ACKU>L!aQ>UuBYZdvFVNfkx<; z-AQFPc<#pkJn%=<)z&)^wd1=|1^a2B{piCF@Xu%7NA&pH5D=a)s5SM@k16^0 z!h)AP;aU{ilJUp;9zu0h#c7aGzj9RsK40<$9)Ia?7;$w38RSBGpsAB#PK2!%fxg>$^Ttgu5_?jkz!x9!a&h@4-K! zxTvJ-lhvbV6#`E(Mf0RynsCO z9VGPwJ2v(1-9q5NzJvJ7|J{%9Y3&#`ktvrf$kM$g!q^61pNY75_@8j|*xN8G`8v!T zdMTo`%)_lehz54$-mSU7VnucjgauuO>oYHe&6I`RWqZ*ssg~Uv%qh=0W;}>a4MNsI z7W3Fu!8v-NLhY%xvlD?YmVAY0UZ01NbHWi87l76Qa4GdAvSN*pfV%LZe%QET8|;l* zOq?{q>9fN)Vx1*KW9A1VAxPJUYn3a&uYs*;G?GUP3 zJTNBZ4or=oLao~bYpWTimWHFBMp#-&jjTK_MK-ni7F!d{Rue2OO=xc6Z-mVzl?nOZ z_I4|pt&Kli-^`7%BYKxG(Ed4j#qf)N*8%k_(a za~dE>E5%6 zPu=bofb^IfF*?|nb=N5@w>*zLa})f0#^Btfsi>(hQ>ZzkLZ=})I2u}N?&3qQuGx+Q zbtPh~N4vW(lA_K>l7FCLdUw}Il&|s)$I`+oZ^JM?b_4=-hJX zn{dnc8^F@m9ZfM8Fm}Ukh0S9qF3r3TmnLPvLk^2gzNG|9xBUa(m1oh1ucev4XXuK5 zGGSNjy{clzxr<&yw&Q3JwwrT&;I($<=Aj&IcEMYwWCyU_smbO`#@(HnG^-H z^LIPq+#y(*vrn-^J@nUyoaPBtP4S&xKpRbs^PYGHZei2l6BPTC5bDa~bFmjCDkft# zmTxM?=bwLkhH0sOJzxk>P|jaC558$ugvR>!NT`bn)K11Ot$Pq6eVJQpEI_@njO>XW zn>cp{(s_|f-a|JA=cU|Ap{~KEU5{Y?H@D;C!z_vElZuPeuRw%f0;Z&1hY-(7e6@2P zo?7!5gMo~ML{j?`97_NIAOJ~3K~#ELFf`^;TtJ~-Rr(1QetRpP+w?9<5RKWX7sHP% zh!Tb0({^;r(LM$yC?#c2w-#J}JC z7$wC8PMc(EN6tfF@uH8huVfQarbl+${C?uy-Ju0JGZY`Xjq|*7?zt2(GWevkW_kcD z4Qugv?rLOJZ^Ji-RwBFJNJ`9+h&2qsuwbEp{SMo57h^~9xA=1JTHc0Qh}|DUgX17u z1vj@)jEub)8Nov!dcQV!3_>*2vb*ayIAP#olJ^btM&h(Uyz}XQnWmY0;-jg54?+Z9 zdG%$Oe9M%AE;fr~Y7D}MaB#@NHxV%;2m$Hsc=@##U^aEcsyNu)50|Ne{U{V>vkC8h z@F{eW=Wt>3=i1Xvr)6*7fD2vU#vsAiv~#g5*M=3}eJc@AE;KrID9z2yc>kk!5i-IZ z{`8N_j^B~ihGrO9-oV>C65d{cu+kMH!d*=87Mqb8b;qXGW~qdkTD-T`53Q^S*Fw{w zm=N8eQ-X6EO?5mDYWZ3;Swv%(@pyLh#eZq^VMq=igOrdk7|lnJQ@RsPWN~z7{Q^gu zEd0a9$Dq`D0L#8!ri@2zgBO9K!V)Z5z6dGjg(+oM&t|{+sos*U#g5FGaoD(T1$J!P zajMgLbX@hZABAhthwtM^r4BI@M<}$by_sRh+=`vwL|4b;`%@i1c5O4Gom;t78dxMl zs;&2BlN$0KT%@BjFTxw|eu2v_xg5cveaDW}m(OxG_PzA8FOhHFhw-DLSv`s~r^hml zg(=+HVX~FsU{xJW=EE=|_B`yY{Q&h8%sS6-q(z>OcCQF!)1WiNAP{Ecx71Tp_JWUI zmJ2J)?F}$epa=OyLhGqPGg-nS10{G)=wKN+PmN1N_o1v8@Mhj#=EpPjjT?k^yP2tK z8hFS8?qE{{IX4EwXC`3r*YDwqE3ZOqeBaV@IyhAIvTh*o>Z`9pm)L^fXx255IsFrC z!r7qn)*^m#5MKH3OPD%iYOj6mY92c$QXSLVo_h8rlp_NX2_qTh>o{esl~uG_$eQIw zmLalYD$P#q-@;uP4>KU|N5f~UO*ABGKs=X+k82$Zm(G-tf((=5viaL z^1#lOSs0T#5izmRy}FGm*a_dN@0R1$kG@Cj$ZO!?NzK9mAD{?gH!f_KT{;YNC;P)# zQIDKPN^)BCgILYy;a?_UlutWya*SxAbZ(>mJz`uu9=I|T##$q?tJ>h%NxCbFiJK?x zyd{;<#d_@7T!9>$qzd)weRu0(DHhY#u0hVOWw`PBYdTD1-MUgesjm?De*GrAvGh5N zyfhx3It{g7N3|Q#+FQ|R%wpcUCxtSFdvGdJ!bc+^AO`id8?fro8`w>{%edfC7#2AW znNeJ5e1jQxu>>FOUyO?8S~N2zV+eyxhlOPzH7pfvrgFIHyiifS8EcMwg%;0bWWbi7Tj&ZZrtGl}Fckd7`1d0mXakC`T^q)u?~+rg(c>8`iJi2%9b%hQLU& zcQrZ$s7y+s(g=$5$AkK0IsKfeU7e;Lb5R6LMiVw~+l0VGExF)XQrg_RIqjm4+5KU0 z85c&y@Dv~H`(h7@3X2gN7t{UgPdM`@FW3w6aKBVF@KT~MGiJGky|K*H*BlM zuQH;M6y}G>_IfnXzc^-CN4~9ls252HywFx;qIpw~ak1{G&1ytpsTFC-{)q4v-y6_&lfxU{$oYqu>&(&R{{w>d|xad)S1XOLWtF^``DCE$(h z@zk6&oKKzL{9cG_qzHxxb;kqejzf~09nsQ5Qg!%r>0(u|_kNo7YY$tuZbyFIUZgQ- zPT^2j8|6>$4`@dUY}`&-6Kpq#b*= z7U0Rxicx5$f4>*&r!3+cZb-DD!?9`G=diZ4kO)N>#MCwr2xK40K|xIxGSWsUHP)Tg z+}u3q{^{6EcJ$fVoXt7JqA((qWh-%fIaaAN;LdA>okqSraT#IU2(1DgF>)Q(YuJM` zn^?%Cc6(Tw7q)%9g#mor=o(Z~C1+yXmwoNrz6)kuH9}$&I#}lV@@9jiZxQT<059mH zY}mYcGj9LQ?TU-Sk=Bdl-;vw7)-`RdHf-6x4*?NrTqLN$D2tTiO=?p#G`C=Lek*)q zeHaj;gHMz{qBLzN$gM<9Gr72j=n)m{Mhd||FaiokiW!X@s73yc5uc+A&dekVbsbH#Ir#G{2k^;$3xIucD*Z|vT^%W+WDD|>~2z0Hm-J2oL~XaI{xP=NM{BT^QRQ!OAO(oglB zJlg5L>-hfk*Y^q@_=WnQ-Ma-_w>pp9qjw`xuRaq3Mv@sFVzxviDOHsq%08LXXBvg; zec!Qx2Er18P+=^gJGaQ;LH?u#dt+lg)^6HI?KzWbaqkIfB;wsj`}v-Ib!6l4#SlMl zOs3C7$GN+HLnSsB*bp+z7l9!Lj7`wOQg20Bb|aQ;$j76f72!ZdGaBm5sHmsL9O6me zlP9%hl5#L-`HG7e15j3lg>N6iiUMH9a6hy++fd(RgI?Q?raEyWXfPxx2tnNW^_<)5 z_&FqX+w}&2)V2m;!-kCxPcZeu-XUP7Cc0tUYJ??w|76pFPKBTl*m)V4N*83rx(#bi zb((tI#SqBPFU0=B?TAS7XMrteC?PKPfV~)wxFv!jeNowxhg~}zSEx?3q4i=&gYVJ? z`T&pQl^|hO5`&3)D+>Ai+Q5L( z_yMJ54cJoIj`XSFxb?y)BzQAgo1~NQUaR*Z?{_c`9XxQR)79_$2mwiR%g)cj zluM!%+w(`6K7$AJR}2Yx{62)czpSxGr#FN!fCdW`B{KLIh}r|=8$ zMzebza&Jp1&cI6Tf(7&UU>w{oey>vSer-ty*myLq~v}v%ThL#-htJxQX=( z;zC$tL}LRh)cN~%d766Abr2{lDu6$QmqzCStH}upmFqlO??)oBBXqq6hEZ#;u248o zgy*EEt>;(t^bRh3{^6_~c=|?ncnN#wUjN}KHJ)y$rb&H&Rs%d(YEtj%fx;v8Xw|gi zP`Mdd%vTSMU?B`rYwq1;X7srRKKwAT7<yWn8JKe(NKb#>e?P( zFBiDH#=d9I9+Z`pAtE9IBS(&O=pnnls2y236ju7sjy2O++7Pu|jkN_O6-~4O1X6Qu z#lFKCO+=t5w_T0Q&{NeY1z`=tDQD0vVe}8|B8#fLQKm0I8j9@M4 zUN$N6Qdm?DPs11`rNEhsrk9r+4jin+LvNU2AkWsmQWn0@XyD8I^RK?i!Qow8h*&AB zk~wKwZUUAp%SLXFKav78Fg00F)=Y95H!IobtZ4e=Fjl!Us$S?i50v7subL31w{x>l zj{~n;Fe1*2Wi&OgF_5mfx*3P_8T95Pdb(qN_HuJODk>{`iMV?CsSs%84qf(PVuCxd z6_pl17wXswVZA~N+fN;<9+%i2V5 zG$y6b#fYFt@+a^Cp$-sD{QA5|qKO|#=y#v=?ylIjK>ZrG0F zLNYdd=&cy3JBa-9U1)IUCV|(=Ir1H;!j8%d`J2Dlqr42t_hLqO0#Ad;CU1W|a*UOf zeGLxHEteGRCX)%*Tzw7Gtaju4^Uuexe)TIXSg-(#7A-;xbE-f7_+!?w?cLDjWmnTj ztqEZio0FRdg|M-q8EZD1l*ync`<%>gp^VKhtjFP8F62DNTPL)b?xYcH#)|LBKu3Wr z=}j%le0PU|e)EdGRpglO=tFOB#kSp*^mEGJtbJWji`;zvo92Hp->?E8M8g-xI>&!9 zoxtEsmG}d5ODjx`HBLrJ?d})?t^6Us^jSXBAoaLpayWd&HFLDp)YL*ZM65U+OHjX} zMpum8%?JKo2_&omzTNi{mgFD7wDHg5XNkV>HH2_+%jpI789Inh$Do z4Ftq<^vSwX)HYdhIf<2GNX{k4gh;Etu?`7-)Ixi;NQodNVOP|-7#ZY+-0~v$1x6z? zauSAxCgSz2ub@hJNtBon9Sac&+oF|gWDDzcFq4ADYO$uawNts$c=0<6H?dZddUB?- zP?0+=rwZv3Nu2DQ{aTGT&*w&$brxhjRyZ8w_d&RY+DX=H*<3gyR!g{`^uAg$K^j@c zmGM*#G>4?4m@JBmi&^&3ThXNV@81utR*R&hBzV#!+}pNu=guF5`WIh(L1CrC?Afz1 zdh}>A@+`yBrAu-3)mQiGHX_)KO-*o*>|llKRc9w$EIT(5?mmX&cdK$-OL|U1^+S_m z8fxx7VwpO69p(8C&7(7o94DHg)1t3%hVvTveMsQE&(VH+^?T{`EV7rC{C-dG2$a-o zkXveUCQNEyM-gZwo#rmOV?JJE!pfahxN2Gy*$VwxJVi^hw~-c_4lSXVD`C&^7VUeBOp{dk4UQ4Kf5djBAlHR#nj z+8Z#PeC;6yG_KlSh1EN&anXcu%$^Vd6YB*xTg8H3@NGb*~Zus4{b2gqOZZ^=&7_1R52*}E37Hljg**cF-+ftZ;vcR9cvd4 zjkp}6LwvA4?{ieqDxo3ylf#X_CoR|Z7H&*hERM0EIwaW5W;5=)?>^>i8UaNK*{Fa{X0WJ+&n1bZ}+6Hg`uYO71OeLLlE?M!+)Wilvxbt^xXASw(iC1C6o|*Vo zouend!~y%;o7p)!YQB|qEqL*>JgnQ-gbPzyhMIHQQ%so7&_G1CQ8T$9ym~y3r)be_~p0={AblYtlN=-S);Flfi)1aX^l)snTtqT zP+!~iJ~y#cnW>Fi+r2Pm=pS%n=J_bE+{v(~C|o`MK?Hg{gL?loOixThMe#CxXNtk7 zA-}||fW6qBFTu-_qU<>A0*loBXk~zPD>n^}G=~Jcn8W4s_19l3AJLvuQc`{p!p8&D>ar-B!tdDAl*G3t(B}{@8h%FBK&gdzi>rN6&9>|1Px7%in((j znntTfdG0nOYKG&yt0xb{5Y&5~fPl=|t%vHdCx_WV)L5ou2H`?#?SW+YQ0lHbqQ#s7 zW$~L!jRH}U+pJYEwl%?%0x=>egGIK6p`qeSY|C2(FUEyrBxlfkpN<`@PS{Fqf90O} zSd^QOD<-~xOQOdkG&#HD05T5jhhrl^^53tDi)Lc06vMxeybgQtWINOaCjrCjrH7!_cAS5B)i~4#Y*-Vjx>h^y9ApZ%dNZj-h1(nfBXXm zgMler$LA!9FqeS0n3$N8eB!bbkv=2M@je&a9#t=!>fvwBY=E4N)UBMPI3`u`AgWS13E z(I6b|-oXnQam@MzQ301wW4RP=^=t7hUD%V7W?*E>t+>*62B~e`;NxqIV9NSRY-KBnBnig|9(ZNOB3^X=N23sj0Ycl@VH~$ z`9mgy`07QtcW%c7x{{XA+eYv-v=rFedQT29Mwundjlg zal>F`U|oLR4%C}!xFGg=Idg2d{2jNkl&n~m;CZYdl4D(|S2+&>S)wnU7>+sTL?eU( z{aBOKbx*FlQms;nf9~y4F7i)I-x2|D_r|!P=ONC|2Ro1KMspjhA@Ua4B_CsX&U&qT5Xr_$J2RMFpq8yI?C?J^c|) z!mc(Yt|SNF7aYOpk<)Q$dMm2SKSptF77HNuew`G#E^C5@L3|nqZTb!icG0+FV`G01 z>OZ`>PXCbT_O7R&{06!FzF2SadkvK0ZSRuh^ zqE_auG0^-u5aSaMg}5u|-)D5Qw~trJSV6q4*gO@?6zpnSv^;)jG zQ{jjTzZkcS&0xIN5X6#su)6Xqd|9*;)gC1Ms%XH}_={0%VIZn!EQV26T)E?KsHIQd z-NPT(Onn@~D(jIJKMZC0Z=tHG8gV3G@@B0MqcNWWqFKmHx&uFVPk>RAf(apQ*s^y! z$|&*O%2uN?V>%KTOR%l_FiI>8dg~nd+$A#II7slUmR80mXra?PR#nqs!7jpCeBC0T zPt_`!`#kT_dC1AhQT*tg1-o2(!wokme)JPHeF>CnV#NA}4I7RV?5kI=R&Es#5OAtn zcKf)DKR755buHv?@2|$i+0Jx|G4xmKNvyD|phdB`$hOs;FL7!*YoN2}$KE_MZ1k}V zxNw&Zn5CI{@nk~s>pkZE1@qZ-pCDSjYK*0vA^j~lNwh@5qw4x~WIUXVQ872+o~Su6 zw=y$>RpuHR3z%RQh~epXBQ`J`k8ge*MsD^s&a0zd#anSrtxn$D6oPEjUuP0ouSYg`U=Ip%z`X11qw>L8D&_dN|w z%9V%=CtnFOJQ|GqP;0f&@9#;ag=9HR^-3&DLD3R?owW>Q);3hvY{cHCBF_IJY&`NR z4DNG~-G@58uqqthRLvvKmZ?Z7V@OGelbG0yudq)AJ{kO_7D!0|ss` z4Bn3Q=&)dy;hss0NK8z`8*jX!q{ej>JSV>Q6OT*3*I$1<-hTUS<#Wd!caWo;J~a06 z%rnm*JUkrNTyss&(K_J@H!eVNF%dYpzvhh3(d(NX?LhFdx_e>nbt#B57vYBIOO%{Q z36k*e^239-rNX1Q1b04}i*kzflXzx$YJUoQv1(W?P4MT$4+{@-77S`XJwPBfDh{PJ zyF2En{NnpfzPl+YoAt)+SiE@wN)jg`NFNAKw-z*!sAgZ`Ce$GkQ-)4~m!-qc-c`Iz z4<6N_Qzgcz#mwv$x&L*^MwUSH0cth7lS)g?j_O+Wt2jF`AT3 z0;#>=MgPF|gA1^QzH*(06*Nsd@adKv6tetxdkak53}{(=OXJqY?-_{4`stN*`*66n zjJfX4;Y4xc@6J?jL7-1)msw-oLCaymF6Qv=n8YQwT|PZ&)2B~ITwEM>?AW2Cya}DG zX#F)cH40hHiP7>s>HEiX-7suu9F}k2FLG5e>GjvD*~(p^O$m-P@_W+aB*|TVJzB4jfwtEiF{VrzxuoJ zzAY@3?Cln;xCYhc+6Z_VyvSTQ6q{>UF|yawg+wvboKKgFA+aBNR>EwhP?sC(8E9!^ zOor9kh$fcpmLR$|64iLRdGphOoraoshhP+P8=AvC8A!?qdRef&xFL`QSrjsF-*ND^ zm0(NZ8fLhA@qf-~lBi{3ieQ9)GD1Rv9qQB}!7e*<@pp?ky)Sm@lH30N`|m5Max0`E zhfV+hAOJ~3K~z_+{Ncgwy6Z0d^{;<*=s~->C?z=wwx(~6?(~%R)h|tM)0N9qj!Sxz zjegbJt{8%J(qz`MqFQn|eNnIM8iWMtZhSa2_(MgniNJz*@L^oYs+udVHi3tqisDX{qk9s|6 z1qXDA>KL_{>pg_UFU}tmqXS_l^H6C+8-gNP+x^-hsHi@K&ki)RCVPJb*tL@yw-N#2 zG*KDUh~w_gD`%c3DW8@`8!TpOrM_G|y4n#s^M;#`bo!5*+<`e(O6?b zxRxxK4DM5#>mv{s8;|-bBgAs4c$fNlXDAAb)mDj;7KuC;F8H3$V6pI8TS`&VOiLR1 zj^lC(2nnv;)na>~0Nx@;PvqoWnGd}L&#Q-!+R z(LXQtncgaSA@t|GvuF?I{Bs8$TUvoOjSr^9c_UCm(^4P* z7{tHc(%b}1TP;%4()$w{^|-%OZU{L>7N0A5%~f^;$P*O^&zCz|Olh}5+`pZK+jiI9 z(*u&u%#12)@}3cV&8z&oH8kZ3bCMY?X;(hFUfc z%{;tfaScvV4zMA`QQ9z(eqC9GS~Uiu4zxym+U0C&3yB8v1_QwkHNWUw=t_n9(!g2D zBQmHaE7U+k(8BcVG8WG29%q3R*U_;b9ek8r zej8FHb26%1NNCZOBQI3Lpns!xQj|rIg$si+9Z56M3TB|M<)eiEQhsi5lZpRiYKNk# zX(-5W(c$?S`;`R$SGK5xP^DU=DV%{=`jLHUi5%8370fA z0xXIOdX}8rkbWPICe2--B(J$b3S06>Yjt?V451r+MdX!E8Sa!=qd=xcY8nT;kkBHs z8%>4Ze#CInQmipMFI9Sm_MOa;?k=H-I(d^eyQqS0_>3yfk*Q4$EY=m=pe-$~})l zzB$pcDp7YeM!Bli5hGm=+9AdRt>08nm&=TvFwOSD>qZ}?_c-GDuV~lJhlRXT z#jJ{dHL&vAL1*Q-OhN}E;I^rb3>;44c2@@~g1kQ7MV}+G=0`Hr)A}8xIj)HP+%V>& zrKEsI%vO$f*Fvdmh=ddL)GxkCfX`Ymp~u#lc30hBsLnAaGs@nctY(PLrRw}!fw z)UK6L$E81+^_{`UH;eHwuxB@KVXrUzof&k}-O#TmBMWoA+kI_8#LPku_tBRl5NFgr z5&jwqz|u?XvX*>Dj7$^Ve`*r#- z;(4D?-ZtK6;;5pUc$#lbXzy8sq*_G5Yemn_HYP zdKgS<^k?hjdwVK&@OG`)X_n|2)FbFg*yrl`Yx|6(3haLZ-KU7|KY79CYzk4GVvrWW zeMRtG<_$Ahayb-rGPjKB_sKPozeC{mpKrW*mLV%;&}!1*`mu_x+;QmH znx<`RZDqP0L0XMYTvHc)Z=o>R<+yZxv;7K3O8$>mK7K2&>z`T!1qdEuI5@Zw^2XWW z*fh2Lb_ABXzIi)(>^h6;cU1b0y znb7XKUxu^oB1b1By0!PBen;T2x_S)KvpbMxBZMzRkPje+6fPe=812wl=Q%48{=2X< zY(mCM;ua1Q+du#zs5fdr=Wz-HD@-bh;_+>SukrNp&9!Eu|B+)e{4Wxai}eYwdVB-* zvmfY@c-5z_5+|s?Qz;bxRm+-s*VDl=daKMNrdL&oFLVa+Lh#|F5B*rRK%iNFMz?K0 zWwA8a=l*3*rtE30H)7eFDfi5}N4 z7M*uN0&o8*d#(L9%cDv*E%4Uic%YRJwzeuW3X`2L%raL|`H8qi<q(}fT!C-1aAYlBI{t_aorW8m=3kFdU* zHgMZ6`&BsYqP_s8V{w(smZZJDG59i(#7`;;d<$_`9*)G1(rs3x@haC!~uFq1u8C;3o)!+%aVr>z_gef^kts^1hgKbCA}nyQPM4Mz+WYFW z{Cru($hX8ygWTCXW7k?Fk*t>2WTIvzhu60Qk7GbR497c%)zY z!WZ0m%hQQ_2#4nEDyT~1c~^rRIo-KDMXaH1T7)tSl$~n}()8kE^Cm0onx?Aa^Uq%Q z9`Q5h=0wLLGP7M7*a)&nYoVzFXHz~&ukW`z4LL@oo^vvmBXfxUND4@=MmrF9BH#2b z-R-&89kiqTLf^fdUe(KiZ8)5VSn6KV)|iNXq&TRm?3Y#FiY%ZO!538M9$G?byPxUI zuSJyTzxq8kQr)=-Q}cuu8$Ft2TO9epy?A9cs?!R%Y;s2i_6mFA;vCfrJoJ6{>DFV6 zbf9F0LMpWpl9xLew>&)H7)%>97w&yd+V2KaX?rYX=RW1<0_35>;XVNGU(unTI4Z0^ z+a!?hx|S{3SkJlUKH-_fCxb z0w467$rWm713;pWPPW4OY5yNSc$F1W7o{m$93HLR0~&ZVc;Y2P5OZ$wfufeT>?b}& zyT|we?9$j3nviWBwmhlV>2bxci!Xd#X#1ZTnY^ts3qj{m3E15D9GmW+84QZOgk(^n zqM`fGt$;8QfGYDyImDGfLYHg(ObfG|>2rhdRK_E%Ogitjh27NtwYA*&CEW>C;-S$f~%rGzu@tow}@^=*F6Bk(H8l5-d75SOtNY&X|qfX@+p~0 zE8Zrk@3w2xXslCCf%-;@;`P}Kw5TPl{NuSY@^Gbt_dx_=>~pvJbiWK zmx7fOso}nzVB&lT1kdyL&vz@QQ}1t3o=S0j=Myw-WEO~$62o6}i*~?Y+PMeto>H$! zrV{h>9Tp@^w&5BuGiI321}+}#7fn#v6W&w-fk)z*SG{FJ*S4NeNfh$Dtb%9QK`jdc+UjFaW!(`txxAAW^0_@9d0r<$6Q7tUTj zlv^f9u8mIb7;+6^`Y~N7bJPpzq03WJuCCK893@!LY$pk9jD|DOOmyy!AUeeO{C;eN+rRlq`A%n5f$qhIb2nfR!Y6X>W(+d6)%M+I;q$5?c zLn`t+RCy?b{WcuJtqG3#=Xh@#X-fxNl0jHBP!xWH8YtWC7nd6zp(sXM`Z_F zg{P-Z;Xy9=uNxnCn=i0_D#h>V^jNZ`=#13teDUj}k@4m`_YIY$76=1ih@^=z+q3EF zke7i=zxo2;-E=+Wd)epnvwu5Rk-aVTSCP5#_3YCqmDR*h~?hA$RR!-DT3uD8sDtZ`19KEQ5eg1ubikCAsxRO#>LC-*R zZJKw`jX}@N-BLor<%MEdFmrv%a&62t{zz~e?Co>8e9?wuV*?p!?NigwtWDeG9Yj9e&@`4$~j&037=`&UqRGX#*p6Z;FioFPCAg}Li~ z!}{0t{U9u??nvFDahea}SzmToU-G!Jf_oV#z^4(VJ|p1Y8Q(0-9!>~*+PB_!KM0wJ z+z=~lUQk?Z>%IT^Vv=R#HDp!X^gCs)hY@{ft`o;(b>drHsVZlOL);g)*e@4Ncc&IV zXh4ao`}tBSllMXTS4X#J9>4HTMrrPFR21Q0vK|HTuT%>AG-iXyp%S~EB^kGJ#t&z@ zmwtWzqLlTX&Q#T-ChhZBKzO*qbG~V#n=C;Ed&hn;gq{8#+OZhi^Bk>0rwa+FsWR(T z`?FtNk3IBECpjv2&@u>)2_-^VnhvyTTN@t-9k>6#Q0K0v3yu4wjWQd3Tl-aoOt|6ieU^$jDfyxowPs!OG8*CCqZMZMkzgSB zY~t6%L(+^YBAhL_Xj_~S^n#!Wc#p3i{8?rNQsT}im17*k=T*&J6N_zi+D}W`%sLxI z5MeqC_p1m$hkdRA)zGq7BY&iSN=^cK56dwoYE>`J_?0M$8q~}3riW906s{EzW63 z7~6@dIqNWvx{BKlE2P@4<)4AffPDd_YK+)2P}XZ*5OLFaVbEx zXsQ!vunQW?%OrT3igA;aUwDYT?gD{9L6E4MXBzJy0rD7rq5sW)&?gLI`Mok>VKLj8 zM3z>vLBClWF<0x*HYoNkpter8}8jvrF@@DBM z4vDoNw|vUwndmecNS(N)~ zxJ(V9W7}no=j(HBBPpdUd;R&upnV~(N3Ro`rss#yex!rtAw?&=|Cz!?)9>^qLp(%wceg}!9%Yr zb14i<>zsE~qP3WIA*B5EJK7ZOw7a(#e*sJLOo+j~`LhYRjIMS-B1&K=i|`Bg%D{9; z{!YYPo2aX+IkM2GRcd^xCqj~2{MUk9bw$L|+5`dzk)IJM%IAXpbI$Wlw$p5YoIssZ zQ%ehm-^V^-z2o6;^040Wa_HRL+_sOq$=jFxI8xs1DlbbXYVf;;``haky?#tuOj0JD zpw)U`s7U>0;iK*-|1?lqpW@*tQ-&cHVRmJ`rSQb=4{KH|1;3$_dNAqfY8Y2a zxuwKJ(5}~`&XmM3}DkFP@i&O0l}1%l&p`xFo2WZR8V( zIFM`23G%v7ww{%bP}pI60_yJDe-wZu0(TeO>5hEJ1@Z%%8&}3d_cHG9ING2qi2N@< z{J!q<5|WdHe-gO=2t&Xh0DL`hh&kys7(>^z?ZKpBm2!vgBO{@HBve^8pwd^}k0(}YsMIPR(=O#&I^u+c*v%XsI(r2`1CZ;fs@ z+It7f=87P_lW3sI1G^D@sh3pI-GLAz^`4iWXeuBn%lei#<2Q(e!o-B~;`CB$`S=fI z@#^4w&E&5D#2I8Xp~+l-jM#d$c?jtWXXpf)8hvCmh+AO1>CWjNt8 zwAr_GE%Uq6G*31{2drmu1LwLoG@4D(Y3Lx#pK26HP6qeEkf(lebqh5SAm8C1c_KgH z=aNIKC8Bl2LddDL8&SAwib`phPR*5cn5tm16#{XOOIUb5vNMPm5Wq z<<}}ID(dV2{4$xppu-Re)q*d^5=em^Wv&xep6_BVE^N`_q`<#Rz9(nprMUw>&s$-w z0AE}VK-JrqSCoUEUS3vC7{~S-W6R}gL2XCQx>;rPO&uKhes+$em=#}s@V%lUB%T}VSUS-#(&{PWjVH@Z&9@; zO^RTi__J*c3G^C0(b;V^!bm+#R`USCfiSSV-GS+G*s#@hoEDZM`S(wyb5xZ#MaAY^eCuYvm#bGANGrbe)Wq^0!?724=khR!2%sS9cr_AALBc`@$xJ6g z4Z(-E>-K%oI9mp>6>N$TCM7RFy4miO@}2AV^&0v8uHm&Cf=Q&+4CUyiSR2c}hW7sc zF4B|7Y$V>Qr$fuJr<$UQbosd-Cop1F+g+X_*t7 zG&TCu*Vp$35lRKdp$v$TB!FaoWZGEJBa~4@kJg~)qZeE3<(!_09Y`y|?nG=&`Wi#& z6UpuFg`3QUgLE=GTwe)VwMAI}(p201r1iI?WN(tOSJd0P%dx)U#TDhkum;fPP-M8p ztypK(tOcyOLWIYlhmH|uJ}IGaoGeHuMN1Ylvu-|fAf%cDz$~11U#x#cx#aAvb%l-4D4{WWzvvC zp7?lRdlTi|$Xx`QJPPh}@F-4NszYa3K;2^J_m{V-A`^k?LT1vwMhJ5LEs;4D$B!^N zyWQXtLBcG#W{noTnV{HR{$uwkR5m%y4eRpC!^*1s`tbL1vmMp%by6=m#@~A=*l(6E zdP?9JZ}+2!|1-Keg#Jgxm1wDqjKvAQj>Y*fb0=)QtrzNbO!i!^kXDLzDOI{K z=ZEdE9;Vysi{Dek_$Vs-wF>Oy^y344!UQ2ulJg;Mzzas&$=X($v*0`dhZ*e^`7(j!y%~ zaep(rYW$!m`PnfBwPf(2g3Q^MKRaCc8~EcLDNW`qPoJ2%_77d^f^e=2Cv2Ygom3jX ztDc_TaIbHnewyUFUC--L(~lLnFkL}yf2IbVCsjoD)T z+CaFjk@q!EAzT@)sxxSCpO;vfU^<2?WOhZ7#Jd;C?He)z1e4Gm}z#Q!#zm6?ta z{@||H^KGl7p9G`e~DUA z?HKqSne%vxq)r9ZKtULaeQ=(YaU;0~rK;#9RGYNAjNvNOtJJRr;^! z$h_9%^J^&&P!DRw99&o*wA@Ni+GAZ8CxJLoguzfMi&{4nKIemmJ`RUX;l7P{5Ri~G z!M})!i9bU#U*@HyrP1ki3ipQP8TlW3zaDF8xMX{~As)qNgau{YoG=pQP9$Dp^j_%V zdY*7TK9^OD$;y)J-X8v-> zbqB0xL<$m;=38F)z}d@pVE&d92!cGq$Rrs*DP~6x2oTo4576>%Y)%xT2W9rsJ`sdB z61=J;mWo(c0f%G-Ej6$vn2KX_A0K(quu%d`eErPQMgd7O*g z{)0Iz0p0<;2Oji{ad}u*RizHW_3fEvT(RoE*9h)Z%A&9Owh=hZ#0bGyp#aT|pxDk7 z6xD?b!@P=eS5#NH(cn!nH9w6;+&oTHqT#`~QUFjrP8h)vFtO{+WufQye3JdSn#-X+ zl99_QD~*IQ(5Yx?hiiRZqJ)_@+NCrBF6YYzYYiqa*8}axxv;we;Smwo3acvp{P{O| z-cELExRLOzf>2gCvei&e%J*jS;!=F`m{3g(*@t^eF&pSo8BF{Mst1#uouSzMjAH1@_sDi3@65r6|}^>sYyom%!V;BqWV%L@aPqP^<>XxK*y zyx>AYAlx73Bplu^Ta8}t4&`udjf_Z-rZT{&iFtv86~)2!$EJ3zv`ariQWTmV9QH?O zi+%FEuDC)Vm^nDqi8XP`N;3C;!n`hQa%6)z+n@-lmx_<%K~g-@Qj*k#Yu|*RPrrP! ziAb7R+Z)bWs?&hZNa!C0-^%yt4+}xX`r?!PK=Gc?9v(tN5{sBOG!lxXmc6@ zyDmDf(t1_R|#uA%B97oRLz8;!_!8aGn9FN-I;JUkQAR&anD0)al)qA{ zlP2V&Mswb~ALm0wL5by|Q~fbHF_G;1`SBsw^%wA^2I18!wDpM_0&#{!XwWzE*=%n7 zBL`USh|BRbokh}+b8VN+Hd|pe)A{8J)D<{L@K}pEpkP<1Lx6o*8X8!_A|i2>U&qnM zNwNXy$K+epPN?@i>3igcx>Ju}OF(5&7|T2A(Tc$hO~5+XxJ=_dK%i(wAHS~lQVFxwuC?V-6B`TFQ{e$N|OXxe8XfLkr|>`3g)f(CR;v~PV~ zjwI9YASJ_LWB3*dmYct=ENiQ*6u2EKP@UIa9z;p+okB5b|LnN9S%*C3jB9!Ce50(u z84!0vQ%u5c6;QN=_j)y5-ED)&xahukViCEE3ZUrNo_vEk%s6l`_JjTj^0^X}2URcC z+_^l%@jqU$64jAb66Dp;4_@5vrZYEuPZZ@EXq>IkfXa#OR8-as02%7N6XSGjNr3E> zMTc=)+8PJIge6%(mZInmP*p`Y{Fjl8jbwE+7QgbK2HAk4x4P48we5C{f@NqEeD&HL2$=xL^F1af zo;~gUB&0!WsIRa8&G2cGrW5KBH^Z}4_x8b~YIN-sj^EpVLgrTmPz|c48%qE})VSeE zK2Gc-#V@vidC0yz7DG$M32=p}he(U{Eg{GA-mkA~iHbkTdX|WG0vsplVc-lMF=chw zkqcAea5?0-a)H?{aJCUiUf}bW@oO0M2Quc=(O1^!T~}^jT!`%Ol*rcrl!IVLLyX?ScN(ujmME2w6_6GF7oo@pQ)3H} z37e0m1~tbwWd3(5-~o~A7~XXa;9tMGzxM_Ls?jgUUY4x>^Ku<={{QLRl7BWfdf{l( zZvSf9MmQLREEo&qV@VKhfSN6w06-)3^HsL((Ga6tAA$p@jAc;S-B4wLTf>0rkwJJ& zmX)?>->1vySoN$(L3!lWycJ2C?)2BQeojAYjsKI40y35{@D3lOuDWDSJ7cmpgZ&;H zm8D7{=b)XG_9>)ky1Toh24Q#4w*3)J<{Juu!2kK+8Czgn!Vk4=mmjA#*W^lI(bpe{ zfbmy|$=W5H!N0Fz8hzEd4nbWeYM`tDgn@~~1?oR}`@{hE^p0ad`5Nu4v}n%LI~PIY1MKsA+<9_`T1?5^hRh1kwfh9ic$p7t5O~^1^a%T|yY5Bo$c%56b zMQXsqsm&}${wK632?&f=`eTP9bceMNM)L4IEM9Y%<~2lXhi#l*)z0}pO0SjLggH;g zZ2C3`7B>_k5FM2Ky7PuV{5?v?W4W$}7|vUNs?E^|cVx)&p}M-NA*@>2_X}S$(lsae z&b?_QiIkufRtM{j_l*jFF&d(?@oC(fDr2?yt0MdYX{Nhh!9+BW=|D|moSB0={@>!0 ze)zo)HUW<1fApjE>NW1ejstdeXBR&`StWg>*Rnh|g&i445K?|!n1e(K z#p*BE*H~Q+0@S=6Uq394P*nkP&`J)D{brrZHW^bp3Tbdb3ZR&PQVM%zwLfZ7nYNfd zqn}XD66>S{Mf73blLT^&(&;=j0(QsAVaokV?0n1 z+q@Rw92p?yd`O>R*@8`Oe-#CVD8L^%zwReoF+Ypam1s&);<7Er*NZcHG8ig_5t2r0 zvuajEySXohX$l2)k)kyObi806a3f%`&JV2GEUfVA;VB;_IhX7FW+gY||JE;sv+y3P z!Cpq!wTz279S$|yneI6_ym?aCCtF*bgfbI95sDl7*X`D+qW>w8&c6h)0VB{*wmk@FRY}6 zSBQ!q9@{vGOuI*KXxpr5Qrl5gH0I}P!pJMUc*)v_h#kQ_b;$5UcOTH zkuYVIqx4;#`zvsGA8RRZA7E*j_0L4TBM7NOSc-FT!dAg4FJ`E0JVYZ};r_*aBo8yc zroEki8Y_*UoC#=}s(;t|X40FwZ|Od`B23JMwXEAZU$ORYSp!kM%ywYa_2Q(GC`q_S zu&a)k^?+sr|38CYryQt5o)-Oe^~VJYv6d@%660tuD-9z83=PK=BJsTjzw>r8YSv)b z32`ucIjoRtToNDkXVwBjW!;mHOTY-TDA;vT( zqPn&t`cWP;rYnz`nfO5FbE06|f7Vu79-=L`8)f-1H|6I|pv-ioeeH^0g`jvK2m={t zqm{M!Kv5iTB&Du9R826ujETU}=iF(mJQD&tjN$s0r?AMjhg-fmOx8YM=WT7m{kKKCx*KL>97HK%5SJawZE!m~qkn=wc2>31hK!peqV9PAK{H(OkIY2nJ#wm+UX4hGaRsG1YZl$mtA&M}e+M9}hG&Pnt!} zX*E%qIG&8*cWIn#-*zSe@3&`B%e3WhgO7wuwbDd`;LZEZ3e20FyiM@?Rg9@bf1X<@ z<{P-zz>ZLUlqUW)M7w6qc;!q`<$)h+{BLwxmYqy?SG*cUZLEf5)*g(|ClNnFbmY64 zBVDB8sq9Tit}GwEF05kKGjA66+%*<;ElZ4`c%N?e+b&xl&Ui43t0r z#l9L($VLroa+uTj+{972w(dK4%+nqIN8_H zd|rP&jYFs1rqMFA7O04KPX>YlMGR6?ABN=GhE`m4=+{_?!f0nTjLw4ddDbAzIn&Tw5_^e$+oC5#Uk>#e#O*yHRVkyd6D zkDnk*uvZ#u^#~UZ#-K{jQr{+UslFc_wcc!P*b2|J&tdVf{)s-|HQ@O4Eu<8S=v4k# zEX5ev6PT?E>s^WEa*|unUSUZ9dL2UGgI^vs$1JVmSoWKsrRt)_YS-qY?{qH5e!CC} zkTw(!l-E@NKEGNG=q&~h#60W~L!KYrZwZLVuj)}A8Tl7N*=Y5|q_&OGFfj41m2ycz zQ2ucNMSI>A^q|!JXxF;uCV!cR+=Z#vQ}-h+I|JS-7;EWs=Ut#r`dxh|dNwW6N+aqB zW4UY`!=^vBdCC4-W>n<+9m{d_pFx7+d*&qz1BjL=cB>uOdc*L7vcpOmWdSD-QZ&E5a) z7#+A{4VRS@HP=8<%Fg|_2u?Rw$lP^ztX2V)0I~EpI2Y|wR0OA z9C*%MslYHI85r_Nw1W-QyEm79M&;oI5$fs`76$E=`fUXP1YCYRRtN2_X74Y*UbeOv zEltYnpRK*ttrhL8WL-b+FLT>ds#?1pdY4XXhrE9~>g}+Y$^k8o5GBy!a2xJp*k4^Z zf9!=uaGI%c=WZ&*5q@4XR3*)MwNbWC#;DHL2J*D)2-lY2)dwOzi^Dg5tz)!d@idh1 z-0r;{&n>R9(E4#lB3bxQA6hKt?Pb#zuLYn+9#2aAovxP z_F9Gd$j<<+6sWmh-nHlj$55ipS+r!Co_iu=I>d?f zcB59l|5RD&W>y_x|EFIUSWy&kyRmc@$_!CrZyFZx;OPaO7I& zB*VI^X1}8Pf>Y77J6`B`|5zx6RhLEVUEP$zD)Y^!*V~t?L!&ubg7Yh+N{>UQF9qcn zjTyHlm%URzfdB_smL1j}fTq@$_$()DL1`b>2;d%5PZqUV6DKP^i<>OuK5#7b12>I4e850FTs04ENOYk z6yisCAap79AWwYxM}SKT0>Do^Z&$9#N5h7%*lV0to;Znn zh0bd&jNZ3S=FtEe=H+`b;ollRZDFzWqPnWs2ronrS$*6eX61|AwGI02OvQm~44~{o z_S(r{8FhoEN^6uJcKqtC$?_-EQ-*2gxZ;RY-z!DDNKNog!noFvFRyOKe@9d$aj~Y8 zF;(W2FoLI2Gck*2nEUMDtzP|8&ynxJ$_jLWeW<`-J(t>vH_{&`hw)E*2w;;FLhp}m zaORQF=KYZG=AA(2&DjilSwc6#yj2!^fA+87RWfMDqBxpUkSMjENgv}hvO`vOJ)m(L zMOmKpB*1l!qSO(1MVd(xae}iXUc7A1^Zu6^(=M-AEj$Q(|A81e8s6FS(9|MpUksju zh3!0jlw~4+?8nYQ5P(1CzeA!D8EA4~rUKLj9m(E3uMb_-=P!iX++I;s$Cml0~EC;WkT4OZFJ)$R>@D z!_+Z)Rkz+sv1`_I;(dfRSQ@rXJV9^pg%6H`GaGh5MbWz2|ab?L5azL z`b2Dv@u&!jdbgh+8x#Y^LJo-JaCO_6omJVNYj)9KAw|EZDA5;}A~D2E%`dXDu?X1^ z@P9c-&z~B27sZyfCz&yoSWyTI?*#W}D^FqS{ir9Vpb<|c>)27m{eGmnQlhWiihNl# zzX0e(d*PrW9S5;W2nZTiVB$$Fd$KKY|!x3J4oQ_x_4{xB-hE)M~*h_ zfy-ck)li*>NpuA4tLV5O`II0SkF1&C@Ylg!@aMrQ#(HP#-l5CL+2>c=faPwt;`pGL zL-v3eo6-%I{+AhF_JslLzY7>W7Lsu$pfHvbF>}Mn z<+xll?0G-vQWt-{?lw#}cD7@d*bQ&4RCh%yEB9(_(kr7o!~3qwPlqe7n+!L47^-|K zu^DYF#G3{qEsXZ-1+`ZzPCv{$A!yFDlOGq^J%4d<7>z9=dO52hZSG7gb7|_iNpY%} z&*R0gQfLR!+W-sjeg0Lohz1J$I1e;dPRK41VOP<=#j>}kiw;PAE^i+Sz3NbPHN#rd z_u_GI;afWq`JI|%_G$Be_`<=v6gZWsTcZZvSXHY*{bhLqhdr}8i~0P~;6jFU1Ri(; zk8~ue;j@LLpxirt%YLh$R)rtLK)79gwYxxRTO^jRL-ErvX?AGMqw;nq7oJdS;dzp~ z6V{>Lq|JU^RwMp1fHb`(*2dj;quags^hY){=5D2#FUDt%*KSNsXksu{wZ~(O)$P!R zpP-2zp>;zj;mKdPFY7r|XIE!%ZmS~+V0QLjo#e-Wv06WQKDcMfX}C5T3cRQ$7qy(RVd49(=iQ0`j_!P_UJQ8u2GllZ*jgX@m zVlHj-gglo$@Y0fYLY~Tw+pe}Ie5|_x0|AnY8Mk2_+1JXnkiUP8t=FuCl?*x#(0BzJ z*14OP0{NP0hrT^Q;%^B+VkW+6)C{J>_>efK_;Q#%Fzc958f4 zjL(%z+K=SR>Vhx&ch$OasM&l$EVErm2=&L^Qn;3d-Vs-#oc`9D~}9=@CMF zgY42;z5S`tXhv^ZtP@*q#31No0|p6* zsWxPP|F^9i$0*`17gZ`TQa!bE75qU;6Sb)m0Z;eZe5GYEl+z!$Uqi=sQKWb&hni{MinVNNo? zrwO+nzAy6c6(0UB6#!k@;TW=ZTDd8+f2EaHggS1TzSI%jR7+D7R}P}=ogwo`Rn(N`9@xuVr&EEOt>p~-j0OVu+?@1qbw zGwrOCt{dqD?N5$gdNyZZ*APw9}b?~;4^j6Y6&7|JVlFwQT1y2xJ>UvH#?RE?1gCE_jUj{Og|H_&dH()X;5tUS z@fC=KpAXMANTucv z=4fTs)rL`Rh+wvizi@6~?1b*1$}GO&16WDn-5=Z&?GuBu1#H)lGK{ZXc!W(fzf1a3 zL~z)Ocajc4Yu(ExC;1W8CkvGHR@ADt8)0%x*Fcz1utq!8wkh@QvW z(-;9saxbj3&<*QQ%cA&VxQ>6yEVxq)FxoST(T&;mxnjSl)CtjYNYc9Z+ZW~TkB=bFSE{BlXYfx`DTB6&-|EHbRNw9 zQU`Uy1I2+z0g!V10#2|HwzTByxZIRoo@c=%ra@7BMP@a!U0UNuFPzd)LT2s=CZsGQ z^ND%af+qBvUtP#pk)j@piK))~v5r2sKvy{K(Nri8bH3?p zQc4UL?rb~I42Qe0@J&0#hStTKyl?@?%h`kGM00)r0hZuarK@a4LW_hR-Q5<9>d#S( zW_3qIJ!Q!Ikt54n1kEH^@YQxT)QnQ z*Zny-IihE52CDm}HnKCttJWLqJ96I)DY0|EDCoT>egdg2->daR!%@S@$&#qC7tF8W zg>T`kYThTUiieqtd4CU&TqvhHWzzg5;RDBPb#5acEIu`@xo6yS8P!qpqxPB?*M*E4 zIA@v1FPvV!XXfXGF>*byT+?S9_jFjF9ni{BxI&wF?Om`>OTmxE?xUnv`p0l=Gz)yAed-+eAmp(68b5Y0rn^KiHPQ^AP2y-rHB4xU3PcPP8)%xgk|MU#M0h5M zgWNCNo3dZL=gZA?k+WxB>vv%n0|4;O4p^eqk@NYEM8xywQe(;)RnW^tR1!e6}-ecuYB)0nLbn!EJaR>JyGeq(~l^3YtMx8 zK77JsQc4x4AERu{#D2s0cvq<$*og4#F%8^eUTV@|EA4)R3+qLhglcB`rvxi2mF^S$p!)D|BN1}qLlD|J{A z<`3(NVfd}-*eBR`{6*RrNPHWcimPYRbI~qq{hnKe1yP%5ar|c2=Z7TfiGZAylLI_~ zu$bjJ{y;*r;Jt@vkS`jt-L`wLn0cmu)(RBH=uY=<=K7hQ3l|iy`V-v6%k=LlzxV^w#;DY%{vIGZs$NFwiWd09~iV2xl0W9 z=R2RG^j_I~Ybpv|K|KwvuM9&sYJ%B5N4oRzzSvhnX&N<_H`&2e79 zIUz}ijdtgl+}AAT>pa4`mv$|3o`6_e{miIup!x}k2tI2zepF`!yha90@~SShS)#MI zHx|Vp^W}|LM?YHTv#?B&;u#BG*!0^dl$)6{?y0^KR3`5km;z23FvmB?kd)(SntRbM z_$7dC73b73SRL4rz)57qkDY36tt@2sXIWiKOa9;^JOMS6)$ppN)IUnrZg`((9}c8I z9?Mm5j%+a1u5A})G!s>h{>_R>Dc^U2V#~>~_QQl@%=hHzMUzVjc8~Typo(+aZ{?_k zTM05`l%8$Py3IGGKNgmRdGO+^=7TD>TH74U&fyKe8iru#H@|^RyGU(3y@8u&a(=p= zPd2@AJANCILOv2hN+z~%@q2Dy=LlSM{+d)DtIgTuOtsZa+#l?z!%O3{HV4PBY6Nig zPT*1T2B*DQjsPa=^s7=+J-%0GEFX+)?*>^=oFz1cJX_LIiR3S*`?GUKkE~qlUa2>9 z-%Ks(v@&7oP_cV;dsET&UUmXf2V!5nIAi_JEkT-T3LH`shV0$J<Y2%${f7 z<>%Q5kaTUVlhdYehn&KrK90T1|5}S$V&)Y2a+|T;?tEL$H?+F%_{XPlbiN^VMK2*XA2$cGXQC;k219dT%6U zC*)Lxug9UJ$LcRXL<39)h%pJBmvCox6N}$%?>`;1m6VneJ0sOK+0w5KOlTsASLhgB zB*(zQjnO!o*7$)>Gph~9B>XzUcWS7&RJ^S`rf{V(<5YqC>p9)$miJam(pwZr_c!#| z3EO-aucMg*tKvmd;5qTavr{)B|`zR->CjCXoc0)|l_%qQl9 z00aAMrpt3d!dhF6%{r0bAl=g{Dn@^*BEg9|QL>=uN8&}^GQ%z>yPTk2IfOTTs?O8) z_@oX#HZ-7(i$_G{0Z6Z!^A$kE{Wadjeu;7heTkdcOvEe-vr6+4t-&f0=WeTN z^23r^WE?S<78qv9$RgX9-O->p3C;I|i=9%18A2XBc#Av`0Jv@7-v040=uvop<`GG0 z>GAH2ot0y_)b#Yif_S7>a^c-)tT!@<@dqEWAjrTOemWlp3pYh0R=aW*avoSptj-ix zbGpxbUA#+J9H&-*UK}NMR~krGm@^31#-DBAljOFBx@!zi_z5V#)CTW>6kqagv5#yXXY!l8Jd2ALy|b}_=`h2(JHXA-r@{Z)7~P`B`%GX8UAG$)WYdu4}FBYHdnr6QG)l*Iqehja?4w>IL5OKN;p<_cXc zUjPAS3N(&17Q0qX5h1U?wCulF5(Hs?>D?h!K&ih?SY-XX-+2