From 5b1d79c94489337c3b65ae745cd5d47dbe4e9f7d Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 5 Oct 2021 22:14:27 +0200 Subject: [PATCH] es-cbdc version from Stefan --- doc/cbdc-es/cbdc-es.tex | 1700 +++++++++++++++++ doc/cbdc-es/taler_figure_1_dora_SPANISH.jpg | Bin 0 -> 44235 bytes doc/cbdc-es/taler_figure_2_dora_SPANISH.jpg | Bin 0 -> 50323 bytes .../taler-exchange-httpd_deposits_get.c | 2 +- 4 files changed, 1701 insertions(+), 1 deletion(-) create mode 100644 doc/cbdc-es/cbdc-es.tex create mode 100644 doc/cbdc-es/taler_figure_1_dora_SPANISH.jpg create mode 100644 doc/cbdc-es/taler_figure_2_dora_SPANISH.jpg diff --git a/doc/cbdc-es/cbdc-es.tex b/doc/cbdc-es/cbdc-es.tex new file mode 100644 index 000000000..007a38c97 --- /dev/null +++ b/doc/cbdc-es/cbdc-es.tex @@ -0,0 +1,1700 @@ +\documentclass{article} +\usepackage[a4paper, +top=2cm, +bottom=2cm, +includefoot, +left=3cm, +right=2cm, +footskip=1cm]{geometry} + +%\usepackage{lastpage} % enables \pageref{LastPage} + +%\cfoot*{\normalfont Page \pagemark{} of \normalfont \pageref{LastPage}} + +% Adjust variables in brackets for special indentation +%\setlength{\parindent}{0pt} +%\setlength{\parskip}{0.5ex plus 1pt minus 1pt} + +% Set fonts for a nicer PDF view +\IfFileExists{lmodern.sty}{\usepackage{lmodern}}{} + +\usepackage{graphicx} +\usepackage{mathpazo} +\usepackage{amsmath} +%\usepackage{newtxmath} +\usepackage{mathptmx} +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage{color} +\usepackage[hidelinks]{hyperref} + +\clubpenalty=10000 +\widowpenalty=10000 +\displaywidowpenalty=10000 +\brokenpenalty=10000 +\doublehyphendemerits=10000 +\finalhyphendemerits=5000 +\tolerance=10000 +\urlstyle{same} + +\begin{document} + +\title{Cómo Emitir una Moneda Digital del Banco Central*} +\author{David Chaum \textsuperscript{a}, +Christian Grothoff + +\textsuperscript{b} y Thomas Moser +\textsuperscript{c}} +\date{\today} +\maketitle + +\begin{center} \textsuperscript{a} xx Network, +\textsuperscript{b} Universidad de Ciencias Aplicadas de Berna y Proyecto GNU, +\textsuperscript{c} Banco Nacional de Suiza +\end{center} + +\vspace{20pt} +\begin{center} +\vspace{20pt} +\textbf{Resumen} +\end{center} +\emph{ +Con la aparición de Bitcoin y monedas estables propuestas recientemente +por grandes empresas tecnológicas como Diem (antes Libra), los bancos +centrales se enfrentan a la creciente competencia de particulares que +ofrecen su propia alternativa digital al dinero en efectivo. No +abordamos la cuestión normativa de si un un banco central debería o no +emitir una moneda digital del banco central (Central Bank Digital +Currency -- CBDC). Contribuimos en cambio al actual debate de +investigación mostrando de qué manera un banco central podría hacerlo si +así lo deseara. Proponemos un sistema basado en tokens sin tecnología de +libro mayor distribuido, y mostramos que el efectivo electrónico ya +implementado solo mediante software se puede mejorar para preservar la +privacidad en las transacciones, cumplir con los requisitos +reglamentarios de modo convincente y ofrecer un nivel de protección de +resistencia cuántica contra los riesgos sistémicos que amenazan la +privacidad. Ni la política monetaria ni la estabilidad financiera se +verían materialmente afectadas porque una CBDC con este diseño +replicaría el efectivo físico en lugar de los depósitos bancarios.} + +\vspace{20pt} + +JEL: E42, E51, E52, E58, G2 +\newline +\newline +Keywords: Monedas digitales, banco central, CBDC, firmas ciegas, monedas +estables +\vspace{20pt} +\newline +* David Chaum (david@chaum.com), Christian Grothoff (christian.grothoff@bfh.ch), +Thomas Moser (thomas.moser@snb.ch). +\newline +Agradecemos a Michael Barczay, Roman Baumann, Morten Bech, Nicolas Cuche, +Florian Dold, Andreas Fuster, Stefan Kügel, Benjamin Müller, Dirk Niepelt, +Oliver Sigrist, Richard Stallman, Andreas Wehrli, y tres colaboradores +anónimos por sus comentarios y sugerencias. Las ideas, opiniones, +investigaciones y conclusiones o recomendaciones expresadas en este +documento pertenecen estrictamente a los autores. No reflejan +necesariamente los puntos de vista del Banco Nacional de Suiza (BNS). El +BNS no asume ninguna responsabilidad por errores u omisiones ni por la +exactitud de la información contenida en este documento. +\vspace{20pt} +\newline +{Primera versión: mayo 2020} + +\newpage +\hypertarget{introducciuxf3n}{% +\section{\texorpdfstring{ \textbf{Introducción}}{1. Introducción}} +\label{1.-introducciuxf3n}} + +Desde la aparición de los ordenadores personales en los años ochenta, y +especialmente desde que en 1991 la National Science Foundation quitara +las restricciones al uso de Internet para propósitos comerciales, se ha +buscado crear dinero digital para realizar pagos en línea. La primera +propuesta la realizó Chaum en 1983. A pesar de que tales métodos fueron +implementados, no prosperaron. Fueron en cambio los sistemas con tarjeta +de crédito los que se convirtieron en el método dominante para pagos en +línea. La propuesta de Nakamoto en 2008 para un sistema P2P de dinero +digital y el posterior lanzamiento exitoso de Bitcoin desataron una +nueva era de investigación sobre el tema y desarrollo de dinero digital. +CoinMarketCap enumera más de 5.000 criptomonedas. Recientemente los +bancos centrales han empezado a considerar, o al menos estudiar, la +emisión de monedas digitales (véase Auer et. al. 2020, Boar et al. 2020, +Kiff et al. 2020 y Mancini-Griffoli et al. 2018). + +Actualmente los bancos centrales emiten dos tipos de dinero: (i) +reservas en forma de cuentas de liquidación en los bancos centrales para +determinados participantes del mercado financiero y (ii) moneda en forma +de billetes disponibles para el público. En consecuencia, la +bibliografía sobre la moneda digital del banco central (CBDC) distingue +entre (a) venta de CBDC al por mayor, con acceso limitado, y (b) venta +de CBDC al por menor, accesible al público (véase, p. ej. Bech y Garratt +2017). Una CBDC al por mayor sería menos disruptiva para el sistema +actual debido a que los bancos y los participantes seleccionados del +mercado financiero ya tienen acceso a dinero digital del banco en forma +de cuentas del banco central, que utilizan para liquidar pagos +interbancarios. La cuestión aquí es si la tokenización del dinero de un +banco central y la tecnología de libro mayor distribuido (Distributed +Ledger Technology - DLT) ofrecen beneficios netos en comparación con los +sistemas de liquidación bruta en tiempo real ( Real-Time Gross +Settlement - RTGS). Hasta el momento, la conclusión es que no es así, al +menos cuando se trata de pagos interbancarios nacionales (véase Chapman +et al. 2017). + +Una CBDC al por menor, que sería una nueva forma de dinero del banco +central a disposición del público, podría ser más disruptiva para el +sistema actual, dependiendo de su diseño. Cuanto más compita una CBDC de +este tipo con los depósitos bancarios comerciales, mayor será la amenaza +para la financiación bancaria, con un posible impacto adverso en el +crédito bancario y la actividad económica (véase Agur et al. 2019). Sin +embargo, una CBDC al por menor podría también tener beneficios (véase +Bordo y Levin 2017, Berentsen y Schär 2018, Bindseil 2020, Niepelt 2020, +Sveriges Riksbank 2020 y Bank of England 2020). Poner a disposición de +todos dinero electrónico del banco central sin riesgo de contrapartida +podría mejorar la estabilidad y la resistencia del sistema de pago al +por menor. También podría proporcionar una infraestructura de pago +neutral para promover la competencia, la eficiencia y la innovación. En +general, es probable que los costos y beneficios de una CBDC al por +menor difieran de un país a otro. Para conocer la opinión del Banco +Nacional de Suiza, que no tiene planes de emitir una CBDC al por menor, +véase Jordan (2019). + +El presente documento se centra en una CBDC al por menor, pero no +abordamos la cuestión de si un banco central \emph{debería o no} emitir +una moneda CBDC. Nos centramos en cambio en el diseño potencial de una +CBCD. Recientemente ha habido un creciente interés en el diseño de +monedas CBCD (véase p. ej. Allen et al. (2020), Bank of England (2020)). +El diseño que proponemos difiere significativamente de otras propuestas. +Nuestro sistema se basa en la tecnología eCash descrita por Chaum (1983) +y Chaum et al. (1990), mejorándola. En particular, proponemos un sistema +para CBCD basado en tokens y solo mediante software, sin blockchain para +la DLT. La DLT es un diseño interesante en ausencia de un actor +principal o si las entidades que interactúan no concuerdan en nombrar un +actor central de confianza. Sin embargo, este no es el caso de una CBCD +al por menor emitida por un \emph{banco central}. Distribuir el libro +mayor del banco central con una blockchain solo aumenta los costes de +transacción, no proporciona beneficios tangibles en una implementación +por parte de un banco central. Utilizar la DLT para emitir dinero +digital puede ser útil si no hay un banco central para empezar (p. ej. +el proyecto Sovereign de las Islas Marshall) o si la intención explícita +es prescindir de un banco central (p. ej. Bitcoin).\footnote{Puede haber +buenos casos de uso para la DLT en el caso de infraestructura de +mercado financiero, tal como los intercambios digitales, donde surge la +cuestión de como obtener dinero del banco central en la DLT a efectos de +liquidación. Sin embargo en esas situaciones, los beneficios potenciales +de la DLT, por ejemplo menos costes o reconciliación automática, no surgen +de una emisión descentralizada del dinero del banco central.} + +La CBCD basada en tokens que se propone aquí permite también la +preservación de una cualidad clave del dinero físico: la privacidad en +la transacción. Usualmente se argumenta que las protecciones +criptográficas para la privacidad exigen tantos recursos computacionales +que su utilización en dispositivos móviles no es factible (véase Allen +et al. 2020). Si bien esto puede ser cierto en el contexto de la DLT, +donde la rastreabilidad pública de las transacciones es necesaria para +prevenir el doble gasto (Narayanan et al. 2016), no es cierto para el +protocolo de firma ciega de tipo Chaum con un banco central que se +propone en el presente documento. Nuestra CBDC, basada en firmas ciegas +y arquitectura de dos niveles, garantiza una perfecta privacidad de +resistencia cuántica en las transacciones, al mismo tiempo que +proporciona protecciones sociales tales como impedir el lavado de dinero +(Anti-Money Laundering - AML) y financiar la lucha contra el terrorismo +(Counter Terrorism Financing -- CFT), protecciones que de hecho tienen +mayor fuerza que con los billetes. + +La privacidad en las transacciones es importante por tres razones. +Primero, porque protege a los usuarios frente al escrutinio y el abuso +de vigilancia gubernamental. Los programas de vigilancia masiva son +problemáticos incluso si las personas creen que no tienen nada que +esconder, simplemente por la posibilidad de error y abuso, +particularmente si los programas carecen de transparencia e +imputabilidad (véase Solove 2011). Segundo, porque la privacidad en las +transacciones protege a los usuarios frente a la explotación de datos por parte +de los proveedores de servicios de pago. +Tercero, porque protege a los usuarios frente a la contraparte en la +transacción, descartando la posibilidad de un posterior comportamiento +oportunista, o frente a riesgos de seguridad debido a fallos o +negligencia en la protección de los datos del cliente (véase Kahn et al. +2005). + +Este documento está estructurado como sigue: en la sección 2 explicamos +la diferencia entre el dinero del banco central y otro dinero. En la +sección 3 analizamos los diseños de CBDC comunes y simplistas, antes +de proponer nuestro diseño en la sección 4. Luego comentamos +consideraciones políticas y normativas (5) y trabajos relacionados (6); +en fin, concluimos (7). + +\hypertarget{quuxe9-es-el-dinero-del-banco-central}{% +\section{\texorpdfstring{ \textbf{¿Qué es el dinero del banco central?}} +{2. ¿Qué es el dinero del banco central?}} +\label{2.-quuxe9-es-el-dinero-del-banco-central}} + +El dinero es un activo que puede ser usado para comprar bienes y +servicios. Para ser considerado dinero, este activo debe ser aceptado +por otras entidades distintas del emisor. Este es el motivo por el que +los vales, por ejemplo, no se consideran dinero. El dinero genuino tiene +que ser aceptado \emph{comúnmente} como medio de intercambio. Si bien el +dinero tiene otras funciones, por ejemplo como unidad de cuenta y +depósito de valor, la característica que lo distingue es su función como +medio de intercambio. Normalmente, la unidad de cuenta (p. ej. cómo se +cotizan los precios y cómo se registran las deudas) coincide con el +medio de intercambio por razones de conveniencia. La separación puede +ocurrir, sin embargo, si el valor del medio de intercambio carece de +estabilidad en relación a los bienes y servicios +comercializados.\footnote{Esto puede ocurrir espontáneamente en un entorno +de alta-inflación, p. ej. cuando los precios se fijan en USD pero los pagos +se realizan en divisa local. Lo mismo es ciertopara los pagos en Bitcoin, +donde los precios usualmente se fijan en USA u otras divisas locales debido a +la alta volatilidad de Bitcoin. Una eparación también puede ocurrir por el +diseño, p. ej. en la Unidad de Fomento (UF) de Chile o la Special Drawing Right +(SDR) del fondo monetario internacional (IMF). Sin embargo, también entonces el +propósito es tener una unidad de cuenta más estable.} El dinero debe también ser +un depósito de valor para poder actuar como medio de intercambio, porque +debe preservar su poder de compra desde el momento en que se recibe +hasta el momento en que se gasta. Sin embargo, varios otros activos +sirven como depósito de valor, como por ejemplo acciones, bonos, metales +preciosos e inmuebles. Por tanto, la característica como depósito de +valor no es distintiva del dinero. + +En la economía moderna, el público usa dos tipos diferentes de dinero: +(a) dinero estatal y (b) dinero privado. El dinero estatal lo emite +típicamente un banco central, que actúa como agente del Estado. El +dinero del banco central está disponible para determinadas instituciones +financieras en forma de depósitos en el banco central (reservas) y para +el público en forma de moneda (billetes y monedas), también llamado +``efectivo''. En una economía moderna con dinero fiduciario, tal dinero +no tiene valor intrínseco. Legalmente es una obligación del banco +central, aunque no es canjeable. + +En la mayoría de los países, el dinero del banco central se define como +moneda de curso legal, lo cual significa que debe ser aceptado como pago +de una deuda monetaria, incluyendo impuestos y multas legales. Si bien +esto garantiza que el dinero del banco central tenga algún valor, el +estatus de moneda de curso legal es insuficiente para que el dinero del +banco central mantenga un valor estable. Más bien, es la política +monetaria de los bancos centrales la que mantiene el valor del dinero. +Mantener la estabilidad de los precios, es decir, un valor estable del +dinero en relación con el valor de los bienes y servicios +comercializados, es una de las principales responsabilidades de los +bancos centrales. + +En una economía moderna, la mayoría de los pagos se hacen con dinero +privado emitido por bancos comerciales. Tal dinero se compone de +depósitos a la vista que la gente tiene en los bancos comerciales. A +estos depósitos bancarios se puede acceder con cheques, tarjetas de +débito, tarjetas de crédito, u otros medios para transferir dinero. Son +una obligación del respectivo banco comercial. Una característica +fundamental de los depósitos bancarios es que los bancos comerciales +garantizan la convertibilidad, bajo demanda, en dinero del banco central +a un precio fijo, es decir, a la par. Los depositantes pueden retirar +sus fondos en efectivo o transferirlos a una tasa fija de 1:1. Los +bancos comerciales mantienen estable el valor de su dinero vinculándolo +al dinero del banco central. + +No obstante, en un sistema de reserva fraccionado, un banco comercial +-- incluso siendo solvente -- puede no contar con la liquidez necesaria +para cumplir su promesa de convertir los depósitos bancarios en dinero +del banco central (p. ej. en caso de una caída bancaria) de manera tal +que los clientes no puedan retirar su dinero. Un banco también puede +llegar a ser insolvente e ir a la bancarrota, y como resultado los +clientes pueden perder su dinero. Así, los bancos comerciales están +regulados para mitigar estos riesgos. + +Una diferencia significativa entre el dinero de un banco central y el +dinero emitido privadamente por un banco comercial es, por lo tanto, que +este último conlleva un riesgo para la contraparte. Un banco central +puede siempre cumplir con sus obligaciones usando su propio dinero no +reembolsable. El dinero del banco central es el único activo monetario +de una economía nacional sin riesgo crediticio o de liquidez. Por lo +tanto, es el activo que típicamente se prefiere para los pagos en las +infraestructuras del mercado financiero (véase p. ej. CPMI-IOSCO +\emph{Principles for Financial Market Infrastructures}, 2012). Otra +diferencia es que el dinero del banco central afianza el sistema +monetario nacional al proporcionar una referencia de valor con la que el +dinero de los bancos comerciales mantiene una convertibilidad a la par. + +Aparte de los bancos comerciales, otra entidades privadas ocasionalmente +intentan emitir dinero, las criptomonedas son solo el intento más +reciente. Pero a diferencia de los depósitos bancarios, tal dinero no es +comúnmente aceptado como medio de intercambio. Esto también sucede con +Bitcoin, la criptomoneda más aceptada. Un impedimento a su utilidad como +medio de intercambio es la alta volatilidad de su valor. Una respuesta +reciente a este problema fue la aparición de las llamadas monedas +estables. Las monedas estables generalmente intentan estabilizar su +valor en una de las dos maneras siguientes: o bien imitando a los bancos +centrales (monedas estables algorítmicas) o bien imitando a los bancos +comerciales o a los medios de inversión (monedas estables con respaldo +de activos).\footnote{Para más detalles sobre la taxonomia y descripción +de las monedas stables véase Bullman et al. (2019).} + +Las ``monedas estables algorítmicas'' dependen de algoritmos para +regular su suministro. En otras palabras, intentan alcanzar la +estabilidad de su precio con sus propias ``políticas monetarias +algorítmicas''. Hay ejemplos de tales monedas estables (p. ej. Nubits), +pero hasta ahora ninguna ha estabilizado su valor por largo tiempo. + +Las monedas estables ``respaldadas con activos'' difieren en función del +tipo de activos que usan y de los derechos legales que adquieren los +titulares de monedas estables. Los tipos de activos que típicamente se +usan son: dinero (reservas del banco central, billetes o depósitos en +bancos comerciales), productos básicos (p. ej. oro), valores y a veces +otras criptomonedas. Cuán bien tal esquema estabilice el valor de las +monedas en relación al activo o los activos subyacentes depende de +manera crucial de los derechos legales que adquieran los titulares de +las monedas estables. Si una moneda estable es canjeable a un precio +fijo (p. ej. 1 moneda = 1 USD, o 1 moneda= 1 onza de oro), tal +estabilidad teóricamente se conseguirá.\footnote{Si también estabilice o + no el valor de las monedas estables en relación con los bienes y + servicios negociados + + depende de la estabilidad del valor del respectivo activo en relación + con el valor de los bienes y servicios.} Lo que el esquema +esencialmente hace es replicar a los bancos comerciales garantizando la +convertibilidad al activo subyacente a la vista. Sin embargo, a +diferencia de los depósitos bancarios, que típicamente están solo +parcialmente respaldados por las reservas monetarias del banco central, +las monedas estables generalmente están respaldadas completamente por +las reservas del activo subyacente para evitar el riesgo de liquidez, +principalmente porque carecen de beneficios públicos tales como el +soporte de seguros de depósito y prestamistas de última instancia, que +se aplican en cambio a los bancos regulados. + +Las monedas estables respaldadas con dinero se llaman también monedas +estables fiduciarias. Sin embargo, mantener el 100\% de garantía en +dinero (billetes o depósitos bancarios) no es muy rentable. En +consecuencia, los proveedores de monedas estables tienen un incentivo +para economizar su tenencia de activos y trasladarse hacia un sistema de +reserva fraccionado, tal como lo hicieron los bancos +comerciales.\footnote{La incertidumbre sobre si un moneda estable está + totalmente garantizada puede ser una de las razones por las que una + moneda stable puede negociarse por debajo de la par en el mercado + secundario (véase Lyons y Ganesh Viswanath-Natraj, 2020). Este fue + también historícamente el caso con los billetes cuando eran emitidos + por los bancos comerciales. Tales billetes solían negociarse con + diversos descuentos en el mercado secundario antes de que la emisión + de billetes fuera nacionalizada y transferida al monopolio de los + bancos centrales.} Esto implica que reducen su tenencia de activos de +bajo rendimiento al mínimo que se considere necesario para satisfacer el +requisito de convertibilidad. Añadiendo en cambio activos líquidos de +alto rendimiento tales como bonos del Estado. Esto mejora la +rentabilidad pero también incrementa el nivel de riesgo. + +Sin embargo, incluso si una moneda estable está garantizada al 100\% por +un depósito en un banco comercial, sigue expuesta a los riesgos de +crédito y liquidez del banco subyacente. Este riesgo se puede eliminar +si los depósitos se mantienen en el banco central para que la moneda +estable esté respaldada por las reservas del banco central. Tales +monedas estables han sido llamadas ``CBDC sintéticas'' (Adrian y +Mancini-Griffoli 2019). Es importante señalar, sin embargo, que tales +monedas estables no son dinero del banco central y por lo tanto no son +CBDC, ya que no constituyen obligaciones del banco central y, por lo +tanto, siguen expuestas al riesgo de contraparte, es decir, el riesgo de +que el emisor de la moneda estable se declare en quiebra. + +Si una moneda estable no es canjeable a un precio fijo, su estabilidad +no está garantizada por el activo subyacente. Si la moneda estable a +pesar de esto representa una participación en la propiedad del activo +subyacente, el esquema se asemeja a un fondo de inversión fijo o a un +fondo cotizado en bolsa (Exchange-Traded Fund - ETF), y se aplican los +correspondientes riesgos. El valor de la moneda dependerá del valor neto +de los activos del fondo, pero su valor real puede desviarse. Si hay +participantes autorizados que puedan crear y canjear monedas estables y +así actuar como arbitristas, como en el caso de los ETF y como estaba +previsto para Diem (Asociación Libra 2020), es probable que la +desviación sea mínima. + +En general, las monedas estables tiene una mayor probabilidad de llegar +a convertirse en dinero que las criptomonedas, especialmente si se +regulan adecuadamente. Sin embargo, la disponibilidad de CBDC limitaría +significativamente su utilidad. + +\hypertarget{diseuxf1os-simplistas-de-cbdc}{% +\section{\texorpdfstring{ \textbf{Diseños simplistas de CBDC}} +{3. Diseños simplistas de CBDC}} +\label{3.-diseuxf1os-simplistas-de-cbdc}} + +Como se ha señalado, una CBDC sería una obligación del banco central. +Dos posibles diseños que se analizan en la literatura son: (a) una CBDC +basada en cuentas y (b) una CBDC basada en tokens (o basada en valor). +Estos diseños corresponden a los dos tipos existentes de dinero de un +banco central y sus correspondientes sistemas de pago (Kahn y Roberds +2008): las reservas de un banco central (en un sistema basado en +cuentas) y billetes (en un sistema basado en tokens). Un pago se produce +si un activo monetario se transfiere de un pagador a un beneficiario. En +un sistema basado en cuentas, una transferencia se produce cobrándole a +la cuenta del pagador y transfiriendo el crédito a la cuenta del +beneficiario. En un sistema basado en tokens, la transferencia se +produce transfiriendo el valor en sí o el token, es decir, un objeto que +representa el activo monetario. El mejor ejemplo de un token es el +efectivo ---monedas o billetes. Pagar con efectivo significa entregar +una moneda o un billete. No es necesario registrar la transferencia, la +posesión del token es suficiente. Por lo tanto, las partes no están +obligadas a revelar sus identidades en ningún momento durante la +transacción, ambas pueden permanecer anónimas. De todas maneras, el +beneficiario tiene que poder verificar la autenticidad del token. Esta +es la razón por la que los bancos centrales invierten mucho en elementos +de seguridad para los billetes. + +Ha habido sugerencias de que la distinción entre los sistemas basados en +cuentas y los sistemas basados en tokens no es aplicable a las monedas +digitales (Garratt et al. 2020). Nosotros tenemos una opinión diferente +porque creemos que hay una diferencia significativa. La distinción +fundamental es la información contenida en el activo. En un sistema +basado en cuentas, los activos (las cuentas) se asocian con los +historiales de las transacciones, que incluyen todas las operaciones de +crédito y débito de las cuentas. En un sistema basado en tokens, los +activos (tokens) incluyen información acerca de su valor y de la entidad +que emitió el token. Por tanto, la única posibilidad de lograr la +propiedad de privacidad de la transacción como la que se obtiene con el +dinero efectivo reside en los sistemas basados en tokens.\footnote{Si + bien el término "Bitcoin" sugiere el uso de tokens, Bitcoin es un + sistema basado en cuentas. La única diferencia entre un sistema + tradicional basado en cuentas y una blockchain es que las cuentas no + se guardan en una base de datos central, sino en una base de datos + descentralizada del tipo "solo por anexión".} + +\hypertarget{cbdc-basada-en-cuentas}{% +\subsection{CBDC basada en cuentas}\label{cbdc-basada-en-cuentas}} + +La forma más simple de lanzar una CBDC sería permitir que el público +tenga cuentas de depósito en el banco central. Esto implica que el banco +central seria responsable de llevar a cabo verificaciones para conocer a +sus clientes (Know-Your-Customer - KYC) y asegurar el cumplimiento del +AML y CFT. Esto incluiría no solo realizar el proceso inicial del KYC, +sino también autentificar a los clientes para las transacciones +bancarias, gestionar el fraude y lidiar con los falsos positivos y las +autenticaciones de los falsos negativos. Dada la limitada presencia +física de bancos centrales en la sociedad, y el hecho de que la +autenticación del ciudadano es algo que probablemente en la actualidad +los bancos no estén preparados para hacer a gran escala, cualquier CBDC +basada en cuentas requeriría que el banco central delegara estas +verificaciones. Todo el servicio y mantenimiento de tales cuentas podría +asignarse a proveedores externos (Blindseil 2020), o la legislación +podría obligar a los bancos comerciales a abrir cuentas bancarias en el +banco central para sus clientes (Berentsen y Schär 2018). + +Tal CBDC basada en cuentas daría potencialmente a un banco central mucha +información. Una posible preocupación podría ser que esto permitiera a +los gobiernos realizar fácilmente vigilancia masiva e imponer sanciones +a los titulares de cuentas individuales. Su naturaleza centralizada hace +que tales intervenciones sean económicas y fáciles de aplicar contra +individuos o grupos. Incluso en las democracias, hay muchos ejemplos de +abusos de vigilancia dirigidos a críticos y opositores políticos. Se +podría argumentar que los bancos centrales independientes puedan +salvaguardar tal información del escrutinio del gobierno y el abuso +político, pero esto solo abriría una nueva vía para la presión política, +amenazando la independencia del banco central. Además, la base de datos +central sería un objetivo importante para los atacantes: incluso el +acceso de solo lectura a partes de la base de datos podría crear riesgos +significativos para las personas cuyos datos fueran expuestos. + +Proveyendo cuentas bancarias al público, un banco central estaría +también en competición directa con los bancos comerciales. Esta +competición implicaría dos riesgos. Primero, podría amenazar la base de +depósitos de los bancos y, en el extremo, desintermediar el sector +bancario. Esto podría afectar de manera adversa la disponibilidad de +crédito para el sector privado y, como resultado, la actividad económica +(Agur et al. 2019). La desintermediación de los bancos también podría +conducir a la centralización del proceso de asignación de crédito dentro +del banco central, lo que afectaría negativamente la productividad y el +crecimiento económico. En segundo lugar, permitir que la gente traslade +sus depósitos al refugio seguro de un banco central podría acelerar las +caídas bancarias durante crisis financieras. + +Existen sin embargo argumentos contrarios. Brunnermeier y Niepelt (2019) +argumentan que la transferencia de fondos desde un depósito hacia una +cuenta de CBDC conduciría a una sustitución automática de la +financiación de depósitos por la financiación del banco central, +simplemente haciendo explicita la garantía implícita del banco central +como prestamista de última instancia. Berentsen y Schär (2018) sostienen +que la competencia de los bancos centrales podría incluso tener un +efecto disciplinario sobre los bancos comerciales y, por lo tanto, +incrementar la estabilidad del sistema financiero, ya que los bancos +comerciales tendrían que hacer sus modelos de negocio más seguros para +evitar las caídas bancarias. + +También hay propuestas para mitigar el riesgo de la desintermediación +que tienen como objetivo limitar o desincentivar el uso de CBDC como +depósito de valor. Una propuesta es limitar la cantidad de CBDC que se +puede poseer. Una segunda propuesta es aplicar una tasa de interés +ajustable a las cuentas de CBDC, de manera que la remuneración esté +siempre lo bastante por debajo de la remuneración de las cuentas de los +bancos comerciales (posiblemente incluyendo un rendimiento negativo) +para hacer que las CBDC resulten menos atractivas como depósitos de +valor (Kumhof y Noone 2018, Bindseil 2020). Además, para disuadir las +caídas bancarias, Kumhof y Noone (2018) sugieren que las CBDC no +deberían ser emitidas contra depósitos bancarios, sino solo contra +valores tales como bonos del Estado. En general, una CBDC basada en +cuentas requeriría un análisis más profundo de estas cuestiones. + +\hypertarget{cbdc-basada-en-tokens-y-dependiente-del-hardware}{% +\subsection{CBDC basada en tokens y dependiente del hardware} +\label{cbdc-basada-en-tokens-y-dependiente-del-hardware}} + +Un banco central podría también emitir tokens electrónicos en lugar de +cuentas. Técnicamente esto requiere de un sistema para asegurar que los +tokens electrónicos no se puedan copiar fácilmente. Las funciones +físicamente imposibles de clonar (véase Katzenbeisser et al. 2012) y las +zonas seguras en el hardware (véase Alves y Felton 2004, Pinto y Santos +2019) son dos tecnologías potenciales para la prevención de la copia +digital. Las funciones físicas imposibles de clonar, sin embargo, no se +pueden intercambiar a través de Internet (eliminando así el uso +principal de las CBDC), y anteriores funciones de seguridad en el +hardware para la prevención de copias se han visto comprometidas +repetidamente ( véase p. ej. Wojtczuk y Rutkowska 2009, Johnston 2010, +Lapid and Wool 2019). + +Una ventaja fundamental de las CBDC basadas en tokens sobre las basadas +en cuentas del banco central es que los sistemas basados en tokens +funcionarían sin conexión, es decir, los usuarios podrían intercambiar +tokens (peer-to-peer) sin involucrar al banco central, lo que protegería +la privacidad y la libertad de las personas. Sin embargo, la +desintermediación que se produce cuando los usuarios pueden intercambiar +tokens electrónicos sin los bancos como intermediarios que realizan los +controles KYC, AML y CFT dificultarían la limitación de los abusos por +parte de delincuentes. + +Las tarjetas SIM son actualmente las candidatas más extensivamente +disponibles para un sistema de pago seguro basado en hardware, pero +estas también conllevan riesgos. La experiencia (véase p. ej. Soukup y +Muff 2007, Garcia et. al. 2008, Kasper et. al. 2010, CCC 2017) sugiere +que cualquier dispositivo económicamente producible que almacene tokens +con un valor monetario en posesión de una persona, y que permita +transacciones sin conexión ---y por tanto el robo de la información que +contiene--- será el objetivo de ataques de falsificación exitosos tan +pronto como el valor económico del ataque fuera los suficientemente +elevado. Tales ataques incluyen usuarios que atacan su propio hardware +(véase también Allen et al. 2020). Los sistemas de pago con tarjeta que +se han desplegado previamente dependen de la resistencia a la +manipulación en combinación con la detección del fraude para limitar el +impacto de una situación de peligro. Sin embargo, la detección del +fraude requiere la habilidad de identificar a los pagadores y seguir la +pista de los clientes, lo cual no es compatible con la privacidad de la +transacción. + +\hypertarget{diseuxf1o-de-cbdc-basado-en-tokens-para-salvaguardar-la-privacidad}{% +\section{\texorpdfstring{ \textbf{Diseño de CBDC basado en tokens para salvaguardar la +privacidad}}{4. Diseño de CBDC basado en tokens para salvaguardar la +privacidad}} +\label{4.-diseuxf1o-de-cbdc-basado-en-tokens-para-salvaguardar-la-privacidad}} + +La CBDC que se propone aquí es de tipo "solo software", simplemente una +aplicación para teléfonos inteligentes que no requiere ningún hardware +adicional por parte de los usuarios. La CBDC se basa en eCash y GNU +Taler. Taler es parte del Proyecto GNU, cuyo fundador, Richard Stallman, +acuñó el término "Software Libre", actualmente denominado "Software +Libre y de Código Abierto" (Free/Libre Open Source Software -- +FLOSS).\footnote{Para más información sobre GNU, véase + https://www.gnu.org y Stallman (1985). GNU Taler se publica + gratuitamente bajo la Licencia Pública General Affero del Proyecto + GNU. Otros programas del Proyecto GNU populares entre los economistas + son «R» y ``GNU Regression, Econometrics and Time-series Library'' + (GRETL). Un análisis de los beneficios del FLOSS en comparación con el + software privativo en el campo de la investigación puede consultarse + en Baiocchi y Distaso (2003), Yalta y Lucchetti (2008) y Yalta y Yalta + (2010). Sobre el licenciamiento de código abierto véase Lerner y + Tirole (2005).} Un programa se considera "Software Libre" si la +licencia otorga a los usuarios cuatro libertades esenciales: la libertad +de ejecutar el programa como deseen, la libertad de estudiar el programa +y modificarlo, la libertad de redistribuir copias del programa y la +libertad de distribuir copias de las versiones modificadas del programa. +El software libre no tiene por qué ser no comercial: proporcionar +soporte técnico para software es un modelo de negocio estándar para el +FLOSS. + +Dado el gran número de partes interesadas involucradas en una CBDC al +por menor (el banco central, el sector financiero, comerciantes y +clientes) y la importancia crítica de la infraestructura, una CBDC al +por menor debe basarse en el FLOSS. Imponer una solución propietaria que +requiera la dependencia de un proveedor en particular sería +probablemente un obstáculo para la adopción desde el principio. Con el +FLOSS, todas las partes interesadas tienen acceso a cada detalle de la +solución y el derecho de adaptar el software a sus necesidades. Esto +conduce a una integración más fácil y una mejor interoperabilidad y +competencia entre proveedores.\footnote{Sin embargo, puede haber otros + roles para hardware privado. Por ejemplo, proteger los depósitos de + claves y ciertas funciones de auditoría, en la medida en que tal + seguridad pueda demostrarse solo como aditiva, puede ser un área donde + el hardware dedicado evaluado por solo un número limitado de expertos + podría tener ventajas.} Además, permite que el banco central cumpla +con los requisitos de transparencia y responsabilidad. Los beneficios +del FLOSS para la seguridad son también ampliamente reconocidos. La +disponibilidad del código fuente y el derecho a modificarlo facilitan la +detección de fallos y su rápida solución.\footnote{Por ejemplo, un + boletín de seguridad cibernética emitido por la Agencia de Seguridad + Nacional de EE. UU. en abril de 2020 insta a los usuarios a priorizar + el software de código abierto en la selección y el uso de servicios de + colaboración para la comunicación por Internet: ``El desarrollo de + código abierto puede proporcionar confiabilidad de que el código está + escrito para asegurar las mejores prácticas de programación y no es + probable que introduzca vulnerabilidades o debilidades que puedan + poner en riesgo a los usuarios y los datos '' (U / OO / 134598-20).} + +En esta nuestra arquitectura que proponemos todas las interacciones del +consumidor y el comerciante son con bancos comerciales. Sin embargo, la +creación de dinero y la base de datos las proporcionan exclusivamente el +banco central. Los bancos comerciales autentican a los clientes cuando +retiran CBDC y a los comerciantes/beneficiarios cuando reciben CBDC, +pero cuando gastan CBDC, los clientes/pagadores solo tienen que +autorizar sus transacciones y no necesitan identificarse. Esto hace que +los pagos resulten más baratos, fáciles y rápidos, y evita una fácil +interferencia con la privacidad (Dold 2019). Además, autenticar a los +clientes cuando retiran CBDC y a los comerciantes/beneficiarios cuando +reciben CBDC garantiza el cumplimiento del KYC, AML y CFT. + +La CBDC que se propone en el presente documento es un auténtico +instrumento digital al portador porque cuando el usuario retira una suma +de dinero en forma de número, el número es ``cegado'' u ocultado por el +teléfono inteligente con un cifrado especial. En el sistema real, una +moneda es un par de claves pública / privada, y la clave privada solo la +conoce el propietario de la moneda.\footnote{En Bitcoin, que es un + sistema basado en cuentas, el par de claves es una cuenta, siendo la + clave pública la "dirección" de la cuenta y por tanto un tipo de + "identidad'', incluso si se trata de un pseudónimo.} La moneda deriva +su valor financiero de la firma del banco central en la clave pública de +la moneda. El banco central hace la firma con su clave privada y dispone +de múltiples pares de claves de denominación para la firma ciega de +monedas de diferentes valores. Un comerciante puede utilizar la +correspondiente "clave pública" del banco central para verificar la +firma. Sin embargo, para asegurarse de que la moneda no haya sido +copiada y ya canjeada por otro beneficiario (es decir, que no se haya +"gastado dos veces"), el comerciante debe depositar la moneda para que +el banco central pueda comparar la moneda con un archivo de monedas +canjeadas. Debido a que ni el banco comercial ni el banco central ven el +número de la moneda durante el retiro, más tarde, cuando el comerciante +deposita la moneda, se desconoce qué usuario la retiró. El cegamiento y +la privacidad resultante son los que hacen de este tipo de CBDC un +verdadero instrumento digital al portador. + +En el análisis que sigue proporcionamos una introducción de alto nivel a +la tecnología y demostramos cómo se puede integrar con el sistema +bancario existente para crear una CBDC. Dold (2019) describe detalles +adicionales. + +\hypertarget{componentes-fundamentales}{% +\subsection{Componentes fundamentales}\label{componentes-fundamentales}} + +A continuación describimos los principales componentes del protocolo, +incluido el trasfondo matemático para una posible instanciación de las +primitivas criptográficas utilizadas, para ilustrar cómo podría +funcionar una implementación. Observamos que existen diseños matemáticos +alternativos y equivalentes para cada componente, y simplemente +presentamos los diseños seguros más sencillos de los que tenemos +conocimiento. + +\emph{Firmas digitales.} La idea básica de las firmas digitales en un +esquema de firma con clave pública es que el propietario de una clave +privada es el único que puede firmar un mensaje, mientras que la clave +pública permite a cualquiera verificar la validez de la +firma.\footnote{La criptografía de clave pública fué introducida por + Diffie y Hellman (1976), y la primera implentación de firmas digitales + fué introducida por Rivest, Shamir y Adleman (1978).} El resultado de +la función de verificación es la declaración binaria "verdadero" o +"falso". Si el mensaje está firmado con la clave privada que pertenece a +la clave pública de verificación, el resultado es verdadero, de lo +contrario es falso. En nuestra propuesta, el mensaje es una "moneda" o +"billete" con un número de serie, y la firma del banco central confirma +su validez. Si bien GNU Taler usa por defecto firmas EdDSA modernas +(véase Bernstein et al. 2012), presentamos un esquema de firma +criptográfica simple basado en el bien estudiado sistema criptográfico +RSA (Rivest et al. 1978).\footnote{Para un análisis de la larga historia + del criptosistema RSA y un estudio de los ataques al criptosistema + RSA, consulte Boneh (1999).} Sin embargo, en principio se puede +utilizar cualquier esquema de firma criptográfica (DSA, ECDSA, EdDSA, +RSA, etc.). + +Para generar las claves RSA, el firmante elige primero dos grandes e +independientes números primos \(p\) y \(q\) y calcula \(n = \text{pq}\) +así como la función totient de Euler +\(\phi\left( n \right) = \left( p - 1 \right)\left( q - 1 \right)\). +Entonces, cualquier \(e\) con \(1 < e < \phi\left( n \right)\) y +\(\gcd\left( e,\phi\left( n \right) \right) = 1\) se puede usar para +definir una clave pública \(\left( e,n \right)\). La condición de que el +mayor común divisor (greatest common divisor - gcd) de \(e\) y +\(\phi\left( n \right)\) tiene que ser 1 (p. ej., que deben ser +relativamente primos) asegura que la inversa de +\(e \hspace*{1pt} \text{mod} \hspace*{1pt} \phi\left( n \right)\) existe. +Esta inversa es la +correspondiente clave privada d. Dado \(\phi\left( n \right)\), la clave +privada \emph{d} se puede calcular usando el algoritmo extendido +Euclídeo de modo que +\(d \bullet e \equiv 1 \hspace*{1pt} \text{mod} \hspace*{1pt} \phi\left( n \right)\). + +Dada la clave privada d y la clave pública (e, n), una firma simple RSA +\emph{s} sobre un mensaje \emph{m} es +\(s \equiv m^{d} \hspace*{1pt} \text{mod} \hspace*{1pt} n\). +Para verificar la firma, se calcula +\(m^{'} \equiv s^{e} \hspace*{1pt} \text{mod} \hspace*{1pt} n\). +Si \(m'\) y \emph{m} coinciden, la firma es válida, lo que prueba que el +mensaje fue firmado con la clave privada que pertenece a la clave +publica de verificación (autenticación de mensaje ) y que ese mensaje no +ha sido cambiado en tránsito (integridad de mensaje). En la práctica, +las firmas se colocan sobre lo hashes de los mensajes en vez de los +propios mensajes. Las funciones hash calculan el resumen de los +mensajes, que son identificadores únicos y cortos para los mensajes. +Firmar un hash corto es mucho más rápido que firmar un mensaje largo, y +la mayoría de los algoritmos de firma solo funcionan con entradas +relativamente cortas.\footnote{En el caso del criptosistema RSA el +límite de la longitud es \(\log_{2}n\) bits.} + +\emph{Firmas ciegas.} Usamos firmas ciegas, introducidas por Chaum +(1983), para proteger la privacidad de los compradores. Una firma ciega +se usa para crear una firma criptográfica para un mensaje sin que el +firmante conozca el contenido del mensaje que se firma. En nuestra +propuesta, esto evita que los bancos comerciales y el banco central +puedan rastrear las compras identificando a los compradores. Nuestra +propuesta funciona en principio con cualquier esquema de firma ciega, +pero la mejor solución es la variante basada en RSA descrita por Chaum +(1983). + +El cegamiento lo realizan los clientes, quienes ciegan sus monedas antes +de transmitirlas al banco central para ser firmadas. Los clientes por +tanto no necesitan confiar al banco central la protección de su +privacidad. Además, el cegamiento RSA proveería de protección de la +privacidad incluso contra ataques informáticos cuánticos. El banco +central, por su parte, establece múltiples denominaciones de pares de +claves disponibles para realizar la firma ciega de monedas con +diferentes valores, y publica/provee las correspondientes claves +públicas \emph{(e, n)} para estos valores. + +Sea \(f\) el valor hash de una moneda y por tanto un identificador único +para esta moneda. El cliente que retira la moneda primero genera una +factor ciego aleatorio \(b\) y calcula +\(f^{'} \equiv fb^{e} \hspace*{1pt} \text{mod} \hspace*{1pt} n\) +con la clave pública del banco central para ese valor. +La moneda cegada \(\kappa\) se transmite luego +al banco central para ser firmada. El banco central firma \(f'\) con su +clave privada \(d\) calculando la firma ciega +\(s^{'} \equiv \left( f^{'} \right)^{d} \hspace*{1pt} \text{mod} \hspace*{1pt} n\), +añade la firma \(s'\) a la moneda cegada \(t_{i}\) y devuelve el par +\(\left( s \middle| ',f' \right)\) al cliente. +El cliente puede entonces des-cegar la firma calculando +\(s \equiv s^{'}b^{- 1} \hspace*{1pt} \text{mod} \hspace*{1pt} n\). +Esto funciona porque +\(\left( f^{'} \right)^{d} = f^{d}b^{\text{ed}} = f^{d}b\) y, así, +multiplicar \(s'\) con \(b^{- 1}\) produce \(f\), que es una firma RSA +válida sobre \(c\) como antes: +\(s^{e} \equiv f^{\text{de}} \equiv f \hspace*{1pt} \text{mod} \hspace*{1pt} n\). + +En la propuesta original de Chaum, las monedas eran solo tokens. Sin +embargo, nosotros queremos que los consumidores puedan realizar +contratos usando firmas digitales. Para lograrlo, cuando una billetera +digital retira una moneda, primero crea una clave privada aleatoria +\(c\) y calcula la correspondiente clave publica \(C\) de esta moneda +para crear firmas digitales con esquemas de firma criptográfica +regulares (como DSA, ECDSA, EdDSA, and RSA). Entonces, se deriva \(f\) +usando una hash criptográfica de la clave pública \(C\), que luego es +firmada en modalidad ciega por el banco central (usando un factor +aleatorio ciego actualizado para cada moneda). Ahora el cliente puede +usar \(c\) para firmar compras electrónicamente, gastando así la moneda. + +Como se ha señalado anteriormente, el banco central establecería pares +de claves para los diferentes valores de las monedas y publicaría las +claves públicas que los clientes podrían usar para retirar dinero. Estas +claves de denominación, y por tanto las monedas, tendrían una fecha de +vencimiento antes de la cual deberían ser gastadas o intercambiadas por +nuevas monedas. A los clientes se les daría una cierta cantidad de +tiempo durante el cual podrían intercambiar sus monedas. Un proceso +similar existe para los billetes físicos, donde las series de los +billetes se renuevan regularmente para que los billetes vayan equipados +con las últimas características de seguridad, excepto que los billetes +generalmente permanecen en circulación durante décadas en vez de por +unos pocos meses o años.\footnote{En Suiza, por ejemplo, el Swiss +National Bank empezó la eliminación paulatina la serie octava de +billetes en abril de 2016. Estos billetes fueron puestos en +circulación al final de los 90. A partir del dia 1 de enero de 2020, +sin embargo, todos los billetes que empiezan por la serie sexta +emitidos en 1976, así como cualquier futura serie, permanecen válidas +y se pueden cambiar por billetes actuales de forma indefenida.} + +Desde un punto de vista técnico, una fecha de vencimiento tiene dos +ventajas. Primero, mejora la eficiencia del sistema porque el banco +central puede descartar entradas vencidas y no tiene que almacenar y +buscar una lista siempre creciente de monedas (gastadas) para detectar +el doble gasto. Segundo, reduce los riesgos de seguridad porque el banco +central no tiene que preocuparse sobre ataques contra sus claves +(\emph{d}) de denominación (privadas) vencidas. Además , incluso si una +clave privada se ve comprometida, el tiempo durante el cual el atacante +puede usar la clave es limitado. Además cobrar una comisión por el +cambio permitiría al banco central implementar tasas de interés +negativas, si se considera necesario. El banco central podría también +imponer un límite de conversión por cliente en consideración del AML y +el CFT (límites de ``efectivo'' ) o por razones de estabilidad +financiera (para prevenir el acaparamiento o las caídas bancarias), si +así se deseara. + +\emph{Protocolo de intercambio de claves.} GNU Taler utiliza un +protocolo de intercambio de claves de manera inusual para proporcionar +un vínculo entre la moneda original y el cambio (también llamado +``vuelto'') entregado por esa moneda original. Esto asegura que siempre +se pueda entregar el cambio sin comprometer la transparencia de los +ingresos o la privacidad del consumidor. El mismo mecanismo se puede +usar también para realizar devoluciones anónimas a los clientes. El +protocolo también maneja fallos en la red y en los componentes, +asegurando que los pagos se hayan realizado definitivamente o se hayan +cancelado definitivamente y que todas las partes tengan una prueba +criptográfica del resultado. Esto es aproximadamente equivalente a los +intercambios atómicos de los protocolos \emph{interledger} o al +intercambio justo en sistemas tradicionales de efectivo electrónico. + +La construcción matemática más común para un protocolo de intercambio de +claves es la construcción Diffie-Hellman (Diffie y Hellman 1976). Esta +permite que dos partes puedan derivar una clave secreta compartida. Para +hacerlo, comparten dos parámetros del dominio \emph{p} y \emph{g}, que +pueden ser públicos, donde \emph{p} es un número primo grande y \emph{g} +es una raíz primitiva módulo \emph{p}.\footnote{Un entero \emph{g} es una raíz +primitiva módulo \emph{p} si para cada entero \emph{a} coprimo a \emph{p} hay +algún entero \emph{k} para el cual +\(g^{k} \equiv a\left( \hspace*{1pt} \text{mod} \hspace*{1pt} p \right)\). +En la práctica, \emph{g} deberia ser tal raíz primitiva \emph{p-1}, que se +llama también generador, para prevenir ataques de subgrupo tales como ataques +Pohlig-Hellman (véase Lim y Pil, 1997).} Ahora, las dos partes eligen sus claves +privadas \emph{a} y \emph{b}, que son dos números enteros grandes. Con estas claves +privadas y los parámetros del dominio, generan sus respectivas claves +públicas \(A \equiv g^{a} \hspace*{1pt} \text{mod} \hspace*{1pt} p\) y +\(B \equiv g^{b} \hspace*{1pt} \text{mod} \hspace*{1pt} p\). +Cada una de las partes ahora puede usar su propia clave privada y la +clave pública de la otra parte para calcular la clave secreta compartida +\(k \equiv \left( g \middle| b \right)^{a} \equiv \left( g^{a} \right)^{b} \equiv g^{\text{ab}} \hspace*{1pt} \text{mod} \hspace*{1pt} p\). +\footnote{El mismo mecanismo también se podría usar para garantizar que + las monedas no se transfieran a un tercero durante el retiro. Para + lograr esto, los consumidores tendrían que salvaguardar una clave de + identidad a largo plazo. Luego, el proceso de retiro podría usar la + misma construcción que usa GNU Taler para obtener el cambio, excepto + que se usaría la clave de identidad a largo plazo de un cliente en + lugar de la moneda original cuando se retira de la cuenta bancaria del + cliente. Sin embargo, si el cliente no proteje la clave de identidad a + largo plazo las garantías de privacidad podrían quedar anuladas con + consecuente riesgo de robo de todas las monedas restantes. Dado el + riesgo limitado en las transferencias a terceros al retirar monedas, + no está claro si esta mitigación sería una buena compensación.} + +Para obtener el cambio (también llamado ``vuelto''), el cliente empieza +con la clave privada de la moneda c. gastada parcialmente. Sea C la +correspondiente clave pública, p. ej. +\(C = g^{c} \hspace*{1pt} \text{mod} \hspace*{1pt} p\). +Cuando la moneda se gastó parcialmente, el banco central grabó en su base de +datos la transacción en la que se incluye a C. Para simplificar, daremos +por sentado que existe una denominación que coincide exactamente con el +valor residual. De no ser así, se puede simplemente ejecutar +repetidamente el protocolo de cambio hasta obtener todo el cambio +necesario. Sea \(\left( e,n \right)\) la clave de denominación para el +cambio que se tiene que emitir. + +Para obtener el cambio, el cliente primero crea \(\kappa\) claves de +transferencia privada \(t_{i}\) para +\(i \in \left\{ 1,\ldots,\kappa \right\}\) y calcula las +correspondientes claves públicas \(T_{i}\). Estas claves de +transferencia \(\kappa\) son simplemente pares de claves pública-privada +que permiten al cliente ejecutar localmente el protocolo de intercambio +de claves -- con el cliente jugando en ambos lados -- \(\kappa\) veces +entre \emph{c} y cada \(t_{i}\). Si se usa Diffie-Hellman para el protocolo de +intercambio de claves, tendremos +\(T_{i} \equiv g^{t_{i}} \hspace*{1pt} \text{mod} \hspace*{1pt} p\). + +El resultado son tres secretos de transferencia +\(K_{i} \equiv \emph{KX}\left( c,t_{i} \right)\). El protocolo de +intercambio de claves se puede usar de diferentes maneras para llegar al +mismo valor +\(K_{i} \equiv \emph{KX}\left( C,t_{i} \right) = \emph{KX}\left( c,T_{i} \right)\). +Dada \(K_{i}\), el cliente usa una función criptográfica hash H para +derivar valores +\(\left( b_{i},c_{i} \right) \equiv H\left( K_{i} \right)\), donde +\(b_{i}\) es un factor ciego válido para la clave de denominación +\(\left( e,n \right)\) y \(c_{i}\) es una clave privada para obtener la +moneda recién creada como cambio. \(c_{i}\) debe ser adecuada tanto para +crear firmas criptográficas como para su futuro uso con el protocolo de +intercambio de claves (como \emph{c}, para obtener cambio a partir del cambio). +Sea \(C_{i}\) la clave pública correspondiente a \(c_{i}\). El cliente +solicita entonces al banco central que cree una firma ciega sobre +\(C_{i}\) para \(i \in \left\{ 1,\ldots,\kappa \right\}\). \footnote{Si + se usara el criptosistema RSA para firmas ciegas, + usaríamos \(f \equiv \emph{FDH}_{n}\left( C_{i} \right)\), donde + \(\emph{FDH}_{n}\left( \right)\) es el hash de dominio completo sobre + el dominio \emph{n}.} En esta petición, el cliente también se compromete a +las claves públicas \(T_{i}\). La petición es autorizada usando una +firma hecha con la clave privada \emph{c}. + +En lugar de devolver directamente la firma ciega, el banco central +primero desafía al cliente para comprobar que el cliente haya usado +correctamente la construcción mencionada anteriormente proveyendo +\(\gamma \in \left\{ 1,\ldots,\kappa \right\}\). El cliente debe +entonces revelar al banco central la \(t_{i}\) para \(i \neq \gamma\) . +El banco central puede entonces calcular +\(K_{i} \equiv \emph{KX}\left(C,t_{i} \right)\) y derivar los valores +de \(\left( b_{i},c_{i} \right)\). Si para todas las \(i \neq \gamma\) +la \(t_{i}\) provista demuestra que el cliente usó la construcción +correctamente, el banco central devuelve la firma ciega sobre +\(C_{\gamma}\). Si el cliente no provee una prueba correcta, se pierde +el valor residual de la moneda original. Esto penaliza efectivamente a +quienes intentan evadir la transparencia de sus ingresos con una tasa de +impuestos estimada de \(1 - \frac{1}{\kappa}\). + +Para evitar que un cliente conspire con un comerciante que está tratando +de ocultar sus ingresos, el banco central permite que cualquiera que +conozca \emph{C} pueda obtener, en cualquier momento, los valores de +\(T_{\gamma}\) y las correspondientes firmas ciegas de todas las monedas +vinculadas a la moneda original \emph{C}. Esto permite que el propietario de la +moneda original -- que conoce \emph{c} -- calcule +\(K_{\gamma} \equiv \emph{KX}\left( c,T_{\gamma} \right)\) y, a partir de +allí, pueda derivar \(\left( b_{i},c_{i} \right)\) y descifrar la firma +ciega. En consecuencia, un comerciante que oculte sus ingresos de este +modo formaría básicamente una unión económica limitada con el cliente en +lugar de obtener un control exclusivo. + +\hypertarget{arquitectura-del-sistema}{% +\subsection{Arquitectura del sistema}\label{arquitectura-del-sistema}} + +El objetivo principal de nuestra arquitectura es asegurar que los bancos +centrales no tengan que interactuar directamente con los clientes o +guardar ninguna información sobre ellos, sino simplemente mantener una +lista de las monedas que se gastan. La autenticación se delega a los +bancos comerciales, que tienen ya la infraestructura necesaria. Los +protocolos de retiro y depósito llegan al banco central a través del +banco comercial como intermediario. Desde el punto de vista del cliente, +el proceso es análogo a retirar dinero efectivo desde un cajero +automático. La transacción entre el banco comercial del usuario y el +banco central tiene lugar en segundo plano. El procedimiento para +retirar CBDC sería como se muestra en la Figura 1. + +\includegraphics[width=6.13681in,height=4.60208in]{taler_figure_1_dora_SPANISH.jpg} + +Un cliente (1) proporciona autenticación a su banco comercial usando la +autenticación respectiva del banco comercial y los procedimientos de +autorización. A continuación, el teléfono (u ordenador) del cliente +obtiene la clave de denominación (e, n) provista por el banco central +para ese valor; calcula entonces (2) un par de claves para una moneda, +con la clave privada c y la clave pública C, y elige un factor de cegado +\emph{b. A la} clave pública de la moneda se le aplica una función hash +(→ \emph{f}) y es cegada (→ \(f^{'}\)). A continuación, (3) el teléfono +del cliente envía \(f^{'}\) junto con una autorización para retirar la +moneda y debitar de la cuenta del cliente en el banco comercial a través +de un canal seguro establecido. El banco comercial entonces (4) debita +la cantidad en la cuenta de depósito del cliente , (5) autoriza +digitalmente la petición con la propia firma digital de su sucursal +bancaria y reenvía la petición y la moneda cegada al banco central para +su firma. El banco central (6) deduce el valor de la moneda en la cuenta +del banco comercial, firma la moneda de forma ciega con la clave privada +del banco central para el valor respectivo, y (7) devuelve la firma +ciega \emph{s'} al banco comercial. (8) reenvía la firma ciega \emph{s'} +a la billetera electrónica del cliente. Finalmente, el teléfono del +cliente (9) usa b para descifrar la firma (→ \emph{f}) y almacena la +moneda recién acuñada (c, s). + +Cuando se gastan CBDC, el proceso es análogo a pagar al vendedor en +efectivo. Sin embargo, para asegurar el acuerdo, el vendedor debe +depositar las monedas. El procedimiento para gastar CBDC se indica en la +Figura 2. + +Un cliente y un vendedor negocian un contrato comercial, y (1) el +cliente usa una moneda electrónica para firmar el contrato o factura de +venta con la clave privada c de la moneda y transmite la firma al +vendedor. La firma de una moneda en un contrato con una moneda válida es +una instrucción del cliente para pagar al vendedor que es identificado +por la cuenta bancaria en el contrato. Los clientes pueden firmar +contratos con múltiples monedas en caso de que una sola moneda fuera +insuficiente para pagar la cantidad total. El vendedor (2) valida +entonces la firma de la moneda sobre el contrato y la firma s del banco +central sobre \emph{f} que corresponde a la C de la moneda con las +respectivas claves públicas y reenvía la moneda firmada (junto con la +información de la cuenta del vendedor) al banco comercial del vendedor. +El banco comercial del vendedor (3) confirma que el vendedor es uno de +sus clientes y envía la moneda firmada al banco central. El banco +central (4) verifica las firmas y comprueba su base de datos para +asegurar que la moneda no haya sido previamente gastada. Si todo está en +orden, (5) el banco central añade la moneda a la lista de monedas +gastadas, acredita la cuenta del banco comercial en el banco central y +(6) envía la confirmación al banco comercial a tal efecto. A +continuación, (7) el banco comercial acredita la cuenta del vendedor e +(8) informa al vendedor. El vendedor (9) entrega el producto o servicio +al cliente. Todo el proceso dura solo unos pocos milisegundos. + +\includegraphics[width=6.13681in,height=4.60208in]{taler_figure_2_dora_SPANISH.jpg}. + +\hypertarget{consideraciones-acerca-de-la-seguridad}{% +\subsection{Consideraciones acerca de la Seguridad} +\label{consideraciones-acerca-de-la-seguridad}} + +Nuestra propuesta requiere que el banco central opere un servicio en +línea y una base de datos de alta disponibilidad. Debido a que los +usuarios pueden copiar las monedas electrónicas, solo los controles en +línea pueden prevenir eficientemente el doble gasto. Si bien existen +soluciones teóricas para identificar de manera retroactiva a usuarios +que se dediquen al doble gasto (véase Chaum et al. 1990), tales +soluciones crean un riesgo económico tanto para los usuarios como para +el banco central, debido al retraso en la identificación de +transacciones fraudulentas. La detección del doble gasto en línea +elimina este riesgo, pero a su vez implica que las transacciones serán +imposibles de realizar si la conexión con el banco central no estará +disponible. + +El banco central también tendrá que proteger la confidencialidad de las +claves privadas que utiliza para firmar las monedas y otros mensajes del +protocolo. De manera que si las claves de las firmas del banco central +se vieran en algún momento comprometidas, como por ejemplo por una +computadora cuántica, un ataque físico en su centro de datos, o quizás +por algún nuevo algoritmo imprevisto, los usuarios puedan de forma +segura, y sin comprometer su privacidad, ser reembolsados con todas las +monedas que no han gastado. El banco central anunciaría la revocación de +clave mediante la API (Application Programming Interface), que sería +detectada por las billeteras e iniciarían el siguiente protocolo de +actualización: el usuario revela al banco central la clave pública +\emph{C} de la moneda, la firma \emph{s} del banco central, y el factor +ciego \emph{b}, posibilitando así que el banco central verifique el +retiro legítimo del usuario y devuelva el valor de la moneda no gastada. +Para detectar un posible compromiso de esta clave, el banco central +puede monitorear la base de datos en busca de casos de depósitos que +superen los retiros. + +\hypertarget{escalabilidad-y-costes}{% +\subsection{Escalabilidad y Costes}\label{escalabilidad-y-costes}} + +El esquema que proponemos sería tan eficiente y rentable como los +modernos sistemas RTGS que utilizan actualmente los bancos centrales. + +La escalabilidad se refiere al costo de aumentar la capacidad de +procesamiento para que se pueda procesar un número cada vez mayor de +transacciones en un tiempo adecuado para la finalidad. El costo global +del sistema puede ser bajo, ya que la CBDC que se propone aquí se basa +en software solamente. Las monedas gastadas deben guardarse hasta que +caduque el par de claves de denominación que se usó para firmar las +monedas; por ejemplo, mediante un calendario anual renovable, que +mantiene limitado el tamaño de la base de datos. La cantidad de potencia +de procesamiento adicional y ancho de banda necesarios aumenta en la +misma cantidad por cada transacción, gasto o depósito adicional, porque +las transacciones son esencialmente independientes una de la otra. Esta +potencia adicional se logra simplemente añadiendo más hardware, +comúnmente llamado partición o fragmentación. Con el llamado hash +consistente, las adiciones de hardware no tienen por qué ser +disruptivas. Se puede utilizar cualquier tecnología de base de datos +subyacente. + +Más concretamente, la lógica del front-end en el banco central solo +tiene que realizar unas cuantas operaciones de firma, y un único +procesador puede hacer miles de operaciones por segundo (véase Bernstein +y Lange 2020). Si un solo sistema es insuficiente, es fácil desplegar +servidores front-end adicionales y solicitar a los varios bancos +comerciales que balanceen sus peticiones en la granja de servidores o +que utilicen un balanceador de carga para distribuir las peticiones +dentro de la infraestructura del banco central. + +Los servidores front-end deben comunicarse con una base de datos para +hacer transacciones y prevenir el doble gasto. Un solo servidor moderno +para la base de datos debería ser suficiente para manejar de manera +fiable decenas de miles de estas operaciones por segundo. Las +operaciones se reparten fácilmente entre varios servidores de bases de +datos simplemente asignando a cada servidor un rango de valores de los +que es responsable. Este diseño asegura que las transacciones +individuales nunca crucen fragmentos. Así, se espera que también los +sistemas de back-end escalen linealmente con los recursos +computacionales disponibles, de nuevo partiendo de una línea de base +alta para un solo sistema. + +Los front-end también deben comunicarse con los back-end mediante una +interconexión. Las interconexiones puede soportar grandes cantidades de +transacciones por segundo. El tamaño de una transacción individual suele +ser de 1-10 kilobytes aproximadamente. Asi, las interconexiones de un +centro de datos moderno, con velocidades de conmutación de 400Gbit/s, +pueden soportar millones de transacciones por segundo. + +En fin, el costo total del sistema es bajo. Es probable que el +almacenamiento seguro de 1 a 10 kilobytes por transacción durante muchos +años sea el costo predominante del sistema. Utilizando los precios de +Amazon Web Services, experimentamos con un prototipo anterior de GNU +Taler y descubrimos que el costo del sistema (almacenamiento, ancho de +banda y computación) a escala estaría por debajo de USD 0,0001 por +transacción (para obtener detalles sobre los datos, consulte Dold 2019). + +\hypertarget{consideraciones-normativas-y-poluxedticas}{% +\section{\texorpdfstring{ \textbf{Consideraciones normativas y políticas}} +{5. Consideraciones normativas y políticas}} +\label{5.-consideraciones-normativas-y-poluxedticas}} + +En el esquema propuesto, los bancos centrales no conocen la identidad de +los consumidores o comerciantes ni los montos totales de las +transacciones. Los bancos centrales solo ven cuándo se lanzan las +monedas electrónicas y cuándo se canjean. Los bancos comerciales siguen +proporcionando autenticación crucial de clientes y comerciantes y, en +particular, siguen siendo los guardianes de la información del KYC. Los +bancos comerciales observan cuándo los comerciantes reciben fondos y +pueden limitar la cantidad de CBDC por transacción que un comerciante +individual puede recibir, si así se requiere. + +Además, las transacciones están asociadas con los contratos pertinentes +de los clientes. La transparencia de ingresos que se obtiene permite que +el sistema cumpla con los requisitos del AML y CFT. Si se detectan +patrones inusuales de ingresos comerciales, el banco comercial, las +autoridades fiscales o las fuerzas del orden pueden obtener e +inspeccionar los contratos comerciales subyacentes a los pagos para +determinar si la actividad sospechosa es ilegal. La transparencia de los +ingresos que se obtiene es también una fuerte medida contra la evasión +fiscal porque los comerciantes no pueden declarar menos ingresos o +evadir los impuestos sobre las ventas. En general, el sistema implementa +privacidad por diseño y privacidad por omisión (como lo exige, por +ejemplo, el Reglamento General de Protección de Datos de la Unión +Europea). Los comerciantes no infieren inherentemente la identidad de +sus clientes, los bancos solo tienen la información necesaria sobre las +actividades de sus propios clientes y los bancos centrales están +felizmente divorciados del conocimiento detallado de las actividades de +los ciudadanos. + +Por razones reglamentarias, en algunos países existen límites para los +retiros y pagos en efectivo. Dichas restricciones también podrían +implementarse para la CBDC en el diseño propuesto. Por ejemplo, se +podría limitar la cantidad que los consumidores puedan retirar por día, +o limitar la cantidad total de CBDC que los bancos comerciales puedan +convertir. + +Un problema potencial de estabilidad financiera que a menudo se plantea +con las CBDC al por menor es la desintermediación del sector bancario. +En particular, la venta de CBDC al por menor podría facilitar el +acaparamiento de grandes cantidades de dinero del banco central. Esto +podría afectar negativamente a la financiación de depósitos de los +bancos porque el público tendría menos dinero en forma de depósitos +bancarios. Para los países cuyas monedas sirven como monedas de refugio +seguro, podría conducir a un aumento de las entradas de capital durante +períodos de riesgo global, lo que resultaría en presiones adicionales en +la apreciación del tipo de cambio. + +Si bien esto podría representar una preocupación seria en el caso de una +CBDC basada en cuentas, la preocupación sería menor con una CBDC basada +en tokens. En primer lugar, acumular una CBDC basada en tokens conlleva +riesgos de robo o pérdida similares a los de acumular efectivo. Tener +unos cientos de dólares en un teléfono inteligente es probablemente un +riesgo aceptable para muchos, pero tener una cantidad muy grande es +probablemente un riesgo menos aceptable. Por tanto, no esperaríamos un +acaparamiento significativamente mayor que en el caso del efectivo +físico. + +Sin embargo, si el acaparamiento o la conversión masiva a CBDC de dinero +proveniente de depósitos bancarios se convirtieran en un problema, los +bancos centrales tendrían varias opciones. Como se señaló, en el diseño +propuesto los bancos centrales configuran una fecha de vencimiento para +todas las claves de firma, lo que implica que en una fecha establecida +las monedas firmadas con esas claves dejan de ser válidas. Cuando las +claves de denominación caducan y los clientes tienen que cambiar monedas +firmadas con claves de denominación antiguas por monedas nuevas, el +regulador podría fácilmente imponer un límite de conversión por cliente +para hacer cumplir un límite estricto a la cantidad de CBDC que +cualquier individuo puede acumular. Además, los bancos centrales podrían +cobrar una tarifa si fuera necesario. Una tarifa de actualización de +este tipo, cuando las monedas están programadas para caducar, implicaría +de hecho tasas de interés negativas en la CBDC, y haría que la CBDC +resultara menos atractiva como depósito de valor, tal como sugiere +Bindseil (2020). De hecho, sería la implementación directa de la idea de +Silvio Gesell de aplicar un ``impuesto de posesión'' sobre la moneda, al +que hace célebremente referencia Keynes (1936), y reviven Goodfriend +(2000), Buiter y Panigirtzoglou (2003) y Agarwal y Kimball (2019). + +En cuanto a las posibles implicaciones para las políticas monetarias, no +anticipamos efectos materiales porque nuestra CBDC está diseñada para +replicar el dinero en efectivo en lugar de los depósitos bancarios. La +emisión, retiro y depósito de nuestra CBCD corresponden exactamente a la +emisión, retiro y depósito de billetes. Es posible que una CBDC al por +menor tenga un ritmo de circulación diferente a la del efectivo físico, +pero esto no sería un problema material para las políticas monetarias. + +\hypertarget{trabajos-relacionados}{% +\section{\texorpdfstring{ \textbf{Trabajos relacionados}} +{6. Trabajos relacionados}} +\label{6.-trabajos-relacionados}} + +Como se señaló anteriormente, la CBDC propuesta en el presente documento +se basa en eCash y GNU Taler.\footnote{La implementación de eCash por la +compañía DigiCash en los años noventa está documentada en +\href{https://www.chaum.com/ecash}{{https://www.chaum.com/ecash}}.} A +partir de la propuesta original de Chaum para el efectivo electrónico, +la investigación se ha centrado en tres cuestiones principales. Primero, +en la propuesta original de Chaum las monedas tenían un valor fijo y +solo podían gastarse en su totalidad. Pagar grandes cantidades con +monedas denominadas en centavos sería ineficiente, por lo que Okamoto +(1995), Camenisch (2005), Canard y Gouget (2007) y Dold (2019) idearon +formas de abordar este problema. Estas soluciones involucran protocolos +para dar cambio o para posibilitar la divisibilidad de las monedas. + +Una segunda cuestión es que las transacciones a veces fallan debido a +caídas de la red, por ejemplo. En este caso, el sistema debe permitir +que los fondos permanezcan con el consumidor sin impacto negativo sobre +privacidad. Camenisch et al. (2007) y Dold (2019) abordan este tema en +su propuesta de dinero electrónico respaldado. Varias de las soluciones +anteriores violan las garantías de privacidad para los clientes que +utilizan estas funciones, y todas, excepto Taler, violan el requisito de +transparencia de ingresos. + +La tercera cuestión importante, a menudo desatendida, es conservar la +transparencia de los ingresos y, por lo tanto, el cumplimiento del AML y +KYC. Fuchsbauer y col. (2009) diseñaron deliberadamente un sistema que +posibilita la desintermediación para proporcionar una semántica más +similar al efectivo. Sin embargo, la desintermediación ilimitada +generalmente no concuerda con las regulaciones del AML y KYC, ya que no +permite lograr ningún nivel de responsabilidad. Un ejemplo de tal diseño +es ZCash, un libro mayor distribuido que oculta a la red la información +sobre el pagador, el beneficiario y el monto de la transacción, siendo +por lo tanto el sistema de pago perfecto para la delincuencia en línea. +Solo Taler ofrece tanto la privacidad constante del cliente como la +transparencia de los ingresos, al mismo tiempo que proporciona un cambio +eficiente, intercambios atómicos (consulte Camenisch 2007) y la +capacidad de restaurar billeteras desde una copia de seguridad. + +Con respecto a los sistemas de pago para las CBDC, Danezis y Meiklejohn +(2016) diseñaron un libro mayor escalable con RSCoin. Básicamente es un +sistema RTGS que es protegido utilizando la misma criptografía que se +usa en Bitcoin. Al igual que Taler, el diseño utiliza la fragmentación +de la base de datos para lograr una escalabilidad lineal. Sin embargo, +el diseño de Danezis y Meiklejohn no tiene ninguna disposición para la +privacidad y carece de consideraciones sobre cómo integrar prácticamente +el diseño con los sistemas y procesos bancarios existentes. + +La EUROchain del Banco Central Europeo (véase ECB 2019) es otro +prototipo para CBDC con libro mayor distribuido. Similar a la +arquitectura propuesta en el presente documento, la EUROchain utiliza +una arquitectura de dos niveles donde los bancos comerciales actúan como +intermediarios. Una diferencia crucial es la manera en que los sistemas +intentan combinar la privacidad y el cumplimiento del AML. En nuestro +diseño, los reguladores podrían imponer un límite a la cantidad de +efectivo electrónico que el titular de una cuenta bancaria puede retirar +durante un cierto tiempo, mientras que la EUROchain emite un número +limitado de "vales de anonimato" que conceden al receptor un número +limitado de transacciones sin verificación del AML. Como estos vales +parecen no tener ninguna relación con ningún token de valor, no queda +claro de qué manera el diseño evitaría la aparición de un mercado negro +de ``vales de anonimato''. Además, la noción de anonimato de la +EUROchain es muy diferente, ya que sus "vales de anonimato" simplemente +eliminan ciertas verificaciones del AML, al mismo tiempo que preservan +la capacidad de los bancos comerciales de ver cómo los consumidores +gastan el efectivo electrónico. Mientras que los pagadores usuarios de +Taler interactúan directamente con los comerciantes para gastar su +efectivo electrónico, el sistema EUROchain requiere que los pagadores +instruyan a sus bancos comerciales para que accedan a su CBDC. Por lo +tanto, la EUROchain no emite tokens de valor directamente a los +consumidores y, en cambio, depende de que los consumidores se +autentiquen ellos mismos en sus bancos comerciales para acceder a la +CBDC que el banco central mantiene efectivamente en custodia. Por lo +tanto, no está claro qué ventajas de privacidad, rendimiento o seguridad +tiene la EUROchain sobre el dinero existente en depósito. + +\hypertarget{conclusiuxf3n}{% +\section{\texorpdfstring{ \textbf{Conclusión}}{7. Conclusión}} +\label{7.-conclusiuxf3n}} + +Con la aparición de Bitcoin y monedas digitales recientemente propuestas +por grandes empresas tecnológicas como Diem (antes Libra), los bancos +centrales se enfrentan a una competencia cada vez mayor de actores que +ofrecen su propia alternativa digital al efectivo físico. Las decisiones +de los bancos centrales sobre la emisión o no de una CBDC dependen de +cómo evalúen los beneficios y los riesgos de una CBDC. Estos beneficios +y riesgos, así como las circunstancias jurisdiccionales específicas que +definen el alcance de las CBDC al por menor, probablemente difieran de +un país a otro. + +Si un banco central decide emitir una CBDC al por menor, proponemos una +CBDC basada en tokens que combina la privacidad de las transacciones con +el cumplimiento del KYC, AML y CFT. Dicha CBDC no competiría con los +depósitos de los bancos comerciales, sino que reproduciría el efectivo +físico, lo que limitaría los riesgos de estabilidad financiera y +políticas monetarias. + +Hemos demostrado que el esquema propuesto aquí sería tan eficiente y +rentable como los sistemas RTGS modernos operados por los bancos +centrales. Los pagos electrónicos con nuestra CBDC solo necesitarían una +simple base de datos para las transacciones y cantidades minúsculas de +ancho de banda. La eficiencia y la rentabilidad, junto con la facilidad +de uso mejorada para el consumidor provocada por el cambio de la +autenticación a la autorización, hacen que este esquema sea +probablemente el primero en respaldar el objetivo largamente previsto de +los micropagos en línea. Además, el uso de monedas para firmar +criptográficamente contratos electrónicos permitiría el uso de contratos +inteligentes. Esto también podría conducir a la aparición de +aplicaciones completamente nuevas para los sistemas de pago. Aunque +nuestro sistema no se basa en la DLT, podría integrarse fácilmente con +dichas tecnologías si así lo requirieran las infraestructuras del +mercado financiero en el futuro. + +Igualmente importante, sin embargo, es que una CBDC al por menor debe +preservar el efectivo como un bien común respetuoso de la privacidad +bajo el control individual de los ciudadanos. Esto se puede lograr con +el esquema propuesto en este documento, y los bancos centrales pueden +evitar perturbaciones significativas en sus políticas monetarias y +estabilidad financiera cosechando al mismo tiempo los beneficios de la +digitalización. + +\newpage +REFERENCIAS + +\begin{itemize} +\item Adrian, Tobias and Tommaso Mancini-Griffoli. 2019. ``The Rise of Digital +Money.'' IMF Fintech Note 19/01. +\end{itemize} + +\begin{itemize} +\item Agarwal, Ruchir and Miles S. Kimball. 2019. ``Enabling Deep Negative +Rates to Fight Recessions: A Guide.'' IMF Working Paper 19/84. +\end{itemize} + +\begin{itemize} +\item Agur, Itai, Anil Ari and Giovanni Dell'Ariccia. 2019. ``Designing +Central Bank Digital Currencies.'' IMF Working Paper 19/252. +\end{itemize} + +\begin{itemize} +\item Allen, Sarah, Srđjan Čapkun, Ittay Eyal, Giulia Fanti, Bryan A. Ford, +James Grimmelmann, Ari Juels, Kari Kostiainen, Sarah Meiklejohn, Andrew +Miller, Eswar Prasad, Karl Wüst, and Fan Zhang. 2020. ``Design Choices +for Central Bank Digital Currency: Policy and Technical +Considerations.'' NBER Working Paper No. 27634. +\end{itemize} + +\begin{itemize} +\item Alves, Tiago and Don Felton. 2004. ``TrustZone: Integrated hardware and +software security.'' ARM IQ, Vol. 3, No. 4, pp. 18--24. +\end{itemize} + +\begin{itemize} +\item Auer, Raphael and Rainer Böhme. 2020. ``The technology of retail central +bank digital currency\emph{.''} BIS Quarterly Review, March 2020, pp. +85--96. +\end{itemize} + +\begin{itemize} +\item Auer, Raphael, Giulio Cornelli and Jon Frost. 2020. ``Taking stock: +ongoing retail CBDC projects.'' BIS Quarterly Review, March 2020, pp. +97--98. +\end{itemize} + +\begin{itemize} +\item Bank for International Settlements. 2018. ``Central Bank Digital +Currencies.'' Joint Report of the Committee on Payments and Market +Infrastructures and Markets Committee. +\end{itemize} + +\begin{itemize} +\item Bank of England. 2020. ``Central Bank Digital Currency: Opportunities, +Challenges and Design.'' Discussion Paper. March. +\end{itemize} + +\begin{itemize} +\item Baiocchi, Giovanni and Walter Distaso. 2003. ``GRETL: Econometric +Software for the GNU Generation.'' Journal of Applied Econometrics, Vol. +18, pp. 105-110. +\end{itemize} + +\begin{itemize} +\item Bech, Morten and Rodney Garratt. 2017. ``Central bank +cryptocurrencies.'' BIS Quarterly Review, September, pp. 55--70. +\end{itemize} + +\begin{itemize} +\item Berentsen, Aleksander and Fabian Schär. 2018. ``The Case for Central +Bank Electronic Money and the Non-case for Central Bank +Cryptocurrencies.'' Federal Reserve Bank of St. Louis Review, Vol. 100, +No. 2, pp. 97--106. +\end{itemize} + +\begin{itemize} +\item Bernstein, Daniel J. and Tanja Lange. 2020. ``eBACS: ECRYPT Benchmarking +of Cryptographic Systems.'' https://bench.cr.yp.to, accessed 17 March +2020. +\end{itemize} + +\begin{itemize} +\item Bernstein, Daniel J., Niels Duif, Tanja Lange, Peter Schwabe, and Bo-Yin +Yang. 2012. ``High-speed high-security signatures.'' Journal of +Cryptographic Engineering, Vol. 2, pp. 77--89. +\end{itemize} + +\begin{itemize} +\item Bindseil, Ulrich. 2020. ``Tiered CBDC and the financial system.'' ECB +Working Paper 2351 January. +\end{itemize} + +\begin{itemize} +\item Boar, Codruta, Henry Holden and Amber Wadsworth. 2020. ``Impending +arrival - a sequel to the survey on central bank digital currency.'' BIS +Papers, No. 107. +\end{itemize} + +\begin{itemize} +\item Boneh, Dan. 1999. ``Twenty Years of Attacks on the RSA Cryptosystem.'' +Notices of the AMS, Vol. 42, No. 2, pp. 202--213. +\end{itemize} + +\begin{itemize} +\item Bordo, Michael D. and Andrew T. Levin. 2017. ``Central bank digital +currency and the future of monetary policy.'' NBER Working Papers No. +23711. +\end{itemize} + +\begin{itemize} +\item Brunnermeier, Markus and Dirk Niepelt. 2019. ``On the Equivalence of +Private and Public Money.'' Journal of Monetary Economics, Vol. 106, pp. +27--41. +\end{itemize} + +\begin{itemize} +\item Buiter, Willem H. and Nikolaos Panigirtzoglou. 2003. ``Overcoming the +Zero Bound on Nominal Interest Rates with Negative Interest on Currency: +Gesell's Solution.'' The Economic Journal, Vol. 113, No. 490, pp. +723--746. +\end{itemize} + +\begin{itemize} +\item Bullmann, Dirk, Jonas Klemm and Andrea Pinna. 2019. ``In search for +stability in crypto-assets: are stablecoins the solution?'' ECB +Occasional Paper Series No. 230. +\end{itemize} + +\begin{itemize} +\item Camenisch, J., Aanna Lysyanskaya, and Mira Meyerovich. 2007. ``Endorsed +E-Cash.'' In: 2007 IEEE Symposium on Security and Privacy (SP '07). May: +pp.101--115. +\end{itemize} + +\begin{itemize} +\item Camenisch, Jan, Susan Hohenberger, and Anna Lysyanskaya. 2005. ``Compact +E-Cash.'' In: Advances in Cryptology -- EUROCRYPT 2005: 24th Annual +International Conference on the Theory and Applications of Cryptographic +Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings. Ed. by Ronald +Cramer. Berlin, Heidelberg: Springer. +\end{itemize} + +\begin{itemize} +\item Canard, Sébastien and Aline Gouget. 2007. ``Divisible e-cash systems can +be truly anonymous.'' In: Annual International Conference on the Theory +and Applications of Cryptographic Techniques. pp. 482--97. +\end{itemize} + +\begin{itemize} +\item CCC. 2017. ``Chaos Computer Club hacks e-motor charging stations.'' +34c3. +\end{itemize} + +\begin{itemize} +\item Chapman, James, Rodney Garratt, Scott Hendry, Andrew McCormack and Wade +McMahon. 2017. Project Jasper: Are Distributed Wholesale Payment Systems +Feasible Yet? Bank of Canada, Financial System Review, June, pp. 59--69. +\end{itemize} + +\begin{itemize} +\item Chaum, David. 1983. ``Blind signatures for untraceable payments.'' +Advances in Cryptology: Proceedings of Crypto `82, Vol. 82, No. 3, pp. +199--203. +\end{itemize} + +\begin{itemize} +\item Chaum, David, Amos Fiat, and Moni Naor. 1990. ``Untraceable electronic +cash.'' Advances in Cryptology: Proceedings of CRYPTO '88, pp. 319--327. +\end{itemize} + +\begin{itemize} +\item Danezis, George and Sarah Meiklejohn. 2016. ``Centrally Banked +Cryptocurrencies.'' In: 23nd Annual Network and Distributed System +Security Symposium, NDSS2016, San Diego, California, USA, February +21--24. The Internet Society. +\end{itemize} + +\begin{itemize} +\item Diffie, Whitfield and Martin Hellmann. 1976. ``New Directions in +Cryptography''. IEEE Trans. on Inf. Theory, IT-22, pp. 644--654. +\end{itemize} + +\begin{itemize} +\item Dold, Florian. 2019. The GNU Taler System: Practical and Provably Secure +Electronic Payments. PhD Thesis, University of Rennes 1. +\end{itemize} + +\begin{itemize} +\item European Central Bank. 2019. ``Exploring anonymity in central bank +digital currencies.'' In: In Focus, Issue No. 4, December. +\end{itemize} + +\begin{itemize} +\item Fuchsbauer, Georg, David Pointcheval, and Damien Vergnaud. 2009. +``Transferable constant-size fair e-cash.'' In: International Conference +on Cryptology and Network Security. Springer. pp. 226--47. +\end{itemize} + +\begin{itemize} +\item Garcia, Flavio, Gerhard de Koning Gans, Ruben Muijrers, Peter van +Rossum, Roel Verdult, Ronny Wichers Schreur and Bart Jacobs. 2008. +``Dismantling MIFARE Classic.'' European Symposium on Research in +Computer Security. +\end{itemize} + +\begin{itemize} +\item Garratt, Rod, Michael Lee, Brendan Malone, and Antoine Martin. 2020. +``Token- or Account-Based? A Digital Currency Can Be Both.'' Liberty +Street Economics, Federal Reserve Bank of New York, August 12, 2020. +\end{itemize} + +\begin{itemize} +\item Goodfriend, Marvin. 2000. ``Overcoming the Zero Bound on Interest Rate +Policy.'' Journal of Money, Credit, and Banking, Vol. 32, No. 4, +1007--35. +\end{itemize} + +\begin{itemize} +\item Johnston, Casey. 2010. ``PS3 hacked through poor cryptography +implementation.'' Ars Technica, December 30. +\end{itemize} + +\begin{itemize} +\item Jordan, Thomas J. 2019. ``Currencies, money and digital tokens.'' Speech +given at the 30th anniversary of the WWZ and VBÖ, University of Basel, +September. Available at: +www.snb.ch/en/mmr/speeches/id/ref\_20190905\_tjn/source/ref\_20190905\_tjn.en.pdf +\end{itemize} + +\begin{itemize} +\item Kahn, Charles M. and William Roberds. 2009. ``Why Pay? An Introduction +to Payments Economics.'' Journal of Financial Intermediation, No. 18, +pp. 1--23. +\end{itemize} + +\begin{itemize} +\item Kahn, Charles M., James McAndrews, and William Roberds. 2005. ``Money is +Privacy.'' International Economic Review, Vol. 46, No. 2, pp. 377--399. +\end{itemize} + +\begin{itemize} +\item Kasper, Timo, Michael Silbermann and Christof Paar. 2010. ``All you can +eat or breaking a real-world contactless payment system.'' Financial +Cryptography and Data Security, Lecture Notes in Computer Science, Vol. +6052, pp. 343--50. +\end{itemize} + +\begin{itemize} +\item Katzenbeisser, Stefan, Ünal Kocabaş, Vladimir Rožić, Ahmad-Reza Sadeghi, +Ingrid Verbauwhede and Christian Wachsmann. 2012. ``PUFs: Myth, Fact or +Busted? A Security Evaluation of Physically Unclonable Functions (PUFs) +Cast in Silicon.'' Cryptographic Hardware and Embedded Systems -- CHES +2012. Lecture Notes in Computer Science, Vol. 7428, pp. 283--301. +\end{itemize} + +\begin{itemize} +\item Keynes, John Maynard. 1936. The General Theory of Employment, Interest +and Money. London: Macmillan. +\end{itemize} + +\begin{itemize} +\item Kiff, John, Jihad Alwazir, Sonja Davidovic, Aquiles Farias, Ashraf Khan, +Tanai Khiaonarong, Majid Malaika, Hunter Monroe, Nobu Sugimoto, Hervé +Tourpe, and Peter Zhou. 2020. A Survey of Research on Retail Central +Bank Digital Currency. IMF Working Paper 20/104. +\end{itemize} + +\begin{itemize} +\item Kumhof, Michael and Clare Noone. 2018. ``Central bank digital currencies +- design principles and balance sheet implications.'' Bank of England, +Staff Working Paper No. 725. +\end{itemize} + +\begin{itemize} +\item Lapid, Ben, and Avishai Wool. 2018. ``Cache-Attacks on the ARM TrustZone +Implementations of AES-256 and AES-256-GCM via GPU-Based Analysis.'' +International Conference on Selected Areas in Cryptography. Lecture +Notes in Computer Science, Vol. 11349. +\end{itemize} + +\begin{itemize} +\item Lerner, Josh and Jean Tirole. 2005. ``The Scope of Open Source +Licensing.'' Journal of Law, Economics \& Organization, Vol. 21, pp. +20-56. +\end{itemize} + +\begin{itemize} +\item Libra Association. 2020. Libra White Paper v2.0. +\href{https://libra.org/en-US/white-paper/}{{https://libra.org/en-US/white-paper/}} +\end{itemize} + +\begin{itemize} +\item Lim, Chae Hoon and Phil Joong Lee. 1997. ``A key recovery attack on +discrete log-based schemes using a prime order subgroup.'' CRYPTO 1997. +Lecture Notes in Computer Science, vol 1294. +\end{itemize} + +\begin{itemize} +\item Lyons, Richard K. and Ganesh Viswanath-Natraj. 2020. ``What Keeps +Stablecoins Stable?'' NBER Working Paper No. 27136, May. +\end{itemize} + +\begin{itemize} +\item Mancini-Griffoli, Tommaso, Maria Soledad Martinez Peria, Itai Agur, Anil +Ari, John Kiff, Adina Popescu, and Celine Rochon. 2018. ``Casting Light +on Central Bank Digital Currency.'' IMF Staff Discussion Notes 18/08, +International Monetary Fund. +\end{itemize} + +\begin{itemize} +\item Nakamoto, Satoshi. 2008. Bitcoin: A Peer-to-Peer Electronic Cash System. +\href{https://www.bitcoin.com/bitcoin.pdf}{{https://www.bitcoin.com/bitcoin.pdf}} +\end{itemize} + +\begin{itemize} +\item Narayanan, Arvind, Joseph Bonneau, Edward Felten, Andrew Miller, Steven +Goldfeder. 2016. Bitcoin and Cryptocurrency Technologies: A +Comprehensive Introduction. Princeton: Princeton University Press. +\end{itemize} + +\begin{itemize} +\item Niepelt, Dirk. 2020. Digital money and central bank digital currency: An +executive summary for policymakers. VOX/CEPR. +\href{https://voxeu.org/article/digital-money-and-central-bank-digital-currency-executive-summary}{{https://voxeu.org/article/digital-money-and-central-bank-digital-currency-executive-summary}}. +\end{itemize} + +\begin{itemize} +\item Okamoto, Tatsuaki. 1995. ``An Efficient Divisible Electronic Cash +Scheme.'' Advances in Cryptology --- CRYPT0'95: 15th Annual +International Cryptology Conference Santa Barbara, California, USA, +August 27--31, 1995 Proceedings. Ed. by Don Coppersmith. Berlin, +Heidelberg: Springer, pp. 438--451. +\end{itemize} + +\begin{itemize} +\item Pinto, S. and N. Santos. 2019. ``Demystifying Arm TrustZone: A +Comprehensive Survey.'' ACM Computing Surveys, Article No. 130, January. +\end{itemize} + +\begin{itemize} +\item Rivest, Ronald L., Adi Shamir, and Leonard Adleman. 1978. ``A Method for +Obtaining Digital Signatures and Public Key Cryptosystems''. Comm. ACM, +Vol 21, No 2. +\end{itemize} + +\begin{itemize} +\item Solove, Daniel J. 2011. Nothing to Hide: The false tradeoff between +privacy and security. New Haven \& London: Yale University Press. +\end{itemize} + +\begin{itemize} +\item Soukup, Michael and Bruno Muff. 2007. ``Die Postcard lässt sich +fälschen.'' Sonntagszeitung, April 22. +\end{itemize} + +\begin{itemize} +\item Stallman, Richard. 1985. The GNU manifesto. Dr. Dobb's Journal of +Software Tools 10(3), pp. 30--35. +\end{itemize} + +\begin{itemize} +\item Sveriges Riksbank. 2020. The Riksbank's e-krona project. February. +https://www.riksbank.se/globalassets/media/rapporter/e-krona/2019/the-riksbanks-e-krona-pilot.pdf +\end{itemize} + +\begin{itemize} +\item Wojtczuk, Rafal and Joanna Rutkowska. 2009. ``Attacking Intel Trusted +Execution Technology.'' BlackHat-DC 2009. +\end{itemize} + +\begin{itemize} +\item Yalta, A.Talha, and A. Yasemin Yalta. 2010. ``Should Economists Use Open +Source Software for Doing Research?'' Computational Economics, Vol. 35, +pp. 371--94. +\end{itemize} + +\begin{itemize} +\item Yalta, A. Talha, and Riccardo Lucchetti. 2008. ``The GNU/Linux Platform +and Freedom Respecting Software for Economists.'' Journal of Applied +Econometrics, Vol. 23, pp. 279-86. +\end{itemize} + +\end{document} diff --git a/doc/cbdc-es/taler_figure_1_dora_SPANISH.jpg b/doc/cbdc-es/taler_figure_1_dora_SPANISH.jpg new file mode 100644 index 0000000000000000000000000000000000000000..0dfd64aeaef32e087b8f2042cd9df35d4714e396 GIT binary patch literal 44235 zcmbTc1z26ZvH-eqDHL~icXx`rySuwX@dCw)ySuwXvEowP-MzT9P~>g;ThBe`y>ssi z`&(-=mPs<1B*S`HeAxsbN{LB|0YE@N00zK6z{?6i7yu0k2?YrO4Fv@S0|N~UhYAn( z<_#PcG717J9yS3!9yTs6At^ltAu%lpE-obp6)htZD=RAj1s5MDGcP?0EAy)o5EvL3 zxHoW^@bH+-M7TuE|L5}313-cXodoL!10e>0B7uM*fxPqqZ~!0xP%xmi{}c#FP%v<) zS0Wa$8?WUb8UO@HgLqj6z<~kf5Wx@u0FW;K-{}7fkWI)J}>0x!~{pfi%mtBHf;DAOHzjso3FhV>ff- z=1@!8^kv*SMhA%gtsrE3>_v>iKR%^>H|{(rEIgCYi%QYVuLv@G-RD@u#o{|fXrMrU8Q~1 z1P!l@egBa6Je)*F$tHE}az2jnivF!sCW)%Ir>i%h2f+obzTz>>{U_kM0RYhaX-(C& zf@2b5RlI^^^?HiLC(~G%h9p5(Mjn*@mm4s z?f$qyOwuqKTJ_ZZivOz(=nQfZ`lELk2{BtUl*ByTee6d}SP7w_-%fx`@H`EpEgC=| zC>=?FtWV78!v`!Rv^o*d17gC0wr(Kd-%H;pY=xrV#Don*=x;S1RS-V*gCh->82DK%xW@cshl};#NqPPOu`Y`{rb(JQnyjy&wMJ zV?CRp-!k~8{vV)9P4SE&-4@tl`0JXmq~91oirxNNP`_dS2S{Y*{~PAN+6(}P<)*ASf8E#=KJIe1svWeJp%+%0J8h!e+38Rk+Trl)ofi-!q?OJ_q~%j`;@$DQef8 z!>W_{h3Spz)MhEuh>CfwF|w$0j(TC6{GwnR8IiS?&)oe{11#v%h6jD2|3&)y0iqRO znnpWA%nmy?$f0oq9eM>C~P>FqGc($Fkpw;*tt=yK{Y~KNho)nvTet>~mA*7yM z5B}<6e_bv5s%h`~1<*VVswSv@;u{t=NVVS?W%i0kbaElVVcm=hskh<%IoWbloa_IJ z{<~0OXo-F!%;kD;+^HG7dO+vS+|NF|$Ea>NU0`oi(C}(^8`4jFXRQiO_wdm*iJ@Mk z^SzjLQh??$-uLn5gPTSbt(pqwq>g8@L(xiA^fG%WPTv zcl|e48)%AFd)0IDDxQTwjnsK_XlQT}6HYc0@*ST^=H*pr?Y!IzOL(py0?X=V%Oce2 zeEr``#V%_lDq5+Ej1M>!fC130C!p={JX}e$_TYyV|xKNbaDb*)QpgCuOeXI*B zWJ>4eJqzIN+Y10d$tIJP`ChEkIO@idhhu5xlz2(*Xt%=!>_hwSRskxPpfZ=ttPi{q zM5YwGc3)|V3`U;}PO9TnORbS~nqD!8a|jaM)pwVdq1xWV`LFvc$f)2=tV-e>qMO<& z%dX2WHw8tu@$5+RZFd*iqgUaBvUrvJtzf1SoBIE%J7z}VZ~j3EO8@l+0hRxw4ghU6 z{uBE1^;T!Q6M5yRqdz{bwI=<%aOKl7;WN4%KSI#JM7AIREZ&B`Znz&|M2lmlU|2R* znOqP61?A(N(NkX1>RslNaD`1d5k zznGvPhrD6v+BuQAYq!aGHqHHk`_QM$eXpHM?uR^Pik;?xxX`nm^g2WtbDWmrvw&1~ zAjiLzzjg)yV5&>(l7I+b;uj0k5a!;WJ2U{4MqLjIN?px_-)AW!?for*DXaaz>3K!` zqbnqJ_XOz*Y1jW1{oD2k?00q^zu+qp&VZI*&5Oa?<@b%_l>mTa={65B_ytDCM3epk z0KbK?gTpPJ00JTc!dD6yuK(-nUrH}8q{knF1$_^FCHRZ>+m-}PH3{w=`5DW76Fd?-glDru=MV_Eg zq%RBp)7^na|B8k{&c6yx8qs-37No~{ak)9@$P@!=hr-ZMF0JZXNrvPGXP1hP08XO=>eGBKknnb{Wou0?Q`Tu-R~XCH9o$sTG&~PTmZ=~ z$*-0FmvO*1Jiq&qj+loMyR_X&p;KIkG@m~ZE2Lf>W76mbW#^?qcDT4yKFQ|3`YHq* z5Z*tASFwneb$V1UbS10ls}-JlHbdS{;;SS80Cc^pU%+nP4X24w-fou|0#$ri9nNc`-eNf4*(#BY{5U%fsslAwNf#l#*uTZ z-UgE(U^&0=ss^Yc?o|#6yp6(;baR`6xcP)M_90A#d|MTx0T_vamQb_rzN^-Ksk^_^=H=9wMy{KtJ-LI8lX z^A39b&0A7)x78?L|5xe18UX;de=d@E&~gu*o$h4kypn*&>VKP0un4!y{Ijj7%AM@9 z%aE#os4RaV9~j&P)}KcVpvWH)?4J`Skl{ZqNg(>Q{I`JcALsiIQ2^rvNEVj=Yvmuu z`Ipnpf0%_oMFIaMj=aW!-xeFlwcg@R7v*WO*tpEwjoKx=!^f!V_8)jHTNf+Ikm7PW z1d>otGtIm1jt#F3{O=9x<#*2c%cQ^G|2NzI7JCK$Pg6kvyoIwN0zg4QKp>z&z`#L4 z!GJ1&7j|$6017H2vmhiQ5;7Vqn*t#*i2*t(6AKa9I|p`Af8Y%r8hCF9fdG90tba8q z^=*!xsjj4dTuLk``mWibm9a21+u&swo>Wfl<6)~Z12uiE=WTq`OQr&4m-l4 z4!Dj=P(cZAJL4{n%=_y4i&tULN+()4s zSeKv8cDGl*D}VJp)1sRHgvqza7D2$k9yLd-EEh+t(LcPSYK&!@d5>RyB1hM~V1(&jx;;=@4LS!; z4U<>ebC09cd7S+MF#p;o7?Ui_vdP5HG${#vBcg{gDbwAjqaVG1B?wA$UbE@}r|NsD zALadFcpxqyux$k#v(d_0qp)lt(Kv_Sjt7$(CYl#5hUk*oD=aL!!ogNC+6B*?lcpTM zPM4qS3V{NBZL_>Y?M7&MlgH)6E>lyNhdUy&n9!(uJL9>EMHhB@hX1`IbJ5B>A`-$d z&AG%HEdsRx(2%k4x1^b>X*N`sgZ%Gyx7*6}`Jr#lWlM7_)$C@<)yA~Z$_gVYRnDNh zqfzf$iubSHwbhIzi-q)l-S{> znuYTM$eVuFN4Z=8x>9t~4gm-Dd82@<_OjIk%RPV9M!m5truGYryvp`w^3h(kJe?TJC|h~Isbh4ECugBx=o4?_FSM7Z^~|VVmR41mh@*UZq^nBr zYJBA|_n(hKBFmrGyZG{X{PtbNs%pnwU%VRK%}wmtCckTN`t&N7X{=jc$^$jhLnKM6 z!DyU56>6NZVRL9!1#|6~^`_8qXd=^8`+r;`&l11$c^8yx+r(zRW!16G!?|Jjh2IVb zKq1p0t)pu#?rkHCXG&AGKe~J%o4m%xY0oxgInIr|@_yz#4Kq6S!J}x-GQoTMxX&)U zzkyrNlDmRLA%-CwI3i!DtJcM$hJ=Db+hRK6RV$^+aryf_E%DT{@}iGW?``@KsL4xH zGR=hd3s66a*`83ii-X^{ypP{@r_v;k8h9I>C0DLhpq^OU7@FlOCr5)mdGsalq>h#Y z-$sFA*!XNB#*;tvzAG%7@X7~i@c5a843z!-J56P-$cQ|aWTdjxvZmrg`Sc$jv|tqR zDo(>&mgh*?_OUxs@?+fi2PX+QF5zaP=0*--haQ<5jP`WUhHI6p`R%uoZ1ZvyTQOqS z!k%~NhcDFQ@+{%CLb4y8u;V(9^_TDB+d7RtXU-FFT(rIbuxR;mc~x-`ijUmcfWM{l z$^92V(NvSwBs(4fNy9l_QdV94vbqyM z>aK~dCUFQaQ_sMiBD?O5nBI!xr@eUq+kYk>aUDm~q>j$xdeR@8NdHmv6^!9VeC&}g z>CUa`LnChBc;AX(y^nZ?SvkX}#(t-kSd@muL%PC`?31)7!13~)c1}k8;iJ;oYG*>K zn%?SP>z=54gdVXxa+`)o?XbK$BwfjGzwHdP>Dl-&I{il~aJfwZhm++Ghunm-nx>tY zg2A6s&Qu>#Z5*t1Yt&_FKz&5ZE@VuHt>IN-0D0wawjWH-nF~Z>p5Z7(%t?v%15Wbinb}Voh6V zlHOP?CU^L!f#MG}vzg%Oi%R*P>hS|ZyUFjY@|~%r`jk{;VdK#m+0tQKoe}pKal4AT z?5I?Fr<0PMv)VSXU=J{;s&2i>@}*leR|-Hr<*+K)phYeU!0&!kP*6-AJOx8@_bLA3 zEDDnoII{MLAG|2X_c3DlVqG+Kq|zYq`&W_v;3N!U2)MUoA3s_BSniK)T!SRzuGMvm zk91~QA}E?jXj=rQ^I3o;|1ub7A)gjv#-S7G_tpKJYFz+3d;RXCo`+ekh!+!^1v&Dm z(F>q{+&xtgRHwQ6;uNJl;V|E=;Acr?k?HdAhpxu3OFXw=fqK=?UYVzL3E4YwZs$?m zB<7-@GCfnVHSd3>d{NL_+UVQVZ5((eF(rQij5gS%h^q8^)iaW~Q(-UXHI=QarYu;X z?FF&e>bE8-6+NMCJWH25&0|KnFzY*IDtYi-zW z*7)~t>HNFEp!*A8pzCtysk2gAydm9tyy-sE_L|%I>MESV!bbR759cq`C|<8wb*0tN z#3_TPUUTpX_FAqvKmCWg590Qz^BXLco#vWJx_m}!Nx`Sr+$;O8&0kM|1jSb3{O}(Q z*BBoY`FYg!sTTy?X|FV>tMHNowExoli~0DnYt~wTqxNsfKU9)5xwA1rfcr=0RKPiw z!Bkg#ADDJiu>_h3WK87=@mMguL0%8!% z3i4gIrA?womHl&YW|0`?$&M$SMuWTCJ5kHYNa%h0Z@p;JPQ_oGf{${p`d1(EZx`hF z%oBjFOBOs*=|A`VYoBNcx-~Hv09P6shwZXS8qZn}sTz7Aq(VbiWqbN-l?j)k6d??j^b4y8hL9fRJuCaY7Jg}j9J*C8Ib3UmsyOWPoP$f-%owlFg`JTp$3{@ z$u_6sQ9x|8iibXNvnPORRJxGGbIF=bw)Eg2*)yfmCpai*K#RV4SZ7?{@Myh5HJ|+? zrpHW4Ztnw;Ssa%R-{^&|VX|_FKTtI&skGGQn>mmAiK=_cT2%Mh!&1HSv$!Lx=yEzz zvu1?)ecMQEA*&8|4Hr(gGSr(rc?&79lSm|f1}CCCiu2+|4NY`QNcB~&Z4jn>?sSwS~W!rGDkR_ z7yAH}8bx%0F@ORk)6b?VJU5L316UtuF^vGeOaz>xC{Ba2rb*3(%3)6F1AM$V>$U2Mp_Uc?y=VzV^+UQQE4uAZS7?v z5W#K{Xf%fVCs8ci4`2=Oglg7}Bv#%#o6-6QX`&ctLuzd(9&E97$EHgK*G(MO`&eSN zgj%MQU^r-7s>N-WO#4_h&u^~B!von&3rasV1!b=S&uT6ZSGe}*{bOU{Y^0O-6^FAC zx`qq9;(JS~=Ync9jRe-o}~t0TveG${)c{j@gstzJ~~bB1uN zX_-gd2eazt*CXhMgq|~om>t1Ld6$Wx8yxk-K5i4pGv}}r;)xEs=7osRuMh8q&~<;Te?+0*l#kEQ&Cj7!<5D8nY`H(i$a!LS6{}1#s-FPF{)2M_H*DiG~o7D$t79ET7S> zfeKxl8ilSgawjPTPFbf4-l3EQ{3W`5o*?;NTvg(85;8 z(_`utUBp!*cqJV{(PzSQtLnR_;_bDzG`GuC&>?XY=CLdq*p4g~rf)9*tMM=~+NG+d zntoDu^`^q50nbuL0#i11X}T``Ghl-pF92~%Hl&}o2mRdHpxm`v+6|^Z`NN^`gF3vB zZx5yCqQ=AE;e^Q-avAjgL@k)V0PMcJ04k}%P+=09c!PDBD?&0tJC+%ac26EWxu1dm zM1=9WAv>8&t`^e!pWyNOoA0$LaW=oS|D%<9A*Wm~u+j^*@$gU3q!vUginM*PeWD)i zn+uIWo+?BItwdtrm0ItP*ft-8)(x6f7AF+}6iMitnU6&eo^qStUjWL>sPb`@0gYNc zMK0uIdDn75?olVo$C~RXT_^9~<@J`C+ZxYW#p?NZ8%++jSmy)stbYI}T$?Hat%l)B zHhjxeREQe3QX4z5wErQ|3SMJ;d2za5ZO!os@cso*Y88AetQph-Ned>mR8p35HeyQL zvQ;}H%S)RH-KC8czx162mHZ)Pt89izW4UH^tPFTQf1UYy)Rbc5E9&-U2Aga#0@%j9 zGTT*EHifFy%Jm?=7r>lmS-Djj7Or8m1vIN}zIxEgh)H8qFMY-(!}g3Xq0{1+xJ5e~ zUyd~!DzheYsVwW<0C26ZefdIAVsd!$5aZ3K_tc@*!#0NGkN>J~9uejkF*nP909uSU ze-dNJg|sE^2yEl&8oLor1{D~4@L*P|>R&O&eNi3uQ!$4O7;ytUOE*9YeAk+}#H*)k z8|It3^@Y&qiF-(r*;XN9Y-_U5fp8#!q3jSOoJ|D)&2_T&I8{?OQn4Z+u34xx$r@Fu4)W}#Odo-2+J>!1 z155U1ZFD@%>~neqJ9R;S;fDhSHKv#nV~uj$qlB;Hd0}XrqF1kwsf!vnJ)vU}5ZUgEa?{uYHzU>Q`>~(lpxFEZf|z>AXl| z9if`pu3mINUJUceQPcVkorG{Qz%{l8Biu&YvC#UOpR@l8*Nm;-w0cn^@`Dh>yjZs$ zRjutnV)fS_hr%0A(v%-qM{1_20a|GRRB6WzJY^Ho8imq>mEP?0A&I1amrq;9JqO zD{4)9qWQ2Q(Ho)1V^hhx#X-0+^xK`uj*Vrp%J~j;;Pj@v84x>^XGU0rsC1PSQ z7=;?^0tAC^jCxz1h(Q0+#X(?hT>KH=WCGn?-b7Ew~GOK z*2X^}JmB~64Gh-b2ZwkwLA*Z-d9M)y*GeaF>o|O~%Z;-C>Sve0Tb7_c(PTEqt8bO3 zUIZ9q6$Lf)cnR zH9A@^K)tYOgLQdv={Dk>&b16Hurs7bi*-p>XVSGVMUH7CUZNk8%K}D|3EQO+bgbfq znL!8#F9}_TWtAe!Dn$M#5Cl9pPG9^BI`S?SG*!Ls^s#&>nz!D@ zxt|HW8R=RH7)k>4UI1s@!KaCe&K3;q@Ou-}Oa{PoOri=+3}+wjdxk4AZdHi0;^q+p zpL=ie)yG0Vj78s7U=x&iN<@qJAM8RQpEa$4)*2(WCF9W5bA0~z$CQ1g-X;zoK4k9xN=#5 z=vaP+jKntR{?zhX9vU*$T60zW>h(Wg+^X9kQe30)f-p38DA42pz4+mHETCB?pq zcfqDK_WJh^2#C942}DDmD1~FO6+RLRGz-Ggo6c>av+v+Q&@8U=_e%}JU!f}F1b;Bd z^TZkXNyb*B%Zh;Ar|leRXFp&KyU=Ysj~XC$9+S644atIkqYJleU3FS|e+Y2@2-nIHAElZFl3>axeXSX!qbXSo)fDIz|x8qvnv>8_tI91M!OEV zBJe9!@RHkH0RT2{n9I0uLB!@?OO@OX#SbV-)vl?=y8JKM+Y!s-7 zP@3Zr9cQ=A>*PlbjMr(P+O0MA9|s47WI_Tm%u#&DSufwbbsj>1(C?|IF|rH9 zFUgl!gpl(-!G+Tc})q`VIR*Ia}Vz^p~MZ%@b)vFf76X)2$I_^M6$6JJd7n0&4 zVCDEN&$9FAop@p*8!=@OUY%)i0tI&l5xXjG4&Z}JF{iRb6K6ViSDHR_1tJ6AcZucZoL@v!m`!XiX+E9;JwEHEGGWVPQ& z=@s~F4XPYxx_%+fhk$-2Y{=P0PL;n63^~t+&SWfHqLb4+?kA?Cubh?{Nd(61py33w z61tTnlX`$ z#cU1hNI&~BO}nRV6VmhUt0tW2OT;DmG2?|*wE7cbcq18c- z{UBH6tUy6qv4u_wi7U?`qh|+9!g;B<uKp*3x{!pzL89m!@2gc z^?~xkubY4%LBUdwT%BYk2LW{{q5R|^q?QaD6bMO<7_28G$fQhM)M3_W(8|;HVnZH%3sQZdK%m z5yftxk0VTGdXNcAAC=g|m%(x9w?r8ke)}d#hUA%hz)P`_4UI5SXc%$N<5jO@qX?^eLbXCqzZyRs$p0vfi`Ocss zS!QvP{N8UGtu^xXrW1U(It!U!DtreMLF2Uswf8pKwx*;Z7%Pa22&$^`Nt@7S<1u-p z!*cuse)3Nl&KE#}!wi*zA)V=QQW_j{HD!{lsssE5Fx#doC?ln`v2x<^s~ujyi)c*q z5)Rtu@7?{)R_{Nu3!KfZK_8R!AQw<4D|*4<$QImBlOi)pMCf;XSWtVejA6GQ9%9B_ zV3XpE@TtWW?Oco^-mnozvTq^@ZC*ig4a2JiH4^u=uiSKhV5V_xfZIfqz3kI_ZeAy) zW$@EJ$CZ2moIGv+e6unCv+q;z&I@4ddvHTTDK(@4 zLEMJB&4lGjP>*4a0a?=Y1D39G6ZrH?eoYIMNeo=KnUyFWAQxW4-A>fe3%I;(QjM!S`>CWl5Qj!0I993GR5(@+RLG;}-zV@zW% zbXY3wv~_{vzc-T#8PDYQ_&QW-Y2U0G%<_~H7yGm1iSu1%Wz^ezT$7eV(-ENt~glFg$g<%Fj3?JQk;UuCEIfVez@nfL11Z5nZSY3XLec`x=~7ZSho?=={jY}=Rq@p-Tbg5)RLn|B!SV+|T6ZL$(_n4x zGSWrHQ;p*)I7ul7d~pMZmd@S8FG|Fw zSMLF6m8rE#`|=RltY>(p3n?Z55Vf-iFwIH7C9P?W$Q%JPaw_xOQBia_DaAF{qOcfErKC%T`&2JZ-71-%#sofNU_)E|-D3&R6P#VcLU6_udqo z6AyynM&6oCVadokB_-;Ztka@t7dd@QMeN+-EU7RBOv-g*YUDCgex#^3*&FEY8YL>5 zm>C>+76z@)Kg&#gExS#9p^}>CF9hP*gtDaOEC^PKn@-1>skw5*f0lP-xBInyUi#Tz z3Wd{d=%b9THoYb>9B3B|Q4p9O6qNtQ{uTvYa*nsmL*tAJo?DxLaVnkQtlGQt^7-)l z==mFAgEA??iY+WQ-eR}IrO{v3F2KmUs_Lw)3wV&|fRitz(c{~Q1OI=1f;8{~c<3Yi zY*9g`DitP_p&6${ZZu`9_od-%2V6cA>NGIzLY0Db2(M-vKEV`GJY(2n1aT(ujm1vh*(bb%A^` z2XOKeDZYNXZ5N=%`{ls)2qWQ3VCGD(ZV_YUYANIzkAYTQmePTM;2*|%B{>(c@pwHf zIadS?$UYCNL@&q3S^03nrIjhFbd)@TH$ztIVcKI%9_ zeU7V0KAnN9DuSB(VEnQu!uRudu5o-=V>&B`+)A)Jq{DLV1#ju$)Njz&&X&3uq43M( zJ5UG>WCL?bs+}0R%o2e}`xP6->nvYfwdRno%-)0Y;me$em}2WGe&X(A(xN8`$^?GW z(Qvd`#C+Ebi!&);h#y3GqI=0eZeBw&CR^y;2WczVGXCMGkdCb?nFhYO_OgS-yur#T z)`;R*w(qGNwGh4Hx0GCshqAdh&-l+&o6jrDHlMu29g|9uAIr8${9NJan9`QvgP2vAqcVi_6s5U|=BdSxM`FJZglb@Q znG~12SJl$a$quXZrAo|c^cg|O6(bEGoHUv0Ql)w+adJkHiIbIs-#W{R=`Vl4Mge5{ zZE2~v2e*WUpGEaALegf_@A@+I-0O(bdGyG^g7_s48Q*pcRDuP?Q(A6V5(h znE%LfFqR3zaB192g3n^MZ;a&@0Clhsi&sk5cm-m04YbH?wBrRrzFdA7P59X{q`8!(U4jn z61dpIUI6s_lBK3Hq$TBWa!~S-7~gJ!DV5AY>f(ZeXu zyBUOj#X=7{E#C)GUdM?1b&OCDnfuwjNm)HWN#e@hrNkv>5Rae{CcvLNv92tsvOv zK5)z$oBm!OM$29*sE=+ACR@$JXG>CbJ9XTk8#yMG#OyR{AQSV^4;(|Xde*SfL?s#bC51`5ykbwO5Z8n-o7%-DLz=eGH6TK`G!wQ+Okpm=A)&Na z_B|EY1$%LW7iwZS6n07~@&OL}Y;}(P6p9}V8q6xmC9_?W8iL`)sPn9*c=p%*Cpy*KS#u8FU9Hz-2NAs8o9Q3fvYN-|e!6~UZ8#-JUnVBtD9jUOkdy!b}cc+VsCTKLj zr0s?9&3FbpQ@V{}kM^$5v$U-`#{ae=X>n4(LfW<{p%`S0wI!&MJ2WD$!BrKbbf-~> ze1-~2kHYVIj7*o?AVycNUy!`u6VI_iO5if?vwe^J=h_*19mLdM;J6%*~Zr zhNB!A{e>uTX4-v@DH^c@aw?M&+>Ifn$U#<_NVA>^8fnpX?o1gK0%yTb>SX^l+j_1l zryq9cfhv|LN)6=5+i=slOzjkuGIK$3@-8ajg^$A|T}}m+v!lXJT?Zi08Ex)}RKU~` zVM0%!>>;z-+GbN;S$t%SOb#6^tYmlSuXggvq}otm1-XU>U1^4LP|M2W7$QI2DywbT z1(&MKr8m1$QgCV5!_t+N$wX~x!A%>?pQN%GtxX3N#rtMz-`k3+QeY9L3TmOE#s}a; zu~V>0y$=vHsqVqq1FftmVp64%{v#Do#FH(t)xQ9~ZO=+eWW;+njyn>yYrN1(*D<;e7fR=Zvi`FKIvQ9U3PgY-u<}DnjDSV3Wx;=}Kyq0im*pExCR5xPyxT+2_6{6FSh#lv_N20RD@A<~0Gc_chv=~37 z@t(Imn>p2xYlC5$&PrK=en#0yy_`dY9Y>k9vR=WI8JpX%8C29nuadLB;J$!!*;!I% zzPuKrTi}`VJo+|nX!n|Cb3%R)S``;J&~*7@?^(k-7V|btn_lHb%z0*FhC>L)4rMKu zB{U^kLFvRa?nvj1yeW&>Qk8O>`qqy`@d7m?_7qzhTe{pn1uC6$0(eE^`Z(C$94hSE z0o0^GVgJY)aadLT2RQ_zG7xx|zx7Wgz!yo%4i@X=t;KZI z6b&T@@!FJ?>d9DAEpWOIAB~vEYCSV<&&K2>G*capg_PfL$#c~g?@%^-Qh-`)Zn&ii z_ZKfInUIIX67^v0jO9WjO9ahQNT#fe_WIU>zW}oNo+Ok$Np4A!jzCBaTuNlSK>8~M z#-O4m#J{EMFOt;d0J{q5L31j0ihCE1d{_+PIL>2G)Q%=O#tdcmoh?;nNSCWy&n5Z_ z>oGUDK`3q~fF(GH5(C*ZAbFhG^*~NTmrpscF_qNFAeVxXLotOgv=FuniBaTE2v?=Z zRoJxz3T@JquQr~VNI4mNNi1n|@>9t3(2&^>G*Q%8ouf`KqnfaUb+@yXFYUOO`aoT-fjoh{3OABXv8?6s&c9DPhkatd<^mO*lzj!;q%N7_jt_>ZYOXCqi%y1)6I8G|D5TH1Eltytl{wn&$7hB*bL26utW;P!cPvc z8I>0!ROYP9HUu9S*=4ZfLFdk*k!L8wmy=83azZAivCRd&5$g3^Diy>wr#0-klk|`P zh-KD>tA+PK!PYH=w2#KQ@BTgS1k3XK9&tK5<8 zqDOY*WAG+7sTX|$YiTwsDWSqiE*Rv2izid6_zA47J$Fs1F(nD*rl{*A{7lByAozZ( zd=@aNHukWHLZz0$o$p%h(s^@5{;-alXe%8UW8UP~^e8!npZyb#vZgK2u_em>wdcp_ zh6OZQ3XmsyM?OcpvbT*cPU;V#56zcxa@K>aF2_O4Ot(?>W5>XYAd&SNLkDjdFx3(z zf)uNXzc#(*R}x+BhXNS69EbfEh7Us@Aeuo4WAf;kfARdv_6aSt>3eyiye39snVswr zgG!KbNcHI!fX%hOW>k0S-WPr^js;#sc@v-W_^WKFpr|_}qi^nH)=Qb#G|l){6|GE~ zTtnYj8cK4DJ*aI5DzT>I4GlY-2sG%7k*Jak@a|<5MDIT3C5MRW7s%M3zUqsS-P_0| zK|!uv@?|aqt@H4sHhxk~=Fllb7AkdKR3~}uLfT_UZwRcy%$pAf-`5K5n_AQr6bfNaNv3jv5EnrX#?+iA(UbP2<^^BE55ACnyKm(yij*geT@hbE`D z$lr!1u)rUQg|-q=XxT9qoq^-b&E)i`7lhU?qx4`1saD8es9g1Uv8FguiP9CapbTCt zS3*6e2HQlYmyS*5hK9FDaMBuLiGPAWoUe@O76L^^a{%t9fd^}R_l<4UKNcJYQG3fM zVWedIH}sM+7Hy7nW({2X^vScH=X|H)so1Q-K4+ajX9YCTfgdFiV0vOt8uq=X*|7FB zBu1S^l70vNb=&<9v$>-nGy99e(k|yXC8jfGnjPg7m8=HMQp9C1dR$9VVA&&tBrzex zu^aC4KWV*J9H`_gNmmQr6S&fU%VsgsNct5O*Z42Oj#}2NW4XK)oh+{16OlFv_30SG z*&&ifnl%RN^1IJP4$?D@Z^lT&s35VX<4OyK<+hhgf{sXXnFjFh2Ql9t;2ORFGF}yM z&J{P}TFop+v00w}OVfX~@X7!qnmI>hC6##aw$%6HSYP>TDFt}yf94(osxt$sV*#qe z0`??w8Q2qBzLFjGtXaC*_Nx(7r%0wc1?~&-v}}C{{PD#k&1n=@OF=@9fp;o}yB8{q zI{eVF$d?~gTnJON!(C@3mA*3lrGQG(b#9g{%e^8`P3c^A8#OtWf!)LfXW-;X#7Ad# zt`xJ$#1MgE9w|XEt&o^67gh;IQX+9NGmo^fOl1OA1Xd)LiZT*GaMdwR zyvNgbKH{T0Lz|j{ya$nifVT}-0i~P)1w!gtiE@CRH9Z)VkEiAR>IiuEuR-g4oY}`^ z1h2N$Y1$0R+hpOR2$$tsv`VU!ave0XK5&k7Dt&0BIjPumMpmH$se}s2$QZ7(wTqBR z4{1x@bbM3+9-ixn;P9HR;lA@J5BH4wrc2Ao#;^LDMvXyPtg-bunI3vRR{< zO%7<*dXgRDcaiB-N%aNie?&FY3aeqRPu%=dvPBab__g><{n2(*b()1U)cJIe?|SmT z$$=^XzyMq*ud}w25#!c3Jq_7+h2p>n^=BL>k9F*d>zWmxo4Dm{$gx&TkR>-b!VUhl zYf$SnuqML8YT*6~#I}xD^Pt!p9hK z@SZ6vkafbvl(rCBRf^RpRv{rxl(mLQGj$&)P+qcUlj#XGe-M)&-l$3|jp;prAEwD2 zhaGCkRFq0{Aa_}yY5xAYC6@4ppl&;oegH&RRoXZ|BM@S*< z0%+vcY(W8gE4BDClnQt7|3lhaK-IA{ZKE64;O_1aWFx`d-QC?a5Zv9}U4sR8ClFkN z28UoFxCY4GkaNx}>$~5-{(JYD)w`$q>1yw;nXay3u`q8`;ShV8F23hWpvy09L^xY^ z)sh{~gd|R;H4~wrPQojTW=?_rHZp0cG{MI_%e!uKFZ+$so0eQMSqpJELyYbowt*8k zQ8I75>~YyIbuW!3jpqv8Z~7gMd#f~swt$s&edR@ryt|Bnj?_(q6O}fAMW@ke)2%2s zPx?q8Xcek%s*<$89G#&!hG_=hsP=9k%7qF`87)5PJzH=!9asZH`64+B5;tx`J3-H6 z)ZBxh3y_)umGsRV!y;Pc1KAu|9=EbYKkK4OQrUGBy^HLMp2T%f=7_p_=f_s%?7g0s zPClW~K{0`Z5tp6cth#EI4&Ipk6v`q!qbUT|r03nLDKa_InPsm+t1r4ej}Kc={ACJL zkIOEV2BSU&t>>~31Ra~?(ik#2)vp{E=ANP$ zX?ji=bHXvxD+`2hb`*#o1Ac~f?u0Pn7O=GnCPg`vut=Mmn@i2Q-@J;>Vc-iZd$dK8 zktytQof)|aP?U?hV!-JlSB|DIVI3(5x_qyKTCOb_aZA~sC=}bPhqB5U85xPLxuU-T zO2isKEk!+Ll#gYU(vGF2P4|yk7PPc${MeJMlwaZPNYQ1I+BM}_8B@NK70T?fK5eC8 zdM5kJY7vc9%eS{NLTR|J6)KrKA=6Z~iDBx|9z|KtmMmcG*BFoOV^w{8qekb_j_XI0 zkzz5ib5W`oroO$`bInOaSh{P2jfb1)H%- z)~=M^m5_jyi>pvXmo>@#+Wz~=N`cIwx-$RbMc)1&1>hI8g?9*l3Fe*1lrN&{e@M~} z5U*L>zXm-|#J@~gxuT#Avi~0pLEBxgOTrj6w!$7vk+a@_^KU>O(-s(8=is;jI)0kF zXyY@)OwY?^=bx2=3Z%U8Cue@FGd*jNTKgT{eP;E zKdaV@&c#1mJ&2@V`y~}f9gYzNbW9uq90C@k5&Fl}8yG5pltoC%$fRl5_!B>S$&u?M8ZU2!-@81A4f5|y8 zWiY((h*;MQ88qCWIN}TAIT9J19^%nN?^N z9+WQ_E|IWh4v%f;9V#jQy0xDRCV~t_C|UNcKYgBXs>aUKZPa5>{mdw;109oGKW;kn zZa9}Y)K0c63wER`?%$oLC~TLe;{B+it@UuX_dqr zTxF*fLQ3~#=R1~bL<3}*a6Y1bP{={-L(xFcrVf3WBj?+V^!z4BcoKPyAVgJ0%*|Xc z%<4hg#dHQ^97_FV8==NVe zLHmLvlJ<=ZLG5`nTSA=1txNJ2S0?rz$?8%95-<)pGu}=Q)Jw`W$r0w^c{alx7iDQ= z1(%T7*fBJjPdtv4#%D1BdDDtZ9h#MkL0TuPiHDN#%~6ID^q#i6CPb=*(PP)%=fy6B z@wZPWNQEf4P+hT$HJ3WV~}?yeRdAz-F?#zh#S z0~1%@w*!-v1u9gmCX?3P#oUR(Zr zQ(j$OSlI}&XmGDIs9oi>%j)497@XdrSw_!h-mnS{8{nev<4X2naiuXfE`xQBerRN7 zU*oJ_t-{he(SZ^gOb~dIj4^mdJ%5rPTpEimO9n`^fF6dIEj-eV3(;N+ofDx*)k(g) zT)9*H6$6w8Yh4U>kGZ?mNdco5`5-Y#vtE7t2H2XfSRr3gf+O01v*%s_&Wg`{bE6y8 z6xpLbVR0qV=UCG)Uz22j-(p{Qr2y_Dzp?#(@r#2&((3svPb1hl{>M4Tx_6QL1bYf; zeUXj2Tz%@$!9+eiq;9S?YsTv5*WS-xWfDU(h%lVo9a$&8vfv!PV^M|<)rLWGu!RuyHTzoebNw|1*^L8 z9hM}J86icEvT%2tuVv7aczx~Dkm6y#wOp5#6(V~A7$VFLWgQ(ZHQorMs|`_J&BEKw zTOI!>tHDSvF33g}hmja|@)X3@d4h}ijh3T4Mm_pw(orU`=j&=4?c|}1=Dk&KiGrt_ zlTmas_mSGL^?$#Li3%|8x_$%Z=}X*+U()^!(8Q{-waWZq8w;|^P*5ACEi2YM3ZO`x zkcT%?tHGsXC((#kwd@*I4NB(p-{q{uBZIrj z#)c;0J84^~^;j}+1))l}(71Pz23mcQMp6a}fg=2pcELF&QIjpPmcf;QesKKTLQS&@ z!xqWPh-P$MKmaUUazvP6>XQ(`rN#${WpM! z9esNMVtZg;5Q;%@5^b{E%|RKb&!1O&M-*4ZSz5pX4}!b8rqRE_*089bR@Gl}1{n`+ zRpcnUiNweqyq?O5m)C|T-*(#P*O{c~TJcOkc!T6m7DjXe$t!`2Kp9ReprHpab|<0G zSi5NYH(&${D}{s>y74F`N=uLPp=zH|2>L zewTN?btgnhQO#X!|6Nh4ksD+nrKnYOWvDMsWZ*Y|Eau=t*2P<;9|D~2kDHQdeh;PS zq#b(vYkl<>gbMr5oZs(Il(i_NZyrHLU8L9GP2*#DKkn%0lJd+*>D?huj!8-Z9K?<-2(~@igKw_sp^6J7mkj;`-9whQ+|)Goys!M z2IF@Fvve4aq~&6W@Iv=Z)eF5*vFxn=(h&8X{RZTVmpD3L#O+P>P5cBs7aV}!fYyRN z2_1_&nn-^$>vNx6fjx~CLtq%9>+>Hz+-XQeL5wX8|n8q`E$`5pgKDm?1>-+*s4UFf|pZ0N|K8|Yj2 zstHE;%i^8|Kbd}|jKjF9tdf2o4{{S64DK>bSF z5+2bqW8+-s`R-=C9?X!oSL^f9N&@7>5ti-F!_8gs5I6BeMOExC|I~9uT6_hiNN&@9 z$>+$+@qT#GcCCI3@=pw-h;AyJ<6=7Z>U9`6d9XQoR{UOT!ZKtFH&z=r1yBF%7cLgVg=|Wk0rey z)gQpJ&d87LIW6Ok(8;1as0*IQdp~VS+(4V<5&;ELsKk0{i&{jct<(smTCmRx zNNADvrG@R;Su|#bnr7Pk z@S+umaSI3A_@Ow7Bk>jrtT6YC>WD9)UtvKpTI}+279JBfwqpj7j&G~X>8BhMX|#CRjX zsTr7&JV@KHARTk-7d{}``T0%etRJe&!8%66<~A^M^WWPd=%(Nx3JiGe&II zKD-rSxnPx`8-)-Z|4iC5SWc)%e|+`u#NQ)a%%X|vDV5P$=rsFoo}zNZpmy#hgxs5; zc-zgxmr)JyjeI4a6ei8a>Mpg}yl^d&*Jq6v1xk%!nS8GA?g6p;lVK^G0$j-8qi5JpD6x$$#C+<* z@H};JjWCG@-_voJovHG|Bve<3Bm8;W5TE+B7B$CJj|e;5Fp#@ii|Ch?J3y`?jPZtDv+?jrSj^A7v3k@Y!24 zqc1_DIqeO<;BP>FA!>3b0-qHkn{)sbl`KrPzM(mWd`fMk+1nD?BXBaqZfk_-a$C)# ztLg`rY=cK^nQz9dHjyBsYGBW*6s`Cmvy92`Sr=S2ewIQR+-uq>Z5s%(jwLUUzZRI&iS?MWtlh8UVZSI#ie_nbD?0u!&;nJMEa zNUJ>AS|&y-QTV*}iQ8G=JEZ$mfYQ`f1Rvr}l6V7YbLUX9br|V0DhXs|3A=3l+3_PL zQsJARrmNyf;Ff|{z>OaPHOLmR8U&c0iYV%Y6PY z3yZ^yK9q5;PeWB99G)fK=GA8~%8AU7D6aLM{I*(+`zGAsh<<%r#R>=mp-5K4UKHZO zlq7O;nV@xI@em4pc1VfV_152j-9V|m0_IZ@O;hQczOs}aQDKBcqR{*rWs$(NogU&@ zqGa`c`2AWQ-Zp^Y85t=M59B_oLX5^;r(2_Uo^$#!;;`;u4ZXr|fC z3$&C!j&=)#GF#TK=oY9*28ffe%>N*Ff#ze7M%6gPqp<2%LM)pX~kl%6F4`WkpMEKC6%KXUDOsy3b9g^5Q8Y9rnQpzk$qObdw$VwZMsN|Z# zTTzH77i$&)T+wdVW7@JXZq8+Yob(fqRxH6`4=%zNZ^R_0ZS6_qwKQ5zL^+g!i6MhX zM`gM;5%KXED3LeA9)Jn7yywe<4@APDH3t4zp3esWJ`sk6q$+^XCMO#$9YD!aP3D8! zS~&?zrkVTmi54btRTX~<{IHdo?V*`r!(qK|$ib`ryBq_U}Eyb(i5M}rC}JvJV-wXy|faw>`fFPrRl)mp0T zz1^aNJe+Dn=uzo()MX;b1!=3iUN`7|;7-I%eq^ zzEge;NfLvlNempD#Wec|rB;-R@;7C;3!jw8BgV-X@z|3~Wk|w}V9as10aCV5D@tsN zFb#>8-e7?7yOn5vl65INbUZn!yP5-MR9>psdoy5Bjt{qdL$PXed2h_FL4R-^Z@PI* zF)R2Mjsje9D6A>g7@4;Xt!%0gN_aP9`;z|#F^3v0vs6SEEsN6CT9#@p@EfH|+eY$QSUrr8X zXsbP)w++}Yv=hrwxODHsJ!BabD)sw)k)9t?ObnCBNm3l27`_`tl0mZCffKPvR$0bO znx0DHV8w*j>4yj{vC1BOjk|~!N6~jJMM4k)BiH2QwR)Amt#t7ST7}ZEW&={bp*Tg? zVr9u$(oA{q?36n^)}*W&EzGy|$dnVBAYA&2GOR(hDqLRKZH-5geUTjL;yVk}VgffF z=@KV!)zne9o6OILqDL9%%EjP;Bvb7d{rEu!6I--?IKW=Lj+u}`k|}F!R1G3Y@w*}%fl(R^;m%1pRN2uipTk>x*2b;$=$nL4+tl?w38=ZD z+u&m{U7SDZ`b;#eLL>;L!qxEX^k+g9J`Z#ZhT6|s&uq@}sG{MgpcZMmKIs?Q$vTmp zzWsX7_{#;qc_{M`K+}`Xw@yK3KWo{0W<@x>ARZB69o5+*Ia(9NXHmAl+j26&NjQM? zv`JC;f*I5*b|+S1L`VBd6n2Oj?{6%t?{uBYjHECx-G(5lEr5INvIcwtmF5|k2_8pJz%sp9F z;f2=)_EkynoSEeAC5I})!feC-tUrqQw(oC%4uEesK!z$S@z6L`s9gl+rWpG!w^P;T z9mH18;bZF4LU#zOKKx`p*xoPlm*h(_8D!kI&}7%b@t)j zYveu6D`;Mw84H7UWD(~8l0wnNThB=UTcCXvw9?!2CiGr_|06gcR@`55iAns(f-fY9 zAdYwzRDud{>NFFL@7Hz^)bVNq-@#JqWJiV|X<+%c1YI^YFoW-Tcxj$f#Y0%SzLuPn05=Dt&xx7;;}BcD{mDEX-+ z0))p{Y_@LbH(xGV523IS9d5CX%@1l}r=^o+c?Y1v&TlDOWK0VnsVsS{AKy!qu4{A3 zX_SyX*lw0vensH!FR9dZSx6lh*9D14Pjw&PzG#Ql@0$P%OB#-d{cUh2Yayd!*6(Zc)bae}qk z%LO>w>9>S*h?h|gnsE8VY>(x5xQ0SPy3;OEZpCUVyLmn}(>2Z)?3FG_$w^}Zd5IhC z*-iRZcf4=u3nAF+=Xnr((JT!+P0o^%YJFhJyja<7y8*$DU0f0jTWw1RZ|TFO`hQ0R5cFQ zQU$5f1N@L5IkbKQq#qWWd~8+%B(Mfn{v-OoQt%P@E2MlHYCispqS)iO)6T!r`5Wla z>ulz zKv*azeFE|$a|_xE|3p)}`9|TWJKbQh10Jm|j^nBQJUQWX)yaC%UX>N2Ws1uh39qAt zA_E0uEQ-~e>ssQo6eNWq@3bXU{kcWmFYep1p%7(5k<^DV-Vl~}*;o;&{`gW(Rr67$ zv=EAUY7$X7Dc!N3)21O=);GoYP%zkA4=E&gOF3Px3p{XWp~_g7=lOi+hTRlVa*zg%0VS*iCN7y=>d|T^J}A6DeCs(n zJ?+hFDN4fRnUzcnzByYYtTv}6n~_2^am*PCoyt++({0XB}PN;Vi#&8W!TJTgLYU3hD<{Y2P>G z87wWVOfJD7`JLmcYklOrBhcV_o|f$+w7h2uPWZ`R-GCaf_0U7v^S-dr?nv zb$`KTh;?W1cQHX!R)JaWS!>KXTWP_aF35JMLD@rTfF&*q>jrA$oa99>vqzb93<=fF z!;=V;MZCPwp**ZkKVMp5f;!Ye@jxiBlFKO~o?)$RUy+q(hD0i1p}D_!B)$+03VL0Z zbKFu6v5F+Y*G!sA+|2Y`bYUr&megx2BNHKVnr@UTVX+P$&7*WOQ;E_Ur^|4`WuWC{ z_Vfxe8hBqAT6hc@FJ65f8F|Bx#K}ZTE$yTO=%>(f-4XV}m}uH-5QQ5sN?MuYLOalr z2B}S!?B)-A&|2g4M{K?gBZq$mvZ8*fOBh0LHM9N318oDfVHEZ`qRX-HoPc*T7-{9 zeudoVPeq7B9gCuy8=wqWURA6fcwr~@)xx7b*0;g&R()$8H5Y(%6{eu|-C z+Z2Ita%qXNu?w_>_H_8QW=4&LO9P;qFlE4J;NntLrt1kb!m&WN=2j^VrTDyhSsEqS zAM$o-Hi#dRnG>7GW1)G8%HN{&H{fM_Dw>7z6?n^MedbYzg52qMUH@A`$x@L>6f<8a z=cE_}T1zz*X15D|al~tZg^$>3x?~ZU9Jg84+-0R?(h)ov+)+*?@j@d&2Z@xd%Y4tMxZxIGm}#r;p|~1u5G6afA8T#S1O*Pxywjfy zPTzPM%g?P69Q-kX$7HAg^4$uB6T#&Qg$SvQ9J>UI7f9p*Yz|NsTs#?o);JXQlGvsb zDaKIpgQ7qZSg3xO(fak7T1o(izo0s^DcN~`*dQdzzH|j6xA<6-p2l;MbtJ$3Q9gtR zEWEirdu+|@vC8`-^@HUXLF;9sHv^gdsQSL%rce zvt7^&`Ip(|=_|+cqV&D}&hel3{TjP1r?;y2o-d$n(C)$Otag+#+YwiDs$Mpb_Ih7` zrB|iFW8O9VRqPxv?G+vY*Sg_{~ke)dtkbJaukN#-J1E!GOLxSe~8flfrR(OGS^vs5D zcmX^;-7-(*r6g-EIt2+lW@+@5dW;zrKdSTP&~?nqvcMQde6mMv;HL%8X>Cy(<>Ms! zqp+b!4L7hpV+W8NU^PFh3L)juKYv|?#6a1Ip3_thgozMbm9qZflqGjiHb zb8%fx0bQmrR3>@R!wLRR5gAyfc58!h3D-n{g&4C1vd2xo|-@Y z2lmG^mXPA`0^WZG`<=G`3p~CB^)+P{#Wn?B1GT}^UgnM z{jcE5DL@1tsNMf&{->V*x&3bsL({)g{tw{4dHxmUe=i^x*#yPE75sk(|JB@oLd|_q8A{}oe)V= z43|^PM2RoNKUsQl$8bA=Pgt=E3GUz|Sf8xG^|H{(&ROc&^*&h=4C-lGES1`@r#K*rqF9~faytw~<{TZ-- zQ6~R@LACdSY4}ehh*I`H46DDuf1SOc&_9xo|(0(r- zhIe5g_pj?5!e;Jo|3Ac64};4qz3AUV$Gra&^EaPy8j&}=m*ZSTv46G5OK%wkzV_$8 zG5_!xCzy=`OV#~jGq`%gbzrg>| z1h19zXQcd{tH-}R|IYkh{{I~eQpTi1eNn~)g8>;{1btuk<@ZM!lSEKa$tahb6>5LLY^irdv?|3ck=uQ=*jBc z34Yyei6G97weD{W6HN8QqDSVN(cQ^nl>=%g-^uazythp6-Eh8l+nV^?3<);LC}rx?fb*HcO{5z&n8sjgXKaIx7Y6Xf}jE^C#m(F21&*s4080 z#>!?=0pGilAkB!|{4nFZqy zE4PaZyV9pHUXx4XCGR4;Q1*)3R7p$6ipnqE*%c*5*Tbh?HxR`~EF}CO z=j;ZtiH}H9X-Q)_6SR23u^#`fA1%zJm+FE4QuR`9fnm3{4a(}|WGVbeQu_Q~% zNW@Qv&crr8787up0bPYF#vl{6-=J=wN-5xq^Dg$kCqU1B*2p{o2N$SCf;82B6-YbM+N+f~6CUklj}wfiszia=v<8L~!?&D?W?*WB zKQOXa1`t+Nx9tvu-?p|HYt0YlpAXsdko?ROKKu~g#qmwpLtV`D=eyhU{(5?9Cs2c8 zg31!>^XOO=Ir7q&A)v1O?`{95Y(poYaYhdsXW#&k#azhO?`ge^GXN?ni=ZM2Gss%5 zlGBWTKwY1qkz>LiW4SL@PC)~WFMlRmW*3=ine#4`uJ?jSc;5GmjywVePuj^Bqu~=& zyxy2VOt$KQm|ZoeM-~V4+N+^B2ai}!wZa_@?yYr5ov#tX=bv_-4Cd{WEsmKv-Xb+n zuRWf3#v$LbQfuS@`v=1m58nIJ#h#H6aS#}Fc`3NJ4BmQqOK1D(I*>|t`%*sEM)=Wh zW6&;sn(k0}gV4>h)7U2diQ7}KZ=gA3rDA*3qaEAZeHe6E8x_2#$kZ1`+$3nB6E!Z} z%;%L68~D&?!*wDm6;KqNT}lU2-hWIaPUt3GZdNK521`Q_Wg4jC(W}CIcOO{)t##TE z(G1(?1Fg0pgip`uwAUMiCg#^vL4Q5NYO2!y%ibPXkj;kEn!-3KNI#&h%u#4+Sd#|NAfNj~e>R)CU0$`ttbSYUreZ zS2gs21Qce)0un*Py1ujXnXP|QLkG3V&#$YCBy_zRb6ZC)gs1lNyD-wFq*NkQ8h zd9gfnG+jJhF&2`2M1kOUU!6>7P-M%uINUzVxehq{+nx`F2Y2DGEt=BNd1l|t4SU>N zMG;MA<&tv94Sw?y0BIl;A1$E40@ZL@otleV+8lclL>FbYJ&ni%Kh)rwL z;^0Au7Z~V-uEgqJk970&bb*t##-}Yc^`zTSyWpc*NeJC}Gnn-0D81_@wg>HOMoOz- zQhMv5U*d&PF}oO#3q^#0r0N-Zxq7lHZY*qQgg+prn}JQ<;b!aTL0>*HE$rwT_`4p+``r9>rE4d&6AC2tjv7MiUOu{B>| zwq#|w%3T)|51YfpzMT|_>yZqOj9}3gDYZ%q!X$pQn%g3AgpeP=GF*+p`92om$hI*c zX0KhhM$fnAhbJu-8#?(gdP^EXA`de!9@sP$Po->b@&N)b+P0MzxBT6P(EitJx|>N- z`|hbZsNBg*AE^v><~MAp-Jjg07M6M)JrP_t3Xe5X^gmXv&CupjLUM_lxC#yh@9#mi z#%l~LSMOB1ghKwARe=T}T%B+L5G6ec$ zsov;ETz#(D6m9h2@x!59h4@sCPB2Y(&zhW#BO+Equ4e0VX%(=OAk5!@o1lEXL72*7 z^K@bUjf7znZ?M3<_m|Znl))hL2p9ZZ5c*8Pkf=1-&k{&Hn}xyjE z>ti~sYjqR!3RsuwBG3=uw#n_Tb{Kl-I1Y4RE<(rGy&opx$8QUI-w8HkX&1-ntu#~hI`Ml$Try)F4Gpb9z#H)H4}ptL5~~ zrP)=hS_hus#&WiFD=mpzO ze%}Mm@*NF5$uGa^z*)1*kL=Es?xt1}>UR733G@LQ9@bZ$=gRgcP9dvD1+y58qFRx6 zxi6j<%MO2$0*xZ_d*LjjnNZpEJl=B$_H?%^Ui_?f3Kk(+VmmIt215#Yyov^zR)E+Z z=5SZ)jkbXJw%uRzh`Ns@x_<8ZWz#YH5p|0@%`FTM+}T}?Lqm_k*ev*lYci>$E{0@U zhmYS&1V=IPAYY;?2;1>7Oz(j*lAU_wKc}Tzr1|G`6YgR)QpIKdWcAr?UISn>>*9 zMZX*s2=}1-84|^8(!|UCeSX(5j19}D+=l(nSf*INW`4|&(S)}iY%;+56F}!30Ncva z@s1pwkF)8N`7;qi^+dr2tpaU_L37O#6Q4HiI_YcU}1^dwnt zr=>N8q^koie*>mnue~e`PPpBtx_upYKMSe%Zn8fw8l1TOrqoJ{T)1?`n6D9nMnzmt-A(&i2@(Ev$N4+IiWm zqc~=Y;6QQX<+l8ukX1Bk^)xPmHT-~gpR7M57tQcHD#JU9wH}yVO-5tH4obzwD(F5| z-{4bS(lNi|pP+{>zglLdeZN);kT&iR94f~c$w4V$jCKq*w+WpD+A*03e@=-{Z~aPK z6fHq7^Jdb~(jnGX4VG4tw)<|T#E>(gog%1%Ti-A>9CT7Si@ZB=Mwm5YTkQ;B)Q-Sq zileTa53k#439H$z2w4$a63kZqJ(48iKvBBp%^P=S7~KVwZ-_dsIo6+r&7kXBR|ObR zHE__HkIDy1ir8H5qrfaDjEynBY~)a}i)%Vd&GVd8N#npZ2`Z}vV-v3U#sdR!72h;A zrg4|kY{P*IF1f@sfh~HVSeBz{#6U@}pEV|zrBD5LTUKM>VFBxAyljcUwU6QYq){|uC3UQsfg;@B+UgyN9jow zLfr{1IE$(o(b1g<-Y5Z!L{!P=*0}c*0o|-4&-keSBB0#DQk|O92NIUf}<=d>Cg;kWH*Q&Lg(NUep}-1!G$rvp=cSx$ z;x*>&`a@(2vj5T>WgN81b=^HhhVaf*^dY>m zmK1874bfc)S-fq+{j+cmhvNz^uQ{6OtwwcEsjMCpAWi=SVoIW$5OSSg@!Nkq_&ZR{ zA0UXN)@wst-|WC*AbDDeIJ(p|NNk76$=uH}`^yHKkb+ofYyi7#I_`b3iE)!>34KO= z*&)pHGs&}t;htMA-%}9&>O|~nd4U$#df`*TnK%U*CAuPPD(lVpk;LSRuW5Sk7C~-L z9~g>w?8p_kj;cg>wNAUX3y10x>1^RIQU%0QzNU~c{SO^cdHt#MNan0}5}kADj`WNU zv;1I-2hck#<_+t_?j=w7sG>*If@8l3j)XJCP*V+cn!O+0>8;ynLE4_Pmf8elUt#K) zdPlfBt+8a016$R8cymPET7oBDa(i=O4}602lsZqW3yWv^(qQfob-%i^_B8gZM;!J6 zlF}=Z^0LhC=-kx<`3&!EvK<)xg16IogX!WW(_Nmk%|mQ8sVu=yLlp`nbRXf*TUdPn z7Z_XY9BxN0aGAEQz`Hw>v)%r9Y?(w9I9=o!|!B6ujl5pAh~K%wqTVB z_<@HT>URDvHOo-KpVwPRuvB)d<`j?WYS>! zeo^-guRA0bIub%XHMaL(cs7(T(w92Q(NJy6(w4%A1xefd-$jacFpx)miaSK1m?&MC zby?2in(tH<-f2QMzMGM6v(TUn@0{q;B{}4Vu?~w$7(OcY$~L~q zQDBxLB(+w7b+#68dTf9atgvFLsFm#ag-?aeAffJArl>2Y$QA=fE*wu&+$Isa;!zS} z3=yFLJKzgkf^(#(bVkLPA=9<~5GZ+wpqws}bUA?(862~{c{eaGAZZq>(D>F?1$LPb zLQO$w0_;tcSy&UzanwYI=>dxCdA)xChGi&=$~GW=fJSm{D1lZs z+$5nmJo>#g%NKQ!%CNksERo1%Ll880V5`IY`O?YQ$3Z`qTS;&Wo3| z?oiN@qzW_4gef)>T#4Aiq2TH`4d<7`^6`Tr?N}eyPC?on_W&Yjos;0df52&r)+#g@T1H09xds?Ao|IKGB{1u=_++J(@uDp_(r@bd~D zrjpqFsc~F?Q31t3=CW@kS(T_|xj>nDJ$P9~=}iy59Iccc|h%^SmD z$)X=`CG-ZB;+oT$0q}f?P-i`Sf*-+B+=B5LG)j8!U1P1Ks<&B=>}lCVCwn!ozj(HT z%=b&eC~-coh1ammf=dAA3B^cqTJ|fhA8K z)_4VkwH&E9?Yse=_3imNa`SUCk{|!n82V%jBjo=ZFzYD?Ak-o$v^yg*zP~abSAQrE z7WdOC#Cz%-6vk))MSp0yFj4oT10HUXd~9qs3*q%J6GbPf^ni#TQ(1F+iagzl96TL_ zYc64`93m}m)fj910kHTmn?NVjHOFjfq}*O{YS_b(jqk{-McZ@ZCiU*qI0;EUI{p+go;VR!AEKP5X5^lLIWod7;T0UCG8dE$&BX_5YzNgadO*mw4 z(d$#JMNGDZn87x|9xevMq%sTt_E&oit0OdP8x!iqMw$%;BbSuw|5_jph+RIm}Irjuh=~8{aDW6m3P08@W$$F zmfp%mw$PbyCq-YNj6TF!g!rl$~1VY{sE z-r%v*VlpGdo3`WvM+bjJ!2XQO>$jXKQYVvb7xFN57yXqYsp2cuRnSnqM5&@MP%ECwP{sSK_l{1ZRz0>_F47Hm^1EKPtWK*U%cscJh zlyldYaxShH&;oS&iLTx>$+FDO;qlle>TbGVmA0DQ=AE@C72~Idf6sEdW8NA7caNE9 zqofvpQ05}h7exP5Fn6{!5C+fB0Ly|_XMqP3q<`OiE6XCJylXO&hfs6xL%`-Ght4de zG7^=Yl9pq*v8A-%I_{1GvIlX*{gmnn^Q}^s2TEsgGIlMWYqQfJ3WISDNu%09_ z01kTV_Ri_}wBb4HB)sh^ z6lPQSu86eFSh}Mf$>z)EOS~q?0d!Rms-H3~0#0sxA#t>40@=D?Ymsr=cEPp|iz3 zG@rum`+n7W{vvq8l8^%919Lt902qAT!~jRpCWDzGx-fbK^wM66VNffN29YKKcN1(K z0}^PW09Is~6euv}^>i%sGsLQ}5aZw~yohpMud%08X-;5Yx5qY96i}x}+yKX63zZdaUVrl^70(9R$cWD{0q${{Rwrf+w*K-Chq(7O2@uz`6mC zYtZ>-5@%3YJ>7gSO-A_x3DG*f+iDfos)^MZ9_FExBO15G{hE4=r>^uW^i7Qb+=l?t zkqCLXn>vzodzyz9xtNS!L60@(_oy~E(KxPBB7ouioLLiMDpTJ1!FDroM zcr?BbQ#>QDBi42Kfn~wqO%CRJA=g0aY~eqLw;zGei6{egcr*zt8H|hh*n06;J_3D# z1K9bX-g-i-aCZ<-8r;#YKW4mf9v>{ibv6DAU*NPViRv0J!@zg}%Krdyq$fr90(OQs zv%k_Xqh!IGN0W`md_szFcsZ^f<9oV%Sk2S6)7jEVhY$ND)+V&rzP`X0uCVS8S%Cil z()GGHIyL}+93L$Jh$Dn_(fqUIhY8E{y9;Y;Dx311v!cWg4tpWfsm`kUUbadGG1O_~ zW1*-7O3JO(d%GN6{$Nyv%rBwJ>FuVH(I$HYox`@2g*S8ZU)bx^#80s3j~&RK<+p*; z2MEx58+GgZ$*{IPT_m<63<&^S2qtMj3gLDV{Y{>{!snXc@E&@+}!+i93>!Cp)I z7fw8}J%;G6*iW7oK;nqM9sC^Y4 zhP+rJ`&P1I0Z@9G1K>V-2#H5=)>It1Ua67tXmBT>$%r(%49fAY9NA;`FH=LW;K1kx z-;oh(4f6*Y&W@GGr328{hZtXA>2Y!li_~hoPp=@6DChu&522uibtzCKhj-*7n#xI*8FzLU zZ^|qc<4V(TEf8fPI1x-wq(WGvWZpGSVU01R#0Crj7>rI$C~?FLB^IVI{99nq1w?K` zslQ!b6N`mwYHq5wt6cn5ER-Sz-FQep0@@Ig6%dy2I9a8zlc-c;367`8MxcqJu?!kU zKsS{WkeS|3h9Z=SXk-R&aD~;{DSF}#>Xq~Gu4o$ZB_ILaG@q!%a|X^fDW8z$!~ue& z#X7n<`GXHSbaWtLD77({T_aBzl_7ymt>0nQW`l9o2^w_xq?=tt6PUiBJZj4xFdaJE zY184IB8oUlGC6x5pBd|J=NRQ71mENtB^-eUWGN972;qJcla}g=Y=gMz{$K_m3U=9$ z175md&M3^omBqNj^W4~gFjSbQS4TfEVdvmbSWv7@*KO#090N$EY(iiJ3yG_W$|*x< zzrdidp;())+tAXb&=F7)p}KSQMYU|)1j!(AJ$Zy7y^2 zPUd+|i8$39%Bw*R5Myyd=vb&40#)S43AQG;v`Hjz%0?c%=rp(l0N6f6*p&9ZLu{Pt zF{I7Rt|2KbbEB(#Ozs#B6RX!poK9k#^;5%8s7p{1C`wQQf>TkkX$e@kq{*Bb=9u2|J&!p~w%SCqW>)ETOBYB~~;+(ozW(1b;1 zdwN>zv{h@+q_o9j&7C5PS&{>Q@prho5FF%~2X|ueW|+mQK;>o({^L3+Y=WEpMj2eX z0hfr2c55LWinH_>O>*2K4TIvNNF3pn`mVSj1YoAMKBi>)m^Fs zY|+|61j&~{P-SBH?Zq*SGa7KuEmi=+8Mex6-Qi=uEaf`4(k`XQO$Tk6GlNa+dF=lH zzDtg{x`7r+3Bg0cqZCFo9#cOMp^~J+-0k$x9$0G3*Dh66S1r>hVl`k0Gnrlaj^Xom zE3N+kBIPj|i>34KeDKZ?m=shY$(`}9B%_ls+;n%=D{yt8R5>k%%$g3ighW84bMQxv zV$5OD0AULm9BB3<9FfHwEHdR})PCdnW(t8)(qEQ;fXJf4QVRjV={D{nZlZIzXzjhB zdPYbX&e^7|ecBgB11WbqX@un~r)7fam1j;z%;0ERb_yp6P0XF{g{`0|%7h%5qb7y! zprDAwSB|>L@mvDt4g&6W)riF7p;he5QTvbOm?{NJNp)GkIumB;dd9jviI^w@)fy25 zXzZU@QLOGK9~(H8hABsbH6OflfcSu&}|*aq`<@1O_G>D3>DN zQzts2I6(n}DZ@Y=KsN?c5x!R?x=M;)gs6z;WWe4uK##Zo05rUU5ra)m27X)Djf>w^ zYM$9J!0cXjvqgl8foh~jm>P{9%@vG_Y?@fPVk{yW;bLWP8aEFVXn+VxZi*&QQ;+TJ zEHHB%Xz}QjAj#z#-Nu8^3VJ}Q7$b5+Nb*;`0exrIKd5o)_RhcBbnl;h{O5nsXtM#P zM9<{CD_jyt5Uyd2{Bq>SB(;)kMVGORZYfn``)62;oDn$hpM3n(NC8z~8VsMQkcnaQ`CmroF=n&dA7`xmi9661 zC?ZBe!vm(LPt*Y9NbV^h8j_$S5F2sjbF2_9q)6G89j7`~9WMU>W4`EX6bM2RAP6B7 zp`}h$J0L=33ZlJqAr3)+(|Bp5Wq`zSwM-)uW!rkcTM-4JDY)om^v;YFlLSeQj!$2j zOo&8ECb4B>!8pV6zL{lFUL&+->1fQ|6Y`#X2*@Ouo!PylF8^!y2sO00A;_|d^g5~Cd)pEVE&L`o))2#^6C$_MhkoqN)?vD!USw9MTT=zFo2 zdEI>qqIPE*kRvI({s&hE}LY*ww^DO}B!KOzB#Q#MqIxQr%$L2d#GO^7!g z96q?wf)Ln&G0?&3kD>Y^>4c5Csmfk3)BxP?V|+fqQ{8W-$B9?bO&`0+e*J8 z?e7EXA=g2LgeZ>4{(sSMhL6*9cVXX4_}LZik?LJN45rA5i-r{Ioe@>zZSkA-)+yCu zzq8QZq4n*~QG`}I4hKBEZ-xkJr$@)DpBrcZ0D;HB_9+ye7bc4vc0}OJ4@35`U@6U` z-@JXu^YZicMs9E%tAk4Q*%PsG9p2u?h7ypA+)Te0pp0-ov)S}bT^0(U{{Tac%2^7MI-|Q~T^GNDAuml9$cKZlW8fHC0*TQyupS!IKfp|Q-&w41 zVc0rns637O-sTM97|R!f9gygh!s98E>5RSJ#;!F%wHpU7`ry`Dvce7NgU~u?KID#c zSiTJLsL1rV=H+BMvp&q|;9)cz3dR-Bo!{N<^47W}WU3v1eHszPm#0^%?!2y_DcDWy zhvy`wzzT;O$S$x37H$UDrpModO)M_C9C``iADr|q)?Ni)V@)8uukfW_^Q*5A zY=8CbuH#$1*6($xmVhF=h$gHV7MMS{3$4(o01J;EkWa1d7Zis|x_|%z2C_UKM1URS z?3w@xP*B=4xXl6qg-wJQ&lNvrk0Yv2Vp0M27MHy^(*y!Zuy8%cTP)|^quX>eU{48u zpTOmyb5!UVe`B2t&=prfV+J@cm+*!Wt-LJb(ViVNVTt=rr&^LQu78>6no%{$?7wkj z(DU|!$B*P-@3xGCg{*gX)9uhc8<2qwp-;Gc=0MFV1WqZLhFVpNqJe7V@EyGG#W|NfapRG?rq#M?WXatqL*kJ-X{7X7R|-s4c^~W+eWi05?5eg)uDPpO7sJ( z!mHXQdyCiRupi~i&@#IkJD38H#uyP}K6v_W>BR=l+5PXq4{{`-=;{(qr-}-|eGQ}S zPNF>gA(bH^Zy+&q=+l{q1JRG$MyrY)fPZGB_yie2us;Gsi3P$kF3mvsXU2#Qf(?vH z4<5gTB1DM@tD<+yea640=<1KifAvnT!KczdM_`yrVWh5s+rkE*DiEL;YnjXicR!PH z_%R2O36@^T>+y8xmTQ>?x9P^Ph4-=XUh_|{!et~dM1Fc)j(FD@vG~x2S`sBZP!zf z>J$XW0y~bGnz09N&bqrL$(6wFusgcB=tC8w#vZTdJu4s@QqSG@(nD+qB8&CMsp+P^ z(+HX4+#}QLd#_A82a}?1JxyDoXp>;N$ZlhpTn30i+0ejp3JK5|J@j6=kTmpZpa1{{ z0MQpeQE|t#<9C6804FDK^IZ2skC%F-+K9`00puPuMLQdq71=m;N$adBL^Z31_tY5? zz^LE0p>#$ERdq%vfJPpe;kvz0Fi`^Tw^wzm=kvafK>^fEW63Z&XRd{^&}YB(4tux5 zqOEhFm8cOBVwZ~hy3J+=8qN2BeN}QOVxeb!INx zc-I{|lAgNt7g->5fj$2K=U0=nQQts)O&V$m9j4fSp`+Mh0BixV_5IQ{@WqbGU17(tCg+F;MAHT^Zbn2T?aZhw2+U zFhwdvqCUD21Ze(&+;Q0URTSbex-cmODOn2AKr%7;7v0J>(CY$@3*OBTPy!olv4pfH z1T(wzFGL7HdN7Bw_Xq3k$Zv{BV*;&Cno|b{0f1l|IBg};KrvDk0|LPYxHMzc6co(^ zBhxy-b60#uWl>xmSlOj3g|KY#B~2pLOi2Qvv?j^lNx9QN+7QQO!;Cr>NC5Clk%;zl z_|qu3Z`U>_Q$R!_2x96n0?5*jc|#VIh)kB4rgWv#xTGab%&%uh*rp;1LsSep9u$OI z0l16{6P6$DV1rX1)U%e?5sh^xPB=yD}x1>HJ#8$07i6g#*W^F<=NoMAo-aaAKL zD6)6cc$%*mPE@XH4m4#o2YQKnQ=<5Lk_tZ0<^3Z4!3h=sldD;ZwA_f9M|F_5Z5V(% zYO)YOq`1b3a|9)XTZ53uH4=T+;gSuT(cWW0pyow@Wyp*+$eN~o_^FyGLe&$gtm%-A zMhtPkQe7~LpoB&RLWK}_nw*fAl8~hVZ7dEocSEv45NCxR*BY(UAwaTXHz80iu_IXA z3`|f96*Kjn%Q7TJJd7xDbf&2c3KogGkd8Da#8g>>1OU}e`cADKE2|*^lw7*Zl3*l~ z+{_n1;egdbc4sFu8erV}jUIZ3wWF&`tEy22FyXx_5FJUN#^gP=1x9Cr?Ng&5gnbhs}|jTmUCjM?j@ z8pkElsccmtF+rZ6m-Gww6eL&%-i;UV9n>M&U>u?yDI9}{=2HQ-0`GJ!phAFhi($cy zL^h+5$yI;^6L#Gosbw|>Bb6#;&V`Pq61~I&vNt)=fDQr?*g{Y<>8D#Qs;d(lCYC93?Ocp&Y2#;1Kl}v zSm4naWE^m)wq!Y_2TvjugNzVR!6r)$MqX_^SSkfoE(cG~dYfXh<}_wojA78QoS^Gj zWhN- zg;i^PH2rFWx(IM$rhqr{lz`&^)vXeYCTYPG1PW3S-o!P=tVoO=O(s-$TVMjOKs$bW z)SI@plm-D*WhGkp1!yQ$23xD-C|_y8g%oj^bgE2$ zs}TrxhyZre7Ag#Lp4HLU0Td8*Fzy0ww^=F8RvBn(itbqIj}Qqks|}7GTESm-H4-`| z0UX^swIqU}Abo(L6>~#Hq-wxyAO;t{hQeDh#So^el5EG!qqecRI#T$$vbI{>ohv+j z57o4;9E&YC26NJ8pIqD<17JXA;~8w~Rlr6uq?x~M3M>?<1UE1q3~6}XeLIsLnl`=; z9)MsqZ|jvE=qs+$UrvB5?WB1`t8l?p3^>NP=%b2KCxaN{L!`E%_pUeZqZ9DI05E8a zfJDk|w*CHKfr1h%9Uc5=!VmOSTd{;;VWsIh!heliVmv!3N`_k9=sslY#`tY zXEh0qt`A&mJol219ZY*;=zg5UE(l)Jm&RP|KczP+HWI{RtAop@R^^f#j;0?^q56~F z3CvO@>V$E25&b8-Bw&|g9eDGs#cEy5b?48}{T}^M8osxw+EHh_*ng>8E+|Bf!0%l#< zYbmP`@Bmjq(XOKP9G?i(NTLA=kx1@&^w0;fCc>co-rp7!g5)MfJNVTfMa`Ig#QE7H zA$Bp=GtRSBsdq8gpFczO&D9-6BzRekt;BwZyEY6J23|vi`OQ zNRM|@e-W{}cdBi8&`w00t;1s{YAn-90=$+CB1|CdX2|dC#V&&DdR3Qu)@GHgEAOR@cZdeMX|6G z2tMU`(&>TKL%T0olDP4$pjkXFc0&p$TU8jdS1XJLla0fBxs(JMWXh zTC*@~)~uO5d*^lObpwDPDJmff00993=mUR%*HwTJ0P4*f$TtvBkdTnj&`>aN$Zz3b zVc{^|BfUe$!NkMG!NkVKC#EICC!{9A#wKT@pr&VFW@g4C^?V|)MrGRl6Gz8Xkc5|&{* zmwPBlo1WqJ6L4{cQ2+~s!*fnJcgkyI_?LG90JuE8)IGow0Kl$&j7r;CnAb6Kf*tw^ z_?^hB%sEzGBK>717V_lK0RT{poJ0eC0ATy1XkWHLOnR|wpN{!xTvH2+6ZWMVz7_x= zNc|<}UA&t{BoFFBit=|AHKpt0FQbQ5xPw0S01&vT-wJ~C(+!t-U)5)l+Ric^lf5id-g+bXUVR?YnnKDCuHz5>IsBinV}iKiToe`G=x+i|$BHyEd? zmIvDWz*CuUSpS!~005Jny2q^A8dJ&UGuY{A?2LQRuD>!t`1OjjnZqXqye3>xHvoV? z^1vpv=NS_rRzm9+i#f(Q69tz50B|ND<{bSuu0*nvlDd=}GO$t6O^W>H@d}uvp83sY zo>KCFAaj#sbs%e}?TAsX8SUainl%>e5Hph`Du~XwGsOcngf^N{TI`gvoId4(U!@d?h{?h~ zvjWO#H4SW2kkw3{Uh;L<^J7%P-K*VyWtJePQ)k%aMFG!DAOPd z!LC1zzZ3nZ`R~Qfohz=~tsb|GB(=B_U?Uv44d81^zDK++3qjb$ZjA_H`$oP6a=#JFMO$|LFo8-8lKrIr^1= z3&s@nZ{z<}BF=n+8KwUR_}>i**uCo3b>8hNliCAP6NLQ_`G2o^CvTS-`wgD-e8SN1 zn&w~W|26$zSNcQvCm{T80Uh{H!1>GeU*&&J`hP7BlyCB_s?WgFxJ65C;d9(iU;de3 zYI|8S7cd^RR(h_!?X?+B{RRW@3&)aB9&~52#L~y`3R-@en;Ig+*=CzB@(v49~h?RWVKr|I~6tLiau`52;Q&cx|Sgl+PPI1o4 z^a;sYeM?sU;tK#kXqW?I$M|d*Rnrsq%w_*o)8v<|QXJfSAMXcVBBe!~Ek0M?os37<#ES_cU1tNGYntCO(z}K!|Fwk5z-e@AUSqyhEYjVp#206qiV& z^5X9&wBc3b>LU$8l=E&Mp(e3CxOtdp z7VJ}9sWP?V1FiN?>RVgid|Ndpv*~oq!7tUY@#PQ3$L2wfVoz`KRK_gzL$93QV+W`2 zZ&akfebWJVv;Q@zS$)g)xFg<2!AO1}3PPs3$A-La;5qA7cmMFiLl?{NF!J`ha)b(gQj|A8uNldPZhsXf<>3^C0Dj^^OOc>WeDaZK;w$3WY9)2Ss zslDH*oz4~Tk^HDl9L!Z}=>~2eKNH7?JjRc<1r+zpc#>MUH7a@eKdpr9=I2*CTb&(PHWI%Oa)J=XO{i9zSz+*i&4XB94_AiHn|TdkdA z+r8J89{{pfglTE@$R*c!_uzCLfaLp=a(_Z8$%o6Bi>o^8?Z!{QzmgaI3U=YiBP!jQ z?&(a`qL21KQy$8K=Q#iX7H|ga_Oxx2#)9NK=v3Kx^%YH1dpLgnCV7W*-5VLj<#9SC zjU{So-TB4jflNci@rWMNgHHtHD*7bI+ClCC#rrc6&()^u+6RZu+)bCS_iX^cCYLX0 z;_=mNox#=c_dTUFKHY`b8K0*Vo}_)f+$qR+fBp8Cf_sN|293!yhrt&OVRYVds$AEE z)}-Iis{FlxXPBx>yHyYPY5)LZKFE2>?4~*VOI`Ps1B-iXkzHEWx(SOJ+4je#E8L>1 zgQrI~zx8+yyy$_wb#QuK@l*%=YJCHBKed&6(}% zmxJ*RQ@7eMtp#si(56ee)q9|*r^jo&Ntqoar-|B3?)F!Jo}7u2P3K6rPw@S>gACKE zYP{f=&EdbH{?`yd0%kN{eC#l=wq!@b`|6I4uK%K+wy%AR`Z_beVam00L+tNYq!^I{ z-uQGHM6oCsUKg-d`EyM)K53^_)&jthq9*tR%7^f>KjfcswH#2q`pq)>D;H?dt|`C2cQ_ zFP=isO#SKwZyS>krA>A6m*j5=qNqhx&i|){9jt@$9g$9q4+wyF%7)t6XRok20YH%f z0AZV~PGZWMzQCSfS=j(^ITM*dG;@410d}$LTfcvwVUS5y@x=wjJ}c7k3oMkk=f8P7 zin{Glw@i3Ek2yGem2?^IhPEuI=JXx65S40N?M}Wbiq5{WT99AsXGmPTyL}hDh~}RN z%h@}}ngtWa+eu~>3OWr8Q$W!sxr@rkUz&Jf*y}&Sy#i1dK)vSo{W)kqn^to6BWo(C zfEV_RGrSxB{qaUs^FHd)C)?uR*~TxOer6#1bN_yv`xAcP z@x=70PJYkPzs`~N856wSdIq}xoZ|j+`OgE+pF=I^JCz0E?5gT2;3E3BCBe=##M8qY4O% z_yVsnpn#VfAP}IhfQd2vl8-jq*Q*Uva@DC_=>=rfw)hoxh;7vU0Ol{MXhuY;WzLTj zr6`vuHfY`VlrH0_appd742n}X%WC7cQ%aSELUEU0sso-2bSZrP~a=o)Jt z)~M_-(mkZnhh%jFu%(edejfg)6%`hz#P;+EhUzI}I8tUz^$J)Kds#{xsc`iICua)u zPENy0cj^XbQ9*M;)Er!K756K|p-lI-8fI?Xj^=^C zh;@8JjkC5c*{zaeqUzJ%;?Pi&pl9P&^0sZFEZ%+V-G_9SV^)m<^^gIbASRgk6Ng@h zn=@@Lvdr>WL2IbxQ|5X8qi9WTZ;5x$EMX-Yclw@2kdhHHzTtpZz~|bGeoGWq72EBm zs4w9vGuRALXNI}`sq8hyE9$2O0b7#oYCXz|4tLK1JH@gBDm95zwd7;QH|%;~YJu`< z+!(cOhb@6xsL(LYv6XxVi7NwSQBoRg1j^MYBq+Gi)gj%;i#`ml6r_QlY&mn5UA#1r z#7-z;yh+om5CMLD&|8zpvia&p28n$A3G*k0l?h%>s`DFb1!d^agYXd1)q|=qLV=bW zU_qU)039Jvvt*M^+)}CL)+)3;XE^gxG<|iSo^L3tPT?g)@=Nf$O=o)KvZK3X4n1+r zn-XjG_-7mzT#-7aqjAH0d^EQz>P8+;O6?`3w+Y4`AGI)0kE?w z#_I+)!_-sKY(8%-%`t3Oj5fzv1eW^lW@)}WChpa`!+dwl(4d2nW~Wv1=9NN*M+tPX z>WIC0;2>O6si7ipTSXPr zA3en|HlpfAmBPOhD+YANf0K(ffO}V0X6bOVuM}0qxkRJ|Ze^e+QJyacWSv-G8xg2u zO?hmfrUlcwq_WUc8J|$d0pwjP+9^h=uY~(HIVDg~3z6Yll>LVDC74zc?gL7YXNs$?raTxN6U)foQMTLk@ ze}vsZ%i100PY4a}M$zL)SoSI7?Ei#SwYlQ6-qJemERzP!-r%I8 zZ4CWZ?3RyiVVCc2z7Lcd*d)`SB64Un&M?(cxiWxt39dPeU2XWn^h2U=xF3~nE_b#i@6pAw8nyo#&{DbeJ!VUV)c z>W-}OP$G5S|2YAjCaG?e5W?rYYOqck>*aOa%-t)M|NWvtKHk9>fu0#lVi(pm21W7U`K5NrI0#iM8;W@0+o&YUt_V#f(HCrSn4diN)XJ1}*6ozOhOc5fCr zMIWECXm0lYV@cmXMaTWjH3g#z<6_yKy^!&q+kVx;eh9iO7*mm*T1fHAP1RA;el+aHLr+YYB z&?*QN@&Kfy2pnQZ$Xo9}4QE!5(=~XOX+ddqSI6aI;5f(95o!FO6`m zipx^Ab&T?;Y0?z;)pP?U>T@DBW^2BBcoP$Yo0%Mvg7b8%Y(U?(hyf9sV8xDp1-4wB z^bb)uH#8TMfU)Rccdf@VH8a!}IE0Ntg^$sX2jzFk$vdWBd-^wLy9ZW`D;spLzDS2js6_J|qo3EIf9tQDD(Y8_bHDD8VvCdR z3mDuT_Nn4EddLaFCgw&hx~<|xk(A!-%pdk-iQ0B`x_cNR`r>&b4I=VLrC#zu4ZW@d zd%d0Gi<{}q*R(}fJDug9)mH#p`M^~~R7H~HD`4+uv+DlK$MNG%w#ujVwyO`{$B*f5 zBNvj+VekWkYdrL%t#H(hT|PcM3GWydMX^=k+G$I#H>Z4YVEV9Sdeb+49FjI)U3(It zFutgV##Tvdr>(u-y!^$XPIKF|VPM=UB6UIg4Dm1wwGyw9R8KD`fnV?@?WGELEn8uG z&!u_n*db+Mo2h)1wwB>=l#mT0!`6v&ZI7j8%*rWw-q89sRuKI>qxvq?n#iLcpa%mO zSl65Wy4%n;YUP%=@SUb&PfNTZhRqY6)YU`B=fQNnc3xujl*KQ>)eAauM^aU0XLovV zzyNPx@L;Y{R@_bDvp{J_UDT%01^Mc>2WY~lOHaW_5^T>O%+8W(QG_k^?lRd0vx|^Z(Q;noGK8w0spm0gLBFN3{7B=V3&fsSLjFP>poxReE;1hbKZz_#kj?y)DO=Gtq7 z62VU}%nHG4>sh)OF9jQzyQ>9fw|x2(nXz<~NL(F{KO0%1`ypuSkkbfSC^S^1%$XR} zaE#@R_{ITT2@L-$U`sk)cCb``OzWtfTIMBmbfA`D{35F%qp!l(hldBY8h}uJm^`J7 z#1A!r+CacKV-5B}l^F$m3Y00Z9BX@yvX%Nu$3T209Ud`jpf;V==4dw327=@lQleEx^rhZ5Cg@Fpw8z=sZ>SAw*Qs0GJMtVWZ zVkqLtP?h=AJ@M`{;!gcQhvcg2uDhzSO9DcV@Ve$*E4g}aW7{YMV1l}o~W`ou~Qo%I_t*P^lRa8iK zK|@2MWj^=vqI@)kb0Ybzl6mLA(w%J>86CwcGeN=x;l4p3eS&2&@EZ66YX7{xO6E}| zwE-iES=o6oFFz<7XIW@N97zpGu@F5|B`tp@2WIt#3?hmW`Qu5N1ZsN>ofq;l1G4JJ zGUWuE;Y}8DqoY71zzQc7iYKSK;Npqvl0lJFEa@ZY$ex!O;~=7q{TI29@H&PlsI<)G zNNMi}?2j7tl=4%~GRrzIJhzqM-#zUwI~+&xr&pEy37$4X#G-l~bdeFNM; zq9*6P?eq~4v-E)*4Bp=jM(o#K2a9$zKkIb8hnAV^*jUj!+eszao@7pOH=mlj9O4%# zRZiKQ>GOH$HYi4tX0Z-CmH@=oHnfmSK<;yR0T;hU}eS=tq!js0cT_s+dXJ@OUaPI+2oo}rAs<(&88*UH%^Wo-ZeyU z$HMJ8B;7_9>FQmPB_=Duo}#wX4Ra-xv0U5j*o|nt43dhJnxXItsJ*1?Z>d5! z7;t=xH~*1irTcoiQ4vZlv~|?LH*&0l7lJb*H(pqA31e}qsc52=)sEwzZcwk!lcghn^ zxU-18Uu@eSGD`B6YI8!67*%wZS*bx~N$8Q%C{!caDQSdx<`3i8 z9Vpq#uvnir!ckpFTRw`W>QaPORQ+`L?Q?;lRNcJ(ynk*9A_A^d8R<}#SqXBKnML1X zfo2uCue6q5?sDX$%2pndWcxLIWg4h=R=y)oMiG*3gk{IdH@Q~;)S5@d0ilVHL3p%M zBH|UL7Mq;tH#C^McY~*iEBq^TX(+8m4LTx)s{WQamXSib^^^Ul0r?~@NEc2bF!$>7 z#j3llEDeer**7&=luI-kVxQGCK{~bfhtWQn zF5COq!RX4CtCG3M5*NkZ_8=5{D>(ru83>wKMsS4H1|?OQr^!|6+uC8}$<-)zuG4MR zdgFurZG?Ka8=x;5xhC@6Z9Ji+q576k8ZFOW0l0IGk82@t2`>J2&a~AOaSb3?HxuRB zG|j7TU>iCi#U*UZgFW;-HnE$UOCe zAl~pnXCCO}Hwn159MBZRhV3j<%@1lltWZ%Rq?rd^Y=qPJ)6gDaafh_SR*zDuhOPiY zXGBaa2pg)gvGOkjx8BBms7GHFfLfJ^yuc=}CGDz@GjWak@FPCZsg5z@XkWlwTe9ID zc>}gm!aPOGW=MOn+zJ7L8vv>zoJBQfrwpla?E-K7g9a@NuZ#*h{0g3vB^FCh#(^?J z<(MbDVo~;99wBQ4DUC3zk3{*`+p&OVvTe<^Akw%51V4$lZe2EOgI?BUQJMw|lnkoW zR(?M8l}nW>DJ<+Fx4t=>8Ym}3!f;k|!RI}7hFSPQJtyOC;0l%V@29SN31(KpSSmnw zB%@z2RE_6a6soKV#nBV(xl&gNbo&}hhrK=h)FayFeBRX+78q?Ts04ssoS>sB$bWUs7XUp<0$4;DoWWlrWG?kNuDvXIkSbUN~ZDjj+wr0#=yWg!5c5zlt^~ zRLoiZ&x#w)+V-YR9Nay?H|zpR;i>oA5`}7vEdU+xoPFh zl(YG@CC8c09Mhnx=<^~!!<#MaFW0w@iX^DN3zQ>kY??g^n;f>>ELG=+?8(X*dsw@z z#4HE^cu{)rGytC*eSBmk_(x!_eSVYH@NW!!)HpBMxm|ehR=B^X6FdQpr+63mQ(nu7 zdOf0sivOn4@M*>ML*CVu#RK+a#q`{zrveVstJy4yG z`#?wr^Q1E@_ze=$c^qPf^bfCCLncysC7vk}u;R?SsdUt~?f&!c-{+*|y6e_Dii<9O za-IO*!W|rWa1h#SA8NR}n{8@7M)>nQe?8lj^AF}05c|48dkgm?c9~JnD_)wuFG{}S zRM7N|8YhYm1N2<+H3Pk--T&Z4u(joh1=O|u-*o*Z2fXB9{b`!7IDZW`UUcBZ+a&gT zpt=7Vs52h$9-9Rb00Qy`_yHaSIN0xNaS%`d7~*?+27Cf}a3p>K1wuvxhnn-4obKsO z1R{NVWZzG}Zn1%%@bQ7X{17BH42VI-7QAcHrPdKjLzCa@h*G>(-(s)eXYL9t_^O+vMer{ z1VKJHdO0kp*i0hItC#qZRPh_sKn&6w+Ii!LAUr<$VZm~nJq(NZo>sr|O!@n|r4j|P zFy8hLn=;TK_`_kJEx05&S_2ec8^r2YSmk-aYK3NWrjZdCYUlX8qdr5C16tW9}Sy5`9KvFbV z9FKVHa%f@klp)Au_VuMnw7kLQO{rxBIIlZn7{$>XzKoKx#a{93_%8yPW6V5(pV{3B zC{l78H=?*Y3QoSD<1!5?==}SXaP$%iW&BA*!W=>2Pg$LD)Br~l0zmJ#JaYctK&ftO zWWrHTULgX7mEAAN9Va6(Fl{@cjJ5H~hUN%zaTJQXZ`73?O@2f@WLic*u$BMLqP9D? z;1AWT@@x~JOIsX^N)xDWuo~hwmtBqHzoVqta4|R<(nOq%>EKgnA4Ei$@KOuY^^#di z;E%4@WK*ozDVcnwMzdq1k|4kkWqSG;=d?3fm_FW{faC)|cJr|QBMOAGwT7V+j_!GbPJJE|#_s>fuzxx* z8PI{jLBPPkfuD!|abV!Lrtj&&2pI7B1&|2k?GX&3f4_JE{pqrgYsrdUJGHfqg7O^u zHIDV$+!Xxh1#q(QaNyDb%cFcDP-f7b^=mQhgb3S6@u592>M|pqgw@j2N;S6!GV2gHxY92TYN#pBoTF9^>`N{Lgt>SPn zBFtcV;I0zn;chubz}ip}83ce6jbML-^Ooa92~y)M#z30+aR(jMq@_ppu9)issld?V z+a4>ah>ZE-cNFQ7NzhnyPG5?lx>Tpq5S#jgJ`Eax-E#p4FN**GzJme>gN6r(0R6Rs zflUD7dvGKI20{S^1R{DyCVm5lPssSpg7S)vPBF1Hz-4S0mvaumBBWnS>?dsRoO?l{ ze~GY={#d>){wO=;7R0u#hnkgtOjAZ%SFtl1(vxJgkk)KdM zXg4ITF%nKO9R+AC*V9zzpZ3zk2xcf1O{m%@X7$%cAZNJCQc00Z`ZD56(tsptXmT4? z()TKJBS^%mDBpH<*x<6p*B~70r_%8UH6_j~f)IyHfGYW-zdK37$Y3c{^6hsS)h>YJ z@)Vg)FG=5|RWAH0D<#dko4d5VXll^|ky8}kyY6TpM={TR*={0qw!Zkmv536BpiG9` zT~gWMqdK$$$o#QF4^F{KbRB()3AF9Q2^e<~yWJ~5UNcSX`mlE!rcqB{xN^6-V3|f% z<7k`^&&IaGP4 z^pk*uU>yj?OZ9FHET{gsC~d@-(JFdUJ$6<}wz|yq=A6#0cO+H7)y}Oz{qeaiTGOo7 zi~4>=blp{Hn%9WMY6xx&SwdVdwTgfuG*rVbiVpoGmAxvj?}&l(XqDEIY+ymaXxr37oOm>6Fi(t%5NKIHs6>B&A5=E+ZEwi zH#46Rv(CsOjOS*+UaW?O8^^GoRxL1o^om^VQSBUx;}v0W!l{CYKu ztc8?UGPjHLM*m#c2eB%+)ePmBGY(QS3PX$u+GPwuK}HLXG3c{~WGS&Ff_x3VVN!&Q zrIVRnH0@V)HTe;?UCp-m3z&pYzOz)~OX-1DWhHRg5~aW$DTxskj*Kd=)fK>L3R zT59FgPnk22Y$cSU*hV)&6JDp(HhM>R5LQRa5KwxMQcM;BYq)cek1?lDLMVX_4;9th z6cooXiR}!u|5S$$(NuPNAQN^b=76;Q&rXao_Jh zpXIxMJ1L9f(k~sF+tbNn!Mjw)3Lkou?0>}Tg|TtUcLV(jIEKCnx$D(!z(aRhsM>Cx zRD3}g%w{Kjc+tj^LtWSOCGwQsl#oeX3=OTZ#nLQqY-u!QCg=~NskFt&fPz*@UG(#- zw#9a5zC>1hbC+UoHoduYjdmH-dGzicXVF{Hhm;z({0Wk;@xzcNN^E=%w81`^sU1ye z7@pz_;wzy0YGV=-_`0|l_&l#JS1vbzc~gAXa|j!w!AU2zi^25@xc1I%0xgkL8E~zT z|DzZx74#v)Q+Jep)E=BC_(yu9C8B$O+-|%v^joMG{lRKcSeQd>#A|oQi`v#*QFE1@ zdheQu!0!`}gP-{BUjgptWUm0e??`88MaLcI<~8kTG$?u|4?QZU$NQrWtidrFDbUKf z;tiVbIZ<#iEPiZ|uT-GGMQ8}P-VCD1aGC;57plU66Qt0u$`?LBVD<`#9-vU`Fd}&| z%=`Q234<;b4qUf-qkeIpVQ?6Rh?cSacw+vuAf0;8$xd`|ey7R_78-TrW0?1lm0bK% zv`5KTa{mjEO#sU8!F<&SoQ;zQUd4LIesN0)Nq7xe2O}YOQmY;hgSX^wrc`TVn25ur zHHiy#9IBCF&4eegE!>=xBo!qEdi3stkhfMS9pm#e5a<`-nG5P`qu^7R|MdQ_D#3RB~21XNSo}5`bTfZT2>doj*;WUv0J&OL)b`mVGlVScFsl z=to2IO7RpYB^g~f#0ohxeS-{6^!S5T!3hK|Mf?Wm?vg+zz$gn8IQEWOh+16~Dt@aT z8pk+j32@f^5cmS+1d_JC=s>bUmU;oQx;){ah1n!>J-aI}8OCloYf zC{rYZ#RDnIvS-v}@a3dQT)LWm+U2op5kZO0nxwQe zu>%6flap&N-DWC~RidA19)6uisZuE)i9(8+z_$5WQc0v85ub33YDaeLJRY3ndBfN* z{6i6xbte}milSE0K8%GD(gKU%s`tZwj3h;pG>sjf<_HW@9zGeW4zExiHwkKJyzvF( zJ5+ve0t<)hVhR#=HgdyY3x^o|60e*jY}W!dK2)W2&Z&CE+0asDqedK8;9#tiyu5MJ zF=Of_F>F@(m1HC(q#V<07vbw^kn6Wf6VOkC)63!$u}I!(cS?P>J&8>TgfEsV_DQlR z5Df`*<+pzC66=zzVDX@(SV~TwRg30$Cx~i^pXvibkha4^Wg!46u~dXiuF6b|i|qX5r7LBGI95k(V}v-26o=G- z%z8vFw`AaYqimexD)Hgg*{Sv;)co!Z=Vq)@Ix^dr3U`6b&fWT)1Di3O8SxuyL zNCZbI+*1U))qRl)mbFI@IA2c{^^%?TBK}Z+mdHP%*YQeHdIhvRj$kUG))SN) z$7W_0pI>|WAHrs|fJ;&GPMt5R?v^1izaizO9X=EMIHxf`6~7I06YMy>RvENFmM^^B zJAL*p-~9tm_jL$;9K*JCK*5hHwWgG&#mjxOX?2$RdT`ccj|4ueLQ z8z?0uKFE?N$8a?B#xd;mnv1F79cIo1^#S>o*wY=INnE_2FCT2I9V_-}Vu<{E!?V(X z|5_+!5XqGJw5C zB|H`p;1y=23X+J#ejeb8~tC zR2;aiHfbHNPEQOyaeb^#HZ355fl2!xMJ0 zx?j2ej`VsS*92;xJwz3^^Y>9*XrC$0oQniNgmIkSGnlBrSLBljA&>KCenJV70iJLb z)4@%J%nIv8a{bJr;@BfLR!58eV=%3qUsdSD`~8J8L9C{2Hz4s zZ8Q~-FkV$8(q@jX!aSAYSo>mOS{UDdn%bgYlnQ9!5PotVsf4)94o?f8;`eUjB% z_xMI+WWENypQ5hpd4PG<0k2#p>3xT-aszn26$7#Ael7u7%LJsggi7N_1mApe3NrP* zo7Vaq9tL8PK`s&q(Fw;y2g2IrCqq&O>|P&d;*&*8xaP`sBFTxGIkWddwQ8y5?_xt2 zjAKIR)oaJ$;3gMHH@@g?jV`~JGRKjKU`6mGeCXQp3l8H8aO24nxp)P*u~fJhUnn)w zRlw$C2pwWl7l>J2gve(Z8xBdVgcCkYv@R|F2%Y|fZG5sIE)Pjib&3f` zR34HXW5YYNb2i_A&OdNFCTF$+R)LZKlFsI+UY{{kYV za9GD{tT+WEB(VKEeuN&#dqmf+^tzCI;!#effb#uHV#k2iZ}@wa5z$b6xTZ}>vBI0K zkFx9skr_RSfPAaa{8X3t&w@{z>@?*vWDGbHdF@<}kbzTNTj$cSLc0Wu+^2#Z0!V^> z!J<21A(=yMN+GZp&~pZ^Xw5@g&)ks`^Qd8(R}W_-dHs0eloa6CN8wI_0pSE6h6XEP zWbro)=Z*PVa3S7ums+9YC@_59&`z|P4!W%p@0m;AB%4%7SC0QgVN!`>j)P)(xTdiX zLGX5x+5DWU4rS&@I={jT$;RU-s}|F0T$aZnuY3gSeOGQ}^Oi4ke9nSpmtn@h`a+;o zEr$JGe#noC;Bf!A7~lM8fd#HT>%q_zX`e!D9TVgn4%fc^?9r)U=g`9Vl+3RKvB9dO zF~#D-i5H1o;OaJDBsoZTctmY<^u4Q=Yn`(2Y~eC}G?a@H69_}o)!0xRL;PWk3mX%nr0w(*e3;^4C2KTmuo9zGs{(L$g+yAP zylaLv@?z`6h)kbv2miN>0Ep-f(ek`!FF=%eTW;B|yo>wJ^!9nX`(*uFyE{+X>W`>5 zb&oz58w(%p*10h!Pag;UHJ&@&&#m~HzQbWziHkbVHp`cXQ%)Sg#QJ|imn5Fs-zV?V zZt5q)jTqz{9KeKIPE~T8Ced?0XZ8Nx?vBO#W1Sm1%kw)f_+saeAkT^bwhZQ!39xWh z+sV+nPbX2JR^J{6eH*?v3>u+`|d?I%jYK` zpkNh25Z^hdTv(TW;qyg7IsqlqV)J+cdx>a?kc>wN*cZVC-vXjA9-ZgR#jW&5 z-l>A(VHio{3eD{vEJy{IK;#Q^NizyLo<7hmEqi?8z)f_{1ZOhz+PaeXe5yJ=V$!ui zoDSv=2Knyp0ojuuNcy#h(uatZ2qP}0u9+6<;LGX0+mN2A zY8Q|LpE-$&0+oDtEqEB#SToQN{mjn4TS$CM z=*QyJU%}bcSuOS;YyB9Efk*F^d$u$ZTayB|i;KV|5RR(qN-Q#;P`mnJa<1=gB7J^b zO198~UU}frEaI9X?-X$pI^uw0_5=a-<;HCO)^}DSR*WTQ>`BEsR5@*x@9;K)v2ap6 z3QDfJul%&6-+2R{&yIxVNbWm16n_B`KD$*PCLZQ(|9C?Ixut4nyJP(|xfmU9w&79F zNN8j&ufkW>ZLO5qtfpZ{m;9=70hMXF$1TH&cll=T#R1mXTekFmuDej{6J(PijXfYM z4*N_h8B9;?0%&FwBhBk6g0jm-V-}i%LA^-LNx9;Y!kG=|aWVy9*&j#LR1+#F1tpM6 zwNF8kuxV8kuj>Urw5)0hv*wD@Ca46BYmYToPBhmOuYl##O=RXI2|p!kk+{Ge+K6pJ ziU^9T_rpsU=_}wt<;&_&X0f59NY8L?LM!x}N+1-Z$C9Ca7V7zO=@uIQT)k@Qq`f;H zXsW~<*(|8+pb;xfVMZL%W1JvfSkfz)fKuuln`?5q8Mu`%E2uve1yct!am7WF z9OxNzT!wVk4e|1Dl`3A##`eumO9rk9O6j-IC+$s1s> zwt=y3a^N{+l)gChcNuX*jnZZ;qqK^%qLg&mtSZEMTav1}T+EpAR)>D|6JafbYWt=& zp<~02D<0OhZ%p(?Rc3bsi=8aOz=7BIw=;?w%ej4W#$0i%4f~txKJ zJyV}#H<2)K(mbSK%o;#p&6q-RM8GZqx~=E;J#rL?F-LBTziK#VQD61tyHwU6g=)XK4t6cOGeAa5)4JoC&dEr=%m7Bnu2^kTyq4sfZA7)0*ef8 zVb@>>MTwT8m%L6B`BcJ#A9XkWR_OaT{ndPMMPlJiD+_o`Z3^hABCtjFM#WQTbIBC5 zJZ^);Wu=BUp9rAkj@d0{Q)8j`vTgPqFHhk~4QWFqr1wKZc$WY~Bx;$>id{3R_Iptj zeh&sPiRAC)gmpX(xq5(DXLu=9 zcMFwFn;$-N`}xG}+uWQS>>IxzmJLx7;G-CR@bdfn6!1W#c8dta|9bqqg@3pdSWXG$ zcYX!bi&81_5ckVeP{~et^u?c3E~OiA(r$Q7zyFf`!a$zPgoBMD+Z+!chmKM;Ep6nU zSwC=jq&D5HoD0Allf13F1D8#5OhOipJ})z@-eck1lIN7xSM3yGh&cK%i#1xJCfZ5z zUfOpNXZ(p9A;W6*I<$h4mP)@%6xFm%iG2su8=LT@=jby=k={D(V)os9Q)(ZVY)B0RZ-Rl||lhnKtDc;Z!GlqM9s?OaswP~8Vm zo$;j52gbhX$Lp%Ek*g0OT}AFTg{mZ&?RUwjmtQC}(%HbvPvl%94y(FWp`V+6Sz0fg zX=Ombtp9&#d+VsWnkHZP;O_435*&gg$idwS?i$=J!QI_mg9dkZ_u%dXhaiFE9wN`Y z^L}$@=Kk@mwO60o)xWNm>fZZwS9k640Z#8+X0A_h<_5`Ps2|6~2z?x0soXa1!?(#RI&8^*1#g_G>wHcg3* z(u{D|SeGU;K|I61V` zUW@97oHc%Sb}RB|-S`QhcPqj&c1^IN`+CK{J^fy{yj8zUKSQ?tShBC*x|OAkhSug< zc3xVPce9~@4jBbAQlWq$ESCa1oxI-YYpFWi zifu-AD33F5SBZ-#%%f$p>8ULvrI$Xf)vD!~TS&s-u`4iZz%#PkXHla$vZC8j;`W(BJW60Ji;t7oqAX~u6n-5t zn@n!8*RG%EmPa+*kd?qSwjLH+_T)_{a88hj)o#`o_A)odGnNubE~UHqvnOso{ekNxC3ubTN2V*M|h=zjmP6Q;&YwvImdNI?@2zrklF9b zD(I-H;91!^*^l%{VZU_q#ElLP?ia-#HeE10W+e|~3Kw?5irBI>#8-oZ0UdCD_k1UN z#^tT*VO%XzxPlGtV^(`X0LnIzi7GbZQt zeU7WBdLrEX2K~o&q7g!wS?qw)0QwUp%fZ|5o0?F6a_W*&Ixs2R5znM|X3?WgcVwam z+tIh2>+<+*!L)VnaIz}LN3Mtjpx%w*^(0l&1IIM2&2))Z z-6+>{(BoNL>|SxP)Ae93G|WE|^<0a1E^rAtPq!Zvxa#OOEAejEK8woNx&+5yW~IR4 zAq`Z(gfz?i2)4^Lv|wc|n5iDr6AJ5>T3jOG(HiB2xm~q}z^uGK|La3ZBwRP&6gY!$W5`FL&;398ia@$EC|(igt`sTBt z81^BC@r>w!z&WxfFtlJGZvV>(7#%t|%bsdK36E;wy5edvXaq`cmq_6l)@}OPsqIrZ z%QYFtLN6Y!r}LorY)L7P&|nTawELHI$!ml%k%<^Y33WP&lWw$72-Ovr0I%&XG2j~n z23x5KSEmrUm-iP>J+Ea;*Imy{ZAIt z94Yj+-nAqf#ug=Y6=9)w(r@mg)M`NsIpdj_?B&lgN)ak1*HtuS>i*eqe|^R;IFivwY-+{-<|#-Y%a_L>Qmu3cBZkWJJ^ogsFoq@uKh6pY{jhB6tAB}>5YpgrG*X}+4;`!S^$ z0DdqOO}fv8Pb+521G(y@@?vCP+Z8}15akimJIirl zNzp^7x!YCnY-dR6Y=?;oXu0Pd?nuM7y4&i`@@m69Q|&Iqdpax^bF)mEvTD{s7CB6a zr_b!1l4)U9bH760UQsEf!tbLBa4YRC^A)sLDj#wU(<~;dp^b}Malj(--m+JYS=vz9 zo(VWrOpq-`{d_NTho09+E0m^KN)rg02G2#Yocm3g#zV@4o}jrEV{h-#l_`8(lMc;@ zTGTGi`y_LRSqoY#V!)%7W48a4))s89_CPmk53-sCb{!3!yeNxhTU868MCz)qm*CDke@>?xHw4Tbxb zdUw9okVrnGbU+6VWXCvY zxP`=#d_5YD+*DYeJ`cvJ4|z}3;-$z_Td^<|+h;H2n5mO)I5!h@ubatx9WK2wj~#(k zZXsION?VXFAc(?;Yc1O`w^tCrCG;kV)!2?wt(a17$}E7EtRdVV2F5lLyC|k%)G6m& zSTa-dbC{N(#9<^saZ)idMS}P;;{^E;yyk8l8LtS$0DCxzlXUZL>3pJc&&P7BGn-@1 z$G0-M-?L##6hYG`#rJ1XN?H?3(*36y>|PCV^F0>rz*zy0f!D%Nd;6CINglew^gLj2 z4cKu|u7#>Ql7~r?0a~y2;>@$vDpTs#uM+Cjby4qJq#SWnza~{K)@2?cb7i6{bCw|v zuzU}fPzprPDt{gKGKnxwIDlQxsBq_IG-y%SPN)$jHG~aFQfNuoTN<$#EFw|{Yl##@3)(4k{s?B>r~m7=1BC1{B}o{udUx_HHP6ay?Im8-C$r$OUKmx27krmO%b$xaj#41c5EACs}g zK+mS8No`gGzM?W?c$}yDT0hQY1;;`+shmZiT1k6o#*Pi968qDIIKH7m4W<+1*o+vO zyKd03oPd@=b)bIfWHYUmRj1P=c3aa}zMMH!+RlqLEGHfdp*q)MDwAu>xYm*UX7G?xL*Qa8z> zY<;-eOCHu&e%cxeu=ZUUDhg}?4FOF3bXZ|7V*WM?4h|Z))&|J!YF%LAoR9&`ExrUi zrW>YdQ?PM0q`mS*XSbw&shdJaUxQYa;$)?j_GW94=`O<8hw6rkz3C`wUR4*JWiK#R zjI&!flPn;IQ>oXlmqpS|C@7@Y48Kzu?vtaJlr^|IHcQYg&#O6B5gY=L9UvC8m@KW2 z=pBWf7r!Min;;Zkbe=0UQI_7N!6=twD#}uT_pl3Sc2eh3@&m)C6tPs6R=bmwwwV#5 zDK26>;~I_wkJI{OEMNJGInbgG$2?2F|0=zxIPQ~K3`CoAj((-7B z|7Fa-BmdL!xr#B0zFBWF)=euxLY3E9Ww zNsF&x{Nc0qvQ=ky=f!Ggr@{j#FC20&3Y*cQB6oBf{u4malMQr)SAFe-C&~nlQC*Vx zFIgjc8~y|gT@+6fPETrfM#ulM?e&sqbYAh(-H3DimU|1D)Sn)1MVIS65MxI7a9+Pu znt$Cs;5o*Fo9cofntSf9>TNo5-7^k5*^rfbV%4HEAn_(;|6UwZ-a&A%@!qnLq#7#m)roxWD z0dyMj3IUPIsXo;-0fms$p|~G#@!!18R%4;0G$-vj5+xml#gHr}+?$50z%q{-;^i3| zWvcFozgm5(3sTzpU!_Sr@ww+`)qf<0bCkrmB70e{XfpcUpwWNo`>P!X|LDT}ph9nO zco4KCa`mSL9{K-^w)!p82((w22^Hjc1_B%${vYSNU}yj`Rv|?LdsG%d-`L#G-4~an z3e#KqcK`UPc}oWJkn!0;h{cJlh`i{E&{C0^DoZ8w7)`pblr>?v(Mzn3zLzF0qt7rO zeRCjl4oqwgQVEB_l?aAV14mQN!V~LYrUZgiae}TQfse1n1Q1&UUO9tC7WFYrA0Wu| zFg*mz7LYxniw&(-e51szC;5KLC*>m?uqnyiRuZDWscnQPI=H237;crKB_FPdM9H5% zhAH2@R9uLhm=)8+m)!DW-;>SUo<0u4r8yt~3W2xC_b0#-ppjMK z=KZ)J5W-knA7Pw1`_%fF&Cv4$#Y7CZ39abB&Z!bn?%6A1r~0nB^ND%LQ`6CA@oeSP z&Ac;3pcSl~eDH3Kv_Pg|B3j2OOI#R;Ob#*H+O}WwIEVNRi*am28Ka>RS8> z2%V#?XXPyIb{n+3ZSvt;!I}gHa=C#8=sN3sBCJ78oefGL@xw3tn#7pwxnIcNb2p^q zcb_8DT9k0-CO*jh6F|#YwDFbhN~k8X^eysO65=FMDP=GgF*UTjQa*yi@(#t0+#ZuV zP(G7?C^2M#hU3g99@>6K6X#vzEN2I?PqEf|+tV3ZXrnM15;pgdy9a7+6dGXAnO-_>{J`@I*aYP}xV3i*t~Kp>5%5F&2g@0e`@=l47}n7y*&Zes zm|vLVk8^tiTV}|qZv{?d>(Bw|M%?8v`=iumQEP-ZQVRQ_X6V4a`r@GvK40sUMu7eH z?FRT@ROL2qjb)=xy4R<`SV3f&kGHEqT$Lxrrww0S+El$vIkJ8%m~-Lj>F~9}-Ixd# za>1MX$=DTvJh|otj3*n&ivlU8yUq&g`^k+6IFHA?l%=pU&N-w6TcD|Zgu&*5 zr~?*bU2yXdtc(r9ba^SOBNPzf;{|)?Y3W9mxZQ4(&b7IBvFLw<(cG)Feus46E=#4> zazw7So`gu9ttO7Wn_n!uH9_Z(3PiJV^VtsN`-B^;-*~zCjO06J7EJ8cL1pv? z*>wRWEa#>&`lLPmX(V}X4?QbW%-wAm zaNt$n#-}V%X)oXRUiET?B{sR_29a4#Zd)lvnRJy`@K-yM0Y~KcOdqgZ(*uN|T@MbF z1a=U8I-I_=ezL>(RZbO8LV`rYg^;}1h0pbx>&aN377iE}%HQ% z+FcOmVnZ7O8$ce6uMG`d>;?owp-^%TNW1r_hhq(2s#3*@ALE-V+OveL&SH{72Zu{a zvX)RRc3RncSLy&X-!Ia#@Y2^UPzBOQekr|CQK{79InK}y)uKKpZVbErDD^PjGGqLH zBHWSJg+ntNMHp)szAq{IxSa%@%}*aBS~ZqnUjWTRNv~JCUmn8jJf*tHPEv=rS`Hw^eT+ zW8%k|!?CVCoptRy&XbQ**j=#Uo+fy9qIk-1OsoYIcN^EvPLklv6D1HV$rqIkRoLX^ zBwsTJ$XbEVrE(XUB>3!Ndrhp$5&6#^LGhI|mmPcR3U*lkzOux$nTi+x>7`j(3|!U&_4 z&HodB!}spyac&IF#(;jY-o~%9Vxuiam&rj@byOBN+fE7`v8ORy5`u*7P~3ajH_nIL9?ID$rd)4McrvIksh#)nyuA1oyB*W9H~oKbYk zj&duM>|GKc7^j%gj^WtJ_722b7iE3ScwEYKNL^4^ll<|);jBVdX3 zBZ>+~RBmC=HJlEXxTd8Ip_VB!VE{I`L zAe4=Uzt`D_t038xyN~7r- zSFZ-k#3zFTAESH&I;LJ%EZo4kULinntLSNkZ5liD0b~Sx1fkF2hK9U zDmrYpr`&)WE;4=`5Fp2GHP1K>0~mO<9~Mh0Qa4uo{T&oW7kOeRYPI348SjZ)6f0ts zva&opt2MxkjI^U*CMWFP6KB*@*=)8okIHh8eyuk^rtEw!wKlMY`Qj-^B#3}zwJ=>j zC(B@5(HXLfNV;xRE=&5%G%j5o@H*uze-44nRA>$b-T|C77BO@~5eNOkh+1}^URNn( zH6^_%j|Ae)nI%Mk6D>?e$uMLTd)dc5K8Fo-Fro-dEV%cgkhYdFEUmupFnF?vZZoI2 z%-?PdF%N`a^WM68&?L<&!AFU-m?%Nx*fEfsVf1#?NKuc&7A(@^6O69sP*3>C9M|vX ze5;hi)5D*dcVjl;%6k0QdizZ*Vndsp0|n{clOc(}XE909Jv~u{uVJg|JPv@(&8K!C1U@Mko z5b*ouzJ;uGuPx8{+LjouRd7BOfE2J;iE@~>!lLia%jrB86#D-1_7q(6xAa$o7^z?G z9-rgK?y#^ZcKXW(XjegMOMnd*7^J@$r-#Kw{{cr2^cb%CXog{hAmTdeQr$@?!R^-M1e-CDsylR$ zF`5i4AA`R|Xm{c;d>J^O!uI8XjqxCskg-?zbmWEnES@@M)EfO}a6jEV1ZP&CTQ2Tav#XbP8lXKO(Po2WD!xgE8ft^$qs>QDAwH4Ny z=^a}2kZp<-cA!AD$fLU@r-#{mX5DQ-NND{N{3SsVEedi1we2 zHYCJTAYE-Pa*cLhQDM~ELj+kbtrzH&dA4dSWnw40%6#}CkZXzt;XOeGl`oGC8EzjPS${6S(mK2Q*zJLIxAo!60m0eBhXr@0JI~I| z28>7?U7{+hGI7_@Z?$HkTWcU60)FUdJax=%eD9`GG#PcamV3UMxAC>?{D2h<9XR#W z9>zd$0&&N%{oFG@Zt9A&eUx(YIVMg--3fpXa8$5yWM8_v3-l?T;p=j%H_-mV9*`GS zDITgpFFf?kb)|Yc!(Ip`^XU_vAtQU$w@~&Yw4E?WKW$l0$XY4W*050f6vZTUi2K|D zz0j)TsE1v1#nuES>XYRt8?(*J5)l{hI1G=}$tUmyl1&9c9X>(w zdRc(@2EmW+VWImJU$rOUsWi;Ao@w>2qM~s0Yu*?QLwHYwUQ)?71wX|fxutgL)Tx3~ z-xezcv8#^T#&h4_PUoqynKWWi#2(%n&k-brUY1NZKqt!=;&^Y2!1G8u+3-Huey2C6uf$!<3dP~@Kqz> z0H#x!8!`NN*_SjKL$@#_7lqg>C{poU<0`B>32a#-?Xvn+ISF^6lwyvgA=8EeAdSQF z#|@#{o0B)nvYc#hzPgJm*UrE=AE)fUYRW#Ml_5uQoG5gck+5=XWvm5s*ZabGfv^fMC(cbR(B{?%OM7F zptvM0Iq={yha3d|K~fo)2}&Em2&xsX2rR7%hB z^xp`rzUrNNhd)=<6|dEOZ^(9;JzMtf6*f*ojK^2d$)j4w|6c#$RIlZOvab7q{{S~T zPo^#rbi{)yb9eTuh`TA&0HEq?l@Y=Cb^qLe<=)NQ%K21Di`z%eaTgeCbLiQ&x1A>{ehZ%S$^k8#vs00DS8K|sSqK%RP+U)tr6PFazI8mN?^kI}d3`co3>I*dlMqtY4jdV{Uf_pAH?(`*tT1M*F?Kmi*gq zen?9K$aMBJ&5xyZJVd7&OXNnY3<7FMpEq1z&0mmLQ6b{u3T1J!kzkB0hbL~5@`;FM z_{qBqt0{!8k7MF>Nt}C%NmyKzz4NeCRbUfXe-w6^(WQP4tYH=tD**pN#;PnIXsgY% z3p(WyH&&^vx3>HhYu;wOYpcpCNN3xYlIlJ7iVF{P9hkmq_>nMAp9ERD-@ysV6^Gyi zizRq7W8Wo@3X`dE+pa983wL(-hY5e!8BW7I`XLNPS=8fXym}~M7_dOqfQNWy zp-jergHK~Kg23_!xbGKURFWX$246>FwHixFV%~D7)c$PhqNpK_cypg&AsH(y6i}0N zHZBuTu5F&#O3K)K2(g2OU?52vu!`Wu(O<=8sL>iY((KTmx+H4A$UeJmUq~$q2aP_W z)ym0+{@FgyB~OJ6LTYs6PB9-0VD7BMMi&^T=#oo?+7C%TH_j&cA>VapD)o9=g z#^P_N693;Ohjm4{oMOJR%9UzK+6q-4gJ&-v9G7n%LMBNd1X1SNnN07@yZCQ>fy(wQ9~rl zMI~IYspq&1UloEw?{q=kj>Ajiu_9f+ff7YP6+Rrvj37~I8pBMp*cbeYV9Kt>t!Ifj zLX8-)gZPGHy}r9o!cC!3h|IS&RfgDek+b;&lpSt@YG_&NKRXE+UO(p=k*GetL8&c2`5zg5xIXY z&Y#;L9Rl^0KqcM=a$KX6-t-3Vv9x(w^FiX$64`@imuPB9ddgbTo5F3bAy9~~e+SI` zbEaW7@4bmx@g9!ICQwsm<`@H~iPw~|wIbigz_67{hkFMOfhZ)| zVl8RUUZ@+YFG1ChvyhtyOKO5Xmf<#cY>*>_RODj^E+IIwR#y2sk{v74aNZef5&WIv z(&u{oO%_|Cq+xC`9+$Su_cDX$20iY(XS^!oC~5@5X|*2c^{(Zk8;UYPjw$`xJPuqy z50%#{af^c&ITyl>m=1CNEeYH+iSucK@rzI`h#a$OJrG^o=Vh7o=9!1@58gfKr|{9G z<7)DC=+y@TgP^6XWI>eVB7 zzz+cu!0j(q%YAjfCvymwef!R!|H7cv3ZXC2R!f#s^&3pf;~kU)EeAiKV3$7%7Pd)= z?$2p$Ez5%0tr6u49gyrv3k??s5=@^IW#wZ!4F^ixYN3TIkK}7xJ&KCLkUTKSHQ6_> zWtBo}Q9|*@aO?3at)QX1t(t}tH*LJ>9dPUCMBUk#p(o|>{aWYz#fTUhq<0C4Xn4-KRX%elj|9-RX@QK6=syE#}AF4`n*4=z#Z z>gvyzgC(2aBYy(=u^n|8yg1D{F2(b)0G>5UFs8{dQ@CwK*8N|n_c4RD?WL(_KFY(- zeG$sKE~XE*e|4fL^6**Av1WXAx3mKqZ_<9C_Az{l%%(QlnSi{i{D{2UC%rC)7p{5M zAkyt80H@>-%U?twb~&oM_mI|=81RIS0NAI(M4Wo;%)ZJ+gzJ7v#TmIfQ|K8CXD-2T%Q!cb z`R#N%i<98%pNt=&N(@ic0pPx^V}`cx;o+XpxZwmfH7T*&>(phN#B}E0vL5ZGYaMrZz%>`TjPTS^tYK@U7Eh zj(^tGn$#&hu~pVHA8qL*Sp_l=&(joBU*=j@xjNT8y2E^nC<%-CHuXxWTU?|H3?a@Zo^BNm|0?zT1dYRL? z`6qdkuP4zy4oQ~beUBb-xcAR|h6nkQ@@q;d#9}?3Jk|7B&x?!;ZOu6VbNw;dz0@X8 z`b^k}?L|*${^-OZ<6~Xc63-ORcv%$MS5Q$agBXr$&-M_jWMOefl-;Pk_2I zpXX$+!so_PDQU?@oIn$2y&J1!mXodm1>y5+O91I-g=HyAueV22H~^-yPLZ;t*pUth zn<%qrVNB{MiIt9gWt(PhUdILBibKSUGBH`Wb{}gybr2LzviYi8tb2@8#%vd^ru?v$+6vN3R{%BX z6dX%7r==^cii6hDk;Gb2l$OFKBoP82F*o|#Ap&K9CHtMeg7$I>OjMqK4NnISvJL_# zWt%OZQ%=lkL1d2PUa?3-Hsr^WJk|t0&~l#RHGFlr-9a!f24juaMls#4h|#mxC*4VY zka?R~`5V!g`5u2j4icSqK>mhZF5S8R z+qVb1UQ&s4$u3=oS01FK25}y8se6`ijY$WfCrbN!mRs-EL&@ekd`E`BJ>w%>V>MgW zcu7-aZlVX3@BGK=x}cAsL4yfnOHKKX=GK^B=SI34JzL6diPF1?WG7lQ6J^U;f-8KP z?)m8XD)mc-RD7SbmFwA#2$GN1KnNrWlZ9ye=6OGz_9bTrKGtCJXw`wDji}$+s*@F* zT$krhKv=Q^#?!IR5cmay$@cK7NvT9_X-99cV$ZOQotvTvgM4x7NC1s9iDe8~u445V zF%xfi0T8XbY#<^whxc@l5|{WoUtJ^DFVPEUahdmm8qQ8M>#2SMQj*F{ zYKdZ@=kK=XGgNDMO3r@ND?@Hq1EqRww}h0mG@7V6zMf05^>*i?ODD25=-XKG)iIGO z1p5of#JD*pUtII1f36TP)Zc%$PH%idoX1Sni5}T@APqe)DwLt~Jv&6r*PXTk<2_+r zSpN2vD_d_=gw>D%Ho=mxG_iPf)dwth#w5a2)eQJ#FwFyxX;-@FLlbF%pB2mc$g0uE zukAPpJcLTPS69$ZA1nLx&CPm(To)-pfn&T68P`(5xFGJaWM~{ss$jZ*xqz*g9vY8H zqR8gF|7ie2wx|b3fg{BZ;M)KNUImztsK+It1v7 z9TCE5NNy*D>e~qCn^QSy*O$h}J1YS@rzQ(;(tfG|=SLeK3D6$IQEJJE6K23T%ct`` zrjHq_3tw*^$`jDi<-tYDQlUm2hJYPZ^`72p%~cv;Oi36K=6jqf#N`agClISE87f&r zvo32xpTL-?*||h%UUez4}>Y9T`!Ag1H zkFUD^jsqzo$dx0Hq(3G?S+T8H1Y=zOWbX>&Tt>|{JJ5j^#y#mGCm-LW7B#{2Be0|= z(TRc1bJRQv(z)QwB(?Qvv7L9Ju$%s79lOod@TOpbfsTQu>@fB^vQ(D|e7Z2EFZmR3EM$(XprHqrIyYDTJX9j0abF@OLTkL`9 zs3?&j)f$D0;xz9Cd!5uh;D0DlCq@lt6ltrVcolefEs2z-#h{3TWI;U_ijOU|p^Nk= zgbFo3Q&ngWSXIKuYCj;O0VcmzaqnMjT5zW)fwGx3teSyH-d+=92r>9Q*?*p}b=$w(Js4tJy z#vD`EOn6qf^5bdEkiO-|?Z01IX}edc|SKmkC@U2bEW?Rv_{WBn2-~ZdP--xeh5O zH38-ad5609nfQu9+>|o^$Qp#O|xwm==`Nt zTAZ$`q*Qch$T}9rZ`fi&kry;kSW%3-5Oq4?)vJ5CtnNQifC>3xJB9)52FPU)?dZIO zs<^z(RdIkrYyCINHOw34X<)BQ$+v@mrmB}6b*zHsUom*nAC$|drOKrXuAb0QlZ_K{ z9fir65C;PhBG_ce@f{;+1vW9v77`j~0t-K;io4Sb`AzzY^{+0m%JLfs+%sixd_>BfPTGtxk%(OGO_sD3VLMXUjE;y% zyGHmr&wyjr+j6Nofy_ST(n<`hiTy*o#FP{|byF?n9ET7TVjf;{G=B6R1|qf>JdF+3 z2>Ai82eS*_RN|@P%s1aeh|qS{fRbDgYeaIb$AliGWZJDq63@pkm z>r!=%js$b@=d@%-bWGujwEa81yacLImns7+(Y!u32t7>I_I(S9gg6Ogi^#)H5qYw2 z`IM?t(ChCszgKuKbe!lpSGCNKkxN{$JbYQRI{Q!je;5wI&VRB0@cuGpARk7)Cwh-` z?CCjFHLI_d?9r;CP+Og;-qHUnyX@Z?txn|`Fjg3rzh*$X7oCJJ%VO6AKLOg*ecMyK zm#0QjHdFQML@H{64nhre-6T}nUkQ4i>`B+Y2>3COz9wDK)Q^s23HYL8XrFU3 zSbxg-VoWMsfov$E%yH640DeQ-Uk~qY-B={5mbNsMf)Nb`%FB=0KD*|ueBe6$V9{{; z+>*1o@4?pYMZM_>~1`T_a@H1(*wA+Q}-s~YE8yINB_QHVVtH}{S{Q?Ist zu?o#ne!Yl(fQmx$Vg;V8&2ZDY5EfHjem zX&%PD9@ecXXcY{SfX!MA*ug+D7ZbuhEEI+&aJ6WOZE>+;w~->{YRrex0&qE%9D)*W z4@wN&OYT#9$i4UJpi*5kl@d;5f{Jsi&e?*8QTfiHrG929Eo)>Ma+YX-aUOJ@a9QLv;^6czO?o7GBKaK8vjusXgfmH1ozt2 zbCvtczJ_0ozV7dRuUG#t@V(*g)N_)m;}`ll`0sb-0WZ#QQLiWY|6eYi*)E>TP|R9+ ze$YOO9TZx@k^d$+qvIgsWiLPbBqRGM?-7RlibJzHt9uR1hF~^yzx?jf#-~i1~4n|KgOl6$JhXcme$cJUY7m2OK(l1H=Wv z1wxb?eno?jv7;}D-}vh)=)a;tK*q%LKX9ZUI)C9gLN7)74X^P*1?BiR1HPTe-+*FPcinOxA$+&KrQmOQh(I*&;4KGq7TvWFa5uO|5E-Rng2h)kXM*cU9WA<-%`;EDRNByJ930Oyz-xwaU zNkUL;Z8&Lc;BU^Ku*a7Xwg_K|0;guKfwRfu;ITR0RE9YK}#dge;tB5JIVif{#VxHERG<~KiPrm zfi4Y-ec_A%piOvY!NQa$7`xuRwCI(uobA6LL7WR{C?gOj8l;4`$)fxh(VZCMJYI`A zFWtkxEPC{>9)73lrK$Z*Oz``m@LvuJVN5dmfn&bpHR0_l|DTF+J(%&rf4LAjLE+#_ z->LcXi!(~-_$TT&02KbsXo5v~l7DA{5Y&ykeqm-O8I>bJkGg-5{8ynIe{NAouaWp` zkullj`5j?EOhzMVR6{YqzX}HvLDFD#@FB&fTyT>m5d z*BjyY?Tb?6UlRU#@ckC@4-!QDo4S7keyjUG_s|!C|5@FazvTRueD$xr;urtlz`x7$ z|9SorPWQ2pM)O>wJpBfM!v9Mr&HpX+PxwE={}K0#_}{=mo97wPK%3{mAt9kbUwQrQ zXB@P7o|TM6=z>&1(Lm7t*Y^2oyRA!9{eQgUqyBJB8wE(s%(2>2AQ!zti?Nr%g4DhD zQW}xN<$eZ*h}_RE#a6+vKI?7D6iq)kz3GizQ6`G3P-BN&Xe|;>9yxh`FiD8~xQ7;n z41$v}_8yUdmq_X2Jc$Y|#>zrtt$+Ufq|_txefnsvBnmgOx+uty#5cPo7~Ocbfkd&_ zpj{Vxh_r~bVCHU95tYv5+Y-WInF;(PB&|nn4;(-E7?lnmk=vzwW zq>O@*C@pxXYlqr{h;Lh9We&E|P-0}h|DcN{rIV{SuGff-(AnGV12IcU3F)R;_!G`Sw~p`Kkupw@j`tU@(8OeZ6X>HuMmrv@%DN&H}D52#=lnQP>va_WWAm zxdvmF{uC3}c;ekS?k=DlQx0hS6JVT4mxYKlne4UU9WB+57b%B}0o{G|aP#(42aH*< zSqPS2mavnht+tOgd>RjFQD>ffU*FP{HVK^}DhESx;^Tfk;TW)(Kc zf;kH4Q~2K6((2r_gsEtNA6`ffo6FpebYvph0K7l4UKlx|V{yD>;nxTy2}t*6C5Zs{ zXElp~WX*04yyU}~Cw`7y_N_w74KZEEs}e{L2H4ZWfrN~?_g&UU`|U72xiq$csAvVV z!95M=6@6uJGmFD_EBB7)&0TuOq5;*Y09^U^Yr>RZH!`=CieO%XRb%k5HN+@v9^<+N` z?)JM5b32sIc8~<ST7bO32==(L9f9tM4(1r>X~Ov)3dMr?eCOf5?Nx_ivv} zY3nj~elhXg(~5P1tj8+o4f7Gn)bAb{K`Deivm1rXEM;bvVI?fvq)<7VETp4xn+c({ zbj_$0)Bg;+fwg_0g-i$*g+%?i5@ISR!fxX2DxvOw2>vIBe~7l1&pd!mFTH3Sq;k-Q z9)3N7!O+M6zfLa+`l7PL=7Ju?pS$&^FSq{X^b$zrXY(sxNa?%OSGM*M^kPuCsmJ#p zF`vTO4!QN9%j3Z}gjFxg8i!N-TT%%44@I0@g4e({-tjv)0SnG7QhP9rS7irlbD}Wp zY3Y4yTPsGaSVHM5Ho;p+Y3CKzz+W}?d$f6afDhIdWr-;?TIP9X6E>8ie(I@2=Ct-Q zqZbFb62H|MYzNPUB=Lp-O(}i)89h2nt#a(5z=XVS5Qc2RD16(Ck$s|Vr(Qo`n@!>A zA}M^w_fZ9CnBfy5d4%3NJ2dPhyE+VQYnzvZ`n{SHQMOd7d?oBU&+_F0=9bwnmn08U zJpPI1B2%+R2s$hu2bpV%)CUZ(pespX3*)h}AWNS^(nKXefy1k?S<`l~FqpD55I|@F zj#v}AZQW5NV*?4LYpVV}%gKC&vIjP7Gg!dmxTV3R|Lj>T-`tnyI*9{&G>kHU_w1`F z;}kdaGEOVbhWa%G4(oS+AObE(mxey9?U%pD8M{&GxEcihT%NZ+Dw?wQk z%0UjkqM(T21(^1q0DRuqB^i+{CA$qVN@z7-!pKFmF>0qCv>RD!u~+!1p_J{~G3;Di z98G=i&?Q43obKja)TOd0V zIVtrOSC<;KtWxO7(|8NCoxaG{-GevNfAP|x8KMgYWHc1)9TnT9&SHHMiF9dgfp?0e zy;ZyAO3Tm9+EpC_Z!r>-r`?4T?eR~OEKMpsf^y>dBpG?;^LPlMJ>na!aapu9EvN}! zxnd5FL}3NF-*6i*9=@snnU;7 zd8h5X4jD4noWS3h3V&ig*%5<8+a&cyxya5*e0(Q;%X!v#98FWD^HEbuG%9G~Q3wi| z$DD?>BqY;0I?dHkK7)StH&QG_;i~Rb|k?vTjHw zogu5TK9AdMQD3fQ3N0k}j@*>y3bxIAq3&9RS2E(baNV7}5>fi$S74_Fw7JEUkI_uv zfIN!YVzcAmh!kY#agAOnvOe~-3a$Jr9`k_X)mR=_ylHC<9KsaDVxOr`iIVVP{Y76Q zsX7@$fXdWvYcpde<~vw0Nc~{%zX-iGIehDQf#jcL96P;b-vRvA}`>M%DoVO@`u(Wo)La!r%z>{3qCR$)3?zjKb*INL!5w>r?36`Kiin|so zuAxAXB1MZ7XmN@b2@s^ky-*wq#oeK3@!}2c?ogz`-KB^3o&P!CnK|eCW_D+?v(F^6 z&up^ybLDqm*Tm6Z;#}baWFVp3*Z{Ua*jV(hjP~msZNoR28wD8et}~4~MhQib@g>}y zAUFoElT~V^8w^ls=y!V{PPV4_^QIwgOioBMtye~Ti^ujdi&_uY^N1}MZhby$~T4FqA|?% zX*2xI1K;hER}c}Z=jz8N2%&xdP-A)5gMhu?E}Knk#^7gqwc^d&RuGX(KGsIQ`u+u2 z(Z5wIBVmgG{aIA^hc=A8YALg9H-E(DS$)ev@Kbd*x#~lCmkPXyxx8FeQkmtyws!mn z;9DM2rP%69bFvWWMiJ(eSwZh5O)#BHyhhj^PmFbW_UcRa;`y8V(q|SEWG7F2vX*Xn z_c_O|vh&;DS1&eY%L8;hXXy8vGp4AG{|?n}_=F7k#e9o9CUF~W79upiY%OlnyO~*f zw^Dnf_nM0Jn)Ao|;O^>2WU~?YRO6&!?9WIehO~6w{SR>6E`E{1++NR(dbtXWQg)>Czi~)e&~!pXhOPS)5A{m|>%Z!=csO z=*X^Pw3D={>ma^XY0>A9oiRS=96;5nZHH=OUVYFDbulJ>JN(o0@pWDla~C{CsJCh> zqdjurO!NsbRb=|SsRYzDrFwg(uvnaZjo9ug!-YqH!pARH2JFF+S z%)#h#a?M-nw>obC6}&uSP9O8jwbxhA4F= zbvQxcfE|NZ0!`5iLaIdaSf?<(uz?Mg*GnuJWELNLZWL1xr$jbTk=ixJd{S^w=?|p zS~s<+-v17JE6TBP)d93)PM)R`c2@HOm^TPKAW4K9%5ffXE4F48 znB?a6<8TI5(&s@t`K?eP!c54I^g$R-9d)goDIN`ZNu^2BykRA7GNjna5Hx!K+{pNi zCz}*QzEc6eDTY#36)dllGtv_ZW$1}J=zC;cx(6w=OE+wlunNXz()p$Ijy!#SX`=Fs zU;@qGHGxSqITkQ$Whdgk@aQ?IXlK~|RTdY&4Hr6f!AWJm-!EU4hrLsiBa`@lfY0~I zce9)AE2(V2*OB|Ry#tr zRzfZvZeF~0BO(g>AEtUkXF`I5*ce1se3{Mf=JP+SP3G%Fa!q)o#fv# z@jOxMrv>TLML#_8^0mquADDpd_=@ zD88=@2WN5m4-2fI`SGaD3H@gRBB|I$?E_fZ0&~YJQp#_s$Q(BDUali|Zp*T(>gRg+ z2a!2Kt{CykZ)6Hsn^}955L|*8eZq_CXaEUY77P|Nj$|Jxhgd9~*7TR?Z4naj8S4gG zXaxHca6VJER>De^JX=>PGVb!=-^jRBw?Hkr*Q`AF5*WgT$6Wr|RG1zUc^4l@<%?*N zUX6d`(*84UMf{adSdD3Fy{X=`^IZ+9Oprk#9Ig$%wq<=;!LUW>0DA4)$ojMIw9(}j z?V`)Oz5fE$hU7EfrXuz&|6gNlwIV}2|2reR6Oms6v{?ZXs6S?`u>SaII1LJ4E_(;^ zlwwhA>l6;l7Q*DTvK2Xw6+6L((V%}UxNgUU2QPN#{dQ*mo)d(QUz@q`j1P{r_2pSv z9Q<|ByK2o8nerbZqh<07JxUjDuxGgzRGyHreWpEe@sUtw(pqa_Vm`wd8o~=w_ViLy zo1nn*5j}48nUw_^zLYQA&*CIf= zz(cB}Pbeqgs++SY)hNlirEZ%(G;z(h)3YXLylwR#WjkM{pZ=~lP)m~Ey7T-G92d3L zU*<%$BFmQT-|&vhaWl1k-KqZWa5SUHhm<9ht7M#3ErG=c=Vs%0aw;k#8(Yk z^oRveV0O$@jvi~wUXT2jW|g3hO~J@1tD&+TXzRCu5&Dx7@ zT>j8q?ge4Ao9K-s{j7TbxnSfhZTIicmcjaf!~ws@h_oNrE(aiPWDW%r-eliY@Yh7m zzv-h(WgxT%-{W5}vics0o@!5>zN&;deQp?4cPdL}o+2SIShfAy=6rW`9_~P^+u_oz zCo0z8EpeAdu$aGoY3apVWqcU@oe)gro~g9jR5TUki1ax6_0sOe05^{m)MTr@h$gg* z8f(w{>!j6ft*8*6br|PSUC1i$5o+q00C&k$d-LV^L8O~^5$D!4hQ3g*?t?el*$8uN zqYhv5E@DMYj|rZt8C#8g7Q=8(x1jm0HDAMwUbLtPL#Wt6;;V+xNzHA|CgB!*%a|Ck z{BR&*7?zxE={fPdiILR6V{mn?UGX}wS*q$)deNO!J0|{M$iQF%D8sL7cbF)~^TPEY z8-tLEitaMjjD{`#2`rtXck^kZ$n8QQ46Ju^st%3MCU9bhrZZKuJbqqSv$#p^JycJM zUgaW-Gn#fYgo5JT|F z<7Vhr0*#RL6zQU-05m2`btyWmodO}uu{b?=tFd!tXznD!qQ!G}5VaR{n%&;X{rm{Xy&f{rU)jl8nW z_O@OrG&k{ylk^TzxqbR~w}B*P7|r11Qlh_Rk_Im3$4&5}G|GDVW72{56<#be3dZUp zh|cq|sAxVAb!d^6T5z`ABZ;LYfm@D_TSiN}*x5FD zHih^ph;MO?kH!ym4ow&d)!%xYG}JqZ?NvI!*JdN@yNlsZRSo!5IA!kPf$@tCHn|RC zccsDOX~FD{)Z{eco9f?E@+P zPm!DY4)$pKcXeUvChp(R**51FC+j$Q*jN5j++B++(0cV5Nv+FYGym z{~Xxz(0%tqx3bJtFw<#QI!tx+?TPi^jZy8>INUFLY3;eMl03=O+_N7{j;x%w?W zL)h=+tG62(lB%sd&%cBG@@H~v_fn{F(t@{H2o1Tx|Ms{@k#fW>4DFdlL=0j)nTV4h z55*D5&KqUrk)Vc26M8-HPzT=rxT>fs*UBY{8?x?a=PF?g97zmUkj!0Qd)TJww8oPR zecqyoehj|F%Fa}^?g*Nnrb(B7lpJZbW1a-Q4+|1-O%XXS6LlfEMNf`lxBHzF`&_N* z_rtk2$c1Y*V4v!-CMJK}_2CPzF{E+F0@fH*w3zkt%XXL6lTz&Y>6CGYS2l9(AO;^p5IbkOP6DuM7NCc zpQLT-PW0g+5EqY=JPcB~mLq9<8oTyDP7~n8YK{@VcQHg2-H3Dy$V~%$jzHsTdvGJg zd#R=LoMlvl%Hp?Y|67Fo)n~r@%pOd=#kb+=B2LpWO;clLa4@iniepNLqL#D+)E}v+ zwa$w<7)o#P`n|pW8>E<))UE3-PQa478r~J7P~TPYr39)bWuH<0-1hBf?zbI>#a^hm z76N+fP~hy-UFen)7ozuhj)pv)Z28NGa%{=^%bgiq90rd44W*+G>(Z;fLQwz3-!Fr% z=pbpS>P=1G@2Negit7HPu?p%NyU`ASHDLbV@DM; zr3_v}?Ghar!JU`bxg!zovd<@#@kd^kY_>ba@6Ab5^tC5MZ%1B-Yf3PW_AANkjK4XA z_^4=A&a~&fHV1_C+>+hd^!F$ar6rd-{W5ZU{}MLxvV7=khd?V^{f-exloz$v21rX`Pa5 zH@>#ZMn7F0)WhV{FIks%jd!EXSRDjKWGlyJgk6*x#ucEOVu7gcK(KRVId>h=BBP9T zqB&zIXIB1%Ufl@%cIe8_df}A0Vwhu*@}%MJ+R7NH-_o}Ai(@2+KMxSx)PIl%=p+PI z445sP6$c6=yO*ApR%QhPFWnjb&^?}Q$ObxI)n;2AHQauDB>#VQTgj}>$J8%0fL@oY zX2y=VhIqXr>1^ONQ9;qpfB{BD+92CCi-cHN=?)s*szZmB6uC z_TS2thzv$Gj%qgv;W=uG%U1{7`;MIkF)n9<6r%^65QpVhI`4 zj6{%ZGWWO6QVak#vwIuzfsD+o%hV?yg^&LLwv`WsIgn2NrYEL-=GI|t$UO4PaWujQ zo|p7lUMAhm7MJMD^5*=z}l*X&ElD3~Cg)kgIs?X_-Q=w@vW& zw|8Zu&l8VV_3CZXW>|g^UtG6P#z;TgnE;0euCTnR9)()P#yS#6_1T5<5&L6j6QYZI zH*Lr~|!Us^|6BOvJ+CP`jtg6rQLHorV|Oibmdj)MRVl65oL7R+9s zS7^;KHPTuAy0)RXhV`e`TZ)_k(|Tr!Ci4p+-6hcD(9!!+Hd&?^U(yvX>yl0C-IP` zs{&iJo!ifvb-Iwp;~4+VLKtn+)%A-GiC~VqLVq+N5Ci#g<&L{)?T`+Qp@}9Z-X^M}3OwDtO=V!xjNMi)`6n$0V2>Z7|Rf2+I(lJPHK{ z5E9^HGj(~vw|o~Hr!3RK{PlNu%$&qYK5jUxZvAwIyA4 z4mF0!MOS{z31sd|mYgvbH(4NhN}modvhV4*ungY2Y@yt)LwbYe+Jq!p-}xYvBK`p? zAZ_22`&z3yGJ4q%!PpSOos+AV$8@n!FDYVphF^uS0ZH8APz$wj>Mq~&eWsl;wVTJ3 zk7?K@ji?VYWfm>pBn*1hu)7Z0ImC_IzAf59hM+OerR9UkLh}!rE}b3kc7GjAJ5Kk; zPCuh1yd^DK+BQQ<^}O8Unv#3mAm_P5Ee)a2V=}m_Ta(CK(1KlfQs;|~Wz)U( z>D?cvp#VUE4aNQ6$j%Z?JQV#kd$Iht7R{h1M_uJ&@4b0&ImNmFJq+Kg)Hx5C7hA^U4I{zTO8u>N>D^QoDqrv@(D*6Rv$DY$s8oVH zN(0QnNU&NRuQ{WBTC-bLjur}BjIFsW{*bAUK3iOTnT9%%iH~EqCKz>K2jC{4=>^RDbCWp?^wEG$7MFh}rr4RO^r6<{|zdi~B&jGGYEMLoX=<;Q$NhWlLGSH<= zc^%L<7?@2*r5xdQZ^!&|FiHJ2pT$SFFKy6B%uDR3)3_1G_RTrzZpgHMp0Ptm0sguu zlfNyNR0F_bF{)C9RBTP$5xv($z zkUUi47`exeyEd~!7e86 z`C zWIoB6I+~zr0%ZnO9S3YvLqYGAQn9NzI(`k?_jn8jEpF6`u^Xk41>no!vlG^4qyd16 zY%>YhKBX3lANQNVkR>lpBabva&k3irr_{_j3>Nwn|Dsh$E7&@|a(P=*Wonr}p8RA6 zr@(yC*cK`KE)G`Sy7A`Q3?DdpU4!_2xn(Rc$5Gj|zCTScAK0lIh=FzZB2&50j;_37 z%EL?^DOj9c&m+XJgr59!eA(8MaBSNtLD|O~_cumyT~pZeA$eN=Raoia%=U|^om>C( z0HY2DML9->Hzk}Utl2qLsiW@@x#3Iv^xJOdn1ptH1>-=B0D3!t_X z`j*tGz5~AuA4!=J)U84$;H&Nbf97Rgl@okDO*?N8%!AJG(`v!(+P9N}C^xtEYe6TQ zCSzl@DE^c15a^H)FdpsJA*+LipN&a*P@YAs43JM3qZFSeW8+^8;!`&%%twq7+qL0S zp1gqV$2`v!nYsMa_RU(aUPro6;3V9xtoJCh7_WV0Bc|;|45M*kbe%SiHkopwt2ZuYQt-VRI6i8 z!}=6q!8X6@Blwq7CsFiedV>4_(YHQB=4D;5vpF}C>`xv}jCE_eMSTH#PSc$G9nAvFGRcn)OE%Cs_I?Ar~^)mbUj6^QzN%eD0Xk_jU6KP+n>H~ zYi7FZ_3&(!qPjq*bVs9~SRQHd-yH1lm-R0DRn_YHOhd!wpf1g9FZ#zhWmw6 z;`B$;CF_LGj;n9CXQEY)w`eaD_Yy8Kr5JKW*{wVB7%*|-6vX*wFR>jx<_xuOF1+VI zj*+cYoK2?fZVg??cPDu)m>;EozQ2i2^E>w9DWV*0mieSOhXB9=?m*DP?x1*+%Caq7 z{ka#vwElh?zHr@ya}SB@`4sZp^zH*ZtG@t#!9n|?!w+HPIP`vc1H{!+oGTGV+XJ_4 zH=*3eTPDQh-tBAh#A=;?#AI$}rvv0m*j8kps8{>8^29U(JpvP1^%Rq1(y*n`rG%xi zxo5+s(Z44P1H|05d_H`%DaQS+?xVnB69`dc@GeY|7Z52Y8@|pE{!kxI-{;jV>Zb~N zBYN|8?+|lN)Pzch2Bo++7F!e;He*WyD7T!3du6frTyWFsc4jN=18;LL-6o*1x=mjt z{C=6r0XWYYD!-yWYp#0&m-lTqD_Q6(WrB?LrSkL=E@GiI^co9U^|bz+l~^?^Ah{^1 zA4eaBV{wIyU9UJcU|^b(3*3TU5jQWs+vuu?&fi^pm&vsS=Y8K5E=DtYeI*%t-lbIn zwmgMpi8*N_t9z+Gjd`*uET=hfm6T-+UZ|9wihS^@oG;iN(h2InFy2b7s@`jFZ2Ytz zeoC6g64)WtYmrvp@Bxct+;+_?6(~HQv04DilzFh6c34#QGI+Vl77XqkJ9btKimEh; zC81Hqp7x|^SCc#(0G~Nrw4jK24m9R3?Qo*Yd}Mbb+S=NYk)9e4*ogo!to$L5>XVf4F&0ZX$p}c~ zV*HEr7rEZ&AI?Lj%M&=3o#uA;Zd5tGZFv~`$!ex6F!=OLuY5_zI+zz67b59yXVmz6 zK^(Wzl4W+K_92_V(Q;Jl$4Q1`OkbgClXj8GT}9Qy%k1@Q{=$7@1nT6;1-U^M5+8S1 zvw!7V8gwy)AAQ*CVK5ibFCZCgTGpH*PM=$b zl!L2oO5_lN^o#(({nLr^{cX~@S33!sT3p_-a_f9U#q_1?<}aCDT#c5n;GH{(K%nlL z@RBB`!AsGgTq8{^6uD9{8W%96r?iJnIJkV2&VV{&{1@Wkos+ejr8G}{(75-(b8164LM7Jn)V*_OI1`ani2mPT2keu@RvzO18&$IG=l|5eWO#gLgSgh$Q z|CH5x5cMKr*);dlQ*UgTp}W+nWE-#8c^Lw)lB$(t(KGQ{MBG#UQQiyxse464XcAi5 z)$Pz5SNB&X-cS!K7EB?1raqrTC1wp_?wx&acKb=D`*^-@rZ4r*mm#o}5dGVjC*S?J z`J;jqHor;Ln+s_N8oKTFY7^7zF?brVcyvEHK>ag~O=vR7r{3zeFN4)*ti1MATYmjQ=n|G28$GnqP4;fL{R6N-q}w=YGGkcJF$e>W(#WEjizpvX1!xY#G~-^(S=!oouWld1w7{ z_nIGPr0X7@e;SUg9`5dZX~X)?x>e9+g8rO?8O)zH>*xgb#|FcqZ4X z@bV6QJ$)L4K84yEsT_YBuTO-ssLru^gK#Ni>`Q5>egFN*>yUkI_#pSN3r^}A8gBqQ zqwu`T;ygz6Da7_CIAr>&6~S7VQ6JgnGCOuKo)-Vs>e~fak41kx=T$iWJWX;lR);?! zBtUt0og(waB_e*$(cgFH=wyvOR8P10&|2;f!ElG%dR0pYXdnCV+7~}~QS$sBfMKn2 zfcCRw2?@3lR$jI`LC3G3i5f#_@ge{=K8KC>a{3MlCVo$i`%J7Pic@$h7=@$g^jLj4 zbGZ+oRhdm|M-U1D$9jH>P;aKNcy&SY*f{o$bOfSzBE`_OjGc;cNHX}Ef|Zu}#$@W& z)ET@$DRO*vn@UL|jXwYI4kIvvIe03I!(1{1%SR}aU*Y9i$@detj)Drc(eA#%`Znm8~5cyRC*W z@7n+vJkd>sO?;Z8$53~Tdn|Y>u+1yyW8We~ZI#-{Mncn%m&f=Wzr-_11ffLilkeG; zxYZKckxTNT#(*t%d?*@CHyk=za;D`n`w7dbmd;vDJRv8V#6yy_dM1 zU0abrtbdNrTtACR zfM7>A<8>StpS}>vo~&qbdeV@G^HGMThd#sF8NdXOAA6%!zuRJog4p`I;28-1ty1f{ zQL`}W{THC-w0-B7qfbFp<-M1tJS6_ixIN?!2K}RC8gb!9r)ahOXdg`J= zy}O)2b0kUX3&zymN34&y#g1L zpy~N-r;78PNHq6d~Cjj7MOj32Z2lC_1poy(_*6dzMl}@j<)%uiJhIBwB_>& z^d7AY-q}SNe1H(R+>b~aQbzqUe39}GfF{Faq9X*0#CV3JFf|GNYp&#_LJ=3qngqF(OqBWhKisa*E(T#DPtWw78WT^SD}kV30V;7b7|$d= zArE^!{w>s(X;z1UDJ8;r){ul97aHfB z&+N3E=z(w)d_lyKxIjQw-~fLXn_Gp07XRkK&=k9M6n$x$=@}U#X8Eo&lM#UXi{vxT z$h_!onBg4ZTLKdDSdp=>d3_W0zUP#Nztv6`0OU1huk9`9*>}5W`#P6RKTWjbQu^dn z4;W;eA5Ffe_poY}K-oEaQ-yVs4IjEeo#h0=X9G_|W|$@`48Jqj)F(sZdM-RcpDZn~ zgdw2q897H6c;nPB-%=`YIS^LOzSCUrn#4_1Uw1H6*RMwZ?|0n-y>SHk|!_+T#IZ_AIAqA1A4q zCiA460~sog5by#Er!W*sPV7u*&48WGlk*MIO|*l*%!9#6xD|bC7Px%UlI($y*kK?5+GFquAfw8?!Ht|qeTxins=_BLle8-11v?R= zFK_Ay2$y#43a}_71Q-?*{!r-30+x-WV!`1{eAdp0%wBz^aGtskdpT(~iLax7iyzto zd2!d183;OHvu5!u7;|BbYD*_S77q__=!n-O7YLZ(*+N82RyHfuXfuIY3JD~FFr-cB zUxwdxbV6Q4(Mo@!$tYcF>=JCdnetOFdm5@G5(RPsOZf)0xi+dGMSplNO>2gr&WlY8KC+DY@V<1Hcw)>|8k(Lw;v-m}-? z>FKuG`0;u`yT4NH)T;rxkr5l(w|n z{auhNA>_NJBx1M|8iKW;ppY+bxioyiM!S$NVpjdN@gPGq zy!0e^>-Bc_hP>g2bh3~)KzSr$jj*J+Gg@?4rHsJzfAqUq#cIu0*q_ZtA`4luLshf! zeA}U4fTz7^n4vFGRan15aDrV9NARf!^c4Up04_3PtD1h^97StwYLD@bd*YYoQ^`?v zbkgsfOXHO;CNJ}20qTmhf1y7Ebx3GV2xEgoG+znu4s9jjIji9<=BOKTx&%b7DwFk% zF;KB(kCLcw0wXou)t$-D&kt~@TdPImW1yzNRV?d?$aw_Z+y* z1ufJCNST~cE^AJ&kH z1|QznNT^wNM8+0Z34&Zdm0VZ>3qnEyQ>^8;uB+e18B7ZUk%e*S!ra7%V=qAP!-{Az zJ!zI6Qj&>8@m4(o>Vl@9@WyHs(u{Vb3DE;?tR#`}nEWLahhwKtL=@d$qVIgjACRvd zx^HuNBS6O(;$ITc3gcQ(D|rWjc00=3jI%&TNTjB^?AGDxgbh%}5mFUxp{ zzz_#B-CE(a<#Rl_t&DTRYoas&wd_8tsEs|wmJP~mmqVySiBpyw_>|n}pzB|bmt!m2 z(HhIljb@BfgR@C71kJwy%8da$hdgEwG%!uEG7K{P#zp-%QAvs_f#;30#%^?x1Ks+f zKjImX*;KK?RU=jAo2nrls&C5|WwckfgoXm1GdmEzDTWrnpw7R~)4mjQpv~rlZ%G@i z?bM)kY#rSG$JroCTw8}7!l2l6X7P0N-wo*nSfcp{s7#}A?)~qEENs-*o!#|F{ z*g;8e8zY3zwS>3zO@ z;H!<6_X1_GfYMb7GgU!J5XV`Z<3AEWt!}X}72c24{v0b!Cg@1MBHvD=IXv*ysQ1xd zAxH; z+l7eusyKyrK`&Cu+C!<2U18tZesri9UpQLvwM< zuBYi=4S)B;xOR5jnnMWg>|WLi?c(Qk+q?adD*M?e<=+HHE-npMXTAFe5WyqGGL{Rz znQ#Y!83(dsC}&wlB0w&hVxNsusiJkpKCH=-gxcl@7^`5p;Epek;kh+o6AWbC3RlCs z`a*Pr%a@zgKXc0p7@`R&#dv7@5mmQ%lsb5hsmrHVbXz>PL#Bb75!)3$3yoj@we&c4|IE-) z_jjLkZ<#~OcSS3y>Dd{cARHALISG)>-V&W8O7l=)x!3{`$YC LeV@MK|K|TM9Z+2M literal 0 HcmV?d00001 diff --git a/src/exchange/taler-exchange-httpd_deposits_get.c b/src/exchange/taler-exchange-httpd_deposits_get.c index 04e2acb02..c0c6fdfe2 100644 --- a/src/exchange/taler-exchange-httpd_deposits_get.c +++ b/src/exchange/taler-exchange-httpd_deposits_get.c @@ -141,7 +141,7 @@ struct DepositWtidContext * (and the above were not set). * Set to #GNUNET_SYSERR if there was a serious error. */ - int pending; + enum GNUNET_GenericReturnValue pending; };