{ "cells": [ { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "
Peter Norvig, 3 Oct 2015, revised 8 Jan 2017
\n", "\n", "# Probability, Paradox, and the Reasonable Person Principle\n", "\n", "In [another notebook](http://nbviewer.jupyter.org/url/norvig.com/ipython/Probability.ipynb), I introduced the basics of probability theory. A quick glossary of terms:\n", "\n", "* **P(E, D)**: the probability of event E, given probability distribution D describing the complete sample space of possible outcomes.\n", "* **outcome**: What actually happens (like a die rolling a 6). Also called an **atomic event**.\n", "* **event**: A description of possibly several atomic events (like rolling an even number).\n", "* **sample space**: The set of possible outcomes.\n", "* **probability distribution**: A mapping from every possible outcome to a number in the range 0 to 1 saying how likely the outcome is.\n", "* **uniform distribution**: A probability distribution in which every outcome is equally probable.\n", "\n", "Here I refactor the earlier code, keeping only the parts that are most important for this notebook, which will show how to solve some particularly perplexing paradoxical probability problems." ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "from fractions import Fraction\n", "\n", "def P(predicate, dist): \n", " \"The probability that predicate is true, given the probability distribution dist.\"\n", " return sum(dist[e] for e in dist if predicate(e))\n", "\n", "class ProbDist(dict):\n", " \"A Probability Distribution; an {outcome: probability} mapping where probabilities sum to 1.\"\n", " def __init__(self, mapping=(), **kwargs):\n", " self.update(mapping, **kwargs)\n", " total = sum(self.values())\n", " if isinstance(total, int): \n", " total = Fraction(total, 1)\n", " for key in self: # Make probabilities sum to 1.\n", " self[key] = self[key] / total\n", " \n", " def __and__(self, predicate): # Call this method by writing probdist & predicate\n", " \"A new ProbDist, restricted to the outcomes of this ProbDist for which the predicate is true.\"\n", " return ProbDist({e:self[e] for e in self if predicate(e)})\n", "\n", "def Uniform(outcomes): return ProbDist({e: 1 for e in outcomes})\n", "\n", "def joint(A, B, sep=''):\n", " \"\"\"The joint distribution of two independent probability distributions. \n", " Result is all entries of the form {a+sep+b: P(a)*P(b)}\"\"\"\n", " return ProbDist({a + sep + b: A[a] * B[b]\n", " for a in A\n", " for b in B})" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "# Child Paradoxes\n", "\n", "In 1959, [Martin Gardner]() [posed](https://en.wikipedia.org/wiki/Boy_or_Girl_paradox) these two problems:\n", "\n", "- **Child Problem 1.** Mr. Jones has two children. The older child is a boy. What is the\n", "probability that both children are boys?\n", "\n", "- **Child Problem 2.** Mr. Smith has two children. At least one of them is a boy. What is\n", "the probability that both children are boys? \n", "\n", "Then in 2006, Mike & Tom Starbird came up with a variant, which Gary Foshee introduced to Gardner fans in 2010:\n", "\n", "- **Child Problem 3.** I have two children. At least one of them is a boy born on Tuesday. What is\n", "the probability that both children are boys? \n", "\n", "Problems 2 and 3 are considered *paradoxes* because they have surprising answers that people\n", "argue about. \n", "\n", "(Assume the probability of a boy is exactly 1/2, and is independent of any siblings.)\n", "\n", "![Martin Gardner](https://upload.wikimedia.org/wikipedia/commons/0/04/Martin_Gardner.jpeg)\n", "
Martin Gardner
" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "### Child Problem 1: Older child is a boy. What is the probability both are boys?\n", "\n", "We use 'BG' to denote the outcome in which the older child is a boy and the younger a girl. The prior probability distribution, two_kids, has four equi-probable outcomes:" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "two_kids = Uniform({'BG', 'BB', 'GB', 'GG'})" ] }, { "cell_type": "markdown", "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Let's define predicates for the conditions of having two boys, and of the older child being a boy:" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def two_boys(outcome): return outcome.count('B') == 2\n", "\n", "def older_is_a_boy(outcome): return outcome.startswith('B')" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now we can answer Problem 1: \"What is the probability of two boys, given two kids of which the older is a boy?\"" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 2)" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids & older_is_a_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "You're probably thinking that was a lot of mechanism just to get the obvious answer. But in the next problems, what is obvious becomes less obvious.\n", "\n", "### Child Problem 2: At least one is a boy. What is the probability both are boys? \n", "\n", "Implementing this problem and finding the answer is easy:" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def at_least_one_boy(outcome): return 'B' in outcome" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 3)" ] }, "execution_count": 6, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids & at_least_one_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Understanding the answer is tougher. Some people think the answer should be 1/2. Can we justify the answer 1/3? We can see there are three equiprobable outcomes in which there is at least one boy:" ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{'BB': Fraction(1, 3), 'BG': Fraction(1, 3), 'GB': Fraction(1, 3)}" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" } ], "source": [ "two_kids & at_least_one_boy" ] }, { "cell_type": "markdown", "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Of those three outcomes, only one has two boys, so the answer of 1/3 is indeed justified. \n", "\n", "But some people *still* think the answer should be 1/2.\n", "Their reasoning is *\"If one child is a boy, then there are two equiprobable outcomes for the other child, so the probability that the other child is a boy, and thus that there are two boys, is 1/2.\"* \n", "\n", "When two methods of reasoning give two different answers, we have a [paradox](https://en.wikipedia.org/wiki/Paradox). Here are three responses to a paradox:\n", "\n", "1. The very fundamentals of mathematics must be incomplete, and this problem reveals it!!!\n", "2. I'm right, and anyone who disagrees with me is an idiot!!!\n", "3. I have the right answer for one interpretation of the problem, and you have the right answer\n", "for a different interpretation of the problem.\n", "\n", "If you're [Bertrand Russell](https://en.wikipedia.org/wiki/Russell%27s_paradox) or [Georg Cantor](https://en.wikipedia.org/wiki/Cantor%27s_paradox), you might very well uncover a fundamental flaw in mathematics; for the rest of us, I recommend Response 3. When I believe the answer is 1/3, and I hear someone say the answer is 1/2, my response is not *\"You're wrong!\"*, rather it is *\"How interesting! You must have a different interpretation of the problem; I should try to discover what your interpretation is, and why your answer is correct for your interpretation.\"* The first step is to be more precise in *my* wording of the experiment:\n", "\n", "- **Child Experiment 2a.** Mr. Smith is chosen at random from families with two children. He is asked if at least one of his children is a boy. He replies \"yes.\"\n", "\n", "The next step is to envision another possible interpretation of the experiment:\n", "\n", "- **Child Experiment 2b.** Mr. Smith is chosen at random from families with two children. He is observed at a time when he is accompanied by one of his children, chosen at random. The child is observed to be a boy. \n", "\n", "Experiment 2b needs a different sample space, which we will call two_kids_b. It consists of 8 outcomes, not just 4; for each of the 4 outcomes in two_kids, we have a choice of observing either the older child or the younger child. We will use the notation 'GB/g?' to mean that the older child is a girl, the younger a boy, the older child was observed to be a girl, and the younger was not observed. So we have:" ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "two_kids_b = Uniform({'BB/b?', 'BB/?b', \n", " 'BG/b?', 'BG/?g', \n", " 'GB/g?', 'GB/?b', \n", " 'GG/g?', 'GG/?g'})" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now we can restrict ourselves to outcomes in which we observe Mr. Smith with a boy:" ] }, { "cell_type": "code", "execution_count": 9, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{'BB/?b': Fraction(1, 4),\n", " 'BB/b?': Fraction(1, 4),\n", " 'BG/b?': Fraction(1, 4),\n", " 'GB/?b': Fraction(1, 4)}" ] }, "execution_count": 9, "metadata": {}, "output_type": "execute_result" } ], "source": [ "def observed_boy(outcome): return 'b' in outcome\n", "\n", "two_kids_b & observed_boy" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "And finally we can determine the probability that he has two boys, given that we observed him with a boy:" ] }, { "cell_type": "code", "execution_count": 10, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 2)" ] }, "execution_count": 10, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids_b & observed_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "The paradox is resolved. Two reasonable people can have different interpretations of the problem, and can each reason flawlessly to reach different conclusions, 1/3 for Experiment 2a, or 1/2 for Experiment 2b. \n", "\n", "Which interpretation of the problem is \"better?\" We could debate that, or we could just agree to use unambiguous wording (that is, use the language of Experiment 2a or Experiment 2b, not the ambiguous language of Problem 2). \n", "\n", "## The Reasonable Person Principle\n", "\n", "It is an unfortunate fact of human nature that we often assume the other person is an idiot. As [George Carlin puts it](https://www.youtube.com/watch?v=XWPCE2tTLZQ) *\"Have you ever noticed when you're driving that anybody driving slower than you is an idiot, and anyone going faster than you is a maniac?\"*\n", "\n", "\n", "
George Carlin
\n", "\n", "The opposite assumption—that other people are more likely to be **reasonable** rather than **idiots** is known as the **[reasonable person principle](http://www.cs.cmu.edu/~weigand/staff/)**. It is a guiding principle at Carnegie Mellon University's School of Computer Science, and is a principle I try to live by as well: when I see people reason to a different conclusion than mine, I assume it is most likely that they are reasonably and rationally solving a different problem, not that they are idiots.\n", "\n", "Now let's return to an even more paradoxical problem.\n", "\n", "### Child Problem 3. One is a boy born on Tuesday. What's the probability both are boys?\n", "\n", "Most people can not imagine how the boy's birth-day-of-week could be relevant, and feel the answer should be the same as Problem 2. But to be sure, we need to clearly describe the experiment, define the sample space, and calculate. First:\n", "\n", "- **Child Experiment 3a.** A parent is chosen at random from families with two children. She is asked if at least one of her children is a boy born on Tuesday. She replies \"yes.\"\n", "\n", "Next we'll define a sample space. We'll use the notation \"G1B3\" to mean the older child is a girl born on the first day of the week (Sunday) and the younger a boy born on the third day of the week (Tuesday). We'll call the resulting distribution over all such outcomes two_kids_w." ] }, { "cell_type": "code", "execution_count": 11, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "196" ] }, "execution_count": 11, "metadata": {}, "output_type": "execute_result" } ], "source": [ "one_kid_w = joint(Uniform('BG'), Uniform('1234567'))\n", "two_kids_w = joint(one_kid_w, one_kid_w)\n", "len(two_kids_w)" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "That's too many to print, but we can sample them:" ] }, { "cell_type": "code", "execution_count": 12, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "['B2G4', 'G3B4', 'G2B6', 'B4B5', 'B4G6', 'B5B2', 'G7B7', 'B5B3']" ] }, "execution_count": 12, "metadata": {}, "output_type": "execute_result" } ], "source": [ "import random\n", "random.sample(list(two_kids_w), 8)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We determine below that the probability of having at least one boy is 3/4, both in two_kids_w (where we keep track of the birth day of week) and in two_kids (where we don't):" ] }, { "cell_type": "code", "execution_count": 13, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(3, 4)" ] }, "execution_count": 13, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(at_least_one_boy, two_kids_w)" ] }, { "cell_type": "code", "execution_count": 14, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(3, 4)" ] }, "execution_count": 14, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(at_least_one_boy, two_kids)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "The probability of two boys is 1/4 in either sample space:" ] }, { "cell_type": "code", "execution_count": 15, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 4)" ] }, "execution_count": 15, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids_w)" ] }, { "cell_type": "code", "execution_count": 16, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 4)" ] }, "execution_count": 16, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "And the probability of two boys given at least one boy is 1/3 in either sample space:" ] }, { "cell_type": "code", "execution_count": 17, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 3)" ] }, "execution_count": 17, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids_w & at_least_one_boy)" ] }, { "cell_type": "code", "execution_count": 18, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 3)" ] }, "execution_count": 18, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids & at_least_one_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We will define a predicate for the event of at least one boy born on Tuesday: " ] }, { "cell_type": "code", "execution_count": 19, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def at_least_one_boy_tues(outcome): return 'B3' in outcome" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We are now ready to answer Problem 3:" ] }, { "cell_type": "code", "execution_count": 20, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(13, 27)" ] }, "execution_count": 20, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids_w & at_least_one_boy_tues)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "*What?* The answer is 13/27? How many of you saw that coming? \n", "\n", "13/27 is quite different from 1/3, but rather close to 1/2. So \"at least one boy born on Tuesday\" is quite different from \"at least one boy.\" Are you surprised? Do you accept the answer, or do you think we did something wrong? Are there other interpretations of the experiment that lead to other answers?\n", "\n", "Here is one alternative interpretation:" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "- **Child Experiment 3b.** A parent is chosen at random from families with two children. She is observed at a time when she is accompanied by one of her children, chosen at random. The child is observed to be a boy who reports that his birth day is Tuesday.\n", "\n", "We can represent outcomes in this sample space with the notation G1B3/??b3, meaning the older child is a girl born on Sunday, the younger a boy born on Tuesday, the older was not observed, and the younger was." ] }, { "cell_type": "code", "execution_count": 21, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def observed_boy_tues(outcome): return 'b3' in outcome\n", "\n", "two_kids_wb = Uniform({children + '/' + observation\n", " for children in two_kids_w\n", " for observation in (children[:2].lower()+'??', '??'+children[-2:].lower())} ) " ] }, { "cell_type": "code", "execution_count": 22, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "['G3G2/g3??', 'B6B2/b6??', 'B2G6/??g6', 'G6G7/g6??', 'B6B1/??b1']" ] }, "execution_count": 22, "metadata": {}, "output_type": "execute_result" } ], "source": [ "random.sample(list(two_kids_wb), 5)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now we can answer this version of Child Problem 3:" ] }, { "cell_type": "code", "execution_count": 23, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 2)" ] }, "execution_count": 23, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(two_boys, two_kids_wb & observed_boy_tues)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "So with the wording of Child Experiment 3b, the answer is the same as 2b.\n", "\n", "Still confused? Let's build a visualization tool to make things more concrete.\n", "\n", "# Visualization\n", "\n", "We'll display the results as a two dimensional grid of outcomes. An outcome will be colored white if it does not satisfy the condition stated in the problem; green if the outcome contains two boys; and yellow if it does satisfy the condition, but does not have two boys. Every cell in a row has the same older child, and every cell in a column has the same younger child. Here's the code to display a table:" ] }, { "cell_type": "code", "execution_count": 24, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "from IPython.display import HTML\n", "\n", "def Pgrid(event, dist, condition):\n", " \"\"\"Display sample space in a grid, color-coded: green if event and condition is true; \n", " yellow if only condition is true; white otherwise.\"\"\"\n", " def first_half(s): return s[:len(s)//2]\n", " olders = sorted(set(map(first_half, dist)))\n", " return HTML('' +\n", " cat(row(older, event, dist, condition) for older in olders) +\n", " '
' + \n", " 'P({} | {}) = {}'.format(\n", " event.__name__, condition.__name__, \n", " P(event, dist & condition)))\n", "\n", "def row(older, event, dist, condition):\n", " \"Display a row where an older child is paired with each of the possible younger children.\"\n", " thisrow = sorted(outcome for outcome in dist if outcome.startswith(older))\n", " return '' + cat(cell(outcome, event, condition) for outcome in thisrow) + ''\n", "\n", "def cell(outcome, event, condition): \n", " \"Display outcome in appropriate color.\"\n", " color = ('lightgreen' if event(outcome) and condition(outcome) else\n", " 'yellow' if condition(outcome) else\n", " 'white')\n", " return '{}'.format(color, outcome) \n", "\n", "cat = ''.join" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We can use this visualization tool to see that in Child Problem 1, there is one outcome with two boys (green) out of a total of two outcomes where the older is a boy (green and yellow) so the probability of two boys given that the older is a boy is 1/2." ] }, { "cell_type": "code", "execution_count": 25, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/html": [ "
 BB BG GB GG
P(two_boys | older_is_a_boy) = 1/2" ], "text/plain": [ "" ] }, "execution_count": 25, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 1\n", "Pgrid(two_boys, two_kids, older_is_a_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "For Child Problem 2, we see the probability of two boys (green) given at least one boy (green and yellow) is 1/3. " ] }, { "cell_type": "code", "execution_count": 26, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/html": [ "
 BB BG GB GG
P(two_boys | at_least_one_boy) = 1/3" ], "text/plain": [ "" ] }, "execution_count": 26, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 2\n", "Pgrid(two_boys, two_kids, at_least_one_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "The answer is still 1/3 when we consider the day of the week of each birth. " ] }, { "cell_type": "code", "execution_count": 27, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/html": [ "
 B1B1 B1B2 B1B3 B1B4 B1B5 B1B6 B1B7 B1G1 B1G2 B1G3 B1G4 B1G5 B1G6 B1G7 B2B1 B2B2 B2B3 B2B4 B2B5 B2B6 B2B7 B2G1 B2G2 B2G3 B2G4 B2G5 B2G6 B2G7 B3B1 B3B2 B3B3 B3B4 B3B5 B3B6 B3B7 B3G1 B3G2 B3G3 B3G4 B3G5 B3G6 B3G7 B4B1 B4B2 B4B3 B4B4 B4B5 B4B6 B4B7 B4G1 B4G2 B4G3 B4G4 B4G5 B4G6 B4G7 B5B1 B5B2 B5B3 B5B4 B5B5 B5B6 B5B7 B5G1 B5G2 B5G3 B5G4 B5G5 B5G6 B5G7 B6B1 B6B2 B6B3 B6B4 B6B5 B6B6 B6B7 B6G1 B6G2 B6G3 B6G4 B6G5 B6G6 B6G7 B7B1 B7B2 B7B3 B7B4 B7B5 B7B6 B7B7 B7G1 B7G2 B7G3 B7G4 B7G5 B7G6 B7G7 G1B1 G1B2 G1B3 G1B4 G1B5 G1B6 G1B7 G1G1 G1G2 G1G3 G1G4 G1G5 G1G6 G1G7 G2B1 G2B2 G2B3 G2B4 G2B5 G2B6 G2B7 G2G1 G2G2 G2G3 G2G4 G2G5 G2G6 G2G7 G3B1 G3B2 G3B3 G3B4 G3B5 G3B6 G3B7 G3G1 G3G2 G3G3 G3G4 G3G5 G3G6 G3G7 G4B1 G4B2 G4B3 G4B4 G4B5 G4B6 G4B7 G4G1 G4G2 G4G3 G4G4 G4G5 G4G6 G4G7 G5B1 G5B2 G5B3 G5B4 G5B5 G5B6 G5B7 G5G1 G5G2 G5G3 G5G4 G5G5 G5G6 G5G7 G6B1 G6B2 G6B3 G6B4 G6B5 G6B6 G6B7 G6G1 G6G2 G6G3 G6G4 G6G5 G6G6 G6G7 G7B1 G7B2 G7B3 G7B4 G7B5 G7B6 G7B7 G7G1 G7G2 G7G3 G7G4 G7G5 G7G6 G7G7
P(two_boys | at_least_one_boy) = 1/3" ], "text/plain": [ "" ] }, "execution_count": 27, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 2, with days of week enumerated\n", "Pgrid(two_boys, two_kids_w, at_least_one_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now for the \"paradox\" of Child Problem 3:" ] }, { "cell_type": "code", "execution_count": 28, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/html": [ "
 B1B1 B1B2 B1B3 B1B4 B1B5 B1B6 B1B7 B1G1 B1G2 B1G3 B1G4 B1G5 B1G6 B1G7 B2B1 B2B2 B2B3 B2B4 B2B5 B2B6 B2B7 B2G1 B2G2 B2G3 B2G4 B2G5 B2G6 B2G7 B3B1 B3B2 B3B3 B3B4 B3B5 B3B6 B3B7 B3G1 B3G2 B3G3 B3G4 B3G5 B3G6 B3G7 B4B1 B4B2 B4B3 B4B4 B4B5 B4B6 B4B7 B4G1 B4G2 B4G3 B4G4 B4G5 B4G6 B4G7 B5B1 B5B2 B5B3 B5B4 B5B5 B5B6 B5B7 B5G1 B5G2 B5G3 B5G4 B5G5 B5G6 B5G7 B6B1 B6B2 B6B3 B6B4 B6B5 B6B6 B6B7 B6G1 B6G2 B6G3 B6G4 B6G5 B6G6 B6G7 B7B1 B7B2 B7B3 B7B4 B7B5 B7B6 B7B7 B7G1 B7G2 B7G3 B7G4 B7G5 B7G6 B7G7 G1B1 G1B2 G1B3 G1B4 G1B5 G1B6 G1B7 G1G1 G1G2 G1G3 G1G4 G1G5 G1G6 G1G7 G2B1 G2B2 G2B3 G2B4 G2B5 G2B6 G2B7 G2G1 G2G2 G2G3 G2G4 G2G5 G2G6 G2G7 G3B1 G3B2 G3B3 G3B4 G3B5 G3B6 G3B7 G3G1 G3G2 G3G3 G3G4 G3G5 G3G6 G3G7 G4B1 G4B2 G4B3 G4B4 G4B5 G4B6 G4B7 G4G1 G4G2 G4G3 G4G4 G4G5 G4G6 G4G7 G5B1 G5B2 G5B3 G5B4 G5B5 G5B6 G5B7 G5G1 G5G2 G5G3 G5G4 G5G5 G5G6 G5G7 G6B1 G6B2 G6B3 G6B4 G6B5 G6B6 G6B7 G6G1 G6G2 G6G3 G6G4 G6G5 G6G6 G6G7 G7B1 G7B2 G7B3 G7B4 G7B5 G7B6 G7B7 G7G1 G7G2 G7G3 G7G4 G7G5 G7G6 G7G7
P(two_boys | at_least_one_boy_tues) = 13/27" ], "text/plain": [ "" ] }, "execution_count": 28, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 3\n", "Pgrid(two_boys, two_kids_w, at_least_one_boy_tues)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We see there are 27 relevant outcomes, of which 13 are green. So 13/27 really does seem to be the right answer. This picture also gives us a way to think about why the answer is not 1/3. Think of the yellow-plus-green area as a horizontal stripe and a vertical stripe, with an overlap. Each stripe is half yellow and half green, so if there were no overlap at all, the probability of green would be 1/2. When each stripe takes up half the sample space and the overlap is maximal, the probability is 1/3. And in the Problem 3 table, where the overlap is small, the probability is close to 1/2 (but slightly smaller).\n", "\n", "One way to look at it is that if I tell you very specific information (such as a boy born on Tuesday), it is unlikely that this applies to both children, so we have smaller overlap and a probability closer to 1/2, but if I give you broad information (a boy), this is more likely to apply to either child, resulting in a larger overlap, and a probability closer to 1/3.\n", "\n", "You can read some more discussions of the problem by (in alphabetical order) \n", "[Alex Bellos](https://www.newscientist.com/article/dn18950-magic-numbers-a-meeting-of-mathemagical-tricksters?full=true),\n", "[Alexander Bogomolny](http://www.cut-the-knot.org/Probability/BearBornOnTuesday.shtml),\n", "[Andrew Gelman](http://andrewgelman.com/2010/05/27/hype_about_cond/),\n", "[David Bigelow](https://web.viu.ca/bigelow2/Problem%201127%20Solution.pdf),\n", "[Julie Rehmeyer](https://www.sciencenews.org/article/when-intuition-and-math-probably-look-wrong),\n", "[Keith Devlin](https://www.maa.org/external_archive/devlin/devlin_05_10.html),\n", "[Peter Lynch](http://mathsci.ucd.ie/~plynch/Publications/BIMS-TwoChildParadox.pdf),\n", "[Tanya Khovanova](http://arxiv.org/pdf/1102.0173v1.pdf),\n", "and\n", "[Wendy Taylor & Kaye Stacey](http://www.aamt.edu.au/Journals/Sample-articles/amt70_2_taylor.pdf)." ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "# The Sleeping Beauty Paradox\n", "\n", "The [Sleeping Beauty Paradox](https://en.wikipedia.org/wiki/Sleeping_Beauty_problem) is another tricky one:\n", "\n", ">Sleeping Beauty volunteers to undergo the following experiment and is told all of the following details: On Sunday she will be put to sleep. Then a fair coin will be tossed,\n", "to determine which experimental procedure to undertake:\n", "- Heads: Beauty will be awakened and interviewed on Monday only.\n", "- Tails: Beauty will be awakened and interviewed on Monday and Tuesday only.\n", "\n", ">In all cases she is put back to sleep with an amnesia-inducing drug that makes her forget that awakening and sleep until the next one. In any case, she will be awakened on Wednesday without interview and the experiment ends. Any time Beauty is awakened and interviewed, she is asked, \"What is your belief now for the proposition that the coin landed heads?\"\n", "\n", "What should Sleeping Beauty say when she is interviewed? First, she should define the sample space. She should realize that heads and tails are equally likely, and no matter which comes up, there will be a Monday and a Tuesday, so that gives 4 equally-probable checkpoints. We will say for each checkpoint whether she is interviewed, using the\n", "notation 'heads/Monday/interviewed' to mean the situation where the coin flip came up heads, it is Monday, and she is interviewed. Here are the 4 equiprobable atomic events:" ] }, { "cell_type": "code", "execution_count": 29, "metadata": { "button": false, "collapsed": true, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "beauty = Uniform({'heads/Monday/interviewed', 'heads/Tuesday/sleep',\n", " 'tails/Monday/interviewed', 'tails/Tuesday/interviewed'})" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "At this point, you're probably expecting me to define predicates like this:\n", "\n", " def heads(outcome): return 'heads' in outcome\n", " def interviewed(outcome): return 'interviewed' in outcome\n", " \n", "We've seen a lot of predicates like this. I think it is time to heed the \"[don't repeat yourself](https://en.wikipedia.org/wiki/Don%27t_repeat_yourself)\" principle, so I will define a predicate-defining function, t. Think of \"t\" as standing for \"it is true that\":" ] }, { "cell_type": "code", "execution_count": 30, "metadata": { "button": false, "collapsed": true, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def t(property):\n", " \"Return a predicate that is true of all outcomes that have 'property' as a substring.\"\n", " return lambda outcome: property in outcome" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now we can get the answer, thd probability of heads given that Beauty is interviewed:" ] }, { "cell_type": "code", "execution_count": 31, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 3)" ] }, "execution_count": 31, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"heads\"), beauty & t(\"interviewed\"))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "This problem is considered a paradox because there are people who argue that the answer should be 1/2, not 1/3. I admit I'm having difficulty coming up with an alternative interpretation that supports the \"halfer\" position. \n", "\n", "I do know of a question that has the answer 1/2:" ] }, { "cell_type": "code", "execution_count": 32, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 2)" ] }, "execution_count": 32, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"heads\"), beauty) " ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "But that seems like the wrong question; we want the probability of heads given that Sleeping Beauty was interviewed, not the unconditional probability of heads.\n", "\n", "The \"halfers\" argue that before Sleeping Beauty goes to sleep, her unconditional probability for heads should be 1/2. When she is interviewed, she doesn't know anything more than before she went to sleep, so nothing has changed, so the probability of heads should still be 1/2. I find two flaws with this argument. First, if you want to convince me, show me a sample space; don't just make philosophical arguments. (Although a philosophical argument can be employed to help you define the right sample space.) Second, while I agree that before she goes to sleep, Beauty's *unconditional* probability for heads should be 1/2, I would say that both before she goes to sleep and when she is awakened, her *conditional* probability of heads *given that she is being interviewed* should be 1/3, as shown by the sample space." ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "# The Monty Hall Paradox\n", "\n", "[This](https://en.wikipedia.org/wiki/Monty_Hall_problem) is one of the most famous probability paradoxes. It can be stated as follows:\n", "\n", "> Suppose you're on a game show, and you're given the choice of three doors: Behind one door is a car; behind the others, goats. You pick a door, say No. 1, and the host, who knows what's behind the doors, opens another door, say No. 3, which has a goat. He then says to you, \"Do you want to switch your choice to door No. 2?\" Is it to your advantage to switch your choice?\n", "\n", "\n", "
Monty Hall
\n", "\n", "Much has been written about this problem, but to solve it all we have to do is be careful about how we understand the problem, and about defining our sample space. I will define outcomes of the form 'Car1/Lo/Pick1/Open2', which means:\n", "* Car1: The producers of the show randomly placed the car behind door 1.\n", "* Lo: The host randomly commits to the strategy of opening the lowest-numbered allowable door. A door is allowable if it does not contain the car and was not picked by the contestant. Alternatively, the host could have chosen to open the highest-numbered allowable door (Hi).\n", "* Pick1: The contestant picks door 1. Our sample space will only consider cases where the contestant picks door 1, but by symmetry, the same arguments could be used if the contestant picked door 2 or 3.\n", "* Open2: After hearing the contestant's choice, and following the strategy, the host opens a door; in this case door 2.\n", "\n", "We can see that the sample space has 6 equiprobable outcomes involving Pick1:" ] }, { "cell_type": "code", "execution_count": 33, "metadata": { "button": false, "collapsed": true, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "monty = Uniform({'Car1/Lo/Pick1/Open2', 'Car1/Hi/Pick1/Open3',\n", " 'Car2/Lo/Pick1/Open3', 'Car2/Hi/Pick1/Open3',\n", " 'Car3/Lo/Pick1/Open2', 'Car3/Hi/Pick1/Open2'})" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now, assuming the contestant picks door 1 and the host opens door 3, we can ask:\n", "- What are the possible outcomes remaining?\n", "- What is the probability that the car is behind door 1? \n", "- Or door 2?" ] }, { "cell_type": "code", "execution_count": 34, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{'Car1/Hi/Pick1/Open3': Fraction(1, 3),\n", " 'Car2/Hi/Pick1/Open3': Fraction(1, 3),\n", " 'Car2/Lo/Pick1/Open3': Fraction(1, 3)}" ] }, "execution_count": 34, "metadata": {}, "output_type": "execute_result" } ], "source": [ "monty & t(\"Open3\")" ] }, { "cell_type": "code", "execution_count": 35, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 3)" ] }, "execution_count": 35, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"Car1\"), monty & t(\"Open3\"))" ] }, { "cell_type": "code", "execution_count": 36, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(2, 3)" ] }, "execution_count": 36, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"Car2\"), monty & t(\"Open3\"))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We see that the car is behund door 1 only 1/3 of the time, and behind door 2 for 2/3 of the time, so the strategy of **switching** to door 2 is better than **sticking** with door 1. But don't feel bad if you got this one wrong; it turns out that Monty Hall himself, who opened many doors while hosting *Let's Make a Deal* for 13 years, didn't know the answer either, as revealed in this letter from Monty to Prof. Lawrence Denenberg, when Denenberg asked for permission to use the problem in his textbook:\n", "\n", "\n", "If you were Denenberg, how would you answer Monty, in non-mathematical terms? I would try something like this:\n", "\n", "> When the contestant makes her initial pick, she has 1/3 chance of picking the car, and there is a 2/3 chance the car is behind one of the other doors. That's still true after you open a door, but now the 2/3 chance for *either* other door becomes concentrated as 2/3 behind *one* other door, so the contestant should switch.\n", "\n", "But that type of argument was not persuasive to everyone. [Marilyn vos Savant](http://marilynvossavant.com/game-show-problem/) reports that many of her readers (including, she is pleased to point out, many Ph.D.s) still insist the answer is that it doesn't matter if the contestant switches; the odds are 1/2 either way. Let's try to discover what problem and what sample space those people are dealing with. Perhaps they are reasoning like this:\n", "\n", "They define outcomes of the form 'Car1/Pick1/Open2/Goat', which means:\n", "* Car1: First the car is randomly placed behind door 1.\n", "* Pick1: The contestant picks door 1. \n", "* Open2: The host opens one of the two other doors at random (so the host might open the door with the car).\n", "* Goat: We observe there is a goat behind the opened door.\n", "\n", "Under this interpretation, the sample space of all outcomes involving Pick1 is:" ] }, { "cell_type": "code", "execution_count": 37, "metadata": { "button": false, "collapsed": true, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "monty2 = Uniform({'Car1/Pick1/Open2/Goat', 'Car1/Pick1/Open3/Goat',\n", " 'Car2/Pick1/Open2/Car', 'Car2/Pick1/Open3/Goat',\n", " 'Car3/Pick1/Open2/Goat', 'Car3/Pick1/Open3/Car'})" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "And we can calculate the probability of the car being behind each door, given that the contestant picks door 1 and the host opens door 3 to reveal a goat:" ] }, { "cell_type": "code", "execution_count": 38, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 2)" ] }, "execution_count": 38, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"Car1\"), monty2 & t(\"Open3/Goat\"))" ] }, { "cell_type": "code", "execution_count": 39, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Fraction(1, 2)" ] }, "execution_count": 39, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"Car2\"), monty2 & t(\"Open3/Goat\"))" ] }, { "cell_type": "code", "execution_count": 40, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "0" ] }, "execution_count": 40, "metadata": {}, "output_type": "execute_result" } ], "source": [ "P(t(\"Car3\"), monty2 & t(\"Open3/Goat\"))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "So we see that under this interpretation it doesn't matter if you switch or not: either way you win half the time (just don't switch to door 3, unless you really like goats).\n", "\n", "Is this a valid interpretation? I agree that the wording of the problem can be seen as being ambiguous. However, this interpretation has a serious problem: in all the history of *Let's Make a Deal*, it was never the case that the host opened up a door with the grand prize. This strongly suggests (but does not prove) that M is the correct interpretation, not M2" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "# Simulating the Monty Hall Problem\n", "\n", "Some people might be more convinced by a simulation than by a probability argument. Here is code for a simulation which goes through this sequence of events:\n", "\n", " 1. The host randomly chooses a door for the 'car'\n", " 2. The contestant randomly makes a 'pick' of one of the doors\n", " 3. The host randomly selects a non-car, non-pick door to be 'opened.' \n", " 4. If strategy == 'switch', contestant changes 'pick' to the other unopened door\n", " 5. Return true if the pick is the door with the car." ] }, { "cell_type": "code", "execution_count": 41, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "import random\n", "\n", "def simulate_monty(strategy, doors=(1, 2, 3)):\n", " \"Randomly place car, and given a strategy of 'switch' or 'stick', return True iff the strategy wins.\"\n", " car = random.choice(doors)\n", " pick = random.choice(doors)\n", " opened = random.choice([d for d in doors if d != car and d != pick])\n", " if strategy == 'switch':\n", " pick = next(d for d in doors if d != pick and d != opened)\n", " return (pick == car)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "We can confirm that the contestant wins about 2/3 of the time with the switch strategy, and only wins about 1/3 of the time with the stick strategy:" ] }, { "cell_type": "code", "execution_count": 42, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Counter({False: 33595, True: 66405})" ] }, "execution_count": 42, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from collections import Counter\n", "\n", "Counter(simulate_monty('switch') for _ in range(10 ** 5))" ] }, { "cell_type": "code", "execution_count": 43, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Counter({False: 66871, True: 33129})" ] }, "execution_count": 43, "metadata": {}, "output_type": "execute_result" } ], "source": [ "Counter(simulate_monty('stick') for _ in range(10 ** 5))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "# Reasoning with Non-Uniform Probability Distributions\n", "\n", "In all our \"children\" problems so far, the probability of a child being a girl is not exactly 1/2. That's not quite right. An [article](http://people.kzoo.edu/barth/math105/moreboys.pdf) gives the following counts for a sample of two-child families in Denmark:\n", "\n", " GG: 121801 GB: 126840\n", " BG: 127123 BB: 135138\n", "\n", "Let's implement that:" ] }, { "cell_type": "code", "execution_count": 44, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{'BB': 0.2645086533229465,\n", " 'BG': 0.24882071317004043,\n", " 'GB': 0.24826679089140383,\n", " 'GG': 0.23840384261560926}" ] }, "execution_count": 44, "metadata": {}, "output_type": "execute_result" } ], "source": [ "DK = ProbDist(GG=121801., GB=126840.,\n", " BG=127123., BB=135138.)\n", "DK" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now let's try the first two Child Problems with the probability distribution DK. Since boys are slightly more probable than girls, we expect a little over 1/2 for Problem 1, and a little over 1/3 for problem 2:" ] }, { "cell_type": "code", "execution_count": 45, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "0.5152805792702689" ] }, "execution_count": 45, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 1 in DK\n", "P(two_boys, DK & older_is_a_boy)" ] }, { "cell_type": "code", "execution_count": 46, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "0.3473082824253857" ] }, "execution_count": 46, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 2 in DK\n", "P(two_boys, DK & at_least_one_boy)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "It all looks good. Now let's leave Denmark behind and try a new problem:\n", "\n", "### Child Problem 4. One is a boy born on Feb. 29. What is the probability both are boys?\n", "\n", "* **Child Problem 4.** I have two children. At least one of them is a boy born on leap day, February 29. What is the probability that both children are boys? Assume that 51.5% of births are boys and that birth days are distributed evenly across the 4×365 + 1 days in a 4-year cycle.\n", "\n", "We will use the notation GLBN to mean an older girl born on leap day (L) and a younger boy born on a non-leap day (N). " ] }, { "cell_type": "code", "execution_count": 47, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "sexes = ProbDist(B=51.5, G=48.5) # Probability distribution over sexes\n", "days = ProbDist(L=1, N=4*365) # Probability distribution over Leap days and Non-leap days\n", "child = joint(sexes, days) # Probability distribution for one child family\n", "two_kids_L = joint(child, child) # Probability distribution for two-child family" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Let's check out these last two probability distributions:" ] }, { "cell_type": "code", "execution_count": 48, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{'BL': 0.00035249828884325804,\n", " 'BN': 0.5146475017111568,\n", " 'GL': 0.0003319644079397673,\n", " 'GN': 0.48466803559206023}" ] }, "execution_count": 48, "metadata": {}, "output_type": "execute_result" } ], "source": [ "child" ] }, { "cell_type": "code", "execution_count": 49, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{'BLBL': 1.2425504363742495e-07,\n", " 'BLBN': 0.00018141236371064045,\n", " 'BLGL': 1.170168857556332e-07,\n", " 'BLGN': 0.0001708446532032245,\n", " 'BNBL': 0.00018141236371064045,\n", " 'BNBN': 0.26486205101753507,\n", " 'BNGL': 0.00017084465320322452,\n", " 'BNGN': 0.24943319367670777,\n", " 'GLBL': 1.170168857556332e-07,\n", " 'GLBN': 0.00017084465320322452,\n", " 'GLGL': 1.102003681388002e-07,\n", " 'GLGN': 0.0001608925374826483,\n", " 'GNBL': 0.0001708446532032245,\n", " 'GNBN': 0.24943319367670777,\n", " 'GNGL': 0.0001608925374826483,\n", " 'GNGN': 0.2349031047246665}" ] }, "execution_count": 49, "metadata": {}, "output_type": "execute_result" } ], "source": [ "two_kids_L" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now we can solve the problem. Since \"boy born on a leap day\" applies to so few children, we expect the probability of two boys to be just ever so slightly below the baseline rate for boys, 51.5%." ] }, { "cell_type": "code", "execution_count": 50, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "0.5149145040963756" ] }, "execution_count": 50, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Child Problem 4: Probability of 2 boys, given two kids, one of which is born on leap day.\n", "\n", "P(two_boys, two_kids_L & t('BL'))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "# The St. Petersburg Paradox\n", "\n", "The [St. Petersburg paradox](https://en.wikipedia.org/wiki/St._Petersburg_paradox) was invented in 1713, named for the home town of the [Bernoullis](http://www.storyofmathematics.com/18th_bernoulli.html), and introduced by [Daniel Bernoulli](), the nephew of Jacob Bernoulli (the urn guy):\n", "\n", "> *A casino offers a game of chance for a single player in which a fair coin is tossed at each stage. The pot starts at 2 dollars and is doubled every time a head appears. The first time a tail appears, the game ends and the player wins whatever is in the pot. Thus the player wins 2 dollars if a tail appears on the first toss, 4 dollars if a head appears on the first toss and a tail on the second, etc. What is the expected value of this game to the player?*\n", "\n", "To calculate the expected value, we see there is a 1/2 chance of a tail on the first toss (yielding a pot of \\$2) and if not that, a 1/2 × 1/2 = 1/4 chance of a tail on the second toss (yielding a pot of \\$4), and so on. So in total, the expected value is:\n", "\n", "$$\\frac{1}{2}\\cdot 2 + \\frac{1}{4}\\cdot 4 + \\frac{1}{8}\\cdot 8 + \\frac{1}{16} \\cdot 16 + \\cdots = 1 + 1 + 1 + 1 + \\cdots = \\infty$$\n", "\n", "The expected value is infinite! But anyone playing the game would not expect to win an infinite amount; thus the paradox. How can we resolve the paradox?\n", "\n", "## Response 1: Limited Resources\n", "\n", "The first major response to the paradox is that the casino's resources are limited. Once you break their bank, they can't pay out any more, and thus the expected return is finite. Let's create a probability distribution that reflects this reality. We keep doubling the pot and halving the probability of winning the amount in the pot (half because you get the pot on a tail but not a head), until we reach the bank's limit:" ] }, { "cell_type": "code", "execution_count": 51, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def st_pete(limit):\n", " \"Return the probability distribution for the St. Petersburg Paradox with a limited bank.\"\n", " P = {} # The probability distribution\n", " pot = 2 # Amount of money in the pot\n", " pr = 1/2. # Probability that you end up with the amount in pot\n", " while pot < limit:\n", " P[pot] = pr\n", " pot = pot * 2\n", " pr = pr / 2\n", " P[limit] = pr * 2 # pr * 2 because you get limit for heads or tails\n", " return ProbDist(P)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Let's try with the casino limited to 100 million dollars:" ] }, { "cell_type": "code", "execution_count": 52, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "{2: 0.5,\n", " 4: 0.25,\n", " 8: 0.125,\n", " 16: 0.0625,\n", " 32: 0.03125,\n", " 64: 0.015625,\n", " 128: 0.0078125,\n", " 256: 0.00390625,\n", " 512: 0.001953125,\n", " 1024: 0.0009765625,\n", " 2048: 0.00048828125,\n", " 4096: 0.000244140625,\n", " 8192: 0.0001220703125,\n", " 16384: 6.103515625e-05,\n", " 32768: 3.0517578125e-05,\n", " 65536: 1.52587890625e-05,\n", " 131072: 7.62939453125e-06,\n", " 262144: 3.814697265625e-06,\n", " 524288: 1.9073486328125e-06,\n", " 1048576: 9.5367431640625e-07,\n", " 2097152: 4.76837158203125e-07,\n", " 4194304: 2.384185791015625e-07,\n", " 8388608: 1.1920928955078125e-07,\n", " 16777216: 5.960464477539063e-08,\n", " 33554432: 2.9802322387695312e-08,\n", " 67108864: 1.4901161193847656e-08,\n", " 100000000: 1.4901161193847656e-08}" ] }, "execution_count": 52, "metadata": {}, "output_type": "execute_result" } ], "source": [ "StP = st_pete(limit=10**8)\n", "StP" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now we define the function EV to compute the [expected value](https://en.wikipedia.org/wiki/Expected_value) of a probability distribution: " ] }, { "cell_type": "code", "execution_count": 53, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def EV(P):\n", " \"The expected value of a probability distribution.\"\n", " return sum(P[v] * v \n", " for v in P)" ] }, { "cell_type": "code", "execution_count": 54, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "27.490116119384766" ] }, "execution_count": 54, "metadata": {}, "output_type": "execute_result" } ], "source": [ "EV(StP)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "This says that for a casino with a bankroll of 100 million dollars, if you want to maximize your expected value, you should be willing to pay up to \\$27.49 to play the game. Would you pay that much? I wouldn't, and neither would Daniel Bernoulli. \n", "\n", "## Response 2: Value of Money\n", "\n", "Daniel Bernoulli came up with a second response to the paradox based on the idea that if you have a lot of money, then additional money becomes less valuable to you. If I had nothing, and I won \\$1000, I would be very happy. But if I already had a million dollars and I won \\$1000, it would be less valuable. How much less valuable? Bernoulli proposed, and [experiments confirm](https://books.google.com/books?id=1oEa-BiARWUC&pg=PA205&lpg=PA205&dq=mr+beard+oil+wildcatter+value+of+money+utility&source=bl&ots=cBDIX-rkTz&sig=GHB8-inorWrU39vA8JYV_sCtqB8&hl=en&sa=X&ved=0CCAQ6AEwAGoVChMI5fu-p8qlyAIViKWICh0XAAz5#v=onepage&q=mr%20beard%20oil%20wildcatter%20value%20of%20money%20utility&f=false), that *the value of money is roughly logarithmic.* That is, rational bettors don't try to maximize their expected monetary value, they try to maximize their *expected utility*: the amount of \"happiness\" that the money is worth.\n", "I'll write the function util to describe what a dollar amount is worth to a hypothetical gambler. util says that a dollar is worth a dollar, until the amount is \"enough\" money. After that point, each additional dollar is worth half as much (only brings half as much happiness). Value keeps accumulating at this rate until we reach the next threshold of \"enough,\" when the utility of additional dollars is halfed again. The exact details of util are not critical; what matters is that overall money becomes less valuable after we have won a lot of it." ] }, { "cell_type": "code", "execution_count": 55, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def util(dollars, enough=1000): \n", " \"The value of money: only half as valuable after you already have enough.\"\n", " if dollars < enough:\n", " return dollars\n", " else:\n", " additional = dollars-enough\n", " return enough + util(additional / 2, enough * 2)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "A table and a plot will give a feel for the util function. Notice the characterisitc concave-down shape of the plot." ] }, { "cell_type": "code", "execution_count": 56, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ " 100$ = 100 util\n", " 1,000 $= 1,000 util\n", " 10,000$ = 4,250 util\n", " 100,000 $= 15,937 util\n", " 1,000,000$ = 51,593 util\n" ] } ], "source": [ "for d in range(2, 7):\n", " m = 10 ** d\n", " print('{:15,d} $= {:6,d} util'.format(m, int(util(m))))" ] }, { "cell_type": "code", "execution_count": 57, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Y axis is util(x); x axis is in thousands of dollars.\n" ] }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAZcAAAEACAYAAAB/BTv2AAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3X+0VXWd//HnCxDJURFS0ACVEvJHkaKSP/OqhWIoVoow\npWjYjKlLq7VKmNUk39VMpWs5Mo4/0sYS0A4ipjKKCIo3tUBQVEgFSRMB8RoSmj8G+fH+/vHZeI/M\nhXOAw93n3PN6rMVy3w97n/ve2wsvPp/P/uytiMDMzKyS2uVdgJmZtT0OFzMzqziHi5mZVZzDxczM\nKs7hYmZmFedwMTOziisrXCR1lnSXpBclPS/pi5K6SJouaZGkhyR1Ltp/tKTF2f4Di9r7S5ov6SVJ\nY4vaO0qamB0zS9K+lT1NMzNrTeX2XP4TmBoRBwFfABYCo4CHI+KzwExgNICkg4GhwEHAIOBGSco+\n5yZgZET0BfpKOiVrHwmsiog+wFjg6u0+MzMzy03JcJG0O3B8RPwGICLWRcTbwBBgXLbbOODMbPsM\nYGK236vAYmCApL2B3SJibrbf+KJjij9rMnDydp2VmZnlqpyeS29gpaTfSJon6RZJuwDdI6IJICLe\nALpl+/cAlhYdvzxr6wEsK2pflrV97JiIWA+sltR1G8/JzMxyVk64dAD6AzdERH/gPdKQ2KbPjank\nc2RUehczM6tWHcrYZxmwNCKeyr6+mxQuTZK6R0RTNuT1Zvb7y4FeRcf3zNo21158zOuS2gO7R8Sq\nTQuR5AehmZltg4ho1X+0l+y5ZENfSyX1zZpOBp4HpgDnZ20jgPuy7SnAsOwOsN7AAcCcbOjsbUkD\nsgn+8zY5ZkS2fTbpBoHN1eNfEVx55ZW511Atv3wtfC18Lbb8Kw/l9FwALgPukLQT8ApwAdAemCTp\n28AS0h1iRMQLkiYBLwBrgYuj+ewuAW4DOpHuPpuWtd8KTJC0GHgLGLa9J2ZmZvkpK1wi4jngyBZ+\n68ub2f/nwM9baH8a+HwL7WvIwsnMzGqfV+jXqIaGhrxLqBq+Fs18LZr5WuRLeY3HbQtJUUv1mplV\nA0lEtU3om5mZbS2Hi5mZVZzDxczMKs7hYmZmFedwMTOzinO4mJlZxTlczMys4hwuZmZWcQ4XMzOr\nOIeLmZlVnMPFzMwqzuFiZmYV53AxM7OKc7iYmVnFOVzMzKziHC5mZlZxDhczM6s4h4uZmVWcw8XM\nzCrO4WJmZhXncDEzs4pzuJiZWcU5XMzMrOIcLmZmVnEOFzMzqziHi5lZG/LnP8NPfwpz5+ZbR1nh\nIulVSc9JekbSnKyti6TpkhZJekhS56L9R0taLOlFSQOL2vtLmi/pJUlji9o7SpqYHTNL0r6VPEkz\ns7Zs+XL4j/+AI4+E446Dv/4VOncufdyOVG7PZQPQEBGHRcSArG0U8HBEfBaYCYwGkHQwMBQ4CBgE\n3ChJ2TE3ASMjoi/QV9IpWftIYFVE9AHGAldv53mZmbVpK1fCL38JJ5wA/frB88/Dz38Oy5bBdddB\n37751lduuKiFfYcA47LtccCZ2fYZwMSIWBcRrwKLgQGS9gZ2i4iNnbXxRccUf9Zk4OStOQkzs3rw\n97/DhAkwaBB85jPQ2Ag/+AG8/jrceit8+cvQoUPeVSbllhHADEnrgZsj4r+B7hHRBBARb0jqlu3b\nA5hVdOzyrG0dsKyofVnWvvGYpdlnrZe0WlLXiFi1LSdlZtZWfPABTJ0KhQLMmAFf+hKcey7cdRfs\numve1W1eueFybESskLQXMF3SIlLgFNv06+2h0ruYmbVNa9fCI4+kQJkyBfr3h+HD4ZZboGvXvKsr\nT1nhEhErsv/+VdK9wACgSVL3iGjKhrzezHZfDvQqOrxn1ra59uJjXpfUHth9c72WMWPGfLTd0NBA\nQ0NDOadgZlbVNmyAP/whBcrkyfDpT6dA+cUvYJ99tu6zGhsbaWxs3CF1lksRW+5wSNoFaBcR70r6\nB2A68P9I8yKrIuIqSVcAXSJiVDahfwfwRdJw1wygT0SEpNnAZcBc4AHguoiYJuli4HMRcbGkYcCZ\nETGshVqiVL1mZrUiAubNg4kT068uXVKgnHNOCpdKkUREtOqIUDk9l+7APZIi2/+OiJgu6SlgkqRv\nA0tId4gRES9ImgS8AKwFLi5KhEuA24BOwNSImJa13wpMkLQYeAv4P8FiZtZWLFyYeiiFAqxfnwJl\n2jQ45JC8K6uckj2XauKei5nVqtdeS72TQgGamlLvZPjwtDZFO7hPkUfPxeFiZraDNDWlu7oKBVi0\nCL7+9RQoX/oStG/fenU4XEpwuJhZtVu9Gu65JwXKnDkweHAKlK98BTp2zKcmh0sJDhczq0bvvw/3\n358CZeZMOOmkFCiDB8Muu+RdncOlJIeLmVWLDz9MixoLBXjgARgwAIYNg699DfbYI+/qPs7hUoLD\nxczytH49PPZYCpTf/Q4OPDD1UM4+G7p1K318Xqr1VmQzs7oVkR5fXyjAnXdC9+4pUJ5+GvbbL+/q\nqpfDxcysBX/6UwqUiRPTnV3Dh6f5lAMPzLuy2uBwMTPLvPJK81qU1avTHMpdd8Fhh+34tShtjedc\nzKyurVgBkyalQHnlFTjrrNRLOfZYaNdG3tXrCf0SHC5mVgmrVqUJ+UIBnnkGzjgj9VJOPhl22inv\n6irP4VKCw8XMttW776bH1xcK6Y6vgQNTD+W006BTp7yr27EcLiU4XMxsa6xZkx4IWSjAgw+moa7h\nw2HIENh997yraz0OlxIcLmZWyrp18OijKVDuvRc+//kUKGedBXvumXd1+XC4lOBwMbOWRMCsWSlQ\n7roLevVKcyjnnAM9e+ZdXf68iNLMrEwRMH9+81qUXXZJPZTHH4c+ffKuzhwuZlZTFi9uXovy/vup\nh3LffdCvn9eiVBMPi5lZ1Vu2LD16pVBI20OHpl7KUUc5UMrhOZcSHC5m9WPlSpg8OQXKggXpacPD\nh0NDA3TwmMtWcbiU4HAxa9veeSfd4VUowB//CIMGpUA59VTYeee8q6tdDpcSHC5mbc8HH8DUqSlQ\nZsyAE05IgXL66bDrrnlX1zY4XEpwuJi1DWvXwiOPpECZMgX690+B8vWvQ9eueVfX9jhcSnC4mNWu\nDRvgiSfSnV6TJ8NnPtP8oq199sm7urbN61zMrE2JgHnzml+01aVLCpQnn4TevfOuznYkh4uZVdzC\nhc2LG9etS4EybRocckjelVlrcbiYWUUsWdK8uPHNN9OjVyZMgCOP9FqUeuQ5FzPbZk1N6VlehQIs\nWgTf+EZaMf+lL6VXA1t18IR+CQ4Xs/ytXp3Wovz2tzBnDgwenAJl4EDo2DHv6qwlDpcSHC5m+Xj/\nfbj//tRDmTkTTjopzaMMHpweGGnVzeFSgsPFrPV8+GFa1FgopGAZMCAFyte+BnvskXd1tjXyCJd2\n5e4oqZ2keZKmZF93kTRd0iJJD0nqXLTvaEmLJb0oaWBRe39J8yW9JGlsUXtHSROzY2ZJ2rdSJ2hm\n5Vu/Pr1o65/+CT71KfjZz9LDIRctgunT4YILHCxWnrLDBbgceKHo61HAwxHxWWAmMBpA0sHAUOAg\nYBBwo/TRvSI3ASMjoi/QV9IpWftIYFVE9AHGAldv4/mY2VaKSOtOvve99JKtH/wADjgAnn4a/vAH\nuPRS6N497yqt1pQVLpJ6AqcB/13UPAQYl22PA87Mts8AJkbEuoh4FVgMDJC0N7BbRMzN9htfdEzx\nZ00GTt76UzGzrfGnP8GPf5xerHXuudC5c5pPeeYZ+NGPYL/98q7Qalm561yuBX4IdC5q6x4RTQAR\n8Yakbll7D2BW0X7Ls7Z1wLKi9mVZ+8ZjlmaftV7SakldI2LV1pyMmW3ZK680r0VZvTrd5XXnnenZ\nXl6LYpVUMlwkfRVoiohnJTVsYddKzrRv9sd8zJgxH203NDTQ0NBQwW9r1vasWAGTJqVAeeUVOOss\nuPFGOPZYaLc1A+NWMxobG2lsbMy1hpJ3i0n6GfAtUs/jE8BuwD3AEUBDRDRlQ16PRsRBkkYBERFX\nZcdPA64ElmzcJ2sfBpwQEd/duE9EPCmpPbAiIrptUorvFjMr06pV8LvfpUCZNw/OOCPd6XXyybDT\nTnlXZ62tKu8Wi4h/iYh9I+LTwDBgZkScC/wPcH622wjgvmx7CjAsuwOsN3AAMCci3gDeljQgm+A/\nb5NjRmTbZ5NuEDCzrfDuu2lh4+mnp4dCTpsGl1ySei7jxqUXbjlYrLVsz7PFfgFMkvRtUq9kKEBE\nvCBpEunOsrXAxUXdjUuA24BOwNSImJa13wpMkLQYeIsUYmZWwpo1KUQKBXjwwTTUNXw43HEH7L57\n3tVZPfMiSrMas3EtSqEA99wDn/98CpSzzoI998y7OqtGXqFfgsPF6lUEzJqV7vS66y7o2TMFytCh\nadtsS/yyMDP7SATMn9/8XpRddkmB8thjaW2KWTVzuJhVmcWLm9eivP9+Woty333Qr5/Xoljt8LCY\nWRVYtiwtZiwU0vbZZ6deytFHO1Bs+3nOpQSHi7UlK1fC5MkpUBYsSE8bHj4cGhqgg8cUrIIcLiU4\nXKzW/f3v6UVbhUJ6KOSgQSlQTj0Vdt457+qsrXK4lOBwsVr0wQcwdWqaR5k+HU44IQXK6afDrrvm\nXZ3VA4dLCQ4XqxVr18Ijj6QeypQp6cGQw4fD178OXbvmXZ3VG4dLCQ4Xq2YbNqShrkIhzaV8+tPN\na1H22Sfv6qyeeZ2LWY2JSA+GLBTS3V5duqRbh2fPTuFiVq8cLmbbYOHCFCiFQnocy/Dh6RlfhxyS\nd2Vm1cHhYlam115rXtzY1ATnnAO33w5HHum1KGab8pyL2RY0NaVneRUKsGgRfOMbqZdy/PHQvn3e\n1ZmVxxP6JThcrDWsXp2eNlwowJw5MHhwCpSvfAU6dsy7OrOt53ApweFiO8r778P996dAmTkTTjop\nBcrgwemBkWa1zOFSgsPFKunDD9OixkIBHngABgxIgfK1r8Eee+RdnVnlOFxKcLjY9lq/Pj2yvlBI\n75g/8MDmF2117553dWY7hte5mO0AETB3bgqUSZOgW7cUKE8/Dfvtl3d1Zm2Tw8XarOefb37RVvv2\naXHjI4+k3oqZ7VgOF2tT/vKX5sWNq1entSiTJsFhh3ktillr8pyL1bwVK1KAFArw8stp/mT4cDju\nOGjXLu/qzPLnCf0SHC620apVcPfdKVCeeQaGDEnDXiefDDvtlHd1ZtXF4VKCw6W+vftuenx9oZDu\n+Bo4MPVQTjsNOnXKuzqz6uVwKcHhUn/WrEkPhCwU0n+POSYFypAhsPvueVdnVhscLiU4XOrDunXw\n6KMpUO69F/r1S4HyjW/AnnvmXZ1Z7XG4lOBwabsiYNasFCh33QW9ejW/aKtnz7yrM6ttXkRpdSUC\n5s9vXouyyy5pUv7xx6FPn7yrM7Pt4XCxVrd4cfNalA8+SIFy331p+MtrUczahpKrACTtLOlJSc9I\nWiDpyqy9i6TpkhZJekhS56JjRktaLOlFSQOL2vtLmi/pJUlji9o7SpqYHTNL0r6VPlHL3zvvwMiR\naf3JypXw61+nRY+/+AV84QsOFrO2pGS4RMQa4MSIOAw4FBgkaQAwCng4Ij4LzARGA0g6GBgKHAQM\nAm6UPvpr4yZgZET0BfpKOiVrHwmsiog+wFjg6kqdoFWHxx+HQw9Nj2F5+WW47jo4+mgHillbVdb6\n5Yh4P9vcmTSUFsAQYFzWPg44M9s+A5gYEesi4lVgMTBA0t7AbhExN9tvfNExxZ81GTh5m87Gqs6a\nNXDFFekxLNddB7fcArvumndVZrajlRUuktpJegZ4A5iRBUT3iGgCiIg3gG7Z7j2ApUWHL8/aegDL\nitqXZW0fOyYi1gOrJXXdpjOyqrFgQXpHyksvwbPPphdvmVl9KGtCPyI2AIdJ2h24R9IhpN7Lx3ar\nYF2bHSwZM2bMR9sNDQ00NDRU8NtaJWzYANdem+ZSrr4azj/fw19mramxsZHGxsZca9jqdS6S/hV4\nH7gQaIiIpmzI69GIOEjSKCAi4qps/2nAlcCSjftk7cOAEyLiuxv3iYgnJbUHVkREtxa+t9e5VLkl\nS2DEiPRSrvHjoXfvvCsyszzWuZRzt9ieG+8Ek/QJ4CvAi8AU4PxstxHAfdn2FGBYdgdYb+AAYE42\ndPa2pAHZBP95mxwzIts+m3SDgNWQiBQmRxwBgwZBY6ODxayelTMstg8wTlI7UhjdGRFTJc0GJkn6\nNqlXMhQgIl6QNAl4AVgLXFzU3bgEuA3oBEyNiGlZ+63ABEmLgbeAYRU5O2sVK1fCRRfBwoUwY0a6\nK8zM6psf/2Lb5cEH4cIL00LIf/93P53YrBr58S9WM957D374Q3jgAbj9djjxxLwrMrNq4vf02VZ7\n8sn02uB334XnnnOwmNn/5Z6LlW3tWvi3f4Nf/hJuuCG9TtjMrCUOFyvLwoXwrW9Bt25pQeQ+++Rd\nkZlVMw+L2RZt2ADXXw/HH58m7h94wMFiZqW552KbtXw5XHBBeprxH//od6yYWfncc7EW3Xkn9O+f\neixPPOFgMbOt456Lfczf/gaXXgpPP52GwI44Iu+KzKwWuediH3n44fTSrk9+EubNc7CY2bZzz8X4\n4AMYPRomT05vhxw4sPQxZmZb4p5LnZs3Dw4/HFasgPnzHSxmVhkOlzq1fj387Gdw6qnw4x/DxInQ\n1a9nM7MK8bBYHXr5ZTj3XPjEJ9LEfa9eeVdkZm2Ney51JAJ+9Ss46qj0TvsZMxwsZrZjuOdSJ5qa\n0gr75cvh97+Hgw/OuyIza8vcc6kD996bXuDVrx/Mnu1gMbMdzz2XNuydd+B734PHHoO774Zjjsm7\nIjOrF+65tFGPP54WRHbokJ5i7GAxs9bknksbs2YNXHkljB8Pt9wCgwfnXZGZ1SOHSxuyYEF650rv\n3ukNkXvtlXdFZlavPCzWBmzYANdcAyedlOZY7rnHwWJm+XLPpcYtWQIjRqQV93PmpF6LmVne3HOp\nURFpXuWII2DQIGhsdLCYWfVwz6UGvfUWXHRReq/9jBlpDYuZWTVxz6XGPPhgWgy5774wd66Dxcyq\nk3suNeK99+CHP0xvh7z9djjxxLwrMjPbPPdcasCTT8Jhh8G776Z3rjhYzKzauedSxdauhZ/+FG6+\nGW64Ac46K++KzMzKU7LnIqmnpJmSnpe0QNJlWXsXSdMlLZL0kKTORceMlrRY0ouSBha195c0X9JL\nksYWtXeUNDE7ZpakfSt9orVm4cL0yJannkqPb3GwmFktKWdYbB3wg4g4BDgauETSgcAo4OGI+Cww\nExgNIOlgYChwEDAIuFGSss+6CRgZEX2BvpJOydpHAqsiog8wFri6ImdXgzZsgP/6LzjuOPj2t9Mc\nyz775F2VmdnWKTksFhFvAG9k2+9KehHoCQwBTsh2Gwc0kgLnDGBiRKwDXpW0GBggaQmwW0TMzY4Z\nD5wJPJR91pVZ+2Tg+u0/tdqzfDlccEF6mvGsWdCnT94VmZltm62a0Je0P3AoMBvoHhFN8FEAdct2\n6wEsLTpsedbWA1hW1L4sa/vYMRGxHlgtqa7e6H7nndC/f+qxPPGEg8XMalvZE/qSdiX1Ki7PejCx\nyS6bfr09tLnfGDNmzEfbDQ0NNDQ0VPDbtr6//Q0uvTS9y/7+++HII/OuyMxqXWNjI42NjbnWoIjS\nmSCpA3A/8GBE/GfW9iLQEBFNkvYGHo2IgySNAiIirsr2m0Ya8lqycZ+sfRhwQkR8d+M+EfGkpPbA\niojo1kIdUU69teLhh9Mw2JAhcPXVsMsueVdkZm2RJCJis/9o3xHKHRb7NfDCxmDJTAHOz7ZHAPcV\ntQ/L7gDrDRwAzMmGzt6WNCCb4D9vk2NGZNtnk24QaLM++CA9vfj88+HWW+H66x0sZta2lOy5SDoW\neAxYQBr6CuBfgDnAJKAXqVcyNCJWZ8eMJt0BtpY0jDY9az8cuA3oBEyNiMuz9p2BCcBhwFvAsIh4\ntYVaar7n8swz6Z0rn/sc3HQTdK2rmSUzy0MePZeyhsWqRS2Hy7p1aehr7Fi49lr4x38Eter/ajOr\nV3mEi1fot4KXX4bzzoNOndLEfa9eeVdkZrZj+dliO1AE/OpXcNRRcPbZ6fH4DhYzqwfuuewgTU1w\n4YVpYeTvfw8HH5x3RWZmrcc9lx3g3nvTe1b69YPZsx0sZlZ/3HOpoHfeSbcYP/YY3H13evCkmVk9\ncs+lQh5/PPVWOnRITzF2sJhZPXPPZTutWQM/+QlMmJDeu3L66XlXZGaWP4fLdliwIC2I7N0bnnsO\n9tor74rMzKqDh8W2wYYNcM01cNJJcPnlcM89DhYzs2LuuWylJUvSM8HWrYM5c1KvxczMPs49lzJF\nwPjxcMQRcOqp0NjoYDEz2xz3XMqwciVcdBEsWpRW2R96aN4VmZlVN/dcSnj+eTjsMNh/f5g718Fi\nZlYO91y24Lnn0hDYNdekpxibmVl5HC6b8dRT8NWvwg03wFln5V2NmVltcbi04Nln4bTT0hONhwzJ\nuxozs9rjl4Vt4r334PDD4V//Fb75zR36rczMWoXfRFlCa4TLd74DH34I48bt0G9jZtZq/CbKnE2e\nDI8+mt5zb2Zm2849l8zSpWmB5P33w5FH7pBvYWaWizx6Ll7nAqxfnx5A+f3vO1jMzCrB4QL8/Ofp\nPSw/+lHelZiZtQ11P+cyaxZcfz08/TS0c9SamVVEXf91+vbb6Xbjm2+GHj3yrsbMrO2o2wn9iDTP\n0rkz3HhjRT7SzKwq+VbkVnT77emW46eeyrsSM7O2py57Ln/+Mxx9NDzyCPTrV4HCzMyqmG9FbgVr\n16YnHP/kJw4WM7MdpWS4SLpVUpOk+UVtXSRNl7RI0kOSOhf93mhJiyW9KGlgUXt/SfMlvSRpbFF7\nR0kTs2NmSdq3kie4qZ/8JL3v/tJLd+R3MTOrb+X0XH4DnLJJ2yjg4Yj4LDATGA0g6WBgKHAQMAi4\nUdLGrthNwMiI6Av0lbTxM0cCqyKiDzAWuHo7zmeLZs5Mryr+zW9ArdpBNDOrLyXDJSKeAP62SfMQ\nYOOjHccBZ2bbZwATI2JdRLwKLAYGSNob2C0i5mb7jS86pvizJgMnb8N5lPTWWzBiRAqWbt12xHcw\nM7ONtnXOpVtENAFExBvAxr+uewBLi/ZbnrX1AJYVtS/L2j52TESsB1ZL6rqNdbUoAkaOhHPOgYED\nS+9vZmbbp1K3IlfylrOKD1jdfDO89hrceWelP9nMzFqyreHSJKl7RDRlQ15vZu3LgV5F+/XM2jbX\nXnzM65LaA7tHxKrNfeMxY8Z8tN3Q0EBDQ8MWC33++fTiryeegJ13LuPMzMxqXGNjI42NjbnWUNY6\nF0n7A/8TEZ/Pvr6KNAl/laQrgC4RMSqb0L8D+CJpuGsG0CciQtJs4DJgLvAAcF1ETJN0MfC5iLhY\n0jDgzIgYtpk6tmqdy//+LwwYAJddBhdeWPZhZmZtSlW+iVLSb4EG4JNAE3AlcC9wF6nHsQQYGhGr\ns/1Hk+4AWwtcHhHTs/bDgduATsDUiLg8a98ZmAAcBrwFDMtuBmiplq0Kl8svh9dfh0mTfHeYmdWv\nqgyXarI14fLAA3DxxfDss9Clyw4uzMysivnZYhWyYkUaBps0ycFiZpaHNvf4lw0b4Pzz4TvfgeOP\nz7saM7P61ObC5dpr4e9/T495MTOzfLSpOZd58+CUU2DOHOjduxULMzOrYn4q8nZ47z0YPhyuu87B\nYmaWtzbTc/nOd+DDD2HcuBZ/28ysbvlusW304IPw6KPpzZJmZpa/NjEs9stfpgn83XbLuxIzM4M2\nMCy2ciUccAAsXepwMTNriSf0t8GkSXDaaQ4WM7NqUvPhcvvt8K1v5V2FmZkVq+lhsZdfhmOOgeXL\noUObuDXBzKzyPCy2le64A4YNc7CYmVWbmv1rOSINid1xR96VmJnZpmq25zJ3bnpHyxFH5F2JmZlt\nqmbDZcKENJHvl4CZmVWfmhwWi4ApU2DatLwrMTOzltRkz+Uvf0nPETvwwLwrMTOzltRkuMycCSed\n5CExM7NqVZPh8uijKVzMzKw61dwiyg0bgk99Cv74R7+3xcysHF5EWYaFC6FTJweLmVk1q7lwmTkT\nTjwx7yrMzGxLajJcPN9iZlbdam7O5ZOfDJ57Dnr0yLsaM7Pa4DmXMuy5p4PFzKza1Vy4eEjMzKz6\n1Vy4eDLfzKz6VU24SDpV0kJJL0m6YnP7NTS0YlFmZrZNqiJcJLUDrgdOAQ4Bhktq8clhe+3VmpVV\nr8bGxrxLqBq+Fs18LZr5WuSrKsIFGAAsjoglEbEWmAgMybmmquY/OM18LZr5WjTztchXtYRLD2Bp\n0dfLsjYzM6tB1RIuZmbWhlTFIkpJRwFjIuLU7OtRQETEVZvsl3+xZmY1qLUXUVZLuLQHFgEnAyuA\nOcDwiHgx18LMzGybVMVrjiNivaRLgemkobpbHSxmZrWrKnouZmbWttTMhH65iyyrnaSekmZKel7S\nAkmXZe1dJE2XtEjSQ5I6Fx0zWtJiSS9KGljU3l/S/OyajC1q7yhpYnbMLEn7Fv3eiGz/RZLOa63z\n3hxJ7STNkzQl+7ourwOApM6S7srO73lJX6zH6yHp+5L+lJ3DHVnddXMdJN0qqUnS/KK2XM9f0v6S\nZme/V5BUetQrIqr+FykE/wzsB+wEPAscmHdd23guewOHZtu7kuaaDgSuAn6UtV8B/CLbPhh4hjSE\nuX92HTb2OJ8Ejsy2pwKnZNvfBW7Mts8BJmbbXYCXgc7AHhu3c74e3wduB6ZkX9fldcjqug24INvu\nkNVXV9cD+BTwCtAx+/pOYEQ9XQfgOOBQYH5RW67nn/1/ODvbvgn455LnkfcfqDIv9lHAg0VfjwKu\nyLuuCp3bvcCXgYVA96xtb2BhS+cKPAh8MdvnhaL2YcBN2fY04IvZdnvgzU33KfohOSfHc+8JzAAa\naA6XursOWQ27Ay+30F5X14MULkuyv+g6AFPq8c8H6R/SxeGS6/kDfwXaZdtHAdNKnUOtDIu1yUWW\nkvYn/QugygxZAAACdklEQVRlNukHpwkgIt4AumW7bXruy7O2HqTrsFHxNfnomIhYD7wtqesWPisv\n1wI/BIon/urxOgD0BlZK+k02THiLpF2os+sREa8D1wCvZXW8HREPU2fXoQXd8jp/SZ8E/hYRG4o+\n61OlCq6VcGlzJO0KTAYuj4h3+fhfsLTw9XZ9uwp+VkVI+irQFBHPsuX62vR1KNIB6A/cEBH9gfdI\n/yqtt5+LPUiPftqP9BfYP0j6JnV2HcrQ2ue/1deoVsJlObBv0dc9s7aalE2GTQYmRMR9WXOTpO7Z\n7+8NvJm1Lwd6FR2+8dw31/6xY5TWEO0eEauorut4LHCGpFeAAnCSpAnAG3V2HTZaBiyNiKeyr+8m\nhU29/Vx8GXglIlZl/6q+BziG+rsOm8rt/CPiLaCz0gOGN/2szctjPHEbxh/b0zyh35E0oX9Q3nVt\nx/mMB/5jk7aryMZOaXnCriNp6KR4wm426aGfIk3YnZq1X0zzhN0wWp6w27i9RxVcjxNonnO5uo6v\nw++Bvtn2ldnPRF39XGR1LwA6ZfXfBlxSh9dhf2BB0de5nj9pQn/j/MtNwEUlzyHvP1BbcbFPJd1Z\ntRgYlXc923EexwLrSQH5DDAvO7euwMPZOU4v/qEGRmc/NC8CA4vaD8/+IC4G/rOofWdgUtY+G9i/\n6PfOz9pfAs7L+3pkNRWHSz1fhy8Ac7Ofjd9lf8jr7nqQgvVFYD4wjnSHaN1cB+C3wOvAGtLc0wWk\nv+xzO39ScD2Ztd8J7FTqPLyI0szMKq5W5lzMzKyGOFzMzKziHC5mZlZxDhczM6s4h4uZmVWcw8XM\nzCrO4WJmZhXncDEzs4r7/4Ft1mlX2Ik+AAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "%matplotlib inline \n", "import matplotlib.pyplot as plt\n", "\n", "X = list(range(1000, 1000000, 10000))\n", "plt.plot(X, [util(x) for x in X])\n", "print('Y axis is util(x); x axis is in thousands of dollars.')" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Now I will define the function EU, which computes the [expected utility](http://wiki.lesswrong.com/wiki/Expected_utility) of the game:" ] }, { "cell_type": "code", "execution_count": 58, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def EU(P, U):\n", " \"The expected utility of a probability distribution, given a utility function.\"\n", " return sum(P[e] * U(e) \n", " for e in P)" ] }, { "cell_type": "code", "execution_count": 59, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "13.096907431492582" ] }, "execution_count": 59, "metadata": {}, "output_type": "execute_result" } ], "source": [ "EU(StP, util)" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "That says we should pay up to \\$13.10 to play the game, which sounds more reasonable than \\$27.49.\n", "\n", "# Understanding St. Petersburg through Simulation\n", "\n", "Before I plunk down my \\$13, I'd like to understand the game better. I'll write a simulation of the game:" ] }, { "cell_type": "code", "execution_count": 60, "metadata": { "button": false, "collapsed": true, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def flip(): return random.choice(('head', 'tail'))\n", "\n", "def simulate_st_pete(limit=10**9):\n", " \"Simulate one round of the St. Petersburg game, and return the payoff.\"\n", " pot = 2\n", " while flip() == 'head':\n", " pot = pot * 2\n", " if pot > limit:\n", " return limit\n", " return pot" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "I will run the simulation 100,000 times (with a random seed specified for reproducability):" ] }, { "cell_type": "code", "execution_count": 61, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "Counter({2: 49755,\n", " 4: 25060,\n", " 8: 12590,\n", " 16: 6322,\n", " 32: 3151,\n", " 64: 1607,\n", " 128: 751,\n", " 256: 370,\n", " 512: 191,\n", " 1024: 106,\n", " 2048: 45,\n", " 4096: 29,\n", " 8192: 10,\n", " 16384: 6,\n", " 32768: 5,\n", " 65536: 1,\n", " 1048576: 1})" ] }, "execution_count": 61, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from collections import Counter\n", "\n", "random.seed(123456)\n", "\n", "c = Counter(simulate_st_pete() for _ in range(100000))\n", "c" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "The results are about what you would expect: about half the pots are 2, a quarter are 4, an eighth are 8, and higher pots are more and more unlikely. Let's check expected utility and expected value:" ] }, { "cell_type": "code", "execution_count": 62, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "text/plain": [ "(13.2477575, 26.71606)" ] }, "execution_count": 62, "metadata": {}, "output_type": "execute_result" } ], "source": [ "results = ProbDist(c)\n", "\n", "EU(results, util), float(EV(results))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "These are not too far off from the theoretial values.\n", "\n", "To see better how things unfold, I will define a function to plot the running average of repeated rounds:" ] }, { "cell_type": "code", "execution_count": 63, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [], "source": [ "def running_averages(iterable):\n", " \"For each element in the iterable, yield the mean of all elements seen so far.\" \n", " total, n = 0, 0\n", " for x in iterable:\n", " total, n = total + x, n + 1\n", " yield total / n\n", "\n", "def plot_running_averages(fn, n):\n", " \"Plot the running average of calling the function n times.\"\n", " plt.plot(list(running_averages(fn() for _ in range(n))))" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "Let's do ten repetitions of plotting the running averages of 100,000 rounds:" ] }, { "cell_type": "code", "execution_count": 64, "metadata": { "button": false, "collapsed": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYcAAAEACAYAAABYq7oeAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3Xd4VFX++PH3mZ5JT0ghvRACJPQiIEpEUMSOrt1V2bWs\n9bera/nqKu66qOiurqvrsurade1dFFCDDUQIvRMgPSGF9Ew/vz9OAkjoKZOE83qeeTJzM3fumUnm\nfu75nCaklGiapmnavgz+LoCmaZrW8+jgoGmaprWjg4OmaZrWjg4OmqZpWjs6OGiapmnt6OCgaZqm\ntXPY4CCEeEEIUSGEWLPPtrlCiI1CiFVCiPeEECH7/O4eIcTW1t+f1lUF1zRN07rOkdQcXgRO32/b\nAiBLSjkC2ArcAyCEGAJcBAwGzgD+JYQQnVdcTdM0rTscNjhIKb8Hdu+3bZGU0tf6cCmQ0Hr/HOB/\nUkqPlHInKnCM67ziapqmad2hM9ocZgGft96PB4r2+V1J6zZN0zStF+lQcBBC3Au4pZRvdlJ5NE3T\ntB7AdKw7CiGuBmYAU/bZXAIk7vM4oXXbgfbXkzppmqYdAylll7flHmnNQbTe1AMhpgN/BM6RUjr3\ned7HwCVCCIsQIhUYACw72ItKKfVNSh544AG/l6Gn3PRnoT8L/Vkc+tZdDltzEEK8AeQAkUKIQuAB\n4P8AC7CwtTPSUinljVLKDUKIt4ENgBu4UXbnu9E0TdM6xWGDg5TysgNsfvEQz38YeLgjhdI0TdP8\nS4+Q7gFycnL8XYQeQ38We+nPYi/9WXQ/4a+sjxBCZ5w0TdOOkhAC2YMapDVN07TjiA4OmqZpWjs6\nOGiapmnt6OCgaZqmtaODg6ZpmtaODg6apmlaOzo4aJqmae3o4KBpmqa1o4ODpmma1o4ODpqmaVo7\nOjhomqZp7ejgoGmaprWjg4OmaZrWjg4OmqZpWjs6OGiapnWAy+ej2OHwdzE6nQ4OmqZpHTC/pobE\npUv5w7ZtFPahIKGDg6ZpWgd4pGRSaCglTifJS5dyw+bNfaImoYODpmlaB0WbzbyVlUXlxIlIIHnp\nUh4rLKTR4/F30Y6ZDg6apmmdpJ/FwrzMTDaMG8cHVVUEf/89jxQU4PB6/V20o6aDg6ZpWifLtNv5\ncdQoto4bx08NDaT/9BPPlpQgpfR30Y6YDg6apmldZIDdzgfZ2bw2eDB/Lihg4sqVLK2r83exjogO\nDpqmaV3slPBwSiZM4Ia4OKauXs3UVavY1tzs72Idkg4OmqZp3cAgBFfFxlI2cSJjgoMZn5fHbVu3\nUuVy+btoB6SDg6ZpWjcKNpl4JD2dDePG4ZWSQcuW8XBBAU09rNFaBwdN0zQ/iLZYeHrgQH4cNYpV\njY0kLFnCnIICnD6fv4sG6OCgaZrmVwPtdt7KymLR8OG8U1nJoGXLeLW8HK+fezYdNjgIIV4QQlQI\nIdbssy1cCLFACLFZCPGlECJ0n9/dI4TYKoTYKIQ4rasKrmma1peMDg5m5ZgxvDxoEHOLikhYsoR3\ndu3C56cgcSQ1hxeB0/fbdjewSEqZCXwN3AMghBgCXAQMBs4A/iWEEJ1XXE3TtL7t5LAw1owZw4uZ\nmcwtKmLU8uV8VFXV7WMkDhscpJTfA7v323wu8HLr/ZeB81rvnwP8T0rpkVLuBLYC4zqnqJqmaccH\nIQTTIyNZNmoUD6amcv+OHYzLy+OL6upuK4PpGPeLllJWAEgpy4UQ0a3b44El+zyvpHWbpmmadpSE\nEJzbrx9nR0byXmUlf8jP77ZjH2tw2F/vGROuaZrWyxiE4FfR0cyMiuq0k/bhHOtxKoQQMVLKCiFE\nLLCrdXsJkLjP8xJatx3Q7Nmz99zPyckhJyfnGIujaZrWN+Xm5pKbm9vtxxVH0sghhEgBPpFSDm19\n/ChQI6V8VAhxFxAupby7tUH6deAEVDppIZAhD3AQIcSBNmuapvUq71VW8kZFBe9lZ3fL8YQQSCm7\nvKPPYWsOQog3gBwgUghRCDwAPAK8I4SYBRSgeighpdwghHgb2AC4gRt1BNA0Tet9DhscpJSXHeRX\nUw/y/IeBhztSKE3TNM2/9AhpTdM0rR0dHDRN07R2dHDQNE3T2tHBQdM0TWtHBwdN0zStHR0cNE3T\ntHZ0cNA0TdPa0cFB0zRNa0cHB03TNK0dHRw0TdO0dnRw0DRN09rRwUHTNE1rRwcHTdM0rR0dHDRN\n07R2dHDQNE3T2tHBQdM0TWtHBwdN0zStHR0cNE3TtHZ0cNA0TdPa0cFB0zRNa0cHB03TNK0dHRw0\nTdO0dnRw0DRN09rpFcGhpqWG4IeD/V0MTdO040avCA51jjoaXY04PA5/F0XTNO240CuCg81kA+CL\nbV/4uSSapmnHh14RHNqE2cL8XQRN07TjQq8KDhWNFf4ugqZp2nGhVwWH8sZyfxdB0zTtuNCh4CCE\n+L0QYp0QYo0Q4nUhhEUIES6EWCCE2CyE+FIIEdpZhdXBQdM0rXscc3AQQsQBtwCjpJTDABNwKXA3\nsEhKmQl8DdzTGQUFKG/SwUHTNK07dDStZAQChRAmIAAoAc4FXm79/cvAeR08xh665qBpmtY9jjk4\nSClLgb8BhaigUCelXATESCkrWp9TDkR3RkFBBwdN07TuYjrWHYUQYahaQjJQB7wjhLgckPs9df/H\ne8yePXvP/ZycHHJycg55TB0cNE073uTm5pKbm9vtxxVSHvTcfegdhbgQOF1KeW3r4yuB8cAUIEdK\nWSGEiAW+kVIOPsD+8kiPXdZQxtBnh1LnrMNxrwOjwXhMZdY0Tets71VW8kZFBe9lZ3fL8YQQSClF\nVx+nI20OhcB4IYRNCCGAU4ENwMfA1a3PuQr4qEMlbGU2mokIiGBX067OeDlN0zTtEI45rSSlXCaE\neBdYCbhbf/4HCAbeFkLMAgqAizqjoAAJIQkU1xfTP7h/Z72kpmmadgDHHBwApJQPAg/ut7kGmNqR\n1z2Y+OB4ShpKGMvYrnh5TdM0rVWvGiHdVnPQNE3TupYODpqmaVo7vS44lDSU+LsYmqZpfV6vCg7x\nwfG65qBpmtYNelVw0GklTdO07tErg8OxDtzTNE3TjkyvCg6BlkACzYFUNlf6uyiapml9Wq8KDgBJ\noUkU1hX6uxiapml9Wq8LDslhyRTUFvi7GJqmaX1arwsOSSG65qBpmtbVel1wKKgr4A8L/uDvYmia\npvVpvS44WIwWfxdB0zStz+t1weGZGc8QZgvzdzE0TdP6tF4XHPrZ++H1ealpqfF3UTRN0/qsXhcc\nhBCkR6STX5Pv76Jomqb1Wb0uOACkh6eTv1sHB03TtK7SK4PDspJlXPrepf4uhqZpWp/VK4NDdGC0\nv4ugaZrWp/XK4PDyeS8zMHKgv4uhaZrWZ/XK4JARmUFBbQEur8vfRdE0TeuTemVwsBgtJIcls7V6\nq7+Lomma1if1yuAAkBWVxfrK9f4uhqZpWp/Ua4NDdnQ263at83cxNE3T+iQdHDRN07R2dHDQNE3T\n2um1wSEjIoOi+iJa3C3+LoqmaVqf02uDg9loJiMiQzdKa5qmdYFeGxwARvUfxcqylf4uhqZpWp/T\noeAghAgVQrwjhNgohFgvhDhBCBEuhFgghNgshPhSCBHaWYXd36j+o1hRtqKrXl7TNO241dGawz+A\nz6WUg4HhwCbgbmCRlDIT+Bq4p4PHOKjR/UeTV5bXVS+vaZp23Drm4CCECAFOklK+CCCl9Egp64Bz\ngZdbn/YycF6HS3kQw2OHs75yPW6vu6sOoWmadlzqSM0hFagSQrwohMgTQvxHCGEHYqSUFQBSynKg\ny6ZQDbIEkRyazIbKDV11CE3TtOOSqYP7jgJuklIuF0I8gUopyf2et//jPWbPnr3nfk5ODjk5OUdd\niFH9R5FXlsfw2OFHva+maVpPl5ubS25ubrcfV0h50HP3oXcUIgZYIqVMa308CRUc0oEcKWWFECIW\n+Ka1TWL//eWRHrusoYxR/xlF2e1l7X4394e5vL3+bZZft/yY3oemaVpHvFdZyRsVFbyXnd0txxNC\nIKUUXX2cY04rtaaOioQQbQsrnAqsBz4Grm7ddhXwUUcKeDgGYWBF2QqONchpmqZp7XW0t9KtwOtC\niFWo3kpzgEeBaUKIzaiA8UgHj3FIt0+4HYCi+qKuPIymadpxpSNtDkgpVwNjD/CrqR153aMhhODs\ngWfzU/FPJIUmdddhNU3T+rRePUK6zQnxJ/BTyU/+LoamaVqf0SeCw/iE8SwtXurvYmiapvUZfSI4\njI0fy6ryVfx58Z9ZVrLM38XRNE3r9fpEcAixhpAekc4DuQ9w3SfX+bs4mqZpvV6fCA4AgeZAAFZX\nrPZzSTRN03q/PhMcEkMT99yvbq72Y0k0TdN6vz4THF47/7U997/Z+Y0fS6Jpmtb79ZngYDaaAUgO\nTeaW+bf4uTS9w/Ll4PH4uxSapvVEfSY4APju9/HGBW9Q3liup9M4AmPHwvjxsGuXv0uiaVpP06eC\ngxCCiYkTSQ9PZ1X5Kn8Xp8cLCIATT1RBYsUKeOwxGDcOGhv9XTJN0/ytQ9Nn9FT5u/MZ89wYvPd7\n/V2UHs1ggIcegsmTYcyYvdvHj4d334VBg/xXNk3T/KtP1Rza5F6VS3Josr+L0SsIATNnwvbt6vHc\nuXDLLTB4MMyb59+yaZrmP32y5nBS8km0eFrIr8knPSLd38XpFVJTQUp1EwJOOAFmzIAff4THH4eo\nKH+XUNO07tQnaw4GYeCsjLP4aHOXLiXR6x2ozV60LiEyYgRs3QqhoTB8OHz+efeWTdM0/+qTwQHg\nV1m/4q31b/m7GD2eOMR6UoGB8NRT8OabcP31MGsWNDd3X9k0TfOfPhscpqROobCukI2VG/1dlF5v\n8mRYs0Z1eQ0KgjfeOHCtQ9O0vqPPBofCnSZ+O/Ja/vXzv/xdlB7raE7w4eHw6afw3HNw112qp9NL\nL+kgoWl9VZ8MDmVlkJ4OCcW38fra16l31vu7SD3WodJKB/Kb38DOnfD++/D00zBxonqNV19V7RJ6\nQJ2m9Q19Mji05cWXfB3J1LSpvLL6Ff8WqI8xGuH882HpUtWjCeDJJ+HMMyEmBjIyYKPO5mlar9Yn\ng0Pb1fDLL8N1w2/h6WVP6+k0DqCjH4nJBH/6k3qdZctg/nzYsQNOPhmGDIHrroPy8s4pq6Zp3atP\nBgdQ/fYHDIC6tZOwGC18teMrfxepRzratNLBGI0wfTqkpMALL0B1NQQHQ//+6hiLFun2CU3rTfps\ncAC491545RXBzeNu5ullT/u7OMeViAj429/UWIm5c2HaNMjMVI3abre/S6dp2uH06eBw4YXw8ccw\nXFzBR5s/0pPx7ac7ruQHDIA//hG8XnjgAfjrX8FigT//WU/wp2k9WZ8ODkFB6uf40XZmZMxg3nI9\nWdD+OiutdDgGA1x+OSxZomoP336r0k5XXql6lx0LnabStK7Tp4MDQEmJ+nlD7Iv8e8W/2Vm706/l\n6Un8dXI980zVBtEWFIYMgWuugcLCoyuTwQCXXqoWLfLqCXg1rVP1+eAQF6d+nnNqNJOSJvHMsmf8\nW6AeprtqDgcSG6vGR6xeDQ0NkJysTvh/+xssWHBkgWL4cLUehdkM//yneh1N0zquxwWHP3z5B2a+\nNbNTX7OyUv28OeYtHl/yOKUNpZ36+lrHJCWp9SOam+GLL+DZZ+H00yEsDP71r4O3TQgBd94JPh/8\n8AMsXqwCzE03qdfTDd+adux6XHD4fOvnfLDpg059zX791KCtS85U1YjrPrmuU1+/t+ppOfuAABUU\ntm1TJ/znn4evvlLdY++8E4qKDryfEDBhggoIa9aov/evfqUCxa23Qn5+t74NTesTOhwchBAGIUSe\nEOLj1sfhQogFQojNQogvhRChR/N68SHxHS3SAb39NqSlwfvjd/Fj0Y+UNRxjK2hvtnLl3kaYVv5M\nKx2KEOoE/957aoCdxwNDh6q/4bvvqscHkpAADz6oAt/ChdDUpJY+TUtT2w80cvull1QQycvreQFT\n0/ylM2oOtwEb9nl8N7BISpkJfA3cczQvlhCS0AlFas9kgjvugBefieKq4Vdx4+c30uJu6ZJj9Vgz\nZ6qz51NP9aoW3LQ0+PvfVYP1rFnwj3+o2sThTuRZWWpAXnm5mt7ju+9U43dmpnq8Y4d63ptvqnTW\nBRfAsGFqLe0lS1SAuvlm+P57naLSjj8dCg5CiARgBvD8PpvPBV5uvf8ycN7RvGZCsAoOXTHdxdVX\nw08/wfn97uXDTR9in2Nna/XWTj9OjzVggAoMH3wAJhN3eB9R+ZteIiQE7rtPneQ/+USNmziSmo/Z\nDOeco3pIud0wZ446+aelqcF5CxbAX/6i0k9PPw1btsAZZ6iZaGNj4cYb1Up4M2eqWWkPlt7StL6k\nozWHJ4A/AvueyWOklBUAUspyIPpoXjDYGgxAnbOug0VrLyBAzSo6eWw/7j/5AQDOfONMvL7ecxXd\nIV6vunT++muYN48rfK9gjo1Qrblta4T2EiNHwuzZR58WM5lUDeGtt6ClBa69Fk49VU0WaDCotSue\ne07VNlavVsFozRoVMGbOhNxcGDVK1UruuEMFHKezK96hpvnXMa8hLYQ4E6iQUq4SQuQc4qkHPePM\nnj17z/2cnBxycva+THF9MWG2sGMt3kHdcw88/DCkF9/PuaXn8dHu85i3Yh43jr2x04/V4/h8ahIk\nIeC66xhx429pfvS/mCZN2vucRx6B224Dm81/5ewmNhtcdJG6Heh3iYl7H0dHwxVXqJvXq9on5s+H\n+++HdetUUJk+XdU40tK67z30VJWVcMMNMH686iwwerS6ONOOXm5uLrm5ud1/YCnlMd2AOUAhsB0o\nAxqBV4GNqNoDQCyw8SD7ywN5+LuHJbORn2/5fM+20vpSGft47AGffyD5+VKmph7896+9JmW/fupS\nOXtEk+w3t58sqis64tfvtSZNknLx4j0PjUYpXS4pZX29+lCef15tDAuT8pVXpPR4/FfWXqS6Wsr/\n/U/Kq6+WMjZWypAQKadNk/Jf/1L/i8ejFSvU9+vWW6UcM0ZKu13KE06Q8ve/l/Kdd6QsLvZ3CTvP\nu7t2yZlr13bb8VrPncd87j7S2zGnlaSU/yelTJJSpgGXAF9LKa8EPgGubn3aVcBHx/L6O2p3HGvR\nDuuyy6CqSt1ft8qO/X+LSXwikUZXH5/sp63msA8hUPNYXH65yrl5PGpCqmefhdBQ1frrcvmnvL1E\nRARcfDG8+KLqDPbll2pw3iefqEWnhg1TNdYffuhV/QA6bORI9e/z88+qJjF3rqqBvfKK+nwiItRz\nbrhBdVvOy9Mpup6kK8Y5PAJME0JsBk5tfXxUBIL8mq7rnC6EyiEDXHUVFOYNwf7O19zx5R+77Jjd\nqqpKjRwbOVIlxdt4vSqx3uqgTQwnnaTOZC+9pL7dUVEq91Jd3aXF7gsMBpVKeewxtTKexwP//rfa\nftNNajGkyy7b2/uqFzXzdIjdrtb5uPtude1RWak6h9x0k2r0/+47+PWvVTpv+HC1Fsjzz8OKFeBw\n+Lv0x6djbnPYl5RyMbC49X4NMLUjr5cekU7+7q4duZSRoXqsjBmjGhfvvPMU5r30PPPyBL77fYie\nOgDgSERFqYUUysrUt2zQINWR/wA1h4MSQk1re+GFqi/n+eer0WWXXaZW+Bk0qGvfQx9hNKqlVCdO\nVDPSFhfDZ5/B66/D7berP9VZZ8GJJ6rc/KBBv4jffZYQ6juYkfHL7U6n6gjw009qxPs//qF6kZnN\n6lpn8mTVfjFqFMTH99xxOn1BpwSHzpYens78bfO7/Djjx6uff/yjulieMOF1SFtI+lPpbL9te5cf\nv8skJqoRZE1N8MQTqsvNGWeo3+135jmiL9ekSepSb9s29XqTJ6sJje65R53VtCOWkADXX69uUsKm\nTfDNN+r2179CbS2ccIIKFBMmqP/R4GB/l7r7WK1q0OK4cXu3ORyqBlFYqBr/n31WpaA8HpWyGz5c\n3YYNUxd6x0Ffim7RI4NDSlgKLq+LwrpCkkKTuuWY48erlHvRpu0s75fCa2te44phV3TLsTud0ahG\nb6Wmqsd/+5vqovXZZ+ob1OqoUxoDBsAzz8Djj6vE8eTJKlX1j3+oDy8wsPPew3FACBg8WN1ubO0s\nV1GharRLlqixF999p/L0Z54J2dmQk6P+hKYe+c3tGjabugbZ/zqkokLVMlavVtOsPPGEWlwqPl79\nq6anq55jEyao0fXHU5DtDD3yX6ytC2vyk8nIB7ovKfv005CREUTNp1VcWRNJRkQGJySc0G3H71IW\ni0oN7eeYquUBAerS99prVWvjY4+p7q+gUk7XXLM3MGlHJSYGzjtP3QA8+QVsX9/CoqJMvlwgmDNH\n9Q8YO1alqiZMUENXkpJUSsblUv0IjgcxMXDaaerWxuWCnTtVm+LatapG9r//qWndhVApqbagUVWl\n0srZ2arGcbx8bkeqRwYHf7HZVA+TkSPB9kwZ4202cq/5hskpk/1dtJ7JYFA5kHffhc2bVZJ43TqV\nE2jrDnbzzfC736nkutOp8ira4Xk8MG8epptvZiAwMCKCGxMT4boZNAwczc9yDF9vS+KxxwS5uarB\nt7lZ7ZqQoGoX2dkwYoQKHJmZsGuX+nmkzU69kcUCAweq21ln7d3u8ajMaEEBbN+u2jHaamnPPw8b\nNqgR+G01ucxM1cQ2YoQKJhaL/96Tv/TY4PDF5V8w8+3Onbr7SIwYoa4+LBYLtnk7yRHJFP2hqMvm\nfPKnTu0pk5mpbqDSTp99pr6BX3+tEsJtM+UNGKCGFl9ySftLNSkPXJXZulV923/9a9Xl9pRTVAtl\nZ5FSlXPYMBXEeoLiYhVYp0yB115T/5QLF0JJCcHvvcSUn29iiterLn1vz6IlcwRrzKMZcGYmtfUG\n1q5VcfrVV1XHs/p69bLBwerPlJ2tbkOHqltsbN9u3DWZVB+N/v33tjXuy+dTH/nGjSpQbNyoPrfG\nRtU9ua2L7bhxqlKcmqrm90pNhbJQI15z3/vwemxwOC39NGwmm19mTzWbVVvupElJtCzYRiKJlN5e\nSv/g/t1elq7WJSeEfVNYd9yhLmnfflt9s4qK4D//UXNwx8er502Zotovpk1T81P89rcwY4aa1yIk\nRJ3Z4uJUF5U//UnVUuLj1fNnzlT5lY4k4QsLYWprBzurVZ01Z85Uxx892n8J/uRklUxv89vf7r0v\npTprLV0KP/9MwKJPOOHn++H3u4kcN450m43zcnLgrlEwciS+oBAMBqipUR/funUq7fLZZ+qnlOpt\nDxum0lTDh6satMVyfPSeMhhUDSspSU0bvy+nU/2LWCzqI9+xQ91+/ln9W6/bFkpVWRgJ0b8MGgMG\nqN5nmZm9M2UlpJ86Wgsh5IGO/cj3j1DrqOWRqY8Q9VgUN4+9metGX8eo/4yi7PYjCxTbt6vv+vYO\ndjgqK9u7khyB5fy4cjcTMgYf9AJ3Xy5XBQaDHZPJD61gqanqSvgweX8h1BWTX64Yd+9WjdoffKDS\nUeHhatuDD6rL2/nzVZ1/7Fh1afv996rLCqh8wDvvqG9obq7KFcyYoS6TTzkF55QzWJt2LsMuHHhk\n6YAdO1SA2rJFzcK3bp06C+TmqrNCTo4KXosWqRP2jBkq2R8Z2XWfz86d6rg7dx7dfhUVqh9o21J6\neXlqciiLRXWFys5WqcC2ecwHDEBu2UpVZCaraxJZvUbw00/q425bxjU5WZ3kFi9WjcKjR6sTXnS0\nCiaJie3/h/LyVCzLy+uEz6KHe6+yktdKKngyPHtP4NixQ3Xu27xZ3YKD1dcxLGzPx05GhkpZpaSo\nlFdgoPoaHO77KIRAStnl39oeW3MAsBqtPLH0Ca4b7Z/Fefr3V+eI+HigKZaJA2P5538ruGVWDNdc\nA//978H33bDhUmprv2HUqKWEhPSRRu3OFB6uGrHbGrKLilRAuOACddL9/e9Vnf6rr1SbxogRe/eN\niVEpF+Chh6B2bRFjd35MdIKkPuE8Uj75grhlORRdGUi6bxsbx19N0MzTSLhqKkRF4XQepLuj2ay6\nBZ155t5tFRUqKPzwgzpjpqSo+b4vu0z9g4wcqWbpa25WAWPqVJW38Fd6KiZGTUF7zjl7t3k8KjVX\nUqKuBpYsgR9/VHOV5+YigKjoaKa63UwdMUIF4wez8QwbhWNANmu3WFm1StUmsrLUn2rBAhWrGxvV\nWx86VNU4srJ++ac6XhhMKogmJ6uYvq+2St7OnSo+5+erP8f8+eoCtrBQZQ3tdlVJbUtbhYWpc8/g\nwSqrmpGhtnWXHl1z+L7we2774jY+vfRTv9Qc9iUlpI7eQsHKgXu2XXaZulg9ULV748araW5eT0PD\ncgBGjlxCaOgBkp1d4ShqDr19hO6wYSqWbNmiTlClpaot/FcX+PjTmSsoePFr1hcG03/Nl5zQkkuZ\nNYXPHVMoSojEcrKJYWcmcWqajehLb0fmb0VKJ0bjEXTJ9Xph/Xp1hvz+e3VlHhiortKXLVOX05Mn\nqwE0kyapKujRVNGOtebQEW1T0a5apd7bypXqLBYXp85OI0eqCJGdraoOre0+1dXqbW/YoHZbtUrd\nPB6V+RsyRL3EiBHqfkxM972l7vBeZSVvVFTwXnb2Me3v9arMaViYqjzvW/tYt06ltbZsUX8Kkwlq\na3XNgRPiTyC/Jp/qliOftuHRR1Uvg84mBOzMG8g1f/2CD1d+x8d//jVnTcjEalVVwgNF9Li4mwgM\nzCIvbxwrV04gJeUvJCXdjcHQoz/2XiUqCv7v/1TzQBsV8AwIMZZ+08cyGoAbKdjmZtvLKxi7/J+c\nW/I+Ue83UPduED96RjPG4OJPsx5ixIhvGDmyhn79hhARMZ2wsJOx2dLaj5g3GlVkGjZMdd3dl8ej\n8inffgtvvKEa3+12dTV/0kkqVTZsmGrf6EliY9Vt36S706nSdps2qTP+O++ohTQKClSCftAgIg0G\nTomM5JRRo+DCwXDfIJaX9OfqawTXXqsCxuLFKoO4fr06wbU1iGdl7R0pHRd3fLRv7M9oVBVpUPNN\nRUSo1N0lx1p5AAAgAElEQVT+pFSBuLsqpT36LGU2mpmYOJGfin864n3uvlv97Kpu9i/eO50pqys5\n++MT+Pv8F3j8NxcwfLi6UE9Pb//8kJCx5ORIHI5i1q6dQVHR44wZs4qAgJSuKeAR6u01hkM52AV6\n8gAzyX8ZT0HBV3i9KQSnPkTwhg1Eff4VW9YOx+O5nFdfvYN777UxeHARw4atw+X6gpNP/orx48OI\nippEWNiUw//tTKa9w3zvuEN92Pn5akTb99/DvHnq8fDh6iwwfrwKFqmpPW8godW6t2/ovqkqp1NV\nzTduVIGwbTTa22/Dpk2MbGrhf3IQ2R9nc15WFsxSEUCmD6C4wsz69SpQLF2qat9bt6qrZ59PVZgG\nDtybpgoIUCfMxMTO7aTW2wjRNRe+B9OjgwOoAPGnb/50xM8//3x1hdKVq3VdOfxKzEYzl753IX94\n8nbsPz7CgAEmvvtOZRAOxGZLYMyYVRQV/Z28vHG43ZVYrQmMGPGd3wPFcUsIyMrCmpXFUOC11s2N\njbB0aSq5uaksXix55pnfcNttRtLTC0lP/5bMzOcZPVqQnr6S/v3PoqLiZUJDJxESMp6QkAlYrXHt\njzNggLq11TIaG1XDcV6eWij78svV9thYFTCsVpWM7qms1r2DAma273K+Lnc3T1y3kZfGr1O5ka+/\nhi1bEEVFJCYlkThwINMHDYJJQ+Ba9ToNxjA2b1bNPJs3w+qlLXz8XD1L8qMxGAWNjSpAZGaqRt22\nHH9iovoZE3N81jy6So8PDg+d8hDjnh9HqDWUGa/P4IwBZ3DLCbcc9PlGI9xyC/zzn2qlsH3WE+pU\nl2Rfwqj+o8h8OpPMqE959d0fOOmkSIzGvb08XnttIIsXw8svq7y4EAaSku4gPHwKa9acjsUSz4oV\nYwgPP5WUlAcJDOy+yez6cs2ho4KCVJuV6t0qABuNjbBmTTorVqTx88+1zJ7tYceOEDIyShgwwMjE\nibGkpn5JRMTNBASYCA4eQ1DQaIKDRxMYmI3VmoAQAo+nDqMxGBEUpHJh++bDXC51Nb5+vUoyT5jg\np0+g47wh4awJmgjXTfzlLxwO9R63bFERIDdXTZa0cSPBVitjvF5ISuLMceOgpADyFqlqQ1YW3oxB\nVIemUmhIZZtMZ+22NJb8GEFhkaCgQHU/T09X37XMzL2NuCkpKniEhPjjk+i9enxwyI7OxuFxYDaY\nmb9tPvO3zT9kcAD1TxEernpFnnmmSvF2hYGRA/Hd72POd3O4e/lwPl3xIf9+YAzR0XDRRVfx9tvq\ni9Gvn+pc8/e/q2pxcPAoTjyxEoCWlu38/HM2lZVvExPzawYMeBKzObxrCqwds6CgttlVBaD+Ps3N\nkJeXxvLlaSxfDi+8cDabNz8NwNChu8nM3Ep6+lIGDHiKtLSVhIam0NDwEwZDAEFBwzEagwgNnYTV\nmkBQ0CgCA7MwDBrUt2e8tdlUvmjIkF9u9/lUT4LychU8ysvVhz5njmrbWL8e4+bNRO/YQfSOPMbk\n53NJfr7KRUVEQFoa7qQ0ao39KAgZyqamVHasSuO5BcnkF1koKFDfveRkNYI8IUHVPiIiVCBJSlIZ\nPXUR55+Ppqfp8cFBCME5meewaPsiTko6ie8Kv2Nn7U5SwlIOuV9YmKrtjhunJg+dM6frynfvyfcy\nLGYYV300ndBpoTz366+59qJTAGhogE8/VWnmcePUZGr7DusPCEjj5JObaWkpYtOmK/nhhwji4m4i\nNfUhzOau7bemvwQdY7erNOK+qUSXS+XPt28P58cfx1FVNY4vvriVLVskAwfWM2ZMDRMnxjJ48Boi\nIz/E7d5Nbe33FBQ8hMtVgcUSQ0jIeGy2dGy2FIKChhEYmI3RaPffG+0OBoMaONE2eGJ/MTFqLMq+\npFQRur4eCgow5+cTlZdHVP0KxpS9q7r7FBdDTAxyTBrOuDRqQlKosCRQ4opmy6pYFpYk8I/qGLbv\nEDQ3q9iVkKCCRVvaqu2WkqJ+d7y0e/T44ABw09ib+GzLZ3tGKP/tx7/xzxn/POx+zz2nTswPP6z6\nF//rX11XxrMzz+bba74l619ZXLs7hf/MH0h4y8MEBc3kkkvUSmFvvglnn62e/+KLaqEhIdTiJ+ee\nmwjk8v77mzCbT6W09Bksljiysz8kJKTzqz46rdQ1LBbViJqVtfdvDdDSIli5MpQlS0JZuBDmzDmB\n/PwTsFpV225aGmRne8jOLiUtbSVxcd8TGvokQjTidle0BoqReDx1NDQsx+3ehc2WRnDwaMCA11tP\nYOBQgoKGExg4FLt9IAZDD+sN1dmEUJf7gYF758Voa7tp4/FAURFi+3Zs+fnEFRYSV/wtIysrVb/n\noiJoaVFn/pgYPKGRtNS72BU7jDJnHI3fNlLUHMnHjUmsrE6ioMJGS3gcsQmmPTWQ2mGwMwnmF6lx\nCXFxqkbS29s/ekVwyI7KRiLZVLWJi7Iu4umfn2butLkEmA+9YrkQqna6ZIlKCZx+Opx7bteVc0jU\nEOQDklpHLe9+O5aPG2+gaVUDVw6/EoMwcNllKkjceadql3z8cTVV8003qf1//3u48spBGAwl3H57\nDRMnXseaNdOx2wcRG/trYmNnYTB03mWLrjl0n4CAvYv+tKmrU2n3tlz42rUmVqxI4v33k9i48VzK\nyx8jIgLGjvWRnFxFfPw2YmN/JCUlgSFDpmM0BtDUtA6XqxSjcRA+n4Oqqg/ZufPPOJ0FWK3JBAZm\nExiYjd0+sDVoZGIwHEezyO07qmzf9p19NTSoVFZBAab6eoI3bCDYaiK9dBXYiiHQCLYGqFgPvkpk\nvRl3aRRNLQm0bLaxcVUC62KC2bZlGAsbo1hdFU+JI4LA2BBsyTH0TzASELC35hEXt/cWHd1zJ0Ls\nFcFBCIHVaGVNxRrumXQPb69/m9m5s3l02qNHtP+ECardKydHdZu7oouXaQizhXFi4okkRUdw8Zf/\nj6d/fprrR1/P+ITxOD1OrrjDwGOPjeTVV/d2Xvn2W9UF/rHH1MywV18dwezZ73LHHW6uvTaXysq5\nFBbOJSHhNgIDswgJmdD3Uw19XGjoLxe1GTRIrdHUpqlJdWYqKzOQnx/Npk3RfPjhRDZu3HctiOkM\nHqz2bbsZjeDzuWhu3kJT01qamtbvCRoOxw6s1gTs9kzs9kwCAjKxWvsTFDSitdH8yM9UnkYPnhoP\n5mgzRlsPPcPto6LidQoLHyUoaAQWSxxWazxWawIWSwymAeFYhpyIyRRx2FUghduNpbwcS1ER4du3\nU7ljB7FlZVzcf42a+ra0FFldja+2HrFiN44tUdQHxVHxQzw1tngKvAn81BLPpoZ4NjfG44iMJzwh\nkLgEw57aSGKiqgxFRamMWr9+3V8T6RXBAcBmstHiaQHgm6u+4Xef/Y6Hpz6MQRzZJzZ5smp7uPJK\n1b186NCuLK0yNGYY1XdW8+baN7nig19GpEuzL2XOuXPweFL49FM1uSaoL/Z556k0WEkJ/PnPZjIz\npwHTmDmzgssvP4eIiGUABAePIzX1IcLDT0Uc4efQRqeVer7AQHXBsD8pVXfPjRv33r74Qo1Tq6pS\nPWZDQizEx2eTnJy9Zx6ftDTo39+Nx7Od5ubNNDdvpqFhOSUlS/F4qnG5ygGwWhMxm6MIDZ2E3T6w\n9QQah9WaiMUSs+fkuf3O7ZQ+W4qwCIxBRiwxFixxFmwpNkrNIbhroqj6qA5LnAVrghVzlBmDqftz\nLS07W2j4uYHqmJ8xWWIwbBiDK6wCh30tjsbP8Vqq8YrdOJvLQfgwNsdhcsRj8vTHao7DGhhPQHgS\n9n79sccmERAah0hMVGfwiRPZVlnJ2xUVXLzPCGkBGAFcLuzl5dhLS4ktKVFf6pISKFkPJSXI4hLY\nno+o8OFdbcFrtOARZpxY2W4bQpEvmm9dcRS442kOi1NdnbtJrwkOFqOqChfWFXJx1sVYjVYW5i/k\n9AGnH2bPvebMUaMyzz5bdTHvjmH8BmHg8mGXc+nQS2l0NbKzdidhtjBeWvUSo/8zmlkjZnH31LsJ\nCGg/iVt8vGrIvu8+1V7y448xXHPNT5x1lo9Zs8oIDn6U/Pw7aGpaQ0zMFSQm/pGgoPaNeV6vg507\n/0Rk5FmEhk7ac3Wo00rdQ3olGOi0dcmF2DuY+ZRTfvm7pibVS3T5chVAjEb1v/7aa6p9tqLCTP/+\nmSQnZ5KergJJ2xi3rCwXAQH1NDdvpLl5M15vHU1N66iuno/LVYrTWYTP58BmS8duz6BhnIOwU+OJ\nHDcIoyMKX70JUR2HLLDjW+rDW++h9LlSXGUuWra04G30YulvwRJjwRRhwhpnVYEjzootxYY1yYo1\nwYowCNxVbqwJVgw2A8LYsc+t7LkyCucUYnmgDk9xGnUvDCPslDBcZS7MMWaEU+Jc14Rw+0h+tB8y\ntBSXLMblK8XZWExTzbd4yirwWauRwVUQUg8mL9RGYdqdTES/Iq6qS+GnpUmYff2xBvTHFpSAyROL\npb+NgOh+2IdmYznAXOECVLT3ejHW1WHctQtLdTV2k4nRDQ17aiKegkIcO5biLS7nmQ59Gkeu1wQH\nIQSvnv8q4xPGI4TghjE3MP316bTc24LNdOSLxl52mfrynHmmGrAacOhmi05jEAZCrCEMi1En7/sn\n389vR/2Wvyz+C5lPZ3Ld6Ou4YPAFjI5rP24+MVE1qoOqUTzxTCPX3hCFxfgUEyZI0tK2M23ah1RU\nDAdgojuQ+qrPCU+6GqMxELe7gqKix6mp+RKnsxiPZzcguOCCx2lqmo7dPrjTTlzaXo5iB8YAI2vP\nWkv90nrCp4YTODwQ+yA79oF2LDEWjEFG3NVupEdiH2zHGNCx9ExgoJoCaeTIA//e5VIdeNoWvdm6\nVc3woXpYWbDZ+pGefhJpaSftWTGt7WdCAvh8tTgc+TQ3b6WlfikypB6HIx+HIxevsU5dkdt2skuM\nxvfDPORf/0iwLZkoWxpWcwLGpgSMtTHI2jDcpW6cpU5atrVQs7AGZ5ETZ5ETz27PL8ps7mfGXeXG\nEmshIDMAa38r5hjznuBiDDRiCjOpmktr4Nn//zn1oVS8l8ZiNIaQ/HzOYT7FrIP+RkqJ1+GiZVc5\nztpqmoIL2Fi+geJSG0m2JtyU0WRZQV3953isJfhaimFNOOysAYcdURuNsSUaT0kA1IVAXTgB4bE4\n19qRFVHYo5KwBsVgibRhjorCEjsIS7wF8zAzpnATlmgzpHZPOrnXBAfgF2s6XzX8Kn732e946qen\nuPPEO4/qdR54QK2bkpmp+jV/9ZXqXdDd4oLjePasZ7lj4h3c8NkNPPz9w7/4/V+n/JWzBp61J6CA\n6qL7Z08oXA4UTaT0u6dpeGkkD/7lNgICbuOWm2oZ7xtMZeVbrPvuVgyGAPr1U91mxo5dg9NZQm3t\nd3i9guTkRaxd+098Pif9+p1LdPSlrTWLXt7NogfwtnhZmrgUU7gJT62HofOHgg8a1zRS/0M95S+W\nU/9j/S/2EVaBJUqlZox2I9YkK8YgI8FjgwlIDcCWattzZX2sLBZ1ok9La1/rkFKlpdpWStu+XU1G\n+8or6n5lJcTFhZGaOprExNEYVp1GWIKJcVeEkJKiarmLF8PQoZKqKi8tLT4SEm7D4SjE4dhOY2Me\nDsdOWpz5+KxOAoakYR2ZiMUSTZAlnkhrPGZzJCZTP6zWWMzmaIyE4d7lQRgEPqcPx3YHjiIHnt0e\nXKUuGlc30rKtBXelG2EWuCpcSKfcEzys8VZa8luIuqBzJiQSQmAKsBKcnExwcjL9GMXyykl8VVHB\njYeYeM/n8+LYXUFTxQ6aqwpxxu7GGN+Iq6Uct7cA4/QKfIEVOD1lNMtaDN4IDK5gRHMY1IciN9ug\nLghfefdNy9qrgsO+AswBrLp+FSPmjWDm4JkMiBhwxPsKodaWHTxYzSU2YYJ6HBd3+H27QnpEOguv\nXIjX52VJ8RLeXv82NS015NfkM/zfw4kNiuWaEdcwa+SsPe9z661b2Vy1mdVXz2dD5d94ffWbeEpO\nY+4353BtuZ0Z196EafylXDOjhlMCfkCIp5ASLJZ4YmIuwe2GJ564mLlzobl5K5WV77J168243dVE\nRs4gImIG4eFTMJl64SolPYD0SgyBBibVTEJ65Z7USOSMg68B4XP7cJY4cRY68bl8OAuc1C2pY/fC\n3ZQVlOHYoU6KtjSbChZpNmypNgLSA7Bn2rEl2yh4qIDdX+0mcFggpmAT5n5mrAlWSv9diiHQgDXe\nStCwoD372lJsGCwGDBYDQqgG0KgoteTD/pxO1fOzbfjAqg0+CqpMlH6oJo9dtgz+/W+IiREUF5uI\njYXIyBkHfK8eTx0tLfk4nSW43btwOktpbFyJ212N212Fy1WB270Lr7cRs7kfFkscLS1b8RrrCcwa\nhsUSg9tdo3piAVJ6sFrjEcKARSQimiLx1djwVdoxVVdjH++lvGkdISH+GXVuMBixR8Zhj4wDTjzk\nc30+F253JW73bjwe9Xl4vU243dW4XBXQhV3y99VrgwPA8NjhDIsZRsY/M5APHF0Lq8WiFuPweNRM\nrqNGqYXI95+LvTsZDUYmJU1iUtLeUVXzzp7Hx5s/ZtH2RUx8YSJDY4ZiNpiJCYxhQMQAzhyo1h54\nbeZrSCn5tuBbwiY0cOmvm3nn25N46K5Y7q2+9xfHGTK2nBNHReDzWXC74aOPMsjMvIcxY+6hpWUz\nVVXzWb78PUpLH6C2dizDhuUzcOBpREScQVDQ8IPWLGpqFmGzJRIQMOCoer30dUeaMzeYDQSkBBCQ\nsjfX2f83v1x90NPowZHvoGVHi7qKznewe8Fumjc14yx2It2SxLsSsSXZcOx04Ch00LiqEUOggX7n\n9cNZ7KRpQxM1X9bg2OGgeZNaeNoSZ1HBIknl/tt+WuOtWKItWGItWK1izxRRAJt/qiZohJP4G44+\nzWEyhRIcPIrg4FGHfF7bidLpLKGlZRuBgdlI6cHlqsDh2IHBYMPlKsPl2oXJFIbbvYtax1dI6cYT\nXE+zcSO+6GZqmsJwOouJjr7sqMva3QwGS2tPqviDPOPIeml2VK8ODgC5V+USMTeCDzd9yHmDzjuq\nfYVQox3vu0+Nn7n4Ypg1C/76154zgMVkMDFz8ExmDp7JE6c/wYebPiQ1LPWAYzyEEExOmQy2UOZc\nl8Och1OREpbnecjd8jP5jmVsLCklv7iWl1aPxBcxGYtlMACx8U48Tgvjx2cSFpbJa6/tfd2goGbi\n4mrIzFzK5MkPMmTIQhISphIePgWLJY7Q0EkYjcGsWTMNmy0Fp7OUoKDhhIZOIizsFMLCJmMy6Ylt\nOoMpyETQ8CCChge1+530SlyVLiwxliNuQ5I+ifRJXKUuHDsdOIucOAocNK5ppPrTapwlTlwVLjy7\nPVj6W1Sw6G/B2t9Kw/IGgka0L0dn2vdEGRIy7vA7aJ2m1weH8IBwXj3/VW6dfyvnv3U+5xkagKP/\nh506Vc2mPHAgPPKIWlf3GNfu6DJWk5WLsy/m4uyLj3gfIWDsaBNjR08A9lapaxobiR6/iJyHHmBX\nmZXNprexNw+k2vEbKjeeTehpn2OZMI+zh53EySmTCK2exndfXMgbb5zNpk0GMjLqGTFiOZmZLxMa\n+l/S0oqx2WD8+B14vc00NPxMbe13FBc/yYYNlyCEGau1P6GhkwkJGUdw8DgCAwcjpRchTLqdoxMI\no8Aae3SjooVBIAwCW5KqNRyMz9ma8ipx4ipz4SpzYQgwEHZyNy5NpnWrXh8cAC4fejlvrH2Dovoi\nPhwSzEDPCuDQ1dUDychQI+mvv16ll+64A26/vW/OpRJoDsKw5TwWXd9W23qV4vpiFuQvYEH+vRQU\nLOaJ05+gtKGUT7Z9wOKC/4ctwcaEuydwTdzphNScQtHaaeTmns6CBRAY6CU1tYnx4yEry0509GQG\nDZpMTMx9DBvmorFxDS5XKQ7HTnbv/prCwkdoadm6pzyhoScTFDS89TYCuz0Lo/HIe6FpXctgNRCQ\nFkBAWjd179P8rk8EByEEb134Fk8ve5r/+/r/mFs3moTAHUDKUb+Wzaam2N65UwWJ//xHDUR68sm9\nqzX1VQkhCcwaOYtZI2f9YvsfJvwBn/SxoXIDn275lGW7FrOk+BG2ubcx6JxBnHtNJlOSptNQkE7z\nziGs3xjLvHlGNm1S+6elWdi1awyNjSpfPXSo6p47cmQ9YWE7GTYsiqKi7WzeXEp4+E/Y7fNwOjcT\nEhKHxRJPQMAA7PZMzOYI7PbBmExhWCwxGI0hSOmjdbjRAUkpkdLTqdOOaNrx4JiDgxAiAXgFiAF8\nwHNSyqeEEOHAW0AysBO4SEpZ1wllPaRgazD3nHQPeU/dQ+WYW1l8/kDGPTeCpNAknj3zWaICj64r\nW0qKGnX6v/+p6TZeeUW1Rdx5p5qupS84mqENBmEgOzqb7Oi9ubYWdwsbqzbyzY5vWFy8kPy6f+MM\ncVKYXEj27dlcHzuSQZFDiGw6kbqtWQxItSGlStmVl8Orr4bgdg9j40aoqupPUpKksHDv/BGZmQ4G\nDSonNXUtGRlFREevITr6WSyWSlyucny+ZmprF7F+/TyCglYTEJDROo9QJjZbClJ6WbNmGgB2+yBs\ntlQCAjJobt7cOmGdpmkH05HTnAf4g5RylRAiCFghhFgAXAMsklLOFULcBdwD3N0JZT1iFwY+xcoV\nJn42PsHPpT/z3sb3WPe7dWRFH3xwy4EIAZdeqm7LlsEf/6jmZnr0UTXKWgiYOxfuukvNkfTrX6tp\nOnrDeLLOmD4jwBzAqP6jGNV/FLdz+57tja5G8sryyCvLY3PVRvLKX2fd7nXEe+IZHjuczcGbKZJF\nnHXzWQyNHsqvTAHc+tnvKTR6ARgVNYFJiScR1XwS7BpKTcEZfPKJSQ3c2uHDYvURHWUgc2ALK1cG\n8pe/ZJKa+gMORyFSuqit/Ya6uu9wOHYCRsaOXY2UPtXHvmUrUroICzvlwG9K0zSgA8FBSlkOlLfe\nbxRCbAQSgHOBya1PexnIpZuDA0Dk8r+z/NnfER0YzYXvXEj2s9n8OOtHJiQeWz/ncePU5H1ffAFX\nX61GtU+dCosWwfTpaobNtkFFTz6pUlFhPbytrquCWJAliJOTT+bk5JP3bPP4PGyu2szK8pWUx5dj\nMVpocjVR0VjBxqqN9A+NZsGVC/D4PJQ3lpNXlsca52usNa4lPywfToSo06Jw1hXjbInA6UikuXEy\nseel8fyutazclEKQJYhB/YYSFTqdtKTHibJH0eBqwGYOxGgwEhTUDRNqaVof0SkJEiFECjACWArE\nSCkrQAUQIUR0ZxzjWGREZgCw8MqFfLL5Eyb+dyJvXfgWF2VddEyvJwSccYZaBjQvD55/XgWHu+5S\nDdhSwrvvqlUPy8pUAJk8Wc20aT/OJ1A1GUxkRWcdce1t+oDpe+67vW4K6gooqS+huL6YGRkzsJvt\nbKvZxtpda6lsMlDSUMI3O7/hzXVv4vQ4KaovoqalBlDzciWGJBJsDSYxJJFASyAJwQnEh8QTbgsn\nJSyFtPA04oLjMBr0+AxNg04IDq0ppXeB21prEPsnLLp0/s+1a88lImI68fG/O+hzfD43Zw2cwcrr\nVzJy3kgufvdinjv7OX4z8jfHNKeQwaBmUR0zRo0IbSOECgS/+pVaU33tWnjhBVXTmDZNpaIuuqh7\nJvw7nN40K6vZaGZAxIB2o+APF2zqHHUYhAGz0UxhXSHbarZR0ViB2WimpL6ETVWbqGquoqKpgu27\nt1PVXEV8cDyJoYkkhCRgN9lJDE0k3BZOfEg8sUGxfF/4PVajlbjgOJJCk0gKTSImKIaalhoCzYF7\nxp9UNVXh8Xn4ctuXxATFEBEQQUxgDFZTH1+A5zjW7G6morECicRmsu35fyhrKCPAHECwJRif9LG+\ncj1htrA9t7ZJRXuaDgUHIYQJFRhelVJ+1Lq5QggRI6WsEELEArsOtv/s2bP33M/JySEnJ0dNIfnF\nhzD8djW15BlnHLIM1dUfU139MS5XKSkpDwLt+8vv2HEfRUVzGT06j4o7Knhj7Rtc+8m1zPluDh9c\n/AHDY4cf7Vs/tPnzCS0oJuccyaWXQk2NqmF89hnceqt6SkKCWlf6wgvVxGYdIaWk0eslyGjE2+BF\n7vZQ+34lptFh2DPtGIONOLY7MEeZsfbfe3LqDW0jHRFq2zv1x8DIgQyMHHjI5zs8DorqiiiuL6ao\nvojtu7dT01JDRWMFX+/8muL6YgpqCxgbPxar0UpRfRGFdYXUOmpxeV17vuSB5kBa6lp43/M+f1/y\nd3Y17aK6uZqymJnI6KmY3TVYDIJA3AhTIB5DAP2EixizkQiTQU1z4qljefEPuL0uoi0W4m127DhJ\nD4knNjCK/oFRRNijiAuKJTIwmhZhI8QgCTAaaXI1sX33dsIDwokIiCDYEqxrRN0g/NFwXF4XdrMd\nq9GK2+em0dUIQJQ9inpnPU6vE4CMiAx2O3ZT66jFKIyEWEOwmqyEWEP2BI1gSzDBlmCqNlSxa/0u\njAYjJkP39Ybp6JH+C2yQUv5jn20fA1ejxnhfBXx0gP0AuO++2e17/vhUoyRTpqjL7127oLW7u9u9\nG7P5l/1Jg4JGEVWZTcBvHqKl/EnMWWXsPwjOYLAREDCA1aun4PHUMiXiTFz31vPi6jeZ9uo0clJy\n+Mf0f+xZhnR/NTULCAzM+sVwdim9gEHVPP7yF5VPuvxyNcT6pptI3LEDfvcVTPovERERXFRdzUWD\nBvHvN85iadh0dtXbWLxYrQyWnKxi4KmnqsdH2xvqsaIi7tq+nXCTidO3W/lvnYfl80uxzfMitjp/\n8VxrkhWfEYJHhzDFG0nd0gA1QVmi9bifmdVmspERmbEnHXmkmlxNNLmbiLJH0eRuorShlKbaJhqe\namDhlQv3PG/aqlWcHGInw+xmV/NuSlvqKHY00+JtwuCuo6TJyTZpoN5noEaasUecSGxgFC3Cys9e\nHyWvONsAACAASURBVLu9AgdmaAJLQwsugw8oVTdvMwgTSC+4G8BdhxUPHk8jPlctVukiWLixW0IJ\nsAQTaDQQYjQQbDQRarZS3bwLu8mOwRpJUkAgiQEhRJitmPEQawshOTiK6MAo7Oa9+VGf9B3xeirH\ng3BbOKtuWEVs0N41F2RrFV0IgZSSZnczVpN1z0leSonT66TeWU+zu5lGVyO1jlpqHbU0OBtocDXg\niHHQMqkFl9dFi6eFb176plveT0e6sp6Imht0rRBiJSp99H+ooPC2EGIWUAAcNMHf0HCAsQP2QPVz\n3Tr1Mzoa6ksB+OGHiNZjmxk58oc9aysn3LccYx5AI/8MCeY99yYgE2j74wiioy+nf/9rWLo0nd27\nF/LD9yEMBH684jPu+f5Fkp9M5rT007hp7E2ckXEGGys3MqjfIIQQrFmj1owwGoPxeht+UdyQkPEM\n/rYBa1gI8oVnMN51FwCbns8kKuJ8Iusy1dJuXi9s3EjABx9witsNDQ1cDDx96lR2xk5g8YYT+P6/\nhdy+60RswwaSPdzCxKpSUs4OJStLMv//t3fuYXIVZcL/1bn2vXsuPTOZTJLJ/SYJG+4IEm4KoqiI\nsJpFZOWTRfxWYT9uuqv7Lbqi7uLlU0FWRR8VNlnk7hIQQYEAQgi5EiCZkEySuc/0TE93nz7X+v44\nnclgAHEhDDDn9zzn6TrVdfpUvV2n3lNVb9W7MYG/pUiyp0zy0BStuk1zq8Cv+CzY8kvublA54qhT\nefYegTQEj16d5uakYKcFzb1AXkWPqyjbbZY9DbOHhjh63ghrl7uodliBlYSC9CTJQ5IYeQMloZA9\nLktqSYrEwgTGlNe+LcNEMep5JFUVpZZPX0ruHBjgpp4emnSdJsNgmmnSpOu0GAZTTJMGTSOmKMT+\nh/4ak0aSpBHW25SRYl7DPDzT4zEee0k6Q1FYlm3gjIZX3nzvz+HXGpsB12XY85gdi2EFAUpgIxB4\nQmfI8xh0XfpdF0dKBhybzsoIu61RdlcrjLpVhHSxfIfBwKfsSirCQJcaJSeFURmhjIOLhicMfMVB\nKiPgbUR4o2iBReCO4KtJVLeAIT3iQiICm6QqSCmQEJKEqmIqBqZm4mkZsrpBRlHI6jqaGmOYOHW6\nQZMZpzmWJK3FUaRD3kzSEk8zJZ5De5v3ePYphX3hffVk/PcxLfYXuR34Ol//84neAF6PtdIaXnn1\n0Smv5TeCYH/Y80YQQg8Hw6dMAbpDpwu/+Q1TMq3wrf0D9VK6rFt3JMnkuxBCwz9sMeq8JcjvfBvn\nfQv4zGUL6Kz/DrZ9Lo8/HvYG2touIxabwfLl4V7xAwN30d9/G3ueP4N/mn8GXzni+1y77g+8/+b9\nu0jOrpuNqZmUywofXnwhe4fXs6FnPZceejzvn3Mmhp6hVHqGknIjO4+r0nsqGF4dUza20de2ieYj\nT4W6k8JJh/EUCuHexnPmoDz9NLM2b2bWLRfB4CBfdKqwFoa2LyQYzlG4s43dHMU8clhMY4QE7q2C\nocBlqPZzZ/Ilyswgxpc5gQAFj6/Nn8/X2trG/1/sqFbZOq/MvLMTVKtwxLllvnhPmc3lMjv2jGLt\ntVlUNpjiS9q2WrT2CuLrHBKrukhudxGOJLkgQWJhArPNJHVoiuSiJLGZsdfth+DlqO6q4g65mFNN\n9Eb9z25Vvatapf2JJzCFYKppsqNaHfvuqHSaMxsa6HUcNpZK9LkuPY5Dj+PwYi1dTtNChWEYtBgG\nz1UqVHyfmfE4OU3DDQI0IViUTDLVNGk1DBp1nXpdp07TyGnamFI6WKi13282DJqNcBgrrSiMf5Qz\nuk77AY5KXmkTt9eGLyUF16WzMszuyggjgaSMSU5V6LaK9NslBuwSI65LRSqM+gHDfsBwIAhkANIj\nbY9gSRUbcGQV3esjCByqGDhCx5OAGiNQ4gRqHBQdfAs1sNADG026mATEREBCAV9NYigapqKSVlWy\nmkZGM8gZMUwthid0snqMOj1GVjdJqmG6lKqiCkFSVTGEIFG7Nq2q6EK8IS9AuWtzVL0qDYkGuka7\nMFQDgcD2bXRFJ2kkyZgZ0kY6/DTTJPTEmKKIa3EUoRDTYmTMDAOVAWzPflOHB4WcoJlJIYTs65Pk\na2vTfv/78A95YvM5DG/bzLX66aFfz+uuC124AQ//Icmxx3YDAR0dV9DdfSMAx/7ybIxlJ8JnP8vH\nPgaXpP4Xy3/2Y4oLYMtXILf0k0ybdhmp1IFzC543yq5dX2P37m9gGFOpb/wo3epJFBwf13e5ds21\n7B7agCfSjNhFpqankjbT9Jf7qXpVvnj8F/n899dinn4ywSfOxfdHKRb/SNnaxcwZl4/tGeRXfda/\nZz3Sk8TnxtEyGolFCaQvyRyZIbk4id5QW8VrWQxe9zCVe59l2uz1BHffg1IYQppxWHIIYv48aGlh\nJD+HtdsVlqy6nE8tW8u2nbOo9o9w2twOUssPZ+XK0PdsPh9uDXLEEaHf4sHB0Mz2U5+CSmW/LKq+\nz9ZKhd22jSclOyyLTeUy60rhuOlgr8XMTsGybo0FHQqxLo/mnQGJ7oAgq6BWJFpSxR90yZ2QQ6/X\nkVJSXFNEy2moGRXpSIQhMFoMtJxGbEaM2IxY6CGs5hWstL5E90+66V/VDwK0eg1/1EfLaKBA+rA0\nRouB3qCjN+noeR2j2eDFjMelxZ2sPvkw9noOQ65LSlVJewotlopWp6HGVLpu7KL4eJGen/VgTjfR\nMhpKXIEGDadRxWpUKNbDkBHQlI+hlySFvKCnXjKYClBSKrs0h27PZdB1GfI8hlyXchCQ13Uqvk/S\ngp982OfaNVkadJ2kqvLQ8DA3zJv3unoOkwnb9+i2huksDdFjlxl0LIbsCgNOhWHXps/1EF4J6Y0y\n4nmM+gFl36cSBFSDAM8t4fo2LhqBoqPpGTQ9hdCSIAxQNFAMpKLjCxNXGEihgPQRgYsIqgjpg19F\nBDYaHvg2VWeYpGaAniMWVPG0FHpgM/rMZSxvX05Mi3Hn83ey6wu7UISCpmjUxeooOSWEECT0BBW3\nQtEuUrSLjNqjFO0ilmdR9apjh+u7uIE7ls5QDWZkZ/C5oz6HlPKgd+EnVDn09Mgxy53bHplNvb+D\nnz/3IZq3buPa724ZS1v6/MWkvncDf3hA5bjlo6hq+FZUvfEa1ie/zBG/Ohn1zLPh7/6Oj30sNB/9\n/r9X2XDE+zH/66HQn+IXvgBXXQWXXRYqncbGl+RHSkmx+AQ7dlzJyMhjNDZ+kClTLiKXW85jj7Vw\n9NE70fX9Cxc6hjq49dlb2VHYwUlfvom7Z7o8dsJMLj78Yv710X9luDrMvIZ5nDH3DPKJPMvrl7Pn\nmD0kr0ySacmQ3ZMlWBNQ+G2BxMIE9h4bfzScb6k7pY7KCxXSh6d516/H7f5nWbB2LaUXXkD09LBz\nzRqmr1tHr2EwZ9MmyGYZHAzNbNetCx21nHsuFIuwZUvoRW7NGsa2sUgkQkdHrxUpJf2uy3bLYptl\nsce2sYMA1/EZ6bXp77PoHLZwRn2mojO3S6HV1dg5WzBtfpqcpdBu69QVYD0VghGfVJdPvlcS7w/Q\n+nxkt4M34JE5JkP+7Dwtn2pBr9cJ7IArH3+ObS8U6R2sMmdEo6Ws0FJUaBwRZAug9noovR6pEqHC\naDFwB13szv3zLmpGxS/6NK1oIr0sTeNZjfhFH3/Uxy24uH0uTk+4sVx1d5Xqi1UUU0FNq+HupIMe\nfsnHL/uhB7I6DSWmENgBalqFVh3yOpojKd46SDC0dExxOEHAOU1NZN8pS+z/BC/wOO/28+ge7SYb\nyxLX4mTMDFkzy6A1SKFaIGtmxyZgB6wB2tJtJI0kqlBJGSnSZjgJm9ATxPU4cS0+9pa9pnMNfeU+\nDNVAUzRMzQzTaXFMzcRUzZd8Or5DIANysRzrutext7gXCOvxsD3M3uJedFVHEQoSieu59JZ7MbU4\n03Lt9FUGGXXKJM0cmhYnEBoeKooaR9FilAPJrx+9nHS8iaQep6e4i5996GdkY1kSeoL3zn7vGybb\nLVu2MDQ0hJSSE0444Z2vHLq75Zi/7M///iN8hDu4uRP+wzuXh2atZPr0L9LQ8AEqSjsXfuldXHHm\nEMd/80SU+x8MFxJ873vhvhZdXfDRj8Ktt44ph+uuC71XsX07fPrT8PDD4Y1mzgyHdY47Du65J2w9\nzzsvdI21MNy+2vNK9PXdwq5d12DbuwE47rjhV3R8E6xYwQtHzGLjqYfw0IsP8aOnf8TdH7+bpJHk\nkV2PsHLLSvpL/fRZBxpumaqJL32OmnoUf5X4Kw7RD2HW4CwSDyWYe85cvFM87u+4n7SZZsga4rmB\n51jZX2DPSAckZnB861KSsUauW3gE07PTSeiJCZ8XsIOA3dUqva7LtkqFx4pFNCHosm1sKem2bTaU\ny5ydz1MNAkwh6HIcumybbsch7QoaUwZ506RO05ifSNBqGFzW0cG/zpzJsnSaBYkEvY7DHttmV7XK\nXtum13U5OpPh4qYpOL21nUPN0AdxbHYMxVTwhj2kLzEaX5/5oJQSf9THK3j4lo835BHYAYEV4PSF\nSkQGkumXT3+DpPrWZ7g6TN036rjpQzehKzq+9LFcixF7hIpbwQs8ZtXNIpABI9URdo3sojnZTNEO\nPeKVnBJlt8yoM0rFrVBxK1iuRckpUbSL7B3dyycO+QRpI40XeNi+PZbG9m1szx77dHwHX/ok9ATD\n1WE6Rzr5yIKPoCoqlmvhBi5SSubWz6XklrBcCy/wGLQGmVU3i8Z4I5ZnYXs2M3IzKDklSk6JilvB\n9m2qXhXLtZBIrj/j+rBXgPiLd2EAKJfLXHTRRTz33HM8/fTTtLe3E4vFCIKAWCxGuVymo6ODZcuW\nEY/HWbNmzTtfOezZI3lU7+Om7m7mFK7hbH7NzZ3wsPdX3DDrmbG0cw/dxuE/OZ5bDuvhhJNA/PXH\n4ZZbwi9PPz2cp1i9GoBrl/+ER885nt9c08YP79zMZ+bPR73ttnDJcnMzpFLhxj7XXgs//CFceGG4\nag3gsMNCu9PTTw/TL1mCOztPYeQhmprOCSdJFIXv7dnDvUNDdNs2J9XV8Q9XX03DBz5A7PzzAbi5\nt5dHR0ZYnstxbCbDVNPEHXB5atFTvLs/9AJV9aps7N0YPlC1Ludjux9jc/9m7nnhHkpOiVl1s9hR\n2IGhGpw+53Q6Ch3Ynk2vNKkTHh+ccyq7hnays28nJUp0lbuQhBV+dm42lmORMTI0ZhpJG2nq4/VM\nSU+hLdOG5Vr0lftYmF9IfbyelJGiJdXC3uJebtt6G0II6uP1ZM0sjYlGpmWnMTU99aCPeQZSUvA8\num2b3bbNdsui7Pt0Ow4vWBY3L1xI3Ttxm9x3AMPVYdq/087wVcMTnZW3FR0dHcyZM4ebbrqJ6dOn\nM2PGDKrVKoqi4DgOtm2zYMECMpnQJ0ptkvudrRwWrXmKZ2t2wJeJH7JLNvFC51qavQ4unzVCkQyN\nDALwre05Lm0fpvePX+UT//iPCAiHiZYvh1Wrwh7BP/0T4qGHoCsG/2cpC76+il3NzVixGJ/+zW/4\n+qZN5D/zGfwPfpCyEGQ0jQufew4hBJc0NZG54w6mfvazFA49lMb169HGTWjuXrSIac8+izzhBO6P\nx3mhvZ0HDj+c+MyZnPP1r3PbkUfy0BlnMDMWY02xSFZVOS6b5cnRUfpdl0Msk2+ucHjoqTY6LIsA\neG9dHXMTCd6VTNJsGAy5LhlV5XnLQkdijb5IoTrIovwimpJNPFQo8IXt29lYLrN6yRJ23XorF110\n0VgeY/EYTVOb6Cx1QgPQDFqDhjakkW/Ko+ZUurwutJxGJVkh4SWo0+qoBBXKbhnP8AhEQFzEWV6/\nHGlKXM2l5JfYXdzNYGVwrHeydWAruViOOfVz6Cn1sKOwg7n1c9k2tI2FjQtJGkmmZaYxPTudulgd\nDYkGWtOtFO0ig5VB8sk8Tckm8onaZzL/miw2vvvEd7l+7fXkYjnq4nU0JZvImTkkElM1SRkpUkYK\nQzVekqYuVkfKSGFqJnEtTkyLIWvrM8ebY5ad8tiQxZ/i+m7oQ7hmhvhM9zNYnkVdrI5cLEfKSKEI\nBS/wSJtpBK8+uekFHqpQX5Jm36rulJFCU7SDaipackps6NlAxsyQMTMkjWQoI/WlZs0/X/9z7t9x\nPzkzF1pm6UkSemIsvM9+3/EdvvTgl/5ir4xvNXzfR1GU1+4wSUpGR0fRdR3DMFBfxupt69at7Nix\ng0QiQSKRIB6PE4vFiMVibN68mQsuuIDe3t7XdL9JoRx48HdQq/yX8H16aOGeziJneb/gM7PgRB5i\nplbmp94HkDLcruLmm+H4Y47ht5dcgrliRfhjF1wA73kPXHAB9avWct7GInd+cy4v3t/B6kqFnzU3\ns85x2G6/1Ob/zCDgLkXhPdksL1gWPY4DwEcaG7lzYIAAaB4aYkFnJ5ePjrIG6CqXOe3JJzlz2zYS\nphl6Ygfc22/nqRNPZMB1ebJY5J/a2zFr7uSKnseznSOUjniWOx5vZmulwoJEgkoQcOfAAAXPwxQC\nW0oMIXCkJL9nD/3nnTeW11hTE04uR92iRZw0YwZbf/1rNu/Zw7nLl/PNK65g+oIFlDIZdnd1MbBp\nE0cefzzW6Ci5uXPpHxzk+e3b6d67Fz8IaMznWbduHYVCASEEXV1ddHV1cdoZp7GzfyfWgEVvVy+7\nd++ms7OTSqXCtGnTcKRDbkqCZMImnU6BrdFvlchMSaPF4rTKLNm2eupjedy4gKBIOSPpsoepYDHK\nKF12Fw3xBqZnp1NwCgxYA/SX++kr9xHTYjQmGsnFctTH68mYGVrTrST1JDEtRspIcc3D17DikBWc\nt/Q8ClaBvnLfmF14X7mPfDLPSHWEUWeUslumaBfpL/czXB2m7JbHhgPcwCWQwdhYNzBmR64pGqpQ\nSegJUkaKuB7HkAqbh8I9yE0R9lxs6XJUcj6FoMywX6ESVPFlgKpolN3ymMJKanFSRorO0T3hqlkt\njuVZlN0yhmpQH68nqScxNZNn+58la2YpOSV86WOoxpjCSxvpsXH5lJGiYBVoTjVjqubYOL0XeOiq\njqmajNgj5BN50mZ6TIYDlQEM1cBQDVY9u4oHdjzA4vxiinaRslum5JTwAo+kHiqKpJFkT3EPZ8w9\ng+Xty8fWdFTcyljY8qywnHqSfDLPV0/66kFpMw42Z512Grffdx8QNsCmYWCaJoZhjDXkpmli7vus\nHRs2bKC7uxvTNHEcJ7y29l08Hicej7Njxw7mzZvHlClTKJfLVKvVsSPwfQ5rb+euv/mbcFQjHg9X\nqFarob2/lOHip9ohrrlmEiiH390HSjj2ewnfZ1ndIj69oYePe//BZ2bBkcd7JB95BIAzf/Fe7vqp\nS319Pblcjlwuxy233EJ/fz+zr7uOny9dylU//Sns2gXMBB7g+uvvZ8WKFaTTaQAqvs8DhQK/2LSJ\nUx95BO2JJ1i1fDkr16whHY8zEIvRtHhxOIE9bRosXXrAQoyt/f2sfPZZPqfrNOZyEAQ4dpzCjetQ\nKwMklubwElMwR57HCAYplBdS7GsgtrSFjn/pHxtWYuXKcAX4rl3I1avpOuUUqj09TCsUKOfzbGhs\n5ItPPcU/X3ghpY4O+hSFp0dGMHfuJLd+PdtVlbMOOYSPZrOoe/eG3t97esB1w9/X9f1hgIaG0DRJ\n18PZ6IYGaG3df0yZsv+zpSWcxX7gAVixgnI+z55Uim1BQHLXLgY0jf7Fixkol9ldKjFXUbALBXTL\n4sVUCs+ycHyfPmBA02jwfTAMBoVgMAiwAFtKSp6HLgRN8TgtSLL1SYycgZmLIVIqtgl9ho0wBH/c\ns5N8PoutuKTWx5mmNpPL5TBMk3gySVNLC00tLdTn8+imiWGapFIptm3bRkdHBw0NDWHdSSRI7diB\nnkuRa2pElG2UXJxcYyN1mToS6Qz5qo+z4wUqF19IaWqeSkLH6u/CNzSWnXYBTrGANdSH3j9IuuSG\ncisWw2N0FIpFgqoFmoYtPcpT85RkFcur0jjsEqiCmGKiaDp6Ms1QzqSSNKgmDBJ6glkiXM8jVQVb\nE5SG+yjZo4zms5R0yWhcoRRT6NGq1NsKtiopaj7luIYwTDBNbDVgGBshFFwRYOFRFR6jOCiaTp2Z\npapKPtZ6Kh+eeXponZBMQiyGZ1uU1YCy4lF2SlRci0VNi9E1I3S+7rqh83XPA9MM614QhGX3/f2N\n2THHhHvNGEZY7wwjTK+qYbwQoelctRo+Z/u+N4zw+iAI0+6LG3/si4NwqHj8oevhdfvuYxhhgzs0\nFJZR0+Cxx8IXu3H5Ov666/hSXR3LGxvRXRe7WsW2bRzfp+r7VD0P2/OwfR9bCGxVxfZ9PF3nuESC\nelUFw8BzHOxSCdv3sTwPSwhMTWPaPt/D+2z4NS2898hImL9TTgmHvvP5UI6mCZlMWIZ98vY8xFe+\n8s5XDv/9AHxcvZ0RclzC9zm7dRlP3LOWoe5tXHX1v1Ff/z7cIMB4+OFwjuHGG9m0axcL2tq4/vrr\n+fvPfQ4InUrcD/wS0Fvnkmcuw8M/Yfr0E3mu5nHm/PPP56ijjmLFihVjY3dIGW7X8cc/wq9+BU89\ntb9RjcUIqi7FuuPItI2inHAsNDZSvX892x47jAJH0MTv0CkywHFYhGsKdMPCdkw8PBKajeul0LVh\nMuwAApZMvwHmzuX4++5jrRC8e9o0Fjc3U9/eTteLLzJz1iyaEwke3LSJzt5e/nDkkaH9aWtrWPGn\nTQvNjc46izE74H34PvT3QzodPgQAjhM+hIVCGFethg/F0FA4qd/dHU7ojz92h5Pw5PPwiU+Ew3eD\ng+Fv+364ev21dLmlDNO5bqi4hofHGk96epC9vVijo/Sm03Rv3cpgUxOjw8MMDw0xXCrhWxYpx8G0\nbQYHBzm9pYW9lQr5WAzFsiiMjuK6LuVqlf5qlV7HoRAEuIBjGJQUhbIQZA2DQysVhlSVYcuiBFQy\nGQZ8n+2OQ5thMOQ4VIIAKwgoS4kmBIqikEinyWUy1NXVka2rI5FKveSNMB6P09PTg67rpFKp/cMG\nsRgJ00RRFCzXxXEcPM/D9zx838evVvEcB79axa1WqVYq4HmYikJCVUmYJqamEdM0koZByjCI53Ik\nDAMjCFA8j4SUpFwXpbkZISWUSshyGb9UIum6xJJJdCnRFQUNUIKAmJSolhX+D6USuwcG8MtlzGqV\nF4tFYq6LoSgI30e3bQwhMIXACAJWeR6W7xMTgrimEVNV4p6H5nmoiQRapYKRz6MpCoaUoOtsv/JK\nVClRpUQJAgwpQ7kA5UqFpGFgGgZGJoMJGLV7aVJSdhyk76N43tgRF4K4lMSDAN3zwqGfchk5Okpl\neJigVCJw3fDwfYIgIHAcZLVKsHcvQXs7tuNAczNmWxvKjBl09vXhVatcfNtt/GjlSo59z3tetVoj\nZdhQ+37YcDtOaEkIoaI0jPBZTSTCtL4fpt937T4l4Xnhs2HbofXka1yEOSmGle7+LVyh/YCtLOS3\nDSuZnZ3Hyv96hOHuF7n239aPpd1T7GLGpZcRlCRcHG6wN+Vhh0t238mPpc2P167lfs9j8RVXcP75\nn+R734Nvfzu0Vurp6WH16tWsXr2alStXAjBnzhz+9m//lvnz59Pc3MySJUswTZPu7m5aW1vRdZ2h\noSE+dOKZVDZaKCgcoixmrqajO/ORSA797KG0T29nwwMb6O7tInWKTrDYoLW1lfe/f/9COk3V8Pyw\nYiyaP58Z9fXMisdZ+eST3PDjH5PIZNiyZQt79uxh27ZtLFy4kIGBATZs2MA555zD1Vdf/Sb+KzWk\nfGklfrtRrYYKqFoNe0tDQ+HDus80rr7+Vfco8X0/bMh9n0qlwsjICENDQ4yMjFCpVHAch0qlgmVZ\nWJZFpbZYpK6ubiy+UqlQqVQIgmBMmaiqOnZomvaScDweD7dSsO2x623bplqtUi6XKZVKY/Gu647l\nrVQqMTg4iOu6ZLNZdF1HVVUsy6JareK6Lq7r4nkeQRBQrVYRQhAEwdjq3RkzZlAulzEMg+bmZuza\n8KvjOGMTorZtMzw8zBc+//lwOKSWT8uyxmTled6YEnQch1KpRFNTE83Nzfi1htpxHCzLYmBgANu2\naWlpGcunbdtj93Rdl1QqhaIoYQMfBPi+/xLZeJ43Vt597ZimaSiKMnaImpIff67rOoqiYNs2QRDQ\n09PDEUccgaqqrFq1imnTph3c+vk6mRTK4fb7IFfrGU6d+r+JxWbxq1V/YLhnJ9d+6xmKxbBntabr\nQU6+6GT+Yck/8J7N58J9Nkm+wsk8OPZ7PzjnP/jANy+kvR3uuAMuvbRmyvonOI7D71b/jhuuv4G7\nVt91wPfJZJIFCxbQ399PZ2cny/PLYSEsnbOUF7e9yF2PhNfMnTuXzs5ObNtm1qxZVCoVCoUCU6dO\nxXEcHn/8cbLZLJ2dncyZM4f+/n76+vro6uqio6ODvXv38uUvf5lUKnVAHiIiDhZSShzHGWtwFUUh\nfsBq6rcHvu+PlQXCZ3cy8GYphwldjfOrW+GST4ThvXv/H9OnXzW2l3ShEL7gAcQ+9FM0X8PqsHDX\nCq5lER9nKb0czY94H1KF9asO5XOrwvSPP/7K9zQMg/lPzOfS1ZdyKZei53XK/WV66GFm3UwKhQLP\nPP0Mo4yygAUcvuRwDn3g0Jf9Lc/z6OnpYerUqa9o2bB4cWj33NbWRltbG8uWLfvLBRUR8Qaxb7L0\nnYCqqm9bxfZ2YEJ7DsrfwO8+DWs74HgNskd9ijvuHmK4fzff+Na6V73+D/UfpXWomT3j9vXbRJYH\nprdTTsbQEoJ/qWyk7uQ6kkuS2LttFFOh+Mcihd8WmPGPM5j+xekIEW5ep8QUnG4H3/IxmgysHRax\n6TFQQM9FdvURERFvDSbFsFJ3ErbeDdZn4P3b4axz4PZF8OHyDO741k5mz7uZG19opf9YjUvWf+pz\nMAAABulJREFUtzJYmcWl4gdsNRZzr30it5z8Y079+w/hjXg0ndNE38o+hu4dYviRYZy9oVnqtMun\n0fPzHtw+FzWtouU0MsdkmPnVmSTmTnL3bBEREW87JoVykMBoG3xzLlxT26I8fzkMbK6HeweB8eVf\njMlxVPnRWMzjt+7lmI+2vpnZjoiIiJhQ3izlMOHmKOk9oWL42vHhef+34Ox7b6COIQxg7uy56LoB\nbOErZ3aHiVwXnniCY856eec8ERERERGvjwnvOYwne1yCkUcrL5uek0+Gzk6IxWDjxoOev4iIiIi3\nIpOm5wDwrgX/l3oGKT5aRsehmR549FH45CfDlbyKEu4t3dUFp5020dmNiIiIeMcz4RvLj5iwJdlC\nE4dzdG4tN/y+nqVLm4FmePe7Jzp7EREREZOSCe855K4Gtdflsct/y5q+HEsPdNYWEREREfEmM+Fz\nDt9iPcsocLJcPiH5iIiIiHg7MSlWSF/P33EYBY7rOXYisxERERER8SdM6LDSrsy5nCSXYzS/PpeN\nERERERFvLBOqHI4uRttSRERERLwVmVDlsOTWhRN5+4iIiIiIV2BiJ6Qn6N4RERERb1cm1SK4iIiI\niIi3FpFyiIiIiIg4gEg5REREREQcwEFTDkKI04QQzwkhXhBCXHmw7hMRERER8cZzUJSDEEIBvg+8\nD1gMfFwIseBg3OudwO9///uJzsJbhkgW+4lksZ9IFm8+B6vncCSwTUq5S0rpAv8JfOgg3ettT1Tx\n9xPJYj+RLPYTyeLN52Aph6nA7nHne2pxERERERFvA6IJ6YiIiIiIAzgoi+CEEEcD/yylPK12fhUg\npZTfGJcmWgEXERER8T/gzVgEd7CUgwo8D5wMdANPAh+XUm59w28WEREREfGGc1C27JZS+kKIzwH3\nEw5d/SRSDBERERFvHyZsb6WIiIiIiLcuEzIh/U5cICeEaBNCPCiE2CKE2CSE+PtafJ0Q4n4hxPNC\niPuEENlx11wthNgmhNgqhHjvuPhlQoiNNfl8Z1y8IYT4z9o1jwshpr+5pfzLEEIoQoh1Qoi7aueT\nUhZCiKwQ4r9qZdsihDhqEsviUiHE5lo5flXL+6SQhRDiJ0KIXiHExnFxb0rZhRDn19I/L4T45GvK\nsJTyTT0IFdJ2YAagA+uBBW92Pg5CuVqAQ2vhFOGcywLgG8AVtfgrgWtr4UXAM4RDe+01mezryf0R\nOKIW/m/gfbXwxcAPa+Fzgf+c6HL/GZlcCvwSuKt2PillAfwMuKAW1oDsZJQF0ArsAIza+Urg/Mki\nC+A44FBg47i4g152oA7oqNW73L7wn83vBAjoaODecedXAVdO9B93EMp5B3AK8BzQXItrAZ57uXID\n9wJH1dI8Oy7+r4Hra+HVwFG1sAr0T3Q5X6X8bcBvgeXsVw6TThZABuh4mfjJKItWYFetsdKAuybb\nM0L4UjxeORzMsvf9aZra+fXAuX8urxMxrPSOXyAnhGgnfEN4gvCP7wWQUvYATbVkfyqHvbW4qYQy\n2cd4+YxdI6X0gWEhRP1BKcTr59vA5cD4Sa3JKIuZwIAQ4qbaENuNQogEk1AWUsou4N+BTsJyjUgp\nH2ASymIcTQex7CO1sr/Sb70q0SK4NxghRAq4Ffi8lLLESxtHXub8dd3uDfytNwwhxBlAr5RyPa+e\nx3e8LAjfkJcBP5BSLgPKhG+Fk7Fe5Ai30ZlB2ItICiFWMAll8Sq8Zco+EcphLzB+kqitFve2Rwih\nESqGX0gp76xF9wohmmvftwB9tfi9wLRxl++TwyvFv+QaEa4lyUgphw5CUV4v7wbOFELsAG4BThJC\n/ALomYSy2APsllKurZ3/mlBZTMZ6cQqwQ0o5VHuzvR04lskpi328GWX/H7W5E6EcngLmCCFmCCEM\nwvGwuyYgHweDnxKOB353XNxdwKdq4fOBO8fF/3XNwmAmMAd4sta1HBFCHCmEEMAn/+Sa82vhjwEP\nHrSSvA6klF+UUk6XUs4i/H8flFKeB9zN5JNFL7BbCDGvFnUysIVJWC8Ih5OOFkLEamU4GXiWySUL\nwUvf6N+Mst8HnCpCq7k64NRa3KszQZMypxFa82wDrproSaI3qEzvBnxC66tngHW1ctYDD9TKez+Q\nG3fN1YRWCFuB946LPwzYVJPPd8fFm8CqWvwTQPtEl/s1yOUE9k9IT0pZAEsJX4rWA7cRWo1MVll8\npVaujcDPCS0WJ4UsgJuBLsAmVJQXEE7OH/SyEyqgbcALwCdfS36jRXAREREREQcQTUhHRERERBxA\npBwiIiIiIg4gUg4REREREQcQKYeIiIiIiAOIlENERERExAFEyiEiIiIi4gAi5RARERERcQCRcoiI\niIiIOID/DzOM3GEve64NAAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "random.seed('running')\n", "\n", "for i in range(10):\n", " plot_running_averages(simulate_st_pete, 100000);" ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "What can we see from this? Nine of the 10 repetitions have a final expected value payoff (after 100,000 rounds) between 10 and 35. So a price around \\$13 still seems reasonable. One outlier has an average payoff just over 100, so if you are feeling lucky you might be willing to pay more than \\$13.\n", "\n", "# The Ellsburg Paradox\n", "\n", "The [Ellsburg Paradox](https://en.wikipedia.org/wiki/Ellsberg_paradox) has it all: an urn problem; a paradox; a conclusion that can only be resolved through psychology, not mathematics alone; and a colorful history with an inventor, [Daniel Ellsburg](https://en.wikipedia.org/wiki/Daniel_Ellsberg), who went on to become the releaser of the [Pentagon Papers](https://en.wikipedia.org/wiki/Pentagon_Papers). The paradox is as follows:\n", "\n", "> An urn contains 33 red balls and 66 other balls that are either black or yellow. You don't know the mix of black and yellow, just that they total 66. A single ball is drawn at random. You are given a choice between these two gambles:\n", "- **R**: Win \\$100 for a red ball.\n", "- **B**: Win \\$100 for a black ball.\n", "\n", "> You are also given a choice between these two gambles:\n", "- **RY**: Win \\$100 for a red or yellow ball.\n", "- **BY**: Win \\$100 for a black or yellow ball.\n", "\n", "Many people reason as follows: \n", "- **R**: I win 1/3 of the time\n", "- **B**: I win somewhere between 0 and 2/3 of the time, but I'm not sure of the probability. \n", "- **RY**: I win at least 1/3 of the time and maybe up to 100% of the time; I'm not sure. \n", "- **BY**: I win 2/3 of the time. \n", "- Overall, I prefer the relative certainty of **R** over **B** and of **BY** over **RY**.\n", "\n", "The paradox is that, from an expected utility point of view, that reasoning is inconsistent, no matter what the mix of black and yellow balls is (or no matter what you believe the mix might be). **RY** and **BY** are just the same gambles as **R** and **B**, but with an additional \\\$100 for a yellow ball. So if you prefer **R** over **B**, you should prefer **RY** over **BY** (and if you prefer **B** over **R** you should prefer **BY** over **RY**), for any possible mix of black and yellow balls.\n", "\n", "Let's demonstrate. For each possible number of black balls (on the *x* axis), we'll plot the expected value of each of the four gambles; **R** as a solid red line, **B** as a solid black line, **RY** as a dashed red line, and **BY** as a dashed black line:" ] }, { "cell_type": "code", "execution_count": 65, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYkAAAEPCAYAAAC3NDh4AAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3X18FfW17/HPwgfAJ0RbRbSliIRa0B6pVO8BD2lBaqvS\nHokc26pAhVttb8FaIbG9Nnh6zyHJlTaIxQqoRSxUQWxR6BXURklO6wPIMeJjKUZbIDa1qKEVoln3\nj5noJmYnOzuZzJ7k+3699it7JrP3rB0xKzO/9Vs/c3dERERa0ivuAEREJHcpSYiISFpKEiIikpaS\nhIiIpKUkISIiaSlJiIhIWpEmCTO7zcxqzeyZlH39zWyDmb1oZg+aWb+U711nZi+b2fNmNiHK2ERE\npG1RX0ncAXyh2b4i4CF3HwY8AlwHYGafAiYDpwJfBBaZmUUcn4iItCLSJOHulcDfmu3+MrAsfL4M\n+Er4fCLwS3d/191fAV4GPhtlfCIi0ro4xiSOc/daAHffDRwX7j8ReC3luD+H+0REJCa5MHCtviAi\nIjnq4BjOWWtmx7t7rZkNAF4P9/8Z+FjKcSeF+z7EzJRYRESy4O7tGuvtiisJCx9N1gJTw+dTgF+n\n7L/EzA41s8HAKcAT6d7U3fFnnsEvvRQ/5hj8+uuDfQl4FBcXxx6D4o8/jp4Yf5Jj7w7xZyPSKwkz\nWwHkA8ea2atAMVACrDKzbwA1BBVNuPtzZnYP8BzQAHzL2/pUp50Gy5dDTQ08/nh0H0REpIeKNEm4\n+9fSfGt8muPnAfPafaJBg4KHiIh0qlwYuI7WD34AGzdClpdaUcjPz487hA5R/PFKcvxJjh2SH382\nLNv7VHEyszbvRAFBYli+HEpLoXdvKCyEggI46KDogxQRyTFmhrdz4Lp7J4kmjY2wbh2UlEBtLcyd\nC5deGll8IiK5SEkiE5WV8Kc/wSWXdG5QIiI5TklCRETSyiZJdP+B60y5B7ehXnop7khERHKGkkST\nhobg6+jRweD2k0/GG4+ISA5Qkmhy6KHBlcSOHTBmDEyaBJ//PGzaFHdkIiKx0ZhEOg0NsHIlHHZY\ncGUhIpJwGrgWEZG0NHDdVfbvh/Jy2LMn7khERCKlJJGNt9+GLVtgyBCYMwd27ow7IhGRSChJZOPY\nY+HOO4NEsW8fjBgB06fDH/4Qd2QiIp1KSaIjBg2CBQuCuRUnnaQ5FiLS7WjgWkSkh9DAdS566y24\n+2547724IxERaTcliajV1sJNN8GwYXDrrfDOO3FHJCKSMSWJqA0dClVV8POfw/33w+DBQcvyN9+M\nOzIRkTYpSXSVMWPggQdgwwZ47jnYti3uiERE2qSBaxGRHkID10m3a5e6z4pITlGSyCUvvxx0nx03\nLrgtpaslEYmZbjflmqbus2VlQfvyoqIgcRx0UNyRiUjCqQtsd9LYCOvWBcni9tuDKikRkQ5QkhAR\nkbQ0cN2TvPqqus+KSOSUJJLqsceC7rMzZqixoIhERkkiqS69NEgOJ54YTNQrKFD5rIh0Oo1JdAd7\n98LSpXDLLfD738PRR8cdkYjkIA1c93TuYO367y8iPUgkA9dmdryZ3WZmvwm3P2VmV2QbpEQoXYJ4\n7TV1nxWRrGQyJvFz4EFgYLj9EnB1VAFJBJYuDbrPzpsHe/bEHY2IJEgmSeIj7n4P0Ajg7u8CWkEn\nSW64ATZuhOefhyFDYM4clc+KSEYySRJ7zexYwAHM7GxAiyEkzYgRcOedsGUL7NsHn/ucVssTkTa1\nOXBtZiOBhcAI4Fngo0CBuz8TfXhpY9LAdUc1NMAhh8QdhYh0ociqm8zsYGAYYMCL7t6QXYidQ0ki\nQq+/Dh/9qKqkRLqhTk0SZnZRay909zXtOVEL7/9d4AqCsY5qYBpwOHA3MAh4BZjs7h+6taUkEaGL\nL4bt26GwMOg+e/DBcUckIp2ks5PEHa28zt39G+05UbP3HghUAp909/1mdjewHvgU8Fd3LzOzQqC/\nuxe18Holiag0dZ8tLQ0WQZo9G6ZOhT594o5MRDooMZPpwiTxO+CfgLeBNcBNwM3AWHevNbMBQIW7\nf7KF1ytJdIXKyiBZvPlm0CtKRBItkiQRVjYVA2MIKpwqgX93979mG2j4vjOB/wD+Dmxw98vM7G/u\n3j/lmDfc/ZgWXqsk0ZXq6+GII+KOQkQ6KJskkckN518CjwGTwu2vE4wbjG9feB8ws6OBLxOMPbwJ\nrDKzrxOW2aZImwnmzp37/vP8/Hzy8/OzDUfaki5B7N0Lhx/etbGISMYqKiqoqKjo0HtkciXxrLuP\naLav2t1Py/qkZgXAF9x9Rrh9GXA28HkgP+V202/d/dQWXq8ribi5w8iRweS8wkIYNSruiESkDVEt\nOrTBzC4xs17hYzJBm46OeBU428z6mJkB44DngLXA1PCYKcCvO3geiYoZbNoE55wTVEGNGxfM6lby\nFulWWqtuepvgdo8RlKY2ht/qBdS7+1EdOrFZMXAJ0AA8DUwHjgTuAT4G1BCUwH6o2ZCuJHJMQwOs\nXBmsx3322UGvKBHJOYmpbuooJYkc1dgIdXVw3HFxRyIiLYhyxvXpwCdIGeju6GS6jlCSSKB339XE\nPJGYRVLdZGa3A6cD2/jglpMTzG0Qads778Cppwazua++GgYObPs1IpITMhm4Ptvdz3T3Ke4+LXxk\nPdtaeqA+faCiIkgWI0bAjBnB+twikvMySRK/M7NPRR6JdG+DBsFNNwXJ4cQTYcwYuPHGuKMSkTZk\nMk9iLEFp6m5gH0G1k7v76dGHlzYmjUkk3d69wSp5J54YdyQiPUZUbTn+AFxD0Km1aUwCd6/JJsjO\noCTRzbmrVblIBKKaTPcXd1/r7jvcvabpkWWMIq3btQs+9Sm49dZgDENEYpVJknjazFaY2VfN7KKm\nR+SRSc90wgmwZAk88AAMHgzz5gW3pUQkFpkkib4EYxETgAvDxwVRBiU93JgxcP/9QZuP558P+kPd\nd1/cUYn0SJpxLbmvpiZYj1vzK0Q6JKqB6z4Ey4wOB95fnizOuRJKEiIi7RfVwPVyYADwBeBR4CSC\n1eRE4rV1q7rPikQskyRxirtfD+x192XA+cBZ0YYlkoHhw2HKFPjud+Ezn4G774b33os7KpFuJZMk\n0RB+3WNmI4B+gNp8SvwOOQQuvxyeeQZuuCGY0Z2XB08+GXdkIt1GJmMS04F7CZr83QEcAfzQ3X8W\nfXhpY9KYhLSsqgqGDYOPfCTuSERyjtaTEBGRtKJqFX5NC7vfBDa7+9b2nEwkNhs3BmMWs2cHVxoi\nkpFMxiTOBK4ETgwf3wTOA5aY2ZwIYxPpPGecASedFKzJXVCgcQuRDGUyJvEY8CV3rw+3jwDWESSK\nze7e5W3EdbtJsrZ3b7AG9/z5MHQo3HEHfPzjcUcl0iWimidxHEFbjiYNwPHu/o9m+0Vy3+GHw6xZ\nsH07TJsGH/1o3BGJ5LRMFh3+BfC4mf063L4QWGFmhwPPRRaZSJQOOQQuvTTuKERyXkbVTWZ2JjA6\n3Kxy96cijarteHS7SaKzejW8/DJcdRUcfXTc0Yh0mqhuN+HuT7n7gvARa4IQidzw4R90n50zB3bu\njDsikdhklCREepRTT4U774QtW2DfPhgxAmbMgLfVskziV11dTX19fded0N0T9wC8pUdxcbG3pLi4\nWMfr+OyPnz07t+LR8T3y+KlTp/r555/vAwYM8CeeeKLF17YFcG/n71vNuBYRyVGNjY088MADlJaW\nUltby5w5c7j88svp06dP2y9uQVQzri8CSglKYS18uLsflVWUIt3JXXcFlVKTJsHBmRQLirRt//79\nrFy5krKyMvr06UNhYSGTJk3ioIMO6vJYMhmTKAMmuns/dz/K3Y9UghAJDRgACxcGrT5+9jP4xz/i\njkgSrL6+nvLyck455RSWL1/OggULeOqpp5g8eXIsCQIySxK17v585JGIJNH48VBZCcuWwbp1cPLJ\nMG+e1rWQdqmrq6O4uJiTTz6Zqqoq1qxZw0MPPcT48eMxa9fdoU6X9vo4vM0E8JSZ3Q38ipQZ1u6+\nJuLYRJJjzJjg8eyzcN99ENNffZIsNTU1zJ8/n7vuuouCggIqKyvJy8uLO6wDtHYT9cKU538HJqRs\nO6AkIdLciBHBQ6QV1dXVlJWVsX79eqZPn862bds44YQT4g6rRapuEukqd94ZzMEYNSruSCQG7k5l\nZSWlpaVs3ryZmTNnctVVV3F0F87qj2TGtZktM7OjU7b7m9nt2QQo0qO9805QBTVuHGzYAPpDp0do\nbGxk7dq1jBkzhmnTpnHhhReyY8cOrrvuui5NENnKpFX40+5+Rlv7upKuJCSxGhpg5UooLYXeveG6\n6+Dii+OOSiLQ0NDAihUrcqKMtUkky5ea2X8D+e7+t3D7GOBRdz8t60g7SElCEq+xMaiG2rwZ5s6N\nOxrpRHv37mXp0qXMnz+fvLw8ioqKGDduXOxVShBdkrgc+D6wimAiXQHwH+6+PNtAw/ftBywFRgCN\nwDeAl4C7gUHAK8Bkd3+zhdcqSYhITqmrq2PhwoXccsstjB07lsLCQs4888y4wzpAJGMS7n4nMAmo\nBXYDF3U0QYQWAOvd/VTg08ALQBHwkLsPAx4BruuE84gkz4oV6j6bEDU1NcycOZO8vDx27dpFZWUl\nq1atyrkEka1MW4VvA+4B1gL1Ztah9R7N7CjgHHe/I3z/d8Mrhi8Dy8LDlgFf6ch5RBLJPehA29R9\n9qWX4o5IWlBdXc1ll13GyJEj6du3L9u2bWPx4sU5N8+hozKpbppoZi8DO4BHCW4D/aaD5x0M1JnZ\nHWa2xcwWm9lhBMui1gK4+26CflEiPYsZ3HhjkBxOPBFGj4aCAnhKS7nEzd3ZtGkTF1xwARMmTGD4\n8OFs376d0tLSnJ3n0FGZXEn8CDgbeMndBwPjgN938LwHAyOBn7r7SGAvwa2m5gMNGniQnusjHwkG\ntXfsgHPOgd909G8zyVbzMtaJEyeyY8cOioqKElHG2hGZtK1scPe/mlkvM+vl7r81s/IOnvdPwGv+\nwSp39xIkiVozO97da81sAPB6ujeYm1IRkp+fT35+fgdDEslRRxwBs2bFHUWPlEvdWLNRUVFBRUVF\nh94jk+qmhwjGBkqAYwl+cY9y93/u0InNHgVmuPtLZlYMHBZ+6w13LzWzQqC/uxe18FpVN4k0+dWv\n4LzzIMs1BuTD6uvrWbp0KT/+8Y/Jy8ujsLAwJ5rtdVRUJbCHA/8guDX1daAf8At3/2u2gYbv+2mC\nEthDgD8C04CDCAbIPwbUEJTA7mnhtUoSIhDM4i4oCOZbzJwJV10F3fz2R5SaylgXLVr0fhnrqG7U\nRiWSJBG+8SBgqLs/FA4wH+TusS34qyQh0kx1NZSVwfr1cMUVcPXVMHBg3FElRvNurNdee223q1KC\n6Ho3zQBWA7eGu04kaBsuIrnitNNg+fKgdHbfvmCehbSpp5SxdkQmt5u2Ap8FHm/q12Rm1WrLISJJ\n1Lwb66xZs7jyyiu7fZUSRLTGNbDP3fc3DdiY2cGoNFUkedxh06agnDbhA7DZaGxs5IEHHqC0tJTa\n2lrmzJnD6tWr6aMB/1ZlkiQeNbPvA33N7FzgW8D90YYlIp1u9+5gYLt3bygsDAa8E1LK2RFJL2ON\nWya3m3oBVxCsTGfAg8DSOO/36HaTSJaaus+WlEBtLVx7LUyZAn37xh1Zp2texppL3VjjEll1U65R\nkhDpBJWVwboWF10E06bFHU2nad6Ndc6cOd2qjLUjlCREpP3cu8UYRU8pY+2ISEpgRaSbaylB7NuX\nmO6zKmONVtokYWbLw69qGiPS0zz33AfdZ598Mu5oWlRZWdmjurHGpbUric+Y2UDgG2bW38yOSX10\nVYAiEoMzzvig++ykSTBuHGzYENyailFTN9bRo0czZcoULrzwwh7TjTUuacckzGwmcBVwMvBngsqm\nJu7uJ0cfXss0JiHShRoaYOXKoO1HeTmMH9/lIaiMtXNE1eDvFne/qkORdTIlCZEYNDYGX3t13VBm\nahnr0KFDKSoq6hbdWOMSyYxrd78q7Nh6TrjrMXd/JpsARSTB0iWH+np4991O7T77l7/85f0y1vz8\nfNasWdNt1oxOmkwa/M0EfkGwlOhxwC/M7DtRByYiCfHIIzBkCMyZAzt3duitampqmDlzJsOGDWP3\n7t1UVVWxatUqJYgYZXLdOB04y91/6O4/JFjKdEa0YYlIYkyc+EH32REjYMaMdpfPqow1d2WSJAx4\nL2X7PQ4cxBaRnm7QIFiwIEgOJ54IY8bAyy+3+TKVsea+TAaurwGmAPeFu74C/NzdO7rOddY0cC2S\n4/7xj7T9oJp3Y509ezZTpkxRN9YuEOXKdCOBMeHmJnd/Oov4Oo2ShEjy7N+/n1W3307JTTdxaN++\nKmONQVTrSeDuW4AtWUUlIj1aahnrdb178/jf/07fmTOxiRN7RKvypFPvJhGJRF1dHcXFxQwePJiq\nqirWrFnDVS+/zGF3342tWweDB8O8ebBnT9yhSiuUJESkUzWVsebl5bFr164Pl7GOGQP33w8bN8Lz\nz0NeHrz5ZrxBS1oZJQkzG2Rm48Pnfc3syGjDEpGkaXcZ64gRcOed8MIL0K9f1wYrGctkMt0MYDVw\na7jrJOBXUQYlIsng7mzatKljZazHpOkXum9f5wUqWcvkSuLbwGjgLQB3f5lg5rWI9FCp3VinTZsW\nTTfW7343Z7rP9mSZVDftc/f9TQ21zOxgQP/FRHqgLu3GumBB0H32mmvg0EOhsDBY30IVUV0qk8l0\nZcAe4HLgO8C3gOfc/QfRh5c2Js2TEOlCqWWseXl5FBYWdl031sZGWLcOSkqCZoJbtihRZCmqVuG9\ngCuACQTtOB4Elsb5W1pJQqRr1NXVsXDhQhYtWkR+fj6FhYXxNtt75RX4xCfiO3/CRTbjOtcoSYhE\nq6amhvnz53PXXXcxadIkZs+endvN9hobu3Sdi6TKJklkUt20w8z+2PyRfZgikqtaKmNdsmRJbicI\ngIsuyqr7rLQtk9R7JjAqfJwD3ATcFWVQItK1Et+NdenSD7rPFhTAk0/GHVG3kdXtJjPb7O6fiSCe\nTM+v200iHdQtu7Hu3RskjPnzYfTooDpK3hfVwPXIlM1eBFcWV7n7p9sfYudQkhDJXkNDAytXrqS0\ntJTevXtTVFTU/bqxNjTAiy8Gs7rlfVElid+mbL4LvALc6O4vtjvCTqIkIdJ+e/fuZenSpcyfP7/r\ny1glJ0TSKtzdP5d9SCISt7q6Om6++WYWLVrE2LFjWbNmTc9dM9odzj03mMl91VXQWbPDu7G0SSJc\nkS4td/9x54cjIp0ltYz14osvpqqqiqFDh8YdVrzMoLwcyspgyBC44gq4+moYODDuyHJWa9VNR7bx\nEJEc1FIZ66233qoE0aSp++yWLUETwREj4Ec/ijuqnBXrZLpwNvdTwJ/cfaKZ9QfuBgYRjH1MdvcP\nNZrXmITIgdydyspKSkpK2LJlC7NmzeLKK6/svGZ73VldHbz6Kowc2faxCRfVwHUfgrYcw4H3a+Pc\n/RvZBNnsvb8LfAY4KkwSpcBf3b3MzAqB/u5e1MLrlCRECMpY161bR0lJSfcpY5XIRDLjGlgODAC+\nADxKsJ7E2+0P70BmdhLwJWBpyu4vA8vC58uAr3T0PCLdUUNDA8uWLeO0006juLiYWbNm8eKLL/LN\nb35TCaKzvPMOfPGLcPfd8O67cUcTm0ySxCnufj2w192XAecDZ3XCuX8CzObAtuPHu3stgLvvRutW\niBygvr6e8vJyhgwZwvLlyykvL2fz5s1Mnjy5e81zyAWHHgrf/jYsXAjDhsHPfhYkjh4mkyTREH7d\nY2YjgH508Je3mZ0P1Lr7VoLOsunonpIIQRlrcXExJ598MlVVVaxZs4aHHnqIc889V/McotKrF1xw\nAVRWwrJlQbvywYN73CzuTBYdWhwOKF8PrAWOCJ93xGhgopl9CegLHGlmy4HdZna8u9ea2QDg9XRv\nMHfu3Pef5+fnk5+f38GQRHJPahlrQUEBlZWVud9srzsaMyZ4PPtsopZVraiooKKiokPvkcnA9UHu\n/l6HztL6+48FvhcOXJcRDFyXauBaerLq6mrKyspYv34906dP5+qrr05Osz3JWVENXO8ws8VmNs6i\nv64tAc41sxeBceG2SI/g7mzatCnZ3Vh7qjfegK99rVt2n83kSuIw4ALgEoJy1fuBX7p7ZfThpY1J\nVxLSbTR1Yy0pKeH1119XGWsS/f3vQffZG2+EoUOD9bjPPTeY4Z1DIl+ZLhybWAB83d1jK6VQkpDu\nYP/+/axcuZKysjL69OlDYWFh9+vG2tM0NAQD22VlQXXUwoVBy/IcEVmSCMcN/g04j2CG9N3ufm9W\nUXYCJQlJsvr6epYuXcqPf/xjdWPtrhobP6iGyqF25VHNuH4FeBq4B1jr7nuzjrCTKElIEtXV1bFw\n4cL3u7EWFhYyatSouMOSHiSqgevT3f1f3X1lLiQIkaSpqalh5syZ5OXlsWvXLqqqqli9erUSRE+1\nYwfMmQM7d8YdSUbaTBLu/lZXBCLS3TTvxvrss8+yePFizXPo6fr2/aD77IwZ8NJLcUfUqkyuJEQk\nQ62VsQ7UmgUCMGAALFgQJIeBA4OB7YIC+MMf4o6sRbG2Cs+WxiQk1zSVsZaWlqobq7RPfT3cdhtM\nnBgMdEeoUweuc3llOiUJyRUqY5Uk6ew1rptWnxsGjCLo2wRwIfBE+8MT6T5Sy1iHDh1KeXm5ylil\n823dCr//PUydCjFdlaYdk3D3G9z9BoL1I0a6+/fc/XsEs64/3lUBiuSSlrqxPvzww+rGKtE4+OAP\n5lvMmwd79nR5CJkMXB8P7E/Z3h/uE+kxmpexVlZWsmrVKs4888y4Q5PubMQIuP9+2LgRnn8ehgyB\n6zvahLt9MplM9wNgMnBfuOsrwD3u/p8Rx9ZaTBqRkC7xLFAGrAOmA1cDarUnOSGL34JRtuUYCZwT\nbj7m7k+3O7pOpIFriVplZSUlJSVs3ryZWbNmceWVV3L00UfHHZZIh3T2wHWqw4C33P0OM/uomQ12\n9x3tD1EkdzUvY7322mtZtWoVffv2jTs0kdhkcrupGDgTGObueWY2EFjl7rG1NtSVhHQmlbFKTxHV\nlcS/AmcAWwDcfaeZHdn6S0Ryn8pYRdqWSZLY7+5uZg5gZodHHJNIpFK7sebn57NmzRpVKYmkkUkJ\n7D1mditwtJnNAB4ClkYblkjnaypjHTp06PvdWFXGKtK6Nq8k3P1GMzsXeItg9vUP3X1j5JGJdJLq\n6mrKyspYv34906dPZ9u2bWq2J5KhTAauS929sK19XUkD19IWd6eyspLS0lKVsYqEolqZbou7j2y2\n7xl3Pz2LGDuFkoSko26sIul1anWTmV0FfAsYYmbPpHzrSOC/sgtRJBoqYxWJRmutwvsB/YF5QFHK\nt9529ze6ILa0dCUhTZrKWOfPn8+wYcMoLCxUGatIGp16JeHubwJvmtkC4A13fzs8yVFmdpa7P96x\ncEWy17yM9b777lOVkkgEMimBvQWoT9muD/eJdLnUMtadO3eqjFUkYpkkiQPu7bh7I5n3fBLpFNXV\n1Vx22WWMHDmSvn37sm3bNpYsWUJeXl7coYl0a5kkiT+a2UwzOyR8zAL+GHVgIhB0Y73ggguYMGEC\nw4cPZ/v27ZSWlmqeg0gXyaQE9jjgJuDzgAMPA1e7++vRh5c2Jg1cd2MtdWOdOnWqylhFOiiy9SRy\njZJE96QyVpFoRdIF1szyCAaqj3f3EWZ2OjDR3f9PlnGKHKB5N9af/OQnWjNaJEdkMiaxBLgOaABw\n92eAS6IMSnqGuro6iouLGTx4MFVVVaxZs4aHH36YCRMmKEGI5IhMksRh7v5Es33vRhGM9AxNZax5\neXnqxiqS4zJJEnVmNoRg0BozKwB2RRqVdEstlbEuXrxYZawiOSyT6qaTgcXAPwN/A3YAX3f3mujD\nSxuTBq4TpLKykpKSEnVjFYlZpNVN4Yp0vZrac8RJSSL3qRurSO6JqrrpWKAYGAO4mVUC/+7uf80u\nTOnOVMYq0r1kMibxS+AvwCSgIHx+d0dOamYnmdkjZrbNzKrNbGa4v7+ZbTCzF83swbATrSRAfX09\n5eXlnHLKKSxfvpzy8nKeeuopJk+erAQhkmCZjEk86+4jmu2rdvfTsj6p2QBggLtvNbMjgM3Al4Fp\nwF/dvczMCoH+7l7Uwut1uylH1NXVcfPNN7No0SLGjh1LYWGhqpREclQ2t5syuZLYYGaXmFmv8DEZ\neDC7EAPuvtvdt4bP64HngZMIEsWy8LBlwFc6ch6JTmoZ65///GcqKytVxirSDWVyJfE2cDjwXrjr\nIGBv+Nzd/agOBWD2CaACGAG85u79U773hrsf08JrdCURk+rqasrKyli/fj3Tp09n1qxZarYnkhCR\nDFy7+5HZh9S68FbTamCWu9ebWfPf/Gkzwdy5c99/np+fT35+fhQhCuDuVFZWUlpayubNm5k5cyYL\nFy5UGatIjquoqKCioqJD75HJlcQV7n5byvZBwP929xs6dGKzg4EHgN+4+4Jw3/NAvrvXhuMWv3X3\nU1t4ra4kuoDKWEW6l0iuJIBxZjYJuAI4FrgDeDSL+Jq7HXiuKUGE1gJTgVJgCvDrTjiPtJPKWEWk\nSUaT6czs34CfEoxFfM3dqzp0UrPRwGNANcEtJQe+DzwB3AN8DKgBJrv7nhZeryuJCKR2Y83Ly6Oo\nqIhx48ap2Z5INxHJjGszG0pQaVQNnAo8B1zj7n/PNtCOUpLoXHV1dSxcuJBbbrlFZawi3VhUJbD3\nA9e7+zeBscDLwJNZxCc5pnk3VpWxikhzmSSJz7r7wxDUu7r7fOBfow1LoqRurCKSqbRJwszmALj7\nW2Z2cbNvT40yKIlGZWUlF1xwARMmTGD48OFs376d0tJSTjjhhLhDE5EclXZMwsy2uPvI5s9b2u5q\nGpPIXGNjI+vWraOkpERlrCI9XGeXwFqa5y1tS45paGhgxYoVlJWV0bt3bwoLCykoKFAZq4i0S2tJ\nwtM8b2kQHl+iAAAKnklEQVRbckRqGevQoUMpLy9n/PjxKmMVkay0liQ+bWZvEVw19A2fE27rXkWO\naSpjberGeu+99zJq1Ki4wxKRhEubJNxd9yUSoKamhvnz53PXXXdRUFBAVVWVqpREpNNkUgIrOUhl\nrCLSFZQkEkZlrCLSlTJp8Ccxa6kb6+rVq1XGKiKRU5LIYandWFXGKiJxUJLIQc27saqMVUTioiSR\nQ1LLWPPz81mzZo2a7YlIrDRwnQOad2OtqqpSN1YRyQlKEjFSGauI5DoliS7m7mzatEllrCKSCBqT\n6CIqYxWRJFKSiFhqGWufPn0oLCxk0qRJKmMVkURQkohI8zLWBQsWMG7cOJWxikiiKEl0MpWxikh3\nooHrTqIyVhHpjpQkOii1jLVPnz48++yzKmMVkW5DSSIL6cpYy8rKGDhwYNzhiYh0Go1JtIPKWEWk\np1GSyIDKWEWkp1KSaIXKWEWkp1OSaEFTGestt9zC2LFjVcYqIj2WBq5TNC9jraysVBmriPRoShJ8\nuBurylhFRAI9Nkm01o1VZawiIoEeNyahMlYRkcz1mCTR0NDAihUrKCsro3fv3hQVFamMVUSkDd0+\nSaSWsQ4dOpTy8nLGjx+vMlYRkQx02yTRvBvrvffey6hRo+IOS0QkUXJy4NrMzjOzF8zsJTMrbM9r\nU8tYd+7c+X43ViUIEZH2y7kkYWa9gJuBLwDDga+a2Sfbel11dTWXXnrp+2Ws27ZtY8mSJTlZxlpR\nURF3CB2i+OOV5PiTHDskP/5s5FySAD4LvOzuNe7eAPwS+HJLBzaVsZ5//vlMmDCBESNGvF/GesIJ\nJ3Rp0O2R9H9oij9eSY4/ybFD8uPPRi6OSZwIvJay/SeCxHGAtWvXUlJSwuuvv87s2bO59957VcYq\nItLJcjFJZOSGG25QN1YRkYiZu8cdwwHM7GxgrrufF24XAe7upSnH5FbQIiIJ4e7tqv/PxSRxEPAi\nMA7YBTwBfNXdn481MBGRHijnbje5+3tm9r+ADQQD67cpQYiIxCPnriRERCR35GIJbKs6MtEuDmZ2\nm5nVmtkzKfv6m9kGM3vRzB40s35xxpiOmZ1kZo+Y2TYzqzazmeH+pMTf28weN7Onw/iLw/2JiL+J\nmfUysy1mtjbcTkz8ZvaKmf13+N/giXBfkuLvZ2arzOz58P+Ds5ISv5nlhT/3LeHXN81sZnvjT1SS\nyHaiXczuIIg3VRHwkLsPAx4BruvyqDLzLnCNuw8H/gfw7fDnnYj43X0f8Dl3PwP4J+CLZvZZEhJ/\nilnAcynbSYq/Ech39zPcvamUPUnxLwDWu/upwKeBF0hI/O7+UvhzHwl8BtgL3Ed743f3xDyAs4Hf\npGwXAYVxx5VB3IOAZ1K2XwCOD58PAF6IO8YMP8evgPFJjB84DHgKGJWk+IGTgI1APrA2af9+gB3A\nsc32JSJ+4Chgewv7ExF/s5gnAJuyiT9RVxK0PNHuxJhi6Yjj3L0WwN13A8fFHE+bzOwTBH+N/57g\nH1gi4g9v1TwN7AY2uvuTJCh+4CfAbCB18DBJ8Tuw0cyeNLPp4b6kxD8YqDOzO8JbNovN7DCSE3+q\nfwNWhM/bFX/SkkR3ldPVA2Z2BLAamOXu9Xw43pyN390bPbjddBLwWTMbTkLiN7PzgVp33wq0Vtue\nk/GHRntwu+NLBLcrzyEhP3+C6s+RwE/Dz7CX4O5FUuIHwMwOASYCq8Jd7Yo/aUniz8DHU7ZPCvcl\nTa2ZHQ9gZgOA12OOJy0zO5ggQSx391+HuxMTfxN3fwuoAM4jOfGPBiaa2R+BlcDnzWw5sDsh8ePu\nu8KvfyG4XflZkvPz/xPwmrs/FW7fS5A0khJ/ky8Cm929LtxuV/xJSxJPAqeY2SAzOxS4BFgbc0yZ\nMA78S3AtMDV8PgX4dfMX5JDbgefcfUHKvkTEb2YfaarcMLO+wLnA8yQkfnf/vrt/3N1PJvi3/oi7\nXwbcTwLiN7PDwqtQzOxwgvvi1STn518LvGZmTa2kxwHbSEj8Kb5K8EdGk/bFH/eAShYDMOcRzMh+\nGSiKO54M4l0B7AT2Aa8C04D+wEPh59gAHB13nGliHw28B2wFnga2hD//YxIS/2lhzFuBZ4AfhPsT\nEX+zzzKWDwauExE/wT39pn871U3/vyYl/jDWTxP8cboVWAP0S1j8hwF/AY5M2deu+DWZTkRE0kra\n7SYREelCShIiIpKWkoSIiKSlJCEiImkpSYiISFpKEiIikpaShMTGzBrN7P+mbH/PzH7YSe99h5ld\n1Bnv1cZ5CszsOTN7uNn+sWZ2f5rX7DCzY7I4V7GZXdPGMe363OHE1OrwedqYpedSkpA47QMuyuYX\nZpQsWEI3U1cA0919XAvfSzcJKdcmJ3ma5yJKEhKrd4HFwIf+Om7+F7GZvR1+HWtmFWb2KzP7g5nN\nM7OvhYsL/beZDU55m3PD7qMvhM3ymrrCloXHbzWzGSnv+5iZ/Zqg9ULzeL5qZs+Ej3nhvuuBMcBt\nZlbawufrZ2YPhOdflPp2Ke97XxhjdUqX1KbFtTaHMW5sIZ4ZZrbOzHq3cN6WPveg8PM9FT7ObuF1\nqe8/1j5YsGZz2FZDeqCcW+NaehQHfgpUp/kl2/zYJqcDnwT2AH8Elrj7WRasnPcdPkg6g9x9lJmd\nAvzWzIYQ9KrZEx5/KFBlZhvC488Ahrv7q6knNrMTgJLw+3sIWl9PdPcfmdnnCRZmerqFmEcBpxK0\nY3nQzC5y9zXNjpnm7nvMrA/wpJndCxxEkDzHuPurZnb0geHYtwnW9fiKuze0cN6WPnctMN7d94f7\nV4bxpfM94Fvu/jsL2mO/08qx0o3pSkJi5UHr8WUEq69l6kl3f93d9wPbCfrPQNAf6BMpx90TnuMP\n4XGfJGgyd7kFa0w8TtDHZmh4/BPNE0RoFPBbd3/D3RuBXwD/kvL9dG28n3D3Gg9636wkuOpo7moz\n20qwTsdJYSxnA482xeLue1KOv5ygf1ZBmgSR7nMfCiy1YBndVQTJqzVVwE/M7DtA//BzSw+kJCG5\nYAHBvf3UWxrvEv77NDMj+CXXZF/K88aU7UYOvDpOvfqwcNuA73iwrOMZ7j7E3R8Kj9nbSoytreeQ\nTqt9+81sLPB54Cx3/yeCJnJ92jjfMwSJ8GMZnrfpc38X2O3upwNncuDP88Nv4F5K8N+kL8HVVl5r\nx0v3pSQhcTIAd/8bwV+/V6R87xWCX2YAXwYOyeL9L7bAEIKOpC8CDwLfsmCdDMxsaHg7pTVPAP9i\nZseEg9pfJViboi1nhWMBvQhWBtvU7Pv9gL+5+z4L1g5vGif4PXCOmQ0KY+yf8pqngW8Ca8PbYC1p\n6XP3A3aF37+c4JZWWmZ2srtvc/cygi6oub6WvERESULilPoX73zg2JR9S4Cx4W2hs0n/V35r1Tiv\nEvyCXwd8M7w9tRR4DtgSln7+jDZ+YXqwxGMRQWJ4muB21wMZnP8J4GaCgfDt7v6rZq/5f8AhZrYN\n+E/gd+H56oD/CdwXfv5fNovnv4BrgQdaqAzzNJ97ETA1fL88Wr9qguA2WHV4K2w/8Js2jpduSq3C\nRUQkLV1JiIhIWkoSIiKSlpKEiIikpSQhIiJpKUmIiEhaShIiIpKWkoSIiKSlJCEiImn9f2Cy/RKb\nhYnUAAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "def ellsburg():\n", " show('R', 'r')\n", " show('B', 'k')\n", " show('RY', 'r--')\n", " show('BY', 'k--')\n", " plt.xlabel('Number of black balls')\n", " plt.ylabel('Expected value of each gamble')\n", " \n", "blacks = list(range(68))\n", "urns = [Counter(R=33, B=b, Y=67-b) for b in blacks]\n", " \n", "def show(colors, line):\n", " scores = [score(colors, urn) for urn in urns]\n", " plt.plot(blacks, scores, line)\n", " \n", "def score(colors, urn): return sum(urn[c] for c in colors)\n", "\n", "ellsburg()" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "We see that for any number of black balls up to 33, the solid red line is above the solid black line, which means **R** is better than **B**. The two gambles are equal with 33 black balls, and from there on, **B** is better than **R**.\n", "\n", "Similarly, up to 33 black balls, the dashed red line is above the dashed black line, so **RY** is better than **BY**. They are equal at 33, and after that, **BY** is better than **RY**. So in summary, **R** > **B** if and only if **RY** > **BY**.\n", "\n", "It is pretty clear that this hold for every possible mix of black and yellow balls, taken one at a time. But what if you believe that the mix might be one of several possibilities? We'll define avgscore to give the score for a gamble (as specified by the colors in it), averaged over a collection of possible urns, each with a different black/yellow mix. Then we'll define compare to compare the four gambles on the collection of possible urns:" ] }, { "cell_type": "code", "execution_count": 66, "metadata": { "collapsed": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "R 33.0\n", "B 33.5\n", "RY 66.5\n", "BY 67.0\n" ] } ], "source": [ "def avgscore(colors, urns): \n", " return sum(score(colors, urn) for urn in urns) / len(urns)\n", "\n", "def compare(urns):\n", " for colors in ('R', 'B', 'RY', 'BY'):\n", " print(colors.ljust(2), avgscore(colors, urns))\n", " \n", "compare(urns)" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "The above says that if you think any number of black balls is possible and they are all equally equally likely, then you should slightly prefer **B** > **R** and **BY** > **RY**.\n", "\n", "Now imagine that for some reason you believe that any mix is possible, but that a majority of black balls is more likely (i.e. the urns in the second half of the list of urns are twice as likely as those in the first half). Then we will see that the same preferences hold, but more strongly:" ] }, { "cell_type": "code", "execution_count": 67, "metadata": { "collapsed": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "R 33.0\n", "B 39.10679611650485\n", "RY 60.89320388349515\n", "BY 67.0\n" ] } ], "source": [ "compare(urns[:33] + 2 * urns[33:])" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "If we believe the first half of the list (with fewer black balls) is twice as likely, we get this:" ] }, { "cell_type": "code", "execution_count": 68, "metadata": { "collapsed": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "R 33.0\n", "B 27.782178217821784\n", "RY 72.21782178217822\n", "BY 67.0\n" ] } ], "source": [ "compare(2 * urns[:33] + urns[33:])" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "This time the preferences are reversed for both gambles, **R** > **B** and **RY** > **BY**.\n", "\n", "Now let's try another approach. Imagine there are two urns, each as described before, and the ball will be drawn from one or the other. We will plot the expected value of each of the four gambles, over all possible pairs of two different urns (sorted by the number of black balls in the pair):" ] }, { "cell_type": "code", "execution_count": 69, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAZAAAAEPCAYAAABsj5JaAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3Xd8FHX++PHXO6GETkCKgoIgTZqiKCoHEQE9VBQVG0VR\nPH54ioenNOXwS5ED0bN7op4oHkXxQECQIgRERKUJGqQpKkpRMIRiICTv3x8zSZaQwCbZ3dnyfj4e\n+2BmdmbnnQnsm08XVcUYY4wprDivAzDGGBOZLIEYY4wpEksgxhhjisQSiDHGmCKxBGKMMaZILIEY\nY4wpkqAmEBF5Q0T2iMgGn2OJIrJQRDaLyAIRqeTz3lAR2Soim0SkczBjM8YYUzzBLoG8CVyd59gQ\nYLGqNgKWAEMBROR84FagCfBn4GURkSDHZ4wxpoiCmkBUdQXwe57DNwBvudtvATe6212Baap6XFV3\nAFuBS4IZnzHGmKLzog2kuqruAVDV3UB193gt4Cef8352jxljjAlD4dCIbnOpGGNMBCrhwT33iEgN\nVd0jIjWBve7xn4Gzfc6r7R47iYhY0jHGmCJQ1YC1LYeiBCLuK9ts4G53+y7gA5/jt4tIKRE5FzgP\n+KKgD9X9+1HVmH+NGDHC8xjC5WXPwp6FPYtTvwIt2N14pwArgYYi8qOI9AH+CXQSkc3AVe4+qpoC\nvAukAPOA+/VUP/HChcEM3RhjzGkEtQpLVe8s4K2OBZw/Fhjr14fPmwe33VbEyIwxxhRXODSiF82q\nVV5HEBaSkpK8DiFs2LPIZc8ilz2L4JFg1IsFm4io7t0L1ap5HYoxxkQMEUED2IgeuQkkAuM2xhgv\nBTqBRG4VljHGGE9ZAjHGGFMkkZ1Ajh+H++6D//3P60iMMSbmRHYCKVECKlWCHj1gzx6vozHGmJgS\n+Y3oaWnQogW0awdvv+1tYMYYE8asET2vihVh5kx4/32YNMnraIwxJmZEfgkk2+TJ0KULVK3qTVDG\nGBPmbBwINg7EGGOKwqqwjDHGhIXoTCBpafDQQ3D0qNeRGGNM1IrOKqzjx6FuXUhNhf37oVSpkMVm\njDHhyqqw/FGiBOzcCbVqwVlnwebNXkdkjDFRJzoTSLb166FNG5g61etIjDEm6kRnFZavffsgMxOq\nVw9uUMYYE+asGy/WjdcYY4rC2kCK69NPYcgQWLLE60iMMSaixV4COXTIaWAfMADefRfS072OyBhj\nIlJsVmH9/rszTmTxYhg5Evr2DVxwxhgTpgJdhVUiUB8UURITnZl7X3zRaWA3xhhTaLFZAjHGmBhk\njejB9sAD8NlnXkdhjDFhzxJIXseOwfXXQ+PGToO7McaYfFkVVl7p6bB3L1xzDSQkQNeu8MQTwbmX\nMcaEkA0kJERtIN9/D7/84pREbJEqY0wUsASCNaIbY0xRWCO6l9LT4bzznO6/06d7HY0xxngqNseB\nFFVCAvTqBd9+C3//u7POyHnnQfPmXkdmjDEhd9oqLBGpATwJnKWqfxaR84HLVPWNUARYQEzeV2EN\nHAjbt8O110K/ft7GYowxfgh5G4iIzAfeBB5T1ZYiUgJYp6qe/bc7LBJIQdLTnQWtSljhzhgTXrxo\nAzlDVd8FsgBU9Thg838UZNw4Z6JGY4yJcv4kkMMiUhVQABFpAxwIalSR7MorYeJEKFcOGjXyOhpj\njAkaf6qwWgEvAM2Ar4FqwC2quiH44RUYU/hWYQEcOQKqcPbZ0L8/jBnjdUTGGOPNOBC33aMRIMBm\nVc0IVABFEfYJJNsvvzh/nnWWt3EYYwwhTCAictOpLlTV/xXrxiIDgXtx2lY2An2AcsB0oA6wA7hV\nVU+qLouYBJKflSvhP/9xth9+GM4/39t4jDExI5QJ5M1TXKeqek+RbypyFrACaKyqx0RkOjAPOB/Y\np6rjRWQwkKiqQ/K5PnITyNatsGwZvP8+xMXBpZc6U6X89a9eR2aMiXIhW1BKVfsE6iYFiAfKiUgW\nUAb4GRgKtHfffwtIBk5KIBGtQQPn1bq1k0QyMqBhQ6+jMsaYQvOnEb0qMAJoi9MTawUwUlX3FevG\nIgOAMcARYKGq9hKR31U10eec/apaJZ9rI7cE4o89e+Drr+GSS6BCBa+jMcZECS+WtJ0GLAdudvd7\n4LRTdCzqTUWkMnADTlvHAeA9EemB21XYR4FZ4gmfKdaTkpJISkoqajjhJyUF7r3XmTald2+Ij4dz\nzwUJ2O/dGBMDkpOTSU5ODtrn+1MC+VpVm+U5trE4I9FF5BbgalW9z93vBbQBOgBJqrpHRGoCS1W1\nST7XR3cJBOC992DYMGf7559h8WK4/HJvYzLGRDQvRqIvFJHbRSTOfd0KLCjmfX8E2ohIgogIcBWQ\nAswG7nbPuQv4oJj3iVzduzsN7lu3wpIlTruJMcaEkVP1wjqIU4UkON1rs9y34oBDqlqxWDcWGQHc\nDmQA64C+QAXgXeBs4Aecbryp+Vwb/SWQ0/noI6fn1tdfQ5kyXkdjjIkAtqAUlkAAZ9LGCy5wppQv\nVcqZOmXBAmfKeWOMyYcXjeiISAugru/5xR1IaIopIQEWLXJ6bAH84x+Qmgo1a3oblzEmZvjTiP4f\noAXwDbnVWMUaSFhcVgLJxy+/nDxlyrffOhM7/v3vUKuWN3EZY8KGFyWQNqpq822Eu/zm20pIgBUr\n4LffoGVL51iXLtDkpI5txhhTaP70wvrMXYXQRJq6dZ31SapVc0oon38OQewTboyJLf5UYbXH6V67\nGziK0ytLVbVF8MMrMCarwgqUtDTYtMlpiL/gAhusaEwU86IK6w2gF86MuVmnOddEmq1bnRUUN26E\nhQuhXj0nmZxxhteRGWPCnD8lkM9U9bIQxeMXK4EEwX33wYcfOtuXXAKzZnkbjzEm4EI+DkREXgYq\nA3NwqrAAb7vxWgIxxpjC82IqkzI4iaMzcL37ui5QAZgIsG6dU7WV/XrmGa8jMsaEARuJbk4vPT13\ned5Fi2D4cOjWDV591du4jDGF4kUVVgLO0rNNgZx5MmwgYYw6dszpDlyuHLRqdeJ7330H77zjjIo3\nxoQdL3phTQa+Ba4GRuKsB7IpUAGYCFOqFPzpT/m/FxcHI0bA0aO5x666Cjp0CE1sxpiQ8qcN5DxV\nHQ4cVtW3gGuBS4MblolIdevCK69A2bLOKz3dmS3YGBOV/CmBZLh/popIM5wBhdWDF5KJaP/v/536\n/YMH4ZNPnG0RaN/eSTbGmIjjTwKZKCKJwHCcEenlAavkNkWzfz+8+KKzvXEjPPig0yBvC2YZE3Gs\nF5bxzhtvwL/+5az3PmfOie9lZsKRI1ChgjexGROFvOiF9XA+hw8Aa1R1faACKQxLIDFg2zZn1uAP\nP4TOnb2Oxpio4MVAwouB/wfUcl/9gGuA10RkUKACMeYE553nzNF1ww1QqZLzuuACr6MyxvjwpwSy\nHOiiqofc/fLAhzhJZI0Xa4VYCSRGZGbCoUO5+3FxVqVlTDF4MQ6kOj5zYOH0yqqhqn+IyNECrjGm\n+OLjnZJHQTZvhsGDISMj91i7ds4xY0zQ+VMCGQ50Az5wD12P0xvraWCiqvYIaoT5x2QlEAOHD8Oy\nZZD9d2HnTmf5Xt9SizEmR8gb0d2bXgxc4e5+qqqrAxVAUVgCMfnKzIT334dbbz3x+MGD8MILufs9\nekCdOqGNzZgw4EkCCTeWQEyhpKXBP//pbC9d6ow56doVbrnF27iMCTFLIDgJZNmyZScdb9KkCdWq\nVTvpeEpKCr/99pudb+fD8uWkPPUUv8XHw8Mn9lBvUr8+1bZvd0bIX3qpM+9XuMVv50fl+Zs3b6Zy\n5crUqFHjpPMCyYtG9LD0+OOPn3Rs1KhRtG/f/qTjU6ZMYfny5Xa+nQ/t2jFl4ULn/Dx/h0YNHkz7\ncePg229h9Gjo1Ani4sIrfjs/Ks8fOXIk11xzDb169TrpvHAWsSWQSIzbRIh//Quef97ZrlQJ1ucZ\nL6sKWVlOLzFjAqBjx44MGjSIzkEeNOvFSPSbgHE43XnFfamqVgxUEIVlCcR4KjUVqlSBuXOhSxev\nozFRID4+nq+++opmzZoF9T5eJJBtwPWqGjZrgFgCMZ4bOtSZur5cOWe/XDnYssXbmExE+vnnn6ld\nuzYZGRmUKBHcVgUv2kD2hFPyMCYsjBwJDzyQuy8B+zdpYsz06dNp1apV0JNHMBQYsVt1BbBaRKYD\ns/AZka6q/wtybMaEr5IloVatU59z1VXOeRV9anuHDDl5KWAT0yZPnsyNN97odRhFUmAVloi8eYrr\n1NZEN+Y01q2DrVtz92fNcpYD7t/fu5hMWNm+fTvnnXcev/zyC2eeeWbQ72fjQLAEYqJIVtaJo+Sb\nNXNKLiYm3HnnnezYsYOVK1eG5H4hn85dRN4Skco++4ki8p9ABWBMzPvuO+e1ejX85S8wc6bXEZkQ\n2LVrF1OnTmX06NFeh1Jk/vTCWqeqF57uWChZCcREpSNH4N57IT09/ySyZg2ccYbN4xUFVJXu3buT\nkpJCSkpKyO7rRS+sOBFJVNXf3QCq+HmdMaYwypaFqVMLfr9vX9i3zympZKtWzXqARaCVK1fy/vvv\n5ztCPZL4UwLpDQwD3sMZRHgLMEZVJxfrxiKVgNeBZkAWcA+wBZgO1AF2ALeq6oF8rrUSiIk9x49D\n06bw+++5x37+2enpZSKKiNCnTx/+85/QtgZ4NZ17U+BKd3eJqha7zCUik4BlqvqmiJQAyuEkqn2q\nOl5EBgOJqjokn2stgRhjIlLv3r2ZN28ev/76KxLi0qNnvbBEpDqQkL2vqj8W+aYiFYF1qlo/z/Fv\ngfaqukdEagLJqto4n+stgRiT1969ztQqaWm5x4YNg7vv9iwkc6LnnnuOwYMHs3r16qBPW5IfL6Yy\n6Yqz+uBZwF6c6qVNqtq0yDcVaQlMBFKAlsBq4G/Az6qa6HPeflWtks/1lkCMyUsVduzIXeJ35kx4\n8UVnipUyZTwNzcDMmTPp378/o0ePpm/fvp7E4EUj+iigDbBYVS8UkSuBngG4byvgr6q6WkT+BQwB\n8mYFyxLG+EsEzj03d//BB+Hii/NvI7n/fkhMhDFjQhdfDFuyZAnDhg2jV69eETdl+6n4k0AyVHWf\niMSJSJyqLhWRZ4t5353ATz5L476Pk0D2iEgNnyqsvQV9wBNPPJGznZSURFJSUjFDMibKlC1b8KDE\nyy93ugzHx+f24rr+eifhmID69NNPGTJkCJdddhlDhw6ldOnSIbt3cnIyycnJQft8f6qwFgM3Av8E\nquJ8qbdW1cuLdWORZcB9qrpFREYAZd239qvqOGtENybIXn/d6cUFUKMG9OtnXYIDbNWqVQwcOJA6\ndeowYcIEateu7Wk8XrSBlAP+wBm13gOoBPxXVfcV68ZOO8jrQEngO6APEA+8C5wN/IDTjTc1n2st\ngRgTbMnJcOyYs92sGZx1lqfhRJq1a9fSq1cvGjVqxPPPP+958gDvuvHWARqo6mIRKQvEq+rBQAVR\nWJZAjAmB7t3hwAHYvRsaNHDaS847DyJw2vFQUlW2bdtGy5Yt6dChA++88w6VK1c+/YUh4EUJ5D7g\nL0AVVa0vIg2Af6uqZzO+WQIxJoS++gruuMOZ+HH5cqhe3euIwpaq8sknn/DnP/+ZK664goULF3od\n0glCPpki8FfgCiANQFW34ixva4yJBS1bQkoKfPvtyckjJcWZCNIAMHz4cDp27Mjdd98ddskjGPwp\nix5V1WPZIybdUeP2339jDLz3HowblzvOpG9fZz/GqCrNmzdn69atzJgxg65du3odUkj4U4U1HkgF\negMPAvcDKar6WPDDKzAmq8IyJhxkZkKq28/ls8/gzjth06bTr9YYRebPn8/QoUP58ccf2bZtG4mJ\niSGfosRfXlRhDQF+BTYC/YB5wOOBCsAYE8Hi46FqVefVpQusWOFMOZ/X4MHOSPko85e//IWBAwfS\nrl071q5dS5UqVcI2eQSDrUhojAm+kiXhnnugVClngOPo0RE9i/DixYuZOXMmkyZNYsqUKbRt25aq\nVat6HdZp2ZK2WAIxJuLMmePM0wXw+OOwZAlcdJGnIRXFgQMHeP3115k6dSrNmzena9eudOvWzeuw\n/ObFXFjGGFM811+fu52YCGefffI5K1ZA27ahi6mQFixYwNKlS5k5cybdunXjoYce4swzz/Q6LE8V\nWAIRkcmq2ktEHlLV50Ic1ylZCcSYKFShgtOrq2JFp02lUSOvIwJgx44d/PDDD3Tq1ImbbrqJbt26\ncdttt3kdVpGErApLRFKAjsB8IAlnNcIcqro/UEEUliUQY6LQAw/A2rVOY/uXXzprxJcq5Vk4R44c\nYd++fVx99dUkJCRwwQUXhHwFwUALZQIZAPQH6gE/c2ICUVWtF6ggCssSiDFRrmlTmDYNmjf3LITu\n3buTnJxMlSpVWLNmDeXLl/cslkDxYiqTV1S1f6BuGAiWQIyJQT/84JRKmjQJ6m3+9re/8dxzzxEf\nH8+GDRs4//zzg3q/UAr5OBBV7S8iLUXkAffVIlA3N8YYvy1aBJdeCnXqOJM6/vJLQD9+1KhR1KlT\nh1dffZUlS5aQkZERVckjGPwpgQzAmUzxf+6hbsBEVX0hyLGdKiYrgRgTazIzYedOZ7tHDzh4EKZM\ncaq7imHs2LF8+OGHpKSk8OKLL9KuXTtq1aoVlQMCvajC2gBcpqqH3f1ywGeq6llJxBKIMTHup5+c\nKq2WLZ3eW0UwZswYvvnmGxYvXszYsWM5//zzad26NSWieLp6LxLIRpwVCNPd/QTgS1X1rHXLEogx\nJl///rczYLFFC2derjyysrJ48sknOXToEC+99BLPPPMMlStXplu3blGdOLJ5MZDwTeBzEZnp7t8I\nvBGoAIwxJmDKl3fWLXnkEWeSxxIloHdv9h0+zLvvvktqairPPPMMgwYNYty4cfTt2zcqq6pCxd8V\nCVsB2UNEP1HVdUGN6vTxWAnEGJO/jAwYOhSOHOHIV1/x2d138+GmTSxYsID27dvTvHlz+vcPq46l\nIWNzYWEJxBhzalu2bOGPP/5gwIABHDt2jDPOOIN7772XG2+80Wl8L2K7SaSzubCMMSYfmZmZpKWl\nsXfvXlq0aEHjxo0pUaIEM2fO5JxzznFO+u03uP9+ePVVZ5R7uXLeBh3hrARijIkKjz76KC+99BKl\nS5emQ4cOvP/++yefdPgwNG4Mhw5Bejrs2+dMLx8jPKnCEpE6QANVXSwiZYASqnowUEEUliUQYwzA\nb7/9RuPGjUlPTyc9PZ25c+dyzTXX+HfxBRfAli0waxZ07hzcQMOEF91478MZSFhFVeuLSAPg36p6\nVaCCKCxLIMbEtkGDBjF37lzS09OpXr06ixcvRkQoV5gqqYwMOHoUEhKc3loxwIs2kL8ClwCfA6jq\nVhGpHqgAjDHGH6tWreKJJ57I2Z40aRINGzakevXqRZvosGTJ/FdFHDEC7r4bzj23WPHGAn8SyFFV\nPZbdV1pESgD2339jTNAdPnyYQYMGcezYMTZu3Ei9evXo3bs3pUqV4sorrwzOGI5ly+Czz6B+fRgz\nBqpUCfw9ooQ/VVjjgVSgN/AgcD+QoqqPBT+8AmOyKixjotjEiRPZs2cPu3btYsGCBQwZMgSAzp07\nU6dOneDefONGWLUKnnvOmbzxkUeCPgNwqHjRBhIH3At0xlkTZAHwupff4JZAjIk+y5cv5/vvv0dV\n6devH4MGDQKgdevWdO3aNfQBLVjgLLN7++3FnrAxXNhAQiyBGBMttm3bxo8//ghAz549adu2LWXK\nlOGcc85h1KhRHkcXfbwogXxPPm0etiKhMaYo9u/fz/79zorY3bp1o1y5cpQtW5YKFSowY8YMSubX\nsB0uUlJg6VK45hqnkT3utEsqhRUvEkhVn90EoDtOl95/BCqIwrIEYkxkyczMJDMzE4DLL7+cvXv3\nUqpUKcqUKcOnn35KxYoVPY7QT998AzfdBD//DO+8A9dfD/HxXkflt7CowhKRNap6UaCCKML9LYEY\nE0GaNm3Kli1bEBHKli3Ljh07qFy5stdhFd0//gFjx8I558D27V5H4zcvSiCtfHbjgIuB/qraMlBB\nFJYlEGPCW0ZGBs2aNePAgQMApKWlkZqaSqlSpTyOLICysuDFF+HBByFCpoT3IoEs9dk9DuwAJqjq\n5kAFUViWQIwJP9u3b6dHjx5kZmaSkZFBamoqq1atAqBMmTJUqlTJ4whNWFRhec0SiDHh4aOPPuK1\n114DYPfu3ZQpU4axY8cCUK1aNerWrethdB545RW48kpnwsYwFLIEIiIPn+pCVX0mUEEUliUQY7zz\n8ssvs3XrVgCSk5Np06YNHTt2BKBFixY0aNDAy/C81a0bHDkCDzzgNLCHmVAmkBGnulBV/y9QQRSW\nJRBjQic1NZVJkyaRlZUFwIgRIxg2bBgJCQmICLfffjs1a9b0OMow8fXX8PLLkJwMw4fDHXd4HdEJ\noqoKyx3lvhrYqapdRSQRmA7UwWlruVVVD+RznSUQY4Loq6++yillfPHFF8yePZsuXboAULlyZYYP\nH25riRfk99+dHlrPP++URsJorIgXjegJOFOZNMUZBwKAqt5T7JuLDAQuAiq6CWQcsE9Vx4vIYCBR\nVYfkc50lEGMCKCMjg/Xr15P976pPnz7UqlUrZ3zGbbfdRvfu3b0MMfIcORJ2i1V5MZ37ZOBb4Gpg\nJNAD2FTcG4tIbaALMAbIbm+5AWjvbr8FJAMnJRBjTPGlpaVx+PBhAObNm8fgwYOpV8+ZYKJq1arM\nmDEjcgb4haMwSx7B4E8JZJ2qXigiG1S1hYiUBD5R1TbFurHIezjJoxLwd7cE8ruqJvqcs19VT5pL\n2UogxhRf9erViYuLy6mK+vvf/84jjzzicVRRShWOH89//ZEQCnQJxJ/KuQz3z1QRaYbzhV+sBaVE\n5Fpgj6qux5nhtyCWJYwJkEGDBlGyZMmcV3x8PLt27cp5WfIIovHjoVQpmDvX60gCyp8qrIlu4/Zw\nYDZQ3t0ujiuAriLSBSgDVBCRycBuEamhqntEpCawt6APyF6ZDCApKYmkpKRihmRMdElOTqZv3745\n7Rq7d+9m7ty5dOjQAeCE0ocJskGDIDUV7rkH5s+Hi0IzE1RycjLJyclB+3x/qrDiVTUzaAGItCe3\nCms8TiP6OGtEN6Zw9u7dS8+ePcnIcCoNdu7cyVVXXcWjjz4KOAmjbt26ljS8cvSos1Tupk2weDGc\ncUbIQ/CiEf17EfkIp3vtkiB/c/8TeFdE7gF+AG4N4r2MiWjHjx9nwIABHDp0CHASyP79+3nqqady\nzmnZsiVVbEnW8FC6NDz7rDNO5MgRr6MJCH9KIGWB64DbcbrczgGmqeqK4IdXYExWAjExR1V55pln\n+P333wE4ePAg06dPZ/z48TnnNG/enAsvvNCrEE2Y83QgodsW8hzQQ1U9mwTfEoiJFdOmTSMtLQ2A\n9PR0hg0blrM+OEDjxo255ZZbvArPRBhPEojbTnEbcA3OyPHpqvp+oIIoLEsgJhqpKsnJyaSnpwNw\n+PBhevfuTc+ePXPOadiwofWWMkXmxUj0HcA64F1gtqoeDtTNi8oSiIkGWVlZbN68OWeOqZ07d3LL\nLbfQtm3bnHOaN29+QhWViSKqcPnl8NFHEKKp7r1IIBVVNS1QNwwESyAmEqlqToM3OF0s77zzTs45\n55ycYx06dOCFF17wIjzjhbp1nSVynwnN5OZRNZliUVkCMZFowoQJDBs2jNKlS+cce/DBB3nyySc9\njMp46sMP4brrnFHqIVhb3RIIlkBMZLjttttYsGBBzv4ff/zBxIkTueuuuzyMyoQdEZg+HW4N/qgF\nSyBYAjHhJzU1lU6dOnH06NGcY1u2bGH16tXUrl0751ilSpVsIJ850cCBsH07zJ4d9FvZioRYAjHe\nmzVrFq+//nrOflpaGgcOHGDy5Mk5x0qXLk2jRo28CM9EkrQ0Z56shITTn1tMoRyJXsH9sxHQGmce\nLIDrgS8CFYAx4S4rK4thw4Zx4EDu2mbLly+nc+fOXHXVVTnH6tevT5MmTbwI0USyCJ4y359eWMuB\na1X1oLtfAfhQVduFIL6CYrISiAma1atXs2jRopz9P/74gxdeeOGExm4RoXv37lStWtWLEI0pEi+6\n8W4GWqjqUXe/NLBBVT0rm4uI6jvveHV7E0VUlQ/WrOGwT9vFxKVLqVy2LOfXqpVzrGHNmvRp3z6/\njzAmMNq0gfr1g3oLLyZTfBv4QkRmuvs34qwW6K1587yOwESgA8eOsSE1NWd//7Fj9Fy5kht8ksU5\nIvxfw4bUK18+98LDh+3vnAmuWrWCnkACzd+pTFoBf3J3l6vquqBGdfp4rArL+CU1NZVUn4Tx3HPP\nMWvWrBN6Rl1yySU8/fTTXoRnTEh5UQIBKAukqeqbIlJNRM5V1e8DFYQxgZI9LUi2K664ggMHDlCi\nRO5f9VdeeYU///nPoQ7NmKjjTxvICOBioJGqNhSRs4D3VPWKUARYQExWAjEn2bVrF3Xr1s1ZUAmg\nQoUK7Nq1i7Jly3oYmTHhwYs10bsBXYHDAKr6C7ldfI3xTHJyMmeffTa1a9emdu3atGzZkssvv5ys\nrKyc14EDByx5GBMk/lRhHVNVFREFEJFyQY7JmHzNnDnzhJlp9+zZQ5cuXRg+fHjOscTERC9CMyYm\n+ZNA3hWRV4HKInIfcA/w+mmuMabYZs2axdSpU3P2169fT9euXbnppptyjjVu3NiShjEe8bcXVieg\nMyDAAlVddJpLgsraQKLT0qVLmefTVXb+/Pl07NiRyy67LOdY586dLWEYU0ReDCQcp6qDT3cslCyB\nRIeUlBQWL16csz958mSaNGlC8+bNAYiLi+Puu++20d7GBIgXCWStqrbKc2yDqrYIVBCFZQkkMu3f\nv5/ly5fn7E+cOJFjx45x/vnnA07CGDRoEGeddZZXIRoT1UI2DkRE+gP3A/VFZIPPWxWAlYEKwESv\nrKwsNm7cSGZmJuCUMObPn0/jxo0BZ7bap556iqZNm3oZpjGmiE41nXslIBEYCwzxeeugqu4PQWwF\nshJI+Do9kcyAAAAT2UlEQVR06BDp6ekAfPrpp/Tu3Zv6PtMzjBw5kuuuu86r8IyJaV5UYbUBvvGZ\njbci0ERVPw9UEIVlCSQ8ZWRkkJiYSILPugb9+vVjzJgxHkZljMnmRQJZB7TK/sYWkThgdd52kVCy\nBBI++vXrx9tvvw04M9vWrVuXb7/91uOojDH58WIurBO+rVU1S0T8nUPLRJm1a9fSo0ePnDmnfvrp\nJz7++GMuvPBCAEqWLOlleMaYEPInEXwnIgOAV9z9+4HvgheSCTePPPIIX331FeDMN9WiRQtGjhwJ\nQIkSJahXr56t821MDPKnCqs68DzQAVDgY+Bvqro3+OEVGJNVYQXR9u3befLJJ8l+xtOmTeO///0v\n5d31MZo1a8aZZ57pZYjGmCIIeRtIOLIEEnhz5sxhzZo1gDNlyIEDB+jVqxcAFStW5JZbbvEyPGNM\nAHjRiN4Qp/qqhqo2E5EWQFdVHR2oIArLEkjxqSrTpk3jjz/+AGDMmDF07tyZGjVqAHDttdfSunVr\nL0M0xgSYFwlkGfAo8KqqXuge+1pVmwUqiMKyBFI0hw8fZuVKZwzo3r17uf/++7n55psBKFWqFE8/\n/TTlytlky8ZEKy96YZVV1S/yNJIeD1QAJrgOHz7Mzp07AZgxYwavvvoqjRo1AmDAgAGMGjXKy/CM\nMRHMnwTym4jUx2lAR0RuAXYFNSpTLJmZmRw7dgyAhx9+mNmzZ1OxYkUARo8eTe/evb0MzxgTJfyp\nwqoHTAQuB34Hvgd6qOoPwQ+vwJisCusUbrjhBj766CPi4uKIi4tjwYIFtG3b1uuwjDEe86wXlrsS\nYVz2lCZesgRyshtvvJEVK1YAcODAATZv3ky9evU8jsoYE05C3gYiIlWBEUBbQEVkBTBSVfcFKghT\nNP369ePLL78E4JtvvmHDhg1UrVqVkiVLUqlSJY+jM8ZEO3+qsBYBy4F33EM9gCRV7Vjkm4rUBt4G\nagBZwGuq+ryIJALTgTrADuBWVT2Qz/UxWwIZP358Tk+qhQsX8uGHH1KpUiXKli2bM026Mcbkx4tu\nvCd12RWRjaravMg3FakJ1FTV9SJSHlgD3AD0Afap6ngRGQwkquqQfK6PqQQyZ84cFi1yVhGeMmUK\no0aN4swzz6R8+fJ07FjkPG6MiTFeJJBngC+Ad91DtwCXqOojAQtCZBbwovtqr6p73CSTrKon/bc6\nFhLItm3bmDlzJgCTJk0iKSmJRo0akZCQQN++fYmLi/M4QmNMpPEigRwEygGZ7qF44LC7rapasVgB\niNQFkoFmwE+qmujz3n5VrZLPNVGZQI4dO8acOXM4fvw4M2bMYO/evVxyySXEx8czaNAgqlQ56VEY\nY4zfQt6IrqoVAnWzvNzqqxnAQ6p6SETyZoUCs8QTTzyRs52UlERSUlIwQgyJbdu28euvv7JhwwZG\njBhB+/btiYuLY8KECTadiDGmyJKTk0lOTg7a5/tTArlXVd/w2Y8HHlfV/yvWjZ01ReYC81X1OffY\nJpwG+uwqrKWq2iSfayO+BHL8+HF2794NwMUXX8w555xDfHw8N998M488ErDaQWOMyeHFVCZXicjN\nwL1AVeBNYFkA7v0fICU7ebhmA3cD44C7gA8CcJ+wNHbsWCZMmECFChWoUaMGq1atsnYNY0xE8Wsg\noYjcBryE0/Zxp6p+WqybilyB0zV4I041lQLDyG2sPxv4Aacbb2o+10dkCeTIkSOceeaZHDx4EFXl\n3XffpXv37l6HZYyJEV40ojcA3sL5sm8CpAAPq+qRQAVRWJGWQF5//XVGjx7N8ePHqVSpEhs3bgSw\nEocxJqS8qMKaA/xVVT8WZ0reh4EvgaaBCiJa9ezZkx9++IFt27bxyCOPcPPNN1O5cmVLHMaYqOBP\nCaSiqqblOdZQVbcENbJTxxS2JZAff/yRxx57jKysLGbMmMGiRYuIi4vj4osvJiEhwevwjDExLGRV\nWCIySFXHu9vdVfU9n/eeVNVhgQqisMIxgaxatYoPPviAzZs3s3fvXvr370/16tXp1KmT16EZYwwQ\n2gSyVlVb5d3Obz/UwimBLF++nG+++YapU6dSo0YNWrVqRYcOHbj00ku9Ds0YY04QyjYQKWA7v/2Y\ns3r1anbv3s3AgQNp1aoVzZo149FHH+Xcc8/1OjRjjAmJUyUQLWA7v/2YsWPHDtLS0ujUqRNt2rSh\nRYsWvPHGG5QvX97r0IwxJqROVYWViTPuQ4AyQHa3XQESVLVkSCLMP7aQV2EdOXKEP/74g9q1a9Og\nQQOqV6/OokWLyLNWvDHGhC3PViQMJ6FOIMePHycxMZH4+HgaNWrE559/HrJ7G2NMoHgxDiSmtWjR\ngu+++44aNWqwfft2r8MxxpiwYQmkAPfddx8rV67kxx9/5JdffrExHMYYk4clkDzeeustpk2bxrJl\ny5g/fz716tWjYsViLXlijDFRydpAXFu2bOHpp59m0aJF9O7dmyuvvJL27dsH9B7GGOMla0QnsAlE\nVXnxxRf5+OOPOXjwIHfccQe33367dcs1xkQda0QPoJSUFJYvX86wYcN46KGH6NatGxdddJHXYRlj\nTESIyRJIVlYWK1euZPjw4YgInTt3ZsiQIQGM0Bhjwo+VQIrp0KFDLF26lJ49e9K6dWtee+01m37E\nGGOKIKZKIJmZmfTq1YslS5bQs2dPJkyYEITojDEmPFkJpIgOHjxIzZo1yczM5PPPP6dly5Zeh2SM\nMREtJpbGmzt3LvXr16dBgwakp6db8jDGmACI+gTy1FNP0b9/f+666y5WrFjhdTjGGBM1oroK6/HH\nH+e1115j1KhR3HHHHTa2wxhjAigqE4iqMnr0aJ5++mkmTZrETTfdRMmSns0+b4wxUSnqEkhWVhYv\nvfQS48eP5+WXX+a2227zOiRjjIlKUdUGoqpMmTKFf/zjH4wbN44+ffp4HZIxxkStqBoHsnz5crp0\n6cJjjz3G0KFDPYjMGGPCl02mSP4JZO/evZx99tn079+fZ5991qPIjDEmfFkCIf8EUqdOHRo3bsyC\nBQs8isoYY8JboBNIVLSB9OnTh7S0NObNm+d1KMYYEzMivhfWBx98wKRJk1i3bh3x8fFeh2OMMTEj\noquwDh8+TM2aNbnnnnt49tlnEQlYycwYY6KOVWH5mDBhAhkZGYwaNcqShzHGhFjElkD2799P9erV\nefrppxkwYIDXIRljTNizEojr1VdfpVKlStx3331eh2KMMTEpYhPISy+9xMCBAylTpozXoRhjTEyK\n2CosgN9++42qVat6HY4xxkSEmKjCEpFrRORbEdkiIoPzO+dPf/qTJQ9jjPFQ2CUQEYkDXgSuBpoC\nd4hI47zn3XjjjaEOLSwlJyd7HULYsGeRy55FLnsWwRN2CQS4BNiqqj+oagYwDbgh70nXXXddyAML\nR/aPI5c9i1z2LHLZswiecEwgtYCffPZ3usdO0LBhw5AFZIwx5mThmECMMcZEgLDrhSUibYAnVPUa\nd38IoKo6zuec8AraGGMiRFRP5y4i8cBm4CpgF/AFcIeqbvI0MGOMMScIu9l4VTVTRB4AFuJUsb1h\nycMYY8JP2JVAjDHGRIaIa0T3Z5BhpBORN0Rkj4hs8DmWKCILRWSziCwQkUo+7w0Vka0isklEOvsc\nbyUiG9xnFXHr/IpIbRFZIiLfiMhGERngHo/FZ1FaRD4XkXXusxjhHo+5Z5FNROJEZK2IzHb3Y/JZ\niMgOEfnK/bvxhXssNM9CVSPmhZPwtgF1gJLAeqCx13EF4edsC1wAbPA5Ng4Y5G4PBv7pbp8PrMOp\njqzrPp/skuXnQGt3ex5wtdc/WyGfQ03gAne7PE7bWONYfBZu3GXdP+OBVThjpmLyWbixDwTeAWa7\n+zH5LIDvgMQ8x0LyLCKtBOLXIMNIp6orgN/zHL4BeMvdfgvIHorfFZimqsdVdQewFbhERGoCFVT1\nS/e8t32uiQiqultV17vbh4BNQG1i8FkAqOoRd7M0zheAEqPPQkRqA12A130Ox+SzAISTa5NC8iwi\nLYH4NcgwSlVX1T3gfLEC1d3jeZ/Jz+6xWjjPJ1tEPysRqYtTKlsF1IjFZ+FW2awDdgOL3H/sMfks\ngH8Bj+Ik0Wyx+iwUWCQiX4pIX/dYSJ5F2PXCMn6Lmd4PIlIemAE8pKqH8hkHFBPPQlWzgAtFpCIw\nU0SacvLPHvXPQkSuBfao6noRSTrFqVH/LFxXqOouEakGLBSRzYTo70WklUB+Bs7x2a/tHosFe0Sk\nBoBb3NzrHv8ZONvnvOxnUtDxiCIiJXCSx2RV/cA9HJPPIpuqpgHJwDXE5rO4AugqIt8BU4EOIjIZ\n2B2DzwJV3eX++SswC6eqPyR/LyItgXwJnCcidUSkFHA7MNvjmIJF3Fe22cDd7vZdwAc+x28XkVIi\nci5wHvCFW2w9ICKXiIgAvX2uiST/AVJU9TmfYzH3LETkjOyeNCJSBuiE0yYUc89CVYep6jmqWg/n\nO2CJqvYC5hBjz0JEyroldESkHNAZ2Eio/l543YOgCD0OrsHpjbMVGOJ1PEH6GacAvwBHgR+BPkAi\nsNj92RcClX3OH4rTm2IT0Nnn+EXuX6atwHNe/1xFeA5XAJk4ve3WAWvd33+VGHwWzd2ffz2wAXjM\nPR5zzyLPc2lPbi+smHsWwLk+/z42Zn8nhupZ2EBCY4wxRRJpVVjGGGPChCUQY4wxRWIJxBhjTJFY\nAjHGGFMklkCMMcYUiSUQY4wxRWIJJIaJSKY7HfbX7lTQD/u8d1H2lM7uoKNF7rndRaSte81aESkd\nxPjai8hlwfr8fO53l4i8UMB7K4r5uTV99ieKSOOifl4x4nhKnKngx+U5HtLnbKKHzYUV2w6raitw\nRjoDU0Wkoqo+oaprgDXuea1w1qXPPvcV4ElVneLvjUREtPCDjpKAQ8BnhbyuOPKNUVXbFuMz7wa+\nxpkEEVX9SzE+qzjuw5n2O+/PmETonzPgTBCpzhxfJhJ5PZLSXt69gLQ8++cCv7nb7XGmhqiGMzL1\nd5yR0H8B9gHbceanAngEZ+369cAI91gd4FucqaQ34syz0wlYCawGppO7vsX3wBM4CesroKF7/S6c\nmUPX4kwY5xtrOZxpTja49+3mHr/DPbYBdw0E9/hBYDzOF/lCoDWwFGdE7nXuOXfhzCW0FGcE7z98\nr/d5LkuB93BG8k72OWc4zpoKG4B/u8dudu+9yf05EtzrW/kR72j3Z1sJVHOPd3ef5zoguYDf61Pu\nOV8B3d1jHwDH3Ri6+5yb9zm3A75z36vsXtPW3V8G1MeZFWGm+/krgeb5xHAX8ILP/hygnc/PNsH9\nGa7I7/fvnteO3BkI1gDlvP43Y688v2evA7CXh7/8PAnEPbYfJ2n4ThGRs+3uvwnc5G53Al51t8X9\nomjrfjEdJ3eBmqruF1AZd38Q8Li7/T1wv7vdH5jobo8AHi4g9n8Cz/jsVwLOBH7AmcYhDvgY6Oq+\nn4U7bQPwP+Aj95wWwDr3+F04E8hVxvmi30juF32az7P43b2XuF+gl7vv+U4X8TZwrbu9FLjQ572l\nOKW608Xbxd0eBwxztzcAZ7rbFfN5LjcBC9zt6u7n1yjo953fc8ZZTKgJcC1OQhwKlAK2u+8/Dwx3\nt6/Mfn55PvMu4Hmffd8EkgXc7PNeQb//2cBl7nZZIM7rfzP2OvFlbSAmLzn9KSfoDHQSkbU4/1Ns\nBDRw3/tBcxeoaYOzGtqn7poWvTlxZuWZ7p9rcFZKO52OwEvZO6p6ALdUoar71akW+S/O/2IBjqnq\nQnd7I7DMPWcjTrLLtkhVU1U1HSfR5Fd19YWq7lLnm229T7xXicgqcZYivhJo6nNNfs/1dPHOc7d9\nn8kK4C133Yf8qqDb4sxQi6ruxZm1t/UpYsjPJziJsh0wFviT+xnZv8u2wGT3HkuBKtkT+vnpOM6z\n9ZXf7/9T4F8i8iBO1ZtVdYUZSyAmh4jUA46rMy2035cBY1W1lapeqKoNVfVN973Dec5b6HNeMz2x\nLeCo+2cm/rXNFdSeUtCXZIbPdlb2/dwk4Hu/vJ+b332O+mxnAiXczgQv4ZTMWuCslJdQQCyFjTfn\nmajq/cBjOFWCa0QksRCf728b1CfkJo15OCWyJPf46e6R7Tgnfr/4Pot097n7Oun3r6rjgHuBMjj/\n8WjoZ/wmRCyBxLacf/juYjSvAPn2QjqFBcA97lTSiMhZ7med8Pk4KwleISL13fPKikgDTu0gULGA\n9xYBf/WJvzJOO0w7EakiIvE47QvJfvwMvnF2EpHK7pTpN+L8jz/vOflJwPmC3uf+b/wWP36OQscr\nIvVU9UtVHYGzxsPZeU75BLjNXb2wGk4i+Pw0P0Pe+L4ALgeyVPUYTimrH7DcfX850NONJwn4VZ0l\nh33tAC4Qx9k4a1Tk/Bin+hnz/KzfqOp4nNJPyHuumVOzBBLbErK78eI0LH+kqiP9uC7nf4+qughn\n+vnP3Kqb94Dy+Zz3G05vpKkikt342ijveXnMAbq5MV6R570xOFUnG90qsSR11jQYgvMlvA5Yrapz\nT3OPvO99gVO9sh54T1XXneZ6dX++Aziljm+A+e7nZJsE/Nv9ORJ8rilKvE+JyAb3WX+qqhtOCEZ1\nJk47yVc403k/6lOi9Os5u0njR3J7ZX0ClFfVje7+/wEXub/HJ3HaO058KKqf4iSRb4Bnye3Rl18c\nBcX1N/f3ux44hvNcTRix6dyNMcYUiZVAjDHGFIklEGOMMUViCcQYY0yRWAIxxhhTJJZAjDHGFIkl\nEGOMMUViCcQYY0yRWAIxxhhTJP8f4BBBc2NF9+oAAAAASUVORK5CYII=\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "def ellsburg2():\n", " show2('R', 'r')\n", " show2('B', 'k')\n", " show2('RY', 'r--')\n", " show2('BY', 'k--')\n", " plt.xlabel('Different combinations of two urns')\n", " plt.ylabel('Expected value of each gamble')\n", " \n", "def show2(colors, line):\n", " urnpairs = [(u1, u2) for u1 in urns for u2 in urns]\n", " urnpairs.sort(key=lambda urns: avgscore('B', urns))\n", " X = list(range(len(urnpairs)))\n", " plt.plot(X, [avgscore(colors, urns) for urns in urnpairs], line)\n", " \n", "ellsburg2()" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "The curves are different, but the results are the same: **R** > **B** if and only if **RY** > **BY**.\n", "\n", "So why do many people prefer **R** > **B** and **BY** > **RY**. One explanation is *risk aversion*; it feels safer to take a definite 1/3 chance of winning, rather than a gamble that might be as good as 2/3, but might be as bad as 0. This is irrational thinking (in the sense that those who follow this strategy will win less), but people are sometimes irrational." ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "# Simpson's Paradox\n", "\n", "This has nothing to do with the TV show. D'oh! In 1951, statistician [Edward Simpson](https://en.wikipedia.org/wiki/Edward_H._Simpson) (who worked with Alan Turing at Bletchley Park during World War II), noted that it is possible to take a sample space in which **A** is better than **B**, and split it into two groups, such that **B** is better than **A** in both groups. \n", "\n", "For example, here is data from trials of two treatments for kidney stones, **A** and **B**, separated into two subgroups or cases: first, for small kidney stones, and second for large ones. In all cases we record the number of good and bad outcomes of the treatment:" ] }, { "cell_type": "code", "execution_count": 70, "metadata": { "collapsed": false }, "outputs": [], "source": [ "# Good and bad outcomes for kidney stone reatments A and B,\n", "# each in two cases: [small_stones, large_stones]\n", "A = dict(small=Counter(good=81., bad=6.), large=Counter(good=192., bad=71.))\n", "B = dict(small=Counter(good=234., bad=36.), large=Counter(good=55., bad=25.))\n", "\n", "def success(case): return ProbDist(case)['good']" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "Let's compare probabilities of success:" ] }, { "cell_type": "code", "execution_count": 71, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "(0.9310344827586207, 0.8666666666666667)" ] }, "execution_count": 71, "metadata": {}, "output_type": "execute_result" } ], "source": [ "success(A['small']), success(B['small'])" ] }, { "cell_type": "code", "execution_count": 72, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "(0.7300380228136882, 0.6875)" ] }, "execution_count": 72, "metadata": {}, "output_type": "execute_result" } ], "source": [ "success(A['large']), success(B['large'])" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "We see that for small stones, **A** is better, 93% to 87%, and for large stones, **A** is also better, 73% to 69%. So **A** is better no matter what, right?\n", "\n", "Not so fast.\n", "\n", "We can add up Counters to get the overall success rate for **A** and **B**, over all cases:" ] }, { "cell_type": "code", "execution_count": 73, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "0.78" ] }, "execution_count": 73, "metadata": {}, "output_type": "execute_result" } ], "source": [ "success(A['small'] + A['large'])" ] }, { "cell_type": "code", "execution_count": 74, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "0.8257142857142857" ] }, "execution_count": 74, "metadata": {}, "output_type": "execute_result" } ], "source": [ "success(B['small'] + B['large'])" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "Overall, **B** is more successful, 83% to 78%, even though **A** is better in both cases. So if you had kidney stones, and you want the highest chance of success, which treatment would you prefer? If you knew you had small stones (or large stones), the evidence supports **A**. But if the size was unknown, does that mean you should prefer **B**? Analysts agree that the answer is no, you should stick with **A**. The only reason why **B** has a higher overall success rate is that doctors choose to do **B** more often on the easier, small stone cases, and reserve **A** for the harder, large stone cases. **B** is better, but it has a lower overall percentage because it is given the more difficult patients.\n", "\n", "Here's another example, showing the batting averages for two baseball players, Derek Jeter and David Justice, for the years 1995 and 1996:" ] }, { "cell_type": "code", "execution_count": 75, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [], "source": [ "Jeter = {1995: Counter(hit=12, out=36), 1996: Counter(hit=183, out=399)}\n", "Justice = {1995: Counter(hit=104, out=307), 1996: Counter(hit=45, out=95)}\n", "\n", "def BA(case): \"Batting average\"; return round(float(ProbDist(case)['hit']), 3)" ] }, { "cell_type": "code", "execution_count": 76, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "(0.25, 0.253)" ] }, "execution_count": 76, "metadata": {}, "output_type": "execute_result" } ], "source": [ "BA(Jeter[1995]), BA(Justice[1995])" ] }, { "cell_type": "code", "execution_count": 77, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "(0.314, 0.321)" ] }, "execution_count": 77, "metadata": {}, "output_type": "execute_result" } ], "source": [ "BA(Jeter[1996]), BA(Justice[1996])" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "So Justice had a higher batting average than Jeter in both 1995 and in 1996. Let's check the overall averages:" ] }, { "cell_type": "code", "execution_count": 78, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "0.31" ] }, "execution_count": 78, "metadata": {}, "output_type": "execute_result" } ], "source": [ "BA(Jeter[1995] + Jeter[1996])" ] }, { "cell_type": "code", "execution_count": 79, "metadata": { "collapsed": false, "run_control": {} }, "outputs": [ { "data": { "text/plain": [ "0.27" ] }, "execution_count": 79, "metadata": {}, "output_type": "execute_result" } ], "source": [ "BA(Justice[1995] + Justice[1996])" ] }, { "cell_type": "markdown", "metadata": { "run_control": {} }, "source": [ "Overall, Jeter had a significantly higher batting average. How did Jeter manage to do worse both years, then? Because in 1995, Jeter was injured for much of the year, and his low batting average was over a small number of at-bats. In 1996, Jeter was healthy, but Justice was injured for much of the year; however he managed a high average in his few at-bats.\n", "\n", "For the kidney stone data, we trust the individual cases, not the overall, because there are biases that lead to patients being assigned to one treatment or the other. For the batting average data, we trust the overall numbers, because there are no such biases, and because larger numbers lead to a closer approximation to a true value. The data alone can't tell you what to believe; you need the story (and the model) behind the data as well." ] }, { "cell_type": "markdown", "metadata": { "button": false, "deletable": true, "new_sheet": false, "run_control": { "read_only": false } }, "source": [ "# Conclusion\n", "\n", "We've seen how to manage probability paradoxes. Just be explicit about what the problem says, and then methodical about defining the sample space, and finally be careful in counting the number of outcomes in the numerator and denominator. But the bigger lesson is: treat those around you as reasonable people, and when they have different opinions, try to discover what problem they are solving.\n", "\n", "*Note*: Mohammed El-Beltagy created a very nice [translation of an earlier version of this page to Julia](http://nbviewer.ipython.org/gist/mbeltagy/3ba5f77da6382da192c3). \n", "." ] } ], "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.5.1" } }, "nbformat": 4, "nbformat_minor": 0 }