From 3a0ad96bed40c5d8a17406cd5ba28c4b208a447c Mon Sep 17 00:00:00 2001 From: Sixto <818299@unizar.es> Date: Tue, 6 May 2025 13:15:59 +0200 Subject: [PATCH] Subir archivos a "/" --- TFG_Sixto_José_Martínez_Gan.tex | 284 ++++++++++++++++++++++++++++++++ ciencias.png | Bin 0 -> 13004 bytes conjuntos_TFG.sty | 42 +++++ logoUZ.png | Bin 0 -> 12518 bytes vectores_TFG.sty | 85 ++++++++++ 5 files changed, 411 insertions(+) create mode 100644 TFG_Sixto_José_Martínez_Gan.tex create mode 100644 ciencias.png create mode 100644 conjuntos_TFG.sty create mode 100644 logoUZ.png create mode 100644 vectores_TFG.sty diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex new file mode 100644 index 0000000..41a8d8e --- /dev/null +++ b/TFG_Sixto_José_Martínez_Gan.tex @@ -0,0 +1,284 @@ +%&pdflatex +%!TEX TS-program = pdflatex +%!TEX encoding = UTF-8 Unicode +% +% PLANTILLA PARA UN TRABAJO DE FIN DE GRADO +% EN EL GRADO DE MATEMÁTICAS DE LA UNIVERSIDAD DE ZARAGOZA +% +% Mario Pérez Riera +% Área de Análisis Matemático, Universidad de Zaragoza +% +% Última modificación: 1 de agosto de 2021 +% +% Escrito para pdfLaTeX +% +% +\documentclass[11pt]{book} + +% Paquetes y fuentes +%--------------------------------------------------------------------------- +\usepackage{geometry} % define las dimensiones de la página +\geometry{ + a4paper, % Tamaño del papel + centering, % Zona útil centrada + margin = 25mm, % Márgenes en blanco: 25mm +% includehead, % Incluir la cabecera en el área del texto +% includefoot, % Incluir el pie en el área del texto +} + +\usepackage[utf8]{inputenc} % para usar el teclado normalmente +\usepackage[spanish]{babel} % selecciona idioma +\usepackage[T1]{fontenc} % gestión de fuentes con acentos + + +\usepackage{graphicx} +\graphicspath{{C:/Users/usuario/Dropbox/Carrera_5/Asignaturas/TFG/Imagenes_y_Figuras/Identidad_Corporativa_Universidad_de_Zaragoza}} +% Si alguno de estos paquetes no los vas a usar, mejor los quitas: +\usepackage{amssymb} % para cargar las fuentes de la A.M.S. +\usepackage{amsmath} % para usar letras griegas en negrita +\usepackage{amsthm} % mejora los entornos tipo-teorema y proof +\usepackage{mathptmx} % fuente Times +\usepackage{diffcoeff} +\usepackage{nolbreaks} +\usepackage{nicefrac} +%\usepackage{lmodern} % fuente Times +\usepackage{tikz} % para los dibujos +\usetikzlibrary{babel} % para evitar conflictos entre TikZ y babel + +%\usepackage{longtable} % permite saltos de páginas en tablas largas + +%------ Enlaces en el pdf +\usepackage{url} +\usepackage[pdftex, colorlinks=true, citecolor=cyan, linkcolor=black, +urlcolor=black]{hyperref} + +%------ Cabeceras y pies de página +\usepackage{titleps} + +\newpagestyle{miestilo}{ +%-- Cabecera par y cabecera impar +\sethead[\thepage][][\textsl{\chaptername\ \thechapter. \chaptertitle}] +{\textsl{Una plantilla para el TFG \ - \ Mario Pérez Riera}}{}{\thepage} +%-- Pie de página par y pie de página impar +%\setfoot[][\textsl{\thesection. \sectiontitle}][] +%{}{\textsl{\thesection. \sectiontitle}}{} +} + +\newpagestyle{primeraparte}{ +%-- Cabecera par y cabecera impar +\sethead[\thepage][][\textsl{\chaptertitle}] +{\textsl{Una plantilla para el TFG \ - \ Mario Pérez Riera}}{}{\thepage} +%-- Pie de página par y pie de página impar +%\setfoot[][\textsl{\thesection. \sectiontitle}][] +%{}{\textsl{\thesection. \sectiontitle}}{} +} + +%------ \S 4.3, p. 93, de The LaTeX Companion 1a ed. (Figura 4.2) (Juan Luis) +\newcommand{\clearemptydoublepage}{\newpage{\pagestyle{empty}\cleardoublepage}} +\newcommand{\sectionmarkwithoutsections}[1]{\markright{#1}} + +\makeindex + +\theoremstyle{plain} % Entornos tipo teorema +\newtheorem{teorema}{Teorema}[chapter] +\newtheorem{proposicion}[teorema]{Proposición} +\newtheorem{lema}[teorema]{Lema} % La misma numeración que 'teorema' +\newtheorem{definicion}[teorema]{Definición} + +\theoremstyle{definition} % Entornos tipo definición +\newtheorem*{defin}{Definición} % El asterisco hace que no se numere +%\newtheorem{ejemplo}{Ejemplo} +\newtheorem{ejemplo}[teorema]{Ejemplo} + +% Conjuntos +\usepackage[pizarra, barra]{conjuntos_TFG} + +% Vectores +\usepackage[negrita, parentesis, vertical]{vectores_TFG} + +% Cosas propias +\newcommand{\modulo}[1]{\nolbreaks{\ensuremath{#1}-módulo}} +\newcommand{\submodulo}[1]{\nolbreaks{\ensuremath{#1}-submódulo}} +\DeclareMathOperator{\imagen}{im} +\usepackage[loadshadowlibrary, shadow, textwidth=20mm, textsize=tiny]{todonotes} + +\newcommand{\engendrado}[1]{\ensuremath{\left\langle #1 \right\rangle}} + +\newcommand{\anillodepolinomios}[2]{\ensuremath{#1\!\left[#2\right]}} +\newcommand{\LT}[1]{\ensuremath{\text{LT}\left(#1\right)}} +\newcommand{\LM}[1]{\ensuremath{\text{LM}\left(#1\right)}} +\newcommand{\syz}[1]{\ensuremath{\text{syz}\left(#1\right)}} +\DeclareMathOperator{\grado}{grado} + +\newcommand{\derivaciones}[1]{\ensuremath{\text{Der}\!\left( #1 \right)}} + +\begin{document} + +\frontmatter % Parte primera del texto +\pagestyle{primeraparte} % Estilo de cabeceras para la parte primera del texto + +%\pagenumbering{roman} % Incluido en \frontmatter + +%--- PORTADA DEL TFG +\begin{titlepage} +\begin{center} + +\null +\vfill + +\Huge{\bfseries Una plantilla en {\LaTeX}}\\% +\Huge{\bfseries para el trabajo de fin de grado} + +\vfill + +\noindent +\begin{figure}[h] +\centering +\includegraphics[width=100mm]{ciencias.png}\\% +\includegraphics[width=100mm]{logoUZ.png} +\end{figure} + +\vfill + +\Huge{\bfseries Sixto José Martínez Gan}\\% +\Huge{Trabajo de fin de grado de Matemáticas}\\% +\Huge{Universidad de Zaragoza}\\% + +\vfill +\huge{Junio de 2025} +\end{center} +\end{titlepage} +%--- FIN DE LA PORTADA + +\clearemptydoublepage + +%\setcounter{page}{7} % Por si queremos imponer un número de página + +%--- RESUMEN +\chapter{Resumen} + + + +%--- FIN DEL RESUMEN + +\clearemptydoublepage + +\tableofcontents + +\clearemptydoublepage + +%------------- +\mainmatter % Parte principal del texto +\pagestyle{miestilo} % Estilo de cabeceras para la parte principal del texto + +%--- CAPÍTULO 1 DEL TFG +\chapter{Introducción} + + Supongamos que tenemos un polinomio en varias variables, por ejemplo \nolbreaks{$f(x, y, z) := x^2 + y^2 + xz$}, y estamos trabajando intensivamente con combinaciones lineales polinómicas de sus derivadas parciales de primer orden, es decir, expresiones como + \begin{equation*} + y^2\diffp{f}{x} + xy\diffp{f}{y} - x^3\diffp{f}{z}, \quad \diffp{f}{x} - \diffp{f}{z}, \quad \text{o} \quad \left(x^2 - y^2\right)\diffp{f}{x} + \left( xy - yz \right)\diffp{f}{y}. + \end{equation*} + Entre las muchas preguntas que podemos hacernos se encuentra saber cuáles son aquellas cuyo valor es un múltiplo escalar de la propia $f$. Por ejemplo, + \begin{equation*} + x\diffp{f}{x} + y\diffp{f}{y} + z\diffp{f}{z} = x \cdot \left( 2x + z \right) + y \cdot 2y + z \cdot x = 2x^2 + 2y^2 + 2xz = 2f. + \end{equation*} + \todo{¿Cómo de larga debería ser esta introducción? ¿Tiene que <> ya los funcionamientos o solo plantear los problemas que queremos resolver?}¿Cuáles son estas? ¿Qué estructura siguen? ¿Y cómo podemos calcularlas? + +\chapter{Módulos} + \todo[inline]{¿Hace falta introducir las definiciones de anillo y espacio vectorial o se dan por hechas?} + Como hemos podido ver, los conjuntos con los que estamos trabajando son una generalización de los espacios vectoriales donde los coeficientes pertenecen a un anillo en vez de a un cuerpo. A esta generalización la llamamos módulo. + \begin{definicion} + Sea $A$ un anillo y $M$ un conjunto sobre el que hay definidas dos operaciones: una suma, $+: M \times M \rightarrow M$; y una multiplicación escalar, $\cdot: A \times M \rightarrow M$. El conjunto $M$ es un \modulo{A} si + \begin{itemize} + \item $(M, +)$ es un grupo abeliano y + \item se cumple que $\left\lbrace \begin{aligned} + &\left( a + b \right) \cdot m = a\cdot m + b \cdot m, \\ + &a \cdot \left( m+n \right) = a\cdot m + a\cdot n, \\ + &\left( ab \right) \cdot m = a\cdot \left( b\cdot m \right) \;\; \text{y} \\ + &1 \cdot m = m + \end{aligned} \right. \quad \text{para todo $a$ y $b$ en $A$ y $m$ y $n$ en $M$.}$ + \end{itemize} + \end{definicion} + \begin{ejemplo} + $\enteros^n$ es un \modulo{\enteros} con las operaciones naturales. En general, dado cualquier anillo $A$, $A^n$ es también un \modulo{A} con las operaciones componente a componente. Trivialmente, el propio $A$ es un \modulo{A}. + + La definición de espacio vectorial es más restrictiva que la de módulo, por lo que todo \nolbreaks{$C$-espacio vectorial} donde $C$ es un cuerpo es también un \modulo{C}. Por ejemplo, $\reales^n$ es un \modulo{\reales}. + + A lo largo de este trabajo será de gran importancia el anillo de polinomios sobre un cuerpo, $\anillodepolinomios{K}{x_1, x_2, \dots, x_n}$, al que denotaremos \anillodepolinomios{K}{\mathbf{x}}. Sobre todo porque a partir de este construimos el conjunto de vectores de polinomios $\anillodepolinomios{K}{\mathbf{x}}^n$, que es un \modulo{\anillodepolinomios{K}{\mathbf{x}}}. + \end{ejemplo} + \todo[inline]{¿Haría falta alguna introducción o hilo conductor para esta definición o es mejor yuxtaponerlas?} + \begin{definicion} + Sea $A$ un anillo y $M$ un \modulo{A}. Un subconjunto no vacío $N \subseteq M$ se dice que es un \submodulo{A} de $M$ si es un \modulo{A} con las operaciones de $M$ restringidas. + \end{definicion} + \begin{ejemplo} + Si pensamos en \enteros{} como un \modulo{\enteros}, $2\enteros$ es un \submodulo{\enteros}. Esto debería recordarnos a los ideales de \enteros. De hecho, un ideal de un anillo $A$ es un \submodulo{A} del propio $A$. + + Consideremos el \modulo{\anillodepolinomios{\reales}{x, y}} $\anillodepolinomios{\reales}{x, y}^2$ y tomemos un par de elementos, como pueden ser $\formatovector{u} := \vectordos{x^2y + xy^2}{x + y}$ y $\formatovector{v} := \vectordos{y^3}{x^3}$. El conjunto de combinaciones lineales\todo[fancyline]{¿Es necesario explicar cómo serían las combinaciones lineales de los módulos o con la analogía a espacios vectoriales hecha antes es suficiente?} de estos vectores, + \begin{equation*} + \engendrado{\formatovector{u}, \formatovector{v}}_{\anillodepolinomios{\reales}{x, y}} := \definicionconjunto{a \formatovector{u} + b\formatovector{v}}{a, b \in \anillodepolinomios{\reales}{x, y}}, + \end{equation*} es un \submodulo{\anillodepolinomios{\reales}{x, y}}. De hecho, a este tipo de módulos los llamaremos submódulos generados por $\mathbf{u}$ y $\mathbf{v}$. + \end{ejemplo} + \begin{definicion} + Sea $A$ un anillo, $M$ un \modulo{A} y $N$ un \submodulo{A} de $M$. Diremos que $N$ está generado por $G \subseteq N$ y lo denotaremos como $N = \engendrado{G}$ si + \begin{equation*} + N = \definicionconjunto{a_1g_1 + a_2g_2 + \dots + a_kg_k}{a_i \in A, g_i \in G, k \in \naturales}. + \end{equation*} + En el caso que exista algún $G = \conjunto{g_1, g_2, \dots, g_n}$ de forma que $N = \engendrado{G}$ diremos que $N$ está finitamente generado y lo escribiremos como $N = \engendrado{g_1, g_2, \dots, g_n}$. + \end{definicion} + \begin{definicion} + Sea $A$ un anillo y $M$ y $N$ dos \modulo{A}s. Una aplicación $\phi: M \longrightarrow N$ se dice que es un homomorfismo de \modulo{A}s si respeta las operaciones de módulo, es decir, si + \begin{itemize} + \item $\phi\!\left( m + m' \right) = \phi\!\left( m \right) + \phi\!\left( m' \right)$ y + \item $\phi\!\left( am \right) = a\phi\!\left( m \right)$ + \end{itemize} + para todo $m, m' \in M$ y $a \in A$. \todo[inline]{¿Se deberían introducir las nociones de isomorfismo, ser isomorfo, etc?} + \end{definicion} + \begin{ejemplo} + La inclusión de $\enteros^n$ en $\racionales^n$ es un homomorfismo de \modulo{\enteros}s, sin embargo, no es un homomorfismo de \modulo{\racionales}s ya que $\enteros^n$ no es un \modulo{\racionales}. + Por otro lado, la aplicación $\phi: \anillodepolinomios{\complejos}{x, y} \longrightarrow \complejos$ que envía a cada polinomio $p\!\left( x, y \right)$ a $p\!\left(0, 1\right)$ es un homomorfismo de \modulo{\complejos}s. + \end{ejemplo} + \begin{lema} + Sea un anillo $A$, dos \modulo{A}s $M$ y $N$ y un homomorfismo $\phi$ de \modulo{A}s. $\ker \phi$ es un submódulo de $M$ e $\imagen \phi$ es un submódulo de $N$. + \end{lema} + \todo[inline]{¿Es apropiado incluir la demostración o es suficientemente obvio?} + \begin{definicion} + Sea $A$ un anillo, $M$ un \modulo{A}, $N$ un \submodulo{A} de $M$ y $\sim$ la siguiente relación de equivalencia sobre $M$: $m \sim m' \Leftrightarrow m - m' \in N$. Definimos el cociente de un módulo por un submódulo como $\cociente{M}{N} := \cociente{M}{\sim}$. Los elementos de este cociente se denotarán por $m + N$. + \end{definicion} + + Con estas definiciones, ya podemos empezar a expresar los objetos que nos encontrábamos al principio en un lenguaje más formal. Para abreviar la notación, escribiremos $\partial_i$ cuando nos refiramos a la aplicación + \begin{align*} + \partial_i : \anillodepolinomios{K}{\mathbf{x}} &\rightarrow \anillodepolinomios{K}{\mathbf{x}} \\ + p(x, y) &\mapsto \diffp{p}{x_i}(x, y). + \end{align*} + \todo[inline]{¿Hasta qué punto interesa o deja de interesar poner los argumentos de los polinomios?} + Con estas aplicaciones, pasamos a definir el módulo de derivaciones, el conjunto donde residen todas las posibles combinaciones lineales de derivadas parciales: + \begin{equation*} + \derivaciones{\anillodepolinomios{K}{\mathbf{x}}} := \definicionconjunto{a_1\partial_1 + a_2\partial_2 + \dots + a_n\partial_n}{a_i \in \anillodepolinomios{K}{\mathbf{x}} \, \forall i}. + \end{equation*} + Es un \modulo{\anillodepolinomios{K}{\mathbf{x}}}. Tomando $f \in \anillodepolinomios{K}{\mathbf{x}}$, aquellas derivaciones ---elementos de \derivaciones{\anillodepolinomios{K}{\mathbf{x}}}--- que cuando se aplican a $f$ devuelven un múltiplo escalar forman el submódulo de derivaciones tangentes a $f$: + \begin{equation*} + \derivaciones{f} := \definicionconjunto{\delta \in \derivaciones{\anillodepolinomios{K}{\mathbf{x}}}}{\delta\!\left( f \right) \in \engendrado{f}}. + \end{equation*} + + \begin{definicion} + Sea $A$ un anillo. Diremos que $A$ es noetheriano si todos sus ideales son finitamente generados. + + Diremos también que un \modulo{A} $M$ es noetheriano si todo submódulo $N \subseteq M$ está finitamente generado. Es decir, si existen $n_1, n_2, \dots, n_k$ en $N$ de forma que $N = \engendrado{n_1, n_2, \dots, n_k}_A$. + \end{definicion} + \begin{lema} + Sea $A$ un anillo y $M$ un \modulo{A} noetheriano.\todo[inline]{¿A partir de qué momento se pueden suprimir las premisas genéricas?} Los submódulos y módulos cocientes de $M$ son también noetherianos. + \end{lema} + \begin{proof} + [\textsc{Demostración}] + \end{proof} + \begin{lema} + Sea $A$ un anillo y $M$ un \modulo{A}. Que $M$ sea noetheriano es equivalente a que toda cadena ascendente de submódulos $N_1 \subseteq N_2 \subseteq \dots$ sea eventualmente estacionaria. + \end{lema} + \begin{proof} + [\textsc{Demostración}] + \end{proof} + +\chapter{Bases de Gröbner y Syzygias} + +\chapter{El Criterio de Saito} +\end{document} \ No newline at end of file diff --git a/ciencias.png b/ciencias.png new file mode 100644 index 0000000000000000000000000000000000000000..4fc88dcd63f34d62ef7f41c376409d11127b5521 GIT binary patch literal 13004 zcmc(GXH-*7)GmrN=_(*y1w=|f>Aiy>y+|)2y`%IRDS}Eh(tAfmdhZ0J1_(_dgb<2! zLhm7PkMH|^>)y4#_1*jDu6uvvoFp@IX7-+E_B?y$Nf@}&fy4Mb4F z=2eac6e|R72kcSfJe^s^1KE8)X0R2w6k9K11Z-$$TB*rdJ@00bxS<$;$DuwBYbQA)$yWL^+z_qfz zRuG+z!UcC8;>P{fMwxE_B78XIy!ZDm=lNGyVnA*@JSaVIc_4-lTyHr5mv;+fz?CZN zZ@qu7;ex=||6P;++VFqZks0|3iuX8|^jy(dG(wJvu(tC5Eg< z6Jj~Yu`CQJQ>^=2ULBp&eJS7VUQ{_$GG6-#P#=~FtJ$eBn0+5@_GR+hnOn5IDJQxn zEwfHCsu{U#trl?t&pzQK^%8l|&hKQRm#%{no*vag*9+!AeQI4JjDFQ$b zfl^|~DlfT-H9J#$KVL_qRaezOSX2>%ktH9u$z2GG(`3E=7a^XF`s(6MUO-E7o{z;E z+4h(mZDyPd5K$YA64VeX#+3H0H8~=`;>R0xMd?6If&Z-eh?iBzyVEvxXo^nK^Q3xzg>;9>_qSH zFKKvWv~Rpyh~*<2JyeX)7kR4feg5qmf+{5AMpQb{Dx1jD)3v>fGGC$E>!jJ63=;DkVF(YC z3FwaIQa&ra zas3wf30OQ2#QXw08yctJ$FF7vO*KofefunA!#yVq3_FX5Xixvu!+XHe^91I~a1}CV z?*9m$;`Si}^LZ@zr{#0UDkR}Q5=Heu5e-z9R1w#vPNRh1R`|$=aVHEJ3kITeIsfXK ziF~w{4@)Z(l4J6NAp9)5hdz+*)ntk8l_@`Dpp@V`~ z#gwi423(9bBLUVf{|*MBXwey0HIb>-pW6Qi2HsD^?q+zo^bxLS;OFmU&6(ZrPd{*4 zXgB;)$K#9!RQqn{g!5ilChwIE0Jrrl7PIeKts;yc-IQ~*_R4SqwZQ%m zNCg@-p|OnujY{9oSabavh`ut>I%^}ruH_9ssI+bt-WwtPRO?1Dj1!2!i)QAIsbSi| z&pBu}(*G$Z|1Yvd2puG6uSfX!zS}V-p&e8o6V;NZjXHi@L90b#y;8Igh)U&$sZ z7mW0~EV8d+;dpqB3oz#6Q46k$@E~R~UlX$w?-qUQX04S!A1U6i*A%svI|ld&32C>A z^r-f&G`n+4|2w{uTWhCN%rHl|>V+nY;bbjnT>EP~{`$~RQzd_Xb8+&I)7PQJC0%5U z|1J&?#orapu>vl-iq#;UdrN_@*9p4joXRm=2bP(acwvYimym<6YrHw*b6dl04Fmaw ze=zB2?FoQb>cPg%FhqKu5XZ(hkz3;>_>c3O-KKwLeqymT1@yo3FBX74d~?vJNpR>p zFM(R+q}Ki5S$8J*x8vHkLQ};9$UN~gKtQ{*5RgH~i zinZ)(C74jm8H6Aug zR;dWVdfj5PlB0X8zJOqFq<9x61Ktr~i?i*^M6MR+KUFa*nkB48f z^l5byYl=OA`c}ryK)t|nuSXZY{o#ETYbjB;LhlGQTHCvI|cUan3N5yDa>;+ zH=)VBgo$iKP}+a9@IpeiyY(hs3#)~24fnt;3*om760cyXA9f0cbUHOUm+d1k8Q(^3 z=AUONMrXn7>I9|G`ID1?PX2T)Gc^?tgZ(G6#go?9~ zHu(W1sfx8ej~?l0@44dvNECQw#*sS&G+2xkzLy8{C5(3}-tDNK?)0v0w~t!+y(DI* zrabE9!&eZl^bd3e4zlK0sZ0+8zJMe7JJ-77PU)GyjtA8$Z?-7`mn~>LSa5|F^cs&_0gm zPKFt6Rf^kbT!bk)q>yPm^)hSDWZ`F-L9%$}Ru;u&Q23)8z_2qCBRWO|hsWnq@T7Sr zFSe6?G#4Xozz564!?cek%ty$xChcC_{Hyg*>gFI)zj%b;EJK~MugWLXZB{Zdj>a9W z;n|(XAHEsu-1@r%`Q~_fcc$32Q0C!ov@i+W_f&A#lr&07XTG(+_Ex1%;;$JSsV%#; zm^5d4ukqtpH`OU)M98S9u@N6zh!&GDZS;=h=v!bsfwr-YQ9 z0z;bLd}z){wl1pdPYAHrIqC+VH>HZLN}_S2mXsCbgzQp(d-aV{fB0>=nm8-dR zTVfHQz2SmT#G0_y^L~ZHsyRk7)qmP=Cxu3z*riO4e+GKnP|)(r-2(_QwAsx(UAGVb zA;?QYVkvxXb8Y8k0mPCr65!0lqtbTqj~qMC^P!Nr%>E#giMpcp7ol|F|F&E)C(+#X z;+|#6C}n4U<2hXdXjmBQrK9)xpK|)L)hFQ%QGmKRi2N`Hp3TPq>EcTNy~gnG7$K() z%7^*QRwY(moi5W|GkU^xJ^)#>AgR3D4KVXtYs2_ckvv!dV6DDUneFR^zJqK`GX=%P zf?oRZAT}ZYj?lsh7@?Wn;NM~c4T-X$89krbsO`Yy@^8Sfm$Q8SdIEB@V^SQVMEIkK z(BY4OL2yX=fj;y)X}STBnnIqbC*dj4tJclp_p3@IEQDTndzlPgNawNv`XwG+r`1rN zo&{6}G=DMi5fI^Rp|;le?s-)!;AayIQAK$Dg+xE74wAq9pLYGw@D_f|BsZ zHz*&&v&8_FeOwNf!=ehb_ZP39)y;q&BZ2u6zpqnMhHu}lD~Ud|Ot)+8*-kooY(xai zc5E9%39$g>NDst3yWbxmAQH&$aY*@yRvKwX&ouFz8+h$Y+FUmuhzRW_wU&Q}4K>B6 zDEU{Y&AQ=n-JbDblY@4RB#Xxr;@r?zuiQ-!^q(SN(Gi2rWZ_>&fA@7(Nr^7f_;_EQKeAwo-1*Xa>@HsnomV+gsxOFHgL5&sdcl; z4}T!Mib-Ky+i8vm1W?37yXPkn3v=d?)I&dqvBcrc zcUlHxfR$PSaEUTSQ(lUzd0BXhPi?Wb4oDI*?|srhqw;9duUfBC>=5W|GV{tcju6AL z2zjc0=~#p+atkG*YUe+7U_HxPVVJ&wk=BLN!}n^Gs~Fe-YysA zk?k)>rv_{1*8L0U)p6Ps*gMeOYhS)ujKhXwUfX@zaV!MFpe0UU4(K z=#!OqMfzEg3gQun;@=f|_@fBH(iRy%D@WIx`FJ}~gVd^BCWVvjCIoEe5cI=brOwxo z7%qbqgy^oUy&h<2!)Z)b22Dg2S3OwA92OOreJpIC7on>9rC(+jz-zg(rlX|%MnIlp zArXfP`>-l#8`+M%A)lDBJ zC+d!v<4AgItlFO6b#z*37$nNB>Mi;Qg)X_1pQ)l4DC*`PIeFZlR8zCho(U1|_{>XLcb1OTxIympTrFqM(a#&8JM}pNJor zB&!?fnAUY>_FncpXA5`gy^4KeA{ri+h-Wgs$s8UMhC4Q$`!Xkg-^q*MJ54{NXz3aK zn`~|F3yMAtv`oSi+*xFAR|DVqiJ!n9FKay)tY);2p!im+@5#q!cW*f;al^8eRdd+9 zm19g4W;rGeLM0wo5R7zkTPT-g${TN?4^7dXZ@NPFFYu$LI|bI$ep4=Rd*|`SpAWI$ zHz>4c9V{^KZn6F`Gkp|&9#|f7eDk$2&$>0bgWc(K3Tjj?k8J1gC1K9=h5L;P!Zkx? z*r#?rZc|LbGpaj~T*`08gzrK5r~&M98!Ec$lbNy0MTeZ{Jl$JM3ZjbY@G+Y8@1NUG znP*e+fBZ?=8k2ItlJ|tbd0IHcT$R8N*`KhJjOcZgOgcB1pC~86UTdhTx#V`6k;0=Q zkJ+sS{V#bQCJ^Aif#?X2t$Iy=w>hr?A=OXdHYAl13aTr@KRVyA?It9DSU$8Ywd5$F zdRsww6Iq%`2&Jc9WtvS5ZEjB_$`_xlX);TE&SuK|ayRZrXWBxHDDQ)uVsiyE6Zm7Y zMKzi`?jFkfjmRDao0$&2$71euqeeXOcF&5)z8K`G%${BCwM3pd)P3`djd_T@u1Hgh zSctvY{^ZOT@X2sZIRD(ALZQ~S#c@i^rulXh9VWGS+9<$kXbnq1SH1r0ErL#u&m<;; zuKBYKdCT4XFYIl80-lYV#)fxfQf$FBIhg?ygeyj_9Q@l_N=a*MLyNJfRo$?KSYy8T zYoX(t+wWJo(nHY|k}IzWe$XBFUY>a%S!GIC_7RI3_N$NRu7fcm(&%`K?j1f5o zH3-FmETf~>0`vER9nMra#MowC;xTZq_KpWbmt(Kg-1&Asf6sm#F7Eou{V8u{(F`0u z8zRk64R5a*7KhRg0-OOxF|xLuo(6bx6E37qf1U`biyJdjZAGHE!5v{bbhPtY-><%V zCVzOa7yOF#xv4o}42U=NbE3{w@PJL+ccoj`hYzg-+3jAL>-t8_a8uuyFiTpls@bAL zZ`uqlF)`P#eMQ(%Y(4LsvF#nsB)woOZ)aPWeV`-su7aUlaBD#(88GhABqQ#Y{68qt z)bUBWj|K@NhKhc}Gq*uFGkzWaa*OCBcb^uOo3Y?Av>fA5uNgqv4z?V--IT>ysY^!B z6yQbOMzN$RnjH34Ukuxpl-@6^F;0xmbnYJFnCh_|{3`+O$JIsT1<+-R%;wj5VK1iS z27HNbCVyo=^m`7nG}y&OWNoy1tx*&wD$Ac76DT69icXp4egWZ>)_}gKEZ#zt{@PEU z2ua`fpzZP0g>RN=#GxiR#{?M)N>s%2mYr#j=8ix{JhS4)PiDHN#`+Bx(0+HeZQ2uC z&@%k6x96&H$IIkM!z4lHwqGs$RIjYmbV%;+y|2b5xyPdwon7(?PWTZ#fsm z2bX3^TPeP{Vo`~&w#yUmH@tmi91yT#Qr+L_SczB=_VH~t73clK02&3o_GsppY;uw0 zXh)RmPa)(J18$Gp(TA^?%#^!S(i}Msbv%fvvh_ncNo55f~H&M zKrcrtc07H)d8>(^s9_C<=3r!^#eaBQ`>+!{@6HL6x4BxDX1(KSWNN@?sdL1?Xt6IH zDiWbn7*PfGpM%Sh#p2n{gLTnw=ZTv;Sm&mgpHC9yw%nGb)KW^7l@^g<_Bzku( zTJWpSW=>b!6gkWFYK!feV#gH3sQ4}Zrw8aayN_c`IkIGNK<@dBh$Z%HEj`Gm$9or? z-z#1Qu+$h*f1^LYvqp741*F{>X%LVtz2xHv4d-J(eT3`(<@@IgQpJ~KeVJdqT$;|+@x14|WH&*}JOpsc?ze?%nD{Zhc$$qi?28kbcqF}2gd&sEYwd7Ii{nBS(nwKe-xnsx5WW@ zFO8F3dYmK7WJvA$&EG7L>oOs+<`o_|MD-aizUt()W& zr$m=)qwv=O1ELfZUnS+$yvynB$NnZzVz;{wxzb-=j9Cl`_}v4NCs2C&3|b437B$V` zJRq+ErAO3Sh&X1m3jtY|aKSr~YxL;^%84G68j?hKa(-C-PhD|i9D@@jN0n#i%8x)alGEBhryRz|chSUm%N)hkYja=0aXznpMV z6U~@gm4>ho2ek2SFh|GZtkwM9OI>|0axrHBd^{9$4h$gn%4%y*;^xxm&AzkvJ&|L+ z9S~ewWX0)!)kAH)u?CTG@433pEW&kwWlipbLi1~M0%Ksj6Km}4F7WELGRTgLfK-C| zh4R2MCo}0NT*7i1?fEriUyS3)xr{AsTl&k$04jLm^l8G=FnuiRTRC+CT6z5EtV*-+A4Rpy zjJduOIq^^n9fpD167J>uT*CSnGbtrGL)MkV z(s_@7zP5WK7;S5Hno)jh_-nOzRpa1rPlwe6Z8{$)cPQ5CtQgm7TS9fT8Y7!oP!L>M z6aitWo31blWu4vaL;q?HEnNLpxmHrd_UyWIFlDVN1irI}K@y#`UB!Fc0;Z8FhXa!h zPz+9cWXyVnTQLsF!CHHjFy3u}JN}n<8JlJi9Ck59;A3WF z^b48$d-RNseoB|uAIKxMhmMjf{MKI0`HiBhW&7E2GpCZ)H09BDCH!r&_DC$|DpYOb zVvw~i`4fm5d0A1^Ba$S$iHs&CX=qoU(8jnZC8L)cZXQUNV-8uRu2fccI#{T)8V59( zu`iY3w}oD#C;4ZWOIf9$^vuL#lfc@pmk@qsYons~d5r18j;gNxscEor$+d&A4$8fA zhLtatw&#M+BYviW?$NyASvb>QTN7t&y$Ah}xc40F2$VO@y2;Xd4NGpPUgvi^?z<$v z*L#}ePK*HaD_!dBAL@F1p?4KwIh16?&|TvomK595s!D0(cN_T`>t_p2k@xcVA~&@$ z4ZjFuqut&w7E7$`XOzoDHp2+7an7MHn%PBEFC5An4Ckw$0vi_ZBErUk5th@L^$l1Q zOM1FQN8XvC5BO}>mgl~#RuyZ|&E05iSB}*ZRKiHdL3V9&htZa+S7DLh!#MHzhW1u1 zMz^Z@ul0xV(`H2ubB4wZgyGwE=nnVOcDk!UmgPo4sq4nqEZ2bx{zE5e4Ne$TR^`y# z$8?>;vcT>eWE8_z{(M8jO<}ZAtH7oxlpm1&l@eEKXZl`*{p{fC~w7ItiJ zQo{8tT}GqYg<|$t8{ZV-_eS7K&C9ZKw>Qvb@Gp{)&=CzmzZZkFNr=~->t8G>ow~PZ z85MHlNoGi&<%|1+$Qu_ku0t10FES>4=mG`}FRv{1a*H0S6+(PrLgvhXlN#At!2N-G zde)+2EV#$;Btc2&M;rSjcaW0(dqoeqjju)UnXXU})rZC@L~1U9!l9ko^<*OkKC>JQ z^CRC;HFiIpxjkiw-VZUGu$pm0J6vChnj$e9YG(PQ7g4(bZ)9aDrFIc%w}(C4R$fo# zAWG8J^!QNdN)BB(urv+il;Rj;q-?P6* z!4tD758*!P9jUo0kti?#792>k@sYyo_LMG8n{M>4M7eoK&rppCeUR9$b%>~Jy&c_j z&52EU!@Ua}_foL;5S^RnNtQv)4ne4F>W0VV+n>k&rY>fx{q?ia;)7WCObx%d&Kh#= zQnz;$7jhGMxa+Fl2cov7N*-A5XK!eRa1e^~tB~i?eQdq{_)!BAO!7UG&rklYshV-^N4S0rJe z1H%5KJzgdy*V9bJpVK!05WM;H&^&x&(S7#SK4gigQ&V{FfFIj2g*%zK8on+DHnRM^ zl=7J5_Y<5aek?|3OAq0I&B6h{Lx4{%Y%Yb8a2XReMs>U*tGDJ?@+f@GYBuqZKK*wq z|KO3yRS5n{gW9V5yVu-z&^7s6D@n)>XMBXD0O&i|9o+W2FaJYT=d+?q7Cmp--w7P; z4<=`WlrZ!U{2Mj4n$~>MW$MbG7S>xlJ>d+VH%vEN>ipu(5rI4Fic*G0JnO{bx`eT( z&ytIgrn1^Wt}7Bc0sbQFi9~2YD-v@nxRB>1r6cBY4n2^kVMUx(i9LV(P^_@_pUe!3 zXA({oR|bSt%?`%X5;$-PfN@m^L^5(ci!nX-kizs~9&vdn-I`jU3r4v!-0pO{fB{u( z7kv1iwEg1JJiDHXs!(GLZ#Uen`u(fX&a_`DcV=h+{kT>5(8>W5rui*-7}S{{K@p3 z)}4?$!^so{F4&V~i#s6N3wjjl5dE8?E=c~^VX28v@T(xnbh|14( ztt!TzC-%NN)^+~ipL8>%)JRIkVc$v&TlSv|2FMXx`c)#`cIsu+2mX_2+ZIn-;XP2r z9cmHcy&n@G9~RnK-@&>DS!XNRAI1Cga*iLJ?WCFR47m^15jJoSHw(wNRy)<${WMg9MaMM~vX}8fB28#;$}96G%~sLmk($eHnyX$- z$3af6bG`7HPp{wjhuYqhHT(uCR?>6uAEsJoZ*6}*^;v0IA%An;mswL>k~4Qkn!hD( zz`03_VZPiguVU7sx*gxB`}ba1*WEvv`}$7m z#|0?YO4r|N6e$22=y{mG=^)V94d$AxtWBrwmFD7kSOYzWCRGaZP3oN)caQB-Qn69P zn+w)MQAT#Ag|+U`AQhL=GpvdV`JGnRM2W8#pdlx2O(!GJ9PebywGRH;3>X#U?ucQA zh)v&h57Hm1!US*@h36CnO)fXoY+`I?`4}t-)?;pWw%!c}v#mM4+3COwF)uj|h@bdi z@WnfEENdMmF_?-fA5!4@e!OcMzL4~Ryu%vgDtWt5xspK8nQxIEjoytDyAq_9m5rS# z4g`%F-9xjUNrNxdiAG=~QiM$M)EZU^-#IjCXtyYzP@pPxbr z>5!q-f;4D@I{n7i`A{k3;^}E0nJid@-Tyl0v^@b_x<{{8z)iV3IIOt?mX+n1T1X^=$EiHy{?d*^6A$;1T)*?HSB3Au@cE_Di}^>sJda~V?~1Wc*02hj^}l3P z7;1>kF}VEh)_6DSt098DcC1eX9pt1p(pVHKtMgg%b&qo^W_s4-sbx~STJdKqqHJe-m|XLAuq64%~d zcuU7xD7x!WMRT+RtcKR?tQH>udVI3?sllLAT5ouE$#xNTvIke zAw{`f5Gtn2EC$^Jr#lgTwo4`JL3%DkJIrdj51Gejp+C@%g@E)Cj({WA8W6aH1|x~;`(9~!J4LsKcOO;5wPRGZqbCtK|=2xv|^6F z;}C3<3in0eN1?@;+GjQ0SZ`VG+PvowygQFw(J~}Jycn0#_ce3@NMUbU#1UKjIq0mS zr)D?c9mN+RWncUsc!GXs;$C~jRD6pIgGZ)rMXs`!UqWwWCJcJZe&ZaxoHE)zpI>a% z>MXStbdlP@Vl|a1$>s{{{nSIty#0z zAXv3%r^>*G@(e#iFEk4S@WMelSoYgeEu;q0IGPgPOVOUZKMVX>0>4G4zmeEzcaal% zhx-2HhwqnCg?mtqQx~_+k*8+&=4Tm2bX*HJDe^$FE(i@k4@Itv7#Y=}_u1({# z6%BW#LQFY-%p(h2HY((Li!IeJJiE6h(HYpJ&BiNqd3|j%JB|riY^&atKoowydv9Jg zFmw2OBx48-td6Jm0xded6?tJXv@=Q!oCkZL1fP+QY_%m!;Pumem9qiWzbNR&qTExC zq5&S=3V1F4)^$w)g=p)1YI^xR9cp0>3im*~+dQZyB33lFO{o7bR*S=UyYUtjVq)O^znHla4%7%$L*j2EF{Zq4c+NG~~o(aGG zD$mj(BO+A4mi)#n3n`s^;^(YX10^El&MP|vLd{C*#d)Bo)^n~5+Ko@mE!3%FPj7K+ z>Lw2$O@kU=mw{lK&yqiYUmg&sSrVJuaNg^<^Y!`|%uoxy`eau+|FzjUk?&tCq#L4{&{&HbfsHXZrIZ?9cYHA>yx!_#D=8ruvx;k zEPQ3VyA5VLlI*ZqRmeY*wuGw1K9f7U?GK@UC`~QumgG5dLosWgEYDVAK3NVFQ#0Dx z>o>vt+H(yK%R8>NR@_=qaUFQa*u=yWgP&Mo9?@;#g^(1mg?;GWE5BkQ#cntAn5#<6 z@s}&ACJ&;kkRif7WEdQo>x>gP@J0fGH&R7!MCcexE-S-!${>q zE*kr^w^I>Uj~m_;)##XdpFaRRT5SO0qMJ->G0)&&l%YU;uavB_=WIKGn5eYovM)0X z#LlOWiQUywSt%rV1$_)Bnrmh2^Z6@^&j`{tM#3AOv}|b`zdJThPS4nN;Nl^OGuQ!t zt;c^VIyBsm{Ly(pQ0*eHd|T`6<~(?|E8v&m6PB9k8Bls?4>rUut(eUe18E$O8l!V- znsbMBlXg{NyY0*eT0yl+Snyc|(n0{#VomFoC!On=YgJ{pY@zOl!12MnWn1h{v0;g) z!87;Yy-`DxOP!cTteyA-NzEI-i^gELID+P%yS|#YN2?o!bi!^vx#i#;@S$RGZZrEc zJ7ZC_+lQ+*T##gsw@Fz!EOKQ}&c7A#Rey$tNoO2vG}@+&<_r!lcHF<4RcQe1i@&(a z9Du+;rT|EnQLk;so-tC!^)>pmD0n1OI<*Rg3^o1FI}b}?+OB%9!U z7jQVn;zJW{qa(&`Hy62=T*TNH?JIlj@zZxJIYct6F3fw5?kao{)1m<@1ta#|=y&_g z8Wb?(UyoM_DUoP8cAPABm%L+-?j`iX1$z}Bu@uvF91 z(^JWAqeR2yRQokIlu>|JzjC6g$7mn-W&rCx(V?wk>g^7&Pm1uPteg0^-A>~}8Nb>o z`gG#3N)h~`oPwtZ*ppp5?8R5s9FG?n!0yxO-1&72#dlibDhX^%A!&t*ai-x&QeU;9 zO(FmnTLK_B(Os#PD2*7STCdAcUN3d*!(Sfn11(B^Ri%3!2C1D6{(y+E+*Rp(>?L_Q z_~CX0noXd*QCI%-`>=rpIF@*H9uw5LJ5aZp{fUI0A68d@j{P<>MT#oFe=AV1=+T8} zLvY8pdYpG9V(XOX#I(t%3`M%MO4PZDZ5KLxdL0omFK8<1G6V_=!Ks#^9?YLud@;Kx zo3|H*Iw2LX5ZxgW@^0G`+K$SykAhiIgx0H?Wf&+yHjl{E_CN}b&=1{RvzUD4W{ z+iyI`vkK`Mmpo?RXq8cVreFW_Bt{|CoxOU~=!Z;=a)9l8UXl#DpI3>XJQ4+1tqVyb zjmS#`=4)6apb=^6hbs|)Lz05a9-&^m3bf1jZXUe~=6m$SqJlT6qLjC^)z-9E`a$~DAHqqFuR;g#~yH$>Oedl`gtA|u{+?s`#>xLC;*N& zZMi`<*g_0(9kGKAjU&=JAR)lYIQ;JWJITLI;=pr!5)xlBwdP(?G z46VaI2mHs_?lTep-+v_mh|U5J{r~hz!vFfJ#Xmy+H!oSVZ(UR31@-xn-Gl^80mH>p NQ`Ssf{gHsQNtTn!iCaX*U}dNU}60GC34E2B-8@jd8KRe1ONyT001JR0f4h> z!gU(}@RtGrc3uDg${B>pUdi@-+5mu*yWYbG&w>_zErUMH;B&EuP625xBS49|AfHTN z+V)~@Umvhr%v6lIjV!M3g;Wu%iP&ATP$ufTl<&d+QU^UUC?|szN9U3z~+^B+YK1S$VPil=M@fFEvJ{9 zI-K8nGo*U}E_FaFh1$^#pb27A1c)^&{~hAsV5AP~-FC$DBuBC!o($VE(K~A+@6*^2 z8M=g<0xH~~qGvtuMKID{Wc$S{3XAlhFTTEPUeO8M@ZjY)3Etc4PFC0S&5*`xS@^4j`abi`!F`+2A4ifjriZ8A@vi(0o*Bi&suevi`*mBIlGT=W*wd$K%b!qW| zkpnUj8eAZ5z`g)v-yrx2i3Ul(TZ9HPsIm9p;&r+`=3!V>FmH~xBLm`!))py`MotR`oqf1AG3x(fBPz zdBlW9Pv7@_J)4M8>rkqxe%ucZ_#^X7f|C~61w@Y*DkWBcGsTNl?F6pB;if*4d;eV} z)3+t3!Wd(NQM_r`#~(#jpLhF9jfN3%`Vso!q_;zk123?w3WNs0O~Gz#IraC;Xc=D5 z!#*8?6ev>i!w@t4{xK}%`Xkn{b+E=mRmJ@SsSO% zKF=%gdweHgr7$9{f}y+8#GZ(!pKdvXn?#*loisqcd3h`-8-Wg2K4TZ6tb<-M9o&@q zRsDrqmMJ=+z!KQ1*Zkt3sK9cECP5J&^Ax23-#Nv`!zEB0@ZxeL%>eQ_@vdNZB`}ad zndsR${k-ilmJ7^K$KvLRXFSlH>1<+R$6kNim^-!Y-rjS~js)>T8UgMJP@MJrIw3yz zXYh?(t`(Qxx8l0L`t594MvQBdiyv}jW^K=uC7Q=4I}K$O3UysuK9n8`i^n>uA~>EG zw7e8Q_}&Ko8)8I<{c=~0W-dZ&`;at%-SVsUgg-KzhK*}-w6oytki?c1TTQ}SvWnR+ z9i%XOWN)q_q%g0j`C%ny_Iz;q0_z8xSQ7DSx~j*!6hO5UFymKgl(P3bW1$dg#a&mC zzMbakx&C7qnZ@mEtiBDFg`(=*Fz~E_7Jz3M`XRX9Q3D7ggJqstn1W4e{hyy(^l93x zxPhtuj4`;PLMH&9_b6$7BhMF@ zj?Vw;TPIRY)=0!b;bb}2zq$&LV6vj-7HBhwC3wrTc~Qr7vYC)PsizP3x~4r}(8Wv2 zzca1_aRp`n+1tnpPr7#M-s1uKFs2^Ep^W+1F=G2x5;*ADyLr_P?#`dtY=SmYFwyt# zLR=B7%YX#Hxo-ZUC)WXzvq^iGD3>93$q=g&IDLCtD9#eN_%&M!5EjVZb$ED~n?uW{(DV4{QbV8tkPr5whi7#%P zhEpf;k#fIMl{lA-%nv+NYZU1)x)SglP6GRX7hUl(%CHdRGJTFh z`bCx?1(#<;_hejT+&q_-#R?z^|HZXv3$U9$-D&nuVwLpIbT(M)jF~5)Nuka*_vU^W zQx{66UM#AM&~M?anD9s==k^ioA#0dI!vX8=dZ-H{VSg$k=?bpgG5D2o3S5beI_+yO z)QQHCO=>5a_MC98r3MsYu4!Bf-GU)Z+WSYUo;x3KcO0hQRKAWSHr+APVbKGUM;SQE zrfjbRtZUsqR%jxQI=KVtX50Ve5-u*!S}?T#a|cU3+u zxXQxRd-0-E3V(d_qnv^3mS;)ZJj$nm?=@R?tP>mek zdY{m5u3W2>VJY5ZxaX5PhjX8xjS(OYy2+VRPM@@CQD!UH^=(ZMYAF4uS?r7$7SiQZ zFghIip`MDdX(Eg<>0>W&Ok^rUpCTXg(ioO?2pT{msK8HAugNG&d-JPt*SSB#Rr0*y zQsiMV#VOm*#p;zx0d38AFO}#Z|LtBEO_xaq z_WXj%%5!t{QOCop+SC{qo9ddRmsKLr0T0kW)jb?O`HReRYl=H=35o_gw;xIVf$3#9 zZtQ}ej_Ir;<|z20$`adR$9`L?8D7;E>jT^bi*bEywW0bL8Xj}>pN_?i0LhfjlpoPF zd2J(ORL8TSJC8mGzy6|1wnTCvkSnUzCb(H!8EpB21Q7(oi$E2KP&$cHNXO9{A7;qcp7|}PQfH`DZXv%|95XU={X5R zr@PNm96Es+CZ;FQ+qAHg;3NA3@&eq$x`}dvi$t?^X5X0(#vH!t{%OUHz$}p!rmmjQ zcK3}Z_P#h>jk?wo7CQ5SCzg9EAwj3IV!p6!MX=M5gZXbvQhfbYe&WJRa%P(3hhHTv~MK@!Fx)LyiHPTAFAqB&7P zK6zKh*Kp?SGW_Ft_wlJ^szSYnCSI^RsmpTmrvH1Xp%figZ|>dkdpQDC(K>}F)hAaH zT=t*T?giLq6Klvq5!H4HwW`FhOnPTeLDdsshu7UzY9}4KTs0bb-#tWDejVLQ=!=ey zK_h&@`z$>C+#`_B^|bbad(^#R-w}xiSAbh*Sx|LZcW`c2c%_fQjH`KK&8Uf)TjH0Q8;8FnZ`>!w-5KW-B z60N`ujJ{HT4f9*v^IBwYG5DR@hUD%yi8m9OxhDDG zs%WRX>Bj=>!!AtA^cD)1CY3aLBG3JUc23FJPzmi9`;tZ8{%|CrRh9DZtT)U&LMVDlJeO0^LPtM5Y4H0 z)!cFwQO7?c+>I&`W!3RKud#s6f`&9(5^!t1{Q%vd_@R;li4jrfKRNwJTE%L-wPIx{ zB&iD=!5v1kPgkU}-@t7|iv@9LJf#4mdt+s|?cVc6M^jW~VWO9$2Fd*MdO(tpc?>-cHP z3meMW{MJDv<3Gd7$C*}>-aSt~Z`Xk(Cw$TpVmH-{)sc6eotVUYFmrNiTj>sWqO=tp zQXbDDi(nw92-%A)G+#;7f*VoD9Mhb@-411*kYRuuTu1r(eI=FJR6f?ZcWgp^Tl?lxLQXsZY&kP^vD4ySyKvuMy3~uN9}_#tEHGPM zB0%NU+K|m^x2aw0j|oZF_1F?+kk>|>VB)F)pHsU@qFtuhMNDd7%@KzHcXMMajZP~p zLPxKYzHahr&l3d#1Tww`Uq}>q1y+#9_>!g-2t(JT6)Q$#!{!t4^S+P$ycf)~QmMYq znvOY}>H|7ag09ZIYX%@l-^3Nn=|fh$Gv1`?HI&PdD|YRd#F0_!l(1OCuGpfO3tveU zwQj2PWNUi;QL-s~m7(NPeWfJ2eY)l=1Hp}G@tE6lg?TuIe+zY_(E{c{esiVH*2Wk5==! zyVgL>pe$RQra=8Ptf)b`z7#wlE$38WM6`@n%q7!;+{G7Dlf%zf zCOY+wY*~Zy!hpABHZ-27JqZ*l``HJ$d^M@PhMZA2cU<37pdTZoFW2_MYyKsvAw|<% zM*a?5>ROBbio0RgtT_V5@3lTQ<&&u!Q6N5#=O`bJ5-B|K{Cu}Lo9)g>?ZU_aB_f=E zt&yj;KL59VdP3r^cy zUrY5q`2a#buC_*{NmX^r`iH`kbHUgrF`;CV)b4Xc#&u7xQw_NQxU*wX*m{#2a`DT+afDYq$O!n)6#=c9;m9`^Qw>bIp!1|c@nijQ6sIa<#BeT zSFmh>g{R$OzE!hH+LVToUv3kfB&koK7g_U+7>BkzpIt^|U8v0gz0;;2oKwhXGq;>N=e#LZ zyoUS^c_41swY)?6Fy`hGW}B7MRC7{y$xGyXOwLmSS5rOs;Ql6{3fbO4-W=ZR9e#24 z$yg{t(lZQ z?K>6Wsk)Z-rd#_DxJ)!34IFzs1QO4;z*UW4i0UlFL4#jchcjMED8W@TER1`u%_# z5={(rdA1{~(~QD7snvGmh!yKtpvAJnynm5g36j;cQPw$e`Oo}@rNHBCR|5BW!>nIaJnZGB}EUh#I znv*XTxi^;FaX8NSf(4J~c|*6B%7$+0<9t?wi%8B96noiEBopsi<@;ApIL&MMbzBrP z8uAdYh#!Xj+;7%c(w%RN?_k<5&3Sr?h6fIUO8Bw-vU4wkBnZ(RdFb16G!J|i<{!yI zev;k;u4u*C`N`zd=MeHh8L(ZR4uxE;0-Ah(?Q~6p2P8q<`4PIAce-^<{Gryy z_9>B1S|63gY#&{0w)A6j?FctgyjRRUH?b4&LA8fVCSTcu=gW&E3@F>`H>X9K) zo)Bb*^Xqvoy;=7IBYki6iT4PK_4Df|n%f8xa9$sWHN}Jsxca6L#j=KHK(Ly991%WP zQz69zoLv78HgWf`-RILuW3GXJj(7Obt3yDD?HD2+vHqa%46-T4r)Yi>qk?vtqT1lN zlNC?CkC@}k*tmSm{(+n!xM@N&jE+(u1hdWoQYrA5P_W=svSZSK2LL%2IxUZh4gd$H%#xaAkJ-m@SI7CQcH8F*fC4cm z(;1c-{-#9T{EC}~rRYTSw-qlvmOy58ih72{Ubx3InBEyyL&@G%yw<>HB4*_HlYU^< z7=TyVz|y(w}HevJ;jWL;Kb`kvJHF@1I>jC-`7q?*YOG?_Dm zdV1X96K(wVja)~+OoTmKPD9vR9LXUKNcc*LL*t<+3n{HU>$@PO1kI5Fx}|LJlm*Ln zN?gxhexVcU=q*2ft0vYMeZd-6`p%GewXAjYPJx{5=I?2s=2?G1#FBOdy{mH2 z1q&Apa1rIbX5=sa+~dh&*eG_EesSuO%;|P2KLMl_H`M~uvV-{RbKQ!UM{gbYcFQ8B zs;&MqA+v9!?tint;yR!$cvzU11UZ*)jSZ4Ha6>V*B2%9KB~L2TQ~?*vr=R*nQ5*~O zAQ5gsd+VIs!{8GI$}IwGLgsXw>H${X$WNYq5dk=j9WOnrUt34p-E5bVDtq7w-`!OhxdTDPmxo$5~!Lk z%i-lvIEc~pi@DHBV3u*u1s43#lu#{Az(7vc>UL0RpHpy#?hpPlNQ)d}pb_;_l~@J8o{5g)`jWk&`Q_!~Xk;$$$bori zK5Uj)lHoO5C5HGw%vMlnLK|H#VH>|aVNO_4N=j|`~|WZ)r5r{wF`Vai88 z=>GAh&ZR+!viKG`&LE=(za0kJ6W|3-H!szt%4xO@T<4@Wm*^j zW`pW*qZHq3>;*{zgedqH(wFN8C7OcU;{o}O7gw?e^%eHX^*O;lFRs}WAK(Mw*8-0< zk9gn+N)}XcNStw?&9v!s=QuR49js@b$NRYG9v8`lFTC@+MQPQ_A*F#NZTroz#EVVk zza-v_v~}bvW2?!tn2Z^?ndaUhIsE?E021Kteke!7r0ltI{FHiEi-sFZ5}Ww8B23be zGj)^%Pcmn#_Luw%8I?TPhP9pJz+6tT}FKQMN|^ z-7PO=u|ZD{6&=|3R2^W{OiILRMR;Ju*yzf0Cb*Gh2pRg010#oCve^wu+Fz2UV0P3k zI#WrH8!bC@Rcb#4Z zh385g8Ztn8G35~>ZLXemTtVVwUt*_}-r{aJlnhsijm0iFTPE}a@2be|3#LBsaPiJY z!?WRo<*Oe2BeYg~da(`lmFhwBPriNR@$zot@VV?T%HX^Ub&BNjm|q2@dVANYcf8*d zYk$!=D~Ix4+P9;-Lzpn$SETzgi?4>IOb#NVJ+Bgw93&16q}_dykF0qN8D1AZF0s6L&CF;FIUml6vgK>H_T?qkh_V5Ord7vtq-VaYz@w1Mai24flAB()BJxJgd9g z-01zTxmx+^6fR06(ELJ4`&(xIU@%H<`F*&$QQ1OcGsKiKQH6cgs11ED;@3djbbh7J zzNA()vHuT2R6Jx=8DQZbOYg7US$ocP1R9EkytOjD=*96Kg~GA)K*`XE8XWGw2$3C)B8L) zv^Ih8-m#CCZmz68yCg-$2&i67u)f4Zkw||~D7Ve$f81(f?R0r-%`b2zu6k=n^~6-J zv(4`II&?C~@mxkTJv$rTaq8PXSbLF*bo(YcoUClR)u>z$%-fNmfZm1r^Eed27`Jvv z+giYLwS|Vxc>*~FiqC{T81=&2+qUo|;Ke^fM7n8nXl2o_E2)Q)$(#S#~y{=y~x_b6vU%i;ih zn61-Z>)V>dl%j#b!!1fD(<8g0mir-b-8e_Q>gw7+0s+^Z29*rvty};@3Tbh|4&bIm z)&(HhakrtGQ9od55STek;TNnOF|Z5%HOCZvV554+wfON1rUkj5h~$-~(?_+#_fAaq zA5B=2TO+12)rWbUE<9!a625`myyn=kb)YrB@P~5chNb{CPjY@P>H-KjyXH3nVNQc*$ z^Glfo*gpfE8^uNi$=P{BpS6BA$@(gAb9YdpKyh-tRe5OAP>4f+p3De%<1!%K`SIL^ zrIN9DC{NnoAtj=tchz-Mdw4eWK!FOJP01IRQuIV(LjQ8to#X8kg~QP9P;F6avMiOc z2$sP$|7pZO;Q&9pd~7r zwDun-R-==HVOzSpUnhPrcZ)@GThl-e$mQNrAW}7Bg!>mm@8s3B($%=r;Q^+AiAyyxX+Z9r{AI3 z%=&$qMZb#I@8Fwxw|AygSFcj{4-}A)0PlUh=;)}*0CYfjMTQ^G)Q${*%=P*5c-v#V zX2sr9*;<`c9=*LM_~WiGb2|$KU-yh5(`z&LzO*2eCA5A^wcyr9*i5G=a$9RsKk2U! z$A7{AtUR&^_m$k^X}2N0;9EG(*P#%f8B?GXYkzs`G`4tI7eG5eI8wJ7&$e=JPaa85 zFLYFun^z~Z4>i@+A1{ej1x{onkVj~-L9xrHQ_eTfEdM_E_?-v%X|q+LJY^*?Sdvc` zL4=>;NU1E67`D(BZe>wiD8ay<3c&+=;^j#(HDFAIQ;rl((CkB@s#ND^`WmiUIAC}E zL3&dCuZ00iD>lLP^oT0_VBSQfyW3zj$<+g%_giv~c;=4I_<~I3E_eU9wHD|3_T};E}yOWFM7!3;f{xv~@*LTI#Dq9X+{Z6 z-6w?lSz^mJ{3iAU4_3Fw;Hw@ZZTybnE181|iy9n;lV|GA7|#qiSAGOREKxcF9(XIP ziDw}5UpKNnVK9*FZ_{Sw&Bczp{kZwCtf0kQFm^umu+6akpv^E~*-vy?uaOzHI;ea; z*2ru(d}o30ELi6-5Rm9}(E*WQKW+@&>6!%mUGX8ac4+}#8HojFR^;|NW_0V*Nv-~B zwT5*&-llWFiKLav%(F)0O4A;Z*rthWzR>AlBdRrT@&%9mBhDAk7khxqf%cThu#8_+ z(kczhg!Mk7HRSFhhu!(bmQ7Jw?WXoXc_WWBx8mqTc? zs7Vr)@lk!d^7Hjww*dX$CQ;sMIwyU)mZF>G ztkBYRJ27w5x}f)$vDORlMPWNM$+j+gU3j6G5Bf=dMiH*!nEyFQX&~zI3W8~)UD8r& zFXpwmk#XGeIgmKDK$*NI`4438=bvFD{LxO6d%2uZM*^u4y&;iNOU@b4*ue1Sz9gBE{%`Po9o3*`uhAb?`Sp54v|eS-MQ z$Y07Uw%)Mc%gH zHHcHEsA3OVH&)&MY0}WwF>pswGeaC2aDAb45MHYzAw*f2jtq6bu!J%Hkjmy0#n62yl z5YwQ%rV16Ja8huUl;!+q`l$xf+}!Q%%rbwU_Gy(n9n9%fPctoxtCig917xZiepYZo z=BlHkeXc9S?=H|@@b34pP;B0FL;tZi_cacVEY8&+tfDSUlXUm}wYd`t2fv!eY3Dod ztF^hf^8`{w_BKzHS3GUqk9$~?&7H)C#{}`=sm5-0969Df9q&!ywqVO66Xk>v5+g?K zx5L8zmUkfa_G1<$LvQvTTa@sO!_Y&nRvb?yUP^Q{f`%yC_-JS?MDguH)#n4&OZ&;K zKjKIP{D=He){f~w*;d3dm|-zE%`RiEYTQR$!ayH{s(=Sl7Q%eR)EYF*Q2se2`}~kU z@+!OcSV+zlEZryMp9xv8w3MJ0SZO7ho3S(~7fo9~Nh9Gm%AP%`ci{*UkkL=tTX%ww_^vzbzo@Y(6Dt#aUvL-d~1Ukgw(1bde+*NZ(&y&ZtJrCz^i?EQa zGK`gG(%Q8n(Ch60KVFI9uB`hZ$;k6R%zG8>_nm3*5)KbRYE5&~W4!}c|M1a6%j>GG z&MuU-n@FZ zhMWKRql)Kp>!y`+O6OHfd;C@CO{XN+Cej@vQ)>8Mt>W-&hwB|Td+b2E+Tb3ShzKwC zC6C1LttR`Q0e2;ai@764ttq&q%5!-kCFu@Qp6G@pySQ+5PxOL12uVY~GbiMlw#WW) z&h`SybBz*eoF*rz*7Be~4MnRyZwMYZRlm;*h^n8Aw+rZ4h_a%~s;+x7WWvU#-t-v1 zO4^+nozn5S_;VM#lb%(JJn&*ar{dAy=v(y2&2rI%PE%C=Up?xr_U_4DF~e6zetPA@ z?3jHeqd-9~3%%F2q*nd!t>*{uj3qy-8xS)h1R0^7UwXxTlLsVlETySdr{0xWKr}d$ zxX$V-hi@c8NUywyAo$zSu%-wv#1mh~NFAS`r}O(mNDep;u>P7jP6zpip*IaoND>sA z=F;Kv=2}L|+8LXVcXW_$SMB2Hx-CYBx1YNN6XmFu3_vGiX+;TddM%UxAi|YA>*RHu z)v3Zr&gl*QifGfyyckLj^CW|=D+n?_ABh%afxA2ga{Oi2He}qfYk^eXKTB=mZy8vR zJox6I&H*xf34Q%ncRP90H)Wi%u$80#j+EuGmlJX7UyW{+`}N6yhT~<(%6BnBFC%{6 zIQUvoAhc}5%d7tv1vu}9RNPPIcL{Dr&sJGilm5S|d@HZtV6Q_$7bMY`>rg0%RWko^ zs)o<)-|cenP&gEg=+D82mhY%HXjn7lU1w&U8_Km@3LjX(_O3}H$ipZr15Ndli|kHH ztKW7sFb7cvec8hEDPcPqGOBT)iZ|;0t*7i{6%h(csFPQ4Y*azkrUjKdNe4Nn{}iDc z(RD-h)grQpIq;lnKRVwj3MY51kb;v||9}YPvdBfBn4^8;0R!teRe*bS2uw1PQ~~-| zNLV4}6qy3AfYZJ(>O#Tj6rZ8a0vWWcyZ}5*`Wi<;6wRDH>hK4eE&UIvS9c?+JnjDC zd}fx_M5`Y`t4Tqt49vsQ1Q{uld88@aCgB`Pyb=on8Aag7$(TNO9nDHP#`RET{=QcklLf#O>yvTS@$S?LQbWpIulL$w&G-jTl`& zn-9>3#~Zul0Qm|Ylb|S>4J2Y&Z>T%gsGmQt^di80YD0wj+p-5VsOnRUJz${X3KW>~ zg{q+b6+}u??YV#U-iDi#!i})8^>PX&EvF7mbY zZn}G(xLa$)ooFRZT-qs?56