{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "4d5fa673-cb17-47e7-a731-f729eeb9c103",
   "metadata": {},
   "source": [
    "# Example linear program - snack optimization\n",
    "\n",
    "You want to buy some snack for the evening and you have two options:\n",
    "\n",
    "- *Chips*: a pack costs 38 Kč and it has volume 1.8 liter.\n",
    "- *Peanuts*: a pack costs 47 Kč, it has volume 0.1 liter but\n",
    "  you know a pack of chips would make you three times as happy as a pack of peanuts.\n",
    "\n",
    "You have only 150 Kč in you pocket and 4 liter of space in you backpack.\n",
    "What you should buy to maximize your happiness."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "id": "5f04807b-5b4b-4a14-b530-bee46d7e8227",
   "metadata": {},
   "outputs": [],
   "source": [
    "P = MixedIntegerLinearProgram(solver=\"glpk\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "6d0a6991-e565-442d-95f3-2884763dbb96",
   "metadata": {},
   "outputs": [],
   "source": [
    "xx = P.new_variable(nonnegative=True)\n",
    "chips, peanuts = xx[\"chips\"], xx[\"peanuts\"]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "id": "b6e08791-c4b9-40d1-8c42-b52381348faf",
   "metadata": {},
   "outputs": [],
   "source": [
    "P.add_constraint(38*chips + 47*peanuts <= 150) # money\n",
    "P.add_constraint(1.8*chips + 0.3*peanuts, max=4) # volume"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "9f31ab2b-7a0e-41d4-bd42-837e38e6f6b7",
   "metadata": {},
   "outputs": [],
   "source": [
    "P.set_objective(3*chips + peanuts)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "id": "6a400e0f-326b-4c64-b16c-2f8544f20be4",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Maximization:\n",
      "  3.0 x_0 + x_1 \n",
      "\n",
      "Constraints:\n",
      "  38.0 x_0 + 47.0 x_1 <= 150.0\n",
      "  1.8 x_0 + 0.3 x_1 <= 4.0\n",
      "Variables:\n",
      "  x_0 is a continuous variable (min=0.0, max=+oo)\n",
      "  x_1 is a continuous variable (min=0.0, max=+oo)\n"
     ]
    }
   ],
   "source": [
    "P.show()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "id": "77169b16-202e-4043-87f3-61df14319290",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "7.472677595628415"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "P.solve()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "id": "ddd4a5c1-4629-4871-814a-9c66c7f47248",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(1.953551912568306, 1.6120218579234966)"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "sol = P.get_values(chips), P.get_values(peanuts); sol"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "id": "48b87c9f-a7ee-4914-a133-9c970cec68e5",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAA8AAAALQCAYAAABfdxm0AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8g+/7EAAAACXBIWXMAABcSAAAXEgFnn9JSAAC5G0lEQVR4nOzdeXxcV33///doxnZiO8lYzr5gLQRCVGgr2SwB0kIk0kKBQC3C1tIvP2K1tAUVWovQFvptS1ObUkRb+q0UlpalkMhAgZbNSsNOwLaAggLFWAtJyGp7Eu/WMr8/pJFnNHeke+85Mzp3zuv5ePCIfXTnzseSbfzWec+ZVD6fzwsAAAAAgDrXsNIDAAAAAABQCwRgAAAAAIAXCMAAAAAAAC8QgAEAAAAAXiAAAwAAAAC8QAAGAAAAAHiBAAwAAAAA8AIBGEAog4ODSqVS2rBhg8bGxiI9JpVKVXk6AAAAYHkEYKDOjY2NqaurSz09PRWv2blzp7q6ujQ8PFzxHoXH33HHHWppaanKrAAAAEA1EYCBOtfS0qKuri4NDg4GhuBdu3apr69PktTZ2Rl4j66uLknSwMCA2tvbqzcsAAAAUEUEYMAD27dvV2dnpwYHBzU4OLiwPjIyou7ubrW0tGj37t2Bj+3u7tbY2Ji2b9+ubdu21WpkAAAAwDoCMOCJ3bt3q6WlRT09PRoeHlYul9N111238LEgg4OD2rVrl7Zu3aodO3bUclwAAADAOgIw4JFC0O3u7lZHR4dyuZyGhoYCX9Oby+W0e/dubd26VUNDQ7UeFQAAALAus9IDAKidQtW5q6tLuVxO27dv19atWwOvzWazBF8AAADUFQIw4JnOzk7l8/mVHgMAAACoOSrQgAW5XG7hrYRaW1uVSqXU2tq6cIBUJbt27VJra+vCKcvSmYOpWltbF05nNn0e6cxbHRXelzeVSqmjo0M9PT0aGRkpuz7se/gODw8v3HfDhg3q6urSzp07lcvllvx1F+5d6a2Xgq4N+/7DAAAAQKA8ACNDQ0N5SUv+b2BgIPCxAwMDeUn5lpaWfD6fz2/btq3kcdu3bzd+nsOHD+dbWlqWfezhw4cDZ1vqr4niaxb/L5vN5js7OyveI5vN5iXlt27duuTnt3CP9vb2Ja8DAAAAlsMOMGDo0KFDkubeamjfvn06fPiw8vm8Dhw4sPC+uj09PUvuXh46dEjd3d0Lb1G0detWDQwMlLxvb9znueWWWzQ2Nrbwmt58Pr/wuMIhVy0tLcpms5F+3cPDwyXz7dixQwcOHFA+n9fu3bu1efPmJXd3C2+ptGvXroq7xblcbuEeQe9hDAAAAESRyud5MSBgIpfLLRkeN2zYoFwuF3ia8uDgYEmwa2lp0dDQkNrb2609T0dHh0ZGRrR9+/ZIb2VUPFvQXxOtra0LYfvAgQOBJ0l3dXUtBNjF9xgbG1Nra6ukufC8ffv2ssfv3LlzoQZ++PDhyCEdAAAAKMYOMGBouVBW2J0Nep3tYpXCr8nzLPVa3Lh27dq1EH4HBgYCw6+kktc2L9bS0rIw88DAQOA1t912m6S5HXHCLwAAAEwRgIEqK4TD5Q5w2r59e8Xwa/I8hZBZ2E21cZDUnj17Fn5cqDLHUdjdHRsbK6tLj42NLYR56s8AAACwgbdBAiwbGRnR3r17deDAgZLXsC5nqd1Sk+fZsWOHbr/99oUTpHfu3KlsNqvNmzeru7s7VoAtBFOTwC7NhfNsNqtcLqeBgYGFsC6d2RXOZrMl6wAAAEBcBGDAgrGxMfX19WnXrl2x77F58+aqPE82m9X4+LhuuummhccVAvPw8LD6+vp0xx13RAqzhQO5GhsbQz+mkptvvjnw11T4uckOMwAAAFCMCjRgaHBwUK2trdq1a5ey2ay2b9+uoaGhhRORgw53CrLca1xNnqdwAvThw4c1NDSk7du3L1Smc7mcrrvuukivFS4EXxt16uKAWwi9Y2NjC/em/gwAAABbCMCAgZGRkYWAtn37dh0+fFg7duxYeGsh154nm81q69atC29ZtHv3bklzIbjwFkxhFHaLbQTgwkzSmdpzIQi3t7db/TwCAADAbwRgwEDhdbfZbLbiWwzZOIW5Ws/T2dm58Pra4oOtlrNly5aFH5vUvgtuvvlmSWd+nYXTn9n9BQAAgE0EYMCCpcJn2EOwqvU8ywXUwi5ulJ3W4p3nm266KXCusbEx3XLLLaHuV7zTu2vXroVDtnj9LwAAAGwiAAMGik8n7ujoKHkP3l27dqmjo8NKTdjkeW666SZt2LBBfX19Gh4e1tjYmHK5nEZGRtTd3b3wuBtvvDHSTIWd6Fwup+bmZu3atWshCA8PD6ujoyPSrnThLZEKNehCLRoAAACwJZXP5/MrPQSQZN3d3Uvusra3ty8E1sV/3AYHBxdqvsv9UYz7PK2traHeg3hxtTrMbIX3Fq40z+bNmxdeWxzmr5pUKrXw4927d/P2RwAAALCKt0ECDA0NDS28jc/Y2JhaWlrU3t6uLVu2aNu2bRoeHl54TetKPM+BAwc0PDysoaEh7d27d2EHuPBewH19fbGDZuE06VtuuUUjIyML9+zp6dHWrVu1a9euhbdMCmPbtm0aHBzkvX8BAABQFewAA3BGX1+fdu7cGbgjDQAAAJgiAANwxoYNG5TL5XTgwAHe/ggAAADWcQgWACcMDw8rl8ups7OT8AsAAICqIAADcELh9Gfe+xcAAADVQgAGsCKK37d4165d2rVrl1paWnj7IwAAAFQNrwEGsCKC3p6Jtz4CAABANbEDDGBFdHZ2KpvNSpJaWlo0NDRE+AUAAEBVsQMMAAAAAPACO8AAAAAAAC8QgAEAAAAAXiAAAwAAAAC8QAAGAAAAAHiBAAwAAAAA8AIBGAAAAADgBQIwAAAAAMALBGAAAAAAgBcIwAAAAAAALxCAAQAAAABeIAADAAAAALxAAAYAAAAAeIEADAAAAADwAgEYAAAAAOAFAjAAAAAAwAsEYMAzL3rRi/SiF71opccAAAAAai6z0gMAqK0DBw6s9AgAAADAimAHGAAAAADgBQIwAAAAAMALBGAAAAAAgBcIwAAAAAAALxCAAQAAAABeIAADAAAAALxAAAYAAAAAeIEADAAAAADwAgEYAAAAAOAFAjAAAAAAwAuZlR4AQPXlcjnlcjlJ0tTUlPafSCv1xfkPZhb913gtP//f6aK1mYUfNsz/OF20lp6/NlOyFnBden5NZ+6dUWGt6DpFu6742kzgfeLfO/x14Wap5r1NrlvZGar59Z4uWwv99Z6ZX5suum56dv6/KrruzI9ThfWijy88TfHa9KKPFa/FuW6p5wi6Ls59ajHrch/3ZNZ80XWF335TxWvTAWtF95la9N/ip6vm2tSijy23Zvp8kvQX+bwA+IUdYMAD/f39am5uVnNzs/bv3y8dOWj3CaaD1lb++2szAd/jm1F6BSZZXtBc0w7MGjSDu59DN7/eM5mAz+HK//EIFjSXC7O6OlcQR2ddFTBD0JoLHP0UAqgTBGDAA729vRofH9f4+LiuvPJK6ZyN5RcFhtiQa5ZMTwcEhaA1B4JO2BlqPWvwDOHCda0/h2FnqPWsYT+HYb/eVRX0aQgaIex1tpjMUOvvWbg6a9gUGDBDqsa/DVdZXrOl1s8HIBkIwIAHstmsmpqa1NTUpFWrVkkNy/zRNwnD06mAtXDBNg7bIcpW2DK5t0m4jsP2DGHD4vJzxb+3ydc7jsB7p4N2fsv/7AX+UbC1BWYQomoepG3PWuvPoe1Z4wi4T0ABQZmQ19kKkGF/ya4GaQD1hQAM+M7Wjm7IGvRsYBgOCDpB181UM0TZDVtx1CK4xwnNtZjB1o6u/a93+XVxvt5ha9B5R0OUE4HP5zBvadawNeigMFnN7zEEMXk+KtQAlkIABnxltMtrZ4SgkOtqDboWu6Tx5qr+LqktLuzMBwkf3Gtcg3Y0RAWqxaxx1CLMOzqrrRq07V3Zau7eslsMIAwCMIBgNahBxxG0C1yLGnQcPu+S1nvAD/17yaQGbYsnga/mr2l2YdaQM5jUoG2pRQ0aAMIgAANIVA06DmrQ5qhBW5iLGrQ5dsWNUYMG4DsCMFAjIyMj6unpifSYvr4+9fX1aefOnerp6dHY2JjdoahBR8IuadS5qr8zTw16HoGvMmrQxqhBA6gnfDMMqJHu7m61t7eHvr6jo0M333yztm7dKknK5XLq6OjQ7t271dLSUq0xS02r/G+J0GspKZNftJaWMjPGY83MpJVOl95nWmllVLo2o7TSsnddrFkNZphRRulF32kIui7eXOHubXKdLeFniP+5jiP076V0WpmZRddlGpSenl10nZU/HsEyKv+mVdBaWir71IS9rppzmcxqi6uzhpwhk5amF82QyUjTIa6zJeyna5WkqZhrALAcdoCBGti5c2ek6wcHB5XL5RbCrzT3VkZbt26NvIscGjXoiNdRgzadwY1dcWrQFVGDNufoTjM16DnsAgN+IgADVTYyMqJsNqtsNhv6MUNDQ4G7xVu2bNHw8LByuZzRTA2zs2qYnf8WPzXoimrxvr1JrUHPHmvQ7PHl/y+EGnSV1EHgm86nlZs5TzP5hiWvq+lcDoRTatDRzKxbp5m1a6tybwD1iQAMVNltt92mbdu2RXrM8PCwGhsby9YL1efh4eFYs3zjG9/QI488oo2nDupN//NudTy8b/kHeXwatC31tEs6e7hBx/91gx77u4v12Dsv0tGPNGr2SEPF+9ni6uuca3IadB3uRn7ryDP09w+9We95+I/07sNv0p4TW5Z/vlqH+SAJ3xWvp9Ogp887Tw/+9m/rwT/5Ez24fbse+a3f0sy559oZEkBdIwADVVQ4vCqKMLu7hw4dijzLD37wAw0PDyufn3td7vrpY3rh5H+q5dEDZy6iBh3xOr9q0Pm8dPxjGzQzuXp+JaXpA2fpsdsviD2DawE/6nWx5vK8Bj164mp96bHrdSI/t2t3bHa9PnfsBdp/+kr7cyVsVzz2dTEkvQb98CteoZNF52Gcbm3VYzfeWNO5ACQTfwcAVTI2NqZsNhv5wKpCuF2qMh0mJLe1tZU9ZmpqSocOHSrZXe54ZERj57UaHHYVsBbDzHRa6UUnAE1Pp5VZtBZ0XTUPi7J9YJUbB1vFOyxq9p6M8g8HhMV7V2v6oVXKXBh8HI3tA6tcONgq/Jqlw8FqcYhVjQ5lGjnWEfiwkZPtuvLc/ck+cMvRWVMZKW/ha2tyOJXNg61OXnaZTl98cdn61GWXaerii7XqgQc4NAtARewAA1UyMDAQufoc1sGDByM/prDzu9iamVPLP5gatLG6qEGfDPhazsvPf4wa9BIzmNSgbXFgN/LU7JrA9ZP5s5Z/PmrQlXlUg54966yAj8zJL/ExAJAIwEBVDA4Oxj6tOei1vwWF3eGNGzcue5/R0dGS//37v/+7fv/3f7/s/j/JPqH0gdSgI17nTw26oWlKWj1btp5aN6PUZeXbXokL+DGvizWXxzXoJ6z9SeDTPGH1/0aZihq0BUmtQZ/1s5+p4cSJsmsajh3T2ffcU9O5ACQPARiwbGxsTLlcLvZ79Raqz0E158JanHtfc801uuKKK0rW9p/zeO07f76OyGnQFXEa9JzUamnVi45K6aI2wapZrX1xTqllxuc0aAvqJPA9/dxvadPqiZIPta7+qbactafyY23tRtZi99bRWevpNOiGqSld8JnPKFX0JsapqSllP/1ppYrec3u5exOCAT+l8pV6kQBiGR4e1sDAQNn6rl27lM1m1dnZqZaWFu3YsaPiPbq6uiRJu3fvLlkv7CwfPnw40tsqFeTzeT3hCU/QfcdmdOE779Tk+k2l/wLILPpvpR/HWpv/qyZTlJbnX8vbUPSa3sLre9NF12UW1sqvk6R0ev7jRUm88DrO4tdkplWt64rXpkuur9W9410X7975oynlf7xKapBWXXVSmbXTxjMEfT5s/fqq+fui+OOh7z3/D/T0dNF107Pz/1XRdXP/TRV/g6nw45mAteLrZgLWbN8n7HUBz5GfksZPteih6Qt0ccODalozUfneNmZd7rFRn8PVWZf5ePHrgAu//aaK16YD1grXFd2u8OPpkGvF63HWKt17et06HbnqKimf19of/1izx49HnquPfwYD3uGbX4BlnZ2d6uzsLFvfsGGDOjs7NTQ0tOw9uru71dfXV7a+b98+tbe3xwq/kpRKpbR69WqdOKm58CtV9WCr4HtnSkOw5mrQDWWHXWVKQvDcWvkBWHHYPrAq7EFN8WZ177Co1Pq8UptPW53B2mFRAex/ve3MOpNJl4TgubXSECzN1aBTi58u7KFMNTrYasm1oEOZVkktqTG1aMzs0Kg6Ohws8gyWDtxalSkNvBXXVH6AVDV/ywVZfO/MsWPasG/fwtpsheuqPReAZKECDdRILpcrqzXncjmlUil1dJSeirpt2zY1NjZq165dJdfefvvtuvXWW+0MZLvyTA060gxJrUGbzUUN2lid1KBjzeBotThJs9ZTDTosW/cBUD/YAQaqrKenR2NjY5Lm6tHd3d3asmWLtm/fvvA2SZs3by573L59+9TX16c9e/Zo48aN2rNnj+644w61t7fX+pdwRtjd4sC11Jka9MJa+kzP08DMTHqhBn1mhOS8pY7tt1qKw9VdUrNZHf16p9MLNeiF6zINCzXoM9dZ+eMRzNHdSNs7zU7sgDs6ayZ9pt68sJY5U4Ne6roqjhW4ZvMtlKJcB6A+EYCBKgt6PXCxAwcOBK5ns9llH2sNNej5Nbs1aFtcrEFXYwYfA77PNeh6rxYHcnTWJNegTdcA+IcKNOAzatCRUIO2MRc1aGPUoM1RgzZGDRpAUhGAAURjFJBTAWuWgtWMmyEqiMkMboTm+NfZ4mrAD/17Lh1wXab8/5It/fHwOvDVPMwnaNaAt6NWJuR1toT9dNkOzYRiwF8EYABzqrijG3zv8n/izAbu8gYEHVuh2XrgCxe24kj6LikBf4m5AtLFTMCt87UOUUESHvhqHuaDODrrqoB7B64FPNbkt0Uctr4XQQgG/EQABnxHDToSatA25qIGbYwatDmPd8WpQQPwGQEY8JVJUKUGbYxd0qhzVX9nnhr0EmsJD3zsildeq3UN2uTTVevQDKA+EYABnEENen6NGnQUtahB2+JswKcGbY5dcWO1qEHbYvsl2QD8QQAGPJDL5TQxMaGJiQlNTU1Js6XvN0oNOhpq0DbmogZtjMBnzuNdcWrQAHxFAAY80N/fr+bmZjU3N2v//v3SkYPRbmA9IPtXg+awqOpwNeBTg7Yg6TvNCZqVGjQAnxCAAQ/09vZqfHxc4+PjuvLKK6VzNs59oJqV5yAe16BtSfouKQF/ibmoQZtzNcwHcXRWatAA6h0BGPBANptVU1OTmpqatGrVKqkh4I8+NehIqEHbmIsatDFq0OY83hWnBg3ARwRgAOFQg64KdkmjzmV3Z96F0EwNeglJ32lO0Kw+1qDZBQb8RAAGfJQv+jE16Ln71KAGzWnQ0a5z47XD1KArSnjgowZdmS81aAB+IgADvqpF5ZkadKQZ3NjRpQZdCTVoCxwNfD7vivtYgwbgNwIwADPUoCPhsCgbc1GDNuZx4KMGXXnNlxo0QRrwGwEYQM13dH2uQduS9F1SatBLzEUN2pyrYT6Io7O6WoM2eT5q0AAkAjDgN2rQxqhB25iLGrQxatDmPN4VT1INGgBMEYABRMNp0MaoQduYixq0MY8DHzXoymvUoAHUOwIwgDmcBj13H2rQxqhBW5iLGrQ5V8N82OdzYFZXa9BB4vw2JAQDfiIAAz6K8zZI1KArogZtYy5q0MaoQZtzNcwH8bgGTXAFYIIADCA6atDGqEHbmIsatDFq0OaoQRtbqRo0AD8RgAEP5HI5TUxMaGJiQlNTU9LsbO1Pfg5CDdpY0ndJa12DrsXOfN3XoOsw8NU8zAdxdFZXa9CcBg0gLgIw4IH+/n41NzerublZ+/fvl44dLL2AGrQxatA25qp+DdoWr2vQtrg6q8e74kmqQQNAXARgwAO9vb0aHx/X+Pi4rrzySmndRvObUoM2Rg3axlzUoI15HPjYFa+8Rg0aQL0iAAMeyGazampqUlNTk1atWiU1zP/RpwZdETVoc9SgzTlbgw6S8MBX8zAf9vkcmJUaNIB6QgAGMIcatDFq0DbmogZtrBYhqt7DqathPgg1aACIhAAMID5q0MaoQduYixq0MWrQ5qhBG6t1DZpdYMBPBGDAd9SgK3K1Bl2P75lb6xp0EGcDPjVoc66GeWrQxmr9fACSjwAM+GqlKs/UoCPN4Ebgq78adO2/3tSgK3I08Dkb5oNQgwaA0AjAAMxQgzZGDdrGXNSgjVGDNkcN2lita9AA/EMABkANegmu1qCDJH2XlNOgK3O2Bl2HgY8adGXUoAHUAwIw4DNq0IvWklOD5jToaDNwGvQSa7UOfEFcndXVMB+EGjQAhEIABmCOGrQxatA25qIGbYwatLk63BWnBg2gnhCAAcyhBl2RqzXoejwsihp0ZdSgLXA1zFODNhbn+QjBgJ8IwICP8st8nBq0MU6DtjEXNWhjjoaoQK7OmvQwTw0aAEoQgAHf2drRpQZtjBq0jbmoQRujBm2uFrvitnhcgwbgJwIw4IFcLqeJiQlNTExoampKmp11Yvc2/PNRg648FzXoanA24FODNudqmKcGbYzToAGEQQAGPNDf36/m5mY1Nzdr//790rGDyz/I0cpzEGrQ5lzdJa3HgE8NegmuzupqmA9CDRoAlkQABjzQ29ur8fFxjY+P68orr5TWbSy9gBr0/AjJCVHUoJeaixq0MWrQ5upwV5waNIB6QAAGPJDNZtXU1KSmpiatWrVKapj/o+/Cji416KpI+i4pp0FXRg3aAlfDPDVoY9SgASyHAAygMmrQxmpRg679jm791aBtoQZtgauzuhrmg1CDBoCKCMAA5lCDnh9h5QMfNWgbc1GDNkYN2lwd7orXUw2aXWDATwRgwEfF7wPswo4uNWgLc1V/lzRJAT8OatAW1GHgowZdWdJr0AD8RAAGfBU2vFKDNsZp0DbmogZtzNEQFcjVWV0N80GoQQNAIAIwgDOoQc+PsPKBjxq0jbmoQRujBm2uDnfF66kGDcA/BGAAbuzoUoO2MBc1aFPUoC2ow8BHDboyatAAkoYADPgs6TXokPVmatDRuLpLSg3aAkdDVJICX+LDPDVoAJ4jAAMolaQatCXUoM05u0tKDdqcq4EviKuz1mJX3BZq0ADqHAEYwBwndnTDrlGDrjwXNWhT1KAtoAZtLkG74kmtQROCAT8RgAGE42oNOgA1aHOu7pK6WoM2C+7UoCM9nwuzuhrmg1CDBoASBGDAA7lcThMTE5qYmNDU1JQ0O3vmg07s6IZd4zRo0xmoQUedwc3XDlODXoKrs9bhrnjSa9AA/EQABjzQ39+v5uZmNTc3a//+/dKxg+7u6FKDtjAXNWhT1KAtqMPAx654ZUmqQQPwGwEY8EBvb6/Gx8c1Pj6uK6+8Ulq3Md6NXA3NAahBR5Okw6KoQVvgaIgK5OqsSQ/zHtegq1lAAOA+AjDggWw2q6amJjU1NWnVqlVSw6I/+k7s6IZdowZtOoMbrx2uv4Bvi9c16CTNGkctdsVtoQYNoE4RgAGfubqjSw3awlzUoE1Rg7aAGrQ5atDGCL4AihGAAUTjbGgOV2+mBh0NNWjzuahBR5SgwJf4ME8NGoCHCMAA5jixoxt2LaAGbYnPNWhOg17qOmrQktwNfEFcnZUatDFbNWhCMOAnAjDgo3zRj53d0Q27Rg268lzUoE1Rg7aAGrS5BO2KU4MG4DoCMOCokZGRsrVcLqexsbEVmGYRV0NzAGrQ0XAadHXmogYdUYICX+LDvMc1aAB+ov0BVMnY2JgGBgYknQmufX196uzsDPX46667TrlcTu3t7Qv3kKR9+/bZGXBa5X8DhF2r9fMFrqWkTH7RWlrKzJjNqbkadDpdep9ppZVR6dqM0kor3nVx2J5hRhmlq/Tdh6B7h52hmrOazRDuc21L6K93Oq3MzKLrMg1KT88uus7KH4+5P4uLvxRh19JS2acr6DpbXJ3VZK6ws9oScoZMWppeNEMmI02HuK6KYwWurZI0ZT4CgIRiBxioglwupx07diz8b2BgQD09Perq6tKuXbtC3aOxsVHZbFYjIyPK5XLaunWr9u3bp2w2a39gV3d0qUFbmIsatClq0BZQgzaXoF1xatAAXEYABqpgcHBQg4ODJWG3sPN7yy23hLpHe3u7Dh8+rHw+rwMHDmjHjh3VCb9xORuaw9WbqUFXRg26OnNRg44oQYEv8WGeGjQAjxCAgSpob29XNpstCaxOhdcCZ3d0w65xGrTpDG68hVL9BXxbOA3aAldnrcWueBwG33hI6mnQAPxCAAaqoLOzU4cPHy55vW9hN7inp2elxlqaszu6YdeoQVeeixq0KWrQFlCDNleLXXFLqEEDcBWHYAE1MDw8rL6+Pg0MDGjbtm2hHzc4OKhcLqeDBw9qbGxMN99888KhWE6wfrBVwFqsucpP+5mZTiu9aG16Oq1MiOvCHpIUa1SDA6uSfliUrc+h7RlsHWxldkBZ2DVLB5nZPhjK1qFMYZ/PhVk9PnArlZHyFmYNOpzK9trijwPwDwEYqKKRkRENDw9rz549am9v1+bNm0M/NpfL6WUve9lCdXpsbEytra3avXt3qJOk29raAtcPHDggndd6ZqEeT4O2hNOgzXEatDlOg67hXPU4qy0hZ0jSadAA/EQFGqii9vZ2bd++XUNDQ7rxxhvV0dER+hTo3bt3l7xuuKWlRZ2dnfYq1LWoPFODnl+jBh0FNWhzXtegbfG5Bl3np0ED8BsBGKiRrVu3KpvNqru7e+E9faNqaWnR2NiYxsbGlr12dHQ08H+tra3LPjYSZ0Mzp0Gb4jTo6szFadARJSjwJf41zQazJuk0aKrPgN8IwEAVjIyMaGRkpGy9UIEeHh5e8vFdXV3q6Oio+PG4AboiZ3d0w65xGrTpDJwGHXUGToOW5G7gC+LqrHW4K56k06AB+IcADFRBR0eHOjo6YgfVvXv3Bj720KFDkmTvICxq0IvWqEFLBPylUIO2oBaBr9azsiteETVoAK4hAANVkM1mFyrPxfbu3StJyx5itW3btrnDqhYZHh4OdQBWzTkbmqlBm6IGXZ25qEFHlKDAl/gwTw0aQJ0jAANVsGPHDnV1dZWs7dq1S7lcTgMDAwvBOJfLKZVKldWde3p6yg672rlzpyRpaGioOkM7u6Mbdo0atOkMboTm+gv4tlCDjqged5prXYM2+MZDEmrQhGDATzRJgCrYtm2bhoeHS0Ls2NhY2VsYZbNZtbS0lL09UktLi/r6+hYef+jQITU2Nmp8fLxsV7kqnH1/37DPl5EypSl5djqthrL3/M0ovei6oPcBjsP+2//U93vmBnH17Z5sv41TVWfNpJWeXvzWSFJ60a3zGSnF2/8EM5mhmrOGfT6TWS1ZlZGmpkOsqfx9e8P+kgAgrFQ+n6/OG2gCcFJbW5vufkTSm0bPLGYW/TfOmq37GK0V/XVWHGznA21xAC6E3OIAnFlYC7iu6P2AC8GkOHQVAkxa8a8rvjZt+d7LXzdTcn2t7m37utrPEO7zYTpDYS3016To/YALAbj4/YALAbj4ez0lAbjw45mAteLrZgLWol633HPYuk8tZg37a1mpWaPMYDBrfv7Hxd97KYTd4vcDngq6TuU/nq7i2q/zz2DAO1SgAV858Rpd22vUoE1n4DToqDNU87XD5TNQg46IGrS5Oq9BA/APARhAMGcPtgq7Vv5PHE6DjnZvAn5ltXidsy1enwZti6sHbtXicDBLOA0agCsIwAAc3tE1G+fMfTgN2hSnQVdnLk6DjojToM3V4BsPSToNGoB/CMCAz5wIp7bXqEGbzkANOuoM1KAleR34EjVrHNSgAdQRAjCAypzd0Q27Rg268lzUoE1Rg7bA1cAXxNWdZmrQABAJARjwQC6X08TEhCYmJjQ1NSXNzpZf5OyOrtk4Z+5DDdoUNejqzEUNOiJq0OaoQUsiQAO+IgADHujv71dzc7Oam5u1f/9+6fjBMx90IpzaXrNTgw4MvtSgI6nFLqkbs1KDluR14EvUrHHUYQ0agJ8IwIAHent7NT4+rvHxcV155ZXS2RvDh1dnd3TDrsWvQdvicw3aFp8Dvi3UoC1wdaeZGjQAhEYABjyQzWbV1NSkpqYmrVq1Smqo8Eff2R1ds3HO3IcatClq0NWZixp0RNSgzVGDBuApAjAAR8Kp7TVq0KYzcBp01BmoQUvyOvAlatY4qEEDqAMEYMBn1KBLUIOuvEbAr4watAWuBr4gru40U4MGgFAIwABKObujazbOmftQgzZFDbo6c1GDjogatDlq0AA8RAAGMMeJcGp7zU4NOgg16Gg4DdrGXNSgjVGDNldHNWhCMOAnAjDgo3yMxzi7oxt2LX4NOmjnNw6fa9C2+BzwbaEGbYGrO82O1qCDdoGpQQNYKQRgwHdOhFODtTioQRujBl2duahBR0QN2lyCvvFA5RmADQRgwFfOhlPba5wGbTqDG6G5/gJ+vLmoQRujBm0u4TVoAH4jAAMIL/GhOX4N2hZq0OZ8Dvi2UIO2wNWdZmrQyyIUA34jAANwJJwarMVBDdoYNejqzEUNOiJq0OYS9I0HatAATBGAAZ85G05tr1GDNp3BjdBcfwE/3lzUoI1RgzZHDRpAQhGAAUST+NBMDbryXG7ukgbxOeDHmyvg3tSgo0nSTjM16GURigF/EYABD+RyOU1MTGhiYkJTU1NSfrb8IifCqcFaHNSgjVGDrs5ctmvQ1hD4zLHTbMxWDZoQDPiJAAx4oL+/X83NzWpubtb+/ful4wfPfNDZcGp7jRq06QxuhOb6C/jx5qIGbYwatDlq0AASiAAMeKC3t1fj4+MaHx/XlVdeKZ290SyoJj40U4OuPFf97ZLWY8CPNxc1aGPUoI25VIMG4CcCMOCBbDarpqYmNTU1adWqVVJDhT/6ToRTg7U4qEEbc3WXNEg9Bnxq0BGfjxp0Za5+4yEAp0EDiIsADMDhcGp7jRq06QxuhGYCfqUZqEFHRA3aHDVoAAlDAAYQT+JDc21r0LUJfPVdgw7ic8C3hRp0RNSgjVGDBrCSCMCAz5wNpwZrcdSgBm2LzzXoeg/4tahBW/u9SeAzx06zMWrQAOIgAAOY42w4tb1GDdp0BjdCc/0F/HhzUYM2Rg3aHDVoAAlCAAYQX+JDc21r0EGoQZvzOeDHmyvg3tSgo6EGbcyFGjS7wICfCMCAj/JFP3Y2nBqsxcFp0MaoQVdnLk6DjsjRwBeInWZjVJ4BREUABnxViyDqbGimBm06gxuhuf4Cfry5qEEbowZtLkE1aAB+IwADMJP40FzbGjSnQVdnLp8Dfry5qEEbowZtbKVq0LwOGPAbARiAw+HUYC0OToM25uouaZB6DPjUoCM+HzXoylz9xkMAatAAoiAAAx6ZmZnRkSNHpBOPSONfkKby5Rc5G05tr1GDNp3BjdBMwK80AzXoiKhBm6MGDSABCMCAJx599FE9/elP1z333CMdf0j6xK9Lt18nTZ2IdqO6fO0wNehK6nGXtB4Dfry5qEEbowZtjBo0gFojAAMeyOVyeutb36q9e/eWfuCeO6XvDcz9uJpBNIizoZkatClXd0mD1GPApwYd8fnqMcwnaVZL4tSgCcGAnwjAgAf6+/v1z//8z8Ef/OnnytecDae216hBm87gRmgm4FeagRp0RAkKfM7OSg0agOMIwIAHent79cxnPjP4g+nV0W9IDdoYNejqzOVzwI83FzVoY9Sgja1UDRqAnwjAgAey2az+6I/+KPiD93xZGvvC3I+pQc/fhxq0KVd3SYPUY8Cv5jdEAneBCXzm2BU3xmnQAMIgAAOe+M3f/E29613vOrOw7lIp+3hp6pg09ALprp1SvuhUaGfDqe01atCmM7gRmgn4lWawXYO2xufAl6RZ46AGDcBhBGDAIz09PWd+8pofS7/zQ+nJr5Pys9KX+6TPvkqaOh7uZtSgjVGDrs5cPgf8eHNRgzbGrrgxatAAaoUADPgq1SBpjfS8Qem690oNGenuj0n/+iwpN1l6LTVoSdSgo3J1lzRIPQZ8ToOO+HzUoCtz9BsPQbvA1KABLIcADPgulZJ++fVS9x3S2gukB78rfWCzNPkVh8Op7TVq0KYzuBGaCfiVZuA06IioQZurQQ0aAOIgAAOYc8W10mv2She1S8cfkT7aKe19b+nrghejBm2MGnR15vI54Mebixq0MWrQxmpdg2YXGPATARjwXXEIPO9x0qu/Jl39Cml2WvrCH0ifuUmaPkUNep4LNWjbQc7dwEcN2nQGToOO+Hz1GOaTNGsMJjVoAH4iAAO+qhQcV62VXvhR6bp3zr1O+Lvvl/71OdKR+5d/bNy1ODyuQdvi8y6pG7MmuwZtDYHPnKuzUoMG4CACMIByqZT0jD+WXv456aysdO+3pIEO6Z5vl19LDdoYNejqzOVzwI83FzVoY+yKG+M0aADVRgAGUDkYtl4vvXaPdMHV0tH7pfddK+37YG1nsLkWh6M16CDUoKPOZXcGVwM+NeiIz1ePYT5Js8ZADRpAFARgwGdhgmPj46XfuUu66gZp5rT0qddK//VG6dRUvPtVWovD4xo0p0GbX2dLkgI+NeiIHA18gVydlRo0AMcQgAEP5HI5TUxMaHJycvmLg6w5R3rZJ6Rf/Yu5n3/rH6R/vV469sjcz6lBG6MGXZ25CPhR56IGbYxdcWPUoAFUEwEY8EB/f7+am5vV1tZW+aLlgmFDg/Srb5du/JS0er00fqf0T1ukn3/f3qDOhmZq0KaStEtajwGfGnTE56vHMJ+kWWOIU4MmBAN+IgADHujt7dX4+LhGR0fDPWCpMPmkG6Seu6TGVunwhPT/niF9/7Zwj11uLQ5q0MbYJTWXpIBPDToiRwNfIFdnpQYNwCEEYMAD2WxWTU1N2rRpU/kH4wTRi9qk39sjPf550tQJ6WMvl/7zrdLszPL3dmJHN+waNehK6nGXlIC/xL2pQUfDrrixWtSgAfiJAAz4yjSInr1B+u3PSdf+ydzal2+RPvAi6URuZecKsxaHozVo20HO3cBXvdAcpB4DPjXoiM9Xj2E+SbPGwGnQAMIgAAMIFiZMNqSl5+2UXv5RKXOW9OPPSf/wNOm+H8W7X1we16Bt8XmX1I1ZqUFLIvDZ4Oqs1KABOIIADMA8iP7SK6Xf+4Z03hXSwz+ZC8E//Gzlezuxoxt2jRp0JfW4S1qPAT/eXNSgjbErbowaNIBqIAADPrMZRC9rl/5wr9T8bOnUEen9L5a+9NdSPl+7GaKsxUEN2liSdknrMeBTg474fPUY5pM0awzUoAEshwAMoLKoAXP9hVLPsHTN6+eC7+f+XPrXbunU0cqPtYUatDF2Sc0lKeBTg47I0cAXyNVZqUEDcAB/dQBVMjY2poGBAUlSLpfT2NiY+vr61NnZGfoefX19kqSNGzfqwIED6uvrU0tLS1Xm1bQs/Y2wWnrpe6XLfln65Oul739C+rufSD3/IZ1fNHvQ85msxRH6+TJSpjQlz06n1ZApPfV6ZjqjdMY85c8orbQW3VsZpRcldbPrytfszVq+Nq20MjGvszWXyQxhP9e2ZrX99Y43V8C9M2mlpxfNkJHSiz4N+YyUWvypSUtlY2Vk5xtjQfcxWQuaNY6wv+awMyR91hhSGSm/6D6rMtJUmDVJU0uMxS4w4CcCMFAFuVxOO3bsWAjAkrRr1y51dXVpaGhIW7duXfYeHR0duvnmmxeuzeVy6ujo0O7du+2G4GoF0ae9Trr0aukDL5Xu/4G0c4v02tukXwj5DQDbc1kLzWmpLPimlV60Nj2dVibEddUMUSZBzt3AV83QbHcGVwN+Nb8hEvDHg8AXVS3CfJJmjTNWWlr0fZrAMAzAT1SggSoYHBzU4OCgdu3atbBW2Pm95ZZbQj0+l8uVBOVsNqutW7eqp6fHzpBh//FjUiO+4hrpzfukx22Rjh+S3nu99KV3l78umNOg50egBl0JNWgbc1GDNlaH1eIkzUoNGoANBGCgCtrb25XNZpXNZhfWin+8nKGhIbW3t5etb9myRcPDw8rlcrHmOnHixJkZ1+3V6tTp0guqEUSzl0l/+FVpy2uk/Kz0yTdJ//Y70ukTjhxsFXat/F9Zvp4GvW7yuC7/3EO65AuP6Oz7TtblYVEE/CXubeE06JOnztK37n66PvPNF+nb+5+qU1OrDSdVXQa+qob5II7OWuk06PsuvUJ3PPfXdWfnr+n+Sy/nNGgAofB3AFAFnZ2dOnz4cMlaYTc4zA7u8PCwtm3bVrZeqD4PDw+HqlEXe+yxx/T+979/4ee/lv2SntHwQ33g4Gt1Yvrs6laLV50lvfKD0uN+WfrUm6W7PiTdf7f0u5+SLrjc/PmoQc/fp/o16Au+dliX//fDCz8//9uP6r5fP1+PPnW98azUoKPOmswa9JHj6/WB//z/lDu6YeHDe378VL226wNae9ZxatBRZvBl1gB3dVyj/772eQs//96Wp+tXhr+gJ3/rrrlbU4MGUAE7wEANDA8Pq6+vTwMDA4HBtliY3d1Dhw5FnuHrX/+6HnvssZK1CzKP6Klrv7P8g23s1KZS0nPeKP3+F6W1jdLkXumWzdL+byz//FFQgzZWaYbM0Wld+uWHyz528R0H1XBqduG68sfW9y5pEGrQlX3jB88sCb+SdPDI+brrf59WeiE16Gg8qkEfP2utvnLNc8s+9o1rn6tTa84yHg9AfWMHGKiikZERDQ8Pa8+ePWpvb9fmzZuXfUwh3C5VmQ4Tktva2kp+fvjwYU1NlX/ve9PqSelY0UK1T1h+4nXS9r3SrTdI9/2P9HfPkV75T9KvbFv+sVXb0Q37fBmvT4Ned98JNcyWr6dP57XqgWmd2lRaY036LimnQS9xb4PToO958HGBz/OzhzcZz+rqoUzO7jQHcXTW4tOg77/4Us0EvPh3evVqHbr8El1yYLxkfbnToAH4hR1goIra29u1fft2DQ0N6cYbb1RHR0fJwVhxHTx4MPJjGhqC/7jnZs6b+0EtX497frO0/ZtSe7c0MyV9uEf68O9JJ0+XX2t9RzfaqBUFvv43YNcs5HXV3CU1eT1r8XWnzwt+05C8pKlzo8+fpF3Senyds83XhZfNsMQO33nrHw18zHlr59fD7g46sBuZ+J3mJM1a5Nwjwb+HJOmcx858LOjQrOK/xdgFAvxEAAZqZOvWrcpms+ru7l5yB7exsbHixwq7wxs3blz2+UZHR0v+97Wvfa3s9cfT+bS+c/xpFe6wiO3QmV4n3XSb9OJ3zNWjv/Iv0ruukx59MNw8S6EGbSzo3kcvXqfHmteVrT/2pHWa2nDmn5XUoM1nqOca9NN+4S6lUqVVgoaGGT3t6m+XX0zgM+fqrAbfeLgk97BaxveXrbf85MfacDj6S4QA+IUADFTByMiIRkZGytYLFejh4eGKjy1Un4NCcmEtzvsANzc3lxycNXnqcfrww6/WAycvLr+4Vicsp1LSr79Vev1npbPPlfZ/Xfq/m6WJfZwGXbhPDQJflBD40xsv14NPbdTUurSm1qf14DM26J6XXBjp3knaJeU06CXuHfM06E2X/EyvvP7fdfmF92jNqpN63IWTevV1H9Gl5//cyqz1GPjYFZ9TfBr0S/9rSFtG7tK6Y0e17ugRbd7zTT3/05+QpNCnQQPwE+0PoAo6Ojokzb3uNsrbHxV0dnZqbGysbL2wA1x4T+GorrzyyoUff/SBV0tnL9rNW6kTlp/8Aumt35bee4P0wP9K73iW9H/eJ137qurMxWnQFa9b7rWks2vSuufXL9Y9v37xwnUmr9XlNGg/T4N+/BU/1eMv/WnxwKXCvpa03l+jW4vXNCdp1iKrp06r6ytfUNdXvqCp+cdOB/w6gk6DBuA3doCBKshmswuV52J79+6VtHyA7e7uXri22L59+xbeY3hFVPP1uJdcNReCn/ICaeqkNPhq6d//WJqJ+S8zatDR5mKX1MJc1d+Zr5cadCTUoKPx6DTosrWQX1t2gwG/EYCBKtixY4e6urpK1nbt2qVcLqeBgYGSmnMqlVrYMS7Ytm2bGhsbSw7MyuVyuv3223XrrbfaH9iJarGktedJf/Bp6TfeOrf2uXdJ73y+dPTQ8o+1weMatC0+16BtcfXrbbMGLYlwamOGavb4HJ01FXCfwMozNWgAFVCBBqpg27ZtGh4eLjl0amxsTLt37y7Z/c1ms2ppaQl8e6R9+/apr69Pe/bs0caNG7Vnzx7dcccdam9vtzeoi9XihrR0wzukx/2S9L7fkX64W3rbFumPPi01/4Jbs0pe1qBrMSs16KizJq8GvewaNehoM/gya5yxqEEDKJLK5/P5lR4CQG0cO3ZM69evn/vJq45Kq9adCYHFYXCpteU+bnPtZ9+X/vEG6eEJac066fc/LD31JSs81/xfmcXv8zv/L/zi9wMuBNvi9wPOBH68aC09v1b0r8BCgCkOI2lV67riterfO2NwXTXvHe+6yp+Pat7b5Lria4vXQt97Zn6tKFmkp2fn/6ui6+b+W/J+wIUfzwSsLffxONfNBKxFvc6FWcM+h637ODprvui6wm+/qeK16YC1wnVFt5uS1Mw/gwHvUIEGMMeJavGinz/uF6W37ZGufq506pj09y+Vht4unZ4NeLAlHteg7VVl/a1Be/k6Z9s1aFuoQZtzdFZbNWgq0YCfCMCA76p5sJWJwn3OOV/q+6J0/Rvnfv6Jv5Te9RLp+GPmc1mbNSj4BoSokNdVM0SZBDl3A19tD4uqx4BfzW+IBPwWtx+i6j2c1iLMJ2nWGIIOzQLgJwIwgOhqHZrTGem3+qVt/yqtWiPt+4z01qdL9+9f5oFVmKvOT4MOwi5p1LmqvzNf96dBE/jMcRo0AAQiAAO+CjoQxMUadPHata+R3v5VacOl0r0/kvq2SN/9wtKPjYMatLF63CXlNOgl7k0NOhpXd5qDODorp0EDiIsADMD9GnSxpqdKf7NXuvIZ0vFHpb95vrRrp7T4IBNq0PP3oQZtPhc1aFPUoC1gV9wYNWgAEgEY8EIul9PExIQmJyft3XQlQ/OGS6S33Sld97q54PuRPunvXyWdOh58PTXoaHNxWJSFuahBVwWBLxpq0ABQhgAMeKC/v1/Nzc1qa2sr/YALO7px11atkV43KL3uvXOvEf7ax6SbnyX93FLI97gGbUs97pJSg17i3rZr0ITTaDNQg5ZEDRrA8gjAgAd6e3s1Pj6u0dHRyhclqQZdWEulpF97vfT2O6RzL5DGviv98WbpB1+JNhc16IrXUYOuzgyuBnxq0BGfrx7DfJJmjYEaNAACMOCBbDarpqYmbdq0ye6NXQnNV18r7dgrtbRLjz0i/Vmn9J/vLX1dMDXoaHNRg7YwFzVoYwQ+c9SgK2IXGPATARjwnUs7uiZrFzxOuuVr0rNfIc1MS//yB9I/3iSdPhV7VGrQ5upxl5Qa9BL3duE0aE8CHzXoOSY1aAB+IgADvqrF7m2tQ3N6rfSmj0q/806poUH60vul7c+RDt4f735xUIM2lqRd0noM+ImvQdvi6qzsigOAEQIwADOuheZUSrrhj6U//5y0Liv9+FvSH3ZIP/42Neioc1GDtjAXNWhjBD5znuyKh61B8zpgwG8EYADu7uiarP3y9dK790iPu1o6dL/0J9dKX/pgpDGjzUANupJ63CWtZg26FjvzdV+DDlKHgY9d8TnUoAFEQQAGfFaPNejitUsfL/3dXdLTb5CmTkt//1rpvW+UpqeoQRdmoAYdca7q16Bt8boGXe/hlF1xAIiNAAzAnMuhee050ls/Ib36L+bWPvUP0luulx59xM5c1KCNr3MjNFODrjQDNeiIXA181KCXvQ6AHwjAAOYkYUc36lpBQ4P06rdLb/uUdPZ66Xt3Sq/fLO3/XphJqUFHnsuPw6Jc2NF19utNDTqaJO00OzprnBo0IRjwEwEYQDmXd3RN1q65QXr3XdKlrdKDk9IfXCP9923LPzYOj2vQtiRpl7QeAz416IjP50I4dSHMB0nSrADqHgEY8J0r4TTMWhyL79PUJr1nj9TxPOnUCekvXy7d+lbp1Ez8uahBG19HDTrqddSgjdd8DKfUoAGAAAx4y8VwWo21IOdskP7mc9LL/mTu5x+9RfrTF0lHcpUfQw3aWD3uklKDXuLeLtSgPQl81KDncBo0gDAIwACCJWVHN+5aOi1t2ynd/FFp9VnSXZ+Ttj1NmvgRNeglruM06OrM4GrAT3wN2hZXZ3U1zAdJ0qwA6hoBGPBALpfTxMSEJicngy9wLZwutRbHUve+7pXSP31DuvAK6Z6fzIXgr382+lzUoI2vcyM0U4OuNAM16IhcDXye7IpTgwZQCQEY8EB/f7+am5vV1tZW+gHXw6mtteU8oV0a2Cs95dnS8SPSzS+WPvDXUj4fcwZq0NFm8CPgx1GLnXlq0BbWXJiVGrQkatAAlkcABjzQ29ur8fFxjY6ORnugC+E0SDXm2nCh9K5h6SWvnwu+g38uvbVbOn7UaFSfa9C2JGmX1HbAt4UatAWuzupqmA+SpFkB1C0CMOCBbDarpqYmbdq0qfJFLodTG8Lce9Vq6Y3vlfpulTKrpDs/Id10jTQ5FvJ+1KBNr6MGHfU6atDGaz6GU092xZerQbMLDPiJAAz4Linh1HQtihe+TvrHL0uNF0kHfiD9ny3St4cjzkANOtoMfgR8WxL19aYGHU2SdpodnTVsDRqAnwjAgK/ChkTXwmm1Zli89uRrpPfvk67eIj12SPrD66WPvrv8dcFhUIM2lqRd0noM+NSgIz6fC+HUhTAfJEmzAqhLBGAAZyQlnMYV9fkuuEz6f1+Vnv8aaXZWevebpLe/Rjp5YonHUoM2vY4adNTrqEEbr/kYTj3ZFec0aACLEYABJDOcxlmLI32W9OcflP6of+69gz/3Yem110oP3htiBmrQldTjLimnQS9xb2rQ0SRpp9nRWalBA6iEAAz4jBr08muSlEpJN75R+scvSuc1SnfvlV65WfruN0KP6nMN2o0d3WTXoG2hBm2Bq7O6GuaDJGlWAHWHAAygVNLCaVQmz9d+nfShvdKVT5EOPijd9Bzp44MBj6UGbXqdG6GZGnSlGahBR+Rq4PNkV5waNIBiBGAAc5IeTms112XN0ge+KXV2S9NT0l/3SH/5e9LUaWrQS87lx2FR1KCXuDc16GiStNPs6KzL1aAJwYCfCMAAwklCOK3W2mJnr5NuuU36g3fM1aNv/xfp/7tOeuTBpR/ncQ3aliTtklKDjoYatAWuhvkgSZoVQF0hAAO+q7dwGoaNGVIp6XVvld7zWWn9udLI16UbN0s/3Dd/HTVo0+uoQUe9jhq08ZqP4dSTXfGgGjQAPxGAAV/Vczhdbi2OSve+9gXSh78tNT9x7mToVz1L+uxHF11HDTraDH4E/DioQVvgSeCjBj0nqAYNwG8EYMADuVxOExMTmpycNLtR0sKpzbWlNF8l/fu358LwqZPSn7xa2vHH0nTAjahBG0vSLik16GicrUEnKPDVZZi3PCtvhwT4jQAMeKC/v1/Nzc1qa2sLvqCew2kltmc4+zzpHz8t3fTWuZ9/8F3Sa18g5Q7Fn3EeNWhzidolTVDA96YGbYurs9YinNpCDRqAIQIw4IHe3l6Nj49rdHS09AO+hNNazZVOS298h/Su26Wz10rf3C295KnST35IDTryDH4E/DioQVvg0G7kspK00+zorNSgARQjAAMeyGazampq0qZNm8xvltRwamMtrOu7pY99U7qsSbpnTNr6DOmLnyy6NzVoU0naJXWhBm1/Z54adKTnc2FWF8J8EGrQAGqMAAxgji/htJozFK9d9YvSrj3S058rHT8m/f5W6e//rzQ7G2tUatDmErVLajng20IN2gJXZ/VkV7y4gEAIBvxEAAZ852M4NRHl+TacL73vi9LvvGFu7R/eIW3bKh15bOEyatBLzeBHwI+DGrQFngQ+dsXnUIMGUEAABnxlEgjrIZzGXYsqk5H+rF/a+UFp9Rpp+D+llzxL2j9Wdik16GioQUdDDbpKXJ21HsO8Czv4ABKPAAzgDN/CaTVmCFxLSS99jfSxr0gXXSr99MfSi66R7vxSpFGpQZtL1C4pNehoahGiCKfma7ZYqkED8A8BGIDf4TSOuM/3i0+VPrVHan+6dORR6bdvkP75XZqdKv+rmBp05bV6DPhxUIO2IEm7kUnaaXZ0VmrQACQCMIC46i2cRlkzceEl0sd2Sy9/rZTPS3/zZ9If/I7yx49LogYdFTVoc9SgLXB11noM89SgARgiAAM+I5xWZ4ZKNeiCNWukW/6f9Ff/MPca4U/frvyLOpW/52fLjkoN2lyidkkTFPCpQUfkauCjBg2gzhGAAczxOZzGYTRDRkqlpN/6Xenjn5c2XiD98H+Uv/7Zyn/zawuXUYOuvFaPAT8OatAWJGk3Mkk7zY7OSg0aAAEYQDg12SWNNFFlrs4VZPOvSJ/7uvTkX5YOHVT+ZS/U9OD7lM/nS0egBl1RknZJXahBcxq0BQkKfHUZ5i3Nyi4w4CcCMOC7Wgc+V8NprWvQxS57nPTJYekl3dL0tPJvfbNmev9A+VOnAi+nBm0uUbuklgO+LV7XoG1xdVZPatAA/EQABnw1E7DmcziNw7QGXezstdI//JtSb3uH1NCg/Ec/opkXv0DT9z5iYdB6CHx+BPw4qEFb4MBuZGhJ2ml2dVYAXiMAAx7I5XKamJjQ5OSk/ZvXZTgNuWZLYUc3lVLq9W9U6qOflM7LKr93j6av+xXN7t07dxk16Ej3pgZdGTVoC5IU+OoxzBvMyuuAAb8RgAEP9Pf3q7m5WW1tbcEXEE6rM0OUGnSR1HM6lfrCV6QnXiU9+IBOP/+Fmv7IR0uu8bkGbUuidkmpQUfjauAL4uqs1KAB1CkCMOCB3t5ejY+Pa3R0tPQDHGxlzmYNWtLsfLBNNbcq84VhpZ7/G9Lp05r+gzdoqu9m5aemYo+a/MBHwK+EGrQF1KDNJWlXHIC3CMCAB7LZrJqamrRp06bqPEFdhtOQa3EE7QIH7OjOnp1V+l8/rIbtN0uSZgYGdeJFNyr/yMGS66hBm8/gYw06CDXoiJIU+OoxzFODBhADARjAHMJpdWYwnCvV0KD09rdo1Uc+JK1fp9mvfV3Hr32eZv7nB9SgLUjULmmCAj416IhcnbXOa9CEYMBPBGDAd9SgzVWpBl3i116s1bu/pFRzs/I/u0cnrvsNTe36j4iD1kPgI+BXQg3aAmrQ5pK0Kw7ASwRgANERms2FrEEX7/I2POkqrb5zWA3PfY504oRO/c42nfyzdyg/M0MN2sIMPtagOQ3agiQFvnoM8y7s4ANIFAIw4Csn3v6nBmtxuDqXpFQ2q1VDt2lV7+9Lkk793T/p+Et/W/ncowvXUIOOJlG7pJYDvi3UoC1wddY6r0ED8A8BGHDQyMhI2Voul9PY2Fh1npAdXXM1qEHPzF+XSqe15q/frjUf+H/SWWdp+ov/raPPfoFmfrQ/1KjJD3wE/EqoQVuQpN3IJO00uzorAO8QgIEqGBsbU09Pj3p6etTR0aGurq7AUFvJddddp1QqpY6ODnV0dKi1tVUdHR1qbGys4tQREZrNxahBL1w2ndaql/2mzh7+T6Uuv1Sz+w/o0WteqNOf3V36WGrQEa+jBm06AzXoiM/nwqxJD/Mu7OADSAwCMGBZIfwODAxoYGBA+/btU3t7uzo6OjQ8PBzqHo2NjcpmsxoZGVEul9PWrVu1b98+ZbNZu8NSg67M1bkWSf/SU3T2V3cr/cynSUeO6uhLX6sT73iPpqfL/3pnlzTavZ3dJaUGHU2SQpSrs7pag7b9jQcAXiAAA5b19fVpYGCgZG3Hjh3KZrPq7u4OdY/29nYdPnxY+XxeBw4cWHh8VbGja66GNehiDRdeoHWfv12re35Hyud14u3v1NEbe5Q/eqziqMkPfG6+dpiAHw01aAuStNNse1YAiIEADFg2PDys1tZW5XK5kvXOzs7qvo53JRCazRnWoAtSq1fr7PfcorP/+e+kVas09cnP6fA1L9XM2M+oQUe+jhq06QzUoCM+nwuzJj3Mx5mVXWDASwRgwLLOzk61tLRU3LFdHIxXHDXoyhydK2gXuBCQV7/2VTrnjiGlLrpAMz/4sQ5veaFOD3+9aARq0JUkapeUGnQ0BD5z9ViDBuClVD6fz6/0EIAPWltbNTY2pjB/5Lq7u9XV1aVcLqeDBw9qbGxMN998s9rb20M/X1tbW9na7OysfvzjH8/95BlHpTXr5n5c/A+DjJKx5sIM1uYq+j2RmU/JmZmFpYb5H6eL1tLz12VK1s5cN3vf/Trym6/TzN7vSw0NOufvbtba3v+jVCqljIoeM//jdMna/L2tXTdTcn3xY4Kuq+a9w18XbhYXZgi6rpr3Dntd8Vror/dM0dr0/GOmZ4vW5u935jKlCr/k4m8wzQSsTS/6WPFa0HW27rPcdS7MutRjTZ7D1n2qOet9/DMY8A3fDwNqYGRkRGNjY9qxY0eo63O5nF72spct7CKPjY2ptbVVu3fvVmdnZxUnjWFa5X+T1GItDmfnSpWGYGmu51n8r3zN7fKmF61NT6dLQvDCdZddonO//Akd//236NS/7dKRN71DU98d1XkD75DOXhV71BmlS4KLNLfDl1m0FnTdjDIlAa3SdfHmCnfv8NeF+3VWd9b4n+s4wt47/Nc73FqsWcv/eMz9WVzcsghaS0tlIwRdF4fJ87kwq8la0KxxmHy+aj0rgERiBxiogdbWVrW3t2toaCj2Pbq6ujQ2NqYDBw7EvsexY8e0fv36uZ8U7wBLCd05rae55v8qzhT9S23+X/gNgbu8RTt9FXaBJSmfz+v0e9+nY2/+a2lmRpnNT9aGT/0/rbn8wrnrarCTWc17297JrOa9TXa4q3lvk6/JcjOE3QUuufdMYee3eDd4dv6/Krpu7r+p4nATdjeyFru3Ya9b7uP1tNPs4qzsAAPe4TXAQJX19PSopaXFKPxKUktLi8bGxuweohW0i7BSa3HU5VzlW8phT4MOkkqltPaNr9V5X/yQUo1ZTe/9gQ5uvkGnvrFv7j5K+ute7b7GOA5XX+dci9OgbfH6NGhbknTglquzAvACARioosHBQR06dEi7d+8O/Ziuri51dHRU/Lhzh2hJhGYbLJ0GXem61dc9Sxv2flaZp1yl2Qcf0cPP+W0dHfx4rFE5Ddocp0Gb4zRoC2yH+SR944G3VQK8RQAGqmTXrl06cOBAyc5vmB3cvXv3BobcQ4cOSVKkg7AiqXXgsz2Dh6F5qdOgS9Zm5tbSzY9T4zeHdFb386WpKeV63qbDv/d25U+fnruOXdKK907Wrnj8cB1vrnAzcBr0EpIU+FzdFY/zzQNCMOAlAjBQBSMjI9qzZ0/ZoVe7du1SY2Pjko/dtm1b4Ot8h4eHa3cAFju65mpQg46jYd1anXfbP2j9O94spVI69i8f0wPXvVYzDz5Scl2yAp+bb6HkS8C3hRq0BUnaabY9KwCERAAGLBsbG1N3d7dyuZx6enpK/jcwMLBwsnMul1MqlSqrOxeuLbZz505JMn4dcSAnAp/BWhzOzlXdGrQ0FzJSqZTWv/X12vjZf1Hq3PU6/fV9un9zt07tGw09KjVoc64GfGrQFlCDNpekbzwASBT+OgAsK5zWPDg4WPax4vpyNptVS0uLNm/eXHJNS0uL+vr6FkLwoUOH1NjYqPHx8YXwbMW0yv+BMa3yvxXCrsWdIe7z1eOsMcxMZ0pOhJ5bK3+7pJmZtNLp0rVVL+jUhd8e0sEbXq/p/x3Xg896lRrf91c671XPXzSqrbf/if+WOtV8+5+ws9p+q6V4c1X/7Z7izRVuhtBf73S65D2BpbkadPF7AseWUfk3rUzW0pKV34ZB9/F51jjC/pptPR+AROJtkACPlLwN0pajZ94GqTiIBf3Y9TUXZrA2V9FfyYVgWxRmGxa9zdHcj+euW+rtkCQtBODFb2cz++gRHXrVm3Xyv74sSTrvza9R49/+kVKZMwFmpd56p5r3tv1WSy7MEHRdNe9t++2QSu5dFIALb4lUHIDT5X88zrwlUtS3wileC7rO1n1cevufODOYPIet+9ie9Wf8MxjwDRVoAMmqFidp1jhqVIMu1nDeOdr46f+nc9861zp49F3/pgee/3uaOfTokqNSgzZHDdocNWgLqEED8AgBGPCZE4FvhdbicHWuAEudBl06wtxaKp3Whnf06vzb363U2rN1Yve3dN+WG3Xqhz8tuc54LoMQ5ULgS9bhYPHDdby5OA3aGKdBm6v1Nw8AJA4BGEBlCQp8zs5qNEP5v9CCToMOejukOGaU1rruX9PF3/x3ZZou0/TYvbrn6b+lo5+8o+y68se6EPg4DboSToO2wNXAFyRJO82cBg2gxgjAAOY4EfgM1uJwdq7a16CLrf7Fq3TZno/rrOc+TfljJ3T/b75ZB9/+z8rPlh9ARA3anKsBnxq0BdSgzVXzGw/sAgNeIgADvnMh8AVxNpzWYC2GoF3gqDXoEuefr0u+OKBz3/hqSdKhvxzUPS/5E808dtR8Vo93SZMU8OPNRQ3aGDVoc+wWA1gCARjwQC6X08TEhCYnJ88shg1e7Oiaq0EN2pbiEJLKZHR+/1t0wb++Q6k1q3XsM1/WxNN/R6f3/8zhwEcNuhJq0Ba4GviCJGmnmRo0gBoiAAMe6O/vV3Nzs9ra2pa+0InAZ7AWh7NzrWwNutg5r3mxLv/q+5W+9AKd/tG4xrf8lo5+4ZtF96EGbcrVgE8N2gJq0OaS9I0HAM4jAAMe6O3t1fj4uEZHR4MvcCLwrdBaHI7OZbsGXRxMznrqk/W4vf+us57xFM0+elT3PP8NenjnhxT3reR93iVNUsCPNxc1aGPUoM2xWwygAgIw4IFsNqumpiZt2rSp9AMu1aBtcXXWhNagz6xllLnkAl125/uUfd0NUj6vB/v+Sfe+6s81e/xkyXVh7hdvLjd3SYP4HPBtoQYdUdJ3mqlBA6gRAjCAUk4EPoO1OJydy50adEHDmtW6ePDPdNF7+6RMWo9+7Esae+brdGLyofIZqEFH4mrApwZtQZICHzvNAOocARjAHCcC3wqtxeHoXNWsQS+spTJqfP3LtOmOf1H6gg06+b2f6MDm1+joV0aizerxLmmSAn68uahBG6MGbW65XzMhGPASARhAOI4GvkCuzloHNehia69tV/PeD+us9qs080hOBzrfoEfeu0vT+WoGKzd3SYP4HPDjCD0DNeho2BUHgBIEYMB3zgY+g7U4nJ3LvRp0sVWPu0QtXxvUea94njQ9o/v+4F2693V/o9lTp+dmoAYdiasBvxY1aFu8rkFzGnS0NQBeIgADvnI28K3QWhyOzlWLGnTxdQ1rz9LlH/0rXfzON0gNDTr0gf/U/l99g6buf2T5WT3eJU1SwI83FzVoY9SgzRF8ASxCAAYQnqOBL5Crs9ZZDbpwXSqV0vl//Go1f+5dSmfP0bG7RvXjjtfp2LdHS66zM5cfu6QuzMpp0EtIUuBL0k5zLWrQ1KUBrxGAATgc+AzW4nB2Lrdr0MXWXf9MXbnn/VpzdbOm7j+on1z7h3rwg18IeD52SSvxJeBzGnTE5+M06Mr3oQYNIAICMOAzZwPfCq3F4ehcta5BF1vz+Ct05V236rwbnq386SlNvvZvNfmGf9DsVPAvzudd0noP+NSgLaAGbY7gC6AIARhANI4GvkCuzlqnNehi6XPWadMn/laX/MVrJUkP/uMn9b/X/4lOPnLE0lxu7pIG8Tng20INOiJq0MujBg14iwAMYI6zgc9gLQ5n50pODboQjlINDbrk7f9HLZ96hxrWn60jd35Xo5t7dOx7Py25brkZkrRLymnQ0a6jBh3x+ahBV75PnLkIwYCXCMCA75wNfCu0Foejc61kDbpY9oZr9cS7BrSm9VKdnnxQP7zmDXrktjtj3dvVwEcNeqm5qEEbowZtjho0gHkEYMADuVxOExMTmpyctHNDRwNfIFdn9aAGXXzd2W3NatszoHOft0WzJ05p/8v/WpM3v0/5mRmDufzYJXVh1lrXoEPPQA26MmrQABCIAAx4oL+/X83NzWprazuzGJQ7nA18BmtxODtX8mrQJTZk9cTP/a0u/pOXS5J+/rcf0+gL367p3NFlZ6j3XdIgvgT8an4OqUFb4MtOMwBvEIABD/T29mp8fFyjo6PBFzgb+FZoLQ5H53KlBl2QSqf1uJ2/q8d/9K1KnbVauc9/R99/2ht0/Ec/83qXtN4DPjVoC6hBmyP4AhABGPBCNptVU1OTNm3aZO+mjga+QK7O6mgN2n6IKr+u8ZXP0y984z1afcWFOvGTe/X9p71BBz/7rSrO6mZo9iXgx0EN2gJq0ABQhgAM+CxRgc9gLQ5n56p+DdqW5YLc+vYn6Cl7/1nnPPvJmjlyXD968V9o8q8/pnw+7+UuaRBfAj416IjPl/Qw7+qsALxAAAYwx9nAt0JrcTg6l2s16GKrLtygq4ffqUte/0Ipn9fEn39Id3e/QzNHT1iZIUm7pPUe8KlBW+DqTnMQV2cl+ALeIwADiM/RwOdPaE52DbpwXcPqVWp97x/q8bf+kVKrMnrkE9/Qd695k06MPWB51tqG5iDUoKOhBm0BNehozweg7hGAAd8lKvCFXLPF1VnrqAZdfN3Fr/t1PfnL79Sqizbo2A8mtGfLm3Ro+HvL3i/eXNXfJY27K17tGahBz/Mx8Jmox11xAF4iAAO+8maX1GAtDkfncrkGXezca9r0S/veq3O2PEHTh47oe9e/XT97939oKl/+f1euBj5q0EvNRQ3amM+v0SXEArCAAAzAjKOBz5/QXL0adJBaBL41l52vX/rqO3XRazql2Vn99E3v149e827NnDi1xFx+7JK6MCs16CW4GvioQS9/HQBvEIABJCzwhVyzxdVZa1CDrmaAWS5sNZy1Wk/84JvU2t+jVLpBD3z4Tu259k918t5H6n6XNIgvAZ8adMTnowZd+T7sIAOogAAM+MybXVKDtTgcnSspNejCvVOplC5/4w36xS/+pTKN5+ixvT/VXZv/WIe/8aPIMyRpl7TeAz41aAuoQQNAbARgAOYcDXz+hOb6OA26ksbrflFb9v691j+lSacfzGnvc/5cPxv8ksEMboZmatCVUYO2IEnV4iTNCiBxCMAA5iQq8IVcs8XVWev0NOjytYzObr5YHd98py7qvkb5qWmN9gzoh783oNnTU4ZzublLGsSXgE8NOuLzUYOufJ/lZiAEA14iAAMeyOVympiY0OTkZLgHOBv4VmgtDkfnSloNulh63Vm6+ra36PHveJWUSumef/mSvnPd/9XxB4/EnjUOatA25qIGbYwaNADEQgAGPNDf36/m5ma1tbWVf7DOA58/obm+a9AFqVRKLW/t1i9/9k+VOXetDn/9R/rm5u3K7T0QcYZk75K6MCs16CW4GviSVC1O0q44gEQhAAMe6O3t1fj4uEZHR88sJj7whVyzxdVZPapBF7vgBZv1tG/v1LonXqqT9x7UN5/9Nt370a/FnMvNXdIgvgR8azvNAbvA1KAj8mWnGYA3CMCAB7LZrJqamrRp06bwD3I28K3QWhyOzpXkGnTxvddddbme8e2/1QUv6NDsySl979X/qLvf/CHNTs9EmjUOatA25qp+Ddqaegx8tQ6GSZoVQF0jAAOo+8DnT2j2owZdbNV569Tx6T61vvWlkqSxv/9Pfev579TpQ0dDzJDsXVIXZqUGvQRXAx81aACeIwADPkt84Au5Zours3pagy5cl0qn9YR3vErtt/+R0mvX6JHd/6OvbPkzPfbDeyLMlexd0noM+NSgIz4fp0FXvg87yACKEIABVOZs4FuhtTgcnateatDFLup+lp75zb/S2U0X6PjYQ/rq09+mn31yX6j7xeHqLmmQpAd8atBL8OU1uoRYAJYQgAHMqfPA509o9q8GXezcX2zSs/fcoo3P/QXNHDulPb/Zr7vf/gnlZ2frcpfUhVmpQS/B1cBHDbryxwHUPQIw4LvEB76Qa7a4OqujNWj7tdjlw9bq88/V0774p2p5469Jkn70l/+hb73kPZp67MSSs7q6SxqEGrQ5atAR1eNOMwAvEYABX4UNXs4GvhVai8PRuWpRg7YlaohqyKT15P7f1i//6++qYc0q3f+ZEd359L/Qkf0PWJ2V06BtzFX9GnTQ64BjSXrgc6FanKRZAdQlAjCAM+o88PkTmv2uQRff+3GvuVbP+uqf66xLN+jIj36u4S1/qfu/8D/LPl+SdkldmJUa9BJcDXzUoAF4igAMoA4CX8i1OBIVmt2sQQepdg262IanPl7P3fuXanzG4zX16HF97fnv1o92/Jfy+Xzse7u6S0oNujJOg7aAGjSAOkAABnxGDXr5NVscnbUeT4MOum7VJRt17Z1vVdPrflXK5/WDtwzpG6+8VdPHTxnP5eouaZCkB3xOg16CqzvNQZI0K4C6QwAGUKrew2midnRN1qhBL753es0qtQ++Vr/03tcolUnrno9/W7ufeYuOTT6S+F1SF2alBr0EVwMfNWgAHiIAA5iT+MAXcs0WV2d1tAa9EqdBB0mlUmp9fad+9Y7tWnPBOcp97x59cfNf6cEv/zjyvV3dJaUGXRk1aAvqqQZNCAa8RAAGPJDL5TQxMaHJycn4N3E28K3QWhyOzlXPp0FXuu6Ca5+ozr1/oQ3tm3TqkaO6s/Nd+t9/+u/A1wWH4eouaZCkB3xq0Etwdac5SJJmBVBXCMCAB/r7+9Xc3Ky2trbyD3oY+PwJzdSgl7r3usdt1HO+9lZtesXTlJ+Z1Z4//Ljuet2HNHNqauG6JO2SujArNegluBr4fK5BA/ASARjwQG9vr8bHxzU6OnpmsS4DX8i1OBIVmqlBh5VZu0bP+OhN+qV3divVkNKBD3xDu3/1XTpy/1GrM1CDNp+BGnTE50t6mK/mrAC8RgAGPJDNZtXU1KRNmzaZ3cjZwFeDNVscndXHGnTBbCqjJ/3xr+lXPter1dm1euSuMX2+4x16+NvjkeZydZc0CDVoC5IU+Opxp9lkVnaDAa8RgAH4GU4TtaNrskYNOuy9L7n+F/S8PX+m866+RCfuf1RfuPbd2v/BbyVql9SFWalBL8GXcFrNXVdq0AAMEYABn9Vl4Au5FkeiQjM16DjOefxF+rW7btYVN/ySZk9P65uv/bC+/YbbNTs1YzwDNWjzGahBR3y+pId5atAAqoAADCAaZwNfDdZscXRWn2vQxdetOucsXfuJ39VT/uKFkqQf/+OX9YXr36uTj5S/LjjuDNSgl5rL0Rp00gOfCzvNQahBA6gxAjCAOT6G00Tt6JqsUYOONkNaqYYGPeXtL9RzPrVNmfVrdP+d+/Xpze/Uwe/da30uatDmalKDtsXVcOrjadCEYMBLBGCgCsbGxtTT06Oenh51dHSoq6tLIyMjke7R19envr4+7dy5Uz09PRobG6vOsHUZ+EKuxZGo0EwN2tRlN2zW8+/6E53TeoGOTh7SZ6/5e+2/7XuxZ6AGbT4DNeiIz5f0nWZq0AAsIwADlhXC78DAgAYGBrRv3z61t7ero6NDw8PDoe7R0dGhLVu2aMeOHdq+fbt27Nihrq4uuyHYJGQ5G/hqsGaLo7O6WoO2HeSizLqh7VK9YE+fLnveVZo5MaU7X/6v+s7Nn9XszGzg9YnfJaUGHU2SAl897jRz2BWAiAjAgGV9fX0aGBgoWduxY4ey2ay6u7uXffzg4KByuZy2bt26sJbNZrV161b19PRYn7eEj+E0UTu6JmvJrkHbEjfIrdmwVs/93B/oyX9ynSTpe397h774wlt1PHfKyly1qEHbkviAz2nQlbm60xyE06ABxEQABiwbHh5Wa2urcrlcyXpnZ6dyudyyu7hDQ0Nqb28vW9+yZYuGh4fL7htbqmj3qi4DX8i1OBIVmqtTg15z4qRWn4wf/pJUgy7cuyHdoKfuvEG/8pHfVvqsVbrn8z/Sfzzt3Tr8owcjzUANes7UTEYnj5yl2dnUktdRg7bwfEkP80vMeiJ9lk6kz6p8Qcj7APAH3wMDLOvs7NTIyIiy2Wzgx5cLsMPDw9q2bVvZektLy8LHi3eHo/jOd76z8OM/fPk/6Wv/82v63v5fjnUvTav8bxDba/U0VxBHZ52ZziidmV60llY6M6NzHj2i533hy3rc+M81m0pp8srL9eUXXqNT61fPj5BWRjOlj1Va6UVrtgTdO+wMcWd9/Ku2KPukizV8w6Ae/cnD+sTT3qPOj75KTS9si3zvGWWUXvTdjrDX2WIyQ/B1y38OJ77dqp9+7Uk6fewsrVl/Qk/61e+rqeNArBlCf73TaWVmLPw+TEtlv7yMyr9pZbIW9Bxx1GLWOML+mpeY4bHMufrMFS/SgXNaJUmPf+ynetHkZ3TOzBG7swKoO+wAA5YNDQ3pwIEDZeuFQ7CCdncLwuzuHjp0KNZco6OjJa9BPmfdUd3wK59R86WLdqSTvnMaR6J2dE3WDGvQ+bxu2PUFPW7855KkhnxezT+5R9fffmfdnga9WGGH8vz2K/TSvW/Wxc9u0dSRU/r8iz+ofX+9W/l8PvZcvpwG/fMfXaG7v/DLOn1sbtfu1NGz9b3/fLoe/OklxnNxGrQFru40L/Kxx71CB859vJRKSamUfnrelbqt9UZq0ACWRQAGamBkZERjY2PasWPHktcVwm2l3WMpXEiWpLa2tpL/Pe95z9Pg4GDZdR1PnD+dui4DX8i1OBIVmu3UoC+970Gd/3D5N2AuvechNT50OPpYCaxBF1t9YVYvGH69rn79s6R8Xt/58y/o893/rtNHTy16LDXo4nvfs68p8OMTI4+PNAM16IjPV0c16PvOvkwPnF3+DZP71l2uB86+KHjGgPsA8BMBGKiB7u5ubd26Vdu3bze+18GDB2M9rtLO1FlrTsYfxtnAV4M1WxydNeg06FXHpipev+bk6aIRqhdWgqzkLml6dUbPeu9W/cqt3WpYldbYJ/5Hn7jmn/Xo2MHkHxZlOVwXTJ9cFbg+dWJ17Blqfhr0Cr/uNZI63Gk+uarya35Pps9e+jmWmwFA3SMAA1XW09OjlpYWDQ0NLXttY2NjxY8Vdoc3btwY6nlHR0dL/veRj3wk8LXF+yeuLH+wj+E0UTu6Jmvxa9D3XHGpTq8uDy/H152lBy8737sadLEnvu6ZevGXf09nX3SODv7gAd2+5Z90z/D+yHP5cBr0+Vc+EHi/CyusR0UN2gJXd5rnXXHiZ1ozU/7N27Onj+vyY/dWdxceQOIRgIEqGhwc1KFDh7R79+5Q1xeqz0E158Ja4TCsqJ75zGfq0ksvLVk7cE+L9t7dcWahLgNfyLU4EhWazWvQU6tXa/jXrtVMw5n/65jOpHXnC5+p2Zg7a0mvQRff++JrmrV13x/pwi1X6NSh4/rM9e/XyLu/rnw+Tw266N5Nz/ipsleUNlk2Nj2opi0/jTwDNeiIz5f0neb551idn9ILf/4ZpWfP/AWZnp3WCyc/o0yek68ALC2VNzmxA0BFu3bt0p49e0pe91t4C6SlQmxXV5cklYXmwcFB9fT06PDhw0u+RngpR48e1TnnnCNJ2vTkH2jy4TZJqdJ/aGQW/Xe5tTiPqcWaCzM4N+v8X/fFJzxn5o5dbcicOX41XfLjuWszRWvnnnhMj//JuFKZvH56VbNOrDtb6fTcx4tP6C2czFt8Gm9a1bmumvcuXZsuuT7ouumTU/ra7w7px/+2T5L0pN/6ZV03cIPWnN1Q8TFh723rutrNEPy5zuelQz+9QEcfPlfnXJTTRS33K5UK/posN0PxWuiv9/xp0OnpouumZ+f/q6Lr5v6bKs5UxT+eCVibXvSx4rU41y31HGGvc2HWoMca3ueI1utH5z5JqRnpSY/erfXTx6LP+mX+GQz4hh1goApGRkbKwq80F4qXqjlLc68X3rt3b9n6vn371N7eHjv8SlIqdWYXcPLnzZLmf16PO6dxJGpH12Qtfg1ako6ds07f7/gF/aDjap1Yd3bJx3yuQReuy5y1Std9sFvP7n+hUukG/ejD39XQtYM6cu+joebyoQadSkkbr3xYLdf8RBe0PqTCX001f50zNejKXN1pLnLO9FE99dAebXl0z1z4Xe75qEEDEDvAgHVjY2Pq6upSZ2dn2ceGh4cX3iIpl8tpw4YNam9v1759+0qua21t1Y4dOxbe7zeXy6m5uVl33HHHkm+jtJxjx45p/fr1cz/ZeFRKrVv53U/ndknrZK6Ks0bbBS5+P+DMwlrAden4u4jF19ZypzbadfHufc8dP9UXX/YRnTx0QmsvWq8XfeLluuyZm6zvXNv69dXia2Lv3tNla6E/H0XvB2y0C1yL3dsq7JzW9U5z1FnYAQa8QwAGLGttbV2oOi+2OOy2traqs7NTAwMDJdflcjn19fUpm81q48aN2rNnj26++Waj8CtVMQDHeYzP4XRFZ7BTg04HheEa1qBLP74yQS5s2Hps/JA+d8O/6ZH/eUANq9K67p9eoKds2+J9DTrKdcvNQA06xHUuzFqrMB9lVgIw4B0CMOCRJQOw5FEITOBc1mYt+iu/EIKLQmxD4C5vtAAs1TbImb92uPpBLn/shL70f3Zp/9APJUm/+Ltb1Pme65VenanZLmm1An41720SgJe9d8AucCEAz/14/n5FISpVraBm6z5JCKc2wrytWSXpDv4ZDPiG1wADvpteobU4fJ7L2qzmp0Evd12ssVQ/p0EHXbdq3Wo9/7ZX6Jp3PE9KpfT9f9mj2677kI49eNTiXMk6DdrmDJwGHfH5wj42jiS9RzIALxGAAUSXqMBXg7U4EvQ5nAk4NCso+M7M1DZE2Q5y1Q58qVRKT33rr+oln32VVp+7Rvd+/Wf60OZB3b/3vqLnix6uTdTigLJaB/zQX++Yb91VJkmBz5cDt6o5K4DEIwADvqp14LM9Q9LDqS1Gc5X/izDKadBLqcVp0LbUepe05QVP1Cu/3aMNTzxfR+59TB979gf1w4/+IPa9k3wadJTr4uA0aAtc3WkOUutdeACJRAAGkKjdSK/nogYd6TrXatDF12286gK96ts9annBlZo+Oa3Pvvo/dMebd2u26DWo8eaiBm2KGrQFSdoVB+AdAjCAeBIV+GqwZoujs1KDNrf43mvOO0sv/vSr9fS3PluS9J2/v0u3Pf9jOnpoKtQM1KArz0ANegm+7DRTgwZQAQEY8BmBrzJvAj416Ggz2A3NDekGXfuO6/Si27u1au0qTewe079ueb8e+uHDke5NDboyatAWJH2nmRo0gCIEYMADuVxOExMTmpycrHyRN4Ev5FocifocUoM2ZTPgX9Xdpld98//TeU1Z5cYO64NP/zf9+JP/G3MuatCmqEFb4GqYB+A9AjDggf7+fjU3N6utrc3ujRMV+GqwFkeCPofUoM0tde8Lf/Fi/c6e/0+bntukqWNT2vWbn9SX3/ZVzc7mK85ADbryDNSgl+BqOK11DZpQDXiJAAx4oLe3V+Pj4xodHS3/IDXoylydKwg1aGMu7JKuPX+tXv7FV2nzG58qSfr6X31DH3/Jf+jkY6eszUANeokZqEFXlvSdZg7NAjCPAAx4IJvNqqmpSZs2bTqzuFI7j/UeThP1OaQGbaoau6QNmQZ19V+vF/7rC5Rek9ZPPrNf73v6R3Rw/6EIc1GDNkUN2gJXwzwArxGAAZhJVOCrwVocCfocUoM2F/bev/Cadv32V1+tcy5dr0d+dFCDWz6sH3+h/HX81KArz0ANegmuhlNOgwZQZQRgAHVQ4Q25FoercwWhBm3MtV3Sy556qV679//o8mdcplOPntJHn79LX93xHeXzeSdq0LXYma/7GnSSAl/Sd5qpQQMQARjwGzXo5dfiSNTnkBq0qWrvkp5zyXq9+s5Xqv11T5Hy0u63fE1Dr/wvnT5e/n7B1ZpBcuO1w3VZg7Yl6eGU3VsANUIABmAuUYGvBmtxJOhzSA3aXNTgnlmT0QsHr9fz39ulhkyDfvDx/9Wtz/yYDk8+VnKdKWrQFlCDNpekXXEAiUMABjAn8RXekGtxuDpXEGrQEedKzmFRM6mMnvr6X9Zv33Gj1l1wth743sN67+aPaezL98SagRr0EjNwGnRlSd9pTi/zcQB1jwAMoFyCdiO9nosadKTr3HjtsPkuadO1V+h3975al7ZfqOOPnNAHOj+pb/3T95TP56s+AzXo+RlsBz7CqfkaAIREAAZ852Xgq8FaHAn6HFKDNmcS3M953Ab9f197uZ78iqs0O5PXZ//wyxp63Zc1fWrGeC5q0BZQgzZXixo0AC8RgAFfORCiAjka+PyZy78adBBXa9DF9169dpW6P/p8Xf/Oa5VqSGnfB0Y18Kuf1GM/P1rzGvRysy41AzXoeUl63WvSd5qreRgZAOcRgAEES9BuJHNZ4HENOimnQQdJpVJ61h9v0Ws+92KdlV2jn931oP5h8+362bcfqNoMLuyK12UN2pakh1N2dAFUGQEYQLICX5JmjSNBn0Nq0OZsBfcnXN+k39/zCl14daOO3H9c/3LtJ/WdD/449lzUoC2gBm2OGjSAKiAAAx7I5XKamJjQ5ORk6QccCFFJCnzOzhWEGrSxpO2Sbnx8Vr9318vVdkOLZk7P6rbX3qlPveHrmpmaKbkuzP3i4DRoC6hBm6MGDWAZBGDAA/39/WpublZbW1u0B3oT+EKuxZGogE8N2tRK75KuOWe1Xv2JX1fnXzxVkvT1f/yBBq//Tz36yGmrM7jw2mFq0EtIejhlRxdAFRGAAQ/09vZqfHxco6OjlS/yMvDVYC2OBH0OqUGbsx3c8w2r1PX2p+q3P/V8rVm/Sj+98+fq3/wJ3fu9RyLNRQ3aAmrQ5qq5K84uMOAlAjDggWw2q6amJm3atKn8gw6EqECOBj5/5vKvBl1vh0W13dCi19+1VRtbz9XhySN6zzWf1shtB6hBR52BGnRlSd9pBuAlAjDgq7DBK0G7kcxlgcc1aFtc2iW9uG2jevds1ROed4WmTszoQy+/Q5+9+TuanZk1noEa9PwMLgS+IEkPp9SgAVQJARjAGUkKfEmaNY4EfQ6pQZur5i7p2g1rdNPnnq9f/ZNfkiTd8bff08ALd+t47tSyc1GDtoAatDlOgwZgEQEYgBMhKkmBz5+5qEFHm8HN0DyttBrSDXrhzmfo1R95jladldbdn79Xf/fUz+iBH+WWvF8c1KAtoAZtjho0gAoIwIDPXKpB2+LqrK7OFYQatDFXd0l/+VVX6Q3feLGyV6zTw/sf07ue9hl977M/jz0DNej5GZIU+JI0Kzu6AKqAAAygVJICX5JmjSNBn0Nq0OZqtUt6Rfv5evPel6r12Rfp5JEp3fri3fr8X39fs7P5wOupQVuQpMDn6qzUoAFYQgAGMMeBEJWkwOfPXNSgo83gZmhefN05F56t3xv+DT379U9SPi999s+/p/e/7Cs6enTWylzUoC2gBm1uuRkIwYCXCMAAwnE18AVxdVZX5wpCDdqY67ukmdVpvey91+gVtz5L6VUN+u4nJvV313xeD48diTSDC68dpga9hKSGUxtrABCAAAz4LumBL0mzxpGgzyE1aHMrsUt6zeueqDd8+fk696Kz9PMfHNbfbPm87h6+v6oz2Pp8BfG6Bl3v4dR2mAfgJQIw4KuZgDUHQlSSAp8/c1GDjjaDm6F5qetarrlIb9n3G9q0ZaOOHTqt91z/39r97h8pnw9+XXAY1KAtoAZtrpq76wASiQAMIDxXA18QV2d1da4g1KCNuV6DLnbOZefpTV/9dT39Na3Kz+Y19KZ9et9rvq3TJ6aXfSynQc/P4ELgC5KkcFqLMM9uMOA1AjCA5Ae+JM0aR4I+h9Sgza3kLumqs9L6rQ8+Uzf2b1ZDOqW7PjyuHdfeoUP3Huc0aBuoQZujBg3AEAEY8EAul9PExIQmJydLP+BoiEpS4PNnLmrQ0WZwMzSHuS6VSulX3timN37xuVrXuFoTew/przZ/Ufu/8XDkuahBW0AN2hw1aABFCMCAB/r7+9Xc3Ky2tjbzm7ka+IK4OqurcwWhBm0sqbukT7ruEv3p3ufr8qdk9diDJ/XO5/y37hw4UPGxnAY9P4OrgS9J4ZQaNIAqIgADHujt7dX4+LhGR0crX5T0wJekWeNI0OeQGrQ5V3ZJz29er75v/po2d1+hmalZ/dvv7tO//d4+TZ8+c4oep0FH5OrubRBXZ7UV5gnBgJcIwIAHstmsmpqatGnTpvIPOhqikhT4/JmLGnS0GdwMzVGvW7Muo9+97Zl66TueolRKuvNfDmjndV/Row+eDDUXNWgLqEGbowYNYB4BGEB0rga+IK7O6upcQahBR1KPh0XNpjJ6wVvb9IefvVZnn7tKP/n6I3rb5v/W2N7DJddRg56fwdXAl6Rw6kKYB1CXCMAAzkh64EvSrHEk6HPocw3aFhd3SX/xBZfpT7/9PF38xHN06N4T+utnf1nf+MjPqEFHlaTA5+qsnAYNICYCMABnQ1SSAp8/c1GDjjZDfdSgi11y1bl627ev0y++4BJNnZzVv/zWHv37m/9HM9OzFeeiBm0BNWhz1KABiAAMIC5XA18QV2d1da4g1KAjqccadPF1a89brTd++pn6jbc+SZL0+b/fr53Pv0tHD512YlecGvQS90lSOHUhzAOoOwRgAKWSHviSNGscCfocUoM25/IuaUO6QVvf8WT9we1P0+q1af1g98P6sy1f0T0/fMzSrLUN+NSgl+DqrNSgAcRAAAYwx9EQlaTA589c1KCjzVB/NehiT+u+XG/75q/q/Ka1emjsuN729K/q25+83+oMzn69qUFXlqSdZgBeIQADiM/VwBfE1VkTNRc1aFP1VIMuXtv0i1n95Z7nqu255+vUsRm96zf36WN/+mPd8b6f6T2/9X19aPuPdf9Pj1mZixp0RNSgK2MXGPBSKp/P51d6CAC1cezYMa1fv37+Z0clrSu9IBPwY9tr1by3L7Ou6Azz/5eRKUrImRlJUsP8fyUpXfLjuWszAR8vuS49v1aUvjMqrBVdJ/PrSj9u997B1xWvTYecpfr3Nrku6DEz07P6+B9/X194z5gWW312g97+xQ61PXtDxBmq+fWeLlsLfe+Z+bXpouvmDwJLl//xUKr4m0rFP54JWJte9LHitTjXLfUcYa9zYdagx5re59/5ZzDgG3aAAZyRqN3IGqzF4c1c1KCjzVDfNeiCdKZBv93/ZHW9vqnsY6dPzOpDb9kfewZnv97UoCtzdacZgNcIwADMeBP4Qq7Fkai5qEFHUe+nQVday6wJnukn38pZmYsadETUoJd/DgDeIAADHsjlcpqYmNDk5GT4B/kY+IK4OqurcwXgNGhzSdslvbB5beD1FzSdveQMtr62QTgN2gJXZzUJ8wC8QwAGPNDf36/m5ma1tbUtf7GrwYodXXPUoC3MRQ06jGf91hXacOlZZesv6WuxvjPvxNebGnRlru40A/AWARjwQG9vr8bHxzU6OlqdJ3A18AVxddZEzUUNOgofa9Drsqv0tq89S9e88nI1zC/f8JYWPa/ncdbmogYdETXo5Z8DgBcIwIAHstmsmpqatGnTpmgPTHrgS9Kscbg6VwBq0OaStkt6Ucs6/cFHO9T+goskSY2XnR14XZj72UINOqJ632kmBANeIgADKOdqsCI0m6MGbWEuatBRXH71eknSPaNHrczg7Ne7HmvQtri60wzASwRgAHZ4E/hCrsWRqLmoQUfhYw264NK28yRJ9959xPpc1KAjogYNAARgAMvwMfAFcXVWV+cKQA3aXBJ3SS9vO0eSdO/oEU3ny//ZUc0atMnngRr0Evepx1kBeIMADCCYq8GKHV1z1KAtzEUNOqxLnrheqZR05OCUHn3otJUZXH3tMDXoJbi60wzAOwRgwEEjIyNla7lcTmNjYyswTQTeBL6Qa3Ekai5q0FH4WoNeszajC1vWSaIGTQ06Ild3mgEkGgEYqKKRkRG1trYql8tFetx1112nVCqljo4OdXR0qLW1VR0dHWpsbKzOoMvxMfAFcXVWV+cKQA3aXNJr0LXe0aUGXSWuzkoNGsAyCMCAZblcTt3d3erp6dFNN90Ua9e2sbFR2WxWIyMjyuVy2rp1q/bt26dsNmt/4KW4GqzY0TVHDdrCXNSgw7rs6rkAXHwStOkM1KDn+fIaXWrQACzh+1+AZdlsVkNDQ5KknTt3BtaZl9Pe3r5wj8SZVvnfLLbXXJ0rSbNamyslZfKL1tJSZqZkaWY6rfSitenptDIhros3aloZLbq30kovWgt73YwySlv47kPYe5tdV75W+1lL1xZ2gA0r0JWez/7X29LnMNOg9PRs6Qzlfzzm/lwt/u0VtJaWLIwVfJ+wz+fqrHHW+Fcw4CV2gAGEk6jdSLNxluTqrI7OFbQLTA3aXNJq0MUV6Hw+Tw16Kb7s3rowKwAvEYABb+WXv0RyNlhRg7agBjVoW6hBm1vJGnSlk6BNZ6AGPY/ToAEgNAIw4KjBwUHt3LlTfX196u7ujlWlXjHeBL6Qa3Ekai5Og47Cx9OgbZ4EXen5OA06Ik6DBuAp/goAHJTL5fSyl71s4dCrsbExtba2avfu3ers7Ax1j7a2trK12dnZgCsj4HWvtVuLw9W5AsxMZ5TOLHotacDrf2dm0kqn472OM9ZcIV8PavKaU1tMXr+8Eq9zvrztHD144JjuHT2iX3jO+Uazxpsr/uch9Nc7nVZmxsLXu5qvezVh+3XCLswKwDvsAAMO2r17d8mJzy0tLers7FRPT4/lZ6IGveyaLa7OWoMaNKdBL3WdPzXoSidBm85ADXoeNWgACIUdYCAhWlpaNDw8rLGxMbW0tCx7/ejoaNnasWPHtH79+mqMV87V3Uh2dKs0F6dBR+HjadCFg7Duubs8ANuai9OgI+I0aAAeYgcYcExXV5c6OjoqfjyXy9VumCCJ2o00G2dJrs7q6lwBOA3afK4knQZ9SdsGSWdOgo4yA6dBz3Phda/1dBo020CAlwjAgGP27t0bGHIPHTokae49gleEq8GKg63MUYO2MFf1a9C2rFQNunAS9NGDp8tOgjadgRr0PGrQALAsAjDgmG3btunAgQNl68PDw6EPwIom5OuA4/Am8IVciyNRc3EadBS+nQZdfBL05N3HqjYXp0FH5PNp0AC8RAAGqujgwYOSzuzeFsvlckqlUmV1556enrLDrnbu3ClJGhoasjidQRIi8NVuLQ5H5wraBaYGbT5XkmrQl7WdK2muBh11BmrQ85JQLY46Q61nBeA1/loAqqC7u1vS3K5t4ectLS3q6urStm3bJEnZbFYtLS3avHlzyWNbWlrU19e3EIIPHTqkxsZGjY+Pl5wMvSISdSiTA3MFcXVW63NlpIytRF/K/mFRLhxs5eZbKNl+u6dLrz5XI5+5vyQA25qhmm+hFHbWwBkyaaWnF12XkdKLfsvlM1LKxh8Z24dYVfOwqJU6cMvWwVwAEokADFRB2J3aoKqzNBeCBwYGbI60jLykgPqqDd4EvpBrcSRqLk6DjsK306Avn98Bvu/uI9YCPqdBG4/l92nQALxDBRrwGjXoSKhBG6MGXZ25klKDLq5AF06CjjIDNeh5rlaLkzQrAG8RgAFE42iwcnauIK7Oan2u6v2rk9Ogza3EadDFJ0E/9tCpwGtcPQ067NeM06AjWqkDtzg1GvAWARjAPE6DrtlaHImai9Ogo/DpNOg1azO6YP4k6Hvna9DVmsv219sWToO2wFaYJwQDXiIAA96jBh0JodkYNejqzJWUGvTlASdBR5mBGvQ8V6vFSZoVgJcIwACiczRYOTtXEFdnpQZtYS43a9C12CUNM+ulVwcHYFszVDM0B6EGbYGrO80A6hIBGPBALpfTxMSEJicni1anAq6kBl2ztTgSNRc16ChqUYO2xTTgF58ELSUr4FvbfaYGbc7VMA/AeQRgwAP9/f1qbm5WW1tbhSuoQUdCaDZGDbo6cyWhBl3pJOgoM1CDnudqtThJswLwDgEY8EBvb6/Gx8c1Ojpq76aOBitn5wri6qzUoC3M5WYNOkita9BhToI2ncHZXXFq0NFmcGGnGUDdIQADHshms2pqatKmTZsWfYQadFVmSPqscVCDNubLadCZtWtKToKW3NgVpwa9xH1sh1NbXAjzABKHAAxgHjXoSAjNxqhBV2euJNSgC68Dvmf0WOwZqEHPc7VanKRZAXiFAAwgPkeDlbNzBXF1VmrQFuaiBl3JmZOgH1vyOldr0GG/ZtSgl+BCDZowDHiJAAx4jxp0VWZI+qxxUIM25ksN+tK2rKQzJ0FLbuyKV7NFEIQatAUuzAAgUQjAgLcsJyECX+3W4nB0LmrQ1ZnL9Rp04STo+0Yf03TehR1datDGklSDBuA1AjAAM44GK2fnCuLqrI7WoAPDMDVo47lqWYO++InnhDoJ2nQGatDzqEEvfx0AbxCAAYgadJVmSPqscdSgBm2LzzVoW+LOsGZtRhe0rJck3Xf3mdcBJyng20IN2gIXZgCQGARgwGvUoI0Rmo1Rg67OXEmqQbsQ8KlBW0ANGkACEIABmHM0WDk7VxBXZ6UGbczVGnSQWtagw54EbToDNeh51KCXvw6AFwjAAOZRg67KDEmfNQ5q0MZ8OA36srbzJJWeBC25sStODXqJ+9RTDZoQDHiJAAx4jxq0MUKzMWrQ1ZnL5Rp0cQU6n89Tg47K1WoxNWgAjiMAA7DD0WDl9VzOzlq9f71Sgzafq1Y16CgnQZvOQA16HjVoACAAAz7I5XKamJjQ5ORk0WpQ5ZkadFVm4LXD82t2a9BB18Xhcw3aljgzVDoJWkpWwLeFGrQFLswAwHkEYMAD/f39am5uVltbW4UrqEEb83pH12ycAmrQ1ZkrKTVo0xmoQc9zoVpMDRqAwwjAgAd6e3s1Pj6u0dHR6j6Ro8HK67mcnZXToKPN4GZoNg34hZOgFx+EVQk1aAuoQQPwHAEY8EA2m1VTU5M2bdq06CPUoCtyda4grs7KadDG6r0GXTgJ+t7R8gCcpIBvCzVoC1yYAYDTCMAA5lGDNub1jq7ZOAXUoKszl6s16IvbspKk+0YfVT6fN56BGvQ8F6rF1KABOIoADMAuR4OV13M5Oys16GgzuBmaTa67+InnnjkJ+uHlT4I2nYEa9Dxq0JU/DqDuEYAB71GDrsjVuYK4Ois1aGP1XIMuPgn6ntFjZdclKeDHEbQLTA06IpMZAHiJAAx4qwZJyMdw6vWOrtk4BdSgqzOXqzXoS+dfB3zf6KNWZkhSDdoaV6vFru40A/AaARiAfY4GK6/ncnZWatDRZnAzNJtcVzgJ+ueL3gt4KdSgLXA1nNa6Bg3AOwRgAKIGvQRX5wri6qzUoI25WoO2McOZHeDHEh/w46AGXSXUoAFUQAAGvEYNetm1OLze0TUbp4AadHXmcmGXdLHiCnThJOgoM7ga8KlBL3EfV2cF4AUCMIDqcDRYeT2Xs7NSg442g5uhOe51xSdBHwl5ErTpDNSg51GDBuAhAjCAedSgK3J1riCuzkoN2li91qCLT4L2tQYdhBp0RHFmIAQDXiIAAwhADdqY1zu6ZuMUUIOuzlwu7JIuFnQSdJQZXA34ob/eAa8DjsXVarGrO80AvEQABrxXxe1IR4OV13M5Oys16GgzuBma414X5yRo0xmoQc9zNZy6utMMIPEIwIAHcrmcJiYmNDk5WbQalEKoQVfk81zUoOdmoAa9xFxmMxSfBF3psUkK+HFwGrQFJjMA8AYBGPBAf3+/mpub1dbWFuFR1KCNuTpXEEdnpQZdnblc2CUtdunVwSdBR5nB1YDPadBL3MeFnWYA3iEAAx7o7e3V+Pi4RkdHK1xBDboqa3EkfkfXZI0adLQZ3AzNca67+Kp4J0GbzkANep6r4dTVnWYAiUYABjyQzWbV1NSkTZs2LfpI2MpzFWvQXgc+s3GW5Oqs1KCN1WMNOrN2TclJ0JUem6SAHwc1aAuoQQNYBgEYwBJqUIO2JVGBrwZrcTg6FzXo6szlwi5psUvma9D3jB6JPYOrAZ8a9BL3cWGnGYBXCMAA5lGDrspaHF6HZmrQ0WZwMzTHue6ytsJJ0I+WXbccVwM+NWgLqrnTTIAGvEQABrznQA06iDeBz2ycJbk6q6M16FoEPjdCs5u7pBe3bZAk/bzovYCTHvDjoAZtQTV/zQASjwAMeCso0AbhNGhjXu/omo1TUIsatC3UoOMpVKB/PvqopvPl/zxJesCnBr3EfVzYaQbgDQIwgCLUoKuyFofXoZkadLQZ3AzNUa+7+KrzYp8EbToDNeh5roZTV3eaASQSARiAqEFH5PNc1KCNr3MjNNfmYKsoM6xZm9H58ydBU4OmBm2MGjSACgjAgNeoQcdai8PVuYI4Ois16OrMZXuX1CTgF2rQ940+6mzApwZtgas7zQC8QAAGsAg16KqsxZH4HV2TNWrQ0WZwMzRHve7StqykeCdBm85ADXqeq+HU1Z1mAIlDAAYwz4EatNeBz2ycqs1ADXru3tSgI84Vb4ZL284chLXcY5MU8OOgBm3BcjMQggEvEYABhFSDGrQtiQp8ltdscXRWatDVmcuFXVKp9CTofD5fdwFfoga95H1c2GkGUPcIwIAHcrmcJiYmNDk5GfDRoB1datBVWYsj8Tu6JmvUoKPN4GZojnKd6UnQpjNQg57naji1vdMMwEsEYMAD/f39am5uVltbW9FqUOKgBh2Jz3NRgza+zo3Q7NYuaaWToCs9NkkBPw5q0BYQfAEsQgAGPNDb26vx8XGNjo4a3okatDFX5wri6Kyu1qBt79S6GvhqVYO+bz4A11PAL6AGvcR9arHTXMVPNQD3EYABD2SzWTU1NWnTpk0VrqAGXZUZkjSXs7MmpwZti+81aNOToE1noAY9jxo0gDpFAAa8Rg3amM9zUYM2vo4adPl1hZOg7xt9LNRjkxTw46AGbQHBF0ARAjCAiKhBG3N1riCOzupqDToINehoFp8EbTqDawG/oJqhOXAXmBr08s8BwAsEYADzqEFXZYYkzeXsrMmpQbuxo+tmaA573QVXNSqVko4dPBX7JGjTGZJeg7am3mvQhGDASwRgwHvUoI35PBc1aOPr3AjN7uySri46Cfqe0SOhHpukgB8HNWgLqEEDmEcABhADNWhjrs4VxNFZqUFXZy4XdkkvvjorqfStkOol4BejBr3EfVzYaQZQlwjAQBWNjIyotbVVuVwu8mP7+vrU19ennTt3qqenR2NjY5anC7ujSw26KmtxJH5H12SNGnS0GdwMzWGvu2T+JOj7DU6CNp2BGvQ8V8Op7Z1mAN7grwDAslwup5tuukmNjY3au3dvrODa0dGhm2++WVu3bl24Z0dHh3bv3q2WlhbbI2sucSz+62BK0qqYa3lJAfVVG2PVYi0On+eq6qwpKbOoVj+dljIzJUsz02mlF61NT6eVWbQWx4zSSmvRvZVWZtGayXUzyiht4bsPYe9tcl28uaLNUAjAPx/NVbgu3Oc63qzV/3rHMZ1OKzOz6N6ZBqWnZxddV/bHY+7P1eLfXkFracnCqMH3Cft8YWeNw9Z9ACQaO8CAZdlsVkNDQxoYGNCNN94Y+fGDg4PK5XIL4bdwz61bt6qnp8fmqIaoQRvzea46r0Hb3ql1dUe3WruklxRVoAsnQZvOQA16HjVoAJ4jAAOOGRoaUnt7e9n6li1bNDw8HKtOXXDy5MmFH//SL01o1aoTAVdRg67KDHU01+XH7tX1931RXfd9SZccu7/yhR7XoG2p1xp0/lRKp79zto7/53k6tXetpk+X/pouvuo8KydBm85KDXqeo+H0vpnL9MXHnqcvPfY8/Xzq0sr3pgYNoAgBGHDM8PCwGhsby9YL1efh4eFY9z1y5Ije//73L/z8+c//rl73ujt01lmn51c4DdqYB3M98+Fv6HX7369nPHyXnvnwt7TtR4PqeHhvlWflNOgoXN8lzR9N6dhAo059/lyd3rdOJ/4rqyO3nq/ZEw0L182dBH2OpDM16DBzuRLww1wXB6dBn/Gto0/X+x6+SXcdv0bfOn6Nbn10m75zYsvycxF8Ae8RgAGHhNndPXToUKx7f/3rX9ejj5YeKHPRRY/pqU/931j3m0MN2liC5lp38pie89CdJWspSc+7Z7dWz5w+s0gNuiJq0NL0N9Yqf7j0MbOPrNLJu9aXrF189XmSSk+CNp2BGvS8hNegj6fO1n8/el3Z+vCxLp2cXRN+LsIw4CX+6AMOKYTbbDZb8ZqwFei2traSnx8+fFhTU+U7tU1ND+qrX33yotWgg61snXQUIFGHMvk71+Un7lUmX35CzprZ07rk+P2aXLOpBrNmpIyFw6ICDs2yfViUGwdbuXdY1MzPgn+znZ48S2v12MLPL2nL6gefvdf4JGiTWefWqnk4WLivWeAMmbTS04sPxZLS1fpGou1DrAwOpLrv9GWaLvv/KGlKq/Xz6UvVsno83KwAvMQOMJAwBw8ejPW4hobgP+6PPrq26GfUoI3V8VyPrjo38NZ5SY+tPpcatIXrfKhBp86dDfxYw7kzJdcVnwRdaQZXd8WpQS9xHws70uelHwv44PIfAwCJAAw4Jei1vwWF3eGNGzeGutfo6GjJ/7761a+WnSI9M5PSd77z+PgDS3K2Bk1otu6Bsy7R+NqmsvUfn3eVDq/ZsPwMHtagOQ26XOZpJ6XUom+ONeS15mnHSpYqnQRtOgM16HkJrkFfuPohtZx1oOyyK9f8RBvTi75JzAnRABYhAAMOKVSfg2rOhbW47wPc0tKil770pQs/v+eeDfrIR56t++/foPA7ugk6DdoWV8PpCgX8j192o/Y0duhE+iwdS6/VXec/TZ983EuWHNX+XJwGHWUG10JzumlKq1/+mFKXTkmZvBouP611rzykzGVTJdfZPAk67qxn1jgNWpJTp0G/7ILbtXndd3R26rjObjiup679traet2vpe1fvjyiABOF7YIBjOjs7NTY2VrZe2AHu7OyMfe8nPvGJCz/+8IefJWltwFVBL7wMek1w2LW85o5KMlSL170m/DW6tZjrVPos/delv6H/uvQ35tZrOmtKyizaOZxOS4tfyxvw+t7p6bQymZV73WuU69x47XA1X/eaUfoJU0o/4dElX4ucXnuWzm85Rw8fOKKfj+Z07oUXJ+Z1zlGui2M6nVZmZvHrfxuUnp5ddF3ZH4/wr8e19ZrZsK8Tjvh64jUNp/SC7Of0guzn5tYLjw1u2APAAnaAAcd0d3dr7969Zev79u1Te3v7kgdkrRxHa9Bh7+3Ljq4tjs5KDdqca7ukhZOg7x0tf10nNeho6q0GHWkGatAAihCAgSoqHFgV9NZFuVxOqVRKHR0dJevbtm1TY2Ojdu3aVXLt7bffrltvvbWK09ZhDbrew6nXr3OmBh1lBldD83LXFQ7CsnESdNwZzqxRg5bkVA061gzpZT4OoO7xRx+ogu7ubknS8PDwws9bWlrU1dWlbdu2SZp7vW9LS4s2b95c9vh9+/apr69Pe/bs0caNG7Vnzx7dcccdam9vr9GvgBq0MZ/nogZtfJ0XNegQ9764be7Qv/vnT4KuPCs1aMm/GjQAxEEABqpgaGgo1HUHDpSfYinNheOBgQGbIy2h1snK4Ha27pOowOfJXJZmnZ1Oq6EsDGeUXvTewYHvAzyTVjpdrRBl9317XQ18tkPzxfMnQd8/mtNUvkGrUqXhLukBP+i6aobmfEZK2Qyd1QyntgMyoRnAPCrQgLeC/iVQhzVoW7ypFpuNsyRq0MZ8q0FfdFV24SToow+ftDApNejIqvRevsuuxWEyKwBvEIABVGASkIPW8gFrMXj9ulezcao2Q81nDajTBx6AFRB0AtbiqObrXs+sWQr4CT4savXajDa2nCNJ+vmiGnSYuVwP+Kam00HBt/yfdoG/7Wt9MFQtgjQAhEAABqDaJyuD29m6T6ICn+W1OBL0OeQ0aHMu7ZJefPUGSXM1aNszrHTAr3Qdp0EvcR8XdpoBJBoBGPCayY4uNeiqrMXh6lxBqEFHm8vyDK6G5qWuMz0JuhY783Vfgw7iajilBg1gGQRgAEugBm3M57moQRtfZ0uSd0kvaTuzA7zcDLX+HLrw9a5JDdrWp5UaNAAHEIABD+RyOU1MTGhycnKJq+q8Bh323s4GPstrcSQoNFODNufKLmnxSdD5fJ4atAXUoJe4D4C6RwAGPNDf36/m5ma1tbUFfNSTGnSSQmAcrs4VhBq0MZ9q0NU4CTrqDOVrHtaga7F7W+tZAXiJAAx4oLe3V+Pj4xodHS1aDZtwqEEb83kuatDG1/l+GnSlk6ArzZC0gG8Dp0EDQHgEYMAD2WxWTU1N2rRp0zJX1nkNOvGBz/JaHAn6HFKDNufKLmnxSdDVmIEa9Dwfa9AAvEMABiBvatC2OBr4nJ0rCDVoYz7VoE1Pgq7ElYAf7vmoQUdCDRpABQRgwGvUoGOtxeHzXNSgja/zvQZ95iTo8gBcDwHfBmrQABAOARjAItSgq7IWh89zUYOuuOZjDfrMSdCHlc/nqzIDNeh51KAB1DkCMIB51KAjcTTwOTtXEGrQ0eayPIOroTnouvOv2mjlJOha7MxTg4543UrWoAnBgJcIwABCogZtzOe5qEEbX2dLEndJi0+Cvnf0SKgZav05dOHrTQ0aAJZHAAa850KyMridrfskKvBZXosjQZ9DatDmXNglXXwSdDVmcHUHnxr0EvchIAOIiAAMeMtk95YatPEMSQ+ncdQkNFODjnadm6E56LqL2holSQ/cfdhoLmrQFiS9Bg3AawRgABFQgzbGXOaoQRtL4i5p4SToB0ZzRgHfFle/3s7WoE0Csu1Z2Q0GvEYABiA3kpXB7Wzdx9UQ6PNc1KArrvlWg75ooQJ95iToaszg6g5+4mvQtlCDBmCIAAx4jRr0is6Q9FnjoAZdFT7UoC+6KmvlJGiTGSpdRw16nqtBmho0gCIEYAAReVyDtsXVWV2dK4jHNeigoBNH0nZJ506CPlfS3C4wNejKnK1BB6EGDaDGCMCAB3K5nCYmJjQ5ObnEVS4kK4Pb2bqPqyHQ57moQVdc868GnZVUehJ0NWagBj3P9u6tC68n5n2AAe8RgAEP9Pf3q7m5WW1tbQEfpQa9ojMkfVZbqEFHm8vT06AvtnQStMkMla6jBj2PGjQAxxGAAQ/09vZqfHxco6Ojlu5IDdqYq7MmPuD7UYO2JWm7pMUnQUeZgRr0/L2pQQMAARjwQTabVVNTkzZt2lS06kRasXs7W/dJVOCzvBZHgj6H1KDNreQuaaWToKsxg6s7+NSgl7gPARlACARgAKIGvcIzJH3WODgN2nwuD2vQNk+CjjvDUtdRg55HDRqAwwjAAGKiBm3M1VldnSsINWhjSdolTa9dU3ISdJQZqEHP39uFGrRJQGaXF4AhAjDgNVeTlcHtbN3H1RDo81zUoCuu+VWDzkoqPwm6GjO4uoOf+Bq0LQRkADEQgAHMowa9ojMkfdY4qEGbz+VhDbpwEvT9dz9qZS5q0BZQgwaQIARgAAaoQRtzdVZX5wpCDdpYknZJL2rbKEl6YPTwktdVswZdi515atAWrltuVnaBAS8RgAHvuZqsDG5n6z6uhkCf56IGXXHNlxp04SToB0YPlZ0EXY0Zgq6zhRq0BSazAvASARjwlu3KMzXomq3F4fNc1KAjXudmaC5cd2HRSdCPPhz090501KAtSFINGoDXCMAADFGDNubqrK7OFYQadCRJPixq9dpVapw/CZoadDjO1qCD1CJI8zpgwGsEYAByN1kZ3M7WfVwNgT7PRQ264poLrx2udQ06CDVoczWpQbvwemIA3iEAA16jBu3cDEmfNQ5q0OZzeVaDLpwE/cDduZrvilODXgI1aAAJQAAGPJDL5TQxMaHJyckqPQM1aGOuzpr4uahBR5GUGvRCAC6qQEeZwdVdcS9r0Ct1GjQ1aMBbBGDAA/39/WpublZbW9sSV7maYAxuZ+s+iQ+BBmtxuDpXAJ9r0C7s6MYNzcudBF2NGVzdwU98DdqWOLMSggEvEYABD/T29mp8fFyjo6MBH6UG7dwMSZ81DmrQ5nN5VIMuPgn66MMnqUFHnYEaNACPEYABD2SzWTU1NWnTpk2W7hg2cVCDrojQXB3UoCNJ6i5ppZOgo8zAadDz9/a5Bg3ASwRgwFszAWtOpBW7t7N1n0QFPstrcSQo4Ptcg7ZlpWvQlXAatLm6r0ED8A4BGICoQTs4Q9JnjYMatPlcHtWgi0+CrnRdHNSgLaAGDcBhBGAAMVGDrgpXZ038XNSgK0lqDboQgO9fVIGOMgM16Pl7U4MG4BECMOC1JCU+g9vZuk/iQ6DBWhyuzhWAGrS5Wu+SnqlAH654EnQ1ZqAGPc/V3Vtq0ACWQQAGMI8atHMzJH3WOKhBm8/lSQ268aqNSqWk4wdP6ujDJyteFwc1aAuoQQNwFAEYgGXUoCMhNJujBm0siTXo4pOgfz76aOwZqEHP39vHGjQBGvASARjwXpISjMHtbN3HhU9XEFdndXWuANSgza1YDfru8tcBV3MGatDzXNi9DXvv6v22B5AwBGDAW7WoPFODrtlaHD7PRQ064nVu1qAvbNsoSXqw6K2QqEFHnCHpNWgAiIgADMAQp0EbIzSbowZtLIk16IvmA/ADo4esB/x4c1GDNsZp0ACqjAAMQE70T6lBm3N1VlfnCkAN2lwtd0kLFegHl6lAV2MGWzVo2zN4WYMOQg0aQAUEYMBr1KCXXXNhhqTPGgc1aPO5PKhBX3DVBqVS0rFHTurIQ8eXvF8ctahB2+J1DZodXQAREIABD+RyOU1MTGhycrJKz0AN2hih2Rw1aGNJq0HPnQR9niTpwdHD1KAjogYNwEcEYMAD/f39am5uVltb2xJXOdA/pQZtztVZnZ2r/F/B1KCjWenDoi4MeRJ0NWbgNOh5LuzexjkNmhAMeIkADHigt7dX4+PjGh0dDfkIatDOzZD0WeNwda4APtegbYkbmi9qa5RUehJ0pfvFsdIBPwqva9AAEBIBGPBANptVU1OTNm3aFPDRoHBqCzXoSAjN5qhBG0taDbr4JGjTGahBz9/blxo0AC8RgAFvhd2VdTXBGNzO1n1c+HQFcXVWV+cKQA3aXK12SaOcBF2NGTgNel5Sa9AAvEMABlABNWjnZkj6rHFwGrT5XHV+GnSlk6Ar3S8OToO2gBo0AEcQgAHIXg2a06CNEZrNUYM2lqQadHrt2SUnQZvOQA16/t7UoAHUKQIw4DXbNWhbqEEbc3VWV+cKQA06mpU8LCrKSdDVmIEa9Dxq0AASgAAMOGpkZKRsLZfLaWxsrIZTUIN2boakzxoHNWjzuer8NOjCSdD3j5YH4CQFfFuoQQNAZfzVAVRRX1+fJGnjxo06cOCA+vr61NLSEuqx1113nXK5nNrb2yXNhV9J2rdvX1VmnQunqyzcZ1rlf7UErQU9X9i1vKSA+mpUYUc1WXN1riTNWtW5UlJmUa1+Oi1lZkqWZqbTSi9am55OK7NoLY4ZpZXWonsrrcyiNZPr4gh77xlllF70XQWT6+K4oO0CSaVvhWQ2q525wt7bia93Oq3MzKJ7ZxqUnp5ddF3ZH4+5P1eLv7EUtBZH0H3SUtkvOc517AIDXmIHGKiSjo4ObdmyRTt27ND27du1Y8cOdXV1hd7BbWxsVDab1cjIiHK5nLZu3ap9+/Ypm81anpQatPF9XNglDeLqrK7OFYAadDQrVYO+8OqNkqSH7j5U9rFKXK1BB6EGHRG7xQCWQAAGqmBwcHAhtBZks1lt3bpVPT09oe7R3t6uw4cPK5/P68CBA9qxY4fl8Bs2NVCDdm6GpM8aBzVo87nquAZdfBJ07qFToe4Xx0q+zjkqatAAEIwADFTB0NDQQnW52JYtWzQ8PLxQZ3YPp0FXZS0OQrO50M/HadCVJOU06NVrV2nDwknQpTXouDNwGvT8vTkNGkCdIQADVTA8PKzGxsay9cLrf4eHh2s90jKoQRvfJ1GBz/JaHM7OVf4vY2rQ0ax0DfrBOqhBcxq0BewWA6iAvwoAy8Ls7h46FO4faIUq9cGDBzU2Nqabb745cGc5SFtbW9na7OxswJVhmBxYFXbN1ulHARJ1KFON5wri6qyuzhUg6NAsFw6Lsj2DrbmCZ412CNRFbY368WfH9ODooSWvM2X7wKqgz7UtYb9mgV/vTFrp6cWHYklpG6PaOsRqqTUAqIAADFhWCLdLvV43TEjO5XJ62ctetnCfsbExtba2avfu3ers7LQwqRScADgNuiprrs6VpFmrOhenQVeSlNOgL2yb3wEeLf0GowsBn9Ogjceq7mnQALxCAAZWwMGDB5e9Zvfu3SU/b2lpUWdnp3p6enTgwIFlHz86Olq2duzYMa1fv77CI8LuyjqRVuI/nwujuvoprMdZY82VkTKl/zKenU6roSwMZ5RedF3gzu9MWun08gEmDpMg50Jothmu45wEbXuGStfFYXuGan698xkpZXP3tpqhuXiNfwUDXuI1wIBlQa/9LSjsDm/cuDHWvVtaWjQ2Nhb6rZTsqsVp0FXkxOtLa7Bmi6uzujpXAE6DNhfltcPFJ0Effeh4VV/3WovXOdvCadAAUIoADFhWqCwH1ZwLa4XDsCrp6upSR0dHxY/bPUU6KAFwGnRV1uKoxVxJmjWO0M/HadCVJOE06EonQZvOwGnQ8/eux9OgAXiJAAxUQWdnZ+AubWEHeLnX8O7duzcw5BYeH/YgrKWZvEevE2nF7lPYuo8LgS+Iq7M6OxenQZtaidOg45wEbXuGStfFwWnQFrAzDGARAjBQBd3d3dq7d2/Z+r59+9Te3r7kAVmStG3btsDX+Q4PD1s8ACsOatDOzZD0WeNwda4A1KDNRQnNF7XNvQSlsAOc9IBvCzXomNcBqEsEYKAKtm3bpsbGRu3atWthLZfL6fbbb9ett95aspZKpcrqzj09Perp6SlZ27lzpyRpaGioChNTg5bkbrAiNJujBm0sCTXowknQD4wetjoDNej5e1ODBlAH+B4YUCX79u1TX1+f9uzZo40bN2rPnj264447SurL2WxWLS0t2rx5c8ljW1pa1NfXtxCCDx06pMbGRo2Pjy+7exyNyXv0uno8sMFT2LqP7TVX50rSrLHm4jRoU7U+DTruSdA2Z1jqujg4Ddp4LN7yCEAJAjBQJdlsVgMDA8teV+ktjVpaWkI9vvZM3rc37FoVORGsLM9ga64grs7q6lwBAsOwQYCx9960dmewNVfwrOFCc+NV5yuVko4/ckJHHzqu9ReuTXzAtyXs1yzw651JKz29+L2BpbSNUW2/l2/YsEsoBrxFBRrAPGrQkuqgwmt5LY7Ez0UNuhLXa9DFJ0H/fPRRqzNQg56/dz3VoNkGArxEAAa8x2nQxhIf+CyvxeHsXJwGbarWp0Gb1qBtzLDUdXFwGrQFhF0A8wjAAGLgNGjnZqhmlc/VWV2dKwCnQUedK35ovqDtfEnSQ6MHl7wuSQE/jvAnP3t8GjQALxGAAW8Fvf6NGrQkd4MVO7rmqEEbc3WXtKBwEvSDowfrMuCHvc6Wuq9BA/AOARiAqEFbkPjAZ3ktDmfnogZtqpY1aJMKtK0ZlrsuDmrQFrAzDEAEYMALuVxOExMTmpyctHhXatDOzUANujprMQTtAlODNhcmNJ9/VWPJSdCVrqt0vzioQVtADRpAjRCAAQ/09/erublZbW1tiz5iUkuOgxq0MXZ0zdWgBm2LzzXouLPOnQSdlUQN2hZq0ADqCQEY8EBvb6/Gx8c1Ojq6xFXUoI0lPvBZXovD2bmoQZuqZQ36gqsbJVGDXu46atAAfEQABjyQzWbV1NSkTZs2Wb4zNWjnZkjSXEma1RJq0ObChOYLA06CDrqu0v3ioAZtQa1r0OwCA14iAAPeowZdkavBytW5grg6K6dBG3O5Bl04COvB+QDsasCnBm2BSUAG4CUCMOAtk4DpbFqx+xS27pOowGd5LQ5n56IGbapWNejCWyHFrUDbmCHMdXFQgwYAMwRgAIaoQTs3Azu61VmzhBp01Lmih+ZKJ0Evvm6p+8VBDdqCWtSgCdKA1wjAAEQNegmuBit2dM1Rgzbm6i7p6rWrlG0+TxI1aJuoQQOoBwRgwGvUoG09dNn7JCrwWV6Lw9m5qEGbogZtjho0AMRHAAZgATVo52ZI0lxJmjWGoF1gatBR54oemgsnQT84Wh6Akx7w46AGHWINgBcIwADmUYOuyNFg5excQVydtQY1aFuoQUdTOAm6+K2Q6ingR73OlrqqQROCAS8RgAEEoAZtLPGBz/JaHM7ORQ3aVC12STe2XSBJeujug2Ufi8LVgE8NGgDiIQAD3rO1o+tqDTrkLrATwaoGa3EQmo1Rg7YxV7TQfP5VGxdOgn70oVMVr1vufnFQg7agFjVoAF4iAAPeMkkASapBW+JosHJ2riCuzkoN2piLu6TFJ0E/NPqIlRlcCvhxrrM1V13VoAF4hwAMoAJq0MYSH/gsr8Xh7FzUoE3VYpf0gvmDsB6mBh3qumq+dpgaNABXEIABD+RyOU1MTGhycrLCFdSgJTkSrGqwFgeh2Rg1aBtzRQvNhZOgHxo9WJcBPw5q0AB8RwAGPNDf36/m5ma1tbUt+gg16EgcDVbOzhXE1VmpQRtzcZf0gqvPBGBbM7gU8ONcZws1aABJRQAGPNDb26vx8XGNjo5GfCQ1aGOJD3yW1+Jwdi5q0KaqvUt6QdtGSeYnQZvMEOW6ODgNGgCiIQADHshms2pqatKmTZuWuIoatCRHglUN1uIgNBujBm1jrvCh+fyrNkrzJ0Effeh43QX8uKhBL/FxAHWPAAx4jxp0JI4GK2fnCuLqrNSgjbm2S7p67SptaM5KKj0J2nQGVwJ+3OtsSXwNGoCXCMCAt8KGRGrQxhIf+CyvxeHsXNSgTdWqBm16ErTJDFGui4MaNACERwAGUIQatCRHglUN1uIgNBujBm1jrvChufgk6KWuC3O/OKhBW1DNGjQA7xCAAYgadESOBitn5wri6qzUoI25tktaOAn6wdHyHeB6CPhxr7M1FzVoAElDAAa8Rg061lPYuk+iAp/ltTicnYsatKlq7pLarEDHnSHqdXHUogZtCzVoACuJAAxgEWrQkhwJVjVYi4PQbIwatI25wt17w1UXlpwEXem6pAZ8E9SgAfiIAAxgHjXoSBwNVs7OFcTVWR2tQdsOUS4Evlrskq4qOgn6gdFDVmdwIeBzGvQSlgvIhGDASwRgACFRgzaW+MBneS0OZ+eqfg3aFmrQ5lwK+NWcgdOgAdQjAjDgvWrunFKDNuZs4FuhtTgcnYsatI25wt37/LYLJZW+F3A9BXwTXtegAXiJAAx4y3YCoAZdlbU4fJ6LGnRVrovDpV3S86+e3wEuCsC2ZnAh4HMa9BIIvgAWIQADHsjlcpqYmNDk5KThnahBG0t84DNYs8XVWalBG6vWLukFbRdImqtA12PAr+YMdXkadPV+SQASgAAMeKC/v1/Nzc1qa2urcAU16IqcCFY1WIujLnd0DdZioAZtY67l733+VRuLToI+tuRjkxjwTVGDBuATAjDggd7eXo2Pj2t0dHTRR6hBR0LgM1eXn0Nq0JW4sku6au0qZedPgn549BHrM6x0wJeoQS+J4AugCAEY8EA2m1VTU5M2bdpk4W4e16BtSXzgM1izxdVZqUEbq14N+nxJ9k6CjjNDnOvioAYdAjVowFsEYADzqEFX5ESwqsFaHHW5o2uwFgM1aBtzLX/vwuuAH1p0EFa9BHxTXtagCcGAlwjAgPeoQUdC4DNXl59DatCVuLJLuvgkaGrQ1ZmLGjQA1xGAAcRADdpY4gOfwZotrs5KDdpYNXZJi0+CtsmVgF/tGeqyBg3ASwRgwFsmu6lxUIM25mzgW6G1OBydixq0jbmWvnelk6ArPTZpAd8GL2vQjtu5c6dSqZRSqYCWSUh9fX1qbW1Va2urRkZGLE4HJBMBGICoQVvgaLDyei5q0FW5Lg4XdkkXnwRdjRmoQc/fmxq0U3K5nMbGxjQ2NrbSowBOIAADiMnjGrQLo7r6KaQGPX8fatCmqlODtn8SdNQZ4l4Xh6s16KBdYGrQAGqFAAx4rdY7p9SgjTkb+FZoLQ5H56IGbWOupe9deB3wg6PlAbgeAr4NtahBW+NJDdrUwMCA8vm88vm82tvbV3ocYMURgAHMowYdCYHPXF1+DqlBV+LCLunik6CrMQM16Pl7U4MG4CgCMAADHtegbUl84DNYs8XVWalBG7Md3De2XSxJeuTuR8o+ZsqFgB+EGvQSCMOAlwjAgPeoQc+hBm2sLnd0DdZioAZtY67K99541fkLJ0E/+tDJUI9NUsCnBj0vbJAG4CUCMOCtWiQAatBVWYvD57moQVflujhWepc06CToasxADXr+3q7WoAF4jQAMeCCXy2liYkKTk5NVuDs1aGOJD3wGa7a4Ois1aGO2g/v58wdhmdagbe/U+liDDlKTGvQKB+nBwUF1dXVpw4YNSqVSam1tVUdHh3bu3KlcLrfkY3O53ML7+qZSKW3YsEHd3d1LvsXR4ODgku8lPDw8rO7ubnV3dy88x86dO9XV1bXwPF1dXcu+h3DhMYXnSqVS6ujoUE9Pz8Jjd+3atfCx4eHhJe9XfC1v4QSb+F4a4IH+/n793//7f5e4YkrSqphrcZg8XzXnyksK/gdCiWmV/+1pshaH7RmSNFeSZo0z1nRamcxMydrMdFrpxWvKKL0oqc8orbTiXReH7RnszVX53he0XaCffna/Hh59WNNKKxNihqDrbDGZIeznOo6wX5/QX+9MWunpRddlpLSNbzalpbIvT0bl38gKuq6Gcrmcuru7y4JfIdyNjIyor69PBw4cUEtLS9njC0G1OCTncjnt2rVLw8PD2rdvX+DjljM2NqZdu3ZJmguxfX19gc/d0dGh3bt3q7Ozs+zX1dHRERhSR0ZGNDIyosHBQR0+fFhbt25VNptVLpfTwMBA2b2KDQwMSJLa29tj/bqAStgBBjzQ29ur8fFxjY6OLvoINWhjdVnhNViLoy4/h9SgK1npXdKNV8/tABdXoKsxAzXo+XtTg5Z0JiQWwu+OHTu0e/duHT58WAcOHNDQ0NBCGGxsbAy8R1dXl1paWrR7927l83kdOHBAW7duXbj/jh07jOfs6+vT1q1bNTQ0pAMHDpQF3q6urrKge8stt2hsbEzZbFZDQ0MLb7lUePzWrVvV0tKibDYrSdq2bZukuR3eSjveuVxu4XPV09Nj/OsCihGAAQ9ks1k1NTVp06ZNVXoGatDGEh/4DNbiSFRopgZtymZwv8BSBdpkhrk1atDSCp4GXeMg3dfXtxAS9+3bp+3bt6uzs1PZbFYtLS3aunWrdu/erX379i0ExcVaWlq0b9++hUDa0tKioaGhhff2vf32243n3L59u4aGhhZCa2dnp3bv3r0QWqUzO7MFhaC6bdu2hUBemK+zs3MhTBcUB9rBwcHAOYrXX/ayl5n9ooBFCMAA5nEa9BxOgzbm6lxBHJ2V06BtzBV87+KToI89dKzmu6RBOA3agjinQdcoBI+NjS0Euh07diwE1iBLfazSTmghEC/3+uEwbr755sD1gYGBhRryzp07Sz4W9XkLwbhw3yC33XabJC1UpgGbCMCA96hBG0vUbmQN1uKoy88hNehKVnKXdO4k6A2SqEEvd52tuXyvQRdeXyupZCc1qkqvl924cePCj22E4EqKXxtcfCBWYa7C64fDHFhVuNfY2Fjga6IL96f+jGogAAOwhBp0JHUZ+AzWbHF1VmrQxmwG9/PbzpdEDdp0hsTXoGtkz549kpbe3Q1jpQ+C2rx588KPi0Pujh07FnZpd+7cqdbWVm3YsEFdXV0VK86F+rdUvgtc+Hk2m13ykCwgLgIw4C0X6sYe16BtcTbwrdBaHI7ORQ3axlzB9y68Dvjh0Ycl1X6XNAg1aAvi1KBroBAWKx1ulRTFAfzQoUMLP85msxofHy95/W/hEKuenh5t2LAh8C2UCnXr4h3y4p+b7JYDSyEAAxA1aAsIfObq8nNIDbqSldwlrXQSdDVmoAY9f2/Pa9BSaWhMouJd38W70YUToA8fPqyhoSFt37594ZpcLqfrrruurJ5dHHALoXdsbGzheag/o1oIwABiMgmYzqYVS89nIPGBz2DNFldndbQGbTvIuRCal7tuYQf47oNW5qIGbWGuOq5BF6rDQbugSVL8Wt1KdexsNqutW7dqx44dC2+DJM2F4MV16MK10pnacyEI896/qCYCMOC1WleLbc+Q8Bp0vYfTutzRNViLoRY1aFuStEuavepCKSWdeOS4jj10TBI16KVQgzYT5m1/XLHULvUtt9wiSQtv3RRGZ2fnwut4C6+FLlaoQRfCdeH0Z3Z/UU0EYMBbiwOeqzVo28/nYQ26CjOsSZ3S6tQps7mC1OXnkBp04GNm89KxvJTPL32d7Af8VWtXL5wEff/IA7HvXeuAX4ud+aTVoE9NrdapqdXhB1uBXeD29vaFnc7lTknetWvXiu4UL349bkFPT89ChXnHjh2hHlNQ+PUGhebind7iXzuv/0U1EYABj/zpn/7pwo/Xr/9nXXHF9yM82vaubDW381yoXVsewZEd0XPTj+lVF35Ub7n0b/WWS3foxvNu07qGY/HmciTMh1qLI/DeK1+DrkWQWy5Ebdyb0y+8e0xP/rsxPbF/UtnvPVZh1uoE9we/e79OHDohSbr9Rbv0Xz2f19SJ8N8Iq8VOrbsHlNmpQQftAkepQR85fo4+tvsV2vHxt2jHx9+ij3/15Tp6Yn3pdcuF3RruAt96663KZrPK5XJqbW3Vzp07NTIysnBY1ODgoFpbW9Xd3a29e/fWbrBF+vr6tHPnTuVyuYXZOjo6FnauW1paysLpTTfdpA0bNqivr0/Dw8MaGxtTLpfTyMiIuru7FwLwjTfeWPE5pTM16OLDtIBqSOARAgDi6O/v13ve856Fnx89+piOHv0PXXjhWj300OPnV2fn/3taZ/56mCm6y+wSa8X/2i98PBOwVvzYwr8+TkhategxldYyi9YUcF2ltcyijy23JkkBu3eLTevML6WwmTVVdJviDa7Cj2eL1mYjrhV/ClNFa5mQa4v/0Tet0P9v0H3xB3VR5iFNzWeF1vT/6Ia1OX308KuDf51TRc8X9NtrubXCY4t/zUG/lYLWCr8lg34LBK0V/zgdsBb2PoGPLfrkZOYHy5wZNp+e+3G+eG3+uilJmUzh43OfnGlJ6cLa/GOnJTXM/6Jn5z8Rs5LS8z9OFX1yUgsfL18L+iSmlv1kzy6spBc+8WfmKsyQ14yy/3tUF3/qXuU19yXWI9JFQ/fpeOZinWpes3DdwudhYdbpgLUz180GrBWumyqa4cSR47q960M6lTs5d/3UrL47+D1J0gsGfl2Zkl/XXAhML1qrpmmlQ80Q9jpbgu4dfi1T9PvCjo/tfoXuP3jpws//996rdPzkWr32eR+Y+zO4+NOQ0Yoe81A4Kbm7u1vDw8Ml76lbrKWlpeTthmpt+/bt6uvrC5yvvb1dd9xxR9l6Y2OjxsbGtHPnTu3cubPifSu9DdS2bdvU09OzUIOm/oxqIwADdeRFL3qRDhw4IEkL/y04ffp04GMeeujfqz6XF4IywamgC5Pt/RU/8rs1nKL+FOJx8b/Pi39ch7+Vyv3Nyj79d2/9nn72tXvUEPA9r1TAmQCFtdLL8xWvX+4+JmvBM1RvrvDPt8wM8z9MBYwVtFZ4zPR0RoePfCrwwzvelVYmPRN8jEN+0X8l6ey2Ck90Rmtrqz7zmc8se91ystmsdu/ercHBQQ0MDCzslLa0tKi9vV033njjiu9+3nzzzerp6VnYzS3M19PTo+3btwc+5sCBAxoeHtbQ0JD27t278OvKZrPavHmz+vr6ln0/323btmlwcPD/b+/uQaNI4ziO/5Kce8agTpLCzpdZDzlEhY0iVqJMsPBAlF0LbQ6LDZwHYrOLleWxFhaCSGJhd4W7hVgJWRuxS7JgYXXs+gKWya6dUXGuCLO6bjaZl2Q3O8/3AyKZ5Jln5p9/wvzzvAzv/kVXDLiu2+lXDIA+s1YBvLxsxCM0AIR26NAhDa2yTlWSvn37psXFRY2Pj2twMNgKsrBtvd/jyWQyUH9R+uzFfQZt9/nzZ338+FHS902bvHfsWpalbdu2dWwbpt+NKoC3qpmZmeaoa71el2VZXb8Gb+p1LpdrW2MMbDQKYMAQV69e1b//to/2/vXXXx2nLP3s3bt3Onz4sF6/fq19+/YF6j9s21706U0/C7MOq5/uM2i75eVl3bt3T1++fGmuB8tms9qxY4f+/vtv/fKLv0lFcY7Rj8LmUb/dZ9C2L1680MuXL1tySJLOnDmjU6dObfr1Pn/+XBcuXGg7fvz48VV3qfW8fftWBw4c0Js3b7R///5AfYZte/jwyujk69evA/UXpc9e3GfQdp8/f9bdu3e1vLys+/fvS5KuX7+u4eFh3bx503cBHOVe42QrFMCjo6NqNBqqVqu8/gibjinQgCHu3r2rly9f6v37981jv//+u/755x+NjIz4OseOHTua//ttE7VtL/r0RgKC9helz36I7cjIiC5evKinT59qYGBlcuPw8LAuXbqk3bt3b7nr7XWfYfOo3+4zaNuzZ8/qw4cPzRxKJBLau3evTp8+7btwiXK9R48ebTs2OjqqBw8eBDoPeieRSOj8+fN68uRJ89jg4KD++OMP3zmErcObau04DsUvuoICGDDEnj179N9//2lkZETfvn3Tw4cP9eeffwae4gazHTt2TPv27dOjR48kSTdu3NDOnTt7fFXoJ7/++quuXbumQqGgr1+/6sqVKzp48GCzIO6WZ8+e6dWrVxodHdXly5cD/REHvXfkyBHt3bu35XfRrl27enxVCMPb/ZnNr9AtFMCAQRKJhIaGhjQ0NKRr164Fbm9Zlm7fvh1qelTYtr3oM4p+us8o7YaHhyUpVPFrQoyi6Lf7DNN2cHBQiURCiURCv/32W1f6/LntyZMnde7cua722Q951E/5t3v37ubvojDFby++L1gZ8fU2uiqVSiqVSrJtu+cbgMEcrAEGDLN9+3ZJ0qdPn3p8JVtXlHV3piBG6yNGayM+6yNG6yNG0XV7DXAymWy+G9gzOzvL7s/oGuY+AgAAAOgKx3GaRbZt2yoWixS/6CpGgAHD8NdyAAAAmIoRYAAAAACAESiAAQAAAABGoAAGAAAAABiBAhgAAAAAYATeAwwYJplM9voSAAAAgJ5gF2gAAAAAgBGYAg0APlUqlbZjjUZDtVqtB1eDfkP+YCOQRwAQDSPAAIySz+clSePj46pWq8rn87Jt21fb0dFRNRoNpVIpSSsPnZK0sLAgy7I243J7olKpKJPJhLqvKPHtF2HjY0L+1Go1FQoFSdL8/LzGxsZUKBSa9+xH3HMoaoxMyCNpJU7T09OSvhf4+XxejuP4PkfccwlASC4AGCKVSrnFYrH5cb1ed23bdqvVqq/2tm27lmW5klzbtt1cLufW6/VNutruqtfrbjqddrPZrJtKpVxJge8tany3so2IT5zzx3Vdt1qtuo7jtBzL5XKuJHd2dtbXOeKcQ667MTGKex657sr3PZvNthwrFouupJb8WEvccwlAeBTAAIwwPT3t2rbddjyXy7U9kHaSTqc3+rK2pEKhELjA24j49osw8XHd+OdPOp1etbiwLMu1LGvd9ibkUNQYeeeIO+9n7OcCVpKbSqXWbW9CLgEIjzXAAIxQLBZXnWJ44sQJlcvl5jRChEN8US6XlUwm277XjuP4WqNqQg5FjZEpUqmULMtqmdIdZHq3CbkEIDwKYABGKJfLGhsbazvurQcrl8vdvqRYIb5wHEe2bXcsVNYrOkzIoagxMoXjOKrX6y3rfUulkiRpampq3fYm5BKA8HgPMIDY8/NQubS05OtcMzMzajQaWlxcVK1W061btwJt8BNHGxnfuItz/hSLxVWPe7sWr3WfpuRQlBj9KM55tJpyuax8Pq/p6Wlls9k1v9aUXAIQHgUwgNjzHnbWmkLn56Gp0Wjo8uXLzfPUajUlk0nNzs4G2pk0bjYqvnFnYv5UKpWWXY87MTmH/MbIY1IeVSoVlctlzc3NKZVK6fjx4+u2MTmXAPhDAQwAkhYXF9f9mtnZ2ZaPbduW4ziamppStVrdrEuLBT/xjTsT8yeTySidTiuXy0U+V1xzKGiMTMqjVCrVHNkulUqamJhQsVhUOp2OdN645hIAf1gDDCD2VlsL5vFGC8bHx0Od27Zt1Wo1ozev2cz4xl2c82dqakq2bXec9vsjU3MoSIzWEuc88qTTaVmWpUwms+YIrqm5BMA/CmAAsedNhVvtock75m2O0snk5KQmJiY6ft7kKXUbEd+4My1/ZmZmtLS01DZa2YmJORQ0RpI5eVSpVJrron/kTYFeaxMrE3MJQDBMgQZgBMdxVh0d8UYE1ls7Nz8/v+rIgtc+zhvQ+BE1vnFnUv6USiVVq9WWUU0vN9YqPEzKobAxMiWPvCK/Xq8Hev2Rx6RcAhAcI8AAjJDJZDQ/P992fGFhofnOybVks9lV19eVy2UephQ9vnFnSv5UKhXNzc21behUKpXWnJoqmZNDUWJkSh5ZltWc8vwjLz/Wu1dTcglAOBTAAIyQzWY1NjbWfJektDId7vHjx3r48GHLsYGBgbZphlNTU23vn7xz546kzq826VfeBjGrvSqkU3z8xjcOwsTHhPyp1WrN9Zne/Xr/pqenW6ammppDUWNkQh5JUqFQ0OTkZMuxUqmkRqNBLgGIjCnQAIyxsLCgfD6vubk5jY+Pa25uTs+fP2+ZNmhZlmzbbnvdhm3byufzzYfPpaUljY2N6c2bN7EZTchkMpK+r6/LZDKybVuTk5PNd292io/kL779LEp8TMifyclJ1Wo1zczMtH3Oz8+YFP8cihojE/JIWilgy+VyS7Ffq9XaXvVkci4BCG/AdV231xcBAAAAAMBmYwo0AAAAAMAIFMAAAAAAACNQAAMAAAAAjEABDAAAAAAwAgUwAAAAAMAIFMAAAAAAACNQAAMAAAAAjEABDAAAAAAwAgUwAAAAAMAIFMAAAAAAACNQAAMAAAAAjEABDAAAAAAwAgUwAAAAAMAIFMAAAAAAACNQAAMAAAAAjEABDAAAAAAwAgUwAAAAAMAIFMAAAAAAACNQAAMAAAAAjEABDAAAAAAwAgUwAAAAAMAIFMAAAAAAACNQAAMAAAAAjEABDAAAAAAwAgUwAAAAAMAIFMAAAAAAACNQAAMAAAAAjPA/axOAurnVcK8AAAAASUVORK5CYII=",
      "text/plain": [
       "Graphics object consisting of 26 graphics primitives"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "p = density_plot(lambda x, y: 3*x + y, (0, 3.1), (0, 4.1), cmap=\"jet\", plot_points=200)\n",
    "p += plot(P.polyhedron(), fill=False, color=\"black\")\n",
    "p += sum( point((x, y), color=\"gray\") for x in range(4) for y in range(5) )\n",
    "p.show(aspect_ratio=1, dpi=150, axes_labels=[\"chips\", \"peanuts\"], fig_tight=False)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "91882476-f5f4-4a91-9f6b-a82830ad0f64",
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "SageMath 10.2",
   "language": "sage",
   "name": "sagemath"
  },
  "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.11.7"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}
