From 1d48b32429a15999863b80190187b35e1a0540c2 Mon Sep 17 00:00:00 2001 From: paul-loedige Date: Wed, 27 Jan 2021 11:15:23 +0100 Subject: [PATCH] =?UTF-8?q?Lineare=20Maschinen=20hinzugef=C3=BCgt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .gitignore | 2 + Acronyms.tex | 2 + Content.tex | 6 +- Style.tex | 3 +- chapters/Basics.tex | 103 ------------------ .../Basics/Data_Information_Knowledge.tex | 49 +++++++++ .../Information and Pattern Recognition.tex | 50 +++++++++ chapters/Mathematische Grundlagen.tex | 47 -------- .../Vektoralgebra.tex | 44 ++++++++ .../Linear Machines.tex} | 98 ++++++++++++++--- .../Supervised Learning/Occam's Razor.tex | 8 ++ images/capacity_term.png | Bin 0 -> 14373 bytes images/cross-validation.png | Bin 0 -> 27651 bytes images/risk-bound.png | Bin 0 -> 33716 bytes images/structural_risk.png | Bin 0 -> 31882 bytes parts/Basics.tex | 3 + parts/Mathematische Grundlagen.tex | 2 + parts/Supervised Learning.tex | 3 + 18 files changed, 248 insertions(+), 172 deletions(-) delete mode 100644 chapters/Basics.tex create mode 100644 chapters/Basics/Data_Information_Knowledge.tex create mode 100644 chapters/Basics/Information and Pattern Recognition.tex delete mode 100644 chapters/Mathematische Grundlagen.tex create mode 100644 chapters/Mathematische Grundlagen/Vektoralgebra.tex rename chapters/{Supervised Learning.tex => Supervised Learning/Linear Machines.tex} (50%) create mode 100644 chapters/Supervised Learning/Occam's Razor.tex create mode 100644 images/capacity_term.png create mode 100644 images/cross-validation.png create mode 100644 images/risk-bound.png create mode 100644 images/structural_risk.png create mode 100644 parts/Basics.tex create mode 100644 parts/Mathematische Grundlagen.tex create mode 100644 parts/Supervised Learning.tex diff --git a/.gitignore b/.gitignore index 945fb52..9f182ce 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,8 @@ !*.bib !images !images/* +!parts +!parts/* !chapters !chapters/* !appendix diff --git a/Acronyms.tex b/Acronyms.tex index cce7297..31711ec 100644 --- a/Acronyms.tex +++ b/Acronyms.tex @@ -3,4 +3,6 @@ %% \begin{acronym} \acro{vc-dimension} [VC-Dimension] {Vapnik-Chervonenkis-Dimension} + \acro{srm} [SRM] {Structural Risk Minimisation} + \acro{svm} [SVM] {Support Vector Machines} \end{acronym} \ No newline at end of file diff --git a/Content.tex b/Content.tex index 17a68c0..fa74256 100644 --- a/Content.tex +++ b/Content.tex @@ -1,7 +1,7 @@ %all the main content goes here \pagenumbering{arabic} -\input{chapters/Basics.tex} -\input{chapters/Supervised Learning.tex} +\input{parts/Basics.tex} +\input{parts/Supervised Learning.tex} -\input{chapters/Mathematische Grundlagen.tex} \ No newline at end of file +\input{parts/Mathematische Grundlagen.tex} \ No newline at end of file diff --git a/Style.tex b/Style.tex index e415da3..64606b4 100644 --- a/Style.tex +++ b/Style.tex @@ -9,8 +9,7 @@ \pagestyle{fancy} \fancyhf{} -\lhead{\large\rightmark} +\lhead{\large\leftmark} \chead{\textbf{Zusammenfassung \MODULE \\\vspace{2mm}}} -\rhead{\leftmark} \lfoot{\AUTHORCOMPACT~|~\DATE} \rfoot{\thepage} \ No newline at end of file diff --git a/chapters/Basics.tex b/chapters/Basics.tex deleted file mode 100644 index 961c9ef..0000000 --- a/chapters/Basics.tex +++ /dev/null @@ -1,103 +0,0 @@ -\chapter{Basics} -\section{Information and Pattern Recognition} - Falls zu viele Daten vorliegen um diese manuell auszuwerten kann es möglich sein den Vorgang zu automatisieren. - Hierbei werden die Daten mithilfe eines Musters klassifiziert (Pattern assignment $\rightarrow$ classification). - Das Verfahren zur Auswahl der jeweiligen Klassenzuordnung wird als \say{Pattern Recognition} bezeichnet. - Man spricht von \say{Automatc Pattern Recognition}, falls das System dazu in der Lage ist neue Pattern in bestehende Klassen einzuordnen. - \paragraph{Muster (pattern)} - Das Wort \say{Pattern} beschreibt dabei eine Menge von Objekten mit vorherbestimmten beschreibenden Eigenschaften. - Ein ein-dimensionales Pattern ist durch einen Vektor (discrete signals) definiert, wohingegen ein zwei-dimensionales Pattern durch eine Matrix beschrieben wird. - \paragraph{Klassen (classes)} - Pattern, die von einem \say{Pattern Recognition System} in die gleiche Klasse gesteckt werden sind äquivalent. - Die Klassen stellen dadurch Äquivalenzklassen (equivalent classes) dar. - \paragraph{Klassifikation (classification)} - Die Klassifikation beschreibt das Verfahren, mit dem einzelne Pattern in Klassen unterteilt werden. - \paragraph{Features} - Ein \say{Feature} bezeichnet die \say{Signatur} eines Pattern. - Das Feature errechnet sich aus den Eigenschaften des jeweiligen Pattern. - \paragraph{Feature space} - Der \say{Feature space} ist ein mehrdimensionaler mathematisch definierter Raum. - Die Dimension dieses Raums wird durch die Anzahl der Features definiert. - Mithilfe des Raumes lassen sich die einzelnen Pattern zueinander in Relation setzen. - \paragraph{Cluster} - Bei gut gewählten Features liegen die Pattern einer Klasse im Feature Space nah beieinander (low intra-class distance).\\ - \includegraphics[width=\textwidth]{good_vs_bad_features.png} - Falls die einzelnen Klassen zudem einen großen Abstand zueinander im Feature Space haben (large inter-class distance) spricht man von einem \say{Cluster}. - Bei schlecht gewählten Features lassen sich keine Cluster bilden, da die Klassen einander im Feature Space überlappen.\\ - \includegraphics[width=\textwidth]{cluster.png} - - - \subsection{Humans as Pattern Recognition Systems} - Wie sich herausstellen wird sind die Menschen sehr gut darin Muster in Dingen zu erkennen. - Sie können mit nur wenigen Informationen sehr gezielte Klassifizierungen vornehmen. - - \subsection{Human vs. Machine Pattern Recognition} - \begin{center} - \includegraphics[width=.8\textwidth]{human_vs_machine 1.png}\\ - - \includegraphics[width=\textwidth]{human_vs_machine 2.png} - \end{center} - - \subsection{Class allocation (Klassen-Einteilung)} - Grob zusammengefasst gibt es zwei Möglichkeiten für die Erstellung verschiedener Klassen: - \paragraph{Semantical classes} - \say{Semantical classes} werden aufgrund der inhaltlichen Äquivalenz der Pattern gebildet. - Hierbei werden die Klassen selber meist durch einen menschlichen Experten definiert. - Die Aufgabe ist dann ein System zu erstellen, welche die Pattern in die vordefinierten Klassen einordnet. - Man spricht hierbei vom \textbf{Supervised Learning}. - \paragraph{Natural classes} - \say{Natural classes} werden auf Basis mathematischer Formalismen gebildet. - Hierfür wird z.B. der mathematische Abstand eines bestimmten Patterns zu einem anderen für die Klassifikation verwendet. - Diese Art Klassen wird vor allem im Bereich der \say{numerical classification} verwendet, welche ein Beispiel für ein \textbf{Unsupervised Learning} Verfahren ist. - - \section{Data, Information, Knowledge} - Allgmein kann man sagen, dass Messungen Daten (Data) erzeugen, aus denen sich Informationen ableiten lassen, aus denen man Wissen (Knowledge) gewinnen kann. - - \subsection{Measurement} - Da die meisten modernen Systeme digital sind müssen die Daten der echten Welt vorverarbeitet werden: - \begin{itemize} - \item Signale müssen in digitale Signale umgewandelt werden (z.B. ADC). - \item Die Sensoren müssen an die Gegebenheiten angepasst werden. - \item Signale müssen in Abhängigkeit zu externen Faktoren gesetzt werden. - \end{itemize} - Diese Schritte sind sehr wichtig, da es unmöglich ist aus schlechten Daten gute Erkenntnisse zu gewinnen (\textbf{garbage in - garbage out}). - In der Praxis treten hierbei bei Sensoren die folgenden Fehlerarten auf: - \begin{itemize} - \item \textbf{Random errors:} zufällige Fehler (z.B. Rauschen) - \item \textbf{Systematic errors:} Fehler im Aufbau des Systems (z.B. falsch positionierter Sensor) - \end{itemize} - - \subsection{Taxonomy of Uncertainty} - \Large - $$ - \text{\color{red}Data}\ne\text{\color{red}Information}\ne\text{\color{red}Knowledge} - $$ - \normalsize - Um systematisch mit den Unsicherheiten des Systems umzugehen müssen mehrere Datenströme so kombiniert werden, - dass Informationen entstehen aus denen sich zuverlässig Wissen ableiten lässt. - Die größten Hürden bei der Kombination der Datenströme sind hierbei: - \begin{itemize} - \item too much data - \item poor models - \item bad features or too many features - \item improperly analysed applications - \end{itemize} - Das größte Problem stellt hierbei der Irrglaube dar, dass die Daten alleine ausreichen um eine maschinelle Diagnose zu erstellen. - Jedoch spielt auch das Wissen über die physikalischen, chemischen, ... Eigenschaften des Systems eine wichtige Rolle für die Erstellung.\\ - \begin{center} - \includegraphics[width=.6\textwidth]{human_evolutionary_and_trained_knowledge.png} - \end{center} - - \subsubsection{Arten von Unsicherheit} - \includegraphics[width=\textwidth]{aleatoric_and_epistemic_uncertainty.png} - \paragraph{Aleatoric uncertainty} - Es gibt Daten die in ihrem Kern nichtdeterministischer Natur sind. - Dies lassen sich nicht ausschließen, egal wie genau der Messaufbau errichtet ist. - Hier lässt sich ein probabilistischer Ansatz wählen um diese Daten dennoch zu verstehen (z.B. Bayesian Probability Theory). - Bei dieser Art von Unsicherheit spricht man von \say{Aleatoric uncertainty}. - \paragraph{Epistemic uncertainty} - In vielen Situationen steht nicht genügend Wissen über das System zur Verfügung um ein bestimmtes Verhalten zu analysieren. - Um mit dieser Unsicherheit umzugehen muss die \say{knowledge base} erweitert werden. - Dies ist durch die Kombination mehrerer Sensoren oder Expertenwissen möglich. - - diff --git a/chapters/Basics/Data_Information_Knowledge.tex b/chapters/Basics/Data_Information_Knowledge.tex new file mode 100644 index 0000000..4050144 --- /dev/null +++ b/chapters/Basics/Data_Information_Knowledge.tex @@ -0,0 +1,49 @@ +\chapter{Data, Information, Knowledge} + Allgmein kann man sagen, dass Messungen Daten (Data) erzeugen, aus denen sich Informationen ableiten lassen, aus denen man Wissen (Knowledge) gewinnen kann. + + \section{Measurement} + Da die meisten modernen Systeme digital sind müssen die Daten der echten Welt vorverarbeitet werden: + \begin{itemize} + \item Signale müssen in digitale Signale umgewandelt werden (z.B. ADC). + \item Die Sensoren müssen an die Gegebenheiten angepasst werden. + \item Signale müssen in Abhängigkeit zu externen Faktoren gesetzt werden. + \end{itemize} + Diese Schritte sind sehr wichtig, da es unmöglich ist aus schlechten Daten gute Erkenntnisse zu gewinnen (\textbf{garbage in - garbage out}). + In der Praxis treten hierbei bei Sensoren die folgenden Fehlerarten auf: + \begin{itemize} + \item \textbf{Random errors:} zufällige Fehler (z.B. Rauschen) + \item \textbf{Systematic errors:} Fehler im Aufbau des Systems (z.B. falsch positionierter Sensor) + \end{itemize} + + \section{Taxonomy of Uncertainty} + \Large + $$ + \text{\color{red}Data}\ne\text{\color{red}Information}\ne\text{\color{red}Knowledge} + $$ + \normalsize + Um systematisch mit den Unsicherheiten des Systems umzugehen müssen mehrere Datenströme so kombiniert werden, + dass Informationen entstehen aus denen sich zuverlässig Wissen ableiten lässt. + Die größten Hürden bei der Kombination der Datenströme sind hierbei: + \begin{itemize} + \item too much data + \item poor models + \item bad features or too many features + \item improperly analysed applications + \end{itemize} + Das größte Problem stellt hierbei der Irrglaube dar, dass die Daten alleine ausreichen um eine maschinelle Diagnose zu erstellen. + Jedoch spielt auch das Wissen über die physikalischen, chemischen, ... Eigenschaften des Systems eine wichtige Rolle für die Erstellung.\\ + \begin{center} + \includegraphics[width=.6\textwidth]{human_evolutionary_and_trained_knowledge.png} + \end{center} + + \subsection{Arten von Unsicherheit} + \includegraphics[width=\textwidth]{aleatoric_and_epistemic_uncertainty.png} + \paragraph{Aleatoric uncertainty} + Es gibt Daten die in ihrem Kern nichtdeterministischer Natur sind. + Dies lassen sich nicht ausschließen, egal wie genau der Messaufbau errichtet ist. + Hier lässt sich ein probabilistischer Ansatz wählen um diese Daten dennoch zu verstehen (z.B. Bayesian Probability Theory). + Bei dieser Art von Unsicherheit spricht man von \say{Aleatoric uncertainty}. + \paragraph{Epistemic uncertainty} + In vielen Situationen steht nicht genügend Wissen über das System zur Verfügung um ein bestimmtes Verhalten zu analysieren. + Um mit dieser Unsicherheit umzugehen muss die \say{knowledge base} erweitert werden. + Dies ist durch die Kombination mehrerer Sensoren oder Expertenwissen möglich. \ No newline at end of file diff --git a/chapters/Basics/Information and Pattern Recognition.tex b/chapters/Basics/Information and Pattern Recognition.tex new file mode 100644 index 0000000..d28282b --- /dev/null +++ b/chapters/Basics/Information and Pattern Recognition.tex @@ -0,0 +1,50 @@ +\chapter{Information and Pattern Recognition} + Falls zu viele Daten vorliegen um diese manuell auszuwerten kann es möglich sein den Vorgang zu automatisieren. + Hierbei werden die Daten mithilfe eines Musters klassifiziert (Pattern assignment $\rightarrow$ classification). + Das Verfahren zur Auswahl der jeweiligen Klassenzuordnung wird als \say{Pattern Recognition} bezeichnet. + Man spricht von \say{Automatc Pattern Recognition}, falls das System dazu in der Lage ist neue Pattern in bestehende Klassen einzuordnen. + \paragraph{Muster (pattern)} + Das Wort \say{Pattern} beschreibt dabei eine Menge von Objekten mit vorherbestimmten beschreibenden Eigenschaften. + Ein ein-dimensionales Pattern ist durch einen Vektor (discrete signals) definiert, wohingegen ein zwei-dimensionales Pattern durch eine Matrix beschrieben wird. + \paragraph{Klassen (classes)} + Pattern, die von einem \say{Pattern Recognition System} in die gleiche Klasse gesteckt werden sind äquivalent. + Die Klassen stellen dadurch Äquivalenzklassen (equivalent classes) dar. + \paragraph{Klassifikation (classification)} + Die Klassifikation beschreibt das Verfahren, mit dem einzelne Pattern in Klassen unterteilt werden. + \paragraph{Features} + Ein \say{Feature} bezeichnet die \say{Signatur} eines Pattern. + Das Feature errechnet sich aus den Eigenschaften des jeweiligen Pattern. + \paragraph{Feature space} + Der \say{Feature space} ist ein mehrdimensionaler mathematisch definierter Raum. + Die Dimension dieses Raums wird durch die Anzahl der Features definiert. + Mithilfe des Raumes lassen sich die einzelnen Pattern zueinander in Relation setzen. + \paragraph{Cluster} + Bei gut gewählten Features liegen die Pattern einer Klasse im Feature Space nah beieinander (low intra-class distance).\\ + \includegraphics[width=\textwidth]{good_vs_bad_features.png} + Falls die einzelnen Klassen zudem einen großen Abstand zueinander im Feature Space haben (large inter-class distance) spricht man von einem \say{Cluster}. + Bei schlecht gewählten Features lassen sich keine Cluster bilden, da die Klassen einander im Feature Space überlappen.\\ + \includegraphics[width=\textwidth]{cluster.png} + + + \section{Humans as Pattern Recognition Systems} + Wie sich herausstellen wird sind die Menschen sehr gut darin Muster in Dingen zu erkennen. + Sie können mit nur wenigen Informationen sehr gezielte Klassifizierungen vornehmen. + + \section{Human vs. Machine Pattern Recognition} + \begin{center} + \includegraphics[width=.8\textwidth]{human_vs_machine 1.png}\\ + + \includegraphics[width=\textwidth]{human_vs_machine 2.png} + \end{center} + + \section{Class allocation (Klassen-Einteilung)} + Grob zusammengefasst gibt es zwei Möglichkeiten für die Erstellung verschiedener Klassen: + \paragraph{Semantical classes} + \say{Semantical classes} werden aufgrund der inhaltlichen Äquivalenz der Pattern gebildet. + Hierbei werden die Klassen selber meist durch einen menschlichen Experten definiert. + Die Aufgabe ist dann ein System zu erstellen, welche die Pattern in die vordefinierten Klassen einordnet. + Man spricht hierbei vom \textbf{Supervised Learning}. + \paragraph{Natural classes} + \say{Natural classes} werden auf Basis mathematischer Formalismen gebildet. + Hierfür wird z.B. der mathematische Abstand eines bestimmten Patterns zu einem anderen für die Klassifikation verwendet. + Diese Art Klassen wird vor allem im Bereich der \say{numerical classification} verwendet, welche ein Beispiel für ein \textbf{Unsupervised Learning} Verfahren ist. diff --git a/chapters/Mathematische Grundlagen.tex b/chapters/Mathematische Grundlagen.tex deleted file mode 100644 index 6f66e1d..0000000 --- a/chapters/Mathematische Grundlagen.tex +++ /dev/null @@ -1,47 +0,0 @@ -\chapter{Mathematische Grundlagen} - In diesem Kapitel sind alle mathematischen Grundlagen zusammengefasst, auf die im Rest der Zusammenfassung zurückgegriffen wird. - - \section{Vektoralgebra}\label{Vektoralgebra} - \begin{itemize} - \item Eine Größe, die eine Richtung und einen Betrag besitzt ist ein Vektor (z.B. $\bm{a}$). - \item Die Länge des Vektors ist der Betrag ($a=|\bm{a}|$). - \item Ein Einheitsvektor $\bm{e}_{\bm{a}}$ ist ein Vektor in Richtung von $\bm{a}$ mit $a=1$: - $$\bm{e}_{\bm{a}} =\frac{\bm{a}}{a}$$ - \item Die Einheitsvektoren $\bm{e}_{\bm{x}}$, $\bm{e}_{\bm{y}}$ und $\bm{e}_{\bm{z}}$ bilden eine Basis für ein 3-dimensionales Koordinatensystem.\\ - \includegraphics[width=.4\textwidth]{koordinatensystem.png} - \item Alle Vektoren $\bm{a}$ in diesem Koordinatensystem durch eine Linearkombination von $\bm{e}_{\bm{x}}$, $\bm{e}_{\bm{y}}$ und $\bm{e}_{\bm{z}}$ aufgestellt werden können. - Man spricht hierbei von einer Projektion.\\ - \includegraphics[width=.8\textwidth]{projektion.png} - \item Aufgrund der festgelegten Basis kann für $\bm{a}$ auch $(a_x,a_y,a_z)$ geschrieben werden. - Hierdurch ergeben sich auch die Basisvektoren $\bm{e}_{\bm{x}}=(1,0,0)$, $\bm{e}_{\bm{y}}=(1,0,0)$ und $\bm{e}_{\bm{z}}=(1,0,0)$ - \item Für die Strecke OP vom Ursprung zu einem Punkt $\text{P}(x,y,z)$ gilt (Ortsvektor): - $$ r=(x,y,z) $$ - \item Betrag des Ortsvektors: $r=\sqrt{x^2+y^2+z^2}$ - \item Die Verortung von Punkten im Koordinatensystem kann auch über die Winkelbeziehungen erfolgen:\\ - \includegraphics[width=.6\textwidth]{winkelbeziehungen.png} - \end{itemize} - - \subsection{Skalarprodukt} - Das Skalarprodukt ist ein Ergbnis der Multiplikation von zwei Vektoren. - Betrachtet man die Multiplikation im Sinne von Komponenten erhält man:\\ - \includegraphics[width=.6\textwidth]{skalarprodukt.png}\\ - Geht man hingegen von der Orthonormalbasis aus, erhält man: - $$ - \bm{a}\cdot\bm{b} - = (a_x\cdot\bm{e}_{\bm{x}}+a_y\cdot\bm{e}_{\bm{y}}+a_z\cdot\bm{e}_{\bm{z}}) - \cdot((b_x\cdot\bm{e}_{\bm{x}}+b_y\cdot\bm{e}_{\bm{y}}+b_z\cdot\bm{e}_{\bm{z}})) - = a_xb_x+a_yb_y+a_zb_z - $$ - Allgemein: $\bm{ab} = \sum^{N}_{i=1}a_ib_i$\\ - Desweiteren gibt es noch eine dritte Schreibweise für das Skalarprodukt. - Man schreibt $\langle a,b\rangle = \bm{a}^T\bm{b}$. - $\bm{a}^T=(a_1,a_2,\dots,a_N)$ ist der transponierte Vektor $\bm{a}$. - $$ - \bm{b}=\left[ \begin{array}{c} b_1 \\ b_2 \\ \vdots \\ b_N \end{array}\right] - \bm{a}^T\bm{b}=(a_1,a_2,\dots,a_N)\cdot\left[\begin{array}{c}b_1\\b_2\\\vdots\\b_N\end{array}\right] = \sum^N_{i=1}a_ib_i - $$ - Diese Form des Skalarproduktes stellt die Grundlage für die Euklidische Norm $L_2$ dar. - $$ - ||\bm{a}||=\sqrt{\langle a,a\rangle} = \sqrt{\sum^N_{i=1}a_i^2} = |\bm{a}| - $$ - diff --git a/chapters/Mathematische Grundlagen/Vektoralgebra.tex b/chapters/Mathematische Grundlagen/Vektoralgebra.tex new file mode 100644 index 0000000..c4499e9 --- /dev/null +++ b/chapters/Mathematische Grundlagen/Vektoralgebra.tex @@ -0,0 +1,44 @@ +\chapter{Vektoralgebra}\label{Vektoralgebra} + \begin{itemize} + \item Eine Größe, die eine Richtung und einen Betrag besitzt ist ein Vektor (z.B. $\bm{a}$). + \item Die Länge des Vektors ist der Betrag ($a=|\bm{a}|$). + \item Ein Einheitsvektor $\bm{e}_{\bm{a}}$ ist ein Vektor in Richtung von $\bm{a}$ mit $a=1$: + $$\bm{e}_{\bm{a}} =\frac{\bm{a}}{a}$$ + \item Die Einheitsvektoren $\bm{e}_{\bm{x}}$, $\bm{e}_{\bm{y}}$ und $\bm{e}_{\bm{z}}$ bilden eine Basis für ein 3-dimensionales Koordinatensystem.\\ + \includegraphics[width=.4\textwidth]{koordinatensystem.png} + \item Alle Vektoren $\bm{a}$ in diesem Koordinatensystem durch eine Linearkombination von $\bm{e}_{\bm{x}}$, $\bm{e}_{\bm{y}}$ und $\bm{e}_{\bm{z}}$ aufgestellt werden können. + Man spricht hierbei von einer Projektion.\\ + \includegraphics[width=.8\textwidth]{projektion.png} + \item Aufgrund der festgelegten Basis kann für $\bm{a}$ auch $(a_x,a_y,a_z)$ geschrieben werden. + Hierdurch ergeben sich auch die Basisvektoren $\bm{e}_{\bm{x}}=(1,0,0)$, $\bm{e}_{\bm{y}}=(1,0,0)$ und $\bm{e}_{\bm{z}}=(1,0,0)$ + \item Für die Strecke OP vom Ursprung zu einem Punkt $\text{P}(x,y,z)$ gilt (Ortsvektor): + $$ r=(x,y,z) $$ + \item Betrag des Ortsvektors: $r=\sqrt{x^2+y^2+z^2}$ + \item Die Verortung von Punkten im Koordinatensystem kann auch über die Winkelbeziehungen erfolgen:\\ + \includegraphics[width=.6\textwidth]{winkelbeziehungen.png} + \end{itemize} + + \section{Skalarprodukt} + Das Skalarprodukt ist ein Ergbnis der Multiplikation von zwei Vektoren. + Betrachtet man die Multiplikation im Sinne von Komponenten erhält man:\\ + \includegraphics[width=.6\textwidth]{skalarprodukt.png}\\ + Geht man hingegen von der Orthonormalbasis aus, erhält man: + $$ + \bm{a}\cdot\bm{b} + = (a_x\cdot\bm{e}_{\bm{x}}+a_y\cdot\bm{e}_{\bm{y}}+a_z\cdot\bm{e}_{\bm{z}}) + \cdot((b_x\cdot\bm{e}_{\bm{x}}+b_y\cdot\bm{e}_{\bm{y}}+b_z\cdot\bm{e}_{\bm{z}})) + = a_xb_x+a_yb_y+a_zb_z + $$ + Allgemein: $\bm{ab} = \sum^{N}_{i=1}a_ib_i$\\ + Desweiteren gibt es noch eine dritte Schreibweise für das Skalarprodukt. + Man schreibt $\langle a,b\rangle = \bm{a}^T\bm{b}$. + $\bm{a}^T=(a_1,a_2,\dots,a_N)$ ist der transponierte Vektor $\bm{a}$. + $$ + \bm{b}=\left[ \begin{array}{c} b_1 \\ b_2 \\ \vdots \\ b_N \end{array}\right] + \bm{a}^T\bm{b}=(a_1,a_2,\dots,a_N)\cdot\left[\begin{array}{c}b_1\\b_2\\\vdots\\b_N\end{array}\right] = \sum^N_{i=1}a_ib_i + $$ + Diese Form des Skalarproduktes stellt die Grundlage für die Euklidische Norm $L_2$ dar. + $$ + ||\bm{a}||=\sqrt{\langle a,a\rangle} = \sqrt{\sum^N_{i=1}a_i^2} = |\bm{a}| + $$ + diff --git a/chapters/Supervised Learning.tex b/chapters/Supervised Learning/Linear Machines.tex similarity index 50% rename from chapters/Supervised Learning.tex rename to chapters/Supervised Learning/Linear Machines.tex index 8ff655c..0894b65 100644 --- a/chapters/Supervised Learning.tex +++ b/chapters/Supervised Learning/Linear Machines.tex @@ -1,17 +1,7 @@ -\chapter{Supervised Learning} - \section{Einleitung} - Ein sehr komplexes Modell kann zwar das optimale Ergebnis für einen Trainingsdatensatz bilden, - stellt aber zumeist keine gute Lösung für das allgemeine Problem dar. - Meist ist es sinnvoll ein möglichst einfaches Modell zu entwickeln, welches die Trainingsdaten \say{gut} klassifiziert. - Ein solches Modell ist zumeist besser dazu in der Lage unbekannte Pattern zu klassifizieren. - Das Prinzip, immer das einfachste Modell zu wählen wird auch als \say{Occam's Razor} bezeichnet.\\ - \includegraphics[width=.4\textwidth]{occam's razor 1.png} - \includegraphics[width=.5\textwidth]{occam's razor 2.png} - - \section{Linear Machines} - Mithilfe von linearen Maschinen lassen sich bestimmte Arten von Problemen klassifizieren.\\ - \includegraphics[width=\textwidth]{seperability.png}\\ - Hierfür wird auf viele Aspekte der Vektoralgebra zurückgegriffen (siehe \ref{Vektoralgebra}). +\chapter{Linear Machines} + Mithilfe von linearen Maschinen lassen sich bestimmte Arten von Problemen klassifizieren.\\ + \includegraphics[width=\textwidth]{seperability.png}\\ + Hierfür wird auf viele Aspekte der Vektoralgebra zurückgegriffen (siehe \ref{Vektoralgebra}). \section{Aufstellung einer Diskriminanten} \includegraphics[width=.8\textwidth]{diskriminante.png}\\ @@ -64,7 +54,7 @@ \subsection{Beispiel: nicht-symmetrischer Lernalgorithmus} \includegraphics[width=.8\textwidth]{Perzeptron_Lernalgorithmus.png} - \subsection{Novikoff's Theorem} + \subsection{Novikoff's Theorem}\label{novikoffs theorem} Novikoff's Theorem besagt, dass der Lernalgorithmus des Perzeptrons bei einem linear trennbaren Datensatz unweigerlich eine Diskriminante findet. Zudem besagt es, dass der Algorithmus bei einem nicht linear separierbaren Datensatz nicht konvergieren kann. Um die Konvergenz zu beschleunigen ist es sinnvoll die sigmoid-Funktion anstatt der signum-Funktion zu verwenden. @@ -73,7 +63,7 @@ \subsection{Beispiel: symmetrischer Lernalgorithmus} \includegraphics[width=.8\textwidth]{Perzeptron_Lernalgorithmus_symmetrisch.png} - \section{\acs{vc-dimension}} + \section{\acs{vc-dimension}}\label{vc-dimension} Die \acl{vc-dimension} gibt ein Maß für die \say{learning power} einer Klassifizierung. \subsection{Shattering} @@ -89,4 +79,78 @@ Um das XOR-Problem zu zergliedern werden 2 Diskriminanten benötigt:\\ \includegraphics[width=.8\textwidth]{XOR-Problem1.png}\\ Um das XOR-Problem von einer linearen Maschine klassifizieren zu lassen muss diese aus mindestens 2 Schichten bestehen.\\ - \includegraphics[width=\textwidth]{XOR-Problem2.png} \ No newline at end of file + \includegraphics[width=\textwidth]{XOR-Problem2.png} + + \section{Maximum Margin Approaches} + Aus \ref{novikoffs theorem} ist bekannt, dass eine Diskriminate erstellt werden kann. + Jedoch sind mehrere Diskriminanten möglich. + Nun besteht die Aufgabe darin die Diskriminante zu wählen, die die Daten am besten teilt. + + \subsection{Cross-Validation} + Das Verfahren der Cross-Validation trennt die Daten in Trainings- und Testdaten auf. + Anhand des Fehlers eines Models auf den Testdaten wird versucht die Allgemeingültigkeit des Modells abzuschätzen. + Das Modell mit dem geringsten Test-Fehler wird als bestes Modell ausgewählt. + Dieser Ansatz beugt einem Over-Fitting des Modells auf die Trainingsdaten vor.\\ + \begin{center} + \includegraphics[width=.6\textwidth]{cross-validation.png} + \end{center} + + \subsection{Loss function} + eine Verlustfunktion errechnet die Abweichung der vorhersage einer Klassifizierungsfunktion $f(\bm{m};\bm{w})$ von dem tatsächlichen Wert $y$.\\ + Beispiele hierfür sind der \say{Quadratic Loss}: + $$L(y,f(\bm{m};\bm{w})) = f\left((y-f(\bm{m};\bm{w})^2)\right)$$ + oder der \say{Absolute Value Loss}: + $$L(y,f(\bm{m};\bm{w})) = f\left(|y-f(\bm{m};\bm{w})|)\right)$$ + + \subsection{Empirical Risk}\label{empirical risk} + Das \say{Empirische Risiko} gibt auf Basis der Trainingsdaten eine Abschätzung dafür, wie hoch das Risiko ist, dass ein Datenpunkt von der Klassifizierungsfunktion falsch klassifiziert wird. + Hierfür wird eine Loss function als Basis genommen. + \begin{align*} + R_{emp}(\bm{w}) = \frac{1}{N}\sum^N_{i=1}L\left(y_i,f(\bm{m}_i;\bm{w})\right) + \end{align*} + \begin{tabular}{|p{.475\textwidth}|p{.475\textwidth}|} + \hline + \textbf{Vorteile} & \textbf{Nachteile}\\ + \hline + Alle benötigten Daten zur Berechnung vorhanden & keine direkte Angabe der \say{generalization ability}\\ + \hline + \end{tabular} + + \subsection{True Risk} + Das \say{echte Risiko} gibt das reale Risiko dafür an, dass eine Klassifizierungsfunktion einen Datenpunkt falsch klassifiziert. + Hierfür wird die Dichtefunktion $p$ der Datenpunkte als Grundlage genommen. + Da diese meist nicht bekannt ist, kann oft nur das Empirische Risiko angegeben werden. + $$R(\bm{w}) = \iint L\left(y_i,f(\bm{m};\bm{w})\right) \cdot p(\bm{m},y) d\bm{m} dy$$ + \begin{tabular}{|p{.475\textwidth}|p{.475\textwidth}|} + \hline + \textbf{Vorteile} & \textbf{Nachteile}\\ + \hline + Misst die \say{generalization ability} & Die Dichtefunktion $p$ muss bekannt sein\\ + \hline + \end{tabular} + + \subsection{Risk Bound} + Die Risikoschranke gibt an, wie weit das Empirische Risiko von dem tatsächlichen Risiko abweichen kann. + $$R(\bm{w})\le R_{emp}(\bm{w})+\varepsilon(N,\kappa,h)$$ + \begin{itemize} + \item $N$: Anzahl der Trainingsdatenpunkte + \item $\kappa$: das \say{confidence level}, $0\le\kappa\le1$ + \item $h$: \acs{vc-dimension} (\ref{vc-dimension}) + \end{itemize} + \includegraphics[width=.8\textwidth]{risk-bound.png} + + \subsubsection{Capacity Term $\varepsilon$}\label{capacity term} + Der Kapazitätsterm gibt eine Grenze dafür, wie gut das Risiko maximal werden kann. + $$ \varepsilon(N,\kappa,h) = \sqrt{\frac{h \cdot \left(\lg\left(\frac{2N}{h}\right)+1\right)-\lg\left(\frac{\kappa}{4}\right)}{N}} $$ + \textbf{Beispiel:}\\ + \includegraphics[width=.5\textwidth]{capacity_term.png} + + \subsection{Structural Risk}\label{strucutral risk} + Das Strukturelle Risiko wird durch das empirische Risiko $R_{emp}(\bm{w})$ (\ref{empirical risk}) und den Kapazitätsterm $\varepsilon(N,\kappa,h)$ (\ref{capacity term}) definiert.\\ + \includegraphics[width=.6\textwidth]{structural_risk.png} + + \subsubsection{\acl{srm}} + Das strukurelle Risiko kann entweder dadurch reduziert werden, + dass das empirische Risiko (\ref{empirical risk}) bei gleichbleibenden $\varepsilon$ (\ref{capacity term}) reduziert wird, + oder durch eine Reduzierung von $\varepsilon$ bei gleichbleibenden empirishen Risiko. + Letzteres ist der Ansatz den die \acs{svm}s (\ref{svm}) verfolgen. \ No newline at end of file diff --git a/chapters/Supervised Learning/Occam's Razor.tex b/chapters/Supervised Learning/Occam's Razor.tex new file mode 100644 index 0000000..cbb202c --- /dev/null +++ b/chapters/Supervised Learning/Occam's Razor.tex @@ -0,0 +1,8 @@ +\chapter{Occam's Razor} + Ein sehr komplexes Modell kann zwar das optimale Ergebnis für einen Trainingsdatensatz bilden, + stellt aber zumeist keine gute Lösung für das allgemeine Problem dar. + Meist ist es sinnvoll ein möglichst einfaches Modell zu entwickeln, welches die Trainingsdaten \say{gut} klassifiziert. + Ein solches Modell ist zumeist besser dazu in der Lage unbekannte Pattern zu klassifizieren. + Das Prinzip, immer das einfachste Modell zu wählen wird auch als \say{Occam's Razor} bezeichnet.\\ + \includegraphics[width=.4\textwidth]{occam's razor 1.png} + \includegraphics[width=.5\textwidth]{occam's razor 2.png} diff --git a/images/capacity_term.png b/images/capacity_term.png new file mode 100644 index 0000000000000000000000000000000000000000..aced57cc5a150092f7f78d87d40c446f91151dd4 GIT binary patch literal 14373 zcmd^mg;$jA*Y2nY3P=h_E#1=6NH>TMogyMANOyO4cXv1-(%pS-e&2V_ zS!b=Y&OdOTwcd9*&ph+o_r2rVdtZAKtfV0M44niW0)ae}mV&>7KpqT(|D2vY1b4_v z?}{K0*tRrWRMqX*&VsA1%39mweSDs7JREowl0W6s2t{#d@NAFqaUuBzO+NiU zUKQ!)e?wp-Cnq((8V=`gZKZ{d;*t*_>FDToXUf(#C-OEnHcn4ZPqwD^W-F}n)C-)BHWPH} z-9Ac4NGvsa3%G1ExDY~fKa}fNJJfhB*1I#S=QDuoRB0?zekxyUtkOou#(a2wuj$Tb zZIGOvo?Z<(_>0eRZ?Peikkw`Z{z2K0$ zb5%p_?Iz3Z!Qc&zd3jbwM$0vhYmt>}|S!t?x9`-g`1#&gE1Kd$um_pAQaR8opUAjG>O$R)!`Oij`^h|(=AET)PK ze8F!D3T(j2$K8L?YEt^wCzkmG5 z)}~@-SLCiX>A{ng?Mn@nPZHERI(gzB_4DVI7kxrP!tPR&0nQiOh1v(xW#*A`bj$}U zBwQbG{DSf62|Y1nzq2R{X)lxhg4rz|<&g-w6;nNVm*cemrzIEHnZCBVTDQSN?PR{W z`3+=euByptTo~Lq(iW(X-v&0#=<$>*-?A7}^TWYG4GY!%e<-8ihM$L&Bu5 zjM^i}1zOwM>=x@UeDBVD9+ihv^WRGH4UXVP*DdSdAJ+?US}Rv=_#WQRvb zp^cB#2v8qCjy*@cUk=#PBYP(&)uPSij!=IpOiE$0H<1)VP$=}9j480fbmwfEKOV-EAdU+?lo zn3&Lk<`XvyYwaf%at}u&DRX9J+D?G2Vfh6IOPiROjC6dBiD_$X{Q}NPLdoyM;OD$G zNuXCP`WY4CvNM}OQR8vK1W{B}bXF7E0|J7~&(DWo=~vr7@QaL81TH>u03Lh5>$ab~ zpKkv^?k5lH>(?p`VV3hVGZ($F%$qGAS2`bjm@Y=%T%ApPZtysHSnROcOJs_V@=`!x zuBRu*aw0d9QbZj)Gd&%XjMp9@6T3SU*FwKqTX0|WWVI3K!b(UsM^)HuA2^prMS#&= z#oj`l>quR$mG&=TZ|xKYA0Z^(RGDcXA>?f!Rso0Q_`` zcd|J#@i`av^Xu2cuQWjZIXO9cwN51^CCb?9dFnP(g?e@kCzDnUj8G3;Rv(MZ1Z!4) z(tSK2eyt{-o0&3mV`Jmcq|Y)bO3#_oQh}kNykUx^qo>asOg=a~(XDZK{O0O(NA@ZS z^8S1u>9{ud3=`AqeBZFba^g9<_?tI=U@1BcE+#rIuIJ6)S#?76sMy%pu!hvr@4sNq zf0u#oXVm1QN`9HDWf2?jjC3+b1sJga@O)ZIUffs&A%@0DgD-$><~V@+|3))pAB^X! z$vV%rf#?DP=30?gYC%Cke7u&Z=qJm&NsU5!At7?Vx;jsbC47i#k$wY!r>nEQB>=bO z7GnV8Jnn99d~Pmdmw!nE@PPmuH!?B`5&HY@pP7x#O)WFaM|_=_(#n#O8SoPwy9Tu^ zg+%Z#32|}YkQ<@wZg?iChv^-yHZ!HG;6(cF?>K%?hton0FlLZ@Z=& zb+iXTOxQcNgZcUmvx|$ubaa`(Nk9Zqag~R|+yC~&2sm$k`}J!+U+XnwuF9^-aV=tV z1Q=ot>hCOJ8qpM`e62Dw05X}GnXkwWLY9}8FON6M zK)_iuC{#$~hq!D{NB{nfeIH(&A1S&-1qBC3OVNNF%zIT5xw&a+YI*{o6l^zFf|HXo z0Gm=DByw9*McBlge_KAI<$e^!8B7uayIBJ8*yvDU>Uz4ZC3tbH>fqpTdA3LS;>8OJ zio(wjc&yaMslb?th;D3O9D81qyo0^{{^@CDMTOb|HxJKZ^~W?-CbgX^6HCk4WYI?x zFzrpf#KXhGFXq@@95C3~@v-U-6>YTCxIm9(DTOGG|L4zYIxRdrJU%`?&q#Sx$%T}+ zo6#m(L7t$lt_}eTpUhUK2Eh`9u@fDug<5XE-Gw@<^OSr2o)nVuSg-Hy7V?u(b8)Gj z?4$zq0g(L3W2399s~WFnC-0rERZ%dUD|l?Y{&ryAD9}T8b~dH&b%|P@I!Jq>qocw9S+&d0FSm-) z($elz0$W?3>+=JU<}f@D0eeJ>_? z?nh)R!r$K?B!j^1w4A3ApFe+YYPvi6c}*Ju($LGRD;S9J>&aPJSxrq%ad8^KIg`LT zEyuH`r#0Exi$Ik3aCfJrrw8D~PeYR)R_BPL{0a|QWA}w?Bu}I05gJy#!}6i~yPWa< z{`_`3GoW#Bfxs=}_1zNfQM}w~FOheTNAC!*E=vI60BqCKX!@EVh4%hi_=A)>%<% z9~_ia?L}N=_vnq6px9dsw5wxL509GsB=9a2sf-^y&nPJDT~Pfd3tm~N*EBuBhznwR zb)t35!dl`hLPma&Kt$rp%AyO+MKR%=Z_sh8^E}I1DJiLyYiXrTMc+BLfWxUoD5r{u zBGxNSLXD7k%HmwEwuU8_=gI19EKj`aO8WVfYZDsns&3GA;)-1~TL8>3b`I3MsdK z3Te74yjZnnehP~4*ubV+F&Xqiy+?kYXYC4USwIM?+SC$)4GRqd+7+$+@yi*nAYerg zd2Y++i%JG&CF@iT_cG+NKca)M=!G1u@fj;w-ak>Y{(+3|AtX8)!eNTeV~qog76l8B zINo04U!6YiizDK9e(1-j(k`$1s@OhwJvd3|<0%Wo>x%XE0u3T3m&6x|89OlM$Y`=8 za-!zDG?{ogsOic@-LxJ*eAspyKU`?oN4U6?xg9b%MvBrKx<`IdI3;7M=!)pDjm^qHc{3Mht}-qwJ=WJ8n}*S?-fa`q zC%vl-21h@3sU@eLGcw@DMkZ6SXrn-uydJ?|;|0tv$ujBoGB0oR#ZtxW%TeB2o4srz z#y2n_zKU)tsJqkaQ)GA5J+ol0qfZ0H9-TPIXO*&Af~DR%xFdhl$-g)9x0%Bs3;Xll zX}7l;KL)Q9Be|I#jaOuMXyjY-D&Ru)bUsm!WB zhDc?+!^iholSnVZqGYR25zagN^vG@HS@ftX8NFf>3lAO+4wago^^O`k=~!n?faKtb zYBCmjDJM()R<)2G&CPsoyugw``O)W3zL-1J=l#VEH#>dwFx=RtKkvzSA%8X)aV7?2 zjXX<(H|LGq@;YQI7jLp0XG_TDZW{{~iE>iAWvYFSTs&ZsTPVTa1kB0~cq4gEJ0bmY z$J@c!A}D_MEDXFuh*39&si8@Saw$(ayv8}}=2%k4PSQesI_xadQ~u6ddk+?Oz0~b< zv)M11$gW7XV@YSJ4`pI{jW0v%vfVsiQ|*iq5n+Uu8pp{0bc_GM{t|v7M7p$u^_$5n zd4(u$v}xFe0~n;gf2$P(nQ+*)HQ2+kQ#5rn>UjZCwCGF&X&`pn^oxOn2hE48#buro zj#37|CNTr!h=ebnIR0zy&i-nU*ZHQzKKM9NE}+g8!_IZ@)=7{@{Tr_lE(#KqEyTpc zfE5750=w4Xzk#39($ddJxa?hB+4+-VV+lw|EG;Z%N=;?Gr^D5*QQ*g61v=3QAzM=z zd+McM)jaqAh=R}r3OpJ-kOK4+HQn;t&R4Gy^>uf@;Iz9$n%MctFt|PuiW7|`=o5Cf)OEG@mPvePR)p%)Xshqq#5vz83?N1P-Gh|{fj@F2Dwm|}i7izV9H-`cO&(;IKXFS6DHJZY_#| z!TF`pj`n=xGc+__-sWk|ZTlkg&M@NFX8lSF6e2!ep#H!>NAIm31Y+wkDgCDyu>gwa z598U&A4X)eA3&B@RvwG)A0EDoEVo;_1!6!)K-t&^7Zw)A$5pu(Gv!I~@nb@X*uTHh zB>spMCsn1M@29KpHmgNV{RI(Bo;}|WP6#q}P(s*c&YJFMVGy!tf?DEe1tbdmzPDZ_ zEg)ThxQL&+0Y)ytvX}u44Gr?@)vL{DkRbvIf*%U-^4^PyE+&V6s=d8^c9x%;yW-nk z!7pHlPOD442UmMP1c@^@}l>+&@jPCnC&7Wv}%uPW(b)CGa z%klmD_f1@oBh=T|8--5fsC0F8nF9egHa3FtAtESfy2g7OWJ~}Y9&(Sb~CTY zgmVVy0u(jjVenfKA&fYwD?vf~JqkL-&QFgxcmm*1mt+SQkb?p~^}~vSdHK-8F25eQSNWewRvOxu%owt951Uu}+%{~}0}4UG4@^}XkeI+p7JaUE z@Z#=kWk5kDQ5Gqub^i9f)v_L*nIUclmO4%iTrs!B2%KEuw{YUuuU~)v-rL<3{xD1h z!3#!d24;~d7ytF!x4+BFc%-BtyV%8B<97;1$f_2iqZhw_ASZ8VjY&$1f)+|HMO5F= z0POWS0RgvBdk_W@8`p>7KNqIJu0f`oM5!^*MmUx(jUNnm0L322wH|;J7Z(?oS|ZF% z8KOqC)Z{C|!0-VGZ1ba|qvM2zB`E�nrC+#o($TwrF$*wPm3-DCBAdJ4K!}#aI$~ z?T)8@pHZ=$#H>|pVQ(pvu$I5C8 z&|iP5)fvfjOgs{?w*^|ajtlELLz*3 zebn78MNgjvEM+o3hiIxP_S-IzGLR$|8E-N+{b#DtoMR`iqi2xu+{Z+5tyauRtC_W# zAayX-uc0B0k$S!49ax}){QHI53X-fZWdHfIKK@+?PQ&y{SNEVq-*-sy2VC35=K?sy zJcMk@(zllw5ZfgQFTvdfe1T_bI4ruU(B z%Z|s%W~}!OU~}%SmhM0${p;5+P)w`Tx!9b%1(*qn;K=as0=>G^KP{j0RC7{&7`V8& zI5=?L04?Y{36tY~+wDfDu#gB~g=w6x5*aQE8g8l@wmd8udr=9P!-v_RonmWS=rKGp za!|L|$b8k?*49Rg7YyiPU~fCy+x-Irz`6507=(lt=H})=Y*<=a8XUZjNcY5?(D9sI zlQaz;<$o>!GN2g|C)6XmFZDW==;~M{jN%zKw%0MPdSSbUK`?pupPITlb2GE=Znblq zrNza-+TL1PZf3~F;o;+xa(ze^e!mUko`Q@_tC!fdj$;lUjFSe#ucB3uB zE)XbSQ1cX^wg5XPb?kt_YfK~o*V~w@D%!;1R8$-i_P*R+Y#?oprj`VB0-eIIZ0$B+ zZugM|)Xs;`)cIL-bJt5taq#@3aLzA~e?(2p+lH`d6OR*mmqXbby9Wnv0R?4H^B0tl zP}#4)eqHyjEjIZsjgF4a&T7-eh)YTWO5Wf`3DkXn9L`Z<0Hib^u{VYJn(C^ms-mMu zoKMuE#5>prvX^IT@RgO7m{Mxn)un=_KQVC<5ydg8WL|?h5ul{Uh1PRaEHXEMM{8Yx zw5bDibe!M;vMmtUg)eB|(BMgHYbU(RVezPV;_2xbFZVq@9#F$?0Xm;_kb|BD;PzDB zy^}eq>?H;^37rU52*4B##44`nh_S-`st)M&Ezm77sBu`WcR$iE)dU&|j$?+wV7@(N zD55U_9RRkAEpiQcLl;Bf8L~Of_W1E*&iMT4Tsb+pULUh>m=u`Znxh&qVZvkKpki{ThadC8Pi|I=wVBNjG_JROb1;n-vbRiLu zrQY7$=j__Myn(U-?9hjS*l7kL$6JBOwwX$3!YktdswcS(kM+|5yG=-|>^pE$FAhSb zL8BL_-vJ}59L~$nudS_3n8+X{EnQMsSy@)*=;}H&IH+#$krVX2=;^x_78(Q>4YWRD z#9_|#$3xy*VK6h33A4D6_yfiR1d{J8TJM(AKlOtAPj+6qZ(^dNeHDa@J`#?*K z7^H)M&qc+is0YLvK-im`vn9y&%?-$U?qdmH&mR5|aJ2=A3BS|2Ql_h#0&m6}R9a?? zjSYMIHwsv-t$(&K3=Ap@^Z~fUb6csq7wmw10OA9H|5iL-ua2-8G(!O13fj)|0!Ri? zUp|rF88|Ei*o`Zo@DdWV0WSw!aDfbrVOp8r`q8$rB4t6bGyP@)xqQCp90V?fh#v>2Y(*qYIMz3AiDnH zsjf88Yyt??ju^-8lEr|Bl(?nS7*kj*4GDUx_Zi45#UKo z2u7U#Sej&ak7(cb7rZzyyO6|y?xpnYT-}YcRU?PlK<&s%KmG34Y8)#%z3&(DMGd{Vh`dmeQ%%A z(*t#@*(+|o{tq7@yt(_G7CZB!(()tkt z10x0sU_5(kTb18|FM|AY@YBvP(Y3)3^P1al-~s6%38Wh$5%#JM7-IePj)R-~HIGMa z=#N+g;_@`HTIY1<>iEO_bWOMB0oOr~OPYpsj;=@FcZHSs(+XU6X}+58r%I8isG z?=VE6Hs%L#BBcr@EOLKP7?7m)uJ@1?I`-ifwE193MJ+~(d^et2m{M!_qE}U7M{F}| zzt5AZaKm)C_tt^Y;#19nY}vZFDdXk6gZ) zA>?<)Ots#B>96f@)%mAKy0JFybLDSiaHSoZ5T`F|$)sKs5QBfZ+tGB_Iz?1@?JZ4{ zkQ!55i2qQ9K6`KGypUg&R}Hy-fxI2Zb|ww$rQ>>DQZikEu~0|Ntp@xFWnUMaK;;92 zzrRueiOV()7}*f&Xf3d>um7_bY2bt0eh}Sgh*W>#?^n$WoWo@oZk-QIKHG#vx2?)o zWOt!0L-qyNlTf12#DF0EAae;0laUd(J8v4A=9ULmQ_BM|z;M9X+gNqq@)$mJ+3^p5 zCMVw!AqFq%Y~|*9$7s9QZr6nDCD3gIVFl{(j79ftnHL`?=l+a&J=vq^7DFUSM276g zV}^eNZ@VIlBwwbEzDJS-vFiN!t(e?FkHm>mPi~ETZL=d1SHHJ*gjeGD|wEVZNOVV(Z`HYd9 z;YVu#3VCc=qh4C;q@o8S@+cLO+7TGVm7R+XU;|JaL*(WsohtivoPR@s-0WGRs?jC( z;<3@66cT|96@J~z(1IL8L$J!ucn36GpLu$McSo}o+lzA=p;(SLw+Dk4_kKn&2VjvG z8>8jtPglZY(Xn?XULqcn!cq<2ULRpwj=!J7Q{$O$orv9;`*HWHr^(+b+8gTjO zMWjCZs(BX{NH2O~fVHYZZIRz$o5{n8fLF(?YZ4ArSNb@}_m%X_4hR`^!){zX&O z2pv>nVkz0S(;Yx5gXM@JfX_!D3=75e!`Ru?QNry$Gx)W=oy+lxROS$IZU>%{ccUfUdL znOSh+=O9c142{WTQO*=Lz|fU;HO9b z)6kd<=3BidbJdg>IP8+{-}2B1Nm$~=Cn$6u*OThWnFHYYDg@JVA2iH@; zt%G0pW_-0lN=V*^x2vN2U2^8iAxNJC)d5w~eD8gg5tR_~;1PHMA?v*c)bwMGF{XyF zrwUv8G3jDgZt$Y@J!%m@o!QU(9t_;@pZzY`m6B+zpLRI>Rp+a4LfOQuR&~(J!b51+ z6h2pFXxdRp3;mdb0TWuUGiAh&NLs8L=ll2fAP+l9OXg+xGZ9j}_*5JxieeTh^}&>Z zW|hJ=864g`)+%3Hd1Dw;qDLmbqozglg9*i-v8h_QssOtVf2#Vp{)Ph>T8?dhF+)kBMP7 zltmiAH)x|nf(Q(hoR{vAX(Ek3mQokasi5b;X=#}*le|CrklQ_j>;T{D5J97{-uUXn z(q-#cl;;tgKrWIrgWH_e-1X8-IK~rJOhB8Rd3%K&$A%nJy!SiR`53zvxqJ^+&83yS zf4k&#vz0IYuI(@kp#PlB>MLyyq9-lKQ(>NCGQ%tJx1`}F2qgqorkoK1pd=`S`JOI* z$>HpOnH0X4`&K-Q$+~Xn>3U(AZU$i8MQ;DdJ;dE$^}dF zl>v(&S(bv~D2>#yXD6^oSld!-cx2an&2*LG{h5m1|3P?ezi`9f^j z5V?Pl6m@`LV4eGGR7}5y24IdsTt>zB=2++Y%KAkZ<|!+VGOh6s6?Cg9s1Uh<599rk zQ}6u{bw-Z?cvgP|eg*XqLOs7b_z4>+&6s`}6r}%C)CSpWa=wC%`2xbues3BLJfCM< z^@<^dh3ixQ*-(ZduTC|!q|v6T0v%2?k~4~R{@QE4_TE-Mn?2E~W@OZ?!SlVlN0?O3 zkt8QjJ__@8QvKee0W;9Hz@o>-Nn3c9~$8+SL{oQGLn{wf86P4cAv-gi9E0yt7_nyI=4y z-524xPZdF7I)|s+k!G%f9*Fgl4prpt9wbr^v&<2sl-RDWKN3Rj*Sg+N0sc%aNCwym z@IAC(II9)Rta)GlN4z@6Irdf7$Qs+=?1y7N8=eaax+xLks##x_AUtpQXUlN~P;jGN zHd+XGSNnL~a7cOX_b*j<{2l|wiDzqDTtOg!1|A63t5#O#bw)St3?c*HU$rN_Tc5^d zWQ3YiK}Vk|SJ|%(b(NYLp@L5@4=U}6Sl+A+u8)eBL*VdQ+EGGV1+3E2KmX_k^YC$l zMZ;QS`${~xJx<{b9?*Jz+-NB{)4WR7a6{b_c6m4r#jAhzRuf`Qr^lKM(Wi${ny7Uo$8-3<8GWE@fJ6TprGTQ-!U}k+S&rM z^~oiS4Eh3tq^z}fTe2Bw=nmW8!{Ngo$lFWifM;X7vN*WJPgsd|<6nQ6c~{3S3OAuD z*Qy>F0ns*eiyq3!FgwqhuR>2lZ}ss84o5`@V1rh4&?LI+w&s^FAFNivy>*c6FJRm{ zym4$AyfM!g_!`abTN}i+`gco7@vZJFehT}Ay}xQNAkZQn9p24$Rk_7wY99T zd$$5oSGl15Q(!tFG$tmf`ws!3?PbFkc+H>pPn)Ovb$wp{i|}}g;pvG1@#nnWtTD7Z zD|X|wH8nL=Z%-Eej7}*f2e;>lbOo51qf=#THbnBu=nKf+=UMyj`*`OYY({D__4m}R11e+BEbO6e<5u`;$9tS|J`@&Dxn0B`-a_S6H?tN z#eZA!WmZw;&UkO{=hG^@i|I6SsDhEI3xJGFM;4OtXb1EnuZS7BX|)d(W> z%=;>NagNnW1J+pVv=ggQ;Lt~Syju`k42K77_x$n;Rx5hEwc-i;c$d37-qCdBE+A9Z zDolB8QIM0Tqe~%d?=HAML=WLOf4`Zh9{(e|qaG+MZ=EK8>r3Kz>PIp0s2X2e9rsQL!RZU}L4U%H^bBImXLv*de6 zAb{w;1#>=tDhdTt=PzHr1j9x+0*IFP|69IXO!Mb=lM(J^YI#X3JO*`HJ8!@Mdn_G- zw8?m}b5QoP;_a;aSh?C1rG*eaE*Q!dMF#B5T5@F@-!M%&3)E*!JMd~>rGN>3Xp9CM zuJ5W?g3WIxGe|#+O=%IFJ~=iJOh3lP#-6ThR1h$$2a$_4&+tI9XWFCvgJNhU zV3QQ#=y4$SL`Wt8ypz&Ghxy$8OiJ33qzqADtl~u#Rl41q8c70IgRc|=namttPNMmZ znab3!0bK3`ThrgS&aG2uyN@6glm>$N`Zhzt24vZ~^f;c+Z*QU~^po}|WKg5r-`k2P z7S+D>6+G44*5${$TLVjgMVhc{pFz6$&brF~EhhQkyJm*`lDl%)vrRa;V5i>|todDQ z>_w`$NBBEmsEFxPU=>!R#oornzo`T9B-PE<*xRMy&YCf?R&{5+a_c#2tsE87r0XDV z`T~*gNRb1r7WE~@PY&Je1wZQ+uCjDeJ|$thZu2=xY7x^}pqOf(=S<9Db(%9kR(F!a z=Lqx)B{~(HW@?&a|WKv%byYgFtV_B zs@J}#u0B4l4o4G2h1TRX-ZPmDPlAa~?V9!~?^+8?TS65-AL)pc9MRRhPt_4eAii$H^|KMHn5MWv&EUJqhrZ;4vV9@Yng zg~pn@s5&&?XY6q>!xt2c0`im-&-Y1Ar8Qo%zNUxWw$uLfA>WLjop#-Kia>uB$J8E? z?Ol5Pt#~@jrBU9xA2O4chqQ2R@RAP?_u_ZK7mHXbcs_R#sd#fLUaf@@c#M&?$3W$c zgGYCEWMN`rG~1gcJ?s0@;$6uj%S5WUNe&_h^yK{2^>kIj`H1ROrGi*Jf-%$^VJH4O zJJrnT2Nhl2=||swtB1Rf={v*dPuFR$s&2O8XZf6tvprTu2d=;P#guq!!?HI=kJ=7e zj$FHh-Ss#0*=}UIa?gpfNP**neRjo;^o8#JLiGl8s*++(`GH0->TS?~*Y=O^a!=8Yo%nL%HgK$o zLd$@zjvU`uwXLTgrIXI(vBcAj_}Ep<8}}aRDG(?JGyOgi=pb!nmT!y$Q-vDxbRK1E zFEGtsP>R9Lnr7uMHxa%QJ5}z0Q%-2*+!777_dc1_rlFD>`-&gOvPp zO0g5d29oM&ea!Q#>4LzAC>GIH$_eg+ZceSDFbAPq8L)r~6PI;5_Gao3sZE zI-x+ai{8^Fuj9x;$u&mGrO3YWbt}8$xWKZXVud)6jCcA2iyfIE8PmiSgYDy(j~&3E z9{^d}(Sc;QluAzk?or?r3b5PQfW%*D_SzB5hCb2L*$0nsKYzVVP z41$u;Uns+k=1E#Yy%`kVU|hjenTr?Ir_@(qwm`=^aMu_2=*=gtu38^f*u>Y2#I}=7 z4u#S^6IFHn(G&cd#6??Og_dWZsGf|NpPEnFO;(yYYi$STUF;^3Q6^$F6?G3a#z(Cj zNZ6F2FIIgxJvarO)8S#2CWYMlZK z8L1L&Ar&Fac<#D2T%3W?nzs8y=3?hZ9gl6e%|J&)wvD@MYa#7I!|#&-#kothg3_b@ z`b9Tt7*e8A^`pqOYUXEOdCwC3O}UALL~>3AeMNPtGFuucAt9@HF7GpKdg_`zXg8*;c>im+|wi3x{_WN z+IhOWShh61_sHmVh7sC$e3$4_gMh`Ho+ysPm~G+jE5jm~XZ`D)I9cq{4y;Vl8go~# z#XO5T3Y!2{UeXx)Co|Y=MZa!sBVnFC=N+}A7Bxm)W1sp-N$H)AH^$SvBS%Ci6bMi@ z(y9wYyvB>n&-BxLd1H<>x7}vbRp)t+RpMZRn><_lU8bTqU%I5TnkXmAJcn*6Z>qU( zqg8RfSc!^+Z_d?>`Sp<6395<|u}CI7mC1m-fr8QHuMQVNhB)X;r}%i()K5`F8C4sH z#BfkV{o19VpDywJ;Lc5)N;glC8wQ@MS2!U}D^N=5j$0HI(dL-lZ!d_Y{nljuY?!Bb z=vG)0-$yO|N7y^}f9v)C%!4pvI7L=kZo)!*CD?KS+ic?Zmv4mrj%+@2LnEtQLF^bz rZJGqpNL0G8nGxJ$AV_yeDhNm`-QC?CDy5`!gP?SGgMf5*NT-xYH|*v6@6Ns% z8O8VBuWp=s&beRS$%s9Eg#QQu0pYRu+c$Cu2zRF7j~&uo_zmYZmkR=ddAInR*9tC4 zJG0IjSQFC^|FNnRN2sQ)f#~Q`0?Y}*;#vg`x=cx zp){BC!<^LA)GuF$!S|jp1+KNFP3YSffEqKv1XO5qf=fv9)jo2QmM*W{X7|Es-Jj z9?MTR&Il!S;08|U@aQNcIG8;d-OJ1CDU}ok(*5)E^NAvDE>_k@=;+3*@lsUwquK9K z5h)lMW$d?qe!Lfeir2D!aOUB4P)~<|V4{hyg`2~-BkIjgEQU=2}B}MCs!Gcr$ zX*avHp!fC6uV21xdZvwS%X{<;42rbTYZ)aaERkIn5&L%#zDWKb(%=T3lU?j*NUtLL&P>FoXlOcHBj`J>ZPfS02x`mS3V(&<=j+>>^wNH+)UfIL+}zUA zQc-cNJ%nIqdmBSYimL4TBgCOrz?e2$BxP55d3i!YLM?-vn;Rn|BL@cugh(>4vk~)k z|KC_9Z9Uxa68(-^{#CoPGUEYOHa0v||A2siva&KGcQZ3upJp2e2aA}hdk6>xn21|A z_YgkxH&4HU5OV+8_Wys9M7JI7!W}>`DQ`C}k;~C&@@i0_AJ^l6Ko;N-2!d!0BjPV>HQ0==>lZy=G7kqid3tuX2_!AN@o0a) z#a82Bn-^|;$l&Qw5QK9}OG~BYZ%&gz(w%WA5Ic`Gdha59`1=|g?&05x8T!mDq1+JO z!5F)>v=k8+H~Ei%yBYb^m)TLysGTmd|4%wQdK{9<=TC&)`DM@Hny!+&IDaa|(%+tvmfO`d)&k~2JU zqBtjst$)G9R8)A)n{UXf>g9F)d!X8Wy}!G=yK0*hJBZ6-vKZ1kFfb4v#xT3|dxhDi zml2d4+P~V`6crU4t~3zJRj@>&qoOF`_5AtR__)`fMW`2=wGJB@lCgUF`gwVI98FY? z4CY?i5|Wb3%gYrS&g!FZQp3Y?q!>RkGaIiNf+?2JPce1lw%eHuRt2fH!zsiVwHx!# z&ZjHP=RHqmf8Qu|baXU%;c01`nVCsQbYGqwprD|@m(c`Hm*|V#Rltj6dq{#|!OP}Z1^WOjDGMMn?IQ!Y|cRLuDCV|%(n z@?aJ|W@Kzk;k&=TZ#CaIi`7=eLQ+pGB9HOq4Loort$LSbXH~`q6{~yE0|PyU)|kO6 zL7z_w&W?9}x3{-LcveX5k&)5W)dd;$`t@rF{fm>`f!^M2sDy@wt58IV2nnI;{@vXz%F0q! zRXv06nVz2h^y$+R3emW@xTxspWC2gLw0B7NKMfAPZIbFVSGVe{oX@Tq0{O{ktuWu=BZEYLePavUcZ5Hn)_7U?s(Z}}O{zm8p1x4%Z zEI%*r#oyVwCr_SuUK~G1TIvj^P%hG1-E+~>(sDoErlF(Tnr~_PElarkt$8DP)A3t@pHIXXl9g4x@ zxH&piW(?<0V?Mzs{Q{D{s=7L^XLWOH3+4V@ef?!990%(IL2t+zW6h0>j7&^S^z>R5 zZRqLgxe5E>VQDwGDXOTPw&7^6tgb=~GiWzz6exLLpRE(31q`gGa@&4_#<7}p|AW(W zYHH|++}zxxzBYur^G!EUkF^@yDhzwDqa}{^S9{=mm6esn#KbO6PdiulcN;H4DZ4D; z+<#Yw^sL%(6MA}jLYy+jy8l~vU7})PV$!*O0G;pt-8*3&Y@D3fNcUY`U0GOI9{K5w zWJ+Hg@01l6tJFG}LLx%;FlyERSzmWv_<4sjakk$Fx8m!T9-_}sh55u|0?x0L;uyaO zoQiGM9a1Ul$~4_9znkpK1owHT8XF<2g?&c;wyoiXTF?|1Pgn#E6E+86A5;!4VIXHI43lgiUoTa57 zC-#kNm`ogno}HbEh=_z!zI57FsZe8x?WuFzQc_oUKiX7;>)pA^Mi|7e(FoPW_1SYq zLb`u9g7WI}5^jsqyLUEc`>Vyp#nsi^sI8AsP+k(sczAdKJbCvbI5>EFynsMF0ud1r z!VaR1UHZU1Vc!# zWb)_FS7qTntK`1yXNB)xun%<^ux??_4-O9g{HfC$$MRh)Ocd$Mn{=*gmRCq)SCO6+ z*g<~F+&;~Nm#z~N6F19Yf}upboDiALO|FBbnh+=X`P)}jRoHOcwzjs_)zyU9Fk=4w zfB!HZ`9XcGaXT`Dw14*wL*)J1+8SIm8XB7UL?H(=vrgF*dHA1@$K%@ECr2U<$e$K$ zxc@XYh57sYmz0#`DHS|IMrL7UHH&bb%q@?ice1q|f>YpAKMz3?R=4^`pO9(5<(2j; z<8kBG^0NJMdkB1OTSo^8znjCt&yPjkD|?5BQW6rkS(xg59UmF#g8@k?AuG$peER}C zW?fV)9DpX9D$v)})ohzY`uWEX${dArS>D)~n9?Z=baZsIfP43r)#yu9_y7es|2>A1 zmyp1f9~6<4H1oOSA;T>+iH;r{5WGqH`qc)`Vdr<%Kpcw?>1TNQP@Vu56A%!eABwgtoV-z=y{7GBRkdF)Ax7iFlnnmcyzVOleem z*AI9dHxK^|eXk1kUT{eLRlF~^O5IIDWcIJ%778Cv85<9z@Ozy8gQDr<bMlatf<_;{I7-}z3}ybU1|ltA;p6HK(U^!g@iAJKW2z;czAdo-M`y+44)pi^xj))3lqGqhK{CL=L9|Y z&#`6WgUGJS>x*3&KB_E#JHdf=n{MVtMxK(b?CcN`69eW_A?$!JFE$xU7rZ{z2XvNz zeg}XpAaEoy)K+LpS>o$ozhb1lGch*CAtdzpGf3t;NS*2t0q`^`%D}>622zkJatbcF z&(-JCr^Ca;7lE5IHSoL-plDQDOx^W~dNQj5Ewi|yBIL^#QwNkIC>2o8p-E-PoyE+q zcqhNmG*h}R2&m;#r(3stw6U?F-yZxW=5*Y~sp66YW)X=pBT=!Q310QKN4Pl!#e|i8oeG6u{o2y-K zxbcb;tADg4YZ%*Y>j6RlFpZVV@#wLlKe%0dIuu~eM~@z1JreO5=!Z~&HVuv3 zO+rFq)`O()m_@%`DplaBEeHoDA;`MZQ|LjsczC8(nja<@)GMWAWtm>SoSL7%@pKEE zuE%Bx6>6QIZ_3PEgOAMCI$mUXGE>D)IET|76kc9?$y6buZuR%6E?yj*oJ<_5eNcK6 znFtjL+GHxLp+rY05rI_yD5|W-RbiA--C9hPkwFWTRT1)`PY+NMat@U`dwVTrs%>iv z(;t}9Otc}9!K|mQ{yUM&y3v!%Us}0x_r97I#mk#Mbt92`|6~Z!Isn~3tA%4Y60F+Q zs1-OlI>LNaNKkfq4a2CGR!UAz4s;YK*h*UuELBlz8I7268yg$<_Vyn6ed;s1S@z;? zejH!m;iPr8pSh%p`rF=wZ5(MDi!rv&Wp4?dqq@5K$)6$N5qVupOMcxJUkb6%`-q5U z*F3f%-^z}dUB)kY?ENb2J6<`Pcnspg>k9W^wliBN_J$$qUL0RBce`TNt|OjUJz zXNOEg}JO#loHwp|Sn!g*Fk(-&_gCE3{7 z33(j;e7JMZ!os3lnZjgQO$obfYTM@_dTm`@(?EZIXc~QyO>U-&+ZDA7(o+*cz%>ia zKJ(r;vyiJVEGDN!Mh@W~37Smd6Nf$sW^t{d?lm-&u~k zy4yb=e~Ho3qN^!a8|X$^-h|8<d`hB#m^4f^iavq7Wvma=`+DpeI7~18GvRa|WuJ+sB-5B6kH4$^{_- zepgw`O2ZiHXa?PAUf=@}*_((J$UI(Ws};%%M$OuK!#gSnS`)PwK^)9f0Tb?NJnP|0 zT`ZN(_ebtve?qtcn4zz)&&JA%h(`G5&!5v2AM(<&G6s5j{3{Q7Iy$<(gU3251TM0c zi?z69zse6*9q^>ZyEBw0T2DE@rOD+0`YYA%K>PR#gNSHnW#usCwbc7jpe+0!6O8`} zC^n@EhYrN?*Jco{BAi|n=FJolT;5!*IXSB2AxDl^9VQ9=0|WCl_QpU=z+-&-w(~-Y zG*=#av|Nsql$1cGKfoR%L&IiyO^DMP)qJ^}O{OOoGQQ#bT!-=r3gV1~nX3h-U0e$k zkZ%xqDNyPDEi^;DclAW<;GJ#qo*x+4rRZ7MbAg!&3j0l`(<|N~yE1Mb9=C}?O%eyB ztSysFee_a#c_(v}PhVtr(4|Kp7FDaPlC!dm9URIlDjX^B!@CRsUJdhQZc#iyM1*E~ zvi$qb&g-B?=PDRTWd+Vwt^_sp2%mWWEZv+Jm9W0-{mU83Tx#9DIo%lklw4j?aN+ya z!*Iowlf%l(POlH=tgNhXr-g-uSx|pBc{i=)l!mzcw9(Z~dqaM<-@`QD_#5hww3O6b z&7rKETtsFBIs*k8oBhso#qsemi5sa&hME;NIwAMJnHqa&hA?@#+i6Ga0_FAsdWUm@*GmI!CadH#9t z2(1Y~3qC&;I(t*hZ?VOloxb%0!9xn-cAdQorZ&IKz#nYgII)S@oP$Cz$e`dbZqGN( z&(C`U??_T^^NV10eVxL$oZEA%zrV1!_@BPqk?`2)sKsn82OpnDTi~-kC%J!naJj!H zCmsIIoWT{t4Jfqk+d9EZf4i~jsL+>}nf>?=q4WskOw-LZZ&*j-OZ&{cysd{JQKx|B z`5;?+I;!LYnswj{YF@5;ULKCfLQh9UMusQ*|Gu9sz8B_VK_FYl^3Z$bQI}6;^`}p> zQ7~75&3I(AWQrF`cFEs9+qiB;5}3IGH5Q;!=8qpzDSR*4*%c1{d=I0Jme6kW*x1=A zh#ucW#bsUqlA+JZln*9L09h^FZwh33`t*F?y?u)$^n#P~SQ!0RoW|U@8y)&a`oHLo ziz8Go3N-C2)*jYvG}&{>^1eO^CErO=qsP{+wpj#vmEZlCkjpB`DK#NHDrywi3C7sG zHqIwPglJ+fu%H;4RZV&8nVbLqv+?OwfSLpL@9AkbcXzJz#Jgm_>^Az2L%*3xW+;3A zi2kQ5ZGLzbOk9|b!F9DD#P?VM9H_f}M&* z?qW~ULVENgC{rQnfzwKR$L;)AqmN>(d~0vH13==KTNzRs)Uck|#EZWo->DzpO*R?2 z#nKR4gioJRL`x9Zau?lTwsb0;U4Gi%P%W4kx9W;kPz}kI$fwO$*q{1E-O!u5_SWpj z=FlA~f1$NOt9E47C5aNX%pZYt(PMIsx_+O||CG!XX*En&+v>ZyodZ_`_&br@5YQ}5 zpxMmV6=yqJTN;1^xw&S6?KjAL>OUM!hg5?x@L3H$1DoKor$-U`9CfF<0cVK)c|&Pv zF3q@`<08ka@htP-xtdPGY#k^DjHf^Fh{;NTR9WXn#5@!YreNxa|7_uC3@^mCn&+mQxF%pJcuoqSSO+A;D3! z;#42Uy5FMQt8AcoXdSqSwLoG45-?iFn?8NwZ zKYxE>K`##&GNsl6y!W5u&U||T{i|`|6L&SWkyUC{70u@km=#|es99oS4Zjr!nX&e53btqZ{auqV|aa6R{eF< zdnVkJ!_O>cx9DyZ@T#TS$BE9u{k}qtW7iy&nTBE_=kdsI!o`P0OqVIYGNwH1rp#?v> zE`4+kWpU+s&AZDLD=Rt8$Ma3o+iw|pb3#L%ow+wV>(7%?1)ID_7#1#4ws5$nq4(-6 zY19q#oWH;j;v=>OqT&{mB%)t&B{h?rKW1cqPnqN^7WIi!yg-SXntHz0k?!S7)rpD^ z=!0g3fLdZ-hd zKLn-y`}gk^rKM~pW(8}2Ibd{OSXuF1CQ)ajW{%hx4x)FZX{i0EL{~0HFqnR#NrKm* zBcy!~OXR`*``fd1C&0(1dhB=QD&{4)z9t_uDWD0ec%YARdatSFi2fNe^|LQoj+$sD zFR~*W>-y@l#N2+PcqEtC3)q=cV}210!8bHE&MGR}-P)oHf17ZyC$pemo+RHv{(n&AcN8i_x`B6yt%?e@9M#YOnbFpncpT=^Gi&~I8yd&~meISq0Zg?nZ z%c`{~Dm&8dR|DUnDgF@q6}P;UoK0e0T6sCUxw(1TyX-BYpYEn%6K(i}H#GDUUV!fo zXY2rCUW?_D(zWGAm?`RJ$aOx?JZ8V4lhmM43_Ijv!DM~t%;6THs7~{~D@x&gMyW(P zWA-~aj9*1G^z<|3rXwKVx$vbFn%~*YxH4jC$Nm>k`0I#%vTZfW*40LECjvX
_j>bMr+NmGWq_-@U@*05L2VRB zZ5sK^pCkNgLC1+Osrkp#dH;<4Ox|YP2l;x)z3^PRD+p=ch~}Vp2;Y#1<87g=joVs zV3QST3^fODnY8zLJm(tG-#9>i5{qGn>`DARl0%lB+E60mwGIbsMKsy(xhNmurOVhi z7{$XX6t5W=UG89-=U0bV0is5m|?bOown)xs>;i`-hN14r{jyXTUY@FUj zR_`U=LAAz#qt8*eb?bSj^;nv401Rpol&V!Cva+%PM;}fm)Qavr$Ly+iJ&;M_PV=jT z`@$bFVu+=vPX4kgA|lE>O&Y=BW1HU8^fb@t2p{^?J(8jdBbJ~xJ=XYJ!GShf%>=FW zRJiH66k&AE#EPvqDSpZX3WAAJ0Y^~0)Y|q`8BiGj_$!7<8QGtqYWtL&4y&t2n^u(% zQz0PKXDQ8S!z4Hh%tfl#In9d~pIe7oHe>T;uBuZ%xKO# z2n)$-&e-N|Ap@y`so~*i6`Yo}{~mgW*!XXEyD6?|T5_PgIv^EirJz_I`Yr~XL2cm! zj}PO?Q0?L0fCZtT%SFW?3hHqGrvCKw6#01`CW+>K;hAY-LiZxSF!km0PPv@JMC-;c zp`q76i-`r}mVj-87=w7@SR7%A4Y27-&D--@!d+N8+tIW(* z8-naOv1@Sk_b9xM8>yD3vh)GK#|&V)fZjkS=Hmu!<>qo-5cA8M36YN{!!Sycv6~M6 z0R0S9G}97k4IO&i8e*KdP7>m;^YcM3_GddjjQ`X~eYQgT$Z_Jt8Cw@=D&D5WGXx68 zQW-L;Fk?);?rez9>>=udU@hYF*M)A4GD7u78pK;$Te3;qL+$PUeMassE-$biRo|IZ zEBB*!a(3SRU9}5xO+_8*qt+H_W;crTaLP3T#c_UyN>qop^wf0EHgp76b?XsP>0-(x2KAlu6cA@ z?yEFaSD2sxNCPbp+zO2zXQfK&ZIfDyGb#3_ekvXoPgKM6#@atxjTVF@sZ%*utuAwq zcO_6SVG=R8+z$=Mnw=F_kSkEg&Ms9`1UOk-8eI@}3C!KkpCIo)1c(m7@@F{}9XUaa z;Ou5)Yl{E_<6jR`lSzYfu;79u%zuuyxhsdU<@KUw`AZcOg;bELNUd6wBOteTI`6cr zxvZM^qGMvpGOf+bG#bxW1*c0bf6%1G!VBqXUYcX^-8Is-d8vA?6Av~Vi>yoc4$ z)_aurLW*eJYr z4)6Z2N$Q~}!Bfcr-<3GlHm;^7CxMHu{eo}pe-t!3GsEL-l}p_P$*R1kplz@=`DVwM zpBpW$?dWZu?)pB$DF?1rb5Ao@r8bIa{B=(Lror`+ebl)ydt$8?4+)1rNO( z9;Vk55AGnSadj?{xnm%naQX|gluvTv*~geA{s}Rv1UpZIz;s}xbMx}% z8|X~%NP`H_mp75g$61Ij6&x!`m#(yp!|vOyOS4?rzKt? z@yn3!ZBYr=s>}4F7lDm?`4X9wbq*NQ`1W?)D^t(+Q;5$WJ@dnGi%`v*Reagg-OXt= z^JirxDmL~Z7lJxUHRH94Z%v-g_CWREo9ol!Lp}Kr9)tpsg5Z3tyr4WRzh{qx1?;6h zY8Wx_+hgN}BJ|2Hn(%xov*-^)XQ1H`=VC`r4-U zv;5>~=zL&_%doj%x7Cfm$*IDm*Oyg;5GhTKjBYw*m&twPyY^L!U#d}!B~#?2%W&h0 zB8!WK$dund(}Sv2nk|zjSftUoD)dp|wHMD|LYqm1Hh+!Abt}4H zFbo94!=*IS52dp-4fa6T;Wi(q2WiQ7{U>n5?=SyZn@TVUocWP&p#HM0i&m%FHEG__ zX%}aTQN=F~7LmGlM;M^eh<=UQ9&MYMuL-K~m|R5xa>rcM_qHJ{F6+7c>}*^<7aK#v z3=Kx*7g%~FxV6FReooRNfMSj>{S(E+z2H?HuGr%4t{|v$pqX0%8|daHUGV`y2x;+t(XMfM zzJ!x;0EF_Qi@*p=HnQwPwI6CzH{)XcwBg2M>Lh1oa)z@L(j@}>0HuKyX4eK$jUS4+ z;LTasyGcrl^$$)JL0fv9iC0s`sftQUz>ihr2o~u|p?UwagL`RUsI@cXw|VJH#ZQEA zgoleec@+!jA|3`xrch7-LoaN@Z(@Dh>4Bcw-JMc!kHKnY=&j-;IWaWuj%!Zk}Y9d?ai3|wQh(5r)= z_*e1#AY{?gTY$H~2l4T+m9+HwWQl$xl{9!SL|?sn#g-JBOPf8#CLQgWs=HChwS~oK zmRsSL*a-t7n8gyaZBflHn;K#Uz2sYw^@dttQ1`E8yw4ta9NmT`0`hqn>1VKRaSc3v zoXgr|v`d}4eS!MBu;6497h!O8TGG1&F?4y}?yjwG$a!tqXJ$Nw}+S*u+80rZMY zYho{RH-Z!i@&%YCINA=x=RY$$VMx!m79T2P&S8*f3yooM4Y=Nc0#MfjzNes|o)$k8 z=bdTC_5NfdUK(Kix%aqQMpffI#63J%6xD|OLw~g3Wh+)6eV;HEpi%_n$!ye=(v!5P;iQTtV^DMwbo8Xs#xfmMP1*pxppYN8m zK7Z}+7eLEUX>_3?p?3CHUo8#TSvKSTY=zu&0+@ebl&#Qfdz2xk>RqQmo6Kbm21ba$ zTc@Bs*7=R0kx`*qg+zf8_+A=;va@nGHQfMpcHZurTEQI9iX+ktcPzCo`oPEt0Sd;L za!|$)!-qzZ*p!FL8$j~Q-G0cy+g{P|(Mlr24r~`7>oh3P7BpP}>;gaB1(4W)R<3p^ z#X%+=nW2vU zMGd_ly(pjsS~s28p|tKcjCxNK_(yyry{Ll;6Ushh3XdFu zeFyl!gZ=$Y>w&($2It+Bx0L&Pd$!KbO*V@yP>aC05`adeR%P_*4f#v(r;3XDhlEI9 z=|6ka1|(eyzdJTAE-nbuJJTF~LhrS-1VBmvg?zT!wiTR1+mj`noSZ-$^Lbrz2el>e zyE}oI3RtmGvm+Qh`+Bca4qbNV_(85$R-S;k3&LRnCuJ&+BP|V0S6`nc7*7*CZ3wwI zImZd@006t6{C)ZIrK#vFc-4T^Df#i^O_|mO@QQ3~Y~bZ-4{oBd-&O%Y<9 z>9gEYl2PI~;h4t7(mamtfq^FY#vkI5_!eOAr~<(htP2hfGiAoIz^lT=z)b`Lu13{B zj(ipbFB}zU8U^p28}M!b4Q&C>q@to?Y-|if0Z^fKMzUn#Y(N?j3nR8PGCCep*8bAA zMB;Ty2JSuZeY6%sB>-g=CY$Q(^_1b^VQufLXv!{NhiB@Xi|Xq&w6z7nQU@6rMj|-A zEgZ1|*qxS+4h~xmb_=-6*f=<`QBi~J$;rvH;Bkaw0TY}+DGuC|z5M}rY%0_mz&{m1 zc>|t^m6a7>E9%{jHnUQ_R1eYZpG*)4M)SQ9>khA}e=8V9NSD^=~7#MAEFBIhFf@o9=-wTHa+HM?BYkqz{ zbP~Xp=panPTsS#-3J)I~(d6OmF1$1}G}qVH;82MF&*z5cuL~+T91DIALU@-!LSiBe ze!M(9<3x6FRkq9RW8UUq6_U@C0-kSZWW>jCwpq}07mCo5U5z7&P9lkw4n-T z2gy5p)T*!GU^}}}GB7Tiy898~szGIX{$iQCfBgUiQD(S>U@QUSqSrZ8yi943Ip_UQ zaNuHjod1G%#=^`jcY_Rkf(Hi&b*=|%0C*V~7{J}3?aj+BZQebYB$D=y9+H%aX#m`* z@|f&jE)I&jE zHN&Fxj~`!arnUmeFzSs<%gS0`S@|*bNjGloK+MMGABp!R2>)J?1b6NslKQfjJj2Aa z12bK`R3-R6h{Kd8EI=@XK|V`?7IGQ#T(gRwlvD@k0Bme*bP@q}aKAA#a|2_1@^@BR zS{f{7Qc}TCBmMlqO%JXscnuM97<7IG-vv58`{#l6^|iIYH{=jCwR88RpC{aavmgaR z4h{l0h>?Nexp--Hbu~m0RQd!)tcMQ+pd;|P{QKF{BWeE@P8!}xK~5e@B1nvlooOm@ zP`EWGfKX(vy;WXe5cNaD!y%1)50#Pine`W7e%D>vPKuufC)o&~;FngTZz)}LlFF0_)=6E}$H~TyU`L(3HoRCHD&6VL9d({MZ zrL4@&>0*08zh#P+0BhFD(h@lKfy{zg4&WJlqw>dBHmlvyP zQ&Zs7fZC9d3DPA<%N+J=y&$%Odhr4)@Yd)W6$P^Y@y191DN>&kVF!Hj@A9&~j?Q54 z&C^$TcT{IS4eqP$#e4TGJL_9~G?~_lF;7);b3{creK)8*^GSy=O=r?fYxhC9oLZTA z#8T1nXa5>7Tcdn!V?b$NJ3#d4Lb>>)L}!LR5Zkt!)@76&a2H_^xpN8op}yUjr{FUB zIsSXIt_|-VE6WVUePa%vsiHX+S|@PP_( zqRslJUWvff;RtjG07cTVbkFs;JFEjq^@!TXBHONM1s5xpLvI{@ImhMSwuYv&ZWj;9W=PT;ifY(i=(_;deVcU5S*X zrE{$R#oWUnb=Z|!-IzhXXwX;q#nQ1$A7PrUbIJRcUWwPmP8EO);DBnc6Lfi+%TLA< zU8BH{o~czd#S)s|Ib_KXmU%b}0$$!aFaSfIpFlyV_4a73D}>3)T0RI{Y;Kt%HyAl5@B{MLaROZ3W>M{@s&D)>LnT~ zqCSKTAMq}X@>cx;qBl=l29>xs&?}X>Rbv$0nbpEw@ZU4b;(t&=FFl=wbq@e4o;TN5 z^IjJP&-pYkaT1U_E_?S9r6ytm!x*CkPoFmPnIfpY>|8n-hOAUAGrBrm4&$<#8FXYo zBJq$t72&K({iRdyjcfULgd$l zXRbw=YnsdamaB9v8V}oLD;|C~eaR>D7@;8jt)o}^%F;w9s=}VT3^I<6NB^xqP$IQJRRE_D_45k$a=G+= z$#~yPEpqVsK=}H0#)K zCqcM5?ap2C6M$8||zgYokiznj^)Rb(x@M&P2w(N_P@#>UlN2g(0s--EjK zW`3%1uNk-e6vaLX0M=7MQJ`oSGx%{H@jYJ*J!V{hxJYTRR)g9K#`gSz0*?7~({nIt z@j7jH4h(RyvnTz}*=I}0#KbgTWvwkC5tx>?2$-=(<1g$ifff&;59?aIwoAVdaYg|m z0pAB& zc~FFD1*ZOhBGjV!9v*%`17F+1KVi>@-w&q^EGN%$;cM9Z_brrF9{kN zFa=W5(yH_^;GwRmfeS61e+vr$3JMCAmOC)M0gFQ|olp)$1pqihLqp5S;ze*Z12_W= zNhW?PTY>K#Y*2G^bMQIZXfwEe_^^80B#Y9DK)p($Gica2xfpZziSKy*KI5~+0JYbb$?iTzWZ3SRNyrqQ5 zy8y$@)^3yYt`=;P_zpsR7iu?oZH+THJ3IS+t*SZ!_?#&fk9q5RlzV{%h{oB@&a9W< zyJ><#u6^nYOj#QF!mk$8+w%3_RSw?9oD-De}cwPDUU{(+u7#K)p z(f7~vUScmhxcb~ z4IGHDEtAo;1d<*n`DatPoc{VO7cZ@|LqgCkraGDJb!*TKTp#OBJG^%3k!Xrhd_2h5 zGWpv2m}W1BX$Ac_2)&O2B@!rf9gDQWt-B0C5*e65ZMgnp3{|Y2=MI8`f}cpSnY6Yy zHqO>ly#Y&kL+gA>E#o1{E0Gb=x;V;#iH{GfmH8XTo+t^Kpi8*$5r^LJZwHWm78Nv( zQ0h{^bB^kYjT-2W925C0M}exZ;##V4QOb)>P0yoyzi!H^!xIDUA)5Z)gC|>f*nfv5 z&3|xlM%TxhCB7FR)Zxx=XF%vpSI579Ka>XC z30MoBEh{bw20eGE^XBMAcQl<{P15b^16a;rniI@M{~Dv1XGct{t)V2)^meR1U6D0d zhb5m+l}K1sOBm0H5m$YZm7*HW!1i|l%j66(8(wDrl6+4TjdI=%ZXZc~(#|uq?_nPi zBfG!~H3JhYz}ofo^(>{lk>O!@VvvWo^B=gdnQ?r$AiZLT4a80v;3iFT1>d|3o~(^Zd}&_zvudT!E$s+fssFmoC7fg3S|V9H6!u z4_--VWHP>05NP@#Q75jnGAu#UzJjrqtkTb~`u85Pym6B8V9S5!fAQfdxHi*G-Jjzq z(WE99@#7Zsd-m=$V5}2t)UtlNM;_ieJDc2PFmAa41qLeTEw$%)0U#7Cm@y3M?K;db z@_`uqI^xH>7aApcu*mWTsSj8R@BxCJDj7qcliDUDBLimp<=gFo<84){$gbr*cCM{A zR~mFM%70_dP)rvN=(PAmfi>Jc;&UcW6Tr6J#Qmm3fSGI7i*KapYxVTnA$!UBQO+7_Y7C;E$%b~cL~ptp^B@nh9|>KT*4EB zl9*XoZSElP28%@G8nLb98~NPcx+VP^xh9D=5u?kGH@ePvek?V$j3^(t(oOy1=zA0> zlaw0k(-_|h{dlBrYa9Nc#~$f-fnaMUO1o8BtN_XV^B3j$z=lAXhKB(o9tW#gI6nez zzXR%UQ0S9Xjoi09^6n04tPC-Nr{*m`YsWnE?^)vIkoS~<4<%}VDSICiBSVz?9!`7- zFS>q>9}Cf4W+RFYwQ?!Y6TtTB2+ii!Wd+PoPYeSevFyaN20TXgC(?6dO;yTv*92|L zt#1*CyedU8a!oIgGZKK5J3VVn7I;Z$83q-=_cT64`xW??a z8H%)+I{u|lD|p2o64VQ;ilEO*br9o5j#M&Xkp?BcQBj$6hJ{MteE{r$$)iYw-u}`E zS9j?}(ka1K7fV+LNtC#8o?Ys{hfKy7Z*=a{|3ge5mX1_>kXx=E_$zWVNh~TK|2<`) zb=xL@m`BDuehV7!B@;;}-b}Y8T6l4X$|iCaeEX);m%ss5N1(@t9Yw6c!$8>7CFL&I zm9hIw+_+6_jV_XD@0?yw#jSjY?#VY^c16YP?#3b)H<@TW*|B<|D15lxvxv87jmXD_ z|KQk(13`600XCJPAH(bBsK^_Z=)q9*r#8K+#inIOk=u))rzZArT2!P3S<#4(i#cLh z@BvQ6H<8z`&BeY*j-82vwInx~*FXe~e2jbG!^Wh~tSfF04KA0RNfn)yFg6!i+Pi94 zYX`y_NFA*jyNuOPy9=h^w)OiSE!()X4VCZ1T_o&GE0)e&wdULCCmJocQ#eet*cpnR zOR`}hQ%B`+bt>nSt9`UR!c|JK2y3RF5b*VLS8t#=xz_QpjqK^~hqhb&mXgQovii#x zwDD{!)Ih-2v0AEm-JZdVs4?sBye4sczfd@+en1z>Gf+@W+dp${E5mi{*HZ)hyzRaMHW52kFz$D{6Q6wE2Ui>u@B5zSHQC^7y4v#cYU+Wv!jeZfR)HyCm)+< zTs~l-wmSZH)u;0-86?nbsi9<0GTD`=fk@%ulJkCt*prO*qXL%(9J@=Z)?G{&3N@`f z4_no62eo*QcqNG^Lbzg`b~`=C#Lad)55q3pK-aUPg4GIO-jaapf?8SUWEqrvZ=dIO znzN$ga)|-Yg5fm7Uf00tUY(04b_ox9fPlca*FENn8&wcDQC&DRrq9x8g8PhX{Qk?v z$3M^f2kVYxzP9yc0aQ`1w1@|?{4J$gqlc@H-+MLoB%MizC(?r1QjPQtdyzaR;vh5Q zIXm0B_vt%shCN|$WJNL2D;G-dZp?yJ6POlqT}7Zg1$8()(sM`Eb46_zF~Yr9>obpI zV0!>_%l`;fZO^0VSER6~x$%&probLIvga>f@CMe8)2-^uekVnxdLF@#x)UK2_QYlS zNcoJTUW3CDj*Ie!`-ZDQJ>Et5y-RHQyk$`PTv5q_w|}?m@%QC(7``U>slyETN={w9 z&ZrOn<11z$SrCJ;D?Pa9KNGM=?g+fQ{`2j!*-P!jx1N>FINeRufad zT5iR&%X-!$MAewrbdH8FihB@}#(Fg61fVrJx*zJ_}5Wgpqr26!om;ifu*mvv?P+ z6@)kgmO(TPo!+gNVZZe=_cvaiHOzLGt87F&mL?{u68ltt43`Q(c=J=RGA0N!mL`%3 zpzaI#!jV#1UyK%H|9F%h&u>QKvb?JF(g6$WDCNldc9WW-B@JTPD5+gbUh1pf=gWJW9Ot|wJfUcKrLuN zcA1tu_&|>+jX;e%p6sXZwRWVQ>td%6?xLm{Mc+`X1$GAAp)a$J^gS8qy4wg1U43Cn z5?#tPxii$cv0RE%C#I^83t}jIZTL|#rEw}RUS-Ryu7? z+s)gfVWtxy%*B3-7!3CfY6Q&sNTw*SWX;g?R>Fn<#I09p4!lH-pXn)G~pi5Lj#Kd5P#8IAtV?TwX*Im_k zF~zlE2|OX(_9qK>pE?D+0_%}~2)eF8*p_OGo;$eyb0A z#f%q2j4Fw46^5svm_jQk9_^-iwh#Gu3s2CG_3sBUJCXJ#;f*KbDJ3IIIw!S>(Zd2p zvm%=i(hz$=%!mXHL(zL20qUTXJd~6O#WMv}?B@kAg_esvMd4h1`Dp1Y@r;?s9eQ{1e2xw0fT0KJc93&Q@?fB z7WKQnRa(iG9D!;I1v=7)V46jW7c-LxPbtOs%Tu^STtZZ844LvPf)7~Y@@8+sqpG9m z#i_M3zGmPVh=A-Zq4bPYE(Ak}`{N?&uO&8Ke`X7hI8IGmY^&-LVRv@}jXcCHoT@iK zCxA>%%fuw;x^Dn8u%o6-+4r~LOi8{_i9UFz87GC!KcVsW3f=!{I}wup!BT8}SUdOWOX05r=^2VQ*3_u2NA$P%`9KDhPPV1jkJ-_` z!=PNtMso%;J}&OpuV29gT#V%8OM_{`Af?n6X1gx>Qfa}?4QYZXyNJ>n+}d1}$j%6d zT-LDsPBO`nu3-mX3?bYWW?x<0=3kF@aE-wFOrg8|fnX97alHDYw4~On&|JoJGs)~} zWd%!Q#sAaRnLy>V{%`+DNt`$t%0o0zA##%HWJ;w7#VM6isfGh-Cw&&t^gBlKa51(}T`azH8*kq$|W2Sf?G``$+rmH-4W5}4*X_P#S6a6;U)Gbm>#JV74n!x^FBaZ~9F6#pQNC$ce9dSN0mGlX*x((Qef!olzq) zV~#eP9oJ4dK6cm*Ux{t_NP}VaNed%Oo{ir%P5h`X&>?KIqQ?t!@uYssZWUfooPJUv zG`#Pa!Z-J|OqB{;w6wISy;30Fg0ncY`pF|iC0yrMcT=#6bswe_SJ%{k`seHEznVol zlzXNRICgkw04sCnW}(9F^4mZQ>Np4LBhSVJ-2)~sfa?F-vkE_3W( z&NDb6Ne^=vy>o$S=92scHUkTjUX?sIo45Z+oX;okofC4FN3}TVS`G1$R;Hm|-E($8 zzA8=rr1bQc0+11^IwR!H&$VkP9`E^C==8nzkGoYLvxveA2A~s8?c_-Udh29nEV*ZA z(dSFECc)I9!RGF)1q&>qZrlsM-C5Hubenig?A2*T(u;k@?SHo?Jkc|{dUAPh^|0z* zB;MK+tdDzIyy^PwmolSnv6>ehU92Qqa>K(m8|18sYH{u#xTo;ogljJruT;O*uz1YE z5R%Zz81rnmHOI{C;s z+}qRRoWZCqQ871nUjM!=<+~@wxAe5o$=-eEy_fm%rziW*aW5{}JEtshWvmWf;e))| z@=G(ej9ERDo)p9L@nojZnHkD2CXbYnni91jBDX^v6Bnih{3L&d?%<4jx`u{NOM<&d zGqvXIFWk_+IzFgsgam~unVPHFJ(DZo-S0(S1RfE37W7zdKEL>2lju>m>n|K+OHbnb zlm`t$BxXHM2Wf*0 z5-k#~k@ZcjHByNy2>7s!$-A(}r%c(%SO7Xdpgd8fg3G{yjYivlb39pxN2EV`H2i1ddFe}%RW=nr*ubvE*5;cxp2e@puv zu#Yo@zbvOyAV5-*lQVgCNvK-PrJ`KNtP>Z$HUpBN>%dY>LOX0`yzqF2-Sfo7jFIR= zY-F0BnwrY+HW;Z2z+J+>pOMZJ2Z?CAuw9pO_)vyHf~PG=L6px=28mVT+RI0z44JUj zeD2&eoGE%re^C_s*@*H3cU-Lt^$<6p_d!QOxGeog9)^-o_eJlJI4LLj!SqsFGf!NY zh~xoC5QfHc4o>bl&rBrIzrLu_UmO7#TEMk49mE05TDNYUk56t+Ot)0~En{R=Z#;P5 z&lsFrr^EQEy?yH1f8;D|gu8Z-%@a$cw$~4z9!rn;8ekVed1Kj4vG|?r#U7i-$UfTa zk%$yXhIR7ipVMJ50m6c2_ncfKE$NT^kgmIlx3_M}?HXa(0BV{bZr5K<=3GuUF8*~S zs(tNhG04gBY3ds~C{R?~hs3pjFUxj1m2u{bLru7-a*K&lXoJ$=!RMIH?bxwHkOi~T zcHJv&5+ibwPpSo##|*gv6%0j11ETPiE9T%{1)ZvAP=dkR$^6Kh!x;B zburC-=2$4rAb8XH?O9huS$K%yuX*Bp^Oc4hDpO54rJcy{u?ng~h73_w&TKg(l9+M% z@XNY4!A>Ex!C5?@@7Zr_DKj~dzPe+HIA4NN;e-i-PLg2e{JL{!udU;%|9<8N>RXrE zO{si@Asv2GS5E^T$Q0_2kpr0PhD>McWFKV5?A==fVAjmc4B}g_6~jXB%W+$QoGv6! z3fDEohlZA77b1?|_YR+9cE?-Ji8@5wnU1^OKJqvsA~1^G`}R4pE&csF*x;J|qH<-odL)R&=WRZ_E`dmAyldduk9#pN-b+hw=* zH`UjV5AOV4SLeRjq;2Q6Dt$pS01S(4ZFW}H<;QJ;ZUZ@RH^$&{nuDR?wN>We`I&?sYFU2o>>AT4N}-l?!1;D>4Xa`iBn*kXC` zY`x7!s;SjYIpvsc%i%wNYSK4u7Oy$L0{7WpY+bc&lHUIV`4mY8TG-GN`0}=>6>tUu zEG5kSWo2Y^#i|?B_59o1r%fvr@|soZGvn3d;x#;zwB)*#o;;U(+h}`Dy0(RlIKo4m z@nvwCPxK*ux9VpzeC?hXCuKCZhIURmv!H5#S)^KIO-pt4ye^O!o=MkqvvN!;M(J<3 z|6_^1y@%ML#Hm6l`cQLgPh*wu<=t1QZm)+U0MK`GaA)zX^k()qD+7W|d87LKxx{jR zGJj%O7!7&oBB`l$I3J*rMO(L)vDPS}^fhCM278>T&kVVl8u2vVjCl<529yBkf0p06 zbzlE9#~iLxPjx#-N3o(J=O!DZ(ZmT8XtGb5I@RseTvO9agrF%?rT{eouMT9Tt!C0( zPP>wd3b6~#n+JTu3d3txu4Dlt0b1Sm?%fws9n>FbQ3z8|2<7;U_wUz+{Q*J_d?W~# z0YioqvyUp=c5^6z^0wm98E$_5@F8@&zYZJwjU{js|5A6|>9OLzLx*NR`3z$p zYV7N`Z&d~jqR~Irr7+bYQ*g&X@(!n`Zv?1;Bxbe)vsK**69%bkD8;apDvF9o9_7)2 zWCI5OXmLx*K#S(Y?%e~zc7TIqn_@ErMryL1*8^@K(l0n>_xF-K&DneG?Cpm#=VQac zqv8;hox-zsVJ%P-J8W&IWj#nS^=2yzI0OQd70Hy-Fi`D=I1u+j+FJQ*YmE4i_Lw z4LP$hO2Hp0em_wV9)Nlt7Df|_A{`CZzGlpA^{r=^n+LtSIxxwLGt|`D zS`zeSty0WAPV~Pj0jQ@QkyDR8q-B+O5?pR$YUS7t&n=%(MrFoqU~vPmTawyzx#vck zFh9@*bP{gfv_b{LA=7Q@m2$*}LKyR``TilKzK|(f#ym%jexB#j!p+jc!G*@xsCZw- znu0shbx?mPRx$WF_eBi_WV}ihp5ifrn>gXkK12=IK`&)|Qpc z@V%5d$oSo@Jr=`u!j$94*l8zZR3P&3;Ne3sm5F5!))CJAPmyQuM;L`mkzbjmwM{$G zD`4`$UAwB-eozL!(Cp{5d$!NnOW!y={3?<%%nmK%^9u@8$1k%Y8)>OI3uc%{A3Zt~ z4ccRNgH=_hde@miS6Xix8VLe#!M#DGMU_g}{R>+33Z`|PV1d?|5vaT^YLw)G z%=>wEyc6)!0j0VsaW$ZWLEWwDOx-N|-y&R~;z}XFlXLt2AN@G$4j8}cP>XRUyq$7*=3?ud9z+r7iyx~T_kE$aTzFGnI#O@zr7y6(-I7_ zTySvLxv1-@2SQsGkpsq+q0SXdHAJaQ922+`q|rhOTho0VecF&^>;T;2qD70g51DWm zw}r`B^mX9XsaLO8RAiTU=}P9O#&r`7t*om0g%#`B6TW$DObn3bMxGC~M*v=MU~w;K zV}AY`cqO$rm95EMKy%=}#v>7l3^52{FsoiXEI?ywF@!@M|M+9a&YgWfjwf&$~VA?JY;-A!fDz8h;`uvFV5TkNW0@Y>HKts zFrZAxZV++R6K3IMC}yp@VWRt+%a{Bdg7vDj!^21>Z9>))P&vABptGPN-$D8na$Gwq z52E~`Y!oD)lgbRYhKFy&`*SGCIQEn;IXAX@LuqAt50+H-Skxu=XhhN#)qK zpI$`(#A=kI2;0%o!S@Lb0&)a`EBlZ-_!}9HpX;)3-JRr3CT&5B^Ag&QV!-vR&&#y| zsG*>w%O>&|HSCFC`2&}AW5Il%bpgIiGPM3JK;E8PLc*hyn2w0*&I^DlND=q$8K|jU zB&>VzqN@>`>0akEGj}{ zW<^0F`O;YGif!9a7X2AUA*%>VfzUZnm?938kh_s0z?!M6L!jcY)82l{8GI^+v{D%*07nl07Vp^TF0GN05f5=3RPYPt#|eAPwa3O=3bl5~<;Og`WtH(J05Z z@V@zkz))OV%>Ax^swnibsb~L9GeGVj1c}VtzswoZ!m;P?1Rojh74ZT*h*FGw@a!sD z0hISLrbroXY#crtrY(L4l?{M*AjDmNN{Z&-YaQwkq7c>4*rqzV*O?1LqA0SHQ(q{j=8IKEZsLsT>+r zz`i`h%RD_FRx6sZsl_6@?gDXzdzGn~^BhIekbO#}P42RN3Gj+;`WS zU4H^rT3Tl23PG6_B^qTZQOFsNJB%e+WzQr*yV>{EcFq(6+grEJ_|asyY z`D!OEJYIVjxEmn9UzH7SK6{pOb#K|>IBN43ZATJ*=RM0JgchgH z;!_Xl4YhJyw{Go`ayvN1FI$4{?k_fE0HezIsY%jCvhu!`?4P1a&&ba zN-vVkYUT2*6IoefU}lE)NgLVBu|WsT|A#X%B&6V2R@P%^Y<&Nd#L@q<5NZ}TqBM;w ztDbC-Gl=$v9?1t#D70FSXJ@ZExa)oaM6bC>xrO$*tfJ(PDcwlK` z2Qa#&_SuV1e?}8@*EPDYUJYNyE#)@&#F_C~B^Jl*?pIeAkDCH`l;ay@UG=eL_Dsq3 zC3+Ro?>eJwj}3^q+S?Gl5kcMZn3+bufWW|oh2CkG9`{LH-$T?f1C~CFD$=JtmKrph zkPekGr3pGiqu;$Lzs;#3%DVBt{f6>O2b8Gf-%(;xn>bMrVW&GxW-G9 zh{xB*N9bhWG8D{&82#Y`ImAQ!_sn>}%YO^Bx2z4Lc3Q%48!~XQP*(m% z9*~qlc1*88`Sq8^JHt`zm91~RQN*4LVuYY?O||ehoiLhtNih{hp4s=qs#l$$Dbl*(bgu?(8xoYLg`>;xB z!lwjxI%PWy4}<5&izbpW1~Rt-wv$^Wtl6nkHq?^YU7~no~49DTCK@uw(9CzOHC~;C`jMcpF(X00i<|SByNJ*gWN}1xp?EZGdR4!z=_sXr2FfA zeR;!4n&(7K&2+{l^nI#cpTV`Nz;U#I`1lGhujVyjB=r}kg71&Q zuO=iYnq6nNvJlMF@$X#hMC)VsQI^EyiXH)*O;D^h7=x9#S+Qiv;j^t}%TDnE8D!0u75y>NF7w{U;G%UE6%`Lx8k$93ayObZ>G#F~b7s#T zt*uRQ_KFg#FJk77TDzdVGXuIsar+3;?ua=<=n&D5Yf3iC5eIDM%$aiPB%U?vH>GUw(M~wt`DFa*1?WY#1R6eln9;|XLFCftxI>Y|YvCC1U?oeR|9$O_`DYIDAr!;@`im$k3^%!>MPgwcSyM!- z!@|Q4pjP-+ful&4^K~0_pXjL-37Lil>7ityZ1?W!VKDYq<0;mxdFH-cS~`@}Vf~q= z=4Q0Dk2YOPAK6UN2i_2gH@P$tl?d0Pg62ED#8g18AKsIN2N^%BsCe^cIf2g^YX0(+ zjeml~O_(L%H+i85UNM*hPCs)^(BsFoib_ge=Mv#R;zE^O5_n5bl=(2((7qjRXv$Q% z%orZV!on|A6pQ^oHriC|;hhXMHF^=k{z)e3Sc3R?;<#xa?mm5bfprb03?Z|1Lq_%0 zEkQ=wEbZux)Zf3NAC4V)pAKRO=pW?XN_Jp_m$&vHm|c2&q3D=c$*Xc zlp!cC0Y=~Dg4iM&M~=n*?+Cqv64qy;s`^DIwoqX0*MXbNV)Sr8q)oLB6G$0wNY)KONZcu`!nbfy?*9MCykF z;=>!9yKQ!-c|s(ROQRt|D*Ne5RR5B$<#;+!*tYIDx{-5UG(}6}qfwUDH}7eK=kL zPN%#ujdJQ4f+v3_KH9jssjC0; z`t=YMm7Jz`sM<43^ZOyl>c*dDyP?v&sO2_Y2_xxb*Ehn5BbBcFSK4c#5oJk z!*=0KJP-ex@hh)odGluD^UL9U2k#}YE*ocNId-ogjZ2%Rcb@ouJa2$8)-WhLO@tOA;tqHPy+@il&#c0T!ADcwA`!?X~Sg+ckyy>*%+_9lVE#jYbV6OG!f;BSfjOrG<8;0HnOMvf%e&a$9b{ zDp{^j^QP;dDNJB*BgPJ`@Kf4|#=tit&X}KLaMhI82NN2mQjjlMDX$Ozz*w+Su?Z4RFtGqkqD3g06>+Mkx&BwXaey2LIh~=>tBe;6#xYJ$V!N5c&49Zc=%#V zK6P5US1#y(X}VsMfu@|DjHRcQ49AATfs!=xt70gse24v{TtylVjmr-`Ef$_I`B9b> zBJN$eu>9-c#o3#Gpl`eo+-L$GzCj(73avWc$OGk(80~(uZgCeBOg@&mj|q78NpURQXoA^aTqF zLK>#1fr_&ccT0>t@Zl%;i*f-KTc+;-oUB0K6UsJacp{qFaSn#tZ||qYVMSPbw^{_} zgTRf&u=bB+R=q*C$A7EV{q788WMq!e<8wcnQrfuV_-dGszZ61!ALfrnFe2T0s@wa+ zd#a6cduZ@ZzLe=<{FjPO(o}3^sFRmKREg>I*PjM+zgk^BrDZh30-tjgXc+uwmWB!1 zJPv1zkLJs5$EKWDphyG9H67fir~p92WR&0NMnGJ@mq9vSEKpeWwWgFA3P`}OVK1rY z9wH5ho-FBS)-YwF=dw_(HDI2UVDR3;@Az8kc&M~U7onG%QpCb$Q4$>=Kv(mAW*gcro zx5E)sfG{d*MowhUOlB=CGTbNAO8h!zKynn#Va%(Tbq$&N>0qUt z_fBcR_#;*-19eV?Xu!DK`#wR*gd8n(OB@1K^McY(yJ?VaK-M>=Ry`Lk&HZ=XEF$!E z-{A*KdY&aZ4ge5m)K29UJnlgH+CRgjV6fRKGfN&w@Otm->#L@w=1%grVqY_{R7i{r z8tCkS9crg|gd5v7C1?3zVAkkaw5=D^1_!`GX&}LzA!m?KA06(T5HUrp8M+mjc@?w8 zOJM_|fnh$d3dg@w_78Yb$x^fJN8RJBuej5M8HCmnC1ombgbSd6asv~w3>PkSl8R|pgyCdv$R+&L z2kBl^9&J}?y7GR(82Et(kXk?Gry49AqWc^~t2#0WX+PI>8J;u}L*>;ak}$q5Nu{(l zW#pRw#z-`Lm9P4jvz3Gn{F(U`zte&9p4qGUow)wE7RNG`U}Esz+?@4Cd_ z0cN6>m4a&3-JdHjcHLno^A9spxO|2JY6)bQE9YOlnk>-wuxC$WYEQHel=J%;l)|dj z`mxMKlJGf%R>^ltgByP?GXHxxZ%rFhlz91?V-DwY(}8JT$_uV9w&>=+f7y4K0WMph zkn3B$LCIRmrp!BwNOJnWy1*@AoNCzSyE9^#70(@VT1Y zKWpS8FK7l)9UeVJw9_|g^fO{}bCm#m== z9?mP{Me5SI(!B`WGWV=G`;Or_)YC5;?X122V=NI=2HSQHkvQ3-=ZKCv%-aK@6~eBD`JE$0VSr-D^WV zFKaswE`(v)e2c<9XI)(1(mOg7V)XHsrwl!!S#en>)?gt7Dr8qw;WpN7#jOAFF!;l1 zt$+PyQyv1|uq;|}Din-OH5QWLo?vlWk=9qc%Bp|l2OVef-B%YDAE2NTke_voFsn}7 z`E&`{nDDbSRz*UOB^;vmuQCq<@R-DIv!>49#v>I3`jz9 z=5u)=>)ugxL;Ppu9NdT<#OvZrxAO!&F=Y0TT%_<)7n3Vyu$e<)qXr z_|CRvRNxH_fsKs0M)lNqiCmwov(GT<_m~w9#t(@6<%jX~UYLAD0$GKgyKt{?5Y^4r zF}}ump1C0cqQmNaMbqAb5Nho8%N2=rM=z|rx=3}r?4c)( z)ivw1WnIPZgBs=V365q&#w`Qo@TVzBlC2~i3rLa@&Irqox5iFDES>+cGfdg>5C2%3 ztmlqY&KPn95CwUDo5=ni0t-E=j7@yT!K%5aMTK%#(RCMqh9q=|b zmD=yvmbZK#tB4P4S<357!ZokuRHJu{11v2-1PCLCdpB{hR##Ch8hSIUAct}gxfM`~ zg>t#+3+H-Ec#y9gRY~jn`5ddF6cKU4Qu}WJuhBnusGwG;u9}xOHh*ZqNn!HSi|9}G z@*84$ydrqG3HLc#%uMCC?12RFN*kGvfco4PxF~@{c(@B%$+OH<*$*={SDE60Vemf$ z4-Rd|2ZDvT;>mGV_0E3FiEaG(^A@UafkS8HW;7U&1QoG|frapA4N9GSdo`of1zgvs zpyncy{XopQaMcThshwThknhOu!`lo<(Rc6v=B<8*Ay9?2-!XKa z=yf6uv`Qt#=o*k%TaBo#57#$njxCD4ddW?+R%B0t0>GwtG?7G5Lkin9y^Y}IvDX}) zyIK|VnARN6H4jb3jGW|w{L9^D+5x6fCIP_mvF<6W!CjxtV2^b}@)xaTk34XhW&N)e zS|+4ah=zs?H#gcOp-IBaRd2$HyQa`RnT(;ewZ%n;b?>Y;-$!1Wg}Uxc{{HB5clvU_ z6}|j9hUfzkgZXILqJdST=%nWRbrwk>YK6>cs3bQc43W4-Zk%E6sqNEVP`;8#I1_!_Aivc}%nZ=tQ z5h!?85+O42@y}9D#6};|ZQXuE7`P$=f!XDj3_L$Z)XnXtqRP=rs;~{qpK9iHY4NN! z{ouY2wS19}7l3!IJ5>o|8~K!ToUo(4SRx}?c^j@;$-ZZ?KvGeI%K)3IRPyxAT=s-k z^@B!+MygB7+B`xw^h*==8$6+qZWf=*?pCyju*|7=gNxu?S?jfF~Fem?MPkB6mG^vpX9Ms)C8HcKo_4viKda3zPg@9|3Srf;cjQi?u5IMohUm9U(3##}j(@Q*{ z1T&mA3jO-}T2)nbaKMB$76mkG)XWsi6V2*IC}~yfiDw9~Q`%c{lZ!TtG+0pAf|R0# z+A15vt;s?;g|6iUzGsREk^|)<>e>QZbY!-`e{2*)9snqA(sbd8qm8y55q;iZq!*oBuGA*Q$P#VI^8sr=`;lz{yZ&mRR%`;W+k zEmjhrQeAAzLm(zlo7y7I5?AAbAf+sMYrOiTr%$*8{Z?V~F z>#s8Q8u^whNTl=o87WjL{uPUxWeD++=nCc?R;fyjPn6Yx8xwQO9Jx5@((j|WK`MY;h&yB;M{UJ*%xr@>Pvp#~{Br63>V^H% zprN!EPDctf%*f91r1;sxn6go=l4y!V|uiz*h>PUR%^bVru@3aQ<3 z?fYJ~^a5)S1t2&%TXv|nK@+=E?>Uoq_R5I`h84NkCLupNGtV~V7qc3@)!f^bm!pso zh>vRFb2A=`jOo3|KD3+W;DY-|$6^=`xL_3nZy)h1mfm?;&b05A%uqOiEmR~e0&60z z8Hm$m?SrqIwDZKzy-dZ+yvYd!mH+K@Rc9cmv4huJWpG7Q)|aDM4e_ItWV?6kap9L4 zE+7!V@>mc|$RS?-=Hk(Gu=FqP?9i?cVG1pb0QZ*h$Z7{V0D;YdnYXSeCE|X$km^H- zvR0XhdQ(^3yP*4x7#e}6NISzH2&CVt2|{hynDH*Q6&2NuISB&p|NVHl+KcErCFqWo zdG=hSZ#e1e+@Mi=8DNciR8@Mpfax32A4`CIhWThwSVVY-ym3ypEKr=0P| z_TPN4m0UgMVOW#hXbzL^Js~?eBl{a^4xjs+>ebDQFGw|Y2AGVRSd4OrExYe_oc)s4 zq(e!Eykr(i7!x%_uNl^z>@GX#cWRw*{D(ocg?S7I{jr!$^)R{=Uz#2}hp#*20}{gG)COYqUR=+}&t$4bp6F1?h| z z+{a<%oASUfl-K>GZ_m$xS2wPiQg}r#BFKQh4L)f990Vw4>&3HDm8^dS@&EvG+?&T- z1qN6WEHqS~{`X|jVk<^O9E{f@U&LA(8P^%M4<=X{&}Q}I9S)VaTa-~Q^L!IQRuveb z=T74E(MR91)YW!&k>S$SG8ylRwd>CxOR)Hf21cVI7Y0M|mgSQIaXH;}=yGjSJd)gl zBDw42;}8*kM@OR{$-|m+RV7xk{Vmn0S=@?Q0GoVpt6oMOER-%Cg57NuL>h*d-jO{u zcJ1_)@Cd=m-n{ID--oYsO$`Z}B-FQVI^CA~=v^bHDCR&2a~(axVdZAl)2Fc?Ux&`0jdx4-V=Y1I~r6RToEj@2{HSOi3M2;GB(+-{bXEu5_hA z%Y2*9U6P?UBJi1$;2rc=(aBoLXquq0p8-xj zcYi#4%*9+LZl$lnEHfEPS#5Gv#1F*W#I_XzvcTBzOhe5sJ1V72!H25}kru9SuS=_U z@+M38<|1VCnTIdLH2Q0iO`pL%V0>B8u--If^?W(PG7$Bl#c{oTtjx9?$+vh zy+0+NBsh<9D-oOnubzwGZ2hyE#q!+=ey5D2vPC2nhB9&a{wgz!O|pz6dVv(ize^`c z8y}Ryq1t5ruK*$bvqU!KTCpTqZ%#s6i!F6+rK;6Rqw{jTJ;jh-y&~i@I9PyfGXoKk zv{T&Nz{iIAi+R)%Mk4EW`(&YhLk+Y(JFO>3?v8H-cnBiDH2H#mdDijv`f|5Uf{VMm zQWHfi)NDDC2>>;V&m$}yd4+|xb-Lj;d7*{k8zQ8h^`);^8*v~ro>AmO_Bnl4i2XaMgazfhK5>NG!O)Ga&kBn{PRJIXwQdGU0V?URIzke{yp^mx5(U6 z?6AYe_aS;Q$H&K1^1q%Rk1A0|k%>GQbaZrZaBzBlpgT?*ApG7Mhz_{u!;2Pv+`qrr z(zCWB^1yX-bF1ulZC-Ua1NAi<8yj))Z&_JJJvHG$$pe0@)Q6O8IK5injWWbBH0KM>o>)kvc#(sjPUbjSAtD?UbhN zT(etqt~7??h|e`bDi69TGVMh#_~hqo+!Pcj5)Uy%K_!Q8$rM+OVdu$R4b^%vnCOnX zXid|-{PfS)BHVwM;GOJ zjm{LH>_~0u=|*8TJX-dA!sBC2XOuf7cp2I%jm|J1aGm%A9;OsMPN!`o@O_1$}6MFE)n3@PbW-=_f`L-CX`9n*fR zw?|}Nv^vs+yTim*uNu~}cS=_OFG&cf)_;GdIVpuCt>Imof%gqrcxMe3Dxp+SM6J17 zj(~{CS0NdfS7)#9@CPu8O)KS67{#CKwkI#Qp*9-^T+1BX zjr)3oP{(4WiFdQVyg*ASd%9S&w?CCDpTvCA_+7N2+Y%V(TUwNan=>S91lSr}0; z;>WT&vteta=f!4la4?>sCmAbij9Z}z`Jp?WuZDH|zl0)Iufx#uH*NuCiKD6eWhua* zXvxs5ar-CBM<6k+TKQ9%X+eZFj#cydsz==qbeO^*Sn=;1mY3_kSX{e4Ti;jLRDAvG z_|7yQ9P{LnoC(eO)gF7w`C$1{gQg5!a(pAz!D$y^$-ThjV?JL)Vy5T$Mpu>T0RNt! ztymXol94bFSg(79$2^;59L8fYU1OVDD{Bw>#AEx)v+#Q*VtMtLm@Av^7H zX0%g^(7e@)@VziE5jG(U;qjb9Bsi{?+J8;u^ltNCZ})RpKVGb{^tpNDfyiZLIxsM~ zwZztI+cenQPS>!ar17~}Ok@iE*L*Cq{BFBLkSi)v5e>e+5?xggov0!;9T7(@|0_7< zY5q^DhZ z2m9SPo?7v7C&?%-E-twevzANR=i6dtrHC!n>bif+Oe0frp1qxQ86c*&Y~dlke3H=D zJ?&5h;o|zXq1Qc&p_s;ORIlHG#;TB-&M2$kn#%tC{9K@%b-JkVb@b;KY&3$R$d8l1 z*iGvb*+Kn0rZ&FRM_{>c9;B`u#W-7+fOU6U!ezM++4kHlFY>uhj_&axB9V?xb_hA9j8*e{vepU4ztx_Dn zr%MOLVhBDyFE|flP)McoyV+c9_SIO7rLr1-+oJkb|3@w&k{u>k+nyDHG^4z=UriK7 zmkPzT2L}f~&_3u^nMi`x0YwtI znPr(0k&5>(0+~F`QW39dGSy+RAg5xVvYg8QE*7BEj@#10q98y2<%(!2_HqT4(45k$ z6#tJ!tZ3c*CciBkAWDUFgB8MaZ=LO}r&FE}fm$kLyRc2@p9=%<xat;QUPm4+iLsJ%PbIXM^pqx?2>;nL z^qAQB{WlvnAEIC4*%!P1rE|@`50^0TXpB15d7yIfKMP1XQ;?696#~Shr?>h&-A)KU zm1Spd%xM|9;nQw^Y3eh_AxA(66eK2JjR(R^O&uQy$+r3;nkGalMcj}UPhuvL?hbKU z>{42NJQ^r)i3XnT&PZ@@5|fhd932Jo6V7Zc61Zcp=F0w6apo}39k;5qt^RfhX=Ge< zlwcX_fllAq&y;f2JXv%3q(_vJ0ozEqX8E}zJ0p=>?0D;tP4Zs;Nz1?u@*=yeJlQh`fO?+`PM?7Ku-G zw6YEE@JLY94`e`s&#tK41d?XXjR%!cm>NCl-yj zDJc7Wd(kpw5u^S`Wh#^?lRR%5>WwLB13j4x zW}ki(kc@_s0>Gfd!UrMmmy3ZR{<}w6G_VXQHVDWhW@-Vv!pCSgO+cl{YT-328N3n}OsHEVPzBOvM)hzD$f?$vEIqvLF zX6lfVIc+Bu-64G3i&VXi3HjLdfpKN~p$0M7S1;G!zPDY5m%@j%H8=b2$hnq^!Ni(f z6lP8D2ArU`c$}@(T4NolgSu|)Kjdc#jHr-2(;ha)XFknx9jni>N)p-PcLM$>pEs-Wf$T+s#3Ma|6eu0H8AD{D8YEp~`(UqJzofj(#Fu#OjMln!&b zlGVBq&x@R8;3rrb&#waK$1t)G2`?|c`=TI9y)~_7LI#il0BDqA?PYin=uH1a?xK{!+ zHRs=6??g)HejN+sM0h96Ea(T1_`Fj%$ZL+aPRxNgw;y`&n2S=-m%4XEI!}sI9Qy8@ zIoM*rs<^L`DOes&1O#XH)io041WD+`-$-v=(* zV{N@RUhS|->Ob;5Z2BOX#uNaK#?oq6qhw!&=aSh>`=1}KEJu^OyhAZ*Ws|X6@_Lia z$!^rz>9tdPQ@3Vfb%WfBMqw-gmGZj5qlhzI@bPZtylEK^b3?dHGTF6LX>Z3p+@Eew zW(pLyuF^KF-uAKr+z+OygkOIVxKA@1G#@V)3i zz;?s==H>=O$bjRj0RRwGnB=k2EK`2dl_vuxm5EMSqAcp9_2_bARX4GK&tz_#6dXKa zde`p1KEx%mFVV@vU%$79`Id)>WwHixq_j|eHs$x^M=PyYgMop8-<4N|$mC@YsslPs z_f_?*i%CgE`91?iCl#Z~XyB#_jM?c&{pF4q7au=obCV+(Aq>jCVqGp+pFSRz^+7~M zobz;v4*mthu#dch0!Gc+LZ(}&RKG*2$3fG|mbz{X8Tx`-ObAwmDM}-PBJJWQZrAVU zd;=kiUm@aT6)Gy!9(q_43wX^|QInG@b-Ed`vHxTq1|&j9OcMME-lGI&+RXkbCZWAK zw{=|Kgtd=`BuUVEa~|LZtGK$lf}|>a&i`wdCL$3GEN0NxkI@ov}1A)|Snq*b-}VQf~@O2(J#p)ul)fHN4s z-=piVdx^?_bl9l!*vegoE??J^p?g@5oAxrFK+ztLNw?PZU>cCs&!wus$dMF$@6s?l z(Chm>hBUZWkm^b$Jvu_~;yAC*88(6w!hU)8?x*_9cMQ09#eXl^tqYX;9C4CBvARsZ zsaiIJ12I0IRi65s6{_@rTVg(?_{1wYd$A+f2Oiv03aOq6r$}e8->@~X!{Z=!-J~en4VF|^c+eM^>NIahffIIE=W%1)aho{p% zGE3vTVvrssCMJIR;}z;1oyFVg(W$WzLWcI>2V=<|4G#s#8LO;!zOOh4cOH~SPA-V$ ztPb4yEIvQC>ie+6!Nx|TQ8Lo=!}jg*=ocM8c6D>K$YEIk51R)MtDnYKV=RzJxT%yu zzV5f+_VQJp62q~B>0;x@mYjjXY66|Q11IPbK|?91MkB_1xUuPr*6~&wO)_$4$^O;x z3rNT*EKTf@#^)rxuX3kz^Devs_w8Dv^HvC+;l_ohguVT#%R~kmy0TU&hjjG(>rK)! zUkV+=(P0mIAv|n43R3g!e(q>Z3|x%c2?5xdDhS>s$>siHPV`KA7dNrj0g{4;hlh}m zQ<^#j(!e(80$4dr{a+tgRWR2-a)iwx^UMYKhB7XG%JG#nZi6Z0UN&z)RTm}Ks5g;3 zt(jJ?G;HYxD?~Ib znJzHk`sknFN8(NsT4zpV%*}W5<&&hMhz{=KXOCD=3CvvS+(Hmx5lc0#3zR(=DSqNH z>l3qmD|%U|QiDJy%_oQpu%e_P>}F;f6*{IvLl^@C@T2K;XNxlZh{oqjdA=Y1V&SKz*0_Y@GibM=Q^D0kCWOI^%(rZ#n{(B8AEimn5 zf3j2u1qF3`c{xHM-Tb}!BQcBfiSFA_{0Gc@W#tJXp;Xr}>VLMJtJ5=mkyOAlUhs9H z(x=zkw3}T;XMO#Rj6lP_z zn-7O#PymX1Ou8DN8RxK!p=xF}F{+?X{SnsLYg^_dmck+9UO6SM(Y-v4MSr zQ9^@ht0o~9>p1TXSK0XUn;W-7ObG~x034N7xY)dc)eu?sfCm8B3PCQLIzyd7F@Og4 z7b@4wbZS7gE0>ySmNanfEji7V?FS*k?~APgfx~su)Oljz(R4#QbMx;tmQXH0VjWT&!?x}P<;oZtv=739j%%&B`{}v%qM;T7M^e~3t}CAt$;}#O6yGj5 zewWWLiM&n{^NBCpT@njHTTWP%$Fcf9--EJX9OWYAo<&ss*NMGo=Zij*Ece$~P6YHGkQ9ErG3whM>KnG)DkXRCS~e*C4*Yh8g*Fz3taGUbZP#aMlTP%#sh{$7`B zZ6DrZt92U4q8Q-NS`7p!#ODZk);xFLZ)VBNR^u>`i#(rC>1}E8@sol~QIkIL<>?L{ z5dA8;*wOK|N)*eAGpC65JesHJV!rk#0I0fha@&HWAvNJ$<%Xt zCL!$j)s~}0%WccQQ|SGltG?VEZiC`Sdk9)<^j}AoC5I746l7$-3(1C)%v$-RY%g$_ z73VMyxB2@=j}t!lP&Pi{<+186G^VYr%;e@U=We}HyKTu(=U|B1f`O^+BI^yptb;oE z_}I;}PU-T+;mO{)mKjt<`ICq?ezSBO|GLJy^dv*ZG@=@ zEaEQ#0ac}Nk%v611GUwQEmS)bxsK;*i>KRwmj#UJ!ot0d3%F8gpMkfX^`PXjT^t6@ zMvE^&__!dtc2BA-jF3kCVA0)9o?(ln{W65f^RH{?GFe&V#td1KvRK5c8f@wjBCpyW zo59lS8mY{W=RHdq0vRnt5;M(MG!E_eCOvB>|COI_W3I)Fs6B!;CoZ$0FFpTbvcA7~ z`FJX8m+MLD(YyNUYFn4xJotAX;zyLff8P~;Yc0?D*2a=rvE1?I>idiV5WS7N9%?iM zh~!xB*5$AJZnciy7{hzgno>YJKTcP}cL$2f;Sy+G_s9d4W0{Jx zb8MA)h?@#(nCijPFwmn7!++v!iI@2Jak2A7Tz0#&#RmNRqUo>;w>HDy&fcuj#vb?; z;}VbNGfq|>8r8g32KIcTiR)TCeBx-;DmyNYYXUAj1LU!@0{qqlr>)GIrp@@5^O4na zKtTecYY(&4=Kt~tlCf*=7yI_J`RtRQ1^}Q>j~cKQ*-4Z62N!RPJ%v(uZER5rf{p#Q z>M{T9n^Ug|!KXz+zjMt2^{z3mLpm*Zr>iPlloiIs(nzuEL6xG14zTgw(I zHLeIP&C2$be4={03m8{q$|)M=vW4yHQjNfCDJ1H1wotMK0CR3EH@7mvEKsATp=`8l z+unEjoZPBaS@Cq6QfVa3okmL^Ua8sQ{{$J}nkjgQBDNnIg2JZ`i@u{(MM(5}vIptT zn*%RG&hrnF-l?fk%KF-&?Ns^mbzy{Wvo>CtE?EQp{qCnLUJDfl;0$2fzij_$X+;E9 zT+HbYIg?^)`siUJqL-kvetM2F2?*aXYdTzd4eUW-jC_1<0v_y&h6?YtMB|cqUFOS- z0$%FE&c5cJ&@wYeefITBR-rwamYga?H_A1}z(jCv(qGH{0j?d+6_I>s+I(as@72OP^j&fiEfO4@bM>}7NNI-j`v`eiJ2s!PYycEvg!X&B_u)WUKd;LrUsADlNAc8~+@k#4wOvR)>~&n>wLmGMWmgk&&`+u`aN{?Sm6eUp9G|k- zzws`%G{OUb99p$fE^`aax;jP0(H?q93H$Q4)|GOMOHX5#_I=?g(V|S=sjdQT6*mEz(44_XZ*@)F;yG?QS#(wPk2ZCq?rN2m^`_8b8|i$bFv;0`F6aII?@35l z;)e((qfR7Sim@bA=Lose73KIpV7c(~KiY|RGwr2E{-gVp#VVNI)VT3*-&?6orl|C~ zi~)$Ny1IfxYD7*BX>hdA?cbBa^Gz#M+HmiulLo@Zz@qZD+rOp<1Y=DV2Fh@7h8g^c zT&0`>kZNWaFF7jP7Vpj8^93UhW+k@YDjaS$+slqVNYssB92<1j+diO3+p4Ln=gu6o zRtYUJ(0|GFre9ru(@$bPczs^(T%TE`)9XE$ySw2g+UoC=Cb!)@GgCZ10O4b zOTADEWYm%T)#3;we%Di=ua?6-V!ipnKG|$X)26|(gWWl&^m3qgGcS_xh1hqJu;H`3 z;aZ>n%gRs8?#aoDfLFQ;Qcej)#h2HY+Y*Jx{D(>?A&P_?>?noG6ycZy1Eo?wtw>oeCQtKxY#&9T*2V60Or1=Q?eV*oq` zSSbB*V&yXJDrmCVqKDY&qe`U|wFbv5+uVs5vJ8)7D^j9uBP;&5NS<)v*S|~}RL65# zAfpbkEAWw+0SN@^-Z)fnUWNd}(@hX`CHo&f@jrTkD1CD8Bf&Qagd`2VOD&Mocq+n@ zhek=-EzE27x4~9$zh5j;|;xZmu-BfR$=^8sbR8 zV9u*v#U|}DDt_oRh@R*si<~}hb!&~rW8-n!%5EK(YnOu+x^=;z1tV> zMT_+(XZCEt{^-K^Z!dS>Nbhpe$2vc=j)Kxc&v(?#Wi*w~Fp2n;=@r^~*6m_sYTa6H z7cC-^FB@$-`wgnpO6iTD1S>VOrs24hAmqn?bxvX31NTO!-s%NW)$;)d3tNx_B(IQt ze~5ZNV?9To>F6^2qm~LG8`IRn`+ywodd)l99JP zCo$9o@FUr%h0=1G?VluWnXbk1w8gBfj)5XQwL)^XF?Q3J&%?uC{zoTO!MnVX!4J0G zU@lwEr`tIaK?Ip;%R$IGJh9bAS)Hs*{&aG3^3~o%i{{%6AdUcq5V#P=W>Ze}ge1Zf zAD}hHfpud^&rL3IhnC)dqPoJ0kD^&R7mxjdtavmtqhq=niO1qytaR`1A9gf9cLGW& zPQd5niOJvo=z@WDeuHe8^Tg&+?33z-$c<;@i>NcMv^e*dfQHOeKT4-}TP6wI9 z9YXSUn?zkS|5ricr`G7LwZgiu_|zvWI;rU>q_7BehToNxNk#W;lnpBu%WIOJ5Q19n zBcoJrtu>0l^hWg&S_=+LWkaH2@#;FwdF(vVS;oNjP`sb7uVCAuHQrHvQzsO2Y!Quu zipVtt$TpWm==tNk)o;JrTxSd#kVhOP^*cusWD+5R{C6nHW!SKsn%sm26^lEwQ~^9t z{59^5-)#Ow$E?mAXG&6HzO28!kX&z$++ZIq<>~7+D(s3_$Gw4$VeKD@CMdF2{}+Ds z4E(SqP#_OSO@id~Y}0{BwQcCzcncbY$vt`=0k@&`$k6e!)wE-t?vaw>?6#;)5TAxL zg`_~l|0p>O5$BAgJ;YsS8o-;+t3)M}P<6N+`}y-HXi)pC!$%fvnU~(-_-k4;+mIj1 zM{3>T`g^z9aYYh1zbmfZW|MD#1`f-qimH6hxIiz6;13$OAx%#yS%0f=*=c{wAP<(A zUVTCDE(nKYTmSNR$OoMTb93{#IbwNUTYGc8FYApeFF)or3u?3s%LN(_`fcZaNex?1 zhL*7Ju`e^_ttr^F`M}&ke1+FbK{|W&fh+vr)4K=X^{HIK<|;`_B%m{Wg&-(}x@1kW z`Jn#@464`GvuCuCm%6X-u7q&?`XEnVa9A(wv%>NdBo?%yDO?KY+J?h)$MA+uSuZ(eq@guK`H{bZf@ zyb)(`u=r@pdw8p{Rm&&PXWV7suP;Gae)ZQ8Ec*dJi&RJvymsGP8jA6Nh&_=}s$J8s zsn3XjG_8;?gVgeh&%rEq(?o3W^&BqOt06I9jE;IM!R-dD%5T|K-Z2wUPv zBs`1utb$q;1z1bppaIs$e@!yZ2-BDw=-%tpjUZ1bVk_^8T$Q0?eaQjZ>gz~IesTmLrTa6n0*;wcQ zz1*N>|929cwiANjYYf+OrO}lQbm&Z*Qu5WzirFHv%XlYh_`hn`=6DoO2{|`s@#-@- zmWMlekRbft8A+M|1$jbg!qBbQvo;zPfwr>Qk){3;WzeGWvAp5kC9hM z+1v7=cAbMkZ<^!x_G`8HpQZ^z30Je~AXnjywlCp!IIgw9DShcjjiUtPFRv>u6ECYc zorO7mTOkk7qJ@UX4-jgi@E3BCq+*%ta6_o|v!uX|=fQiA?;yJ6*N4 zOh0881O8gy);?gTk&WQIU$0c&a9yYaV8Qe{i{@g(#huf{XIA|1h=@;i#yu6H#4J|h z=@mY=dBj3X=5MbtmYH1=$IJ`!-QCX(YhM%_KI)bCk@)4wD?4`ofs{PFcr>KW%(u3t zv2-XjX&hZ)62xMUk=t?Rthl!+@IRoTCb~J>gL19#*J!7{_p5;r;n(}EHGu_VabwV( zGPpaD2SX-D?S7dyV4;pKRPJ@${Q56qKpXViX$Vu@!XjQu`)1kk)6qhUk~#Q3&)_g> zz@Ek3nHBJ=^AxS|F*G)mia1@$EcZ$+{821&`&WJ%Led>#>QvtJ)Cmy|x-(JIh;viA zpX7gDl&S`pj`^vn5peH>Wik)28noFo`!2Q-#+5C$KAd%l{zvdiwJN!V?Esiw=dv`! z#G+VyYlP1wOj`#&x*icp>iHWw_Y})u3zT^@cvl#ECW1I z*I3lx4X-d2YMRiU4Iae^tCA<*E{^Pg$6H$ZE15R-$YBYJf#-8J>rZEQ31oY}^vX2n zu^9(#sE&@>F6rR_K=gfN868%7EJGB+Lze%e^PGYm^g$KA&!!8F@w~Mfw^M6Ba1y{+u9mb3zdEJ7xV<@?kLl0mGf!8jj6+6 zz}n{X@{k4_8yoMuS#c3vdcRXxRX=A7c{R8=XEo+|yC{>Ua0vAZ2h-wUa#$*`-`It+ zMA3r=EJ22NY6AlP>)i+zL!axZD2+hgaMwP-4Cjt+;*D<=;e{GE)tepi{OWrD~RE@#uOc{f>HTXtZd(L*#5ui!T1) zti!r__io*}xOV1n4)w{379JIJNDq`VUF{PnsUJn2ov`}hjn8W)=1>1#oPqcNc~s7z z2i1pypuxexnL=fOw_eiBYy$k>`jBStqn7AJhfD16 zU=siHrZZv72u7~DnaU3Cy8TK)CZ^MtvvlT=m;Yj z*kAM3H#TCX#ri8MdHH>QPvtWJj8|*tVofeC%Pl(r4=-*vgVkgurIwTb}GN6by)tDpI+;)KVZbI{$~NI0ME+5q=kZ zKyayr#g^o9brM%CLkzM`8%xhv4TPHcTBg^)EZ~mM!EutG?;9!gD|Oh`iKZ86`vTfx zObwO9q0#9pcM4?&e;5{KE4l#~1FF+^ewucVFBt4e;Zx4Pw1|gt*2l)_vuSd`1f}4k zHG}!jy(Ts`hxWoDTim~`bxY?Sn^U5l^&vzk_~yi{VZCg>mrriX${3}2Z5kX_iMniI z#aeIX^}rJ@EbaF>D!)~(4`3dzo65VyXc18CDAgV{2dQyQ{#nt%LVs=lTH}n;vxv(K z8F;s5ujd>hzSt2^^W$#fDw~w|@5ILs_1_WE(ANGK_ne?*hgb=iCV>EM{iXV8tIq_S zL~AuTdF|_#!Xv^`Q>puM|Cm&1ml=9$I@Mx=c6b_(V}Zj9FSI= zRL*;`l9Qu?HiFQ9N^P~Awac^m`mX-Au5Mq`)K^FuQ%7b*v9Y_N)Otd?Hz8|HP^r|#0quCzoB2$%=)HuRc4u;fwraoHCxF5pC%WSqk zjn|3OGsgzEpMN_mQf*l0BOhvR^Qr0o*)-Yl*7p_0Wq0gKqhd-P49B>D$HA9L@TITL zudaM9hiE=@U}=5WcsuXuQWg$tN=~E-3scSV{qp?$07e};z=WFjS=(JQH&v|6^|-(p zX>dCjK8K@chs@1AIJUVtpKl<)JQ)#lmzj(aScJ-Q{Ly9 zZATW1Eld>wOSAex5PWSq7!7r znYp>S|ETq51WWtd>l36<@`;3wo{8ZJe8JG~=2HNR+PC?I1rh;wJ20z1nnbTzIiA8X zz%=LLUr?2TAakP#5@ z*-RwBbhxT&Y)yt#D5Wf5EF&{0P2#s537%Og(xBHg_`jaM0;sC*Yx|NCN-IdWfFejp zHwe-V(o)hT4FV#Kgmg$qhk$gW64G7L(jiE<$h-LczxnPs4ny9v&pvCfcmmm?!ROj1 zuj*%UaWc2W)PB>W<-_xjk1g4HdV9Z~En)Yhwv8pECvHKtElX55YKcp6u;sIR?*gwC zCreILz?{fVEIR*wMjpNtw~;)ZOG8S3s>=gK1O|Y#VT9PK_AgaTi5d^)d5lk|b4wAx~W>bTk+v}G=UZDLD@>i>2S zp147Ed!3>~W>h(4Ro!qYT0`jejz$K8;MUFqIR)Fy6TjvrL9dIW-%7$S%B?gyltfkq zkH^ND)$~}+c_WolxC)Oy?nRsEw#WA!MAAqEc|$J_2CJbaxl_QP+f=}`aFfU%tuNK4 z31Wt3MX5YQtP#;wh5)F$ngpFphl8m!|6N#j6C3Km))*;kaY~hj3M7i4=2y@?B${a& znUXOP=}MKOo!&Smc_#Ivy_q#@3ou9+1^3?L$aTRph97? zT#_toM;KrctjxVUf5IzZ>4?XoU-RfRkXTQ|`K7!2q>vXq<$yW9)N1pERrh*EV|B3b zwf9ke2ESG!;D!Mt?sc+lxw%7MRGDB<2r3xN(Fbo#yf2>hcsYn2-+71E)78bq%zU5I zT;AIK88p@tgYR$}G#uFz2G9%&5kroXj%;3Xeol;j+d5BBA4JkZL96{n(b&u zZkBX);Ph1K{7`9f%)itd5X*CoZd80uD?7MJIXisQ*=QGssJ3^a+Ziq+Evi_)kh!(} zK@}z8^7WaWG!*#zggO$M#2Za6#R18=%TysLDJixyNjn;3JPr5Qm6?cu8Z=dFZy1h4 z4E-|uUaw2zW2%lHy^~u}+YkRfg5KmaY=YTkQ4Fu6jVCb3y*I`HuV>2($K~ffKHW35 zmrCi|d*W-C=Ta?)iYrSUcjyfZ=BmSA(7yd#RyJQ(o@=ZrC^j@9!O)9K#M(QaM@;rO zt$4NqSZH_GK5D+%ppbp`>{%n~1*U{}%u`!crH>n5YO#@#vqUbKycb*1A8Az!xZ?e} zuZB?3@0V9vMbN10==7w_l@<<#OluvT0}vOOULdrPUNT#CymoCxTFklgL*IC?BcSzH zeg=;F_LGVh%2*kP!m7nbXjL8J94(+Xp`yR@6kqUsC3aBc`Y*JNNhwewWSW~B`kXZa zdi`@kjnhB66k0I4boTl##rUv^L}Nrn9B+ND(P~d}x!Z zpre>^>=R+>J+?nHO4y5@o#%eh+;3i7P=JApdpfc?tC;+-pQq~N0P*}|22-n=*aX@1 zGT*VZJ}ZHz*LZn_#&Xs?!IG*yrSoodQqq~1npJca37#y!i>%JqbPiI0qvfkE5k$@xMSV)xUd91s{9N!v(5u?JRKu);qI!i!F`A4DMFP2tOSC~~xG!VFXo z!F1VeM0(9vW8%&w0Knfcb7t(n+8!}cBB>kKdFLE?0izRvKzgrwLW(D-%Zy>F z_k3Z9@|8|)aUYL!4OT=BCg#X4nz6Al7B)7fzXdTaQ`fo|n@a1KFJIH*?KhES1>DTX zC3H&eA%0ES%@KdM}Tb}sP#6(TBLmf?QH=y!ce6BoeU8l_<4CE*&@#r^i9J(cXAAKm!w9m9>D%Gi39E=DEz?n_oy1zYh-& zsrL2=5I0I9Ap3FCp1Gm2v+6(Rkd>7PdBKcgBs!dvW+h%)*eIJe^i+2$>~3NZPBXjF zw+%Le0qEc{` zWxaUZap6tAjNI#<_f@ag>&jXP8tGX|ii)uI9-Ew3U(lg9dcABBmv|OG)ojC#<0w*t zmW@aZaj54RY?vew@%fv;syqFAb8UOun)4NZ%&8u!;Mv9Y)Pz6s#KUtd7pN!nCYeSC z(x8Y5s`jBqWWw6LUhCUGn(a$zmS<2g>ME#U$5x>e!IxtehnWFpO0>)6V-8mu^=j9W z${GUXZ{EjN15F;@hKA59=49(!J%Dl!h00gYcM0_yyHtj7OaQ79H#!cbAj#dk;~f&K z!Vk^9s64WKy=B8duTU31t{zSc&%=RpzCKy5w?@S-#sF*n&i?7??nrL$Cy8K2g_IjU z#l=UD!!2A&=O)=L=kZh?n2>j;@>EVgB(k*BKiPirkgThh3W|66AB?3~q*vw$Q(QOjt*8BCr)KY`Hoj+JEjvQl|cmzH2s6{7r zu#lXB9@ZVQDJn-NvY6 zQ_6#LSoz#E0Zv0F6PUlHG4&f!9v8tB3RW#j&FP zQqI3`NC3F<`HV@5_*Fc9M{!rj>j#9HcFp`Y+3b2koCC&>!PY-se2e(g~*Hxuu{pNkrIc3mP_v< zD@1dZkGY4x<3nX1c!el_6{+`2gnwzAMb0j*TBh|7GlmhPbW1x8gJcRH6wk% z$v-f9@yN2j%5q!8KER?lzGf;@)GxflZnDdiBjVX|2b0lzrHo>iTg=YkFZF3KFrvQ@ zIr<}h=QOaX4p+7(Jy*V0&8x~9X*0rhZO~RuZgWX%zE-T291%jVkjUnx`am(XH9%aR z{vb!4{8L@}7$$;xB7fIq$I$NWNK2No=BqmxMp?T<7*eOI%XedHptaf3%8rrBr~-Ez zhIWhuPkuWazc)Nvpf+vrtX>&ax)}yztO|MF6lzs+#7c$+fcm`I;EEr+)LD`BM%WzI z-Y&7FJ=P^zfsQOt827n!ZX3UiITH=lTFvB}zO6UlbK>VwkSvzm4_Gg#j~)WU=x~2O zgM;B$d8b}8-@N@s@L`AJkPJ2+Y_al{${cgptP0ZtEJfa@^ zWS5RnI+Uv9crUbwaWV)}Db>oj3p)z;m!Z3ANp=8t1fHK_wY;%EKNlw`k5*zG7kqkW zJxDk?O6AjS`mcEurHSxARGEbXA9CWK0^{iW`wN`ohOJunFj9AScfHdp;28;TuMg-q>q(S1Q<%`CVCrN1)U8q~83yYv+@JF&Fx1gXPy4%$DW2Bnf z_Rm}ziP?icd*0rVY666(cgI+A)T69PwZSHN^ex7c`;eMahtIj$A(n@7$fKc*-tk<* zI1R=>*ULJ&*-(SOh_F4lV46212WM?

*+>wk;`1qCpdwJ1jNkNz~71Y7-Ne-%D%^#+h40E^vNwza%?8dK2N^OI$F zm=3gHqF-gi)6;`!N}GXC{qMIZ@_?B9qNTa@Q&6bt7Op3jJQ_j}6z~A*YNd?y`s=j- z!CTQ^+EwDhA_qIQgp(zQ_cI9fV7r3~RYC<5=@XOouBY-wqM0X!eyl%otb8Ztn1#|as!V*&&XP;f}omxe!b z!jmCSrn|*Q8bloe>}hB&W)imzjd>c;elY)W`?^q#;+TUph6&d*@@eu%m*&r!zi(3E z5ji%Oj|BUQe~RWp3FVn=WD*hI4v*t2&^~lExLE((5_0=9Yv^;n>e|^kjFf5F@cFY1 z;IEVf_uBz|I`=dUuk*>LFK>ZrDmq-t){90mp^WYn=^6;wY{->wio-Np?x`YC$}*ME z7}rhY`{}~booYv$%X(`-v6U{-!jsW*|${^G43Nc(75q?Q0&kn{O-X=*{_#i@Zb>l%ANil0ytOIz>%yWCCf zHxGd45{T+w4-O8yPH~`JfO4xQP!`);LK_xF6_W7%FW!3+Be;tJc?J zWIv5+KT7w~Pvb%f7%I{z4!T1&A$FR2DhT2Mz@vSr`8gy!+zS{ro;5x%C3&iJc0fPq zU(ds`quqtSA?%TwXf%>|?G#nCRXQakK`whpZptqH7SlS)qE^*)lC+VLC(fmj+pgAP zNM>A1s)bC9LH9Q$Qu`B{1WjuXxk;fh)5hmON)Z>q0c8#b_5B5{J~gg!RuUQ=CG{yL zLMlQQ)VJv@bdIw)+}zx3%||g`zh3*JVf(*%!&+bOmjwVte?NrMg76EiSFDfGF)$@0 zpnCn2I9vsw(t-j%-p64PwpE#mK0g17%UbxM&ILtC4#Ql0GkPnVILu)0T=pR~)@<}I zYUa(&SV%fOr}2AnAMGz}#bf9rmkmlz@oA4ebzjnCF^MThONWYwj9HbSp&`Uyy7Mkf z3Kb${Spt<_MgI;OGE@YK3@I?o%+)L&9hrT&JsiUEvv{W}G#E49Kht~+qgM4y>0R{mtcv_K>L2Ws zqy^N+nAa|3xVA?6PRl>;q$y6q?0@aH8PEn`gJs!Wm~fpB?91q9!K> z>IpF;8?uv6R2nhkLkk3S>zS2&r{ygI1z+Sey~_BuIZx~^9rBpn^kd$`3kZ=|CX z^=bzkQH}e18@aseta0vkElV{WYo4XrbLj7r=C&u*H~ylVd~_5f%TnNav^=`*MMy3= za)KgdxVEL(Fd=~bfgviw^W82@)T7QFqb3KM!|%6tR-B>ch(504hMgZPug%-^;Uv9-Qmp=Do|G;#9x&W7sj(`yqoRt38SA#B2 zgh7G1ht$w2`{IphWqr7J}!FLQO&>r_%YFsfe)IHUDV`@*){2qtcW{_*r9 zXKZOTK*qYfcyS-NV9wpIGU~Sg?@JqU^Y+Kt$Um5VpRsSe`IH$)y!T1634iAMAFZbg zZoM@y=LU6!*P@MDQk7FScY--Uu`KCW?O{Kk-RRo~cv);3yAI>fTEO}Mgjt{)<~Q<^ zO0mQnlLX;8v3^=Z&nk!+6mh%xj%h2_e@ALw8slFR@g*0RI_xkPEQ+}Su}Quk3RIo{ z8mF^19UVY2>xg5z)#$q8xtW`&Emhp^&Zp!%QBpqZ&8p;^;_;+675QkYr@s_trJ^Gz zz`?eOn;O->GrBkydOpoP;Z*b^oLK*w>!VPwJbfgS?0+~d$(TM;NQ<*-Ce$dZ(7&kU zk;=8`W{*izW7kp%c(#V)CiC(herVwYKHPQtLP zY2-RstY6Z+(7J_Shbv)G0mYSM0@2Zx38;ij!Gm?`>;J;bXg3W0{)xhQLCxv8ck z1hl*k&t$T6MPB!$A+pz;=ZDYJ9*ODL`_$p` zOVN`yY@Z+;nHCnx8)6_nMahXPAp8dR7W?WEiL!5`BalhZ9rd`KnGT)h$O-AJ8r;h8 z5(B%mIVzlYr#tN`*VijQ-=D)sV8A3nt6&d#5?15HMU_3gp}dnMlVeIBdkY~W;C8R! zXC_SmPIwI&AURajK?s=WE<>bAT&ce@kfRy#R#sPqj>pvCnjDJc%y!W+67xA&r+HVT zm>N6|m)Dn<@R-A^Ea;zz8>E`+eboh$DS+`^G&IH^LiyrWtdE^2qfRHyVgKQDi^1Uo zQ%eSwwFfrL5+nKf!>YJmYA0RxlB@}szb{Uqd42$l%$phu^o8a`2YyjoB3GiK& zC{4F>L=%4`+Z|H}{OMdgceTBUKvYXq30`vwLMaB9*L)W{n`6K2PvvymBla&H=5rwt6?E~ zSuoaLIEo`o-dsp^P5u5|hlC`5Ott)=!K_MLZ-UJtA;0Jwxq=j9Y%^4*Fe)$vy%JVU zw%gbq|2&|!Dx}sa~8XQ+6I&i;%(A{p%mE|$a4n03o>kRmzR(ONfw9U@m7=3V7 zn6Ee4LK38q#J&g*ogMFW(^p=`ao^7~$sYbz%1LgOSg2nT*IwrSN;p^UQ#-->xYeC9 z;+{d#Ux|$n)hz+AN8)2$^M{XNJb)&2ZVI@vK2OuC4%PGDWvdIm_GN&}MMV`kd~ZI@ zrKNjMMPL77Tnk2|DvYsQ%*@->lW{2MUsA=IM6DlwRc>zXa==I8*G?Hz5a)CzgP076#Q0|Hf4^QPV3tLvwwY2Qc&j7&3 zTN%}f65TU0d#Gq$*Gf^FvNADwUccE{YzxUEdUF}{bw7xUZ|Z#J8Ic(rDH~U(3dzaJ zOzKfoR2K)mhSw)EFx(P`8gg%Mk1--z+_dFSUv5g8r&l$C*zJTYc}1Yz_vs_CkR_vy((uZ51+k;Q&6RZ6KrN4xQLC}EqyoA`WH&|6Ir_Bb#F{7ng7vQ9&T@RYeo)hHOYJsuR-6ZrN2p5Gi6Oh`a^CBjL1-# z5lh!2_xoah(@v%&syU|3Q82`Wzb@*f8!R!!hKd;+hTR$p$-)m5>x-R>&7O)&NPy|= zE9gvnC*FP6R)T_sddDM}PI6`kK_ky(>T)ejBsFDY9xk=GehV>VRn3w7e)98{dt|;! zNI>+J=l~g$BqD(Q{ouHyrR~i)_(m7wVv~Q3P@WobM=q`(o%}%yB|R2Cv|T4TjRJ-u zDFlAJzdu?qSwU7SR7{Qa0prsQuF+QA)`}t$jk>BT0T5!pA5zU?KhkgDqNe^8`XIgT zs+1{=gXA`2EHfyobUMEKz6Vg=77**HUEu7b2pF~?3h&^JoY`@$oZ5CdmawP6fZDpv zl;aKsf0db+9Wk$qQ{xalOsCRZ!NfX!$%hN>%Mprc{3=AN+IQd>QYET}v$0yIWZ1%#BU${D zGD|$gmo*CMnRj?apFhu5TTepAZrk;;KqdQG6eR^Y`Rw~rsH1i5n>FvkQ(kGQCVD zE0AOW6oM8L(bLqO5r9PTyTtUaQal~^KKwQIyw?E|&8(~}OhU&085>N;ft*+|fD&+A z4ghs&Q0MUdJVu6Ir^VZ2eIN}90S8+|XehoX#%PPcud#01w+LI>t?jt#&vi?4Jis$n{I@5m6Xmri^4 zHY*my0~&Uv6|<5dnxWzl zqn|N*R(N{T`t`_90Y5-1<+X+6IdB}#qr#6jJ9D=d9sKe1ZJNAmoYW$!5r~xsVH<_X z zf^(LyYN}J$tsg2e`Ccu$ncFd7;Rnkl7#0gGrKGUx&F_5gnoOba>lt*& zz|DV5Ou2iHyM1R# zR!vdy%CVL!Ln2*Gw@uIs6`DKhM4+KSCsJ6v?uABVo?7kxQpDC zt5a{y#A#+&DDaC>W%74aJV`SP9ISQ<2#WT-R#k z_Rz5l%h=1+wOKgz%e|^6-qBQ;nun3K_z|zg_BFwQ-rm=Xj&$#l+=0_Ka)6B`jThKu z^N_w}Jk_*m>eKTc3Sr^W+smU(z(_=sA;H{3!ib}1?>9r%BY$M}0Y)H2DzDga>^Cq7 zH0)Y_eC%g3W#jh9RRodGDJugD`eBY1FY{X%!R%;(mGXI*@O~phKHfVHzVCcNOeKgP48jFeSQQPvJdVcQu6Ng&O_uR8IjKpK? zly1F3QNP@aDAp(D6Em`D5#I8%JQnDcaX8YkqJEEuGT4SPYE|;6E%V(o-WsQS@xR;! zsopy~`vfM80ooy-Uw^E~I3-wp?!*KGNN!KTNU;elL)22d%r6+Fy*%9q|F|aRP-6z`_&yOWGJUxaS1f=z^bn&vqI3r`o4Au(IMOB&{@T$%tj*V$Gx8m=yPx>2yTLGr;fFk_%G;4M%9Q7zH`#Bn zRGY?6WAQtWtgJCj=z#ruL5P<294*;1>zlLuE)Nwt7z>E^!6q!oZ`5Pv()$VUcd={T z#PncHY3U|{?iwT;L`)5xs00G^ZH8ChEgK`K7sA8&l2)unPl+qGRMx}*k(h`rbW}Vs zT^c{$6-P51yNu7%Z+zqb{W3SkN?=q7@u)4NVng15@B`h0+3Ch2DiR`&$yC0SXDg-t zQCLT{W4XAAZeHvM$BbrC`S?;a$Vly-0TGl#w34x1k%*=5jF$|J!>+F$0J}zBVrD!%D=ZXY}gVB6T{QSH&XqEnFw4iuUhlcgtVKTneJ z3vG5hd5ia2&--#_wkB34yE(GD*~2a}9j7lsQh%B88O#aszLA*e1T>{iXrfae;iJ|V zNiP1ox^yI`683hNbLm1tWFqaXy+9O|a9;g}ux`>Il2>vHLZ25K+2*Jz?NpemFCChsr^1bx04hMe7~UVs%-GwXCT{P=Utac*%dpmz z>C~irJmW_OuHt$l^t%EWPcW74Qimq)U;UxhN1j$qI|~zUTlvFaELkVm?Iy|T6HqSv zCcag)_E|i8&izhyg}`T~Y1MT-F~9FAZ^;@PXU*9S_F7k<1!aQ`l>XmmoV6>UJ-wAj z)gck$a_Sp$9^#&Xlr`h9y^oF>9nYcu!s)jSgTb=`$0~F@BmFB%qm-B|qUP1Vi~_v} z>|zxQ4r_(FTF3ADAFpgPU{GTh7FW!Eu8n_6=a7|ap*HyVUGtXca0SQfr{Y`)x=xN*Vz zAXwsF?;2Dw92^_~N4}neM)x!^syR4o3hdg>k zQ=5B)Z8U7dZX4jS)$ba2wDqaWr_}0qN0A7V=`HXmp#zT+KomH1TJAs+1kd7tx*fd* zHkhNiCp|KgJo8^W$5IQCVY^;+>Zj~vK??pWx$p^$Dypnf6v@m63NEgkb|}MYP!Lxg z!_d&(WQ(-&3bp!86isgnu2`U1Pkum0G?&xFsC_r-CzINTMgMpXEJw?Lrrniv5dB}bt;eTD=31pUpk-ksG8gh#K@(lmQNVjrZ#|0 zU+_am+p^~q(hggs-M8npQlcTkFZO57i%Lpy&}j998UC28*`;Qei1O=7g+2*KkCP=K zpjT*0>qkX)j>yd%@kT)u;7ebIXX|QYSxBZcT~GC=$v@unWxCJ@ubSUNiSb@S*rES^d%rSMuh0H{kE-5(X&`;dE$NqsA0c+TO3#iK)q+%on)%iM)ZC@Ll`+<{-- zVX5In$N-uX=aUOP77ghTNqfpz{)Fa_F$RPmzwQ%pE^F1giR|StHspdn_f_v>&64Wd zooB$@Dg3u=$0>x5Tmajz)T#2jL4R8SoIR?4srH`U;*6$!n0hT;d%ub%(LSO9Nnk@*7RPA(En36FwT-*T zc)1(;W-XidoD1@S@P!;jDSi`Yxv7Ym9RzAMdIX5Ft(UYPd*;fspx^5||LGb(BG9BZ!N?Zo_= zt>iloDb)Qjr!TZNaZ5F*@I=974OBIoZhO8m{-TvpGP_N>8-xIBvnEa7_C_2dtz(q8 zBf5f}0d>v}T}|l5nieSo{r#&r1=E4WF1`u>vgOE?yL|GD-@R42{BEu6di9B8RAW;3 z`Ls`waY^9O2KS$^r2K6{-Z_`&s9-?jvbpW%`#QLN*wu9W&%$4>JkU{0s?M+vaOn0FhDyl>s8~}#&%|7td(4P;8-I!tsi)hG+I+y z%`+;(oS}kYkcmTYdx@tfl`^32=zCWnv9&7^*<-$%Tp=#Pze4r^V(}LCovyO%Ct>Zh z6{l+u^-ZroW5;*lP7vfXoNE%6yPe$U+T1MritTiynoDO&y6>=Fxmm%!cHGww!!WVnobk6d-* zagD4nW7zR#;8f2&D&w2<2y)&?$d7W@FN#j? zcZ~a+mK@qG%%l98OOf^-m4oIRP?DhYD-}!9{vzDW(OE_?L6eqAj??StQ7(r2!(2Qg zVBaZwXoc07L{CN%jEhC+lRDlmP7K!}LQ5gL%XIgwJiXDPz3(FQ4iZv3byP5B)AfL6 zi4OE9x*3Il)AOC0l76S%hIol1H#7O)8Ocid+WapQV=5%MlSFhs#4@-nEq#1k|Jv{K zYc%w8Ncq-|LnI8M1Egdb1T*q9_unE8*k4}Cs^8LhV4Pmjc;F9xtifxdov1*NU$Jto9?hz54$Eo zTGMz#A1ROq-G$+ic=#IW2f&JT*gNxFJJu$P*33HZNS>$YSmTRV;U(ssMJZTbaT%6~ zb^b@)jSl3pu+61S*JH-8`cU*5gZg3N_=j34{cAT|AKOD-oCjQ4 z&L>z83s3Qbz=-YM6SSca@cLlQ8PFnOvH2v-_lL+ra&vq2-pH?qw{4%XSmVBlIj-Rl zFgv*$i0RNx!JuhK;lw^W?7ZEZd2&w;oW>gGw6Wr2t9TKId^G1RJgK~o8cA;uHY8{fyc!Wtrb5_ zWd-gE2*2~r=Slr)&Os@RjgF3n#v?M~rfK=@+c!|^F(J7}K;U#KgpKMCFqHGl%LN}T z@}1ro2D#6mc4ROQ;Efhwhlq%X7#c2sFX=7maC`!S3edIq!hVu72|P!&Jo#?G^X%_i z&NzBV-QpL($3O)b6}+$lTL%Z(z^Q?sUx$fEr(^=)Fs@zEG}+Qo292&IZ4+XnN8mj2 zKp}<8VkonA!Dq&(F1L#1c?|R-n|E6-*ZNZd9V0b*#P;Mb3AyT{(zD zCHxnVEljMeZx)2?W4>xt+bulgL&{CQ6)kh=Z7st$ z)rMbvZUmBGx#k)wv>ySn{v7Z51dC+1?_!f`C&08nEV|)B6TA{`aDC%uG%DGDLh~HHtM$j3Ye&zLgDEA>?@kkRAjg z@v*)q+;sAoO2D-NE~(|N2pdk>CreNGD{A?QJ1|)Xbd!OhAugg0bXyx-e%IK|@q3@` zJxF(_6%nCAWR6>brt6KDOE9J9#;0IPAj}{T8_o^2^PbiKQ>J_NUi+($5aJg!!NK+g zya6r;egCPcsxG)i=c*55MF2df z3BTc27#*P0EHe-SXcfc)I_XFV6+q}jLP6i2Yb2)Of?E$E8}@UFUOfjeWns4hLA>*3 zCJDYfMMW$D%D@f#$i2WKER+#<{eRLq5rVCRFV7viF)8^?6_**o>-2@FC zP!8zs>|6(6>rBg=%lr%|NJw+A}z)Rj3ZTPsnMd3&si(5)xoe@Z!Y_!2jO7 z9lJTtlkKV5*;z2&fb-x+P!^{A@(KzirKQg>z}v+T2h*oBn%E8hF{lNTt;3eYUNG+5-q)H+xh{1%oDg_-Bc3Er?$3PF3c^ z=jor*23Vw|v%hSG0I{|$RyNt$-d?A;3i0F>41FYw@Wi7854zxv*jG-0EZ{zDAKCy6 ze~deK=4x!o#39o3fJ=2&R;$g^{M=k9^oIB2*3-T0ZlFU{F5-CYuzPO!kip*s;q562 z9TSOffJX+LLCZfPber5AQ@xGI=Z)D(ii(PauZ~7vwgu4yoa`=Sq@-9?>)?w|mKjEc zg|RR(b-}$Z9`ESrz@YJ`h8qMTe=jsO6OxkLk2X}KMZ$^M(z&e@Bp6`>$jbJ7e|HOC z97a)ap>BGdE?Z+aXi(}9*u#8z!~xNY`L7EIJ2O0+TZ)RdZUCPU7yv$MKYtq&6V#g} zFyItHLq~_F4L-QBzhPhif25Nvl(e)jsxMwxR!)69*@qwi5|}@2YG5`7h9Ux_baZrR z$YLHI9-`kCj(ZuE(!F7)0&BDicqjHv`$0Ny5bSasnwS77c)P zKvSX>aFd7kI@7sfAgogYq*|x?kDZs7#Q4O->tAdTh>tjLLAz;DYRx@?FjsZcJxreQ zAuFp(O=|yISXda?O~95!Lm1W0jE;;T5U^K=hle4GfI26x?nT=#3r18i(9k}B(?$H# z9-M!Qoh-@nYtgiY>MS2*@Wc@a%Bb~dRLZCa_rfXWB?Kwic+Yl82TM7a2||%kP|{8w z=kvl!@|UdkNfu#LngM$w>kAR!9;2-@TKfRngYgmXZowPJtitr`E$Q17M86ZWAYfk8d{Jc#%d~ z(?Qs&k|YM-*JW6#`o9SWyiWChfjJGbAJX=x5sp>lEb%N49t7uE-fr7=^@4b+t(`P% z;ry8jOszh_<6BU`w9X29j~WjiGhW}fvbm~dld<%hLrkzgwrA@r6Hy%c7%@IgPwNCO zEr^%Uevm2A9E773ilfp=DiI&O{Lwp6&lSFlAFSWkV9ghaFHP+TY1lTSMb65z&gJ z;Qjme7kn;vAnYI`Bg5}>1+Zi-Hl%`gu{t0;GT(EHlg*@1iTofJv;5`DmvkX7pS|z5 zU{BuMQvl)TE2REdKZO5JK<60Z@M9jHQ!uvjfN#3``;T>^8IE2EOehGZFsD+U=5;_y zh|p6UWh7!F4A2$py(ad&`-Lu7y({`2Qg0NNAXyLXR>2&%RL^UCV&S0n2DOMh~t zqbLWisDoa@l3zm(2{GfdYT>`bjO!aR0>bY_r8!LifP~P%aTeBAD*RskNv1jr9D`VEZkBPrPqd3QowoMenCWRG;TwB)t#$@xagtv<-mgO`S%B(3AoQwZAd$F`gs zI>L!@Nx3i(Ly)EK?KvR6!F}sqKQx48shpYxt0_oR%uP*iLysKjV7!rRdUb%-Iz$1Y zb&?wI^asG>z{1^BCt%$NGG%a^BTwM050%UUwl+Nj!;MF9WQm__?$%u6DR@JH0RyDG z^aP=x%?T@@Mt=b*0(kD+WGgrDjPc@0`1;4oUpGY$h;+C%zBxYt_R|sY9v}mXe2$6u zw!D9H6O@^ZO-yc*bI9HV85zwX8^JMT%T+zUQ9S?<769P(60+7k%Jj$ZQUD)#?M&A$+!>5xnGN?#MHh6LE zS>U__-y~M91{`T=F4t-{)xxp*?bTlvM9K0$F#G1PB9{lU-5-zyF%yNYrMW-P9hn&< z9e=r4^rT^V57{)m#L*P^3krzH>wbUNA^rw9a+Dg4KmniT)S znjtPoAOxP&(NHz=eK0-fb@tZelEj}QNA$Y}uZL#cAl~33rR2L2c0H12YGAOy`M`{s zvkw)ev)FEt8{xT+m}$EQrFs_>XL(8wD%W4X&aD36LwUc|ayyGdc$3o4>Z=-z8U{srEnbIC&V`D2YDay~!=S$Qc73b#W z{`T#gILBT!>WtOi#JU}{v}wvAM;+cjIQ~#Ry7FF1O1X;>HE%@lqnS~fSWS*2_BYGR z|MhcFkgEFmRX=}zMNN(LYU4z2UUJnNK5=m_F0P`?%*@A+`Mw=Fa-{UpBNZ(zt<$GV z$K7|w2#SfB8yXs#nAkfx=?b0y%!O~Y9Gt8y- zBrh#(VrnW!B-(r`v2BUtYU}8*EVVb#(1<83bn)^kkBMm;?@0ae;|B{fvwg>XsdKNd z;}1(d|JI7rDLbAIO!SYo?uh7PIFdw}Q9J z4n;9+>eAHlq3-VPJqIjujn^m%?6D>V6B&ht``-@|64KMHjg2qZ+VXA+r|3%`IwTje zS-YIhO56PPYwf=CTGSczh5KfCl3MM;iK1d+&J{)`Cf$x@Lbc>-)V$Af^oN|BoDLs8 zj4fbgSjj6cre|QNEGu()rH5c*UYjXu`%>wqrKx#i>vOsD83lzJo-{pk^R>#MV1+AV z*B?KAoS4|vkt#D(9}+Uvo0oHQ4{rn`p*N-O-@?L!hYt}4_<3!vEs*r^;lpd!uBE1? zV(&WA?CtHb4Mi)$v6|-3&P6_d{uf`8ot0%|Y<%K@?8w*{IRQ6CMnzvZxi^kcEjLkH z_B&CHy8M{z0uyhQjEj`1ZrPIhO<#l@wir4c#{&Ky)%Z_1%( z#xq@twJcT@VZDFvo_?zIrJfuEgIz4!xBiNa3ejueNCi|S~F zF*@nuL#3a8CnO~FKeg_!OfK9{2-WUA%v;W(AA|n_X z*-&axd%5F}+uGVV_U_ft((12gAym}i=A^RS2oqhIS}rbyD#Ya(ZdO`?it#Rc_XtC( z{ukYq+1VHH6*=$H!UrtXA4)C_KAzX^qlOj z@tM`t+y1GqG`F&{@{+o9&zvHhh<}^^`!_#7_($5M%a@3%Br~WoR##Um z&m4#}oOiUG{L|l-0%HJQW2d8FdtwWlx z5wG)W#o=MjoH=7%>pO?EMPS^!SLA)~$B!RXRaHlowpM>VHS6)^jUJv~!7)Eu=Gb+O zj${1&!!<-%*NI?D1@GTyEi5>rnm)e_@Hu;SZ)!*I%HQl|0o>4Nbx@VXOvR-y?rC-c z`-;T2*Y4NU)TS&l(U9H{U!n-IS5EW8yLa!Vq?pb-nwqlRZ7W)F(9zK;$~k@U;$(k^ zLx$m56BA8F4R7zovWq&1(v9?Si) z{@n3r&Yl%{O`;_}`t4-^wt1-3;X~f(Cpjn5H(Pi@vYtHYuXZ?j@?_CL{ZSur1%)qN z+dr2PbMN23Us+i}<{Y(e#Nr;bs3H({Ql3YOf9d~^nMZ_?`bJEQ^ZTZs^E-CzNS&nN zBagMdSa-4Y-8*&;j+QrX{;mXy-ZpFD?(RlG4OVJSmN!V1HZU`Lfs`mF_G_#)d3=04 zWPMJ{&Mph-#@~OnA&jgbKfkZovd!+W>3);`V#_@Tt$zRbAt)$#EW?nJo^yHiAC_#2 z?TCHg>Vgh}g2-rRXXo;**6(csZ~D=ocW>XGt#J9AZ(M+NmUiyj&(F`#z`#I8b~P!9 zdDpJn*j@o)VYg2ujqUCG1qAHc?;UEpd(iF1nP0-P_u69Er78_L=7$@v{%E`F?C3}c zEiIkT*1OBc&+jw)P3dBH*5<~VvhN?FtgJ8AS?|vNLz0p=V`5T|2E9m5?s*ltBT|hw zMW0*N-RA7sv&i)+`oYV8MqWp=kdcxmB`3?cefvE!av61M?!(ceN3o_uCAR9wKQn_h zQj(H?=jSiExJbKx_1)Us2-(`GJpJT21JBW~WfzlcYHG5qnS1HWix)a`dhodpPrpxLYfWU@K;h& zGB^K%{5JiyI$1Z{A+228wKMp^g??*4UprcNj3{`t|F`_Y1%JpVrm} zj=qj|b#*lomD<0*y{RcPWNTB#^($kv28;0VoisG2^}#PuqU_f3-=uJn5!MTIvPW@(QRw+Y|2Ccdb)xE5$I;$CY z_xbJ%7l_Fjxw&Zz28^%!1)1a@(i2d^O-xL7QmSidMKz6#{rrgx=jiBYnAht%_<|&~ z$~O4Vuxg^VosA8F08An+Ev+wfT7WsR)lT%buF%#Q=f{R31md?-^Yi_O9G#uTL`1Z8 zbn^1@fG#dwntt?%7^c!N;$Bu(#=gOq!9%1DZ~6Xly|lL00_lHXU=<6GV~31`n*f+G z(AKso{jA7+;`Hg$BCOq$o(c*Ilvhaz0?azPx>LV=9%%4=to=Uvp{aj<5Lr5}pa9wH zbe>T-(bLm&b7N`f^=pl}mPe84N2iEpgH&w;1NVv7-@bhd-1u=$;vxO>=Y|&RFBc3l z4Doqj%HpR_4>D4Ze*aEI$G$M_N=r)%h;-q?1xa>sVPPslu2Ftk+P62c9Do77irmo} z`O3#BC@8q&wHPCOKiuc3JI1JCVsa-hZyzv2xs&nWhk_Jik7In{2^TzXNmpfO|3Lb| zDb{+@bN>8!fX~?2SYsn2eFFmqE_pi?jhvhuJVkMF9q<)lc+QtE@wx_I(5yjL&!i-~ z0g(~^&(zd3QConO_E(CFoU-!Jr%z|Ctb&oSl-Kw3E;yT6u43h|E5Y;Q9rq5MpYpw@ zOCczzeIjahp$}Vg1kt7(5{!`d@{)>gVR_;vdRuf;oVhZsy}f9Ik%S(an{z_x=&Q}fJIfwc*0YLJ(abDhQ2;;Ud!RJR3-9~=tzI!0&aYx*|!hJ-| z(sB^H;x|9;HQ7x;cyp7j)UoR^Kn=pm$7gAmn92159za;2;iv!NVul>&7=TUh-@k8O z;gTZnm0w-$hXjiAR9jp7I?7Pw*8Qi}lI*b>e2J}Np`io>9=@x{wDirpce;mh7>2ID zVWKAA#(FYtu48_6M@Me$J8fZUi39q}x2o#iMAuaU@$us+Ihwm|u{Uq(pE&XK^Q&{u zmILdSGj80V4JR%K1{)a}p(2}_rl=4Z-J;{-kYCSf{w?Cs5}bwF+OIu5N2H`~6R!^s4;x%k0B9p_TMGWK?H`iuD}O=jE^sp5)KWR|8V1}ZA5UlS9( z!8bdu?K@2*63(4#_*9iw{HZWPZ6tEX9;=uB*^eF}i%A8odPaYJsUd!iNNsIB)Z1%> ztb_Hw^reEWGVz0`lewAY967;%VImP2_u)fJtyTNOBX60sb;2r29}7jQVWXxJc-6^C z!%(_$M_K%89WfewMHbc1OG*p{m|NT0#P;pek>~3@TK;BX5DnR%cYd$WK4{#Q*+ z9HyUCrJmpL%Ue;tw?@I+TT%9AfsSze`0>k^FUyYa<&CI&ay!QjEdw58HHTY+IwP(K z|A1_BIOV2CHQ?`3S@*&v8=DflR%ZOG4plg#T9J|SZ$DB3&JcRkBu`ereE;(9z9j}D zqlT6F(A#sAr<3n?8$H&Mr;RW??UXvX_MYpW5{Ig4&n>TSUx>t* z)0SebCPsljV&JiKLLDlX@9$5C!c_h!o9|+6_{y1|PZZKryId}qxNq0f(PznmYSX$L z+Cx}eltU3w(fp0jmr4W`clWla-tiJY^3<3jw}^q;_$storO%(Ejd4=8abuvRW#p!B zZce(s1GkY!m*oa?~jNy{c;mz0&MLM@eDkyv;8_H8P9&b@p0o;4LS zC@5&kPfWVu z66_tzyD#g=ow1nRku{4FjFma+_gAAkjED{FwC}D&+Rx1V{xV>x%Az>y{KbI$s#mo1 z^j}nSEiWFKOx56vWji8-)Pw_`6qh|6{UJY2x2dLvx?Jp%P!O5Q(#)WgloZ&5{gWyK zX)~*bU&f9Ja8an`?kmq;C_>NS;NbJCPh5wpd$BX?t*4W@|5GM4<=#8N*{ybevviV2 zM@L^>PUMO(jOxFGmGzwcHrU<$7o3CIh>Xl=cel-`Mpd9G^W}2yeJj8Je_wQIe~_4{ z=!@#=!D^2ug@uKS=kxO1w~nr_2pf&uuPqlGzjD-Jv@P7Qru$8|Op1P*?B#Q)OxoJo z(=F}o4GjPq?xboFhFYEYHR0a9d!Igkwyg0k@}_bZ7yt8zAkA?+jXXTT&=aRiZNO?Z z$54btNZ%J-D7JOFMaY2E($aT$5I7hqx+x#a=o4U!ZB`$28j_#ApfdK(5Up?UZ% ziOpBpl9JFYfx=L-&_tmgi!)~3Cy5dFPpuh%HIeW+U?}qEM@*KwDs@IqfAJp2rMWPx zmybLgbXvmjFi(}r>QF3DO{~n!%+^Rmce%Kz96QFWT7KZexpy;Kta|@TVGLN_;}2vn zuPt8E(dzP_izGi0x^#fa>CAxosEgyNS5;N*Wn+7&=yxi#$A~vV{+f4E9ox<~U#mT=>w`Ct>UCO>Ud1yWX1NjE zy}UklcFF>k`z*bE8yd11b|T$OLIkwKfob6&XD6rQ_asI}nxepEc+E1g(>nJxj5arn zl({%2Ib=0TG@ZOlU49UsOx6}a4@7zOGFsgiOB0`27XI-{vKCvreeM)^8ne4c?TqIC zEtt*_!N$c!F>v`0V1~z(i*@S#SM4bcKVJ0}HP~1BZU^G60psmJL;)5%cyOC_8w~Ib zQ2&sYaF2RziR^e|6r)ocK0+CK!1Be-y@y77^G+j$cqtZUkQAIDizKCD@Xjs2ss7zm zwQERUG?X#F(Y~oA-hG;Xyx9?-{Su5_or%^vYjC2d)pa~1>y#CakHCfeOYgcl%Fe^&{ zD2O)u*ibn5ML$2k3m1OesdaP~W(@81Ic#OhCLm09o7Tj{#(~P)+s2jNvgQU4YqSO) z6FuEWapg+D6!S4q6`#US9_M@%Qul_$(@!8T_y$>FI`d<0SuY;Fw<``}+cY zIKt@f-ydz}e;*gcXp;vX{j-vg&d}BMXPnONLSvF(XN?b+g3m1diS+O?$%#oClI6go z=^qa28f+{~_MpiFvO0b0)br9(;3aTT$lOImmw<_LX6;8tN4xO}kbl)LUi1wTKG$)j zDMt<4RC&_u-tRa^FgMeou+|Q}uV~yI)+>yTL{@e$0W1zOyB%PixHui*Diy--*q7^q2x1#XAk-P9Rmqxkbd-KoYKynHq&NjU$T48L}aLE=-u5N|LoYY93zv< z5i>zXf?V1`U%!3@{3RhODh3XeUBo`jc4bl#)_*_M)zo}b?%WS}WTw8V*%8xnb;5D^ zFGW%^FCXdXcV4j_5o(Ooo4?G21SwWmZO)O7k9XF{+~hW3)Bp$og9?!3UZHg1m-+y-GG5PE+a4+ zuTs?quJ8#8{um#Z26mN`lM7REA8$`V0HP3?nVN2_{7erH4n~DX?{QDgBPTpO987hQ z&lU>p+Tt|0{0kC$5iCm!3*@1%U%y6uGC!Qv-44DY21WBv>fru zo3j23xi4O7I}=0@{5F1agX$d&p+9*e&}b6uFJ=y_t> zM46jQILbo^)uoV<>g=Nw7cZ%x+_9siY(LrCyxg}3#A3Go3i_}7Mf-r>LpoJlOswG1 zqet1K z#l&G0KX732&!5h|KKsKd*6G61(%x9xWZ@H5;2{gnJiW8u^l^T^yiG$WdW+D|Q1DGV z*$!)f+|$(+RZv(1o;h^r5E2K36#?c+kXazVmj3=_mvS<4be!lbG6!@3>9&L5237}^ zE}mOSQAugi)4ymq=EjXp+!PIqkgS~C^iX~M1s}vI&MqDpo04ZVm1B@fu$le# za+_4Ga?iMVvmKmRPj|Q3aL~mAq$Ia)lf+OQJC<;tmYn2#3u&xLOBy?SXC8~lz73xz z&z$>3FJ9aoYogDX$HvCQ#FW0ZApb)@Nx!q52E7TyLUlriyynYuXuWr6F@Qk{{0&{8lW)c-o3ye<_tsMsos4%cElJL zm>f#cM+8MgkcXh}+*l(cq<=s^v1}c(VO(0TLcFKoQ(UzSEzNKAHI0LVgSE9ap`^SV zQK#TF)w{kjkJu-91X2*k6*sgl?JIg4RNyxxT@;DTF7T%2r%t{4K8Mm<<~ez4Zm=15 zD=a9;rQ~n4e(4c6I6FM%ojZ5PRnbE#`Y$+wG|A4+#wkm|wU=Fxv%Ou_JD9i`WI2c3 ziNaLp&JlS@j)q)&@L+3`g<8dm`-RulnZbG`BMB$gnvgB0@VBk4(Km12toEBnC?UUq zxe7dLeez@%xD-%WIOlKQYU7OP=@mrQ5TptgAJk2HuGR&uO`Rp1FHo}C@JDl8Y?<+I zSA}70NlD3#8#fT2(OYa>To1v5gQ^5=QoptNrKQCI2N(QpR^J-cy`~XJDsioLGhZrC z)C%(QstPdAtppMtbve@0(_7CT1T=B^Br*5l^XJc?&%w2hh9qfc@v2_~fTf0{@}9)`=8|IG1cWvQHE77$i1`uJR1ptFm_ z!(*>3x6#W?@M-Ia}hY zHZ2!K7MhfFip#RTKBtI|fv3Vqc4E)vY75X0_iyz=)C0al|AUzS^XCuNuLxWZ4iiA_ z?*5ox0?g58_umN*SL^UoR8+*x*NgiE#&px&DW{WK_u9hRD9)Tg%Ml`dc(08U?VC59**or~s#m%K_vq>ph|JMo3IPMxQRi`O zw0;jBa2`%^!IA>_Iy?XR{=Fwti$PDXt-_pgMQU0xi2u-iRvnc~O&yE|1|5JhavtM> zUv?ZbHxEECg5c$ZoN8#8P+7UObX+a7Yv+GIQ;H`x@LA}N-$zH0H=51)`1nLvZ)9YQ zFvRboCP%1^rUS-bl)R5RUDcX?>y}Z^Sp3bKzrR+OV&x#-pcY-Z^1N#Kw3XFnlOFm{ z1OyNTP6!zxra8a*F*zgo*bmj?^qy1XUW?wsi7MtCg@r2WWH)a<3h`4c@pGL2^D!u;Z>~ra{W#3;(7*LNr84ARrB3cUKoC=bH$UQc{){7GNlC+}xf%eVU$-;Jz?% zl7S(fC$N%?5Q>vE6tWeB9)Okh2PBSBuVdhdD0l94Uthiqyo=lh3;<+sz^eA1zEDAK z?!>QOYbz^WGhacnhJfr>c1im6>zBEi8MoY(*ErTDCVl<=GQz??TMjy(wk_p72oi&M zl>2CKL_80#0>|0??jBdqw@g+2(9Ue^$~3g3yK;rdug<7}BL;RK00i-_p`iiVSx1K^ zTH}uM zj*|BcMIK1lhR4M0h-n^p;U#vp5yUa%t5MhQeSLjcD{!-?O-!~O0}x1-1q7HcLiw4S zn}fIo?*41C4}1v(mCP>iYR#Xm^-<5yoT<#|Qw3xfH#a$X@|jH|DR>s?R3%)Jjzju7 z4>JC$)rh%?i8szaZgu|Who5u4sJmKmoEf-J`3>Nbv*_tiBoTU_T`J<^}F z4B^e!&o3`O|9JY*jXxtzquK~XT-^Ei0pzZkt3ZO#fvTW4q#SX8)XBgh-QL=oSN(>Z zncT=&^%w;!tBRdK;5zlQX9+1Za&ko1zj``h4>(0cLZfvaZd|4b&n4K*tyBa01}q&w zkn-~K3JX7Z{u~Aa_Pu*|a>@4&3=BXSfbGN5@}<(Ci;G#7W*ij~fRK>T_CZ{-Qp=qq zC&jVJh9FaPuo-v{jSb2+$Ooy(!!j~5%F6ZQi;wokx9I8WCf&JH>``S8Ea~c6Ty=+U z#uV}(&IcaL>4qq2*drXvz68r~BE%JxObDu8o}Nw>d-m*sJko2L0IF6k!w`IwxOmay z$FDwpy4Psat0>AGos^V>)m>OvFf!h9Ff_(N#s$K{!f;b3PbT7sMXCWI0wGBm1Viey zw6vT*b?ffkCpkHy`}U!1<~@EKu9+#7Rk+2n9O%2gH%;m4iFD#Vn(iJ|i`BbHs|PQj zL+a~8|8?z}jXfp&1*5hTfCxZ9(Ks^E(NJ0N9FKb@u`s}|Wu>LRy0c^O?>jym=*+QQ zonh1!T~Ryf%p)0ZR&)2D?L_C6`ILq^#|s}SF|m^8;oM3My$fGv%+W_~lZPn$+qz#} zQ0m>g!Z3P3cDr=x5+Vd5+Jy`M{@vwXI9=lVH}=}#lmv-IXOA$L>JlW0*SczqpnchjTdSl>CxD2r)0?2ot>RyV|E0b zt6zOZUy=m%eos%s!Xr9Uc2zL(P1C|gY|I|p4S(Nx%Eg(;oQ;`%a^qFU53SxYq^6)i zV9m|_ncAhHsbxC4}Cr*X2sC5@p^^={BV1vR^=GQzl9@Wv9N7wq8>xNoVE3h2JznLN<2f z&!3kcC)R1*PfVNxn8rT7X>NuPhNhN|jt<5A+4&YM!i`yZ?@tFlF?Wr0R~8f$q^5p> z$e?v|@5v=@BhmFas;@7196D5To{CeplYU$+x+8b&k4D9tq5z_llTbW&={tE&!i zY2Ur;e7P1P7Ix8zG}_3)wgmn#QPC-wBr^W{K?cN8K;1c=qkkF2w7mSn;gnCWT?Mhb zIX#nrX#vpS!IC|@^5flX1sCPc&}_Ytr}Z{pq$hf)0GU5aFgb;ep3~M1|8&;(AMK48 z+a95kXL;vksHhO_`}QT=*_6J(LY|nO&cnmAg&l_c4>BqP+US2^!4tkKWOHwfj>@yx@wb~qZ}>LOd>ZGY%i`LX=@9wTtP_R4upN(~Ja zN0Go)@|6`si=E^o`a=3?7Cx&&$A_U zBqVU4a;41Woi53r1IGn#z_%A(zfj20E3dhR2wk}F>BX+mQKATS9Cze}HuqDez1^?* zdrkM_krCMQlu1cMK?+$;Vxo!}J1grWYh`zLf|l0u5RIGj$eb^br)9{8HoIlTl~RQlp*u)z7$#Vr4~zQH5_qMscu}hLiJ=!-VD+4cR&hG@_fmIN9TX<`U(jqO7d9ug|shXT*I&DuW?{gx_DgkdP1vV1V(#OL~0K zAw+l*5k^R$C;T> z5Vx&`d-i}CGSJuO*i(<@!rb+_#ylwob{w-800I>gU>>3K3d zLPAc0M~gS%*T_A}NuTv(>r7kl3iFK{!vj*wTLn2Atl>ly3fMca9&ifm<=`;4w1jbU z04N+C2T1*kPEIIBw#xO3`RbK#Cp=f5Uuff2@-IUd7|S8kCquC9B%Xc2>OFfcfl+^G z;>l%M!?V;nI)B#XA|h0rMC}}|sz7RcluxT{HuU@sA`-%I@U$f zkT=+?Yf>uukv_Fj^_0xY-njcbJG-%c=kIBxpps`7-$v;w_AKFgXocY;SzVcT;Es2& zv61loVRXLgb z-F^5Co$o5^t5?HqcekXIv~3)z$tXiJ`4@gsQBrn>j*OG5A|93TY%B9WL8ZKHZ$|)b z+gd_N$iNgiI67Y6SHu5nqR5SqkeDdvInfDG6?Tsr-?>rmm7*TQt6e$$FI>*kb4Pgn zQV}6P%mxg9g2&xGRQ2kn-e)@PDjYOEzR`~bXW*|1+}eCuR_6KC>SbVHpoN8n|I&=O z)p!v_8kN%zi6F9Ve&GE>g(a}gNIm~<8xHI@rF<{e8~)%S?*V$~IIT20=~PcX<1I~t z-47HQz7nmqh=4%W${)z~jCUT^h&Z^mrn!bXVZ&AoGQ^+D+d zAq+37^u)cNAHq5)&-9zriF}CpP$(MLka@6pWa9`mX@uJHGSkf9)w>5r1{HD($(dWn`AW-I^Oh9Y+y&9je=a0SxIBeKyK>hI*9ix7up7)&GhJk%pEML0dfRu@x74 zgy^F{Qg=Usm6KBMj>$mG99j!gE`lMmj~nRT$7vfI*Y?G%%*1*egR{ z;S!du*Z67g@89?3)GuZA1=G9@s-@ctz^}FFZrtwt--HYITONPFAk*I+KkpiIWqZg+x5@I-CNK2B{dh6+<=^m6hQlE(d%> zgI``z(bwC%9(`hunsWGL&1KeIwrk#Sxg;>6_8m{Bd=OkZ-Q5-T?7XVp4hxG%&i&Uu z9BBP<1&jX;i4QmwX?V}BT`&xRzptsPg6L@p_-2}^$+bIYR&1JI1 z*)8u3*Iu*h8V&XkKfL-{BqfK}SFWYsZ21oGtrWa2OC%D}l>g_)@%>tL8O${@RZ?=( zq2gRW+f`RuO-=VXzMJe6dk%!YkY8VMP=BMIxx4vi)31K_c_HMUxVS$blw(ad4uGiy zJBA0QrlsYhe%07$iz5JPY6b;?<=Rcd4T&HbCMqgff7bE#u#Gje?7>@>-6R|F!S;V6 za@FJR?};AX2&nR)!oDqd4$qSiAn6ILt{jO*Bb0VD$bWjEyre|J&u;~n;gR=re0`k> z!kugtWx3*dyA%^M&70V(4>&(nF>P*g^nSD*Z}012vnbA_!xs}3IKr<&HS*o!*45ie z4SwB7qNtQ{BK_K)DmYrsog0PN0oTv`%%B3A2!JyPXqZfJ~tog_)Uz%idzwuV{*hLX_(pyb_E_$*Lmc;^OW;Q8X;bTAe-4!wMkvaPM$) zY;0`6Hg$~eB)DZ59nZPBxgi^JX&X9+POi1!7VPbFU{Q~+Cmu;D@fK%gZAdu+q1NIB zd0bo(?^TawzHow&!QVv5JsFI&w8MSkRsOs9_%_YM+P`wv)tM zd#U;ua6Y{QT{(g`EqE(iX&xDf8Z{ zYe~#iFQh{pxpcgw3`M;9)g2`b&uop*ylZPaf9~9C%L@2u|DhG!Z+iILYih^=lbW7n zTH1Vw`(7|Npke~X-X;Qly{IU!1k8^%&pVwl%lI`^3bS=RZ)IlsO~+ zT(Gm-=1`HGAWEJzG2uRh0SqR7z%W+UfdEsQa_f6_95?iZAkj@=%^@Sqd@gV+g?<8Df;HkUv zLl>L^JYM!YIWl&KO|A)pYQqvhNxB5y3ffHLk8`Ps+ThTf$s8>SYTV6j7DUfk5Wi+-n_uTvR!aP(va%cB-7az3 zHJtG4>FqmeHbhP(+QdY|lO&>|!!z_Ash#I*asHr`BcfLUcTGa(^53r;w1(+C2JM2y{IujMm(%8RebDibJ4V#VC zYYTTBx2|}MjHt^7vGehVeW2pvx+lNOzMUXe;NPdi_%!wp`a!WX#enW@(6^x6vWV`Z9L+*nZ%akaST> zHrG+{m)B3He`-ZSaC8cpb z>yPnkX+Orr_^@eG&V9?PtKPHUf(A|$oz~B6{QVhfjc-8HLj@QGgpY^53@SZFOCTEX zla=-9P!$yLiqm;|+0Iz}Su75TP5t}#FQCi@mIVVZ*r_!5<{%s*X4!jLcrq3#dX}D= zSGjNJ+Z(&YAn;(l=UKFpTCv{|5eag(HKra_rPRwkL=m9(Qh5&;|WQm z0;iO$RjVvqu_@pV*EcpuY$iH0Ac3&Sdy2#*XmGL7-*>x(stYj_u|`Qjv7vk7&sU32 zB_!+Xp~QwJvcMn`VeM5~RYo+s{_uC>Yr1=SV3LGZ)^d|A^U0GamP`B*LH+F8tTuAP z{@u=KVt_l8gKF>W{{4lj#^>tu!xk@TXJ*_to?+~V)EIR* z5pHlEMPCWqR}lb-NL&y+W^k7@)YNBR`j9VX>?U9pW<7P-o9(hGk6~w{J9I6|s zldN*OG>soi^FP5G5bfceJNAx_RiLwh&)C`7&v|iVm>~=8PSJ-B>ASXA^z^A4god?$ zzm|49A()%{{w0SA`*_;A+v|4^6*@hCebepPXOx$2H8{72iQK*V&kWZCIkHMObyGHN z9o0%#7{nwTJALAaxT=Q6YmAMgEBdMNCBBK{stH(f4G0L}biLZSWV7l@3adFdEW5+i zC!HPhavNp_hbL)%^)(ip`Lp7|lH;cI@s8P7u_G+&8zX-&pgI#mk4HT_Z#%B^H=j}hwSN1x8gs(ch zV;B9@w-T>#_P7p8H@E9?ltL^E3pUH{_hgwc(d5yZ3SbK95u`1YVSsLEGl(2{dHMXj zyb*#=L@-ItthC_%owYAjP1z_JuIVHsMZaGO+6FDEa3vsg@RWEU*W~ zlhzu1Cjp`${K2QQw7%j2>g2?U50Hp4IW_!hnp%o-bF*w8Ev<@>x(2z1Mnkcs&3Urp z$0ckCvhsb(!b49Bimy#LKI&;4coC-6MaTk6HB; z^VqoBFGIR zMiFG%WN#je_mF08D=uyYvK(e$1B0UIU$v6#6H~92=Md`I*?1hDqYY@{_5j!znov$o zGBT4+P5o)%@#3^PMVgkDaA(n4xSsv_^GCVV0|Sq;$fcz_pYq&G3A;v_o8PDW@Q&}) zH2Mfw&V?X>e){AK_j+-0F))k4N+FY)b>qTd?cpOwUcP+!#2|HidU|mGhS*y>RJUEb zO3ET8dopS{|ITMT+BV@TaA?NnuZhTW6&8l7;rEZapq6=hW$5kc?AttOT97O0zN*e0 ze>W{{=I2izKrW2@Xlb>8ssdX(LOVk(C8Iyop@+ur)vI%#pI?CB0{W*TSjo>X;V#wr z?`EkTUfC<*PboXvS{oyG#Ma(26j{gMDfrcyuhmW8=Y$OIOJcmo+1c5mkuBp6LcLHD7(_u+ldPQ}y?dTMG}v}8cz@Ct!%Qu3NIiuJ#13J;;2i-?qh zsp)5Qfp7<`EH4WP3F*o|(8L_mKz&GkQPDK!M^^&t>gz+!p8bS+BjLl}`?uuZATv}9 zkS;(YpFjknu`nzBrgJ(~UFwWBBe7|@IXK|InJ%E70*4Q2Kip-(A3(Ynl?d zQGZDMHC(137GUu+g;a!g1VVuM->LM{d^yFFA@k{V58wWrN9zw&&mH6#jxbi>c&c;< z{!ZA$L6cev!lJkX25&J20Nt@XF77?76lPa;>Mb2VtXw0Mrb5)#)dh9Z3C{)W?C7}> z_#mWi%p*PNBC(zvjXVTN>JtRX@hRQ2d*uHKyI#4j@fcDr94D4_fu@$0L9l}yv2Ta* z#I^1Zqgp+o$0r8p*sRR)WN`3iIK_^#@^WOpfqeE-(y-yrr4ER!fWKqWm^uYY6*~Sv zL|C{#KU{-48UcP09vlEXi03#4i}Ujy?(U9ZV`m#icW6XZbo=b+LqCc6NUYTL8#myK zmxXB`64~WejtH|Ozhy;8Uf;7Y@w_I z>DObV0<&`4oA%Cj_0CQZ$)Ho(-n~13$w>S!=IF5Ib6{X>Q9*a?-VX}_HtQwO5=KXE z-M%fz%%C>$#Afx*UIZ(?^v}w+)a`KLLit#BwZ#l5r0v$+XT}0N0z`(dH9j9YI$|4b z%Ix-1XS``x5Z3`){cnCAdg@*!e<+I5HMVdVHJ@IrZkA z95S~Y`FXkeE2u$q4L{M4AxhUgR_uhegfCLo4N{l$EU$h2hDF0pVA^sCj2^U*`k=Ln zt1@R^G)auT6L`* z&Gz)Wd3&!&1XX&EQuuFw0z(+ES753v?L|cEdh`|Vi?_Fna~+XMO`M^}r$C667PBXi z!uGJSHrI`K82`4F6qqnV+!Vs&=pN5!Ku#{M8NE&9^O3aJ?b7 z!Tbf!Gmd{zIm6Y)v(;AwRT;s=V=x$3YND}Wn!1OTpoI-;TSNbu9)cr*pin^i^uIO& zBg<3M(rZm4zX!^95ZIF%6$*O%NNc}D8`gy5MENRO+1YJBGLD`UP_>}m9nW8V(@{I_ z9ol;nG74f8;XChJi{7O-z0sgNJ5|ytB4G^Y3e%~D%3JF_A3i)qTe37egiQ-+a{esI zehF&_>S$Y16%qMV<8yFPNF!IhaY3BTMS2ag5XLvqf-52YBJn!UoRH?kR9vO&!-|SU z6p||*9zagQ2M-Q$cJW1+@%~;K>_+rLJp~QD?Y4tAhMbZT`F?uOmCC)CAb@ES*%b#^ z3Eo!7pYlEdca7!_$9=q>%cNFBUr}dn1g|L?2J~pKhHX#4!QirWWwaPp2F*Cmyho3Q zF@O2}yT@UU1LCaD~ z^RP+*8>?P)bg>Zfg_Pyga?2Y>b>{O63l&j3F_BeXUJgy@DAviIOZcLzYcRIet@5r3 zZ3KCSXcV1$!~p7C$1xFBOu&IBmJ<}b04We$g$aCcwoxi6$htKH$nDOGAIe*HrRL@X7!Du{O#6&27i?j63M3&$Ba;?~yI{{|%_&CcJssE+i3 zd%L!i?Jw8~WXJ8S{`PI|uHE{Mrv%t9q4l{s=P;7jOZXT^eg;fny9L zFk;=J`bu+qd*R1%S3<%C!?EmaNlD2#ZY6nSLP&ftKARXD>&PF#t4f;smQG+idjRW+ z)9`(Gc-uJy1g4|4z%usZ2NnshIw*tm3-2G231~1qc@g|w1OARkjeFSxj0c$T_us#l zKC@Qlt%KRd;iI&5%MPNq<(>NqQAp9`zHe^+u|4GzONUubtgsQF8BT3WEXR{akN%); z0c&9jR)^}N;YErEuPwYglywA>UcTHw@&bB-Gt2F3l`5mG5KD$MWzSMP6FCzL%Ml!S zbUW|UmA7DmLic>}p(R;;%PH%eyNMP>u?SYQ)~M?raF;mW7_Amy=1`mHFU#f>V8W3= ze#+F`eocWqRvHuk+rWUU_e5rb&Z%4SGlf%=lkix2Vy9s=+D>&bkz#*|z4pUJZL4s= zxD3Adhi`xhdhXvp)a2Wq8ui*1?0KcmH{qhi!+|?6DLk8)l2Yy5e*i$D?`sStufVmU z*;%-cf0WoZ&EOQnXM{pgIrx>1@GQj`<7Ptvw=g1+rnH6>h>D5GVW6YC)cOekjk3pw z3z-DJ08+w6Z1YigJU#ixZ{F=2xxjj5>T{R|A04~o1PU^28URe77n)DWsugkO%nl&K zLksf;)P{D5i{gDCJ`Z%mpFNv{HjP@a{ThU!;I$(3DcyJvM%|8{r7b4f$n6*hVSzuu z(SLFIyQc9+`bx#v{QN1biud#Y)R@y~5HYX29me?_IkQ{tvJbFt0e*g6lMA>5$f0q% z(~rc|5AVHsu_tGHt_m+5!KQx_;)Uv2v%i14fEPtoTSs-;o*Z715jCg$A9%#xVSoaj^KAqE&6_(pA4eO;T>QEH zDijQFpl{JUb_@{D1qR7Wj*+E8ulFzqs+J0v{12i5ILrb}ZwK+ton!MW9hdPM6mj@P z0apD%SmS6T&%wnn5UGaSO=8;pf%e9}OF7B#ssgscy#W8EudlDm=jSl2)ut3jGUj)| z-mS_APa47-?N9LLdNoWlS^P-?^yxMpksbcga7vStljCoGpt*zr6Uy49zBUY{Ijruc zCI`l}E_eC}-4irqAx7FKugjCeJ^nx2M~rUvHpoPTAVIW5;Vnrz3i?A92m1T_eNgbw zTHs9^C#W8jnujAUp|?R(m4|l%Srw)}xXDI0^ds)82k33b85$xWcVNYj7y|&nL7Zu2 zWoDKlk0Nhfi;VR1^@TLTk~%^yRqcJd4wgF%6X8V!jd=Uce(Smit#-QdkK=Gpu;-yj zva_*m&%R@aF;|g9Pn+SLy^%GGg+Ue=LXR>uH1y?5O_TTGi^ex&V^Mp9@fHY}r!Z*@ zDj9wz9jZt}g|6e>KEM-j_``OK(Td;W<3f|}W?XtfDc{~C1h8kL z^t+YT5{QIc*7Yyf4A;7@Id8v_2hDs=mm|2>rmvRuOBl_qA6D_kG-1WS>L!{=JQ4CR z+NmtO?Ep_y^UZSX^4LzbY5i1}ppfIW`hng_2Zz&nyW ziPYtEnEhlSXX4;cz%v5ZV3Y8&9&Jo++i`1~$x!}m;bB681S%># zHi!$%A%I|z<}bLHYSxhG$*L@Y78i+ln@>g;idC!%WKjF(tT(Bkq_l1P0VD?eMk!D7 zl)cpYq@FslP51X9xq>o6x_3H%o`2HaP>-0Xjs6^X9peGPh{rfip zag1eu7dn1i!SN45JcE>wQ&9LGD8$8*+`0f38fO3_CvaV0)lp=m=%1APWU1y>mw#Ij zXO52JQm6oEM|uhH_fKjqlIiV>*WuUc`LakpfjdD3K+%-Kn^G1R7Z(=R|BPJCx~is~ zWaf4pP5syOkWC1I-GDCVYibf#Q}^wh%n+CqxgQ!C*$ij|ea8&0<@%5OTMYL3!TtLKq|Ken%gaE0_6`m*OOf}-aDRaIV*= zNOq$4hPZJ1?%kzn!Ks}(0?Z%%cb8Xy4wzNyaJ#VU@~Iu4=;F}P*0?%=wm86eP8bt=RD_me!uT>-}m?aMIAoePW|fYTI1~}C%v2O9D^FO zwbj0VpM@jhdxW!Yzly5iecp|Mu}1biUB_eRtkoah_z&_Vcv0EsH;} zRI8jOi;MvcBR_g{F1{x-lSa$Qy{@g@#H=25{&Gn0;Rf%hs{pFyLoEm)*_SVORm(h7 z`X!);?`3m_km7=wq2cB?fW5)< zuK2zmCX(8Hhxa2c1fYSZKH?Wp&Le;B5llbNy8dIylCMn_AIZ!lqrp}Ee$&?eK&4Ex zOxcPUml8up#9vVrpiv)#Tj8J6nf!^H)2 zE3!**_MrZ|?__1^`3$vCmfJUK#coj9w{E@W8bC*gU?g%l;@+m~ufAw+_y4&WGmjq^1R#sOuclYKe{Pj{VDJ)>!UEr6wQ4^M)JJzNBD$ma- z4)Zh2!!^!t+nwM%RhWt}dSXkTa z58ei#w`j?dez+O7{S)U-`!=4zBsn=9?BQC~4ZAX3)QpfF$Q=_w;ZONNrl#wN&LbW2IzL}YvB z$i|u9#tAZnr>UicGulyMq<(&??TL?+&=}#c=Q=t%^x|3r@0~7LLsLdzVR*pNF5`Ah zb3kBVubw@@qZul!FHYLp+GyLdW`41cd}yAFZeCC?s$U8xX8q4(WN0f$Q-buMx_(nv zCp$#fBvE^~nY}%sw1i}HM0dFvgGkt9q7Iz#9g9I?D0htL8P>fRs}|awrFTAOxBX@dP^)Oi5YRv|mZr3V5!6hke*&)8g72$=%) zRAuMn^s1y}A{Ls|fs*p`?E}n`bx~eJ6$Slhtw6~wav{bzYG>D(_-G824^@?u0+vA9 zfl(J#GYkRr!fZ?Wpa`=TS{_P_48>SvCRk+Af_+@x(VWD<^{LO6b zj$Pi%v8SU)36&De7(4(5nUj(KU6~f`~PBWZ)@Ai z7ynqcTkLwk@`P}`06sj=#Wps>h==TEiptydEovi&nMJ5nf8n-})*e8O{59G*XZzS1 zMoC%1N1~zt=2bF!;stk%%VLy?8kORST09XiCZ^IV%3{z1z5n+-Rm~{=Uuj0?5J7 zd9jCSC&^gIZM3_#iXWniRZvi%_Yy`7?Cl%DdpFcsH@_8J45;V%&9G9#owwUNOr&?K z=;%0?cCOZo({EMNi_?OZ`J}R7&g^6{l4u5w5ZcKw$uN3!5@N|tZjN)%Ec2ALWAwA~ zH58;#PD3ss$~=`c!+@DE5+g~K@KNR4`z%AB3z^Pwayp7$9>A;p6RKz$KY}Ly0;GeV zmS>~^(lJvgY>R`352yS$e5q|GCy4%&5)&V-)Vsd1ff*K(L0&;N;~h*jqIyJPeCt+l z!Ai{M&@8&6d0P}fRAYye<+!fAZ(k^u!WAcc{`yr(X?YGMMJ#Whk+IIpi(G`?C=bck z_p+s`o~|wb48!;VEpP=?(26FrFrEN&%%6QfGJ&NU^ z1}?jFG_4Ao`7>G=ZgTS>uX|EkC*rW z4q07YjVPPB(3QGFppPd`Y$m?*Z3rz23s#NU*73*qnA;YTXdlulqmCZU zICV@N7 zXTS`+YU}GkxoB%JEMqcchcW_V@0BYj!%?uTnIu6E_;cj6`y z)NF0@3Jm-~h54+q5(B+ja9oKim~s8PcQ2?VxQxpt4Oy-p4MIhG19x5;4CXfkNgw_#%6s{e=oDTeO`zihKPCq8mNe4T zz$8ovc$_!T^$3_%Mg}8H^tgrw24pC8sXK@r7cOkZlt^UV38-0476l+#pH`G4bGN*Gxp{Ng;ZtK?Xkatx3 zjQlZ{wwx7tN%j$*eK2@8Hg72GyvuBy{?sK_Rt-&VXyh^)p5U<}tk6Z3{pd|+L1n~W z-2)?_>t~pzIKPU`&i;IvwJJO^a^XBDrJ){rjdNuzquK+ySX&G&QDUYfCqrN?nzSL1 z8EgCuDhV4n&o0*;0tYvGlACpU;E(}(!onWVY6P|EC?5GeHZl_J%9%`flV=n%vKXT8>~!!>?{OZo#ugk*5<9?Gh! zf{5+OldM$9oL0}P&cfrnmzT#@?$tfzxUVvf&*%q)?-HxMX~TxJ2HlGF07ndl(_%!$ z#unedFC{Cx?z3A2^aM7%Q0kbKqv6i~^)m!-+9^>_5qF!)2}=hFf@aD;21WRi-Y>6} z9oQDl`@;OcXEF%C0IcU}J;{(lW;zw9`1bm+%}p1!&sabyj88$<%7UmpI>meA#bd%_ zmpq8ssPJAocZAaaNWMBm*dDpFW{VgV`~R+-&~QajCtN9!f!{Kf}O&Y@hgi z6G}hyZw&Hljfxwppultq1+n6gAt{-e-S6#H_;999ov@qudsevYNF&t`MrLw(K<^aD zp1!oVQ#Ump^q(6%j8)2wjOU31^Nm$ep(tkF%~)6WT%?ZP8RvN?ydy0y{&aLKB~VQM z{O8+>*T=rO-KqT(9_7Z(o1|94tl(@7@qyu|)xFjv7>>7%jU*}g-WYSzY?g92$^Vu{ z+D|9j|LreN9Z!RR(+S=u7jMQxuF3)z+6i~#x2@%5uI0xX2W_Ad?W zortbHTeL8)t5@H1yTH|A^{hE6Z~wFHhYtIQZzQfWF)=CZDU-6hdf(0o#|hW$4ibdW z+|fUwFPZ|k29|HB3*IbfTWEEqcdu}BYr8q?)5Bu5FUpVCeC6<*HR^ z+zd!i$ej3Ejs$+*kV3uf^JkAcQ{984qYE}}*x>oC>2JlyH>%!I0gyu|&B@=7&nlUv zv>p>{;w=F4FD)Z84ZS!*C@LMkSuQ$}PpqBSwDrMX#H5dIM}b`3i|G+YA?06;}p=?MwL|0<2t8o%2j=FU(zRddW$ zDl0cXK4wb6Kp8d#4>m`~7i0mSm=RAc3lHaz;D-(ywgqz5ao<9T*ML>KugGRu;3Lae z0h~Y23?#VxQEJ3v9nXxs2ep5KYk4hSPB1F5jx`y0T6t%Xse=p)h)EL+;GgZR>o6OM zB4FsysgOG(RQAi66(-v~fm$IaRxp{zSo?;=(Lc^gq__1*3q5UaR=ApW&dJG1=*NnR z4sFy*Y4tetWh7~G$dI?SwXHHO?Z@g4INi4@sNit)t8r(Iv_Za&&HUh||tV{rI0p38&g+7|O1pp*y4={ss z%AtAjIjx1b;W*uxLIds?-6Pp~_UTeVt1L9SY&QyafCSPu^9fB*0@RvpH;o2SGR!%~96pS`WjPMSM}HKSm9 zj)ySR+IsMlWtK|RZ&Lym22JXNbLuc`SCkYK80G5ZvMGI2&Ype8WIoqSPlPlvcbRp+ zORn=@2-ETbpI&c2efqS8TfJ%3BF8bBn*SWtc;6$s;Auq#Ou@CJq$)5uIKbm)&)y)7 zAfBddTLBaL@2HPc;@it>iO2Z=hJ^H6{JWgT;*CZxnNIv~nivF^m3bAEgUjG3hi2-Z zc-#7g)5;GvTt~o!a~Smk(8_#&`(5H6P(-|-UGV5QaO4QQ%+56rBv!Ok;0;{+`lw%b zsp4QfQfcMeDe-!N%yDA=j$A^0x`tT_z6PrVt2z=Ct2*khKKgT`^`obbDB|)Vrg2Cv z`=j0hUW0WAwoz+Gw=wNpf;h>B@#_j8JH6ujA4Amu3yNiHVJJ zeH~CGB@)_jYDx0LR%&@LdH6o^EJ_4n&kh=O7Dp6ZiIc^uBh@?3t2cdJ3xJFah717= zpl`cgD%mZ+rWrVstcw5xU%h$Sv5aj|g-t`2LUT!QU6}fZ-q7w(**5bJ<WnigAMHyTjsjfZ$+9mh+FAU4ILl6)Qp+nE6s+db% znjUGHSJO=F$AG(wfDL&Dm^d@3>f}5n#%W-9xd6Y$r&dpvs|24q6Nsr3w-PO_enF); zI@~(r^`}{FSZw}~inDgp9YP1ri;%ne{8G?)njF$HH4b-(p?%bdf^6$pszC0I54F&n zIMF@oLbCemW49H;)?Z%pWdqJS064r5a6*g%lChvu|2T7^#;lt!z!3$fDHzhyo~y1l zpZ~j^Vn3VYyX0)|`_nga6X-6MUE3JR?11i&!yghBly)xWnYJ~S$tV@imJ-;)Q8VHT zR>q?$h>NpxaB!e3diG4BaAJN&!ISLt^a;MY9+##B{9-DK-s3Ij;R}L;fqEz;Hn08r zp*q%V*mT&>vs+OU2TuO ztf?IM8QnL=Hb@SbS_sEDkOfj)tPyDmpCPnxj8*9Cm%-qcms85eY`nkLy7XcW^(@_L zbfUC=zoWsgn`gmBZqkC(xb31lWB^}y(V|jB@03C@m^lp|oPYOj4z4Tg9xbi2WPSu< z+*9DZMdO^__sUtEp)>? z0@@{b0q`b_mg21INcHDNTbNHaZKAsd|Em6MB$b?GcG8A{F_*3AJK0Dj)`u$=wd`8 zIF6+*(f}~TQ3c|nxf{OJL3O2-hgXNX09mspYP_PQk`|+QN zyc)S^GBL1UvY1u^Z*|^Qb=_-EdTm~`Q)y{nRP#ElCP%2Rp=O`ncjxw-eNi&*ELe%A zhSyXhqn;vDxe>CbuU(5TghWEkDB=D2EdHApo?%oV>!*y64KbJ7#m56L$&Q-7v|9~v zpgRuevppj141ZY3q*^>#jfIB0w;C;JD$mSX1&!PvUaoK8^$<0g|%lS=gY+lA?F|%gRc0y%P=2wnqPbAVnb{LC)hQcZnV@ zU#+#T#}2{RG|zDPFJ@9d;`i>AVy=YEAo#3Jo93XY(Dmtny5> z{$}Y<>9hg^0zA5a(CMirXldom7Yx$f8=mDCtEU9Q=NojXVvZZBrlHYG6lZ;iIeJI~ zKR?L7bGT2>aD8^Z%8-M4{!eF3$-uS(OdkGZ%=P|Z8XRLZ4DvJ7;_syR({leElr*Kj zzi?jCVb0WfdmSUD@QCsCE#KG()!$t?Q0bDn#OBZRh~B0FHzSp$7`32qahmh~c{E!Y zIY$@Ww&Vz)9RV+1r;c=k)DK{A^7IyO93oQkIsUzls2F@1XcjE=tlY~%WT z?=$rc^F&QbB3Ja@jQJu6I?bHa4yr^mJS2(X>FMb`@M^9Fo0AmSGZYQY?&YO*8rma@w(5 z5g{P2B&%gEP*adDEiGl6dtL^TKt9F#>AMr%$aB(-cha(efE#>TRMeBND)=oF78k?* zdA^=R${?S18@(P)7P$tc2f;i}Azj8zW~e)_bYbBSQWxK4Vk z*q9j5HBKYKJTCC&lq|94zOXR)%rHB1AZXlq7W?9H2FhE-RiZxu>!2g_^76|0I%3+E zW>p=XkJzHp`w0Fo*u>zP;X|#SbaNWc5keQ9bZwQE;?SXX9I?|<462}m2#_)k{zhuh zpnk#h{Y*b}HJNijg^SCvEB;?E;X(=OO`CG1PSzTC7uHMWvg>zOoNxQ^lH%ju3U^S1 zy#P)ccTi;jD3y0>38h=&)UoTXqLZr!;BEcrES#~14JwKPDp|Ue&7??H=buv&2_6Fa z2XYBm-1hZrKM~s6g~w;p?#>N3W~urN9b-a*1N=i`q9es=wvJ5WeWpdJHJPXFVWKLJ z(s4Cl7g@r~0Ox=L>JJRijKKF+kX-qcZG<`sItT{O@&&NCEUBK`MIt8tVKA7&oG9jZJwu-~W1XlJOE78>7IE zi|t{X8sDaWBqWm@XkTnQi^;C+Gt%@|&I6f!oB&0HUh3e$*?DYQqa#Ht1h*Gj+HV2d zXbr@g7qhb=wR8QOSFko{X($uOWPA3^X5B&!VVh=Vwu8f-=o{#J`B!su^MaLGKug)t z0X|bW{4a?MM55n{%7vVZjtl*DgAlTekLlnpH8eJ6Rleiu=K^kbQ_^hYXo1i^$00+26EGEpg@mZ4hX36V;#F#Ibx0L=i?+gb3ihrWMp~;bFZ3* z3(AlGG?F|ZmH=O6S4aqZ_HvQF_EIf@ZRPK2`BCGwzaf$nO|wb3oH^-lm@K}+0Z;&6 z0Y3`onVKd;*m8+|f(gFkV?5TZkrELt!EJg517CEvJ@=+J;wJ{5bVb1ST0c#mT~L}4 z9{bD44Ce{)@IerH9!T{WWFo~m+1Tj8IqXnIgM|!^RmTr~dTx)61^u=1@Ho>x3!ThN zq8M=j@CfTY_8Rk$kiKvDdqpLs;&}Zgb|?mbzb!u7zGYSl7YNAQcjt0i)2623g9qD| zUP`-m&4^Pfx#d&~H}WCnE?)ej(}|$88dynxpeBA8_PLW%cK%wi0RDE2eCVj@{+QjX zYOlddoc@4;)3vKj4H63LTZS*SSnHo|t1P!`_wJY9oM}<3`kEw*@2}Jo9k5h|sq9!i zvw;90G^Vi8>`!nNWKbif`+s67tS*c{nVc*z#5DF)6X;5|n<#HfW-W>}wY0Tav@MW+ zf_HB1pCII2#A-4E$%7-CnveE2eX6>K?TuGik6TPoAqybk3b(R;X)rg{7&aVJMLJ!{_uR71wTs1oH_QFPz$H-dGzG zhYT3C-wiF!pDv^|LOMWUwvmc_Y1UKYuUAfKhHM;hJoNl${3oYjCz_I%nG9I5++dqWk4kN zjs|Pt5u0BKm@9rx4??C^)bI1Fnb=+T{(&Od6Mn|-{A*Tg1RH7t6C?$pG(JY7yb{DBj4?v0+&0J?ou`#=% zDovk(7uJZ+CQIxkE?!g+@q8#xB4!`AN!5>#MFz9ZQxtsTMkl#~bkl)0^6=py@}a1C zF5@0RTTU1(PkaG6&c$OI3I^j`Rn^_`hg2wt1G*usYtA#o;5fC1sPE2+Fq=U91if%? z4FV5gohM6{05a&^rw<0xs2V|Xjbg>^cGl`GnYmrpe&piQ`tSW5`H??rM&aYkQH%1S z@G;CgBY<1HSbM^RA00DQLoHV5#i9MA#)J9qBZAJxCmd*smC_u+sdE^g0I5@2uoFkJeP` z*Svg{T^{iJh$5j&%5UE`wX?hGb{#5*(-{SwE{P9yp*2t@b2D0soLBpt{8n7-O;^i$ z<`!TA=s17U+olJ1D{}7uR5aOL9j7oi{Sb2!Hj5TDeaZFs;2M}-{_a(4wxtoJX4KxLfd zNO%nl3?#9lHIEh^AIT}sj8eWxCt=omDr=~{rLD{p%#q{J&@d~2DE36iJ7Yw zT_Ew^iw09NU|zBqO;6r=5J$Fj{DLU(mG)ncpE@Os?z`yn1~6TmaWUq@lL|Ts01C)1 zWHG$pe!sa3fM^?qj z57yQLOyyvLc|(9PCBGdP&z}d$Beq{ah}xdL0)09hBs)AabdjdQsgox$oH;kuSS#iI znCJrH);oGXAZX7^am*^dkw`uRT++n@vZkYOdC`w)Ht?~#z+Oy~;}-OQFVE@|nPAJ! zBs_e29}%)EpV9rAQ*kR7%=o(E3RY&=U6@V1rSvy5IFwBp-{veydF5?= za=JVTJlU&4jQqZDc~~*0Z1Wz(x{FM^KBsQ8OV^Mx-cr)I@0$Z@Mwp2tgb&|#Kb!eW zs2>tYzIPM7_L7k|TL*4Z3pXmgH^}dMM^dZmG3R+#1`bHIE9>q(yj^eG!}4-uPe~7J zpEP`N-ZtCIU@LUy;p+=Sc5tSboJX`#NBTVe_qcB0*j?fT#*F{}4CEii)potNESO=( R1d~W)HS2ea3^SJ<{{w6vB~$