{ "cells": [ { "cell_type": "markdown", "id": "b8cd3597", "metadata": {}, "source": [ "# Fitness Distance Correlation (FDC)" ] }, { "cell_type": "code", "execution_count": null, "id": "023e937a", "metadata": {}, "outputs": [], "source": [ "import math\n", "\n", "from pyxla import fdc\n", "from pyxla.util import load_data, load_sample\n", "from pyxla.sampling import HilbertCurveSampler" ] }, { "cell_type": "code", "execution_count": 2, "id": "44c56636", "metadata": {}, "outputs": [ { "name": "stderr", "output_type": "stream", "text": [ "WARNING:root:The Hilbert curve with dimension 1 is just a number line. You are sampling around points on a number line.\n", "WARNING:root:The Hilbert curve with dimension 1 is just a number line. You are sampling around points on a number line.\n" ] } ], "source": [ "sphere_sample = {\n", " \"name\": \"Sphere\",\n", " \"X\": HilbertCurveSampler(sample_size=100, dim=1, l_bound=-5, u_bound=5, seed=42),\n", " \"F\": lambda x: x**2,\n", " \"V\": [lambda x: x**2 - 2, lambda x: 8 * math.sin(20 * x)]\n", "}\n", "\n", "deceptive_sample = {\n", " \"name\": \"Deceptive\",\n", " \"X\": HilbertCurveSampler(sample_size=100, dim=1, l_bound=0, u_bound=6),\n", " \"F\": lambda x: (0.4 * x - 2) ** 2 if x > 0.625 else (10 * x - 4) ** 2 - 2,\n", " \"V\": lambda x: ((0.4 * x - 2) ** 2 if x > 0.625 else (10 * x - 4) ** 2 - 2) - 1\n", "}\n", "\n", "load_data(sphere_sample)\n", "load_data(deceptive_sample)" ] }, { "cell_type": "code", "execution_count": 3, "id": "d136c3d0", "metadata": {}, "outputs": [ { "name": "stderr", "output_type": "stream", "text": [ "WARNING:root:No D file is present, thus, computing the D file... Computing an entire D file can be time consuming. Instead, you can call the function with the keyword argument `compute_D_file` set to `False` to speed up computation, as only the required distances will be calculated.\n", "INFO:root:D file has been loaded to the current sample and is saved to ./Sphere_D.csv\n" ] }, { "data": { "text/plain": [ "({'fdc_f0': np.float64(0.9994749459239282)},
)" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeoAAAHqCAYAAADLbQ06AAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjEsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvc2/+5QAAAAlwSFlzAAAPYQAAD2EBqD+naQAAc0ZJREFUeJzt3Xd0VGX+BvBn+kySyaQ3CCGQ0EIvshiaylIWEYR1d1ld608sFBVdFVe6K+5a175FRVfFDiiuIlhABJESREgooQbSQzIlk+n390fIzUwyJQlJZpI8n3M4x7z3zsxNQB7e9n0lgiAIICIiopAkDfYDEBERkW8MaiIiohDGoCYiIgphDGoiIqIQxqAmIiIKYQxqIiKiEMagJiIiCmEMaiIiohDGoCYiIgphDGqiDuqDDz5ATEwMTCZTsB+lS7Pb7UhNTcXLL78c7EehTopBTeTF2rVrIZFIvP56+OGHxft69uwptkulUkRFRWHQoEGYN28edu/e7fP9LRYLnn32WYwePRo6nQ5qtRp9+vTBggULcOzYsYDP53Q6sXz5cixcuBARERGt8j13FD/99BPuvvtujBgxAgqFAhKJpNnvsXPnTowdOxZhYWFISkrCokWLvP6Dx2q14qGHHkJKSgo0Gg1Gjx6NLVu2eNyjUCiwePFi/PWvf4XFYmnx90Xki4S1vokaW7t2LW655RasWrUK6enpHtcGDhyIoUOHAqgN6ujoaNx///0AAKPRiLy8PHz44YcoLi7Gfffdh2eeecbj9eXl5Zg6dSr27duHq6++GpMmTUJERASOHj2K9957D8XFxbDZbH6fb8OGDZg9ezYKCgrQrVu31vvGO4AVK1bg8ccfx+DBg2E0GnHs2DE056+xAwcOYMyYMejfvz/mzZuHc+fO4amnnsIVV1yBL774wuPeuXPn4qOPPsK9996LzMxMrF27Fnv27MG3336LsWPHivdVVVUhMTERr7zyCm699dZW+16JAAACETXyxhtvCACEPXv2+L0vLS1NmD59eqN2s9kszJo1SwAgvPzyyx7Xpk+fLkilUuGjjz5q9DqLxSLcf//9AZ/vmmuuEcaOHRvwvtZWXV3ttd1utwtWq7VdnqG4uFgwm82CIAjC/Pnzheb+NTZt2jQhOTlZ0Ov1Ytu///1vAYCwefNmsW337t0CAOHJJ58U22pqaoTevXsLY8aMafS+V199tTBu3LjmfjtEAXHom6gNaDQa/Pe//0VMTAz++te/ij2+3bt34/PPP8dtt92GOXPmNHqdSqXCU0895fe9LRYLvvzyS0yaNMnr9bfffhuXXXYZwsLCEB0djfHjx+Orr77yuOfll19GVlYWVCoVUlJSMH/+fFRVVXncM3HiRAwcOBD79u3D+PHjERYWhkceeQSnT5+GRCLBU089heeeew69e/eGSqVCbm5uM35CLZeYmAiNRtOi1xoMBmzZsgU33HADIiMjxfYbb7wRERER+OCDD8S2jz76CDKZDPPmzRPb1Go1brvtNuzatQsFBQUe7/3rX/8aO3bswIULF1r0bES+yIP9AEShTK/Xo7y83KMtLi6uSa+NiIjAtddei9deew25ubnIysrCp59+CgD405/+1OJn2rdvH2w2G4YPH97o2sqVK7FixQpcfvnlWLVqFZRKJXbv3o1vvvkGkydPBlA7dLxy5UpMmjQJd911F44ePYpXXnkFe/bswQ8//ACFQiG+X0VFBaZNm4Y//OEPuOGGG5CYmChee+ONN2CxWDBv3jyoVCrExMT4fGa9Xg+73R7we1Or1W065/7LL7/A4XBg5MiRHu1KpRJDhw5FTk6O2JaTk4M+ffp4BDoAXHbZZQBqh9BTU1PF9hEjRkAQBOzcuRNXX311m30P1PUwqIn88NZrFZoxHzpw4EAAwIkTJ5CVlYW8vDwAwKBBg1r8TEeOHAGARnPn+fn5WLVqFa699lp89NFHkErrB8zqnrmsrAxr1qzB5MmT8cUXX4j39OvXDwsWLMDbb7+NW265RXxdcXExXn31Vdxxxx1i2+nTpwEA586dQ35+PuLj4wM+88yZM7Ft27aA9910001Yu3ZtwPtaqqioCACQnJzc6FpycjK+//57j3t93QcAhYWFHu29evUCAOTm5jKoqVUxqIn8eOmll9CnT58Wv76ud2g0GgHUDr0CgFarbfF7VlRUAACio6M92jds2ACXy4Vly5Z5hDQAcWX01q1bYbPZcO+993rcc/vtt+ORRx7B559/7hHUKpXK42t3c+bMaVJIA8DTTz+NysrKgPelpKQ06f1aqqamBkDt99WQWq0Wr9fd6+s+9/eqU/f70XAEhuhSMaiJ/LjssssaDZM2R92Wn7pgrhtGNRqNiIqKuqRna9izP3HiBKRSKQYMGODzNWfOnAEA9O3b16NdqVSiV69e4vU63bp1g1Kp9PpeDXv0/owYMaLJ97alurltq9Xa6JrFYvGY+9ZoND7vc3+vOnW/Hy3ZLkbkD4OaqA0dOnQIAJCRkQGgdogZqJ0rHTduXIveMzY2FgBQWVmJ7t27t8JT+uZv0VZzFnRduHAh4JazuvfU6XRNft/mqhu2rhsCd1dUVOTRo09OTsb58+e93gc07v3XjRg0dQ0DUVNx1TdRGzGZTFi/fj1SU1PRv39/AMCMGTMA1K7Mbqm6sD916pRHe+/eveFyufyuvk5LSwMAHD161KPdZrPh1KlT4vXWNnv2bCQnJwf8dc8997TJ59cZOHAg5HI59u7d69Fus9lw4MABcX88AAwdOhTHjh0Tpyvq1BWycb8XqP/9qPu9JmotDGqiNlBTU4M//elPuHDhAv7yl7+Iw6FjxozB1KlT8Z///AcbNmxo9DqbzYYHHnjA73uPGDECSqWyUdjMmjULUqkUq1atgsvl8rhWNyw7adIkKJVKPP/88x5D56+99hr0ej2mT5/ekm83oKeffhpbtmwJ+OvBBx9s1c89cuQIzp49K36t0+kwadIkvP322+K6AQD473//C5PJhOuuu05s++1vfwun04l//etfYpvVasUbb7yB0aNHe6z4BmpX40skEowZM6ZVvwciDn0TXaLz58+LPWSTyYTc3FyxMtn999/vsWIaAN566y1MnjwZs2fPxowZM3DVVVchPDwcx48fx3vvvYeioiK/e6nVajUmT56MrVu3YtWqVWJ7RkYG/vKXv2D16tUYN24cZs+eDZVKhT179iAlJQVr1qxBfHw8lixZgpUrV2Lq1Km45pprcPToUbz88ssYNWoUbrjhhjb5GbXmHPWZM2fw3//+FwDEf6w89thjAGpHDNy3vvXv3x8TJkzAd999J7b99a9/xeWXX44JEyaIlcmefvppTJ48GVOnThXvGz16NK677josWbIEpaWlyMjIwJtvvonTp0/jtddea/RcW7ZsQXZ2tjg1QdRqgldrhSh0NacyGQABgCCRSITIyEghKytLuP3224Xdu3f7fJ3ZbBaeeuopYdSoUUJERISgVCqFzMxMYeHChUJ+fn7A5/vkk08EiUQinD17ttG1119/XRg2bJigUqmE6OhoYcKECcKWLVs87nnxxReFfv36CQqFQkhMTBTuuusuobKy0uOeCRMmCFlZWY3e/9SpU40qdrWnb7/9VvyZN/w1YcIEj3u9tQmCIHz//ffC5ZdfLqjVaiE+Pl6YP3++YDAYGt1XU1MjPPDAA0JSUpKgUqmEUaNGCV9++WWj+6qqqgSlUin85z//aa1vk0jEWt9EHZDT6cSAAQPwu9/9DqtXrw7243R5zz33HP7+97/jxIkTLa6aRuQL56iJOiCZTIZVq1bhpZde4jGXQWa32/HMM8/g0UcfZUhTm2CPmoiIKISxR01ERBTCGNREREQhjEFNREQUwhjUREREIaxLFTxxuVwoLCyEVqtl4XwiIgoaQRBgNBqRkpLS6LS7hrpUUBcWFjYq+0dERBQsBQUFAQ/X6VJBXXfUYEFBgXjcIBERUXszGAxITU1t0tn0XSqo64a7IyMjGdRERBR0TZmG5WIyIiKiEMagJiIiCmEMaiIiohDGoCYiIgphDGoiIqIQxqAmIiIKYQxqIiKiEMagJiIiCmEMaiIiohDGoCYiIgphDGoiIqIQFhJBvWbNGowaNQparRYJCQmYNWsWjh496nHPxIkTIZFIPH7deeedQXpiIiKi9hESh3Js27YN8+fPx6hRo+BwOPDII49g8uTJyM3NRXh4uHjf7bffjlWrVolfh4WFBeNxiYiok9KbbSg32WCw2BGpUSAuXAldmNJne3sIiaD+8ssvPb5eu3YtEhISsG/fPowfP15sDwsLQ1JSUns/HhERdQGFVTV46OOD+P54udg2PjMOj80aiFWbcrE1r9Sj/Yk5g5ESpWnz5wqJoe+G9Ho9ACAmJsaj/Z133kFcXBwGDhyIJUuWwGw2B+PxiIiok9GbbY1CGgC2Hy/HI+t/Qb/kyEbtD398EHqzrc2fLSR61O5cLhfuvfdeZGdnY+DAgWL7H//4R6SlpSElJQUHDx7EQw89hKNHj+KTTz7x+V5WqxVWq1X82mAwtOmzExFRx1RusjUK6To78itwS3Z6o/btx8tRbrK1+RB4yAX1/PnzcejQIezYscOjfd68eeJ/Dxo0CMnJybjqqqtw4sQJ9O7d2+t7rVmzBitXrmzT5yUioo7PYLH7vW51uLy2GwO8rjWE1ND3ggULsGnTJnz77bfo3r2733tHjx4NAMjPz/d5z5IlS6DX68VfBQUFrfq8RETUOUSqFX6vq+Te41Ib4HWtISR61IIgYOHChVi/fj2+++47pKc3HmJo6MCBAwCA5ORkn/eoVCqoVKrWekwiIuqk4iKUGJ8Zh+1ehr/HZsQip6CqUfv4zDjERbT9yu+Q6FHPnz8fb7/9Nt59911otVoUFxejuLgYNTU1AIATJ05g9erV2LdvH06fPo1PP/0UN954I8aPH4/BgwcH+emJiKij04Up8cScwRifGefRPj4zDo9fOwhHiwyN2v82Z3C7bNGSCIIgtPmnBHoIicRr+xtvvIGbb74ZBQUFuOGGG3Do0CFUV1cjNTUV1157LR599FFERkZ6fa03BoMBOp0Oer2+Wa8jIqKuQW+2odRohb7GjjClDOEqOaI0tcPb5SYbjBY7tGoF4iIubR91c/IoZIa+/UlNTcW2bdva6WmIiKirqrY5sWpTbqO91E/MGYzeCRFBeaaQGPomIiIKNn97qdtrz7Q3DGoiIiL430tdt2c6GBjURERECLyXuj32THvDoCYiIkLgvdTtsWfaGwY1ERER6vdSe9Nee6a9YVATEVGnpzfbcKLUhJyzlThRZvK6MMzfXur22jPtTUhszyIiImorvo6v9HZMZUqUBi/MHdaqe6YvFXvURETUaenNNjz0UfO2XOnClOidEIGhPaLROyEiqCENMKiJiKgTKzZY8H1+6G25ag4GNRERdUp6sw3nKmv83lNptgWtkElTMaiJiKhTakpvWV9jx8J1OSis8h/owcSgJiKiTslgsSOnoArZGbFer4+7eHxlsEuEBsKgJiKiTilSrcDrO07hluz0RmGdnRGLpTOy8PqOUwBCe76a27OIiKhTiotQYmRaNBaty8GtY9Nxa3Y6rA4XVHIpSgwWfHGoCGabU7w/WCVCA2FQExFRp1RXwOThjw/ixW/yxfbsjFjckp2Oxz7P87g/WCVCA2FQExFRp+VewERfY4fF7sTOkxVYtC7HozcdzBKhgTCoiYioU9OF1VcWK6yqwavbTjQK6WCWCA2EQU1ERF1GKJYIDYRBTUREXYp7D7sj4PYsIiKiEMagJiIiCmEMaiIiohDGoCYiIgphXExGREQdkt5sQ7nJBoPFjkiNAnHhHWuRWFMxqImIqMMprKrBQx8fxPfH68+aHp8ZhyfmDEZKlCaIT9b6OPRNREQdit5saxTSAEL+FKyWYlATEVGHUm6yNQrpOqF8ClZLMaiJiKhDMQQ45SpUT8FqKQY1ERF1KJEBTrkK1VOwWopBTUREHUpchBLjM+O8XgvlU7BaikFNREQdSt050w3Duq1PwbLYnYFvagPcnkVERB1Oe5+CpTfboa+xo0dsWJu8vz8MaiIi6pDa6xSscpMVhho75NLgDEIzqImIiLxwuQSUGq0w2xxBfQ4GNRERUQMOpwvFBgtsDlewH4VBTUREHUtb1/i2Opwo0VvhcAU/pAEGNRERhSBfYdzWNb5rbE6UGCxwCcIlv1drYVATEVFI8RXGj187CCs+O+yzxvcLc4ddUs/aYLGjwmSDEEIhDXAfNRERhRB/B24sWf8L+iVHen3dpdb4vlBtQ7nR6jekD56rwjdHSlr8GS3FoCYiopDh78CN74+XY1hqlM/XtqTGtyAIKDVYUBXgxK1Pfy7EPe8fwMJ3c3C8xNjsz7kUDGoiIgoZgQ7csPpZhd3cGt9Ol4AivQUmq+/tV3anC89sOYbnth6H0yWg2ubEgndz4HS13/A456iJiChkBDpwI0rj/Xpza3zbHC6UGCywO30Hf4XJihWf5eJwoUFsS9Cq8PjsQZBJJU3+rEvFHjUREYWMQAdupMWGXXKN7xqbE0X6Gr8hnVdkwJ3v7PcI6QHJkfhs4ViMSItu0ue0FokQasvb2pDBYIBOp4Ner0dkpPcFCUREFFyFVTV4+OOD2N5g1fff5gxGcpRG3LrVkhrfRosd5QFWdm8+XIxnthyD3Vl/z9SsJNw/uQ8yE7Ut/8bcNCePOPRNRERB422/dKADN1pa4/tCtc3vojGH04VXt53EJznnxTaZVIL5E3tj5tAUKGSy5n+DrYBBTUREQRGoeElrVRsTBAFlRqvfRWN6sx0rN+XiQEGV2KbTKLBixgAM8bPSvD1wjpqIiNqdv/3SD398EPoA26WayukSUBhgZfeJUhPueme/R0hnJETglRuGBz2kAfaoiYgoCPztl64rXnKpPeqm1Oz+9kgp/r75qMe2ryv7JeCByX2gVgRnqLshBjUREbW7QPulW1K8xJ3Z5kCpweqzZrfTJeC1Hafw3p4CsU0qAW4f1wu/G9kdEkn7bb8KhEFNRETtLtB+abVSBr25Zb1qfY0dFSarz+tGix1//TwPP52uFNsiVHIsvbo/RvWMafbntbWQmKNes2YNRo0aBa1Wi4SEBMyaNQtHjx71uMdisWD+/PmIjY1FREQE5syZg5KS9q+5SkREl87ffunsjFhsOliEhetyUFhV06z3rTBZ/Yb06Ypq3P1OjkdI94wNwyvXDw/JkAZCJKi3bduG+fPn48cff8SWLVtgt9sxefJkVFdXi/fcd999+Oyzz/Dhhx9i27ZtKCwsxOzZs4P41ERE1FK6MCWemDO4UVhnZ8Tilux0vL7jVLMWlgmCgBKDBfoa30PmP+SXY/47OTjvFv5jM+Lw4h+HoVv0pR+R2VZCsuBJWVkZEhISsG3bNowfPx56vR7x8fF499138dvf/hYAcOTIEfTv3x+7du3Cr371qya9LwueEBGFFr3ZhiK9BSfLq6GSS5FTUIXXd5yC2eYU7/l68QT0Tojw+R4OpwslRiusdqfX6y5BwH93ncGbu854tN+S3RPXj+4BaRPnoxUyKVJjwpp0byAdvuCJXq8HAMTE1A5D7Nu3D3a7HZMmTRLv6devH3r06NGsoCYiotCiC1PiZHk17n5nv897/C0sC7Sy22xzYM0XR/BDfoXYFqaU4ZHf9MPlvb0PvXujVsiQoFU1+f7WFHJB7XK5cO+99yI7OxsDBw4EABQXF0OpVCIqKsrj3sTERBQXF/t8L6vVCqu1fq7CYDD4vJeIiIIj0MIyX6diBVrZfb6yBo9uPIQzFWaxrXu0BqtnZiEtNrzJz6fTKBATrgzaSvCQmKN2N3/+fBw6dAjvvffeJb/XmjVroNPpxF+pqamt8IRERNQa9GYbTpSaoK+xYd3to7HgygyEKT33Lvs6FctgsaPET0jvOX0Bd72z3yOkR6fH4OU/Dm9ySMukEiTp1IiNUAV1u1ZI9agXLFiATZs2Yfv27ejevbvYnpSUBJvNhqqqKo9edUlJCZKSkny+35IlS7B48WLxa4PBwLAmIgoB3sqHjs2IxfNzh2HRuhyYbU6fp2JVmKw+F40JgoD3957Df74/Cfcjo/94WSpuyU5v8vGUqotD3QpZ8PuzIRHUgiBg4cKFWL9+Pb777jukp6d7XB8xYgQUCgW+/vprzJkzBwBw9OhRnD17FmPGjPH5viqVCipVcOYUiIjIO1/lQ3fkV0AikWDj/GxIJZJGp2IJgoBSoxXVPsqBWuxOPPXVMXxzpFRsU8uleHBqX0zsm9Dk54vUKBAbxKHuhkIiqOfPn493330XGzduhFarFeeddTodNBoNdDodbrvtNixevBgxMTGIjIzEwoULMWbMGC4kIyLqYPyVD/3+eDmkEkmjVd5Ol4Big8Xnyu5igwXLNhxGfplJbEuKVGP1zCy/K8bdSSUSxGtVCFeFRDSKQuJpXnnlFQDAxIkTPdrfeOMN3HzzzQCAZ599FlKpFHPmzIHVasWUKVPw8ssvt/OTEhFRU3g7vrKud9zc8qE2hwslBgvsTu8ruw8UVGHlZ7kew+HDekRh2fQB0IX5X6hWRymXIjFSHRJD3Q2FRFA3ZSu3Wq3GSy+9hJdeeqkdnoiIiFoq0PGVzVnlXWNzosRg8bpoTBAEbDhQiJe+zfeYj54zvBvunNC7yfPRdeddh8pQd0Oh908HIiLqsAIdX3mmvLrJq7wNFjuKfYS0zeHCk5uP4YVv6kNaIZPg4al9Mf+KjCaFtFQiQUKkGvHa4K7qDiQketRERNQ5BDq+Mr/MhNve3AvA/ypvfyu7y4xWrPjsMPKKjGJbXIQSq2ZmoV9S06pOKuVSJGjVUMpDv7/KoCYiolYTaP7Z/dxnb6u8tWoFSgwWnyu7D53XY8VnubhQXV//e2BKJFZck4WY8KadtBWhliM+yHujm4NBTURErSbQ/LOqQQ/WfZW3w+lCob4GNof3RWOfHyzCP74+DofbhPSMwclYcGVGkxaBSdz+MdCRMKiJiKjV1B1fud3L8Hd2RixyCqoatRstdljsTpQavNfstjtdePnbE9j4c6HYJpdKsPDKDMwYktKk51LIpEiIVEEllwW+OcSE/uA8ERF1GE05vrIhmVSCIr3Fa0hXmm144MODHiEdHabAM78b0uSQDlfJ0S1K0yFDGmCPmoiIWllKlAYvzB2GcpMNRosd4So59p6pFBeNuRvTKwYuQfC6TfdYiRHLNh5GqbH+cKW+SVqsuiYL8U04yUoikSAmTNnkvdShikFNREStThfmWf4zXCXHF2nRHkPio9NjcO+kPl7njLfmleCpr455zFdPHpCIxb/u06SV2jKpBImRaqgVHbMX7Y5BTUREbc69l11ltsHmdCFMKWsU0k6XgH9tP4kP950T26QS4K6JvTF7WLcmrdSuOztaHoJVxlqCQU1ERO1CF6aERimHUi71Wg7UUGPH6s/zsO9MpdgWqZZj2dUDMDwtukmfEWoHarQGBjUREbULf+VAT5aZsHTjYRTpLWJbr/hwrJ6ZhWSdJuB7SyUSxGlViAixAzVaQ+f7joiIqM34O2wj0EEcFSab10Vj24+V4Ykvj8Bir+9lT+gTjwen9oWmCXPMHanKWEswqImIqEn8HbYhAfCgj2squdRrOVCXIOCNH07jnd1nxTYJgNvGpmPuZalNGr4O9QM1WkPn/OcHERG1qkCHbXx3rMzrtfvez8G5SnOj9zNZHXh0wyGPkA5XyfDXawfij6N7BAzeurOjQ/1AjdbAoCYiooACHbaR4GNf8+5Tlag0e/amz14wY/47+/HjyQtiW1pMGF7+43D8qldswGdRyqVIidJ0uFKgLcWhbyIiCqg5h2005H7Axo8nK/DXz/NQ7Vb4ZEyvWDzym34Ib8JCsK4w1N0Qg5qIiAJq7mEb7sJVcgiCgHd/OovXd5yG+3KyG3+VhhsvT4O0CUPdnXVVdyAc+iYiooDqDtvwZlxmHFJ0avzfuHSoFZ6xMjItGmq5FCs35eI1t5BWK6RYcc0A3JzdM2BI1w11d8WQBhjURETUBP4O27hxTBpmv7ITOWcq8ej0AWJYj0yLxo1j0vDI+kPYfqx+fjtZp8ZLfxyO8ZnxAT9Xq1agW5Sm0269agqJ4G1TWydlMBig0+mg1+sRGRkZ7MchIupw9GYbSo1WnL1Qu5J739lKvL7jlLgHekRaNBZc0RsSiQRnKqrx1FfHYLTUz1GPTIvGo9P7I1Ljfyi9sw91NyePOudPgIiI2oQuTIlykw23vbnX6/W68p+7T1bgn9tPwuXWFfz9yO74v3G9IJMGHuruzAVMmotBTUREzRJoBfjL353AntP19bqVcin+PLkPruqfGPC9u+Kq7kAY1ERE1CyBItQ9pBO0KqyamYU+iVq/r+nsQ92Xgj8RIiIS+avXLQgCykxWSCS1c8173U658mZwdx2WzxiAaLdzqb3hULd/DGoiIgLgv5Z3YqQaJQYLLHYntGoFHpjSF09tPuozrGcOTcH8ib0DngkdoZYjPqLzlwG9FPznCxER+a3l/eCHP+NIkQEWe301sQStCg9P64sJfTy3WClkEjwwuQ/uuSrTb0hLLg51J2jVDOkA2KMmIiK/tbx3nKhAmcmKHjFhYluFyYrln+Yit8ggtsWGK7HymiwMSPG/3UghkyIhUgWVPPARlsSgJiIiBF7J7V6vO6/IgGWfHkaFySa29U/WYuU1WYiL8H44R51wVe1QtzTAFi2qx6AmIqKAtbzrDsz48lAxnt16DHZn/QbpaQOTcM9VmX4Xg0kkEsSEKaEL6xonXrUmBjUREYm1vLd7Gf4emRYNrUqGF7/Jxyc558V2mVSC+RN7Y+bQFL/zzHJp7VC3WsGh7pbgYjIiIoIuTIlVMwdiVM9oj/aRadG4Y3wvrP48zyOkozQKPPXbwZg1rJvfkNYoZegWrWFIXwL2qImISJyDfnR6f1Sa7ai2OhCukqOy2oZHNx5CicEq3puZEIFVM7OQGKn2+57RYUpEh/vfQ02BMaiJiLo4vdmOiuraINaqFdBenK/+5kgpntx8FFaHS7z3qn4JuH9yH789ZJlUgnitCmFKRkxr4E+RiKgLKzdZYajxXPHtdAl4bccpvLenQGyTSoB543vhuhHd/Q51qxQyJGpVAQudUNMxqImIuiCXS0Cp0QqzzQGjxY5Ksx0mqwMSAK/tOIX9Z6vEe7VqOR6d3h+jesb4fU+dRoGYcB6o0doY1EREXYzD6UKxwQKbw4VSoxVPbj4qHk/ZUHpcOFbNzEK3KI3P9+OBGm2LP1Uioi6g7rCNimorrA4XItW1f/37C+kxvWLw6PQB0Ch9z0cr5VIkRqqh4FB3m2FQExF1ct4O2xiZFo17rsrEofNVPl93+/hefkOaZ0e3D/4TiIioE/N12MbeM5V4essxxGt9b7GqsTm9tkslEiREqhGv5alX7YE9aiKiTqzMaPV52MaBgiq/rw33MufMs6PbH4OaiKiTcroEnCqvbtFrR6ZFI7pBXW6eHR0c/CcREVEnZHU4UVhVA0UTer5JDSqMjUyLxp+n9BULn0gktQVMeHZ0cLBHTUTUyVRbHSgzWuESBESHKTAyLRp7vazslkqAByb3QXZGnEfZ0Oiw+upkPDs6+BjURESdSJXZhgvV9edEa9UK3Hh5Gg4XGlBjr18cppRJsXpWlljEROvlmMsIlRxxPDs66BjURESdgCAIOFlmQkFlDUxWByIu9ozzS01YtSnPI6T7J2vxyLR+6BYd5vW9JBIJYsKV0Gl4dnQoYFATEXVwTpeAg+eq8NjneR7FS1KjNThfVQOXUH/vNUOSsfDKTMh89JJ5dnTo4WIyIqIOzOZw4UiRoVFIA0BBpWdIA0BhlQUVbkPj7sKUcp4dHYIY1EREHVSNzYkifQ3KTFafZUABQKepHzzde6YST20+CqPF88Ss6DAlknRqnz1tCh4GNRFRB2Sw2FFssMDpEmCyOvze+3/jenl8vfdMJSrNtUEtk0qQrNMgOlzZZs9Kl4Zz1EREHUzDM6QDnVoVE9Y4hKutDp4d3UGEzO/O9u3bMWPGDKSkpEAikWDDhg0e12+++WZIJBKPX1OnTg3OwxIRBYHLJaBIX+MR0nanC+/vOevzNcN7RCG32NCoPSlSjRSdmiHdAYTM71B1dTWGDBmCl156yec9U6dORVFRkfhr3bp17fiERETBY3O4cL6qxuOgjAvVNjzw4UF8cajE62tG9IjC7OHd8fG+cx7tl/eOQUZCBKuMdRAhM/Q9bdo0TJs2ze89KpUKSUlJ7fREREShwWxzoNRQW2mszrESI5ZuOIwyk1Vsy0yIwN0Te0MplyJcJYdKLsULXx+Hxe4S7xmbEYsnfzsEOi/D4RSaQiaom+K7775DQkICoqOjceWVV+Kxxx5DbGysz/utVius1vo/xAZD4+EfIqJQ1rDSGABszSvBU18dg81RH8BTshJx36Q+jU61emhaP1Sa7RAEAanRYYjXqhjSHUyHCeqpU6di9uzZSE9Px4kTJ/DII49g2rRp2LVrF2Qy73v+1qxZg5UrV7bzkxIRXTpBEFBmtHqs6Ha6BPxr+0l86DaULZUAd0/sjWuHdfM6lB2pUSI9PgKRXkqEUscgEQRBCHxb+5JIJFi/fj1mzZrl856TJ0+id+/e2Lp1K6666iqv93jrUaempkKv1yMyMrK1H5uIqFU4nC6UGK2wupX91NfY8dimXOw7WyW2RarlWDZjAIb3iPb6PjxQI3QZDAbodLom5VGH6VE31KtXL8TFxSE/P99nUKtUKqhUqnZ+MiKilrM6nCjRW+Fw1Q9rnywzYenGwyjSW8S2XvHhWD0zCxEqOc5eMHvU99aqFQhX1Z4dzQM1Or4OG9Tnzp1DRUUFkpOTg/0oREStwv14yjrbjpXhb18e8VgQNrFPPP48tS+MFgdWbfIsHToqLRqrrx2IXg3OmKaOK2SC2mQyIT8/X/z61KlTOHDgAGJiYhATE4OVK1dizpw5SEpKwokTJ/Dggw8iIyMDU6ZMCeJTExG1joaLxlyCgDd+OI13dtfvkZYAuG1sOuZelgqT1YEnNx9tVDp0z5lKPP55Hl6YO4yLxjqJkAnqvXv34oorrhC/Xrx4MQDgpptuwiuvvIKDBw/izTffRFVVFVJSUjB58mSsXr2aQ9tE1KEJgoByk82j9rbJ6sDj/8vDjycviG3hKhkend4fo9Nrd7pUmu0+63tvP16OcpONQd1JhExQT5w4Ef7WtW3evLkdn4aIqO05XQJKjRaPIiZnK8xYuvEQCiprxLakSDXunZSJ/slasS1Qfe+Gh25QxxUylcmIiLoSu9OFwgaVxnadqMD8d/d7hDQAFBssePiTX7B6Ux5KjbU7WQLV99ZyO1anwaAmImpnFrsThVU1sDtrF4gJgoD//ngGj244hGq34G5o75lKPLn5KE5XVEMpk+Kv1w5EmLLx1qvxmXGIi+Cwd2fBoCYiakcmqwNF+trjKYHaM6VXfpaLN344jbrJP7Xc91/N+85Uwmhx4I//2Y0vDxXj9ZtHeYT1+Mw4/G3OYM5PdyIhM0dNRNTZNVzZfb6qBss2Hsap8mqxLSVKjVsu74m//u+Iz/dRXDzx6vvj5ZAA+GLROFSabdCqFYiLUDKkOxkGNRFRG/NWDnTv6QtY/XkejJb6tpFp0Vh6dX9Umv0vBFO59bi3Hy+HwyVgqI/qZNTxMaiJiNpQw3KggiDgw33n8K/tJ+Fy2+gye1gKrh6cgoLKGkRpFBiZFo29XrZfZWfEIqegyqONK7w7NwY1EVEbsdidKDXUlwO12p14essxbM0rFe9RyaWYN74Xdp6owK1v7gUAqBVSPH7tIADwCOvsjFjckp2ORetyPD6HK7w7NwY1EVEbMF0sB1pXH6LUYMGyTw/jWIlJvCdBq8KSaX3x9u4Cj+IlFrsLj6z/BY9OH4A1swfBaHHAYndi58kKLFqXA7PbynCu8O78uOqbiKiVXai2odRgEUP653NVuPPt/R4hPaS7Dq/eMBzR4SqvFcYsdhce3XAIUokEw9Oi0TMuHAcLqhqFNFd4d37sURMRtRKXS0CZyYrqi4vGBEHApz8X4sVvT4jbsQDg2mHdcNeEXpDLpCh0OxHLm7r555QoDV6YO0wsN8oV3l0Hg5qIqBU4nC4UGyywOWrno20OF57/5jj+90uxeI9CJsG9V2Vi2qD6U/+aU2FMF8Zg7ooY1EREl6jhorEKkxXLP81FbpFBvCc2XImV12RhQEqkx2ujwxQY0ysGu9wO4KjD+WcCOEdNRHRJ6iqN1YV0XpEBd7693yOkByRr8eoNwxuFtEwqQWaiFk//bijGZ8Z5XOP8M9Vhj5qIqIUqq22oNNdXGvviUDGe23oMdmf9fPS0gUm456pMKOVSGC12VJrtMFkdiAlXom9iBMKUcoQp5Zx/Jp8Y1EREzSQIAkqN9YvGHE4XXtl2Eutzzov3yKQSLLiiN64ZkgKJRIJSoxVPbj7qscJ7fGYcnpgzGClRGs4/k08c+iYiagaH04XzVTViSFeZbXjw44MeIR2lUeCp6wZj5tBukEgkMFrsjUIaqC3/+fDHB6F365UTNcQeNRFREzVcNJZfasLSjYdQYrCK92QmRGD1zCwkRKoB1G6vKjNave6VBmrDushQu0WLPWryhj1qIqImMFrsHovGvjlSioXrcjxCelL/BDz/h6FiSJcarVi1KQ9lJv895pNl1Vi4LgeFVTVt9w1Qh8WgJiIK4EK1TSwH6nQJ+Nf2k3js8zxYL+6ZlkqAOyf0wpJp/aBS1J4NbbTY8dTF4e4Ercrv+6vkUg6Dk08c+iYi8qFhpTGjxY7HPs/DntP1w9hatRxLp/fHyJ4xHq81WhzigRo5BVXIzojFD/kVjT7D/TSs7cfLUW6ycQicPLBHTUTkhd3pQqG+ftHYqfJq3P1OjkdIp8eF4+XrhzcK6XCVHBqlTPz69R2ncEt2OrIzYj3uqzsN6/Udp8Q2HllJDbFHTUTUQI3NiVKjRazPveN4OdZ8cQQ19voDMcZlxuHhqf08AlkikSAmTAldmAImi0NsN9ucWLQuB7eOTcet2emwOlxIjdFg8+GSRqdh8chKaohBTUTkxmCxo8JkgyAIcAkC3tp1Bm/tOiNelwC4ObsnbhjdAxKJRGyXS6VIiFRBfXGOOi5CifGZcdh+vBxAbVi/+E0+AGBcRixG9IwRv67DkqHkDYe+iYhQW8Sk3GRF+cVFY9VWB5ZvPOwR0mFKGVbPysKffpXmEdIapQzdojViSAO1W62emDMY4xqUBs3OiMX8KzNxee9YhLn1xlkylHxhj5qIujynS0Cp0YKai0PQ5yrNWLrhMM5cMIv3dI/W4LGZA9EjNszjtdFhSkSHew/XcKUMvxmUjJsv7wmrwwWVXIqcgircunYPRqZF44tF41BptrFkKPnFoCaiLs3mcKHEYIHdWbvVavepCjz2eR6qrfXzxqPTY/CX3/RHhLr+r0ypRIKESBXClL7/Gi032bDkk1+8Xtt+vBwOl4ChPaJb6TuhzopBTURdVrXVgTKjFS5BgCAIeG9PAf7z/SkIbvdcP7oHbr68J2TS+qFupVyKxEg1FDIp9GYbyk02GCx2RGoUiAuv7xkbAqzg5gpvagoGNRF1Se4nX9XYnXhq81F8e7RMvK6WS/Hg1H6Y2Dfe43URKjniIlSQSiUorKrBQx8fxPcXF4wBngdtRAZYwc0V3tQUXExGRF2KyyWg1GARQ7pYb8GidTkeIZ0UqcYLfxzmEdISiQSxESokRKohlUqgN9sahTTgedBG3cpvb7jCm5qKQU1EXUZdERPTxSIm+89W4s639+FEWbV4z/AeUXjlhuHoHR8htilkUiTr1NBp6nvA5SZbo5Cu415h7Ik5gxuFNVd4U3Nw6JuIugSL3YkSQ20RE0EQ8EnOebzy3Qm43CakfzuiG+4Y39tjPjpMKUe8VuXRBjR9/jklSoMX5g5DuckGo8XOFd7UbAxqIur03IuY2BwuPLv1GDYfLhGvK2QS3D+5LyYPSPR4XUy4ElE+ArU588+6MAYztRyDmog6tXKTFYaa2t5tmdGK5Z8expFio3g9PkKFVTOz0DdJK7Y1rDLmTcPKY+44/0ytiXPURNQpuVwCivQ1YkgfOq/HnW/v8wjpQd0i8coNwz1CWq2QISVK7TekAXD+mdoNe9RE1Ok0LGKy6WAhnv86Hw63CekZQ5Kx4IoMKGT1/ZWoMCViGlQZ87VPWm+2wWJ34tGrB8AlCDBbndBpOP9MrY9BTUSdSo2tdtGYSxBgd7rw4rf5+OznIvG6XCrBoqsycPXgFLHNV5UxX/ukH5s1EKs25WJrXqlH+xPsSVMb4NA3EXUaerMdRfoauAQBF6pteODDnz1COjpMgWd+N8QjpJVyKbpFaxqFtL990o+s/wX9kiMbtdftnyZqTexRE1GHV3vylU3cEnW02IhlGw+jzGQV7+mXpMXKa7IQr1WJbXVbpdxPwqrjb5/0jvwKPDStPwDg9R2nxPOk3fdPE7UW9qiJqENzugQU6S1iSG/JLcGi93I8QnpKViKe+/1QMaQlEgnitSrEa1VeQxoIvE+64IIZOWcr8fzcYR7HVbJ+N7U29qiJqMOyOpwoNVhhd7rgdAn41/aT+HDfOfG6VALcPbE3rh3WTQxkhax265VK7n9Vd6B90iq5FD/kVwAAbh2bjhe/yQfA+t3U+tijJqIOqdrqQFFV7cpufY0dD3980COkI9VyPPnbwZg9vLsY0uEqObpFaQKGNAC/dbqzM2KRU1AFAPghvwLDUqMAcP80tQ0GNRF1OFVmm7iy+0SZCXe/sx/7zlaJ1zPiI/DqDSMwzO2s55hwJRIvHqjRFL72SWdnxOKW7HS8vuOU2GZ1uLh/mtoMh76JqMMQBAFlRqt4qMa2Y2X42xdHYHG4xHuu6BuPP0/pKxYskUuliNeqoFH67kX72itdV6e7SG/ByfJqqORS5BRUYdG6HHEBGQD0igvHC3OHMaSpTTCoiahDcDhdKDZYYHPUzkev3Xka7+w+K16XAPi/cen4w6hUcahbo5QhQatudKCGu0BnSteF7+P/y/NZLjRZp2ZIU5vh0DcRhTyL3YnzVTWwOVwwWR1YuvGQR0iHq2RYM3sQ5l7WQwzpqDAlknUavyHtb6/0Qx8fxJmKaujNPK6Sgos9aiIKaUaLHeUXT746W2HGoxsP4VxljXg9LSYMq2dloXt0GABAJq3detWwgIk3/vZKf3+8HPmlJry587TYu+ZxlRQMDGoiClkVJiv0Fw/V2HmiHI//74jH3HB271g8PK0fwlW1f5WpFTIkaFWQy5o2WBhor7TV4RIrjtXNQTOYqb0xqIko5LhcAkqNVphtDrgEAe/sPou1P5yG4HbPjWPScOOYNEgvDnXrNArEhHuvMubOfeGYvwVmQO1eaYAVxyi4GNREFFLsTheK9bX7o2tsTvztyyMei7g0ChmWTOuHsRfni6UXq4zV9ar9abhwbMGVGRibEYsdFwuXuHPfKw2w4hgFDxeTEVHIsNidKKyqgd3pwvmqGixYl+MR0t2iNHjxj8PEkFbIpEiJ0jQppL0tHHt9xyncnJ2OsRmxHveOzYjF8hlZeO+n+gVrrDhGwRIyQb19+3bMmDEDKSkpkEgk2LBhg8d1QRCwbNkyJCcnQ6PRYNKkSTh+/HhwHpaIWp3BYkeR3gKnS8De0xdw9zv7caq8Wrw+qmc0Xr5+GNLjwgEAYcraKmNKedP+GvO2cMxsc2LRuhwM7RGNzxZm4+Xrh+O1m0ZiaI9oPPFFHv5wWQ8ArDhGwdWsoe/y8nK8/vrr2LVrF4qLiwEASUlJuPzyy3HzzTcjPj6+xQ9SXV2NIUOG4NZbb8Xs2bMbXf/73/+O559/Hm+++SbS09OxdOlSTJkyBbm5uVCr1S3+XCIKLkEQUFFtg6HGDkEQ8OG+c/jX9pNwuU1I/2FUKm4bmy5utYoOUyI6vHnB6WvhmNnmxIvf5GNAciTufme/x7XrR6dxCxYFXZODes+ePZgyZQrCwsIwadIk9OnTBwBQUlKC559/Hk888QQ2b96MkSNHtuhBpk2bhmnTpnm9JggCnnvuOTz66KOYOXMmAOCtt95CYmIiNmzYgD/84Q8t+kwiCi6nS0CJwQKL3Qmr3YmntxzD1rxS8bpKLsWfp/TFlf0SADRv61VDTTlkoyGdRsGKYxR0Tf7TvnDhQlx33XV49dVXG62qFAQBd955JxYuXIhdu3a1+kOeOnUKxcXFmDRpktim0+kwevRo7Nq1y2dQW61WWK31R90ZDIZWfzYiahn3k69KDBYs23gYx0tN4vUErQqrZ2YhM1ELAFApZEhsxtarhmVBI9RyjM+M81pdrOHCsTrR3I5FIaDJQf3zzz9j7dq1Xrc+SCQS3HfffRg2bFirPlydumH2xMREj/bExETxmjdr1qzBypUr2+SZiKjl3IuY/HyuCis/zUVVTf3Q9NBUHZZdPQBRF0MyUqNAbBO2XtXxVhb01/0T8NisgXh0wyGPsB6bEYubs9OxaF2Ox3twXppCRZODOikpCT/99BP69evn9fpPP/3UKEiDbcmSJVi8eLH4tcFgQGpqahCfiKhrazgfvfFAIV767gScbhPS1w7rhrsm9IJcJoVUIkGcVoWIJqzqruOrLOiWi0PqT143BCaLQ6wuplZIseLTwx6FVDgvTaGkyX/6H3jgAcybNw979+7FpEmTxFAuKSnB119/jX//+9946qmn2uQhk5KSxM9KTk4W20tKSjB06FCfr1OpVFCpVG3yTETUPA6nCyVGK6x2J2wOF57/+jj+d6h+REwhk+DeSX0wbWDSxa+lSIxUN3lVdx1/ZUG35JXi/ik2JEeq0TshQmx/6rohLA1KIatJQX3w4EHceeediIuLw7PPPotXXnkFTmftvz5lMhlGjBiBtWvX4ne/+12bPGR6ejqSkpLw9ddfi8FsMBiwe/du3HXXXW3ymUTUeix2J0oMtVuvKkxWLP80F7lF9WtGYiOUWHVNFvonRwIAIlRyxEWomnx2tLtAZUFPllXj8c/zxPrdAFgalEJak4J62LBhKC4uxu9//3ssWbIE58+fF4M6Li4OCsWlFwIwmUzIz88Xvz516hQOHDiAmJgY9OjRA/feey8ee+wxZGZmituzUlJSMGvWrEv+bCJqOwaLHRUX56PzigxYtvEwKqpt4vUByZFYec0AxEaoIJFIEBOmhC6s5X+nNGV1d8P63UShrElBHRUVhZMnTyI+Ph6nT5+GRCLxGIJuDXv37sUVV1whfl03t3zTTTdh7dq1ePDBB1FdXY158+ahqqoKY8eOxZdffsk91EQhyn0+GgC+OFSM57Yeg91ZPx/9m0FJWHRlJpRyKeRSKRIiVVAr/NffDiQuQtmk1d2s300dhUQQBCHQTfPmzcNbb72F5ORknD17Ft27d4dM5v1/ppMnT7b6Q7YWg8EAnU4HvV6PyMjIYD8OUaflvj/a4XThlW0nsT7nvHhdJpVgwRUZuGZIMiQSSbNPvQqksKoGD3980COsszNiccvF1d11C8c23H05hvaIbpXPJGqO5uRRk3rU//rXvzB79mzk5+dj0aJFuP3226HValvlYYmoc3HfH11ltmHVplwcKNCL16M0Ciy/ZgCGdI8C0PytV3Ua7pOOC6+fZ647O7pIb8HJ8mqo5FLkFFR5hDTA+t3UMTR51ffUqVMBAPv27cM999zDoCaiRkxWB8qMVgiCgOMlRizdeBilxvqiQ30SI7DqmiwkRKohkUgQF6FsUVh62yc9PjOu0QIxAHj8f3leh8G5T5o6iiYNfXcWHPomajsXqm2oMtcuEvs6rxRPfXUUVodLvD6pfwLu/3UfqBSyS5qP1pttWLAux+sWrPGZcY0WiHkbBq/bJ518MdSJ2lurD30TEfnicgkoNVphtjngdAl4bccpvLenQLwulQB3jO+F347oDolEAo1ShgStWjxgo7n87ZP2tkCsbhic+6Spo2JQE1GL2Ry1dbrtTheMFjse+zwPe05Xite1ajmWXT0AI9JqF2zpNArEtGA+Gqifk3bf2uWN0cs+au6Tpo6MQU1ELWK2OVBqsMIlCDhVXo2lGw+hsMoiXk+PC8fqmVlIidJAIqk99ao5pUDduc9Jv3aT/xP6uECMOhsGNRE1W5XZhgsXe7Y7jpdjzRdHUGP3rJX90NR+0ChlUMhq56NV8pbtj25YuzunoArZGbH4Ib+i0b1cIEadEYOaiJrM5RJQZrKi2uqASxDw1s4zeOvHM+J1CYBbsnvi+tE9IJFIEK6SI76FpUDrNJyTfn3HKTw/t/akPvewHpsRi8dmDeQQN3U6DGoiapK6c6NtDheqrQ6s+eIIdp6oD8pwpQxLftMPl/eOAwDEhCvFYyovRcPa3WabE4vW5eDWsem4NTsdYUo5zDYHcgqqsHpTLp66bgjDmjoVBjURBVRjc6LUWHuoRsEFM5ZtPIwzF8zi9dRoDVbPHIgesWGQSSVI0KqhUbZ8qNu9kIm3eW2zzYkXv6k9G+C1m0bitjf3itdYFpQ6GwY1EfnlfqjGjycr8Nf/5aHaWj8f/ateMXjkN/0RoZJDpZAh8RJKgXorZLJm9iCMy4zzuiXLvXZ3HW+rvok6MgY1EXnlfqiGIAhY91MBXttxCu4Vkq4f3QM3X94TMqmkxaVA6zRcNFZn9aZcvH7zKEgAn7W73XHVN3U2DGoiasTpElBqtKDG5kSN3YknvzyK746VidfVcikemtYPE/rEQyKRIDZCGfB4yUB8FTIx25y4de0efLFoHBwuAfoaOyx2J3aerGhUu5urvqkzYlATkQeLvfZQDYfLhSJ9DZZuPIyTZdXi9WSdGqtmZqF3fESrHU0JNF405s5sc6LSbBNPuiqsqsGr2040Cum/zRnM+WnqdBjURCQyWuwovzgfvf9sJVZ9lguDxSFeH94jCkuvHgCdRnHJ89ENBeqRuw9psywodSUMaiJqNB/9Sc55vPLdCbjcJqSvG9Ed88b3gkwqEYOxpfPRgJfV3Wo5xmfGNfmkK5YFpa6CQU3UxTldAkoMFljsTtgcLjy79Rg2Hy4RrytkEtw/uS8mD0hstflob6u7f90/AY/NGohHNxzyetIVQ5m6KgY1URfmPh9dZrRi2aeHcbTYKF6Pj1Bh1cws9E3Sttp8tK/V3VvySgEAT143BCaLg0PaRBcxqIm6KPf90YfO67H808OoNNcv6BrUTYflMwYgJlzZqvPR/o6p3JJXioenOdA7IeKSP4eos2BQE3UxgiCIi7AAYNPBQjz/dT4cbhPSM4ek4O4rekMhk7bKfLQ7f6u7ARYsIWqIQU3UhTicLpQYrbDanbA7XXjxm3x8drBIvC6XSrDoqkxcPTgZEokEMeFK6DSXNh/dlJKg7liwhMgTg5qoi7DYnSgx1NbrvlBtw8rPDuOX8wbxeky4EiuvGYCsFN0l1+uu09ySoCxYQtQYg5qoC9Cb7bhgrp2PPlpsxNKNh1BusonX+yVpsfKaLMRrVVDIpEiMVEMpv7T56OaWBOXqbiLvGNREnZggCCgzWmGy1hYt+Sq3BE9/dRR2Z/189JSsRNw3qQ+Ucik0ShkStepLOj+6TlNLgnJ1N5F/DGqiTsr9/GinS8A/t5/AR/vOi9elEuDuiRm4dlgKJJJLP1SjoeaUBCUi3xjURJ2Q+/nR+ho7Vm/Kxf6zVeL1SLUcy2cMwLAe0a1WxKSh5pQEJSLfGNREnYzebEdFtRUAcKLMhGUbD6NIbxGvZ8RHYNXMLCTp1JBJJUiMVLfKoRoNxUUom1USlIi8a51q+kQUdIJQezRlXUh/d7QMC9/N8QjpK/rG4/m5Q5GkU0MhkyIlStMmIQ3U1uJ+Ys5gjM+M82jnojGi5mGPmqgTcDhdKHabj1678zTe2X1WvC4BcPu4dPx+VCokEkmrLRpruEc6Lrw2fOvadBoFS4ISXSIGNVEH5z4fbbI48Nf/5WH3qQvi9QiVHI9O74/L0mNqv1bLER+huuRFY972SI/LjMP8KzJw69o94lnR4zPj8MScwSwLStRCHPom6sD0NXYUXyxicqaiGne/u98jpNNiwvDy9cPEkI4JVyJBq77kkPa1R/r74+V44ZvjuHVsuti2/Xg5Hv74IPRmW8O3IaImYI+aqAMSBAFlJitMltr90T/kl2PNF0fEXiwAZPeOxZLf9EOYUg6ZVIJ4rQphytb5X97fwRo/5Ffg1ux0j7btx8tRbrJxyJuoBRjURB2M+/5olyDgnR/P4o2dpz3uuWlMGv40Jg1SiQRKeW2lMUUrnHxVJ9DBGlaHq1EbD9sgahkGNVEH4j4fbbY58Lcvj3r0bDUKGZZM64exF1daR6jkiNde+nx0Q4H2SKu8lB/lvmmilmFQE3UQVWYbLlTXzvOer6rB0g2HcLrCLF7vFqXB6llZ6BkbDqB2PjqqjYaa/e2Rzs6IRU5BlUcb900TtRwXkxGFOJdLQInBIob0ntMXcNfb+z1C+rKe0Xj5+mHoGRsOqUSCJJ26zUIa8L1HelxmHBZemYnXd5wS27hvmujSSARBEALf1jkYDAbodDro9XpERkYG+3GIArI5auej7U4XBEHAB3vP4d/fn4TL7f/aP4xKxW1j0yGTSlr15KuG+6O9BW3dfe57pAE0amNIE3lqTh5x6JsoRJmsDpQbrXAJAix2J57+6hi+PlIqXlfJpfjzlL64sl8CAECjlCFBW1sW9FJ42x9dtxc6JUrjca8uzHsIM5iJWg+HvolCjCAIqDBZUWqwwCXUDnsveu+AR0gnRqrwwtxhYkhr1QokRV56SPvaH8290ETBwx41UQhxXpyPtthr90P/fK4KKz/NRVVN/damoak6LLt6gDgHHRuugi6sdVZU+9sfvf14OUqNVvaWidoZg5ooRFgdTpTorXC4auejNx4oxEvfnYDTbUJ69vBuuHN8L8hlUkglEiREtl4REyDw/uizF8wIV8kbDYETUdvh0DdRCDBZHSisssDhcsHmcOHpr47h+W/yxZBWyCR4cEpfLLgiA3KZVDz5qjVDGgi8PxoAh8CJ2hl71ERBVmGyQn9xaLvcZMWKTw8jt8goXo+NUGLVNVnon1y7MlStkCGxleajG67sjlDLMS4zzuvwd93+aJYDJWpfDGqiIHG6as+PrrlYnzu30IDlnx5GRXV9bzUrJRIrr8lCzMXjI9v65KuFV2bgluyecAkCfsivEK9lZ8Tilux0LFqXA4DlQInaE4OaKAisDidKDVbYnbU1sb84VIznth6D3Vk/Hz19UDIWXpkh7olurUpj/k6+cgkCLkuPwbAe0bg1Ox1Whws6jQIWuxML1+WIh36wHChR+2FQE7WzaqsDZRf3RzucLrz83QlsOFAoXpdJJVhwRQZmDk0BAEgktSdfRaja7+Sr297c69H+2k0jPc6XZjlQovbDoCZqR5XVNlReXIhVZbZh5We5+PmcXrweHabA8hkDMLh7FABALpUiIVIFtULWas/QkpOv6tpYDpSo/TGoidqBy1V7fnS1tfb86OMlRizdeBilRqt4T5/ECKy6JgsJkWoAgFIuRVKkGvJWPJ4SaNnJVz1jw/D14gksB0oUBAxqojbmXq8bAL7OK8VTXx316LlO6p+A+3/dB6qLPee2Op4SaNnJV92iNAxooiBhUBO1Iff5aKdLwH++P4n3954Tr0slwB0TeuO3w7uJoRwdpkR0eOuGovtWLJ1GgcevHYRH1v/iEdbjMuMw/4oM3Lp2j9jGoW6i4OswQb1ixQqsXLnSo61v3744cuRIkJ6IyL8L1TZUXZyPNtTY8djnedh7plK8HqmWY+nVAzAiLRpA6ywa87Y32mxz4sEGq7x/3T8Ba2YPgsXuanTy1WcLxvLkK6IQ0mGCGgCysrKwdetW8Wu5vEM9PnURDfdHnyqvxtKNh1BYZRHv6RUXjlUzs8RSnDKpBImR6ktaNObr1Ku7r8jAPrd/IADAlrxSWB0uvDB3GHonRHhcYzAThZYOlXRyuRxJSUnBfgwinyz22v3RDlft/PP3x8ux5os8WOz189ET+sTjwal9obkYykp57RnSiktYNObv1CunIODWsel48Zv8RtdYYYwo9HWooD5+/DhSUlKgVqsxZswYrFmzBj169PB5v9VqhdVav6rWYDC0x2NSF6U323HBbIMgCHAJAt7aeQZv/XhGvC4BcOvYnvjjZT3E+egwpRwJWhWkLSgH6j7MrVHKAu6N9oYVxohCX4cJ6tGjR2Pt2rXo27cvioqKsHLlSowbNw6HDh2CVqv1+po1a9Y0mtcmam0ul4BykxWmi1uvqq0OPP6/I9h1sr4EZ7hShr9M749f9YoV23QaBWIjVC36zIbD3C9fP9zv/d72RgOsMEbUEXSYoJ42bZr434MHD8bo0aORlpaGDz74ALfddpvX1yxZsgSLFy8WvzYYDEhNTW3zZ6Wuo+HWq4ILZizdeBhnL5jFe1KjNVg9ayB6xIQBqF00FhehbHFIehvm9rb32Z2366wwRtQxdJigbigqKgp9+vRBfn6+z3tUKhVUqpb1WIgCMdscKDXUbr0CgN2nKvDY53motjrFe37VKwaP/Ka/uJK7NRaNeSsBmlNQheyMWI+DNOqMy4zzKKwCcNsVUUfSYYPaZDLhxIkT+NOf/hTsR6EuqMpsw4WLp1wJgoB1PxXgtR2nILjdc/3oHrgluyekF+ejFTIpknSXtmgM8F4C9PUdp/D83GEA4BHWdYEcppThsp4x3HZF1AF1mKB+4IEHMGPGDKSlpaGwsBDLly+HTCbD3Llzg/1o1IU0LAVaY3fiyS+P4rtjZeI9aoUUD03thwl94t3aWucMacB7CVCzzYlF63Jw69h0LJ0+ABa7s1EgM5iJOqYOE9Tnzp3D3LlzUVFRgfj4eIwdOxY//vgj4uPjA7+YqBU0nI8u0tdg6cbDOFlWLd6TrFNj9cws9Iqv35vc0jOkvRUv0YUpoVHKMC4jDt/new5/m21OHDhbiT/9Kg2JF+uFE1HH12GC+r333gv2I1AX1nA+ev+ZSqzalAuDxSHeMyItGkun90ekpr7H29JyoL6Klzw2ayD+9kUebsruCRcEj2Hu7IxY3JydLvb2iahz6DBBTRQs7kdTCoKAj/efx6vbTsDlNiF93YjumDe+lzi0fSnlQP0VL3lk/S8Y2iNaHOa+NTsdVocLOo0CFrsTC9fl4N3/G93yb5aIQg6DmsgHl0tAqdEKs622h2q1O/Hs1uP4KrdEvEcpl+KByX0wqX+i2NaSld1NLV6yI78Ct2Snw2xzNqo09tpNI2G2Obk3mqiTYVATeWF11JYCrZuPLjNasWzjYRwtMYr3JGhVWDUzC30S6wvutGRld2sVL7E6XNwbTdQJMaiJGjBZHSg31s9HHzqvx/JPD6PSXL8tanB3HZbPGIBot5XUGqUMiVp1s8qBtlbxEgCI0ii4N5qoE2JQE7lxP5oSAD77uRAvfJMPh9uE9MyhKZg/sTfkbr3muq1QzV3Z3eziJRmxyCmoatyeGYfeCRFc7U3UCV1a5QWiTsLpElCst4ghbXe68OyWY3h263ExpOVSCe7/dR/cc1WmR0jHhCsRr23+9ivAd/GSW7LTkZ0R69GenRGLVbMG4miR5+Ey4zPj8Pc5gxnSRJ0Ue9TU5TWcj75QbcOKTw/jUGF9IMaEK7HymgHIStGJbdKLK7vDW7Cyu06g4iUPT+uHggs1UMmlyCmogrHGjqeuG4Jyk41Vxoi6CAY1dWlGix3lptqjKQHgSLEByzYeRrmpfvi7f7IWK6/JQpzbSVdyqRSJOhVU8pbX7AaAuAglxmfGYfvxxsVLcs5WAoDH6u5rh3aDLozBTNSVcOibuiRBEFBmtKLMaBVD+qvDxbjnvQMeIT01KwnP/m6oR0gr5VKkRKlbHNJ6sw0nSk3IOVuJimobHr92EMZnxnnck50Ri1uy0/H6jlNiG1d0E3VN7FFTl2N31pYCtV3c5uR0CXh12wl8vP+8eI9UAtw9MQPXDkvxmHsOU8qRoFX5Xdntq/Qn4L3i2K/7J2DN7EGw2F0wXtxHvf9sFRaty4HZVnsSF0+7Iuq6GNTUpZhtDpQZrXBeXCCmr7Fj9aZc7D9bJd6j0yiwfMYADE2N8nhtpEbh0bP2xlfpzyfmDEa4Uua14tiWvFJYHS68MHcYeifU1ghPilTztCsiAsCgpi6k4darE6UmLN14GMUGi9iWER+BVbOykNRgBXVsuAq6MP8Vv/yV/nz444NYPXOgz4pj24+Xo9xk8zjpisFMRACDmroAp0tAqdGCmovDyADw3dFS/P3Lo7C4Vfm6om88/jylr0fpT6lEgoRIFcKUgf9X8bYnus724+Wotvk/LMPoZasWERGDmjq1hluvnC4Bb/xwCu/+VCDeI5UA/zeuF34/srvHfLS/ld3e5qG97Yl2Z7Y5EaaUifPODbFGNxF5w6CmTstkdXis6jZZHPjr//Kw+9QF8Z4IlRxLr+6PUT1jPF6rUsiQqFV5FDap42se+i/T+/t9HpvDhaVXD8CST35pdI0ruonIF27Pok5HEARUmKwoNVjEkD5TUY27393vEdJpsWF45frhjUI6XCVHik7tNaT9zUPvP1uFcQ22WdXJzojFzpMVGN4jqtFWLK7oJiJ/2KOmTsXhdKHUaIXFXj+8/EN+OdZ8ccRjyHlsRhwenta30dxzoJXd/uahV2/KxYa7s7Fq02HscKvTXbcnetG6HEzql4AX5g5jZTEiajIGNXUaFnvtfLTDVTsf7RIEvPPjWbyx87THfTdfnoYbfpUGaYPa3O4ru33thfY3D222OXGqohpDe0TjrokZcAoC7A4Xcgrq90Rr1Qqu6CaiZmFQU6egN9txwVxfCtRsc+BvXx716P1qFDI88pt+yM7wHHqWSCRIcKvZ7WsO+vFrB0Gj9F+NTC6V4MVv8vHiN/l47aaRuO3NvR7vwXloImouzlFThyYItVuvKqrrF42dr6rBgndzPIK2e7QGL10/rFFIy6VSJOvUYkj73Qv9yUGcr6xpdKpVnewGR1Ba3bZ+cR6aiFqKPWrqsBqWAgWAPacvYPWmPJis9XuWL+sZjUenD0CE2vOPu1IuRVKk56Ixf3PQO/Ir8H9je+GW7HQA8Dgv2n0euk6vuHBsuPtyzkMT0SVhUFOH1LAUqCAI+GDvOfz7+5O42AQAmHtZKm7NToesQW1uXzW7A+6FtjvxwIc/49ax6bg1Ox1WhwupMRpsPlzSqDZ3sk7NcCaiS8agpg5FEARcqLZBX1MfqBa7E099dQzfHCkV29RyKR6c2hcT+yY0eo9IjQIKqQSnyqsbLRYLCzAHrZJLYbY5PY6efO2mkR5fc5ibiFoTg5o6DG9br4oNFizbeBj5pSaxLSlSjdUzs8QDLtzFRqhQbXXgvgbz0OMy47BiRhYEQcC4jFh87zasLd7TYA66To+YMHy9eAK3WxFRm2BQU4dgsTtRYrCIQ90A8HNBFVZ8luvRux7WIwrLpg9odIBGXc1uu8PldbHY98fLsezTQ7gsPQZ3X5EBQILv8+vvyc6IxdIZWZj10g8erxufGYcErYrBTERthkFNIa/h1itBELDxQCFe+u6ER3DPHt4Nd47vJS4OM1rsqDTbYbE7kRYbDrvD5Xex2A/5Fbg1Ox23vbkXj07vj3smZaLUaIVKLkVOQRUKK2s8iqZwiJuI2gODmkKWIAgoM1lhstSv4LY5XPjH18fxxaFisU0hk2Dxr/tgSlaS2FZqtOLJzUex70yl2DYuMw6Lrsr0+5lWhwtmmxOPrD+E124aibvf2S9e23LfeA5xE1G7Y1BTSLI5XCg1em69KjdZsfzTw8grMoptcRFKrLwmC/2TI8U2o8XeKKSB2uHtOyf09vu5Knn9Vq2G+6A5xE1EwcCCJxRyTFYHCqtqPEI6t9CAu97e7xHSWSmRePWGER4hDQCVZnujkK6z62QFxmX4PjjDfbFYXWhziJuIgok9agoZ3rZeAcD/finCP74+Druzfj56Yp94zBqWApPVAYVMAq1aAaPFjiqz/33Qr+84hfV3X45Vm3L9FiwZlxknrubmEDcRBRODmkKC/eLWK6vb1iuH04WXvjuBjQcKxTaZRIJuUWp8d6wM3x0rAwCMTIvGfZMy8dJ3+dh54gJeu2mkz88x25woqrJgWI9o3JqdDq1aDodTwM6TFWLBkroedHKUpu2+YSKiJmJQU9CZrA6UG61wCfU95kqzDSs/y8XBc3qxLUwpQ/coDY657ZkGgL1nKvHs1mMYlR6LnScuIKegCtkZsR495jrZGbHYe7ZSLFBS12NOjFRjUr8ELhIjopDDOWoKGkEQUGa0otRg8QjpYyVG3PX2/kYhPX9i70YhXWfvmSqMTIsGUDu8fUt2eqPDM+qGt1/fcQpA/WlWujAleidEYGiPaPROiGBIE1FIYY+agsLbqm4A2JpXgqe+OubRfnnvWOw8UYEwlf8/rnWrtM02JxatyxHrcfsb3mYoE1GoY1BTuzNa7Cg31RcwAQCnS8C/tp/Eh/vOiW1SCXDtsG4YlxGHnScqoJT5HwBy31rlXo+bw9tE1JExqKnduFwCyqvrC5jUVQ4rMVjw1q4zOFxoEO8NU8owpncsPv+lCMN71A5p5xYbMLxHFPafrWr03mN91OF2H95mMBNRR8SgpnZhdThRarDC7qwdnvZWOayOBLU94spqGx6dPgDHSowY3iMKH+87h+UzsqCSS7Hr5AXx/vGZcXhs1kCs3pTr8T4c3iaizkAiuI8/dnIGgwE6nQ56vR6RkZGBX0CtwmCxo8JtqNtosWPVpjyvIR0VpsCUrES8v6d2CHx4jygM7q5DRoIW63POIbfQgNvG9cKw1CgAQLdoDZIja8991pttKDfZWOKTiEJec/KIPWpqMy6XgHKTFUX6GlSa7TBZHYhQyeF0uXxWDqsy2zG4W5QY1PvPVmHO8O5Y/XkubhubjuUzsnCusgYAkFNQhfS4cDGMObxNRJ0Rg5raRN1Q9/mqmkZD3H0TtX5fa3N6rgSXSSWw2F146dsTGN4jWjwoY3xmHG4fm976D09EFEIY1NRsdUPM+hobwlRySCUSyKUSxIbX9mjPV5qRX2qC0WKHzeFCv2QtDhfqYbHXBvDREqPf92+4ujteqwLgWYub889E1FUwqKlZCqtq8NDHBz3OdK4rJPL457lYcGUm/vblEY/FXsN7ROG6Ean4749nAr7/8B5RyC2uX/1dF87jM+OwauZAGGpsuHZoN84/E1GXwcVk5FVdr9lgsSNSo0BceG0oLliX4xHSdcb0jkFmghaHzxswsFsk3tzlP5Qn9o2HocbusdVqRI8oXDu8Ox77PBcWuwvjMuOw8posABB760REnQEXk9El8dZrHp8Zh79M7+81pAFg14kLuHpQCt7adQY3XZ4WMKh/PFmB//xpJByCgGqrA+EqOcKVcthdLrxz22hEhSnZayYiAoOaGtCbbY1CGgC2Hy/HTRdXW/tStwjM4fI+SBMdpkDlxWMoB6booNXIoVUrxOthSjkStCpIpZJL+RaIiDoVHsrRRejNNpwoNSHnbCVOlJmgN9u83ldusvnsNQdStwjsTEW11+t3T+wNoPZYyj9P6esR0pEaBZJ0aoY0EVED7FF3AYVVNXjoo4P4Pt9zKPuJOYOR0uDMZYPF7vN9cgqqMC4jzuN96gzvEYXDRXp0i1Lj+Ys1thtez0iIwNpbRiE6TOER0rHhKujCFI1eQ0RE7FF3WE3pIevNNpwpr8ZDH/3cKFy3Hy/HQx8fbPS6SLXvwHx9xyncc1UmRlw8TrLO8B5RmDEkBV8dLsH5KgsaLk8cmRaNh6b2Q1psOHrEhIkhLZFIkBipZkgTEfnBHnUH4L4CW6dRQCmTYsn6XzyGqMdlxmH1zIGIDlNAF6YUF4TdfHlPfJ9f4fV9vz9ejlKj1WPBVlyEEuMy47wOfw9I0WLTL4VYcEVvuAQBVWY7wlVylBmt+Oe2kyg31Yd+bLgS/zcuHf2TIxv1oAFALpUiIVIFtUJ2qT8eIqJOrcP1qF966SX07NkTarUao0ePxk8//RTsR2qRuh7xzwWVOF1uwpFiA346dQFHig0oMVjE+wqrarDg3Rxc9cw2XPvyTnyScx4PfdJ4sdf3x8vxlw2/4H+HinHughnLNh7C98fLxTOafT5HjedQty5MidUzByI7I9ajfURaFGYN7Y739hRAIpEgPS4CGQkROHvBjL9vPopzVfULzQZ31+FfN47AlKwkjx50HaVcipQoNUOaiKgJOlSP+v3338fixYvx6quvYvTo0XjuuecwZcoUHD16FAkJCe32HN72GLsfClHXHqGSo9rqgL7G8766OeN9Zyvx/Nxh+Pvmo/jBrdc7NiMWj187CDqNotHc8rDUKPGc5YZ+yK/ArdnpWLL+FwxJjcLWvFKPM5q9CVM2DsvoMAWuHpyCW7PTUWW2w+pw4nCRAY99nouBKTpEXxyq/u5oGV74Jt9jlffMoSmYP7E35D7OjubKbiKi5ulQQf3MM8/g9ttvxy233AIAePXVV/H555/j9ddfx8MPP9wuz+Brj/FjswZi1aZcbM0rFdvHZsTi5ux0LFqXA7PNifGZcVgzexAe/vgXfJ9fjgVXZuCNH055hDQA7MivwCPrf8HSqwc0mlsO1EO2Olz4/ng5br68J4DaBWDZGbGNPgOorfoVrmz8R0AXVjv8ff8HP2P3qfoKY3WrtdUKGZ7ZcgybDhaJ1xQyCe65KhO/GZTs89kiNQrERaj8Pj8REXnqMEFts9mwb98+LFmyRGyTSqWYNGkSdu3a1S7P4G+P8SPrf8HQHtEeQb0jvwICgFvHpuPFb/Kx/Xg5zlSYxfD11zvekV8BQ42jUXugHnLd9bpAf33HKTw/dxgAeIR1dkYsFl6ZiSgvC7lsDhcEAXjkN/1QabaLBUmiwxSwOwUs/uBnHC6sL/MZG67EimsGICtF5/O5YiNU0Gm4aIyIqLk6TFCXl5fD6XQiMTHRoz0xMRFHjhzx+hqr1Qqr1Sp+bTAYvN7X5Gfws8d4R34FbslufJJT3XB0nSq3OeFAveMwVeNh6UA95LpDK6IuhqLZ5sSidTm4dWy6+Bw6jQLHS03oGRPWqPKXyepAudEKlyBAq/ZcBJZXZMDyTw97LBrrn6zFymuyfPaUpRIJEiJVCPPScyciosA63GKy5lizZg10Op34KzU19ZLez98eY8B38Lq3u/eIA/WONQpZo0Vdr+84hVuy0zG2QXvdwRiv7ziF8ZlxSIsNw/jMOAC1Yf3iN/lYu/M00uPCEROuxG8GJiHJbQ+1IAgoM1pRarDA5aX8++bDxbj3/QMeIT1tYBKe/d1QnyGtkEmREqVhSBMRXYIO8zdoXFwcZDIZSkpKPNpLSkqQlJTk9TVLlizB4sWLxa8NBsMlhbW/PcaA7+B1b3cvGuKvdzw2IxYahQwLr8wEUD9sbbY58e7uM/jL9AGQSoBzF8t65hRUYdG6HIxMi8bf5gxGcpQGL8wdhnKTDUaLHVq1wmftbLvThVKjFVa7s9E1h9OFV7edxCc558U2qQSYf0UGZg1NgUTifVGYSiFDUqQaMi4aIyK6JB0mqJVKJUaMGIGvv/4as2bNAgC4XC58/fXXWLBggdfXqFQqqFStt3gpLkKJ8Zlx2O5l+Hus27Czu+wG7UeLDFjym35w/S/P5/xx3arv5Is93roV2FaHCyq5FKVGK6I1CiRFaZAUqUa5yYbYcGWj4x91YYEPtai2OlB2cai7Ib3ZjpWbcnHA7fl1GgWWzxiAoalRPt8zQiVHvFblM8SJiKjpOtQxl++//z5uuukm/POf/8Rll12G5557Dh988AGOHDnSaO7am9Y45rKwqgYPf3zQI6zrVn2v3pSLLQFWff9tzmBIAHx7rAwJWhUcLgHJOjVcQm3vNUItR3SYEomRavF96rZ9BeoZN1eFydpoH3Wd/FITlm48hBJD/Rx/RkIEVs3MQpLbszUUHaZEdDhPvCIi8qc5edShghoAXnzxRTz55JMoLi7G0KFD8fzzz2P06NFNem1rnUftKzgbtkeoa/dRG2oaB2xbhW9TOC4OdVu8DHUDwLdHSvH3zUc95tav7JeAByb38VmkRCKRIC5C2ai4CRERNdapg/pStFZQd2QWuxOlBiscrsYL35wuAa/tOIX39hSIbVIJcPu4XvjdyO4+h7JlUgkStGpovBRPISKixpqTRx1mjpouXZXZhgvV3o+3NFkceOx/efjJrcBJhEqOpVf3x6ieMT7fUyGTIjFSDWWAFexERNQyDOouwOUSUGq0wmxrXEAFqD0/eunGw+IKcgDoGRuG1TMHolu0xutrAK7sJiJqDwzqTs7qqB3qtju97/H+Ib8ca744ArOtfr56bEYcHp7W1+/+Z67sJiJqHwzqTsxgsaPCZIO3ZQguQcDbP57B2p1nPNpvubwnrv9VD0j9BHBUmBIxXNlNRNQuGNSdkCAIKDNZYbJ4H+o22xx44ouj2OF24EeYUoYl0/ohOyPO5/tKJBLERigDFn4hIqLWw6DuZGwOF0qNFth8lDM9X1mDRzcewpkKs9jWPVqD1TOzkBYb7vN9pRIJEiO5spuIqL0xqDsR9wM1vNlz+gJWb8qDyVrf074sPQaP/qY/ItS+/yjIpVIk6lRQyRnSRETtjUHdCQiCgAvVNp9VxgRBwPt7z+E/35+Eyy3D516Wiluz0/2u2lYpZEjUqiCXcfsVEVEwMKg7OIfThRIfB2oAtQVOnvrqGL45Ul/aVC2X4sGpfTGxb4Lf9w5XyZHAld1EREHFoO7AzLbaAzWcLu9D3cUGC5ZtOIz8MpPYlhSpxuqZWeidEOH3vXUaBWJ9HF9JRETth0HdAQUa6gaAAwVVWPlZrsc9w3pEYdn0AdCF+V+1HRuhgk7Dld1ERKGAQd3BBBrqFgQBGw4U4qVv8z3mo2cP74a7JvT2Ox8tlUiQEKnyW+iEiIjaF/9G7kACDXXbHC784+vj+OJQsdimkEmw+Nd9MCUrye97c2U3EVFoYlB3AE0Z6i43WbH808PIKzKKbXERSqyamYV+Sf5PZlHKpUiKVHNlNxFRCGJQh7hAZ0cDwOFCPZZ/mutxMtbAlEisuCYrYKnPMGXtym4pD9YgIgpJDOoQ5u/s6Dr/+6UI//j6OOzO+uHwGYOTseDKDCgC9JC1agXitVzZTUQUyhjUIUpvtuOC2fuBGgBgd7rw8rcnsPHnQrFNLpVg4ZUZmDEkJeD7x4arAq7+JiKi4GNQhxiXq/ZAjWqr9wM1AKDSbMOKT3Pxy3m92BYdpsCKGVkY1F3n9/0lEgkStCqEq/hbT0TUEfBv6xBisTtRZvR9djQAHCsxYtnGwyg1WsW2volarJqZFXAYWyatPVhDreDKbiKijoJBHSL0NXZcqPY91A0AW/NK8NRXxzxOxpo8IBGLf90HSrn/+WiFTIoknTrgvDUREYUWBnWQuVwCyk1WjxOtGnK6BPxr+0l8uO+c2CaVAHdN7I3Zw7oFrMWtUcqQqFVzZTcRUQfEoA4iq6N2Vbe/oW5DjR2rP8/DvjOVYlukWo5lVw/A8LTogJ+hVSsQF6HkwRpERB0UgzpIDBY7Kkz+h7pPlpmwdONhFOktYluv+HCsnpmFZJ0m4GdwZTcRUcfHoG5nglC7qttk8T3UDQDbj5XhiS+PwGKv721P7BOPP0/tC02AxWBc2U1E1Hnwb/J2ZHO4UGq0eCwGa8glCFi78zTe/vGs2CYBcNvYdMy9LDXgELZcKkVCpIoru4mIOgkGdTsxWR0oN1rh8jPUbbI68Pj/8vDjyQtiW7hKhr/8pj9+1Ss24GewZjcRUefDoG5jgiCgotoGg58DNQDg7AUzlm44hILKGrGtR0wYVs/MQmpMWMDPYc1uIqLOiUHdhgKdHV1n14kKPP6/PFTb6u+7vHcslkzr16R55kiNAnERrNlNRNQZMajbSKCzo4Ha3va7P53F6ztOw/2uG3+VhhsvT4O0CVuquLKbiKhzY1C3gQvVNlSZbX7vqbE58bfNR7D9WLnYplZI8fC0fhifGR/wM7iym4ioa+Df8q3I4XShzGRFjc3/UHdhVQ2WbTyMk+XVYltKlBqrZw5Eelx4wM9hzW4ioq6DQd1KmnJ2NADsO1OJ1ZtyYXDbRz0yLRpLr+4PrTrwEDZrdhMRdS0M6lZQZbbhQrX/oW5BEPDR/vP457YTcJ+2/v3I7vi/cb0ga8JqbdbsJiLqehjUl8DpElBmtMJs819lzGp34uktx7A1r1RsU8mleGByH1zVP7FJn8Wa3UREXRODuoUcTheK9Ba/B2oAQKnBguWf5uJoiVFsS9CqsHpmFjITtU36LK7sJiLquhjULeRwCQFD+uC5Kqz8LBeV5vpiJ0O667B8xgBEhSkDfoZUIkE8V3YTEXVpTIA28unPhXjhm3yPfdSzhqbg7om9m1TiUy6VIlGngkrOld1ERF0Zg7qV2Z0uvPBNPjYdLBLbFDIJ7r0qE9MGJTfpPVizm4iI6jCoW1GFyYoVn+XicKFBbIsNV2LlNVkYkBLZpPcIV8kRH8Ga3UREVItB3UryigxY9ulhVJjqt2n1T9Zi5TVZTa7DrdMoEMua3URE5IZB3Qo2Hy7GM1uOwe6sn4+eNjAJ91yVCaU88PC1RCJBbIQSkU0oeEJERF0Lg/oSOJwuvLrtJD7JOS+2yaQSzJ/YGzOHpjRpz7NUUlsOVKPkojEiImqMQd1CldU2PPjxLzhQUCW26TQKrJgxAENSo5r0HgqZFImR6ib1uomIqGtiULfA4UI9bn9rLwqrLGJbRkIEVs3MQlKkuknvoVbIkBipblLpUCIi6roY1M10uFCPOa/shMVeX+zkyn4JeGBynyafZhWhkiNeq2I5UCIiCohjrs3ULykSl6XHAgCkEuDOCb3wl9/0a3JIR4cpkRCpZkgTEVGTMKibSSaV4IU/DMPg7jqsmT0IvxuZ2qTQlVwsBxodHrh0KBERUR0OfbeALkyB9+f9CkV6S+CbURvuiZHqJve6iYiI6jCoW6ipQ9dc2U1ERJeCQd2GVAoZkriym4iILkGH6eb17NkTEonE49cTTzwR7MfyKUwpR4qOIU1ERJemQ/WoV61ahdtvv138WqvVBvFpfIvUKJpc35uIiMifDhXUWq0WSUlJwX4Mv2LDVdCFsWY3ERG1jg4z9A0ATzzxBGJjYzFs2DA8+eSTcDgcwX4kkUQiQUKkmiFNREStqsP0qBctWoThw4cjJiYGO3fuxJIlS1BUVIRnnnnG52usViusVqv4tcFg8HnvpeD2KyIiaisSQRCEwLe1jYcffhh/+9vf/N6Tl5eHfv36NWp//fXXcccdd8BkMkGl8j4fvGLFCqxcubJRu16vR2RkZMse+iKL3YnCqhoo5bXbrxSyDjU4QUREQWQwGKDT6ZqUR0EN6rKyMlRUVPi9p1evXlAqG1fzOnz4MAYOHIgjR46gb9++Xl/rrUedmpraakFdZbYjQauClCu7iYioGZoT1EEd+o6Pj0d8fHyLXnvgwAFIpVIkJCT4vEelUvnsbV8qpUyKJF3TTsoiIiJqqQ4xR71r1y7s3r0bV1xxBbRaLXbt2oX77rsPN9xwA6Kjo4PyTOxFExFRe+gQQa1SqfDee+9hxYoVsFqtSE9Px3333YfFixcH+9GIiIjaVIcI6uHDh+PHH38M9mMQERG1Oy5VJiIiCmEMaiIiohDGoCYiIgphDGoiIqIQxqAmIiIKYQxqIiKiEMagJiIiCmEMaiIiohDGoCYiIgphDGoiIqIQxqAmIiIKYQxqIiKiEMagJiIiCmEMaiIiohDWIY65bC2CIAAADAZDkJ+EiIi6srocqsslf7pUUBuNRgBAampqkJ+EiIioNpd0Op3feyRCU+K8k3C5XCgsLIRWq4VEIrmk9zIYDEhNTUVBQQEiIyNb6Qk7L/68mo4/q+bhz6t5+PNqnrb6eQmCAKPRiJSUFEil/mehu1SPWiqVonv37q36npGRkfzD3gz8eTUdf1bNw59X8/Dn1Txt8fMK1JOuw8VkREREIYxBTUREFMIY1C2kUqmwfPlyqFSqYD9Kh8CfV9PxZ9U8/Hk1D39ezRMKP68utZiMiIioo2GPmoiIKIQxqImIiEIYg5qIiCiEMahb4KWXXkLPnj2hVqsxevRo/PTTT8F+pJC1fft2zJgxAykpKZBIJNiwYUOwHylkrVmzBqNGjYJWq0VCQgJmzZqFo0ePBvuxQtYrr7yCwYMHi/tbx4wZgy+++CLYj9UhPPHEE5BIJLj33nuD/Sgha8WKFZBIJB6/+vXrF5RnYVA30/vvv4/Fixdj+fLl2L9/P4YMGYIpU6agtLQ02I8WkqqrqzFkyBC89NJLwX6UkLdt2zbMnz8fP/74I7Zs2QK73Y7Jkyejuro62I8Wkrp3744nnngC+/btw969e3HllVdi5syZOHz4cLAfLaTt2bMH//znPzF48OBgP0rIy8rKQlFRkfhrx44dwXkQgZrlsssuE+bPny9+7XQ6hZSUFGHNmjVBfKqOAYCwfv36YD9Gh1FaWioAELZt2xbsR+kwoqOjhf/85z/BfoyQZTQahczMTGHLli3ChAkThHvuuSfYjxSyli9fLgwZMiTYjyEIgiCwR90MNpsN+/btw6RJk8Q2qVSKSZMmYdeuXUF8MuqM9Ho9ACAmJibITxL6nE4n3nvvPVRXV2PMmDHBfpyQNX/+fEyfPt3j7zDy7fjx40hJSUGvXr1w/fXX4+zZs0F5ji5V6/tSlZeXw+l0IjEx0aM9MTERR44cCdJTUWfkcrlw7733Ijs7GwMHDgz244SsX375BWPGjIHFYkFERATWr1+PAQMGBPuxQtJ7772H/fv3Y8+ePcF+lA5h9OjRWLt2Lfr27YuioiKsXLkS48aNw6FDh6DVatv1WRjURCFo/vz5OHToUPDmxDqIvn374sCBA9Dr9fjoo49w0003Ydu2bQzrBgoKCnDPPfdgy5YtUKvVwX6cDmHatGnifw8ePBijR49GWloaPvjgA9x2223t+iwM6maIi4uDTCZDSUmJR3tJSQmSkpKC9FTU2SxYsACbNm3C9u3bW/20t85GqVQiIyMDADBixAjs2bMH//jHP/DPf/4zyE8WWvbt24fS0lIMHz5cbHM6ndi+fTtefPFFWK1WyGSyID5h6IuKikKfPn2Qn5/f7p/NOepmUCqVGDFiBL7++muxzeVy4euvv+a8GF0yQRCwYMECrF+/Ht988w3S09OD/UgdjsvlgtVqDfZjhJyrrroKv/zyCw4cOCD+GjlyJK6//nocOHCAId0EJpMJJ06cQHJycrt/NnvUzbR48WLcdNNNGDlyJC677DI899xzqK6uxi233BLsRwtJJpPJ41+gp06dwoEDBxATE4MePXoE8clCz/z58/Huu+9i48aN0Gq1KC4uBlB7Zq1Gowny04WeJUuWYNq0aejRoweMRiPeffddfPfdd9i8eXOwHy3kaLXaRmsdwsPDERsbyzUQPjzwwAOYMWMG0tLSUFhYiOXLl0Mmk2Hu3Lnt/iwM6mb6/e9/j7KyMixbtgzFxcUYOnQovvzyy0YLzKjW3r17ccUVV4hfL168GABw0003Ye3atUF6qtD0yiuvAAAmTpzo0f7GG2/g5ptvbv8HCnGlpaW48cYbUVRUBJ1Oh8GDB2Pz5s349a9/HexHo07g3LlzmDt3LioqKhAfH4+xY8fixx9/RHx8fLs/C0/PIiIiCmGcoyYiIgphDGoiIqIQxqAmIiIKYQxqIiKiEMagJiIiCmEMaiIiohDGoCYiIgphDGoiIqIQxqAm6qQmTpyIe++9FwDQs2dPPPfcc0F9HiJqGQY1URewZ88ezJs3r0n3MtSJQgtrfRN1AcGoT0xErYM9aqJOoLq6GjfeeCMiIiKQnJyMp59+2uO6ey9ZEASsWLECPXr0gEqlQkpKChYtWgSgdrj8zJkzuO+++yCRSCCRSAAAFRUVmDt3Lrp164awsDAMGjQI69at8/iMiRMnYtGiRXjwwQcRExODpKQkrFixwuOeqqoq3HHHHUhMTIRarcbAgQOxadMm8fqOHTswbtw4aDQapKamYtGiRaiurm7lnxZRx8KgJuoE/vznP2Pbtm3YuHEjvvrqK3z33XfYv3+/13s//vhjPPvss/jnP/+J48ePY8OGDRg0aBAA4JNPPkH37t2xatUqFBUVoaioCABgsVgwYsQIfP755zh06BDmzZuHP/3pT/jpp5883vvNN99EeHg4du/ejb///e9YtWoVtmzZAqD2rOhp06bhhx9+wNtvv43c3Fw88cQT4lnIJ06cwNSpUzFnzhwcPHgQ77//Pnbs2IEFCxa01Y+NqGMQiKhDMxqNglKpFD744AOxraKiQtBoNMI999wjCIIgpKWlCc8++6wgCILw9NNPC3369BFsNpvX93O/15/p06cL999/v/j1hAkThLFjx3rcM2rUKOGhhx4SBEEQNm/eLEilUuHo0aNe3++2224T5s2b59H2/fffC1KpVKipqQn4PESdFXvURB3ciRMnYLPZMHr0aLEtJiYGffv29Xr/ddddh5qaGvTq1Qu333471q9fD4fD4fcznE4nVq9ejUGDBiEmJgYRERHYvHkzzp4963Hf4MGDPb5OTk5GaWkpAODAgQPo3r07+vTp4/Uzfv75Z6xduxYRERHirylTpsDlcuHUqVMBfw5EnRUXkxF1MampqTh69Ci2bt2KLVu24O6778aTTz6Jbdu2QaFQeH3Nk08+iX/84x947rnnMGjQIISHh+Pee++FzWbzuK/h6yUSCVwuFwBAo9H4fS6TyYQ77rhDnC9316NHj+Z8i0SdCoOaqIPr3bs3FAoFdu/eLQZaZWUljh07hgkTJnh9jUajwYwZMzBjxgzMnz8f/fr1wy+//ILhw4dDqVTC6XR63P/DDz9g5syZuOGGGwDUzjcfO3YMAwYMaPJzDh48GOfOncOxY8e89qqHDx+O3NxcZGRkNPk9iboCDn0TdXARERG47bbb8Oc//xnffPMNDh06hJtvvhlSqff/vdeuXYvXXnsNhw4dwsmTJ/H2229Do9EgLS0NQO0K8e3bt+P8+fMoLy8HAGRmZmLLli3YuXMn8vLycMcdd6CkpKRZzzlhwgSMHz8ec+bMwZYtW3Dq1Cl88cUX+PLLLwEADz30EHbu3IkFCxbgwIEDOH78ODZu3MjFZNTlMaiJOoEnn3wS48aNw4wZMzBp0iSMHTsWI0aM8HpvVFQU/v3vfyM7OxuDBw/G1q1b8dlnnyE2NhYAsGrVKpw+fRq9e/cW918/+uijGD58OKZMmYKJEyciKSkJs2bNavZzfvzxxxg1ahTmzp2LAQMG4MEHHxR774MHD8a2bdtw7NgxjBs3DsOGDcOyZcuQkpLSsh8KUSchEQRBCPZDEBERkXfsURMREYUwBjUREVEIY1ATERGFMAY1ERFRCGNQExERhTAGNRERUQhjUBMREYUwBjUREVEIY1ATERGFMAY1ERFRCGNQExERhTAGNRERUQj7f6RK1/Rd/JVKAAAAAElFTkSuQmCC", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "fdc(sphere_sample)" ] }, { "cell_type": "code", "execution_count": 4, "id": "223692d2", "metadata": {}, "outputs": [ { "name": "stderr", "output_type": "stream", "text": [ "WARNING:root:No D file is present, thus, computing the D file... Computing an entire D file can be time consuming. Instead, you can call the function with the keyword argument `compute_D_file` set to `False` to speed up computation, as only the required distances will be calculated.\n", "INFO:root:D file has been loaded to the current sample and is saved to ./Deceptive_D.csv\n" ] }, { "data": { "text/plain": [ "({'fdc_f0': np.float64(-0.7225442544254425)},\n", "
)" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeoAAAHqCAYAAADLbQ06AAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjEsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvc2/+5QAAAAlwSFlzAAAPYQAAD2EBqD+naQAAWlBJREFUeJzt3Xl4VPWhPvD3zD6TWbKRDZKwhbAG2UVWW2Qpoii1LT+1SL3aekFFrQq9VZBW0YqVulS93ir0qlWvLFatUtzYVJYgAiJZIOwkkJDMZDKZ/fz+mMzJTDLZIMmcSd7P88xj5iwz30wwb767IIqiCCIiIpIlRbQLQERERE1jUBMREckYg5qIiEjGGNREREQyxqAmIiKSMQY1ERGRjDGoiYiIZIxBTUREJGMMaiIiIhljUBPFkHfffReJiYmw2+3RLgpFUFFRgbi4OPzrX/+KdlGoC2FQE9VZu3YtBEGI+Fi6dKl0Xe/evaXjCoUC8fHxGDZsGO68807s2rWrydd3Op149tlnMW7cOFgsFuh0OgwYMACLFy9GYWFhi+Xz+XxYvnw57r77bhiNxnb5nruCr776ChMnToTBYEBaWhruueeeVv0h09zPWxAEvPnmm9K1GzZswM9//nP07dsXBoMBubm5eOCBB1BVVRX2mklJSfiP//gPPPLII+39bVI3JnCtb6KAtWvXYuHChVi5ciX69OkTdm7o0KG44oorAASCOiEhAQ888AAAoLq6Gj/88AP+7//+D6Wlpbjvvvvw5z//Oez+8vJyzJw5E/n5+bj22msxbdo0GI1GFBQU4O2330ZpaSncbnez5du0aRNuvPFGnDp1Cj179my/bzyG7d+/H+PHj8egQYNw55134vTp01i9ejWuvvpqfPzxx83ee+zYMXz11VeNjj/77LP47rvvcPr0aaSlpQEAkpOTkZGRgblz5yIrKwsHDx7Eyy+/jL59+2Lfvn3Q6/XS/T/88AMGDx6Mzz77DD/60Y/a9xum7kkkIlEURfH1118XAYh79uxp9rrs7Gxx9uzZjY47HA5x7ty5IgDxr3/9a9i52bNniwqFQnzvvfca3ed0OsUHHnigxfJdd9114sSJE1u8rr3V1NREPO7xeESXy9XJpQk3a9YsMT09XbRardKxV199VQQgbt68uc2v53A4RJPJJF5zzTVhx7/44otG165bt04EIL766quNzg0dOlS89dZb2/z+RJGw6Zuonej1evzv//4vEhMT8fjjj0Osa6zatWsXPvroI9x+++2YN29eo/u0Wi1Wr17d7Gs7nU588sknmDZtWsTzb7zxBsaOHQuDwYCEhARMnjwZ//73v8Ou+etf/4ohQ4ZAq9UiIyMDixYtatR0O3XqVAwdOhT5+fmYPHkyDAYDfve73+H48eMQBAGrV6/GmjVr0K9fP2i1Whw+fLgNn1D7stls2LJlC2655RaYzWbp+C9/+UsYjUa8++67bX7NDz74ANXV1bj55pvDjk+dOrXRtTfccAOAQA26oWuuuQYffPCB9G+A6HKool0AIrmxWq0oLy8PO5acnNyqe41GI2644Qb87W9/w+HDhzFkyBD885//BADceuutl1ym/Px8uN1ujBw5stG5xx57DCtWrMBVV12FlStXQqPRYNeuXfj8888xffp0AMCKFSvw2GOPYdq0abjrrrtQUFCAl156CXv27MHOnTuhVqul16uoqMCsWbPwi1/8ArfccgtSU1Olc6+//jqcTifuvPNOaLVaJCYmNllmq9UKj8fT4vem0+kuqc/94MGD8Hq9GD16dNhxjUaDK664At9++22bX/PNN9+EXq/HjTfe2OK1paWlACL/2xg1ahSeffZZfP/99xg6dGiby0EUikFN1ECkWmtbakbBX8xHjx7FkCFDpBrXsGHDLrlMR44cAYBGfefFxcVYuXIlbrjhBrz33ntQKOobyYJlvnDhAlatWoXp06fj448/lq4ZOHAgFi9ejDfeeAMLFy6U7istLcXLL7+MX//619Kx48ePAwBOnz6N4uJi9OjRo8UyX3/99di6dWuL1y1YsABr165t8bqGzp07BwBIT09vdC49PR3bt29v0+tdvHgRn3zyCebOnQuTydTi9U899RSUSiV++tOfNjrXt29fAMDhw4cZ1HTZGNREDbz44osYMGDAJd8frB1WV1cDCDTRAmjVL/+mVFRUAAASEhLCjm/atAl+vx+PPvpoWEgDgCAIAIBPP/0UbrcbS5YsCbvmjjvuwO9+9zt89NFHYUGt1WrDnoeaN29eq0IaAJ555hlUVla2eF1GRkarXq+h2tpaAIHyNqTT6aTzrfXee+/B7XY3avaO5K233sLf/vY3PPTQQ8jJyWl0PvhzatgyQ3QpGNREDYwdO7ZRc2pbBKcGBYM52H9aXV2N+Pj4yypbw5r90aNHoVAoMHjw4CbvOXHiBAAgNzc37LhGo0Hfvn2l80E9e/aERqOJ+FoNa/TNGTVqVKuvbY7Vag0LXY1Gg8TERGmktcvlanSP0+kMG4ndGm+++SYSExMxa9asZq/bvn07br/9dsyYMQOPP/54xGuCP6fgH0tEl4NBTdTODh06BADo378/gEATMxDoU500adIlvWZSUhIAoLKyEr169WqHUjatuYBrS/hdvHixxSlnwde0WCxNnr/33nuxbt066fmUKVPw5ZdfSk3ewSbwUOfOnWtTTf3kyZPYvn077rzzzrD++oa+++47XHfddRg6dCjee+89qFSRf4UGWxJaO7aBqDkc9U3Ujux2OzZu3IjMzEwMGjQIADBnzhwAgZHZlyoY9iUlJWHH+/XrB7/f3+zo6+zsbABAQUFB2HG3242SkhLpfHu78cYbkZ6e3uLj3nvvbfZ1HnroIWzZskV6PPPMMwACYwFUKhX27t3b6Pvav3+/NO+9Nf7xj39AFMVmm72PHj2KmTNnIiUlBf/617+aHQAX/DkF/w0QXQ7WqInaSW1tLW699VZcvHgRTzzxhNTsOX78eMycORP/8z//g1mzZmHu3Llh97ndbvzud79rdorWqFGjoNFosHfvXlx33XXS8blz5+Lhhx/GypUrIw4mEwQB06ZNg0ajwXPPPYeZM2dK5frb3/4Gq9WK2bNnt+OnUK+9+qgHDx4csWnfYrFg2rRpeOONN/DII49IXQ3/+7//C7vdjptuukm61uFw4OTJk0hOTo5Yy33rrbeQlZWFiRMnRixDaWkppk+fDoVCgc2bN7fYT5+fnw+LxYIhQ4Y0ex1RazCoiS7BmTNnpBqy3W7H4cOHpZXJHnjggbAR0wDw97//HdOnT8eNN96IOXPm4Mc//jHi4uJQVFSEt99+G+fOnWs2qHU6HaZPn45PP/0UK1eulI73798f//Vf/4U//OEPmDRpEm688UZotVrs2bMHGRkZWLVqFXr06IFly5bhsccew8yZM3HdddehoKAAf/3rXzFmzBjccsstHfIZtVcfdXMef/xxXHXVVZgyZYq0MtkzzzyD6dOnY+bMmdJ1u3fvxtVXX43ly5djxYoVYa9x6NAhHDhwAEuXLm2yT3nmzJk4duwYHnroIezYsQM7duyQzqWmpuKaa64Ju37Lli2YM2cO+6ipfURvrRUieWnLymQARACiIAii2WwWhwwZIt5xxx3irl27mrzP4XCIq1evFseMGSMajUZRo9GIOTk54t133y0WFxe3WL4NGzaIgiCIJ0+ebHTutddeE0eMGCFqtVoxISFBnDJlirhly5awa1544QVx4MCBolqtFlNTU8W77rpLrKysDLtmypQp4pAhQxq9fklJiQhAfPrpp1ssZ2fbvn27eNVVV4k6nU7s0aOHuGjRItFms4Vd88UXX4gAxOXLlze6f+nSpSIA8cCBA02+R/DnHekxZcqUsGt/+OEHEYD46aeftse3RyRyrW+iGOHz+TB48GD87Gc/wx/+8IdoF4easGTJEmzbtg35+fmsUVO7YFATxZB33nkHd911F06ePMkdtGSooqIC2dnZePfdd/GTn/wk2sWhLoJBTUREJGOcnkVERCRjDGoiIiIZY1ATERHJGIOaiIhIxrrVgid+vx9nz56FyWTitAkiIooaURRRXV2NjIyMRjvfNdStgvrs2bPIzMyMdjGIiIgAAKdOnWpxo51uFdTBtYBPnTolbT1IRETU2Ww2GzIzM1u1T323Cupgc7fZbGZQExFR1LWmG5aDyYiIiGSMQU1ERCRjDGoiIiIZY1ATERHJGIOaiIhIxhjUREREMsagJiIikjEGNRERkYwxqImIiGSMQU1ERCRjDGoiIiIZk01Qb9u2DXPmzEFGRgYEQcCmTZuavPY3v/kNBEHAmjVrOq18RERE0SCboK6pqcHw4cPx4osvNnvdxo0b8c033yAjI6OTShY9VocbR8/b8e3JShy9YIfV4Y52kYiIqJPJZvesWbNmYdasWc1ec+bMGdx9993YvHkzZs+e3Ukli46zVbV4eP0BbC8ql45NzknGk/PykBGvj2LJiIioM8mmRt0Sv9+PW2+9FQ8++CCGDBkS7eJ0KKvD3SikAWBbUTmWrj/AmjURUTcimxp1S5566imoVCrcc889rb7H5XLB5XJJz202W0cUrd2V292NQjpoW1E5yu1uWAyaTi4VERFFQ0zUqPPz8/GXv/wFa9eubdUm20GrVq2CxWKRHpmZmR1YyvZjc3qaPV/dwnkiIuo6YiKot2/fjvPnzyMrKwsqlQoqlQonTpzAAw88gN69ezd537Jly2C1WqXHqVOnOq/Ql8GsUzd73tTCeSIi6jpioun71ltvxbRp08KOzZgxA7feeisWLlzY5H1arRZarbaji9fuko0aTM5JxrYIzd+Tc5KRbGSzNxFRdyGboLbb7SguLpael5SUYP/+/UhMTERWVhaSkpLCrler1UhLS0Nubm5nF7XDWQwaPDkvD0vXHwgL68k5yXhqXh77p4mIuhHZBPXevXtx9dVXS8/vv/9+AMCCBQuwdu3aKJUqejLi9Xh+/giU292odnpg0qmRbNQwpImIuhlBFEUx2oXoLDabDRaLBVarFWazOdrFISKibqoteRQTg8mIiIi6KwY1ERGRjDGoiYiIZIxBTUREJGMMaiIiIhljUBMREckYg5qIiEjGGNREREQyxqAmIiKSMQY1ERGRjDGoiYiIZIxBTUREJGMMaiIiIhljUBMREckYg5qIiEjGGNREREQyxqAmIiKSMQY1ERGRjDGoiYiIZIxBTUREJGMMaiIiIhljUBMREckYg5qIiEjGGNREREQyxqAmIiKSMQY1ERGRjDGoiYiIZIxBTUREJGMMaiIiIhljUBMREckYg5qIiEjGGNREREQyxqAmIiKSMQY1ERGRjDGoiYiIZEw2Qb1t2zbMmTMHGRkZEAQBmzZtks55PB48/PDDGDZsGOLi4pCRkYFf/vKXOHv2bPQKTERE1AlkE9Q1NTUYPnw4XnzxxUbnHA4H9u3bh0ceeQT79u3Dhg0bUFBQgOuuuy4KJSUiIuo8giiKYrQL0ZAgCNi4cSPmzp3b5DV79uzB2LFjceLECWRlZbXqdW02GywWC6xWK8xmczuVloiIqG3akkeyqVG3ldVqhSAIiI+Pj3ZRiIiIOowq2gW4FE6nEw8//DDmz5/f7F8iLpcLLpdLem6z2TqjeERERO0m5mrUHo8HP/vZzyCKIl566aVmr121ahUsFov0yMzM7KRSEhERtY+YCupgSJ84cQJbtmxpsV1/2bJlsFqt0uPUqVOdVFIiIqL2ETNN38GQLioqwhdffIGkpKQW79FqtdBqtZ1QOiIioo4hm6C22+0oLi6WnpeUlGD//v1ITExEeno6fvrTn2Lfvn348MMP4fP5UFpaCgBITEyERqOJVrGJiIg6lGymZ3355Ze4+uqrGx1fsGABVqxYgT59+kS874svvsDUqVNb9R6cnkVERHLQljySTY166tSpaO5vBpn8PUFERNSpYmowGRERUXcjmxo11bM63Ci3u2FzemDWq5Ecp4HFwH54IqLuiEEtM2eravHw+gPYXlQuHZuck4wn5+UhI14fxZIREVE0sOlbRqwOd6OQBoBtReVYuv4ArA53lEpGRETRwqCWkXK7u1FIB20rKke5nUFNRNTdMKhlxOb0NHu+uoXzRETU9TCoZcSsUzd73tTCeSIi6noY1DKSbNRgck5yxHOTc5KRbOTIbyKi7oZBLSMWgwZPzstrFNaTc5Lx1Lw8TtEiIuqGOD1LZjLi9Xh+/giU292odnpg0qmRbOQ8aiKi7opBLUMWA4OZiIgC2PRNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkTDZBvW3bNsyZMwcZGRkQBAGbNm0KOy+KIh599FGkp6dDr9dj2rRpKCoqik5hiYiIOolsgrqmpgbDhw/Hiy++GPH8n/70Jzz33HN4+eWXsWvXLsTFxWHGjBlwOp2dXFIiIqLOo4p2AYJmzZqFWbNmRTwniiLWrFmD3//+97j++usBAH//+9+RmpqKTZs24Re/+EVnFpWIiKjTyKZG3ZySkhKUlpZi2rRp0jGLxYJx48bh66+/jmLJiIiIOpZsatTNKS0tBQCkpqaGHU9NTZXOReJyueByuaTnNputYwpIRETUQWKiRn2pVq1aBYvFIj0yMzOjXSQiIqI2iYmgTktLAwCUlZWFHS8rK5PORbJs2TJYrVbpcerUqQ4tJxERUXuLiaDu06cP0tLS8Nlnn0nHbDYbdu3ahfHjxzd5n1arhdlsDnsQERHFEtn0UdvtdhQXF0vPS0pKsH//fiQmJiIrKwtLlizBH//4R+Tk5KBPnz545JFHkJGRgblz50av0ERERB1MNkG9d+9eXH311dLz+++/HwCwYMECrF27Fg899BBqampw5513oqqqChMnTsQnn3wCnU4XrSITERF1OEEURTHahegsNpsNFosFVquVzeBERBQ1bcmjmOijJiIi6q4Y1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpKxmAlqn8+HRx55BH369IFer0e/fv3whz/8AaIoRrtoREREHUYV7QK01lNPPYWXXnoJ69atw5AhQ7B3714sXLgQFosF99xzT7SLR0RE1CFiJqi/+uorXH/99Zg9ezYAoHfv3vjHP/6B3bt3R7lkREREHSdmmr6vuuoqfPbZZygsLAQAfPfdd9ixYwdmzZoV5ZIRERF1nJipUS9duhQ2mw0DBw6EUqmEz+fD448/jptvvrnJe1wuF1wul/TcZrN1RlGJiIjaTczUqN999128+eabeOutt7Bv3z6sW7cOq1evxrp165q8Z9WqVbBYLNIjMzOzE0tMRER0+QQxRoZNZ2ZmYunSpVi0aJF07I9//CPeeOMNHDlyJOI9kWrUmZmZsFqtMJvNHV5mIiKiSGw2GywWS6vyKGaavh0OBxSK8AYApVIJv9/f5D1arRZarbaji0ZERNRhYiao58yZg8cffxxZWVkYMmQIvv32W/z5z3/Gr371q2gXjYiIqMPETNN3dXU1HnnkEWzcuBHnz59HRkYG5s+fj0cffRQajaZVr9GWpgYiIqKO0pY8ipmgbg8MaiIikoO25FHMjPomIiLqjhjUREREMsagJiIikjEGNRERkYwxqImIiGSMQU1ERCRjDGoiIiIZY1ATERHJGIOaiIhIxhjUREREMsagJiIikjEGNRERkYwxqImIiGSMQU1ERCRjDGoiIiIZY1ATERHJGIOaiIhIxhjUREREMqaKdgG6O6vDjXK7GzanB2a9GslxGlgMmmgXi4iIZIJBHUVnq2rx8PoD2F5ULh2bnJOMJ+flISNeH8WSERGRXLDpO0qsDnejkAaAbUXlWLr+AKwOd5RKRkREcsKgjpJyu7tRSAdtKypHuZ1BTUREDOqosTk9zZ6vbuE8ERF1DwzqKDHr1M2eN7VwnoiIugcGdZQkGzWYnJMc8dzknGQkGznym4iIGNRRYzFo8OS8vEZhPTknGU/Ny+MULSIiAsDpWVGVEa/H8/NHoNzuRrXTA5NOjWQj51ETEVE9BnWUWQwMZiIiahqbvomIiGSMQU1ERCRjDGoiIiIZY1ATERHJGIOaiIhIxhjUREREMsagJiIikrE2BXV5eTn+9Kc/4YYbbsD48eMxfvx43HDDDXj66adx4cKFjiqj5MyZM7jllluQlJQEvV6PYcOGYe/evR3+vkRERNHS6qDes2cPBgwYgOeeew4WiwWTJ0/G5MmTYbFY8Nxzz2HgwIEdGpqVlZWYMGEC1Go1Pv74Yxw+fBjPPPMMEhISOuw9iYiIok0QRVFszYVXXnklhg8fjpdffhmCIISdE0URv/nNb3DgwAF8/fXXHVLQpUuXYufOndi+ffslv4bNZoPFYoHVaoXZbG7H0hEREbVeW/Ko1TXq7777Dvfdd1+jkAYAQRBw3333Yf/+/W0ubGv985//xOjRo3HTTTchJSUFI0aMwKuvvtph70dERCQHrQ7qtLQ07N69u8nzu3fvRmpqarsUKpJjx47hpZdeQk5ODjZv3oy77roL99xzD9atW9fkPS6XCzabLexBREQUS1q9Kcdvf/tb3Hnnndi7dy+mTZsmhXJZWRk+++wzvPrqq1i9enWHFdTv92P06NF44oknAAAjRozAoUOH8PLLL2PBggUR71m1ahUee+yxDisTERFRR2tVUB84cAC/+c1vkJycjGeffRYvvfQSfD4fAECpVGLUqFFYu3Ytfvazn3VYQdPT0zF48OCwY4MGDcL69eubvGfZsmW4//77pec2mw2ZmZkdVkYiIqL21qqgHjFiBEpLS/Hzn/8cy5Ytw5kzZ6SgTk5Ohlqt7tBCAsCECRNQUFAQdqywsBDZ2dlN3qPVaqHVaju6aERERB2mVX3U8fHxOHbsGADg+PHjEAQB6enpSE9P75SQBoD77rsP33zzDZ544gkUFxfjrbfewn//939j0aJFnfL+RERE0dCqGvW8efMwZcoUpKenQxAEjB49GkqlMuK1wUBvb2PGjMHGjRuxbNkyrFy5En369MGaNWtw8803d8j7ERERyUGr51F/8sknKC4uxj333IOVK1fCZDJFvO7ee+9t1wK2J86jJiIiOWhLHrV61PfMmTMBAPn5+bj33nubDGoiIiJqP60O6qDXX3+9I8pBREREEXD3LCIiIhljUBMREckYg5qIiEjGGNREREQyxqAmIiKSMQY1ERGRjDGoiYiIZIxBTUREJGMMaiIiIhljUBMREclYm5cQpfZhdbhRbnfD5vTArFcjOU4Di0ET7WIREZHMMKij4GxVLR5efwDbi8qlY5NzkvHkvDxkxOujWDIiIpIbNn13MqvD3SikAWBbUTmWrj8Aq8MdpZIREZEcMag7Wbnd3Sikg7YVlaPczqAmIqJ6DOpOZnN6mj1f3cJ5IiLqXhjUncysUzd73tTCeSIi6l4Y1J0s2ajB5JzkiOcm5yQj2ciR30REVI9B3cksBg2enJfXKKwn5yTjqXl5nKJFRERhOD0rCjLi9Xh+/giU292odnpg0qmRbOQ8aiIiaoxBHSUWA4OZiIhaxqZvIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpKxmA3qJ598EoIgYMmSJdEuChERUYeJyaDes2cPXnnlFeTl5UW7KERERB0q5oLabrfj5ptvxquvvoqEhIRoF4eIiKhDxVxQL1q0CLNnz8a0adOiXRQiIqIOp4p2Adri7bffxr59+7Bnz55WXe9yueByuaTnNputo4pGRETUIWKmRn3q1Cnce++9ePPNN6HT6Vp1z6pVq2CxWKRHZmZmu5XH7fXD6vDA6/O322sSERE1JIiiKEa7EK2xadMm3HDDDVAqldIxn88HQRCgUCjgcrnCzgGRa9SZmZmwWq0wm82XVR6nx4ezVbUAAK1aCaNGBYNWCbUyZv72ISKiKLHZbLBYLK3Ko5hp+v7xj3+MgwcPhh1buHAhBg4ciIcffrhRSAOAVquFVqvt8LK5PD64PD5U1ARCO06jRJxWxdAmIqLLFjNBbTKZMHTo0LBjcXFxSEpKanQ8moKhfbHGDY1Kgbi6mrZW1fgPCSIiopbETFDHIrfXD7fXjUoHoFYqYNAoYdCooNcwtImIqHViOqi//PLLaBeh1Tw+P6y1flhrPVAqBOg1ykBtW6OEIAjRLh4REclUTAd1rPL5RdidXtidXgiCUFfTDtS2lQqGNhER1WNQR5koiqhxeVHj8kIQ3NCpFTBoVIjTKKHiYDQiom6PQS0joiii1u1DrduHCoCD0YiIiEEtZ00NRtOpFezXJiLqJhjUMYKD0YiIuicGdQwKHYymEAKhbagLbgUHoxERdSkM6hjnDxmMVs7BaEREXQ6DugtpOBgtuJypQaOCRsXQJiKKRQzqLix0OdPgYLQ4rQo6NUeQExHFCgZ1N9FwMJpBo0KcVgm9moPRiIjkjEHdDfn8IqqdHlQ7PVAEV0bTqmBQKzkYjYhIZhjU3ZxfFGF3eWF3BZYz1auVMGiVMKg5GI2ISA4Y1CQRRREOtxcOtxcAB6MREckBg1oGqp0eVDo8sLu8MGpVSDCoYdKpo12sRoPRjFouZ0pE1NkY1FF2vtqFpzcXIP9EpXRsdHYCfjsjFykmbRRLFs7j86PSEb6cKUeQExF1PAZ1FFU7PWEhrVMrMG9ULwxOM+PoeTtq3V4kxmlkUbsOxeVMiYg6D4M6iiodnrCQ/v3swdiw7zTe/OakdOw/p/bHkAwTaj1+WTWLBzW1nCn31iYiah8M6iiyu7zS1/NG9cKGfaex72QVgPrg/vDAGZRVOzE4zYwL1S5c1KmQHq9HqlkXpVI3zc+9tYmI2h2DOoqM2vqPf3CaWapJA4Hg/vDAGVyb1zOslg0Ao7Li8cD0XKRZ5BfWQZGWMzXW7a2tZmgTEbUaf2NGUYJBjdHZCQAAt88fdm5wmhn9Ukxhteyg/JNVeGZLIaqdns4q6mVzeXyoqHHh1EUHTlc6UFnjhtvrb/lGIqJujkEdRSadGr+dkYvR2QnQNKhlun1+DE4zNwrpoPwTlah0xE5Qh3J7AyPIT1c6cOqiAxdr3HB6fNEuFhGRLLHpO8pSTFo8cu0gVNd6MSo7QRpcplEqGtWyG6oJ6eOOVR6fH1UON6o47YuIKCIG9SV44l8/YEdROfr2iMOAVBMGppnQO8lwyQOmTLrASO4HZ+Ri9eYC7D1RicOlNozIjG/2vjht4x+fXBdPaY3QaV8qhQJxWoY2ERGD+hLkn6jE4XM2HD5nA3AOAKBVKdCvhxED00wYkGbCwFQTeiXqoWjDvOJg7brS4UGt2wuzTo1RWfHIj9D8PTo7AQmG8AAOXTwlOCd7ZGY81EoFzHp1TIW21x8e2gatEkaGNhF1QwzqNvL6/Pj+rLXRcZfXHxLeAQaNEgNSjchNNSE3zYyBaSakmrXNLgoSrF0HPTA9F89sKWy0ctmDM3LDrgtdPCXSnOzgfXJb8aw1vH4/bLV+2BjaRNQNCaIoitEuRGex2WywWCywWq0wm82X9Bp+v4gjpdXYd7ISu45V4EhpNY6V18Dnb93HaNGrkZtqRG6aCblpJgxMMyMxTtPsPcHm7BqXF3FNNGefvOjAba/vAQDcfGUWfjhrCxuIFlrD1qoUMOpiq4YdiVIhIE6rQpxGBb2GoU1EsaMtecQadRspFAIGZ5jRt0ccruqXBCAwivnoBTsKSqtRUFaNI6XVOFnhQKTottZ6sPt4JXYfr68hJxs1daFtwoBUE3JTTTDr6wO0YS07ktDFUxrOyQ6tYa/PPy0tU3qmshbpFh2SjPJbprQ1fH4RtloPbHVLmRo0Khi1DG0i6loY1O1Ao1JgULoZg9Lr/ypyuL0oKrOjoKwaBaWB8D5ndUa8v9zuRnlxBXYWV0jHMuJ1yK0bqJabZkJOqgn6Zpp6QxdPaThaPLjq2eFztphcprQ1fH4R1U4Pqp3hoa1TK7j+OBHFNAZ1BzFoVBieGY/hISO3bbUeKbiDte9yuzvi/WernDhb5cQXBRcAAAoByEo0SDXv3DQT+iYbpX2ig4un7D1R2WhOdrCGffOVWRGXKd2w7zT+vKVQuj5W+7KDIoV2nFYJvZqbhhBR7GFQdyKzXo0xvRMxpneidKzc7pJCOxjgNmfj+dF+EThe4cDxCgc2f18GAFApBPTtERfo70414abRvSCKIg6X2jAyK14K5GANO9IypQ2DOxZ272qLhqGt1wQGojG0iShWMKijLNmoRXJ/LSb0TwYQWCP7nNWJwrL6WndhmR0Od+OVu7x+EYVldhSW2fFByDQxm9OLPslx6JMch5LyGqjqdrGKtExpaBN4VxopHknDnb6Co8cZ2kQkZwxqmREEARnxemTE6zE1NwVAYFeqUxcddcFtR0GpDUXn7fD4Gg9Xc3n9KDpvR9F5u3Rs1cdHYNKp8MWR82HXhgZ3w9p10N4TlVi9uQCPXDsopmvWDfnFxqHNPbWJSI4Y1DFAIQjITopDdlIcpg8JHPP6/Cgpr5FGmReUVqOkvAaRZokFa+PbisrDjv9jd33NOSvBEFaTDrW3bl3xrhTUoRqFdt0ypgxtIpIDBnUna68lPlVKBXJSA6PBr80LHHN5fCiWpokF/nvqYuRpYgBQWBZe625Ow3XFq50eVDk88Iki/KIIp9vXJeZm+0URdpcXdld9aBu0gT21GdpEFA0M6k4UusRnUHv2AWvVSgzJsGBIhkU6VuPyBvq764K7oLQapbbI08Sas7O4HD6/iP4pRticXvzl00LMzsto1Fzelfq0Q0NbCK1pq5VQKBjaRNQ5YmZlslWrVmHDhg04cuQI9Ho9rrrqKjz11FPIzc1t9Wu0x8pkQU6PD2eralt9fbXTg5Uf/hAW0kGjsxM6tQ+4yuEOm99dUFrd6i0zFQKgVSmREa+D2+vHqcrwzyA4L3tYTzNq3L6YnZfdHEEQoFcrpX5tJUObiNqoLXkUM0E9c+ZM/OIXv8CYMWPg9Xrxu9/9DocOHcLhw4cRFxfXqteIZlCHLvEZydqFY5CVaLisMl0qURRRbndj9/GLePObk5dU4wYApQK4fnhP/HDOhmPldvx0dCYGpwU+51heAa0lOnXdQDStEupL3EGNiLqXLhnUDV24cAEpKSnYunUrJk+e3Kp7ohnUh8/ZsPitb5s8/+L/GxG2slm0SH3oTg8cbh/Kql04WeHAkdJqFJ2vhtPT/B7ZQRqlAhqVALurflrZqKx4PDhzYJdoFm+KRqWQQlur4lKmRBRZt1jr22oN7GCVmJjYwpXyYIywd3SoSHtLR0Nz64r7/CJ2lVTg95u+x7g+idhVcrHJ13H7/Gg49Tv/ZBXu/PteTB+Sirye8chNM6FHFwttt9cPt9eNSgegViqkfm3u9EVEl0oe6dBGfr8fS5YswYQJEzB06NAmr3O5XHC5XNJzm83W5LUdLXSJz4Yi7S0tR0qFgGE9LRidnYD+qUZ4fP6wgWRXZMZj/6kqCECTI81tTi/eyz+D9/LPAADi9Wr0StQjJ8WEvJ5mXJGZAEsMfBat4fHV76mtVAT6tfUaJQzs1yaiNojJoF60aBEOHTqEHTt2NHvdqlWr8Nhjj3VSqZpn0qnx2xm5WL25ICysI+0tLWfB7+O5Twtx48heACCF9U2jemH/qSosnTWwxeleQVW1HlSd8eDQGRs2fhsI73SLLrCLWJoJualGDEg1yabF4VL5/PUjyAEXdGolDJpAcLOJnIiaE3N91IsXL8b777+Pbdu2oU+fPs1eG6lGnZmZGZU+6qDW7C0dC4LzqP2iCJ9fhNPjR7xejTWfFeGGET3xX5sONXnvmOwEfHfa2mhJ06YIADLrNiTJTTUhN82I/j2M0HaR5mQ2kRN1P11yMJkoirj77ruxceNGfPnll8jJyWnza0RzMFl3cb7ahd0lF/FlwflGy5ECgRaERVf3w8K1ey/rfZQKAX2S6jYkqat590mOgyrGR11zty+i7qFLDiZbtGgR3nrrLbz//vswmUwoLS0FAFgsFuj1+iiXjoJSTFpMGZCMEZnxWPNZUaPFXR6ckYsLdlfEe7UqAXf/KAcb9p3GiYsOZCfG4XhF5GVRfX4RxRfsKL5gx0cHAxuSqJUC+qcYw/bxzkw0QBFDYRe62xfXICciIIZq1E39knr99ddx2223teo1WKPuXE018zc1p/zmK7Pww1kb9p2sCvs6SKkAEuO0qHK4I25IEolBo8SAVGNdk3ngkWbWxVzocTlToq6lS9aoY+TvCQrR1FSvpkbAh2672XDv7NBtOC9UB2rkKqWAwelmWGs9OF1ZC1+EqrfD7cP+U1bsP2WVjln0auSmGpGbZsKAutp3klHe08QiLWdq4Ahyom4hZoKauo6mRsCHajjQrOE2nMHg/vDAGQzrlYycHkacrqzFxRoXKmrcOFHhwImKyBuSWGs92H28EruP1793slETVuvOTTXBrJfnID9RFFHj8qLG5YUguKGtW2RFr1FCo4rtPnoiaoxBTVGRYtLikWsHhTWNh7aaaBoMCmtYw543qhc+PHAG1+b1xIZ9p/HmNyehUyswb1QvzOmfXLcymgIXa9w4dTGwslpBWTXOVkVeHrXc7ka5vQI7j1ZIxzLidWHhPSDFBL1GXqOyRVGE0+OD0+MDaupHkBs0KujUCjaRE3UBDGqKmoZN49VOj9QkfrjUhpFZ8VINumENO7iGeLCWHdo0HhraIzPjMSjdjHF9k5BgUEMUUbebWP2GJOV2d8Tyna1y4myVE18UXAAQ2JAkK2yamAn9ehhlVYsNXWQl2K/NRVaIYhuDmmQjtEl8ff5p/H72YACBBVUa1rDdPn9YLTu0abxhaAcFt+Ac3TsRo3vXLz1bYXdJNe7Cuh3FbM7w/bcBwC8CxyscOF7hwObvywAAKoWAPslx0ijz3DQTeifFySIUQ/u1ARe0aiXiuMgKUcyJmVHf7aE9R30HeX1+eP2BRT/q/+uH11d/rBt9xO0iOFq81u2FSauGxx+oTb/wxVFputfjc4fC7fPjsQ8OS8+Di6xEGjEe1JotRUVRRKnNiYJSOwpKbYEAL7PD0XDx8iZoVYrANLG0umliqSb0TNDLapqYSqGAXqPkfG2iKOmSo77lSqVUoKXKSTC8pTD3ifAEn9cFup9hLmlqtPiDIQPQDpfaMCIzXjoX2jTesD871N4Tlah0eJoNakEQkG7RI92ix9TcHgACtdPTF2txpG4f74JSG4rO2yNOE3N5/fj+rA3fn61fWz5Oq0Ruav0o8wFpJqSatFELSK/fj2qnv36+dl1NO06jgkIGrQFEVI9B3QmUCgFKRfNp7m9QI/f5RXh84c8jTT/qTkIHoNW6vTDr1BiVFY/8Bk3jLS1NWuNq3KwdStrq0+WFMWT+d1aSAVlJBkwfnAog0JpyvG4L0IK6pvOS8pqIP6calw/7TlaF1fLj9eqwUea5aSYkxmna8Im0j9Am8nLBDb1aKS20IocmfKLujkEtEwqFAI30SzFyqIuiGN7M7gsJ9ZDnXVnD2vYD03PxzJbCsMFnDfuzG2pug4/z1S48vblAamLXqRX4z6n9MSTDhFqPPyy4VcpAE3f/FCOuzUsHALg8Phy9UBPW533yYuRpYlW1HuwquRi2XWiKSRsW3LmpJhh1nfe/qSiKcLi9cLi9KK/bPCS4v7Y6xpdnJYpV7KPugiL2mzc41pV+7MENQkQAz39ejIHppkvqo652erDywx/CQjo4KC30tYKD0lJauZd2jcuLovP2+pp3aTVKbZGniUXSK0EfFtz9U43QR2HzDo1KAaNWhTitiqFNdJm65KYc7aG7BHVrROo39zYYCBeL/eYNQzvSWuM9mgjYhkubtmZQGoCIzeQtsTo8KKjr7w7Wvi/WRJ4m1pBCAHqHbUhiQt8ecZ0ansHQNmhUspqeRhQrOJiMWtRV+81Dm8YfbbCgSksham/Qd93coLRDZ62w1Xqx5rMifH/WinmjemFwmhlnKmuRbtEhyahp9r0sBjXG9knE2D6BaWKiKKLc7pb6uoP/rW5imtix8hocK6/Bx4cCm9OolQL69jBiYMgCLVmJhg7rY3Z7/bjodeNijZvbdBJ1MAY1Nam9+s19YnSa2psaPd4UY4O+6+YGpc0b1QtrPi3E9+dszc7Zbm3zuCAI6GHSoodJi4k5yQACn+1Zq1Oa2x2YJlYNp6dxuTw+UWpWx3eBYzq1Ajkpgf27c1PNGJhmQkZ8+29IErrICrfpJGp/DGq6LIIgQK0U0FJFKhb6zRtuFtLcoLRgbfvmK7Ma9WEDgWlgz31aiPuuyYXL40Ot1wdBACAGdl4z6tQt1vAFQUDPeD16xutx9cAUAIEui5MXHSgMWVnt6IXI08ScHj8OnrHi4BkrgDMAAJNOhQF1c7xz0wLhnWzUtFugNtymUx9cGU2tjPm9womihUFNnSIW5ps33Cyk4TKmkTTVPK5TKzBneE+culiDd/NPSWuSX86gNCDQZdEnOQ59kuMwY0gagECNtqS8RqpRHymrxvHyyPt4Vzu9yD9ZhfyQciTGacL28M5NNcFiuPwNSfwhm4cAgX7t4OYhbCInaj0OJqOYEuw39/r9YYPg2rPfPHRlNKNWjb98VhS2y9fo7ATcNbUvbl+Xj+VzBkuro4W6+cospBq1+LLwAgZlmFs1Cr2p+duXwunxobhupHmw9n26svX7p6eZdRiQVt/nPSDV1Oy0trZSKRQwaJUwsl+buikOJqMuK9hvrkHTzahN9Zt7GzxvSsO+7Ya7fCXU1TZHZyc02Twe3DRk38kqzBvZq9mV0qocHtR6/Hh6c8ElDUyLRKdWYmhPC4b2tEjH7E6vtCFJcLT5+bq9vRsqtTlRanNiW2E5AEAAkJlowIBUo1Tz7t/DCO0lhqzX74et1g9brQcqhQJx2sBgNK2KO34RNcSgpi7nsvrNI6zT3tSgtN/OyMXukosRm8dDB6K1tFKaXxSlkG6PgWlNMepUGJmdgJHZCdKxSodbajIPBnilw9PoXhGB6WsnLzrw6Q/nAdQ1wyfFBWredbXuvslxbe6L9vrDd/xivzZROAZ1B7I63Ci3u2FzemDWq5Ecp4HF0PlLRFJkl9tv3jNej6tze2BEZjzWfFYUNmfbrFNJo7NbWinN5xeRf6Ky2YFpqzcXXNa87aYkGDS4sm8SruybBCDQGnG+2lU/RawuwGtcjTck8flFFF+wo/iCHf86WD9NrH+KUerzHlA3Tay1G5I07NcO7vjF+drUnTGoO8jZqlo8vP4AtheVS8cm5yTjyXl5yIjXR7Fk1BYtzTfPTDTA7xcxKN2EMpsL1lo39GoVtGoFthWVY1R2PI6UVjc5KG10dgKcnkAItnbedv6JSmm/7VGZ8bAY1BABON2tG03eHEEQkGrWIdWsw+Sc+g1JzlbVSs3lhWXVKCqzw+mNPE3sh3PV+OFctXRMr1ZiQGrIbmJpJqSZWzdNzOXxweXxhc3XNmhU0KnZRE7dB4O6A1gd7kYhDQDbisqxdP0BPD9/BGvWXYhCISDZpEOySRd2PMGgwRWZ8fjvbUdx19R+eG1nCb4+Wr+u95V9EvFfswdJC614WjFvOz9kv+0PD5zBoDQz3vjiqLQP97xRvTAyMx5qpQJm/eWFtvT9CQJ6JRjQK8GAHw8KbEji84s4UVEjjTIvKK3GsQs18EYYyFfr8eG701Z8d9oqHTPrVI02JEk2Nt+0HzpfWyEI0KkDTeR6tZK1berSGNQdoNzubhTSQduKylFudzOou4H0eD0MGiWWXzsEDo8XK+YMgSgCDrcPFr0aycZAV4jV4cbknGRkJhqafK0resVLte15o3phw77TGJRhlprKQ9clD17X3IYil0upCKyE1reHEbOGBTYkcXv9OFZur18WtW5DkkiD8G1OL/Ycr8Se4/XdBUlGTdjKarmpJpj1kcvqD9k8BAiMItdpFNCrA8HNvm3qShjUHcDmbDwYJ1R1C+ep67AYWh6XYDFo8OS8PGwtvIAJ/ZOws7ii0TWh219ePaAH3vzmJP5jUh8plP/fuCxs2n9Gal4PDe4/bymU7r2qbyLu/nEO3F4/fGJgXnp7NJkDgXnSA9PMGJhmxvV1x2rdPhSdr0ZBmV3q8z5TFXmaWIXdjZ32Cuw8Wv/9p1t09fO700zISTHCoGn8a8vr98Pu9MNet+Qqm8mpK2FQdwBzC7/s2qNGQ11LRrwePxmahvF9k/DI+4cajW3olVA/rsEtrUJWHz4T+iXjtR3Hpef/Makv/nXwbFi/uF6twLzRmXj+8yJcd0VPvLvnFA6fs7XLdLCm6DVK5PWKR16veOlYtdMjDVI7UlqNwlI7LtgjTxM7Z3XinNWJLwouSN9xVpJBai4fmGZCvx7GRk3fDZvJDcGR5Nxjm2IQg7oDJBs1mJyTjG0Rmr8n5yQj2chmb2osWPt+Yf4IlNvdqHZ6YNKppX8vwX9T2rpQ0oaEk6vBwK4RmfF44fPisGO3T+qLDftOY2R2Ij747iyOlFbjufkj8PrOkrBBbFNyknHfNQPgcPtgc3pg1Krg8flR4/a1S/O5SafG6N6JGN07UTpWYXfV7d9tl/q8rbWRp4mdqHDgRIUD/z5cBqCuGT45TmouH5hmQu/kOCmQ/aIIu8tbNxbABa06MPVLr1Fy3jbFBAZ1Bwg2ZS5dfyAsrCfnJOOpeXnsn6ZmNdVcHvw39e2pKkzonyT9d2dxRVhoA42DG6gP719N6IMXPi/G4h/1x7qvjocNcDNolLj1qt54+t8F+PZkFZ6bPwJ//bIY356swoKremNoTwtstR6kmXVIiFPDoFW3uIBMayQZtbjKqMVV/eo3JCmrdtUvi1o32tzhjjxNrOi8HUXn7fgQ5wAE/ojpn1I/0nxAqgm9EvRQCII0krzSgfpBaWolDFol99kmWWJQd5CMeD2ej1AzYkjTpQr+m6qoceOGET2x6l8/YOGEPgAQFtoAGgU3UB/ewf9GqnX/amIfvL6zBDuLK7D4R/3x+s4S7D9lxfP/byRe31mCl7cek669ZlAKVlw3BB6fH9VON0w6NWo9PthqvdBrlLDo1YjTqqT5523ZRU0QBKSZdUgz6zBlQP00sdMXa6Uad0FpNYov2OGO8EeJy+vH92dt+P6sTToWp1ViQGr9KPPcNBNSTVo43IGBaRU1gX52g0YFvVrJvm2SDQZ1B2rNQCKitgj9N/XMTcNRUePGijlD4BdF3HBFT6z44HtsLypvFNwAGjWZN1frDv06GNihr2XQKPHzsVl4aP0Bqeb99L8L8e3JKvxqYh+MyIzHxRo3MhMMSDUHpl2V292odLgRp1UhXq9GnE4Fb8i2qC1tvKIQBGQlGZCVZMD0wYFpYl6fH8crHGFrmpeU10Rc773G5cO3J6vwbUi/fbxejQFpprDR5olxGlQh8MeCVqWQatwMbooWBjVRjIr0h2Cwf7vG5cFPR/bCo+8fkrpfvj1VhYkhTebN1bpDv25tzTsY2K/vLJGuN2iUeO22MXjx82JsLy6HQaPEryb2wVV9k6BRKZAQpwms2Geq/z78EZZ0Dd1FLXRLVJUy0MTdP8UIoH6a2NELdmmKWHCaWKT4r6r1YHfJRewuqW/+TzFpw+Z3D0g1wqRTS8EdCG0GN3UeBjVRF9IwvEO7X8x6NX4xOhOPffA9Fk7ogzKbs8lad+jXl1Pz/tXEPnj+8yLsLK6AQaOMGOSPXDsYI7PipfnlcVoV7E5v2NK7KQ0Wk2lunXa1UoHBGRYMSq/fkajG5UVRcDexuhHn56zOiJ/h+WoXzle7wkbe94zXSzXugakm9E81Ssua6lnjpg7GoCbqwiLVulfXNZn3TjJgfN8kPPrP76VQCta6dxRXtEvNO/RYaC0cQFhwL9twMOx5aNhHWnq3Neu0B8Pc4/MjwaBBqkWHK/smSc3t1lqP1FxeWLfCWoXdHfG1zlTV4kxVLT4/EtiQRCEA2Ulx4dPEUoww69TQq5XQqhUcUU7thkFN1M00DO8XItS6f7fxIF7bUYLn5o+4rJp36LGGQd4wuBs+D2q49G5wsxu7y4N4gwZurx92l7fJ2nikcSKiKMLt8yMn1YQZQ/xwe/1w+/w4Z3XiyDmb1GxeWFYNW90iKqH8IlBSXoOS8hp88n39hiR9exil8B5UtylJsOatUSq41CldEgY1UTcXqdb9fEhf94AeRozvl4RH3297zbstc70j1ciDthWVo6LGjRq3Dw+vP4D8E5V4bv4I/GlzQaNm9Ya18T/Ny4OgEFBZ44bN6YVZrwrUsM06aBv8BuwZr0deLwvcXj+cHj+cHi9OXKxFQTC8ywLhHdwZLZTHJ0p94vgucEynUiCnbkOS3FQzBqUH5nhrVUopuDUqBRdhoWYxqImokeYGqrWl5t2Wud6RauShfH5R2uymYX94U7Xxw+dssLt9WP7PQ2FN7o/MHoSRdTuXBWvlDrc3rIYerJFP6GfAqKwE1Hp8gYfbh5MXa8K2AS0+b4fH13i4mtPrx8EzNhw8YwNwBgBg1KqQGwzvNDMG1u0mptMEwlutUkCtFKBRsulcTqK5bTGDmoha5VJq3q/tKMFrt42BQhBanOsdqUYeyucXpddtbW38qXl5jUI6WPP+w0c/SLXy4Ij14NfBKWbHy2ukKWZKAfB6A7VsjVKBMb0T8aPcFGjUSri9PpSUh4d3SXlNxA1J7C4v8k9WIT9kmlhinCawFWhIn3e8QQO1UlH3EKBSBprPlQoBaqXAEO8AVocbFTVu+EQRKkGQ/jhLjNPg0U3fY3txdLYtZlAT0SVrqeYdXOjnhZCFWlb8M/Jc70hzv4Mm5yRLO2UBra+Np5i1jUahN5xW1popZmsXjoHfDzz/RVHY603KScaTNw5DmjkOOpUCFr0a/VOM+Lk2E0pBwA+lgSbzs1W1OF7haHKk+cUaN745dhHfHKufJpZqbjhNzARjSFt9YK/0QM07MLhOgFpRH+rdWTBwvXXz8h0uLywGTbO14LNVtXj0/UO4eVw2dGoFXviiWPq38e3JyhbHTnSkmAvqF198EU8//TRKS0sxfPhwPP/88xg7dmy0i0VEdZpa6Cd4rKm53sEmdAHAjgb9zE/NywtbPrS1tXG7M3zJ0UjTykK/bmqKWfF5Oz46eK7RL+vtReVY8c/vsXzOEPy+riVBr1Zg9U3Dse7r49hdUgmdWoFHrx2M9fmnw4I6Xq+GIACVjsi76ZXZXCizubCtsL4Wl5mgR78eRvRM0CPVrMXANDNSzdpGa68LggCVQoA6JMBVSiHwUMi7TzxSyMYbNNJAwYaDCBs2QwcD9xdjs1o1gyD4ng+vP4DhmfE4Z60N+1m3NHaiM7Ytjqmgfuedd3D//ffj5Zdfxrhx47BmzRrMmDEDBQUFSElJiXbxiKgVWprr/czProDd6W209G5w3+5tbaiNG3Xhc7giTSsL/bqpKWYAItb0ASA33YxlGw5ge9352yf1xVu7T2J3SWCv7V9N6IN/fncmrKkbAJxeH1bdMBS2Wi/+/s0JHL1QA4UAGDSqug1EGjtVWYtTlfXbhAoIbAXaO9mA3DQzshL1SIzTwqIPbFsKAFUOT6MtTZPiNEiI00ClUMDh8sBa64UIQKEAXB4fEo1apBi1zY6yDwYkgGbPh76GzelpdnR+pJAN7a4I7aKIFMBxGqUUuK2ZQRBUbndje1E5bruqd6OfdUtjJzpj2+KYCuo///nPuOOOO7Bw4UIAwMsvv4yPPvoIr732GpYuXRrl0hHRpYhUA081R74uuDFJsPYNBH6pNlUbr3H5pNHpQORpZaFftzTFLJKW+stHZSfgr18ebXTfL8Zk4VRlLb4suICjF2oAAPPHZeHwGSu+PWVt9j2DRABnrU6ctTrxVcjmKoIAXNUvCaVWJ2YPS8f2ogthrzk6OwEPzsiFCOAvnxZidl4GNuw7HbYt6oR+iVgybQBW/7sQB05X4amf5mHVx0ek5vnQVefyT1ZGDNBrBqXgkWsH4782BbZubW50/qobh2HphoONQrap7opQwQB+5NrBUuC2pRZsqwvbSD/rlsZOdMa2xTET1G63G/n5+Vi2bJl0TKFQYNq0afj666+jWDIi6iyhm93UuDx4Yu4wuH1+1NTV4CLVxp+4YRh+t/Fg2FSynU183dIUs0ha6i9vKugn5SRDFEX8eUuRdGxwmjlsy9FQ90/LwZ8/DVzbw6RFhd0VcbAaAIhifa3wuQiBtfdEJb45VoFtheUYmGFqFNIA0LuHEas+PoJ9J6tw85VZWLvzeNg1N4zsiT9tPoJ9J6pw24TeeGXrUew5Xhn2Gv1TTVi64YD0R0Rzc+VPVDgihmxT3RUNbSsqR1Vt04EbqmEt2FwXtpF+1i2NneiMbYtjZsRBeXk5fD4fUlNTw46npqaitLQ04j0ulws2my3sQUSxzWLQoF+KEXmZCchOjkNOqglXZCWgbw8jUs069Esx4oqsBPRLMcJi0CArKQ7P/OwKfHLvJEwd0AN/vH4oJuUk47UdJVg4oQ8m9E+Svg5OMQv17amqiMeD4vXhNarW9p+7vH64G0zpMuubrp2ZQs4t+XGOFNI3jujZ5D3NeXnrMeSfrMSZi7WNQhoI/NEQPB76ddj5E4FjOT2MjUIaAHrF68Nq+r2TDE12ITQVsk11V0QSpwl0dbS1Fpxs1GByTnLEn3Xov5NQnbltccwE9aVYtWoVLBaL9MjMzIx2kYgoClLNOgxMN2N070T06WHEC/NH4IPFE5Fi1OCJucPw/qIJSDFqMLFfMv44NxDkQa/tKEH/FCPu/lFOo1/Wk3KSkZ1kwOSQ64M1sNDnkyKEvFalaBQoBk3T66JqQkZyu331gTWsl6XRtT8ZlgYgsMFIU2o9gYF2XxZeiHj+8Ln6ik3o+0U6Ful8pOPVEVZ5qz8XCGqnJ3wAYOi4t5YCOE6jkgK3qT+sItWCg90qBedsSLfosfjq/tL9DrcP9/zjW1ybl4HNSyZh039ehc/un4Ln549AeidMzQJiqOk7OTkZSqUSZWVlYcfLysqQlpYW8Z5ly5bh/vvvl57bbDaGNRG1uAVtpClmAPDE3GGocXulDURSTNqwvvNIo9df21GCF/7fCABC2DzcMpsTAoRWT1HzQ8T4von4+tjFsMDSRJiKNaFfMv51sBT3/jgH/7Xp0CV9Rm/uqm+C37DvTKPzoe8bqQyRjjd1HQAcOGPFqOwE5J+sxMiseKkGv724XHq+tfACRmfHY29dTT7UpP5JiDeo8eS8PCx//5C0V3vDvvCmasEZ8XppHXy/KOKP1w9FrcfX6GcdDYLY2p3cZWDcuHEYO3Ysnn/+eQCA3+9HVlYWFi9e3KrBZDabDRaLBVarFWZzhNEqRESXKDiyOTh6PTiyOfS5rdYDa60HBo0SRo0KSoWAU1W1jXYYW7uzpNEUtT/Ny4MfwNL1BzCslwX5JyrxzbGL+OX4bBw6Yw1rmr75yiz8cNaGQRlm/HDWFrFpe97InvjmWAUUgoBSmzPiymrN6ZMcB4/Pj9OVtfjF2EwUllY3ep+br8zCkbM2acR7sFyRynNV30Qs/lEOXvi8CD8JGdymUyvw+9mDsXHfaXx/zobfzx7cqE89ODguxayDSiGg1u2V1mgXEGgyT4zTINWsRUJc060MnakteRRTQf3OO+9gwYIFeOWVVzB27FisWbMG7777Lo4cOdKo7zoSBjURyY3V4UaVwyPV1OMNaph06ohT1ILXV9S4IQJY8c/vkX+iEs/+/Aq8trMEu+pGZOvUCjxxwzD8395TEUd0j85OwEMzcuEH8NynhfhJXgbe2XOybqnTAJVCgLep0WoRpFt08Pj8KA/ZgeyqvolYdHV/PPtpEfaeqAwL3fwIQdvDpEW104Mqhwd+MbB9qdPjh0mngkGjQo3bi1q3FyatGh6/Hw63D3FaFRLqPrPWUAjh88nVysDCMaHPO2PVty4b1ADwwgsvSAueXHHFFXjuuecwbty4Vt3LoCairiRYi69xeWDRa6QR8FqVEgaNArUeH8psrrDQM+rCgy1SMBp1KsTrVXB4/Nh/shKHzthQfMGOUxdrpb7tlgR3ExuSbkZWkh4pJh1MOhXMOrUUujUub5uDtjMEV31T1y3Zqgp5rlO3sL9qK3XpoL4cDGoi6m68Pj8cdZuJONw+XM6vfL8o4nRlrbSm+ZHSahRfsMPdwmjsoDiNEjmpprpNSQIbkqSatTGzbrlKoUBWkqFdXotB3QQGNRF1Z6IowuH21TUh++BrQ9N2U3x+EcfLa6RtQI+UBjYkae1rx+vVGJBmwsC6Nc1z00xIjIvOoK2WMKg7AYOaiKhebV1oO1w+eP2tqxW3htvrx9EL9kB41wX4yQoHWhs2PYxaaRexAXVbgsqhaZxB3QkY1EREkTnrpiI53N5WN2W3hcPtRVFZeHg3tZtYJD3j9RiQasTAulp3TqoJ+nbqL24tBnUnYFATEbUs2K/tcAX2Y+6omLDWelBYVl3f511WjYqQUePNUQhAdlKctA1obpoRfZON0LSwKMrlYFB3AgY1EVHb+P1iILTbsV+7OeV2l1TjDga4rZkVzUKpFAL69ogLNJvXBXh2Uly7bevJoO4EDGoiossTbCKvcXnhaWLp0PYkiiLOWZ3SKPOCsmoUldlbPU1Mp1Kgf4pR6vPOTTOhZ7z+kkaaM6g7AYOaiKj9eHx+OFyBAWkN1+juSD6/iFOVDhSGhHfxeXurV1czalXITTViQF1wD0w1oYep5WliDOpOwKAmIuoYXp8fdpcXdlfHDEZricfnx/HyGmmKWEHdNLHWttQnGNSBvu6QaWIJDdb2ZlB3AgY1EVHHc3l9Uk07GqEd5PT4UHzejsK68C4ss+PkRUer708xaaXm8tw0EwanWzA4o32yg0HdBAY1EVHn8vr8qHEHVkbryBHkrVXj8kojzY/U/bfM5mr1/X17xOHnozPx6yn9LqscbcmjmNnmkoiIYo9KqYBFr4BFr4bfL6LWU7/Iij8KoR2nVWFEVgJGZCVIx6ocbmmUebDZvNLhiXj/sQs1ze6r3REY1ERE1CkUCgFxWhXitCqIxkBo212dM+2rOfEGDcb1ScK4PkkAAiPNL1S7cKSsGoXSAi122F2BgM7rZenU8jGoiYio0wmCAIMmsH2lKNbVtF2B+drRDO1g2VLMOqSYdZic0wNAILzLbC5csLswpndip5aHQU1ERFEVGtqAFk5PYJ62w+3rlLnarSEIAnolGHBV/+ROf28GNRERyYpOrYROrUQSAht8ONxe1Lh9cHXiXG05YVATEZFsaVQKaFQaxBvqR5AHlzPtLhjUREQUE0JHkPv8ojR6XA7TvjoSg5qIiGKOUiHArFPDrFPXbxxS168djWlfHYlBTUREMU2hEGDUqmDUBkaQO9yBudrRnvbVXhjU7cDqcKPc7obN6YFZr0ZynAaWBmvEEhFRxxOEkLnaoginxy/N1fb65TGCvK0Y1JfpbFUtHl5/ANuLyqVjk3OS8eS8PGTE66NYMiKi7k0QBOg1Sug1SgCQ5bSv1lBEuwCxzOpwNwppANhWVI6l6w/A6nBHqWRERNSQTq1EklGLzEQDeiboEW/QQK2UfwyyRn0Zyu3uRiEdtK2oHOV2N5vAiYhkSKtSQqtSIjFOI/u52gzqy2BzRl60Pai6hfNERBR9Tc3Vdnr8spj2xaC+DBa9Got/1B8jMuPh8vqhUyux72QlXttRAofbB5NOHe0iEhFRGzScq+1wB/q0o7nACoP6MmiUCnx7shIvfF4sHZvQPwnPzR+Bd3afRLKRzd5ERLFKqRBg0qlh0qkhiiJc3ugMQGNQXyKrw41lGw9iZ3FF2PGdxRUQADw1L4/900REXYQgCNCplVF5b/kPd5Op5gaS7SiugNMTO0P/iYhIvhjUl4gDyYiIqDMwqC+RuYWBYhxIRkRE7YFBfYmSjRpMzom8gfjknGQOJCMionbBwWSXyGLQ4Ml5eVj+/iHkppulKVoJBjWyEg0cSEZERO2CQX0ZMuL1WD5nCJZtOBA2RYtrfRMRUXth0/dlCE7R2t5gihbX+iYiovbCoL4MrVnrm4iI6HLERFAfP34ct99+O/r06QO9Xo9+/fph+fLlcLujE4RWhxtHz9tRUdP8+3OKFhERXa6Y6KM+cuQI/H4/XnnlFfTv3x+HDh3CHXfcgZqaGqxevbpTyxK6//TfFoxu9lpO0SIiossVE0E9c+ZMzJw5U3ret29fFBQU4KWXXurUoG64//S3p6owoX9So2VEAU7RIiKi9hETTd+RWK1WJCYmdup7NuyTfm1HCRZO6IMJ/ZPCrpuck8y1vomIqF3ERI26oeLiYjz//PMt1qZdLhdcLpf03GazXdb7Nlw21OH24Z5/fItfTeyDX03oA5NOjaQ4DZKNGoY0ERG1i6jWqJcuXQpBEJp9HDlyJOyeM2fOYObMmbjppptwxx13NPv6q1atgsVikR6ZmZmXVd5Iy4Y63D688Hkxbl+3F0lxGvRLMTKkiYio3QiiKIrRevMLFy6goqJx/26ovn37QqMJBN/Zs2cxdepUXHnllVi7di0Uiub/zohUo87MzITVaoXZbG5zea0ON+7+x7fYFmFK1uScZDw/fwRDmoiIWmSz2WCxWFqVR1EN6rY4c+YMrr76aowaNQpvvPEGlMq27wvalg+mKWerarF0/YGwsA72SadzJTIiImqFLhfUZ86cwdSpU5GdnY1169aFhXRaWlqrX6c9ghoI1KzL7W5UOz0w6dTskyYiojZpSx7FxGCyLVu2oLi4GMXFxejVq1fYuWj8nWExMJiJiKhzxMT0rNtuuw2iKEZ8EBERdWUxEdRERETdFYOaiIhIxhjUREREMsagJiIikjEGNRERkYwxqImIiGSMQU1ERCRjDGoiIiIZY1ATERHJGIOaiIhIxhjUREREMhYTm3K0l+Da4DabLcolISKi7iyYQ63Zs6JbBXV1dTUAIDMzM8olISIiCuSSxWJp9pqY2I+6vfj9fpw9exYmkwmCIFzWa9lsNmRmZuLUqVOXtbd1V8HPIxw/j3D8PMLx8wjXHT8PURRRXV2NjIwMKBTN90J3qxq1QqFotJ/15TKbzd3mH1Zr8PMIx88jHD+PcPw8wnW3z6OlmnQQB5MRERHJGIOaiIhIxhjUl0ir1WL58uXQarXRLoos8PMIx88jHD+PcPw8wvHzaF63GkxGREQUa1ijJiIikjEGNRERkYwxqImIiGSMQX0JXnzxRfTu3Rs6nQ7jxo3D7t27o12kqNm2bRvmzJmDjIwMCIKATZs2RbtIUbNq1SqMGTMGJpMJKSkpmDt3LgoKCqJdrKh66aWXkJeXJ82PHT9+PD7++ONoF0sWnnzySQiCgCVLlkS7KFGzYsUKCIIQ9hg4cGC0iyU7DOo2euedd3D//fdj+fLl2LdvH4YPH44ZM2bg/Pnz0S5aVNTU1GD48OF48cUXo12UqNu6dSsWLVqEb775Blu2bIHH48H06dNRU1MT7aJFTa9evfDkk08iPz8fe/fuxY9+9CNcf/31+P7776NdtKjas2cPXnnlFeTl5UW7KFE3ZMgQnDt3Tnrs2LEj2kWSH5HaZOzYseKiRYuk5z6fT8zIyBBXrVoVxVLJAwBx48aN0S6GbJw/f14EIG7dujXaRZGVhIQE8X/+53+iXYyoqa6uFnNycsQtW7aIU6ZMEe+9995oFylqli9fLg4fPjzaxZA91qjbwO12Iz8/H9OmTZOOKRQKTJs2DV9//XUUS0ZyZLVaAQCJiYlRLok8+Hw+vP3226ipqcH48eOjXZyoWbRoEWbPnh32e6Q7KyoqQkZGBvr27Yubb74ZJ0+ejHaRZKdbrfV9ucrLy+Hz+ZCamhp2PDU1FUeOHIlSqUiO/H4/lixZggkTJmDo0KHRLk5UHTx4EOPHj4fT6YTRaMTGjRsxePDgaBcrKt5++23s27cPe/bsiXZRZGHcuHFYu3YtcnNzce7cOTz22GOYNGkSDh06BJPJFO3iyQaDmqgDLFq0CIcOHWJ/G4Dc3Fzs378fVqsV7733HhYsWICtW7d2u7A+deoU7r33XmzZsgU6nS7axZGFWbNmSV/n5eVh3LhxyM7Oxrvvvovbb789iiWTFwZ1GyQnJ0OpVKKsrCzseFlZGdLS0qJUKpKbxYsX48MPP8S2bdvafbe2WKTRaNC/f38AwKhRo7Bnzx785S9/wSuvvBLlknWu/Px8nD9/HiNHjpSO+Xw+bNu2DS+88AJcLheUSmUUSxh98fHxGDBgAIqLi6NdFFlhH3UbaDQajBo1Cp999pl0zO/347PPPuvWfW4UIIoiFi9ejI0bN+Lzzz9Hnz59ol0kWfL7/XC5XNEuRqf78Y9/jIMHD2L//v3SY/To0bj55puxf//+bh/SAGC323H06FGkp6dHuyiywhp1G91///1YsGABRo8ejbFjx2LNmjWoqanBwoULo120qLDb7WF//ZaUlGD//v1ITExEVlZWFEvW+RYtWoS33noL77//PkwmE0pLSwEE9pzV6/VRLl10LFu2DLNmzUJWVhaqq6vx1ltv4csvv8TmzZujXbROZzKZGo1XiIuLQ1JSUrcdx/Db3/4Wc+bMQXZ2Ns6ePYvly5dDqVRi/vz50S6arDCo2+jnP/85Lly4gEcffRSlpaW44oor8MknnzQaYNZd7N27F1dffbX0/P777wcALFiwAGvXro1SqaLjpZdeAgBMnTo17Pjrr7+O2267rfMLJAPnz5/HL3/5S5w7dw4WiwV5eXnYvHkzrrnmmmgXjWTg9OnTmD9/PioqKtCjRw9MnDgR33zzDXr06BHtoskKd88iIiKSMfZRExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQE3VRU6dOxZIlSwAAvXv3xpo1a6JaHiK6NAxqom5gz549uPPOO1t1LUOdSF641jdRN8C1k4liF2vURF1ATU0NfvnLX8JoNCI9PR3PPPNM2PnQWrIoilixYgWysrKg1WqRkZGBe+65B0CgufzEiRO47777IAgCBEEAAFRUVGD+/Pno2bMnDAYDhg0bhn/84x9h7zF16lTcc889eOihh5CYmIi0tDSsWLEi7Jqqqir8+te/RmpqKnQ6HYYOHYoPP/xQOr9jxw5MmjQJer0emZmZuOeee1BTU9POnxZRbGFQE3UBDz74ILZu3Yr3338f//73v/Hll19i3759Ea9dv349nn32WbzyyisoKirCpk2bMGzYMADAhg0b0KtXL6xcuRLnzp3DuXPnAABOpxOjRo3CRx99hEOHDuHOO+/Erbfeit27d4e99rp16xAXF4ddu3bhT3/6E1auXIktW7YACOxDPWvWLOzcuRNvvPEGDh8+jCeffFLah/no0aOYOXMm5s2bhwMHDuCdd97Bjh07sHjx4o762Ihig0hEMa26ulrUaDTiu+++Kx2rqKgQ9Xq9eO+994qiKIrZ2dnis88+K4qiKD7zzDPigAEDRLfbHfH1Qq9tzuzZs8UHHnhAej5lyhRx4sSJYdeMGTNGfPjhh0VRFMXNmzeLCoVCLCgoiPh6t99+u3jnnXeGHdu+fbuoUCjE2traFstD1FWxRk0U444ePQq3241x48ZJxxITE5Gbmxvx+ptuugm1tbXo27cv7rjjDmzcuBFer7fZ9/D5fPjDH/6AYcOGITExEUajEZs3b8bJkyfDrsvLywt7np6ejvPnzwMA9u/fj169emHAgAER3+O7777D2rVrYTQapceMGTPg9/tRUlLS4udA1FVxMBlRN5OZmYmCggJ8+umn2LJlC/7zP/8TTz/9NLZu3Qq1Wh3xnqeffhp/+ctfsGbNGgwbNgxxcXFYsmQJ3G532HUN7xcEAX6/HwCg1+ubLZfdbsevf/1rqb88VFZWVlu+RaIuhUFNFOP69esHtVqNXbt2SYFWWVmJwsJCTJkyJeI9er0ec+bMwZw5c7Bo0SIMHDgQBw8exMiRI6HRaODz+cKu37lzJ66//nrccsstAAL9zYWFhRg8eHCry5mXl4fTp0+jsLAwYq165MiROHz4MPr379/q1yTqDtj0TRTjjEYjbr/9djz44IP4/PPPcejQIdx2221QKCL/77127Vr87W9/w6FDh3Ds2DG88cYb0Ov1yM7OBhAYIb5t2zacOXMG5eXlAICcnBxs2bIFX331FX744Qf8+te/RllZWZvKOWXKFEyePBnz5s3Dli1bUFJSgo8//hiffPIJAODhhx/GV199hcWLF2P//v0oKirC+++/z8Fk1O0xqIm6gKeffhqTJk3CnDlzMG3aNEycOBGjRo2KeG18fDxeffVVTJgwAXl5efj000/xwQcfICkpCQCwcuVKHD9+HP369ZPmX//+97/HyJEjMWPGDEydOhVpaWmYO3dum8u5fv16jBkzBvPnz8fgwYPx0EMPSbX3vLw8bN26FYWFhZg0aRJGjBiBRx99FBkZGZf2oRB1EYIoimK0C0FERESRsUZNREQkYwxqIiIiGWNQExERyRiDmoiISMYY1ERERDLGoCYiIpIxBjUREZGMMaiJiIhkjEFNREQkYwxqIiIiGWNQExERyRiDmoiISMb+P11luHMsnLnMAAAAAElFTkSuQmCC", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "fdc(deceptive_sample)" ] }, { "cell_type": "markdown", "id": "c1dd7620", "metadata": {}, "source": [ "## On NK instances" ] }, { "cell_type": "markdown", "id": "ce31e441", "metadata": {}, "source": [ "Note: computing the D file can take a while..." ] }, { "cell_type": "code", "execution_count": null, "id": "25858c40", "metadata": {}, "outputs": [], "source": [ "%cd ../../.." ] }, { "cell_type": "code", "execution_count": null, "id": "4b8aedfb", "metadata": {}, "outputs": [], "source": [ "nk_k1 = load_sample('nk_n14_k1')\n", "nk_k2 = load_sample('nk_n14_k2')\n", "nk_k4 = load_sample('nk_n14_k4')" ] }, { "cell_type": "code", "execution_count": null, "id": "83ad976b", "metadata": {}, "outputs": [], "source": [ "fdc(nk_k1)" ] }, { "cell_type": "code", "execution_count": null, "id": "b4643606", "metadata": {}, "outputs": [], "source": [ "fdc(nk_k2)" ] }, { "cell_type": "code", "execution_count": null, "id": "c241fdd9", "metadata": {}, "outputs": [], "source": [ "fdc(nk_k4)" ] } ], "metadata": { "kernelspec": { "display_name": ".venv", "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.12.3" } }, "nbformat": 4, "nbformat_minor": 5 }