{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Quickstart\n", "\n", "After installing `lambeq`, you can quickly check if everything went OK by using the {ref}`command-line interface `. Run the following command in a terminal:\n", "\n", "```bash\n", "$ lambeq \"John gave Mary a flower\"\n", "```\n", "\n", "The first time you run `lambeq`, it will need a few minutes to download {term}`Bobcat`'s statistical model. After this, you should see in the terminal the {term}`pregroup ` diagram for the given sentence:\n", "\n", "```bash\n", "John gave Mary a flower \n", "──── ───────────── ──── ───── ──────\n", " n n.r·s·n.l·n.l n n·n.l n\n", " ╰─────╯ │ │ ╰────╯ │ ╰─────╯\n", " │ ╰─────────────╯\n", "```\n", "\n", "You are now ready for some real `lambeq` coding! Let's see how the above result can be achieved programmatically. Open your Python interpreter or a Jupyter notebook and type the following:" ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [], "source": [ "from lambeq import BobcatParser" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Let's create a new {term}`parser` object that we'll use to get the pregroup diagram of the sentence." ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "parser = BobcatParser()\n", "diagram = parser.sentence2diagram(\"John gave Mary a flower\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "You can display the diagram by using its {py:meth}`~lambeq.backend.grammar.Diagram.draw` method." ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAApQAAACrCAYAAADYfAxtAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjkuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8hTgPZAAAACXBIWXMAAA9hAAAPYQGoP6dpAAAljklEQVR4nO3deVxU9f4/8NdsrLIOKCAICiaoLCppCKklV8olzZZHae56r+VNq2/6sLTlVvYwb2Xp9XpLS620XDLzetsUExWNcMMFUMRdUJBNBAaB+fz+8MH5MSyCnBnOAK/n43Eew8w5fM77zNlec87MOSohhAARERERUTOplS6AiIiIiFo3BkoiIiIikoWBkoiIiIhkYaAkIiIiIlkYKImIiIhIFgZKIiIiIpKFgZKIiIiIZGGgJCIiIiJZGCiJiIiISBYGSiIiIiKShYGSiIiIiGRhoCQiIiIiWRgoiYiIiEgWBkoiIiIikoWBkoiIiIhkYaAkIiIiIlkYKImIiIhIFgZKIiIiIpKFgZKIiIiIZGGgJCIiIiJZtEoX0JYIIXDz5k1kZWUhOzsbubm5cHNzg4+PD7y9veHu7g6VSqV0mSRTaWkpsrOzkZWVhWvXrsHBwQHe3t7w8fGBp6cnNBqN0iWSTLdv38a1a9ek+QxAWo+9vLxgY2OjcIUkV1VVFXJzc6XtdWlpKby8vKT57ODgoHSJJJMQAvn5+dJ6XFBQAE9PT2l77ezszH2yGTFQNkHtoFjzsfZrpaWlDbZjY2MjLcjVG62ajwyeyqoZFO82n4uKihpsQ6PRoFOnTnedvwyeyqkdFBtaj3Nzc+/aTs2dUkPrNIOnMmoHxfrmb1ZWFq5fv46qqqoG23Fxcbnr/GXwVE7toHi3bfbt27cbbKfmwYC7zWcGz6ZRCSGE0kUoRU5QrL2xqW9h9PDwQGFhYaMLfF5enknbDJ7m1dygaG9vX2ce1BcaysrKGm07JycHRqNRapvB07yaGxR1Oh28vb0bDQ0AGm07OzsbFRUVJu0zeJpPc4OiWq1Gx44dG92e2tvbN7oMZWVloayszKQuBk/zkRMU9Xp9g+999XxxdXXFjRs3Gl2Gau8LGDybpk0GSnMGxZbYOJSXl+PatWuNLuQMnqbMERTv9r6Zc+NQWVmJnJycRjeUDJ6mLBkUfXx84O7uDrXaPF8lNxqNyM/Pb3RHyOBpytJBsWPHjtBqzXMyrqn7FgZPU5YIijX/9vLygq2trdnqrW/fwuDZuFYVKFtbUDS39hI8W1NQNLf2EjzlBsXGptOcQdHc2kvwlBMUO3Xq1Oh0mjMomlv1vqqx9bi1B09zBsX6ptPcQdHcmruvaqvB02oD5U8//YSdO3c2OSjebQdjLStfS6kveNa3kDcleN5///2YOHGiRepMSUnBhg0bmrTyNRYgrD0omlvt4NnQBv369euNBk8/Pz8sWLDAInXm5ubi008/bRdB0dxqBs+77bCbGjznzJkDT09Pi9S6aNEiXL58uc0HRXMzd/AcN24cwsPDLVLrV199heTk5HYRFM3NnMHzL3/5C4YPH67QlNyd1QbKGTNmYMOGDYiKimJQtJDGguehQ4fQu3dvJCQkWGT8q1evxowZM/Dggw8yKFpIY8HzxIkTuHbtGgwGg0XGf/z4cYSHhyM0NBRBQUEMihbQWPA8e/YsTpw4gZSUFISFhVmkBjs7O3h5eSE0NJRB0QJqB8/65vO+ffuwatUqTJ8+3SI1DB48GCdPnkRkZCSDooVUB8+GPmAcPHgQ48aNw6pVq5QutV5WvXb37t0bu3btUrqMNsvW1hb+/v7w9/evt//EiRNx8eJFi9exd+9ei4+jvdJqtdLGv1+/fnX6/+tf/8Krr75q8TpWr16N/v37W3w87ZFarYaHhwc8PDzqDYx//vknBgwYYPE6Xn31Vfz973+3+HjaI5VKBRcXF7i4uCA4OLjBYSxtxIgR+Oqrryw+nvbKwcEBgYGBCAwMrLd/S6zHcvCQABERERHJwkBJRERERLIwUBIRERGRLAyURERERCQLA6UF7NmzByqVCoWFhUqXQkRE1CoJIfDXv/5Vukayq6srXnrpJaXLogYwUDbR5MmTMWbMGKXLIKJmmDx5MlQqFWbOnFmn36xZs6BSqTB58uSWL4yIGvTLL79g7dq12LFjB7Kzs9G7d2+lS6K7YKAkonbBz88P3333nckFog0GAzZs2IAuXbrIarv2hcWJSL7MzEx4e3tj4MCB8PLysrrrmNa+qHt7x0DZDOXl5Zg9ezY6duwIOzs7xMTEIDk5uc5whw8fRmRkJBwcHDBw4ECcPn1a6vf2228jIiICX3/9NQICAuDi4oJnnnkGxcXFLTkpBKC4uBjjx4+Ho6MjvL29sXTpUgwZMkQ6tfL1118jMjISTk5O8PLywrhx45CTkwPgzkWlfX19sXLlSpM2jx49CrVaLV3Hs7CwENOnT4enpyecnZ3x8MMPIyUlpUWns73r27cv/Pz8sHXrVum1rVu3okuXLujTp4/02i+//IKYmBi4urpCr9dj5MiRyMzMlPpfuHABKpUKGzduxODBg2FnZ4fPP/8czs7O2LJli8k4t23bBkdHR67XVqyx+U3KmDx5Ml588UVcunQJKpUKAQEBdYYpKCjAxIkT4ebmBgcHBzz66KPIyMgAcOd0uaenp8k6GRERAW9vb+n5/v37YWtrK92Br7HtdPV+e/Xq1ejatSvs7OwsNPWtEwNlM8ybNw/ff/891q1bhyNHjiAoKAhxcXHIz883GW7BggX46KOPcOjQIWi1WkydOtWkf2ZmJrZt24YdO3Zgx44dSEhIwOLFi1tyUgjAK6+8gsTERGzfvh07d+7Evn37cOTIEal/RUUF3n33XaSkpGDbtm24cOGCdHpUrVbj2WefxYYNG0zaXL9+PaKjo6WLxj/11FPIycnBzz//jMOHD6Nv374YOnRonWWGLGvq1KlYs2aN9PzLL7/ElClTTIYpKSnBK6+8gkOHDiE+Ph5qtRqPP/64yS0sAWD+/PmYM2cO0tLSMHbsWDzzzDMmbQPAmjVr8OSTT8LJyclyE0WyNHV+U8v69NNP8c4778DX1xfZ2dn1HrSZPHkyDh06hO3bt+PgwYMQQmD48OGoqKiASqXCoEGDsGfPHgB3wmdaWhrKysqQnp4OAEhISMD9998v3XGvKdvps2fP4vvvv8fWrVtx7Ngxi78PrYqwUtOnTxf9+/dXugzJpEmTxOjRo8WtW7eETqcT69evl/rdvn1b+Pj4iCVLlgghhPj9998FALFr1y5pmP/9738CgCgrKxNCCPHWW28JBwcHcfPmTWmYuXPnigEDBrTQFDVuwoQJYtCgQRZrf9WqVULpRfDmzZtCp9OJzZs3S68VFhYKBwcHMWfOnHr/Jzk5WQAQxcXFQgghjh49KlQqlbh48aIQQoiqqirRuXNnsXLlSiGEEPv27RPOzs7CYDCYtBMYGCg+++wzC0xV0y1fvlzY2tparP2UlBQBQCQlJVlsHE1Rvf7m5OQIW1tbceHCBXHhwgVhZ2cncnNzxejRo8WkSZPq/d/c3FwBQJw4cUIIIcT58+cFAPHJJ5+YDJeUlCQ0Go3IysoSQghx/fp1odVqxZ49eyw6bY1JSkoSAERKSorFxmFrayuWL19usfZbUu353VoAEKtWrbJY+4MGDRITJkywWPv1Wbp0qfD395eeDx48WNounzlzRgAQiYmJUv8bN24Ie3t7sWnTJiGEEMuWLRO9evUSQgixbds2MWDAADF69Ghp2xwbGytef/11IUTTttNvvfWW0Ol0IicnxyLT25j+/fuL6dOnKzLupuARynuUmZmJiooKREdHS6/pdDr0798faWlpJsPWvA1a9WH26lOlABAQEGBy5MLb29ukP1neuXPnUFFRYXJbQBcXF/To0UN6fvjwYYwaNQpdunSBk5MTBg8eDAC4dOkSgDunUUJCQqSjlAkJCcjJycFTTz0FAEhJScGtW7eg1+vRoUMHqTt//jxPrbUwT09PjBgxAmvXrsWaNWswYsQIeHh4mAyTkZGBZ599Ft26dYOzs7N0qq16fleLjIw0ed6/f3/06tUL69atAwB888038Pf3x6BBgyw3QSRbU+c3WZe0tDRotVqT2xHq9Xr06NFD2hcPHjwYqampyM3NRUJCAoYMGYIhQ4Zgz549qKiowIEDBzBkyBAATd9O+/v7w9PTs0WntbWwrm+4tjE6nU76u/o+qzVPo9TsXz0MT7NYl5KSEsTFxSEuLg7r16+Hp6cnLl26hLi4OJMvZI8fPx4bNmzA/PnzsWHDBjzyyCPQ6/UAgFu3bsHb21s69VKTq6trC00JVZs6dap0z+kVK1bU6T9q1Cj4+/tj1apV8PHxgdFoRO/evet8Ad/R0bHO/06fPh0rVqzA/PnzsWbNGkyZMqVF7rFMzdfU+U2tT2hoKNzd3ZGQkICEhAQsWrQIXl5e+OCDD5CcnIyKigoMHDgQQNO30/Wt93QHj1Deo8DAQNjY2CAxMVF6raKiAsnJyejZs6eClVFzdOvWDTqdzuT7OUVFRThz5gwAID09HXl5eVi8eDEefPBBBAcH13sUedy4cTh58iQOHz6MLVu2YPz48VK/vn374tq1a9BqtQgKCjLpah8dI8t75JFHcPv2bVRUVCAuLs6kX15eHk6fPo2FCxdi6NChCAkJQUFBQZPbfu6553Dx4kUsW7YMqampmDRpkrnLJzOSO79JOSEhIaisrERSUpL0WvX8rN4Xq1QqPPjgg/jxxx9x6tQpxMTEICwsDOXl5fjss88QGRkpBURup+VjoLxHjo6OeP755zF37lz88ssvSE1NxYwZM1BaWopp06YpXR7dIycnJ0yaNAlz587F77//jlOnTmHatGlQq9VQqVTo0qULbGxssHz5cpw7dw7bt2/Hu+++W6edgIAADBw4ENOmTUNVVRUee+wxqV9sbCyioqIwZswY/Pbbb7hw4QIOHDiABQsW4NChQy05uQRAo9EgLS0Nqamp0Gg0Jv3c3Nyg1+vx+eef4+zZs9i9ezdeeeWVJrft5uaGsWPHYu7cuRg2bBh8fX3NXT6Zkdz5Tcrp3r07Ro8ejRkzZmD//v1ISUnBc889h86dO2P06NHScEOGDMG3336LiIgIdOjQAWq1GoMGDcL69eulry8B3E6bAwNlExmNRukaWIsXL8YTTzyBCRMmoG/fvjh79ix+/fVXuLm5KVwlNcfHH3+MqKgojBw5ErGxsYiOjkZISAjs7Ozg6emJtWvXYvPmzejZsycWL16MDz/8sN52xo8fj5SUFDz++OOwt7eXXlepVPjpp58waNAgTJkyBffddx+eeeYZXLx4EZ06dWqpyaQanJ2d4ezsXOd1tVqN7777DocPH0bv3r3x8ssv45///Oc9tT1t2jTcvn27zlUdyPqYY36TctasWYN+/fph5MiRiIqKghACP/30k8nXyQYPHoyqqirpu5LAnZBZ+zVup81A6V8FNcTafuUdFxcnZs2apXQZLao9/Mq7Prdu3RIuLi5i9erVSpdice3lV94t6auvvhJ6vV6Ul5crXYoQgr/ybi/QBn/lTaas/Vfe/FFOIwoKCpCYmIg9e/bUe9s2av2OHj2K9PR09O/fH0VFRXjnnXcAwOS0CVFjSktLkZ2djcWLF+Nvf/sbbGxslC6JiKjF8JR3I6ZOnYqZM2fi//7v/xgw2rAPP/wQ4eHhiI2NRUlJCfbt28cvYtM9WbJkCYKDg+Hl5YXXXntN6XKIiFoUj1A24ocfflC6BLKwPn364PDhw0qXQa3c22+/jbffflvpMoiIFMEjlEREREQkCwMlEREREcli1ae8i4qKsHPnTqXLaLeysrJaZDycx8pJT09vkfEkJSWhqKioRcZFplpqHqenp3NdbuOysrI4jxVk9dtQpX9m3pCPP/5YAGCncDdz5kyLzeM9e/YIjUaj+DS2965Pnz4Wm8fZ2dnC3d1d8Wls751erxfZ2dkWm899+vRRfBrbe6fRaERCQoLF5vHMmTMVn0Z2EB9//LHF5rFcKiGEgBUSQuDKlSuw0vIaFR8fj6lTp2LhwoWYMWOG0uU0m4+Pj3RBd0u4fv06ysvLZbdz+vRpDBs2DFOmTDHLDyPGjBmDtLQ0nD59WnZbGzduxLx58/Dpp59izJgxstsLCAjAgAEDsHHjRtltAYCHhwccHBzM0lZ9CgoKUFxcbLH2LS0mJgYAsH//foUraT4nJyeL3nihpKQEeXl5Fmu/MXFxcbh+/TqOHTumyPiXLl2KTz75BJs2bcKAAQMUqcHW1taiF+CurKxssbNWlrBq1Sq89957+PLLLzF06FCly2kWlUoFX19fqFQqpUupl9We8lapVPDz81O6jGbr2LEjgDu39urSpYvC1Vgvc20Ab968CeDOjtMc77etrS3UarVZ2tLr9QDuBDdztKdSqWBnZ9dqlis3N7dWfRep6g9UreX9VoKjo6N0T2Ql2NjYQKPRKDaPXF1dAdzZnrXV5USr1bbqaaveBnXs2LFVT4c1449yiIiIiEgWBkoiIiIikoWBkoiIiIhkYaAkamWMRiNOnDhhlrYmT55slh8KEZF5cJ2k1oqBkoiIiIhkYaAkaoLbt28rXQIREZHVYqBUyJAhQzB79mzMmzcP7u7u8PLyMsv1E6l+9/p+nz17FuXl5Vi0aBF8fHzQo0cPk/5btmxBaGgo7O3todfrERsbi5KSkhapraXaosbx/bZ+Ss8jpcdPTcP5JB8DpYLWrVsHR0dHJCUlYcmSJXjnnXd4WysLutf3u6qqCqdPn8bOnTuxY8cO6fXs7Gw8++yzmDp1KtLS0rBnzx6MHTtW1kX4zbkscLlqWXy/rZ/S80jp8VPTcD7Jw0CpoLCwMLz11lvo3r07Jk6ciMjISMTHxytdVpvVnPd79erV6NWrF3r16iW9lp2djcrKSowdOxYBAQEIDQ3FCy+8gA4dOrRobS3RFjWO77f1U3oeKT1+ahrOJ3ms9k45rV2HDh0wePBgqNUNZ/awsDCT597e3sjJybF0aW2SwWBAdHQ0fH19GxzmXt9vtVoNGxubOq+Hh4dj6NChCA0NRVxcHIYNG4Ynn3xS1t1g7qU2Hx+fu956i8uVefXo0QMuLi4N9uf7bf0sPY+8vLwQExPT4G1kuYxYh8GDB9/1gz/nkzw8Qmkhrq6uSEhIQEZGRoPD6HQ6k+cqlQpGo9HSpbVJV65cQWJi4l2D1r2+3w21pdFosHPnTvz888/o2bMnli9fjh49euD8+fPNK/4eaysqKkJ+fn6Dp9i5XJlPeXk5du7ciezs7AaH4ftt/Sw9j+zs7LB//35kZmYqMn5qXGpqKhISEuDh4dHgMJxP8jBQWkj37t3h4eGB9evXIy8vT+ly2jQhBJYvXw4AGDhwYIuMU6VSITo6Gv/4xz9w9OhR2NjY4IcffmiRcXfs2BFlZWXYvn17i4yvPfvPf/6DqqqqFluuqHWKjo6GVqvFkiVLUFpaqnQ5VEtGRga++eYbdO7cGUFBQUqX02YxUFqIg4MD3njjDRQVFeH9999Xupw27ddff8Xu3bsxatSoZu/4J06ciNdee61JwyYlJeH999/HoUOHcOnSJWzduhW5ubkICQlp1rjvtbaIiAioVCrMnz8flZWVstqihhUVFeHdd9+Fq6sr5s6dq3Q5ZMWCgoIwd+5cnD9/HosWLbqn/+U6aVlCCMyaNQvl5eVYtmwZbG1tlS6pzWKgtKCZM2eiW7duWLZsGVauXCnrV8BUv4MHD2Lq1KlQq9VYvHhxs9u5dOnSXU9r1uTs7Iy9e/di+PDhuO+++7Bw4UJ89NFHePTRR5s9/nupzdnZGQEBAUhPT8eECRPu6XJF9zKd7Vlubi7Gjh2LvLw8vP7663B3d1e6JLJyCxcuRNeuXbF48WK8+eabqKioaNL/cZ20nIKCAowfPx47d+7EyJEj8fjjjytdUtsmyKIOHDggOnbsKACIyZMni9LSUqVLahOMRqP497//LXQ6ndBoNGLFihVmbf+BBx4QDg4OZmnriy++EADE+vXrzdKeEELk5eWJQYMGCQAiNDRUZGRkmK3t9i45OVn4+fkJAOKJJ54QZWVlSpdEjQgLCxMeHh5KlyGSk5NF165dBQDRr18/kZqaqnRJ7dZvv/0mOnfuLACI6OhocfXqVaVLavN4hNLCoqKicOTIETzwwANYu3Yt+vbtiy+++AJlZWVKl9YqCSGwa9cuDB8+HC+88ALc3Nywe/duvPDCC0qX1qLc3d2xa9cuvPTSSzhx4gT69euHBQsW4OrVq0qX1mplZGTgxRdfRExMDK5evYoPPvgAmzdvhp2dndKlUSsRGRmJlJQUTJs2DYcPH0bfvn0xbdo0HDhwgGeoWkBFRQW2b9+O0aNHY9iwYcjJycHixYuRkJAAHx8fpctr+5ROtO2FwWAQs2fPFjqdTgAQHh4e4o033hBZWVlKl9YqlJaWilWrVolevXoJAAKAiI2NFVeuXLHI+Kz9CGVN33zzjfD09BQAhFarFePGjRPJyckWGVdbYzQaRXx8vBg5cqRQqVQCgPD39xe//fab0qXRPbCWI5Q1/fjjj6Jbt27S9io4OFgsWbJEZGdnK11am5Oeni7mzZsnvLy8pPf7gQceEMeOHVO6tHZFJQQ/NrWk7OxsrFy5EitXrsSNGzeg0Whw//33Y+jQoRg6dCgGDhzILw0DMBqNOHnyJHbt2oX4+Hjs3bsXt27dgk6nw7hx4zBnzhz06dPHYuOPiorC8ePHm307xZq+/PJLTJs2DevXr8e4cePMUF1dBoMB3333HZYuXYrjx48DAAIDAxEbG4uhQ4fioYceuuvlMtqTrKwsxMfHS8tW9VHdmJgYvPzyy3jssceg1fISva1JeHg4srKykJubq3QpJoxGI/bu3YsvvvgCW7ZsgcFggEqlQmhoKKKjoxEdHY2YmBh06dLlrpc8o//PaDQiLS0NiYmJSExMxP79+3Hu3DkAgF6vx4QJEzB16lSEhoYqXGn7w0CpkLKyMmzYsAHr1q3DH3/8IX2B297eHjExMRg0aBB69uyJ4OBgBAUF1XuB7bbCaDTi8uXLSE9PR1paGpKSkhAfH2+yc+jVqxeeeOIJPP/88/Dy8rJ4Ta0tUFYTQmDPnj1YuXIldu3ahYKCAgB3LnMUERGBhx56CGFhYQgJCUFwcDCcnZ0tWo/S8vLypOXq2LFj2L17N9LS0qT+nTp1wqOPPopZs2YhMjJSwUpJDmsNlDUVFRXh22+/xebNm/HHH3+YXF6oc+fOiI6ORr9+/RAYGCh1Tk5OClasLCEE8vPzcfbsWWRmZiIjIwN//vknDhw4gMLCQmk4vV6PBx98EOPHj8djjz3WpveV1o6B0gqUlJRg37590hGTY8eOmfTXaDQIDAyUQkD37t3h6ekJvV4PvV4Pd3d3uLu7W+VRFaPRiJs3byIvL8+kO3/+vLSjP336dJ1rt3Xp0gVDhw5FbGwsHn744RYJkTW11kBZU1VVFY4ePYr4+HjEx8dj3759MBgMJsP4+PggODgYISEh6NGjB7y9vaXlqrqzxu8QCiFQWlqKvLw85OfnS8vV1atXpeUqPT29TsBwcnLCkCFDpGWrZ8+ePDLUBrSGQFlTZWUlUlJSpKNsiYmJ9X7/uWPHjggMDERQUBACAwPh7+8PNzc3uLm5wdXVVfrb0dGx1SzH1fuEwsJCFBQUSI/V+4XMzEwpRBYVFdX5/x49ekhHd6Ojo3Hfffe1mmlv6xgorVBubi6OHDki7RSrHxu7BZSLi4tJEHB3dzd57uDgAK1WC51Od9dHrVaLqqoqVFZWoqKiApWVlSZ/13wsLy+Xdug1d+zVXUFBAaqqqhqs2dHRUQo01Y9hYWEIDAxUdCPRFgJlbQaDAUeOHEFqaqrJcnX+/Pm7/mDA3t6+TsisuXw5OztDp9PVuxzVfE2j0UClUtW7HNW3jBUWFposS7WXr4Zucwfc+RAWFBRksmz16tULERERVvnBi+RpbYGyNiEELl26hFOnTklhqvrx3LlzjV6CSKvVwtXVVQqZtR/d3Nzg4uICW1tbad3UarXQaDQmz2v3AyCtm9Vd9b6hvs5gMJiExOrHmn8XFRU1+gMlBwcHKURXPwYGBiIiIoJf3bFi3LJaIU9PT8TFxSEuLs7k9erTd5mZmQ0GuPz8fKSmpsoKQlFRUTh48GCz/9/GxgZ6vR6dOnVCz5496w0hfn5+CAkJga+vLz9dthA7OzsMHDiwzsXfy8rKkJGRgdOnTyMnJ6fBZevSpUtISUlp9vidnJxQXFzc7P9Xq9Vwc3ODXq9Hly5d6g25nTp1QnBwMAIDA3nqi1oNlUoFf39/+Pv71+lXVVWFy5cvIzMzE1euXKk3sNV8lLv9r+bp6Wm2gO7i4gJXV1cEBATcNfT6+/sjKCgInTp14n6hFWKgbEX0er10mL8xBoOhzpHDsrIy6ehPQ0eJKioq4OzsjIceeqjRI5k6nQ42NjbSTr66a02nX+jOEciwsDCEhYU1OmxVVZV0eqq6Ky4ubnBZqvkohEBVVVWTjpLrdDrpiHv1hxBXV1eo1bzSGbUvGo0GAQEBCAgIaPL/VB/hrxk0CwsLTc4GNNZpNBrcvn27wSOY9XXV+4OaIdHZ2Vk62kltGwNlG2VnZwcfHx9ee4vMSqPRwMPDg6ediKyYTqeDp6cnPD09lS6F2hF+3CciIiIiWRgoiYiIiEgWBkoiIiIikoWBkoiIiIhkYaAkIiIiIlkYKImIiIhIFgZKIiIiIpKFgZKIiIiIZGGgJCIiIiJZGCiJiIiISBYGSiIiIiKShYGSiIiIiGRhoCQiIiIiWRgoiYiIiEgWBkoiIiIikoWBkoiIiIhkYaAkIiIiIlkYKImIiIhIFgZKIiIiIpKFgZKIiIiIZGGgJCIiIiJZGCiJLMzW1hZ6vR4VFRVKl0LUJtnb20Ov1ytdBlG7xkBJZGEdOnRAXl4eTp48qXQpRG1OYWEhTp06pXQZRO0eAyWRhcXGxsLPzw/Lly9HfHy80uUQtRmlpaWYOXMmbt26henTpytdDlG7xkBJZGGOjo5YsWIFqqqqEBsbi9mzZ6O0tFTpsohatT/++AMRERHYuHEjIiMjMWfOHKVLImrXGCiJWsCoUaOQlJSEXr16Yfny5ejduzfee+89nDlzRunSiFoNg8GA7du3Y/z48YiOjsbZs2cxb9487N+/HzqdTunyiNo1lRBCKF0EkbWJiorC8ePHUVJSYtZ2DQYD3nzzTSxfvhwGgwEAEB4ejqeffhpPPfUUunfvbtbxEbV25eXl2LlzJzZt2oQff/wRN2/eBACEhIRg1apViI6OVrhCIgIYKInqZalAWa24uBg7duzApk2b8PPPP6O8vBwA0KdPH4wYMQJ9+/ZFREQEAgICoFKpLFIDkTUqKSnBiRMnkJKSgsTERGzfvh1FRUUAgG7duuHpp5/G008/jYiICK4bRFaEgZKoHpYOlDXdvHkT//3vf7Fx40b8+uuvuH37ttTP2dkZ4eHhiIiIkLqePXvCzs7O4nURWZIQAteuXcOxY8eQkpKCY8eO4dixYzhz5gxq7pYCAgKkENm3b1+GSCIrxUBJVI+WDJQ1FRUVITk5Wdq5pqSkIC0tDVVVVdIwWq0WwcHB6N27N/z8/KTO19cXfn5+8PT0hFrNr0eT8srKynD16lVcvnwZly9fxpUrV3D58mVkZmYiJSUFOTk5JsO7u7tLH5zCw8PRp08f9O7dmyGSqBVgoCSqh1KBsj4GgwGnTp2qcySnuLi43uFtbGzQuXNnk5BZO3C6ubnB0dGRO2pqlsrKShQWFiI/Px/Z2dl1AmP13zdu3GiwjcDAQJMj7+Hh4fD19eUySdRKMVAS1cOaAmV9jEYjrl27VmcHXvPvrKwskyObtWm1Wri5ucHd3R1ubm5S19hzNzc32Nvbc8ffylVVVeHmzZvIz89HQUGB1DXleUMfZqo5OTnV+SBT++8OHTq00JQSUUtgoCSqh7UHyqaorKw0CZ3Vj3l5eXWCQn5+vvTDoKays7NTpLO1tYVGo4FarYZKpZK61kAIASEEjEYjjEYjKioqUF5ejrKyMhgMhhbtKisrm1y3SqWCi4tLvR80vLy86gRGZ2dnC76LRGSNGCiJ6tEWAuW9KisrMzkSdbejVU0JQC25aVGpVFCr1U3uGhu+a9euuHDhghT8anc1Q+G9dC1Jp9M1GsydnZ2bdFTaxcUFGo2mResnotZFq3QBRGQd7O3tYW9vDx8fH9ltCSFQUVFhkSNr5eXlZgt4tf+vsrISRqMRBoMBt27dMgmZWq22SWH0XkKsRqOBvb29xY7iEhG1FAZKIjI7lUoFGxsb2NjY8PQnEVE7wGuLEBEREZEsDJREREREJAsDJRERERHJwkBJRERERLIwUBIRERGRLAyURERERCQLAyURERERycJASURERESyMFASERERkSwMlEREREQkCwMlEREREcnCQElEREREsjBQEhEREZEsDJREREREJAsDJRERERHJwkBJRERERLIwUBIRERGRLAyURERERCQLAyURERERycJASURERESyMFASERERkSwMlEREREQkCwMlEREREcnCQElEREREsjBQEhEREZEsDJREREREJAsDJRERERHJwkBJRERERLIwUBIRERGRLAyURERERCQLAyURERERycJASURERESyMFASERERkSwMlEREREQki1bpAois0fz585Gfn690GURERK2CSgghlC6CiIiIiFovnvImIiIiIlkYKImIiIhIFgZKIiIiIpKFgZKIiIiIZGGgJCIiIiJZGCiJiIiISBYGSiIiIiKShYGSiIiIiGRhoCQiIiIiWRgoiYiIiEgWBkoiIiIikoWBkoiIiIhkYaAkIiIiIlkYKImIiIhIFgZKIiIiIpKFgZKIiIiIZGGgJCIiIiJZGCiJiIiISBYGSiIiIiKShYGSiIiIiGRhoCQiIiIiWf4fXECSbQoZBsYAAAAASUVORK5CYII=", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "diagram.draw()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "To use the above diagram on a quantum computer, we need to first convert it into a {term}`quantum circuit`. This can be done with the help of an {term}`ansatz `. " ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [], "source": [ "from lambeq import IQPAnsatz, AtomicType" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "For this example we will use an ansatz that generates an {term}`IQP circuit`. You can think ansatze as mappings from {term}`string diagrams ` to quantum circuits. For this mapping to work, we need to provide the number of actual qubits we want to use for each wire. For example, in the above diagram note that each wire is annotated with a type, `n` representing nouns and `s` the entire sentence; so, to create the ansatz, we pass a dictionary from noun and sentence types to a specified number of qubits. We also have to provide the number of IQP layers we want for the circuit, as well as the number of rotations that will represent each qubit." ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [], "source": [ "mapping = { AtomicType.NOUN: 1, AtomicType.SENTENCE: 1 }\n", "ansatz = IQPAnsatz(mapping, n_layers=1, n_single_qubit_params=3)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Getting the circuit now is just a matter of applying the ansatz to the string diagram." ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAA/sAAAJrCAYAAAC/aYPNAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjkuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8hTgPZAAAACXBIWXMAAA9hAAAPYQGoP6dpAADnaElEQVR4nOzdd1gU19cH8O9SliqgooIVFRRUxBqFYLBFYoxKNGrsYCOWKIk19hI7ikkwRIMCNjR2Yy8RFEWjWGJBsUQxiAXFQlGBPe8fvDs/VorLtoHlfJ6H54HZmXvvHs7cvXdmdkZCRATGGGOMMcYYY4zpDQOxG8AYY4wxxhhjjDHN4sk+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ3iyzxhjjDHGGGOM6Rme7DPGGGOMMcYYY3qGJ/uMMcYYY4wxxpie4cl+Ie7cuYNffvkFr169ErsprAzatGkTjh07JnYzSqWMjAwEBwfj5s2bYjelVLp16xZ++eUXpKWlid2UUikqKgobNmwAEYndFFbGpKWl4ZdffsHt27fFbkqpdPPmTQQHByMjI0PsppRKx44dw6ZNm8RuBiuDXr16hV9++QV3794VuyklkpHYDSiJ0tLS0L17d1y7dg3R0dHYunUrJBKJ2M1iZcTatWsxdOhQmJiY4NSpU2jevLnYTSo1iAj+/v7YsGEDnJyccO7cOVhbW4vdrFLj1atX6Nq1K27evIlTp04hMjKS+75iuHTpEjp37ow3b94gIyMDI0aMELtJrIwgIgwbNgxbtmyBs7Mz/v77b5QrV07sZpUaL1++xBdffIHbt2/j7NmzWLduHfd9xXD+/Hl06dIFb9++xdu3b+Hn5yd2k1gZQUTw8/PDjh07sGrVKpw9exYWFhZiN6tE4TP775F/YN67dw+LFy/G9u3bsWzZMrGbxcqICxcuYNSoUfD19UXjxo3Rs2dPPHv2TOxmlRq//vorNmzYgAULFuDJkycYPHgwZDKZ2M0qFYgIQ4YMwcOHD7Fw4UJs2bIFP//8s9jNKjVSU1PRs2dPuLi4YNiwYfj222/x999/i90sVkb89NNP2LJlCxYtWoSkpCQMGTKEry5Rkkwmw+DBg/H06VMsWLAAGzZsQEhIiNjNKjVSUlLQs2dPNG7cGL6+vhg5ciQuXLggdrNYGREYGIgdO3Zg8eLFuHfvHoYPH8593/uIKVixYgUBoD/++IOIiKZMmUIGBgb0119/idwypu9SUlLIwcGBWrRoQZmZmXT//n2qWLEieXt7U3Z2ttjNK/FOnTpFRkZGNG7cOCIi2rNnDwGghQsXituwUmLp0qUEgHbs2EFEROPHjycjIyM6ceKEyC0r+XJycqhLly5Uvnx5unv3Lr19+5Zat25NNWrUoCdPnojdPKbnTpw4QYaGhjRhwgQiItqxYwcBoMDAQJFbVjosWLCAANCff/5JRERjx44lY2NjOn36tMgtK/mys7OpU6dOZGtrS/fv36fMzExq3rw5OTg40LNnz8RuHtNzx44dIwMDA/rhhx+IiGjLli0EgH766SeRW1ay8GQ/jxMnTpCRkRGNHz9eWJaVlUUdOnSgSpUq0YMHD0RsHdNn2dnZ5O3tTRUrVqR79+4Jy48cOUIGBgY0Y8YMEVtX8j169IiqVq1KH3/8Mb17905YPn36dDIwMKAjR46I2LqS76+//iIDAwOaMmWKsCwrK4u8vLzIzs6OHj58KGLrSr65c+eSRCKh/fv3C8sePHhAlSpVog4dOvDBOqY1Dx8+JDs7O2rbti1lZWUJyydPnkyGhoZ0/Phx8RpXChw+fDjfZ+zbt2/p448/pqpVq9KjR49EbF3JJ/+MPXr0qLDs3r17VKFCBfrss88oJydHxNYxfSb/jO3YsaPCZ+z3339PRkZGdPLkSRFbV7LwZP//yT8wvby8FD4wiYiePHlC1atXp9atW9Pbt29FaiHTZzNnziSJREKHDx/O99r7Zx2YoqImpe+fdWD55Z2Uvt/3yQ+ieHp6KhxEYf9z4MABkkgkNGfOnHyvyQ+iyM86MKZJ7969K3RSmpWVRe3bt6fKlSvTf//9J1ILS7airp5LSkqiKlWq5DuIwv6nqKvnDh06RBKJhGbNmqX7hjG99+bNG2rVqlWBV8+9e/eOPvnkEz5RkQdP9ik3MTw9PRU+MIODg6lWrVpkYmJCH330Ea1du5akUimNHj1a5NYyffPnn38SAJo/fz4R5c+92NhY6t69O1lbW9OtW7dEbm3JM2HCBDI0NBQuN38/focPH6ZatWpRy5Yt6c2bNyK3tmSRX25evXp14QPz/fj9/vvvZGRkRAEBASK3tuS5e/culS9fnj7//HPhDNb78RszZgwBoJ07d4rbWKZ3xo0bp3C5+fu5d+DAAapevTq5u7vziYr3ZGZmUosWLahWrVqUkpJCRPnj99tvv5GhoSFNnDhR5NaWPLdu3SJra2vy8fEhmUxGRPnj98033xAA2rt3r8itZfpm1KhRJJVK6ezZs0SUP/f2799P9vb21KZNGz5RQTzZJyKigIAAMjIyolOnThER0ebNm0kqldLatWvp2rVrNHz4cLKxsaElS5YQAFq3bp3ILWb64vbt22RjY0PdunWjnJycQnPv1q1b5OjoSI0bN6b09HSxm11ibN26lQBQUFAQERW+7x46dIhMTEzI399f3AaXMKNHj1b4wCwsfvKrSyIjI0VuccmRkZFBzZo1ozp16tDz58+JqPD4ff7552RlZUU3b94UudVMX2zatIkAUHBwMBEVnnv79+8nY2NjGjNmjMgtLllGjBhBJiYmdP78eSIqPH5z5swhALRt2zaRW1xypKenk6urKzk5OdGLFy+IqPD4derUiWxsbOjOnTsit5rpi4iICAJAq1atIqLCc+/PP/8kIyMj+u6770RusfjK/GQ/MjKSANAvv/wiLPvoo48UzuDn5ORQ1apVacGCBeTr60tmZmZ06dIlMZrL9Eh6ejq5ubmRo6MjpaamElHhubdw4UL6559/yNzcnAYMGCAcSS/Lrl+/TpaWltSnTx8hHkXFLzQ0lADQ2rVrxWpyibJu3ToCQL/99puwrKi+r3///mRubk5Xr14Vo7klikwmIz8/PzI1NaWLFy8KywuL36xZs6h+/frUsGFDSktLE6HFTJ9cuXIl32dBUX1fSEgIAaD169eL1eQSZc2aNQSA1qxZIywrqu/r3bs3WVpaUnx8vBjNLVFkMhkNGDCAzM3N6cqVK8LywuI3c+ZMqlu3Lrm5ufGJCqa2ixcvkqmpKfn5+SnV9/38888EgDZv3ixWk0uEMj3Zv3r1Kpmbm1P//v2FpHn79i0ZGhrmu+Ry0KBB1K1bN8rIyKAmTZoonM1hrLhkMhkNHDiQzMzM6J9//iGiD+ce0f/O5qxcuVLXTS5RXr16Rc7OztSgQQN6/fo1ESkXv2HDhpGJiQnFxcXpusklyqVLl8jMzIx8fX2V7vvS0tLI1dWV6tWrJ5zNKatWr15NACgiIkJY9qH4Xbt2jSwsLKhv3758sI6p7MWLF+Tk5KRwldeHck8mk9HgwYPJzMyMLl++LEKrS464uDgyMTGh4cOHC8s+FL/Xr1+Ti4sLubi40KtXr3Tc4pIlODiYANCmTZuEZR+K3+XLl8nMzIwGDRrEfR9T2fPnz6lOnTrUtGlTysjIICLl+r5+/fqRhYVFmT5RYaCrR/yVNC9fvsSXX36JunXrYtWqVZBIJABynxeak5ODKlWqKKxfpUoVPHr0CGZmZtixYwdSU1MxaNAgfoY3U0lISAjWr1+P0NBQuLq6Avhw7gFA3759MXbsWAQEBCA2Nlbn7S4JiAh+fn5ISkrCjh07YGlpCUC5+P3yyy9wdXVFz5498ezZM523vSRITU1Fjx49UL9+ffz6669K930WFhbYsWMHHj9+DF9f3zLb9/39998YM2YMRo4ciUGDBgnLPxS/Bg0aYO3atYiMjMTPP/+s62YzPSB/HvyTJ0+wfft2mJubA/hw7kkkEoSEhKB+/fro0aMHXrx4IULrxffs2TP06NEDrq6uCvvgh+JnaWmJHTt24L///sOQIUPK7DO8T58+jYCAAIwbNw59+/YVln8ofo0bN8bvv/+OdevW4bffftN1s5kekMlkGDBgAFJTU7F9+3aYmZkBUK7vW716NWrXro0ePXrg5cuXYjRfdGVysp/3A3PHjh2wsLAo1va1a9fGxo0bsW/fPsyfP19LrWT6KjY2FgEBARg7diz69etX7O2XLl2Kjz76CF999RUeP36shRaWbMuWLcP27dsRERGB+vXrF2tbU1NTbNu2Da9fv0b//v2Rk5OjpVaWTDKZDAMHDsz3gaksR0dHrFu3Drt27cKSJUu01MqS6+nTp/jqq6/QrFkzrFixotjb9+7dG99//z0mTJiAkydPar6BTK8tXrwYu3fvxvr16+Ho6Fisbc3MzLB9+3Y8e/YMAwcOLHMH63JyctC/f3+kpaVh+/btMDU1Ldb2zs7OCA8Px7Zt27B8+XIttbLkevToEXr16oVWrVph6dKlxd6+f//++PbbbzFu3DicOXNGCy1k+uzHH3/EgQMHsGnTJtSuXbtY28pPVDx69Ai+vr5l8mBdmZzsL1myBLt378a6devyfWDa2trC0NAw3yTq8ePHsLOzE/7u3LkzZs+ejVmzZuHgwYM6aTcr/R4/foyvvvoKH330Ub4PTGVzTyqV4o8//kBOTg769OmD7OxsnbS9JDh+/DgmT56MyZMn48svv1R4Tdn41apVC5GRkTh8+DDmzp2rk3aXFPPnz8f+/fuxceNG1KlTR+E1ZePXrVs3TJs2DdOmTcPRo0d10u6SICcnB3379sWbN2+wdetWSKVShdeVjd+iRYvg4eGB3r17Izk5WSdtZ6XfkSNHMH36dEyfPh1du3ZVeE3Z3KtTpw42btyIvXv3YsGCBTppd0kxZ84cHDlyBJs3b0bNmjUVXlM2fj169MCkSZMwefJkREVF6aLZJUJWVhb69OkDmUyGrVu3wtjYWOF1ZeMXGBiIli1b4quvvsKTJ0900nZW+h04cACzZ8/GnDlz8Nlnnym8pmzuOTk5lekTFWXuO/tHjhwhAwMDmjZtWqHryB+XJJeTk0PVqlXL9yzRnJwc+vzzz6l8+fJ09+5drbWZ6YesrCxq27YtValShZKSkgpcR9ncIyKKjo4mQ0NDmjBhgtbaXJLInwffvn37Qp97XJz4zZ8/nwDQn3/+qbU2lyTy58HPnj270HWUjV92djZ9+umnZGtrS/fv39dam0uSH374gQwMDOivv/4qdB1l45ecnEz29vbk6enJjwViHyR/HnynTp3yPQ9erjh936xZs0gikdDBgwe11uaSRP542wULFhS6jrLxy8rKonbt2lHlypXpv//+01qbS5Lx48crPN62IMrGLykpiapUqULt2rUr9HOcMTn54227dOkiPN72fcXp+6ZOnUoGBgZ09OhRrbW5JCpTk/379++Tra0tffrpp4V+YBLlPsbBxMSEwsPD6fr16zRixAiysbGhR48e5VtXfsOIZs2aCTeMYKwgEydOJENDQ4qOji50neLkHhHR8uXLCQBt3bpVW80uEfI+D/7x48eFrlec+OXk5FC3bt3IxsaGbt++rc3mi66g58EXpDjxe/r0KdWsWZNatmxJb9680WbzRbdz504CQEuWLClyveLELyYmhoyMjCggIEBbzWZ6oKDnwRekuH1f586dqUKFCvTvv/9qsfXikz8Pvnv37hrr+x4/fkzVqlUjd3d3evv2rTabL7o//vhD4fG2hSlO/KKiosjQ0JAmTZqkpVYzfZCRkUFNmzb94A3Ri5N72dnZ1LFjR7K1taXExERtNr9EKTOT/Tdv3lDLli2pZs2a9PTp0w+u/8svv1DNmjVJKpXSRx99RGfOnCl03YIeBcFYXtu2bSMAtHz58g+uW5zck8lkwmOBrl+/rskmlyijR48mY2PjImMhV5z4paamkqOjo14/Fkj+PPjatWvTs2fPPrh+ceJ37tw5kkql5O/vr8kmlyg3b94kKysr6tGjh1L9e3HiJ38sUGRkpCabzPSI/Hnw586d++C6xcm9Z8+ekYODAzVr1owyMzM12eQSIz09nRo3bkyOjo5KPUGkOPGLjY0lY2NjhTOK+ub69etkYWGh8HjbohQnfsuWLSMAtG3bNk02mekJmUxGvr6+ZGpqqtSjzouTe/ITFR999JHen6iQKzOTfX9/f5JKpUp9YKoiIiKCANDq1au1Uj4rveLj48nS0pJ69+6tlYNB8scCOTs76+VjgeTPgw8JCdFK+f/88w+ZmZnRwIED9e5gXd7nwV+4cEErdfz+++8EgNauXauV8sWUlpZGDRs2pPr169PLly81Xr78sUDm5uZl+rFArGDy58GHhoZqpfwLFy6QqakpDR06VCvliynv8+Dlj7fVtF9//ZUA0Pr167VSvphevnxJ9evXV3i8rSbJZDLq1asXlStXjuLj4zVePivdVq1ale/xtpr0999/k1QqpW+++UYr5Zc0ZWKyv3btWgJAv//+u1brGTlyJEmlUvr777+1Wg8rPV69eiU8n1cbH5hy8fHxVK5cOfrqq6/0asIqfx784MGDtfq+NmzYQADo119/1VodYpA/Dz48PFyr9QwdOpRMTEwoLi5Oq/Xokkwmo759+5KFhQVdu3ZNa/WkpaVRo0aNqF69ekqdfWRlg/x58MOGDdNqPWFhYToZH+naypUr8z0PXtNkMhkNGjSIzMzM6PLly1qrR9dkMhn17NmTypUrRzdu3NBaPboaH7HS5ezZsySVSmnUqFFarUc+PgoLC9NqPSWB3k/25R+Yujhy/ebNG2rVqhXVqFFDqa8KMP2m6yPX27dvJwAUGBio9bp0QX4/jCZNmujkfhjffvstGRsbU2xsrNbr0gVdHrnOzMyk5s2bk4ODg1JfFSgNfvrpJwJAW7Zs0XpdCQkJZGVlRT4+Pnp1sI6pJiUlhRwcHKh58+Y6ucRefuWjvpyoOH36NBkbG9PYsWO1Xld6ejq5ublR3bp1KTU1Vev16cLSpUsJAO3YsUPrdWn7ykdWujx58oRq1KhBrVu31vr9MGQyGQ0ZMkSrVz6WFHo92Zd/J01XH5hE/7tjeMeOHYu8CSDTf/LvpG3fvl1ndU6aNIkMDQ3p+PHjOqtTG3JycuiLL74gGxsbunPnjk7qfPv2LXl4eFC1atWKvAlgafD06VOqUaOGTr+T9u+//1KFChXos88+K/JGWKXByZMnycjIiL7//nud1bl7924CQIsWLdJZnazkyc7OJm9vb6pQoQLdu3dPJ3W+efOGPvroI6XvaVSSPXr0iKpWrUoff/yxzm6ed/v2bbKxsaGuXbuW+r7vr7/+IgMDA5o8ebLO6izOPY2Y/srOzqYOHTpQpUqV6MGDBzqps7j3NCqtJEREunrMny7JZDJ06dIFhw4dwsqVK+Hg4KCzuo8fP46lS5fihx9+KHPPsmW5oqOj0aFDB3h6emLy5Mk6qzc7OxsjR45EVlYWLly4gGrVqumsbk368ccfMWPGDIwdOzbfc1W16eHDh/D390ebNm1w5MgRGBkZ6axuTcnJycFnn32Gv/76CyEhIahRo4bO6j5y5AiCgoIwc+ZMzJkzR2f1alJycjKaNWsGiUSC3377Ld8zpbVp2bJlOH78OA4fPowOHTrorF5WcsyaNQtz587Fd999h08//VRn9T548AAjR45Ehw4dcODAARgaGuqsbk3Jzs7Gp59+ipMnT2LVqlWoWrWqzuo+ePAgfv75Z8ybNw/Tp0/XWb2a9N9//6FZs2aQSqUICQnR6eff4sWLERMTg2PHjsHLy0tn9bKSY+rUqVi4cCEmTZqEtm3b6qzee/fuYfTo0fjss8+wd+9eGBgY6KxuXSl9I9liuH//PogIo0aNEq1+VjYlJSUhJycH0dHRiI6O1nn9BgYGSE9P13m9mnLv3j0AwM8//4yff/5Z5/UnJibqvE5Nun//PmQyGfz9/UWrv7TKzMzE06dPkZOTg+7du4vShv/++0+Uepn45H1fUFAQgoKCdF5/ad53iQj3799HTk4Ohg0bJkobSnP80tPTkZKSAiJCt27dRGnDw4cPRamXiU/e9y1ZsgRLlizRef2led/9EL09sw8AL1++VHnCs3LlSixYsACbNm1S+SijjY0NzM3NVdqWlW45OTl4/Pixyts7ODigadOm2Llzp0rbGxoaokqVKirXL7bMzEykpqaqtO25c+fg4+ODgIAATJw4UaUyzM3NYWNjo9K2JcGLFy+QkZGh0rYrVqzA0qVLsXXrVnh4eKhURmnv+548eYLs7GyVtu3VqxdOnz6NpKQkleuvUqVKqTyzytSXkZGBFy9eqLTt6dOn0atXL0ycOBEBAQEqlVGW+76lS5dixYoV2LVrF1q2bKlSGeXLl4eZmZlK25YEjx8/Rk5Ojkrbfvnll7h48aIwaVMF931llzp9X3R0NPr164epU6di9OjRKpVhYWEBa2trlbYt6fT6zL61tbXK/zgrKysAQMWKFXV6KRjTD4aGhmrnjVQqLbO5Z2ZmpvKAydbWFgBQrly5Mhs/GxsblQfs8r7P1ta2zMavcuXKKm9rYmICAGU2dkw95ubmKh8ok/d9VlZWZTb/1On7ypUrB6Bs933qnCSQSqUAuO9jqlGn76tYsSKAst33FUX/vpjAGGOMMcYYY4yVcTzZZ4wxxhhjjDHG9AxP9nXs3r17kEgkuHTpUqHrREVFQSKRqPzdFcYKw/mnHo6f6jh26uH4MTFx/qmOY6cejh8Tkz7kH0/2SyAPDw8kJycL9xsIDw8v1TfMYaUL5596OH6q49iph+PHxMT5pzqOnXo4fkxMJT3/9PoGfaWVVCqFnZ2d2M1gZRTnn3o4fqrj2KmH48fExPmnOo6dejh+TEwlPf/4zH4xpaenY9CgQbC0tIS9vT2WLVuGtm3bCo+5kUgk2LVrl8I2NjY2CA8PV1h248YNeHh4wNTUFI0aNVJ4Fnvey0GioqLg5+eHly9fQiKRQCKRYPbs2dp9k6zE4vxTD8dPdRw79XD8mJg4/1THsVMPx4+JifOPJ/vFNnHiRERHR2P37t04fPgwoqKicOHCBZXKGT9+PC5evAh3d3d07doVz549y7eeh4cHVqxYASsrKyQnJyM5ORkTJkzQxFthpRDnn3o4fqrj2KmH48fExPmnOo6dejh+TEycfzzZL5a0tDSsWbMGgYGB6NChA1xdXREREYHs7OxilzVmzBj07NkTLi4uCAkJgbW1NdasWZNvPalUCmtra0gkEtjZ2cHOzg6WlpaaeDuslOH8Uw/HT3UcO/Vw/JiYOP9Ux7FTD8ePiYnzLxdP9ovhzp07ePfuHVq1aiUsq1ChAurXr1/sstzd3YXfjYyM0KJFC8THx2uknUw/cf6ph+OnOo6dejh+TEycf6rj2KmH48fExPmXiyf7GiaRSEBECsuysrJEag0razj/1MPxUx3HTj0cPyYmzj/VcezUw/FjYioL+ceT/WKoW7cujI2NcfbsWWFZamoqEhIShL8rVaqE5ORk4e9bt24hIyMjX1lnzpwRfs/OzkZcXBxcXFwKrFcqlSInJ0cTb4GVYpx/6uH4qY5jpx6OHxMT55/qOHbq4fgxMXH+5eJH7xWDpaUlhg4diokTJ6JixYqoXLkypk2bBgOD/x0zad++PYKDg+Hu7o6cnBxMnjwZxsbG+cpauXIlnJyc4OLigqCgIKSmpmLIkCEF1uvg4IC0tDQcO3YMbm5uMDc3h7m5udbeJyuZOP/Uw/FTHcdOPRw/JibOP9Vx7NTD8WNi4vz7f8QKtGjRIgJAhw4dUlj++vVrGjBgAJmbm1OVKlVoyZIl5OXlRePGjSMioqSkJOrUqRNZWFiQk5MT7d+/n6ytrSksLIyIiP79918CQJs2baKPPvqIpFIpNWjQgP766y+hjuPHjxMASk1NFZZ98803VLFiRQJAs2bN0vK7Z2IzNjYmT0/PfMs5/z4sJiaGANCMGTPyvcbx+7B58+YRADp+/LjCco6dctq1a0cFfbRy/Ji2yf//8+bNy/ca59+HzZgxgwBQTEyMwnKOnXI8PT3J2Ng433KOH9O2Q4cOEQBatGhRvtc4/4h4sl+Iwib7BcmbNIxpQmGT/YJw/ikqarJfEI6fosIm+wXh2OVX2GS/IBw/pklFTfYLwvmnqLDJfkE4dvkVNtkvCMePaVJRk/2ClLX84+/sM8YYY4wxxhhjeoYn+4wxxhhjjDHGmJ7hG/RpQFRUlNhNYGUY5596OH6q49iph+PHxMT5pzqOnXo4fkxMZS3/9Hqyn5iYiJSUFJW2zcjIgJOTE5KSknDhwgWVyrC1tUXNmjVV2paVfurkX926dWFjY6Ny7gGlP/9Ujd/9+/fh5OSEd+/eldn4qZN7b968gZOTEx48eFBm+z514mdlZQUnJ6cym3tMfarm34MHD+Dk5IQ3b96U2fxTZ9999+4dnJyccP/+fZiZmalURmmOHaBe/GxsbFC3bt0ym3tMfarmX1JSEpycnJCRkcH5VwAJEZHYjdCGxMREuLi4FPisRF0xNzdHfHy8XiYOKxrnn3o4fqrj2KmH48fExPmnOo6dejh+TEycf9qjt2f2U1JSkJGRgQ0bNsDFxUXn9cfHx2PAgAFISUnRu6RhH8b5px6On+o4durh+DExcf6pjmOnHo4fExPnn/bo7WRfzsXFBc2aNRO7GayM4vxTD8dPdRw79XD8mJg4/1THsVMPx4+JifNP8/hu/IwxxhhjjDHGmJ4pNZP9mzdvws7ODq9fv1a5DAcHB6xYsUJzjSphWrduje3bt4vdDMYYY6zM0sR4pay5fv06qlevjvT0dLGbwhhTUkF93a5du+Do6AhDQ0MEBAQgPDwcNjY24jWyFNL0fE7rk31fX19IJBJIJBIYGxujdu3amDRpEt68eVOscn744Qd8++23KFeuHIDcxyZIJBK8ePFCC60umbZu3QpnZ2eYmprC1dUV+/fvV3h9+vTpmDJlCmQymUgtZOrw9fWFj49PvuVlMddVwfFTD8dPdRw7/aDt8Ur58uXzlXXu3DmhTn325s0bjB49GhUrVoSlpSV69uyJx48fC683aNAArVu3xvLly3XeNt5/VcexK5201dcBgL+/P7766is8ePAA8+bN03TT9YKu53M6ObP/2WefITk5GXfv3kVQUBBWrVqFWbNmKb19YmIi9u7dC19fX+01soQ7ffo0+vbti6FDh+LixYvw8fGBj48Prl69KqzTuXNnvH79GgcOHBCxpYwxxljppM3xSrly5bBz506FZWvWrNHIzaDevXundhna9N133+HPP//E1q1bER0djYcPH6JHjx4K6/j5+SEkJATZ2dkitZKxskMbfV1aWhqePHkCb29vVK1aVeEgQEmSlZUlWt1izOd0Mtk3MTGBnZ0datSoAR8fH3Ts2BFHjhwBAKxbtw6Wlpa4deuWsP6oUaPg7OwsPH7hjz/+gJubG6pVq1ZkPdu3b0fDhg1hYmKCL774osB1MjIyMGTIEJQrVw41a9bE6tWrhdfu3bsHiUSCHTt2oF27djA3N4ebmxtiY2PVDYFwGcuhQ4fg4uICS0tLYUdTxk8//YTPPvsMEydOhIuLC+bNm4dmzZohODhYWMfQ0BCff/45Nm/erHZ7GWOMsbJGm+OVwYMHY+3atcLfmZmZ2Lx5MwYPHpxv3alTp6JatWowNzeHq6srIiMjFV5v27YtxowZg4CAANja2sLb2xtDhgzJN/bJyspC5cqVsWbNGtWD8v/1jR07FpMmTUKFChVgZ2eH2bNnK7Xty5cvsWbNGixfvhzt27dH8+bNERYWhtOnT+PMmTPCep9++imeP3+O6OhotdrKGPswTfd1UVFRwuS+ffv2kEgkiIqKKrDukJAQ1K1bF1KpFPXr18f69euF14KCghT6sRUrVkAikeDgwYPCMkdHR4SGhgp/h4aGwsXFBaampnB2dsavv/4qvCaf223ZsgVeXl4wNTXFxo0bVQ1bqZzP6fw7+1evXsXp06chlUoBAIMGDcLnn3+O/v37Izs7G/v27UNoaCg2btwIc3NzAMDJkyfRokWLIsuNi4tD79698fXXX+PKlSsYMWIEAGDPnj0K6y1btgwtWrTAxYsXMWrUKIwcORI3b95UWGfatGmYMGECLl26hHr16qFv374aOdKckZGBwMBArF+/HidOnEBiYiImTJig1LaxsbHo2LGjwjJvb+98ByI++ugjnDx5Uu22MsYYY2WZpscrAwcOxMmTJ5GYmAgg9wSFg4NDgXeednZ2xr59+3D16lWMGDECAwcOxN9//62wTkREBKRSKU6dOoXffvsNw4YNw8GDBxUGnXv37kVGRgb69OmjdjwiIiJgYWGBs2fPYsmSJZg7d64wOShKXFwcsrKyFMYwzs7OqFmzpsIYRiqVokmTJjyGYUzHNNHXeXh4CPOp7du3Izk5GR4eHvnq2rlzJ8aNG4fx48fj6tWr8Pf3h5+fH86dOwcAaN68OWJiYpCTkwMAiI6Ohq2trXDgICkpCXfu3EHbtm0BABs3bsTMmTMxf/58xMfHY8GCBZgxYwYiIiIU6p0yZQrGjRuH+Ph4eHt7qxWv0jaf08mj9/bu3QtLS0tkZ2fj7du3MDAwUDiCsWrVKjRu3Bhjx47Fjh07MHv2bDRv3lx4/f79+x+c7C9fvhwdOnTAjBkzAADdunXDnDlzsH79eoWjz59//jlGjRoFAJg8eTKCgoJw/Phx1K9fX1hnwoQJ6NKlCwBgzpw5aNiwIW7fvg1nZ2e14pCVlYXffvsNdevWBQCMGTMGc+fOVWrbR48eoUqVKgrLqlSpgkePHiksq1q1Kh48eACZTAYDg1Jz/0X2/+T7Sl7yDo99GMdPPRw/1XHs9IM2xyuVK1dG586dER4ejpkzZ2Lt2rUYMmRIgesOGjQITZo0AQB8++23OHToEP744w989NFHwjpOTk5YsmSJwnbys2STJk0CAISFhaFXr175clMVjRs3Fi7zdXJyQnBwMI4dO4ZPP/20yO0ePXoEqVSa7yZdhY1h7t+/r3Zbi4v3X9Vx7EonTfd1UqkUlStXBgDh6p+CBAYGwtfXV5iLff/99zhz5oxwdr9p06Z4/fo1Ll68iObNm+PEiROYOHEidu3aBSD3CoJq1arB0dERADBr1iwsW7ZM+FpQ7dq1cf36daxatUrhqqmAgIB8Xx1SVWmbz+lkst+uXTuEhIQgPT0dQUFBMDIyQs+ePYXXy5cvjzVr1sDb2xseHh6YMmWKwvaZmZkwNTUtso74+Hh079493/LExETk5OTA0NAQQO6HlZxEIoGdnR2ePHmisE3edezt7QEAT548UXuyb25uLiSGvOz361aXmZkZZDIZ3r59CzMzM42WzbRPvq/kdfbsWQwYMECkFpUuHD/1cPxUx7HTD9oerwwZMgTjxo3DgAEDEBsbi61btxZ49ub3339HTEwMkpKS8O7dO7x9+1Y4oyaXd+AtN2zYMKxevRqTJk3C48ePceDAAfz111/FDUOB8o6NAO2NYeSXCesS77+q49iVTrqYmxUkPj5euPpa7uOPP8bSpUsB5N7bxM3NDVFRUZBKpZBKpRgxYgRmzZqFtLQ0REdHw8vLCwCQnp6OO3fuYOjQoRg+fLhQXnZ2NqytrRXq+NBJ4+IobfM5nUz2LSwshCMwa9euhZubG9asWYOhQ4cK65w4cQKGhoZITk5Genq6wk0dbG1tkZqaqpG2GBsbK/wtkUjy3e0w7zryO+Rq4o6IBdVNREpta2dnp3DnWgB4/PhxviNnz58/h4WFBU/0S6m8+4rcf//9J1JrSh+On3o4fqrj2OkHbY9XOnfujBEjRmDo0KHo2rUrKlasWOB6kZGRCA4OhqurKywsLBAQEJDvJnwWFhb5ths0aBCmTJmC2NhYnD59GrVr10abNm2KFYPCKDN+KoidnR3evXuHFy9eKJzdL2wMk3cQrSu8/6qOY1c6laS52fvatm2LqKgomJiYwMvLCxUqVICLiwtiYmIQHR2N8ePHA8i9ISCQe3C0VatWCmXIT/Lmfb+aUtrmczq/ztvAwABTp07F9OnTkZmZCSD3zoSLFy/Gn3/+CUtLS4wZM0Zhm6ZNm+L69etFluvi4oJTp07lW16rVq18//DSyN3dHceOHVNYduTIEbi7uyssu3r1Kpo2barLpjHGGGN6RxvjFSMjIwwaNAhRUVGFXsIP5A52BwwYADc3N9SpUwcJCQlKtblixYrw8fFBWFgYwsPD4efnp9R22tS8eXMYGxsrjGFu3ryJxMREHsMwVgJoa25WkILma6dOnULt2rWFv728vBATE4Njx44J381v27YtIiMjkZCQICyrUqUKqlatirt378LR0VHhJ295JYkY8zlRvtTdq1cvGBoaYuXKlXj9+jUGDhyIsWPHonPnzti4cSO2bNmCbdu2CevLb1xQ1HeAxo8fj2PHjmHevHlISEjAn3/+CQB6cxnRuHHjcPDgQSxbtgw3btzA7Nmzcf78+Xw738mTJ9GpUyeRWskYY4zpD22MV+bNm4enT58WeZOoM2fO4PTp04iPj4e/v3++M0FFGTZsGCIiIhAfH1/gnf51zdraGkOHDsX333+P48ePIy4uDn5+fnB3d0fr1q2F9e7du4ekpKR8N69ijGmfNvq6gkycOBHh4eEICQnBrVu3sHz5cuzYsQMDBw4U1vnkk0/w+vVr7N27V2Gyv3HjRtjb26NevXrCunPmzMHChQvx888/IyEhAVeuXEFYWBiWL1+uXkC0RIz5nCiTfSMjI4wZMwZLlizB2LFjYWFhgQULFgAAXF1dsWDBAvj7+yMpKQlA7mVvRkZGOHr0qFCG/NIxI6PcbyI0a9YMf/zxBzZv3oxGjRrht99+A5B7oz594OHhgU2bNmH16tVwc3PDtm3bsGvXLjRq1EhYJykpCadPny4RR/IZY4yx0k4T45X3SaVS2NraCl8TLIizszO8vb3Rtm1b2NnZwcfHR+k2d+zYEfb29sKzrksC+eO0evbsiU8++QR2dnbYsWOHwjqRkZHo1KkTatWqJVIrGSu7tNHXFcTHxwc//fQTAgMD0bBhQ6xatQphYWEK36kvX748XF1dUalSJeF+aZ988glkMpnwfX25YcOGITQ0FGFhYXB1dYWXlxfCw8NL7Jl9UeZzVEoEBwdTp06dhL8jIyPJ0tKy0PXj4uIIAMXFxemieSWi/kmTJtHw4cN1Vh8rXFnMP00Su/1i168Osdsudv3qErv9YtfP1Pf+eKU4NPH/f/36NVlZWdH27dtFqV8Vb9++pZo1a1JMTIzKZYi974hdv7rEbr/Y9bPiU6eve5/Y/3+x689L0/M5ndygTxP8/f3x4sULvHz5EklJSQgODkaHDh3EblaJUrlyZXz//fdiN4Mxxhgrs+TjldevXyvc0ErbZDIZUlJSsGzZMtjY2JSqKxsTExMxdepUfPzxx2I3hTGmJLH6On2n6flcqZnsGxkZYdq0adi1axcGDhwIDw8P/PzzzzptQ+fOnQt8RA6Q+/iHvHd6lH/NwNPTE9OnT8fUqVOLLLuoZ+AeOHBAqbvpyu9OyRhjjDFxyMcrupaYmIjatWujevXqCA8PF77mKH+tQYMGBW4nf9Sdubm5wthF/mzn69evo2bNmoXWu3HjRvj7+xf4Wq1atXDt2rUPtl1+Uy3GWOkhVl+nroLmc/K+r3nz5oXeuX/q1Kmlcj5Xaib7cj4+Pnj9+rUodYeGhgp3qXyfmZmZwmvXrl2Dj48PIiMjlfrHXrp0qdDXqlWrVuy2MsYYY6zscHBwKPTxT1WrVi1ynCGXd+zSsGFDYduidOvWLd9jr+Tef0QVY4yJraD5nLzvO3DgQKEHHitUqPDBskvifK7UTfaLKz4+Xif1vHr1SuFv+bMfa9SooVRy8BFt/aSr/Csp9Woax091HDv1cPyYmMTKg7xjF2XHJeXKlStRl/Dyvqsejh8Tk9h9X+XKldWak5XE+ZzeTvZtbW1hbm4u6qP3zM3NYWtrK1r9TDycf+rh+KmOY6cejh8TE+ef6jh26uH4MTFx/mmPhAq75ksPJCYmIiUlRaVtw8PD8csvvyA4OBju7u4qlWFra1vk99yYflMn/1q1aoVGjRphzZo1Ktdf2vNP1fhdunQJQ4cOxbBhwzBy5EiV6y/N8VMn90JDQxESEoJVq1YpPAqnOEpz7AD14ufv74/z588jLi5O5fpLe/yYelTNv/Pnz8Pf3x8jR47EsGHDVK6/NOefOvtuSEgIQkNDsWbNGjRp0kSlMkpz7AD14jd06FBcvXoVZ8+eVbn+0h4/ph5V8y82NhZjxozBt99+C19fX5Xr19f809sz+wBQs2ZNlf9pR44cAQA4OTmhWbNmmmwWKyPUyT+JRAJLS8synXuqxk/+PSx7e/syGz91ck/+/dx69epx/FQgv5y5rMaOqU/V/JN/nbBq1aplNv/U2Xft7e0BAPXr1+f4qcDS0hISiaTMxo6pT9X8kx8gqFatGudfAQzEbgBjjDHGGGOMMcY0iyf7jDHGGGOMMcaYnuHJvo7du3cPEomkyEczREVFQSKR4MWLFzprFysbOP/Uw/FTHcdOPRw/JibOP9Vx7NTD8WNi0of848l+CeTh4YHk5GRYW1sDyL1ZoI2NjbiNYmUG5596OH6q49iph+PHxMT5pzqOnXo4fkxMJT3/9PoGfaWVVCqFnZ2d2M1gZRTnn3o4fqrj2KmH48fExPmnOo6dejh+TEwlPf/4zH4xpaenY9CgQbC0tIS9vT2WLVuGtm3bIiAgAEDuXdR37dqlsI2NjQ3Cw8MVlt24cQMeHh4wNTVFo0aNEB0dLbyW93KQqKgo+Pn54eXLl5BIJJBIJJg9e7Z23yQrsTj/1MPxUx3HTj0cPyYmzj/VcezUw/FjYuL848l+sU2cOBHR0dHYvXs3Dh8+jKioKFy4cEGlcsaPH4+LFy/C3d0dXbt2xbNnz/Kt5+HhgRUrVsDKygrJyclITk7GhAkTNPFWWCnE+acejp/qOHbq4fgxMXH+qY5jpx6OHxMT5x9P9oslLS0Na9asQWBgIDp06ABXV1dEREQgOzu72GWNGTMGPXv2hIuLC0JCQmBtbY01a9bkW08qlcLa2hoSiQR2dnaws7ODpaWlJt4OK2U4/9TD8VMdx049HD8mJs4/1XHs1MPxY2Li/MvFk/1iuHPnDt69e4dWrVoJyypUqID69esXuyx3d3fhdyMjI7Ro0QLx8fEaaSfTT5x/6uH4qY5jpx6OHxMT55/qOHbq4fgxMXH+5eLJvoZJJBIQkcKyrKwskVrDyhrOP/Vw/FTHsVMPx4+JifNPdRw79XD8mJjKQv7xZL8Y6tatC2NjY5w9e1ZYlpqaioSEBOHvSpUqITk5Wfj71q1byMjIyFfWmTNnhN+zs7MRFxcHFxeXAuuVSqXIycnRxFtgpRjnn3o4fqrj2KmH48fExPmnOo6dejh+TEycf7n40XvFYGlpiaFDh2LixImoWLEiKleujGnTpsHA4H/HTNq3b4/g4GC4u7sjJycHkydPhrGxcb6yVq5cCScnJ7i4uCAoKAipqakYMmRIgfU6ODggLS0Nx44dg5ubG8zNzWFubq6198lKJs4/9XD8VMexUw/Hj4mJ8091HDv1cPyYmDj//h+xAi1atIgA0KFDhxSWv379mgYMGEDm5uZUpUoVWrJkCXl5edG4ceOIiCgpKYk6depEFhYW5OTkRPv37ydra2sKCwsjIqJ///2XANCmTZvoo48+IqlUSg0aNKC//vpLqOP48eMEgFJTU4Vl33zzDVWsWJEA0KxZs7T87pnYjI2NydPTM99yzr8Pi4mJIQA0Y8aMfK9x/D5s3rx5BICOHz+usJxjp5x27dpRQR+tHD+mbfL//7x58/K9xvn3YTNmzCAAFBMTo7CcY6ccT09PMjY2zrec48e07dChQwSAFi1alO81zj8inuwXorDJfkHyJg1jmlDYZL8gnH+KiprsF4Tjp6iwyX5BOHb5FTbZLwjHj2lSUZP9gnD+KSpssl8Qjl1+hU32C8LxY5pU1GS/IGUt//g7+4wxxhhjjDHGmJ7hyT5jjDHGGGOMMaZn+AZ9GhAVFSV2E1gZxvmnHo6f6jh26uH4MTFx/qmOY6cejh8TU1nLP72e7CcmJiIlJUWlbU1MTNClSxekpqbiwoULKpVha2uLmjVrqrQtK9tat26N2rVri90MUam6/z558gRdunRBuXLlVN53Ad5/GWPiULXve/bsGbp06QJzc3Pu+1RgZWUFDw8PhTt1lzXqjJtdXV1Rvnx5zj2mMlXzLzU1FV26dIGJiQnnXwH0drKfmJgIFxeXAp+VWBz79u1TeVtzc3PEx8frZeIw7Tpz5gyISOxmiEYT+686+y7A+y9jTPe47xPPq1evcPr0achkMrGbIgpNjZv//PNPlbctq7nHuO/TJr2d7KekpCAjIwMbNmyAi4uLzuuPj4/HgAEDkJKSondJw5i28f7LGCuLuO9jYuHcY2Li/NMevZ3sy7m4uKBZs2ZiN4MxpgLefxljZRH3fUwsnHtMTJx/mld2v5jEGGOMMcYYY4zpqVIz2X/27BkqV66Me/fuqVxG27ZtERAQoLE2lTRTpkzBt99+K3YzmJpSUlIgk8mQlJSElStXolKlSmrlPSuZ7t27B4lEgkuXLum87qioKEgkErx48UIj5XHfw1guTYxVypp3797BwcEB58+fF60NKSkpuHz5MgDgwIEDePbsmWhtUUVZzjsHBwesWLFCI2Vdv34d1atXR3p6ukbK02cF5dypU6fg6uoKY2Nj+Pj4aHysURZoYzylk8m+r68vJBIJJBIJjI2NUbt2bUyaNAlv3rxRuoz58+eje/fucHBwACDuQFkMycnJ6NevH+rVqwcDA4MCD1pMmDABERERuHv3ru4byPIpbt6npqbCz88PVatWRU5ODv7991+MGTMGz549w5w5c7izLEJiYiImTJgANzc32Nraok6dOvjqq69w8OBBtcoNCgrSeJnKuH79OkaOHAkXFxdUrFgRTk5OGDx4MGJjY7Ved0H++ecftGnTBqampqhRowaWLFmi8Dr3PUwfaHOsYmhoiKSkJIV1k5OTYWRkBIlEoteTtB07dqBTp06oWLFigeM2qVSKCRMmYPLkyTpvW97P3T179gDI/R/a29vDz89PJ5+72si7kiItLQ3Lli2Dp6cn7OzsUK1aNbRv3x6rVq1Cdna2ztvz5s0bjB49GhUrVoSlpSV69uyJx48fC683aNAArVu3xvLly3XeNl3SVs59//33aNKkCf7991+Eh4drvuGlnFhzOZ2d2f/ss8+QnJyMu3fvIigoCKtWrcKsWbOU2jYjIwNr1qzB0KFDtdzKkuvt27eoVKkSpk+fDjc3twLXsbW1hbe3N0JCQnTcOlYYZfM+NTUVH3/8MdavX4+srCyF14gI69evh4eHB0/4/9+7d++E39evX49GjRohKSkJs2fPxrFjxxAZGYnWrVtjxIgRGDRoEHJycopVvvyOrk+fPtVYmcpatGgRWrVqBZlMhsDAQERHRyMsLAx16tRBt27d8MMPP2il3sK8evUKnTp1Qq1atRAXF4elS5di9uzZWL16tbAO9z1MX2hrrFKtWjWsW7dOYVlERASqVaumdpvz9oclUXp6Ojw9PbF48eJC1+nfvz9iYmJw7do1nbWrqM/drKwsnX7u6uMYOS4uDg0aNMCuXbswfPhw7NmzB3v37sXgwYMRHh6Oli1b4smTJzpt03fffYc///wTW7duRXR0NB4+fIgePXoorOPn54eQkBBRDkbokjZy7s6dO2jfvj2qV68OGxsbLbRafe/v67ok2lyOdGDw4MHUvXt3hWU9evSgpk2bEhHRrFmzCEC+n7CwMCIi2rp1K1WqVElh+3///ZcA0MWLF4VlUVFR1LJlS5JKpVSxYkUCQGfPnhVe9/Lyom+//ZYmTpxI5cuXpypVqtCsWbMUygVAv//+O/n4+JCZmRk5OjrS7t27i/2e4+LiCADFxcUREdHx48cJAB09epSaN29OZmZm5O7uTjdu3Ch22V5eXjRu3LgCX4uIiKDq1asXu0ymearmfWE/hoaG5OvrS7t37yZHR0cyMTGhtm3bUnh4OAGg1NRUIiJKSUmhr7/+mqpWrUpmZmbUqFEj2rRpk9CGVatWkb29PeXk5Ci0rVu3buTn5yf8vWvXLmratCmZmJhQ7dq1afbs2ZSVlaV2XJTZx97ff2rVqkVz586lgQMHUrly5Wjw4MFERLRnzx6qUqUKxcbGFlhXWloaeXt705gxY4Rlz58/p379+pGtrS2ZmpqSo6MjrV27Vnh9z549Qv8hr/9DZaqyfxfUhwUHB1PdunXp5s2bBW7z5MkTatq0KQUGBgrLwsLCyNramg4ePEjOzs5kYWFB3t7e9PDhw0LrlrdXnjN5zZs3jwDQ8ePHiYjo119/pfLly9Pbt2+FdSZPnkz169dX2I77nlzt2rUjHX20Mg3T5lhl+vTp5OTkpPBavXr1aMaMGQSA/v33XyIi+vvvvwkAVa1alUxNTalevXq0YsWKAtv5448/kr29PTk4ONCcOXOoYcOG+d6Tm5sbTZ8+XekYvN/35q1v6dKlZGdnRxUqVKBRo0bRu3fvlC6XqOA+L6927doVq63q8vX1JUNDQ6U+d7VJG3mXnZ1NQ4YMIQcHh0Lz6H0F/e+Lam9R+XDv3j2qXLkyrV69usAyZDIZzZgxg5o1ayZsJ69/+vTpxRqD16pVi4KCgopch4joxYsXZGxsTFu3bhWWxcfHEwCFMcTbt2/JxMSEjh49+sEySytN55x8335/3YLGGtu2baMGDRqQVCqlWrVqCeMZ+f+/bt26wro7d+4kABQSEiIs69ChA02bNk34+0NjVQD066+/UteuXcnc3DzfvE9OmfwvrXM5USb7V65cITs7O2rVqhUREb1+/ZqSk5OFn8DAQDI3N6crV64QEdHYsWPps88+Uyjz/Q+N//77j8zNzWnUqFEUHx9PgYGBBIBGjBghbOPl5UVWVlY0e/ZsSkhIoIiICJJIJHT48GFhHQBUvXp12rRpE926dYvGjh1LlpaW9OzZs2K958Im+61ataKoqCi6du0atWnThjw8PIpVrvx9FJYg8o5LPnBg4lE2769evUpGRkZKT/iNjY0pICCALl++TBEREVS1alUCQMnJyZSZmUm3b9+mBQsW0JkzZ+j69eu0bNkyMjQ0pBMnTlBmZiY9fPiQpFIp7d+/nzIzMykzM5OSkpIUlh05coSsrKzo999/p+vXr9PevXupVq1aNH36dGEbVX8AULVq1Sg8PJyuXr1Ko0aNIktLS0pKShLWOXPmTL7JvpWVFQUGBtLt27fp9u3b9PbtW6pZsyYdOHCAiIhOnjxJzZs3p8qVK5O/vz8NHDiQNmzYQCkpKVShQgW6ffs2ERGNHj2amjRpQufOnaN///2Xjhw5Qnv27CEiEsr85ZdfCACFhoYqVaYq+/f7fdjTp0+pQoUK9M8//xAR0Y4dO6hhw4Zkb29P06ZNo44dO9KJEyfoxo0bVL58eXr16hUR5U72jY2NqWPHjnTu3DmKi4sjFxcX6tevX6F1F2eyP3DgwHyDgr/++osA0PPnz4Vl3Pfk4sl+6aXNscrff/9Ntra2dPLkSSLK7a8qVaokTO7l+42871u/fj3dvXuXNmzYQObm5rRlyxaFdlpaWtLAgQPp6tWrdPXqVXrw4AEZGBjQ33//Lax34cIFkkgkdOfOHaVjUNhk38rKir755huKj4+nP//8k8zNzQudyBXmQ5P9yZMnk5eXV7HKVNXTp0/J2NhYqc9dIyMj+u+//9T+7CvsZ8CAAfTFF18If58/f57s7OyoZcuWlJmZSU+fPqV///1X+Fm4cCGZm5vT+fPnKTMzk0aNGkWdOnVSKPPVq1c0depUiomJofj4eFq7di2Zm5vT+vXrC23H6dOnlZ7sfygfvv76a5o8eTIRET148IC6dOlClSpVok6dOtHcuXPJ39+fiIjatGkjHGyX516VKlWKNQZXdrJ/7NixAj/3atasScuXL1dY1qpVq0InhfpA031ddnY2JScnk5WVFa1YsYKSk5MpIyMj31jj/PnzZGBgQHPnzqWbN29SWFgYmZmZUVhYmPD/l0gk9OTJEyIiCggIIFtbW+rTpw8REb17947Mzc3pyJEjRER04sQJsrKyovDwcLpz5w4dPnyYHBwcaPbs2ULbAFDlypVp7dq1dOfOHbp//36BMSnOZL+0zeV0Ntk3NDQkCwsLMjExIQBkYGBA27Zty7dubGwsmZqaKnywde/enYYMGaKw3vsfGlOnTqX69euTTCYjov/908zNzYUzmF5eXuTp6alQTsuWLYUOiYiEo4pyaWlpBECYUCirqDP7cvv27SMAlJmZWayyi0qQly9fEgCKiooqVplM85TNe/mZef7534+Xl1e+yb6Pj49C3A4fPkzNmzcnIqLU1FSqUKECzZw5ky5evEjTpk0jQ0ND4Sj0gAEDhCPDXbt2VbiCoaAy5fuvtbW1UmWqsn+/34etXr2aevbsSUREt2/fJhMTEwoODqaLFy/S0KFDydDQUJiAe3p6Cn1SWFgYARAOPBARrVy5kqpUqVJwYlLxJvuffvqpwkFTIqJr164RALp+/bqwjPueXDzZL720PVYJCAgQ+h4/Pz/67rvv6OLFiwqDuoIGnKNHjxb6Bnk7q1SponC1DRFR586daeTIkcLf3377LbVt27ZYMShssl+rVi3Kzs4WlvXq1UsYgCvrQ5P9n376iRwcHIpVpqr4c7fwH2Um+0Xlw+vXr6lcuXKUkpJCRETt27enbt26UVxcHG3YsIEsLS2Fq/NCQ0OF7eS5N3ToUKFcZcbgyk72N27cSFKpNN/yli1b0qRJkxSWffnll1q/okNM2ujriIisra2FMRJR/rFGv3796NNPP1XYZuLEidSgQQOFcZf86osmTZrQwoULyc7OjoiIYmJiyNjYmNLT04ko9yz/ggULFMpbv3492dvbC38DoICAgA/GpLhn9uVKw1zOCDrSrl07hISEID09HUFBQTAyMkLPnj0V1klMTISPjw8mTJiA3r17C8szMzNhampaZPnx8fFwd3eHRCJRWJ6RkYH//vsPNWvWBAA0btxY4XV7e/t83xnKu46FhQWsrKw09r2ivGXb29sDAJ48eSK0T11mZmYAct83E58yeV/cm3DY2Njg448/Fv5+/Pgxzp8/j06dOsHY2BhEhNu3byM5ORlv3ryBTCaDTCaDnZ2d8OzS5ORk/PPPP+jYsSMMDQ0RGxsLa2trNGjQAABw5MgRZGdnK+xPRASZTIbPPvsMhoaGqoYE+/btQ7NmzYT8B4BDhw6hYcOGqF69OgCgZs2aiI6OVtiuRYsWCn9fuXIFHh4eAIDTp0+jYsWKmDNnDgCgSZMm2LJli7Cuvb09UlNTAQAjR45Ez549ceHCBXTq1Ak+Pj5COXnLBABra2ulypRTZ//OW/ehQ4fwySefYPTo0QCAX3/9FZGRkYXWbW5ujrp16yq8ruvvQnLfw/SBNscqQ4YMgYeHBxYsWICtW7ciNja20O8F9+/fHykpKcjMzMS7d+/QpEkThdddXV0hlUoVlg0fPhxDhgzB8uXLYWBggE2bNiEoKKiYEShYw4YNFfp9e3t7XLlyRSNly5mZmems/0hNTYWhoaHS915p0KABateurZW2XL58GW/evEGjRo2Em/NKJJJ849XMzEycOnUKNWrUQP369YXlZ8+ehYWFBRo1aqSw/r179/DgwQO8efMGOTk5kMlksLKygqenZ4HtePnyJWJiYpRqc1H5kJCQAAcHB1SsWBHp6en466+/kJSUhKpVq6JZs2aIiooSvjdd0Oeok5OT8Lumx+DK0mUuikXb87KCxMfHo3v37grLPv74Y6xYsULYF+U50rFjR1y/fh2jRo3CkiVLcOPGDURHR6Nly5YwNzcHkLvvnDp1CvPnzxfKy8nJwZs3b5CRkSGs9/74UV2lbS6ns8m+hYUFHB0dAQBr166Fm5ubws0d0tPT0a1bN7i7u2Pu3LkK29ra2ubrDFRlbGys8LdEIoFMJiv2OpqoXz6R0lTZAPD8+XMAQKVKlTRWJlOdMnkfFhZWrDJdXV2xd+9e4e89e/age/fu2LJlC2xsbLBo0SKcPXsWv/76K1xdXWFhYYGAgAAYGRlh165dAHLvSFulShUMHz4cLVu2RK1atXDkyBHhYICZmRkWLlyY78Y1AFCnTh0YGKh+b0+JRIIZM2bAx8dHWGZjY4OAgAD4+voCAC5cuJDv5iQWFhYKf2dnZwsd4rt37/K9bmlpKfx+4cIF+Pv7AwA6d+6M+/fvY//+/Thy5Ag6dOiA0aNHIzAwUKFMAAq/F1WmnDr7d1HvRyqVCgN7mUyGS5cuYeLEiQXWK6+biJSq90Ps7OwU7lYMQPjbzs5OWMZ9D9MH2hyruLq6wtnZGX379oWLiwsaNWqU7870hw4dAgB0794dffr0Qbly5bB06VKcPXs2Xzvf17VrV5iYmGDnzp2QSqXIysrCV199VewYFESb4yK558+f66z/KF++fLFusjp58mQMGjRIK23x9fXFixcvhM9nmUwGNzc3fPnllwp59/HHH6Nz587YsWOHwoH4/v37g4iwadMmYdnmzZvh5+eHZcuWwd3dXSGP8o4f8rpw4QKaN2+uVJuLyoe8n2XySX3efLW0tBT2kwsXLgj7m5yRkeLURFO5Zmdnh3fv3uHFixcKN497/PixwmcZkJuLeQ+g66OSMi97X/PmzXHgwAGcPHkSTZs2hZWVFT755BNERUUhOjoaXl5ewrppaWmYM2dOgWPVvAcjCuov1VHa5nI6uxu/QqUGBpg6dSqmT5+OzMxMEBEGDBgAmUyG9evX5zs737RpU1y/fr3IMl1cXBAbG5tvgGthYSGcLSwLrl69CmNjYzRs2FDsprD3FJb35cqVy/fhVlQZ7z//99y5cwp/nzp1Ct27d8eAAQPg5uaGOnXqICEhQWEdU1NT9OjRAxs3bkRkZCTq168vTPSB3COrN2/ehKOjY74fdSb6muTo6CicSWjZsiVu3LiB3bt3QyaTYffu3bh8+TIyMzOxdOlSPHjwAN26dRO2rVSpEgYPHowNGzZgxYoVwp3l85YJ5J4ZUbZMTb4fT09PHD58GGfOnEFOTg6Cg4Px4sULvHr1CuPHj0e1atXQsmVLjdVdFHd3d5w4cULhDrZHjhxB/fr1Ub58eWEZ9z1M32hjrDJkyBBERUVhyJAhBb4uf9Z779690bRpUzg6OuLOnTtKtdfIyAiDBw9GWFgYwsLC8PXXX+c7YFmSXb16FU2bNtVJXV26dMk3YS2MsbExunTpouUW/Y8m8u7UqVPw8PDAqFGjip1H6pKPObKysmBjY4OGDRti/vz5yMrKwo0bN7B582bIZDLs27cPK1euxJgxY3TSrubNm8PY2BjHjh0Tlt28eROJiYlwd3dXWFeXuVgSaKOvK4iLiwtOnTqlsOzUqVOoV6+ecKVI8+bNcf36dWzduhVt27YFALRt2xZHjx7FqVOnhGVA6RirqkLT4ynRItGrVy8YGhpi5cqVmD17No4ePYpVq1YhLS0Njx49wqNHj5CZmQkA8Pb2xrVr14o8ijRq1Cg8ePAA3377LW7cuIGoqCgAuUc8S/M/PK9Lly7h0qVLSEtLw9OnT3Hp0qV8O9vJkyfRpk2bUvUBX5YUlPehoaHo0aPHB/PU0NAQX375JW7duoXJkycjISEBf/zxh/AsU3ln7OTkhCNHjuD06dOIj4+Hv79/vjOzQO6+sW/fPqxduxb9+/dXeG3mzJlYt24d5syZg2vXriE+Ph6bN2/G9OnTNROIDyjoKO37OnbsiLNnzyIhIQHVqlXDypUr0bdvX0ilUixatAje3t4YN24cYmJicOzYMZiYmADIfW+7d+/G7du3ce3aNezduxcuLi4KZd6/fx9A7tkcZcpUxt9//w1nZ+d8z9qW69atG7Zu3Yrnz5+jRYsWmDJlCtq0aQMTExMcPnwYzZs3x9dff43U1FTs3LlT6XoBYOfOnXB2di7WNnL9+vWDVCrF0KFDce3aNWzZsgU//fQTvv/+e4X1uO9h+kjTY5Xhw4fj6dOnGDZsWIGv16hRA0DuV5MSEhIwY8aMfAd0izJs2DD89ddfOHjwYKEHFHTt+fPnCuOVmzdv4tKlS3j06JHCeidPnkSnTp100iZbW1v079//g19JMzQ0RP/+/VGxYkWdtEtO3bxzcnLC+fPncejQIZXySB22trZo3LgxNmzYAAAICwtDZGQkzMzM0LFjR3Tr1g0bNmzAzJkz8ccffwifv8pydnYu9mcgkPu1vKFDh+L777/H8ePHERcXBz8/P7i7u6N169bCevfu3UNSUhI6duxY7DpKM033dQUZP348jh07hnnz5iEhIQEREREIDg7GhAkThHWcnJxQvnx5bNq0SWGyv2vXLrx9+1bha6xij1VVIcZcTrRZsJGREcaMGYMlS5Zg//79SEtLg4eHB+zt7YUf+fdjXV1d0axZM/zxxx/C9vLLJeRnRKtVq4b9+/fj77//hpubGxYsWAAAJe65o+po2rQpmjZtiri4OGzatAlNmzbF559/rrDO5s2bMXz4cJFayD6ksLz/448/irwEyNDQEPXq1UNoaCi2bduGHTt2oHHjxggJCcG0adMAQJh4Tp8+Hc2aNYO3tzfatm0LOzs7hUvm5dq3b48KFSrg5s2b6Nevn8Jr3t7e2Lt3Lw4fPoyWLVuidevWCAoKQq1atTQXjCLIJ9tFsbKywuTJk9G7d288e/YMQ4YMwYsXL/DgwQPExsZiw4YNePnyJXbv3q1wdY9UKsUPP/yAxo0b45NPPoGhoSE2b96sUOaUKVMA5F5Kq0yZysjIyMDNmzcLfcaro6MjevXqhb59+yIjIwMzZszAq1ev8PDhQ+zZswf79+/HixcvEB4eXuzn1758+RI3b94s1jZy1tbWOHz4MP799180b94c48ePx8yZMzFixAiF9bjvYfpI3bFKQeXZ2toWejWX/DuzP/zwA1q1aoVnz55h1KhRSrfXyckJHh4ecHZ2RqtWrYrxTrVnz549aNq0qXB2/Ouvv0bTpk3x22+/CevExsbi5cuXGvvagTKCgoIUzii+T/65q6n7HhSHunnn7++PHj16oE+fPirlkboWLlyICRMm4MKFC2jZsiUSExORmJiIe/fuYdmyZXj+/Dni4uLQpk2bYpd98+ZNvHz5UqV2BQUF4YsvvkDPnj3xySefwM7ODjt27FBYJzIyEp06ddLZeKek0HRfVxD5Nps3b0ajRo0wc+ZMzJ07V/gKJ5B74qpNmzaQSCTC/SUaN24MKysrtGjRQuGSfLHHqqoQZS6nkdv86cDevXvJxcVFuLN+bGwsAaCnT58WuL6yzwvVFjHq379/P7m4uGjkWehM91JTU8nX17fAxwENHjy4wDunExH9+OOPevd8c2X3H5lMRt988w1Vr16dVq9eLTyuJS0tjbZt20Zubm507ty5YtUtk8moZ8+eBICmTZumkTKV9fbtW+rWrRu5uLhQZGQkvXjxgohyc2PNmjXUsGFDevDggVbqlnv/bvzK4L7nf/hu/GXb+2OV4lJ37CCTyahu3bq0bNkyUepXVe/evWn+/Pk6rZOo8M9dY2Nj8vX1LfRzt6RRN++INP+/Dw8PJ2tra5oxYwbdunWLZDIZZWVl0alTp+iLL77I97g7scftRP97/G5MTIxobSgtNJFzeYn9/xe7fjltjKdKzfXtXbp0wYgRI5CUlITbt29j6dKlcHNzg62trdhNKzHkN3tT9vvfrGSxsbFBWFgYkpOTYWhoiNq1ayMiIgI//vgj5s2bJ5zN/fXXX3Hu3DncvXsX69evx9KlSzF48GBxGy8SiUSCkJAQrFy5EhEREbCzs4OJiQmsrKywZMkSTJ8+vdh3YZVIJJg6dSoAYO/evRopU1lSqRS7du3CpEmTsHjxYtjY2MDExASVKlXChg0b8PPPP5fIe5Bw38NYrrxjFV17+vQpgoOD8ejRI/j5+em8flW9e/cOrq6u+O6773Red97PXfldwqdNm4bk5GSEhYUV+yoqsYiZd4UZPHgwTpw4gevXr8PNzQ1SqRQmJiYYMGAAPD09hafNlCSJiYmYOnWqwqXirGAlMef0gVbGUxo7bKAjFy9eJDMzM3J3d6fLly8Xup42jtD4+/uThYVFgT/vv2ZmZkYAyMzMjPz9/T9YdoMGDQote8OGDRp7D6x0MDY2Jk9PzwJfCwgIIHt7ezIxMSEnJyeaO3euTs+obtiwodBcdXBwKPS1Bg0aKF2HqvtvRkYGJSYm0qtXr4r7tgqtX1NlquL169d0//59ysjI0Fodn332mcL/SSqVEgAyNTUV5Uxbacdn9pk61Bm7ACBbW1vauHFjvtcK65ctLCzIwMCgwLGLhYUFnThxosg6T5w4UWTZpcmMGTMIQJk4q1vQ/0r+v8+bD+//fCgfCpOVlUX//fdfoVfjEqk/bi9qbFKc8QcTh67OrBc2l3u/7ytonvchJXUuV+pOwzRp0kS0Z1/OnTtX4SYSeVlZWSm8du3aNfj4+CAyMjLfXT4Lsn///kK/y1ulShXVGsz0UlBQkCjfIZTr1q1bod8FNTY2LjSPlb3zsTrMzMyEG1yV5DKVZWlpqfC4P20IDQ0VbroDACtXrsSKFSsQGhqKzp07a7VuxpjmUBGP23z/EX95ZWZmCjeCyjt2adiwIapVq1ZknS1atCiybFYyFfQ/k//vN23aVOgj+D6UD4UxMjJSeVtlfWhswhhQ+Fzu/b7vfVZWVh8su6TO5UrdZL+44uPjdVLPq1evFP5OS0sDkHtn3cqVK39w+5J8MwnG8ipXrhzKlSunk7p0tf+WlHrF8P4ATH7X6WrVqqFChQpiNImxMk/XfZB8gJp37PL+888LYmZmptR6rGQp6H8mH8dmZ2fnG9O+v442qJvzuhybMO0Ra/xV3L6vICV1Lqe3k31bW1uYm5tjwIABorXB3Nyc7ynAVGJmZlamj0Tz/ssYK4u47xOPgYEBzMzMirxCQp9x7jExcf5pj95O9mvWrIn4+HikpKSotH14eDh++eUXBAcHK3UZfkFsbW1Rs2ZNlbZlZVtmZmahlwKVBersv5cuXcLQoUMxbNgwjBw5UuU28P7LGNM1dfq+8+fPw9/fHyNHjsSwYcNUbkNZ7ftkMhkyMzMhkUjEbooo1B03Dx06FFevXsXZs2dVbkNZzT2mXv7FxsZizJgx+PbbbxUe41dc+pp/ejvZB3ITR9V/2pEjRwDkPrO2WbNmmmwWY0wJqu6/8u+f29vb877LGCt1VO375JdYV61alfs+phJ1xs2WlpaQSCSce0xlquaf/ABBtWrVOP8KUGoevccYY4wxxhhjjDHl8GSfMcYYY4wxxhjTMzzZ17F79+5BIpEU+aiaqKgoSCQSvHjxQmftYmUD5596OH6MsbKI+z7VcezUw/FjYtKH/OPJfgnk4eGB5ORkWFtbA8i9WaCNjY24jWJlBuefejh+jLGyiPs+1XHs1MPxY2Iq6fmn1zfoK62kUins7OzEbgYrozj/1MPxY4yVRdz3qY5jpx6OHxNTSc8/PrNfTOnp6Rg0aBAsLS1hb2+PZcuWoW3btggICAAASCQS7Nq1S2EbGxsbhIeHKyy7ceMGPDw8YGpqikaNGiE6Olp4Le/lIFFRUfDz88PLly8hkUggkUgwe/Zs7b5JVmJx/qmH48cYK4u471Mdx049HD8mJs4/nuwX28SJExEdHY3du3fj8OHDiIqKwoULF1QqZ/z48bh48SLc3d3RtWtXPHv2LN96Hh4eWLFiBaysrJCcnIzk5GRMmDBBE2+FlUKcf+rh+DHGyiLu+1THsVMPx4+JifOPJ/vFkpaWhjVr1iAwMBAdOnSAq6srIiIikJ2dXeyyxowZg549e8LFxQUhISGwtrbGmjVr8q0nlUphbW0NiUQCOzs72NnZwdLSUhNvh5UynH/q4fgxxsoi7vtUx7FTD8ePiYnzLxdP9ovhzp07ePfuHVq1aiUsq1ChAurXr1/sstzd3YXfjYyM0KJFC8THx2uknUw/cf6ph+PHGCuLuO9THcdOPRw/JibOv1w82dcwiUQCIlJYlpWVJVJrWFnD+acejh9jrCzivk91HDv1cPyYmMpC/vFkvxjq1q0LY2NjnD17VliWmpqKhIQE4e9KlSohOTlZ+PvWrVvIyMjIV9aZM2eE37OzsxEXFwcXF5cC65VKpcjJydHEW2ClGOefejh+jLGyiPs+1XHs1MPxY2Li/MvFj94rBktLSwwdOhQTJ05ExYoVUblyZUybNg0GBv87ZtK+fXsEBwfD3d0dOTk5mDx5MoyNjfOVtXLlSjg5OcHFxQVBQUFITU3FkCFDCqzXwcEBaWlpOHbsGNzc3GBubg5zc3OtvU9WMnH+qYfjxxgri7jvUx3HTj0cPyYmzr9cfGa/mJYuXYo2bdqga9eu6NixIzw9PdG8eXPh9WXLlqFGjRpo06YN+vXrhwkTJhT4D160aBEWLVoENzc3xMTEYM+ePbC1tS2wTg8PD3zzzTfo06cPKlWqhCVLlmjt/bGSjfNPPRw/xlhZxH2f6jh26uH4MTFx/gEgVqBFixYRADp06NAH1/Xy8qJx48Zpv1GszDA2NiZPT0+l1uX8UxQTE0MAaMaMGUqtz/FTNG/ePAJAx48fF7sppVK7du2IP1qZGI4fP04AaN68eUqtz32fohkzZhAAiomJ+eC6HLv8PD09ydjYWKl1OX5Mkw4dOkQAaNGiRUqtX9byj8/sM8YYY4wxxhhjeoYn+4wxxhhjjDHGmJ7R6xv0JSYmIiUlRaVtk5KSAOTelbGw72TILV++HABw4cIFheW2traoWbOmSvWz0k+d/CMipKWl5cupgnD+qScqKkrsJmicOrn38OFDAEBCQgKsrKxUKoNzjzHVqbr/yu8w/fDhwzL72aFO3ye/I/fNmzdhZmZW5Lr6GDtAvfilpaWBiMps7jH1qZp/t27dApA7d+P8y09C9N7DBfVEYmIiXFxcCnx8gq6Ym5sjPj5eLxOHFY3zTzyxsbGYMmUKunXrhvHjx4vdHJ3j3BNX+/btcfz48XzP7WVMGbz/qo5jpx6OHxMT55/26O2Z/ZSUFGRkZGDDhg2FPgdRm+Lj4zFgwACkpKToXdKwD+P8E49MJsOJEyfg5eUldlNEwbnHWOnF+6/qOHbq4fgxMXH+aY/eTvblXFxc0KxZM7Gbwcoozj8mFs49xkov3n9Vx7FTD8ePiYnzT/P4Bn2MMcYYY4wxxpie4ck+Y4wxxhhjjDGmZ0rNZP/mzZuws7PD69evVS7DwcEBK1as0FyjSpjWrVtj+/btYjeDMVG9ePECAHD27FmsXLkSlSpVwr1790RtE9O8e/fuQSKR4NKlSzqvOyoqChKJRMg1df3222/o2rWrRspi4tPEeKWsuX79OqpXr4709HSxm8IYU1JBfd2uXbvg6OgIQ0NDBAQEIDw8HDY2NuI1shTS9HxO65N9X19fSCQSSCQSGBsbo3bt2pg0aRLevHlTrHJ++OEHfPvttyhXrhwAzQ+2Srrff/8dbdq0Qfny5VG+fHl07NgRf//9t8I606dPx5QpUyCTyURqJVOHr68vfHx88i0va7kuV9y+IzU1FX5+fujevTsA4MiRIxgzZgyePXuGOXPmlLn4FUdiYiImTJgANzc32Nraok6dOvjqq69w8OBBlctMTk7WeJnKun79OkaOHAkXFxdUrFgRTk5OGDx4MGJjY7Ve9/vevHkDX19fuLq6wsjIqMB9fMiQIbhw4QJOnjyp8/ax/9H2eKV8+fL5yjp37pxQp756/vw5vv32W9SvXx9mZmaoWbMmxo4di5cvXwrrNGjQAK1btxYeiaVL/NmrOo5d6aStvg4A/P398dVXX+HBgweYN2+eppte6okxn9PJmf3PPvsMycnJuHv3LoKCgrBq1SrMmjVL6e0TExOxd+9e+Pr6aq+RJVxUVBT69u2L48ePIzY2FjVq1ECnTp2QlJQkrNO5c2e8fv0aBw4cELGljGmOsn1HamoqPv74Y6xfvx45OTkAIDz6jIiwfv16eHh48MDj/7179074ff369WjUqBGSkpIwe/ZsHDt2DJGRkWjdujVGjBiBQYMGCTEtjj59+mi8TGUsWrQIrVq1gkwmQ2BgIKKjoxEWFoY6deqgW7du+OGHH7RSb2FycnJgZmaGsWPHomPHjgWuI5VK0a9fP/z88886bRvLT5vjlXLlymHnzp0Ky9asWaOROz/n3adLmocPH+Lhw4cIDAzE1atXER4ejoMHD2Lo0KEK6/n5+SEkJATZ2dkitZSxskMbfV1aWhqePHkCb29vVK1aVeEgQEmSlZUlWt1izOd0Mtk3MTGBnZ0datSoAR8fH3Ts2BFHjhwBAKxbtw6Wlpa4deuWsP6oUaPg7OwsPGvxjz/+gJubG6pVq1ZkPdu3b0fDhg1hYmKCL774osB1MjIyMGTIEJQrVw41a9bE6tWrhdfkl4Xu2LED7dq1g7m5Odzc3DRyNkh+GcuhQ4fg4uICS0tLYUdTxsaNGzFq1Cg0adIEzs7OCA0NhUwmw7Fjx4R1DA0N8fnnn2Pz5s1qt5exkqCovmP27NnCkekKFSogPj6+0AlkTk4OEhIS8N1332HPnj1wcnKCqakp2rVrh4iICIUzEM+ePUPfvn1RrVo1mJubw9XVFZGRkUJZq1evRtWqVfMdce3evTuGDBki/L179240a9YMpqamqFOnDubMmaORQaxEIkFoaCi+/PJLmJubw8nJCXv27ClyGwcHB8ybNw+DBg2ClZUVRowYAQD4888/MXHiRBw+fBiRkZH48ssv4ebmhlatWmHChAmIj4/HkydPEBAQIJSVmpqK/v37o1KlSjAzM4OTkxPCwsKE10+cOAEAWLlypdJlys8CHTt2DC1atIC5uTk8PDxw8+bNYsVm5cqVCA0NRVxcHFatWoUuXbqgUaNG8PT0xKxZs3D9+nUcOnQIy5YtE7ZRt2/+EAsLC4SEhGD48OGws7MrdL2uXbtiz549yMzM1Ei9TDXaHK8MHjwYa9euFf7OzMzE5s2bMXjw4HzrTp06tdA+CADatm2LMWPGICAgALa2tvD29saQIUPyjX2ysrJQuXJlrFmzRvWg/H99Y8eOxaRJk1ChQgXY2dlh9uzZSm3bqFEjbN++HV27dkXdunXRvn17zJ8/H3/++adCn/jpp5/i+fPniI6OVqutjLEP03RfFxUVJUzu27dvD4lEgqioqALrDgkJQd26dSGVSlG/fn2sX79eeC0oKEihH1uxYgUkEonCVYGOjo4IDQ0V/g4NDYWLiwtMTU3h7OyMX3/9VXhNPrfbsmULvLy8YGpqio0bN6oatlI5n9P5d/avXr2K06dPQyqVAgAGDRqEzz//HP3790d2djb27duH0NBQbNy4Eebm5gCAkydPokWLFkWWGxcXh969e+Prr7/GlStXhMHs+4PgZcuWoUWLFrh48SJGjRqFkSNH5htQTps2DRMmTMClS5dQr1499O3bVyOD9IyMDAQGBmL9+vU4ceKEcOmsqmVlZWWhQoUKCss/+ugjvhSU6aX3+44JEyYgOTkZV69ehZHRh58impOTg3Xr1qFnz55o1aoV1q1bhw4dOmDixIkAgPPnz+Ps2bM4ffo0KlWqhEWLFmHDhg3o1KkTBg4ciLVr1+Ls2bOoXbs2UlJS8Ouvv+Ls2bM4e/YsDh8+jAMHDqBZs2Y4e/YsVq1ahf79++OLL77Apk2bEBAQgFWrVmHkyJHCNqr+ALl9VLNmzbBu3To0a9YMffv2xeHDh3H27FlcuXKlwPcfGBgINzc3XLx4ETNmzMC7d+8wZswYhIeHo3Xr1oiJiUGLFi1QpUoVfPPNNxg0aBB27dqFjRs3YtOmTbhz5w4AYMaMGbh+/ToOHDiA+Ph4hISEwNbWFkDu2cXFixcDAFxdXZUuU27atGlYtmwZzp8/DyMjI4WDJx+SkpKCmTNnYufOnahXrx527tyJRo0aoWrVqpg+fTo+/fRT3LhxA5GRkZg/f77Cdww12TerqkWLFsjOzhb+x0x8mh6vDBw4ECdPnkRiYiKA3BMUDg4OBT5mytnZGfv27cPVq1cxYsQIDBw4MN+lnhEREZBKpTh16hR+++03DBs2DAcPHlQYdO7duxcZGRno06eP2vGIiIiAhYUFzp49iyVLlmDu3LnC5KC4Xr58CSsrK4W+WyqVokmTJjyGYUzHNNHX5T1Av337diQnJ8PDwyNfXTt37sS4ceMwfvx4XL16Ff7+/vDz88O5c+cAAM2bN0dMTIxw8iY6Ohq2trbCgYOkpCTcuXMHbdu2BZA7eZ45cybmz5+P+Ph4LFiwADNmzEBERIRCvVOmTMG4ceMQHx8Pb29vteJV6uZzpGWDBw8mQ0NDsrCwIBMTEwJABgYGtG3bNmGd58+fU/Xq1WnkyJFUpUoVmj9/vkIZbm5uNHfuXIVlx48fJwCUmppKRET9+vWjTz/9VHg9Li6OAFCdOnWEZbVq1aIBAwYIf8tkMqpcuTKFhIQQEdG///5LACg0NFRY59q1awSA4uPji/W+5fXHxcUREVFYWBgBoNu3bwvrrFy5kqpUqVKscuVGjhxJderUoczMTIXlu3fvJgMDA8rJyVGpXKYZ7///lZF3X8n7Y2pqqpDr2qq/pFGm7yAiCg8PJwD8895P3v99rVq1yMfHRyFuhw8fpubNmxMRUWpqKlWoUIFmzpxJFy9epGnTppGhoSGFhYUREdGAAQOEfrJr167k5+dX4P/s8OHD5OLiQgAoKipK6TLl/fnRo0eFsvbt20cA8vVxcvL++uLFi0REtHr1aurZsycREd2+fZtMTEwoODiYLl68SEOHDiVDQ0M6fvw4ERF5enrSgQMHiEi1vvn9z5+82rVrR4V9tA4ePJi6d+9eaLnly5en8PDwQl9n2qWL8YqPjw/NmTOHiHJz5aeffqKdO3cKOVNY392lSxcaP3688LeXlxc1bdo033to0KABLV68WPi7a9eu5Ovrq3QMCqvfy8uLPD09FZa1bNmSJk+erHTZck+fPqWaNWvS1KlT87325ZdfFqu9ean6uaepz97S/rnL45ayQ1t9XWpqKgEQPmuJcj9jra2thb89PDxo+PDhCtv16tWLPv74Y2HsYGBgQOfOnSOZTEYVKlSghQsXUqtWrYiIaMOGDVStWjVh27p169KmTZsUyps3bx65u7sT0f/GCitWrCgyJsrmX2mcz334dJgGtGvXDiEhIUhPT0dQUBCMjIzQs2dP4fXy5ctjzZo18Pb2hoeHB6ZMmaKwfWZmJkxNTYusIz4+XrgxV16JiYnIycmBoaEhAKBx48bCaxKJBHZ2dnjy5InCNnnXsbe3BwA8efIEzs7OSr7jgpmbm6Nu3boKZb9ftzIWLVqEzZs3IyoqKl9czMzMIJPJ8PbtW5iZmanVXqZ78n0lr7Nnz2LAgAEitUhcH+o7AODu3bvFKtPe3h5+fn7C3wkJCdi2bRu+//57mJqaQiaT4fTp04iPj8fr16+Rk5ODnJwc1KtXDz169ACQ29/s378f48aNg5GREdavXw97e3vhO9lBQUHIyspSuOkWESE7OxsTJ06EsbGxqiHBggUL8OWXX8LFxUVYtmzZMnTq1Amurq549OiRwqXCcu+fbbxy5Ypw1P306dOoWLEi5syZAwBo0qQJtmzZohCz1NRUAMDIkSPRs2dPXLhwAZ06dYKPj49QzpUrV9C4cWPEx8fj8uXLSpcpV1jfq8x3mvO+n0OHDuGTTz7B6NGjAQC//vqrwmXQ79etqb5ZXWZmZsIlkkwc2h6vDBkyBOPGjcOAAQMQGxuLrVu3Fnj25vfff0dMTAySkpLw7t07vH37VjijJte8efN82w0bNgyrV6/GpEmT8PjxYxw4cAB//fVXccNQoLz7J6DafvLq1St06dIFDRo0KPBrAGLtA/zZqzqOXemki7lZQeLj44Wrr+U+/vhjLF26FEDuvU3c3NwQFRUFqVQKqVSKESNGYNasWUhLS0N0dDS8vLwAAOnp6bhz5w6GDh2K4cOHC+VlZ2fD2tpaoY4PXSFeHKVtPqeTyb6FhQUcHR0BAGvXroWbmxvWrFmjcHOWEydOwNDQEMnJyUhPT1e4qYOtrW2+QaGq3h9kSySSfN+9zbuOfLCuiTsiFlQ3/f9NxJQVGBiIRYsW4ejRo/k+eIHcu95aWFjwRL+UyruvyP33338itUZ8H+o70tPTFb4vrgxHR0fMnz9f+HvPnj3Ytm0bZsyYARsbGyxatAjXrl3DihUr4OrqCgsLCwQEBMDIyEjY7s2bN6hSpQpatWqFli1bYuHChdi1a5dwOe7y5csxf/584eBAXnXq1IGBgerfoFqwYAEGDRqkcAfklStXokePHvD19cWFCxcKnOxbWFgo/J2dnS30E+/evcv3uqWlpfD7hQsX4O/vDyD3xjH379/H/v37ceTIEXTo0AGjR49GYGAgsrOzhQ+srKwspcuUU6fvLer9yAcM8vIuXbokfH3j/XrldRe3b9aE58+fo1KlSjqvl/2PtscrnTt3xogRIzB06FB07doVFStWLHC9yMhIBAcHK/RB79+E7/39C8i9/HbKlCmIjY3F6dOnUbt2bbRp06ZYMSiMMuOnorx+/RqfffaZcKPCgg56Pn/+XGEQrSv82as6jl3pVJLmZu9r27YtoqKiYGJiAi8vL1SoUAEuLi6IiYlBdHQ0xo8fDyD3hoBA7sHRVq1aKZQhP8mb9/1qSmmbz+n8O/sGBgaYOnUqpk+fLtyI6PTp01i8eDH+/PNPWFpaYsyYMQrbNG3aFNevXy+yXBcXF5w6dSrf8lq1auX7h5dWS5Yswbx583Dw4MFCj1BdvXoVTZs21XHLGNO+9/sOIsKAAQNQrlw5pb6zLy/j2bNnCsvk3xOTO3XqFLp3744BAwbAzc0NderUQUJCgsI6pqam6NGjBzZu3IjIyEjUr19f4Xu3zZo1w82bN+Ho6JjvR52JviY5OjoK3+9v2bIlbty4gd27d0Mmk2H37t24fPkyMjMzsXTpUjx48ADdunUTtq1UqRIGDx6MDRs2YMWKFcKNTh0dHXH79m0AQMOGDYtVpibfj6enJw4fPowzZ84gJycHwcHBePHiBV69eoXx48ejWrVqaNmypcbq1oQ7d+7gzZs33H+XINoYrxgZGWHQoEGIiooq8p4Ubdu2LbIPKkzFihXh4+ODsLAwhIeHK1zFJKZXr16hU6dOkEql2LNnT6FnBHkMw5juaWtuVpCC5munTp1C7dq1hb+9vLwQExODY8eOCd/Nb9u2LSIjI5GQkCAsq1KlCqpWrYq7d+/mG2vlLa+k0fV8TpRRZ69evWBoaIiVK1fi9evXGDhwIMaOHYvOnTtj48aN2LJlC7Zt2yas7+3tjdjY2CIf1TR+/HgcO3YM8+bNQ0JCAv78808A0JvLiBYvXowZM2Zg7dq1cHBwwKNHj/Do0SPhqJbcyZMn0alTJ5FayZh25e07Zs+ejaNHjyI0NBQ9evT44CTa0NAQX375JW7duoXJkycjISEBf/zxB8LDwwH870yyk5MTjhw5IlzK7+/vj8ePH+crr3///ti3bx/Wrl2L/v37K7w2c+ZMrFu3DnPmzMG1a9cQHx+PzZs3Y/r06ZoJhBI+dOlux44dcfbsWSQkJKBatWpYuXIl+vbtC6lUikWLFsHb2xvjxo0TPnBNTEwA5L633bt34/bt27h27Rr27t0rfKWgY8eOuHr1KgCgcuXKSpepjL///hvOzs4Kj6fJq1u3bti6dSueP3+OFi1aYMqUKWjTpg1MTExw+PBhNG/eHF9//TVSU1PzPf7sQ3bu3KnW17iuX7+OS5cu4fnz53j58iUuXbqES5cuKaxz8uRJ1KlTR5Szmqxw2hivzJs3D0+fPi3yJlFnzpz5YB9UmGHDhiEiIgLx8fEF3ulf1+QT/fT0dKxZswavXr0SxjB543Tv3j0kJSUV+ohKxpj2aKOvK8jEiRMRHh6OkJAQ3Lp1C8uXL8eOHTswcOBAYZ1PPvkEr1+/xt69exUm+xs3boS9vT3q1asnrDtnzhwsXLgQP//8MxISEnDlyhWEhYVh+fLl6gVES8SYz+nkMv58lRoZYcyYMViyZAmuXbsGCwsLLFiwAEDuHZwXLFgAf39/uLu7o1q1aujcuTOMjIxw9OhR4cNRfumY/Ixes2bN8Mcff2DmzJmYN2+ecGmcJs8ciSkkJATv3r3DV199pbB81qxZwvfekpKScPr0aWzYsEGEFjKmfXn7jlq1aiEtLa3Au72+z9DQEPXq1UNoaChOnDiB8ePH46effoK7uzumTZuGkSNHChPP6dOn4+7du/D29oa5uTlGjBgBHx8fvHz5UqHM9u3bo0KFCrh58yb69eun8Jq3tzf27t2LuXPnYvHixTA2NoazszOGDRumuWB8wPsfHO+zsrLC5MmT0bt3bxw7dgxDhgzBgAED8OzZM9jb2+PZs2cwNzfPdwmZVCrFDz/8gHv37sHMzAxt2rQRHg9jZWWFwYMH4+eff8aLFy+ULlMZGRkZuHnzZqHPx3V0dESvXr3Qt29f7Ny5EzNmzMCECRPw+vVrVK5cGU+ePIGNjY1wOX9xvHz5stiPAczr888/x/3794W/5Ufr8172FxkZqfCdQ1YyaGK88j6pVCo8waIwzs7OH+yDCtOxY0fY29ujYcOGqFq1avHesBZcuHBBeMrE+5d7//vvv3BwcACQuw906tQJtWrV0nUTGSvztNHXFcTHxwc//fQTAgMDMW7cONSuXRthYWFo2LChsE758uXh6uqKx48fCwfaP/nkE8hkMuH7+nLDhg2Dubk5li5diokTJ8LCwgKurq4Kj/ctSUSZz6l9iz8dCQ4Opk6dOgl/R0ZGkqWlZaHri31XTzHqnzRpUr47XDJxlMX8E1tqair5+vqSoaFhvjvTDx48uNC7Av/4449UvXp13TZWi4rzv5fJZPTNN99Q9erVafXq1fTkyRMiIkpLS6Nt27aRm5sbnTt3rlj1nz9/ngBQlSpVNFamst6+fUvdunUjFxcXioyMpBcvXhBRbm6sWbOGGjZsSA8ePNBK3XJF3Y2/MFevXqXKlSsL7WWl2/vjleLQRN/9+vVrsrKyou3bt4tSvyrevn1LNWvWpJiYGJXLEPtzT+z61SV2+8WunxWfOn3d+8T+/4tdf16ans+JcmZfFf7+/njx4gVevnyJpKQkBAcHo0OHDmI3q0SpXLkyvv/+e7GbwZgobGxsEBYWhl69eqFLly7o1KkT+vfvjwcPHmDQoEGwsbEBkHtn9pYtW6JixYo4deoUli5dmu+7aGWFRCJBSEgIOnfujCVLluCbb76BkZERsrOz0aJFC0yfPr3Yd7CVfx1i8uTJiIiI0EiZypJKpdi1axciIiKwePFi4SsEMpkMbdq0wc8//4zq1atrpW51JCcnY926dfnuHsxKJ/l45fXr1wo3tNI2mUyGlJQULFu2DDY2NqXqysbExERMnToVH3/8sdhNYYwpSay+Tt9pej5Xaib7RkZGmDZtGnbt2oWBAwfCw8MDP//8s07b0Llz5wIfkQPk3hU8750e5V8z8PT0xPTp0zF16tQiy857l+r3HThwQKm76crvTslYWSafMLVq1QqDBg3K9/qtW7fw448/4vnz56hZsybGjx+PH374QWft27hxY7670MtVqlQJT58+LfC1WrVq4dq1a1ppU7du3dCtWzdkZmYiJSUFNjY2an9we3l54bvvvtNomcqQSCTw9fWFr68v0tLShDvca+sJJe9/Lrx58wZAbp8+derUD/b9APg7ynpGPl7RtcTERNSuXRvVq1dHeHi4wo1LExMT0aBBgwK3kz/qztzcXGHsIr8PyvXr14t8/GVRfZqy/Zb8plqMsdJDrL5OXQXN5+R9X/PmzQu9c78yn+klcT5Xaib7cj4+Pnj9+rUodYeGhgp3qXyfmZmZwmvXrl2Dj48PIiMjlfrHvn+zpryqVatW7LYyxgoWFBSEoKAg0erv1q1bvkfEyBkbGxf6nfSCHlOlaWZmZqhRo0aJL1NZlpaWRX7wasL7nwsDBgzA2bNncenSJVSoUEGrdTOWl4ODQ6GPf6patWqR4wy5vGMX+XdoP/S9/w/1aYwxVpIUNJ+T930HDhwo9MCjMp/pJXE+V+om+8UVHx+v0nYvX77Ey5cvlT4j9OrVK4W/5TfHqlGjhlLJwUe09ZOq+ZeYmAipVAo7Ozud1qsvatasWaw7vetSuXLldHKGW1d9n6bqLa3e//A2NzcHwH06U48q+1FmZiaePn0Ka2trlb8SknfsomwO66pPU5aqfZD88ZyVK1cu9NGA2qi3pFH1fTx69Ajv3r0r8ioQbdTL9IvYfV/lypXV+vwuiZ/9ejvZt7W1hbm5uaiP3jM3N//gHXeZfuL8E1diYiLevn0rdjNEwbnHWOnF+6/qOHbq4fgxMXH+aY/eTvZr1qyJ+Ph4pKSkqLR9eHg4fvnlFwQHB8Pd3V2lMmxtbVU+wslKN3Xzr1WrVmjUqBHWrFmjchs4/8omdXMvNDQUISEhWLVqlco30uPcY0w16uy/58+fh7+/P0aOHKnWYz5L6/6rbt8XEhKC0NBQrFmzBk2aNFGpjNIaO0D9+A0dOhRXr14VHrOoitIcP6YedfIvNjYWY8aMwbfffgtfX1+V26Cv+ae3k30gN3FU/acdOXIEAODk5IRmzZppslmsjFAn/yQSCSwtLTn3mErUyT3593Pr1avH+ceYCFTdf+VfJ6xatWqZ3XfV6fvs7e0BAPXr1+f4qcDS0hISiaTMxo6pT9X8kx8gqFatGudfAQzEbgBjjDHGGGOMMcY0iyf7jDHGGGOMMcaYnuHJvo7du3cPEomkyEczREVFQSKR4MWLFzprFysbOP/Uw/FTHceOsdKL91/VcezUw/FjYtKH/OPJfgnk4eGB5ORk4fER4eHhsLGxEbdRrMzg/FMPx091HDvGSi/ef1XHsVMPx4+JqaTnn17foK+0Uuf56oypi/NPPRw/1XHsGCu9eP9VHcdOPRw/JqaSnn98Zr+Y0tPTMWjQIFhaWsLe3h7Lli1D27ZtERAQACD3Luq7du1S2MbGxgbh4eEKy27cuAEPDw+YmpqiUaNGiI6OFl7LezlIVFQU/Pz88PLlS0gkEkgkEsyePVu7b5KVWJx/6uH4qY5jx1jpxfuv6jh26uH4MTFx/vFkv9gmTpyI6Oho7N69G4cPH0ZUVBQuXLigUjnjx4/HxYsX4e7ujq5du+LZs2f51vPw8MCKFStgZWWF5ORkJCcnY8KECZp4K6wU4vxTD8dPdRw7xkov3n9Vx7FTD8ePiYnzjyf7xZKWloY1a9YgMDAQHTp0gKurKyIiIpCdnV3sssaMGYOePXvCxcUFISEhsLa2xpo1a/KtJ5VKYW1tDYlEAjs7O9jZ2cHS0lITb4eVMpx/6uH4qY5jx1jpxfuv6jh26uH4MTFx/uXiyX4x3LlzB+/evUOrVq2EZRUqVED9+vWLXZa7u7vwu5GREVq0aIH4+HiNtJPpJ84/9XD8VMexY6z04v1XdRw79XD8mJg4/3LxZF/DJBIJiEhhWVZWlkitYWUN5596OH6q49gxVnrx/qs6jp16OH5MTGUh/3iyXwx169aFsbExzp49KyxLTU1FQkKC8HelSpWQnJws/H3r1i1kZGTkK+vMmTPC79nZ2YiLi4OLi0uB9UqlUuTk5GjiLbBSjPNPPRw/1XHsGCu9eP9VHcdOPRw/JibOv1z86L1isLS0xNChQzFx4kRUrFgRlStXxrRp02Bg8L9jJu3bt0dwcDDc3d2Rk5ODyZMnw9jYOF9ZK1euhJOTE1xcXBAUFITU1FQMGTKkwHodHByQlpaGY8eOwc3NDebm5jA3N9fa+2QlE+efejh+quPYMVZ68f6rOo6dejh+TEycf7n4zH4xLV26FG3atEHXrl3RsWNHeHp6onnz5sLry5YtQ40aNdCmTRv069cPEyZMKPAfvGjRIixatAhubm6IiYnBnj17YGtrW2CdHh4e+Oabb9CnTx9UqlQJS5Ys0dr7YyUb5596OH6q49gxVnrx/qs6jp16OH5MTJx/AIgVaNGiRQSADh069MF1vby8aNy4cdpvFCszjI2NydPTU6l1Of8UxcTEEACaMWOGUutz/BTNmzePANDx48c/uC7HLr927doRf7QyMRw/fpwA0Lx585Ran/dfRTNmzCAAFBMT88F1OXb5eXp6krGxsVLrcvyYJh06dIgA0KJFi5Rav6zlH5/ZZ4wxxhhjjDHG9AxP9hljjDHGGGOMMT3DN+jTgKioKLGbwMowfc2/xMREpKSkFHu7mzdvAgCSk5Nx4cKFD66/fPlyAMi3rq2tLWrWrFns+ssSzr38Xr9+DSB/PhUH5x7TBX3df3WBY6cejh8TU1nLP57sF8Lc3BxNmzZVuGMjY7ri5uaG6tWri90M0SQmJsLFxaXAx58oKzQ0FKGhoSpvb25ujvj4+DI36ZL3fYaGhmI3RRSayD0ACjcAKq6ymnuMsdKrevXqePPmjdjNYGWQgYEBmjZtyk9cKARP9guRkZGBixcvQiaTid0UVgZdvnwZpqamYjdDNCkpKcjIyMCGDRsKfY6pNsXHx2PAgAFISUkpcxMued9Xkp4Rq0uce4wxVnz//fcfLl++LHYzWBkkk8lw8eJF9OnTR+ymlEg82WesBHnz5g22bt2KnJwc3Lp1C+PGjUOLFi3Qq1evMjn5d3FxQbNmzcRuBiuDOPcYY4yxku3Nmzc4evQoAGDr1q14+PBhmR43F4SvUWesBEhNTcWkSZNQrVo1DBo0CDKZDI8fP8ahQ4cwaNAgVK9eHZMmTUJqaqrYTWWMMcYYY0w0ecfNS5cuBQDExcXxuLkAPNkvQEpKCuLi4gAAR44cwbNnz0RuEdNn9+/fh7u7O1atWgU/Pz+Fy+Di4uJw69Yt+Pr6YtWqVfDw8EBiYqKIrWX6LCUlBRcvXgQAHDx4kPs+xhhjH5SSkoInT55AJpMhIiKCPzuYVr0/bg4JCRFe43FzfjzZzyM1NRV+fn6oWrUqtm7dCgAIDAyEvb09/Pz88OLFC3EbyPROamoqvL298e7dO5w/fx6BgYGoW7euwjqOjo4IDAzE+fPn8ebNG3h7e/ORygL4+vrCx8cn3/KoqChIJBLef4uQt+/bsWMHAGDx4sWws7ODmZkZ/vnnH5FbyDTt3r17kEgkuHTpks7r1vQ+OWXKFHz77bcaKYsxpry8nx0JCQnIycmBr68vj5uZ1hQ0bq5atarCOjxuVsST/f+XmpqKjz/+GOvXr0dWVpbCa1lZWVi/fj08PDy442IatXDhQiQnJ+PQoUNwcnIqcl0nJyccOnQIDx8+xMKFC3XUQlZa+fr6QiKRQCKRwNjYGLVr18akSZPy3S25qL4vOzsbb9++xddff819XxESExMxYcIEuLm5wdbWFnXq1MFXX32FgwcPqlxmcnKyxstU1vXr1zFy5Ei4uLigYsWKcHJywuDBgxEbG6v1ut8XFRWF7t27w97eHhYWFmjSpAk2btyosM6ECRMQERGBu3fv6rx9jJVVPG5mYuBxc/HxZP//ff/998JRyYLk5OQgISEB3333nY5bxvRVZmYm1qxZg+HDh3+ww5KrV68ehg0bhrVr1/IjbtgHffbZZ0hOTsbdu3cRFBSEVatWYdasWQrrfKjvIyLu+97z7t074ff169ejUaNGSEpKwuzZs3Hs2DFERkaidevWGDFiBAYNGqTSkw369Omj8TKVsWjRIrRq1QoymQyBgYGIjo5GWFgY6tSpg27duuGHH37QSr2FOX36NBo3bozt27fjn3/+gZ+fHwYNGoS9e/cK69ja2sLb21vhUk7GmHbxuJnpGo+bVUSMnj59SsbGxgTggz/GxsaUkpIidpOZHli3bh0BoMuXL1NaWprw8/jxYyHfHj9+rPBaWloaXbp0iQDQunXrxH4LWhMXF0cAKC4uTultBg8eTN27d8+3/Pjx4wSAUlNTtVp/SVNQPHr06EFNmzYlIqJZs2Yp1ee93/ft3r2bHB0dycTEhNq2bUvh4eEK8U1JSaGvv/6aqlatSmZmZtSoUSPatGmT0IZVq1aRvb095eTkKLStW7du5OfnJ/y9a9cuatq0KZmYmFDt2rVp9uzZlJWVpXZcANDvv/9OPj4+ZGZmRo6OjrR7927h9YL+97Vq1aK5c+fSwIEDqVy5cjR48GAiItqzZw9VqVKFYmNjC6wrLS2NvL29acyYMcKy58+fU79+/cjW1pZMTU3J0dGR1q5dK7weFBREACg8PFzpMuU5fvToUWrevDmZmZmRu7s73bhxo9A4/PvvvwSALl68KCwLDg6munXr0s2bNwvc5smTJ9S0aVMKDAwUloWFhZG1tTUdPHiQnJ2dycLCgry9venhw4eF1q3KPpnX559/rpArREQRERFUvXp1lcrTF/K4zps3T+ymlEozZswgABQTEyN2U0o8HjczMRQ2bt6yZUuZHzcXhR+9B2Dfvn35LkEqTFZWFiZMmAB3d3ctt4rpuy1btgAA3NzcCl2nSpUqBS53cXFBXFwcBg4cqJW2lVZ79+6FpaWlwrKy+rz49129ehWnT59GrVq1AORe+ly+fHkEBAQotX1WVhb8/f2xa9cutG/fHgMHDsSDBw+E7cPDw2Fubo7U1FRkZWVhyJAhMDU1xZUrVzBgwAD8888/qF27NtLT0/H06VOMHz9eeI59eno69u/fjzFjxmD16tW4desWgoOD8fXXX6Nnz554+vQpfvnlF5w/fx5du3ZVOxaTJk1Cjx49MHXqVBw/fhy9e/fGwoULYWFhUeiNfAIDAzFz5kzhyoh3795hzJgxCA8PR+vWrRETE4OAgAA8ePAAX375JTIyMuDt7Y2NGzeiXr16CAgIQN26dTFjxgxcv34dBw4cgK2tLW7fvo3MzEyhzMWLFwMAXF1dlS5Tbtq0aVi2bBkqVaqEb775BkOGDMGpU6eUiklKSgpmzpyJqKgo1KtXDzt37sSMGTPw/PlzDBkyBGfPnsXMmTMRGRkJd3d3jBgxAuXKlQMAZGRkIDAwEOvXr4eBgQEGDBiACRMm5LvcXlNevnwp5I7cRx99hP/++w/37t2Dg4ODVupljOXicTMTA4+bVST20YaSICgoiAwNDYt1lot/+EfMn1atWtGQIUPE3nW0RtUz+x07dqRbt24p/GzYsIGAsnlm39DQkCwsLMjExIQAkIGBAW3btk1Yh/u+wn/eP7Pv4+OjEN/Dhw9T8+bNiYgoNTWVKlSoQDNnzqSLFy/StGnTyNDQkMLCwoiIaMCAARQSEkJERF27ds13VjpvmS4uLgSAoqKilC4z75l9uX379hEAyszMLLCu98/sr169mnr27ElERLdv3yYTExMKDg6mixcv0tChQ8nQ0JCOHz9ORESenp504MABIso9sw+Abt++LZS9cuVKqlKlSsGJSeqd2d+yZQtJpVK6evWqwvKXL18KcSur+My+evjMvvL4s4N/StuPvo+bi8Jn9gGUL1++WGf/Ro0aBS8vLy22iJUFYWFhuHz5MhYtWqSw/O3btxgxYgQA4PHjx7CwsMi3bcuWLYWzaux/LCws4OjoqLDsv//+E6k14mvXrh1CQkKQnp6OoKAgGBkZoWfPnsLrxe37ateujVq1amHkyJHCsvPnz2Pp0qVYu3YtLCwsIJPJsHPnTsTGxuL58+fIzs5GdnY2WrZsKXx3MzY2FqtXr8bq1athbGyM2bNno06dOhg0aBAAYNiwYXjz5g0MDP53WxmZTIasrCysW7cOJiYmKsekT58+CAgIUDjL5OvrCz8/P3h5eeHu3bsFfi+9RYsWCn9fuXIFHh4eAHK/V16xYkXMmTMHANCkSRPhDAQA2NvbC3cCHjlyJHr27IkLFy6gU6dO8PHxEcq5cuUKGjdujPj4eFy+fFnpMuUaN26s8DoAPHnyBDVr1vxgXPK+n0OHDuGTTz7B6NGjAQC//vorIiMjC63b3Nxc4QoDe3t7PHny5IN1Ftfx48fh5+eH33//HQ0bNlR4zczMDEDuVQaMMe3icTMTQ2Hj5osXL2LFihUAeNxcEJ7sA+jSpQuMjY2VuiTJ2NgYc+fORcWKFXXQMqbP3r59i4MHD8LDw0Nhgpqeni5M9i0sLPJ1Wrdu3UJ8fLzOb5TFSp+8Bz/Wrl0LNzc3rFmzBkOHDgUAtG3bVumyjI2N4eLigipVqqB3797CclNTUyxduhRffvklbGxssGjRIhw7dgwrVqyAq6srLCwsEBAQACMjI2G7bt26Ye3atTAzM0PLli1x48YNbNiwAc2aNQMADB48GD/++CN69OiRrx116tRROAhQXH369IGXl5fCYxpHjBiBli1bonfv3rhw4UKB+9b7+2F2drYwwXz37l2+1/N+neTChQvw9/cHAHTu3Bn379/H/v37ceTIEXTo0AGjR49GYGAgsrOzYWpqCiD30ldly5QzNjYWfpdIJAByD5Ioo6j3I5VKIZVKhfIuXbqEiRMnFlivvG4iUqpeZUVHR6Nr164ICgoSDgrl9fz5cwBApUqVNFovYyw/HjczMRQ2braxsREm+zxuzo/vxo/cO/n2798fhoaGRa5naGiI/v37c4fFNKJXr16oUKECfvvtt2Jt99tvv6FixYro1auXllrG9JGBgQGmTp2K6dOnIzMzE0SEgIAAlC9f/oOTZ3nf5+rqivPnzyu8du7cOYW/T506he7du2PAgAFwc3NDnTp1kJCQoLCOqakpevTogY0bNyIyMhL169cXJvoA0KxZM9y8eROOjo75ftSZ6GuSo6Mjrly5AgDCAYvdu3dDJpNh9+7duHz5MjIzM7F06VI8ePAA3bp1E7atVKkSBg8ejA0bNmDFihVYvXq1UObt27cBAA0bNixWmZp8P56enjh8+DDOnDmDnJwcBAcH48WLF3j16hXGjx+PatWqoWXLlhqr+0OioqLQpUsXLF68WDgQ+r6rV6/C2Ng43xl/xpjm8biZiYHHzaopGaOmEiAoKAj16tUrtOMyNDREvXr1EBQUpOOWMX1lamqKoUOH4vfff8etW7eU2iYhIQGhoaHCzc8YK45evXrB0NAQK1euxOzZs3H06FFs3rwZdevWLXQSbWBgIPR9/v7+uHHjBiZPnoyEhAT88ccfCA8PB/C/M8lOTk44cuQITp8+jfj4ePj7++Px48f5yu3fvz/27duHtWvXon///gqvzZw5E+vWrcOcOXNw7do1xMfHY/PmzZg+fbpmA1KEv/76q8jXO3bsiLNnzyIhIQHVqlXDypUr0bdvX0ilUixatAje3t4YN24cYmJicOzYMeGrBzNnzsTu3btx+/ZtXLt2DXv37hVuNtexY0dcvXoVAFC5cmWly1TG33//DWdnZyQlJRX4erdu3bB161Y8f/4cLVq0wJQpU9CmTRuYmJjg8OHDaN68Ob7++mukpqZi586dStcLADt37oSzs3OxtpE7fvw4unTpgrFjx6Jnz5549OgRHj16JJzJlzt58iTatGkjXJ3AGNMuHjczXeNxs2p4sv//bGxscPr0aQwcODDfJYnGxsYYOHAgTp8+DRsbG3EayPTSDz/8gKpVq6JTp075zn6+LyEhAd7e3qhatWqZvRSpKOHh4di1a1e+5W3btgUR8b4LwMjICGPGjMGSJUuwf/9+pKWlwdvbG7du3Srwcm+JRIJWrVoJfV/t2rWxbds27NixA40bN0ZISAimTZsGAMLEc/r06WjWrBm8vb3Rtm1b2NnZKVwyL9e+fXtUqFABN2/eRL9+/RRe8/b2xt69e3H48GG0bNkSrVu3RlBQkPAkAV1IS0sr8nUrKytMnjwZvXv3xrNnzzBkyBC8ePECDx48QGxsLDZs2ICXL19i9+7dqF69urCdVCrFDz/8gMaNG+OTTz6BoaEhNm/eLJQ5ePBgAMCLFy+ULlMZGRkZuHnzZqGX3To6OqJXr17o27cvMjIyMGPGDLx69QoPHz7Enj17sH//frx48QLh4eHF3pdevnyJmzdvFmsbuYiICGRkZGDhwoWwt7cXft7/isfmzZsxfPhwlepgjBUfj5uZGHjcrAKRbxBYIqWkpFDv3r0JAE2YMIGfD8q06t69e+Ts7ExWVlb0/fffC88DBUBpaWmUkJBA33//PVlZWZGzszPdv39f7CZrndh3wxe7frGkpKT8X3t3HxZVnf9//DXchYiCCoKURJkWlqHhTZCWGUXlkhtgSiqJ5u1qmuL9apbuV7zFXA3vUBBNRWG1tTXdXOGnq6JibtuGYbXqWqhh6CreIDi/P9pmY8EbboaBmefjurgu5pzPOZ/3fDwcz2vOmXOM4eHhRknGiRMnGj/88EOjv7+/saSk5JbLzJw506qeb16Rf/ubN28ahw4darzvvvuMy5cvN547d85oNBqNly9fNm7evNkYEBBgPHToUIX6P3z4sFGS0cvLq9rWebeuX79ufOWVV4z+/v7G9evXGy9cuGA0Gn962kBiYqLx0UcfNf7rX/8yS99V8ac//cno7+9vvHHjhqVLsSjuxl813I2/8vLz842tWrUy2tvbG5OTkzluhln973HzBx98YPPHzbfDmf1yNGnSxPT90eeff57vGsGs7r//fu3bt09DhgxRcnKy2rZtK0lq0KCBOnTooFatWik5OVlDhgzRvn377urO2kBlNGnSRO3atZP009n1qKgoDR48uNSl3x988IEOHTqkb7/9VikpKZo7d67pbLStMRgMSkhI0JIlS5ScnCxvb2/dc889atiwoebMmaPf/va3Ze7ifzfrlKQJEyZU2zrvlpOTk7Zs2aLx48dr9uzZcnd31z333CNPT0+tXbtWixYtqvAVBTWhsLBQq1evloMD9xwGLKFJkyZq2rSp7OzsFB0dzXEzzOp/j5uHDx8uSWrevDnHzeXgf0agFmjUqJHmzJmj9957T5s2bVL//v3l4uKiF154QZMmTVLPnj1t9rtGsKzRo0eXen38+HHNnDlTP/74o3x9fTV27NgavTxu3bp1Ze5C/zNPT0/98MMP5c67//779Y9//MMsNb3yyit65ZVXdPXqVeXn58vd3b3Kj/h55pln9Pbbb1frOu+GwWBQ//791b9/f12+fFk//vijPD09zfZd+Jdeekl79uwpd97kyZM1efLkO64jMjKyussCANRivzxunjZtmubOnSsvLy899dRTHDf/D8I+UIs4OzurX79+GjhwoFq2bGl6lAhQW8THx1v0hkuvvPKKOnXqVO682z0K6n+/U2oO9erVU/PmzWv9Ou+Wq6trqcf9mcPKlSt19erVcuc1btzYrH0DAOo2Z2dnhYSEaO7cuYqMjNSECRMsXVKtQ9i/hfr166tTp053fKwIYA4dOnSQn5+fpcuwuJycnAovU1BQoOzsbD3wwANq0aJFjfVrLVxdXWv1vq9BgwY1coa7sttAdna2CgoKFBISUqP91lX33nuvpUsAUA38/PzKvdErYG729vbq1KmT6tevb+lSaiXC/i0UFhYqKytLJSUlli4FNujQoUO15nniluDh4SEXFxf17dvXYjW4uLjIw8PDYv1byuXLl21638e2BwAVd+LECR06dMjSZcAGlZSUKCsrS6+++qqlS6mVCPsAah1fX1/l5OQoPz+/wssePXpUAwcO1Jtvvqlhw4ZVugYPDw+bv6mLLarKtidJQ4YM0eHDh5WdnV3pGtj2AABAdSDsA6iVfH19KxV4fv7+b7NmzUxP1QAqorLbniTTVwzY9gAAgKXZ7nXCAAAAAABYKcI+AAAAAABWhrBfw06cOCGDwaCjR4/esk1GRoYMBoMuXLhQY3XBNrD9VQ3jV3mMXdUwfgBsEfs+WJI1bH+E/VooODhYeXl5cnNzkyQlJSXJ3d3dskXBZrD9VQ3jV3mMXdUwfgBsEfs+WFJt3/64QV8t5OTkJG9vb0uXARvF9lc1jF/lMXZVw/gBsEXs+2BJtX3748x+BRUWFio6Olqurq5q1qyZ5s+fr65du2r06NGSJIPBoC1btpRaxt3dXUlJSaWmHTt2TMHBwXJ2dtZjjz2mzMxM07xfXg6SkZGhmJgYXbx4UQaDQQaDQdOnTzfvm0StxfZXNYxf5TF2VcP4AbBF7PtgSWx/hP0KGzdunDIzM7V161bt3LlTGRkZOnLkSKXWM3bsWH322WcKCgpSWFiYzp8/X6ZdcHCwFi5cqIYNGyovL095eXmKjY2tjreCOojtr2oYv8pj7KqG8QNgi9j3wZLY/gj7FXL58mUlJiZq3rx5eu6559SmTRslJyeruLi4wusaMWKEIiIi5O/vr4SEBLm5uSkxMbFMOycnJ7m5uclgMMjb21ve3t5ydXWtjreDOobtr2oYv8pj7KqG8QNgi9j3wZLY/n5C2K+Ab775RkVFRerUqZNpWuPGjfXwww9XeF1BQUGm3x0cHNS+fXvl5ORUS52wTmx/VcP4VR5jVzWMHwBbxL4PlsT29xPCfjUzGAwyGo2lpt24ccNC1cDWsP1VDeNXeYxd1TB+AGwR+z5Yki1sf4T9CmjRooUcHR2VlZVlmlZQUKDc3FzTa09PT+Xl5ZleHz9+XFeuXCmzrgMHDph+Ly4uVnZ2tvz9/cvt18nJSSUlJdXxFlCHsf1VDeNXeYxd1TB+AGwR+z5YEtvfT3j0XgW4urpq4MCBGjdunJo0aaKmTZtqypQpsrP772cm3bp10+LFixUUFKSSkhJNmDBBjo6OZda1ZMkStWzZUv7+/oqPj1dBQYEGDBhQbr9+fn66fPmydu3apYCAALm4uMjFxcVs7xO1E9tf1TB+lcfYVQ3jB8AWse+DJbH9/YQz+xU0d+5cdenSRWFhYQoJCVHnzp0VGBhomj9//nw1b95cXbp00euvv67Y2Nhy/4Hj4uIUFxengIAA7d27Vx999JE8PDzK7TM4OFhDhw5Vr1695OnpqTlz5pjt/aF2Y/urGsav8hi7qmH8ANgi9n2wJLY/SUaUKy4uzijJuGPHjju2feaZZ4yjRo0yf1GwGY6OjsbOnTvfVVu2v9L27t1rlGScOnXqXbVn/EqbMWOGUZJx9+7dd2zL2JX17LPPGu/2v1bGD9Vp9+7dRknGGTNmWLqUOmnq1KlGSca9e/daupQ6qXPnzkZHR8e7asu+D9Vpx44dRknGuLi4u2pva9sfZ/YBAAAAALAyhH0AAAAAAKyMVd+g79SpU8rPz6/Ust99952kn+7KeKvvZPxswYIFkqQjR46Umu7h4SFfX99K9V8bVGX8qkNdHr9//vOfmjlzZqWXLykp0fHjxzVw4MA7tm3RooUuXbpUqq2Tk5Pef/99OTk5VboGW5GRkWHpEqpdVf52v//+e0lSbm6uGjZseNu27PvKunTpkqSyY1Ieax0/AHVTVfZ9ly9fltFotOl9H8fNlbd161Z99NFHlVr258y2efPmUnfav5XyjpsDAgL01ltvVar/2s5qw/6pU6fk7+9f7uMTKmLEiBGVXtbFxUU5OTl18g+vusavKury+P3hD3/QqlWr5OvrKx8fnwov365dOxkMBn355ZcVXvarr75SQUGB+vTpo86dO1d4edRt1fW3O2TIkEovW5f/dqtr/H55A6CKqsvjB6BuYt9XNRw3V83777+v3bt3KyAgQPXq1avQsjdv3lRgYGCljpuNRqMOHjyoxo0ba/jw4XJwsL5obH3v6D/y8/N15coVrV279pbPQTSnnJwc9e3bV/n5+XXyj47xq5rhw4frww8/1I8//qg//elPatSoUY30e/ToUQUFBWnAgAF66qmnaqRP1C787VYN4wfAFrHvqxrGr2oWLVqkTp06qU2bNlqzZo0MBkON9LtgwQJlZWVp+fLlVhn0JSsO+z/z9/fXE088Yeky6izGr3KcnZ21efNmBQYGqm/fvvrjH/9Y6rme5lBQUKDw8HC1bt1aixcvrrEdJWon/narhvEDYIvY91UN41c5jz32mFauXKnXX39dQUFBGj58uNn7zMzM1Pjx4zV+/HiFh4ebvT9L4QZ9qJJFixYpOjra0mXUSn5+fvrwww+1ffv2Kn1//27cvHlTffv21cWLF5WWllbhS6AAAABgXhw331pUVJRGjRql0aNHa//+/Wbt67vvvtNrr72mp59+Wr/73e/M2pelEfZRaUajUZs3b1ZycrKkn74r7u3tbbpB1d2YOHGiRo4caa4SLS40NFTvvfeepk+fru3bt5utn5kzZ2r79u1at26d/Pz8zNYPAAAAKo7j5jubO3euOnbsqMjISJ09e9YsfRQVFem1116To6OjNmzYYLWX7/+MsP8/+vfvr1//+tdlpmdkZMhgMOjChQs1XlNtlZGRoWeeecZ0ufikSZM0cuRINWjQwDS/R48eatasmerXr6+2bdtq3bp1pdYRGxur5ORkffvttzVef02ZPHmyunfvrj59+tzV+1yyZIn8/Pzk7OysTp066eDBg7dtv337dk2fPl3vvvuuXnzxxeoqGzaGfV/lMXYAbBH7vorhuPnOHB0dtWnTJt28eVO9e/dWcXHxHZep6HFzbGysDh06pM2bN6tp06bVVXqtRdhHpa1du9Z0KdKpU6e0bds29e/f3zR/3759evzxx5WWlqbPP/9cMTExio6O1rZt20xtPDw8FBoaqoSEhJouv8bY2dkpJSVFjRs3VkREhK5evXrLths3btSYMWP0zjvv6MiRIwoICFBoaKjOnTtXbvt//vOf6tOnj15++WVNmTLFXG8BAAAAVcBx891p1qyZUlNTtWfPHk2aNOm2bSt63Lxu3Tr9/ve/1/vvv68nn3zSHOXXOoR9VMrVq1f13XffqWXLlpKk1NRUBQQE6N577zW1mTx5smbMmKHg4GC1aNFCo0aN0osvvqj09PRS6woLC9OGDRtqtP6a5u7urrS0NH311VcaNmyYjEZjue0WLFigQYMGKSYmRq1bt9bSpUvl4uKiVatWlWl79epVRUREqFGjRkpJSTH7DQABAABQcRw3V0yXLl00b948zZs3T5s3b75lu4ocN3/++ecaNGiQoqOjNXToUHOWX6uQDnBHWVlZ6tmzp2bPnm2atnXrVvXo0cP0es+ePWrfvv0d13Xx4kU1bty41LSOHTvq9OnTOnHiRLXVXBsFBARo+fLlSk5O1vLly8vMLyoqUnZ2tkJCQkzT7OzsFBISUuZGJUajUcOHD1dOTo7S09Nr7NF+AAAAuDWOm6vHqFGj1KtXL8XExCgnJ6fM/IocN1+4cEERERFq1aqVEhISbOqJVYT9cmzbtk2urq6lfl566SVLl2UxDz74oLp3717qU7LU1FT17t3b9PrkyZPy8fG57XpSU1N16NAhxcTElJr+83InT56sxqprp759++o3v/mNRo4cqaysrFLz8vPzVVJSIi8vr1LTvby8dObMmVLTVqxYoaSkJC1btkwBAQFmrxu2gX1f5TF2AGwR+76yOG6uHgaDQStXrpSvr6/Cw8PL3Mjwbo+bb968qejoaOXn5ystLU0uLi41Un9tQdgvx7PPPqujR4+W+lm5cqWly7IYT09PRUZG6vTp0zp06JDOnTsnJyenUmeTr169Kmdn51uuY/fu3YqJidGKFSv06KOPlpr382Pirly5Yp43UMssWLBAgYGBioyM1A8//FDh5Q8ePKiRI0dq+PDhPL4F1Yp9X+UxdgBsEfu+sjhurj6urq5KT0/Xd999pwEDBtzya7C3ExcXpz/+8Y9au3atWrRoYYYqazfrftZAJdWvX18PPfRQqWmnT5+2UDW1g6urq3r06KF169bpgQceUFRUVKn5Hh4eKigoKHfZzMxMhYWFKT4+vtxw+uOPP0r6aedoC5ycnLRp0yYFBgaqd+/e2rFjhxwcHOTh4SF7e/syjxo5e/asvL29JUk//PCDIiMj9cQTTyg+Pt4S5cOKse+rPMYOgC1i31c+jpurz8MPP6zk5GSFh4drwYIFGjt2rCTd1XHzzp079dvf/lbTpk1T9+7da7z22oAz+7hrffr00YYNG/Txxx/r5ZdfLjWvXbt2+vLLL8ssk5GRoe7du2v27NkaPHhwuev94osv5OjoWOaTS2t23333aePGjcrMzNTUqVMl/fQhQGBgoHbt2mVqd/PmTe3atUtBQUEqLi5W7969df36dW3atElOTk6WKh8AAAC3wXFz9Xn11Vc1YcIETZgwQRkZGZLufNx84sQJRUVFKTQ0VNOmTbNQ5ZZH2MddCw0NVUlJiR5++GE5OjqWmbd//36VlJSYpu3evVvdu3fXW2+9pYiICJ05c0ZnzpwxfSL5sz179qhLly6my5JsRdeuXTV79mzFxcXpD3/4gyRpzJgxWrFihZKTk5WTk6Nhw4apsLBQMTExmjp1qjIzM7Vx40bdd999Fq4eAAAAt8Jxc/WaOXOmunbtql69eum7776TdOvj5qioKEVGRqphw4Zat26d7O3tLVy95RD2cdccHBwUFRVV7iVFL730khwcHPTpp5+apiUnJ+vKlSuaNWuWmjVrZvoJDw8vteyGDRs0aNAgs9dfG40ZM0aRkZF64403lJubq169emnevHmaNm2a2rZtq6NHj+qTTz7Rvn37FBcXp7i4OHXt2tXSZQMAAOA2OG6uXg4ODlq/fr2cnJzUs2dPFRUV3fK4eebMmfrHP/6h9PT0Mk8zsDV8Z/9/JCUllTu9a9eulbophLVZtGhRudMdHBw0efJkLViwQKGhoZJ+GstbjefPtm/fLjs7O0VGRlZ3qXWCwWDQqlWr1LFjR7366qvKysrSiBEjNGLECFOb3NxcPf/884qIiDB9Twmobuz7Ko+xA2CL2PfdGcfN1cvT01NpaWnq0qWLxowZo8WLF5c5bl65cqVWrlyp1atXq127dhastnbgzD6qzZAhQ/T000+XeTTG7RQWFmr16tVycLDdz50aNGig9PR0nTp1Sm+++Wap/yAvX76s8PBw3XvvvVq9erVNPRcUAADAWnHcXDkdO3bUokWLtGTJEqWkpJSad/jwYY0YMUJDhgxR//79LVNgLWO7WwqqnYODg6ZMmVKhZWz1k8n/5e/vr9WrV6tnz5568sknNXr0aBmNRr355ps6efKkDh48qAYNGli6TAAAAFQDjpsrb/DgwTpw4ICGDBmixx9/XAEBAcrPz1dERIQef/xxvf/++5YusdYg7AO1RGRkpGJjYxUbG6vAwEAdOXJEGzduVGpqqvz9/S1dHgAAAGBxBoNBH3zwgY4eParw8HAdPHhQffr00ZUrV7R582bdc889li6x1rD6sJ+Tk2NT/VY3xq9mzZo1S4cPH1Z4eLguXLigsWPHqmfPnpYuC3UQf7tVw/gBsEXs+6qG8as59erVU1pamtq3b682bdro7Nmz2rlzp3x9fS1dWq1itWHfw8NDLi4u6tu3r8VqcHFxkYeHh8X6rwrGzzIcHBy0YcMGPfPMMwoMDFRcXJylS0Idw99u1TB+AGwR+76qYfws48EHH9S6desUHR2tWbNm6bnnnrN0SbWO1YZ9X19f5eTkKD8/v1LLJyUl6fe//70WL16soKCgSq3Dw8Ojzn66VNXxqw51efyqwsvLS8eOHbN0Gaijqvq3u3LlSiUkJGjZsmVq3759pdZRl/92qzp+Q4YM0eHDh5WdnV3pGury+AGom6q67xs4cKC++OILZWVlVbqGurzv47jZcl566SX98MMPli6j1rLasC/99IdX2Y3+z3/+sySpZcuWeuKJJ6qzrDqjKuMHwHKq8rfr4+MjSWrVqhX7vkr4+Uaatjp2AOququz7XF1dZTAYbHrfx3EzaiMevQcAAAAAgJUh7AMAAAAAYGUI+wAAAAAAWBnCfg07ceKEDAaDjh49ess2GRkZMhgMunDhQo3VBQDmxL6vahg/ALaIfR9QNYT9Wig4OFh5eXlyc3OT9NOTAdzd3S1bFACYGfu+qmH8ANgi9n3ArVn13fjrKicnJ3l7e1u6DACoUez7qobxA2CL2PcBt8aZ/QoqLCxUdHS0XF1d1axZM82fP19du3bV6NGjJUkGg0FbtmwptYy7u7uSkpJKTTt27JiCg4Pl7Oysxx57TJmZmaZ5v7wcKSMjQzExMbp48aIMBoMMBoOmT59u3jcJAP+DfV/VMH4AbBH7PsCyCPsVNG7cOGVmZmrr1q3auXOnMjIydOTIkUqtZ+zYsfrss88UFBSksLAwnT9/vky74OBgLVy4UA0bNlReXp7y8vIUGxtbHW8FAO4a+76qYfwA2CL2fYBlEfYr4PLly0pMTNS8efP03HPPqU2bNkpOTlZxcXGF1zVixAhFRETI399fCQkJcnNzU2JiYpl2Tk5OcnNzk8FgkLe3t7y9veXq6lodbwcA7gr7vqph/ADYIvZ9gOUR9ivgm2++UVFRkTp16mSa1rhxYz388MMVXldQUJDpdwcHB7Vv3145OTnVUicAVCf2fVXD+AGwRez7AMsj7Fczg8Ego9FYatqNGzcsVA0A1Az2fVXD+AGwRez7APMi7FdAixYt5OjoqKysLNO0goIC5ebmml57enoqLy/P9Pr48eO6cuVKmXUdOHDA9HtxcbGys7Pl7+9fbr9OTk4qKSmpjrcAABXGvq9qGD8Atoh9H2B5PHqvAlxdXTVw4ECNGzdOTZo0UdOmTTVlyhTZ2f33M5Nu3bpp8eLFCgoKUklJiSZMmCBHR8cy61qyZIlatmwpf39/xcfHq6CgQAMGDCi3Xz8/P12+fFm7du1SQECAXFxc5OLiYrb3CQC/xL6vahg/ALaIfR9geZzZr6C5c+eqS5cuCgsLU0hIiDp37qzAwEDT/Pnz56t58+bq0qWLXn/9dcXGxpa7g4mLi1NcXJwCAgK0d+9effTRR/Lw8Ci3z+DgYA0dOlS9evWSp6en5syZY7b3BwDlYd9XNYwfAFvEvg+wLIPxf78oA0nS7NmzNXHiRO3YsUMvvPDCbdt27dpVbdu21cKFC2umOAC39Ne//lWdO3fW1KlT9d5771m6nDpn5syZmjp1qnbv3q2uXbveti37vrK6deum3bt3l/kOankYP1SnjIwMPfvss5oxY4Z++9vfWrqcOmfatGmaMWOG9u7dq6eeesrS5dQ5Xbp0UVZWloqKiu7Yln0fUHM4sw8AAAAAgJUh7AMAAAAAYGWs+gZ9Q4cO1eHDhyu17Llz5+To6KiRI0eqQYMGd2y/d+9etW/fvtS0vn37avTo0ZXqHwBqu4yMDEuXUOu4urrKy8vrrtoyfqhuXl5ecnCw6kM7mMnFixf10ksv3dVl+OX5+uuvZTAYyhwL30p5x83Lli0r9X1+AFVntf8jFBcX65NPPtGpU6f0xhtv6J577qmxvs+cOaOtW7fKx8eHsA8ANuTy5cs6e/aspcuAjTp79qyKi4stXQbqoK+//lpZWVny9vZWWFhYhZe/25BfnqysLB09elTZ2dmEfaCaWW3Yd3Bw0KZNm9S5c2fVq1dPH3zwQY30e+PGDT377LO69957tWLFihrpEwAAAKiswMBAzZw5U5MnT9avfvUr/epXv6qRfo8fP6727dvr1Vdf1aBBg2qkT8CWWPV39jt06KDFixcrISFBycnJNdLnuHHjdPDgQW3atOmuL+UEAACorGvXrmnnzp2SpPT0dI0aNUopKSm6du2ahStDXTJhwgT16NFDffv21ddff232/goLCxURESFvb28lJSXJYDCYvU/A1lh12JekN998UwMGDNDQoUN19OhRs/a1fv16vf/++1q4cKGCgoLM2hcAALBtBQUFGj9+vO69917NmjVLkvTZZ59px44dio6O1n333afx48eroKDAwpWiLrCzs1NycrI8PT0VERGhK1eumK0vo9GowYMH69tvv1V6eroaNmxotr4AW2b1Yd9gMGjx4sVq3bq1wsPDzfYf3hdffKE333xT/fr107Bhw8zSBwCg9srPz9eZM2ckScnJyTp//ryFK4I1O3nypIKCgrRs2TLFxMRo5cqVpnnZ2dk6fvy4+vfvr2XLlik4OFinTp2yYLWoK9zc3JSenq6vv/5aQ4YMkdFoNEs/S5Ys0YcffqjExEQ9+uijZukDgA2EfUmqV6+e0tLSdPHiRfXt21c3b9684zJLliyRn5+fnJ2d1alTJx08ePCWbS9evKjw8HA99NBDWrp0KZchAYANKSgoUExMjHx8fJSTkyNJ6t+/v5o1a6aYmBhduHDBsgXC6hQUFCg0NFRFRUU6fPiw5s2bJx8fn1JtHnroIc2bN0+HDx/WtWvXFBoayhl+3JU2bdpo5cqVWrt2rRISEu5qmYocN+/bt09vv/223n77bfXq1au6ygZQDpsI+5Lk5+endevWafv27Zo5c+Zt227cuFFjxozRO++8oyNHjiggIEChoaE6d+5cmbY3b97UG2+8oXPnzik9PV0uLi7megsAgFqmoKBATz31lFJSUnTjxo1S827cuKGUlBQFBwcT+FGtZs2apby8PO3YsUMtW7a8bduWLVtqx44d+v77702X+gN3EhUVpbfeekujR4/W/v37b9u2IsfNZ86cUc+ePRUUFKTZs2ebq3wA/2EzYV+SXnzxRb377ruaPn26tm/ffst2CxYs0KBBgxQTE6PWrVtr6dKlcnFx0apVq8q0nTNnjrZu3aq1a9eqRYsW5iwfAFDLjBkzRrm5uSopKSl3fklJiXJzc/X222/XcGWwVlevXlViYqIGDRp0x6D/s1atWunNN9/UqlWruGkf7trcuXPVsWNHRUZG3vaRond73Hzjxg316tVLRqNRqampcnR0NPdbAGyeTYV9SZoyZYpefvll9enTR//85z/LzC8qKlJ2drZCQkJM0+zs7BQSElLmk81PP/1UU6ZM0dSpU2vsESUAgNohPz9f69atu2XQ/1lJSYnWrVvHd/hRLTZv3qwff/xR0dHRKiwsNP38MsT/cvrPP9HR0Tp//rw2bdpkwepRlzg5OSk1NVUlJSXq3bu3iouLy7SpyHHzxIkTtW/fPqWmpsrb29vs9QOQHCxdQE2zs7NTSkqK2rdvr4iICP31r39VvXr1TPPz8/NVUlJS5rF5Xl5eOnbsmOn1qVOn1Lt3bz3//PN65513aqx+AEDt8PHHH5e5dP9Wbty4oaCgIDVt2tTMVcHaffvtt5KkgICAW7a51aN//f39lZ2drX79+pmlNlgfHx8fpaamqlu3bpo8ebLmzJlTav7dHjenpqZqwYIFev/999W5c+caqR2ADYZ9SWrUqJHS09P15JNPavjw4Vq1alWFbqp37do1RUREyNXVVevWrZO9vb0ZqwUA1EYFBQWyt7e/45n9n/3zn//kjuiosvLOrt6thg0b6tKlS9VYDWzB008/rblz52rMmDHq1KmTIiIiKrT8l19+qQEDBigqKkojR440U5UAymOTYV/66RPxZcuW6Y033lBQUJAGDx4sSfLw8JC9vX2Z7yadPXvWdMnRqFGj9Pe//11//etf1aRJkxqvHQBgeY0aNbrroC9JiYmJio6ONmNFsAWjRo3Sjh07lJ2dXWr6zp07FR4eLumnY5b69euXWbZDhw5q0KBBjdQJ6zJ69GgdOHBA/fv316OPPqpHHnlE0p2Pm//9738rPDxcDzzwgFasWMETq4AaZnPf2f+l6OhoDR8+XCNHjjQ9IsTJyUmBgYHatWuXqd3Nmze1a9cuBQUFadWqVVq+fLk++OADBQYGWqp0AICFde/e/a5vMOXo6Kju3bubuSLYgvbt2+urr75SXl6e6tevb/pxdnY2tfnl9J9/vv/+e+Xk5HDsgkoxGAxKTExU8+bNFR4ebrpC5HbHzU8++aRiYmKUl5entLS0cj+AAmBeNh32JSk+Pl5PPPGEIiMj9cMPP0j66e7KK1asUHJysnJycjRs2DAVFhYqMDBQw4cP16BBgzRgwAALVw4AsCQPDw/16dPnjl/lsre3V58+fbgSDNWiZ8+eaty4sZYuXVqh5ZYuXaomTZqoZ8+eZqoM1s7V1VXp6ek6ffq0Bg4cKKPRKOnWx81Xr15Venq61qxZo1atWlm4esA22XzYd3Jy0qZNm3Tt2jVFRUWppKREvXr10rx58zRt2jS1bdtWR48e1caNGzV48GC1adNGixYtsnTZAIBaID4+Xq1atbpl4Le3t1erVq0UHx9fw5XBWjk7O2vgwIFasWKFjh8/flfL5ObmauXKlRowYECpKwCAinrkkUeUlJSkTZs2mfZr5R03z5w5U7/73e80adIk9ejRw8JVA7bL5sO+JN13333auHGjdu/eralTp0qSRowYoZMnT+r69evat2+fFixYoEuXLmnz5s38RwkAkCS5u7tr37596tevX5lL+h0dHdWvXz/t27dP7u7ulikQVmnSpEny8fHRCy+8oNzc3Nu2zc3NVWhoqHx8fDRp0qQaqhDWLDw8XOPHj9f48eOVmZkpqfRxc1pamt59911169ZNM2bMsHC1gG0j7P/Hs88+q7i4OM2aNUtbtmwpNe+9997Tzp07tX79et1///2WKRAAUCu5u7tr9erVysvLk7+/vyQpOTlZeXl5Wr16NUEf1a5Ro0b65JNP5OzsrA4dOmjs2LH67rvvSrU5fvy4xo4dqw4dOsjZ2Vk7duxQo0aNLFQxrM3vfvc7Pf3003rttddKbXvXr19XZGSknJ2d9eGHH/LEKsDCCPu/EBsbq/DwcL3xxhumT8q3bdum9957TzNnztTzzz9v4QoBALVVkyZNTE9tiY6O5jv6MKv7779f+/bt05AhQ5ScnKxBgwZJ+ulqxQ4dOqhVq1ZKTk7WkCFDtG/fPvn6+lq4YlgTBwcHbdiwQY6OjurZs6eKiook/fT9/c8++0ybN2+Wp6enhasEQNj/BYPBoNWrV8vHx0fh4eH629/+pn79+umVV17RxIkTLV0eAACASaNGjTRnzhydPn3adIl+06ZN9cILL2jNmjU6ffq05syZwxl9mEXTpk21efNmHT58WGPHjtWaNWv0wQcf6Pe//706duxo6fIASHKwdAG1TcOGDZWenq6OHTuqQ4cOuv/++7VmzRrZ2fG5CAAAqH2cnZ31wgsvaNasWXr11Vf129/+1tIlwUY8+eSTWrRokYYNGyZHR0cNGDDAdJUJAMsj7JfD399fycnJ+uCDDxQfHy83NzdLlwQAqAOaN2+uDh06WLoM2CA7Ozt16NBBrq6uli4FNmbIkCH65z//qRMnTmjx4sUyGAyWLgnAfxD2byE8PFzh4eGWLgMAUIf861//0qFDhyxdBmzQzZs3dejQIb3yyiuWLgU2xmAwaPbs2ZYuA0A5uDYdAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAGq5EydOyGAw6OjRo7dsk5GRIYPBoAsXLtRYXbANbH8AUDcR9gEAsALBwcHKy8szPUEmKSlJ7u7uli0KNoPtDwBqH+7GDwCAFXBycpK3t7ely4CNYvsDgNqHM/sAAJhZYWGhoqOj5erqqmbNmmn+/Pnq2rWrRo8eLemnR1dt2bKl1DLu7u5KSkoqNe3YsWMKDg6Ws7OzHnvsMWVmZprm/fIy6oyMDMXExOjixYsyGAwyGAyaPn26ed8kai22PwCwTYR9AADMbNy4ccrMzNTWrVu1c+dOZWRk6MiRI5Vaz9ixY/XZZ58pKChIYWFhOn/+fJl2wcHBWrhwoRo2bKi8vDzl5eUpNja2Ot4K6iC2PwCwTYR9AADM6PLly0pMTNS8efP03HPPqU2bNkpOTlZxcXGF1zVixAhFRETI399fCQkJcnNzU2JiYpl2Tk5OcnNzk8FgkLe3t7y9veXq6lodbwd1DNsfANguwj4AAGb0zTffqKioSJ06dTJNa9y4sR5++OEKrysoKMj0u4ODg9q3b6+cnJxqqRPWie0PAGwXYR8AAAszGAwyGo2lpt24ccNC1cDWsP0BgHUi7AMAYEYtWrSQo6OjsrKyTNMKCgqUm5treu3p6am8vDzT6+PHj+vKlStl1nXgwAHT78XFxcrOzpa/v3+5/To5OamkpKQ63gLqMLY/ALBdPHoPAAAzcnV11cCBAzVu3Dg1adJETZs21ZQpU2Rn99/P27t166bFixcrKChIJSUlmjBhghwdHcusa8mSJWrZsqX8/f0VHx+vgoICDRgwoNx+/fz8dPnyZe3atUsBAQFycXGRi4uL2d4naie2PwCwXZzZBwDAzObOnasuXbooLCxMISEh6ty5swIDA03z58+fr+bNm6tLly56/fXXFRsbW24wiouLU1xcnAICArR371599NFH8vDwKLfP4OBgDR06VL169ZKnp6fmzJljtveH2o3tDwBsE2f2AQAwM1dXV6WkpCglJcU07eOPPzb97uPjox07dpRa5sKFC6bf/fz8TN+pjoqKKrePrl27lvnedUJCghISEqpaPuo4tj8AsE2c2QcAAAAAwMoQ9gEAAAAAsDJcxg8AgAVkZGRYugTYMLY/ALB+hH0AAH7h1KlTys/Pr9Syvr6+Cg4O1pEjRyrdv4eHh3x9fSu9vKVVZfyqQ10ev9GjR2vJkiWVWtZoNMpgMOidd97Ru+++W6l1tGvXTllZWTIYDJVaHgBQuxD2AQD4j1OnTsnf37/cZ4xXxC/vdF5RLi4uysnJqZOBtbrGryrq8vhdv35dxcXFGjRokNq1a1dj/RYUFGjq1KkqKSlRcXFxuY/dAwDUPYR9AAD+Iz8/X1euXNHatWvl7+9f4/3n5OSob9++ys/Pr5NhlfGrmvj4eB0+fFg7d+7UrFmz1KRJE7P3efPmTYWFhcnd3V1paWkEfQCwIoR9AAD+h7+/v5544glLl1Fn3Wn8Fi1apMOHD2vNmjU1WFXt5+zsrM2bNyswMFB9+vTRxx9/LHt7e7P2OWPGDG3fvl3bt2+Xn5+fWfsCANQs7sYPAABqjNFo1ObNm5WcnCxJ+uqrr+Tt7a1Lly7d9TomTpyokSNHmqtEi7r//vu1YcMG/fnPf670d+/v1p/+9Ce9++67eu+99xQaGmrWvgAANY+wDwAAakxGRoaeeeYZ003gJk2apJEjR6pBgwam+T169FCzZs1Uv359tW3bVuvWrSu1jtjYWCUnJ+vbb7+t8fprQkhIiGbOnKkZM2Zo27ZtZunj22+/VZ8+fdS9e3dNnjzZLH0AACyLsA8AQBX0799fv/71r8tMz8jIkMFg0IULF2q8ptps7dq1io6OlvTTDf22bdum/v37m+bv27dPjz/+uNLS0vT5558rJiZG0dHRpUKvh4eHQkNDlZCQUNPl15gJEyaoR48e6tu3r77++us7tl+yZIn8/Pzk7OysTp066eDBg7dse/XqVUVERKhJkyZKSUmRnR2HgwBgjdi7AwCAGnH16lV99913atmypSQpNTVVAQEBuvfee01tJk+erBkzZig4OFgtWrTQqFGj9OKLLyo9Pb3UusLCwrRhw4Yarb8m2dnZKTk5WZ6enoqIiLjtEw42btyoMWPG6J133tGRI0cUEBCg0NBQnTt3rkxbo9GoYcOG6auvvlJaWprc3d3N+C4AAJZE2AcAANUuKytLPXv21OzZs03Ttm7dqh49ephe79mzR+3bt7/jui5evKjGjRuXmtaxY0edPn1aJ06cqLaaaxs3Nzelp6fr66+/1pAhQ2Q0Gsttt2DBAg0aNEgxMTFq3bq1li5dKhcXF61atapM2+XLlys5OVnLly9XQECAud8CAMCCCPsAAKDaPfjgg+revXupwJmamqrevXubXp88eVI+Pj63XU9qaqoOHTqkmJiYUtN/Xu7kyZPVWHXt06ZNG61cuVJr164t92sLRUVFys7OVkhIiGmanZ2dQkJCtH///lJts7KyNHLkSP3mN79R3759zV47AMCyePQeAABVtG3bNrm6upaaVlJSYqFqagdPT09FRkbqN7/5jQ4dOqT7779fTk5OatSokanN1atX5ezsfMt17N69WzExMVqxYoUeffTRUvPq1asnSbe9vN1aREVF6cCBAxo9erTatWunoKAg07z8/HyVlJTIy8ur1DJeXl46duyY6fUPP/ygyMhIBQYGasGCBTVWOwDAcgj7AABU0bPPPlvmrGtWVpbNnz11dXVVjx49tG7dOj3wwAOKiooqNd/Dw0MFBQXlLpuZmamwsDDFx8ebbuj3Sz/++KOknz5UsAVz585Vdna2IiMjdeTIkTLh/naKi4vVu3dvFRUVadOmTXJycjJjpQCA2oKwDwBAFdWvX18PPfRQqWmnT5+2UDW1S58+fTRw4EA9/vjj+vjjj0vNa9eunb788ssyy2RkZOhXv/qVZs+ercGDB5e73i+++EKOjo5lzvhbKycnJ6WmpuqJJ55Q79699ec//1kODg7y8PCQvb29zp49W6r92bNn5e3tLUmaOnWqMjMz9emnn+q+++6zRPkAAAvgO/sAAMBsQkNDVVJSoocffliOjo5l5u3fv7/UVx52796t7t2766233lJERITOnDmjM2fOmM7k/2zPnj3q0qWL6XJ+W+Dj46PU1FTt2bNHkydPlvTThwCBgYHatWuXqd3Nmze1a9cuBQUF6Q9/+IPi4uIUFxenrl27WqhyAIAlEPYBAIDZODg4KCoqqtxL8V966SU5ODjo008/NU1LTk7WlStXNGvWLDVr1sz0Ex4eXmrZDRs2aNCgQWavv7Z5+umnNXfuXM2dO1dpaWmSpDFjxmjFihVKTk5WTk6Ohg0bpsLCQj399NN64403FBERobFjx1q4cgBATeMyfgAAYFaLFi0qd7qDg4MmT56sBQsWKDQ0VJKUlJSkpKSk265v+/btsrOzU2RkZHWXWieMHj1aBw4cUP/+/fXoo4+qV69e+uGHHzRt2jSdOXNGbdu2VXp6ugYPHqx7771Xq1evlsFgsHTZAIAaRtgHAKAKbhVMu3btesvnouO/hgwZogsXLujSpUtq0KDBXS1TWFio1atXy8HBNg9jDAaDEhMT1bFjR4WHhysrK0sjRozQiBEjJElGo1FRUVE6efKkDh48eNfjCgCwLlzGDwAALMbBwUFTpkypUCCNjIxUp06dzFhV7efq6qr09HSdPn1aAwcOLPXB0qJFi7Rx40atWrVK/v7+FqwSAGBJhH0AAIA66JFHHlFSUpI2bdqk+Ph4ST/duDA2NlZjx45Vz549LVwhAMCSbPP6NwAAACsQHh6u8ePHa/z48fLx8dHbb7+tp556SnFxcZYuDQBgYYR9AAD+R05Ojk31W90Yv5r1u9/9TocOHVJUVJR8fHy0ceNGm72fAQDgv/ifAACA//Dw8JCLi4v69u1rsRpcXFzk4eFhsf6rgvGzDAcHB23YsEGzZ89Wr1695OXlZemSAAC1AGEfAID/8PX1VU5OjvLz8yu1/JAhQ3T48GFlZ2dXugYPDw/5+vpWenlLqur4VYe6PH5V0bRpU82fP9/SZQAAahHCPgAAv+Dr61vpsPjzHeWfeOKJ6iypTqnK+AEAgOrD3fgBAAAAALAyhH0AAAAAAKwMYR8AgFruxIkTMhgMOnr06C3bZGRkyGAw6MKFCzVWFwAAqL0I+wAAWIHg4GDl5eXJzc1NkpSUlCR3d3fLFgUAACyGG/QBAGAFnJyc5O3tbekyAABALcGZfQAAzKywsFDR0dFydXVVs2bNNH/+fHXt2lWjR4+WJBkMBm3ZsqXUMu7u7kpKSio17dixYwoODpazs7Mee+wxZWZmmub98jL+jIwMxcTE6OLFizIYDDIYDJo+fbp53yQAAKhVCPsAAJjZuHHjlJmZqa1bt2rnzp3KyMjQkSNHKrWesWPH6rPPPlNQUJDCwsJ0/vz5Mu2Cg4O1cOFCNWzYUHl5ecrLy1NsbGx1vBUAAFBHEPYBADCjy5cvKzExUfPmzdNzzz2nNm3aKDk5WcXFxRVe14gRIxQRESF/f38lJCTIzc1NiYmJZdo5OTnJzc1NBoNB3t7e8vb2lqura3W8HQAAUEcQ9gEAMKNvvvlGRUVF6tSpk2la48aN9fDDD1d4XUFBQabfHRwc1L59e+Xk5FRLnQAAwLoQ9gEAsDCDwSCj0Vhq2o0bNyxUDQAAsAaEfQAAzKhFixZydHRUVlaWaVpBQYFyc3NNrz09PZWXl2d6ffz4cV25cqXMug4cOGD6vbi4WNnZ2fL39y+3XycnJ5WUlFTHWwAAAHUQj94DAMCMXF1dNXDgQI0bN05NmjRR06ZNNWXKFNnZ/ffz9m7dumnx4sUKCgpSSUmJJkyYIEdHxzLrWrJkiVq2bCl/f3/Fx8eroKBAAwYMKLdfPz8/Xb58Wbt27VJAQIBcXFzk4uJitvcJAABqF87sAwBgZnPnzlWXLl0UFhamkJAQde7cWYGBgab58+fPV/PmzdWlSxe9/vrrio2NLTeYx8XFKS4uTgEBAdq7d68++ugjeXh4lNtncHCwhg4dql69esnT01Nz5swx2/sDAAC1D2f2AQAwM1dXV6WkpCglJcU07eOPPzb97uPjox07dpRa5sKFC6bf/fz8TN/pj4qKKrePrl27lvnef0JCghISEqpaPgAAqIM4sw8AAAAAgJUh7AMAAAAAYGW4jB8AgF84fvx4pR97V1hYKEn68ssv79j2gw8+KLdty5Yty705HwAAQEUQ9gEA+I9jx46pdevWZb77XlGPPvpopZddunSphgwZUqX+AQAACPsAAPyHp6enfH19VVRUpHXr1umee+6psb7feecdZWZm6vHHH6+xPgEAgPUi7AMA8B9NmjRRWlqannrqKW3cuFFLly6tkX7Xr1+vTz/9VIsXL1ZQUFCN9AkAAKwbN+gDAOAXAgMD9cEHH2jZsmVavXq12fv74osv9Oabb6pv374aPny42fsDAAC2gbAPAMD/GDBggAYNGqRhw4bpyJEjZuvn4sWLCg8P10MPPaRly5bJYDCYrS8AAGBbCPsAAJRj0aJFatOmjSIiInT+/PlqX//Nmzf1xhtv6Ny5c0pLS5OLi0u19wEAAGwXYR8AgHI4Oztr8+bNunTpkvr06aOSkpI7LrNkyRL5+fnJ2dlZnTp10sGDB2/Zds6cOdq6datSUlL00EMPVWfpAAAAhH0AAG7l/vvv1/r167Vz50699957t227ceNGjRkzRu+8846OHDmigIAAhYaG6ty5c2Xafvrpp5oyZYp++9vfKiwszFzlAwAAG0bYBwDgNp5//nnNnDlT7733nrZt23bLdgsWLNCgQYMUExOj1q1ba+nSpXJxcdGqVatKtTt16pSioqIUEhKi6dOnm7l6AABgqwj7AADcwcSJE/XKK6+oX79++uabb8rMLyoqUnZ2tkJCQkzT7OzsFBISov3795umXbt2TREREapfv74+/PBD2dvb10j9AADA9hD2AQC4Azs7O61Zs0YeHh6KiIjQlStXSs3Pz89XSUmJvLy8Sk338vLSmTNnTK9HjRqlv//970pLS1OTJk1qpHYAAGCbCPsAANwFNzc3paen6/jx4xo6dKiMRmOFll+1apWWL1+uDz74QIGBgWaqEgAA4CeEfQAA7lKbNm20cuVKpaSkaOnSpabpHh4esre319mzZ0u1P3v2rLy9vXXkyBENHz5cgwYN0oABA2q6bAAAYIMI+wAAVEBUVJTeeustjRo1SgcOHJAkOTk5KTAwULt27TK1u3nzpnbt2qWAgABFRESoTZs2WrRokaXKBgAANsbB0gUAAFDXzJ07V9nZ2YqMjFR2dra8vLw0ZswYvfHGG2rfvr06duyohQsXqrCwUHv27NGlS5eUkZEhZ2dnS5cOAABsBGf2AQCoICcnJ6Wmpqq4uFi9e/dWcXGxevXqpXnz5mnatGlq27atjh49qvDwcGVmZmr9+vW6//77LV02AACwIYR9AAAqwcfHR6mpqdqzZ48mT54sSRoxYoROnjyp69eva+rUqVq1apVmzpyp559/3sLVAgAAW0PYBwCgkp5++mnNnTtXc+fOVVpammn6N998o379+umVV17RxIkTLVghAACwVXxnHwCAKhg9erQOHDig/v3769FHH5Wvr68iIiLk4eGh5ORk2dnxuToAAKh5hH0AAKrAYDAoMTFRHTt21Kuvvqq2bdsqNzdXWVlZcnd3t3R5AADARhH2AQCoIldXV6Wnp6tjx446duyY1q5dqzZt2li6LAAAYMMI+wAAVINHHnlEu3bt0pkzZxQWFmbpcgAAgI0j7AMAUE06dOhg6RIAAAAkcTd+AAAAAACsDmEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAmLi6uiooKEh2dvz3AMB2NGzYkH0fAKvDHg0AYHL58mXt379fN2/etHQpAFBj/v3vf7PvA2B1CPsAAAAAAFgZwj4AAABs0rVr15SSkqIdO3ZIkhYuXKiUlBRdu3bNwpUBQNUR9gEAAGBTCgoKNH78eN17772Kjo7WwYMHJUlZWVmKjo7Wfffdp/Hjx6ugoMDClQJA5RH2AQCSpPz8fH322WeSpE8++UTnz5+3cEUAUP1OnjypoKAgLVu2TDExMfrb3/5mmrdq1SodP35c/fv317JlyxQcHKxTp05ZsFoAqDzCPgDYuIKCAsXExMjHx0fp6emSpNmzZ6tZs2aKiYnRhQsXLFsgAFSTgoIChYaGqqioSIcPH9a8efPUokWLUm0eeughzZs3T4cPH9a1a9cUGhrKGX4AdRJhHwBsWEFBgZ566imlpKToxo0bpebduHFDKSkpCg4OJvADsAqzZs1SXl6eduzYoZYtW962bcuWLbVjxw59//33mjVrVg1VCADVh7APADZszJgxys3NVUlJSbnzS0pKlJubq7fffruGKwOA6nX16lUlJiZq0KBBdwz6P2vVqpXefPNNrVq1ipv2AahzHCxdAADAMvLz87Vu3bpbBv2flZSUKCUlRc8++6waNGhQQ9UBQPXKyMjQjz/+qHvvvVfr1683Tb9+/brp92vXrqmwsLDUctHR0VqwYIE2bdqkfv361Vi9AFBVhH0AsFEff/xxmUv3b6WkpERvvPGGmSsCAPMbM2bMLeeFhYWVO93f31/Z2dmEfQB1CmEfAGxUQUGB7O3t73hmX5IMBoPCw8P17LPP1kBlAFD91q5dqwMHDlRq2YYNG+rSpUvVXBEAmBdhHwBsVKNGje4q6EuS0WjUK6+8oujoaDNXBQDmkZubq4KCAmVnZ5eaXlhYKC8vL0nSH//4x3I/1OzQoQNfYwJQ53CDPgCwUd27d5ejo+NdtXV0dFT37t3NXBEAmE/79u311VdfKS8vT/Xr1y/18zNnZ+cy877//nvl5OQoMDDQgtUDQMUR9gHARnl4eKhPnz6yt7e/bTt7e3v16dNHTZo0qaHKAKD69ezZU40bN9bSpUsrtNzSpUvVpEkT9ezZ00yVAYB5EPYBwIbFx8erVatWtwz89vb2atWqleLj42u4MgCoXs7Ozho4cKBWrFih48eP39Uyubm5WrlypQYMGCBnZ2czVwgA1YuwDwA2zN3dXfv27VO/fv3KXNLv6Oiofv36ad++fXJ3d7dMgQBQjSZNmiQfHx+98MILys3NvW3b3NxchYaGysfHR5MmTaqhCgGg+hD2AcDGubu7a/Xq1crLy1N4eLgkaeLEicrLy9Pq1asJ+gCsRqNGjfTJJ5/I2dlZHTp00NixY/X111+XanP8+HGNHTtWHTp0kLOzs3bs2KFGjRpZqGIAqDzCPgBAktSkSRO1a9dOkhQaGsp39AFYpfvvv1/79u3TkCFDlJycrLZt28rDw0OS9Oabb6pVq1ZKTk7WkCFDtG/fPvn6+lq4YgCoHMI+AAAAbEqjRo00Z84cnT59WmvWrNGDDz4oSerYsaPWrFmj06dPa86cOZzRB1CnOVi6AABA7eHi4qLHH39cdnZ8FgzA+jk7O6tfv376/vvvde3aNY0ePVrBwcGWLgsAqgVHcwAAkytXrujzzz/XzZs3LV0KANSYwsJCff755zIajZYuBQCqDWEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AYHYnTpyQwWDQ0aNHb9kmIyNDBoNBFy5cqLG6AMCc2PcBsCTCPgCgVggODlZeXp7c3NwkSUlJSXJ3d7dsUQBgZuz7AJiLg6ULAABAkpycnOTt7W3pMgCgRrHvA2AunNkHANxRYWGhoqOj5erqqmbNmmn+/Pnq2rWrRo8eLUkyGAzasmVLqWXc3d2VlJRUatqxY8cUHBwsZ2dnPfbYY8rMzDTN++WlrBkZGYqJidHFixdlMBhkMBg0ffp0875JAPgf7PsA1GWEfQDAHY0bN06ZmZnaunWrdu7cqYyMDB05cqRS6xk7dqw+++wzBQUFKSwsTOfPny/TLjg4WAsXLlTDhg2Vl5envLw8xcbGVsdbAYC7xr4PQF1G2AcA3Nbly5eVmJioefPm6bnnnlObNm2UnJys4uLiCq9rxIgRioiIkL+/vxISEuTm5qbExMQy7ZycnOTm5iaDwSBvb295e3vL1dW1Ot4OANwV9n0A6jrCPgDgtr755hsVFRWpU6dOpmmNGzfWww8/XOF1BQUFmX53cHBQ+/btlZOTUy11AkB1Yt8HoK4j7AMAqsxgMMhoNJaaduPGDQtVAwA1g30fgNqMsA8AuK0WLVrI0dFRWVlZpmkFBQXKzc01vfb09FReXp7p9fHjx3XlypUy6zpw4IDp9+LiYmVnZ8vf37/cfp2cnFRSUlIdbwEAKox9H4C6jkfvAQBuy9XVVQMHDtS4cePUpEkTNW3aVFOmTJGd3X8/L+7WrZsWL16soKAglZSUaMKECXJ0dCyzriVLlqhly5by9/dXfHy8CgoKNGDAgHL79fPz0+XLl7Vr1y4FBATIxcVFLi4uZnufAPBL7PsA1HWc2QcA3NHcuXPVpUsXhYWFKSQkRJ07d1ZgYKBp/vz589W8eXN16dJFr7/+umJjY8s9OI2Li1NcXJwCAgK0d+9effTRR/Lw8Ci3z+DgYA0dOlS9evWSp6en5syZY7b3BwDlYd8HoC7jzD4A4I5cXV2VkpKilJQU07SPP/7Y9LuPj4927NhRapkLFy6Yfvfz8zN9rzUqKqrcPrp27Vrmu68JCQlKSEioavkAUCns+wDUZZzZBwAAAADAyhD2AQAAAACwMlzGDwBW5tSpU8rPz6/Ust9//70kKTc3Vw0bNrxt2wULFkiSjhw5Umq6h4eHfH19K9U/6r6qbH/Vge3Pdq1atarUnfIrYs+ePZJ+unz+j3/8423bPvnkk5KkiRMnlprevXt3denSpVL9A4A5EPYBwIqcOnVK/v7+5T76qSKGDBlS6WVdXFyUk5ND4LJB1bX9VQXbn226du2aRo4cqWvXrumBBx6o8PLFxcVq3ry59u3bV+pu+3fj+vXrOn36tD7//HPCPoBahbAPAFYkPz9fV65c0dq1a2/5DGdzysnJUd++fZWfn0/YskFsf7AUZ2dnzZ49WyNHjtTvfvc79erVq0b6NRqNGjBggDZs2KBZs2bVSJ8AcLcI+wBghfz9/fXEE09YugzYKLY/WMJvfvMbHThwQAMHDtRjjz2mRx991Ox9rlixQklJSUpOTlZAQIDZ+wOAiuAGfQAAoEYtWrRI0dHRli4DVsZgMGjZsmV68MEHFR4ern//+99m7e/gwYMaOXKkhg8fzvYMoFYi7AMAgBpjNBq1efNmJScnS5K++uoreXt769KlS3e9jokTJ2rkyJHmKhF1WP369ZWenq6zZ8+qf//+ZZ5fX11++OEHRUZG6oknnlB8fLxZ+gCAqiLsAwDUv39//frXvy4zPSMjQwaDQRcuXKjxmmCdMjIy9Mwzz8hgMEiSJk2apJEjR6pBgwam+T169FCzZs1Uv359tW3bVuvWrSu1jtjYWCUnJ+vbb7+t8fpR+z300ENas2aN/vCHP2ju3Ll3tcySJUvk5+cnZ2dnderUSQcPHrxl25KSEkVFRenatWvatGmTnJycqqt0AKhWhH0AAFBj1q5da7rk+dSpU9q2bZv69+9vmr9v3z49/vjjSktL0+eff66YmBhFR0dr27ZtpjYeHh4KDQ1VQkJCTZePOuKVV17RlClTNGnSJP3lL3+5bduNGzdqzJgxeuedd3TkyBEFBAQoNDRU586dK7f91KlTtXv3bm3cuFH33XefOcoHgGpB2AcAADXi6tWr+u6779SyZUtJUmpqqgICAnTvvfea2kyePFkzZsxQcHCwWrRooVGjRunFF19Uenp6qXWFhYVpw4YNNVo/6pZ3331Xzz33nHr37q1//etft2y3YMECDRo0SDExMWrdurWWLl0qFxcXrVq1qkzbLVu2aNasWYqLi9Ozzz5rzvIBoMoI+wAAoNplZWWpZ8+emj17tmna1q1b1aNHD9PrPXv2qH379ndc18WLF9W4ceNS0zp27KjTp0/rxIkT1VYzrIu9vb0+/PBD1atXTz179tT169fLtCkqKlJ2drZCQkJM0+zs7BQSEqL9+/eXapubm6s33nhD4eHhio2NNXv9AFBVhH0AgCRp27ZtcnV1LfXz0ksvWbos1FEPPvigunfvXursaGpqqnr37m16ffLkSfn4+Nx2PampqTp06JBiYmJKTf95uZMnT1Zj1bA2Hh4eSktL02effabRo0eXmZ+fn6+SkhJ5eXmVmu7l5aUzZ86YXhcWFio8PFzNmjXT6tWrTfecAIDajLAPAJAkPfvsszp69Gipn5UrV1q6LNRRnp6eioyM1OnTp3Xo0CGdO3dOTk5OatSokanN1atX5ezsfMt17N69WzExMVqxYkWZZ6bXq1dPknTlyhXzvAFYjfbt22vJkiVaunSpkpKSKry80WjUoEGDdOLECaWnp6thw4bVXyQAmIGDpQsAANQO9evX10MPPVRq2unTpy1UDayBq6urevTooXXr1umBBx5QVFRUqfkeHh4qKCgod9nMzEyFhYUpPj6+3GeY//jjj5J++lABuJM333xTBw4c0LBhwxQQEKB27dpJ+mkbtLe319mzZ0u1P3v2rLy9vSVJv//977V+/Xpt3LhRrVu3rvHaAaCyOLMPAADMpk+fPtqwYYM+/vhjvfzyy6XmtWvXTl9++WWZZTIyMtS9e3fNnj1bgwcPLne9X3zxhRwdHcuc8QduZfHixXr00UcVERFh+rDIyclJgYGB2rVrl6ndzZs3tWvXLgUFBWnv3r0aO3asxowZo9dee81SpQNApRD2AQCA2YSGhqqkpEQPP/ywHB0dy8zbv3+/SkpKTNN2796t7t2766233lJERITOnDmjM2fOmMLZz/bs2aMuXbqYLucH7sTZ2VmbN2/WxYsX1bdvX928eVOSNGbMGK1YsULJycnKycnRsGHDVFhYqJdfflk9e/ZUcHCw4uLiLFw9AFQcYR8AAJiNg4ODoqKiyr0U/6WXXpKDg4M+/fRT07Tk5GRduXJFs2bNUrNmzUw/4eHhpZbdsGGDBg0aZPb6YV38/Pz04Ycf6pNPPtGMGTMkSb169dK8efM0bdo0tW3bVkePHtW2bds0YsQIGQwGbdy4scwHVQBQFxD2AQBKSkrSli1bykzv2rWrjEaj3N3da7wmWI9FixapQ4cOZaY7ODho8uTJWrBggWlaUlKSjEZjmZ+MjAxTm+3bt8vOzk6RkZE1UT6sTGhoqN577z29++67+tOf/iRJGjFihE6ePKnr168rKytLaWlp2r9/vzZt2mT67j4A1DXcoA8AAFjMkCFDdOHCBV26dEkNGjS4q2UKCwu1evVqOThwGIPKmTx5srKystSnTx9lZ2frwQcfNM3buHGj4uPjtWjRIj311FMWrBIAqoYz+wAAwGIcHBw0ZcqUuw76khQZGalOnTqZsSpYOzs7O6WkpKhJkyaKiIjQ1atXJUn/+Mc/NHDgQL3++usaMWKEhasEgKoh7AMAAMDmuLu7Ky0tTV999ZWGDRumf//73woPD9cDDzyg5cuXy2AwWLpEAKgSrn8DAACATQoICNDy5cvVr18/7d+/X2fOnNHhw4dVv359S5cGAFVG2AcAK5STk1Op5b744gv9/e9/V7du3eTl5VVj/cK6WGo7YPtDZfTt21cHDhzQkiVLtGXLFrVs2dLSJQFAtSDsA4AV8fDwkIuLi/r27Vul9cybN6/Sy7q4uMjDw6NK/aNuqq7tryrY/lAZixcv1uLFiy1dBgBUK8I+AFgRX19f5eTkKD8/v1LLr1y5UgkJCVq2bJnat29fqXV4eHjI19e3Usuibqvq9lcd2P4AAPgJYR8ArIyvr2+lw46Pj48kqVWrVnriiSeqsyzYiKpsfwAAoPpwN34AAAAAAKwMYR8AAAAAACtD2AcAmN2JEydkMBh09OjRW7bJyMiQwWDQhQsXaqwuAAAAa0XYBwDUCsHBwcrLy5Obm5skKSkpSe7u7pYtCgAAoI7iBn0AgFrByclJ3t7eli4DAADAKnBmHwBwR4WFhYqOjparq6uaNWum+fPnq2vXrho9erQkyWAwaMuWLaWWcXd3V1JSUqlpx44dU3BwsJydnfXYY48pMzPTNO+Xl/FnZGQoJiZGFy9elMFgkMFg0PTp0837JgEAAKwIYR8AcEfjxo1TZmamtm7dqp07dyojI0NHjhyp1HrGjh2rzz77TEFBQQoLC9P58+fLtAsODtbChQvVsGFD5eXlKS8vT7GxsdXxVgAAAGwCYR8AcFuXL19WYmKi5s2bp+eee05t2rRRcnKyiouLK7yuESNGKCIiQv7+/kpISJCbm5sSExPLtHNycpKbm5sMBoO8vb3l7e0tV1fX6ng7AAAANoGwDwC4rW+++UZFRUXq1KmTaVrjxo318MMPV3hdQUFBpt8dHBzUvn175eTkVEudAAAA+C/CPgCgygwGg4xGY6lpN27csFA1AAAAIOwDAG6rRYsWcnR0VFZWlmlaQUGBcnNzTa89PT2Vl5dnen38+HFduXKlzLoOHDhg+r24uFjZ2dny9/cvt18nJyeVlJRUx1sAAACwOTx6DwBwW66urho4cKDGjRunJk2aqGnTppoyZYrs7P77eXG3bt20ePFiBQUFqaSkRBMmTJCjo2OZdS1ZskQtW7aUv7+/4uPjVVBQoAEDBpTbr5+fny5fvqxdu3YpICBALi4ucnFxMdv7BAAAsCac2QcA3NHcuXPVpUsXhYWFKSQkRJ07d1ZgYKBp/vz589W8eXN16dJFr7/+umJjY8sN5nFxcYqLi1NAQID27t2rjz76SB4eHuX2GRwcrKFDh6pXr17y9PTUnDlzzPb+AAAArA1n9gEAd+Tq6qqUlBSlpKSYpn388cem3318fLRjx45Sy1y4cMH0u5+fn+k7/VFRUeX20bVr1zLf+09ISFBCQkJVywcAALA5nNkHAAAAAMDKEPYBAAAAALAyXMYPAFZm4sSJ+tvf/lapZb/55hsZDAZNmDBBjRs3vm3bevXq6auvvtJLL71Uavrrr7+ufv36Vap/AAAAVA/CPgBYkaKiIiUmJurHH39UWFiY7O3tK7R8mzZt1KZNm0r1ff78eWVmZsre3p6wDwAAYGGEfQCwIk5OTlq3bp1efPFFtW3bVtOnT6+RfktKSvTiiy/K09NTS5curZE+AQAAcGt8Zx8ArMwLL7ygGTNm6N133y11x3xzmjZtmv7yl79ow4YNuu+++2qkTwAAANwaYR8ArNCkSZMUFhamvn376ttvvzVrX1u3btX//d//adasWerWrZtZ+wIAAMDdIewDgBWys7PTmjVr1KRJE4WHh+vKlStm6Sc3N1fR0dF69dVXNW7cOLP0AQAAgIoj7AOAlXJ3d1d6erpyc3M1dOhQGY3GOy6zZMkS+fn5ydnZWZ06ddLBgwdv2bawsFDh4eFq1qyZkpKSZDAYqrN8AAAAVAFhHwCs2OOPP64VK1YoJSXljjfO27hxo8aMGaN33nlHR44cUUBAgEJDQ3Xu3LkybY1GowYNGqQTJ04oPT1dDRs2NNdbAAAAQCUQ9gHAyvXp00cjR47UqFGjdODAgVu2W7BggQYNGqSYmBi1bt1aS5culYuLi1atWlWm7e9//3utX79eq1atUuvWrc1ZPgAAACqBsA8ANmDevHnq0KGDIiMjyz1TX1RUpOzsbIWEhJim2dnZKSQkRPv37y/Vdu/evRo7dqzGjBmj1157zey1AwAAoOII+wBgA5ycnLRp0yYVFxerd+/eKi4uLjU/Pz9fJSUl8vLyKjXdy8tLZ86cMb3Oy8tTz549FRwcrLi4uBqpHQAAABVH2AcAG+Hj46ONGzfq//2//6cpU6ZUePkbN26oV69eMhgM2rhxoxwdHc1QJQAAAKoDYR8AbMgzzzyjOXPmaM6cOUpLSzNN9/DwkL29vc6ePVuq/dmzZ+Xt7S1JmjBhgvbv369NmzaZpgEAAKB2IuwDgI15++231bNnT8XExOjYsWOSfrrMPzAwULt27TK1u3nzpnbt2qWgoCBt3LhR8fHxWrBggZ566ilLlQ4AAIC7RNgHABtjMBiUmJio++67T+Hh4bp8+bIkacyYMVqxYoWSk5OVk5OjYcOGqbCwUEFBQRo4cKBef/11jRgxwsLVAwAA4G44WLoAAEDNa9CggdLT09WhQwcNHDhQGzZsUK9evfTDDz9o2rRpOnPmjNq2bau0tDQNHjxYDzzwgJYvXy6DwWDp0gEAAHAXOLMPADbqkUceUVJSklJTU7Vw4UJJ0ogRI3Ty5Eldv35dBw4c0OLFi3XmzBmlp6erfv36li0YAAAAd42wDwA2LCIiQuPGjdO4ceP0//7f/ys1b+7cufrDH/6gNWvWqGXLlhaqEAAAAJVB2AcAG/d///d/6tKli1577TV9//33kqS//OUvmjRpkiZPnqwePXpYuEIAAABUFGEfAGycg4ODNmzYIAcHB/Xs2VPffvutevfurW7duum9996zdHkAAACoBMI+AEBeXl7atGmTDh06pICAANWrV0/r16+Xvb29pUsDAABAJRD2AQCSpKCgIC1evFgPPvigNm/eLA8PD0uXBAAAgEoi7AMATAYPHqy//e1v6tChg6VLAQAAQBUQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMgaj0Wi0dBEAAAAAAKD6cGYfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMoR9AAAAAACsDGEfAAAAAAArQ9gHAAAAAMDKEPYBAAAAALAyhH0AAAAAAKwMYR8AAAAAACtD2AcAAAAAwMoQ9gEAAAAAsDKEfQAAAAAArAxhHwAAAAAAK0PYBwAAAADAyhD2AQAAAACwMv8fIWzIiMjTnUMAAAAASUVORK5CYII=", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "circuit = ansatz(diagram)\n", "circuit.draw(figsize=(10,6))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Congratulations on creating your first quantum circuit from natural language text! You are now ready to try some more detailed tutorials - check the links below for suggestions.\n", "\n", "```{rubric} See also:\n", "```\n", "\n", "- {ref}`From sentence to circuit `\n", "- {ref}`From text (paragraph-level) to circuit `" ] } ], "metadata": { "language_info": { "name": "python" } }, "nbformat": 4, "nbformat_minor": 4 }