{
"cells": [
{
"cell_type": "markdown",
"metadata": {},
"source": [
"I'm interested in a wide variety of problems involving modeling, strategy, and simulation. I'd heard that it takes seven shuffles to randomize a deck of cards, and I finally came across the article that is the source of this urban legend - Bayer and Diaconis (1992). For an excellent discussion of the problem, see How to Win at Poker, and Other Science Lessons."
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"As you might expect, the measurement of randomness is key. Trefethen and Trefethen (2000) used a different measurement and determined that at six shuffles, the information content of deck reaches a value near its minimum. Also importantly, Bayer and Diaconis argue that the deck remains essentially ordered until the fourth shuffle, when randomness increases sharply. Trefethen and Trefethen argue that by the information content definition, the randomness increases from the first shuffle, and continues more or less linearly until the fifth shuffle."
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": [
"from riffle import riffle, count_rises\n",
"import numpy as np\n",
"import matplotlib.pyplot as plt\n",
"%matplotlib inline"
]
},
{
"cell_type": "code",
"execution_count": 2,
"metadata": {},
"outputs": [
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAAAagAAAEsCAYAAACWkycOAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADh0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uMy4yLjIsIGh0dHA6Ly9tYXRwbG90bGliLm9yZy+WH4yJAAAgAElEQVR4nO29f5xdVXkv/H1mckLOBJMhEoGMJMEfTRCjGeBabqNegq1RURx+2GixSl/rrdZayeWmhkoLVCtT03uxSu9rL+obq6ihQkckvUauCaXSAiZmIEQSfxHAg4FgMgnJTMiZmfX+sfee7Nmz1tprrb3W3uucWd/PJ5/MzNnn7H2e77PW86znedaziDGGgICAgIAA39BR9QMEBAQEBATwEAxUQEBAQICXCAYqICAgIMBLBAMVEBAQEOAlgoEKCAgICPASwUAFBAQEBHiJYKBiENGfE9EXq34OVRDR/yGi90te/wIR/YWje7+KiLYpXnsnEb3FxXMEiEFEVxLR9ySvv4GI9ji8//1E1Ktw3SVE9M2C9/oUET1HRPuKfI5rENENRPS1Au//MBE9Q0RHiOjFRLSCiH4a/95HRPcS0R/afObKwRhrqX8AbgDwtYKfcSGAX1b9XSzK5CoAPyjxfncAeLfita8DsL1qGVXIjRe6BoABeEVJ93oHgO9qXP8ogNcY3utMACMAXhL/XupY0HxW47kLQC3+nq9N/e37AD6W+v1eAH9Y9fe0+W/araCIaEbVz9DKIKIzAKwEMKByPWPsIQBziOh8pw9mARShI/O3oC/6+BCAr2pc/w0A/9XwXosA/Jox9qzh+yfBY75PAzALwK7U3xZlfm8/VG0hJR7DxwE0ADwPYA+ANwF4C4DjAJoAjgB4OL72DwA8Fl/7CwB/lPqcCwH8Mv68fQD+CZEnMh5/xhEAC5DybgAsRuRxvh/AkwCeA/CJ1GfWAXwFwMH4vn8GiZccf9afxs/2HID1ADri1zoAXAfgCQDPAvhHAHPj12YB+BqAXwMYAvBDAKelvSUAZwM4BmAs/i5D8esbAHwq9QwfBPAzAAcA3AVgQeb5PgTgp/F3+nsAJPgu7wPwf1O/vzz+zHPj3xfE3/HC1DW3Arhe8HmPAXh76vcZ8fvPlX1/zuecCeBOAPvj62+J/z7Ba4bbGSk5/jWA+2O9eEX8+kdieTweX/d2AIPxc/w7Uh4/gL0A/juARwAcArAxfvbZ4Oga59k3APgCgHsQ6fC/AliUev234u9+KP7/t1KvXYVIr54H8DiAK1N//0H8833xdzoaP8NqZFZ2iPTo3vj77QJwSeb5/h7Apvg+DwJ4uYCHmfF3fmn8++kAhgG8OHXNeTFPtfj3FYmcBZ+5DsDP43v/GMCl8d9/OyPfjeCPhZMA/C2isfxMLOu6YH74Kuf+VwH4QfwZB2M5v1Vn7krp4u2IxvjzsZzPz4zDV6R+3wDgUwB+I+aOxd9rSyyP8fj7H4m/471IraAA/D+IxtdBAJsR6xQAAnAzovnmECK9fbXrOd3kX+UPICB4CYCnEA9mRJPKy1Mkfy1z/cWIJkoC8F/iAZFMmBcCGAXwNzGJdXDCLuAbqFvj618L4AUAZ8ev9yOaRE4B8NKY4DwDtRXAPAALAfwkUaRYiX4G4GUATkY0yX41fu2PAHwHQBeATkQDe0782r2pz7gKmbAGUgYKwEU4MemfBODzAO7LPN/dALrj59sP4C2C77IewN9n/vbBeCB0xQPhbzOv/zcAdwo+7y8B3Jbhcnfe9898RieAhxENutmIjMPrefoCvoF6EsA5iIxjLX79npiveiy3ZwH8Znyv9yMySifFn7EXwEOIjPO8WBYfSumfNMQXc/U8gDfG/PwdThiXeYgmmN+Pn+898e8vjr/rYQBL4mvPAHAOTycwdfKbeK74O/8MwJ8jMjAXxc+zJPV8BxCFa2cAuA3ANwXf5RwARzN/+xcAH079fjOAz6d+nxc/3xRu49ffFcu2A5FxPQrgDJ58s987/ttnETll8wC8CJFO3SSaHzj3vwqRU/zBmP8PA3gaHCcO+XPXMQBviz/nJgAPSDjagBNjeDFSepvSu99O/X4vTswJfTGnZ8ecXQfg3+PXVgHYjmi8U3zNGTpzdFn/fA3xjSFSllcRUY0xtpcx9nPRxYyxTYyxn7MI/wrgewDekLpkHJEH/wJjbETjOW5kjI0wxh5GNAG+Nv777wL4NGPsIGPslwA+p/BZf8MYO8AYexLRgHlP/PcrAfxPxtgvGGNHAFwL4N1xqKGJaCJ6BWNsjDG2nTF2WOP5E1wJ4MuMsR8xxl6I7/GfiWhx6pp+xthQ/HxbASwXfFY3oslrAoyxWxGtNh5ENEl+IvOe5+P38fB1AJcQUVf8++/FfwPUv//rEE1gaxljRxljxxhjPxDcj4cNjLFdjLFRxlgz/ttNMV8jiCamf2CMPRg/x1cQOSwXpD7jc4yxpxljBxBNgCL5ibCJMXZfzM8nEPFzJiKD/VPG2Ffj5/sGgN2I8jxApNuvJqI6Y+xXjDGTkM8FiJyjfsbYccbYFkQOy3tS19zJGHuIMTaKyEAp6weiaMN7AYCIOuPPTYcAk+u5OsIY+6dYtuOMsY2IdO11Kl+MiAgRf2tiPp8H8GkA705dpjI/PMEYu5UxNhZ/nzMQhd2yyJu7fsAY+5f4c76KE3OKbfwRIh1+LObs0wCWE9EiROPqRQCWIjKyjzHGfuXoOQrBSwPFGPsZgKsReRzPEtE3iWiB6HoieisRPUBEB4hoCJGHcmrqkv2MsWMGj5KuChpGNIiBaDJ8KvVa+mcR0tc8EX9G8llPZF6bgUj5v4poRfJNInqaiD5DRDX1x5/ApHvEhvDXAHpS14i+axYHESl3FrcCeDUiz/iFzGsvQhQ6moKY68cAvCM2UpfghIFS/f5nIppARgXPnAcef+m/LQJwDRENJf/ie6Z1UlV+uc8Q83Mg/vysfiD+vYcxdhTRiuJDAH5FRJuIaKnmfRHf4ynG2Hj2Hqnfi+jHtxFN2C8D8DsADrEoN5kguZ6rI0T0PiIaTMn+1Zg8vmWYj2gFvj31/u/Gf0+gMj9MfH/G2HD84xQZKMxdWTnOcpT3WgTg71Lf+QCi1VJP7IDcgihs+wwR/W8imuPgGQrDSwMFAIyxrzPGXo9I0AzREhzxzxMgopMQVZX9LaL8RDeikAKlPy778QUf71eIQnsJzlR4T/qahYhCBIj/X5R5bRTAM4yxJmPsRsbYqxDlId6OKAeURd73mXQPIpqNaGXSUHjuLB5BFBOfABGdjGhV+CUANxDRvMx7zka0AhXhG4i86ncC+HE8yKHx/Z8CsFAw0I8imqASnM65hie/9N+eAvDXjLHu1L+ueDWTB1Vdm9CPWJ7zEPGW1Q8g0pEGADDGNjPGfgeRR78bkaOgi6cBnJkpEJm4hyZ+imjhMmHc4sn/dkQr+d/H1AKKswHs5a2OY4//VgB/giiP1Y2o6o+y1ya3y/z+HKI8zTkp7uYyxk6WvKcQJHNXHoaRr6uqeApRLj6ts3XG2L/Hz/g5xth5iEKyvwFgbYF7OYOXBoqIlhDRRbHxOYZIwcbil58BsDg1mGYiWlLvBzBKRG8F8OacWzwD4MVENNfwEW8HcC0RnRIPxD9ReM/a+PozAXwMUUIXiCbnNUR0VjwxfRrARsbYKBGtJKJlcVjkMKKl+Rjns58B8FIimim499cB/AERLY9l+mkADzLG9ip+3zTuAXAuEc1K/e3vEJWS/yGiRPoXMu/5LwD+j+Qzv4mIsw/jxOoJGt//IUROQz8RzSaiWUS0In5tEMAbiWhhzPe1ql80hVsBfIiIfjOu9JtNRBcTEW8lmYWqrr2NiF4fc/hJRPw8hcjZ+g0i+j0imkFEqwG8CsDdRHRavI9oNqKQ4xHw5ZM8x8sErz2IyJD/GRHViOhCRCFE7f1JcYj0/yLiPI1/RJTLuQRR4UsaMv2YjWiS3w8ARPQHiFZQIkwaC/Gq8FYANxPRS+LP6CGiVYpfSQs5c1ceBgH8HhF1UrR3MCtDHXwB0Rx1Tvxcc4noXfHP/ynW5Roi3pPCEu/gpYFCZHD6EXk/+wC8BFECF4iq8ADg10T0ozim/KeIjMZBRDmMu2Qfzhjbjcgw/CJeAgvDhwL8FaLKn8cRDcZvIZogZPg2osTkIKJJ/Evx37+MyKO8L/68YwA+Gr92evzZhxGFwf4VUwc3EFX17AKwj4iey77IGPs+gL9AtNL8FaKCkndnr1MBY+yZ+H7vBAAieiei6soPxZf8N0QG7Mr49f+EKGn+EOfjks/8FYD/QLRK2ph6Sen7x/H8dyCqwHsSETer49fuiT/zEUTyv9vgO29DlMe4BZGO/QzRZKvyXlVd+zqA6xGFYs5DtNoAY+zXiFaO1yAKy/4ZoqrH5xCN32sQrYAOIJrQ/ljw+TcA+Er8DL+becbjiAzHWxGNuf8F4H3xs5vgHxCtlNL3uB9RrudHHMfoPfF7poAx9mMA/wORfjwDYBmiiksReGPh44g4e4CIDiMas0s0vo8OZHNXHj6GSI+HEPGvtJWDB8bYPyNauX0z/s6PIuIXAOYgMtoHEYVyf40oAuUdiDGrq9tpCSL6MKKNq1yPh4gYgFcmoatWBxG9ClGi+HUsR4GI6A4AX2KM/UspD9eCIKINiCrRrqv6WWyBiH4A4KOMsR2pv20B8HXG2BdTf3sHgN9njP0u52MCpjmCgTIARZtVX4bIq3slohXRLYyxzwqubysDFWAX7WigsohX0vcAODOOegQE5MLXXdO+YyaikMRZiJbj30QUFgkICMiAiL6CaF/Ox4JxCtBBWEEFBAQEBHgJX4skAgICAgKmOYKBCggICAjwEsFABQQEBAR4iWCgAgICAgK8RDBQAQEBAQFeQqvM/NRTT2WLFy929CjTD0PDTew7fAzNsXHUOjtw+pxZ6O6KeqFu3779OcbY/JyPmILAkV0EjvyEjJc0TDkCAk9ZqMrcBCKetAzU4sWLsW3bNisPNJ0xsKOBG+7ahdGR5qSWzLVaJ667bBn6entARNkO1koIHNlB4MhPqPCShilHQOApga7MTSDiKYT4SsbAjgauvXMnhkaaU14baY5h/eY9FTxVQBqBIz8ReCkfVcs8dJIoEQM7Grjm9ocxJtkc/fSQznmKATYxsKOB9Zv3oJHDQeDIDRL5Pz00ggXddaxdtWSSd75+8x6MNMVNtwMv+ciTcRZVyzwYKMdIT3qE/INnFnTXy3isaQvRAE08RdlgTBA4iqA72eV9Vlr+jaERXHvnTgCY+My8ydAFLza/Y9VQkXEWVcg8jWCgHCGJ26aXxnnGqV7rxNpVrk4BmN7g8ZEeoHmeYoLpzFF6sp5br+Ho8VE0xyKtVpnsZODJPwkhJZ+3oLsuXN264GVouKk9ofsMFRlnYUvmpoY+5KAsY2BHA8tv/B6u3jjIjduKcEpXDTdZSjhORwzsaGBF/xactW4TVvRvwcCOxqTX8uLoKqGKduJIJi/R9dfeuRONoREwAEMjzQnjlKBITkIk//Tf165agnqtc8o1rnjZd/iYcEJvRYhk3BgaEeqADZlndScx9Hk6B4QVlFXohIkSdBLhf/zua9ti0qsKeaELlTi6zFPsafHQThYmoR7VFaZpTkIk/3QIKXm2skJuzbFx7t9bNdcl03GRDtiQucnKLUEwUDnQWZqqDuIE9Vpn23jkQHXx+rwBoBJHX7tqyRTnot34SWAyYahOynPrNazo36KtAyL5Z0NIfb09pfFR6+QHmFTyLj7mrngyTkOkA0VlrrI6FiEYKA5EhQ15nqaKwJPPa2WvnDf4AFQWr88bACpx9LK98yphMmHIZJig1kE4enx0IpSqowM+yv/0ObNQq3XmGs0sTFaoZSAtYxGXLlaHIt3pIMLAjoZUJsFApaBS2CDzNPMG8SldNVz/jnNactLLM9qzah3Gy/iiyAsPiTzHLB9leudVQiQv2eonz/s+Je4ocHB4cp5PRwd8k393Vw3XXbZM22gWCWm5RiLjFf1bckOqKlBZKYp0Z4yxCcMtwrQ1UFnBrlw6H3dsbxSKs6tOhL5CtQSbZ7RFcisjXp8XHvLRO7cFk1AST155q5/kM0X7+LpmzigUyvEVJkbTlhxchglVQ6p5z6eyUpTpTl7RybQ0UDzB3vbAk7ll4AlEXkYrT4QyZdPNraVRxp4hFbn75p3bgGkoiSev4eOjuaufvt4erNk4yP1MWaHJdNs3ZkMOrsOEZRc/5OmOCNPGQKW9kQ6iKZZc1TjleRm+T4Qir0ymbCqeX3e9hhdGxwt5ZEXgu9xNYNJZQTWUlJXXWes2ca/Lci+bfG145e0AnhwIwMql6j1rywgTll38INOdvYJ7TIt9UNcN7MSajYMTdfiyVkM8UPx/T3e9pau6snJI70eQKVue51evdeKGS87BTZctQ093HYTWl1XVkHGVwGZITcRx9u+8fTHpQpPprgOJU5E1LgzAHdsbSnt/ALvcuoKqziSQ6Y4IbbmCyu54V90wy2tF1Cr5ozREVXa8MGbilel6xqJqxFaSU9WQ5fxkXOV1VjAJqemUeQPi0FA7rmQBtXxQ3j5InRVQK4RLdVfMJmHFtjNQWSVRNU71WicuP68HW3fvb7n8URqi9iyzah3CMObTQyO4efVyobK1cm7NV+Tl/GRcJbAZUtPhuF2NkAiq+SCVXK3qCqgVwqUm84Ku7rSdgbrxO7uUE/qdRBhnrK0m3KcPjeAlnNi1TCYLuuvT1jOuAkPDTWlFU95+pAS2HYfA8WTs3vc8zlq3iZuz5q2GVIyP6gqoVZxC1zrTUgYqb5k9sKMxpRJJBALassXQ2Lh+fi1djt1O8vBxNz8QeeCnCfKgsmq4NFcJXHHmq+zKRHNsXJqzVi0gSaC7AmrF8Whbb1rCQOV1ok57GyogAFdesLDlyC8CXpVdu8pBVV+qwrikSEeW8yuLq+sGdk7KgfkkO5/AKyBRzdW2G1yNOW8NlMo5StlltmyJfUpXDUPDzWnrDd5wyTkA/A8Z6EJnw7Uvu/lFKCPnpxKFUCnQmO4wKSCpAmWshGXFIUX1xksDlde5II20URItsbvrNez4yzfbfsyWQXe91pZVdiYbrn0q002jk2hSSbaL8I5Ksl+1QGM6QiVn7VNYrqyegC5P3fXOQKkci55GepktqnxJVg/TAR1Ek35v1+8v0pNWOLGYx5Hr/UIieelEIXyQXVVopc726ehTFi5Wwi5P3fXCQOkei54gu8z2cYldNnq66zitu95W318UxtPdcO1Lma4LjmShnMSTVkn26xRotDtqnR0goPJxpBOmUzmTzvZK2OVJx5UaKJNj0ROINtD6tMSuAt1dNdy/7qKqH8MKRInXvDCe7xuuTTlSbeare2BjXhSiXYtp8rD09BdhW//FTj5b1ejohulU9mLZXgm7bJLtzECpJGN1Tp+dLtUw7QxbnqDMOLXLhussdJv5qh7Y6EsUYjqVtesYHd2efCqro+Hjo7nnMOnApc44MVCqyVidDbXtuGdpOsGFJ5hFttCgnWDSzDfvwEaRvMqOQvh6wJ8r6BgdWw1Z0zgYd5sB7MnXlc44aRbL6+aQPfdDNQ5ar3UG49TCGNjRwIr+Lbh642CuTqSRpx+U+b3d9cSkmW/6wEZek84q5ZXoxVnrNuGa2x/W0o1Wh47RUWnImpbl0RdGUeucPDqyYwVoHflaNVADOxpYfuP3hN0csslYEdqle3i7Iz0wVvRvmdKpOfGMZR6dzBMUoV7rxJUXLJxWXbNlE1Vel+i+XrddxvP0gHd9ohc6nRp8he731+kCnsdtVpZDI02ARfmfhOtW3jZgJcTHS2bzkJeMBfxKZgdMRd7R74BeGFfWmj/oxwnImoeq5ABMQzC6uWSV8Jxq+LYVytpNvr9OI9g8bnmybI4zdM2cMbH309bx7qqwmU8sbKB0ih18SMYGmEPl6HfVPTWA/db87Ywqmvma5pLz9tqoeO6+bAnIg8n319VtGbcq4cIyO6PbzicaGyjZZjAe0t0MEkz3knAfoOPt6B4nIEvYqlRjBv2YjOzEluQQXMlIZfI1OVhPVrTRaqcLmB4smNXtJEyo64ypnBtVprNn+yRgbQOlGs5Lo127GbQyTJo76h4nIPLc2j1fZBs6YVWbUJl8TQ7Waye9MPn+ef0jdXjVOWiyDNnaPglYq0jix08fxtUbB7WM0yldtZZUvHaAKHmbLMN5PMqqe1SOfs+Gcaf7EeB50C00EYVVXUAlmW9yjHer6gWPK93vny1qSDaem1Yx+iZL3WPg86C1gtJpLTNdk9lVY2fjEFb0b5F6ZabNHU2OEwhhuqlQ4Uin0MRVNZaKd24aPmoFvUh4Sr4vL7dy02XLcNNlywqFyYtW2fkkS9v5LusbdUOnh+ohagekcmIrIPZ2QuGCPeRxpFpoArirxlLl26cJ0jYSQzSr1iFc5dy/7iLl76/jTLRCFWMWtucIawaqVWPIVcNVixeZV1akuWM7T0Yy8HgqChXP2fYprbpoJb5dcAREhki0itVdvcqa8ab1oVWqGHmwVQACWDJQIZwnh0mTT1cQndgKTC8ei/QFTHjqqM+Z5+LZVJq3+t6XsuzeemVzlEBllZOWxdx6DbVOQnPshDlq1/6RQPGy80IGajpNaCoQeXAmTT5tQOSVtWqoztakZ6Mv4EhzDJ0nzysssDzPuQhXVTVgraK3nkuOgGibzAuj49q5lawshkaaqHVQ4RO+W6W5btGycyMDlbTf/1TfMpO3tx1kJduy2LXtksw08rwy30M3Nktxs7DVIZo6Z8zUunEGPI5WLp2P9Zv3YM3GwUmcmUxgVTVgtb0XRgWuOAImb5PJ6iSPqzRUOj3oopWa6xad47QNlM9hhSog66SRF7uW7aHYW+CZWp0j1aPcTSc9Wx2i2djoca0bp8DjyObEU4WRSODS8RLBBUfAVJ6S/1W5ciGLKrnVhck+sTS0DNSynrltcxieDegeT5+GKBeUhA0uvdbsmVqVo/SKqYNI+Sh3k4GuO2hEPI0dOSDvCiqAiCObE08VRiJB0UlJFSq5HVOOAPlYUuXKhSyq5BbQCy8WLTt3ctxGuyPp2n71xsFc49Rdrwk38vm2yc4VdDajyrpb82Ay0HU3V4p4Gh85fED75hLYnHhsb5jUgY58dTuBp9+X18XbBUcJVLky2cicB90jOHTkmgfeRuNr79wp/Pyic1ylR763Iq4b2Jl75HgCUey6lXJBprDd9RywV4prUnhQBk82ve0yG4RmIZIvgEnlxkXyii5yOzpQ5UpX11RWJ3ncusxRmTbHrXwf1HTAwI6GsnHKVji2oxESwXbXc8B+Ka6PjoFNo1J1pSZvL4zNvGLVYS7dIzNUqy5VDEsety5zVGXLPRgoRST5pjzjNN2Pp1fNy6lsRm3F7tZFYNuoVG2EXeYVy8pziWDCVd7qSMewyLh1aUTKlnswUBKIwlQiTNduGrpyAkLXcxGqNiqmyNsWYDuvWGUIM0Gaq+T7i0rOVVZHtgyLSyNSttyDgYLaBtu84dWOm5ZV4uF54TwebG5GDZgKH7o4qIbCTfOKPumMrYMdVQyLjRxVEZQt92lvoLJFD7INtjy046ZlnbOidAscQtdzdzA548sGdDp0p1E0r+iLztg62FFmWHS4dW1EypT7tDZQoqIH2QbbNNox35S38TgbD1cJP7SjnHyDLm82oROCase8oq2DHWXVj7rc+mK8i2LaGahs4lZ/i22EdsqR5CWz08gORpVu2+0iJ5+QDfUMHx81OuPLBnQ6dLejLqgYH52Tb4ETRmr95j2Vcls12tpAFUnc8ppDtkIXaR5kceus552XzM4mWlu127ZvKNpdPQ8uq9tEk287d+iWzSuAeZ7VN26rRtsYKJXmojqJ27wNtq2CvASuag4JUPP4WlVOCaroEm2ju7oMZZwZBdjXAR87dvO4umN7Q8kYq4TdquDWRzknaAsDpVpFpGqcrrxgYdtssM1L4KqGB2RViu0S766qS7St7uo8lFVdalsHfO3YLeJq6+79Vnpgls2tr3JO0PIGSrQxVCe31I6J2wR5CdywSXbyPq4syugSbau7ene9htknzfDSE05DxWP3tWO3604KutwWOa0W8FfOCVrWQPHKLlUwXRK3CfISuNN5k6yqDrlOQtvqrn7DJX7uw8t2HT96fHSi63iZx1TYgO1NsKr5LB63NlY/vso5QUt2M79uYCfWbBzMnVgo83u91okrL1jY9t3D08jrptzX294d1UVdnZPBreLguE5C2+qu7nozrq2u4+kjMQD+KdJVdmOXwWZ3cl5n8CSfpcKtjRO5XcrZRkd171dQPA9DpdihnauIdKCSwG6nHJLqKbyqyegy2ueYFBnY4Ew1OV7EU1eVM++YiqpbGfFgsyCkaD7LxupHVIW7cul85c/gwVZuy2sDZdpCpZOorVYBRdEuBkgG3W7ZKoO4zDL5sjnSmUCK5ClUJ8uix1SUCVtcFTUwNsKNfb092PbEgUljhQG4Y3sD5y+aZ/w9beW2vDFQPG/OpIXKdMmfTFeIvH4dXUneK9pj0k46pCMv0QRSZCLN28gNFD+molVR1MCIVj+NoRGs6N+ibNC37t5vfOyJCLZyW5UYKNVQjM5+AKA9G7ZON+hsKk57/TqKn3wuT8faSYdM5MX7e5GJlCfnWgfh5FkzMDTctLIy8nkfjwxFw5jpVabKwaAimBiTPJnbKiYp3UDxmrOKQjGdgrY72Uq8dmzYOl2gU+El8/p12u1kD3drtYlNFSby4k0gRSZSW3IWTYi+7+ORwYZsklXmiv4tU/hUXQXJdEHlpAeezG3lEEszULKSXlEoZowx1Gud06aFynRD1lnh6YbKpuKnh0Zw8+rl2u122j2EZCIvUagNMJ9Ii8pZdOJA8kw+7+PJgw/5LFE04eDRF7D2Ww9PcRh5Jz1kZW7LMSnFQMk6LcvQk8pFBWPUXhB1kuchb1Pxgu76tFgR6cKmvKoy5rITB2TFLr7s4ykLRUJqCa/ZBcRwc3zKtbKTHrIyt6Ezzg2U6hHgslDMdJ5k2hGJTqh2+8jbVJze0xV05QRaVV6qJw7Iil2q3i9VNnRCarLCGd3GB2Yc4IoAACAASURBVGm4kHlhA6WS1FYxTldesDCE7TyE7QS0qk4kyE6oQFglqUJVXj4VGeh01xcVu/iwX6ps6HBdtNCId9KDK5kXMlA2OmWHAgd/4SIBraITp3TVhBVevnr9viJPXr4VGeic0Dxdil1UoTI2TApn0kjaLiWf5VrmhQxU0U7Z7VTS245wkYCW6URwVsqHb0UGKl4878SBMIeoQbdwJo1sA4QyZE5MMdQCAES0H8ATye8zT3/FeaJrj+/72fba/MXLqHPGzCkvMmD08LOPj48cPqD5vNMJixhj2v1GshwVQR6/Jp/ZZjpROUdF4YLjIpDpBwhgY6PHx44caGjoiRFHgF882YJIvmxs9Hhz/96dHfU582bMfclZovc71AkuT1oGKiAgICAgoCy0ZDfzgICAgID2RzBQAQEBAQFewisDRURfJqJniehRzfddRUS3aL5nPhE9SEQ7iOgNRPQuInqMiLYS0YVEdLfe07cviOjMWC6PEdEuIvqYxnsDNyWAiGYR0UNE9HDM0Y0a7w0clQwi6oxlpyyn6ciTVwYKwAYAbynpXm8CsJsx1ssY+zcAHwDwx4yxlSXdv5UwCuAaxtjZAC4A8BEiepXD+wVu9PECgIsYY68FsBzAW4joAof3CxwVw8cAPFbCfVqaJ68MFGPsPgDS6pzYA3g09hTvS720gIi+S0Q/JaLPpK4/kvr5CiLaQETLAXwGwNuIaJCIrgfwegBfIKL1mfvNjld2P4y9kHfa+K6tBMbYrxhjP4p/fh7RwJpSY+oLN0R0TryaGCSiR4jolRbF4SVYhESetfjflAqowFH1IKKXArgYwBcl1wSeAIAx5tU/AIsBPCp5fSeAnvjn7vj/qwD8AsBcALMQlYaeGb92JPXeKwBsSL3nltRr9wI4P/75QgB3xz9/GsB7k/sB+AmA2VXLqWJ+ngQwx1duAHwewJXx32cCqFctt5K46QQwCOAIgL8RXBM4qp6nbwE4Ly2nwBP/n1crKEXcD2ADEX0Q0YBM8H3G2CHG2DEAPwawyNL93gxgHRENIiJ3FoCFlj67pUBEJwO4A8DVjLHDnEt84eY/APw5EX0c0f6KadE5lDE2xhhbDuClAF5HRK/mXBY4qhBE9HYAzzLG8vYTBZ7g0Ym6qmCMfYiIfhPREnkwXsYCUQw+wRhOfLd0mGOWwS0JwOWMsT0G720bEFENkXG6jTF2J+8aj7h5jIgejJ9jMxH9IWNsi8HntyQYY0NEdC+ifO6jmdcCR9ViBYBLiOhtiOQ5h4i+xhh7b/qiwFOElltBEdHLGWMPMsb+EsBzAM7MecszRHQ2EXUAuNTglpsBfJSIKL5/r8FntDTi7/4lAI8xxv6n5DovuCGilwH4BWPscwDuAvAag89uKVBUrdUd/1wH8NsAdnOuCxxVCMbYtYyxlzLGFgN4N4AtWeMEBJ4SeGWgiOgbiJaUS4jol0T0Ac5l64loJ0Wl6PcBeDjnY9cBuBvAFgC/MnisTyJKOD8S3/OTBp/R6lgB4PcBXBQnSwdjDzALX7hZDeDROFyxFMA/Gnx2q+EMAFuJ6BEAPwRwD2OMV0IcOGoNBJ4QWh0FBAQEBHgKr1ZQAQEBAQEBCYKBCggICAjwEsFABQQEBAR4iWCgAgICAgK8RDBQAQEBAQFeIhiogICAgAAvEQxUQEBAQICXCAYqICAgIMBLBAMVEBAQEOAlgoEKCAgICPASwUAFBAQEBHiJYKACAgICAryE1nlQp556Klu8eLGjR3GHoeEmGkMjGE81xu0gQk93Hd1dtQqfTIzt27c/xxibr/s+XY5aUTa+oCyOXKLd+TflCPCLJ9vwjXcRT1oGavHixdi2bZu9p3KMgR0NrN+8B6NDIziN8/pp3XXcv+6i0p9LBUT0hMn7Fi9ejOtu/TbWb96Dp4dGsKC7jrWrlqCvt4d7/Yr+LRgdmnpIps+y8QVFOBKNo0RnVbizgXbn35QjwGy+K5s/U/jGu4in0k/ULYvAgR0NXHvnTow0x4TXPM0hqNUxNNyc9L0bQyO49s6dAMCVs0gGJrJplcHpK7I6m8edDdjkv2z4pm9V8GcKl7zb5KWwgdJ5mDIJXL95j9Q4AcCC7rrVe/qAfYeP4dTM9x5pjmH95j3o6+2Zwld3Vw0Hh5tTPkdXNq00OH0FT2fT3BWBaJwu6K6jwZmUfB8bPuqbS/5MUTbvtnkpVCSRPExjaAQs9TADOxrc62UE2kaeJ1CvdWLtqiXW78vDwI4GVvRvwVnrNmFF/xahfGygOTbO/fvTQyNcvo4cG0WtkyZdayKbMrktgjK50IUrr1Y2TteuWoJ6rXPS9a7Hhg0OfNQ32/wVlVMVvNvmpZCB0n2YMsMJMk+gp7uOmy5bVopXo2vEi6LWyad0QXedy1dznGH2zBno6a6DYC6bVggVlc2FLkQ6W9SrzfPsb7psWWH+VWGLAx/1zSZ/NuRUBe+2eSkU4tN9GJVlpa345dpVS6bkoOq1ztIMU4Kyl/2nz5mFWq1zyvdeu2oJ1mwc5L7n0EgTg9e/udB9bYUMXOYVfAzBpCHS2bRXayKfvHHa19tT2ve3xYGPoUkV/gA1Dm3IqQrebfNSaAWl6zHkLSvzvAadJW/ZnqEIZXt63V014fd25aED+dyqoKjXmKcfPnrdaeTprKl8XPKePJfquLTFQRmhyd37ntcKr6nMOaoc2pCTa955sM1LoRWUqseQICFK5D3khQx1k29leoYiiDyKDiKctW6Tk+oj0ffW5Uv3noCYWxUU8RpVkrMiLubWa1jRv8WLajCZzprKxyXvuklxmYetszq0oW95aI6NTzIiou+UfS7ZNaoc6qxERHJzybsItnkpZKBMHkZGoMxr8D08IwJPSQBgLN4gV2b1ketBXdQhKOI1qugHj4taB+Ho8VEMjUSVjD5Ug4lgKh+XvOuOS9GkuXLpfK8dUFtzjSqHOuHCPLmVXYpvk5fCZeY2H0bmNVQVnimaE8kqSQfRhHFKUKah9WFVmcBmybuKfvAG7PDx0Sn39MXxsSkfV7zrjkvRpNkKDqjuXMObO1RXRqrGJU9uPo13E5S+UVcGmdewfvOe0pOi1w3sxG0PPInEnJh612klOWvdJu41vuRBysDAjgZuuGvXxKoFiGRb6yDUOgnNsRMGXDUkoTPw09z5ygdP94rIxxVMkuK8SVNUwFM1D2nozDWiuePy83pwx/aGUthNxbj4nlctCq+axcqSjLzkGwAMHx91UiY8sKMxScESFN1rUUXi0ickIYm0cUpQpORdlJxduXS+NIHvIx8i3bO1JcAmZElxneIJH3lIQ8cRkM0dW3fvx02XLUN3/US/u1k182nYd7kVhTcrqOxy+ObVyycNvOTnrOd9cLjpJGewfvOeKQqWoIh3UkXi0ifkdfgYMix554VEVi6dP8lb5a2AfeRDpntDI03ccMk53oRtRKEoQK+oyUceap0dIEA7tC/jrzE0gm1PHMALoyc21BeZw3yUm014YaBUK4H6enuwfvOeKd63i1i1zAgV8U6qSlz6gjzjToj0wUQe2ZDIiv4tuXkNH/nIk5FvRRy8UJSK7LOfAfjFw9LTX4Rt/Rdrvy+PP1lkRvf7+ig3m7BioIoWEugkSMuKuYpi6wQU9k58SFxW1WhTJNcEDLDmbKjqig98pJEnoyIOWVm8m4xT33gwhYqO82A6h6nIzbfGuqrQNlDZL6oSRsmDjjKXtYOct3QmAFdesLAliE3DBWemEJXdp2HL2fCx24AKTGSkMgGV2WC1VWVvAyr88aAjG1+bdNuGVnYuOcohvQv6tgeeLNwcUCfRV1ZzS17Bxs2rl+NTfcsmrvG58WgC3s51G5yZIi1XEWQDVUfmVTRCtQFdGal2JxBFKq65/WHrutuqsrcBFf4o87tuEYaNJt0ueLcNLQO17/CxKV/UxnJVR5lllX620dfbg/vXXYTH+y+eKHVPJsbrBnZ63Xg0AU85XRR/6CCR62dXL9eqzNQdmGXqim3oyEi1abOI3zHGrOtuK8veBvL4q9c6cEpXzUg2tpp0u+DdNrRCfKKjHHjQWa7qJvrKjlXzlsg2E50uYaN3lyvoVmaabOZs9byGioxUQ+Sy3IgL3W112duAiL/h5jgYaEq1sgpsNekG/Jyz0tBaQYmOcuAtV/P2n2SRXq3cv+4irwTm4ypEFSKjUzTEYCu02dfbg9knTfWTdFYAvsncNvJkpBoiF+0lTOBKjq0QCncJGX833LVLWzY2mnSn4fP40TJQzbFx7sR25QULJy3lk93Svoe/VOHzKiSLoeHmJIVfuXQ+N3ya5Uw1xODiTCWdFQAPVcvcFLa6gKuGyJOwWydlR3EEF3L0/QwuVRQ1siL+hkaa2rLRze9VwbstaFfxMUTeN0M0sfFCcbp7IHxHXtloAh+SwI2hEYzGz9oYGsEd2xu4/LwebN2930qJqYueaXkVX0nFUmNoZEL3EvggcxPY7AKeDZHPrddAFLUPWr95zyS+k//L2tzZCj328mCjCk51DlGRjWxztKgrf9m824LRPqjEON2/7iLu6+0WipGVjeYZ67IxzmlEu3X3fiFXunDBrWw3fHZyUHGQWgG2uoAnk0uS71GZTMvc3NkOc4ENI6tTeq4im2x+zzfebcF4o25epwWf9kDY6kh+ze0PT+lEnmesfYCMK13ZuOBWNnB4q/FWkHkebHUBz3KlOplmPy/J94X9UFNhw8jy+ON10gfMZOMb77ZgbKBkQhR5C0lpbNUVeKYdyVuh4zIPIq5MZOOKW1HFVzt44DzY6gKehaq8ytq8mbfya4UOB7aMbN6qBxCH3PLk5BvvtmDURjcvbpkk5dIde4ETpbFlJkh19wzIYDtJ76K6qSOTCJVxZSKbsrktuzCirIozVxtZVeVlc1zIINsPlVdA4Uv1nyuuVPeKqRSa2OLdF5kn0F5Bqcb9+3rFjV1vuGtXaV6TTQ/cZudgV55MT3cdp3XXlWRb5ITWsrgts1tzmd6lq3yAqrzKXJmKVn55k6UqF65XYS5zNyqrYtPTonV5t63/NnjRMlDLeuZqxf1lpZVlHbFtMwZuU1FdVTd1d9WUOSoim7K4LTOxW3bFmYuNrKry8iE3JJssVbkoy6moctOx6WnRurzb1H9bvDg9bsNmaaUpbHvgPEU18RR8yK0UkU2Z3MomB5vesw+c2IDKZFqEe1syl02Wqly0Qxl7HkxPi+ZBxrvNHLuIl6s5Wx9kcHqibt4O5jRcTQKiOC8AK7FW042IPmw6zYuBy+LRPnBrexOoD5yUBZ38R1oHbPaglOV2VLloF6dCBps5MBnvJvovmiNk8tfRGacrKNellSLwPLx02MtmWMDUg3OVW9nZOIQV/VuUPRSR15Uno6q4TcO291xWvkuXI1fI87hd96DMC0upcOEyVOkTT4C9MLeId139l80Rts40c36ibpHSShOoGB+bE1uRQoPkWWznVmzE4VVkVDa3Wdj2nsvMd/le3guU04NSNFmqcuHaqfCFpzJyYLr6L5sjbJ37ZtVAqcSmXU8CKhOrzYmtiAfnUumKrCQGdjSE3k/eiahAeTvVXW0aLmsi8jlXItMBHlysklW4KEPnfObJNnTyvbI5Is2L6DoVndEyULv3PY+z1m3iKoFO2MzlJKBifGxObGWWQeuiMTQi7M0lQsKjCHkyKnOC91n2qiiaK3FRYp2nA771QyxD58rMafm4eZk3v2f1IEEyRyS8FImsaJ8HlU6MJg8B+FNNo2J8bE5sIg8OEDduLAsETMhCNVTB4zFB1RNRFnnes48DPYsiKw9XJdZ5OqDSfLgVZK+DvEIBW9/V104PonCvirNSZJVrHOJzGTbTQVY5Vi6djzu2N6TGx3XS0Qcl43k3Kg6DjC8fT0Q1LfLgoexJtajBd+UUFtWBovrvm3EzLRQweeYqHH0VeYt0IumLmceV6Sq3UA7KVdhMFTzlUD1ewmVYoOrVZE9OfFgGEY893XXvjJMMuhyU7VTY6MTuyiksqgNF9N8H5y6NPJ5sj/WyHX1Vect0wmXT5kL7oLJhMxf9qmQQKUdyvERVp/OKlKkxNOK8t1XS7aPHcE9PFTy6gIwD3r63snrTASc4KqqXrvZtFdWBPNnL9h6WyUMeVHiybVC6u2rcv1exVSONquYFYwPFC5uZbvo0ha+b9GTKVFazXFOFyuORB98aTAJyDngbBX3VJRmqbmIqgkj2SU5UtsE3jwffdM2mkzCwo4Ejx0an/L3WSZVv1UjrBAB0Ek0YMpccaIX4ap0dIEA7bOZq2W4jrOgi3i3bA1BWqK9Ini3NYyKfNRsHC1dvlom8fRhZHnzoTacLlyXWvLyqatEPT/aqOVEZDz7qms2Cq/Wb96A5PrUubvbMGV5s1UiegcfBticOWDu1Ow0tA7X09BdhW//FAPQU1lVOpqhyuFL45L1XV3x+VJFJJrm+zE3PNqGyDyPNQ6uWrOvsWzGdNHTHCc9wquZEZTz4qGs2nQTRvHAoc2pAHnR419V7EQfpDiM2HQejIgldhXUVPimqHC4Vvq+3Rzg5VuGVmxjjsjc920Yyea/o35LLg8vVSBWoup1X1nCqcJB+Nh4Pvh4YaqvgylZEqKgzIdN7WTVfGrbmUSMDpauwLsMnRZRDlsy1AZ+8cpNJJq/Yo6+3pyVCY6o8uKzsLBtltPPSGSc6Y0HEQyvoWhHYmC9sOBMyqJ5iAEyeJ0xhVCSh6zWXUQFikjyVJXNtJP6KJpttwmSlo1Ls0QpVf+1S+KED2+28eNAZJ0XGQsJF0r0gDd90rQhszBe2eBfpP2+8ZzlJo2hRmNEKSteTyVtGFo2Vm4YzkjNQsstTFj+ri2RzVTDxPlWKPZI9EL53c9DhwXUyfmi46bzLiO12XjbGiclYyHKR7l5gYy+Zyv3L1N+i80VZYcK85ggJiob6jAyUyVLUZYWfaTijr7en8kKGsmDKGZBf7FF29aZruE7GN4ZGMDqk14JKF7bbeVU1TkQtdlxvEAUiR6LV9LeMMCFvvJ+/aJ4THTEK8dkMXdnYmFdkWWu6oZUHn8NCppz19fYYy6jMTZc2Ze+68GOcTV6LuJCJ7fCySAc6iJzqe5VFOPsOH/Nm07AqqgoTqs4TuuPUuNWRrdCVDQUssqw18Th4y36Avz8A8MfbMuXM1CuzPbmIwi22V2pVJONdTLjZcEwysdrSAQAYi42tK32vsjCiOTbO/bvv0ZWivJvKPG+ekI1TEZwe+a4CGzuxiyTq0x4HkL9DWnTM+I3f2dVy3pYqTL0yEYdz6/x2LjLIjne3vVKrovCDAdZXITKZ6SKrA500NTXuQt+rLMKpdfKnx7n1mreREqA476660JiMUycGSmcZZ0MBiy5r+3p7Jp4j6xGq9mzjHXUO+O9tqaKvtwf3r7sIN69eDgBYs3FQidtax9SJ7OjxUe1BLVNuFyfruqy+7OBM7kAxA8KDbcOd6MDj/RdPCVMmEPU6NEWVlbCnz5k1ZW4CgKGRphWj7wpFeS8i87SOZPsYmoxT60e+u94oJkLRkKNqYlx30muXPRqAGbc3fmfXFOPdHGPaBQcy5W61k3V7uus4TfDMNosxXOZvZPthbIf7qqqE7e6q4brLlk1suBcd0Fd1N4ssbPDuQuaycbpX8B7rKygT682zumUXHKiSKpr0uus17/cDFYUJt0OGK8ss/7Iuz62wFyuN7q4a7l93kXD/iMpEojI+XHU7B/iRjzTaKbydnA7AXzNGsHEysq35ziXvRWAyTq2voGxY7yrKk1W9cFEi8IZLzgEgXwn6sifIFKabfXVXNzz+ax2EWiehOXZimkiU22QV7gMXpis/1fHhspNJWuYmZ4/5IH8dqJyjZoo8PnVl5VMHmzRMxql1A2Uj3OJyH4qIbJ12OMkz8oQser5W2BOUNxBsbfbNGyw8/pvjDN31GmafNEMod1824qrCdCJRHR+m4XPVCTGRuWqfvfTn+yB/HchCmi5PRgb0q4NtpU0S2HQmdEOH1g2UDevtKnauu0M6b2CK7sH7DB87MaehIpsim311FFzW1Xnw+jcrfRfZ/XzhwnQi0RkfuhOCifEQlaAPx8Uw2ff5In8diL5jB002JibPL+OzSBMCG7Ks2pmwbqBsWG9Xex9MdkjrQEamz12/AbVJw5RbXbkW4V9lQPnEhYnOudwbZNpsFABuuGsXhlJHQxwcbnInM5/kr4qs7s+t13D0+OhEyLnIxC3js2pZVe1MOCkzl5UaqkCUgB02KE9OwzXZMjJ9TVwmUJVNUW5VIGpIuXLp/Nz3qhRy+M5FHkTJ5pVL5xdOtJuOkb7eHsw+aaq/yyuWaFX5p3V/9kkzJuVDAfPCEFnxQJ6sXBeTVW0gK9+oy0NSh9+d2dCZeGSmJLgeGDIyXU4qNuDTpNHX24PLz+uZVOXGANyxvZErH5UBZVJN5FMbK94+lcvP68Ed2xuF9+cU0QPVycxG1WXVfNicuGX7jmSysrkRWwTZZvsy5O+lgQL0PDJVqA4MU+WXDW6Xk4oN+HYkytbd+4WHoMmgMsHqbkQUTQQd9TnzpA+jAV2dy65kt+7eb2VTbhE9UDVuRTffljEx50H0XU07gogiEzJZldHrkqcPtQ7C0eOjpcjfeg7KJlx0CADyS8FNk4J5RQTZfMOK/i3etEeyXfmTRVmnMLs4nFA0EXSePM+KcGwkom2NlSJ6YONQQhVUnRcB5EfRlLVRuYzwG08fho+PTtl870r+Xhso0z00ssGVNzCKKL/u4K46vpuFrcofHnTlaloI4KLEVlReTJ0zZhp9aAY2JlybhROmeuDSyUmPa9GG2TLHTfq7uu4IIkIZjXR58+maEo9e8dpA8bwUWbLcB09UZ3CbtP5oVejKVaUzsmwvms0SWxHY2OjxwjeBHUfFxvYOG/tdXDg52XEtQtn50uS7nrVuE9doujaYNjfk6pzQ0N1V4/YedSH/Sg2Uympn2xMHcNsDT04oQJIsP3/RPCf7K8ps7y9TsEuvtX67UpHlVlepZd54WXszePqUoF7rxNiRA1aC7jZ0rujqper9LjLIeEiQLjjKTrKuUdWRILZWrCLuZ9U6uPPpSTM6UK91KhvGIo5PZQZKdUCIkuU33LVrypf2xRNVheu8T1XQbVUkgsgbt5WDyBs4Mr256bJluPRThw8o30wCWzrXynkdGRcyHgiRIcgeO+6ikEWEMucMnpyKniws4l7kFBwaaeLm1cuV5q2ijk9lBqpo9/ChkebEpkCbS8+yjYbLvE9VMGlVpIOy+j2KPOOeuCrTFnxwVKrMh+ZxIeMhmZxFBUe2CllkKIs/V6tcXY6TqmSVexZ1fCozUDrdw0VJ6jRMlp4itKPRKBNFWxXloax+j2WvpqvUuarCVEA+Fyo8iHTOViFLHsrgz9UqV8R9d72GF0bHK21bR0xw8Bj3YqL9AJ5QfoMEtfmLl/GUh42NHm/u3zuRme6oz5k3Y878RSBS2rM1eujZxztPntdDnTNmsrHR42NHDjTGR+yEYkrGIsZYfuuEDGxyZApVbk3B1QnGxkcP739CleuZp7/iPNFrx/f9bHv6XhJ9almOsrAhU1OocJHDg1DnmkP7xsdHnhefCyKBbzyp6qwuZNwDQJH5VGMu4I4lLQMVEBAQEBBQFrztJBEQEBAQML0RDFRAQEBAgJcIBiogICAgwEt4YaCIaC8R7SSiQSLapvG+q4joFs17zSeiB4loBxG9gYjeRUSPEdFWIrqQiO7W/wbtDyLqJqJvEdHuWF7/WfF9gaMSQERL4vGT/DtMRFcrvjdwVCKIaA0R7SKiR4noG0Q0S/F9044nLwxUjJWMseWMsfMd3+dNAHYzxnoZY/8G4AMA/pgxttLxfVsdfwfgu4yxpQBeC+Axh/cKHGmCMbYnHj/LAZwHYBjAPzu8ZeDIAETUA+BPAZzPGHs1gE4A73Z4y5bmyScDJUVs+R8looeJ6L7USwuI6LtE9FMi+kzq+iOpn68gog1EtBzAZwC8LfYyrwfwegBfIKL1mfvNJqIvE9EPY+/jnfHfzyGih+L3P0JEr3T6xT0AEc0B8EYAXwIAxthxxtgQ57rAkR94E4CfM8amlEgHjrzADAB1IpoBoAvA09kLAk8xGGOV/wPwOIAfAdgO4L8KrtkJoCf+uTv+/yoAvwAwF8AsRHsWzoxfO5J67xUANqTec0vqtXsReTMAcCGAu+OfPw3gvcn9APwEwGwAnwdwZfz3mQDqVcuvBH6WA3gIwAYAOwB8EcDswJGf/wB8GcCfCF4LHFXPz8cAHAGwH8BtgSfxP19WUCsYY+cCeCuAjxDRGznX3A9gAxF9ENGyOMH3GWOHGGPHAPwYwCJLz/RmAOuIaBARqbMALATwHwD+nIg+jmhzWTVnY5SLGQDOBfD/MsZ6ARwFsI5zXeCoYhDRTACXAPgnwSWBowpBRKcAeCeAswAsADCbiN7LuTTwBE9CfIyxp+P/n0UUN38d55oPAbgOwJkABonoxfFLL6QuG8OJ9k3pHchKScgMCMDlLI7rM8YWMsYeY4x9HdEEMAJgMxEV69TYGvglgF8yxh6Mf/8WIoM1CYEjL/BWAD9ijD3DezFwVDl+G8DjjLH9jLEmgDsB/Fb2osBThMoNVBz7fFHyMyJL/ijnupczxh5kjP0lgOcQESfDM0R0NkXtOy41eLTNAD5KRBTfvzf+/2UAfsEY+xyAuwC8xuCzWwqMsX0AniKipAnXmxB5b5MQOPIC7wHwDdGLgaPK8SSAC4ioK5bJm8ApOAo8RajcQAE4DcAPiOhhRHmOTYyx73KuW09RKfqjAO4D8HDO564DcDeALQB+ZfBcnwRQA/BIfM9Pxn9fDeDReCm8FMA/Gnx2K+KjAG4jokcQ5aQ+zbkmcFQhiKgLwO8g8spFCBxViDgK8S1EOfediObg/825NPCE0IsvICAgIMBT+LCCCggICAgImIJgoAICp30GEAAAHPhJREFUAgICvEQwUAEBAQEBXiIYqICAgIAALxEMVEBAQECAlwgGKiAgICDASwQDFRAQEBDgJYKBCggICAjwEsFABQQEBAR4iWCgAgICAgK8RDBQAQEBAQFeYkb+JSdw6qmnssWLF+deNzTcxL7Dx9AcG0etswOnz5mF7q6a6TNOS2zfvv05xth83fepcuQC0433VuSoXaCqa6YcAYEnHRQd+yKetAzU4sWLsW3bNuk1AzsauPbOnTi1OTbxt1qtE9ddtgx9vT06t8u9z/rNe/D00AgWdNexdtUSq59fNYhoynHdKlDhyAXK4r0q8PTt0nNf2lIctQtEuvaW83qwdfd+KxwBgSdV6PAhmgtE852WgVLB+s17MJJ6UAAYaY5h/eY91iaqRCDJfRpDI7j2zp0AYH0ybHdDaAs6vLeaTEX61lGfM8/1fVtJTmVBpGu3PfDkxKl9ZXGUYDpzpcMHoDdHW89BPT3EPxFY9HcTyCZDm0gmpsbQCBhOCHlgR8PqfdoBqry3okxF+tZ58jxnM1AryqksiHQte3CQa44STHeudPjQnaO1DdTAjgZW9G/BWes2YUX/likkLOiuc98n+rsJyjCCQHmG0DfkccyDKu+tKFORXlHnjJmu7umbnEx0whV05hKXHCXwjauyocNHY2hES4+0DNTQcDPXU1i7agnqtc5J76vXOrF21RLYQhlGEMg3hD4NWlsw9QZVeS/iXFQlb5FesbHR467u6coJM5GhbysEnq6R4FqXHCUoy2GuAir6osMHAVp6pGWg9h0+lusp9PX24KbLlqGnuw4C0NNdx02WE+UmRtD2qsC3QasLkTxMvUFV3k2diyrlLdK3sSMHnN28iBMm4tZUhr6tEHi6duUFC0vnKEFZDrMObDhzqvqiygdBP+ynZaCaY+Pcv2c9hb7eHty/7iI83n8x1q5agvWb91j1enWNoItVgW+DVgcyeRTxBlV4N11hVylvkb6Njxw+4OqepnKScWsqQx9XCFld27p7f5Rzosh3L4OjBGVEjXRgy5nT0RcVPrLGKYFMj7Sq+GqdfHsm8hRcVtv19fYof4ZpZWHyGq86Z83GQe57WmFZL5PHgu46GpzvoOMNqvCuW/FU9SSpo2+27gfoy0nGrakMbeiEK2R1bYyxCeNQFl+mXLmCrUpqE32R8bF+8x6hHu0VfJ6WgTp9zizUap2TvrzMUyij5FwFRVcFvGe1NZFXodQyedy8evkkBQP0vcE83k0m+7ImSZ/KhU3kJOPWVIZrVy0prBN5MJW7L3NM2Q5MAp7cbDlzJvoi40OmR5dey/88rRBfd1dNK7RWhdfLi726iBEXXda7zKkUqbS0kUN0wXsZYZQq81y2CkBk3JrK0HVeuYjcy5xjfCuKEslN1MFBd74z0RcZHyZ6pL1RV8dTKMPrTXsQc+s1HD0+iuZYFO1MCLv8vB7csb1h1QMsuqx35fntbBzCmo2D0g1yeR5xUW/QBe9lhFHK9sYT3W0MjUxKIBcJhcu4LSJDlyuEInJ3Pce44MgWRHI7aUYH6hqRLhFM9CWPD109st5JIg3XoYFsvHNopDnlmpHmGLbu3o+bLltmfXIrMmhden6iSpnkWV1P9q54dx1GKdsbT8sojzNV5HFbVShKhiJydznHJNtqbHNkCyL5HBpp4ubVy62Mb119sc2HUwPleiLkeRA8JMvLvt6eCY9ozcbBibhoFQpWduKZV2mZfO+0TGxw5FvSWBVlcqKiu6aGUXdSqTrvVkTuLnVt3+Fjk/rL8VBlUZRMbi4dEZm+2ObDqYEC3Hpsqsoxtx7FZMvs4ZeHMhLPaXQQYWBHg9sXz4VMfPTU81AmJyq6K+LMJnwYE0Xl7krXRNtq0uggwlnrNlVi2MueQwA1fbHJR2EDVaX3JfIgsjh6fDR3H0jZk2nZq4wxxrgTT55Mqvauy0SZnKjorogzmygyJmzphq8rbtG2mjTG2OR8NyDmyvZYqkJuZc+hhQxU1d4Xz4PgoTnGCu0DKYK85XCZg5CnSDKZVM2vDehOCmVxoqq7rh0o0zEh0o1tTxxQPmIhDR9X3LxtNUmhRCfRhHFKIOPKtrwSlC23sufQQt3Mq+6mwCtbFCFRAB5c5X2qKlvOk0MaMplUzW9R+NyOSld3XcF0TMiOWPBR3ibgbau5efVy7O2/GOOM3xdBxFW7yKvsObSQgRKRoRJ2s4W+3hMtNu5fd5FwoBfZB2KKKib4ZT1zc+WQhkwmrd4s13cDq6O7rmA6JlwesZBFlXqW5ShZrehO1GXKSxc68i17Di1koERkEOBVp+NaB2H4+CjWbBzESTM6cEpXzVkj2zSqbM8jUqSVS+dPUkYAws1zrd4st+r2SLooMvhNJ3HTTbg6RrOIvH3VM12uypBXGZ3qXW/azqJQDmrtqiWTNoUmYEBl+wOyicNk8+7B4WiP1NBIE/VaJ25evZxb0WYz4VhlDzNeAnXl0vmTNiwnynjTZctw/7qLpnyGqEpo5dL5uOb2h7Vi8FXA5x5yPJgmvYvmCk3yGDzd4HWrBszlPbCj4a2e6XLlWl6qOpCd44aPj2oXPZSZ9ypkoPp6e3C1haapLqpbkvev6N8yZQMvjwAXBQFVlIGmkVWkFf1btJRRZuSyk0YCm6uTonpRtfxNYDL480KZLqq8VBwgwFzeyXgsQ89MocOVa3mpVNfx5jgRfJAvYKHMvKegl+q6Ukw1zOOifNK38lmTkJeKkUvDZouZonrhm/xdQZYLdjm2eBP0+YvmWZF33kZmX1fBMriUl8rYVm1sAPgj38IGqqiX6rquXjXM4ypfkedllbnPyEbISyYPm6sTW3pRNBzRCvvARLx2EpW+789W+EemZwRg5dL5he/hA2zJS2Vsq85lPsm3UJEEMDlpBpwYFOs37/GiG7FqMrPs8kmg/ASwjQocmTx0eM+DDwUOvibosxDx6nN4LA8yPWMAvvbAk+j9q+95x0VVUBnbqnOZT/ItbKCAyEglAsrurM77gq4Ng2rVia3ySZ1KmrLLoG1U4PDklIatSVxXL1yUIvtepp5AxKuNsvWqSrzz9AwADg43vXQYqoDK2FaRaRo25WuqR9Z68ZmGZMpIZKsso23kK3TzJlWsEoqGFLJy6tDcUa8KHb1wlcf0YRWnChGvRcZWlZ1E0nomS+b7UNHnC/LGdlamoirCNGzIt4geWTNQOoM5G9e//LyeQu0+bKHo5K1rpGVx473GT+EeaTmdtW4T95oieznSWwRm1TowNNyU6oWrPGarlanz8mVFjpmpundlomcr+re0RMWZL1Btr5Y+60qGovItokfWDJTqYOZZ0zu2N5xu9rIBlWS5rsdtcgSybygyiWdlmi27le1ZS8PVSseXMnUV3RN5qaI9birwZQWZ17fQJ4eh6qIandVKYqyy78miqHyL6JGVHBSgnsNplbh+GqrJ8ry8STYOC4i7OLQKTHN3PJne9sCTRrphmsfMi4uXvWte9IwquudiXLnKD+vmIxIeuutTjzL3aV+by6IaVZmZ6IFr+RbRI2srKNUcji9eWQIVj0d1iSrzuF14uGVCJCfT3B1PpqJ4eJ5umKx0VD3NMnfN86Cqey7GVdEVJE9nABjlI9Levq9l/zZCokVlZqoHLuVbRI+sHlioMph9iuurTlKqpMsma90uDj4hT04mk7jOxJmnGyZGsur8iipUdc/FuCpSOCTSmVm1jkJyr9phkKGok2BDZkX1wIV8i+iRsYEytbS+xPUB9UlKh3QRwb6tHFUgS6IWncxFMs1WFqnqhu7AahU+VHXP1bjiybVI1EGU5/BN7iYQcaV6MrINmfk0v6ZhaviMclBFYq2u4vomdfaqk5TLDa62V45Dw00r+1bSHItQNHzEk+mVFywsJedTxcZsHvL0VlX3ysqXqY59Xd3wqdCBB5X5RbTPKDkZOW8s2pCZD3lTmzBaQRUNj9heRprW2at6p9kl6tx6DUTAmo2DWL95j9LqsSzPpjE0gtH4OxXZt6LSt6us8JFvcXFbUNFbHTnJxpUtGRaNOnTXa3hhdNw7D18GnXwlAOMO7LZkZmN+9SXXZ2Sgyg6P5AmrjE3CopJMnSRv8qwuSc+e9Gkaisvj0lX4KAvbm0VN9lm5gqreFp1wbMpQJ+rAK10mgjf7HlWhM7/09fZgjeEJD6IjOd7+2jOsNZVVQZUbtLMwMlBlFjqoCKtI5QpQXnK9qgSvieMg4hiIwgZlTSo2ixmyuqS6z8oVynL0bMpQN+pww127Jh13c3C42RL7HtPQ5cl0fuzr7cG2Jw7gtgeenMjDMgB3bG/g/EXzSqv29amAyCgHpRIXt9XDS6Wuv0g+oa+Xf6SzCK2SXE/DxHEQcfzZ1culcrLdu82mvH3bg1dWHsymDHXysX29PZh90lQf2JbMy+oTqMtTkZz11t37Kz8Gvoi+2ObEyEDlJeJsblhTEZatRq8q6O6aupkN8CfJ20E06XdTOZgkW014z1Nom5O4b86Frt6aDn6bMtTVC1cyL7PTvC5PiYzSG19n1dSmWh90tMjGd9ucGJeZy8JVZYcURKE6IDpgz1bcdmBHA0eOjU75e62TvEny9nTXcVp33YocdEOSuryrhG9tFjP4tAcP0C8UycpqzcZBbHviAD7Vt0x6H9sFITp64UrmZYahTPPHL4yOT/x8cLiJqzcO4sbv7ML17zhH+F4fdNRUX1xwYnWjbgLbIQUVYWUHjYtE3/rNe9Acn9rvYPbMGd7E07u7apNi1WUmPHV5V1Fom8UlPlTuZaE62Ys6b9z2wJM4f9E8Lwp0eHAl87JXGjacNeDEERbJZ2bhg46a6osLTpwYKJtegKmwdKy5akmlSNCHUklg32Dbq5HJSpd3nQ4dNibTKifqohDJigFeF+i42k7gw0pDBtmkLBt/tnXUtFzcRF9ccKJloHY2DmFF/5bcL1llSCGB6uSns8LwfVDwIJJDY2hEaXd7Gnmy0uW9CnlWNVEXhayqsjE0grPWbfLW4LrYTuDDSkMGGV+A3IDp6qjICJVdLu6CE+0VlMqX9MFTVZ388iq7ZMdBAH4NCh5kA0VXWfNWY3m85x2vAfgvz7LAk1W6/DiLdFIaKH+/SlHorvR9mGMS8AyEaB9YAltOmMwIlV0u7oITYizvTMUTOOmMV7Iz3v9ZAFEyvmhdvsvdyrwzTuq1zikVR2et2yQc9PVa55T3l7XJkIi2M8bO133f+eefz7Zt2zbxe95ZLzo8imRFAB7vv1j6XhEfInn6spNdBlscZSGS1bkL5+Lff34g9xTUhNNWkGGCIrolgylHQD5PgHyeAabuA0u/boML0WGOPXGhlEhXktd90QsRT8Y5KFtloq6Wn6rWXLTC6CTieh9bd+9vieMxEiTf92rD3e1pFAnJibw5njx92sleBUSy2vvrEdy8evmETsuOJ2k1GbZi+ByQr1KS/YIuHQVZKkPWkDn5u+96YWygdBUnS9Lw8VHny0+VWK4obtpOXZf7enuEXcl1eDSNMQ/saAjDjDx5+rST3QWShr6iCUs26aR1WuQ9L+iut5wMfcwp7d73fG5uTyXX7TLvKTPsotZJoo3APuqF0UZdXcXhbeA6OMyvfCvbAIg2HvY43OVf1g74NGxsZi6yeVcEnjyr6PVYJh+NoRHpZkbVjZIyTn3Y8ClDK5wu3Rwbz91wWnZX/KzcVi6dL9QB3ng1PRS0KhitoFR3RSdQ6YydoIolvcjDceHRVRV6sbWZ2dZ+EEAsT996PdpGXkNfnb1/AD+MrbJiripH1YqnS4tWGWWu/Hhyu2N7Q5oXz45X2apb5f5l64uRgcrbbJaFqnWu1zqxcul8q90fTOGqSqjK0EsZm5mzkHEv8pCLhBJd7pdziWxIKHk20yM28mRown3ZR3b4hoSjrBzKKpzSyeOKUGRsVeFYG+egdBRKds7J7JNmCMuOq07guYgd+xR6KWOiEHHf0123uk3BdAD5wgevG3gRDvJk6KItlSp8kbkuFnTXhauYMsKRNuRm6nhX5VQU6iShKhiR1b7hkhM9qQZ2NIwP+mol+FStVMZEYeqx5U3QtopuquDDVkPfPMhkKOOet1Kq4sgOn5BwVOXqz5bcTJwf2YZ/lxEvoyKJBKqCyUuuJ15J1jglKNuzcpk0L7Pzeh7KSvCeNOOEmp3SVSvsbdosuqmCj3HG0BkbqaqKAUQcz63XuB2pdaow8+DTGFBBWmerXP1VKTeRviQl6646yhuvoEwqwESDMK+IokzPqkgoQyVG79MOeNcJXt4mxmPNcck71GCz6KYqPsYYm1RtVTZE3BOBu0IgAnj+Y5n9NatCWmerXP1VKbciJetFcpdaBqrW2QECrAtG5n2U7VmZLuF1DJvLfRE6cK3wrsIhOkU3KrpTFR9Vhq9F3IuOK2csOlamOXZiSiq7v2ZVSPNU9X6tquTG0xeVVXXR3KWWgVp6+ouwrUDbERFk3RyyoUDX3oPpEr5VK5NcKryrcEheI07A7Fj6KspoqywM4HEvKk8HomNl0kVNNuTTKu2YEp58Wf1VITeTkvWi86KT4zZ0IfJKkn5WiSDSS0pXFX6mS/hWrUxyCVfhkLxGnARw2yfJBnRVZbS+FQasXbVE2Bbr0EgTg9e/WelzVCbQVmrHlObJhVOnY3B8kZvKarLovOiFgRJ5JcDkzbJltOgwXcLLJuNW8RJtw1U4JJEdr+oTmDrp8wb02n96GDd+ZxeGhpultd7KwsfCgL7eHtz4nV3cohNVYyqaQLc9cWDSfqEqZG4C1zypyiu9CdsHuamsJos6qV4YKIDvlazo35KbDDddoYiMhukSXjQZr1w63wtvRwW2DanLcEjyGSoGkDegm+NsYhI2PbenCExCkK6R8H9wuDklAa4zSYsm0PRxIVXI3ARl8KQqr2Te8CFak50rbl693GjDeB68MVA8qAjcJESSt0Q2WcKLJmNfvJ08uAobuMxxqRrAIgPXRQhuWc9c71r6ZPlnOFGlpTtJi+SterCPL2HPsnhSlVcyb1S9j0y3IAwwd1K9NlAqyfDh46PaJ8O6Mhq8yVhUFeWTlwi0d5GHih7xkOzxUDlFutXB4z8xTrqTtKm8Ab/anZUFHXk9PRQduaK7KrEZHTE5XNL0Xt4aqIEdDRx9YTT3Ot2+gEC5S+SqvR1V+BA2sI1kUGYLbERIWm+VVZDjE4ryn54A59ZrU0rSRfL3vd2ZK5jKa0GqRVhVRRVlzhWlGyiT6p4Ep3TVAGBKAlfX0y/TaFS9b0IVVRtS2/kvWciqu17D0eOjU/b0JK23eOWzvq0mbcurCP9ZWQ+NNFHrIJzSVZsoQskaHmBquzOAn3f2TfZFYSovYHLESFUetqMjZc4VhVod6YLXoobXGkPUKaBr5gwMcaqLAD3rXWbLkL5e/TOUqkCVbVRU9UIHspDV4PVvxvorXivkxPfVpAt5FeFfVITSNXMGHu+/GPevuwif6lumNA58l70N6Miru16bdF0SMdLh2rZMy5wrSl1BqVpymUBtWG/b1WV53mwr7JqvcgOijoenunLIG5QyTqpeTebBhkfMk+NNly0z4l91AiySL/RF9jagI6/1m/dgaKTaiJFNXdFFqQZKlRiZQG2FzGwZDd09DD6jKkOqqheqsfSBHQ10ECntkeLB97CsjXyRzQMDu7tqhfZNpeG77G1AR142Vj9FZFr14ZKlhvhUu2fLlpC+hcxkexhcdvltJ6jqhWzlkEDWGV+nN59POpZF0S70KnJUxcCOBo4cm1rMVOskI6Piu+yLQldeNk4cKCJTm7piglJXUKqWPC/c5FPITHcPgy/P7RNU9ULFmxTlL7N9HfPgk45lUXSVYTMnsX7zHjTHpzoDs2fOMJafz7IvCl15VR0xqjonSExwBhP3YqL9AJ4ocsOO+px5nSfP66HOGTPZ2OjxsSMHGuMjhw8U+cwqUZu/eBl1zpipev3xfT/brnjpIsbYfN3nscFRFVDRC5Gs2djo8eb+vTsBYObprzhPdA8N2auiMo6KjCMVOaqiZHmbwIgjwM1YMpFXlXOmTV3JAZcnLQMVEBAQEBBQFkrNQQUEBAQEBKgiGKiAgICAAC/hhYEioo8R0aNEtIuIrtZ431VEdIvmveYT0YNEtIOI3kBE7yKix4hoKxFdSER363+D9gQRfZmIniWiRzN/n0dE9xDRT+P/T9H4zCMGz7E+1o31HP72EtGpup/ZLpBw9K5YZuNEdL7mZwaOLELC0Xoi2k1EjxDRPxNRt8ZnTguOKjdQRPRqAB8E8DoArwXwdiJ6pcNbvgnAbsZYL2Ps3wB8AMAfM8ZWOrxnq2IDgLdw/r4OwPcZY68E8P34d5f4IwDnMsbWYip/0x0bwOfoUQCXAbivpOcIHImxAXyO7gHwasbYawD8BMC1jp+j5Tiq3EABOBvAA4yxYcbYKIB/BXBp9qLYI3yUiB4movSgW0BE3429+c+krj+S+vkKItpARMsBfAbA24hokIiuB/B6AF8govWZ+82OPZ8fxl7GO+O/n0NED8Xvf8SxMa0UjLH7APCqhd4J4Cvxz18B0Je9gIjOIKL7Yjk9SkRvSL321zGPDxDRafHfNhDRFalrjsT/3wVgNoAHiejjmMxfPXPP96a4+Qci6oz/bYifYScRrSkkFM8g4ogx9hhjTLpZJXBUDiQcfS+e8wDgAQAvzV4z7TlijFX6D5GB+gmAFwPoAvAfAD7PuW4ngJ745+74/6sA/ALAXACzEJWEnhm/diT13isAbEi955bUa/cCOD/++UIAd8c/fxrAe5P7xc84G8DnAVwZ/30mgHrVMnTMz2IAj2b+NpT5/SDnfdcA+ET8cyeAF8U/MwDviH/+DIDr4p83ALgi9f4jgp+z/O0FcGqsR98BUIv//r8AvA/AeQDuSV3fXbVMy+Ao9dqEfgeO/OQofv07yXwTODrxr/LjNhhjjxHR3yBa7h4B8DAA3jkb9wPYQES3A7gz9ffvM8YOAQAR/RjAIgBPWXi0NwO4hIj+e/z7LAALERnQTxDRSwHcyRj7qYV7tSN+CODLRFQDMMAYSw7GOg4gyfNtB/A7lu73JkSD6IdEBAB1AM8iGmwvI6LPA9gE4HuW7tcOCBx5ACL6BKI57zbOy9OaIx9CfGCMfYkxdi5j7I2IlsJTJn3G2IcAXAfgTACDRPTi+KUXUpeN4UR3jPQGr1kGj0UALmeMLY//LWRR2OTrAC4BMAJgMxH5dTRqOXiGiM4AohAEIgWeBBaFNd4IoAHgq0T0vvilJotdMEzmaxSxPlI0MpQ3P8cgAF9J8bWEMXYDY+wgotzmvQA+AuCLmp/btggcVQ8iej+AtyOKykzZlDrdOfLCQBHRS+L/FyJK7H6Dc83LGWMPMsb+EsBziAyVDM8Q0dlE1AFOTksBmwF8NCYZRNQb//8yAL9gjH0OwF0AXmPw2a2OuwC8P/75/QC+nb2AiBYBeJYxdiuALwE4N+cz9yLy3IAox1UTX8rF9wFckdKleUS0iKLKpA7G2B0A/kLhOaYNAkfVgojeAuDjAC5hjA0LrpnWHFUe4otxR7wiagL4SGyts1hPUUECIRLiwwCWSz5zHaIl8FOIKppO1nymTwL4LIBHYiO1F5GnsxrAe4moCWAfgL/S/NyWARF9A1Fe7lQi+iWA6xljXwLQD+B2IvoAgCcBvIvz9gsBrI3ldARRHFuGWwF8m4geQsTvUZ1nZYz9mIiuA/C92ClpIvL0RgD8f/HfAPeVUqVCxBERXYooXzofwCYiGmSMrcq8/UIEjpxDMo5uAXASgHtiP/iBOFKUxoWYxhyFVkcBAQEBAV7CixBfQEBAQEBAFsFABQQEBAR4iWCgAgICAgK8RDBQAQEBAQFeIhiogICAgAAvEQxUQEBAQICXCAYqICAgIMBLBAMVEBAQEOAl/n/5ppf4F1Lk3wAAAABJRU5ErkJggg==\n",
"text/plain": [
"