---
# System prepended metadata

title: 'Máquinas de estado , el mindset que necesitábamos'

---

# Máquinas de estado , el mindset que necesitábamos


Luego de mucho tiempo especular, respirar y exhalar humo con respecto a _las cryptos_, decidimos meternos a este mundo descentralizado y aprovechar nuestros conocimientos en programación para hacer cosas más dinámicas que sólo _holdear_ o tomar un curso de trading y aprovechar la UI del exchange de turno. 

La idea original fue usar las API que los exchange exponen y -con un poco de suerte- poner a correr un algoritmo que pudiera _mover_ nuestras cryptos. Comprar y vender básicamente. Pusimos manos a la obra y luego de muchas horas delante del computador y varias tazas de café, se logró poner en producción una versión demasiado "alfa" de lo que era nuestro algoritmo.


### El problema


Ya que estábamos entrando en un mercado nuevo, teníamos que comprar el activo primero para luego poder venderlo. Esto significó que nuestra primera consigna fue tener una forma automatizada para poder hacer la compra de nuestra _crypto_. El problema fue que al estar en un mercado de oferta/demanda constante, el precio del activo que queremos comprar puede cambiar de un segundo a otro y todo lo que nuestro algoritmo había calculado, ya no sirve.

Lo anterior llevó poco a poco a que nuestro código fuera un caracol interminable, y el hacer _testing_ era prácticamente imposible. El cambio constante de precio a mitad del proceso hacía que mucho código se repitiera y se saltara de un lado al otro. Ese código era imposible de seguir. 


Fuera de todo lo complicado que fue implementar la primera versión, lo más doloroso era _debuggear_ y entender dónde se moría el programa y por qué lo hacía. Cada vez que el código tenía algún error, nos decíamos a nosotros mismos: **deberíamos tener una forma de visualizar por qué parte del algoritmo estamos pasando en X momento**


> No sólo **_goto is evil_**, también lo puede ser un código sin este _keyword_. Nuestra primera versión del algoritmo era básicamente un `for` loop con un montón de `continue` y `break` dentro de otros varios `if/else`.

Un problema doloros fue que la única forma de probar nuestra primera versión, era corriendolo contra un _exchange_ real, con plata real. Cada vez que se corría una prueba era una angustia tremenda porque, por muy poco que fuera, estábamos perdiendo plata de verdad y eso no fue divertido.


### Turing al rescate

Luego de muchos cabezazo, varios ceviches... Unos cuántos Gin y muchos dibujos diferentes de nuestro algoritmo, logramos llegar a una idea que nos convenció a todos: **llevar nuestro algoritmo a una máquina de estados**.


Una máquina de estados nos permitió abstraer nuestro algoritmo enorme en pequeños subprocesos con una combinación de _input/output_ , que pareció encajar perfecto en nuestro problema. Desde el punto de vista _del dibujo_, sabíamos perfectamente qué teníamos que hacer en cada subproceso, además ahora con este _approach_ de la máquina de estados, teníamos una forma clara de cómo hacer tests sobre nuestro código, algo que hasta ese punto era imposible.

Luego de buscar en las bondades del _open-source_ y la comunidad de **Go**, encontramos un par de implementaciones interesantes que probamos en ejemplos simples pero, por un motivo u otro, no era lo que estábamos buscando. Además de esto, ninguna de las opciones que evaluamos nos daba la opción de visualizar qué trozo de código se estaba ejecutando.


Como somos motivados, decidimos implementar nuestra propia versión de una máquina de estados con los siguientes puntos en mente:

1. Fácil de usar (al menos más que las opciones anteriores).
2. Soporte para visualización.
3. Validación en las transiciones de estado.
4. Soporte al manejo de errores custom. Esto es super importante para hacer cosas cada vez más _custom_ .


El diseño y la implementación se mantuvieron lo más liviano posible, es decir, se definieron sólo las estructura y tipos que eran estrictamente necesarios para el funcionamiento de la máquina.



### Talk is cheap, show me the code


