From 1d48022e102d8178ceed440a34825e110c46f4e0 Mon Sep 17 00:00:00 2001 From: Christoph Egger Date: Sun, 24 Apr 2016 19:49:05 +0200 Subject: [PATCH] Empty template --- BeamerColor.sty | 484 ++++++++++++++++++++++++++++++++++++++++++ Makefile | 4 + chapters/template.tex | 9 + images/42.pdf | Bin 0 -> 52126 bytes images/fau-logo.png | Bin 0 -> 4860 bytes images/tcs.pdf | Bin 0 -> 2792 bytes vortrag.tex | 143 +++++++++++++ 7 files changed, 640 insertions(+) create mode 100644 BeamerColor.sty create mode 100644 Makefile create mode 100644 chapters/template.tex create mode 100644 images/42.pdf create mode 100644 images/fau-logo.png create mode 100644 images/tcs.pdf create mode 100644 vortrag.tex diff --git a/BeamerColor.sty b/BeamerColor.sty new file mode 100644 index 0000000..ab3222e --- /dev/null +++ b/BeamerColor.sty @@ -0,0 +1,484 @@ +%% +%% `BeamerColor.sty', +%% +%% Dieser Text ist urheberrechtlich geschützt +%% Er stellt einen Auszug eines von mir erstellten Referates dar +%% und darf nicht gewerblich genutzt werden +%% die private bzw. Studiums bezogen Nutzung ist frei +%% +%% Autor: Sascha Frank +%% +%% www.informatik.uni-freiburg.de/~frank/ +%% +%% \usetheme{Was_auch_immer} +%% \usecolortheme[named=Farbe]{structure} +%% +%% Beispielsweise das Usetheme Berkeley in rot anstatt dem üblichen blau: +%% +%% \usetheme{Berkeley} +%% \usecolortheme[named=red]{structure} +%% +%% +%% +%% +%% +%% +%% +%% +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{BeamerColor}[08/01/2008] +\RequirePackage{xcolor} + +\definecolor{AliceBlue}{rgb}{0.94,0.97,1} +\definecolor{BlueViolet}{rgb}{0.54,0.17,0.88} +\definecolor{CadetBlue}{rgb}{0.37,0.62,0.63} +\definecolor{CadetBlue1}{rgb}{0.59,0.96,1} +\definecolor{CadetBlue2}{rgb}{0.55,0.89,0.93} +\definecolor{CadetBlue3}{rgb}{0.48,0.77,0.8} +\definecolor{CadetBlue4}{rgb}{0.32,0.52,0.54} +\definecolor{CornflowerBlue}{rgb}{0.39,0.58,0.93} +\definecolor{DarkSlateBlue}{rgb}{0.28,0.24,0.54} +\definecolor{DarkTurquoise}{rgb}{0,0.8,0.82} +\definecolor{DeepSkyBlue}{rgb}{0,0.75,1} +\definecolor{DeepSkyBlue1}{rgb}{0,0.75,1} +\definecolor{DeepSkyBlue2}{rgb}{0,0.7,0.93} +\definecolor{DeepSkyBlue3}{rgb}{0,0.6,0.8} +\definecolor{DeepSkyBlue4}{rgb}{0,0.41,0.54} +\definecolor{DodgerBlue}{rgb}{0.12,0.56,1} +\definecolor{DodgerBlue1}{rgb}{0.12,0.56,1} +\definecolor{DodgerBlue2}{rgb}{0.11,0.52,0.93} +\definecolor{DodgerBlue3}{rgb}{0.09,0.45,0.8} +\definecolor{DodgerBlue4}{rgb}{0.06,0.3,0.54} +\definecolor{LightBlue}{rgb}{0.68,0.84,0.9} +\definecolor{LightBlue1}{rgb}{0.75,0.93,1} +\definecolor{LightBlue2}{rgb}{0.7,0.87,0.93} +\definecolor{LightBlue3}{rgb}{0.6,0.75,0.8} +\definecolor{LightBlue4}{rgb}{0.41,0.51,0.54} +\definecolor{LightCyan}{rgb}{0.88,1,1} +\definecolor{LightCyan1}{rgb}{0.88,1,1} +\definecolor{LightCyan2}{rgb}{0.82,0.93,0.93} +\definecolor{LightCyan3}{rgb}{0.7,0.8,0.8} +\definecolor{LightCyan4}{rgb}{0.48,0.54,0.54} +\definecolor{LightSkyBlue}{rgb}{0.53,0.8,0.98} +\definecolor{LightSkyBlue1}{rgb}{0.69,0.88,1} +\definecolor{LightSkyBlue2}{rgb}{0.64,0.82,0.93} +\definecolor{LightSkyBlue3}{rgb}{0.55,0.71,0.8} +\definecolor{LightSkyBlue4}{rgb}{0.38,0.48,0.54} +\definecolor{LightSlateBlue}{rgb}{0.52,0.44,1} +\definecolor{LightSteelBlue}{rgb}{0.69,0.77,0.87} +\definecolor{LightSteelBlue1}{rgb}{0.79,0.88,1} +\definecolor{LightSteelBlue2}{rgb}{0.73,0.82,0.93} +\definecolor{LightSteelBlue3}{rgb}{0.63,0.71,0.8} +\definecolor{LightSteelBlue4}{rgb}{0.43,0.48,0.54} +\definecolor{MediumAquamarine}{rgb}{0.4,0.8,0.66} +\definecolor{MediumBlue}{rgb}{0,0,0.8} +\definecolor{MediumSlateBlue}{rgb}{0.48,0.41,0.93} +\definecolor{MediumTurquoise}{rgb}{0.28,0.82,0.8} +\definecolor{MidnightBlue}{rgb}{0.1,0.1,0.44} +\definecolor{NavyBlue}{rgb}{0,0,0.5} +\definecolor{PaleTurquoise}{rgb}{0.68,0.93,0.93} +\definecolor{PaleTurquoise1}{rgb}{0.73,1,1} +\definecolor{PaleTurquoise2}{rgb}{0.68,0.93,0.93} +\definecolor{PaleTurquoise3}{rgb}{0.59,0.8,0.8} +\definecolor{PaleTurquoise4}{rgb}{0.4,0.54,0.54} +\definecolor{PowderBlue}{rgb}{0.69,0.88,0.9} +\definecolor{RoyalBlue}{rgb}{0.25,0.41,0.88} +\definecolor{RoyalBlue1}{rgb}{0.28,0.46,1} +\definecolor{RoyalBlue2}{rgb}{0.26,0.43,0.93} +\definecolor{RoyalBlue3}{rgb}{0.23,0.37,0.8} +\definecolor{RoyalBlue4}{rgb}{0.15,0.25,0.54} +\definecolor{SkyBlue}{rgb}{0.53,0.8,0.92} +\definecolor{SkyBlue1}{rgb}{0.53,0.8,1} +\definecolor{SkyBlue2}{rgb}{0.49,0.75,0.93} +\definecolor{SkyBlue3}{rgb}{0.42,0.65,0.8} +\definecolor{SkyBlue4}{rgb}{0.29,0.44,0.54} +\definecolor{SlateBlue}{rgb}{0.41,0.35,0.8} +\definecolor{SlateBlue1}{rgb}{0.51,0.43,1} +\definecolor{SlateBlue2}{rgb}{0.48,0.4,0.93} +\definecolor{SlateBlue3}{rgb}{0.41,0.35,0.8} +\definecolor{SlateBlue4}{rgb}{0.28,0.23,0.54} +\definecolor{SteelBlue}{rgb}{0.27,0.51,0.7} +\definecolor{SteelBlue1}{rgb}{0.39,0.72,1} +\definecolor{SteelBlue2}{rgb}{0.36,0.67,0.93} +\definecolor{SteelBlue3}{rgb}{0.31,0.58,0.8} +\definecolor{SteelBlue4}{rgb}{0.21,0.39,0.54} +\definecolor{aquamarine}{rgb}{0.5,1,0.83} +\definecolor{aquamarine1}{rgb}{0.5,1,0.83} +\definecolor{aquamarine2}{rgb}{0.46,0.93,0.77} +\definecolor{aquamarine3}{rgb}{0.4,0.8,0.66} +\definecolor{aquamarine4}{rgb}{0.27,0.54,0.45} +\definecolor{azure}{rgb}{0.94,1,1} +\definecolor{azure1}{rgb}{0.94,1,1} +\definecolor{azure2}{rgb}{0.88,0.93,0.93} +\definecolor{azure3}{rgb}{0.75,0.8,0.8} +\definecolor{azure4}{rgb}{0.51,0.54,0.54} +\definecolor{blue}{rgb}{0,0,1} +\definecolor{blue1}{rgb}{0,0,1} +\definecolor{blue2}{rgb}{0,0,0.93} +\definecolor{blue3}{rgb}{0,0,0.8} +\definecolor{blue4}{rgb}{0,0,0.54} +\definecolor{cyan}{rgb}{0,1,1} +\definecolor{cyan1}{rgb}{0,1,1} +\definecolor{cyan2}{rgb}{0,0.93,0.93} +\definecolor{cyan3}{rgb}{0,0.8,0.8} +\definecolor{cyan4}{rgb}{0,0.54,0.54} +\definecolor{navy}{rgb}{0,0,0.5} +\definecolor{turquoise}{rgb}{0.25,0.88,0.81} +\definecolor{turquoise1}{rgb}{0,0.96,1} +\definecolor{turquoise2}{rgb}{0,0.89,0.93} +\definecolor{turquoise3}{rgb}{0,0.77,0.8} +\definecolor{turquoise4}{rgb}{0,0.52,0.54} +\definecolor{RosyBrown}{rgb}{0.73,0.56,0.56} +\definecolor{RosyBrown1}{rgb}{1,0.75,0.75} +\definecolor{RosyBrown2}{rgb}{0.93,0.7,0.7} +\definecolor{RosyBrown3}{rgb}{0.8,0.61,0.61} +\definecolor{RosyBrown4}{rgb}{0.54,0.41,0.41} +\definecolor{SaddleBrown}{rgb}{0.54,0.27,0.07} +\definecolor{SandyBrown}{rgb}{0.95,0.64,0.38} +\definecolor{beige}{rgb}{0.96,0.96,0.86} +\definecolor{brown}{rgb}{0.64,0.16,0.16} +\definecolor{brown1}{rgb}{1,0.25,0.25} +\definecolor{brown2}{rgb}{0.93,0.23,0.23} +\definecolor{brown3}{rgb}{0.8,0.2,0.2} +\definecolor{brown4}{rgb}{0.54,0.14,0.14} +\definecolor{burlywood}{rgb}{0.87,0.72,0.53} +\definecolor{burlywood1}{rgb}{1,0.82,0.61} +\definecolor{burlywood2}{rgb}{0.93,0.77,0.57} +\definecolor{burlywood3}{rgb}{0.8,0.66,0.49} +\definecolor{burlywood4}{rgb}{0.54,0.45,0.33} +\definecolor{chocolate}{rgb}{0.82,0.41,0.12} +\definecolor{chocolate1}{rgb}{1,0.5,0.14} +\definecolor{chocolate2}{rgb}{0.93,0.46,0.13} +\definecolor{chocolate3}{rgb}{0.8,0.4,0.11} +\definecolor{chocolate4}{rgb}{0.54,0.27,0.07} +\definecolor{peru}{rgb}{0.8,0.52,0.25} +\definecolor{tan}{rgb}{0.82,0.7,0.55} +\definecolor{tan1}{rgb}{1,0.64,0.31} +\definecolor{tan2}{rgb}{0.93,0.6,0.29} +\definecolor{tan3}{rgb}{0.8,0.52,0.25} +\definecolor{tan4}{rgb}{0.54,0.35,0.17} +\definecolor{DarkSlateGray}{rgb}{0.18,0.31,0.31} +\definecolor{DarkSlateGray1}{rgb}{0.59,1,1} +\definecolor{DarkSlateGray2}{rgb}{0.55,0.93,0.93} +\definecolor{DarkSlateGray3}{rgb}{0.47,0.8,0.8} +\definecolor{DarkSlateGray4}{rgb}{0.32,0.54,0.54} +\definecolor{DarkSlateGrey}{rgb}{0.18,0.31,0.31} +\definecolor{DimGray}{rgb}{0.41,0.41,0.41} +\definecolor{DimGrey}{rgb}{0.41,0.41,0.41} +\definecolor{LightGray}{rgb}{0.82,0.82,0.82} +\definecolor{LightGrey}{rgb}{0.82,0.82,0.82} +\definecolor{LightSlateGray}{rgb}{0.46,0.53,0.6} +\definecolor{LightSlateGrey}{rgb}{0.46,0.53,0.6} +\definecolor{SlateGray}{rgb}{0.44,0.5,0.56} +\definecolor{SlateGray1}{rgb}{0.77,0.88,1} +\definecolor{SlateGray2}{rgb}{0.72,0.82,0.93} +\definecolor{SlateGray3}{rgb}{0.62,0.71,0.8} +\definecolor{SlateGray4}{rgb}{0.42,0.48,0.54} +\definecolor{SlateGrey}{rgb}{0.44,0.5,0.56} +\definecolor{gray}{rgb}{0.74,0.74,0.74} +\definecolor{gray0}{rgb}{0,0,0} +\definecolor{gray1}{rgb}{0.01,0.01,0.01} +\definecolor{gray10}{rgb}{0.1,0.1,0.1} +\definecolor{DarkGreen}{rgb}{0,0.39,0} +\definecolor{DarkKhaki}{rgb}{0.74,0.71,0.42} +\definecolor{DarkOliveGreen}{rgb}{0.33,0.42,0.18} +\definecolor{DarkOliveGreen1}{rgb}{0.79,1,0.44} +\definecolor{DarkOliveGreen2}{rgb}{0.73,0.93,0.41} +\definecolor{DarkOliveGreen3}{rgb}{0.63,0.8,0.35} +\definecolor{DarkOliveGreen4}{rgb}{0.43,0.54,0.24} +\definecolor{DarkSeaGreen}{rgb}{0.56,0.73,0.56} +\definecolor{DarkSeaGreen1}{rgb}{0.75,1,0.75} +\definecolor{DarkSeaGreen2}{rgb}{0.7,0.93,0.7} +\definecolor{DarkSeaGreen3}{rgb}{0.61,0.8,0.61} +\definecolor{DarkSeaGreen4}{rgb}{0.41,0.54,0.41} +\definecolor{ForestGreen}{rgb}{0.13,0.54,0.13} +\definecolor{GreenYellow}{rgb}{0.68,1,0.18} +\definecolor{LawnGreen}{rgb}{0.48,0.98,0} +\definecolor{LightSeaGreen}{rgb}{0.13,0.7,0.66} +\definecolor{LimeGreen}{rgb}{0.2,0.8,0.2} +\definecolor{MediumSeaGreen}{rgb}{0.23,0.7,0.44} +\definecolor{MediumSpringGreen}{rgb}{0,0.98,0.6} +\definecolor{MintCream}{rgb}{0.96,1,0.98} +\definecolor{OliveDrab}{rgb}{0.42,0.55,0.14} +\definecolor{OliveDrab1}{rgb}{0.75,1,0.24} +\definecolor{OliveDrab2}{rgb}{0.7,0.93,0.23} +\definecolor{OliveDrab3}{rgb}{0.6,0.8,0.2} +\definecolor{OliveDrab4}{rgb}{0.41,0.54,0.13} +\definecolor{PaleGreen}{rgb}{0.59,0.98,0.59} +\definecolor{PaleGreen1}{rgb}{0.6,1,0.6} +\definecolor{PaleGreen2}{rgb}{0.56,0.93,0.56} +\definecolor{PaleGreen3}{rgb}{0.48,0.8,0.48} +\definecolor{PaleGreen4}{rgb}{0.33,0.54,0.33} +\definecolor{SeaGreen}{rgb}{0.18,0.54,0.34} +\definecolor{SeaGreen1}{rgb}{0.33,1,0.62} +\definecolor{SeaGreen2}{rgb}{0.3,0.93,0.58} +\definecolor{SeaGreen3}{rgb}{0.26,0.8,0.5} +\definecolor{SeaGreen4}{rgb}{0.18,0.54,0.34} +\definecolor{SpringGreen}{rgb}{0,1,0.5} +\definecolor{SpringGreen1}{rgb}{0,1,0.5} +\definecolor{SpringGreen2}{rgb}{0,0.93,0.46} +\definecolor{SpringGreen3}{rgb}{0,0.8,0.4} +\definecolor{SpringGreen4}{rgb}{0,0.54,0.27} +\definecolor{YellowGreen}{rgb}{0.6,0.8,0.2} +\definecolor{chartreuse}{rgb}{0.5,1,0} +\definecolor{chartreuse1}{rgb}{0.5,1,0} +\definecolor{chartreuse2}{rgb}{0.46,0.93,0} +\definecolor{chartreuse3}{rgb}{0.4,0.8,0} +\definecolor{chartreuse4}{rgb}{0.27,0.54,0} +\definecolor{green}{rgb}{0,1,0} +\definecolor{green1}{rgb}{0,1,0} +\definecolor{green2}{rgb}{0,0.93,0} +\definecolor{green3}{rgb}{0,0.8,0} +\definecolor{green4}{rgb}{0,0.54,0} +\definecolor{khaki}{rgb}{0.94,0.9,0.55} +\definecolor{khaki1}{rgb}{1,0.96,0.56} +\definecolor{khaki2}{rgb}{0.93,0.9,0.52} +\definecolor{khaki3}{rgb}{0.8,0.77,0.45} +\definecolor{khaki4}{rgb}{0.54,0.52,0.3} +\definecolor{DarkOrange}{rgb}{1,0.55,0} +\definecolor{DarkOrange1}{rgb}{1,0.5,0} +\definecolor{DarkOrange2}{rgb}{0.93,0.46,0} +\definecolor{DarkOrange3}{rgb}{0.8,0.4,0} +\definecolor{DarkOrange4}{rgb}{0.54,0.27,0} +\definecolor{DarkSalmon}{rgb}{0.91,0.59,0.48} +\definecolor{LightCoral}{rgb}{0.94,0.5,0.5} +\definecolor{LightSalmon}{rgb}{1,0.63,0.48} +\definecolor{LightSalmon1}{rgb}{1,0.63,0.48} +\definecolor{LightSalmon2}{rgb}{0.93,0.58,0.45} +\definecolor{LightSalmon3}{rgb}{0.8,0.5,0.38} +\definecolor{LightSalmon4}{rgb}{0.54,0.34,0.26} +\definecolor{PeachPuff}{rgb}{1,0.85,0.72} +\definecolor{PeachPuff1}{rgb}{1,0.85,0.72} +\definecolor{PeachPuff2}{rgb}{0.93,0.79,0.68} +\definecolor{PeachPuff3}{rgb}{0.8,0.68,0.58} +\definecolor{PeachPuff4}{rgb}{0.54,0.46,0.39} +\definecolor{bisque}{rgb}{1,0.89,0.77} +\definecolor{bisque1}{rgb}{1,0.89,0.77} +\definecolor{bisque2}{rgb}{0.93,0.83,0.71} +\definecolor{bisque3}{rgb}{0.8,0.71,0.62} +\definecolor{bisque4}{rgb}{0.54,0.49,0.42} +\definecolor{coral}{rgb}{1,0.5,0.31} +\definecolor{coral1}{rgb}{1,0.45,0.34} +\definecolor{coral2}{rgb}{0.93,0.41,0.31} +\definecolor{coral3}{rgb}{0.8,0.36,0.27} +\definecolor{coral4}{rgb}{0.54,0.24,0.18} +\definecolor{honeydew}{rgb}{0.94,1,0.94} +\definecolor{honeydew1}{rgb}{0.94,1,0.94} +\definecolor{honeydew2}{rgb}{0.88,0.93,0.88} +\definecolor{honeydew3}{rgb}{0.75,0.8,0.75} +\definecolor{honeydew4}{rgb}{0.51,0.54,0.51} +\definecolor{orange}{rgb}{1,0.64,0} +\definecolor{orange1}{rgb}{1,0.64,0} +\definecolor{orange2}{rgb}{0.93,0.6,0} +\definecolor{orange3}{rgb}{0.8,0.52,0} +\definecolor{orange4}{rgb}{0.54,0.35,0} +\definecolor{salmon}{rgb}{0.98,0.5,0.45} +\definecolor{salmon1}{rgb}{1,0.55,0.41} +\definecolor{salmon2}{rgb}{0.93,0.51,0.38} +\definecolor{salmon3}{rgb}{0.8,0.44,0.33} +\definecolor{salmon4}{rgb}{0.54,0.3,0.22} +\definecolor{sienna}{rgb}{0.63,0.32,0.18} +\definecolor{sienna1}{rgb}{1,0.51,0.28} +\definecolor{sienna2}{rgb}{0.93,0.47,0.26} +\definecolor{sienna3}{rgb}{0.8,0.41,0.22} +\definecolor{sienna4}{rgb}{0.54,0.28,0.15} +\definecolor{DeepPink}{rgb}{1,0.08,0.57} +\definecolor{DeepPink1}{rgb}{1,0.08,0.57} +\definecolor{DeepPink2}{rgb}{0.93,0.07,0.54} +\definecolor{DeepPink3}{rgb}{0.8,0.06,0.46} +\definecolor{DeepPink4}{rgb}{0.54,0.04,0.31} +\definecolor{HotPink}{rgb}{1,0.41,0.7} +\definecolor{HotPink1}{rgb}{1,0.43,0.7} +\definecolor{HotPink2}{rgb}{0.93,0.41,0.65} +\definecolor{HotPink3}{rgb}{0.8,0.38,0.56} +\definecolor{HotPink4}{rgb}{0.54,0.23,0.38} +\definecolor{IndianRed}{rgb}{0.8,0.36,0.36} +\definecolor{IndianRed1}{rgb}{1,0.41,0.41} +\definecolor{IndianRed2}{rgb}{0.93,0.39,0.39} +\definecolor{IndianRed3}{rgb}{0.8,0.33,0.33} +\definecolor{IndianRed4}{rgb}{0.54,0.23,0.23} +\definecolor{LightPink}{rgb}{1,0.71,0.75} +\definecolor{LightPink1}{rgb}{1,0.68,0.72} +\definecolor{LightPink2}{rgb}{0.93,0.63,0.68} +\definecolor{LightPink3}{rgb}{0.8,0.55,0.58} +\definecolor{LightPink4}{rgb}{0.54,0.37,0.39} +\definecolor{MediumVioletRed}{rgb}{0.78,0.08,0.52} +\definecolor{MistyRose}{rgb}{1,0.89,0.88} +\definecolor{MistyRose1}{rgb}{1,0.89,0.88} +\definecolor{MistyRose2}{rgb}{0.93,0.83,0.82} +\definecolor{MistyRose3}{rgb}{0.8,0.71,0.71} +\definecolor{MistyRose4}{rgb}{0.54,0.49,0.48} +\definecolor{OrangeRed}{rgb}{1,0.27,0} +\definecolor{OrangeRed1}{rgb}{1,0.27,0} +\definecolor{OrangeRed2}{rgb}{0.93,0.25,0} +\definecolor{OrangeRed3}{rgb}{0.8,0.21,0} +\definecolor{OrangeRed4}{rgb}{0.54,0.14,0} +\definecolor{PaleVioletRed}{rgb}{0.86,0.44,0.57} +\definecolor{PaleVioletRed1}{rgb}{1,0.51,0.67} +\definecolor{PaleVioletRed2}{rgb}{0.93,0.47,0.62} +\definecolor{PaleVioletRed3}{rgb}{0.8,0.41,0.54} +\definecolor{PaleVioletRed4}{rgb}{0.54,0.28,0.36} +\definecolor{VioletRed}{rgb}{0.81,0.13,0.56} +\definecolor{VioletRed1}{rgb}{1,0.24,0.59} +\definecolor{VioletRed2}{rgb}{0.93,0.23,0.55} +\definecolor{VioletRed3}{rgb}{0.8,0.2,0.47} +\definecolor{VioletRed4}{rgb}{0.54,0.13,0.32} +\definecolor{firebrick}{rgb}{0.7,0.13,0.13} +\definecolor{firebrick1}{rgb}{1,0.19,0.19} +\definecolor{firebrick2}{rgb}{0.93,0.17,0.17} +\definecolor{firebrick3}{rgb}{0.8,0.15,0.15} +\definecolor{firebrick4}{rgb}{0.54,0.1,0.1} +\definecolor{pink}{rgb}{1,0.75,0.79} +\definecolor{pink1}{rgb}{1,0.71,0.77} +\definecolor{pink2}{rgb}{0.93,0.66,0.72} +\definecolor{pink3}{rgb}{0.8,0.57,0.62} +\definecolor{pink4}{rgb}{0.54,0.39,0.42} +\definecolor{red}{rgb}{1,0,0} +\definecolor{red1}{rgb}{1,0,0} +\definecolor{red2}{rgb}{0.93,0,0} +\definecolor{red3}{rgb}{0.8,0,0} +\definecolor{red4}{rgb}{0.54,0,0} +\definecolor{tomato}{rgb}{1,0.39,0.28} +\definecolor{tomato1}{rgb}{1,0.39,0.28} +\definecolor{tomato2}{rgb}{0.93,0.36,0.26} +\definecolor{tomato3}{rgb}{0.8,0.31,0.22} +\definecolor{tomato4}{rgb}{0.54,0.21,0.15} +\definecolor{DarkOrchid}{rgb}{0.6,0.2,0.8} +\definecolor{DarkOrchid1}{rgb}{0.75,0.24,1} +\definecolor{DarkOrchid2}{rgb}{0.7,0.23,0.93} +\definecolor{DarkOrchid3}{rgb}{0.6,0.2,0.8} +\definecolor{DarkOrchid4}{rgb}{0.41,0.13,0.54} +\definecolor{DarkViolet}{rgb}{0.58,0,0.82} +\definecolor{LavenderBlush}{rgb}{1,0.94,0.96} +\definecolor{LavenderBlush1}{rgb}{1,0.94,0.96} +\definecolor{LavenderBlush2}{rgb}{0.93,0.88,0.89} +\definecolor{LavenderBlush3}{rgb}{0.8,0.75,0.77} +\definecolor{LavenderBlush4}{rgb}{0.54,0.51,0.52} +\definecolor{MediumOrchid}{rgb}{0.73,0.33,0.82} +\definecolor{MediumOrchid1}{rgb}{0.88,0.4,1} +\definecolor{MediumOrchid2}{rgb}{0.82,0.37,0.93} +\definecolor{MediumOrchid3}{rgb}{0.7,0.32,0.8} +\definecolor{MediumOrchid4}{rgb}{0.48,0.21,0.54} +\definecolor{MediumPurple}{rgb}{0.57,0.44,0.86} +\definecolor{MediumPurple1}{rgb}{0.67,0.51,1} +\definecolor{MediumPurple2}{rgb}{0.62,0.47,0.93} +\definecolor{MediumPurple3}{rgb}{0.54,0.41,0.8} +\definecolor{MediumPurple4}{rgb}{0.36,0.28,0.54} +\definecolor{lavender}{rgb}{0.9,0.9,0.98} +\definecolor{magenta}{rgb}{1,0,1} +\definecolor{magenta1}{rgb}{1,0,1} +\definecolor{magenta2}{rgb}{0.93,0,0.93} +\definecolor{magenta3}{rgb}{0.8,0,0.8} +\definecolor{magenta4}{rgb}{0.54,0,0.54} +\definecolor{maroon}{rgb}{0.69,0.19,0.38} +\definecolor{maroon1}{rgb}{1,0.2,0.7} +\definecolor{maroon2}{rgb}{0.93,0.19,0.65} +\definecolor{maroon3}{rgb}{0.8,0.16,0.56} +\definecolor{maroon4}{rgb}{0.54,0.11,0.38} +\definecolor{orchid}{rgb}{0.85,0.44,0.84} +\definecolor{orchid1}{rgb}{1,0.51,0.98} +\definecolor{orchid2}{rgb}{0.93,0.48,0.91} +\definecolor{orchid3}{rgb}{0.8,0.41,0.79} +\definecolor{orchid4}{rgb}{0.54,0.28,0.54} +\definecolor{plum}{rgb}{0.86,0.63,0.86} +\definecolor{plum1}{rgb}{1,0.73,1} +\definecolor{plum2}{rgb}{0.93,0.68,0.93} +\definecolor{plum3}{rgb}{0.8,0.59,0.8} +\definecolor{plum4}{rgb}{0.54,0.4,0.54} +\definecolor{purple}{rgb}{0.63,0.13,0.94} +\definecolor{purple1}{rgb}{0.61,0.19,1} +\definecolor{purple2}{rgb}{0.57,0.17,0.93} +\definecolor{purple3}{rgb}{0.49,0.15,0.8} +\definecolor{purple4}{rgb}{0.33,0.1,0.54} +\definecolor{thistle}{rgb}{0.84,0.75,0.84} +\definecolor{thistle1}{rgb}{1,0.88,1} +\definecolor{thistle2}{rgb}{0.93,0.82,0.93} +\definecolor{thistle3}{rgb}{0.8,0.71,0.8} +\definecolor{thistle4}{rgb}{0.54,0.48,0.54} +\definecolor{violet}{rgb}{0.93,0.51,0.93} +\definecolor{AntiqueWhite}{rgb}{0.98,0.92,0.84} +\definecolor{AntiqueWhite1}{rgb}{1,0.93,0.86} +\definecolor{AntiqueWhite2}{rgb}{0.93,0.87,0.8} +\definecolor{AntiqueWhite3}{rgb}{0.8,0.75,0.69} +\definecolor{AntiqueWhite4}{rgb}{0.54,0.51,0.47} +\definecolor{FloralWhite}{rgb}{1,0.98,0.94} +\definecolor{GhostWhite}{rgb}{0.97,0.97,1} +\definecolor{NavajoWhite}{rgb}{1,0.87,0.68} +\definecolor{NavajoWhite1}{rgb}{1,0.87,0.68} +\definecolor{NavajoWhite2}{rgb}{0.93,0.81,0.63} +\definecolor{NavajoWhite3}{rgb}{0.8,0.7,0.54} +\definecolor{NavajoWhite4}{rgb}{0.54,0.47,0.37} +\definecolor{OldLace}{rgb}{0.99,0.96,0.9} +\definecolor{WhiteSmoke}{rgb}{0.96,0.96,0.96} +\definecolor{gainsboro}{rgb}{0.86,0.86,0.86} +\definecolor{ivory}{rgb}{1,1,0.94} +\definecolor{ivory1}{rgb}{1,1,0.94} +\definecolor{ivory2}{rgb}{0.93,0.93,0.88} +\definecolor{ivory3}{rgb}{0.8,0.8,0.75} +\definecolor{ivory4}{rgb}{0.54,0.54,0.51} +\definecolor{linen}{rgb}{0.98,0.94,0.9} +\definecolor{seashell}{rgb}{1,0.96,0.93} +\definecolor{seashell1}{rgb}{1,0.96,0.93} +\definecolor{seashell2}{rgb}{0.93,0.89,0.87} +\definecolor{seashell3}{rgb}{0.8,0.77,0.75} +\definecolor{seashell4}{rgb}{0.54,0.52,0.51} +\definecolor{snow}{rgb}{1,0.98,0.98} +\definecolor{snow1}{rgb}{1,0.98,0.98} +\definecolor{snow2}{rgb}{0.93,0.91,0.91} +\definecolor{snow3}{rgb}{0.8,0.79,0.79} +\definecolor{snow4}{rgb}{0.54,0.54,0.54} +\definecolor{wheat}{rgb}{0.96,0.87,0.7} +\definecolor{wheat1}{rgb}{1,0.9,0.73} +\definecolor{wheat2}{rgb}{0.93,0.84,0.68} +\definecolor{wheat3}{rgb}{0.8,0.73,0.59} +\definecolor{wheat4}{rgb}{0.54,0.49,0.4} +\definecolor{white}{rgb}{1,1,1} +\definecolor{BlanchedAlmond}{rgb}{1,0.92,0.8} +\definecolor{DarkGoldenrod}{rgb}{0.72,0.52,0.04} +\definecolor{DarkGoldenrod1}{rgb}{1,0.72,0.06} +\definecolor{DarkGoldenrod2}{rgb}{0.93,0.68,0.05} +\definecolor{DarkGoldenrod3}{rgb}{0.8,0.58,0.05} +\definecolor{DarkGoldenrod4}{rgb}{0.54,0.39,0.03} +\definecolor{LemonChiffon}{rgb}{1,0.98,0.8} +\definecolor{LemonChiffon1}{rgb}{1,0.98,0.8} +\definecolor{LemonChiffon2}{rgb}{0.93,0.91,0.75} +\definecolor{LemonChiffon3}{rgb}{0.8,0.79,0.64} +\definecolor{LemonChiffon4}{rgb}{0.54,0.54,0.44} +\definecolor{LightGoldenrod}{rgb}{0.93,0.86,0.51} +\definecolor{LightGoldenrod1}{rgb}{1,0.92,0.54} +\definecolor{LightGoldenrod2}{rgb}{0.93,0.86,0.51} +\definecolor{LightGoldenrod3}{rgb}{0.8,0.74,0.44} +\definecolor{LightGoldenrod4}{rgb}{0.54,0.5,0.3} +\definecolor{LightGoldenrodYellow}{rgb}{0.98,0.98,0.82} +\definecolor{LightYellow}{rgb}{1,1,0.88} +\definecolor{LightYellow1}{rgb}{1,1,0.88} +\definecolor{LightYellow2}{rgb}{0.93,0.93,0.82} +\definecolor{LightYellow3}{rgb}{0.8,0.8,0.7} +\definecolor{LightYellow4}{rgb}{0.54,0.54,0.48} +\definecolor{PaleGoldenrod}{rgb}{0.93,0.91,0.66} +\definecolor{PapayaWhip}{rgb}{1,0.93,0.83} +\definecolor{cornsilk}{rgb}{1,0.97,0.86} +\definecolor{cornsilk1}{rgb}{1,0.97,0.86} +\definecolor{cornsilk2}{rgb}{0.93,0.91,0.8} +\definecolor{cornsilk3}{rgb}{0.8,0.78,0.69} +\definecolor{cornsilk4}{rgb}{0.54,0.53,0.47} +\definecolor{gold}{rgb}{1,0.84,0} +\definecolor{gold1}{rgb}{1,0.84,0} +\definecolor{gold2}{rgb}{0.93,0.79,0} +\definecolor{gold3}{rgb}{0.8,0.68,0} +\definecolor{gold4}{rgb}{0.54,0.46,0} +\definecolor{goldenrod}{rgb}{0.85,0.64,0.13} +\definecolor{goldenrod1}{rgb}{1,0.75,0.14} +\definecolor{goldenrod2}{rgb}{0.93,0.7,0.13} +\definecolor{goldenrod3}{rgb}{0.8,0.61,0.11} +\definecolor{goldenrod4}{rgb}{0.54,0.41,0.08} +\definecolor{moccasin}{rgb}{1,0.89,0.71} +\definecolor{yellow}{rgb}{1,1,0} +\definecolor{yellow1}{rgb}{1,1,0} +\definecolor{yellow2}{rgb}{0.93,0.93,0} +\definecolor{yellow3}{rgb}{0.8,0.8,0} +\definecolor{yellow4}{rgb}{0.54,0.54,0} + +\endinput +%% +%% End of file `BeamerColor.sty'. diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b140d5c --- /dev/null +++ b/Makefile @@ -0,0 +1,4 @@ +#!/usr/bin/make -f + +all: + latexmk -file-line-error -pdflatex="lualatex -shell-escape %O %S" -pdf diff --git a/chapters/template.tex b/chapters/template.tex new file mode 100644 index 0000000..063ed19 --- /dev/null +++ b/chapters/template.tex @@ -0,0 +1,9 @@ +\section{} +\subsection*{Dummy} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "../vortrag" +%%% TeX-engine: luatex +%%% TeX-PDF-mode: t +%%% End: diff --git a/images/42.pdf b/images/42.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a17e3263b8c925bef8a23ef542c81e959bc4e7c3 GIT binary patch literal 52126 zcmdqIW0Yjuwk@2t?TmC*+O9M!QEA(@ZD(brZQHghZQHi}s`lRJ+;iKzuf6Zj`}55f z5i91H9(|17SBtiSOjcNwmXVGHhOFVd@)d>|zyPq(H;3Wj0nkesS(`YT0$6^V0D4(H z6QjQd%j(%1Svvw4|1~GQw2`5io}i5@K;yTG0l>)2LdVScyRZP*+2}YJeivqd)?Y(~ zY^)uBk97e2aogWM60^5)vi*GYziR&zc7I%_ z;H2;Pmp?>p?5+OlDfs{C=>HGT`TIP7ZRCFfUytE0kc9*Q40Ifv3{0G?0D1$x|Em1$ zv%jJL{rT_EWL9JV>&6n(WKrObrF)OQwHary%$Sq51K7Pe{TMlcXma0lkEu%G}2Wy)_# z;=6x{10ESs=6{ER@lRI%cPym!94!8F{qGzSu(UPR`>P@b_>&?3nK6HeE>4-MyK7J(d+X{W$=GoOrFR(#BesHKpU@{aeyrmOD z$DCwC{}e(ZYIT=gBJu@-8$P#{og`Mr{)w<_Yn*0m%vnb1O4E{uPcx3B z`O|iIcmDjF*Ey`FdAO!~m>vHE*8dWu-(1DW!1^yb|7(YT1Nj#^|3>jYnD;-af{m5s zH(C5c75`NJ4Qrc``zpJ>mRiLMEbvi=pT}0{I??g)|J1~ z;xBCfj+nm*^=~QpgW%uVp{n3$WD8(nV)^R;YX7aKXl7|AC4zY7xw3lq~n!SY`c@<%HEn_B)3-M^yuPwM`Yz5kHrZz=uV zB5VT#_#a^TS0ep^<=^7X_@5;CFVFl@-v9IM!ygIyyC>ssp=JM@KmRr`0a)0X8UI$V zzb(uFRuDt*su5rRr^^?n;wz;9<2m0im3~&?uqpZH;vG3=hCVf$=rh(>vzI%J;B^1)L9j zyOd?XU|^gqRJgZ3gOMp&{3hrY0FWD>_Gk_esm&j(p=r$@_bN^HprOrbAVB3n7{=Oc z2-?QhK-A34i$0wG>2AOn695G;7{;G@Np%ec38$OVAEy}n6*;9MLSkZ{d>9x61O&b% zi#|j^cG(dP1)#n+n@}I>>weAvvDdEU8{qzr)bq3QaiBzJ?H|f?K&TE5+0T4ZlEQ{}=nbzC`;YW{j({AEUPdK|wsq+sYCkD(F~I_T{0AyB{EU4f9`#>z-W#2O z+&G@zY}$ev0-pKyfE?Jx$l)O^DA={4!}EW z{}|Gm?k9lKMPaUShIp4u8iO1A1Pu@O=Ks>ThJAV9b9*)9kKM>A&mX(PKnvNE;+e6$0y^^7Q*9q`;`GfKLx z3&GUnTn$!jZwn%oo*~_il>B)TlMn#9)d%v#Eyh3T69wWMHVwS@!Vb1|bZ`Rs#N7z> z$>XgI6jug$M7Y|ONaNcjbbjzwb>DSvaBy(;)+F>9JHAQ!VPU2B-lPhcLNyJ(La_%= zwDW$tujKh^mvX6u5Lv49j6e?2YzX91k6tqF|taizK z;fox60|LxaQAd3#9I%2t296do&yxx7u!!e7mxWPgbpkBIlVX@k%eA%>h}Td{WmbcQ zSRPCGmfoM>t*qDmPzPlNb8m9T=Dn)+oUv|Gg@UOZMnvQx!vwD38kdHH1Bx1r=Km&g z@0>@Z;#ubx-*939%n9mjT!l$hILdh-s`VgI*2}9BhGm$s6xkld@J00W42Xkfo zmhK#kD-MuHMeY;bglw1oWt4@*BFpm1DKG_rLVBC&!G=hEExShX)w$?thRSy}HBD^Wqs-{K-Oq}p&$ zmFg+2^O{o4_$;lDzBN*sgs@z>&zP0l2$y2PTQ z>#39l1f!d`fm6ieTN?3Wo_A}PP?3Prb6Tmoc}Mg|0~{z}crlPi3RF;|=kC^8YI!|_ z&__jwi$Npp1p@x8`pX^b6xs@ZcuV~@-N8Tspc1zr7Tgk#vtyCPxl8rQR+P%J&8#=! zlPS$$)P0k}!rWo$?5liMl`C=huO8p(oiyV!-+%|bs_dWLM#hUMGPgHUEvB92IdI6& zrrkNUq&L?|4PJ-Q=B#DoT0;*(HRTJDN~ICNZez2|?Ht4y#4%U89f%_e!^UXskg{yKSoj$TyC+Hs z1n8LL%h`0cNFjtNLuNVRxPA6g(T$9&+A<6*C3z@Srn_}Bn(f@t5wc1&PYCSZR}kJopEx5QkZ=d3*=FR zyS2rY*`b!|RMLd>4j-+|#DDBro0k(g3~a?dxd{qjK{VWqNMY|O8d+ba8kS2$k6WHX z0DCyrXwuJH(97a%S zzJlx0OeN(QT17LbaC#EA%@i__Z9q>fQFMEJ{dD5OvFgbnl|$H~@_I&@r@xV12Mf#< ztD$JXIqut;0!pL7u$XRME|G+c|91f5hb!diHA6$O+$8Oo=5V(-c4FX-5}oZvw_^nN zW4wkT&Ixz}F;q2mRuU}>e5jA*a6;zn^>6jcu))K(k&d@P{xW#D{m%6wVc`wevl(D% zAXAxq)*5eJwk%&8@6@IlH2I5aLIj7tvDj^=92@JfBSE&hhcaG^6v5z=m$GwZ)Mwz) z;+G=T81xK_#`$&P@9oCsf;HS-7|?lKHZE|zmtDHP@eqhcn`Kh#L1-hqo@K`3rk3B;!rU^x0#mL_HmZ7hG(*{(I(Oj}p*H-lTJ_L9Ks6=Xibr=_8d z%R`S5FVUzHmN<=MsF=plW+6M4?1^4xo6k2EClz$STfdIUjBUp>+Z63Gyy7lnaPOZy zBOqLo9E|B=X@v02hZaz}Nh%*moIP7_4BtGX#QApynzC@1_ z6ytEfD%1s(l)_Dmc|zeM20WabkQutqs<77~5;s!py*-Gjzm9D>KgahPKdb9pQvRCI z)jr8i*Xo6e0No;RS(<$mdsHC7%rQSj_kDX(zIQ@gL^AveNj}hlce7Gx_0;{(iD6+bAW6&a|oQ!K?v}^l&xwg&QZ2 zAfrTA@w2vAq=aY>^F$XUT~I~Ot#x?n-U>`c>FHjTHW3BjWZBm|v&M z_TxYpdKSf6NsPS(Q6lUq3cZG-2qRU5>-wBPJ&4<93OnguYJ-c}0i%YCg!0*}qQrbL zfm~F&*pQ+LPxP_wM*46OMSUs5B)lOpiQR1aocu>l6EhJg+Px3{CBP!a^@4L?EDHb= z3&H$DpnkYjSNKr*Q9H5#9QWO?>xYu4=E*&m@s8!^@7rZdmKuieE##-m5EQrDy-e!t z@E(3-x;Ll^lYu^;5h!12-Gs!#uQ1LjU+0U>&FnXq?CDy$5RBmmmg1yN<(oa7u-a&+@e87pI zD1SLrhwep=iQyPf$EbnW<9Xxg6u5suGd(f>aoC1|11{zQMKbeoFW1T*RsiOj^uz+< zcQCc*7%Ic^frpp`wsWSJ;kj8`J;1OjY2L$1K!Pv?aN+H5f?n9`>ciLYget)=`lIL(LCKZH~_lE_W_!PR3Ks>4qBK#e?gUnN+?iX{IHnn9N+lP zc~>dofZE9!#OTPylJqMsNfeM_h{xTm*T8i$5q%GjIrulkDlZa zi4rk6O+uzARHhT2*=??0x!X}%(AbplUHU*bomqPOLrB5CHal929y&;p>!;>ay7k7j zKD}5>L|=FZX#bTh8Nn27Jr1%-ObKEyPWo3CzE@zf2^i7Q3pm*mhd`l>ijNxulaG$; zTbWH2KcD#W?-0N5WY~E`VFuHVR3KaI-}q0WKuF18u}4L5y+ggEun0UI*#;IdFEhS4 zEpBe>K!B`=KQUG(C+ikcAcwaB{oReSb59I{76!*C;2*zf{pV2QMG`etetZ|=7Q4p zL+~WGL_F`|Q=*qDkSg^;oK&it^_}%*RIEZ~C<~T8uJgM`B^Tgh!A~mnIc#1wyU@C%gp=ldHs z^74ecC8^x7*Tj5IiSLbP#HJ0M1dg9MJD${%*4-Q9qv5rOzg*ZUWD{}4S36wKa>G*n zy|&jMEu61MZ!;?1SF(w2WE4&Hz07aaQam*1bo)~kmUR9mRMCCk(HAoLdOTvZ6%eCS z=_AI@%*z}=?$WP_1TI>n@dZdK3MsfLC)Pa=m8MNB2hgb-Kz$-#UgZ%aVm z(egOj!u z)ZnwcZL{fEGgCKe8lvCGRTQe2YFxn|{ya}rCZ&UkRT9Cmi}c0$K43sXxMI%)+k6W- z`}RJ*#B4!u!}6IO+MuEX9>8(P5|Z3jNMU)$@PhbE`NDQ&tU`PwLnF%;UcI)OY9UBr ze1E1S_kz7@(&q%oiXVBW=H?AUam$RCD=H0lgyO4=6UOcFa_da3vnrvo=IZp=jRsbz zpAj|maF`2bx&x4dsdi^*{Q_IDD=+fXIkv_k^%?!y=kk0lv5+ZXe+kvmp zjP9*)!llb+>sEt`sO}o>G+4ISOpcl7xRzxoQ2^oKoR%y9V`Dk%z!(Kj5Vgg5^j;Nx zT%JS#0xAMxQ^qd&N$2U#lKBXwvR!-l>^Q`vZuBrWtFO_R0OI=u!XximnjFyj>(A*z zM}bz%#a`0g{MeSa4Y6j>JWv)qDhDYmWS-g57~68rV3EOjpG^WkXE)z3Hhz&%5~?I_ z5>!PTX*1O=&7!;S>v6+P^A#M%RNwN=4=D(;#u?eX+W95t2oL$t$mqWpQDj6wK#SpsY8vP1o z13Zw-Xj9W;qfg{;bvaGrBWivGLVDnqY{T;{nS550I%W}S5;1;<95@I|1*com3>cIu zw5G<{Q>DJBV2HvV`r^r8=-FeQb}vMC9&sOXK&JvwWpm;$s9zbupFlFf(pICc$Y!@W zvx{ptp9s(6#sw?gig6T`XZyS(Jkord+MR!$F%JGUqD^ws59Gq}3+ToxIaJtzMI%=h z#~(hjo8z7jf9fr#K#YUl0vfhWQ2(48EBXjyhnYtQ6)|MW8%G-OO_1wnthj>I`!}wt z*os?h;5{6IGS)le3uoe2>O<2ThPWRRqP-=(ARRi;mS5hfmZ{Vmynm$nQEO5U1)0u0 zPYxsO^+Bd%Tp$kmGr`nC-Gb+_%{@H^bfSIlc4>(o5Is_h5H6~p9TrU^MW9>1IlHMp ztB2?Fa@38W!h9lB$`SL{kzB<;TCsP46~Ks5sIwk+c_ zchuIvfxg>2~iS2Y+ zsG9o~d0TGE2jz03la)nct0#-q;elWPK6fMPcbaE=!8w_L#o2g%(%1%?J$`W+2ToCT z#SLA5&Hib{nQo28fjg_R3;jO7Azpo_^qkI@%Ww(KO{+Kv4~qCUXimpYqd|8}2p-+9 zZeYi0NEt*^iE~=*6*8hirblp>)tvFK0uQ^pEjpcRmp{6F43@$#@8G{A)@f|b^$m%u z8(;dm2oR>OE+iizyDC1ah*ajxpcSWAxvR|f(c%6SZWTIW4uMNI6)umjR0VC$iVItb zCR16Cp@x6zQwm6k@X(3!^tGK?TWbeJ?hL=IIP?h1Ha$imCK^r8szC&(=8mbAB@WIP zjAcU|({GfbqkSNpIfbu1Ck9^*#^cAxOXu9SM1vd~0xY0Dh6bfD%;*>M)Aa5J9J*u@ zZL^zC=D$*Eo(L&rt>RE)f;(IhZ=IXi8#V1aFSNkQn%kT;9EnsSmyD@GON z$kxi)!Foaqu5Yi+L&)<24=YkPIn$98PZt)D_LN%6YNyvePGhrEO*Av&M`2~122RT` zNBU%`oY*xq8uxTH<51?V+S`A#($SZ(d+_To^$p!hPGl8s4$kLRV0N$PY9VDasaib3 zDOdCd73L|o-?(Q%f3~bFHY`=}bAowjknbklVWPnlsD>d{YcW3-_;i`&Qky9+BJ*_a zq)OWp@gSoxyCcF!aT+djER@elfP@8BkntSzub|TTc*NmO+gufBC@bCvfhOYH8U5_n zUNVEG9*_J%*#}2}doGckz2ar6$A8N^dG>QqmCthmGCG_`mu$a7OV{|YOIh;`M0J;+ z+P<7|po&4bV!K~^4E#lF1S!ALL5Ez5$zuLyucDP!Wuj%-J8o10=6G0giJ^mpf88Ea z*vF=0$x;CxS;U@bGI7gLjJKR1YmSdl=l+^JSqy<&#hgN`D*)+mh&Ba6Luewlhq=qB zty0DUcD?D*0`0D(!*)vhEPy%%_Cct-E@kk z3Is&X0typqBFJ^Vx;;X~DEaVdq7Q_H_3M|Xr9QRmV#x7^CC4k9E99Jk)eW*76RDG& z^|oA5eK-qC+YE6y)w8XQ2KMI*d0=NAu9iruFEYS+tb`hzijAb&cy13Plc6lKmTG1U zt~?C;xv8itQJgrg$cny=zmsjy5q>>9!k}+Id$Y7l98VH0OVDuQ80U$^>-u&)E!;}X z|KyTRa~iHJ_E+6|x%#`rm37z= z&BMo~JTSRRmGd#jCCotHNkYE3# z-mYy?z@`Zq(cA=3T-2U;4KHnDnR1`MNFnsUYda|1i>kc6n;D#qN==iVA~Wxp2&$Y9EW&7$Uk>76^Jez@H>$EGHC1$QZ#+lhq5VE&1MQ z(BBw0H;0~;w{^C)&-K`=v75c2@6k@x6RgYo5dpXBLWXT|j?&p11yluesbNDUGn=+-eb*FAjWZKr*H2X4emb$BV=^Dy6T!=2`57pAv%YEqt>g*jfCR#ysKV+^YtC`@Qpgj&pJEf_G(ArS z+dtjFeE-X(^XhXz)gF-jCX-1%#>X(k$6%)lDz&CxhFT7%H-|N`_MShQA1Xw1$){{5 zvIb{~e~MY&PJ-p}UBy;*u~top&s=a4fAzNHrknpo4#`C9l)~R$t=t*CAD`Mcz zoX=g`xupEPhJ&WKKoRpW)I>e?fKu3l2l%i}!YlBjH>y?6O+5C4uw3}0!@d;_{UXqxw{ea)1fdN9??HD=7O3NV% zmNLT^S>5`!2uA)A39|%&jyK|PgAmYbR6b!~hUd(K6pU{4g{Jz`vGkRucF+Uy`)O7P zZ0EW+nl@hsLHBCv_m#zMkhF90#^}zl=Fh}-2voS&)G_sVhXDC;X;buH&;4dQ@fxRn zfX?jgGXWI=VjR+6lMS4QEEo&Hb!p0jai(pK4;bdN$GdcTlna71{h&tfU49R)nP#wN zs|6-#eRK2{TYP;JYEc)_bllGangViNVj|DjMN9^774MOqY3*G~_oVjZ{eb6_g8&Llo|cg(fErdvZh+KWx(I#8_~StIcY!XB768n8B5 z>vE8xA?}v2%MH$4uhK!hdSAlzG9eGLp`bb3RKF2f2V`cor>qGM-xr0k7I=j8WAFV) zW_YVNl4-mUwFvGfzzsrGJn69DuAAl-+eYbK6HYrq;A2GS7=JzTDa=;(_bLe<()BSP zwyjWZoz0MRL;87k_vFSFl4P2Obv2k>mV$I1iBD*MMri)P2}PNy4F#O(z2=Jws_g28 zVkcZL*auQqcnwTY!ztq3Q?@?-ki?;#(Zdlk-niA)yq5Ps@Wq z?*5t4?8hEb2WYS}F=ds+VJ=P*UF!-QH)X;KrKxxNPcJF|xqy8Fxhi8pEn?7iX^dYL zlXFB{(-N$pyxd-PQgxZxQHZM zOSiZAbt!uAcpB-BCbG;Qf6@;z4&kl|>8*E*^>}T}_MXo&WyDr0WO?daUM#!@cdI5v z9)3S{V)0L;7S}^S8vas>Dv3$AeXkgok3t#VhZ!Z)2uG)VsFO8D5ze9_#>`&Gg#wtI zU85*mL971wrQ+S4NgdW_rsNfF{wD#wGjB}M&-$o0hmnA>L5 zWAW_Zt4TnOA0aicj5q)hB~CGwD&JtufCKG2h?J#dVM%M+gv5!KuHro?^B20p=WlXZ zK9r@g;K)aBO0e_Og{aFdDoh>UkXW^uRu|@#u~G_|5;RZiIgTwRL(+)XxCLgaacw4n z#DTcBhR*BuFHE)}@^$HOD7E&VBw&l{+67t@B^sz{>0db-#qKYn!MJhV1u7SX6Q3D<rTOoXebvuTe58Y=jhQGt zdd&lr4`%Mq=xTU|Ue5TMb6`5bHrK#;G|5zxZ$EXetm-Ui~@kTiM$9|7Z&BRYsk7HiQFn=oJwFH`l%TY)Eu z3KiLPJ7;URJEt_i|AK-lui19%BF807@&Xpc8AdE^i<6Q@;R3E*G|6?}RkIprL4U#E z!#Y8;FxE^AvglMN&UMA7TOtwY9mJyeYVG)NDvIA{+N{J^DpadWe@aTO?zVF+P{&D* zJ@}wv_d2x|XrFg~s@;5>CeySu69{s-Otbd@q7A$mrR}4E6en1y;~nEp1Lv1dA_w(! z)_X=qU{+>tw#`GvxM2TI7KP6k_i8x7(KAJE6Hldi_l=gER9bmr3VimlF#vBDESu@&IVo~cWz z8oAKk*rAwLT^B%SOjb)-K<3pbCmHti6wnz|#como?orn$xvi8ccTtx3B?hKR$NbHx zE#d3Zw8fB!Oe1Qt$KFWS$kL7Lb&v@dHDgRZ+NdE|$?UB|EB)K1KKRTiUi>}5xL zFvxUntEG$J;=87(gl9O0Q?wk)n-A6PC~&z6Rn2yk$7T9X+n7f}3!&SAwYXN;eys?TTLdMxhFhNF=LwHkT@Ub59Vpy>Hh&g+Cc z;d^)xSvbO2chKCz^of51N^$PjdyIuP85Ev!>(^HuHWxt)8&;L5UZ$yx3t?}f6<9l{ z3r1(;pB9^?o{v)*J%ywxM{VDbt&Hp-oxFG?>Zv=1fuRwy?997@a|Xt*0N&R%butuS z>cIk)L7A3vB;<17iD_kYGHnKavJP54mQ0|_^RUjP9=LuDkN%G-q1|*IG)`3^0qCp4ayrg^>DP=2Ffh)kY|a)cDlr@%P}~#hQhiy?S49M(p1_ z(%)L_xN))98_EQ{p?Prkz8;hb&Jog!m7R#wef7iv7a2-~Wmy%4c$2tKLACcsH#p?j z%(D<&Zq7|<&8ykJ4BtlagNPdsQaO#U7>xXpXB#djs$G@&NM!ia96#tFEy`2*c0(Cw zY{pN#?k&cD)+-=~O5Y~wv>(>O*o@vj$dqYEgjHC*5Aqam`}?M<&_KGKa4+lRWk~M| zuLREqVdj?;b1>_K#gd*>e8M`2wf1Jo4Exlop(WK*KuZUCKumWIbb=sk^ zyb><+>dj;TQEcJG7-8KD0d{e<=iFXglm9q z30!!CUei2hyB1Rl#QlyU!QCe(-Df>~+T`Q$r2!#=sx|(xANsS(QT| zzUL?}%uA*lZ)p933`v~$Deq~p)7D0BVa3W9PFe{}YEDKGCa;Yhl}tQR=m@0c2^e|) zW%|sYthVICxs+c%W2%59%z+B7!|#15F>UrD&^q%aNkXLFP+TATbW*pZeobs`N^nKCIN z!Db=NX}X9}42QVZMBfV9KN}d+X(yigCqDNoOsn1(EY1q3hG(Vl2AxET`)TbR#T9~| zv|sv+@1s~kjR-o9fcVCb6b;EFUW}Wwn0;uD)LNW4(BG$nGZZR5xqiqTL@#$!2$W1% z+{eH;$Bh+mWx;0mLI{zFee!;KDe|KB1>^)ouJiVV1ieEysuOm_RYG$abJNzXqtdn( zl?phYvRQz=3@<+d?@pt&W~#WEleR6(dOmQiQ$E8MBu0lMh$1O)#l7Ytq+W4xaGK@B z6DiTe(@31!ZtGL5BMU2RUoPw6(sH(g?3lt*t7D#Mk2S`-lo8;@?5uO+uIsg^#U+Yl zF>)tRSp_6sim9ls4_J*2fue9LKC|85`5z_Lnr}+ZR|33$^hA#atYUdPp#)XK@#9J! zY2Hri=qHD%b3?EC7jB^x-`BUycuH^)^TN|g3r*Hm0JHk)wW-htZ#=cec&xyMjfg1a zbM84lDI1RS45?_F8Dd$moa#ZeG@2%Ht3p3EHd{MdZ`Bjs&moXkKd=|&n@h;H)xq93Zeu@qs8gNafA@6 z&r9^cP+(sKzc(+&YG}h#eEDI~vP|IxiP6(g_l!p4BV~Lw5fmg#WLxHejZx4^F&u4f z3@v$E>*AIn910sO{D7zRle2y^mpqqF1A_2pvui~J<;FGeg@1Zm;!?(h^7QF3@C)*w zQYt7Ch1%5xD)bw*i>eZ}LNvN$PvUDqQi|*MZ|;lVq#^CD&0P}rfT`DqZa$1zZ`!mB zBwTpj?GmbU<<4-C6Z!PWi+13(=95{Dux-pUD>d}FS-aW3?Gz9VB1c4cL$(7{4z5d_ zrq~PtMlUGKBW2`8ey5VO+&=U|CCc{eh6+7tZQ&?5jve*gK6$p5{;`TTQ&v*8O_oGB zp!+tL5XotWmLVc9$1ND2V~;4{?&Cr8+IX6!YBY^sD|GjNDRSk;v4GdqRKT$5UA+0V zl2_LQe>)6LkL%+wmQezHr330YF8k$*I5R1^9sCQX{|dONx7E1bELqKPL0F1fpEhRm zTJ9|JKrKVe+>06Ss{pv+xkEhe4sB;aB38U&)Y*}kaT!|R8u1}IT)#zk|1TrybSRqa zq))(NrBDF-fk!d0pQ#|{^rQ{#owTz<6jYlTNZ1=~zv?ahT|uON71<4=E067uC%c?) zN4RDIQ>X-{u1r6HGbIC*zb98`z(^pXcia!wQSS#pZys?^NEWnIStwpdcTE=Mtm&@S zxDpww&r}?cL*t5QHc%`R9L;-*nMvDv(jeCzHXHT!T`sU*8|k|dpfl9B4{sb_@8a)HbFAFd#f2;$d2Ca9^0Et;h6w`jABON*Of6qI!Y<;H0^5^|6z;K8-dRK# ze~bjYl=C-T3*pe#HtM2Q7+qQ(#G|$x8RbpAB4}^Z3B;BQS&NNcHGF=%yJFh${!x)6 zh?7>D^R1Rd3!A+`w_!EkasF@=M(c|i1>p%{v4|5_$UrrMnz%<&*nTSI%ej|bW;`uv ztzVV51L<~1!i3yzMEnh$(jrn8*+fK(N$`t-eS<4(F-6@tXsO=G@omnnjq>xp<@g7v zR#J-Tm3D`@JI4G@vvU%s;Rm>C4@pR{*9onBRoBa~F};zvu?^>iskDtq{ZBDn(atV> z1^i1W!S(lToullj1G_slfzQZ34k20$hqRntx)U`R=L*5Q zW5YJ{FpaUzvWaW>4-;Uk3Ai# zrIAAhKcZu-3}k5!NSL>qZ8V2(;kk+}{Gjh}w-v1*n&9^L1qo{>CSsNJDR0d6kd-Yx zxaW0-h4W@R=_(?_8TMNWip*LSLg61FzfwPtrj0+hcuZ!Q*nB7@TbpM$olJSAb-X`} zP8ymUY$^^rglen!dt0-u;Hvcl!?8+3rw+-ZwG@xI<0KE=m5-dl;Q#(9xHi9@6SX3h zDc0G>eE)&aJVW7leG!x3!z!ja1vAWKLxf9oX|tQO1ayWGc_90zep6?w)@*Qc#zXvm z+pNAzfT5yc?$lv%qFJrff$~)4=@Bp60B%_f=r6H0A1|EEiH}6rl)3zu*oR(IQq}1x z+p7Lk0&R208+--3mt%?sE!)|{B(|}D5{t55R1cU0(~L=$HCs*8gA^JGV`+D0D_siO zYd2?z^Ksg-Qeej&;ss4=DpQ53d>)T}l}TUAN^=k2L_QTKZ~eKm)I(TpblAU*3|%Lk zA*^VPkEYa$p}`)c{g}Fl;|{Y{6Za$@+KA%1eBd0OJ)Y9E)lA+;U_`B!KJ`sKMa(oB z{OSN==-a}bHRT}mcH=vd8T!kFs+>WZq8bR#g%blEqL=!*)CwA<<`|;ohbgd!FaFaQ zammJ8!CCE^ywveA#ckrQhR`DfL~+KWmRpOQm08OBmoC>7&*@XyGF+NqC(j`mNR zT+880dHT6WAvnBYz#HyV-9PCibWd-(AK`3*3HJT2D-CcAb^&tt< zy%&Yc1*DpWWdK58nHVpj0+rJnDGa1iGrba$OldZ$&U)&@dkOc}eHY`HYxu>w5gr8& zo!!VKh|_mhWL^28=w)P%T)&1>ilX$&t?F~_)6L1vWLE^?MZeP}@)vpej|fsQc_zC` zu38UP_@OniASlVAR3-tN^VfTR+IYG#()95)gm|d?tPg6*AUwXy+an8i3LIE{q3xI& zS|qnTSq0&dwqGop=O|4fqTlp6G-?8Pk+d3S>)R8@;FT55sgIMw6%o66FZg8DoCkXc zoJy`qziQDerN5%O=}H%%7>tRmBS&nD%@01|lFvCQB}yKPkP4l}C=a?KZPo;dO#$`e zX-Tt7pvY?CVpGgtMZT2>NpX?LGFy`smOeyC_D+tKbUlYunct~)!Iooba|jQ{+2$Kc z&F-4JkB0%1a&c`gRVyWuS#}-v>*50lE_$Jq}otFum?E(C=tQC{7Eu_ zOB8*ih(&l^$2D=TzHPL>d&-&Do>G;G5m{ip{bU@{51=-c(gAK0aA3&`Xh*-{In>_ce017hW6dG zoRc{zj(K0}ZdOYwz7n2#)00;FUj0H5d_ZGWwC-u2NhXmmC3MF$m6MNGzQuk_zgOuz z8?=7419`J`B3k)p#cBy!=msNQ2K`7Xu6`nq2fEZ|7klCD*~EmUGs`S0U`aW>%}zu1 zu7LVkFDq4CjGSRn06xnrtkTne(Zb|8?^V-tG~E#wo1>XoPP%d>>ywNVfzSji`<_IG zzG(1SN&GcY1^Es5TWIt*ZCQ!dZ8i>Ud(P-6ei*Om#5`>xBC9zn?xZtJ!@N@Pjtnm= zd4Q^6Jc#TseEn>-bns-KRM<0|*LCMr_g7FeQ_#YTFNFblnfbm>h7pUV60qyc8Vyzk znFOzUVKLx`Ca-pp@s@AVd1zoE<)N0~W_QVS3DF%4YuPksbUMvF_mRt~B0^|Sgkz)YWD z)d$o`8^@`19jH2rP($T#p7L&b)MZY)1LljFk!6yC*~%eKqv5-@ohM!cWw)mD6t`*9l65c!oADv|TmSYeYY|!ITKQvQ(#c0uqTy5#AsgFvIF(eoMw@iI9V&+d{C<7OcP^d`;iV7fZ~ ziQ>x6{pPLsjMww6cAj%OWOpK(G45B}N=1;2kH$50|JS?LbiGCRd{q7pixh=vAN;=PUNu|4}U+rpp=SOEgQ*e z=tnnIntD^j-3t@n)YN+F0)s?%sw3QK?>l|ss@1cIbvs}(m>wCv3QI*l*fT}b?3`9QwQ64g3Jq+)3KW4XEMXwN3iTceH~iEs$Cb}! zG?ui4CVfK5t+FPbePxD9jKn(c?FMG6M)$E@6dIU(uA^%O8J-XzUaBJjm8h?f1{1%9 zTSD7B2nLa^+Mnn8;5dVkF_H1L(<@5MJla}FYTj?{Mh&?e^UVxf4vsvQUu(Gt(n_9Y zG!Xvl&2!Op+LFRmu?h)45Fd<^ufxiTbFyOPa3k#em8q3sQ^NHTo=)EbJz|MA`%h?0vnu6w9~+5r%+VzwcO-$$|YF{ zL1+({*}cMr>>+ShYib*dgbCe8GR>XJ80mPNI0mlCVwRsb23hbkr6iccederjmp|7x zB@8*xZ+^Y>cnbS^LIu7Ojwu|vP5XP(88=@9D|hbIYO+*M8s15F`0*w6A(VYN1+CDd zxAECB;R&%iN7`INZQ7~!^H3XayHB7RHopugQ0)eb&nFV(MJfjR>}siHtO5at_3V4e zU~r7?|NdjStt{x%(EAJ#)2Fc+{~Y9TXh7PugNqt_%Xx(s2SlKCDKbh-*DJJ^)YuJ}1zGwM2#>Kmr2nXj%9dnPTy;75nf7`Z-%Wb% zu~1MCY2T^$9*`>a(OiPWI8$&!x-MgsyIMER#Nwxd?f|N}=`0$4podfg{{XyBNvI zw(Fv;JqnjQLPewKacO5qhd#Vq%nEF0>k;-H#IG`?%FCB!sdLMSi=1;wpv%19 z(JXI_V;l@Kv*uL9jZO$8W=3mYv|@q1ewHM*YBp=k!aSVL$% zXJ@jceagPF0-`;Ftxq3`$6H)*C6E2X*O5B}qtAgZY9My9H!6u33QcFD9}BaAGRB3n zX_Pky^jXl8_b|7p5LtO`(=Ee*HdU@3cR4ejh>#ti0U^`s`LTycYegtKrxJ@BFfC^c z_7oMz)2BA^lHiIRx36iL&a>_ci|qH0w6}<6@kl18t89&*qcB;ngwZHxc-l9{kn&7C@uJx z%zGXvWH@Ai-H?j}o{FHMr6r~k<_P4CZ5&uS$fdfUakY3o38a~^8q&SN?v~m6{ltwN+eR=&qLwP3M6Z7#|?sWRUB>b|l<=jW{UV1QAFey5> zON%XMHXWaP6KF)zbt2RL<`>@wBeUr2sRvFZUG$_z*Fy_FA>px)hmo!=YO@?snR#;F z)JcP0ZYNS+5m>KGLHe+jn9F!(CH;CNdf2#C{@o z4{0;9AoJE})hcLZVK4%NEs2FmJ5RGGcL`sOH(C4EZFmVHJr%RGkXent&JXsBgFDZ&M%vn99r z36a>#sGR;#R`S>f>M&PnI?YaAc;8?*_xzTkbO~yH%^n2w$~)G^MWHw()7yDtszmrj z5nnNf3Zn-^ukO;PFTnwof;fx>7GXn}n)DkDYq-0K`RtuH2(T>RPP^}}JX6?UD`Sp) zofeC0!`9N6`?)Z<6_fNSvcp}AU`giZR8ZYPMAeMsfPfrgs)y%05>>&LgDU8RB z9k0M5(r>7eCoYxIzL>{-b~;@4;HoH=qY##9HYyeNJDxwj-V_~i7n%8EK<17TfL~Ln zAteS4M(T7+X{h7i#B#?#I>gp=n15N33aQ{ZtbduA91?yW^U(4pT8Q>;0S50ol=z?C+Tl% z307`eOv17gRh!bfX+zyF;e@!w5shF(4UJzkg`On`d>p%D2mi{%=RrCp2)SNWUYonS zY_M!+TKgsQGh@pwok5XWOX1SgOP+{jimPfENF<-x&IL+jfg-!+6_}UwDYXxIPjlp@o>zbmP$1Z zpX_w(-7_fnz}5lz8{-rJY_bDesqg=Y=7Z5O(h^d?UZ0)szCH3%4mggySo^4_>C9w2 zMiRR^(&Cs=u!LlFY?oDXIi}@%;Y9g2wHH>n+FXV~k3ac>rna z3lIz(!hz(gkjVQott4l4&qKbf*C~x_X<0ZT<9w6xXpqFWph5B1J~Oj2>*cgB!6|+U zPAsJMMTo^)va8_(!|VG@C5K0HM|&JGXglc7HyX!X({5$FR5{<0UDit>F?Xy-!7+(Ieb;`%QG)BWDVN%51uKn``K+=z^HZCIE zfEtUmi?(9irKOiRriSZFLRk`+SQ>P{U3My(NwH_m;L=kRo^7fcs*{EDJ`TYk$arYx zrdpop92h%z`_hQq@~y|$5O9wJ4yi7bu#wgUs$HZ%)^LD+q6OgD%#)~PY~gaHPy{CD z0CcWY%{r57&!smQHXc|8p8A4`qJsPKtmRcHO=PfLi{ON?Fb(Q`K+jXA&Cnd`tO-yeO5q2!=w6D{n>R+ zOzXxVe%rl6qPf&y)#57|nTbhlts6-mt4mldHYhAAraL2Mdi|OidVqIn55i~y=Xmol zMTp!V)1KUh2A;=#1HzD)1620i+BX?0EPX4{DNK9nN-*^Q0UAK%zhwWWn-s9NZsqcb z<#V)Lm7-iKY|q?U8+P{T;iocy&F75uTTR+dF0{i%fVC53qc%)t4$MabBA}p z?_DMqS8yGQ!u&flNfilO`^7-x<> z>e-)OY3)g`9)D%^R&mrvnYXaCl%orW*zSE&#OotVbyxO3Q0+(=#9=QCGn4L14l-g2 zKttKbUtL&CLbNpM>MKk~n=hwU=cX`h>xp+?nZBa%`bLDvwGV^|cfVqAVlM9B0$tCS zuBTxbw+njTOx~+#9|rZ*Zz>%&TH}qKn1ArjTHKunIIq+{@tIsR;mALU)!hO`$gXs< z>@{DyD(dMV@YH6g=73hOATac9*oDILK-0~SSt-6$&GCk&up-;NWUGX z{J0fjEPS_~M~MBbknMY{B*3k{TX}evyPiZgeGDi5@^(}|8m?{1+LuwvRGrn|kK*WX zYI1$>X^B9j5Xfqv%CjqmmF!2Hc+qxqJfT8(phS~l*D)hEzKn6>MQ2Yg`i4352qy;( zV1x@_$802wUc<~Rv(k8=hyGF->#X({&3d3>72IRs$jWGZd?TR4O>$-i?PN>Mxuk#L z%J#y>&w5EG+DluMu5hXbS5MgFOG}>nnz%cqu?c|_H!_Trdjj_@7#CcHYjsZ+j(s>- zI4fTq;NOh^(91=5dV;=v-u2JJ1Z0kVH{=%|>=WsFIMdISsk_eH#z36n8Lz_a{vTo}Ca~rbQ~2HWUnN#QKdV4T z;$%^GyeZSr_I7I@Rbd3T8;i#h(>-|f)*}b9@ItV+RsgfO9>9*D8zM>k&@$62 z=X~{zQZIPDs0l;_)!0Hh&v`1lk}J`{$iqSMktO1_YY`qw;mQ*(Y_$E9@K3?0Sv+Mn zMI{-h45LH9fJBq=^22zfJJiw^Sg<5lP)N*ni@5PQ`k_x6PwKWJc;=6nM1BY?820L_ zTV2HCfkE#-tz>Tz>Mt}_DZ~MV+CyC!x*YAmg$z`nxhL^M4u|fzgptqDAZ7jNZ=?%U zO0_L^M|+D~M{y)0)!k`$a?QPB0@Ec>x6Si|#$}8>EBp!HU*{FP$5W>e(hK zB*uxE5X#;HUP9#FWm&`870C@&PW6`E{z?-dPGZqnn$rNBbimf37CmV)9!A| z)6yZhj^4OT{7H~d5RV6@Krm|9WJQe6A4=9t0DPu*+lzi7dR7$=O+8N*T7lUiYrTJ_ zKx!1=i>MC|YojW0P7N*K%|(wbH^C$#6C>>na%QfNl@^ep4*yoRPw zklH&XfR#eeF?g?@zYvg>=a^*<8XHVzwI{z9dhs|orzxEG9|S$NC$3;n2=wdn*dQYTsMe=Gt~}&Zx&Dm{iQH7e%b#A^e?uEN~`))^sX*qFWgbF zS9oUEmU4I}V!c99r>TOgICsXlLc-y$0F#D$4q-=^J)(hQ_|^mroTnSe+U^ojI$mI& zttTkg9lI7moIyxY%^^(%SgZ(m{ z4Z*<7CxSa;DyT~p0YSrU92o)JHt$+&&|{cG&>CHi9!A1icgx0#X`6h=KEa}CAKi>M z%S>yr+^PL2uNAu7FC>z-LN${=0H`Z^c(!fVHs9v|69V1i`%g2ICxxRqa(%r?PUdFS zp(Dggne`@!{& zW;9p?zh6)8%Hx9Ze1LBb<=hSj5pPEKq!-k56RM?_rpCsrcgk#gS^_&849Q1mWAGpp zyqt;m7)*(;Yf%IrqTxEXD#mDQMj5j6uF%4b1qc4tww8!Xsk=|uYq$0m%&h!?(W2$r zHHeaBymDs{(MxQ>g|Q><^IeLN*~F#?IoyB@MNl$uTuP2^0Z1%kuv8HN&<{@iDT{6r z@`T+RBn6YJQ3c5U+?1zr6;<$q0->WGwZ~_0RgxgLx3$2oj&$YbIkgRsPVRuYYZ0>v zKc6>ufudVf)z&f#>Hun&@Wt4K-3kj1S8asGs|J4go2!WkS_20oH=_c+ne2AoZF#;I z{IdnSO199i3&qa*!n|`Ck~8{S1dY`~WnCcRxYNELMV5cWoQ?Szih)eCcgXrgfWqv| zv(T~dyWT0pn~lZ2IpIZ0!S!Ld_h@*B6JK=`jYHNQ;s=XXfiO7dKwjVKVlM_I#HCf_LF&)7F{JB8OxE z;AvIULVA+h`(R=Cv$$(={s?3U53KtjAlR>&iCvSd9{EDKpeU2HS7~Fz;yV0XC=E9{ zR>uB*NX?wqG0gTXh28}tD5?9|C$+pBw8T9727 z$uBCVp2$$e3IAT}PL2&0?IVcy%$jrncTUN)<#DG#lD4@tNv-q0+2Qn4jW18BG7_UhPE=DWf4ik(QHhAj+d=!tkM!IAKx?OzChp>G|4g>i z=D4*iv>YACeCaq!^tyTuDL+=(WYG@lXx{P6j{MnQZEDpvy2rI}KPRusuf>B5i#E&d z!F^g@l>Qo_00?a3tx}fot4=qyQ>!<15N|J5LM$C*? zgI_bf>#QBVYmU}R{TCBrv&C?v`a^uo(M6$_h^-!wfYQN|;j%kC^hco@l?12t@pJyLNo_?S1RpAK8QG5UdATszrdCVnhIzhlR^#lJlK;7 zg!grfZ3w6NUu*vefDra!vh=;QB0jv0hxD}+{&3p5$1za6m}CfOz1MCcUko+3dHK1= z6#9s8cW$Mj<8ie)*ZK8a@U%NNekuDo^eGk?w)||)0pKp}mww(_K>;ziX0=@qkA%j&j=-PhM8Jfr3l}?j5P# z4cl>xd(9LHI`7ZmlJRfFn{f1L8y@hN0KH8iVlxZ!iaY3T%gC($z`LS}H?|ErYFK$v z;{8n`BdvMV9c=a78y`NbEIQk`lD5NUU6CsiW%0rn-G%M%;ej0F#Z|?i$R+Q%T z`2Q@v3I@kjsMf?qnvyq4oAbpjkK6Lr>J`(OBRuC1UNfS?lU=ke+GIG`BtR)9=>;P4cTFWiwn~5z#TG!%Q`}bGpG$D z3EFkOC;3YMN1?6TiQtCMKaX!#nqb94QBRm%b{5skdDw{nJ%pJtz zr^zx6>RTuIn#gxPVE8R14Q*p3lIrhX@fnXOE&|`h(yjaF<{+YVAu8{P`mnT-w6EPIai+A(INl&^k6Q4A|@^Dd_R=fU(ARjFdvoudI z*2v1ARa)D8RDdAS<|g0rE4xC!z4D0p3l+No7aPOi|Fp{i&wjEJFj5{(;HgY} zSKUb1=NK$+23t3Gr3Np~Id0B0gUkg~&B%Y9C5L83gIrM4SxWQ$XWV#b5@b$s!2ijU zmIlvE9)90mMcz-3Y+RA3^be`CWq9Xu-Jf4W#HcYWrLVKRvI+@YzP9o;BX#(@5pxUF`l;AVM{UuN6#ai0^`q<~Y*&=h^_rch@O z+>;8)b$6PsI+z7w$`FG+NCWWc(`*gu7IFP1zn#&%Jk^NB(H5Gvr?z?9tHMFVoM`Lz zxp)0O3t8id_fZEG@%iIsueCwR$1L#KC>*&U_LgbS)K$!=!V^}A9259Km3Le~#4;^x z@XXo}qG%A2-S_OIH;`A&<8ZmOAPsUCTh40Jz2wPIME&9f3!MN|qKqv5QlE=X^~n{I zCF82-!yN2;!Hdg_xJJQ3(#>f*y+LiLT%i4dOjz}-ZZIebIb*g}uMmV?-|Hxs?h*Sc75hcX+)l0X+nED6)%H+^Wh0<&rDzaMfWeb<#$4Pp|>W%*G(p=`liZGM#K#8tlg3YLk{gVs)_>x;NlrasCPi$MMk*-}qbbWJLZ-W@)=_-G)~ z)<)&E^ZGKOLgH@gR z>lyv}NFcKh!X@Qny}`sUKs)WLJe$gm8FK4vZ8r$|bw9c%?lH7pK2-tr&(hSue=@A^ zx94yeWOqN>*;LUK3De1Ie#aFr9_Mo*#B$_*cLJ6fXc)v_KkiW$Bfl{w%mN$lotwZ4tgK*1{OjgQ#!MfBOree6`Vpij{p zfa;qJKpERjl%%Td7+U~pn7Q<$9c?iU%rO|8x`dt?rmU#kB7FdZ#>&osa|##*5XHI^ z8orbOwD$h@gwI=-)8s5*Kz3H{Ga5v2!;P*Tc3&3MshTdPr9fGToe)+s4V+C`ngD0y zHQ7ToT|MP+!f38zv31R{|JL_F6@e%MR&xTW{QN1*a~X3nW%X2+2#E9M5R>zc!86F0 z91rF|Qz@0nrXzNjn(k5io!j?vT|~Y>ov@zE*7TXJ={%oXkg?_W-(VC{)b@IrCtb!( zsnVUZkGDzzktJeOYnt_0T>$qt|6+g0_c(X-5uTD>J>;x&P5*LgJ${lavRzEUAz&hejfI#Nc^0PyccSO3t8`0NVg~>*EEuoDov|1mP@8L)G8 ze#!X|QuysErB*?L0=>6X)w*ua0=L|)I2EK8>Iev}Ro1NL5=-9DOa5k&uxQauU8C)R z^~ErECvUBvwpnQ822S_;%XyQilQdt$mp{~~G+7>M*E$j1hc+@~{YbKKN;a8>bl>D3 zkNXD%V_N}#QoPOPtlZ{z*_H#A;M)F(EZPUZX-bD^!h`PLsP32XTQn==4Ug;!UlYDR6Ioq0O>AnGPnECm-}&25|Tow*#iM14ZD^ki2#@IX6?ts)3d=tdRCmxabM*Qt6}<! z2vEz)^M&E#HOz6OI^92wy$1h6xDcdN0uweC%f6UGja`NZSPV5!4KCE4H6U!=#6n#v z45&XqI6EEMrM9M)I1lN@_yh4A?0~hTsdrg+(_WiCwn9uNa`l^lA#^Ka?U{3dHU~)* z6bLvZkeu1LKE4Pts@z&t^*G zm0xxc)}Aom1k4psJNtITj{GVf$!_B_kW~jQ$H8N%ZcW0;hsLkM{@T{Ym+?gz=N!wr z-&<}3zbYUXn{4`!>-XJRaKuY)1Zp%|waKCW-8HCPpo0!wiO~6%^Jbv}v)uZtDCh?xziGneMaeQkPsaz` z<_-njv$Q*1l1JQDDHA%#IH?;gS%UI`E`H>nTbPeB=sa)<)A5?e%}kPGEY_?eqa`I1 zC%sKPGO#0>H{WxomdS4rpue@7j%?d$`2}z@zs363I$r{L(%;DpwGf!)*>#|!&M&s(_x~VRU5*i*ET|fRIA$y@BAyzV48k3-&jq0-2K1|7@ zW>#c2ozs~5dEc(XW)W~*@ZNTR?f&_)I$WkT9t>6|lB2t{8~k?^Z>OVu5}YFrPz9-b zx?LZ$PK6+dXxAQ6CK>9uLZj$cL(aRkPgqnht+qNxPP~S>1h~FlthUo#-UNkdNah$p zg(@5O$jE;5S)jS4Z5W{H`@tyyCOUZq{dODiyM5_{#$Vjf7630mYdymMHF2T^J&XHW!DIJOo+Y!CSV-`v*&T0{KvW^-WRe8T;@en3)o zY0h%UPbk`jC}c-nhI_QO{Hm@0FIWCu+V3E$|K$K1Y?0IDr6XGZVh#VgH3F5U}M_>s6}DnVai3~``RndgXt5W|KkIR+wP zf6Gq+zZT(N)Rc5iV1&X42!2Y)FHI_R`d~Wta9<%zjd1m(gsI7&mjanLow4QBJ5;CP z$4Gxlz7pAo;gBpv!ou2u3#^?CH}lqwT<(AT-fT5ZuIK68ve`D2>viID4vQ#+3ePhC z4&%l`Un|Y)qeJLt)(8kH_|-M~5nu$Lv7w3aj5AxEs^Bcv4m7@5OJ&z=+nw~lpxg^Z zhJ9i?3b7cfo4dh@>*FQJ86EX|Ae~F?S@3pU7HmOd<`QK^wPwmZdUfy3rC*t(K(rYr z_dj?`WTy4dUCacG)dB}NMp+n^L8sL=m=P|r{h#v=WXpWqINknk4QkJ5*tM{Dv%0Uj zZmIi4prD4l7QOt9@P6*-eykd*ys=HAgG7vf5Fp&1VhV~`P&SxdL>eKwuvqS@oO>J2 zpXGrFSWIQw%!#ge6)Wd*piNoo%fPDSWpGB?@Xi!JqjY*=E+xPu5}?Nro)8tI4 za7Z~i%)wjSGiMLD7n>PB;hGmQGWqv_Fk;U6qPUTH&$ag-iM02#H0c7TJDm+-P1jR* z6pDc*Ls>6^k6Lbh*oU;F(i?vh4zJQUNi_CcIC_;1M;AG>;NWHg&usr1&fyFIj)#La zu^FZtZs_D}V>y*tHMcKF=6&)FcjKhy@O6&Gd2>06HOPO?2Q%{Jl--UDpTzF`fcOs* z!NK+)*^TaXtTH!%a><|mS&87Ox`I>S$x6gm(jwr0DCDwK8;?w@GtDXyq57_g_N;A2~@#SICbwyQ4O+#*IAw~3fdZVfP5md)@K~*6o-hL3}cX# z$ybkxq$;ehWFiV&;z0Y%C0_SSU=Mt3i>W-`dIkHd>{Gowp(!SN>>aelDdB4Di;i)E zhd;1%n%tp0xjwnNl)r>e4R{l&v9o**YmiPsxv;qb%!ewbahYvj-tr8 z!uQ$UnC~(OdIJrUI+DL1eY1sJE&G3_kt?shOLYumlz_Vqqb;{JPK&PZ?KCZx>gGls z-Gi)?Te*kWV|Pm4wm3k$BR$?DiSxp}t_e7(OI`xcJVeW|Fk;{aOxf>Q=?Ka7cQm{~ zC2ph`BWynLE(_*C{$K?>bBGg_>2){vF3nlhdbzzDrS9|oSxe(gM z(rqMf(R8LmE7PWY7xVIQXD=W`?-jO?nsW1x>WHx9P%!tn7^}K7DptJD+M>v$b~DD( zgdc}4r7V)}g~ND(o(LY($Lwpg&TZRTI{?i3jZyJ+T=vJ!I4X`Ql3Y9ldXw+b7=(5* zeZf8`C>h8?(WEiD4iq3_89t#{@mI4V3L;1)by z&RK?yL_T<@W40WL@qs6s_BGk2EUYG>hYwm~n1NqCjg_g-I4k&)$7hL2^uOF_d2`zh zI-i$V92q&>a9V4|DlqLv9uHUm#VjJwK%G&)R#5u8n3ZKs4j&i747nQow5H;jjM{YA z2L-BnoO=qwqVm#Q8_V5gIof^#3Lx%}uh92lQqboexpKm>nu?M?5UPU7YHv4!J}w7J zYHy@3FcqVRcF5IY;z|4kcfr6yOw3)JOSA$$ypw=DWy5BSJveMh?XHKIe6LscW=2s%pG7 zR8un3Oq}>aB%I0N^h>ZyAOgLh;KT zZ6;heMJ9uean5prukM+rej5jy^Ja{#u$xAqR_31@NiEuRE+=(Sc{P$+l<%E~1nTR6#>T0J8ekwDfWX%riz<~WRh2Mex)4jt zF+N;~Y6NDw`qC6lC8&CS_hwWY;vJ~H{1v89A>*=AuC=UQOh#&r`B@CpXF7eaIZ23 z7U2Gz-|5EBSf6wAm@af2ld{@x|l)crv0sT~M zMq5frLOmJ%hIAN(nb%~9{waCwPt(Fe2s|9S@|(dT_mDoL8=n9ETwq;c0&K) z{(3JR9Du29Sv~Mvy+uv8%74!0OyEhl5qyf`M@+}vQi(;TvGA$*tSv4yZfxlgdpb)^ z2qbd%ee%%`{Qq_+01MsGG?vI(#ZRMI5ChzRAQ|&L0`FXh9%8-#^E6Eaiit3{C4z}| zg=KE%uGS_&1i$~oM?Htpam2;&sW>hV7;^Aj1qO*V(CKRo)o1})O+kL08%}jK!}?oE ze@0FYE`Gr^E`Rc(N>O-d>QAg#a6;&jN~nqTIlpXxob^xs=U5wZp@+S$!&iLCgjMAP zXRBiJCvVok#B08*jvu^hR^j8C-DOUfK5s{`Ty>eOKBs?d1z@w`}jrTjAhY&gAV z&Ch9nmn@aO1wn;sJZd-y~D3maB^AK|&*8Hq2Hv~N`H z*Vp^zu_hTQhl#kzEXfoD#i1qYT?}+(yGT(>WUkU>7I^eg(Z+RN-0S2TWhkX>TV8(k zL4m=EQ0gqck23^j4-Yx^h*A1%jY=GKz8N=

