{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Rescaled Lambert function $W$" ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "'SageMath version 10.3.beta4, Release Date: 2023-12-26'" ] }, "execution_count": 1, "metadata": {}, "output_type": "execute_result" } ], "source": [ "version()" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "%display latex" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\(\\displaystyle x \\ {\\mapsto}\\ {\\left(x - 1\\right)} e^{x}\\)" ], "text/latex": [ "$\\displaystyle x \\ {\\mapsto}\\ {\\left(x - 1\\right)} e^{x}$" ], "text/plain": [ "x |--> (x - 1)*e^x" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "F(x) = exp(x)*(x-1)\n", "F" ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnQAAAHUCAYAAACznbW8AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguMCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy81sbWrAAAACXBIWXMAAA9hAAAPYQGoP6dpAABvS0lEQVR4nO3de1xUdf4/8BfhNVNTU9MiNTPNNcsMu2z32squbm27Xb9dtu2Gtdm2dtlqa8O4GErIBEJcAo2LcUnQEJMQkGAniICdQAK5hRAXYUBghGF+f5wf4iR6QJk5nw+8no8HD88ZPzPzdnvtx7efmfM5DhaLxQIBlZeX45///CeCg4MxceLEU3oNs9mM++67Dy+//DLuvPPOIa6QiIiISAwOtmzofHx8EBgYiNLSUnR0dGDChAlYuHAhHBwcAADd3d1oaWlBRUUFLBYLXFxc4Ovri9bWVqxcuRKRkZE4//zzT6uGpqYmXH/99UhJScHMmTOH4o9FREREJJQzbPnir7zyCgoKCvDYY48BALy9vZGTk4Pvv/8e33//PfLy8nDgwAEYDAbMmjULs2fPBgC89tprePLJJ0+7mQOAqVOn4uGHH8Y///nP034tIiIiIhHZdIWu16JFi1BcXIzKyko4OTn1O+btt9/G7373OyxevBgPPfQQioqKMGrUqCF5/0OHDuHCCy+EXq/HRRddNCSvSURERCQKm67QAcDBgwdRXFyMiy666ITNHABMmTIFc+bMgaenJ55++ukha+Z6X/uWW25BUFDQkL0mERERkShs3tB9++23AICbb77Z6vGamhrs37//6HljYyMuuOACxMfH46677hryOm644QbExcUN+esSERERaU2zhu6zzz5Dc3Pz0fOPPvoI33//PRwdHbF06dJ+X+vQoUN49dVXsXr1atx5550IDg5GZ2cnXn75ZaxevRqPPfYYDAZDv8+94YYbUFxcjLq6uqH5gxEREREJYug+1zyB/hq67OxsBAYG4u233z762BlnnIHMzEw4OzvD0dHxuNc5cuQIXnrpJXh5eWH27NmoqKjAvHnz8NVXX8Hb2xslJSW4++67MWXKFPj6+h73/Llz5wIAfvzxR9x+++1D/KckIiIi0o5NG7rq6mqUlpZi3LhxWLVqFSwWC2pqalBdXY077rjjuO/J/fTTTzjvvPP6fS1/f388/fTTR6+EHTduHCwWC+bOnYt58+ahqKgICxYswCOPPNLv888++2w4OjqivLx8SP+MRERERFqzaUPXuzr3+OOPIzAwEABgsVjw+uuv45xzzjlu/C+//IJ58+b1+1pTpkyxWln7/vvvAeDohsErV67EypUrT1iLg4MDJk+ejJaWllP7wxAREREJyi4N3bEftzo4OGDWrFm49tprjxvf1taGyZMn9/taTzzxxHGv7ejoiOuuu27A9YwdOxYmk2nA44mIiIhkYNOLIk50QcTVV18NZ2fn48Y7OjriyJEjA3rtlJQULF++fFC3BWtqasJZZ5014PFEREREMrBZQ1deXo7y8nIsWrQIs2bNsvq96667DqNHjz7uOWeffTaamppUX/vQoUP48ccfcdNNN1k9/tlnn53wOYcPH4bJZDrhd/SIiIiIZGWzhq53de6WW24Z8HPmzp3bb0NXX1+PFStW4IMPPgAAJCUloaenBytWrLAak5mZecLX7t2uZOHChQOuh4iIiEgGNmvovv76awAY1Hfcli5digMHDhz3+N69e6HX62GxWNDR0YGoqCjMnj0bbW1tAJTVt1deeQXvv//+CV/7u+++w6RJk7BkyZLB/UGIiIiIBDek93KtqqrCfffdh8bGRlRVVQEAJk2ahAsuuACXXHIJoqOjT/r89PR03HTTTWhsbMTZZ5999PHW1lasWbMGY8aMQVtbG9566y0YjUa8/fbbmDNnDo4cOYK1a9eecENiAHj++edhNBoRERExJH9WIiIiIlEMaUN3unp6ejB79mx89tlnuOeee4b0dS+66CL4+vra5LZiRERERFqy+a2/BuOMM87As88+i8jIyCF93S+//BITJkw46T51RERERLISaoUOUC5uuOSSS6DX60+4yfBgXXHFFfj4448HdYEGERERkSyEa+gA5TZf//3vfxEcHHzar+Xm5obGxkZ8/PHHQ1AZERERkXiE+si11wsvvACz2YzPP//8tF5n165dKC4uhoeHxxBVRkRERCQeIRs6AAgKCkJWVhZ++umnU36NWbNmISQkBI6OjkNYGREREZFYhPzIlYiIiIgGTtgVOiIiIiIaGDZ0RERERJJjQ0dEREQkOTZ0RERERJJjQ0dEREQkOTZ0RERERJJjQ0dEREQkOTZ0RERERJJjQ0dEREQkOTZ0RERERJITuqGzWCwwGo3g3cmIiIiITkzohq61tRWTJ09Ga2ur1qWQwGJjY7UugSTAnJAaZoTUiJwRoRs6ooFYtGiR1iWQBJgTUsOMkBqRM8KGjqT3zTffaF0CSYA5ITXMCKkROSMOFoG/oGY0GjF58mS0tLRg0qRJWpdDgjIajcwHqWJOSA0zQmpEzghX6Eh6Pj4+WpdAEmBOSA0zQmpEzghX6IiIiIgkxxU6kp6rq6vWJZAEmBNSw4zQySQmAm++uVHrMk6IK3QkvaamJkydOlXrMkhwzAmpYUboRA4dAmbPBrq7LXjySQd89pnWFR1PyBU6nU6HxYsXw9nZWetSSAIRERFal0ASYE5IDTNCJ/LFF0BnJ9Dd7YAJE7Supn9coSPp5efnY+nSpVqXQYJjTkgNM0L9sViAZcuAH39Uzn/8ERAxJkKu0BENRnl5udYlkASYE1LDjFB/cnP7mrkFCw4J2cwBbOhoGHB0dNS6BJIAc0JqmBHqz7Hfl7vjjirtClHBho6kN2vWLK1LIAkwJ6SGGaHfOnxY+f4cAEyYAPz5zz3aFnQSbOhIenq9XusSSALMCalhRui3vvwSMBqV47/8BTAYsrUt6CR4UQRJr76+HtOnT9e6DBIcc0JqmBH6rRtuANLTleN9+4AFC8TNCFfoSHqbN2/WugSSAHNCapgROlZxcV8zd8klwDXXiJ0RrtARERER/cbatcD69cqxlxfw2mva1qNGyBU6bixMg8Hb9dBAMCekhhmhXkeOAJ9/rhyPHg088YRyLHJGuEJH0mtvb8eZZ56pdRkkOOaE1DAj1Cs2FnjwQeX4oYeA6GjlWOSMCLlCRzQYfn5+WpdAEmBOSA0zQr2O3Xvu2Wf7jkXOCBs6kt4999yjdQkkAeaE1DAjBABVVUBSknI8Zw5w2219vydyRtjQkfR+7L0nC9FJMCekhhkhAAgJUe7fCgDPPAOccUynJHJG2NCR9KZNm6Z1CSQB5oTUMCPU0wMEByvHDg7A009b/77IGWFDR9IbP3681iWQBJgTUsOM0J49QEWFcnznnYCTk/Xvi5wRmzZ0c+fOhYODw3E/Li4utnxbGmH279+vdQkkAeaE1DAjdKKLIXqJnBGbbltSX18Ps9l89LywsBB/+MMf8O233+Kmm25SfT63LaGBqKqqgtNv/xlF9BvMCalhRka2hgZg9mygqwuYMUO5OGLMGOsxImfEpit006dPx7nnnnv0JzExEfPnz8eNN97Y73iTyQSj0Wj1Q6Tm897dH4lOgjkhNczIyBYWpjRzAPB//3d8MweInRG7fYfuyJEj2LJlC5555hlERkaitLQUnp6eMJlMR3deXrlyJSZPnnz0p7cLLioqgo+PD4xG49Gxrq6uaGpqgk6nQ35+PrZv344dO3YgNzcXmzdvRn19vdXY9vZ2eHl5obi4GNHR0dizZw8yMzMRGhqKqqoqq7Fmsxlubm6oqKhAeHg4MjIykJqaisjISJSUlGD9+vXo7Oy0ek5tbS0CAwOh1+uRlJSEuLg4FBYWYtOmTWhpabEa29zcDF9fXxQUFCA+Ph47d+5ETk4OAgICUFdXZzW2o6MDXl5eKCkpQVRUFFJSUrBv3z6EhYWhsrIS69atQ09PD1xdXdHT04N169ahsrISYWFh2LdvH1JSUhAVFYWSkhJ4eXmho6PD6vXr6uoQEBCAnJwc7Ny5E/Hx8SgoKICvry+am5utxra0tGDTpk0oLCxEXFwckpKSoNfrERgYiNraWquxnZ2dWL9+PUpKShAZGYnU1FRkZGQgPDwcFRUVcHNzg9lstnpOVVUVQkNDkZmZiT179iA6OhrFxcXw8vJCe3u71dj6+nps3rwZubm5WLZsGbZv3478/HzodDo0NTVZjTUajfDx8YHBYEBsbCx27doFvV6PoKAg1NTUWI01mUzw9PREaWkpIiIikJqaivT0dGzZsgXl5eVwd3dHd3e31XOqq6sREhKCrKws7N69G9u2bUNRURE2btyItrY2q7ENDQ3w9/dHXl4eEhMTkZCQgLy8PPj5+aGxsdFqbGtrK7y9vWEwGBATE4Pk5GRkZ2cjODj4uLq7urrg4eGBsrIybN26FWlpaUhLS8PWrVtRVlYGDw8PdHV1WT2npqYGwcHByM7ORnJyMmJiYmAwGODt7Y3W1larsY2NjfDz80NeXh4SEhKQmJiIvLw8+Pv7o6GhwWpsW1sbNm7ciKKiImzbtg27d+9GVlYWQkJCUF1dbTW2u7sb7u7uKC8vx5YtW5Ceno7U1FRERET0O0f01h0UFAS9Xo9du3YhNjYWBoNBdY5YunQp54gROkfs2LFjQHPEAw88wDlihM4RP/6YDy+vNvQ666yofueI8ePHD3iOsDe73SkiOjoajz76KCorKzF79ux+x5hMJphMpqPnRqMRTk5O/MiVTsrV1RXvvPOO1mWQ4JgTUsOMjFzffgvccotyfNNNynl/RM6I3Rq6O+64A2PGjEFCQsKAn8Pv0NFAmM1mODo6al0GCY45ITXMyMj18MNAVJRyHBGhnPdH5IzY5SPXiooKfPPNN3i2v0tGiE6Tp6en1iWQBJgTUsOMjEx1dcq9WwFg+nTgj3888ViRM2KXhi4kJAQzZszA3XffbY+3oxHm0Ucf1boEkgBzQmqYkZEpJKTvYohnngHGjj3xWJEzYvOGrqenByEhIXjyyScxatQoW78djUBpaWlal0ASYE5IDTMy8vT0AAEBfed/+9vJx4ucEZs3dN988w0qKyvxzDPP2PqtaISaN2+e1iWQBJgTUsOMjDy7dwMHDijHt98OzJ9/8vEiZ8TmS2a333477HTdBY1Q3d3dWpdAEmBOSA0zMvL4+/cdv/CC+niRM8J7uZL0amtrtS6BJMCckBpmZGT55Regd+ONWbOAe+5Rf47IGWFDR9Jbvny51iWQBJgTUsOMjCxBQUDv/r/PPguMHq3+HJEzImRDp9PpsHjxYjg7O2tdCkkgPj5e6xJIAswJqWFGRo7ubiAwUDk+4wyloRsIkTNit42FTwU3FqaB6OzsxLhx47QugwTHnJAaZmTkSEgA7rtPOb7nnr6PXtWInBEhV+iIBuPjjz/WugSSAHNCapiRkWOwF0P0EjkjXKEjIiKiEaO8HLjwQsBiAS64ACgrAwS9m9egcIWOpOfq6qp1CSQB5oTUMCMjQ2Cg0swBykbCg2nmRM4IV+hIerW1tTj33HO1LoMEx5yQGmZk+DOZACcnoL4eGDUKqKxUtiwZKJEzwhU6kl7CQL/NSiMac0JqmJHh78svlWYOAB54YHDNHCB2RtjQkfQuv/xyrUsgCTAnpIYZGf50ur5jF5fBP1/kjLChI+k1NjZqXQJJgDkhNczI8PbDD8B33ynHS5YA118/+NcQOSNs6Eh6HR0dWpdAEmBOSA0zMrwduzq3ejXg4DD41xA5I0I2dLxTBA3GggULtC6BJMCckBpmZPg6dAj44gvleNIk4LHHTu11RM6IkA2di4sLDAYD9Hq91qWQBL799lutSyAJMCekhhkZvkJCgN7FtaeeAs4669ReR+SMcNsSkl5LSwsmT56sdRkkOOaE1DAjw1NPD3DxxUBpqXJeVAQsXHhqryVyRoRcoSMajE2bNmldAkmAOSE1zMjwlJzc18zddtupN3OA2BnhCh0RERENW/feCyQmKsdxccCqVZqWYzNcoSPpiXwrFhIHc0JqmJHh58ABYMcO5djJCbjnntN7PZEzwhU6kl5zczPOPvtsrcsgwTEnpIYZGX7eeAPw9FSO160D3n779F5P5IxwhY6kt2XLFq1LIAkwJ6SGGRleOjuBoCDleMwY4NlnT/81Rc4IGzqS3o033qh1CSQB5oTUMCPDyxdfAL03dnjoIWDGjNN/TZEzImRDx42FaTBKey9fIjoJ5oTUMCPDh8UCfPJJ3/krrwzN64qcESEbOm4sTIMxZswYrUsgCTAnpIYZGT727gXy85Xjq64CVqwYmtcVOSNCNnREgzFz5kytSyAJMCekhhkZPo5dnfv734fudUXOCBs6kl5OTo7WJZAEmBNSw4wMDwcOAF99pRzPng386U9D99oiZ4QNHUnv/vvv17oEkgBzQmqYkeFBp1O+QwcAL70EjB49dK8tckbY0JH0AgMDtS6BJMCckBpmRH5tbcBnnynHY8cCzz03tK8vcka4sTARERENC59+Cri4KMdPPw0EB2tbjz1xhY6kJ/KtWEgczAmpYUbk1tMD+Pj0nQ/lxRC9RM4IV+hIeh0dHRg/frzWZZDgmBNSw4zILSkJWLlSOb7xRiA1dejfQ+SMcIWOpPfpp59qXQJJgDkhNcyI3Gy1VcmxRM6IkA0d7xRBg3HfffdpXQJJgDkhNcyIvIqKlBU6AJgzB7DVf0qRMyJkQ8c7RdBg5Obmal0CSYA5ITXMiLw2beo7Xr0acHS0zfuInBEhGzqiwZg+fbrWJZAEmBNSw4zIqbkZ+Pxz5fjMM4G//tV27yVyRtjQkfTGjh2rdQkkAeaE1DAjcgoOBg4fVo6ffBKYMsV27yVyRtjQkfRKS0u1LoEkwJyQGmZEPmaz9cetr7xi2/cTOSNs6Eh6N910k9YlkASYE1LDjMjnq6+A8nLl+I47gEWLbPt+ImfE5g3dL7/8gscffxzTpk3DmWeeicsvv1zom9uSfMLDw7UugSTAnJAaZkQ+Xl59x7baquRYImfEphsLHzp0CMuWLcPNN9+MF198ETNmzEBpaSnmzp2L+fPnqz6fGwvTQPT09OCMM7jYTCfHnJAaZkQu330HXHutcrx4MVBYCDg42PY9Rc6ITavy8PCAk5MTQkJCsGLFCsydOxe33nrrgJo5ooH66KOPtC6BJMCckBpmRC7Hrs794x+2b+YAsTNi0xW6xYsX44477kB1dTX27t2L8847Dy+99BL+9re/9TveZDLBZDIdPTcajXBycuIKHZ2UyP9iInEwJ6SGGZFHWRmwYIFy/9aZM4GKCsAeF6CKnBGbVlVWVgY/Pz8sWLAAu3btwgsvvIBXXnkFL774IkpLS+Hp6QmTyXT0ZrcrV67E5MmTj/44OTkBAIqKiuDj4wOj0Xh0rKurK5qamqDT6ZCfn4/t27djx44dyM3NxebNm1FfX281tr29HV5eXiguLkZ0dDT27NmDzMxMhIaGoqqqymqs2WyGm5sbKioqEB4ejoyMDKSmpiIyMhIlJSVYv349Ojs7rZ5TW1uLwMBA6PV6JCUlIS4uDoWFhdi0aRNaWlqsxjY3N8PX1xcFBQWIj4/Hzp07kZOTg4CAANTV1VmN7ejogJeXF0pKShAVFYWUlBTs27cPYWFhqKysxLp169DT0wNXV1f09PRg3bp1qKysRFhYGPbt24eUlBRERUWhpKQEXl5e6OjosHr9uro6BAQEICcnBzt37kR8fDwKCgrg6+uL5uZmq7EtLS3YtGkTCgsLERcXh6SkJOj1egQGBqK2ttZqbGdnJ9avX4+SkhJERkYiNTUVGRkZCA8PR0VFBdzc3GA2m62eU1VVhdDQUGRmZmLPnj2Ijo5GcXExvLy80N7ebjW2vr4emzdvRm5uLp566ils374d+fn50Ol0aGpqshprNBrh4+MDg8GA2NhY7Nq1C3q9HkFBQaipqbEaazKZ4OnpidLSUkRERCA1NRXp6enYsmULysvL4e7uju7ubqvnVFdXIyQkBFlZWdi9eze2bduGoqIibNy4EW1tbVZjGxoa4O/vj7y8PCQmJiIhIQF5eXnw8/NDY2Oj1djW1lZ4e3vDYDAgJiYGycnJyM7ORnBw8HF1d3V1wcPDA2VlZdi6dSvS0tKQlpaGrVu3oqysDB4eHujq6rJ6Tk1NDYKDg5GdnY3k5GTExMTAYDDA29sbra2tVmMbGxvh5+eHvLw8JCQkIDExEXl5efD390dDQ4PV2La2NmzcuBFFRUXYtm0bdu/ejaysLISEhKC6utpqbHd3N9zd3VFeXo4tW7YgPT0dqampiIiI6HeO6K07KCgIer0eu3btQmxsLAwGg+oc8X//93+cI0boHLFjx44BzRFr1qzhHCHJHPHSS8Xo6QEA4MUXu7F+/enPEQPpI+6+++4BzxH2ZtMVujFjxuDKK69EZmbm0cdeeeUV6PV6fPfdd8eN5wodnYrKykpccMEFWpdBgmNOSA0zIoemJsDJCWhvVzYSrqwEpk2zz3uLnBGbrtDNmjULixcvtnrskksuQWVlZb/jx44di0mTJln9EKlJTU3VugSSAHNCapgROWzerDRzAPD00/Zr5gCxM2LThu73v/89iouLrR7bv38/5syZY8u3pRGGF9nQQDAnpIYZEZ/JBPj4KMcODsCaNfZ9f5EzYtOGbs2aNcjKysJHH32En3/+GV988QUCAgLg4uJiy7elEebYj+mJToQ5ITXMiPgiIoDaWuX4j38E7N1fiZwRmzZ0zs7OiIuLQ0REBJYsWYIPP/wQ3t7eeOyxx2z5tjTC1NfXa10CSYA5ITXMiNgsluO3KrE3kTMyytZvcM899+Cee+6x9dvQCHbFFVdoXQJJgDkhNcyI2JKTlc2DAeCaa/o2FbYnkTMi5mYqRIOwfft2rUsgCTAnpIYZEZvWq3OA2Bmx6bYlp4u3/qKB6OjowPjx47UugwTHnJAaZkRc+fnAZZcpxxdeCOzfDzg62r8OkTMi5AqdTqfD4sWL4ezsrHUpJAGvY//ZRnQCzAmpYUbEdex/mjVrtGnmlDrEzQhX6IiIiEhYv/wCzJsHdHUBU6YAVVXAhAlaVyUeIVfoiAaj93YrRCfDnJAaZkRMmzYpzRwAvPiits2cyBnhCh1Jr66uDjNnztS6DBIcc0JqmBHxtLQAF1wAGI3AmDFAeTkwa5Z29YicEa7QkfS++uorrUsgCTAnpIYZEY+/v9LMAcCTT2rbzAFiZ4QNHUlv+fLlWpdAEmBOSA0zIpbOTmDjRuXYwQF4/XVt6wHEzggbOpJeXV2d1iWQBJgTUsOMiCUsDOj9T/Lgg8DFF2tbDyB2RtjQkfSOHDmidQkkAeaE1DAj4jCbAU/PvvM33tCulmOJnBE2dCS9+fa+OzNJiTkhNcyIOGJigNJS5fjWW4Err9S2nl4iZ4QNHUlv7969WpdAEmBOSA0zIgaLBfDw6Dt/803tavktkTMi5LYlOp0OOp0OZrMZ+/fv57YldFLNzc04++yztS6DBMeckBpmRAy7dwO3364cL18O6PXKRREiEDkjQq7Qubi4wGAwQK/Xa10KScDX11frEkgCzAmpYUbE4O7ed/zGG+I0c4DYGRFyha4XNxYmIiIaOfR6YMUK5fiii4CiIu3u2yobIVfoiAZD5FuxkDiYE1LDjGjv2O/OrV0rXjMncka4QkfSa2lpweTJk7UugwTHnJAaZkRbxcXAJZcoF0Wcey5w4AAwbpzWVVkTOSNcoSPphYWFaV0CSYA5ITXMiLY8PJRmDgDWrBGvmQPEzggbOpLezTffrHUJJAHmhNQwI9opLwfCw5Xjs88GXnhBy2pOTOSMsKEj6ZWUlGhdAkmAOSE1zIh2PD2B7m7l+O9/B0T9lpXIGWFDR9IbP3681iWQBJgTUsOMaKOmBggKUo7POgt45RVt6zkZkTPCho6kN23aNK1LIAkwJ6SGGdHGxx8DvbdIdXEBpk7Vtp6TETkjQjZ0Op0OixcvhrOzs9alkATy8vK0LoEkwJyQGmbE/urrAX9/5Xj8eOC117StR43IGeG2JSS92tpanHvuuVqXQYJjTkgNM2J/b78NuLkpx3//O+DtrWk5qkTOiJArdESD8dlnn2ldAkmAOSE1zIh9NTUBvXfSGjMGeP11besZCJEzwhU6IiIisrsPPgDef185fv75vo9e6dRwhY6kJ/KtWEgczAmpYUbsx2gEPvlEOXZ0BN54Q9t6BkrkjHCFjqTX2dmJcSJuKU5CYU5IDTNiPx4ewJtvKsdPPgmEhmpazoCJnBGu0JH0Nm3apHUJJAHmhNQwI/bR3g54eSnHDg7KhRGyEDkjbOhIeqtWrdK6BJIAc0JqmBH7CAxUtisBgL/8Bbj4Ym3rGQyRM8KGjqSXk5OjdQkkAeaE1DAjtmcyKbf56iXT6hwgdkbY0JH0RN0TiMTCnJAaZsT2goKUW30BwKpVwKWXalrOoImcESEbOt4pggZj1KhRWpdAEmBOSA0zYludncBHH/Wdv/OOdrWcKpEzImRD5+LiAoPBAL1er3UpJIEDBw5oXQJJgDkhNcyIbX32GfDLL8rxffcBy5drW8+pEDkjQjZ0RINxww03aF0CSYA5ITXMiO10dvbd4gvo21BYNiJnhA0dSe+LL77QugSSAHNCapgR2wkM7Pvu3P33A8uWaVvPqRI5I9xYmKRnNpvh6OiodRkkOOaE1DAjttHZCVx4IXDwoHL+ww/A5ZdrWtIpEzkjXKEj6bkdu45PdALMCalhRmwjIKCvmfvjH+Vt5gCxM2LTFbr3338fH3zwgdVjM2fORG1t7YCezxU6IiIieXV0KKtzvX/t5+UBl12maUnDls1X6H73u9/h4MGDR38KCgps/ZY0woh8s2QSB3NCapiRoRcQ0NfMPfCA/M2cyBmx+YYqo0aNGvBGfCaTCSaT6ei50Wi0VVk0jDz55JNal0ASYE5IDTMytDo6AHf3vvN//1u7WoaKyBmx+QpdSUkJZs+ejXnz5uHhhx9GWVkZIiIiUFpaCk9PT5hMpqMd78qVKzF58uSjP05OTgCAoqIi+Pj4wGg0Hh3r6uqKpqYm6HQ65OfnY/v27dixYwdyc3OxefNm1NfXW41tb2+Hl5cXiouLER0djT179iAzMxOhoaGoqqqyGms2m+Hm5oaKigqEh4cjIyMDqampiIyMRElJCdavX4/Ozk6r59TW1iIwMBB6vR5JSUmIi4tDYWEhNm3ahJaWFquxzc3N8PX1RUFBAeLj47Fz507k5OQgICAAdXV1VmM7Ojrg5eWFkpISREVFISUlBfv27UNYWBgqKyuxbt069PT0wNXVFT09PVi3bh0qKysRFhaGffv2ISUlBVFRUSgpKYGXlxc6OjqsXr+urg4BAQHIycnBzp07ER8fj4KCAvj6+qK5udlqbEtLCzZt2oTCwkLExcUhKSkJer0egYGBqK2ttRrb2dmJ9evXo6SkBJGRkUhNTUVGRgbCw8NRUVEBNzc3mM1mq+dUVVUhNDQUmZmZ2LNnD6Kjo1FcXAwvLy+0t7dbja2vr8fmzZuRm5uLDRs2YPv27cjPz4dOp0NTU5PVWKPRCB8fHxgMBsTGxmLXrl3Q6/UICgpCTU2N1ViTyQRPT0+UlpYiIiICqampSE9Px5YtW1BeXg53d3d0d3dbPae6uhohISHIysrC7t27sW3bNhQVFWHjxo1oa2uzGtvQ0AB/f3/k5eUhMTERCQkJyMvLg5+fHxobG63Gtra2wtvbGwaDATExMUhOTkZ2djaCg4OPq7urqwseHh4oKyvD1q1bkZaWhrS0NGzduhVlZWXw8PBAV1eX1XNqamoQHByM7OxsJCcnIyYmBgaDAd7e3mhtbbUa29jYCD8/P+Tl5SEhIQGJiYnIy8uDv78/GhoarMa2tbVh48aNKCoqwrZt27B7925kZWUhJCQE1dXVVmO7u7vh7u6O8vJybNmyBenp6UhNTT3hHNFbd1BQEPR6PXbt2oXY2FgYDAbVOeLjjz/mHDFC54gdO3YMaI4ICwvjHDGEc8S77/5ydHVu8eKfsHSp2HPEQPqIf/7znwOeI+zNpt+h+/rrr9He3o6LL7746CRUVFSE//3vf5g2bdpx4/tboXNycuJ36OikMjMzce2112pdBgmOOSE1zMjQaW9XvjtXV6ec5+fLd5uv/oicEZt+5Lpy5cqjx5deeimuueYazJ8/H59//jlee+2148aPHTsWY8eOtWVJNAx1dHRoXQJJgDkhNczI0PHz62vmHnpoeDRzgNgZseu2JRMmTMCll16KkpISe74tDXONjY1al0ASYE5IDTMyNIzGvrtCODgA772nbT1DSeSM2LWhM5lM+OmnnzBr1ix7vi0Nc5fJftkU2QVzQmqYkaHh7Q309j2PPgosWaJpOUNK5IzYtKF7/fXXsXfvXhw4cADZ2dn405/+BKPRKPRVIiSfxMRErUsgCTAnpIYZOX2NjcDHHyvHjo7y3rP1RETOiE0vinj44YeRlpaGhoYGTJ8+HVdffTU+/PBDLF68eEDP58bCNBDt7e0488wztS6DBMeckBpm5PS98Qbg6akcP/ccsHmztvUMNZEzYtMVusjISNTU1ODIkSP45ZdfEBMTM+BmjmigNmzYoHUJJAHmhNQwI6fn4EFg0ybleOxY4N13ta3HFkTOiE1X6E4XV+iIiIjksHo1oNMpx2vWAAL3PsOSXS+KILIFkW/FQuJgTkgNM3LqDhxQbvMFAGedBbz1lrb12IrIGRFyhU6n00Gn08FsNmP//v1coaOTqq+vx/Tp07UugwTHnJAaZuTUPfUU8PnnyvG77wL/+Y+m5diMyBkRcoXOxcUFBoMBer1e61JIArGxsVqXQBJgTkgNM3JqfvoJCA9XjqdMAf7xD23rsSWRMyJkQ0c0GM7OzlqXQBJgTkgNM3Jq3nsP6OlRjt94A5g8Wdt6bEnkjLChI+kdPHhQ6xJIAswJqWFGBi83F/jyS+V45kzlwojhTOSMsKEj6ZnNZq1LIAkwJ6SGGRm8d96xPp4wQbta7EHkjLChI+nNnTtX6xJIAswJqWFGBicjA/j6a+V4zhzgb3/Tth57EDkjbOhIeunp6VqXQBJgTkgNMzJwFovyfble//63spnwcCdyRoTctqQXNxamgWhqasLUqVO1LoMEx5yQGmZk4OLjgT/+UTletAgoKABGjdK0JLsQOSNcoSPpffrpp1qXQBJgTkgNMzIw3d3WGwe7u4+MZg4QOyNcoSMiIqIBCwgAnn9eOf7974H0dMDBQduaSNAVOp1Oh8WLFwu93wuJQ+RbsZA4mBNSw4yoO3xY+b5cr/XrR1YzJ3JGuEJH0jMajcwHqWJOSA0zos7VVbm1FwA88AAQE6NtPfYmckaEXKEjGozQ0FCtSyAJMCekhhk5ufp6wNNTOXZ0BD76SNt6tCByRtjQkfRuu+02rUsgCTAnpIYZObkPPwRaW5Xjv/0NWLhQ23q0IHJG2NCR9IqKirQugSTAnJAaZuTEfv4Z8PNTjidMsP4e3UgickbY0JH0Jgz3e83QkGBOSA0zcmL/+peyXQkA/OMfwLnnaluPVkTOCBs6kp6omzySWJgTUsOM9E+vB6KjleMZM4DXX9e2Hi2JnBE2dCS9/Px8rUsgCTAnpIYZOZ7FAqxd23f+3nvAxIna1aM1kTPCbUtIejU1NZg9e7bWZZDgmBNSw4wcb+dO4O67leOLLgIMBmD0aG1r0pLIGRFyhY4bC9NgBAcHa10CSYA5ITXMiLXubuuPVz/6aGQ3c4DYGeEKHRERER3Hzw946SXl+OqrgczMkXVXCNkIuUJHNBgi34qFxMGckBpmpE9Li/J9uV4bN7KZA8TOCFfoSHomkwljx47VugwSHHNCapiRPmvXKvdpBYCHHwYiIrStRxQiZ4QrdCS9Tz75ROsSSALMCalhRhRlZUDv/xRjxwJubtrWIxKRM8KGjqT34IMPal0CSYA5ITXMiOLNN4EjR5TjNWuAuXM1LUcoImeEDR1J77///a/WJZAEmBNSw4wAGRnAtm3K8YwZwFtvaVuPaETOCBs6kt6sWbO0LoEkwJyQmpGekZ4e4LXX+s4//BDg19etiZwRNnQkPUdHR61LIAkwJ6RmpGckIkK5zRcALFkCPPOMtvWISOSMsKEj6VVUVGhdAkmAOSE1Izkj7e3Kd+d6bdgAjBqlXT2iEjkjQjZ0vFMEDcZ1112ndQkkAeaE1IzkjHz8MVBdrRzfdRfwhz9oW4+oRM6IkA2di4sLDAYD9L1rv0QnERkZqXUJJAHmhNSM1IxUVgLu7sqxo6PS3FH/RM4INxYm6XV3d2MUPxsgFcwJqRmpGfnLX4DoaOX41VeVu0JQ/0TOiJArdESD4d77T0uik2BOSM1IzMjevX3N3PTpwL//rW09ohM5I1yhIyIiGoG6u4Hly4H8fOU8IAD429+0rYlOHVfoSHoi3yyZxMGckJqRlpHAwL5m7ooruE3JQIicEbs1dG5ubnBwcMCrr75qr7ekEeKpp57SugSSAHNCakZSRpqagHfe6Tv38VEuiKCTEzkjdmno9Ho9AgICsHTpUnu8HY0wu3fv1roEkgBzQmpGUkb+/W+lqQOARx8Ffv97beuRhcgZsXlD19bWhsceewyBgYGYMmWKrd+ORqBLLrlE6xJIAswJqRkpGSkoAPz8lOMJEwBPT23rkYnIGbF5Q+fi4oK7774bt912m+pYk8kEo9Fo9UOkprW1VesSSALMCakZCRmxWIC//x0wm5Xzt98GzjtP25pkInJGbNrQRUZGIjc3F25ublaPR0REoLS0FJ6enjCZTEe/ZLhy5UpMnjz56I+TkxMAoKioCD4+PjAajUfHurq6oqmpCTqdDvn5+di+fTt27NiB3NxcbN68GfX19VZj29vb4eXlheLiYkRHR2PPnj3IzMxEaGgoqqqqrMaazWa4ubmhoqIC4eHhyMjIQGpqKiIjI1FSUoL169ejs7PT6jm1tbUIDAyEXq9HUlIS4uLiUFhYiE2bNqGlpcVqbHNzM3x9fVFQUID4+Hjs3LkTOTk5CAgIQF1dndXYjo4OeHl5oaSkBFFRUUhJScG+ffsQFhaGyspKrFu3Dj09PXB1dUVPTw/WrVuHyspKhIWFYd++fUhJSUFUVBRKSkrg5eWFjo4Oq9evq6tDQEAAcnJysHPnTsTHx6OgoAC+vr5obm62GtvS0oJNmzahsLAQcXFxSEpKgl6vR2BgIGpra63GdnZ2Yv369SgpKUFkZCRSU1ORkZGB8PBwVFRUwM3NDWaz2eo5VVVVCA0NRWZmJvbs2YPo6GgUFxfDy8sL7e3tVmPr6+uxefNm5ObmIiUlBdu3b0d+fj50Oh2ampqsxhqNRvj4+MBgMCA2Nha7du2CXq9HUFAQampqrMaaTCZ4enqitLQUERERSE1NRXp6OrZs2YLy8nK4u7uju7vb6jnV1dUICQlBVlYWdu/ejW3btqGoqAgbN25EW1ub1diGhgb4+/sjLy8PiYmJSEhIQF5eHvz8/NDY2Gg1trW1Fd7e3jAYDIiJiUFycjKys7MRHBx8XN1dXV3w8PBAWVkZtm7dirS0NKSlpWHr1q0oKyuDh4cHurq6rJ5TU1OD4OBgZGdnIzk5GTExMTAYDPD29kZra6vV2MbGRvj5+SEvLw8JCQlITExEXl4e/P390dDQYDW2ra0NGzduRFFREbZt24bdu3cjKysLISEhqK6uthrb3d0Nd3d3lJeXY8uWLUhPT0dqauoJ54jeuoOCgqDX67Fr1y7ExsbCYDCozhHffPMN54gROkfs2LFjQHNEYWHhsJ8j/Pzq8O23yt/Fs2d3YNasCM4Rg+gjwsPDBzxH2JvNti2pqqrClVdeieTkZFx22WUAgJtuugmXX345vL29+32OyWSCyWQ6em40GuHk5MRtS+ikioqKsGjRIq3LIMExJ6RmuGekrQ245JK+W3zFxQGrVmlaknREzojNVuhycnLw66+/Yvny5Rg1ahRGjRqFvXv3wsfHB6NGjeq3ex07diwmTZpk9UOk5uuvv9a6BJIAc0JqhntGPvywr5m7807g/vu1rUdGImfEZit0ra2tqKiosHrs6aefxqJFi/DGG29gyZIlqq/BjYVpINra2nDWWWdpXQYJjjkhNcM5IwYDcNllymbCY8cChYXARRdpXZV8RM6IzVboJk6ciCVLllj9TJgwAdOmTRtQM0c0UCf6CJ/oWMwJqRmuGbFYgNWrlWYOAN54g83cqRI5I3a99Zfad+h+iyt0REREpyciQtlrDgDmzQP+9z9g/Hhta6KhZ9dbf6Wmpgrd3ZKcRL4VC4mDOSE1wzEjRiPwj3/0nW/axGbudIicEbuu0A0WV+hoIBoaGnDOOedoXQYJjjkhNcMxI2vWAL3rKPffD8THa1mN/ETOiF1X6Ihs4csvv9S6BJIAc0JqhltG8vOVFTlAWZXjB2SnT+SMsKEj6V199dVal0ASYE5IzXDKSE8P8NJLfXeE+Ne/gLlzNS1pWBA5I0I2dDqdDosXL4azs7PWpZAEqns3ViI6CeaE1AynjISFAfv2KccXXwy8/rq29QwXImdEyIbOxcUFBoMBer1e61JIAgJ/DZQEwpyQmuGSkaYmYO3avnNfX2XvOTp9ImdEyIaOaDB67/lLdDLMCakZLhlZuxaor1eOH3oI+MMftK1nOBE5I2zoSHrfffed1iWQBJgTUjMcMpKWBgQFKccTJwIbN2pbz3Ajcka4bQlJr7GxEdOmTdO6DBIcc0JqZM+IyaTc3qu4WDnX6ZQLI2joiJwRrtCR9Pz8/LQugSTAnJAa2TPi5tbXzF19NfDCC9rWMxyJnBGu0BEREUmuqEhZnTtyBBg1CsjNBS69VOuqyJ64QkfSE/lWLCQO5oTUyJqRnh7gueeUZg5QtihhM2cbImeEK3QkvdbWVkycOFHrMkhwzAmpkTUjn30G/O1vyvH8+UBBAe/XaisiZ0TIFTpuLEyDEdR7SRfRSTAnpEbGjNTVAf/8Z9+5vz+bOVsSOSNcoSPpGQwGLF68WOsySHDMCamRMSOPPAJERirHjz8OhIdrW89wJ3JGhFyhIxqMn376SesSSALMCamRLSNJSX3N3NSpwIYN2tYzEoicETZ0JD1Rv89AYmFOSI1MGTl8GHjxxb5zLy9g+nTt6hkpRM4IGzqS3uTJk7UugSTAnJAamTLy7rtAeblyfPPNwJNPalrOiCFyRtjQkfT+97//aV0CSYA5ITWyZOS77wBvb+V43DjlQggHB01LGjFEzggbOpLenXfeqXUJJAHmhNTIkJHOTuCZZ4Deyxn/8x/g4ou1rWkkETkjbOhIesHBwVqXQBJgTkiNDBn5z3+Uu0IAgLMzsGaNtvWMNCJnhNuWEBERSSAnB7jqKsBsBkaPVm7vtWSJ1lWRKLhCR9IT+VYsJA7mhNSInJEjR5SPWs1m5fzdd9nMaUHkjAi5QqfT6aDT6WA2m7F//36u0NFJdXV1YfTo0VqXQYJjTkiNyBn5z3+Af/9bOb7sMkCvV1bpyL5EzoiQK3QuLi4wGAzQ6/Val0IS2MDdNGkAmBNSI2pGCgqA3oUhR0cgOJjNnFZEzQggaENHNBgPPfSQ1iWQBJgTUiNiRrq7lY9au7qU8zfeAK64QtuaRjIRM9KLDR1J77vvvtO6BJIAc0JqRMzIhg3A998rx5dconx3jrQjYkZ6saEj6Tk5OWldAkmAOSE1omWkqAh47z3l2MFB+ah13DhtaxrpRMvIsdjQERERCaa7G/i//wNMJuV8zRrg6qu1rYnExoaOpFdVVaV1CSQB5oTUiJQRNzflSlZAuRPEhx9qWw8pRMrIb7GhI+ldc801WpdAEmBOSI0oGcnNVbYpAYAzzgDCwoAzz9S2JlKIkpH+sKEj6W3btk3rEkgCzAmpESEjnZ3KR63d3cr5W28pd4cgMYiQkRMRcmPhXrz1Fw2EyBs9kjiYE1IjQkbeeAPw9FSOL78cyM4GxozRtCQ6hggZOREhV+h0Oh0WL14MZ2dnrUshCXh4eGhdAkmAOSE1Wmdk3z5g/XrleMwY5aNWNnNi0TojJ8MVOiIiIo21tSkrcqWlyrm7u7JaRzRQQq7QEQ2GyDdLJnEwJ6RGy4ysXdvXzF17LfD665qVQich8jzCFTqSXk1NDWbPnq11GSQ45oTUaJWR5GTgjjuU4zPPBH78EbjoIruXQQMg8jzCFTqSXlJSktYlkASYE1KjRUaampR7tfb6+GM2cyITeR5hQ0fS+93vfqd1CSQB5oTU2DsjFgvw/PPAL78o57ffDrzwgl1LoEESeR6xaUPn5+eHpUuXYtKkSZg0aRKuueYafP3117Z8SxqBWlpatC6BJMCckBp7Z+Tzz4Evv1SOp0xR7tXq4GDXEmiQRJ5HbNrQnX/++XB3d8f333+P77//Hrfccgvuv/9+/O9//7Pl29II09raqnUJJAHmhNTYMyM//wy8/HLfeWAgcN55dnt7OkUizyOjbPni9957r9X5unXr4Ofnh6ysrH6XLU0mE0y9dyKGclEEkZpLLrlE6xJIAswJqbFXRrq6gMcfV7YqAZTv0D34oF3emk6TyPOI3b5DZzabERkZicOHD6OpqQmlpaXw9PSEyWQ6ehnwypUrMXny5KM/Tk5OAICioiL4+PjAaDQeHevq6oqmpibodDrk5+dj+/bt2LFjB3Jzc7F582bU19dbjW1vb4eXlxeKi4sRHR2NPXv2IDMzE6GhoaiqqrIaazab4ebmhoqKCoSHhyMjIwOpqamIjIxESUkJ1q9fj87OTqvn1NbWIjAwEHq9HklJSYiLi0NhYSE2bdqElpYWq7HNzc3w9fVFQUEB4uPjsXPnTuTk5CAgIAB1dXVWYzs6OuDl5YWSkhJERUUhJSUF+/btQ1hYGCorK7Fu3Tr09PTA1dUVPT09WLduHSorKxEWFoZ9+/YhJSUFUVFRKCkpgZeXFzo6Oqxev66uDgEBAcjJycHOnTsRHx+PgoIC+Pr6orm52WpsS0sLNm3ahMLCQsTFxSEpKQl6vR6BgYGora21GtvZ2Yn169ejpKQEkZGRSE1NRUZGBsLDw1FRUQE3NzeYzWar51RVVSE0NBSZmZnYs2cPoqOjUVxcDC8vL7S3t1uNra+vx+bNm5Gbm4uNGzdi+/btyM/Ph06nQ1NTk9VYo9EIHx8fGAwGxMbGYteuXdDr9QgKCkJNTY3VWJPJBE9PT5SWliIiIgKpqalIT0/Hli1bUF5eDnd3d3R3d1s9p7q6GiEhIcjKysLu3buxbds2FBUVYePGjWhra7Ma29DQAH9/f+Tl5SExMREJCQnIy8uDn58fGhsbrca2trbC29sbBoMBMTExSE5ORnZ2NoKDg4+ru6urCx4eHigrK8PWrVuRlpaGtLQ0bN26FWVlZfDw8EBXV5fVc2pqahAcHIzs7GwkJycjJiYGBoMB3t7eaG1ttRrb2NgIPz8/5OXlISEhAYmJicjLy4O/vz8aGhqsxra1tWHjxo0oKirCtm3bsHv3bmRlZSEkJATV1dVWY7u7u+Hu7o7y8nJs2bIF6enpSE1NRURERL9zRG/dQUFB0Ov12LVrF2JjY2EwGFTniA0bNnCOGKFzxI4dOwY0R4SFhdlljnj00f8hO1v5u3H+/B7Mnu3BOUKAOWIgfcRbb7014DnC3my+bUlBQQGuueYadHZ24qyzzsIXX3yBu+66q9+x/a3QOTk5cdsSOqnW1lZMnDhR6zJIcMwJqbFHRvbtA264AejpARwdgcxMYMUKm74lDSGR5xGbr9AtXLgQeXl5yMrKwosvvognn3wSBoOh37Fjx449egFF7w+Rmk8++UTrEkgCzAmpsXVGWlqUj1p7epTzDz5gMycbkecRu28sfNttt2H+/PnYvHmz6lhuLExERMPFE08AW7Yox9ddB6SmKqt0REPB7vvQWSwWq49ViU6XyLdiIXEwJ6TGlhnZsqWvmZs0CQgPZzMnI5HnEZuu0L399ttYuXIlnJyc0NraisjISLi7uyMpKQl/+MMfVJ/PFToaiMbGRkybNk3rMkhwzAmpsVVG9u8HrrgCOHxYOd+yBXjssSF/G7IDkecRm67Q1dXV4YknnsDChQtx6623Ijs7e8DNHNFARUdHa10CSYA5ITW2yEhnJ/CXv/Q1c08+yWZOZiLPIzbdhy4oKMiWL08EALjmmmu0LoEkwJyQGltk5J//BPLylOOFCwFf3yF/C7IjkecR3suVpFdVVaV1CSQB5oTUDHVG4uL6GrixY4HoaOCss4b0LcjORJ5H2NCR9Bx480MaAOaE1AxlRioqlDtA9Nq4EVi6dMhenjQi8jwiZEOn0+mwePFiODs7a10KSeD888/XugSSAHNCaoYqI11dwCOPAM3NyvmDDwIvvDAkL00aE3keEbKhc3FxgcFggF6v17oUkkBWVpbWJZAEmBNSM1QZee894LvvlOO5c4HPPgMEXtihQRB5HrH7xsKDwW1LaCAaGhpwzjnnaF0GCY45ITVDkZHkZOCOO5TjUaOUW33xbhDDh8jziJArdESD4e/vr3UJJAHmhNScbkZqapS7QfRyc2MzN9yIPI9whY6IiOg0dXUBt9wCZGQo5ytXAomJwBlcNiE7YdRIeiLfioXEwZyQmtPJyFtv9TVzTk5AWBibueFI5HmEK3Qkvba2NpzFzZ1IBXNCak41I7GxypWsADB6NJCeDlx11RAXR0IQeR7hvx9IeoGBgVqXQBJgTkjNqWSkpAR4+um+8w0b2MwNZyLPI2zoSHorV67UugSSAHNCagabkfZ2ZWXOaFTOH34YcHGxQWEkDJHnETZ0JL2CggKtSyAJMCekZjAZsViAl14Cep9yySVAYCD3mxvuRJ5HhGzoeKcIGoyzzz5b6xJIAswJqRlMRoKCgM8/V44nTABiYnif1pFA5HlEyIaOd4qgwZg4caLWJZAEmBNSM9CM5OYCq1f3nQcGKit0NPyJPI8I2dARDcZPP/2kdQkkAeaE1AwkI01NwJ/+BJhMyrmLi3LfVhoZRJ5HuG0JSa+6ulroGyaTGJgTUqOWEbMZuOsu5fZegHIXiLQ0YOxYOxVImhN5HuEKHUkvNDRU6xJIAswJqVHLyNtv9zVz06cD27axmRtpRJ5HuEJHRESkIipK2ZYEAEaNAr75BrjxRm1rIjoWV+hIeiLfioXEwZyQmhNl5McfgWee6TvfsIHN3Egl8jzCFTqSXnd3N0aNGqV1GSQ45oTU9JeRxkbgyiuB8nLl/KmngOBg7jc3Uok8j3CFjqT38ccfa10CSYA5ITW/zUh3t/Ixa28z5+wM+PmxmRvJRJ5HhGzouLEwDcbDvV9sIToJ5oTU/DYjb72lfFcOAGbMAGJjgXHjNCiMhCHyPCJkQ8eNhWkwMjIytC6BJMCckJpjMxIRAfQuxowaBXz5JSDobhVkRyLPI0I2dESDMWfOHK1LIAkwJ6SmNyN6vfVFEJ98Alx/vUZFkVBEnkfY0JH0zGaz1iWQBJgTUmM2m1FdDdx/P9DZqTz2178CL76obV0kDpHnETZ0JL2DBw9qXQJJgDkhNQcO/Ir77wd6o3L99YBOx4sgqI/I8wgbOpLeihUrtC6BJMCc0Mn09ABRUXchN1c5nzdPuQiCd4KgY4k8j7ChI+nFxMRoXQJJgDmhk3nvPWDXrrMAAJMmAYmJwDnnaFwUCUfkeYQbC5P0TCYTxvKf0aSCOaET2boVePxx5fiMM5RmbuVKbWsiMYk8j3CFjqS3fv16rUsgCTAn1J/vvlMufOi1YQObOToxkecRrtAREdGIVFEBrFgB/Pqrcv7cc4C/Py+CIDkJuULHO0XQYIh8s2QSB3NCx2ptBe67r6+Zu+kmYPbsj9jM0UmJPI9whY6kV1NTg9mzZ2tdBgmOOaFeXV3AvfcCu3Yp5xddBGRlASYTM0InJ/I8IuQKHdFgfP3111qXQBJgTggALBZlo+DeZm7KFCAhAZg2jRkhdSJnhA0dSW/p0qVal0ASYE4IANatA4KClOMxY4CvvgIWLVLOmRFSI3JG2NCR9JqamrQugSTAnFBYGPDuu9bnx96jlRkhNSJnhA0dSe/w4cNal0ASYE5Gtj17rLcn8fQE/vIX6zHMCKkROSM2bejc3Nzg7OyMiRMnYsaMGVi1ahWKi4tt+ZY0Ai3q/byE6CSYk5GrsBB44AGgu1s5f+kl4PXXjx/HjJAakTNi04Zu7969cHFxQVZWFnbv3o3u7m7cfvvtQne4JJ9vvvlG6xJIAszJyPTLL8pGwUajcn7vvcAnn/S/1xwzQmpEzohdty2pr6/HjBkzsHfvXtxwww2q47ltCQ2E0WhkPkgVczLytLYq35H78Ufl3NkZ+PZbYMKE/sczI6RG5IzY9Tt0LS0tAICpU6f2+/smkwlGo9Hqh0iNj4+P1iWQBJiTkcVkAh58sK+ZmzdP2Z7kRM0cwIyQOpEzYreGzmKx4LXXXsN1112HgoIClJaWwtPTEyaT6ejOyytXrsTkyZOP/jg5OQEAioqK4OPjA6PReHSsq6srmpqaoNPpkJ+fj+3bt2PHjh3Izc3F5s2bUV9fbzW2vb0dXl5eKC4uRnR0NPbs2YPMzEyEhoaiqqrKaqzZbIabmxsqKioQHh6OjIwMpKamIjIyEiUlJVi/fj06OzutnlNbW4vAwEDo9XokJSUhLi4OhYWF2LRpE1paWqzGNjc3w9fXFwUFBYiPj8fOnTuRk5ODgIAA1NXVWY3t6OiAl5cXSkpKEBUVhZSUFOzbtw9hYWGorKzEunXr0NPTA1dXV/T09GDdunWorKxEWFgY9u3bh5SUFERFRaGkpAReXl7o6Oiwev26ujoEBAQgJycHO3fuRHx8PAoKCuDr64vm5marsS0tLdi0aRMKCwsRFxeHpKQk6PV6BAYGora21mpsZ2cn1q9fj5KSEkRGRiI1NRUZGRkIDw9HRUUF3NzcYDabrZ5TVVWF0NBQZGZmYs+ePYiOjkZxcTG8vLzQ3t5uNba+vh6bN29Gbm4uli1bhu3btyM/Px86nQ5NTU1WY41GI3x8fGAwGBAbG4tdu3ZBr9cjKCgINTU1VmNNJhM8PT1RWlqKiIgIpKamIj09HVu2bEF5eTnc3d3R3d1t9Zzq6mqEhIQc/WrBtm3bUFRUhI0bN6Ktrc1qbENDA/z9/ZGXl4fExEQkJCQgLy8Pfn5+aGxstBrb2toKb29vGAwGxMTEIDk5GdnZ2QgODj6u7q6uLnh4eKCsrAxbt25FWloa0tLSsHXrVpSVlcHDwwNdXV1Wz6mpqUFwcDCys7ORnJyMmJgYGAwGeHt7o7W11WpsY2Mj/Pz8kJeXh4SEBCQmJiIvLw/+/v5oaGiwGtvW1oaNGzeiqKgI27Ztw+7du5GVlYWQkBBUV1dbje3u7oa7uzvKy8uxZcsWpKenIzU1FREREf3OEb11BwUFQa/XY9euXYiNjYXBYFCdI5YuXco5YoTMEf/5zzo8/HAndu9W/v6ZOPEIXn99D+rqTj5HPPDAA5wjRvAcMZA+Yvz48QOeI+zNbh+5uri4YMeOHcjIyMD555/f7xiTyQSTyXT03Gg0wsnJiR+50km5urrinXfe0boMEhxzMjJYLMDLLwM6nXI+fjzwzTfAtdeqP5cZITUiZ8QuDd3LL7+M+Ph4pKWlYd68eQN+Hr9DRwPR1NR0wo/xiXoxJyPDBx8A77+vHDs6Atu3A3fdNbDnMiOkRuSM2PQjV4vFgtWrVyM2NhYpKSmDauaIBioiIkLrEkgCzMnw9+mnfc0cAISEDLyZA5gRUidyRkbZ8sVdXFzwxRdf4KuvvsLEiRNRW1sLAJg8eTLGjx9vy7emEeT6Y7d6JzoB5mR4i44GVq/uO9+wAXjiicG9BjNCakTOiE1X6Pz8/NDS0oKbbroJs2bNOvoTFRVly7elEaa8vFzrEkgCzMnw9c03wOOPK9+fA4A33wTWrBn86zAjpEbkjNh0hc6OW9zRCObo6Kh1CSQB5mR40uuBVauAri7l/K9/BT766NReixkhNSJnhPdyJenNmjVL6xJIAszJ8JOfD9xxB9B786FVqwB///7vAjEQzAipETkjbOhIenq9XusSSALMyfBSXAz84Q/AoUPK+Y03AhERwKjT+NyJGSE1ImfErrf+GixuW0IDUV9fj+nTp2tdBgmOORk+DhxQbun1yy/K+dVXA8nJwMSJp/e6zAipETkjQq7Q6XQ6LF68GM7OzlqXQhLYvHmz1iWQBJiT4eGXX4Bbb+1r5i6/HNi58/SbOYAZIXUiZ4QrdEREJIVff1U+Wi0qUs4vuQTYuxcQdMGEyK6EXKEjGoze++cRnQxzIremJuU7c73N3IUXKtuVDGUzx4yQGpEzwhU6kl57ezvOPPNMrcsgwTEn8jIalWbuv/9Vzp2cgLQ0YO7coX0fZoTUiJwRrtCR9Pz8/LQugSTAnMiptRW4++6+Zm7mTGVlbqibOYAZIXUiZ4QNHUnvnnvu0boEkgBzIp/WVuVerBkZyvnUqUozd/HFtnk/ZoTUiJwRNnQkvR9//FHrEkgCzIlcftvMTZmiNHNLltjuPZkRUiNyRtjQkfSmTZumdQkkAeZEHm1txzdze/YAy5bZ9n2ZEVIjckbY0JH0xo8fr3UJJAHmRA5tbcDKlfZv5gBmhNSJnBEhGzpuLEyDsX//fq1LIAkwJ+Lrb2Xum2/s08wBzAipEzkj3LaEpFdVVQUnJyetyyDBMSdi623m0tOV895m7oor7FcDM0JqRM6IkCt0RIPx+eefa10CSYA5EZfRqHzMqmUzBzAjpE7kjHCFjoiINNPUBNx5J6DXK+daNXNEsuMKHUlP5FuxkDiYE/H8+itw8819zdy0ado2c8wIqRE5I1yhI+mZzWY4OjpqXQYJjjkRyy+/ALfeChQXK+fnnqs0c7/7nXY1MSOkRuSMcIWOpOfp6al1CSQB5kQc5eXADTf0NXO992bVspkDmBFSJ3JGuEJH0quoqMCcOXO0LoMEx5yIYf9+ZWWuulo5v/BCICUFEOE/DTNCakTOCFfoSHppaWlal0ASYE60V1iorMz1NnOLFikrc6L8/ciMkBqRM8KGjqQ3b948rUsgCTAn2srMVJq5ujrl/LLLgL17gfPO07auYzEjpEbkjAjZ0PFOETQY3d3dWpdAEmBOtPP118BttwGHDinnzs7Kx6wzZmhb128xI6RG5IwI2dC5uLjAYDBA33stO9FJ1NbWal0CSYA50cbWrcB99wEdHcr5bbcp92adOlXbuvrDjJAakTMiZENHNBjLly/XugSSAHNifz4+wOOPA72LGg89BCQmAhMnalvXiTAjpEbkjLChI+nFx8drXQJJgDmxH4sFePdd4O9/73vshReAiAhg7Fjt6lLDjJAakTPCbUtIep2dnRg3bpzWZZDgmBP7MJsBFxdg8+a+x957D3j/fcDBQbOyBoQZITUiZ4QrdCS9jz/+WOsSSALMie11dAB//rN1M+fjA3zwgfjNHMCMkDqRM8IVOiIiOm319crFD1lZyvmoUUBYGPDII9rWRTRScIWOpCfyzZJJHMyJ7fz8M3DttX3N3FlnATt2yNfMMSOkRuSMcIWOpFdbW4tzzz1X6zJIcMyJbXz3nbIy19CgnM+erTRzl1+uaVmnhBkhNSJnhCt0JL2EhAStSyAJMCdDLzYWuOWWvmZuyRJllU7GZg5gRkidyBkRsqHjnSJoMC6X9W8PsivmZGh98gnwpz8BnZ3K+a23AhkZgJOTtnWdDmaE1IicESEbOt4pggajsbFR6xJIAszJ0DCbgTVrgFdfVfabA4D/+z9g505g8mRNSzttzAipETkjQjZ0RIPR0XtPIaKTYE5OX2srsGoV4O3d99i77wKhocCYMRoVNYSYEVIjckZGaV0A0elasGCB1iWQBJiT01NeDtx7L1BYqJw7OgL+/sCzz2pa1pBiRkiNyBnhCh1J79tvv9W6BJIAc3LqMjKAFSv6mrmzzwaSkoZXMwcwI6RO5Ixw2xKSXktLCybL/uUdsjnm5NR8/jnw3HPAkSPK+cUXAwkJyq/DDTNCakTOiE1X6NLS0nDvvfdi9uzZcHBwEPqmtiSvTZs2aV0CSYA5GRyzGVi7Fnjqqb5m7rbblG1JhmMzBzAjpE7kjNh0he7rr7/Gvn37cMUVV+DBBx9EXFwcVq1aNeDnc4WOiMj+WluBxx5TVuJ6ubgAGzcCo0drVxcRnZhNV+hWrlwJV1dXPPDAAwMabzKZYDQarX6I1Ih8KxYSB3MyMD//DFxzTV8z5+gI6HSAr+/wb+aYEVIjckY0uSgiIiICpaWl8PT0hMlkOvo/0MqVKzF58uSjP07/f4fKoqIi+Pj4wGg0Hh3r6uqKpqYm6HQ65OfnY/v27dixYwdyc3OxefNm1NfXW41tb2+Hl5cXiouLER0djT179iAzMxOhoaGoqqqyGms2m+Hm5oaKigqEh4cjIyMDqampiIyMRElJCdavX4/Ozk6r59TW1iIwMBB6vR5JSUmIi4tDYWEhNm3ahJaWFquxzc3N8PX1RUFBAeLj47Fz507k5OQgICAAdXV1VmM7Ojrg5eWFkpISREVFISUlBfv27UNYWBgqKyuxbt069PT0wNXVFT09PVi3bh0qKysRFhaGffv2ISUlBVFRUSgpKYGXlxc6OjqsXr+urg4BAQHIycnBzp07ER8fj4KCAvj6+qK5udlqbEtLCzZt2oTCwkLExcUhKSkJer0egYGBqK2ttRrb2dmJ9evXo6SkBJGRkUhNTUVGRgbCw8NRUVEBNzc3mM1mq+dUVVUhNDQUmZmZ2LNnD6Kjo1FcXAwvLy+0t7dbja2vr8fmzZuRm5uLBQsWYPv27cjPz4dOp0NTU5PVWKPRCB8fHxgMBsTGxmLXrl3Q6/UICgpCTU2N1ViTyQRPT0+UlpYiIiICqampSE9Px5YtW1BeXg53d3d0d3dbPae6uhohISHIysrC7t27sW3bNhQVFWHjxo1oa2uzGtvQ0AB/f3/k5eUhMTERCQkJyMvLg5+fHxobG63Gtra2wtvbGwaDATExMUhOTkZ2djaCg4OPq7urqwseHh4oKyvD1q1bkZaWhrS0NGzduhVlZWXw8PBAV1eX1XNqamoQHByM7OxsJCcnIyYmBgaDAd7e3mhtbbUa29jYCD8/P+Tl5SEhIQGJiYnIy8uDv78/GhoarMa2tbVh48aNKCoqwrZt27B7925kZWUhJCQE1dXVVmO7u7vh7u6O8vJybNmyBenp6UhNTT3hHNFbd1BQEPR6PXbt2oXY2FgYDAbVOeLCCy/kHKEyR/z1r7G48koL/vc/Za4eN64DERGHMGqU3HPEjh07BjRH3HbbbZwjRvAcMZA+AsCA5wh7s9tFEQ4ODqofuZpMJphMpqPnRqMRTk5O/MiVTsrX1xerV6/WugwSHHNyYj09wLp1wL//3bdZ8CWXAPHxw/f7cv1hRkiNyBkRah+6sWPHYuzYsVqXQZK58cYbtS6BJMCc9K+lRbnTw/btfY898ICyWfDEiZqVpQlmhNSInBHuQ0fSKy0t1boEkgBzcryffgKuuqqvmXNwAD76CPjyy5HXzAHMCKkTOSNCrdARnYoxw+GeQ2RzzIm1uDhlZa6tTTmfMgX44gvgzju1rUtLzAipETkjNm3o2tra8PPPPx89P3DgAPLy8jB16lRccMEFtnxrGkFmzpypdQkkAeZE0dUFvPUW4OXV99jSpUqDd+GF2tUlAmaE1IicEZt+5Pr9999j2bJlWLZsGQDgtddew7Jly/Dee+/Z8m1phMnJydG6BJIAcwJUVwM33WTdzD38MJCZyWYOYEZIncgZ4a2/SHp1dXVC/6uJxDDSc5KcrGwW3NCgnI8erTR2q1cr350jZoTUiZwRXhRB0gsMDNS6BJLASM2J2Qy8957y3bjeZm7OHCAjA3j5ZTZzxxqpGaGBEzkjXKEjIhqm6uqUVbk9e/oeu+ce4PPPgalTtauLiIaekCt0Op0OixcvhrOzs9alkAREvhULiWOk5WTXLuCyy/qaOUdHwMMD+OorNnMnMtIyQoMncka4QkfS6+jowPjx47UugwQ3UnJiMgFvvw1s2ND32KxZQGQkcMMN2tUlg5GSETp1ImdEyBU6osH49NNPtS6BJDAScrJ/P3DttdbN3F13AXl5bOYGYiRkhE6PyBlhQ0fSu++++7QugSQwnHNisQAhIcAVVwC5ucpjY8YA3t5AYiIwY4am5UljOGeEhobIGWFDR9LL7f0bjOgkhmtOmpuBRx4BnnkGOHxYeWzhQiA7G/j733kV62AM14zQ0BE5I2zoSHrTp0/XugSSwHDMyb59wOWXA1FRfY89+yyQk6M8ToMzHDNCQ0vkjLChI+mNHTtW6xJIAsMpJyaTcvuuG24AKiqUx84+G9i2DQgMBCZM0LQ8aQ2njJBtiJwRNnQkvdLSUq1LIAkMl5zk5wMrVgDu7kBPj/LYddcBP/4I/OlP2tYmu+GSEbIdkTPCho6kd9NNN2ldAklA9pyYzco+cldeqTR1gHL7Ljc3IDUVuOACTcsbFmTPCNmeyBlhQ0fSCw8P17oEkoDMOSktBW68EXjzTaCrS3ns0ksBvV55zNFR2/qGC5kzQvYhckaE3FhYp9NBp9PBbDZj//793FiYTqqnpwdnnMF/m9DJyZiTnh4gIAB4/fW+K1gdHIC1a4EPPgAE/jqPlGTMCNmXyBkRsioXFxcYDAbo9XqtSyEJfPTRR1qXQBKQLSelpcCttwIvvtjXzF14IZCWpnx/js3c0JMtI2R/ImdEyBW6Xrz1Fw2EyP9iInHIkhOzGfDxAf71L6Cjo+/x554DvLyAs87SrrbhTpaMkHZEzoiYVRENgpubm9YlkARkyInBoFyx+tprfc3cnDlAcjKweTObOVuTISOkLZEzwhU6kl5lZSUu4CV+pELknHR1AevXK9+LO3Kk7/GXXwY++oiNnL2InBESg8gZ4QodSS81NVXrEkgCoubk+++Bq65SPmLtbeYWLFC+K+fjw2bOnkTNCIlD5IywoSPpzZ8/X+sSSAKi5cRoBF55RWnmfvhBeeyMM5QrWH/8Ebj+em3rG4lEywiJR+SMjNK6AKLTZTKZtC6BJCBKTiwWICYG+PvfgZqavscvvRQICgKcnbWrbaQTJSMkLpEzwhU6kl59fb3WJZAERMjJgQPAPfcADz3U18yNH6/cASInh82c1kTICIlN5IxwhY6kd8UVV2hdAklAy5x0dSlbjvznP9Zbkdx9N+DrC8ydq1lpdAzOJaRG5IwIuUKn0+mwePFiOPOfqzQA27dv17oEkoBWOUlNBa64Anjrrb5mbvZs4MsvgYQENnMi4VxCakTOCLctIel1dHRg/PjxWpdBgrN3TqqqlFt2RUf3PXbGGcDq1cCHHwKc0sTDuYTUiJwRIVfoiAbDy8tL6xJIAvbKSWcn4OoKLFxo3cwtXw7897/AJ5+wmRMV5xJSI3JGuEJHRDQELBZg+3ZgzRrl4ode55wDuLkBTz8NODpqVx8RDW9coSPpubq6al0CScCWOSkqAu68E1i1qq+Zc3RUtibZvx949lk2czLgXEJqRM4IV+hIenV1dZg5c6bWZZDgbJGTxkbl+3A6HdDd3ff4Lbcod3n43e+G9O3IxjiXkBqRM8IVOpLeV199pXUJJIGhzElnJ+DpCcyfr3wnrreZu+AC5erVb75hMycjziWkRuSMcB86kt7y5cu1LoEkMBQ56ekBIiKAt98GKiv7Hh8/Xrll19q1wJlnnvbbkEY4l5AakTPCho6kV1dXp3UJJIHTzcm33yrbkOTm9j3m4KBc7PCf/wDnnXeaBZLmOJeQGpEzIuRHrtxYmAbjyJEjWpdAEjjVnBgMyu26brnFupm7807gxx+V+6+ymRseOJeQGpEzIuQKnYuLC1xcXI5eFEF0MvPnz9e6BJLAYHNSVaVc8BAUpHzU2uuyy4D164E//GGICyTNcS4hNfbIyKFDh/DBBx+gu7sbP//8M/785z/j0UcfxT//+U9YLBYcOnQI//rXv7B48WKr5wnZ0BENxt69e3HppZdqXQYJbqA5+fVXZd84Pz/AZOp7/LzzgHXrgMcf5xYkwxXnElJj64wcOXIEL730Ery8vDB79mxUVFRg3rx5+Oqrr+Dt7Y2SkhLcfffdmDJlCnx9fa2ey4aOpPf4449rXQJJQC0nzc3Axx8D3t7A4cN9j0+aBLzxBvDqq7zgYbjjXEJqbJ0Rf39/PP3005g9ezYAYNy4cbBYLJg7dy7mzZuHoqIiLFiwAI888shxzxXyO3REg/Hbf6UQ9edEOWlrA9zdgXnzlBW43mau98rVsjLlqlY2c8Mf5xJSY+uMTJkyBbfffvvR8++//x4AcOeddwIAVq5cCYPBgN///vfHPZcbCxPRiNTaqmwI7OUFNDT0PT56NPDcc8C//gXMmqVdfUREr7/+Ory9vXHo0CFMnDjxpGO5QkfSE/lWLCSO3py0tACursDcucBbb/U1c2ecATz1lHKrLl9fNnMjEecSUmPvjKSkpGD58uWqzRzAFToaBlpaWng1NKmqqGhBaOhkeHsr35frdcYZwCOPAO+8AyxapFV1JALOJaTGnhk5dOgQzjnnHLz++uvw8PA4+vhnn32GZ5999rjxXKEj6YWFhWldAgmssRF4911g0aJxeP/9vmbO0RF48kngp5+ALVvYzBHnElJny4zU19djxYoV+OCDDwAASUlJ6OnpwYoVK6zGZGZm9vt8u1/larFY0Nra2u/vmUwmmI7ZJ6B3nNFotEttJCdnZ2dmhI5TUwN8+ikQHHzsVasmODoCjz4KvPYacOGFyqOMDwGcS0jdYDMyceJEODg4DGjs3r17odfrcdddd6GjowNRUVGYPXs22traAACHDx/GK6+8YrVadyy7f+TKzYKJiIhoJBjMV8ZaW1uxZs0ajBkzBm1tbXjrrbdgNBrx9ttvY86cOThy5AjWrl2LpUuX9vt8uzd0g1mhO3jwIFasWAGDwYDz7HRvHWdnZ+j1+mH3XvZ+P3u9l9FohJOTE6qqquz2Pcvh+L+jFu831O/13XfKHnJJSdaPjxkD/OUvRxAefjmqqrLskhP+d5Pvvew9lzAj8r3fqWRkMCt0p8vuH7k6ODgM+v8sEydOtNtf1o6OjsPyvez9fvb+s02aNGlY/tmYkZPr6QESEgBPT+C3Xys5+2zAxQV4+WVg/HgjwsN/sVtO+N9NvvfqxYzI9V5avJ89/74ZDN4p4jdcXFyG5XvZ+/3s/Wezp+H8v6Msf7bDh4GwMOCTT4DiYuvfc3JSvh/3178CvVf62/trUfzvJt972RszIu/7iUrobUuqq6uPLm+ef/75WpdDAuLWNiNLRYWyR9xnn1lvPQIAS5Yod3Z4+GFlc+BjMSekhhkhNaJnROgVurFjx1r9SvRbY8eOxc0338yMDGMWC5CRoazGxcUpH7Me68YblUZu5UrgRF9VYU5IDTNCakTPiNArdKJ3w0RkO52dQFSU0sj98IP1740Zo2w98sorwLJl2tRHRCQSbixM0uPteoaX/fuBf/wDOO885VZcxzZz554L/Oc/QFUVEBIyuGaOOSE1zAipETkjXKEj6XV2dmLcuHFal0Gn4cgR4KuvAH9/ICXl+N+/8krg738H/vxnZXXuVDAnpIYZITUiZ4QrdCS9TZs2aV0CnaLycuBf/wIuuEBp1o5t5saOBZ54Ati3D/jvf4HHHz/1Zg5gTkgdM0JqRM6IkBdF6HQ66HQ6mM1mrUshCaxatUrrEmgQurqAHTuAwEDg66+Vix6OtWAB8Pzzyset06YN3fsyJ6SGGSE1ImdEyBU6FxcXGAwGu+40TfLKycnRugQagPx8YM0a5btxf/wjsHNnXzM3ahTwpz8B33wDFBUp36EbymYOYE5IHTNCakTOiJANHdGxPv30U8ybNw/jxo3D8uXLkZ6ebvX755577tHj1NRUODg4HPdTVFRk77IJQFOTsm/c8uXAZZcpt+aqr+/7/QsuAFxdgcpKYNs24NZbgTMGOSulpaXh3nvvxezZs+Hg4ID4+Ph+xx2bk71792L58uUYN24cLrzwQvj7+w/+D0fSGGxGOI+MPG5ubnB2dsbEiRMxY8YMrFq1CsW/3bUc1vMIINZcwoaOhBYVFYVXX30V//rXv/DDDz/g+uuvx8qVK1FZWXl0zKhRx39zoLi4GAcPHjz6s2DBAnuWPaJ1dyurbw89BMyapdx6Kze37/fHjFG+L/f110BZmfIdulmzTv39Dh8+jMsuuwy+vr4nHdebkwMHDuCuu+7C9ddfjx9++AFvv/02XnnlFcTExJx6ESS0wWakF+eRkWPv3r1wcXFBVlYWdu/eje7ubtx+++04fPiw1bhjMyLcXGIRWEtLiwWApaWlRetSSCMrVqywvPDCC1aPLVq0yPLmm28ePQ8LCzt6/O2331oAWA4dOmSvEslisfT0WCx6vcXy6qsWy7nnWizKh6nWP1deabH4+losjY22qwOAJS4urt/f683J2rVrLYsWLbL6veeff95y9dVX264wEsZAMsJ5hH799VcLAMvevXutHj/27xvR5hKu0JGwjhw5gpycHNx+++1Wj99+++3IPOZO7DfccMNxz122bBlmzZqFW2+9Fd9++63Nax2pSkqADz4AFi0CnJ2Vj1Rra/t+f8YM5b6q+fmAXg+4uABTp2pTa29Ovvvuu+Mydccdd+D7779HV1eXFqWRIH47l3AeGblaWloAAFN/M2EdmxHR5hI2dCSshoYGmM1mzJw50+rxmTNnovaYruGLL744ejxr1iwEBAQgJiYGsbGxWLhwIW699VakpaXZre7h7uBBpXFzdgYuvhh4/31lM+BeY8YAq1YB8fFAdTXg5QVceqk2tR6rNye1tbX9Zqq7uxsNDQ1alEaC6M0I55GRzWKx4LXXXsN1112HJUuWWP3esX/fiDaXCLltCdGxHH5zg06LxWL12Nq1a48eL1y4EAsXLjx6fs0116Cqqgoff/xxvyt5NDC//ALExgJffgmkpx+/1YiDA3DTTcrtuB58EJgyRZMyT+rYnPSXqf4ep5GlNyOcR0a21atXIz8/HxkZGcf93rHzCCDWXMIVOhLWOeecA0dHR6vVOAD49ddfrf5V5ObmdtLXufrqq1FSUmKTGoezqiplJe6664Dzz1fum5qWZt3MXXEF8PHHytiUFODZZ8Vs5oC+nJx77rn9ZmrUqFGYNtR7pZBUTjaXcB4ZGV5++WVs374d3377Lc4///zjfv/YjIg2lwi5QseNhQkAxowZg+XLl2P37t344x//ePTx3bt34/777z96/s4775z0dX744QfMOp3LKEeQ8nIgJkbZQiQ7u/8xCxcqV6k+8ghwySV2Le+09ObkmmuuQUJCgtXvJScn48orr8To0aO1KI0EcbK5hPPI8GaxWPDyyy8jLi4OqampmDdvXr/jjs2IcHOJJpdiDBCvcqXIyEjL6NGjLUFBQRaDwWB59dVXLRMmTLCUl5dbLBaL5c0337RcdtllR8dv3LjREhcXZ9m/f7+lsLDQ8uabb1oAWGJiYjT6E4jNbFauTn3vPYvl8sv7vzoVsFh+9zuL5d//tlgKC5UrWkXS2tpq+eGHHyw//PCDBYBlw4YNlh9++MFSUVFhsViUjDzxxBOWDz/80GKxWCxlZWWWM88807JmzRqLwWCwBAUFWUaPHm358ssvtfxjkA0NNiOcR0aeF1980TJ58mRLamqq5eDBg0d/2tvbj4757d83os0lbOhIeDqdzjJnzhzLmDFjLFdccYXVZeRPPvmk1SXiHh4elvnz51vGjRtnmTJliuW6666z7NixQ4uyhdXebrEkJloszz1nscyefeImbulSi+XDDy0Wg0Hrik+ud4uJ3/48+eSTFotFyciNN95oqaysPPqc1NRUy7JlyyxjxoyxzJ071+Ln56dR9WQPg80I55GRp798ALCEhIQcHfPbv28sFrHmEgeL5bdfbxaH0WjE5MmT0dLSgkmTJmldDgkqNDQUTz31lNZlCK2uTrl/6vbtwO7dQHt7/+OWL1cuanjwQeUK1uGEOSE1zAipETkjQn6HjmgwLh5unccQMJuB778Hdu1S7siQnX38lakAMG6ccrut++4D7rkHmD3b/rXaC3NCapgRUiNyRtjQkfQ6Ojq0LkEIBw8qDdyuXUBysnIf1f7MmKE0b/fdB9x2GzBhgn3r1ApzQmqYEVIjckbY0JH0GhsbtS5BE4cPA/v2AXv2KE3cjz+eeOzvfqc0cPfdB6xYAZwxAjcsGqk5oYFjRkiNyBlhQ0fSu+yyy7QuwS6OHFE+Ok1JUZq4rCzgRHeXmTQJ+MMfgDvuUH4uuMC+tYpopOSETh0zQmpEzggbOpJeYmKi1a7uw4XZDOTmKg1cSopyh4aTrfZfeSVw551KA3fVVQC3VLM2XHNCQ4cZITUiZ4RXuZL02tvbceaZZ2pdxmk7cgTIyQEyMpTmLS0N+P/3h+7XRRcBt9yi/Nx8s/LdODqx4ZITsh1mhNSInBEhv0mj0+mwePFiODs7a10KSWDDhg1al3BKjEbl4oV331Xugzp5MnDttcDatUBCwvHN3HnnAU88AYSGAhUVQEkJsHkz8Je/sJkbCFlzQvbDjJAakTPCFToiO7BYgAMHlO/AZWUpq3B5eUBPz4mfM21a3wrcLbcACxYAvHc8ERH1R8gVOqLBcHV11bqE4zQ3K6tvH36obBEyYwYwfz7w6KOAj4/y3bjfNnNz5wKPP66suv3vf8CvvwLR0cALLyib/LKZOz0i5oTEwoyQGpEzwhU6kl59fT2mT5+u2fsfOQIUFiqrb70/RUUnf46DA3DppcB11wHXX6/8ev759ql3pNI6JyQ+ZoTUiJwRXuVK0ouNjcXzzz9vl/dqbwfy85UVtt6fwsITbx/Sa9o05crTY3/OPtsuJdP/Z8+ckJyYEVIjckbY0JH0bHXxTFMTUFAA/PBDX/P2008n/94boGwXsmyZdfM2fz4/MtUaL7IiNcwIqRE5I2zoSHoHDx48red3dgIGg9K89f4UFgI1NerPPeMMYNEi4IorlH3grroKuPxy5R6pJJbTzQkNf8wIqRE5I2zoSHpms3lA47q7gbIy5YKDY5u3khL1VTdAWXlbskRZfbviCuVn6dKRcy9U2Q00JzRyMSOkRuSMsKEj6c2dO9fqvKUFKC5WLkw49ufnn9W/69Zr6lTlooVLL1WatuXLlfuhjh079PWTffw2J0S/xYyQGpEzwoaOpHT4sLKvW2kp8PnnRsyc2de41dYO/HXGjgUWL+5r3np/Zs3id96Gm/T0dCxdulTrMkhgzAipETkjQm5botPpoNPpYDabsX//fm5bMgJZLMo+bKWlyk9ZmfWvg2naAKVxu/hi5ftuixb1NW4XXQSM4j9rRoSmpiZMnTpV6zJIYMwIqRE5I0I2dL24D93wZbEADQ1AVRVQWan8Wl5u3bgdPjz4150xQ2nYFi7sa94WLQLmzAEcHYf8j0EScXV1xTvvvKN1GSQwZoTUiJwRNnRkE21t1s3ab3+tqlKuLj0V554LXHihshXI/PnK8UUXKU2coP9wIiIisil+2EQDZrEoFxwcPHj8T02N9Xlr66m/z+jRym2wepu1Yxu3Cy88/qpSV1dXPPGEmP9iInGI/C9rEgMzQmpEzghX6Ea49nagvl79p65OadROdVXtWGedBVxwAeDk1Pdr7/H8+cotsAbz8ajRaGQ+SBVzQmqYEVIjcka4QjcM9PQARqNyQ/hDh07+a2Oj8t213katvX1oaznrLOUK0dmz+2/YnJyAyZOH9grS0NBQvPLKK0P3gjQsMSekhhkhNSJnxKYN3bp167Bjxw7k5eVhzJgxaG5utuXbScViUZqptra+n9ZW9fOWluMbtZYW5fVsaepUpVFT+znrLNvW0Z/bbrvN/m9K0mFOSA0zQmpEzohNG7ojR47goYcewjXXXIOgoCBbvtVJWSzKT3e3srFs768n+jnR7x85onzk2NGh/DrY444O5crN3gZNqw+7zzhDuVn89OkD+5k2Tflem6iKioqwePFircsgwTEnpIYZITUiZ8SmDd0HH3wAQFmiHKyiIuDWW5Xjiy9WfrVYlI8Xe3r6Pz7R7w9Hjo7AlCnKz9lnD+7XqVOVpm64mMB7b9EAMCekhhkhNSJnRKjv0JlMJphMJgBAS8sZR2+OXlenYVFDwMEBGD9euWH7hAnAxInKR5PH/vz2sRONmThRacomTOCdDHqJuskjiYU5ITXMCKkROSOarNNERESgtLQUnp6eMJlMcHV1BQCsXLkSkydPxuTJk3H11csAKB3dzJlHMHWqEXPm9GDq1CZcdBEwbVojFiww49xzmzB/fifmzDFi7lwjFi5sh5NTPS67rAvnnfcLVqwAnJyqcdVVZsybV42rrjqMpUtrcdVVDbjhhkY4Ox/AqlWHsWzZj3j2WcDZOQerV/fguuuy8cILLbjvvnw880wFnn22DI899gPee+9XPPTQ1wgJOYKHH96GnTuBp58OR2JiI959NwbR0QUIDU1FcPBOfPedARs26NDU1IK33nJFYyPw3HOu2LevGU884Qtv7wI8/XQ8HntsJ/72txxcfHEAXnyxDp2drnj+eeDAAVfcfnsH8vK8MHVqCQoKolBSkoIff9yH8PAwVFZWYt26dejp6YGrqyt6enqwbt06VFZWIiwsDPv27UNKSgqioqJQUlICLy8vdHR0HP3f29XVFXV1dQgICEBOTg527tyJ+Ph4FBQUwNfXF83NzVZjW1pasGnTJhQWFiIuLg5JSUnQ6/UIDAxEbW2t1djOzk6sX78eJSUliIyMRGpqKjIyMhAeHo6Kigq4ubnBbDZbPaeqqgqhoaHIzMzEnj17EB0djeLiYnh5eaG9vd1qbH19PTZv3ozc3Fxs2bIF27dvR35+PnQ6HZqamqzGGo1G+Pj4wGAwIDY2Frt27YJer0dQUBBqamqsxppMJnh6eqK0tBQRERFITU1Feno6tmzZgvLycri7u6O7u9vqOdXV1QgJCUFWVhZ2796Nbdu2oaioCBs3bkRbW5vV2IaGBvj7+yMvLw+JiYlISEhAXl4e/Pz80NjYaDW2tbUV3t7eMBgMiImJQXJyMrKzsxEcHHxc3V1dXfDw8EBZWRm2bt2KtLQ0pKWlYevWrSgrK4OHhwe6urqsnlNTU4Pg4GBkZ2cjOTkZMTExMBgM8Pb2Rmtrq9XYxsZG+Pn5IS8vDwkJCUhMTEReXh78/f3R0NBgNbatrQ0bN25EUVERtm3bht27dyMrKwshISGorq62Gtvd3Q13d3eUl5djy5YtSE9PR2pq6gnniN66g4KCoNfrsWvXLsTGxsJgMMDHxwdGo9FqbFNTE3Q6HfLz8xEWFoYdO3YgNzcXmzdvRn19vdXY9vZ2eHl5obi4GNHR0dizZw8yMzMRGhqKqqoqq7Fmsxlubm6oqKhAeHg4MjIykJqaisjISJSUlGD9+vXo7Oy0ek5tbS0CAwOh1+uRlJSEuLg4FBYWYtOmTWhpabEa29zcDF9fXxQUFCA+Ph47d+5ETk4OAgICUFdXZzW2o6MDXl5eKCkpQVRUFFJSUrBv3z6EhXGO6J0jduzYMaA5IikpiXPECJ4jtm/frjpHrF+/fsBzhL0NetuS999//+hHqSei1+tx5ZVXHj0PDQ3Fq6++qnpRxLErdIByebCTkxO3LaGTqqmpwezZs7UugwTHnJAaZoTUiJyRQa/QrV69Gj/99NNJf5YsWXJKxYwdOxaTJk2y+iFSExwcrHUJJAHmhNQwI6RG5IzYZWPhga7Q/RY3FiYiIiJSZ9Pv0FVWViIvLw+VlZUwm83Iy8tDXl4e2trabPm2NML0fm+B6GSYE1LDjJAakTNi0xW6p556Cp9//vlxj3/77be46aabVJ/PFToaCJPJhLFjx2pdBgmOOSE1zAipETkjNl2hCw0NhcViOe5nIM0c0UB98sknWpdAEmBOSA0zQmpEzsgw2l6WRqoHH3xQ6xJIAswJqWFGSI3IGbHLRRGnih+5EhEREakTuqGzWCxobW3FxIkT4cDbIhARERH1S+iGjoiIiIjU8Tt0RERERJJjQ0dEREQkOTZ0RERERJJjQ0dEREQkOTZ0RERERJJjQ0dEREQkOTZ0RERERJL7fzK9P9cifKKdAAAAAElFTkSuQmCC", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "graph = plot(F(x), (x,0, 2), axes_labels=[r'$x$', r'$F(x)$'], thickness=2, gridlines=True)\n", "graph.save('max_X2mT2.pdf')\n", "graph" ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\(\\displaystyle -2 \\, e^{\\left(-1\\right)}\\)" ], "text/latex": [ "$\\displaystyle -2 \\, e^{\\left(-1\\right)}$" ], "text/plain": [ "-2*e^(-1)" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "F(-1)" ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnYAAAHUCAYAAAC3aGWBAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguMCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy81sbWrAAAACXBIWXMAAA9hAAAPYQGoP6dpAABpxElEQVR4nO3dd3xT9foH8E8pUKZFdlFkTxGRJUsEBwrCFcRxr1cueIXrwI1br9dRBAoFhJZpoTJktlSWQAVKgTIiUAELpQJdlJYOuuig4/z+OL82hLbYU5LnJDmf9+uVlyfJSfLwMcaHJznf46IoigLSVXR0ND788EMsW7YM9evX1/TYoqIi/O1vf8Nbb72FJ5980kYVEhERkSOopncBevrwww/RtGlTuLi4wMXFBe7u7ujVqxeys7MBACtWrEDbtm1L769duza6deuGY8eOlT7Hjz/+iAYNGpTu07ZtW/z++++VriErKwsvvfQS5syZo7mpAwBXV1esXLkSU6ZMQVJSkubHExERkfNwMfrELjc3F3Xq1EH16tWRkZGBOnXqlNln4MCBCAsLw2+//YZevXqVuT8/Px+tW7fGqlWr8Oijj2p6/UmTJqFv376YNGlSlf8MAPDtt98iKioKK1asuK3nISIiIsdl6IkdANSuXRvu7u4oLCxEtWrlx1G9enUA6tee5dm7dy++/fZbzU3diRMnsHfvXrz88svaii7Hm2++iS1btuDPP/+87eciIiIix2T4xg4AGjVqBABITU0tc19kZCSOHj0KAEhJSSlzf35+Pn766Se88sorml/Xy8sLL7/8cmnjeDvuvPNOPPLII/Dz87vt5yIiIiLHxMYOQOPGjQGU39hNnToVY8aMAVB+Yzd79my8++67cHFx0fSamZmZCAoKwogRI6pQcfkGDx6MTZs2We35iIiIyLGwsUPFjV1AQAAee+wxtG3bttz7Y2JikJaWhp49e2p+zV9//RWurq7o3r17mfvS0tIwceJEjBkzBs899xwKCgos7v/4448xduzYMo8bPHgwIiMjeRAFERGRQbGxQ/lfxebk5CAwMBDjxo0rvf/mid3UqVPx2WefVek1w8LC0KdPH7i6upa578svv4Snpyc8PT2xceNG7Nixo/Q+RVGwdOlSZGVllXlc69atAUDTUblERETkPG7/x11OoLyJnZeXFz788EO4uLiU3n9jY/fLL79gwIABuPPOO0tvy83NxUcffYTWrVsjMTERzZo1wwcffFDua545cwZ33XVXubd7eHigefPm2LJlCwCgadOmpfefOnUKV69exSOPPFLmsQ0aNICrqyuio6M1/OmJiIjIWbCxA8pM5M6fP4/s7Gz06NHD4v6Sxi8/Px9r1qzBjz/+aPE8n376KRo1aoQpU6YAAIYMGYJWrVrhueeeK/Oaly5dQps2bcrcnpycjHHjxgFQ19Fr3749+vbtW3p/aGgoAJTb2JWsxZeRkVH5PzwRERE5DX4Vi7ITO09PT3z++edl7i9p/Ly9vfHee+9ZHDCRm5uLpUuX4plnnim9bcyYMWWavxLZ2dlwd3cvc/vgwYNxzz33IDY2FgcOHMCECRMsXic0NBR33HFHuevpAYCbmxvy8/Mr9ecmIiIi58LGDpYTuS1btmDQoEEWX7HeONGLjo5Geno6HnjgAYvnOHv2LHJyctCqVavS21q1aoV9+/ahvDWgXV1dcf369QprCgwMBAA8++yzFreHhoZi8ODB5f42D1APvKhXr96t/rhERETkpNjYwTyRu3TpEtasWYN///vfFvff2Nh999135R4wUXIkat26dUtvq1u3LrKzs8s90KFBgwZIS0ursCaTyQQPDw906tSp9LaSI17L+xoWAK5du4b8/Pxyf7tHREREzo+/sYO5cQsJCcHhw4fLrEnXoEEDVK9eHUlJSRg4cCAaNGhQ5jnS0tLg6upqsdhwzZo1Aahfu95xxx0W+7du3fqWjV1qaqrF9A9Ql0gBgKFDh5b7mJLm8sZmkIiIiIyDEzuYJ3YTJ05E7969y92nYcOGGDBgAP71r3+Ve3/9+vXL3JadnV362Jt1794dFy9erLCm3r17IzY2tvQ0ZidPnsR///tfNGzYEPfff3+5jzl06BDuuOMOdOvWrcLnJSIiIufFiR3Uxu6ee+7B1KlTK9ynbdu2WLBgQYVnmPDw8EBRURFyc3NRu3ZtAEBWVhYaNGiAWrVqldl/8ODB+PLLL5Genl7uBPCzzz5DfHw8RowYgfbt26NevXooKCjA8OHDK6whNDQUI0aMqPCct0REROTc2AEAqFGjBmJiYkq/ki3PoUOHKpyUAUCPHj3g7u6OCxculN4WFRVV4WMGDhyIJk2a4MCBA2XuUxQFLi4u8Pf3x86dO+Hr64v+/fsjOzu7wolhcXExgoODS5dKISIiIuNhY2cl1atXx9ixY7Fy5UoAanMWGBiIyZMnl7t/tWrVMHHiRKxdu7bMfU8++SSaNWuGa9eulT6Xl5cXnnjiCYwcObLc59u4cSPq1q2L4cOHW+lPRERERI7GRSlvLQ6qkvT0dLz99tu49957kZiYiBYtWuDDDz+scP/k5GR06dIFJpPJYrHihg0bomfPnti1axcURcGUKVNw+PBh7Ny5s9y17wCgZ8+emDVrVoVHzBIREZHzY2Ons0WLFuHo0aNYtmxZ6W3BwcEIDg5GTk4Orly5gr59++Kdd95BjRo1yn2OadOmITU1FbNmzZIqm4iIiOwQGzs7MH78eDzyyCMYP3685sfu3LkTa9asgZ+fX4WLFhMREZEx8Dd2dsDPzw+HDx/GmTNnND/Ww8MDy5cvZ1NHREREnNgREREROQtO7IiIiIicBBs7IiIiIifBxo6IiIjISbCxIyIiInISbOyIiIiInAQbOyIiIiInwcaOiIiIyEmwsSMiIiJyEmzsiIiIiJwEGzsiIiIiJ8HGToCiKMjMzATP3kZERES2xMZOQFZWFtzd3ZGVlaV3KYYRGBiodwmGw8zlMXN5zFwW89aOjR05pc6dO+tdguEwc3nMXB4zl8W8tWNjR07p119/1bsEw2Hm8pi5PGYui3lr56Lwh182l5mZCXd3d2RkZOCOO+7QuxxDyMzMZNbCmLk8Zi6Pmcti3toZamIXGhqKUaNGoUWLFnBxcUFQUNBfPmbfvn3o1asXatWqhbZt22LRokW2L5Ru27x58/QuwXCYuTxmLo+Zy2Le2hlqYvfLL7/g4MGD6NmzJ8aOHYtNmzZh9OjRFe5/8eJFdOvWDZMmTcKrr76KgwcP4o033sCaNWswduzYSr8uJ3ZEREQkwVATu+HDh8PT0xPPPPNMpfZftGgR7rnnHsydOxddunTBxIkT8e9//xuzZs2ycaV0uzw9PfUuwXCYuTxmLo+Zy7K3vBUFiI0Fjh3Tu5KKGWpidyMXF5e/nNgNHjwYDzzwAL7//vvS2zZt2oTnn38eOTk5qFGjRrmPy8/PR35+fun1zMxMtGzZkhM7QWlpaWjYsKHeZRgKM5fHzOUxc1l6552cDJhMlpcrV4B77wVOn9atrFuq9MRuzZo1OH/+PLy8vJCfn1/aRXt6eiIhIQF+fn4wmUzYuXMnAgMDERERgXnz5iEzM9Ni37S0NPj6+uLkyZPYvHkztm3bhuPHj2Px4sVITk622DcnJwfe3t6IjIzE+vXrsXv3boSFhcHf3x9xcXEW+xYVFWHatGmIiYnBypUrceDAAYSEhGDt2rWIiorCzJkzkZeXZ9H9X716FUuXLoXJZMKOHTuwadMmnD59GvPnz0dGRgYiIiLQrFkzeHp6Ij09HT4+PsjOzkZhYSHWrVuHY8eOYcmSJUhKSrKo5ZtvvoG7u3vppWXLlqUZxsbGYurUqSguLoanpyeKi4sxdepUxMbGYsWKFTh48CD27NmDdevWISoqCt7e3sjNzbV4/qSkJCxZsgTHjh3D9u3bERQUhFOnTsHHxwfp6ekW+2ZkZGD+/Pk4ffo0Nm3ahB07dsBkMmHp0qVITEy02DcvLw8zZ85EVFQU1q5di5CQEBw4cAArV65ETEwMpk2bhqKiIovHxMXFwd/fH2FhYdi9ezfWr1+PyMhIeHt7Iycnx2Lf5ORkLF68GMePH8e2bduwefNmnDx5Er6+vkhLS7PYNzMzE/PmzUNERAQCAwOxc+dOmEwm+Pn5ISEhwWLf/Px8eHl54fz581izZg1CQkLw7bffYtWqVYiOjsb06dNRWFho8Zj4+HgsX74chw8fRnBwMDZs2ICzZ89izpw5yM7Ottg3JSUFixYtQnh4OLZu3YotW7YgPDwcCxcuRGpqqsW+WVlZmDt3LiIiIhAQEIBdu3bhyJEjWLZsWZm6CwoKMGPGDFy4cAGrV69GaGgoQkNDsXr1aly4cAEzZsxAQUFBmf/Wli1bhiNHjmDXrl0ICAhAREQE5s6di6ysLIt9U1NTsXDhQoSHh2PLli3YunUrwsPDsWjRIqSkpFjsm52djTlz5uDs2bPYsGEDgoODcfjwYSxfvhzx8fEW+xYWFmL69OmIjo7GqlWrsH//foSEhGDKlClO9Rnh6emJxMTEW35G3LhvyWfEqVOnEBQUhO3bt1f4GZGbmwtvb29ERUVh3bp12LNnDw4ePIgVK1Zo+oz4/vvv+RlRxc+I/fv3V+kzYtKkSfyMqOJnRFX6iFdffVXsM+Lq1SJMnLgan356FX37xsDDIw9NmwJPPQV89RWwbZva1AFARATw3/96VfozQhIndreY2HXs2BEvv/wyPv3009LbDh48iEGDBuHy5cto3rx5uY/jxE5/J0+eRPfu3fUuw1CYuTxmLo+Zy7JV3nl5QHi45SQuMlL9qvVW7rwT6N0b6NMHeP99oFEjq5d226rrXYA9a968ORITEy1uu3LlCqpXr45Gt/i36ebmBjc3N1uXR7cQHR3ND19hzFweM5fHzGVZI+/CQuCPPyybuFOn1NtvpU4doGdPtYkrubRrB7i43FY5NsfG7hb69++PLVu2WNy2a9cu9O7du8Lf15F9cHV11bsEw2Hm8pi5PGYuS2veigL8+adlE3f8OJCbe+vH1agB3H+/eRrXpw/QpQtQ3QG7JAcsueqys7Px559/ll6/ePEiwsPD0bBhQ9xzzz349NNPcenSJaxYsQIA8Nprr8HHxwfvv/8+Jk2ahEOHDsHPzw9r1qzR649AleTh4aF3CYbDzOUxc3nMXNZf5Z2SAhw9Chw5ol6OHgWuXr31c7q4AF27Wk7iuncHnOWLNkM1dr/99huGDh1aev39998HAIwfPx7+/v64fPkyYmNjS+9v06YNtm/fjvfeew++vr5o0aIF5s2bp2kNO9KHyWRCz5499S7DUJi5PGYuj5nLujHv/Hz1d3ElTdyRI8D583/9HG3bWjZxPXsC9erZtm49GfbgCUlcoFhecnIymjRponcZhsLM5TFzecxchqKoTVtwcCbOnLkDR46oTd3167d+XLNmQN++6qVPH/WrVXs8wMGWDLVAMRnH4sWL9S7BcJi5PGYuj5nbRmoq8MsvwNdfAyNGAE2aAB06AG+8cQfmz1e/Yr25qatVCxg4UD06dd06IDoauHwZ2LwZ+OIL4IknjNfUAZzYieDEjoiISHX9OvD77+pXqYcPq/+84efvFercGXjwQfPlvvvUgx7IEid25JTs7TQ0RsDM5TFzecxcu8uXgcBA4IMP1AnbHXeoX5W+9RawenX5TV2TJsDIkcCjj4Zg1y71gIgzZwB/f+D119XfybGpKx8ndgI4sZOXk5ODOnXq6F2GoTBzecxcHjO/tYICdRp36BAQFqb+Mybm1o9xc1MbtRunca1bq0evMm/tOLEjp7Rw4UK9SzAcZi6Pmctj5pauXAF+/hn45BNg8GDA3V09aOHtt4G1a8tv6tq3B156CfDxUdeZy8xUm8A5c4C//x1o08a8CDDz1s5Qy52QcYwcOVLvEgyHmctj5vKMnHlhoXrGhkOHzJe/Wm6kTh210evfHxgwAOjXT/2atbKMnHdVsbEjp/T777+jU6dOepdhKMxcHjOXZ6TMU1Mtm7ijR4Fr1279mDZt1CaupJG73QMcjJS3tbCxI6d0q3P5km0wc3nMXJ6zZl5crJ5PteR3cYcOAefO3foxbm7maVzJpXlz69blrHnbEhs7ckq1a9fWuwTDYebymLk8Z8k8N1edwB08CBw4oDZ0GRm3fkzLluoUrqSJ69EDqFnTtnU6S96S2NiRUzp37hwGDBigdxmGwszlMXN5jpp5crLaxJU0cseOqUewVqRmTfVI1Rsbubvukqu3hKPmrSc2duSUHn30Ub1LMBxmLo+Zy3OEzBVFXRvuwAH1cvAgEBl568c0a6auMTdwoNrE9eypftWqN0fI295wuRNySj/++KPeJRgOM5fHzOXZY+YFBerXqrNnA888o/7OrWNH4N//BpYtK7+p69wZeOUVYPlyICpKXUQ4IEA9PVf//vbR1AH2mbe94wLFArhAMRERWUtmpnpwQ8lE7sgR9TdzFalRA+jdW53GDRqkfr2qZckRciyc2NmQr68vunbtij59+uhdiuHwtD/ymLk8Zi5Pj8yTkoCNG9VTcPXoAdx5J/Dkk4CnJxASUrapc3cHRowApk4F9u1TD4oICwNmzgSeftqxmjq+x7XjxE4AJ3byioqK4OrqqncZhsLM5TFzeRKZx8WpDVloqHr5q9/HtWqlTuJKJnL33gtUc5KxDd/j2jnJv3oiS15eXnqXYDjMXB4zl2ftzEsOdPDzA8aPVxf4veceYNw4YOnSsk2di4s6tXvzTWDNGiA2FoiOBlatAl5/XV0Q2FmaOoDv8argxE4AJ3byYmJi0KpVK73LMBRmLo+Zy7vdzIuLgTNnLCdyly9XvH/16uoiwIMHAw8/rP4+zt29yi/vcPge186J+nois9DQUL1LMBxmLo+Zy9OaeVGRumbcnDnAmDFA06ZAt27A5MnAunVlm7patYAhQ4D//Q/Yvdv8+7jp04Hhw43V1AF8j1cF17Ejp9SmTRu9SzAcZi6Pmcv7q8wLCoDffjNP5A4cALKyKt6/Xj31d3GDB6uX3r3tZ6kRe8D3uHZs7MgpFRYW6l2C4TBzecxc3s2ZFxYCx48De/eqlwMHgGvXKn78nXeam7jBg9Xfy1Xn/4krxPe4dnw7kVNKTEzUuwTDYebymLm8hIQki0YuNPTWE7lmzdTfxpU0cs50xKoEvse1Y2NHTqlXr156l2A4zFweM7e94mLg9GlzI7d377PIzKx4/xYtgKFD1Wbu4YeBDh3UI1mpavge145/byCnFBQUpHcJhsPM5TFz61MU4I8/AB8f4Nln1YMd7r8fePdd4OefgcxMyzXVmjYFXngBWLRIXZokPl5demTSJPW0Xmzqbg/f49pxuRMBXO5EXl5eHmrVqqV3GYbCzOUx89unKMC5c+aJXEgIcOVKxfs3aqRgyBAXDB2qTua6dGHzZkt8j2vHiR05pVmzZuldguEwc3nMvGouXgR++AH45z+Bu+8GOndWF/ddv75sU9eggXoarrlzgd9/B95+eyo2blSXK+nalU2drfE9rh0ndgI4sSMi0k9KCrBnD/Drr+racBcuVLxv/frqQQ4lE7n77wd4RityJJzYkVPiiaPlMXN5zLx8OTnAzp3Ahx8CPXuqJ71/4QX1FF03N3V16wJPPKEuAHzkCJCWBmzdCkyZoj725qaOmcti3tpxYieAEzt5iYmJaN68ud5lGAozl8fMVYWF6qLAu3erU7mwMOD69fL3rVlTPS3Xo48Cjzyinq6rRo3KvxYzl8W8tePEjpzSli1b9C7BcJi5PKNmrijq+VbnzwdGjwYaNQL69we++EI9+OHmpu6BB9Tp3c6dwNWr6kESX3yhNnhamjrAuJnrhXlrx3XsyCn16NFD7xIMh5nLM1LmCQnmidyvv6rXK9K2LfDYY+pl6FCgcWPr1WGkzO0B89aOjR05pdTUVL1LMBxmLs+ZM8/NBfbvB3btUidtp09XvG/jxupXqyWXtm1tV5czZ26PmLd2bOzIKeXm5updguEwc3nOlLmiABERahO3axewbx+Ql1f+vrVrq0eulkzluneXO02XM2XuCJi3dmzsyCl16NBB7xIMh5nLc/TMU1PVr1V37VIv8fHl7+fioh7k8Pjj6qVfP8DNTbbWEo6euaNh3tqxsbMhX19f+Pr6oqioSO9SDGfv3r3o1q2b3mUYCjOX52iZFxSoS4qUTOVMJnVSV5677lKXIRk2TJ3KNWokW2tFHC1zR8e8teNyJwK43Im8jIwMuLu7612GoTBzeY6Q+cWLaiO3c6e6SHBmZvn71aoFPPywuZmz17M6OELmzoR5a8flTsgpzZ8/X+8SDIeZy7PHzLOzgS1bgDffBDp0UA9keP11ICiobFPXrZu6EPCuXerCwDt2AO+9B9x7r302dYB9Zu7MmLd2nNgJ4MSOiJyVogCRkcD27epl//6KFwdu1Ej9jdwTT6j/vOsu2VqJjIATO3JKPA2NPGYuT6/Mc3KAbduAyZPViVyXLurkbfduy6auenXgoYcAT0/193RJScCaNcCECY7b1PF9Lot5a8eJnQBO7OSlp6ejQYMGepdhKMxcnmTmUVHAL7+oU7mQECA/v/z9WrUChg8HnnxSXRzY2T7y+D6Xxby148SOnNKqVav0LsFwmLk8W2aem6v+5u2dd9TfynXsqG7v3GnZ1NWooZ5zddYsdR26ixeBhQuBp592vqYO4PtcGvPWjsudkFN6+OGH9S7BcJi5PGtnHhMDbN2qTub27FGbu/Lcfbc6lRsxQj3TQ/36Vi3DrvF9Lot5a8fGjpzS+fPncd999+ldhqEwc3m3m3lREXD0qHoU65YtFZ+2y9UVGDTI3Mx162a/R63aGt/nspi3dmzsyCnVrFlT7xIMh5nLq0rmWVnq8iJbt6oHQCQnl79f8+ZqEzd8uLpAMH/mpOL7XBbz1o6NHTmlZs2a6V2C4TBzeZXNPCbGPJULCSl/ORIXF6BvX2DkSOCpp4AePYw7lbsVvs9lMW/tePAEOaVjx47pXYLhMHN5FWVeVAQcOgR89hlw331A69bAW2+pk7obm7o6dYDRowE/P+DyZeDwYeCLL4AHHmBTVxG+z2Uxb+243IkALnciLykpiX/TE8bM5d2YeWW/Ym3ZEhg1Sr0MGaKeyosqj+9zWcxbO07syCktXbpU7xIMh5nLmzVrHXx81DM5NG4MPPss4O9v2dS5uAAPPqguEhwern4t6+urrjPHpk47vs9lMW/tOLETwIkdEVmDogB//KGedzUoCKjoW6q6ddVTdo0apf5ejgMPIuPgxI6cEk9DI4+Z20ZREXDgAPDBB+pCwffdB/z3v2WbupYtgTfeUNegS0kBNm0C/v1vNnXWxve5LOatHSd2Ajixk5ebm4vatWvrXYahMHPryctTz7saFARs3gxcuVL+fj16FOOZZ6rhb38DunfnAQ8S+D6Xxby148SOnNKCBQv0LsFwmPntuXoVWL0aeO459fdyI0cCP/xg2dS5uqqn75o3T/2t3EsvzcF//wvcfz+bOil8n8ti3tpxHTtySn/729/0LsFwmLl2CQnqV6ZBQer6coWFZfepXVs90GHMGPX3cg0bmu9j5vKYuSzmrR0bO3JKx48fR4cOHfQuw1CYeeXExACBgcDGjUBYWPn7NGoE/O1v6hpzjz2mrjdXHmYuj5nLYt7asbEjp9SkSRO9SzAcZl6xP/8EAgLUi8lU/j6tW6tTudGjgQEDgOqV+HRm5vKYuSzmrR0bOxvy9fWFr68vioqK9C7FcNzc3PQuwXCYuaUzZ9SpXEAA8Pvv5e9z773A2LHAM89U7eAHZi6Pmcti3trx4Akbmjx5MiIiImCq6K/oZDPnz5/XuwTDMXrmiqI2cF9+CXTtql6+/LJsU9ejh7pY8JkzwOnTwNdfV/3gB6NnrgdmLot5a8eJHTmlIUOG6F2C4Rgxc0UBfvtNncpt3AhU9P+gvn3Vs0I88wzQrp31Xt+ImeuNmcti3tpxYkdOaeXKlXqXYDhGyVxR1MWBP/wQaNNGbdpmzLBs6lxcgEGDgDlz1IMljhxR97dmUwcYJ3N7wsxlMW/tuECxAC5QLK+4uBjVqvHvLZKcOXNFUb82XbsWWLeu/MlctWrAww+rk7kxYwAPD9vX5cyZ2ytmLot5a8e0yCl99913epdgOM6YeWQk8M036kEO3bsD331n2dS5ugLDhgFLlgCJicCePeppvSSaOsA5M7d3zFwW89aOEzsBnNjJ49/y5DlL5hcvqlO5tWvLP5q1WjVgyBDghRfU38w1bixeYilnydyRMHNZzFs7pkVOadq0aXqXYDiOnHl8PDB7tvp7ubZtgU8/LdvUDRoEzJ8PXLqknsf1P//Rt6kDHDtzR8XMZTFv7TixE8CJnbzY2Fjcc889epdhKI6WeWKieiTrunXAgQPl79O3rzqZe+45oGVL2foqw9EydwbMXBbz1o4TO3JKISEhepdgOI6QeUYGsGwZ8OijwF13AW+9Vbap69EDmDZN/S3dkSPA++/bZ1MHOEbmzoaZy2Le2nEdO3JK7ay9rgT9JXvNPD8f2L4dWL0a2LpVvX6zrl3VydwLLwCdOsnXWFX2mrkzY+aymLd2bOzIKeWX939vsil7yry4GAgNVZu5jRuB9PSy+7RvrzZyf/870K2beIlWYU+ZGwUzl8W8tWNjR04pOTlZ7xIMR+/MFQU4eVJt5tasUQ+IuFnTpmoj989/An36VO00XvZE78yNiJnLYt7asbEjp9SzZ0+9SzAcvTKPiVEbuVWrgD/+KHt/3brqsiT//Kf627rqTvSpx/e5PGYui3lrx4MnyClt3rxZ7xIMRzLz7GzA3x8YOhRo3VpdnuTGpq56deCpp4CffgKSkoAVK4AnnnCupg7g+1wPzFwW89aOy50I4HIn8nJzc1G7dm29yzAUW2deXAzs3Qv8+CMQEADk5JTdZ8AAdTL3/PP6rzEnge9zecxcFvPWjhM7ckre3t56l2A4tsr83Dngiy/UydxjjwErV1o2dR06AN9+qy5PcvCgekovIzR1AN/nemDmspi3dpzYCeDEjkib9HR14eAffwQOHSp7v7u7ehDE+PFAv36OfxAEEZG1cGJHTsnT01PvEgzndjMvLFTXm3vhBaB5c+C11yybumrVgBEj1IYvMRFYtAjo39/YTR3f5/KYuSzmrR0ndgI4sZOXlJSEZs2a6V2GoVQ181On1Mnc6tVqw3azbt2ACRPU3841b377dToTvs/lMXNZzFs7TuxsyNfXF127dkWfPn30LsVwfv75Z71LMBwtmWdkAAsXAr17A927A97elk1d48bA228Dx46pa9NNmcKmrjx8n8tj5rKYt3ZOdvC/fZk8eTImT55cOrEjOb169dK7BMP5q8wVBdi/H/DzAzZsAHJzLe+vUQMYOVL93dzw4UDNmjYs1knwfS6Pmcti3tqxsSOnlJSUpHcJhlNR5omJ6jpyfn7qEa4369kTePll9WAIoxzNai18n8tj5rKYt3Zs7MgpXb9+Xe8SDOfGzAsLgZ07gR9+ALZsAYqKLPdt0AB46SXglVeAHj1Ey3QqfJ/LY+aymLd2bOzIKbVr107vEgynXbt2uHABWLZMPSvEpUtl9xk6FJg4ERgzBuCao7eP73N5zFwW89aOB0+QU9q3b5/eJRhGfj6wdi3w7LMN0K4dMHWqZVPn4aGe8isqCtizB3jxRTZ11sL3uTxmLot5a8flTgRwuRN56enpaNCggd5lOLULF4DFi9UJXUqK5X2uruq5WidOVA+EcLZztNoLvs/lMXNZzFs7TuzIKfn4+OhdglMqLASCgoAnnwTatQO8vCybunbtgGnTgLg44OefgVGj2NTZEt/n8pi5LOatHSd2AjixI0d36RKwdKl6MMTNv52rUQMYOxb4z3+AIUOMfSYIIiK9cWJHTomnobl9xcXqka1jxgCtWgFff23Z1LVurU7n4uOBNWuAgwc92dQJ4/tcHjOXxby148ROACd28jIyMrgodBUlJwPLl6u/n7twwfK+atXUr1dfew0YNky9XoKZy2Pm8pi5LOatHSd25JRWrFihdwkORVGAQ4fU87HefTfw8ceWTZ2HB/Dll0B0tPk3dtVu+vRg5vKYuTxmLot5a8efNZNTGjp0qN4lOIS8PGDdOmD+fPW8rDd7/HHg9dfVU33VqHHr52Lm8pi5PGYui3lrx4kdOaWoqCi9S7BrcXHAZ58BLVsCEyZYNnWNGgEffqiuO7drl/obu79q6gBmrgdmLo+Zy2Le2nFiR06pNlfALUNRgNBQdToXFFT2NF89ewJvvaWes7VWLe3Pz8zlMXN5zFwW89aOjR05pUaNGuldgt3IyQFWr1YbulOnLO+rXh149lm1oevf//aWKmHm8pi5PGYui3lrx69iySmFh4frXYLu4uKAjz4C7rpLXWPuxqaueXPgf/8DYmPVpUoGDLj99eeYuTxmLo+Zy2Le2hmysVuwYAHatGmDWrVqoVevXti/f3+F+4aEhMDFxaXM5ezZs4IVk1ajRo3SuwTdmEzAP/4BtGkDzJwJpKeb7+vXT53excQAX32lHu1qLUbOXC/MXB4zl8W8tTNcY7du3Tq8++67+Pzzz3HixAk89NBDGD58OGJjY2/5uMjISFy+fLn00qFDB6GKqSp++OEHvUsQVVQEbNoEPPQQ0LcvsHat+Td0NWsC48erDd+hQ8CLL6q3WZvRMrcHzFweM5fFvLUz3ALFDz74IHr27ImFCxeW3talSxeMHj0a06ZNK7N/SEgIhg4diqtXr1b5RMRcoJhsJTtbXUx47tyyiwk3aQK88Ya6XEmzZrqUR0REwgw1sbt+/TqOHTuGYcOGWdw+bNgwhIWF3fKxDzzwADw8PPDoo49i7969t9w3Pz8fmZmZFheS5eynoYmLUxcRvvtu4O23LZu6Ll3U87qWfN0q1dQ5e+b2iJnLY+aymLd2lW7s1qxZg/Pnz8PLywv5+fmlYXt6eiIhIQF+fn4wmUzYuXMnAgMDERERgXnz5iEzM9Ni37S0NPj6+uLkyZPYvHkztm3bhuPHj2Px4sVITk622DcnJwfe3t6IjIzE+vXrsXv3boSFhcHf3x9xcXEW+xYVFWHatGmIiYnBypUrceDAAYSEhGDt2rWIiorCzJkzER8fj6KiIjRr1gyenp5ITEzE0qVLUVBQgPPnz2PTpk04ffo05s+fj4yMDHh6esLDwwNPP/00/P398eKLL6Jx48Z49NFH4eXlhWPHjmHJkiVISkqyqOWbb76Bu7t76aVly5alGcbGxmLq1KkoLi6Gp6cniouLMXXqVMTGxmLFihU4ePAg9uzZg3Xr1iEqKgre3t7Izc21eP6kpCQsWbIEx44dw/bt2xEUFIRTp07Bx8cH6enpFvtmZGRg/vz5OH36NDZt2oQdO3bAZDJh6dKlSExMtNg3Ly8PM2fORFRUFNauXYuQkBAcOHAAK1euRExMDKZNm4aioiKLx8TFxcHf3x9hYWHYvXs31q9fj8jISHh7eyMnJ8di3+TkZCxevBjHjx/Htm3bsHnzZpw8eRK+vr5IS0uz2DczMxPz5s1DREQEAgMDsXPnTphMJvj5+SEhIcFi3/z8fHh5eeH8+fNYs2YNQkJC0K9fP6xatQrR0dGYPn06CgsLLR4THx+P5cuX4/DhwwgODsaGDRtw9uxZzJkzB9nZ2Rb7pqSkYNGiRQgPD8fWrVuxZcsWhIeHY+HChUhNTbXYNysrC3PnzkVERAQCAgKwa9cuHDlyBMuWLStTd0FBAWbMmIELFy5g9erVCA0NRWhoKFavXo0LFy5gxowZKCgosHjML78ko1+/82jTRoGXF5CRYf5v9JFHCvGvf/2EP/4AEhM9kZOTioULFyI8PBxbtmzB1q1bER4ejkWLFiElJcXiebOzszFnzhycPXsWGzZsQHBwMA4fPozly5cjPj7eYt/CwkJMnz4d0dHRWLVqFfbv34+QkBC0bNnS4T8j8vLyLB5T8hlhMpmwY8eOcj8jSvZNT0+Hj48PTp06haCgIGzfvr3Cz4jc3Fx4e3sjKioK69atw549e3Dw4EGsWLFC02fE6NGj+RlRxc+I/fv3V+kzombNmnb9GZGQkIBly5bhyJEj2LVrFwICAhAREYG5c+ciKyvLYt/UVNnPiKr0EbVr13aKzwhRioFcunRJAaCEhYVZ3O7p6al06tSp0s8zcuRIZdSoURXen5eXp2RkZJRe4uLiFABKRkZGlWsnbby8vPQuwWqKihRl82ZFeeghRVFXozNfatZUlH//W1FOntS7SufK3FEwc3nMXBbz1s5Q69g1btwYrq6uSExMtLj9ypUraKbh+6qSaVBF3Nzc4ObmVuU66faNHj1a7xJuW0GBuhSJlxfwxx+W9zVurP5+7o037Of3c86QuaNh5vKYuSzmrZ2hfmNXs2ZN9OrVC8HBwRa3BwcHY8CAAZV+nhMnTsDDmutEkNUdK+/Epw7i2jVg3jygfXv1aNYbm7rOnYElS9T1577+2n6aOsCxM3dUzFweM5fFvLUz1MQOAN5//32MGzcOvXv3Rv/+/bFkyRLExsbitddeAwB8+umnuHTpElasWAEAmDt3Llq3bo17770X169fx6pVqxAQEICAgAA9/xj0F5o3b653CZqlpgI+PuoZIlJTLe8bMAD45BPgqaeAanb61zFHzNzRMXN5zFwW89bOcI3dCy+8gNTUVHzzzTe4fPkyunXrhu3bt6NVq1YAgMuXL1usaXf9+nV88MEHuHTpEmrXro17770X27Ztw4gRI/T6I1AlVK/uOG/t2Fhg9mz1SNacHMv7nnpKbegGDdKnNi0cKXNnwczlMXNZzFs7O/27v2298cYbiI6ORn5+Po4dO4bBgweX3ufv74+QkJDS6x999BH+/PNP5ObmIi0tDfv372dT5wAuXryodwl/6Y8/1K9a27UDvv/e3NS5ugIvvQScPAls3eoYTR3gGJk7G2Yuj5nLYt7asRUmp3Rjs25vfvsN8PQEfv7Z8vbatYFJk4D33wf+f4DsUOw5c2fFzOUxc1nMWztDTuzI+f300096l1BGWBgwfDjQp49lU9ewIfDll+pXst9/75hNHWCfmTs7Zi6Pmcti3toZ7pRieuApxeQVFRXB1dVV7zIAAPv2Ad98A+zZY3n73XcDH3wAvPIKUK+ePrVZkz1lbhTMXB4zl8W8tePEjpxSeef9laQoQHAwMHgwMGSIZVPXujWweDHw55/AO+84R1MH6J+5ETFzecxcFvPWjhM7AZzYGYeiANu3A99+Cxw5Ynlf+/bAZ5+pB0bUqKFPfURE5Nw4sSOnJH1+PkUBNm8GevcGRo60bOq6dAFWrQLOnAFeftl5mzqerFseM5fHzGUxb+04sRPAiZ28uLg4tGzZ0uavoyjAjh3qwQ+//WZ5X/fuwBdfAGPH2u+iwtYklTmZMXN5zFwW89bOAP+7ISPavXu3TZ9fUYBffwUGDgRGjLBs6nr2BDZtAk6cAJ57zhhNHWD7zKksZi6Pmcti3tpxHTtySh07drTZc+/bp07oQkMtb+/RQz36deRIwMXFZi9vt2yZOZWPmctj5rKYt3Zs7Mgp5ebmWv05w8LUhu7mv0B26wZ8/TUwerRxpnPlsUXmdGvMXB4zl8W8tWNjR04pNTXVas/122/Af/+r/pbuRp06AV99BTz/vLEbuhLWzJwqh5nLY+aymLd2bOzIKd1///23/RznzqkHP2zYYHl7u3bA//4H/OMfAM9PbWaNzEkbZi6Pmcti3tpxzkBOaevWrVV+7KVLwKuvAl27WjZ1rVoBfn7qsiXjxrGpu9ntZE5Vw8zlMXNZzFs7LndiQ76+vvD19UVRURHOnTvH5U4E5eTkoE6dOpoec/UqMGOGer7WvDzz7c2aqV/FTpoE1Kxp5UKdSFUyp9vDzOUxc1nMWztO7Gxo8uTJiIiIgMlk0rsUw5k9e3al983JURu6tm3Vf5Y0dfXrq2eQ+PNPYPJkNnV/RUvmZB3MXB4zl8W8tePETgAXKLZPhYXAsmXqEa0JCebba9YE3nwT+PRToHFj/eojIiLSihM7ckq3Og1Nyem/unVTf0tX0tRVqwZMmABERQHe3mzqtOKpf+Qxc3nMXBbz1o4TOwGc2MlLTk5GkyZNytx+/DgwZQoQEmJ5+9NPA1OnAvfeK1OfM6ooc7IdZi6Pmcti3tpxYkdOKTAw0OL6pUvqNK53b8umbuBA4OBBICiITd3tujlzsj1mLo+Zy2Le2nHBBnJKffr0AQBkZwMzZ6qXGxcwb9cO8PICxowx5um/bKEkc5LDzOUxc1nMWzs2duSU4uMvIzxcXWD48mXz7Q0aqKcF41Gu1nf5xqBJBDOXx8xlMW/t2NiR09m9G3jnnUGIjjbfVr262sz9979Ao0a6lebUioqK9C7BcJi5PGYui3lrx8aOnMaFC8D77wM//wwA7qW3jx6trk/XsaNelRlD69at9S7BcJi5PGYui3lrx4MnyOFdu6Z+5dq1a0lTp+rVSz1QYtMmNnUS9u/fr3cJhsPM5TFzWcxbOy53IoDLndiGogDr1wMffADEx5tv9/AAvvgiG6+9Vg/V+FcXMWlpaWjYsKHeZRgKM5fHzGUxb+34vz1ySL//DgwZAvz97+amrkYN4OOPgchIIC1tLps6YQsWLNC7BMNh5vKYuSzmrR0ndgI4sbOetDT1AIhFi4DiYvPtI0YAc+cCHTroVhoREZHuONMgh1BcDPj5qb+VW7DA3NS1bw9s3Qps22bZ1PE0NPKYuTxmLo+Zy2Le2nFiJ4ATu9tz8iTw+utAWJj5trp11cndu+8Cbm5lH5OZmcmshTFzecxcHjOXxby148SO7FZ2tnpgRM+elk3dP/4BnDun/p6uvKYOAPz9/UVqJDNmLo+Zy2Pmspi3dlzHjuyOoqhLlLzzjuXRriVfwz766F8/x2OPPWa7AqlczFweM5fHzGUxb+04sSO7cvEiMHIkMHasualzcwO++Ub9SrYyTR0AnD171nZFUrmYuTxmLo+Zy2Le2nFiR3ahoACYNUtt4PLyzLc/+STg4wO0a6ft+erWrWvdAukvMXN5zFweM5fFvLVjY2dDvr6+8PX15bnu/oLJBLzyCnDqlPm2Fi2A779XJ3cuLtqfkwtaymPm8pi5PGYui3lrx69ibWjy5MmIiIiAyWTSuxS7dO0aMGUK0K+fuamrVg147z3g7Fng2Wer1tQBwMmTJ61XKFUKM5fHzOUxc1nMWzsudyKAy52UtWsX8OqrQHS0+bYePdS16nr2vP3nT0hIQIsWLW7/iajSmLk8Zi6Pmcti3tpxYkeiUlOBCROAJ54wN3W1agHTpwNHj1qnqQOAZcuWWeeJqNKYuTxmLo+Zy2Le2nFiJ4ATO3UJkw0bgLfeAq5cMd8+ZAiwZAlPBUZERGQNnNiRzSUnA88/D7zwgrmpc3cHli4Fdu+2TVPH09DIY+bymLk8Zi6LeWvHiZ0AI0/sAgOB115Tm7sSY8aoS5jY8mcT+fn5cKvotBRkE8xcHjOXx8xlMW/tOLEjm0hLA158UV2upKSpa9QIWLdObfZs/VvY77//3rYvQGUwc3nMXB4zl8W8tePEToDRJnZbtwKTJgGJiebbRo8GFi0CmjWTqeH8+fNop3VVY7otzFweM5fHzGUxb+04sSOrSU9Xj3gdNcrc1DVoAKxapU7ppJo6ADh69KjcixEAZq4HZi6Pmcti3trxzBNkFbt3A+PHA5cumW8bMUI9QEKPJYg8PDzkX9TgmLk8Zi6Pmcti3tpxYke3JT8f+PBD4LHHzE3dHXcAy5apX8nqta6kq6urPi9sYMxcHjOXx8xlMW/t2NhRlZ09C/TvD8yaZb7tsceA06eBl1+u+unArCEmJka/FzcoZi6Pmctj5rKYt3Zs7EgzRVEPhOjZEzhxQr2tZk1g9mxg506gZUt96wOAQYMG6V2C4TBzecxcHjOXxby1Y2NHmiQnq0e4vv46kJur3talC3DkCPDee0A1O3lHrV27Vu8SDIeZy2Pm8pi5LOatHZc7EeAsy53s2qUeIHHjMiZvvAHMnAnUqaNfXeUpLCxE9eo8NkgSM5fHzOUxc1nMWzs7ma+QPcvLU6dxTzxhbuqaNAG2bAF8fe2vqQOA6dOn612C4TBzecxcHjOXxby148ROgCNP7M6eVc/xevKk+bYnnwSWLweaN9evLiIiIiqLEzuq0KpVQO/e5qbOzQ34/ntg2zb7b+p44mh5zFweM5fHzGUxb+04sRPgaBO7nBzg7bcBPz/zbffeC6xZA9x3n351aREfH4+7775b7zIMhZnLY+bymLks5q0dJ3Zk4exZ4MEHLZu6V14Bjh51nKYOAIKDg/UuwXCYuTxmLo+Zy2Le2rGxsyFfX1907doVffr00buUSlm9Wv3q9fRp9XqdOsCPPwI//GCfB0jcSpcuXfQuwXCYuTxmLo+Zy2Le2rGxs6HJkycjIiICJpNJ71JuKS8PePVV4KWXgGvX1Nu6dgVMJuBf/9K3tqrKysrSuwTDYebymLk8Zi6LeWvHxWEMLjoaePZZ4Ngx820TJgA+PkDdunpVdfvS09P1LsFwmLk8Zi6Pmcti3tpxYmdgO3cCvXqZm7patdRlTJYvd+ymDgDuc6QfBDoJZi6Pmctj5rKYt3Zs7AxIUQAvL2DECCAtTb2tXTvg8GF1WucMfvnlF71LMBxmLo+Zy2Pmspi3dlzuRIA9LXeSkwNMnKguXVJi1ChgxQqgQQPdyrK67Oxs1KtXT+8yDIWZy2Pm8pi5LOatHSd2BhITAwwcaNnU/e9/QFCQczV1ADB37ly9SzAcZi6Pmctj5rKYt3ac2Amwh4ldSAjw3HNASop6vV49dUo3Zowu5RAREZENcGLn5BRFPcL1scfMTV3J7+mcuanjaWjkMXN5zFweM5fFvLXjxE6AXhO7/HzgjTeAZcvMtw0bBqxdC9x5p1gZukhJSUHjxo31LsNQmLk8Zi6Pmcti3tpxYuekrlwBHnnEsqn78ENg+3bnb+oAYOPGjXqXYDjMXB4zl8fMZTFv7bhAsROKiACeekpdfBhQ16fz8wNefFHXskT169dP7xIMh5nLY+bymLks5q0dJ3ZOJjgY6N/f3NS1aAEcOGCspg4A4uPj9S7BcJi5PGYuj5nLYt7asbFzIosXA8OHA5mZ6vUHHgCOHlXPLmE0/OmoPGYuj5nLY+aymLd2bOycQFERMGUK8Npr6jYA/O1vQGgocNdd+taml5YtW+pdguEwc3nMXB4zl8W8tWNj5+Dy8oC//x2YPdt825QpQGCguladUR06dEjvEgyHmctj5vKYuSzmrR2XOxFgq+VOrl4FRo9WJ3MA4OoKLFgA/Oc/VnsJh5WamopGjRrpXYahMHN5zFweM5fFvLXjxM5BxcUBDz1kburq1gW2bmVTV2LhwoV6l2A4zFweM5fHzGUxb+04sRNg7Ynd6dPAk08Cly6p15s0AbZtA/r0ue2nJiIiIgfGiZ2D2bcPGDTI3NS1awccOsSm7mY8DY08Zi6Pmctj5rKYt3ac2NmQr68vfH19UVRUhHPnzt32xC4gQF2P7vp19Xrv3uqkrmlTKxXsRLKyslC/fn29yzAUZi6Pmctj5rKYt3ac2NnQ5MmTERERAZPJdNvP5e8PPP+8uakbPhzYu5dNXUX8/Pz0LsFwmLk8Zi6Pmcti3tqxsXMAPj7Ayy8DxcXq9fHjgZ9/NvZyJn9l2LBhepdgOMxcHjOXx8xlMW/t2NjZuWnTgLfeMl9/+21g2TKgRg39anIEZ86c0bsEw2Hm8pi5PGYui3lrx8bOTikK8MknwGefmW/74gtg7lygGv+t/SX+JkMeM5fHzOUxc1nMW7vqehdAZRUXq1O6BQvMt82YAXz0kX41ORp3d3e9SzAcZi6Pmctj5rKYt3ac/diZwkJgwgRzU+fiAixcyKZOqz/++EPvEgyHmctj5vKYuSzmrR2XOxFQ2QWKCwqAf/xDXdYEUE8R5u8PvPSSTJ3OJCEhAS1atNC7DENh5vKYuTxmLot5a8eJnZ24uamrWRPYuJFNXVUtW7ZM7xIMh5nLY+bymLks5q0dJ3YC/mpiV1CgLjy8caN6vVYtdTkTHuVNREREWnBip7OCAuCf/zQ3dW5ubOqsgaehkcfM5TFzecxcFvPWjhM7ARVN7AoL1aZu/Xr1eklT98QTOhXqRAoKClCDi/2JYubymLk8Zi6LeWvHiZ1OCgvV38/d2NQFBbGps5bZs2frXYLhMHN5zFweM5dl1LzT0tIwceJEjBkzBs899xwKCgos7v/4448xduzYch/LiZ2Amyd2xcXAv/4FrF6t3l+zptrUDR+ua5lO5cKFC2jbtq3eZRgKM5fHzOUxc1lGzfvNN9/EF198gdTUVHTr1g2bN2/GqFGjAACKoqBRo0bo3bs3du3aVeaxnNgJUxRg8mTLpm7TJjZ11nbo0CG9SzAcZi6Pmctj5rKMmPeZM2fg4eGB5s2bIywsDADQtGnT0vtPnTqFq1ev4pFHHin38WzshH32GbBokbpdvbp60MSIEfrW5IxatmypdwmGw8zlMXN5zFyWEfNOTk7GuHHjAAArVqxA+/bt0bdv39L7Q0NDAaDCxo6nFBM0ezYwfbq67eICrFgB/P9klYiIiAiDBw8GAMTGxuLAgQPw9PSEi4tL6f2hoaG444470KtXr3Ifz4mdoK+/Nm8vWKAuSEy2ERcXp3cJhsPM5TFzecxclpHzDgwMBAA8++yzFreHhoZi8ODBcHV1LfdxbOwElBz5WmL6dOC11/SpxSj69++vdwmGw8zlMXN5zFyWkfM2mUzw8PBAp06dSm+LjIxEUlJShV/DAmzsbG7rVuDVV83XP/kE+Phj/eoxig0bNuhdguEwc3nMXB4zl2XkvFNTU9GqVSuL23799VcAwNChQyt8XKWWO1EUBVlZWbdZonHk5+cjPz8fJ0644vnn6yAvLwtAS7z0Uhx8fO7ADV+Vk41wUUt5zFweM5fHzGU5S97169e3+J1cZXzxxRdYvnw5YmNj4erqipMnT2LIkCFwcXFBSkpKhc9XqcauZB02IiIiItKmonPF30pOTg7eeOMNXL58Ge3bt0e9evWwYMECDB8+HOtv/o3XDW5rYtenTx+YTCZNhVbEHp+rqs+TkJCPESOq4+JF9YeNPXsm4/jx9oiIiMBdd92lS022fC57qykzMxMtW7ZEXFyc5v+QbFWTtZ/L3mqy18ztLSdrPo81M7fHnKz5XMxc9nms9Vz2+rlSlefSOrFTFAV5eXmoXbt26W1BQUEYM2YMtmzZgpEjR1b42Eotd+Li4lJuqK6urlYJ216fqyrPk5sLvPIKcPGier1rV+DHHzNx333qv9jbrctZcpJ4rjvuuMNp/3z2WBNgf5nbY07WrAmwTub2mJM1n4uZyz6PtZ/L3j5XrP1c5XnyySdx6NAhXL58GXXr1oWiKPDy8sITTzxxy6YOuM117CZPnnw7D7f759L6PCWnCvv/haLRvDmwfTtQwRHJIjVJPJc91mRN9vjns8earMmZc3LmvO31uZi57PNY+7msxZH+fCaTCX379kXt2rVRVFSEKVOmoLi4GOvWrfvLx/JcsVY0ZYq6CDEA1K0LhIYCPXsC8fHxpePku+++W98iDeDmc/OS7TFzecxcHjOXZeS8g4ODERwcjJycHFy5cgV9+/bFO++8U6kDSXjmCSuZN8/c1Lm6Ahs2qE0dALi5uVn8k2zLzc0Nr7zyCvMWxMzlMXN5zFyWkfN+/PHH8fjjj1fpsVzHzgq2bQPefdd8feFCYPhw83U2drLc3Nzw/PPPM29BzFweM5fHzGUx76phY3ebzpwBXnwRKPlC+7PPgEmT9K2JwHUXdcDM5TFzecxcFvPWjo3dbUhPB55+GsjMVK8/+yzg6alrSfT/unTponcJhsPM5TFzecxcFvPWjo1dFRUVAf/4BxAVpV7v3h1Yvhw8q4Sd2LVrl94lGA4zl8fM5TFzWcxbOx4VW0UffgjMmqVuN2oE/PYb0Lp1+fsa+cgevWRlZaF+/fp6l2EozFweM5fHzGUxb+04sauCVavMTV316sDGjRU3dWQbCxYsQJs2bVCrVi306tUL+/fvt7j/+++/L90OCQmBi4tLmcvZs2ely3ZYoaGhGDVqFFq0aAEXFxcEBQWV2efGzAFg37596NWrF2rVqoW2bdti0aJFQtU6vsrkDZgz53v89k2bNg19+vRB/fr10bRpU4wePRqRkZFl9uP73Dqqkjff55XDxk4jkwmYONF8/fvvgSFDdCvHkNatW4d3330Xn3/+OU6cOIGHHnoIw4cPR2xsbOk+X3zxRZnHRUZG4vLly6WXDh06SJbt0K5du4b7778fPj4+Fe5zY+YXL17EiBEj8NBDD+HEiRP47LPP8PbbbyMgIECiXIdXmbyBsu9zvserbt++fZg8eTIOHz6M4OBgFBYWYtiwYbh27ZrFfnyfW0dV8i7B9/lfUKjSEhMV5a67FEU9BlZR/vMfRSku/uvHZWRkKACUjIwM2xdpAH379lVee+01i9s6d+6sfPLJJ6XXv/3229LtvXv3KgCUq1evSpXo1AAomzZtKnP7jZl/9NFHSufOnS3uf/XVV5V+/frZujynU1HeimLOnO9x67ty5YoCQNm3b5/F7Xyf20Zl8ub7vHI4saukoiJ1WZNLl9TrgwYB8+fzYAlp169fx7FjxzBs2DCL24cNG4awknO5AXj99dfLPPaBBx6Ah4cHHn30Uezdu9fmtRrNjZkfOnSozL+jJ554Ar/99hsKCgqkS3NaN7/P+R63noyMDABAw4YNLW7n+9w2KpN3Cb7Pb42NXSV98w2wZ4+67eGh/q6uZk19azKilJQUFBUVoVmzZha3N2vWDImJiaXX169fX7rt4eGBJUuWICAgAIGBgejUqRMeffRRhIaGitVtBDdmnpiYWO6/o8LCQqSkpEiX5rRKMud73LoURcH777+PQYMGoVu3bhb38X1ufZXNm+/zyuEpxSph1y7g22/VbVdXYO1a4Kb/lkmYy02jUkVRLG7r379/6XanTp3QqVMni/vi4uIwa9YsDB482PbFGsSNmQPl/zsq73aqupLM+R63rjfffBMnT57EgQMHytzH97n1VTZvvs8rhxO7vxAfD/zzn+YzS0ydCvD9o5/GjRvD1dXVYjoHAFeuXLH4m3NcXNwtn6dfv36IKlmEkKzixsybN29e7r+j6tWro1GjRtKlOa1bvc/5Hq+at956C5s3b8bevXtx9913l7mf73Pr0pJ3efg+L4uN3S0UFAAvvACUTNRHjlTXryP91KxZE7169UJwcLDF7cHBwRgwYEDp9b/62/KJEyfg4eFhkxqN6uaJ6c3/jnbt2oXevXujRo0a0qU5rVu9z/ke10ZRFLz55psIDAzEnj170KZNm3L34/vcOqqSd3n4Pi+Hjgdu2L0pU8xHwLZqpSipqVV7Hh4Va11r165VatSoofj5+SkRERHKu+++q9StW1eJjo5WFEVRPvnkE+Wpp54q3X/OnDnKpk2blHPnzimnT59WPvnkEwWAEhAQoNcfweFkZWUpJ06cUE6cOKEAUGbPnq2cOHFCiYmJURSlbOYXLlxQ6tSpo7z33ntKRESE4ufnp9SoUUPZuHGjXn8Eh1KZvMeNG6ecOHFCURS+x63h9ddfV9zd3ZWQkBDl8uXLpZecnJzSffg+t56q5M33eeWwsavAzp3mpq5GDUU5ckT7c/j4+ChdunRROnbsyMbOynx9fZVWrVopNWvWVHr27GlxiPz48eOVDh06lF6fMWOG0q5dO6VWrVrKnXfeqQwaNEjZtm2bHmU7rJJlBm6+jB8/XlGUspkriqKEhIQoDzzwgFKzZk2ldevWysKFC3Wo3DFVJu+HH364NFO+x29feXkDUJYvX166D9/n1lOVvPk+rxyeUqwcKSnquV8vX1avz5kDvPtu1Z+PpxSTl5KSgsaNG+tdhqEwc3nMXB4zl8W8teNv7G6iKOqZJUqauieeAN5+W9+aSDue1kceM5fHzOUxc1nMWztO7G6ydCnwn/+o240bAydPquvW3Q5O7IiIiEgCJ3Y3OHfO8itXP7/bb+pIH56ennqXYDjMXB4zl8fMZTFv7Tix+3/XrwMDBgDHjqnXX30VsNYEmBM7ednZ2ahXr57eZRgKM5fHzOUxc1nMWztO7P7fV1+Zm7pOnQBvb13Lodu0dOlSvUswHGYuj5nLY+aymLd2bOwAHD0KzJihbteoAfz0E1C3rr410e0ZPny43iUYDjOXx8zlMXNZzFs7wzd2+fnAv/8NFBer17/6CujZU9eSyApOnTqldwmGw8zlMXN5zFwW89bO8I3d1KnAH3+o2z178pRhzqJBgwZ6l2A4zFweM5fHzGUxb+0M3diFhwPTpqnb1asDy5erX8WS46tfv77eJRgOM5fHzOUxc1nMWzvDNnYFBcDLLwOFher1zz9XzzZBzuHMmTN6l2A4zFweM5fHzGUxb+0M29h5eakTOwDo1g347DNdyyEre/zxx/UuwXCYuTxmLo+Zy2Le2hmysfvjD+Cbb9TtatXUr2Br1tS3JrIuf39/vUswHGYuj5nLY+aymLd2hluguKgIGDgQOHJEvf7xx8D06bZ9TS5QTERERBIMN7H74QdzU9epk7q8CTkfnoZGHjOXx8zlMXNZzFs7Q03srlwBOncGrl5Vr4eEAA8/bPvX5cROXmFhIapXr653GYbCzOUxc3nMXBbz1s5QE7uPPzY3dePGyTR1pI9Zs2bpXYLhMHN5zFweM5fFvLUzzMRu/35g8GB1290diIwEmjWTeW1O7ORFR0ejdevWepdhKMxcHjOXx8xlMW/tDDGxKygA3njDfP277+SaOtLHgQMH9C7BcJi5PGYuj5nLYt7aGaKxmzcPOH1a3e7dG3j1VZnX9fX1RdeuXdGnTx+ZF6RSrVq10rsEw2Hm8pi5PGYui3lr5/SN3ZUrwNdfq9suLsDChYCrq8xrT548GRERETCZTDIvSKWKior0LsFwmLk8Zi6Pmcti3to5fWP35ZdAVpa6PXGiOrEj53f58mW9SzAcZi6Pmctj5rKYt3ZO3didOgUsXapu168PfPutvvWQnL59++pdguEwc3nMXB4zl8W8tXPaxk5RgPffB4qL1euff84DJowkICBA7xIMh5nLY+bymLks5q2d0y53snUrMGqUut26NXDmDFCrlj61cLkTefn5+XBzc9O7DENh5vKYuTxmLot5a+eUE7uCAuCDD8zXvbz0a+pIHzNnztS7BMNh5vKYuTxmLot5a+eUE7v584G331a3Bw0CQkPVI2L1wokdERERSXC6iV1WluVBErNn69vUkT544mh5zFweM5fHzGUxb+2cbmL37bfqEicA8MILwNq1+tYDcGKnh4SEBLRo0ULvMgyFmctj5vKYuSzmrZ1TTexSUoCS8wW7unJ5EyP75Zdf9C7BcJi5PGYuj5nLYt7aOVVjN306kJmpbr/yCtChg771kH66d++udwmGw8zlMXN5zFwW89bOaRq7+HjAx0fdrlXL/HUsGVNaWpreJRgOM5fHzOUxc1nMWzunaeymTgXy89Xtt94C7rpL33pIX9euXdO7BMNh5vKYuTxmLot5a+cUjV1cHODnp27Xqwd8/LG+9ZD+OnfurHcJhsPM5TFzecxcFvPWzikaOy8vdVFiQJ3WNWqkbz2kv19//VXvEgyHmctj5vKYuSzmrZ3DL3eSkAC0bat+DVu3LhAdDTRurHdVlrjcibzMzExmLYyZy2Pm8pi5LOatncNP7GbONP+27o037K+pI33MmzdP7xIMh5nLY+bymLks5q2dQ0/skpKANm2A3Fygdm3g4kWgWTO9qyqLEzsiIiKS4NATO29vtakDgNdes8+mjvTB09DIY+bymLk8Zi6LeWvnsBO79HSgZUsgOxtwc1OndR4eeldVPk7s5KWlpaFhw4Z6l2EozFweM5fHzGUxb+0cdmK3ZIna1AHAyy/bZ1Pn6+uLrl27ok+fPnqXYjhr1qzRuwTDYebymLk8Zi6LeWvnkBO769fV39YlJAAuLkBkpH2fPowTO3knT57kqWiEMXN5zFweM5fFvLVzyInd2rVqUwcATz9t300d6SM6OlrvEgyHmctj5vKYuSzmrZ3DNXaKoh40UWLKFP1qIfvl6uqqdwmGw8zlMXN5zFwW89bO4Rq7X38FTp5Utx98EBg4UN96yD552OOPLp0cM5fHzOUxc1nMWzuHa+xunNZ98IH6Gzuim5lMJr1LMBxmLo+Zy2Pmspi3dg518MSpU0DJbyjbtAGiogBHmNLy4Al5ycnJaNKkid5lGAozl8fM5TFzWcxbO4ea2Pn6mrfffdcxmjrSx+LFi/UuwXCYuTxmLo+Zy2Le2jnMxC4zE2jRArh2DahXD7h0CXCU4RcndkRERCTBYSZ2K1eqTR0AjBvnOE0d6YOnoZHHzOUxc3nMXBbz1s4hJnaKAnTrBkREqNdPngTuu0/fmrTgxE5eTk4O6tSpo3cZhsLM5TFzecxcFvPWziEmdvv3m5u6QYMcq6kjfSxcuFDvEgyHmctj5vKYuSzmrZ1DNHYLFpi333hDvzrIcYwcOVLvEgyHmctj5vKYuSzmrZ3dN3ZJSUBAgLrdpAnwzDP61kOO4ffff9e7BMNh5vKYuTxmLot5a2f3jd2KFUBhobr9yiuAm5u+9ZBjaNSokd4lGA4zl8fM5TFzWcxbO7tu7BQFWL7cfP2VV/SrhRxL7dq19S7BcJi5PGYuj5nLYt7a2XVjd/QocOaMuv3QQ0D79vrWQ47j3LlzepdgOMxcHjOXx8xlMW/t7LqxW7bMvP3yy/rVQY7n0Ucf1bsEw2Hm8pi5PGYui3lrZ7eNXU4OsHatul23LvDcc/rWQ47lxx9/1LsEw2Hm8pi5PGYui3lrZ7cLFK9eDbz0kro9YYLlb+0cDRcoJiIiIgl2O7Fbtcq87ahfw/r6+qJr167o06eP3qUYDk9DI4+Zy2Pm8pi5LOatnV1O7JKTAQ8PoKgIuOce4OJFoJrdtqB/jRM7eUVFRXB1ddW7DENh5vKYuTxmLot5a2eX7dKGDWpTBwD/+IdjN3WkDy8vL71LMBxmLo+Zy2Pmspi3dnY5sXvoIeDAAXU7PBy4/35dy7ltnNjJi4mJQatWrfQuw1CYuTxmLo+Zy2Le2tndLCw21tzUde0KdO+ubz3kmEJDQ/UuwXCYuTxmLo+Zy2Le2tldY1eyxAkAvPgi4OKiXy3kuNq0aaN3CYbDzOUxc3nMXBbz1s7uGrs1a8zbf/+7fnWQYyssOcEwiWHm8pi5PGYui3lrZ1eN3cWL6m/qAKB3b6BdO13LIQeWmJiodwmGw8zlMXN5zFwW89bOrhq7TZvM22PH6lcHOb5evXrpXYLhMHN5zFweM5fFvLWzq8YuMNC8PWaMfnWQ4wsKCtK7BMNh5vKYuTxmLot5a2c3y50kJgItWgCKoh4N+8cfeldkPVzuRF5eXh5q1aqldxmGwszlMXN5zFwW89bObiZ2P/+sNnUAp3V0+2bNmqV3CYbDzOUxc3nMXBbz1s5uJnZPPAHs2qVuHzsG9Oypbz3WxIkdERERSbCLiV16OrBnj7rdqhXwwAO6lkNOgCeOlsfM5TFzecxcFvPWzi4mdhs2AM8/r26//Tbw/ff61mNtnNjJS0xMRPPmzfUuw1CYuTxmLo+Zy2Le2tnFxO6XX8zbTz2lXx3kPLZs2aJ3CYbDzOUxc3nMXBbz1k73xq642NzY1akDDB6sbz3kHHr06KF3CYbDzOUxc3nMXBbz1k73xu7339WlTgBg6FDAlkc1X716FePGjYO7uzvc3d0xbtw4pKen3/IxEyZMgIuLi8WlX79+tiuSrCI1NVXvEgyHmctj5vKYuSzmrV11vQvYvt28PWKEbV/rxRdfRHx8PHbs2AEA+M9//oNx48b95aj3ySefxPLly0uv16xZ06Z10u3Lzc3VuwTDYebymLk8Zi6LeWune2N34+/rhg+33eucOXMGO3bswOHDh/Hggw8CAJYuXYr+/fsjMjISnTp1qvCxbm5u/PGmg+nQoYPeJRgOM5fHzOUxc1nMWztdv4q9ehU4dEjd7twZaNPGdq916NAhuLu7lzZ1ANCvXz+4u7sjLCzslo8NCQlB06ZN0bFjR0yaNAlXrly55f75+fnIzMy0uJCsvXv36l2C4TBzecxcHjOXxby1q3Rjt2bNGpw/fx5eXl7Iz88vXVvG09MTCQkJ8PPzg8lkws6dOxEYGIiIiAjMmzcPmZmZFvumpaXB19cXJ0+exPTpJhQXq89/110nkZycbLFvTk4OvL29ERkZifXr12P37t0ICwuDv78/4uLiLPYtKirCtGnTEBMTg5UrV+LAgQMICQnB2rVrERUVhQ0bNqBJkyYWj0lMTISbmxt+++037NixA5s2bcLp06cxf/58ZGRkwNPTE8OHD8eoUaMQFBSEoUOHYv/+/ejduzd+/vlnHDt2DEuWLEFSUpLF837zzTelv+Nzd3dHy5YtSzOMjY3F1KlTUVxcDE9PTxQXF2Pq1KmIjY3FihUrcPDgQezZswfr1q1DVFQUvL29kZuba/H8SUlJWLJkCY4dO4bt27cjKCgIp06dgo+PD9LT0y32zcjIwPz583H69Gls2rQJO3bsgMlkwtKlS5GYmGixb15eHmbOnImoqCisXbsWISEhOHDgAFauXImYmBhMmzYNRUVFFo+Ji4uDv78/wsLCsHv3bqxfvx6RkZHw9vZGTk6Oxb7JyclYvHgxjh8/jm3btmHz5s04efIkfH19kZaWZrFvZmYm5s2bh4iICAQGBmLnzp0wmUzw8/NDQkKCxb75+fnw8vLC+fPnsWbNGoSEhKB9+/ZYtWoVoqOjMX36dBQWFlo8Jj4+HsuXL8fhw4cRHByMDRs24OzZs5gzZw6ys7Mt9k1JScGiRYsQHh6OrVu3YsuWLQgPD8fChQuRmppqsW9WVhbmzp2LiIgIBAQEYNeuXThy5AiWLVtWpu6CggLMmDEDFy5cwOrVqxEaGorQ0FCsXr0aFy5cwIwZM1BQUFDmv7Vly5bhyJEj2LVrFwICAhAREYG5c+ciKyvLYt/U1FQsXLgQ4eHh2LJlC7Zu3Yrw8HAsWrQIKSkpFvtmZ2djzpw5OHv2LDZs2IDg4GAcPnwYy5cvR3x8vMW+hYWFmD59OqKjo7Fq1Srs378fISEhqFOnjtU/IzZv3oxt27bh+PHjWLx4sU0/I2bOnIm8vLwynxFLly6FyWSq8DOiZN/09HT4+Pjg1KlTCAoKwvbt2yv8jMjNzYW3tzeioqKwbt067NmzBwcPHsSKFSs0fUYMHDiQnxFV/IzYv39/lT4jsrKy+BlRxc+IqvQROTk5TvEZIUrR0WuvKYp6IjFF+eWXqj3H//73PwXALS8mk0mZOnWq0rFjxzKPb9++vTJt2rRKv15CQoJSo0YNJSAgoMJ98vLylIyMjNJLXFycAkDJyMio0p+RtPv222/1LsFwmLk8Zi6Pmcti3trpukBxp07AuXNA9erq17L16ml/jpSUFKSkpNxyn9atW+Onn37C+++/X+Yo2AYNGmDOnDl4+eWXK/2aHTp0wMSJE/Hxxx9Xan8uUExEREQSdPuNXUKC2tQBQN++VWvqAKBx48bo3LnzLS+1atVC//79kZGRgaNHj5Y+9siRI8jIyMCAAQMq/XqpqamIi4uDh4dH1QomETwNjTxmLo+Zy2Pmspi3drpN7FavBl56Sd3+/HNA4t/d8OHDkZCQgMWLFwNQlztp1aqVxXInnTt3xrRp0zBmzBhkZ2fjq6++wtixY+Hh4YHo6Gh89tlniI2NxZkzZ1C/fv1KvS4ndvLS09PRoEEDvcswFGYuj5nLY+aymLd2uk3s9uwxbw8dKvOaq1evxn333Ydhw4Zh2LBh6N69O1auXGmxT2RkJDIyMgAArq6uOHXqFJ5++ml07NgR48ePR8eOHXHo0KFKN3Wkj1WrVuldguEwc3nMXB4zl8W8tdNtYte2LXDxIlCzJpCeDtSurUcVMjixk3fq1Cncd999epdhKMxcHjOXx8xlMW/tdJnYxcSoTR0A9O/v3E0d6eP8+fN6l2A4zFweM5fHzGUxb+10aexCQszbUl/DkrHwtG/ymLk8Zi6Pmcti3trp0tgdPGjeHjxYjwrI2TVr1kzvEgyHmctj5vKYuSzmrZ0ujV3JGbxcXdWlTois7dixY3qXYDjMXB4zl8fMZTFv7cQPnkhPBxo2VM830asX8Ntvkq+uDx48IS8pKYl/0xPGzOUxc3nMXBbz1k58YnfkiNrUAeqBE0S2sHTpUr1LMBxmLo+Zy2Pmspi3duITu6++Ar7+Wt3+6SfgH/+QfHV9cGJHREREEsQndiW/rwM4sSPb4Wlo5DFzecxcHjOXxby1E53YFRWpv6/LzAQ8PIBLlwAXF6lX1w8ndvJyc3NRmwskimLm8pi5PGYui3lrJzqxO3NGbeoAYMAAYzR1pI8FCxboXYLhMHN5zFweM5fFvLUTbexuPGqZy5yQLf3tb3/TuwTDYebymLk8Zi6LeWsn2tgdP27e7tlT8pXJaI7f+GYjEcxcHjOXx8xlMW/tRBu7EyfM2w88IPnKZDRNmjTRuwTDYebymLk8Zi6LeWsn1tgVF5sbu3vuARo1knpl/fj6+qJr167o06eP3qUYjpubm94lGA4zl8fM5TFzWcxbO7HG7s8/gexsddsoX8NOnjwZERERMJlMepdiOOfPn9e7BMNh5vKYuTxmLot5ayfW2N34NaxRGjvSz5AhQ/QuwXCYuTxmLo+Zy2Le2ok1djf+/pG/ryNbW7lypd4lGA4zl8fM5TFzWcxbO7EFiocNA4KD1e1Ll4AWLSRe1T5wgWJ5xcXFqFZN/MQqhsbM5TFzecxcFvPWTiQtRTFP7Jo1U886QWRL3333nd4lGA4zl8fM5TFzWcxbO5GJ3aVLwN13q9tPPAHs2GHrV7QvnNjJ49/y5DFzecxcHjOXxby1E0krIsK83a2bxCuS0U2bNk3vEgyHmctj5vKYuSzmrZ1IY3fmjHm7a1eJVySjGzdunN4lGA4zl8fM5TFzWcxbO/GJXZcuEq9IRhcSEqJ3CYbDzOUxc3nMXBbz1o6NHTmldu3a6V2C4TBzecxcHjOXxby1E/0q1sMDaNBA4hXJ6PLz8/UuwXCYuTxmLo+Zy2Le2tm8sUtOBlJS1G3+vo6kJCcn612C4TBzecxcHjOXxby1s3ljd+OBE/walqT05HnrxDFzecxcHjOXxby1s3ljd+Pv6zixIymbN2/WuwTDYebymLk8Zi6LeWtn8wWK33kHmDdP3d67FzDi+Xy5QLG83Nxc1K5dW+8yDIWZy2Pm8pi5LOatnc0ndmfPmrf5VSxJ8fb21rsEw2Hm8pi5PGYui3lrZ/OJXYcOwJ9/AvXqAZmZgIuLLV/NPnFiR0RERBJsOrErKgKio9Xttm2N2dSRPjw9PfUuwXCYuTxmLo+Zy2Le2tl0YhcTA7RurW6PHg1s2mSrV7JvnNjJS0pKQrNmzfQuw1CYuTxmLo+Zy2Le2tl0Ynfhgnm7bVtbvpJ98vX1RdeuXdGnTx+9SzGcn3/+We8SDIeZy2Pm8pi5LOatnU0bu/PnzdtGPCvI5MmTERERAZPJpHcphtOrVy+9SzAcZi6Pmctj5rKYt3ac2JFTSkpK0rsEw2Hm8pi5PGYui3lrx8aOnNL169f1LsFwmLk8Zi6Pmcti3tqJNHYuLkCrVrZ8JSJL7Yz43b/OmLk8Zi6Pmcti3trZtLG7eFH95913A25utnwlIkv79u3TuwTDYebymLk8Zi6LeWtns+VO8vKAkrOADBwIHDhgi1dxDFzuRF56ejoaNGigdxmGwszlMXN5zFwW89bOZhO7S5fM23ffbatXISqfj4+P3iUYDjOXx8zlMXNZzFs7m03sQkKAoUPV7SlTgFmzbPEqjoETOyIiIpJgs4ldfLx5mxM7ksbT0Mhj5vKYuTxmLot5a2ezid306cCnn6rbGzYAzz5ri1dxDJzYycvIyIC7u7veZRgKM5fHzOUxc1nMWztO7MgprVixQu8SDIeZy2Pm8pi5LOatHRs7ckpDS37gSWKYuTxmLo+Zy2Le2tm8satWDWje3FavQlS+qKgovUswHGYuj5nLY+aymLd2NmvsSk7v1rQpUL26rV6FqHy1SxZRJDHMXB4zl8fMZTFv7WzS2CkKcOWKut20qS1egejWGjVqpHcJhsPM5TFzecxcFvPWziaNXUYGUHLe3mbNbPEKRLcWHh6udwmGw8zlMXN5zFwW89bOJo1dybQO4MSO9DFq1Ci9SzAcZi6Pmctj5rKYt3Zs7Mgp/fDDD3qXYDjMXB4zl8fMZTFv7WyyQHFgIDB2rLo9bRrwySfWfgXHwgWKiYiISIJNJnYlR8QC/I0d6YOnoZHHzOUxc3nMXBbz1s4mE7uvvwa++krd3roVeOopa7+CY/D19YWvry+Kiopw7tw5TuwE5eXloVatWnqXYSjMXB4zl8fMZTFv7fgbOxuaPHkyIiIiYDKZ9C7FcObPn693CYbDzOUxc3nMXBbz1s4mjV1ysnm7SRNbvALRrY0ePVrvEgyHmctj5vKYuSzmrZ1NGrv0dPN2w4a2eAWiWzt27JjeJRgOM5fHzOUxc1nMWzubNHZXr/7/k1cD6tWzxSsQ3VpznqBYHDOXx8zlMXNZzFs7m07s3N3V5o5IWnWeoFgcM5fHzOUxc1nMWzubNnYNGtji2Yn+2sWLF/UuwXCYuTxmLo+Zy2Le2lm9sVMUc2N3553Wfnaiyhk8eLDeJRgOM5fHzOUxc1nMWzurN3Y5OUBhobrNiR3p5aefftK7BMNh5vKYuTxmLot5a2f1BYovXQLuvlvdfuYZICDAms/umHhKMXlFRUVwdXXVuwxDYebymLk8Zi6LeWtn9YldyRGxACd2pJ9p06bpXYLhMHN5zFweM5fFvLWz+sTuwAHgoYfU7fffB7y9rfnsjokTOyIiIpJg9YndjYsTc2JHeuGJo+Uxc3nMXB4zl8W8tbN6Y5eZad7mcIr0Mn78eL1LMBxmLo+Zy2Pmspi3djY5KrZE3brWfnaiytm9e7feJRgOM5fHzOUxc1nMWzs2duSUOnbsqHcJhsPM5TFzecxcFvPWzuqN3bVr5u06daz97ESVk5ubq3cJhsPM5TFzecxcFvPWjhM7ckqpqal6l2A4zFweM5fHzGUxb+04sSOndP/99+tdguEwc3nMXB4zl8W8tePEjpzS1q1b9S7BcJi5PGYuj5nLYt7aWX2B4nHjgFWr1O1z54AOHaz57I7F19cXvr6+KCoqwrlz57hAsaCcnBzU4chYFDOXx8zlMXNZzFs7TuxsaPLkyYiIiIDJZNK7FMOZPXu23iUYDjOXx8zlMXNZzFs7q0/shg8HduxQt69e5dknAJ5SjIiIiGTYdGJXu7a1n52ocngaGnnMXB4zl8fMZTFv7aw+sRs4EAgLU7eLioBqVm8dHQ8ndvKSk5PRpEkTvcswFGYuj5nLY+aymLd2Vm+7CgvVf7q4sKkj/QQGBupdguEwc3nMXB4zl8W8tbNZY1e9urWfmajy+vTpo3cJhsPM5TFzecxcFvPWzuqNXVGR+k9XV2s/M1HlXb58We8SDIeZy2Pm8pi5LOatHSd25JSKSv6GQWKYuTxmLo+Zy2Le2rGxI6fUunVrvUswHGYuj5nLY+aymLd2bOzIKe3fv1/vEgyHmctj5vKYuSzmrZ3Vlztp3RqIiQGaNQMSE635zI6Ly53IS0tLQ8OGDfUuw1CYuTxmLo+Zy2Le2nFiR05pwYIFepdgOMxcHjOXx8xlMW/trD6x8/BQJ3WtWgHR0dZ8ZsfFiR0RERFJ4MSOnBJPQyOPmctj5vKYuSzmrZ3VJ3Z33gmkpwMdOwKRkdZ8ZsfFiZ28zMxMZi2Mmctj5vKYuSzmrR0nduSU/P399S7BcJi5PGYuj5nLYt7aGaqxmzp1KgYMGIA6deqgQYMGlXqMoij46quv0KJFC9SuXRtDhgzBH3/8YdtC6bY99thjepdgOMxcHjOXx8xlMW/tDNXYXb9+Hc899xxef/31Sj/Gy8sLs2fPho+PD0wmE5o3b47HH38cWVlZNqyUbtfZs2f1LsFwmLk8Zi6Pmcti3toZ6lyxX3/9Nd577z3cd999ldpfURTMnTsXn3/+OZ555hl069YNP/74I3JycvDTTz/ZuFq6HXXr1tW7BMNh5vKYuTxmLot5a2fVxq64GCg5FMMeJ3ZaXbx4EYmJiRg2bFjpbW5ubnj44YcRFhZW4ePy8/ORmZlpcSFZXNBSHjOXx8zlMXNZzFu7Sjd2a9aswfnz5+Hl5YX8/PzSQ5A9PT2RkJAAPz8/HDnyG5o2zUXDhrmoXTsT8+bNQ2ZmpsW+aWlp8PX1xcmTJ7F582Zs27YNx48fx+LFi5GcnGyxb05ODry9vREZGYn169dj9+7dCAsLg7+/P+Li4iz2LSoqwrRp0xATE4OVK1fiwIEDCAkJwdq1axEVFYWZM2ciLy+v9DH5+flITEzE0qVLYTKZsGPHDmzatAmnT5/G/PnzkZGRgenTp5f+2dPT0+Hj44NTp04hNzcXp0+fxrFjx7BkyRIkJSVZ1PLNN9/A3d299NKyZcvS54mNjcXUqVNRXFwMT09PFBcXY+rUqYiNjcWKFStw8OBB7NmzB+vWrUNUVBS8vb2Rm5tr8fxJSUlYsmQJjh07hu3btyMoKAinTp2Cj48P0tPTLfbNyMjA/Pnzcfr0aWzatAk7duyAyWTC0qVLkZiYaLFvXl4eZs6ciaioKKxduxYhISE4cOAAVq5ciZiYGEybNg1FRUUWj4mLi4O/vz/CwsKwe/durF+/HpGRkfD29kZOTo7FvsnJyVi8eDGOHz+Obdu2YfPmzTh58iR8fX2RlpZmsW9mpvr+iYiIQGBgIHbu3AmTyQQ/Pz8kJCRY7Jufnw8vLy+cP38ea9asQUhICDZu3IhVq1YhOjoa06dPR2FhocVj4uPjsXz5chw+fBjBwcHYsGEDzp49izlz5iA7O9ti35SUFCxatAjh4eHYunUrtmzZgvDwcCxcuBCpqakW+2ZlZWHu3LmIiIhAQEAAdu3ahSNHjmDZsmVl6i4oKMCMGTNw4cIFrF69GqGhoQgNDcXq1atx4cIFzJgxAwUFBWX+W1u2bBmOHDmCXbt2ISAgABEREZg7dy6ysrIs9k1NTcXChQsRHh6OLVu2YOvWrQgPD8eiRYuQkpJisW92djbmzJmDs2fPYsOGDQgODsbhw4exfPlyxMfHW+xbWFiI6dOnIzo6GqtWrcL+/fsREhKCpUuX/uVnhMlkws6dOxEYGIiIiAi7/ozw9PT8y8+IG/e98TMiKCgI27dvr/AzIjc3F97e3oiKisK6deuwZ88eHDx4ECtWrND0GREcHMzPiCp+Ruzfv79KnxGzZs3iZ0QVPyMq00fc/Bkxe/Zsp/iMkGT15U6kffXVV/j6669vuY/JZELv3r1Lr/v7++Pdd99Fenr6LR8XFhaGgQMHIiEhAR4eHqW3T5o0CXFxcdixY0e5j8vPz0d+fn7p9czMTLRs2ZLLnQhKSEhAixYt9C7DUJi5PGYuj5nLYt7aWf03dtLefPNNnDlz5paXbt26Vem5mzdvDgBIvOmkt1euXEGzZs0qfJybmxvuuOMOiwvJWrZsmd4lGA4zl8fM5TFzWcxbO4ef2FVFZSd2iqKgRYsWeO+99/DRRx8BUI+sbdq0KWbMmIFXX321Uq/HBYqJiIhIgsNP7LSIjY1FeHg4YmNjUVRUhPDwcISHhyM7O7t0n86dO2PTpk0AABcXF7z77rv47rvvSr83nzBhAurUqYMXX3xRrz8GVQJPQyOPmctj5vKYuSzmrZ2hJnYTJkzAjz/+WOb2vXv3YsiQIQDUZm758uWYMGECAHVq9/XXX2Px4sW4evUqHnzwQfj6+mr6epcTO3n5+flwc3PTuwxDYebymLk8Zi6LeWtnqImdv78/FEUpcylp6gC1kStp6gC10fvqq69w+fJl5OXlYd++fVX+zR7J+f777/UuwXCYuTxmLo+Zy2Le2hlqYqcXTuzknT9/Hu3atdO7DENh5vKYuTxmLot5a8fGTgAbOyIiIpLAxk6AoijIyspC/fr14eLionc5RERE5KTY2BERERE5CUMdPEFERETkzNjYERERETkJNnZEREREToKNHREREZGTYGNHRERE5CTY2BERERE5CTZ2RERERE7i/wB/5Mc3fNWnJAAAAABJRU5ErkJggg==", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 6, "metadata": {}, "output_type": "execute_result" } ], "source": [ "graph = plot(lambert_w(x), (x,-1/e, 2.7), axes_labels=[r'$y$', r'$W_0(y)$'], \n", " thickness=2, gridlines=True)\n", "graph" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Rescaled Lambert function" ] }, { "cell_type": "code", "execution_count": 7, "metadata": {}, "outputs": [], "source": [ "def w(x):\n", " return RDF(lambert_w(RDF(x/e)) + 1)" ] }, { "cell_type": "code", "execution_count": 8, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\(\\displaystyle 1.0\\)" ], "text/latex": [ "$\\displaystyle 1.0$" ], "text/plain": [ "1.0" ] }, "execution_count": 8, "metadata": {}, "output_type": "execute_result" } ], "source": [ "w(0)" ] }, { "cell_type": "code", "execution_count": 9, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\(\\displaystyle 0.0004471469422080432\\)" ], "text/latex": [ "$\\displaystyle 0.0004471469422080432$" ], "text/plain": [ "0.0004471469422080432" ] }, "execution_count": 9, "metadata": {}, "output_type": "execute_result" } ], "source": [ "w(-0.9999999)" ] }, { "cell_type": "code", "execution_count": 10, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\\(\\displaystyle 1.463055513365549\\)" ], "text/latex": [ "$\\displaystyle 1.463055513365549$" ], "text/plain": [ "1.463055513365549" ] }, "execution_count": 10, "metadata": {}, "output_type": "execute_result" } ], "source": [ "w(2)" ] }, { "cell_type": "code", "execution_count": 11, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnUAAAD0CAYAAAD9hNAAAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguMCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy81sbWrAAAACXBIWXMAAA9hAAAPYQGoP6dpAABBDElEQVR4nO3de1zUVf4/8BdiIpqCdyUv4CVLTVPC0qzssm5Wbrfddqst1622Ei2zsrXLd22DVBRlFRbUVFLM2wLmLS+piEoYgngJRUS5qEAIykVggGF+f3x+XCZAQefw/jDzej4e82Bm+MyZw2tPn317Zj7n2JlMJhPIqqSkpODjjz/GihUr0K5du5tux2g04g9/+AOmTp2KJ5980oI9JCIiIktrId0BW/Txxx+ja9eusLOzg52dHZycnODu7o7CwkIAwKpVq9C3b9+q3zs6OmLIkCGIjY2tauPbb7+Fs7Nz1TF9+/bFsWPHUFBQgL/+9a9YuHDhLRV0AGBvb4/Vq1fjww8/RFZW1i21RURERGrZcaZORnFxMdq0aYOWLVsiLy8Pbdq0qXXMgw8+iKioKBw5cgTu7u61fm8wGODq6oqQkBA8/vjjAIC33noLI0eOxFtvvWWxvn711VdISkrCqlWrLNYmERERWRZn6oQ4OjrCyckJ5eXlaNGi7v8ZWrZsCUD7GLQu+/btw1dffVVV0B09ehT79u3DpEmTLNrXKVOmYMuWLTh79qxF2yUiIiLLYVEnqFOnTgCAnJycWr9LTEzEzz//DAC4fPlyrd8bDAZ89913eOONN6qe8/HxwaRJk6qKQUvp0KEDHnvsMSxfvtyi7RIREZHlsKgT1LlzZwB1F3Xe3t54/vnnAdRd1C1YsADTpk2DnZ0dACA/Px+bNm3CU089paSvDz/8MMLDw5W0TURERLfOslM61Cj1FXWhoaF44okncObMmTp/n5qaitzcXIwYMaLquR9//BH29vYYOnRove935coVfPnllygvL8fZs2fx0ksv4ZVXXsHHH38Mk8mEK1eu4LPPPsOgQYNqvfbhhx/GtGnTkJWVhW7dut3030xERERqsKgTVNfHr0VFRQgLC0NISAj8/PwA1J6p8/b2xty5c82ei4qKgoeHB+zt7et8r9LSUkyePBm+vr5wcXFBamoq3Nzc8P3338PPzw9JSUl4+umn0aFDB/j7+9d6vaurKwDg2LFjGDdu3M3+yURERKQIP34VVNdMnY+PDz7++GPY2dlV/b5mUffDDz9g9OjR6NChg1lbp06dwh133FHvewUFBWHSpElwcXEBALRu3Romkwmurq5wc3OD0WjEgAED8PLLL9f5emdnZ9jb2yMlJeWm/lYiIiJSizN1gipn6iqLtuTkZBQWFuLee+81+31l0WcwGLB27Vp8++23tdq6ePEi3Nzc6n2vDh06mM2wHTlyBACqFhUeP348xo8fX+/rK9fTy8vLa+ifR0RERE2IRZ2g387UeXl5YcGCBbV+X1n0+fr64oMPPqi6OKKmwsJCODk51fter732mtnjffv2wd7eHmPGjGlwfx0cHGAwGBp8PBERETUdfvwqqOZM3JYtWzBmzBizj1VrzuSlpKTg6tWrGD58eJ1t2dvbo7S0tMHvvXfvXri7uzdq14nc3FzcfvvtDT6eiIiImg6LOkGVM3EXL17E2rVr8fe//93s9zWLuq+//hqffvppvW05OzsjNze3Qe975coVHDt2DGPHjjV7/ptvvqn3NdeuXYPBYLju9/aIiIhIDos6QZVFW0REBKZPn17rY1VnZ2e0bNkSWVlZePDBB+Hs7FxvW66urvUWddnZ2Rg5ciS+/PJLAMCOHTtQUVGBkSNHmh0TFRVVb/uVe78OHDiwQX8bERERNS0WdYIqZ+refPNN3HfffXUe07FjR4wePRqvv/76ddsaOnQozp8/X+fv9u/fj5iYGJhMJhQXF2P9+vVwcXFBYWEhAG0W7r333sOsWbPqbf+nn35C+/btMWTIkAb8ZURERNTU7Ewmk0m6E7aqrKwM/fv3R1xcXNWs3W+NGjUKQUFBGDZs2HXbOnDgAMaOHYucnJxaM3oFBQX44IMP0KpVKxQWFmLmzJnIz8/Hp59+ij59+qC0tBQzZsy47sLFb7/9NvLz87F27dpG/51ERESkHos6K1FRUQEXFxd88803eOaZZyzedv/+/eHv769sGzIiIiK6Nfz41Uq0aNECb775JtatW2fxtv/3v/+hbdu2113HjoiIiGRxps6KZGdn4+6770ZMTMx1FyJurBEjRmD+/Pl47LHHLNYmERERWRaLOisTFBSEn3/+GStWrLBIe7Nnz0ZOTg7mz59vkfaIiIhIDX78amXeeecdGI3GOrcSa6ydO3ciMTERc+fOtUDPiIiISCUWdVZo+fLliI6OxqlTp26pnR49emDlypWwt7e3UM+IiIhIFX78SkRERGQFOFNHREREZAVY1BERERFZARZ1RERERFaARR0RERGRFWBRR0RERGQFWNQRERERWQEWdURERERWgEUdERERkRVgUUdERERkBVjUEREREVkBFnVEREREVoBFnRUxmUzIz88Ht/MlIiKyPUqKuvLychXN0g0UFBTAyckJBQUF0l2xSRz3Mpi7HGYvh9nL0HvuSoq6+fPnq2iWSNc47mUwdznMXg6zlzF//nzoua6zMyn4rC4lJQWurq6WbpZuID8/H05OTsjLy0P79u2lu2NzOO5lMHc5zF4Os7csgwHIygIyM81vlc9lZVXer8Ddd7fAzz9L97huLVU0evDgQQ42sjkc9zKYuxxmL4fZ35jRCGRn11+o1bxdvdrQVlsgK0thp2+RkqKuT58+Kpol0jWOexnMXQ6zl2Or2ZtMwJUrNy7SMjOBy5eBigrLvbeTE9C+fREGDmxjuUYtTElRZzQaVTRL9QgICEBAQABzF8b8ZTB3OcxejrVlX1jYsEItKwsoK7Pc+7ZpA/ToAXTrBnTvXn2r+bhbN+3WujUQEfEzxo4da7kOWJiSoi4jI0NFs1QPT09PeHp6Vn2njmRw3Mtg7nKYvZzmkL3JpH2smZGh3S5dqvt+RgZw7Zrl3ve222oXZvUVbLff3ri29Z67kqJu5MiRKpol0jWOexnMXQ6zlyOZvckE5OTUXZz99nFJiWXe084O6Nq1/mKt5nMdOmjHq6D3Ma+kqAsNDcWMGTNUNE2kWxz3Mpi7HGYvR0X2FRXahQU3mlXLyLDcR6BOTtrHn3V9BFqzWOvcGWippGJpHL2PeSVLmhgMBjg4OFi6WboBLmkii+NeBnOXw+zlNCb7yqtAL16sv1i7dEn7vpqlvqrXsWN1sebiUvf9Hj2077Q1J3of80rq3nnz5uHzzz9X0TSRbnHcy2Ducpi9nMrsCwu1guzixfpvmZmw2IK5XbrcuFjr3l27qMAa6X3MK5mpIxmcqSMisg5GI/Drr9cv1i5eBPLzb/29WrTQvq92o2KtWzegVatbfz9SR8lMnZeXl64rWSIVOO5lMHc5zP7mFBbeuFjLzLTMR6FdugB33FF9qyzSahZrXbvq4/tqzYHex7ySmbpLly7BxcXF0s3SDXCmThbHvQzmLofZm6tcGDc9HbhwwfxnzYKtoODW36t1axPuuMPOrGCrq3jT8de/miW9j3kltfkPP/yAN954Q0XTVAcuPqwPHPcymLscW8reZALy8rQCrWax9tsCrqjo1t+ra9e6C7Wat9DQFXjzTdvIXk/0PuaVFHVDhw5V0SzVg4sP6wPHvQzmLseasq8s2H47w1bz/q0ukNumTfUsWn3FWvfuDfve2rBh1pN9c6L3Ma+kqMvNzVXRLJGucdzLYO5ymkv2BQU3nmG71Y9E27YFevWqvvXsWf2z8ubkZLlFcZtL9tZG77krKequWXK/D6JmguNeBnOXo4fsjUZtnbW0NCA1te6ft3qFaJs2dRdrNZ+zZMHWEHrI3hbpPXclRd1dd92lolkiXeO4l8Hc5TRF9kVFWmFWX9F24cKtrcHm6Hj9Yq1XL8DZuWkLtobguJeh99yVFHU//vgjBg0apKJpIt3iuJfB3OXcavYmE3D5cv0zbKmp2u9vVqtWWlHWu3fdxVrPntrOB3or2BqC416G3nNXsqRJfn4+l9QQwCVNZHHcy2Ducm6UfVmZNpNWX9GWlgYUF9/8+3foAPTpo9169679s2tXbWFda8RxL0PvuSuZqVu0aJGuF+cjUoHjXgZzl+PntxgTJ36GlBTg/HnU+nnxorZJ/M1o0UK7GrS+gq13b6BdOwv+Mc0Mx70MvefObcKsCGfqiMiSKiq0nQ3qKtjOn9euHL3Z77O1aXP9WbY77uAuB0SNxW3CiCyE414Gc795JhOQnW1eqNUs3lJTAYPh5tru1AlwddVudRVuzfW7bHrBcS9D77krmanLzc1Fx44dLd0s1aPmjhJnzpzhTJ0QjnsZzP36CgqA5GTg3Lm6C7eb3QHByQno3bsc/fq1hJubVrxV/nR1te2PRpsCx70MveeupKgLCAiAp6enpZulG+DHr7I47mXYeu4VFdo6bZWFW3Ky+f2bvXq0TRutSPttwVb5nLMzs5fE7GXoPXclH78+9NBDKpol0jWOexm2kHtxsTarVlfhdv48UFLS+DYdHGoXazV/du58449HbSF7vWL2MvSeu5KiLiUlRff7oxFZGse9DGvIvXK9tsqC7bc/L168uXZ79gT69gX69dN+9u1bXbh163bry31YQ/bNFbOXoffclRR19vb2Kpol0jWOexnNJXeTCfj1VyApCTh7VvtZeUtOvrm9Rx0czIu2fv2q77u5Aa1bW/7vqKm5ZG+NmL0MveeupKjr0aOHimablcjISMybNw+xsbHIyMhAeHg4nnvuuXqPj4iIwKOPPlrr+VOnTul+WxLScNzL0FPulVeT/rZoq3x8M4Vb587mxVrNnz16yC6uq6fsbQ2zl6H33JUUdTExMRgxYoSKppuNa9euYdiwYZg0aRJefPHFBr8uMTHR7CKHLl26qOgeKcBxL6OpczeZgJycuou2pKTGbx5vb68t8VHXbFvfvoCer3nimJfD7GXoPXclV79mZ2ezGKnBzs6uwTN1V65cgbOz8029D69+lcVxL0NV7gUFwJkzQGKidqtZxOXlNa6tFi20wm3AgOpb//7aT1dXbY/S5ohjXg6zl6H33JXM1C1ZskTXi/Pp2fDhw1FSUoJBgwbh888/r/Mj2UoGgwGGGiuD5jd2ioAsiuNexq3kbjRq+48mJgKnT1cXcImJwKVLjWvLzs68cKss2gYM0L7f1lwLt+vhmJfD7GXoPfcGfxtj7dq1SE5Oho+PDwwGA7y8vABoqytfunQJy5cvR0xMDHbu3IlBgwYhISEBixYtQn5+vtmxubm5CAgIwPHjx7F582Zs27YNcXFxWLJkCbKzs82OLSoqgq+vLxITE7Fhwwbs2bMHUVFRCA4ORnp6utmxRqMRs2fPRmpqKlavXo2DBw8iIiIC69atQ1JSEubNm4eSkhKz12RmZmLZsmWIiYnBjh07EB4ejpMnT2Lx4sXIy8szO/bq1avw9/fHiRMnsGnTJmzfvh2xsbFYunQpsrKyzI4tLi6Gr68vkpKSsH79egDad+NWrVqFtLQ0eHt7o6KiAl5eXqioqIC3tzdMJhMmTZqEL774Ap9++ins7e3x+OOPY/LkySguLjZrPysrC0uXLsXUqVPh5ORUdevVqxcAwMfHp+rYvLw8LF68GCdPnkR4eDh27NiBmJgYLFu2DJmZmWbtlpSUYN68eUhKSsK6desQERGBgwcPYvXq1UhNTcXs2bNhNBrNXpOeno7g4GBERUVhz5492LBhAxITE+Hr64uioiKzY7Ozs7FkyRLExcVh27Zt2Lx5M44fP46AgADk5uaaHZufn49FixYhISEBYWFh2LlzJ2JiYrB8+XJcunTJ7FiDwQAfHx8kJydj7dq1iIiIwIEDBxASEoKUlBTMmTMH5eXlZq+5cOECVq5ciejoaOzevRsbN27E6dOnsXDhQhQWFpode/nyZQQFBSE+Ph5bt27Fli1bEB8fj8DAQOTk5FQdCwAFBQXw8/NDQkICQkNDsWvXLhw+fBgrVqyo1e+ysjLMnTsX586dw5o1axAZGYnIyEisWbMG586dw9y5c1FWVlbrv7UVK1bg8OHD2LVrF0JDQ5GQkAA/Pz8UFBSYHZuTk4PAwEDEx8djy5Yt2Lp1K+Lj4xEUFITLly+bHVtYWIiFCxfi9OnT2LhxI3bv3o3o6GisXLkSFy5cMDu2vLwcc+bMQUpKCkJCQnDgwAFEREQ06hwRFhZmsXOEo6PjDc8Rn38+Dz/9ZMRLL23BlCl5GDkyFf36XYOjYwX69gXGjwc++AAICgL27au/oLOzM8HFpRQDB6bh73834Mknd2PzZuC99wKRkXEVH37oD1/fE/jd7zZh4MDt6NEjFvv3L8WVK9c/R+zduxeHDh267jkiLS0Nq1atwqFDh7B3716sX78eSUlJ8PX1rfccERsbi+3bt2PTpk04ceIE/P39cfXqVbNjb+UcMWbMGJ4jGnGO8PLystg54pVXXuE5QqCO+OijjxpVRzQ1JR+/6n0bjabWkI9f6zJhwgTY2dlh8+bNdf6+rpm6Xr168eNXIRz3MipzLy/X1nKrnGmrOfOWldW4Njt1AgYOBO66S/s5cKA249a3r/orSpsTjnk5zF6G3nNXUtQVFRWhTZs2lm622brZos7b2xshISE4depUg47nd+pkcdw3jaIirWBLSABOnQJOnixHUlJLnD0LlJU1vJ3bbtM+Iq0s2mreOnVS139rwjEvh9nL0HvuSr5TFxgYiA8//FBF0zbl6NGjur98mqpx3FtWXp5WtCUkVBdwCQnaJvPm/xS9/mmsW7e6Czc3N6ClkjOg7eCYl8PsZeg9dyWntGeeeUZFs81KYWEhzp49W/X4/PnziI+PR8eOHdG7d2/MnDkTFy9exKpVqwAAfn5+cHV1xeDBg1FaWoqQkBCEhoYiNDRU6k+gRuK4vznZ2XUXb425UMHBQft4tGbRdtddwJ13anuUkhoc83KYvQy9566kqDt27BgGDhyooulm48iRI2ZXrk6fPh0AMHHiRAQHByMjIwNpaWlVvy8tLcVHH32EixcvwtHREYMHD8a2bdvw1FNPNXnf6eZw3F9fdjZw4gRw8qR58daYDefbtQMGDdJud9+t/Tx3bhsmT34aOl/o3SpxzMth9jL0nruSoq4Tv5CCsWPH4npfVwwODjZ7PGPGDMyYMUNxr0gljntNQQHwyy9a8VZZxJ08qW2R1VCdOlUXbzULOBeX2pvM79nTmgWdEI55Ocxeht5zV1LUOTo6qmiWSNdsbdwbDNqVpb8t3lJSGt6Gi0t1wVazeGvM2p62lrueMHs5zF6G3nNXUtSdOXMGo0ePVtE0kW5Z67g3GoHz580LtxMntN0WjMaGtdG1K3DPPcCQIdpt8GCtgLPE992sNffmgNnLYfYy9J67kqLu8ccfV9Eska5Zw7jPywOOHTO//fILUFzcsNe3a1dduA0ZohVygwdrRZ0q1pB7c8Xs5TB7GXrPvcE7SjTGt99+q6JZqkdAQAAGDRoEDw8P6a7YtOY07k0mbfYtPByYNQt4/nltiQ9nZ+CRR4D33gOWLweOHKm7oGvVChg2DHj1VWDOHGDrVu1j17w8ICoKWLpUa+PRR9UWdEDzyt3aMHs5zF6G3nNXsvgwyeDiw1SX4mJtti0+3nwGriFbBdvZAf36aTNuNT8+HTCAa7wREemNkpm6mnthEtkKPYz7rCxg507Axwd45RXto8/bbwc8PIC33gL8/YEDB+ou6Nq2BUaNAt59V9sD9aeftCtZk5KAsDDgyy+BP/1J+y6cngo6PeRuq5i9HGYvQ++5K5mpMxqNsOcaA02OM3WymnLcm0za4ryxsUBcnPYzNhbIyGjY63v10j4+vfde7eewYdqMXAsl/8xTi+cbOcxeDrOXoffclZzCfXx8VDRLpGuqxr3JBKSnA5s2AV98ATz1FNCjB9CzJ/Dss9oM2tatdRd0t92mFW4TJwILFgB792qL/aalAVu2AF99Bfzxj9rHqc2xoAN4vpHE7OUwexl6z13JTF1qair69Olj6WbpBjhTJ8sS495k0vY2rTn7Fhen7cZwI87OwPDh2q1yFu6uu7SLGqwZzzdymL0cZi9D77kr+bd5ZGSkimaJdK2x475yBi40FJg5Exg3Tlt0180NePFF4Ouvte/H1VXQdegAPPEE8MknwIYNwNmzQG6uNhPn6wu8/jowdKj1F3QAzzeSmL0cZi9D77kr+bqzm5ubimaJdO1G4/7qVW2JkJ9/1m6HDwOZmTdut3NnwN1du40Yof3s06f2dlm2iucbOcxeDrOXoffclRR15eXlKpol0rWa4760VFs2pLKA+/ln4PTpG7fRrZt58eburn13jgVc/Xi+kcPs5TB7GXrPXUlRl9mQ6QeymICAAAQEBMDY0D2byKJMJu3jz//9zwFhYVoBd/SoVthdj5MTMHIkcP/92pIj7u51b1hP18fzjRxmL4fZy9B77koulEhKSsKAAQMs3SzdAC+UaBr5+dpHp1FR2i0mBrhy5fqvadVKu3Bh5MjqQq5//+Z7xame8Hwjh9nLYfYy9J67kv9L2bRpk4pmiZqcyQQkJwOrV2uL8g4bpl1lOm6ctr3Wrl11F3R33gn89a/A4sVaAVhZCC5eDLz2mvZ7FnSWwfONHGYvh9nL0HvuSmbqSkpK0Lp1a0s3SzfAmbpbV1KiLSNSOQsXFQX8+uv1X9O1qzbzNmJEGUaPvg0eHtrVqdQ0eL6Rw+zlMHsZes9dyVzB/PnzVTRLZHHZ2dqm9h9+qG2R1b49MGYMMGOGttjvbwu6Fi20deAmTwZCQrRZvMxMYPNmoGXLuRg3jgVdU+P5Rg6zl8PsZeg9dyUzdSSDM3U3duECEBmp3Q4cABISrn+8s7NW7I0erd08PIB27Zqkq0RERI2iZKZO7xvekm0wmbTN6FesAP72N6BvX23P01dfBZYsqbugGzgQmDQJWLYM+OUXICcH2L4d+Pxz4LHHrl/QcdzLYO5ymL0cZi9D77krmanLzMxE9+7dLd0s3YCtz9RVVGiFWOVMXGTk9Rf3tbcH7rsPePhh4KGHtBm5zp1v/v057mUwdznMXg6zl6H33JXM1G3ZskVFs0RmTCbg1CkgIEDbVqtLF21rrClTtK2zflvQOTgAjzwCfPEFsHu3tsNDdDTg4wNMmHBrBR3AcS+Fucth9nKYvQy9565k8eF7771XRbNESEnR9jfds0f7eb2ZuHbtgAcfrJ6J8/DQCjtVOO5lMHc5zF4Os5eh99yVFHU5OTkqmqV6WPOOEpmZwL591UXc+fP1H9uhg1bAPfKI9nPYMKClkhFeN457GcxdDrOXw+xl6D13Jf+XV1xcrKJZqoenpyc8PT2rvlPXnOXna0Xcjz9qRdz1rk5t21Yr3h57TLsNG6Z9T04Kx70M5i6H2cth9jL0nruSok7PW2iQvlRUAHFxwM6d2u2nn4D69ktu1UpbVqSyiBs5Erjttqbt7/Vw3Mtg7nKYvRxmL0PvuSsp6vbt24chQ4aoaJqsQGamtr3Wzp3aBQvZ2XUf16KF9j24xx4DHn9cK+gcHZu2r43BcS+Ducth9nKYvQy9565kSZO8vLxm/zFgc6TXJU0MBuDQoerZuGPH6j92wADg97/X9lZ9+GGgOQ0jjnsZzF0Os5fD7GXoPXclS5osXrxYRbPUjKSnA0FB2lIhnTppM20+PrULunbtgOeeAwIDgXPngDNntE3vJ0xoXgUdwHEvhbnLYfZymL0MvefObcKsiORMXUUFEBMDbN0KbNlS/2ycnR0wYoQ2G/f732sL/urpe3FERETNFbcJo5uWnw+EhmrbanXvDjzwAODlVbug694deP11YM0aICsLOHIE8PbWPl61poKO414Gc5fD7OUwexl6z13JTN3Vq1fh7Oxs6WbpBppipi49Hdi0Cdi8Gdi/Hygrq/s4Dw/gmWe02/Dh2gydteO4l8Hc5TB7Ocxeht5zVzJTFxISoqJZqkdAQAAGDRoEDw8PJe2fOQPMnQvcfz/Quzfw3nvaOnI1C7q2bYHnnweWLwcyMoCffwb+7/+0j1ptoaADOO6lMHc5zF4Os5eh99yVzNSdOHEC99xzj6WbpRuw1EydyaR9hBoWpt1++aXu41xdtQsannlG28VB5RZczQHHvQzmLofZy2H2MvSeu5KZuuTkZBXNkkIVFUBUFPDRR0C/ftpHpl99Vbugu/de4MsvgePHtatVFy3Slh+x9YIO4LiXwtzlMHs5zF6G3nNXsvhwq1atVDRLFmY0at+L27hR+55cZmbdx40eDbzwgvbxat++TdrFZoXjXgZzl8Ps5TB7GXrPXUlR161bNxXNkgWYTEB0NLB2LbBhg3Y16m/Z2wOPPqoVcs8+C7i4NH0/myOOexnMXQ6zl8PsZeg9dyUfv8bGxqpotlmJjIzEhAkT4OLiAjs7O2zatOmGr9m/fz/c3d3RunVr9O3bF0FBQRbpi8kExMcD//wn4OamzbwtXmxe0LVurRVw334L/Pqrtn3Xu++yoGsMjnsZzF0Os5fD7GXoPXclM3XPPvusimablWvXrmHYsGGYNGkSXnzxxRsef/78eTz11FN46623EBISgkOHDmHy5Mno0qVLg15flzNntBm5deuA06dr/97BAXjqKeDPfwaefhq4/fabehv6/zjuZTB3OcxeDrOXoffclczULVu2TEWzzcr48ePh5eWFF154oUHHBwUFoXfv3vDz88Pdd9+NN998E3//+98xf/78Rr/3smXaQsADBwKzZpkXdPb2wJNPAsHB2kxdWJhW1LGgu3Uc9zKYuxxmL4fZy9B77twmrAnY2dkhPDwczz33XL3HPPzwwxg+fDj+85//VD0XHh6Ol156CUVFRbjtOlsvlJUBO3YA33yTj82bnQDkAahe0sTOTtu94S9/Af74R6BzZwv8UURERKQr3CZMJzIzM2t9AbNbt24oLy/H5cuXax1vMgGHD5di8mQDXFwq8Ic/aLs81HTvvYCvr7YLREQE8M47LOhU4riXwdzlMHs5zF6G3nNvcFG3du1aJCcnw8fHBwaDoeoP8/LywqVLl7B8+XLExMRg586d6NevHxISErBo0SLk5+ebHZubm4uAgAAcP34cmzdvxrZt2xAXF4clS5YgOzvb7NiioiL4+voiMTERGzZswJ49exAVFYXg4GCkp6ebHWs0GjF79mykpqZi9erVOHjwICIiIrBu3TokJSVh3rx5KCkpMXtNZmYmli1bhpiYGOzYsQPh4eE4efIkFi9ejLy8PLNjr169Cn9/f5w4cQKbNm3C9u3bERsbi6VLlyIrK8vs2OLiYvj6+iIpKQnr168HAJw6dQqrVq1CWloavL29UVFRAS8vL1RUVMDb2xvl5eU4evQoDh06hL1792L9+vVIS0sDALN+f/bZfHh756NXrxw88EArBAY64PJl8/8ZR46MwbFjwIsveuGNN/IQFrYYJ0+eRHh4OHbs2IGYmBgsW7YMmZmZZv0uKSnBvHnzkJSUhHXr1iEiIgIHDx7E6tWrkZqaitmzZ8NoNJq9Jj09HcHBwYiKisKePXuwYcMGJCYmwtfXF0VFRWbHZmdnY8mSJYiLi8O2bduwefNmHD9+HAEBAcjNzTU7Nj8/H4sWLUJCQgLCwsKwc+dOxMTEYPny5bh06ZLZsQaDAT4+PkhOTsbatWsRERGBAwcOICQkBCkpKZgzZw7Ky8vNXnPhwgWsXLkS0dHR2L17NzZu3IjTp09j4cKFKCwsNDv28uXLCAoKQnx8PLZu3YotW7YgPj4egYGByMnJqTq2rKwMBQUF8PPzQ0JCAkJDQ7Fr1y4cPnwYK1asqNXvsrIyzJ07F+fOncOaNWsQGRmJyMhIrFmzBufOncPcuXNRVlZW67+1FStW4PDhw9i1axdCQ0ORkJAAPz8/FBQUmB2bk5ODwMBAxMfHY8uWLdi6dSvi4+MRFBSEy5cvmx1bWFiIhQsX4vTp09i4cSN2796N6OhorFy5EhcuXDA7try8HHPmzEFKSgpCQkJw4MABRERENOocERYWZrFzRMuWLZv9OWLv3r04dOjQdc8RaWlpWLVqldk5IikpCb6+viguLjZrPysrC0uXLkVsbCy2b9+OTZs24cSJE/D398fVq1fNjs3Ly8PixTd3jvDw8OA5ohHnCC8vL4udI1544QWeIwTqCE9Pz0adI5qcSYH58+eraLbZAmAKDw+/7jEPPfSQ6b333jN7LiwszNSyZUuTwVBqOnTIZHr9dZOpdWuTSZunq745OFSYnn++1PTttxkmAKa8vDyFfw3Vh+NeBnOXw+zlMHsZes9dydWvf/jDH1Q0a9VGjRqFLVu2mD23ZcsB9Ow5B+7ut+HkybpeA0ycCLz0kh06dLgN+fltmqi3VBeOexnMXQ6zl8PsZeg9dyXfqYuLi1PRbLNSWFiI+Ph4xMfHA9CWLImPj6/6SHXmzJl4/fXXq45/5513kJqaig8+mI51685jzJgzWLnSCykpH5oVdM7OwPvva9t3RUUBb78NdOjQhH8Y1YvjXgZzl8Ps5TB7GXrPXclMXZcuXVQ026wcOXIEjz76aNXj6dOnAwAmTpyI4OBgZGRkVBV4ANC1qxvefvsogoJM8PNzq9Xe6NFaAfenPwGOjur7T43HcS+Ducth9nKYvQy9566kqHPg7u4YO3YsTNdZLSY4OBiAdmVqQACwdClw5cqdZsc4OQGvvaYVc0OGqOwtWQLHvQzmLofZy2H2MvSeu5KPX5OTk1U0a1UOH9bWjXNzA+bOBa5cqf7dAw8AK1cCly5p23mxoGseOO5lMHc5zF4Os5eh99yVzNSNHTtWRbPNXlmZtoODnx8QHW3+u1atgJdf1r4vN3y4SPfoFnHcy2Ducpi9HGYvQ++5K5mpW716tYpmm62CAm0R4L59tdm5mgVdly7Av/4FpKZqW3exoGu+OO5lMHc5zF4Os5eh99yVbBNWUVGBFi2U1IvNyuXLwKJFgL+/+cerAHDPPcAHH2izc61b39r7BAQEICAgAEajEWfOnEFeXh7at29/4xeSRXHcy2Ducpi9HGYvQ++5K+nZ119/raLZZiM9HZg2DejTB/jqK/OCbsIEYM8e4NgxYNKkWy/oAMDT0xMJCQmIiYm59cboptn6uJfC3OUweznMXobec+dMnQWlpQHe3tpFDmVl1c+3bAm8+irwySfA3Xere//8/Hw4OTlxpk6IrY57acxdDrOXw+xl6D13JT2bPXu2imZ168IFYPJkoH9/bWmSyoLO0RF47z0gOVn7vpzKgo7k2dq41wvmLofZy2H2MvSeu5KZurS0NPTu3dvSzepORgYwezawZAlQWlr9fPv2WjH33nvahRBNhTN1smxl3OsNc5fD7OUwexl6z13JTF1ERISKZnUjKwuYPl27mnXx4uqC7vbbgc8+A86f175Lp/OFp8nCrH3c6xVzl8Ps5TB7GXrPXck6df369VPRrLjCQm1pknnzgGvXqp9v0waYOhX46COgc2e5/pEsax33esfc5TB7Ocxeht5zV1LUGQwGFc2KKS8Hli/X1pPLyqp+vnVr7bt0n3wCdO0q1z/SB2sb980Fc5fD7OUwexl6z11JUZedna2iWRE7dmjryZ0+Xf2cvT3wj38AX3wB9Ogh1zfSF2sa980Jc5fD7OUwexl6z11JUTdixAgVzTap5GTte3ObN5s//+KLwNdfA3feKdMv0i9rGPfNEXOXw+zlMHsZes9dyYUSm39bCTUjhYXaxQ6DBpkXdKNHA1FRwP/+p7+CLiAgAIMGDYKHh4d0V2xacx73zRlzl8Ps5TB7GXrPXcmSJsXFxXB0dLR0s0qZTMC6dcDHHwMXL1Y/36OHdmHEK68AdnZy/WsILmkiqzmOe2vA3OUweznMXobec1cyU+fr66uiWWXOnQN+9zutcKss6Fq1Av75TyAxUdsNQu8FHclrbuPeWjB3OcxeDrOXoffclczUNRfl5cB//qNd8FBcXP38M88ACxYAAwbI9e1mcKaOiIjIdimZqfPy8lLRrEUdOwaMGqWtLVdZ0PXuDWzdCmzZ0vwKOpLXHMa9NWLucpi9HGYvQ++5K5mpy8rKQrdu3SzdrEWUlAD//jfg4wMYjdpzdnbAlCmAtzfQrp1s/24FZ+pk6XncWzPmLofZy2H2MvSeu5KZuu+//15Fs7fs+HHgvvu0/VorC7q77wYOHQIWLWreBR3J0+u4t3bMXQ6zl8PsZeg9dyVFnbu7u4pmb1pFBbBwIeDhAfzyi/bcbbdpO0QcPap9DEt0q/Q27m0Fc5fD7OUwexl6z13J4sNZNffSEnbpEvC3vwG7d1c/N3QoEBIC3HOPWLfICulp3NsS5i6H2cth9jL0nruSmbrS0lIVzTba999rBVzNgm76dODnn62roOPiw/qgl3Fva5i7HGYvh9nL0HvuSoq6fv36qWi2wcrKtKtan3sOyMnRnuvRA9i1C/D1BRwcRLtncZ6enkhISEBMTIx0V2ya9Li3VcxdDrOXw+xl6D13JUXd/v37VTTbIJcuAY89phVvlZ5/HjhxQltgmEgVyXFvy5i7HGYvh9nL0HvuSpY0uXr1KpydnS3d7A0dOgS8+CJQ+ZH3bbdpF0hMnmwbO0JwSRNZUuPe1jF3OcxeDrOXoffclczU+fv7q2j2ukJCtBm6yoKuZ0/gwAHA09M2CjqSJzHuiblLYvZymL0Mvefe7LcJq6jQliapucjz448Da9cCXbrI9UsCZ+qIiIhsV7PeJqy4GHj5ZfOC7u23gR9+sL2CjuTpffsYa8Xc5TB7Ocxeht5zVzJTl5eXBycnJ0s3ayYrC3j2WeDwYe2xnR2wYAHw/vu2+3ErZ+pkNcW4p9qYuxxmL4fZy9B77kpm6latWqWi2SppacBDD1UXdG3bAps3A9Om2W5BR/JUj3uqG3OXw+zlMHsZes9dSVH36KOPqmgWAJCUBIwZo/0EtAsiDh0CnnlG2VvqHhcf1geV457qx9zlMHs5zF6G3nNXUtQlVVZcFnbihDZDl56uPR4wQCvohg1T8nbNBhcf1gdV456uj7nLYfZymL0MveeupKhzdHS0eJtxccAjj1QvWTJ0qLZkSe/eFn8ropuiYtzTjTF3OcxeDrOXoffclRR1nTp1smh7J09qu0FcuaI9vv9+ICIC6NbNom9DdEssPe6pYZi7HGYvh9nL0HvuSoq6+Ph4i7V15gzwxBNAbq72+KGHgN27gQ4dLPYWRBZhyXFPDcfc5TB7Ocxeht5zV1LUTZgwwSLtpKZqBV3lR64jRwJbtwLt2lmkeeX++9//ws3NDa1bt4a7uzsOHDhQ77ERERGws7OrdTt9+nQT9phuhaXGPTUOc5fD7OUwexl6z11JUffNN9/cchtXrgBPPll9UcTQodqiws1l+bX169dj2rRp+Oyzz3D06FE89NBDGD9+PNLS0q77usTERGRkZFTdBgwY0EQ9pltliXFPjcfc5TB7Ocxeht5z1+U2YQaDVtBFRGiPBw4EIiOBrl1Fu9Uo999/P0aMGIHAwMCq5+6++24899xzmD17dq3jIyIi8Oijj+LKlSs3vVkwFx8mIiKyXbrbJsxkAt58s7qg69pVm6FrTgVdaWkpYmNjMW7cOLPnx40bh6ioqOu+dvjw4ejRowcef/xx7Nu3T2U3ycL0vn2MtWLucpi9HGYvQ++5K5mpKykpQevWrW/qtXPnAv/8p3bf0VEr7kaOtFzfmsKlS5dwxx134NChQxg9enTV819//TW+/fZbJCYm1npNYmIiIiMj4e7uDoPBgNWrVyMoKAgRERF4+OGH63wfg8EAg8FQ9Tg/Px+9evXiTJ2QWxn3dPOYuxxmL4fZy9B77g2eqVu7di2Sk5Ph4+MDg8FQVa16eXnh0qVLWL58OWJiYrBz50784x//QEJCAhYtWoT8/HyzY3NzcxEQEIDjx49j8+bN2LZtG+Li4rBkyRKEhl7FzJkVAAA7OxNWrDDgwAFfJCYmYsOGDdizZw+ioqIQHByM9PR0s3aNRiNmz56N1NRUrF69GgcPHkRERATWrVuHpKQkzJs3DyUlJWavyczMxLJlyxATE4MdO3YgPDwcJ0+exOLFi5GXl2d27NWrV+Hv748TJ05g06ZN2L59O2JjY7F06VJkZWWZHVtcXAwAuHDhAtavX4+9e/fi0KFDiIuLg9FohLe3NyoqKuDl5YWKigp4e3vD0dERDg4OKC4uRnFxMR555BGMHTsW7777LoqLi83az8rKwtKlSzF16lQ4OTlV3Xr16gUA8PHxqTo2Ly8PixcvxsmTJxEeHo4dO3YgJiYGy5YtQ2Zmplm7JSUlmDdvHpKSkrBu3TpERETg4MGDWL16NVJTUzF79mwYjUaz16SnpyM4OBhRUVHYs2cPNmzYgMTERPj6+qKoqMjs2OzsbCxZsgRxcXHYtm0bNm/ejOPHjyMgIAC5ublmx+bn52PRokVISEhAWFgYdu7ciZiYGCxfvhyXLl0yO9ZgMMDHxwfJyclYu3YtIiIicODAAYSEhCAlJQVz5sxBeXm52WsuXLiAlStXIjo6Grt378bGjRtx+vRpLFy4EIWFhWbHXr58GUFBQYiPj8fWrVuxZcsWxMfHIzAwEDk5OVXHPvfccygoKICfnx8SEhIQGhqKXbt24fDhw1ixYkWtfpeVlWHu3Lk4d+4c1qxZg8jISERGRmLNmjU4d+4c5s6di7Kyslr/ra1YsQKHDx/Grl27EBoaioSEBPj5+aGgoMDs2JycHAQGBiI+Ph5btmzB1q1bER8fj6CgIFy+fNns2MLCQixcuBCnT5/Gxo0bsXv3bkRHR2PlypW4cOGC2bHl5eWYM2cOUlJSEBISggMHDiAiIqJR54iwsLCbOkdkZ2ebHVtUVIQ//vGPzfIc4evri6SkJLNzxKpVq5CWllbnOSItLQ2rVq3CoUOHsHfvXqxfvx5JSUnw9fWt9xwRGxuL7du3Y9OmTThx4gT8/f1x9epVs2Nv5Rwxbdo0niMacY7w8vKy2Dli1qxZPEc08Bzh62u5OmLBggWNOkc0NSUzdUlJSY3+gn9qKuDuDuTkaI9nzQL+9S9L96xplJaWok2bNti4cSOef/75qufff/99xMfHY//+/Q1qx9vbGyEhITh16lSdv+dMnb7czLinW8fc5TB7Ocxeht5zV/KdutjY2EYdX14OvPxydUH39NPAF18o6FgTadWqFdzd3bF7926z53fv3m32ceyNHD16FD169Kj39w4ODmjfvr3ZjeQ0dtyTZTB3OcxeDrOXoffcW6potHv37o06/uuvgZ9+0u67uQGrVwMtlJSbTWf69Ol47bXXcN9992HUqFFYunQp0tLS8M477wAAZs6ciYsXL2LVqlUAAD8/P7i6umLw4MEoLS1FSEgIQkNDERoaKvlnUCM0dtyTZTB3OcxeDrOXoffclRR1LVs2vNnoaODf/9bu29sD331nHbtF/PnPf0ZOTg7+/e9/IyMjA0OGDMH27dvRp08fAEBGRobZmnWlpaX46KOPcPHiRTg6OmLw4MHYtm0bnnrqKak/gRqpMeOeLIe5y2H2cpi9DL3nrmQ+7Pz58w067to14K9/BYxG7fEXXwAPPKCiRzImT56MlJQUGAwGxMbGml3FGhwcjIjKdVsAzJgxA2fPnkVxcTFyc3Nx4MABFnTNTEPHPVkWc5fD7OUwexl6z11JUVffEhy/NWsWkJys3X/gAeCzz1T0hqhpNHTck2UxdznMXg6zl6H33JUUdd99990Njzl2DFi4ULvv4ACsWgXofFaT6LoaMu7J8pi7HGYvh9nL0HvuSpY0MRqNsLe3r/f3FRXAgw9q36cDtO/UNeerXfWC24TJutG4JzWYuxxmL4fZy9B77kpm6ura27Smb76pLugGDgRmzFDRC9sREBCAQYMGwcPDQ7orNu1G457UYO5ymL0cZi9D77krmam7noICoH9/4Ndftcf79gFjxzZlD6wXZ+qIiIhsl5KZuutteDt/fnVB98c/sqAj66H3jZ6tFXOXw+zlMHsZes9dyUxdenp61T6kNf36q7a4cFERcNttQEKCNmtHlsGZOln1jXtSi7nLYfZymL0MveeuZKZuz549dT6/YIFW0AHA22+zoCPrUt+4J7WYuxxmL4fZy9B77kqKujvvvLPWc5cvA/7+2n0HB2DmTBXvTCSnrnFP6jF3OcxeDrOXoffclRR1xcXFtZ5bvFjbQQIA3ngDcHFR8c5Ecuoa96Qec5fD7OUwexl6z11JUZeTk2P22GAAgoK0+/b2wCefqHhXIlm/HffUNJi7HGYvh9nL0HvuSoq6YcOGmT3euLH6itcXXgB691bxrkSyfjvuqWkwdznMXg6zl6H33JUUdVu3bjV7vHhx9f2pU1W8I5G83457ahrMXQ6zl8PsZeg9dyVLmhQVFaFNmzYAgOPHgcrCdtgw4OhRwM7O0u9o2wICAhAQEACj0YgzZ85wSRMhNcc9NR3mLofZy2H2MvSeu5KZugULFlTdr7n37VtvsaBTwdPTEwkJCYiJiZHuik2rOe6p6TB3OcxeDrOXoffclW4TVlEBuLoC6enaBRIZGUCXLqrejbj4MBERke1Suk3YoUNaQQcA48axoCPrpvftY6wVc5fD7OUwexl6z13JTF12dja6dOmCyZOBwEDtuZAQ4NVXLf1OVBNn6mRVjntqWsxdDrOXw+xl6D13JTN1YWFhMJmAbdu0x61aAc8+q+KdiPQjLCxMugs2ibnLYfZymL0MveeupKjz8PDAqVNAWpr2+JFHgNtvV/FORPrh4eEh3QWbxNzlMHs5zF6G3nNvqaLRjIwMnDpV/Xj8eBXvQqQvGRkZ0l2wScxdDrOXw+xl6D13JTN1RqMRP/5Y/ZhFHdkCo9Eo3QWbxNzlMHs5zF6G3nNXUtT17u2Kn37S7nfvDgwcqOJdqFJAQAAGDRqk+2lha+fq6irdBZvE3OUweznMXobec1dS1G3c+Avy87X7o0dzwWHVuPiwPhw4cEC6CzaJucth9nKYvQy9566kqOvc+Q9V90ePVvEORPrz8ssvS3fBJjF3OcxeDrOXoffclRR1332XWHX/gQdUvAOR/vz3v/+V7oJNYu5ymL0cZi9D77krWXx49GhUfacuPx9o187S70B14eLDREREtsviM3UmExAXVwIA6NWLBR3ZDr1vH2OtmLscZi+H2cvQe+4Wn6m7cEEr5gDgySeBH36wZOt0PZypk5Wfn8/cBTB3OcxeDrOXoffcLT5TV3PR4cGDLd06kX4FBwdLd8EmMXc5zF4Os5eh99wtXtSlplbf79/f0q0T6dcTTzwh3QWbxNzlMHs5zF6G3nO3eFGXnl59v2dPS7dOpF+nT5+W7oJNYu5ymL0cZi+jqXK/cuUKpk2bhilTpuDJJ5/EihUrUFJSgqlTp2LKlCl49dVXkZCQUOt1Ft/79cKF6vuV360jtQICAhAQEKD77UusXdu2baW7YJOYuxxmL4fZy2iK3EtLSzF58mT4+vrCxcUFqampcHNzw/fffw8/Pz8kJSXh6aefRocOHeDv72/2WovP1F28WH3/jjss3TrVhTtK6EPHjh2lu2CTmLscZi+H2ctoityDgoIwadIkuLi4AABat24Nk8kEV1dXuLm5wWg0YsCAAXUuhGzxou7Kler7HHNkS44fPy7dBZvE3OUweznMXkZT5N6hQweMGzeu6vGRI0cAAE8++SQAYPz48UhISMCDDz5Y67UWL+oq93xt1w5ooWS/CiJ9Gj9+vHQXbBJzl8Ps5TB7GU2R+2uvvWb2eN++fbC3t8eYMWNu+FplRZ2Tk6VbJtK3FStWSHfBJjF3OcxeDrOXIZH73r174e7ujnYN2M3B4osPt2sHFBYCgwYBv/xiyZbpRrj4MBERkfW4cuUKOnfujI8++ghz586tev6bb77Bm2++Wet4i87UGY1aQQcArCnI1uh9+xhrxdzlMHs5zF6G6tyzs7MxcuRIfPnllwCAHTt2oKKiAiNHjjQ7Jioqqs7XW7SoKyiovs+ijmzNxx9/LN0Fm8Tc5TB7Ocxehurc9+/fj5iYGJhMJhQXF2P9+vVwcXFB4f+fMbt27Rree+89zJo1q87XN+jjV5PJhIKaFVs9DAZg927gf//biVdf/T1+97vG/THUOAaDAQaDoepxQUEBBg0ahPT0dH78KsDPzw/Tpk2T7obNYe5ymL0cZi/jZnJv164d7OzsGnRsQUEBPvjgA7Rq1QqFhYWYOXMm8vPz8emnn6JPnz4oLS3FjBkzMHTo0Dpf36CirvK7WkRERETUcE35PXeLztQBWgHYq1cvi80WeXh4WGxRXWtr67czdRkZGRg5ciQSEhJwhwVWftbD39hc2uK4l2mHucu1xezl2mL2Mm3dbO6Nmam7VQ3aJszOzq7RA6d9+/YWGWz29vYWq3Ctva3Ky51dXFyYvUBbAMd9U7dTibnLtAUwe6m2AGYv1ZalcldB98sDe3p6sq0GqvyXgKX+RaDHv1HPbVmSXv9GS7XF3K2jLUvS69+o17YsSa9/o17b0jOLr1PHtdLkMHs5zF4Gc5fD7OUwexnNIXeLz9Q5ODjgX//6FxwcHCzdNN0As5fD7GUwdznMXg6zl9Eccrf4TB0RERERNT3df6eOiIiIiG6MRR0RERGRFWBRR0RERGQFWNQRERERWQHlRZ23tzdGjx6NNm3awNnZWfXbETWpyMhITJgwAS4uLrCzs8OmTZuku2QTZs+eDQ8PD7Rr1w5du3bFc889h8TEROlu2YTAwEAMHTq0agHWUaNG4YcffpDuls2ZPXs27OzsuP9rE5g1axbs7OzMbt27d5fuVp2UF3WlpaX405/+hHfffVf1WxE1uWvXrmHYsGHw9/eX7opN2b9/Pzw9PREdHY3du3ejvLwc48aNw7Vr16S7ZvV69uyJOXPm4MiRIzhy5Agee+wxPPvss/jll1+ku2YzYmJisHTp0no3dSfLGzx4MDIyMqpuJ06ckO5SnRq0Tdit+PLLLwEAwcHBqt+KqMmNHz8e48ePl+6GzdmxY4fZ45UrV6Jr166IjY3Fww8/LNQr2zBhwgSzx97e3ggMDER0dDQGDx4s1CvbUVhYiFdffRXLli2Dl5eXdHdsRsuWLXU7O1cTv1NHRM1eXl4eAKBjx47CPbEtRqMR69atw7Vr1zBq1Cjp7tgET09PPP3003jiiSeku2JTkpKS4OLiAjc3N/zlL3/BuXPnpLtUJ+UzdUREKplMJkyfPh1jxozBkCFDpLtjE06cOIFRo0ahpKQEt99+O8LDwzFo0CDpblm9devWIS4uDjExMdJdsSn3338/Vq1ahTvvvBNZWVnw8vLC6NGj8csvv6BTp07S3TNzUzN1dX1p8Le3I0eOWLqvRES1TJkyBcePH8fatWulu2IzBg4ciPj4eERHR+Pdd9/FxIkTkZCQIN0tq5aeno73338fISEhaN26tXR3bMr48ePx4osv4p577sETTzyBbdu2AQC+/fZb4Z7VdlMzdVOmTMFf/vKX6x7j6up6M00TETXY1KlTsXnzZkRGRqJnz57S3bEZrVq1Qv/+/QEA9913H2JiYvCf//wHS5YsEe6Z9YqNjcWvv/4Kd3f3queMRiMiIyPh7+8Pg8EAe3t7wR7ajrZt2+Kee+5BUlKSdFdquamirnPnzujcubOl+0JE1CAmkwlTp05FeHg4IiIi4ObmJt0lm2YymWAwGKS7YdUef/zxWldcTpo0CXfddRc++eQTFnRNyGAw4NSpU3jooYeku1KL8u/UpaWlITc3F2lpaTAajYiPjwcA9O/fH7fffrvqtydSqrCwEGfPnq16fP78ecTHx6Njx47o3bu3YM+sm6enJ7777jt8//33aNeuHTIzMwEATk5OcHR0FO6ddfv0008xfvx49OrVCwUFBVi3bh0iIiJqXZFMltWuXbta3xlt27YtOnXqxO+SKvbRRx9hwoQJ6N27N3799Vd4eXkhPz8fEydOlO5aLcqLuv/7v/8z+9x5+PDhAIB9+/Zh7Nixqt+eSKkjR47g0UcfrXo8ffp0AMDEiRO5jI9CgYGBAFDrHLJy5Ur87W9/a/oO2ZCsrCy89tpryMjIgJOTE4YOHYodO3bgd7/7nXTXiJS4cOECXn75ZVy+fBldunTBAw88gOjoaPTp00e6a7XYmUwmk3QniIiIiOjWcJ06IiIiIivAoo6IiIjICrCoIyIiIrICLOqIiIiIrACLOiIiIiIrwKKOiIiIyAqwqCMiIiKyAizqiIiIiKwAizoiIiIiK8CijoiIiMgKsKgjIiIisgIs6oiIiIiswP8DSZfu1EZAAO0AAAAASUVORK5CYII=", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 11, "metadata": {}, "output_type": "execute_result" } ], "source": [ "graph = plot(w, (x, -1, 5), aspect_ratio=1, axes_labels=[r'$x$', r'$W(x)$'], \n", " thickness=2, gridlines=True)\n", "graph.save('max_lambert_rescaled.pdf')\n", "graph" ] } ], "metadata": { "kernelspec": { "display_name": "SageMath 10.3.beta4", "language": "sage", "name": "sagemath" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.10.12" } }, "nbformat": 4, "nbformat_minor": 4 }