From 4ac5f8b707f0c35fbaace52d0040c066c52d8639 Mon Sep 17 00:00:00 2001 From: "Robin P. Clark" Date: Thu, 4 Oct 2012 20:27:37 +0100 Subject: [PATCH] OK good bash at it.... better cycle home... --- .../fmmd_software_hardware/software_fmmd.tex | 11 +- presentations/System_safety_2012/Makefile | 2 +- .../System_safety_2012/fmmd_software_pres.tex | 493 +++++++++++++++++- presentations/System_safety_2012/hd.dia | Bin 0 -> 2464 bytes .../System_safety_2012/read_4_20_input.jpg | Bin 0 -> 41999 bytes presentations/System_safety_2012/read_adc.jpg | Bin 0 -> 56669 bytes 6 files changed, 486 insertions(+), 20 deletions(-) create mode 100644 presentations/System_safety_2012/hd.dia create mode 100644 presentations/System_safety_2012/read_4_20_input.jpg create mode 100644 presentations/System_safety_2012/read_adc.jpg diff --git a/papers/fmmd_software_hardware/software_fmmd.tex b/papers/fmmd_software_hardware/software_fmmd.tex index 3b3b35f..a35d7cd 100644 --- a/papers/fmmd_software_hardware/software_fmmd.tex +++ b/papers/fmmd_software_hardware/software_fmmd.tex @@ -885,17 +885,20 @@ We now analyse this hardware/software combined {\fg}. 2: ${VREF}$ & ADC volt-ref & $VV\_ERR$ \\ & incorrect & \\ \hline +%%% FORGOT THAT ONE !!!!! 04OCT2012 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + 3: ${ADC\_TIMEOUT}$ & ADC volt-ref & $VV\_ERR$ \\ + & incorrect & \\ \hline +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - 3: $CMATV_{V\_ERR}$ & voltage value & $VV\_ERR$ \\ + 4: $CMATV_{V\_ERR}$ & voltage value & $VV\_ERR$ \\ & incorrect & \\ \hline - 4: $CMATV_{HIGH}$ & ADC may read & $HIGH$ \\ + 5: $CMATV_{HIGH}$ & ADC may read & $HIGH$ \\ & wrong channel & \\ \hline - 5: $CMATV_{LOW}$ & output low & $LOW$ \\ \hline + 6: $CMATV_{LOW}$ & output low & $LOW$ \\ \hline \hline diff --git a/presentations/System_safety_2012/Makefile b/presentations/System_safety_2012/Makefile index 8abfb65..d4ccbe1 100644 --- a/presentations/System_safety_2012/Makefile +++ b/presentations/System_safety_2012/Makefile @@ -1,5 +1,5 @@ -DIAPNG= three_tree.png component.png fmmd_env_op_uml.png fmmd_exm_h.png master_uml.png mvampcircuit.png mvamp.png n_inv_dc.png pd.png pd_euler2.png pd_euler.png +DIAPNG= three_tree.png component.png fmmd_env_op_uml.png fmmd_exm_h.png master_uml.png mvampcircuit.png mvamp.png n_inv_dc.png pd.png pd_euler2.png pd_euler.png contract_function.png hd.png %.png:%.dia dia -t png $< diff --git a/presentations/System_safety_2012/fmmd_software_pres.tex b/presentations/System_safety_2012/fmmd_software_pres.tex index 509d91f..d7b8bb6 100644 --- a/presentations/System_safety_2012/fmmd_software_pres.tex +++ b/presentations/System_safety_2012/fmmd_software_pres.tex @@ -12,12 +12,15 @@ %\newcommand{\fgs}{\em functional~groups} \newcommand{\fg}{\em functional~grouping} \newcommand{\fgs}{\em functional~groupings} +\newcommand{\fm}{\em failure~mode} +\newcommand{\fms}{\em failure~modes} \newcommand{\dc}{\em derived~component} \newcommand{\dcs}{\em derived~components} \newcommand{\bc}{\em base~component} \newcommand{\bcs}{\em base~components} \newcommand{\irl}{in~real~life} -\newcommand{\derivec}{\ensuremath{\mathcal{\bowtie}}} +%\newcommand{\derivec}{\ensuremath{\mathcal{\bowtie}}} +\newcommand{\derivec}{\ensuremath{{D}}} \newcommand{\ft}{\ensuremath{4\!\!\rightarrow\!\!20mA} } \begin{document} @@ -29,7 +32,7 @@ \begin{itemize} \pause \item FMMD is a modularised variant of FMEA \pause \item FMMD can model integrated mechanical, electrical and software systems. - \pause \item FMMD has efficiency benefits (re-use reduced complexity of checking) compared to traditional FMEA + \pause \item FMMD has efficiency benefits (pre analysed component re-use, over-all reduced complexity of checking) compared to traditional FMEA \pause \item FMMD models can be used to assist in the production of traditional FMEA based methodologies (PFMEA, FMECA, FMEDA FTA etc.) \end{itemize} @@ -205,7 +208,7 @@ double failure scenarios (for burner lock-out scenarios). \frametitle{Four main Variants of FMEA} \begin{itemize} \pause \item \textbf{PFMEA - Production} \pause Car Manufacture etc - \pause \item \textbf{FMECA - Criticallity} \pause Military/Space + \pause \item \textbf{FMECA - Criticality} \pause Military/Space \pause \item \textbf{FMEDA - Statistical safety} \pause EN61508/IOC1508 \pause Safety Integrity Levels \pause \item \textbf{DFMEA - Design or static/theoretical} \pause EN298/EN230/UL1998 \end{itemize} @@ -1050,7 +1053,7 @@ missed in an analysis. \textbf{Conclusion: FMMD} \begin{itemize} - \pause \item Addresses State Explosion + \pause \item Addresses State Explosion (single and multiple failure models) \pause \item Addresses total coverage of all components and their failure modes \pause \item Provides traceable reasoning \pause \item derived components are re-use-able @@ -1065,14 +1068,16 @@ missed in an analysis. %\paragraph{Current work on Software FMEA} \begin{itemize} \pause \item SFMEA is performed in isolation to hardware FMEA - \pause \item SFMEA considers all variables within a function as potentially corruptible --- - \pause this means a large number of combinations --- databases -to track the relationships between variables + \pause \item SFMEA maps variable corruption for {\fms} --- + \pause this means a large number of combinations --- \pause automated SFMEA + \pause databases + \pause tracking the relationships between variable corruption and system failure modes - \pause \item %Because of the large number of combinations for considering all variables as corruptible - automated SFMEA + %\pause \item %Because of the large number of combinations for considering all variables as corruptible + % automated SFMEA \pause \item Some schools of thought recommend combining SFTA with SFMEA + \pause \item FMMD is different, allows integrated hardware and software models \end{itemize} % SFMEA usually does not seek to integrate % hardware and software models, but to perform @@ -1095,22 +1100,57 @@ and system failure modes \end{frame} + + + \subsection{Software and FMMD} \begin{frame} \frametitle{FMMD - How to apply this to software} Clearly we need to be able to represent software failure modes in a clear and modular model. +\pause +\begin{figure}[h] + \centering + \includegraphics[width=100pt]{./contract_function.png} + % contract_function.png: 181x256 pixel, 72dpi, 6.39x9.03 cm, bb=0 0 181 256 + \caption{Design by Contract Programmatic Function} + \label{fig:dbcpf} +\end{figure} + \end{frame} + + \begin{frame} \frametitle{FMMD - How to apply this to software} +\begin{figure}[h] + \centering + \includegraphics[width=35pt]{./contract_function.png} + % contract_function.png: 181x256 pixel, 72dpi, 6.39x9.03 cm, bb=0 0 181 256 + \caption{Design by Contract Programmatic Function} + \label{fig:dbcpf} +\end{figure} \begin{itemize} \pause \item Software is already modular call tree, function hierarchy \pause A function can be considered as a {\fg} - \pause \item A function has inputs and outputs \pause these can correspond to failure modes - and symptoms of failure for the function - \pause \item We can apply contract programming, giving a function pre and post conditions + \pause \item A function has inputs and outputs, and a task to perform + \pause \item contract programming \pause , giving a function invariants, pre and post conditions +\end{itemize} + +\end{frame} + + +\begin{frame} +\frametitle{FMMD - How to apply this to software} +\begin{figure}[h] + \centering + \includegraphics[width=35pt]{./contract_function.png} + % contract_function.png: 181x256 pixel, 72dpi, 6.39x9.03 cm, bb=0 0 181 256 + \caption{Design by Contract Programmatic Function} + \label{fig:dbcpf} +\end{figure} +\begin{itemize} \pause \item Pre condition violations are analogous to component failure modes - \pause \item Post condition violations are analogous to symptoms of failure of the function + \pause \item Post condition violations are analogous to symptoms of failure of the function \pause derived component failure modes \end{itemize} \end{frame} @@ -1173,17 +1213,440 @@ General Failure behaviour of {\ft} signalling % current signal into a voltage that we can read with an ADC.% \end{frame} + + + + + \begin{frame} \frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} If we consider the software at the top of the failure mode hierarchy the hardware is at the bottom. - + \pause Yourdon, afferent---transform---efferent data flow, in an embedded system our sensors---data processing/software---actuators. So the electronics are the bottom. - Starting with the bottom-up for this {\ft} input, we have the resistor \end{frame} + + + + +\subsection{Example Electrical and Software system FMMD Analysis} + +\begin{frame} +\frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=150pt]{./ftcontext.png} + % ftcontext.png: 767x385 pixel, 72dpi, 27.06x13.58 cm, bb=0 0 767 385 + \caption{Context Diagram for {\ft} loop} + \label{fig:ftcontext} +\end{figure} +\pause + Starting with the bottom-up for this {\ft} input, we have the resistor and the ADC. + The resistor converts current to voltage and the ADC allows us to read the voltage. +\end{frame} + + + +\begin{frame} +\frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=100pt]{./ftcontext.png} + % ftcontext.png: 767x385 pixel, 72dpi, 27.06x13.58 cm, bb=0 0 767 385 + \caption{Context Diagram for {\ft} loop} + \label{fig:ftcontext} +\end{figure} +\pause +Bottom level {\fg}: +$G_1 = \{ R, ADC \},$ +\pause +$ fm(R) = \{ OPEN, SHORT \},$ +\pause +$ fm(ADC) = \{ ADC_{STUCKAT} , ADC_{MUXFAIL} , ADC_{LOW} , ADC_{HIGH} \} .$ +\end{frame} +%\subsection{Example Electrical and Software system FMMD Analysis} + +\begin{frame} +\frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +% \begin{figure}[h] +% \centering +% \includegraphics[width=100pt]{./ftcontext.png} +% % ftcontext.png: 767x385 pixel, 72dpi, 27.06x13.58 cm, bb=0 0 767 385 +% \caption{Context Diagram for {\ft} loop} +% \label{fig:ftcontext} +% \end{figure} +% \pause +{ \tiny + \begin{table}[h+] +\caption{$G_1$: Failure Mode Effects Analysis: Convert mA to Voltage (CMATV)} % title of Table +\label{tbl:cmatv} + +\begin{tabular}{|| l | c | l ||} \hline + \textbf{Failure} & \textbf{failure} & \textbf{Symptom} \\ + \textbf{Scenario} & \textbf{effect} & \textbf{ADC } \\ \hline + \hline + 1: $R_{OPEN}$ & resistor open, & $HIGH$ \\ + & voltage on pin high & \\ \hline + + 2: $R_{SHORT}$ & resistor shorted, & $LOW$ \\ + & voltage on pin low & \\ \hline + + + 3: $ADC_{STUCKAT}$ & ADC reads out & $V\_ERR$ \\ + & fixed value & \\ \hline + + + + 4: $ADC_{MUXFAIL}$ & ADC may read & $V\_ERR$ \\ + & wrong channel & \\ \hline + + 5: $ADC_{LOW}$ & output low & $LOW$ \\ + 6: $ADC_{HIGH}$ & output high & $HIGH$ \\ \hline + + +\hline + + +\hline + +\end{tabular} +\end{table} + +\pause +We can express this using the `$\derivec$' function thus: +$ CMATV = \; \derivec (G_1) .$ As its failure modes are the symptoms of failure from the functional group we can now state: +$fm ( CMATV ) = \{ HIGH , LOW, V\_ERR \} .$ +} +\end{frame} + +\begin{frame} +\frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=100pt]{./ftcontext.png} + % ftcontext.png: 767x385 pixel, 72dpi, 27.06x13.58 cm, bb=0 0 767 385 + \caption{Context Diagram for {\ft} loop} + \label{fig:ftcontext} +\end{figure} +\pause + We have analysed the hardware for our {\ft} input. +\pause +We must now look at the software. + +\end{frame} + +\subsection{Software {\ft} input} +\begin{frame} +\frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=100pt]{./ftcontext.png} + % ftcontext.png: 767x385 pixel, 72dpi, 27.06x13.58 cm, bb=0 0 767 385 + \caption{Context Diagram for {\ft} loop} + \label{fig:ftcontext} +\end{figure} +We consider two software functions, $ fm(Read\_ADC) = \{ CHAN\_NO, VREF \} $ which is called by +$ fm(read\_4\_20\_input) = \{ VRNGE \} .$ \pause +As $Read\_ADC$ is the function called it is lower in the call tree hierarchy. \pause +We form a {\fg} with $CMATV$ and this software function. +\end{frame} + + + + +\begin{frame} + \frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=120pt]{./read_adc.jpg} + % read_adc.jpg: 452x514 pixel, 96dpi, 11.96x13.60 cm, bb=0 0 339 386 + \caption{Software Function: \textbf{read\_ADC}} + \label{fig:read_ADC()} +\end{figure} + +\end{frame} + + + +\begin{frame} + \frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=32pt]{./read_adc.jpg} + % read_adc.jpg: 452x514 pixel, 96dpi, 11.96x13.60 cm, bb=0 0 339 386 + \caption{Software Function: \textbf{read\_ADC}} + \label{fig:read_ADC()} +\end{figure} + +\begin{itemize} + \pause \item validate mux channel number + \pause \item Set MUX + \pause \item initiate ADC read + \pause \item read value + \pause \item return value to calling function +\end{itemize} + +\end{frame} + + + +\begin{frame} + \frametitle{FMMD - Example integrated hardware/software system --- {\ft} input} +\begin{figure}[h] + \centering + \includegraphics[width=32pt]{./read_adc.jpg} + % read_adc.jpg: 452x514 pixel, 96dpi, 11.96x13.60 cm, bb=0 0 339 386 + \caption{Software Function: \textbf{read\_ADC}} + \label{fig:read_ADC()} +\end{figure} + +Pre-conditions +\begin{itemize} + \pause \item MUX channel number in range + \pause \item No timeout on ADC read +\pause \item ADC Vref out of range +\end{itemize} + Post-conditions +\begin{itemize} + \pause \item in range (0...1023) value from ADC/MUX returned +\end{itemize} +\end{frame} + + +\begin{frame} + \frametitle{FMMD - Example integrated hardware/software system --- RADC function} + Treating the read\_ADC() function as a {\fg}. + + The pre-conditions that can be violated are ADC\_TIMEOUT, MUX\_CHAN, ADC\_VREF. +We could term the failure modes of this function as + \{ ADC\_TIMEOUT\_OCCURS, INCORRECT\_MUX\_CHAN, INCORRECT\_VREF \} +\pause +We now create a {\fg} called RADC consisting of read\_ADC() and the hardware it interface directly with: CMATV. +\end{frame} + + + + +\begin{frame} +\frametitle{FMMD - Example integrated hardware/software system --- RADC function} +{ +\tiny +\begin{table}[h+] +\caption{$G_2$: Failure Mode Effects Analysis: Read\_ADC (RADC) and CMATV} % title of Table +\label{tbl:radc} +\begin{tabular}{|| l | c | l ||} \hline + \textbf{Failure} & \textbf{failure} & \textbf{Symptom} \\ + \textbf{Scenario} & \textbf{effect} & \textbf{RADC } \\ \hline + \hline + 1: ${INCORRECT\_MUX\_CHAN}$ & wrong voltage & $VV\_ERR$ \\ + & read & \\ \hline + + 2: ${INCORRECT_VREF}$ & ADC volt-ref & $VV\_ERR$ \\ + & incorrect & \\ \hline + + + 3: ${ADC\_TIMEOUT\_OCCURS}$ & ADC volt-ref & $VV\_ERR$ \\ + & incorrect & \\ \hline + + + 4: $CMATV_{V\_ERR}$ & voltage value & $VV\_ERR$ \\ + & incorrect & \\ \hline + + + + 5: $CMATV_{HIGH}$ & ADC reads & $HIGH$ \\ + & high voltage & \\ \hline + + 6: $CMATV_{HIGH}$ & ADC reads & $LOW$ \\ + & low voltage & \\ \hline +\hline +\hline +\end{tabular} +\end{table} + + +} +\end{frame} + + +\begin{frame} + Collecting symptoms, we can now create a {\dc} RADC, with the following failure modes: $ fm(RADC) = \{ VV\_ERR, HIGH, LOW \} .$ + \pause + We now have a model in which we have electronic and software + modules represented. + +\pause + + We can now look at the second software function. +\end{frame} + +% + +% \begin{frame} +% \frametitle{FMMD - Example integrated hardware/software system --- read\_4\_20_input} +% % \begin{figure}[h] +% \centering +% \includegraphics[width=120pt]{./read_4_20_input.jpg} +% % read_adc.jpg: 452x514 pixel, 96dpi, 11.96x13.60 cm, bb=0 0 339 386 +% \caption{Software Function: \textbf{read\_4\_20_input()}} +% \label{fig:read_4_20_input} +% \end{figure} + %end{frame} + +\begin{frame} + \begin{figure}[h] + \centering + \includegraphics[width=160pt]{./read_4_20_input.jpg} + % read_4_20_input.jpg: 452x514 pixel, 96dpi, 11.96x13.60 cm, bb=0 0 339 386 + \caption{Read 4 to 20mA input function} + \label{fig:read_4_20_input} +\end{figure} + +\end{frame} + + + +\begin{frame} + + + \begin{figure}[h] + \centering + \includegraphics[width=60pt]{./read_4_20_input.jpg} + % read_4_20_input.jpg: 452x514 pixel, 96dpi, 11.96x13.60 cm, bb=0 0 339 386 + \caption{Read 4 to 20mA input function} + \label{fig:read_4_20_input} +\end{figure} + +This function has one pre-condition, the voltage range ($0.88V \leftrightarrow 4.4V$) +and one postcondition {\ft} current mapped to per-mil integer output. + +We could term the failure mode of this function, voltage out of range, as + \{ VRNGE \}. + +\end{frame} + + + + +\begin{frame} + +{ +\tiny +\begin{table}[h+] +\caption{$G_3$: Read\_4\_20: Failure Mode Effects Analysis} % title of Table +\label{tbl:r420i} + +\begin{tabular}{|| l | c | l ||} \hline + \textbf{Failure} & \textbf{failure} & \textbf{Symptom} \\ + \textbf{Scenario} & \textbf{effect} & \textbf{RADC } \\ \hline + \hline + 1: $RI_{VRGE}$ & voltage & $OUT\_OF\_$ \\ + & outside range & $RANGE$ \\ \hline + + 2: $RADC_{VV_ERR}$ & voltage & $VAL\_ERR$ \\ + & incorrect & \\ \hline + + + 3: $RADC_{HIGH}$ & voltage value & $VAL\_ERR$ \\ + & incorrect & \\ \hline + + + + 4: $RADC_{LOW}$ & ADC may read & $OUT\_OF\_$ \\ + & wrong channel & $RANGE$ \\ \hline +\hline +\end{tabular} +\end{table} +} +\end{frame} + +\begin{frame} +We can finally make a {\dc} to represent a failure mode model for our function $read\_4\_20\_input$ (R420I) thus: +% +$ R420I = \; \derivec(G_3) .$ +% +This new {\dc} has the following {\fms}: +$$fm(R420I) = \{OUT\_OF\_RANGE, VAL\_ERR\} .$$ +\end{frame} + + +\begin{frame} +\begin{figure}[h] + \centering + \includegraphics[width=150pt,keepaspectratio=true]{./hd.png} + % hd.png: 416x381 pixel, 72dpi, 14.68x13.44 cm, bb=0 0 416 381 + \caption{FMMD Hierarchy for {\ft} input} + \label{fig:hd} +\end{figure} +\end{frame} + + + +\begin{frame} + +\section{Conclusion} +% +\begin{itemize} + \item FMMD models integrated mechanical/electrical/software systems + \pause \item Each {\fg} to {\dc} transition represents a documented +reasoning stage. + \pause \item Unlike SFMEA software failure modes naturally link with hardware failure modes + \pause \item Added efficiency benefits + \pause \item Additionally, using FMMD we can determine a failure model for the hardware/software interface~\cite{sfmeainterface}. +\end{itemize} + + +Questions ? +%The FMMD method has been demonstrated using the industry standard {\ft} +%input circuit and software. +% +% \pause +% The {\dc} representing the {\ft} reader +% shows that by taking a modular approach for FMEA, i.e. FMMD, we can integrate +% software and electro-mechanical models. +% % +% \pause +% With this analysis +% we have stages along the `reasoning~path' linking the failure modes from the +% electronics to those in the software. +% Each {\fg} to {\dc} transition represents a +% reasoning stage. +% % +% \pause +% With traditional FMEA methods the reasoning~distance is large, because +% it stretches from the component failure mode to the top---or---system level failure. +% %For this reason applying traditional FMEA to software stretches +% %the reasoning distance even further. +% % +% We now have a {\dc} for a {\ft} input. % in software. +% Typically, more than one such input could be present in a real-world system: we can thus +% %Not only have we integrated electronics and software in an FMEA, we can also +% re-use this analysis for each {\ft} input in the system. +% \pause +% % +% %The unsolved symptoms, or unobservable errors, i.e. $VAL\_ERR$ could be addressed +% %by another software function to read other known signals +% %via the MUX (i.e. voltage references). This strategy would +% %detect ADC\_STUCK\_AT and MUX\_FAIL failure modes. +% +%Detailing this however, is beyond the scope %and page-count +%of this paper. +% +%A software specification for a hardware interface will concentrate on +%how to interpret raw readings, or what signals to apply for actuators. +%Additionally, using FMMD we can determine a failure model for the hardware/software interface~\cite{sfmeainterface}. % interface as well. + +\end{frame} + + + + + + + \end{document} diff --git a/presentations/System_safety_2012/hd.dia b/presentations/System_safety_2012/hd.dia new file mode 100644 index 0000000000000000000000000000000000000000..f0acfbefbd8dacf9ce0ef462a58b8bc7799d59c2 GIT binary patch literal 2464 zcmV;R319XfiwFP!000021MOW~bK|xZe&1iA(Y~}Z3XJ9DB51X^tTrPY3o8#7lKgCEw!`qScY(Lz>nVt92|h(egEY?9zBNHCQ6grF#>Qr z3X?^;jFQ#u_+Ov?@{JsS|KZ(t%P9C(|6gUn{YZZ!*_hvM$9H+Y{`ThP>FEi?&zm4m zGZ04)U=!Z_H;CilMi;sne|R?aFhi1;q7=HEPh{Q=|i#{ z7p2N_i!@HN(PI$bj^BT_uklS;&COmtN9tY&t8ku$!SBsgL;X^!P1Wl#JFND8oo*ss zB!6C4iZs+?-gnBBr8c@yvik7;BYj^qsr+DDS6xFJjpX-1wu+Lf9o;u^(GeI(jIr(v zrlf*`3iQ$^mz$ek*IayEbJ=yxMVr|=&GIaW@~X*sn#N&}6jt->A#87Fvj}1hv14vI zc=0*P^YldfKL_#V90!VzU+=a{@7z@uEsx*0dnFobd5V_#-Rz5}?kZ}3_Eh_0w29_% zSl9X}$vdn5xtr<_ua0H!?bjXAP}J5a4@()ckXp|ShpkMH$_rdF&L~*q(c{Z+JAIPQ{}V3q(%FCJL9z_8<>;Hy z59ycjb_}9NAkp%6{CBwDS%>cF$}|sFdTX7&LP`LlAetzk4*Q_WAWatL^Fsrfb|FYs zarkP4S|gH85dwm|kmQ=?H9Xe*MSVpNj_rfL=5KN`ozL$Fb}qj(>@gum;H37046_rU;*41h7)vBbX`RdYH{8 zNCKuwY|4R>Tqt9iaMhAE7ip5r!enVZYUO9OsBReIRGEfyq;R{2B@g$D^#Y?Mls+1+IwnjN(QwzdjVJ9-^4KqPUZbb|#7i6-1d4 zg+Q1ZHs*?9Ygu6I8OM!&))kcyQfwQ_8SNd8o1u6b$Efih@Csw*PR3jkO^U_Pm3f`% zaYTql2LVjssRB$uW(TkYa_?l^;AOR_ZkK5y=a}^kz{rJ%k!K$M6n@Ef0E|iibN5j( zGLw0X0rff}F03F;acru`$Anp%jJ1VHZu;XyWbU9$(`?5sW$cwZSoQd=VbSAAq_8RM zoF;jlCG+{{b8sKU&$>ZDvKfyy`Ev=*;;VlR`9bPt2;;kKEY zVd^yuZmlrDspTX)86>I?jP&ELA3yzj;3VIiRExubl6pu<%9WB3dL1} zgS3c^3e8d4vLejyC%FRYgZhAH$=_IsHWf&M==K2o&@gj@a5EXsX{S(=@8- z6f)6=2|p9yWltUkwxXdCc1YmjD!!eNgVA?-Al&M=%s z$@(E5X0unA&DJ7wklQ}Wt#iT}QUD`r(`pe_!Y5N9+a@=^ zI<+NlT5g+g%sPn5xL>uiaV#*KFl~uLYNIj~8Os7m#QaBP>iw)ON~Pesp`w4;!^9=) zlJ9?+ca7qPJxRQaxesP&LIFgcCq6=(AwY4n@F5IDgwIV$?v4$+>%8nrYMTCt4p#A~ z*}}_rMkeVABjJIOuCNYULE%71JtQOyJD9z3&L#>V&yzP}#cag4$xTuUW0SysP!bs^ z=?XKqDh>xudJCLn!d2@%!%Zypk2HQ>rAgi4H|W%{Y*nhN(=B1M52ax3Pt&UqR^uQF znN7ZC5r9HzQrd_;6NdmnA#QJftvhK}iTs0(9HLpp zUQ0#9T>wo1Z1Y^{HIP;q!$2Wy#_OUm&548Mdg(hUke5j0fk^(;D3M2*^?aFh7Rom5 zs1?f^xfB9PVcsZbl1U`pO;;uJe3-VgSf`w4YG)gBP5OCCL60kSy^3CZ;_9K29@Ekb zIIZ|(M^L*HSkeXW=}{Of*PNv~SabG4eKuY{F?#`Vv8ICrGRy1q@T4Ix3VX!cn!*I2 zvM@Pa*klgq!dy$OQ$N0Kt)-n{4g)A`$I|OyuC!+kw$eDWSse@&7nXB1i0&Y|M@9Dt zUI*R%|I=O81qX6~UJu!$6np1D4xpYg3V_UJLjfcdurRJ%2=H9pJ>qTcIhrqpnL1UN z1IcY+0kCrE$G5G!yc^7MUUn?K4(9mFwUH((Sfh`kmkW!;pu2Z`SKX{m!zX!fx<$eGsfyKf5!tVi`m=$JU-8XDU7_liP`d!OS>)j(~?n`oW>ztd0A7;(? zeN<96#)g~5o($!_oevd*Cxn^b{d}lAri)F@DXYx$K&=DE&bf7%p3?8>jo eWVm%+A6sc3QTgHB-ZLyey!#&@b@USFdH?{ek-@kC literal 0 HcmV?d00001 diff --git a/presentations/System_safety_2012/read_4_20_input.jpg b/presentations/System_safety_2012/read_4_20_input.jpg new file mode 100644 index 0000000000000000000000000000000000000000..c8ef1564e4d5ce2f87f705b4d08fd5d0771c7727 GIT binary patch literal 41999 zcmcG!1yG#Lwk|xl26qnw!3pjzgFC??xI4jv2MK|}3Bffu!3Pb_;O>J31_%V#Ac4!b z&)MgmbL!vUJ@;1q@6?)ptGcVZpVe!vUj6j@wDhzIz*7b(fdB{y2mtfvAK>W+F<9Qu z!4?2eQvRPcpa&r0BOu`;JoN); zpXZ74jQcO>|NbB#A|a!oqM>78Vm&u#!UG^8AR!?lBcY%mKSM_ddaef`*&7G(>E|Qva+_ZwX=6{^m^y*+wh&;y`TFBXXh7}SJyYcZ}0xXg#bYM zH(39H?7!i{f5wG~jEsbg_7^S$MBisY!be7V$&E@Nt%YXcK}gRNhE61tR8ZH00p!&_ zCARdO#w20j`@wkj7qovM`=0>||9?XEAHe=Mt`z__62kN1A>jig0cTGDBID>Y#`}(P zvbCgku^;*mPAt{*ly!j^gU4U?kbscjw92i#mtrcxj0$#ZaY*r{_Ry=U814C#n;DU2 zj7_`T-ZYg9Ui7y~u0ktv7*7DT(5tJ<$b(k!Fx6c`UkT}j#n^K% zA6@8OT01}3xq9XDErPkb~%NHAvcYJUc59v(MP`AHlFn9ta42c9j0Rm}qv*(RimTzd;j*SG8u(!?$ zyE30lU+VM13n7wd_`f-+ID~ z$ELN<$xMZoe4hJG(5USU`}R?-@73dRkhovbVUpdWr1_tazx2jhLS%S@qrcj8El20v z`tc*IdlC?rGTZc~{0EnFe=H1Q=Pu^bGXyO!W7aJh4b0>q$KZ&%xoa!c=hAHd4a#@+kF zhB#$HCNLmoUrfTPAZE2v@3T6nnd9Lm^z{2P`SvqS zZrZES7Qvy<%)}ZSP%}}FLrGl zt$y=!qA=JjU%5abIUurLV4FJt3A|zCtYrdQQy@@|Jr)dim)gAgz(%X%)mf}Z*V*nvFjv(V0 zyQukNAO>qBdngsl_Dl@NUa}#DXhxVz%|P@wiQFeZwYXqCuFqmUy>a`Da-nq%Q5fF# z?hv)O!=v}@i;Nh6fKm(qAe!K&^@pXdxaXKk9XV-;5=dq{yeHmucV#0tYn;Gy3FxW+ zuII6I@q1e`lF4QoxvGsGL85>iBu#GZvP{nv7#_BxaX% z)=NfrjsA?$%`tnoUBci4(I&}pwPM%Z0s8~CTdt|53)g!)^!D+yDwi4jhBSX$j%Xqc z?OhT*F9r%k9y+GtZ$Ue@G6qkj7B8K3izPNsP1%vpHl&9s((du^4ro$RxU@gf|T!Thr7 zD&Y0l@LK!pF-4TxXhINdm@X-MduRWWvdsSI`;3f#6mox0kzeOjUPDZ|YXLKCj-azl9x5I@4|tHdhx)0k z5+!4{uaIX+c5fH7nYOsoM{!T=63qN7c5N;sUw4#81LC--2guyf`w-S^Fs{h)AYWd} zRCyinrrgc0UGdmZ!p+-n@Mph@b+v`C3P5f&cJwl@uZq^~ENcvC z%LhYB*ddT|U~x+Gu`jMCSBSE2;>m0JuM3a+4`nMGYm#Y(kJIf;5`lM*8IQVoD}w${ z0JA?{cUHGLH{lmYe}eif?b8HCae~cZ=Kw0#!UroDoODwzov`Ehq2-@E62E94 zWhUTXO#jh*BD8jURR#=v)7;lTE}=1=%MBKteHax7zmHmLIf8GKZHwK_E#>Mp{=v8J zJ(G}tQJ^q=z(jY=;a$&<5;j!yPv4O2)n#$T5$D}_$OMy{$G9Z2e=#5EwGNAb3SAKc zgF<15`Bhz6MIm2(iEexw^;i}`nwDB{v8>?`1sMystZI0ddpFOH@L8hvGCZEU`Y7bE=y#3nA@ne+?OI+`50qs2B^R8P7lI76ag#6(Kf!jUxW^ z-V^@N#R3$I%UeiQ`hpi!q1Nt8n9>8-)MCh-VkBlP@U-`4ixJ53M(+v!WhFF$`!*nk z{}7kxb(0_2sI|HEMa1Lcd5J-ax!V!p4bir*@Z*Wu90NXiiG$rc%#D^&^V+*4sH>yC z-7Q{jdPoXw+xa=15FXv^j_MVclCZDD@cDBBKO}{a*e%Nq$yfF2IXnmIP+KZVdV2w1 z?ND}1@$e2`_dNQSBO1~l-<$kcyROxz3QSoIoPp&x8oyRUpM=ph$I@5GWfjR!Xh_PQ zJo=RunGH4=R=mUm{g}Y$K5)b+G88KY8&d0^)VYl0ZX&3kTivT>eGO@N0b^K;d$h{) zcvI5EIbW(69QHH#oa6q4|rE?<7q)K+pMzy7n! zX7t7~=Og|n!O7a9eMo)b_V``noOq&xpwP|wr7!XD6?J9d@5m({oB5ubWjP2Lv6ygZ=$A6R zXH5^KW6(A@jqe+4hBXcnE9XorGLFNL5t{=>IzK0IoQ=P0V2ETv#jX$Am!;^#3-pIc zj%F*-x$HOnB?{h9z(PL`Ktjx#(m$Vc4em3A)f0mup6&wvofrB)j zH!@|hG6?AXG=4>k9V`i7bPVfWu~vt ztCf05GR@80CN$Vy!xmlrDoefA#d>Fl)v5%-LQ5U)yw=Mbc?#X^bM%FVwNZnZ)wr}Z zJghPmvqeNvsc{^6hlfjVwcRjkqkuv{s({&n>b{^Q23OwR6qw{l&J6Vo{qP`<$G(y_ zf5#}f&&S?4>m+ceWE!inI^2?}ht3rU4)BtnI*z%a5f*z_JUqy&%}2=U#x103=OYBw z*jJUe^Oh&K6+--!-v&_psaVQ4Bjy+fued~O66df>S|jEe;^_m%Iwz`Nxg_~yryYnq z0aD~=Ejx_KTRS!Oq!`}4Dh~9wO53vOgWg01=!ikiKeVg&`s}TLDp-3lOuer{z@;?6 zp46dHH&n;BeJciL!D$cn-h(_LMGNWA!LD5=B7@D5R)YSigdreM>MeW?ha^P9PFq1`Oi z{K8mfz_TC~ot?7>i!ErO5}Dwkl_J(wZ#qTU=)GAf0dIrZ^8bsgdo3a$A6wG4ulmdc zeYmH80^I2|C|tL|cFjF`lTl{^0%&&~nUW1l1ZGzwDAGN3JrXf4D~OIx8feKTM45t1}qcUw)qO+CpoH4kzahcch}I(V3jA5@&OB z#ypK9B5s@SHZURO_S2#UYq6~o^2pGK@Rlnm@N75b2$xFu9<+#A0$fgt%f`-|D96r4 z^*>Tlpl^y;t~8hiQ+_Pa+M}5Q zKj=%_&~u;^Er&Z8!Tm!4DunIG2)ACEILCaM!lGdw2pxAd+;B zh<1hQoG-q$uH{PT*Mvi(mY)4TbBK3ccrg-^3o-DZ;wQjM1A^62)k z5Ha6LaMSzvuCD$4?y7Hf-S}BYj*9Gvp*$YH=bF>u!vn6uR{}l^ePn30WJj^~bBalZ z=5YXnBdB)B=(CjNRAmsi1V^mS>x*&w7v$p^nG-kbty?3W;M8d0_)Aggj ziSs7u)}yj+lkJ_DRb~U#2@hiPP>*}D+poTWd%{~xFf$3g4fqoH%HIqZNzCiF_DX>| zL$czRVog+;II5l2CxF;Ao47oiXx9Z5jY?KYsyqc5V71FPOx@4*C7W1tzXIZsB-crz zq!G!2!BJe@nw`&}jVfVFw)w?eh*9w(Z`+YW&gZEnhHuT?pLuV5ZZq-JM28qihJFsH z&kI4BO5q`_&a);OZoO;(0q#c6i8S ze(7-8pRDggwV6?aYw${{l#A>=CdtKHZSm{ha<;@1GgwH&OjM6)>apJyKOb%fE;YRP z5ycUk|4>z$XA%-A!2vR`TB>N7@Bm9r29(O<;G6#-ZDU_G;~#SQb-|4$DV?y`NodA5 zO=L~ZK-~{N<^IFkMC4geCQrIO&!F}t-h}z*>P0B;U2v0;sQ)XOeaK1V;3kenldN); z?v4`LN+eM;LHJwroS%iUg}whd(id&vCp;3G>LT3tyjzx7G6^x-`BnVPP(38HP5yaL z3untJ4qx~ytN4rCz)A_{aSzn~7a8e4E$p9V$kX!EBY;rW)5hYRjWwOG!#jIA1tm4j ze^9Ha&r~G}GAimbVTp!{j){kfiGhJhgoBHXM@mFSMoL6NLP5<)OF;>wA|at;rvtuX zVqs+=r{&<{VCG_EW?}vZwfekEVxnUbVqy|9Q;<+F|6f1KNxka3Qr@RyCVBHqVs2*!tRkFYLyqvW5?#U}te z@vVIDwyg0;clvX{kIgS zBQ=bE9sHo#(<9E+vT{?BoYSq6N9el_gSo!V@mR&#R1}uH zJqWt5gN>;fbr*{ zjCxRbK-x4qj}h(TSIhfL5!==kebo&dSi;AsyzRo%9mpO>dujFqOkmF~OY-$X)BXky z$3(Ta^-Ypnm@#WX&ssQOSOc_z``vF`qs&?ZL+7Bp|1`VN^BdfjMIIZ?@D65~>` z!y4#ZnBD#N!eU*PRD<#SGOfe<;~=b<`ts!uBF$~_C52}4-+z!Ie2DYiMt0BJ7ztao z%GMkF?X&t`mG22aO&ZP7CG4^$wzs*`6W91L-!$jKL2%A-gWiJ8VAVwi{P6gw zi?dC&m0#00nHH&hapPD8JI(@>4hB^hpaT`H8>YS0)IK5IB%Y zWI&>eNP!Pi%4XvVer{%?G{q6VWc&04phV}c?e5z|$XTWo7G{Z~da=4yUemLFRkY>s zkxFXlpsZZK;it#I>4Qi@T+C;$r07GbZX~<+(eP}4KmPR6`~e#W3&Dg4QY7qtMUc{j z)N-Ogs*u=4_kh6RD@k-QH6E!gkZ~FcTjAUzwXrE^X8JY#hWn?`UXbWnxRA!lj?^*t z1e?`+QCEpq6d~YGed!z7&BwW37tXMp@6HchMtPb;xdaXW4$3xd+TmZ@yT#uCX3fLv z8O<#1pCt@haU0gu{^s&dXm6_K^@B6rU>_20D5|fuGaUYv%U#ebR-*t)+IM;&!9#C4 z0ivx#0=&pMr%m?Q*_?;fTg9E;oWWt>nYH1hxq_FaAq%CSfF7sTIx5 zi%BHn+|tv7l>>qFkNzb0A52gQxHsbPdqYB4(LBH&n)()d!_r$08Q=fle5vtCn-%P9 z-rlk({r$5;*yVQAb$?G%V7wK!J2`q)9pKyd$*a=TP#kW&sW(#Q?rR>(qchzcagxic zb3jhmt9w`BA;!c(DyrNybBTUpF-HlN&hmb#NPv(iJ$!B*Uoe4|H3}n+uZgC*BOZ7H z#D5@LGPgJdOdQ5%XQvM0pdNeZE}EYNOrP=fgXyfjb#*J3FNL;#2U9By%Bi#t^k*&2@wLtmNv>H!!6bL2uRUOYcxoc}DHfj)PbJ?8B z7DGXm&J~NH#uXoxwVT@*S(NFuQw#rP@h9YQF&F&_@MD>CIv2UE)lUAno1H2+P#=Cn zs-xk{KiYaQHZ~zW=>+5UQ_#~;2F^~dg z@g2qX#}*HJ{cn_9(e}FBe6d+13K&BxWZT(xf6(@2`J%+56j(w9j)l7SAn?Z~3%4Q- z@e1Vzsd~i(2F*HAxcr3THtn+b5EGSN(=3Gw2B$?EBz3R=9;xCcrD&2}gUjH<)T!#M zzsS$l=$0`BrGK%F(n&*$_a8VqurPc)5RCbcdgw!XBV z$)GUepSk9TTZV$oJTS024k$!g$NQcwkaB3dA#EqJKnbbq`lCrQT7GqaoKJ&EmA;m# z@(fS0gKLkv(p|)z)j2cO%&Pe-fpjax5!OjoJLj5KVIfN%fAUAWtNcuPwNJnga2ITk z3Eszu%gXy8ihk9)Nxm7ZPm2xViZPf1n{IRwNxNnUG#!iL^ki^r*8@d9tCfeOG;+-h zL-JzoLmpvO1c=8Vns^t}Rna(GD2;+SjugAbSIH^NFB}=B^eaD%&<@6i3{_6F5pNCf z6HMTCovJB6+SA%khrJxwM?IVCk!>F->*%c0sN4f>3(9&jqpG>RoNrkpJh;8R*dynX zDLsZ5_J9{=-o+CE2|4Y&Ee|b&5=)h@S5tT@Wj);ZY-|{(ni1j!>$AfqL<498CY7e; z*T$1qR|l~5wK`(o_y15q6w;YYeUwzDh(pv|_= zt*DQk$E`i^(O^U6|+ zSawFLdu6w<2GNAkIIE-BOARg`5B4k=xeJsD4Jeskty_#7+RT3b)o0{aN=g)vDJgF^ z#0aBUcd1@T9W(`{+Lrt&sl51CPZpW7G=0F-Zc1M&b1&F=h>_S#3j*8+07vY?I!@ z7=Hv?r;XO#rDQh$&Qoug-3@d8>VQRujTm2$>f-84_FpSW@yj|9{7?_E^X;uoW>T3Y1an{E6S=DCtYAu zXVboQdmQY)Y~p;~c4TP&PK>nHe{oUXc9IRgUoqAY(zXUG#VKZfUNL5Z`w z@Lgva8o?Mk<;d!b4~w=M9)VI&LDAVIJO|Ktm?x2Ilvot}Lvqz|-rd)a%P{$3R@ zM+|RVd1rWMnq8*9jh$4VuZ=DPqQTkZdXdZ%pv_>_&{05;fG1-F-SoV)ivUFO^`KAA zSX^wS82l?TP0t${(U&SG*D4CuKI_WmB(5!v-=xBP^pT4Tf8-ZWnRbzFu!cvw*fCmd zk%}dfD*4WCJO|=)*#tIoq`unvl`MBdxNPu_Ua^}Szw7zL2Y7)Cv4YKX*0t8p7`ZQf zPu5*&FdCUAixv&tp!F1&I=U$zyCZ#2e}!LHD+zr}lG)pZHQ0*!``q6xh&TsOIO#jM z8yHojf!rd5b%r6&lRl~9>dGYsJ%XSZdAEW;s*Ag>`JqAlh)kpD<<+o)wfd`#@u1P z0WO0tWGH?_V{}xtaBrg$`qNxw&eOD_w98XBrEpXpVGpENGY0eNCJt z@qBGU`0<0YGww4}Qmol}+kChTUN`;z*d#HO%>-P3ubj6lw<%0`znwElY-r(SU%w6u zW9%$h73Z=JE{G4q#&`(==~LkhHvNR)8>;cofkl$~e-R*zin3@1_c1)8812{nbf`8h z>9KIE&=#h!u@UWP9h^KvrEWfY&R%7HMp4U|Ru)kezbw^Oyp6({z)g(b*g_&M6_UoY zT)Q&z>KC%$vJ8u%ahGpL@o9 zhr7#R=bOnau=-e{03l@74}M|lvlz!DWZHc5{BQDyt!O?fra8dBNr`$9i?!+i9r;*T zR1Eq8;`?>gd?BDX0O**m1tTyw2c|99XqJG+9&)#R{8w=;H1#s>)jLvY=&g=K&P~SI z%I&7Qwmi7vMvloSxe>x9>gK1lN**?v{k^)9sjFNSMtToHqS8;Qubzm9eP?m6|Ez;&Wf;_;cE(%{Bad zdnS|t8ti`l8sknLD=*7+JmY8wcJj;MZ{U_g8h;2Y=jr^l=40Az;xFIH;uLbuPlL7b zX3H7g_o3OL4S`P15Ml?%?Du}$r|`6NaPz#5|Yk^#V?7 zJ6x1hAMy_4eX%nC!{bg#9d@TzUhH4uZ(}(lN@6Qfe8ca3#^cZ#=sn{J&j+z?hU{u*ahi|?AcHFaUc{Ik=ae?-3))3sg7ljNoCs3Z*)kg0LJZmx#MBaR)0xx~ zd=_Obf`3&6Vclz+h^IqN=X>cJlf?VVJd%=TdcNf@rCW|EF~C!Py_J4k!0%Y;>PwO< zDfVf3qjjM439*YN{Jc-?cRZFfQTnwbzM(VINNQ#)0cKDg7K`t#_UKJH9JN|x)o?hgCIb*12O>T5b@me@ zK|08mjWuRzGsA_3j4LD#>1&6%CyryuwX6m%>qQP|ZtnyBu&ICfy8Kq&*M~s2`QvuH zW#CYer2&CbQa6>0n3dQcUVYc4+#9wl_BbO}OxS2@BP5{Vy-g@PgSU(dB zqZK`8s-!3C1ztpzWx$yYvnozcPVoayP^t+iXKlT7UekfsB zlj`>khdjs7P-)VWj2r*@A&q{s`=~ zucshg3uy^o-#NBU4qRvg#iz-XVMIN1UVCu63$6K;SxnLXy05qaX`|W=X(FC&ggM1= z^Ye!SlC6B-(;7#;g+jK-Ka=BvL1Rfrle9*#Jp6%oL8=VKk_Uw)W(S!z#atVoWQEdu zZKCwj!VEnXM?z886)ZK-I;EzLfL-%0)wZ^ZaA#g7j{)g7B_*(~3e0i#*Ha-O$}dW9Smb<_ z!K|Y?72T?LY9te`%ERkc6bAoU6jlCpdBi%aws7=b)cwB{lntVp}@nw=y(#NndU|q})c1YPV^` zRarm+9gcuubmmhbDAPU6epZc1$t6lx6OOpOXU1w(1JrO1J{yxrY|_Nyi$t%L=9Qkg z>#%n&?gz%2qL^RPJltGLo2thz>rDNu(_Sj-*=(d^E4^+YJI@ukn-e!1GjP-=DY%J& zA;k0mXC;l6$}sxA1?j%Q$ZW|EY6@?Yc(`Dr}f0>J5OEI+EHmE7&$CL`hipdx!?zQ2Be(Ev?yHkto+UC z3f=+kV{D2^#_^e|U|L1^!l6~_7}8iQ1u6Q75&%z8y#2bIWFb8m^X~Z4WXPgLG0iGT z-{%OPtekgzueYYj2mLI{39g_}1p11yI_hiR5l428>0R*8b}Y^q76F+tQOCH+ge8KP zX+5+ELD2&Sy(ce!8LRQ80e5AY$+jVhAtK#p*z|$Nqeuff^nr_o1tq2jEEY6jUpste zImRmB!}BKA0yvelINc zqFz^!(HOA#1i;F5+8ZkJFEQ8x`BO!{(Ms;WLwMdV=6%jho$_87_wq7)bB~oM?q@qI zS+J~Myqg+KF@iCHP^|TaG}2nBY@)V6xUX6}`)M1MB1eiwmAV+j9Tw_ zP&|E{;0FYit4Jiz+Y*B|!r)+0$v=c|YOt;!Iuu6i^DVzOR8pdeXPCoc3f_@9&1p+Y z&qyE|iK&~?n;0a1AQlJ2%f%E6?}={^3DLE0a$2fZYf}}m<_XtQVRp+v1-hd#(b0H1 z@~$dhPa8Mbk}ZEBMG9YUBz zvOciiQr~XkR$EYsyl?w6@GVrnx!E`+40xPk$!!YtZM#FzaZvr(2UVLrZfGi$ewl*k zNm;t~My=9p>^}F+P-H%W)f+?}B~}0#Qi@TP+cCTEZy&XK05wCrwI0;D5>e>>&4}z* zwA$9zX2rr5hz~P%JVA?(rZHOZx^U0Q-5b3IR~K(`OKy2m%pOZy>mE&Ml-3?(8vos9 zC^r<9rpJ`*z)gq?x@oVgWbI(%PfMARE(E~-6OGtFN>E)1Lw&?*NvuI*M*!?~SvubT zaN(hRp8pU>CR_O(`tkWkAtayfY-?9EjsdSYuKqv@nAsx1(C|AKQ0G9X%|?B#$oy@i zz?#iIS--+>rPf3%Ok;97b1SCUg_U^t%tSzyb!&#|y)NPe23;JEu+>U6(`>cAdXO~z zBX;vyF-yytu&D9ktX1Anb>>7CGKJX8JD0+?=2jJ7JhAFwJqCeC3>1Y?=y{DyiE!we zKkSD)G4mMet}ph{+3lOm>h(g`L`QVDu92$-13GU66Yzx~Zz)Kx-PH`VRvwgM2JyvXU_vPdhV8M8rY3?*@3>!J5K z%VfKd-}eas_EDe|hRq9#bZw8EDv*MktPb2*B?xE6%8m*``s(>Bkq~BN^HB7?Jd=bH zL;0_UV&nEMQuxNQ9$S!RljgCAiM3J>Bmj-*^t>@C^(Wx3+K^e#^QrzDZ+ZWUbu$_I zmQ)^VUJGKCL@q2m9%vU6Kh4aRvC4UWs~k>UHZot=e!^dM^-22a0i zC|HRq6n6vG^yYz!w~_@wPC{<>@|kGG0}X@-BgU2WsSOnNIzN|61J$9gMqZ??Uh9x^ ztg_*~iD0%d55i28rj^yUT5z-S|3ZU5&uSQee}v+P%(==!E*APieI9RvGllVJM&5(J zoiAn8RkRKm$u7l^4d6|XHv9Qm#foD*o0RZsHwoESfTiU-FC3vcn<`(8uOij zywU9NSTlAL=!k$!s&GReN5PTAmQ6ERy4FkE_pBF z2=cmut zk7utcrw|WtEuAXn8b@DxhY%QIc{g@}QAAh2;D2)W4BSNI2D4Sm3}(20`Hj_Nr{fSU zU^g0iV=~m5YDDSs1nA~uU<#soK@_H zo0*4(?C?+Tjd{N>wZ#}*zif}g&NK5e*jP5$_jubCX`CK=DiyA8POO|Py#i7M5>pzc zTsJ=fz|=CMY_ngST;I2NW0v!O>aSA~gEh6GV$!S#u(f|Ds|gYQ7UF-vW`_cYhWnejYlvrlBM!m&mx&^{0Id+vDKyN1I}^WzQFBWguol(f$Cabulfj@yg5 zQ2_P?2sKgEN7@C%?R8n1S{tc-xGPStwwneoJhHjKHh3$!(R?)CW8ZoVI${gx-Aoy+ z8XHQJ6RLvafrr*|xUFENA>=)`5NSgf#{j{r-P)DQuj2`7GsNm~H+36D4vAk}qnQg4 zxXJeD@chY63|2Q*#~Kt^w^w$a2VOx^X#Z8LSuGrd1_(5L| z(nd}$tT06vdA*(h+^_%G{c&>kaul(uajF&+sH_7;O!7{f(#9O850D5;p4e^~!jlSR zN09+F3TaWZL(qUox9Ybr7&`qI8P@u6E0B40PB%9>0DhKdR8!)tWsZ+vulW_(0#iSs z<&*}yp1*}LmCw;oY0#&RoVxRce2H_oEcV$@ffDG&u4dmkF501!IYOc-;6?UJ=a0vH z_hma$Qxo|jBxWFxG~f@8^ut_0*TU;Xv+oVzgUc^1<&+Egw4tK<4A>9teurEhv0*hP z3gY*St>cZDbkPTugCR^z7bZ(vmU6@sS)(!iOAMy^GpRL|^?!H0`CRw9K+=hvhFbr} z-p6Gsziggt{6D1C!Duf^`e%DE<<^vj@KMiChP!*74}G@Z!~T?4o87$qZM(vQqgSo z2t^64r8;(&4=2`|iv?$dw~?khPou{2v^7=&W-UX*dvex;a1 zQ$g%DenApDxsF^EjF~L8eWZ25VM{N_s2mxGLw~(nZt=Z6d|kzlvlNUW;Wr~g{C(5i ziMYL0MZZbqWBT&MZj3NGbQQdwHtTR*b{AA|TKhfs`n+kaCx!$p-Gvm)Q*6PNAGcRG z?r9aF1$G+7PflH5`4Gx;vM@4WH}6)`)F?>m*^p*{zauo^-ZI?1TY#}^m@Ca5uD43w zN0oi*8RV6c*Xg6gICj_7$4dr0bzaz1qpoM>#AWN$4SL`Dpc};P!jDp)dyeG?`zGc{ zAE_$<#E#VuUAH>$pTMZ0Z$wma>ARTrhsL}hFrw#sxHK8>{Ik;lG&VJn8!FL+zSPdo zPUP|JIBsucY=gI!&bT(~NBoHOcEUhXH3nwdimQb}=Q@?0InZkxp3Dg%(g5%LY4 z&$!!Xovti9qw52;4@7Hh)Wtr)T<(J z@wC_j9}g^Yisf&G#{O!V3~Ds~)KdMUNfF7s&{D_IU;MQyzE!$sFYHmqC-li*m6xrm zVT}g)ve#t~j`MQsJkt0*=qEdpKC-KEtS!dIB{Db|2RsMcB>i*c-dZ9jJMRI+oO1RuJpQq`^^s5`|=n)ULOHRvu7b{WrJl0!rf)Wqa zbkJL-Wv>_P@f4tmLB5H3rpU?nxXNqWH4h@jzn>FQSh_^PO6e+2_o6;^D2bkbee{ig zWA>^ES!$a33<~2}qMxSl9)zDJh!5S(jbt9BVAjIEWJ%x)H=axB{qkC#*=G83@&7S_`V$8F)CdQfAW zyB2vji2eXH9z>po(Z_G%>HBG2o$sCLeojwW9{T8+MLun8D9&G~WzgYg%p_6o8@wtuehsg;28 zTU8$17^NMih|R`~RkLf6tDx6=MP5HxRyt@l5@5&-CR54xF1)PYCqD^besR2_Y%QQo~aPGBbYhcVbPJ%6s z+&5_vf~$M48o!iqXN-Y0o6k$YSb^Ic&)2~E=oG9JsM2oX$Ght+R*;rV<{e6FUC#n& z9a5)@i~67H_iScs{LKQFaaB4rOB1ZrtR#)AAJ`puWKvh+f5jk~nbd|xkl0wwLT~)H z&kUq}y%1zk`lnMZ_v?mM`puKT&|gL@sz6V3XE~Nn6^>XQi^jhSBrva#$J>$j$R`3X zj5u9iwPlQY@uesScElOv4Oi>t+mj+7QDBFrmawTPnJuQ(W0+wi8{{O*nU4&)OVi}v zY2l*OD;~4k$*9P)$a^!d9@z}R10#%zRj^&D>&2m{-(Fv_ef!viCF(mC z>=NpY@do*!pVp?EX%5E`V%VnADP#B&S*it$7laQYy~Tt>g}U7%Dt@S)FrdY7huC2L zj}Gui_r@WH?1|K#(F}g1&xPm{#F4|PA8Z!1u0kJ&#Lu)*_KpPO@`>-PeQ5T>_+St(ve(A_E zNp#t$1>=g5s-+CtrAs=EbJ8G}Kz5$;xf-Eng1X8=Q-)0c^9@C_RBs|Q&P6l|$G_VB zz!z`7eknhpZ!~%H8^c*d-q&@Bz4c^AUjm1Z=Dm_QA9zALB9guGys~NYY34%~-c2TV z9f`=D8`r#hp}r#OlRUA_>rN!MthcJmvb`%bM6*<~5K(SCNu*{c+EGF7BL|hx?DsiF z*js5bJNQhRetoJ6+=rc!VZ|2#td0hQ;dw?AzYJU3zC+q_EF8>*r5oa0hmZrpvJs93 zq?;QDyD(pLe&zpdoY0q0ajP~pcH~{}r8nFawj>N2VnUh~ z>bWCe4QX`v%rAKfN}*b8ZbL2ggrKk=BSb{$5L!3uI+M`~W>5v{C)o$YH4~VY6b~}c zg@BeVc895~kQ|0Dt9^{B2a-(~5V;^!ikN#qWS4udycU{yxJXXFh;uVD@bnzs!Zs{s zzPAraXuYYXu1P8#nT8F=j0HG0D-}B8?+*toG@u*gJqQeuX_KABm%8^%@~2INmBSQV zXADvQ1uf5U zDVS<5s`|dGPibxgQaLOL(V~;Rkk&M@nmK7Hq%4*%tG?%tf41 z51cHHSo8<6R!+=w4Km?7m+j-A{a2+PuQJlHfu}!ZnX!h1nS^hId+rd9q*#&cKf=SB z!W!ky4grWp>umK}&$^%MzOLUr;c>S97oc6~|EB_WTVC!UrSB{5;VOs7GJUkMgOFHa<)~J3t>V`p8RDG?1cP1Um`+F6d&HIYZyL?tJ|*=d z1yC6zBYQJPQ#=b?-HYAkH^Bcnc$k8RH1-o{nD3L6sL)%z1ryBIe*t03h!`KJcxWC%P?WtaRgvn>r5Z_pVk>cz47t++m5*tOhtqd>c%>Q>@?{E_>XiW3NmN-m;0r}VM2!~x z;3Q8#cQ0#1tv;Io7H;|&j%fL)zwPm=TGkyt!6eTpUIvaNkScWmcPd`*v_U_Lp;->e z#1R-rG$DhwdUqi1EL!5RB9qOQ*|E*{N1tx$meii1O;J8tPU0n|ws#x~96*^(I5PUj zb*7S1d7Dx|pAi4Iw~GPMZWg!e&FbLVy5GenGh?lmen zIZ#;yz%k2!Sk-qyqRk}&3n_~~|KI)pfBF9ZICoP%&ONyO(@k5;!ZaF1A#4?jN-q)_ z19sxX8Lr{*|46FJytcqQn2`5Ot`s(!AiI$+!EI7NW*X{bQPmX<>b`ZGdO`oBCLEYfOkv7;{a$UgoX~M7r5~2w%f>CTZ8eF z&^1Vzw|NMq<%p0Wy6l85Si*gR{FoQv*>=`7BVf1SzBxmRciK$d4|_ArE*4Y#n<{#8 zkw=iP>q@>>QMot8Nm2OPP_;gXeK8FRmOS+sC_|10dAh$Vh)~|%@h9X>(t?|OXTD{0 z&|kn!_UC?Iu}oj2t6tH}F<1F(nJaF~$5%p?$r|%+k1b0Vjrxjh1!)!$mM3M=_iGBT z5a>rGOOK{Fzw=CDd=*rfk*H0KEhQ_1bBVkszz@EE`hDWWHVlL@heV`xs7)4?DIx6H zb2r0ohYn<0?-k#_<5Q;vDe)LkJlFk!`DlGz$$SDOt@=PIEFeU(rOYcZcT8`0%uiyQ zimz>%W{4r$!Ee|K+PEpAcTiUvt?Oj-l;Z7(-&D&pOb?ke7fG>OAuABb$S4bMff_5j zOwT*PyN!0@mZs+&ox<(OqHH9EUaO=aHt2=o=ADmVGMxj6qJSvE`fwX;P~?LeIfAS+L%57}&h+eMh-8dx@u9FBp` z9E1vUgBq@?V9j*1!mSuH?EDQnOU>>}=o8$M=mR+3XIkpkE79yf_6LqP@MMlGzVzfw zx`0={A5*`aY8Gk^KIq(^xQ7m8f{C^oPOI@-N1`WzL4P}_PE zie+{ru!Y_Q8~|%qd0RP^_PSy}sUuh0`3*o{Rno8smz=N1oBMG;BDyiqQBhaY^}g!3h`i61_P9l>Gvma?DV}z9 zr>)pkL~3&>g9?3A_nU<5;+k|#{spAPfF5#A4j(kHTq)EV+IAjsJJPe8jRQa1o*&>z zY;@p)k@LOpwAe852nkdGxO%DJVgqR}PIb%#v91AuujL_4%%hu#o2zLNWMS?g3khXR z0cWvdibbXSB#(y-LGI0d8hwc!WG&ibtHUw!eSd? z!FM|sy@>s4YXk90!xYmK`StN(7y+w6;v@MK*V~lI!wOE`-Z-P95uo?V5n_dQ?jmpT zbTmB3G?6k&4mbp&2|THQWkuvVA<-ca9BH|RA1(E=ir#7bu1ScC!R;?3vEwqZdSU#G zdVOmzaGyionnN+pp~?66Tz7`w*qSF)W|3U=nX6kHHx(L3=9XNEw6a~0=_RigLV|(8{Bya;%zII?8@}@eZ|<}(vRt-7nWV+ zAGQ61h_Tb?7o=Z#?k`vtqo{nj7=>Lf?*hY^z*VtxV4>K31^%*`tq_BqIW|e~!HF-H zg^B+oLo)@1?;Zctu)7&ml@m*6n4I2dPaB>5lfa?dJ)Wky`Gfh+OyjC8nR`9na_Uwy z%J`OzAtQbm@5KR$e*rlD0pu}>P0aAeyTaiZCAK~RQAOy53uIjo41$<@?P`R{lF&R$ zJ2uoqk6Ab93UifnmHtFN#9zdIF5WM&Ta>y`-GDic#2463p<+mtARhek7rKLOVh3Ve z>$d=#g3+h*M2?hkO{QSBu66aF>&3-o+94mQKc27K*)M zzXp09Q12RFYJUelO+ISjw z()CD#QvIjnL7oHqn<)K*qB88~?^2XJr%=;-Fo9Z%&}K(+G{Pq3kA}Rz0OgiyG)Fb5 z78+i;N?zgUQX2gDL7)2P12g*-k%d@Sjz%O4#!xi_cg%Yn@Fr!MSWBs_Czk4}!Wl-J zoa%}+KwW}*=??_e6|!EgA_;o8rqb%?ZWp#UOmpa*JxP&I)T4oLX-X2KOb9H*DklodzA%uYhtD5%qKXz=s@4> zeTet-?O`LQ~zmV{*S%dt=!Rks9;*J|GN>hJKo@prSNg8F*5t-XMxj_g=&) z3_{{wt3aUa=vQo6bf8v^$qm*y9n;_lhoiq#J!^kKcmekq!k{*PMU}`$gJ3<{ z=yPJ)IAvecYyCHq-|XDX6aCQ{+hcA?>FN*W2xPH|*BIgih$H?Ev4F6S?t?}tUIrxd>WdkDrrbg^oNevdU@#uOgttK&CRCn zCT#_xm@j}gzt3S7tyb2{MCoX~Q_!4%uX8ZPZTYt=LJU`h59RFn>q%eZCy3ClUy6xP zHZ=}Uiq#Jfcqe;;j802&w41BZXkj+#eSsbr3+BgH6TxQ``O6?sk(f) zbh&G=-G!s@+omo4)8RckPBz%M%>tBZ@tT%~GWQ!G$b0<+GXI&2ME^afW^yzqGf!`4 z&$=ri>d!~TuV3ghCK;5E#}5!xql4upQ||i3T@^0-8DZlM3xCvK)es|7*40yXd3Nub zgJnDG-;03kY=BT9th^6EHl0w^(YmJO#z21il_#I*%T-{~0x8!{Mtd^y0%cnm9zdWf z{R(nBmKH-ymN-07(QQ(CldYvvawIddLi%J;al~G4R@g~X`7U!rbnryAGWXCx9xq8q ziidnh2=owgW{BH&t-nt0O(q>WR)NJTqCrR7&GB9VAao)p8FWAWn9 zvLkMwt-$4)hMBB@3;%9@SxAGYw|xH5v;FV<-2d*}zrMKt(}VX>!_8N#eU1)d`Vljg z(d00acXNoWVLH%t*r|m7#**2uLV*!(enaqNW%FzEG=J(cTPSrn-`K!R$;W(hLmTrA z9RgCjAj?*&6n*A3arUQIHy=>LTM8|F%%cibpzW`}A1d*_&_lzv(0jQ6C$&su2Z4TqiNl=zh&u8XzMwWBdn|esgi9G>v42wXZg@Ii?4# zahLmmSuCaNaldKBRtEDkHb1Omj&>}(4&|B$K!8zw@uhocJD;OVfB208onc~A{Jw!z zkUzxx5o1TQ|ig|Y)`BaXo?f$jXDJ>{}q_g(j($9cIM8D+=hr>!4m2q&nX zA;?NL?OTpQNIqA0uy@vn9J_77ds%Dxw^Q}La0)M>jAnF(i)%*Oa?bJg^jFvL2bLzB zw(pq}S40@#Lpj7>8x7bls=qHAf4s?`x?Bp#8eeTYU(Z}SaCi9&Fg_#=0R9>V{{=Yz zM(G{(KEQ*=%82b4dp0HollmQ#i}8SKIe!6OaIyG73o92Xn$FVt+9S!ZAhu+9@Yr_j z#FhV-K|OK59)kVUnQ<6505K$6a_K?KAeu_XLOPm2PI}_aA+P-NC$}OhtPb}AwpWT1 zd;UdHEMjEsEgYYw6X`}*7;;@IoiPPTyG9Y>A@5Yr>km249RB0BE>B6)+18PnhRTpe zftT)3uT&S#rDu2R5PVeFMwEp{f>C$I>{iQ%x%|W~%Z$T6hI(xgNQxU-lWc8Uy*te* zy4;o=yIiZ({<&1p0!4F*l6PVW+u`1#JxKiJ9i|BZAN5Pm*N0cYh`qSd+?hneqAU@M zZg0g>Ctn&8{64tO@iGuk4_(Zs&g;JuKpS;^p>yVbr^af&D+w6nHU2jr^5IXukI&TN;s<+ni^ZeXmSi#K#raOH2C9>dIaJ*xsI|3_7xUR zRHMQw+ucJ%X2wDQ+Pe-SMrv9}9g#X-OzTyYeWqvEGwYB_FFm?@PbX64u;Wu#D^(}V z@)09uVg}s_NO{!_Xa0iXQwiyya;mOh&OlL>%G>T8VH>xM-^W1C8``2nY?2ga(K}zX z99J__SX7mrg>iFW({^cMPYZ`UXZY#|eyh{^8#+rxvBl$9O(^GEg5UcDYOtfN0!a>L zvkSdTj__A{-Hcn`DcaCP{#5dnN{CMs5)PB3_yWJu??VJKDf4?V-6D9DJW*qr8L%j* z{JSsooo*wlXp;oO(4r?8GI!L;EJ?fVp{Op-0Ez{P5*(k*)dyEy>o6$hu)IFunx^TXq~5ze zQ*LL*l)8Q~37v)6OcrjEdt*}M4Yf_>n}o?|-idAJfL2RE-YXx&fP{Atkuz$0Xkeyo z!UH6)Y214NV+K_gdVi1(2?-hv_dx;0zFoXvd8CM6MxjS1TROZqSG^zo*CHIoI7*y zEE)OCZ5*I-51P&EH6|B-2rR}^ENG%6rFj#tur$6Av1k2LZo+?9mDlUsPKe)knJG(y!H(f7 z#e%0NqC2B%c#7jAhq-c&}K(F zNPvfhZYmsJC~J^c?E0W6t-fCS`XzZE+5G3=xz% zEIoU2^z@sgRh<07d-3^jE2y`i+ZZ~{hSx}`I>OBs#>7NDb=!{@kbn^#R>(8f*lUzGPb)igge&VS^Z&!e~uA;(CTjKrEiYBoLj6dXD0U1nq?5w|u%N*L0^mPBJrOk)874iD$f zzs26wmT}tY3ubi4-@~kb#S_dkDEe%dZqv@))ZWIP&Z_CaJO1S5p{+R8@IG=f>H}^N zFL}3P2jyc;XJNEwj~V5ke$^*M3b5^UxEcXn$%rbT5+kG?VM)->$BO9NMfwFE)3Izk zwW5{ud*64NZ9Gk+2TcLCjC*5?$=Lk87jauwa5PpIe7*zXlxCs)sary^|FwF|o0{Jl z4)~kkW@PZ?emqXzG;GY3ZJZ^P=?(rs&ed}gsS7U<3FK@e@D@44-qBBMyrS*`Cl@a_ z0nw3Ha`~Jmt+IOIZ3X?uhD1&JTfCI`NI{BHIM*6$=LfsGt)Sdx?Pyq-K;*l6XILA3 z)9>`#{8UY-WYhgmO63~xJ4B`5Pwc-PI5{eAfv+nU1KXh5F1;ojX77$(gQ=o|4{I;u-eV z?X5u<7w-78HIe|LzW_3X4-H-gT?A}SpoG{~0~JPDZ@aWd~#^4C8xbYd(; zn0xA+7iwWGuL#IEi+=Noz$y2}E)IjJ()F^8uv%!WvEw%*PDqFq#g-Y01}_VK=&ho` z^y)^1csfjYQ5^7Rrtg2cm^W814S($=>IEhSkdt>!HeM?(} zx!lu9<}y}$CATa?kkHUUgIuJr@OXecU4*uB$U7i;*x_Q9CxOcv&hxn1!eJ$2Bxznu zV?h@x2^E~QGP#C3Q-AED_@$+G^+=w}rUieK=|h3TrMG1ddZAv=b8>u%eB zl?MMwOMJT~Zi}sWA68|W$s0U#e7y8JTYz9a;#nuQKY;r4kCz2*Y2wm6KD9EwDwlJK zKk0bU*_8n5$R~_^b4(a8*d8WE31O|;VEw5}l=D4U_lr8cDOxwxMhlU+Ohc`&=-WQs ziW$R=hBjg0n9}e^fW%}5yd){Lzo8}%Dt#jv`FysF~LlJ;mx%`_OPFo06* zaNu?#X6IDCEjj>pe>vE1Ph=H6=Qj4v9IRrTmMzk~InA+CN0G0k$$Uqp8KfNiGMSVxV8(XM?Tk{rb!wcICa-1$R0@)Y@;2k{}&1evv&r_1zz z0Rp1Fnyw{AxKkly>l>O!&#KCwFe1=PhqmFMf}tx+t>)QnqBy!fYTV;1YJ^fMbR zeR8+6WKLqTM95q-roeM9>AHg0vD;b0e$d3`WHKi8@AH^vrCO83PXg~IbBQFH7VSJ7 z7mmSh%1S*SI>m22VR6Tvm!CMQjn-v3ih18Fbak$Uj2q8*qbQr*Z`O9_s)jI`gBLq3 zEb!S{Hq^_g%7Wu7fKDVfs$4(YQ0@+yTC17QTGmaiBgp6C2}bc|&bT`>D4Dxh&@Ftk zD5V?50A{xstfTn#r;2v2D%VDjd^BZ6qg4u8&E-ESviL@|#33p>kUgZGUmLBzz|zxm zzu|u-OWkYrK8jI=4O<1RtyXx(pkdD;$EJ&zk&}skK3#mD7TPR9txy|(HQF|wBz8bx z#!tAuM*c116H8(@*3Sue_|8gb00`@V_+jO`mwuWzle@m~IVZ`K)tY;)Yne2|`HB8Z zk`E~O91?w0gf$HnPn7gbu30c4U=hah0t=uK&u+=D6&fsPd~X{lp0|E zdCQpzV@^mCIMqnlBoQ(H1(`3hYfBwXJ!gt*Lp42D-bO(XI+uXGhj0;7M8i6JlT(SS zpCl7EY{`O;EDF-LuNe)c)Tg9!DwZG|<$GbM#b#?)T1i2}rPi)x4pChreP8xev09$l z6PsI`niOrXjEBSPeIC4e~45P?5XctJ^Y%_e(~fB^_r5F^0NG8H~&F z=b&CN@Wcqc>`tuaZ z4!&E{jgVt;xURA2&zt9E)*3@tCi_loZg`ShC-8;8^S+|G*YlblMc*y>NGEJnxovAce*Kx=fb+XiqJG!7O3VNbQmjB*(6fDq5$_- z9iwBE4b(MbbbJ#HwIM6~-D(%_@4l_;QQu*?AzLFf!OrqF2SQVO)R@qG!4Si>|9Ivs zo=B=R%Zuu9y*|!5!pLSUPEU28cFmGN5f*J*TU@NOf&9CA-W@&?N5>n48$%z@{fz&b|<*0%VPv%6u1byCLQ3F-(jYBNLz5U zdM8rktyGCocOjgDAB=vx6FJbmJM2jmTU25g-Uhx%t7(U)y8VQ$T;INveYYAWy8Nmf z;rB4LDQcm%LA&Fz>9@RBEbPr0aYBy%lfa5|Cn{fGFM+ZTuj0yn6x^HLiUb6=|7e5W zZH)^|t!e>`y4XSi0f5R=8`3MINC(cz*o#g^s_%tvhH$0*-(nm7Rp$Hm!kz+Xh@N1$ zekeZrb;~aZ3b^a`Or7t9xZ@H_s@&}U$M9%0foP(3I_zQUib%}ACLU!}%@MVd3hLNxltLW&R_%$sM zsP#XfQx0+rP*MwNCSXlRN3Aov7Nb0ThdB@5X8>NWJ*a8zu{qpjGZr4}qe495)u!_% zNPtLYG}LNGY8Ekh@jG!QQ;GCTkzcwOF*%)`*jrYkILYp5Z^AQe*?wl@f=x?I>1LM56Nc`^)dst;L#3+*4FBKtb$;m zXl$XGmHoXd$qpL{{qX)-sQTa^jOMSV=}b%mthLh$n@;w>`kfCo(ddr_{AIS<19U)< zN@ZxQ3QK0MkP}M2Cb8FL_5xg2Ne=#iTFXLM6+o+SttHhoRB>oMD3`|t{%L@hQKbr+ z!xeg*?=idi)MeT0eYHJyEdX&YfYaU@esn~B%%C85)gyh&U^yRuE%rHylWZ-~7~68* zpb2?}8&;Y)bVR6s`3T$hQepw^H#7Af@uZY$1;%J3s=V?{`E&8y1;Hk)>I5S{PtDtP zV#8wk9GGMfsd`V;4$*{YXm-ED7C|#BW2Tt`KM*~U@MI*B;QsZzhJhH42nt)>wNNce zcq0q}N#PY*CNUpu(c@ZgP2{x$0c|g`a~E|p11RkkT3k>t1H3*gEBrTD$hSFxc1|a6 z;h4vW9#f%_$Vu@Fu@uE z1rqZ40;j?aafH#4qV<0TcSdWXot_so_@vw9ja?XHZ^X<9CIamH&} zjqi}MHX4d0>HZKEchgMBcCN(WSth>1tCWM&ju9TSHhoTtGIJJ9JJPN0=I=yjHYvjwfEB%%_#Vn-E^Cv$>B`ikq|nQ&jSnTvc0AZQ+lb z=Id)1qUn?j%nL<_8yberE&8}Y2fcoX--AJE@$>fA+gMpG@4yK?3Nw~VZ&QHWxN9xvc}8t7pZaQ4N|yyxv~bp$o|LjSKmJU=o|DNz z?!`%kzrSHybiMsb(fON-bgGKH$VTc52|REK~Mow;bp4`!MJ7G!>QpD6!e%uvK{Z6QrZi z5H?3k4_PPOYSw0NAOs4_i|w4~6CdA+M_45(mN=%y_sA_CV&pms$hVvri9`CzZ0-4Z)`gk2r-r zz>}P_-&=iiJhIB0U6iNebexw&%smI}JYq|F?U3SH+X-5R+Jg}3aP6s89u%@m&$RXz zoQN1(>E+pokz~;SxF+0frA-?;qjK|AJ_@va3H90JIS{$Ougp5O#)hqLH3t>k;jJ=A zNqqLX=|=Vq5_p|3XnSzRNwsHX&Q^+Ksck8O5XW=R5F~ah=76)!NhT^?@O9u+2C2lW zCq7n?Ibm-=hMkBTioo46-(@gmi2B<gm4hm;liMWb+E;zAAw>jVXJqwOSBg!nSDtS*MVELRnyIgUVWyZ%9|ubE z_B**F?-oXWZ_-6q7e7|Z9`FU(YT&p}+@{s1-TMz*`pYs(&yj0`&oW0U?T|c3t@a%EIeCNH|U%))1+}1tjM=skW zWnx2Lp7hZWeR!h;ZOtk~f*_Q9Ut30o`E#@OFOI6q4(O;m;*BF^pXCv0JVp_B zTdmL}N%^Y7N24d{_wsHDbjO$J78_`o9o;OVHBG<=Z9X?4)2XmR=VWV&coKaVZA2u6IB>gB`ME*J+GKG+V83UE}UqHXN;ip(6MBj&l({|;85f}~m z8m3*U_SG6P@#XQGgBkk7W zm<$>#rYiFy8ObQdkv z{W)&BIrUtP61pFq=YQ?&#Bf!2d$8k{X~N~TGlq_OTb}*xoHHin3MvCD9&yamrg0Z( z&$<7_;ph8Wl`r)+q;*p+S@q=)WIp@0=S2vn{-MO`we1uN`j0K=kfxIRJf!9pjTMazuE zMjaqs`Q}2%(Cx{CAy<{ZyIY#lh7cExW;jVv3l>s&oMNsJ;;{_3??QGIlOPqDE?1g- zdcdKG`dY<@Xa{3ugoDvF)ACzvs=ojg2r1W@WelULR+<1J990*;37IE5pV%LtcRbtw zlH&MElTGfPwD7%sQc}E)f@W#(Ob;iUOsq>|vW#|f7T%kBn%B&~mA$$jLhksB)tVva z*YdedkY)0Eo29^)2Y_f0EbY^`3- zgcG7&z-I>VJOQXN%dI)e-Vu*Jvlb|{`?h*e-iX$?)cBLeo|uYsZL*c>>0lxh1j1I;a!8J{zc7xqsS6Ml}S z``We4$Pcyi z*-#U<#;rmTTMWnRROMwCBG1pYZR`>ojww2zI;zale7P&hiIYS{(z0U=t;;B5-7eA< z8d>!rbz&y)+m^wGw^3|h$*)Jj?22IaQFc#H)4rEac9k*Jt*1;}-wWBw{>i8Pzq6!t zzAQjuOAjS=b#hxkfCHO8S=39(r^PM8kALd_9zE_Rxsz9a{um2Q;4_VQ}=>8^mt#zwoAOpQk}kIgV)XrDki zIgZT2T3_rwTVvvIz22hfMO&rP<(XLxa-di_>XWupU`tVBM6M{rxh!Xk+MX=YtVH+d zm(8J5=%Dh^IhngG0)i@F7ZEC>j3Vq}msI%S=ZXXct@&>d9(j+r*}6hQO-Cn}1E(XG z!qWiD@>RB<=9!p~Tl#QVG1fwnqHa7=O)XTH1c&G1MDwN+V&fJ9J>GvK$FzPAZJrvh zU9qLxzQgp)!ii+B_1sD#gy~(zpo2~)4URC=U|NA&te#5%%Znmp_j~6rhJq-2{P%aFq3VcyI^QYk;zef zs|x+0iayvW+R1OIpeleTK=ds=Xm#ZSuD#Fbnue>!=^z;PJ>O#Y7iiH z$`~r1E_k9=D$$iwG@bQFgU>s^X}+Q;wXvV#@D!W@=t}E&{)zM%Pj^G~>}xzj#d1Rf z426nH+E6tD+kMVsID%VqOKWe7dpm`N>rzmhB|X@ zU(~8E>uvU3VWeM9wby0^eKG}q0C-atspZaXbv3N5hLgoJ>_#?Gj=Wy@u-e9&^;-!q z7?VX^kXq>=!{08ukgYbwI0*LMG^JrqZ(x7+<=yfJ=Ft4EX zt4qJrlh6WD95;%LsmvZ?O{Gs_f*i?@UnkGHe3D-nEd8y@&K$VxH~imY>T-@q-191% z5S;0x@gsi;6mTZ5zBu%^5o1sye-p9os~k2&N}7@g5*oJ9$VfOu)?6LuY#-%puOckJ zZsk!I>jPLh7CX_o0=lyQ&3L?LH`>CBH-Xr{rBW1SzwIZJa+%&H`Z7_Uz%=lgY%2C zv&bjj|I`;&MZ-uh4-6~Nw;Qh9kc*Q<3jI+1OGt{);bm%=lp@-5yKK*u19D3EjzCTe zLmc2N)>EisbLL4=TYtIQO{!&M$=T#;g*bvf+t6+)POs;(D&zKfx5O_|5R%dxm$l*X}O3F+P1X@Lo1h72c(=RD;w+>r##8a%Wd-ue-a_u z*W2XKbq#bf8P3=?i(DV$Q%R>&-DEDMC4tDZ^8@wAy9st-`~vE4jv^9H6v}%>Wx;Ti z^O8bHJ2)ZpTYSHCvfR-iUyItfvp=YzcPxyuiSb)D>n2}^w$KGkG^u%*QD+xda!&MIk30u9qy|}Pxo%jN zOyUzoW1B03%PCF)>+TL7LQ4p(Ulf{W_*?_+XTlp~dx^$jvAX`^4ehQs{hG}yr$Sph z@gaJ+b`gluMRRr$)`FO1S}}X=0+f{JjGq0%m~bGa4_0krtTOrHX#TA@6iot%oh65bPJ-CU zFEEypnAsr|al!aWp?TiN$tGW(uE0=^ykx4UOqszX1M8JD>R*7*W~mK`ew%0(uF}LP zI#{N0=lbPbdQv3Z4)P=(_o9P zS1eNcpJG{fo&l^#u3h6)#1g4hx#e|BH8lvdg%q?6%Z`Y-3mZpG%NBY1pHQv7=NeSU z%hQ^l1p(j+acmih#QTc5iWPIjvRxa)H+_wu1#Igp{ncReINomd;n!vHK{^@d7jb9< zvbGfqF#7tASJ><5X7c%1E>g82A$MoLOGa|H@XItRR)X*=u2osJ12JQ`*G3-~N7^vT ziAj*dHoun+lZRN%I(nC-XJv;cv3o!|sBeKpv2v z_Y{Z?%3Z?X4699Xh4ShKyU~JBG*uVf)moO_ng@ggwFa{N?P-fdz5ShOnL@oMS!7tp zsZ=*9=LXs?0z`f!B;i)PP^zxB^@oQdyUjVJj6y%D3u-5!UAH4gFsy{4>nS)^VR$}% z*-!!gSj(XCPc1L$Ho!95<505B7wjNE?ofE!?tas@|eu_0Msf9O@GxMgn7$C%UK#qZF+@6G1ls)T76d} zZke%bR)K52_(XNUUc@iYp+{%7r177SeSwy!avZ-SC_1&2sP)K~vjL)FO-)OI(4xe* zpt?)4#PQ0rZDuy|$KI)zM4QWpBTh3PewvSCZLfbvzI(3ZEw;JFZ_7@>@|m6oIC3*m zYx1Xb#g(ucHDXfcgiZo778M@cqgy}D=)*cM9iWc2lc~Dbx$_Ak0G%&gr$T)G5<{8l zg=)&oT4OVl11WssxBid1`h(1^8^b*B%%<)E& zHf2|QWl_g*@&4sH+4QP<6K@fZo_{=xwTd=}{4c zL4C}qaD?d}qTfW4P`DhdrN-ua+=N{yZ7k)M=l`>2UvvoR@zq!$6O7YM7&Nn$w(kzn z{pp>!a?GIFZA>`eHxBI>;K?>13oX%G*3;Gd>1cGkjhybOCPm8-ZRV)r1pZS=E+f*X zM6|y$TXM?7t=+V8+EmImY-5{eleF!S`-?tieb^CU&5Pv0v?IaLqa%2a6%+ca|))0HM0&3AsRiJ~fp@kWUBBD>$hs$l8!sQKOgF}b%R z*@h%Ndv(t_78)RcXRwoh!UloIdT+^~Mh!cq-i3Zchy_-qpk&MGK)g)H?d1%siEBKi z7Pv^yIN;ZHXPXq3iyM5EH9eS_e+E_gRZ&H@TtI~*lrO>UQ;W**c$rV_7;x)w`8BRT zPy{;oPLZ;Hl3bQWsz7Ftp3VDC?Au0b9BX|$^3oUi&@-o<&K3CFx}$sOq*K+tT?k?0 zvsCSfLBgC8v55K3BH=8bmt+0CcYd0X67M)g*fw_s-s?VdN0U8zn!kWTY~y9FdN<8Q zZ0MupUE*g~Ps)i@o7Z7)1eRlzf!4zu?@lF|&v9o8UY;#{Q6mQ?m}`xviH@np^ijE7 z(D~W?=_WQm+LaO(BCgC%SA;9*8uPY%VtFDa5;#zu&HmZ!K;IZ`MDN7>I|aGfRAg!WtH#+r5RoY1E4hGUwevUK zI=^T5XjkNyqPLu!TbH1zaFjXgu~Yz5?iUZ`@J*Ftg9?!+QQsY?iY;3H*B3#OQS3D; z@w&)L19L~DSXCVMyriC$9sNjF^VZ7^B$a)4D^;3}H$X&0lCzca>UW>uSr8Sh;*_bZ zvV8SU--EC9;C>38@O+5KPi=-B4tbG;wK-{1_}KL`!&gTjrnS$eyLy-!!XM_;_gXtd zP*XCArWgN}I+eRbl*M2z%7yU{1b& zXn9}Tw7?uTq+g+0M<)Uv>$->`7yj-Faq$h7QHIax(`UJ<@eODqh+wi-qjgtu06^t6 zo_`LA{wdY7jK^Ncy5Mk?WewBKk6V*LL_)eEB~S5|8xlX#E4hK6HNs2WErD$2mgU-QUM^0Tlo_O zP2Kbo!GYu4{}VVqNO5%wTX~7HDb}B$&-9aS&!fX0Qz!M^3x1o*Eo+u_3q5wE0on%o zgD{VPK|fQ)f0VUesJ@B9LP6u?j2}(>qI123+&(4`M2y~UIKGea^`47RkP5H)SllcP zN9B4AKcrdT+4z?*@U}7d8p*QpdXyyrAGS0T8*5s_UhF=$L^#0uB5M^Y6-kM_X=O>A z78jcCYNppmHkUtj$rv51m8EG*xs|ifW!Z(e3=_fHAMq0v`GU;NL%vMbluYT{`~|dG z{>Tz;lys(*gKD87%MY6t$HzJbBuX1Q5)rL@{IaZ;bS^kOp3xoB&zeMxNIwR!5YM4` z#_f=bSrH=IF|8~hGKO~q8>aORJz@&G`TPFA(#|ugiM~zap-Asa4}v5}ks?Kk^iB{E zkPcCLZvkndNbenKK|`00fRxY$q>CU@Lud(tpb4P#=H}V={j&SK`|dfrpXQvIGjq<& zhyUFF`@XK<^#hp8&^3k&U?T0atu{O@;0sL-IvlhMD7Ppxr=)D(XILD33Vjp!rjOFb zYx3xP>uZaxnJr&wx3UK9VDk9RBC382i>vJVCV5d-XXPr5}N zIvylR2$x&T38OX@!U3awcv#k9RUyN$-HpHpE?!c`id}vzZl)0<;Eij*OaGJVcp7_0 z$ve#rvpQrFBiEV(HxvzvvJY*r+X~!)l$UCp}ylE2uyut3E@zUTM?*(7>?b`_tm; z;RrW%t2ZhJs|a3AlcWU}8cei`ov=u;Zt>Umr1bQ1Y(gK3bq>pJ@!1_FAN z?`X5u3gH@E1ISgoe>WSV9#4z2UG-~#0+Q=^?DMl<;eI7QL-?<>7~WO&U7cTauY9{8 z%F_G9$@*nw3tGHCXU|$KdD=5tni}Z%=3}AiLFL>F`s?hSVpHUz3?cDH+|S-rT3ONF z=j^<7zeaDbX>9#{vmnh~GRe+1Mi~E&0Pq$Yju-R#?_KRz);HLKtsy4HCxj-ygY@d zLuYPZfM_OFUc^LdI}Z-R&DHsrscsbR$K#HQ6BQ2 zYy4WbWt}^c=qv;mcu)HVf)0nh-8p8^w!4NWi3Wk!dkHdDq52n)vgTBjeDJL{b0!Jx z&XZ&^iI16~E{!BviNDT`Ldzq?Y3^DNWTtX=Ip22%HYk zJ4Didci+X_DNr=P&nXHK^|}ufDs3)p7>$BR0WVHB;9rR9iDi~uV;k4(T6Q}pt0Unx z<(Cs{;Bb0 zQ7h$in-Se1_cZfq0U^ljXwZDtgF}mlcU;fGh9o?JQrEbne)Mm8|9>=Xn(2Ql# z59o1Tmri?s0H=jVHCsEp#`Qfc&K`@n=ezrbK3AL8|vqIEz9 zfd1sQmy%X)CijX)sA8qqiF9&)VXXU}{widkO8@bVrxM`6ZD;H_=Yt4#mMG~0H+d#7 zsw#e-0)Wpm;PvIy9R5@so^s)3i`{Ua{dAiLuf4YQK*Os7i&v(N^_WQeGkbl2D@ulG zq$!h)Ap|AfcT{OoYS_^_QQWEzFeVP@^y;;*Y%ONar=*oZ zTZp1x%Jv}3SL^dP+GK3j5NyKSxcKcrp5e4zyDOA=<(-2x+>Viz_gbRt3QBz1F1ewA zZ&FV7!>$cZQ0oy*gYMG;J$2(UOX!4?jM;Kz<24;8np%2aRZ_--dpEO7h#1U9=om~k zW}xr*+dDLoIXa6(zIV&&r&NYyx#HM9992q{lc}hiLixr{ciYkV8McOXLa9@@tOilKrf~mt=e)3T9wo;)*xiUOF!_^8?{w+-CzWS-qTtz zlwKq5qJa&X{pX8Q-_DjS&@L(TsevvXYIxC&T8C;)X^nQG1#L)Sfs#@G_-wHSbhfw31_(E2WAO^)QNk(S|AjAZx#AvVo*^70!nqdJTNbep zktP|@-V2@)GX1caXYM?jXYJ+9*Mdw94H6%V6BE38_si0-HMdRNom)-t0QxLGx*r%_NcB}LYFt~=P9`n;4y)0aVKZg71BqGRMbFbhO&mU`p&(Zo2x0{@|Ub;M6< zV%2l|X3a|Uu#W;!MoAt%Ab9p-xk-ZV>m)47aNFE@q7Ry-d=XtEJujBG#4sh;YPCzl>DHd04@{&ny?;qB z-ocw_41sB$uBFND=e?yz2vPAY%@A28)=_l|o*mNi)mrn_dI&;z2;TEpRN&`2>rvC(Xge&DBV0xNmfg#1-*2>r#WX6ncH8~6`a-L*VjEP(DIFhl}$bixkmr6 z&ID4m3~?55bY0;oR&`BB8ZGz?{d^&5SY_eG()>wSI*P+tw%n@)nKQS}AMp=4ABP-_p;@O`nHV-?YD>w0*8RktR5v{cEL>Bw0G#kTR26aI^2 z)py=Q<8|@F7^du7~o+{4N2>R_ommL*Xe&t=wv|3kJehKnk&B3{mk`Obs0vHG0vjONxC%M{d zXU5GW45{uI@Db@@lp(MNLA|b{3zSrpTijOJdxzN*D{rdfYvJqn*|k~DN7C>6)+I+p z29tHbi|#6q1_js(CKh1f#pO?rSl)>ZWMU?Z8^O-)IkQmkaD`!VDUB@=8q;2RnxT5k zY-uQ)(QXx>J|6omZRNcS%M7!=XjWH9lvAjtcGgh~) zyqr36*C~zXD9Raa#B;rxGT^52cx7rQI8R_1p43FIs6kXVq<+nJ@+LlQ5vHX>Lqt(Rfh98H^(z7}v}mUz+hk!D`g ziF{Ybvs}l^0m&-Kv*=kSQS06pNED~|VG@iu6#NOicv!?4YQEEuYB?(stzqv>+9ayB zN9Hd7QM0ADSL0<8v6dFS;CJMZajhwmXKl_%6I^QscCn>qD3vA244dsVjP&qWEJY^j zl+i%UjVlU^tL7d*j6LK}I@5x)p;IvuK5Y@_wnJ4ZSq&!4w4^@YM-(0=m$^sOUCoypXf;<3u%?rP#t2z*fL zd+AraCU#s-I#cJdS0>LB&1;a~4$1onkMw=|WpvOUGVR81Ztu%rgFk>_&9PCZ0It!t zOq3H6mRs{ICfo@QsbcZ> zNTaW5=6BUB0DqA$Y<7IDgkFEww5wb7T<23*T2ErTQNCriMfJr;I`Wmq`ZPimxwY0T zPgA7a)+g`A6UXfMQM9i~CONlzb_J?*`zWrz|15NAY(9vL$4ZXug7#!ABf39Q5;1%) z*SudZxkGp0!hl$no!jlo$0pmStr>yYq~J|SexKf0g@y5xWF6LlqM%I>f2DVOp9m;# z&U?t~+MbEjQDeKN+)qSbGFQ)1OJG_aH@+1a&cx{S^}W0E?kmezLuZ-$Nw= zrt0>0N6Ld~HGz*0z?%Q9q`zD`Dzl%rB658jk8l6=X?^mFwbJ3L(41Z;0>?R=wQe+wu^RV6ILBDeY(vVo0=uxa*F zFc!{u52_j?bo>bc#U?9HBv?7_aT&5RUUPww=KPj=BnV+;f3%$epM|F2e(Ue^v?H$M zyf#uMO1nS6uIF8pCBH#<29abG>Q{X*TSApeSrC z5p5CjEG{A(tx!1JT1NtLHZoc36d2BKoi>)32Ce)5D3h7j(zOGrv!3h8MlN)pQjQ~S znpDB*<3fVsgDE&%R)kf}`&^^!`kq^H1~buGmN_~WHu2dX9FVbK8Z03!o+I=()XhXJ zpYZ}(IU4}^2okk7|BJPW|Erd>#??EuF~t{93$ZQhjMyEWuU!%#_i99qhT)zB_k`(R z4hruUWG0~^jE*4e_<4ZbVJ|!$i4$_ua`?f8R==`&^s0!R2-6AEe~#k~rVnbm^)?;emGb5FJsNaWY?`)` zBel2w!V3E|=8OCk!w2!Szj_K%2{A->IxLa+T)A&x_6%^WC=Pon4XFPkshTai;nWuieguX7y!0DcmPZwXfcCr*q$tu4q7 zuhxbKlA&5LX}@Z*Uw0kd=H%t$T$RhIuiq@Zw1J&galAmOmb<6tQ$g-)RRfefWx-+D zZbdseb7xN(JFT?+z5M2>j(P3r)UaHVXo4V0%U zjF#CzB(i@E2u!n~3!T}1C(N;eUwbTO7D`csklg~Q549HIU zKc80Io)hHZ8&MF7ndCa@tCW#}jhARrrnh|P$TX%<%zyOyQs!C`XRN5pk=wT?lxWG%%M|f~$^W=z-u7h@Dw^eSF-*QVi6|=!J|b z<1qYo1OI4qLERP$H0fM6ljEIb&?nori)FjGKf>J4I9xcf@a%Yy%V>Q;#puwTJSP@4 zf3Uk(h5739HX9o|wh3WOY!cSf%|J7z(%R;jKlD5n^pdwO9vB1hnOr`!GtR-Wt}lv^ zM(fT$xMdJxSmv_SUL!A}_JyYr@!(C0o0l-HM@vF_>y;{rH{JT{^x(r%#L@O@p!Q7V z7jYTv@~MzANzghR+dsKJL+nJT^lze%>KIGMdCS~C|Maac1sB>1O+G3d4*MB7(>2M} zG|*_0)eBpre~fK$MNZ$l6KrLjqV!83cQYs=TN|BW?SVVCs86Z#>FN`5t|>_o#4#P# zW8Ku6qfzVTLUcEBIO9K4VBtw2<&!rX{VP!5Hb0G@Q5EdMA8wv&d3e_dv!Xhrf+#ZB zN*;k~Y?)J3*N8(SQ+MW}LnKxS4=Gvo1#Fux+JEqq2A)WJG8gvf-U; zZskI1;eh{5QTi`8pMN`<^qm`(0LnExf$?WxQ{Wq{8ffi<$NB7+9(!JDi?#3SMW9hq z5>k$-AEOd4w~mVACu=Tb*c_pg{+mG*sk2lRg(aPSC-NXRItXy_Qv1?pY^;NcJu;1Lm!kPx4t!@Ylg4nV|3!h6jrj{H*9 z1ceHU&lMPxjY=(1)k&Z>aYDmw>Jo&8PDn&d@`{#@o`I2xhnJ5ZBp@g$B@L00m6KQ3 z(A3h_(bY3Ex3ILbwy||}bNBG{^7aY-@G<1m=P#kLaq$U>Ny%SRa&q(X3kr*hOR8&X z>*^aCo0_}2dwTm|{R4xOQ`0lEb3f)6);Bh{ws&@a?)^GFJHNQRy8eB0`v)#K0Kz|E z{cmLd2^a1&E_g&l1VofSaKXWQJ|_fRM5Nc8$avzaC??RCR9u0m_!2SMRh?+m+-fHT zrY;lcgfu+sw5NYS`vwRg|a(AC#k3a|PGV3puAQFBeX`u#<9gP89SF1Jxk+S<7`$xI&YGAu=M#YC8P;PhDl0a(2LzhAoBI>!{2B{9`_`OFqU?@iCSZSy~w=e z7n`n*LXh{3YkoRKzh?VNjdMa7!AH|X2@f6f7R({s=G@`Uf(+XTiW zWA^55G}aHa%?@Y-NQ|JF=MRjrB;Wfz;IQx)GCz6@m~ZHw`EE@!f>d~Sz%;Sk&t3a;wcsC9W)0;fTy zgaXd^Wv%Zp*djZMN(0i?Q_Ifz!&r63wNofed znP;G!+q&Ce4~Mr-T($eQugUcWDViM9Wo~Y#Ebcf1xR_Bo$WGHRADbSSmhTKnJ7^usHmXun3bRZ1W+q`JHJbAl`KF4D*(g5 z`F!HG^q&c0OwrCy&tDFpob?(-T#^mcFVKPcki{R{nzh~!y8z`iB|b{iD&J9)y)O!D zSv>_Bt~>$0P})&~5Fi_~6JFs^Rz43cmeyu# zU{BItO7y4Ux}k}wb?iTuLtq-jkfH_Nf5`B)3#q2Hou5f=R!o$Zzt@ zWA%;L7bV~tlCfgM^Rb(ICQ{wWCHvU%7S1JXfj-bLK^K2{y`y#s_nC_EDts;Lq54Oi z79bz$W=8NFMF20>U^l)U4L_G~@HWaYkp28#NL{`*Nr9o>IT>LHA*NFpM+t{#yxcNU z_K?C_1$92!>sDPsf62zq_fdkHrhzl>nyZ%P9n4dC?4(G#XRxDe5*~!exu*Hq9C=58 zaDFR7-Ndj>35#al&XQ_50n(*YbOC$oQ(n*NWEr~Q9f&Bu7IhUttw>!y8#8#?X||aE zR{yifS$Y}v46p{futP<>TX9AY1+ zbs(mg%`K>Z^@AZN)C~QXF#i*Pau2*;{3y}n^XFUu#|NnBUv!#M9HmOT(`z|3nYhgL z-Lnq-ah_e=ietFN5K7M{0C+Nd@8JFjHx>;5yl{GiU6vWOJ#MD&w>@rwl)@)o`iZM> z-o^BZkIiL(U)i==T5t3B2z~_Ih#+J8vt>r8hf}`mFH=FdS=+oUjd=oChDh{DAah~y z;G7Egc}yVaXkgGo>R1Adx*+2i&F2rMHr!yuvM#I!(Ff*yjEQ}S4o|_B_o3V0 z+jH1jV@6)VXs-v(PPZ=BGRIGUPk-@@$UNof`$KiX^@-D8J^@~R60{LYmKC_mJ$)7* zHH5+d^kb}8>_><|arMFDmSWnlxN4vwBAJ4^`%nE4t(iX3=m{)d&@r##iAe&+Ya< z!;X7w&fH>7`csAhA+4T;?L|q5z)v4PUQ2JfWY+ehRF_YrqyYf>j3tCyO-fk-#KE@u?5jE`wQm9X%JS0is9m--DS(6k0wY zvYcUtJNKpTjx_S8+!%d=Zsg9lQ-jTKf25l?Wn6K;cz7Hyfg2N#e4K_%mSDUuk;()K zz;5cH=_5|pd^tW0Hz@XF|<;Ua9>?&wt#Fy-Eju};wN$t449@|sE z%O(*F%R-q;+oZX?1l|AKNhoLY)_VfvGD$noOmJr_$8RD9h@d@+O|~WUIDa(~rUcPD z7auv`&A!muXA=`bA?d$;u+3FuW_w<@ZV5ppifvlG#R7I@Vc_{BIE4BcB+oM+Hn_2U zm0mlRq2vxQ-)bw0{dFD@cK{$o46gqsO3zk-#@|K8$n`8u^%#qB(M8AJk?jSKTnmdf z2?;UDW1Ue(oC0x|>@V&#Wa<^q*6||LAi0rwqX5 zLVZ)2ORT9wL^s48bY z(f4*ZqG}r6b#ZY?O+AcOBW!}RzB-TlQw)DOD)W9!s45GU^?c4!p!3ia{rwYwDcL4A zJ#TvSGFjyQf}1NiKv)O#nY39$QkaeGx94jqMOO;FECRKn>`^d z-47xl0rfF-?*3NO&R3?%T*D3NM-is7N!s*Y-tZbO3y7X%V1KNkj?sm6o=ao)AZW$Q zlzB(28mlMmdNZp3T)a`cQO50t0R9l*LHzh`!pVA$CEGkgffK+f5@M@4Wg#SI!36O$ zh?@e>UGOZ1`ou52oC#O>toBRbU9_q;lCuD)&$_-T65dmSOb#&!P6XT6C+0?jTY9Ux zd~IISJ_?%R7M)XYk>s`c8#+KjeNt#$wZQ5VEA9#e#1I;AGQm)Q&>K|;S0H1(tW+kS z_pPQLV`G7Okg<}I&B>riykJQc$$E&)_M4oNUf%a8{p&v*46^{7Z*oEb&+9+n@2t?B zoW-5;6ZuO@&#PjY#Hrq9c1HB@OM%UbO;t(y1g7ufKMs7SCx&R|n0_pE@~zc#z;71s z!FXA|7{G-neC{x;`T$pnW8mU1JYB@IvDY}53+DF|cmlxP+^HW%_am=keHD^-sJMQ$vy)s>L`f>E&M!Wq(G4Lj zHYz!D!H9S3xLolTiPvoSV#^2ucY`yXcTL z*)okg9J&{sgFphsI`m?`6IYZQe4hwXTGdmgvfmtxd%WRcS5bKT z*)0bvHHQrc0aM1n#qaB$%Jdh+3i8W{P)D?A(7>VU4AtEKyA$eQB-N-Ds>~YV=YJIL z;?L9^w>0LCCk`bQUGAtgkw|k9)Fg$%C1V72iMnWi(=#)jJc?p!`83#(Au#5YZ^ctl z6+Y?Y)Df$%-|*E)Zdw$88F0Pii(_^(<172hYhFtVvGInO+{@8Foj37^QXmHYd|XRZ zD#Z|}a6Xmt(;;Qjs0<1*tm+b+&#K|ShFk(ZK@44iH0rBzvH6*HtYHgfp3fGNLU^!;iJW{KOacKc9uN8@c-8f}Mun zUbFQlGH1{b3#~6UhccHV0!G)az~Y#b9@LQA8D6gbHuDLf$=2crKYOg)Q5oiCD63kWg!mFbW-e>*HRkkNgCXeG{?ly%)T994cU6 zaf=f>cy*73)X*-L?MR7`)p2#}gZ?e-ndFFYV z*=fo2Ch74FHpllTKuq>k(_zwZ&`%D~b3DVW7#R7U11$gPPGWyp=G=K8I*);POs`a0 z?Sn62F{}hwEeI^dox9vfl_s$Gh_5P!^cRQozxbcS*5=M(;Td0xH{=}3&6qTr6z}=P zw1qSC#Udvv%}vV$UpPy{%U~08E+KQh7gV#U*0Z0eZ%u|^I(I=N?(fqMVg4p+Pk=%O zHC9|D4q^@IU`CT=0@J?lq+@;!A@aS?U5f74oDW<^HSL2Cn!RWj&dkDHoyO9= z+hkC=9s9I>rnPJh7gd2+2RbR`3z5550r~?wW#&khBqY4AMeV~#4O%~I)6-l6)?9D= zctN!dJ(;j*7(Za9lqu7uoLh%iJ$6@{-4d?GfQWOK+Ym= z&IX8CZU82YeeXZ*Y9@m6n!Z@3+FKy&JOOaXz+>NVGo8cl60E$&7YwxekLB zI=bF!@N+CmMQqEO+lP~N6AyX7vMADdc?LCKGO21&E7-7^88r83@326`VP_-s2`}o{ z47^(!Rb-UFw@-isQIqo*s#;W`$c<954l##A;B43pfwi6vnx@{`Ax#LC_}L}wxeYZ} zS*09^13^K(2a+~_uqU(;F3o3i4xF#i6vD7{quc}$=oiRVa1b1Q%vQp*+P`Ya?ua3zIT}5@2QNGUK-t4&iab?f`fr9ys$xgN;YMA!!1A`e z)DP2^yFkoyJ=OdLuIeGYGF5-9=G%Z zV_hFa_86;}BCeR^5Uc#lB9a2U$)c!o3rTb%6Z)42y#UZI7QVaSlev57)TJ_AdokSCb(f18;&4WZuq}VaZiDeL)X@*9O-? zeLF4xfVu5ii8M7p;*D>WcD{djQNXp}Ema&X3gI3Pck%JrNu^yJAPFy7yY<+6q$n<) zQ#YQ7LzEdJCK+p|Q1X{gRk$@@PjalEvF_DcUyLZ4Q_4AcZP}4WxuhBw`~N& z)x4UKTQ;1CHaaFM9y&G0i@CEnu!teVcW^(y`D`ukYw9s<&0Zs6Ik^nCTX5`%biH9G zYyL-URE_5Z(&qx|cWmmsAmgqtnov#}77!j<{fW7izOL|oVh(uc-=e}E?eJMxp(S`s z`8;znE9WBxhf0ImaD?q_57l9^L+93RV8&zZfDzG~Jblu@0J)z6;4eki*;2NA&)=^o z>rdYNe{$`=dRhsX#RY%?oQnVQCI0Xy{x1E+*I>xPd76KE1iX}Vu`qG7FsJmiakHkB zkyBLp2akvR%!?r*A|pSuV<^a|=r7RG(a_NGv2ie85aAOO6X6pQz9OTgctuJLBqXF{ zp`@mxXJld|p`pUYr1Z1#?{bZeKFZ3glZ}(T4`>{)+h- zQKBnjFBcdPsjZtJkwD6Q;uA5y>n!rom8Te=ip_l|&;FF6YR+)K*lN6edc%a26yeT) zg~8xn-@_i}guVJ!5T+Oj_Rgd$cr?*2NmTP=g?z>T!V5=ao*;j#ML%w42&kOnS9zDs# zsN3#eH5gTEz$it_8J-9~wCrz*ZqwdSn;H8%-SuK*hB=NTAFeO%?;6xGr+>`F9mId+ zeLiy=il&l>q|7WB5E7Q;Q^yo&skd~eJ-Z9eCX0@%f^&InpG~Hv7n(T-C0@DHM13|s zSo@8-{J6$xu+3nt{1};*q%_8TN5;FsclXG@1H8j%aKK6&`CNYX`Kyn(`AGZ>A(JvJ%?0MYE>x5K9fCcI z6A-a_gg_9HJTX>tO=ki1(RX3j^(1R`_Hf2Ng=KX2Z#4bVe8pWn6`NZ#0InJaUb6-L zjr`C49pYU^amY>DHu4yvAB@X&rP)DE1h-Cs;qVIw2kziLSCLw-r5}!Ji|`RjW!d}% z`z0tD(%130dL2pxCR|SCT~G-Cf#r|QyyMc!uZYrQ1jb^2UYg{v zW@I?1$+&k7mI?;J2}LT6;dVPLZ#NM0X8iZ^t<5dJmW}IL!P{BW;|DYJEYHuBcmk+@ z`CxC4bNB@C%62_}$!;%< z-cptnZE?HR#k=h95Ra+_MVt!^Vr8H{M4Iomxh>@RP}?S|F5(#*Qzy(?sN_S2@5ysL zyq9oHbZdUT{RQQShzNXWKgMVCV{PFxYxv|;k?u16&oxW^Uow1a@AJw|+s0W(uOvPa z@>N&q7#mvi(D})s<=wtfbo1*^szkOwVT`CY)3KtjgKL7+bHAAYPFDShY*kU>ur?q6>4>XuH zO%H28p97aBpHV*FMqcf6d_KdMe_y^wJ^=j@R{d4|Po?GkBEf;j?M3asbMnPURNe;Z z^hNJ!C&f`!+3R-^TlIKb-Z9(}67cP+Ol8hDI#Ab#8&NyaUnL_onhNVIe^B4s03i^_ zU*om4s&HE}gy9>&1wrG^55P#-}B8Eq!U1`~yWcaul}bjUWZ@LWJv=E;r7VZ~2p~ zT1RZ5wd2WeVtdIBXu2fLdKpLo!sIJnWfeTWq$n*ZYfExYB!OnKTZ;1u7-v5y1K@zz zewv83uTp+t2GQszk{^v@$aXlo*1{SPcgb}}ya`K7~QYY>&yU{QF8V3EFRQNk>l)`Hk*$0}t8qBbPm%04cRoZh1-bHeYiCmPRXt9Y=$t zabp5Xls2$wMp2?ms-O-&QwFPgZw;1#1Hx4XOziX|)CJHb?1z1Iqh;S7&%`#3$T@o` zH=v7i6hAr(_`4<2yF9VAl0)ycTXnXX4r_?8Sw;SPC_WLlp-x*}EmYD3xW^<>)W6I_ zlL#OjpmEK(G(1GiVTJ65s;<86aNxe?0beWOdBB9Xk8 zqag-EH>adBhiLRx|ktT6Ku%Ll3Gh4(u)JdAs9GT5oyfaP+_mPI znc}fv!3BvGiLQj?P{@~j)IQ$Vx*cmT)8PHQzzLXYsEKOfRHhoDAR04j(blNZ*jPgR zvK2;L+;kEx@g_84Oz!X~BXJ5_Is6z7UDb)tm!K2p3Z1YC2}1k^apTxAEN6fYh?3c409pI!LA7;3tY&`SpyX5 zh-y5F3=qy@^idQ*+S<$W&imp&Y90PBlj!HE?C0>GgVk95vK=OA=00brcWP?Sh|*%@ zULqxs5eIZ|bW(-~Ur<%^onvHrats`k*1OfGFSeMGouB>DyjuN#=~V?DBaOE8L^9>l zHpC-5FzzRp%&r{TAI(csOHF<-dlg-_=8QH92NtFn3}Hl6V1(duGEo5WIAb!6o=eJM zpldndfBrlgUP`(2Asm^cPo{!0s*Wa9Hkqa9XAd%52pXa}MK*qXbY;H7|3j}Ts6*v| zdC-w+3jyHLUmwnnvO+s?H<>%&=Ck1h{&_&*&G3I!V`FbP1|Hpui%I19u z8jK7VGbT2UhKS$d>XLeY9BWB7zm8ZG)K@xOu8O?5QG0H_TI=5w5E%o$(~mWB8b8k|tB`pScG*nudI ztDmcg7xOn|qsU(i1F!2t1SqLpNxdo`-`B5U^)?=elMrNNS1c~uYPsg;K|6^;q<%^% zFq}m0uNotu1o)aZjiXTlv`Bf@j@BL5r?FV)xCdxg09-vI>iQ!%IJgN%kAy4 zp8E_4gflcdUp1?{P+WJuIF7UNhI#(7ackVPif{rg4smEaDwBE}hMsl}65!1!tdMbc zFppl81V-aFMYQVpi!M4NZ!CFGhKKI%DRsti_9BnGA&J<1HhDwZo!pCcM-yXUh(;tY zvvFB+yM!v<2Vj!J9fn@E1k(9E#3d!0?*QGgu4MNzK3Dx*u4 zU_8S7TrO;-c-GC#x0d;viq1A!?weF!{6X z#%Ka_4d1Dp;{Ex}tWEb@_A{ATd)F#yeZ1%>N|`~vM9%%}M@5dk*&EmJ(6cmm+^YEY z-;c}Ldq)8t;xg%43G+^_3+mne8)#Rd$SAg=n!Q8nRsHa$2WTwc+!P8w>~X-N;T7Tn z5NWxIwD~dhHNvVFOddaMWYueA>vQ3$H7kcz%Q*l?n!MQi>HM$(;K&LyMeQ%U#PVC& zSF1^9rH({x<)W9M(v|t(X>^qCyE2hI7m~yJ8lwgp zmP>IgvOhw^1-XKJdZTlGrwVW@bGI+$_=Rl?|x^Nqa|QP=6` zX;vG%U_#J{N~*VX$x^~Ym_Rt6Ob>v@tlgAZ(b@iD1F)87Uz-D%B$E3-5EHqE>Wqzr z4X+>`XTYT2gd|)vcWqistPr~3M^HOXp2vth*ugAOes<0vk_^v|zWz%=bS&*pnRQVk zgL~zHEps#C3i{d2IPuUPeJQ#(FWDtT-$f+>nOv9Fwr1%1=G*P;NBPadZ?$+=o+nOO z$-R#&XW8%aVD-7&=K5+`hwMmM)TO=^7I3CRBLdV>=mkXDs>tr@S}!4O&j#o$y&fZo zi#I4t-F*E6(78tbqueE)RD`qO(Jt7cfC~B1F7Lk`HWv3gUkAOT?Xpc@Z^(35_6w%M z;QqJUETAK3+8o#kGl?69iE5-v%v5wFcfictV#8|5DR0Imbg`w2vXd8@(Uo+wPLA&X zD(WVJy3_Fg`ZZ@{vg!B52DPmE@Aw>QSwq^$b|;5Y!=<`3Cntu57&j^;jT3K-`}|L2 zqueRoZ{~99A}=lLL)4v>rjAara@!pme+PN_I(v<{&NP#HTgqkd4tAw3ZDC>tUT=lI z!r$0*5wgrDB7w0ae9Y!+mR{a8R&ZH4Bt!?x(}+Un&arQnJ5!mf0!G?giR?>XzMf9S zM&%C(3nr8$e)+yms}%uFAI26dPqvBqwp}|%IHf zG(nRw=_@jk?F2g)ru#|@GuhSm@t=yUtsHL$#Tvu1!W#NK(v!P5$pgq?qgi(Xo=}mU zyeetO>z8_sva_??O(7u7#mM*qDo5 z{gR5VcL~9&x1Sj3xqGLPs(=8s5g8i8e9e_^z?0k)H|B>2RoO#nLv7HY307VgTXmRjZ;lMf z8*;(GFLBf;^clh}+6-p!NO46U5}9k#y8*6?#JhJ|&2v?alw0-qY?IjPn{zoag@fZO z-BgGy#Lho~ep0xGw7*0Pzxm3bHiYUYU{lJjtMq(H0->>^O*yiTO!P3W2iM}oiLQLExmrU9H=H|Ot z-XPC|OoFIHlRzyr>YNKD5hh2;H*?4{TH@(^jW*#BOOkGizB;Jzf*a;|`OMm+!pL=3 zi*-B{Nm}(qbytVl^cLmZ>8rV54o<)}=8#{9^)luXnYco7Mw2!#$?)fW7o0Gk z@k*ZIKySSi2a_~0BcFDHnf!3Y5-LNTMVK`&s#!G^ExdIY@H}b(tC1${{Ic9r&7x_7 z^(dS}hP`!w&@@85ivSe`A-X$14_&S5)(=yAwKStRunWTfGQi^6y?i(a|UfKj-Sr)S{;1oWA$5N2v5Qc_F;C>*d!r4 z4^6c|+LU=WR0z3k9(tAPS!uMA+IQ121upCI_CMWn<3LQ75 z9GAS8&|_eQB*ogVELv3;VZ|_Fo#XY-{j6HcdR(MXOl(7?i4Ceo`AdinycpuOsAkmW z^Cp=5-Fs~*vu(dNZN)?MWx8PdhS`{fkz<#2yw^mZY>f{Aet!OfW#d!|Eng145I#(~b@W`@ zzbll#V7vQy5e8x_Kg?iuHwqeRBG3^!q}*je)(651X>r<&UK>qBa4qOMG}G~LWVg8%s88s<#m|jwQ;V>{+*!gR@18$-6h`QmVh9+jqR%H^hglp_O$ZV-~HP3k$7m zCzKu^6$t#wm7rT-M6bS~+SxV6@ zs)2iWB}du z{yd|+W~sbdyi`7;)W0v%7oI;if0N(chCKm7nba?!_c-q#o;NM`5-?%g2HoS*C^(?a zkSX>qr5Yf_RuzIoznbDa5|k(^Z76cG5X&6>lw`o@7oZoo6zIHx+tYJkCEvC(XDUXt z)V36ci{`wf2@tIlb->`9$6%$27AGh8IVZugEhPIv?sn6GTM-1%V zYtGth9U-fdyq*rE?_M3-HY|BFwa<4}cl;pU&^+wm(SU|>5Qz$n#=rF>F30=k$l`S2 z`#bv$>6i7_Qj*@UJGBhV+ItFj)s2$9zqAqvNmHJu5i@7iw}c36=(pr2X%N22I3-&s z#+m6SbHWRmkIAf;w)LH&9nC#bm$WG6>LOJ4`p^jY)YFa8_*<@zJJ?{#reVmV{+oph zTe7)?sl%54V)$&+H#TD~w8Ne7zD^1s+`7*+2pK(VkDBnobXLU|x)CX9{qAF0+>oXo`NgBJd)%lpSUj;vW!EMg&W};E97&_&qu?l0$c}|VNX~r4zchld)%uR(JH8keu?XCPVkK6QoC85G8 zyse&d+{uP$CLN#nuK z!QAaODs@(7Xu%K)B&4)r@H!sRkj#;PygVk-s{ek>(coC+XmGS?ki>wI+T{w&sf{u})X6iE6yWwPajSka z=vz1(%ujjCPVdkxm*ivlj+@*`L&4q7Q3nK33Gfu%!7oKtS!=-yeDQDusb+e%}FV4=D+zO-+kD&W1dg z^=JK^5^^#3G9QIJ0q?#PcdNBkPhH~OhPb0N26Mrj$>t^G(m3crYj`*r%;`ZSj&wTT zHoYwz32+r&Uci@`j#uP2G*K<=u4E^IMk+ss{Z5F4E}1zMrW-=IEMT4$In8B-pOa#| zE`dp!g(EhE4Nzg9Al9;^!dVNi)F_@)P_j zu0u=_KcLmLY10q4yZKqIpwSKKurKIRJ@j)3p{yS_^+`Y0HrhG!lStWXU~UTZadwtH z0mxEXiondTYt&z|{lfHGcGK32ebeAExy-!4mJX0@h-ed|8bvvOCpp*VaFuaHTB`fH zex3$zv|v8tkq?($n8jB-+&Fye<~f3&9NTrq?C%vjxlXxx6+w!$+W>;`Zq;k^op!U1 zw4QXcGg3puOnx=3&7flHX(*kWpUHR%9t8_R#|1s+uq@}L0CMn+&u~H%YAOSt?J(itp zz&NdwR6t)XN%e$$dZEpjPi((c&9$ALgE%jC!74Zj;-wDsQkiOX%^5_WSr}WenBbK( zToXwlXhKmy4Gk8ohcn$7mgf!81qz5UthMwS?)*e94$j!}eQ9gA7N5btH7(@oYhwMq znEFedNMe3uaG(OsrlV12b5*m@KF$KrBAe0V)xPPe#plp6%2WOO!k*hML(y@)I{o%u zRV_0&YR&if7yBbav5Kn((VFNfz8-x`&wPfr=Sb&CNfhc`EbM?;a@C+MtIj5QF#r(N zZyXD5;osHO)${G)S8KW0Xo&K*x1xzA@Y{OS1 zqi*3(wB|7+Ks>q8%~fiIn?{0RxVXTTik&Mr@#6g2YpeXDW1;>SMlJAa^*SA{NDNO$?k#~{>sNRJx|^*iiX63l>$$Jvk9L4(V{B?P$%Ira2;z6g&;@jeyu5N)8 zKJvGNg=ZCxbuEkp+x2#@StQnp%Hxil4|bXG54ZSF;S3%!G7)s{wjZYSJ0^*9aeJpd zjp2mNF)<@uclFgFx@-s8kz4W2fxFmdeeg+}Beg@ zhYaO0%(4d2JZhp_i%=-t`TcvX1%QOcm;pv9YYu2Wg1Gqgy0A=m5+(SKIUA>{dpzl|E^MwSt^xm zeuh7q0K=J!dvUhVFAvgQ70R4@)SyaoTR}J*fnUF&OYZ_MCtB7`u`Z*Ws{ zxG{x|cE~ybM5@MoJ}h9C+La8V^rRtxCE+o@nP>+}`%OV_Y|>nx&Tl!B9F6@$hA0>d{3SAQhC!7UC~%)LM_U-{ z_Fq~{48AE~OXS1t%3cuiuBm(i^c9gRSATj_-_+RJsOv~DPp#lQv~HTqVqgZk;MEe~ ztw|o7|JjC9Fp@)O-yAlS&LuO=w;G}d*`on{IY)Q26si^w-b4WF1s-B&BbQVf6mu@g zBx6d&-Ep4qy?1u@GZVGUTHc#l=$%eD)O8J)cE|s8rbU;cnbf{gMtW;km!9glL7-99 zaSlQWO`I}=a9E1sS10gcj|-Y@esVrj<6%xVjy)3C;oI0)&ep9|eiMrW+C_xN7O}H4 zkhaTvtJ~{UBOKSYo{No8Qo7rS5~STGHN&Dcw!9T8len@Wn&)_WV9F)lKLDe=NeR|N z=6wQGiXdebEM!&++__G8)Gs7P^3G0^Z-}hiThK`-(TQ@Xup#@g9NjqE)~~A9>$+7= z;Q|R=dp2#lYQ8!Pc^~QRGOF-dMktF#xg(exPhX&38v+;dYsS3Z|q_TzYEeJCX0}&#mO&PV!{%v8;Hap!Msz5|Wka zYrFKGCXrylCPnqaY-Rkp7z0INW_U>S`ld?9@1-JoIA;Kj>vrgFv5Y#-2!*UDr?u6y zyP?Ob_U~ZcAECXxg;j$E>ipJ`S4~53yPZaU!!j$mnkyf3=n5^oxeaAVCBCA2p15Eu z;cq!$I}4oLYG}CX&HE_`mYb2X4@g~q&Y2Kdp&LFQ`tFGHQNv4SDG_X=!kRy(a#Y@z1qL3x#!$lnLll(0RLOZWbG8OXQmty z$tuVOqjGgpKI!A zj4#@1O)XOkbAmiH0Y@-OKX+fJLwtV5CqPLlOKw??g7ph83khs7=C~G=-MA4~hWuqs zaTX;2xn+erD}b)p&ZcnC{3ZOyr4t$n$w(AOF5wdypOldT<>Qpl!#o4dUGgxVS(aGb z!p}$8DaO`c`&AiD*RMB0McoztwLSdA?cUU5CZ3N0Pew4g@}#FcKUY2zJSgNZSMjaw{0DyCfxt(1t2LA#-YBQW>~E;axXyG zJ>RjH*6tN)>tTafuCk_P>bk zF*f_H-$Vi_;qYt;RM8jD5l{ldwF)hE-&U$56Z;0t-t6>q7AjPpgsVIen;>EBi z02j~wNuetcFGe(a2E}B-<9RLfpb40i5;JvW&3&%SNM56Bjd6oj(RBuJe0tv(0gxT)?zN|7wVVG8U}16PUFl7bL~IF)7%Lp$i;};Aw58jx*hvupT)wtv5o0X z_~-}Oa9y4hV|BUft`>=m`LiPi@;LY}iN`0D8dqZHKX5;#?*1FtW3J0NE z_JBQs^|cOaqkc=&F*C0+05qjZoAx=Kl;U|n&%|JblGcgi^|-|++Wzq(#jO#`ZjvEV zia)ZMeJdvlHBG3Yrm#==TY2x}`G(SU1b95c4 z_bMKQP+0%0Sy+Oz%Wg?XUKQCbcP$TQY?*47sfGB|Xc@$s^=o2^v4y$3iHA_agWY0%ek+L^N-{tBt!oqC|*~kUVm_7G|0r=gB-1TEoD;wX#mje!MYFOUV z=ue2^T$RD?-;EV)tZICT4DsWm-&GRiIWoYzvdS;exb3&~tfCe5ajLUIYyPmPljEjh zZ2OwZMG9ug7Nb43f-L#^rf}t>-Ik>8A{7i;O!_n|XGIh&2ZwBmU%rdaY#;09IY3(+ zH&iicZ*hMpK)?yCIp@E6sOb0GF~S zX8n<^{RM;}p+B?(Z#GQJZ-*+H@LDmE($hK6vU(%Fqn)u8!;rqsHO`^FF`8g2%93j` zJglM%e_r5RT(s{Lk!uLY5V#27QJei~f6HP{S77`2tt2wozIiy|-QLBAe*of#@Cg@y zUE9RZ8rnh~4W&(M6t`iJVJSG6bp5^SyRqJ)r8Er&UV=F9GlHNydMtu}0B3-I0CtN` zm<}>#wh$vfNr-$YUyb`Y1x6*lBhS@qcED6Bs@jX*!mx@jOP_;d7MQo`n4h{W03s(~ zI%OdlVKzIUC#5_Q1lcR1sdl8Q!bxVO=V~lvl@1T4&B?UXFpN@_-COQL<$)>#(sCq| zz;mtT3pQX^VRahSKorP(O`d(w!g4)s6|mM3he;)cFamoDb!)B{XGH)uYjSVol{A}8 zzE&kpFqq>GzX08AxRcy3PBDKys%xI}<{UmaI9b4Qc2ach-UeS^TKbza+qLxUK!pe7 zB{WI~g0u$4_qxbe~&x^s1F2W+_MeXPd7`m#! zOe_j2-a10PyI767(N2WLsg5TI;6ufnC^C~S<^Xo>>-lEANK=c)C7;?1Ib<-4<11#I zx84jYAf7L^HjPrxNX!>h23F;`6B$lYJWxza87N!{o;y8s!Nex}?;D_g-zIruvUS=H z6V)mMs~cKVZ4-;|a>D`WZ$trK4C{7~M_aWTG6L;W)#Dkuu67f&h|t^je;F9Gd=_ykK~enkCQ4BSj39b##>c&OU^}Ayed=o6UQPO z$Rxiqaih>4nUDKLcl?HF&g4LP};Z8n6t3HJ#1n4&ou3{n!2f~(>?xmsJH zN!~k$_fj%{h}H)^DV*(`r$g+$&+fIpTLpjF5bY!sW3OQ4i!w%jHHyt6&bwz!V6tdT zK9qW6(HddI*ssA?gs#-=+)jaoC;34s#0$dMnfUg=z!obXM-%4@%0GZN0c%{p+0-3q zl(Uv;QZ+CXwy?fhaH{e~t@P$-FkL|XY(cheUqd#k=$AC-dnmu@A30$bWI?!1Ig=2@R{ScouhIGZ`tKMqX-c1=V?Yqdfx1FZPT8x^EW6(gKU+;KC z7ZE&@qQ*}0NkqyOqOFATCa-s$;G?5nfWWVJrP#%*P)RCDJ8n&jRO=o8zw>X2Za39h zZA+l3p3B2O8F6=9Q-nveF9LPw6&Jw2S0G7jeyI#OW#=^XAFhUBV&+%HiPn~G0+91~ z9&|Gw9C;GQA=3Nr4!1S#Dun#D@b?z5eU-#E_?d|xF>O2bMm%2}-Cz7nZ9Y}Hhgmo6 zp$?_Hsb>y{@ql7pr}e+n-0@9%D>exeRt-k$WBBbnlNA(5gYyhHdbK?a)QA&9NAZkY zN|v*%4Z$Kz=M^X&T~!=P#$Ih7JyrXq_VN7w8*M~Eq_eGHuJCSwy+~}zZw-#7oB^l; zN~}t^yUum*DH_9d_B@#G#{Frsp>I)(BJsyMlyIB9L=9^Ua+S{o6uG<`Ur1GT)Mitxi*|ypJf;UXO1i;zgQmzx133)Le`!n7Vnxb z70=g&w|QuYtSh+`Xog^WC-C-`Y4e86!;N)C!geM`5RT>YFzg2*J9jX)&(4AVcMW0t z&8~w13(AH=Hwv%Ek#lWV0v_&2eRBo`)(VaPBx(?ANB!+rgQE(E=BqOtWuz5}^|jn?7xm}jC?WCudAe^J^or@M`Q6C7Y@S&KPq%q|hf8b>F70{G+}vhJ45Yk0 z-M=e*iXY9UMr_q*0|eTNP1uMR6*IS`v9X#H;qlacwKVIiQ`Sy74)aavj))pOQGqD? z5s**zSc@ZhL!+rF-cU^D!hgF6+@EwiJE2Vx!Pg3PW#S>s6w?BUB;h%aLAaF#K<KVw!b4+N=Nt`Q+_;ab>*_M3s6V~v~^n|R4d!(*l8C|nd`XF^udQ!z4 zT*a6l!cnCV%CaGoqzLmBDX+&5Sz|dkSdB{0G|ndD@9D@cHd&Nrm7*NHUylk&9CEnc zgEvasI1F}}i}cWjQhYxuqx~9z1fr)84HC(FAO-kdJZQefr+K@26CyTCZL<%(^X6F8 zo->av@H46F{|R+u*dY~#?F{RN!I^P4<hd80EwZoQJf8d>K)+!*8D zM$yu%rm{ovjpST}Pwq(*l02(7u@xn(%A1t4lrse3t7|gj19=rf2^5cJ#MB#=AKXcP zW^S|j4W?98r^3P02xJ!;p8GgIYNY{pg_1={UH!E&zTw$7YO(+nl$>C0j^)dcJtMP% z&6Un$+qN)CtEaPj9Z#<`kR~bnnH4l47E<8)HU3l7;PJj+Ys`|CvRFyzm9Ukho31X^ zB)QN06#F#XueHTGbFHZSXY;S2+y{D!o!lGpPfbmEnyK$ODSyb)17}xR)@1NxInP8X zaC2QitaChUa{R*{XQ~ng1YB=VDe2d zotDzp79u;*STo#KJ?7S?B^a@L7PC}C^s6aGT6nSk&?DP0MxNQT@M-H6$+a=vz9-sN z@by-YZM<074em}17QI$61cr}%@FfO|u1wPW;4?&3JtY*43&hVw+elV`#mB#^MyHf& zq4f6-0A{6duqgemG0;p2I(4zm4MkV`Qm1_kvwW;*eaImi~G51>`}! z0wqwYNIDmB0NG^eSlAjjwK?djg>CdL#N)1s- z%9X4atvI0c#@d`r7Gh%ZDQck33EeCYcQ5PoMK7$q8Y{0FWVO|#Z1W8+aQ!rqpGy)? zJn-)*2IKuFK9!~P`ChZCMDDZFUkQDDuBERN!?13L`I*FlHaEf_elUZ8o*wk9Jq@i2 zziARd@McJ{iggL3DVs@wtGa4o6)HMRC9#?ja{UVjXfLj%G3)4|%p3*hb;y@v6G{`+ zc0eP40t14Dr%*EE=7<~wbK5}yWnPcPj_*uZA^g19g>ToZs+wA(8*N)Eye7T4#lqrl zvdL=XH*g)mZ`;RfronqUX+kt->-&C5!WCAF?sEvCdAS1jpg>oP&4qi|*`Sw8wmHRi z-JAyp-KqgBRoUVWsF}#)A!ydl@aOYrfA*v4m;AORv$6dAwprWk@6{$4CF%<$orWPi z{UX;-eP9&tS|FNuYYp9kbtFPxlMbBkjZbq`)x~hVIT+NWe?*p=fg%!R1ed{j`1odF za5DmVXL5bGaH-#ChcGs`u!OncPGA;3aIPtE`7}{f)0ao=FKSNV4Rp&qqQMe+ccVdr zC7uy^g8{qAFqTkO0E4%V%ZuuZpJxHmq+^5>AC_TPC{|@PG~KqXhvk+sb4cO4 z{{XZ_V|~v8WZ0m3UPV@PA*xHDNkpIIKx@Oz4&kov>X4tkbF(K5EOjWmvqHKKlO$4{ zD&sdRw-ZsBEVH;Y1cHB{L#*)*>|%p=g24GWXu`je^_v@t^K1tTIPeRfu9KPm)(mWV z^1@Lj*rL z(ocC?v6*xw(J>+`{ZHS8;KaCzy?^wt%MEiB*5H+H@Kv$VXp+`G4}od`HPJ>l){amG zxwyQln)MkN(iFW>1m3yJQvCc~g7e;UQ0OA&fPZhWutc)K84hWbL6G}A?@y~?$wzPZ zvi!cJK#JM{661e8m^m{t?cR3IeiR>#dxOO*&l;>x!Zqa(rfEKJ6|a@_Amd?SZLP^u zNiO;$UgixU_+QRy!va4g(}8xqcU7UlD2ir7q+1iP+oh{{8XYGg?mB&h8s3domUr)R=zmFH1P?_cD;6e8wXl?vTdKH0R5!;1>Hk1QPl&^`n9%TF1 zQ{c$M^^1$vFdMzsHXTLYh|ueVr_Db#0lwO|prdH1@>B!}t*9e zZ0J=2Ti*v1EH174GQIQY`+b|bzUg^-1~~Av3oI)=5)^?X4}eLV)#*~Qm2=7kkYk^l zgQX}ALRGBblbHb}WD$+3@#mADvL3sL1C}Sxcw@}7L0{U2C3dJ+AF28a@LkSCM3Pz^UiOVXpC4w)k z)f+Om@%)HPE`z<@V&47>VmO#XCah7IZyctb*W91Qu^y#StrqwrMNQ>-CP&ptKSlC0 z7>ny@DfFlpDau;4VRp3E&ayIf!(Q38&2Ee!j@(@;$(gI0N>MCqBmXDTd~Wx`^S_LP zSO4nu+fW&p@*T_=V0@lkCK(c{bpIF8 z?Wadf?cTJ^`TPWLnyf@g^s`CC2DAP12t5%UTZYvvdHPGiR9o7m31JdJhSP4$U(?!o3`G|An{*DF&h z5+Wgr+e>PL+Ln3ugIh;(?dAyMLMO>~_?xYWOMg8%iCp?%ZvA6;Y6gF9Zt9|Q22F1p zRM&CsoW}df(F$!USei7SE~sa!#=;g5QS2tx6-q3ubkw9Guh_c4p37!4Q6EB3xow2d zsHJd1G`<2Hh~e1_{I{X1rrBK;IZax3S1hvIH4ieT*%lzEIm^*h(Q47G=5EP?&#dK1 z-m5n7r&4jM7?sT=vCK9>wiGf^L^Jh6D#r+XA1on;Sc?+(m(S&v)!+P+BXVKPzs5x3 zesEF70Q0I3U&5&Sc>2f7%E2P9_Eq5mBvYO$!_SZ1Mmf(bL}3_ft&a4!#w|N*b)zjY zl0z?6NP*^$3ef*b(Y}nL56}NY9#`@ov~SuJ3$L$7M_k+pK&50KquuD}4oLUnDetKh zN^h2I)TJHSJ>hQ{TN_$3ss#nqza@GGW3QP3U3n+uvs4>!*9@agi!p`HFwoX)9Xv4U5)nHA{TnGmy5m9kuUziHD*zY5WSzV zyD4#mxQYyqNXBt##nMg)$}xFl)>XS{**7B>Wu7~^e_o$!XBG({N~FEsmNq7DFoY!V z;`GR5-$x!~Q@C6aE+UX7dxhNEPCWDPwvfHJSqp56LUp4oY<6Xv5(hEzWY{oHtQw$g zw|OQ>hy9>U|ML3tWz`EYLnH^RrAP=5&qFTdbQtmPhI z!?-1(KFx^Exr;%0^SQ3h+z%LiwJwE$Ll;}ZrQK}jkm`X zZ*UK2YQhYcTIcfTEoPZKhy@dral?c>+!LEa_IU@?+1{%Z4!X=*?PauaVa7g)#o!z)R2E*w%Xb&dSx#Gf3dwaLG`Z%jVAH+ z7qw|$9e!VuQ(co{Ns^ST!NZ8NnDU+X{|5 z;vMVgtSEB;CxYEfYH4u2kaJHT*!yP8T7rHRc~9SS$4mEKFQ@43JFTJ6{W1{QX*5%X zTm6P;Ks`^2%v#P+a!YPdlkQ@bP%xWkw$uw2D=7DZSL%`{BnI~}Sop?-N-Tga3ERou zcO;ECG5CdHQ)aW9zNg=!+1=e?zE>l(rtpM-J#rwO%$o%UrEt zh3N+B+UjK0xl?{x`wuWk{f#wH&WpAeNa?nAAV%3~9ByyKy@6Om&0ckb5;Rq1cVOno2-^&Stft7Z=qB&4t|$<_>8qOPBW?2mnCYUg3@S|e z5B)662}k|ycab2N@>0V8FH}n$Q!Z?)1IPkjBI@M2Ntj6`CHk(a_#n>cBhCPx7uaQC z{(tK}I`?N+d+2(8_}R7)$?jkhPSNctHrrr(o4s6p8pauz~l0rh)4m6 zEav|K*rpzN_zWOgLhiVwX!M|*J7K}7ft?;~D=b!cn|)vk*9pdo-!nh;F}ZrWQ7A5R z#ZEp+H(mx44fHfV0YjDu6$#W>hqWB(jVDr(V?qY~?oQbTQ-QJcFQ;&8yX4-3PPCNI zhqt;=Pxx$e?krctAAvBI_a0l$o%o^t^wdhtb7oM1MduM~JFhJFFVkgCB*|Vvlm7Ha zajc&kQ73B)iswlM((j*)zIPcv<+b_E|2@h6?fc#O@5TaR@TZ?^IaDwWuYBi~qJHp@ zj=}b%grKyH;~=MytzQ#PT=K=H)GwGb~KsQN(Zw zUsXDN5G<4?ECQKJHY#MQky1iY%~vzqp^eE3(aK3zD>QjGVW=k`c^lrWaUs^?$8~fY z$K2c6w{O>^p3?Ji*bUQMdb*J%KZ`UASGx;x{sVAG{jo9BNyf3+ay9}C)1K$pIa=K` zmZMsSXh1lo{|ZbkwG8Fdm%^N*>a+P6hn~ zCs`$ zi{JOlGgqH=Cpf!p#;54&8kev&rRKQ?KYb+<#9iaM*O}4^f5tD!6rk*@jn1e5go>UV3!zT0-UTn55bM}z#PJ@wRp=*S>#Ed z`}X7U$Q?~ z>T*F{O&!&nA^pQR472a$H}bj34d;ES&?H$CJis5<{YJWAcd;;$4y(=hPX|J!+CS}8 z%`nN_Fu@c3OIoCkR!O#MUWw88cl`CUmk9F~y%gE;9A4V9a=(xp#P7#>J6-2c`i~qa zAN5%^OwrDk^y_n6OVfT0qhtwsVD`gYA2mo?Y@@Q86stPmp_R%7Bx)V5>}#KYhNxD z2KoDgOb6PKMz^?qrbP$*d-7hU{~eLgp#L?z@;P_@Q{txB9WSL4Fs8Ej#?(^^oxb!} z{N7H?&R*2cG0`~IPgjUFk68n5_05BApIQ{gUK7p3ra3*=+(aupQ_7`Ro< zq`1%NHAarAE0G_!U7aIy@dl?6qTc@MqxWdEVL@}Mja4ecT0-z=6pL3b*3?4FV@y3pJ6scu zn3(0IBm89MW#N{~4Z1U<@37VAfi!e2R|lqStlH7t!C7XNi!z9Hzpip#NEx5Kkv@uT z9U3hdawahBEB$OZ;r{n`B(t#*otU9I5gG=j57j1X-<7Id$Hy}hm!>vTsN&SuGo#pc zJflx_GLT)zZczEjsbhFnz|X-C1waMHIID1H9cA8MyevbRc}n{p_|8rYcPo$Amu;%G zX<{zhC}9tam8B-zbeoo7)iS?`=zxSm?dU9dX!xQ$D`=aS)$|H=-z3mSOIL*NnlonR zD6P)GqW4`aWaLNirsUU{#~81& z09|CWv>x@xGt@r%Q*R$mrIcm9+JV#43-NydCcIAgGBxfo$mcRWUk0^<^(=CMb_RBJ zYxYnTH$VIyqAJXuPU$8szulVDHFE}+Reok0LD~+(?}TXf?s(*BOV|=PElMfH`dLqh zV35sEA3eIptmfSdG(hH&dxt9N;;6CaFJ&GzA(<<{%szKR686IS@($qIM67oQZcJNb zqfxa&roTT=m);i1o0?#XhnB_+&{$Y^!F5Vm0>6Vf55yjHO(9$zA(TJvw4zc<^qS6% zZVE!*YxyTB!|Y;$C2$mX<9eGm`=>XQVrJ^rRLv8O+^#j{^bdW1-1?eSPzcs{8!&R0 zkLq&FfBI$J$$ML6vJ-091J;=AVP6zZQR>5zq74=wGB?p#gU8f9iJQN!ngdSGy-5}9 z<6)) zV(bQ6bY-Icx&{*a5a1oJu_v^QV===8f4!)yp1q=-8mHC4)b|wecQZxfN#H`Ze8|nc zTh4(j01}#JNvcD7%@M^@=7t$DqGc~U?iTIHr&k>v=)?&&U{I_Ix5WDtL12Nj&49h@ z^RUQ$cz5o_50$E{jh%I}l#||7#si?yqlxXe5hpEa*0=a67DVZvE+SJdjH0enl#Q4- zx(56Bko8{K`>jhDb8eh%ZqUW8d6-B=a!YLmTXpYv54z+uB~(AlFY2D@y)7;->|A;A zHf}I#8h-~C?c-cO*|ZO*{_+Mj=Z*MgP2+Fq>H6POYr?&L4wNZ;K8I1~PmYv<{myo` zv$sdjDXEJae+JDnGPdj!sSZay0f{ZvVpw+wlkZ}UuZYXeIRMe42jz0#DmFhG!uz!q z`J%~EPu~dbw<*I)S5>mfOAS@*g=R6$XxJM7t)ik~3H{B&Xsr{PPlD{uPtwI>yyd_& z+y-8X*GS=trG(1qJEZIb)*@NiD7Y6D5k2&??bWjzw~U!XHyvxb#B2;NEnqAiGk?62 z#2MCrC7@s24QTmkxh%CbW3{Hx!>_U$TW!TY#!lvA#ci|_TwSykc&8xIBq2j9TZ(c{=Vo z?y6$0v}@P;%92G%SNGrat4g&ENoR_$^_M=og7H@Pw~dwBPS0= zn12Anml7wjojHEy6(}_7xws7$wNAu>h)bAy+{O%~l~EBrtLpvy${_H_RUCVbo zV|h9OCI%W^Qr9&{Qc}1?Myc;~V{1nf*RjC(OQ#|0mG|fx0ERu@P1z%IpODEm$||a;<;7N>@e4hK9M*Z-X!~e!cVRq+I?+6HL+;We;Z0Qn$jj%a6UVmY zpi32vw#wA|bOcVtBR~lS>e@=+54sJg%8)xTa&mo?3_9FtoJfR$u-pkpsCBXo{;D^#LKAB)JL zcCk?J#6vQouufvFA6R5t^`Y1zlKT<>;BOMdTM@326BMdVvtDbK$nuZH=tvoD?2ibE z3~`lAiwj&hn)@&?W|+lRfGQ zI_NUVI{2hrPvqJM=0SZn;s}nkz%bkp#1V9h?dCO;3a#1G+8mRX z9*xH@5*MRvc93@U=IqfXl})W#xur0g$}JS>=Nt=J1!I@s`*8mVK(^1X=R4aa zkUeBwf1|0_!zxb4TU|onI|`0o5WjMBR~*>&AAoMMgT}YSRGvOJUKX9tdH#6`{0DC3 zug;7*9NXgpfN73%DeX>ct&gd2kJ%AclG>S%%t1KaGDv8`*K3j@k-AQmKzF@-z0FPF z@NPm#Qvr~@a7mc{G_=vjIffRjF@+nf^xX@xz5=XYmyNi4ZCcM_$(&P(#Hh;KL&$Wl z9D5UOD2k`yNFTXW!+Nh=D#Y;(t;1=aUzBwAuJD|;=0LxABRV3OA))gFF~=GLab4y6 z?KxwEp<(%g2B*>IE4^+{=Hun+rQSQEOGtF<=D$Da6@5V)7*z6 zaa`3<5(!+%otPx=zg>OmNH@RN)fxx)`Nak%>!a+_2rDr6`DoewEAIXPTGZAAd_%7S zUr|vhs6ZJgbeWXjOxjPDou|?-)KhO)o29SJ?z*axV0z$G0VRfoZM4l*K)&7)r4hd_ z2}K+jrX%RmVFJ8;c}SyoFM>8RqwH#n#PvA+NQT89CU-%Vsq@qtS0*U7nJ)@y55j`A z(ZnLvpL6b|q(8DPI9&sK8(L=0!824giG=C2<7L0hhu=*F{{vW$y4L7Wj(6ckMcsHE zaYi}JaCx;~+4SrvE<^f=edx%DH}zZ%@gpnsc?NXrd(D1qCz0>Cd412L)cg?xo)B>|Vwa7Ln*uCi z2$|V;VQn4BHQhFf+uOFPrioRhx<0y*hy>v;=t6tp5>1QS1U1>5P;#5iXL){@l8TCD z3z@~0A<8!JE)kvL0uv9_uFZMd7Nx{JByI=hsg@_<;bi7#Z6Dxz;^EG*+XDw{^oI$v z4o}7Z94W6DiZX27g~mfLMS0}25t`nl4;o+7$T@41uI&xgbS%Mz?29gYE@-zR&N=F9TZ<(@mU$VqAPDH7psgpSHt=N{Dt zw9`rSIyQ@oJ6`NS5+3s*IlA)sCrj&ePVgdJ}5sQj-`^wj&KX0GCY#Ul+pdYydON3w&w)>5Jo7_ntz+NBu({QAIY;Rm} z^u`v)^qeKtiasplEAmmQr0+LlhYel*h>@3XF8kl(LjPl)_wQ-p|MkbC=zp+GVEGR| zMJZ_f(*8RyRbiz@dp~=7OrqAI}l%}el)QV0N*6hruK*s^xK9q}i9(`Rij?^iH1 z6ieVnk32Iu)aRhK9CiY2&#R!(>1AcDvD5(oBzg-MWik@B9c#h#v}b}{lHWuX>kJ?E z6qyc-G{nYNy_^eQa!=b#GCPTDj*1Os`!{mqFAXNyyZ-^a)Nr|c){jnJG;6K~q%me{ zAf`y@J0=pLhsD*m(p7Y+#G&L_J_=S*;N>;muoRlGk?ZSfG3`!#7{ayCE`wdP@B^U@ zpP#6nhx@#BjwAb?UQZNFUy={0<$1is0^VEt3dX3L%X5KQBWvrvh9Js^$;p2JB6Id- ze~e*Bd%kvH3+4+ zEbbj2)D87MkxGzvf{1-RnyMfTBVM#EEs>TAi`3{SiQ(WiPw|i^5aPerkyTXJFtpx* zx6ov`@qT#$lBcFJH$BSL+|HlnV*E~feYoCXVNziGdB<0Q$WptCFA=O43r$Z~8$ymL z70L~FC)J4wz^GXIR#JF5ByuRD8=+M^lb}E5<>WeRh%Rzyz)`uJXwC{$MPJX|uc+kQ zt#8HuNRUm)y2CmOM3{;UHZt!?YkPucMt=II4+gYhrjrgs@7n*F_vM*f3(pAs7IS4Z}}G(CDordSRn&6a+j$K@fjL1b;h ze~IID9Vpn4PgIXK1_1bV@Y3l>N0%NgF+;-~B?;H<+XGfo5U-NiudyXtjNqi}R>M`B z5k8`=YNZXM{yACncvc-Rua~eq7xylW4m!$S_535`=NCs#h6HZEk6%2${u2J8jg>3! ze;xJRsdDOV{YTmmNF>?&5>wyALhBdH*KP40dNFNb&fTOzOc3VWxApmu5f11}R|Gh# zv$k88x$VQF#>%`~IK8R2%j0%!b99Xxf&OYo?*ZwcDr@h7YE!fpk%rNl3f=I`sOG8= z%}%$VW#@hQAp_S0MLCj%X`gugTV?3{{&(%vdj=H-$Xy|F<98IUUk4=2Q~ZT}`-ZU0 zg{^B25jT+5lQ<=8cy4Wq;Ef$;mo2#YlZOD91s0Z<%l3M@0AIlpmS7O_Mpr>l)B~u? z)?!X^kbGAPC7Yjp%hCI7vIOi8dy+O%`fU*oQvtF!08}T#enJ3^zvZb*)VbMgEi$qn0E^sesu$@jg%C z>u$nc*5Ro$5B|tAZeZ^m5=v_Z#gavi`#l4G-C6Q;c%3Eb zrrTyWQeWzrfF6zJ_WZhv-Z+J!`Osih7K>7fMtzUmyYIjae|V>Bw!_$C@odz^(&}}3 zKd#wrO|)kqdvcOrW)f>^&+X3d{N`3id_U)%-yO5;r`1;T9hdvkSRd%ncit}VNa7%J z7qtG<-#rJr*tGLSqig7#OdF>lW=X0Rw7ve)ppC)wikFq$G)acjxr;VQZQmY*hKA>A z5{~wTVb3zwotR$XAAm~V?A!A#DB*D#y%$AJ28{!=qxXg||I}>R=>YMF$M4GoD_T8c z!vUuvIB&IMH7R6LEu4Fc!hhKOma6Hq=7;KytH8<-UG&oOjudSG;0Yt%*p$ZDGo2=I z<)vuwUzl_MCy_zqi*fhAa_knG{ZXM=RjgO(;Ql)ay(klOmmwQ=;VH*p8Z5=pLyc3l zG5=Z5WDIGpKnFckz`V-^L!ibLC=eXrvzuAbp0w>{7@glgTxd@SC)Mrc-V2FwIWkeP zcEiF|;cuVm`*61FPW$=L{{*Lpc2cnIx;ednNoeEo{9dyoPhofQ)cnUd@^};(G5V+? z07pR_c3bhzii(8a51PX4^CjFXc2@nH0`Oo&UA!94U-_T=J*5~@fSC? zbGI7@th`)Sk9HSm12liiNlhxnargUNf0f$2!F-rCmLN<86NN#Bz`Tf$Xd5rk+cUOss0^1^KoUe`85 z9|Bof`l0AT0g5VeOd)Zca(q$>fS0eTw^^lR8fBR2QTGbVVE_<+7Y@1z6BjL6RraDAM-2J^iDknpDt z#NM5W!gh|CPGoPL)tVQc^eMq*oZFs>-+yo^pU><#)tWq>VN(vF^K18eLm4;Gg5tZw zk9YPGGBX@GjoN3qt-o+5pMVxcshB;I7Jh8P%{@O)eG^AGRJp@!t3msQ(M4YI#m8kN zSlZUC%C7Iyx2rs&m6faOG@L)s%pvwUS{x+MmmJru8(vUID0peX`9j@YZ$@nuUmfL^Y$-z2VFc$(5x2%DCR2t= zV4cP7^@&|j1HF+vz4vwUH&PjaTyjZxqyCYI2V72syajRXT#Z@5eKgdL;~C6*G_{zo zSaYm;xbKctU-_V?;YN3W{@jauk|BK{t-N@cWTBT0sE`oKM)P-1}fVlnQ` zb7mbs+txJ0!I>(WK3?Vk{)OE{Q7y*fWQ$(aZMKO|gD3ab0 zYO#mw8vrp#;}mo-B)Xj?7Fa1&kI8}1$O6656n0vbd-1_Pjy=C8!0JLF-+Wp5&ycb0 z;McNE&2#!29)>AU#XkOdJ=Y%99^yf4@~&J_H{}S+h4==~tI2_bc*wk4OURii%zem{=$Ulvqq-D4O@=eFFcHdtew>6H?<1v zk(?%Zn76P9PmY_%Etm2f-_;w*N^0_DGO^bXu#k?NsZR6WO?-hvW;&t}2Ja7|e{sts zhP;@n1iuU7mR9{~i*nRnVyWHuol-FS{C6c^hrr|`8?2+Au~9X#Qq70JLHU)dg)_wym#8l7o#I;4c z{#H9Zt^Tz;{+FE;WKNA&()ZGLGY6YJxDIoOA-}`6-9cV6km?lcH*$9w*UqQ%k=hs0 zd7Ma2E#;%@9xfd7gZis(38>C!08^}Y353OE!6E)jdb2bBvoB6OjsK}A^-)otpXaauwL2pr0cs459;4ffEyidkDMW53|OKgd7E5D{<}%DYs9c`I3u6T<2KLR34uf`Z^+H|cQkWz((kO6@*bzmNJ&RL%tQ5KwE z2eu+PN_Drcd;x0y5j8VW`U@l$ymY((`Sf8zW4;=`8uscb`lRu3S49br`q6zu(b6*- z8b#9K;bBQSu^xoMzNL?GB8pvqLUi_rVXI2M9Yz~6mo#V4qK08lLG%iH>Xm#8*Van! z;HyvxJZx1}o}jOnAeSL~59=ZWHM`1lGu}vOtp)s=s~e4SNEi)agh*LOBJ3^2q5Txa70uyWNHh>E^S~ zZ6_M>K*3eTa$-rw9z{L9=hA5inYt?r`!wgspB1fLuUF7KU(kFpygM8-j_#0m8-p9Q zm#5z0=K=MDg@*taVnzp~CY@1TVnQB3Y<}+bjnQsgiE9eu48okkSZX!Qc{z%O>Qji5 zzViv`mE(jUzq?#&v^HJ265Cs{gr>Ch*%jZ0LONK&7Cmp=27YGedA@j5B9XGYCNK0myAu5KgExX ze-f;#S=5%W**@ipy~K-WguClD;p1fM=9<*e@uFgsb&n+@LKjyR z1x@0urW>|@u^i`MCKVc?(yty>R`}j9y~2J$p5+mD`4g!vxbD(A#@t-~;1B;G=-jvE zq;cKHcO2b%!wUz9&U|E4@u`z$&x5~=ED@FN+0A$izx22*)Si77E>~9M%r_)7{*~aR zXotPF>q$a5YOnj4GF~rTIwG*VEA*{JZz|uU?~s*o?|JW1%g@8bS$B(P_%rpV%#F6D z{t(cgrauZ?iAH0z+7B^Y1D2{GCEj_CXE(7N*|S3V)Q)G*t}nJ|YlWJb>s}_Z4kp+< z+UM%yXr-D%dz+(>KFO1}udY<=Zcikx(ed0LEB$#)UHjtx?3Y2hC>4qtnxh8wCS_OK zL%Iaq;+xrw7jD)!&VAc*!Tm(X3Wf|8uiTE39~MLseX{G%ardj{mDi)$Vg0t{XA>Q5 z$G)X4t)aN3s$l$ba`vCXgGhign<)l=@e|cN^i)btG<7HlR6i2qs-B_qeHkI?Sxx6x z5xHXEvzPcI39^uq+frI>9VHOQ z0{IvesWXfgDoiaSzqY8cu@0PW^x`d)LXW8YN^(82dbD<1*+mc$mbN*SG3`Y1+ zK6%?(6<_>gEU$KRT6*F44SdP&tsfQv()3rq%cGJBcLvP)8|})OOf7=8O@%RkPe~g2 zYTGST(IhpQD{zWV)xT(v4gUYvoc_NrEm=Pa=<@a_$zqDMhZ16rSknt3w?6sC8?2Wd z>1LY6Z)~~i>R5h>K~)N0O+up=i^>LP^LkJgT4Sv{-8##k6FaeUkIglu%IOn3uc4t4 zTAyAhAD)-kfRrz0zQ$pq?_Zdn(Xp35a4L|JKJ2&Jfjn5uvkov>e{heJFo|3m2UN7i ze}>MohtO$zBX*k<8FbdXuyEE}ZU)SXk2)`@GF+P@ZpSQza#g~d)IFSEihlwEJ7Txh zW;96(mMH}3+k>~iN4l$YD8EJ69@8V_clOE73Iy*f)-`oP=TxELn3nog8oQ2BX;v?W zyg+%g<){n<#sHmtRP*8t2jqC@of4x=xpL?mWacf(zY7yh?f(yF?-|w9+phZtK@n+! z(u>9%b=KHx zuXmjDWzI3@m?I-!p84GKzOULzi`9azaV(62)us=Wk`TO_HBYL9{>h|W249;kc1|oW~wYGE?OE<)h4_iaf zt0^%@kT0*j&R=|R2w!@{-Se?Ktk(=m*V*bFCS_PF_7TGE$q*N6uBb5~I z=S00B%n;?2qRVm73fCxbNqjOn_yqr%7*+44@as)s?f*F%Pi5K-N zCYOjgmAUmH+v`o%-q$)s?~G)!kDeAoXlJyDwn_3MuhQ z9bsGO6<>5uV_oKRJwD(fBw#Cl5va~jc+dO=^o?!%$6Jr}0SDpNMR1DxRkGu{Z35C# zE@`(n+o&{E&I}qsrFd+jU~=eX4Pnz5V@gcCFd;|De_4S2`&!Gtshr+$x%>Os3c4*r zQ$cl!*Ifqm?vDc$*E}yDL7FCn9Hu$g_@1i9_r5(59oPKZT- zSZ;nOk>OBh#<5_tc7(U3p@qd$Dmt^35T4LU_GYt1U5da`tY7A#M(nD_pZ%%QM%`hT zvh>K}*1^&AR@g(rag#)#Ahq_>#0H3(H&dq8HGoVk_y3lZFF9G@k>Cxgz>Ty?o`jqjzrh{%nUjv&87fz@60Cpz zG(NY8bl1W+33)GI(5(rBGldRv&+J1{ZF8p+h3?7A1Lgf^tY)LLtG{E&)#0F1lg0z1 zkKSJ{IN~uYPNeg;FivuKHk|5FX&t;l>U_(}=GWXhug`A($bn2{`;oj0!`*^X(z3O~ zPMcFH^Rq|sm4kA!CG}UbXT1AKxt@`pQ}+zRcKtv21oPV9EcXrtZ^5qhCdRAAE-_%Z z(CfbU{d}R>HX!^{Tm}vFU2MI*V@=mi{2Ftz3%X|2x|L3g&`L(ltjI1C)Ouk`wNqYx zAj9h8?7XDFlVPntq$`vQKEdZ=I*Ze>gyd*pBv{*;1jniw)fWXzF6I;l_ZZEX0}LdX zvx0aVl&DfiN9i!%>jk-k9-;|9sCph9q+%GPGN_11bU0a6Pso||Cx#2Tyj;S2l&Xi< zjK3Kht(%HB%wXi-!v!_R&KMH23VDWb`W{Q>2LV?_qrACehP>$l5;5P_;Nq%dQTl@6 zYe^Hn1G*|UUL1|9XeZ&7{JxQTWbCC(xJ%{)=x3$F_Y!YA4%=mV0kPCaz7i75tUKJJ z^rVQ6R&Egt6TAj%?wLE^*mziHveqLE4wRXZZOBa=bsm}wamSkw@;e{5AMZjni9J~z zcRV9jj5d;rTCpr(Dg-*OM4*B2$&t3Kh1Oi__6~y$cO%nX??_;F((Z;#g$zW@*O_ic zLZu&4(Y)F)2YXB(Tz|dgt}2uHf2> z)}#UlKh_S2%Th=n-lxZ{4DxTunSJ+TieEid)Y6qP^*nZB<0{X+^Yh`)J=M2$tlgEd9Sn~w3AQ0AMSVBVPXaqWU5MhZb1~(0)D|rOCxgD?P=Kh%^kV0r1LYmd)^s2N2&tgH^BP3>K+j;yvsl_U0KxW|y z|IJ1Q0RoDAuCYlI-jeT&%9GHhR>~%M4xNdjFdFHr8|&JgukFp93w!C>hFlJT#v>>m z)}D-qkK{q1VYJ(No20&MlpnI9_`#ev`~0pC_4U;$@SFpEm(MFUW`#K8TdvD%dZ0{T z0~*@Q+_{X_34)%$wp5dLEGQTy5jdp+#m_R&@=`fnZf6kb~jA=R)v(+ln&enlRaF@Z)&z9i`q6-|}B26QA z&d$fj06J5v#(~uG0|!EANjnH`Zm)6Q-y7&A%{zxeD}Z^|D#QS@Y14`TBEADgAX6+W21$WJN}jnohN8NI}VKK=h@E`=uWCbJZjfhpL`>0 z3G@@&S|W^}@6AEKna`Qo7G+{N{wA)a0p4TZGlm5To80GNZwOrh9=G;U2*e@(q4z-`%A2VX(>UAw(9+n@*%@+3YWcn4_XwKpD{NaxKuU8g zL@S++YH+6A8=Bj3r!NIJKl-w^XzHkmlARfs5SzN+V!Kw<6^&{OPhtA=0JshGyRL!4 z#&nt-^%}A%t7wCwHvd*Wg2t7G{KDI5E`>BovygL0GHGrxi5Wko_}$sY|L9zcR^rBK z`!LACX*HTG!OreUrF7A%y52rvs{SkaWL&mARHw4>3451;^>We|oFdL>`u`&^fqsGt zno6zmFg(PXT}q{vDx7;R6{Apl(0KUB3Lyn^s@Y1T10=;3{1Q;slxEce1d5WO-_*^r zKwkP?f7>9y?DoWa}ABYtsydR_&e zLLTLF=K0Juds`yGg$JL!YqntbR-Fjqo@CSi*eoEh5Ip1AiwOWdW`u9~`jktGw7<^~ zIU6k-kQRT=<{cv;&8^80p*=C9g(xGF%_}u z4XsFJ)YlYD4;|9a5{1#T1W+k3^&Ok79Cze%LpuEr zWxxk?JvSFRqCDbtUosbzp|&dw>5XKY31vN1TeGEUD>b#YPYAx%6hOEC7Ndgg7qSf1 zEglTYrv1#&OzbC(3vyTK46XKulwg2aaz{Lnud=N#QLpU#AgvG$wV5rw4Mv^9hT9N% zwt{~_s*7`~Q>Iso?tX+L23TGY(hi^A=qFC!=KSlx6fmDcLw#k`gmS3hL+kLwNfw2s zW{MGKBX*KjUKts!;yAB{Dn3F)tj(VHw7JwJQW6==R+VQ0{I<$YoOW8g3{!Z7c;Wa(XpM*+lQy0;JcKZ#?AS*hq=OD6!aenT9d(kdFNzDprgn()T*-9f@fV{qozcA)h}qnhO>n}4|;FQ zKG{#mc?}Vh)I(VbRkD4yN)42l?9ZbCZC-6I4F3%H&KGyyUm!?7B9}@`;Ar0R0f%Kq z=e#M^DE;fuH<~%!bWp$GweNer*Zj7J_c6xHiVPTA7LD|`hn<~I2w#__%AWLWLRj?m zYo54zND7HZ#f6d4w2*1JIyjdXYLsqNSB^R#qixxI&$7wxUXlk(L#qSabB?U%oI=Ih zD~n-TrI6c&tqCB7w4=P?zC4P#M%8G;;q%(KhYvvntz}C>SuZ%rqnn+ej(`yn@MhkO zQjLD>9$5crC9x^n)lvCWJR|$hi+OdaU~a}=lfxcw9`^K{>M@drLYWt7@B67W|JS(Y zL(|E|{2I;=>g^60X06mSMM<7R76S_86!+Z)bIF~#Nv(+~8>N&4Gfe(+zb|yMa{1QW z6_BCd^7Yu8YhH6p^)}Rqx0p7Sc+B|GDy z8_NIGcC6^RNcpv-5*DSdK~Lzd59=>8N!#(oTl;Vn2NkEc8t6Pzc!45k?H=fN#QSN% zKzu#ms%JO!xuP%W5f%5KDZlqTzZ2iL=Tm8`9I3CY@zBw~-hH*d6oFjXMS`Ec);GF{>kIf~B8mle4;lQiIB;R#lOO-E99-eS7IFVV;I-X!@eACuS z5=COj^jDcG6ICC5&bCIBE%b1SF6ud0Xxe9{iX5cB?q9>ke+E#ma0@@@0;CeU(p^&J z3?>CQ!woIufpHb}(Qk$z-aqg=2p4HfZPyMkjlTLnD@So519j!bYSXw03p19H53x7_oK6$Bf!lpOg}Dq*Dvl0CKjK#u7DECw zb2F$`zK}FLRXtmMPUrYn^;urAVg&(XDj}g|N-u4l2*0s$FQz5 z0K~VclBf6Ny1B;A?OP3dnBt2TUvhVimEr*$6+wI-;*joy?B7IRV&WwywbJf4WEAm+ z2s{#t&~9$SH9!~;>mOszVmv?8kp@0~l_MHe@Rq9IAz;YgiDFWj^PEgCQ(s z<)Fd?okBO#k=vM@G6$$6Ql@z)eVmNVs&%PE*;1#}Jq;~!=PbCdhq2BOD+snY;|Hov zoGXjl^!px*WiMgVx|pFT#Wtl7uhrwmQCcsV1oV4pt<4N?zG3D37f~ zFut(r?&$&T+|0-bJ(%kHTbmD-ED?M{I7yuCT4Z^KduzVs_LZAbp(^2)&#z~ZqyJt} z;k1U)D1{l9nf)LnQQbUojMJ0+Ufa~+)i8st(x@KTT_WvL&tFP6AC!~p#2cFM*fr1| zw{yI-(to>`7NO~(S`+p;A_Ee zTs!2i>{HsG&P+NnH4jwxPO?T@#(#S5Dx|lAzl3m0$T3)#OFO@h*kg!`ON;f!`+0`< zx3z{)bem*^Q0#M$uyaRRQ<@^M2vKy+vMs%T=RgStBEix~`^DuoNhakJrH<4BloFj6 znq-VB;KnNS6^p%oNrnZVlXCv4_Ns}=uuB({cfWz{uuhvaN*Xce1#KFvMAQs|;{9bq zl^R>?G$;=-cFy7b6Nr1=#mZ|-bnE0&T{z*^aI1Z*EqhsWcB1|i-U}fPV3f%$Ub`(WwYo67mF3q9dP95 zE9y#G5Oxel6+UBgLmh>=8M9AuX2J%#=8L9Z>0XVDQK<3n5pt8eq>)#)@mO43mq=!MIayAEfE1sl3QWHrV+N0qm?>4D)OB!bS4Hb5vPCmRAmK;lK#PHQ~ z$F`{|(LH*|wAi9T^}vbVGQ1e!%NZqq`e-`stmbbdAjF+Ka64w)6C7a_5bNMO&u)!; zy`;-BQr?@K?XiNtP$ZUi$DF68@H}=R>ELIHozZw#PUeaiFd<(`gQR!j#iyN@uKV4A zEIUvBhQCqW12Zk{enM&(-W6twwmNjgI_QNtf5?D5V;1gy17`H8R)Cn7R3D=R6caj1 z;=g)k1#CZ(yQSn_vTH($8tICBf@FH!{jF5_zq6-XAhj4=WVoqav>Om54sm16d3|5s zy$3+B&qXJ3j@6qr#Ln>5Jnr2yG!zQI4!ieDm7UpdXwpCRE~ibLh`?h7EN;rTt8e`` zw!WJbT_#gVHb_5?f~VX+&vjvd59W-6wk3GRB5_q3X@GU$bEz6A+-aVEanwD_vp$LpavV*|~bJ_7tB-Rfprwq#9fL)Dh1 zG{SDiMmhl%nNIlcg~)0C?c8-b55|A+V58>r!&J_1tU zecExQbf`QQD4DI@2-JFVjLUa^O0j>Sk55O3HNc!?nA?;rkK4Hck?r4l;_iXZ?yUpcYP;3HBI%2)9{C4A_sP}nk~#K;$uN5dV}qN{(BKx>X#9!*3K}R3IU_eY8gC8+UQ1VJI&cpV?%g!&eE_GVFLnFnnskNqXo?c?Q+m=P@fd!N%LifCi@&H9 z44VVGpj&$*J^|-96sz|iR(-1PE4C(;ox@M9R z06Q!;w?Tj2y1fzYRy_ICOeW?&147~3a@)^e_4=vHsKz9Du?Vil4E;S-XUK_uN<+lv z-(}xBBWM5v-k%^Ev6z(QdnJtrUfN_R(yEq%iSg|)IwNnDEDtG)gjm~d{5tgNJd+o- zq!*&}-rIn$?P%g5t_T_nCa5qA28JZU$nV_H$J(5TTbvv;eJ_ZaVfstEn@m~nrN4@^ zq^>3705E)IgUNu2FPJhbWr1uy;o6LNpECdVwQi-bQPS8^7m)^@&gmh&R6t0lpJnpK zOjYq!48{Oq=ec!FF|qhu{f?~g{;<^wQk>r{X@e?tAVo5$c>sHrfoF{bZJ`X83m=WZ z>Z~j@T?Mx;M0IP8RN$2+@_5dPtjRvERX8n)uW0uReQ$$}-PRfr?W&vD(~XoJ-#>ik z_I0M1!OWbhL26?3eK1IP{nn`bN27C0U!aN2uWJNo zXFEo#khbY-z=3^X_cM0Cp4~HDUw*T)8p-ARX^sVQHoeR z^JfmjA~^r|Rm3liHo8|QqDTkVl|k0VM&C^~r;!U6iy38I2@DAEL-4vnZ>7~`V)X*? ztMa8SYfHr5>hkNU0gg_0CmUXOm5j?j;iO{s7#`Zr5(prI105Th7YInr=r;nrr@lw?_L!jmXuiI55)O&-J~A|$plmqE3ibArY>3tB?INw zcte=wW0*R7K2^T;@aHrf<0=3waKkuYHZsv>84d;qe^~fzL z??V@dEclb>N~@|mnwu)lDl%u?-UUc_ zSFQ_b%-Ty$7PmI}JM$Hvja@yVkCXz@8HK|bLvN%koafpND@un&SLAqh8p*;Se-i}$W;Ei681ucP?ICQFt*n`448kPzr z8*xKwlHu)SE*2==$MN}_M|SxiMhO6Ems?3>Tmuu*?87DHTSLBcJ8`pyfBPzilYs>& z$Ga!58+sMRd|y+fG>s|3{z&?ewE0d@|ER3@HfW%Fprh3_fEt8kfv<; zk<{~Z?Q?v5taiEDCg34)$b%>%HJ$eM|Ge4$$JM`q%*Fc`l@qwCi0*RFRqkIE+?Z1q@y41{8^WvM2J&oMA1=Gb3(p{7T{C0 zO1n&v2x}E=5ZHO})&F&QYCp2$qaFzu)7JYZ!ro$S@K&PnlYnorP;a-TZwN{0Il;4} z%SxG-YIRxa#<8{jLR2d5Y<}j`9D>#PfN%mr`>;i)zk~B_ze?VICk5ypP7Bvf$GZLchu>ej+S(T3xqW~_3Uskm>(9F_BL?1 z7vD{-W5Ss2^8?{_Rg*p&6m_@(sVP@0j>?T3GScjDMXqGQs<8#38ELdBDI5_D-dhk$ zw_z--q<$v5lbYI1`8zy~icCiz$n4&K4Tz(N)2p@Rt9sCW)zY_`q)E5ue()pCjLkCm z{hfYuQvfU0w*Gp>#T!TP33kYKL2F69=k>d~nTyozC3>)>N2t@wXynXQBd%@yE_Hdq zSW1E~1Fr2n@|(ttRrSnyg6Lvjdfo{;hDyhQ_QVdXEXL%zt81yMXlfZ71Ns4sGGCN6 z$z(+dzX+pixS1RWMNISkU(CYQn{cY5Y5P>RbL`0&r(9t%Wq*eX@@jITa0Z7oaK{rW zv7J?Msa)0)c8ZahUarpubZ1VgwZ;%108?A?BdiDs&Zq01t;U3^r3=t)70>mRcs))P zBgRD?r;Tq$*yfvLS9hy;f`Rs zSIiO^>3YNX_h&E>3!p2=N;m1ZE`IGiEbGLw3 zoP;4h$>Z+&&A2PH|B~pi0+zbv%h9wzK+Ut#rk0c6C>vKosYd;$rIvjK^t=+`j$Un< zH#J7Y7S(_jTkkprS^!?pWa4pPMU65!yHLR(5s+=4_?!-SXI)>c3tQMJZ^BHTQy&Fn zRL6ee@V&-KW!+ktH*aHR)ePYJZ-jLp6iOB+##M-B@IAqsfH)8To-1ACI_mz><8)7P zV(t0dvHLc8Hqws~4njNXYjA6bW%qsnM+#2sToUhh`8G1X8KCssj$!fsJS=UQyqY{L zbHvBI#USC*A4KGQFBjT+V&FT^vZnP!-GG*fuH%%+rO0XqoL|#!___lT@4oz*U{f?Ob-oi zpGoGGR}tA2X)!f9%!OyndZbza&G(k+@Utn5|JLSk%q8hyo~!kcM-wCEqXo!d2q}`F z3s?*;CRzNvp{E&=P5;0H_hqbY=f+n&=CRTShD$*4LFLffuC=bY^vAy&AS^v>3%q!7 zjHIn}1p5H%mH-KQ+0rkH2HyvG595UBlITL%$1ES!WEx}|q#4*G4O?4F0P`dZ==Z6U z3JU12sguNXCdz&46ICldQZ&Q$X?bZw0NbgASYyrdvQa15^M>9rNJn=<-4}2l)eoEG z5S1Lrba9Lfp}rmO=TBDX|2bU4;&MF&L2)lN2WOl z8M{TYJ;>}GO2eTjSnR3-tH~?YW%AmaJ`XgpN<9_SUWUNk@bSakx~on_vyMi6BDSn- z*FMOyDe?D#c;yIkwYW0BJA00cukFP1QH$Su!*M9VZmGJtneAgC<$ZJUcJ2GE$`NpO zK^3XrfuNWif|A4irt=^*w0Ty*7uV-?1kdZI<5hO`v%F zsBUIXe7+^0aiyA)6|KfEAzCMF%U=)Sk1N|qbSOvsfIEyfqbRDhNT>VFdr??hq|6v) zhZnKCylW9aB@zE0!1z1og_b@(={xGL$U%{B&PK)wz59;N)EF>RJ{Y3>J-_1xE}B9+ zSJsQZWp$`wY?4v1yR^wIjr-L#WpJ0F?bI@uxG6&7<%jnZL>r|~$W7O6cGMCwu*MQS zg-`ibH+$m3wbh0%x*7ly$I=yth8PzsC!|IJ=wu|mf{+0ZxZQS>DKX7x@b-_O<2(~j zS0Zt|j_=FCBao;n8_M99j*xNhml(Ylui$!;tBW*7GEKK1q)ds+3rYR~P>Z z&YL-qrOZa)MTz@@ta2tr1oZy{(7(?UlrxrwduibHN4d+858ZxPq2j?X*kVOHmRJ}p zz^eLp+6PxyT`JYn{mx z9Tn}b^OP@nMS|H2c_CL+bfh55 za?{Qq{Inf-(t0ycY|@IeXj(C7+&V&$Tj2c3Z!z|7$sa|S3sqq-A*792gSZfv$oiZun11$lnOi^h6 zu5`_V08w{m_V|_+B@vD4=S5i7&?NUsrX@SqN%B&HgRPHBRlwc z(jKNx(AKE9?Ub5^M&@r6+3s1~ZC(t^&g{9yqv^RX!<18Fxu*8nI@9h>>}LFGN|BZl zhV-uuH9dMJR76j*cwN_l$+G=)!{32-?}m2pud6Ww{o+pwjfdynv~sO(x9q)0>|Ml1nD#sJ&#V(lpj`RTPBA{ zRPqt`IaETPozBc1v$x)#hb8<0;|h)KW!iV8r4Sp3rzbA;o>*EBO42M%t!@ctWeKJu z$Kpl0PD9rgBMQwLK`I>!v^pQ6NO|17U%du)jIG&Ox< zFAsl}wj3t;>Eg=d^7jT&cWi(^NFTO05htN-yD0Jo<66uzJI~( z3=;ScCSQuCW=|x&mXv0mVu$u`-cr zxAvSa0*w<&ZHRg~%r`B#l+NWjHIM(%aAHS=|FMkJ{r-5HJv7P0dqysa$!@*%Z}qri z)XCK;eGUD>;K?cTk%RONhl-}qGK(cbRJ8trUf0#gpA=#TKWEDq zk50_0eho1`=MDH1TCMN!*};dNx1p2HDiQFe?UCO;iw|h%#zxfCLwMB$EK+lFG7u|8 z&2^~dKSg7~63d78Ug%*(5a)BO1mOm=l$9D#uzdGFgH76b zxIERFbP>@W5oTzoB9oDqIa2caGF=tzR0Wasr!gq!$d}0xxZ}9QQ$xtUZmX7^KXox{ zi3^!&HOcMvOFqZX+~savi7KXFT8>{cf|j%U_R>+LNS^5QF+@5hX!q2bM;LBcQgkMS zt!RTm_`tL8+?tJ^>HZ%ZUOxp@!FpLUQlQ>3o#w!uYP%jfu#e|mjpX3JA6 zzA&!tT@4}CQoPXNa?^zwqw&hSk-hB(prWFJus5J~|Ba|G*Boy(aB3?JLfc-9e5|Dr z7w6vX{R6vmL!N3OmTjnXW0Tp_@s{28L(TEUDWZA5WVY6<1(H#90!IZ>rEZzU=Pm&) z>Wm=~wp31ge6LPI6n<;EeY@O8@YHrFzfRz^0?2i>Zxx)EFVv_2y(eC z-ygXJTal)mtKFKefiq9}eXdK*;!|1d?U##nvC{)jWA6=IQ1s2BxgF3QWBj)Fd-7Yb#9O&#SM!xC zjyjdUy-hGX*%LZo)11*(kgNhjvN$sOG*MUv=-rZRZj(*F9Yekn{R zrQ-jDz5jb3b}G^gv?|oLSFLuY47(>sa4oCPqtoC(oJ0&^>`1aSNRU!%2$KrIMME8Q zm3BlNE~q-SfC(DQTWr3@e}qgDGf%;3*(GEZzWT@ed|5G_b!J5lTGT0i5Z6v6sSlB7 z?UcUaVq8pZ9{rp|x9q#zBr&BL%b>d1=5JufG~VgoKgoC8um-k?TB}WL5^|x_mVLBu z3v$T?iBA3oORn12e50ae_ zb@0DDg2vVSR!!Lud?(k3JC-1h7gZwV4)dxN`Qo^#4fkz_-xS~TY<9{0jbW;9Hyw<;N8athEp!m&$il+wq$qs$l znsrj*4OpykjgbGkHS*t&BXFMh|J6b%J)k$8DD`4=RT7LEDhHO+nd8{mplTt*3DiBR z2&nb2+~eJDu0&}x;dy1(z1x}RBHv{8+naL^T3xjhv^6JIW)Vd17Bk6*4(rzEQ6{y(TCVAFt=#Lxs|XAoXKDw~-Y{Va>XT*w)hzdO678rPGK4=@z1*v7NoCD=tID3E;=99(%QMBY z`~&cxIQKnaGU8F?lcVLKa3`PaA9Jwtem+|xJL>m8Pa`rK4YSrA&F!u6TY4ysW2PVD z=lE?nv+W|>jkGgvcDc{9$c(q@kZ`iMdoD+4k5==uWxs`kjp7?3I-pswi)4B_z%^Wy zar2dS8+1OqUHWV(>jUroG|`Mrf=fy<79M874@pb=Ndt=6hc}W5N27!!S|ODxpkt)_s&L) zT^_u~<8sLr+&3aLf`)F?aLA%x=N{=aHwq~x2o**0<0)AP_ONpiFp_hJ203t~j`oO+ zA8o)Zw@--ZZlEji%3B)B0sS6~4QaoE!(kMm=RE@|ZMl$)b-UHh8XsZio!dDPy$o;d zafSQpI$LZK)h!F|8crS{gvV1JcTU@g@DzDqnG*acJuZyTxZ4x(Pu9 zspiyp1LpAF))ldLCjKLys*n5bErHz1AW`lW9TY-?@2$sd*og1D-X*d@6SDPywBmVY zqR_eLUIt;V(H~k*@{GBEYq0G(FvPa8XY%-N2?68jR#-_M;9>XwR>*nJ{wOee1@Y%wU!}WOpU?+9#HOvlcMZjCxES2N0X=YI>9<=WOSbOSt2D|( zh$>a&Jr%vL3@K#jh5Y7c;*70?s;v!8s4w-I4if%I6*euFY{eA?w@u8=nO~gSPf^{< z)vR&N!*6kxqpTKif)_U-et(XXWd`~wtg3Nv$WhgnyLMu##>9hD@97D4GKzOaYJ&Uh zK4t-KDzmjZc*4u8Ra~@*{XLoi9to0pRwsqazlVyxgh}io#bFtiTtr{lSyhKu1t)iP zoJFPlIJ#uq^?!bM+TQ$Q&o*>pRvB2Kp|Zt7R#h}#9u*?G>KmBHp>i^NlH^Z$5+ByO z6bQ^VyJb8xwyMvZ*?NBY+}Vlh=B!r%K8GK7=jG#9ZgURc`jPbnjdMxQwEKmLj>RWnT6c?Sr@Dxy9i@>momeL*+g;$xH;@(p#&yd$v_M@A$V*r>$vY?t7cY(xBUUm3e(fE_Eh@;ZC%?wP#!^zz2A% zmtc!S^)9}waa!%v85yfmCL-K@yKY*P$(du1q&$42S%32FSngppO`~_~X12C><2ofUO8V zulo~I4lo$P^y5EI=xhgo(>J?F@mBDn?o-3?zWexE%3o<7S2x!Bo_;f|`bhwd`dI9b9UewA@iY))%wBVUri{f8lb^SP zP@9845?s=OZIz|^6W)}P4eg@Y*J-UP^5EvF6MhlDW&-5ns1X4x`JT1x-A=AvfrrDB zRQGsPkP`uk`W7E6a?okk6M&n|Cs(!bFKvkVYNR!cK|+3MpY9*Pui9PXQ+_sjtDNEv zXX17{#KW=3xS$mBHqm#j;&bPEQgUX8fnl}9FN~^Z{!_2=UyYR@rvDcnE#)s`F#blc zcJP^!+K0@~U)*p3jK!LWZU&x!Xd9US1?`j&@?MprmNo39&E}lLeOLlR=OxYckiRq93t;IWdqJ zusbu!ya{?^vU#!5FJoV?*W8|1OJ!_a&KRg~+T4laAHH{DrJNWS`b`@d%wn(fCEd@p zUc`;GfnBv~q9R|u#{vu>IZKXNEHTYudcD3w+AB^_dqFOEO-JR#Uv0xNFox&MK3jx> z*bcq1l&fO!UftXc1=>t@d7bzQOj}_R%9u#058vxKNvZ3WjoXx=xm8*H9;4Yp9_70R zJnr7~X8-CxUwZK59c*)0&2}9 zl$F&lxB=Rq-G5W%>{x)Bmp$TuBtWl-=N; z6kn0ia_rkJs`zcWF}YOnO&=-Y*3hGv<=f2bRik4xeQz01szk0w3*MBodgC?@J7{mo zvokAWb8~gt3qQNZbo?#keZEvA0qJKy{oH(f{_s{pgkp2lu7JZsW(_>lz2LDy1^y|pt)b0uBcQ4lhJPH-SAS)`fUgJxK)> zz(_jwG-!BJ|Kw{mx=i7f{2FP0fuZ@eY9jvd->qMH1i72~Z<9ouyKcb&bjZiFX3rfd ziymN92?+@aE@I{pe&+l%#=1cY>TO#`=F_!GQz$`nCwiWAK{Iz^1-0)iJm|5WzuJ3s zA)@2B-gO0XyJEow00oORI&omL24u$DY{*?ez5)M)d3>h0m*s7qG!bcF6^5Q<&bV zAw@8qW8+TvTSD>`9H!0nOL-l`&r=;9?G#++&_@Edq@ zCj#yMKohT)w<&gIiPFJ0snAD|)lS<71i%6k!8@+p%E_`hR^?!xN$;tswa2kut1F4+ zLmQ!Sx7mLxrA*Z@OLkE?HW0`{tM&7z4a~U$LViD(g%8Gc^K^pWDWDIGacAwJlUHhd zHSs}S&ek!YesjaGc0$Uk@1jEbDGAFeeh{&c?R7ZVs^2m?7AX2exTD^lyajDr^cTu* zKFxmi4ZgK`VWRi0Q>(0Iy5g+~S!@#zefVraUHh~bvGp=9-TShS6_OoA~4CNPWGTSKk`*C@Ejs}`G#+YTh&udyTbNo}iS7%o%hC#aS2J>1xoXG9W@son^6Fn15PME01irVH+bF_GRc;llW8D5C1qB^441U4< zs*+MGIrEdccG#+L`gv3t9-aTO6{$eEiGTsLW&s~^=i{*{S32A#-0??khD@d~?;$H3 zGp)XIMZ-pGHf>!>sV#%rFjF}b$V|sh)VmwX&KyWzwQ!ntu1ftPQ`O>iWtJ`WY6mH& z2h?xABtCCw(W}_+dAz~=O3kJI3Pt0iTU=Afk+B4Z?ReUNr2GJJ&fEfi`w06l#Oz+> zqfb^N6v=@ofFOe&r7>yP`(HbA&v%j1Ki85$6SD|3`|p_a`&$YnYyJ7-OXWJ|LQm4uKu0;Apvu{@HWIvjwPL-~;uQ;>bBg_%fdem`F&h&@yw|*S+ zloE5PPoPuj;Uw$(%+)P1!e6G|ztF4DN*QNb7S!RgNV?dMVFGuemYT)2HSb*Ii~Xze z0VAQGYv+a3({%6pd`2SOikrKNgvUMpM{DO94F}eT@zEnIT9lAck`WRudJkb^5K)5B z2GODfqcbuj!75Q=3`U5OqC^?pj8UQsCQ3w`q7$n}k0|?2zU_O??tAv^dB5Frzuf!b z-gE!w{-59Tz$z7-t>+jLYtmA#wXGvkNwuw?zt%(jg5&X3afp|UxVsX0O~*PjIEVhS>4?fUp0Oi~?n#87y;lp;M+H6ETj+RpJ@=eqER z^(tUKepwLGbhnvDxlCSfEX7MCb(7p;%?=K4P<+!JOT-vUa>_$v)2ZMvzPTRjmMn7m z=IH_-T}N>a$Ifz#Z+(sayKzjV)Pk~7Dw-4K{f?Pi|B?zQjlxg%*`Rqbf9825-5~Hf zQsH7ymTZowpMirOoj{!8?6{A^8YJ&)e+XiS_*36n*y)n4swzO`qa6|EFQ=N~NV{ov zlgXqP7dPMN7Me(qN}F#}+IEW!=B%D*FSP!|NCu7g;p-$9Nya$Uk8_RW^Q!7yv}P#jy<|t`WA=Jrr^#TI3;|*e`RV zDKy?abx?MPw)CC2z`e*U`T6sH`bR+E6NpztiH+S9=@T|nwp_Nr`_`gsjA^O%qzrs8 z3?r2A)Iq}b<@S@Nl)MCnjYhK37sL1pM)?oIZ4nx`fv07Y<%{Tk=*#|$7rM#m)TBlg zEn}({E!pcne@0ipxv3B^Xi75IK!`r4*3otM#niLPASv^G`!Bu2%nJ_zJx~C$J^kQT zmfj&(=IqNxBjdr_r??w*#I;EI?rQ_(zT-;Uv2Lg3(R`4OBUhFjmc0E^m8)tD3w^M% zV1_Oa5dy4}sTZVj#<65GxyH=pmq>8KqnHP}B(D+UR0ijw8y;#eFtsWsJnT;LwuIAAku5!PZ}H9=nF7K-chLVMW@Esh)7$a9wRI3@s#f zA&HGuWm#40?(V)qC5xFYg>3JeAuPe+c%Q7UO<@Wb1nY4}&vZ&>`ua#UWnl1xvmcsG+6&KNhKjv())I zFEv*s4zhw3RmIzd;xe869;wP_DoY+xym$`_9nhI3E?HYzF}FktyHb04q?kQrH1>7d zN+63D2NeaCtMH#ABN2i5(qo+CZrH}yAV8flkd7?;wcaD-9JSLbL~Pf>MOA0&n?DU? z;l*yy1DeyY->Q?ze&MQOA|XsII<2*+{)NIT;QlzPUo(P1!YTD8YK8Bcnp|tsZKsNe zZ{?$il*{5|_#*4<=qJ`ohLd_y~A5v5}Hn>#t&D^BE`}pBpXJ`t; zhZ!(F?-QlxGZ%YSbsCC}TY}t5e<~r7EJL<=Am37lf>I=J*5?NZ@xo}4eow+Jl0gsD zA_`mZSgI;F3wkqo)uP0h5-O&p_C>JRJ7}#ztiA!|_4CG1sOdxN@DQP|%lZ8U*)=|% zhu=+&!oj-5vF6`0)$G_;Ladw*cv0bLJb$_{GaIZ4*wD-&A4NPacCpI^>^vN0JWK?B zV{=9Xn&zGHDKsHGeJBGkXrXv7?Q9N`P`5mU)O$=0F2fL3!GqM-OTZ z78)KFQUGB@9Qq3OUbg1jnrcQ!E`6T1H&a(}7&E|K4Cc;vx-YmxbVBO$^{9^u=yaF= zxGEIUkkt>~$qv?7 z>)TprY;0|4!rF-9`*eWspC{5GHNN+@?^h%_Ev}p#Tc~TBre*GKS`rZIHbLrT??j4L zd9~{R>=K;nhhiyc&0u+}k-cL>B|Nqv43c6jEMiF^et%9EiDUBhvvw=p*!-auF@^oK z-!DM?9)d!I9hP18K}_u()IxoUK?gLWo88v3Fjac2e~(h7hDEalBeXRG?dxN@;Ay{_qh+0o--OFM8==cQk zE_;QQNlF=$H{s0cNibT2VY~z~hH*MQ7P@P$2goF(X4c11{urA9(0~L%f+uydR(4km zUoM_~4#4eAuRxbgZ9@JD!1*U-;Oc_zbHz&vYlvd>53A&mm)O@-CPs?b+q-i-S`v{1 zg|=u-J8b*F#C}({9PK)~v|fle&pXShla5yT7oZOem$G*pE1ePzm-20HC_fIaH7R*@V@cNbO1J^L znTe_B=XniyZGPsXNd@avQS|&a>N;jFH=!G!VlK$8%nFXs^*jyGUFw?eAHLSXl`SOL zC)ZxP?FxJb2i3cTl@A5s&VRn0sNmnFbAtvVivym-_?^cJ0X2uu6HSWQ>O~3Q`o@H* zfxUQXm@SE8a~1`r$io{1Wpmtx)CyDYs)It!v`f&WobeUc_tmMMstxy|2?EW62sqQ> z`v6rGI54SNWWL@JF2(^hXQQ82I@TO+RJWHNCykt#Xqm0sNOrRb$9KxHLuv_t>FCzS z(ZTN!C5>`}A-Zb6@>vX7`HA`Qo!JR#&Nur6xYeO}a9BA5T5|I-6mfNd?t==6(SK|wbTFGx6c;Z|3582nS+GCI5g>2$S<2AF zn`aC$T^a~;$TLvs4s(cE`%72Ye>3^NgOX09M`*&5_wW*7D58Neka{wTj*r$UDP-j=nwC&QPP8+R=eE&iFQ?f-xK Zf0Og{Zx;I7Hu!(p!`(0qwBY@N_#fRyH(~$) literal 0 HcmV?d00001