G!pzIN;e<1?;?ghne|r;`in4QPv$gU+a-d1dZ}jPOviRgA$kcgM{SjA z1n8VaP=+J8L+w;KyfEoLCPE%v- zuQIG{h2T)_UW2FQdqr%hs+jol`8Sv78k;y{PF~wV+>ixm&^F{JKp-K+gDR$Xh$&$=U)@DU$L} zSI9((2r_*Ar7+k>J5uoXe=@Y;YDA5i7!6;WR*zja-B#}ReC!Lnuf@xJ0laRpb5#Qi zA8W$dr{bJZ=vMZP4n;vf4Ss3m>qnHV*dxk{6Up6kRjDTfa{Q)R{b%dM)DPR6Yah4U z@D8dU$ynS*gI<#Lr>-XN5ALMU2)3C)Qw%g`XZ>-+x*qZ*M#ms6tY`vPllDGhCri_{ z!B_3=s@DlGdlgMk%ploLET%sCYmI!q8;Se(B`$aYC=a5_M)Pi2e6|kI(A-kmwlb;R z)FW%$>N%D> zXtH_}$7&3epRPmqJ%A!ZXA~EU^B^R&AvH}I^Wq7y?X}O)ZpcEZR{4lZMmse%1Yai8 zOgLY|t|VVIl6c|h9D1}r4;BNedeXDQiUfG>o18p_w&OYE72Zp+s(&x%L@~H$7(clw z8MK>DebVx8d`^Z38BsyS zg8qq}&y5CSAlf5sL;P{W$l^H``t4}>7;VN~J0=XL`(7c~y6`s@{8sJqPJ1Sx?)sy& zI3#wzBujU>nqqUlP$~VdaFovsy!xrDcSy@!hM{8XfFM)S%HDthTe*a#@yH5)JGyJ)&Ny5Sf|0^s<66ETfBM6+yu5;0tq2bn#eU~{XK+zQKNva{qG!HTcg6CZ+M`$ zhw_D_n4gijg~J$H4FfiuKh0V?^tQP43_!o%ig=V$S6IFBqPbYp<{>>+E!tg^e z#$e(OZZ+|H`l_C8n?D{AtgZgbSdQ%4!uyC7?fXbEg^xPK2Xbs!Eho~IyNjJ+I`GLr z9W&UV$e(Kjwrn?izX-JHZ_RECctI-=Q#2Qj$Gti)vYR6t$lZu#gk9x$9JBscQj2|C z6l$4IBoT0YmiX~xR%F(mPU8^Rr2oY?jdN=~2D1DUzHwg8N~`&~BT&4?=m)&{(jz3y zhj_ql#F{l5@jLl~2l@O4?+-QTPfzw8K83kH3J$3*e-RkCzc^GLv!*(1&%ar>H<3*N z6{Zm|>j5NftHs$8(+f}{DAsT?HV70%-oiO>{?DMchX-uU6f!-wl2JZuj_qUhc%I}c zu5SfmXCM6jvdy#pChF%+?#THGg&=sx_KDsmJ={f{cskmHCKL1gaxGRI3s2hDl?i97 z%mKM(-S)SJaZ*k0fJy47mKNi)kzX8@h$MbBd|Gpx$nfe?O0If+W8Fu+PfmZXkbfJS zPtlQ@XQ+lCv@ER}y5JMqxf=W5}xFYU-zc-JN$Y81MGg1z$I6 zOy*z=cLciFZ~nq3T#=z~0i#(p4>vo`?>T^eL?_C3iI zzE!dSTRXu_E7KjCF$Irg4AC<^Qc?^ynl1iPQEv2q@^TZbtXBl+k&5sbmy; ziTO^9xv5*R+6b`WL5DPtWuN^>{V8H_OWS{+9fz+-7ftyO&eb4^BEC5uIKy0MtD4A}Cb1#^_JX2@Zy{uf$oOrck8q_}VsJE>SQyNvLM0ASoQJL!dF)nBx#m0N$s;z?alX>8I_5qG z1d__Wm#`h*FMk8@wvuQl#hZL-5+yaCuA9r5Fy8`iN0(SB8-QK&MxeHa*BIFZ(#~m> zJ@kO#rQY|mS*G1rKKVsy!k?J6%wfsPIi1TIUqF9-fK48OmZ)T+iqCO4INd+{I%4s| zQCVVFzGyilHlIg&8QB}5>aRE?PV3ig&6_`Bx6yZ&SZDO{nr?srki`J7ICBf?ITpxg z<(Mw@-h@KM#gLTzU(4aH$C7%1LE6QsP99Nt2BM_2$JG|Y*kmWRzWtA`zA9Wp%>=63 z*;@%$V?9|Z9uY??acqlF*7_E@Y{j{pg$zo6+*2Eh8JGt_rf5|9 zB;JFgpS(n}Ur;*q5lsegEhQPjD8J)zb)DpA^%txG(tcB-j?o|0oGvDh?DVTWGMJCx z3hZjT4= zta*xcNF0Q+gcqKIx0*)gB47pFVh&Ch#xe*CHcnA=1cjcif0T&Z1!*kuFRylsV##II z=vE@Mi|lqJWl2sd&L$c{gGbbOh0*cIcvwdVAD437(aI?lZR%@L?%G?Ej0+NOvOtr( z(@L~58cncT-k!kcDXPUFHef+sr$K}Y!6m_m$VSx@7y)YBh4dfy>alaIoc^1KUXPS5 zV&2FzW~fDb67zIFeZ9-F80cGe)=n1G4eu$}VhVG>-GF0tm9GBi@`z5?!NciyO~yxx>(GuAKznneOD9v+)NDTM$!%2qXj%8Tu4k>Yw;o|GyW`;|n( z`gLdtJFT#5E2X#0zIp29i&C!~5>O#7g^v+dsu3DHUR}wXxOfHpL)@4!-T(yqu(`j^-{ZT zbZY0rEgmBQ5)x86T!!Thwon#@{$-@NP=j^B*3p3YQ!?3B70kMzU!I6^X1%i_kL_r; zh%RBMt^;AD53H)wbVP-xKG*os6n}p6P=ET&*$*WkU0nao+aUBZEO-_Y{RgJIEs{Zz z4L~GYdHX6H_QZ4Dtnwgf^kC{9Q%dSd&eU}t4mlNe|56_*Sh8(9_*hfNev9UZkS?I& z=x|{CemGbgtN;8Ex8=B$BBGSPQ!_Nx3WGM;Q)?$IL)mbw|ilg6^x zq1B`OEt7i+PqzhCk)KF*aWC%5mJT@ripJTZG~10QaZCIpuvsJP#zxU?SY%0V&}UU%8O7WBKMrurpR>IkpfrXJiOS@iuq3v1HdCMkH zxFLoweUc2@iN|G9$!&bkKkr z%|Wo>?%0Yn41;B_Nls&?X9oPE1>mXjSeR%B_Wf9oHk2@%&)E^fvDfH+y(R zpJ=zMyyYrhwjaT2agS~L+BJTQmt&RNGfVBq*2ohWtlo^x6=j=LO%Pt5jK~ueYXXO5 zq7&~&G1>%1;7eJzTrpzi zj2%AIjF0e(EU8d#n%ft)Y+Q#WRS*e+9A1-TQ1*0c{o5zbrO|=c=Di;18r<{03NRkw zm1LqQ?35)Lz~NHI0??MWR9kFhjM#l($!$bM~JnshnktZnh%dp zuO~}!zDjj)N%E8$59PbiCY>6MdB9jIe=n2@>KNS>J;&toc>CiRdM7V86ijBN_IX<`b{uO0IfsvRFt4U~zA1N+DaB#Aq@C4K^wc$98&{<(| zi`KxODbEpZ&H^{t*6U5+63y-;GkfwoF#QHaCrxaE2#2r@L>?&M58n(7Dlwup&&0H# z$8+*V^)Pcoa>XTjeG(IoB_Rpf9L+^NrqeOLOl@#@>aHQr!FuaROMv|e=m>xUza1g~ z#ld1mWEwhv*z2)EV;o571*94^1c~$TE2P2rv#@O>gp1u6%S|Wd$+ui)2X4UO-kKZe zwY_c7y!+K5Er!LDPmCq)lp=?WlGdU6#!6j^x{!X#j zM$Fu2=j5jaZ(G#LZp9;>|9@5Tu(Z;x_$u!)El<5QaKY6{Sompx2I8VQV9{a*0Lt6> zUF<6YRY=-{2{_c%jJIz*SE|ZJ zoVjQq?}9GX!5IoKX|j#i_{CBfx;kF9XfNVW%${S2FC zC9G8Hymhh`FGusTEEycn_d-bMWYvae&zv~Swdm zWNQf?E@$Q?WD-qeiyjG5yhfWRSl6F85viF=zpBkL2@Jfw;Xgq!9(23YZ2=5CABusv^Eombtgnn{_w(t~?Nw+jr z(*7SPr)~3)9ObU>lu-ohpO$ax(b((dU{i98BL+;_?^)>x$@lIOQk*BREbE?69>w}l zj7GZ6x59I*AtmTm7>MS?5t-i=arT=|$z}2gavSlo_N%CuP?top*Nq^@g>sqmS2bbv zVgHgFQ3=Dp0Sdw)V=dh6pJ-p3^sebBe)m!Xz{5o z4D>h48VE$T+z?e=AU&?8LyAKVH?+q6RkqeZxgb>OJ&k3Wh|-EuFxy82L`wuQ3nrLH zHY)mnE3H`DJgIqcX$k4}fz#89%@byCT5C+hvCQc4L* zSfpmzeG6=y2&j>BzC`Z4pSmaw4P}V(PVc~dSoWD1H0RWqVW{mH(x^{#pslEVjstJc@R+vJTzsY>KJ?!R<0awY5 z#t12pR#Hm)8fI9Vys5AhKr zChbGp&L@0g%Dmu&Q5VbN@U@r=VxD{qee*QL<&Z$t6zL9%V<4JmJr#%?F`fq&_&ZVx zj&%Ys)dQ}nykLV!hRmF2SnsTBEBOu5oR2gWVWi!oDKW6T@C626%#l^2ke7_rOlExYlUkYC@j zQZ=h5OSx*W#hL)$L@#F|>ha&UB}Q7TU&ZET!-CA6gW|?3>7rYIs7g8Q-nlgl^|x>i z|F6GszQGhu#0vUqoykxPYc2E{phG`|joZeclueB0jYeGo2_OByI$#VpD)7KFTmF>Z%vZ? zn(`WAQc1f1^_(d*WXPSp1Hda;9g{?JZP^;*k}n(x*NpK4m<>cC5R2BvZT|+rBRsp1 zfdCY7Z^^gL*yz(mir02%L@^p!jWiIJhW({K09W7cT)#t+8234pBx6ssgiwICLU{2m zGQPZAPzj~})c|SO9gq}iMUpRO^3d+=?VHnXE&zapYumPM+wG}so2RyI+qP}nw(Y;x zX}d`F3HENY^8nx6%_NgdiA_apO@XAgneMaC%5yz%eb(tFs#?$P3rh1TbtARmnkE;j zgYpxNUPZ5!%QDAS6e#|wE4^3;%xpCG(yP()UE_*Ee1yEB;B@NT-v%}pDbK@DxQ=I+ zC+AGS0O=vV$})4oI}=4rJd?=x(ckf>V<7c>&QXu)OPx^?JG1@07Y?q>53lsqw^R=* zH^C~@2feo@KIk45W-glDO>4>HU!`67rXN#(T!oP3!5rtz4{)fLNuxO3yZ8SJKP61v zQB*3(m3r>f&B*+SfiPi@cj}PV;ck}(D;vDTok*N+MAtJl2)Sm#$APOjAY$yc$6Oo6 zS5amhquOzOr-D9sPOT@;KZBHC&KA4*E}vNicjA1ko!)r+cOsbf-I5u*{D`O-S)%tF zD;V_t@`R3BcH<&^^*s4o@k8Ip8X-1rM6vKaQaHE%vR;}#v%a@2`Ss9Lg^+3j>*wg; z?R*$lx0(p5J)hyR=`wi-e~mmGnEd1{`}Cu$?I@b)C*j>?8&3Y`PPo&oCnA+|Q2lmw z??4VW(lwW#OY_*lZT*=PTY=iW7tIzD>c8MX6heHZAC@k~EjR*EA%OmY{GC9gSPBu(ry~6o=gJZH`H(@;(;->&t}9As?B>eEK~S)y=5o? zJYzGV!YWpF`EecJveBUO3*O&1#h98>+(Z3-aWUIbX0$kyE&LUq6XkPmq{(ltb!pQd z$QKQ0^|HFyT}-mWZi55&^xQ%ioqNcf^iB`>_ZVqP$ih9`-B`7LHHg$qUNO@v)$a*D z2^~=m{&U-q5-j2@TciQn$;`+EC)N`C;KS>vJyC8!y}|xuZ&Ir?H+k}zu1yq`2&omU z#meq|id5$C__+;ye6SLyKy-agxtVFG$;D*vPVv~k{g+1BeEovu^s;RsyKL6P%8QZc zCy_vm_Tanap^9z`_j`lTi*YnL&YZI+k)oyMbH2w@kl)RBqx7rI3X>dfwwR&CS?Z|3ch{IGtV(wLP__p?MEMz{+>IFL0#!ja5An-jAU5sm7f6|RPM!gUXCgn1 zo~UVvFCO`!`N?+S0t-zKy7wy8sxN6Ov-8Zm@0S2H)wY(6zxm8b$OEjKW~}aCKWKdA zwsL4zxeUyy4MAbnV`O1X{iVmnVjj20h=yJuf*&~WK-=~b?xxLcMXQLKSk?K6MG~9=*CXIF@e*;%tc?WoOK8 z^%P~$VEzY%Uq~G3@Ca*|62T0se?97)LfsXH8?u6=ZvwyaV#25UC1@c*S{R1F( zD?2UZ;?MYwX^xGD2k#NY;0Uio8+7)tef+1W!g9ma0<-B&TQ3GJb9EVx5AnHh0`5OR zHWA8P!3&%Anw3W{aY+Jb)Tvyg=pI#k`UjRWf7w3ZG%snAFmg&pG4iZE{*@h_4C}5eV6Y-1XEP7GB z*29yUa-BD5&#I16R#2VehcUy3ErjDay%0Yte`8Bd?k2az<}OKJR1bxip~%TKQ*nOG zKH0Q$7O+u5vlzTjgtm##xVcY&=x&tVG)@5#hpaZD%dEsJH1fN5{c+{78`i9sDm;J! znufo4Vfr)e&)_XT90ooXco0ly`H!}`RRT;oYRYCA1Tw3tQDy;{5PtXk);!tLf&NZT z7akvTItgFS^Ex&vOL&orS(rMLPHi|q=Xvhkt39OsYFKi(4ypfD#LyD~Db%f6kU#2W zycUDhr7%#Mm{r8Z)L^Y*VpwF}W8l*6N@CnqMUw>WL$oFQ0b(njCMdvxrh?~;0C^=r z1GDfBbi8&4WL6IY@JdcM{3bc=It8I1uGw>asOtN&ck0s>gnd;{dGtG`Go{>?@I+)+ zU$j;=PLrv!-u~;{PF_y~TG&6YhYxGN$|l4J9+P1^r-x8nt0@0iNg_?G;o)e_^hDGZY)WM&v{YpEWC1GHTczw$6Hl!Ft5BB+PS8y68i z4f479v~9&bH2&!T`N|&%SdCV3MHUDWf6RoLO!TyR+6PBjw3(yYD5)CY+}m;9 ze2sfS*$~Fp`^l$&C^)lK5+lfGF8aM0+@V5q#&az0HIdHP2rMEQZdMOwBf$@eNZY?< zG39mnQIXdA=fQ800t?U73h^b$v~>s9Rd5ZHP`xnZ8*(y|mU$P+`7@?R2zm?wYm+&E z-=Zh(Z`2$4{Xu$%wz!!PJ(%m38-^>a6E8Qh;{M!DL(XmC7b$ZtHS!{SUD2{l$?+H9 z)Q`K+OfxTd;8?Wd88|^@w|Q(~p)B&!V~;W=Gppf?>_p54E%b>_%J1QGZ5}I5N7R20 zGa;rv;tD{aCap$l)Vo$g6^!$TSg}V2dRx*3d#d#fSs2?&n>*dscRTnyv0q?X)OwbG z?iIwF;$>f7vo)B<-K5g8(I>u@0`T?cpsCu7<9J!w(nzIP-Y&HkOYB1RP*rH>ZZTqZ zd&N#1O;mCn$QN(i_?RzT=>3*6lDwhZ7AV!$kABo^s9rQrn64~)ff!i#MMzBx@Db7{QWd4=CUgtz?Yr*uT9P z>117I9nQLCQ$m<|Z`-G3_oG+nR(!$fW<6>c_NT&dm*16(UagWeyIH#=9f*T&3}KI_ z%r|pc>*iDmOn&#TBQ6ioT0o#wHxL5L&kiB*qA-zXbS2;p{8m056VV-Azv6czPYVzsHN(xw8e_y8!?J? zR5=7YKJ-8nzPbBvh0KvLX{XoP6?hGmH?^*Vo&Zl5Mgp37EH8>dDhS-m7$>m&1U2=q zF37?`$j;~ETYws?Nyr!iYfFiB_qkacX%yScB_H1P{XBnG4v1z`FKr_I!?Xep zYRann-5qv(57H#N0G7FAR|uq#8#FCOhLI{>v=Hyi$X&i3?yk(O$>gCS1hIfZ+_IKg z#P8Pq@ZK%2x0%O5gQIHtvrOD&GINR8KlOJFbptvSE}<;+v1#5*eQGb69gjkO1jcrS z%9p!|J@p4`Cx4aJmM&d4;+{rg#d;~di=B%#fSwaQc2CHWN3%CKgKh9CI+BUm_9m-( z^ZI;b&EjOEI5lYJ#Za>R4vq{CGJ%P+_TeC!ZaBtUim(O!_rCdaf_G9wc*}ULrYz); zUQJA_=~J{MFsskM4aC(!i*7P)y872qs&q5y=X|IHkI9Z9Bcw-TJ>LeKYSkbj>@z0HG&XuL6k!H3Zn1p?G>Q%eEwno+mO7^$F!7a zzN*Jj#oNep4>23s@)9|M{?nh04PR^e2PYBTe?`BWO$SbWB?_%-=aXSk6-NFoig8}Y zEKT<3guY)Z8r!t9U${ldpfQIgDExX_28U>!JR%(oB@bZ+=s{-)4kfyB!!wibv7F(B zqFSj>oFF{=)kQxAWmI@&A6cz>3bit?^>0t~9r z3JByNhEf#jyN-W=pM5dTM1^tPsdXN>;%c5(f)hznp&%-p->u_@v?Aa4)OGKXrRqB& za|5e6TJlVa?ONn5tR!_m(;baXy?c%Zm<>c*Qcw}Dt4w2t0f*plnpU#k!m6kooOc`3 zy5te5AcbycuWaJeH|8>#&TMPyHG?$$7qakkH}Ml*J`ioBN)c1lXN$q2y|aO8K{G&d z*-at+d%6qd7x8G$gbk|6nb{+mKjr< z_7@-9LrQe=3A1Y37oW=ou9;PMiAMv{d|buM$m@i_II?}-9SSMJ?#=mS6=L32!7c#z zTOvjt^4~y{IY*J*zv0@dsS>B^LRb^PO?qaWZ6a_P+lI~yb#(t}xFN95h5e89{6XEn z??3>+KqSEL{aSdez~17G>dc~H6h%J8lskJuHlJ+oG%=(RinPD{bEjf5~6WJIFX?hi|m zqv5?(zzlplbvuLwG?A^$b3eowOq+D^Mks4`Z-D(xq3TYEm4UEVwH^t4`AU5ibml-m z_RoXYYYs&IfN9_ae|+e8&@`a0ERw(;889S8kFpkC!Mk2;Dlv{ zyEslqiMKFE?`AS>*+*`Hcg9As|FNt;zRY1ltLYqXT27ZruNf8{L~rQ z13$5}Ihxbik692w^xdZF9oZp&gJ-);(e9 z;#>5P9h$tNe3`!epzOqnGiOxCZAt0{>(=ZQjV3WUpc7V?y~>~vH&EB5nWFoE&YHEh zcmFO~YRcgn#;;`IJWOs^Y6wcGSqmOwO_E=&Dawf#NV_}>e<2Hsdcf(V!!kn=MxuyA zfX^;8e4YRaEk0(_*$+aSeQoWgo{YzxO}OHzF1>Jde#Dq^^Z+}TBmd-%af8DpTYrZx ziykcyBrWM$iX+V|E8swF6P_#fbIoi5neLmp8VB z1BQf=#j?G+Ykaxz5;)oeNVmMzeZBywxpJo94g;{{M0ZiD)UBQ-B!X;8*}*`PI@0y8 zyFUryA@rLd^3CZuOhw1$LSlzRIHCre9p zxLvl}RI`sYuKZ_b=FJ=7f`7ute-15%(_r4BlH+V|A?)b+=p@01es6F&J0)gE^y%{b;(VaKJxcAFuGh#&(W)Nw(hvJ`fAa9KJ--kw? zQDv1-*7>PaEZZmHCY(uMll(nblcw$S)0uZtW|6h(bbUt>czu3y(GDwjSTXmne)g(AT%_O-U4|G=eV1mUHv+k>zT-Pg98~wcn(ot=*Q8 z*Y!ZMvfv%C=*Hw+286V-yxyk^vcOWBPthK$k!AtU+`nNfg+=4Ck7jxns){x$!hA$P zWyoGm@vD9)+VP04LqV}cRpw>OZnRwZk$P3}<}#2^DwYQmoumY9vtmZm>6aAx|bxL)X$x;U<{tHlFUBzoX8$7d2_c?c3pn zx$bsG{)tb1_3QW9X&ZeuOp}G|VvdFJp!0O9N^wb)qdqX9rZ-RA8^0dhbByWquoRec zyZNdNc?B2_ssKYX4o6?Xbayy~UQMf{{3*rB{t=0#xT}@3euQ&1?{v})-J|FdQAa7o zO*X;)ghzMWx(0X6{&itg3j@Hm3w3rgqZ_t5dto4qX(KaBc+B~abG{&V$QBzc-pJQ{ z6ZYIYd0?HVy>=?N?_2azIytE`^WmM~WV)IhMl+W|x)|)QsLZ^~GXY8$LL@BV2X>wa zd@7-kd1{2i9Kis6M!z~r7We=Ox3HjV&(?}VtQ75b=H^?2DhF>7<2O8^#?>=i9popp z`v8vNnCufE)vPgp{F8W|-)ktf7va8uBZA?bMvnpKnYm-98CqDj!tPE};Oq%i;kqBo zGmYyt@Nh(NFzGXCfFsL!Ar4Zo0e(s54E@@leGqJnTGPV0-n(~^F0XRDAScmFUIB%p zla{gXh+Wbi)*;t5#7->Eup?F`-3n~ZB&G|#Tg^QGguMV zgXP~3XaeIS!6_^jkcMG<#TSR~dGoTaXL5Q|EyU(p$ZR%*ZkkTb40uSIb~>wKnSWI5 zwL?`!&llt#i774k@6GkfXBm*U4*{Z&i?r>DU60|MWTQ zBu#Me*@cOyv`4M&sNUFY&9+9e2P%G?AUqq@dIg_)L8xryOQYt6eoeSWOo3X*I+Cbq0SEF=xsVngoPw(E;cFSAB>i7WKgKaMhi^y3V3U!A(E(H-EgW< zX`)5%>2H)n7XXuE|Ft9)01CpKoW7?)O#2u#y(47-^sQv(^~|#ijg)T(zU4cb$!xVR zqmq)m1>F!qoINGwR&NuU$cuh=bsE)Bi`91#jL~r(AhB)ay>+p=TE^}?kWaS>O>Py9 z4Kk2-|71%kARJa#3HF-Nl13wXco1jdaXieVM`${^NI(4?g#!2Aq6kI!%p8?H+D~&U z#lFf@Ym_Tr>NW7zH3t1}?MD|`YGBZRqnh$wJtPv|#||Zz8p;Nue~QOd=T_0(4X};O zH~dcFZv27HN~ILM)IKB&$fkq41qqPd(-vfRSt8ww@Q69?KC0A*pLM70Inkw;Zld;e zuuMZ9HSBo+03j2-No@Vnpw<{Q5=!9*&%%eF3c@1jKnM%&piPn>S|iy9rIiP|@UB?8 zF<2h#)9RhgNiWbmb{%w1{BkMjzlgTegR_sR5j1uqf77TzQFwi9k;FJQM?HN@r^pyJ zQ~KH0VeN=KCUmc)urGR>X=D$d{bAkUv{6}nyQTPnk!ih4jf#(i6I>cY$xbW9LH{+{DO~KH7080%t*`$GDH?c)X@8%S$W$@#>={2qMHUA zXxF1#zkJ!3@y3Mv>=Nh2)|b@3*@(}OA9oevvf|@8MOb_<4HWT!WN0Do90$kfns`&% z+hDv(nx_BtzCMmdQWad3YJW21O@XS*1CDzGMS6wq5sSQy^}QHTYtF!@eaZaJ?*zob?pyY8T z^V6~fZar21A}jk8X{JY-=NysBAq}o>C|hfMSQ5jMw0qC-VSYE}P35l}=o-+jx}qB+ z{aK>5s|6onWo*Q9SvbZ#>C$}TvH(`zh}KLe_rqfux9Cnm!OmxkHmA%StM{$ag_pPR zJ#v5RL|M4AdQn}5rGApN>$g;7VAF)4EIw{yyK=)7FP3s4nH`n1e$=2UHMMi;4)lvG zVN#cqpo~1!4q_mz`~ClB&5o=d$Awv(>-^CBQRc?iBL7_dB0=n7=I*&-%2S_9rH9?U zo^o#F(b+0#Jq3XMZ6-ocH_6mI`bsb!GT`Bcxc3bGjr*j=H&oDCeW32NSMqo4$&XmWw!Tw*Xz_cFj`_w zB@#rBlP!pwoJIx#>3RyDxEB)Cp9X2kC4}`C=4~Y^#j}gRnqkgBnE7hlkha-kv)^|; z=^HK5B;5?i@WS<0{u0iRnE@o7I6Y`xn7cd(YUe)`8u_I)w0-@U#-g5P@RW~z>wYlE zLuZF>b_mqz>($MVisGwfYm}Ffg#4ap0g--*knM^7G*+MNWPNfCav`HNQ@twBVvwS{e8w}ZatkEyhRB?V0{NmXXeq@PvT7N+-Py*aE{zFvj_OHQSa zvwb1~J(;KOO1^_+rUcb)?^iK_J?l{Z4;d#{91C9IAFHTQyQke`pg!f`jwTb}6@;B! zOfXP3!GnK~>s$biU{m#&e%zTlZ}oF`eo|rhxK3oP#JPHr9?BAF!ML-HjFR`i&nq3u z9kfdd^1?^41ad5Q6~*w~L~lT>A`~HPSvI-Mf5xNA6)$lspKKyG_S?vcq}Z^`axk6M zfT5R_d@r|C6)_B2B^GU{ZT}=QFd6r6K+s$bfpp;76;I$b%9MDZh$5Qrz7W7)y(q2N z!`pGKy3fWSj%J$(~*QOw9EX|mdZ*jCyrv;DKFm9EV z&7A8J5X+9;l*|8G2^)h9BC3!QheISowoZixZ4pB8grO4Le%cI$&u`s1N^>M}Y`Lg` z?G8e0J`AUKL-ZdU#H>fCO!r+PVJ~i>B?j~mM~fZRnf|*cfZA+N9Npc$|Cz&brt%SFC zC&OR{(gu1)D2p;h0|~zxbk`L$R4wm43ts$9xx&CV^5W?{I1gp7u15Fub&(DULA0ro zqirJIH)PN6k?b&Rj zu>qr^c3@(D7A;@X;#+tu^r;+R#PzdMc28+@8X1e$Z6Jk}zE}vQNa^;&Xko!IUSf2= zd)PxWIE>g)4Yr5!BObS65VYE!ufe?jqXPEPcFgpssQ8+B=_}W?iq;A^HrJYh!9wn5P7^`(2)!kPIga0As3c>jr%>!pwfAl)?I$6vVDZ7U{*T5v;WOL>WZ?bz4^Q>?eYR zRr)^ts6YeN_6L@Iv`MW`LRAj2D@dEVe~l{~a5B*FG}-ULyj)*X$8qlkW1m{*fbP(V zrN`~iVYxjH6N!a1PZ(sAo}RDjCyb`=q_KHY0~X8Xh`zbwDAD1XB~cwSwXgsn!`dJD z14d9t#w8?DyR}wC^uf2xR(e!nJg6ges9g_&V;-GToW~}I54wmb71Fd5$c2wR9-Iq`HpXT*HpYcZ8>gHqCRm~;7gyK*xqvORKVGKTU;)eK1Q~fXIeE() zuG6jwQ{VcNnbIyRII=39Rx6~6<*&6~zk9SZ^%Q>*|8+%bq-;XQGE{LaA^+{E2PT>P zG)lp#J_@ziPr8apyT2KRno%(mHRG5>7={}KTi4S^s;FYeJ&kV$)>e#O6XA5V+IZ#0 zH*7I#+_K;Id#pjCX{-j~QqM&lWUuDKxBa5}iZVdIGDfi<+(c87&sMVa+jWJ8=zJLf zTDVXO(py7_-P_gRvYi&mtMW6eh-PZI$8A0DE@0qR0B@QdfE@>oNf>iintT9sSn3um zmzOUy@eXtV96uc9lJH=;%%#6L%|HzL_-c4TF~Mt~5rTt>m}b2WOYb!B@40qvq-j^Y zCTZXk|JW!jaH=9Z3N-#-1iKGf@XgRMqcsOS=b%Ut2V=(|2sf1V59?6;=s}l| zm?YH*6WH&k2JTmqE8m3{k$H~9xz77o;2ovmNT>WO!w#@0a*^e>;v$ z`yafxoXnU9%OR2tNc&XFa~O!^Mie=yo?XIwVeGy&QqkIhIVXmTEXc)!mZNPf`aWBc zczrw=nR~f4Kp7OidRsnhb3wiEalKe5FV=0OhBpi4uPw7tnOV^gCf{_U?l#$(H$gix>nv7u*estU*5gie5 z^4eLvC;3TTVDXP)z9$&@IT!XwX!Usy8}8@N@O}J1YNq9y1HifOP)CX^z{SVcvT4%( zoKRwsZC7CE1w&tZWD}nv$6kiftlR!f{9D0_rl}7BBB7%|Tip_ez%6x`kyFl7wGqiF zV*af2okzWRo94tvifHSPIZBnKhE%^x!cQ_BuIj5&8)d z5{JReB_pKwcT_MDWif`12R~c|ekGi|elJ=nO z3Dv6ww(o1~a-_ruBo3 zKDL5J%fb0XNNZ|51S zMfzswk4Y1M0l2DX+KSM^-dj5tQc-xn9IG9H&Kzhb4V0f(I6|yC8N1vb|?b9ihe6iK2xv0jtL`cl+=2>nv2)u0Bzm_QxGZ)t?DP(BM*yZzo-bzElTMP^EXC&2#ijmv4^0xU@-lIgHiTatumtdpT z_v6Bcz;s`MAqsX;jF3DI*o4(H4TuKpz@xFajBWD@Uvo{hJb!W(1~8m6X#0!8mh+hS zhx1eZJB~b!dLbwUj!SDhW>^TaA}FYt$Nm)u{j4~)K1fSX-NU3Otu$ZWHK$#R-KL)< zS11q|s9zVcvNP|wRf5}lY-&grFrj24q6L*w9&^4KqX_n_`0Qe|G{zvBI3ZO~9!}>4 zV++5>(d$Zsux_a&hhNmvJcv88@2D>^xA5}a5gXmSgZ|wRMcd?-(gV2+z*ba!(#_-l z5C#Q698_Nn2x@x*;|`8I>ZxkU#CwSC6@@2ou`6+p)uVO+zxu~}-i?Rf%IbB_ zYr3=&?zv?u%B*w47+jYhJNs70HkdhyM(Tu?n z@%h>3#N+cG0DVgIPEwtsozja_NM$yg9 zF`Q!LbSAL;iP03`@pgvJ3Y(d6Cww2&qSi_Hn{)AElz(0$_BtduuPaN-jrZ$#NdF5AIR-QKBkkRBQ<#)6odF#0yhOtprV z>_$(I)Xt5%TIr}gRkAy`J{`PeMty6Wt|f4L1Gn1-vf8}t7yUUNCj%i@>!`zbsrh?3 zuGWA4zOfrpj z#6dRR!O@JHQ9`_Rupa%I2UwwNeTuL>{?S6C{kbDOmmJ>k*iL8=i?D;P@N(x;X=s z4}k=`6oWB#l7W+H+M=m9pEK<#O5GH`=I+vm0~3I^>P&Gc$11wUH|Qh{)E7uSeI+!7 zaw`CkUQk94OrVl7O@_mRYM=k%{jSV%Rm8@w5ist(}E{OQ4?z+ z%-jBY)MuJrwtbaWn@`;U5 zq;y!@+V)4=()F|5b=PD?(iG@R%U&3>Rx<2-84!}KZ!G$^^a#lw%!(eeo(3h!sFzkv zkCwd2)@$SJ*OgRHnbbCfdLIM9=*5yrcp1;O>L*GBpXmH=@eg-dPFQ&zQT1M?&tWeA zX??3(V)8*EPeZuL2l?q7yKxU^1B+}Bdh^1kpW5QujyYT zFy`s%9jr}z^TCn#(zA<`78TUw?1WQ_&+hbXxog^cSh96kJ z3o=8LO_qOC7eBi-e$8v8tO+8wS%#*RY<1=?P$rQ4lm3K3UGgz3dA$Tuc+(zSdwSoR z^GNF{Vx;3)?QxqMXi-BB&Ka`Xv~`Xa<>bt&zG3I`V?mn7A#*vY`9_KD3bKPjIz9^c zy7a#MGqB1T1nFjPja`=cakQy}E!l5pQE&Dlz_On%sl%r)NY&uQgCp#LbYidNOFYP& zaB08lc$^m3hJkPVX9{h{8+?13oDs#!e>x`DlBy>XIaR{{!6l=EhoJRKpLfN+Lyk1J zYO4}J&-OAHCOb?|-nA@%Z6!>#38FBBXBwRFPon9Dv^9G(Io=4JBV^pG-f&wAurW}O z=^7l?uTH2%ND!l(#FkPP^)1xs&?fp)!=-e6?Z*PYdCyzb3rFu zw}Njm4JIhfJE~>TfBsU*LOq9DoD%DGaYlIj(Y;%cNU5)1?@j8w{DTsym>8Zj%EEBd z%egcCQ$*OI_p8^d3yQL)_?lhTxy3{JG1GwGiAu9jRh5?1?gcM~oDH~?dR7@eWp?6( zAlC}!*~zuM;yrelA|uXoNVtXFn;3#dnpmVq&lw#lr_#aQwY^j`c8WNEh_Qp0*;Nqv zuE0t8D$HGo8i(!$u0T#Xj6g7lv;azy&Vij}7@dRn?*!35^o9BO70z1pOYHSf%i8_i z=;ta~lYoplkIlcVm0D~ZOj&vr76Z=*uc>!(9uit)b~DY!k@Zx6mN&FHPqepDi`=pP zUII9+`bVWsA6A^mT%#4#`>DcRpWaw46F7-aNmW8-(%H+qbxd}h(Adml*YjV z2labRuI;H!Jer1DN8V$cLjfQ}w+1{|@6N80L67%UI|QeI*JruS6T{?EBi+F=E>~-b+6q939vmj=o~1^k+|yR z*yx{$j;Hj1PB06&GY@0narjxLk@QafI3(qBek+Bwjh=xUzfT6o3Wb>gOp)`nxS*14 zSJ$f(s$VMGm)<_q@JUT&79hFx4uD@MrP!`mKb5!U?!UJYC)s2-J;wqer;bSR7Y}72 z*cKg&fd-@Mzn17)vLxfFP@XyJGmgwaNZhKCH*fK>hEYuXvE~$7?<^pX0?6}?In)|# zUX`1y`DZ3muSYjwmubwJM44y~Tr|msFzgWI>SeMn%!O_ z*F4EEK{e20XDnrGIA<<7y8ockr{My7fYtcG15ZWndxjW_TN-XiX{rG>G38q`wA^h9 zrmpa@bSmd=ZU}5Q8jy5pu7AzSWqO)@^dYgV8k29Q3_YfnjC={Ts;*0;sXSoR_ZDx! zyLabsBj%755e3>_B^(NUDNO=QN2Jc+n5di%*78dL>WG5z7KFL`lpx=L@#xCO^;z6h zk_?A-W2;)?F`4M(5MasEH31T1-N7L{sR?%0qgxiAmKLt?FquUR$h>_6-)ooYJ~wAN z*DVLuuqp+$tj_bH87c=+dw09-mzF8I+BIa!?EFE?`4`mfb-DbKBA6nLnLu#OMiqV~ z55FsflB!bCJ~-3zIP)`bQlM52(GfPZwyju=na78~5>fZbD2GV~IcS8O!rxlS`p-~t zc?VAT?gnDZrwT~T!`h{5n*w#f&u5rE8RU2xAuS4rF@agN5uaNl2s_^|*yY?oV5)XA zLl};RCm^3482$XoW+W(~hLks4Q?Id#o$%@e!rSHSS=`T|1Nn?_$`xIz4~5Yv3*NY^*;cagJqDlRmID$DHRa% zbIdG{+y=^Jp4yI@+$f0M!Y7$h9v{1Y{T~OuIP^JrPjh|k-B+ObyvlWO#|&oF5p>X^ zZ8x@jrPDQeYYD{Iy9Oi=5HYNO$JWgoXGgETQgel(7`0U79SM~aTIO$N29gsm7j7xy zMjx>+oIGPuuu(xoCDbj@{5`oypP$2xzlwxSOx4y(w$L4^+n6D~p{K|{v=RLv38{kH z*`n!5%c976(doOxfZ7c|9r+v#IdjAimuV~|EU5^tDL3CkSEUlhJd8l|`-h^~)@jND zaSG5t=M`k5_|D3=dc=8YB5klFwM;M3YzT^nB-(_59EJZg+ zdrrE6i(EK&8BF-VfqX7W;NVc|dkG7P7K`mS89TDEdpT&>z+~SRuk+9Z3Vw4etxe-l z);jewy;TAt38DfOZ zgm53Y(8#eFt2Wfh$DjMP<&JX|VDXKwaW?1tlz)*kTW}u|*M}IIfzTtmpN`(Ln`jYh zAwBY>rzrnu!AKa$dfHb>Ep)UjF(3Kfeq>8%>wQq}yDnHg7rf$)xwt^*eFhNIzzq8x zCA(rneO_*twp6JrrR;z323@O21UBVM^Wiy`3j`j;?sadZB9+UyA8wtnn^~-$cOKvx zU^vD~rpjzc5YpgEe*Y5MIcJ0bGle}|<^e|-jKY6eH~PwEoT2~Hj6%(>fCigK$HBX* znPI-zK$!5ohQZD<6PEhiLR-wG(~Lm8X21QTTvmc>KJmL(sSFYnhKJ5=1V}Yn7P!2S zJ(kMkkKj<$ZqH{U33;F4LV@n#L>y-+%qX|{&aI&j5lM7V&|34DDot1|QGS2e^6R8= zw}H)fmcegt7`>Kpqm31qa)JDS9*;EBN0kjd8U+nWW%s*YhcAFa`FQ2(D|J28^Lflv zx%%}Eel<`m)MMjt!WOl4(p;2%URT1iFZajIBkJ7fp`_yIE@ianKju)*-9HLCoBb>+ zt!r{93__rT@+0(Ibd>qBiWAN~+jwY^C4srRX5OcZ8Q}lbtU{LNy~aYwVQKvi z_CayEds_&JQf&4@+8d3`at%luA|x2a`+ZS_kPUb<`fKqj8Wu1fk+J%KNsyq*-%$FY z_gA3~MlFO2hlZ7KrwRH~GlnmlQ>gV7-q4{4I&qq;_NAasR!#wzHB)c!GiWe%i2=F) zlVQwSv)(NR7Z}3ktGeHBiec?5oSqdlX~@w}3JIF!NVP$5HyCbepxEe?TqpJ*F4GX` z4bzz%>iia}|7V4b&9?CgI731-V7}<$7wB6AS8LV}?>*oniMn(RMk*^?8bu$-Z&#v> z#je!rcZY5Q?hKix`ld6ITl2Z$EiQX~U(`^y<(_^G`l+Pinr??@t7=*^(^++*QH3~F zVUYy6FKUIW1n4u)tJDay z+p-Zf9ExgKOJ6mwzQf=ZAsRS)UzZ6Uu7@6dU_EzwSJp_UbDpYod`y#Wry;EOPCeLz zDWQu3$fyp}$-=o?_Ty&I-FC~n>l`dQM++R*XOZ5O$PlQHcEr62Fu4wO03HuG$b`QkWvy1A z>%M|UGXr+D-wz7Zm-NQqKGCd|n#sYjZqLo7h)lo3V-m{2?`zGXu%V>8_f2VL3b6D; zxfEi+jSOaZWF|pf@WjE=ZWxNsoMG3J?~{FBdY8?)n_wKYM;ldT>!=#KbTPfy2(*O1 z4W>P$EEn*0OVi|TI^D9%Xp2d;giGtr3~&?|$#dJI_F=MGnC4e5>iPP$*1C@5ecL+& z7%niw%4>!7P z@*L@x1;Csx2Mkk93aqml!$@+D&}O0mn&u{CObiw;Ix<8_K2e*#0s8QT1$CD)VA%kj z+GuYjMRjWULRHcy<26YvM3`>+V~@XAz#F#K!5aAcFX1s8oKw$$wA?@Cg1GcfGu~~% zq~&NU&*t&)36HdMREQFe>shFKkQ1vNqxW6_jKPJT0*ySWn5XNgA}B9o;>Rh7$?+NS zMxTnsVK7JsIJykjf%>u+!f?c98n|Hs{8pBt!VgS8P>$#wgp-s0fh?Joqpkes(sPscrCGr# zv`)=u@zd;QkolkFf1Yn+j%AkD8G2Z@mx6p8S{kY70Iz^w$=GvjgFgdp+HSTNEu)!`zrpt(A1&@+w#lq3TOOwWrC|Oa@P7he zVrypP3Nbh!Fd%PYY6?6&ATLa1ZfA68ATc>0Fd$M2ARr(w zMrmwxWpW@dMr>hpWkh9TZ)9Z(K0XR_baG{3Z3=jtU64&~!ypia_ncyu=^_HtE-j=g z*?7?(#q9ww3=UEZXp9%WeK3wvsSD5y?|q}k@Kbm0g3rLeDViQLI3FzG92YVO1CBnh zMuPPwKe~FGNhih&+^=)SsS7T$wgrAE;+$!P!@G?GzAymbUu2Pd7~$}H>i4I9N$G|Y zh75u!1r}Wy_o36Lo)CD2kDV>L&+D;Ze~zCuA;{V{dn6Mr&Pf|29Y$oW5DHr76vJTu zX>un9XRexxvnfs?Uf)!yON|mEr^X&!E)0u5Iu0qgL|8`)C#iFY54?xgRkJ1_<|l;$w`w~Wd_gqpy%Dy z+qZB1{Nc-|pZeFI-_LFzzQYr0dV$tz@&q?pa<-%8)%{YDZl-oGRa02KbjG%l67*Ky z(8pZWZe{PMMPzzcx^8p}rcV*l=3+s5UUwCgr5-WL;s+^tPN>Y1w=5{bG2F-XH3 z#DSA5^S;*JxPad46Yt**|A_vjEL9W8zR@#Z(C^J;t#fWxUeuie9Cs?@v~VL z2CzTuBZI@rx#f$KlK_@hE-PI$ePhd`qj1lqHM3PgJNEx++Xgt_xxaN>F3An1Y-{^& zz;oQ~`p&9(j{#45?D2t2h(y2~T1;S)BoMwry~Y^BG{zW;IL_1Z&o&o%7GZ42XdwG> zjMgc_(v*C*ABV%33vw3m!+{@qCpSrHe>+$<>h>WJ(})X47WKiAclik>B7THrT`qzR z2js9lE`p6nxekWOD9S~_X(2bc&Pv)*+w=eNss5q-eElDMVvK{}lXg|k>$!p8+u(`D TN$Y|m1d73^cX06P-Rs_8k$0SW literal 0 HcmV?d00001 diff --git a/images/fau-logo.png b/images/fau-logo.png new file mode 100644 index 0000000000000000000000000000000000000000..e0f287cb9a70fd0bd95b27ed0bff4d4c4d9b8ebf GIT binary patch literal 4860 zcmaJ_c{r49-@b=oY}vKg!&oQEQe#M_Mq^AVTg^zwE-}XPpln&PFGDC1F$vizM997r z4H?Q>Vq{)x%97=~z0V)tcO38Yy>lEh_cg!!IFbC>H<#hj4}% zQviSzf#VtucJNnKXs8&xK)ui7%sIeMAcsRV_@C3$kmwBnN(l#F$jhnU5uovyj{(8Q zjO66wcgxEW@bmLib@g!bw!h`+s7ms3ezK%13IKuuI1Jj{KWlN~UcAI?0Q(B#?7c=N zxBnsJiCSAz0sR;*bNLLJ_|KImqU)#P>!sq&T*L&H5tj{RYd#xV;NzVoOl3A@&lhHB zavy>SwuPPTVo%{`X_qdBzCu65D}G=bi+ktqH!ybYugmp_N$x}0)N^ueC*oXA6%0>di0h=SYZjl^r0AMt2Uro(N7tC1{hcJ zqRp=%lzNBQfZvt86v(7L+93jN5U>{Xl9Z$&$Fbjyf|?wwq$(Z}jKBf}hiq9{4Zz9+ zTq+)1DkIZ3G@jg-)D7Tc)fLc$ckM9$u^yUWgaRQ-T3IYzc=pyY`K4I5GcQY7`O^{# z*Jwc)%y)TfoPYqOnqUf!5$VDL0@`tK0}Q6$?%(E!)Bsnm82O(@{2uHT$UjJ4(UB|j z>F;bTySh_tQUe?bGrn2xnX1Nf@EcW#9U(x0$WXjwu?gkMW2vAjip|uq2wh<5LzC;p zLw@lvk75=R;RZ!9(Yd>l;hNb=wo7`>mQm8T{SZnpte$d5OMDt&&!VF8sNmDd7-wAX)8;nMFE$SNZ$X%i>u_QC_N@BEE zOG=&(m3kv+f7vr@yrCToT7wSI<6`1OXKLDQ0cErS|-< zWYdM=GOVm3`l_}4U!zt3m5wjH09rxkWMrIIjbfvtvpP~_z;PutI=Y*PP?C}HI*dOs z&yG1vj%g;ARq~oR4GvuopI@YFi~rVnzpRIe+V;Bv!^NcrOmy}%V$23D=$ztbq?#u> zwaqZcZsAOZs0z9)VFq;VEQPdTxta{oS; zdGBc%y&|qo6)mvD4y+$OuWhRXQI=gR-Ni8sF+mg29W3Uu*Iyo=US8e#glZQ)JWUbk ze=K7Z12-5-F|hf}mt0-y9T=@+^3IaUZ+1K0yIrbCeUd&@vv+)&DM!HA};^_VQMP>SmQK&)-! zI%&UM_xj%s?bN4njqj20-^J5~-$p^dDgbpm5fM(3A>Zd@Q{=6b(A^<^n9JYJ9lqNP z!p-&4y)-I$9TCdl?oMgH1*C)3yapz4@;I8n=K0t+@$G0adEG8GWMufnIe_3U5!!tO zp>(&_3?l9#VW(#KxzjtKZyCYax zQtfi;Z7F$YZ_^tsqLw5eXNl5PGLY!ve#gxV}eHAzd z10)QuV+ub7L1OU#KWy+HB(dhMu9nuv5xOOcZ5UFO!?*s)C8VPZ0u|}E&%Sww>TJOA z>%nZ~e=19Uy6aQm8!v8pz9)Kg5bWoBygxq0Z=9 z$z~?+p@bXQfQ+)9{rW5IvoD^1$LwzHQM-E<^}L9GC25HYWk^w=0PO2Vlxi(6`nzbl zaJ}*ntbHNfR}H-qS3>WLRF*>F*YyxeUc+so*fI5+mCq7wF86q87i~y`h*G_Uqr6;G z6z;-vS-ekH0m-=@B-*mx#;Y}Ybt3xJGYogdoOt7P4{!n6kSKOPdtk7CN}n77{b~n7 zugn%liCa?<9G3GgiiKx=!Pmg>u~rXla0&k!XOSKgQ?DvOUb%ahLF|(Df`E5^R&~98HHI^UVntUGg&FPyJ`KkYr-Ok z{acU2B(3vgs9CAKu+f{-EGzcvB*wfqkZ8PSdM+5Br>?k1HhAN9)H=|(;$2j~scR** zn{5oxwOU8N3homF77V0n9cAziJ-)$KG=9f;xPj_uE?Lvb%Ryj63dwB_yd4Cizy_wT z#WU~$?1}*l7|!J3S(#Ev;|-bb`Qica5hSe67?cD4gA1D{2%*@E=?C3R6dzmSPDg&Z zmGv&^Wl<-Rl$$#Urc~=s*vc(_89={3{eaWW_(ee8qrc}q&kVl-X>`fX=e#+3A_D}e zvLHSdv3q`I9?s+kfLCgLbMwkfD8|4JM}hmrKFj}Roc>nlS{U>2!CWqI?yU2 zZ@Z3fP8{Fa%kWY_<5#t+seuai8IVHDF6j%(ftO5`@J4et6ckzTy&>ZZDmw3uRr!37 zVpLRJIb$Iq&C2>*JEy0L*#PmeWVoQe9*I!OiLrK-xSvJYP0!h0GvCA|kf)5tdwl&jfeg?_NA&eUyBv<==WqJx_7~+ z@{~c|gLR5Xk%-0=WeJa8v_C~9$wJMIqz5Y77N+0EVss*7Nq!p2_~J{{7aN|yS-N(& zb~R1=uE_)DmWAo$&70Kev612)eC!3j7_f~u{&P$JyVH}^%dv7CBsR}izPxL#BtX1? ztohVQfU{MK1$p9$VdPZ+>ngtc!Z%shkYAE-nnBmLTwfN&G8BSNl~Z+(qme>^Jc3%w zwm?pwZFZLiA>WWCH#>x~i)R9yJBSZ)MAJPaOuyEbW36|AhrUuu1#(Ys;cwocNN2&M z`}o|B%vNfuIpMa#lhAqBvgOhKw!K<`W0owTyAUfU2^m-p>|`Gb6W0moK6ZknKZMC~ zoa3^M0rzSwqF=0SCW>u_tuXI=6JBr=jPNeG;9wBu83Nc;_ETD_MX{s;Vkmqzs_)&h z2t2hTl@>IhkBLvLmHCR61&HrPCm$iMao zsupW`P!m@{9lu`9t3TPGA9ivz^io3pb;yopo36pOa43lwWq3a9DliV2c3~no-9I6X z&Mrm5XDfQn1YajGq?bQj+`f^q+%FSN8Nl=JrTIof*-x(0glrtwG}=3ON32ka6DJ0TkXS36u_}<03&3azMo@|113dQx7WqL|weQt;cOL zpf{m5HS9mpL03X_r!;Zrq8zgGweFU8hC9Q9ULl%ab2k(Z07&(=tKXYnoZO$i!u)u( z*!AObmx|Iz^!AxEMq*7NA2sT=Njn@Z#>}Iolvyv+Wi-yFRLmn-j9)5eT7Szmcd$;L z8OA~|HKqu)5?4r=og4EdlO*r}GkI_92@niE(cqxJ4I*+^-&_XvwDNVoH{bA`*|uVL zsG?d8!Wj_59qFsGdxIAGxd)u+Pw|RaUzg;~?LuMW zE}r@lkmJkYww*eEf+HB@U`I=0_T7YziQ4n<40p-3R{4Z{tJ)xDRc4xf?XFe`9E3Snil-%s|RUq%H5@}Vjo4+CS@gEPKOg(66R^faH zAJjOh5%+wZCWe(Bt_F6F$NlP7D$hgBWc8FTwtA|o9h}y#|MSW1Z>?rLrzL~lQ~|I= zh6@pEe_yX=&wzQfEH!soC$vB+%A~Q}P5c+*RUMcu7-jjsS!%Ef;?5$7bE$1ysf)(+nWw8?#1KT*Z>PA z@SK`v5qjlFMQZz)5NY+|UmmUF+U2aH11O_7-nO=}3>N>B<*Y8d>1O~dd3@{9*bwMR zopO5lcL@h&kl7z)1^l{GXzh|MOJQHCN}T2n`u5r+deS~yR=_}>FFX79 z$tQVZr^>omM=je|UASVgA8E+`;R7smjA{ST1^!re8BTMS@-=}uRT_8 zMJ9V3+kwwD2kJ`OK(VwVKSG`r-ugLhH&VMoG&L|=UH#w#j4!x--l-S+%804uPAJ32 zq8@>I)U9#J$y^i*sbjTXio9npo=kd{|I@G(>sJUH=&;9$7#`mL&;=k~_frg`JYSX@ zpguK=t@!lueSZJ=_K#?>k>&!jIjfIA9or+;AmQXl(ej3CQrj?6aDW|7q{zOJeg9%R zYm3?T)%8YS4z;a@S-*Jb$cY+cMQ8ZA&TmVRfGYGmF^u+-bYn%u+P+Wiy7%hI%wCcv>w>GO6`iL*Jm;0EYdiF?5 zGXeHEFnr$w@ar4Y>dG~#=W2Nl{I0z`7k?cXzt0=^V&e5&0Neuj@gp17(k8G9w3Ie| za!TYq05TS!E5#%ZW literal 0 HcmV?d00001 diff --git a/images/tcs.pdf b/images/tcs.pdf new file mode 100644 index 0000000000000000000000000000000000000000..2401dc1c587ab3efaf1cb633ae13d4f5fb9428f6 GIT binary patch literal 2792 zcma)8XH-+!7DkaWQBgoFL(pqMASwisn81(-gf3D-6Oj_a1;T_RrZ5x>CWDlpLf<>=iKw%-M+o=T6-&78yX+dRL8)S zE2m4AU?>0yFg$!=y1Iad1xWYi_yA}KBEbLv&@iUbI3No;X=Dy)2vQiHAdEnOu{kV| z><0_D=9j2nvafoh;ap&pZm6-G*(IGv@P>K4IBb2{nRD*0)}55v;J4d^S9247k96k= zOK;p;T$e`Opl$ioJ?&+Sc~|{LtGj~Y z-hg}kw;ZBRZgRFv9Tg;X1_bzt2Iq2>tEQern z`L+rFT-EVOrIs6|FM5-v{ADgJmyBNXtlg2Z4&~fE)ZpVi6~V0bEgwb9CB7c@ycgF+ zH0h1|qwY$DT9YmIfNV+kNt{O&Ejb_vz9?>fHw^n>+o2<1%Ymy25?rl)cT^$`k3QxEh@7)6p*KV)B337xxL zH9Xp<^vUZ?_2W^doYb1f#zr};l!>#{{UHqA3(|2#SDW?P{^E<9cQx4DH%Pdv*Us%p zDhK1E5_2x@E|y4=@2`o3du434G21p`NO+)}WNBKFEwuI7v$0+-?5h97WE~9nIlV{L zcxJ4^?|$#(l19gtuwTq)e~YQJ=oq&@@SBS6>x&_;jCPa)S@6lNjfSCv^>GOGo~+pq zl8JbGrl!J+iao}dm)G6n+a-?|AFBAYlCm7MvVi6OHNB%vPEo=6%xRSYT6EAzgZX9_ zLh;9tlW17}%#uP@Rl@w)L)$$3@(CBLd`v2zuHT|mJ9xvNVGpm`eazz+h;i+Va1irZ zFg-FMfuGMAZf^CLX-<%b%U&shhwO=ES2-74S+pbTQc4SnWeM4TB@~D)C@(Nt53VFv zUAuTw<~eI1=t404h+}$3tyq>_NuYH8#KR4z{GF7rtr7#{%mZuRTFs_qZX2e@AHNyD zfwUVl5t!M1X`UFQ_ZHu3yNT}>yj^He%I9Ut&@LpiKo z%e1SJ+-afx7`&X{VfXsI^zT6xp?!K%G}u-(b0!Z?M<$;3n_Qay6Srp6=EmbD`@CBI zug+60_PtI|s1n&x=ts4;dinnN@o|L7%aQDO?!n|eZiT1Li*x_l`v|XO7hwprnfuII zW$jks+$r2FWml8Z<@nB@%T=GgW3&(j3JYfJX`OSNP#e?EpK%5RcQ`&*z2<@^C|9z0 z-tk@3Np7qyet&!2?s4VC2~|ZRD#UchoSG7T_~*VY$(!=#U%T@eocJ*@n(7CdnLcKDLW?$azmFoV@~%~ z^uG~+9WGL}79a`3N3R`Q(-3R3H!Pm%(_8rnV{s7oKu|5HbRYGfbl4wQC>C+z@{22- z%P#Rw-Q+fFWgGjze}R|BNulR}A#%n)t0xE43@dLP?mcmJxsi-%b)ExnGHOt}(U zJFm8;0m-#jToiybvFt9IR72d;eaK_a2~n?Ld!{_9vl_gg9JSQWEI^clEV$klGQa8+!>fe($DhQTuc!77>8g+Zqx+2Oe+V8#sCsB^t6`o7E?*O+il zn(+KeTnwsU^Roi4>keU!%d~dZtef9b@B5|qDhQngIt-+He(AQ*o2XBVnzQJH+OsB3 zTT>(;x@vuE1=2Z?+Slpe80bkQ8!!R@X9z+97!+C^sf9wLaDWyPrLK)e zW6?OkWmT8RpmQK)HXs@|KF<~=EC!ePU3j0pt)gEewuNF~k?Cxv$TKDID{KaESlrc^ zM6`&Ilp*L(rGO+81ChvQRvILb&ET>qAR7?nhV&gr5reNI&)*!`tAQS+da@xtqBM}c z#m*Jc{?5SR?+g&3QHaA}0jd--mBj!w)iu%TT7aq#hr`s-fYJgdwFgSpS_~)O;jPAt%L}gg5E1N@RaaI{>VK7LTva*qtG3>u= CX{cBL literal 0 HcmV?d00001 diff --git a/vortrag.tex b/vortrag.tex new file mode 100644 index 0000000..3b07c62 --- /dev/null +++ b/vortrag.tex @@ -0,0 +1,143 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%% This Beamer template was created by Cameron Bracken. +%% Anyone can freely use or modify it for any purpose +%% without attribution. +%% +%% Last Modified: January 9, 2009 +%% +%%% Modified by Maximilian Krüger +%%% +%%% April 17, 2014 +%%% +%%%% Modified by Christoph Egger +%%%% +%%%% September 2015 +%%%% + +\documentclass[12pt]{beamer} + +\usepackage{BeamerColor} +\usepackage{textcomp} +%% Beamer Layout %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\useoutertheme[subsection=false,shadow]{miniframes} +\setbeamertemplate{footline}[frame number] +\useinnertheme{default} +\usepackage{fontspec} +\setmainfont{Droid Sans} +\setsansfont{Droid Sans} +\setmonofont{Source Code Pro Regular} + +\setbeamerfont{title like}{shape=\scshape} +\setbeamerfont{frametitle}{shape=\scshape} +\beamertemplatenavigationsymbolsempty +%\setbeamertemplate{mini frames}{} +\setbeamercolor*{lower separation line head}{bg=DeepSkyBlue4} +\setbeamercolor*{normal text}{fg=black,bg=white} +\setbeamercolor*{alerted text}{fg=red} +\setbeamercolor*{example text}{fg=black} +\setbeamercolor*{structure}{fg=black} +\setbeamercolor*{frametitle}{fg=DeepSkyBlue4} +\setbeamercolor*{title}{fg=DeepSkyBlue4} + +\setbeamercolor*{palette tertiary}{fg=white,bg=black!80} +\setbeamercolor*{palette quaternary}{fg=white,bg=black!80} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\usepackage{tikz} + +%\usepackage{minted} +%\usemintedstyle{trac} +%\usemintedstyle{monokai} +\setbeamerfont{frametitle}{size=\huge} +\setcounter{tocdepth}{2} +\usepackage{booktabs} +\usepackage{multirow} +%use biblatex instead of bibtex +%\usepackage[backend=bibtex, style=numeric, sorting=none]{biblatex} +%\addbibresource{vortrag.bib} +%\setbeamertemplate{bibliography item}{} +\setbeamertemplate{caption}{\tiny\insertcaption} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\begin{document} +%\renewcommand{\inserttotalframenumber}{\pageref{lastslide}} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\begin{frame}[plain] +\title{Alt. free $\mu$-Calculus for cool} +%\subtitle{A Free and Interactive Disassembler} +\author{ + Christoph Egger\\ + {\it Lehrstuhl~Informatik~8~\textendash~FAU}\\ +} +\date{ + \begin{tabular}[ht]{lcr} + \parbox{3.0cm}{ + \centering + \includegraphics[width=2.5cm]{images/fau-logo.png} + } & + \parbox{3.0cm}{ + \centering + + } & + \parbox{3.0cm}{ + \centering + \includegraphics[width=2.5cm]{images/tcs.pdf} + } + \end{tabular} + \\ + \vspace{0.6cm} + 2016~\textendash~01~\textendash~19 +} +\titlepage +\end{frame} + +\AtBeginSection[] +{ + \begin{frame} + \frametitle{Table of Contents} + \tableofcontents[currentsection] + \end{frame} +} + +\begin{frame}{Table of Contents} + \tableofcontents{} +\end{frame} + +\begin{frame}{Where we left} + \begin{itemize} + \item actually implementing deferral tracking + \item deciding when some deferral can be considered ``finished'' + \item \dots + \item finding ``right'' heuristic for when to try and close the tableaux + \item fixing all the bugs + \end{itemize} +\end{frame} + +\input{chapters/finishingcool} +\input{chapters/early} +\input{chapters/optimizations} +\input{chapters/benchmark} + +\section*{} + +\begin{frame}{Questions?} + \vspace*{\fill} + \begin{center} + \includegraphics[width=7cm]{images/42.pdf} + \end{center} + \vspace*{\fill} + + Download: https://static.siccegge.de/talks/cool-FAU-2016-01-19.pdf\\ + https://git.siccegge.de/?p=talk/coalgebraic-mu-calculus-cool.git +\end{frame} + +\end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-engine: luatex +%%% TeX-PDF-mode: t +%%% End: \ No newline at end of file -- 2.39.5