edit_distance_token_passing.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import graphviz"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "import numpy as np\n",
    "import matplotlib.pyplot as plt"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "plt.rcParams['font.size'] = 15\n",
    "plt.rcParams[\"figure.figsize\"] = [11,11]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "word1 = 'POLYNOMIAL'\n",
    "word2 = 'EXPONENTIAL'\n",
    "col_labels=['#'] + list(word1)\n",
    "row_labels= ['#'] + list(word2)\n",
    "table_vals= [[0 for i in range(len(col_labels))] for j in range(len(row_labels))]\n",
    "# Edit distance initialization\n",
    "for i in range(len(row_labels)):\n",
    "    table_vals[i][0] = i\n",
    "for i in range(len(col_labels)):\n",
    "    table_vals[0][i] = i\n",
    "    "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "# Edit distance dynamic programming\n",
    "for i in range(1, len(row_labels)):\n",
    "    for j in range(1, len(col_labels)):\n",
    "        table_vals[i][j] = min(table_vals[i - 1][j - 1] + (1 if row_labels[i] != col_labels[j] else 0), table_vals[i][j - 1] + 1, table_vals[i - 1][j] + 1)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "# Best path tracking in dynamic programming\n",
    "n = len(row_labels) - 1\n",
    "m = len(col_labels) - 1\n",
    "line = [[m, n]]\n",
    "while(n > 0 or m > 0):\n",
    "    if n > 0 and table_vals[n][m] == table_vals[n - 1][m] + 1:\n",
    "        n -= 1\n",
    "    elif m > 0 and table_vals[n][m] == table_vals[n][m - 1] + 1:\n",
    "        m -= 1\n",
    "    else:\n",
    "        n -= 1\n",
    "        m -= 1\n",
    "    line.append([m, n])"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAo4AAAJ6CAYAAACmDcPvAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDMuMC4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvOIA7rQAAIABJREFUeJzs3Xm8HGWd7/HPl4QtkLBFRBkuQUFDkE12AiigEnFYlC0oMhlmvAMMAwOjAzjAAAJXhovIgBCZC4gLi7IMu0GQIJkAsgYUEtmFsMwQEzALIQm/+8dThzRN9znVOd1dVed8369Xv/p0VZ/ub+pUqn/11PM8rYjAzMzMzKwvyxUdwMzMzMyqwYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlosLRzMzMzPLxYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlosLRzMzMzPLxYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlosLRzMzMzPLxYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlsvQogN0m6QoOoOZmZlZqyJCRWdwi6OZmZmZ5eLC0czMzMxyGXSXqmuVocm3FbWX2auUvaq5obrZq5obqpu9qrmhutmrmhuqm72quaG62cvWxc4tjmZmZmaWiwtHMzMzM8vFhaOZmZmZ5eLC0czMzMxyceFoZmZmZrm4cDQzMzOzXFw4mpmZmVkuLhzNzMzMLBcXjmZmZmaWiwtHMzMzM8vFhaOZmZmZ5eLC0QCQdKekY7Kfj5V0e9GZeiPpVElRc3tF0nWSPl50tjwkTZD0gKR5kt6SdI+kvYvO1Zdsu79RdI68JF0v6RlJKzVYN0nSU5JWKCJbX2r28UkN1l0raXIBsVpSpf28Zns/3WT9M9n6U7scrWVV+38KoOT5bBtvWHSevKq4rfvLhaP12Ax4LPt5S2BagVnyehPYIbt9E9gCuEvSKoWm6oOki4H/BzwA7AscBLwA3Cjp+AKjDURHAx8GTqxdKGl/4AvAERHxThHBWvAFSdsUHaJVFd3P3wY2kLR17cJs+6+frbfO2AEYlf08vsAc1oehRQew4kn6KPAhlhaLWwKlbnHMLI6I+7Of75f0R+BeYE/gF8XFak7SvsDhpIJlYs2q2yW9Bpwl6VcR8UgxCQeWiHg5ayE6U9JPIuKZ7MTiPODHETG50IB9+xPwMvAvpOKrEiq8n88DHiEVLg/VLB8P/BrYqohQg8TBpO3/u+znM4qNY824xdEANgdeiIg5klYERgOPF5xpWTyc3Y8qMkQfjgGeAf6jwbqzgD8DR3U10cB3PjADuCB7/K/AMFIrddkFab/YW9KmRYdpQZX386uBAyUJ0iVU4MBsuXWApCHAAcBNwGXAGEmbFZvKmnHhOIj19A8EbgNGZT+/TWqJ/l22fkKRGVs0Krt/rcgQzUgaSrocc3NELKlfHxFvAncDu3Q720AWEYuBI4A9JJ0M/CNwQkT8T7HJcvsF8AdSq2PpDYD9/HpS94adssc7k67I3FBYooFvN9I2vxq4FlhEanW0EnLhOLhtmd0eAs7Ofj4fmFKz7qbC0uUgaWh2+wRwEakl486CYzUzElgReLGX57wIrNudOINHREwFLgVOBx4k9b2rhIh4F/gucEC2n5ddpffziJgD/JKl/ezGA7/MlltnHAzMIW3nPwG/Asb3tPpaubhwHMQi4jFSv8YNgZuyx+sAd0fEY9ntT4WG7N1apDPTRaRLkR8DDoqIVwtNZWV1TnZ/bkREoUla91Pgj9QN8rGOuRrYP+u6sz++TN0x2Tb+MnBDzUC1q0hXkLYvKpc158JxkJI0JLuktAmwCvB49nhb4MGsFa/s+8ebwDbA1sBfAKMiosyDet4AFpJGZzazPjCzO3EGnXfq7isju9z+b8Ahknrbf8pgIOznNwGrAmeSjo83FxtnQPsisDpwm6TVJa0OTCbtQ75cXUJlLwysc54ltdQ9ASxPusS7CNiAdNBcBJxSWLp8FkfEQxHxcETMLHsrUvbhfx/wpUZFuaQRwGeB33Q5mlXDZcB/A2WdygYYGPt5RMwDbgGOJfXVnFdwpIGspzj8BTA7u71E6u5wYDZwxkrEhePgtRepte4O0gfSNsDJwFPZz9sAlxSWbuA6H/gE8LcN1p0AjAAu7Goiq4SIWAj8X+Aw4CMFx+nLQNjPLya1NE7s64m2bCStCvwl6dL0rnW340gDZnYtLKA15HkcB6mIeAJA0iakPl8PSfoGqXPyQ73/ti2riPhPSROBH0gaQ2rVGEqaHHkCcGIJ57art0I2gXa9eyo0Urmqfgh8G9gRuKfgLE0NhP08m+NzcsExBrp9SFNjnR8RD9SukPRfpJkEDqa8Ax57DKpjogvHQSw7oI8kTZoN8HnKO7faQHIk6ds0jgC+AbxLmnR4n4go9Sj2zHAaT7C+K/6g7aiImC/pPFLfu7Kr+n5unXcw8HR90QgQEYsk/Rw4WNKRWYt7WQ2qY6JK3i2s7bK5CgGIiEoN9a9q9qrmhupmr2puqG72quaG6mavam6obvaq5obqZi9bbvdxNDMzM7NcXDiamZmZWS4uHM3MzMwsFxeOZmZmZpaLC0czMzMzy8WFo5mZmZnl4sLRzMzMzHJx4WhmZmZmubhwNDMzM7NcXDiamZmZWS4uHM3MzMwsFxeOZmZmZpaLC0czMzMzy8WFo5mZmZnloogoOkNXSRpc/2AzMzMbECJCRWdwi6OZmZmZ5eLC0czMzMxyGVp0gCKVocm3FbWX2auUvaq5obrZq5obqpu9qrmhutmrmhuqm72quaG62cvWxc4tjmZmZmaWiwtHMzMzM8vFhaOZmZmZ5eLC0czMzMxyceFoZmZmZrm4cDQzMzOzXFw4mpmZmVkuLhzNzMzMLBcXjmZmZmaWiwtHMzMzM8vFhaOZmZmZ5eLCsY0k3SnpmOznYyXdXnSmvkgaI+kuSfMlvSLpdElDis7VF0kbSvqhpGmSlkiaXHSmPCQdIOkmSTMlzZX0sKSDi86Vh6T9JU2VNEvS25JmSDpJ0gpFZ2uFpHWzbR+SVi06T28kTchy1t8OLzpbXyQNlXSCpKclLZT0sqTzis7VF0mTm2zzkLRD0fl6I2m8pEey/XumpB9L+mjRufKQtK+kx7N95XlJxxWdqV6ezx0l35b0kqQFkn4jaYsC4nbM0KIDDDCbAd/Jft4SmFZglj5JWgO4E3gS2Af4OHAu6YTipAKj5bEJsCdwP1ClwuU44HngWOAN0r/hSkkjI+KCQpP1bS3gbuAcYA6wLXAqsA5wVHGxWnYOMBdYpeggLdgNWFDz+LmigrTgcmB34DRgOrAeMKbQRPkcCYyoW3Y66Zj+YPfj5CNpb+Aq4AfAt4CPAGcAt0jaOiLeLTJfbySNBa4HLgO+CWwHnC3p3Yj4fqHh3i/P584JwMmkv8F00jH/TkmfiojXupKy0yJiUN2A6Lm1+XU/mr3u6tnjJ4CDy5wdOBGYDYyoWfbPwPzaZWXLnb3mcjU/XwtMrsL+AoxssOxK4Pky5+7lfc4kFZGqQnZgZ+BPpA+nAFYtc25gQrtzdiM7MA5YBIypUu4m77FCts9cXObswNXAw3XL9s7eY+Oy5s5ecxLwm7pl38u2+wplyd7X5w6wEvAmcErNslWA/wHOKNM278/Nl6rbZ3PghYiYI2lFYDTweMGZ+vJFYFJEvFWz7GpgZeAzxUTKJ0p89tybiHijweJHgbW7naVNZlGRFt+sC8YFpNajRn8Ha5/DgF9HxJNFB2mDccAapNa8MlueVLTUmpPdq8tZWrUF6epXrTtI27003QNyfO7sSGqt/nnN78wDbiZ93g4ILhz7qafvC3AbMCr7+W1SN4DfZesnFJmxF6M/DQuQ/rrnFrC70iWx0UWHG0R2JHUXqARJQyQNk7QTcDSpJSaKzpXD4aQWgR8UHWQZPCtpcdav9O+KDpPDdsAfJF0o6a2sD/X1VelvV2c8MBO4t+ggfbgM2FnSoZJGSPoE6VL13RUo4FcC3qlbtjC737jLWfpjNLAEeLpu+VMMoM9U93Hsvy2z+/8A7iK12E0AtgL+IVv3x+7HymWNj6Tm7/VrFw6FtxalMz3rMEm7k/qXHlZ0lhbMA1bMfv4xqS9PqUlai9T/+JCIWCSVvQHmPa+S+kv9FhgCHAxMlDQsIso80GQd0nFwGqnwGg78G3CDpO0rcqKBpGHAXsAlZc8cEbdmjRSXAldki6eSLleX3TPANnXLts3u1+xylv5YA5gbEUvqls8GhklaISLqC+TKceHYTxHxmNKn0IbAMdnjdUhneY8VHG9ZiVRQWgdJGkXq33hjRPyo0DCt2REYRjqwnwJcSBpQUGZnAg9ExG1FB2lFREwi9f/qcXvWFeYkSeeXuMuGsts+ETELQNKrwD2kgT53FZitFXsBq1L+y9RI2hWYCJwP3A58mDR47QZJn2tQzJTJROBiSd8g9R3cFvinbF2ZczfS6LNTvayrHBeO/ZD1mRKpCXoV4HFJQ0k7/c+yn98t8cF99txUALzPktQ6MKfB861NJK1JOrj/ETik4DgtiYhHsh+nSHoDuELSuRHxbJG5mpG0CalFdxdJq2eLe/b71SQtiYgFjX+7lK4FDgRGUd7R1bOB53qKxswU0uXIMVSncBwPPBMRDxUdJIdzgZsi4vieBZIeI43s3Yc0armsLiONE7gYuIQ0QPN4Up/k1wvM1arZwHBJQ+oK9dWB+RGxqKBcbeU+jv3zLGnk4BOkjsl/zh5vANyU/XxKYen6Nv0VWLd2wUMw4t00OGZ6QZkGvOzy1y2kQSVfyjpPV1VPEblBoSl6txHp/+d9pAP7bJb2c3yZ9OFURWVuvXiqyXIBZT2Rfh9Jq5EGNJS+tTEzGnjfVa6ImEHqs/7xQhLlFBFLIuIo4EOkae0+TJryhpr7KphO6lKyYd3y0Qygz1QXjv2zF6lfxh2kM6ZtSP2Rnsp+3oZ09lRWt78IW7xaMyr2QviU0uCeewrMNWBlrdC/IBUzX4yI/y44Un+Nze6fLzRF76YAu9bdzs7W7Uma17FK9iONCn+x6CC9uAXYTNLImmW7kAr4Us9vW+PLpL68VSkcXwQ+XbtA0sakhoAXigjUqoiYHRFPRMRcUveXqRFRpYJrKvAWcEDPgpp+sqX/QpC8fKm6HyLiCXjvUti5EfFQ1kfjlxW5tDFxOfjnXeGgo+C//gBrXAWf/Thc/vT7p+gpnew/457Zw3WBEZL2zx7fFhHzi0nWp4tIuY8B1pS0fc26RyNiYeNfK56kX5KmzPg9qd/RWFI/pGvKepka3psCaXLtsqx/KcC92YdUKUm6jjQw5nFSS8ZB2e3oEneBgXTCfDRws6SzSN1fzgbujIgphSbLbzwwLSKatZ6WzUTgPEmvsLSP4ymkorHUfXuz4+BOpBbTEaRBYHtky0ojz+eOpO8CJ0uazdIJwJejulc2PqjoiSS7faP9k66OIbXQrZw9fg7YswrZI4LL4JiN4PmhsGg4/PkrcM+fYPOy5yb174omt1FlzU46iFcud/aa3wF+R/rWlTmky9T/ACxf9v2lwXtMoBoTgJ8FzCD1+VoAPAx8vQPboxPZNyQVLPNI3QN+BKxR9tzZ644kdTU6od3bulPZSd0AjiCdZMwjTSF0DfCxMufOXnMr0rfyzCW12N0KbFq2bZ7ncyf7O/wLqRvMAtI0TluWbZv356Ys1KCRzbMIQERUZk4O6FB2aT9g07ql15G1prbnLbzNu62quaG62auaG6qbvaq5obrZq5obqpu9bLndx9HMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlosLRzMzMzPLxYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlosiougMXSVpcP2D+/AVYNO6ZdcBvysgi5mZmTUXESo6g1sczczMzCwXF45mZmZmlsugvlRdhibfVnQku7Qfja5WRzzRltfH27wIVc0N1c1e1dxQ3exVzQ3VzV7V3FDd7GXL7RZHMzMzM8vFhaOZmZmZ5eLC0czMzMxyceFoZmZmZrm4cDQzMzOzXFw4mpmZmVkuLhzNzMzMLBcXjmZmZmaWiwtHMzMzM8vFhaOZmZmZ5eLCsQ0knSopmtwOKTpfb34O6+wKf/lROHw5OGUjmFB0pjwkbSjph5KmSVoiaXLRmfKQdICkmyTNlDRX0sOSDi46Vx6S9pc0VdIsSW9LmiHpJEkrFJ2tFZLWzbZ9SFq16Dy9kTShyXHl8KKz9UXSUEknSHpa0kJJL0s6r+hcfZE0uZfj+Q5F5+uNpPGSHsn275mSfizpo0XnykPSvpIez/aV5yUdV3Smenk+d5R8W9JLkhZI+o2kLQqI2zFDiw4wgLwJjGuw/JluB2nFb2C9R2Gjj8PLS2BI0XlasAmwJ3A/UKXC5TjgeeBY4A3Sv+FKSSMj4oJCk/VtLeBu4BxgDrAtcCqwDnBUcbFadg4wF1il6CAt2A1YUPP4uaKCtOByYHfgNGA6sB4wptBE+RwJjKhbdjqwJfBg9+PkI2lv4CrgB8C3gI8AZwC3SNo6It4tMl9vJI0FrgcuA74JbAecLendiPh+oeHeL8/nzgnAyaS/wXTSMf9OSZ+KiNe6krLDFBF9P2sA6cSXhUs6FTgqIka24/V6eZ+2Z18o7b8ifApgKzjwLRj2NOxFxBPteH3o2DZfrudAKOlaYGREfLYdr133Pm3NnhWIb9QtuxLYISI26O/r17xm27d5k/c5E/h7YI1o08Gkk9kl7QzcCJxFKiCHR8TcNr12J/bzCaQCrG05m7xPu/fzccDNwOYR8WR/X6+X9+n4fp61qL8GXBMRR7Txddu9za8GNoqIrWqW7U3a38dExFP9fY/sNTuxn08CVo6IXWqWfY90BWydiHinTe/Tr+x9fe5IWgl4HTg3Ik7Plq0CvAD8MCJOKiJ3u/lS9SC3IlTyzKHMZ8+9qS8aM48Ca3c7S5vMoiItvpKGABeQWo8a/R2sfQ4Dft3JorGLxgFrkFrzymx50pWvWnOy+8KLjT5sAdxZt+wO0nYvTfeAHJ87O5Jaq39e8zvzSCdRX+xgtK5y4dhGWZ+e992KzmSVsCNQmQ9YSUMkDZO0E3A0cHG7Whs77HBgJdKlvKp5VtLirF/p3xUdJoftgD9IulDSW5LmS7q+Kv3t6owHZgL3Fh2kD5cBO0s6VNIISZ8gXaq+uwIF/EpAfaviwux+4y5n6Y/RwBLg6brlT2XrBgQXju2zFrCo/iZpVIGZrOQk7Q7sQ7WKmXnZ7V7gHlJfnlKTtBbwHeC4iFhUdJ4WvErqL/V1YC/gAWCipGMLTdW3dUiXGbcgFV5/DWwF3CCp7K1f75E0jLTdryn7yVFE3Era5peQWh5nkPqtf6XAWHk9A2xTt2zb7H7NLmfpjzWAuRGxpG75bGBY1QYSNuMWsfZ5E/hcg+WvdDuIVUN2UnElcGNE/KjQMK3ZERhGOrCfAlxIGlBQZmcCD0TEbUUHaUVETAIm1Sy6XdKKwEmSzi9xlw1lt30iYhaApFdJJxq7AXcVmK0VewGrUv7L1EjaFZgInA/cDnyYNHjtBkmfa1DMlMlE4GJJ3wCuJR1b/ilbV+bcjTQ6wVAv6yrHhWP7LI6Ih4oOYdUgaU3Swf2PQKmnbKoXEY9kP06R9AZwhaRzI+LZInM1I2kTUp+7XSStni0elt2vJmlJRCxo/NuldC1wIDCK8o6ung0811M0ZqaQLkeOoTqF43jgmYoc288FboqI43sWSHqMNLJ3H9Ko5bK6DNgcuJjUYjofOJ7UJ/n1AnO1ajYwXNKQukJ9dWB+xa52NOVL1WZdll3+uoU0qORLWefpquopIts2IrwDNiINHLiPdGCfzdKuAS+TPpyqqMytF81G8Aooayvp+0hajTSgofStjZnRwGO1CyJiBmkap48XkiiniFgSEUcBHwI2I7WW3p+tvr/pL5bPdFL3gA3rlo/O1g0IbnE066JswNQvSMXM2Ij474Ij9dfY7P75QlP0bgqwa92ycaQWjT0pb6tdM/uRRoW/WHSQXtwCnFY3/dQupAJ+WnGxWvJlYEWqUzi+CHy6doGkjYGVSdPBlF5E9JzYIelIYGpEVKngmgq8BRxAGphU20/2kgJztZULx/YZKmn7BstfioiZXU+T00uwwuXZpLyzYPjbsOLn4PN3SZ8EbouI+QVHbCj7z7hn9nBdYISk/bPHpc0NXETKfQywZt0+82hELGz8a8WT9EvSlBm/J/U7Gkvqh3RNWS9Tw3tTIE2uXVYzaO3eTs6P2F+SrgN+CzxOask4KLsdXeL+jZA+JI8GbpZ0FjAcOBu4MyKmFJosv/HAtHbNf9gFE4HzJL3C0j6Op5CKxlL37c2OgzuRWkxHAAcDe2TLSiPP546k7wInS5rN0gnAl6O6VzY+KCIG1Y10eSfSP71tr3lq7evW3U4qc/Yb0xQlzbKPKmtuUv+ujubuRHbSQbxyubPX/A7wO9K3rswhXab+B2D5dr1Hp7I3eI8J2XusWubcpInKZ5D6fC0AHga+3oHt0YnsG5IKlnmkVqQfkSaKL3Xu7HVHkmbGOKHd27pT2UndAI4gnWTMI00hdA3wsTLnzl5zK9K38swltdjdCmxatm2e53Mn+zv8C6kbzALS7BNblm2b9+fmb46pkI5kl/YDNq1beh0l/+aYbqlq9qrmhupmr2puqG72quaG6mavam6obvay5fbgGDMzMzPLxYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLi4czczMzCwXF45mZmZmlosLRzMzMzPLxYWjmZmZmeXiwtHMzMzMcnHhaGZmZma5uHA0MzMzs1xcOJqZmZlZLoqIojN0laTB9Q/uw1eATeuWXQf8roAsZmZm1lxEqOgMbnE0MzMzs1xcOJqZmZlZLoP6UnUZmnxb0ZHs0n40ulod8URbXh9v8yJUNTdUN3tVc0N1s1c1N1Q3e1VzQ3Wzly23WxzNzMzMLBcXjmZmZmaWiwtHMzMzM8vFhaOZmZmZ5eLC0czMzMxyceFoZmZmZrm4cDQzMzOzXFw4mpmZmVkuLhzNzMzMLBcXjmZmZmaWiwtHMzMzM8vFhWMbSPq1pGmShtYt309SSPp8Udl6I+mAUXDCanDcivDt9eB/nwSfKjpXHpIOkHSTpJmS5kp6WNLBRefqS1VzA0jaX9JUSbMkvS1phqSTJK1QdLZWSFo32/YhadWi8/RG0oQsZ/3t8KKz9UXSUEknSHpa0kJJL0s6r+hcfZE0uck2D0k7FJ2vN5LGS3ok279nSvqxpI8WnSsPSftKejzbV56XdFzRmepJ2lDSD7PP+yWSJjd4jiR9W9JLkhZI+o2kLQqI2zFD+36K5XAk8DhwNPA9gOwD6fvAzyPiVwVm681xK8Lb/wiT1oH5t8BGZ8J+t8IfHoUnig7Xh+OA54FjgTeAPYErJY2MiAsKTda7quYGWAu4GzgHmANsC5wKrAMcVVyslp0DzAVWKTpIC3YDFtQ8fq6oIC24HNgdOA2YDqwHjCk0UT5HAiPqlp0ObAk82P04+UjaG7gK+AHwLeAjwBnALZK2joh3i8zXG0ljgeuBy4BvAtsBZ0t6NyK+X2i499uEdMy+H2h2wnwCcDLpbzCddMy/U9KnIuK1rqTsMEVE0Rm6StJ7/+CIUBtf9/+QPjxHR8RMSecC38gev9Km92hrdkkjAz4DbNqzbDvY7zFYY2HEX/T39Wvep+3bPCu03qhbdiWwQ0Rs0I73yF6z/du8grl7eZ8zgb8H1og2HUw6mV3SzsCNwFmkAnJ4RMxt02t3Yj+fQCrA2pazyfu0ez8fB9wMbB4RT/b39Xp5n47v51mL+mvANRFxRBtft93b/Gpgo4jYqmbZ3qT9fUxEPNXf98hesxP7+SRg5YjYpWbZ94AJwDoR8U6b3qdf2SUt11OAS7oWGBkRn61ZvxLwOnBuRJyeLVsFeAH4YUScVETudvOl6vb5DjALOE/SZqTWx39tV9HYCfUFDMDG8OoiWLOIPK1olB14FFi721laUdXcvZhF8zPvUpE0BLiA1HrU6O9g7XMY8OtOFo1dNA5Yg9SaV2bLA2/WLZuT3RdebPRhC+DOumV3kLZ7aboH5Gi13ZHUWv3zmt+ZRzqJ+mIHo3WVC8c2iYj5wDHAAaQzvCdJH1KV8hisN6wal8Ea2ZG03aumUrklDZE0TNJOpBOki9vV2thhhwMrkS7lVc2zkhZn/Ur/rugwOWwH/EHShZLekjRf0vVV6W9XZzwwE7i36CB9uAzYWdKhkkZI+gTpUvXdFSjgVwLqWxUXZvcbdzlLf4wGlgBP1y1/Kls3ILhwbKOIuBF4GBgF/GNELC42UWsugg0eh9GbwdVFZ2mVpN2BfahYUVDR3POy273APaS+PKUmaS3SVYHjImJR0Xla8Cqpv9TXgb2AB4CJko4tNFXf1iFdZtyCVHj9NbAVcIOksrd+vUfSMNJ2v6bsJ0cRcStpm19CanmcAQwBvlJgrLyeAbapW7Ztdl/6K2A11gDmRsSSuuWzgWFVG0jYjAfHtJGkrUkdqAP4LGkgQSXcB6v/M+y3GUyfCk8hLUeJO1PXkjQKuBK4MSJ+VGiYFlQ1N6mFdBjpwH4KcCFpQEGZnQk8EBG3FR2kFRExCZhUs+h2SSsCJ0k6v8QDHpTd9omIWQCSXiWdaOwG3FVgtlbsBaxK+S9TI2lXYCJwPnA78GHS4LUbJH2uQTFTJhOBiyV9A7iWdGz5p2xdmXM30ugEQ72sqxwXjm0iaTngYuA+4FfACZKuiIiyX/Zd9BysvC98bU148440sm1TYAWkayl564ykNUkHyT8ChxQcJ7eq5gaIiEeyH6dIegO4QtK5EfFskbmakbQJqc/dLpJWzxYPy+66lI/TAAAgAElEQVRXk7QkIhY0/u1SuhY4kHRlo6zHl9nAcz1FY2YK6XLkGKpTOI4HnomIh4oOksO5wE0RcXzPAkmPkUb27kM6tpfVZcDmpM/QS4D5wPGk7l6vF5irVbOB4ZKG1BXqqwPzK3a1oylfqm6fw0mtjUcC3yX1ifn3QhPl8BC8tDt8dTEMmQRXrg09O/YngUORVi4yX2+yy0i3kAZnfCnrhFx6Vc3dRE8R2bYR4R2wEWngwH2kA/tslnYNeJkK9kXOlLn1otkIXgFlbSV9H0mrkQY0lL61MTMaeKx2QUTMIE3j9PFCEuUUEUsi4ijgQ8BmpNbS+7PV9zf9xfKZTuoesGHd8tHZugHBhWMbSFqbdCnsgoh4PCIWkgYNfEnSPsWma07S0G3gjJkw/Bfws41Tv7Va6wGHkQ6gpaI02fovSEXBFyPivwuOlEtVc/dibHb/fKEpejcF2LXudna2bk/StDxVsh9pVPiLRQfpxS3AZpJG1izbhVTATysmUsu+DKxIdQrHF4FP1y6QtDGwMmk6mNKLiNkR8UQ29dSRwNSIqFLBNRV4izRIFnhfP9nbiwrVbr5U3R7/l3RW9689CyLiNkk3At+XdEdJL4VdBOy5CI65Eea+kqY9EMDe8OqI1LfkQ8DfIv2UiDJdMriI9KF/DLCmpO1r1j2aFe9lVNXcSPolacqM35P2jbGkfkjXlPUyNbw3BdLk2mVZ/1KAezs5P2J/SboO+C3pCwaGAAdlt6NL3L8R0uXGo4GbJZ0FDCcV63dGxJRCk+U3HpjWrvkPu2AiaTq4V1jax/EUUtFY6r692XFwJ1KL6QjgYGCPbFlpZEXgntnDdYERkvbPHt8WEfMlfRc4WdJslk4AvhzVvbLxAZ4AvP+vtwupw/dXI+KqunXrk6ZZ+V5EnNyG92p39heA9Rutmwrn77B0DjCAt4GriGi5laNDE8a+QJPswAYR8UKb3qdr25wS585e8zukVphRwGJS/7rLgYnt7LvTpUmdJ9DmibU7tM3PIrUwrkc6qXsS+H5E/KQdr1/zPp3IviGpu85nSH0bbwSOjYjZ7Xj97D069YUOI8lGtEfEd9v1unXv0e5ji0hdpo4gXZqeQ2ptP7Gdfe07tK9sRSp8NyZ1ZbgXOCEi2voNZm2YAHwUza+ubBARL2R/h2+T/g5rAQ+RTvQebTnw0vct1QTgLhwrpCvZ03+Mg0mXaOotBq6nxTnBvM27r6q5obrZq5obqpu9qrmhutmrmhuqm71sud3H0d4vtXhdDvy5wdqhwAFI9fNtmZmZ2SDgwtE+KH0R+6U0/lo2AV9C2o0KTeRrZmZm/efC0RqLmEOaW+vlJs/YBdibNH+lmZmZDQL+0Lfm0vdv/xj4Q5NnbAmMR1q+e6HMzMysKC4crXcR7wDXAM1GhH0C+CvSNAVmZmY2gLlwtL6lr066CfhNk2f8BWmi8NWbrDczM7MBwIWj5RMRRPyaNJFsozmcRgJ/g/Th7gYzMzOzbnHhaK2J+C3pK/OWNFg7nNTyOKqbkczMzKw7XDha69IE4D8hfZtMvRWBryON6W4oMzMz6zQXjrZsep8ofAhpovBtu5rJzMzMOsqFoy27iNfpfaLwPZF2724oMzMz6xQXjtY/SycKf6nJM3beG+9oZmZmA4E/z63/lk4UPqPR6jRLOHiWcDMzs2pz4WjtEbGINFH4I41WbwQcCniicDMzs+pSRKMp+QYuSYPrH1yAzwKfabJuFmk49ptdS2NmZjYwRISKzuDC0Tpia2BP0giZenOBnwKvdzWRmZlZtblwLIALx+4ZDewHDG2wbiFwNfBCNwOZmZlVmAvHAtQWjmX4A7Siktml9U+AF1bKHp4Kp9WsXQJcT8Tvux8sn0puc6qbG6qbvaq5obrZq5obqpu9qrmhutnLltuDY6yzIl68DHir8dohwP5I23UzkpmZmS0bF47Wcf9DmiX8fxqvFvBFpM8hFX4mZWZmZs25cLSueIs0SzjNJwrfCdgHaUiXIpmZmVmLXDha17yd7ppOFA5sAYxHWqFLkczMzKwFLhytu5ZOFP5wk2dsBPwV0irdC2VmZmZ5uHC07ot4F7gFmNzkGesChyGt0bVMZmZm1icXjlaMiCBiMqmAbDQn1FrA3yB9pKu5zMzMrCkXjlasiIdIl64XN1i7KjAB6WPdDWVmZmaNuHC04kVMJw2aebvB2hWBryF9qruhzMzMrJ4LRyuHiD+SZuxpNFd4z0Th23c3lJmZmdVy4WjlEfHf9DpXOOOQPu+Jws3MzIrhwrENJJ0qKWpur0i6TtLHi87WG0n7S5oqaZaktyXNkHSSipxHMeJNUsvjH5s8Yyyw7wrSQZJukjRT0lxJD0s6uHtBl00pt3lOVc5eS9K62T4TklYtOk9vJE2oO7b03A4vOltfJA2VdIKkpyUtlPSypPOKztUXSZObbPOQtEPR+XojabykR7L9e6akH0v6aNG58pC0r6THs33leUnHFZ2pnqQNJf1Q0jRJSyRNbvAcSfq2pJckLZD0G0lbFBC3Y4YWHWAAeRMYl/38MeA7wF2SNomIecXF6tVawN3AOcAcYFvgVGAd4KjCUkUsQPoJsB8wusEzNl8TvvYGPLwEjgXeAPYErpQ0MiIu6GbcFpVzm+dT5ey1zgHmAlWaK3Q3YEHN4+eKCtKCy4HdgdOA6cB6wJhCE+VzJDCibtnpwJbAg92Pk4+kvYGrgB8A3wI+ApwB3CJp60jToJWSpLHA9aRGg28C2wFnS3o3Ir5faLj324T0WXM/0OyE+QTgZNLfYDpwHHCnpE9FxGtdSdlhimg0E8rAJem9f3BEtOWSp6RTgaMiYmTNsp2Ae4EDI+IXbXqftmdv8B5nAn8PrBFt2jmWObe0HOk/6db1q56GYRvBM8DPyApzSVcCO0TEBv0O/V6EQbbNW3+fSmWXtDNwI3AWqYAcHhFz2/TanTi2TCAVYG3L2eR92ppd0jjgZmDziHiyv6/Xy/t04//nCsBrwDURcUQbX7fd2/xqYKOI2Kpm2d6k/X1MRDzV3/fIXrMT+/kkYOWI2KVm2feACcA6EfFOm96nX9klLddTgEu6FhgZEZ+tWb8S8DpwbkScni1bBXgB+GFEnFRE7nbzperO6flmlFFFhlgGs2h+JtVd6T/oraRWrvfZCOYDHyXN9dgzUfijwNrdC9g25dnmratMdqXvQb+A1Hr0RsFxBrrDgF93smjsonHAGqTWvDJbnnTlq9ac7L7wYqMPWwB31i27g7TdS9M9IEer7Y6k1uqf1/zOPNJJ1Bc7GK2rXDh2zqjsvvRN05KGSBqWtZIeDVzcrtajfksThd9D+o/XKNOaLJ0ofEegEh9Upd7mfahw9sOBlUiX8qrmWUmLs36lf1d0mBy2A/4g6UJJb0maL+n6qvS3qzMemEm6glRmlwE7SzpU0ghJnyBdqr67AgX8SkB9q+LC7H7jLmfpj9HAEuDpuuVP0bjbVSW5j2MbSerZnh8DLgL+zAfPospoHmm+REjzKX6rwCyNRTyMNBc4gA/ut6tekA6Q+5BaOqqg/Nu8ucpll7QWqd/xIRGxSNUZmP8qqb/Ub0nTUh0MTJQ0LCLKPNBkHdJlxmmkwms48G/ADZK2r8iJBpKGAXsBl5Q9c0TcmnVtuBS4Ils8Fdi7sFD5PQNsU7ds2+x+zS5n6Y81gLkRsaRu+WxgmKQV2nXZvUhucWyftYBF2W0GqXg8KCJeLTRVPjsCOwP/RCq+Liw2ThMRM0gHxNpBAtwHq58IB20O02NpF4Gyq8Y2b6yK2c8EHoiI24oO0oqImBQRZ0TEHRFxe0QcSroMdpJSH+CyUnbbJyJui4hrgK+TioHdCk3Wmr1I32BV9svUSNoVmAicD+xKKtjXJBXrQ4rMlsNEYB9J35C0hqQ9SMcXSC14VdLoBEO9rKsctzi2z5vA50g7xmvAK2U/Q+0REY9kP06R9AZwhaRzI+LZInM1FPES0mXAIcBqz8HK+8LX1oQ374AbgP2QViXivoKT9qpS27xO1bJL2oTUEr2LpNWzxcOy+9UkLYmIBY1/u5SuBQ4kdYcp6+jq2cBzETGrZtkU0uXIMcBdhaRq3XjgmUhfjVp25wI3RcTxPQskPUYa2bsPadRyWV0GbA5cDFxC6sN+PKlP8usF5mrVbGC4pCF1rY6rA/MjYlFBudqqzGesVbM4Ih6KiIcjYmZVisYGeoqCto1MbruI/wEufR1m7w5fXQxDJsGVa6fWXoA9kL5QoYnCy7/Nm6tC9o1IAwfuIx3YZ7O0n+PLpA+nKirzMabZCF4BpZ0Wppak1UgDGkrf2pgZDTxWuyDSVZoFQKnnFI6IJRFxFPAhYDPgw6Qpb6i5r4LppC4lG9YtH52tGxDc4mj1xmb3zxeaog+C+UNg3PKw2q1wxcap312tHYFVkW7kg/1NyqYS27yJKmSfQrp0V2scqUVjT8rbatfMfqRR4S8WHaQXtwCnZfOq9oxg34VUwE8rLlZLvkzqy1uVwvFF4NO1CyRtDKxMmg6m9CKi58QOSUcCUyOiSgXXVNLX5h5A6nf/vn6yBeZqKxeOg5ikX5IG7/ye1I9kLKlfyTVlvexY46IlMG45OPYRWOWVmhavveHVEenfsxmwCtLPiVjY/KW6p8rbvKrZs8Jlcu0ySaOyH+/t5PyI/SXpOtLAmMdJLRkHZbejyzyhM+lD8mjgZklnkQbHnA3cGRFTCk2W33hgWrvmP+yCicB5kl4Bbie12p1CKhpL3bdX0vbATqQW0xGkQWB7ZMtKIysC98werguMkLR/9vi2iJgv6bvAyZJms3QC8OWo7pWND3DhOLg9SBr5OApYTGp5OZF0ACq7LwAsgvPqh/ROhfN3WDp/2ceBv0K6knIUCFXe5lXOXlUzSP0z1yNd5n0SODQiflJoqj5ExFuSdgP+Hbia1LfxRtI3PZWepJGkb705uegsLfh30nY+gjT11BxSa/uJJf72sh6LSCdEp5K6MtwLjI2IJ4oM1cDaQP0XevQ83oBUpH+XVCieSBo0+xDw+YioUl/NXvmbYyqkqtm7kjv1Z9yZ5iM2/wT8lIg/tfiy3uZdVtXsVc0N1c1e1dxQ3exVzQ3VzV623B4cYwNDmij8N8BNNO583zNReBUnIDYzMysFF442sKSpYq5m6QjrWqsAE5BKPcLQzMysrFw42sAT8QfSN5o0mptvBeBrSJt1N5SZmVn1uXC0gSniJdJXb73ZYO1ywFeQduxuKDMzs2pz4WgDV5qG5f/R/JsHvoC0R4UmCjczMyuUC0cb2CL+DFxO8wlwdyC1Ppb9u1zNzMwK58LRBr6It4GfkubAa2RTUr/HFbsXyszMrHpcONrgELEYuJb0LRyNfIw04nrV7oUyMzOrFheONnikr2i7HbiryTM+Qprrca3uhTIzM6sOF442uKSJwu8lff1Zo4nC1wAOQ1q3u8HMzMzKz4WjDU4Rj9L7ROF/hbRhd0OZmZmVmwtHG7zSROFXAPMbrF0B+KpnCTczM1vKhaMNbhEvA5cBcxqsXe7LgGcJNzMzS1w4mqWJwi+lyUThnwf2ADxRuJmZDXaKiKIzdJWkwfUPttxWBMYDo5qs/x3wn8CSbgUyMzOrERGFN2C4cDSrMQT4MrBJk/XPk0bUvNO1RGZmZokLxwK4cLQ8xgHbNVn3GulraOZ1L46ZmZkLxyLUFo5l+AO0oqrZK5k79Wcceyrc27PoVDit5hmzgZ8SMavLyXKp5DbPVDV7VXNDdbNXNTdUN3tVc0N1s5cttwfHmDWSJgqf8p80niWcNFH433iicDMzG0xcOJr1YhpwFY1nCQeGkb7feqMuRjIzMyuMC0ezPjxDmiWcxhOFLw8cjLRFFyOZmZkVwoWjWQ4z092lNJkoHNgXaSfP9WhmZgOZC0ezvNJAmEtJA6sb+RwwzsWjmZkNVC4czVoR8WfgR6QpHRvZDtgfaWjXMpmZmXWJC0ezVkW8DfyM9GUyjWwCfA1ppe6FMjMz6zwXjmbLImIxcB1wf5NnbEAacT28e6HMzMw6y4Wj2bJKs+dPAn7V5BnrkOZ6HNm9UGZmZp3jwtGsP9JE4f8F3EDjucJXBw5D+ovuBjMzM2s/F45m7RAxDbiSxnOFDwP+CukT3Q1lZmbWXi4c20TSBEkPSJon6S1J90jau+hcrZC0rqS5kkLSqkXn6Y2k/SVNlTRL0tuSZkg6SdIKhYWKeIY04rrZROHj95C+JekmSTOzbf2wpIO7mnMZlXKbL4OK7ecTspz1t8OLztabqubuIWmopBMkPS1poaSXJZ1XdK7eSJrcZJuHpB2KztcXSeMlPZL935wp6ceSPlp0rr5I2lfS49l+8ryk44rO1GmeMqQNJF0MfAO4CDiJtF3HAzdKOiEizi4yXwvOAeYCqxQdJIe1gLtJmecA2wKnkvoVHlVYqoiZSJcCh5C+z7rWcjPg6PVg+stwbMAbwJ7AlZJGRsQFXc/bmnJu89ZVaT/vsRuwoObxc0UFaVFVc18O7A6cBkwH1gPGFJqob0cCI+qWnQ5sCTzY/Tj5ZY0sVwE/AL4FfAQ4A7hF0tYR0agbUOEkjQWuBy4Dvkmaju1sSe9GxPcLDddBSv37Bw9J7/2DI6LfEzVL2pfUv+2IiJhYt+5s0s60TUQ80ob3amv2utfeGbgROIv0wTo8Iua26bU7lrvufc4E/h5YI9q0Yy9z9tSSdQipqHrP0zBso9Qi+Vvgl0S8K+lKYIeI2KAdmdPbD8Jtnu+1K7WfS5pAKmLalrPJ+7T7uDiBCubOXnMccDOweUQ82Y7XbPI+Hf0/ml0JeA24JiKOaOPrdmKbXw1sFBFb1Szbm/R/dUxEPNWm92n3fj4JWDkidqlZ9j1gArBORLzT3/fIXrMrx/O8fKm6/44hfZ3xfzRYdxbwZ0reGiNpCHAB6ez0jYLj9McsoByXTdOH5eXUtbBstPQy9rYsnSj8UWDt7gZsm/Js8z4MoP3cOusw4NedLBq7ZBzpqsdVRQfJYXngzbplPV/vWnih1IstgDvrlt1B2u6l7x6wrFw49oPSh/4OwM0RsaR+fUS8Sbq0t0v9upI5HFiJdJmgUiQNkTRM0k7A0cDF7Wr56reIhaSJwp9o8owxwCFDYCegMh9Spd7mvavsfg48K2lx1q/074oO04Iq5t4O+IOkC7P+6vMlXV+F/nZ1xgMzgXuLDpLDZcDOkg6VNEJpIOEZwN0lL+BXAupbFRdm9xt3OUvXuI9j/4wEVgRe7OU5L5LO/EpJ0lrAd4BDImKRqvc1y/NIfwOAH5P6x5RHxBKk60k5t69ffRHsugT2Wiv1T6qKcm/zBiq8n78KnEzq2jAEOBiYKGlYRJR5sEZVc0PqXjIBmEYqvoYD/wbcIGn7KpwkSRoG7AVcUoW8EXFr1r3hUuCKbPFUoOwDTJ8Btqlbtm12v2aXs3SNC0c7E3ggIm4rOsgy2pE03c22wCnAhZStCIsIUl+Yt4Av9Cy+D1b/Z9hvc5jxGKyMNJKIKlxCLf82/6BK7ucRMYk0yXyP2yWtCJwk6fyyDhqoau6Msts+ETELQNKrwD2kwT53FZgtr72AVanGZWok7QpMBM4Hbgc+TBp4d4OkzzW6olcSE4GLJX0DuJZ0TPynbF1ZM/ebC8f+eYPULL1+L89Zn3S5oHQkbULqz7OLpNWzxcOy+9UkLYmIBY1/uxxqBh1NkfQGcIWkcyPi2SJzfUA665+KNBfY9zlYZV/42prw5h1pVN5qpG+Z+RkRLxcbtneV2eaZgbCf17kWOBAYRXVGKUN1cs8GnuspGjNTSJckx1CNwnE88ExEPFR0kJzOBW6KiON7Fkh6jDSifR/SMbKMLgM2By4GLiH1YT+e1Jf69QJzdZT7OPZDpO8rvg/4kqQPbEtJI4DPAr/pcrS8NiJ1Sr6PdLCczdL+Xy+Tdv4q6Slo2jY6ue0iHv8vuG43GL8YhkyCK9deOmn4ylRvovDyb/OBt5/3KP0lyCbKnrvZCF7R+NuhSkXSasAXqUhrY2Y08FjtgoiYQZrK6eOFJMohIpZExFHAh4DNSC2l92er72/6ixXnFsf+O580Hc/fks44ap1Amlfrwm6HymkKsGvdsnGkM6Y9KXerQCNjs/vnC03Ri2xA1b8tB6veBv+x8fvnuINsonCkm4l4tICIrSr9Nmfg7ef7ka529Na3uoyqkvsW4LRsbtWeriO7kP5vTisuVm5fJvVBrlLh+CLw6doFkjYmnUy/UESgVkREzwkpko4EpkbE9GJTdY4Lx36KiP+UNBH4gaQxpIPOUOAgUgfrE9sxh2MnZAfFybXLJI3Kfry3k/Ov9ZekX5KmQfg9qS/JWFLfkmvKesk0cxGw57twzL/A9D/CuJWzSXv3hldHpH/LcsA+SMOBeylJ5/aqbvOK7+fXkQaYPE4aZHJQdju6zP0Eq5o7cwlptoCbJZ1FGhxzNnBnREwpNFk+44Fp7Zr7sEsmAudJeoWlfRxPIRWNpe2XLGl70qwYj5GO4wcDe2TLBiwXju1xJPAAcATpG2TeJV3C2ycibioy2AD2IKkwHwUsJrUanUg6AJVZz+CY8x8G/nfNiqlw/g5L5y6D1BF/ONLtlOPDtqrbvMpmkPpnrke6VPokcGhE/KTQVH2ram4i4i1JuwH/DlxN6tt4I3BsocFykDSS9I03JxedpUX/TtrOR5CmzZpDulJwYkTMKzJYHxaRTohOJX3u3wuMjYhmU7ANCP7mmAqpavaq5oYuZU+jTQ8CPtbkGU8B15H61OZ8SW/zbqtqbqhu9qrmhupmr2puqG72suX24BizovU9UfjGwNeRVupeKDMzsw9y4WhWBmmesutJI38bWR84jDRS38zMrBAuHM3KIiJIEyff0eQZa5PmevxQF1OZmZm9x4WjWdlETCW1Pjb65oHVSC2P63U3lJmZmQtHs3KKeBy4kjTSsN7KwKFIn+xuKDMzG+xcOJqVVZob8UdAo+koeiYK/3SDdWZmZh3hwtGszCJeAS4F/tRgrYC9kT6DVPgUDWZmNvC5cDQru4g/kYrHV5o8Y1fgSzT4vnQzM7N28geNWRWkb0+4Amj21X5bAwcgLd+9UGZmNti4cDSrijRR+JWk7/9tZGPgEKSVuxfKzMwGExeOZlWSJgq/AfivJs9YH/jr4d1LZGZmg4gLR7OqSROF/wqY1OQZa/8tMLKLkczMbHBw4WhWVRH3AdfRYKLwEcBhgGcJNzOzdnLhaFZlEU8AP6PBROFplnBAGt3lVGZmNkApIorO0FWSBtc/2AaFdYCvAas2WBfALcAjXU1kZmbtFhGFz9nrwtFsgFgd+DqwZpP1k4F7upbGzMzazYVjAVw42kA2DPgqsG6T9Q8Dt5JaIc3MrFrKUDgOLTpAkcrwB2hFbdFbpexVzQ0VzS6tcAgs3DB7eCqcVveM6cB1RCzqbrB8KrnNqW5uqG72quaG6mavam6obvayNXh5cIzZQBPxzlXAtObPGA183ROFm5lZq1w4mg1A7wL/CUxp/pT/BRyGtFqXIpmZ2QDgwtFsALsr3f2yyeoPAX+DtHa38piZWbW5cDQb6CLuB66lwUTh9MwVLq3f3VBmZlZFLhzNBoOI3wE/BRY2WLsSqc+jJwo3M7NeuXA0GywingcuB+Y2WDsUOAhp6+6GMjOzKnHhaDaYRLwGXArMarBWwF8i7YpUmakqzMyse1w4mg02EbOBy4CZTZ7xGVIB6eODmZm9jz8YzAajiHnAFcDTTZ6xFenS9fLdC2VmZmXnwtFssIp4B7gaeKzJMz4JHOqJws3MrIcLR7PBLGIJcCNwb5NnrIcnCjczs4wLx36SdKqkkDSpwbprJU0uIFYukiZk2etvhxedrRWS1pU0N8u+atF5eiNpf0lTJc2S9LakGZJOkrRCYaEigoi7gNuBRt+J+iHgbz4pHVa67MugSvtLrSrlrvqxRdJQSSdIelrSQkkvSzqv6Fy9kTS5yTYPSTsUna8vksZLeiTbx2dK+rGkjxadqy+S9pX0eLafPC/puKIzddrQogMMIF+QtE1EPFh0kGWwG7Cg5vFzRQVZRueQpphZpeggOawF3E3KPAfYFjgVWAc4qrhYQMQDSHOBrwBD6taO2A12+jM8/GoZs7emSvtLrSrmruqx5XJgd+A0YDqp5X1MoYn6diRpQv9apwNbAqX+XJK0N3AV8APgW8BHgDOAWyRtHRHvFpmvGUljgetJgw2/CWwHnC3p3Yj4fqHhOsiFY3v8CXgZ+Bdg34KzLIsHI6LR3H6lJ2lnYBxwFumDtdQi4od1i+6WNAL4e0n/EBGNWvy6J+L3SPOB8cCKtasuhscvhsXAdCKeomzZc6ja/tKjqrmp4LFF0jjS/r95RDxZdJ686rNmVwK2Bq6JiMXFpMrtq8AjEfHeCaikt0jdaD4JPFVUsD6cAkyJiL/NHt8haQ3gFEkXRepHPuD4UnV7BOmAvrekTYsOM1hIGgJcQDqrfqPgOP0xCyjP5d6+Jwo/EGmb7HG5sveiqvtLVXNX2GHw/9u78zg76jrf/683SSAJEBaDgIAyGlYRgrIaQNYBdNhcxrDK5oxy/eEV9Ac4Azdw1RHvIIobcoewD6AsiqwRIUBEFEUWhQTCKosoEAghEUL43D++1eR4OKf7dPfpqvp2v5+Px3l0uqo4593F6Tqfrvp+P8VNORWNbewBrEI6k1d3Y4CXmpa9WHytc0/ZycCNTctmkPZ77YcHDJQLx+75MfAg6axjbh6W9HoxZu1fqw7TD58h3S7ve1UH6S9JoySNl7QdcDTwg1qdsUuNwv+LFo3CX4NlnoN9vyQdTR2zt5fr+yXX3JDnsWVr4EFJ35U0X9JCSVfkMN6uyVRSr9Z2E9/qZDqwvaRDJE2QtD7pUvXNNS/gxwLNZxV7buu6UclZSuNL1V0SEW9I+jpwtqSTIuLBqjN14BngROA3pDFt+wNnSsdRJV0AACAASURBVBofEXUfCP424H8DB0XE4gxvdPIKSy8Fn08a11MvES8inU26jLR2z+Ll4d9eL8ZArg837Q//f1URO5Xr+yXX3GR8bCGN2T0UuIdUfK0IfAO4UtI2OfyRJGk8sBdwVg55I+IaSYeS7mp1XrH4dmDvykJ1Zi6wZdOyrYqvq5acpTQ+49hdFwJPACdUHaQTEXFDRHwlImZExHURcQjwI+DfVf+7hnwV+HVEXFt1kAH6ILA9cCywD/DdauO0EbGQVNi+2Sj8Yjh7OpxzGMx4Aqb8DK7PoFF4ru+XLHNnfmxR8dgnIq6NiEuBg0kFwc6VJuvcXsAK5HGZGkk7AWcC3wZ2IhXsq5KK9eaJenVyJrCPpE9LWkXS7qRjOsCSCnMNqbr/AmelGID8DeAgSe+qOs8AXUb6hV234hxtSXovaRzSyZJWlrQyML5YvZIyaFgdEXdFxKyI+Cbpcu9nJb2n6lwtNTUK/zg8cxg8MR1+dTRcdxfsei18kXSWo3Zyfb/kmrsXtT+2FOYB90VE4zCNWaRLknWfWd1jKjA3In5bdZAOnQZcFRHHRcTMoljfF9iR9Id1XU0nFY8/IE2SvYI0Fhng2apCDTUXjt03HfgLcFzVQQapzpc31iMNpv4V6SA/j6Xjv54kTSTIyV3F13+oNEVv2jQK3yFdkuSRNJ7ncFJxUze5vl9yzd2XOh9boP0MXgG1bAvTSKlZ/55kcraxsCFNd7CKiDmkVk71/IMaiIglxUzw1YBNgdWBO4rVd7T9DzPnMY5dFhGvSvpP4D+A3wGLK47UXx8jzdx8vOogvZhFupzRaA9Ssf5h8ukV12NK8fXRSlP0JY2V+gXSy6QPJl2f+tuxaSpqJgJHIF1IRJ3+2s71/ZJr7nZyOLYAXE06yzsxInpmse9AKuLvqS5Wx/YjjZ/OqXB8HHh/4wJJGwHjgMeqCNQfEdHzhx2SjgJuj4jZ1aYaOi4ch8YPgS+TxrHdUnGWtiRdThq8fi9pAPsni8fRdW24ClAczGc2LpO0bvHP2+rcN07S9aT2DX8kjYGZQhoTc2lEPFxltr40Zt8LnhoDB14NU7aAP+5QHDRJEwkOQ7qEiMcqC9sg1/dLrrkh32NL4SzS8JGfSfoa6T19KnBjRMyqNFlnpgL3ROq1moszgdMlPU26g9XqpB6JjwG1Hd8raRtgO9LZ0gmkSWC7F8uGLReOQyAiFha3p/pq1Vn6MIc0hmod0mWY+4FDIuKCSlMNb3eSZmyuS2qm/QhpMtWZ1UXq2JvZfwavLwdPHgzXn9F0iYnUouJgpMupdysNGzrZHlsiYr6knYEzSGN7XyMN0/hCpcE6IGki6Y43J1adpZ/OIO3nz5LaT71IOuN+QkS8UmWwPiwm/UE0jTSM4TZgSkTcV2WooaYMZup3laQ3f+CIyKa3BeSbPdfckG/20nJLqwMHkc7KNAvgOiJ+07+n9D4vW67Zc80N+WbPNTfkm71uuT05xswGLo1lPJvWdzQR8GGkXcioAaGZmbXnwtHMBifiRVI3gSfbbLE9sDf1799nZmZ98IHczAYvNQo/j3TbzVY2B6YiZXFfazMza82Fo5l1R8Ri0mSC37fZYn3gkLo2Cjczs765cDSz7kmtVq4Cbm2zxdrUt1G4mZn1wYWjmXVXRBBxE3ANre8S0tMofI1yg5mZ2WC5cDSzoRFxJ/BjUr/KZj2Nwut7m0UzM3sLF45mNnRSA/ALgL+1WLsccBDSe8sNZWZmA+XC0cyGVsTjwDnAyy3WjgI+jrR1uaHMzGwgXDia2dBLjcL/i/aNwvd0o3Azs/pz4Whm5Yh4idQo/E9tttge2McHJTOz+vIx2szKkxqFnw/MabPF5KnAmPISmZlZP7hwNLNypUbhlwJ3tVq9HvApwF3Czczqx4WjmZUvNQr/GXBLq9VrAYcDSKuUmMrMzPqgiFb9eYcvSSPrBzaruQ8AHyHNkGm2ALgQeLbURGZm9RQRlU8gdOFoZpXbEPgYMLrFuldJN8B+rMxAZmY15MKxAi4czerpncD+wNgW65YAVwJ/LDWRmVm9uHCsQGPhWIf/Af2Ra/Zcc0O+2XPNjfT2Y+DZCcW30+DkhrUBXE/Er8sP1rds9zn5Zs81N+SbPdfckG/2uuX25Bgzq4+Iv5wN/LX12p5G4bu6UbiZWTVcOJpZrcwndQl/ov0m2wH7Io0qKZKZmRVcOJpZ7fwNuCD9c3abTTYD9kdatqRIZmaGC0czq6nX05cfAb9rs8kk4FNIy5cUycxsxHPhaGb1lRqFXw3MbLPFWsARbhRuZlYOF45mVm8RQcRM0p1mWrWBWJVUPK5Zai4zsxHIhaOZ5SHid6R7XL/eYu0KwKFI7y43lJnZyOLC0czyETEbOJ80f6bZcsCBSO8rN5SZ2cjhwtHM8hLxBKljz/wWa0cBH0PattxQZmYjgwtHM8tPxF+A/wL+0maL3ZF2c6NwM7PucuHYBZKmSYo2j4OqztcbSaMlHS/pIUmvSnpS0ulV5+qLpEPb7O/PVJ2tPyStJWlBkX2FqvN0qha5I+YD59C+V/gUYL/mRuG1yN6hXN/nuebukeNxUdLMXj6Han8GXtJUSXcVv5tPSTpf0juqztUXSftKurd4nzwq6ZiqMw210VUHGEZeAvZosXxu2UH66RxgF9I9gWcD6wAbV5qof3YGFjV8/0hVQQbo/wALgNx6EdYjd8QipAuAjwIbtdhiU2B5pEuJeK1YVo/s/ZPr+zzX3DkeF48CJjQtOwXYHLiz/Didk7Q3cDHwPeBLwJrAV4CrJW0RqS1X7UiaAlxBGjrzRWBr4FRJb0TEtyoNN4RcOHbP6xFxR9Uh+kPSHsBUYLOIuL/qPAN0Z0QsqDrEQEjanvTHxtdIxUwWapc7YjHSj4EPA1u02OI9pBnXFwneT52ydy7X93l2uXM9LjZnVbqr0hbApRHRqhNBnRwA3BURn+tZIGk+8FNgA+CBqoL14SRgVkQcWXw/Q6mn7EmSvh9L/1gdVnypemQ7HLgpp4PjcKF0+fQ7pDMCz1Ucp2O1zZ3OSFwD3Nxmi3e8CkeOhu9Tt+xWN8PluLgHsArpTF7djSFdtWv0YvG1zuOUJwM3Ni2bQdrvtR8eMFAuHLuoGBfzd4+qM/Vha+BBSd+VNF/SQklX5DCupMHDkl6XNEfSv1Ydph8+A4wlXZrJSX1zp0bhtwBX0aJR+P+Ef1wJVr8PLi8/3KDl+j7PMfdwOC5COmv6FHBb1UE6MB3YXtIhkiZIWp90qfrmmhfwY4Hms4qvFl9bDZ0ZFlw4ds/bgMXND0nrVpipL2sAh5L+apoKHAZ8ALhS9Z+N+gxwInAwsBfwa+BMSV+oNFUHJL0N+N/AMRGxuOo8ncomd8RdwCU0NAqfC+POg51PgJ9vAgdvBqtVF7Bfcn2f55ob8j4uAiBpPGm/XxoRre62VCsRcQ1pn59FOvM4h9Ra66MVxurEXGDLpmVbFV9XLTlLaep+RiwnLwG7tlj+dNlB+kHFY5+IeB5A0jPALaRB7b+oMFuvIuIG4IaGRddJWg74d0nfrutg6sJXgV9HxLVVB+mnfHJHzEE6jzR2aty/wC7/AE8eCw8By+4CW9xTccRO5Po+zzV3IdvjYoO9SHdTyuEyNZJ2As4Evg1cB6wOTCMV67tGxJIK4/XmTOAHkj4NXEYqGo8t1tU186D5jGP3vB4Rv23xqPPg2HnAfT0Hx8Is0qn3us8gbOUy0l9561acoy1J7yWNoTpZ0sqSVgbGF6tXkjSuunTtZZk74k/A9Cth3K2w+QlwyxMw9gkYuyjdZYb/hp1qmb13tX+ft5FL7uFwXJwKzI2I31YdpEOnAVdFxHERMTMiLgX2BXYE9qk0We+mUxSPwAukGdanFOuerSrUUPMZx5HtAYoP0CYC6nxGoC91vjSzHmkg+K9arHsSOBs4ssW6quWZO+Kv/5909xJY5mA4onn1AXDV+nA90ofJ4JJek9zy9qh77qyPi5JWAvYEvlF1ln7YkKazoxExR9IiUleEWirOhH5O0onA2sCjpJ8FIKsuK/3hwnFku5p0BmliRPTMMt2BVCDkcCWv2cdIs2UfrzpIL2YBOzUt2wM4jtROpq597nLNzVPw89Vg92Ng51XT+DWugUlXwZTT4KJN0xmmjyL9hPpeEmuUw/u8lVxy535c3I9U+GZxmbrwOKlV1pskbQSMAx6rIlB/RMQ80nEESUcBt0fE7GpTDR0Xjt0zWtI2LZb/KSKeKj1NZ84CjgZ+JulrwIrAqcCNETGr0mR9kHQ58BvgXtIg6k8Wj6PrPH6q+CCa2bisYQLVbXXteZdrbngz+wykm0jFy0YPwsoAB8ITq6dLkO8DxiP9iIhXe3m6UuX6Ps81dyHb42JhKnBPRNS192ErZwKnS3qapWMcTyIVjbUdU1185m8H3E1qvr4/sHuxbNhy4dg9K9H6Mt6JpLYCtRMR8yXtDJxBmoX6Gqnhag4zH+eQxtytQ7qEdD9wSERcUGkqq6+I14tG4XuSZsw2e7NROPUphHN9n+eaO+vjoqSJpDvenFh1ln46g7SfP0tq+fUi6SrHCRHxSpXB+rCY9AfRNNIwhtuAKRFxX5WhhpryG9YzOJLe/IEjIovWCj1yzZ5rbsg3e665oYTsqaXK9qQZsq3MAy4g4oV+Pq33eclyzQ35Zs81N+SbvW65PavazEaW1Cj8VlKj8FaXTVcBjiC/hs9mZkPOhaOZjUxLG4W3ama+POmydW1ndJqZVcGFo5mNXBEPAucDi1qsXRY4EGnTckOZmdWXC0czG9lSo/CzSXd/arYMqVXPB8sNZWZWTy4czcxSy57/ov3dHv4RaXcyuVexmdlQceFoZgYQ8TJwDu0bDm9LOvvoNmZmNmK5cDQz6xHxN+BCUt/BVt4HHIDU6pZ0ZmbDngtHM7NGEa8Dl5HufNLKu0kzrlcoL5SZWT24cDQza5Zui3cd8Is2W6xJ6vX4tvJCmZlVz4WjmVkrqVH4baTbzfXWKHytcoOZmVXHhaOZWW8ifk/7RuHjgU8hTSo3lJlZNVw4mpn1JTUKPw9Y2GLtssAB7hJuZiOBC0czs05EPAlMB15ssXaZ/QB3CTez4c6Fo5lZp1Kj8LOBP7davRuwO+BG4WY2XLlwNDPrj9Qo/Fzg0Vart0lfPuZG4WY2HCkiqs5QKkkj6wc2syExCtgPeG+b9Y+SZtS8VloiMxvuIqLyqxkuHM3MBmEPYOs26/4MXAQsKC+OmQ1jLhwr4MLRzLptCrBrm3UvAhcAL5QXx8yGKReOFWgsHOvwP6A/cs2ea27IN3uuuSHf7JOl2Js0cHwanNy0eiFwERFPlR6sA7nu81xzQ77Zc80N+WavW25PjjEz64J7gItp3SWc1Cj8UKT1SoxkZtZ1LhzNzLpkLmm6Na0bhY8B9keaXF4iM7PucuFoZtZFT6cvZ9OmUTiwL9J27vVoZjly4Whm1m0Rz9NLo3DSXJo9XDyaWW5cOJqZDYXUKPwc2jQKJ3Xx+bgbhZtZTlw4mpkNlYhXSa0c/9Bmi/cCByGNLS+UmdnAuXA0MxtKEa8DlwN3tNliXdKM6xVLy2RmNkAuHM3MhlpqmHsD8PM2W6wBHIE0sbxQZmb958LRzKwMEUHEL4ErgTdabLEycDjS2uUGMzPrnAtHM7MyRdwD/DfwWou144FPIa1fbigzs864cBwkSdMkhaQbWqy7TNLMCmJ1RNLMInurx7ZV5+uLpNGSjpf0kKRXJT0p6fSqc/VG0qFt9vdnqs7Wl1yz1zJ3xFzgPOCVFmvHAFORNm9cKGktSQuK7CuUEXOgarnP+yHTY0vux/Opku4q3uNPSTpf0juqztUXSftKurd4nzwq6ZiqMw01t4Honn+UtGVE3Fl1kH44CpjQtOwUYHMgh5/jHGAX0n2BZwPrABtXmqhzOwOLGr5/pKogA5Br9nrljngKaTpwELBK09plgH1IBeKsYozk/wEWAMuXG3RQ6rXPO5fjsSXb47mkvUl37Pwe8CVgTeArwNWStoiIVkM7KidpCnAFMB34IqnF1qmS3oiIb1Uabgi5cOyOF4AngX8D9q04S8ci4v7G7yUtC2wBXBppJmhtSdoDmAps1vxzZOLOiFhQdYgByjV7/XJHPI90NnAg6cOy2S7AistJC4A9gK+RCshc1G+f9yHXY0vOx3PgAOCuiPhczwJJ84GfAhsAD1QVrA8nAbMi4sji+xmSVgFOkvT9iGg1HCV7vlTdHUE6oO8t6X1VhxmEPUhnPi6uOkgHDgduyunAbtZSKqzOpc3ZuNdg6xXg/DHpDMxzZUYboYbLsSWn4/kY4KWmZT237Kzz3ZUmAzc2LZtB2u+1Hx4wUC4cu+fHwIOks465mgo8BdxWdZAObA08KOm7kuZLWijpihzGxBQelvS6pDmS/rXqMP2Ua/b65l7aKPy+5lWfhy1GwQrPw0srpA/YnNR3n7eX+7GlR07H8+nA9pIOkTRBaXLYV4Cba17Aj+Wtk9xeLb5uVHKW0rhw7JJiDMbXgU8owxmRksYDe5Eua0TVeTqwBnAo6S++qcBhwAeAK1Xv+/8+A5wIHEza378GzpT0hUpTdSbX7HnkjlhCGi/1q55Fc2HcebDzcXDDirDOgbBddQH7JY993lqux5Y35XY8j4hrSPv8LNKZxznAKOCjFcbqxFxgy6ZlWxVfVy05S3lSa7GR8yBdVo70o3fl+aYBzxX/Hk26L+05xfeXATPrmr3puT9ZPPcWdd/nxXO+Rpoo8LaGZTsUr7NLnbO3eI1LgeeBZXLKnXP22ueGDwZM2wl+uzE8FDAtYNqx8BMg/gve1eX94X2+9DmzP7ZkeDzfCXgZOBXYscj/AHAzMKqu2YFPA68XX1cBdgf+UrzGcXXNPdiHzzh2UaQByN8ADpL0rqrz9NNUYG5E/LbqIB2aB9wXEc83LJtFOujXffZjs8tIf52uW3GOgcg1e71zR9x+AtxzC0w+AW55AsY+AWMXFpeqN4N/uUWaVHXMfqr3Pl9qOBxbcjuenwZcFRHHRcTMiLiUNNF0R2CfSpP1bjpwJvAD0iTZK0gz2QGerSrUUPOs6u6bDvw7cFzVQTolaSVgT1LRm4sHgOVaLBet78qRg9pfUupFrtlrm/vrKduog+GI5nVbwpe3g91vkw4g4sEK4g1Gbfd5IetjS6bH8w1pmsQTEXMkLQLeU02kvkUaXvI5SScCa5OuOG5YrG53b/rsuXDssoh4VdJ/Av8B/A5YXHGkTuxHOlDmMPuux9XAyZImRkTPTNMdSGdk7qku1oB8jDRb9vGqgwxArtlzyD0L2GkKvG0q7LosjLsGJl0FU06DizZNZ8amIv2MiN9XHbYDOexzyP/YkuPx/HHg/Y0LJG0EjAMeqyJQf0TEPNLvI5KOAm6PiNnVpho6LhyHxg+BLwMfBG6pOEsnpgL3RERde2W1chZwNPAzSV8DViSNj7kxImZVmqwXki4HfgPcSxr8/cnicXTUtMltj1yz55q7KFpmAiDdDBz0YLqfNQfCE6unS6c9jcJXBG7rGRBVtVz3eSHLY0uDHI/nZwKnS3oauA5YndQj8THg2gpz9UrSNqQJa3eTmq/vTxrnmMsktgFx4TgEImJhcXuqr1adpS+SJpKaDJ9YdZb+iIj5knYGzgAuIX2I/hSo+6zNOaQ+ceuQLn3dDxwSERdUmqozuWbPNfdSES8gTZ+f7gLSys7AikjXUY/CLNt9nvGxJdvjOWlfvwZ8FvgMqYfjLOCEiGh1W866WEz6g2gaaRjDbcCUiHhLW63hRDX5A7U0kt78gSMii9YKPXLNnmtuyDd7rrkh3+yl5JaWA/6Z9uO+HgAup593CvE+L1+u2XPNDflmr1tuz6o2M8tFahT+36RLwK1sBByMNLa8UGY2krhwNDPLSZrJeSVwe5st3gUcjjShvFBmNlK4cDQzy03qxDsDuKHNFm8HjkBarcRUZjYCuHA0M8tVxK+Ay4ElLdauRDrzuE65ocxsOHPhaGaWszSD8yLSrNRm44BPIW1QbigzG65cOJqZ5S7iEeAcoFXrktGkRuHvb7HOzKxfXDiamQ0HEc8AZ5PumdtMwN5IH0KqvJ2HmeXLhaOZ2XAR8QKpeHy6zRY7AR9B8rHfzAbEBw8zs+Ek3WnjXGBumy22AD6BNKa0TGY2bLhwNDMbbiJeAy6m70bh48oLZWbDgQtHM7PhaGmj8F+22eKdwGFuFG5m/eHC0cxsuEqNwn8OXN9mi7cDR04sMZKZ5c2Fo5nZcBdxB3AZrRuFTzgccJdwM+uEC0czs5Eg4g+kRuGvNq8aBxwCuEu4mfVFEVF1hlJJGlk/sJlZgzWAA4EVWqwL4GrgrlITmVmnIqLyPqwuHM3MRpiVgYOAt7VZPxO4pbQ0ZtYpF44VcOFoZgbjgQOAtdqs/x1wDekspJnVQx0Kx9FVB6hSHf4H9Edj0ZtT9lxzQ77Zc80N+WbPMre0LPDP0+CCnkXT4OSGLWYDlxOxuORkHclynxdyzZ5rbsg3e91OeHlyjJnZSFU0Cr+n/RYb4kbhZtbAhaOZ2UgWseQnwKz2W7wTOBxppbIimVl9uXA0MzN+AVyX/tnqsthqwBFIby8xkpnVkAtHMzMD4Dfpy+W0aRROOvP4rhIjmVnNuHA0M7OlUqPwC2nRKBwYSxrzuFG5ocysLlw4mpnZ34t4FDgHWNBi7Wjgn5G2KDeUmdWBC0czM3uriD8DZwPPt1gr4J+QdkLKpq2JmQ2eC0czM2stYh4wHXiqzRYfAvZC8meJ2QjhX3YzM2sv4hXgPOChNlu8H/gk0pjyQplZVVw4mplZ71Kj8EuAu9tssQFwiBuFmw1/LhzNzKxvEUuAnwK3tdliHdwo3GzYc+E4SJKig8eOVedsR9JUSXdJWiDpKUnnS3pH1bn6ImlmL/t726rz9UbSaEnHS3pI0quSnpR0etW5OpFr9oxzH9rmPf6ZSgJFBBG/AK6lfaPwI98tHV2r3P2U4/sl52MiZP1ZtK+ke4v3yaOSjqk601AbXXWAYaDxF3IccBPwFeCahuX3l5qoQ5L2Bi4Gvgd8CViTlP1qSVtExBtV5uvDUaSGxI1OATYH7iw/Tr+cA+wCnAzMJp2p2bjSRJ3LNXuuuXvsDCxq+P6RqoIAEPEbpFeAjwKjmtauuDe899vp3/XK3bkc3y/ZHhNz/SySNAW4gjSB7IvA1sCpkt6IiG9VGm4IuXAcpIi4o+ffklYo/vlw4/IaOwC4KyI+17NA0nzS5agNgAeqCtaXiPi7YlzSssAWwKUR8Xo1qfomaQ9gKrBZ889Qd7lmzzV3kzsjolVPxepE/LEoHvcHlmtcNRrGAMyCl6dE/LaKeAOV6/sl12NiIdfPopOAWRFxZPH9DEmrACdJ+n6kscHDji9Vj2xjgJealr1YfM2tN9sewCqkv1rr7HDgppw+kBrkmj3X3PUX8RjpbMvLrVZPgv2Qtiw10+ANl/dLLsdEyPezaDJwY9OyGaT9XvvhAQPlwnFkmw5sL+kQSRMkrU+6PHBzhgfNqaRec+0G7tfF1sCDkr4rab6khZKuyGEsD/lmzzV3o4clvS5pjqR/rTrM34l4ltQo/LnmVe+Bz4+CX68g/Wl96Xikd3bzsQ7pGvI6QLeeczR8cCI8vZp07jLSy5m+XyCfYyLk+1k0Fmg+q9hzq85he1tOX6oewSLiGkmHkg765xWLbwf2rizUAEgaD+wFnBURrQbs18kawKHAPaQD+4rAN4ArJW1T8/y5Zs81N8AzwInAb0hjCfcHzpQ0PiLqM1kj4kWk6aRLjmuvAy9PhZu3hadeB10G7/sV/McRsOPZ0LVhPIf3+u3ABKwxHw5YC549Hq56FhZ/E3Zdksf7BcjumJjzZ9FcoPmM+lbF11VLzlIaF44jmKSdgDOBbwPXAasD00gHyF0jtd/IwV7ACuRxSUbFY5+IeB5A0jPALaSJBL+oMFtfcs2ea24i4gbghoZF10laDvh3Sd+u1aSBiIVI5wMf/zzweXi4Z9UxMHdLGHUx7PBD+PXo1jOy60KAZsDFk4qJPZPgun+FI6n5+6VBTsfEnD+LzgR+IOnTwGWkovHYYl1dMw+aL1WPbKcBV0XEcRExMyIuBfYFdgT2qTRZ/0wF5kYeg/DnAff1FDCFWaTLHXWftZlr9lxzt3MZ6WzGuhXneKuljcJ/37zqI3D/Ihh3B6xcfrDOjYVFa8Kzkxpmgx8OT4+CJR+A3arM1g85HRMh38+i6RTFI/ACaYb1KcW6Z6sKNdRcOI5sG9J0J4iImEM6YL6nkkT9pNRseE8y+cua9rMDBdTn7FFruWbPNXdf6nnWLp0FvQq4tdVq1TV3Yc0WYzUL2hLeh7QdUm0nbGR4TIRMP4siYkkxE3w1YFPSmdKeoRg5dFYZEF+qHtkeJ91n9k2SNiL1o3ysikADsB+pFUguB8mrgZMlTYyIng+oHUizCu+pLlZHcs2ea+52PkYqbh6vOkhbaVzdTaQhAZsDY38Me46FBVvCfXSpeHyi128HZhP49dWw7/3w+sbFZ+R0eNcSWGardBZpV2BFpOup5/jB3I6JkPlnUUTMI13ZQNJRwO0RMbvaVENH9XzfDx1Jb/7AEdHVvxqLPo4vA4dFxLndfO7i+buaXdLngdOLR8+4kpOAZYFNIuKVwb5G8TpDuc+vB9aIiMndfN6G5+/2Pp8A/IE02/FrpIkapwKzI6Jrl8GGYp/nmj3X3MVzXk6aGHMvaXLMJ4GDgKMj4jvdeI3idbq9z7PMXTznBOAPy8DTX4RfjYZ3fg92XQOemw0XNGz6R+BKBtgjcaiOi7kdE4vnzPKzSNI2wHaks6UTSJPXdge2i4h7B/v8Da8zZJ+hA+EzjiPbGaRxXp8FPkPqmzULOKFbv6hDSdJE0t0dTqw6S6ciYr6knUn7/hLS/v8p8IVKg3Ug1+y55i7M+/+DqwAAHbpJREFUIc0WXod0af1+4JCIuKDX/6p6ueZ+8/3yBpzxDfiXMRBbwtyL4PqmTd8LLI90CRF/qyJrsxyPiYVcP4sWk/4omkYa9nIbMCUi7qsy1FDzGceM5Jo919yQb/Zcc0O+2XPNDflmLyV3Gs+4O7BNmy2eBS4komUT9F6e1vu8ZLlmr1tuT44xMzNrJ51duQH4eZstVgeOIJ3tMxv2XDiamZn1JiKI+CVwJa1n4q8MHI60drnBzMrnwtHMzKwTEfcA/00a29ZsPPAp0u3yzIYtF45mZmadipgLnAssbLF2DDAVafNSM5mVyIWjmZlZf0Q8Rbqv8rwWa5cB9kHavs6Nws0GyoWjmZlZf6VbWJ4N/LnNFrsAeyL5c9aGFb+hzczMBiJiAXAO8EibLbYCPo7knsk2bLhwNDMzG6iIV4GLSLdSbGVj4CCkseWFMhs6LhzNzMwGI2IJcAVwR5st1gUOQ1qxtExmQ8SFo5mZ2WAtbRQ+o80WqwNHulG45c6Fo5mZWTekRuG3k84+tmoUvhLpLjPrlBvMrHtcOJqZmXVTxL2kRuGvtVg7DjhkvXITmXWNC0czM7NuW9oo/JUWa8dMBSaXGsisO1w4mpmZDYWIp2nTKDx1CYftATcKt5wojecdOSSNrB/YzMwqtTxwILBmm/V3AtcB/nCyvkRE5X9kuHA0MzMbYssCnwTe3Wb9A8DlwJLSElmOXDhWwIWjmZlVYRlgX+B9bdY/DlwMvFpaIsuNC8cKNBaOdfgf0B+5Zs81N+SbPdfckG/2XHNDvtmzzJ3GM+42LfV8BGAanNywxV+AC4mYX3KyjmS5zwu5Zq9bbk+OMTMzK0vq9TijXZdw4O2kXo+rlZbJrB9cOJqZmZXsV6Qu4W3GNK4EHO5G4VZHLhzNzMwqcB+pSzjtG4V/CmmDEiOZ9cmFo5mZWUUeSV/OpXWj8NHAVKT3l5fIrHcuHM3MzKq0tFH4Cy3WCtgb6UNuFG514MLRzMysahEvkIrHp9tssRPwESR/blul/AY0MzOrg4hXSJetH26zxRbAJ5DGlJbJrIkLRzMzs7qIeI00Z+beNltsBByMNK68UGZLuXA0MzOrk4glwJXAL9ts8U7gMKQJ5YUyS1w4mpmZ1U1qFP5zGu4w0+TtwJFuFG5lc+FoZmZWVxG/Ai6nda/wCaRG4e8sN5SNZC4cu0zSNEnPVZ2jU5L2lXSvpFclPSrpmKozdUrSVEl3SVog6SlJ50t6R9W5eiNppqRo89i26ny9yTV7rrl7SBot6XhJDxW/p09KOr3qXH3JNTfUMHvEfcBFtG8UfgjShrXL3aGcf0dz/BwarNFVB7DqSJpCuuvVdOCLwNbAqZLeiIhvVRquD5L2Bi4Gvgd8CVgT+ApwtaQtIuKNKvP14ijSWYJGpwCbA3eWH6dfcs2ea+4e5wC7ACcDs4F1gI0rTdSZXHNDHbNHPIJ0DnAgsELT2tHAJ98BWz2d3tf1yd2ZLH9HM/4cGhQXjiPbScCsiDiy+H6GpFWAkyR9P9Lsvro6ALgrIj7Xs0DSfOCnwAbAA1UF601E3N/4vaRlSS02Lo2I16tJ1Zlcs+eaG0DSHsBUYLPmn6POcs0NNc8e8QzS2cDBwKqNq74F6/0Z9vgmHP4FOJ+IqCZk/2X8O5rl59Bg+VL1yDYZuLFp2QxgFaDWlweAMcBLTcteLL7mdHeFPUj7++KqgwxArtlzyn04cFPtCpi+5Zob6p49Yh6pUfhTjYsvhM03gEe/AP8A/FPmjcJz+R0dLp9D/ZLzG8sGbyxvHTPzavF1o5Kz9Nd0YHtJh0iaIGl90iWCm2t7wG9tKukD4LaqgwxArtlzyr018KCk70qaL2mhpCsyGEOVa27IIXtqFH4eMLdn0cOw1lrw/G7w4bFw2WhYNEq6sla5O5fL7+hw+RzqFxeOI9tcYMumZVsVX1elxiLiGuBQ4CzSX3xzgFHARyuM1S+SxgN7kS7HZHNZCfLNnmHuNUjv88mkD9PDgA8AV6re9y3ONTfkkj0NJboYuAfgZVjhVpj8MKzxVbjsy3DVeNh+GfhJrXL3Iaff0eHwOTQQHuM4sp0J/EDSp4HLSEXjscW6Vq0fakPSTqT83wauA1YHppEO7rtGaqBbd3uRBrnX/XJMK7lmzy23isc+EfE8gKRngFuAnYFfVJitN7nmhpyyRyxB+gnwMkXuGXDxJFgE8E5Y8Gk4dFJ6319VZdR+yOZ3dJh8DvWbzziObNMpikfgBdIM61OKdc9WFapDpwFXRcRxETEzIi4F9gV2BPapNFnnpgJzI+K3VQcZgFyz55Z7HnBfTwFTmEUaYlLn2bK55obcsqdG4TcuAy+tCc/2FI0Ah8ITo2DJFDgU6e0VpuyPnH5Hh8PnUL+5cBzBImJJMRtsNWBT0l9LdxSr72j7H9bDhsDdjQsiYg7poPmeShL1g6SVgD3J4K/qZrlmzzR3u1mZAurc6iPX3JBp9sVw73PwPG+9WqRxsBypUfi7KojWsQx/R7P+HBooF45GRMyLiPsiYgGpn9btETG76lx9eBx4f+MCSRuRmuE+VkWgftqPdDDP5QDZKNfsOea+GthU0sSGZTuQZnPeU02kjuSaG/LNfvUrsN5ZcA3FJMfp8K4lsMxW6QrSWOBgpA0rTdm73H5Hc/8cGhDVfOxp10l68weOiK4PGJY0DfhcREzsa9sBPHdXs0vaBtiO9BfTBGB/YHdgu4i4d7DP3/A6Xd/nkj4PnF48esaWnAQsC2wSadZhN15nSN4vkq4H1oiIyd16zqbnH7L3ea7Zc8wtaQLwB9IM068BKwKnArMjYrduvEbxOt0+tmSZu3jOLLM35n4ffH932OP/wj+tAc/NhgsaNg3gGgZ4KdjHlr97vqw/hwbKZxxHtsXAJ4GfAOcC44Ep3Swah9AZwP8AdiM1W/0GqQDepVu/rEOlOJOxC3BJ1Vn6K9fsueaOiPmkCRnzSNm/R5qc8c9V5upLrrkh3+yNue+DM0+Dj0yCB66HHzdtKlKfx52o0WzrTH9Hs/0cGgyfccxIrtlzzQ35Zs81N+SbPdfckG/2XHNDSdml5Ul3N1mrzRa/I5197Hjspvd5+eqW22cczczMhqOljcIfarPFB4BPIo0pL5TlzoWjmZnZcJUahV9C0+zfBhsAhyCNKy+U5cyFo5mZ2XCWGlH/lPa38FuH1K5npfJCWa5cOJqZmQ13qVH4L0izf1tNblgNOBJp9XKDWW5cOJqZmY0UEb8m3WK21e3wVgQOq3ujcKuWC0czM7ORJOKPwIUUjcKb9DQKr9/tFa0WXDiamZmNNBGPAucAL7dYOxr4BNKW5YayHLhwNDMzG4ki/gycDTzXYq2AjyDtXKdG4VY9F45mZmYjVcSLwHTgyTZb7ADsjeR6wQAXjmZmZiNbxELgfNo3Ct8cmOpG4QYuHM3MzGxpo/Dft9lifeBT7hJuLhzNzMysp1H4VcCtbbZY+3DAXcJHNheOZmZmlqRG4TcB19KiUfhE4Ajg7WXnstpw4WhmZmZ/L+I3wI9p0Sg8dQkHpHVLzWS1oIhWdx4aviSNrB/YzMxsgN4F7A8s12LdEuBy4IFSE41sEVF5ayQXjmZmZtbW24GDSGcamwXp5td3lppo5HLhWAEXjmZmZv2zEql4nNhm/W3ATeXFGbHqUDiOrjpAlerwP6A/GovenLLnmhvyzZ5rbsg3e665Id/sueaGTLNL44+AV9Ypvp0GJzdt8Xvg6mJ2du1kuc+p3wkvT44xMzOzvkUsPB94sP0WPY3Cly0rkpXPhaOZmZl15HVSl/C72m+yHnAI0viSIlnJXDiamZlZxwL4WfrnLW02WRs4AmnlkiJZiVw4mpmZWf9F3AxcQ4tG4cDbgCOR1ig3lA01F45mZmY2MBF3Aj8iXcVutgJwGNI/lBvKhpILRzMzMxu4iAeAC4C/tVi7HHAQ0nvLDWVDxYWjmZmZDU7E48B0YH6LtaOAjyNtXW4oGwouHM3MzGzwIv4CnA38tcVaAXsi7YKUTQ9FeysXjmZmZtYdES+Rzjz+qc0W2wP7II0qL5R1kwtHMzMz656IRcD5wJw2W0zGjcKz5cLRzMzMuitiMXAp8Ls2W6wHfApp+fJCWTe4cOwSJY9KCkmTqs7TiqRJkn4o6R5JSyTNbLGNJH1Z0p8kLZJ0q6TJFcTtk6R9Jd0r6dVi3x9TdaZOSJoq6S5JCyQ9Jel8Se+oOlcncs2ece6ZxTGl1WPbqvO1k2tuyDd7LXNHvAFcDcxss8VawOFIq0gaLel4SQ8Vx/QnJZ1eWtYBqOU+L4EianXv7CE3VDc5l/RB4JfFtydGxFe69dwNrzGo7JL2Ab4L3AFsAjwbETs2bXMCcBLwJWA2cAywFbBJRPy5itxtnnMKcBtpLM2PgK0pckfEt7rxGsXrdDW7pL2BnwLfA64E1gS+ArwAbBHpQDtoQ7TPs8yea+7iOTcGJjQtPoV0T+A1I6JV77yBvE6393mWuYvnzDJ77XNLWwAfIU2SabZgRdh6AUwBTiZ99qwDbBwRXx5c4sYII2yfDxEXjt173u8AhwF/AFaMiK73rOpC4bhMz4ekpMuAiY2Fo6SxwLPAaRFxSrFseeAx4IcR8e9V5G7znDcA4yJih4Zl3wQOBdaIiNe69DrdPtBcAqwXER9oWNZT2GwcqR/aoA3RPs8ye66527zGssCfgUsj4rNdfN4hzZ5r7uI1ssxey9zShsDHgdGNi78Fk46F/Y+APc6K+HlXgrZ8+RG4z4eAL1V3gdLssE8AV5HOgG0sadNqU71VB2dWPkj66+lHDf/NK6Tbku45hNEGYjJwY9OyGcAqQJ0vEYwBXmpa9mLxtfIDQh9yzZ5r7lb2IL3HL646SD/lmhvyzV6/3BGzSZNm/q5R+IWw+Qbw6FmwDdIm1YTrivrt8yHgwrE7dgZWBy4BLgMWA/tXmmhgNgSWAA81LX+gWFcnY4Hms4qvFl83KjlLf0wHtpd0iKQJktYnXTa9OSLurzhbX3LNnmvuVqYCT5GGaeQk19yQb/Z65o54gqZG4Q/DWmvB87vBXmPhd6Okv0m6IodxyE3quc+7zIVjd+xPOoNxfUS8APwcmCpl1+R0FWBBRCxpWj4PGK96tU6YC2zZtGyr4uuqJWfpWERcQ7qcfhbpLNgc0l0VPlphrI7kmj3X3M0kjQf2Il0Gy2aMUa65Id/stc/d1Cj8ZVjhVpj8MKzxVbjs3+Bn49J4xytz+Ryt/T7vIheOgyRpOWA/4MqGcXUXA+sC21SVaxBaveHVy7qqnAnsI+nTSjPydgeOLdY1F761IWknUvZvAzuR/kJdlXSArHVD3Fyz55q7hb2AFcjvMliuuSHf7PXPvbRR+BOkzxjNgIuPhYdOgT+eAdcCW42FXSvN2bn67/MuGd33JtaHPYGVgWslrVwsm0m6bLo/8KuKcg3EPGBFSaOazjquDCyM1JerLqYDmwE/IJ1JWggcB3yHNMGnrk4DroqI43oWSLqbNItwH+CKqoJ1INfsueZuNhWYGxG/rTpIP+WaG/LNnkfuiEVIF4yBb64OL0+CRT2rDoUnPgNLPgIHId1ClyY8DqE89nkX+Izj4PWMZfwxqfCaR7rV0nLAP2d2RmM26RJecx/KDYt1tRERSyLic8BqwKakMaZ3FKvvaPsfVm9D4O7GBRExh3TAfE8liTqXa/Zcc79J0kqkP1KzOpuRa27IN3t2uSMW/w3uXgALWqzVajCRmjcKz26fD5ILx0GQtALwT6Q3y05Nj2NIxcxOlQXsv9tJA5Y/0bOgYdzGdVWF6k1EzIuI+yJiAXAUcHukmXt19Tjw/sYFkjYCxpHaHtVZrtlzzd1oP9Ifo7l9MOWaG/LNnmPuq5+Hd94Ed/UsmA7vWgLLbJWuIK0FHIG0SnURe5XjPh8w93Ec3HMdCFwIbBMRv25aNwZ4BvhpRBwxmNdpeM7B9nEcD3y4+PZYUuud/1V8f21ELCwagJ/I3zcA3xp4b0QM6BLwEPUU3AbYjnQmaQLpzO/uwHYRcW83XqN4nW73FPw8cHrxuI70x8VJwLKkJuuvDPY1itcZin2eZfZcczc99/Wk/qRDchenIexvm2Xu4rmzzJ5jbkkTSD2Qn9oXLt0Itvs+7LYGPDcbLmjYdAFwERHPDPB1vM+7wIXj4J7ramD9iFi/zfrvkwqaNSLi1Vbb9PP1Bls4rgs82mb1P0TEY8UMti8DnwXeBvwWODoift/vwEtfdygONB8gTXjYCHiD1P7g+Ii4rxvP3/A63S5iBHyGtH/fQ5qNPws4ISIeGezzN7zOUOzzLLPnmrvheSeS/gg9MSK+3q3nbXqNoXi/ZJm7eN4ss+eau3jeScAZwIeWgde3hof/G2as29TzkTR/4FIG8Lvrfd4dLhwzkmv2XHNDvtlzzQ35Zs81N+SbPdfckG/20nJL7ySdeBnXYu0S4Cf080SB93l3eIyjmZmZ1cvSRuHNd32CNInzY0h1vkvYsOXC0czMzOon4q+kRuF/abPF7ki7kUmT8OHChaOZmZnVU8R84BxSd4RWpgD7kVfru6y5cDQzM7P6ilhE6mDyQJstNgUOIN3JzYaYC0czMzOrt3Tnsh8Dd7bZ4j3UvFH4cOHC0czMzOov4g3SPaxvarPFO0iNwlctL9TI48LRzMzM8hARRNwKXAW06ie4Kql4fEe5wUYOF45mZmaWl4i7gEuAxS3WLg8cipTFvehz48LRzMzM8hMxBzgfWNRi7bLAgUiblhtq+HPhaGZmZnmK+BPtG4UvA3wU6YPlhhreXDiamZlZvpY2Cn+2zRb/iLR7iYmGNReOZmZmlre+G4Vv+1Fc9HSD96GZmZnlL+JvwAXA/a1Wvw84kDT40QbOhaOZmZkNDxGvA5cBv2m1+t3AoQDSCuWFGl4U0aoN0vAlaWT9wGZmZiPQdsAubdbNI52anFdenK6ICFWdwYWjmZmZDUuTgb1ofXn1FeAi4JlSEw2OC8cKuHA0MzMbOdYDPgGMabHuNeBS4JFSEw2cC8cKNBaOdfgf0B+5Zs81N+SbPdfckG/2XHNDvtlzzQ35Zs81N9Lax8GfxhXfToOTG9a+AfyEiHvLD9a3uu1zT44xMzOz4S3iybOBF1uvXdooXKq8MKs7F45mZmY27D1P713CgX8kNQt38dgLF45mZmY2IiwgdQkHHmuzybaks4+jy0mUHxeOZmZmNmK8mr5cSJtG4aRe4QcgLVdSpKy4cDQzM7ORpY9G4fT0Cnej8Ldw4WhmZmYjT8QbwHXAL9pssSZwBNLbygtVfy4czczMbGSKCCJuA35CasvTbBVS8bhWucHqy4WjmZmZjWwRdwMXA4tbrB1Pumw9qdxQ9eTC0czMzCziIeA8YGGLtWNIE2Y2KzdU/bhwNDMzMwOIeBKYTute4csA+yFNGcm9Hl04mpmZmfWIeI7UK/zPbbbYDdh9pBaPLhy7RNI0Sc9VnaM3kiZJ+qGkeyQtkTSzxTZHSbpG0vOSQtKO5Sd9qw6zS9KXJf1J0iJJt0qaXEHcXknaV9K9kl6V9KikY6rO1ClJUyXdJWmBpKcknS/pHVXn6ov3eflyzQ35Zs8498zi86bVY9tKQkW8DJwLPNpmi22Aj/0vaTlJx0t6qDi+PCnp9NJyVsCF48jyXuDDwIPFo5VDgFWBG8oK1aFOsh8PnAicCuxFuknAjZLWKCVhByRNAa4g9Q7bi3RJ5FRJ/7PSYB2QtDdp8PjtwD7AccAOwNWSanss8T4vX665Id/sueYuHEW6Y0vj4+fAc8CdlaWK+BtwEfDHNltscgXcBBwN/CfploXHA4vKCViRNBN95DyA6Hl0+XmnAc/VOTuwTMO/LwNmttsG2KR4rR2rzt1JdmAs8BJwUsOy5YG/Al+py/uFVJDf2rTsm8ALwLJ1ea+0ec5LgN81Ldu7eJ2N6prd+7ySfZ5l7pyz55q7zWssW/x+/qDLzzuw7KCAPQOmNT5OhwuXgSU/Tt+vOIT7Y8j3eX8edf8rxLooUrPTQW9ThQ5yfRCYAPyo4b95BfgZsOcQRuuvycCNTctmkHqFVXNJpnNjSMV5o54B5HUe6+N9Xr5cc0O+2XPN3coepN/Pi6sOAlBUb9eTzoK+6ULYfAN49OPp2xHTKNyFow0XGwJLgIealj9QrKuLscBrTcuKW6eyUclZ+ms6sL2kQyRNkLQ+8BXg5ohod8/XOvA+L1+uuSHf7LnmbmUq8BRwW9VB3pROt/0SuJKiUfjDsNZa8Pxu8OGxcOoYeGZF6docxpUOhgtHGy5WARZExJKm5fOA8ZKWrSBTK3OBLZuWbVV8XbXkLP0SEdcAhwJnkc5szAFGAR+tMFYnvM9LlmtuyDd7rrmbSRpPGot8aRTXaWsl4h6KRuEvwwq3wuSHYY2vwmUnwE9Hwbbj4FoN4xnXLhxtOGl1kFEv66pwJrCPpE9LWkXS7sCxxbrmordWJO1Eyv9tYCfSWYFVgSsljaoyWx+8z0uWa27IN3uuuVvYC1iBulymbiU1Cj+3+FDRDLj4WHjoFPjjf8JPFsFmm8C+lWYcQqOrDmDWJfOAFSWNajrruDKwMCJa3UaqCtOBzYAfkM4MLCTNfvwO8GyFuTpxGnBVRBzXs0DS3cBs0izOK6oK1gfv8/LlmhvyzZ5r7mZTgbkR8duqg/Qq4qmQXng7vDKpYRb1ofDEv8DiP8DaFaYbUj7jaMPFbNJlmeZ7iW5YrKuFiFgSEZ8DVgM2BVYH7ihW39H2P6yHDYG7GxdExBzSQfM9lSTqgPd5JXLNDflmzzX3myStRJrMWN+zjQ0C7n8G/kJDo/Al8LviTGQtJ5p2gwtHGy5uB+YDn+hZ0DBW5rqqQrUTEfMi4r6IWEDqYXZ7RNSmwG3jceD9jQskbQSMAx6rIlB/eJ+XKtfckG/2XHM32g9YjkwKR+DqJbDJh+Aq4BFgzorwMmmG+z3VRhs6vlTdXctK+niL5bdExF9LT9OkKKQ+XHy7FjChIe+1EbFQ0hbAusA6xfIPSZoIPFblpYMOs38dOFHSPNJZxmNIfxx9p/TAbUjaBtiOdGZgArA/sHuxrO7OBE6X9DSpGF8dOIn0oXRthbl65X1eiVxzQ77Zc83daCpwT0Q8UHWQDp0FHH0rXD4Ovg5MWAznAzdGxKyKsw2dqhtJlv1gaBuAR5vHjnXITioI22Vct9jm3Dbrz61yn3eYXcC/AU+SLs/cBmxep/cL8AHSnRAWkM6QXgO8r5vvxaHI3bB/PwvcC7xCapdxKfDuOmf3Pq9kn2eZO+fsueZueN6JwGLg+G4+bwnvl0mkwvwV0lj7c4FV6p57MA8VoUYMSW/+wBGR1XT5XLPnmhvyzZ5rbsg3e665Id/sueaGfLPnmhvyzV633B7jaGZmZmYdceFoZmZmZh1x4WhmZmZmHXHhaGZmZmYdceFoZmZmZh1x4WhmZmZmHXHhaGZmZmYdceFoZmZmZh1x4WhmZmZmHXHhaGZmZmYdceFoZmZmZh1x4WhmZmZmHXHhaGZmZmYdceFoZmZmZh1RRFSdoVSSRtYPbGZmZsNCRKjqDD7jaGZmZmYdceFoZmZmZh0ZcZeqzczMzGxgfMbRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOuLC0czMzMw64sLRzMzMzDriwtHMzMzMOvL/ACtczAPJ3lU9AAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<Figure size 792x792 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "# Drawing\n",
    "def draw_table(col_labels, row_labels, table_vals, line=None):\n",
    "    if not line is None:\n",
    "        line = np.array(line)\n",
    "        line = line.transpose()\n",
    "\n",
    "    ncol = len(col_labels)\n",
    "    nrow = len(row_labels)\n",
    "\n",
    "    # draw grid lines\n",
    "    plt.plot(np.tile([0, ncol+1], (nrow+2,1)).T, np.tile(np.arange(nrow+2), (2,1)),\n",
    "        'k', linewidth=3)\n",
    "    plt.plot(np.tile(np.arange(ncol+2), (2,1)), np.tile([0, nrow+1], (ncol+2,1)).T,\n",
    "        'k', linewidth=3)\n",
    "\n",
    "    # plot labels\n",
    "    for icol, col in enumerate(col_labels):\n",
    "        plt.text(icol + 1.5, nrow + 0.5, col, ha='center', va='center')\n",
    "    for irow, row in enumerate(row_labels):\n",
    "        plt.text(0.5, nrow - irow - 0.5, row, ha='center', va='center')\n",
    "\n",
    "    # plot table content\n",
    "    for irow, row in enumerate(table_vals):\n",
    "        for icol, cell in enumerate(row):\n",
    "            plt.text(icol + 1.5, nrow - irow - 0.5, cell, ha='center', va='center')\n",
    "\n",
    "    # plot line\n",
    "    if not line is None:\n",
    "        plt.plot(line[0] + 1.5, nrow - line[1] - 0.5, 'r', linewidth = 5, alpha = 0.5)\n",
    "\n",
    "    #plt.axis([-0.5, ncol + 1.5, -0.5, nrow+1.5])\n",
    "    plt.axis('off')\n",
    "    plt.show()\n",
    "draw_table(col_labels, row_labels, table_vals, line)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [],
   "source": [
    "ed_graph = graphviz.Digraph(comment='Graph of \\\"КОМАНДА\\\"')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
       " -->\n",
       "<!-- Title: %3 Pages: 1 -->\n",
       "<svg width=\"197pt\" height=\"1119pt\"\n",
       " viewBox=\"0.00 0.00 197.21 1118.79\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 1114.79)\">\n",
       "<title>%3</title>\n",
       "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-1114.79 193.209,-1114.79 193.209,4 -4,4\"/>\n",
       "<!-- 0 -->\n",
       "<g id=\"node1\" class=\"node\"><title>0</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-1092.79\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-1089.09\" font-family=\"Times,serif\" font-size=\"14.00\">#</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;0 -->\n",
       "<g id=\"edge23\" class=\"edge\"><title>0&#45;&gt;0</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-1100.55C111.717,-1101.28 121.209,-1098.7 121.209,-1092.79 121.209,-1088.83 116.924,-1086.36 110.783,-1085.39\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-1081.89 100.741,-1085.04 110.615,-1088.88 110.856,-1081.89\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-1089.09\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 1 -->\n",
       "<g id=\"node2\" class=\"node\"><title>1</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-1005.79\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-1002.09\" font-family=\"Times,serif\" font-size=\"14.00\">E</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;1 -->\n",
       "<g id=\"edge1\" class=\"edge\"><title>0&#45;&gt;1</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.5473,-1086.6C34.2198,-1081.82 14.3098,-1072.93 4.20896,-1056.79 -7.6404,-1037.86 17.7664,-1024.2 41.603,-1015.99\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.8011,-1019.28 51.2645,-1012.91 40.6738,-1012.61 42.8011,-1019.28\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-1045.59\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != E)</text>\n",
       "</g>\n",
       "<!-- 0&#45;&gt;1 -->\n",
       "<g id=\"edge12\" class=\"edge\"><title>0&#45;&gt;1</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.9078,-1082.7C109.868,-1077.01 121.97,-1068.51 128.209,-1056.79 135.785,-1042.56 122.592,-1030 107.602,-1021.03\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.167,-1017.89 98.7124,-1016.17 105.812,-1024.04 109.167,-1017.89\"/>\n",
       "<text text-anchor=\"middle\" x=\"159.209\" y=\"-1045.59\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;1 -->\n",
       "<g id=\"edge24\" class=\"edge\"><title>1&#45;&gt;1</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-1013.55C111.717,-1014.28 121.209,-1011.7 121.209,-1005.79 121.209,-1001.83 116.924,-999.357 110.783,-998.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-994.888 100.741,-998.042 110.615,-1001.88 110.856,-994.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-1002.09\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 2 -->\n",
       "<g id=\"node3\" class=\"node\"><title>2</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-918.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-915.094\" font-family=\"Times,serif\" font-size=\"14.00\">X</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;2 -->\n",
       "<g id=\"edge2\" class=\"edge\"><title>1&#45;&gt;2</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.564,-999.802C33.948,-995.096 13.5424,-986.208 3.20896,-969.794 -8.80325,-950.713 16.9561,-937.075 41.1233,-928.912\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.4187,-932.174 50.9187,-925.85 40.3299,-925.493 42.4187,-932.174\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-958.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != X)</text>\n",
       "</g>\n",
       "<!-- 1&#45;&gt;2 -->\n",
       "<g id=\"edge13\" class=\"edge\"><title>1&#45;&gt;2</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M99.0577,-995.94C110.297,-990.284 122.783,-981.738 129.209,-969.794 136.974,-955.359 123.302,-942.728 107.903,-933.772\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.261,-930.53 98.7864,-928.938 105.982,-936.715 109.261,-930.53\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.209\" y=\"-958.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 2&#45;&gt;2 -->\n",
       "<g id=\"edge25\" class=\"edge\"><title>2&#45;&gt;2</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-926.545C111.717,-927.284 121.209,-924.7 121.209,-918.794 121.209,-914.825 116.924,-912.357 110.783,-911.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-907.888 100.741,-911.042 110.615,-914.884 110.856,-907.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-915.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 3 -->\n",
       "<g id=\"node4\" class=\"node\"><title>3</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-831.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-828.094\" font-family=\"Times,serif\" font-size=\"14.00\">P</text>\n",
       "</g>\n",
       "<!-- 2&#45;&gt;3 -->\n",
       "<g id=\"edge3\" class=\"edge\"><title>2&#45;&gt;3</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.5473,-912.6C34.2198,-907.824 14.3098,-898.935 4.20896,-882.794 -7.6404,-863.858 17.7664,-850.2 41.603,-841.991\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.8011,-845.283 51.2645,-838.91 40.6738,-838.614 42.8011,-845.283\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-871.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != P)</text>\n",
       "</g>\n",
       "<!-- 2&#45;&gt;3 -->\n",
       "<g id=\"edge14\" class=\"edge\"><title>2&#45;&gt;3</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.9078,-908.697C109.868,-903.011 121.97,-894.513 128.209,-882.794 135.785,-868.562 122.592,-855.999 107.602,-847.027\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.167,-843.893 98.7124,-842.173 105.812,-850.037 109.167,-843.893\"/>\n",
       "<text text-anchor=\"middle\" x=\"159.209\" y=\"-871.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 3&#45;&gt;3 -->\n",
       "<g id=\"edge26\" class=\"edge\"><title>3&#45;&gt;3</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-839.545C111.717,-840.284 121.209,-837.7 121.209,-831.794 121.209,-827.825 116.924,-825.357 110.783,-824.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-820.888 100.741,-824.042 110.615,-827.884 110.856,-820.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-828.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 4 -->\n",
       "<g id=\"node5\" class=\"node\"><title>4</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-744.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-741.094\" font-family=\"Times,serif\" font-size=\"14.00\">O</text>\n",
       "</g>\n",
       "<!-- 3&#45;&gt;4 -->\n",
       "<g id=\"edge4\" class=\"edge\"><title>3&#45;&gt;4</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.564,-825.802C33.948,-821.096 13.5424,-812.208 3.20896,-795.794 -8.80325,-776.713 16.9561,-763.075 41.1233,-754.912\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.4187,-758.174 50.9187,-751.85 40.3299,-751.493 42.4187,-758.174\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-784.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != O)</text>\n",
       "</g>\n",
       "<!-- 3&#45;&gt;4 -->\n",
       "<g id=\"edge15\" class=\"edge\"><title>3&#45;&gt;4</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M99.0577,-821.94C110.297,-816.284 122.783,-807.738 129.209,-795.794 136.974,-781.359 123.302,-768.728 107.903,-759.772\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.261,-756.53 98.7864,-754.938 105.982,-762.715 109.261,-756.53\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.209\" y=\"-784.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 4&#45;&gt;4 -->\n",
       "<g id=\"edge27\" class=\"edge\"><title>4&#45;&gt;4</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-752.545C111.717,-753.284 121.209,-750.7 121.209,-744.794 121.209,-740.825 116.924,-738.357 110.783,-737.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-733.888 100.741,-737.042 110.615,-740.884 110.856,-733.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-741.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 5 -->\n",
       "<g id=\"node6\" class=\"node\"><title>5</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-657.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-654.094\" font-family=\"Times,serif\" font-size=\"14.00\">N</text>\n",
       "</g>\n",
       "<!-- 4&#45;&gt;5 -->\n",
       "<g id=\"edge5\" class=\"edge\"><title>4&#45;&gt;5</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.564,-738.802C33.948,-734.096 13.5424,-725.208 3.20896,-708.794 -8.80325,-689.713 16.9561,-676.075 41.1233,-667.912\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.4187,-671.174 50.9187,-664.85 40.3299,-664.493 42.4187,-671.174\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-697.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != N)</text>\n",
       "</g>\n",
       "<!-- 4&#45;&gt;5 -->\n",
       "<g id=\"edge16\" class=\"edge\"><title>4&#45;&gt;5</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M99.0577,-734.94C110.297,-729.284 122.783,-720.738 129.209,-708.794 136.974,-694.359 123.302,-681.728 107.903,-672.772\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.261,-669.53 98.7864,-667.938 105.982,-675.715 109.261,-669.53\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.209\" y=\"-697.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 5&#45;&gt;5 -->\n",
       "<g id=\"edge28\" class=\"edge\"><title>5&#45;&gt;5</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-665.545C111.717,-666.284 121.209,-663.7 121.209,-657.794 121.209,-653.825 116.924,-651.357 110.783,-650.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-646.888 100.741,-650.042 110.615,-653.884 110.856,-646.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-654.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 6 -->\n",
       "<g id=\"node7\" class=\"node\"><title>6</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-570.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-567.094\" font-family=\"Times,serif\" font-size=\"14.00\">E</text>\n",
       "</g>\n",
       "<!-- 5&#45;&gt;6 -->\n",
       "<g id=\"edge6\" class=\"edge\"><title>5&#45;&gt;6</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.5473,-651.6C34.2198,-646.824 14.3098,-637.935 4.20896,-621.794 -7.6404,-602.858 17.7664,-589.2 41.603,-580.991\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.8011,-584.283 51.2645,-577.91 40.6738,-577.614 42.8011,-584.283\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-610.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != E)</text>\n",
       "</g>\n",
       "<!-- 5&#45;&gt;6 -->\n",
       "<g id=\"edge17\" class=\"edge\"><title>5&#45;&gt;6</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.9078,-647.697C109.868,-642.011 121.97,-633.513 128.209,-621.794 135.785,-607.562 122.592,-594.999 107.602,-586.027\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.167,-582.893 98.7124,-581.173 105.812,-589.037 109.167,-582.893\"/>\n",
       "<text text-anchor=\"middle\" x=\"159.209\" y=\"-610.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 6&#45;&gt;6 -->\n",
       "<g id=\"edge29\" class=\"edge\"><title>6&#45;&gt;6</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-578.545C111.717,-579.284 121.209,-576.7 121.209,-570.794 121.209,-566.825 116.924,-564.357 110.783,-563.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-559.888 100.741,-563.042 110.615,-566.884 110.856,-559.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-567.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 7 -->\n",
       "<g id=\"node8\" class=\"node\"><title>7</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-483.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-480.094\" font-family=\"Times,serif\" font-size=\"14.00\">N</text>\n",
       "</g>\n",
       "<!-- 6&#45;&gt;7 -->\n",
       "<g id=\"edge7\" class=\"edge\"><title>6&#45;&gt;7</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.564,-564.802C33.948,-560.096 13.5424,-551.208 3.20896,-534.794 -8.80325,-515.713 16.9561,-502.075 41.1233,-493.912\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.4187,-497.174 50.9187,-490.85 40.3299,-490.493 42.4187,-497.174\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-523.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != N)</text>\n",
       "</g>\n",
       "<!-- 6&#45;&gt;7 -->\n",
       "<g id=\"edge18\" class=\"edge\"><title>6&#45;&gt;7</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.7864,-560.649C117.11,-551.748 138.498,-537.06 129.209,-519.794 124.44,-510.929 116.332,-503.936 107.874,-498.607\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.489,-495.5 99.0577,-493.647 106.057,-501.6 109.489,-495.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.209\" y=\"-523.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 7&#45;&gt;7 -->\n",
       "<g id=\"edge30\" class=\"edge\"><title>7&#45;&gt;7</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-491.545C111.717,-492.284 121.209,-489.7 121.209,-483.794 121.209,-479.825 116.924,-477.357 110.783,-476.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-472.888 100.741,-476.042 110.615,-479.884 110.856,-472.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-480.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 8 -->\n",
       "<g id=\"node9\" class=\"node\"><title>8</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-396.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-393.094\" font-family=\"Times,serif\" font-size=\"14.00\">T</text>\n",
       "</g>\n",
       "<!-- 7&#45;&gt;8 -->\n",
       "<g id=\"edge8\" class=\"edge\"><title>7&#45;&gt;8</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.5473,-477.6C34.2198,-472.824 14.3098,-463.935 4.20896,-447.794 -7.6404,-428.858 17.7664,-415.2 41.603,-406.991\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.8011,-410.283 51.2645,-403.91 40.6738,-403.614 42.8011,-410.283\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-436.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != T)</text>\n",
       "</g>\n",
       "<!-- 7&#45;&gt;8 -->\n",
       "<g id=\"edge19\" class=\"edge\"><title>7&#45;&gt;8</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.9078,-473.697C109.868,-468.011 121.97,-459.513 128.209,-447.794 135.785,-433.562 122.592,-420.999 107.602,-412.027\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.167,-408.893 98.7124,-407.173 105.812,-415.037 109.167,-408.893\"/>\n",
       "<text text-anchor=\"middle\" x=\"159.209\" y=\"-436.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 8&#45;&gt;8 -->\n",
       "<g id=\"edge31\" class=\"edge\"><title>8&#45;&gt;8</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-404.545C111.717,-405.284 121.209,-402.7 121.209,-396.794 121.209,-392.825 116.924,-390.357 110.783,-389.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-385.888 100.741,-389.042 110.615,-392.884 110.856,-385.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-393.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 9 -->\n",
       "<g id=\"node10\" class=\"node\"><title>9</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-309.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-306.094\" font-family=\"Times,serif\" font-size=\"14.00\">I</text>\n",
       "</g>\n",
       "<!-- 8&#45;&gt;9 -->\n",
       "<g id=\"edge9\" class=\"edge\"><title>8&#45;&gt;9</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.8926,-390.5C34.7871,-385.681 15.1524,-376.781 5.20896,-360.794 -6.35617,-342.198 18.059,-328.608 41.3483,-320.33\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.7448,-323.555 51.1523,-317.108 40.5594,-316.905 42.7448,-323.555\"/>\n",
       "<text text-anchor=\"middle\" x=\"65.709\" y=\"-349.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != I)</text>\n",
       "</g>\n",
       "<!-- 8&#45;&gt;9 -->\n",
       "<g id=\"edge20\" class=\"edge\"><title>8&#45;&gt;9</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.318,-386.347C108.794,-380.607 120.288,-372.166 126.209,-360.794 133.392,-346.997 121.217,-334.609 107.086,-325.616\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"108.599,-322.448 98.1903,-320.472 105.095,-328.507 108.599,-322.448\"/>\n",
       "<text text-anchor=\"middle\" x=\"157.209\" y=\"-349.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 9&#45;&gt;9 -->\n",
       "<g id=\"edge32\" class=\"edge\"><title>9&#45;&gt;9</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-317.545C111.717,-318.284 121.209,-315.7 121.209,-309.794 121.209,-305.825 116.924,-303.357 110.783,-302.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-298.888 100.741,-302.042 110.615,-305.884 110.856,-298.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-306.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 10 -->\n",
       "<g id=\"node11\" class=\"node\"><title>10</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-222.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-219.094\" font-family=\"Times,serif\" font-size=\"14.00\">A</text>\n",
       "</g>\n",
       "<!-- 9&#45;&gt;10 -->\n",
       "<g id=\"edge10\" class=\"edge\"><title>9&#45;&gt;10</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.564,-303.802C33.948,-299.096 13.5424,-290.208 3.20896,-273.794 -8.80325,-254.713 16.9561,-241.075 41.1233,-232.912\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.4187,-236.174 50.9187,-229.85 40.3299,-229.493 42.4187,-236.174\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-262.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != A)</text>\n",
       "</g>\n",
       "<!-- 9&#45;&gt;10 -->\n",
       "<g id=\"edge21\" class=\"edge\"><title>9&#45;&gt;10</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.7864,-299.649C117.11,-290.748 138.498,-276.06 129.209,-258.794 124.44,-249.929 116.332,-242.936 107.874,-237.607\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.489,-234.5 99.0577,-232.647 106.057,-240.6 109.489,-234.5\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.209\" y=\"-262.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 10&#45;&gt;10 -->\n",
       "<g id=\"edge33\" class=\"edge\"><title>10&#45;&gt;10</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M100.741,-230.545C111.717,-231.284 121.209,-228.7 121.209,-222.794 121.209,-218.825 116.924,-216.357 110.783,-215.388\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"110.856,-211.888 100.741,-215.042 110.615,-218.884 110.856,-211.888\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-219.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 11 -->\n",
       "<g id=\"node12\" class=\"node\"><title>11</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-135.794\" rx=\"27\" ry=\"18\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-132.094\" font-family=\"Times,serif\" font-size=\"14.00\">L</text>\n",
       "</g>\n",
       "<!-- 10&#45;&gt;11 -->\n",
       "<g id=\"edge11\" class=\"edge\"><title>10&#45;&gt;11</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M50.5473,-216.6C34.2198,-211.824 14.3098,-202.935 4.20896,-186.794 -7.6404,-167.858 17.7664,-154.2 41.603,-145.991\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"42.8011,-149.283 51.2645,-142.91 40.6738,-142.614 42.8011,-149.283\"/>\n",
       "<text text-anchor=\"middle\" x=\"66.209\" y=\"-175.594\" font-family=\"Times,serif\" font-size=\"14.00\"> x:&quot;C or S&quot;/int(x != L)</text>\n",
       "</g>\n",
       "<!-- 10&#45;&gt;11 -->\n",
       "<g id=\"edge22\" class=\"edge\"><title>10&#45;&gt;11</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M98.9078,-212.697C109.868,-207.011 121.97,-198.513 128.209,-186.794 135.785,-172.562 122.592,-159.999 107.602,-151.027\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"109.167,-147.893 98.7124,-146.173 105.812,-154.037 109.167,-147.893\"/>\n",
       "<text text-anchor=\"middle\" x=\"159.209\" y=\"-175.594\" font-family=\"Times,serif\" font-size=\"14.00\"> &lt;eps&gt;:I/1</text>\n",
       "</g>\n",
       "<!-- 11&#45;&gt;11 -->\n",
       "<g id=\"edge34\" class=\"edge\"><title>11&#45;&gt;11</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M101.652,-142.484C112.237,-142.946 121.209,-140.715 121.209,-135.794 121.209,-132.564 117.345,-130.493 111.697,-129.581\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"111.808,-126.083 101.652,-129.103 111.475,-133.075 111.808,-126.083\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.709\" y=\"-132.094\" font-family=\"Times,serif\" font-size=\"14.00\"> x:D/1</text>\n",
       "</g>\n",
       "<!-- 12 -->\n",
       "<g id=\"node13\" class=\"node\"><title>12</title>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-40.3968\" rx=\"36.304\" ry=\"36.304\"/>\n",
       "<ellipse fill=\"none\" stroke=\"black\" cx=\"76.209\" cy=\"-40.3968\" rx=\"40.2938\" ry=\"40.2938\"/>\n",
       "<text text-anchor=\"middle\" x=\"76.209\" y=\"-36.6968\" font-family=\"Times,serif\" font-size=\"14.00\">FINAL</text>\n",
       "</g>\n",
       "<!-- 11&#45;&gt;12 -->\n",
       "<g id=\"edge35\" class=\"edge\"><title>11&#45;&gt;12</title>\n",
       "<path fill=\"none\" stroke=\"black\" d=\"M76.209,-117.663C76.209,-110.002 76.209,-100.538 76.209,-90.9141\"/>\n",
       "<polygon fill=\"black\" stroke=\"black\" points=\"79.7091,-90.8954 76.209,-80.8954 72.7091,-90.8954 79.7091,-90.8954\"/>\n",
       "</g>\n",
       "</g>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<graphviz.dot.Digraph at 0x7f63333e06d8>"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "for i in range(len(row_labels)):\n",
    "    ed_graph.node(str(i), row_labels[i])\n",
    "for i in range(len(row_labels) - 1):\n",
    "    ed_graph.edge(str(i), str(i + 1), f' x:\\\"C or S\\\"/int(x != {row_labels[i + 1]})')\n",
    "for i in range(len(row_labels) - 1):\n",
    "    ed_graph.edge(str(i), str(i + 1), f' <eps>:I/1')\n",
    "for i in range(len(row_labels)):\n",
    "    ed_graph.edge(str(i), str(i), f' x:D/1')\n",
    "\n",
    "ed_graph.node(str(len(row_labels)), 'FINAL', shape='doublecircle')\n",
    "ed_graph.edge(str(len(row_labels) - 1), str(len(row_labels)))\n",
    "ed_graph"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "1 {1: {S(P->E) 1}, 0: {D 1}, 2: {I(E)S(P->X) 2}, 3: {I(E)I(X)C 2}, 4: {I(E)I(X)CI(O) 3}}\n",
      "2 {1: {DS(O->E) 2}, 0: {DD 2}, 2: {S(P->E)S(O->X) 2}, 3: {I(E)S(P->X)S(O->P) 3}, 4: {I(E)I(X)CC 2}, 5: {I(E)I(X)CCI(N) 3}, 6: {I(E)I(X)CCI(N)I(E) 4}}\n",
      "3 {1: {DDS(L->E) 3}, 0: {DDD 3}, 2: {DS(O->E)S(L->X) 3}, 3: {S(P->E)S(O->X)S(L->P) 3}, 4: {I(E)I(X)CCD 3}, 5: {I(E)I(X)CCS(L->N) 3}, 6: {I(E)I(X)CCI(N)S(L->E) 4}, 7: {I(E)I(X)CCI(N)I(E)S(L->N) 5}}\n",
      "4 {1: {DDDS(Y->E) 4}, 0: {DDDD 4}, 2: {DDS(L->E)S(Y->X) 4}, 3: {DS(O->E)S(L->X)S(Y->P) 4}, 4: {S(P->E)S(O->X)S(L->P)S(Y->O) 4}, 5: {I(E)I(X)CCDS(Y->N) 4}, 6: {I(E)I(X)CCS(L->N)S(Y->E) 4}, 7: {I(E)I(X)CCI(N)S(L->E)S(Y->N) 5}, 8: {I(E)I(X)CCI(N)I(E)S(L->N)S(Y->T) 6}}\n",
      "5 {1: {DDDDS(N->E) 5}, 0: {DDDDD 5}, 2: {DDDS(Y->E)S(N->X) 5}, 3: {DDS(L->E)S(Y->X)S(N->P) 5}, 4: {DS(O->E)S(L->X)S(Y->P)S(N->O) 5}, 5: {S(P->E)S(O->X)S(L->P)S(Y->O)C 4}, 6: {I(E)I(X)CCDS(Y->N)S(N->E) 5}, 7: {I(E)I(X)CCS(L->N)S(Y->E)C 4}, 8: {I(E)I(X)CCS(L->N)S(Y->E)CI(T) 5}, 9: {I(E)I(X)CCS(L->N)S(Y->E)CI(T)I(I) 6}}\n",
      "6 {1: {DDDDDS(O->E) 6}, 0: {DDDDDD 6}, 2: {DDDDS(N->E)S(O->X) 6}, 3: {DDDS(Y->E)S(N->X)S(O->P) 6}, 4: {DDS(L->E)S(Y->X)S(N->P)C 5}, 5: {S(P->E)S(O->X)S(L->P)S(Y->O)CD 5}, 6: {S(P->E)S(O->X)S(L->P)S(Y->O)CS(O->E) 5}, 7: {I(E)I(X)CCS(L->N)S(Y->E)CD 5}, 8: {I(E)I(X)CCS(L->N)S(Y->E)CS(O->T) 5}, 9: {I(E)I(X)CCS(L->N)S(Y->E)CI(T)S(O->I) 6}, 10: {I(E)I(X)CCS(L->N)S(Y->E)CI(T)I(I)S(O->A) 7}}\n",
      "7 {1: {DDDDDDS(M->E) 7}, 0: {DDDDDDD 7}, 2: {DDDDDS(O->E)S(M->X) 7}, 3: {DDDDS(N->E)S(O->X)S(M->P) 7}, 4: {DDS(L->E)S(Y->X)S(N->P)CD 6}, 5: {DDS(L->E)S(Y->X)S(N->P)CS(M->N) 6}, 6: {S(P->E)S(O->X)S(L->P)S(Y->O)CDS(M->E) 6}, 7: {S(P->E)S(O->X)S(L->P)S(Y->O)CS(O->E)S(M->N) 6}, 8: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T) 6}, 9: {I(E)I(X)CCS(L->N)S(Y->E)CS(O->T)S(M->I) 6}, 10: {I(E)I(X)CCS(L->N)S(Y->E)CI(T)S(O->I)S(M->A) 7}, 11: {I(E)I(X)CCS(L->N)S(Y->E)CI(T)I(I)S(O->A)S(M->L) 8}}\n",
      "8 {1: {DDDDDDDS(I->E) 8}, 0: {DDDDDDDD 8}, 2: {DDDDDDS(M->E)S(I->X) 8}, 3: {DDDDDS(O->E)S(M->X)S(I->P) 8}, 4: {DDS(L->E)S(Y->X)S(N->P)CDD 7}, 5: {DDS(L->E)S(Y->X)S(N->P)CDS(I->N) 7}, 6: {DDS(L->E)S(Y->X)S(N->P)CS(M->N)S(I->E) 7}, 7: {S(P->E)S(O->X)S(L->P)S(Y->O)CDS(M->E)S(I->N) 7}, 8: {S(P->E)S(O->X)S(L->P)S(Y->O)CS(O->E)S(M->N)S(I->T) 7}, 9: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)C 6}, 10: {I(E)I(X)CCS(L->N)S(Y->E)CS(O->T)S(M->I)S(I->A) 7}, 11: {I(E)I(X)CCS(L->N)S(Y->E)CI(T)S(O->I)S(M->A)S(I->L) 8}}\n",
      "9 {4: {DDS(L->E)S(Y->X)S(N->P)CDDD 8}, 5: {DDS(L->E)S(Y->X)S(N->P)CDDS(A->N) 8}, 6: {DDS(L->E)S(Y->X)S(N->P)CDS(I->N)S(A->E) 8}, 7: {DDS(L->E)S(Y->X)S(N->P)CS(M->N)S(I->E)S(A->N) 8}, 8: {S(P->E)S(O->X)S(L->P)S(Y->O)CDS(M->E)S(I->N)S(A->T) 8}, 9: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CD 7}, 10: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CC 6}, 11: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CCI(L) 7}}\n",
      "10 {9: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CDD 8}, 10: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CCD 7}, 11: {I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CCC 6}}\n"
     ]
    }
   ],
   "source": [
    "table_vals_tokens = [['@' for i in range(len(col_labels))] for j in range(len(row_labels))]\n",
    "class Token:\n",
    "    def __init__(self, history_item, dist):\n",
    "        self.history_item = history_item\n",
    "        self.dist = dist\n",
    "    def __str__(self):\n",
    "        return '{' + self.history_item + ' ' + str(self.dist) + '}'\n",
    "    def __repr__(self):\n",
    "        return '{' + self.history_item + ' ' + str(self.dist) + '}'\n",
    "\n",
    "\n",
    "tokens = { 0:Token('', 0) }\n",
    "beam = 2\n",
    "        \n",
    "#eps initialization\n",
    "for state in range(len(row_labels) - 1):\n",
    "    if state + 1 not in tokens or tokens[state + 1].dist > tokens[state].dist + 1:\n",
    "        tokens[state + 1] = Token(\n",
    "            tokens[state].history_item + f'I({row_labels[state + 1]})',\n",
    "            tokens[state].dist + 1\n",
    "        )\n",
    "#beam cutoff\n",
    "best_cost = min([token.dist for token in tokens.values()])\n",
    "tokens = {state:token for state,token in tokens.items() if token.dist <= best_cost + beam}\n",
    "        \n",
    "for state in tokens:\n",
    "    table_vals_tokens[state][0] = tokens[state].dist\n",
    "\n",
    "for i in range(1, len(col_labels)):\n",
    "    new_tokens = {}\n",
    "    # non-eps transitions\n",
    "    for state in sorted(tokens):\n",
    "        #sub or cor\n",
    "        if len(row_labels) > state + 1 and (not state + 1 in new_tokens or \n",
    "                                            new_tokens[state + 1].dist > tokens[state].dist + (1 if row_labels[state + 1] != col_labels[i] else 0)):\n",
    "            new_tokens[state + 1] = Token(\n",
    "                tokens[state].history_item + (f'S({col_labels[i]}->{row_labels[state + 1]})' if row_labels[state + 1] != col_labels[i] else 'C'),\n",
    "                tokens[state].dist + (1 if row_labels[state + 1] != col_labels[i] else 0)\n",
    "            )\n",
    "        #del\n",
    "        if not state in new_tokens or new_tokens[state].dist > tokens[state].dist + 1:\n",
    "            new_tokens[state] = Token(\n",
    "                tokens[state].history_item + 'D',\n",
    "                tokens[state].dist + 1\n",
    "            )\n",
    "    # eps transitions\n",
    "    # На самом деле этот цикл работает неправильно, так как new_tokens обновляется, а stata бегает только по исходным\n",
    "    for state in sorted(new_tokens):\n",
    "        if len(row_labels) > state + 1 and (state + 1 not in new_tokens or \n",
    "                                            new_tokens[state + 1].dist > new_tokens[state].dist + 1):\n",
    "            new_tokens[state + 1] = Token(\n",
    "                new_tokens[state].history_item + f'I({row_labels[state + 1]})',\n",
    "                new_tokens[state].dist + 1\n",
    "            )\n",
    "        \n",
    "    best_cost = min([token.dist for token in new_tokens.values()])\n",
    "    #beam cutoff\n",
    "    new_tokens = {state:token for state,token in new_tokens.items() if token.dist <= best_cost + beam}\n",
    "    tokens = new_tokens\n",
    "    print(i, tokens)\n",
    "    for state in tokens:\n",
    "        table_vals_tokens[state][i] = tokens[state].dist"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAo4AAAJ6CAYAAACmDcPvAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDMuMC4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvOIA7rQAAIABJREFUeJzs3XuYXVWd5//3xwTUcBPIr40iGrmNwgxeQG3AQAMzbQwCKiihH8HIo4+B5iKoY9qJDsplBJpmGBAio4j2iEYQhhAJIpogaW0EIlcxchcCDgQDMQHC7fv7Y+3C09VVp3al9qm1V9Xn9Tz7qVP7pPb+1M6us79n7bXWUURgZmZmZjaUV+QOYGZmZmZlcOFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1TIxd4DRJilyZzAzMzMbrohQ7gxucTQzMzOzWlw4mpmZmVkt4+5Wdac2NPkOR+dt9pKyl5obys1eam4oN3upuaHc7KXmhnKzl5obys3eti52bnE0MzMzs1pcOJqZmZlZLS4czczMzKwWF45mZmZmVosLRzMzMzOrxYWjmZmZmdXiwtHMzMzManHhaGZmZma1uHA0MzMzs1pcOJqZmZlZLS4czczMzKwWF44GgKRrJR1XPT5e0qLcmbqRdKKk6FgekfQjSdvmzlaHpFmSbpC0VtJqSddJOiB3rqFUx31l7hx1SbpM0j2SXjXAcz+RdJekDXNkG0rHOf6TAZ67VNKSDLGGpaTzvON43z3I8/dUz584ytGGrbS/UwAl91fHeLvceeoq8ViPlAtH67MzcEv1+B3ArRmz1PUUsFu1fA54O/AzSRtlTTUESecD3wRuAD4IHAI8AFwh6QsZo41FxwKvBf6hc6Wkg4G/BY6MiOdyBBuGv5X0rtwhhqvQ8/xZ4M2Sdu1cWR3/N1XPW2/sBkytHs/MmMOGMDF3AMtP0uuB/4+/FIvvAFrd4lh5ISL+tXr8r5L+AFwPzAAuyRdrcJI+CMwmFSzzOp5aJOmPwKmSfhoRy/IkHFsi4uGqhegUSf8cEfdUbyzOAr4bEUuyBhzan4CHgf9GKr6KUPB5vhZYRipcbupYPxP4ObBLjlDjxKGk439H9fjkvHFsMG5xNIC3AQ9ExJOSXgm8Bbgtc6b1cXP1dWrOEEM4DrgH+N8DPHcq8Gfg6FFNNPadDSwHzqm+/+/AJFIrddsF6bw4QNJ/yh1mGEo+z38AfFSSIN1CBT5arbcekDQB+AiwALgQ2FHSznlT2WBcOI5jff0DgauAqdXjZ0kt0XdUz8/KmXGYplZf/5gzxGAkTSTdjrkyIl7s/3xEPAUsBvYc7WxjWUS8ABwJvE/Sl4DPAHMi4vG8yWq7BPg9qdWx9cbAeX4ZqXvDe6vvp5HuyFyeLdHYtw/pmP8AuBR4ntTqaC3kwnF8e0e13AScVj0+G1ja8dyCbOlqkDSxWnYAziO1ZFybOdZgJgOvBB7s8m8eBLYanTjjR0T8EvgW8FXgRlLfuyJExEvA14CPVOd52xV9nkfEk8DV/KWf3Uzg6mq99cahwJOk4/wn4KfAzL5WX2sXF47jWETcQurXuB2woPp+CrA4Im6plj9lDdndlqR3ps+TbkVuAxwSEY9mTWVtdUb19cyIiKxJhu//AH+g3yAf65kfAAdXXXcOxrepe6Y6xh8CLu8YqPZ90h2kv86VywbnwnGckjShuqW0E7ARcFv1/buBG6tWvLafH08B7wJ2Bd4ATI2INg/qWQmsI43OHMybgBWjE2fcea7f12JUt9tPBz4mqdv50wZj4TxfAGwMnEJ6fbwyb5wx7f3Aa4CrJL1G0muAJaRzyLerW6jthYH1zr2klrrbgQ1It3ifB95MetF8HvhytnT1vBARN0XEzRGxou2tSNXF/1fAfgMV5ZI2Bf4G+MUoR7MyXAg8BrR1KhtgbJznEbEWWAgcT+qruTZzpLGsrzi8BFhVLQ+Rujt8tBo4Yy3iwnH82p/UWncN6YL0LuBLwF3V43cBF2RLN3adDewAfHKA5+YAmwLnjmoiK0JErAP+ETgCeF3mOEMZC+f5+aSWxnlD/UNbP5I2Bj5AujW9d7/lBNKAmb2zBbQBeR7HcSoibgeQtBOpz9dNkj5F6px8U/eftvUVEf9X0jzg65J2JLVqTCRNjjwL+IcWzm3X34bVBNr9XVfQSOVSfQP4IrA7cF3mLIMaC+d5NcfnkswxxroDSVNjnR0RN3Q+IelfSDMJHEp7Bzz2GVeviS4cx7HqBX0yadJsgP9Ce+dWG0uOIn2axpHAp4CXSJMOHxgRrR7FXtmEgSdY3xtfaHsqIp6WdBap713blX6eW+8dCtzdv2gEiIjnJf0QOFTSUVWLe1uNq9dEtbxbWOOquQoBiIiihvqXmr3U3FBu9lJzQ7nZS80N5WYvNTeUm73U3FBu9rbldh9HMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktiojcGUaVpPH1C5uZmdmYEBHKncEtjmZmZmZWiwtHMzMzM6tlYu4AObWhyXc4Om+zl5S91NxQbvZSc0O52UvNDeVmLzU3lJu91NxQbva2dbFzi6OZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cGyQpGslHVc9Pl7SotyZhiJpR0k/k/S0pEckfVXShNy5hiJpO0nfkHSrpBclLcmdqQ5JH5G0QNIKSWsk3Szp0Ny56pB0sKRfSnpC0rOSlkuaK2nD3NmGQ9JW1bEPSRvnztONpFlVzv7L7NzZhiJpoqQ5ku6WtE7Sw5LOyp1rKJKWDHLMQ9JuufN1I2mmpGXV+b1C0nclvT53LhtbJuYOMMbsDJxUPX4HcGvGLEOStDlwLfBb4EBgW+BM0huKuRmj1bETMAP4V6CkwuUE4H7geGAl6Xe4WNLkiDgna7KhbQksBs4AngTeDZwITAGOzhdr2M4A1gAb5Q4yDPsAz3R8f1+uIMPwbWBf4CvA74CtgR2zJqrnKGDTfuu+SnpNv3H049Qj6QDg+8DXgc8DrwNOBhZK2jUiXsqZrxtJO5BeE6cDbwCeAm4CzouIBTmzdVNq7pFSROTOMKokvfwLR4Qa3O7rgRXA5hHxpKTbgVMj4vsN7qPR7JL+AfivwJsiYnW17r9SFQN96xrYT+PHXNIr+l4IJV0KTI6Iv2li2/320/QxnxwRK/utuxjYLSLePNLtd2yzJ+f5APs5Bfh70nnfyItJL7NLmgZcAZxKKiA3iYg1DW27F+f5LFIB1ljOQfbT9Hk+HbgSeFtE/Hak2+uyn56f51WL+h+B+RFxZIPbbfqY/wDYPiJ26Vh3AOl83zEi7hrpPqptNp37ONLf4jXAZcC9wCRgD+CTwBLg8Ih4roF9NZa91NxN8K3q5rwNeKAqGl8JvAW4LXOmobwf+Em/AvEHwKuBvfJEqqfN75676V80Vn4D/NVoZ2nIExTS4lt1wTiH1Ho00P+DNecI4Oe9LBpH0XRgc1JrXpttQGrx6vRk9TV7sTEQSUeS7m7tExEfiIgLI+K6iFgUEXNJd5b+Cvhm1qD9lJq7KS4cR6iv7wtwFTC1evwsqRvAHdXzs3Jm7OItpFtIL4uIPwBPV8/Z6Nid1F2gCJImSJok6b3AscD5TbU29ths4FWkW3mluVfSC1W/0k/nDlPDe4DfSzpX0uqqD/Vlhfa3m0m6m3R97iBDuBCYJulwSZtWt1FPBha3sYCvzoXTgRkRsXSA5wWsAj4I7CXpfaMccUCl5m6SC8eRe0e13AScVj0+G1ja8Vxb+zpszl/ekXZaVT1nPSZpX1L/0pKKmbXVcj1wHak/VatJ2pLU//iEiHg+d55heBT4EnAYsD9wAzBP0vFZUw1tCjALeDup8PoEsAtweXVhLYKkSaTjPr/tb44i4sekY34BqeVxOTAB+HDGWN0cDXwvIm4EkLS7pDuqgVSLgC8CF1Z3xE4DPpUxa6dSczfGheMIRcQtpEEw2wELqu+nkN7l3VItf8oasruBXgw1yHprkKSpwMXAFRFxUdYww7M7MA34LKnoPTdvnFpOAW6IiKtyBxmOiPhJRJwcEddUt8EOB34IzJXU5tdvVcuBEXFVRMwnFb/vJg30KcX+wMa0/zY1kvYG5pEaLvYmFexbkIr1Ns6UMQP4ZwBJm5D6xP4LqWvAMtIbpj4/JfUdbINSczfGo6pHoPpjFOm27kbAbZImkl4cv1c9fqnF/fFWAa8ZYP1mDNwSaQ2RtAWwCPgD8LHMcYYlIpZVD5dKWgl8R9KZEXFvzlyDkbQTqc/dnpL6zvdJ1dfNJL0YEc8M/NOtdCnwUWAq7R1dvQq4LyKe6Fi3FHiONLL6Z1lSDd9M4J6IuCl3kBrOJDVefKFvhaRbSN2RDiQN4GiTbYE7q8cfIA1Aml217C6WtEvHv30ImDzK+QZTau7GtPkdawnuBZ4Hbid1TP5z9f2bSbennwe+nC3d0H5Hv76MkrYmFcG/G/AnbMSq218LSYNK9ouItZkjjURfEdnYiPAe2J709/krUkGzir90DXiYNGCmRG2+KzDYCF4BbX0j/W9I2ow0gLD1rY2VtwC3dK6IiOWkaZy2zZKou4nAuurxG4Hb+3UH6JzObgppIF4blJq7MW5xHJn9gVeSboM9DJxPaq7+O+Dw6t88kidaLYuAz0vaJCL+XK07hPRCc12+WGNX1Qp9CamY2SMiHsscaaT6bsPcnzVFd0tJt+46TQe+QLrt1NZWu8EcRBoV/mDuIF0sBL7Sb/qpPUkFfKvnt+3wIdLreymF44PAOztXSHoraZaMB3IEGsIKYBtS691jpCKs09akFmpI16Ulo5asu1JzN8aF4whExO3w8q2wMyPiJkmfAq4u5NbGPNKo2MsknUb6YzgR+Kem5nDslarVbkb17VbAppIOrr6/KiKezpNsSOeRch8HbCHprzue+01ErBv4x/KTdDVpwvg7gRdJReNnSQMHWnmbGl6eAmlJ57qqfynA9b2cH3GkJP0I+DVpaq8JpAvRIcCxLe4CA2mAxrHAlZJOBTYhDRS4dqCRqC01E7i1qfkPR8E84CxJj5AaBV5LuuP1AGnWj7b5BWnk8Z2kuRDPq2YMmE96o3cQqX/mEcAc0huPNig1d3MiYlwtpNs7kX71Rra3I2n6nVdX399HGqbf+uwd+X9OamV8lDTydEIBuad2brffMrWt2Ukv4sXlrrZ5EnAH6VNXniTdpj4G2KDt58sA+5hV7WPjNucmTVS+nDRF1jPAzcBhPTgevci+HalgWUvqHnARaaL4VueutjuZ1NVoTtPHulfZSd0AjiS9yVhLahmbD2zTxtykKZseJ33YBMDHSbeAg9T3++zq8R3AtLZkLzV3k4s/OaYgpWYvNTeUm73U3FBu9lJzQ7nZS80N5WZv+NNXLiBN2bRfRDwuaSPgTcDdpFbqjSLioZHso9/+Gsleau6meHCMmZmZ5XAMqX/07ZI+Q/p87ftJ0wjtBXxL0tcy5htMqbkb4RbHgpSavdTcUG72UnNDudlLzQ3lZi81N5SbvQefVS3SlGSfA3bueOpR4BvA6dHQdFkNt5YWmbsJLhwLUmr2UnNDudlLzQ3lZi81N5SbvdTcUG72XuaWNJnUerc6IhqfNaBX2UvNvb48qtrMzMyyizQDwsoh/2HLlJp7fbmPo5mZmZnV4sLRzMzMzGpx4WhmZmZmtbhwNDMzM7NaXDiamZmZWS0uHM3MzMysFheOZmZmZlaLC0czMzMzq8WFo5mZmZnV4sLRzMzMzGoZ159VbWZmZlaKNnxWtVsczczMzKwWF45mZmZmVsvE3AFyakOT73B03mYvKXupuaHc7KXmhnKzl5obys1eam4oN3upuaHc7G3rYucWRzMzMzOrxYWjmZmZmdXiwtHMzMzManHhaGZmZma1uHA0MzMzs1pcOJqZmZlZLS4czczMzKwWF45mZmZmVosLRzMzMzOrxYWjmZmZmdXiwrEBkk6UFIMsH8udrxtJ20n6hqRbJb0oaUnuTHUUnPsjkhZIWiFpjaSbJR2aO1cdkg6W9EtJT0h6VtJySXMlbZg723BI2qo69iFp49x5upE0a5DXldm5sw1F0kRJcyTdLWmdpIclnZU711AkLenyer5b7nzdSJopaVl1fq+Q9F1Jr8+dy8aWcf1Z1Q17Cpg+wPp7RjvIMO0EzAD+FSipACg19wnA/cDxwErS73CxpMkRcU7WZEPbElgMnAE8CbwbOBGYAhydL9awnQGsATbKHWQY9gGe6fj+vlxBhuHbwL7AV4DfAVsDO2ZNVM9RwKb91n0VeAdw4+jHqUfSAcD3ga8DnwdeB5wMLJS0a0S8lDNfN5J2IL0mTgfeQLqe3gScFxELcmbrptTcI6WIVn12ds/14kPOJZ0IHB0Rk5vYXpf99CL7K/peUCRdCkyOiL9pYtsd+ygyd7XtRrNXBeLKfusuBnaLiDePdPsd22z8mA+yn1OAvwc2j4ZeTHqZXdI04ArgVFIBuUlErGlo2704z2eRCrDGcg6yn6bP8+nAlcDbIuK3I91el/30/DyvWtT/CMyPiCMb3G7Tx/wHwPYRsUvHugNI5/uOEXHXSPdRbbPp3MeR/havAS4D7gUmAXsAnwSWAIdHxHMN7Kux7KXmboJbHMe5Nr8L7abg3CsHWP0b4MDRztKQJyikxVfSBOAcUuvRk5njjHVHAD/vZdE4iqYDm5Na89psA1KLV6e+8zx7sTEQSUcCc4F9ImJpv6cXVV0bLgG+CRw+2vkGU2rupriPY4OqPj3/ZsmdyYqwO1DMBVbSBEmTJL0XOBY4v6nWxh6bDbyKdCuvNPdKeqHqV/rp3GFqeA/we0nnSlot6WlJlxXa324msAK4PneQIVwITJN0uKRNq9uoJwOL21jAV+fC6cCMAYovJAlYBXwQ2EvS+0Y54oBKzd0kF47N2RJ4vv8iaWrGTNZykvYltTaWVMysrZbrgetI/alaTdKWwEnACRHxfO48w/Ao8CXgMGB/4AZgnqTjs6Ya2hRgFvB2UuH1CWAX4PLqwloESZNIx31+298cRcSPScf8AlLL43JgAvDhjLG6ORr4XkTcCCBpd0l3VAOpFgFfBC6MiNXAacCnMmbtVGruxrhwbM5TwLsGWB7JGcraq3pTcTFwRURclDXM8OwOTAM+Syp6z80bp5ZTgBsi4qrcQYYjIn4SESdHxDURsSgiDgd+CMyV1ObXb1XLgRFxVUTMJxW/7yYN9CnF/sDGtP82NZL2BuYBZwN7kwr2LUjF+oSc2QYxA/hnAEmbkPrE/gupa8Ay0humPj8l9R1sg1JzN8a3UpvzQkTclDuElUHSFsAi4A9Aq6ds6i8illUPl0paCXxH0pkRcW/OXIORtBOpz92ekl5TrZ5Ufd1M0osR8czAP91KlwIfBabS3tHVq4D7IuKJjnVLgedII6t/liXV8M0E7inktf1MYEFEfKFvhaRbSCPaDyQN4GiTbYE7q8cfIA1Aml217C6WtEvHv30I6Ong02EoNXdj2vyO1WxMqm5/LSQNKtkvItZmjjQSfUVkYyPCe2B70sCBX5EKmlX8pWvAw6QBMyVq863TwUbwCihiYJukzYD3U0BrY+UtwC2dKyJiOWkap22zJOpuIrCuevxG4PZ+3QFu7Xg8hTQQrw1Kzd0YtziajaJqwNQlpGJmj4h4LHOkkeq7DXN/1hTdLSXduus0HfgC6bZTW1vtBnMQaQ7QB3MH6WIh8JV+00/tSSrgbx38x1rlQ8ArKadwfBB4Z+cKSW8FXg08kCPQEFYA25Ba7x4jFWGdtia1UAMcQprepg1Kzd0YF47NmSjprwdY/1BErBj1NDVVrV8zqm+3AjaVdHD1/VUR8XSeZN2Vmhs4j5T7OGCLfufMbyJi3cA/lp+kq4FrSS+YL5KKxs+SBg608jY1vDwF0pLOdR2D1q7v5fyIIyXpR8CvgdtIAx0OqZZjWz4l1QWkEfdXSjoV2IQ0UODagUaittRM4Nam5j8cBfOAsyQ9QuoG81rgy6SisY19e39BGnl8J2kuxPOqGQPmk97oHUTqn3kEMIf0xqMNSs3dnIgYVwvp9k6kX72xbZ7Yud1+y9yWZ5/aJfvU8Zy7F9lJL+LF5a62eRJwB+lTV54k3aY+BtigqX30KvsA+5hV7WPjNucmTVS+HHiadMvxZuCwHhyPXmTfjlSwrCV1D7iINFF8q3NX251MmhljTtPHulfZSd0AjiS9yVhLahmbD2zTxtykKZseB6ZU33+cdAs4SH2/z64e3wFMa0v2UnM3ufiTYwpSavZSc0O52UvNDeVmLzU3lJu91NxQbvaGP33lAtKUTftFxOOSNgLeBNxNaqXeKCIeGsk++u2vkeyl5m6KB8eYmZlZDseQ+kffLukzpM/Xvp80jdBewLckfS1jvsGUmrsRbnEsSKnZS80N5WYvNTeUm73U3FBu9lJzQ7nZe/BZ1SJNSfY5YOeOpx4FvgGcHg1Nl9Vwa2mRuZvgwrEgpWYvNTeUm73U3FBu9lJzQ7nZS80N5WbvZW5Jk0mtd6sjovFZA3qVvdTc68ujqs3MzCy7SDMgrBzyH7ZMqbnXl/s4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVktLhzNzMzMrJZx/VnVZmZmZqVow2dVu8XRzMzMzGpx4WhmZmZmtUzMHSCnNjT5DkfnbfaSspeaG8rNXmpuKDd7qbmh3Oyl5oZys5eaG8rN3rYudm5xNDMzM7NaXDiamZmZWS0uHM3MzMysFheOZmZmZlaLC0czMzMzq8WFo5mZmZnV4sLRzMzMzGpx4WhmZmZmtbhwNDMzM7NaXDiamZmZWS0uHM3MzMysFheODZD0c0m3SprYb/1BkkLSf8mVrRtJH5G0QNIKSWsk3Szp0Ny56ig1e6m5ASQdLOmXkp6Q9Kyk5ZLmStowd7bhkLRVdexD0sa583QjaVaVs/8yO3e2oUiaKGmOpLslrZP0sKSzcucaiqQlgxzzkLRb7nzdSJopaVl1fq+Q9F1Jr8+dy8aWiUP/E6vhKOA24FjgnwCqC9L/BH4YET/NmK2bE4D7geOBlcAM4GJJkyPinKzJhlZq9lJzA2wJLAbOAJ4E3g2cCEwBjs4Xa9jOANYAG+UOMgz7AM90fH9friDD8G1gX+ArwO+ArYEdsyaq5yhg037rvgq8A7hx9OPUI+kA4PvA14HPA68DTgYWSto1Il7Kma8bSTuQXhOnA28AngJuAs6LiAU5s3VTau6RUkTkzjCqJL38C0eEGtzu/yBdPN8SESsknQl8qvr+kYb20Wj2qlhZ2W/dxcBuEfHmkW6/Y5uNH/NSs5eau8t+TgH+Htg8Gnox6WV2SdOAK4BTSQXkJhGxpqFt9+I8n0UqwBrLOch+mj7PpwNXAm+LiN+OdHtd9tPz87xqUf8jMD8ijmxwu00f8x8A20fELh3rDiCd7ztGxF0j3Ue1zaZzH0f6W7wGuAy4F5gE7AF8ElgCHB4RzzWwr8ayl5q7Cb5V3ZyTgCeAsyTtTGp9/O9NFY290L+AqfwG+KvRzjJcpWYvNXcXTwBF3KqWNAE4h9R6NND/gzXnCODnvSwaR9F0YHNSa16bbUBq8er0ZPU1e7ExEElHAnOBfSLiAxFxYURcFxGLImIusBPptfGbWYP2U2ruprhwbEhEPA0cB3yE9A7vt6SLVGl2J2UvUanZi8otaYKkSZLeS3qDdH5TrY09Nht4FelWXmnulfRC1a/007nD1PAe4PeSzpW0WtLTki4rtL/dTGAFcH3uIEO4EJgm6XBJm1a3UU8GFrexgK/OhdOBGRGxdIDnBawCPgjsJel9oxxxQKXmbpILxwZFxBXAzcBU4DMR8ULeRMMjaV/gQAq8sJaavdDca6vleuA6Un+qVpO0JemuwAkR8XzuPMPwKPAl4DBgf+AGYJ6k47OmGtoUYBbwdlLh9QlgF+Dy6sJaBEmTSMd9ftvfHEXEj0nH/AJSy+NyYALw4Yyxujka+F5E3AggaXdJd1QDqRYBXwQujIjVwGmkrl9tUGru5kTEuFqA6Ft6sO1dgReBl4CvFJZ9KvD/gMtLyl1y9oJzvxN4L2mgz5OkjuCtzg7MAxZ1fD+r2sfGbc49yH7mk7oIvKKt2YHnSAOQtuxYt2e1j33bmnuA7R9SbX/XHmy76WO+N/BnUrHyN1X2u0gD2ia0LTdwC7BH9XiT6pz+RvV7nAI8C1xUPb898Ggbspeau8nFo6obIukVwPnAr4CfAnMkfSciWj/6UdIWwCLgD8DHMscZllKzl5obICKWVQ+XSloJfEfSmRFxb85cg5G0E6nP3Z6SXlOtnlR93UzSixHxzMA/3UqXAh8lvfFo6+vLKuC+iHiiY91SUkG5I/CzLKmGbyZwT0TclDtIDWcCCyLiC30rJN1CGtF+IGkAR5tsC9xZPf4AaQDS7EiV0mJJu3T824eAyaOcbzCl5m6Mb1U3ZzZpuoajgK+R+sT8r6yJaqhuxSwkDXDYLyLWZo5UW6nZS809iL4isrER4T2wPWngwK9IBc0q/tI14GHK7IsMqQWirQYbwSvSHZnWk7QZ8H7aPyimz1tIrWEvi4jlpGmcts2SqLuJwLoQh9FnAAAgAElEQVTq8RuB26viq8+tHY+nkFr22qDU3I1x4dgASX9FaqI+JyJui4h1pEED+0k6MG+6wSlNWH4J6cL6/oh4LHOk2krNXmruLvaovt6fNUV3S0m3kTqX06rnZpCm1CjJQaRR4Q/mDtLFQmBnSZ2tLXuSCvhbB/6R1vkQ8ErKKRwfJHUjeZmktwKvBh7IEWgIK4BtqsePkYqwTlt3PD6ENL1NG5SauzGex7GZbX4X+M+kORtXd6z/v8DbSHNojfhWWA/mz7qA1HH3OODX/Z7+TVUAj1iPjnmR2UvNXW3zauBa0m2aF0lF42eBhRExs4l9VPsZjbn5ZtHw/Ig9OuY/Ip0nt5EGOhxC6tpwbDQ4YXwPzvNNgTtIF9lTSX3BTgN+FxGNfZJWj+f8vBqYEhFvb3K7HdvvxXyIZ1XLIuC1wJdJdzb+Y1N3NprKLelC4N6IOEXSVsA9wGdIfXj3Bn4AXE6aJ/FMYM+IuD139lJzNyp3J8vRXmi+Q3Jfh+9DB3juTaTRpye1NPsDndvst0xt6zEvOXupuattnkQqBtaQBsUsA44BNmhqH73KPsA+ZlHA4BhS0bUceJp0y/Fm4LAeHI9eZN8OuKp6DVwFXESaKL7VuavtTgaeB+Y0fax7lZ3UDeBI0puMtaSifT6wTRtzk6ZsepxUnAN8nHQLOEh9v8+uHt8BTGtL9lJzN7m4xbEgpWYvNTeUm73U3FBu9lJzQ7nZS80N5WZv+NNXLiBN2bRfRDwuaSNSg8vdpFbqjSLioZHso9/+mmotLTJ3U9zH0czMzHI4htQ/+nZJnyF9vvb9wBbAXsC3JH0tY77BlJq7EW5xLEip2UvNDeVmLzU3lJu91NxQbvZSc0O52XvQN1OkfrufA3bueOpR0vyIp0dD02U13FpaZO4muHAsSKnZS80N5WYvNTeUm73U3FBu9lJzQ7nZezwgaTKp9W51RDQ+a0Cvspeae315AnAzMzPLLiJWkqaaKkqpudeX+ziamZmZWS0uHM3MzMysFheOZmZmZlaLC0czMzMzq8WFo5mZmZnV4sLRzMzMzGpx4WhmZmZmtbhwNDMzM7NaXDiamZmZWS0uHM3MzMyslnH9WdVmZmZmpWjDZ1W7xdHMzMzManHhaGZmZma1TMwdIKc2NPkOR+dt9pKyl5obys1eam4oN3upuaHc7KXmhnKzl5obys3eti52bnE0MzMzs1pcOJqZmZlZLS4czczMzKwWF45mZmZmVosLRzMzMzOrxYWjmZmZmdXiwtHMzMzManHhaGZmZma1uHA0MzMzs1pcOJqZmZlZLS4czczMzKwWF44NkHSipOhYHpH0I0nb5s42Vkn6iKQFklZIWiPpZkmH5s41FEkHS/qlpCckPStpuaS5kjbMnW0oJWfvJGmr6pwJSRvnztONpFn9Xlv6ltm5sw1F0kRJcyTdLWmdpIclnZU711AkLRnkmIek3XLn60bSTEnLqvN7haTvSnp97lw2tkzMHWAMeQqYXj3eBjgJ+JmknSJibb5Yg5O0A3A8KfcbSL/DTcB5EbEgZ7YaTgDuJ+VfCcwALpY0OSLOyZqsuy2BxcAZwJPAu4ETgSnA0fli1VJy9k5nAGuAjXIHGYZ9gGc6vr8vV5Bh+DawL/AV4HfA1sCOWRPVcxSwab91XwXeAdw4+nHqkXQA8H3g68DngdcBJwMLJe0aES/lzNdNqdeiUnOPlCIid4ZRJenlXzgi1NA2TwSOjojJHeveC1wPfDQiLmloP41ll3Qc6QJ6DXAZcC8wCdgD+CSwBDg8Ip4byX6qffXimE+OiJX91l0M7BYRb25iH9U2G88+wD5OAf4e2Dwa+oMcjdzVforKLmkacAVwKun83yQi1jS07V6c57NIBVhjOQfZT6PZJU0HrgTeFhG/Hen2uuxnNP4+NwT+CMyPiCMb3G7Tx/wHwPYRsUvHugNI5/uOEXHXSPdRbbPp3EVei0rN3QS3OPbOzdXXqTlDDETSkcBcYJ+IWNrv6UXV7aRLgG8Ch492vjr6F42V3wAHjnaWBjwBFHW7t0Mx2SVNAM4htR49mTnOWHcE8PNeFo2jaDqwOak1r802ILV4deo7z7MXGwMp9VpUau6muI9j70ytvv4xZ4j+qv4upwMzBjjhkSRgFfBBYC9J7xvliCOxO1DEhUrSBEmTqpbpY4Hzm2qx67WCs88GXkW6lVeaeyW9UPUr/XTuMDW8B/i9pHMlrZb0tKTLCu1vNxNYQbqD1GYXAtMkHS5p0+o26snA4jYW8KVei0rN3SQXjg2qOoNPrP5gzwP+DFybOVZ/RwPfi4gbASTtLumOqvP6IuCLwIURsRo4DfhUxqy1SdqX1NpYSlGwtlquB64j9UkqRXHZJW1J6nd8QkQ8nzvPMDwKfAk4DNgfuAGYJ+n4rKmGNgWYBbydVHh9AtgFuLy6sBZB0iTScZ/f9jdHEfFj0jG/gNTyuByYAHw4Y6xuSr0WlZq7MS4cm7Ml8Hy1LCcNkDkkIh7NmurfmwH8M4CkTUj9kP6FdDtmGeki1eenpP4arSZpKnAxcEVEXJQ1TH27A9OAz5IK3nPzxhmWErOfAtwQEVflDjIcEfGTiDg5Iq6JiEURcTjwQ2CupDa/fqtaDoyIqyJiPqn4fTdpoE8p9gc2pv23qZG0NzAPOBvYm1Swb0Eq1ifkzDaIUq9FpeZujPs4Nucp4D8DQbo9/UhL36FuC9xZPf4AKevsKutiSbt0/NuHgMm0mKQtgEXAH4CPZY5TW0Qsqx4ulbQS+I6kMyPi3py56igtu6SdSH3u9pT0mmr1pOrrZpJejIhnBv7pVroU+CipO0xbR1evAu6LiCc61i0FniONrP5ZllTDNxO4JyJuyh2khjOBBRHxhb4Vkm4hjWg/kDSAo01KvRaVmrsxbX7HWpoXIuKmiLg5Ila0tGiE9GZhXfX4jcDt/bLe2vF4CmnwQytVt5EWkgZn7NfWaY9q6CvEGhsNPopKyL49aeDAr0gFzSr+0qXhYdKAmRK19TUGYLARvAJaOy1MJ0mbAe+ngNbGyluAWzpXRMRy0jRObZxTuNRrUam5G+PCcfxZQbqNDvAY6cTvtHXH40NIUwq0jqSJpFFr2wPvj4jHMkcaib5bGfdnTbF+Ssi+lHTrrnM5rXpuBmlKjZIcRJq79MHcQbpYCOwsqbO1ZU9SAX/rwD/SOh8CXkk5heODwDs7V0h6K/Bq4IEcgYZQ6rWo1NyN8a3q8ecXpNFed5LmnzqvGqU5n3RBPYjUJ+YIYA7pxb6NziNd9I8DtpD01x3P/SYi1g38Y3lJupo0YOpO4EVS4fVZUuf7Vt7q7VNq9mrqpiWd66p+sQDX93J+xJGS9CPg18BtpIEOh1TLsW2e0Jk0QONY4EpJpwKbkIr1awcaidpSM4Fbm5r/cBTMA86S9Aip+85rgS+TisY29u0t9VpUau7mRMS4Wki3dyL96o1t80RgZQnZSdNkPA5Mqb7/OKnZPUj9BM+uHt8BTGtL7gG2+UDndvstU9t0zPtt76Tq2K4hzbG2DDgG2KBt58pYyj7APmZV+9i4zblJE5UvB54m3XK8GTisB8ejF9m3IxUsa0ndAy4iTRTf6tzVdieTBjrOafpY9yo7qRvAkaQ3GWtJLWPzgW3amLvUa1GpuZtc/MkxBWkqu6QLSNNk7BcRj0vaCHgTcDepZWCjiHhopHk79jfuj/loKzU3lJu91NxQbvZSc0O52Rv+9JUir0Wl5m6K+ziOT8eQ+qTdLukzpM80vZ80dcNewLckfS1jPjMzG/tKvRaVmrsRbnEsSMPv9ESavuZzwM4dTz0KfAM4PRqaosTHfPSVmhvKzV5qbig3e6m5odzsTecu9VpUau4muHAsSK+yVyMfXwesjojGR2r6mI++UnNDudlLzQ3lZi81N5SbvZe5S70WlZp7fblwLEip2UvNDeVmLzU3lJu91NxQbvZSc0O52UvNDeVmb1tu93E0MzMzs1pcOJqZmZlZLS4czczMzKwWF45mZmZmVosLRzMzMzOrxYWjmZmZmdXiwtHMzMzManHhaGZmZma1uHA0MzMzs1pcOJqZmZlZLeP6IwfNzMzMSuGPHDQzMzOzYrhwNDMzM7NaJuYOkFMbmnyHo/M2e0nZS80N5WYvNTeUm73U3FBu9lJzQ7nZS80N5WZvWxc7tziamZmZWS0uHM3MzMysFheOZmZmZlaLC0czMzMzq8WFo5mZmZnV4sLRzMzMzGpx4WhmZmZmtbhwNDMzM7NaXDiamZmZWS0uHM3MzMysFheOZmZmZlaLC8eGSJol6QZJayWtlnSdpANy5xqrJB0s6ZeSnpD0rKTlkuZK2jB3tm4kfUTSAkkrJK2RdLOkQ3PnqqPUY96fpK2qYx+SNs6dp5vqdSUGWGbnztZNqbn7SJooaY6kuyWtk/SwpLNy5+pG0pJBjnlI2i13vqFImilpWfW3uULSdyW9Pncu+/cm5g4wFkg6H/gUcB4wl3RcZwJXSJoTEaflzDcYSTsAxwPTgTcATwE3AedFxIKc2WrYElgMnAE8CbwbOBGYAhydL9aQTgDuJx33lcAM4GJJkyPinKzJhlbqMe/vDGANsFHuIMOwD/BMx/f35QoyTKXm/jawL/AV4HfA1sCOWRMN7Shg037rvgq8A7hx9OPUVzWyfB/4OvB54HXAycBCSbtGxEs58w2m8Gvo+ouIcbUA0bc0tL0PVtubPcBzpwEvAu9sW3bgOOA5YCFwBLAX8H7SH+sfgR8AG7Yt9xD7OYVU0KjF58vkAdZdDNzf8LHwMR9429OAPwGfq/axcZtzA7Oazjka2UvNXW1zOvA8sGNp2fttf8PqXD+/7bmr683N/dYdUO3nrW3MPhavoXUX36oeueOAe4D/PcBzpwJ/pmWtMZKOJLWM7hMRH4iICyPiuohYFBFzgZ2AvwK+mTXo8D1BerFsrYhYOcDq35COd4laf8z7SJoAnENqhRno/8EMUhHw84j4be4gIzQd2JzUktd2G5Ba6zo9WX3VKGcZ0hi+htbiwnEEJE0EdgOujIgX+z8fEU+Rbu3tOdrZBlP1GTkdmBERSwd4XsAqUkvqXpLeN8oRh0XSBEmTJL0XOJb07jpy5xqm3YFiLlIFH/PZwKtIt8NKc6+kF6p+pZ/OHWYYSsz9HuD3ks6t+qs/LemyAvvbzQRWANfnDlLDhcA0SYdL2rS6BXwysLhtBfxYu4auDxeOIzMZeCXwYJd/8yCw1ejEqeVo4HsRcSOApN0l3VF1AF8EfBG4MCJWk261fypj1jrWVsv1wHWk/jHFkLQvcCBlFTPFHXNJWwInASdExPO58wzDo8CXgMOA/YEbgHmSjs+aamil5obUZ3cW8HZS8fUJYBfg8qooaD1Jk0jHfX4Jb+oi4sekY34BqeVxOTAB+HDGWIMZa9fQ4ct9r3y0F5rt4zCl2tZxXf7N/wSeaUt24BZgj+rxJqRbjd8A9ib1V3sWuKh6fnvg0Tbk7rLtdwLvJQ06eZLUKbmV58sA254K/D/g8h5s28f8325zHrCo4/tZFNDHcZD9zK/+bl9RUvZScpP6ra0BtuxYt2e1n33bnL1j24dU2961B9vuxTHfm9St6zTgb6r8d5Hu2E1oU/axdg1dn8WjqkdmJbAOeFOXf/Mm0u2CttgWuLN6/AFSJ97Zkc7OxZJ26fi3D5FaVVsrIpZVD5dKWgl8R9KZEXFvzlxDkbQFsAj4A/CxzHGGpbRjLmknUr+1PSW9plo9qfq6maQXI+KZgX+6lS4FPkp641HKKGUoJ/cq4L6IeKJj3VJSQbkj8LMsqYZnJnBPRNyUO0hNZwILIuILfSsk3UIa0X4gcFmuYAMYU9fQ9eFb1SMQES8AvwL2k/TvjqWkTUnvnn4xytG6mUgqdgHeCNxenfB9bu14PIX0bqoUfQXNm7OmGEJ1G2khaVDJfhGxNnOkkSjhmG9P6nz/K1JRsIq/dA14mDRgpkStvwU5iLbnvmuQ9QJaOS1MJ0mbkUb3ljAops9bSC15L4uI5aSpnLbNkmhwY/kaWosLx5E7G9gB+OQAz80hzat17qgm6m4FsE31+DHSid9p647HhwBLRiFTU/aovt6fNUUX1YCqS0jFzPsj4rHMkUaq9cec1Fq0d7+lb27VGaR5HUtyEOluR7e+1W1USu6FwM6SOluK9iS9+bh14B9plQ+R+t6XVDg+SOoC8zJJbwVeDTyQI1AXY/kaWotvVY9QRPxfSfOAr0vakfSiM5F0wswC/qHj1l4b/II02utO4BrgvGq043zSBfUgUifwI0iFb2tGhHeSdDVwLen3eJFUwHyW1Bm8lbdMK+eRipXjgC0k/XXHc7+JiHUD/1h+pR7zSFMgLelcJ2lq9fD6iFgzypFqk/Qj4NfAbaTBAodUy7HR0kmRodzclQtIswVcKelUUj+204BrY4BRtC00E7g1IgZrOW2jecBZkh4hdeF5LfBlUtF4VcZcAxkT19ARyd3JcrQXetOxV6Qi8QbSaNM/k0abHtC27KSpJh4HplTff5zU7B6k/nZnV4/vAKa1JfcA2zypyriGNEBjGXAMsEHbjnm/7T3Quc1+y9S25i75mA+yj1kUMDiGNBfscuBp0m27m4HDenA8mj7Pi8zdsd3tSAXLWlLXhouAzduendSf7nlgTtPHuse5BRxJeqOxltSqNx/Ypm3Zx8o1dCSLqlDjhqSXf+GIKGJqhT5NZZd0AWmqif0i4nFJG5EG8dxNene9UUQ8NNK8Hfsb98d8tJWaG8rNXmpuKDd7qbmh3Oyl5gZfQ5viPo7j0zGkPmm3S/oM6XNB7we2IH1s0rckfS1jPjMzs7Ya19dQtzgWpMns1US2HyN9Zu/OHU89SpqT6vRoaIoSH/PRV2puKDd7qbmh3Oyl5oZys5eaG3wNbYoLx4L0Kns1evB1wOqIaHzEo4/56Cs1N5SbvdTcUG72UnNDudlLzQ2+hjbFo6qNSKNOV+bOYWZmVprxdg11H0czMzMzq8WFo5mZmZnV4sLRzMzMzGpx4WhmZmZmtbhwNDMzM7NaXDiamZmZWS0uHM3MzMysFheOZmZmZlaLC0czMzMzq8WFo5mZmZnVMq4/q9rMzMysFG34rGq3OJqZmZlZLS4czczMzKyWibkD5NSGJt/h6LzNXlL2UnNDudlLzQ3lZi81N5SbvdTcUG72UnNDudnb1sXOLY5mZmZmVosLRzMzMzOrxYWjmZmZmdXiwtHMzMzManHhaGZmZma1uHA0MzMzs1pcOJqZmZlZLS4czczMzKwWF45mZmZmVosLRzMzMzOrxYWjmZmZmdXiwnGEJJ0oKST9ZIDnLpW0JEMsaylJB0v6paQnJD0rabmkuZI2zJ1tKCVn7yRpK0lrqr/bjXPnqauk3JJmVTn7L7NzZ6tD0kRJcyTdLWmdpIclnZU7VzeSlgxyzEPSbrnzDUXSTEnLqnN8haTvSnp97lz277lwbM7fSnpX7hDDIWkHSedLul/S85JWSrpa0gG5sw2l4OxbAouBTwLvBy4E/hvwTzlD1VRy9k5nAGtyh1gPJebeB9itY7ksb5zavg0cC/wj8LfAHOCZrImGdhT/9ljvBvwUWAncmDHXkKrX7e8DvwQOBL4A7AkslNTaOqXg69CITMwdYIz4E/Aw6SL6wcxZapF0HOlCdA1wEnAvMAnYA7hA0t8Bh0fEc/lSDqzk7BHxjX6rFkvaFPh7ScdEROTIVUfJ2ftImgZMB04lnUNFKDU3cGNEFFXsSpoOzATeFhG/zZ2nrv5ZqzsBuwLzI+KFPKlq+ztgWUQc3bdC0mrgCuA/AHflCjaYkq9DI+XCsRlBekH/vqT/FBG35w7UjaQjgbnAPhGxtN/Ti6pbMpcA3wQOH+183ZScvYsngKJu93YoJrukCcA5wFeBJzPHqa3U3AU7Avh5SUXjIKYDm5Na8tpuA+Cpfuv6znWNcpYhjdHrUG2tbQIu0CXA70mtjq1V9Rk5HZgxwAmPJAGrSC2ne0l63yhHHFTJ2fuTNEHSJEnvJd0SO7+EFjsoOvts4FXA13MHGaZScwPcK+mFqj/sp3OHqek9wO8lnStptaSnJV1WYH+7mcAK4PrcQWq4EJgm6XBJm0raATgZWNy2An4sXYfWlwvHhkTES8DXgI9UJ31bHQ18LyJuBJC0u6Q7qg7gi4AvAhdGxGrgNOBTGbP2V3L2/tZWy/XAdcDn88YZluKyS9qSdDvphIh4PneeukrNDTwKfAk4DNgfuAGYJ+n4rKnqmQLMAt5OKr4+AewCXF4VBa0naRLpuM8v4U1dRPyYdMwvILU8LgcmAB/OGGswY+k6tF5cODbr/wB/AP4hd5AuZgD/DCBpE+BK4F9ItzWWkV7s+/yU1F+jLUrO3t/uwDTgs6TO4OfmjTMsJWY/BbghIq7KHWSYiswdET+JiJMj4pqIWBQRhwM/BOa2ebBDRdVyYERcFRHzSQXwu0mDfUqwP7AxZdymRtLewDzgbGBvUsG+BalYn5Az2wDG0nVovbiPY4Mi4gVJpwP/S9KJufMMYlvgzurxB4A/ArOrd6WLJe3S8W8fAiaPcr5uSs7+b0TEsurhUkkrge9IOjMi7s2Zq47SskvaidRvbU9Jr6lWT6q+bibpxYho3YjZUnN3cSnwUWAqcF/eKF2tAu6LiCc61i0FngN2BH6WJdXwzATuiYibcgep6UxgQUR8oW+FpFuA35HenLZpNP6YuQ6tr7a/8yvRhcBjpOkE2mgisK56/Ebg9n63Mm7teDyFNPihLUrO3k1fIfbmrCnWTwnZtyd1vv8VqShYxV/6Cz5MGnjSRqXmHkrbb50ONoJXwEujGWR9SNqMNF1WEa2NlbcAt3SuiIjlpCmQts2SaHBj9TpUm1scGxYR6yT9I/A/gJuBtvVLWgFsQ3rH9BjpxO+0NemdNcAhwJJRSza0krN303cr4/6sKdZPCdmXkm5/dZpOenM3g/a2fpWaezAHkeYUfDB3kCEsBL4iaXJErKzW7Ukq4m8d/Mda40PAKymrcHwQeGfnCklvBV4NPJAjUBdj9TpUmwvH3vgGqYPs7qTBA23yC9JorztJ80+dV412nE+6SB1E6ldyBGnS2z1zBR1AydkBkHQ1cC3pd3iRVHh9ltSJvZW3evuUmr26+C/pXCdpavXw+rbOM1hqbgBJPwJ+DdxGGuRwSLUcWw0kbLMLSLMFXCnpVGAT0iCHawcaRdtCM4FbI6J1cx92MQ84S9IjwCLgtcCXSUVj2/r3Fn8dGrGIGFcL6TZJpF+9ke2dCKwcYP0Xq/0saVN20lQTjwNTqu8/Tmp2D9LAnrOrx3cA09qSu/TsHds7qcq3hjRP2TLgGGCDps6TXuQuPfsA+5hV7WPj8Z67F9lJ89ouB54m3W68GTisB8ejJ8cc2I5UsKwldRG4CNi87dlJ/emeB+Y0fax7nFvAkaQ3GmtJrXrzgW3aln0sXIdGuqgKNW5IevkXjogiplbo01R2SReQpprYLyIel7QR8CbgbtK7640i4qGR5u3YX2PHvOTso6nU3FBu9lJzQ7nZS80N5WYvNTf4GtoUD44Zn44h9Um7XdJngNdV328B7AV8S9LXMubrpuTsZmZWvnF9HXKLY0EabrkT8DHgc8DOHU89SuqjeXo0NNVH08e85OyjpdTcUG72UnNDudlLzQ3lZi81N/ga2hQXjgXpVXZJk0nvmFZHROMjHnt5zEvO3kul5oZys5eaG8rNXmpuKDd7qbnB19CmuHAsSKnZS80N5WYvNTeUm73U3FBu9lJzQ7nZS80N5WZvW273cTQzMzOzWlw4mpmZmVktLhzNzMzMrBYXjmZmZmZWiwtHMzMzM6vFhaOZmZmZ1eLC0czMzMxqceFoZmZmZrW4cDQzMzOzWlw4mpmZmVkt4/ojB83MzMxK4Y8cNDMzM7NiuHA0MzMzs1om5g6QUxuafIej8zZ7SdlLzQ3lZi81N5SbvdTcUG72UnNDudlLzQ3lZm9bFzu3OJqZmZlZLS4czczMzKwWF45mZmZmVosLRzMzMzOrxYWjmZmZmdXiwtHMzMzManHhaGZmZma1uHA0MzMzs1pcOJqZmZlZLS4czczMzKwWF44NkHSipBhk+VjufNZekraStKY6VzbOnaeuUnNDWdklzRrkdWV27mzdlJq7j6SJkuZIulvSOkkPSzord65uJC3pch3aLXe+oUiaKWlZ9be5QtJ3Jb0+dy7798b1Z1U37Clg+gDr7xntIHVJ2gE4npT7DaTf4SbgvIhYkDPbUErO3s8ZwBpgo9xBhqnU3FBm9n2AZzq+vy9XkGEqNfe3gX2BrwC/A7YGdsyaaGhHAZv2W/dV4B3AjaMfpz5JBwDfB74OfB54HXAysFDSrhHxUs58gxlD16FhceHYnBci4l9zh6hL0nGkC+g1wEnAvcAkYA/gAkl/BxweEc/lSzmwkrN3kjSN9IJzKun3KUKpuaHo7DdGxJrcIdZDcbklTQdmAm+LiN/mzlNX/6ySNgR2BeZHxAt5UtX2d8CyiDi6b4Wk1cAVwH8A7soVbDBj5Tq0Plw4jkOSjgTmAvtExNJ+Ty+qbslcAnwTOHy083VTcvZOkiYA55BaBJ7MHKe2UnND2dltVB0B/LykonEQ04HN+f/bu/8gy8rywOPfJwwSGX4JbGXAoBYgUVKiEQxBZBB1FVFAdFcmKAiWLmCBaMoUUxq3SFZdQCmL1RillpHCMjhGsVQElBWmIonrQigQEBEBESZYMIQ48iMDxnf/eE+TS9vdc3r63HvO0/39VN3yzu3hvd8+3rn36XPOvV335A3d1tS9daOm/o3GhFs2a7G8Dm0pz3HsUHNezNMufTdN15wzci5wxAwPeCIigIeBNwGHRsTrJpw4q8ztMzgF+F3qoZlMsnZD7vY7I+LXEXF7RJzcd8w8ZOw+EPhJRHw6IjZGxGMRcWnC8+1WAeuB7zls9XYAACAASURBVPUd0sIa4JCIOCEidmgOAX8EuGZoA/wiex3aIg6O3dkFeHL6JSKe12PTTE4DvlhKuQ4gIl4eEbc0J4BfAXwQWFNK2QicA7y7x9bpMrc/JSJ2oR7a+LNSypN997SVtRtSt98PfBg4HjgS+AHw2Yh4f69Vm5e1G2AFcCLwEurwdRKwP/C1ZigYvIjYlrrd15ZSSt89m1NK+RZ1m19A3fN4O7AV8OYes2azKF6HFsLBsTu/BF42w+Wf+4yawRHAFwAiYnvgm8A/UA9r3EB9sp9yFfV8jaHI3D7qo8APSimX9x0yT1m7IWl7KeXbpZSPlFK+U0q5opRyAvBl4C8iYrDP31m7G9Fcji6lXF5KWUsdgP+Y+mafDI4EtiPHYWoi4jDgs8D5wGHUgX1n6rC+VZ9tM1gsr0NbbHCHUhP7dSnl+r4jWtgLuLW5/kbgF8ApzU+l10TE/iN/915g1wn3zSVzOwAR8YfUc6hWRsROzc3bNv+7Y0T8eynl8Zn/6/5k7Ybc7bP4CvBW4HnkeZcy5Ol+GLirlPLQyG3XAk9Q31n93V6q5mcV8NMkr0kA5wHfKKWcOXVDRNxIfUf70cClfYXNIP3r0EI5OC49y4BNzfXnADdPO5RxE/B7zfUVwOiTZ98yt095PvVE8O/P8LX7gAuBd020qJ2s3ZC7fS6DPwQ5i6F33wZsM8PtAQzyY2FGRcSOwOup5+Fl8QKm7R0tpdweEY9TB7UhWQyvQwvi4Lj0rAf2pP7E9AD1gT9qD+pP1gDHAusmVrZ5mdunXEs9FDPqcOBM6iGQoe6JydoNudtn8hZgA3BP3yHzlKX7MuAvI2LXUsqG5raV1B8+buovq7VjqINvisPUjXuAl47eEBEvBJ4J/KyPoDkshtehBXFw7M6yiPiTGW6/t5SyfuI1s/t76ru9bqV+/tRnmnc7rqW+uL6Fel7JO4HV1CfMocjcDkDzQrRu9LaRN1B9b6ifeZe1G3K3R8RXgf8H/JD6ZoFjm8t7h/qhyJC3u3EB8F7gmxHxMWB76psc/s9M76IdoFXATaWUwX324Rw+C3wyIv4ZuIK6x+6/U4fGoZ2XnP51aMFKKUvqQj1MUuq33tmaZ42uO+3yF0Nqp37UxIPAiubP76Dudi/Az6knJxfgFuCQoXRnb9/MfZzY3Md2Q3qs9NGduX1Mzy0fo77D9DHqb2D5J+D4MWyPTtuzdo+suzd1YHmUes7jRcCzht5OPZ/uSWB119t6zN0BnEr9QeNR6l69tcCeQ2tfrK9D87lEE7VkRMRT33ApJcVHK0zpqj0iLqB+1MQbSikPRsRy4LnAHdSfrpeXUu5daO/I/XW2zTO3T1LWbsjbnrUb8rZn7Ya87Vm7wdfQrgz9YxE0HqcDdwM3R8T7qL8X9G7qxx8cClwYEWf32DeXzO2SpPyW9OuQexwT6XjPXQBvBz4A7DfypfuBzwHnlo4+oqTrbZ65fVKydkPe9qzdkLc9azfkbc/aDb6GdsXBMZFxtUfErtSfmDaWUjp/x+M4t3nm9nHK2g1527N2Q972rN2Qtz1rN/ga2hUHx0SytmfthrztWbshb3vWbsjbnrUb8rZn7Ya87UPr9hxHSZIkteLgKEmSpFYcHCVJktSKg6MkSZJacXCUJElSKw6OkiRJasXBUZIkSa04OEqSJKkVB0dJkiS14uAoSZKkVhwcJUmS1MqS/l3VkiRJWfi7qiVJkpSGg6MkSZJaWdZ3QJ+GsMt3PkYPs2dqz9oNeduzdkPe9qzdkLc9azfkbc/aDXnbh3aKnXscJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWnFwXKCIOCsiSkR8e4avfSUi1vWQJXUuIk5sHuvTL6f03TaXrN3TRcSzI+KRpn27vnvmkn2bR8SyiFgdEXdExKaIuC8iPtl311wiYt0s27xExEF9921ORKyKiBuax/j6iLg4Inbvu0u/bUn/ruqOvTYiXlZKua7vkLYiYh/g/cDhwO8DvwSuBz5TSvlGn22bk7U9a/c0rwIeH/nzXX2FzFPW7ikfBx4BlvcdMg9Zt/nngVcDfwn8GNgD2LfXos17D7DDtNv+CvgjYNCvSxFxFHAJ8NfAnwO7AR8BLouIA0opv+mzbzaL5Pl83hwcu/EvwH3Ah4A39dzSSkScQX0h+g7wP4A7gW2Bg4ELIuI44IRSyhP9Vc4sa3vW7hlcV0p5pO+ILZC1m4g4hPri9DHqYyiLdNs8Ig4HVgEvLqX8qO+etqa3RsQzgAOAtaWUX/dT1dpxwA2llNOmboiIjcDXgT8AbusrbDaL6Pl83hwcu1GoT+iXRMSLSik39x00l4g4FfgL4FWllGunffmK5pDM3wH/Gzhh0n1zydqetVv9i4itgE9R9x79a885S8E7gaszDY2zOBx4FnVP3tBtTd1bN2rqsR4Tbtmspf587jmO3fk74CfUvY6D1Zwzci5wxAwPeCIigIepe04PjYjXTThxVlnbs3bP4c6I+HVE3B4RJ/cdMw9Zu08Bfpd6GC+bjNv8QOAnEfHpiNgYEY9FxKUJz7dbBawHvtd3SAtrgEMi4oSI2KE5BPwR4JqhDfCL8Pl83hwcO9Kcg3E28F+bB/1QnQZ8cepczIh4eUTc0pwAfgXwQWBNKWUjcA7w7h5bp8vanrV7uvuBDwPHA0cCPwA+GxHv77Vq87J2ExG7UA+D/Vkp5cm+e+Yh7TYHVgAnAi+hDl8nAfsDX2uGgsGLiG2p231tKaX03bM5pZRvUbf5BdQ9j7cDWwFv7jFrNovl+XzLlVKW1IV6WLnUb72T9c4CNjTXlwF3A59v/vwVYN2Q2oEbgYOb69sDDwGfAw4DPgr8G3BR8/XnA/cPoTtze9bulveztvl+fqfDNcfenqUb+CxwxcifT2zuY7uOt4fb/D/WfIL6JqRdRm5b2dzPq4fcPrL2sc3aB4xh7XFs88OAX1EHrVc2/bcB1wBbDal9MT+ft714jmOHSim/johzgf8VEWf13TOLvYBbm+tvBH4BnFLqo/OaiNh/5O/eC+w64b65ZG3P2t3GV4C3As8jzztmIUF3RPwh9Xy7lRGxU3Pzts3/7hgR/15KeXzm/3qQBr/NGw8Dd5VSHhq57VrqQLkv8N1equZnFfDTUsr1fYe0dB7wjVLKmVM3RMSN1He0Hw1c2lfYDBbz83krHqru3hrgAeDMzf3FniwDNjXXnwPc3Dzgp9w0cn0F9aepocjanrV7PgZ/OGwWQ+5+PvVNA9+nDjMP8x/nOd5HfcNMRkPe5jD7O3gDGOTHwoyKiB2B15PjTTFTXkDdk/eUUsrt1I9y2quXotkthefzOTk4dqyUsgn4BHVPwW4958xkPbBnc/0B6gN/1B4j148F1k2gqa2s7Vm723gLsAG4p++QecrQfS318Nfo5Zzma0eQ62N5IMc2B7gM2C8iRvcUraQO8TfN/J8MyjHANuQaHO8BXjp6Q0S8EHgm8LM+guawmJ/P2+n7WPmkL4zxHMeR27YFHmzuZ92Q2ql7RD/UXH829Se6k4GdqE84m4AvUQffh4EXDaE7c3vW7hnW/Cp1T/rrqYdovtDcx+ld3cc42rN2z3IfJ5LgHMfM25z6Ido/p+7pPZL6GYP3AlcNvb1Z90rgxi7XnMA2P4O6N/c84DXA26hvkLkbWD6k9sXyfL6gnr4DJv4NT2BwbG7/IMMcHA+kDrUrmj+/o3mgl+bJ8vzm+i3AIUPpztyetXuGNT/WPJk/1jxZ/hNwfFfrj6s9a/cs93EiOQbH1Nsc2Bu4HHi0efG/CHjW0Nup59M9CazueluPuTuAU4EfNtt8PfXNVHsOrX2xPJ8v5BJN1JIREU99w6WUFB+tMKWr9oi4gPpRE28opTwYEcuB5wJ3UN8ltryUcu9Ce0fur7NtnrU9a3cfsrZn7Ya87Vm7IW971m7w+bwrnuO4NJ1OPQRwc0S8j3ou5t3AzsChwIURcXaPfXPJ2p61W5L0dEv6+dw9jol0vOcugLcDHwD2G/nS/dTPpDq3dPRRH11v86ztWbsnLWt71m7I2561G/K2Z+0Gn8+74uCYyLjam3cP7gZsLKV0/o7HcW7zrO1Zuycha3vWbsjbnrUb8rZn7Qafz7vi4JhI1vas3ZC3PWs35G3P2g1527N2Q972rN2Qt31o3Z7jKEmSpFYcHCVJktSKg6MkSZJacXCUJElSKw6OkiRJasXBUZIkSa04OEqSJKkVB0dJkiS14uAoSZKkVhwcJUmS1MqS/pWDkiRJWfgrByVJkpSGg6MkSZJaWdZ3QJ+GsMt3PkYPs2dqz9oNeduzdkPe9qzdkLc9azfkbc/aDXnbh3aKnXscJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWnFwlCRJUisOjgsUEaXF5ZV9d0pLWUQsi4jVEXFHRGyKiPsi4pN9d21ORJw4y3PKKX23zSVr95SMj5eIWDfHa9BBffdtTkSsiogbIuKRiFgfERdHxO59d+m3Les7YBEY/Qf5TOBq4CPAt0Zu/9FEi1qKiH2A9wOHA78P/BK4HvhMKeUbfbZtTtb2rN2Qux34PPBq4C+BHwN7APv2WjQ/rwIeH/nzXX2FzFPW7oyPl/cAO0y77a+APwKum3xOexFxFHAJ8NfAnwO7UV9HL4uIA0opv+mzbzbJnxO3mIPjApVS/u/U9YjYrrl65+jtQxQRZwAfB74D/A/gTmBb4GDggog4DjihlPJEf5Uzy9qetRvStx8OrAJeXEoZ5A9xLVxXSnmk74gtkK476+NlemtEPAM4AFhbSvl1P1WtHQfcUEo5beqGiNgIfB34A+C2vsJmk/k5ccFKKUvqApSpyxjW3q5Z+8QhtwOnAg8Cr5jl67tQ95xePKTuzO1Zu7O3N+t9Gfh2F2tNsrtZ88Rmze0ytWftzv54mbb+Uc36K4feDXwVuHrabSub+9l3aO3ZnxMXevEcxyWmOWfkXOCIUsq1M3w9gIeBNwGHRsTrJpw4q6ztWbshd/uIA4GfRMSnI2JjRDwWEZcmO3/qzoj4dUTcHhEn9x0zDxm7F8PjBepe0/XA9/oOaWENcEhEnBAROzSHgD8CXFMGttd3kTwnLoiD49JzGvDFUsp1ABHx8oi4pTkB/Argg8CaUspG4Bzg3T22Tpe1PWs35G6fsoK6B+wl1BfTk4D9ga81T/JDdj/wYeB44EjgB8BnI+L9vVZtXtZuyP14ASAitqVu97Wl2WU1ZKWUb1G3+QXU8wRvB7YC3txj1mwWw3PiwvS9y3PSF5b4oWrgRuDg5vr2wEPA54DDgI8C/wZc1Hz9+cD9Q+jO3J61O3v7yHpPAI8Au4zcNnUY7NVd3Mc4uue4n7XN/w+/k6k9S/dieLwAxzZrHzCGtcexzQ8DfkUdtF7Z9N8GXANsNaT2xfCcuNCLb45ZevYCbm2uvxH4BXBKqY/OayJi/5G/ey+w64T75pK1PWs35G6f8jBwVynloZHbrqUOCPsC3+2last9BXgr8DzyvEsZ8nQvhsfLKuCnpZTr+w5p6TzgG6WUM6duiIgbqe9oPxq4tK+wGSyG58QF8VD10rMM2NRcfw5wc/OAn3LTyPUV1J+mhiJre9ZuyN0+ZbZ3ZAYwyI/5aGnwhyBnMfTu1I+XiNgReD31422yeAF1T95TSim3Uz/Kaa9eima3GJ4TF8TBcelZD+zZXH+A+sAftcfI9WOBdRNoaitre9ZuyN0+5TJgv4gY/cl/JbA1T3+Sz+ItwAbgnr5D5ilLd/bHyzHANuQaHO8BXjp6Q0S8kPrZyD/rI2gOi+E5cWH6PlY+6Que47gG+FBz/dnUn+hOBnaiPuFsAr4EvJN6yOZFQ+jO3J61O3v7yHo7AD8Hvk99w8Bx1ENIV3Wx/ri6mzW/CpxJ3YP0RuALzX2cPuT2rN3ZHy/NulcCN3a55gS2+RnUvbnnAa8B3kZ9g8zdwPIhtS+G58QF9/QdMPFv2MHxQOrnT61o/vyO5oFemifL85vrtwCHDKU7c3vW7uzt09bcG7gceLR5Mr8IeFZX64+x+2PNC+hjzQvUPwHHd9k9jvas3Yvg8bIr8CSwuuttPebuoH424g+bbb6e+maqPYfWvlieExdyiSZqyYiIp77hUkqKj1aY0lV7RFxA/aiJN5RSHoyI5cBzgTuo7xJbXkq5d6G9I/fX2TbP2p61u1krbfskZe2GvO1ZuyFve9Zu8Pm8K57juDSdTj0EcHNEvI/6e0HvBnYGDgUujIize+ybS9b2rN2Qu12SuraknxPd45hIx3uRAng78AFgv5Ev3U/9TKpzSymPL+Q+Ru6r022etT1rd7Ne2vZJydoNeduzdkPe9qzd4PN5VxwcExlXe/Puwd2AjaWUzt/xOM5tnrU9a3ezdtr2ccraDXnbs3ZD3vas3eDzeVccHBPJ2p61G/K2Z+2GvO1ZuyFve9ZuyNuetRvytg+t23McJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWlnSv3JQkiQpC3/loCRJktJwcJQkSVIry/oO6NMQdvnOx+hh9kztWbshb3vWbsjbnrUb8rZn7Ya87Vm7IW/70E6xc4+jJEmSWnFwlCRJUisOjpIkSWrFwVGSJEmtODhKkiSpFQdHSZIkteLgKEmSpFYcHCVJktSKg6MkSZJacXCUJElSKw6OkiRJasXBsWMRcVZEbOi7Q9LiEBHLImJ1RNwREZsi4r6I+GTfXZuTtRvytifuXhcRZZbLQX33zSUiVkXEDRHxSESsj4iLI2L3vrvGycFxCYuIfSLibyLi7oh4MiI2RMSVEXFU322bk7U9azfkbc/aPeLzwHuBTwCvBVYDj/da1E7WbsjbnrX7PcBB0y5XARuA63rsmlPzHHIJ8I/A0cCZwErgsohYtPNVlFL6bpioiHjqGy6lxBjWPws4rZSy6xjW7qw9Is4APg58B7gUuBPYFjgYeBewDjihlPLEQu6nua9Ot3nW9qzdzXop27N2j6x5OPBN4MWllB91seYs99P14yVld7Nmyvas3bPcxzOAXwBrSymndrhu19v8S8DzSyn7j9x2FPB1YN9Sym0LvY9mzbFv83kppSypC1CmLmNa/yxgw5DbgVOBB4FXzPL1XYCrgYuH1J25PWt35vas3dPW/DLw7a7Wm1R71u7M7Vm7Z7mPo5r7WDnkduCrwNXTblvZ3Me+Q+1e6GXR7krVzJpzL84FjiilXDvD1wN4GHgTcGhEvG7CibPK2p61G/K2Z+2ewYHATyLi0xGxMSIei4hLE5xDlbUb8rZn7Z7JKmA98L2+QzZjDXBIRJwQETtExD7AR4Bryhj3+vbNwXHpOQ34YinlOoCIeHlE3NKcSH0F8EFgTSllI3AO8O4eW6fL2p61G/K2Z+2ebgVwIvAS6ovpScD+wNea4XeosnZD3vas3U8TEdsCR1IPUw/6XLpSyreo2/wC4JfA7cBWwJt7zBq/vnd5TvrCEj9UDdwIHNxc3x54CPgccBjwUeDfgIuarz8fuH8I3Znbs3Znbs/aPcOaTwCPALuM3DZ1KOzVHd5P14fwUnZnbs/aPcP6xzbrHzCGtbve5ocBv6L+8PnKpv024Bpgq6F2L/SyDC01ewG3NtffSD0B+ZRSH53XRMT+I3/3XqDzN/ksQNb2rN2Qtz1r93QPA3eVUh4aue1a6pCwL/DdXqo2L2s35G3P2j3dKuCnpZTr+w5p4TzgG6WUM6duiIgbgR9T32V9aV9h4+Sh6qVnGbCpuf4c4ObmxXTKTSPXV1D31AxF1vas3ZC3PWv3dLO9KzOA30wyZJ6ydkPe9qzdT4mIHYHXUz/iJoMXUI9uPKWUcjv1I5D26qVoAhwcl571wJ7N9QeoL6qj9hi5fiz140qGImt71m7I2561e7rLgP0iYnSP6Epga54+/A5N1m7I2561e9QxwDbkGRzvAV46ekNEvBB4JvCzPoImou9j5ZO+4DmOa4APNdefTf3J6GRgJ+o/2k3Al4B3Ug99vGgI3Znbs3Znbs/aPcOaOwA/B75PfcPAcdRD61d1dR/jaM/anbk9a/e0ta8Ebux63TFu8zOoe3PPA14DvI36Bpm7geVD7V5wT98BE/+GHRwPpH623Yrmz+9oXkRL86RzfnP9FuCQoXRnbs/anbk9a/cs6+4NXA48Sh1yLwKe1fF9jGMAS9mduT1rd7PursCTwOou1x1nO/U0gFOBHzbbfD2wFthzyN0LvfibYxLpqj0iLqB+ZMMbSikPRsRy4LnAHdR3oC4vpdy70N6R++tsm2dtz9rdrJWyPWt3H7K2Z+2GvO1ZuyFv+9C6PcdxaTqduiv95oh4H7Bb8+edgUOBCyPi7B775pK1PWs35G3P2i1Jg+Uex0Q63osUwNuBDwD7jXzpfurn3Z1bSnl8Ifcxcl+dbvOs7Vm7m/VStmftnrSs7Vm7IW971m7I2z60bgfHRMbV3rwLbzdgYynlnq7WHVl/bNs8a3vW7mbtlO1Zuycha3vWbsjbnrUb8rYPrdvBMZGs7Vm7IW971m7I2561G/K2Z+2GvO1ZuyFv+9C6PcdRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWnFwlCRJUisOjpIkSWrFwVGSJEmtODhKkiSplSX9KwclSZKy8FcOSpIkKQ0HR0mSJLWyrO+APg1hl+98jB5mz9SetRvytmfthrztWbshb3vWbsjbnrUb8rYP7RQ79zhKkiSpFQdHSZIkteLgKEmSpFYcHCVJktSKg6MkSZJacXCUJElSKw6OkiRJasXBUZIkSa04OEqSJKkVB0dJkiS14uAoSZKkVhwcOxLV3RFRImLvvnskqS8Rsa55LpzpclDffXPJ2p61e0pELIuI1RFxR0Rsioj7IuKTfXfNJfs231IOjt05CHhec31Vjx2tRcQ+EfE3zcD7ZERsiIgrI+Kovts2J2t71m7I2561G1K3v4f6nDh6uQrYAFzXY1cbWduzdk/5PPBe4BPAa4HVwOO9Fm1e9m2+RaKU0nfDREXEU99wKSU6XPdTwEnALcD2pZQ/7GrtkfvorD0izgA+DnwHuBS4E9gWOBh4F7AOOKGU8sRC7qe5r063edb2rN3Neinbs3Y366Vtn2H9ZwC/ANaWUk7tcN2xdjf3kbI9U3dEHA58E3hxKeVHXaw5y/24zbtQSllSF6BMXTpccyvqg+Vvgf/WrL/fUNuBU4EHgVfM8vVdgKuBi4fUnbk9a3fm9qzd2dtnWf+oZv2VHa871u7M7Zm6gS8D3x7X/4du846/z74DJv4Nj+dB/5+bNY8CdgaeAP7nENuB3YFfAS+b5etBPYVhB+Ae4HVD6M7cnrU7c3vW7uztc6z/t8B9NEe5Olx3EoNjyvZM3c3j+FPAp4GNwGPUvey7D7096zZfyMVzHLvxp8C/AleWUv6Feo7Dqojof5fybzsN+GIp5TqAiHh5RNzSnIx8BfBBYE0pZSNwDvDuHluny9qetRvytmfthtztvyUitgWOpB6+K5v7+0OStT1h9wrgROAl1PcInATsD3xtoK+jvyXhNt9iDo4LFBHbAMcAXyv/ca7RJdQ3yvxJX11zOAL4AkBEbE89r+QfgMOBG4APj/zdq6jnUw1F1vas3ZC3PWs35G6fyZHAdtTnxWyytmfrjuZydCnl8lLKWuB44I+BV/Va1l62bb7FlvUdsAi8HtgJuDwidmpuWwdsou6J/H5PXbPZC7i1uf5G6rmZpzQ/IV0TEfuP/N17gV0n3DeXrO1ZuyFve9ZuyN0+k1XAT0sp1/cdsgWytmfrfhi4q5Ty0Mht11JP+9oX+G4vVfOTbZtvMfc4LtyfNv/7d9QH/8PUJ/NtgLdGxFZ9hc1iGXWoBXgOcPO03eo3jVxfAYz+Q+5b1vas3ZC3PWs35G5/mojYkfrDdbq9MFnbk3bfNsvtAfxmkiFbIuk232IOjgsQEdtR9whcAhw27fJnwO8114dkPbBnc/0B6gvTqD1Grh9L3Xs6FFnbs3ZD3vas3ZC7fbpjqD9EZ3xBzdqesfsyYL+IGN17vhLYmqf/oDRUGbf5luv73TmTvtDtR2a8rVnrwBm+tjX1Q0AvHFI7sAb4UHP92dQPWD2Zerj9GOqeji8B76TuPX3RELozt2ftztyetTt7+wzrXgnc2OWak+jO3J6xm/oJAT+nntp1JHAc9cjdVUNvz7rNF9TTd8DEv+FuB8fLgJ/M8fXPNE/s2wylHTiQ+vlwK5o/v6N5ISrNP9zzm+u3AIcMpTtze9buzO1Zu7O3T1tzV+BJYHVXa06iO3N71u5m3b2By4FHqa+bFwHPGnp75m2+pRd/c0wiXbVHxAXUjz14QynlwYhYDjwXuAPYHlheSrl3ob0j99fZNs/anrW7WStle9buZq207ZOUtRvytmfthrztQ+v2HMel6XTgbuDmiHgfsFvz552BQ4ELI+LsHvvmkrU9azfkbc/aDbnbJS1i7nFMpOM9GgG8HfgAsN/Il+4HPgecW0rp5BfMj+F3+KZsz9rdrJeyPWt3s17a9knJ2g1527N2Q972oXU7OCYyrvbmnWy7ARtLKfd0te7I+mPb5lnbs3Y3a6dsz9rdrJ22fZyydkPe9qzdkLd9aN0Ojolkbc/aDXnbs3ZD3vas3ZC3PWs35G3P2g1524fW7TmOkiRJasXBUZIkSa04OEqSJKkVB0dJkiS14uAoSZKkVhwcJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrSzpXzkoSZKUhb9yUJIkSWk4OEqSJKmVZX0H9GkIu3znY/Qwe6b2rN2Q9bBFHwAAB7lJREFUtz1rN+Rtz9oNeduzdkPe9qzdkLd9aKfYucdRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWnFwlCRJUisOjpIkSWrFwVGSJEmtODhKkiSpFQdHSZIkteLg2JGIOCsiNvTdIUlamIhYFRE3RMQjEbE+Ii6OiN377tqcxN3rIqLMcjmo7765RMSyiFgdEXdExKaIuC8iPtl31zg5OC5hEbFPRPxNRNwdEU9GxIaIuDIijuq7bXOytmfthrztWbshb3vWboCm8RLgH4GjgTOBlcBlETHY18ys3Y33AAdNu1wFbACu67Grjc8D7wU+AbwWWA083mvRmEUppe+GiYqIp77hUkp0uO5ZwGmllF27WnOG++isPSLOAD4OfAe4FLgT2BY4GHgXsA44oZTyxELup7mvTrd51vas3c16KduzdjfrpWzP2j2y5peA55dS9h+57Sjg68C+pZTbOrqfrh8vKbtnuY9nAL8A1pZSTu1w3a63+eHAN4EXl1J+tND15rifsW/zeSmlLKkLUKYuHa97FrAhQztwKvAg8IpZvr4LcDVw8ZC6M7dn7c7cnrU7c3vW7mlrfhW4etptK5v72bfD++m0PWv3LPdxVHMfKztet+tt/mXg2+PaDpPc5vPq6Ttg4t/wEh8cgd2BXwEvm+XrQT2FYQfgHuB1Q+jO3J61O3N71u7M7Vm7Z1jzDcCTwAlN6z7A3zNtKBtae9buWe7jb4H7aI6KDrW9eRx/Cvg0sBF4jLqXffchdy/0MvTzHtS904AvllKuA4iIl0fELc1JvVcAHwTWlFI2AucA7+6xdbqs7Vm7IW971m7I2561+2lKKd8CTgQuAH4J3A5sBby5x6zNyto9XURsCxxJPUxdNvf3e7aCus1fAqwCTgL2B74WEf0fUh4TB8el5wjgCwARsT31/Ix/AA4HbgA+PPJ3r6KelzQUWduzdkPe9qzdkLc9a/fTRMRhwGeB84HDqAPBztRhYKs+2+aStXsGRwLbUd/oM3TRXI4upVxeSlkLHA/8MfCqXsvGaFnfAZq4vYBbm+tvpJ6AfErzk901EbH/yN+9Fxjbm322QNb2rN2Qtz1rN+Rtz9o93XnAN0opZ07dEBE3Aj+mvlv50r7CNiNr93SrgJ+WUq7vO6SFh4G7SikPjdx2LfAEsC/w3V6qxsw9jkvPMmBTc/05wM3TDgfcNHJ9BTD6D6JvWduzdkPe9qzdkLc9a/d0LwBuHL2hlHI79SNW9uqlqJ2s3U+JiB2B15NjbyPAbO9UD+A3kwyZJAfHpWc9sGdz/QHqE/yoPUauH0v96IyhyNqetRvytmfthrztWbunuwd46egNEfFC4JnAz/oIailr96hjgG3IMzheBuwXEaN7z1cCW/P0H5QWl77fnTPpC+N9V/VG4L/McPlPQ2kH1gAfaq4/m/rT6MnATtR/tJuALwHvpO6Gf9EQujO3Z+3O3J61O3N71u4Z1jyDurfoPOA1wNuobzS5G1je4f10/Q7flN3T1r4SuLHrdce4zXcAfg58n3pu5nHU0zCuGnL3gnv6Dpj4NzzewbHMcnnlUNqBA6mfs7ai+fM7mif00vwDOL+5fgtwyFC6M7dn7c7cnrU7c3vW7hnWDOrnUf4QeJS6J3UtsGdX9zGO9qzdI+vuSv04odVdrjuBx8vewOXNNn8YuAh41tC7F3LxN8ck0lV7RFxA/fiAN5RSHoyI5cBzgTuA7ak/nd670N6R++tsm2dtz9rdrJWyPWt3s1bK9qzdfcjanrUb8rYPrdtzHJem06mHL26OiPcBuzV/3hk4FLgwIs7usW8uWduzdkPe9qzdkLc9a7ekltzjmEjHezQCeDvwAWC/kS/dD3wOOLeU0skvah/D7wdN2Z61u1kvZXvW7ma9lO1Zuycta3vWbsjbPrRuB8dExtXevCNsN2BjKeWertYdWX9s2zxre9buZu2U7Vm7m7VTtmftnoSs7Vm7IW/70LodHBPJ2p61G/K2Z+2GvO1ZuyFve9ZuyNuetRvytg+t23McJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWlnSv3JQkiQpC3/loCRJktJwcJQkSVIrS+5QtSRJkraMexwlSZLUioOjJEmSWnFwlCRJUisOjpIkSWrFwVGSJEmtODhKkiSpFQdHSZIkteLgKEmSpFYcHCVJktSKg6MkSZJacXCUJElSKw6OkiRJasXBUZIkSa04OEqSJKkVB0dJkiS14uAoSZKkVhwcJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWnFwlCRJUisOjpIkSWrFwVGSJEmtODhKkiSpFQdHSZIkteLgKEmSpFYcHCVJktSKg6MkSZJacXCUJElSKw6OkiRJasXBUZIkSa04OEqSJKkVB0dJkiS14uAoSZKkVhwcJUmS1IqDoyRJklpxcJQkSVIrDo6SJElqxcFRkiRJrTg4SpIkqRUHR0mSJLXi4ChJkqRWHBwlSZLUioOjJEmSWnFwlCRJUisOjpIkSWrFwVGSJEmt/H9l9MMizT1Q+gAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 792x792 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "draw_table(col_labels, row_labels, table_vals_tokens)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{I(E)I(X)CCS(L->N)S(Y->E)CDS(M->T)CCC 6}\n"
     ]
    }
   ],
   "source": [
    "# Формат: I(char) вставить букву char, D -- удалить текущую букву, \n",
    "# C -- сдвинуться вправо, S(char1->char2) заменить текущую букву char1 на char2 и сдвинуться вправо\n",
    "print(tokens[len(row_labels) - 1])"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.8"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}