From 15d201da13bbf602c998366c602764ad075a48ea Mon Sep 17 00:00:00 2001 From: Armin Friedl Date: Thu, 30 Jun 2016 12:14:03 +0200 Subject: [PATCH] finalII --- Makefile | 25 +++++ _region_.pdf | 0 _region_.tex | 284 ------------------------------------------------ upperbounds.pdf | Bin 227332 -> 227331 bytes 4 files changed, 25 insertions(+), 284 deletions(-) create mode 100644 Makefile delete mode 100644 _region_.pdf delete mode 100644 _region_.tex diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b5e9a6e --- /dev/null +++ b/Makefile @@ -0,0 +1,25 @@ +all: upperbounds + +upperbounds: + xelatex upperbounds.tex + bibtex upperbounds + xelatex upperbounds.tex + xelatex upperbounds.tex + +clean: + rm -f _region_.* + rm -f upperbounds.bib.bak + rm -f upperbounds.aux + rm -f upperbounds.bbl + rm -f upperbounds.bib.blg + rm -f upperbounds.blg + rm -f upperbounds.fdb_latexmk + rm -f upperbounds.fls + rm -f upperbounds.log + rm -f upperbounds.nav + rm -f upperbounds.out + rm -f upperbounds.pdf + rm -f upperbounds.snm + rm -f upperbounds.synctex.gz + rm -f upperbounds.toc + rm -f upperbounds.vrb diff --git a/_region_.pdf b/_region_.pdf deleted file mode 100644 index e69de29..0000000 diff --git a/_region_.tex b/_region_.tex deleted file mode 100644 index b1ec086..0000000 --- a/_region_.tex +++ /dev/null @@ -1,284 +0,0 @@ -\message{ !name(../upperbounds.tex)}\documentclass[10pt,dvipsnames]{beamer} -\usepackage{appendixnumberbeamer} -\usepackage{booktabs} -\usepackage[scale=2]{ccicons} -\usepackage{pgfplots} -\usepgfplotslibrary{dateplot} -\usepackage{xspace} -%\usepackage{graphicx} -\usepackage{scalerel} -\usepackage[normalem]{ulem} -\usepackage[noend]{algorithm2e} - -% == General Beamer Settings == -\usetheme{metropolis} -\setbeamertemplate{blocks}[rounded] -\metroset{block=fill} -\usefonttheme{professionalfonts} -\usepackage{mathspec} -\setsansfont{Fira Sans Light} -\setmathsfont{Oldstyle} - - -% == Presentation Settings == -\def\thumbsup{\scalerel*{\includegraphics{res/up.png}}{O}} -\def\thumbsdown{\scalerel*{\includegraphics{res/down.png}}{O}} - -\subject{Upper Bounds} -\title[Upper Bounds]{Treewidth computations I. Upper bounds} -\subtitle{Hans L. Bodlaender, Arie M.C.A Koster} -\author{Armin Friedl} -\date{\today} - -\begin{document} - -\message{ !name(inputs/elimination.tex) !offset(-35) } -\begin{frame}{Table of contents} - \setbeamertemplate{section in toc}[sections numbered] - \setbeamertemplate{subsection in toc}[square] - \tableofcontents[sections={2}] -\end{frame} - - -\subsection{Idea} - -\begin{frame}{Idea} - \setbeamercolor{block title}{fg=RoyalBlue!70} - \begin{block}{Theorem {\normalfont \small \color{black} \cite{bodlaender2010, gavril1974}}} - Equivalent: - \begin{enumerate}[(i)] - \item $G$ has a treewidth at most k. - \item There is an elimination ordering $\pi$, such that no vertex $v\in V$ has more than $k$ neighbours with a higher number in $\pi$ in $G^+_\pi$ - \end{enumerate} - \end{block} - - \setbeamercolor{block title}{fg=ForestGreen!70} - \begin{block}{Application} - \begin{enumerate} - \item Take \emph{some} elimination ordering $\pi$ of $G$ - \item Construct $G^+_\pi$, calculate $k$ - \item $\xrightarrow{(i)~\equiv~(ii)}$ Upper Bound for treewidth - \end{enumerate} - \end{block} -\end{frame} - -\begin{frame}{What is $\bf G^+_\pi$ ?} - \metroset{block=transparent} - \begin{columns}[c] - \begin{column}{0.5\textwidth} - - \begin{block}{}\centering - \begin{tikzpicture} - \node[shape=circle,draw=black] (A) at (0,0) {A}; - \only<2>{\node[shape=circle,fill=mLightGreen] (A) at (0,0) {A};} - \only<3->{\node[shape=circle,fill=mDarkTeal,text=white] (A) at (0,0) {A};} - - \node[shape=circle,draw=black] (B) at (3,0) {B}; - \only<2>{\node[shape=circle,fill=mLightBrown] (B) at (3,0) {B};} - \only<3>{\node[shape=circle,fill=mLightGreen] (B) at (3,0) {B};} - \only<4->{\node[shape=circle,fill=mDarkTeal,text=white] (B) at (3,0) {B};} - - \node[shape=circle,draw=black] (C) at (0,3) {C}; - \only<2>{\node[shape=circle,fill=mLightBrown] (C) at (0,3) {C};} - \only<3>{\node[shape=circle,fill=mLightBrown] (C) at (0,3) {C};} - \only<4>{\node[shape=circle,fill=mLightGreen] (C) at (0,3) {C};} - \only<5->{\node[shape=circle,fill=mDarkTeal,text=white] (C) at (0,3) {C};} - - \node[shape=circle,draw=black] (D) at (3,3) {D}; - \only<3>{\node[shape=circle,fill=mLightBrown] (D) at (3,3) {D};} - \only<4>{\node[shape=circle,fill=mLightBrown] (D) at (3,3) {D};} - \only<5>{\node[shape=circle,fill=mLightGreen] (D) at (3,3) {D};} - \only<6->{\node[shape=circle,fill=mDarkTeal,text=white] (D) at (3,3) {D};} - - \node[shape=circle,draw=black] (E) at (1.5,5) {E}; - \only<4,5>{\node[shape=circle,fill=mLightBrown] (E) at (1.5,5) {E};} - \only<6>{\node[shape=circle,fill=mLightGreen] (E) at (1.5,5) {E};} - \only<7>{\node[shape=circle,fill=mDarkTeal,text=white] (E) at (1.5,5) {E};} - - \path (A) edge (B); - \path (A) edge (C); - \path (B) edge (D); - \path (C) edge (D); - \path (C) edge (E); - - - \path[style=dashed, color=mLightBrown]<2> (B) edge (C); - \only<3->{\path[style=dashed, color=mDarkTeal] (B) edge (C);} - - \path[style=dashed, color=mLightBrown]<4> (E) edge (D); - \only<5->{\path[style=dashed, color=mDarkTeal] (E) edge (D);} - \end{tikzpicture} - \end{block}{} - - \begin{block}{}\centering - $\pi = [\textcolor<2>{mLightGreen}{A} - \textcolor<3>{mLightGreen}{,B} - \textcolor<4>{mLightGreen}{,C} - \textcolor<5>{mLightGreen}{,D} - \textcolor<6>{mLightGreen}{,E}]$ - \end{block}{} - \end{column} - - \begin{column}{0.5\textwidth} - \only<1-6>{ - \begin{algorithm}[H] - \label{alg:fill} - \KwIn{$G, \pi$} - \KwOut{$G^+_{\pi}$} - $H=G$\\ - \ForEach{$v\in V_G$}{ - \ForEach{$w, x$ of N$_H$($v$)}{ - \If{$\pi(w), \pi(x)>\pi(v)$}{ - \alert<2->{add \{w,x\} to E$_H$} - } - } - } - \KwRet{H} - \end{algorithm} - } - - \only<7>{ - \begin{itemize} - \item $G^+_\pi$ is chordal - \item $G$ is a subgraph of $G^+_\pi$ - \item $\pi$ is a perfect elimination ordering of $G^+_\pi$ - \item $tw$ of \emph{subtree graph} (also a tree decomposition) of $G^+_\pi$ is $\text{MAXCLIQUE}(G^+_\pi)-1$ ~\cite{gavril1974} - \item There is a tree decomposition algorithm for $G$ with $tw = \text{MAXCLIQUE}(G^+_\pi)-1$, polynomial in n ~\cite{bodlaender2010} - \end{itemize} - } - - \end{column} -\end{columns} -\end{frame} - -\begin{frame}[c] - \centering - \alert{How to find \only<1,2>{the best}\only<3>{\sout{the best} a good} elimination ordering?}\\ - - \bigskip - - \only<2>{ - \begin{align*} - \text{Best} &= G^+_\pi~\text{with Min(MAXCLIQUE}(G^+_\pi))\\ - &= \text{Computational Infeasible}\\ - &= \text{see}~\cite{heggernes2006} - \end{align*} - } - - \only<3>{ - \small - No best. But the smaller the triangulation the better.\\ - For minimal (not minimum): $\mathcal{O}(n^{2.376})$~\cite{heggernes2006} - } -\end{frame} - -\subsection{Greedy Triangulation} -\begin{frame}{Greedy Triangulation - Algorithm} - \begin{algorithm}[H] - \label{alg:greedy} - \KwIn{$G(V,E)$} - \KwOut{$\pi$} - $H=G$\\ - \For{$i=1$ \KwTo $n$}{ - Choose $v \in H$ by criterion \alert<2>{X}\\ - Set $\pi^{-1}(i) = v$\\ - Eliminate $v$ from $H$ (make $N_H(v)$ a clique and remove $v$) - } - \KwRet{H} - \end{algorithm} - \bigskip - - \uncover<2>{\centering \alert{How to choose X?}} -\end{frame} - -\begin{frame}{Greedy Triangulation - Criterion X} - \metroset{block=transparent} - \begin{block}{Minimum Degree/Greedy Degree} - X = $v$ with smallest degree in $H$\\ - \medskip - - {\small Performs well in practice} - \end{block} - - \begin{block}{Greedy Fill In} - X = $v$ which causes smallest number of fill edges in $G^+_\pi$\\ - \hspace{1.8mm} = $v$ with smallest number of pairs of non-adjacent neighbours\\ - \medskip - - {\small Slightly slower, slightly better bounds than MD/GD on average} - \end{block} - -\end{frame} - -\begin{frame}{Greedy Triangulation - Advanced Criteria} - \metroset{block=transparent} - \begin{block}{Lower Bound Based} - Eliminate $v$ from $H$, compute lower bound (LB) of treewidth\\ - Choose $v$ with Min($2*LB+\deg_H(v))$ - \end{block} - - \begin{block}{Enhanced Minimum Fill In} - Compute LB of $G$\\ - Choose simplical or almost simplical $v$ with $\deg(v)$ at most LB\\ - otherwise: Greedy Fill In - \end{block} - - \dots{} -\end{frame} - -\subsection{Local Search (Tabu Search)} - -\begin{frame}[shrink]{Tabu Search} - \begin{block}{General Approach} - \begin{enumerate}[(i)] - \item Keep list of $\alpha$ last solutions to avoid cycling - \item Find inital solution [= some elimination ordering] - \item Make small change to get \emph{Neighbourhood} - \item Select neighbouring solution $\not\in \alpha$ with smallest cost - \item Repeat (iii), (iv) some time $\rightarrow$ return best solution - \end{enumerate} - \end{block} - - \metroset{block=transparent} - \begin{block}{Neighbourhood Generation} - Swap two vertices in elminiation ordering - \end{block} - \begin{block}{Step Cost} - \begin{enumerate}[(i)] - \item Width of generated neighbour - \item But many neighbours with equal width, better: - $\rightarrow w_\pi * n^2 + \sum{v\in V}\vert N^+_\pi(v) \vert{}^2$ - \end{enumerate} - \end{block} - -\end{frame} - - -\subsection{Chordal Graph Recognition} - -\begin{frame}{Chordal Graph Recognition Heuristics} - If it's chordal already, find perfect elminiation ordering (i.e. recognize it): - \begin{itemize} - \item Maximum Cardinality Search - \item Lexicographical Breadth First Search - \end{itemize} - \dots{} tree decomposition depends on (perfect) elimination ordering found. Mostly determined by algorithms, except for first chosen $v_n$ (from right to left). - - $\rightarrow$ try for all $v$ - - $\rightarrow$ adds factor $\mathcal{O}(n)$ -\end{frame} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: "../upperbounds" -%%% End: - -\message{ !name(../upperbounds.tex) !offset(-221) } - -\end{document} - -%%% Local Variables: -%%% mode: latex -%%% TeX-master: t -%%% End: diff --git a/upperbounds.pdf b/upperbounds.pdf index 846e675cacf614fe67a95d08cccf9542923aec8b..abbd23ad385be31140e517db5cdae48baedae08b 100644 GIT binary patch delta 30924 zcmYhBQ*b3**R4C*v2EM7ZQJSCHg{~>=-9S9wrwXJ+sS$V`fkp}yn3ou)v8)+%rQsJ zkX!iRTljzwkY>=lT_Br)0E~;Pvzd_{jORvbijAD^DfVc5gVPR*NLq`Ak?hP}cni6X zm=M$~yX~d!Qc6`15q7IK#;^PIotM;sZ49|QA}2ugXJLm1lsLe=jv zwCp{JC|jaW3N1?PfFu`$EjKmQu&%t?w?m=^yO?*A7t71*Lg8)o`Lbez9N5w59RIn= zFVoqiUYN8>1I$1$iw{CZ*uM96vnfl$PD$@u8DPrNbiY|ScSVoN>xE(8?sYh2=%`IT zPasr(rat#K%l7Tl86HEV_D;En|3JspDY~Aw#3rY&Q*WcTO8xDjihYN#TqY$x2PS$J z0?Vtca7l)M1R2TmCyz^l4MiM0Bq9L`In!3`Vrc#d`X zN>TKzo&bY`{JxMEmD^XC?}dqfy8_;LT_8|J`I>hqFiVFT^~5GvTr3cKCnzEUbs`9T zxr6IDmS10=`DWkX=?>sZJYZI{p8Zl41sk=X{H_6c%ME_DAVRHW8X^hBS|BgQq{oij z{Xj5<`gQp5w|SNCz()*@SK!%wjj%S~r`I9Z?qi9v=7WG^5v!2-bRDBoG}=!X%DAz$Y#oF)W-cy+w} z-pbOwTWr~7<_(vk$Z1==O>`qR7om-7Qb3&=<)_NW{qIXXcMjS6X+^HgZ7vQ_@5hlp z_wR;jOxWDN00j0FDR46|CJzb_!3 z%CO~92l+7R1q_Mm0gaTB7>IH5nX}6|ThcCeOMlbMc_r_XxyPOEaJ_YTFl}DkA~59fdjdjpv^9hNYm-y~6=vY`B6dC58g&GGSs8wEz0sFD zTw1k!A2@b`X9b>fuxzLfN*cj^!It=t;QCQIz0nn9Le~U1_xny%HdxEi15I>5EH&1+ z(t(7?_pc+Q%mf4SEGyYwX9r-}nkQvJy|(w=b0~{5#SN2uf5L=|V{utBIZ*{WRuZhq z`Vi&6C>7y$xY5pnRfSkZtxN4*$AEtRluma)emld0n(sGbe-a))k{BEu$9d_os*rE( z$M^pgpCMKmUrwnu#uq~y0jo(Q=2W|iVcT<#_3%6=D8fm3k|2T&w4hyI7o>Y}dWi6u z?BUkQo+K-nayT}&5JnmYH8&iL?|iffb_#ew6~e{qz70(Lf`vS|a*Bxdq&q-G>~8!u zbU#y5eHV9!-{1_=Lvpk5V9v)uu<#nrN9id-Q!%u7;hshyfZ@Xx_h)nfKmHNo z++I{AU6UhCG`(DXX@gisuTLb&bRCSip0&q(eSxp+2MbJ)VZS0jk@V~qlaZp&=z?JT zAxwUbZh4A57QOattIpaUKwoG{%TdPzq3IomCu|LePj!#AJR|gbfZ1P;647W-YXAe4i2l<@0fmy9g3NOI!7+r%|kuep<08& zRr3&0&AX7>;SR%`Ik19ay2bWSr{rcB3raF?BMGvY1r#m)bg)lKv-B47w*HJ6>7 z4%$s*SCKOM7ys4x@Q0m)w}>-Zx=rw`Aos-|nqk5%d^@-QyR8K<72&QmfNxlt0~A{> z@wbvGDmvlVZ!KAE*;R~A`w|nIt`=RwpVo`6Z7nOasD2>=bW)!AJy`Oj46L^UKyP9} zB%$2Q`Ak^e0#w%4hhWDGpMTwh1$JSAk+#PDeU)x2d*AD8*h!5;wGze;8;(OC%bUf% z5_jI{-W#2NH5?-lX-`|^d*tD7U)2PG8CL66ps`(NotEZ~B5hLw#{62a9Qou-&ahyw z^%ZM2qp!RAveA5o8@_k@v{X^JZC)zTKr4R(mwdE=$#3Ob(Th9dpt!ezX<`4)+2 zh2Si;j(YSe#CB$5jRSB$`I9c$KI2Vj;7Kl{+m* zRt&~4EKRV4vU6c8n=KRevzrP?l=-54?7CEo28$dvZ+eA^1~dE=Mrr8!@TJj<%9~`S zNp<*BqreJq7PQC|V4JW$(9FV%EsZ_MB4Q5xAkY=budAW|tfH+^FZ3H-52F?4hbBL` zCrJdt?R4Fc83hfa(Ei*KqEQ>yb+T+Gs?+Xwi}`Og1}MeZKqZQz`i+VW2A$D0_t# zA9XkpoY&wtQH3P!PJ0AL(R8DuDH(noSdgeF(s5F4d$32~=%K4K$|Zm5U=wxZS3b;~ zk7q6$6P(G%KGE70F|P$CV)AkEyE$+T(^XWyuBS~C0TMNDh$!o&I_7p3-?f8pPIWQ4 z74ZS64D&f-ME0q@B8oHF#S+}GB=yL&8;qmuX6MUv7A-RE=B4QX*%gd$d)Jk zslHyQWeX+Ij_lK!?h%YQ1sUNOE61{~%61n$4kNrzX?;Lj>F3aKS%a%Dzjum99dTDA zgl-o1dH3W{{wZQjg%(031}W0pU#raWpb8JPek}bgwBOT1a2y-Jbl~~XTXB^8D9pk?rOV#`M|=KQ1%e>3#xnFa2O$vqx#<98YShUd|C9W zuo1xI7F*A{8vI>MUt_F0jIV=*!QLVlN3`n^C;Rj*H@qUy+O*UH5wIt^M0^O}S28Bc zl!g=;C%wB&jAT6>jWd_L@BjL~(qREccS~a=Xe`K`@JCL}`*Ig>3l@}E?#GH9c|t7c zErAQrXA(Ufx%_!eR4ZaXb8|(o6HWK}=Vd_v%rxs8Ga*e4xm{Js3SEZbz*V%59#?79 z`C;3Ik-uA2;AaQX+@lIF9rj30*pvSVVac4f+YB>?MmW z1_(pBjDNQ$-vooSb%k@4?xZ3^3jE`_q%p9t05**J?nQGcIsU`duI4?66vYvlmzsBH zgg(B_W3DdhXfZ@DSoG9^dGn|v;=nV0Hy4MO4*>k_WpsbaVG&HWbc z8wCL7Fatw=d}b-_#;=GeL#=^_WA4o5LO+owIr~1R+B z1sBVBEQWT8r$c>ilfP&m$7AQPx66Ii&D_a}!FQkIFY&qXz4%mj425<$*4$S)w-mCLDa&414%}4&4a|jr+Fc9ir7Ygdz6ZIp z#Z8ef^5>N08LgLgfmOHa8-C5;5efK|>`=L| zbk`X4l^%MMc(P&NP)D~`Yl-Gc5+(J_x-rcYM0NFf4~kCZFGRt2%H038wy`TvQy^3Z zc?fwxL+s0T+OfDn%Z1Et&xWRM8r@CW>fSGN*pQ42k$`&B{5ce<0J&sps|C_i9>r5A zz@j^g-@@De;b__n_l;NI%NGU#GP3ZkXZIO<6^HHi^A@8fIYq5D8sYbBBj3!c{!NCn z^O-UU*-2=*bfK32**?_WGA8La4v_s^IcTruN7~cxH-tf?;4EBSU;iWk6DR}a$p^w+ zq+upM%{Ze#KNA^m*i9txJ+3Z3%p$Fz(aPqou(7o!4h=1PGAw{in2*%eNFjfN>{xKM>Rs{+s$`W#`j~C>~Og4XDE|0bc@Y^t4D(BeHo0a}zrlvIDdyR&L$5mk`=G!|dyq0jksB}(^IE!xV_=HOJH~W%M z1N~^?$JZ1-#$d>#Leu>g$`E>+4&ZtEyUBWMc%6TiJ@r`i=|PL4X1><{=j3K8r52Wa7i$ zNd^tDTNL5jV=Qn0vOz3sYOTy3Voptl(YE>GjcQh2!S7%4=#ug5C7j{!pWU>?Lxj3P zG@%Mj({K!q6;sX+uNPyal}!iqLKCSn+~6`zBSi?{|IOiX={hYMfC;P){c|+jK=8KI z7y?xhByw=kS>T)3891AGMk`MbM`kT26$p)VthNoR2Uu)w&lkV469(sNj*Nu7^tuXe zbKvAbv)7I!VpM{3f0|Eweqa#YnuO*OO@YWYsK)1p|Dlat+2*YR=4&oYc@YXowd?A8 z!#GI~p`5xBJWq>+uyg96O~@I#Ye{$)3%B=F0C6sS0kB8d;4C}a_pu5wG|IKd8aqLK zKly4-tdJSR8%6xj7$bFi^Z60#jNnJF7iKTfuD(lHG>XeAcq;1dqcYuVf0e_+CcF|P z4?uo3*&q)68-e-Rf2Ez!I6=v=#>?dX0GK~2uDWG@omG#KTx)~|Hyr@aqjG-ZU=CluQs8| z3raM9TmlwWlrik^c;k<4I?$g=!7Nw;%(eHyfXQp{MwVPbr^H+%u=gV>0>?$eKZB`w zG#7(#1-r0HJQSR;=!M#fg;3YfG;(u8qy7`{@(}5T$_|CX{^0_c)$AN1q-ktUU$>{dv zpf;r*zy7m!FlIr2&K2C3G0$E8PP2)~En&C6;wF@}SRjD!z<^$CDP68;szR0~D2re9 z_2wha1a1*?(!w-tYCMXXMPpTLKr&G6hq~Or=*7uZ+^){utGK8^k2gIUsv^_Z zO>|rCD%L<$+v-^O(`~btn{NExMK9Q~>qy=fHG9xpUMGvMc;hR71Go}spiUr2^b2VU zBMY}voP`u>Y)J)Ju!eqa6H_LtBkiF7oA3ugd$#o1oR7$;lIpDqsg*mkz~wFv4QKYu z^!Q9{)M5xTcfUj|R?e{!M04+mkPGr*wwRvuSeZ2olS;%s0kRquWqr0{a1uwuHUsA$rR)j`|u)BkR_4?ys@=#YN zdj*2hE(Drm_u$ljz_|}JB?NYMv)_9Xqc&oUAsduFx?7O^3b&i;)e<=n)QaT<@`mLIB zoqoMaCC^l%q+`q{s~-HfZel0TuiOgfkF zXG&uKmPQk-QttL;sF00Cob0YgF&B?9j^8G`N~Zq+Q1=P<7Zf! z(u0bC{FV}v1ADrI!J_p#NXA?P>*E*(Hz znnoEfuF0ygDhzEfIYo*lFYkI7VSLS@wLnkOuvUyO%;+S1Zl`V4>Cu|kb*}#ZS zHeZ@O@h_)l<^FDe5mG7%y5_#zoqeZ2yn#|Hr@mot*_Qkb{4lchTiIH3vMKLE)Ffd% zQdX*ESfy4Y@8WLc5m#18hdn;3?Y$htI=21TEf@kUykEU2>+sQ+F(txwECn1cCfp%Z zcH)-bvZdR-gJJ^xBkP@qXVN)>ArvK9eA-$H@jp$AwlwLe>1JhcX?W>+e{sgQ`MHs@ zNt-?gL$;NXR(#b>`JWTG^C|#23^yx+%M^Z{TP>8R5S1KvRzklO&d=(h5^n>qkEVYl zrMBmOx3y0_8>LuUT@(pcgt4~+mgZsndU^?tjz$WbO+0~n|19C)TJat8UVYRx_(-?& z;7rYOT>?PsDu$OV?}MQ6Zl61A%W?)v^YYSG21gOE1%n`ka}MAc_!+!$R(?TfC|(z* zo+~M8@Y3>bbb7bvWBtZH4DBLCW{Z~6L_QTjs zQlmARxlmmg9a=>%TN^8cgkuKu|EUz(u(dXexSu=z@!PJ?TSHB;AiGc^Cr#|Og2d?iUH4kxfbK6$? zFLTS#lTH%5P%xRBGp@NsHdossO37~M#XI zzC}WuMR_qOF}<`!`_G@bWyl}g%Z+)Xsygrv1vjDZkNv3ND8vQ%W&yj!!(vZ_gxUsO3B zRZ1)wnjz;1)zs7iR-KzoWMa2(h*sbwn94gkvJ>q7I;?WUzdc`~qYF|-BRAMu$gN*o z4KcD9r!%=g*zkQ9j(?#9*TBGZi}UbxzI@DXp4)K1sUPs#ORn`-}ZCDW|io5onC%yIgECmCJJBDO>_3(m67Qzc$HyGJEbXHsHarO<}ev znb#e$+nx+#Dk7-=7C&I-De5a#Vb+$zw)>jN%jHtqu>F8C&o=G;FHEBX1;|4@-Mc=& zthV`p0vtfVxYe@>{*R%igMb0#As^fjZsFaQ+SI`Sc_3g0s)bztgD?>P!MkT@w@2sI zHUkKN*nd#cyYPRo1M)uz4|DJO@G{p14+Y2p0UMeq5c?nOhX!zgaHYRN18{+yi`?GX zq4G*08s>Nk+Yl2c9JlbfGjio6pdz}quq9f>-O_hb$aq8%^z=;i-Kppl_ArZ){u$<% zgE1pwVdGN@Tj`_;+G-Ul z<0AB^ROolTXkuE@MY4D$$%#}ar>deOTJ$Kcw-23IV%eI7@np49xmXRegCM*&_Z}Wu zlg2U974s~)4jW_RDRY-*8Jn0DT$U9{iScReQn@#dSY?y3)#6FiCmvujpLWUeSiVo3 ze=W4Poqe9PNdo2hB0B{Bsha^(JmEc-XNtdG#^T~j<)@nd7qtSpm z9?P3Dzfuc(9M8$_&Kc6GFBG?ByP47_#n{Vbw<1qR4`sY5XNeW z-qty2QvH`W+_eP%Ukb;pX(c7HLH>40HML*nO{iH|L*jo)s2n@`*U38_Z;Vb1Ei{nj*am(=%VQc#>A)lJHQ;ZljCK_Er{NlRyUUox!3mhF7<;z7MgGLAxNlc}2iso7*@U010RZ~1xs$;wziSj ziay*$p6j7>{&b2sDmi+tgT_6-1G{wS-A$G|Py&2&fjn^+x){WNaiS_U{_8|Vn)|m- zfnJn^j6j0V!cY4NS({o-T`kotjJ6QWJ@`FlyzC33R#cF4BJRa&uC)Og5j4KoWyu#X zynBW#kDvT)CkpXM@P)y5&vbj-aDDQO8k?sesN`W(5gE8uw5}nl-5_0e(pt7)RSu#U zeF3EXD%gfzayUHX#J3ihjirb)xUn|I<;nVi5+|fR@qP|v0&m?XU zX;EA*a&|03&CO`f3sh?><^QQ)cK*deeGUi0P04QXaPs$(O-U6RQ8fVzTmZX+Jh=By zqJAzfZ<`1U77_eJyxHoJPv9Uy+~_$csw97}$=+7LO?7Z5NsgGWR*T8twUk88sX3}n zLT%v+{m=)F_)h=b+cjfQ(1^b9K%>yNwdNcjTgNToq<7w*|H-K~;(uD}_JH^Z>$=!h zg9wNL0i)>615Zyx2cV@ZBmXDwPESzquFGx3$bfnfFr%9t z+zJPQ@tftF=tP-Nrjd>6ZS3q-2ZN-vJfk?EZBzF0jJk9_&GJ1S+3fH=Uud=F1grW3 zl1N>dI9?`-lc)7iyHiTkxl|}KGNNXt+$5@8X))V?@lt~i5$1#%l5Ir;h+d8Qoo zmJaVt^RX68hikOu@fC)XFPdYfNL(zYZ2POahO%oh1x4rfHCXg^DiPO%CL@cpeYPd= zn8g$GhVI0rBUYqv%&uw8i(w%LiCDg#H%e@0yacwRy9tT7TI#QP%p4qAu=yXYVhy4g zwQ?|kxoBW@F@4(NBw}oLs(2qyEFHuc`UvIY`s}&GhKUbab zx|!kYCj12Xh%gb|(yabEzUKt7f5M1{3GKn})+BWlQf0h@1s3^n$0AIk=+`gc5VW+~ zUfj=?IuOpt_-k7M2p`C@eCnnP*lgd^YqS? z__`LlI<8f<0NBe#*fkhvVbv`V)VuQUCPa0hUyu3PFYUKh2Ppk9g0nT>0vnN8$h;UF z`yjO~|9V=?=f4bVT6Rsx?U#_UO@U&6bdJC0S?Mz{zRFT=CLP@1V;xaCp&o2{AvNXg zuktqTvktGw6q9Gcp3LO!Yz}iNfPUL9mY^ch?C55^ZJjWfO=t49AWWn@6(N^~z~Bpu zCw*lh4?Ul4PAQ6bU@^OLVMDL_Al-NQT*!W8;G)jet=ARV7nr(pG>47>@&h(Yu32)R z7-~8RHb4Oq9`4rd33jQ?0~>=L$OV#$=AOgzSIlr``n(N2RI@lwvH$C&f@7zeP4|41O)^aYOss^-jTPscZ zD}>6qDsKxZz}^`U53cU1;=*C8@@C4?dIARaCAe!q3U~h5Gp=&)FLew6PQe2F4Jl`+ zYwLa3dq=}#{3L=k<~xzyEr?-B(vkd~MA8dLPbAlJJQgIV+E3E_C>_q1> zfj#o`i0_i(fAd+JYO!gz;HN7uZ|oHrnGIgjDA6RnI@~;eRBwr^WIjQPvF(xz$x+jH zaRG`D(C%)}5p!*9cmQhKb#tI;h`IWu7vuWZj^vjVbkIq5r&?tQRw|9aw$i3;b@kj`bt7F=tgMWR zWYZmuI*O0VEH>?AGkdkf2(B>fBO7o-qT z0>Fb)=oj@Eh^!d06QZu~b5dcz2l#+Q!Kp3^UhgSoese#~iCP*}Aca(03PMtmW6P+2 z^iG@7ay@?xH3NBiEqB58b%1Q6s0cGU#77xgZK+*zB%dJ65aLnb2vGKxf+oQRC@q_; z?K1D%p$e}{OplRRm+!CTe|P&a3D5f}UL-XCk&8tPL96-)CNvKBa8c9+E~lbN{Y8$i zRk1hlaVC9>3S8~fyu>^Tqk(R0%P4e(wwb^s#l>Q9i}ffr<6QrUSx}Y;Ch?5tKB2&^ znRr)cTvfsxbBK1M@C-Z}(<{RvvZ;g!Fk$i~DGm`2vI62&R0D8R06toDbEDyYaqRzuD08egmSmXubdUuvdxxZ}Rbgdx3XdXrmR zMq3aZJpGkL6H_jNl#1qN($d7CEF=_#)k@Sb$03RBo<`^l%3N2WX@84^ZIGMMc_OK5 zm~_ZUL!CsVPebp7kXx99j*~_l3qb{{fgl*!A>w_efoW%RyAXw`9)BhF;9v7XIGCZz zLR!aREkd4EU?GEq_oJT6Q*VjL(XnLqgeV-zV!%g1Vtla0BL0eF1A}l{RG83o`zTJTa1@tT* z`&Cfe2+@MP1JVGBd^1qHApD91MYd0BsuAWa1}X!V$%JPbbmF)N6DHB10(KEFs)Ni& zMO%(w=?Qr-YRd+m?3fbVf27$#R6q|}pH_I!|E~1=*vbLg$rnjl6i6eLSWWU<%o$?@ zb$pSjTLplO-;ePNE)of+6pdPX1E>Ph&k64)>~Z@`JdkWyBXUOA0Bt>$CTMs_1Kt!T z3*smuza}eREuJlf#kqR?8WkFxhpNU%ScCkzDU2cOM!D~jIJfxFtSltFlB~%m$pmLE zk<{A2TT67_d4V^M9A5FWIS4Mxm77GU#PPQX8&?Z_SwGZBOpL2$raqvD9mvjz%2r6; zFc;g%OdV0s_SXeVaXs8Mj!u#CuZR5C;0P4!KTU3_+6qW4gtP)mAt7T5w7}FJEbXj7 z7;pfpGMOakI_kPqRUm;j34m+0KEOEZgdWg_D!L#NQ!%|8%mtu-2Z3-Fk5jcg) zQ1ZzpjtLNhf}$YJe*p1ZbS)f{OF`8$t(~7jOhg`igFs?lj3!|(a>-lFamRW|q<6g@ zdmXcm!w8hu7lV|1yDg7Be^7Ehf(F-!X&(=a<9w-01Z|~&e^?5u~6uNyjTs8agWXWWBcd*}~f4zFMypR9> z@6_&`T<3)}i!aKuP}H{{?H{b7okw6sZ|-wG0lYWSYbPFqf;^q`k(lNjsUtJoFdEEJ z=?C$%eXf=%RXexgnys-uQ%S!O4DHpI5^k-kY>rklBN=?Dyl@i{7L3)wmlCg`a{3k} zfC2crKW$u3r7eeKXug)j za477f9BO*((gKJ#Ah)pw8 zh?5z#kYV@@ET2*|%u1UZaJ6Mly;B0UINtqG9e>DRJo2S)5T;B9Drq9Jl{z8jZJ%Mn z-3r=1N_5A+1I%U!jX#M;2#tMtjkgRHIB76Oj%&vLijW1THXXDg)@ls<NrWF*FhcIp}37$AKUNNi~9{3!H3hyH_VYmRcRgz`GvFpBcp?@JJ@_oLdThrrI}K9bsfBmVbC}T7u84Q6LaS0ED_~rEfoyP)I;=0$s1N9E{Zx> zT*3vb8(70sZHgZL@DJ`Dq`_}hepfxKuJi#XAf|=+5L@wG1nrwxFRJTsUJE4r&FsJ2 z8aw&fYausf=50uh!;|jPS~h^`>DHQlttoqf7UlaZ-u0)ic|p{eJ%>%yD< z3aU3&^!bZh7o};tZ51W4jHW9me)iU(J=r=E7;nsnBc&^YSFGEC3$>0)Z}ab(6XQK% z7dQPowe;2cX3U7DT3_|rH-SYzz78ylDA9elvE)rp!`0E^{eKrLNeF>x%# zWcwt0ikdSjgUc_27kNN-u?s+?)aq{VropRLyLI=)-&2D8pVlbryc1VMfihn&1cAtf zr{Rx_^Oi+s6Ad_3$50=W0*5lMMG+&M?3Z7J_Hdzh_@pcAY83c++@QfUl{e z`biyMAWUzZT0Er^>ri$ts28VN!S!8&4upKXg#k#O9f@YEM>8-C&(Ldu9np!OAY;1V z<}Sq=LNtC<4I0#^dJN$8$orp7)!C=`7lms)Gld7@G$GqWx+jmmzjnxMAW|{9?u&a< z;PL1m>M^IfoVPaLl~>t1RL`We9ETMJrfwI3pUSU(6>h|Y_^;;n+is{J`b|T?H>Zv| zIy0VNRbSCdA{khFH(B>X%J$OcbzP?^yE zPB6H=S*}b5-U9o=Fre1n(_>(JWA~!l4Q?2stA$uQ=bdhVcxH#`)>G6_RcU| zM{A+kr2)Bdb#*o3?opL{)xZnfyeAdPOM4jR%kP@ z`+grT|JG2zc%$RK`w1D!jQ`V?z{kr7S+nnL(r!pdusI0KNIib*8`@mAWa?W-yK=x3nV&C$rZrd$Hhk z@j~5%X^Y{(7fWxQowR3$?p}>~aOoN9HvSIdmjh{LmeUwl2fw+34%2*cj+8&RVpV@f;|K)9|>i(V~09U3(6ZXkh`7QxSiq1O^OrV zBw8%S8YS`EwtC5(e`4v6&lNfC)vGg0+RHTXP3N-w;IiZ)s$!eiA+iJbYf5!`4Kf(j zE3~HTeA{l3AQjw>`o}RKYxn!r{q^nEw}1+CZsaSi;eEpd=4JeqC^2;wW+#t!2ss*9 zTQH)zpjnod-KG1_0kS@QiYx8ZHZ9(KA@pv;E6gevr#jk7h7}Xx2r(f&i5oK5!fpd6 zoyJZ13>xJ_F#6T#&+-6?R;=?s#pOK4(f0_(>WRHNeEAx*M#zYezqd|PN>h=l+<=cX zzhVXWvWJ$?-xeel7x(cp5)QK>p*P7&R|D*kQyES|DvtrMJ2|&(`&~o0|K; zCFk}oN9avOrHRrqbNST1ZIPTsq8#n6)-v_3ZFv_1^*{LZ&wmePWjQpaxG(m6h5N4w z@Y4eFx{DZV9s?F;7QXoS%{2Ztv6(um6z;|&*Cr#a84bBAsqndXZ@f?zHb9ShdvtpI zD9@I*sJ1KH9frdiLy71Mq%;OsiY0`}IVBok_H@$S>I`4~Pqxf*Vb!t;%;Pu9ThDi9 zK_+$s%+I@o?v~B&Fn-#OeW2T;?``X+_@_&AJ6inYfI2to;N5QlOu~uv9NmagrczA@ z^`6|+V?oK&GoBm+{aw0yibFj<+M(IiRjfA#!9ld$NJ1m5yKbcTveQFhZf-`4ABs4O zB9(5cJhagRhsC!)IZvKyL5eSNmGjG}a|S=J=1$NfaTc0Ikz51i4?w5*`287&u;a_K z!?*DHr?-!)_=7f5`b0o1%vQqmeL!wmu(;Rb-X38xB;Maf6>5-{z4wnyeMef9W= zOR$;0CjLGi!$NzSvGmmJ=hW-%-kh00zQAqASHM#r;%`!ACcFa0|Ro<UGRNjQ4VAdxd z50`WmXY30#q9J%lbX7ehR{pQl|0`_)y&1%%d&Fra;@Hos8p-#)h2SP#0c<*m!*g)d ztl7j{pRZ_Ubc|?J&DYrxv$sFQz_<#ir(7bxLYuY!@*SXojhZ~Iwc%Qmpb;|;%!HPH z?k65WJr(!XxKE#HgZYeK7O2R5=)V9zNOJ0Q5^ESZaL;6&9*&=m+qbZp=6{MEYVKip zKgRoFO09c{ilIRcjH9-l{i_nDKgKy~6USGJ{R@vCR`pC+^4<@?v7IP@uzV^B%Rgj z2iKPx#h55*%yY-~dQ6|-+Wi)HqdL<E|)N z1drn;IEwj?drI%z^j&U}e#Co#-XEaZ%O!$tzVEjkT-|@sa1+s_sBd@C z`_DADLmp70Jd45nVK{kmK+ZCqu+tQ)s{i|NpnK}jP~iKi@B3l3kI(DwKzj@;KkZ@P z)^%D^j;B*2uyq|I^XYxm+107zS9B?mkFe4EcKlx3Hmpze^&alrgN-jwFGhB&KD7CZ zGurt6-wjFS_qeAcv!wN824NH2t3u>W^I?2Yp^h+D?r~}IeEX5MY6lF(TbKJ2@Kq&YXUt+Pr2_4|gTS?H!_=)6byfBs!ke#qzVvwm z0BV~h8$bmT7y(HG1*)8o3B?lh2Z0HNT)C*r^3QyE02GW&0xmimk%8sP2T@m5qOEJu zyrmi+$Fi2Fdmn*ZUR&@sUJgY@Kocy$0R&q+O zud8F&IFUUV6vN*H-&Bn`888Ey_6aZx-kg9v5%JD7pt_PM8Or!#?-7msznec(8Xbw7 z{vK-A2NQhDOwjbHEY%~^-Pb@kNNg4ioI&`JNAwC>XJ6kD@3;3DSZV!~PLgF~wsxE( z4YCdj3%coXIsKHzzwG;0M_`JYx$$-OY#pz$&apDgoeHz{#aVLFwT0NUi;=$85}h_G zodfI>|F5uf3eL2N*7js#+nLz5ZQI5hJDC_yY}-yIo){C`w(U%8&Hna(w9o$YuIj4Q zRb9PS-PhHC6{~+jVqR9xA@2y?s2u;I2LIC16Zauma+{o_?654Q9F{beY?}0B5dOR47oH0j8mx&30Sg9vNO{EXg|Xrn&nAdlMs`<#*0AkAl!zf z1}0E!1Eo&(WyodPKA(98t0<2eZbgh{8I8g?eY-e7o5!WdswjEIDZ?l`BDW$pBWpCS z4_a#g7eDi9|K;2M5tCcI#oA%-j{Wyf1#C*Dx9rHg4<=F+hD0u_j!xCb*!I@86|g1p z*VyT$itM^=__i}jC06UGGOj%DIdhh(UP&h3@%>}Gg!v*vQ}T4NzTLtW9O;pqgp_Cb0(YkZ=FBh z?^2=pel6DbSpFMVK}vEQBOdfDlT*`Koq>Qxw> zbSQS*XF(X4G!V+xgtLK;G-3UO2@&kdcG~M;Dke-4-+cp?_}N0@vs^7P(f@+GD+L0& zTc%GeL_yGg#cpdp*OE1GyP5F}y>JtS@lAN&k8Vo%;s%t}557$f#Ro`OW_-R}D~!b5 ziNw>Wx!lcD$3Dm4GlPAf-gzl3WudCc>-mhZ$rPwDZ3=4_<;ULdQ=#?F1p{+go%=Cu z!tOjPJmAB83#BeXrsyzo_96K5kZ=cJ-bcv6%DdqtVi;VQtoC&xHig4Mekww2ugf~s zqk0U1PwoYSA2p<K)J4CCQmxYL#ayUP{ z0%djX_C6CT`j#3vA$0R~H~#B{c>lwBpPO6EI_+;EViD0ExbV)8IB$9h@RXwM<2h%v z?@-xtQ(JqSDm;e~_4W4i^3s9`DBWK|_(4Qn_)yAi@fN+>HdyNc>6#w+hg*%}VBiA% ze>}_UGWtQhl7kD{-c*;LmnXnS$3-48)cT*K?~ZTSCP!5M+2M}3ES^+pDiGf%TVHo$ zZ5oxq1tD_Md%>3noH#{1>DLM3me@P+k2-u?X68(jl;uoFooB%Xf9are|MstY3c^CG z=D@(QKE_7VG{Gzv-xZ#^-i;LTAqcY2mq262F(pnbv4R2h(KdyP;7kC;<5wnfIEupw zA$4=z_qC!h@(%590hX0A)X{-K5X!5jxKPQ5qO0FB6wP3ol%M0-bKg`DugGeRORyU4 zL>RiIrFzY;2)5QT1SwYkn+%5kM?Szaiz3}tfl(%c&@l+HK3xD?G}f!XsJlOAJTjkt zM`+9_$il{7i=f{51U#GWln4;SZ;3ZDGbl$pzza^qq>^2?gv22GoK>1`h!%4MHgig5#ck)ei~o7?3L$ z_r3#Mzm-KIBy}!;+wysjNuBc)%p?-Ul}!f<#)gK+oaOpJ^PWQZVs?#caiG@ly&J^l z$dWr+TX?~ogL}YdLrmr0;N6!!?P1KJ6WAy)cbzapvdsTi@-|d3`PVBne94ZkHg^bD zGlhspM{m22E3Qak?QAWYeUcHLnm@l+NJe31s&dAKSIG)sf_SiF&<-uuSN|zl6dA4y zX)Bol+49Z*REpUXLIwfI$z(hJc(LQmZIrFJ(^wh4j+SF?QEwZ4S z9)@>mDIar;%LV@sj?^Eg!EA^m73oHB5QxMLOC>0V+j+0xqhm%#^cJG)px-iFo|&dD zWyi-!*r5w}I88O+eVr?*t6g4piQtuuejk^y5CL&zPdsvlT&(^qH1ZG(hl~ogj`Z2* z;1*Xpmzrs8#_@#wE4(nLyP;oUKDAM%w!3a$I5vEo7pOm3q>BR)7p}W*J5G;l&aaCR zHu+GE%sz>RhJShw)220ODI}V??P9{@J0?=F!bSju`kT$cj_kg?OXIv=Eme|HHLC#y z^V?j9aF$4!`1fy6-A>|aKEebjfb}Y{zqvq9S6fS)^LYA4>T*r!BR>!J#jz6=GJR}L zqDfSwQWdYyo3R_+Of{Jjp{ba@0n`4b^cydvPf+C9ZRTwx|02z5zDldCc#dKMbrx+m z{qH69w8QDW`tWK5)w)~*m6Oh9ggnX?+J?cF!w1aCL19ywe)mL({N19Mu+>$lfiqws zHrC!gY?wOF&lA6jXHkbvSc=WME30a|H?Ip;4%UA)+%ch6P575`Um;QKfs?>#U1X3l zUT|To=?x0ly|SxEcln0mPcxIiP}}mgCkfn{E7rgt&CXlvLPypOD_5%%@IADv7<1*1 zr9rVjoN3Pk(*lFGQMA4DcPgIaJ-2~1fe>*LdPV`-NFnn)BixEiydHK7l8P(-eofu% z6FaI8y}8ccot?UBns1ckEvXH6Swfo934bi|?^nLC>?eo{(-K%@5!^lPBqx3I1hPE# zJQlbl#9FL~Ht&tX?CPhfLZLlGWGY3JD8GGX(-NLUy5j_xD1|4H;y#B2uzUmh`Hl9u z2~*v%tM;X1>E=zzNauBBMCdBl8Sf?;eRnpEDMK6^EnkD($*XY_aALFV<8*~(J^u2* zz2-f#XCv{7rr=`^pC9L-GzvR?ltjn}=%9d1;IMM>rY99{<#U zLlPa4fK4n}C6z`A>pk79j+z1PeHOZ44Pg{EV=^H7CcIjFAMd$H0!*{)d%8M`j*`ke zSB4Qgyxe_wV#-z(^ysTNEv<2oMHg?rQKN;hlz8qW4p^|j*!V@n|BF1;l6x7Ei@w9E zSeSR+H`|v*rnCkBC=WqzohL+T@%4fQ#gk@l(Y~r+5?xg*r>A0Z{ICV44cxVTo(SEj z8JqZp2aIz@lhZ|xe=ej|@ZG@Vv@IRyD7mmlGYr}D+xafZfgvE2sicb)lA@Rc1449l zfDiZTKb;MivVwgSCU?j8NYX)xkfc755exYI=m<({L7P&HF}k#B{c4>YwVzSpgsK>y zm{&EZO26~VxfjaK8-;*;(LR(7?o#g!3s6^Gdedytc9QXhK+SeBq+>lzf5$Q$oJA7U zIg?`U(G6DQjpf!_N#JqRJlPpcm1EtmTp@N%>zibxhnaPOck`<43gjbVRaTG=JKLIO z(ma2mDiTv+Ua(1mQexbXATSXWVN^Isrp=&hQ%uOf2fqj);1+0k!d3hRiElT45en{7 zsLucL!@HcrGX;fSH^BL@P3@<5hV$6$5{MBW0=;FY#|>gpw(O?I^W}Y8I#OR=H_~A} z#N^}sKxO$g%r|_so38FCp{S2ebzD}WD_dYR~N7KYl7ApdZ%R}kcn zr&1e7=W}*5ygql{IKMvMa@J8yJ)9=mwooIk_h_K0S1j$#1X1;eXRlOwch+ceJjGW2 zm4@|EttPtqm+f)g%*Y??uh`pZD%Pbwm)X7_gKi<|?pgfVK3Wj=kavtkp=+0_a?KKCOss8-M3)erc6B1k748$6Tm zOSmuW+V@#xAAitCI=|F)5zLMf=09WZg}33M_jNgH{UX3S5?0&|N;{36&>lk1Y%=^I z-ULJX)`6V|WA4{h2x=9U81I1K>^dezt%C>g%Zu3HW&@K&wq2rrVeP80Wtw=^0?f-S9>AbSw*TA4C z4V(;@JE{VE5b-`5hFLEp7mEHj6)X|WHOLN348F)>8D^3wmI$lj{jex{(O`w*0Q#Ud z{B#kPs5lifr_3B1N84l046kIaYoB{WBS7J?>m=uW$94L1rd=Xpa#9>ZWOXu!WrEKs zuUKny{3diy##(XPnWg@$EK>=B4=|B#2^Ce2fXG9+914oXb&+DalAUNnpB zi6nwrli{Ne+aKw3z#__!bfFi-P=PS9w&#*>zMTmZAWJ4IvXGLbC><&N?d*(u!ar=@ z|In7v_RtnnF8w}w^WgM;G)7~qnFabAETl`wKfk?X9#e(>g(o!buVRWhlD zb!pvIlG78V=YWXvFsys1X-Q~#d1xHG+CD`sl`I!3pUTYtzCQ*38!SQ=k1KL6vMyp) z387Xg!SJJ4r+-syQY%4CjdFc;O!8ZuM z->gmEg0>MQ6-5<+9hn|A01S@p)89VtyEvz|Df-I#D*7g0l{hYVoHD*Kexm!ucPn`; zAeStZvXwTLxR!LQ3Z03bkyiAui{sHECNm}v%b}Ohp7BIRFq=G}zee6JSg3%rWNC{n zqC5{aaf^O5d&alve5kT2H;6Z=-3?Bz(eGR`p2>tIZj3Eph$s|20Sl_@;f$$I>E3dM zJBR)ipG}|sEJP07W1XcvUjJs^|4o?|O5_byftf*(Bdzl8@{6&lWs;YrfXU%c7*Aly z4fM8y(?M_JVDOfE&oa=-Rmo`LS3hZYncJ_GRwvoF5ZZm#yA?dPF4ru#*6e&l8Ri68 zYVEcu&gM0Ip9nii2Yer?&Mz)>a&^l+4f=7nE)4;iHkB{;!=KYvZpb#RWYF`>o8?EO zpDVvW_V4sURF?N#JGbqSeBBHw7p+v1P}Q0W8-sxS@6WyaPNKV(Bf847`yC?s4su(a zHD<%UZWSQz5BJh~Gp)IQnPhTLqjDps(GZ&vHf>+4B95*caEXB=6T-o1kD+USLoPtw zbR0{yCfgjq1WQG&u08@rg#fwCodSvjT@>m=^LW!GH1*Cc4>n%X^+EZcXz$4yc71gt zloaD9M1SY$x`i-`@`FTD$}(Zj@L6oLKS;!gsw1EM56J0w4{f`Z2IHY5S@z5pqfZ$K zUo5WL8xYI^@IuM?lPd%nK6IsiHp%Qp_GOC|&k`>ZnHS14OQr34w;oA*K@u5>3^N(! z@fyU@O9})@OM5Rve&SECn%TUNVSk%=|GXXZcDT&uzYy}8&Z!68@8gPA(;<8b%LjfNOAp? z0_za%PBEsG#=i}hgO78K6J%~~@n^8w5c1FFEDHjIFW97U=`A%eD~3 zuE}V0<3ptvi8dV#sp+lv_MqU(TA>n&#j?wr%nL8D#}j?~%_73Y3$6lA?KC8t;)D!k zHJK2AO+Ji5|-ukI(?B~d@}bd=KENPOusU6kQenRHzHQ7F6j9A}5AILUUii-1qhZWat5 zb3onF>oyVMn1pd!cEiVW6nlajSh@;Px4C+IBm=3>^`*GouMAaj5pvRnniR=~=1G3liFo@GRh^Qy0hK@bZaTcCz%eyo_)sibX5ojR4H8s`6JbUG!6*I(n-4=ZD4;JrC3X)wAa#`I;z{R%NrGzf?Mi`Uc};HfL8CfD-j8<2Ps}>3yZ7ofYy}sYJ~_x( z6g(X)P9pw}cVG?jS;CbJ9EgtxdNupX8)hUkSl4ZS)#WOnA{h%1MKMT#Ig*d=5R;rJ zC&a1U@+&4WHR6Y)-E)s2;R~9{A>yfpsaW0MyB>m=sVr4S!GzX#N4zk&O>?U-d{7BO zT6c|o<-Q`kO0G|RnS2=oX#-_)?I!#lPl#BM zgTM6U=J}Ru#h$VnZvF*8+;!a8iQY1{!3LiNqMppXk1B6-`Sm(T_eFvyI~9$r!y-3* zSml-}OCkncSP4#B)x!mdyy~<-)WQyJPWEC(7kiZ#>KuI_9%euAW-+|h1|#rkwibyY zX=(w%W6W-E=%BveoL`~$@PeB7GXo^LKxe~#XXpE({9%kF!=2MHE_4o+zjx7RHN<$G z0XcrSxD{)b%RjONjth7>#hbAskjqcIW3<=uwbj5~&#!f}t$M(XX5>Z89HgUd)t#TS z_DPk4JtL}tu16}*4stoAHps&9w#y>WQ4+zxi>EZehnjr+bEg*WrP;oeyNEwe(*hCN zb9*$*_y=sj3+MK6O%F(J)fx`Nytfh(VB+Mr2+NVtToIM#2sw{<(wxmrgsE_f0YAx{ zN%+x_7c%(rpa5Lqfkj3Cde&H^Rh1oUODN}nKQy!88kj}o=l{hC^mv^pt_3;rlnkU= zT&yiCzBXo6lnumo)2hSKQ1yvP1?VJ0+#$HO7fW?(`^2oMCw7n)cO$2Eyg(}+j&wi> zv6r#K(in@KV^@;X^jZea=7cGh1ro zI4kF12avn1q~^=LsMY14WAHqKcosHTiLDHC$Xg3-&GNd-e{Cv`{2KzzeU%4K`pL}D zG<&(Q?Q4TZfA&P1`_$0+*K-nLo7w?w(z@kd$G9pvNThi+N)j^pPc`9o_HxKt9W*Gc z$EgChYGDCh^IAx`&gXhNW{ZaZ{giop_ZXj}4WKX3WtXznzBRJ)lOwSfZP3aoBF^!x zuAu?i)+(ojtJE zm+t;Pe!5&s>PVicCgrMJ0a7WH#%Z~S@wb1iMN`VTv+MCzv3HB~2}}I$S?rot%@(x# z1sD&0W$h7Nq4#-!!cwM^W*&^Lu*Vvk@voCbJgb5zhTL1ywQM&IA1SVV!*g{CKUct9 z@jC9zhB`dU|G^B$ZX5gZ3VnwTuGwDwR0`&L3z{=TpV>cFfjj1NtEsEQA~I@= zvhLpe85Ay$6NP+pxG@j_EwMuP0wI|D!a%qGN?{=|MQ8=#l5xUf8nWYt1BO(yl6QM8 z|IK5f^3!h4DDdUtOOqhGwQe@OM-vr zDP)6_aARF)JU>>OQcc`988l>ZV88IEpy~%WjM(1on?lGy0XX09JO8IoGU1Q}f4 zj|evz%AJ6BFq(~Fwj&1*v}MdB3WE_G8S~q*(l}GY>4>FNWW}WM_lKk{00`GGrI>BOhGaXLxSG3Xgq-LWxp5M3G{U>{Bf~X0{nx$ z4A)WbRy+8-R^zm9&OoDp&~Yx$r|^^2vIe;Zvz&7yKjO+?hfUOS;#hp}K#@fwW#ULy zYHi|4?IIDAVPzLwtGOmN=D%Q5^257-l=@A7I9H)^?jA2<@_pZuTCpwfpBLMxI?7d$ zON2o6XUheSL$2l|Z|3Sj3AH@+YDmG?A2HW6n~T{IaFJuW!8B5kKGu}_HNk{GAofq$ z#VESPmf_giD&YTnyNNuGT0=uk9-0r?Xs{Tmi(Ey=jvLWSkr~WFTQOuUM_d}SXSlfy zIN|V~b&@%(T(&k+(_n~9HzmDc zo7AkbZzVqQM!BSA)bh!Hu4v~v#5x8MWob4wY|SD9C#(3aN+~P)X@RTlCMm_y`CTWs zb=fR%EgKY^vnv{5;s%7q;LFIhK_xzs{)4cPKHv;c*jE-}OU?Md2FhLrney>UrB@aI z5XJ&@f>Z;VHL?AAkV39CSo|Jw2U$Q(Im}BgaFEO;%;3KXGh` z&=Hl$nL$zi&$``?vDcCn4&X2s@hkxY9h{PyF!NpsD4QMmX13C`?$vN=b zpPv1qrgv}bkgd0Af14P7XP@$&^6ljw^A=>__PCApT6$jY#eaokX)_DT+{uK(6AWml zbxPWLXb&KVds2x}*-d)a6!cUMj;(@AuD@+9>zKJNYPXrQ9y5YuQk1g~CYTRDcMCE8 zBW7@ zqHbx8tkGZ7$0gI|JbbEUuDt~g6j0a?>xY#R*KtyNS~hC)VC{l9-C+#xig{ka4EW@v}7G@6<% zY}GZFX`^I^uy>0$%sSdmqILA@sM%=0q7z>IP|mp|EX>U9*>d?Ul#;!~!zMJTRgdQ8 z`dFnTOaX*UCauBIAhUiD;ojWd1qRFAtnpeFE)v_%Rn{MEb`bhcR6=)+hkm1tdo?FR z_bvDC_bHvK+hW^lHkg=7rD_`$q?NJfB@SxO6r9u@Wb|OyWpX1iDZknt*yewLkseJr?Y31~M8?xT*17WVrTKq@Di>jY< z*2|LlXfVvJ&#jJpEGZ7I%^5qyrAgOCzgC%qyj%a5R5F{@unz|1o*c*Wt;HCG>QKo0 zivWh(hAnkX)c>f9*Q;Q5rX3z*ls-Ts$L*A79Y`Q-wtTv0%xjBhE<|5L9W~DZb%VBw zjWpDrr(Urng|p0T_xeb_R2r!aF$xLuj|J0R|}aJ=xz4;v5~@Qw(AnPlIGwfoW?yYAhH$gNvIyNox}!G9z4Ad1XO zr|KKfw2~|9K0JrepM4R0iyQ`PpX+Nw-1B*mup$F~^7x!ldPeLLGW2sC$>2ewfw4g* zh${c%6A4i|A0{hM{l+Ibd}7rz1>_XMiZNct0iY_s})_D3#OG|tYz}q)`LNt$K{YUv!K(~Pi>z> zgkFbQlZ^%fesAdG?6L!Bkn{sb)_? z_$L@&5AOQ1BWuMGF54(x)WcfE&YkYLI@Nm_+Gp`Q&f=r>af8ggJ?}@a)ek=U-+Cuj zoR+V?^exYVOE{#6(ZYsPTBJm5yY7g?UpJdF6ji2Fxv}M!T=<=9Z)!$nHp0P8El?F7 zn)!JH5ost%{qE;@*mS$+(t!E8w09MD(6{yDW|YUd9orBXU+cO5=3^&I;*aHf${pXj z_h`vI|5BBNUhma+Ju%gKEW77h3c2!RuGW6Q#I27thfs^_Wso z&M3_*H>l0SkvtP)l%3fN$h3`NWO63L0Y0#l%E|QNj$NQp-U`RRyvr754MkUYmuY zh^#g@Cxmz1V1go<9UiB~CIq-%UK^SJHXR;^28?N+1{>Va_aMHfs@S3Pi%!K>{<(-b z6>D(1no?(yc?zxF<%nB_&Ne%K5}m!a=hNRBbm$B)6&q0X%kbKs8pKA(GC`H^Qcp$o z39G3VY2N#ysKTAw`>&1HMN6*?3h-+m8%|%^r&ZL_qZW*w9)i?hGP!ZlB9KOlzi1@t zURm=$BA`*Yp02I1jw_Niu&V?tWA z_Kw6Rl#(8ahU@lHxGa#jZt_v>X++oY<;6@n(1*;ebi^&Y$pU6f1=9JuDIAj{c?!af zK93@X-__Q8ClNOMDcZew=|Ss*!k4MTK?UXb!@b;+As(jb}qaF7c9QsfWD)f&Z|3tmwu6j{Iky?eAoZ zbyB;WKkD5HI%lpW{4okJ;`Qlo=)YNo{Z^1TrPlQH*LQ5Jt5=f@`=E9So9IWg%gtq! z-_@|h^B;TlGZf!c^9D=VFCOl~Z1~-u5goTX0oXPb2*5iqdBu*X1u|^Qm9krr`29Cn zZ6Q^S*0ulC&-|!{2~(jZIA!Fm;j?1Pp}_M@kYAQ`Ljx#-3xuF4#=8LtOmWKi%Ifwj zaym%K+{qk!TAwBQK6#3GX9m3@{7PcDEMQppYwye1A#os5x!b#6}TfTtM*kg!OdO^Xt6ZEngp4)q^V=pk(T2ZCgj?EgwbxiUvqV~vm9*S5dLe6 z1F=I_&pR)d+Y%<1A%bZM0tg zIg`W@7W&7L^@?o?&aO{Tk~b59^oh8g;Snpm4me`$?1n(hZ;vfJscHHu!XEs?J|0e9 zw)KF{tY!PBFCLPI{a$5{Gq-(dF>NN^iyQ&fO)%H%vX4r+3feV837j#90fWupMKUGn zn9ySVIcEEP`FS#>A98~! z1rPDyc~EuA2S}3rjNz=$@P24wDOTdb z1J^Oz{6zw8*7N7>-q<+UoWjyiwM}XP@ zwSy<@R#u>f5hNi&rl={&JFV9hOX1RyODQ<=cW<2h>L+n`Z1sme_8OZ*R3$X@8fTnj zl{HfhSi@x7;S)I9&r-+oM9dKjW3>{}@M3ERaLXMLgXIhu_WUG-D(lPg*yrQ@MD*CL zCTB2xg2-#iXl`jn<(y6(Iw_;MB7kNvoLEH*qB(Vgc6VO-R2FZ<_Mk@QRQ9d3<l~>-K>`Pf0++}~zQy7_mn4#uL?p3=>)sft<2w*=e#U1U6s34c zN5jFF=gqB2+rLr&TBY3J;+k7IcJRyyra$K^rW?#qW<2o7EdXa}I3O9k3KZ3Df@m^4 z!Tq3$=!97yPAM{QPSNVfVEtJcC}H6iAnJtKsA1*)L@KN^M-Ai4bM4~r$xqbDH1|V1 z^zCCaSBE^%j{bxyhBP)Ip5J;Laf)$bZEwB5{ORE-cOXxpRmNWk(cPdabKoZX8AGaQ zARhClZ1kHHHm+BqOF>AE))MeYUq)}1nnuyVl zc;Pq;12up{r(_xG7hyO9wI&yMxUqU!MO@N&IEr&*8@7_u( zy69gL<{aMQFv~cbOpwvrkxmj<&AN0KrNg}DVo7+aoYsqVD%Ie%wiwjorRA%Mg4 zvR)VR^v$?dvNX!S&O45u`RqG9bMp3hw~x!V13aGG-k7!iFfmll&-uCl&u-6qPyUtO zgTTsWPmWU0zd+ar!7f32+EG_tx8`xjxb@Cu_D zEtDn($-0~Pv}pKIix7o%XorXBhk_G|c6328_x=)`X4GzLAp|(0NhHAlNtT<;{2%hi zQLcr-i!jQnwRa%yoUte~kGFhU2E4BwFcExFuATD5|~_40!+#m=bceYg5FB^*0yl^f)|7xg`KN}944nefG@~LDlFPQNy~5@)YwhQr9{e&~ zr}Vgi%|i^DKWN^x)tY!vDzZyF{U|SeSsw2E&$Vzo}vhRE+El_c8OIy;t2vn~A5RwJ*)Xy+Ef%`*hm^O3*WGPO8} z{T5%@!?YWrH9%0)OP6e^k^0xd+#_Ttu<7U5nK@p|?r}$}VIz%cdmPD89mfZf92T`|alTahwXG`0e6V#pHe|>N3a7THs^D_- zGpw7KDmr?akUMlUKc6F;?8jg{n}6$9qh7;eY@5&Q=cDzb&bc*r0U$?|%d|b+DOBih z_I1%*_h6(>qKHozF}DwJW;KfDand{3mkX8D@c#2L%h^%7oUGCm{ukYg9xV*Xg~P6B zn$I({2A@VhFJ|N}nJ?;E`2(5{b=7Ab>E|_S5aW9o5iAsvCm|NRM9O_CA4x>mM=Wi` zJ1}<0sBCgYa*fsh103FS8-@pQP}?u`(VyS(` zmnpKvuv|Wjh^+o5pq7v;tWaXep^RdZ=)TxRQ32bWeq<^`Q5f?z`_;a=?wpBG-Qhnt z`G&c%{=v>v>B-?b|6K%Ml39k`le-zk;ecRK1xpUJeb{Pp+3rhbix?%EH?5t{0vWBQKN$L`Ah%}X$g%|<#dP?xf`i=uUh(DkPvS=F})ByNWO< zpLPC@3nCbP)J0ju6^Qn-co0^SjJFOn96x0lMt$Hf!FpJw7$P+9UmaG5A^rR&LWcYu zA0~PTGqwm@(iuT}4M*<>f&Jv>xQBx{0aoX}$N^Qks8BN2WKo)q4Z~hYX=LT9c@V$h z5fS7ozz}GmeusAYQGmjdbl5Ta#m&!8m|yGbMPF?PWP8Ikb zSop5<1Fkdp35+R}=5dqobSWH9)9(cEpoU6f0FzlYxESIvAc%macEGdF(@mf^Qg{(n zqYD3$upW-*44axqM7@?uWXiIMS@Ueq_KBO+FdAdeV6-Zq_y~QSqMgw;zAvPScyDm2 z1meSE?eT-?mIoGiyO=i0u zgEwLG*Rg{y?$i@XZvP;g0)9{aZ(*-3@ zu}IR@t>o(QX{t6grFGWH+v&GbnhI6hOJ~hP)r(YG8QeyK|C1Emd@2HPN$4tn?bY`e+6eDn6)ZI2Pl z8$6vplxv^eMw|it$$`8KrVGEx6Q4a-?SQU!C6nHtI(z>F0fySLnL+x=zQNqV_%{$q zZQ>HaQyC1fG7c4YTZXeTcK+|S48kY@QRqs6$XA8ay^*W5jqpI5(l+NxYT_1CXTj5v z)(Kp5Jj=t=C^UD|3*nxb2>#~$x+YDb{nT=47r(*!$M(a}R70BA_QL=}LuPX48B?~# zUOU!KQZwOg8Pbl$5b0V!#Wr%U2gp9XvmI$?Ag}>=s@XP*-?)V$2;mw}D|LTSXp7d6 z1x-|S_2BNL*U0~^_5KJLQ(gPRd+peVY>xlrvk>s^RA+bKa2>uo(l9+pN4c?h{HZMQ zOU-e%=7k1H?I-2c=Z(1FiC0LG(K1yn$|o=DnPbiNPMAT|bgBD_^ycr==Y{QJc-dj&D!4L*+So~YXPI#g|$QSDA zp-gUg%L4*m1U+ZM>54EA!w5UhTXpRZ<)2IJlD~fT+Td)X4 z!~08@}?zga2~} zANU8j86bTJzC%3tN=|ssZ;%z{PkmS1BITXCVOOo zBN3xSPFA8Ih)KsC3={#Wk0ad{Ze;BZ-c)e)<+(F9)*cQEts^s(uEbmYaiJtP&0d&@ zqPDt-PPbKVv!jx`j8oN9l-=6V@Z*><*R|yID}VP9Kte)>B0`2@UtL#eYghAb<1Rn# zS)HeM<$0f%o75Lp%G8@Yc8hX69?VBRBS=epi=XDFqxUzONQ|5pjQs6d@o673?+iBB z4*Q!#nF=K`+6`jPOYUv0Yc99=uI&KIAE;Pl7It3Rj5AfG5V? zkj*8BM{E=6bHFt(hK7zrA|gU2UImi>#(iG|Fe`BKC8qV~7c^*8wpKWdzm0h4bcncD zyf0_zQn#sC))=6j8?pA=c(YZO#8a~1;g=WgJ8ubxzzlcj`%L&#x~BifQ;L!pXkUo# zC=xXMBc>E^k6s>dGn**b>BZijLk{Fl+5A8Lw^ziDMO$5 z;U2(Cw9~Kq<`59L8y)>t?hNWqC@`hhO|W3WOM(Q}nl4MZD%(E3Mz2Wbl4rhaoCp9} zAjY*URR|iGhi1zG$tu-O&4w^z4fG%bz_F^Ks3f>C#55r=1%c-L6Ug>yUN_djubsPs zd;i7~ zy*>SP+mW?+k_QA#Mk`Q^|@6I^t2raKrhnAGWL5rZ3W%m2eIOt_xz6oEQ)DB0|3* zlj%{f#;`(1M2q?iz`?Q86=1p8^6!Nq{oQ+1_<~bRIrv-{^gC+eGS3%`n?*J8uOKsY z$eUDk)p{v}lD)|@Kt6nq717=Tu$8V5Uvgb8F47E1ykhro6NZl*y*r_B{2EU;sS^P{-!dOvD3ur zu;R_nn4emnO7}bx?xvh0viImfN-(ucb~h#VvB?#j_gB=FD=yaZiSCj(0te7|;-vHS z<)`=z+!WjeT*tDubiF|-#@gvb0$tuKPHlC4+{g>D3j1?{7tbKCV$rNyZ4Hr5Xx6rA z4!0fg0|)1ZIhW+JjgCtLA|%_1FyZK&tQoKaCOHqYALN}g@3cLQey+9_LaS{99UA3B z(3bw)9T*Q+Y#1X$aWLd}JoJL;>TCkRbD3BN5n<-?5pw&#n6}0JxDm}u1;Acp`)u0v zR%F|RVi@_v#Jn7hF=L7Tik#nDQtn6_@PJya)T1jQ=qPNkam2O*+~sJ2reSbT7j8{O z2zI@wMku!EO#L$<9Tfh0dmHoMjg`$n(=#8+V0Y3}u)`7C4hqcEm^7G4&no#B#Pw!e91yz9lS!HJr9*@nYruGX?!f>^{FL}?4hZXH z&ytl)IUXAez$1+vllYu}-}vd`9TwPwCassNdso$ViRSPlPpF{07jF`jHhJ@xF#zW5 zyI-Ep0wJ1aKXyk&e^pfnk@>lyL@7E0wrn)ktb$q=l^pE=PCEKD^)ozcyS8{M=bb<; zoWlX){i*HCOQ}PRoKVni4es}EkJG>F$E>~Fo)*wbBupEOZtdc{7JMUuh&*S)e)FV* zn`S5s{qMY)C$<}#ce+{zin;u+!Wg%Kt#dljt1IOzPl*MH+TSnM`fBjoV-4b#m5mQcjrAUUmN!`a*iM#1b0yuaw@l2>P84rKihU*qs9tzuQazh#y{| zRC+%VC~CUW2?!N1XS(+Z2q6HA+L-#1<0P$N8&6jnKGq)ZG@;kUadmM2_4B%c=OI5w zAXm}72Q+j$)+Gynz@s*sKYuh()RYG{208G`Hj@iNaPUNY9fOeMWnUZJ$KGcxhc*vM zfZKBzSRP1bf+cp+kyE1U2yU--pBg~k@gM|sQ zCGLaZ!dg;V-0TZ4HF*C0)9rk|ckJxhj7`;`V1#_Az)B2)xW|{4it)P#-j$mhLZmo# zvlLadMw7q!&foGS=v{qpicuQ-OGmrj=Kc7>nU$xv+x0w+K5>vQak#BX`AdaIGx~_# z6*wH9z8?wz;nN-4-J$!cuDW6lGu|YiSt)~zaz74fW{I{!j^&?HYrL9T|4LS@_YRmG zR;;V$p~Gpa6LnP5Zl-BkH)FrtXvUE594TPdiOJ$f6}M#ZXs+gI&I0A>Sh1R~+~AFU zvh1vsFV|?vo{};5uT{}*-D#fnaBMP(^r15`{l*AZg6E~%J=Wh??(N;6~w$ssSQT>JKLHP&sOP3$rog@O` ze!8B|jDm(y>~L-c(Ws5$p|~=+@*no z71r?Wgmm?iklPd;KJKFOZ3|e#bQ6`Y?{3vZfJDt3BFg#=j=94{?9d}Pt2~$941Whu zfd{-Yq5M!?62~6vXZCB^kojcX3ddG-a0p;Mi5FUM@$=DzC;t2;eOQntWXlu(a$hgh zvV)RnL-y@R_Y6Utf{bu#kz-j`WxH=0hY{X~v^l7*@^|dKs>Ril-#f*lj<_!tLN|~5 z`Wa@d_%gAfLi(;&ftw!mc0T6{y75#u}7&`A)xFEKL(1*%=e;}D2S~jwVPpROKXtu6t%dhz20sx^Ujf!^#?u9lUX*BJn+b|>45 z;@I+omB@JHNI$?Hs0{tIx@Z~ub_Ph!sU4+e71eio<+a2fz;=HnGLFi{elzRQV#7ts zD>j;PHSeF)UpDB!?&*bzLpn>&5^Fsp{uly1S8svZ;=t4Pjl%!=HvVD4lZhc?Jr|<# zCd=bzaef(CYq*jkXxr^E5VZg#w~mP{$YhOwSt@bs5J9rNLim8tcjQLoObKO0cl4E$ zqn70P$)N2f+ce{J2h9}QpV8*|>|~CvHeOkJ+m$3C{fNjk{nhEWI2_k!_71LD5FBk4 zQT=*eoK@&+b&3&PJOHH2rACgkJS|Z?A!UW8Z3#u+=4K3Xo=3h#0sR7k>SajJg^&jH z8U=5TK8^aWZ;0b6i&+l(M)kt=hcB)r9`Q4s5frN3-NYX z!`#_gUoJu1AQWYZ0Z+O^5`(}S(#RXqdq`Q{x(+-6vd{1_*4Ud7z9I)Jy8j4nxVwy(~HAAcJ{FCie6Wp~%?J+Yi=}|4? zYhIEEE0rltC{6Qf3$bb%5cSmeC_nQbC3SRv%c9L?0O*JXW%U1yKX?sd4&Xpd`wPbO z@4jcVv1_c_L;t)}^V4QB>3I7A2d~dA2nkgc3MuUhRR;t*!J36!-sec~^&HRGXhXpw zZ|dvr-c?oKv8I>LS0++ zF}g`L+V$WNlQAM5;G?eGAeWS!N*|k>%)#lQEHaSf-Jm!+N;yRILhZ=iz;aM3eHjTq zgkiE-;zp8fC?ys7APuHCS{#WzO zf?fm$Jy%DPZw{)nqEiz_OkEqP0BE|d0N3@-O12=}QRLpZ1fY7PqHsxQv03LIE9{fd z$)IE{8XM@P)3!w7bOczK89Yb37O;@5dE;|Ct%oC-rXa0emtQ*{{8&0{*sO|EGd?oE zBVNx#Sv}!ceUR@{E1KB=#lNT+gxqw_;@;eYLR`uB3Tig>2ntx2cJ2u@EqHb%yGds< zUUqn)kL>I(G=Ns%vKI{FAnzPBWsM_Ge6kdg6QYozEw`G=mb);vnb5<{)l(ALToQy* z#}J2+JjUicqGAx?7_u+{r#~$xKf8f?NPaN|Ev~wQGv^wQen_5ZUq^i6d6^-ksKwex{Vpj>j(P!?w z!ADpSEny5)!wTd_DcbLNjVZoqr-M^%`9;T zv5ckyB3GxFsD0v|UF3gjwB-Y0mZECg>0YusD=BD#%bd^4R|<0({jRFAS|!a91uOp8v*D|zJ>NYJC!97%Oz z*8_<<^0E?m#`a@!JD96g>^2NcbfXetTnW^u*QACmo$YNqAEv*o{s-D_wc?DX*e}KE zb0Rpmw3zNd*a>`;+nVl525#L9+*IQf43NGGV`9VWheg6W1ot+j&cB~O_&tz8NPRYj zn7ak1!cWc)jhd^mR04ZNL#MDhFcmxwqX?Ott7x4g>Xn=;hu8<>J~9L|)ZZS7q*~MN z|Ng*sP%%DfMBjq@`a2%{JA)FY5=Y93Bi8NT)qr22F_smpVI&QK_iRFb#_lt%18`6{ zv2g$w*dHh4+6S@0^rwFVO_8Ni67B8~s%M{D1JX$ziNm*M%f^vV${j0WufENbTurY} zkj4bzHe`xodkGkELxOZm0}}Vdq)<|V@zH0tg0r!+sa3Ye0D-ETHaZ?@zKWNVTLGtnNkJ+asgCrMttV)xD+gyS7Zu%J9_vXQ5e=}1gF`Q;F# zQP7U>-yjlVo&%@<@Ys+u)uui6MavZ5BD+EM=1Ay`!R?m`DF7w+ize`XR2v{v1bp{S zoU+8N-v(D8(vG2hNLUdX;cEukwHi-O1eHZ;%!`N4VoD5G9tqk}^XtE|NJh7*2Dd7A z`}du-!7&R4aIWCKu6gbHcbHE^ZV9^&kf+~1f#3pw-6Q6xg=t#Vcoa2@$Ew-LK(rqL zyr7uL?x+Yb;yeDm^Y_dNwH$Zte~BvwQr(REUBQ)|FFGPIuWtL;L7NL!Y1;wVghgP9M);f;_kEE&{h5KxTUQ7S_-mjk@n1PUBkRcMIX4jxNm7Ro)1uIs0Z%&65-n2g@Motk2AL#tx}C(XBFXE2Sma;#gFetGqGVntg{eV z<TI=I7@f8jHAXGqu!AA2r8=x#n!)OzrGU{sZ)$?PCuq7S3g$)dBj4?~2CC3aIu6Vgh;iwz)>Jm*#X5zIU}faYCkZ z;kxOdGdXlH|16xk7T{?rF~YO9w)6epUWj}aJZ{Cko+>KW8PZUo1YJU2$IpV&Z{I?uJmShK>9EH~H$7LRSjTpsyM;rb3t{+(N;-V><;;n& z?Ms1&O$ql5RUO$CcW{Diu!9fFKC-3Y3&Ajo?y{1SzTp|NAD1Y`$5Hy(t$`4Vk}STh zErs}BX2n~Y06J>ASs7d!UXmWDR)uDNe^xeWvzHLa)^gIy@A{b?Kf+G@a>4BS>!-p+ z%AhBWXG_-liH&PIdjWgUrfS}bS6B{<~elP?tOaE2Y86#Ci zMcKooyk?)d+j!38ko&*qO>+?mV5_97X3 zz+BeytTSbW4-{_pFVIStkOHO=p&JfLx9E9)g(G@UKj+D?h-b^;YEc-2b1$n(Hds+G1C?wI%-~ssrtqBIE<-U0!-H!DG*$Ran#J zLB9j`4E`23<70l8pRM6vLMh*3;utA|k~*0alFMYGkQl-I@18Z-aN{$R&kj%a?K=TH zzD0qJS7k(i4_sUVWi)OTSyHE&7Mn+^>W&6TCsDbR!+2bh{rb8VRA+RjB-L3nggn92 z8Mt?!KWOQW6Qq|u=lpxN-xD?ub#rs;Ru`0oRp?0viG3)T%j_IJF2q9YFAT3nrTp$?vC;AFH#SJ=T<+F{!U+4jl$y*q6 z2Q%075h758bebO!34pO2swLjY?xlNo2)fvch26|$q8)0Hh&Ts?D$3%Jc(cW&2#0i9 z&5EwBWP2TdO;QR%Ma!|{rI_`+v5t-&GWIYcF6=y=v-CO}SnD7Agobu{3Nd*(tT%!# zKdny1&j;B6!@SdRQQ}e*WwcTU4g#<0@xR+fY|F>r?39r;f&l%?0EwO8qjW0oYLOGG zckg43KXVf&e1vurt_@_fnl1&0rBc$$HEs_v2ECm!_4UjVGpY=o%M|zMX)*zt{{Gtt zJrecxr?1>#>Dwj_hp`sp6kJm(3Oete;?epE3is%~c1cHe6?HFOeCihAoic9PxU`;k z1f6Dw^1-@Jxd5cN`_EyHNI^RfD8B#~bpnX_eYeM=sJ!+R2{(^aUSzf=mjDr z5~XL{CBiyGG)SQ-71;Ws)oP^dWozXTzHt*aRx1!pJ2gwe|V=O;}(Kr2AJ_W-l(*5KhG(fnel4kiKIJx+ILL zrr}F8YPmf_hXcdI6g}7EH2Swc7?$dw)Kc)Wd&`M*c^dFS6W1W)lZn+GNyzMRY{_^Z#@5kP&aRWDR7dV5ItQ@3PL3k!8d(5AIVaXdFd z?j~1%Rfh|PW0YLX!NOj`$8k)bT}TkKzQCD4Kvzdf;Z4m!-e@!4h`dfG&Dzehho$E1 zxx^iaEJCG5+Q{Ofs_VM1V4o-kX6h_5JauJtEg<0cQV3vU#^gFI_(QZe5_CxNoJD)D>?yJevU^9Fo-dHb4Cdc@KFMOVn$3KD2zx)1R}1mOop~ z2JAK?=5}%5D3)H2h!@bEC# zstg922MneXQ^@>32m$dQbcRKEK!llV)qwyN0|pB%_v!r~Y=Qg_#=_jgIX|wnLPLS( z0D~R07ijzsc0q%30XYBv@d@)}dpT80w9(sAN6kMZwbO2KI~K;MXoacR;i|1cEbjf9 zY%HvWX)sXs4fH7{i4PRRq?rA{!D|a3pp&}V#s_6gxo6?lBLY)aa%LG*SHtPz#%Q01kWYyo6@e(j3{E1tW`pCS_`U48&`# zQXF)FsgG-%Z^mH45aBK|a-mb_jIbw9_zGY#fA*5eQZ=SY3qx2!<(^l-%#cHP6vRzk)hP3F? z09GwCX!cANHSsYjT8&egQMo$FD;f3jnq)Xn7Q-4X3e{fc+#jVBSZ?j!7PZQWW>Tv- z&pE5!$VVH;O7MR9m0C$h{Xg|IYQPeg)2sky&e|t(~;}X0;wLoZs zfd|S^F#Ow4%Y91jsdAxRU~2hxqYK?!1z3+p>@~K1{hELGcn~tTR1nqd;Z-GnH*xXz zvk-|TAUv2$^=$b)YKI81FI`s7DrTbVf@9o3x~Xi=mL_B!w^O10#rn0 zP3U;@e|;RXli>>k$3{S+rg)uPeb!p7#WS=?Y3!Xg&?*(exx;4X?75%|A;)$q$Nz=S z!GJ|W8+S&$K}JUp96tC%@n4F6pGe21o{aKroRv?xwycfzF z65!S1#=uvNnnQec=q8-ds*l#W0RsXj0&m~1g^W~N+4L&hIDSuh*_&227mW2s3urR_ zMt13qQa-vI-)Pi{UmxaPjabm?o()*A0&&{ymncm1{;?tWD{*q(>sxuF{G1G*BY{45 z&skhJ0#e%9Ie(Jx3&lNnHQALHs5Qv0#O^_g?=tH6T81G6cK3f7NB2dezo|A90|c9bIg(q z@5Gl_;9*ds)|ESX9V7Iw01}YlWZkcGna-85`cC5iwEv`WKy?+xn!96KpNqd_LWOUF za~I_+qyi)k@e+FkYfU+oxbCi{=mr-gk)@<$?FIXs9DO-Mb>6k;L1@+1VckDpPD}d( z#?F}F@d(`XLWS?t4R3KAo)Mn(!UV7yy(&K@CU>ysvIIfwe||*r)^( z^^yscdJ1y`!`O8%!<4aEQa3lHPr=J~SFT7?K20}KYcp8NDaD3AP~ z^4(*h;2xJ+3z0$p0)uffHoEe{xi2G-srvS$B=OKSxMsioI$Ku4mu61cmxjmJW>c%1+%FtZ`&Nr@yd(HC{p22 z)Kff`Sd}m`SdhMs)8!OK?jDNr+=$iEQ27{JFohWpEBh(K>2!so!1(R*ZFHhcDAUNs zRL+&XHg9^F<#7gpbo0sr{!wiKz;5HskaTM7-6OI>d%Rxt4prF7N*XsThL?-X9Dq`K z09!JU5h1vgC1*&PB{zN^T)bsX+Zd%M@`K{wZDSLaD9e$l((dlDV?EiL;-rl+Ke0)F za71B`f37xgCkoNvrIHQLAlow8a6KpE$l_*wG%rbixfqN!&DP zc+@N5W)|r%@=S^9N}fc4@v?*#(MpV&#wygN!kCtDmZ}xPs#M}$Ie3hsdO!QG!OrC` zI2P$O_9A0k6Urz>hI_~afR>RZZ4e!f7oMd?PNDrn}K z;n42AUbhSA`hgW}G2jDG{gvEh=6aaqCnBt`S77Z6b6mBwvmmgDfAsPbprUx7m_D*z zAKqk(!U;wLe6dDQ3e3|~sV&exh29J+De$S9oz!x287Uv$;1(WQb`)ekwe!4iUkU1< zRFI_46hYro?40i#-#quKss{cxYjuWV4k>=4iF%P zhWh~Yr{%C#IBihhkLd*9&L}%wX#Js^^EHqHTT#aFym;KYAhnhD-f|$1L4`Ff%ckSb zt54d8K(V5YlT|;&x{u&6N1UpQc()`Gd1TZjL0g=S zY{!3Z**JzGut+*(m33PU>*^2a(K|yJAgp{zIAfoOG%;v%WDOB#kjvXsfL=w%m|9^>68h;W zuY}T|#obmOD1f+}2aXA+8XB`TNd(J@B`p%KS=qQ=MWg8{Mw9Zq_b8@s)*nzAU%!0b zgt@+Xy%B*p$0b0uI!$`yyS=jg4=hKQmxl@lqObQBHC+f7FKz?=4W)tAnoPr#l54Aq zfq47kn{mbp)U1YXk?X!qnmaZ+9Y%TsT07C498F%8rTN3qQ4_BCBXKC|b!^I&7{ybv znC8QGLzQ;k-_b|J1uY#ndREZ;w3ud?uwmU^^#AfiOW(l-m4}FrfO2wPYGuX)wE+fu z%8#=6A8Wz~6$jW#sTyOA?jD|SOXjZPL0_yZqgq7H$kK~~>tfzP;FMVq$to(iDxA(& zV)MxA`OY&rp;+z6sFF67Bx7JrOpFB=!3xu?Od!hah5HzCW7yyKA^sTt%szfW5v76z z6Pa0`kHXGaAy_rKAa*e_&+5hZ|natZ-ak3qnS0Xrk=`gtT3 z2HFQR2^E~;qTux$QWCcI!JKG?Q3X**aiYH_4m!0@21M_)D5d^okD;ccz^vmg*uDvb zZS)r*Mu)IRh0$E3(2>j|1V4a$5Gw8^_rgCOZvm8)_UE|I`?c%CXA{$7B-G~zX!+gW zeNM9Teu)mpqmJy!e3{;%85U?0WlaLls;A<4dAD62 zXV&)6K*M!MCOQbGc{(77zXN{0q`{~5)%LF;Y{OedHZJhi!SS@7 z|97#CAfF>#?qQ&oTd9aaD}cfJm`kyejqT9V&qzR30rsw_<1IgVhV#27>Njy8-{h%9 zCR17DL7^ZXO_8gFfB4oqG}H8whuAD?1M?xh+b4%wY-VQaXvZUk;mpU(3LsHsbo zB!P$HM2OGKNMFey--cQFxA6=6VB=q+F| zsP%=j1Nuyo|DL7O&7t6bY!Wp;D6Bzs0q-WyQ9$gc%yD?{$IKbn>CF?gpb(Ul zfQUllje*7eY1rcmbY={JQqG|2jv%5hMV*JL?ssT50yhy)XiR`6(XG#wI>Tf$2d0IX zl7Th=X`^(;hUT&&<`l-qXiilb;AW~W;7tbs1|Xti11+hq6mSgi5@`?}@UN-!KoNoj zk@@|Znox?95{e{34GWQ*!$Z*PpQF-_@2T>}XuMiv=NAt9I6 z1<(M!l@&6aArKT$C6uhu%yW-LlXR+x|IJvd3X&6D48*%{Qh!XoNDNbvh+|*(Cn*$y zEM=z~s~QSenG=8HzewjVNp|bHO1V=?HSG^m4>_ftnNz#fb+Le|s<4;9vMb!+9Wqdl03tmfua7Ct2f27q+a z!Dodbk=1tLpzsQ@JO~;=MsWj_fy%d1j`VTBmktslBNM2Qnx!uiCY(O3Y%H)lo`NonFibY)O=9h})X{xi3-pvmFpt6QA z6_BGX)K;&9N~O+i8fA0$AXE1e$kA zKgh}mi$>#E6DUvSh{lFPf!ZvDr6qXHp5g(c+BmZQK~8`I?l(Jf6##O~VnEA` zbP0~0V$XUfW;x*61tPKVQ7*A?n{mxrL^u>^44uKpCe)suC;3|$eYQshc$fXP;>nxY z(Sr{oM=3+A{~TQ$2YHQW2FR-KwnTst@L%+1$%i{m3`_qmCm;T7J{%VPUb#3K5U8h* zE+4O-7fS+wf?I#vX+Fb~$KB=uuHO#*js#FQtH{olY6b)lel&(F0*M~ZcWP%3K zG&Vj9IqXzqbF`Wn$>7W6g`0@5V5|?mm3Vbk(>EwV830}%7R*{HbQBTwO<5nKVZa&0 zD}lQN&zzVcP4h>5qL=k-<#X@~ABq!*#m4U+=Z8PZ=f_5DLDKSxN;-X2s#x9z>t61U zZ$2z~F=eO^`XShr>v+9(`T5Pfm-ItN(#XhaI%pM$iQ&%96Gg(;R&UA`lJNq#O$T`3 z>2MiP(EuwYsFe)G{lit%v3i&kIE1|KZ!<1_+8}M`eGvY|q2r^gqi-WVM)9AaZAgR$ z7jzSL3%30i>n`wc)imz1Ht$s8d^PE$zy;7vr#^_=blCuyxP0OGvHd`7>uVk@{%DqjIUNI;~$9Pjh>*tn_ zAC7nxKT%T*t8>_>un}B6jl>jg%YX=5vvwPqrLP<<)ny}2_Yqt@n>{2znd!a1HEp&c z2pDOczs(B#993@nl=Ja4B7oIU7vB1_z#d`Iq{>wT+PzJ`t@8p&=Nf={=*j%wv59>6 zhIJ-v-25KN@`;WbsZ>R!qOjON4Ing=1Qv+r@7u|dn{cP-Wb{$h|{C7rna^T`+?hP<|*V<+d+FJEn z^__C^s<>XT9(~&X&-7;0{+~teNmUS{&5`EGiXmlnwyG)X+Deo|L<*tIi0+CFz|f$| z{&`&{7&5Og4ENI#168$(VCC)WhyhKb%+UeHCt$TKjiV<)JNvc0 z65YeW23z}RG=`I-g}@>I93kajXvjqTO0SB-4Y>{g^yQzuu{~|HH__ll__Plq-nS)h za%P&=SEwUhCOc*m0|qdxVs(@spt+y)##pNycm23&syUB3U;hCs%zuw2&9`%fY`e;I zwUt+`F+10>)*P4YJwxfPcapr~AT!b9e!YgLQzPfKAYJdlp~Bp|HCkiC-%)cSDz9c+ zWkpf8Dd1qW5Z&SYt-1ZI^43G=x%uNp`-SdYm{w{)yf42lr!=hk_H&gV053KjBvx{H z+i%a{N2kZW6RNKyrXON739}l{6wh4@fW0?F(rBv!)4Z64ovkCKB)FiqMgIVGy zP?;<^zn`M*Tg)Cyy~bw)BplKzcAOB`je<5|Kk?_OOdFluXV3^6#iM%@#RtH;>?zo8 ziRn9wPGx3-5-E6FdjNG+lHmFBjmT0xb7eao;6EYk)ZZicRBfR0dabH1r(t10RBa%O zCKgn|H-t2nSA8?Vod|cc@ASrFxiRlfgvUR!n=?PoA9h?q&szQW_78YJ?frA|!!i4f zJ`pkg?By5r((Hhs-ek?8>v`!!>xh5zbiJl;XMD=Ml^csAuA;Q*kkDErC$ zu(@tq8@T!~pnc=+IBWdeF1*N3RC)QVv`9`=*(baxOQ6Os`{mLlfZw2*x{O{}&2?Al zdBLM@JjwoViJ80&N5&NE&#HGJcfP@F*ssBPMgCsuoprp7N9ihj45vwBvxk+}yheV6nWTiBI-BB;OqbQdC_*{|GLA@q3 zwT)8a+I%icA1*5!P6O8x9wHssS4FSPP&4x=S8xL}*Mb>nP(>p70&IH6NZ z@MtIKUpASsy%zKO^VFZ*6I|ze%UnNWY-P&vD?pd}oTvB} z%jY?Z$+mE(vSPKe{L^b4+wU4j&LdKwR8G@R2GC(wRh9Dy`&U0>9owa0S}r|O$a)oQ&htbsfrUef3d_h=ZQAc zc^|1#cs~j2xJ)YAaT>1|0QgK)ig=vw$SP{Nbj^lYq?grN!(MgnH8ryK#3AUQ_qL44 z)l#GKGMjobo9a%jDO65`&Aff#|7mIg@M^Wjr6GuSZD=jc4ZB0hV)CHc zgqxo=mvmIdY1N;&V{X3XcD1k;-yV$#dyK47&jp`HF>dkDXI@XZv^4tpcWVcF%8{$1 z(QSKMuaHOcaz9L>C)Y>kn^Wi%RjM9GKiIK(@qK3yX5iGr{&-34Z0Prd@&7kTx9@)E zclYm0{L8nw4Jm%I-<%tD@ZLxOlW<}^M>nF3sZ7&Ry*oGcxL4Bhj3>vyK%en};!ux| zc1TfE6YHHpa1d=blF$h2z6&Y7-11PEo1511mlVOWSfz_9E=u(N_1sT+#)prlzuXsc z`RoGPsvh9g-3DYD-ZVKchG)72SZ^C0b+TL?bn&>mzZyKdxcWYpyuS=e8w-*EcNnwq z?wd*OFXHohuw?T-k4>52y8b15CM^9jtw;GjR_ErPLbO-BDE=xQw$^xzKG$CVwKnMK zGKi5xwaVqpN8Cv@{aBA*O@Bm%-c#Q>)WALsQjIY<(_v3@C_n4CL>+E&U6YmeZ7a*hki%pL8_Nh#K`H+g|dLTKX@R z|BE!l^heN^FHu&tF_oX^6;gkvHd0JY4gO=i3f6}Jee)*Pllr1leKi&F`#N1T!jVe@Q->_UBPiu zUJ9*bRZ`u=M{6P;YYyK zU(H6Pwk)im(hs`}uf-Sp$uauxTZ==Ak?bG)CVm#gBmH-}5b39$FKOxKsRyOrWlQt* zWzRUMyO1xSbb!@5f9K!`Wj+9R@Y1E@SUX{vSYSu_8{jmPeVUJ6RTjPO=j_Iu0sY^` zbvm3W`Wk>QBi;LJK3Y@o_v=7WlF@(<7W**SMIa}(?kz%Ea+PMz!9&QR`=byq*O0ES z=$vpSyoSK9(GMeg{}!!>PxJ#H9+C3&5QWo@*#39A$h7NATWnd70CDD2${zdCG!1x{ z`aaj=OPNWH7OH%4%Z=~9EmvC_&2l3y#I3!aVGCJS$8te=3BC$4H+^hIclCT4txFjW zHS%vAb-}M|$KQ`pS0vv@MRHE}mYS?z*hiTMlJt95P}Ej)Hc%Bv04YHQ5tW#*1ql=g z2?7%expHx*RndG!AQX%Y5*RQzd<16Jv%uJm4H@pX6&ntEygd6#!gf7m^3~5TA0j{h zuBN)7`?9VhI(_Qex^#&OH7DhiQ3k#M3mZ49v4Y6P!+igFrGzu7kP~tkT19iP2FaaD zzd8li<~|r0Ce6Swpe_lABvC5wgXGPBIX%{1)O6H^8K+1{eD z&HMWqJf2oGt2pXfUnMPo-nZL{l>psl(l3+$tl8B_}*9pLT`Y}?jBcU1r=cj z5+Rs?BDWqe-`gOlYlzep4UuZROSNOe*+2uq662rqI>%6S6K~l1Y;yx4Mox|(_$%@i z2-N#C7y`s~hf5dpY3(lB=sX~Q(G!5pC9plYsOubuc3StV{n5mq-1jx$>U!J{NgF~% zc!iEr7tBa&+`nFLNcCs1O$5K)=W9y*XG|%X>FG!n_qk3W_)|I9pV7UvjY}k zog5yOglVUzsQ*9^m;SvsWY~y@sS59LQ;ri#2Zh&^d`T1v7&irgOh*$M)q?t@zhpU< zQeMfxFD5;M8OFhk>Elm-4FglB151aK)-DVF@r5-x3KaESu;Rqcaboj-VleH0I{f|~ zwZFT=ltCRXFTN>a=w_yKvugyHn_hXPLkHmD3FK9@rpG>b+$fD&K&-&8GVUT##0Ie> zn{DE6P<|L;{`s&6xoCimQ4ICYk{FeO#I&Vn@xZYybRI)9G1)B6hzG_b^!)~~g9>b6!G9Jl!9g{Q#=;1Hf;b$$IEvK`#&jWhxeNgbY!6FbL z{mnS$@L{shB36)tI-IN45=ihQ>sw&4ZBc=YnOe3$(iVWwnqOZq=rX@OnfQb06DY2| z;eKMUCpKN-x{Q7TbNTrdxDsjk+_!`L6J@a(R(=}k0DqIxfid)!SSk2<6CyQ%Y(+D|&zgN|{VVo%MF&+n%(GU8bFIPVPl(tb z&=3zU)h_MD&D(72yrz`cFY4DdtIaDV`QV=!2SuJE)4<;aLG>nV(P@K9#(1Ni`5^KG z5wnWmx4w(|J986Z`~|65sWt3YrDRJ;o3U`CwJQKT&F(8gz%xZ9mHA69A)JaW&@pKf zVPn?xu?TzcMe(#B9?)Oi!?D!Nqy)P2Cc+X`M2ay$!p9 z@sZNp0NtkpZA{SE7`khSNxJi6UTxHospcyL)+uFVoU=#BHjN<*0pW}tXCnmPaiRQG z7TmNl5fFI51qsDJ6+pi74#)AZO)34_>lq0?_qp6K&ZI}hd}r?9>)EJIm9@Mz{Z$5s z7s;$4e1EsVn4rAoD?xtJ;Q9^F)=s6uL*-j3hH3>FsW7DK?r&`$}1% z6AJ@)I@7OA@5|rJhNmawV&i2g`@K8`WUA+C$>j15g|>C*549&exk0~xqAZ%Qm>hbQ ztJDh=*_VWK<`62es`+avRaH<=XAPPlXkir_@^li^)1*fP3?&9% z6GQR$i)BVLF+Gngmf>J;Y(&E)@P6L0uQ&qAo74ki&6T~`G;b)z1wq6Ks8man0Vyg7H`nZmFkT%I!PHSa|OJT)Hz5d!}=b5jGO) z%>|8Je{5Zjgq1sNW|YQWtBclI=a34w@)?&|Pjlz``Zh@qi(94?WokiN-rE=O~9Y6IDJ2}8>uWIDKTAZ-PaV6h!{xH;1GCOB);^-nZ@trDaxeg zbb1YO|X;Zn$3Z5pa{DeUrIPB-;F9nyh3x6^p=ObY3^;=!7p{y>Hh{pOtu9IBm|l7Ne4 z<2pTzC5~!qX!H3gQynSk#}I0+u3!;d*dX9Y*DFL=$iP35ijDa?{DKIv`%pz@Qgoehf>AGbfnIYLr1>UmN!o5D{1+SInHIv ziA$}UN=(H`Y6dEFX7_biPx4yo{%KQUGofNYGNno_+!0vj7>vNX7b+Pk-y2$Rxh>KlbmNX#$Fn zqV3Cu1qVw9PUVRtbv3F$fzcLU>u0Lf0WRL&=d6Pb%Yv{I5R;} z3NeGi*{SWz$B0?iSRu!V!#ka@P>aqm*+%S~E4ynlHVseYcDin-Iefp_mS1ySZUD1f zuL7s&M9eHGNT5cSO`h`qb*toeoM=eUMM+DzK8J?s6*#7SiPr!yK}~dMfx@JB!Fz=0 zw$t$t-bM-^y|tteQKE$w>Tg+ZM)}>%i_Vb#xJUNy0am1=4;gOPYj+&|2jpij%D?~>{W<(^oTe=dR zT!(c|BzWlbaqfUSxtVYo$#BOzdHs~&yt z#~J+xx?k2!>Fu1ryvMnZD}tW^w;ZaLpF+J*dXdPTxW=Z41_d_jE5|4T6gMU`X*lAl(RjD zR}5)M)EXc_SK@cBToJM)0sT$>EOT9U{TlVo_$YT$gMNaZr}H)K9AK7vT=i4*N%69~ z@rx_MqLNNpnhZpvQ-xTiPBZwI3xpa%mjIK!-g{5ZhUPM21*iH|v)Al;jjTG+t^v#R zu|Y0=x|Q9Iz14Q-D^h=HaB-F`dT}MSwN*|d{?VnE357xqYfrzPlE!s zf(+me9Y#8Uz3C2J!|s`oi>m!N5@lPY-5(c>f=XR^_!lMgj}5Lcvqa;wVr>v^H=CsP zzNO9q)=P>ZOz(dMFjt)rKmmL~DP~M9AbZy{fMB=>cyyGG5ps&pW~=pH5?V|X`D_NQ zi1$lm+pG95ZW5wR*Dw+K#J~3vuupq&buu)Kp z5@jj@t!>+iPg%czR3rX=GPOiLiDWVXfe1P=*F8u~Ma$e44p1Cet%=*=QJ8%`wF1-n z6b$uRvCmHOR^utn(;9VS4R4*0BE<}%8lzzWfmG+eHMS*FH?E5rQg+||R;r)bVxkos> zRCT!*jt`&FLLRP7dNX$)H z@NGOx`1lNY35Vd-T-qM(yO)KB4=zQoU3vi*j*>&qa5l=O0?ss`#JtymY3oBgb0p1j^|v9*mo2YhWLC z$-&K<%>fp)ScL+}Guh{$gQ!^BQiF;ZtT0tEF1WWWsE9quk8=<<1$W7TV#dQ#QOdad zmym&9ka!vADGs*GiU6fx++Lvg3*a=V5=s9h&egwYA;c6go`QaIwN2GVNU9dnNifXP zvi@yfvsDdVqLP^v(-ZFHXJu!EJ`O*i0!h)OH`EKn&;S#C#h69)BMVcVP`GvX%Zu^a zgy`5I3x%DYVw+Hs>hpqhhQsqiAcr6xT11y6Y@=adLd6R3g93QKiYE9`tR^fka|Ybm z#W?>y`%<-_g7qZi{|O4tmJ{NZA9mrC>Y1`f)t=oa<*|K>rem{|#S$+Na+peJ>d(%W zB9i#Bj3PKy-V1iCRlEXoMBNE2x~F?5IZ5a#dhEVy2dxCn3~G0T-;}5=$7~m7;tB!= zxFU(+Opi68P67UIGU9BL&#K54evp>a>@R8;p2Hro%LG>t9`EsdwC1CmHZWTHeejC; zbGCQtw{|Q0ziLMF^jdPpnBM$IUM-wFUKt-2oG|lq>{?+zkWw_OKU*JiG6V0Pzi3WCGFsB60)$F-pBF#UZX2V=w3g56t zf#UQ}uKQRL*%UwCg@@6g6ZLweI8maO$eF&kB=P^wU}WU)#*a;%ryiz;9}=4CLHf_P zmL)n&E&VO-Wokbb|K0eS zNnb_mCNlDeU-kwYku`we6#JnseSx<4FI|pLqG+W3h3x$gI@n)LoE;n(hhxvi(_;*moCw+>6~Xe(f#17Nr28EXt4}X& zVpAMn|JTCsY1&~k%Jjd*J|I#EZ zc`E65stj-17GrDF={1w!IL@jd#XRrnM5W14%tQ6OIqm3r)MWHg+^NY>zDZ9ZXd@d9 zwsKgVl{$UR?tAZM$$TnwR?z$nCM~mpo3GpO`3D57^YvzWEoYz!0ig)iK36Gd5&&E& z)|3*8_8YR&ike7H>N83OO*|&Ck;&{B&y@F6(^ZQg;Dfj2l-Pjq$+)OUV#(?Iq~dtI z^LJuA3e_H*S_(X+{2AOJX{O1%1r>N{E0<5l+2bKY?MVFjqptBtN(*e%bMTYZr{8ou z*IdRTb%cW&v;6Eitz%WodNJ%884$f@un0ozOY%N5HP@K&fCV)9Rpi;?e#pm+>7Z6$ zxKS!;YKPTHhDnUt&?M^{t9W?NN_R_G*vNe5FZMPO~+>L zXy5%5jFbs^QP9=ROkdrm0I9O%?7$V|D223uyH=&ckb_c51*I`G8b7~WmUJ^_uw&)BfT9>%KG@|lAIbOJ7@9OnpG`d* zU8jWG$J*_g0G@`@43MtDFwY_ViIuvs=1I%wc!(nPGThi_$IlIf>qc|Q#J!^Q1)b|- zB6^*3+4#qPWPW^403An}-lZSAnjVX2Ycuk#K>V`DTZDFu(@8p|!*Aj>Zl}+fWx-k| zV442wvRX00QqqR-u@bVR60PE%6Q57~07ei|4_fuEY?;gi1c*UG9^*oN!(ux!)1AL= z{5L=WCz{Z&Z;TmM;>eYTxfov(FFrFco$N%$jG~_Cj|w{gy-LN1aUf_NP2!*!Ey6&z zXUwky4Ca^|6VuD?Kyy;Zjrv_xtO>jPHFwh)EWRw<5yV zuP9kyT||KeUUx?4jjX1mNavY2mF9;A{tDa6CZg^TGkz2b0Umcc8VB=UQCDu7@nfa< zOxMxm=}=ZnOmo;)Sf99sf@MtIkYSzUs376m^77&W0f4)C>yr~Zu|(5$!`f8>5Bf%9 z9EEFertV3AJ4s9DtMw2=q9nF#PEy$e*@Bf|-2w#LaxV_{$OSLOo}l#x%~$`!^U0ovtLD z@q$^^1AZ>->XW`NzDWvEqakXSQz(pNYS?(~Vr{R@K2&Y(CcaYog?yc8E0(Q1*v9Kt zL%iE(qSI$aRSbgTwIlsJd)chl(!pFLreN0fFa}1e2~RIKlkCR=I{k2p>&$b1IKwRR zzSBKEmi*QSGc@8=`)T{9A5?W)eHib*Ua~3_{4FZ?lfMcr6k*r9YW{~^CO zOO#!$mEvx~-YvwyTcX1F@gk?EHr|r{>Qv7EEcg2&(VLPCq43alEIpQ*An)K*Ru@UZ zx!9K~cK6eFB9D>mEfC&&x41svD-jQw02yY)PS#jg=Vy;QZhU_d_5PPOdV~j;BqF6& zinYM$ZyLgLt!e^);eLIIsJ@iWc}=(HkBYnTp8LsCQ5xiyBzuX&$k~Z{H5?OOj)~W! z?b^nUPqMED+6Oh&<;aLeC;lisM@_>f_?xqEl^VrRyhIym4eKe;t*Z5%J5Q$u!1>#` z@(;@q-;oI`86yEfWwMJPUqB9XI^!vrGUd_;&{lDNsRp6F?WLFYafCQv`cpJ?Xlel0 z9W-)}AZMakA-G;OZ>KD&*JO7c%kXAq$*Cp9*6(w~KAoxu z#++0hXr+;58}x+q^F{PaVS;FrRXAXh`OCNx^<;qlZ4geo6c>!%&Bn=}>x!MuzJ+7D zud_wkE4urqhd8&os&;3Sx>pmAFKra>5Ed?z^ig12au9-10&J!cr{^>QAllC#%?7RO zygLDbU|sK|X2i_?v*P;tuE#1t$4&NLwKr{5VHYp*q1^r7Yxh(1`Xc}l0uP|0=mVA} zy<5mXp4(`R=7(A7X&H!F10S*iv*_L{B@#?*}!8YPNrmEUthP6%xhRQ_c_V5#rx&<`LJ?BR+UL%iz)JmSpnttNM7mU||XX*Y!;NX3JZIY8hVfpZK8o*gc8z;=<_0)kU zya^wF#n~egiR}KQk}k8N^D^1eT+ZguQvR>mw&jYU+2!|-f=Knp|2R!h(+>1OegJ!= zku585h!xsO4bY9{gfa%oaVPh2YjtSx- z9 z8!Im_QC6GnswSbjOt6 zi$_X|5^#a&mgGIaaisIu1bCYUCh0fsSL%1k0pmXA2ILF6MzNRqofGScY%^|CcQ<(R zd!IhLJ!xFt&fU%dtQj{6_cgwBczC}LSnmug6K!lcg1>_bq}4h#D^hzZ6D)15u53Q6 zDGqF{7}>-oN!Ny-mLUf~SliMIoz5ytl^SPk9!GL)PihOVluPp&0RjL99aVK*$7H3O z6bW04R&O#=zebZs-=b(e2xsZ^S+q}S_omM*2!Xmvx(=gi>Ww9n!Eghg1EcZM=xVvn zwc?z}C6cLvg@cD}TQMPXEoPF+37ZgaGSn7qXC{!JZ{u9gV3r^O(gO*BWL+#z+lNhF zGJK0zjQK@_O%hExK$L{xwi#lV?}2jbnTz_@7=*lJ&-HHGn)&g>tER2!svr?^9INGx z%pKJ3Lf!igjPgwqJYvwr?{Wui=mx_wS*m%?G{*K}4EIx{r9wf^(FK_9 z-H`uB#0Gx*JW(6ozR#1GB?X|F>+{UqGkg!9Zr~r&h7KqgsSI=*=|BxrYN>WBy-GrHD^Tji+bp}`jmeovVU4^nNB7$M0YZ$8md zBd)G0;Ad!N3;LK=OX@P06icF*)5LSWC%rb0t6?ifUdL@uQI`bRKKojy%}8BdcZd@l zi#-Ta$tUKzsLpMvH9b^E2gzKv=1z0@mu$P*PTlBxfcZZl@6CDpjwBod@Y}1-OaVjK zEQ2^94=W{Id7Rhk81EGXA5~z?g%_)rNGg~bp6`A`JRagIgHuE1SuY~=&G&3;Xf}j6 z(H%OCLVT7zces(?yDcTE8uPO3m}+cBtd8{;6@ZGiVUd>}o$^N=7hfC_9SLa&-Vz(V zeBW{sV1iZYN!{l4P5N#_K@w(n@bL3W zU-!21l55ug#F@FmN#-1^=&0}tWSRW)5#fs8a%Vb5tgP!x1~@VQx91)?;nw{jr>5n3g}Bp(cB z<0#|yvAaVsG#arQpN0ugX_&+4+~fMed7&v>H}?$I&P;w@#hMQ@-QUtF=TE$XvFpc& zU&F{UK6x>oyS5R~U7WJ-`g<@iu;`ls#!okd@uY1CCEKf-gXIxgQz_<#1XN;!Ilqq! zF!N?kD-G`R^P&n(Q#-Jh*U`b`kD3{VSfw?oZ=!)Gj-YtjjM=)pXmgH5qd4ga(>_1F z5Dn(o2OdA(ILkl0^6r9)sIpuAXs0vAg>qqrd&)B6l4ZgGJ8m8rm5Z+-Jr*vL?jv(z zA#L62EZtj{sprX!l(VM|ZCLG$Tk*&MjOqz0^$=CyPmStN3pV+<38_ObZuAd<7rmu8#AbgOd2)W#gpY+#`zcPu>zfIGU)cGn(Ly!*{H}|8^vQA><1!t$I7Vf>g&fwzfU>E-$FIlNBYx4Ru?J)gvfPHtxli(T4M1hP*Q-J(Un= z$k@$a9K$WUUftmA1cLn{JDNZOo`@xG+k0$jqT5d8{c|K=3`lfE6gFyizBA9c(Co6N z{VS33^*eGF#b%`gRhz~?Sd&bTsp<{a5NX5ywZH&f*d+!pJq_j9e#I^%Cr#ZqHj;o{ z-48@Nb3J0oljyAJtJH39zS+uGZ6vAoyR_Q~R=(|({7IA;wt3c$zH+Gqn0Cv04d)g* zvsWS6&CYCO3=i4U)zF)YDGEpvQ4HU~sr9_>I(R;sP;~9{{W#%`8yiyKE9)RK!&iNs z`ZOW9L+Cmir`A5S+#3zcLB|vJ3f%wO8v5@B-na0~6D&;Z4(rcza*W~rKQ^qF3^U%A z#iW}5;*sz^aJr~|u>+a`o0L8MP*BA=MQPJz)o`CH&{AdvylNWVkF!NEUHt!TvA1DE}oZB}7>I!hs$SLZdMl7vWIlz|~S9syOR0 z-FX2&Bq4v%T;hrwz_rn%7RnE4nm>{c>(uJt0)=;z>uzja(Io>m#NbT-H$LFrK=0d& zvV6WU@*f|PPuF;H)$vtM%i}rD#WanLqF%g02ucMrQ(20OHTl4U<+kL93AfxIecf!( zp`y>(V18I}piPqoOf4IaE0GP1IKrxG@!h(NsDBWXHfzb?fMlY$P25S(vK)1^hQb3S z3K|N$)0*`Wq>#l>lD`e?G3=FX0!9Bkk z#oP!nY*->(93Qz()8S0LXl^>C!fuuuW13!sfFRrx9;5Iu#Y;+R2Cf1Rt_A(TX2W?E zW25sUp3T_dt38me5uY3(~d!3S+J=Fxq;|88}GH zu#{q9=XumA+L5}w_0jg9hbPP+Etp0vXThJILV2M>H|XstV|g{%=#Camgi+MXEF8$j zkPk1^0VX=|ZWHa`0sVc=T7w6Il8+wb|0jbhBq*Nle_8iPb_5wF@iz&ED;q- z_re61SZ+!Ll0dfiaJHf>CH8S3^ayoQbL0w*0yWu|Tyc0fnst1HGXYqZVm~#&*>j8( z)t4}&luFwRG~`H=tPD0`6bv9z#!3s_r0$r|NH%#2N26mkWV zmjNtlCBji6_n$V+<#D9jL@23-;J-lDy7)9Kg5T{_K(_=g8^uI>$*}lI!W3InX zChrV>ZpUZQ=;8g*%O@^>ARtJ3W1c z2ukYa$Nrro*~WB#!Q8NVdZ*FzJ-{&I4o=F8M3K$n^pwGSlTJ7(4_vG|Xj5}iKiE~o z-9?1BJrl#VNZs)LnDYVb?n-P1)z`{?0BDLZ3X9t*d+gI0SA(OqR!OU^m7{z_#EeA} zG6_*r1GBS#*DnF%^12$JSf|&Kwj+wxO;B8n!K5PKzrw6liN$JC7YPof5vy==!f-^% z2BPbHd{|F$^G`cy8E$HpE^1#{zQW!_QTL&`df2A%vE{;&_cj3g`)2BC=`S2>lT6U{ z5_Za7OBYt$Y`B@>2q!(PCbmFd7@>67Q!Ox-iA?gCWS##xP$txBTM02`FQv2Jd?zRO z_ojeckHJhVSqg%-dEwBebCknmYc+=b zJRK<8gB{-;96-#9T$l9Q%vnlC4t#L?_47Nsb)kdY-Ue&+$8|Zd9T-MR>tC>%5;j&V z{=0c0=y#+_TdETRLLI;VO~eje=39*!n*AiT)jrBmTB(9C$>Pevjv`W1OLWzs$UnEO z<(-?+elhSSvE=>^om;N#6YqH!EzYR{WpP4OW)gDnQ+VHC8JJ=jYpgQ~AwmNW`YI zOtW28o0vM0=?9w>c0~*NYiJ}ZOHCA;n6cgT@BPEx9bwcq@%XOJS_fP=vR;%%JzkY7 zlk8;&Yoi_C$7)Es=bNj*`->w>s-BhokyzzYJoU;Hij8KDo?Z^YRbkU$)w7h;OD&Fd z2_VHE1JJWScY>2q_~@U|&;(=TR)h0gDM-WQV4fp6y_B`lD%$xySasR;&+*cFZpF|# ztI!H4X}QZh(-J#s%WMmW+BmC1qw}MqB-Jps4&mc8uaQVclu1XfyW;vWP|p^fu8u*U zn4^b&sZb(4gi3dz-EpAgSV@vLQxJI?lJ%fUgAOgjMMz3sD!auqIo=u?} z*RdBb9rdAqnJ9%Z<1~&7bLl${|2&8P8T`T+{P(S%$93b7JJuA@fih?L48mkku_V_8 z6JT?+K$iD;&y8BmWNE^rtK%K@@}Eb&47XQ-I}YQv5;A)tzd-jHs}dI6uS^wN&U4Mh zD*hgZq=<}_g8`I^as(4j%hmpfdZ}rI>dWzfELbu1I&}LMZ>)W*+^l;4Q{Tby0V0|Q zJNBk5r#q|@r-IuzcYvw;6Tp|>(EsMn49MZ*`)%=gymR~VdA&L}|6*%bB< z5yJfpq*ZTnj8i_nJG)mcKB2jef?zT0VIu0v-vLOE-L-mW`KXHBu;vh0%=9=R0ZfTD zQ@4?hU04ev%Z;*R)04{zjq(VMmZZ-Ec?ZU_Vc{{OaVP%=L9Y*D;HAw&3KSb3K*mI5 zss;lEr3z(ZQ6^HC48d0Rq$dGUc-JH%zcU}Qod|bwb{Ucl!Tf|~T0k=nrzSD?3rQ!W z2!DrW!q5vzk3lmIr5WR2oyiA(h-(N^88<;?!Bi|Oxn)(fVp)q}gUiX9|)R`S$p>IyQ20*j* z0=sp3vQhUOxq1T;Y_1Cg+CN(;hMjv;+>KS4xkyn~~ zexAY&S7CI(Ej}zXvuCY1Og7sOH`^~a$DEg|d>*}c*nVb)yFGTONj|n*ziOa&^lCD? zqIY=2c80yK3GeH<+N@F!+lxc~k&}(u^3&RM)Uw+}6sE~`h#{&T?Q;mL3N#mLEM%3{i8#LmXZW^Tk~Y-Ym7%E-#k`~TaK z=I#o@1YrH&s)TJ>CppIKKOo)jt=|c6qeb*Q?$rC=ig~L6Q7Tu$Xi*ZgU{-8uI4HE^ z>_qY~Wul0g!uWE^1?`o>4#hNj?W$B5jMPiZ+qz$$N3GuH&Dl@>*`3?RuFa{diIg$g z)t>%3C;0#VDC%nDPh+^3B&~sH08^==-_GMAWi+E#G_>#2!@A+La~38X7pC^ahe7^ENP~ps>(^4uv`OqRfR{=jjj7x{ zgF$4KsYtB%B96wSxb0IZ?5Z)B`k1)Fy#mcW+j?-qj_N*lb*kLfjUSwQ!vpAv2@v|h z@~sYyP4}6`^1e>v_+(ebXiQ^^*3MJET;us+_c=|L(s4UM51oy`ksL_RVDxY!*JD>N z{BDYy{>zECF9D7jOpE6(fS`3B&XZ(^R0s3+F3Sm`DR}~Y)f)igPpN}^TTA{Go?zC9 z2Dh^t*=c(D;>q$ypg*ATnWvi|IB&coQ9`z*VDZyjtn2{A6~{jy2rY;H)&D>0#IUwqL>tx@FIg z6L@rA)fbYWPiZaE<504TfS{ipH?HU&zYBxlzhDkrUf($<2*GH^8)?fS?Ny&&8){yE znIrzp@aa95ZXk>kQ&0G%6ISgI+Z%XKWZfY|8_@31bQ@Ufp-&sy>w)}MOy1$>8ub-(!30Zq^T$ybu7^7Si6IMa*2IzHk0JzUt_7ra+v zEOwVmfRdEl>qm*Gclc2$BoKaf6cze#`zJ}*$?bxm*fftrfF?Qj(O0*CcBg~_mHPL| zH}Ns0%lf5IHE9Z|)Ck<%2;P10COwR=o