{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Socks, Skeets, and Space Invaders\n",
    "---------------------------------\n",
    "\n",
    "This notebook contains code from my blog, [Probably Overthinking It](http://allendowney.blogspot.com/)\n",
    "\n",
    "Copyright 2016 Allen Downey\n",
    "\n",
    "MIT License: http://opensource.org/licenses/MIT"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "collapsed": false
   },
   "outputs": [],
   "source": [
    "from __future__ import print_function, division\n",
    "\n",
    "%matplotlib inline\n",
    "\n",
    "import warnings\n",
    "warnings.filterwarnings(\"ignore\")\n",
    "\n",
    "from thinkbayes2 import Pmf, Hist, Beta\n",
    "import thinkbayes2\n",
    "import thinkplot"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Socks\n",
    "\n",
    "The sock drawer problem\n",
    "Posed by Yuzhong Huang:\n",
    "\n",
    "> There are two drawers of socks. The first drawer has 40 white socks and 10 black socks; the second drawer has 20 white socks and 30 black socks.  We randomly get 2 socks from a drawer, and it turns out to be a pair (same color) but we don't know the color of these socks. What is the chance that we picked the first drawer?\n",
    "\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now I'll solve the problem more generally using a Jupyter notebook.\n",
    "\n",
    "I'll represent the sock drawers with `Hist` objects, defined in the `thinkbayes2` library:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "B 10\n",
      "W 40\n"
     ]
    }
   ],
   "source": [
    "drawer1 = Hist(dict(W=40, B=10), label='Drawer 1')\n",
    "drawer2 = Hist(dict(W=20, B=30), label='Drawer 2')\n",
    "drawer1.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now I can make a `Pmf` that represents the two hypotheses:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Drawer 2 0.5\n",
      "Drawer 1 0.5\n"
     ]
    }
   ],
   "source": [
    "pmf = Pmf([drawer1, drawer2])\n",
    "pmf.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "This function computes the likelihood of the data for a given hypothesis:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "collapsed": false
   },
   "outputs": [],
   "source": [
    "def likelihood(data, hypo):\n",
    "    \"\"\"Likelihood of the data under the hypothesis.\n",
    "    \n",
    "    data: string 'same' or 'different'\n",
    "    hypo: Hist object with the number of each color\n",
    "    \n",
    "    returns: float likelihood\n",
    "    \"\"\"\n",
    "    probs = Pmf(hypo)\n",
    "    prob_same = probs['W']**2 + probs['B']**2\n",
    "    if data == 'same':\n",
    "        return prob_same\n",
    "    else:\n",
    "        return 1-prob_same"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now we can update `pmf` with these likelihoods"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.6000000000000001"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "data = 'same'\n",
    "\n",
    "pmf[drawer1] *= likelihood(data, drawer1)\n",
    "pmf[drawer2] *= likelihood(data, drawer2)\n",
    "pmf.Normalize()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The return value from Normalize is the total probability of the data, the denominator of Bayes's theorem, also known as the normalizing constant.\n",
    "\n",
    "And here's the posterior distribution:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Drawer 2 0.433333333333\n",
      "Drawer 1 0.566666666667\n"
     ]
    }
   ],
   "source": [
    "pmf.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The likelihood of getting a pair is higher in Drawer 1, which is 40:10, than in Drawer 2, which is 30:20.\n",
    "\n",
    "In general, the probability of getting a pair is highest if the drawer contains only one color sock, and lowest if the proportion if 50:50.\n",
    "\n",
    "So getting a pair is evidence that the drawer is more likely to have a high (or low) proportion of one color, and less likely to be balanced."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## The Alien Blaster problem\n",
    "\n",
    "In preparation for an alien invasion, the Earth Defense League has been working on new missiles to shoot down space invaders.  Of course, some missile designs are better than others; let's assume that each design has some probability of hitting an alien ship, x.\n",
    "\n",
    "Based on previous tests, the distribution of x in the population of designs is roughly uniform between 10% and 40%.  To approximate this distribution, we'll assume that x is either 10%, 20%, 30%, or 40% with equal probability.\n",
    "\n",
    "Now suppose the new ultra-secret Alien Blaster 10K is being tested.  In a press conference, an EDF general reports that the new design has been tested twice, taking two shots during each test.  The results of the test are confidential, so the general won't say how many targets were hit, but they report: ``The same number of targets were hit in the two tests, so we have reason to think this new design is consistent.''\n",
    "\n",
    "Is this data good or bad; that is, does it increase or decrease your estimate of x for the Alien Blaster 10K?"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "I'll start by creating a `Pmf` that represents the four hypothetical values of `x`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0.1 0.25\n",
      "0.2 0.25\n",
      "0.3 0.25\n",
      "0.4 0.25\n"
     ]
    }
   ],
   "source": [
    "pmf = Pmf([0.1, 0.2, 0.3, 0.4])\n",
    "pmf.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Before seeing the data, the mean of the distribution, which is the expected effectiveness of the blaster, is 0.25."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.25"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "pmf.Mean()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Here's how we compute the likelihood of the data.  If each blaster takes two shots, there are three ways they can get a tie: they both get 0, 1, or 2.  If the probability that either blaster gets a hit is x, the probabilities of these outcomes are:\n",
    "\n",
    "    both 0:  (1-x)**4\n",
    "    both 1:  (2 * x * (1-x))**2\n",
    "    both 2:  x**x\n",
    "    \n",
    "Here's the likelihood function that computes the total probability of the three outcomes:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "def likelihood(hypo, data):\n",
    "    \"\"\"Likelihood of the data under hypo.\n",
    "    \n",
    "    hypo: probability of a hit, x\n",
    "    data: 'tie' or 'no tie'\n",
    "    \"\"\"\n",
    "    x = hypo\n",
    "    like = x**4 + (2 * x * (1-x))**2 + (1-x)**4\n",
    "    if data == 'tie':\n",
    "        return like\n",
    "    else:\n",
    "        return 1-like"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "To see what the likelihood function looks like, I'll print the likelihood of a tie for the four hypothetical values of `x`: "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0.1 0.6886\n",
      "0.2 0.5136\n",
      "0.3 0.4246\n",
      "0.4 0.3856\n"
     ]
    }
   ],
   "source": [
    "data = 'tie'\n",
    "for hypo in sorted(pmf):\n",
    "    like = likelihood(hypo, data)\n",
    "    print(hypo, like)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "If we multiply each likelihood by the corresponding prior, we get the unnormalized posteriors:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0.1 0.25 0.17215\n",
      "0.2 0.25 0.1284\n",
      "0.3 0.25 0.10615\n",
      "0.4 0.25 0.0964\n"
     ]
    }
   ],
   "source": [
    "for hypo in sorted(pmf):\n",
    "    unnorm_post = pmf[hypo] * likelihood(hypo, data)\n",
    "    print(hypo, pmf[hypo], unnorm_post)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Finally, we can do the update by multiplying the priors in `pmf` by the likelihoods:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "for hypo in pmf:\n",
    "    pmf[hypo] *= likelihood(hypo, data)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And then normalizing `pmf`.  The result is the total probability of the data."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.5031000000000001"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "pmf.Normalize()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And here are the posteriors."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "0.1 0.342178493341\n",
      "0.2 0.255217650566\n",
      "0.3 0.210991850527\n",
      "0.4 0.191612005565\n"
     ]
    }
   ],
   "source": [
    "pmf.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The lower values of `x` are more likely, so this evidence makes us downgrade our expectation about the effectiveness of the blaster.  The posterior mean is 0.225, a bit lower than the prior mean, 0.25."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.2252037368316438"
      ]
     },
     "execution_count": 15,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "pmf.Mean()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "A tie is evidence in favor of extreme values of `x`."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "## The Skeet Shooting problem\n",
    "\n",
    "At the 2016 Summer Olympics in the Women's Skeet event, Kim Rhode faced Wei Meng in the bronze medal match.  After 25 shots, they were tied, sending the match into sudden death.  In each round of sudden death, each competitor shoots at two targets.  In the first three rounds, Rhode and Wei hit the same number of targets.  Finally in the fourth round, Rhode hit more targets, so she won the bronze medal, making her the first Summer Olympian to win an individual medal at six consecutive summer games.  Based on this information, should we infer that Rhode and Wei had an unusually good or bad day?\n",
    "\n",
    "As background information, you can assume that anyone in the Olympic final has about the same probability of hitting 13, 14, 15, or 16 out of 25 targets."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "To compute the likelihood function, I'll use `binom.pmf`, which computes the Binomial PMF.  In the following example, the probability of hitting `k=10` targets in `n=25` attempts, with probability `p=13/15` of hitting each target, is about 8%."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.078169085615240511"
      ]
     },
     "execution_count": 16,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from scipy.stats import binom\n",
    "\n",
    "k = 10\n",
    "n = 25\n",
    "p = 13/25\n",
    "binom.pmf(k, n, p)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The following function computes the likelihood of `tie` or `no tie` after a given number of shots, `n`, given the hypothetical value of `p`.\n",
    "\n",
    "It loops through the possible values of `k` from 0 to `n` and uses `binom.pmf` to compute the probability that each shooter hits `k` targets.  To get the probability that BOTH shooters hit `k` targets, we square the result.\n",
    "\n",
    "To get the total likelihood of the outcome, we add up the probability for each value of `k`."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "def likelihood(data, hypo):\n",
    "    \"\"\"Likelihood of data under hypo.\n",
    "        \n",
    "    data: tuple of (number of shots, 'tie' or 'no tie')\n",
    "    hypo: hypothetical number of hits out of 25\n",
    "    \"\"\"\n",
    "    p = hypo / 25\n",
    "    n, outcome = data\n",
    "    like = sum([binom.pmf(k, n, p)**2 for k in range(n+1)])\n",
    "    return like if outcome=='tie' else 1-like"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now we can see what that looks like for `n=2`"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYYAAAEPCAYAAABGP2P1AAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3Xd4XOW57/3vbVuW5d67cW8Y3HDDNiAbsE1P2DQDoSQB\nkkBIss9OQvbZee3svGfvTU56CBASEkoIhBKCaS6AZcAF94YrxjbuuMi2XNTv88csjWaEJEtjjUaj\n+X2uS5fmWbPWmlvL47nnKet5zN0REREp0SDRAYiISN2ixCAiIlGUGEREJIoSg4iIRFFiEBGRKEoM\nIiISJa6JwcyeNLMDZra2kn1+a2ZbzWy1mQ2PZzwiInJm8a4x/AWYWtGTZnYF0Nfd+wP3AY/HOR4R\nETmDuCYGd/8QyK5kl+uAZ4J9PwJamVmneMYkIiKVS3QfQzdgV0R5T7BNREQSJNGJQURE6phGCX79\nPUCPiHL3YNsXmJkmdRIRiYG7W3X2r40agwU/5ZkF3AFgZuOAo+5+oKITXf/gYzzy3HzcPaV/ZsyY\nkfAY6sqProWuha7FF3/efn891z/4GNc/+FhMH9rxHq76N2ARMMDMPjOzu83sPjO7F8Dd3wK2m9kn\nwB+Ab53pnB+s2MqJU3nxDFtEJGm5O7M/XH9W54hrU5K731qFfR6ozjkLCouY/9Fmrpk0NPbARETq\nqQ3b9rFrf2gwaHrjtJjOkZSdz3MWfox76nY5ZGZmJjqEOkPXopSuRalUvhazP/w4/PiS0f1jOkdS\nJYaMJo0B2HfwGGu3lNtHnRJS+U1flq5FKV2LUql6LbKPn2LJmu3h8rSJQ2I6T1IlhkljBoQfz4nI\niiIiAu8s3khxcTEAg/p0pmfXdjGdJ6kSw9SI7Ld07XYOZZ9IYDQiInVHUVEx8xZtCJevmHhezOdK\nqsTQvVMbzuvfFQCHqIsgIpLKlq3fweGjJwFo2TyDsUN7x3yupEoMANMisuC8xRspLCxKYDQiInXD\nnA9LvyhffuFg0tIaxnyupEsMY87vRZuWTQE4lnOaJWu3n+EIEZH6bc/nR1m7ZTcQupv48vGDz+p8\nSZcYGjZswJQJ54bL6oQWkVQ3N6K2MOq8XnRo2+Kszpd0iQHgsgsH06BBKPQN2/axc++RBEckIpIY\nuXkFvPfRpnB52kWxDVGNlJSJoW2rZlEdK6o1iEiqWrjqE07l5gPQuX1Lhg3sftbnTMrEADBtYmlz\nUtayLZwOLoyISKpwd956v/SL8dSJQzCr1kSq5UraxDCkX1e6d2oDQF5+AQuWbU1wRCIitWvrzs/Z\nsecQAGmNGjJpzMAaOW/SJgYzY2pErWF2is+fJCKpJ3JepIkX9KNFsyY1ct6kTQwAl4weEJ49cNe+\nI2zYti/BEYmI1I7jJ06zcNW2cHnahLPvdC6R1ImhWUZ61OyBs9UJLSIp4t0lm8I3+PY7pyP9enas\nsXMndWKA6NkDl6zZTvbxUwmMRkQk/oqLi5m7sPTehVhnUa1I0ieGnl3bMahPZyB0sd5ZvDHBEYmI\nxNeqjbv4/EgOAM2bpjNhZN8aPX/SJwaInkVw3qINFBUVJzAaEZH4ipwXafLYQTROq9nFOOtFYhg7\ntDctm2cAcPjoSZZ/vDPBEYmIxMeBw8dZuaH0My5yiqCaUi8SQ1paQy6/sHTSqNkfqBNaROqneQs3\nUDIwf8TgHnTp0KrGX6NeJAaAy8YPpuR+v7VbdrPn86MJjUdEpKblFxTyzpLSeZGm1nCnc4l6kxg6\ntm3BqPN6hcuRsw2KiNQHi1d/Ss7JXAA6tGnBBeeeE5fXqTeJAaJnFXzvo03k5RckMBoRkZr19gfr\nw4+nTDg3PMt0TatXiWHYwO50bt8SgFO5+Xy48pMERyQiUjM+3XWQrTs/B0Lr0lw6blDcXqteJYbQ\n/EmltYa33tf8SSJSP0TO7DB+eF9atciI22vVq8QAMGnMQNIahdY63bHnUDjDiogkq5On83h/eekM\n0jV9p3NZ9S4xtGjWhIkX9AuXNX+SiCS7+R9tpiCYF6ln13YM7N0prq9X7xIDRM8yuHDVNo4cO5nA\naEREYldUVBzV6TythhbjqUy9TAz9enakfzDTYGFhEa/MXZngiEREYpO1bDP7Dx0HQjNKXzyq/xmO\nOHv1MjEA3DRtVPjxvMUbORhMOCUikiwKC4t4aXbpF9trJw+jSXpa3F+33iaGEYN7MLB3aNbVoqJi\nXlatQUSSzLtLNnEwO/SltkWzJlx9yfm18rr1NjGYGdOvHB0uv7dkE/sOHktgRCIiVZdfUBj1hfbL\nl42oldoC1OPEAHD+gG4M6dcVgGJ3XpqzIsERiYhUzdyFG8IDZ1q3aMq0iTU/i2pF6nViAKJqDe8v\n28LuA9kJjEZE5Mzy8gv4xzurwuXrLx8RXt++NtT7xDC4bxeGD+oBgAMvzlatQUTqtrc/+JhjOacB\naNe6GZePH3yGI2pWvU8MALdcWTpCadHKT9i590gCoxERqdjp3Hxejagt3DDlghpfoe1M4p4YzGya\nmW0ysy1m9sNynm9pZrPMbLWZrTOzu2o6hv49OzFqSE8gqDW8vaymX0JEpEa8+f56TpzKA0JTa08e\nO7DWY4hrYjCzBsAjwFRgCDDdzMpOCXg/8LG7DwcmAb8wsxpPj7dE9DUsWbud7bsP1fRLiIiclZOn\n83jt3dXh8k3TLqBRMPdbbYp3jWEMsNXdd7p7AfACcF2ZfRxoETxuARx298KaDqR39/aMG9o7XH7+\nTdUaRKRumTV/Lady8wHo0qEVl4wekJA44p0YugG7Isq7g22RHgHONbO9wBrgO/EK5uYrR4eX/1yx\nYSdbdhyI10uJiFRLzslc3shaGy7fNO0CGjZMTDdw7fZolG8qsMrdJ5tZX2CemQ119xNld5w5c2b4\ncWZmJpmZmdV6oXO6tGX8yH4sDBbwef7NZcy4/+qzCF1EpGa89u5qcvNCq05279SGiSP7neGI8mVl\nZZGVlXVWsVg8F7Ixs3HATHefFpQfAtzdH47Y5w3gv919YVB+F/ihuy8vcy6viVj3fH6U7/yfFyg5\n008fvI5z+3Y56/OKiMTqaM4pvvmTv5FfEGpF/9e7LmfCiL41cm4zw92rNR1rvOspy4B+ZtbTzBoD\ntwCzyuyzE7gMwMw6AQOAT+MVULeOrblkTGkv//NvLtUqbyKSUK/OWx1OCud0acv44X0SGk9cE4O7\nFwEPAHOBj4EX3H2jmd1nZvcGu/3/wHgzWwvMA37g7nG90eDGqReEF9HesG0f67bsiefLiYhU6Mix\nk8xZWLqg2PSrxsR9vYUziXsfg7vPBgaW2faHiMf7CPUz1JrO7Vty6biBzFu0EYDn31rG+QO6Jfwf\nQ0RSzytzV4ZXZ+vbowOjz+uZ4IhS5M7n8twwpbTHf8uOA6zauOsMR4iI1KyDR3KYt3hjuHzLlaPr\nxBfUlE0M7ds0Z8r40tkKX3hrmfoaRKRWvTx3JUVFxQAM7N2ZEYN7JDiikJRNDBCasTAtuKtw266D\nLFu/M8ERiUiq2H/oOO99tDlcnl5HaguQ4omhbatmTJs4JFzWCCURqS0vzVlBcXGotjCkX1fOH1D2\n3t/ESenEAKFVkUrmOf9s3xEWrY7bSFkREQB2H8hmwdLo2kJdkvKJoVWLDK68qLTW8OLby8NZXEQk\nHl6cvSJ8k+2wgd0ZXMdusk35xABw3aXDw2up7j6QzQcrPklwRCJSX+3ce4RFK0s/Y6ZfVbdqC6DE\nAECLZk24ZtLQcPnF2cvDIwVERGrSi28vC9cWRg3pSf+enRIaT3mUGALXZA6lWUY6EBotUHLzm4hI\nTdm8fT9L1m4Pl2+pY30LJZQYAs0y0rnu0mHh8rOvL+Hw0S9M8CoiEpPCwiIefX5BuDxuaG96d2+f\nwIgqpsQQ4ZrMoXTt0AqA3LwC/vjShxq+KiI14h/vrGL3gWwA0hunceeXxyc4ooopMURonNaIb07P\nDJeXrd/B4jUavioiZ2fX/mxenrsyXL7t6jF0bNuikiMSS4mhjHP7dmHKhNKpMv708ofknMxNYEQi\nkszcncdeWBAe0NK/Z0euiBgiXxcpMZTj9mvG0qZlUwCO5ZzmmdeWJDgiEUlWsz/8mM3b9wPQsGED\nvnlLZnja/7qqbkeXIM0y0rn3povD5fc+2sTazbsTGJGIJKND2Sd4dtZH4fKXLxtBz65tExhR1Sgx\nVGDM+b0YN6x0FaU/vPg+efkFCYxIRJKJu/PEix+EPze6dWzNDZePTHBUVaPEUImv3zCRpk0aA6F7\nG16cvSLBEYlIsli4ahsrNpTO2Pyt6ZmkpTVMYERVp8RQiTYtm3LXly8Ml2e9t4ZPdx1MYEQikgxy\nTuby5CsLw+WpE4YwqE/nBEZUPUoMZzB57CDO698VgGJ3fv/8Ak2XISKVeuqfizl+4jQQmt7/9mvG\nJjii6qlSYjCzDDMbeOY96x8z4xs3XxJe0GfHnkO8nrU2wVGJSF21ZvNusiKm1L7nxotomtE4gRFV\n3xkTg5ldA6wGZgfl4WY2K96B1SVdOrTi5itGhcsvvLWMfQePJTAiEamLcvMKePyF0mkvLhzelzHn\n90pcQDGqSo1hJjAGOArg7quB3nGMqU66dtIwenULzWtSUFjE439foOkyRCTK399ezudHcoDQsPev\n3zAhwRHFpiqJocDdy349TrlPxIYNG3D/9EtoEKzJun7rXt77aFOCoxKRuuKTnZ/z+vw14fLdXx5P\n6xZNExhR7KqSGD42s1uBhmbW38x+ByyKc1x1Up8eHaLWbXjq1cVkHz+VwIhEpC4oLCzi0RcWhL8x\nnz+gG5ljBiQ0prNRlcTwbWAIkAc8DxwHvhvPoOqym68YRad2LQE4lZsfNSRNRFLTrPlr2bn3MABp\njRpy300XY0HrQjI6Y2Jw91Pu/r/dfbS7jwoep+yscumN0/jGzaXTZSxevY2l63YkLiARSai9nx/l\n77OXh8vTrxpDl2D6/mRVYWIws18Hv183s1llf2ovxLpn6MDuTBpbOnr3iRff5+TpvARGJCKJUDJz\namFhEQC9u7fn6kvOT3BUZ69RJc89G/z+eW0EkmzuvO5CVm74jGM5p8k+fornXl/KvTddlOiwRKQW\nvbtkExu27QOggRn3T8+kYcPkv2+4wr/A3UsmBhru7gsif4DhtRNe3dWiWRO+9i8Tw+U5Cz8Ov0FE\npP47cuwkT/9zcbh83eRhdXapzuqqSmq7s5xtd9VwHElp/PA+jD6vV7j822ffC98GLyL1V1FRMb95\n9l1O5eYD0Ll9S26KuAk22VXWxzDdzF4HepfpX5gPHKm9EOsuM+PrN0wkI5iB9WB2Dr94al64vVFE\n6qenX1vM+q17w+Vv3HwJjdMqa5lPLpXVGBYBvwA2Bb9Lfv4XMDX+oSWH9m2a8+Dtk8Pl9Vv38lRE\n9VJE6pf3lmzizQXrwuWbpo3i/AHdEhhRzbNkmdbBzLwux/rSnBW88NaycPmbt1zCZRcOTmBEIlLT\nNm/fz49/Nys8w/K4ob35t69OqdP3LJgZ7l6tAJO/+7yOuGHKyKgV35546QM2fbo/gRGJSE06fPQE\nP3tybjgpnNOlLd++fXKdTgqxUmKoIWbGt2+bxDldQuu5FhUV87M/z+FQ9okERyYiZyu/oJCH/zSH\nozmhKXCaN03noXum0SQ9LcGRxUfcE4OZTTOzTWa2xcx+WME+mWa2yszWB53bSalJeho/uvcKWjRr\nAsCxnNM8/OQc8gsKExyZiMSq5Ca2bcHqjQ3M+Le7p4SnxqmPqrIeQ38ze9nMNpjZpyU/VTm5mTUA\nHiHUWT0EmG5mg8rs0wr4PXC1u58H3Fjtv6IO6di2Bd//6hQaNAhd2k93HeTR5zVFt0iyej1rLe8v\n3xou3339+HrX2VxWVWoMfwEeAwqBScAzwF+reP4xwFZ33+nuBcALwHVl9rkVeMXd9wC4+6EqnrvO\nGtKvK1+7vnQe9g9WbOW199ZUcoSI1EWrNu7imYhRhpPHDuKKi85LYES1oyqJIcPd3yU0gmmnu88E\nrqri+bsBuyLKu4NtkQYAbc1svpktM7OvVPHcddrUiedGjUr666wlrNzwWQIjEpHq2Pv5UX751Lzw\nVNoDe3fm3hsvqpedzWVVJTHkBU1CW83sATP7MtC8BmNoBIwErgCmAT82s341eP6EMDPuuWEiA3t3\nBkIrG/3q6XfY8/nRxAYmImd06nQ+D/9pTvjO5ratmvH9r04hLa1hgiOrHVW5Ve87QFPgQeCnhJqT\nypsmozx7gHMiyt2DbZF2A4eCqbxzzex9YBjwSdmTzZw5M/w4MzOTzMzMKoaRGI0aNeQHX5vCD37+\nCoePnuRUbj4P/3E2//2vX6ZZRnqiwxORcrg7v3n2XXYfyAZC6yv88GtTadMyOVZjy8rKIisr66zO\nEdcb3MysIbAZuBTYBywFprv7xoh9BgG/I1RbSAc+Am529w1lzlWnb3CrzKe7DvLvv/4nBcFUGRec\n25OH7pka7qAWkbrjb28s5ZV5K8Pl73xlMhePSt7V2OrcDW7uXgQ8AMwFPgZecPeNZnafmd0b7LMJ\nmAOsBZYAT5RNCsmuT48OPHDrpHB5xYadPP/mskqOEJFEWLhqW1RSuG7ysKROCrHSlBi16K+zlvDq\nu6vD5e/deRkTRyZ9d4pIvbB99yH+/df/DN93NGJwD/793iuSvmZfozUGM3s4+J3U9xXUJbdePYaR\n55Z2uTzy3Hw+DW6aEZHEOZZzmof/VHozapcOrfjenZclfVKIVWV/9ZUWGpf1o9oKpr5r0KAB373j\nUroG68EWFBbxP3+azYHDxxMcmUjqOp2bz8NPzuFgdg4AGU0a89A901J6gEhliWE2kA0MNbPjZpYT\n+buW4qt3mmWk89C9V9A0WMPh8NGT/MdvXguPgBCR2nPiVB4/efQNNm8PTXhpwHfvuJTundokNrAE\nO2Mfg5m95u5l71audfWhjyHSms27+a8n3g4v6tOyeQYzvnUVvbrVj6UBReq6Yzmn+cmjb7Bz7+Hw\ntru/PJ6rM4cmMKqaF0sfQ5U6n82sEzA6KH7k7rXeMF7fEgPAui17+O8/ziYvvwCApk0a8+NvXsWA\nXp0SHJlI/Xb46AlmPvI6ew8eC2+754aLmHbRkARGFR9xGa4adD4vJTS53U3AUjO7IbYQJdL5A7ox\n41tXhZuVTuXmM/P3b/DxJ3vPcKSIxOrA4eP8x29eCycFAx64dVK9TAqxqkpT0hrgcnf/PCh3AN5x\n92G1EF9kHPWuxlBi++5D/OTRN8g5mQuE7rT8wdemRo1gEpGzt/tANj/5/RscOXYSKB0QMmFE3wRH\nFj/xusGtQUlSCByu4nFSRb27t+enD14XvuW+ZLTSkjVVmt1cRKpgx55D/Pi3s8JJoVGjhvzw61Pr\ndVKIVVVqDP8XGAo8H2y6GVjr7uUuuhMv9bnGUGLfwWP85PdvhIfNNTDjgdsmccno1LvzUqQmbdlx\ngJ8+9mZ4Urz0xmn86J5p9X5dBYhv5/P1wMSg+IG7vxpDfGclFRIDwKHsE/zk969HtX/ee9PFTJlw\nbmIDE0lS67fu4b+eiB7k8R/fuDI883F9F7fEUBekSmIAOJpzipm/f4Nd+46Et931pfFcM6l+DaMT\nibeVGz7jZ0/OCU9g2aJZE2Z862p6d0+dYeFKDPVIzslcfvrYm+F1ZgFuvmIUN069ICUWChE5W4tX\nf8qvnnmHoqJiANq0bMqM+6+hR+fUunlNiaGeOXU6n//zxFts+nR/eNt1k4fxlWvHKTmIVGLBsi08\n8tx8ioPPjA5tWjDj/qvpEkxHk0qUGOqh3LwCHv7THNZu2R3eNnXCEO65caKSg0g55i7cwBMvvh9e\nkrNrh1bMuP8a2repyYUnk0eNJgYzWwdU+Ens7rXa4J2qiQGgoKCIXzw1j2Xrd4S3jRjcgwdum0Tr\nFsmxqpRIvOUXFPLMa0t4+4P14W3ndGnLjPuvTun/JzWdGHoGD+8Pfj8b/L4NwN0fiiXIWKVyYgAo\nLCzit8/NZ+HK0hVPW7XI4MHbJzN8UI8ERiaSeLv2Z/PLp+bxWcSAjb49OvDjb15Fi2ZNEhhZ4sWl\nKcnMVrn7iDLbVrr7yBhijFmqJwaA4uJinntjKf+MWOwHQv0Ot141hkaNUmOhcpES7s47izfy5CsL\nwyOPAMac34tv3zaZphmNExhd3RCvxLAauN/dFwbl8cCj7j485khjoMRQatXGXfzuufc4lnM6vK1v\njw58787LUrJzTVLTiVN5PPbCgqgZAtIaNeSuL41n6sRz1QcXiFdiuAD4M9CK0P1W2cBX3X1lpQfW\nMCWGaEdzTvHIc/NZtXFXeFt64zTuu+ki3Skt9d6mT/fzq2fe4VD2ifC2Hp3b8L07L6dn17YJjKzu\nieuoJDNrBeDux860bzwoMXyRu/N61lr++vpH4bHaABeP6s+9N15ERhNVo6V+KS4u5uW5K3nx7eVR\nI2OmTDiXu750IemN0xIWW10VrxpDK2AGcHGwaQHwn7WdIJQYKrbts4P86pl32Bcxt3zn9i353h2X\n0a9nxwRGJlJzDmWf4DfPvsuGbfvC25plpPOt6ZcwblifBEZWt8UrMbwCrAeeDjZ9BRjm7tfHFGWM\nlBgql5tXwB9f/pCspZvD2xo0aMDt14zl2klD1d4qSe2jtdt59PksTpzKC28b3KcL373j0pS9P6Gq\n4tb5XLajubxt8abEUDUfLN/K4y++T25eQXjbsIHd+fbtk8PTeoski/yCQp56dTFzFn4c3mbATVeM\n4oYpI2nQQCsAnEm8EsNi4Pvu/mFQngD83N0vjDnSGCgxVN3+Q8f51dPv8MlnpctotGyewX03XcTY\nob1Ve5CksO2zg/zub/OjJpNs17oZ37vjMgb37ZLAyJJLvBLDcELNSCWjko4Ad7r72lgDjYUSQ/UU\nFhbxwlvL+Oe7q6M66Qb36cId143TutJSZ+0/dJy/vbk06mZOgHFDe/PN6Zk0b5qeoMiSU7xHJbUE\ncPfjMcR21pQYYrNm825+++x7HM05FbV93NDe3HrNWLp1bJ2gyESiHcs5zctzVzBn4YaoUXZpjRry\n1esncPn4wartxkCjkqRcx0+c5qU5K5j94QaKi0v/wzUw47Lxg7lp2ij1P0jC5OYV8MaCdbz6zqqo\nvjGAsUN7c5u+wJwVjUqSSu07eIy/vbmURau2RW1Pb5zGNZOG8qXJw3Tvg9SaoqJi3l2yiRdnLyf7\neHSNdlCfztxx7biUWWUtnjQqSarkk52f8+zrS1i/dW/U9pbNM7hx6kimjD9X8y5J3Lg7S9ft4LnX\nP2LP50ejnuveqQ23XTOW0ef1VLNRDdGoJKkyd2fVxl08O2tJ1IyUELo57tarxzJ+eB/955QatenT\n/Twzawmbt++P2t6mZVNuuXI0k8YMpGFDDUGtSfFKDMOAZ4gelXSXu6+JNdBYKDHER3FxMQuWbeX5\nt5Zy+OjJqOf69ujA7deM5fwB3ZQg5Kzs3HuEF95aytJ1O6K2ZzRpzJcuHc41medrOos40agkiVl+\nQSFvvb+eV+au5FRuftRz3Tq25rLxg8kcPYCWzTMSFKEkm/yCQhat2sa8xRujlqcFaNiwAdMmDuGG\nKSP1noqzeNUY0oF/AXoBjUq2u/t/xhBjzJQYaseJU3n8Y95K3nx/PYUR89tD6D/zuGF9uPzCwZzX\nv6tqEVKunXsPM2/RRhYs2/KFLxkAEy/ox/Qrx9C5fcsERJd64pUYZgPHgBVA+JPC3X8RS5CxUmKo\nXQeP5PCPd1axYNlW8vILvvB85/YtuXTcYCaPG5jSyyZKSG5eAQtXfcLchRuj7rgv0aBBA8ac15Pr\nLx9J33M6JCDC1BWvxLDe3c87q8hqgBJDYuTmFfDhyk+Yt6jy//CXjT+X4YO6qxaRYrZ9dpB5izfw\nwYpPvnAPApR+gZg0dqDulUmQeCWGJ4Dfufu6swnubCkxJN6OPYeYt2gj7y/fWm4TQYc2Lbj0wkFM\nHjuQdq0142V9dep0Ph+s2MrcRRvZsefQF55v2LABY4f2Zsr4c9XkWAfUaGIws3WAE+pX6A98CuQR\nGpnk7j60ikFNA34NNACedPeHK9hvNLAIuNnd/1HO80oMdURefgGLV3/K3EUbvzDsEEJvkP69OjFi\ncA9GDO5B3x4dNAtmEnN39nx+lFUbdrFm8y7Wb90btb5yCQ1SqJtqOjH0rOxAd99ZhYAaAFuAS4G9\nwDLgFnffVM5+84DTwJ+VGJLHrv3ZvLNoI1nLNkfNlR+pedN0hg3qwYhBPRg2qDttWzWr5Siluk6d\nzmftlt2s3rSL1Rt3czA7p9z90ho15MLhfbh8/LkM7tNZtYM6qKYTQ0t3P25m5S6g6u5Hytte5hzj\ngBnufkVQfih0aHStwcy+A+QDo4E3lBiST35BIUvX7mDe4g18vHUvlf1L9ezajpGDezB8cA8G9e6s\nu6zrAHdn++5DrNy4i9Ubd7F5x4GoebXKOqdLWy67cDCXjB6g2U7ruJpODG+4+9Vmtp1Qk1Lkid3d\nz7iWnpn9CzDV3e8NyrcDY9z9wYh9ugLPufskM/sL8LoSQ3I7fuI0azfvYdWm0IdM2ZldI6U3TmPo\ngG4MH9SDwX270L1Ta935WgvcnQOHc9i8fX+oVrBpN8dPnK5w/ybpaQwb2J3hg0IJvWPbFrUYrZyN\nWBJDo4qecPerg9+9zzawM/g18MOIsuqiSa5l8wwmXtCPiRf0w93ZufcwK4P26Y2f7o+aUjkvv4Bl\n63ewbP0OABo1akjPLm3p1a0dvbu3p3e39vTs2laT+52FgoIidh/IZvvuQ2zfc4jtuw+zY+9hTpcz\ngCBSnx4dGBEkggE9O6pml0IqTAxmNrKyA919ZRXOvwc4J6LcPdgWaRTwgoUaJ9sDV5hZgbvPKnuy\nmTNnhh9nZmaSmZlZhRAkkcyMXt3a06tbe66/fASnc/NZt3UvqzfuYtXGz/j8SHTbdWFhEdt2HWTb\nroOl5wA6d2gVnKcdvYOk0aZlU7Vpl3HiVB47gg//UBI4xO4DRyttFirRsnkGwwcFtYJBPWjVQh3I\nySgrK4vY3GxPAAAPrElEQVSsrKyzOkdlTUnzKznO3X3yGU9u1hDYTKjzeR+wFJju7hsr2F9NSSnE\n3dl38BirN+1i7eY9bN9ziEPZJ6p8fMvmGZzTpQ3t27SgfZvmdGzbnHatm9O+TXPat25Ok/T6N/dO\nQUERh4+d5FB2DoeyT3DoaOnj3fuPVthJXJ7mTdPp070DQ/p3ZcSgHvTp0V6Jth6K61xJsQqGq/6G\n0uGq/2Nm9xFKLk+U2ffPqPM5peWczGXHntJvu9v3HGbP/myKY/i3b940nXatm9OhTWnC6Ni2BW1b\nN6N503Qy0tNomtGYjPS0hA6ndXdy8wo4lZvPqdwCTufmc/joydAHf/YJDmXncDD7BIePnqy0v6Yy\nndu3pFfXdvTq3j5oomtH21bNlAhSQLxucGsK/Ctwjrvfa2b9gYHu/kbsoVafEkPqyi8oZNe+7Khk\nsWPP4XKn6ohVeuM0mjZJIyM9jYwmjWma0ZimTRqHHjdJIyO9MY0aVT95FBU7ubklH/r5nA7/LuB0\nXigR5ObmVzqKqzoaNmxAj85t6dO9fbifplfXdjTNUB9NqopXYvg7oXmS7nD384JEsUgL9UgilTRD\n7Tt4LPzt+mDQpHL46EkOHT0R1cldXxjQtnUz2rdpQbvWzcK1oQ5tW9CpXQu6dWytTmKJEq/EsNzd\nR5nZKncfEWxb4+7DziLWalNikOpwd47mnA7a36ObZQ4fOxm3b+yxKltjadOyKe2DD/2ObVsEj5vR\ntlUzDeeVaqnR4aoR8s0sg9C9DJhZX0JTY4jUWWZGm5ZNadOyKf0rvYe//Db+03kFnDpd2vRzKjc/\nphqINTCaNiltlspIT4tqomqa0ZgmjdP0YS91SlUSwwxgNtDDzJ4DJgB3xTMokdpkZqEP7SaNaZfo\nYETqgCqNSjKzdsA4Qk2cS9z9i1MqxpmakkREqi+WpqQz1l/N7D/d/bC7vxmMRDoS1BxERKQeqkrD\nZg8z+xGEl/l8Fdga16hERCRhqjIqyYDngHXAJOBtd/9VLcRWNg41JYmIVFNNz64aOVdSGvAHYCHw\nJFR5rqQao8QgIlJ9NZ0YznqupJqkxCAiUn11cq6kmqLEICJSfTV6g5uZ3e7ufzWzfy3veXf/ZXUD\nFBGRuq+yG9xKFuYtb6kmfXUXEamnYmpKMrPvuvuv4xBPZa+ppiQRkWqqtT4GM/vM3c858541R4lB\nRKT64nLnc0WvFeNxIiJSx8WaGPTVXUSknqpsVFIO5ScAA7RKuIhIPVVhYnD38kYjiYhIPafVQURE\nJIoSg4iIRFFiEBGRKEoMIiISRYlBRESiKDGIiEgUJQYREYmixCAiIlGUGEREJIoSg4iIRFFiEBGR\nKEoMIiISRYlBRESiKDGIiEgUJQYREYmixCAiIlGUGEREJErcE4OZTTOzTWa2xcx+WM7zt5rZmuDn\nQzM7P94xiYhIxcy9vGWda+jkZg2ALcClwF5gGXCLu2+K2GccsNHdj5nZNGCmu48r51wez1hFROoj\nM8PdrTrHxLvGMAbY6u473b0AeAG4LnIHd1/i7seC4hKgW5xjEhGRSsQ7MXQDdkWUd1P5B//Xgbfj\nGpGIiFSqUaIDKGFmk4C7gYkV7TNz5szw48zMTDIzM+Mel4hIMsnKyiIrK+uszhHvPoZxhPoMpgXl\nhwB394fL7DcUeAWY5u7bKjiX+hhERKqpLvYxLAP6mVlPM2sM3ALMitzBzM4hlBS+UlFSEBGR2hPX\npiR3LzKzB4C5hJLQk+6+0czuCz3tTwA/BtoCj5qZAQXuPiaecYmISMXi2pRUk9SUJCJSfXWxKUlE\nRJKMEoOIiERRYhARkShKDCIiEkWJQUREoigxiIhIFCUGERGJosQgIiJRlBhERCSKEoOIiERRYhAR\nkShKDCIiEkWJQUREoigxiIhIFCUGERGJosQgIiJRlBhERCSKEoOIiERRYhARkShKDCIiEkWJQURE\noigxiIhIFCUGERGJosQgIiJRlBhERCSKEoOIiERRYhARkShKDCIiEkWJQUREoigxiIhIFCUGERGJ\nosQgIiJRlBhERCSKEoOIiERRYhARkShxTwxmNs3MNpnZFjP7YQX7/NbMtprZajMbHu+YRESkYnFN\nDGbWAHgEmAoMAaab2aAy+1wB9HX3/sB9wOPxjKk+yMrKSnQIdYauRSldi1K6Fmcn3jWGMcBWd9/p\n7gXAC8B1Zfa5DngGwN0/AlqZWac4x5XU9KYvpWtRSteilK7F2Yl3YugG7Ioo7w62VbbPnnL2ERGR\nWqLOZxERiWLuHr+Tm40DZrr7tKD8EODu/nDEPo8D893970F5E3CJux8oc674BSoiUo+5u1Vn/0bx\nCiSwDOhnZj2BfcAtwPQy+8wC7gf+HiSSo2WTAlT/DxMRkdjENTG4e5GZPQDMJdRs9aS7bzSz+0JP\n+xPu/paZXWlmnwAngbvjGZOIiFQurk1JIiKSfJKi87kqN8mlCjPbYWZrzGyVmS1NdDy1ycyeNLMD\nZrY2YlsbM5trZpvNbI6ZtUpkjLWlgmsxw8x2m9nK4GdaImOsDWbW3czeM7OPzWydmT0YbE+590U5\n1+LbwfZqvy/qfI0huEluC3ApsJdQv8Ut7r4poYEliJl9Clzg7tmJjqW2mdlE4ATwjLsPDbY9DBx2\n958FXxrauPtDiYyzNlRwLWYAOe7+y4QGV4vMrDPQ2d1Xm1lzYAWhe6PuJsXeF5Vci5up5vsiGWoM\nVblJLpUYyfHvVuPc/UOgbEK8Dng6ePw08KVaDSpBKrgWEHp/pAx33+/uq4PHJ4CNQHdS8H1RwbUo\nuSesWu+LZPiAqcpNcqnEgXlmtszM7kl0MHVAx5JRbO6+H+iY4HgS7YFgzrE/pULzSSQz6wUMB5YA\nnVL5fRFxLT4KNlXrfZEMiUGiTXD3kcCVwP1Bk4KUqttto/H1KNDH3YcD+4FUalJqDrwMfCf4tlz2\nfZAy74tyrkW13xfJkBj2AOdElLsH21KSu+8Lfh8EXiXU1JbKDpTMrRW0sX6e4HgSxt0Pemmn4R+B\n0YmMp7aYWSNCH4TPuvtrweaUfF+Udy1ieV8kQ2II3yRnZo0J3SQ3K8ExJYSZNQ2+DWBmzYApwPrE\nRlXrjOj20lnAXcHjO4HXyh5Qj0Vdi+ADsMT1pM5748/ABnf/TcS2VH1ffOFaxPK+qPOjkiA0XBX4\nDaU3yf1PgkNKCDPrTaiW4IRuTnwula6Fmf0NyATaAQeAGcA/gZeAHsBO4CZ3P5qoGGtLBddiEqF2\n5WJgB3BfebMI1CdmNgF4H1hH6P+FA/8OLAVeJIXeF5Vci1up5vsiKRKDiIjUnmRoShIRkVqkxCAi\nIlGUGEREJIoSg4iIRFFiEBGRKEoMIiISRYlBzsjMioLpeteZ2d/NrEk1j8+p5v5/MbPry9l+gZn9\nOnh8p5n9Nnh8n5ndHrG9c9ljY2FmE81sffC3p8dw/HYza1vO9mvM7AfB4+vMbFAl5/hOyd8Ww+sP\nM7MrYjju+WBene+U2f69YErn1WY2z8x6RDxX8h5ZZWb/LHOuvrHEL4mjxCBVcdLdR7r7+UAB8I2y\nO5hZZbM31sjNMu6+wt2/W872P7j7X4PiXdTcJIu3Af8V/O15MRxf7t/t7q+7+8+C4peAIeXtZ2YN\nga8Cf4vhtSF0U9OV1TkgSKqj3H14mTuJAVYSmvJ9OPAK8H8jnit5j4xw98iZTB8DUnoNlWSkxCDV\n9QGlU5RsMrOnzWwd0N3MppvZ2uAn8o5sM7NfBt++55lZu2Dj181safAt86UyNZHLgxlkN5nZVcH+\nl5jZ62UDChYi+V9m9i/AKOCvwbfXK83s1Yj9LjOzf5Rz/KXB/muC2Scbm9nXgJuAn5rZs+Uc82oQ\n3zoz+3oF18qAB81sRXDuAcGxd5rZ78zsQuBa4GfB6/cuc/xkYIW7FwfHDTOzxcE39ldKZsk0s/lm\nNjJ43C6oqTQC/hO4KTj3jWXiTzezPwf/VivM7JLgqTlA1+CYCZHHuPsCd88NikuITsAVfTH4ALjM\nQuuqSJLQP5ZUhUF4gq4rCN1yD9AfeCSoSRQC/0NomobhwGgzuzbYrxmw1N3PI3TL/sxg+yvuPsbd\nRwCbgK9FvGZPdx8NXA08bqF5sqDi2oe7+yvAcuDW4NvrW8DAkkREaPGWJ6P+sFAT0V+AG919GJAG\nfMPdnyQ038733f0r5bze3UF8o4HvmFmbCuL63N0vAB4H/q1MvIsjXmOku28vc+wEQoutlHgm2Hc4\nofluZlRyLQqB/w/4e3Dul8rscz9QHCzycyvwTHCNrwW2BccsrOD8EPq3ejuinG5my81skZmF10sJ\nJm/bCgyr5FxSxygxSFVkmNlKQvPP7KT0w3WHuy8LHo8G5rv7keAb7nPAxcFzxYTmrQH4K6EPPICh\nZva+hZanvJXoJpUXAdz9E2AbUGE7fDkiv70+C9wefLseR/SHGcBA4FN33xaUn46IuzLfNbPVhL45\ndyeUJMtTUmNZAfSqwnkjdQEOAphZS6BVsEBPdeKsyERC/xa4+2ZCc+gMqMqBQZ/HBUQ3JfV091GE\nmt9+Xab2cxDoehaxSi1rlOgAJCmcCtaACAu6FE6W2a+qq0SVfOv/C3Ctu683szuBS8rZp+S8sfZT\nPAW8DuQBL5U0y5RRrdWtgmaXycBYd88zs/lARR3yJX0TRVT//9vpSs4bqZDSL3nVGhgQoUrXwMwu\nA34EXBysqAhETQe/3cyygBFASQ2oCaG/RZKEagxSFRV9aERuXwpcbGZtg07T6UBW8FwD4Ibg8W2E\n2p0BmgP7zSwt2B7pRgvpC/QGNlcx1hygZUkh+MDaC/xvQomorM1ATzPrE5S/Aiw4w2u0ArKDpDCI\nUE0kVlHxlrER6Afg7seB7Ih2/8g4dxDqWwGI7Euo7NwfEFzzoO+jB6XXuNx/bzMbQahJ7Fp3Pxyx\nvXVJU5+ZtQfGAxsiDh1A6kwBXi8oMUhVVNiuH34QWj7xIULJYBWw3N3fCJ4+AYwJOqkzgZ8G239M\nKKF8QOhDMNJnwXNvEpomOL+KsT5FqE8icojpc8CuoMkk+g8IjTa6G3jZzNYQ+mb/eNm/r4zZQJqZ\nfQz8F7C4gv2qUst5Afh+0AFctvP5baJrUXcCPw+asIYR6lwG+DnwTTNbAUQOj50PnFte5zOhVb0a\nBs14zwN3RtQAKor7Z4T6i16y6GGpg4HlZrYKeBf4b3ffBGBmHQnVOFNioZz6QtNuS71nZr8DVrp7\neTWGOs3MXgF+ENEHklTM7LvAsWS89qlMNQap18xsOXA+QUdrEnqIUCd0ssom1FEuSUQ1BhERiaIa\ng4iIRFFiEBGRKEoMIiISRYlBRESiKDGIiEgUJQYREYny/wDs9OH2CqKroAAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x7fd54c4dbe10>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "data = 2, 'tie'\n",
    "\n",
    "hypos = range(0, 26)\n",
    "likes = [likelihood(data, hypo) for hypo in hypos]\n",
    "thinkplot.Plot(hypos, likes)\n",
    "thinkplot.Config(xlabel='Probability of a hit (out of 25)',\n",
    "                 ylabel='Likelihood of a tie',\n",
    "                 ylim=[0, 1])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "As we saw in the Sock Drawer problem and the Alien Blaster problem, the probability of a tie is highest for extreme values of `p`, and minimized when `p=0.5`.\n",
    "\n",
    "The result is similar when `n=25`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYYAAAEPCAYAAABGP2P1AAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XmUXHWd9/H3t/e9O4QsQiBsCYsCIQFECBhFJbiAIqAw\nOojjiHN0xGeecZlnI8zMmVFHPTr6PAKKKOICiAi4IIwSCZsJgUBAsrAkQAIhCUnvS3X19/nj3u6+\nt9Pdqe7aqz6vc+pU3Vu3bv36plLf+m3fn7k7IiIiwyryXQARESksCgwiIhKjwCAiIjEKDCIiEqPA\nICIiMQoMIiISk9XAYGbXm9kOM3tykmP+08w2m9k6M1uUzfKIiMj+ZbvGcANwzkRPmtm5wJHuvgC4\nArgmy+UREZH9yGpgcPcHgD2THHI+cGN47J+BVjObk80yiYjI5PLdx3Aw8FJke1u4T0RE8iTfgUFE\nRApMVZ7ffxtwSGR7XrhvH2ampE4iItPg7jaV43NRY7DwNp47gb8GMLPTgL3uvmOiE11x1U24e9nf\nrrrqqryXoVBuuha6FroW49+++v27ueCz353Wl3ZWawxm9lNgGTDTzF4ErgJqAHf369z9t2b2bjN7\nFugGLp/sfO1dvdksrohIyWjv6pv2a7MaGNz90hSO+Uyq5xtIDNLXn6Cutjq9gomIlLj2zp5pv7bo\nOp/3dqrWsGzZsnwXoWDoWozStRila5Hed2XRBYYONSfpQx+hazFK12JUuV+LwcEkPX0D03590QUG\n1RhERCaXbn9s0QWGdNrNRETKQXuaP6CLLzCk0dMuIlIO0m1ZKb7AoBqDiMik0u2LLb7AoBqDiMik\n0v2eLL7AoBqDiMik9nak9z1ZhIFBo5JERCZTfqOS1JQkIjKpsutj6OzqZWhoKN/FEBEpWGU3KsmB\njm7VGkREJlJ28xhA/QwiIhNx9/LrYwAFBhGRifT0DZBMBs3ttTXTy0RdlIGhQx3QIiLjivYvzGip\nn9Y5ijIw7ElzjK6ISKmKtqi0NJVRYFDqbRGR8UUDQ2s5BQal3hYRGV8sMDSXUWBQjUFEZHzREUlt\n5RQYVGMQERlf2fYxaLiqiMj4oolGy6opKd3JGyIipSqaT64sOp+rqioBGEgM0tefyHNpREQKT7TG\n0NbSMK1zFFVgaG2qG3msfgYRkX3tjQ1XrZvkyIkVV2BoHo1+GpkkIhI3OJikp28AAAOaG8sgMESH\nXqnGICISF+1/bWmux8ymdZ6iCgzRoVeqMYiIxGVi1jMUWWBQjUFEZGLR78W25ul1PEORBYZojSHa\n8y4iIvGWlJbm6fUvQJEFhmiNQWs/i4jERb8X25rKpMYQncWnGoOISNzejvRnPUOxBYZYU5L6GERE\noqKjklrLpSmpVU1JIiIT6ogFhjJpSmqJTNbo7OplaGgoj6URESksmZj1DEUWGKqqKmlqqAXAgc7u\n/vwWSESkgMQX6SmTGgPE+xn2qgNaRAQAd4/3MRRyjcHMlpvZBjPbZGZfHOf5FjO708zWmdl6M/vY\nZOeLj0xSB7SICEBP3wDJZNC8XltTTW1N9bTPldXAYGYVwHeAc4A3ApeY2TFjDvs08LS7LwLeBnzd\nzKomOmc8kZ46oEVEYOys5+kPVYXs1xhOBTa7+1Z3TwA/B84fc4wDzeHjZmC3uw9OdMJ46m01JYmI\nwNj+hcIODAcDL0W2Xw73RX0HOM7MtgNPAFdOdkI1JYmI7CtTCfQAJmyyyaFzgMfd/e1mdiRwr5md\n4O5dYw9csWIFz774Gn95+kVmzVvI3s6xrVIiIuVpODDsfHkTq7Y9Qt+2R6Z9rmwHhm3AoZHteeG+\nqMuBfwdw9+fM7AXgGODRsSdbsWIFjzzxPP/xg3sApd4WERk2PCJp1ryFXPiuxVzynlMBuPrqq6d8\nrmw3Ja0BjjKz+WZWA3wYuHPMMVuBdwCY2RxgIfD8RCeMppJtV2AQEQHiTUkthdyU5O5JM/sMcA9B\nELre3Z8xsyuCp/064F+BH5rZk+HLvuDur090zpZo53OHAoOICMQTi6bb+Zz1PgZ3vxs4esy+ayOP\nXyHoZ0hJPF+SAoOICMTzx6Xb+Vx0M58b6mqoqqoEYCAxSF9/Is8lEhHJv2iNoa1l+ukwoAgDg5nF\n5jKo1iAikrkEelCEgQHis581l0FEyt3gYJKevgEADGhuLMfAEJv9rMAgIuWtPbbWcz1mltb5ijMw\nxPIlKTCISHnryGDHMxRpYIgmiFKNQUTK3Z7IWs9taazDMKwoA0NLbO1nJdITkfLWEWtKSq9/AYo0\nMLRp7WcRkRHR78G2pjKtMcQzrKrGICLlLZOznqFYA0OTagwiIsNicxjKtSlJazKIiIyK9jG0lm3n\nc2TyRmdXL0NDQ3ksjYhIfmVy1jMUaWCoqqqkqaEWCNYF7ezuz2+BRETyKL6sZ5nWGCDez6C5DCJS\nrtw9NvO5bGsMoJFJIiIAPX0DJJNBc3ptTTW1NdVpn7OIA0M0LYZGJolIeYq2mLRlYKgqFHNgiCXS\nU41BRMpTvH+h3AND5AKoxiAi5SoWGDKQQA+KOTBELkA0gZSISDnJW43BzOrN7Oj9H5k78RqDRiWJ\nSHmKj0jKUWAws/cB64C7w+1FZnZnRt49DdHUslreU0TKVb5qDCuAU4G9AO6+Djg8I++ehpbous+a\nxyAiZSrTCfQgtcCQcPf2Mfs8I++ehlYt1iMiEkskmsvO56fN7FKg0swWmNm3gYcy8u5paKiroaqq\nEoCBxCB9/Yk8l0hEJPfyVWP4e+CNQD/wM6AD+FxG3j0NZhaby6B+BhEpR9mY4Fa1vwPcvQf4n+Gt\noLQ2N7B7bzcQ9DPMmdmS5xKJiOTO4GCSnr4BAAxobkw/TxJMEhjM7Jvu/jkzu4tx+hTc/byMlCAN\n8dnPqjGISHlpj631XI+ZZeS8k9UYfhzefy0j75QF8XxJCgwiUl46stDxDJMEBndfGz5c5O7fij5n\nZlcCf8pYKaapTSOTRKSMRbM+tGVgHYZhqXQ+XzbOvo9lrARpaGnS7GcRKV8dsaakzPQvwOR9DJcA\nlwKHj5np3Ay8nrESpEE1BhEpZ9E5DG1NmasxTNbH8BDwCnAg8PXI/k7gyYyVIA1arEdEylk25jDA\n5H0MW4GtwFsy9m4ZFu1saVfqbREpM3tjeZIy15RUtGm3YWyNQU1JIlJeon0MrTnufC5YLZHJHJ1d\nvQwNDeWxNCIiuRWrMTQVUY3BzJab2QYz22RmX5zgmGVm9riZPWVm96V67qqqSpoaaoFgBl5nd39m\nCi0iUgSyVWPYb0oMM1sA/DtwHDASktz9iBReWwF8Bzgb2A6sMbM73H1D5JhW4P8C73L3bWZ24FT+\ngNamerp6goCwt7M3ox0wIiKFyt3zWmO4AfguMAi8DbgRuCnF858KbHb3re6eAH4OnD/mmEuB29x9\nG4C770rx3IBWchOR8tTTN0AyGTSf19ZUU1tTnbFzpxIY6t39D4CFX/ArgPekeP6DgZci2y+H+6IW\nAgeY2X1mtsbMPpriuYH4JDd1QItIuchGVtVh+21KAvrDJqHNZvYZYBvQlOEyLAbeDjQCD5vZw+7+\nbCovjk9y01wGESkPHVlY0nNYKoHhSqAB+CzwLwTNSeOlyRjPNuDQyPa8cF/Uy8Aud+8D+szsfuBE\nYJ/AsGLFipHHy5YtY9myZWOakjSXQUTKQ7x/YfR7cOXKlaxcuTKtc6eyHsOa8GEXcPkUz78GOMrM\n5hPMov4wcMmYY+4Avm1mlUAt8GbgG+OdLBoYhkUviGoMIlIu2ieoMQz/aB529dVXT/ncqdQYps3d\nk2Hz0z0E/RnXu/szZnZF8LRf5+4bzOz3BGk2ksB17v6XVN9DfQwiUo6iazFkMuU2ZDkwALj73cDR\nY/ZdO2b7a0xz3YcZLaNjd7W8p4iUi4lqDJkw4agkM/tKeH9RRt8xw1qi6z6rxiAiZSJbCfRg8uGq\n77Zgnbh/yug7ZlgsX5I6n0WkTLRnafU2mLwp6W5gD9BkZh0Ea0378L27t2S0JNPUUFdDZWUFyeQQ\n/QMJ+voT1NVmbqKHiEghykuNwd0/7+5twG/cvcXdm6P3GS1FGswsNpdB/QwiUg6yOcFtvzOf3f18\nM5tjZu8Nb7MyWoIMiCaPUj+DiJS6wcEkPX0DQNCE09yYuTxJkEJgCDufVwMXARcDq83swoyWIk3R\n5FGqMYhIqWuPrfVcT9AdnDmpDFf9X8Ap7v4aQFhj+C/gFxktSRpUYxCRctKRxY5nSC2JXsVwUAjt\nTvF1ORPPl6TAICKlbU/HaMdzWwbXYRiWSo3h7nBm8s/C7Q8Bv814SdIQnf2s1NsiUuo6Yk1Jme1f\ngNRyJX3ezC4Aloa7rnP32zNekjSoxiAi5SQ6h6GtKT81Btz9l8AvM/7uGRKb5KZEeiJS4qLfc9mo\nMRRUX8F0RTtfNPtZREpdNucwQKkEhmZlWBWR8hHtY2jNQudzSQSGlsjkjs6uXoaGhvJYGhGR7Iov\n0pPDzmczW0+QG2lc7n5CxkszTVVVlTQ11NLV048Dnd39Gc8dIiJSKLJdY5is8/m94f2nw/sfh/d/\nlfFSZEBrUz1dPf1AEE0VGESkFLl7/moM7r4VwMze6e4nRZ76kpk9Bnwp46VJQ2tzPdte2wtoLoOI\nlK6evgGSyaC5vLammtqazGeTTqWPwczsjMjG6Sm+Lqe0xKeIlINsj0iC1OYx/A3wAzNrJUjktwf4\neFZKk4b4JDfNZRCR0tQRCQwtWWhGgtRmPq8FTgwDA+7enpWSpCnap9ChuQwiUqLiNYbMdzxDamm3\nW83sG8AfgD+Y2deHg0QhiU5yU41BREpVtKk8W4NsUukr+AHQSbAWw8VAB3BDVkqThngiPdUYRKQ0\nRddiyEbKbUitj+FId/9gZPtqM1uXldKkYUbLaJVKNQYRKVWFUmPoNbPhzKqEI5QKbthPtBNGo5JE\npFRFE+hlKzCkUmP4O+BHkVFJrwOXZaU0aYjlS1JTkoiUqPYsr94GqY1KWkcwKqkl3O7ISknS1FBX\nQ2VlBcnkEP0DCfr6E9TVZn7ih4hIPuWixjCVUUl/BP5YqKOSzCw2l6Fds59FpATFFunRqKT9iyaT\nUj+DiJSawcEk3b1BTjgDmhvzNMGNIhmVBPFkUqoxiEipaY+t9VyPmWXlfUpmVBLEawxKpCcipaYj\nBx3PkFqN4VPAjWNGJX0sayVKQ7S9bU+HAoOIlJY9HaMdz9lKhwGpjUp6giIYlQRjZz8rMIhIaemI\nNSVlp38BUggMZlYLfBA4DKgabtNy93/OWqmmKZ5hVYFBREpLbERSUx5rDMAdQDuwFujPWkkyQDUG\nESll0TkMea0xAPPcfXnWSpBBqjGISCnLxSI9kNqopIfM7PislSCDYmkxFBhEpMREW0Jas9j5PGFg\nMLP1ZvYksBR4zMw2mtmTkf0pMbPlZrbBzDaZ2RcnOe4UM0uY2QVT+xNGtUQme3R29TI0NDTdU4mI\nFJxojaE1S6u3weRNSe9N9+RmVgF8Bzgb2A6sMbM73H3DOMd9Gfh9Ou9XVVVJY30t3b39ONDZ3Z+1\nXCIiIrmW9xoDsMfdtxKkwxjvlopTgc3uvtXdE8DPgfPHOe7vgV8Ar6Va8Imon0FESpG7F0SN4acE\ntYa1gBNMbhvmwBEpnP9g4KXI9ssEwWKEmR0EvN/d32Zmseemo7W5nm2v7QU0MklESkdP3wDJZNA8\nXltTTW1N9rJHTxgY3P294f3hWXv3wDeBaN9DWsk/okNW1QEtIqUiVyOSYJLAYGaLJ3uhuz+Wwvm3\nAYdGtueF+6JOBn5uwcy5A4FzzSzh7neOPdmKFStGHi9btoxly5bt84bR/CFKpCcipaIjEhhaJmlG\nWrlyJStXrkzrvSZrSvr6JM858PYUzr8GOMrM5gOvAB8GLomdyH2kScrMbgDuGi8oQDwwTKStRTUG\nESk98RrDxB3PY380X3311VN+r8makt425bPte46kmX0GuIego/t6d3/GzK4Invbrxr4k3feM1hj2\nRmYJiogUs+gP3WyPtkwlV1ID8A/Aoe7+STNbABzt7r9O5Q3c/W7g6DH7rp3g2I+ncs7JxNNiaO1n\nESkN0abxbKbchtRmPt8ADACnh9vbgH/NWonSFB+uqhqDiJSGXNYYUgkMR7r7V4EEgLv3kObIoWxS\nWgwRKUXRBHqFEBgGzKyesP3fzI6kgLOsxgKDmpJEpES052j1Nkgtu+pVwN3AIWb2E+AMCnQFN4CG\nuhoqKytIJofoH0jQ15+grjZ7E0FERHIhlzWGVFZwu9fMHgNOI2hCutLdd2W1VGkwM9qa69m9txsI\nOmwUGESk2OWyxrDfpiQz+2d33+3uvwlHIr0e1hwKVjS5lPoZRKTYDQ4m6e4NWvCNySe4ZUIqfQyH\nmNk/wcgyn7cDm7NaqjRFk0tp9rOIFLv22FrP9QwvsZwtqQSGjwPHh8HhLmClu6/IaqnSFK0xKJGe\niBS7jhw2I0HquZK+BVwLPAj8ycwWp5grKS+iNYY9HQoMIlLc9uZwDgNMLVfSHuC4cH+quZLyQjUG\nESkluRyRBFnOlZQvWqxHREpJdERSW1P2Vm4bNllT0kfc/SYz+4fxnnf3b2SvWOmJ50tSYBCR4hat\nMbQ0Z3dEEkzelNQY3jeP81zaWVCzSTUGESkluVykByZvSro2vN8nmbeZfS6bhUqX8iWJSCmJtny0\nTrIWQ6akMlx1POM2LxWKlsbRqlZnVy9DQ0N5LI2ISHpio5KyPLkNph8YCja7KkBVVSVNDbVA0Ob1\n5Kaxq4mKiBSHna938vKre0a2C7nGUNB9DACnHH/YyOPv3bqKgcRg/gojIjJN19/2IInBJADzD5rJ\nrBlNWX/PCQODmXWaWcc4t07goKyXLE0fed+baairAeDVXR3cdu/jeS6RiMjUrF6/hTVPbRnZ/uRF\nZ2Y9HQZMEhjcvdndW8a5Nbt7Kum686qtuYGPvO/NI9u3/9fjbHttbx5LJCKSur7+BN//xaqR7Xe8\n5ViOOWJuTt57uk1JReFdZxzHgvmzAUgmh7julvtxL/hWMBERbv7doyPLBzQ31sV+6GZbSQcGM+OK\ni8+iIqx6PbV5O6vWFnRiWBERtm7fza9XPjmy/bH3v4XmxuyPRhpW0oEB4PB5B/Ketx4/sn3D7Q/T\n1VOwK5OKSJlzd665+X6GwtaNNx51EG89ZWFOy1DygQHgQ+eezMy2YCJ3R1cvN931SJ5LJCIyvnsf\neoZNW3YAUFlZwScvzk2Hc1RZBIb6uho+fsEZI9v3PvQMG194NY8lEhHZV3tnLz++c/SH6wfOXsS8\nOTNyXo6yCAwAbz7hcJYcN39k+5qb7yeZ1IxoESkcP/zVQ/T0DQAw98AWPviuxft5RXaUTWAwMz5x\n0VJqqoORti++8jq/uX99nkslIhJYv2kb9z86OjjmExeeOfJ9lWtlExgAZh/QzMXLl4xs//y3j7Lz\n9c48lkhEBBKJJNfdcv/I9uknHclJxx6St/KUVWAAeN+yEzhkbtBm1z+Q4Ae/fDDPJRKRcnf7Hx5n\n+852IOgTvfwDp+e1PGUXGKqqKvnUh946sr16/RZWr9+SvwKJSFl7ZWd7LGXPpe85hQNaGyd5RfaV\nXWAAOOaIuZx92jEj29ff9gB9/Yk8lkhEypG7871bVzEYJsk78pBZLF/6xjyXqkwDA8BHzzttZCbh\nrj1d3HL3o3kukYiUmwcfe44nNr4MBGsZXHHxWVRU5P9rOf8lyJPmxjouO/8tI9t33fckW7fvzmOJ\nRKScdPf2c8PtD41sn3vWmzjy0Fl5LNGosg0MAMtOXchxR74BgCF3rr1llZLsiUhO/PTXq9nb2QPA\njJYGLnn3qXku0aiyDgxmxicvPovKyuAybHzhVf7wyIY8l0pESt2zW1/j9w88PbJ9+QVn0FBfk8cS\nxZV1YAA4ZO4M3v/2RSPbN97xCO2R9VVFRDIpmRziuzffP7IM5knHHsLpi47Ia5nGKvvAAHDhOYuZ\nM7MFCNr9fnTHw3kukYiUqt+teoot23YBUF1VyScuzH2SvP3JemAws+VmtsHMNpnZF8d5/lIzeyK8\nPWBmx493nmyqqa7iExcuHdn+05pN/PTXq7VOtIhkjLtz70N/4Se/Xj2y78JzljD3wJY8lmp8ls3O\nVjOrADYBZwPbgTXAh919Q+SY04Bn3L3dzJYDK9z9tHHO5dnuGP7aDffy8LrnRrbnHtjCJy8+ixOP\nnpfV9xWR0vbiK69zzc33x7I6z5szg69/4UKqqiqz+t5mhrtPqUqS7cBwGnCVu58bbn8JcHf/ygTH\ntwHr3X2fJCG5CAyd3X18+ft3s+H5eErupUuO4vIPnE5bc0NW319ESkv/QIJf/P4xfvXHJxgaGs3m\nPGdmC1/8xHLmH3RA1stQiIHhg8A57v7JcPsjwKnu/tkJjv9HYOHw8WOey3pggKC6918PP8ONdzwy\nkv4WoKGuho+edxrvPP3YgmsPFJHC8/gzL/G9W1exY3fHyL6Kigo+cPYiLjxncc4yp04nMOQnp+s4\nzOxtwOXA0omOWbFixcjjZcuWsWzZsmyUg3eefhynHH8YP7z94ZE1onv6Brj2lvtZuWYTV1x8Vk4i\nvYgUnz0dPdxw+0M8+Nizsf1HHz6XT33oLA59Q3a/O1auXMnKlSvTOkcumpJWuPvycHvcpiQzOwG4\nDVju7s/te6bc1RjGemLjy1x3y/28uise9c9/2wlctHwJtTXVOS+TiBQed+eeB//CTXf9Odba0Fhf\ny1+ffxpnn3ZMXlobCrEpqRLYSND5/AqwGrjE3Z+JHHMo8Afgo+4+4WLM+QoMAAOJwbCdcF1s1bfZ\nBzTztxedyeLjDs1LuUSkMGzdvptrbr5/ZK3mYWedvICPvf90Wpvr81SyAgwMEAxXBb5FMDT2enf/\nspldQVBzuM7MvgdcAGwlyCOVcPd95obnMzAMe+nVPVxz85/26Zw+Y3HQOT2jRZ3TIuWkfyDBrXev\n5Y77nox1LhfSiMaCDAyZUgiBAYLq4h//vIEf/eoRunv7R/Y31NXwztOP5cwlCzjs4JnqoBYpYa+9\n3skDa5/lngf/ws49o6tAVlZW8IF3nMQH33lS3pblHEuBIYfaO3v54a8eiq3ROuygWa0sXbKApUuO\n4uDZbXkonYhk2p6OHh56/DlWrd3M5q2v7fP8sUe8gSs+dNbICpGFQoEhD57Y+DLfu3UVr4TL8o11\n2MEHcuaSo1i6+CgOnNGU49KJSDq6evr585PPs2rtszy1aRvjfQM1NQSdy29/c346l/dHgSFPBgeT\nrNv4Mg+sfZbV67fQPzD+anDHHDGXMxcv4C2LjshrZ5SITKyvP8GjT21l1drNPL7hpdiAk2EVFRUs\nOmYeSxcfxanHH0Z9XeFkRh1LgaEA9A8kePTpF3nwsWd59Omt43+ozDh+4cGcuWQBJ79p/shKciKS\nH339CZ7ctI0HHnuWNeu3jJsnzYBjj3wDZy5ZwGknHk5LU3H8uFNgKDDdvf2sfnILq9ZuZv2mbQxN\nUP6DZrWy8PC5HH3YHI4+fA6HzJ1REMv7iZQid2fH7k42bXmVjS/sYOOWHWzdtnvC/59HHjKLM5cs\n4PSTjmBmW/E1ByswFLD2zl4eXvc8qx7bvM9w17HqaqtZOH8OCw+fw9GHzWHhYXNoaqjNUUlFSkv/\nQIJnX9zJxhd2sGlLEAg6uiZfc2XenBksDfsG3zCrNUclzQ4FhiKx8/VOHnz8OR554nmef3nXuM1N\nYx08u20kUCyYP5uDZrcVzHA4kUKRTA7x6u4Onn9xJxvDILBl2+7YHIOJzJszg1PeNJ8zT17AoW84\noCA7kqdDgaEIDSQGef6lXWzcsoNNL7zKxi072NPRs9/XGXDgjGbmzW3joNltHDSrjYPnBLcZLQ0l\n86EWGU9ndx/bduxl+2vB7eXw8au7O1L6odVQV8OC+bPDH1tzWXjYbBrrS7NWrsBQAtydnXu62PTC\nDjaGbaAvpPiLZ1hdbXUQLGa3cvDsNg6eM4ODZ7cy64BmGupqFDSkKPQPJNi5p4vtr7Wz/bW9bNux\nl21hIOjs7pvSuebNmcHCsA9v4WFBP165/D9QYChRA4lBngurxpu27GDr9t3s2NUx7pjq/amtqebA\ntkZmtjUxc0Z439rIzLZGDpzRxMy2JhrrFTwku/r6E+za28Xuvd28vrc7fBxs79oT3EczC0zFAa2N\nHDJ3BgsOm8Mxh5d2bSAVCgxlJJFI8squ9tivqOFfVdHMjtNRU10VBI8ZTcxoaaClsZ7mpjpaGuto\naaqjpak+uG+so7mxTkFEcHd6+gbo6Oqjo6uXju7wvqsvuHX30d7Zw6693eze05X2Z7S6qjKsFQfN\np/PCxwfNbi3oOQX5oMAguDvtXb1BwBhpg21n+8697NrTRWIwmdH3M6CpsY7WpnqaG+tobaqjuamO\nhroaGuprqa+tprE+eNxQV01jfS31dTU01FXTUFeT9WUNJXVDQ0P09CXo6Rugt2+A7t4BevoG6Ont\np6c3Mfq4L0FHdx+d3fEv/qk0d6aisrKCA1oamTurJdaHdtDsNmbNaNIPkhQpMMik3J2unn5ebx+t\nru/e28WusDo//HiimdvZUF1VSWMYNOrqaqitrqK2poq6mipqaoLHtdXV1A5vV1dRVxvsr6kObtVV\nlVRXVVJVWUF1dSVVw49j95VUVVUU1ZeJu5NMDjGYHCIxmCQxmBx5PDg4xOBgksHk6P6BRJKBgUH6\nEwn6+gfpHxikPzHIwMAgfQOJYHtgkP7Y40F6wiCQy3/3ysoKDmxrYmZbIwe0NTKrrYkD2iJNmzOa\naGuuL6p/r0KlwCBpG24S2LUnCBTtnUGzQGdXL+1dfXR299He1Rvcd/am3SSQa5WVFVRVVlJZYVRU\nGBUVFaOPrSLcZ1RYcG9mVFZWjGxP1dCQM+Q+cu9DztDQEEPuJJPOkA8xNOQkh/eHxw0mh0gOJqfV\nj5QvtTXVI82Nrc3DNcjwvrmO5sb6kf6tliY1QeaKAoPk3OBgks6e/tH25O4+Orv6Ys0OweOB8Jdp\nP719o81/sx/KAAAK00lEQVQS+hctLNFmvuHmv5H7yL7mhjpamutH+plamuo0r6ZAKTBIUXF3+gcG\n6Q4DSH9/gv7EaBPHQGKQvui+6OPEIP39wTEjzSvhfXIwSWJweF/weDCZTGl8e6GpMKNquKmsKt48\nVllZSXXVaFNZdVUltbVV1NUETW+jt+qRJrrR5rmgSa6mujr88q/RUOYSpcAgMgl3ZzAMGEHzznCT\nztA+TT5DkaadZHJowjw6qagYbo4Km6aGm6qiTVQVFdHHNhIAlDNL0qXAICIiMdMJDPo5IiIiMQoM\nIiISo8AgIiIxCgwiIhKjwCAiIjEKDCIiEqPAICIiMQoMIiISo8AgIiIxCgwiIhKjwCAiIjEKDCIi\nEqPAICIiMQoMIiISo8AgIiIxCgwiIhKjwCAiIjFZDwxmttzMNpjZJjP74gTH/KeZbTazdWa2KNtl\nEhGRiWU1MJhZBfAd4BzgjcAlZnbMmGPOBY509wXAFcA12SxTKVi5cmW+i1AwdC1G6VqM0rVIT7Zr\nDKcCm919q7sngJ8D54855nzgRgB3/zPQamZzslyuoqYP/Shdi1G6FqN0LdKT7cBwMPBSZPvlcN9k\nx2wb5xgREckRdT6LiEiMuXv2Tm52GrDC3ZeH218C3N2/EjnmGuA+d7853N4AvNXdd4w5V/YKKiJS\nwtzdpnJ8VbYKEloDHGVm84FXgA8Dl4w55k7g08DNYSDZOzYowNT/MBERmZ6sBgZ3T5rZZ4B7CJqt\nrnf3Z8zsiuBpv87df2tm7zazZ4Fu4PJslklERCaX1aYkEREpPkXR+ZzKJLlyYWZbzOwJM3vczFbn\nuzy5ZGbXm9kOM3sysm+Gmd1jZhvN7Pdm1prPMubKBNfiKjN72cweC2/L81nGXDCzeWb2RzN72szW\nm9lnw/1l97kY51r8fbh/yp+Lgq8xhJPkNgFnA9sJ+i0+7O4b8lqwPDGz54El7r4n32XJNTNbCnQB\nN7r7CeG+rwC73f2r4Y+GGe7+pXyWMxcmuBZXAZ3u/o28Fi6HzGwuMNfd15lZE7CWYG7U5ZTZ52KS\na/Ehpvi5KIYaQyqT5MqJURz/bhnn7g8AYwPi+cCPwsc/At6f00LlyQTXAoLPR9lw91fdfV34uAt4\nBphHGX4uJrgWw3PCpvS5KIYvmFQmyZUTB+41szVm9rf5LkwBmD08is3dXwVm57k8+faZMOfY98uh\n+STKzA4DFgGPAHPK+XMRuRZ/DndN6XNRDIFB4s5w98XAu4FPh00KMqqw20az6/8BR7j7IuBVoJya\nlJqAXwBXhr+Wx34OyuZzMc61mPLnohgCwzbg0Mj2vHBfWXL3V8L7ncDtBE1t5WzHcG6tsI31tTyX\nJ2/cfaePdhp+Dzgln+XJFTOrIvgi/LG73xHuLsvPxXjXYjqfi2IIDCOT5MyshmCS3J15LlNemFlD\n+GsAM2sE3gU8ld9S5ZwRby+9E/hY+Pgy4I6xLyhhsWsRfgEOu4Dy+Wz8APiLu38rsq9cPxf7XIvp\nfC4KflQSBMNVgW8xOknuy3kuUl6Y2eEEtQQnmJz4k3K6Fmb2U2AZMBPYAVwF/Aq4FTgE2Apc7O57\n81XGXJngWryNoF15CNgCXDFeFoFSYmZnAPcD6wn+XzjwP4DVwC2U0edikmtxKVP8XBRFYBARkdwp\nhqYkERHJIQUGERGJUWAQEZEYBQYREYlRYBARkRgFBhERiVFgkP0ys2SYrne9md1sZnVTfH3nFI+/\nwcwuGGf/EjP7Zvj4MjP7z/DxFWb2kcj+uWNfOx1mttTMngr/9tppvP4FMztgnP3vM7MvhI/PN7Nj\nJjnHlcN/2zTe/0QzO3car/tZmFfnyjH7/1uY0nmdmd1rZodEnhv+jDxuZr8ac64jp1N+yR8FBklF\nt7svdvfjgQTwqbEHmNlk2RszMlnG3de6++fG2X+tu98Ubn6MzCVZ/Cvg38K/vX8arx/373b3u9z9\nq+Hm+4E3jnecmVUCHwd+Oo33hmBS07un8oIwqJ7s7ovGzCQGeIwg5fsi4DbgPyLPDX9GTnL3aCbT\n7wJlvYZKMVJgkKlaxWiKkg1m9iMzWw/MM7NLzOzJ8BadkW1m9o3w1/e9ZjYz3PkJM1sd/sq8dUxN\n5J1hBtkNZvae8Pi3mtldYwsULkTy383sg8DJwE3hr9d3m9ntkePeYWa/HOf1Z4fHPxFmn6wxs78B\nLgb+xcx+PM5rbg/Lt97MPjHBtTLgs2a2Njz3wvC1l5nZt83sLcB5wFfD9z98zOvfDqx196HwdSea\n2cPhL/bbhrNkmtl9ZrY4fDwzrKlUAf8MXBye+6Ix5a81sx+E/1Zrzeyt4VO/Bw4KX3NG9DXu/id3\n7ws3HyEegCf6YbAKeIcF66pIkdA/lqTCYCRB17kEU+4BFgDfCWsSg8CXCdI0LAJOMbPzwuMagdXu\n/iaCKfsrwv23ufup7n4SsAH4m8h7znf3U4D3AtdYkCcLJq59uLvfBjwKXBr+ev0tcPRwICJYvOX6\n2B8WNBHdAFzk7icC1cCn3P16gnw7n3f3j47zfpeH5TsFuNLMZkxQrtfcfQlwDfCPY8r7cOQ9Frv7\nC2NeewbBYivDbgyPXUSQ7+aqSa7FIPB/gJvDc9865phPA0PhIj+XAjeG1/g84LnwNQ9OcH4I/q1+\nF9muNbNHzewhMxtZLyVM3rYZOHGSc0mBUWCQVNSb2WME+We2MvrlusXd14SPTwHuc/fXw1+4PwHO\nCp8bIshbA3ATwRcewAlmdr8Fy1NeSrxJ5RYAd38WeA6YsB1+HNFfrz8GPhL+uj6N+JcZwNHA8+7+\nXLj9o0i5J/M5M1tH8Mt5HkGQHM9wjWUtcFgK5416A7ATwMxagNZwgZ6plHMiSwn+LXD3jQQ5dBam\n8sKwz2MJ8aak+e5+MkHz2zfH1H52AgelUVbJsap8F0CKQk+4BsSIsEuhe8xxqa4SNfyr/wbgPHd/\nyswuA946zjHD551uP8UPgbuAfuDW4WaZMaa0ulXY7PJ24M3u3m9m9wETdcgP900kmfr/t95Jzhs1\nyOiPvCkNDIhI6RqY2TuAfwLOCldUBGLp4F8ws5XAScBwDaiO4G+RIqEag6Rioi+N6P7VwFlmdkDY\naXoJsDJ8rgK4MHz8VwTtzgBNwKtmVh3uj7rIAkcChwMbUyxrJ9AyvBF+YW0H/idBIBprIzDfzI4I\ntz8K/Gk/79EK7AmDwjEENZHpipV3jGeAowDcvQPYE2n3j5ZzC0HfCkC0L2Gyc68ivOZh38chjF7j\ncf+9zewkgiax89x9d2R/23BTn5kdCJwO/CXy0oWUTwrwkqDAIKmYsF1/5EGwfOKXCILB48Cj7v7r\n8Oku4NSwk3oZ8C/h/v9NEFBWEXwJRr0YPvcbgjTBAymW9YcEfRLRIaY/AV4Km0zif0Aw2uhy4Bdm\n9gTBL/trxv59Y9wNVJvZ08C/AQ9PcFwqtZyfA58PO4DHdj7/jngt6jLga2ET1okEncsAXwP+zszW\nAtHhsfcBx43X+Uywqldl2Iz3M+CySA1gonJ/laC/6FaLD0s9FnjUzB4H/gD8u7tvADCz2QQ1zrJY\nKKdUKO22lDwz+zbwmLuPV2MoaGZ2G/CFSB9IUTGzzwHtxXjty5lqDFLSzOxR4HjCjtYi9CWCTuhi\ntYego1yKiGoMIiISoxqDiIjEKDCIiEiMAoOIiMQoMIiISIwCg4iIxCgwiIhIzP8H62gSJPhKmU4A\nAAAASUVORK5CYII=\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x7fd54c4dbf10>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "data = 25, 'tie'\n",
    "\n",
    "hypos = range(0, 26)\n",
    "likes = [likelihood(data, hypo) for hypo in hypos]\n",
    "thinkplot.Plot(hypos, likes)\n",
    "thinkplot.Config(xlabel='Probability of a hit (out of 25)',\n",
    "                 ylabel='Likelihood of a tie',\n",
    "                 ylim=[0, 1])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "In the range we care about (13 through 16) this curve is pretty flat, which means that a tie after the round of 25 doesn't discriminate strongly among the hypotheses.\n",
    "\n",
    "We could use this likelihood function to run the update, but just for purposes of demonstration, I'll do it using the Suite class from `thinkbayes2`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {
    "collapsed": false
   },
   "outputs": [],
   "source": [
    "from thinkbayes2 import Suite\n",
    "\n",
    "class Skeet(Suite):\n",
    "    \n",
    "    def Likelihood(self, data, hypo):\n",
    "        \"\"\"Likelihood of data under hypo.\n",
    "        \n",
    "        data: tuple of (number of shots, 'tie' or 'no tie')\n",
    "        hypo: hypothetical number of hits out of 25\n",
    "        \"\"\"\n",
    "        p = hypo / 25\n",
    "        n, outcome = data\n",
    "        like = sum([binom.pmf(k, n, p)**2 for k in range(n+1)])\n",
    "        return like if outcome=='tie' else 1-like"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now I'll create the prior."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "13 0.25\n",
      "14 0.25\n",
      "15 0.25\n",
      "16 0.25\n"
     ]
    }
   ],
   "source": [
    "suite = Skeet([13, 14, 15, 16])\n",
    "suite.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The prior mean is 14.5."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 22,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "14.5"
      ]
     },
     "execution_count": 22,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "suite.Mean()"
   ]
  },
  {
   "cell_type": "raw",
   "metadata": {},
   "source": [
    "Here's the update after the round of 25."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 23,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "13 0.245787744767\n",
      "14 0.247411480833\n",
      "15 0.250757985003\n",
      "16 0.256042789397\n"
     ]
    }
   ],
   "source": [
    "suite.Update((25, 'tie'))\n",
    "suite.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The higher values are a little more likely, but the effect is pretty small.\n",
    "\n",
    "Interestingly, the rounds of `n=2` provide more evidence in favor of the higher values of `p`."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "13 0.240111712333\n",
      "14 0.243807684231\n",
      "15 0.251622537592\n",
      "16 0.264458065844\n"
     ]
    }
   ],
   "source": [
    "suite.Update((2, 'tie'))\n",
    "suite.Print()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 25,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "13 0.234458172307\n",
      "14 0.240145161205\n",
      "15 0.252373188397\n",
      "16 0.273023478091\n"
     ]
    }
   ],
   "source": [
    "suite.Update((2, 'tie'))\n",
    "suite.Print()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "13 0.228830701632\n",
      "14 0.236427057892\n",
      "15 0.253007722855\n",
      "16 0.28173451762\n"
     ]
    }
   ],
   "source": [
    "suite.Update((2, 'tie'))\n",
    "suite.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "After three rounds of sudden death, we are more inclined to think that the shooters are having a good day.\n",
    "\n",
    "The fourth round, which ends with no tie, provides a small amount of evidence in the other direction."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 27,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "13 0.2323322732\n",
      "14 0.23878553469\n",
      "15 0.252684685857\n",
      "16 0.276197506253\n"
     ]
    }
   ],
   "source": [
    "suite.Update((2, 'no tie'))\n",
    "suite.Print()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And the posterior mean, after all updates, is a little higher than 14.5, where we started."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 28,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "14.572747425162735"
      ]
     },
     "execution_count": 28,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "suite.Mean()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "In summary, the outcome of this match, with four rounds of sudden death, provides weak evidence that the shooters were having a good day.\n",
    "\n",
    "In general for this kind of contest, a tie is more likely if the probability of success is very high or low.\n",
    "\n",
    "In the Alien Blaster problem, the hypothetical value of `p` are all less than 50%, so a tie causes us to revise beliefs about `p` downward.\n",
    "\n",
    "In the Skeet Shooter problem, the hypothetical values are greater than 50%, so ties make us revise our estimates upward."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 2",
   "language": "python",
   "name": "python2"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.11"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 0
}