{ "cells": [ { "cell_type": "code", "execution_count": 7, "id": "de3488b1", "metadata": {}, "outputs": [ { "data": { "text/html": [ "" ], "text/latex": [ "$$\\newcommand{\\Bold}[1]{\\mathbf{#1}}\\left(\\begin{array}{rrr}\n", "-0.8414709848078965 & 0.5403023058681398 & 1.0 \\\\\n", "0.8414709848078965 & 0.5403023058681398 & 1.0 \\\\\n", "0.9092974268256817 & -0.4161468365471424 & 1.0\n", "\\end{array}\\right)$$" ], "text/plain": [ "[-0.8414709848078965 0.5403023058681398 1.0]\n", "[ 0.8414709848078965 0.5403023058681398 1.0]\n", "[ 0.9092974268256817 -0.4161468365471424 1.0]" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "bf = [sin(x),cos(x),1+0*x]\n", "xk = [-1,1,2]\n", "M = matrix(RDF,[[f(x=k) for f in bf] for k in xk])\n", "show(M)" ] }, { "cell_type": "code", "execution_count": 8, "id": "e99c7188", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "-1.609648403573711" ] }, "execution_count": 8, "metadata": {}, "output_type": "execute_result" } ], "source": [ "det(M)" ] }, { "cell_type": "code", "execution_count": 15, "id": "c0a2548d", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "(-0.5941975528890605, 1.0033964709387209, 0.9578625730518551)" ] }, "execution_count": 15, "metadata": {}, "output_type": "execute_result" } ], "source": [ "a,b,c = M\\vector([2,1,0])\n", "a,b,c" ] }, { "cell_type": "code", "execution_count": 12, "id": "4e335253", "metadata": {}, "outputs": [], "source": [ "f(x) = a*sin(x)+b*cos(x)+c" ] }, { "cell_type": "code", "execution_count": 14, "id": "ad9da0e6", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnIAAAHUCAYAAAC+g8X7AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/P9b71AAAACXBIWXMAAA9hAAAPYQGoP6dpAAA9u0lEQVR4nO3dd3hUVeLG8XdoCSIzgJSEDpZIQBFChCABFQm9iCBNBNdVUYGfAoqwq66uLpZV0TWIKKKA3QSkqaAQEIEVNNgootIEQhNmECS0+/vjLNFIS8LMnCnfz/PcRzKZmbyZTPDl3HvOcTmO4wgAAABhp5jtAAAAACgaihwAAECYosgBAACEKYocAABAmKLIAQAAhCmKHAAAQJiiyAEAAIQpihwQJI7jyOfziaUbAQD+QpEDgmTfvn3yeDzat2+f7SgAgAhBkQMAAAhTFDkAAIAwRZEDAAAIUxQ5AACAMEWRAwAACFMUOQAAgDBVwnYAFJ7jSEeO/H4cPpz/z8eOSSVLSqVKSTEx5r+lSknFi9tODgAA/IkiFwKOHJG2bpU2bzZHTo60Z0/+45df8n986FDhv07x4pLbLZUrd+IRFydVqyZVrWqOatWkKlVMIQQAAKGJIhckBw9KP/wgrVnz+/Hjj6a4bdtmRtGOi42VKlSQypf//b8XXfT7n8uXl84915SskiWlEiXMcfzPxYqZcpibawrfoUPmz7m5ks8n7d37++H1SqtXS/PnmzJ5+PDvOVwuqXJlqVYt6YIL8h8XX2xyAAAAeyhyfnbkiClp2dnSypW/l7YNG34vaxUqSPXqSQkJ0jXXSDVq5D88HjvZjx2Tdu82hW7rVmnLFnNs3GhK6IIFpnQeV62adMklUoMG5rjkEql+fXM6FwAABJ7LYePHInMcU3CWLpWWLZO+/FL66isz+iZJdetKiYlm9Or4kZAgVaxoN/fZ+PVXM5K4apX07bfSN9+Y/65fbz5fqpTUqJHUtOnvR926ZnQv2vl8Pnk8Hnm9XrndbttxAAARgCJXCIcOSZ9/Ln32mbRkiTl27TKfq1dPatJEatzYFJnLLrM3smbDvn3Sd99Jy5dL//2vOX74wXyuYkXp8sulZs2kVq1MuYvGUTuKHADA3yhyp3HsmBlh++QTcyxaJB04YK5Pa9pUat7cHE2bcr3YyezebYrv8WK3bJm5Lq90aemKK6SrrjJHkyaRPakiPT1d6enpOnr0qL7//nuKHADAbyhyf7Jzp/TBB9Ls2aa87d5tikdqqtS6tTkaNjSTClA4R4+aYrxggTkWLTIjeW63lJYmdeggtWsnxcfbThoYjMgBAPwt6ouc45hTgjNnSrNmmevdHMecCmzb1hS3Zs2i81RgoB05Iq1YIc2bJ82ZY0btHMecnm7fXura1YzWRcr1dRQ5AIC/RWWRcxxzyu/dd6WMDDOjtEwZMyrUqZMZGYqLs50y+uzaJX30kSl1H35o1s6rWVPq3l267jopJSW8FzWmyAEA/C1qipzjmAvx33lHeu89s6RG5cqmIHTtai7Cj421nRLHHTliTr1mZppj2zZTrq+9Vurb11xjF24jdRQ5AIC/RXyRW7NGmjJFeuMNM/J2vLz17Cm1bBneIzzR4tgxM1EiM9OMom7aJNWpI91wgzkuush2woKhyAEA/C0ii9yuXdJbb5kC9/nnZhmQ66+Xevc25Y2JCuHr2DFp8WLzs333XbMzxeWXm0LXu7dUqZLthKdGkQMA+FvEFDnHMafiXnzRXPd27Ji5YP7GG811b5w2jTwHD5pJKlOnmuvqJHN946BB5nrHUBttpcgBAPwt7Ivc7t3Sa69JEyZIa9ea02y33ir1729OoyI67Nolvf229PLLZmu02rXN++Avf5GqVLGdzqDIAQD8LSyLnONIn35qRt/ee8983L27dNtt0pVXht9F8PCf4zOSx483p9ePHjXvjUGDzIQWm+8NihwAwN/CqsgdPGgmLYwda/b4vOACM+oycGBoXxsFO/bsMaO148eb0dqEBGnIEPN+KVMm+HkocgAAfwuLIrdtm/TCC+Z/yLt2mWvehg6Vrr5aKlbMdjqEOseRFi6Uxo0z10+WK2dG6AYPDu4uEhQ5AIC/hXSRW7tWeuIJM0OxVCnppptMgbvwQtvJEK42bJCefdZcS5eba9akGz5cuuSSwH9tihwAwN9Ccjzriy+kHj2kevXMbMRHHpF+/ln6z38ocTg7tWtLzzwjbd4s/etfZj/dSy81s1znzzejdwAAhIuQKXKOYzZST0sz+2uuXGlOpa5fL917rzkdBvhLuXLSiBHSTz9Jr79uTtm3bi21aCF98AGFDgAQHqwXOccxo24pKeaatx07zGzDNWvMRAbWf0MglSxpTq9+8YU0e7ZZf7BDByk5WZo+3XwMAECoslbkHEf6+GOpeXOpY0ez28KcOVJ2ttSrF7svIHDGjBmj5ORklS1bVpUrV1a3bt30/fdr1aGDtGSJeV+WLWv2db3sMjNBwkyYWKikpCTFxsaqbt26Gj9+vO1vBQAQ5YJS5A4fNqdNV6wwHy9aZNZ7a9PGjHh89JFZF659e9aAQ+AtXLhQd955p5YtW6Z58+bpyJEjSktL0/79++VymVOsCxaY92RcnLle89JLc9W27Vi1aJGq7OxsjR49WkOHDlVGRobtbwcAEMUCPmv10CFT2BYtMh/Xrm1mDjZqJD38sBmNo7zBpp07d6py5cpauHChWrZsecLnFy2S+vVbr59/rqMWLaRHHzV79g4aNEhfffWVli5dWqCvw6xVAIC/BXxEbtGi30ucZErc22+ba5I6daLEwT6v1ytJqlChwkk/37KlVLv2AHXpMl7795sdItq2lc4/v5dWrFihw4cPn/Rxubm58vl8+Q4AAPwp4EXu3HPzf1y6tDlVRYFDKHAcR8OGDVOLFi3UoEGDU95v+/YcNW36i1askN591yxfcu+9V+nIkVe1cuWekz5mzJgx8ng8eUeNGjUC9W0AAKJUwItcs2ZmwVWXy5S4yZPZjQGhY/Dgwfr666/15ptvnvG+LpdLxYqZf4h88400cuQPkq5WamoljRol/W9gL8+oUaPk9Xrzjs2bNwfmmwAARK2gVKp//1s6cEDy+cz/BIFQMGTIEM2YMUMLFixQ9erVT3vfuLg45eTk5H1cvLjUtOk3Kl68noYPP6ZnnzWLVY8bJx05Yu4TExMjt9ud7wAAwJ+CNjYWG8uSIggNjuNo8ODByszM1Pz581WnTp0zPiYlJUXz5s3Ld9vcuXOVnFxPjz5aXN9/bybuDB5stvuaNYtFhQEAgcdJTkSdO++8U1OnTtUbb7yhsmXLKicnRzk5Ofrtt9/y7jNq1CjdeOONeR8PGjRIGzdu1LBhw7R69Wq98sormjhxokaMGCFJql5dmjTJTOKpWlXq3NlM5vnxx6B/ewCAKBLw5UeAUOM6xUybSZMmaeDAgZKkgQMHasOGDcrKysr7/MKFC3X33Xfru+++U9WqVTVy5EgNGjTohOdxHOn996W77pJycqSRI6X77pMOH2b5EQCAf1HkgAA5cED617+kJ580o3SPPeZT794UOQCA/3BqFQiQc86RHnlE+vZbKSFB6t3b3L5+vd1cAIDIQZEDAuzCC6UPPpCmTDEfX3659NBD0h8uyQMAoEgockAQuFxSly7mz4MHm22+GjSQPv7Ybi4AQHijyAFB9uCDZkHhmjXNPsQDB0q7d9tOBQAIRxQ5wIKEBGn+fOnll80M13r1pLfeYu05AEDhUOQAS1wu6eabpdWrpSuvlPr0MWvPsZMXAKCgKHKAZXFx0jvvmJG5r74y185NmsToHADgzChyQIjo0sUsVXLttdJf/mI+3rbNdioAQCijyAEhpFw56dVXzejc8uVS/frSm28yOgcAODmKHBCCunSRvvtOSkuT+vaVevaUdu60nQoAEGoockCIOu88M5P1nXekrCwzOpeZaTsVACCUUOSAENezpxmdu+IK6brrpBtukH75xXYqAEAooMgBYaBKFTMaN3myNGuWdOmlZpQOABDdKHJAgKWnpysxMVHJycln9Twul9S/v5nZesEF0tVXS3/7m3T4sJ+CAgDCjstxmA8HBIPP55PH45HX65Xb7T6r5zp6VHr8cemBB6QmTaQ33pDq1vVTUABA2GBEDghDxYtLo0dLixdLO3ZIl10mvf667VQAgGCjyAFhrFkzaeVKs1zJDTdIN94o+Xy2UwEAgoUiB4Q5t1uaOlWaMkWaNk1q1Ej6/HPbqQAAwUCRAyLEDTeY0bmKFc1SJU89xY4QABDpKHJABDn/fHPd3N13SyNGSN27S3v32k4FAAgUihwQYUqWlJ54wuzXmpUlJSVJX35pOxUAIBAockCE6tLFFLjy5aXmzaUXX+RUKwBEGoocEMHq1DGnWm++WRo0yFxH9+uvtlMBAPyFIgdEuNhYKT3dLBr8/vvS5ZdLq1bZTgUA8AeKHBAl+vSRVqyQihWTkpOlN9+0nQgAcLYockAUufhi6b//NbNZ+/aVhg+XjhyxnQoAUFQUOSDKlCkjTZ4sPfusOdLSpJ07bacCABQFRQ6IQi6XNHSo9Mkn0rffSk2aSF98YTsVAKCwKHJAFGvVyhS4KlXMbhCvvWY7EQCgMChyQJSrUUNatMhcMzdwoDRkiHT4sO1UAICCoMgBUGysNHGiNG6cNH681L69tGeP7VQAgDOhyAGQZK6bu/12ae5cKTtbatpUWrvWdioAwOlQ5IAAS09PV2JiopKTk21HKZCrrjJLlJQoYcrc3Lm2EwEATsXlOOy+CASDz+eTx+OR1+uV2+22HeeMvF6ziPDcudIzz0iDB5tROwBA6GBEDsBJeTzSzJlmmZKhQ81pVyZBAEBoocgBOKXixaWnn5Zefll65RWzePDu3bZTAQCOo8gBOKObb5Y+/lj65htz3dzq1bYTAQAkihyAAmrZUlq+3CxV0qwZkyAAIBRQ5AAUWJ060pIlZheIjh3N6VYAgD0UOQCF4nZLM2aY06033yzdf7/E3HcAsKOE7QAAwk+JEtILL5gRuvvukzZsMDtDlCplOxkARBeKHIAicbmkkSOlWrWkAQOkn3+WMjOl8uVtJwOA6MGpVQBnpXdvM6P1q6/MtXMbNthOBADRgyIH4KylpkpLl0q5uWZG64oVthMBQHSgyAHwi4QEU+Zq15ZatTK7QgAAAosiB8BvKleW5s+X2raVunWTxo+3nQgAIhtFDoBfnXOO9O670p13mv1ZH3qI5UkAIFCYtQrA74oXl559VoqPl0aPlrZvl/7zH3M7AMB/KHIAAsLlkkaNMqdbb71V2rFDmjrVbPEFAPAPTq0CCKibb5amTZNmz5bat5e8XtuJACByUOQABFyXLtLcudLKldKVV0o5ObYTAUBkoMgBCIrUVGnRInOKtXlz6YcfbCcCgPBHkQMCLD09XYmJiUpOTrYdxbpLLpGWLDF7sjZvLn3xhe1EABDeXI7DwgBAMPh8Pnk8Hnm9XrndbttxrNq1S+rYUVq1SpoxQ7rqKtuJACA8MSIHIOgqVpQ++URKSTETINgFAgCKhiIHwIpzzzUFrkMHqXt36c03bScCgPBDkQNgTUyM9M47Ut++Ur9+0oQJthMBQHhhQWAAVpUoIU2aJJUtK912m+TzSSNG2E4FAOGBIgfAumLFzBZeHo90zz1m0eCHHza7QwAATo0iByAkuFzSo4+aMjdypClzY8eakgcAODmKHICQcu+9ktst3XGHtG+f9NJL5vQrAOBE/PUIIOQMGmTK3I03mjL3xhtmEWEAQH6ctAAQkvr2lTIzzRIl3btLBw/aTgQAoYciByBkdeliitwnn0hdu0q//WY7EQCEFoocgJCWlibNni0tXmy29dq/33YiAAgdFDkAIe/qq6UPP5SWLzdbeu3bZzsRAIQGihyAsJCaKs2bJ339tRml27vXdiIAsI8iByBsNGtmrpdbu1a65hrpl19sJwIAuyhyAMJKUpK0YIG0caM55bpzp+1EAGAPRQ5A2GnYUMrKknJypKuuMv8FgGhEkQMQlurXlxYulPbska68Utq2zXYiAAg+ihwQYOnp6UpMTFRycrLtKBEnIcGUuV9/NadZGZkDEG1cjuM4tkMA0cDn88nj8cjr9crtdtuOE1HWrTOjch6PuX6uShXbiQAgOBiRAxD2LrzQXDO3d68Zmdu+3XYiAAgOihyAiHC8zO3ZI7VuLe3YYTsRAAQeRQ5AxLjoInNqdfduU+ZYmgRApKPIAYgoCQmmzO3aRZkDEPkocgAizsUXS/Pnm9Or11xjSh0ARCKKHICIVK+eKXM5OabM7d5tOxEA+B9FDkDESkw0ZW7rVsocgMhEkQMQ0erXN2VuyxapTRvpl19sJwIA/6HIAYh4DRqYMrdpk9SuneT12k4EAP5BkQMQFRo0kObNM7tAdOxotvUCgHBHkQMQNRo1kj78UPr6a6lLF+m332wnAoCzQ5EDEFWaNpVmz5b++1+pe3cpN9d2IgAoOoocgKiTmirNmGEWDu7VSzp82HYiACgaihyAqNS6tZSZKc2ZI91wg3TkiO1EAFB4FDlEnUWLFqlz586qWrWqXC6Xpk+fftr7Z2VlyeVynXCsWbMmOIERMB06SG+/LWVkSH/5i3TsmO1EAFA4JWwHAIJt//79atiwoW666SZdd911BX7c2rVr5Xa78z6uVKlSIOIhyK69VpoyRerXTypdWho/XnK5bKcCgIKhyCHqtG/fXu3bty/04ypXrqxy5cr5PxCs69PHTHq46SYpNlYaO5YyByA8UOSAAmrUqJEOHjyoxMRE/f3vf9dVV1112vvn5uYq9w9TIn0+X6Aj4iwMHGiWI7njDsntlv75T9uJAODMuEYOOIP4+HhNmDBBGRkZyszMVEJCglq3bq1Fixad9nFjxoyRx+PJO2rUqBGkxCiq22+XHn9ceuQR6d//tp0GAM7M5TiOYzsEYIvL5dK0adPUrVu3Qj2uc+fOcrlcmjFjxinvc7IRuRo1asjr9ea71g6hZ/RoacwYacIE6ZZbbKcBgFPj1CpQBM2aNdPUqVNPe5+YmBjFxMQEKRH86dFHzX6st91mTrP26mU7EQCcHEUOKILs7GzFx8fbjoEAcbmk//xH8vnMGnNly5qlSgAg1FDkEHV+/fVX/fDDD3kfr1+/XitXrlSFChVUs2ZNjRo1Slu2bNHkyZMlSWPHjlXt2rVVv359HTp0SFOnTlVGRoYyMjJsfQsIgmLFpFdeMWXuuuukjz6SWra0nQoA8qPIIeqsWLEi34zTYcOGSZIGDBigV199Vdu2bdOmTZvyPn/o0CGNGDFCW7ZsUenSpVW/fn3Nnj1bHRiiiXglS5oFgzt0kDp1Mlt6JSXZTgUAv2OyAxAkPp9PHo+HyQ5haN8+6ZprpB9/lBYtkhITbScCAIPlRwDgDMqWlT74QIqPl9q0kdavt50IAAyKHAAUQIUK0ty5ZhuvNm2kbdtsJwIAihwAFFh8vPTxx9LBg1JamvTLL7YTAYh2FDkAKITataV588yIXPv25vo5ALCFIgcAhVSvnlmOZPVqqVs3M0IHADZQ5ACgCJKSpFmzpCVLzKLBR4/aTgQgGlHkAKCIWrY068xNny7deafEYk4Ago0iBwBnoUsX6aWXpBdflB580HYaANGGnR0A4CzddJO0c6c0cqRUqZI0ZIjtRACiBUUOAPzgnnuk7dul//s/U+Z697adCEA0oMgBgB+4XNKTT5qRuRtvNAsIp6XZTgUg0nGNHAD4SbFi0sSJZueH7t2lzz+3nQhApKPIAYAflSwpvfuu1LCh1KGDtGaN7UQAIhlFDgiw9PR0JSYmKjk52XYUBMk550gzZ0pxceb06s8/204EIFK5HIeVj4Bg8Pl88ng88nq9crvdtuMgCLZskZo3l849V/r0U3PdHAD4EyNyABAg1apJc+dKO3ZInTpJ+/fbTgQg0lDkACCAEhKkDz6QvvlGuv566fBh24kARBKKHAAEWJMmUmamGZ0bNIitvAD4D0UOAIKgTRvplVfM8Y9/2E4DIFKwIDAABEn//tLWrdJ995nr52691XYiAOGOIgcAQXTvvWY5kttvN8uTdOliOxGAcMapVQAIIpdLGjtW6tbN7Me6dKntRADCGUUOAIKseHFp6lQpKUnq3Flau9Z2IgDhiiIHABaULi3NmCFVqSK1ayfl5NhOBCAcUeQAwJLy5c0ac4cOmX1Z9+2znQhAuKHIAYBFNWuaMvfjj1KPHqbUAUBBUeQAwLJLL5WmT5cWLJD++lcWDAZQcBQ5AAgBV10lTZ4sTZkijR5tOw2AcME6cgAQInr3NgsGDx9uFgwePNh2IgChjiIHACFk2DBpyxZp6FCpalWpe3fbiQCEMk6tAkCIefJJ6frrpb59pcWLbacBEMoocgAQYooVk157TUpJMQsGr1plOxGAUEWRAwIsPT1diYmJSk5Oth0FYSQmxsxkrVFDat9e2rbNdiIAocjlOEx0B4LB5/PJ4/HI6/XK7XbbjoMw8fPPUrNmZgeIhQulc8+1nQhAKGFEDgBCWPXq0uzZ0rp1Uq9e0pEjthMBCCUUOQAIcQ0bSu++K330kTRkCAsGA/gdRQ4AwkDbttKLL0rjx5tZrQAgsY4cAISNm2+WNmyQRo6UatUyp1oBRDeKHACEkYcfNmXuxhvNgsGpqbYTAbCJU6sAEEZcLmniRKl5c6lrV2ntWtuJANhEkQOAMFOqlJSZKcXFmTXmduywnQiALRQ5AAhD5ctLc+ZIBw6Y3R8OHLCdCIANFDkACFO1a0uzZknffiv16ycdPWo7EYBgo8gBQBhr0kR6+21pxgxp+HDbaQAEG0UOAMJcp07Sf/4jPfusNHas7TQAgonlRwAgAtxxh1mWZNgwqWZNqXt324kABAMjcgAQIR57TOrZ01wvt2yZ7TQAgoEiBwARolgx6bXXpKQkM5P1xx9tJwIQaBQ5AIggsbHS+++b5Unat5d277adCEAgUeQAIMKcd570wQfSL7+Ya+Vyc20nAhAoFDkAiEDnn29G5pYtk265RXIc24kABAJFDgAi1BVXSK++Kk2ZIj3yiO00AAKB5UeAAEtPT1d6erqOsuw+LOjTR/rhB+mBB8woXd++thMB8CeX4zDgDgSDz+eTx+OR1+uV2+22HQdRxHGkgQOlt96SPvlEatHCdiIA/sKpVQCIcC6XNGGClJIidetmRugARAaKHABEgZgYKTPTzGjt2NHMaAUQ/ihyABAlKlSQZs82a8t17y4dOmQ7EYCzRZEDgChywQXS9OnS0qUsSwJEAoocAESZFi2kSZOkyZOlRx+1nQbA2WD5EQCIQn37mkkP999vliXp08d2IgBFQZEDgCh1//2mzA0cKNWsaRYQBhBeOLUKAFHK5ZJeeklq1kzq2pVlSYBwRJEDgCh2fFmSChVYlgQIRxQ5AIhy551nliXZtUu67jqWJQHCCUUOAKALLzTLkixZIt16K8uSAOGCIgcAkCSlpkqvvCK99pr0r3/ZTgOgIJi1CgDI06+fmfTw97+bZUl697adCMDpUOQAAPk88IC0bp1ZlqR2bTOrFUBo4tQqACAfl0t6+WUpKcksS7Jxo+1EAE6FIgcAOEFsrJn8UKaM1KmT5PPZTgTgZChyAICTqlRJmjlT2rTJbOF19KjtRAD+jCIHBFh6eroSExOVnJxsOwpQaPXrS++8I330kTR8uO00AP7M5TisFgQEg8/nk8fjkdfrldvtth0HKJRx46Q77zT/vf1222kAHMesVQDAGd1xh7RmjTRkiHTBBVKbNrYTAZA4tQoAKKCnn5bS0qSePaXVq22nASBR5AAABVSihPTWW1L16lLHjtLOnbYTAaDIAQAKzO2WZs2Sfv1V6t5dys21nQiIbhQ5AECh1K4tvf++tHy5dMstElPmAHsocgCAQktJkSZNkqZMkcaMsZ0GiF7MWgUAFEmfPtLatdLf/iZddJHUo4ftRED0ocgBAIrswQdNmevfX6pVS2LdayC4OLUKACgyl8ucYr3sMqlLF2nzZtuJgOhCkQMAnJXYWGn6dKlUKalzZzOjFUBwUOQAAGetShWzLMlPP0l9+0pHj9pOBEQHihwAwC8uucQsGDx7tjRypO00QHSgyAEA/KZDB+mZZ6SnnpJeesl2GiDyMWsVAOBXQ4ZIa9ZId9whnX++dPXVthMBkYsROUSdRYsWqXPnzqpatapcLpemT59+xscsXLhQSUlJio2NVd26dTV+/PjABwXClMslPfecKXDXXWeWJwEQGBQ5RJ39+/erYcOGev755wt0//Xr16tDhw5KTU1Vdna2Ro8eraFDhyojIyPASYHwVaKE9PbbUny81KmTtHWr9MsvtlMBkcflOOySh+jlcrk0bdo0devW7ZT3GTlypGbMmKHVq1fn3TZo0CB99dVXWrp0aYG/ls/nk8fjkdfrldvtPpvYQNj46SepUSOzJMmxY9L110tvvikVYxgB8At+lYAzWLp0qdLS0vLd1rZtW61YsUKHDx8+5eNyc3Pl8/nyHUC0qVvXrDN37Jj5+J13zJpzAPyDIgecQU5OjqpUqZLvtipVqujIkSPatWvXKR83ZswYeTyevKNGjRqBjgqEpOMl7rjffrOTA4hEFDmgAFwuV76Pj1+R8Ofb/2jUqFHyer15x2b2LkKU+uc/zQSI4zitCvgPy48AZxAXF6ecnJx8t+3YsUMlSpTQeeedd8rHxcTEKCYmJtDxgJA3aJCZwbp9uzR2rPTXv0oJCVLjxraTAeGPfxcBZ5CSkqJ58+blu23u3Llq0qSJSpYsaSkVEF4uukhKTZWmTJHq1zd7sm7ZYjsVEP4ocog6v/76q1auXKmVK1dKMsuLrFy5Ups2bZJkToneeOONefcfNGiQNm7cqGHDhmn16tV65ZVXNHHiRI0YMcJGfCCsnXOONGOGVLy41KWLtH+/7URAeKPIIeqsWLFCjRo1UqNGjSRJw4YNU6NGjfTAAw9IkrZt25ZX6iSpTp06mjNnjrKysnTZZZfpn//8p5577jldd911VvID4S4uTpo50ywUfMMNJ06GAFBwrCMHBAnryAH5zZwpde0q3Xuv9NhjttMA4YkROQCAFZ07S089JT3+uDRpku00QHhi1ioAwJq77pLWrJFuu80sHtyqle1EQHhhRA4AYI3LJT3/vNSypdS9u7Rune1EQHihyAEArCpZUnr3XalSJalTJ+mXX2wnAsIHRQ4AYF358tKsWdKuXVKPHtJptjEG8AcUOQBASLjgAmnaNGnxYumOOyTWVADOjCIHAAgZLVtKL70kvfyy9PTTttMAoY9ZqwCAkDJggFks+J57zChd1662EwGhixE5AEDIeeQRM4u1b18pO9t2GiB0UeQAACGnWDFp8mSpXj2zcPDWrbYTAaGJIgcACEnnnCPNmGHWmuvSRTpwwHYiIPRQ5AAAIatqVbMn65o1Uv/+0rFjthMBoYUiBwAIaZddJr3xhlma5O9/t50GCC0UOSDA0tPTlZiYqOTkZNtRgLDVpYv05JPSmDHSq6/aTgOEDpfjsOQiEAw+n08ej0der1dut9t2HCDsOI50663Sa69JH39s1pwDoh0jcgCAsOBySePGSamp0rXXSj/8YDsRYB9FDgAQNkqWlN57T6pYUerUSdqzx3YiwC6KHAAgrJQvL82aJe3cKfXoIR0+bDsRYA9FDgAQdi68UMrMlD79VBo82Fw/B0QjihwAICy1aiW9+KI0YYL0zDO20wB2lLAdAACAorrpJmntWmnECDNK17mz7URAcDEiBwAIa//6l9Stm9Snj7Rype00QHBR5AAAYa1YMWnKFCkhwYzIbdtmOxEQPBQ5AEDYK1PG7MnqOGYXiAMHbCcCgoMiBwCICFWrSjNmSKtWSQMGSMeO2U4EBB5FDgAQMRo3ll5/XcrIkO6/33YaIPAocgCAiNKtm/T442YSxOTJttMAgcXyIwCAiDNihFmW5K9/lerUMfuzApGIETkAQMRxuaRx46QWLaRrr5V+/NF2IiAwKHIAgIhUqpT03ntShQpSp07S3r22EwH+R5EDAESsChWk2bOl7dulnj2lw4dtJwL8iyIHAIhoF14oZWZKWVnSkCFmrTkgUlDkgABLT09XYmKikpOTbUcBotaVV0ovvmiOZ5+1nQbwH5fj8G8TIBh8Pp88Ho+8Xq/cbrftOEBUGjlSevJJs3Bwp0620wBnjxE5AEDUGDNG6tpV6t1b+uor22mAs0eRAwBEjWLFpKlTpYsukjp3lrZts50IODsUOQBAVClTRpo5Uzp61IzO/fab7URA0VHkAABRp1o1U+a++0668Ubp2DHbiYCiocgBAKJS48bS669LGRnS3/5mOw1QNBQ5AEDU6tZN+ve/pccek15+2XYaoPBK2A4AAIBNd98t/fCDNGiQVKuW1KaN7URAwTEiBwCIai6X9NxzUlqa1KOHuW4OCBcUOQBA1CtRQnr7bal2baljRyknx3YioGAocgAASCpbVpo9Wzp8WOrSRTpwwHYi4MwocgAA/E/16mZZklWrpBtuMGvNAaGMIgcAwB80biy99Zb0/vtmb1YglFHkAAD4k06dpLFjpaeekl54wXYa4NRYfgQAgJMYMsQsSzJ4sJkE0b697UTAiRiRAwDgFJ5+2sxivf566auvbKcBTkSRAwDgFIoXl954Q7rwQnO6detW24mA/ChyAACcxrnnSrNmmT936iT9+qvdPMAfUeQAADiDqlXNGnPr1kl9+7IsCUIHRQ4IsPT0dCUmJio5Odl2FABn4dJLpXfflebMkYYPt50GMFyO4zi2QwDRwOfzyePxyOv1yu12244DoIheeEG64w6zP+uQIbbTINqx/AgAAIVw++3Sjz9Kd91lliXp3Nl2IkQzTq0CAFBITzwhde0q9e4tffml7TSIZhQ5AAAKqVgxaepUqX59M5N10ybbiRCtKHIAABTBOedIM2dKMTFShw7S3r22EyEaUeQAACiiKlWkDz4wCwV37y4dOmQ7EaINRQ4AgLNw8cXS++9Ln30m3XyzxFoQCCaKHAAAZyk1VZo82Vw398ADttMgmrD8CAAAftCrl5n0cO+9Us2a0i232E6EaECRAwDAT0aMkDZsMGvNVa8utW9vOxEiHadWAQDwE5dLevZZM4u1Z0/WmEPgUeQAAPCjEiWkN9+UEhOljh2ljRttJ0Iko8gBAOBnZcqYNeZKl2aNOQQWRQ4AgAA4vsZcTo507bVSbq7tRIhEFDkAAAIkIcGsMbd0KWvMITAocgAABFCLFmaNuddfl+6/33YaRBqWHwEAIMCuv96sMXfPPVKtWqwxB/+hyAEAEATDh/++xlzVqmZGK3C2OLUKAEAQHF9jrlMnM0L3+ee2EyESUOSAAEtPT1diYqKSk5NtRwFgWfHiZo25yy4zI3Lr1tlOhHDnchzm0ADB4PP55PF45PV65Xa7bccBYNHu3WYSRG6umdFapYrtRAhXjMgBABBk550nffihdPCgWTB43z7biRCuKHIAAFhQq5ZZMHjdOqlHD+nwYduJEI4ocgAAWNKwoTR9urRggfTXv7JgMAqPIgcAgEVXX20WDJ48WRo92nYahBvWkQMAwLLevaWtW81ac9WqSYMH206EcEGRAwAgBAwbJm3ZIg0dKsXHS9ddZzsRwgFFDgCAEPHkk2Zkrl8/qXJlKTXVdiKEOq6RAwAgRBQrJr36qtS8udSli/Tdd7YTIdRR5AAACCExMdK0aVLNmlK7dtLPP9tOhFBGkQMAIMR4PGaNuWLFpPbtpb17bSdCqKLIAQAQgqpWNbs/bN0qde4s/fab7UQIRRQ5AABCVL160uzZ0pdfSr16SUeO2E6EUEORAwAghDVrJmVkmFOt7P6AP6PIIWqNGzdOderUUWxsrJKSkvTpp5+e8r5ZWVlyuVwnHGvWrAliYgDRql076bXXzDFypO00CCWsI4eo9Pbbb+uuu+7SuHHjdMUVV+jFF19U+/bttWrVKtWsWfOUj1u7dq3cbnfex5UqVQpGXABQ377Srl3S//2fVKmSdM89thMhFLgch0FaRJ+mTZuqcePGeuGFF/Juq1evnrp166YxY8accP+srCxdddVV2rNnj8qVK1ekr+nz+eTxeOT1evOVQQAojL//XXr0UWnSJGngQNtpYBunVhF1Dh06pC+++EJpaWn5bk9LS9OSJUtO+9hGjRopPj5erVu31oIFC05739zcXPl8vnwHAJytf/5TuvVWc73cjBm208A2ihyizq5du3T06FFVqVIl3+1VqlRRTk7OSR8THx+vCRMmKCMjQ5mZmUpISFDr1q21aNGiU36dMWPGyOPx5B01atTw6/cBIDq5XNK4cVLXrmYm62ku70UU4NQqos7WrVtVrVo1LVmyRCkpKXm3P/roo5oyZUqBJzB07txZLpdLM07xT+Lc3Fzl5ubmfezz+VSjRg1OrQLwi4MHpQ4dzNIkCxdKDRvaTgQbGJFD1KlYsaKKFy9+wujbjh07ThilO51mzZpp3bp1p/x8TEyM3G53vgMA/CU2Vpo+XTr/fDOr9aefbCeCDRQ5RJ1SpUopKSlJ8+bNy3f7vHnz1Lx58wI/T3Z2tuLj4/0dDwAKzO0268ude66UliZt3247EYKN5UcQlYYNG6b+/furSZMmSklJ0YQJE7Rp0yYNGjRIkjRq1Cht2bJFkydPliSNHTtWtWvXVv369XXo0CFNnTpVGRkZysjIsPltAIAqV5bmzpWuuMKMzGVlmb1aER0ocohKvXr10u7du/Xwww9r27ZtatCggebMmaNatWpJkrZt26ZNmzbl3f/QoUMaMWKEtmzZotKlS6t+/fqaPXu2OnToYOtbAIA8depIH30ktWxpJkF8+KE59YrIx2QHIEhYRw5AoC1eLLVpY06zvveeVLKk7UQINK6RAwAgQrRoYfZlnTNH+stfpGPHbCdCoFHkAACIIB06SFOnSq+/Lg0dKnHeLbJxjRwAABGmVy9p3z7pllvMxIdHH7WdCIFCkQMAIAL99a+S1yuNGGHK3L332k6EQKDIAQAQoYYPl/bulUaOlMqVM3u0IrJQ5AAAiGAPP2xG5gYNMgsI9+5tOxH8iSIHAEAEc7mksWNNmevfXypbVurY0XYq+AuzVgEAiHDFikkTJ0qdO0s9ekgLF9pOBH+hyAEAEAVKlJDefFNKTZU6dZKWL7edCP5AkQMAIErExEjTpkmXXiq1bSt99ZXtRDhbFDkAAKJImTJm54e6daVrrpFWrbKdCGeDIgcAQJTxeKSPPpLi46XWraV162wnQlFR5AAAiELnnSd9/LFZX651a2nDBtuJUBQUOSDA0tPTlZiYqOTkZNtRACCfypWlTz6RSpWSrr5a+vln24lQWC7HYTtdIBh8Pp88Ho+8Xq/cbrftOACQZ+NGqWVLKTbWLE0SF2c7EQqKETkAAKJcrVrS/PnSr7+aCRC7dtlOhIKiyAEAAJ1/vjnNunOnlJYm7dljOxEKgiIHAAAkSRdfbCZAbNwotW8v7dtnOxHOhCIHAADyXHKJNHeutGaN2ZN1/37biXA6FDkAAJBPUpL0wQfSl19K3bpJBw/aToRTocgBAIATpKRIs2dLn30mde8u5ebaToSTocgBAICTatVKev99acEC6brrKHOhiCIHAABOqU0bU+Y+/ljq0YMyF2oocgAA4LTS0kyZmzdP6tlTOnTIdiIcR5EDAABn1LatNH26mdFKmQsdFDkAAFAg7dqZMvfhh9L111PmQgFFDgAAFFi7dtK0aWZ5kl69pMOHbSeKbhQ5AABQKB06SJmZ0pw5lDnbKHIAAKDQOnaUMjKkWbOk3r0pc7ZQ5AAAQJF06mRG5mbONCNzXDMXfBQ5AABQZJ06mWvmZs82iwaznVdwUeQAAMBZ6djRjMp9/LHUtav022+2E0UPihwQYOnp6UpMTFRycrLtKAAQMGlpZvLD4sWm2O3fbztRdHA5juPYDgFEA5/PJ4/HI6/XK7fbbTsOAATE4sVmVutll5nTrWXL2k4U2RiRAwAAftOihdnK6+uvzSjd3r22E0U2ihwAAPCrpk2lTz6Rvv9euuYa6ZdfbCeKXBQ5AADgd0lJ0vz50saN0lVXSTt32k4UmShyAAAgIBo2lLKypO3bpSuvlHJybCeKPBQ5AAAQMPXrSwsXmmvlWrWSfv7ZdqLIQpEDAAABlZAgLVok5eaayRA//GA7UeSgyAEAgIA7/3zp00+l2FgpNVX69lvbiSIDRQ4AAARFjRpmZC4uzpxm/fxz24nCH0UOAAAETeXK0oIF0sUXS61bm8kQKDqKHAAACKpy5aS5c6WUFKldO2nWLNuJwhdFDgAABF2ZMtLMmWY7r2uvld56y3ai8ESRAwAAVsTESO+8I/Xta44JE2wnCj8lbAcAAADRq0QJadIkye2WbrvNbOc1cqTkctlOFh4ocgAAwKpixaTnnpMqVJBGjTI7QTz1lLkdp0eRAwAA1rlc0kMPSVWqSIMHSzt2mJG6UqVsJwttFDkAABAy7rjDLFHSr5+0a5eUkSGde67tVKGLQUsAABBSevSQPvhAWrpUuvpqaedO24lCF0UOAACEnKuvlhYulDZtMvuzbtxoO1FoosgBAZaenq7ExEQlJyfbjgIAYaVRI+mzz6QjR6TmzaVvvrGdKPS4HMdxbIcAooHP55PH45HX65Xb7bYdBwDCxvbtZgeI9evNIsKpqbYThQ5G5AAAQEirUsWcZm3cWEpLkzIzbScKHRQ5AAAQ8txuMwGia1czGWLsWNuJQgPLjwAAgLAQEyO98YZUq5Z0993Shg1m4eDixW0ns4ciBwAAwkaxYtLjj0u1a5uFgzdtkqZOlc45x3YyOzi1CgAAws7tt0vvvy999JFZqmTHDtuJ7KDIAQCAsNSpk5kEsWGDlJIiff+97UTBR5EDAABhq0kTadkysydrSopZdy6aUOQAAEBYq11bWrJEatBAat1aeust24mChyIHAADCXvny0ty5Us+eUp8+0oMPSseO2U4VeMxaBQAAESEmRpo8WUpMlEaPllavll59NbJntDIiBwAAIobLJY0aJWVkSLNnSy1bSlu22E4VOBQ5AAAQcbp3lxYvNvu0Xn659MUXthMFBkUOAABEpEaNpM8/l6pXl1JTpffes53I/yhyAAAgYsXHS1lZZo/Wnj2lRx6RHMd2Kv9hsgMAAIhopUubPVoTE6X775dWrZImTjS3hztG5AAAQMRzuUyJe+cdafp0Mwli82bbqc4eRQ4AAESNnj3NJIgdO6SkJLPFVzijyAEAgKjSuLG0YoV0ySVmJ4jnngvf6+YockCApaenKzExUcnJybajAAD+p1Il6aOPpLvukv7v/6QBA6TffrOdqvBcjhOuHRQILz6fTx6PR16vV26323YcAMD/vPmmdPPN0sUXS9OmSbVq2U5UcIzIAQCAqNanj7R0qbR3r7lubv5824kKjiIHAACiXsOG0vLl5vq5Nm2kp54Kj+vmKHIAAACSzjtP+uAD6Z57pBEjpB49JK/XdqrTo8gBAAD8T/Hi0mOPmWvlPvnEjNB9+aXtVKdGkQMAAPiTbt1MgStfXkpJkcaPD81TrRQ5AACAk6hbV/rsM+mWW6Tbb5f69ZP27bOdKj+KHAAAwCnExEjPPy+99ZY0a5bUpIn0zTe2U/2OIgcAAHAGvXqZ3SBiY6WmTaVJk2wnMihyAAAABXDRRdKyZeYU61/+It14o/1TrRQ5AACAAipdWnrpJWnKFDOztXFjs/6cLRQ5AACAQrrhBik728xqbd5ceuIJ6dix4OegyAEAABTBBRdIixdLw4ZJI0dKbdtK27YFNwNFDgAAoIhKlZIef1yaN0/69lvp0kulGTOC9/UpcgAAAGfpmmukr782iwd37SrdfHNwJkJQ5AAAAPygUiXp/fell1+W3nlHathQ+vTTwH5NihwAAICfuFxmNO6rr6SqVaVWraQOHaTzzzfFbulSP389xynazmGO42if7cVTgBCWm5ur3NzcvI/37dunxMREbd68WW6322IyAEAwHD0qPfCA2RniuAoVpB9/lIoVYCitbNmycrlcp71PkYucz+eTx+MpykMBAABwBl6v94z/8A/aiJzP51ONGjX8NhqRnJys5X5agc+fz+Xv5/PXc4Xy6+/v5wuV5/rziNy2bdt0+eWXa9WqVapWrZrVbOHyXP58vlD+HQjV18yfzxXKr7+/ny9UnyuUfwah+lz+eL5ff5VatpR+/NEn6QKlpf2gd98t2OtfkBG5EkUN5nK5ivRGcLvdfnkDFS9e3G+np/z5XP5+Pn9nC8XX39/PF6rPdVzZsmVD7mcQqs8ViOcLxd+BUH7NouH19/fzhepzHReKP4NQfS5/PJ/bLX3+ufTKK9I99+TqzTf98/ofF7aTHe68886QfC5/P5+/s/lLtLxmofr6S6H7fYbye8OfouU1i4bX39/PF6rP5W+h+n2G4nujQgXp1lvNn0sUeQjt5Ip8arWwjl9TV5DzvfA/Xn/7fv7557zTGtWrV7cdJ+rwO2AXr799/AzsCtTrH7QRuZiYGD344IOKiYkJ1pfEH/D623f8tednYAe/A3bx+tvHz8CuQL3+QRuRA6Id/xoGAPhb2F4jBwAAEO0ocgAAAGGKIgcAABCmuEYOCJLji2gXZIFHAAAKgiIHAAAQpgJ6avXRRx9V8+bNdc4556hcuXIFeozjOPrHP/6hqlWrqnTp0rryyiv13XffBTJmxNqzZ4/69+8vj8cjj8ej/v37a+/evad9zMCBA+VyufIdzZo1C05g4CyNGzdOderUUWxsrJKSkvTpp5+e8r5ZWVknvNddLpfWrFkTxMSRY9GiRercubOqVq0ql8ul6dOnn/ExCxcuVFJSkmJjY1W3bl2NHz8+8EEjVGFff97//jVmzBglJyerbNmyqly5srp166a1a9ee8XH++B0IaJE7dOiQevbsqdtvv73Aj3niiSf09NNP6/nnn9fy5csVFxenNm3aFGpfVxh9+/bVypUr9eGHH+rDDz/UypUr1b9//zM+rl27dtq2bVveMWfOnCCkBc7O22+/rbvuukt/+9vflJ2drdTUVLVv316bNm067ePWrl2b7/1+4YUXBilxZNm/f78aNmyo559/vkD3X79+vTp06KDU1FRlZ2dr9OjRGjp0qDIyMgKcNDIV9vU/jve/fyxcuFB33nmnli1bpnnz5unIkSNKS0vT/v37T/kYv/0OOEEwadIkx+PxnPF+x44dc+Li4pzHHnss77aDBw86Ho/HGT9+fAATRp5Vq1Y5kpxly5bl3bZ06VJHkrNmzZpTPm7AgAFO165dg5AQ8K/LL7/cGTRoUL7bLr74Yue+++476f0XLFjgSHL27NkThHTRRZIzbdq0097n3nvvdS6++OJ8t912221Os2bNApgsOhTk9ef9H1g7duxwJDkLFy485X389TsQUrNW169fr5ycHKWlpeXdFhMTo1atWmnJkiUWk4WfpUuXyuPxqGnTpnm3NWvWTB6P54yvZVZWlipXrqyLLrpIt9xyi3bs2BHouMBZOXTokL744ot8f3dIUlpa2hnf740aNVJ8fLxat26tBQsWBDIm/mDp0qUn/Lzatm2rFStW6PDhw5ZSRR/e/4Hh9XolSRUqVDjlffz1OxBSRS4nJ0eSVKVKlXy3V6lSJe9zKJicnBxVrlz5hNsrV6582teyffv2ev311zV//nw99dRTWr58ua6++mrl5uYGMi5wVnbt2qWjR48W6u+O+Ph4TZgwQRkZGcrMzFRCQoJat26tRYsWBSNy1MvJyTnpz+vIkSPatWuXpVTRg/d/4DiOo2HDhqlFixZq0KDBKe/nr9+BEoUN+I9//EMPPfTQae+zfPlyNWnSpLBPnefPSzM4jsNyDf9T0NdfOvF1lM78Wvbq1Svvzw0aNFCTJk1Uq1YtzZ49W927dy9iaiA4CvN3R0JCghISEvI+TklJ0ebNm/Xvf/9bLVu2DGhOGCf7eZ3sdvgf7//AGTx4sL7++mstXrz4jPf1x+9AoYvc4MGD1bt379Pep3bt2oV9WklSXFycJNNS4+Pj827fsWPHCa01WhX09f/666+1ffv2Ez63c+fOQr2W8fHxqlWrltatW1forECwVKxYUcWLFz9h9K2wf3c0a9ZMU6dO9Xc8nERcXNxJf14lSpTQeeedZylVdOP9f/aGDBmiGTNmaNGiRapevfpp7+uv34FCF7mKFSuqYsWKhX1YgdSpU0dxcXGaN2+eGjVqJMlc+7Jw4UI9/vjjAfma4aagr39KSoq8Xq8+//xzXX755ZKk//73v/J6vWrevHmBv97u3bu1efPmfMUaCDWlSpVSUlKS5s2bp2uvvTbv9nnz5qlr164Ffp7s7Gze60GSkpKimTNn5rtt7ty5atKkiUqWLGkpVXTj/V90juNoyJAhmjZtmrKyslSnTp0zPsZvvwOFm4dROBs3bnSys7Odhx56yDn33HOd7OxsJzs729m3b1/efRISEpzMzMy8jx977DHH4/E4mZmZzjfffOP06dPHiY+Pd3w+XyCjRqR27do5l156qbN06VJn6dKlziWXXOJ06tQp333++Prv27fPGT58uLNkyRJn/fr1zoIFC5yUlBSnWrVqvP4IeW+99ZZTsmRJZ+LEic6qVaucu+66yylTpoyzYcMGx3Ec57777nP69++fd/9nnnnGmTZtmvP999873377rXPfffc5kpyMjAxb30JY27dvX97f8ZKcp59+2snOznY2btzoOM6Jr/9PP/3knHPOOc7dd9/trFq1ypk4caJTsmRJ57333rP1LYS1wr7+vP/96/bbb3c8Ho+TlZXlbNu2Le84cOBA3n0C9TsQ0CI3YMAAR9IJx4IFC34PIDmTJk3K+/jYsWPOgw8+6MTFxTkxMTFOy5YtnW+++SaQMSPW7t27nX79+jlly5Z1ypYt6/Tr1++EqeZ/fP0PHDjgpKWlOZUqVXJKlizp1KxZ0xkwYICzadOm4IcHiiA9Pd2pVauWU6pUKadx48b5pv4PGDDAadWqVd7Hjz/+uHP++ec7sbGxTvny5Z0WLVo4s2fPtpA6MhxfzuLPx4ABAxzHOfH1dxzHycrKcho1auSUKlXKqV27tvPCCy8EP3iEKOzrz/vfv0722v+53wTqd4AtugAAAMJUSC0/AgAAgIKjyAEAAIQpihwAAECYosgBAACEKYocAABAmKLIAQAAhCmKHAAAQJiiyAEAAIQpihwAAECYosgBAACEKYocAABAmPp/xCcig0Tw5dkAAAAASUVORK5CYII=\n", "text/plain": [ "Graphics object consisting of 2 graphics primitives" ] }, "execution_count": 14, "metadata": {}, "output_type": "execute_result" } ], "source": [ "points([(-1,2),(1,1),(2,0)]) + plot(f,-1,2)" ] }, { "cell_type": "code", "execution_count": 1, "id": "c58e964f", "metadata": {}, "outputs": [], "source": [ "p(x) = x*(x-pi/4)*(x-pi/2)" ] }, { "cell_type": "code", "execution_count": 2, "id": "be5f7456", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnQAAAHWCAYAAAD+VRS3AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjYuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/P9b71AAAACXBIWXMAAA9hAAAPYQGoP6dpAABRaklEQVR4nO3dd3jUVdrG8e9ASEJLXiR0ENCVEinS21JUDILouiplwdgQREUMiEKIBVAIYAM1oCguKqGogIIiEooUAQU2sQAi0tVEmiQUCRDm/eMsWQIBUmbmTLk/1zVXlmFmcs9v4/DkOc3hdDqdiIiIiIjPKmI7gIiIiIgUjgo6ERERER+ngk5ERETEx6mgExEREfFxKuhEREREfJwKOhEREREfp4JORERExMepoBMRERHxcQFZ0DmdTjIyMtCeyiIiIuIPArKgO3LkCOHh4Rw5csR2FBEREZFCC8iCTkRERMSfqKATERER8XEq6ERERER8nAo6ERERER8XUAVdQkICkZGRNGvWzHYUEREREZdxOANw746MjAzCw8NJT08nLCzMdhwRERGRQgmoDp34n6ws2wlERETsC7IdQORifv8dVqyA//wHduwwt7Q0OHECMjPN7cwZKFkSKlaESpXMrWpVaNYMWraEGjXA4bD9TkRERNxLQ64acvUa+/fD4sXw1VemkNu2zdxfsyb87W9w1VVQuTIULw4hIRAcbG6HD5tCLzXVfD1b/AGULw8tWkCHDnDXXXDllZbenIiIiBupoFNBZ1VmJixYAO+/D198AadPw7XXmgKsfXto1w4qVMj/6+7fD99+C+vWmdvq1aaz17IldO9uirtq1Vz+dkRERKxQQaeCzop9+yAhASZNggMHoHlzuOce6NbNdNVc7cgRUzjOng2LFsHJk9CpEwwaBFFRGpYVERHfpoJOBZ1HHT0KL70EL75oiqgHHoCHH4a6dT2XIT0d5s6F11+H5GSIjDSFXXS0GcoVERHxNVrlKh6RlQVTp0KtWjB2LAwYAHv2wGuvebaYAwgPh/vvh40bzXy9a66Bfv1MtmnTtHJWRER8jwo6cbukJGjUCB580MyN++knGDcOrrjCbi6Hw8zT++QT2LzZDPvefz/Ur2+GZ0VERHyFCjpxm4wMM6QaFWW6Yt98AzNmmK1EvE2dOvDRR7B+PVSpArfdZm67d9tOJiIicnkBVdDp6C/PWbkSGjY0RdLUqebPzZvbTnV5TZuarVM+/tjsf1e3rhkiPnnSdjIREZGL06IILYpwqTNn4LnnYPRo+Pvf4b33zD5yvujIEfNeXnvNLJx4/3247jrbqURERC4UUB06ca8jR+COO0wx98ILsHy57xZzAKVLwyuvmGFYh8N0GMeONUWriIiIN1FBJy6xaxe0aQPLlpkFBcOHQ9GitlO5RqNGZpPiJ54w76trVzh40HYqERGR/1FBJ4W2cqU5O/XYMXMqwy232E7keiEhEB8PCxea4q5xY7PIQ0RExBuooJNCef996NgR6tUzhU5kpO1E7nXzzWYz4sqVoW1beOMNCLxZqCIi4m1U0EmBvfkm3HuvOWFh8WIoW9Z2Is+oVg1WrIBHHoHHHoN//ct0J0VERGxRQScFMmGCObJr4EB45x0oVsx2Is8KDjbX4MMP4bPPzAbFv/9uO5WIiAQqFXSSb+PGmbNPn3zSFDWBfLB9t26wejWkpUHLlvD997YTiYhIIFJBJ/ny0kswbBg884wp7AK5mDvruuvMAomyZc3ee4sX204kIiKBRgWd5Nl775mu3PDhMGqUirlzVakCq1ZBu3ZmW5M5c2wnEhGRQKKCTvLk88+hTx948EGzabBcqFQpmDcP7rwTunc3BbCIiIgnBNkO4EkJCQkkJCSQlZVlO4pPWbPGzBW79VaYPFmduUspVgymTzfF3X33wdGj8OijtlOJiIi/01muOsv1kjZvNvPC6tWDL7+E4sVtJ/INTqc5WeLVV82GxMOG2U4kIiL+LKA6dJI/Bw+a+WBVqsD8+Srm8sPhgJdfNufBxsaac25feEHdTRERcQ8VdJKrU6fgrrtMIbJsGfzf/9lO5HscDhg50gy/PvUUBAWZP4uIiLiaCjrJVUyM2V9t6VKoUcN2Gt/25JNw5owZdg0Ohrg424lERMTfqKCTC0ybBpMmwVtvmW04pPCGDjVdz6efhpIlTcEsIiLiKiroJIfNm82qzPvvh379bKfxL08/bVa9DhoE5cpB7962E4mIiL/QKletcs3211/QvDlkZcH69aaTJK7ldJq9/N5/3yw06dzZdiIREfEH6tBJtpgY+OUXFXPu5HCYoewDB8wGxEuXQqtWtlOJiIiv00kRAsCsWTBlCrz+utlzTtwnKMhc76ZN4ZZbYNMm24lERMTXachVQ6788gs0bmyKixkztFeapxw+bBadHDoEa9dCtWq2E4mIiK8KqA5dQkICkZGRNGvWzHYUr5GZCT17QvnyZihQxZzn/N//mdM3goLMsWpHj9pOJCIivkodugDv0MXFwYsvmg5Rkya20wSmH36A1q3hxhth7lwoElC/ZomIiCvon44Atn49jB0Lzz6rYs6m+vVh5kyz6jU21nYaERHxRerQBWiH7sQJU8SFhsK6dVCsmO1E8sor8MQT8O9/w3332U4jIiK+RNuWBKiRI2HbNvjPf1TMeYtBg2DLFrOh89VXQ9u2thOJiIiv0JBrAFq/HsaPhxEjtEWJN3E4ICEB2rSBf/4TduywnUhERHyFhlwDbMg1KwvOLvL99luzwlK8y8GD0LIlBAeb4fDSpW0nEhERb+f2Dt2kSZOoWbMmoaGhNGnShFWrVl30sampqfTq1YvatWtTpEgRYnI5wXzatGk4HI4LbidOnHDju/AfkydDSor5qmLOO5UtCwsWwN698MAD5rgwERGRS3FrQTd79mxiYmKIi4sjOTmZtm3b0rlzZ/bs2ZPr4zMzMylXrhxxcXE0bNjwoq8bFhZGampqjltoaKi73obfSEsz25T06wctWthOI5dSpw5MmwYff2wWS4iIiFyKW4dcW7RoQePGjZk8eXL2fXXr1uX2228nPj7+ks/t0KED1113HRMmTMhx/7Rp04iJieHw4cMFzhWoQ6533202st26Fa64wnYayYuhQ+Hll2HJEujQwXYaERHxVm7r0J08eZKNGzcSFRWV4/6oqCjWrFlTqNc+evQo1atXp2rVqnTt2pXk5ORCvV4gWL4cEhPNJsIq5nzH6NHQvj107w6//mo7jYiIeCu3FXQHDhwgKyuLChUq5Li/QoUKpKWlFfh169Spw7Rp05g/fz4zZ84kNDSUNm3asG3btos+JzMzk4yMjBy3QHLyJDzyiFk9ec89ttNIfgQFwaxZZr/Abt3M/5ciIiLnc/uiCMd5h4M6nc4L7suPli1bcvfdd9OwYUPatm3Lhx9+SK1atXj99dcv+pz4+HjCw8Ozb9UC7BT0V14xe85NmqRjpXxRuXLw0UewYQMMH247jYiIeCO3/fMeERFB0aJFL+jG7du374KuXWEUKVKEZs2aXbJDFxsbS3p6evZt7969Lvv+3m73bhg1Ch5/HBo0sJ1GCqpFC7N34Msvw2ef2U4jIiLexm0FXXBwME2aNCEpKSnH/UlJSbRu3dpl38fpdJKSkkKlSpUu+piQkBDCwsJy3ALFk09CmTJmE2HxbTExcNttcO+9ZksTERGRs9y6E9ngwYOJjo6madOmtGrViilTprBnzx769+8PmM7Zb7/9xvvvv5/9nJSUFMAsfNi/fz8pKSkEBwcTGRkJwMiRI2nZsiXXXHMNGRkZvPbaa6SkpJCQkODOt+KTvv7aDNVNm6bNaf2Bw2HOeW3UCHr2hK++0rFtIiJiuLWg69GjBwcPHmTUqFGkpqZSr149Fi5cSPXq1QGzkfD5e9I1atQo+39v3LiRGTNmUL16dXbt2gXA4cOH6devH2lpaYSHh9OoUSNWrlxJ8+bN3flWfM6ZMzB4MDRuDNHRttOIq1xxhVkk0a4dPPssXGb3HxERCRA6+stPh19nzoRevcx2Jdq/zP+MGwexsbB0KVx/ve00IiJimwo6PyzoTpyA2rXN0Nwnn9hOI+5w5gx07Ag//wzffWeOCxMRkcClTSz8UEIC/Pab6eKIfypSBN5/H44fN0e5Bd6vZSIici4VdH4mPd3Mq+rTx3TpxH9VrQrvvANz58LUqbbTiIiITSro/MzLL8OxY2bCvPi/O+6ABx80+wz+/LPtNCIiYosKOj+yb585FeKxx6BKFdtpxFMmTIDKlc3+dKdP204jIiI2qKDzI6NHm7M/hw2znUQ8qWRJeO89+PZbePFF22lERMSGgCroEhISiIyMpFmzZrajuNzu3fDmm+ZkiCuusJ1GPK11a/P//XPPwfff204jIiKepm1L/GTbkkceMadC7NwJpUrZTiM2ZGZC06ZQtKjp1gUH204kIiKeElAdOn/1229mlePgwSrmAllIiNnKZNMmGDXKdhoREfEkFXR+4KWXoEQJePRR20nEtkaNzLBrfDx8843tNCIi4ikacvXxIdd9+6BGDXjqKRgxwnYa8QanT5s5dRkZkJwMxYvbTiQiIu6mDp2Pe+UVM2dq4EDbScRbBAWZodfdu+Hpp22nERERT1BB58MOHTLHfD36qFa2Sk516ph5dBMmwPr1ttOIiIi7qaDzYRMnQlaWWQwhcr5Bg8ycuj594ORJ22lERMSdVND5qPR0eO01eOghKF/edhrxRkFB5qzXzZth3DjbaURExJ1U0PmoSZPg+HGzmazIxVx3nVkw88ILsGWL7TQiIuIuWuXqg6tcjx0zK1u7dTOFncilnDgBDRtCRASsWgVF9GuciIjfCaiPdn85+uutt+DwYRg61HYS8QWhofD227BmjX4BEBHxV+rQ+ViHLjPTdOe6dDGnQ4jk1cMPw/Tp5iSJK6+0nUZERFwpoDp0/iAxEdLSzLwokfwYNw7Cw6F/fwi8X+NERPybCjofcuaMOebrttugdm3bacTXhIXB5MnwxRcwY4btNCIi4koq6HzIokVmpeKQIbaTiK+69Vbo0QNiYuDgQdtpRETEVVTQ+ZCXX4bmzeHvf7edRHzZhAlw6hQMH247iYiIuIoKOh+RkgLLlsETT4DDYTuN+LKKFWH0aJgyBdats51GRERcQatcfWSVa58+sHgx7NxpTgAQKYysLGjRwnxdv14/UyIivk4dOh9w8KCZxP7II/qHV1yjaFGzQOK77yAhwXYaEREpLBV0PuCdd8w2E3372k4i/qRZM7OFyTPPwO+/204jIiKFoYLOy50+bXb3/9e/zNFNIq40ejQULw6DB9tOIiIihaGCzsvNnw979sBjj9lOIv6oTBmzt+Hs2ZCUZDuNiIgUVEAtikhISCAhIYGsrCx+/vlnn1gUcf31ZouJ1attJxF/5XTCDTfAb7/B99+bs19FRMS3BFRBd5avrHL94Qdo0ABmzTKbwYq4y5Yt5mft2WfNnDoREfEtGnL1Ym+8AZUrwx132E4i/q5uXXMCyejRsH277TQiIpJfKui81J9/wvTp8PDDUKyY7TQSCJ55BipUgEGDbCcREZH8UkHnpd5916xw7dfPdhIJFCVKmAUSCxbAl1/aTiMiIvmhOXReOIfuzBm45hpo0wbef992GgkkTqdZiJOWZhZIBAfbTiQiInmhDp0XWroUduwww60inuRwwGuvwbZtZg6niIj4BhV0XmjKFKhXD1q2tJ1EAlGDBuYEiZEj4Y8/bKcREZG8UEHnZf74Az75xMydczhsp5FANWqUOe81Ls52EhERyQsVdF5m2jQICoK777adRAJZ2bLw/PNmcc6GDbbTiIjI5WhRhBctijhzBmrVgtattRhC7Dt9Gho3hlKl4Ouv1TEWEfFmAdWhS0hIIDIykmbNmtmOkqvly82mrtqqRLxBUJBZILF2LSQm2k4jIiKXog6dF3XoevQwx31t2qRuiHiPbt1Mh27rVihd2nYaERHJTUB16LzZvn0wb54WQ4j3eeklc3LJmDG2k4iIyMWooPMS771nCrnoaNtJRHKqXh2efBJefRV277adRkREcqOCzgs4nWY14R13mNWFIt7mqaegTBmIjbWdREREcqOCzgt88w389BM88IDtJCK5K1UKXngBZs6Eb7+1nUZERM6nRRFesCjioYfgiy9g506zmauIN8rKMtuYlC4Nq1ZprqeIiDdxe4du0qRJ1KxZk9DQUJo0acKqVasu+tjU1FR69epF7dq1KVKkCDExMbk+bs6cOURGRhISEkJkZCTz5s1zU3r3O34cZs2Ce+9VMSferWhRs0Di669h7lzbaURE5FxuLehmz55NTEwMcXFxJCcn07ZtWzp37syePXtyfXxmZiblypUjLi6Ohg0b5vqYtWvX0qNHD6Kjo/nuu++Ijo6me/fufPPNN+58K24zbx5kZMB999lOInJ5N90EnTvD0KGQmWk7jYiInOXWIdcWLVrQuHFjJk+enH1f3bp1uf3224mPj7/kczt06MB1113HhAkTctzfo0cPMjIy+OKLL7Lvu/nmmylTpgwzZ87MUy5vGnLt2NHsyP/VV1ZjiOTZpk3QoAG8+CIMHmw7jYiIgBs7dCdPnmTjxo1ERUXluD8qKoo1a9YU+HXXrl17wWt26tSpUK9py6+/wrJlZrhVxFdce63ZL/H55+HgQdtpREQE3FjQHThwgKysLCpUqJDj/goVKpCWllbg101LS8v3a2ZmZpKRkZHj5g1mzoSQELjzTttJRPJn5EizSOL5520nERER8MCiCMd5S+GcTucF97n7NePj4wkPD8++VatWrVDf31WmT4fbbgMvWGgrki/ly5s96RISYNs222lERMRtBV1ERARFixa9oHO2b9++Czps+VGxYsV8v2ZsbCzp6enZt7179xb4+7vKDz/A99/D3XfbTiJSMDExULmyWSAhIiJ2ua2gCw4OpkmTJiQlJeW4PykpidatWxf4dVu1anXBay5evPiSrxkSEkJYWFiOm22JieZUiE6dbCcRKZjixSE+3qzUXrnSdhoRkcAW5M4XHzx4MNHR0TRt2pRWrVoxZcoU9uzZQ//+/QHTOfvtt994//33s5+TkpICwNGjR9m/fz8pKSkEBwcTGRkJwOOPP067du0YN24c//jHP/j0009ZsmQJq1evdudbcakzZ0xB1707BAfbTiNScD17woQJ8MQT5gQJbTYsImKH20+KmDRpEuPHjyc1NZV69erx6quv0q5dOwDuu+8+du3axVfn7NmR21y46tWrs2vXruw/f/zxxzz99NPs2LGDq6++mtGjR3PHHXfkOZPtbUu++gquv95s0FqIZqWIV1ixAjp0gA8/hG7dbKcREQlMOvrLQkHXty8sXQrbt6ujIf7hllvM4ohNm6BYMdtpREQCj9tXuUpOJ07ARx9B794q5sR/xMfDL7/A1Km2k4iIBCYVdB72+eeQnm4KOhF/0aCB+ZkeORKOHbOdRkQk8Kig87Dp06FpU6hTx3YSEdcaNcqcHDFxou0kIiKBRwWdBx06BAsXau858U81a8LDD8O4cToSTETE01TQedDHH8Pp09Cjh+0kIu4RF2e25YmPt51ERCSwqKDzoOnT4aaboGJF20lE3KN8eRgyBN54A/bssZ1GRCRwBFRBl5CQQGRkJM2aNfP49969G1at0nCr+L/Bg835xCNG2E4iIhI4tA+dh/ahe/FFePZZ2LcPSpf2yLcUseb1181Zrz/8AP895EVERNxIBZ2HCrpmzaB6dTOPTsTfnTxpVnI3aACffGI7jYiI/wuoIVdbtm+HDRvM2a0igSA4GJ5/Hj79FNassZ1GRMT/qaDzgI8+ghIlzPFIIoHiX/+Chg1h2DAIvHEAERHPUkHnAR9+CF27QsmStpOIeE6RImb7klWrzP6LIiLiPiro3GzbNkhO1nCrBKabb4b27SE2FrKybKcREfFfKujc7MMPTWeuc2fbSUQ8z+GAsWPNatcZM2ynERHxXyro3Gz2bLjtNjOHTiQQtWwJ//wnPPMMZGbaTiMi4p9U0LnR1q2mM9Gtm+0kInaNHg1798I779hOIiLin1TQudHcuaYzd/PNtpOI2FW3LvTuDS+8AMeP204jIuJ/Aqqg8/TRX3PmQJcuULy4R76diFd77jk4cAAmTbKdRETE/+ikCDedFLF7N9SoATNnQs+ebvkWIj7noYfMLzo7d+oIPBERVwqoDp0nzZ1rdsvv0sV2EhHv8fTTcOQITJxoO4mIiH9RQecmc+dCVBR46KhYEZ9QrRo8/DC89BL8+aftNCIi/kMFnRukpcHXX8Mdd9hOIuJ9YmPh1ClT1ImIiGuooHODTz4xxx7ddpvtJCLep0IFGDjQDLvu22c7jYiIf1BB5wZz5kCHDlC2rO0kIt7pySehaFFzioSIiBSeCjoXO3QIli+HO++0nUTEe11xBTzxhNnC5NdfbacREfF9KuhcbP58OHMGbr/ddhIR7xYTA6VKmVMkRESkcFTQudjcudC6NVSqZDuJiHcLC4OhQ81xYDt22E4jIuLbVNC50PHjkJSk7pxIXj36KEREwPPP204iIuLbVNC50JIlcOIE3Hqr7SQivqFECdOl++AD+OUX22lERHxXQBV07j7LdcECqFULatd2y8uL+KWHHoJy5TSXTkSkMHSWq4uOcjhzBipXhrvv1oapIvk1caJZ9frTT/C3v9lOIyLiewKqQ+dOGzbAH39oM2GRgujXT106EZHCUEHnIvPnQ5kyZoWriORP8eIwbJjm0omIFJQKOhdZsAC6dIGgINtJRHxTv35Qvjy88ILtJCIivkcFnQvs3g3ff6/hVpHCONulmz5dXToRkfxSQecCCxaYzlynTraTiPi2s1067UsnIpI/KuhcYMECaN8ewsNtJxHxbaGhEBtrunTbttlOIyLiO1TQFVJGBixfruFWEVfp2xcqVtRcOhGR/FBBV0iLF8OpUzodQsRVzu3S/fyz7TQiIr5BBV0hLVgA9epBzZq2k4j4jwcfVJdORCQ/Aqqgc/XRX1lZ8Pnn6s6JuNrZLl1iorp0IiJ5oaO/CnH01+rV0LYtrFkDrVq5MKCIcOKEOQbshhvg/fdtpxER8W4B1aFztfnzzRYLzZvbTiLif87t0m3dajuNiIh3U0FXCAsWwC23QNGitpOI+Kc+faBSJc2lExG5HBV0BbRtG/z0k7YrEXGn0FAYPhxmzFCXTkTkUlTQFdCCBRASAjfdZDuJiH8726XT6REiIhengq6AFi6E66+HkiVtJxHxbyEhpks3c6bpiouIyIXcXtBNmjSJmjVrEhoaSpMmTVi1atUlH79ixQqaNGlCaGgoV111FW+++WaOv582bRoOh+OC24kTJ9z5NnI4ehRWrYLOnT32LUUCWp8+ULmy5tKJiFyMWwu62bNnExMTQ1xcHMnJybRt25bOnTuzZ8+eXB+/c+dOunTpQtu2bUlOTmb48OEMHDiQOXPm5HhcWFgYqampOW6hoaHufCs5LF8OJ0/CzTd77FuKBDR16URELs2t+9C1aNGCxo0bM3ny5Oz76taty+233058fPwFjx86dCjz589ny5Yt2ff179+f7777jrVr1wKmQxcTE8Phw4cLnKuw+9A9+igsWgS//AIOR4FjiEg+ZGbCNdeYvR8TE22nERHxLm7r0J08eZKNGzcSFRWV4/6oqCjWrFmT63PWrl17weM7derEhg0bOHXqVPZ9R48epXr16lStWpWuXbuSnJzs+jdwEU4nfPGF6c6pmBPxHHXpREQuzm0F3YEDB8jKyqJChQo57q9QoQJpaWm5PictLS3Xx58+fZoDBw4AUKdOHaZNm8b8+fOZOXMmoaGhtGnThm3btl00S2ZmJhkZGTluBbVtG+zcqeFWERvuvx+qVIExY2wnERHxLm5fFOE4r43ldDovuO9yjz/3/pYtW3L33XfTsGFD2rZty4cffkitWrV4/fXXL/qa8fHxhIeHZ9+qVatW0LfDokUQHGxWuIqIZ4WEwFNPmX3ptm+3nUZExHu4raCLiIigaNGiF3Tj9u3bd0EX7qyKFSvm+vigoCDKli2b63OKFClCs2bNLtmhi42NJT09Pfu2d+/efL6b//niCzOHp1SpAr+EiBTCgw9CRASMHWs7iYiI93BbQRccHEyTJk1ISkrKcX9SUhKtW7fO9TmtWrW64PGLFy+madOmFCtWLNfnOJ1OUlJSqFSp0kWzhISEEBYWluNWEH/9BV99pe1KRGwqXhyGDIH33oOLLJgXEQk4bh1yHTx4MO+88w7vvvsuW7ZsYdCgQezZs4f+/fsDpnN2zz33ZD++f//+7N69m8GDB7Nlyxbeffddpk6dypAhQ7IfM3LkSL788kt27NhBSkoKffr0ISUlJfs13WnFCjhxQvPnRGzr3x/CwmDcONtJRES8Q5A7X7xHjx4cPHiQUaNGkZqaSr169Vi4cCHVq1cHIDU1NceedDVr1mThwoUMGjSIhIQEKleuzGuvvcadd96Z/ZjDhw/Tr18/0tLSCA8Pp1GjRqxcuZLmzZu7860AZv5ctWoQGen2byUil1CqFAweDKNGQVyc2XRYRCSQuXUfOm9V0H3oateG9u1hyhQ3hhORPMnIgOrVzcrXV16xnUZExC6d5ZpHO3bAzz9r/pyItwgLg4ED4c03Yd8+22lEROxSQZdHX34JQUFwww22k4jIWY8/DkWLqkMnIqKCLo+++AJat4bwcNtJROSsK66AAQMgIQEOHbKdRkTEHhV0eZCZCcuWabhVxBsNGgRZWTBxou0kIiL2qKDLg7Vr4dgx6NTJdhIROV/58mYbk4kTIT3ddhoRETtU0OVBUhKUKwcNG9pOIiK5efJJs0fkG2/YTiIiYkdAFXQJCQlERkbSrFmzfD0vKQluvBGKBNTVEvEdlSqZI8FefRWOHrWdRkTE87QP3WX2oTt0yJwb+fbb0KePhwKKSL7t2QN/+xuMGWOOBhMRCSTqOV3G8uXgdMJNN9lOIiKXcuWVcO+98NJL5txlEZFAooLuMpKSoFYt84+FiHi32Fg4cADeecd2EhERz1JBdxlJSerOifiKq66CXr1g3Diz3ZCISKBQQXcJO3aYW8eOtpOISF4NHw6//w7TptlOIiLiOSroLmHJEnOs0PXX204iInlVpw507w5jx8KpU7bTiIh4hgq6S0hKgubNddyXiK+Ji4NduyAx0XYSERHPUEF3EVlZ5rgvDbeK+J769eH2280WJllZttOIiLifCrqLSE42e9BpQYSIb3r6adi2DWbPtp1ERMT9VNBdRFISlCoFLVvaTiIiBdGkCXTuDPHxcOaM7TQiIu4VUAVdfo7+WrIE2reHYsU8EExE3GL4cPjxR1iwwHYSERH30tFfuRz9dfw4lCkD48fD449bCCgiLtO+PZw4AevWgcNhO42IiHsEVIcur77+Gk6ehBtvtJ1ERApr+HD49ltYutR2EhER91FBl4vly6F8ebj2WttJRKSwoqLMfLoxY2wnERFxHxV0uVi2zGwmrOEZEd/ncJh96ZYvh7VrbacREXEPFXTnyciADRvghhtsJxERV/nHPyAyUl06EfFfKujOs2qV2YhUx32J+I8iRSA2Fj77DL77znYaERHXU0F3nuXLoWpV+NvfbCcREVfq2RNq1jT70omI+BsVdOfR/DkR/xQUBEOHwocfws8/204jIuJaKujOcegQpKRo/pyIv7r3XqhYEcaOtZ1ERMS1VNCdY8UKcDo1f07EX4WGwpAh8MEHsGeP7TQiIq6jgu4cy5fDVVdB9eq2k4iIu/TrB2Fh8OKLtpOIiLhOQBV0lzvL9ez8ORHxX6VKQUwMvPMO/PGH7TQiIq6hs1z/e5brH3+YuTWJidCrl+WAIuJWf/5pOvGPPKL5dCLiHwKqQ3cpX31lvqpDJ+L/ypQxxdykSaa4ExHxdSro/mv5cqhTBypVsp1ERDxh0CA4dQreeMN2EhGRwlNB91+aPycSWCpUgAcfhAkT4OhR22lERApHBR2QmgrbtkGHDraTiIgnPfmkOb95yhTbSURECkcFHbBypfnarp3dHCLiWVdeCdHR8NJLkJlpO42ISMGpoMNsKFyrllnlKiKBZehQSEuDadNsJxERKTgVdJgOXfv2tlOIiA21a0O3bjBuHJw+bTuNiEjBBHxBd+AAbNqk4VaRQBYbCzt3wqxZtpOIiBRMwBd0q1aZr+rQiQSu666DW26B+Hg4c8Z2GhGR/Auogi63o79WrICaNaFaNYvBRMS6uDjYvBk+/dR2EhGR/Av4o786dAijQQNNiBYRsxflkSOwfj04HLbTiIjkXUB16M53+DCkpGi4VUSMuDjYuBGSkmwnERHJn4Au6L75BpxOLYgQEePGG6FZMxg92nYSEZH8CeiCbvVqqFIFrrrKdhIR8QYOh+nSrVxpPh9ERHxFQBd0X39tunOaKyMiZ916K1x7LYwZYzuJiEjeBXRBl5ys+XMiklORIjB8OHzxhfmMEBHxBQFd0J05o/lzInKh7t3NVAx16UTEVwR0QVe2LNSpYzuFiHiboCAYNgzmzIGffrKdRkTk8gK6oGvTRvPnRCR399wDlSvD2LG2k4iIXF5AFnR//WW+tmljN4eIeK+QEBgyBKZPh127bKcREbk0vzopwul0cuTIkQvuz8zMJDMzM/vPS5ce5777avPll3tp2TLMkxFFxIccO2ZWvN55J7z8su00IuLt7rkH/vUv6Nw5b48vXbo0DhcNFfpVQXf2SC8RERERb7dv3z7KlSvnktcKcsmreInSpUuTnp5+wf3nd+hSU1Np3rw5mzdvpkqVKgX+fs2aNWP9+vUFfr43vUZGRgbVqlVj7969hIUVvGvpLe+nsK+h65FTIF+Pw4dNl+6BB+D55819gXw9cqPrkZOux4UC4ZrMng39+sH27RARcennn70ewcHBhcpxLr8q6BwOR75+UEqXLl2oH6yiRYsW6vne9BpnhYWF6ZqcQ9cjp0C8HmFhMGAAvPEGPPccXHHFuX8XeNfjUnQ9ctL1uJA/X5Nvv4XIyPydPuWq4VYI0EURrvLoo4/6zWu4ire8H2+5Jt7yXnQ9CvcagwbB6dOmqHMlX70e7uIt70XXw/Wv4Sre8n5ye40VK+weVuBXc+jy6tdff81u/VatWtV2HK9wdv5henq6y34T82W6HjnpesDAgZCYCLt3w5kzuh7n0s9HTroeF/L3a5KaarY5mjULevS4/OPdcT0CskMXEhKS46uYa/Hcc8/pmvyXrkdOuh7w5JOQkQFvvaXrcT5dj5x0PS7k79dkxQrzNa8dOndcj4Ds0Pn7bwoi4h59+sDChbBzJ4SG2k4jIt7i4Ydh2TLYutVehoDs0ImIFMSwYbBvH0ybZjuJiHgT2/PnQAWdiEieXXMNdOsG48bBqVO204iIN9i3D7ZsUUEnIuJThg83R4HNmmU7iYh4g5UrzVcVdCIiPqRBA+jaFeLj4cwZ22lExLYVK8zec7Y3zVBBFyAmTZpEzZo1CQ0NpUmTJqxateqij507dy433XQT5cqVIywsjFatWvHll196MK375ed6nOvrr78mKCiI6667zr0BLcjvNcnMzCQuLo7q1asTEhLC1VdfzbvvvuuhtO53qesxfLgZYvnkk/89PjExkYYNG1KiRAkqVarE/fffz8GDBz0f3A1WrlzJrbfeSuXKlXE4HHxy7hu/iBUrVtCkSRNCQ0O56qqrePPNN90f1EPyez38/TO1ID8fZ/nDZ+r58+cKcj1c8XkaUAVdQkICkZGRNGvWzHYUj5o9ezYxMTHExcWRnJxM27Zt6dy5M3v27Mn18StXruSmm25i4cKFbNy4keuvv55bb72V5ORkDyd3j/xej7PS09O55557uPHGGz2U1HMKck26d+/O0qVLmTp1Klu3bmXmzJnUqVPHg6nd53LXo1UruP56GD0anE5YvXo199xzD3369GHTpk189NFHrF+/ngcffNDyO3GNY8eO0bBhQ97I487KO3fupEuXLrRt25bk5GSGDx/OwIEDmTNnjpuTekZ+r4e/f6bm93qc5Q+fqQcPwg8/5CzoCnI9XPJ56gxA6enpTsCZnp5uO4pHNG/e3Nm/f/8c99WpU8c5bNiwPL9GZGSkc+TIka6OZkVBr0ePHj2cTz/9tPO5555zNmzY0I0JPS+/1+SLL75whoeHOw8ePOiJeB6Xl+uRlOR0gtO5aJHT+eKLLzqvuuqqHI9/7bXXnFWrVvVIXk8CnPPmzbvkY5566ilnnTp1ctz30EMPOVu2bOnGZHbk5Xrkxp8+U8+Vn+vhD5+p8+aZz4GdO3P/+7xcD1d9ngZUhy4QnTx5ko0bNxIVFZXj/qioKNasWZOn1zhz5gxHjhzhinMPsfRRBb0e//73v9m+fTvPPfecuyN6XEGuyfz582natCnjx4+nSpUq1KpViyFDhvDXX395IrJb5fV63HgjNG8OY8ZA69at+fXXX1m4cCFOp5M//viDjz/+mFtuucXT8b3C2rVrL7h+nTp1YsOGDZzS8mC/+kwtKH/5TF2xAq68EmrUKPhruOrzNKjgEcQXHDhwgKysLCpUqJDj/goVKpCWlpan13j55Zc5duwY3bt3d0dEjyrI9di2bRvDhg1j1apVBAX5338yBbkmO3bsYPXq1YSGhjJv3jwOHDjAI488wqFDh3x+Hl1er4fDYebS3X47nDnTmsTERHr06MGJEyc4ffo0t912G6+//rqH03uHtLS0XK/f6dOnOXDgAJUqVbKUzDv402dqQfjTZ6or9p9z1eepOnQBwuFw5Piz0+m84L7czJw5kxEjRjB79mzKly/vrngel9frkZWVRa9evRg5ciS1atXyVDwr8vMzcubMGRwOB4mJiTRv3pwuXbrwyiuvMG3aNL/o0kHersett0K9ejB8+BEGDhzIs88+y8aNG1m0aBE7d+6kf//+nozsVXK7frndH2j89TM1r/zpM/XwYUhJKXxB56rPU98ujeWyIiIiKFq06AWdln379l3wG/T5Zs+eTZ8+ffjoo4/o2LGjO2N6TH6vx5EjR9iwYQPJyckMGDAAMP/xOZ1OgoKCWLx4MTfccINHsrtLQX5GKlWqRJUqVQgPD8++r27dujidTn799VeuueYat2Z2p/xcjyJFIDYWevcuzY033s2TTz4JQIMGDShZsiRt27blhRdeCLiOVMWKFXO9fkFBQZQtW9ZSKvv88TM1v/zpM3X1arMoqkOHwr2Oqz5P1aHzc8HBwTRp0oSkpKQc9yclJdG6deuLPm/mzJncd999zJgxw6/mAeX3eoSFhfHDDz+QkpKSfevfvz+1a9cmJSWFFi1aeCq62xTkZ6RNmzb8/vvvHD16NPu+n3/+mSJFilDV9mZMhZTf69G9O5QsmcrWrXfkuL9o0aLA/zpTgaRVq1YXXL/FixfTtGlTihUrZimVXf76mZpf/vSZumIFVKli9qArDJd9nhZqSYWPCrRVrrNmzXIWK1bMOXXqVOfmzZudMTExzpIlSzp37drldDqdzmHDhjmjo6OzHz9jxgxnUFCQMyEhwZmampp9O3z4sK234FL5vR7n8+UVWReT32ty5MgRZ9WqVZ133XWXc9OmTc4VK1Y4r7nmGueDDz5o6y24VH6vx333rXZClvOZZ2Y4t2/f7ly9erWzadOmzubNm9t6Cy515MgRZ3JysjM5OdkJOF955RVncnKyc/fu3U6n88LrsWPHDmeJEiWcgwYNcm7evNk5depUZ7FixZwff/yxrbfgUvm9Hv7+mZrf63E+X/1MbdbM6ezV68L783s9XPV5qoIuQCQkJDirV6/uDA4OdjZu3Ni5YsWK7L+79957ne3bt8/+c/v27Z3ABbd7773X88HdJD/X43y++uFzOfm9Jlu2bHF27NjRWbx4cWfVqlWdgwcPdh4/ftzDqd0nP9fjxAmnMzz8iDM8fJ6zePHizkqVKjl79+7t/PXXXy0kd73ly5df8jMht5+Pr776ytmoUSNncHCws0aNGs7Jkyd7Prib5Pd6+PtnakF+Ps7li5+pGRlOZ9GiTudbb134dwW5Hq74PHU4nYE3HpCRkUF4eDjp6emEhYXZjiMifmDCBBgyBH75pXBbGIiI91u0CDp3hp9+gtq1bacxNIdORMQF+vaFMmXgxRdtJxERd1uxAipUAG9aqBtQBV2gHv0lIu5XsiTExMDUqZCaajuNiLjT2f3nvGkXHg25ashVRFzk8GGoXh0eegjGj7edRkTc4ehR042fOBEeecR2mv8JqA6diIg7/d//waOPwuTJcOiQ7TQi4g6rV8Pp0+b4P2+igk5ExIViYiArCwL01C8Rv7d0KVSu7F3z50AFnYiIS5UvbxZITJwIR47YTiMirrZsGdxwg3fNnwMVdCIiLjdkiJln89ZbtpOIiCsdOgTJyaag8zYq6EREXKxaNbjnHnj5ZThxwnYaEXGVFSvM+a0q6EREAsTQobBvH/z737aTiIirLFsGV19tVrN7GxV0IiJucM010L272b7k1CnbaUTEFc7On/NGKuhERNwkNhZ27YKZM20nEZHCSk2FzZvh+uttJ8mdCjoRETdp0AC6doX4eDhzxnYaESmMJUvMV2/bf+4sFXQiIm4UF2cO8P7kE9tJRKQwkpLguuvM1kTeKKAKOp3lKiKe1rKlGaIZPdqsjhMR3+N0moLupptsJ7k4neWqs1xFxM2WLoWOHWHRIujUyXYaEcmvH34wUyiSksx/y94ooDp0IiI23HADNG9uunQi4nuSkiA0FP7+d9tJLk4FnYiImzkcZi7dqlXmJiK+ZfFiaNvWFHXeSgWdiIgHdO0K9erBmDG2k4hIfpw4AStXQlSU7SSXpoJORMQDihSB4cPNPLr1622nEZG8WrMG/vrLuxdEgAo6ERGP6d4datWCF16wnURE8mrxYqhQAerXt53k0lTQiYh4SNGiZi7d/PmQkmI7jYjkxdmVrUW8vGLy8ngiIv6lVy+46ip16UR8wf798J//eP9wK6igExHxqKAgc8brnDmwaZPtNCJyKUuXmq8q6ERE5AL33ANXXql96US8XVISXHstVK5sO8nlBVRBp6O/RMQbBAfDsGEwaxZs3Wo7jYjkxuk0CyJ8oTsHOvpLR3+JiBUnTsDVV5vJ1u+9ZzuNiJzvp5+gbl1YuBA6d7ad5vICqkMnIuItQkNh6FBITITt222nEZHzJSWZbnq7draT5I0KOhERS/r2hYgIiI+3nUREzrd4MbRuDSVL2k6SNyroREQsKV4chgwxQ667d9tOIyJnnToFX33l/cd9nUsFnYiIRf37Q3g4jBtnO4mInLVuHRw96jsLIkAFnYiIVaVKwRNPwNSp8NtvttOICJjh1iuugEaNbCfJOxV0IiKWPfqomaczfrztJCIC/zvuq2hR20nyzq0F3Z9//kl0dDTh4eGEh4cTHR3N4cOHL/kcp9PJiBEjqFy5MsWLF6dDhw5sOm879Q4dOuBwOHLcevbs6cZ3IiLiPmFh8PjjMGUKpKXZTiMS2A4ehG+/9a35c+Dmgq5Xr16kpKSwaNEiFi1aREpKCtHR0Zd8zvjx43nllVd44403WL9+PRUrVuSmm27iyJEjOR7Xt29fUlNTs29vvfWWO9+KiIhbDRxotkh4+WXbSUQC2+LFZlPhm2+2nSR/3FbQbdmyhUWLFvHOO+/QqlUrWrVqxdtvv81nn33G1otsje50OpkwYQJxcXHccccd1KtXj/fee4/jx48zY8aMHI8tUaIEFStWzL6Fh4e7662IiLhdmTLw2GMwaZI5EFxE7Fi0CBo0gCpVbCfJH7cVdGvXriU8PJwWLVpk39eyZUvCw8NZs2ZNrs/ZuXMnaWlpRJ3T5wwJCaF9+/YXPCcxMZGIiAiuvfZahgwZckEH71yZmZlkZGTkuImIeJuYGHA44NVXbScRCUxnzpiCzte6c+DGgi4tLY3y5ctfcH/58uVJu8gkkbP3V6hQIcf9FSpUyPGc3r17M3PmTL766iueeeYZ5syZwx133HHRLPHx8dnz+MLDw6lWrVpB3pKIiFtFRJgFEm+8AYcO2U4jEniSk2HfPt846ut8+S7oRowYccGChPNvGzZsAMDhcFzwfKfTmev95zr/789/Tt++fenYsSP16tWjZ8+efPzxxyxZsoT//Oc/ub5ebGws6enp2be9e/fm922LiHjEE0/A6dMwcaLtJCKB54svoHRpc0KErwnK7xMGDBhw2RWlNWrU4Pvvv+ePP/644O/2799/QQfurIoVKwKmU1epUqXs+/ft23fR5wA0btyYYsWKsW3bNho3bnzB34eEhBASEnLJzCIi3qB8eXjoIVPQDR5sNh0WEc/44gu48UazQMnX5LtDFxERQZ06dS55Cw0NpVWrVqSnp/Ptt99mP/ebb74hPT2d1hcpfWvWrEnFihVJSkrKvu/kyZOsWLHios8B2LRpE6dOncpRBIqI+Konn4QTJ8zQq4h4xoED5oSIrl1tJykYt82hq1u3LjfffDN9+/Zl3bp1rFu3jr59+9K1a1dq166d/bg6deowb948wAy1xsTEMGbMGObNm8ePP/7IfffdR4kSJejVqxcA27dvZ9SoUWzYsIFdu3axcOFCunXrRqNGjWjTpo273o6IiMdUrgwPPgivvAKXWO8lIi60aJFZFNGli+0kBePWfegSExOpX78+UVFRREVF0aBBAz744IMcj9m6dSvp6enZf37qqaeIiYnhkUceoWnTpvz2228sXryY0qVLAxAcHMzSpUvp1KkTtWvXZuDAgURFRbFkyRKK+tKWziIilzB0qCnmJk+2nUQkMHz2GTRtCr462OdwOp1O2yE8LSMjg/DwcNLT0wkLC7MdR0QkVw89BHPnwq5d5mgwEXGPU6egXDkYNAiee852moLRWa4iIl5q+HA4fBgSEmwnEfFvX38N6em+O38OVNCJiHit6tXhgQfgxRfh6FHbaUT812efmaHWRo1sJyk4FXQiIl4sLs50DtSlE3Gfzz6DW26BIj5cFflwdBER/3flldCnj+nSacWriOtt2wZbt/r2cCuooBMR8XrDh0NGhrp0Iu7w+ecQEmI2FPZlAVXQJSQkEBkZSbNmzWxHERHJs2rVzL506tKJuN5nn8H110OpUraTFI62LdG2JSLiA379Fa6+GkaMgNhY22lE/ENGBpQtCxMmwKOP2k5TOAHVoRMR8VVVq0LfvvDSS+YfIREpvMWL4fRpsyDC16mgExHxEcOGme1LXn/ddhIR//DZZ1CvHtSoYTtJ4amgExHxEVWrQr9+8PLL6tKJFFZWFixc6B/dOVBBJyLiU2Jj4fhxeO0120lEfNv69bB/v+9vV3KWCjoRER9SubI54/Xll82GwyJSMJ99BldcAS1b2k7iGiroRER8zNChcOKEunQihfHpp9ClCwQF2U7iGiroRER8zNku3SuvwOHDttOI+J5ffoEff4R//tN2EtdRQSci4oPUpRMpuHnzIDQUOnWyncR1VNCJiPigSpWgf3916UQKYt48U8yVLGk7iesEVEGno79ExJ8MHQonT5qiTkTyJjUV1q71r+FW0NFfOvpLRHzaU0/B5MmwcydERNhOI+L93nwTBgyAffvMKld/EVAdOhERfzN0KDgcMG6c7SQivmHePGjf3r+KOVBBJyLi08qWhUGD4I03zFCSiFzc4cOwbJn/DbeCCjoREZ83eDAULw6jR9tOIuLdPv8cTp+G22+3ncT1VNCJiPi48HAzl27KFNi923YaEe81dy40a2bORfY3KuhERPzAY49BmTIwapTtJCLe6a+/YNEi/xxuBRV0IiJ+oWRJGD4c3nsPfv7ZdhoR77N4MRw/DnfcYTuJe6igExHxEw89ZDYcHjHCdhIR7zNvHtStC7Vr207iHiroRET8RGgoPPMMzJoFP/xgO42I9zh9GhYs8N/hVlBBJyLiV+6/H2rWNIWdiBgrV8KhQyroRETERxQrZoZcP/0U1q+3nUbEO8ydC9WqQZMmtpO4T0AVdDrLVUQCQa9eEBkJTz9tO4mIfVlZ8PHH0K2bOVXFX+ksV53lKiJ+aM4cuOsuWLEC2rWznUbEnuXL4YYbYN06aNHCdhr3CagOnYhIoPjnP6FRI9OlC7xf20X+58MPoXp1aN7cdhL3UkEnIuKHihSBF16AVavM/lsigej0adOt7t7dv4dbQQWdiIjf6twZWreGuDg4c8Z2GhHP++or2L/fFHT+TgWdiIifcjggPh42bjSTwkUCzezZcNVV/r269SwVdCIifqxdO+jSxXTpTp2ynUbEc06dMtuVBMJwK6igExHxe/HxsH07TJ1qO4mI5yxbZjYTDoThVlBBJyLi9xo0gN69YeRIOHbMdhoRz5g9G665Bq67znYSz1BBJyISAEaNgoMHYeJE20lE3O/kSZg3L3CGW0EFnYhIQKhZEx5+GMaNM4WdiD9LSoLDhwNnuBUCrKDT0V8iEsjObl8ydqztJCLu9eGHUKcO1K9vO4nn6OgvHf0lIgFkxAhT0G3bZg4rF/E3x49DxYoweLD5eQ8UAdWhExEJdE88AWFhgfUPnQSWBQvgyBGzECiQqKATEQkgpUub812nTYPNm22nEXG9Dz6Ali3NCtdAooJORCTAPPQQXHmlmVMn4k/27YNFi+Duu20n8TwVdCIiASYkBJ5/Hj75BL7+2nYaEdeZPdtsU9Kjh+0knqdFEVoUISIB6MwZaNYMihWDtWsDZ68u8W/Nm0OlSvDpp7aTeJ46dCIiAahIEXjpJfjmG7PFg4iv27oV1q8PzOFWcHNB9+effxIdHU14eDjh4eFER0dz+PDhSz5n7ty5dOrUiYiICBwOBykpKRc8JjMzk8cee4yIiAhKlizJbbfdxq+//uqeNyEi4qeuvx5uvRWGDYPMTNtpRApn+nQIDzc/04HIrQVdr169SElJYdGiRSxatIiUlBSio6Mv+Zxjx47Rpk0bxl5i58uYmBjmzZvHrFmzWL16NUePHqVr165kZWW5+i2IiPi18eNh7154/XXbSUQKzuk0BV23bhAaajuNHW6bQ7dlyxYiIyNZt24dLVq0AGDdunW0atWKn376idq1a1/y+bt27aJmzZokJydz3Tkn66anp1OuXDk++OADevx31uPvv/9OtWrVWLhwIZ06dbpsNs2hExH5nwEDzD+Gv/wCERG204jk3+rV0LYtfPUVtG9vO40dbuvQrV27lvDw8OxiDqBly5aEh4ezZs2aAr/uxo0bOXXqFFFRUdn3Va5cmXr16l30dTMzM8nIyMhxExER47nnTIfj+edtJxEpmOnTzVY8bdvaTmKP2wq6tLQ0ypcvf8H95cuXJy0trVCvGxwcTJkyZXLcX6FChYu+bnx8fPY8vvDwcKrpvBsRkWzlysHw4TBpEvz8s+00IvmTmWkW9vTubRb7BKp8v/URI0bgcDgueduwYQMAjlzWwTudzlzvL6xLvW5sbCzp6enZt71797r8+4uI+LLHH4fKlc0CCRFf8vnn8OefcJkp+n4vKL9PGDBgAD179rzkY2rUqMH333/PH3/8ccHf7d+/nwoVKuT322arWLEiJ0+e5M8//8zRpdu3bx+tW7fO9TkhISGEhIQU+HuKiPi70FCIjzddjpUroV0724lE8mb6dGjSBOrWtZ3ErnwXdBEREUTkYdZsq1atSE9P59tvv6V58+YAfPPNN6Snp1+08MqLJk2aUKxYMZKSkujevTsAqamp/Pjjj4wfP77ArysiEuh69oQJE2DIEFi3LrCHr8Q3HDxoOnTjxtlOYp/b/nOtW7cuN998M3379mXdunWsW7eOvn370rVr1xwrXOvUqcO8efOy/3zo0CFSUlLY/N9To7du3UpKSkr2/Ljw8HD69OnDE088wdKlS0lOTubuu++mfv36dOzY0V1vR0TE7xUpAi+/bDZnnTXLdhqRy0tMNKee9O5tO4l9bv39KzExkfr16xMVFUVUVBQNGjTggw8+yPGYrVu3kp6env3n+fPn06hRI2655RYAevbsSaNGjXjzzTezH/Pqq69y++230717d9q0aUOJEiVYsGABRYsWdefbERHxe23bwj//CbGxcOKE7TQiF+d0wtSpcNttZmFPoNNZrtqHTkQkh59/hmuvhRdegKFDbacRyd3GjdC0qRly7dLFdhr7NENCRERyqFULHnkExoyB/fttpxHJ3bvvmpXZ52xLG9BU0ImIyAWeeQYcDhgxwnYSkQv99RfMmAH33gtB+V7e6Z9U0ImIyAUiIkxR99Zb8OOPttOI5PTJJ3D4MNx/v+0k3kNz6DSHTkQkVydPQv36UKUKLF1qOnYi3uCGG+D0abNnohjq0ImISK6Cg2HiRFi+HObMsZ1GxNi61fxMPvSQ7STeJaAKuoSEBCIjI2nWrJntKCIiPuHmm+HWW+GJJ+D4cdtpRGDKFChbFu6803YS76IhVw25iohc0vbtEBlp9qbTIgmx6cQJMwXg/vvhpZdsp/EuAdWhExGR/Lv6anMc2LhxsGuX7TQSyObMgUOHoF8/20m8jzp06tCJiFzW0aNQpw60bAkff2w7jQSqdu3MNiXLltlO4n3UoRMRkcsqVQpefNF0SJYutZ1GAtHmzbBqFfTvbzuJd1KHTh06EZE8cTpNh+TPPyE5GYoVs51IAklMDMycCXv3mhXYkpM6dCIikicOB7z+OmzZApMn204jgeSvv+C998xiCBVzuVNBJyIieXbddWZC+rPP6pxX8ZxZsyA9Hfr2tZ3Ee6mgExGRfHn+eShSBOLibCeRQOB0ms5w585mxbXkTgWdiIjkS0SEKereeQc2bLCdRvzdunVmzuaAAbaTeDctitCiCBGRfDt9Gpo2NQsj1q2DokVtJxJ/1bs3fPMN/Pyz6QxL7gLq0ujoLxER1wgKgjffhI0btUBC3Oe33+DDD+HRR1XMXY46dOrQiYgU2MMPQ2Ii/PQTVK5sO434m9hYSEiAX38F/XN9aap3RUSkwMaMgeLFzR5hIq509KjpAvftq2IuL1TQiYhIgZUpA6++Ch99BF98YTuN+JP33oOMDBg40HYS36AhV5X9IiKF4nRCVBRs3w4//gglSthOJL4uK8ucHdy4McyebTuNb1CHTkRECsXhgEmT4Pff4YUXbKcRf7BgAfzyCzzxhO0kvkMFnYiIFNo118Dw4fDii7Bpk+004uteeQXatIHmzW0n8R0q6ERExCWGDoWrroL+/eHMGdtpxFetXw+rVsHgwbaT+BYVdCIi4hIhIWZV4urVMG2a7TTiq1591fxi8I9/2E7iW1TQiYiIy1x/PURHw5NPwv79ttOIr9m712wkHBOj00fySwWdiIi41EsvmZWvQ4bYTiK+5vXXoVQpuP9+20l8jwo6ERFxqfLlzeKI99+HxYttpxFfkZ4OU6bAQw+Zok7yJ6AKOp3lKiLiGQ88ADfcYP5xPnrUdhrxBZMmwV9/weOP207im7SxsDYWFhFxi+3boX596NcPJkywnUa82bFjUKMGdOtmCjvJv4Dq0ImIiOdcfbXZaPi112DtWttpxJtNmQKHD8NTT9lO4rvUoVOHTkTEbbKyoHVrcybnf/4DxYvbTiTe5sQJU/xHRcG//207je9Sh05ERNymaFHzj/TOnRAXZzuNeKNp0yA1FWJjbSfxbSroRETErSIjYcwYM49uxQrbacSbnDoFY8dCjx5Qq5btNL5NBZ2IiLjd44/D3/9u9hc7csR2GvEWiYmwe7c5B1gKRwWdiIi43dmh1337tOGwGKdOwejR5oiv+vVtp/F9KuhERMQjrr7anCIxZQosWmQ7jdj273/DL7/AyJG2k/gHrXLVKlcREY9xOuHmm+HHH82tTBnbicSGv/6Cv/0NOnQww65SeOrQiYiIxzgcMHWq2Uj2scdspxFb3njDDL+PGmU7if8IqIJOR3+JiNhXtao5hD0xEebMsZ1GPO3wYYiPh759zTC8uIaGXDXkKiLicU4n3HknrFoFmzZB+fK2E4mnxMXBq6+ao+EqVbKdxn8EVIdORES8g8MBb75p/vdDD5kCT/xfWprZjzAmRsWcq6mgExERK8qXh7fegk8+gXfftZ1GPOGFFyA4GJ580nYS/6OCTkRErLnjDujTBwYOhJ9+sp1G3GnHDrNlzbBhWt3sDppDpzl0IiJWHTsGTZtCSAisWwehobYTiTtER8PSpWbvuRIlbKfxP+rQiYiIVSVLwqxZsGWL6d6I//nhB7Oq+dlnVcy5iwo6ERGxrmFDc4rExInw2We204grOZ3muLerrzbD6+Iebi3o/vzzT6KjowkPDyc8PJzo6GgOHz58yefMnTuXTp06ERERgcPhICUl5YLHdOjQAYfDkePWs2dP97wJERHxiAEDoGtXuP9++P1322nEVRYsgMWL4eWXoVgx22n8l1sLul69epGSksKiRYtYtGgRKSkpREdHX/I5x44do02bNowdO/aSj+vbty+pqanZt7feesuV0UVExMMcDnO+Z7Fi0Ls3nD5tO5EUVmYmDB4MUVFw66220/i3IHe98JYtW1i0aBHr1q2jRYsWALz99tu0atWKrVu3Urt27Vyfd7bg27Vr1yVfv0SJElSsWNGlmUVExK6ICDOf7oYbzAa048bZTiSF8eqrsHu36dI5HLbT+De3dejWrl1LeHh4djEH0LJlS8LDw1mzZk2hXz8xMZGIiAiuvfZahgwZwpEjRy762MzMTDIyMnLcRETEO7VrZwq58eNh3jzbaaSgfvvN7Ds3YADUrWs7jf9zW4cuLS2N8rmc5VK+fHnS0tIK9dq9e/emZs2aVKxYkR9//JHY2Fi+++47kpKScn18fHw8I0eOLNT3FBERzxk82Gxhcu+9cO21UKuW7USSX8OGmRWtzz1nO0lgyHeHbsSIERcsSDj/tmHDBgAcufRXnU5nrvfnR9++fenYsSP16tWjZ8+efPzxxyxZsoT//Oc/uT4+NjaW9PT07NvevXsL9f1FRMS9HA5zekTlyubM12PHbCeS/FixAqZPh9Gj4f/+z3aawJDvDt2AAQMuu6K0Ro0afP/99/zxxx8X/N3+/fupUKFCfr/tJTVu3JhixYqxbds2GjdufMHfh4SEEBIS4tLvKSIi7lW6NMydC82bQ79+pkDQPCzvd+KE+f+rTRttU+JJ+S7oIiIiiIiIuOzjWrVqRXp6Ot9++y3NmzcH4JtvviE9PZ3WrVvnP+klbNq0iVOnTlFJJ/2KiPiVyEiYOhV69oRWrcx8LPFuY8bAzp1m/mMR7XbrMW671HXr1uXmm2+mb9++rFu3jnXr1tG3b1+6du2aY4VrnTp1mHfOrNdDhw6RkpLC5s2bAdi6dSspKSnZ8+62b9/OqFGj2LBhA7t27WLhwoV069aNRo0a0aZNG3e9HRERsaRHD3j8cTOvbu1a22nkUjZtgrFjITbWFOPiOW6tnRMTE6lfvz5RUVFERUXRoEEDPvjggxyP2bp1K+np6dl/nj9/Po0aNeKWW24BoGfPnjRq1Ig333wTgODgYJYuXUqnTp2oXbs2AwcOJCoqiiVLllC0aFF3vh0REbHkxRfN0Otdd0Eus3nEC5w5A337wlVXmYJOPMvhdDqdtkN4WkZGBuHh4aSnpxMWFmY7joiI5MHvv0PTplCzJixbBpoa7V0mT4ZHHjELItq1s50m8Gh0W0REfELlymZe1saNphMUeO0I7/Xrr2abkr59VczZooJORER8RosWMG0afPABjBhhO42AGWq9916zKlkne9jjto2FRURE3KFnT9i1y8zTqlED7r/fdqLA9sorZgh8yRIoU8Z2msClgk5ERHzO0KFma4x+/aBaNejY0XaiwJScDMOHw5AhcOONttMENi2K0KIIERGfdPo03HorrFkDq1dD/fq2EwWW48fNIpWQEHNMmxap2BVQc+gSEhKIjIykWbNmtqOIiEghBQXBhx+abTK6dDGrYMVznnzSdElnzFAx5w3UoVOHTkTEp/3+u1ksEREBK1eayfniXp99ZrqjCQlmqxKxL6A6dCIi4n8qV4aFC2HHDujeHU6dsp3Iv/3xBzzwANxyCzz8sO00cpYKOhER8Xn168OcObB0qdlCIyvLdiL/dPo09OoFDoc5Y9fhsJ1IztIqVxER8QsdO5r5XD16QIkSMGWKDod3teHDzUkQS5ZAhQq208i59KMuIiJ+4667zMbD774Ljz2m0yRc6aOPzJm648dDhw6208j51KETERG/Eh0NJ06YPepCQ+GllzQ0WFg//mg2cO7RAwYNsp1GcqOCTkRE/E7fvpCZabp0wcEwZoyKuoLatw+6doWrr4Z33tF19FYq6ERExC8NGGBWvA4eDEePwsSJmlOXXydOwO23m68rV0KpUrYTycWooBMREb81aBCULAn9+8ORI6bDFKR/+fLk9Gno3dsc77ViBVx5pe1Ecin6sRYREb/Wr5/ZbDg62nTqEhN1ssHlnDlj5szNn2+2g2ne3HYiuZyAaj7r6C8RkcD0r3/B3LnmhIN//MOcQyq5czrNhsEzZsD06XDbbbYTSV7o6C8d/SUiEjCWLjUFXaNGpvtUpoztRN7F6TTD1BMnmu1f7r3XdiLJq4Dq0ImISGC78UazKe7mzdCqFfzyi+1E3uXpp00xl5CgYs7XqKATEZGA0rIlrFtnulEtWsCqVbYTeYcxY8ztpZfgkUdsp5H8UkEnIiIB55prYO1aaNDAdO3ee892InucThg7FuLiYORIeOIJ24mkIFTQiYhIQLriCvjyS7jnHrjvPtOVysy0ncqzTp82CyBiY+HZZ+GZZ2wnkoLStiUiIhKwgoPh7bfN0Otjj8GGDebM0urVbSdzv4wM6N7dLBR5912zTYn4LnXoREQkoDkc5qiwr7+G/fuhcWOzvYk/27sX/v53M5dw0SIVc/5ABZ2IiAjQpAls3Aht2sCtt0KfPqaL5W82bDAdySNHYM0aM4dQfJ8KOhERkf+64gr49FMzDPvhh2bRxPLltlO5RlYWxMdD69ZQrZrpzkVG2k4lrqKCTkRE5BwOBzz4IPzwA9SoATfcAAMGwKFDtpMV3I4d0L692WduyBCzVUuFCrZTiSupoBMREclFjRqwbBlMmGC2Nfnb38ymuydP2k6Wd04nTJ0KDRvC77/DihVmr7ngYNvJxNUCqqDTWa4iIpIfRYrA44+bEyXuugsGD4Z69cyxYd5+cOaOHeaYswcfhB494LvvzEII8U86y1VnuYqISB59/73ZeHfJErj+enOqQuPGtlPldOgQvPACvPEGlCtnjvG6/XbbqcTdAqpDJyIiUhgNGsDixfD555CaalbGXn89zJljNum1KT0dxo83Q8Nvvw3PPQfbtqmYCxQq6ERERPLB4YAuXUy3buZMU8jddRfUrAmjR8O+fZ7N88sv8NRTcOWVZtFDz57mvrg4KFHCs1nEHg25ashVREQKKSXFDG0mJprtQW6/3ZzCEBUFpUu7/vsdPgwffwzTppkNkcPCoH9/M9+vcmXXfz/xfiroVNCJiIiLHDoE//43TJ9uiryiRaFRI2jXztz+/ncoWzb/r/vnn2ZRw9dfm5Md1q41izI6djTn0P7jH+rGBToVdCroRETEDbZvN9uerFxptgvZu9fcf/XVULu26aSVLWs2M77iCggNhVOnIDMT/vjDzNH7/XezH96uXea5pUubIq5TJ+jaFapUsfb2xMuooFNBJyIiHrB7tynuvvsOfv4Z0tJMR+/QIdOBO6tIEbPpb8WKUKkS1K1runyNGkGtWhAUZO89iPdSQaeCTkRELMvKMt25YsVMQedw2E4kvkZ1voiIiGVFi5qbSEFp2xIRERERHxdQBZ2O/hIRERF/pDl0mkMnIiIiPi6gOnQiIiIi/kgFnYiIiIiPU0EnIiIi4uNU0ImIiIj4uIBcFOF0Ojly5AilS5fGod0bRURExMcFZEEnIiIi4k805CoiIiLi41TQiYiIiPg4FXQiIiIiPk4FnYiIiIiPU0EnIiIi4uNU0ImIiIj4OBV0IiIiIj7u/wGPyJ4OeSkmigAAAABJRU5ErkJggg==\n", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "plot(p,0,pi/2)" ] }, { "cell_type": "code", "execution_count": 5, "id": "c6d6b2fe", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "[x == -1/12*pi*(sqrt(3) - 3), x == 1/12*pi*(sqrt(3) + 3)]" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "solve(p.diff()(x)==0,x)" ] }, { "cell_type": "code", "execution_count": 9, "id": "dbffdf3b", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "-1/288*sqrt(3)*pi^3" ] }, "execution_count": 9, "metadata": {}, "output_type": "execute_result" } ], "source": [ "p(1/12*pi*(sqrt(3) + 3)).simplify_full()" ] }, { "cell_type": "code", "execution_count": 10, "id": "296d662d", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "1/288*sqrt(3)*pi^3" ] }, "execution_count": 10, "metadata": {}, "output_type": "execute_result" } ], "source": [ "p(-1/12*pi*(sqrt(3) - 3)).simplify_full()" ] }, { "cell_type": "code", "execution_count": null, "id": "86784cc1", "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "SageMath 9.5", "language": "sage", "name": "sagemath" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.11.2" } }, "nbformat": 4, "nbformat_minor": 5 }