From 26cbe1ae1953d2db886af547cac5067e697ac555 Mon Sep 17 00:00:00 2001 From: afanfakh Date: Mon, 28 Sep 2015 14:23:07 +0200 Subject: [PATCH] adding new section --- mpi-energy2-extension/Heter_paper.tex | 178 ++++++++++++++++-- mpi-energy2-extension/fig/eng_con.eps | 32 ++-- .../fig/power_consumption.pdf | Bin 32395 -> 32448 bytes mpi-energy2-extension/fig/time.eps | 16 +- mpi-energy2-extension/my_reference.bib | 11 +- 5 files changed, 195 insertions(+), 42 deletions(-) diff --git a/mpi-energy2-extension/Heter_paper.tex b/mpi-energy2-extension/Heter_paper.tex index 7252e44..e30d62c 100644 --- a/mpi-energy2-extension/Heter_paper.tex +++ b/mpi-energy2-extension/Heter_paper.tex @@ -54,7 +54,7 @@ \newcommand{\Sopt}[1][]{\Xsub{S}{opt}_{#1}} \newcommand{\Tcm}[1][]{\Xsub{T}{cm}_{\fxheight{#1}}} \newcommand{\Tcp}[1][]{\Xsub{T}{cp}_{#1}} -\newcommand{\Ppeak}[1][]{\Xsub{P}{peak}_{#1}} +\newcommand{\Pmax}[1][]{\Xsub{P}{max}_{#1}} \newcommand{\Pidle}[1][]{\Xsub{P}{idle}_{\fxheight{#1}}} \newcommand{\TcpOld}[1][]{\Xsub{T}{cpOld}_{#1}} \newcommand{\Tnew}{\Xsub{T}{New}} @@ -350,9 +350,9 @@ maximum frequency for all nodes: \end{equation} Where $\Ereduced$ is computed using (\ref{eq:energy}) and $\Eoriginal$ is -computed as in (). +computed as in (\ref{eq:eorginal}). + -\textcolor{red}{A reference is missing} \begin{equation} \label{eq:eorginal} \Eoriginal = \sum_{i=1}^{N} \sum_{j=1}^{M} ( \Pd[ij] \cdot \Tcp[ij]) + @@ -477,9 +477,7 @@ in~\cite{Zhuo_Energy.efficient.Dynamic.Task.Scheduling,Rauber_Analytical.Modelin \label{dvfs} \end{algorithm} -\subsection{The algorithm details} -\textcolor{red}{Delete the subsection if there's only one.} In this section, the scaling factors selection algorithm for grids, algorithm~\ref{HSA}, is presented. It selects the vector of the frequency scaling factors that gives the best trade-off between minimizing the @@ -578,29 +576,28 @@ Grid'5000~\cite{grid5000} is a large-scale testbed that consists of ten sites di which is the French National Telecommunication Network for Technology. Each site of the grid is composed of few heterogeneous computing clusters and each cluster contains many homogeneous nodes. In total, - grid'5000 has about one thousand heterogeneous nodes and eight thousand cores. In each site, +grid'5000 has about one thousand heterogeneous nodes and eight thousand cores. In each site, the clusters and their nodes are connected via high speed local area networks. Two types of local networks are used, Ethernet or Infiniband networks which have different characteristics in terms of bandwidth and latency. Since grid'5000 is dedicated for testing, contrary to production grids it allows a user to deploy its own customized operating system on all the booked nodes. The user could have root rights and thus apply DVFS operations while executing a distributed application. Moreover, the grid'5000 testbed provides at some sites a power measurement tool to capture the power consumption for each node in those sites. The measured power is the overall consumed power by by all the components of a node at a given instant, such as CPU, hard drive, main-board, memory, ... For more details refer to \cite{Energy_measurement}. To just measure the CPU power of one core in a node $j$, - firstly, the power consumed by the node while being idle at instant $y$, noted as $\Pidle[jy]$, was measured. Then, the power was measured while running a single thread benchmark with no communication (no idle time) over the same node with its CPU scaled to the maximum available frequency. The latter power measured at time $x$ with maximum frequency for one core of node $j$ is noted $P\max[jx]$. The difference between the two measured power consumption represents the + firstly, the power consumed by the node while being idle at instant $y$, noted as $\Pidle[jy]$, was measured. Then, the power was measured while running a single thread benchmark with no communication (no idle time) over the same node with its CPU scaled to the maximum available frequency. The latter power measured at time $x$ with maximum frequency for one core of node $j$ is noted $Pmax[jx]$. The difference between the two measured power consumption represents the dynamic power consumption of that core with the maximum frequency, see figure(\ref{fig:power_cons}). -\textcolor{red}{why maximum and minimum, change peak in the equation and the figure} The dynamic power $\Pd[j]$ is computed as in equation (\ref{eq:pdyn}) \begin{equation} \label{eq:pdyn} - \Pd[j] = \max_{x=\beta_1,\dots \beta_2} (P\max[jx]) - \min_{y=\Theta_1,\dots \Theta_2} (\Pidle[jy]) + \Pd[j] = \max_{x=\beta_1,\dots \beta_2} (Pmax[jx]) - \min_{y=\Theta_1,\dots \Theta_2} (\Pidle[jy]) \end{equation} where $\Pd[j]$ is the dynamic power consumption for one core of node $j$, -$\lbrace \beta_1,\beta_2 \rbrace$ is the time interval for the measured peak power values, +$\lbrace \beta_1,\beta_2 \rbrace$ is the time interval for the measured maximum power values, $\lbrace\Theta_1,\Theta_2\rbrace$ is the time interval for the measured idle power values. Therefore, the dynamic power of one core is computed as the difference between the maximum -measured value in peak powers vector and the minimum measured value in the idle powers vector. +measured value in maximum powers vector and the minimum measured value in the idle powers vector. On the other hand, the static power consumption by one core is a part of the measured idle power consumption of the node. Since in grid'5000 there is no way to measure precisely the consumed static power and in~\cite{Our_first_paper,pdsec2015,Rauber_Analytical.Modeling.for.Energy} it was assumed that the static power represents a ratio of the dynamic power, the value of the static power is assumed as np[\%]{20} of dynamic power consumption of the core. @@ -743,7 +740,7 @@ Table \ref{tab:sc} shows the number of nodes used from each cluster for each sce \label{fig:time_sen} \end{figure} -The NAS parallel benchmarks are executed over these two platform +The NAS parallel benchmarks are executed over these two platforms with different number of nodes, as in Table \ref{tab:sc}. The overall energy consumption of all the benchmarks solving the class D instance and using the proposed frequency selection algorithm is measured @@ -762,8 +759,6 @@ The long distance communications between the two distributed sites increase the over one site with 16 and 32 nodes are also lower when compared to those of the two sites scenario. - - However, the execution times and the energy consumptions of EP and MG benchmarks, which have no or small communications, are not significantly affected in both scenarios. Even when the number of nodes is doubled. On the other hand, the communications of the rest of the benchmarks increases when using long distance communications between two sites or increasing the number of computing nodes. @@ -846,8 +841,159 @@ percentage. Finally, the best energy and performance tradeoff depends on the inc 1) the computations to communications ratio, 2) the differences in computing powers between the computing nodes and 3) the differences in static and the dynamic powers of the nodes. -\subsection{The experimental results of multi-cores clusters} -\label{sec.res} +\subsection{The experimental results of multicores clusters} +\label{sec.res-mc} +The grid'5000 clusters have different number of cores embedded in their nodes +as in the Table \ref{table:grid5000}. Moreover, the cores of each node are +connected via shared memory model, the data transfer between cores' local +memories achieved via the global memory \cite{rauber_book}. Therefore, in +this section the proposed scaling algorithm is implemented over the grid'5000 +clusters which are included multicores in the selected nodes as same as the +two previous platform scenarios that mentioned in the section \ref{sec.res}. +The two platform scenarios, the two sites and one site scenarios, with 32 +nodes are reconfigured to used multicores for each node. For example if +the participating number of nodes from a certain cluster is equal to 12 nodes, +in the multicores scenario the selected nodes is equal to 3 nodes with using +4 cores for each of them to produced 12 cores. These scenarios with one +core and multicores are demonstrated in Table \ref{table:sen-mc}. +The energy consumptions and execution times of running the NAS parallel +benchmarks, class D, over these four different scenarios are represented +in the figures \ref{fig:eng-cons-mc} and \ref{fig:time-mc} respectively. +The execution times of NAS benchmarks over the one site multicores scenario +is higher than the execution time of those running over one site multicores scenario. +This because in the one site multicores scenario the communication is increased significantly, +and all node's cores share the same node network link which increased +the communication times. While, the execution times of the NAS benchmarks over +the two site multicores scenario is less than those executed over the two +sites one core scenario. This because using multicores decrease the communications, +while the cores shared same nodes' link but the communications between the cores +are less than the communication times between the nodes over the long distance +networks, and thus the over all execution time decreased. Generally, executing +the NAS benchmarks over the one site one core gives smaller execution times +comparing to other scenarios. This because each node in this scenario has it's +dedicated network link that used independently by one core, while in the other +scenarios the communication times are higher when using long distance communication +link or using the shared link communications between cores of each node. +On the other hand, the energy consumptions of the NAS benchmarks over the +one site one cores is less than the one site multicores scenario because +this scenario had less execution time as mentioned before. Also, in the +one site one core scenario the computations to communications ratio is +higher, then the new scaled frequencies are decreased the dynamic energy +consumption, because the dynamic power consumption are decreased exponentially +with the new frequency scaling factors. These experiments also showed, the energy +consumption and the execution times of EP and MG benchmarks over these four +scenarios are not change a lot, because there are no or small communications + which are increase or decrease the static power consumptions. +The other benchmarks were showed that their energy consumptions and execution times +are changed according to the decreasing or increasing in the communication +times that are different from scenario to other or due to the amount of +communications in each of them. + +The energy saving percentages of all NAS benchmarks, as in figure +\ref{fig:eng-s-mc}, running over these four scenarios are presented. The figure +showed the energy saving percentages of NAS benchmarks over two sites multicores scenario is higher +than two sites once core scenario, this because the the computation +times in the two sites multicores scenario is higher than the computation times +of the two sites one core scenario, then the more reduction in the +dynamic energy can be obtained as mentioned previously. In contrast, in the one site one +core and one site multicores scenarios the energy saving percentages +are approximately equivalent, on average they are up to 25\%. This +because in the both scenarios there are a small difference in the +computations to communications ratio, leading the proposed scaling algorithm +to selects the frequencies proportionally to these ratios and keeping +as much as possible the energy saving percentages the same. The +performance degradation percentages of NAS benchmarks are presented in +figure \ref{fig:per-d-mc}. This figure indicates that performance +degradation percentages of running NAS benchmarks over two sites +multocores, on average is equal to 7\%, gives more performance degradation percentage +than two sites one core scenario, which on average is equal to 4\%. +This because when using the two sites multicores scenario increased +the computations to communications ratio, which may be increased the effect +on the overall execution time when the proposed scaling algorithm is applied and scaling down the frequencies. +The inverse was happened when the benchmarks are executed over one +site one core scenario their performance degradation percentages, on average +is equal to 10\%, are higher than those executed over one sit one core, +which on average is equal to 7\%. This because in one site +multicores scenario the computations to communications ratio is decreased +as mentioned before, thus selecting new frequencies are less effect +on the overall execution time. The tradeoff distances of all NAS +benchmarks over all scenarios are presented in the figure \ref{fig:dist-mc}. +These tradeoff distances are used to verified which scenario is the best in term of +energy and performance ratio. The one sites multicores scenario is the best scenario in term of +energy and performance tradeoff, on average is equal to 17.6\%, when comparing to the one site one core +scenario, one average is equal to 15.3\%. This because the one site multicores scenario +has the same energy saving percentages of the one site one core scenario but +with less performance degradation. The two sites multicores scenario is gives better +energy and performance tradeoff, one average is equal to 14.7\%, than the two sites +one core, on average is equal to 13.3\%. +Finally, using multicore in both scenarios increased the energy and performance tradeoff +distance. This is because using multicores are increased the computations to communications +ratio in two sites scenario and thus the energy saving increased over the performance degradation, whereas decreased this ratio +in one site scenario causing the performance degradation decreased over the energy saving. + + + + + +\begin{table}[] +\centering +\caption{The multicores scenarios} + +\begin{tabular}{|*{4}{c|}} +\hline +Scenario name & Cluster name & \begin{tabular}[c]{@{}c@{}}No. of nodes\\ in each cluster\end{tabular} & + \begin{tabular}[c]{@{}c@{}}No. of cores\\ for each node\end{tabular} \\ \hline +\multirow{3}{*}{Two sites/ one core} & Taurus & 10 & 1 \\ \cline{2-4} + & Graphene & 10 & 1 \\ \cline{2-4} + & Griffon & 12 & 1 \\ \hline +\multirow{3}{*}{Two sites/ multicores} & Taurus & 3 & 3 or 4 \\ \cline{2-4} + & Graphene & 3 & 3 or 4 \\ \cline{2-4} + & Griffon & 3 & 4 \\ \hline +\multirow{3}{*}{One site/ one core} & Graphite & 4 & 1 \\ \cline{2-4} + & Graphene & 12 & 1 \\ \cline{2-4} + & Griffon & 12 & 1 \\ \hline +\multirow{3}{*}{One site/ multicores} & Graphite & 3 & 3 or 4 \\ \cline{2-4} + & Graphene & 3 & 3 or 4 \\ \cline{2-4} + & Griffon & 3 & 4 \\ \hline +\end{tabular} +\label{table:sen-mc} +\end{table} + +\begin{figure} + \centering + \includegraphics[scale=0.5]{fig/eng_con.eps} + \caption{Comparing the energy consumptions of running NAS benchmarks over one core and multicores scenarios } + \label{fig:eng-cons-mc} +\end{figure} + + + \begin{figure} + \centering + \includegraphics[scale=0.5]{fig/time.eps} + \caption{Comparing the execution times of running NAS benchmarks over one core and multicores scenarios } + \label{fig:time-mc} +\end{figure} + + \begin{figure} + \centering + \includegraphics[scale=0.5]{fig/eng_s_mc.eps} + \caption{The energy saving of running NAS benchmarks over one core and multicores scenarios } + \label{fig:eng-s-mc} +\end{figure} + +\begin{figure} + \centering + \includegraphics[scale=0.5]{fig/per_d_mc.eps} + \caption{The performance degradation of running NAS benchmarks over one core and multicores scenarios } + \label{fig:per-d-mc} +\end{figure} + +\begin{figure} + \centering + \includegraphics[scale=0.5]{fig/dist_mc.eps} + \caption{The tradeoff distance of running NAS benchmarks over one core and multicores scenarios } + \label{fig:dist-mc} +\end{figure} \subsection{The results for different power consumption scenarios} \label{sec.compare} diff --git a/mpi-energy2-extension/fig/eng_con.eps b/mpi-energy2-extension/fig/eng_con.eps index 3076d23..4b9eb26 100644 --- a/mpi-energy2-extension/fig/eng_con.eps +++ b/mpi-energy2-extension/fig/eng_con.eps @@ -1,6 +1,6 @@ %!PS-Adobe-2.0 %%Creator: gnuplot 4.6 patchlevel 6 -%%CreationDate: Fri Sep 11 14:21:34 2015 +%%CreationDate: Fri Sep 25 09:46:14 2015 %%DocumentFonts: (atend) %%BoundingBox: 50 50 554 410 %%Orientation: Portrait @@ -506,7 +506,7 @@ SDict begin [ /Author (afanfakh) % /Producer (gnuplot) % /Keywords () - /CreationDate (Fri Sep 11 14:21:34 2015) + /CreationDate (Fri Sep 25 09:46:14 2015) /DOCINFO pdfmark end } ifelse @@ -875,7 +875,7 @@ Z stroke LCb setrgbcolor 88 1910 M currentpoint gsave translate -270 rotate 0 0 moveto -[ [(Helvetica) 160.0 0.0 true true 0 (Energy consumption)] +[ [(Helvetica) 160.0 0.0 true true 0 (Energy consumption [J])] ] -53.3 MCshow grestore LTb @@ -892,11 +892,11 @@ LTb 1.000 UL LT0 0.10 0.10 0.44 C LCb setrgbcolor -2094 3205 M +2094 3309 M [ [(Helvetica) 130.0 0.0 true true 0 (One site/ one core)] ] -43.3 MRshow LT0 -0.10 0.10 0.44 C 2160 3205 M +0.10 0.10 0.44 C 2160 3309 M 327 0 V 803 768 M 1476 427 L @@ -912,18 +912,18 @@ LT0 3495 610 Pls 4168 1898 Pls 4841 705 Pls -2323 3205 Pls +2323 3309 Pls % End plot #1 % Begin plot #2 1.000 UP 1.000 UL LT1 1.00 0.00 0.00 C LCb setrgbcolor -2094 3095 M +2094 3199 M [ [(Helvetica) 130.0 0.0 true true 0 (One site/ multicores)] ] -43.3 MRshow LT1 -1.00 0.00 0.00 C 2160 3095 M +1.00 0.00 0.00 C 2160 3199 M 327 0 V 803 1231 M 1476 494 L @@ -939,18 +939,18 @@ LT1 3495 718 Crs 4168 2836 Crs 4841 631 Crs -2323 3095 Crs +2323 3199 Crs % End plot #2 % Begin plot #3 1.000 UP 1.000 UL LT2 0.00 0.39 0.00 C LCb setrgbcolor -2094 2985 M +2094 3089 M [ [(Helvetica) 130.0 0.0 true true 0 (Two sites/ one core)] ] -43.3 MRshow LT2 -0.00 0.39 0.00 C 2160 2985 M +0.00 0.39 0.00 C 2160 3089 M 327 0 V 803 1478 M 1476 479 L @@ -966,18 +966,18 @@ LT2 3495 1524 Star 4168 2800 Star 4841 1107 Star -2323 2985 Star +2323 3089 Star % End plot #3 % Begin plot #4 1.000 UP 1.000 UL LT3 -0.85 0.65 0.13 C LCb setrgbcolor -2094 2875 M +0.72 0.53 0.04 C LCb setrgbcolor +2094 2979 M [ [(Helvetica) 130.0 0.0 true true 0 (Two sites/ multicores)] ] -43.3 MRshow LT3 -0.85 0.65 0.13 C 2160 2875 M +0.72 0.53 0.04 C 2160 2979 M 327 0 V 803 993 M 1476 469 L @@ -993,7 +993,7 @@ LT3 3495 745 Box 4168 3046 Box 4841 913 Box -2323 2875 Box +2323 2979 Box % End plot #4 1.000 UL LTb diff --git a/mpi-energy2-extension/fig/power_consumption.pdf b/mpi-energy2-extension/fig/power_consumption.pdf index aea4b864f4fd2f933d7036b45428521c461eaa4f..6405813d7cd56c12d2d5e1fd46310cc280503f4e 100644 GIT binary patch delta 12661 zcmaiabxdB(yKQlIUfjL7yf~CXad&rjciTV(*B5s!?(Wj!THM{;opQhPJGnPG-}&S2 zWU`;EthHw5NhXZwzg4S(iqGdIU5O01m}I4_F-Lt^D~~LXE-TA z_J{j{Zt^ag+P1P&o0dO^j#=0eS1#g5$C?7ajvjUv)C7cS9ru$b@4ltBzO4W;K%mF- z#?{p=6W}`Xl&M5Gkft~lzEV%Fczv^?grL0B%lPm#s5~w5t z=S0Os<0Z56Vib46h6l{!$seq$7OM$peOrDMNsM=&Gm54%JnZ=l-5Vq)L6+Xh3I02; z1_?x8#>FQb3aL<~heeEKJapa;gdgGv3gOW&n^BGPDY*?RZM;;*7bHNjximvzFF(Rh2U`cD|C8ls!a3O^#_tQoV>O~$5uTI zexnAdqkWSiurMHEJ*{9#uZ+X81nXD`?M@A1SQBDO6oxP?M=-@HD-!IiMDQ9io=6eQhJ!!EkKq+JXQ=iBjni?F+p{LufUpl zh7z>Ei92T?iY|)VAip1<-*0Ur=p)}fCs2+NV(mhbFkQW}3}^iJPGH59dg0fw*? zT^YHqP#1Ni*Rdcmq%)KLSX5DFv0M`-sLb^kNxjxrN$BiZTBu)9aC|WA7wm~ zF2}`PuHAUyxQEUlV%ge_YG(#u&0`Y9Ff~P@sPF+BwJay)`urU zXVXWE2B#LAuDTmV)Yi98RPb2ozxi5;ttPd-+SWUty;*oCHE1oltHOt=~xJp&SjR?UmeA%P>SVwj2+8n>FBsxm2EO!I$mxoPs6nK1#8D@T@l|^6)6$6D)eR0CMGz99)M(- zf`0C{>wC;_qr!0eZ;2iNKX`M9!b$ZAB_GlhDf^?Th$5+ZV%V4NKgvXYU!O zm)SVk68_2Yn}On#cBZ6sdjtvMb1F~chn8_$LgSJTh(1>tD}rhj)S6178CkDEK1BuJ zlPF4*m~`YYPGqL`>7l>hePe%;i2*ce`7zZ>Xu@jVB%L!n9K|2n1@cL8GEupQJ3qCa zwW6tmprc92Y4KO)QYUJwKD;*!F?403x1Ndo~Gz8f_7=I>MXQp_Q&JZwhkp2bd{c-wuS`vcC1z^~3`lvcBn;QK}JxX3%-m=!RwYRVezneRBE8p^g)pIip zF6b07IeBRq(`A^Clk|JzB06vMotZHl45(8RJ~0$*L@;f<@GhcM%4ruqvv~Labe7hH z%{6PMFV`uN^J4x}=AMZqIBiubLo4b>_0MqYYC_pA5gSlZz|Z}r1pwnNh`la@-B*Es zKU{V-r=-Gw@F*fp-K?tA;3#zrEcd+5MxerXMhRDKQvpGYaYt`-Cg7^H(v+VQ26N6w zjFI_dc@+wWRAEnI>_j9L`2GO1n$^__>b7&(A^8bB^cM?@;tnWi9!JI{CZjv*CEvLr z`Xx~4atqU=7XQq=1`MG>b3GXMy09lOLL?6}xM$oMxysj{Nki^EG!)mW=`yHvo7q<9 zSMXh1u^f$H&xkWohdpp5FnxR2A}bLd?$#)+EBta$Jq71ULEX^IG0$!7BkWFQ?Y7}w z=7i}Ru1hUGl!7FG+Fr&!Z_%-TndM-!0OhTXB#cK7JMh2;0!JlFy*}LK98&EcsTVk% zMyCE~<5v^@f@85m;wPowozvlPBc=GnQFFOBB!ZyMAt zfb^beWN?c6aXpV`4^T{c!5o%cJRWSPO@rbNPM{i@v|{U`?Y2fVFyUB)SFQKueRoU> zstC&3_M?p_04-FOKo>iv&xBq1y8CwyMhsn>w@qD?Z+GSw(!k4+_rp<;n=I|uKxiRV z!{QOfzqe11&oD|9cE>ZZlSr&NfuGia>jjb60lR5ifa5vz;9E+j_;B~9fcNjZx9a`{ z^xe9Xac>WjNPAI~_>+#fjVSpHb=}psvCPtT9&HC9_hteE!j8@zh}-%NShB)aU)!quq3JIO6+O?SXC5solFb4`EKFNGX88AU|4*8sqz z_)}O;9IMhXozO-b`X4tum=FF(EtujPi6bhC#qj~|Ke$nJC{YHpT~oJIv(*j=o3OX$ zA#teJuXSP9qm9D}4XPeYD+hggbzjV@i)6D-02`SAH>M)C=<1^NHQA%agGTk%q+>Sj z06!_orf0!GLpiKG*-ojToXH?Y1wiyi(Vr3`?$u_RxF z?WK6G4d-`!@y?4R^p~<0OH`{1i4cjBNBXb^o&Hw~Xjy z548W%CTQkwDR#Ie{xogq<@$H`I7^EkO7GwzXtFnjzAAcS0+0M?r7ZeD)whg3aI8l^ z{vBtCI$qr^V6t=poI`y{H2|gHGZZG&!Wa&}9)6uA@PgobE69W~;+D@YAKc~M{t!*z z)A=X4A|$k~gpJ2wzQ=5-i#cu|rL_}nRN}ky)Ar^;XuD6TQP~eY3=BBm_xB>*XKI#5 zB9>d_$gch8zM;$G7S(zj6Dy~;nJ4f%H3F4X%4mBJ|Gztn7 zKO_xBsD6}!ogLCciU`NS$;HkI86)L@2&#lbqRD9Lk5zP`AS>i-5O=jGh&zQAz`@DK z!}sYEvYWfBg^2^Qcjlh2jW@|$(xGs3Tbb8gS;Fj@rdE4nb7AtVF0&J(ox@Tcvs^OE za5AlqVAE_}TW2jSEz}BP6v&tW5weL%w*yP>NC-`b!mxSS1uLD2kwD4ZJ8WL(pPMQ} zL22B)-a5zPg9J&t7=P({*hy*w$|m?9GTknOAF}tF1UOrr;s}Otx58FM=6V0DcYTyb z^a;nTxxa{&rr%vN{KkeU_B}6rt2VQT7@+v}LP}{H=slU2hcWqn%}&|&faroAg?f+H z(R43PNU5WzEcJwl?fDzM6ssHMDk{Eqs8{OyWHU9Hg#SUdGLYk8Y)woFELr}R8+=Ar zM7{BH4qKpNjedwm`|CGPUh{qmB?iX9$#dTINvQoC_O3DiiG!c7*6N<1>1ku|%0ZlH zle`@j5gD~OGXj5>s8Z31oi1$*uY5e4`DbCmyAkVO0vS5WKr{~8>;?VRj|q|!n01$| zzp8}H6i~?DHb}lp`hfT7|;tpea|a9xy|5i zo=QR$s-oNa$em(Hzx-V!uj+2sPuiM>H{MJRn>=J1p_m#)uE9ahj3n191g&lee>k)- zxw!}D+mJ^V>6zZLE^o8F?fPPaNq|{RURPDqPv0#4M$hqM4JIZn^~4kq{u2tywOd_1 zCs)U)@VR<>zr8HyG2o#at-Gl~GQrb5p|`;#QSVz&#_Ytd-Q(;;j{RIkbt_3rGiNl4 zljIBHInq@mj#nltwh?NUET%4b{fEvlbtY=zk}Yg||SC{W!)4AM?2 zqL369B1?=rR+X|XVz`y{`1AZmJ>${YSmLBvU4Au>dW?KM3{)t_=91-E$9S3Ixz2|` zPi3|x)hAjfe{RzAAF~4KaatrRRAxm6iQ7Qk8Taw&+_*I1vrQN#x?e z>DHl{>l|(zFl;)E!|_#3_=b-rT{~vDqQiOE4))TX5b(vkyP8YZPiJ)1RL=FEtC_C7 z4)(>}wymS}Noq_PCow{YhxLx&OTJpWv&dRca-Urc-P_X9m7*StYEie^R+6)NG)#eN z;-px8?(7_Ni(2YXgN|szUlL$ku=Xo+q(<3oKGDzO3B84k$5V0{2{={JK=5HC+gox> ziGF0zDv+XG(6&S+B71wcjU7GDIEsJgN1yNMbT{o=XEGPv+=V+0>vJDz)|!{V`yCCg3>!W1UD&vRPV!arzeuDK8PD9^5)kbG7mP7uh< zE?EsnSv@)0-Ma!gm^g4-hR6KsdJ8==|=hao}cIqB~px4RJ_PcDyLzHxUkx? z$gE)3LA?Ak&DBYavNxVr5^1IH8aYz!DsX>t{rQu->8*8tPO+6m+S4_n+lr0TPESK~ zrCDQNG}bQOL39Nh)6xgxCUyK>GxqZAJD~5+cs(bH!^yGtaun_C9~M$8hN<-Rb zvfA{vjL*Q>o%;p;3kEq{V;GUbzJh4);cGhP^QN7xuKmNJI?no&OK zj4R4H%E37~WHk$|uNweQAZ&c4%_)qh#FAu6c=_4>o74MYtuCmXFvvKo%(0({33R=e z6FBg}1O}C$X98yOs{vdG^7#ioL}2QJGI|^udx!+=8I5+}XP#1uM0$2>*b3`h?%~wg zEZNgi8t%E}ITKh#_6W%`1r8!LFnVZ*h2N#gpv_=CdWq&l35VxSf`-wRJxt(WAc@s*ws^v}}4$_SVA7k|Y!?aBL};q9wYni32d{VOKoV z+{kziO125X$E~Mi= zPnuR%=w;HH#I2t}Akz1u7dd%MVH->fH!Q4yKUMa4gg;5);!#Ek`C&N*gRJ z?vYiYh;<^9?z@AYAG*VE3J@?{9vNXvd+ry*4HKQx9j8kQmL0YCA^xHDAW?Rj*k0g}A?UNw zU5X|^ncSz+-fd&yC+C__mr`qd@Tq4e7@|0Y(xFW^AAXh}p~NazCFiK5xwo{LdsmWl z%c1p?KE5~(zLjC20nO+qzosycz6>Pq%}m% ztAKLo2u^(qMh>NM>^+;<;r*9<#KT7_^6AP~WE-IysA~BYYKn`HG_5rVHHfn`+h=S* zw;fR59TdwwIR<=W^@D~jTS)Wr+Bo+i&&p+Wm>J#g$?}a=V z9bUoM1FC9_haQd_g(Z@?jM#el;v_s zGr%R*x5D2y*E@(YW|-(bOo%L(d`|4JA8*UuH5F5<0tgo}<>IjTf_vcbCt=B}^-0y& z`}aolJP+{T*H|f7rR#~##(6@asN;3y=TR7~>fz-NXI)a7eyVeR5S~4_@wm9lQ`)h+ z*xjYMalEyIAK2=2Nu@;6zPjr{@sk^K@=RfWw|YRKl^Pp+h%IDf`+QIB=4QD!KW2kH zxt(tp0)$kee)%jb!Q*EmiUhZ0yH^Cq`|5KW<8%(&%5qP+>(TFC5Zl$o#nTLTZ3gUm zR_h)3?-kpe%+n4A5-=$lHnZ+sLw_2dLNPLR*}$?>m05iV&%lk7+Fe!0FBJHkWU7=G zdY9W5>zok;Ct}Tw1`Da6QIJ-{c1lXcLUA9+1!$ha$x|=n0v$CX-#c>fo-BY!pbzLH zzngrTYZbR|32Tp&DYS-!OjwK`(G@Rd9^W>mMw?oqY>khto^lzfa$^LNOHL*@;_>Pv zE-ndo*ZXlW^ysoGQ_-zJO1ykDJp~RziWrcJzDwiI;^Cohiq=+?m0qsa2NRPaCB;?% zAJC1Tulw^%THxT5K^i_VD?%B9ZB4Gc8JRr4oIYi~-k(Je&;%s2E!?`=dU%u_tJ`{1 zxSzV68UFG2(YQvDjjGpychTxVb66>QQM4uuk12UGwtS8Vra{+XK3ekYnl;#( z`}3(lXRl=CK-d`%F=<2a`hJ5jV7_zh&g7w9?RHEy?XtY)Oh3iiV+zlgf&STQCn`ih zPQkM@wKu2GwNbtAlum;2raZL&kleAmIb3rrW&sqb|G1A?PpIH8W-X&9QILC9swkcTr zs9Jo8qZLkaA8HG*{xvMz0Pu{=S1ARkdx_f^n zs^Vyiq8Xkc&Ny;H^c7=JutjaxSDYW?)U;GO91%2TT^(@|S%znc5QmE+M462Pu(;CW z{wg>TTBgdN>qRGw8li~htaolrwV(E+#0u2BBbKFb82-2ho zQUbgvj5W7wW4~+OB5fq)maFR>QbL4fx8}0KhW%2YZ>IMm-HcXtSA4R9lqg@u*^E6B zLW(jrCVitKb)jjKKU4gbfxTApH^3k0MUq8Cs3z-hnL=7c69HUFBEHtTh5o&>3N?*g z_@zV__$aX8|MV~$4%7|>9tGOAy^^nD_Qi~L7k!jvE;C9!5NJ6FM=5XPXnp#;91m_Y z0<@JB2+vV%c_tAlX5|Pa2wexlqpSz?f5gSdA54~yoD8Gvt)+VjTr72v9~g|y_|Bmn zaPXmIaB_zAx9H%`@b;rLjk-~*4MkjS#|B4bTKKEEp{w16<^HB7qaz8!8S5y0r z7?Mm&yr+~U{CFUOzRw-KFdN0YSDUI9e5XnN@FhXEi(+M}8hmKLGqo7ROP}$vn7{op z+kTcPBz54Rr zuPk?7=d{W^y_afTUYvEFA~dr1f5H!n82W{nvxTYru&_5^z$GqE?lc>^{P zaKQ23x#J0^b!vncO@976%4p}!&Gf1{*4Q(ChWYfnV<|<=Xou2S`W$h;R=mK{t{^K@ z!Lt;jj$g1V@^Ka+#E_p5Ye{T%0+Wobpx`;9m0RV~&`Rh+#3g9qkuUTjBQr@t*6O8< z4Oj?hxFbiJvY{X9_$WvS)ZwWS=!6@tp@9vHsTDMM;r@d9kEJL|TqIKC;sZJvK{yI~ zbc_T&445!hRCE&*m$uy5KQmyJ3XjXR8J&j;{FF)zZPo021%O}r1bE7&AK znzV`ZlfsjILi<|nsd>9oQWAzXKHI0wUwyGOO#*xEuP5m_S~DMArzYEiLh;1I=mGNc zTMd4A|HW_S>A`81pQFOcSRTC-Ez&h)$r;*SH0Va2jX){>sEsA+RC0=|IH|$fcox&m zEa+Zyf>a$N?iYAR4%;|XN&R^7&x>JD^@J?g1>2e4qW)|g&eg*sKlm*|J~rSuyvUf!ya(pCNZ&x_z6m!p)-r)hG2{Jx0l1rs3G7ww@c zdv*w}F!BIx07Wt`NbeekknGrvPo%7H;}Ou`tG==pxf0E8>cy>?6;5-@0+9 zf+_5D!3W%#bd^3juC8v#!)xZ8=_xyT;{UwpGQd3=R`gVp$T(+3M&hbj)xD;G*t*n^ zTe-)kn2|nHiRdCj!Jq{&73JnvUB1fE78oH%e`kOb3JUP$^8`+veSzF%;>FY?V&+34 z2D9S$NOHyOH~CJr9JM&7=P$N*Qr;B7yaN|!W3r8Z+dVrge z7|%BBhmqKK2I%zoK{~-JP{-yByz|5#$;eO8lr4koVNPd0cUqQPO8?TZHZJ#-?lc-F z-QPrn6Ji13Fpn@G#gn+9C%HzrTDmIkin~2#W+H33SW6Hk z?Kx!Df!gc)5T1RIqhSUUtfZEcAdfQHiM{^TWu-J*#dyPu?dI8JYE2Ot)h~cUwK}YERmVyi`iVVbi@I_`e^J8dEES zv6)`STU+fXweGu~m+hRoo-I$K3->@iJ{CvtUwm~84dLp9eK|dCJOxpE@D>pRYS{)A zH=dr~#>XGJ0}l+Ggcp~eH}&{(At>+g!1jI^5N!?-R)UOue<0(fM-Z;CR}ky58IVHu z)1DZ}h^qLA0L5M4db-8EmNOufe(moV^Oomce@~l$dRRKrz^rLJcjzzUuX(zi z(uFQvTv4}G^~>Jv)L9Oa6jCll`s8)6>Y?`h49M zfVN)O#Db}V4Q)Z4eN(DJG9ufekKq(13j&U1`R9_f5$*m7SBDQDkEDu$J=-e!@}kja;KkxRSni=izMX`L3Fdwj!)$dm!t7IcU~4Ao zNZkOm)Ezs`=dU#ixqHys4x=f81C7@bXCcYhl{#_`x*0sb)Dlx+@C?XK)K&Q;6oe6i z=0=mQTyYcg(^l#7Vz?93HFG*W0pa;% z77WkMJ4MZ%Y_nqcL*b3Jt5&^xvh;K9`T&KtU%?)Q+-JiOmYnQWx63NUdoBdk$iG*l zw-~%g#+&aIt9kxN)Q94v27;_)O}(Tfi+mjCq&r38X7kG9Ei_4ZNvii2Wc}<+8)4nt%11VwBq7bU}E6-z2zuAv?NtsP(YW&*6I$W06i zD3j_`3ZMdIF+W#MV;QG$Az{!{6qbPz%v1A2T-kpY4N{x*ycS?bmBysFJo8ldL!ye3 z4~iW05B9qC3oTOETqk=ffs9X0WuA=Pz0jkAqmh*MTP3!gK1qLtfT(AQ#(?~=2f8w}Hukmg<|qANqjLFgNQeW!x?eOgFdafX)tMixG*H+&-TTs)FQc;3CMYcI?qcvq&+7~ zN&^(M*@Wmj$`!RlN*nDm8mo_{J?QUF?u@wjP_cfU41C-nv`Dm}33~yPjgS9UYMUBC zDf5aS_|bye#5!K&Wn&nW*@={j4N8;lA&Hl!fhw2gY-NMGp$YfrhC=zRm@V65>q_mz z0c96PdW>Czhw?Z93sekppt8LQRAGL~2#ThGtw-VuuPDO4M`vU)b#u3ZhNp5l`o|Kj znFq>EeE%4yCSunm6o*|Y+2s!`a~#Qe5o`tBh1&(aFJ!%EY14ax6s-i61^xZhN-MjeqeD5%O0WLnC25z#Ui3%Tb70wGA{C6%w zGBhc8`glG8fVC072_(xB5Z`+hHp}~o!a)an6$}P1i43R`cZ4Nmt^70dr z5u90den&~6Q^!fqM5G-65w40bIGjd`!~e>=ikCJwE!qG!dxHDAVBJKn@$N$hUV&;B zS8G#eV|F0{p_myqlJKZAn?9)MP?yb@L^2n!7I7``2^@pcNIwB#`;LG>`}0%Ob0|E5 zvo#JRj~M=i`g`86$$RjhwSvDbU4O1j-a*{*a``#$Y2eacZ1)fnDu{U^Dg^6R3Q39T zjRt>%wh-~15!06TtNDiw(dkf%z}t>&s}S^7F}E!%hIsvl@_3{aSz9L^_wtyo>2V>Xd+O;3-+pIAG41d zDPtq3)k>AHH;Ag4ubKV+wVCPn{XWh4#FWRqX~9bMZL3P2RAT4AvLvp3NX755U3!GX zZn51~O*cTyDGxfD^5DHxA6D2(tac~2Zu{2|vC*5D!~sE-rCOiZPJ{?M%2~T@j0>>x zY9&}}=rbs6JIU?4I8w(8F(3)xNil+!XtcS$JLj=?z3s$TMIgha{(O$w{c*WbSX z2TsF@R6Sp^-NDU!-Gw))7@p9s&oxqte#P6|cg}~E;O1oj%e%hwurj&%=Xyj}kuOTi zJum+sQeQYHlc}t9reZ)_v?Ac?X65I zACd-r?`zQQ=RYv3zhN$8AK2Vp-t&&h4-Xv4opZW~&zE;SAuE1P#azw5#;kxXuCVk6 znHTFquU^t~9cLxucgl`IV!TzG;8{{Yvs$Li)ZER0$ z!v5ic0Z2oNabC93cg^Q~T{~N(tM{xqD;scy<;{^3?wtz~YX-(B+ABWb@5mnMe7suy z4%=d@E{anPl@Bd?$_6D*^ZUTg`041}hMofLg^5#R~s@Gfg??SVhL#ZUrKTbYV;UgNi zH&gO)(^BUnqCGQM5wwIlKks;3TM3A=9-;1x%}j3Z?K9<(IS&6IFF;mn6E zLi%O#Ao3A$y(`NE4nyjm5)Vl#Y!V-xNywWT8|rsF(fxNUu}M?eKFk<)3i-Z8#lF)R z3I}qCWqzrki^!W3L(I?1e_|lGkXL0ySUzrEb_kLRCj{Cv0n)ER1H;9|1vyor021UJ zzp`Wgc*yJaVW7f{lGKye>O1u`S7+q}OUE3BM_o99(}ALFY^S2GKx z4ZMRmnqa*dM~C{f`J!#3ru0g3f-I*-$Me-ZSE_EH&CFg(8S)=le((2Jo4SE# z2+#8$`-v~Vc7}~h&B3>K3OvA31B((gDmut80f#rUtp|?ZQp=j6k+w{9n)7zqwgNmT zRO@Kv{y>74Jc#_Q*f2pdsuB5Bqlgtx_;OsV{14CdHK}s^i`64~8C2Hz>&$bEwF}L2GwC@?IKa$WP)O1)pLo&VuyaH-_3EZ>klWaq16hANCy$mgq-GtA$R-?i!jlV(0RLHbm-s{l=!+qst-GGELF z{M8}jt%vcJVG~fmhOKr1{XgCQ0hQb3ul@ zH6T#x+VyiNCs7gfjIan*eO)m zBsnQK!2exwQSjHB`xrwba`JI-a`3bBK*s#|U^xFt`5^ey1OL$f>!Wa_K>km`#liK@ zivB0Y&dJZm{x6J!n~R6{e`9?A_T%8@=KHrF2RA>M@4vOc|C^YDhlA(eVooq0C(pko z`3L*I;{T`pr*Yhz|K@Rnxw-!r#>@FXHv+J;bFp*r{7>*d7~j7Qx!Ae+{%y#`&d>hu z-EncS^Z##*1N^_V9AGdf?!Q*Z^-o{9GO05_k6_?LeoSR7nmxWu`6IXES`xy5)T zz}#Z|;$U`m&QHif|6dA)0WzDoli3$*3o|=64+jc1er_Hy9x>j3PBcF+mngRwyEw17 qI1m39Np>(lHz&IU@_)iyCa&(@n64I<$Xpz}JYZy6S_vgdWXLVQgsx`V^p(0pl9hb3>m&iUo8VIq>~5y83pVwUf1x z@#gj7|1`Ss(^cp|E!3p|+kN}~^gHC``FaIv*1KvrfRE#6z~}&^fnCD}&lna|ea2yO zIk3|?P`N>JMD_mm2CP3ve|yJPx_O4m`?*q_?{=Ugn|1bs*1>7)HTN&MYV`WY&Vkjk zoKUjf@OzCpG-{-*?K3Ww%=SV2av-dXbWz=!vB4^?0Pmrtsf#)P_sS zG;pf8H74~%f#gUcV`Xb&>LPmh^k!Y5=y$GAx-s>;y%H|pECQi3#K54KP}_V|r!VI= z5qL(J*hadTlscn9g!FMX8aU>uDfJp!**BbAGd;7uVKmUoNpWdM%kwW%#F;3mHMC@k zaOO=gZDP_AQa^Utj3sLpr)qua0nTpr3KG~R_xHy_XwU|J$|BgvH6HxSmGFb-0L1t$#&sMZlMJJ9|(YSgv56UAVT5mSBg&};oL+G%K|$8_HR z0%t)^IR_;xnxq~n%Dd>0pjwrDBQ7{dkLWjN`$1VlQ80+%zM?q+EcbnSvYrt+`KSK| zm13EK&tm!m9i|V63n(QfHRK8_Z00sXkt4^onB}7A zMwRFGc@Gv_*LU%55}q4?jDTp&@6I6nZwk9U9Is+$V+CRhi`QlH zj@(nKT{rpcbQm}4QR(M$?4F(rsdM}GjCBbqg{qA}i<%i<-MVHNPdqcL8KjS3ZZD*M z59QDm{;9=yE}tZIDR9a!Bo#S{2@elWPZZmGI=gvW7suj-`ab!&A;t7|@KV~zB*DVD zVfx#U5(Lz?X_fKvvuNTE*<`$5MF6u;$6SSH_XPLj(kJGm+N9Id>7^A3zm-vIj)YHB zmWFnYwURk^slD?%CHA}Qq%mLS?0U~M0tEXtmLPuR_GcJ3Ypj2krgSP84TQDCeLW); ztXwMR8Vw(oPq-{glmeHFJah7%ZP{7}&GbKk2_8U0D#XCtF;2#!aYc+9h0RPx5TY4L zHiq1AYrJxJVuaZha( ze|4Sv>n-yoKZIO|S2jn_$XNtJV(N1jGgmb?%Y(#bzv%t@lDoVC5|7)P?c;0%C^S(@ zZw}BBy{3t5$B2ehfCK^d>71XjuBHn*U!}ClZUH$`03Uc`-hDh^4FEJB&blNud(=@&Fz4GKGQp#x}_oX z6ns8iZN%WGy7>Crs!SM%z|YFsN(hjwU2Bj=JTyC4HW*>W38qo!K+?UllyaH9dq^3w zdIDL=WUPlSeHNTDUGCj@FL_QWB*|m1z45l`_@Sq*74c3&R&>}Sbd9xgj=J;I$ zyu_p1-af7z6>%{(ujQ5LT8~iLfOk(TN;$gh)oz7jN4sCuS(`MZG^aW}ULZuwlnKJU zM99nQFN2P(2KX7RGqLbi3}e|9X0uZc^Oac1n5pU3HPtyMbxr4O{2E|N98x?X-ugry z=KsS)9n!D8QdL6U*qe%evRk05;c_t?<;o*t%sd{pT{PiR_Um_|^2vR=N+jL_vgf>p zu+D%$V@hHU-rSZFHqmQRPYi=K`wgfIE|d1Ifcc&)D%EkRoFvBc*KbYFByFQ;p+=%i zsVc4mT%P4;?1m1dkutC;s!iR3aNd?-DNyjtW0jVFuJ*iM&5vC3IR>BT`nGvx#_;~) zU?$UskzK6)cm1s1ZL^YPntA6WR?1L7oln2@AKSFB`?Q?hXNacCvX!l)-z!KN9f7hH zF>fKkEVHQZHGFtEF^(lghHF1<85}btUz>mN8jJ~^AyvIh`^^`=DSe=f{GENq*Ro%I zO^nj4eDE}G!AEMD@{r-`g^fjN(@q3%PYjhYmoYkfZjve1pQ;NNaEQ)wYH{ z*WUY9_eNWe z=L1Q(kArhc?A8(X{XyN6+xU$Q9}~71ODqgG?!nv0icTlQ(-X9QQcru0J7+Uc2MMxp zuW;V^ZHkE+FSkd3-k_Dp?T(KYfQY17fx_#;k0)7vJ6tyP!o;s5=^;OO!{b4MueZ^< zx9a}CXgjqhVqYI*m3*p6Tj$$U)s6BI@Fyy8>ZQb0%t1!kil9o5^P=A5Qc9nS<~){8 z?F@mR%F0DYds`ayP?LGw8_me9LuY%VcgZzBOvFC>gue^p?^7v`49U_a^ zJ`qK}GhM5X4@b}FKS7)`ykb~do7Pp(=r1};B#)=zq-2%{-Z1eMWa2Llz60+kl()d6 zfunP+z+$$5bdcq!5yGO3?1i-uFWuP22y5r7-(+&Pxl>gu+(1Ph&7$ebMFDynl@!>@ zu@hwPG!1`+J-s95!J2n+H|&N7{lWjdiA};NbvRYAFb>s25?GqXWbU`w36>f`Ijdge z)C-S26d?@I&*_%S)!;(R{b^p_x~q9uqkP}aUfaMsq)wD+l^|8 zzTDkG+WJ~-oZx$CRa>@#+$3ql((o&B{3S{;RY5Uz~HTLsP14?uG&*Bssh1J zj(9840R$vK-r<99tcwopms&niM9bCxeZxR&eDcD48Khmh*SfS_8=zNzr7x>=*Ed0& z!gx&^BtR^qvw)xJYji{Zk=69mWWx8T!MtBAMBZ}4z~fV`+ruAP=LrYmCMh2So;^C%hW(R68|L8_zS*ZY8=JZI2%6 zHs$Ij4Va%gPKYUcOLxAEDTa{r+)dEJFBv+mKWE^S6g9ZHHD@Wk!y|P_azXr&Nuhv{ zbYy|ra`O{RJZ^F}awk(;Bu*|aP9zIQ^MA!iK!}SOHiX&)2eRN93mF%ns*UzyfP%;i zu|f{KZ6WZ&TD1$vY;0)k?ElVY=K!#AK;TU{AQA%MkYN+*+A9G)D2S688^lj23ZibV z17hdk0dNQjA-TD`T9`N>dH>w=_0iTJNOa0*X}=)GKV&>yX*osZoMie!yigV``c*{w zEBHgTUa+LQTuqxeRW&uC4ra9=5o2awM4tDqb~w>e^&V4$DPtxu9G8(bEownqhbFu; zWf8&?b0*DJ=m?Z{6-a$(_t|)OOOe~~11V+j9n2Q1X>{_{0UI%z|mnJIMdF7E}!w$rp+5!l=0!pMK1 z+@rR&-D@LK5W-sLxx)~qA3RuB3k2`g#Z?b7v)VlCRr{kSHQJ-!J#aY&G?R=tfy|n{ z%Px|_P43n{QKWuO>c8r!?gowg5p2k!$IeYpK>$-uKyr^gjv-9#)2i#A7NMg+f zoy5Zb8DPPVC(kGfI{ zaf9ONeE~vfI|0Z-19W}O7n>12srCgElSXlb*U?QNylZatomMD8e+I|wAW+?F;uPQz z9E1W9G$*rVO!ghy(+UsV`eA({c`ax@3t1V=p^iouvH1pw1yipVP?NzQiaLLRd&GMD zs$P0_2}9wkU?ue&+Ax2|Jf?6$MC@3GK0i0FuBEX~u2p7G>pM4mjcf6X8VvjP(zaSQ z8g$jG4Qct9S{pM4~bVreQLG*Viu6cIH zp;E1diCvkTpyGOH7Vj#rY8Vfb-jr50K7wmU#qQgoi!~v#@Pw9+t|6CU>aLixKwrlo zMxRo>d6yfi4dGN}mdw#A3!gtHO0765m-MTZ6iZa+vK}0vu7#rn#Y^Vr>P+`BnU}+Y zvvs%_t>~vxb!t^u+6$b>muoum3Un`h`EOiL^6-jvi$7~b3>6hHlxWCDXRKSx^d0SJm+~Daq5-CSZ+L(Qk^~;b83}Tgg>Rsh0g!- zB&y&>RPkt0z$$zPiC6JYudXb(J#BwdXgN~~iK{1AKRVKtDa$y|IOnfrtJlDCn7%C= z;uKW*hDpOrQsiN|r3VkTJ`>DP(Yrt>i}Gq{sHZsA2dPOV6f8tg1`Kv9fp-lkyw5Ts zIhfydxVlA*dDsdJSx^3S12~oG1@v*df*xH`)58-US0CsPlGZUYb!3bNG`eK zcB~jnF}(qI^+ZEq@;T!u^m~cIhHd|rR8+8er0zO?+jLzoOVTqxt`25<2^j%y-Z2Ua zvaLbsR{*$JekCDz?{(2mu?vpl6s=nS3t&_+T78E2{gg=N3$&@BBj;fx>T76Bk$!Z@ zDn40W+R{gmujU9Y2NHCSYKOs><1>K^un@J=SzuXDsBA;incM*9-}?n2J&*+gC;h=~Ik0m1b=C zCbeUNQ*&%o%7g&K^cx0dNt?OQm{9IwlK`!Oh$c!?vm-4v4?(4VkMx&a;BJ} z$y%W|!n%-w&YQoznvpfxw4T6;fXkh!sJowmg(U8S56&1J6W$0F_d!3Jjq-7VWM9$h zboUeJcTb);FDVN3{#Es|v%yiCu}Ml8ekndOQ_7TXma~I%o`h2hIMFMwWu5$Bf@-NMfo$_T3I@1PZx`xFSj;pI`5XTX-QOQ230Tg=jFa0J5cX!ZR8 z5&d4+9{oUi?dp`#FeeR?9aiI(QXTV@_TaZ{(~TEK?(2N2)0Ehcu;e;k(8}7Ui#Ja) zv*$9)nz!A&KA!3N1J$~ad0y{VTFjFLhd%nFXhqn!OxMG(I?|`)SY@7UM1Q0Z{@Gg&b~=QUvUnr0i@~SrUPngbKK?dF zoZ2V)6H}~iRUp#b94XC~R-Mt8Jy;n(q<%cAm~322v0rn#Ek9cfYnLjHJnk-k_Ai-v z#YQyeMl|#KHG|Mz+$8i`TD{~IpJym;6*}L^rL6#Ft zS9rgsVUoeJtCuwqTcP_6zq{+tA9tJ#ivtd+9E7fx3!ytE0S~TINmnJaj7Ags_?aO4 zz&vFm)*{d5lLh;98@m8<)yV2%gOnY%}ruW+GD~4|Iuu%hcy2yuscx}TH==lBA%jdrjlHQ9Cosv^_LI) zsGUwLjnr%xoOo!S6=?`m^9>H;D{ii3hqS`dBlswlB^f%aH#z}E>oc~cEueBMaBtIi z4O2H0=y;U*;@yO;(50=!wvGLJG-$79Wp$$Y!USDz(Cj+Xo)o1my%5Nky$Z#P#>NK& z&%9^LTe7XMPc+bsn${8?UyLOyYflZJ#+OxpipSC-r2iJ0#6fQ1sw1c4w4}cDizB)W zW7SpWb6|Sb(~16wMLTbkKgh?{6SATZF;869Rv?oVyNrW8pf4dp=z;=9mulzVMBl7( zI%=RalY5A17Wvvw<5`VBU4=QJA2p_{3q{>eIPDsZn;&2QQ_XG*OJ5+8%%I~Opcm0N zD%`^lomehWo^w2Vd^r`}sJW21mH<&n-Ds$`nh4cjO0H_j&eq-S038?tltFuuGKr$K zO{1wZY;7&9s$03MYYyoGi2R^pE<(7RE4}49Pjf=3M2No9&<~(I~I*Huu8>;@3A0C3=Qrq%t{u4nP!hOdD&L z3zW7}48l)2Y3zv9iLPZ|qoYyfGJx#&DKg`=?05e2p6-Z}O%|vIqz^TdpOrO6MF^1* z+PjE^XeYmYlm{WOeP!rj2*QG58&8I5GU8#;$7w<|khP##}CtO=Y((0pinz|*n0gFg*M) zi`!OzLc1FB;GIGm7r||r=Z;yb)r0FbJg@kv9n>sI{#qdFibgZPZmrpGCq%=oxkx1>D=4KplmWthopZlKazWL*X#()gj8IASsDhe+X?b3NAstDIMv+KF^#u zKLso8AiC33*TjRKhsoj@7$Mmmdt&#R?eXeEm;HhpMOe)j*yux)=p#!q^s&2e8o7*d z=YU`&;WQ9Gm$xxgdqs?KJb486c0!S7nEm!1;i#y}Ew(V*3&!he3En%bF!SZe8{T`! zdy4R}@X3NDcE>r1MbX4?xUZbD_I!dZ?wX*vV6+Lug6FD>*Y7`J#+)p?Bs?jJqF z8x3?4FN16FffRUIzqOZS_?q>`J6GVI6}rwAx}nh2`y`4oXNy0vNTq!P@O?@x8RZ8| zSh#|44>(vYr{z!IcJ}OoPni$QAA^%QTy7>30Dgc8OT$5R;RHli8m3YRDsw0@+<5Gw zeZ5cmTw8FfJ$w)EOl|K#gEp+g4tqBtf-IXULS(fHqe+*6^iuk~>bd*Y*n1P>?WMKK z)R+-!=i|=fg8X(w+v+sVH;P}JKqs(u@B+w@_okS5S4l8n^U^6_7D$MTcM&V2K!3M{ot`3oQ@ z7s4nST8|XUasCYVNkqxQP5;TEJpxUlqA79$QcmY52WJdxd}9u{pEDnfon0-Xxy9sA zb=P0i-WCJ|2YM-AAOh`K-vb0LQS3|JZ$+yTzH^e&U2Got3A_Y55b zvnY}6Zn2>^Ua|caqeVaQrW+WAzzb%L&Y-6rUU)yzy>q@#2s~t)dJuz%l}|rz@W&&jeXEyeo)pj9#Sp^jp&#F3ZpLi^^dEK{nY->%NEjv_!TFlYgaS9 zs$i#mde#kPGJm@HF44@Bt-VjqSN#Ii0twaG2D=+O8q7>+7 zy@O$+kbhjUecPgK8&oS-O|}Kqz>(;XDnyn~M4W&Fr_pI7t% zrk=T5l6Nf?>}65Ajx)Pf+#Y5VHGgIqq{zsGcHa`Tyjs)RKX%tby9zijdM}jV8S-8c(e3TYXZW9>{S(bIu|>6D?Z;XY zH{<6eUJx)+xM9dq<9LtUYu`0i765R*y)=p1a*5i)^oS*pu4anA>b31Emu4>2n`Nk% ztfbT>j{IpTHjBwZpG0W9@M#ZWV9gB-dsKaHEjJB)d*WnJ{c;aQ;d?^3giX?KPbbImOM$&+}!p!YR1|BV&rpja1K4wArMXCs9 z^0F=AkDP%_Mq&T7$4T00IC4*_YwyYg6-VWlmL79Fh-IngF>)CMVU0t&>lAogJ0J{eDsT+fy#Szbm1L^4Xkg2PqacbS4 zryWZbV9)gu{U%O{d<%x^nzc{qOHUI8ZR}Q%KVxT{(FYkT+C&dD(lamCRUbwh`ISn2 zqa_QfPDgvdr(Mq3HzLVgEjV+na>6Yz@pDgGYb-m`&Di!3f(QGit2|$ZM^vNk{SLt< zs7wH7+5P=|eHJ91_sG^AzzUj!RXycNHpmLKBB_Mjsh;WDjx|FFdyiO%WTRtf85mJ6zg& zqZ{Fq1O4J40u6E86gi$}fo~$Ke)|4tHJzUh=48jPtvX0Jud9%%@#F4GX)(Ni1W+GZ zDRg~97U=t$%I|^t7K~mRt1yEBhW~?5x%~CV4hmR{-XZ(AAyPiEzLTNgkw90a*c)zj z6*~+xZvWk6*^8y6_1H^5-@Kvm>Q?a$F>}}-St(%DOeDV$);~db#AtgXnx937WOR(4 zQQoAE#}q2E-;yegv`}n7M}Yy!_CVv0{NArsf*@E?L(!eT z8)w;Jd-OkMML%~R23%eIjNj`QBZv6+r+BtNLwNJ+Se{01N21fLAFD|}ZmJhK+&~(~ zvNGTI9d73MZ5Hq;a5dMVO7}^@GbLK@xqF%hZym>CUIFdT*Au)ed&182(u{WPa6!iw zKU*bLsSn~<>X*$s%;Bc=jg!W(_iHWh5_lt6D+W-aB%;$uNu*{4^apTQ1OWt!^k3xciKX##pYWKo@Qfdwi2J>KjTn**c#n-Fbtk;(Wm}P_Oyx}9(+8y97QXu_b6@C zw3LZ*lOW6V4}G1$>I3MHr~#Dhm1Q*VJ&_W5MrhGsI@m6^k;|93$AID>S^6p#O8%4u zF6ADMJ1?OWftys_?v%u2yVn5KJ*kwkUb~$K4@)ZEBi_8N=V2am6JzhF@XTA#;Is;o z)KwFV$T2~Sk+Pd@eK#GkUR2$J_b36Et0Z0u&MKjxWEjx|5i22YXLXPF;-F2Mdq`1w zQ^?|6~ie-D?)=t7`r=zyY0 zi1&xa;_w;6S6d&zIHpyEMHC4j#(liq@mLdJs`cMIuZ zS$mWxtujP1vIqe@hBfz%2T9N`T-Lt*8GgH{(L+$SH*A{ z#K)R8GcWelL?~N&(cDzWNg9#j=6U%mYYn?#ENt^M<3coB4`L57z6yDG;(D=V16@Zl z_-Fb}ncP?mVj|QyCOte5ZY@%cWlfBQMD47Ojs-n9hY*_Jn$7a4I>lzD*S@li#nMf} zUc?2>Y~R&k63?w+@e#@SyL(xG>{WQmcvX00>u1J7RXT>~i&S0D1x!|Fqj)T4Dg}72H6%R&sY*w4s0vXPg z;7|Z^GU-4g+=eSR)~B7{d6c?HOtYqO@n7s!CN^_DL!*}yyg3ut`Z~7yMp0SA#;|Q0 zc|S^^{V4@l4BbnCJoWt__ZC^hkTQPU}>x5V2*A%P)qt8vd^qd2SNb zhShTI?&>iCh+_d|C@1+`%|k=Yc2qVVnJXEMx=-4?;H#ucliRetC@Enw$grH^c%+QU zdy3S^>Z4cSI zGTHK)li3&p5R4mEv_ff4O2GDgICQ>!4lGl%8MQy$K2{`>%gW4}iP=!an%#gqzE?X; zmr!C*@(SDg0OR`?U}uL@U{r4NBZ)Kq;lVq~Q>8Pye#e8rnQJ8zdQ*i!NK-RrfKbqh zD=%S!MFt5Pfr&JQkkgD>;d-&s4PM{#SDEAmb_+yW z+hQ+Zm4CB9QcQ3>CqVt!b7yO;GvS-1*pTjB{Sr-IjY8u5NJi63bo9gddYdGUoGoBs zJ*?ScWU2xfn5@$IIynU8d*KBHy~U9D74Xlm*3rzJ{T7&xd)W<7Qc`m4+{;wF$A(jl zKH1?1H347{$jR?>VC%4If3Zqwz>Of@tA;>hA%zl__suLQ+7%XYYSaZ z84o2Xc3y58tEAAx+(FcYap2DGG^K{d+jUj;-S_C~z24aTHhmrOYI8q$F=OIy39h3W z`w8!aO`OZ>EZx7tox&|1t9UM&epFWeNbYP30NKe5Ebmpm?$NY`ujzAKql>*t zNy$|%0vKN&OR4miO0QpWQ$2qSVGoYdXzaOIreS@v`<|uGqpJ^KMajz) zBmxTYiH=DavCKf5RU<;R)`0tHe^9r%1;Z)Bu;xfuP$bDqusyjG$7cMjf@xavEa168 zztoPHV(VkH+UH^Tc*9?}JIucdsA_y1VqN|S)A)W2pP z1S79nzC3@k{Zjh{d#N6fMMKt4ob zZp2p*mZ$TdcOARsRR@58RWiUO-o;EvTTEi*~ z3e&g!Ss*@89zF9Zu6dcK{4?)r2Z*PfW~9mb=X~s69~MtJ^@YntzYR%DuhULlCX?FA zc3oVV^1*K#?4>f&uo=s1z}*s$14W}FUk@D)ekcLV}!05iJy+)(aJFH!}Jzk*geNU*zP7CDm)1MUZ+*Oz`O>9kfal8d|a7 z^l6QcX9=GWH9FGa8zfIGG3N{#81f8101rpoFL1Rp_qp_4eE)a%5ZeyUK7PU;z7ehp z)wNK;y%7&skdPEr3XV38myf04pm8sfIUuh4Dr^xbMDD1qYEMc;bVjD0^7;)DCxnA0 zAvt-I?xh$L3NQJrW4HD43xuWtrlI}f()syYD_p-vK-{1)52p}TxO~~|v)9FX#s)tA zxzy6j+hoeS)11V;JPI00sMPm?>gPwwxaza$!%1%fl8xfJuyuXnzU4_CwAuR<`3eHk zPdKTMY|CUspF|dDXvBc%_fpqlklweoycNk;cE7xx-nUZAltgd-caWfiDwzHdW=V`@ zh>nnkvWfKXN%1Yj-XA~i;|rr$Ng_%-ls~)-ne6Uo4W-{I3}nT`gPt$gmDL!UvfuuY z_C2sjB+GE;YEowc^;E2&r^oUUoAV<4vw~qEe@I0h+5MH`9R`u(aypj+DUY2rmQA?w z=!9eH9gwVWJQ(9@NkAS>U7AmE{1uB?;;91td7b6VEJyEIa*pcWThysvZsR4`vv5GU ziKX1vZ;|tFesK}eLsh2Kxr;F}F$@hWD!B@Awkn)D`JZL&b|Pj&m8`1?^*((Gz*{Jd ze~mapNHR+jlm5|X76>>OghaqYN35G}^ekQ*{lG|1hw$)=k%1!dZyb}S_xZqND*HsG z#457b=G5o%fi-%MBT}g+%nt)+`;4;$vTqy563%<_bS|INCH)C3%<{4-7eDn**+)rP z>+7I1ec`V>GGpR?Uy?7=Sg*#df92!1H(yFWV(}%5c^1yE!;V~r5fUSK5T#yzMDo%; z+M$ctqElUX8URV!^Nc??0V6x~H?rQd90sm2YBs4SAWBWUUtU>R61~?^+NR!WyH3tv zo$A`y?<8+g=ZL%NJIAjwCzY}fXfIwuxZhzIGNC8joP?xwEdM0d!nrw&)V5D33XBM< zCGSvJb-k-ksD01kyPHi{Di#AlO-Nn%i;Iz+y@m~wiGmK(jRSgaU{D32G6&MhjJ$t7 z{~nV4ao4wweLIVo!UKg%+jal-k4QK4Y9I9FgH)2w3rOqA>-NSA)mt$D?cCq8xNyGa?|mbd-kjdzPYS}1typK_o4IquzjF@) zY+7rX(WzU{4Er=8Riq-jeCLg>IFqa_gdGE?-E)&TZqLujWD=i<|KLJ!owP15m-t@h zk;&J>L|1nc6ynLRz2X36#}7M=1~q-&$f8|5w+u2{v)e1n51ynaoppw@v;@{Y`lDLa zA(x}7IE*N$@L(u7nJM`MXsNrA%PzM%9;d+m(LXTwjutnZ5NfTWCshahRZGG5HDol5 zp30uSR-pJ4dcTO6470cex*B86(Z6gT|8`~kj{$`Je{3Nd|Bx!z;W+qWZf1X?<{Yq0H zMnr*h+qJ^l(5kQub&Fh`*J-+a?9aCn7-RHWM4TeAptoZ}z19fj{5wvF%9^>ELiNv454KQ;zxW+mtv{~SK7 zN^sc2t5oji2p?8#7r<@Onw9Kf{mAHT^eHT1K0fbos%uvlwWD4uEP{$&LS?}MX8vVG z4&d1A{#1LHqaHdS z4K`m3E*V_rg(|AR_2Izf{p-O|WtHS0Xa9EuAZO>SP4zMUh``Rn z#tYzN=Yl}_^FXt60wDtav>+fk+rKVyM{=b93IOaJylnr#*f@BBJpaUi-2Zwl{v($S z$PM^sJvJZ@;Q!?Euyb+!cP{9Eh1qxjoE-ls$iW5#{52K*hsa-yi}U|rynm}