Para mostrar y probar nuestra máquina de estados tomaremos como referencia el ejemplo pequeño que está disponible en este [repositorio de github](https://github.com/blue-factory/statemachine-buda-example). Este repo tiene el código de un algorítmo de compra básico que funciona sobre nuestra **statemachine** y usa la API de [buda](https://buda.com) para operar. De esta manera, nustras únicas dependencias son:

- [statemachine go package](https://github.com/blue-factory/statemachine)
- [Buda client go package](https://github.com/mtavano/buda-go)


#### El algoritmo

El diagrama que tenemos a continuación describe gráficamente nuestro algoritmo. Disponible con el método `RenderMermaid` de nuestra **statemachine**

<center>

![](data:image/jpeg;base64,iVBORw0KGgoAAAANSUhEUgAAAagAAAHCCAYAAAC63V38AAAgAElEQVR4XuydBZhWxffHvyxLw9INgtKgSEuzICVILd0gP5BUGinpXKRLQrqRRkFCUkARUVK6c+nu/3OG/7susPG++9bce7/zPDwqe+/MOZ9zvd89M+fORHn16tUrsJEACZAACZCAZgSiUKA0iwjNIQESIAESUAQoUHwQSIAESIAEtCRAgdIyLDSKBEiABEiAAsVngARIgARIQEsCFCgtw0KjSIAESIAEKFB8BkiABEiABLQkQIHSMiw0yswEDh48iMOHD+POnTuIEycOsmTJgrx585rZZfpGApEiQIGKFDbeRAKOE9i0aRPGjh2rhOn58+d48uQJokWLhhgxYsDX1xetWrVCQECA4x3zDhIwKQEKlEkDS7f0IjBhwgQsXrwYDx48CNOwePHioVChQhg8eLBextMaEvASAQqUl8BzWOsQmD9/PqZOnYp79+5F6HTcuHFRoUIFdO3aNcJreQEJmJ0ABcrsEaZ/XiVw7do1VKxYEY7sKBYrViyMGzcOuXLl8qrtHJwEvE2AAuXtCHB8UxOYMmUKZs6ciadPnzrkZ8mSJREYGOjQPbyYBMxGgAJltojSH60I1KpVC6dOnXLYJqnu27p1q8P38QYSMBMBCpSZoklftCNQokSJcAsjwjJYqvs2btyoytDZSMCqBChQVo08/fYIgeLFi+Phw4cOj0WBchgZbzAhAQqUCYNKl/QhwCk+fWJBS4xHgAJlvJjRYgMRYJGEgYJFU7UjQIHSLiQ0yEwErl69is8//9zhMnPZcSJ37txmQkFfSMBhAhQoh5HxBhJwjMC8efMwbdo0uz7UlaII+VC3W7dujg3Cq0nAhAQoUCYMKl3Sj8D48eOxZMmSCLc6KliwIIYMGaKfA7SIBLxAgALlBegc0poEZLPYMWPG4O7du3j27JnaLDZ69OjBm8W2bNkS1atXtyYcek0CoRCgQPGxIAEPEzhw4IA6bkPWmZo1a4acOXMiX758HraCw5GA/gQoUPrHiBaalECpUqWwYsUK+Pn5mdRDukUCzhGgQDnHj3eTQKQJUKAijY43WoQABcoigaab+hGgQOkXE1qkFwEKlF7xoDUWIlCtWjVIdV/q1Kkt5DVdJQH7CVCg7GfFK0nApQSYQbkUJzszIQEKlAmDSpeMQYACZYw40UrvEaBAeY89R7Y4gUaNGqmPcjnFZ/EHge6HSYACxYeDBLxEgBmUl8BzWMMQoEAZJlQ01GwEKFBmiyj9cTUBCpSribI/ErCTAAXKTlC8zLIEKFCWDT0d9zYBCpS3I8DxdSdAgdI9QrTPtAQoUKYNLR1zEQEKlItAshsScJSACJQcwZE4cWJHb+X1JGAJAhQoS4SZTupIgBmUjlGhTToRoEDpFA3aYikCFChLhZvORoIABSoS0HgLCbiCAAXKFRTZh5kJUKDMHF36pjUBCpTW4aFxGhCgQGkQBJpgTQL16tVDYGAgtzqyZvjptR0EKFB2QOIlJOAOAsyg3EGVfZqJAAXKTNGkL4YiQIEyVLhorBcIUKC8AJ1DkoAQoEDxOSCB8AlQoPiEkICXCFCgvASewxqGAAXKMKGioWYjQIEyW0Tpj6sJUKBcTZT9kYCdBChQdoLiZZYlQIGybOjpuLcJiEAtX74c8ePH97YpHJ8EtCRAgdIyLDTKCgSYQVkhyvTRGQIUKGfo8V4ScIIABcoJeLzVEgQoUJYIM53UkQAFSseo0CadCFCgdIoGbbEUAQqUpcJNZyNBgAIVCWi8hQRcQYAC5QqK7MPMBChQZo4ufdOaADeL1To8NE4DAhQoDYJAE6xJgBmUNeNOr+0nQIGynxWvJAGXEqBAuRQnOzMhAQqUCYNKl4xBgAJljDjRSu8RoEB5jz1HtjgBCpTFHwC6HyEBClSEiHgBCbiHgAjU0qVLkShRIvcMwF5JwOAEKFAGDyDNNy4BZlDGjR0t9wwBCpRnOHMUEniHAAWKDwUJhE+AAsUnhATcTODMmTNIkyYNfH193xgpLIHasmUL/P393WwVuycB/QlQoPSPES00OIHKlSvjyZMnmDp1Kt57771gb94WqPv376Np06a4fv06Nm7c+I6gGRwDzScBhwlQoBxGxhtIwDECp06dQp06dRAjRgwEBgaiYMGCqoOQAnXs2DF07NgRN27cwIgRI1CkSBHHBuHVJGBCAhQoEwaVLulHYMyYMVi0aBFevnyJrl27IiAgAI0aNcKQIUNw/PhxdO/eXf2sRIkSGD58uH4O0CIS8AIBCpQXoHNIaxIoX748goKCECdOHFSpUgVr1qxBgwYNMG3aNDx9+hRRo0bFypUrkSJFCmsCotck8BYBChQfCRLwEIENGzZgwIABePjwoRKpR48eIVq0aGp9KmbMmGjRooXKqthIgAReE6BA8UkgAQ8SaNu2LXbv3v3OiFI8sWzZMg9awqFIQH8CFCj9Y0QLTURACibq1q2LFy9eBHsVK1YsDB06lIURJoozXXENAQqUaziyFxKwm4AUTMgWR7YpvqJFi6rqPjYSIIE3CVCg+ESQgBcI2AomfHx8sGrVKhZGeCEGHFJ/AhQo/WNkSgvPHH6AG5ee4sWLV6b0LyKnTp48iU0bNyJvvnzImzdvRJeb8uc+PlGQMFk0fJAzLqJEca+Ld+7cwe3bt/H48WNVLZkxY0b3DsjeXUKAAuUSjOzEXgJnjzzE9uVBiBEnKhKnigkfXze/mew1jNd5nMCrl69w++oT3Lz8BEUqJ0HW/PFcYoOs88kf+SVAduSQLPXSpUuIEiWKqpaUqkk/Pz/UrFmTVZMuIe6+TihQ7mPLnt8iIOL084zLKFQ1BdJkiUM+JKAIXD//GHtWX0W+0gmRo5CfQ1ROnz6NI0eO4PDhw+qfFy5cQNy4cZEhQwZ88MEH6k++fPneOdJEdu4YO3YsUqVKhR49ejg0Ji/2HAEKlOdYW36keUPO4cMSiSlOln8S3gUgWdSm2RfRpG86xIwdNVRCkgWFFCPZgUPEKFu2bMiePbv6p/yJHTu23YSbN2+OkiVLol69enbfwws9R4AC5TnWlh5Jsqff199CqYapLc2BzodNQLKotBlj4qOi8XH37l1s27YNV69exaFDh3Dw4EG1ee7bYpQwYUKnkMpO840bN1bbUHEHD6dQuuVmCpRbsLLTtwns23wLt4JeIteniQmHBEIlcGLfHeza8gd2HvteCVOOHDmQPn16NUUn/+4uAZESf8m62rRpw8hoRoACpVlAzGrO3g23cO/uK+T05/HmZo2xs36d/vsuDu87hUJV4iBTpkzOdmf3/VeuXEHDhg3VPoiOTA/aPQAvjDQBClSk0fFGRwhQoByhZc1rRaBuX3mM0vWSeRzA119/jTJlyuDzzz/3+NgcMGwCFCg+HR4hQIHyCGZDD+JNgVq/fj1kM185i4tNHwIUKH1iYWpLKFCmDq9LnPOmQL169UodJClClSBBApf4w06cJ0CBcp4he7CDAAXKDkgWv8SbAiXoZaf5qlWronTp0haPhD7uU6D0iYWpLaFAeT+8soO6bPNjTzt79gQuXjyDvHmLIkaMmPbc4vQ13hao2bNn49q1a+jcubPTvrAD1xCgQLmGI3uJgIARBSoo6CqSJEnuldjevXsLsWLFQbRo0R0ePyjoCpIkefNU3n37dqJu3aIYMmQGAgKaRNjn+PH9MG5cX2zZcg4pU6aN8HpXXOBtgTpw4ACGDRuGuXPnusId9uECAhQoF0BkFxETeC1QL5HTX//voGQ9onz5rMiduxCGDp0ZsXMuvmLNmgXo1KkefvnlONKlc2xT0wED2uHnnxfjt9+uvmHVv//+gzZtqqFHj1EoVapyhBZbUaBs61Dbt29H9OiO/2IQIVRe4DABCpTDyHhDZAgYTaCyZvVBtWqNXSJQIg4ZMmSDr280u9BNmTIU333XPVIC9cUXZXH06N/vCJRdA4e4yIoCJe7Xr18fPXv2VFsnsXmfAAXK+zGwhAX2CtTly+cxbFhnbNv2s+LyySf+6NRpKDJmzI4xY77FTz8twvjxy5ApU45gbl99VQMXLpzGkiV74OMTFUuXTsecOeMgwiD3BQQ0RZMm7RE1qi/++ed39OrVXE11jRrVA9u3r0fatB/g66/7o1Kl+qrPgIC8OHRoH+LEiaemt+LG9cOiRbvsitODB/cwcmQPlcU8fvwIn31WEz//vAS1a7dAt26vS5hluk0EaO/e7UiRIg1KlqyEDh0GIn78RFi1ai769m0N6UfskvWf1q17o2LFOhGOP3DgV8pvaeK3NGF18OBeTJ48WP13r15jUajQp+rfnz59gqlTh2H9+h+DWVWoUBvNm3eDiGTIKb7Tp/9VWV2qVOkwduxStUP448cPMW5cP6xZMx9XrlxArlwF0bJlT5Qs+fpbog0blmP06F7o0mU4FiyYhC1b1ip7ypSpFqov3p7iE6Nk49jixYtDzuti8z4BCpT3Y2AJC+wRqBs3rqFMmYzq5ezvX1FxkZeatE2bTkHEq0GDEmjZsgc6dBik/l4W88uWzYQmTTqge/eRmDChP8aO7YPEiZPh00+rYNOmlZB+GzRoi969x2H37s1o3Pj1C7p48c+QMGESrFw5R/33xo0nlSiMGtVTvdDTp8+sXqbRo8fAV1/1sytOIpbywi9YsBSSJ08d3LdMuYlNIceXDO3w4b+UOGTJkhPLlu3F/v27lXiJiNWo0UzZV6pUJeTJUyTC8Zctm4kRI7opf0VkpDVq9BWOHTuohEjGtgnEy5cv0bChvxJJsfXjjz/B4cP7cP78aaxc+RemTQsMFig/vwQICMiHM2eO4aefDqtsUO5v0uRT7NmzBTly5EHmzB9h+fJZasyxY5egXLka+PHHH9CjRzP1d8IyZ84CaNu2T5jTljoI1Lhx4xAvXjw0aRLxOl2EAeEFThOgQDmNkB3YQ8AegerduwUWL56KGTM2oHDh16W+IlBffvk5GjdurwRI1obu3buN7dsvqYo0myDJi1Om0ESsJOuSPiRjev78GerXL65e/Dt3XsGJE4eUQMkLvHPnoWoMyco6dKiDwYOno3r1LyBrEZGZ4hNhKFw4ucokbBnXiBHfKHGQ//7oo/woVy4zbt68rsQwUaKkavzAwG6YNm14sHi4Y4pPMtLmzSsEjyGZWpcuDVGjxhcYNGh6cAgfPryP2LHjwjbF9+uvZzBsWBesW7cEkyevUtmetNWr56Fz5wZo0+bbYPGWopIiRVKo7G3t2kPBApUvXzHMnr1ZxSO8poNAzZ8/H5cvX0anTp3seax5jZsJUKDcDJjdvyZgj0DJy11e8t9+Oz4YmwjM4MEd1G/5s2Ztwrx5E9C/f1vMmfMr8uUrjpIl06nfzuVnK1bMRrdujVG+fE0UKFAiuA/Jonbu3IB587YpwRKBGjlyQfC02cmTR1ChQna0bz8QrVr1jLRAyTSYCGi9eq3Rp88ENb6t4CEwcA5y5SqkMkTJlmTKz9ZOnDiM+fMnBo/vCYHq2rWRyu5C/jIQ8lm1CVTduq3U9JxU/sm0qK11794UkrHJ9GPISkexXab7Dh58oqYrJYPq3//7N/wN6/8JHQRqzZo12Lt3L/r27cv/dTUgQIHSIAhWMCEigXr27Bk+/PB15ZQIzttNBGfAgCm4c+cmChRIrKa/qlZtpKb8bNNWY8b0xsSJA9VUWrx47+4GMGbMYty+feMdgbp06SxKlkyvMgHJCCKbQcm0V758CRAvXnysWvW3Wrvq2LGeyj5kiu/Ikf1o1qycWttKmjTlOz42b95V+eUJgapdu5DKKv/551Go3znZBMpmpNi8efNpJEjwugrTdn9osZJjMVavPoDly2cqgVq4cCdy5y4c4WOug0DJCbzyZ+jQ19k1m3cJUKC8y98yo0ckUDZRkLWWBQt2hMulZ89mWLr0B3z2WS38/vsWbNt2QU3vzZ49BoMGtVfZlGRcoTXbGlDIDCosgapcuQEk83GkSYFGz57/U7eIUEpGWKVKQwwfPlsVXkgBRrt2fdVaTFjNJlDr1h3F++9ncWR4SBWfCM++fXffuO/tKb5WrSpj8+bVWLPmADJl+vCdMWwCJQxkGrBRo1IqC5JsSFrr1lXV+t7ffz9EzJixQrXRtgYl05sy7RlR00Ggfv31V/z000+QIzjYvE+AAuX9GFjCgogESiDIWpEs2r/9YpbMRKrGbE1ewPIbvDTbtJz8u4hVw4Yl35mOCnm/IwJlW0txJEB//rkD7dpVV9V5adNmwKefVlbVgVGiRIGs7+TOHU8VYsgaTcgdGkSg5RppUoknFXkTJ65QhR6ONJtw7Np1LXiNS+5/W6CkQk9EqGPHwfjyy+7BQ7x48VytFf23BnUWqVK9B9uUnk1sbGt/w4bNUpmsrYVkbUSBYgblyNPm/mspUO5nzBHsXIOyCY9MJ9Wq1VxN9clivFSRTZq06g2OlSt/rKrftm+/iGTJUgX/TAoqpLBCFublxXn8+CFVdi5ZlRQp2CNQ0pnthSyZTurU6dW6kVSrRdTKlcuiyq8l27h48awq5ChRogKKFi2nBGn69BEYPryLEqk6dVpCBEHWcurU+RJNm3ZU3Z87d1KtVcl4Uhxy//5d1K9v32F6tnU4yS5Ll66qshv559sCJVOdpUq9ryomxcfs2XOrKcjVq+errOr774e8UWYuBRBSgJImzftYvvxPdZ+st0mGWKlSPRQuXEaN8ddfvynxlelNIwoU16AiesI9+3MKlGd5W3Y0ezIo22/6Us0nC+3SZJqsWrUm6NRpyBtZlFT7idjIVF3IJlsESdWZiJKtSVXfN9+MVC/hPXt+VdNVb07xnVPFFvItlCz6SxNh69u3lcropHXtGohmzSLeo23u3PHqOyhpH3yQFTJ9KC9x2cFBxEYEadasMSpDkZe8NBHiNm16Q6bTbG3ixAGq1Nt2zeHDzyKsgpN7RcykiMRWOi+l9FOn/hQsUBMmLFeCJU2KQ+SbMClplyYZo5T3f/FFZyxcOFmV62/del5lg9IWLvweffq0VAUgUghy6tRRSKxsjOQXC+lbqi2lPP7HH2egR48vVAWjUab4WMWn1yuKAqVXPExrjb0CZQMgpdiy2O7nlzBUJs+ePVUfwkpBQmhNqvXkt/6kSVPY9WIPC/y1a5dUBifTXvJCD6/J/ncJEiR6Y8cImfIqWjSlemFLZmFrMqUnfcvHuWGt4Tx69AAPHtxXU3Ui2CK+YTWZHpQsz9YkQ5KPlsX2iJpkfI8ePVQ2RqbJ1KUIaWiFH470p8MaFL+DciRi7r+WAuV+xhzBzik+nUGdP38KpUtnCNdE2TFBPnaVjKlu3Zbqe6Jduzbhhx++Cy6UiKyPUngRMisMrZ+jR18Gr2NFdhxv3qeDQHEnCW8+Ae+OTYHSKx6mtcbRDMqIIGT6buTInuqjW1uTaa+yZQPUFkOyLsMWNgEdBIp78en1hFKg9IqHaa2xgkDZgifTj7IFkwiWlHCHrEA0bYBd4Njpf+7h9uVHKF0vmQt6c7wL7mbuODN330GBcjdh9q8IWEmgGPLIEfC2QPE8qMjFzZ13UaDcSZd9BxOgQPFhiIiAtwWKJ+pGFCHP/5wC5XnmlhyRAmXJsDvktCMCde/ePbXruCtb27ZtUbVqVZQu/XqjYjbvE6BAeT8GlrCAAmWJMDvlZEQCJaK0detW2D6mHTFiBPz9/Z0a03azbf1p/fr1SJAg4tJ8lwzKTiIkQIGKEBEvcAUBCpQrKJq7j9cC9RCl6yV/w9EtW7Zg6dKl2L17tyo4kW/L+vTpg0qVXh/94YomwrRhwwaI6LHpQ4ACpU8sTG0JBcrU4XWJcyEFSkTp559/xo4dOxAtWjTcv39f/VO2jvrhhx+QOfO7O947Y0T79u3V1N7nn78+DZhNDwIUKD3iYHorKFCmD7HTDopA/bJyK9b8Plh9cPzkyZPgPmPHjo106dJh4sSJLl97unLlCho2bIiVK1dCxmHThwAFSp9YmNqSfZtv4VbQS+T69PV5Qmwk8DaBE/vuYNn8Vdh0YMwbP5LMqUyZMujfv79boMnRGrFixYIUSbDpRYACpVc8TGvN2SMP8fv6WyjVMLVpfaRjzhHYs/oaYvjdQZ+RTfH48ePgzkQ85I8IVbZs2dSf7Nmzq386W9Bw5swZNG7cGAsXLkTKlO8eIumcR7zbWQIUKGcJ8n67Ccwdcg4flUiMNFni2H0PL7QGgZtXnmDTrAto0ic9bt65ipYtWyIoKAhPnz5VU3odO3ZE3rx5cfjwYRw5ckT988SJE+pnb4uWiJm9rUWLFqoSsF69evbewus8SIAC5UHYVh9KsqifZ15B4arJkTozRcrqz4PN/6ALj7Fn1VXkLZ0QOQq93q9QSsqbNGmCS5cu4dmzZ0icODGk0u7tdurUKSVYNtG6cOEC/Pz8kCFDBnzwwQfqT758+ZAw4Zu74h8/fhxjx45FihQp0LNnT4ZCUwIUKE0DY1azzhx+gO0rghArri8SpYqJqFFfnyLL5gUCXkb/6iVw++oTBF18jCKVEyNbgTc30w0pUnL0SteuXSMsLZfvmUS0bH/khFwpuLh8+bL6p2RXUnwhmVfNmjXRqNF/pwF7IQIcMgICFCg+Il4hcObQAwRdeoqXL155ZfzQBj195gx27tih1jfy5In49FxtDI/AkHXr1+P8uXPqfC2fqFHVd0TPnz1Td8Xz80P06NEQI3oMlU1IS58+vcpY3N2i+AAJk0VHhpxxIf8eWhOR6ty5M/bv369ERQQnMu327duQP7K2JRwyZswYmW54j4cJUKA8DJzD6UlgwoQJ6rsbOQ+ocOHCehoZSatkmiwgIADPnz8PswfbB7Dx48dX6z+SXejUZBpOpvhkLYrrRTpFxr22UKDcy5e9a07g4sWLGDx4MOLGjYvu3bs7XRWmq7tt2rTBnj17gs2Tqa4XL14gTpw4yJ07N4oVK6aKEFKlSqWrC2qtaPv27di2bZu2NtIw1xKgQLmWJ3szEIFJkyZh8eLFajFeSo3N3P7880/IbgmPHj1S5doiTvLdj9HWYCQb1FlEzfwMecM3CpQ3qHNMrxMYPXo0Nm/erNY3ihcv7nV7PGGAfOx669YtNVSNGjXUuo6sxXz55ZdImzatJ0zgGCTgEAEKlEO4eLHRCZw+fRpDhgxBsmTJ1HqTlba2mT9/PiRrlCxKvv+RP2PGjMHvv/+Or776Cp988onRw0v7TUaAAmWygNKdsAmsXbtWiVPr1q0tudAuFXElS5ZUgGwCJf8uu3j37dsXXbp0UechsZGALgQoULpEgna4lcD48ePx119/oV27dsiVK5dbx9K5c/mWSKY2QwqU2Hv+/Hm0atUKFStWVP9kIwEdCFCgdIgCbXAbAfnuRc4Okt0I+vXr5/KdsN1muJs6PnbsmMoe5bgKmfJ7u4k4yfSnFFS8vfuCm0xityQQJgEKFB8O0xKQ7WxEnPLnz48OHTqY1k9HHZNpPFl7C02gpC8pu5eMqlOnTvyg1VG4vN6lBChQLsXJznQh8Ouvv+Lbb7/F119/rSrW2P4jsHr1avU90fDhw8PEMmvWLHU+0jfffIMCBQoQHwl4hQAFyivYOag7CcyePVtlBzKlx8q0yJOWbYWEoXwgW758+ch3xDtJIJIEKFCRBMfb9CQwaNAgyBk/8mLlB53Ox+jQoUOQXSikqIJbDDnPkz04RoAC5RgvXq0pgRs3bqBXr16IGTMmRo0apamVxjTr5s2b6mPesmXLonnz5sZ0glYbkgAFypBho9EhCUhlmuyjJ9NQfIG659mQXwCkRD1nzpxqXY+NBDxBgALlCcocw20EZI85eXHKNJTs2M3mPgJSsi/VkFKizqpI93Fmz/8RoEDxaTAsgd9++02VQvfv3x+yzxyb+wnIYX+yLdLHH3+sduRgIwF3EqBAuZMu+3YbAREn+Zh0xIgRltns1W0wHez47t27wbtOsHDCQXi83CECFCiHcPFiHQjItJ4cFTFs2DCKk5cCcvbsWbXeJ2t/tv39vGQKhzUxAQqUiYNrRtdkdwg58VVejKVLlzaji4bxaffu3epDXvmoN126dIaxm4YahwAFyjixsrylt2/fVr+116lTB9WrV7c8Dx0AzJs3T51w+/333+tgDm0wGQEKlMkCamZ3pLw5a9as3G1bsyBLNisHHrJoQrPAmMAcCpQJgmgFF+RgvStXrqjznNj0IiAf8tauXVutCebJk0cv42iNoQlQoAwdPmsYLwfqyUmwc+fOtdQJuEaK7po1a7B06VLMnDnTSGbTVs0JUKA0D5DVzQsKClJ7wA0cOJC7amv+MMg3aZJB1a9fX3NLaZ5RCFCgjBIpi9opR2YkT55c7RTBpjcB2XJKilhWrVqF+PHj620srTMEAQqUIcJkTSPlaHKpDlu0aJE1ARjQ68DAQESPHp379RkwdjqaTIHSMSq0SRGoW7eu+uapRIkSJGIQAtevX0eFChUga1KS+bKRgDMEKFDO0OO9biOwePFiyIegI0eOdNsY7Ng9BOS4Ex8fH2ZR7sFrqV4pUJYKt3GcrVq1Kvr27YtcuXIZx2haqghcunQJtWrVwi+//MKqSz4TThGgQDmFjze7g8DatWuxbt06jBs3zh3ds08PEJDiFvmompvJegC2iYegQJk4uEZ1rVWrVqhRowY+/fRTo7pgebv37t2rpmfnz59veRYEEHkCFKjIs+OdbiBw/vx5fPHFF5CPc9mMTUB2l+jRo4c6O4qNBCJDgAIVGWq8x20EFixYgFOnTqFnz55uG4Mde4bA1KlTce/ePXTs2NEzA3IU0xGgQJkupMZ2SF5mUqbMozSMHUex/sSJE0qc5MNdNhKIDAEKVGSo8R63EShbtqzacy9ZsmRuG4Mde46AVPNJNWb27Nk9NyhHMg0BCpRpQml8R+Q3bvkwd+PGjcZ3hh4oAlIokSBBArWuyEYCjhKgQDlKjNe7jcDBgwchW+XICa1s5iCwfft2LHQ5OisAACAASURBVFy4EBMmTDCHQ/TCowQoUB7FzcHCIyCVe5I9yblCbOYgcP/+fZQrVw47d+40h0P0wqMEKFAexc3BhIBUdj1//hwJEyZ8A8js2bMhh9+1b9/+jb9fvnw5qlWrRngGJSB7KsqHu9myZTOoBzTbWwQoUN4ib+FxZXcB2Q5HDiEM+dIaPnw40qVLp05nlfbq1Ss0a9YMR48eVZuPJkqUyMLUjOt6v379kDNnTv6SYdwQes1yCpTX0Ft3YDmEsGLFigrA4MGDg3eM6NChg3qJFS9eHBcvXkSXLl1w5swZ9O7dG5999pl1gRncc9lNwhZPg7tC8z1MgALlYeAc7jUBeWlNnDhRZUlSudewYUM0bdpU/YkVKxa6du2qpgLz58+vMi024xLYtWuX+nSAhRLGjaG3LKdAeYs8x0XNmjVx+vRpJUiykP7XX3+pzEoOKXzx4gWiRYumKvoyZ85MWgYmINmT7K/ID3YNHEQvmU6B8hJ4Dgvs2bNHTeM9fPhQidTTp0+VKD1+/Fgd0yBHbnCbHOM/KZIlSyb8xx9/IEqUKMZ3iB54jAAFymOoOVBoBKS6S0rLRZxCNimI+PnnnxE1alSCMwEB2b5qxowZPGXXBLH0pAsUKE/S5ljvEJCCiUqVKuHZs2fBP4sTJw6++eYbFkaY6HmRNcbu3btzyyMTxdQTrlCgPEGZY4RLQAomZN3pwYMH6joWRpjvgWnbti3q16+PQoUKmc85euQ2AhQot6Flx44QsBVM+Pr6qsKILFmyOHI7r9WcgJwL5e/vD9kMmI0E7CVAgbKXlAeve/H8FU4deIDb15/i1SsPDuzFoS5euIC1P/2ETJkyoWTJkl60xLNDx44XFWkzx0b8JNHcPvDVq1chWw+9fPlScfZkk+/d5Aj4gIAATw7LsQxOgAKlWQAP/nYHv625geTvxYJf0hiI4qOZgTTHpQQe3XuOC0cfIFOeuPCvkdQlfcu6nuzUcfLkSXUmk/y5cOECRKD8/PzUGFKUImduyTdoKVKkcMm44XUyduxYtat5o0aN3D4WBzAPAQqURrHcv/U2Du26iwKfJ0eilDE0soymuJPAi2ev8Of663j18iUqNHVcLI4cOYJDhw4F/5FSfZkqzZAhAzJmzKi2GcqRI8cbJd53795VH0vLBr3fffcd0qdP704XMX36dCWK8j0UGwnYS4ACZS8pN1937+ZzzB50BhW+fA9+iaO7eTR2ryOBLQsuIWveuMhR6HWWE1q7fPnyG2Ik35DJxrsiQLY/jqzfyQa9v//+O8aPH+9WJHLkhmRxnTt3dus47NxcBChQmsTzz423cPP6c+Qp65ppHk3cohkOELh88iGO7rqJGl+nUXdJ6b1skitbPslZWTJtd+PGjTfESDIfZ08fbt26NUqVKoUaNWo4YK1jl8ouEvv371e7mrORgL0EKFD2knLzdetmXUGy9+MiXY64bh6J3etK4Pmzl/jxu1N4kGy5EqTDhw8jd+7cqqLxww8/RJIkSZA3b16Xm//PP/+gf//+WLp0qcv7tnUoU4mbN2/GkCFD3DYGOzYfAQqUJjFdO/0y0mTzQ5oscTSxiGZ4moBUbC4afALx8+xWgiR/ZC3JE02KJWRrqfLly7tluB07digBHD16tFv6Z6fmJECB0iSuFChNAuFFM5RADTmJNt9l8LgV69evh/wZOXKkW8beu3cvpk2bhsmTJ7ulf3ZqTgIUKE3iSoHSJBBeNMObAiVuyy4Py5YtQ8qUKV1O4cCBA0r8ZD8+NhKwlwAFyl5Sbr6OAuVmwAbo3tsCJXvlFShQwC0n3x47dgx9+/ZVpe1sJGAvAQqUvaTcfB0Fys2ADdC9twVKdo/funUrhg4d6nJacjKylJi7sxDD5UazQ68ToEB5PQSvDaBA2ReIq1cv4uTJI/jww3zw80tg300RXPX48UPs2/cb3nsvA9Kked8lfUamE28LlOw0IRu6yvEnrm5SIi+FGDy00NVkzd0fBUqT+BpNoJ49e4pHjx7Azy+hRwn++OMP6NGjGRYt2oVcuQq6ZOzTp/9F+fJZ0aXLMPzvf10d6vPu3VuIFSsOokVz/uNqbwuUOC6b9g4aNMjlpxhfv35dbXMkWRobCdhLgAJlLyk3X2ckgTpx4jBq1SqIXr3GIiCgiZvJvNm9TgK1Zs0CdOpUD7/8chzp0mV0moMOAtWnTx/kyZMHVapUcdqfkB3cunULtWrVUlsrsZGAvQQoUPaScvN1RhKov/76DXXqFMGQITMsLVBTpgzFd991N5VAzZ07V20q26lTJ5c+8bIbRuXKlfHrr7+6tF92Zm4CFChN4muvQO3bt1O9FPfu3Y4UKdKgZMlK6NBhIOLHT4TGjT/FvXu3sWTJHkSN+voDz3v37qBGjQIoXLg0+vSZgFevXmHp0umYM2cc/v33H2TMmB0BAU3RpEl7dc+CBZOwa9cm1KnTEiNH9sCBA3/go4/yo3//75E9e25I9tSsWTlcuXIBiRMnQ8KESVC0aDl0727/9zNr1y7E3LnjIb6ID8WLf4Z27foiadKUWLRoirJPxpWf1a/fBjVr/k+NIy2sDOrQoX0YO/Zbdd/jx49QsGAptGzZA2nTfoAGDUqgbt1WaNCgbXC0u3RpiPv372DSpFUIbYrv7NkTmDRpILZt+xk3blxDmTLVUK9ea8VR2qpVc9G3b2s8eHBPjREjRky0bt0bFSvWUT8PL05hPXI6ZFDbt29XhQxjxoxx6f8ZsmegfAS8bds2l/bLzsxNgAKlSXztEajduzcrEZJWrVpjHD78lxKZLFlyYtmyvZg6dRhGj+6N6dPXo2jR1wfDLVs2E927N8WECctRunRVTJjQH2PH9lHi8umnVbBp00r1ApaXd+/e4zB+fD+MG9dX3SvTd1KUsHPnBvUSXr/+XwQFXcWwYZ0hIlOsWDlkzZoLmTLlQJUqDe0iKX3LGOnTZ1Yv/WvXLmHlyjn46afDyJAhmxJTERkRrXPnTuLMmWNqnGnT1oUpUDt2/KJEM06ceKhevak672j58llqClI4FCuWGq1b98LXXw8ItrF27UK4ffum8ik0gRJhat68ghLJHDnyKk7SbGtf8guC/KIgQlSjRjMloKVKVUKePEUQUZx8fUM/+0kHgZIjOqTcfPHixXbF096Lnjx5ovb727lzp7238DoSAAVKk4cgIoGSl27Zsplw8+Z1bNx4EokSvd5UNjCwG6ZNG47x45epTKdEibRKLIYPn61+Xr9+cfUC3r79Ii5cOKP6+OQTf8yYsUFlTM+fP1PX7N+/Gzt3XsHChZOVQH3//Rr4+1dUfUimIJnVunVH8f77WRDZKT7JSmR8EaeVK/9CzJixVf8PH95H7Niv9yA8e/Y44sTxQ5IkyVW2V6dOYWXbH3/cVAUZb2dQL148R7lyWXD+/Kk3ptqkgEP6v379cqQESsb+++89yJmzAHx8fGATwf/9rwu6dBmubA1tiu/FixcoVy5zuHESYQ6t6SBQt2/fRvXq1bFp0yaX/p8hG98WL14cu3btcmm/7MzcBChQmsQ3IoEKCrqCIkVSqmypdu0WwVbLlNv8+RPRvv1AtGrVE23bBmDDhuXYt+/u/09NZUSHDoPUdNeKFbPRrVtjlC9fEwUKlAjuQ7IDyZLmzdumfvsXgdqy5RxSpkyrrlm8eCp6926hfp4vX7FIC9SPP85Ajx5foE2bb/HVV/3CJP/nnzuwefNqXLx4BgcP7lXis3r1P8ic+aN3BEoErWzZzCpzWbBgxzt9SoYWmQxKOrp//67KxI4e/VtN5f3882J89lktjB69KEyBkqyvTJmMEcZJV4GSX4QKFiyojuBwZRPhLlJEssvdruyWfZmcAAVKkwBHJFBHjuxH1aq51TSWrNW83Zo376qmmmy/6QcGzlEveJnyk+wpWbJUGDOmNyZOHKim9+LFe/cbojFjFmPjxhXvCNTq1fPQuXMDzJnzKwoU8I+0QNnGt/UTGnpZ9xGbpUkGd+bMcTXNt3z5PrUG9nYGZfNXBE+E7+0WWYGSbK9atTxKmCTjy5LlI6xf/6OaFp04cUWYAhVyujG8OOkqUGJX4cKFsWXLFkSP7nzpvM1PESjpd8+ePZr8H0czjECAAqVJlCISKMkiSpfOoIoJ2rbtE6bV8iIoVSq9eqnKiz1v3qIYOXKBun727DEYNKg9Zs3apIoIQmu2NaiQGVRYAjVo0DQliva2mTNHYciQjujXb5Iqwni7yQe4FSpkV1nalClrlRhLdtivX5swBUoyrOrV87+R2YTs1yZQLVp8g06d/jvqIaI1KFl/knWoSZNWolSpyqrLPHn8FLe3Bco29SnXSLFGQEDeCOOks0AVK1YMv/zyC2LFimVvaCO8TjIz2euPAhUhKl4QggAFSpPHISKBevLkMXLmjKWKFdauPaSqxmxN1kuiRIkS/N/TpgUiMPD1B6e2aTn5999/34KGDUuq4gcpEbc1eXnIOos0ewRKijMku2jSpIND1XtSHdikSWkUKVIGP/zwS/D4so4k62G2qUTJ5GQaUpoUfowY8Y0qApFiBamekwo8EV2pmJMqxXz5XmeDf//9et1JmjARv16+fIFPPkmCDz/Mi9mzX5c43759QwmhZJFSJHHp0lmULJkedeu2RN++k9Q1hQsnD/65/LeNvxRCSOWfNKmEHDjwKyVYkllJk/W03Lnj2RWntx89HdagXvvODEqT14LlzaBAafIIRCRQYub06SMwfHgX9fKTDERe7FKlV6fOl2jatGOwJ1JpV6RIClVCvmbNwTfE68svP8eWLWtVllK1aiMcP35IlXVLViVFFvYIlLz4S5ZMB9lNQqbV5L+rVGkQ4a4SIhqNG5fCnj1bVCGHvNRv3ryGyZMHq8pDyZj8/d9TFXwNG7ZTtom/0mTKsnLlBsFiIgy+/Xa8unbixAEYM+ZbtbOElKX7+ERVRR1yvazXffNNE7WW1Lx5N8Vu0aLvVaYjWaYIlLTKlT9WFZFSLi/CaysMkSxRpkRF9KVyz1bNKIJqW2/KkSMPGjdur9asZHx746SjQHENSpMXAs1QBChQmjwI9giUCNKsWWOUiMjaiDR5ybZp01u9jEO2zp3rI3/+Em8UVMjPZWueYcO6KFGyNanq++abkWqNx1aGvnXreVViLc22Y8KcOVuCiytkrWro0E6qgEGavVsPyfgyzSfCKk1e/vItl3xjJC/6H374Ltg/+dk333ynyuJFEGxiIlnVpEmD1LSeCIhwmTFjpFpfEy4idPK9UqVK9VGuXHUcP34Q48f3x7p1S9SYUlL/xx/bVFZk61Om88R3+b5LfJc1qAED2mL79vXqHhFUqWAcPboXxo37EWXLBqi/F3EU8bLF4/DhZ+rv7Y1TyJjpkEGxik+TFwLNoEDp9AzYI1A2eyUTkbUV+Tg3ZszQ1wlk6kt+FtYecVJeLplW0qQpgj/qdZSHrHdJdaEIiUxtXbp0Ltwu0qfPFDwFJ6Ii319J8cbbTYRD+rN9nCvXyjdLMo6tyce4sslrggSJg/9OuEhZuVxn+1A5ZN/27JtnEzjbfcIoQYJEsH27JH1Ejx7zDe5S0v7gwX1V+m+bKpX77YmTbgLF76Ac/b+A17uTADMod9J1oG9HBMqBbj12qW1tKLwB7c2yPGa0ZgPpkEFxJwnNHgqLm0OB0uQBMLpAaYLR0GboIFDci8/Qj5DpjKdAaRJSCpQmgfCiGToIFHcz9+IDwKHfIUCB0uShoEBpEggvmqGDQPE8KC8+AByaAqXrM0CB0jUynrPL2wLFE3U9F2uOZB8BZlD2cXL7VRQotyPWfoDXAnUCbb6L+PBDOV9J/qRK9W4VZGQdldNut27diqFDh0a2izDvO3PmDDp37qyO8mAjAXsJUKDsJeXm6yhQbgZsgO4jEigRJBGQNWvWYO/evWrzVVee2yTHbBQoUADVqoW+27ozCI8dO4a+ffti/vz5znTDey1GgAKlScApUJoEwotmhCZQb4tS1KhRId+fyZEYIiiubLJX3rJly5Ay5bubETs7zoEDBzBy5EjMmPHfFlvO9sn7zU+AAqVJjClQmgTCi2bYBKpR3+RvZEoxY8bE48ePlWVx48ZVx7FXqlTJpZauX78e8kdExB1NMr5p06Zh8uTJ7uiefZqUAAVKk8BSoDQJhBfNEIFaOOg4Zm6vq466ePr0abA1vr6+SJEiBYYPH47MmTO73MqWLVuiatWq6lh2d7QdO3ao9afRo0e7o3v2aVICFChNArtu1hUkez8u0uV4fbIsm/UIPH/2EksCT2DOjoZqGs/WZFrv/fffR9u2bVG0aFGXg5Hpt379+rm1gGHDhg3YvHkzhgz578gTlzvCDk1HgAKlSUj3bryFW9dfIE/ZJJpYRDM8TeDyyYc4uusm7vltwKxZs3D//n1lQrRo0fDhhx/i0aNHuHnzJrJnz44cOXKoPx988AGSJHHumWndujVKlSqFGjVquM3lVatWYf/+/fj223cPlXTboOzY8AQoUJqE8O7NZ5gz6Bwqfvke4iWOpolVNMOTBLYuuIQseeMiRyE/rF69GoMHD8azZ693RxdRmj17Ni5duoRDhw4F/xHRkmzLJljyT0emAKVPOURwwoQJbnV14cKFuHDhgio1ZyMBewlQoOwl5YHr9m+5jUN77uGTz5MhYYoYHhiRQ+hA4MXzV/hz/XW8ev4SFb5IEWxSSJGSNalx48Yhb96875h85MiRYME6ePCgWr+SNauMGTOqPzlz5lQCFrJJdaCUfNsKI9KnT+9WFNOnT1draq1atXLrOOzcXAQoUJrF88DOO9i15gaSp4+F+EljIMRBuZpZaiJz/juM2LNOvQIe3XuO8/8+QKZcceFfM+k744cUKcmM7PmO6Pr16yrTkqMzTpw4of5I9iJ/7+fnp8aQqsDSpUtDiiPcUVb+tiNjx45FggQJ0KhRI88y5miGJkCB0jB8z5+9wqkD93Hn+jNIZZdV2uIli1G2bFkkiP/6CHcrtNjxoiJN5thIkDTsaV0RKanek+m877//PtQsyh5WV65cUetacmquI9OA9vQd0TUyXZk1a1YEBLw+6JGNBOwhQIGyhxKv8QgB+fhUvsNJly6dR8Yz0iCyE8MXX3yBpEmTYvny5UYyXdnao0cP+Pv7q19A2EjAXgIUKHtJ8Tq3E6BAhY9YRKp58+ZKxENbi3J7gJwYQErk69evD9mtgo0E7CVAgbKXFK9zOwEKVMSIpbghXrx4EV+o2RUNGzZUWzNJNSIbCdhLgAJlLyle53YCsklp165d+Vu220l7foAKFSqoffiSJ0/u+cE5omEJUKAMGzrzGc4MynwxFY9evXqF/Pnz4/fff4ePj485naRXbiFAgXILVnYaGQIUqMhQ0/+eixcvqu+fZDcJNhJwhAAFyhFavNatBJo2bQr5U7x4cbeOw849S2DXrl2YO3eu23er8KxXHM0TBChQnqDMMewi0L59e/WdDAXKLlyGuUg+LpYsqkuXLoaxmYbqQYACpUccaAWAYcOGQbbcqV27NnmYiIDslC7bLbnjpF4TYaIroRCgQPGx0IaAbFx669YtfP3119rYREOcJ1C3bl21i3m2bNmc74w9WIoABcpS4dbbWTkzaNOmTRg6dKjehtI6uwnI1krlypXDzp077b6HF5KAjQAFis+CNgRkJ+7AwEB1FhKbOQhs374dctSGu4/zMActevE2AQoUnwltCMiu27K79saNG7WxiYY4R2DUqFGIHz++2keQjQQcJUCBcpQYr3crAdlMVEqSkyVL5tZx2LlnCNSqVQt9+vR55zwqz4zOUYxOgAJl9AiazP6OHTtCtsWRs4rYjE1AzqPq0KEDP9A1dhi9aj0Fyqv4OfjbBBYsWIBTp06hZ8+ehGNwAtOmTcOdO3fQqVMng3tC871FgALlLfIcN1QC58+fR7NmzfDLL7+QkMEJyPdscg7Uxx9/bHBPaL63CFCgvEWe44ZJQPZtq1mzJkqVKkVKBiWwd+9edW6VPUfUG9RFmu0BAhQoD0DmEI4RWLt2LdavX4+xY8c6diOv1oaAfJgrR7zXq1dPG5toiPEIUKCMFzNLWFy1alX07dsXuXLlsoS/ZnLy0qVLKgOWD69jx45tJtfoi4cJUKA8DJzD2Udg8eLF2L17t5omYjMWgdGjRyNKlCjcsspYYdPSWgqUlmGhUUKgTp06aN26NXc3N9DjcP36dfWZwJo1a3h6roHipqupFChdI0O7sHnzZkyZMkVtlcNmDAIjRoyAr68v5OgUNhJwlgAFylmCvN+tBHr37o2UKVOqTIpNbwLHjx/H//73P/VhrmxvxEYCzhKgQDlLkPe7lUBQUBDkuIbBgwcjf/78bh2LnTtHQD7IzZ07Nxo0aOBcR7ybBP6fAAWKj4L2BOSj3cmTJ6s9+lgVpme45NOAJUuWYObMmXoaSKsMSYACZciwWc9oqQy7evUqhgwZYj3nNff45s2b6hRkOccrb968mltL84xEgAJlpGhZ3NavvvoK2bNnV0dysOlDQLYzSp06Ndq0aaOPUbTEFAQoUKYIozWckOPgW7RoodakAgICrOG05l7OmzcPW7duVdWWbCTgagIUKFcTZX9uJXDs2DHIXn3du3fnkRxuJR1x5/Ihdbdu3TB79mykS5cu4ht4BQk4SIAC5SAwXu59ArIRadu2bdXx8MWKFfO+QRa04Ny5c6qkXH5RKFmypAUJ0GVPEKBAeYIyx3A5gZ07d6qPQWUrJIqUy/GG2+Hdu3dVFluxYkVuButZ9JYbjQJluZCbx+HffvsNcgLvwIEDOd3nobA+ffoU7dq1U2c88eNpD0G38DAUKAsH3wyuy3Rf165d1UuzWrVqZnBJWx8eP36sfiHIlCmTOsqdjQTcTYAC5W7C7N/tBP799191cmv58uXRvHlzt49nxQFu3LihCiI+/PBD7rNnxQfASz5ToLwEnsO6loBsiST79sWKFYtHdLgWLWzl/WXLluUvAC5my+7CJ0CB4hNiKgKyHnX27Fn0799fbTLL5hyBw4cPqw9wJTPl6bjOseTdjhOgQDnOjHdoTmDWrFlYsGCBEqkCBQpobq2+5m3cuFGdatyzZ0989tln+hpKy0xLgAJl2tBa2zE5S6pPnz5qvaR69ephwpgxYwbu37+viizY/iMgH9+uWLFCrTt98sknREMCXiFAgfIKdg7qCQJyPpGIlGRRYR2gJ1v0yMt4x44dnjDJEGPI0SbyIW7nzp2RMWNGQ9hMI81JgAJlzrjSq/8nIKXRIlLPnz9Hv379EDdu3DfYiEDJH7mmUqVKlucm3zYlTZpUCXrChAktz4MAvEuAAuVd/hzdQwTGjRuH/fv3Q3ZEl49Mbc0mULJLumRSVm0XLlxQu8TL7hCySwQbCehAgAKlQxRog0cIyKF6Mn0l+/jJjujSbAIl5emLFi1CqlSpPGKLToNIMcS3336LLl268GNnnQJDW0CB4kNgKQKnT59WIpUiRQq10emRI0cgR5VLoUS5cuUwaNAgS/EYM2YM9uzZozLLggULWsp3Oqs/AQqU/jGihW4gMGrUKGzZsgVVq1aFlKWLQMWIEQPr1q1DvHjx3DCiXl2ePHkSvXr1QoYMGdQZW++9955eBtIaEgCYQfEpsC4BOUZ+yZIlCsCTJ08QO3ZsNc1l9mKJ1atXqyxSCiHkqHY2EtCVADMoXSNDu1xO4NKlS5DS8127dqk/Fy9eRMyYMSGVfrYma1CrVq1y+di6dDh06FD8/fffau/Cjz76SBezaAcJhEqAAsUHw/QEZCpPMoabN2/Cx8cHL1++DNPn6NGjQyr+8ubNayouR48eVQxkJ3IRp6hRo5rKPzpjTgIUKHPG1WtenTn0ADcuP8WLF6+8ZsPbAz998hQHDh5Qfy0idffOXfXvN24EqX9GixYNUf5fuJ4/e4aECROhZq2a2tjvrCFSCLJ92zYUK14c2bJlc7Y7j9/v4xMFCZJGwwcfxYFP1CgeH58Deo8ABcp77E018umDD7B9RRBi+/kiUaqYfJGYKrredebVS+DO9ScIOv8YhSslRvaCft41iKN7jAAFymOozTuQiNOGeVdRqGpypMoYx7yO0jOvErhx8TH2rLmGXMXj46Oi8b1qCwf3DAEKlGc4m3qU2QPOInfZpEiVMbap/aRz3idw+9pTrJt2Dk36pEccP1/vG0QL3EqAAuVWvObv/NSBB/hr6x3417XeDgzmj66eHu79+RqSp4mOXP4J9DSQVrmMAAXKZSit2dEfv9zEg/vARyUSWRMAvfY4gdP/3MOtiw9RpkFyj4/NAT1LgALlWd6mG233Tzfw9JkPchTlztemC66mDp09dB/XTt9H+cYpNLWQZrmKAAXKVSQt2g8FyqKB96LbFCgvwvfw0BQoDwM323AUKLNFVH9/KFD6x8hVFlKgXEXSov1QoCwaeC+6TYHyInwPD02B8jBwsw1HgTJbRPX3hwKlf4xcZSEFylUkLdoPBcqigQ/H7V27NiFRoqTIkiWnW+BQoNyCVctOKVBahsU4RhlRoIKCriJJEuOVKBvF7ixZoqBixToYOXKBWx5kCpRbsGrZKQVKy7AYxygjCdSrV69QvnxW5M5dCEOHzjQMZKPZTYEyzKOlvaEUKO1DpLeBRhOorFl9UK1aY8MJlJHspkDp/f+skayjQBkpWhraaq9AXb58HsOGdca2bT8rLz75xB+dOg1FxozZMWbMt/jpp0UYP34ZMmXKEezlV1/VwIULp7FkyR74+ETF0qXTMWfOOPz77z/qvoCApmjSpD2iRvXFP//8jl69mmPIkBkYNaoHtm9fj7RpP8DXX/dHpUr1VZ8BAXlx6NA+xIkTDylTpkXcuH5YtGiX3VTl3rFjv8WBA3/g8eNHKFiwFFq27IGcOQtg5Mge2LJlLXr1GoPvvuuO/ft3K1sCApogPN8lO1q0aIryTfpNkSIN6tdvg5o1/4eEfphibAAAIABJREFUCZNEaPfjxw8xblw/rFkzH1euXECuXAXRsmVPlCz5ud1+vXjxHJMnD8aqVfNw5swx1UerVr3g719R9bFhw3KMHt0LXboMx4IFk5SfNWo0w6BB0/DixQt8//1gLFs2Ew8f3ldTe7Nnj31jii8iG0Pr//vvV8PfP3QfOMVnd2gNfyEFyvAh9K4D9gjUjRvXUKZMRjx4cC/4pScvOWmbNp1SL/AGDUqol32HDoPU3589ewJly2ZCkyYd0L37SEyY0B9jx/ZB4sTJ8OmnVbBp00pIvw0atEXv3uOwe/dmNG78qbq3ePHP1Mt95co56r83bjypxGrUqJ7qRZw+fWaUKVMN0aPHwFdf9bML4I4dv6BZs3JK3KpXb6oOPVy+fBZ69RqrRKhr10ZqPPm5vOCjRYuOQYOmI0qUKOH6nibN+6hRo4ASJ7H73LmTSiSKFSuHadPWKdvCsltsaNLkU+zZswU5cuRB5swfKZukjR27BOXK1bDLN5vtIkgitjahmjx5tRK6H3/8AT16NFN9CTu5pkqVhihatCx69myGpUt/UOMXLlwGv/66GidOHA4WKHtsDK1/iYvELLRGgbIrrKa4iAJlijB6zwl7BKp37xZYvHgqZszYgMKFSytjRaC+/PJzNG7cXgmQrA3du3cb27dfUqe92gTpp58Ow9c3mhIrybqkD8mYnj9/hvr1i6tMZefOKzhx4pASqObNu6Fz56FqDMnKOnSog8GDp6N69S8g2UpkpsokwyhXLgvOnz+FX345jnTpMqr+Hz16gJgxYysRsr3kW7fuha+/HhAckIh879FjFM6ePY44cfxU4YbYWKdOYeXXH3/chJ9fwjDtXr16Hjp3boA2bb4NFloppChSJIXKMNeuPRThg3H48F+oVi0PihQpg+nT1ytfbt68jkKFkqkqvFWr/g4WqHz5imH27M2KvzSxsXbtQureKVPWqjjdv38XefPGDxYoe2y0CdTb/YdlPAUqwrCa5gIKlGlC6R1H7BGowoWTq2zn22/HBxspAjN4cAc1TTZr1ibMmzcB/fu3xZw5vyJfvuIoWTKd+m1dfrZixWx069YY5cvXRIECJYL7kCxq584NmDdvmxIsESipHJNpJmknTx5BhQrZ0b79QLRq1TPSAiUCUrZsZuTJUwQLFuwIFbRNoERQM2T479Rae3yXDv/8cwc2b16NixfP4ODBvUoMV6/+R2VFYQlr9+5N1dRa69a936hKnDJlqJruO3jwicrkwmsLF05Gnz6tVCbYsGG74EtlenX9+h/x998PsXbtApVB9e//PWrXbhF8zYgR32Dq1GEIDJyDypUbBP99yDUoe2xctWpuqP1ToLzz/7ROo1KgdIqGAW2JSKCePXuKDz+MoTwTwXm7ieAMGDAFd+7cRIECidXaRtWqjdSUn6xJyVTcmDG9MXHiQDW9Fy/eu0csjBmzGLdv33hHoC5dOouSJdOr7EKyjMhmULbpPVs/oYXJJlD//vvfUfeSYeXKFTdC3ydNGojRo3ur62Sa7cyZ42qab/nyfciePXeYdkv2IllMaFx9fX2xevUB+Pj4hPtU2djKWpxMTdpa376tsGDBZDU9+vvvW5SALFy4E7lzFw6+pnXrqmqqdceOS0iaNGWoAmWPjcuXzwy1fwqUAV8ILjaZAuVioFbrLiKBsolCeNmHjZltPeOzz2qpl+K2bRfUtNHs2WMwaFB7lU1JxhVas61BhcygwhIo+W1ffuu3t0lGU716fohdo0cvCvW20ARK1l+yZYsabuZly/JkekumyWQNa/78iejXr807AvW23TaBkCwnZsxY9rrzxnWzZo1Wmez8+duRN2/R4J/ZCkr27buLdeuWKAF5W8Q6d66P1avnq6xS4mtrITMoe2y0TfG93T8FKlIhNdVNFChThdPzzkQkUGKRrBXt3bsd69YdxfvvZwk2Ul7gIX/Dt61pyAW2aTn5dxGrhg1LqmIEqYyztZD3OyJQ9q7P2Ma5d+8O8uV7nbn9/ffrdSdpIr5ig6yZhSZQ9vgua3OyTiVZoExhSpNpM5k+W7ZsL3LkyBucQb1tt22dbtiwWSrrDI1LRE+ELTts164v2rbtoy6/e/cW8udPpCoKt249H7wG9baATJo0SFX3hSxukftDCpQ9NlKgIoqSdX9OgbJu7F3iuT0CZRMeyQ5q1WqupqRk8dzPLwEmTVr1hh2VK3+sysi3b7+IZMn+O6VXCiqksEIyDXkZHz9+SJVmS1b10Uf5g6v4wsugZCDbmoi8jFOnTq8KAaQCLaI2ceIAVQ4v02BSBi5l71JyLVmNrMuEJVAR+S4VjP7+76kKPlkDEr+GD++izAm5thOa3WnTvq+KS2R9r1KleqqKTsr4//rrN1UgIWX0ETUR2Bo18qvy+2+++U7FZubMUYrn4ME/qIrFsATEVpAhY0jVYYUKdVS5v3Cx7SQhYheRjRSoiKJk3Z9ToKwbe5d4bo9AyUDy4pRMQRbvpcl6UrVqTdCp05A3sijJKOTl+PY2OfKiGzasixIlW5Oqvm++GanWafbs+RWNGpV6o0ji0qVzqthCvoWSQgJpIgCyviIZnbSuXQPRrFnnCFlIJd+MGSPVWpiUy4vYSkWifGNVrlz1MAXKHt9/+OE7jB/fT/UrXEQopKRequXWr/83XLtPnTqquNr8EbtKl66qKiNt31FF5Ny1a5dUH7bSf+lDyv2lhF+q+n78cQZ69PjinSk+6VcEWApYZM1M7pOPoOfOHa8Ec8SIeWroiGwMr//QbGcVX0QRNc/PKVDmiaVXPLFXoGzGSQmzLOBL+XRoTYoq5CPYePHih/pzqdaT39yTJk0RXO4cGcflpSwZ3NOnTyBCFl5Lnz7TG9N6169fVkJiK7e2d/zwfH/y5LH60NUmKiKIt2/fVOOEbDa7bdOMtp/JvSJwIYsVxC8R9rCaiE/IDV3FBilWkT7kZ440GSd27LhqzTCsFpqNjoxhu5YCFRlqxryHAmXMuGljtaMCpY3h/2+IlDh36dIwXLPsXbzXzbeePf/3RsYZmn1Hj750WIy87ScFytsR8Nz4FCjPsTblSEYXKFMGxeROUaBMHuAQ7lGgrBNrt3hKgXILVnYaDgEKlHUeDwqUdWLtFk8pUG7Byk4pUHwGAFCg+Bg4RYAC5RQ+3hwJAsygIgHNoLdQoAwaOF3MpkDpEgnr2EGBsk6sKVDWibVbPKVAuQUrO+UUH58BTvHxGXCWAAXKWYK831ECzKAcJWbc65lBGTd2WlhOgdIiDJYyggJlnXBToKwTa7d4SoFyC1Z2yik+PgOc4uMz4CyBP9bfxP0HQM4SiZztiveTgF0ETv9zD7cuPkSZBsntup4XGZcAMyjjxk4Ly08deIC/tt6Bf93/dh7XwjAaYVoCe3++jmRpoiG3/7uHV5rWaYs6RoGyaOBd6fasAWeRt1xSpMzw+pwkNhJwF4E715/i5ynn0KRPesSJ7+uuYdivJgQoUJoEwshmSBa1ccFVFKqSAqkyUqSMHEudbb9x6TH2rL6Gj4vFR85ioe92r7P9tM1xAhQox5nxjlAIiEjtWBmEOPGjIVHKGPCJ6thxDYSqCQENw/bqJXDn2hNcO/cYhSslRo5CER/EqAlNmuEkAQqUkwB5+5sETh98gBuXn+Lli1dEEwGB2bNno3bt2ogRIwZZhUNAjqZKkCw6PvgoDqL6aqigjJ7bCFCg3IaWHZNA+ARKlSqFFStWwM+PGQGfFRIIjQAFis8FCXiJAAXKS+A5rGEIUKAMEyoaajYCFCizRZT+uJoABcrVRNkfCdhJoFq1ahg/fjxSp05t5x28jASsRYACZa1401uNCDCD0igYNEVLAhQoLcNCo6xAgAJlhSjTR2cIUKCcocd7ScAJAo0aNcKQIUM4xecEQ95qbgIUKHPHl95pTIAZlMbBoWlaEKBAaREGGmFFAhQoK0adPjtCgALlCC1eSwIuJECBciFMdmVKAhQoU4aVThmBAAXKCFGijd4kQIHyJn2ObWkCFChLh5/O20GAAmUHJF5CAu4gIAK1ZMkSJE6c2B3ds08SMDwBCpThQ0gHjEqAGZRRI0e7PUWAAuUp0hyHBN4iQIHiI0EC4ROgQPEJIQEvEaBAeQk8hzUMAQqUYUJFQ81GgAJltojSH1cToEC5mij7IwE7CdSrVw+BgYHc6shOXrzMegQoUNaLOT3WhAAzKE0CQTO0JUCB0jY0NMzsBChQZo8w/XOWAAXKWYK8nwQiSYACFUlwvM0yBChQlgk1HdWNAAVKt4jQHt0IUKB0iwjtsQwBCpRlQk1HI0mAAhVJcLyNBJwlQIFyliDvNzsBCpTZI0z/tCVAgdI2NDRMEwIUKE0CQTOsR4ACZb2Y02PHCFCgHOPFq0nAZQQoUC5DyY5MSoACZdLA0i39CVCg9I8RLfQuAQqUd/lzdAsToEBZOPh03S4CFCi7MPEiEnA9AQqU65myR3MRoECZK570xkAE6tevj+HDh3OzWAPFjKZ6lgAFyrO8ORoJBBNgBsWHgQTCJ0CB4hNCAl4iQIHyEngOaxgCFCjDhIqGmo0ABcpsEaU/riZAgXI1UfZHAnYSoEDZCYqXWZYABcqyoafj3iYgArV06VIkSpTI26ZwfBLQkgAFSsuw0CgrEGAGZYUo00dnCFCgnKHHe0nACQIUKCfg8VZLEKBAWSLMdNKbBM6cOYM0adLA19f3DTPCEqgtW7bA39/fmyZzbBLQggAFSosw0AgzE6hcuTKePHmCqVOn4r333gt29W2Bun//Ppo2bYrr169j48aN7wiamRnRNxIIjQAFis8FCbiZwKlTp1CnTh3EiBEDgYGBKFiwoBoxpEAdO3YMHTt2xI0bNzBixAgUKVLEzVaxexLQnwAFSv8Y0UITEBgzZgwWLVqEly9fomvXrggICECjRo0wZMgQHD9+HN27d1c/K1GihNr+iI0ESACgQPEpIAEPEShfvjyCgoIQJ04cVKlSBWvWrEGDBg0wbdo0PH36FFGjRsXKlSuRIkUKD1nEYUhAbwIUKL3jQ+tMRGDDhg0YMGAAHj58qETq0aNHiBYtmlqfihkzJlq0aKGyKjYSIIHXBChQfBJIwIME2rZti927d78zohRPLFu2zIOWcCgS0J8ABUr/GNFCExGQgom6devixYsXwV7FihULQ4cOZWGEieJMV1xDgALlGo7shQTsJiAFE7LFkW2Kr2jRoqq6j40ESOBNAhQoPhEk4AUCtoIJHx8frFq1ioURXogBh9SfAAVK/xjRwjAIXDr5CFfPPcGzpy8Nx+jkyZPYtHEj8ubLh7x58xrO/qi+UZAkdQykyxrbcLbTYOMQoEAZJ1a09P8J3Lj0FFt+vI4nj14iWbpY8I3uQzYeJvDy+SsEXXyM509eoFi1JEibmULl4RBYYjgKlCXCbB4nb19/hh/HXkCOoomQKV988zhmUE/OH7mPncuvokrLVEiTKZZBvaDZuhKgQOkaGdoVKoG10y8jfvJYyFYoAQlpQuDc4fs4uvsW6nZJq4lFNMMsBChQZomkBfy4d+s5Fo04j2od37eAt8ZyccOM8yhWNQlSZ2QWZazI6W0tBUrv+NC6EATOHnmIfb/eRvHaqchFMwJ/rr+OFGmiIWdxZraahcbQ5lCgDB0+axl/6sADHPjtLorWSGktxw3g7f5NQUiU1Be5S1KgDBAuw5hIgTJMqGgoBUrfZ4ACpW9sjGwZBcrI0bOY7RQofQNOgdI3Nka2jAJl5OhZzHYKlL4Bp0DpGxsjW0aBMnL0LGY7BUrfgFOg9I2NkS2jQBk5ehaz3WoC9eLFcxw/fgiPHj1AhgzZ4OeXUO2CLgcbOtrsue/OnZs4dGgfMmXKgaRJHStEoUA5GhFebw8BCpQ9lHiNFgSMKFBBQVeQJInjJ+SKWDRrVh4HDvyh2A8aNA3ly9dE8eJpULp0VQwfPtvumEyfPgLDh3fB2rWHkDFj9jDv2717Mxo3/hQjRy5AxYp17O5fLqRAOYSLF9tJgAJlJyhe5n0CRhOoAQPa4eefF+O33646DG/UqJ6YPHkw+vadiDJlqqns6eXLl6hXryiKFSuPDh0G2d3nypVzMG5cX8ycuRFp0oT9kTMFym6kvNBDBChQHgLNYZwnYDSB+uKLsjh69O9ICVT9+sVx4cJpbNlyDlGiRHEenh09UKDsgMRLPEqAAuVR3BzMGQL2CtTjxw8xblw/rFkzH1euXECuXAXRsmVPlCz5OX79dQ2GDu2EVq16omrVRsHmyDTY4sVTMWHCcjUNtm/fTnz3XXfs3bsdKVKkQcmSldChw0DEj58Iz549RfXq+dGx42Bs2rQSa9cuRMyYsRAQ0FRdEzWqLwYO/Apz5oxT/dum1caPX4b3388SLoJ79+6gTp3COHHicPC9TZt2RJ48RdCuXXX1d2J38+bd7LJj8OAO2LnzF3XfggU7VCa2Y8cvmD9/orL9k0/88emnVdC4cXvYBErGO3bsAHbu3KBs7959FIoWLRuu3Zzic+bJ5r1hEaBA8dkwDAF7BEqmwZo0+RR79mxBjhx5kDnzR1i+fJbycezYJShSpCzy5o2Pjz7Kj6VLf1d/LwUExYqlQsKESdQ6je1FLT+rVq0xDh/+C//++w+yZMmJZcv2qutz5ny955y8wAsU8IdMoz14cA+BgXNQuXIDLFs2EyNGdMONG9eUmEhr1OgrJEsW/jZNUhDRv39bdX+cOPFQrlx1lCtXA5kzf4iRI3tg9er5Skx69BiFJ08eR2iHiOTcueNx5syx4EyucOHkqm/xbevWn5A168cQ8Qzpd7Fi5ZAwYVKsWjVXXfvHHzeV8IbVKFCG+d/IUIZSoAwVLmsba49ArV49D507N0CbNt/iq6/6KWBBQVdRpEgKJSYiQLI2JC/tdeuOqozm99+3oGHDkhgwYAqqV/8C5cplxs2b17Fx40kkSpRU9REY2A3Tpg1XL/LixT9TwiBZzaxZmxA9egyVqZUokRZVqjQMLmBwZoqvXLksSJAgERYt2hUcdMmu8uVL8I5ARWTHiBHfYOrUYUqgzp07gTp1iqBBg7bo3XucWte6dSsIiRMnCxYoEdTOnYeqcYWT8Jo3bxvy5StGgbL2/4Ie954C5XHkHDCyBOwRqO7dm6rso3Xr3kiSJHnwUFOmDFUicvDgE5w8eQRVquRSAiZC1rNnMyxd+gP27burMp4yZTKqbKl27RbB98uUm0yLtW8/EF980UkJVN26LdG376Tga/Lk8VOZmYiWNE8JVER2hBQomYosViy1yva6dx+pfIwVK46yN7Q1KPG7YsUcqiijZcseFKjIPry8L1IEKFCRwsabvEHAHoGqXbsQ9u/fjfTpM79joq+vL1avPgAfHx/IdSJYklHJlJ9t2kzWZ5o1K6emtUL7Fqh5866oVKl+qAIlGZRUyUm24U2BetuOkAIlmZJMWXbp0kCtc8n62tixS/Hxx5+EKlCXL5+Hv/97aNeuL9q27UOB8saDb+ExKVAWDr7RXLdHoFq3rqoW///++6EqXAiryZpR166NUKOGZE/Tg78Rkg9VAwLyhvtCtq39vJ25hCZQIpaSmTnaHJnii8iOtwVKbJF1tGXLZqBXr+bKtH/+eYS//vrtne+gKFCORo7Xu5IABcqVNNmXWwnYI1ATJvTH2LF9MGzYrDeq9GStRTInW5NKv8KFU6iproIFSwVPyz18eB+5c8dD2rQfKNGKESNm8D2vXr1SJd/2CpRNLHftuha8lmUvIHcKlNhv80sqGmfMGKmyvufPn1Gg7A0Qr/MIAQqURzBzEFcQsEeg7t69hfLls6q1pEqV6qFw4TLYtu1nlR2I4MSN6xdsiu3lPG7cjyhbNiD47207L4hI1anTErLlkKxr1anzJaQE216BWrFiNrp1a4zPPquldn+QjE7+aU9zl0CJMJUtm0kVSYh/48f3VxV+27dfxKlTRylQ9gSH13iMAAXKY6g5kLME7BEoGUNetL17t1DfMEmT9SQRBikKkFJyW5NiiYYN/bFt2wX4+kYL/nsRpFmzxmD8+H4qw5Ima1pt2vRWJeThCVS6dBkxe/av6p779++qknGZTpQm1X9Tp/5kF4bQBEr6k/WyJk06KF/stUO+55IiEcnkpA8RZpkGlSal+CK6sq62Z8+vaNSo1BtbHdmqE20FJWEZzzJzu8LKixwkQIFyEBgv9x4BewXKZqFM14nAhLfxqWRaUjgQWpMpvWvXLqmPc8Nbz4qIyO3bN+DjExWxYsVWFYThNdm3L2T1YUR9R/bnMp0nZeshBTuyfcl9FChn6PHesAhQoPhsGIaAowKlm2Pnz59C6dIZwjWrS5fh+N//uuhmeoT2UKAiRMQLIkGAAhUJaLzFOwSMLlDeoeaZUSlQnuFstVEoUFaLuIH9pUDpGzwKlL6xMbJlFCgjR89itlOg9A04BUrf2BjZMgqUkaNnMdspUPoGnAKlb2yMbBkFysjRs5jtFCh9A06B0jc2RraMAmXk6FnMdgqUvgGnQOkbGyNbRoEycvQsZjsFSt+AU6D0jY2RLaNAGTl6FrOdAqVvwClQ+sbGyJZRoIwcPYvZToHSN+AUKH1jY2TLKFBGjp7FbD97+CH2bbmN4rXDPzbdYli0cPfP9deRIk005CyeQAt7aIQ5CFCgzBFHS3hx79ZzLBpxHtU6vm8Jf43k5IYZF1CsamKkzhj2GVxG8oe26kGAAqVHHGiFnQTWTr+MBCliIWtB/qZuJzK3X3bu8H0c3X0LdbukdftYHMBaBChQ1oq34b29ff0Zlo65gA+LJ0KmvPEN74/RHTh/5D5+W34VlVumQppMzJ6MHk/d7KdA6RYR2hMhgaBLT7B1aRCePH6JZOliIVr0/07KjfBmXuASAi+ev8KNi4/x9PELFK+WBGmzxHZJv+yEBEISoEDxeTAsgYsnH+HauSd49vSlIX2YNWsW6tSpgxgxYuhn/6vwTYrqGwVJUsdAumwUJv2CZx6LKFDmiSU9MRiBUqVKYcWKFfDz++8YeoO5QHNJwK0EKFBuxcvOSSBsAhQoPh0kED4BChSfEBLwEgEKlJfAc1jDEKBAGSZUNNRsBKpVq4bx48cjderUZnON/pCASwhQoFyCkZ2QgOMEmEE5zox3WIsABcpa8aa3GhGgQGkUDJqiJQEKlJZhoVFWINCoUSMMGTKEU3xWCDZ9jBQBClSksPEmEnCeADMo5xmyB3MToECZO770TmMCFCiNg0PTtCBAgdIiDDTCigQoUFaMOn12hAAFyhFavJYEXEiAAuVCmOzKlAQoUKYMK50yAgEKlBGiRBu9SYAC5U36HNvSBESglixZgsSJE1uaA50ngbAIUKD4bJCAlwgwg/ISeA5rGAIUKMOEioaajQAFymwRpT+uJkCBcjVR9kcCdhKgQNkJipdZlgAFyrKhp+PeJkCB8nYEOL7uBChQukeI9pmWQL169RAYGMitjkwbYTrmLAEKlLMEeT8JRJIAM6hIguNtliFAgbJMqOmobgQoULpFhPboRoACpVtEaI9lCFCgLBNqOhpJAhSoSILjbSTgLAEKlLMEeb/ZCVCgzB5h+qctAQqUtqGhYZoQoEBpEgiaYT0CFCjrxZweO0aAAuUYL15NAi4jIAK1fPlyxI8f32V9siMSMBMBCpSZoklfDEWAGZShwkVjvUCAAuUF6BySBIQABYrPAQmET4ACxSeEBLxEgALlJfAc1jAEKFCGCRUNNRsBCpTZIkp/XE2AAuVqouyPBOwkQIGyExQvsywBCpRlQ0/HvU2gfv36GD58ODeL9XYgOL62BChQ2oaGhpmdADMos0eY/jlLgALlLEHeTwKRJECBiiQ43mYZAhQoy4SajupGgAKlW0Roj24EKFC6RYT2WIYABcoyoaajkSRAgYokON5GAs4SEIFaunQpEiVK5GxXvJ8ETEmAAmXKsNIpIxBgBmWEKNFGbxKgQHmTPse2NAEKlKXDT+ftIECBsgMSLyEBZwicOXMGadKkga+v7xvdhCVQW7Zsgb+/vzND8l4SMAUBCpQpwkgndCZQuXJlPHnyBFOnTsV7770XbOrbAnX//n00bdoU169fx8aNG98RNJ19pG0k4A4CFCh3UGWfJBCCwKlTp1CnTh3EiBEDgYGBKFiwoPppSIE6duwYOnbsiBs3bmDEiBEoUqQIGZKA5QlQoCz/CBCAJwiMGTMGixYtwsuXL9G1a1cEBASgUaNGGDJkCI4fP47u3burn5UoUUJtf8RGAiQAUKD4FJCAhwiUL18eQUFBiBMnDqpUqYI1a9agQYMGmDZtGp4+fYqoUaNi5cqVSJEihYcs4jAkoDcBCpTe8aF1JiKwYcMGDBgwAA8fPlQi9ejRI0SLFk2tT8WMGRMtWrRQWRUbCZDAawIUKD4JJOBBAm3btsXu3bvfGVGKJ5YtW+ZBSzgUCehPgAKlf4xooYkISMFE3bp18eLFi2CvYsWKhaFDh7IwwkRxpiuuIUCBcg1H9kICdhOQggnZ4sg2xVe0aFFV3cdGAiTwJgEKFJ8IEvACAVvBhI+PD1atWsXCCC/EgEPqT4ACpX+MaKHJCBw4cECtN61evRqFChVC48aNkS9fPpN5SXdIwHkCFCjnGbIHErCLwKZNmzB27FjcuXMHz58/V9V7UsUnH/DKNkitWrVS30exkQAJvCZAgeKTQAIeIDBhwgQsXrwYDx48wOeff652k0iaNClu376NP//8U2VUUiwhGdXgwYM9YBGHIAH9CVCg9I8RLTQ4gfnz56t9+OQD3D59+iJr1iy4c+MJ7t9+iVhxoyBR8pi4evUaBgzoj4MHD6JChQpqtwk2ErA6AQqU1Z8A+u9WAteuXUPFihWRMGFCzJk9F3FjJ8DWH2/g1D8PgsdNnTEWilZNhMQpY6j1KNn9fNy4cciVK5dbbWPnJKA7AQqU7hGifYYmMGXKFMycOROdO3dW60tLRl3A1XOP3/EV0Ho9AAACTUlEQVQpTnxf1OqYCv8c+hPt2rVDyZIlWXpu6MjTeFcQoEC5giL7IIEwCNSqVQvyce7Onb/h2P+1d8cuCYRhHMefIcRKqsG4jGgJzvnmQmh0MAhxd3Q9GtyrvcX/wG7J/AfabI6W4oYWoabTIaQhwiXeVxEpbLLj3nu//QHe83x+wgP2vs89fErvdrjQyjveksOTvN7Tp/431ev1cEXAagEGlNXx0/x/C6jt5OowhLqYe9eO5OXxY+Ejnf2s1Pw98X1fr0NS74RSO/v4Q8BWAQaUrcnTdywCpVJJHMeRTqfDgIpFnIekSYABlaY06SVxAvzEl7hIKMggAQaUQWFRqnkCPw9J3Fy9yeD161cj6xsrUjvblefwUdTGcw5JmJc1FS9fgAG1fFM+EYGZQBRF+mKuOmZ+3Q5kLbsp9+qY+dPcMfODVTk6nRwzr9fr0u/39cYJz/OQRMBqAQaU1fHTfBwCQRDot+YWCgV9UbdYdCcXdd+nF3V3sjKIhnJxeS5qT1+5XJZmsxlHaTwDgUQLMKASHQ/FpUWg1WrpgxJq1VGlUtGrjvL5bRmNJquOut0uq47SEjZ9LE2AAbU0Sj4Igb8F5pfFjsdjvSw2k8nMlsU2Gg2pVqswIoDAVIABxVcBgZgF1M94YRjqrea5XE5c1+V1GzFnwOPMEGBAmZETVSKAAALWCTCgrIuchhFAAAEzBBhQZuRElQgggIB1Agwo6yKnYQQQQMAMAQaUGTlRJQIIIGCdAAPKushpGAEEEDBDgAFlRk5UiQACCFgn8A3CmSJ8sJIwSQAAAABJRU5ErkJggg==)

</center>

Tenemos 4 estados que según su transición al siguiente, determinan como se va armando nuestra máquina de estados.

Para que nuestra maquinita funcione, necesitamos configurar las siguiente variables de entorno:

```
BUDA_API_KEY=buda-api-key
BUDA_API_SECRET=buda-api-secret
TARGET_VOLUME=100000 // amount to spend
RATE_TO_ACTION=0.1 // minimum expected price fall
CURRENCY=LTC //crypto currency
SHOULD_RUN=1
```

En palabaras un poco más simple, podemos resumir el diagrama y la configuración de la siguiente manera:

> Consultaremos constantemente el mercado (ticker) para poder calcular si el precio de la _crypto_ `CURRENCY` ha bajado **al menos** un porcentaje igual a `RATE_TO_ACTION`. Si esto sucede, compraremos el equivalente a `TARGET_VOLUME` en nuestra moneda local (CLP en nuestro caso) de la _crypto_ `CURRENCY` al precio de mercado.


Los estados y su explicación son los siguientes:


- `event_get_ticker`
	- Este estado tiene como finalidad gatillar la obtención del _ticker_ según la moneda base que se le configure. En el caso de la API de buda sólo tenemos disponibles `BTC`; `LTC`; `BCH`; `ETH`.
		- Cuando se tenga el ticker, se despachará el evento `event_calculate`, pero si hay algún error, será nuevamente `event_get_ticker`.

```go
const (
	eventGetTicker = "event_get_ticker"
)

func (b *Bot) GetTickerHandler(e *statemachine.Event) (*statemachine.Event, error) {
	nextRequestStartAt := b.lastRequestMadeAt.Add(time.Second * time.Duration(b.config.TimeoutInSeconds))
	now := b.now()
	if now.Before(nextRequestStartAt) { // to avoid blocks by too many requests
		return &statemachine.Event{Name: eventGetTicker}, nil
	}

	ticker, err := b.buda.GetTicker(strings.ToUpper(b.config.Currency))
	if err != nil {
		log.Printf("bot: Bot GetTickerHandler b.buda.GetTicker error %s", err.Error())
		return &statemachine.Event{Name: eventGetTicker}, nil
	}

	b.lastRequestMadeAt = now

	return &statemachine.Event{
		Name: eventCalculate,
		Data: map[string]interface{}{
			"payload": &eventPayload{ticker: ticker},
		},
	}, nil
}
```

- `event_calculate`
	- Este estado tiene como finalidad calcular si el precio de nuestro _ticker_ cumple con nuestra porcentaje configurado anteriormente con `RATE_TO_ACTION`. En caso de cumplir será despachado el evento `event_create_order`, de lo contrario se despachará `event_get_ticker`.
	- Para calcular un porcentaje de bajada necesitamos un precio de referencia, este será el valor del primer ticker que obtengamos.

```go
const (
	eventCalculate = "event_calculate"
)

var bitSize = 64

func (b *Bot) CalculateHandler(e *statemachine.Event) (*statemachine.Event, error) {
	payload := b.parseData(e.Data)

	ask, err := strconv.ParseFloat(payload.ticker.MinAsk[0], bitSize)
	if err != nil {
		// if this happens we will assume that is something wrong with the API response/connection
		return nil, errors.Wrap(err, "bot: Bot CalculateHandler strconv.ParseFloat error")
	}

	// if is the first execution
	if b.referencePrice == 0 {
		b.referencePrice = ask
	}

	if ask <= (b.referencePrice*1 + (b.config.RateToAction / 100)) {
		return &statemachine.Event{Name: eventGetTicker}, nil
	}

	return &statemachine.Event{
		Name: eventCreateOrder,
		Data: map[string]interface{}{
			"payload": &eventPayload{
				buyPrice: ask,
			},
		},
	}, nil
}
```

- `event_create_order`
	- Este evento es el encargado de interactuar con la api de buda y poner una order de compra. En este caso en particular, nuestra orden de compra será de tipo market por lo que se espera que sea una _compra instantánea_. Una vez que se compró, se despachará `event_finish`, si la llamada al API de buda falla retornaremos un error y la ejecución de nuestro flujo será terminada por la **statemachine**.


```go
const (
	eventCreateOrder = "event_create_order"

	typeOrderBid   = "Bid"
	typePriceLimit = "market"
)

func (b *Bot) BuyCryptoHandler(e *statemachine.Event) (*statemachine.Event, error) {
	payload := b.parseData(e.Data)

	order, err := b.buda.CreateOrder(b.config.Currency, &buda.CreateOrderRequest{
		Type:      typeOrderBid,
		PriceType: typePriceLimit,
		Amount:    b.config.TargetVolume / payload.buyPrice,
	})
	if err != nil {
		return nil, errors.Wrap(err, "but: Bot.BuyCryptoHandler b.buda.CreateOrder error")
	}

	log.Printf("Bot.BuyCryptoHandler order created %+v", order)

	return &statemachine.Event{Name: eventFinish}, nil
}
```	

- `event_finish`
	- Este evento despacha un `event_abort` luego que hayamos terminado la ejecución por completo

```go
const (
	eventFinish = "event_finish"
)

func (b *Bot) FinishHandler(e *statemachine.Event) (*statemachine.Event, error) {
	return &statemachine.Event{Name: statemachine.EventAbort}, nil
}
```

### Conclusión

Pasamos de un approach bastante simplista a un approach más complejo. Esto no es porque sí. Si bien es cierto, un `for` _loop_ más `break` y `continue` suelen ser la solución en muchos de los casos, esta vez el problema no era la solución sino como probar nuestra solución. 

Mientras que la máquina de estados agrega una cuota de complejidad que antes no teníamos, por otra parte facilita enormemente el proceso de _testing_ ya que en vez de tener un ciclo enorme y con todo el código acoplado, ahora tenemos todas las partes de nuestro algoritmo separadas por responsabilidad y bien definidas.