{ "cells": [ { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": true }, "outputs": [], "source": [ "# HIDDEN\n", "from datascience import *\n", "%matplotlib inline\n", "\n", "import matplotlib.pyplot as plots\n", "from mpl_toolkits.mplot3d import Axes3D\n", "plots.style.use('fivethirtyeight')\n", "import pylab as pl\n", "import math\n", "from scipy import stats\n", "from scipy import misc\n", "import pandas as pd\n", "import statsmodels.api as sm\n", "import numpy as np" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "##Binomial and Multinomial Models\n", "In the past few sections we have spent some time on inference in the setting of the classical regression model. But in fact we have used chance models all along. An important class of models appeared, albeit informally, when we studied the randomness in the selection of jury panels, back in Chapter 3. Let us examine those a little more carefully, to exactly how the chances come in.\n", "\n", "For ease of reference, here is one of the examples from Chapter 3." ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "###U.S. Supreme Court, 1965: Swain vs. Alabama\n", "\n", "In the early 1960's, in Talladega County in Alabama, a black man called Robert Swain was convicted of raping a white woman and was sentenced to death. He appealed his sentence, citing among other factors the all-white jury. At the time, only men aged 21 or older were allowed to serve on juries in Talladega County. In the county, 26% of the eligible jurors were black, but there were only 8 black men among the 100 selected for the jury panel in Swain's trial. No black man was selected for the trial jury.\n", "\n", "In 1965, the Supreme Court of the United States denied Swain's appeal. In its ruling, the Court wrote \"... the overall percentage disparity has been small and reflects no studied attempt to include or exclude a specified number of Negroes.\"\n", "\n", "Let us use the methods we have developed to examine the disparity between 8 out of 100 and 26 out of 100 black men in a panel drawn at random from among the eligible jurors." ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/html": [ "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
Race Eligible
Black 0.26
Other 0.74
" ], "text/plain": [ "Race | Eligible\n", "Black | 0.26\n", "Other | 0.74" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "AL_jury_rows = [\n", " [\"Black\", 0.26],\n", " [\"Other\", 0.74]\n", "]\n", "AL_jury = Table.from_rows(AL_jury_rows, [\"Race\", \"Eligible\"])\n", "AL_jury" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "**Null:** Jury panel is like a random sample from the population of eligible jurors; that is, like the number of heads in 100 tosses of a coin that lands heads with chance 0.26.\n", "\n", "**Alternative:** Jury panel is not like a random sample from the population of eligible jurors." ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAbMAAAE3CAYAAAAgzK9JAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XlcFVX/B/DPFQQURa7sq6mQiKIkiuKS4JK5pZjkliuu\nQE9kKGhGufRguKSpiKmYlKiYS2hqbjwFCqJp+mQIZA9uLJcQRDFAgd8f/u7k5V64l00c+bxfL18v\nZ+acmTNnhvneOXPmjCQ/P78cREREItakoQtARERUWwxmREQkegxmREQkegxmREQkegxmREQkegxm\nREQkegxm9EIbPnw4pFJptfM5OTmhS5cu9VCiykmlUowYMeK5bCskJARSqRTx8fHPZXsVxcXFQSqV\nYuXKlQrz5cfr9u3bDVIuALh58yakUil8fHwarAz0/DGYNSJSqVTtv7NnzzZ0MRVIJBJIJJLnlq+2\nqrPNinVvamqK9u3bo2/fvpg3bx6OHDmCJ0+eVLqd2uzjvHnz6iQYqtp+fde7PFip++HQEMefGo52\nQxeAni+JRILAwMBKl9vY2DzH0qgXHh6OoqKiaueLiYmph9LUvWePR2lpKQoKCpCamorvv/8ee/bs\ngb29Pb766is4Ozsr5Js9ezbGjh0LKyurWm+/Jrp3744LFy7AyMhIaVl5ef2OwyAvc2Vlt7KywoUL\nF2BgYFCv5aAXC4NZI1RVMHvRWFtb1yjfK6+8UrcFqUeqjkd+fj5WrFiB7du3Y/To0Th9+jTat28v\nLG/dujVat25d623XNPA0a9YMdnZ2td5+Tagrs7a2doOVjRoOmxmpUrt27RKei1y+fBlvv/02bG1t\n8corr2Dq1KnIyMgAAKSlpWHKlClo164dLCwsMHLkSFy7dk1pfc82bX377bfo27cvLCws8Oqrr+Jf\n//oXcnJylPKoemYmf17j4+ODtLQ0TJ06Fe3bt0fr1q3x22+/Aaj6mdnBgwcxevRotG3bFmZmZnBy\ncsK0adOQmJgopCkoKMCXX36JkSNHwtHREaamprCzs8P48eORlJRU4zrVlKGhIVavXg0vLy/cv38f\nn3zyicJy+TOzis3C586dw/jx49GpUyeYmZnB3t4eHh4eWLJkiZDGyckJe/bsAQCMHDlSoalT7tlj\ntWfPHnh4eMDS0hL9+vUDUPkzM+DpHVNpaSk2bNiA7t27w9zcHJ07d8aSJUvw8OFDpfRVNRlW3M9d\nu3YJd6nx8fEKZZeXpapnZjKZDAsXLkTXrl1hZmaGdu3aYdy4cTh37pxS2mfPs5s3b2LGjBlo164d\nzM3N4eHhgR9//FFlmalh8M6M1Lp8+TK+/PJL9O/fH9OmTcOFCxcQExOD33//HV9//TWGDh0KZ2dn\nvPvuu7h+/TpOnjyJ0aNH49dff4W+vr7S+jZt2oSffvoJY8aMwZAhQ3D27Fl88803iIuLw5kzZ5SC\nV2XNSf/73/8waNAgODg4YMKECXjw4AGaN29eab7y8nL4+Phgz549MDIywogRI2Bqaoq7d+/i3Llz\niImJQa9evQAAKSkpWLFiBfr06YM333wThoaGuH37No4dO4ZTp05h9+7dGDx4cG2rVq3Fixdj3759\n+PHHH/HgwQO0bNmy0rSnTp3CO++8AwMDAwwdOhRWVlbIz8/HH3/8ga+++grLli1DkyZN4OPjg6io\nKPz222+YOHEibG1tK13nhg0b8PPPP2PYsGHw8PBASUmJwnJVx6a8vBxBQUE4f/48xowZAwMDA5w4\ncQKbNm1CYmIijh49Ch0dHbXrUaVLly6YO3cuwsPDYWtri4kTJwrL+vbtW+U6b926haFDhyIjIwN9\n+/bF2LFjkZmZiUOHDuHUqVPYsGGDwvrkbt++jUGDBqFt27aYMGEC7t27h4MHD2LixIk4dOiQEOCp\nYTGYNTLl5eVYuXKlyqYaiUSCoKAgpfknTpxAZGQkRo4cKcwbO3YsTp8+jaFDhyIwMBC+vr7CMn9/\nf+zcuRPffPMN5s6dq7S+M2fO4NSpU3BychLmLVy4EFu3bsWyZcvwxRdfaLQviYmJ+PDDDxXuOqqy\nc+dO7NmzB6+99hoOHjyIVq1aCcvKy8uRlZUlTHfo0AEpKSlKgTUjIwMDBw7ERx999FyC2SuvvAJL\nS0tkZmbi119/rfLCuXPnTpSXl+PIkSPo3LmzwrL8/Hw0afK0IWbevHm4evWqEMz69OlT6TrPnj2L\nkydPKq1PnYsXLyI+Pl54pvfxxx9j8uTJOHr0KDZt2oQPPvigWuuTc3Jywrx584RgVp0m8/nz5yMj\nIwOLFi3CwoULhfl+fn4YNGgQ5s+fD3d3d1haWirki4+PV8rj5eWFt99+Gxs2bGAwe0GwmbER+vzz\nzxEaGqrynyp9+/ZVCGTA0z9mADA2NlYIZADwzjvvAIDQ5FfRuHHjFAIZ8PQOpHnz5ti3b1+lPfgq\nMjMzq9bF7KuvvoJEIsHatWsVAhnwNJBbWFgI0wYGBipfCbC0tMTIkSORlpaGu3fvarzt2rCwsEB5\neTnu3bunUXo9PT2leYaGhjXa9tSpU6sdyABg7ty5Cp1TmjRpgqVLl0IikeDbb7+tUVnkavKcLyMj\nA6dPn4aVlRXmz5+vsMzR0REzZsxAcXEx9u7dq5TX1tYWCxYsUJg3YMAAWFlZ4dKlS9UuC9UPBrNG\nRiKRIC8vT+W/yi6Wqp49mZmZAQA6deqktMzc3BwAhGdqFam6EzA0NISjoyMKCwuRlpam0b507twZ\nTZs21ShtYWEhkpOT0bp1a6WegZVJTEzEtGnThOdP8mczW7duBQBkZmZqtJ7a0vTiLf8RMXDgQPj7\n++O7777DzZs3a7VtFxeXGuVTdYzt7OxgYmKC//3vfygsLKxVuarrypUrAIBevXpBW1u5Qcrd3R0A\ncPXqVaVlTk5OKptBra2tkZ+fX7cFpRpjMyOppaqLs5aWltpljx8/Vrk+U1NTlfNNTEwAAA8ePNCo\nXJWtR5X79+8DgMLdV1UOHz6MqVOnonnz5nB3d0fbtm3RvHlzNGnSBHFxcTh79iyKi4s13n5tyJs/\n5fVTmZEjRyI6OhqbNm3C7t27sXPnTgBAx44dERQUhLfeeqva265OHWuSz8TEBDk5OXjw4IHK56n1\npaCgoMpyyefLz5NnVbyLl9PS0kJZWVkdlZBqi8GMnjuZTKZyvrw3o6bvB1XnHSn5BUnTu6l///vf\n0NPTQ2xsLOzt7RWWZWZmPreXy2/cuIGMjAw0bdpUozvKwYMHY/DgwSguLsYvv/yCU6dOYdu2bZg2\nbRoOHz5c5fMxVWr6HppMJlN4lUBOfowrdmSprGlZVXCpCfk5Vdm5l52drZCOxIfNjPTcqRp1Ij8/\nH7///jv09fWVgkdd0NfXR8eOHZGbm4vLly+rTf/nn3+iQ4cOSmUpKytT6MJf3z7//HMAwLBhwxR6\naqqjq6uL3r17Izg4GMuXL0d5eTl++OEHYbn87rm0tLRuC/z/VB3jtLQ0yGQytGvXTuGuzNDQsNLn\nj6qOVU3K3rVrVwBPm45VtRj89NNPAKBxEzS9eBjM6Lnbu3ev0rOJzz77DI8ePYKXl5dwsapr8p6V\n8+fPV/rFX7E3Y5s2bXDjxg2FeeXl5QgJCUFKSkq9D5WUn5+PDz/8EPv27UPr1q3x6aefqs0THx+v\n8gIv34dng6H8hev6GkMxPDwcd+7cEaZLS0uFd+UmTZqkkLZHjx64ffs2Tp48qTB/586dSEpKUqpr\neWeW6nTAsbS0xMCBA3H37l2sX79eYVlycjIiIiKgp6cnPHck8WEzYyNTVdd84GkzVffu3eu1DIMG\nDcKbb74JT09PmJqa4ty5c0hKSkLbtm0RHBysssx1YcqUKUhISMCePXvQrVs3DB8+HMbGxsjKysLZ\ns2cxbNgwhISEAAB8fHzwwQcf4PXXX8fIkSOhra2N8+fPIzU1FW+++SaOHz9eJ2V69niUlZWhoKAA\naWlpSEhIQFFRERwcHLBlyxaNRjQJCgpCRkYGevXqBRsbG+jp6eHatWs4c+YMjIyMMG3aNCHtgAED\nsGHDBixbtgy///67ECAq9tqrqZ49e6Jfv37w9PREy5YtcfLkSSQnJ8PFxQV+fn4Kad977z2cPn0a\n7777LkaPHg1jY2P8+uuvuHLlCoYMGaL0cnKLFi3Qs2dPnD9/HuPHj0eXLl3QtGlT9OnTB7179660\nTGvXrsWbb76Jzz77DD///DO6d++OrKwsHDp0CCUlJVi3bp1St3x16nvoLtKcRsFs27Zt+PLLLyGT\nyeDg4ICQkBC4ubmpTFtcXAx/f39cvXoVqamp6NmzJ44cOaKULj4+Hh999BFSUlJgbm6O999/H9On\nT6/d3pBaEolEaLpStUwqlQrBrL4G6/X19cWwYcMQHh6OGzduoGXLlpg8eTKCg4NVvjBd04GGVdm8\neTMGDhyIr7/+Gt9//z2Ki4thamqK7t27Y8yYMUK6adOmQUdHB5s3b8aePXvQrFkzuLm5YfPmzfj+\n++/rbPSHZ49H06ZN0bJlS1haWsLT0xPDhw/Hm2++qfJOVVW9BAQE4IcffsDly5cRFxcH4Ok4hT4+\nPvDx8VG4ULu7u2PlypX4+uuvsX37dhQXF0MikQjBrLYDPIeEhCAmJgaRkZG4desWTExM4Ovri0WL\nFin1QO3Xrx92796N0NBQxMTECE2kp06dwqFDh3DixAml7YSHh2PJkiVISEjAyZMnUV5ejsDAwCqD\nma2tLf7zn/9g9erVOH78OBITE9GiRQv069cP//rXv2r0PJGDGb84JPn5+VX+tDhw4ADmzJmDNWvW\nwM3NDVu3bkVUVBQSExNVjpv36NEjLFmyBM7Ozvjxxx9RUFCAw4cPK6RJT09H7969MXnyZMycORMJ\nCQn48MMPsX379hr1uCJxmDdvHvbs2YMjR45U+8JBRFQVtc/MNm3ahEmTJmHKlCmwt7dHaGgozMzM\nEBERoTJ98+bNsXbtWkyZMgWWlpYqb8N37NgBS0tLfP7557C3t8eUKVMwYcIEbNy4sfZ7REREjU6V\nwaykpARXrlyBh4eHwvwBAwbg/PnzNd5oUlKSynVevny53npXERHRy6vKYJabm4vS0lKlFw2NjY0r\nfV9DEzk5OUrrNDExwZMnT5Cbm1vj9dKLjc8YiKi+sGs+PTdhYWG4d+8en5cRUZ2rMpgZGRlBS0tL\n6S4sJydHGJuvJkxNTVWuU1tbW+WXa4mIiKpSZTDT0dGBs7MzYmNjFebHxsaiZ8+eNd6oq6urynV2\n69at3l6YJSKil5faZkZfX19ERUUhMjISKSkpCAwMhEwmE94JW7p0KUaNGqWQ5/r167h69Spyc3NR\nWFiI//73vwojPkyfPh2ZmZlYtGgRUlJSEBkZid27dyu9TEnVp+mI81W5lpqHcT6nMc7nNK6l5tVB\nqV5MdVFXjQXrSnOsq4ah9qVpT09P3Lt3D6tXr0Z2djYcHR0RHR0tvGOWnZ2N9PR0hTzvvPOOMEyO\nRCLB66+/DolEInxipE2bNoiOjsbixYsREREBCwsLhIaGKn0zi4iISBMajQDi7e0Nb29vlcvCwsKU\n5qn6JlBFffr0EQb3JCIiqg32ZiQiItFjMCMiItFjMCMiItFjMCMiItHj98wIsty/kZNbJEwXl3B8\nTCISFwYzQk5uEZatuyRM+3t3bsDSEBFVH5sZiYhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjM\niIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI\n9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjMiIhI9BjM\niIhI9BjMiIhI9BjMiIhI9LQbugAkbrLcv5GTWyRMmxjpwdSoWQOWiIgaIwYzqpWc3CIsW3dJmA72\n78ZgRkTPHZsZiYhI9BjMiIhI9DQKZtu2bUOXLl1gbm4Od3d3JCQkVJn+2rVrGDZsGCwsLODo6IjQ\n0FClNHv27EGfPn1gaWmJDh06YPbs2ZDJZDXbCyIiatTUBrMDBw5g0aJFCAgIQFxcHFxdXeHl5YU7\nd+6oTF9QUABPT0+Ym5sjNjYWISEh2LBhAzZu3CikiY+Ph4+PD959910kJiZi165dSE1NxaxZs+pu\nz4iIqNFQG8w2bdqESZMmYcqUKbC3t0doaCjMzMwQERGhMv2+fftQVFSEzZs3w8HBAaNGjcL777+P\nsLAwIc3ly5dhZWWFefPmwdbWFt27d8fMmTPxyy+/1N2eERFRo1FlMCspKcGVK1fg4eGhMH/AgAE4\nf/68yjxJSUlwc3ODrq6uQvrMzEzcunULAODu7o7c3FwcP34c5eXlyM3NxYEDB/DGG2/Udn+IiKgR\nqjKY5ebmorS0FKampgrzjY2NK32+JZPJlNKbmJgIywDAyckJW7ZswcyZM2Fqago7OzsAULh7IyIi\n0lSd92aUSCRq01y4cAG+vr4IDAzETz/9hP379yM7Oxv+/v51XRwiImoEqnxp2sjICFpaWkp3YTk5\nOTAzM1OZx9TUVGV6+TLg6R1Y//798d577wEAHB0d0bx5cwwdOhSffPIJLCwsVK47LS1Ng12i6tbT\nw4d6KCwsFKaflD4RpsvLnuD8pdvCstatmgJlDyrN+/DhQ6Sl/VXToj93PKc0x7rSHOtKPXt7+zpd\nX5XBTEdHB87OzoiNjcWoUaOE+bGxsRg9erTKPK6urvj0009RXFwsPDeLjY2FpaUlbG1tAQDl5eVo\n0kTxplA+XVZWVml56nrnX0ZpaWnVrqdrqXnQ19cXprW1tIXpB4VlWLc9VVgW7N8NnV41rzRvixYt\nYG9vU9PiP1c1qavGinWlOdZVw1DbzOjr64uoqChERkYiJSUFgYGBkMlkmD59OgBg6dKlCoFu7Nix\naNasGXx8fJCcnIyYmBisX78ePj4+Qprhw4fj6NGjiIiIQHp6OhITExEYGAhnZ2dYWVnVw24SEdHL\nTO3YjJ6enrh37x5Wr16N7OxsODo6Ijo6GtbW1gCA7OxspKenC+kNDAxw8OBBBAQEwMPDA1KpFH5+\nfvD19RXSeHl5oaCgAFu3bsWSJUvQqlUr9OvXD0uXLq37PSQiopeeRgMNe3t7w9vbW+UyVT0QHR0d\ncfTo0Rqvk+pXxZHui0tKG7A0RES1x1HzG6GKI937e3duwNIQEdUeBxomIiLRYzAjIiLRYzAjIiLR\nYzAjIiLRYzAjIiLRYzAjIiLRYzAjIiLRYzAjIiLR40vTVC3aWhJcS80Tpjl6CBG9CBjMqFru5Rdj\n3fbfhGmOHkJELwI2MxIRkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBER\nkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegx\nmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkehpFMy2\nbduGLl26wNzcHO7u7khISKgy/bVr1zBs2DBYWFjA0dERoaGhSmlKSkrw2WefoWvXrjAzM0Pnzp2x\nZcuWmu0FERE1atrqEhw4cACLFi3CmjVr4Obmhq1bt8LLywuJiYmwtrZWSl9QUABPT0/07dsXsbGx\nSElJgZ+fH5o3bw4/Pz8h3YwZM5CVlYUvv/wS7dq1Q05ODh49elS3e0dERI2C2mC2adMmTJo0CVOm\nTAEAhIaG4vTp04iIiEBwcLBS+n379qGoqAibN2+Grq4uHBwckJaWhrCwMCGYnTlzBj///DOuXLkC\nqVQKALCxsanL/SIiokakymbGkpISXLlyBR4eHgrzBwwYgPPnz6vMk5SUBDc3N+jq6iqkz8zMxK1b\ntwAAP/zwA7p164YNGzagU6dOcHFxQWBgIAoLC2u7P0RE1AhVeWeWm5uL0tJSmJqaKsw3NjaGTCZT\nmUcmkyk1P5qYmAjLbG1tkZ6ejsTEROjq6uKbb75Bfn4+Fi5ciKysLOzcubM2+0NERI2Q2mbG6pJI\nJGrTlJWVoUmTJti2bRtatmwJAFi1ahXGjBmDv/76C8bGxirzpaWl1WlZX1bq6unhQz2Fu+AnpU8q\nna5qmarphw8fIi3tr1rvw/PCc0pzrCvNsa7Us7e3r9P1VRnMjIyMoKWlpXQXlpOTAzMzM5V5TE1N\nVaaXLwMAMzMzmJubC4EM+GfH7ty5U2kwq+udfxmlpaWpradrqXnQ19cXprW1tCudrmqZqukWLVrA\n3l4czz81qSt6inWlOdZVw6jymZmOjg6cnZ0RGxurMD82NhY9e/ZUmcfV1RUJCQkoLi5WSG9paQlb\nW1sAgJubG7KyshR+0d+4cQMAO4IQEVH1qX3PzNfXF1FRUYiMjERKSgoCAwMhk8kwffp0AMDSpUsx\natQoIf3YsWPRrFkz+Pj4IDk5GTExMVi/fj18fHwU0rRu3Rq+vr64fv06EhMTERQUhNGjR8PIyKge\ndpOIiF5map+ZeXp64t69e1i9ejWys7Ph6OiI6OhooZNHdnY20tPThfQGBgY4ePAgAgIC4OHhAalU\nCj8/P/j6+gpp9PX1cejQISxcuBADBgyAoaEhhg8fjk8//bTOd5CIiF5+GnUA8fb2hre3t8plYWFh\nSvMcHR1x9OjRKtdpZ2eHAwcOaLJ5EhFtLQmupeYBAEyM9GBq1KyBS0REjUGd92akxu1efjHWbf8N\nABDs343BjIieCw40TEREosdgRkREosdgRkREosdnZo2ALPdv5OQWCdPFJaUNWBoiorrHYNYI5OQW\nYdm6S8K0v3fnBiwNEVHdYzMjERGJHoMZERGJHoMZERGJHp+ZvaSe7fTBDh9E9LJjMHtJPdvpgx0+\niOhlx2ZGIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiIS\nPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPQYzIiISPX5pmp4bWe7f\nyMktEqZNjPRgatSsAUtERC8LBjN6bnJyi7Bs3SVhOti/G4MZEdUJNjMSEZHoMZgREZHoMZgREZHo\n8ZnZS0LeueLhQz1cS81DcUlpQxeJiOi5YTB7Scg7VxQWFkJfXx/+3p0bukhERM8NmxmJiEj0GMyI\niEj0NApm27ZtQ5cuXWBubg53d3ckJCRUmf7atWsYNmwYLCws4OjoiNDQ0ErTJiQkwMjICL17965e\nyUn0tLUkuJaaJ/yT5f7d0EUiIpFS+8zswIEDWLRoEdasWQM3Nzds3boVXl5eSExMhLW1tVL6goIC\neHp6om/fvoiNjUVKSgr8/PzQvHlz+Pn5KaTNz8/H3Llz4e7ujszMzLrbKxKFe/nFWLf9N2GaL1ET\nUU2pvTPbtGkTJk2ahClTpsDe3h6hoaEwMzNDRESEyvT79u1DUVERNm/eDAcHB4waNQrvv/8+wsLC\nlNL6+flh0qRJ6NGjR+33hIiIGq0qg1lJSQmuXLkCDw8PhfkDBgzA+fPnVeZJSkqCm5sbdHV1FdJn\nZmbi1q1bwrxt27YhNzcXCxYsQHl5eW32gYiIGrkqg1lubi5KS0thamqqMN/Y2BgymUxlHplMppTe\nxMREWAY8faYWGhqKLVu2QCKR1LjwREREQD28Z6YuOBUXF2PGjBlYvnw5bG1tq7XutLS02hTtpfbw\noR4KCwsBAIWFhXhS+kSYfvb/1Z2uTd6HDx8iLe0vlWVUlbdi+ueB55TmWFeaY12pZ29vX6frqzKY\nGRkZQUtLS+kuLCcnB2ZmZirzmJqaqkwvX5aVlYXU1FT4+vrC19cXAFBWVoby8nIYGxvju+++g7u7\nu8p11/XOv0yupeZBX19feGlaW0sb+vr6AKDw/+pO1yZvixYtYG9vo1TGyvJWTF/f0tLSeE5piHWl\nOdZVw6iymVFHRwfOzs6IjY1VmB8bG4uePXuqzOPq6oqEhAQUFxcrpLe0tIStrS2srKyQkJCA+Ph4\n4d+MGTPQrl07xMfHszMIERFVm9rejL6+voiKikJkZCRSUlIQGBgImUyG6dOnAwCWLl2KUaNGCenH\njh2LZs2awcfHB8nJyYiJicH69evh4+MDANDW1oaDg4PCPyMjI+jq6sLBwUHhlzoREZEm1D4z8/T0\nxL1797B69WpkZ2fD0dER0dHRwjtm2dnZSE9PF9IbGBjg4MGDCAgIgIeHB6RSKfz8/IQmRVXYCYSI\niGpDow4g3t7e8Pb2VrlM1ftjjo6OOHr0qMaFCAoKQlBQkMbpSRzkI3zIcSR/IqovHDWf6k3FET44\nkj8R1RcONExERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZE\nRKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLHL03TC0Nb\nS4JrqXnCtImRHkyNmjVgiYhILBjM6IVxL78Y67b/JkwH+3djMCMijbCZkYiIRI/BjIiIRI/BjIiI\nRI/BjIiIRI/BjIiIRI/BjIiIRI/BjIiIRI/BjIiIRI/BjIiIRI/BjIiIRI/BjIiIRI/BjIiIRI8D\nDYuELPdv5OQWCdMcUZ6I6B8MZiKRk1uEZesuCdMcUZ6I6B9sZiQiItFjMCMiItHTOJht27YNXbp0\ngbm5Odzd3ZGQkFBl+mvXrmHYsGGwsLCAo6MjQkNDFZbHxMTA09MTdnZ2sLGxwaBBg3Ds2LGa7QUR\nETVqGgWzAwcOYNGiRQgICEBcXBxcXV3h5eWFO3fuqExfUFAAT09PmJubIzY2FiEhIdiwYQM2btwo\npDl37hzc3d2xb98+xMXFYfDgwXj33XfVBkkiIqKKNOoAsmnTJkyaNAlTpkwBAISGhuL06dOIiIhA\ncHCwUvp9+/ahqKgImzdvhq6uLhwcHJCWloawsDD4+fkBAFauXKmQJzAwECdOnMAPP/wANze32u4X\nERE1ImpcFV0yAAAe9UlEQVTvzEpKSnDlyhV4eHgozB8wYADOnz+vMk9SUhLc3Nygq6urkD4zMxO3\nbt2qdFsPHjyAVCrVtOxEREQANAhmubm5KC0thampqcJ8Y2NjyGQylXlkMplSehMTE2GZKlu3bkVW\nVhbGjRunUcGJiIjk6uU9M4lEUq3033//PT755BPs2LED1tbW9VEkIiJ6iakNZkZGRtDS0lK6o8rJ\nyYGZmZnKPKampirTy5c96/vvv8e8efMQHh6OIUOGVFmWtLQ0dcV9aT18qIfCwkJhurzsCc5fuv1M\nCm1heWFhIZ6UPhGmn/1/dacbKu/TfX6ItLS/1FVNrTTmc6q6WFeaY12pZ29vX6frUxvMdHR04Ozs\njNjYWIwaNUqYHxsbi9GjR6vM4+rqik8//RTFxcXCc7PY2FhYWlrC1tZWSHfw4EH4+PggPDwcb731\nltrC1vXOi8m11Dzo6+sL0w8Ky7Bue6ow7e/dGfr6+igsLIS+vj60tbSF9M/+v7rTDZUXAFq0aAF7\nexuN6qcm0tLSGvU5VR2sK82xrhqGRl3zfX19ERUVhcjISKSkpCAwMBAymQzTp08HACxdulQh0I0d\nOxbNmjWDj48PkpOTERMTg/Xr18PHx0dIs3//fsyaNQuffvopevXqhezsbGRnZyMvL6+Od5GIiF52\nGj0z8/T0xL1797B69WpkZ2fD0dER0dHRwvOt7OxspKenC+kNDAxw8OBBBAQEwMPDA1KpFH5+fvD1\n9RXS7NixA2VlZQgKCkJQUJAwv2/fvjh8+HAd7R4RETUGGncA8fb2hre3t8plYWFhSvMcHR1x9OjR\nStd35MgRTTdNRERUJY7NSEREosdgRkREosdgRkREosdgRkREosdgRkREolcvw1kR1TVZ7t/IyS0S\npk2M9GBq1KwBS0RELxIGMxKFnNwiLFt3SZgO9u/GYEZEAjYzEhGR6DGYERGR6DGYERGR6DGYERGR\n6DGYERGR6DGYERGR6DGYERGR6PE9sxfYsy8KF5eUNnBpiIheXAxmL7BnXxT29+7cwKUhInpxsZmR\niIhEj8GMiIhEj8GMiIhEj8/M6IWlrSXBtdQ8AOwAQ0RVYzCjF9a9/GKs2/4bAHaAIaKqsZmRiIhE\nj8GMiIhEj8GMiIhEj8/MXiDPjvgBsNMDEZGmGMxeIM+O+AGw0wMRkabYzEhERKLHYEZERKLHZkZ6\nKVR83mhipAdTo2YNWCIiep4YzOilUPF5Y7B/NwYzokaEzYxERCR6DGZERCR6DGZERCR6fGZGLz12\nDiF6+TGY0UuPnUOIXn5sZiQiItFjMCMiItHTKJht27YNXbp0gbm5Odzd3ZGQkFBl+mvXrmHYsGGw\nsLCAo6MjQkNDldLEx8ejf//+MDc3h7OzM3bs2FGzPSAiokZPbTA7cOAAFi1ahICAAMTFxcHV1RVe\nXl64c+eOyvQFBQXw9PSEubk5YmNjERISgg0bNmDjxo1CmvT0dLzzzjvo1asX4uLiMH/+fCxcuBAx\nMTF1t2f0UtPWkuBaap7wrzpfGJDnvfdAD9dS8yDL/bseS0pEz4PaDiCbNm3CpEmTMGXKFABAaGgo\nTp8+jYiICAQHByul37dvH4qKirB582bo6urCwcEBaWlpCAsLg5+fHwBgx44dsLS0xOeffw4AsLe3\nx8WLF7Fx40a89dZbdbl/9JK6l1+Mddt/E6ar84UBed7CwkLo6+uzQwjRS6DKO7OSkhJcuXIFHh4e\nCvMHDBiA8+fPq8yTlJQENzc36OrqKqTPzMzErVu3hDSq1nn58mWUlvIbXkREVD1VBrPc3FyUlpbC\n1NRUYb6xsTFkMpnKPDKZTCm9iYmJsAwAcnJyVKZ58uQJcnNzq7cHRETU6NX5e2YSiaSuV9lodHpV\nir1hAxXmubmYqfx/dafFmLe265JTV6+knr29fUMXQTRYVw2jyjszIyMjaGlpKd2F5eTkwMxM9cXA\n1NRUZXr5sqrSaGtrw8jIqHp7QEREjV6VwUxHRwfOzs6IjY1VmB8bG4uePXuqzOPq6oqEhAQUFxcr\npLe0tIStra2QRtU6u3XrBi0trRrtCBERNV5qu+b7+voiKioKkZGRSElJQWBgIGQyGaZPnw4AWLp0\nKUaNGiWkHzt2LJo1awYfHx8kJycjJiYG69evh4+Pj5Bm+vTpyMzMxKJFi5CSkoLIyEjs3r1b6O1I\nRERUHWqfmXl6euLevXtYvXo1srOz4ejoiOjoaFhbWwMAsrOzkZ6eLqQ3MDDAwYMHERAQAA8PD0il\nUvj5+cHX11dI06ZNG0RHR2Px4sWIiIiAhYUFQkNDMXLkyLrfQyIieulJ8vPzyxu6EERERLXxQo/N\nWN1htBqDtWvXwsPDA7a2trCzs8P48eORnJyslC4kJAQdO3aEhYUFRowYgevXrzdAaV8sa9euhVQq\nxYIFCxTms66eysrKwty5c2FnZwdzc3P06tULZ8+eVUjDugKePHmCZcuWoWvXrjA3N0fXrl2xYsUK\npXdkG2NdnT17FuPHj4ejoyOkUimioqKU0qirl+LiYixYsADt27eHlZUVJkyYgIyMDLXbfmGDWXWH\n0Woszp49i1mzZuHEiROIiYmBtrY2Ro8ejfz8fCHNunXrEBYWhtDQUJw5cwYmJibw9PTEw4cPG7Dk\nDevChQvYuXMnOnXqpPD6COvqqfz8fAwZMgQSiQT79u1DUlISQkNDhXdEAdaV3Jo1a7Bjxw6Ehobi\nwoULWLlyJbZv3461a9cKaRprXT169AidO3dGSEgImjVrpvSqlib1smjRIhw5cgQRERE4evQoHjx4\ngHHjxqGsrKzKbb+wzYwDBw6Ek5MT1q1bJ8xzcXHBqFGjVA6j1VgVFhbC1tYWUVFRGDJkCMrLy+Hg\n4IA5c+Zg/vz5AICioiLY29tj+fLlmDZtWsMWuAHcv38f7u7u2LBhA1auXCkMfs26+seyZcuQkJCA\nY8eOqVzOuvrHuHHjYGRkhLCwMGHe3LlzkZeXh71797Ku/p+1tTVWrVqFCRMmANDsHLp//z7s7e0R\nFhaGsWPHAgDu3r0LJycnfPfddxgwYECl23sh78xqMoxWY/XgwQOUlZXB0NAQAHDz5k3IZDKFg66n\np4fevXs32rrz9/fH6NGj0bdvX5SX//PbjXX1jx9++AHdunXD9OnTYW9vj379+mHr1q3CctbVPwYP\nHoyff/4ZaWlpAIDr168jPj4eQ4YMAcC6qowm9fLrr7/i8ePHCmmsrKzQoUMHtXX3Qn5puibDaDVW\nQUFB6NKlC1xdXQE87V0KQKF5CHhad1lZWc+9fA1t586dSE9Px7Zt2wAojlDDuvpHeno6tm/fDl9f\nX8yfPx9Xr15FYGAgAGDWrFmsq2fMnDkTGRkZcHV1hba2Np48eYKAgADMmDEDAM+rymhSLzKZDFpa\nWmjdurVCGhMTE2Hwjcq8kMGMNLN48WIkJSXh2LFjGg0j1tiGGktLS8Py5ctx/Phx4WX88vJyhbuz\nyjS2uiorK4OLiws+/vhjAICTkxP+/PNPbNu2DbNmzaoyb2Orq/DwcOzatQsRERFwcHDA1atXERQU\nBFtbW0yePLnKvI2trjRVF/XyQjYz1mQYrcZm0aJFOHjwIGJiYtCmTRthvrx+Kv6KUTW488suKSkJ\nubm56NWrF4yNjWFsbIxz585h+/btMDExEYZOY10B5ubm6NChg8I8e3t7ocMVz6t/rFmzBvPnz4en\npyc6duyIcePGwdfXF1988QUA1lVlNKkXU1NTlJaW4t69ewppVA1gX9ELGcxqMoxWYxIYGCgEMjs7\nO4Vlbdq0gZmZGc6cOSPMKyoqQmJiYqOruxEjRiAhIQHx8fGIj49HXFwcXnvtNYwdOxZxcXFo3749\n6+r/9erVC6mpqQrz/vjjD2EIOp5X/ygvL0eTJoqXziZNmgh3/Kwr1TSpF2dnZzRt2lQhzd27d5Ga\nmqq27rSCgoI+rZeS11LLli0REhICMzMz6OnpYdWqVUhMTMTGjRthYGDQ0MVrMAEBAdi7dy927NgB\nKysrFBYWorCwEBKJBDo6OpBIJCgtLcUXX3wBOzs7lJaW4qOPPoJMJsO6deugo6PT0Lvw3Ojp6Ql3\nZMbGxjAxMUF0dDRsbGwwceJE1tUzbGxs8Pnnn0NLSwvm5ub46aefsGLFCsyfPx/dunVjXT3jxo0b\niIqKgr29PbS1tREXF4cVK1bg7bffxoABAxp1XRUWFuL69evIzs7GN998A0dHR7Rs2RKPHz9Gq1at\n1NaLnp4esrKysG3bNnTu3Bn379/HBx98gFatWmHp0qVVNke+sF3zAWD79u1Yv369MIzWv//9b7i5\nuTV0sRqUVCqFRCJReu4TFBQkPLAHgJUrV+Lrr79Gfn4+unfvjtWrV8PBweF5F/eFM2LECKFrvhzr\n6qkTJ05g2bJl+OOPP2BjY4NZs2Zh9uzZCmlYV08v2CEhIYiJiREefYwdOxYLFy5UCFSNsa7i4uLw\n1ltvAYDCdWrixInYtGkTAPX1UlJSgiVLluC7775DUVER+vfvjzVr1sDS0rLKbb/QwYyIiEgTL+Qz\nMyIioupgMCMiItFjMCMiItFjMCMiItFjMCMiItFjMCMiItFjMCMiItFjMHuOdu3aBalUivT09Bd6\n+zdv3qz0K7F1QSqVYsWKFdXOFxISAqlUWg8lEod58+ahS5cuz327x44dQ+/evWFubg6pVIqCggKV\n6X7//Xf4+/ujf//+MDExqfJY3blzB1OmTIGtra0wQK+qD+/m5+fjvffeE746PHr0aPz+++8al/2X\nX36BlZWVMGL789RQx6suODk5wcfHR5iWXztu374N4OmQXv3791f43mRDYzCjStXnCN81WffUqVNx\n6tSpeiiNeDzvUdefPHmC2bNnw8rKCgcPHsSpU6fQokULlWmvXLmCU6dOwdbWVhgCS5VHjx7hrbfe\nwh9//IHw8HCEh4fjxo0bGDlyJB49eiSkKy8vx/jx4xEbG4tVq1YhMjISjx8/xsiRI5GRkaFR+Rcv\nXowZM2Y02ADlYh0lXyKRVD10lESCjz76CGvXrsVff/31HEtWOQazl0xxcXFDF6HeWFpawsXFpaGL\n0aA0+XxNXcrIyMDDhw8xatQouLm5wcXFRWmQXbnx48fjt99+wzfffIN+/fpVWtadO3fi5s2biIqK\nwrBhwzBs2DDs3r0bt2/fxo4dO4R0R48exfnz5xEeHo4xY8Zg4MCB2L17N8rKyrB+/Xq1ZU9ISEBS\nUhK8vb1rtvN1oK6O14v4d/3GG2/A0NAQ27dvb+iiAHjJg5m8WerPP//EO++8A2trazg5OSE0NFTh\nJKt4C10x/7PkTWRffvklOnfuDCsrK4wbNw5//fUXsrKyMHnyZNja2qJz586V/sFlZGRg4sSJsLa2\nRrt27bBgwQIUFRUppHn06BE++eQTdOnSBaampujatSvWrFmjUO64uDhIpVIcPnwY//rXv9C+fXu8\n+uqrautFk+1XdOnSJUyZMgWdOnWChYUFevTogeXLl6vMd/jwYQwZMgTW1tawtbXFwIEDcezYsUrX\n/ejRI4wbNw4ODg64du1apemqOh7h4eHo0qULbGxsMHz4cFy/fl1NLTzdp9GjR6Ndu3awsLCAs7Mz\nAgIChOW5ubnw9/dH9+7dYWlpic6dO2PWrFnIzMxUWa7U1FSMHj0alpaWcHJywrfffgsA+Pbbb+Hi\n4gJra2uMHDlSqZnXyckJs2fPxs6dO/Haa6/B3Nwc/fv3R1xcnNp90OQ8qUxWVhbmzJkjfD2gT58+\niI6OVtivrl27AgDee+89SKVSjBgxotL1aXoXcuzYMbi6uuKVV14R5rVp0wY9e/bE0aNHFdJZWlqi\nb9++wjwDAwO8+eabCukqs3PnTvTo0UNhO8DTc2blypUK81Q1rc+bNw+dOnXC1atXMXToUOHH1LMB\nV+6nn37C66+/DnNzc7z22mv4+uuvVZapPv6u5devixcvYtasWbC1tUXHjh0RGBioEATl6z179qzK\n/BWvf5p4++23ERkZWe189aFRfJzz3XffxaRJk+Dr64tjx44hJCQEVlZWmDRpktq8qv5A9+zZg06d\nOuGLL75AdnY2Fi9ejNmzZyM/Px/Dhw/HzJkzcejQIXz66adwdHTE4MGDFfLPnj0bY8aMwezZs3Hx\n4kWEhoaisLAQYWFhAJ427bz99ttISUnBwoUL4ejoiAsXLmDVqlXIy8tTet4UGBiIwYMHY+vWrWqD\nkibbV+X27dvo3LkzJkyYgFatWiE5ORmhoaHCF4rltmzZgqCgIIwYMQJ+fn5o0aIFfv3110r/UPLy\n8jBu3Djk5eXhxIkTwidHKqPqeERHR+PVV19FaGgoiouLERwcjIkTJ+LChQvCRzkrevjwIcaMGYMe\nPXpg8+bNaNGiBW7evIkLFy4olE1HRwcff/wxTExMkJ2djQ0bNmDIkCG4cOECdHV1FdY5bdo0TJs2\nDR988AG2bt2K9957D8nJybh48SKWL1+Ox48fIygoCDNnzlRoLpVIJDh79iyuXr2KTz75BE2bNsX6\n9evh5eWF+Ph4pc/8yFX3PHlWYWEhhg8fjoKCAnzyySewsrLC3r17MWfOHPz999+YOnUqpk6dCkdH\nR0ybNg0LFizAkCFD0LJlyyqPjyauX7+uMig6ODjg+++/V0jXsWNHlen27NmDR48eoXnz5pVu58yZ\nMxg/frzKZZUF3orzHzx4gFmzZsHHxwdBQUH49ttvMX/+fNjZ2aFfv34AgJSUFHh5ecHFxQUREREo\nLi7GypUrUVhYqHD+1fff9Zw5czB27Fh88803SEpKwsqVK2FoaIhFixapzVtTvXr1wrp165CcnKzy\nWD1PjSKY+fn5YeLEiQCA/v374+eff8b+/fs1CmaqfuE2a9YMu3fvFppbkpOTERYWhiVLluDDDz8E\nAPTt2xdHjhzBoUOHlILZkCFDsGzZMgCAu7s7JBIJ/v3vfyMgIADt2rXDd999h8TERBw9elT4SsDr\nr78OAPj888/xwQcfCB+WBAAXFxeNml3Ubf/DDz9E+/btVeYZNWqUQp24urqiRYsWmDdvHtasWQND\nQ0MUFBRg+fLlGDlypMKvNQ8PD5XrvH37Nt5++220bNkSP/74o9Kn0lVRdTx0dHSwd+9ehQvHtGnT\ncOnSJfTo0UPletLS0nD//n0sXboUjo6OAIA+ffoI5wkA2NnZKYyuX1paih49esDJyQknT55UuiC/\n//77GDduHACga9euOHbsGPbs2YMrV64Iz5mysrIQFBSEO3fuwNraWtinv/76CydPnhRGBu/fvz+c\nnJywatUqbNmyReU+qDtP/P39YWxsrDLvrl278Oeff+LIkSPo06cPAGDgwIGQyWRYsWIFJk+eLNxh\nAkDbtm3rrIk3Pz8fhoaGSvOlUiny8/OF6by8PKW7Knk6+XoqC2a3b99GTk5OrS+wDx48QFRUlHB3\n6ObmhtOnT2P//v1CMFu9ejUMDAxw4MABNGvWDADg6uqK1157DRYWFsK66vvv2svLC0FBQQCenj8X\nL17E/v376zWYderUCQBw+fLlBg9mL3Uzo9yQIUMUpjt27Kiy55Sm3N3dFZ4b2NvbA3h6MZDT0tJC\nu3btVD6oHj16tML0mDFjUFZWhl9++QUAcPr0adjY2MDV1RVPnjwR/nl4eODx48cKdw8Aqmz6UaWy\n7V+6dKnSPPJf8M7OzjAzM4OJiQnmzp2L8vJy3LhxA8DTLzsXFhZi2rRpastw/fp1DBkyBDY2Njh8\n+LBGgawyHh4eCoFMHpyqOsbt27dHq1at4O/vj+jo6ErTbt++HX369IG1tTWMjY2Fi7t8n5/17I8W\nQ0NDmJqaonv37godJuTnyt27dxXyypsy5Vq0aIE33nhD6Vg/q7rnybPOnTsHKysrIZDJeXl54a+/\n/kJKSkqleZ+X2nSekH/NuDbnFQDo6+srNHPq6OjAzs5O4fglJSVh8ODBQiADACsrK6WPSdb333XF\n65yjo2OtrnOakAdfmUxWr9vRRKO4M6v4nEVHR0ej2/bKVPxV2bRpU5XztbW1VW6n4ue/TUxMAEB4\nFpOTk4Pbt2+r/FUtkUiUPilubm5erfKr274qvr6++Omnn/DRRx/ByckJzZs3xy+//IKAgABhH+Xl\nUvfdIeDpxTQvLw+fffZZlU1FmqhY7/JvSlV1jA0MDHD48GGsWrUKAQEBePDgATp27IigoCDhe0zy\nJlM/Pz8MHDgQhoaGKC0txaBBg1SuW9V5Udm5UjG/qk/Cm5iYVHlM1J0neXl5lebNy8tT2cNPPq+q\nvLVlaGiocAf2bJme/Vs1NDRUWQ75PFV3d3VN1TaaNm2qcPxkMlmlx+/mzZvCdH3/Xau6zr2IHUfq\nS6MIZuro6ekBAB4/fqwwv+LJVVeys7PRoUMHYVr+K1LeJNG6dWu0adOm0ofI6p4r1Xb7FRUVFeHY\nsWNYtGgR5syZI8z/7bffFNLJf6VlZGSo/Qjh9OnTcf/+fcyZMwdaWlpCAHmenJycEBkZKdyVrl27\nFtOnT8fZs2fh4OCAAwcOwN3dHcuXLxfy1Nc7gqreg5LJZFX+MDAyMqrxeSKVSlXeXcrLUZ/v8zk4\nOCA5OVlp/vXr1xXOSwcHB8TGxqpMZ2NjU+WPIPkPNFV/w7q6ukp/65UFb0060piZmVV6/J69u6zN\n8aoL9XGdy83NBaD6x9jz1iiaGVV59iSzsbEBAIWedE+ePEFsbGy9vCdy6NAhhen9+/ejSZMm6N69\nOwBg0KBBuHv3LvT19eHs7Kz0r7ZNJ+q2X1FxcTFKS0uhra3426fiS9Xy52iV/bE+SyKRYNWqVfD2\n9oa3t7fCg//nTb7vixcvRllZmdDE9vfffyvt865du+qlDBcvXlRounrw4AFOnDih9Mzv2fNx4MCB\nNT5P+vbti7t37+L8+fMK87/77juYmprW6xeRhw4digsXLij8MLh58yaSkpIwdOhQhXQZGRkKve8K\nCgpw/PhxhXSq2NjYwMTEROkHl3xZxV6zP/74o8r1aPL37+rqipMnTyq8I3fnzh2luq3N8aoLqq5z\nwNMvjNf0Oidf12uvvVa7wtWBRntn9uwvLhcXF7Rt2xbBwcEoKyuDjo4Otm/fjpKSknp5r+fkyZMI\nDg6Gh4cHfvnlF4SGhmLChAlo27YtAOCdd97Brl27MGrUKPj6+qJz584oKSnB//73Pxw/fhy7du1S\naJ+v6+1X1KpVK/To0QMbN26EmZkZWrdujW+//RZZWVkK6Vq2bIng4GAsXLgQU6ZMwdixY9GyZUv8\n97//hZ6eHmbPnq207pCQEGhpaWHmzJkoKyuDp6dnjferOo4fP46vv/4aI0aMgK2tLR49eoQtW7ag\nZcuWcHV1BfD0R8W6deuwdu1adOvWDT///DNiYmI03kZ1zh1TU1OMGTMGQUFBQm/GoqIiLFy4sNJ1\n1uY8mThxIsLDwzF58mQsWbIElpaWiI6Oxn/+8x+sX7++Rhe3v//+GydOnAAApKamAoDwI6VNmzZw\ndnYG8PTl961bt2LixIlYsmQJAOCzzz6DtbU1pk+fLqxv2LBhcHV1xZw5c7Bs2TK0atUKa9euhUQi\nwfvvv6+2PO7u7khISFCaP2bMGKxevRpr1qxB9+7dce7cORw4cEDlOio7hs/ODwgIwKFDhzBmzBi8\n9957KCkpwcqVK2FmZlZnx6sumJubo0+fPvjiiy9gZGQEY2NjREdH4+bNm0r7qem5m5iYCAsLiwbv\n/AG85MGssrfYK87X0tJCVFQUAgIC4OvrC6lUinnz5qF79+4KvdnUbUvTeV999RU2bNiAiIgI6Ojo\nYOrUqQrdcrW1tXHgwAF88cUXwgumzZs3R7t27fDGG28Iz4Qq24a6cqrbvirbtm3Dhx9+iAULFkBP\nTw+enp549913lbo+z5o1C6amptiwYQPmzJmDpk2bokOHDliwYEGl616xYgW0tbUxa9YslJeXY8yY\nMZWWva7ulO3s7NC8eXOsWrUK2dnZaNGiBVxcXHDo0CGhuXXhwoW4f/8+wsLCUFxcjD59+mD//v3C\nRVlduTTt/i2RSNC7d2/06dMHy5YtE5pp9+3bh3bt2lW6neqcJxU1b94cP/zwA4KDg7F06VI8fPgQ\n9vb2+Oqrr+Dl5aW+AlWQyWQKnX8kEokwPXHiRGzatEnYdkxMDBYvXix0Iurfvz9CQkIUmg4lEgn2\n7t0r9BIuLi6Gq6srDh8+rNFz2alTp2LEiBH4888/Fepx/vz5uH//PrZu3Yp169bhjTfewJYtWxQ6\ncMm3r8n149VXX8W+ffvw8ccfY8aMGbC0tIS/vz/Onz+vcFdZ33/X6soJAF999RXmz5+PwMBA6Onp\nYfLkyejbty/8/f01Wt+zysvLsX//fkyePLlaZa0vkvz8/Oc7pAARKejSpQvc3Nwq7YJPNffGG2+g\nR48e+Oyzzxq6KC+dkydPYsaMGbh06ZLwjLIhNdpnZkQviuc9RFVjEhISgp07dzbIQMMvO/m7qS9C\nIANe8mZGIjEQ62C0YuDi4lLv71o1Vqp6mjYkNjMSEZHosZmRiIhEj8GMiIhEj8GMiIhEj8GMiIhE\nj8GMiIhEj8GMiIhE7/8A8pSfOP73ivIAAAAASUVORK5CYII=\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# Statistic: number black in sample of size 100\n", "# Observed value of statistic: 8\n", "\n", "# Compute the empirical distribution of the test statistic\n", "\n", "sample_size = 100\n", "repetitions = 500\n", "eligible = AL_jury[\"Eligible\"]\n", "\n", "black_in_sample = Table([[]], [\"Number black\"])\n", "for i in range(repetitions):\n", " sample = np.random.multinomial(sample_size, eligible)\n", " b = sample[0]\n", " black_in_sample.append([b])\n", "\n", "black_in_sample.hist(bins = np.arange(-0.5, 100, 1), normed=True)\n", "plots.ylim(0, 0.1)\n", "plots.xlim(0,100)\n", "plots.xlabel(\"number black in sample of 100 (under null)\")\n", "plots.title('Empirical Distribution')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "As we noted in Chapter 3, the observed number of 8 black men on the jury panel is not consistent with the distribution above, computed under the null hypothesis. Therefore the data support the alternative: the panel was not selected at random.\n", "\n", "Our goal here is to examine in detail the probability distribution of the number of black men on the panel, assuming random selection. Th empirical distribution above approximates that probability distribution. But can we say exactly what that distribution is?\n", "\n", "We know that the probability distribution of the number of black men in a randomly selected group of 100 jurors can be found by forming all possible samples of 100 jurors, counting the number of black men in each of those samples, and looking at the histogram of that dataset. As there are a large number of possible samples, we have resorted to an empirical distribution based on some of them. However, it turns out that in this case there is a straightforward formula for the probabilities." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "###Binomial distribution with parameters $n=100$ and $p=0.26$\n", "This is the name of the probability distribution of the number of 1's in a sample of size 100 drawn at random **with** replacement from a population consisting of 26% 1's and 74% 0's. It is also a good approximation if the sample is drawn **without** replacement from a population that is very large compared to the sample, as is the case in our example involving the jury panel.\n", "\n", "In general, the binomial distribution is the probability distribution of the number of successes in a fixed, known number of repeated success/failure trials, where the result of any group of trials does not affect chances for the others. Examples are:\n", "\n", "- the probability distribution of the number of sixes in repeated rolls of a die\n", "- the probability distribution of the number of heads in repeated tosses of a coin (fair or unfair)\n", "- the probability distribution of the number of voters who will vote for a particular candidate, assuming a random sample of voters that is essentially the same as a sample drawn at random with replacement\n", "\n", "The assumption that no group of trials influences any others is called *independence*. Two events are independent if knowing that one of them has happened does not change chances for the other. For example, knowing that the first roll of a die resulted in the face with two spots does not change the chances for any face appearing on other rolls. We say that the rolls are *independent* of each other.\n", "\n", "The binomial distribution has two *parameters*: the number of trials $n$, and the probability $p$ of success on each single trial. A parameter is a constant associated with a distribution. Here is a histogram of the distribution for $n = 100$ and $p = 0.26$. It is the exact distribution of probabilities for the number of black jurors in a panel of 100 jurors, drawn under the null hypothesis of random selection from an eligible population in which 26% are black. Notice that the distribution is a smooth version of its empirical approximation above." ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAbMAAAE3CAYAAAAgzK9JAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XlYFdX/B/D39SKuLFe2y2oZJKIoiqKoJbjmipj7rrgC\npSkKmmmoheGSpqLmboKJioqmphkZGotaaRkiLeAKl1AQMUCQ3x/+7ny53AtcEMSR9+t5enJmzsyc\nc2a4n5kzZ85IMjMzi0BERCRidWo6A0RERM+LwYyIiESPwYyIiESPwYyIiESPwYyIiESPwYyIiESP\nwYyqlEwmQ+vWrat1H/3794dMJsOtW7e0XsfR0VEtX6GhoZDJZAgLCys3rVjMnDmzwnVTlcqqU5lM\nViN5UoqOjoZMJsOKFStqNB9UPRjMXjEymUzlvyZNmuC1115D3759sWvXLjx9+rTa8yCRSF66fUgk\nklLXKTlfU9qgoCCNP9JVLSUlRe0YyuVy2Nraonv37vjggw/www8/oKhI8+uhZZVTG5W5UNC0f015\nqO7zQhmsvL29y0z3Is5PevF0ajoDVPUkEgn8/f0BAAUFBfjnn39w/PhxxMbG4ocffsCuXbtqNoNV\noLQf89JERkZWSdoX9UNoYGCAmTNnAnh2DDMzM5GQkIC9e/di165daN++Pb788ku8/vrrKustWbIE\nc+bMgbm5eaX3/TxlHDBgAFxcXGBqalrpbTyv0vLfvn17XLx4EUZGRi84R/QiMJi9opTBTOmPP/5A\nz549cfToUcTExMDV1bWGclYzXnvttSpJW9EgWlkGBgZqxxAA0tLS4Ofnh+PHj2PQoEH44YcfVH6c\nzczMYGZm9lz7LioqqnQ59fX1oa+v/1z7f16l5b1BgwawtbV9wbmhF4XNjLWEg4MDunTpAgC4fPky\nANVmmaSkJEyYMAFvvPEGmjRpgt9++w0AkJ+fjy+++AJdu3aFhYUFrK2t0atXL+zdu7fM/WVlZWHu\n3Lmwt7eHXC6Hq6srtm3bpjFtaGgoxo0bhzZt2sDc3Bw2NjZ455138PXXX5e6fYlEgsLCQqxfvx7t\n27eHXC5Hq1atsGjRIjx69EgtfUWeg5VM279/fwQHBwMAfHx8VJoAb968icDAQMhkMuzbt0/j9m7c\nuAGZTIa+fftqtf+ymJmZYffu3ejSpQtu376N1atXqywv7ZnZyZMn4eHhAXt7e5iZmcHe3h7vvPMO\n1qxZI6SRyWT46aefAABt2rQRyliyLmQyGZKTk7Fp0ya4urpCLpdjzJgxAEp/ZqaUn5+PpUuXwtHR\nEWZmZmjXrh1WrlyJJ0+eqKRTNreW1mRYspxBQUEYNGgQAGDfvn0qx0iZl7KemSUnJ8Pb2xsODg4w\nNTXFm2++iUmTJuHatWtqaZVlXLFiBa5evYrhw4fDxsYGFhYW6N+/P+Lj4zXmmaoX78xqEeUVa8lm\nmH/++Qc9e/aEvb09Ro0ahezsbDRq1AhPnjzB0KFDER0dDTs7O3h5eSEvLw/Hjx/He++9h9jYWGzY\nsEFtP/n5+Rg8eDAePXqE4cOHIzc3F0ePHsW8efPw559/qv2Y+Pn5oUWLFujatSvkcjkyMjJw5swZ\nzJw5E0lJSfjoo480liUgIABxcXEYMmQI9PX1cfr0aWzcuBGxsbE4ceIEdHV1VdapSPNZ8bRjxoyB\nRCLBhQsX0L9/fzg6OgrLDAwMMHnyZHzxxRfYtWsXRo0apbatnTt3AgAmT56s9f7LUqdOHcybNw8X\nLlzAoUOH8Omnn5aadwDYtWsXPvjgA5iZmaFPnz4wMTFBRkYGrl+/jp07d2LOnDkAnt3Nh4WF4dat\nW5g5cyYMDAyEMpbk7++PuLg49OnTB++88w4aN25cZh6AZ8ds/PjxuHr1KgYNGoS6devi+PHj+PTT\nT/Hrr78iNDRUbZ2yjlnxZW+99RZu3bqFffv2wdHREf379xeWlbyIKbnNX3/9FR4eHsjOzkafPn3Q\nsmVL/P333zh27BhOnTqFsLAwuLu7q+3/l19+wRdffAEXFxdMnDgRt27dQmRkJDw8PBAdHc27wBeM\nwayW+P3333H+/HlIJBK0b99eZVlsbCzmzp2LRYsWqcxfu3YtoqOj0aNHD3z99dfQ0Xl2uixatAjv\nvPMOQkND0atXL3h4eKisl5qaitdeew2nT59G3bp1AQABAQFwd3fHli1bMGTIELi4uAjpY2Ji1Jr2\nlIF03bp18PLygoWFhVqZLl26hPPnz8PS0hIA8NFHH2HcuHE4ceIENm7ciA8++KBylVXC6NGjkZKS\nIgSzkgHLwMAAvXr1wrfffotr166hZcuWwrLc3Fzs27cPRkZGGDx4cJXkBwBcXV0hlUqRnp6OlJQU\nNG3aVFhWsplt586dqFevHs6fPw9jY2OVZQ8ePBD+HRAQgOjoaCGYWVtbl7r/33//HdHR0WWm0eSv\nv/5CTEyMECA//PBD9O/fHydOnMChQ4fw7rvvar2t4uXs2rUrAAjBTFMTbWnbmDFjBh4+fIhNmzZh\n5MiRwrJz587B09MT06ZNw9WrV9GgQQOVdU+fPo2QkBCV80F54bB582asWrVK67LQ82Mz4yuoqKgI\nK1asQFBQEJYvX44pU6agR48eyMvLg4eHBzp27KiS3szMTOMf/549eyCRSPDJJ58IgQx49lxk8eLF\nQpqSJBIJlixZIgQyAGjSpIlwB1DyClzTM6q6devCy8sLhYWF+PHHHzWWc8aMGUIgA57dsQQGBkIi\nkZTbDFrVpkyZAgBqnWsOHz6MrKwsjB49WqU+npeuri6aNGkCALh//3656aVSqcoxVKpsd/n333+/\nwoEMAObNm6dyp1e/fn3hIup5j1llnvPFxcUhMTERzs7OKoEMALp164YBAwbg33//xYkTJ9TW7dSp\nk9qFzdixYyGVSvHzzz9XOC/0fHhn9or67LPPADwLLPr6+mjXrh1GjBiBCRMmqKVt1aqV2g9tdnY2\n/vnnH5iZmaF58+Zq67z99tsAgKtXr6ot09HRUQuYAIRndsrncUq3bt3CunXrcO7cOdy5cwf//fef\nyvLU1FSNZVRurzhbW1uYmJjgn3/+QU5ODho1aqRx3arWs2dPvPbaa9i/fz8CAwPRsGFDAM+CW506\ndTBp0qQq32dpzcYlDR8+HIsWLULHjh3h6ekJV1dXdOzYEXK5vNL7dnZ2rvA6EolE4zFTdkYqeV68\nCFeuXAHwv/O5JDc3Nxw7dgxXr15Vu2ts27atWnodHR2YmpoiMzOz6jNLZWIwewVJJBKtrtaVNHWj\nfvjwYanLAKBhw4bQ09NDVlaW2jIjIyONP7DKJi7ltoFnD967d++OrKwsdO7cGT169IC+vj6kUilS\nUlKwb98+5OXlaZ1vADAxMUF6errw7O9FmTx5MhYvXoyDBw9i/PjxuHbtGuLj4+Hm5qbWhf555ebm\nCk2EJZsOS/Lx8YGJiQl27NiBbdu2YcuWLQCADh06YPHixUITXUVUtuu9pvXq168PPT09lfPiRSnv\nPFfO13Sea3qWCDy7Cy4sLKyiHJK22MxIGgOPsnu1QqHQuM7jx4+RnZ2tsRt2RkaGxiaf9PR0lW0D\nwMaNG/HgwQNs2LABx44dw4oVK7Bw4UL4+/uje/fuZea7tLwp96Onp1fm+lVt7NixqF+/vtDUqPx/\nddyVxcTEoLCwEGZmZrCysio3/fDhw3Hq1CkkJycjIiICU6ZMwZUrVzBs2DD89ddfFd5/Zd9FS0tL\nU5uXm5urdi7VqfPsp6mgoEDjdjQFl8oo7zxX5remXzeg8jGYkUZ6enpo1qwZ0tLSkJiYqLZc+RzL\nyclJbVlBQQFiY2PV5l+4cAGAau+yv//+GxKJROhWrSl9ac6fP682LykpCQqFAs2aNavSuzKpVAoA\nZV5xy2QyeHp64pdffkFMTAz2798PuVyOAQMGVFk+lHlYuXIlAGDYsGEVWrdx48Zwd3fHypUr4evr\ni9zcXJw5c0ZYrk05K6uoqEjjMVW+DlD8vDA0NAQA3LlzRy19QUEBrl69qhZQK5N35flb2nPZc+fO\nqaSjlxeDGZVq3LhxAJ71Xix+hfzw4UMsXbpUJU1xRUVFWLp0KfLz84V5GRkZWLNmDSQSifBOEgA0\nbdoURUVFiI6OVtnG2bNnNXYuKW7z5s24ffu2MF1YWIglS5YAgMo+qoKys0V5wzwpO4JMmTIF2dnZ\nGDt2rHCXURVSU1MxceJExMTEoGnTpkKnmrIof5A1bQuA8HwP0K6czzNCyMqVK1Xuqv777z8sX74c\ngOox09PTQ/PmzREbG4s//vhDmK/s3KQpyGl7jIrr2LEjmjdvjsuXLyM8PFxl2blz53Ds2DEYGxuj\nX79+Wm+TagafmVGpfHx88N133+G7775D586d0bt3bzx58gTHjh3DvXv3MGrUKLVu+QAgl8uRm5uL\nzp07o2/fvsjNzUVkZCQUCgVmzJiBDh06CGm9vLwQGhqKiRMnYtCgQZDL5UhISMDZs2fh6emJiIiI\nUvPXsWNHvPXWW/D09ISenh7OnDmDhIQEODs7w9fXt0rrolu3bqhTpw42bdqE+/fvC89Spk+frtIE\n1a5dOzg5OeHXX3+FVCrFxIkTK7W/zMxMBAUFAXgWpLOyspCQkIC4uDgUFBTAxcUFX375pXAHU5Zx\n48ahcePGaN++PaytrSGRSHD58mXExsaiWbNm8PT0FNJ2794dR48exaxZszBw4EA0btwYhoaGmDp1\nqpDmeUZBefPNN+Hq6opBgwZBKpXim2++QUpKCvr376/WwWLWrFnw9vbGO++8g8GDB6Nhw4aIi4vD\n3bt30bVrV7U78zfffBOWlpaIiYnBtGnT0KxZM0ilUvTr10/ldYmSNm3aBA8PD8yYMQOHDx+Gg4MD\n/vnnH0RGRqJ+/frYvHkz6tevX+ky04uhVTDbtm0bvvjiCygUCtjb2yMoKKjU4ZDy8vIwe/ZsXL16\nFTdu3EDHjh1x/PhxtXTnz5/Hhx9+iMTERMjlcsyaNatani1Q5dWtWxcRERHYtGkTwsPDsX37dkil\nUrRo0QILFizQeFcGPOs2fvToUQQGBuLgwYO4f/8+mjVrhnnz5gl3LkotW7bEsWPHsHz5cpw+fRqF\nhYVo1aoV9u7dC319fY3BTDmQbVBQECIjI7Fnzx7cvHkTJiYm8PHxwYIFC9R6Z5Y28K22A+La2dnh\nyy+/xPr16xEaGor//vsPEokEI0eOVHueMmbMGPz666/o2bOnyqsDFZGdnS2MOqKrqwt9fX3Y2Nhg\n3Lhx8PDwQLdu3TSup6lMgYGB+P777/Hbb7/h7Nmz0NHRgbW1NQICAjB9+nSVZ4vjxo3D7du3cfDg\nQWzatAlPnjyBjY2NEMzKG8i4rDqVSCTYtWsXVqxYgYMHDyItLQ0WFhZYuHChxncCld3e169fj/37\n90NPTw/du3dHaGgoli9frrafOnXqIDQ0FB9//DG+/fZbZGdnAwCsrKzKDGZt27bFuXPnsHLlSvzw\nww84e/YsDA0NMXDgQMydOxetWrXSqozFl9OLJ8nMzCzzMisiIgLTp0/H6tWr4erqiq1btyIsLAyx\nsbEaHzw/fvwYixYtgpOTE7799ls8fPgQx44dU0mTnJyMzp07Y9y4cZgyZQpiYmIwd+5cbN++XeOz\nEyIxef/99/HVV19h//796N27d01nh6hWKDeY9ejRA46Ojli7dq0wz9nZGR4eHsKLs6WZN28eEhIS\n1O7MlixZgm+++QaXLl0S5r3//vu4fv06Tp8+XZlyEL0U7t69i3bt2sHCwoIvzhK9QGU+mc7Pz8eV\nK1fUxiXr3r074uLiKr3T+Ph4jdv85Zdf+H4GidKBAwewYsUKDB48GPn5+Vi4cGFNZ4moVinzmVlG\nRgYKCwvVXig0NjYu9b0MbaSnp6tt08TEBAUFBcjIyKjRbyERVcbu3bvx008/wcLCAoGBgRg6dGhN\nZ4moVmFvRqIqoKmTExG9OGU2MxoZGUEqlardhaWnpz/XBwBNTU01blNHR4dfgSUiogorM5jp6urC\nyckJUVFRKvOjoqI0DiSrLRcXF43bbNeunfAWPxERkbbKHZrAx8cHYWFh2LNnDxITE+Hv7w+FQiG8\nExYYGKj24uz169dx9epVZGRkICcnB7/99pvK6OqTJk3CvXv3sGDBAiQmJmLPnj3Yt29flb/oWhsl\nJSXVdBZEg3WlPdaV9lhXNaPcZ2aenp64f/8+Vq1ahbS0NDg4OCA8PFx4xywtLQ3Jyckq6wwfPlwY\nUkYikeDtt99WGcm9adOmCA8Px8KFC7Fjxw6Ym5sjODgYAwcOrOLiERFRbVDue2YkLklJSbCzs6vp\nbIgC60p7rCvtsa5qBgcaJiIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMw\nIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi\n0dOp6QzQy02RkYn0jCxh2sTIAKZGhjWYIyIidQxmVKb0jCwsXRsmTC+ePZrBjIheOmxmJCIi0eOd\nGakp3rSYl/+khnNDRFQ+BjNSU7xpcbbX4BrODRFR+djMSEREosdgRkREosdgRkREosdnZlQhOlIp\nrt1IEab53hkRvQwYzKhC7mdmY+32I8I03zsjopcBmxmJiEj0GMyIiEj0GMyIiEj0GMyIiEj0GMyI\niEj0GMyIiEj0GMyIiEj0+J4ZqX2AkyPlE5HYMJiR2gc4OVI+EYkNmxmJiEj0tApm27ZtQ+vWrSGX\ny+Hm5oaYmJgy01+7dg39+vWDubk5HBwcEBwcrJbm66+/RpcuXWBhYYHmzZtj2rRpUCgUlSsFERHV\nauUGs4iICCxYsAB+fn6Ijo6Gi4sLhg0bhtu3b2tM//DhQ3h6ekIulyMqKgpBQUFYv349NmzYIKQ5\nf/48vL29MXbsWMTGxiI0NBQ3btzA1KlTq65kRERUa5QbzDZu3IgxY8Zg/PjxsLOzQ3BwMMzMzLBj\nxw6N6Q8cOIDc3Fxs2rQJ9vb28PDwwKxZsxASEiKk+eWXX2BpaYmZM2fCxsYG7du3x5QpU3D58uWq\nKxkREdUaZQaz/Px8XLlyBe7u7irzu3fvjri4OI3rxMfHw9XVFfXq1VNJf+/ePdy8eRMA4ObmhoyM\nDJw6dQpFRUXIyMhAREQEevfu/bzlISKiWqjMYJaRkYHCwkKYmpqqzDc2Ni71+ZZCoVBLb2JiIiwD\nAEdHR2zZsgVTpkyBqakpbG1tAUDl7o2IiEhbVd6bUSKRlJvm4sWL8PHxgb+/P86dO4dDhw4hLS0N\ns2fPrursEBFRLVDme2ZGRkaQSqVqd2Hp6ekwMzPTuI6pqanG9MplwLM7sG7duuG9994DADg4OKBh\nw4bo27cvlixZAnNzc43bTkpK0qJIVNF6evQoHzk5OcJ0QWGBMF3835qmi54+RdzP14TpJgaNgaf5\nlc36C8dzSnusK+2xrspnZ2dXpdsrM5jp6urCyckJUVFR8PDwEOZHRUVh8GDNL9a6uLjg448/Rl5e\nnvDcLCoqChYWFrCxsQEAFBUVoU4d1ZtC5fTTp09LzU9VF/5VlJSUVOF6unYjBY0aNRKmdaQ6wnTx\nf2uazs7JxdrtkcL04tmj0fJNcRynytRVbcW60h7rqmaU28zo4+ODsLAw7NmzB4mJifD394dCocCk\nSZMAAIGBgSqBbujQoWjQoAG8vb2RkJCAyMhIrFu3Dt7e3kKa/v3748SJE9ixYweSk5MRGxsLf39/\nODk5wdLSshqKSUREr7Jyh7Py9PTE/fv3sWrVKqSlpcHBwQHh4eGwsrICAKSlpSE5OVlIr6+vj8OH\nD8PPzw/u7u6QyWTw9fWFj4+PkGbYsGF4+PAhtm7dikWLFsHAwABvvfUWAgMDq76ERET0ytNqbEYv\nLy94eXlpXKapB6KDgwNOnDhR6W0SERFVBMdmJCIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMw\nIyIi0WMwIyIi0WMwIyIi0dPqpWl6tSgyMpGekSVM5+U/qcHcEBE9PwazWig9IwtL14YJ07O9NA8a\nTUQkFmxmJCIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi0WMwIyIi\n0eMIIFSldKRSXLuRAgAwMTKAqZFhDeeIiGoDBjOqUvczs7F2+xEAwOLZoxnMiOiFYDMjERGJHoMZ\nERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJ\nHoMZERGJHoMZERGJHoMZERGJHoMZERGJHoMZERGJnlbBbNu2bWjdujXkcjnc3NwQExNTZvpr166h\nX79+MDc3h4ODA4KDg9XS5Ofn45NPPkGbNm1gZmaGVq1aYcuWLZUrBZVJkZGJazdShP/y8p/UdJaI\niKpUuV+ajoiIwIIFC7B69Wq4urpi69atGDZsGGJjY2FlZaWW/uHDh/D09ETXrl0RFRWFxMRE+Pr6\nomHDhvD19RXSTZ48Gampqfjiiy/QrFkzpKen4/Hjx1VbOgIApGdkYenaMGF6ttfgGswNEVHVKzeY\nbdy4EWPGjMH48eMBAMHBwTh79ix27NiBxYsXq6U/cOAAcnNzsWnTJtSrVw/29vZISkpCSEiIEMy+\n//57/Pjjj7hy5QpkMhkAwNrauirLRUREtUiZzYz5+fm4cuUK3N3dVeZ3794dcXFxGteJj4+Hq6sr\n6tWrp5L+3r17uHnzJgDgm2++Qbt27bB+/Xq0bNkSzs7O8Pf3R05OzvOWh4iIaqEy78wyMjJQWFgI\nU1NTlfnGxsZQKBQa11EoFGrNjyYmJsIyGxsbJCcnIzY2FvXq1cNXX32FzMxMzJ8/H6mpqdi9e/fz\nlIeIiGqhcpsZK0oikZSb5unTp6hTpw62bdsGPT09AMDKlSsxZMgQ/PvvvzA2Nta4XlJSUpXm9VVV\nsp4ePcpXuestKCzQeroiaUtOP3r06KU/Zi97/l4mrCvtsa7KZ2dnV6XbKzOYGRkZQSqVqt2Fpaen\nw8zMTOM6pqamGtMrlwGAmZkZ5HK5EMiA/xXs9u3bpQazqi78qygpKUmtnq7dSEGjRo2EaR2pjtbT\nFUlbcrpx48aws2taRSWreprqijRjXWmPdVUzynxmpqurCycnJ0RFRanMj4qKQseOHTWu4+LigpiY\nGOTl5amkt7CwgI2NDQDA1dUVqampKlf0f/31FwB2BCEiooor9z0zHx8fhIWFYc+ePUhMTIS/vz8U\nCgUmTZoEAAgMDISHh4eQfujQoWjQoAG8vb2RkJCAyMhIrFu3Dt7e3ippmjRpAh8fH1y/fh2xsbEI\nCAjA4MGDYWRkVA3FJCKiV1m5z8w8PT1x//59rFq1CmlpaXBwcEB4eLjQySMtLQ3JyclCen19fRw+\nfBh+fn5wd3eHTCaDr68vfHx8hDSNGjXCkSNHMH/+fHTv3h2Ghobo378/Pv744yovIBERvfq06gDi\n5eUFLy8vjctCQkLU5jk4OODEiRNlbtPW1hYRERHa7J5ESkcqxbUbKcK0iZEBTI0MazBHRPSqqvLe\njERK9zOzsXb7EWF68ezRDGZEVC040DAREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYke\ngxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkR\nEYkegxkREYkegxkREYkegxkREYmeTk1ngKqHIiMT6RlZAIC8/Cc1nBsiourFYPaKSs/IwtK1YQCA\n2V6Dazg3RETVi82MREQkegxmREQkegxmREQkegxmREQkegxmREQkegxmREQkeuyaTy+MjlSKazdS\nhGkTIwOYGhnWYI6I6FXBYEYvzP3MbKzdfkSYXjx7NIMZEVUJNjMSEZHoMZgREZHoMZgREZHoMZgR\nEZHoMZgREZHoMZgREZHoMZgREZHoaRXMtm3bhtatW0Mul8PNzQ0xMTFlpr927Rr69esHc3NzODg4\nIDg4uNS0MTExMDIyQufOnSuWcyIiov9XbjCLiIjAggUL4Ofnh+joaLi4uGDYsGG4ffu2xvQPHz6E\np6cn5HI5oqKiEBQUhPXr12PDhg1qaTMzMzFjxgy4ubk9d0GIiKj2KjeYbdy4EWPGjMH48eNhZ2eH\n4OBgmJmZYceOHRrTHzhwALm5udi0aRPs7e3h4eGBWbNmISQkRC2tr68vxowZgw4dOjx/SYiIqNYq\nM5jl5+fjypUrcHd3V5nfvXt3xMXFaVwnPj4erq6uqFevnkr6e/fu4ebNm8K8bdu2ISMjA/PmzUNR\nUdHzlIGIiGq5MoNZRkYGCgsLYWpqqjLf2NgYCoVC4zoKhUItvYmJibAMePZMLTg4GFu2bIFEIql0\n5omIiIBqGGi4vOCUl5eHyZMnY9myZbCxsanQtpOSkp4na7VGUlISHj3KR05ODgCgoLBA+HdFp6tz\n3UePHtX4Ma3p/YsJ60p7rKvy2dnZVen2ygxmRkZGkEqlandh6enpMDMz07iOqampxvTKZampqbhx\n4wZ8fHzg4+MDAHj69CmKiopgbGyMgwcPltohpKoL/ypKSkqCnZ0drt1IQaNGjQAAOlId4d8Vna7O\ndRs3bgw7u6bPXebKUtYVlY91pT3WVc0os5lRV1cXTk5OiIqKUpkfFRWFjh07alzHxcUFMTExyMvL\nU0lvYWEBGxsbWFpaIiYmBufPnxf+mzx5Mpo1a4bz58+zMwgREVVYub0ZfXx8EBYWhj179iAxMRH+\n/v5QKBSYNGkSACAwMBAeHh5C+qFDh6JBgwbw9vZGQkICIiMjsW7dOnh7ewMAdHR0YG9vr/KfkZER\n6tWrB3t7e5UrdyIiIm2U+8zM09MT9+/fx6pVq5CWlgYHBweEh4fDysoKAJCWlobk5GQhvb6+Pg4f\nPgw/Pz+4u7tDJpPB19dXaFLUhJ1AiIjoeWjVAcTLywteXl4al2l6f8zBwQEnTpzQOhMBAQEICAjQ\nOj0REVGEwINWAAAgAElEQVRxHJuRiIhEj8GMiIhEr8rfM6OaocjIRHpGFh49yse1GynIy39S01ki\nInphGMxeEekZWVi6Ngw5OTlo1KgRZnsNruksERG9MGxmJCIi0WMwIyIi0WMzI9UYHakU126kCNMm\nRgYwNTKswRwRkVgxmFGNuZ+ZjbXbjwjTi2ePZjAjokphMyMREYkegxkREYkegxkREYkegxkREYke\ngxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkR\nEYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYkegxkREYmeTk1ngCpHkZGJ9IwsYTov/0kN\n5oaIqGYxmIlUekYWlq4NE6Znew2uwdxUDR2pFNdupAjTJkYGMDUyrMEcEZFYMJjRS+N+ZjbWbj8i\nTC+ePZrBjIi0wmdmREQkegxmREQkegxmREQkegxmREQkegxmREQkeloHs23btqF169aQy+Vwc3ND\nTExMmemvXbuGfv36wdzcHA4ODggODlZZHhkZCU9PT9ja2sLa2ho9e/bEyZMnK1cKIiKq1bQKZhER\nEViwYAH8/PwQHR0NFxcXDBs2DLdv39aY/uHDh/D09IRcLkdUVBSCgoKwfv16bNiwQUjz008/wc3N\nDQcOHEB0dDR69eqFsWPHlhskiYiIStLqPbONGzdizJgxGD9+PAAgODgYZ8+exY4dO7B48WK19AcO\nHEBubi42bdqEevXqwd7eHklJSQgJCYGvry8AYMWKFSrr+Pv74/Tp0/jmm2/g6ur6vOUiIqJapNw7\ns/z8fFy5cgXu7u4q87t37464uDiN68THx8PV1RX16tVTSX/v3j3cvHmz1H1lZ2dDJpNpm3ciIiIA\nWgSzjIwMFBYWwtTUVGW+sbExFAqFxnUUCoVaehMTE2GZJlu3bkVqaipGjBihVcaJiIiUqmU4K4lE\nUqH0R48exZIlS7Bz505YWVlVR5aIiOgVVm4wMzIyglQqVbujSk9Ph5mZmcZ1TE1NNaZXLivu6NGj\nmDlzJjZv3ow+ffqUmZekpKTysltrPHqUj5ycHGG6oLBAmM7JyVGZLv7vik7X1LrPyvio2o85zynt\nsa60x7oqn52dXZVur9xgpqurCycnJ0RFRcHDw0OYHxUVhcGDNY/U7uLigo8//hh5eXnCc7OoqChY\nWFjAxsZGSHf48GF4e3tj8+bNGDRoULmZrerCi9m1Gylo1KiRMK0j1UGjRo2Qk5ODRo0aCdPFl5VM\nq810Ta0LAI0bN4adXdOKVEuFJCUl8ZzSEutKe6yrmqFV13wfHx+EhYVhz549SExMhL+/PxQKBSZN\nmgQACAwMVAl0Q4cORYMGDeDt7Y2EhARERkZi3bp18Pb2FtIcOnQIU6dOxccff4xOnTohLS0NaWlp\nePDgQRUXkYiIXnVaPTPz9PTE/fv3sWrVKqSlpcHBwQHh4eHC8620tDQkJycL6fX19XH48GH4+fnB\n3d0dMpkMvr6+8PHxEdLs3LkTT58+RUBAAAICAoT5Xbt2xbFjx6qoeEREVBto3QHEy8sLXl5eGpeF\nhISozXNwcMCJEydK3d7x48e13TUREVGZODYjERGJHr80TS8tHakU126kAABMjAz41WkiKhWDmUgo\nMjKRnpElTOflP6nB3LwY9zOzsXb7EQDA4tmjGcyIqFQMZiKRnpGFpWvDhOnZXppfiyAiqo34zIyI\niESPwYyIiESPwYyIiESPwYyIiESPwYyIiESPwYyIiESPwYyIiESPwYyIiESPwYyIiESPwYyIiESP\nwYyIiESPYzOSKBQfQR/gKPpEpIrBjESh+Aj6AEfRJyJVbGYkIiLR453ZS6z4N8xqw/fLiIgqi8Hs\nJVb8G2b8fhkRUenYzEhERKLHYEZERKLHYEZERKLHYEZERKLHYEZERKLH3owkShwRhIiKYzAjUeKI\nIERUHJsZiYhI9Hhn9hIpPuIHwFE/iIi0xWD2Eik+4gfAUT+IiLTFZkYiIhI9BjMiIhI9NjPSK4Fd\n9YlqNwYzeiWwqz5R7cZmRiIiEj3emdUgdsUnIqoaDGY1iF3xiYiqhlbNjNu2bUPr1q0hl8vh5uaG\nmJiYMtNfu3YN/fr1g7m5ORwcHBAcHKyW5vz58+jWrRvkcjmcnJywc+fOypWASANlh5BrN1KgyMis\n6ewQUTUrN5hFRERgwYIF8PPzQ3R0NFxcXDBs2DDcvn1bY/qHDx/C09MTcrkcUVFRCAoKwvr167Fh\nwwYhTXJyMoYPH45OnTohOjoac+bMwfz58xEZGVl1JaNa7X5mNpauDcPStWEqTblE9Goqt5lx48aN\nGDNmDMaPHw8ACA4OxtmzZ7Fjxw4sXrxYLf2BAweQm5uLTZs2oV69erC3t0dSUhJCQkLg6+sLANi5\ncycsLCzw2WefAQDs7Oxw6dIlbNiwAYMGDarK8r1U+IysZrDbPtGrr8xglp+fjytXruD9999Xmd+9\ne3fExcVpXCc+Ph6urq6oV6+eSvpPPvkEN2/ehI2NDeLj4+Hu7q62zX379qGwsBBSqbSy5Xmp8RlZ\nzWC3faJXX5nNjBkZGSgsLISpqanKfGNjYygUCo3rKBQKtfQmJibCMgBIT0/XmKagoAAZGRkVK8FL\nTpGRKTy74Z3Yy0F5p3Y/O5/P1IheEZLMzMyi0hbeu3cPDg4OOHHiBFxdXYX5n332GQ4ePIiLFy+q\nrTNkyBBYWlpi/fr1wrxbt26hdevWOHPmDNq3b4/27dtjxIgRmDdvnpDmwoULGDBgABITE9UCHRER\nUVnKvDMzMjKCVCpVuwtLT0+HmZmZxnVMTU01plcuKyuNjo4OjIyMKlYCIiKq9coMZrq6unByckJU\nVJTK/KioKHTs2FHjOi4uLoiJiUFeXp5KegsLC9jY2AhpNG2zXbt2r+zzMiIiqj7lds338fFBWFgY\n9uzZg8TERPj7+0OhUGDSpEkAgMDAQHh4eAjphw4digYNGsDb2xsJCQmIjIzEunXr4O3tLaSZNGkS\n7t27hwULFiAxMRF79uzBvn37hN6OREREFVFu13xPT0/cv38fq1atQlpaGhwcHBAeHg4rKysAQFpa\nGpKTk4X0+vr6OHz4MPz8/ODu7g6ZTAZfX1/4+PgIaZo2bYrw8HAsXLgQO3bsgLm5OYKDgzFw4MCq\nLyEREb3yyuwAQkREJAYv9aj5FR1GqzZYs2YN3N3dYWNjA1tbW4wcORIJCQlq6YKCgtCiRQuYm5tj\nwIABuH79eg3k9uWyZs0ayGQylV60AOtKKTU1FTNmzICtrS3kcjk6deqECxcuqKRhXQEFBQVYunQp\n2rRpA7lcjjZt2mD58uUoLCxUSVcb6+rChQsYOXIkHBwcIJPJEBYWppamvHrJy8vDvHnz8MYbb8DS\n0hKjRo3C3bt3y933SxvMKjqMVm1x4cIFTJ06FadPn0ZkZCR0dHQwePBgZGb+712ptWvXIiQkBMHB\nwfj+++9hYmICT09PPHr0qAZzXrMuXryI3bt3o2XLlpBIJMJ81tUzmZmZ6NOnDyQSCQ4cOID4+HgE\nBwcL74gCrCul1atXY+fOnQgODsbFixexYsUKbN++HWvWrBHS1Na6evz4MVq1aoWgoCA0aNBA5W8N\n0K5eFixYgOPHj2PHjh04ceIEsrOzMWLECDx9+rTMfb+0zYw9evSAo6Mj1q5dK8xzdnaGh4eHxmG0\naqucnBzY2NggLCwMffr0QVFREezt7TF9+nTMmTMHAJCbmws7OzssW7YMEydOrNkM14CsrCy4ublh\n/fr1WLFihTD4Nevqf5YuXYqYmBicPHlS43LW1f+MGDECRkZGCAkJEebNmDEDDx48wP79+1lX/8/K\nygorV67EqFGjAGh3DmVlZcHOzg4hISEYOnQoAODOnTtwdHTEwYMH0b1791L391LemSmH0dI05FVp\nw2jVVtnZ2Xj69CkMDZ8Nz5SSkgKFQqFy0OvXr4/OnTvX2rqbPXs2Bg8ejK5du6Ko6H/Xbqyr//nm\nm2/Qrl07TJo0CXZ2dnjrrbewdetWYTnr6n969eqFH3/8EUlJSQCA69ev4/z58+jTpw8A1lVptKmX\nX3/9FU+ePFFJY2lpiebNm5dbdy/l98wqM4xWbRUQEIDWrVvDxcUFwLPepQBUmoeAZ3WXmpr6wvNX\n03bv3o3k5GRs27YNAFSaPVhX/5OcnIzt27fDx8cHc+bMwdWrV+Hv7w8AmDp1KuuqmClTpuDu3btw\ncXGBjo4OCgoK4Ofnh8mTJwPgeVUabepFoVBAKpWiSZMmKmlMTEyEwTdK81IGM9LOwoULER8fj5Mn\nT6q1TWuiTZpXSVJSEpYtW4ZTp04JL+MXFRWp3J2VprbV1dOnT+Hs7IyPPvoIAODo6Ii///4b27Zt\nw9SpU8tct7bV1ebNmxEaGoodO3bA3t4eV69eRUBAAGxsbDBu3Lgy161tdaWtqqiXl7KZsTLDaNU2\nCxYswOHDhxEZGYmmTZsK85X1U/IqRtPgzq+6+Ph4ZGRkoFOnTjA2NoaxsTF++uknbN++HSYmJsLQ\naawrQC6Xo3nz5irz7OzshA5XPK/+Z/Xq1ZgzZw48PT3RokULjBgxAj4+Pvj8888BsK5Ko029mJqa\norCwEPfv31dJo2kA+5JeymBWmWG0ahN/f38hkNna2qosa9q0KczMzPD9998L83JzcxEbG1vr6m7A\ngAGIiYnB+fPncf78eURHR6Nt27YYOnQooqOj8cYbb7Cu/l+nTp1w48YNlXl//vmnMAQdz6v/KSoq\nQp06qj+dderUEe74WVeaaVMvTk5OqFu3rkqaO3fu4MaNG+XWnTQgIODjasn5c9LT00NQUBDMzMxQ\nv359rFy5ErGxsdiwYQP09fVrOns1xs/PD/v378fOnTthaWmJnJwc5OTkQCKRQFdXFxKJBIWFhfj8\n889ha2uLwsJCfPjhh1AoFFi7di10dXVruggvTP369YU7MmNjY5iYmCA8PBzW1tYYPXo066oYa2tr\nfPbZZ5BKpZDL5Th37hyWL1+OOXPmoF27dqyrYv766y+EhYXBzs4OOjo6iI6OxvLly/Huu++ie/fu\ntbqucnJycP36daSlpeGrr76Cg4MD9PT08OTJExgYGJRbL/Xr10dqaiq2bduGVq1aISsrCx988AEM\nDAwQGBhYZnPkS9s1HwC2b9+OdevWCcNoffrppyqfoqmNZDIZJBKJ2nOfgIAA4YE9AKxYsQK7du1C\nZmYm2rdvj1WrVsHe3v5FZ/elM2DAAKFrvhLr6pnTp09j6dKl+PPPP2FtbY2pU6di2rRpKmlYV89+\nsIOCghAZGSk8+hg6dCjmz5+vEqhqY11FR0dj0KBBAKDyOzV69Ghs3LgRQPn1kp+fj0WLFuHgwYPI\nzc1Ft27dsHr1alhYWJS575c6mBEREWnjpXxmRkREVBEMZkREJHoMZkREJHoMZkREJHoMZkREJHoM\nZkREJHoMZkREJHoMZi9QaGgoZDIZkpOTX+r9p6SklPqV2Kogk8mwfPnyCq8XFBQEmUxWDTkSh5kz\nZ6J169YvfL8nT55E586dIZfLIZPJ8PDhQ43p/vjjD8yePRvdunWDiYlJmcfq9u3bGD9+PGxsbIQB\nejV9eDczMxPvvfee8NXhwYMH448//tA675cvX4alpaUwYvuLVFPHqyo4OjrC29tbmFb+dty6dQvA\nsyG9unXrpvK9yZrGYEalqs4Rviuz7QkTJuC7776rhtyIx4sedb2goADTpk2DpaUlDh8+jO+++w6N\nGzfWmPbKlSv47rvvYGNjIwyBpcnjx48xaNAg/Pnnn9i8eTM2b96Mv/76CwMHDsTjx4+FdEVFRRg5\nciSioqKwcuVK7NmzB0+ePMHAgQNx9+5drfK/cOFCTJ48ucYGKBfrKPkSiaTsoaMkEnz44YdYs2YN\n/v333xeYs9IxmL1i8vLyajoL1cbCwgLOzs41nY0apc3na6rS3bt38ejRI3h4eMDV1RXOzs5qg+wq\njRw5Er///ju++uorvPXWW6Xmdffu3UhJSUFYWBj69euHfv36Yd++fbh16xZ27twppDtx4gTi4uKw\nefNmDBkyBD169MC+ffvw9OlTrFu3rty8x8TEID4+Hl5eXpUrfBWoquP1Mv5d9+7dG4aGhti+fXtN\nZwXAKx7MlM1Sf//9N4YPHw4rKys4OjoiODhY5SQreQtdcv3ilE1kX3zxBVq1agVLS0uMGDEC//77\nL1JTUzFu3DjY2NigVatWpf7B3b17F6NHj4aVlRWaNWuGefPmITc3VyXN48ePsWTJErRu3RqmpqZo\n06YNVq9erZLv6OhoyGQyHDt2DO+//z7eeOMNvPnmm+XWizb7L+nnn3/G+PHj0bJlS5ibm6NDhw5Y\ntmyZxvWOHTuGPn36wMrKCjY2NujRowdOnjxZ6rYfP36MESNGwN7eHteuXSs1XVnHY/PmzWjdujWs\nra3Rv39/XL9+vZxaeFamwYMHo1mzZjA3N4eTkxP8/PyE5RkZGZg9ezbat28PCwsLtGrVClOnTsW9\ne/c05uvGjRsYPHgwLCws4OjoiL179wIA9u7dC2dnZ1hZWWHgwIFqzbyOjo6YNm0adu/ejbZt20Iu\nl6Nbt26Ijo4utwzanCelSU1NxfTp04WvB3Tp0gXh4eEq5WrTpg0A4L333oNMJsOAAQNK3Z62dyEn\nT56Ei4sLXnvtNWFe06ZN0bFjR5w4cUIlnYWFBbp27SrM09fXxzvvvKOSrjS7d+9Ghw4dVPYDPDtn\nVqxYoTJPU9P6zJkz0bJlS1y9ehV9+/YVLqaKB1ylc+fO4e2334ZcLkfbtm2xa9cujXmqjr9r5e/X\npUuXMHXqVNjY2KBFixbw9/dXCYLK7V64cEHj+iV//7Tx7rvvYs+ePRVerzrUio9zjh07FmPGjIGP\njw9OnjyJoKAgWFpaYsyYMeWuq+kP9Ouvv0bLli3x+eefIy0tDQsXLsS0adOQmZmJ/v37Y8qUKThy\n5Ag+/vhjODg4oFevXirrT5s2DUOGDMG0adNw6dIlBAcHIycnByEhIQCeNe28++67SExMxPz58+Hg\n4ICLFy9i5cqVePDggdrzJn9/f/Tq1Qtbt24tNyhps39Nbt26hVatWmHUqFEwMDBAQkICgoODhS8U\nK23ZsgUBAQEYMGAAfH190bhxY/z666+l/qE8ePAAI0aMwIMHD3D69GnhkyOl0XQ8wsPD8eabbyI4\nOBh5eXlYvHgxRo8ejYsXLwof5Szp0aNHGDJkCDp06IBNmzahcePGSElJwcWLF1Xypquri48++ggm\nJiZIS0vD+vXr0adPH1y8eBH16tVT2ebEiRMxceJEfPDBB9i6dSvee+89JCQk4NKlS1i2bBmePHmC\ngIAATJkyRaW5VCKR4MKFC7h69SqWLFmCunXrYt26dRg2bBjOnz+v9pkfpYqeJ8Xl5OSgf//+ePjw\nIZYsWQJLS0vs378f06dPx3///YcJEyZgwoQJcHBwwMSJEzFv3jz06dMHenp6ZR4fbVy/fl1jULS3\nt8fRo0dV0rVo0UJjuq+//hqPHz9Gw4YNS93P999/j5EjR2pcVlrgLTk/OzsbU6dOhbe3NwICArB3\n717MmTMHtra2eOuttwAAiYmJGDZsGJydnbFjxw7k5eVhxYoVyMnJUTn/qvvvevr06Rg6dCi++uor\nxMfHY8WKFTA0NMSCBQvKXbeyOnXqhLVr1yIhIUHjsXqRakUw8/X1xejRowEA3bp1w48//ohDhw5p\nFcw0XeE2aNAA+/btE5pbEhISEBISgkWLFmHu3LkAgK5du+L48eM4cuSIWjDr06cPli5dCgBwc3OD\nRCLBp59+Cj8/PzRr1gwHDx5EbGwsTpw4IXwl4O233wYAfPbZZ/jggw+ED0sCgLOzs1bNLuXtf+7c\nuXjjjTc0ruPh4aFSJy4uLmjcuDFmzpyJ1atXw9DQEA8fPsSyZcswcOBAlas1d3d3jdu8desW3n33\nXejp6eHbb79V+1S6JpqOh66uLvbv36/ywzFx4kT8/PPP6NChg8btJCUlISsrC4GBgXBwcAAAdOnS\nRThPAMDW1lZldP3CwkJ06NABjo6OOHPmjNoP8qxZszBixAgAQJs2bXDy5El8/fXXuHLlivCcKTU1\nFQEBAbh9+zasrKyEMv377784c+aMMDJ4t27d4OjoiJUrV2LLli0ay1DeeTJ79mwYGxtrXDc0NBR/\n//03jh8/ji5dugAAevToAYVCgeXLl2PcuHHCHSYAvP7661XWxJuZmQlDQ0O1+TKZDJmZmcL0gwcP\n1O6qlOmU2yktmN26dQvp6enP/QObnZ2NsLAw4e7Q1dUVZ8+exaFDh4RgtmrVKujr6yMiIgINGjQA\nALi4uKBt27YwNzcXtlXdf9fDhg1DQEAAgGfnz6VLl3Do0KFqDWYtW7YEAPzyyy81Hsxe6WZGpT59\n+qhMt2jRQmPPKW25ubmpPDews7MD8OzHQEkqlaJZs2YaH1QPHjxYZXrIkCF4+vQpLl++DAA4e/Ys\nrK2t4eLigoKCAuE/d3d3PHnyROXuAUCZTT+alLb/n3/+udR1lFfwTk5OMDMzg4mJCWbMmIGioiL8\n9ddfAJ592TknJwcTJ04sNw/Xr19Hnz59YG1tjWPHjmkVyErj7u6uEsiUwamsY/zGG2/AwMAAs2fP\nRnh4eKlpt2/fji5dusDKygrGxsbCj7uyzMUVv2gxNDSEqakp2rdvr9JhQnmu3LlzR2VdZVOmUuPG\njdG7d2+1Y11cRc+T4n766SdYWloKgUxp2LBh+Pfff5GYmFjqui/K83SeUH7N+HnOKwBo1KiRSjOn\nrq4ubG1tVY5ffHw8evXqJQQyALC0tFT7mGR1/12X/J1zcHB4rt85bSiDr0KhqNb9aKNW3JmVfM6i\nq6ur1W17aUpeVdatW1fjfB0dHY37Kfn5bxMTEwAQnsWkp6fj1q1bGq+qJRKJ2ifF5XJ5hfJf3v41\n8fHxwblz5/Dhhx/C0dERDRs2xOXLl+Hn5yeUUZmv8r47BDz7MX3w4AE++eSTMpuKtFGy3pXflCrr\nGOvr6+PYsWNYuXIl/Pz8kJ2djRYtWiAgIED4HpOyydTX1xc9evSAoaEhCgsL0bNnT43b1nRelHau\nlFxf0yfhTUxMyjwm5Z0nDx48KHXdBw8eaOzhp5xX1rrPy9DQUOUOrHieiv+tGhoaasyHcp6mu7uq\npmkfdevWVTl+CoWi1OOXkpIiTFf337Wm37mXseNIdakVwaw89evXBwA8efJEZX7Jk6uqpKWloXnz\n5sK08ipS2STRpEkTNG3atNSHyOU9V3re/ZeUm5uLkydPYsGCBZg+fbow//fff1dJp7xKu3v3brkf\nIZw0aRKysrIwffp0SKVSIYC8SI6OjtizZ49wV7pmzRpMmjQJFy5cgL29PSIiIuDm5oZly5YJ61TX\nO4Ka3oNSKBRlXhgYGRlV+jyRyWQa7y6V+ajO9/ns7e2RkJCgNv/69esq56W9vT2ioqI0prO2ti7z\nIkh5gabpb7hevXpqf+ulBW9tOtKYmZmVevyK310+z/GqCtXxO5eRkQFA88XYi1Yrmhk1KX6SWVtb\nA4BKT7qCggJERUVVy3siR44cUZk+dOgQ6tSpg/bt2wMAevbsiTt37qBRo0ZwcnJS++95m07K239J\neXl5KCwshI6O6rVPyZeqlc/RSvtjLU4ikWDlypXw8vKCl5eXyoP/F01Z9oULF+Lp06dCE9t///2n\nVubQ0NBqycOlS5dUmq6ys7Nx+vRptWd+xc/HHj16VPo86dq1K+7cuYO4uDiV+QcPHoSpqWm1fhG5\nb9++uHjxosqFQUpKCuLj49G3b1+VdHfv3lXpfffw4UOcOnVKJZ0m1tbWMDExUbvgUi4r2Wv222+/\n1bgdbf7+XVxccObMGZV35G7fvq1Wt89zvKqCpt854NkXxiv7O6fcVtu2bZ8vc1Wg1t6ZFb/icnZ2\nxuuvv47Fixfj6dOn0NXVxfbt25Gfn18t7/WcOXMGixcvhru7Oy5fvozg4GCMGjUKr7/+OgBg+PDh\nCA0NhYeHB3x8fNCqVSvk5+fjn3/+walTpxAaGqrSPl/V+y/JwMAAHTp0wIYNG2BmZoYmTZpg7969\nSE1NVUmnp6eHxYsXY/78+Rg/fjyGDh0KPT09/Pbbb6hfvz6mTZumtu2goCBIpVJMmTIFT58+haen\nZ6XLVRGnTp3Crl27MGDAANjY2ODx48fYsmUL9PT04OLiAuDZRcXatWuxZs0atGvXDj/++CMiIyO1\n3kdFzh1TU1MMGTIEAQEBQm/G3NxczJ8/v9RtPs95Mnr0aGzevBnjxo3DokWLYGFhgfDwcPzwww9Y\nt25dpX7c/vvvP5w+fRoAcOPGDQAQLlKaNm0KJycnAM9eft+6dStGjx6NRYsWAQA++eQTWFlZYdKk\nScL2+vXrBxcXF0yfPh1Lly6FgYEB1qxZA4lEglmzZpWbHzc3N8TExKjNHzJkCFatWoXVq1ejffv2\n+OmnnxAREaFxG6Udw+Lz/fz8cOTIEQwZMgTvvfce8vPzsWLFCpiZmVXZ8aoKcrkcXbp0weeffw4j\nIyMYGxsjPDwcKSkpauXU9tyNjY2Fubl5jXf+AF7xYFbaW+wl50ulUoSFhcHPzw8+Pj6QyWSYOXMm\n2rdvr9Kbrbx9aTvvyy+/xPr167Fjxw7o6upiwoQJKt1ydXR0EBERgc8//1x4wbRhw4Zo1qwZevfu\nLTwTKm0f5eWzvP1rsm3bNsydOxfz5s1D/fr14enpibFjx6p1fZ46dSpMTU2xfv16TJ8+HXXr1kXz\n5s0xb968Ure9fPly6OjoYOrUqSgqKsKQIUNKzXtV3Snb2tqiYcOGWLlyJdLS0tC4cWM4OzvjyJEj\nQnPr/PnzkZWVhZCQEOTl5aFLly44dOiQ8KNcXr607f4tkUjQuXNndOnSBUuXLhWaaQ8cOIBmzZqV\nuiMqWewAAAGBSURBVJ+KnCclNWzYEN988w0WL16MwMBAPHr0CHZ2dvjyyy8xbNiw8itQA4VCodL5\nRyKRCNOjR4/Gxo0bhX1HRkZi4cKFQieibt26ISgoSKXpUCKRYP/+/UIv4by8PLi4uODYsWNaPZed\nMGECBgwYgL///lulHufMmYOsrCxs3boVa9euRe/evbFlyxaVDlzK/Wvz+/Hmm2/iwIED+OijjzB5\n8mRYWFhg9uzZiIuLU7mrrO6/6/LyCQBffvkl5syZA39/f9SvXx/jxo1D165dMXv2bK22V1xRUREO\nHTqEcePGVSiv1UWSmZn5YocUICIVrVu3hqura6ld8KnyevfujQ4dOuCTTz6p6ay8cs6cOYPJkyfj\n559/Fp5R1qRa+8yM6GXxooeoqk2CgoKwe/fuGhlo+FWnfDf1ZQhkwCvezEgkBmIdjFYMnJ2dq/1d\nq9pKU0/TmsRmRiIiEj02MxIRkegxmBERkegxmBERkegxmBERkegxmBERkegxmBERkej9H+HOt7ae\nmk13AAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "probs = stats.binom.pmf(range(101), 100, .26)\n", "k = np.arange(0,101,1)\n", "dist = Table([k, probs], ['k', 'P(k black in 100)'])\n", "dist.hist(counts='k', bins=np.arange(-0.5, 100.6, 1))\n", "plots.xlim(0,100)\n", "plots.ylim(0, 0.1)\n", "plots.xlabel('number black in sample of 100 (under null)')\n", "plots.title('Probability Distribution')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "###The c.d.f. of the binomial\n", "We have seen the cumulative distribution function (c.d.f.) of the normal distribution evaluated at any point gives the proportion of area under the normal curve to the left of the point. So also the c.d.f. of the binomial distribution evaluated at a value gives the area of the bars of the histogram from 0 through the value. \n", "\n", "The function is ``stats.binom.cdf``. It takes as its arguments the value $k$, and the binomial parameters $n$ and $p$. It evaluates to the total probability of the bars $0, 1, 2, \\ldots , k$.\n", "\n", "####Example 1.\n", "To find the $P$-value of the test using the binomial distribution, we will start by finding the chance of 8 or fewer black men in the sample:" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "4.7347949978893112e-06" ] }, "execution_count": 6, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Chance of \"8 or fewer black in sample\"\n", "# = all the area in the bars 8 and below\n", "\n", "stats.binom.cdf(8, 100, 0.26)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The chance is tiny, no matter whether you use a one-tailed test of a two-tailed test. This is consistent with there being no visible probability over the 0-8 range in the probability histogram above." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We can use the binomial distribution to find $P$-values in other contexts too.\n", "\n", "####Example 2.\n", "\n", "In a blind taste test, 38 out of 64 people liked Drink A better than Drink B. A skeptic has an argument with the manufactuer of Drink A. Here are their positions.\n", "\n", "**Skeptic:** That could have happened just by chance.\n", "\n", "**Manufacturer of Drink A:** No way was that by chance.\n", "\n", "State null and alternative hypotheses, and perform an appropriate test.\n", "\n", "**Formal null hypothesis:** The test results are like the number of heads in 64 tosses of a fair coin.\n", "\n", "**Formal alternative hypothesis:** The test results are not like heads in tosses of a coin.\n", "\n", "If the null hypothesis were true, we would expect 32 \"heads\", that is, people who prefer Drink A. We got 38 heads. So to find the $P$-value, we will need to start with the chance of getting 38 or more heads in 64 tosses. We can calculate this using ``stats.norm.cdf`` after noting that the complement of \"38 or more\" is \"37 or fewer\"." ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.084321455719851723" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Chance of 38 or more heads in 64 tosses of a fair coin:\n", "\n", "1 - stats.binom.cdf(37, 64, 0.5)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "If the taste test had been based on tosses of a coin, there would be over an 8.4% chance of getting 38 or more \"preferences\" of Drink A. If you use the 5% cutoff, you would be justified in saying the data still support the null hypothesis, whether you use a one-tailed test or a two-tailed test." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "####Example 3.\n", "Find the chance of exactly 50 heads in 100 tosses of a fair coin.\n", "\n", "This is the chance of 0 through 50 heads minus the chance of 0 through 49 heads:" ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.079589237387179379" ] }, "execution_count": 8, "metadata": {}, "output_type": "execute_result" } ], "source": [ "stats.binom.cdf(50, 100, 0.5) - stats.binom.cdf(49, 100, 0.5)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Notice that the chance is only about 8%. The chance of 500 heads in 1000 tosses is even smaller, just about 2.5%." ] }, { "cell_type": "code", "execution_count": 9, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.025225018177683411" ] }, "execution_count": 9, "metadata": {}, "output_type": "execute_result" } ], "source": [ "stats.binom.cdf(500, 1000, 0.5) - stats.binom.cdf(499, 1000, 0.5)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Notice that the chance of *exactly half* heads decreases as the number of tosses increases; indeed, it goes to zero. The law of averages says that the chance of *about half* heads increases. The word *about* is crucial; later in this section we will discuss how to quantify it." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The ``stats`` module contains a function that allows you to calculate the chance of exactly $k$ successes in a binomial model, without using ``stats.binom.cdf`` twice. The function is called ``stats.binom.pmf``, for \"probability mass function\". Its arguments are the same as for ``stats.binom.cdf``, but it evaluates to the probability of exactly $k$ successes." ] }, { "cell_type": "code", "execution_count": 10, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.079589237387178879" ] }, "execution_count": 10, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Probability mass function at k\n", "# = chance of exactly k heads\n", "\n", "stats.binom.pmf(50, 100, 0.5)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "How does Python calculate the binomial probabilities? Let us see if we can figure out the answer. We will do so in a simpler context.\n", "\n", "**Example 4.** In roulette, there are 18 chances in 38 to win a bet on \"red\". Suppose you bet on red on 5 different spins of the wheel. What is the chance that you win exactly 3 times?\n", "\n", "The number of bets won has the binomial distribution with parameters $n=5$ and $p=18/38$. Here is a histogram of the distribution, and the chance of exactly 3 wins." ] }, { "cell_type": "code", "execution_count": 10, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "" ] }, "execution_count": 10, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAaoAAAE3CAYAAAD7dwVrAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XtcjHn/P/DXmLSOMTpNSe1SJCQhWqdqHdchWXJoHZJz\nbnZtDvnabLgdcraKm5R1yAohh7WsDcNWLFbWTbLkcGNqa0NRo9HvD4/mZ8x0UJmuxuv5eHjsznV9\nruvzec9M85rrOKKsrKwCEBERCVS1yh4AERFRcRhUREQkaAwqIiISNAYVEREJGoOKiIgEjUFFRESC\nxqCiCiWRSODo6Phe++jbty8kEgnu379f6mVatWqlMa6dO3dCIpEgKiqqxLZVxeTJk9/5ualIxT2n\nEomkUsZUSCaTQSKRYOnSpZU6Dnp3DCo9I5FI1P41aNAAH3/8Mfr06YOtW7fi1atX730MIpFIcH2I\nRKIil3l7ura2S5Ys0foBXNHu3r2r8RpKpVLY2trCw8MDX3/9NU6dOoWCAu2XPxZXZ2mU5UuAtv61\njeF9vy8Kg2jKlCnFttPF+5MqlkFlD4AqnkgkwuzZswEA+fn5uHPnDg4fPoyEhAScOnUKW7durdwB\nVoCiPqiLEhsbWyFtdfUhV69ePUyePBnA69cwKysL169fx44dO7B161a0a9cOmzZtwieffKK23Pz5\n8zFjxgxYWFiUue/y1NivXz+4uLjAzMyszOsor6LG365dO1y4cAHGxsY6HhGVF4NKTxUGVaH//ve/\n6N69Ow4ePIj4+Hi4urpW0sgqx8cff1whbd81IMuqXr16Gq8hAMjlcgQEBODw4cMYMGAATp06pfbB\na25uDnNz83L1XVBQUOY6jYyMYGRkVK7+y6uosdesWRO2trY6Hg1VBO76+0A4ODigU6dOAICLFy8C\nUN9VkpKSgtGjR6NJkyZo0KABrl69CgBQKBRYt24dOnfuDEtLSzRq1Ag9evTAjh07iu3vyZMn+Oab\nb2Bvbw+pVApXV1eEh4drbbtz506MHDkSrVu3hoWFBaytrdG7d2/8+OOPRa5fJBJBqVTi+++/R7t2\n7SCVStGyZUvMmzcP2dnZGu3f5bjT22379u2LkJAQAIC/v7/abrl79+4hODgYEokEu3bt0rq+mzdv\nQiKRoE+fPqXqvzjm5ub44Ycf0KlTJzx48AArV65Um1/UMaqffvoJnp6esLe3h7m5Oezt7dG7d2+s\nWrVK1UYikeC3334DALRu3VpV49vPhUQiQWpqKjZs2ABXV1dIpVL4+PgAKPoYVSGFQoEFCxagVatW\nMDc3h7OzM5YvX46XL1+qtSvcBVrUbry361yyZAkGDBgAANi1a5faa1Q4luKOUaWmpmLKlClwcHCA\nmZkZmjZtCl9fX1y7dk2jbWGNS5cuRVJSEry9vWFtbQ1LS0v07dsX58+f1zpmKjtuUX1ACr9pvr1r\n5M6dO+jevTvs7e0xfPhwPHv2DLVr18bLly8xePBgyGQy2NnZwc/PD3l5eTh8+DD+9a9/ISEhAevX\nr9foR6FQYODAgcjOzoa3tzdyc3Nx8OBBzJw5E7du3dL4oAgICEDz5s3RuXNnSKVSZGRk4MSJE5g8\neTJSUlLw7bffaq1lzpw5SExMxKBBg2BkZITjx48jNDQUCQkJOHr0KAwNDdWWeZddWm+29fHxgUgk\nwrlz59C3b1+0atVKNa9evXoYO3Ys1q1bh61bt2L48OEa64qMjAQAjB07ttT9F6datWqYOXMmzp07\nh3379mHx4sVFjh0Atm7diq+//hrm5ubo1asXTE1NkZGRgRs3biAyMhIzZswA8HorPCoqCvfv38fk\nyZNRr149VY1vmz17NhITE9GrVy/07t0bderUKXYMwOvXbNSoUUhKSsKAAQNQvXp1HD58GIsXL8Yf\nf/yBnTt3aixT3Gv25rwuXbrg/v372LVrF1q1aoW+ffuq5r39BeXtdf7xxx/w9PTEs2fP0KtXL7Ro\n0QK3b9/GoUOHcOzYMURFRcHd3V2j/8uXL2PdunVwcXHBmDFjcP/+fcTGxsLT0xMymYxbbxWIQfWB\n+PPPP3H27FmIRCK0a9dObV5CQgK++eYbzJs3T236mjVrIJPJ8Nlnn+HHH3+EgcHrt8u8efPQu3dv\n7Ny5Ez169ICnp6faco8fP8bHH3+M48ePo3r16gCAOXPmwN3dHf/5z38waNAguLi4qNrHx8dr7G4r\nDMm1a9fCz88PlpaWGjX9/vvvOHv2LBo2bAgA+PbbbzFy5EgcPXoUoaGh+Prrr8v2ZL1lxIgRuHv3\nriqo3g6jevXqoUePHvj5559x7do1tGjRQjUvNzcXu3btgrGxMQYOHFgh4wEAV1dXiMVipKen4+7d\nu7CxsVHNe3vXV2RkJD766COcPXsWJiYmavP++ecf1f/PmTMHMplMFVSNGjUqsv8///wTMpms2Dba\n/PXXX4iPj1eF3//93/+hb9++OHr0KPbt24cvvvii1Ot6s87OnTsDgCqotO02LWodkyZNwtOnT7Fh\nwwYMGzZMNe/06dPw8vLChAkTkJSUhJo1a6ote/z4cYSFham9Hwq/FGzcuBErVqwodS1UPO7600MF\nBQVYunQplixZgkWLFmHcuHH47LPPkJeXB09PT3To0EGtvbm5udY/7G3btkEkEuHf//63KqSA18ch\ngoKCVG3eJhKJMH/+fFVIAUCDBg1U39zf/uas7ZhQ9erV4efnB6VSiTNnzmitc9KkSaqQAl5vaQQH\nB0MkEpW4a7KijRs3DgA0TlTZv38/njx5ghEjRqg9H+VlaGiIBg0aAAAyMzNLbC8Wi9Vew0JlPWV8\n2rRp7xxSADBz5ky1LbQaNWqoviCV9zUry3G1xMREJCcno23btmohBQDdunVDv3798Pfff+Po0aMa\ny3bs2FHjS8uXX34JsViMS5cuvfNYqGjcotJTy5YtA/A6NIyMjODs7IyhQ4di9OjRGm1btmyp8SH6\n7Nkz3LlzB+bm5mjWrJnGMl27dgUAJCUlacwzMDDQCEMAqmNkhce/Ct2/fx9r167F6dOn8b///Q8v\nXrxQm//48WOtNRau7022trYwNTXFnTt3kJOTg9q1a2tdtqJ1794dH3/8MXbv3o3g4GDUqlULwOvg\nqlatGnx9fSu8z6J25b7N29sb8+bNQ4cOHeDl5QVXV1d06NABUqm0zH23bdv2nZcRiURaX7PCE3ve\nfl/owpUrVwD8//fz29zc3HDo0CEkJSVpbO21adNGo72BgQHMzMyQlZVV8YP9gDGo9JBIJCrVt+xC\n2k4lfvr0aZHzAKBWrVqoW7cunjx5ojHP2NhY64dn4W6nwnUDrw9ie3h44MmTJ/j000/x2WefwcjI\nCGKxGHfv3sWuXbuQl5dX6nEDgKmpKdLT01XH2nRl7NixCAoKwt69ezFq1Chcu3YN58+fh5ubm8Zp\n5OWVm5ur2m339u68t/n7+8PU1BQREREIDw/Hf/7zHwBA+/btERQUpNpt9i7Kevq5tuVq1KiBunXr\nqr0vdKWk93nhdG3vc23H7oDXW69KpbKCRkgAd/0RtH8jLzzFOC0tTesyz58/x7Nnz7SeipyRkaF1\nN0x6erraugEgNDQU//zzD9avX49Dhw5h6dKlmDt3LmbPng0PD49ix13U2Ar7qVu3brHLV7Qvv/wS\nNWrUUO3+K/zv+9iaio+Ph1KphLm5OaysrEps7+3tjWPHjiE1NRUxMTEYN24crly5giFDhuCvv/56\n5/7Leq2VXC7XmJabm6vxXqpW7fVHU35+vtb1aAuOsijpfV443so+5f5Dx6AirerWrYvGjRtDLpcj\nOTlZY37hcSMnJyeNefn5+UhISNCYfu7cOQDqZ2Hdvn0bIpFIdWqxtvZFOXv2rMa0lJQUpKWloXHj\nxhW6NSUWiwGg2G/KEokEXl5euHz5MuLj47F7925IpVL069evwsZROIbly5cDAIYMGfJOy9apUwfu\n7u5Yvnw5pk6ditzcXJw4cUI1vzR1llVBQYHW17TwlPg33xf169cHAPzvf//TaJ+fn4+kpCSNsCzL\n2Avfv0UdBz19+rRaO6ocDCoq0siRIwG8PsvvzW+2T58+xYIFC9TavKmgoAALFiyAQqFQTcvIyMCq\nVasgEolU19wAgI2NDQoKCiCTydTWcfLkSa0narxp48aNePDggeqxUqnE/PnzAUCtj4pQeOJCSbcW\nKjypYty4cXj27Bm+/PJL1dZBRXj8+DHGjBmD+Ph42NjYqE5QKU7hh622dQFQHU8DSldnee5csXz5\ncrWtoRcvXmDRokUA1F+zunXrolmzZkhISMB///tf1fTCE4W0BVhpX6M3dejQAc2aNcPFixcRHR2t\nNu/06dM4dOgQTExM8Pnnn5d6nVTxeIyKiuTv749ffvkFv/zyCz799FP07NkTL1++xKFDh/Do0SMM\nHz5c49R0AJBKpcjNzcWnn36KPn36IDc3F7GxsUhLS8OkSZPQvn17VVs/Pz/s3LkTY8aMwYABAyCV\nSnH9+nWcPHkSXl5eiImJKXJ8HTp0QJcuXeDl5YW6devixIkTuH79Otq2bYupU6dW6HPRrVs3VKtW\nDRs2bEBmZqbq2MXEiRPVdgs5OzvDyckJf/zxB8RiMcaMGVOm/rKysrBkyRIArwP4yZMnuH79OhIT\nE5Gfnw8XFxds2rRJteVRnJEjR6JOnTpo164dGjVqBJFIhIsXLyIhIQGNGzeGl5eXqq2HhwcOHjyI\n6dOno3///qhTpw7q16+P8ePHq9qU5+4cTZs2haurKwYMGACxWIwjR47g7t276Nu3r8bJCtOnT8eU\nKVPQu3dvDBw4ELVq1UJiYiIePnyIzp07a2xRN23aFA0bNkR8fDwmTJiAxo0bQywW4/PPP1e7ZOBt\nGzZsgKenJyZNmoT9+/fDwcEBd+7cQWxsLGrUqIGNGzeiRo0aZa6Zyq9UQRUeHo5169YhLS0N9vb2\nWLJkSZG34Llx4wYCAgJw8+ZNPH36FFKpFF988QXmzJmjOrNMJpNp3dVz4cIFXiQnINWrV0dMTAw2\nbNiA6OhobNmyBWKxGM2bN0dgYKDWrSng9anTBw8eRHBwMPbu3YvMzEw0btwYM2fOVG1xFGrRogUO\nHTqERYsW4fjx41AqlWjZsiV27NgBIyMjrUFVeNPTJUuWIDY2Ftu2bcO9e/dgamoKf39/BAYGapzF\nWNRNUkt781Q7Ozts2rQJ33//PXbu3IkXL15AJBJh2LBhGscvfHx88Mcff6B79+5qp8+/i2fPnqnu\nhmFoaAgjIyNYW1tj5MiR8PT0RLdu3bQup62m4OBg/Prrr7h69SpOnjwJAwMDNGrUCHPmzMHEiRPV\njuWNHDkSDx48wN69e7Fhwwa8fPkS1tbWqqAq6aa3xT2nIpEIW7duxdKlS7F3717I5XJYWlpi7ty5\nWq95Kzz1+/vvv8fu3btRt25deHh4YOfOnVi0aJFGP9WqVcPOnTvx3Xff4eeff8azZ88AAFZWVsUG\nVZs2bXD69GksX74cp06dwsmTJ1G/fn30798f33zzDVq2bFmqGt+cTxVLlJWVVezXo5iYGEycOBEr\nV66Eq6srNm/ejKioKCQkJGg9iHvnzh0kJCTA0dER9erVw9WrVzF9+nQMHToUCxcuBPD/gyoxMVHt\nOg5jY+MK3U1CVBmmTZuG7du3Y/fu3ejZs2dlD4eoyisxqD777DO0atUKa9asUU1r27YtPD09VRd9\nlmTu3Ln4/fffcfz4cQD/P6j++usv1X5lIn3w8OFDODs7w9LSkhd9ElWQYjdfFAoFrly5onGfKw8P\nDyQmJpaqg9u3b+PXX3/Veq8sNzc32Nvbq+6NRVRV7dmzB0uXLsXAgQOhUCgwd+7cyh4Skd4o9hhV\nRkYGlEqlxsVwJiYmRV53UKhnz55ISkpCXl4eRowYgcDAQNU8CwsLrF69Gm3atIFCocDu3bvh6emJ\nI0eOfHA/P0H64YcffsBvv/0GS0tLBAcHY/DgwZU9JCK98d7O+ouMjEROTg6uXr2KoKAgBAUFqU5p\ntrW1VTtpon379rh37x7WrVvHoKIq6fDhw5U9BCK9VWxQGRsbQywWa2w9paenl/jjbIVnOzVt2hRK\npRJTp07F/PnzVRflvc3Z2Rn79+9/l7ETEdEHoNhjVIaGhnByckJcXJza9Li4OK03HS2KUqnEq1ev\n8OrVqyLbXL16tVw3ySQiIv1U4q4/f39/TJw4Ec7OzujQoQMiIiKQlpamun9ZcHAwLl26hIMHDwIA\nfvzxR9SsWRPNmzeHoaEhLl++jIULF2LQoEGqa1vCwsJgY2MDe3t7KBQKREdH4+jRo9i+fft7LFVY\nUlJSYGdnV9nDqHCsq+rQx5oA1qWPSgwqLy8vZGZmYsWKFZDL5XBwcEB0dLTqGiq5XI7U1FRV++rV\nq2PVqlW4ffs2CgoK0KhRI4wfP17tJ6Xz8/MRFBSEhw8fokaNGmjevDn27NmD7t27V3yFRERUpZV4\nHRW9H/r67Yh1VR36WBPAuvQRbwNBRESCxqAiIiJBY1AREZGgMaiIiEjQGFRERCRoDCoiIhI0BhUR\nEQkag4qIiASNQUVERILGoCIiIkF7b79HRfS+pWVkIT3jiU76ys5W4NrNu++9H1PjejAzrv/e+yGq\nShhUVGWlZzzBgjVROukrJycHtWvXfu/9BH01gkFF9Bbu+iMiIkFjUBERkaAxqIiISNAYVEREJGgM\nKiIiEjQGFRERCRqDioiIBI1BRUREgsagIiIiQWNQERGRoDGoiIhI0EoVVOHh4XB0dIRUKoWbmxvi\n4+OLbHvjxg3069cPTZs2hVQqhZOTExYuXIiXL1+qtTt79iy6deumahMZGVm+SoiISC+VGFQxMTEI\nDAxEQEAAZDIZXFxcMGTIEDx48EBr+48++gg+Pj7Yv38/fv/9dyxZsgTbt2/HggULVG1SU1Ph7e2N\njh07QiaTYcaMGZg1axZiY2MrrjIiItILJd49PTQ0FD4+Phg1ahQAICQkBCdPnkRERASCgoI02n/y\nySf45JNPVI+trKwgk8mQmJiomhYZGQlLS0ssW7YMAGBnZ4fff/8d69evx4ABA8pdFBER6Y9it6gU\nCgWuXLkCd3d3tekeHh5qwVOc27dv49dff1Vbx/nz57Wu8/Lly1AqlaUdOxERfQCKDaqMjAwolUqY\nmZmpTTcxMUFaWlqxK+7ZsyekUinatm2Ltm3bIjAwUDUvPT1dY52mpqbIz89HRkbGu9ZARER67L2d\n9RcZGYkzZ84gPDwcp06d0rqbkIiIqCTFHqMyNjaGWCzW2HpKT0+Hubl5sStu2LAhAKBp06ZQKpWY\nOnUq5s+fD7FYDDMzM63rNDAwgLGxsdb1paSklFhMVaOPNQG6qys7W4GcnByd9AVAJ31lZ2fr9H3B\n92DVok912dnZlbptsUFlaGgIJycnxMXFwdPTUzU9Li4OAwcOLHUnSqUSr169wqtXryAWi+Hi4oLD\nhw+rtYmLi4OzszPEYrHWdbxLUVVBSkqK3tUE6Lauazfv6uTn4QHd/RR9nTp1YGdn8977AfgerGr0\nta7SKPGsP39/f0ycOBHOzs7o0KEDIiIikJaWBl9fXwBAcHAwLl26hIMHDwIAfvzxR9SsWRPNmzeH\noaEhLl++jIULF2LQoEGoXr06AMDX1xebN29GYGAgxowZg8TEROzatQtbtmx5j6USEVFVVGJQeXl5\nITMzEytWrIBcLoeDgwOio6NhZWUFAJDL5UhNTVW1r169OlatWoXbt2+joKAAjRo1wvjx4zFlyhRV\nGxsbG0RHR2Pu3LmIiIiAhYUFQkJC0L9//4qvkIiIqjRRVlZWQWUP4kOkr5vxut71t2BNlE760tWu\nvwXfjES+ji7RyM7ORp06dXTSl6lxPZgZ19dJX/zb0j8lblERke5kZj3Dmi0HdNKXrsIXAIK+GqGz\noCL9w5vSEhGRoDGoiIhI0BhUREQkaAwqIiISNAYVEREJGoOKiIgEjUFFRESCxqAiIiJBY1AREZGg\nMaiIiEjQGFRERCRoDCoiIhI0BhUREQkag4qIiASNQUVERILGoCIiIkFjUBERkaAxqIiISNAYVERE\nJGgMKiIiEjQGFRERCRqDioiIBK1UQRUeHg5HR0dIpVK4ubkhPj6+yLYymQzDhw+Hvb09LC0t0alT\nJ+zYsUOjjUQi0fh369at8lVDRER6x6CkBjExMQgMDMTKlSvh6uqKzZs3Y8iQIUhISICVlZVG+wsX\nLqBly5b4+uuvYW5ujpMnT+Krr75CjRo1MHjwYLW2iYmJkEgkqsfGxsYVUBIREemTEoMqNDQUPj4+\nGDVqFAAgJCQEJ0+eREREBIKCgjTaz5gxQ+3x2LFjIZPJEBsbqxFUJiYmaNCgQXnGT0REeq7YXX8K\nhQJXrlyBu7u72nQPDw8kJiaWupOnT5+qbTkVcnNzg729PTw9PSGTyUq9PiIi+nAUu0WVkZEBpVIJ\nMzMztekmJiZIS0srVQfHjh3DmTNncPz4cdU0CwsLrF69Gm3atIFCocDu3bvh6emJI0eOwNXVtQxl\nEBGRvipx1195JCQkYMKECQgJCUGbNm1U021tbWFra6t63L59e9y7dw/r1q1jUBERkZpig8rY2Bhi\nsVhj6yk9PR3m5ubFrjg+Ph5Dhw7F3Llz4evrW+JAnJ2dsX///iLnp6SklLiOqkYfawJ0V1d2tgI5\nOTk66QuATvrKV+brXU0AkJ2drdP3O/+2hM/Ozq7UbYsNKkNDQzg5OSEuLg6enp6q6XFxcRg4cGCR\ny507dw7Dhg1DYGAgJk2aVKqBXL16FVKptMj571JUVZCSkqJ3NQG6revazbuoXbu2TvrKycnRSV8G\nYgO9qwkA6tSpAzs7G530xb8t/VPirj9/f39MnDgRzs7O6NChAyIiIpCWlqbaSgoODsalS5dw8OBB\nAK+vkRo6dCjGjx+PwYMHQy6XAwDEYjFMTEwAAGFhYbCxsYG9vT0UCgWio6Nx9OhRbN++/X3VSURE\nVVSJQeXl5YXMzEysWLECcrkcDg4OiI6OVl1DJZfLkZqaqmq/a9cu5ObmYt26dVi3bp1qurW1Na5c\nuQIAyM/PR1BQEB4+fIgaNWqgefPm2LNnD7p3717B5RERUVVXqpMp/Pz84Ofnp3VeWFiYxuO3p71t\n2rRpmDZtWimHSEREHzLe64+IiASNQUVERILGoCIiIkFjUBERkaAxqIiISNAYVEREJGgMKiIiEjQG\nFRERCRqDioiIBI1BRUREgsagIiIiQWNQERGRoDGoiIhI0BhUREQkaAwqIiISNAYVEREJGoOKiIgE\njUFFRESCxqAiIiJBY1AREZGgMaiIiEjQGFRERCRoDCoiIhI0BhUREQlaqYIqPDwcjo6OkEqlcHNz\nQ3x8fJFtZTIZhg8fDnt7e1haWqJTp07YsWOHRruzZ8+iW7dukEqlcHJyQmRkZNmrICIivVViUMXE\nxCAwMBABAQGQyWRwcXHBkCFD8ODBA63tL1y4gJYtW2Lbtm2Ij4+Hn58fvvrqK+zdu1fVJjU1Fd7e\n3ujYsSNkMhlmzJiBWbNmITY2tuIqIyIivWBQUoPQ0FD4+Phg1KhRAICQkBCcPHkSERERCAoK0mg/\nY8YMtcdjx46FTCZDbGwsBg8eDACIjIyEpaUlli1bBgCws7PD77//jvXr12PAgAHlLoqIiPRHsVtU\nCoUCV65cgbu7u9p0Dw8PJCYmlrqTp0+fQiKRqB6fP39e6zovX74MpVJZ6vUSEZH+K3aLKiMjA0ql\nEmZmZmrTTUxMkJaWVqoOjh07hjNnzuD48eOqaenp6RrrNDU1RX5+PjIyMjTmERHRh6vEXX/lkZCQ\ngAkTJiAkJARt2rQp17pSUlIqaFTCoY81AbqrKztbgZycHJ30BUAnfeUr8/WuJgDIzs7W6fudf1vC\nZ2dnV+q2xQaVsbExxGKxxtZTeno6zM3Ni11xfHw8hg4dirlz58LX11dtnpmZmdZ1GhgYwNjYWOv6\n3qWoqiAlJUXvagJ0W9e1m3dRu3ZtnfSVk5Ojk74MxAZ6VxMA1KlTB3Z2Njrpi39b+qfYY1SGhoZw\ncnJCXFyc2vS4uDh06NChyOXOnTsHb29vzJkzB5MmTdKY7+LionWdzs7OEIvF7zJ+IiLScyWenu7v\n74+oqChs27YNycnJmD17NtLS0lRbScHBwfD09FS1l8lkGDJkCMaOHYvBgwdDLpdDLpfj77//VrXx\n9fXFo0ePEBgYiOTkZGzbtg27du3C1KlT30OJRERUlZV4jMrLywuZmZlYsWIF5HI5HBwcEB0dDSsr\nKwCAXC5Hamqqqv2uXbuQm5uLdevWYd26darp1tbWuHLlCgDAxsYG0dHRmDt3LiIiImBhYYGQkBD0\n79+/gssjIqKqrlQnU/j5+cHPz0/rvLCwMI3Hb0/TplOnTjh9+nRpuiciog8Y7/VHRESCxqAiIiJB\nY1AREZGgMaiIiEjQGFRERCRoDCoiIhI0BhUREQnae70pLQlDWkYW0jOe6KSv7GwFrt28q5O+8hQv\nddIPEVUuBtUHID3jCRasidJJX7q80elXfgN10g8RVS7u+iMiIkFjUBERkaAxqIiISNAYVEREJGgM\nKiIiEjQGFRERCRqDioiIBI1BRUREgsagIiIiQWNQERGRoDGoiIhI0BhUREQkaAwqIiISNAYVEREJ\nWqmCKjw8HI6OjpBKpXBzc0N8fHyRbfPy8jB58mR06tQJpqam6Nevn0YbmUwGiUSi8e/WrVtlr4SI\niPRSiUEVExODwMBABAQEQCaTwcXFBUOGDMGDBw+0tlcqlahZsyYmTpyInj17QiQSFbnuxMRE3Lx5\nU/WvcePGZa+EiIj0UolBFRoaCh8fH4waNQp2dnYICQmBubk5IiIitLavVasWVq1ahVGjRsHS0hIF\nBQVFrtvExASmpqaqf9WqcU8kERGpKzYZFAoFrly5And3d7XpHh4eSExMLHfnbm5usLe3h6enJ2Qy\nWbnXR0RE+qfYn6LPyMiAUqmEmZmZ2nQTExOkpaWVuVMLCwusXr0abdq0gUKhwO7du+Hp6YkjR47A\n1dW1zOso1BLmAAAgAElEQVQlIiL9U2xQvS+2trawtbVVPW7fvj3u3buHdevWFRlUKSkpuhqezuiq\npuxsBXJycnTSFwCd9ZWvzNe7uvSxJgDIzs7W6d+wPn5eAPpVl52dXanbFhtUxsbGEIvFGltP6enp\nMDc3L9voiuDs7Iz9+/cXOf9diqoKUlJSdFbTtZt3Ubt2bZ30lZOTo7O+DMQGeleXPtYEAHXq1IGd\nnY1O+tLl35Yu6WtdpVHsMSpDQ0M4OTkhLi5ObXpcXBw6dOhQoQO5evUqpFJpha6TiIiqvhJ3/fn7\n+2PixIlwdnZGhw4dEBERgbS0NPj6+gIAgoODcenSJRw8eFC1zI0bN6BQKJCRkYGcnBxcvXoVBQUF\ncHR0BACEhYXBxsYG9vb2UCgUiI6OxtGjR7F9+/b3VCYREVVVJQaVl5cXMjMzsWLFCsjlcjg4OCA6\nOhpWVlYAALlcjtTUVLVlvL29cf/+fQCASCRC165dIRKJkJmZCQDIz89HUFAQHj58iBo1aqB58+bY\ns2cPunfvXsHlERFRVVeqkyn8/Pzg5+endV5YWJjGtKSkpGLXN23aNEybNq00XRMR0QeOV9gSEZGg\nMaiIiEjQGFRERCRoDCoiIhI0BhUREQkag4qIiAStUu71R0QfFgOxGNdu3tVJX9nZCp31ZWpcD2bG\n9XXS14eMQUVE711m1jOs2XJAJ33p8h6GQV+NYFDpAHf9ERGRoDGoiIhI0BhUREQkaAwqIiISNAYV\nEREJGoOKiIgEjUFFRESCxqAiIiJBY1AREZGgMaiIiEjQGFRERCRoDCoiIhI0BhUREQkag4qIiASN\nQUVERIJWqqAKDw+Ho6MjpFIp3NzcEB8fX2TbvLw8TJ48GZ06dYKpqSn69euntd3Zs2fRrVs3SKVS\nODk5ITIysmwVEBGRXisxqGJiYhAYGIiAgADIZDK4uLhgyJAhePDggdb2SqUSNWvWxMSJE9GzZ0+I\nRCKNNqmpqfD29kbHjh0hk8kwY8YMzJo1C7GxseWviIiI9EqJQRUaGgofHx+MGjUKdnZ2CAkJgbm5\nOSIiIrS2r1WrFlatWoVRo0bB0tISBQUFGm0iIyNhaWmJZcuWwc7ODqNGjcLw4cOxfv368ldERER6\npdigUigUuHLlCtzd3dWme3h4IDExscydnj9/Xus6L1++DKVSWeb1EhGR/ik2qDIyMqBUKmFmZqY2\n3cTEBGlpaWXuND09XWOdpqamyM/PR0ZGRpnXS0RE+odn/RERkaAZFDfT2NgYYrFYY+spPT0d5ubm\nZe7UzMxM6zoNDAxgbGysdZmUlJQy9ydUuqopO1uBnJwcnfQFQGd95Svz9a4ufawJ0N+6srOzdfrZ\npE+fg3Z2dqVuW2xQGRoawsnJCXFxcfD09FRNj4uLw8CBA8s8QBcXFxw+fFhtWlxcHJydnSEWi7Uu\n8y5FVQUpKSk6q+nazbuoXbu2TvrKycnRWV8GYgO9q0sfawL0t646derAzs5GJ33p8jNDaErc9efv\n74+oqChs27YNycnJmD17NtLS0uDr6wsACA4OVgsxALhx4waSkpKQkZGBnJwcXL16FUlJSar5vr6+\nePToEQIDA5GcnIxt27Zh165dmDp1agWXR0REVV2xW1QA4OXlhczMTKxYsQJyuRwODg6Ijo6GlZUV\nAEAulyM1NVVtGW9vb9y/fx8AIBKJ0LVrV4hEImRmZgIAbGxsEB0djblz5yIiIgIWFhYICQlB//79\nK7g8IiKq6koMKgDw8/ODn5+f1nlhYWEa097ceipKp06dcPr06dJ0T0REHzCe9UdERILGoCIiIkFj\nUBERkaAxqIiISNAYVEREJGgMKiIiEjQGFRERCRqDioiIBI1BRUREgsagIiIiQWNQERGRoDGoiIhI\n0BhUREQkaAwqIiISNAYVEREJGoOKiIgEjUFFRESCxqAiIiJBY1AREZGgMaiIiEjQGFRERCRoDCoi\nIhI0BhUREQlaqYIqPDwcjo6OkEqlcHNzQ3x8fLHtr127hs8//xwWFhZwcHBASEiI2nyZTAaJRKLx\n79atW2WvhIiI9JJBSQ1iYmIQGBiIlStXwtXVFZs3b8aQIUOQkJAAKysrjfZPnz6Fl5cXOnfujLi4\nOCQnJ2Pq1KmoVasWpk6dqtY2MTEREolE9djY2LgCSiIiIn1S4hZVaGgofHx8MGrUKNjZ2SEkJATm\n5uaIiIjQ2n7Pnj3Izc3Fhg0bYG9vD09PT0yfPh1hYWEabU1MTGBqaqr6V60a90QSEZG6YpNBoVDg\nypUrcHd3V5vu4eGBxMRErcucP38erq6u+Oijj9TaP3r0CPfu3VNr6+bmpgozmUxW1hqIiEiPFRtU\nGRkZUCqVMDMzU5tuYmKCtLQ0rcukpaVptDc1NVXNAwALCwusXr0a27dvx/bt22FnZwdPT88Sj30R\nEdGHp8RjVO9KJBKV2MbW1ha2traqx+3bt8e9e/ewbt06uLq6VvSQiIioCis2qIyNjSEWizW2ntLT\n02Fubq51GTMzM63tC+cVxdnZGfv37y9yfkpKSnFDrZJ0VVN2tgI5OTk66QuAzvrKV+brXV36WBOg\nv3VlZ2fr9LNJnz4H7ezsSt222KAyNDSEk5MT4uLi4OnpqZoeFxeHgQMHal3GxcUF3333HfLy8lTH\nqeLi4mBpaQlra+si+7p69SqkUmmR89+lqKogJSVFZzVdu3kXtWvX1klfOTk5OuvLQGygd3XpY02A\n/tZVp04d2NnZ6KQvXX5mCE2Jp9n5+/sjKioK27ZtQ3JyMmbPno20tDT4+voCAIKDg9VCbPDgwahZ\nsyamTJmC69evIzY2FmvXrsWUKVNUbcLCwnDkyBH89ddfuH79OoKDg3H06FGMHz/+PZRIRERVWYnH\nqLy8vJCZmYkVK1ZALpfDwcEB0dHRqmuo5HI5UlNTVe2NjIywf/9+BAQEwN3dHRKJBFOnToW/v7+q\nTX5+PoKCgvDw4UPUqFEDzZs3x549e9C9e/eKr5CIiKq0Up1M4efnBz8/P63ztF0f5eDggKNHjxa5\nvmnTpmHatGmlHCIREX3IeIVtJSnN2ZFERPQeTk+vyv73+G9cS76rk76ev8jF7f89ee/9GEuMUKOG\n4Xvvh4jofWFQveHOfTm27D6uk750dWZSK/uP4dX70/feDxHR+8Jdf0REJGgMKiIiEjQGFRERCRqD\nioiIBI1BRUREgsagIiIiQWNQERGRoDGoiIhI0BhUREQkaAwqIiISNN5CiYiojAzEYly7qZv7g2Zn\nK3TSl6lxPZgZ13/v/bwLBhURURllZj3Dmi0HdNKXru4PGvTVCMEFFXf9ERGRoDGoiIhI0BhUREQk\naAwqIiISNAYVEREJGoOKiIgEjUFFRESCxqAiIiJBK1VQhYeHw9HREVKpFG5uboiPjy+2/bVr1/D5\n55/DwsICDg4OCAkJ0Whz9uxZdOvWDVKpFE5OToiMjCxbBUREpNdKDKqYmBgEBgYiICAAMpkMLi4u\nGDJkCB48eKC1/dOnT+Hl5QWpVIq4uDgsWbIE33//PdavX69qk5qaCm9vb3Ts2BEymQwzZszArFmz\nEBsbW3GVERGRXigxqEJDQ+Hj44NRo0bBzs4OISEhMDc3R0REhNb2e/bsQW5uLjZs2AB7e3t4enpi\n+vTpCAsLU7WJjIyEpaUlli1bBjs7O4waNQrDhw9XCzMiIiKghKBSKBS4cuUK3N3d1aZ7eHggMTFR\n6zLnz5+Hq6srPvroI7X2jx49wr1791RttK3z8uXLUCqVZSqEiIj0U7FBlZGRAaVSCTMzM7XpJiYm\nSEtL07pMWlqaRntTU1PVPABIT0/X2iY/Px8ZGRnvVgEREem1Cr97ukgkquhV6kzn9i3QuX2Lyh7G\ne7E7LLCyh/BeuLZtXtlDqHD6WBPAuqjsit2iMjY2hlgs1th6Sk9Ph7m5udZlzMzMtLYvnFdcGwMD\nAxgbG79bBUREpNeKDSpDQ0M4OTkhLi5ObXpcXBw6dOigdRkXFxfEx8cjLy9Prb2lpSWsra1VbbSt\n09nZGWKxuEyFEBGRfirxrD9/f39ERUVh27ZtSE5OxuzZs5GWlgZfX18AQHBwMDw9PVXtBw8ejJo1\na2LKlCm4fv06YmNjsXbtWkyZMkXVxtfXF48ePUJgYCCSk5Oxbds27Nq1C1OnTn0PJRIRUVVW4jEq\nLy8vZGZmYsWKFZDL5XBwcEB0dDSsrKwAAHK5HKmpqar2RkZG2L9/PwICAuDu7g6JRIKpU6fC399f\n1cbGxgbR0dGYO3cuIiIiYGFhgZCQEPTv37/iKyQioipNlJWVVVDZgyAiIipKlbrX39atW9GvXz9Y\nW1tDIpHg/v37lT2kMnnXW1IJ3blz5zBs2DA4ODhAIpEgKiqqsodUbqtWrYK7uzusra1ha2uLYcOG\n4fr165U9rHLbvHkzOnXqBGtra1hbW6Nnz544fvx4ZQ+rQq1atQoSiQQzZ86s7KGUy5IlSyCRSNT+\n2dvbV/awKsTjx48xadIk2NraQiqVomPHjjh37lyR7atUUL148QLdu3dHYGDVPdX6XW9JVRU8f/4c\nLVu2xJIlS1CzZs0qfYlCoXPnzmH8+PE4fvw4YmNjYWBggIEDByIrK6uyh1YuDRs2xIIFC3DmzBmc\nOnUKXbt2hY+PD65evVrZQ6sQFy5cwA8//IAWLVroxfuwadOmuHnzpurfb7/9VtlDKresrCz06tUL\nIpEIe/bswfnz5xESEqK63labKrnr7/Lly/Dw8EBSUhIaNWpU2cN5J5999hlatWqFNWvWqKa1bdsW\nnp6eCAoKqsSRVQwrKyssX74cw4cPr+yhVKicnBxYW1sjKioKvXr1quzhVKhPPvkE3333HUaPHl3Z\nQymXJ0+ewM3NDd9//z2WLl1a5A2xq4olS5bg0KFDehFOb1qwYAHi4+Px008/lXqZKrVFVdWV5ZZU\nJAzPnj3Dq1evUL9+/coeSoVRKpXYt28f8vLy8Omnn1b2cMrtq6++wsCBA9G5c2cUFFS5799apaam\nonnz5mjdujX8/PzUTlyrqo4cOQJnZ2f4+vrCzs4OXbp0webNm4tdpsLvTEFFK8stqUgY5syZA0dH\nR7i4uFT2UMrt2rVr6NmzJ/Ly8lCzZk1ERkbCzs6usodVLj/88ANSU1MRHh4OoGrfIadQ+/btsWHD\nBtjZ2SE9PR3Lly9Hr169kJCQAIlEUtnDK7PU1FRs2bIF/v7+mDFjBpKSkjB79mwAwPjx47UuU+lB\ntWjRIqxcubLYNocPH0anTp10NCIidXPnzsX58+fx008/6cUHYNOmTXHu3Dk8efIEBw8ehJ+fHw4d\nOoQ2bdpU9tDKJCUlBQsXLsSxY8dUNwwoKCio8ltV3bt3V3vcvn17tG7dGlFRUWqX+1Q1r169Qtu2\nbfHtt98CAFq1aoXbt28jPDxcuEE1ZcoUDBs2rNg2DRs21NFo3q+y3JKKKldgYCAOHDiAQ4cOwcbG\nprKHUyGqV6+Ojz/+GADQunVrXLp0CZs3b1b7KZ6q5Pz588jIyEDHjh1V05RKJeLj47F161Y8fPgQ\n1atXr8QRVoxatWrB3t4ed+7cqeyhlItUKkWzZs3UptnZ2RV7QlmlB1WDBg3QoEGDyh6GTrx5S6o3\n7+YRFxeHgQMHVuLISJvZs2fj4MGDOHToEGxtbSt7OO+NUqnEq1evKnsYZdavXz+0bdtW9bigoAD+\n/v6wtbXFjBkz9CKkACA3Nxc3b95E165dK3so5dKxY0fcvHlTbdqtW7dUt9jTptKD6l3I5XLI5XLc\nunULAHDjxg38888/sLa2rjIHuf39/TFx4kQ4OzujQ4cOiIiIULslVVWUk5ODv/76C8Drzfr79+8j\nKSkJDRo0UN3BpKoJCAhAdHQ0duzYASMjI8jlcgBAnTp1ULt27UoeXdl999136NWrFywtLZGdnY29\ne/fi3Llz2LdvX2UPrczq1auHevXqqU2rWbMm6tWrV6WvO5o3bx769OmDhg0b4u+//8by5cvx4sWL\nKn9G7ZQpU9CzZ0+sXLkSXl5eSEpKwqZNmzB//vwil6lSp6cvWbJEdbqpSCRCQUEBRCIRQkNDq9SL\nt2XLFqxdu1Z1S6rFixfD1dW1sodVZjKZDAMGDADw/18XABgxYgRCQ0Mrc2hlJpFI1GopNGfOHNWB\n36poypQpkMlkSEtLg5GREVq2bIlp06ZpnIla1fXr16/Kn57u5+eH3377DRkZGTAxMUH79u3xf//3\nf2jatGllD63cjh8/jgULFuDWrVto1KgRxo8fjwkTJhTZvkoFFRERfXh4HRUREQkag4qIiASNQUVE\nRILGoCIiIkFjUBERkaAxqIiISNAYVEREJGgMKiqVnTt3QiKRVImfGVi5ciVatmwJExOTCr/dTN++\nfdGvX78KXWdxJk+eDEdHxwpbn7ZfjZVIJPjyyy9LvWxF3W5JJpNh6dKlVf7msRWhol9nfVOlbqFE\nVJKLFy9i0aJFmD59Ovr27Ys6depU6PpXr15doesryezZs/Hs2bMKX+/PP/+sutM4gFL/bERF3j3+\n7NmzCAkJwaxZs/TirvTlxeegaAwqEoy8vDx89NFH5VpHcnIyAGDMmDGqO4RXJF3fvuZ91AAA7dq1\nQ7Vq775D5X1s/VT1LSqFQgFDQ8Nyr6eqPw/vE3f9CVThbpbbt2/D29sbVlZWaNWqFUJCQtTe0IW7\n5O7fv691+TdJJBIsWrQI69atQ8uWLdGwYUMMHToUf//9Nx4/foyRI0fC2toaLVu2xNq1a7WO6+HD\nhxgxYgSsrKzQuHFjzJw5E7m5uWptnj9/jvnz58PR0RFmZmZo3bo1Vq5cqTZumUwGiUSCQ4cOYdq0\naWjSpEmJIXDx4kV4enrCysoKDRs2hKenJy5duqSa37dvX9Xv9LRp0wYSiQTLli3Tuq6ZM2fC2dlZ\nbVq3bt0gkUjUfkZh4cKFauN6e9dfYR0//fQTZs6ciSZNmqBJkyaYMGECnjx5orb+DRs2wMXFBRYW\nFvj444/h7u6Ow4cPF1vz27uE7t69C4lEgq1bt+Lf//437O3tYWNjg2HDhuHhw4fFrutN5flQvHHj\nBvr16wdLS0vY29tj8eLFGuv7+++/8fXXX8PBwQHm5uZwcXHBDz/8oJr/5n07TUxMVLsgASA/Px+L\nFi2Ck5MTpFIpmjRpgj59+iAhIaHEsYWGhqJdu3YwMzODvb09Zs6cqbFFWvh3sHHjRjg6OqJRo0bo\n27cvbty4UeL6J0+ejBYtWuD8+fPo2bMnLCwsEBQUVKqaC50+fRpdu3aFVCpFmzZtsHXr1hL7/dBx\ni0rgvvzyS/j4+MDf3x8//fQTlixZgoYNG8LHx6fEZbXtSvjxxx/RokULrF69GnK5HHPnzsWECROQ\nlZWFvn37Yty4cThw4AC+++47ODg4oEePHmrLT5gwAYMGDcKECRPw+++/IyQkBDk5OarfMsrPz8cX\nX3yB5ORkzJo1Cw4ODrhw4QKWL1+Of/75B4sWLVJb3+zZs9GjRw9s3rxZI/De9Oeff6Jv375o3ry5\nqq81a9agb9++OHHiBFq2bIlVq1YhOjoaq1atwo4dOyCVSmFhYaF1fV27dkV4eDgePHgAKysrZGVl\n4erVq6hVqxbOnDmDTz75BABw5swZdOnSRe051fa8zpkzB71798aWLVtw8+ZNzJ8/H2KxGBs2bAAA\nREdH49tvv8Xs2bPh6uqK3Nxc/Pnnn8jKyiqy5jf7fNuqVavQsWNHhIaGIi0tDfPmzcOECRNKDL5C\nLVq0QHp6OiwtLfHFF19gzpw5qFGjRqmW9fHxwciRIxEQEIBffvkFy5cvR7Vq1TBnzhwAwNOnT9G7\nd2/k5eVhzpw5sLGxwcmTJzFjxgzk5eVhwoQJGD16NB49eoTt27dr7IZcs2YNNm7ciG+//RatWrXC\n06dP8ccff5T4XC1YsACrV6/G+PHj0adPH1y/fh2LFy/Gn3/+iaNHj6o9j9HR0WjatClCQkKQl5eH\noKAgjBgxAhcuXFAbizZPnz6Fn58fpk2bhvnz56NmzZqlqhl4vcU/ZMgQtG3bFhEREcjLy8PSpUuR\nk5NTYr8fMgaVwE2dOhUjRowA8Pob/5kzZ7Bv375SBZW2b801a9bErl27VLt9rl+/jrCwMMybNw/f\nfPMNAKBz5844fPgwDhw4oBFUvXr1woIFCwAAbm5uEIlEWLx4MQICAtC4cWPs3bsXCQkJOHr0qOqO\n8IUnNCxbtgxff/01jI2NVetr27ZtkVtvbwoJCUGNGjVw8OBBGBkZAQDc3d3h6OiIZcuWYfv27WjW\nrJnqxw0LvykXpXPnzhCJRDh79iyGDRuGs2fPwsjICP3794dMJsPo0aORnZ2NP/74Q+25Lrxj/9s6\ndeqk2npzc3NDSkoKtm/frgqqCxcuoEWLFpg5c6Zqmbd/wbUo2l5HGxsbbNq0SfX477//RlBQEORy\nebE/wtmkSRMEBwfD0dERIpEIJ0+eRFhYGK5cuYL9+/eXajxjxozB9OnTVbU+e/YMoaGhmDJlCoyM\njLBx40Y8ePAA8fHxqsDv1q0bnjx5gmXLlmHcuHGwtLRUfYl4ezfkhQsX4OHhgYkTJ6qm9e7du9gx\n/fPPP1i/fj1GjBih2lJzd3eHiYkJJk6ciGPHjqFPnz6q9oaGhti9e7daOIwZMwaXLl1C+/bti+0r\nOzsbmzZtUltfSEhIiTVXq1YNK1asgJGREWJiYlCzZk0AgIuLC9q0aVPklyrirj/B69Wrl9rj5s2b\nF/tLmCVxc3NT+1Cws7MDAHz22WeqaWKxGI0bN9a6K+ntH3gcNGgQXr16hYsXLwIATp48iUaNGsHF\nxQX5+fmqf+7u7nj58iUuXLigtnxpz6D77bff0KtXL1VIAUDdunXRp08fnDt3rlTreJNEIkHLli1x\n+vRpAK+3nDp37gw3NzfIZDJVn/n5+WpbVEV5+3VycHBAXl4e0tPTAQDOzs64evUqZs2ahVOnTuH5\n8+fvPOY39ezZU6M/ACW+N7y9vTFt2jS4ubmhW7duWLBgARYsWIBTp06pnouSaHsPZGdn4/r16wBe\nvwfatWsHa2trtfeAh4cHMjMzS9zF5uzsjOPHj2PRokWIj4+HQqEocUwXLlzAy5cv4e3trTE2AwMD\n/Pbbb2rT3d3d1UKqtM8f8Drk3g7O0tZ8/vx59OjRQxVSwOtfMO/QoUOJ/X7IuEUlcG8fZzI0NCx2\nF1lJ3v6BycJfP317uoGBgdZ+zMzM1B6bmpoCAB49egQASE9Px/3792FiYqKxrEgkQmZmpto0qVRa\nqnFnZWVpbWtmZlaq3WfadOnSBQcPHgTw+gy00aNHo0uXLkhLS0NycjJkMhksLS3RpEmTEtf19vNX\neHC98DkcPnw48vLysH37dmzZsgXVq1dHjx498O9//7vYXzYta3/v4osvvkBgYCAuX76Mbt26ldi+\nNO+BO3fulPo98LZvvvkGNWrUwO7du7Fy5UrUqVMHAwYMwMKFC4v8NfB//vkHgOb7ycDAAA0aNFDN\nL1Se58/ExERjq7q0NaelpWk8f8Dr5/DevXsl9v2hYlBVcYXHFV6+fKk2vaQPg7KSy+Vo1qyZ6nHh\nFkPhbosGDRrAxsamyAPEZflQBl4H9uPHj7WOp7SnVr+tc+fOCAsLw/nz53Hjxg107doVZmZmaNas\nGc6cOaPayqooY8aMwZgxY/DkyRP8+uuvmDdvHsaOHYtffvmlwvrQBblcrnY24tvvAWNjY5ibm2PJ\nkiVal7e1tS12/QYGBpg+fTqmT5+O9PR0/PTTT5g3bx5evHiBiIgIrcsUvgceP36s9v7Mz89HZmZm\nmd8jpVXams3NzVW/Fv2mtLS09zq+qo5BVQW9+W2u8DjMtWvX0LhxYwCv/zjj4uLey3UZBw4cULuI\ndt++fahWrRratWsH4PVxl0OHDqF27dqq3YoVoVOnTjhx4gSys7NV10Y9e/YMx44dK/NFvZ06dYJY\nLMbixYthYmKC5s2bA3i9pRUbG4s///wT48ePr7AaCtWrVw9eXl64cOGC1rPC3va+r6+Jjo4G8Pp4\nYWkcOHAAX331lerxvn37ULduXdXus88++wybNm2ClZWV1i2MQoWXIjx//rzI691MTU0xatQoHD9+\nvNhdhi4uLjA0NERMTIzaVmFMTAzy8/Mr9AuHttejtDW7uLjgxIkTeP78OWrVqgXg9e7GxMREWFpa\nVtgY9Q2Dqgp68+B627Zt8cknnyAoKAivXr2CoaEhtmzZAoVC8V6uyzhx4gSCgoLg7u6OixcvIiQk\nBMOHD1cdQPb29sbOnTvh6ekJf39/tGzZEgqFAnfu3MGxY8ewc+dOtf3zpTVz5kz8/PPP8PT0VB3I\nX7t2LfLy8jBr1qwy1WJkZITWrVvj9OnT8PLyUk3v0qULwsPDIRKJtIZgWZ7X6dOno27dumjfvj1M\nTEzw119/ITo6Gh4eHiUuW5GvY7du3TBixAg0adIEBQUFiIuLw+bNm9GjR49SHYsDgG3btuHVq1do\n06YNTp48ie3btyMwMBB169YF8Prn7vfv348+ffpgypQpaNKkCZ4/f46UlBTEx8cjKioKAGBvbw8A\nWL9+Pbp37w6xWIw2bdpg+PDhaNWqFRwdHVG/fn0kJSXh119/ha+vb5Fjql+/PqZOnYpVq1ahVq1a\n6NGjB5KTk7F48WK4urpqHEMsD22vR2lrDggIwIEDBzBo0CD861//gkKhwNKlS2Fubs7rqIrBoBKo\nok6Dfnu6WCxGVFQUAgIC4O/vD4lEgsmTJ6Ndu3aqs59K01dpp23atAnff/89IiIiYGhoiNGjR6ud\ncm5gYICYmBisXr0aP/zwA+7evYtatWqhcePG6Nmzp9qFke+ypdCiRQscPnwYCxcuxJQpU1BQUID2\n7dvjyJEjaNGiRYljL0qXLl1w+fJltUDq2rUrRCIRGjVqpLGrUtvrUlR/b07v2LEjdu7cid27d+Pp\n0y8gORsAAAEYSURBVKeQSqUYOnQoAgMDix1fUe+Dkvoriq2tLTZu3Ai5XI5Xr17hk08+wezZs1Xh\nX5qxREVFYebMmVi+fDnq1auHmTNnqn1ZMDIyws8//4yQkBCsWbMGjx49Qr169WBnZ4cBAwao2vXu\n3Rvjxo3Dli1bVO/VzMxMdOrUCQcPHkR4eDhevHiBRo0aYfr06QgICCh2fN9++y2MjY0RGRmJLVu2\nwNjYGMOGDcP8+fNLrK20ino9Sltz06ZNsWfPHnz77bcYO3YsLC0t8dVXXyExMbFMJwV9KERZWVmM\ncSIiEiyenk5ERILGoCIiIkFjUBERkaAxqIiISNAYVEREJGgMKiIiEjQGFRERCRqDioiIBI1BRURE\ngvb/AP3zx63+Siw8AAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "probs = stats.binom.pmf(range(6), 5, 18/38)\n", "k = np.arange(0,6,1)\n", "dist = Table([k, probs], ['k', 'P(k wins in 5 bets on red)'])\n", "dist.hist(counts='k', bins=np.arange(-0.5, 5.6, 1))\n", "plots.xlim(-1,6)\n", "plots.xlabel('number of wins in 5 bets on red')\n", "plots.title('Probability Distribution')" ] }, { "cell_type": "code", "execution_count": 11, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.29441472251311429" ] }, "execution_count": 11, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# chance of exactly 3 wins\n", "\n", "stats.binom.pmf(3, 5, 18/38)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "According to ``stats.binom.pmf``, there is just under 30% chance that you win exactly 3 out of 5 bets on red. To see where this number comes from, let us try writing out some ways in which we could win 3 out of 5 bets. \n", "\n", "- WLWLW\n", "- WWWLL\n", "- LWWWL\n", "\n", "and so on.\n", "\n", "Each way is a pattern consisting of 3 W's and 2 L's. Each of these patterns has chance $(18/38)^3 (20/38)^2$. The chance of winning exactly 3 times is the total chance of all these ways:\n", "\n", "$$\n", "P(\\mbox{3 wins among 5 bets on red}) ~=~ \\mbox{number of patterns of 3 W's and 2 L's} \\cdot (18/38)^3 (20/38)^2\n", "$$\n", "\n", "**A fact of mathematics.** The number of patterns consisting of 3 W's and 2 L's is called *5 choose 3* and is calculated as follows:\n", "\n", "$$\n", "\\mbox{number of patterns of 3 W's and 2 L's} \n", "~=~ {5 \\choose 3}\n", "~=~ \\frac{5!}{3!2!} ~=~ 10\n", "$$\n", "\n", "So\n", "\n", "$$\n", "P(\\mbox{3 wins among 5 bets on red}) = 10 \\cdot (18/38)^3(20/38)^2\n", "$$\n", "\n", "This is calculated in the cell below, and agrees with the answer obtained earlier by using ``stats.binom.pmf``." ] }, { "cell_type": "code", "execution_count": 12, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.2944147225131143" ] }, "execution_count": 12, "metadata": {}, "output_type": "execute_result" } ], "source": [ "10*((18/38)**3)*(20/38)**2" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "##Binomial distribution with parameters $n$ and $p$\n", "We can generalize our observations above to identify the probability distribution of the number of successes in $n$ repeated, independent, success/failure trials, with probability $p$ of success on each single trial. This is the binomial distribution with parameters $n$ and $p$.\n", "\n", "$$\n", "P(k \\mbox{ successes in }n \\mbox{ trials}) ~=~ {n \\choose k} p^k (1-p)^{n-k}\n", "~=~ \\frac{n!}{k!(n-k)!} p^k (1-p)^{n-k} ~~~ \\mbox{for} ~ 0 \\le k \\le n\n", "$$" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "It is worth recalling that $0!$ is defined to be 1, so that the answers make sense in the two edge cases $k=0$ and $k=n$. Notice also that when we say \"$k$ successes\", we mean \"exactly $k$ successes\"." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "###More than two categories: Multinomial Probabilities\n", "The binomial can be generalized to the case where the population splits into more than two categories. This is called the *multinomial* model. That is why the NumPy method to simulate the draws is called ``np.random.multinomial``.\n", "\n", "**Example 5.** In a population, 20% of the people are men, 30% are women, and 50% are children. Six people are drawn at random with replacement. Find the chance that the sample contains 1 man, 2 women, and 3 children.\n", "\n", "The answer is a straightforward generalization of the binomial formula above.\n", "\n", "$$\n", "P(\\mbox{1 man, 2 women, 3 children}) ~=~\n", "\\frac{6!}{1!2!3!} (0.2)^1 (0.3)^2 (0.5)^3\n", "$$" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "###Expected Value and Standard Error of the Binomial\n", "\n", "In an earlier section, we saw that if we had $n$ independent, repeated, success/failure trials with probability $p$ of success on each trial, then:\n", "\n", "$$\n", "\\mbox{expected proportion of successes} ~=~ p\n", "$$\n", "\n", "$$\n", "\\mbox{SE of the proportion of successes} ~=~ \\sqrt{ \\frac{p(1-p)}{n} }\n", "$$\n", "\n", "Now the number of success is just $n$ times the proportion of successes. Hence\n", "\n", "$$\n", "\\mbox{expected number of successes} ~=~ np\n", "$$\n", "\n", "$$\n", "\\mbox{SE of the number of successes} ~=~ \\sqrt{np(1-p)}\n", "$$" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "**Example 6.** What is the expected value and standard error of the number of heads in 100 tosses of a coin?\n", "\n", "According to the formulas above, the expected number of heads is $100 \\times 0.5 = 50$ and the standard error is $\\sqrt{100 \\times 0.5 \\times 0.5} = 5$. That the expected value should be 50 is easy to guess. To visualize the standard error, it helps to see the histogram of the binomial distribution with $n=100$ and $p=0.5$." ] }, { "cell_type": "code", "execution_count": 13, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "" ] }, "execution_count": 13, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAacAAAE3CAYAAAAOiY7bAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3XlcVNX/P/DXOAqu6Mg2IKKRKI4bKaK4JKDmQokY6idJ\n03BJhlITRfuaiR8NxeXjCpXkVmKBQqKRaTYZGotZaZEimbiUMAQhQgEK/P7gNzeHWRiV8IKv5+PB\no+aec+4958x13nPPPXOupLCwsApEREQi0uRRV4CIiKgmBiciIhIdBiciIhIdBiciIhIdBiciIhId\nBiciIhIdBieqUzKZDL179/5Xj+Hj4wOZTIbr16+bXKZXr1469dq3bx9kMhliYmJqzdtQzJ079777\npi4Z61OZTPZI6qSRnJwMmUyGNWvWPNJ6kGkYnBoZmUym9de+fXt07twZY8aMwe7du1FZWfmv10Ei\nkYjuGBKJxGCZmtv15Q0PD9f7oVvXrl69qvMeyuVydOnSBd7e3liwYAG++uorVFXp/3misXaa4kEC\nv77j66vDv31eaIJPUFCQ0Xz1cX7Sw2v6qCtAdU8ikSA0NBQAcPfuXVy5cgVHjhxBamoqvvrqK+ze\nvfvRVrAOGPpwNiQxMbFO8tbXB1vbtm0xd+5cANXvYWFhIS5cuIAPP/wQu3fvhpubG9577z088cQT\nWuXeeustvP7667Czs3vgYz9MG5999lm4u7vDxsbmgffxsAzV383NDWfOnIGlpWU914geBINTI6UJ\nTho///wzRowYgUOHDiElJQUeHh6PqGaPRufOnesk7/0GxQfVtm1bnfcQAHJzcxESEoIjR45g3Lhx\n+Oqrr7Q+bG1tbWFra/tQx66qqnrgdlpYWMDCwuKhjv+wDNW9RYsW6NKlSz3Xhh4Uh/UeEwqFAoMH\nDwYAnD17FoD2MEhWVhZeeuklPPnkk2jfvj1+/PFHAEB5eTm2bNmCIUOGwN7eHh07dsTIkSPx4Ycf\nGj3erVu3sHDhQri4uEAul8PDwwPR0dF68+7btw9Tp05Fnz59YGdnB0dHR4wePRofffSRwf1LJBJU\nVFRg69atcHNzg1wuR8+ePbFs2TIUFxfr5L+f+0g18/r4+CAiIgIAoFQqtYbcrl27hrCwMMhkMuzf\nv1/v/i5dugSZTIYxY8aYdHxjbG1tsWfPHgwePBg3btzAhg0btNIN3XP67LPP4OvrCxcXF9ja2sLF\nxQWjR4/Gxo0bhTwymQzffPMNAKBPnz5CG2v2hUwmQ3Z2NqKiouDh4QG5XI6AgAAAhu85aZSXl2Pl\nypXo1asXbG1t0bdvX6xbtw537tzRyqcZ3jQ0RFezneHh4Rg3bhwAYP/+/VrvkaYuxu45ZWdnIygo\nCAqFAjY2NujatStmzJiBjIwMnbyaNq5Zswbnz5/HpEmT4OjoCHt7e/j4+CA9PV1vnen+8MrpMaL5\nRllz2OPKlSsYMWIEXFxc8MILL+D27dto1aoV7ty5A39/fyQnJ8PZ2RmBgYEoKyvDkSNH8OqrryI1\nNRXbtm3TOU55eTnGjx+P4uJiTJo0CaWlpTh06BAWLVqEX375RefDISQkBN27d8eQIUMgl8uRn5+P\n48ePY+7cucjKysKbb76pty1LlixBWloaJkyYAAsLCxw7dgzbt29HamoqkpKSYGZmplXmfoar7s0b\nEBAAiUSC06dPw8fHB7169RLS2rZti5dffhlbtmzB7t278cILL+jsa9euXQCAl19+2eTjG9OkSRMs\nWrQIp0+fxsGDB/H2228brDsA7N69GwsWLICtrS1GjRoFa2tr5Ofn4+LFi9i1axdef/11ANVX2zEx\nMbh+/Trmzp2Ltm3bCm2sKTQ0FGlpaRg1ahRGjx6N1q1bG60DUP2eTZs2DefPn8e4cePQrFkzHDly\nBG+//TZ++OEH7Nu3T6eMsffs3rShQ4fi+vXr2L9/P3r16gUfHx8hreaXkpr7/OGHH+Dr64vbt29j\n1KhR6NGjB3799VccPnwYR48eRUxMDLy8vHSO//3332PLli1wd3fH9OnTcf36dSQmJsLX1xfJycm8\nSntIDE6PiZ9++gmnTp2CRCKBm5ubVlpqaioWLlyIZcuWaW3ftGkTkpOTMXz4cHz00Udo2rT6dFm2\nbBlGjx6Nffv2YeTIkfD19dUql5OTg86dO+PYsWNo1qwZAGDJkiXw8vLCu+++iwkTJsDd3V3In5KS\nojOUpgmMmzdvRmBgIOzt7XXa9O233+LUqVPo0KEDAODNN9/E1KlTkZSUhO3bt2PBggUP1lk1TJky\nBVevXhWCU80A1LZtW4wcORKff/45MjIy0KNHDyGttLQU+/fvh6WlJcaPH18n9QEADw8PSKVS5OXl\n4erVq+jUqZOQVnNYa9euXTA3N8epU6dgZWWllfbnn38K/79kyRIkJycLwaljx44Gj//TTz8hOTnZ\naB59Ll++jJSUFCHg/d///R98fHyQlJSEgwcP4vnnnzd5X/e2c8iQIQAgBCd9Q6KG9vHKK6+gqKgI\nUVFR+M9//iOknTx5En5+fpg9ezbOnz+PFi1aaJU9duwYIiMjtc4HzReBd955B+vXrze5LaSLw3qN\nUFVVFdasWYPw8HCsWrUKM2fOxPDhw1FWVgZfX18MGDBAK7+tra3ef8x79+6FRCLB6tWrhcAEVN9X\nWL58uZCnJolEgrfeeksITADQvn174Rt6zW/I+u7xNGvWDIGBgaioqMDXX3+tt52vvPKKEJiA6iuK\nsLAwSCSSWocd69rMmTMBQGeySUJCAm7duoUpU6Zo9cfDMjMzQ/v27QEABQUFteaXSqVa76HGg07v\nfu211+47MAHAokWLtK7EmjdvLnwpetj37EHuk6WlpSEzMxP9+vXTCkwAMGzYMDz77LP4448/kJSU\npFN24MCBOl9UXnzxRUilUnz33Xf3XRfSxiunRmrt2rUAqgOFhYUF+vbti8mTJ+Oll17SyduzZ0+d\nD87bt2/jypUrsLW1Rbdu3XTKPP300wCA8+fP66Q1bdpUJwACEO55ae5naVy/fh2bN2/GyZMn8dtv\nv+Hvv//WSs/JydHbRs3+7tWlSxdYW1vjypUrKCkpQatWrfSWrWsjRoxA586d8fHHHyMsLAwtW7YE\nUB2smjRpghkzZtT5MQ0N09Y0adIkLFu2DAMGDICfnx88PDwwYMAAyOXyBz52v3797ruMRCLR+55p\nJufUPC/qw7lz5wD8cz7X5OnpicOHD+P8+fM6V3VPPfWUTv6mTZvCxsYGhYWFdV/ZxwyDUyMkkUhM\n+jatoW/ab1FRkcE0AGjZsiXatGmDW7du6aRZWlrq/cDUDClp9g1U34j29vbGrVu3MGjQIAwfPhwW\nFhaQSqW4evUq9u/fj7KyMpPrDQDW1tbIy8sT7p3Vl5dffhnLly/HgQMHMG3aNGRkZCA9PR2enp46\nU74fVmlpqTAkV3OorialUglra2vs3LkT0dHRePfddwEA/fv3x/Lly4UhsfvxoFPF9ZVr3rw52rRp\no3Ve1JfaznPNdn3nub57cUD1VWpFRUUd1fDxxWE90htINNOB1Wq13jJ//fUXbt++rXfacH5+vt4h\nlry8PK19A8D27dvx559/Ytu2bTh8+DDWrFmDN954A6GhofD29jZab0N10xynTZs2RsvXtRdffBHN\nmzcXhvY0//03rppSUlJQUVEBW1tbODg41Jp/0qRJOHr0KLKzsxEfH4+ZM2fi3LlzmDhxIi5fvnzf\nx3/Q30Ll5ubqbCstLdU5l5o0qf5ounv3rt796AsWD6K281xT30c9Pf5xxOBEerVp0wZOTk7Izc1F\nZmamTrrmPpCrq6tO2t27d5Gamqqz/fTp0wC0Z0/9+uuvkEgkwjRgffkNOXXqlM62rKwsqNVqODk5\n1elVk1QqBQCj34hlMhn8/Pzw/fffIyUlBR9//DHkcjmeffbZOquHpg7r1q0DAEycOPG+yrZu3Rpe\nXl5Yt24dgoODUVpaiuPHjwvpprTzQVVVVel9TzXT1+89L9q1awcA+O2333Ty3717F+fPn9cJkA9S\nd835a+i+5smTJ7XyUf1hcCKDpk6dCqB6dt6932CLioqwcuVKrTz3qqqqwsqVK1FeXi5sy8/Px8aN\nGyGRSITfxABAp06dUFVVheTkZK19nDhxQu9ki3u98847uHHjhvC6oqICb731FgBoHaMuaCYf1Las\nj2ZixMyZM3H79m28+OKLwlVAXcjJycH06dORkpKCTp06CZNMjNF8wOrbFwDh/hhgWjsfZgWJdevW\naV31/P3331i1ahUA7fesTZs26NatG1JTU/Hzzz8L2zWTffQFLVPfo3sNGDAA3bp1w9mzZxEbG6uV\ndvLkSRw+fBhWVlYYO3asyfukusF7TmSQUqnEF198gS+++AKDBg3CM888gzt37uDw4cO4efMmXnjh\nBZ1p5AAgl8tRWlqKQYMGYcyYMSgtLUViYiLUajVeeeUV9O/fX8gbGBiIffv2Yfr06Rg3bhzkcjku\nXLiAEydOwM/PD/Hx8QbrN2DAAAwdOhR+fn5o06YNjh8/jgsXLqBfv34IDg6u074YNmwYmjRpgqio\nKBQUFAj3IubMmaM15NO3b1+4urrihx9+gFQqxfTp0x/oeIWFhQgPDwdQHXRv3bqFCxcuIC0tDXfv\n3oW7uzvee+894QrDmKlTp6J169Zwc3NDx44dIZFIcPbsWaSmpsLJyQl+fn5CXm9vbxw6dAjz5s3D\nc889h9atW6Ndu3aYNWuWkOdhVsno2rUrPDw8MG7cOEilUnz66ae4evUqfHx8dCYczJs3D0FBQRg9\nejTGjx+Pli1bIi0tDb///juGDBmic+XctWtXdOjQASkpKZg9ezacnJwglUoxduxYren9NUVFRcHX\n1xevvPIKEhISoFAocOXKFSQmJqJ58+Z455130Lx58wduMz0Yk4JTdHQ0tmzZArVaDRcXF4SHhxtd\n/iYjIwOLFi3C999/D5lMhunTp2Px4sVaeT766CNs3boVV65cQZs2bTBs2DCsWrXqka7JRdqaNWuG\n+Ph4REVFITY2Fu+//z6kUim6d++OpUuX6r1qAqqnOR86dAhhYWE4cOAACgoK4OTkhEWLFglXFho9\nevTA4cOHsWrVKhw7dgwVFRXo2bMnPvzwQ1hYWOgNTpqFRcPDw5GYmIi9e/fi2rVrsLa2hlKpxNKl\nS3VmHxpaiNTUBUqdnZ3x3nvvYevWrdi3bx/+/vtvSCQS/Oc//9G5HxEQEIAffvgBI0aM0Jrqfj9u\n374trEphZmYGCwsLODo6YurUqfD19cWwYcP0ltPXprCwMHz55Zf48ccfceLECTRt2hQdO3bEkiVL\nMGfOHK17c1OnTsWNGzdw4MABREVF4c6dO3B0dBSCU20LyxrrU4lEgt27d2PNmjU4cOAAcnNzYW9v\njzfeeEPvb9I007S3bt2Kjz/+GG3atIG3tzf27duHVatW6RynSZMm2LdvH1asWIHPP/8ct2/fBgA4\nODgYDU5PPfUUTp48iXXr1uGrr77CiRMn0K5dOzz33HNYuHAhevbsaVIb702nhycpLCw0+jUoPj4e\nc+bMwYYNG+Dh4YEdO3YgJiYGqampem/EFhUVwc3NDUOGDMHixYuRmZmJ4OBghIaGCt9mT506hXHj\nxmH16tXw8fGBWq1GSEgI2rZti0OHDv07LSWqJ6+99ho++OADfPzxx3jmmWcedXWIGqRag9Pw4cPR\nq1cvbNq0SdjWr18/+Pr6Cj/EvNf777+PsLAwZGVlwdzcHACwfv167Ny5Uxg73rp1K9577z2t3zV8\n+OGHWLJkidY9BKKG5vfff0ffvn1hb2/PH2ISPQSjd2rLy8tx7tw5nXWlvL29kZaWprdMeno6PDw8\nhMCkyX/z5k1cu3YNQPUP2/Lz83H06FFUVVUhPz8f8fHx/JZJDVZcXBzWrFmD8ePHo7y8HG+88caj\nrhJRg2Y0OOXn56OiokLnPpCVlZXB3wWo1Wqd/NbW1kIaUL3q87vvvouZM2fCxsZGWCAxMjLywVpB\n9Ijt2bMHERER+OuvvxAWFgZ/f/9HXSWiBq3OZ+uZcjPwzJkzUCqVCA0NxfDhw5GTk4M333wT8+fP\nxzvvvFPXVSL61x05cuRRV4GoUTEanCwtLSGVSnWukvLy8gw+0MzGxkZvfk0aUH2FNGzYMLz66qsA\nqp811LJlS4wZMwZvvfXWQz3Fk4iIGj6jw3pmZmZwdXWFSqXS2q5SqfQu7AkA7u7uSElJ0VoPTaVS\nwd7eHo6OjgCqfydR84eJmteVlZX33woiImpUah3WUyqVmDNnDvr27YsBAwZg586dUKvVwnphYWFh\n+O6774Qp4P7+/li7di2CgoIQEhKCrKwsbN68WeuRDD4+PggKCsLOnTvh7e2NnJwcLF26FK6urg/8\nu5D6lpWVBWdn50ddjQaBfWVcxqWrWLnpnyfH3rua+vL5U9CjaydDRR97PLdM19D6qtbg5Ofnh4KC\nAqxfvx65ublQKBSIjY0VfuOUm5uL7OxsIb+FhQUSEhIQEhICLy8vyGQyBAcHQ6lUCnkmTpyIoqIi\n7NixA8uWLUPbtm0xdOhQhIWF1X0LiYiowTFpQkRgYCACAwP1pumbYadQKPQ+nMvUfRIR0eONC78S\nEZHocOFXon+ZOr8QefmGnz9UVn7HYFpTqRQZl64aTLe2bAsby9oXfyVqaBiciP5lefm3tCY81DQ/\ncLzBtILC29j0/icG05fPn8LgRI0Sh/WIiEh0GJyIiEh0GJyIiEh0GJyIiEh0GJyIiEh0GJyIiEh0\nGJyIiEh0GJyIiEh0GJyIiEh0GJyIiEh0GJyIiEh0uLYeUR0wtrirsYVdH5axhWG5KCw1ZAxORHXA\n2OKuxhZ2fVjGFoblorDUkHFYj4iIRIfBiYiIRIfBiYiIRMek4BQdHY3evXtDLpfD09MTKSkpRvNn\nZGRg7NixsLOzg0KhQEREhFb63LlzIZPJdP46dOjw4C0hIqJGo9bgFB8fj6VLlyIkJATJyclwd3fH\nxIkTcePGDb35i4qK4OfnB7lcDpVKhfDwcGzduhXbtm0T8qxduxaXLl0S/jIzM9G5c2f4+fnVXcuI\niKjBqjU4bd++HQEBAZg2bRqcnZ0REREBW1tb7Ny5U2/+uLg4lJaWIioqCi4uLvD19cW8efMQGRkp\n5LGwsIC1tbXw9+uvvyI7OxsvvfRS3bWMiIgaLKPBqby8HOfOnYOXl5fWdm9vb6Slpektk56eDg8P\nD5ibm2vlv3nzJq5du6a3zJ49e9C9e3f079//futPRESNkNHglJ+fj4qKCtjY2Ghtt7Kyglqt1ltG\nrVbr5Le2thbSarp16xYOHTrEqyYiIhLU+Ww9iURyX/ljY2NRWVmJyZMn13VViIiogTK6QoSlpSWk\nUqnOFU9eXh5sbW31lrGxsdGbX5NW0549ezBu3Di0a1f7L9mzsrJqzVOfxFYfMWvsfVVcXI6SkhK9\naXcr7hpMM5Suef0gZf+pU3Gj73eg8Z9bdUlMfeXs7Gw03WhwMjMzg6urK1QqFXx9fYXtKpUK48fr\nX5LF3d0dK1asQFlZmXDfSaVSwd7eHo6Ojlp5z549i4yMDKxdu7ZOGlOfsrKyRFUfMXsc+irj0lW0\natVKb1pTaVODafrSS0pKhNf3W/ZerVu3hrNzJ1Oq32A9DudWXWlofVXrsJ5SqURMTAz27t2LzMxM\nhIaGQq1WY8aMGQCAsLAwrcDl7++PFi1aICgoCBcuXEBiYiI2b96MoKAgnX3v3r0bXbp0weDBg+uw\nSURE1NDVuvCrn58fCgoKsH79euTm5kKhUCA2NhYODg4AgNzcXGRnZwv5LSwskJCQgJCQEHh5eUEm\nkyE4OBhKpVJrv7dv30ZCQgJCQ0PrtkVERNTgmbQqeWBgIAIDA/Wm3fv7JQ2FQoGkpCSj+2zTpo3B\nH/ISEdHjjWvrERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6Jg0W4/ocafOL0Re/i2D6WXld+qx\nNqZpKpUi49JVg+nWlm1hY1n7yixEjwKDE5EJ8vJvYeWmGIPp8wP1r5jyKBUU3sam9z8xmL58/hQG\nJxItDusREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHo\nMDgREZHoMDgREZHoMDgREZHomBScoqOj0bt3b8jlcnh6eiIlJcVo/oyMDIwdOxZ2dnZQKBSIiIjQ\nyVNeXo7Vq1ejT58+sLW1Rc+ePfHuu+8+WCuIiKhRqXVV8vj4eCxduhQbNmyAh4cHduzYgYkTJyI1\nNRUODg46+YuKiuDn54chQ4ZApVIhMzMTwcHBaNmyJYKDg4V8L7/8MnJycrBlyxY4OTkhLy8Pf/31\nV922joiIGqRag9P27dsREBCAadOmAQAiIiJw4sQJ7Ny5E8uXL9fJHxcXh9LSUkRFRcHc3BwuLi7I\nyspCZGSkEJy+/PJLfP311zh37hxkMhkAoGPHjnXZLiIiasCMDuuVl5fj3Llz8PLy0tru7e2NtLQ0\nvWXS09Ph4eEBc3Nzrfw3b97EtWvXAACffvop+vbti61bt6JHjx7o168fQkNDUVJS8rDtISKiRsDo\nlVN+fj4qKipgY2Ojtd3KygpqtVpvGbVarTPcZ21tLaQ5OjoiOzsbqampMDc3xwcffIDCwkIsXrwY\nOTk52LNnz8O0h4iIGoE6fxKuRCKpNU9lZSWaNGmC6OhotGnTBgCwbt06TJgwAX/88QesrKzqulpE\nRNSAGA1OlpaWkEqlOldJeXl5sLW11VvGxsZGb35NGgDY2tpCLpcLgQkAnJ2dAQA3btwwGJyysrKM\nVbfeia0+YtbQ+6q4uNzosPPdirsG042lGUrXvH6QsqYet7i4uMG/L0DDP7fqk5j6SvOZb4jR4GRm\nZgZXV1eoVCr4+voK21UqFcaPH6+3jLu7O1asWIGysjLhvpNKpYK9vT0cHR0BAB4eHkhMTERJSQla\ntWoFALh8+TIA4xMjamtMfcrKyhJVfcSsMfRVxqWrwrmqT1NpU4PpxtL0pd/77+J+y97PcVu3bg1n\n504G0xuCxnBu1ZeG1le1/s5JqVQiJiYGe/fuRWZmJkJDQ6FWqzFjxgwAQFhYmFbg8vf3R4sWLRAU\nFIQLFy4gMTERmzdvRlBQkFae9u3bQ6lU4uLFi0hNTcWSJUswfvx4WFpa/gvNJCKihqTWe05+fn4o\nKCjA+vXrkZubC4VCgdjYWGHSQ25uLrKzs4X8FhYWSEhIQEhICLy8vCCTyRAcHAylUinkadWqFT75\n5BMsXrwY3t7eaNeuHXx8fLBixYo6byARETU8Jk2ICAwMRGBgoN60yMhInW0KhQJJSUlG99mlSxfE\nx8ebcngiInrMcG09IiISnTqfSk7UUKnzC5GXf0tvWln5nXquzb+vqVSKjEtX9aZZW7aFjWW7eq4R\n0T8YnIj+v7z8W1i5KUZv2vxA/bNTG7KCwtvY9P4netOWz5/C4ESPFIf1iIhIdBiciIhIdBiciIhI\ndBiciIhIdBiciIhIdBiciIhIdBiciIhIdBiciIhIdBiciIhIdBiciIhIdBiciIhIdBiciIhIdBic\niIhIdBiciIhIdBiciIhIdBiciIhIdEwOTtHR0ejduzfkcjk8PT2RkpJiNH9GRgbGjh0LOzs7KBQK\nREREaKUnJydDJpPp/P3yyy8P1hIiImo0THoSbnx8PJYuXYoNGzbAw8MDO3bswMSJE5GamgoHBwed\n/EVFRfDz88OQIUOgUqmQmZmJ4OBgtGzZEsHBwVp509LSIJPJhNeWlpYP2SQiImroTLpy2r59OwIC\nAjBt2jQ4OzsjIiICtra22Llzp978cXFxKC0tRVRUFFxcXODr64t58+YhMjJSJ6+VlRWsra2FvyZN\nONJIRPS4qzUSlJeX49y5c/Dy8tLa7u3tjbS0NL1l0tPT4eHhAXNzc638N2/exLVr17Tyenp6CgEs\nOTn5QdpARESNTK3BKT8/HxUVFbCxsdHabmVlBbVarbeMWq3WyW9tbS2kAYCdnR3+97//4YMPPsAH\nH3wAZ2dn+Pr61novi4iIGj+T7jndL4lEUmueLl26oEuXLsLr/v3749q1a9iyZQs8PDz0lsnKyqqz\nOtYFsdVHzBpCXxUXl6OkpERv2t2KuwbTakt/kLKa1/V9XI3i4uIG8Z4BDePcEgsx9ZWzs7PR9FqD\nk6WlJaRSqc5VUl5eHmxtbfWWsbGx0Ztfk2ZI3759kZCQYDC9tsbUp6ysLFHVR8waSl9lXLqKVq1a\n6U1rKm1qMK229PstW1JSIryuz+Peq3Xr1nB27mSwrFg0lHNLDBpaX9U6rGdmZgZXV1eoVCqt7SqV\nCgMGDNBbxt3dHSkpKSgrK9PKb29vD0dHR4PH+vHHHyGXy02tOxERNVImTY1TKpWIiYnB3r17kZmZ\nidDQUKjVasyYMQMAEBYWBl9fXyG/v78/WrRogaCgIFy4cAGJiYnYvHkzgoKChDyRkZH49NNPcfny\nZVy4cAFhYWFISkrCrFmz6riJRETU0Jh0z8nPzw8FBQVYv349cnNzoVAoEBsbK/zGKTc3F9nZ2UJ+\nCwsLJCQkICQkBF5eXpDJZAgODoZSqRTy3L17F8uXL8fvv/+O5s2bo3v37oiLi8OIESPqtoVERNTg\nmDwhIjAwEIGBgXrT9P1+SaFQICkpyeD+XnvtNbz22mumHp7ooanzC5GXf8tgeln5nXqsjbg1lUqR\ncemqwXRry7awsWxXjzWix82/MluPSIzy8m9h5aYYg+nzA8fXY23EraDwNja9/4nB9OXzpzA40b+K\nyzEQEZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgR\nEZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHoMDgREZHomBScoqOj\n0bt3b8jlcnh6eiIlJcVo/oyMDIwdOxZ2dnZQKBSIiIgwmDclJQWWlpYYNGjQ/dWciIgarVqDU3x8\nPJYuXYoJVUlwAAAgAElEQVSQkBAkJyfD3d0dEydOxI0bN/TmLyoqgp+fH+RyOVQqFcLDw7F161Zs\n27ZNJ29hYSFeeeUVeHp6PnRDiIio8ag1OG3fvh0BAQGYNm0anJ2dERERAVtbW+zcuVNv/ri4OJSW\nliIqKgouLi7w9fXFvHnzEBkZqZM3ODgYAQEB6N+//8O3hIiIGg2jwam8vBznzp2Dl5eX1nZvb2+k\npaXpLZOeng4PDw+Ym5tr5b958yauXbsmbIuOjkZ+fj4WLVqEqqqqh2kDERE1MkaDU35+PioqKmBj\nY6O13crKCmq1Wm8ZtVqtk9/a2lpIA6rvSUVERODdd9+FRCJ54MoTEVHj1LSud1hbsCkrK8PLL7+M\n//73v3B0dLyvfWdlZT1M1eqc2OojZmLoq+LicpSUlBhMv1tx12C6sbR/o6zmdX0f19SyxcXFonhP\nAXGcWw2FmPrK2dnZaLrR4GRpaQmpVKpzlZSXlwdbW1u9ZWxsbPTm16Tl5OTg0qVLUCqVUCqVAIDK\nykpUVVXBysoKBw4cMDhBorbG1KesrCxR1UfMxNJXGZeuolWrVgbTm0qbGkw3llbXZUtKSoTX9Xnc\n+ynbunVrODt3MpheX8RybjUEDa2vjA7rmZmZwdXVFSqVSmu7SqXCgAED9JZxd3dHSkoKysrKtPLb\n29vD0dERHTp0QEpKCk6dOiX8vfzyy3BycsKpU6c4OYKIiGof1lMqlZgzZw769u2LAQMGYOfOnVCr\n1ZgxYwYAICwsDN999x0OHToEAPD398fatWsRFBSEkJAQZGVlYfPmzQgNDa0+YNOmcHFx0TqGpaUl\nzM3NdbYT3S91fiHy8m/pTSsrv1PPtWm8mkqlyLh0VW+atWVb2Fi2q+caUWNTa3Dy8/NDQUEB1q9f\nj9zcXCgUCsTGxsLBwQEAkJubi+zsbCG/hYUFEhISEBISAi8vL8hkMgQHBwtDePpwUgTVlbz8W1i5\nKUZv2vzA8fVcm8aroPA2Nr3/id605fOnMDjRQzNpQkRgYCACAwP1pun7/ZJCoUBSUpLJlViyZAmW\nLFlicn4iImrcuLYeERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJ\nDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMTERGJDoMT\nERGJDoMTERGJjsnBKTo6Gr1794ZcLoenpydSUlKM5s/IyMDYsWNhZ2cHhUKBiIgIrfRTp07hmWee\ngZOTE+zs7ODu7o6tW7c+WCuIiKhRaWpKpvj4eCxduhQbNmyAh4cHduzYgYkTJyI1NRUODg46+YuK\niuDn54chQ4ZApVIhMzMTwcHBaNmyJYKDgwEArVu3xty5c6FQKNCiRQukpqZiwYIFaN68OWbNmlW3\nrSQiogbFpCun7du3IyAgANOmTYOzszMiIiJga2uLnTt36s0fFxeH0tJSREVFwcXFBb6+vpg3bx4i\nIyOFPK6urvDz80O3bt3g6OiISZMmwcvLC+np6XXTMiIiarBqDU7l5eU4d+4cvLy8tLZ7e3sjLS1N\nb5n09HR4eHjA3NxcK//Nmzdx7do1vWXOnTuHM2fOwNPT8z6qT0REjVGtw3r5+fmoqKiAjY2N1nYr\nKyuo1Wq9ZdRqtc5wn7W1tZDm6OgobFcoFMjPz8edO3ewaNEiBAQE3HcjiIiocTHpntP9kkgkJuc9\nevQoSkpKcObMGbz55puwtrbGzJkz9ebNysqqqyrWCbHVR8zqrK+amKHgVrGxDCgpKdGbcrfirsG0\n2tLru6zmdUOqs0ZVZSXSvsswWLZ929ZAZbnB9PvFf4emE1NfOTs7G02vNThZWlpCKpXqXCXl5eXB\n1tZWbxkbGxu9+TVp99JcRXXv3h1qtRpbtmwxGJxqa0x9ysrKElV9xKwu+yrj0lVsjE40mD4/cDxa\ntWqlN62ptKnBtNrS67NsSUmJ8Lqh1Plet0tKsel9w+/R8vlT0KNr3ZwP/HdouobWV7XeczIzM4Or\nqytUKpXWdpVKhQEDBugt4+7ujpSUFJSVlWnlt7e31xrSq6miogKVlZWm1p2IiBopk2brKZVKxMTE\nYO/evcjMzERoaCjUajVmzJgBAAgLC4Ovr6+Q39/fHy1atEBQUBAuXLiAxMREbN68GUFBQUKed999\nF59//jkuX76My5cvY+/evdi+fTv+85//1HETiYiooTHpnpOfnx8KCgqwfv165ObmQqFQIDY2Vpj0\nkJubi+zsbCG/hYUFEhISEBISAi8vL8hkMgQHB0OpVAp5KisrsWLFCly7dg1SqRROTk5YsWKFEPCI\niOjxZfKEiMDAQAQGBupNu/f3SxoKhQJJSUkG9zd37lzMnTvX1MMTEdFjhGvrERGR6DA4ERGR6DA4\nERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR\n6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6DA4ERGR6Jj8JFyi+qLOL0Re/i29aWXld+q5NlTXmkql\nyLh0VW+atWVb2Fi2q+cakRiZHJyio6OxZcsWqNVquLi4IDw8HB4eHgbzZ2RkYNGiRfj+++8hk8kw\nffp0LF68WEhPTEzErl278OOPP6KsrAzdunXDwoULMWbMmIdrETV4efm3sHJTjN60+YHj67k2VNcK\nCm9j0/uf6E1bPn8KgxMBMHFYLz4+HkuXLkVISAiSk5Ph7u6OiRMn4saNG3rzFxUVwc/PD3K5HCqV\nCuHh4di6dSu2bdsm5Pnmm2/g6emJuLg4JCcnY+TIkXjxxReRkpJSNy0jIqIGy6Qrp+3btyMgIADT\npk0DAERERODEiRPYuXMnli9frpM/Li4OpaWliIqKgrm5OVxcXJCVlYXIyEgEBwcDANasWaNVJjQ0\nFMeOHcOnn35q9IqMiIgav1qvnMrLy3Hu3Dl4eXlpbff29kZaWpreMunp6fDw8IC5ublW/ps3b+La\ntWsGj3X79m3IZDJT605ERI1UrcEpPz8fFRUVsLGx0dpuZWUFtVqtt4xardbJb21tLaTps2PHDuTk\n5GDy5MkmVZyIiBqvf2W2nkQiua/8hw4dwltvvYVdu3bBwcHh36gSERE1ILUGJ0tLS0ilUp0rnry8\nPNja2uotY2Njoze/Ju1ehw4dwty5c/HOO+9g1KhRRuuSlZVVW3XrldjqI2b301fFxeUoKSnRm3a3\n4q7BtNrSG1JZzeuGVOe6KFtcXHzf/67479B0YuorZ2dno+m1BiczMzO4urpCpVLB19dX2K5SqTB+\nvP5pve7u7lixYgXKysqE+04qlQr29vZwdHQU8iUkJCAoKAjvvPMOxo0b99CNqU9ZWVmiqo+Y3W9f\nZVy6ilatWulNayptajCttvSGUrakpER43VDqXFdlW7duDWfnTgbL1sR/h6ZraH1l0lRypVKJmJgY\n7N27F5mZmQgNDYVarcaMGTMAAGFhYVqBy9/fHy1atEBQUBAuXLiAxMREbN68GUFBQUKegwcPYtas\nWVixYgUGDhyI3Nxc5Obm4s8//6zjJhIRUUNj0j0nPz8/FBQUYP369cjNzYVCoUBsbKxwfyg3NxfZ\n2dlCfgsLCyQkJCAkJAReXl6QyWQIDg6GUqkU8uzatQuVlZVYsmQJlixZImwfMmQIDh8+XEfNIyKi\nhsjkCRGBgYEIDAzUmxYZGamzTaFQICkpyeD+jhw5YuqhiYjoMcOFX4mISHQYnIiISHQYnIiISHQY\nnIiISHQYnIiISHQYnIiISHQYnIiISHT4mHaqd8Yeww7wUeyPM2OPcAf4GPfHCYMT1Ttjj2EH+Cj2\nx5mxR7gDfIz744TDekREJDoMTkREJDoMTkREJDoMTkREJDoMTkREJDoMTkREJDoMTkREJDoMTkRE\nJDoMTkREJDoMTkREJDomB6fo6Gj07t0bcrkcnp6eSElJMZo/IyMDY8eOhZ2dHRQKBSIiIrTSc3Nz\nMXPmTLi7u8PS0hJBQUEP1gIiImp0TApO8fHxWLp0KUJCQpCcnAx3d3dMnDgRN27c0Ju/qKgIfn5+\nkMvlUKlUCA8Px9atW7Ft2zYhT1lZGSwtLbFgwQK4ublBIpHUTYuIiKjBMyk4bd++HQEBAZg2bRqc\nnZ0REREBW1tb7Ny5U2/+uLg4lJaWIioqCi4uLvD19cW8efMQGRkp5HF0dMTatWvxwgsvoF07LuRI\nRET/qHVV8vLycpw7dw6vvfaa1nZvb2+kpaXpLZOeng4PDw+Ym5tr5V+9ejWuXbsGR0fHh6w2id29\nj8UoLi7XegwCH4lBD6rmIzXuPbf4OI3GpdbglJ+fj4qKCtjY2Ghtt7Kyglqt1ltGrVbDwcFBa5u1\ntbWQxuDU+N37WIySkhK0atVKSOMjMehB1Xykxr3nFh+n0bj8K7P1eP+IiIgeRq1XTpaWlpBKpTpX\nSXl5ebC1tdVbxsbGRm9+TdqDysrKeuCy/wax1UdMiovLUVJSIry+9//vVtzVel2TsfTHpazmdUOq\n86Mqq3ldXFzMf5O1EFP/ODs7G02vNTiZmZnB1dUVKpUKvr6+wnaVSoXx4/UPz7i7u2PFihUoKysT\n7jupVCrY29s/1JBebY2pT1lZWaKqj9hkXLoqDLfUHNZrKm2q9bomY+mPQ9l7+6uh1PlRlb23r1q3\nbg1n504Gyz7uGtpnlknDekqlEjExMdi7dy8yMzMRGhoKtVqNGTNmAADCwsK0Ape/vz9atGiBoKAg\nXLhwAYmJidi8ebPOb5nOnz+P8+fPo6ioCAUFBTh//jwuXrxYh80jIqKGqNYrJwDw8/NDQUEB1q9f\nj9zcXCgUCsTGxgqTHnJzc5GdnS3kt7CwQEJCAkJCQuDl5QWZTIbg4GAolUqt/Q4bNgxA9T2qqqoq\nHD16FI6Ojjh37lwdNY+IiBoik4ITAAQGBiIwMFBv2r2/X9JQKBRISkoyus8///zT1MMTEdFjhGvr\nERGR6DA4ERGR6DA4ERGR6DA4ERGR6Jg8IYLoXveunacP18+j+lZz3b2auPZew8LgRA/k3rXz9OH6\neVTfaq67VxPX3mtYOKxHRESiw+BERESiw+BERESiw+BERESiw+BERESiw9l6ZJCx6eKcKk4NjbGp\n5pxmLj4MTmSQseninCpODY2xqeacZi4+HNYjIiLRYXAiIiLRYXAiIiLRYXAiIiLR4YSIxxgXbyWq\nxkVjxYfB6THGxVuJqnHRWPExaVgvOjoavXv3hlwuh6enJ1JSUozmz8jIwNixY2FnZweFQoGIiAid\nPKdOncKwYcMgl8vh6uqKXbt2PVgLiIio0an1yik+Ph5Lly7Fhg0b4OHhgR07dmDixIlITU2Fg4OD\nTv6ioiL4+flhyJAhUKlUyMzMRHBwMFq2bIng4GAAQHZ2NiZNmoSpU6ciOjoaKSkpWLhwISwtLTFu\n3Li6b+VjjD+kJXp4HParf7UGp+3btyMgIADTpk0DAERERODEiRPYuXMnli9frpM/Li4OpaWliIqK\ngrm5OVxcXJCVlYXIyEghOO3atQv29vZYu3YtAMDZ2Rnffvsttm3bxuBUx/hDWqKHx2G/+mc0OJWX\nl+PcuXN47bXXtLZ7e3sjLS1Nb5n09HR4eHjA3NxcK//q1atx7do1ODo6Ij09HV5eXjr73L9/Pyoq\nKiCVSh+0PY8dTmogevS4NFLdMxqc8vPzUVFRARsbG63tVlZWUKvVesuo1Wqd4T5ra2shzdHREXl5\neTr7tLa2xt27d5Gfn6+T9jgzJfisjYwzmM6rI6J/n7Erq5ULpxr9N8zgpZ+ksLCwylDizZs3oVAo\nkJSUBA8PD2H72rVrceDAAZw5c0anzIQJE9ChQwds3bpV2Hb9+nX07t0bx48fh5ubG9zc3DB58mQs\nWrRIyHP69Gk8++yzyMzMZHAiInrMGZ2tZ2lpCalUqnOVlJeXB1tbW71lbGxs9ObXpBnL07RpU1ha\nWt5fC4iIqNExGpzMzMzg6uoKlUqltV2lUmHAgAF6y7i7uyMlJQVlZWVa+e3t7eHo6Cjk0bfPvn37\n8n4TERHV/jsnpVKJmJgY7N27F5mZmQgNDYVarcaMGTMAAGFhYfD19RXy+/v7o0WLFggKCsKFCxeQ\nmJiIzZs3IygoSMgzY8YM3Lx5E0uXLkVmZib27t2L/fv3C7P5iIjo8VbrVHI/Pz8UFBRg/fr1yM3N\nhUKhQGxsrDDpITc3F9nZ2UJ+CwsLJCQkICQkBF5eXpDJZAgODoZSqRTydOrUCbGxsXjjjTewc+dO\n2NnZISIiAs8991zdt5CIiBocoxMiiIiIHgWuSm7Ajh07MHjwYDg6OsLR0RHPPPMMjh07ppUnPDwc\n3bt3h52dHZ599llcvHjxEdVWXDZu3AiZTKY1GxNgf2mEh4dDJpNp/bm4uOjkYV9Vy8nJwSuvvIIu\nXbpALpdj4MCBOH36tFYe9hfQq1cvnfNKJpNh8uTJAICqqqoG1U8MTgZ06NABK1euxNdff42vvvoK\nTz/9NAICAvDjjz8CADZt2oTIyEhERETgyy+/hLW1Nfz8/FBcXPyIa/5onTlzBnv27EGPHj0gkUiE\n7ewvbV27dsWlS5eEv2+++UZIY1/9o7CwEKNGjYJEIkFcXBzS09MREREh/HYSYH9pnDx5UuucOnny\nJCQSCfz8/AAAmzdvblD9xOBkwNixYzF8+HB07twZTk5OWLZsGVq3bo3vvvsOVVVViIqKwoIFC/Dc\nc8+he/fuiIqKQnFxMQ4cOPCoq/7I3Lp1C7Nnz8b27dvRrt0/Pypkf+mSSqWwtrYW/tq3bw+AfVXT\nli1bYG9vj6ioKDz11FNwdHTE008/ja5duwJgf92rffv2WufUsWPHYGFhAT8/vwbZTwxOJqioqMDB\ngwdRVlaGQYMG4erVq1Cr1fD29hbyNG/eHIMGDTK4rNPjYP78+Rg/fjyGDBmCqqp/bmWyv3RlZ2ej\ne/fu6NOnDwIDA4VJRewrbZ9++in69u2LGTNmwNnZGUOHDsWOHTuEdPaXflVVVfjggw8wadIkmJub\nN8h+4vOcjMjIyMAzzzyDsrIytGjRArt27YKzs7PwZt47tABUL+uUk5PzKKr6yO3ZswfZ2dmIjo4G\nAK0hvdzcXADsL43+/fsjKioKzs7OyMvLw7p16zBq1Cikpqayr2rIzs7G+++/D6VSiddffx3nz59H\naGgoAGDWrFnsLwNUKhWuXbuGl156CUDD/DfI4GRE165dcfr0ady6dQuHDh1CYGAgDh8+bLTMvR/K\nj4usrCz897//xdGjR4UfUVdVVWldPRnyOPbXiBEjtF73798fffr0QUxMDNzc3AyWexz7qrKyEv36\n9cObb74JoPqm/6+//oro6GjMmjXLaNnHsb809uzZg379+qFHjx615hVrP3FYz4hmzZqhc+fO6NOn\nD5YvXw43Nzfs2LFDWLpJsyyThr4FbR8H6enpyM/Px8CBA2FlZQUrKyt88803eP/992FtbS0sScX+\n0q9ly5ZwcXHBlStXeG7VIJfL0a1bN61tzs7OuHHjBgCwv/TIy8vDZ599JjzmCGiY/cTgdB8qKipQ\nWVmJzp07w9bWFl9++aWQVlpaitTUVIPLOjVmzz77LFJSUnDq1CmcOnUKycnJeOqpp+Dv74/k5GQ8\n+eST7C8jSktLcenSJdja2vLcqmHgwIG4dOmS1rZffvlFWAqtU6dO7K8aYmJi0Lx5c/j7+wvbGmI/\nSZcsWbLiUVdCjFasWAFzc3NUVlbit99+Q1RUFOLi4rBy5Uo88cQTqKiowP/+9z906dIFFRUV+L//\n+z+o1Wps2rQJZmZmj7r69ap58+bCFZOVlRWsra0RGxuLjh07YsqUKZBIJOyveyxbtkw4t3755Rcs\nWrQIV65cwaZNm2BhYcG+ukfHjh2xdu1aSKVSyOVynDx5EqtWrcLrr7+Ovn378tyqoaqqCkqlEqNH\nj9Zacach9hPvORmgVqsxe/ZsqNVqWFhYoGfPnjh48KDwkMR58+bh77//xqJFi1BYWAg3NzfEx8ej\nVatWj7jm4iCRSLTGstlf/7h58yZmzpyJ/Px8WFlZoX///vjiiy+EJcHYV/946qmnsG/fPqxcuRLr\n1q1Dx44dsWzZMgQGBgp52F//SE5OxpUrV4SJSfdqaP3E5YuIiEh0eM+JiIhEh8GJiIhEh8GJiIhE\nh8GJiIhEh8GJiIhEh8GJiIhEh8GJiIhEh8GJHsi+ffsgk8mERz2I2YYNG9CzZ09YWVnh6aefNpiv\nV69emD17dj3WzLCrV69CJpMhJibmofaTnJwMmUym8+TYB1VcXIxly5bBx8cHHTt2hEwmw6lTp/Tm\nLS0txZtvvolu3brBzs4OzzzzjNZDFTWqqqqwceNG9OrVC3K5HEOGDEFiYqJJ9QkPD8fXX3/9UG0i\ncWJwokbt7NmzWLVqFfz9/fHZZ5/h3XffNZi35qoWYvCw9XF1dcUXX3yB3r1710l98vPzsW/fPpiZ\nmQmrpRiq46uvvoq9e/fi//7v//Dxxx/D1tYWzz//vPA0aY1Vq1Zh7dq1mDNnDg4cOID+/ftj+vTp\nOH78eK31iYiIQHJy8sM3jESHyxeRaJWVlcHc3Pyh9pGZmQkAmD59Ojp37lwHtWpY2rRpg379+tXZ\n/jp16oQrV64AAL766iuDj5D58ccfceDAAWzfvh1TpkwBAAwePBgDBw7E22+/jf379wOoXhV769at\neP311xEcHAwAGDJkCH799VesWLECI0eOrLVOpjyahRoeXjk1EOHh4ZDJZPj1118xadIkODg4oFev\nXoiIiND6x6kZbrt+/bre8veSyWRYtWoVtmzZgp49e6JDhw6YPHky/vjjD+Tk5GDq1KlwdHREz549\nsXnzZr31+v333zFlyhQ4ODjAyckJixYtQmlpqVaev/76C2+99RZ69+4NGxsb9OnTBxs2bNCqt2b4\n6fDhw3jttdfw5JNPCo/iNuTs2bPw9fWFg4MDOnToAF9fX3z33XdCuo+PD5RKJYDqNdpkMhnWrl1r\ndJ9VVVU4ePAg3N3d0aFDB3h5eSE1NVUn36lTpzBu3Dh07NgRHTp0wPPPP48LFy5o5fnyyy8xceJE\nuLi4wN7eHoMGDcK2bdtQWVmp0z8LFy7EE088AQcHB7zwwgv4/fffdY753XffYfz48XBycoKdnR1c\nXV0REhJitD36hvV8fHwwZswYfPXVV3j66aeFuh05csTovu7HZ599hmbNmmHChAnCNqlUigkTJuDL\nL7/EnTt3AAAnTpzAnTt3MHnyZK3ykyZNws8//4xr164ZPIbmfN6wYQNkMpnO+/vxxx9j8ODBkMvl\nePLJJzFnzhzhoXsacXFxGDp0KBwcHODo6IhBgwZh9+7dQropfZ6dnY1Zs2ahS5cusLW1xdChQ3X6\n8pdffkFAQACcnZ0hl8vRs2dPTJ8+HRUVFSb05uOJV04NzIsvvoiAgAAolUp89tlnCA8PR4cOHRAQ\nEFBrWX3DLx999BF69OiB//3vf8jNzcUbb7yB2bNno7CwED4+Ppg5cyY++eQTrFixAgqFQueb7OzZ\nszFhwgTMnj0b3377LSIiIlBSUoLIyEgAwN27d/H8888jMzMTixcvhkKhwJkzZ7Bu3Tr8+eefWLVq\nldb+QkNDMXLkSOzYsUMnyN3rp59+go+PD7p37y4ca9OmTfDx8cHx48fRs2dPbNy4EbGxsdi4cSM+\n/PBDyOVy2NnZGdxnVVUVUlJScPnyZWHl8NWrV2Py5Mk4f/482rZtCwD4/PPPMWXKFIwePRrvvfce\nqqqqsHnzZowZMwanT59Ghw4dAFTfN3r66acxa9YstGzZEt9//z3Wrl2L/Px8vPXWW8Jx58+fj08+\n+QRLlixB37598eWXX+o8SK+4uBgTJkwQnqLbunVrXL16FWfOnDHYHkMkEgmuXLmCpUuX4vXXX0f7\n9u2xbds2TJ8+HWfOnMETTzxx3/us6eLFi+jcuTOaN2+utd3FxQXl5eX49ddf0a1bN1y8eBHm5uY6\nx3RxcQFQfeWreTxGTcePH8fIkSMREBCAGTNmAADs7e0BALt378aCBQvw/PPPIywsDL///jv++9//\n4uzZszh58iRatWqFlJQUzJkzB6+88gpWrVqFqqoqZGZmoqioCIBpfX7jxg2MGDECNjY2CA8Ph5WV\nFQ4ePIhp06Zh3759GDNmDIDqYNu+fXts3LgRlpaW+P3333H8+HFUVlYKD+gkbQxODUxwcLAwTDJs\n2DB8/fXXOHjwoEnBSd/wR4sWLbB//340aVJ9EX3hwgVERkZi2bJlWLhwIYDqYZYjR47gk08+0QlO\no0aNwsqVKwEAnp6ekEgkePvttxESEgInJyccOHAAqampSEpKgoeHBwAIkxLWrl2LBQsWCA8jBIB+\n/foZvEq7V0REBJo3b45Dhw7BwsICAODl5YXevXtj7dq1+OCDD9CtWzd06tQJANC7d2907Nix1v0W\nFxfj1KlTQiCytbWFl5cXjh8/LjwfZ8mSJRg6dCj27dsnlBs6dChcXV2xbds2hIeHA4DwgQlU9/3A\ngQNRVlaGbdu2CcEpKysLBw8exPLlyzFv3jyhH0tKSrBz506hfFZWFm7duoWwsDAoFAoA1cNkmnPh\nflRVVaGgoACfffaZEBT69OmDbt26ISEhAa+//vp977OmP//8E+3atdPZrrna+fPPP+8rnz6apwbb\n2dlpDV1WVFRg9erVGDp0qNbq3F27dsWYMWPw4YcfYs6cOfj222/Rtm1bvP3220IeT09P4f9N6fM1\na9ZAIpEgKSlJaIeXlxd+++03vP322xgzZgzy8/Nx5coVvP322xg9erRQ9t7nLZEuDus1MKNGjdJ6\n3b17d+GpoA/C09NTCExA9VNGAWD48OHCNqlUCicnJ71DTePHj9d6PWHCBFRWVuLs2bMAqodtOnbs\nCEaAsJUAAAhBSURBVHd3d9y9e1f48/Lywp07d3S++T/77LMm1fubb77BqFGjhMAEVN9f0Vy9PCh3\nd3chMAHV/QsAv/32GwDg8uXLyM7Ohr+/v1Z7WrRoATc3N63ZaDk5OZg/fz569uwJGxsbWFtbY/Xq\n1SgqKhKeSPrtt9+isrJSbz/ey8nJCW3btsX8+fMRGxv7UO85ADz55JNaVyua53Bp2lmf6vqeUVZW\nFv744w9MnDhRa/vAgQPRsWNH4T3q27cvCgsLMXv2bBw9ehSFhYVa+Z988sla+/zEiRMYOXIk2rRp\no3U+eHt746effkJxcTHat2+Pzp07Y8WKFdi7dy8uX75cp+1trBicGpia943MzMyMDn/Vpua31mbN\nmund3rRpU73HqfmIZ2trawDVzywCqm94X79+Xfjw0/wNHz4cEokEBQUFWuXlcrlJ9S4sLNSb18bG\nRudDxlQSiUSn3ZoJGZq2a4LKq6++qtUea2trHDt2TPimX1lZiRdeeAHHjx/H4sWLcfjwYahUKixc\nuBBVVVXC/jT3QAz1o0bbtm1x+PBhyOVyhISEoFevXhg0aJDJU65r0ne18rDnUs3967vq0WzTnMft\n2rXDrVu3as13PzRlDZ0fmvTBgwdj9+7d+O233zB16lQ4Oztj/PjxyMjIAABYWFjU2ud5eXnYv3+/\nzvm9fPly4fyWSCRISEiAq6srwsLC4ObmBldXV60rY9LFYb1GRjPGr7nhrFEzCNSV3NxcdOvWTXit\n+fDW3Ntp3749OnXqpHWT+V6G7ifURiaTIScnR299HuQDzVTt27cHUP2k5GHDhumka54oeuXKFfzw\nww947733tL7BJyUlaeW3tbUFUP1wS80QpOZ1Tb169cLevXtRWVmJ7777Dhs3bsSMGTNw6tQp4QpP\nLFxcXPDpp5+itLRU677TxYsXYWZmBicnJyFfWVkZrly5onUld/HiRQDQOrdMpXn/DZ0fffv2FV77\n+vrC19cXf/31F5KTk7FixQr4+/vj559/hkQiMdjnp0+fhouLCywtLTFo0CBhSLYmTYDs3Lkz3nnn\nHQDVMxl37NiBhQsXwtHRESNGjLjvNj4OeOXUCNw70UFzX0Xz7Q+onpSgUqn+ld/wfPLJJ1qvDx48\niCZNmgj3A0aMGIHffvsNrVq1gqurq86f5sP+fg0ePBjHjx9HcXGxsO327ds4evQohgwZ8uANqoWz\nszMcHR3x888/622P5t7EX3/9BaD6ilPjzp07iIuL03of3Nzc0KRJEyQkJGgdJz4+3mAdNP37xhtv\noLKyEpcuXarLJtaJMWPG4M6dO1rtunv3LhISEuDt7S1coY8cORLNmjVDbGysVvnY2FgoFIpav7zo\nu9rr2rUrbGxsdPowLS0NN27c0Ht+tGzZEqNGjcJLL72EnJwcnau+mn2u+YnC8OHD8dNPP8HFxUXv\n+aDv8ee9evUSJgLVnOFJ/+CVUyNw75h9v3798MQTT2D58uWorKyEmZkZ3n//fZSXl/8rvwc5fvw4\nli9fDi8vL5w9exYRERF44YUXhG/BkyZNwr59++Dr6wulUomePXuivLwcV65cwdGjR7Fv3z60aNHi\nvo+7aNEifP755/D19RW+tW7evBllZWVYvHjxA7XFlP6RSCRYv349pkyZgjt37sDX1xeWlpbIy8tD\nWloaOnbsCOX/a+f+Xtlv4ziOP4eRbZLlZ4xoIsskP844IDuQIySackTNDqzIZnJiJqHIr0xoDogS\nDhAnHPAPKOV4qRWtcLJo4T5Qq93fH3Z/j3b3fT8OP33a53pfO3hd++x9XVYrpaWl6HQ6XC4XcXFx\nJCQksLKygkKhiHhOcXEx7e3tTE5O8vHxQWVlJRcXFz9sQD07O8Pr9dLS0kJ+fj7BYBCPx0NKSgq1\ntbV/VO+f1A9f33kwGAwvgK6vrwkEAqhUqnDDjNFopLW1lZGREUKhEAUFBWxsbHB/fx/RpJCeno7V\namVubg6NRoPRaOTw8JCrqyt2d3e/HUtJSQnn5+c0NjaSmppKTk4O2dnZOJ1ObDYbfX19dHR04Pf7\nmZiYQK/X093dDYDb7SYQCFBXV0dWVhZ+vx+Px4PRaESr1UY1506nk8bGRpqbm+nt7UWn0/H8/Mzd\n3R0+n4+lpSVub29xOBy0tbVRWFjI+/s7Ozs7KJXK355Y8reTcPqf+NXpBf++Hh8fz87ODkNDQ1it\nVtLS0rBYLFRXVzM9PR31s6K9tra2xuLiIpubmyQmJtLT0xPRHp6QkMDBwQFzc3NsbW3h8/lQqVQU\nFRVhMpkiVpb/5ZedwWDg+PgYl8tFf38/n5+f1NTUcHJygsFg+HbsPxPtfU1NTZyenjI7O8vAwACv\nr69kZmZSW1sb7sBSKpVsb28zPDyMxWJBq9ViNpvJzc3FZrNFfN78/DwajYbFxUVCoRD19fWsr69H\ndHbp9XpUKhUzMzM8PDyg0Wioqqri6Ojot+3xP6vrV3VGW//g4GB4H51CoWBqagr4ekV7c3MTvm95\neRmXy4Xb7ebl5YXy8nL29/d/OK1ibGwMtVrN6uoqj4+PFBcX4/V6MZlM345lZmYGu91OZ2cnb29v\nOBwO7HY7PT09JCcns7CwgNlsRq1WYzKZGB8fDy+Gampq8Hg8OJ1Onp6eyMjIoKGhgdHRUSC6Oc/L\ny+Py8pKpqSlcLheBQACtVktZWRldXV3A16s9nU7H8vIyfr+fpKQkDAYDe3t7VFRURDXnfyPF8/Oz\nbK8WQggRU+Q/JyGEEDFHwkkIIUTMkXASQggRcySchBBCxBwJJyGEEDFHwkkIIUTMkXASQggRcySc\nhBBCxBwJJyGEEDHnH4X2VJTZUYt9AAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "probs = stats.binom.pmf(np.arange(30, 71, 1), 100, 1/2)\n", "k = np.arange(30,71,1)\n", "dist = Table([k, probs], ['k', 'P(k heads in 100 tosses)'])\n", "dist.hist(counts='k', bins=np.arange(29.5, 70.6, 1))\n", "plots.xlim(25,75)\n", "plots.xlabel('number of heads in 100 tosses')\n", "plots.title('Probability Distribution')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Notice the beautifully symmetric, normal shape, centered at 50. The points of inflection of the curve are at 45 and 55, one standard error away from the expected value. That is consistent with the points \"mean $\\pm$ SD\" being the points of inflecion of a normal curve.\n", "\n", "Notice also that the number of heads is most likely to be in the 35-65 range, that is, within 3 standard errors of the expected value. Even though the possible values are 0 through 100, the probable values are in a much smaller range." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "**Example 7.** What is the chance that the proportion of heads will be between 0.45 and 0.55, if you toss a coin \n", "\n", "(a) 100 times?\n", "\n", "(b) 1000 times?\n", "\n", "We can answer both of these questions by using ``stats.binom.cdf``. We do have to be consistent in our definition of \"between\". We will take it to mean \"between 0.45 and 0.55, inclusive\". That is, we will include both the endpoints in the interval." ] }, { "cell_type": "code", "execution_count": 14, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.72874697592616577" ] }, "execution_count": 14, "metadata": {}, "output_type": "execute_result" } ], "source": [ "#(a) 100 tosses; chance that the proportion of heads is between 0.45 and 0.55\n", "\n", "stats.binom.cdf(55, 100, 0.5) - stats.binom.cdf(44, 100, 0.5)" ] }, { "cell_type": "code", "execution_count": 15, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.99860825840557732" ] }, "execution_count": 15, "metadata": {}, "output_type": "execute_result" } ], "source": [ "#(a) 1000 tosses; chance that the proportion of heads is between 0.45 and 0.55\n", "\n", "stats.binom.cdf(550, 1000, 0.5) - stats.binom.cdf(449, 1000, 0.5)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Notice how the chance rose from about 73% to well over 99%. That's because of the law of averages. The chance that the proportion of heads is in any fixed interval around 0.5 goes up as the number of tosses increases." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We could also have given rough approximations to these answers by using the normal approximation. In both cases, the proportion of heads is expected to be 0.5. \n", "\n", "- When there are 100 tosses, the standard error of the proportion is $\\sqrt{0.5 \\times 0.5 /100} = 0.05$.\n", "- When there are 1000 tosses, the standard error of the proportion is $\\sqrt{0.5 \\times 0.5 /1000} = 0.0158$.\n", "\n", "The corresponding normal curves give the following approximations. You can see that the approximation is better when the number of tosses is larger. Because the normal curve is continuous, we need not worry about including or excluding endpoints; each single point corresponds to an area of 0." ] }, { "cell_type": "code", "execution_count": 18, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.68268949213708607" ] }, "execution_count": 18, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Normal approximation to the chance of between 0.45 and 0.55 heads in 100 tosses\n", "\n", "stats.norm.cdf(0.55, 0.5, 0.05) - stats.norm.cdf(0.45, 0.5, 0.05)" ] }, { "cell_type": "code", "execution_count": 19, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0.99844680743966796" ] }, "execution_count": 19, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Normal approximation to the chance of between 0.45 and 0.55 heads in 1000 tosses\n", "\n", "stats.norm.cdf(0.55, 0.5, 0.0158) - stats.norm.cdf(0.45, 0.5, 0.0158)" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "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.4.3" } }, "nbformat": 4, "nbformat_minor": 0 }