{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Length of timelike curve\n", "\n", "This [Jupyter/SageMath](https://www.sagemath.org/) notebook is relative to the lectures\n", "[Geometry and physics of black holes](https://relativite.obspm.fr/blackholes/)." ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [], "source": [ "%display latex" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "1/2*sqrt(-x^2 + 1)*x + 1/2*arcsin(x)" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "integrate(sqrt(1-x^2), x)" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "1/2*sqrt(-x^2 + 1) + 1/2*arcsin(x)/x" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "f(x) = (sqrt(1-x^2) + asin(x)/x)/2\n", "f(x)" ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "-1/40*x^4 - 1/6*x^2 + 1" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "taylor(f(x), x, 0, 5)" ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnYAAAHVCAYAAAB8NLYkAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAPYQAAD2EBqD+naQAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMi40LCBodHRwOi8vbWF0cGxvdGxpYi5vcmcv7US4rQAAIABJREFUeJzs3Xd4FFXbwOFfCgQIJITQe4cEQpGAlID6UlRUBEV9ASmiYsGCYi/Iq0jvEFAIHQkQlI50A4QapEiVklAjhEAqgZBs9vvjfJslprAJm9ndyXNfVy52JjNzTvTJmSdn5pzjZDQajQghhBBCCIfnbOsKCCGEEEII65DETgghhBBCJySxE0IIIYTQCUnshBBCCCF0QhI7IYQQQgidkMROCCGEEEInJLETQgghhNAJSeyEEEIIIXRCEjshhBBCCJ2QxE4IIYQQQicksRNCCCGE0AlJ7IQQdiUyMpK0tDRbV8PubN++nbNnz9q6GkIIOyeJnRDCbmzcuJG+ffuSmppq66rky8WLF+nQoQOxsbFWv/brr79OaGio1a8rhNAXSeyE0NjAgQNp1KgRZcqUwcnJKeOrePHi1KlTBz8/P3r06GHrampuy5YtDB48mOXLl1O8eHFbVydfatSowccff0ynTp2IiYmx2nX37NnDlStXssRFZGQkrq6uGTHk5eWFj48PzZo1o2nTpplirFixYvj5+WV8r27duri5uWV8f8iQIVarrxDCdlxtXQEhCpu5c+cCkJCQgKenJwDNmjVj586dlCpVypZVs5mIiAh69epFSEgIlStXztO56enphIaGsnv3biIjI0lMTMTd3Z1atWoREBDAE088gbNz9n/DGo1Grl27hoeHB+7u7tb4UejevTv79u2jZ8+ebN++Pcey8yI4OJjOnTtTtmzZTPuXLVuGwWCgX79+fP755/j6+mb6/rhx4/jss88yrvHvxDA+Pp5+/fqxZs0aatas+dD1FELYnvTYCWEjJ06cyPjcq1evQpvUAQwYMIAXXniBJ554Ik/n/fLLL9SqVYv33nuPu3fv0rVrV95991169+5NzZo1WbVqFQEBAezduzfTeffu3WPs2LFUr16dypUrU6pUKd5++22r/Tzff/89169fZ8KECQ99LYPBwPLly+ndu3eW74WEhPDZZ5+xYMGCLEkdwL59+wBwdXWlS5cuWb7v6enJ2LFjAWjYsOFD11UIYQeMQgibGDdunBEwAsawsDBbV8dm5s+fb3RzczNevnzZ4nMMBoPxtddeM1atWtW4du3aXI+9e/euMT4+PmP7ypUrxubNmxvLly9vXL58uTExMdEYGhpqdHFxMe7ZsyffP8e//frrr8aiRYsaz50791DX2bRpk7F48eLGxMTETPvPnTtnrF69ujElJSXHcytWrGgEjP7+/jkec+/ePSNgjIiIeKh6CiHsgzyKFcJGdu/eDUDRokXx9/e3cW1sw2Aw8P3339OnTx+qVq1q8XkjR45k27ZtHDx4kAoVKuR6rJubG25ubgCcOXOGzp07k5CQwL59+2jQoAEAjz32GGXLluXq1av5/2H+5YUXXqB27dqMHj2a2bNn5/s6S5Ys4bnnnqNkyZKZ9i9fvpyBAwdStGjRbM+LiIjg2rVrALRt2zbH69+9e5dixYpRo0aNfNdRCGE/5FGsEDayZ88eAFq0aJGReBQ2v/32GxEREbz22msWn3Pnzh3GjRvH2LFjH5jU3e/69ev85z//4dKlS/z0008ZSR1AdHQ0t27dsnqCPWjQIBYuXMjly5fzdf7du3dZuXJlto9hV6xYQd++fXM81/SHA0C7du1yPO6ff/6hfv36VnkXUAhhe/KbLIQNnD17lujoaCD3m67eLVy4kEqVKhEQEGDxOadPnyYhISHbd8ZykpaWxssvv8zVq1fp0KEDr7zySqbvjxkzhv79+1t9AEHPnj25d+8eCxcuzNf569evx9nZmaeffjrT/oiICFxcXKhdu3aO55r+cIDcY+zSpUuZklwhhGOTxE4IG7C0N0XP4uPj2bx5Mx07dszTeaaepZweQWZn+vTp7Ny5EycnpywDGpYuXcqePXuYMmVKnuphiWrVqtG4cWNWrVqVr/OXLFnCiy++mOVnrVy5MsuWLcv1XFOM1ahRgypVquR4XOvWrRk/fny+6ieEsD+S2AlhA/cndrm9/6Rnu3bt4t69e3n++evWrUvx4sUJDw+36PjY2Fj+97//AdCtW7dMj1tnzJjB3Llz2bRpEyVKlMhTPSzVpk0b/vzzT6KiovJ0XkJCAhs2bKBXr15ZvlesWDFq1aqV67mmUdcP+u9bsmRJqlevnqe6CSHslyR2QtiAKbGrW7cu5cuXt3FtbMM0BUnjxo3zdJ67uzv9+/fnu+++w2AwPPD4CRMmEBcXB5AxpcmFCxfo3r07MTExbNy4EQ8PjzzW3nLNmzfHaDSyf//+PJ3322+/4eXllecpYED9t01PTwcKb4+wEIWVJHZCaOzWrVucPn0asM5N9+LFiyQlJT30dR7WV199xZ9//mnx8ceOHQNUcptX48aNIzExke7du2e8q5idW7duMW3aNABq1apFtWrV+OijjxgxYgSTJk1i2LBhFg0aMBqNea6jSb169QD466+/8nRecHAwr7zySr4GNVj6fp0QQn8ksRNCY3v27MlIFB72pnvs2DGGDRtGsWLFrFG1h/L111/z4YcfcurUKYuOj4yMxNnZOV89liVLliQsLIx69erRuHFjBg0axOrVq4mMjCQ5OZn09HRiY2P54YcfSEhIAKB27dps3ryZzz//nKCgoFwfZYIaLern50fFihUpUqQIx48fz3M9gYz32/JyfnR0NNu2bcv2MawlTD3CpUqVws/PL1/XEEI4Jifjw/wpKoTIsy+//JLRo0cD6mbfqFGjfF0nJiaG559/ng0bNmQsTWZrJ0+eZMCAAezevZsiRYrkemy5cuUwGAzcunXrocqMjY1l1apVbN++nZMnTxIdHY3BYMDZ2TljXrq2bdtmeq/RUikpKbz00kv88ccfxMXF4eLikudr3Lx5k7Jly/LYY48RGhpq0TnTp09n8uTJnDt3Ls/lGQwGvLy8SExMpFOnTmzZsiXP1xBCOC7psRNCY6bHZF5eXtkuA/VvBoOBsLCwLPvff/99hg4dajdJHYCvry/Vq1dnxowZDzw2KSnJKj2NXl5evPbaayxatIg///yTy5cvExUVRefOnQFwcnJi4sSJ+bq2m5sbly9fplWrVvlK6gCKFy8OqFHAllqyZEm+e+v++usvEhMTAXkMK0RhJImdEBpKTU3NGM3Zpk0bnJycHnjOqlWrWLx4caZ9+/fv5/jx41kWdbcHn376KePGjePevXu5Hnfv3r0H9url144dO5g/fz4AvXv35tFHH83XdRISEjh27NhDJUim5NXS9yAvXLjAvn37sp2U2BLyfp0QhZskdkJo6NChQ9y5cwew/KY7c+bMLDf58ePHM3DgQIsSQ62Zkqjff/891+NKlCjB3bt3rV5+YmIib775JgA1a9bMGDyRH3v27MFgMDzUlDSmBNfSefeCg4Np2rQpPj4++SrPlNg5OzvTunXrfF1DCOG4JLETQkN5nb/u2LFjnDlzhvbt22fsi4+PZ82aNXlaeUFr7dq1Y/Xq1bkeU6pUqQJJ7AYOHMjZs2dxc3MjJCQELy+vfF8rLCwMJyenh0qQTIm8u7u7Rcc/zGNYMMeYn58fpUqVyvd1hBCOSRI7ITRkuum6urrSqlWrBx4/YcIEevXqlalnbuvWrbi5ueXYo7N371769etH27Zt2b9/P2fPnuWdd95h8ODBdOrUiX379uWr7jExMbz55pu88sorGe+0HT16NNv1SgMCAti1a1eu16tWrRoJCQlWTe7Gjx/PihUrADX5cE5rvx49etSi6+3atQtfX18OHz7MW2+9xdtvv42/v/8Dk9b7xcbGAmq1iAc5ceIEJ06c4L///a/F179fVFQUFy9eBOQxrBCFlSR2QmjI9JisefPmD1zpYOvWrSxcuDDLY9i9e/fSokWLHOc3CwoKYsGCBfj5+dG/f3/Gjx/P5MmTCQwMZMCAAXTt2jXPI1GjoqJo3bo15cuXZ9myZcybN4/9+/fTtWvXbNdXrVGjBhERESQnJ+d4zTp16gBkjFx9WIsXL+azzz7DycmJKVOmMHDgwCzHGAwGPv30U37++ecHTm587949wsPDSUpK4tChQ/z000/89NNPPPvss/Tv3/+B7xCaXL58GeCB06sA/PLLL7Rr1y7fK0HIUnVCCEnshNDI+fPnuXbtGvDgx7ChoaG8/PLL+Pj40LRp00zfO3XqVI5rf/7111/4+Pjg5OTE1atXSUlJYfLkybi5uQHQsmVLYmNjWblypcX1Tk9Pp0ePHpQuXTpjaS6Ajh07EhUVRYcOHbKc4+XlRXp6ekZSk51HHnkEgLNnz+Za/q+//kpAQAA1atSgYsWK1KpVi+eff56ff/6Z69evA6p3bsCAAXh4eBASEsIHH3yQ5Tp//PEH7du3p3LlysyYMeOBo1wPHjzInTt36NKlC0OHDs3oNS1fvjzx8fEWJ8cXLlwAoEmTJg88dunSpfkeNAGZB04U1qXqhCjsXG1dASEKi6VLl2Z8btmyZbbHRERE8NNPPzF58mRSU1MZOnRolmOuXr2aY+9PcnIyL7zwAunp6YSFhdG7d++M6TbA/Fjw0qVLFtd74cKFHDhwgIULF+Lqam4yjhw5gqura7YJhOm9ttym+DD1KB0+fJinnnoqx+M++OADXnnlFZYvX46npyeJiYns3r2b2bNn895771GnTh3+/vtv6tSpQ1BQEAEBARn/LS5dusSmTZtYsWIFJUuWZN68eTRo0MCin9v0KPmHH37ItP/MmTMUK1aMsmXLWnSdQ4cOATzwPb29e/dy+fJlXnrpJYuu+29RUVEZj6GLFStGpUqV8nUdIYRjk8ROiAL0zjvvsHPnTqKjo4mJicnY//HHHzNu3LiM7bS0NK5fv57pmKJFi2bbe5OUlJTj3HWm5OHw4cPEx8dnGnQB5iSjYsWKFv8MQUFBODs788wzz2Tav3PnTh555JFsBwWYRoCmpqbmeN2WLVtSpkyZTL1M2dm0aROzZs2ib9++JCQk4ObmRpkyZahTpw59+/alRYsWHDlyhE2bNjFkyBBiYmJITk6mWLFiVKtWjY4dOzJ9+vQsPZ8PEhYWho+PDxUqVMi0PzQ0lDZt2mRKcnMTHh5OlSpVaNiwYa7HBQcH07lzZ4sTxrlz5zJ16lRSU1NJSkoiKiqKtLQ0AO7evUvZsmWpUKECJUqUoHTp0uzYscMuR1ELIaxLEjshCtDMmTOtfk0XF5cHvt+1c+dOgCyPSXfs2AHA448/blFZqamp7N27lyZNmlCmTJmM/ffu3WP//v2899572Z5nekyZ20hQV1dXnn/+eZYtW8bdu3dznKy4cePGTJ06Ndd6NmzYMN8DDrJjNBrZvXs3L7/8cqb9ly5d4ujRoxZPeBwbG8uBAwcYPHhwrkmVwWBg+fLljB8/3uI6Dhw4MNv3CIUQhZu8YyeEg/H09Mx4pJqTHTt2UKtWrUzv4t25c4eNGzfSrl07i+dIu3XrFunp6TRr1izT/vDwcO7cuZPt+3Wm8wCqVq2a6/XfeOMNkpOTWb9+vUX10cqJEyeIjY3N0uO5YsUKnJyc6NmzJ6AeU+dm7dq1GAwG+vXrl+tx27dvJyEhge7duz9cxYUQhZ4kdkI4mOrVqz8wsQsLC8vysv6cOXO4ffs2kydPzti3evVqNm/enON1ypUrR/HixbPMBRccHIyzs3PG+2z/Fh0dTZkyZR74WLFt27a0a9eOWbNm5Xqc1kzv1/07sVu7di1t2rShWrVqHDlyJNdRvwCzZs3iscceo0WLFrket2TJEp577jlKliz5cBUXQhR6ktgJ4WD8/PwyRlpm5+TJk9y4cYOjR49mJIBHjhzh888/Z86cORlzu126dIkePXrwzDPP5DiYwtnZmddee43Dhw9n7AsMDGT27Nk0adKE0qVLZ3vevn37LF7Ga8yYMWzdujVjqTV7EBYWRvXq1bNMOxIfH0+7du0wGo3MmTMn1xGs+/fvZ/fu3QwfPjzXslJSUli5cuVDjYYVQggTSeyEcDDt27fn6NGjOa49anq/buHChQwePJhBgwbxzTffsGnTJvr3759xXLly5WjSpAkVKlRg//79OZY3evRoypUrx4svvsjAgQPx8PCgePHiOT6GBZUYde3a1aKfp127dgwYMIBPPvkEo9Fo0TkF7e7duwwYMCDL/tGjR7N792769evHq6++ioeHR47X+OKLL+jdu/cD32dcv349Tk5OPP300w9ZayGEACejvbSkQgiLpKWlUaFCBZYuXUrnzp2zfL9Xr17s2LGDqKgoi6539OhRIiIi6NGjh0XHHz58mEceeYQVK1bw4osvZvn+1atXqVu3LpGRkRaPvr19+zatW7dm0KBBvP/++xadY8/mzJnDiBEjOHjwIN7e3rke27NnT0qXLk1QUJBGtRNC6Jn02AnhYFxdXenfv3/GnGX/tmvXLh577DGLr/fnn3/i6+tr8fGmkbU59dhNnjyZXr165WlKFXd3d1avXs2UKVMICwuz+Dx7dOLECYYNG8bKlSsfmNQlJiayfv36h1obVggh7ieJnRAO6OOPPyYkJITo6OhM+48fP87Vq1ezvPSfmwMHDlg8aa/RaGTDhg3Ur1+fcuXKZfl+fHw8wcHBWSb1tUTt2rXZunUrQ4cOJSEhIc/n24Pr16/Tp08fVq5cmWUkcXbOnDlDrVq1eOKJJzSonRCiMJBHsUI4qB9//JG4uLiMiY4//vhj5s2bR1xcHGXKlKFt27asXbs212tMnz6dBg0aZPtI998+++wzlixZwtWrV3F2dsbHx4cZM2Zk6rnr06cPTz/9NK+++urD/XAOKikpibi4uAdO8yKEEAVFEjshHFR6ejrPPfccH374IV26dMnXNY4ePZrnFRlyEhgYSGxsLN98841VrieEECLvJLETwoHdvn2bQYMGMW3atEwrQ9jCyZMn8/SunhBCCOuTxE4IIYQQQidk8IQQQgghhE5IYieEEEIIoROS2AkhhBBC6IQkdkIIIYQQOiGJnRBCCCGETkhiJ4QQQgihE5LYCSGEEELohCR2QgghhBA6IYmdEEIIIYROSGInhBBCCKETktgJIRyK0WgkISEBWQ1RCCGyksROCOFQEhMT8fT0JDEx0dZVEUIIu6NJYrd9+3YtihEOTuJEvxYvXsxbb72Fv78/bm5uODk5MX/+fFtXS+ictCnCUnqKFVctCnFzc9OiGOHgJE7065tvvuHixYuULVuWSpUqcfHiRVtXSRQC0qYIS+kpVjTpsTt//rwWxQgHJ3GiX0FBQVy4cIEbN27w9ttv27o6opCQNkVYSk+xokmP3eOPP65FMcLBSZzoV6dOnWxdBVEISZsiLKWnWNEksVu0aBFff/21FkUJByZxUjgZjRAbC3FxEB8PCQnq3/h4SEqCtDQwGCA9Xf17+7Y6b8wYcHeHEiWy/ypdGsqVg7JloUgR2/6MwjakTRGW0lOsOBk1mDMgPT0dZ2cZgCtyJ3GiTzdvwpkzcOECXL0Kq1YdYPfuSOrVe5y0tApERUFKSl6umAB4AvGAh0VneHqqJK9iRahRw/xVvbr6t2ZNKF48rz+ZsHfSpghL6SlWXIYPHz48PycGBwdTokQJgoKC8Pf3Z/To0XTo0IERI0ZQt25dli9fjsFg4Pjx4wwbNgxfX1+Cg4Px8fFh3LhxGcc2btyYuXPnUqxYMfbv38+5c+dISkpizZo11KhRg0mTJmUc6+/vz9SpU/H29mb79u1cu3aNa9eusW3bNry9vZk2bVrGse3atWPMmDFUr16dtWvXkpiYSEREBPv27cPNzY25c+fSokWLTPWuX78+wcHBpKenc+zYMY4dO4bBYGDZsmU0bNiQ8ePHZxzbpEkTgoKCKF68OHv37iUiIoKEhATWrVtH1apVmTx5csaxLVu2ZOrUqZQrV46tW7cSHR1NVFQUoaGheHl5MX36dAICAvjxxx8JCAhg5MiR1KxZk9WrV5OUlMS5c+c4cOAAbm5uzJ8/n+bNmzNmzJiM6zdo0IAlS5YAcOTIEU6cOEFqaiohISHUr18/U72bNm3K7NmzcXd3Z/fu3Vy8eJHY2Fg2bNhAlSpVMtW7VatWTJo0ifLly7NlyxZiYmK4cuUKO3bsoHTp0sycOZO2bdsycuTIjHNq1arFypUrSU5O5syZMxw8eBBXV1cWLFhAs2bNMtXbx8eHxYsX4+zszKFDh/j++++pV68eK1asoG7dukyYMCHj2GbNmvHzzz9TqlQpdu3axaVLl4iNjWXjxo1UrFiRKVOmZBz76KOPMnHiRCpWrMimTZu4efMmly9fZteuXXh4ePDTTz/RunXrTPWuXbs2v/76KykpKZw6dYpDhw7h4uLCokWL8PPzY+zYsRnH+vr6snDhQlxdXTl48CB///03d+7cYeXKldSuXZuJEydmHNu8eXNmzpyJh4cHO3fu5MqVK8TExLB582YqVKiQqd5t2rRh/PjxVK5cmQ0bNhAXF8fFixcJCwujZMmSzJo1i0cffZRRo0Zl+l0LCQnh3r17nDx5kiNHjgDwyy+/0KhRo0y/a40aNWLBggUUKVKE8PBwzp49S3JyMqtWraJmzZqZ6v3II48QGBiIl5cXf/zxB1FRUdy4cYMtW7ZQrlw5pk6dmnFs27ZtGTt2LEWL1mDy5D/59VeYNi2F77+/y3ffufH9987MmQO//gpbtsDly1WAxty6VZK4ONULlzcpwGjgS8CyF55TUuDWLbh0CY4dg127YN06+OUXCAyEkSON/PxzCiEh8axceYnISAPLlq2hdet6TJwobYS9tBGnT58mJSXF4jZiwoQJXL9+XdoIO2kjqlatyrp164iPjycyMpK9e/danEf89ddfGI3GAssjhgwZQtu2bS3KI2rWrJnXRktT0mMn7IbEiWMwGlXvW3g4HD6svo4cgevX834tLy+oUgUqVQJvb9Wz5ukJHh7q35IlAVJJT0/F2RlcXCAlJYE336xESEg8RYt6cOcOJCerR7TJyebPsbFw40bmr/j4vNXP2Rl8fMDfH1q0UP82baoe9Qr7J22KsJSeYkWTxO7HH3/UzbNrUXAkTuyTwaB6ucLCVE9XWBhERVl2bvXqUK8e1K8PdeqoJO6PPxYza9Z3/PzzcAYN6pvn+iQkJODp6Ul8fDweHpY9ijW5fVv12l28qL5Mn8+ehVOnwJI5j11coFEjaNcOOnSA9u3VzyXsj7QpwlJ6ihVNBk/07Zv3xlsUPhIn9sFoVO/EbdwImzbB7t1qQENuypSB5s3VV7Nm4OcHdetm37N14cIVIIKiRfP8DPahuburHjgfn6zfMxpVwnr6tEryjh6FP/9USW1amvk4gwH++kt9zZyp9tWpA126wFNPwX/+Y+ppFLYmbYqwlJ5iRZPELjQ0lH79+mlRlHBgEie2k5gI27erZG7jRvWoNSclS0KbNtC2LTzyiErmqlYFJyfNqlsgnJxUz1uVKtCxo3n/3bsqiTt4UH39+SccP65G6ZqcP6+SvJkz1Qjc9u1VkvfUU9C4seP/t3FU0qYIS+kpVjRJ7OrUqaNFMcLBSZxoKzoaVq6EFSsgNDRzr9T9KlSAgACVrAQEqHfMXDVpOexDsWLQqpX6MklMhL17YedO2LED9u+H1FT1vdRUlSRv3w6ffQaVK0PXrtCzp+rNk6lXtCNtirCUnmJFk+Y5JW9zGYhCSuKk4EVFmZO5nTsz9zqZFC2aucepUaOH73EKCgoiLCwMgGPHjmXsCw0NBaB79+5079794QrRUKlS6tFrly5qOzER/vhD9Xb+/nvmHs+oKAgKUl9eXvD88yrJ69QJdLSKkV2SNkVYSk+xoklid+PGDS2KEQ5O4qRgxMfD8uWwcKF6Xy674VI1a8Kzz6pE7vHH1bto1hQWFsaCBQsy7du9eze7d+/+//JrOlRi92+lSkG3burLaFSDMUyPtf/4Qz3OBTVSd/589eXpCa+8Av37q0fb8rjW+qRNEZbSU6xoMir27Nmz1KtXr6CLEQ5O4sR6DAbYtk0lECtXmhOL+9WrBy+9pHqPmjVznMTiYUbF2kJyskrwVqxQc+dlN/K2Xj3o1099Va+ufR31StoUYSk9xYomk7asWbNGi2KEg5M4eXhnzsCXX6rVFJ58EoKDMyd1Pj4wbJgaDPD33/Djj2rwg6MkdY6oRAl44QVYskS917hmDfTtm7lX9OxZ+PZb1XPasaPqXU1OtlmVdUPaFGEpPcWKJj12d+7cobis1yMeQOIkfwwG2LABpk+HzZuzfr9MGejTBwYM0EcS52g9djlJSoLffoMFC9RAi38rXVo9pn3rreynZxEPJm2KsJSeYkWTHrsJEyZoUYxwcBIneXPrFowfrx7jdeuWOalzcVH7fv1Vvbw/daqamsTRkzo9KVlSPXrdtk0NtvjhBzUfnklcHEyZAr6+8PTTajm2gv8zXF+kTRGW0lOsaNJjJ4SwnhMnYNIktc7pv9+dq1UL3n1XPeqrUME29Stoeumxy47RCHv2qBG0S5dm/f/buDF8/DH07i0jaoUQ2dOkx27EiBFaFCMcnMRJ7vbsUb1wjRvDnDmZb/pPPaVezD97Fj75RL9Jnd45OamlyubNg6tXYeJElaybHD8OAweqdyhHjICYGNvV1RFImyIspadY0aTH7vr161SQO414AImTrIxGNS/a6NFqndb7eXjAa6+pHrr69W1TP1vQc49ddgwGWLUKJkxQkyLfr3hx9e7kF1/IaNrsSJsiLKWnWNGkx2716tVaFCMcnMSJWXo6LFumVnl45pnMSV3VqupR7NWrMHly4UrqCiMXF3jxRdVju2ePmqLG+f9b7jt31DJm9erB4MFw5Ypt62pvpE0RltJTrGiS2LVo0UKLYoSDkzhRPXQrV6p55f77X7UAvYmPj3pEd/48DBlS+BaaDwwMxNfXl5YtW9q6KjbTpo2abPrcucwxcO8ezJgBdevCBx+oATNC2hRhOT3FiiaJ3fXr17UoRjj9bJAWAAAgAElEQVS4whwnRiOsXw/+/mrOs/sTukcfVY/ijh9Xj92KFrVZNW1q8ODBnDx5kvDwcFtXxeZq1VK9thcuwFdfmefES0mBadPU6NqPPoJr12xaTZsrzG2KyBs9xYomid29e/e0KEY4uMIaJ6Gh0LatWtLr0CHz/latYNMm9V7V88+bH78JYeLtrSaZvnABPv9cTYYMamDN5MlQu7YaTHPzpk2raTOFtU0ReaenWNHkVlHn/smZhMhBYYuTEydUMvfEE7Bvn3l/8+awdq3a16WLzD0nHqxsWTXAJjJSJXKmeVbv3FGDLurUUXMe6midc4sUtjZF5J+eYkWTxG7Hjh1aFCMcXGGJk5gYeOcdaNJEPX41adRITSh88KBK+CShE3lVvjyMGwcREepRbLFian98PHz6qXpPc/nywjPRcWFpU8TD01OsaDLdSVxcHKVLly7oYoSD03ucpKXBTz+pNUHj4sz7q1ZVc5K9+qoaASlyV9imO3kYUVEq3ubNy5zMtW6t5shr08Z2ddOC3tsUYT16ihVNeuymT5+uRTHCwek5TrZvV49Y33/fnNSVLAmjRsGZM2pNUEnqhLVVrqwmsz58GDp1Mu/ft0+91zlgAERH26x6BU7PbYqwLj3FiiwpJkQBunBBvfP066+Z9/fvr5K6SpVsUi2HJj12+WOa7PrTT+HkSfP+0qXVAIy33pI/LoTQA1lSTNgNPcXJ3bswfLh6p+n+pM7fX41ynT9fkjqhLScn6NoVjh6FwECV0IHqQR48WI3C3r/ftnW0Nj21KaJg6SlWNOmxi4+Px9PTs6CLEQ5OL3ESGgqDBql1W03Kl1ejFvv3l2lLHpb02FlHdLSaImX+fPM+Jyd44w3Vm+ztbbOqWY1e2hRR8PQUK5rcYhYuXKhFMcLBOXqc3LoFr7+upi8xJXWurvDxx+o9utdek6RO2I/y5dWgil27wM9P7TMaYfZsaNAAgoMdf/Sso7cpQjt6ihVNbjNPPPGEFsUIB+eocWI0wtKl6rHr3Lnm/W3aqJfWJ0wAnfwhKHQoIEBNjD1xonmJsps3oXdv6NED/vnHtvV7GI7apgjt6SlWNEnszt7/TEqIHDhinNy4oRZl79XLPLrQw0Ot2xkWBo0b27Z+QljC1VXNe/f33/Dii+b9q1er+RUXLnTM3jtHbFOEbegpVjRJ7IqbpkEXIheOFierVpknFTZ54QU14vCdd+Sxq3A8lSvDihUQEgLlyql9sbHq3dBnn4UrV2xbv7xytDZF2I6eYkWTW4+3Ht7CFQXOUeIkLk7d6Hr0UD12oF40X75cJXlVqti2fkI8rJ491R8ovXub923YoP6QmTPHcXrvHKVNEbanp1jRJLE7cuSIFsUIB+cIcbJ5s3q8ev97tt26qXVfX3rJdvUSwtrKloVfflGPY01T8yQkqFGzPXqopfHsnSO0KcI+6ClWNJnu5Nq1a1SsWLGgixEOzp7jJCkJPvsMZs407/PwgKlToV8/WddVC4GBgQQGBmIwGDhz5oxMd6Kh2Fg1uvv+qVEqVYIFC6BzZ5tV64HsuU0R9kVPsaJJj11QUJAWxQgHZ69xcvgwPPJI5qSuUyc4flw9kpWkThuDBw/m5MmThIeH27oqhY6Xl5oaZc0a1ZMHarRsly4wdCikpNi2fjmx1zZF2B89xYosKSZEDoxGmD5dLQl2757aV6IEjB8Pb78tCZ2tyATFtvXPP2qN2c2bzfuaNYMlS9SUP0II25IlxYTdsKc4uXVLjXD94ANzUteihVqO6Z13JKkThVelSmrN2UmToGhRte/IEXOvtj11FdhTmyLsm55iRZMeu7t371KsWLGCLkY4OHuJk9271bx0ly+b9330kVoSzHQjE7YjPXb24+hRNXL25EnzvldeUatXlCplu3qZ2EubIuyfnmJFkx67adOmaVGMcHC2jpP0dBg5Eh57zJzUeXvD2rVqVn5J6oTIrGlTOHgQ3n3XvG/ZMmjVSo0UtzVbtynCcegpVjRJ7Lp3765FMcLB2TJOYmPhuefg66/BYFD7OnRQj5iefdZm1RLC7hUvDoGB8NtvaqQ4wOnTKrlbssS2dZN7j7CUnmJFk8Tuzz//1KIY4eBsFSfHjkHLlmoCVlDvz333HWzbBlWr2qRKQjicHj1U712TJmo7ORn69IHBg203albuPcJSeooVTRI7vcwNIwqWLeJk6VJo3RrOn1fb3t5qtN/w4Wr9TCGE5erVg7171ahZkxkzoH17uHhR+/rIvUdYSk+xokli5yp3SGEBLeMkLU3Nv9Wrl+pZADWq788/1Rx1Qoj8KVEC5s5VAyjc3NS+8HD1+7V9u7Z1kXuPsJSeYkWTxC4yMlKLYoSD0ypOoqPVbPkTJ5r3DRgAYWFQo4YmVRBC15yc1NJje/ZArVpq361bakLjGTO0q4fce4Sl9BQrmiR2HTp00KIY4eC0iJNDh8DfH0JD1barq3rxe+5c9RK4EMJ6TL3gTz+ttg0G9c7du+9CamrBly/3HmEpPcWKJondElsPjRIOoaDjZNUq9a6PaSqTSpVgxw51k5EJh4UoGF5easqgTz4x75s5E558Em7eLNiy5d4jLKWnWNFkgmKDwYCLi0tBFyMcXEHFidEI48bBF1+YZ8Vv0wZ+/VUld8KxyATFjmvBAhg0yLyaS+3aKunz9S2Y8uTeIyylp1jRpMdu1KhRWhQjHFxBxMm9e/D66/D55+akrk8f9RK3JHVCaKt/f/jjDyhfXm1HRKhR6evXF0x5cu8RltJTrGjSYyeELdy8CS++qB63mnz/PXzzjTx6dWTSY+f4Ll2C559XE4CD+n2cPFmtzSyEeDia9NjpaXFdUXCsGSdnzqieAFNSV6yYmrPu228lqXNUgYGB+Pr60rJlS1tXRTyk6tXVKPQXX1TbRiN8+KF6Dy893XrlyL1HWEpPsaJJj93ly5epVq1aQRcjHJy14mT/fnjmGfOL2RUqwOrV8OijD31pYQekx04/0tNh2DD48UfzvpdfVu/iWWM9drn3CEvpKVY06bHbtm2bFsUIB2eNOFm3Dp54wpzU+fmpRE+SOiHsj7MzjBgBP/+sPgMsX67mu7t16+GvL/ceYSk9xYomiV39+vW1KEY4uIeNk7lzoXt3uHNHbT/xBOzaJZMOC2HvBg2CNWvUqhWgfm8DAh5+GTK59whL6SlWNEns7pjutELkIr9xYjSqv/pff11NgArwyivw++/g6WnFCgohCswzz6h3Yk0jZk+dUu/JmgZY5Ifce4Sl9BQrmiR2Nwt6FkqhC/mJE9NM9t9+a943ZAgsWWJep1II4Rj8/WHvXjB1nly7Bo8/Drt35+96cu8RltJTrGiS2DVt2lSLYoSDy2ucpKSonrmZM837xo1Ta8A6axLZQghrq11brTHbpo3ajo9Xaztv3Jj3a8m9R1hKT7Giye1v3bp1WhQjHFxe4iQ5Wc2D9euvatvVFRYtUtMlyHQmQjg2b2/YskUNogD13my3bmpgRV7IvUdYSk+xosl0J8nJyZQwvRUrRA4sjZPERHj2Wdi5U20XLw4rV6q1J4X+yXQnhUdKCrz6KqxYobadnNQI2jfftOx8ufcIS+kpVjTpsZs4caIWxQgHZ0mc3LoFnTqZk7pSpWDTJknqhNAjNzc1sfjrr6tto1GNoB071rLz5d4jLKWnWJElxYTDuH5dPZr56y+1XaaMSur8/W1bL6Et6bErfIxG+OwzGD/evO/LL9XExvLqhRCZyZJiwm7kFidXrkCHDuakrkIFNTWCJHVC6J+Tk+qlu3+FilGj4NNPVdKXE7n3CEvpKVY06bG7ceMG5cqVK+hihIPLKU4iIqBjR7hwQW1XqwbbtkG9etrWT9gH6bEr3GbMUFMcmXz4IUyalH3Pndx7hKX0FCua9Nj99ttvWhQjHFx2cXL+PDz2mDmpq1NHzUovSZ0QhdO778KsWeZEbsoUeP99te7sv8m9R1hKT7GiSWLXsmVLLYoRDu7fcRIRoZYFu3JFbfv6yhJhQgg1KnbOHHNyFxgI77yTNbmTe4+wlJ5iRZPE7p9//tGiGOHg7o+TyEiV1F2+rLYbNYI//oBKlWxUOSGEXXntNViwwDwZ+axZ8NZbmZM7ufcIS+kpVjRJ7AymBTyFyIUpTi5cUEndpUtqv68vbN9uXkNSFE6BgYH4+vrq6i9r8XD69oXFi8HFRW0HBanHsqY3x+XeIyylp1jRJLGrWbOmFsUIB1ezZk0uXVJJ3cWLap+PjyR1Qhk8eDAnT54kPDzc1lURdqRXL7U2tKnnbsYMGDpUJXdy7xGW0lOsaJLY7dq1S4tihINbs+Ywjz9uHijRsKFK6ipUsGWthBD27uWX1WNZ0zt3kybB11/Dzp1y7xGW0VOeosl0J7du3aJMmTIFXYxwYNeuQbt2BiIi1DOV+vUhNFTeqRNZyXQnIidz5sAbb5i3v/wymZEj9bFMlChYespTNOmxmzFjhhbFCAd165ZaUcKU1NWrJwMlhBB59/rraoSsyahRJSxefkwUbnrKU2RJMWFTSUnQuTPs26e2a9SAsDCoWtW29RL2S3rsxINMmgQff2zenjxZTWQsRGEgS4oJm7l7F7p3Nyd1JUsmsWWLJHVCiIfz0UcwcqR5e8gQmDfPdvUR9k9PeYomPXYJCQnyl7XIJC0NXnoJVq1S26VLw/r1SbRtW9K2FRN2T3rshKW+/DKF0aPdADVq9rff4PnnbVwpYZf0lKdo0mM3f/58LYoRDiI9Xb0LY0rq3N3h99/h4MG5tq2YEEJXKlb8OeMRbHo6vPIK7Nhh2zoJ+6SnPMVVi0I6deqkRTHCARiN6rHIwoVqu2hRleC1bg0eHhInQgjr6dy5Ew0bws2baiLjlBTo1k2NuG/e3Na1E/ZET3mKJj12p0+f1qIY4QD+9z+YNk19dnaGpUvB9PskcVLwwsPD6dq1K15eXri7u9OqVSuWLFmSp2ucPn2aPn36ULFiRdzc3KhRowYffvght27dyvZ4JyenHL9Gjx5tjR9LiGydPn0aZ2eYOxe6dlX7EhLgqafg3Dnb1k3YFz3dfzTpsXN3d9eiGGHnZs1SiZ3J3LnQo4d5W+KkYIWGhvLkk09StGhR/vvf/+Lp6clvv/1Gnz59uHDhAl999dUDr7Fv3z46derEnTt3eP7556lTpw5Hjhxh6tSpbNy4kT179uDt7Z3lvBo1ajBgwIAs+wMCAqzxowmRLVObUqQIhISoEfh79kB0tJpiafdumVZJKLq6/xg1cODAAS2KEXZs3Tqj0cXFaFQPY43GyZOzHiNxUnBSU1ONderUMbq5uRkPHTqUsT8hIcHYqFEjo6urq/HMmTMPvE6jRo2MgHH16tWZ9o8dO9YIGN96660s5wDGxx577KF/BpP4+HgjYIyPj7faNYU+/btNuXXLaGzc2NwO+fmpfULo6f6jyaPYv/76S4tihJ06eFAt+WNaY3no0OznlJI4KTjbt2/n/Pnz9O7dm+b3vVxUqlQpvv32W9LS0pj3gPkgzp07x4kTJ2jZsiXdunXL9L2hQ4fi7e3NokWLuH37doH8DELk1b/bFC8v2LQJTMuCHjsGL7yg3r0ThZue7j+aJHZPP/20FsUIOxQZCc88A8nJavvll8lxJniJk4ITGhoKQJcuXbJ8z7RvxwOGC16/fh2AWrVqZfmes7Mz1atXJzk5mX2miQnvExcXR1BQECNHjmT27NmcPXs2rz+CEHmWXZtSuTJs3gzlyqnt0FC1DJlM1V+46en+o0liN3euTGNRGN28CU8/rd5nAWjfXi3U7ZxD1EmcFBxTIlWvXr0s3/Py8qJs2bIPTLbK/f+dMDIyMsv30tPTuXTpEgBnzpzJ8v2jR4/y5ptv8vXXXzNo0CAaNGhA3759STZl/LlISUkhISEh05cQlsipTalXD9atg+LF1fbixfDddxpWTNgdPd1/XIYPHz48PycGBwdTokQJgoKC8Pf3Z/To0XTo0IERI0ZQt25dli9fjsFg4Pjx45QuXRqj0UhwcDA+Pj6MGzcu49jGjRszd+5cihUrxv79+zl37hxJSUmsWbOGGjVqMGnSpIxj/f39mTp1Kt7e3mzfvp1r165x7do1tm3bhre3N9OmTcs4tl27dowZM4bq1auzdu1aEhMTiYiIYN++fbi5uTF37lxatGiRqd7169cnODiY9PR0jh07xrFjxzAYDCxbtoyGDRsyfvz4jGObNGlCUFAQxYsXZ+/evURERJCQkMC6deuoWrUqkydPzji2ZcuWTJ06lXLlyrF161aio6OJiooiNDQULy8vpk+fTkBAAD/++CMBAQGMHDmSmjVrsnr1apKSkjh37hwHDhzAzc2N+fPn07x5c8aMGZNx/QYNGmSMbDxy5AgnTpwgNTWVkJAQ6tevn6neTZs2Zfbs2bi7u7N7924uXrxIbGwsGzZsoEqVKpnq3apVKyZNmkT58uXZsmULMTExXLlyhR07dlC6dGlmzpxJ27ZtGTlyZMY5tWrVYuXKlcTG3uHll0tx6lQxAMqXv8nmzTBjhrnePj4+LF68GGdnZw4dOkT58uVJSUlhxYoV1K1blwkTJmQc26xZM37++WdKlSrFrl27uHTpErGxsWzcuJGKFSsyZcqUjGMfffRRJk6cSMWKFdm0aRM3b97k8uXL7Nq1Cw8PD3766Sdat26dqd61a9fm119/JSUlhVOnTnHo0CFcXFxYtGgRfn5+jB07NuNYX19fFi5ciKurKwcPHuTvv//mzp07rFy5ktq1azNx4sSMY5s3b87MmTPx8PBg586dXLlyhZiYGDZv3kyFChUy1btNmzaMHz+eypUrs2HDBuLi4rh48SJhYWGULFmSWbNm8eijjzJq1KhMv2shISHcu3ePkydPcuTIEQB++eUXGjVqlPG79tVXXxEbG0vlypUpXbo04eHhnD17luTkZFatWkV4eDjXr19n2LBhjBgxgkceeYTAwEC8vLz4448/iIqKIj09nbVr13L27FnOnz/PCy+8wIgRI2jbti3dunXLeJRRpUoVSpUqxd69eylRogRHjhxh8eLFVKpUiTVr1hAdHY2TkxObNm3i4MGDlC9fnr/++ivHNmLTpk0899xzjB49mtGjRzNp0iQAKlSoQJ06daSNcNA2Ijk5mTNnznDw4EFcXV1ZsGABzZo1y1Tvf7cRp0+fzlMb4efnl2MbsWzZRJ57rg4bNrgDTuzcCVFRe/DzMxTKNmLEiBE0atSIBQsWUKRIkSxtRM2aNTPVO7s24saNG2zZsoVy5coxderUjGPbtm3L2LFjqVq1KuvWrSM+Pp7IyMiMNsKSPCK3NsIaeURqaqrFbURN07N8e6XFi3w//PCDFsUIO2EwGI09e5pfUK5Y0WiMjHzweRInBadz585GwHj27Nlsv1+7dm1j0aJFH3idjRs3GosUKWJ0dnY2vvDCC8ZPP/3U2KVLFyNg9PPzMwLGMWPGPPA6t2/fNtatW9cIGI8fP57rsXfv3jXGx8dnfF2+fFkGTwiLWNKmTJpkbqtcXY3GLVs0qJiwO3q6/2jyKPbTTz/VohhhJz75BFasUJ/d3WH9evPLyrmROCk4np6eAMTHx2f7fdMyXQ/y5JNPsmvXLp5++mm2b9/O1KlTuXnzJitXruSxxx4DzI9sc1OiRAl69eoFwO7du3M91s3NDQ8Pj0xfQljCkjZlyBD44AP1OS0NXnxRDaoQhYue7j+aJHZTpkzRohhhB6ZMgf9/UoaLi5o76pFHLD1X4qSgmN6ty+49utjYWGJiYrJ9/y47jz76KOvWrSM2Npa7d+9y8OBBunfvzrH/vxv6+/tbdJ2yZcsCWPSenRD5YWmbMnGieQ3ZhAQ14CsqqgArJuyOnu4/miR2L774ohbFCBtbtw4++si8/dNPavCEpSROCo6pN23z5s1ZvmfaZzomP0zv+fj6+uLn52fROfv37wew//dVhMOytE1xcYFffoGWLdX25csquUtMLMDKCbuip/uPJondgQMHtChG2NDx49Crl3nKgK+/VlMI5IXEScHp2LEjtWvXZsmSJRkvTwMkJibyww8/4OrqmmlliH/++YfTp09neXSblJSE8V/zQsTHx9O3b18MBgOjRo3K9L3Dhw9n2yMXEhJCcHAwZcuW1dUajcK+5KVNcXeHtWvNr40cOQJ9+kB6esHUTdgXPd1/NFlSrJKs2aJr0dHw3HOQlKS2X3oJvv8+79eROCk4rq6uBAUF8eSTT9K+fXt69eqFh4cHv/32G5GRkRkjPk2+/PJLFixYwLx58zIlfKtWreKrr77iP//5D5UrVyY6Opo1a9Zw48YNfvjhhywTF0+ZMoVVq1bRsWNHqlevjtFo5NChQ+zatYtixYqxYMECSpYsqdV/BlHI5LVNqVABNmyAtm0hLk4lesOGwYgRBVRBYTf0dP/RJLFzcXHRohhhAykpaub2CxfUdosWMH9+znPV5UbipGA98cQThIWF8d1337F8+XLu3btHo0aN+OGHH+jTp49F1/Dz86Np06Zs3ryZmJgYPD09ad26NR9//DFPPPFEluOff/554uLiOHToEBs3biQtLY0qVarw+uuv88knn9CwYUNr/5hCZMhPm+LjA8uWqddI0tPhxx/Bzw9eeaUAKijshp7uP07Gfz9XKQCLFy/m1VdfLehihMaMRhgwABYuVNuVK8OBA1ClSv6uJ3EiLGEawRsfHy8jZEWuHqZNmTzZ/M5w8eIQFmb5QDDhePR0/9HkHbuAgAAtihEamzDBnNQVLw6rV+c/qQOJEyGEdT1Mm/Lhh+oPV4A7d6B7d/j/VfWEDunp/qNJYrd06VItihEa2rIFPv/cvL1gAVg4y0WOJE6EENb0MG2Kk5Ma2d+mjdq+fFnNcZeSYqXKCbuip/uPJo9i09LScHXV5HU+oYHISJXE3bqltr/9Nn+DJf5N4kRYQh7FCktZo025dk21d1evqu3XX4fZs1XiJ/RDT/cfTXrsRo8erUUxQgPJydCjhzmpe/ZZyN9qw1lJnAghrMkabUrFirBqFRRTy14zZw5Mn/7QlxV2Rk/3H0167IQ+GI3QuzeYeqzr1VODJUqXtm29ROEiPXbCFoKDVfsHakLjTZugY0fb1kmI7GjSYzdCJgHShYkTzUldyZLqr1hrJnUSJ0IIa7Jmm9KrF3zxhfpsMMDLL8P581a7vLAxPd1/NOmxu3LlClWrVi3oYkQB2roVnnzSPAv7b7+pR7LWJHEiLCE9dsJS1m5TDAa1puz69Wq7aVPYswdKlLBaEcJG9HT/0aTHbsuWLVoUIwpIZKSanNOU1H3zjfWTOpA4EbkLDAzE19eXlqYFPYV4AGu3KS4usGQJNGigto8ehbffNi+lKByXnu4/miR2Pj4+WhQjCkByslpZwjRY4pln4H//K5iyJE5EbgYPHszJkycJDw+3dVWEgyiINsXDQz2xcHdX24sWwcyZVi9GaExP9x9NErvExEQtihEF4L331GLYoAZLLF6cv+XCLCFxIoSwpoJqU3x9Yd488/aQIbB3b4EUJTSip/uPJoldXFycFsUIK5s3z9x4lSgBK1cW7AhYiRMhhDUVZJvy0kswdKj6nJqqBlPExBRYcaKA6en+o0li5+fnp0UxwoqOHYPBg83bs2ZBo0YFW6bEiRDCmgq6TRk9Gjp0UJ+vXIH+/c3vIgvHoqf7jyaJ3e+//65FMcJKEhKgZ0+1PiLAW29Bnz4FX67EiRDCmgq6TXF1VfPblSuntjdsgPHjC7RIUUD0dP/RZLqTpKQkSpYsWdDFCCswGtV8TcuWqe3mzdVwftOs6wVJ4kRYQqY7EZbSqk3ZvBmeekq1ny4usGMHtGtX4MUKK9LT/UeTHrvJkydrUYywghkzzEmdpyeEhGiT1IHEiRDCurRqU7p0ga+/Vp8NBvjvf+V9O0ejp/uPLCkmMoSHq78yU1PVdkFMQizEw5IeO2GP0tKgUyfVWwfQtSusXVtwswgIkRNZUkwAEBenRnWZkrqPPtI+qZM4EUJYk5ZtiqurmrxY3rdzTHq6/2jSYxcTE0PZsmULuhiRT0ajenSwfLnabtNG/dVZpIi29ZA4EZaQHjthKVu0Kf9+3y40FAICNK2CyAc93X806bFbsWKFFsWIfJo/35zUlS4NS5dqn9SBxIkQwrps0abI+3aOSU/3H00Su9atW2tRjMiHM2fg/ffN27NnQ/XqtqmLxIkQwpps1aYMHw6PP64+X70K/frJ/Hb2Tk/3H00SuytXrmhRjMijlBQ1tcnt22r7jTfU/HW2InEihLAmW7UpLi7qfbvy5dX277/DlCk2qYqwkJ7uP5okdjLw1j59/TUcOqQ+N2gAth7tLXEihLAmW7YplSrBokXm7S++MK+7LeyPnu4/miR21apV06IYkQebN8OECepz0aJq9nR3d9vWSeJECGFNtm5TunSBjz9Wn+/dg969ITnZplUSObB1rFiTJond3r17tShGWCg6Wr3zYTJ6tFphwtYkTkRuAgMD8fX1pWXLlrauinAQ9tCmjBwJzZqpz6dOwaef2rY+Inv2ECvWosl0Jzdv3sTb27ugixEWMBrh2WfVHEughuWvX28fk2hKnAhLyHQnwlL20qacOgUtWpjX316zBp57zrZ1EpnZS6xYgya385kzZ2pRjLDA1KnmpK58eTXViT0kdSBxIoSwLntpU3x8YOJE8/bAgfDPP7arj8jKXmLFGmRJsULk6FFo1Uq96wFqpNZTT9m2TkLklfTYCUdkNKrVfFavVttduqg22F7+sBb6IUuKFRJ370KfPuak7qOP7C+pkzgRQliTPbUpTk4QFKRGy4IawDZtmm3rJMzsKVYeliY9domJiZQqVaqgixG5+PRT87qFTZvC/v3g5mbbOv2bxImwhPTYCUvZY5uyZYvqrQMoVgwOH4aGDW1bJ2GfsZJfmvTYzZkzR4tiRA527co8tcmiRfaX1IHEiZ8f100AACAASURBVBDCuuyxTenc2bzaz927aoaCtDTb1knYZ6zklyaJXRfTnydCc4mJ0L+/er8DYMQI8POzbZ1yInEihLAme21TRo+G+vXV5/BwGDXKtvUR9hsr+aFJYnfq1CktihHZ+OQTiIxUnwMCzJNl2iOJEyGENdlrm1KihHpy4uKitr//3rwKkLANe42V/NAksdPLc2tHs2EDzJqlPru7q6lNTA2JPZI4EUJYkz23Ka1awZdfqs9padC3r3o0K2zDnmMlrzRJ7Dw9PbUoRtzn5k144w3z9sSJUKeO7epjCYkTIYQ12Xub8u235lV/Tp5U28I27D1W8kKTxO7EiRNaFCPuM3iweQLMp5+GN9+0bX0sIXEihLAme29TihaFhQvVv6AGue3cads6FVb2Hit5ocl0J1FRUVSuXLmgixH/LyQEXn5ZffbyguPHwRH+80ucCEvIdCfCUo7Spowfb15DtlYtOHZMvT4jtOMosWIJTXrs5s6dq0UxArhxA95917w9Y4ZjJHUgcSKEsC5HaVM++gjat1efIyPh669tW5/CyFFixRKypJjO/Pe/sGyZ+vzCC7BihZrxXAi9kB47oUfnzkGTJnDnjmqzd+2Cdu1sXSvhiGRJMR1ZudKc1JUpo3rrHCmpkzgRQliTI7UpdeuqeUZBzTs6cKBK8oQ2HClWHkSTHrvU1FSKFClS0MUUarduga8vXL+uthcvVmvDOhKJE5GbwMBAAgMDMRgMnDlzRnrsxAM5WptiMKj5RvftU9uffQZjxti2ToWFo8VKbjTpsZs4caIWxRRqQ4aYk7rnnoPevW1bn/yQOBG5GTx4MCdPniQ8PNzWVREOwtHaFBcXmDvXPEp2/Hg4cMC2dSosHC1WcqNJYvfSSy9pUUyhtX69msUcwNMTfvrJsR7BmkicCCGsyRHbFB8fGD5cfU5PV49kU1JsWqVCwRFjJSeaJHZ79+7VophCKSEB3n7bvD1pkuOMgv03iRMhhDU5apvy6afQooX6fOIE/PijbetTGDhqrGRHk8SuWrVqWhRTKH3zDVy5oj4/+SQMGGDT6jwUiRMhhDU5apvi6qoeybq6qu1Ro+DoUdvWSe8cNVayo0liJwrG/v0wfbr6XKIEzJzpmI9ghRBCZNakiXk+u7Q0tXqQwWDbOgnHoElid/nyZS2KKVRSU9UvumlM8//+p2Ysd2QSJ0IIa3L0NuXLL9U7dwDh4RAYaNv66Jmjx8r9NEns2rRpo0UxhcrEiWrZGYBmzdSoWEcncSKEsCZHb1Pc3GD2bPP2V1/BpUu2q4+eOXqs3E+TxC4kJESLYgqN8+fNo6acndUvvuldDEcmcSKEsCY9tCnt2pkHyN2+DYMHm5/UCOvRQ6yYyATFDsZohC5dYOtWtT1kiBoJqwcSJ8ISsqSYsJRe2pS4ODUB/T//qO3ly0FHs3PYBb3ECmjUYzdGps62msWLzUld9erwww+2rY81SZwIIaxJL21K6dIwbZp5+/33ITbWdvXRI73ECmjUYyesIyZGvUgbE6O2162DZ56xbZ2E0Jr02InCyGiE7t1hzRq1PWgQ/Pyzbesk7JMmPXZ6WlzXlj75xJzUvfSS/pI6iRMhhDXpqU1xclLTW5UsqbZnz5blxqxJV7GiRY9dVFQUlR11OQQ7sW0bdOqkPnt6wqlTUKmSbetkbRInwhLSYycspcc2ZeJEGDpUfX7kEZXcubjYtk56oKdY0aTHbuPGjVoUo1spKfDuu+btsWP1l9SBxIkQwrr02Ka8/z40bqw+Hzokj2OtRU+xokli16hRIy2K0a2JE+HMGfW5bVt44w3b1qegSJwIIaxJj21KkSIwY4Z5++uvITradvXRCz3FiiaJXXx8vBbF6NKlS2B69O/srH6hnXW6EJzEichNYGAgvr6+tGzZ0tZVEQ5Cr21K+/bQr5/6HBcHn31m2/rogZ5iRZMUITExUYtidGnoUEhOVp/ffReaNrVtfQqSxInIzeDBgzl58iTh4eG2ropwEHpuU8aOVe9bAyxYAGFhtq2Po9NTrGiS2PmYFrsTebJlC6xYoT6XK6evOeuyI3EihLAmPbcpFSrAyJHm7XffhbQ029XH0ekpVjRJ7DZv3qxFMbpy7556SdZk7Fg1SaWeSZwIIaxJ723KW29Bixbq87FjmScxFnmjp1jRZLqTxMRESpUqVdDF6MqYMfDFF+pz27awa5d+360zkTgRlpDpToSlCkObcuAAtG6tJjAuWRJOn4YqVWxdK8ejp1jRJFWYMmWKFsXoxuXL8P336rOzMwQG6j+pA4kTIYR1FYY2pVUrePNN9TkpyTzHncgbPcWKLClmh15+GUJC1Of33pPudSHuJz12QmR28yY0aKD+BbWeeMeOtq2TsB1ZUszObN1qTuoKw4CJ+0mcCCGsqbC0Kd7e6j1sk/feg9RU29XHEekpVjTpsbt58ybe3t4FXYzDu3cPmjSBv/9W2/PmwYABNq2SpiROhCWkx05YqjC1KenpEBAAe/eq7cmT4cMPbVsnR6KnWNGkx2758uVaFOPwpk41J3Vt2pgnoCwsJE6EENZUmNoUZ2d1DzH57ju4ccN29XE0eooVTRK7Nm3aaFGMQ4uONj92LUwDJu4ncSKEsKbC1qb4+8Nrr6nP8fEwbJht6+NI9BQrmqQOly9f1qIYhzZsGCQkqM+vvw7Nm9u2PrYgcWJ/wsPD6dq1K15eXri7u9OqVSuWLFmSp2ucPn2aPn36ULFiRdzc3KhRowYffvght27dKqBaC6EUxjZl5Eg17QnArFlw9Kht6+Mo9BQrmiR2Tk5OWhTjsI4dg9mz1edSpQrXgIn7SZzYl9DQUAICAti1axc9e/bknXfeISYmhj59+jDy/invc7Fv3z78/f1ZunQpbdu25YMPPqB+/fpMnTqVNm3acNM0jE+IAlAY25SKFeGbb9Tn9HQYMkTNcSdyp6tYMWrg8OHDWhTjkNLTjcbOnY1G9atnNI4aZesa2Y7Eif1ITU011qlTx+jm5mY8dOhQxv6EhARjo0aNjK6ursYzZ8488DqNGjUyAsbVq1dn2j927FgjYHzrrbfyXLf4+HgjYIyPj8/zuaJwKaxtyt27RmOdOub7yooVtq6R/dNTrGjSY7dv3z4tinFIGzaoNWEBatZUf10VVhIn9mP79u2cP3+e3r170/y+9wJKlSrFt99+S1paGvPmzcv1GufOnePEiRO0bNmSbt26Zfre0KFD8fb2ZtGiRdy+fbtAfgYhCmub4uYGEyaYtz/5BO7csV19HIGeYkWTxK5nz55aFONwUlMzzxI+diwUK2a7+tiaxIn9CA0NBaBLly5Zvmfat2PHjlyvcf36dQBq1aqV5XvOzs5Ur16d5OTkBzaoKSkpJCQkZPoSwhKFuU3p1g06dVKfL1yAiRNtWh27p6dYcRk+fPjw/JwYHBxMiRIlCAoKwt/fn9GjR9OhQwdGjBhB3bp1Wb58OQaDgePHjzNq1Ch8fX0JDg7Gx8eHcePGZRzbuHFj5s6dS7Fixdi/fz/nzp0jKSmJNWvWUKNGDSZNmpRxrL+/P1OnTsXb25vt27dz7do1rl27xrZt2/D29mbatGkZx7Zr144xY8ZQvXp11q5dS2JiIhEREezbtw83Nzfmzp1LixYtMtW7fv36BAcHk56ezrFjxzh27BgGg4Fly5bRsGFDxo8fn3FskyZNCAoKonjx4uzdu5eIiAgSEhJYt24dVatWZfLkyRnHtmzZkqlTp1KuXDm2bt1KdHQ0UVFRfPPNNf74Qy3qFxBgxNPzR9q3D2DkyJHUrFmT1atXk5SUxLlz5zhw4ABubm7Mnz+f5s2bM2bMmIzrN2jQIOOF9iNHjnDixAlSU1MJCQmhfv36merdtGlTZs+ejbu7O//X3p3HVVWt/wP/HEERURQnEAcQkQRSnMAJB9KcyrIyb2aD3bRu2f1aXaufmalXc54TzTQVx3JCy5lSBMwB9DoighPOA8pkIOhh//7YnXNApgOcPZx9Pu/Xi1eLc/bZ6yEfHpdr773WwYMHkZycjNTUVOzcuRMNGzYsEHdQUBDmzp2L+vXrIyIiAikpKbh+/ToOHDiAWrVqYfHixejcuTOmTJli/EzTpk0RHh6OrKwsJCYmIi4uDvb29ggLC0Pr1q0LxO3r64s1a9agUqVKOH78OGbOnInmzZtj06ZN8Pb2xuzZs43Htm7dGkuWLEGNGjUQHR2Nq1evIjU1Fbt374abmxvmz59vPLZDhw6YM2cO3NzcsGfPHty/fx/Xrl1DdHQ0nJ2d8cMPP6Bjx44F4vby8sLmzZuRk5ODc+fO4fjx47Czs8Pq1avRsmVLzJgxw3isn58fVq1aBXt7e8TFxeH8+fPIzs5GeHg4vLy8MGfOHOOxbdq0weLFi+Hs7IyoqChcv34dKSkp2Lt3L1xdXQvE3alTJ8yaNQvu7u7YuXMn0tLSkJycjJiYGFSvXh0//vgjOnTogKlTpxb4Xdu4cSNyc3MRHx+PEydOAADWrl0Lf3//Ar9r/v7+CAsLQ+XKlREbG4ukpCRkZWVh69at8PT0LBD3qVOnkJCQgCFDhuDs2bO4efMm7t27h4iICDRu3BhLlixBZmYmcnJy0LlzZ8yYMQONGjXC9u3bkZ6ejsuXLyMuLg579+5Feno6Ro4cWeB3zcvLC//973+Rm5sLZ2dnPHr0CIIgFFkj9uzZgwEDBmDatGmYNm0a5s6dCwBwdXVFs2bNNF0jIiMj4eLigoULFyI4OBjfffcdgoNtt0YkJCQgJyfH7BqxaNEi3LlzxyZrRPfu3RAbuwTHjrWDIOjw5596NGsWhcTEYxapEW3btkVoaChcXFywf//+AjWiXr16WLBggfHY4mrEoUOHzB5HnDp1qtgaYYlxxJgxY9C5c2ezaoSnp2dFxl2S45ZiCnnwAPD2BlJTxe+PHgUCA5WNicigd+/eiIiIQFJSEry9vQu936xZM1y/fh05OTklnsfb2xsXL17E9u3b8cILLxhfnz17NkaPHg0AmDJlCsaMGVPsOXJycgr0k5GRgcaNG3OBYiIzfPKJuHwWIO4p++OPysZD0uOWYgqZONE0qHvnHQ7qAOaJFoWGhqJy5cp46aWX8Nprr+HLL79Enz59MHr0aLRs2RIAYGdnV+I5HBwc4OzsXOCLyBysKeJCxYZfmZ9+As6eVTYetdJSrsgysPvUlp8IKML588CiRWK7WjVx3SFinqhJzZo1AQDp6elFvm/Y1qs0ffr0QXR0NPr164d9+/ZhwYIFuH//PsLDw9G9e3cAQL169SwXOFE+rCninuOGCfG8POCrr5SNR620lCuyDOyWGhZpIwDiE0pPnojtL78EGjZUNh61YJ6oR/PmzQEASUlJhd5LTU1FSkqK8ZjSdOjQAdu3b0dqaioePXqEuLg4DBw4EKdPnwYAtG/f3nKBE+XDmiIaNQpo3Fhs79gB7NunbDxqpKVckWVg169fPzm6sQoREcD27WK7YUNxkEci5ol6GGbT9u7dW+g9w2uGY8rDcMO3n5+f8ZIskaWxpogcHYH8VxpHjxZn78hES7kiy8DO8C9zW6fXF1zeZNo0wMlJuXjUhnmiHj179oSXlxfWrVtnfNIWADIzMzFp0iTY29tj2LBhxtdv3bqFhISEQpduHz58iKefz0pPT8fbb78NvV6PqVOnSvpzkG1jTTF56y2gdWux/b//AWXcGVDztJQrsgzsatWqJUc3qrd6tbh9GCA+LPHmm8rGozbME/Wwt7fHsmXLkJeXh65du+KDDz7A6NGjERAQgLNnz2LChAnw8fExHj9mzBj4+voiPDy8wHm2bt0KDw8PDBs2DF9//TWGDx+O5s2bIzo6GpMmTSq0cDGRJbGmmFSqBMycafp+7Fjg0SPl4lEbLeWKvRyd1KhRQ45uVC07Gxg3zvT9zJniLxqZME/UJSQkBDExMRg/fjw2bNiA3Nxc+Pv7Y9KkSRg6dKhZ52jZsiUCAgKwd+9epKSkoGbNmujYsSM+//xzhISESPwTkK1jTSmoVy+gXz9g1y7g6lVgwQLxPm/SVq7Iso7dihUr8N5770ndjarNnGn6BXrhBdN9dmTCPCFzGJ7I5Tp2VBrWlMLOnAECAsR77JydgYsXgbp1lY5KeVrKFVnmjJ5//nk5ulGtBw9MS5rodOK9dVSYrecJEVkWa0phzz4LGMYvGRnApEnKxqMWWsoVWQZ2K1eulKMb1Zo2DUhLE9vvviv+YlFhtp4nRGRZrClF++9/xTVUAXFN1QsXlI1HDbSUK9xSTGJXrwI+PkBODlC1KpCYaFpPiIjKjpdiiSru229Ns3WDBgEbNyobD1kOtxST2LffioM6APi//+OgriS2nCdEZHmsKcX74gvA1VVsb9oEHDumbDxK01KuyDJj9+TJE9jby/IArqqcPi3epCoIgIuLeJOqi4vSUamXreYJlQ1n7MhcrCklCw0FPvlEbPfuDezZo2w8StJSrsgyYzdr1iw5ulGdcePEQR0AfP01B3WlsdU8ISJpsKaUbMQIwNNTbO/dC0RGKhmNsrSUK7LM2F25cgWehuyxEUePAh06iG13d/HmVEdHZWNSO1vMEzJfaGgoQkNDodfrkZiYyBk7KhVrSulWrRIf6gOAjh2BP/8UV2+wNVrKFVlm7GJiYuToRlXyL0Y8bhwHdeawxTwh840cORLx8fGIjY1VOhSyEqwppRs6FPD3F9uHD9vuGqtayhVZBnYeHh5ydKMaUVHitDYANG0K/POfysZjLWwtT4hIWqwppbOzA/I/NzB2rLh4sa3RUq7IMrDT6/VydKMKggB8843p+/HjgSpVlIvHmthSnhCR9FhTzPPyy6Zbh06fBtavVzYeJWgpV2QZ2N26dUuOblRh714gOlpst2gBvPWWsvFYE1vKEyKSHmuKeXQ60+5IgLhMV26ucvEoQUu5IsvALigoSI5uFPf0bN3EieI0N5nHVvKEiOTBmmK+554DevUS25cuAT/9pGw8ctNSrsgysNu8ebMc3Shu2zYgLk5sBwSIq3mT+WwlT4hIHqwpZfPdd6b2pElAdrZyschNS7kiy3InOTk5cHBwkLobRen1QOvWwJkz4ve//goMGKBsTNbGFvKEKo4LFJO5WFPK7tVXgfBwsT1vHjBqlLLxyEVLuSLLjN3MmTPl6EZRGzaYBnUdOgAvvqhsPNbIFvKEiOTDmlJ2EyaY2tOm2c6snZZyRZYZO6178gTw8wOSksTvIyJM9yoQkWVxxo5IWoMGAYYrk3PmAJ99pmw8VDayzNhpaXPdoqxaZRrU9egB9OypaDhWS+t5QkTyYk0pn/HjTe3p04GsLOVikYuWckWWGbubN2/C3d1d6m4UkZMD+PgAV6+K30dHA8HBysZkrbScJ2Q5nLEjc7GmlN/gwcDGjWJ79mzg88+VjUdqWsoVWWbsdu3aJUc3ili+3DSo69uXg7qK0HKeEJH8WFPK79tvTXvGTp8O/PWXsvFITUu5IsvArlWrVnJ0I7ucHGDqVNP3kyYpF4sWaDVPiEgZrCnl9+yzwOuvi+27d4HFi5WNR2payhVZBnYPHjyQoxvZrVwJXLsmtl94AWjfXtFwrJ5W84SIlMGaUjHjx5tm7WbM0PasnZZyRZaB3V8azIbc3IJbsOS/2ZTKR4t5QkTKYU2pGD8/4B//ENv37gGhocrGIyUt5YosA7sWLVrI0Y2swsJM99b16wcEBiobjxZoMU/IckJDQ+Hn54dA/rKRmVhTKi7/vXYzZwIPHyobj1S0lCuyDOx+//13ObqRzePHhTdMporTWp6QZY0cORLx8fGIjY1VOhSyEqwpFefrCwwZIrZTUoCFC5WNRypayhVZljvJyMjQ1LIEP/0EDB8utnv3BvbsUTYerdBanpA0uNwJmYs1xTISEgB/fyAvD6hbF7hyBXByUjoqy9JSrsgyY7dgwQI5upHF07N1vLfOcrSUJ0SkPNYUy2jRAnjjDbGdkgIsWaJsPFLQUq5wS7EyWr0aeOcdsd2rl7h9GBHJhzN2RPI7e1ZcAgUA3NyAy5eBqlWVjYmKxi3FyiAvr+C6dePGKReLFmklT4hIHVhTLMffH3j1VbF9+7a4OL+WaClXZJmxe/DgAWrXri11N5LbuhV45RWx3aULEBOjbDxao5U8IWlxxo7MxZpiWcePA+3aie0mTcQ90qtUUTYmS9FSrsgyY7d+/Xo5upGUIBS8t+7rr5WLRau0kCdEpB6sKZbVti3Qv7/YvnoVWLNG2XgsSUu5IsvArmvXrnJ0I6l9+wDDKgsBAeLadWRZWsgTIlIP1hTL++YbU3vqVODJE+VisSQt5YosA7srV67I0Y2k8s/WjRljWrCRLEcLeUJE6sGaYnmdOgHPPSe2L1wANm5UNh5L0VKuyDKws7Ozk6MbyRw5Is7YAYC3NzBokLLxaJW15wkRqQtrijTyz9pNny7eqmTttJQrsgzsGjRoIEc3ksn/JOxXXwEa+vNXFWvPEyJSF9YUafToYdpG8+RJYO9eRcOxCC3liiwDO2veAujMGWDbNrHt7g68/bay8WiZNecJEakPa4o0dDpxksNg+nTlYrEULeWKLMud3Lt3D/Xq1ZO6G0m8/bbpyZ85c4DPPlM2Hi2z5jwh+XC5EzIXa4p09HpxH9mkJPH7o0dNs3jWSEu5IsuM3RIr3X/k8mXA8AR07drAiBHKxqN11ponRKROrCnSsbMDRo82fW/ts3ZayhVuKVaCjz8GFi8W2xMnAt9+q2w8RMQZOyK1ePQI8PQE7twRL8+ePw80b650VMQtxYqRf8uU6tWBTz5RNh5bYI15QvIJDQ2Fn58fAq35eg/JijVFWlWrAp9+KrYFAZg1S9l4KkJLuSLLjF1WVhaqVasmdTcW9dVXwIwZYnv0aGDmTGXjsQXWmCckP87YkblYU6SXliZuL5aZCTg4AFeuAG5uSkdVdlrKFVlm7BYbrmdaiYwM4IcfxHaVKnxgQi7WlidEpG6sKdKrVQv417/Edk4OMH++svGUl5ZyRZaB3YsvvihHNxbz44/i4A4Qn4p1d1c2HlthbXlCROrGmiKPTz8VJ0EA8b50w9+f1kRLuSLLwO7kyZNydGMRubnAvHmm7/M/9UPSsqY8ISL1Y02RR/41XtPTAWt8wFRLuSLLwK5OnTpydGMRP/8M3Lghtl96CWjRQtl4bIk15QkRqR9rinxGjzbtoT5vnnhZ1ppoKVdkGdg5OjrK0U2FPf1UzxdfKBeLLbKWPCEi68CaIp8WLYCXXxbbN28Ca9cqG09ZaSlXZBnYJSYmytFNhf3+O3D6tNju2BHo0kXZeGyNteQJEVkH1hR55d9mbOZMIC9PuVjKSku5IsvArmfPnnJ0U2Fz55ra//mPaVqZ5GEteUJE1oE1RV4dOwLduonthARg925l4ykLLeWKLAO7sLAwObqpkHPngF27xLaHBzBwoLLx2CJryBMish6sKfL7/HNTe84c5eIoKy3lCrcU+9u//mV6kmf27ILJSUTqwQWKidRLrxfvt7twQfz+5EmgVStlY7I13FIMwP37wKpVYrt6deD995WNx1apPU+IyLqwpsjPzg4YNcr0ff7lw9RMS7kiy4ydXq+HnZ2d1N2U25QpwNixYnvUKOtJRK1Re56QOnDGjszFmqKMhw+Bxo3F7caqVAGuXgVcXZWOqmRayhVZZuxmGDZdVaHcXGDhQrGt0wH/93/KxmPL1JwnRGR9WFOUUb06MGKE2M7NFXejUDst5YosM3bJycnw8PCQuptyWbPGtGL2K68AW7YoG48tU3OekHpwxo7MxZqinGvXgKZNxXvu6tUTZ+2qVlU6quJpKVdkmbGLioqSo5syE4SCS5x89plysZB684SIrBNrinIaNwZef11s37un/gWLtZQrsgzsmjZtKkc3ZRYdDRw/LrbbtQOCg5WNx9apNU9IHUJDQ+Hn54fAwEClQyErwZqirPyTJXPnipMpaqWlXJFlYPfkyRM5uimzp2fruCCxstSaJ6QOI0eORHx8PGJjY5UOhawEa4qygoJMOzidPSvu7qRWWsoVWQZ2t2/flqObMrl4Edi2TWy7u5umjEk5aswTIrJerCnKyz9rt2CBcnGURku5IsvArl27dnJ0Uybff2+aFv7kE/GRbFKWGvOEiKwXa4ryBg4EmjQR2zt2AJcuKRtPcbSUK7IM7LZu3SpHN2bLzARWrBDbjo7ABx8oGw+J1JYnRGTdWFOUZ2cHfPSR2BYEYNEiZeMpjpZyRZblTh49eoSqKnrOefFi4OOPxfbw4cDSpcrGQyK15QmpE5c7IXOxpqhDSgrQqBGQkwPUqgXcuAFUq6Z0VAVpKVdkmbGbNWuWHN2YRRBMCxIDwMiRysVCBakpT4jI+rGmqEPdusCQIWI7LU2dS59oKVdkmbFTk/37geeeE9vBweKSJ0RkPThjR2R9jh0D2rcX261aASdOcCUKqcgyY6emzXXzz9Z98olycVBhasoTIrJ+rCnq0a4d0LGj2D51CoiJUTaep2kpV2SZsbt9+zbc3Nyk7qZUV6+KW5zk5QENGgBXrvBpWDVRS56QunHGjszFmqIua9cCb70ltgcPBn75Rdl48tNSrsgyY/fbb7/J0U2pfvhBHNQBwIcfclCnNmrJEyLSBtYUdRk0CKhfX2xv3iw+RKEWWsoVWQZ2rVu3lqObEj16ZHr61d6eS5yokRryROtiY2PRv39/uLi4wMnJCUFBQVi3bl2ZznHz5k2MGjUKfn5+cHJygqurK4KDg7F69Wro9fpCx3t6ekKn0xX59a9//ctSPxpRIawp6uLgIE6qAIBeDyxZomw8+WkpV+zl6OT+/ftydFOiDRvER64BcZeJBg2UjYcKU0OeaFlkZCT69OmDKlWq4I033kDNmjWxZcsWDB06FFeuXMHXX39d6jkuXbqEDh064P79++jTpw8GDBiAjIwMbN26Fe+88w723uTGCgAAIABJREFU7duHFYZFIvOpWbMmPv3000KvtzfcTU0kAdYU9fnwQ2DKFNPAbuxYccCnNE3liiCDLVu2yNFNiQIDBUFc7EQQDh5UOhoqihryRKseP34sNGvWTHBwcBCOHz9ufD0jI0Pw9/cX7O3thcTExFLP89FHHwkAhPnz5xd4PTU1VfDw8BAACFeuXCnwnoeHh+Dh4WGRn0MQBCE9PV0AIKSnp1vsnKRNrCnq9Prrpr+P16xROhqRlnJFlkuxzZs3l6ObYh07Bhj2DW/dGujUSdFwqBhK54mW7du3DxcvXsSbb76JNm3aGF+vUaMGxo0bhydPnhQ50/a0S3/vB9S/f/8Cr9eqVQtd/t7t+969exaMnKj8WFPUKf+KFKGhysWRn5ZyRZaB3f79++Xoplg//GBqf/QR185RK6XzRMsiIyMBAL179y70nuG1AwcOlHoef39/AMDu3bsLvJ6RkYGDBw/C1dUVfn5+hT6Xk5ODsLAwTJkyBYsXL8bJkyfNjj0nJwcZGRkFvojMwZqiTl27As8+K7YPHQJOn1Y2HkBbuWI3YcKECeX54Pr161GtWjUsW7YM7du3x7Rp09CtWzdMnjwZ3t7e2LBhA/R6Pc6cOQO9Xo/KlStj/fr18PX1xcyZM43HPvvss1i+fDmqVq2KI0eO4MKFC3j48CF+/fVXeHh4YO7cucZj27dvjwULFqBOnTrYt28fbt++jdu3b+OPP/5AnTp18P333xuP7dKlC6ZPn45atTwwcqQT9PpKqFbtCV56aQucnCpj+fLlaNeuXYG4fXx8sH79euTl5eH06dM4ffo09Ho9fvnlF7Ro0QKzZs0yHtuqVSssW7YMjo6OOHToEC5duoSMjAxs374djRo1wrx584zHBgYGYsGCBahXrx5+//133L17Fzdv3kRkZCRcXFywcOFCBAcH47vvvkNwcDCmTJkCT09PbNu2DQ8fPsSFCxdw9OhRODg4YOXKlWjTpg2mT59uPP8zzzxjvAH+xIkTOHv2LB4/foyNGzfCx8enQNwBAQFYunQpnJyccPDgQSQnJyM1NRU7d+5Ew4YNC8QdFBSEuXPnon79+oiIiEBKSgquX7+OAwcOoFatWli8eDE6d+6MKVOmGD/TtGlThIeHIysrC4mJiYiLi4O9vT3CwsLQunXrAnH7+vpizZo1qFSpEo4fPw47OzsIgoBNmzbB29sbs2fPNh7bunVrLFmyBDVq1EB0dDSuXr2K1NRU7N69G25ubpg/f77x2A4dOmDOnDlwc3PDnj17cP/+fVy7dg3R0dFwdnbGDz/8gI4dOxaI28vLC5s3b0ZOTg7OnTtnjGf16tVo2bIlZsyYYTzWz88Pq1atgr29PeLi4nD+/HlkZ2cjPDwcXl5emDNnjvHYNm3aYPHixXB2dkZUVBSuX7+OlJQU7N27F66urgXi7tSpE2bNmgV3d3fs3LkTaWlpSE5ORkxMDKpXr44ff/wRHTp0wNSpUwv8rm3cuBG5ubmIj4/HiRMnAABr166Fv7+/8Xdt1KhRuHfvHpo3b466desiNjYWSUlJyMrKwp49e3D48GHcuHEDX3/9NSZPnoy2bdsiNDQULi4u2L9/P27evIl79+4hMzMT58+fx88//4yjR49iyZIlOHLkCP75z3+icuXKGD58OBwdHXH58mUcOnQI1apVw8KFC5GSkoKtW7di37592LFjB3744Qds3rwZzZs3x4ULF3Dq1CkIglBkjdizZw8GDBiAadOmYdq0aZg7dy4AwNXVFc2aNatwjWjSpAl+++03ZGZm4tKlSzh8+DAcHBxYI1RYIxISEpCTk2N2jWjQoAH27dvHGmFGjZg8eTL8/f0RFhaGypUrF6gRW7duhaenZ4G4i6sRERERqFevHhYsWGA8tnPnzpgxYwYaNWqE7du3IyMjHdnZuThypM7fOXkcb71Vu8RxREk1whLjiLt378LNzc2sGuHp6VmRcZf05LjeO2nSJDm6KdLChaZr+R9/rFgYZAYl80Trnn/+eQGAkJSUVOT7Xl5eQpUqVcw6171794TevXsLAIxfVatWFb799lvhr7/+KnT8xIkThcjISOHevXtCRkaGcPjwYaFfv34CAKFTp05CXl5eif09evRISE9PN35du3aN99iRWVhT1Cs1VRAcHcW/m52dBeHhQ2Xj0VKuaHpLMUEQty45c0b8/uRJ8XsiW9O7d29EREQgKSkJ3t7ehd5v1qwZrl+/jpycnBLPc/HiRbz44ouoXr065syZgzZt2iAtLQ3r1q3D2LFj0bZtW8TExKBy5colnicvLw/du3dHTEwMtm/fjhdeeMHsn4ULFBNpwz//CRhu7f3pJ/F7qjhNbyl28KBpUNe5Mwd1aqelLV3UpmbNmgCA9PT0It83DJZK89577yE5ORm//fYbunbtiurVq6NRo0b48ssv8Z///AdHjx7FmjVrSj1PpUqV8N577wEADh48WIafhMh8rCnqZljTDlB+TTst5YosA7tPFNqU9emHJkjdlMoTW2B44ispKanQe6mpqUhJSSn1qbDMzExER0fD19e3yK13nnvuOQDAsWPHzIqpbt26AICsrCyzjicqK9YUdQsKAgICxPbRo8Dft/8pQku5IsvAzpx/wVtaSgqwcaPYrl1b3MqE1E2JPLEV3bt3BwDs3bu30HuG1wzHFCc3NxcAkGJY6fsphmVOHMxcbfTIkSMAoP4bkclqsaaom04H5N98RslZOy3liiwDu9L+wpDCqlXA338P4b33gKpVZQ+BykiJPLEVPXv2hJeXF9atW2d8Kg4QZ+EmTZoEe3t7DBs2zPj6rVu3kJCQUODSbZ06dfDMM8/g6tWrWLZsWYHzZ2RkYMaMGQCAkJAQ4+vx8fFIS0srFE9MTAzmzJkDBwcHvPrqq5b6MYkKYE1RvzffBJycxPbatcDDh8rEoaVckWVgd/HiRTm6MRIE8UZMgxEjZO2eyknuPLEl9vb2WLZsGfLy8tC1a1d88MEHGD16NAICAnD27FlMmDABPj4+xuPHjBkDX19fhIeHFzjPvHnzYG9vjxEjRqBnz5744osvMGLECPj4+ODUqVN48cUXCzwIsWHDBri7u2PAgAH497//jdGjR6Nv377o1q0bHj9+jIULF6JJkyay/X8g28Kaon7OzuLgDgAyM4H165WJQ0u5IstesVWqVJGjG6MjR4D4eLEdHAw884ys3VM5yZ0ntiYkJAQxMTEYP348NmzYgNzcXPj7+2PSpEkYOnSoWefo27cvDh8+jBkzZiA6OhpRUVFwcHCAn58fxowZg5EjR0KXbwXwkJAQ45pfBw4cwKNHj+Dq6op//OMf+OyzzxAUFCTVj0vEmmIlPvwQWLpUbC9ZosxkjJZyRZblTo4dO4Z27dpJ3Y3RiBGA4UrRihVAvitMpGJy5wlZJy53QuZiTbEe7duL238C4hag7dvL27+WckWWS7HmPiVnCQ8fAj//LLZr1ABef122rqmC5MwTItI+1hTrofTSJ1rKFVlm7O7cuQNXV1epuwEgztAZFjkcMQL48UdZuiULkDNPyHpxxo7MxZpiPR4+BNzdxfvsnJyAW7fEyRm5aClXZJmxW2q4eC6D/A9NvP++bN2SBciZJ0Skfawp1qN6ddNDFH/9BWzYIG//WsoVTW0pdu4c4Ocntv39gdOnxXVyiEg7OGNHpE2xseKixYC4WxQ3pSkfTW0ptny5qf3++xzUWRstbelCRMpjTbEu7dsDzz4rtv/8U5yskYuWckWWGbvs7Gw4OjpK2sfjx0CjRsDdu0DlysDNm8DfOxaRlZAjT8j6ccaOzMWaYn3mzQM++0xsjx4NzJwpT79ayhVZZuwWLVokeR/bt4uDOgB4+WUO6qyRHHlC1is0NBR+fn4IDAxUOhSyEqwp1uett8TJGUDcQerxY3n61VKuyDJjl5SUVOoG4xX14ovAjh1ie9cuoG9fSbsjCciRJ2T9OGNH5mJNsU6vvw5s2iS2w8OBgQOl71NLuSLLjN3x48clPf+NG+JgDgAaNwaef17S7kgiUucJEdkW1hTrlH9Fi/z3zktJS7kiy8CuXr16kp4/LAzIyxPbw4YBdnaSdkcSkTpPiMi2sKZYp+efF++ZB4CdO8U17aSmpVyRZWDn4OAg2bnz8gqO6N97T7KuSGJS5gkR2R7WFOtkZ2faClSvF++1k5qWckWWgd3FixclO/eBA4Dh9L16AU2bStYVSUzKPCEi28OaYr3yT9KEhQFSPw2gpVyRZWDXo0cPyc7NnSa0Q8o8ISLbw5pivby8gK5dxfa5c0BcnLT9aSlXZBnYrV69WpLzZmQAW7aIbRcXeZ6cIelIlSdEZJtYU6zbu++a2mFh0valpVyRZbmTvLw8VKpk+THkihXAP/8ptj/+GAgNtXgXJCOp8oS0hcudkLlYU6xbRgbg5gZkZwO1a4sbD0h1K5yWckWWn2LKlCmSnDf/DZXvvCNJFyQjqfKEiGwTa4p1c3YGXnlFbD94YFqrVgpayhWrnbFLTgY8PcW2jw+QkMC9Ya2dlv7FRNLhjB2ZizXF+u3dC/TpI7ZfegnYtk2afrSUK7L8FFOnTrX4OdesMbXfeYeDOi2QIk+IyHaxpli/nj2Bhg3F9s6dpq1DLU1LuSLLwO7tt9+26PkEAch/n+PQoRY9PSnE0nlCRLaNNcX62dmJ+8cCwJMnwLp10vSjpVyRZWAXGRlp0fPFxgLnz4vt7t1Nl2TJulk6T4jItrGmaEP+p2PzX62zJC3liiwDu2bNmln0fHxoQpssnSdEZNtYU7TB1xdo21ZsHztmmtixJC3liiwDu5ycHIudKzcX+PlnsV21KjBokMVOTQqzZJ4QEbGmaIfhciwArF1r+fNrKVdkGdjdu3fPYufatQu4f19sDxwoPg5N2mDJPCHtCQ0NhZ+fHwIDA5UOhawEa4p2vPEGYHhode1ay28xpqVckWVg19Ywh2oBvAyrXZbME9KekSNHIj4+HrGxsUqHQlaCNUU7GjQAnntObF+6BBw+bNnzaylXZBnY/frrrxY5T1oasH272HZ1BZ5/3iKnJZWwVJ4QEQGsKVqTfwUMS1+O1VKuyLJAcXZ2NhwdHSt8nuXLgfffF9ujRgHz5lX4lKQilsoT0jYuUEzmYk3RlowMcVLn0SOgbl1xi7HKlS1zbi3liiwzdrNnz7bIefKvX/PmmxY5JamIpfKEiAhgTdEaZ2dgwACxnZICRERY7txayhVZZuws4eZNoFEj8YZJb28gMZG7TRDZIs7YEdmuX38FXn5ZbA8ZIt2CxdZMlhm7yZMnV/gcv/xiegrmzTc5qNMiS+QJEZEBa4r29O0L1K4ttrdtAx4+tMx5tZQrsszY3blzB66urhU6R1CQuOMEACQkAM88Y4HASFUskSekfZyxI3OxpmjTv/4FLFkitlevLrjGXXlpKVdkmbHbtm1bhT5/+bJpUNe6NQd1WlXRPCEiyo81RZukeDpWS7kiy8CuXbt2Ffr8xo2m9j/+UcFgSLUqmidERPmxpmhTly6Ah4fYjogALLG2sJZyRZaB3Z07dyr0+Q0bTO3XX69gMKRaFc0TIqL8WFO0qVIlYPBgsa3XA+HhFT+nlnJFloFdbm5uuT978aK46S8AtGsHaGifXnpKRfKEiOhprCnalf/q3S+/VPx8WsoVWQZ2zSowGst/GdYwQidtqkieEBE9jTVFu9q2NU30REYCFZ1w01KuyDKwO3DgQLk/y8uwtqMieUJE9DTWFO3S6Uyzdnl5wKZNFTuflnJFluVO0tLSUKtWrTJ/LikJ8PER24GBwNGjFg6MVKW8eUK2hcudkLlYU7Tt1CkgIEBsd+0KREWV/1xayhVZZuwWLlxYrs/xMqxtKW+eEBEVhTVF21q2BFq0ENsxMcCNG+U/l5ZyRdVbirVuDZw8KbavXDE93kxEtic0NBShoaHQ6/VITEzkjB0RYcIEYOJEsT1vHjBqlKLhqIJqtxQ7f940qOvQgYM6W6ClLV3I8kaOHIn4+HjEGlYrJyoFa4r2WerpWC3liiwzdunp6ahZs2aZPjN5MjBunNiePRv4/HMJAiNVKU+ekO3hPXZkLtYU29CqFXD6tNhOTgaaNCn7ObSUK7LM2K1atarMn8n/NOygQRYMhlSrPHlCRFQc1hTbkH/WLv+9+WWhpVyRZWAXEhJSpuPPnTONvjt1Kt/om6xPWfOEiKgkrCm2If9SaOXdhUJLuSLLwC4pKalMx/NpWNtU1jwhIioJa4pt8PEB/PzE9p9/Ardvl/0cWsoVWQZ2jo6OZTqel2FtU1nzhIioJKwptuPVV8X/CgKwbVvZP6+lXJFlYFenTh2zjz17VvwCgC5dgEaNJAqKVKcseUJEVBrWFNvxyiumdnkux2opV2QZ2J04ccLsY3kZ1naVJU+IiErDmmI72rQxLYu2bx+Qlla2z2spV2QZ2A0YMMDsYw2XYXU64LXXJAqIVKkseUJEVBrWFNuh0wEDB4rtx4+BHTvK9nkt5YosA7tly5aZddz58+ITsYB4GbZhQwmDItUxN0+IiMzBmmJbKnI5Vku5oqotxWbMAL76SmzPmgX85z/KxkNE6sMFiomoKHo90KABcO8eUK0akJICaOiZCLOpakuxX381tV96SaJgSLW0tKULESmPNcW22NmZxg5ZWUBEhPmf1VKuyDJj9+jRI1StWrXEY+7eBdzcxEeVfX2B+HipoyK1MSdPiDhjR+ZiTbE9O3YAL74ott99F1i50rzPaSlXZJmx+/7770s9Zvt2cVAHAC+/LHFApErm5AkRkblYU2xPz55A9epi+7ffgCdPzPuclnJFloHdQMOjKiXIv6AgB3a2yZw8ISIyF2uK7alaFejfX2w/eABERZn3OS3liiwDu2PHjpX4fv5r4a6uQFCQDEGR6pSWJ2TbQkND4efnh8DAQKVDISvBmmKbDLtQAOY/HaulXJFlYOfm5lbi+7//DmRni+0BA4BKskRFalNanpBtGzlyJOLj4xEbG6t0KGQlWFNsU79+QJUqYjs8HMjLK/0zWsoVWYZQ9vb2Jb7Py7AElJ4nRERlwZpim5ydgV69xPaNG0BcXOmf0VKuyDKwu3z5crHv6fXiDY6AuO5Mz55yRERqVFKeEBGVFWuK7SrrYsVayhVZBnbdunUr9r3Dh8XFBAGgTx/bXEyQRCXlCRFRWbGm2K6XXjLd1rVli2nVjeJoKVdkGditW7eu2PfyX4blosS2raQ8ISIqK9YU21W/PhAcLLYTE03blRZHS7kiywLFer0ednZ2Rb7XooW4R2ylSsCdO0DdulJHQ2pVUp4QGXCBYjIXa4ptmzsX+PxzsT1jBvDFF8Ufq6VckWXGburUqUW+fv68+AUAXbpwUGfrissTIqLyYE2xbS+8YGrv2lXysVrKFVlm7IozYwbw1Vdie9Ys4D//USoSIrIWnLEjInMIAuDtDVy6BFSuDKSkiE/Map0sM3bFba7L++soPy1twkxEymNNsW06nbimHQA8fgz88Ufxx2opV2QZ2L377ruFXrt7Fzh0SGz7+gLNm8sRCalZUXlCRFRerClk2F4MKPlyrJZyRZaB3R9FDJO3bzc9fsxFiQkoOk9IWbGxsejfvz9cXFzg5OSEoKCgMj89dvPmTYwaNQp+fn5wcnKCq6srgoODsXr1auj1eokiJ2JNIaBHD8DBQWzv2lX8sidayhVZBnY+Pj6FXtuxw9TmZVgCis4TUk5kZCSCg4MRHR2NQYMG4aOPPkJKSgqGDh2KKVOmmHWOS5cuISAgAN9//z08PDzwySef4NVXX8XFixfxzjvvYPjw4RL/FGTLWFOoWjVxcAcA168DZ84UfZyWckWWgV22YSPYvz1+DEREiO06dYCgIDmiILV7Ok9IOU+ePMHw4cOh0+kQFRWFpUuXYtasWTh58iT8/f0xfvx4JCUllXqeWbNmISUlBfPmzcOuXbswffp0LF68GOfOnYOHhwdWrlyJ5ORkGX4iskWsKQSYdzlWS7kiy8Du/v37Bb4/eBDIzBTbffsCGlk6hiro6Twh5ezbtw8XL17Em2++iTZt2hhfr1GjBsaNG4cnT55gxYoVpZ7n0qVLAID++SsrgFq1aqFLly4AgHuGrWeILIw1hQDTAxRA8QM7LeWKLAO7gICAAt/v3Glq5/8fTrbt6Twh5URGRgIAevfuXeg9w2sHDhwo9Tz+/v4AgN27dxd4PSMjAwcPHoSrqyv8/PxKPEdOTg4yMjIKfBGZgzWFAPHhzGbNxHZMDFBUCdFSrthNmDBhQnk+uH79elSrVg3Lli1D+/btMW3aNHTr1g2TJ0+Gt7c3NmzYAL1ejzNnzmDx4sXw8fHB+vXr4evri/ffT8dffzlBpxMwbVoafv55OapWrYojR47gwoULePjwIX799Vd4eHhg7ty5xvO2b98eCxYsQJ06dbBv3z7cvn0bt2/fxh9//IE6derg+++/Nx7bpUsXTJ8+HU2aNMFvv/2GzMxMXLp0CYcPH4aDgwOWL1+Odu3aFYjbEGNeXh5Onz6N06dPQ6/X45dffkGLFi0wa9Ys47GtWrXCsmXL4OjoiEOHDuHSpUvIyMjA9u3b0ahRI8ybN894bGBgIBYsWIB69erh999/x927d3Hz5k1ERkbCxcUFCxcuRHBwML777jsEBwdjypQp8PT0xLZt2/Dw4UNcuHABR48ehYODA1auXIk2bdpg+vTpxvM/88wzxhvaT5w4gbNnz+Lx48fYuHEjfHx8CsQdEBCApUuXwsnJCQcPHkRycjJSU1Oxc+dONGzYsEDcQUFBmDt3LurXr4+IiAikpKTg+vXrOHDgAGrVqoXFixejc+fOmDJlivEzTZs2RXh4OLKyspCYmIi4uDjY29sjLCwMrVu3LhC3r68v1qxZg0qVKuH48eNYunQpmjZtik2bNsHb2xuzZ882Htu6dWssWbIENWrUQHR0NK5evYrU1FTs3r0bbm5umD9/vvHYDh06YM6cOXBzc8OePXtw//59XLt2DdHR0XB2dsYPP/yAjh07Fojby8sLmzdvRk5ODs6dO4fjx4/Dzs4Oq1evRsuWLTFjxgzjsX5+fli1ahXs7e0RFxeH8+fPIzs7G+Hh4fDy8sKcOXOMx7Zp0waLFy+Gs7MzoqKicP36daSkpGDv3r1wdXUtEHenTp0wa9YsuLu7Y+fOnUhLS0NycjJiYmJQvXp1/Pjjj+jQoQOmTp1a4Hdt48aNyM3NRXx8PE6cOAEAWLt2Lfz9/TFz5kzjsf7+/ggLC0PlypURGxuLpKQkZGVlYevWrfD09CwQ96lTp5CQkIAhQ4bg7NmzuHnzJu7du4eIiAg0btwYS5YsQWZmJnJyctC5c2fMmDEDjRo1wvbt25Geno7Lly/j0KFD6NKlC7Zu3Yrw8HCsW7cON27cwNixY/Hdd9/h0aNHmDJlCtLS0nDq1CkIgmCsEfnj3rNnDwYMGIBp06Zh2rRpmDt3LgDA1dUVzZo1Y42woRqRkJCAnJwcs2vEunXrcPPmTdYICWpE27ZtERoaChcXF+zfv79AjahXrx4WLFhgPLakGmHuOKKkGvHss89i+fKSxxHu7t1w9CiQlwfcurUNvr66AjVi+vTp6NChg1k1wtPTs4JDL2nJskBxVlYWqlWrBgC4ehXw8BBf79jRtOQJUf48IWX17t0bERERSEpKgre3d6H3mzVrhuvXryMnJ6fUcxkeuNi7d6/xtapVq+LLL7/EV199VeqfeU5OToF+MjIy0LhxYy5QTKViTSGDXbtM99oNHw4sXVrwfS3liiyXYufMmWNs79ljep2XYSm//HlC2nDx4kV07doVDx48QFRUFDIzM3Ht2jVMnDgRU6ZMQUhICB4/flziORwcHODs7Fzgi8gcrClk0KMHULWq2C5q2RMt5YrsW4oNHgxs3Ci2Dx0SZ+2ISF1ef/11bNq0CXFxcWjXrl2h9+vVqwedToe7d++WeJ5u3bohLi4Oly5dgpubW4H3/t//+3+YPn06li9fjvfee8/s2LilGBGVR//+pocnTp4EWrVSNh6pyLqlmF5v2tKjZk2gfXs5eidroaUtXaxd87+3gilqSZPU1FSkpKQYjylOZmYmoqOj4evrW2hQBwDPPfccAODYsWMWiJioMNYUyq+kp2O1lCuyDOw+/PBDAMD//gc8eCC+9txzgL29HL2TtTDkCSmve/fuAFDgvjgDw2uGY4qTm5sLQLzHriiGZU4cDMvCE1kYawrll39gl391DkBbuSLLwG7Lli0ATIsSA0ARqyiQjTPkCSmvZ8+e8PLywrp164xP0QHiLNykSZNgb2+PYcOGGV+/desWEhISkJ6ebnytTp06eOaZZ3D16lUsW7aswPkzMjIwY8YMAEBISIi0PwzZLNYUys/b27Qv/cGDQL5ypalckWVgFxgYCKDgwO755+XomayJIU9Iefb29li2bBny8vLQtWtXfPDBBxg9ejQCAgJw9uxZTJgwocAWPGPGjIGvry/Cw8MLnGfevHmwt7fHiBEj0LNnT3zxxRcYMWIEfHx8cOrUKbz44ot44YUX5P7xyEawptDTDLN2ej3w+++m17WUK7IM7G7duoWsLHGEDABNm5oWCyQyuHXrltIhUD4hISGIiYlBcHAwNmzYgEWLFqFOnTpYs2YNxo4da9Y5+vbti8OHD2Pw4ME4d+4c5s2bh/Xr16NJkyaYN28ewsPDodPpJP5JyFaxptDTirscq6VckeUuN71ej6go4O9bbjhbR0XS6/VKh0BPCQoKwq7i9uDJZ+XKlVi5cmWR77Vr1w6//PKLhSMjKh1rCj2te3fA0RHIzgZ27xaXPdHptJUrsszYeXp68jIslUrtq3kTkXVhTaGnOTqKa9oBwM2bQEKC2NZSrsgysIuOjjYO7HQ68YlYoqdFR0crHQIRaQhrChWlZ09T27AEm5ZyRZYFis+dS4WfnwsAIDAQOHoj1fmrAAAN/ElEQVRU6h7JGj148AC1a9dWOgxSOS5QTOZiTaGi/O9/QNu2YnvgQCA8XFu5IsuM3bhxB4xtXoal4ixatEjpEIhIQ1hTqCgBAUCdOmI7MlJ8QlZLuSLLjN277wKrVont/ftN17eJiMqKM3ZEVFGvvw5s2iS2Y2O1tROW5DN2ggCEh2cAAKpVAzp1krpHslZa2tKFiJTHmkLFefo+Oy3liuQzdhcviqs9A+JuE3v2SNkbWbOMjAzOwFCxQkNDERoaCr1ej8TERM7YUalYU6g4SUmAYY313r2BjRu1kyuSz9gdMN1eh1K2liQbV9w6aEQAMHLkSMTHxyM2NlbpUMhKsKZQcby9AXd3sf3nn8BPP4UpG5AFST6wi4oytbt1k7o3sma9evVSOgQi0hDWFCqOTmcakzx8CDRsqJ2tDWUb2Dk4iEudEBUnwbBSJBGRBbCmUEm6djW1d+58qFwgFibpwO7aNeDyZbHdsaM4uCMqjpOTk9IhEJGGsKZQSfJfRUxKclUuEAuTdGDHy7BUFlpZHJKI1IE1hUri5wcYUuTs2drIy1M2HkuRbWDHByeoNKdOnVI6BCLSENYUKkmlSqbLsenplXHunDz93rhxA0ePHsWOHTsQFhaG9evXW/T89hY921MMAzt7ewEdO+qk7Io0oF+/fkqHQEQawppCpenWDdi2TWxHRQH+/tL2l5eXBx8fH2RlZRlfCwkJwZAhQyzWh2Qzdo8fA76+4rYdDRrcAG91oNIsX75c6RCISENYU6g0htvEXF3voGpV6furVKkSMjMzcf36dXj/vchvly5dLNqH5AsU5+UB9+8D9epJ2QsR2QpuKUZElqLXA+nppnvt5CIIAurWrYsHDx5g9+7d6NOnj8XOLflyJ5UqAUuWaGerDpKOlrZ0ISLlsaZQaezsxEGd3LkSHx+PBw8eoFKlSujYsaNFzy35jB0A5OTkwIFrnVApmCdkDs7YkblYU8hccufK4sWL8fHHH6NVq1Y4efKkRc8t+YwdAMyfP1+ObsjKMU+IyJJYU8hccudKdHQ0AMvfXwfINLB77bXX5OiGrBzzhIgsiTWFzCV3rhgGdsHBwRY/tyyXYomILIWXYonIml2+fBleXl4AgCtXrsDDw8Oi55dlxo6IyFJq1KiB9PR01KhRQ+lQiIjKLOrvRX4bNmyIJk2aYNWqVQgJCUFgYCAaNWqEPn36VGhxbUkXKCYisjSdTseZOiKyWobLsO3bt8err76Kli1bYuvWrahZsyYePHgAX19f9OrVCwkJCeXaFo8zdkREREQyMczY7dmzBy+//DL++9//ombNmgDE/Y27d++Oe/fuYevWreU6Pwd2RERERDK4c+cOkpKSAAAffvghhg0bVuiY3NxcAMDdu3fL1QcHdkREREQyMFyGrVu3brGLIl+5cgUA4ObmVq4+OLAjIiIikoHhMmxISAiqV69e6P20tDScPn0aABAUFFSuPjiwIyIiIpKBYcaue/fuRb6/d+9e5OXlwd3dHX5+fuXqgwM7IiIiIomlp6cblzHp0aNHkcds3LgRAPDKK6+Uux8O7IiIiIgkdvDgQeTl5aFu3bpFzsZlZmZi586dAIDBgwcbX8/JySlTPxzYEREREUnMcH9dt27doNPpCr2/efNmZGVloUmTJujatSsA4PTp0xg0aFCZ+uHAjoiIiEhihvvrirsMa1i3bsiQIcaB38aNG/HSSy+VqR/uPEFEREQkoezsbMTFxQEo/sGJixcvAgAGDBgAQNwXe+PGjcbPmatcAztBEJCZmVmejxIRERFZtRo1ahR5ObU4R48eRW5uLmrXro2WLVsWeUzXrl1x5swZVK1aFY8ePcLw4cMxceJEODk5lSm2cg3sMjMzjdtfEBEREdmS9PT0Mu1Z7eTkBGdnZ3zzzTfFDginTZuG9PR0vPbaa6hfvz4+/fTTAg9RmEsnCIJQ1g+VZcYuIyMDjRs3xrVr12TZuDswMBCxsbGS92ML/cnZl9x5AvDPzlr703quaPnPTs7+tJ4nWu9P7TWlrDN2cirXjJ1OpyvzL4qzs7Msv1x2dnay/RJrvT+5fzZAvjwB+Gdnzf0B2s0Vrf/Zyd2fVvNE6/1pvaZISXNPxY4cOZL9WWFfSuCfnfX2Jzf+2Vlvf3LS+v9LLf8eaEm5LsWWRUZGBmrWrFnm69FkW5gnZC7mCpmDeULm0lqu2E2YMGGC5J3Y2aFHjx6wt+fqKlQ85gmZi7lC5mCekLm0lCuSz9gRERERkTw0d48dERERka3iwI6IiIhIIziwIyIiItIIDuyIiIiINIIDOyIiIiKNkHxg99tvv+Hf//43unTpAicnJ+h0OsiwwgqpTFJSEgYPHox69erB0dERrVq1wsKFC5GXl2f2OSIjI6HT6Yr9Onz4sIQ/ASktNjYW/fv3h4uLC5ycnBAUFIR169YpHRbJqKI5sHLlyhJryO3btyWMntRkzZo1+PDDD9G+fXs4ODhAp9Nh5cqVSodlEZIv2DJ79mwcOHAAzs7OcHd3x4ULF6TuklQmPj4enTt3RlZWFgYPHoyGDRti165d+Pe//41Tp07hxx9/LNP5unfvjh49ehR6vVGjRhaKmNQmMjISffr0QZUqVfDGG2+gZs2a2LJlC4YOHYorV67g66+/VjpEkpglc+Dll19G69atC71evXp1S4ZMKvbNN98gOTkZdevWRYMGDZCcnKx0SJYjSCwqKkpITEwU8vLyhPXr1wsAhPHjx0vdLalIt27dBADCjh07jK/l5uYKPXv2FAAI+/btM+s8+/fvZ/7YoMePHwvNmjUTHBwchOPHjxtfz8jIEPz9/QV7e3shMTFRwQhJapbKgRUrVggAhBUrVkgYLVmDiIgI4cqVK4IgCMLUqVM1lReSX4rt2rUrmjdvDp1OJ3VXpEKJiYmIiopCSEgI+vfvb3y9cuXK+O677wAAS5cuVSo8sgL79u3DxYsX8eabb6JNmzbG12vUqIFx48bhyZMnWLFihYIRktSYA2RpvXr1goeHh9JhSML6984gVYuMjAQA9O7du9B7QUFBqFWrFg4cOFCmcyYlJWHBggXIysqCh4cHnn/+edStW9cS4ZIKlZRDhtfKmkNkXSydAydOnMCcOXPw5MkTNGvWDL1790aNGjUsEiuR0jiwI0klJSUBAJo3b17oPZ1OB29vb8TFxSErKwvVqlUz65zr1q0rcMO0o6MjJk6ciC+++MIyQZOqlJRDLi4uqFu3rvEY0iZL58D8+fMLfF+zZk0sXLgQb731VsUCJVIBLndCkkpPTwcgFs6iODs7FziuJPXq1cPMmTNx7tw5/PXXX7hx4wbWrFmD2rVr48svv8SSJUssFziphjk5ZE7+kPWyVA54eXlh0aJFuHDhArKysnDlyhWEhoaiUqVKeOedd7Br1y6Lxk2khArP2BW1dMmnn36KWrVqVfTUZCXkygF/f3/4+/sbv69WrRqGDh2KgIAAtGvXDuPHj8eIESNQqRL/vUJEhXXr1g3dunUzfu/h4YGPP/4Y3t7e6NOnD7799lv069dPwQiJKq7CA7uJEycWem3YsGEc2NmQknLA8C/s4v41nZGRAcA0c1cezz77LDp06IDo6GhcuHABPj4+5T4XqY85OVTcTA5pg9Q50Lt3bzRu3BjHjh1DTk4OHBwcyn0uIqVVeGpDEIRCX56enhYIjaxFSTlguCemqPtfBEHAhQsX4O7uDicnpwrFYHh4Iisrq0LnIfUpKYdSU1ORkpJS5L1XpB1y5EDdunUhCAKys7MrdB4ipfGaFUnKsJDw3r17C7139OhRpKWloXv37hXq48mTJzh+/Dh0Oh2aNGlSoXOR+hjyo6gcMrxW0RwidZM6BzIyMpCQkFDgKgORteLAjiTl4+ODbt26Yf/+/di5c6fx9cePH+Obb74BAIwYMaLAZ1JSUpCQkICUlJQCrx86dAiCIBR47cmTJ/jiiy+QnJyMPn36oHbt2hL9JKSUnj17wsvLC+vWrcOJEyeMr2dmZmLSpEmwt7fHsGHDlAuQJFfWHLh16xYSEhIKXbo9ePBgoXNnZ2djxIgRyM7OxhtvvME1V8nq6YSn/6a0sK1bt2Lr1q0AgMuXLyMqKgoBAQHG7VyCg4MxfPhwKUMghRm2FMvOzsbgwYPh7u6O3bt349SpUxg+fHihBYonTJiAiRMnYvz48QUezPD09IROp0Pnzp3RsGFDpKWlISoqCufPn0eTJk0QFRWl2QUnbd3+/fvRp08fODg4YMiQIXB2dsaWLVtw+fJlTJ48GWPHjlU6RJJYWXJg2LBhCAsLw4oVKwoM+HQ6Hfz8/NCuXTu4u7vj7t27+P3333Ht2jUEBARg//79cHFxUeCnI7ktW7YMMTExAIDTp0/j+PHj6NKlC7y9vQEAAwcOxMCBA5UMsfyk3tpi/PjxAoBiv959912pQyAVOH/+vDBo0CChTp06goODg+Dv7y8sWLBA0Ov1hY415MzTW4dNmzZN6NGjh+Du7i5UqVJFqFatmtCqVSth7NixwoMHD2T6SUgpR44cEfr27SvUrFlTcHR0FNq3by+sWbNG6bBIRubmwLvvvlvkFlGff/650LlzZ6F+/fpC5cqVherVqwuBgYHC9OnThaysLJl+ClIDQ44U92XNW1dKPmNHRERERPLgPXZEREREGsGBHREREZFGcGBHREREpBEc2BERERFpBAd2RERERBrBgR0RERGRRnBgR0RERKQRHNgRERERaQQHdkREREQawYEdERERkUZwYEdERESkERzYEREREWnE/wcBMz/uDBqtlwAAAABJRU5ErkJggg==\n", "text/plain": [ "Graphics object consisting of 1 graphics primitive" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "g = plot(f(x), (x, -1, 1), thickness=2, gridlines='major',\n", " axes_labels=[r'$h$', r'$L_{(p,q)}(\\mathscr{L}_h)/T$'],\n", " fontsize=14)\n", "g" ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [], "source": [ "g.save('geo_timelike_length_h.pdf')" ] }, { "cell_type": "code", "execution_count": null, "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "SageMath 9.1.beta8", "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.7.3" } }, "nbformat": 4, "nbformat_minor": 2 }