From 08f30b88c549c91bee5f652628786faef9eaae14 Mon Sep 17 00:00:00 2001 From: Jan Philipp Timme Date: Sat, 10 Nov 2018 18:53:33 +0100 Subject: [PATCH] Initial import with old slides from bachelorcolloquium --- .gitignore | 19 ++ MA-KO-Inhalt.tex | 366 +++++++++++++++++++++++++++++++++++ MA-KO-Master.tex | 70 +++++++ Makefile | 26 +++ f4_beamer.cls | 131 +++++++++++++ res/H_WI_Pantone1665.pdf | Bin 0 -> 7439 bytes res/Wortmarke_WI_schwarz.pdf | Bin 0 -> 43749 bytes 7 files changed, 612 insertions(+) create mode 100644 .gitignore create mode 100644 MA-KO-Inhalt.tex create mode 100644 MA-KO-Master.tex create mode 100644 Makefile create mode 100644 f4_beamer.cls create mode 100644 res/H_WI_Pantone1665.pdf create mode 100644 res/Wortmarke_WI_schwarz.pdf diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..401aa93 --- /dev/null +++ b/.gitignore @@ -0,0 +1,19 @@ +*.aux +*.bbl +*.blg +*.dvi +*.log +*.lol +*.lot +*.lof +*.nav +*.snm +*.toc +*.out +*.synctex.gz +*.bak +*.vrb +.nfs* + +build/ +release/ diff --git a/MA-KO-Inhalt.tex b/MA-KO-Inhalt.tex new file mode 100644 index 0000000..fea8a39 --- /dev/null +++ b/MA-KO-Inhalt.tex @@ -0,0 +1,366 @@ +\section{Motivation} + +\begin{frame}{Motivation} +\begin{itemize} +\item Immer mehr Geräte sind mit dem Internet verbunden +\item Sollen überwacht werden beziehungsweise überwachen selbst etwas +\item Bieten kontinuierlich aktuelle Zustands- und Messinformationen +\item $\rightarrow$ In Form von RDF-Ereignisdatenströmen abrufbar +\end{itemize} +\end{frame} + +\begin{frame}{Ereignisdatenströme} +\begin{itemize} +\item Transportieren Daten von einzelnen Ereignissen +\item Jedes Ereignis bildet kleinen Teil der Realität ab +\begin{itemize} +\item \dots sofern Daten korrekt sind (Messfehler, Übertragungsfehler, \dots) +\end{itemize} +\item Aber: Sind oft zeitlich begrenzt gültig +\item Und: Treten meist hochfrequent auf +\item $\rightarrow$ Große Datenmengen in kürzester Zeit +\end{itemize} +\end{frame} + +\begin{frame}{Verarbeitung der Ereignisdatenströme} +\begin{itemize} +\item Ein Ereignis für sich trägt kaum Bedeutung +\item Betrachtung in Kontext notwendig +\item Der Kontext ergibt sich \dots +\begin{itemize} +\item \dots durch relevante, weitere Ereignisse +\item \dots durch Integration von \emph{Domänenwissen} +\end{itemize} +\item Möglichst schnelle Verarbeitung gefordert +\item $\rightarrow$ Complex Event Processing (CEP) +\end{itemize} +\end{frame} + +\begin{frame}{Was ist Complex Event Processing? (CEP)} +\begin{itemize} +\item Betrachtung von Ereignissen in \emph{Sliding Windows} +\item $\rightarrow$ In-Memory Processing +\item Erkennung von Ereignismustern +\item Aggregation von Ereignissen +\item $\rightarrow$ Erzeugung von komplexen Ereignissen +\end{itemize} +\end{frame} + +\begin{frame}{Ziel der Arbeit} +\begin{itemize} +\item Verarbeitung von RDF-Ereignisdatenströmen mit CEP +\begin{itemize} +\item \dots unter Nutzung der C-SPARQL-Engine +\end{itemize} +\item Dabei: Integration von Domänenwissen +\item Und: In wie weit kann Reasoning\footnote{Dazu später mehr \dots} genutzt werden? +\item $\rightarrow$ Anhand eines Beispielszenarios praktisch durchführen +\end{itemize} +\end{frame} + + +\section{Exkurs: Grundlagen RDF} + +\begin{frame}{Exkurs: Grundlagen RDF} +\begin{itemize} +\item Resource Description Framework +\item Framework zur Beschreibung und Modellierung von Wissen +\item Aussagen sind Tripel +\item Bestehen aus Subjekt, Prädikat und Objekt +\item Werden als URI repräsentiert +\begin{itemize} +\item Im Objektteil sind auch Literalwerte erlaubt +\end{itemize} +\end{itemize} + +Es folgt ein Beispiel \dots +\end{frame} + +\begin{frame}[fragile]{Beispiel: Zwei RDF-Tripel in Turtle-Notation} +Fakten über ein beispielhaftes Subjekt in RDF: +\begin{lstlisting} +@prefix car: . +@prefix carModel: . +@prefix carOnt: . + +car:23 carOnt:isCarModel carModel:42 . +car:23 carOnt:hasNickname "Alf"^^xsd:string . +\end{lstlisting} +\begin{itemize} +\item Turtle erlaubt mit \texttt{@prefix} die Definition von Prefixen\footnote{Für die Übersichtlichkeit werden Prefixe auf den folgenden Folien weggelassen.} +\item $\rightarrow$ Übersichtliche Repräsentation der Fakten +\end{itemize} +\end{frame} + +\begin{frame}[fragile]{Beispiel: Zwei RDF-Tripel visualisiert} +\begin{figure}[htbp] +\centering +%\includegraphics[width=\textwidth]{img/triple-spo.pdf} +\caption{Prädikate verknüpfen ein Subjekt mit Objekt und Literalwert} +\label{fig:triple_spo} +\end{figure} +\begin{lstlisting} +car:23 carOnt:isCarModel carModel:42 . +car:23 carOnt:hasNickname "Alf"^^xsd:string . +\end{lstlisting} +\end{frame} + +\begin{frame}{Assertion Box (ABox) und Terminology Box (TBox)} +\begin{itemize} +\item Unterscheidung zwischen Faktenbasis (ABox) und Terminologie (TBox) +\item TBox enthält Vokabular mit definierter Bedeutung +\item $\rightarrow$ Analog: Klassendefinition in OOP +\begin{itemize} +\item Objektklassen +\item Prädikate +\end{itemize} +\item ABox enthält konkrete Fakten +\item $\rightarrow$ Analog: Instanzen in OOP +\begin{itemize} +\item z.B. Wissen über existierende Objekte, \dots +\end{itemize} +\end{itemize} +\end{frame} + +\begin{comment} +\begin{frame}[fragile]{Beispiel für eine TBox} +Definition der Klassen \texttt{Car}, \texttt{CarModel} und \texttt{Driver} in RDF-Schema (RDFS): +\begin{lstlisting} +:Car rdf:type rdfs:class . +:CarModel rdf:type rdfs:class . +:Driver rdf:type rdfs:class . + +:drives rdf:type rdf:Property . +:drives rdfs:domain :Driver . +:drives rdfs:range :Car . + +:isCarModel rdf:type rdf:Property . +:isCarModel rdfs:domain :Car . +:isCarModel rdfs:range :CarModel . +\end{lstlisting} +\end{frame} + +\begin{frame}[fragile]{Beispiel für eine ABox} +Beschreibung eines PKW und dessen Fahrer mit Hilfe der Terminologie aus der vorherigen TBox: +\begin{lstlisting} +car:5 rdf:type :Car . +car:5 :isCarModel carModel:8 . + +carModel:8 rdf:type :CarModel . +carModel:8 :maximumMotorRPM 4300 . + +driver:1 rdf:type :Driver . +driver:1 :drives car:5 . +driver:1 :hasName "Max Mustermann"^^xsd:string . +\end{lstlisting} +\end{frame} +\end{comment} + +\begin{frame}{Reasoning} +\begin{itemize} +\item Prozess zum automatischen Anreichern von RDF-Daten +\item Baut auf einer gegebenen TBox auf +\item Ermittelt in der ABox enthaltenes, \emph{implizites} Wissen +\end{itemize} + +Dazu folgt nun ein Beispiel \dots +\end{frame} + +\begin{frame}[fragile]{Beispiel: Reasoning} +Gegeben sei folgende Faktenbasis (ABox): +\begin{lstlisting} +:a :drives :b . +\end{lstlisting} +Führt man nun Reasoning mit Hilfe dieser Terminologie (TBox) durch: +\begin{lstlisting} +:drives rdf:type rdf:Property . +:drives rdfs:domain :Driver . +:drives rdfs:range :Car . + +:Vehicle rdf:type rdfs:class . +:Car rdf:type rdfs:class . +:Car rdfs:subclassOf :Vehicle . +\end{lstlisting} +So ergibt sich daraus folgendes, implizites Wissen: +\begin{lstlisting} +:a rdf:type :Driver . +:b rdf:type :Car . +:b rdf:type :Vehicle . +\end{lstlisting} +\end{frame} + +\begin{comment} +\begin{frame}{Zusammenfassung RDF-Exkurs} +\begin{itemize} +\item RDF-Daten bestehen aus Tripeln (Subjekt, Prädikat, Objekt) +\item ABox enthält Fakten +\item TBox enthält Definitionen für Klassen und Attribute +\item Reasoning reichert vorhandenes Wissen automatisch um \emph{implizites} Wissen an +\begin{itemize} +\item \dots dafür ist eine TBox mit Vokabular notwendig +\item Unter Nutzung von Vokabular auf RDFS-Basis kann schon viel erreicht werden +\end{itemize} +\end{itemize} +\end{frame} +\end{comment} + + +\section{Complex Event Processing mit C-SPARQL} + +\begin{frame}[fragile]{Input: RDF-Ereignisdatenströme} +\begin{itemize} +\item Ereignisdaten kommen als RDF-Quadrupel an +\begin{itemize} +\item Tripel + Zeitstempel $\rightarrow$ Quadrupel (kurz: Quads) +\end{itemize} +\end{itemize} +Beispiel für Quadrupel aus RDF-Ereignisdatenströmen: +\begin{lstlisting} +(1344829400) event:324 rdf:type carOnt:CarStatusEvent . +(1344829400) event:324 carOnt:relatedCar car:0 . +(1344829400) event:324 carOnt:speed 63 . + +(1344829405) event:325 rdf:type carOnt:CarStatusEvent . +(1344829405) event:325 carOnt:relatedCar car:0 . +(1344829405) event:325 carOnt:speed 75 . +\end{lstlisting} +\end{frame} + +\begin{frame}{Complex Event Processing} +\begin{itemize} +\item Ereignisdaten werden in Sliding Windows betrachtet +\item Auswertung anhand von CEP-Regeln +\begin{itemize} +\item Definieren Bedingungen und Aktionen +\item Aktionen werden ausgeführt, wenn Bedingungen erfüllt sind +\end{itemize} +\item Mustererkennung und Aggregation von Ereignissen +\item $\rightarrow$ Erzeugung komplexer Ereignisse aus Ergebnissen +\item $\rightarrow$ Auslösen von Aktionen (externe Dienste anstoßen, Code ausführen) +\end{itemize} +\end{frame} + +\begin{frame}{Sliding Window und Tumbling Window} +\begin{itemize} +\item Nur Ereignisse in einem Window sind Teil der Auswertung +\item Haben feste Größe (z.B. 15 Minuten oder 100 Ereignisse) +\item Werden nach jeder Auswertung weitergeschoben +\item Tumbling Window ist Sonderfall +\item \dots wird um seine Größe weitergeschoben +\begin{itemize} +\item $\rightarrow$ Ereignisse nur ein \emph{einziges Mal} darin enthalten +\end{itemize} +\end{itemize} +\begin{figure}[htbp] +\centering +%\includegraphics[width=\textwidth]{img/slidingvstumblingwindow.pdf} +\caption{Sliding- und Tumbling Window auf einem Ereignisstrom} +\label{fig:slidingvstumblingwindow} +\end{figure} +\end{frame} + +\begin{frame}{CEP mit der C-SPARQL-Engine} +\begin{itemize} +\item \enquote{Continuous SPARQL} +\item In Java implementiert, basiert auf Bibliotheken Apache Jena und Sesame +\item Erweiterung der Abfragesprache SPARQL für RDF-Daten +\item Enthält Funktionalität zur Verarbeitung von RDF-Datenströmen +\item Ermöglicht leichte Einbindung von lokalem Domänenwissen +\item Unterstützt Reasoning auf RDF-Datenströmen mit RDFS-Vokabular +\end{itemize} +\end{frame} + +\begin{frame}{CEP-Regeln} +Szenario: +\begin{itemize} +\item PKW-Verleihgesellschaft möchte Fuhrpark überwachen +\item Vergünstigte Tarife für verschleißarmes Fahrverhalten +\item PKW senden periodisch \texttt{CarStatusEvent}s aus +\item Domänenwissen enthält Daten über die Fahrer der PKW +\item Beispiel: Notorische Raser (>130km/h) sollen erkannt werden +\end{itemize} +Dazu folgt nun der C-SPARQL-Query \dots +\end{frame} + +\begin{frame}[fragile]{C-SPARQL Query} +\begin{lstlisting} +REGISTER QUERY getSpeedingCars AS +PREFIX rdf: +PREFIX car: +SELECT ?driverName ?car (AVG(?speed) AS ?avgSpeed) +FROM STREAM [RANGE 5m STEP 1m] +FROM +WHERE { + ?e rdf:type car:CarStatusEvent . + ?e car:relatedCar ?car . + ?e car:speed ?speed . + ?driver car:isDriving ?car . + ?driver car:hasName ?driverName . +} +GROUP BY (?car) +HAVING (AVG(?speed) > 130) +\end{lstlisting} +\end{frame} + +\begin{frame}{Ergebnis} +\begin{itemize} +\item Alle PKW mit Durchschnittsgeschwindigkeit >130km/h werden gemeldet +\item Verantwortliche Fahrer sind Teil des Ergebnisses +\item Weiterführend möglich: Observer in Java schreiben und an Abfrage registrieren +\item In Observer: über solche Vorfälle Buch führen +\item Gesamte Umsetzung des Szenarios in Bachelorarbeit beschrieben +\end{itemize} +\end{frame} + + +\section{Fazit} + +\begin{frame}{Fazit} +\begin{itemize} +\item C-SPARQL-Engine noch nicht vollständig ausgereift +\begin{itemize} +\item Probleme mit Sprachparser, kryptische Exceptions, Zeitstempel nicht immer abrufbar +\end{itemize} +\item Einige Probleme bei der Durchführung des Beispielszenarios aufgetaucht +\item Einfacher Zugriff auf Domänenwissen ist großer Pluspunkt +\item Domänenwissen zur Laufzeit leicht veränderbar +\item Nutzung von Reasoning auf Basis von TBox mit RDF-Schema möglich +\begin{itemize} +\item \dots auch auf Daten der Ereignisdatenströme! +\end{itemize} +\item Für rein didaktische Zwecke auf jeden Fall zur Erprobung von CEP geeignet +\end{itemize} +\end{frame} + +\begin{frame}{Ausblick} +\begin{itemize} +\item Nach einigen Verbesserungen und Fehlerbehebungen gut nutzbar +\item Dann auch definitiv für Einsteiger geeignet +\item Eventuell Reasoning auf Basis von TBox mit OWL-Ontologien denkbar +\begin{itemize} +\item Diese sind deutlich mächtiger als Vokabular auf RDFS-Basis +\item Ermöglichen Attribute mit Transitivität, Symmetrie, Inversen, \dots +\end{itemize} +\end{itemize} +\end{frame} + + +% Probably not used, not sure yet. +\begin{comment} +\begin{frame}{Literaturverzeichnis} +% Literaturverzeichnis +% Schlüssel als Buchstaben +\bibliographystyle{alpha} +\bibliography{Literaturverweise} +% Und JETZT zum Inhaltsverzeichnis hinzufügen. Geil! +\addcontentsline{toc}{chapter}{Literaturverweise} +\end{frame} +\end{comment} + +\begin{frame}[fragile]{EOF} +Vielen Dank für Ihre Aufmerksamkeit! + +Fragen? + +Download der Software und Bachelorarbeit unter: \url{http://jpt.lu/thesispackage.zip} +\end{frame} \ No newline at end of file diff --git a/MA-KO-Master.tex b/MA-KO-Master.tex new file mode 100644 index 0000000..7606d7b --- /dev/null +++ b/MA-KO-Master.tex @@ -0,0 +1,70 @@ +\documentclass{f4_beamer} + +% Basic setup +\usepackage[german]{babel} % Sprachpaket für Deutsch (Umlaute, Trennung,deutsche Überschriften) +\usepackage{graphicx,hyperref} % Graphikeinbindung, Hyperref (alles klickbar, Bookmarks) +\usepackage{amssymb} % Math. Symbole aus AmsTeX +\usepackage[utf8]{inputenc} % Umlaute +% Custom packages +\usepackage[autostyle=true,german=quotes]{csquotes} % Anführungszeichen mit \enquote{} +\usepackage{textcomp} % Zusätzliches Package für °C +\usepackage{listings} % Codesnippets +\usepackage{scrhack} % Hack for lstlisting i suspect :-/ +\usepackage{xcolor} +\usepackage{float} +\usepackage{soul} +\usepackage{verbatim} % für comment-environment +\usepackage{amsmath} + +% Setup für Codeblocks +\lstset{ + % Optionen + breaklines=true, + breakatwhitespace=true, + breakautoindent=true, + frame=single, + %framexleftmargin=19pt, + inputencoding=utf8, + %language=awk, + %numbers=left, + %numbersep=8pt, + showspaces=false, + showstringspaces=false, + tabsize=1, + %xleftmargin=19pt, + captionpos=b, + % Styling + basicstyle=\footnotesize\ttfamily, + commentstyle=\footnotesize, + keywordstyle=\footnotesize\ttfamily, + numberstyle=\footnotesize, + stringstyle=\footnotesize\ttfamily, +} +% Hack für Sonderzeichen in Codeblocks +\lstset{literate=% + {Ö}{{\"O}}1 + {Ä}{{\"A}}1 + {Ü}{{\"U}}1 + {ß}{{\ss}}1 + {ü}{{\"u}}1 + {ä}{{\"a}}1 + {ö}{{\"o}}1 + {°}{{${^\circ}$}}1 +} + +% Broken citation needs broken command +\newcommand\mathplus{+} + +% Actual beamer related document setup +\title{Konzeption und Umsetzung eines IPv6-VPN für die Abteilung Informatik} +\subtitle{Masterkolloquium} +\author{Jan Philipp Timme} +\date{\today} + +% Content below this line +\begin{document} + +\input{MA-KO-Inhalt.tex} + +\end{document} +% No more content below this line diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..14af533 --- /dev/null +++ b/Makefile @@ -0,0 +1,26 @@ +.PHONY: default +SHELL=/bin/bash + +MA_KO_NAME="MA-KO-Master" +MA_KO_NAME_FINAL="Kolloquium Masterarbeit IPv6-VPN" + +# Custom command enhancements +PDFLATEX=pdflatex -interaction=nonstopmode -file-line-error -output-directory build +PDFLATEXGREP="" +#PDFLATEXGREP=| grep -i ".*:[0-9]*:.*\|warning" + +default: cleanall render + +render: + ${PDFLATEX} ${MA_KO_NAME}.tex ${PDFLATEXGREP} + #bibtex build/${MA_KO_NAME} + #${PDFLATEX} ${MA_KO_NAME}.tex ${PDFLATEXGREP} + ${PDFLATEX} ${MA_KO_NAME}.tex ${PDFLATEXGREP} + cp build/${MA_KO_NAME}.pdf release/${MA_KO_NAME_FINAL}.pdf + +clean: + cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc *.synctex.gz; cd ..; exit 0; + +cleanall: + rm -rfv build; mkdir build + rm -rfv release; mkdir release diff --git a/f4_beamer.cls b/f4_beamer.cls new file mode 100644 index 0000000..f47eb8b --- /dev/null +++ b/f4_beamer.cls @@ -0,0 +1,131 @@ +\typeout{Beamer class for talks with F4 style <2017-07-19> Frauke Sprengel} +\NeedsTeXFormat{LaTeX2e} + +\ProvidesClass{f4_beamer}[2017/07/19 beamer class F4 style] + +\RequirePackage{ifthen} +\RequirePackage{etex} +\RequirePackage[utf8]{inputenc} +\RequirePackage[T1]{fontenc} +\RequirePackage{lmodern} +\RequirePackage{amssymb} +\RequirePackage{amsmath} +\RequirePackage{graphicx} + +%\RequirePackage{url,hyperref} + + \DeclareOption{ngerman}{% + \PassOptionsToPackage{\CurrentOption}{babel} + } + + \DeclareOption{english}{% + \PassOptionsToPackage{\CurrentOption}{babel} +} + +\ExecuteOptions{ngerman} +\ProcessOptions + +\LoadClass[german,compress,hyperref={pdfpagelabels=false},unknownkeysallowed]{beamer} +%\RequirePackage{babel} +\RequirePackage{geometry} +\geometry{paperwidth=16cm,paperheight=9cm} + + +\newcommand{\zsp}{\rule{0pt}{0pt}} % zero space + + +\mode{% +\hypersetup{pdffitwindow=true,pdfpagelayout=SinglePage,%pdfpagemode=FullScreen, +breaklinks=true,urlcolor=Blue} +\usetheme{default} +\useinnertheme[shadow=true]{rounded} +\usecolortheme{orchid} +\setbeamercovered{invisible} +\setbeamertemplate{theorems}[numbered] +\setbeamertemplate{captions}[numbered] +\setbeamertemplate{bibliography item}[book] +\usefonttheme{professionalfonts} + \raggedright +\setbeamertemplate{items}[circle] +%\setbeamertemplate{itemize items}[ball] +\setbeamertemplate{bibliography item}[book] + +\titlegraphic{\includegraphics[width=0.15\textwidth]{res/Wortmarke_WI_schwarz.pdf}} + +\defbeamertemplate*{title page}{customized}[1][] +{ \inserttitlegraphic\par\vfill\vfill + \usebeamerfont{title}{\bfseries \inserttitle}\par + \usebeamerfont{subtitle}%\usebeamercolor[fg]{subtitle} + {\slshape \insertsubtitle}\par \bigskip + \usebeamerfont{author}{\footnotesize\insertauthor\par + \usebeamerfont{date}\insertdate\par}\vspace*{-1cm} + %\usebeamerfont{institute}\insertinstitute\par +} + + \AtBeginDocument{% + \setcounter{framenumber}{0} +{\setbeamertemplate{footline}{} + \setbeamertemplate{sidebar right}{~ \vfill\par +\mbox{}\hspace{-2cm} +\includegraphics[width=3cm]{res/H_WI_Pantone1665.pdf}} + +\maketitle } + } + +\AtBeginSection[] +{ + \begin{frame} + \tableofcontents[currentsection,hideothersubsections] + \end{frame} +} + + % Frame layout + \pgfdeclareimage[height=1.7cm]{fhh-logo}{res/H_WI_Pantone1665.pdf} + \logo{\pgfuseimage{fhh-logo}} +\definecolor{structureBlue}{rgb}{0.862745098, 0.235294118, 0.019607843} +\renewcommand{\alert}[1]{{\textcolor{structureBlue}{#1}}} + \setbeamertemplate{navigation symbols}{% + \insertslidenavigationsymbol{} + \insertframenavigationsymbol{} + \insertbackfindforwardnavigationsymbol{}% + } + + \setbeamertemplate{sidebar left}{} + \setbeamertemplate{footline}{% + + \zsp\hspace{0.1cm}% + \parbox{0.95\textwidth}{{\fontsize{6}{8} + \mbox{~}\textcolor{structureBlue}{\hrulefill}\mbox{} \\ + + \mbox{~}{\bfseries Hochschule Hannover}, Fak. IV, \insertshortauthor{}, \insertshorttitle{}, + \insertshortsubtitle{}, \insertdate{} \hfill \insertframenumber{} + \vspace*{4pt} + }} +% \parbox{4cm}{% + %\insertlogo{}% +% \vskip2pt% +% }% +% \hfill +% \parbox{4cm}{% +% \centering\fontsize{6}{8}% +% \textcolor{lightgray}{\insertshorttitle{}}\\[2pt] +% \textcolor{lightgray}{\insertshortauthor{} -- \insertdate{}}% +% \vspace*{2pt}% +% } +% \hfill +% \parbox{4cm}{% +% \raggedleft\fontsize{6}{8}% +% \textcolor{lightgray}{\insertlecture{} -- \insertsectionhead{} -- +% \insertframenumber{}}\\ \usebeamertemplate***{navigation symbols}% +% \vspace*{2pt}% +% } + \hspace{0.1cm}\zsp + } + +\setbeamersize{sidebar width right=1.5cm} + \setbeamertemplate{sidebar right}{~ \vfill \insertlogo \vspace*{10pt} + + ~} + +\setbeamercolor{structure}{fg=structureBlue!70!black} +} diff --git a/res/H_WI_Pantone1665.pdf b/res/H_WI_Pantone1665.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f20d694184eaedd7d5b15c7303a5adf6ff5738a4 GIT binary patch literal 7439 zcmb_>2T)U6v^F5N04hb1CILh`Nq`i3?^U`~LlPhm5=cU?f+A9tDpHgxQWYtJG*KxQ z5CN$os33?1X$pw^Cs?lDd*^@e&D=AS$5;n=~#;NF^0-oXpDw<}I+{yoR)s zed^;{E9nYj#hYElX*}Qui%~t%St<^}?X{mrJn%egqfb8GrbZ{-sAUKoe?C@QB{L!A zH;sK3P(fr?h+MV89a;N0)Q}JnAD7~8SOdFhInStk9I2MWBxl~qt_Hu$=PBNCOK8Z9 z#RYxr{kVER>GfeRX(yy#5WjxY+a(sOm8K0G5&PqWffX$(v{=x-W#!~RKS=Pu0%jTL zjf0q>-Ea_N92Sq(AO(Q!p};mwP6jN4l5+$>%t=%rd|)WRMaB`SU|Cvh0Wyw4@+D(% z6d>wmWD>>#N419lc>zdhk_aTSg*O_51H)k7xwQkRx)$4dU^3ejAQ1pQA{Ed`0n-x5 z90ZVl_(wDGJ)yu5nuFkN4=G@XAs$Ns+k>(PMJ&s>jd8avgpj_Arx-?9*0`BpW zHd<&S5OOWI96tGR4SK6pLNEV$Z?HnRcm2yViXBWfiZ2z{jnzG89a%OKtx8vdHdQ}( zb7<1X?qJ@E9^^ULbSmHf>U_)E?xw9hmdygy?^94;=H4`OX@~8IkTY(*n)cD@Bwc)d z3Gc4XR`poY)SZOFcUe5&PDCnAUbib@Oy@t58=MiIj)f$KO}yCh@%KxMw4Bc1Ro(Ya zBes<8@iX4X2^w_9bggZa5G(ww)1=;Ui^b3}^FjyELNinx_l+)z!*oPYqPlj5oe$)N zR}4~EUudf%3-i>y=2rc9lT=!4c!Tdbas+Jcr>dq;rr(n*bckD-)yX_3aL&JZH~VD9 z#`r?;1%Vd_d+9S@YYyd2?y|W0<}gH-yNw)wHTP@?%aP(-acwpUZ9Dd32fwihx8|*I zS$nmqq7ttJdTi45x?sf(u;E~6K5 z0u^LXA0+oUa{ctaH+-_k6$g&LHNz)OV{(hjQgW2@SyQDe53$TG#T9IA_QroR4N8{1 z>#0#sXI?bo7%cKCH0#47gI#=G)cq=Q#~k8vDN>jTBG+vb&*~4d*ZS~W9p{Uh=~IHD z7|wh3DH&c}>pfjm#-N*msk`4hTG1W<(7Yk#i~&+;#aUHs$gAi>^_4fkwQbsCh5vld330-kZ{Hh9 z+~dcAt(dxM9OA}lYkE{tG?si#1l8{9XsZsV& zLU40S=Vz||;ftZOjhh^fS_Sv79ONxkn*^y5lr)iLxUuwf+u}-sN5dUsXL7!o6I*wq zpi60)b#0pS(Cx$dHXYdw>5bOCT(*OE-RA`!C0>*!INK{`F?d66hdNNs-Fe0@$=B+- zwh_v^%UtS{)~vI8Sdy3V$ws4RygS%6dO}^vgt)2Vui2ix_b-gdA~J7G?b~@p#J?Z$ z;$T@nYroU7l<-tys5O?w;!@9kLr+J3nTl8_A3n6FYhXGlj8FC%+&ezT9Isonai@jEVD;g7#E96-PSM#i&0 z>-dDZ|9oKid05kuaQE~5*_$nXF_Fs2bbF6+XSp$ETs>^~RB@7!^s*&IZ^m1WyO1?U zVCTu}_lkKRX|T_&@8;)`C{V6t)A`zy)+{}Gut}SxL1U6Z;>Ltv zF=NyFimT~tm$HVn1YPDq?Sz_%+Y~Z98SLJAQ0;x5zl#6SZTZx$UQ=Uz84-2A( zOZH8=xJSt+-S$*#K3bbCW~!C4Y}H4)Fp9R`IoUmFkoLfmzG_F~=h8ccRjcZ*wkInO z5Nfm|4%`f=c1jCGjaw7gGx9+^(jesJwM(uh`KIP`eGiG!biLaB8ffTqbaZOKc!E!! ziJ+BwzELwb(`fbW5u4Ocfrk_rU_*HwW~kN=oDm8gi6IVj)X#U^zrI6_*GJU z`gb*^sLjmla7IYH7A{y~dz|~_PV;d$>DU~)=6`904Irl8LY9auo}!9g z`|#mqi}uY;_0ag*C&U+*MwA+s6dCI^vA$Wjj<$SzsM^aJf#m7f&=dDmyd~(uLwWaV zcG@Pecb{|2uDK`HdNA=ecqv(PepnOZCONlkJ7Lgy=Aua{W6F`lwp{!T6CGBE^#FTO z#ohXMYzp;f8B29fI#Et_*|o`obwRFcE|x-V^qqN^FUo_zGQT@5u$;LYdv8dLsHF88 z?bzm`_DEvd<5gr{wp)1kF5db$BR$m4PJ8idBXl{I?1Dxb*UK+oOMY5MSNmk|DqVQh zUes`vi9ss&x9DT_siN!~NV$e0E&2e*6mK2Z+H`Zw=juX<{%_ao`6E7|<_NyIeBB!{ zHUX!PNmL(|yoa%?u#2up6TZ?CS7pO@D_*($^kjlzpV)&dq8Z3TQ#KxstA$0Pah6W5 z7BhoZ2b%JVP*o3;n7o}zdbF>;%Nm+sI3UBp1SP~wIM1JC@}Fot<|D?+fXt&ZO+nT%U)jnZ}m5y!Wj7 zr~tOK19xNfEX&$Ga+s$xT@HJSxckpE4H$>|iwjS!ySvS6uH{6j=R4{Fn`Da-jnN+lVN;Ob-VRj~wlK zDj)GSVCSkI{jE*yoQ&3#TK6302<1Bj<+6KIl8S;lr7Yel?y__4Fy?;wQMg-(j8#3K z^pVwL<`ro=WUlF;^hJ<^$Ew8s3^BnCHGd1bZ(+fy%qxAd!$Xfg4DS|pTf2oI~KP=ulnFwX^#)5Wh`3Yyrq@(QDbqM1InY55o?oAUbM4? zVQ<|)y`Fx7QQw>Hi#^1c``$*#{9S5Y&o zS!XwN`a)#&?CQwVt=FsN#Z6NPrbNLT?ZfB9M~g8PKH)5fPQ5C|*h_iFT3M`?&PuLY zhIcJ?Sg%@3HpUwbogB7%XKeHJ<#4lTdoOXV9)A|=Oy|djA9Fn+op4Ny%~~f?VBgy- z32aN;4|iMO8&jWAugWCdJ|%urD(H=iI7{2ir{O#$ivYjW#YBr+^KS6VfrmPmApE8B zJ%c+Mplt9>Tn|)LkYT@w*7>i!^J)%k&AVd^<&f)3i>XO(c$AUxM{W9o2<-bp>LqK{ z53C&0#GnjbxhLF%vI$EZHN1{WXop3L^L|ZT;gXye^9idAjxJ#Dbc zWz73#STZr0!>LHT0x{MO1(iKLs-8#KDP)!`z<<4JK{Z9dqtatKux;4!d)FC%uUj=t_pn1IDk$pa+*>&`+gETtEdJ>5On zm7prjO%~ZqpUs?mj`OJy}65yBxxUrvczXN#9|mCdNLA7<@i(*IKyy z`q_RCqPw#rCQQ}1jD?wWVAkeRm`V9UxOcfYOVi@PvfgupJRYCVx>#+32Hr5f9ZdgR zaB97@f9t7lBX8&^PNk-t({b*qmvirOOG}iJkf^hivdxEgXbiW$I>&~___u{XqHFx2lwNx4TssRBkDpD@+*$RmKv z_5*ct)~tWcEtB&5!#vcqMGc4}S(UkUpZ62Om?31%w4mzd!@9zE(hU#qjG#eskPUh@vLVPbUC}1{QR~?XVl#3LxwODu zeN86}nv5{IxtZ+3?{%_i^e0H(e0UI6Zn@G`wKVv6E67!O8IFH zCMPHJ%b=2K0DxC{;;3L3oEx5~Eb{Sos|Xm6RTi;<8$*q~HF55Ey&y8qBFMxN6Xc1J z$BL+`fRt3x0K|rq3P5{Hxo(4<6flm0Q5MuRH_{QLF$5?CczJsPs0}#4i$J6(1SpGa zizonV8W|!2-e#eCDvQ_}n}Mk$62TKs1YpvrTt~4Nn|$&OkQ3d0+oTt$VdSkQj|a<6&)Z&qzD1_ zwjIIS{t_cnq_=&N#*n-qcv}ce8VdPoNDFu!GTxgOQ83Lg+J)pxRTlB}#bXt4NE}p7 z9tW2~qOedY7z~G#f&z~e7A=c)l|vzAU0u;X&3XUk<{$Qe4Zxr*a1Ovq0RR%Qz8D-? zSwz>&2(0T)qENrv2g^%C;UbV9um4|p1;pmxPXP$%k7G~*cod9DSiEbX765~)0I;5{ z6bvdQBX0>qDnL;RvN94-m;w~41o;~$5PU#X69Bsb@cVxu`WxqOq9n2pLJQPyNAzDG8rs{~`2T-wUS71krtv9gkubhq z0LZJa^?%8l|2oiE%rA$%eaVFF62W31I0BC58wH3p4Dc9>QE(-Zz0g2{qrJTec+57W z3jq>SL`4bMq~fUroXU0qsuQT+7X&=5pcDu|XHymlkiz0z(Y^$#h>D)GjlQ!Pnn)!P zaWo)U8s|;<9vK2&<@;h=2jnlkzzRdl783cpY73mtPa7)gL@clcHaaE*gUc&oapb=% z+h(RI`=#Pv(qNke^bQ~+Aip}33JClkJ^!7ezuGZydnt?f)0*u+?lIaR;m1w%vu}w0 zTiXx=CJnT61$r2*4n?&TXhjTz%E-fzP}Fw)ia?{%fB%h!lKUs0oZLV8pfF(2@;6yI8Q>4V-)Kl#AQXSn z;4m04)cKPJMIwO<`cE1h3I~QDf2X1TAq$s50+XGed_W7t6L4f;;0T6T;DdlMlN=bB zQ;~pC5be(j7@|*fC4s*WnjrdGV0$HPsHTnvLIy4i)qtV2;PMDr4LA}i1J~4nLN&CY f+A9Auha+vuM4_U|)a?Kvp-==!SXkRs2lW2{V~q?p literal 0 HcmV?d00001 diff --git a/res/Wortmarke_WI_schwarz.pdf b/res/Wortmarke_WI_schwarz.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c5db6f3d8955e39cabb82d91b21db7f64f6299c6 GIT binary patch literal 43749 zcmV)1K+V4;P((&8F)lO;CCBWKq6#)3Fd%PYY6?6&FHB`_XLM*FHy|(|QZGhnY;c=O)0r-F>{Q9Rq^PeAU z{Cb|j53T*=-yduLZ{!hx^z3c$XyRvOPYiD;&#&2j{{FE)`Rggzu#$ewj79#c8UHW) zr}*XgRr!X}_CNT<{8cAjUB<7*+5E}{@2-1R8jlB0)Ple7C(=I0fp^x9uVP#uE_ctO zzQ^rXJRm^FlRxhZdgb_hq7OZA<}mceGsjUh$5_Q^zq+1?b&m0C;1{tEW4~&>c4~4} zc*0vb)35#D-RM0YKkq?s`1{AIpMTGLH+iCd{Mqy9`St!ee=SXs6PSBt<0+ot_&NKp z<_R`_VD9s%$!qN8=d8ba_ZF;%VPNghl4tofO0C+(eYAVrH08a^^)=k5F!lQYq+fft z@AGvpw!Xfw51KQI8Eix-`}b#pg)_J-*r-IrxNF?Vwvp>>!N$e)+M@RFQDFK)`(uz;yjKdx0_j&#*`xPVat?isr#hM2Z zGi%LzPwsec8oqe}*!J`jFVG@J|JC({mN9{u@%Oz6>0rYA)hae2?|lvuc2~urZmhPM zfRr{hY15Bm+&4Z~e}E5cYLW>Vov5C1uv1gqn03cZm~{brkp(|UzY4c~ZvyVd{={lU zyCj;hC()L+QM>VLjkC*NPT}{aTL~9=t$Q$OlT59efV5F;^7`S8`%QZ$^~w4qzbHhi zoL|{w_5!m!TjlJH*J3hHkVpkT; zz=rIP`|S6}G`qPeuF1^W|L@(~ygyU062Fi`{C+QjJEOn1J;m-9&OOOCHdW-GAN(5o z%eU?Cm`8<4ruOWWirJv%GO&UvBO3zEpW5&01YYP%&H*_P-jv}9Ub;y(=4`}x_Mpf6ajWxu z?l5nJS(5fh0rF<@6qkzGR|Z=T=78mHGA5F;iSBq0g%1}{fz14YNKD0X<8|81T7Sj+ z$uDc$_?fp*(UL{UjeVGo@D*2_D}~s?-31Y!T!6nfe+@jrUoYH7?91|AZ^-^E4p(Qf zX~muuwnmuML?Ab7-rt?Vo;{xtB&Cs6;_$Wen^N!tJrD?|Ds0e%8-Bfo2+*CU&4U_^ zfDUxS!ApYL2fkOGH!nt0j!#Zz?*+fU8PzH;oFS*f*7;hB6JqCI034i%6*wVIcKQ9w5^vsrFmu{uZZB^g zZUixHk2eObp&1c(R!}dHDO?1+N(^X1?$3CT2fQaYUsITmb^szO@8&t2uQoy6vg>PHgw_|3^v2E8Dp@0@iuXN4 zlP*~nfTE+{GFRdcW;e6kdx*mk;&qBNZ%p0P0T%(ngY?=4DK77s8P_1Ud(nftw;>PS zIlbMz@SBG)Y;+`s>>ZqBuwZM0w^Ik$O)Q2Fuq{0RAxPJ0U&g)6bD$6`CNUtzZP6-L zGt%t~g)6Xy$&yUW_mtM2V)OkKitGa!OV=MLwEXxcC%6%J{OHCVK%r=e@gZkG`u%~R zcRYtROb?+^58-Gc`=FA86)d7$J}cNKt|zwC(SKqOCeLM)|DsLO46<==BdMgQ{O}q8 z1*wCGzkKo^aM%KcYrWK*0*&cP(n%?2&xaIAahkK^3rHw1driQEq(D3)Zu{@SAtX|l7HAkEb=kyM^1MXq zf|=@OQ>HF0c#dW20_0f|R5uyH8{12+-WSa*TXJ>T%w`20Nt$Bw{ghl?z`RP33#_QU z#p(ii^8R_V@zVUdjY9?6uZYdVA18BnN!8e{BprZfxx9J{)%%WzGE?~X5YZ`AmmCtH zg=zqfNR5GSI7R9^wn+T~P^9M5)K(-?V|%%=Tp~3#M`sZtHMXx`ks5nz@d+X`_Fgo{A~mo{U-aK!PcI@@ukGg*mCB|h z;t>+5%U*f4thK)eRC`O*Wm7U8o+awiV#_E|;{g$NNz}l#`5{qb3MLtpsLLi*!d_k8 z&&$pGeu%v#>H@yDUNZFsgw65+(I5W;_>r38l6(WmYIz>`GPD?dKlu&72kxZ543A`8 zTl+K$)Rx~nQ6ZyI*~z^4b#Gj&mb7Ugs{3%0NhyB6DQ~t}Vt=Ya;tXAfw7G7fRLVQ? z`e!XO);K|{>&7jOONuA9ILez|$Tcg_SijhhzJ^u&;sRne)df^YlyAU(C004D z12!;aY=RMXVlQKXeG5{0CBd*!Ik~BVSOj# zgkST`aZEil`OIrx_bpw=AoT^&aHZN4@|dqwqe-jY`Ch=@6ySH;OP!%*eFC_I`^qoF zgYd0}@DU%K{jxTG^Z>@xS_mf{N{kCH$873&v(du3M=>= z-LL-VM;Nmgq^bwbsPxEM6_7u$J{M>St4OcekS!s>{I)g~X$5bLUrd^Dwy?XGUVg4k z^C4dR{;?tY&Zb>`@)v0&j3re<+|(1&E9rRXaGtE%NG)L{=l^JV#xOU&aMCKw2cFpg zS(K$0ESCGWtxZ?<&BGYZmemsRcRygqKtTQgqIKLyXz}GMxzB#({wQ=nn)3NlNLE-z zmMI^T<_6)&23Lih+rQr!T1Ml#aj_RZ%`a>!GBd_}U=wthruPF-%)Pao!ei9gTMwQx zwJKTsYoq<&9Ta=_?lxE=Ue4DknD}t4M5ucO2Az?P93IWoZZGL z`5!Pnp2VIVpOCVL6=AJ1W^!hR{E@M|U>};S;(J{D&Y@T6quIDgdvyf@HCY|^m`lq` zihqoYY;bzw%i_1(jK6({ybh>KbA3TT(;m!)Pk<-)!S5_M8aLiT-v>6)`dJ$-4IBUH zKd4~Yz)c$4;a zGtaNe?|>60*NJhKJxUL(PrNlIeTRJD+xpyK*>fTBzNq^?uJnO#8Q+gYS`~|)zOv7-JPYBcSLVYeU4G`hFkM0@1gF>}4KByLu7h)NSzC+%q zma(u$1o|&6!Jym$fw2#cQ;cB)r7;lKYHKD~f$W83{8&?h>80q_KC&9YSi_Yh9lXp< zM7m6F3hPc5xq?}J$uaBQ1h$P^Ya2|t)8|vafw^B1CqxMY&i*r(X&Ub*#;Y%xV6@tWPj%-H_d}b z;D6)S>GQ8(T9{8fJ)}+F*TeitfWJSgKbN64z(xrzVcGTfo6Z!t6tO~Z3fMWjg_))y z3^&-Gt}}+=G>h}|OkqF8D-o~qyvMTC>j^?Oeu9CWH{>kJ65jxwc*43%($i>&J9A8$ z#975gqt>)+FB5SnoVK^&ku~P*(<9O(M+A5BsUlXf(+An_RX}6|jD!zqb>$@ga;rC{ z1c081jvIy`3tIQ_`^C5xZUdYN8DSPn%eIjW%jUMUi@UzY0jZLZ!W}_55V%VZ0uFod z?{FbZ{bEZOBo&w=b`t8O*2I75s@^}WO>n{W@z_T5^2mm=>|Xu-qwJ04FPglOCHYJ% z@#+jq;MIZb)fJeTKmtVcT}gifgN#AF$6l)eziF?f|01xIi2mlL32CW*3N-UxFR zk?D{%mF}YZZn@=MwXZ=vN{X+;b6yYT_nhr7OJ!>c&FrsSK zB@PXi49c7$*fg_J#1c<}_XaG*DGaxVJu(I1dIiyDazyL zoGMI6AHO<~R^yzO!btuBDRSGxXx6zu|A6EXyB|+|hdkZ-XvHq#>)#-+m3bB4A@8-q z^ub*%HP&i%KOiulz~Tv#3CA>yJrtBmHzS3?1@Uwc0&o{#{^2_<+uX6fizfmyDVOjK zqz$y<)-HN(Hih2@C##gkFh{tSHYcI+h9^kc3IiC|*cy#x9(gT)zO5H}9PD`QLr21| zuxGFH?(GA!>aZLJA_Pm{kim0x$$Wbzn`S>?95AqL>Q-l9OeQZsV<@$x5EqgeC4@0) zFdPQhc}HVlpCw`78Et zL#DwR_R% zx=Tgusa8h z3CL^d#^&#k&wFo+R#}!15Zwd|M?n4@$bh@q8@+epHSBvJ6vIsRpz+Y*x_IUuZn{4~ z-pl@XwwwTycjH?na>0)Rf7c%WM8x33Uo+H%Y)B*E3m>6~1(Rjh#KgpSh^Z687_uRw z-he9}fp%W*7&QzQm~K}%RaWTg2#+?RurPn$M?_V6CR1q32xQC?@hJ2cdAvdz3dr3} zG0Xf9$Z$0J8BbA!1anBnJY>b%i)=cNWlo>z`^{Vl?0yIlf*lYCfq6o0)wm}$$)8(HJXA}VztDuK@N z&cnxH#E}l-7LY*R1KA$18pnU~mt4D_Se$l1{t#05j&Q;6qulfu@2nmJUx8T0>_>EW zOwo3ZxsZsKjB(J%fV>u;EDC&s+`Ej`eL|+q&C`@uW=WveG|k+n(m-WrR-nf8#h-^@ zO>nM#xhL7fMgm^63GRY5tsps>-~9apfjTsE8bZV811B7w;chQksAraK7@85(s+o&% z5U2*9@uc66Pw?8zB;(Q@7oY4n7c15tDD@rkM!aNG&prq4$KMy^>~t$6y8nW73wW>> zQduavlox_)X{)543JUgyq?bXi|2L5HR1s%?z1fi0*T1amk7KeaI-g6%c+=;DpiRAV ztZb%`CUAYpoJ(R^dBaF%r-a}!16z{s9@IR2Lgix5Ef(b6U}H{~ zij^`>OE&sh#AZtJY2+1>L>guSgVz*eP9fWBaK<5|9Y|6Z1U`w$1LHWwNB0tGda_3Y z2k4I55Ga4_A%`?DdGC1foMve!H-KMx14f_NS&A7jZx1vJ8DW0sVu_IhB#!a8Kb!+}FL z*y0dvFR(X}g+H?8BJ!|tv}}(WMzSPhv;reBq@5GNv;MQqbq6a`TxCOE7kA_2=jeTf z5hf>j=fU-@!Z(a)l4|_7kPYFKIHnQK6oh3ZLWFHd9V%jXkY^F(wk%5d>K5UnSi>K_ z03;ry9@h+(oy9jy+o(j9A)3mf39D8X>4G{=a}$4HTF@kM#2AXoU=mmSpg$InI_PbFG15YFR3r5_1%&3Z<&T-Be<8Ih_`w|)ivt(J0C{`@%K=HOo|MGsesHS(3Z0oW z&`33_oLva-qbTmNkcwO`e$ip$NgM+caGqpItmlAncH8N?#WDd)$@o z2!oQsf(XnUnPN3p(#6iWGQL9?J8cz{Z8c@FF&;>xJqPT9*R55vhtN70B};zeUsRF0 z=@1GUo|~r7p9tjDQf&yRy7XWuxXO3TMV*oEDGlX#AM7>B7arq%+R_8?e*OX$pV?_R z=NpoQ7aX3(=f>A&NX&U}B=wyFITEJ}ayC=Am#}Dj9B4`zrCB@(4hIX4IbQNMN$3UQ z!(V`X9=r%jX~ao@qK9ap8_%s6bWH?dRv4MbQIemE$UG7ZQxEKI4lDcOjt; zRY&Vxl_?-st%|3v>UAMUt_T(AACP#en04Pb2jqVJ>$+&+gVpaPn#zmOpSPxPA!n`R za^s(n^Heoe`v!TL2L1K#ko(l0qmc~Qsq=ujIepG(7^5#l;a$9kwt_C}4oMcfx+OEH z0AMG$z!-DJ&#*&bF&z!Jtl;NJ!aH(kr72~R-|1EXGGCHvg=AMGz+-OJ9-8SB#uEd# ziWA_32CYk&Ag$WCj@DhI`?jPQwU_x7?z^XdEPPrVI6;sBx!W9D`W@m;W^Cz*JJ`70 zH@Gw)4XSZXyrrNEZP|b}vw3)1*J1`EUb6@aN&@27jz}8%{eh(TMk8|pO&^V);1+BK zAkPveQL$}^cG*O|O?@&jKb8^W{lq9%l>CcLT;S*cr+YZ=6iuP>iCebK3z6vtF+jfn zgPCFrn+=`u6Ra*EkikFz`3Bk*LrIi!NoΝhGDZsuH2Y_!(ms*1^R zFql9i=axLzhA*Urnl{$Q_%|bjA=sZ^AZ)Zrh!J)TNpB^D(EcQrd%!IABswTZQdAQE z{RGp-2n&Nuv|lYH1SX};?Y7Q!c1A)$)5Yi3?JM7A{NVZd-f%FBo)yx4wer4q>eGaO zAwkqS{A4Tr3v!Gvy(#AUUyy2&exLdZxi>pz_#N`0r)9Yn`VxX~rbk!X-maw$Wvts4 zWBXcG#GyluCsgDu4#R5yIHGIWVe`l#knztjI~OH7$_@-Wv=j(g^bFA;(Immwzvs@u(1q3*ct?tvI ziu+G+P4M~<@$r$VOANyTXjY$&qKNSdhuDP(3E~ZVsfst**Xjf$#kX}LJ{@f*k#oG0n5a69bG>dme5CpNXWm@hiJhJ z>=^aSt_0+@D+d>12fjn@4*cgw+K4ti8Q}|~j_+nBXfLZAbV0p~^?@_tPzansJqv7W z;LI5xoVgI;%yCH=XW|X7VdW48 zqEypPb2fhvwTNxxW@|fbEpAB{J?Yp_=@K zGAs;mgAA&LxvMopl766!T^u6qWicLShYm#Lp7;VV=su2(kH_32*@SaQAP7s=R@%!K z(Un%kMXmyD4!jt8Ws~!Y+W<_eih+xb>NU&@+)7Ic#7;U;&Q-)&)YoPGea`D%)~_c> zdrYcYYo)yi#&}%JJ*x1=R{onCS%IUtf^~#TXUhP*l(drmM9?bItFb1!be0YVtM-%* zjZwK4ya2T*dXu7EAJm+ze1egIPd#)&=64v>aDjlB46%f3nBP!LPfdjyQ;hc$&=mTG zRO?H41N6?CjW4a(sZ(>zveTMevq|NmZy<*K#4`p!7NeSnmJLfSV*KDO#gzJrkW3_( zldvdUrDjoq4!i8sl(_5>vFDYHyO1=&qf?PzLVDil(ScQuCt**OmQ8dSL&1x5k>j0; zcgIF?kt4*e3dajJYAWOoxPV%7eaZ;Htp`dTa}ZMgVY`4}!_Y5yi-2)c9t0dGzcC~6 z2R2hODtoBm#I=e-N5=~K8ChS&Ry0sl{X%)i-Jy~~@%K!IE}2M6apUh5-b3KS4AmZ2)fHj$o@Vkq!5(H7>{r29@1 zv&xAsZ2m=7K=jl61_zoy-Q#oLA78&2b6#XHkjATymxOgj>IfDM9tA9gM+X$~F_ULZ zcDno`d7GAhq4I_`%NT~60j`Fln6>ie7-eA47?pQRL}Z zV2Yxm^6z625+Nex2^dUbP$igP3&dzZ`>{nNdDZU+u2OrE5f`;aNVUO;UMvb$I>d{U zVvA)VA{bIWe%WaRCC3^}W1ucxBOm~d4Vn|pWtkcvB?i(7qO%cm(zT~_cs6bUuTPVo z9RemdxtT@p&nO}Tg*W;Xp=b2><6~6n-nEd{6zK=@7v;K_v zK@NgrJ!VfuRe`fy-Ec+|y*e<*Bw=M`hIb-SlF_f)iwwd=yaRvA`4YO(c%&~p zFD8pdlM5R`B z0^$mwRSp8k9727CHupYkgXJWM--`L*91GDMC*>tTbem6iRS-Y(xO#*g1wIZnD|J;FA7kzhf2!CwvA35iCGM^Kx7B-pd~ zGQL<51M;$Jm**1=`!kO?XIC1_4=kEjF}Y4JU?-^rQ}0j_i+mW%-oZi-GHojK4(>(dd$BjKUaVFq967seoW79iqqK9F$sl&M}_B zFb?G6nDOa5{isPcTtK0x6INAp-)m+-^Gdzl!zc~(e2Ktk$wB-S*e zrE;VnAWMJNk$%7j;QqPN4}RH4KjIJ7XCjHjpEIWTb4Q}Y=V{A7=lw_iIWw^Q6Eh6? zC+2_TpMIFK1R!j{0Ag4G!bEB7KLQZ;Fqv5KcA@I)m2R;4%G%e|jjdM-&0xOHv5=2S_!j(Mnk8tRGsB0MzF+K8FAV&8D?= z1R%^hf#e1jG^$-!QHS#BV@NJ0cKgk&Xn!IYRG}2o!6$ zA`ljdFpv;|Xh}9TuG%H>&=7$zmB+>>xdkWnHp@3Sh)?Sk`Q03^Unrz1Bp~bt8dh8h z2%0gyiI#wU1LNcrIXJvbbB_c>uX{Tp5J@ktrez>}0Xbb)1_H`8k`~E8Jd-S) z>`k#C1j$O0UVL*P&40c*#erPU@zxJ@4ZcFIL@*HT`ESUP2+mXAAx9z@kQ(Or7v#|9 zSjBh9n_43ta#=Us>l`vU&;ULxx!SmjNJfOiU*qavrK=pq)d6J9^%z%2k7WL!n4m}V*C>Y%%;9qZ~DAM@&k$i9j(l_lF(@kU;eV_yYC_K`>jv|ZBnRm@6? zdDvGmZ;^`X>@XW9ZC_Q2=zQ5%M<^P$ua4sVKDp4`b}T^*pgvmNv5aPx>TuL7kid1~0DMpy5cFt1|F^Rs#N zj>Ehf5Sv%=N{LF6C5I{CHLn8GQPLpntASL(GO=-=Mg^wk zwouzw5iNyHWSCchGvj4mWj@9@)>X^_2ym^dijE$~x{9m7#3Zv! ztSkJ{Mu7R)_TgWQu%<32A5|r^9P27DpueoEzyMLf?9>+%0nO-)hVxpID2T1A%*Cns zWnBe?Xl?827`FP^x{4X;jpxD-U%nZ0mP}>qD)Z@S`3&nSuzoS3M%L94?7-Gl-WwY- zlDEkwU0YXi7b)r6y2{*nnDvfzm9c=M9P8=`9tV^Avf<=dR}mCDU)ELTTjg}DtIV(> zEePu>@?=OCZC;J0a$#P*<1nvYh|H^a0~G_CS23p1(&klsvxb?1*cWQ5BnM`ZSuimD zSyt&~UBwoN(djbkV+kANi1+qYIw@VKYE(ag7QHkD`T3R6x*`YUNfyP?&uy zQ2{}saVw{F5>KO{c>oWVA#?jL0a4inu82(t_zH-TjX72v;`CZkRMc-4Zh*bEl}VD! z@t$*3KhWsbKH&JQI+>dO19J8+IeF$nPJ=10&M zbPQijnsMnw8Nh%K;!-IAz4cH)It4Jy6j#sD`E z&x0`}3sj?KL%kTc`l<~}2pTG(=KxX#5=cf>`IW9Hqt>TIOUz;k3t%WW>NDam1D$ZXB{k{0u%zpWX>VVI2kUenow=J8%`X@4Dko;>_D9Z z^5;T)K!3g+B1v3Pc;qD_h|OFt$R8dxFgPFxkc3kiV-f@y5jp=*irLbP^Y5-4j9xjM z91H1yX;zbYpMtl9*8a(^b&Z?cSkn(xCp3P{kdu1_AngJjMu$jc>n2JuMi%Q*lQKi9 zik9*P17p?Q;wNy><&>JhB(Tm>Ri;HQAkr{&f^!{W;Pb@{z7oY^lRLZN1z7=EXQNO~ zT9axDeQK9uWc%93+bFIGT2lCnhR$54(JBbp-3UGUIbW{gkZ%&fk{NV*@iWq#$0r|^`PG<}Ht5NW0}R zJ{QkJ8`W>RB{GsJ-#HLi6Y>?qSQ8i)m~-Peb9=d zN(Ks02)PmC_80?Z6v^JaeGrx6fkT2fQrC6ZW zZjlVSC;>pg9Zw0Hml&|e(i0$N^_0k9G$}8Le$d&h1B?>8jt`2J=Ewz4a*1CAMR5^c zsTbriqTdP`YTQJDb6vPTPj%7n!!9Dea3M#LaLvAdLC#ZEb?g2Cx#tsK{|-4%?Kv)mx9wkHeo!16*Yy(_ z#$s45=`kgGf`OUdU|$H)-5ADOgfs5bE2DXn7*snH4+II16Q1&HHkVAt>xq=v(X#7#1UZP>KFh=`hxUSSL-HX*5Pv2KSZ2KX^q3)K5v^mpf}x9voeD|Vd%N!qOdQM%g<_8cf>BA3@n-HlXi7Wv zJlG!tpKv{oX};WC&%<^-}SNBCQoD1v`8|h*F6|#(p9_ z9J0-fU~-&4WgD{~gxN|@S1}I+;!--85x9*IMX^+Ih(CM>Ww@Cg#JW#~?^H1l#z|L^ z1IJlG!xcc0xF~z2Y-(OMR-JEW3kb2Nc@0Yl z8wcWg9&8BTc$&zfz?h$es7)QWOe;s|X*niI5)AjP_cJMtPd$(6+t(!%Vi{HW+So9l z`BN<+@iG=#z8BGy^*rodILw%qH>-#~(BKcM=K&0$%51kF8==)J-RQ#exLS}Q^TnpE z!GV*Lwy5b*-CL@;Lp8(Nv-B5|j1&aH%{?m%b!So;Xs(Lw6>|nHIpd??Tu5ib0meCJ zS$d$$;}g@A(3FlA{7o!T)Z=GO*|cIM{m+%9 z8w0mRyPuzLCdE8$7;9Q*;4KSn@;xY-^cra9 ztbn!n;UTlk3&IKy^$4V>gznEANR(zpB{xZEwY~;r$t0RjZHdyoL2rm(D(cQX;8PbO zhiB3*NnrZ2^|V;Jc~Q2G_ZPON%oZhvz`731;ZscB1w~Sm0P#Tv4EF5y2@6)T`f%J8 z;R!~^9&&$RLIq5Qc+p@S3im{;pv74@fCUY4xa@XP5 zkW{_AA&e0On{`eTR0q_XV58KILZ*5Ls?PZxkG4XsQ(>T2S1*j|_-XVt#c)p(h>wgj zL(o}CpH#6snlYzJC_4P7s!11we}o6%mV-dz8X{}l9lD@Ah|a;3h0Y*y(+Ldt*+8-0x-Ww2s$pxYOOLBU)C_Hd_TzJd2vg z?eS06q2uxyT$S!$z@>=siI%TMhrN1~$b17MSzI$Q1TSe(!;Rr=#)|`hp}WNmgjxk* zes3Fl8i%S136sQukxtM#eIZe7Ab|(!+@L$U0!-H{%OjrMMvUb#R2W!&p*FCHH!#VV z?BXc6ZZHl25p-8V+QnUfe~h#cL4n<oc4Rsm^z*)O~#}M|Y zTuwVMfuyfl=B2U@WHQe3L-%wCSS?T@9?%f z?HuCY9|`SI9uZnMgDcg&jG|!(AiD9w=v3rR$Cue%*u{~87{Zq9E@)w8FZymAL@MKB zj6x3SJYnhQKy*~7w_sWW8+lpOXJdyGJU1lSaR&J2%;%624bO?^hXp~s)X65eA4~IJ zlKP;bZByY;_!bc-w2Ak{ST&sY21wI2Q|}HhU$?kQU(baO6o^ZCE-=PB=qG?=+;G3Wt5EnuF?6z93(|6}20%=F6_q&~rRz^y3}M ze#hF`*myi{KozDwHf2oidPPS^yIb8Q(a+ zT;=Dz;}v!9Ul5k!ZmKd!^P674Lz?dUo!ku?q8K}bJ3$KLrP3Ze_8AIja@oL=q7w`! z2|fQ5ya$9?<@exw{}rS^o?4zsjiTp%GrlD+nPP7-6?U#~iWH~RxQ;`#034`|&C04fXI3B1EkmNlFZUO5dpXQIO-!=A*g&`F zMK*NEQ&sR@d$XJ~e<8EI_)l_hX7C@3)z?k@C(Wo475pbn)!+&K!?6*G6=z;!6MzG0 zEGi$Q(S*$r=P$yx(jkr}YzJb(HkJ7wJP7Y_tGNAd%Bl4=3b6DpOFsMzq9@g7p6NiU(6kSQIOp7x;{``kW#@l8U& zg5aLQe1l|#yKKHl7RtTg1D8O-%?0)S1xe5A|LFE$; zfhh_dK+ z2z-fDBeV1`D6t?r<$0a&LdxY#G_fJNc;+4Bdp-x^^NAPueBujt z?_v(IyD`T%<>BU?^I;9_`vd5Fb>0`uz=-pS8Azcy*x_=fc*bWD0f}YC3%m>Qg}Y5L zhqIBI;@RiVlhEm86P>W$Qm*giK(I6L-i7s+G@!n%w|MWcor$W#I@=dg!i$5=WHKqk zZFX8jSZ*O{Gh*NphN-GdVY!9HiiF#iTUZsjgk!nI^`jfg{%=a~ORGI*{d1WUK!9@COXQs3(6f9)-Ilg(@D;B^rr_6xIRTlt{$G?{cC z_b^t%-+6pCJjRka>9Cx ztt7tNddo9hZ|g0NC-q~z#o^(~*)of>=9N3PTN0PmUcXRfv#{OfsTQc$cFR8My&u~x z7(JUk&~^*1p4Z!Wn^*T7Lqg#men7I5=Uyt*%0{aQZ_AbptwODIxzLeVW?NThgzX(9CUh({&-|L7FhGvpVZQuc)g5B!g$6K%dmv4eLFdTrKP?N zw>S)jdc|Fv))Hj5y>uY#wtxh4hus!q%}aJ$j;(J!_X%HPnQfY-)Sx7vv_`GI>xVLh zU@wbJ_l&b|!%?rmvxyl;y(+Gg^m?j%hs2!;i5Jdeef>a^>R(>uCUFB57O5r2&xesLfo7?|?&Ql8LxOMegb3R{94>-&pPOQ>FzT+JIo zy<)&zUPr$wS@y)xuOQ~c*nuipZR!Iri_3C^euZyPq>z49TqO7ESD5v9=~q11EP9P? zzL<>bZ{3VXv3fcR7A}9NbyBd{sVtA9U`6O?C|GwK3f6^mA9u2fHhhF3HHCszT-EQM zVQ7!j6>l%XP6H+-TD zW#8RkiL#V2_=d!9&Qnw6#NKaC7Y+RF&ya*-S@Rmy*#&E*56I`5)MZ71ZSnQLs=l_` zYlb!KA1_Egih=7`)owvP=8PyGsn0h(O!2XANdCHqj=+BH#v0z$^Yvt=`hql*qB9@Y zUU|<)dD6iW1d+{Vs=QxP=|j?B)Fex)3jqe|AfTj73);1lp3p5&AQG$ZnE}ZPeSgtS zB(X0^kAP>fbY&J_WCwGjB|e%@Y?C#B&d?^+kYTKEVI4$CF(>k1?(g*+1+{O|SiTNR;_z zS|U>*0deS)n{?+Cev#r}p$`Z{pYBsR$8U}ukiB60Ne*zWem{Qpie# zgM&mkmyy!?xX^lK^Kizxz_-Kug)UOawsEhEq!_1w@Qd{19+wk}^n2ZbA#$7iFao=7QCC zbXaMMjlga}du~l32Y1JtyFT08Tpi=%1;{8O`5Bus58nV~|F4@@|SO>m9fH?ONwfN01%xyzS#P{Ab$KYMaS5iVp z?xSv1`3c?`DXIZU?(+F4K07h89e)nFeYpoVhz8>5mpg6eNA&29mz{S9l5`5^4Jm(q z!=?%3+G-MsrKisny+3CW>G+=9CiVWp8XI1KZW^jh#SgS-eNOyT*gE^IFVB#fz#gA9 zT!>c57i_GIUEn9+h&}t1+@bRBB%6fZef~TNm=@TX7oDY5wGSCiq!+G=Kui(6SjVyK z#lraLFQJFpiR=)pzh({@a?2je2k{603d(@ z>~=c3HPuL&dPCSEZQZ%D=bHInYQah;9fKwyoxjk`8qF~?u2_p`gpVWSjmy(5%A1=M zBo#YQ({Xs@A=Sa(yp&4B02z)Wb{s(>`h`+EQdKW1ve_kmN~H7{Av8vdd6MI+N^K+= z(o#_!6?Q@|isNBUtPN`lg(2Qz;z(UBssxp$9Bhes_juws>9Z^gFJ>OyPc9_a*Y>2O zs`D4a8O8F(@4URU3;EnoZgMLhzxvBSiRbgVu3mMxp%V9yYMWkn8W3;jeQJD%$UcNs zI4-$6VfsSAk9n<*qrY_rXjJFm_7l$ng$iTtL@SYH-W+xSPL(8NaK9aH@*YRzMnE3L zHN-m$4GJuX%3D%f^5!xBpXkx3YujsKRMIRR)>*Gn($a1dCW|jcP-LA48Gs4GT zl}gO^L50)OYaKaJT?!(`?XgCDArj`fWCj1|{2tAvolD!46L!z<@q@C>G2Py+kNOGK zVKbx`9_4SCRleMZjr}VQmXTR=c&!RaQG+Jm;TiiIvRj0TU?V6O4cTgvbDSBP!zZHb zCF49e|8t9{;#9q3lqf-yuG_Y4+qR9}wr$(CZQHhO+vaZVwsHHLnRDjcKUK9NGa}x~ zT(zoJ;;D*n(1_(xmKC0as!$Iur1utSBMJIxQ}3$f*EVc zIz1SA*9GNDJ|%@=K&ff<3u;n8@;45YUdOQne>cLZLVw4%fWqcY3G;!H#^%`J6{_k| z9Rx_;9>lYbwkfZ@p+gvmlaF@NC_|{wa_4?jUMdCyqJZI*ST+47ss$nTjVJI_n1E`k z{B;&H0b(g=O`>PSQ7MosLO1_m%p^RiKg)vq0SU_LKn=a>BMi8XZgb9#M*y>Wy{>(Pk8j=!Fa-g-YmFg7OC)AmUG>Tpcaa zE4ep6LH%-#AydLmEW1n~mJD}MF8ffRU8hy)PXI~ycc#m(Q5?kCfJcLh_XT3S72!lu z&nQH$6+YNGrt)#M-i_!d4#|{RFO2EpmmJSl?I-PqCh3Sf0w`%Tss;k#4fPd01nQ8Y z08M7I*&r8&OT>=WVJ4Bjwo3*DW;nIE&<+?B5?WF`R!EA|ePD!>qw2-d0VoD~9evS` zN*GFk?h=np#GeY?bjtK&43HUkqSd^;TD+E{5=7~prX-+^a!0v~xA;eBEVn{eLSB!4 zliNB>q3!a)Q4`DprvdSXXvkjaR#GwK6=#;Vi%*kKN@P6Y`?Xs+q3ns=UlBfRtxk;ell`9XiT|H@L z+BI>M`9X?+)3{uT&Xcb5jH(i5M!$#;<_1 zl-k1@V5SHto{WwUDLe|!9ukI03ULEcl5PRHi-wynIT_^<%%bGx-&LD?1jH@gq%5q) zDnErIGjy&knc#YZf*AwFg8}x9G~dujrR&;dkmriJq-bC5pXr5jP{AZN zmpl$|HIzdQoK}h(I~!T$)u>pZP|U;_*^pD%5#O%c*(DtrfXj~v%(s;tMc{S|QQo+D z*xv+_$+Inl(aa2V)yj34FU)A7l9MQ3Z{LyBV*XL}GtOb`s*Ygi=uMx>+e5U4aZ1?#NFAWm`)~)Y~sQj)P3dQBaY`>pMDOl zQ|G>i1RL`S=auXgTJc8?HYj!mQw`Tjm){<%r^(BR%HVMwxBH`)IP&a#g;23Rz^>=H zh~i!68wQC8$V(k5>;pi8WtW?IUjXBTFB8QU3>v)q4pk2pg=4Wm_Y=Z=3mm*FNF{#w zLC#u=v%6&wjKLS9ofvN}oFqG894U342ozg1rJZ()(WxqX#;CxRt6w&8(-N#kGs-bq zhv?CUG#i$`i>r3UT4t-oO_kdRtxS*chI!(JLqwkO5XAY&2i>#FqkaD?qrG=X!#g6L$vV5)wA($Y*FRAr#GttURMkFGE8P?UsZ z9qk*p#1#;lbdcaV6T;017n2>PoF`*a>8@{|R>uIs(K_J41LgXN<+=qmayY)~M;Bqc z{T-fXs2YS%8txP><%qQx69Kr*VZtz2p9vxc(mERBPbHq+%0xAoEv8n^nE1Ost8GY8 zMF(rgV&qdJkC*%*B9(sWfmVtf2?8PoQlh_5XE>bF0;z%2N_D4?auuS+H!68?@A7V5 zbEfQJ6|l5zf(VgqrM}qw_tGAZ9eRfO%E;58btZuu!Ih(TGl2Y4`aY+22T~O(2rA=% zJ%~w4n-0v3LKRv~xMh-uujCIMh$o=1e2txG=^Zh4=u~XU1yAYN0&gox^x-;E6qGEN z3J**MA<<1e=fwMuvr7s~+@k^wRP=BwQ- zD~lsNsw#H?XNN2LRXG6xVKmE1gO!_7ftwbRjN+LYKqXO00qvlJ2$=fX%MQg;eBm0P_lg6kVMrQnS16;~87RH9YZ zp-!@A=}SF*a_#DixNY=?MpmGx*9X&JlbkbRzdS^!6uP7Gyk|==Dl314 zTZGopG#Rhhg_bU~XrOdx&j&!`;1R*d7gUW&ay{utD-nJKyY^DlM!bUmLAnb=V9uQ7 ztgtjzI>+|Cwr?s`l2h2Lt-u84wP^3E*RT-U)$`6bC2PL~wlvP95jNmy5rbB{o#1iQ zX5t06+HX&qGK|izQ7#SPsm4;-jc zPv+ea9AF@US98m+Rask?fJCbBjq70!t%8pRqC zNo#(Jn+1jw?#?W|dva+ix?dd6*-UW-IWhSrN*cL7GkLS>D`2ad8a4g5T|=e)&Rqjh z;BUdut@a-#4t#F&I_KpXCec?rNSj>(KL3GSie%lrPaV%I<0b zZp8K5#=s$-w@!_KavrlTjk(u$4SJDS?C6CK-p^_rt;O&`&&qyBIR>qkB-Rifo0POe zRh|9U7|ADWTc1NNBjz25v&j#0V`>-{Isycb@C9aq#tCTO>Xt{6X$kG|iAAf;}iL!(-JQ@A(8UnlV6&)jw2 z1ICZ`>vv5@8YCTt)jKD49G>AIRq8wE%ng$!;|!epVIgQS&f{oE(jLm#h({g5jW*-H zWmI9O};C}@`3}+7GC~&za4p?R;Q`@WxG=xGd=su@;%V<=gQD=lZ4xjZ3^&mtEb|IS$luXHi>0-Vqfz3J zc{T1M#v=B_KV$wRR3pe(^=V`9U|23W8*Cf2Gth}-5{?=_J{vUSs783m*5dPbP-`xk z*ujIkQW6CQ8&Eao{G(q~uFv^r1}n-PK4D-e&FJZeh#)E@y4JPGSV#= zW^Mn5WM}i^Xz+H45k9CQe1HzItJU}lRVT_?pgW$GtH7sylXfL+Ugn)O3%MNbcMQ=u z?<}NgxBpPr&}>IJ0!Q4ym_wIFc!B=l8z;WxL|I9OWgo>2!#)xsak1B)axmJDX>P;~ zLLqRpo{w2jH@|jg)WoQc!#|=v(62lHR`1oE#k1hupgPCu2>)Akl8&X`*N)djUP)BR zrsWQS8xT1)VjHU-SF%Piqde!-Gkq9!4!eIB zEu5g8J}sZzUj6vgOeZjB9h09GnYb-q{F7lb9_J6rOD-Z{dTv6FNjcjnPtI#ZKS1bF^WBlFuCKcQ97LC9i)KciBy&FC$o{)~) zU17RxMnt?EwCsk;xSq^{WHW{XFV#wXB7jrx(9!74)xtp-*N89)}#qwconpOnthK#I>y?vU;i7ysZtYf>8=1&@uT^lPR}`T^&hycvxc_k=LFt;&WrRQ zQQS{xhjdjAKL61UeQSi|;0h;o>Q_L0I8RR14AMFLc~&De>>;?zdQd)|@7cv^nfbCP zgBsno<$Q!0dOG^?(E+;5qd)nn-fVw+;TnOrpnH5bId z2;i%s3%q^<;>W~1V3bnK8^DK42J(X{;bulkuNLUngIqQo=E845_m>)NETmK4N~l&m zfSvF9;OKh^Gte`m5c(wQa&Ou59#t_~y`rU)Hq(RvgEm$LOV>(Wfl{e zZVs5&f)(+AYNW=`C-Y!6QN)_lYi4X6Qo=m-=7hleR1jbLNp6-e zo={nFP83gLjT}LG)^}dUV$gauhOTMkB4OszrP_fXRyvv*ku*o6&DB|=qzW#;S zw2gGdIn)Jgs#5mRiuk#+bo_K>#vYGghW{OUDgw!Ba-ObH7CJ$LmjtOzTrFaAf3yrf zd^hQ^A{|wej7Xi4D(I!wYJU5*Ij#vA{_?F1MjSh1l)drCB8~r4R5;n|n~g z9d7Bgjj=Bq`Y#UkLG-7{x8((yzMsFd$I%2{D-qmk$|m@!g~LlBACSIe?{k)1C;P~d zR_~mDGVqXWk~|#YTf?3#pxNK7o(*bq5sgjQf=*UDia@d~ocr=lmhq|$rer>HmNXu$ z8B55SLdae1M?W)kbCUfvLdKxb58|pk>4Dqq3C{Mz+%dB-3$BI?Af~>^Zx&>nn$U+s zKIx&VpHu2->_TD$r@k;s*)Got2h|x)K({rbR?964-?AuzL4h+YWCR6c23b~0pGV;x zM0!FDdVeOG?eaNxLBt`5d*+wLkLXwt)}LvrMT4VRE5EniWtE-E&t3AeJ=t}LHHaAq+W)SunLNgBPOf_aJNWs znZEg^Xkao&3=PKg!5hYZlo0WcKy3g+uG=g0zYA8$DE?(^$I9qVE0$toCj=$j|95bF zgdNt|@uvpZEWjR(s-1F5X*B##H;n6=q+nDbf*15v+Ka=TJ(CKsEfStdf((B!r8V=e z^9ZeW9yCzs@23LMJivVo{aM*SbQ26tQ@BasWy-B zPMXSBjJXVr*IPw~Uf=_|5Re@HqdT)BIO$1P7hcZxv#d8%?hPX2@<84yMkphL-c9De zqDU~XurW+sP;-AwmRwUoj}qiY%o{V!6_0=1C70z7H(tK+IDa3=8NrMC?LqLF(rl9a z1`<yv0Yqv8gYj2%$I>d(R%$iZ5p+dX$;D_M`Ll~B6x+Fv>;>L*nhdQYV@4{WZK7k$pMmm~&DxAWz zCV*wgtgAQCo>Y@XXw-v>K(R`r1vpir70XdclMHi10-lE1nPEoDZ59k;M#QUS-0d31 zVsrFlx^%;t8L}8DZfw(KHG31 z6z!Y*q-12APO1GP#i3YqJ~~br`e&1<@H~WG@{o+k0$r0_cB4^*WrKdBdwdZgg7Mo( zf$uUFJ&2(3o?r(WTP8)ywXqp7CW2mjUj^?Zb!`5er5j3f=Gy=_UIvKQK!@oHP0L75 z!S2iJS;*=;%lm%)i!nDT=Yr%ldaS0a9a*_R422@WlrT?doWMB1^B0yh&0p} zV#O5d9>HtT@|rvJ=}Xos&zPwaj^KK8Dp_3!x9NiOLznsA|Bng&PfAn?P@nsP^? z2V4`GZpZMIgwODWfJKVBOv)&kl$Fo9%9z-Ib1*TcGA2?MrtH{s0SGJADf{>wmld0h zs#2ySx=+z6$?mc)lMH}Q6TTg0IDb?VY`^@b+{v5SYlL;m62>gAM$4ZejpoxE*NaI< z(*e3hi52FYz!cnt(xnu;tilF*1FcGA?ZQh8s?#RG;tu}^a6=y#4mg5EnU3=+g#pZ$mQRWg%0|%V-pZN~v2vbpHlJ z8s)`{hh|S*O&-DNnz~{1ZQzdPUBSh(cOAWs+~^wpyACivRIzD|=2wS^JKsm1BD-V? zQ6eUwgNzv@qyZpG9;U8H;pJ~I>n5Fs6`>^z!bit~(WH8LyF{XObC0rWEse5~@ZupM z2%C_$*orURMsxH~T}ht5hD;!S^)xI-FLTUm6c*u|n6^8+>!tnYmoo55n8pMOXS#y| z_s3XmVNfp?y63QMnlTuOUR{*K~>{~F4kW}dSpt= zU{GN|KWL^ALaYO(xT95@E0%>UdX_ZW~IE0YG z2@jadF@GOn!my@fKx1AsM>J%>zta(;sRZ` zpw%6C`Z4lq2;DoG!n?E8#b`h2}p7JUTwfg+;_VZT*L3uxQ z&S9Ey&c!g$ojXo8;qkzCWX~9Nc{kkeslfNw`GIfkaC&ce*eROwDZzlLO%#kO>Fq-4 z{W(L@3{5o)TY7??OV;J@w)@p?j^(SP@w-M}lsY7+ypz|(Lcf_E|G6b2s#ximUiT@@ zS&r~5O?*+KGsL--F&!crDg$jEP8>Oxjy;5WKV}aZ(u{PDl*g6zt<1$=tj5yn;w8^- za@Rhx68GTfX~jZsu`4mN(M&kj_E4h&y{)X>)8abtz}k_KyH3m==y-7tn(E03EXyTY zl8~dvvutsgbSWFCy0XSE0V>`258wUapO&AGAHY1lrwtQZMaS;J*Yq5ztFp z7&{SYLH$R*B9sonZv>ZLMU4NC>woh7x9k6S3L7{ZSlgNXpAi3}UdF`P!1%X>fbqW# z|C^iR{~v(<|0;)~my?(I%|&l#PvGq6@{6wjAGM7CX|Dg|)S_21u{UruaJI0sg`yX- zHZZb+q8Bl7wJ`AXx*^P9XU(#<-F^LzTRusEui z{ju{JpL$G^)8c2n!~X0c>+3!L#{9;5WuF=NS>LVu{?=LRb^EH~{M^gY+Q<80>e%^| z>-#**TkH*qa|b|<>i@|J6Y22z8H4XVX!QB{>hwSR{sf857?J)APy4LvKe^>6T+Wl< z1f&bw_v=kSxIc3Lf%zHg`B|0COBs3NH#xC$`^LuJP7ad$F|+=x;{M^q{yKj2d04ZH zpO9&qoqBxui_ekuO8%&q@#=Hb*Kpvy%J%oLG2;ha=iiy0Fwabf6Wp8LxA}=vpRC3A zn4kN;n>2sb^I6Yy>YScJ=J!gS-_wHM<2*V2UfxL^hT!*g#a`Z*c-$8p)5!ivAMXo% z!b{v-3N1uR-{2q6J@wV*ONoZvs~n$)>X}`WRGZ<*#5(GPPcgGAwoK%aprY| z{m_{0sXT|k&auPVmFcbXPVPiJ;XzPEL;a<6!1wRG$iD*HW?0Kvu1D?+mhDv!Y#}X3 zB!Hf!Ar4Ptp20WRC$wGXbeOyqp>4i;%GQHHJ|tKO^!t$CfF{MUDz#0i&NI9Ua?2`| z$GS)lY^+$RzMFX2QvS=8V9Eez%_DN6rmg=o@L(#g3vzn|#siK+SI8FVxrr`KF0!}DOgpdA9_n!~+k*{QHO{?+ks!?R@>P*rH1I!$lEcq4 z^?!;EewZM5u|{673!^s;WV*s>F78y|9kydExnqwz{t!10FizdX;m7U!XKYRDM}f*DIolTK^R7X_&zx7 z;RK&lA6^*k3^PMHbJF7R4AII-H;^H1r6|bO19M>|xD#|rrB?G0_HGbUWDhgnLs#>L zmgS5XnV8S%L&S(cLX8oc2v(pKaxCV1`tuYoT+Fi9biuo=2WHn8B}rH5(dCKC0%bK< zIC>yk$s?A@nyA_HCUs9Xlqa0MX46M6`<19M*Vm(>3fnUuI2c&&6gPNacTNc&41)F` zB*)r*6UXtKMa*ZNL&6^5*QVcoWKW)$weQT*#Bm-m80pZO>0`Cmr6nzt|YT%+e5m><53(*6<|hG!UkYE71{7#z3N7& z_44A0XmP>;YiF@~(1jjPGLtyV3`@kW(1hcWt9v932ge&i;A%PU`}VS_f87O!o(ez> zczTlryZlc{p-WD@SFyLVV(LAmO>dOYPA~vmGwe-HaJNLKFm-!>N=yC*upj1nc%meS ztJVvV8ax@CPXQl*43t>(^`PHvXw+qvbR9LxXDGcoxE18-xGR*>f(rVg%g)nOem*=ESfQ*R7)ebBy~PUE zvT+7a{B902$dyRz;~y>q>!(38^)4r7AsB_Q;Rg0bP42n4aq%NNK=yAYj1Xc{5Wg;M zX&}&PV9?(3!!*{YNo3-m$s$p6T~ zJm`3zxOScF0Ee;PCXaojsJ#A=pwvrkdCX&22>1#nd+3_GkC8^3A5hF1Lx`;GYOERD zd@-$`?-of^Zswpp(t$?o>oQDb$T)b&V>tu%ShWTcxZ1|&jeEe>#++V=FW$!pyNSrL%S-v7(V|j=xQN&<(j%- zg=rj_G-F3R|2=t)TPnNG_%xAUR$Ke$#){XlHT?M25ceUH7lOoc2-tlr1e3=^Gda4z z(-$9_o}WhGyfNQ3C)eCZQv(*8_M$&~NAGPRBH>3szfc<|iMCV)%&D@V`04S|{Mr#u zZZ%(*70fw5Dr4r@8p0F+^V9fg8Psh<^Nvsi?kvQoN7Xnz+GYAj#Xxj4Tu3s8gx;-D7Tz$gL)%LtF*y8gWGFBT!MV%0GmJ@i zK#L1L5jRfIdEZ;gukw?!K+{=va%5%6`c0=1{=`}LQLL#<6eCNpDJQ&3x|3;-GaHhu z8ex)HXtbJt)&I0Rsm+TPIajH&!`-b%&>F~(=3I-6C<=S4AOf1(uCyl7AnDHV=GNVL z+uS!v*;t!UXAB?VM<=l>V(xf$#H!8-^7KRa}j*JLvUs(;Jp5DH0^R&-ADkYA(DyS9)~Y4Bc2J$6JCCt~TDW&4~o5 z)y;HMDr{M)mG6OoB701*oT8;0@55+%^OI0}ES;+s_$-jKrQ6NfatrY%hY+?19~$UyWpS=rtz-V2OVhY{x<>7-egt@_gMtnaZ(Zy^Gvi zfr`?pwA55(=3`Wp?p#w}?)opV=F4}TWp3W^HgZAucn&cIs$t*_)UfMbDtV;i%Z(M3(W`6vgxw8=@Iaytfrk?8=4|BOI(vr~Ax zjCYfC=R$J#8vkjhKUoj%=(Dg1lQ!=lK5F@Grk)Ljzb)D-5*FSY7en1KUyz(x?;@pB z5hVe&XHo!Id7Co>kYEQe2!MsCbnh;GipuqBV_U`Nraozt~f(-|OMpEwkRp{D>CZI3Mnp@jijdxih&B_AzP8^0EaDkD{s@C}VT-rCj&& z9b>!gbL?X>Lelka50_!*2R_4Yg2;{w-ei7*`KSFo#GQe`UIo{lPQGGU$zMl3>%gvY zdtqzGMhj9R(bj6L`!VCoG7)IHuTun9Gx$u1A-wS5jYHF~*K5_l@RRLb2Lz@n9I zp;AYT6;Tv;@%G6^e>~;8S>fm8nIbvRP0Rs*ynEF|X#l}~-&MU~?I2u4h%20e`spgO z2&#IIo<&GvoDD^gE10~AN(Y={f4cb6GORjw#74meCrRGSMxefZj`6}jNu@6wKfJ!5 zK7d4{q6XJ`==Gl$wj*q(I7FQ32=xYcEMFQ?S9>B8LZWmNuH_@Ad?ps5JG(flmGS(; z{7v`Kf43v9cvZXAm#q+%*>G{0g#uOiY=@oguE8BUBJOJ3quJ66ToD&N)xDnf^;Z3H zBat)kvaUqdT|_i(c%I5Ytz|rq%!!|*$;BqIlgE-FK@r>_M0gY12nH%RW+H9XpkJQm zhdO&GacYa!Uq}EM9#|6wDZ-{rg$UF=oWuYSyM|3k=cuD>YldM&F4)mAabFJ5;2p+o zPeJP^Sao=H2Z{M&;z+_L3Q~a@r)U)vkF?DUSy-4L$=0A*GX~M#i|pcEnXwML@da}u zM#T^aWs`|p&a*VF#tAre?O4*|*#=3N;%1P;hmTI|!79+pf^X_(R3TYS4;|@Qoanrx#lj71A|cKcbz{jx_ib4^!89f=u6^UI#bj zKQE>>kYhNCzq;Vn4p<2Dv3%TsQQ`P**B+8!8dQDwNk&;H{uro<9 z+}7qyw-;8x4Ard&$Nwt{MUi)k3+5UpmkcW|1cDI%+*f7zDRb+l;2$ zpdpbjajyx?)TcX(Pm-2W2Yx&VJ8YNitoZSxI1eJvg;;7zY1+eugKMHgb1mpwF#(i= z2RBUU;ArNQA_Iy-n4#E-eIuP=`)KJv!N%jZh`}{1^2X@n-Rt81qmgn$O>%)0MGkVm zLJNSXkU?m39*s)*hA}qIYi**5!58RQhGo&9mJ131ts0}++2#agO$gbeI;Km?(unPg zX*{TUgblxBB6w~+YZUePy|sG)i!UnF|4%`dy7R-qlu)#(CV1nbB663_A^{|nfI{8x zPTaRp$lEMEFhGr41K6^)!SOv#hVdob8@KMbL|6;+n=&u*A>9>? zNQ9fY^4DuZDMnlE_%kzydSpfh-%TpKV;wf?PbE%CirP@ss=K9j0$@}@3`y#1SgF~s ze5VH0UK(UCjc-ca8<5b*aiEuu=4mT#AUe$h{sC-FK!|sC=Qa*R=ZS1WN(WQI2fQ+< zpvAIGiy8=rBON_?x_rVR1?`8LEK}+%e2Rdj*8bWAcr;ry=R@Mx=`NRcx^PefY5MPC z{WB~!PcBSFU4R1sGK_qlXV0Fwt0Nx}Ztyet(KUu1g60q6#b40X!!)?$AJ@k&CdWu5|z(64vrgch8$g(d|E{<3XJS9B#3F7;h$3PgEV#j z5@O{Q8Uf&mDH4J>-O?IX2h>^rZp~xN?AJvbR)^dgbk+27x>_8+DEy}yv&S>Z`1z7F zw@23p^F7w~>6KQ*z^-$31TVM%fr9W=laV1Fq5s@QpphjvvPLOc(v^_M`!&$#EVv0Y zFoZ=>NC4%_7buiq7nd>7Wv}vg+*oU zUCyO)*avjY)){ynB0@cbi`qqnV~Fl=Mo#UF{Th6{*D z!zRy)4H@_`X6%!QQNeZjHhq5#( z`-F4ZQ_KtJ9%!ciwhL;mzLHfSufqTsWhGWE(9Rg@*4N}2q4&J*pX~hp;EHHJa?IR$ ztA!LG6#`tQ?|$_xMzyOro5pa93tl|##bUYG?ci0R_&KN#_m4OB+#pPpw5xWjJCu8z zKJIng3_0XBxh(@LuZYM)&Fs!T_$}{DI|&6EdLrS4$${1IDcmvWWeULwM$m!;ahOOq z#h?{U+XAjfInuTd8(j$Gxk{S_%-pUX7rPBw&%i*L6O`HQQbxk`)_(NX2w$8EDtn@m;vcz= zuC}xI!a&8*lDu8R`nmX4uYVb|CQ4UsiGy#mn=$YCrwlWoe$`Xh8>NDI~p zy|zmQEu1lF8%55{QQe-9ru+PPYmVCud5ui~{6Velk0?^^p5wd*36#;oJ{U4QG4Y#o zj@ZR!@69#;V&}+o&nVY1Ms{hvsmf%iH*Xeih8O33;9iaE52lPzvf81=H&^Iesq}J{ zR~tOC$GR_R9Kbt~kE<@V{#5OoodNEyqow-V#be~Su=PhFG-r zbkQ9c<&l}Xa(Z|nIbz@C(U?=9CtD++!R}RqKOp-XBkFYlAaeVkfG_gRxf5Gs5mt38 zM~)2O$bbwZo9d}SPH;lvK^%x-J=r#!XIB$tMb*jt*bc4i2)VxwaUBt5f|sX);PVlu z*Hi5IGq{6n!=uJHcGfSC*2{GRo~DP>e~9U+Y7a-U5POKGa#)D&O(I3U2`Tq2zk&71 zHd9s$iI$xs#gTP1AN-}QU{x)YugDG2{GjY<(m{clug?2`k^5)-2ie>aa+JllEuIgJ zomu*7CVLe#~JZqB6Zcrb{*02C(VjUe#=ufReO;RCi7y*;C<_^~f=Sy_&7?vSQVAKK%3@2MPsXcX& zb8D*>C)KSLuxCj_I3C&Vf?JB+f%_ob^mczuwKv5+7<9BMnSM%=Ihdg92kxFyQzw*< zdi0#tE#-}OKTY5G17P0FfdZ0x)8*ACJ!vWAI!DeKb=RT#+R*}&mT0V}cB#w>XvNYq z$)`UVY>3>9q%?zrE0E5Ud)s!+Zowk%FLeGK{{1yo1B+rbB90H^`ZAP)siFMS{QW%M z(e~_-WDiNDXc2S=a$sCJZuzn2I`=RRK!U2*InbEKB?U*LcyYK+w!s?cpBGww3A>jD z=U3Rrn$HB&Y zJ*U5^2}=3h%Gl7+9R(1eDk}fw$S)#yKpE}2{mFU`%FP*P>oW;F)1aUn56mOELu=SO zN%;)CgtEp`^TW;}4B!6@NX!la6B9v>#2ypW1JUM9P_%MOs9WF`1AJIq%tvD!^~XYH z>&66?1%=;l`>vElWOmXYP2UJ z+LC)L`89&2_o=>;K$@4`YaUn6y$61i>BO3`(M7RlKaew)usUW)Sy{8Bu$SO(HM$7*qS5MOik@b9dAlnNng#=v8 z*)rndJv0{S-Z%){G77nYycENaV?Czx8Ch{nP!HwGQ)(uK_f?hD2&lq`vAqqdafFXb z>%s09Qt21c2^GobgQkfUpAY>}-9lqjK6d-y(KgIxN^bW90zwFT(7B&8vuyJ@nbhuu z(5rcQyfRfMeB1mrxLe%j3(dJ8K#ZhEExLe#?v`4$V8Up9P@;;xmG$Pj@H7VN-i zYOdG3tungq);5@vyGp&-m})+v9wTsj7Z+$&gX!*jGr)AHb{C)Ej>t|KAqPWBm&NAE z-k~7F$pCL`B1&K(EKTA|@LXI<+BeT*6BJ zTRD|DUpkM_M~IEMP%V%Q!%_wxx>NUSW?`T6UP!-FByfqK(4Wpr_}_!ws#9xOFRb^L z*4@+it(j(^+kLhBETzMV4}WM(Y0tUrm0Ui6%2|x}~`8r0H2a`J^d^Vw?`w@58 z5gjG~!Yl5v;CMh?o(^c3#J##>qjhdNsX%H#xFgSOKeH`gUFI|t-rZ@-P4}Hbd^oQ^zkOvLtbU{xw`bzq!n)}!}>tH&}@%%v_hLo4L zw4#iB(aEx`H%pwd^g&4Yn76w?f{&p%E&(ygQs%u3tZPhof*2_>uepu2yWr)eHH}^L zot=m-P;Xf%y`tC5kJ3|5apNaiYY45D?#Wu2kSH*<@Vl{1C>C6FW*H-|cG%?qQd7U% zihlqG@98e=JPz*Fdmn0r!(qnyE>cTC$`GI&aQbSB4s_h8}A^4aGDs6x3H+@~%^F;8fW`O=`>b%`6bAgVD1;y$=ULpQh*_+n{&`L} zL7RbP9QY4b*lxWCGXOJndT_8LB&prJ`aWPAVK zIO6EJS;KL3QY0O6d}+|9@>S)vcmC#4p|dVe|+kszy^$H{ah$sKi<0%-%Bq-Wzb zI94C266y{{gw@JHpkl+_7o-2>a0VQ|m@4lBN?Y}%oFb#G*;Uz7H5o`OKzr^^1hN~! zinqWxMe#Of%G=GWyLTi~XKC4*c56?NEIyGZX4GEgLsD*jvHThnJzJ13?Hy`j0vHoY zyg6pV4aU>O**urd2j}?GwcAc9O)W0%l|^CL-)>su(UVsx8nM`B6(ho!G>xghz&1v^ z>Np~Vvij}o=RWhtZ8DIe#bHD`6A`U3y|zgL_>S{vZ&WwN12&H6LA@!DNJsJF2SYGc zK-+47omJ98VxBOHhV9%|KIFN9`=83+#mvOAo#gm>ckA=>h(}3kun(fU@e9K}!tUc{ z2NN$#NrPv6j_+kSLxqT_J7V~1Le+d`PTT}5Ca50@$d^OLMRq^Z5qj*lrZXM@%nv|5 zTj#`bFg8~HSh|fdc_uN=Zq)mB7rtT1?X~Db6*n}cD_1tfc2T0Q0yr+=U`=|Wafqms zgjxbd+?YV-lhl&l!_ShgfF8p!`YHn1QLpR3Jn156^Op>b`Y^h#%kO}9ig6;|jR`@4^!&OTSXO9`A*3ki7vlNN~ zsvew2!1L+MbqAcbu^%O%E&qS5odr}|%l7bFq`12W4HOB%HMkX*;uavdyF-Oiptu!^ zJH?9^r!7*76)jLGPH=bmLhpU|z5D*}v$ft?D{D<=_MW}Z?3q2uNzU&?&2gyQqFH?_ zMNax|^8wU|@qCsc=Wz@sQ8>Q<334vZg9P9lF%6pKo_}ae?ybX0xrMowNoGmP7m|38 z|8-V95_6KRmRZ5gAlu|@Q(ZB`%DWDv3?|LZNc3D;RDCSNc+(YIdxPSA&nT+hN9q_g zk#oLhyp=00m8YLt;G#c29a~*PP{QWY&?PlpRGMCOX30LOj?TyUn5Hta{bth1D)%Yb z>h9z5Q>CGr;cVpRvBHY0kdo4GQ)VwTgIa@{5kIVkFuRoLaqGzoK*R%nQYZ8iAbBkK zC=<~xZO<6noot^E8ITf9)CYIGQ*?Zc$DSB-W)dv>ba+8!(_w$TdhUiHnO0l}1q$i+ zqrf)bj3nn7utR+wUd|7< zr$#0L;lOr-l-2nJiWuZdkkT&*_u7&}ddPy>fG+cvM}XS=&A!UZ4_>IkO!$85(ho`d z;>n$i&JIsFYx{~w(IJ)$iTSh4cbhdjIZe+-3dSir4U@N3v%bcUXKbIOEgryC@z^Z1 z*|R<$xWdWUBWMU?m|g`cwa8ptMn{ewnoR8X=%s9NS{{NYX3rm{?bYyee|xXY+gWVf z_4$E(?VQ1ir>C23Sxd2NTT$eSkwTbD1b~{rQ>j5u)qqDj+AIZM1%!EImz zr^vv?6uWN;OFyKPak6(l4v!Sr+#hB6gsf!#sXV2g$aE5(0`cYU`39!rLoO4ieD?T9 zInl^EKH@a_$Z2iIbd4hosiPD{xst0qZIj9!;fcmnq47_V4!8}xm^bp+dbi6``|F2= zM*TgAqUQIQ@XqCBd=`j&nBqJy*6ok-hn!c$^lfit^EwOXv5k#Z^_PEoN*k#@(xYYT z@#*WdOa}g}8L3W%*NkXM{&}PpH6>fU)fXm1WdMK?8UL8oRx3; zGvejLZOr3?mal#v;DD2l18p*(kbQ~Tl+!U|fhOw?U%j0JvOcGs4}~n1F4Fex#KP}` zjQDv+uY4OuAz$INlvCF~SL~gz6~IOwrQN1PWk;{K>$~$Q*zgEcA-W%S){>}=kUsdW z1Mz5mg!9KALx!cMxl5p#V(1&qAmTBtmDUI8M)`uZGaTo z@(gWoLPV(zA2s{S=$H{{;Zv(UqqV%ieUyFq#cRRn%gbp84|UrWF?xwIuW(1(pFMP$ z>w+VBldRxYtal=D`zIrLHnvM21Wi&>U1rtOVk>=G<2@ES+ifED_-M!o3(*s~gL8Zq z!;!}M!q0Rhv9WNrDJ7WK2SYDMFW7J!O*Zn0SIpm`%Dy@wpIciB60%RZ9l(27T%Aho!)MydM__nbw$sP$asjPb54YCfw--ct1Zc07N|lD32}60pDV3F#0=Gw8 zO1~x!9#yA&rdufM7oItK%nD!UF2}z5f-*%dpg@WLl&Skm1b=<=EhIYv=^(;hr1Ez9 zQ?_;ljcw>{7DJpDg|0>>NTtV^G17e70GasKk}4)og}oM2x1fU5(C+}wGKkapfOpKP zys$?0t)e+|1^n7QdI!sFy%c;hT-2_EI`H9Ign0O2f#$clg&c052Y8xaM^DHCyCd+2 zQ&XfYxb4H9DJ)X@)Va$uo``z--pwEP)(Qv5E3{~$=>^K3bD{vYK0j3y$i+K>ge*xX zJ`+~0gwVnZsBI9xbfui*6=MXGjRoHcdq_}T_l0=Jn^F;jzDlbkixNOjIrR2w*DS&d ztxtw9?Nb@ejKmW(AA-^WXsr8?vkrwfrt(IS)5f6c$Y^E4kXHkQ$@}sr3Z^j9Vj-K6 zxPvV>>|cvLSCU;KOOJAU2nd{b#2!_wskBpO_xmKX6DSCG5?jGXucYc~Pmwhr*dt?@ zZIGxen4=w{M^2$j&gW4Hyx88$k$E{~46j=>B$;yh477fcS4HQY03XZulzw$;e<0kG z^K6c%^~d+x^Fk8q=WiBcwYZbtd}KqVco~_mCayXZM2FyKWxh z2tK$GEtPs{#WoWjaw_S^;L|vRju_z@vptqjTP`!cv?nwU$V0qqrny|)50|Jg%kZ@a z_fkHl%Iz@=?*&2iR&BNxa=!}}B0f85WlHqq=Z$=_^cWUOQ~fd2RAdCu*QS%>by^t{ zi8RA?FO-S~EG(S2=7-Pu%7*0AnSUSN2_#iVUgDi-E+{}PH~tbtP+2GCP5dyAyqKt} z##NYdCh{6NDGoE6`EcJH=XNvcWs<)w50*>Kx{>+9yeuA8@{=0)4pZUAi`H@afn3)X zBsv3%iXu_0;Q%AemrS%4fd*5~!l=1JNqeKXch>gB1+BDVVGjbiH_-qkvWkKQqep%7 zUg$4>*l&M{&gVwf|CmQif{PSqy;ub#iy!UNhdOtw6~83#%?d6uxBH8-FgzxaIKB4Z7pS=j@TWhf8qE{zF! zx_>7zZI^odMQ6>)aTGQ3Em%2z(3nH^h=;`MS`j;g>Q~;iVsR;QD0f0Wz3hc=&N8Uc zKt^sR9(=M*hPv`g%a~upB-Wy(H+aOeh(n!;Bu%@Wct}NnQ@IsW^7b;h^Xf`B2DP1_ zqC*FRIFLPK9L6&*+LUCBapRkqFzodD@$2z3=e(_6R#M5`56y5S%t`Ua1`p@zcE^{) ztztcf{1a|R=i1W(#leis9FLg;-KVU-*l&hW5|k%4jREK6KWh%fq?}_teyKsi9%$l) zn>_REg>?|k)0wT;GgcQrZb<=SP3;rSI3==Qe3vo{>&cG3D;k4bhgM7*?P)$|oTz8} z)0Btlua(l0KQjKYkvrIRP2l?EVV?Q3a*dl4+;cPxLWnK3i#>W4uz3 z%q_2|B1cx^RbL{Ae4xyc+#I~g>g*eMbhtlw-9JbEH6-@qMg@gmYQpKpY$#`xj|y15@Uj(|VychW^wdS_++Q#X;`h zIohKqylJVJZ>VkdSR3E^VyzPHVM1M^jX-SMkOHlsY&G0XHtXYKYNYa&0L9z%R<`F< z7Q|H39n8Y53(Map04jFlwzsBmSo)7|gdL-zDX%=Md-r~>2 zfO=o`_{BVrOtZ%7dqh$>8bHdMAZt#Q{`gHZH%}gG$^?ftOK73=gD~b@p>K~(0VvB0 zG?6y}kFK`9&ys6R8*Yn044GR@P6IP%4k3dSUy%%Amk1{D`%_TZvQ7Ha$nm_4%g}b) z29Kk{otyd;*^#Ofh)6Q?NQQl}|>y0&|_*XxX9y{11^aZBRRNCbs9gy_dK zh1;GxntmlF?w-mq)Q=i(TiA0}bI<;C$)xLS9x>D&;#R-q(>V!vK-#gaPE4|N)7h5! z6usb(Aq@6IuiO9N9ka{wHRq;oK`93D))v*^$9T+}Ye2&m8QFvkkC(uMYlo!`|KLv2 z)v0ul5?xPFPsOo7bvMO>qgysv3~}9e3v`<4Q@DIlR!nF*KPP5%T0IXyBTZXu$;Si=GbwDzQX-^$#;<$_>A6p9ddr2L=0gxy0NoNErG(jGvyg zlCO)(o!Cgoc1u>D`d~1S(^mmIqu7pYvaPE^S5dt{MH69aUSgJNJ#jB`eMNvj?rbT} z#r5N@q0cB4(|Z}WaE7~`&$H*-y*1&*5ZL zDb{;kS%^m2uYj%hW#paGBFVrKar`qqFS8b3B zItK6uDlWlm!8`mgUlx{~bO3$+fjd?&sdM2LxKJzg8ZuI1>}Put6t1z-tk$3|v3;KC zQHdJRIOuUUPyBjapTDmEJAj23t6+!2kN!C6Di6~2lwh1bW*%km&c$n6Hq&(vAd_ZW z7VtWz+$HdVHHq&i#rk)$omC#TO&IR;9rWl9d*j+~;!Qq*B0p|!7p)fK8+nc@=%gjv zQ&Ba%$yE9jC0!D2KViK^_b5bqr@xyGQ~8v;H`5RmQJ%nf%VN&anU|f=rIfJY4VP6S zvN}`EM{SGWt7pJssDe~yo{h8!^ND|wl6DZ#WZNG}Ad}vvIUDqP_N#+dPsY)~jf)SN zTAG@J9e-BRd};5oXj(`4GFWi6DMVvdjCoo&T_dAlbA5f1J$h|EmM}*_25U2OjxFeW z>BBN3jQEOt$I#1o8@6t@yIDe#UWuR5F`nc?%5nKWbrB&#NnBp+DMv%XzS?o~^#`f$oK2%Q0M> z9c{#)?bC`2kD5D%s(l;VzIZx1Sl(IxoZWHKVu*kwYk_H%JZ5*4kA;BW;P{qWU1{!F zh-A(hS%afn#FgT=i;q_-luHV|`OTi5%5m7M=MkafQ;Py)+DRWe42SOkT^M*`9-pm@ zp_b-3qA3Rco8MCXX}fp*7KNLiXZlN^dK!^yVL8V@p&xt*tlUg}weP(5gvWz_=xwS! zJhH>B8o0xma>^+wql1*AnYdNHF7pO5E5g;ft2&eLYl3}Rx5u@fn_`UTm7f$ceAQ8V zsJXs2oXf?!P-j!?=7S_F6*Cqt!}!pVed4KP{)Q{}%eto1mvd8eTph=l5 zzim=Ggl&bWY3Sp`7bj}!=WjaR>f5opSJ z?-y<#yK9*cz3#8K-p`seo@VjCZ;q(YQU;6v+O>S?=$UOBsQ=0BqiDiJ-?EpLh->wcCOq~ zQ+bw%L3a#88H+A|WLxJZ7<8!1)mPp2iW_wgFHVjSC8F`L{=LUI!?RQh1d|QU+}Ht2 zG1ukm9b>GMTYK3`8MfG3!T3*zsLpO#-c?e z_Lq6D?Ymz+zBI)RTV{E z@sj@F+F7L?GD9`nUwS7VnD?6K;;!BYrW{G7eEgH(jE?#=zkBkPKz9#4JqG?eNdU(D z6D&nrGlJ`HH*c>j8*RM;{Bv81#l;D{$>$Ye*2$YzFc{}o5q7K^!!G;)1#OILvo&jT zTCMjliTX>3Cg%=+*=w<>px{RjhsOs)%8vLGv(AZ&1r1D6kXxS}^?IwY?bvr`hYBk* z|CoIsf&Q)Q^E*~vuM+H`AYSvx57}XoFB898%2!Wt9cm>SCVBxXg`|+nf>rs)AsFbIAU^|w?mgaE zoOGfL`WkG$!#<|OU#^#U&GDdfnj*@Btwp385SCs!@n)0{_S$XWv=xVe1eZsmsJ?Qz zXs=|xkNA21x+_+GC3uP6S}o&rBa)tZ7I;!%@>$5D6Fo(fJc{V4F_vLZj2sneb%-o~ zaCh5HibbBL8DT@xBb!IMNUkS+uI&{L2h9cFqfjfG_yc6aywxMezE*TQqIFKGJ#WDH zaM5h6|L)r?+gpm0;b~f5ozJGCuuWoi`d~93~GiX#R$G-Jnw&Nrd z9NTu$%AbxQOZ5-f4FLymv4El%AF?=@Zs&d(MMF?XIIR^DNa;~9BGA6F3ePH=&C-wO zJsu=>Lg2mfc?8MVm9hw+_~*d|cIhv}lx3z*5r5t(vCBt}`BBthQM#EU7TaUDU_2bV z&5&7f?YJ{@5{S5+`Yv0IsGrUbad&$3u7;`jEPWc3;Zqa& zcqEAui`l!DHrT85pG^mOI=XK#74}P<2Os_FHF;SaZW0t;gUkMZ*q(FIAkB7zpf*C$$QVx`Svp4uF7=9ZW)Z}cx*}_Zv93{>Xqrfrx z)zi{1NkbC_eA}KMSWI&gp&C^{{@D_bY3QK0S!{-ae3GODbMY8T|0KE8X3D~%?92It zTw-4R;5>>~{Rxm4IFCrF@_-2yl6~O?IA3W-(7dv+e;)Xb?iO<|u4dSZhraSNO)mc! zN}n86!yk7DfLQAX z80CcBGK}Bc-G)Ub*m|sA5`^(|<_bHRhv*5|yj+yBNn+-~LknV(uKP)jV=n-+$fVcH zY^|3O|Djqk;Xgp^9QFlS>&zMz@R{4Jx|XJ`0Wd>W^YlR+s1Vm5I{D%cgx>PpLiO zBtaINzo23a31@?1f)?yv6rZm@VGSu^p{1qTDv%);sQ`rBTiIgN{VCdYe3p*5iHVx&9+xhYC=!l`El!*Np!= z^tAj5Yb`aFIaj&R_6$}k=u5=&VU3D09N_Qq*RX(}PQp-%Nko>+VrY;Z%bV3+>)F1f z3LQw8t|}3@BiXrWuZsOX;}}ggIa_xtLIOFRVkA26&4aA2#{P5+rKiL~Nq!X_Tbw zbJk$xrqmV*u`&(YmN3&}npjmJR;s5;m5>58}06U^@p+YHx{?dc-gHAIJ@`b01G3DloT z{Y+9c=TPtz(u$LN*el%nsg^iAf=LbPm>o0{BzG%Ep)BZq9Yu32qe0xpr=DOU=;e(k zk|iE;vFW@!Rmr%nbexRg71B~0RT+Ycx!WcXK<}?w>wy|wHNI`^Pzp*yS@+T*SWE2-&8QJVrNS* z@k41I*rR`41*~lEx&Ej%i+nKe<-hUb7xLoPqwo$iUHpQ*D3V!bQNeNu8hbj_ponqt zvrl*AmW5#Xu4_$VllRdfvTv8W9Kce&B>(+wnR#QBG7Al4o%@U)jELnDE@0m zQrd@wDHXTYsCYr%wluh4I@?|5VA8hM=Rp+-H1>ST?uJPbO4?{lyd7EFCSYQaqz;B5ytjhIy|yzL-Hiqq#BY z_18UN2Nk`_@w9ObZ1rYdrfR_!r$_PL?+U)Pe}-2-8k1AkCY7ZFN836&U}tE#QU<4{ zADj0^)5M8(^Z^>Zoj10R9;+I?@c(w!@Lst~e7k0ZX7y=qFd@qbWFQsVFIsi2x_4Vn z_{Ah@p)GUq^6qLc=!7nQVTyn`W_C+ma5-SH;Q46{eaqIZN;Q;o11vmkQ-ZKdzsIX5kn0ed}1g#gxyj z1Gp)L7E~5#P_r#Cg-%O*TnEn}{^v2v7g)E~=>xZQaX>Fq;bbJbPV*Oml=hMqWRJ|$ zU@aFxePxk{vAHg*0Erv)Ug&g>`rG+(7iE)3_dT@p20Wj*4vg*M8|Sb&%w`gI_7&Z} ziZ~H7>wWa4n710!^H_|=WK-N@t!CGb+&=s zmofk4W%3u-;-659fP1nAH-Hbo2?n^kI64A?{)5Z^goXT_lkqo(#$TQD@$&w~%n+0C zML6}0|>CQ5(nz>t8%Nl%D`;x6#d;{+Wu-fmi`Ww!d5^D2&R|> z6aiL&ar#1CIj!v+Jz?%10GNlRID?Fqiaf);fUk(JldBT~*8%W#a&-0(@f8RDRuMsz z@2f#Tz;6*x2XUajss_N*#l_LV&J)1HCCmlp1oLtLtlgnbFdr9p2LPB$0Ep<)-O5@- zOIH5R4iWFffwrEWt|B0ikB<+R4=b z@3$j%`hTf8dvN{siObT(31p`a0&{VL{$WTKaXRjHuJ`c++#7~kxOjPr1HHWLtVApX zEcp0@1%x;Sg{%<1f)QV{xDf{@KNt)a;Irc4gK_iz!<_5CxcN7Ghz5i~Uc@*cN+Jk) zjFp!q%v~I)prHa#uyyh9{KGy#n2Vbq2>SE%|65)mV)LIz0TIwYhd~S>BckeJWoPXt zi(ubCc(}p5oM3KF9$_7@pa_^x1T4(X4Hn_%76bj8BqI0-RT*~}Lhb)W^{#|9RM) zobKoKy_|@wi=~$ng6yLt`~Nd*{@a1Jvi!?oS1)(R-%G^G5(IOE-TUT&h&34Dv6ZEW zwTrtG6fwb}uC9)DmcQ{mAjHH3Lc|b_o_3y&Fv#x(DCOw+N5RqVenE*iBJ!9x(3jH+ zW)1an^aMimT--gKpzaPZGd(3U4@+AgsJlNG%+=$M=s4Oz{wVzJ2lUUr5hcs}8RO#q zNB7z=w}04yc-q=IIsKdd@AiBBzqI~C^nX_&QU+oofc{EI5KO>->GdQT}=OB39%~w$2v7;)iVBLr6Q!HygY3YLcasa_7^nD*Bxe!$qfMW zVcw_DKMsHZKR+)&z#8yJ9SLByE- zy^dE{2tm&JTOHyJ_}}Yzc!dT2XMa2bh~55gx(Ks^h%Ntbbvy_M|AQPDK_UB_+`Y^H zuFD7J7yg%XL!>-AN0>XNm>2-0ZRd|*iSYptFftbe?+Y;*v;ZI_XKNS0A2czLk}SYT zOh8@$5orO$s0ql)f`tUR`Gojo