{
"cells": [
{
"cell_type": "markdown",
"metadata": {
"colab_type": "text",
"id": "view-in-github",
"slideshow": {
"slide_type": "skip"
},
"tags": [
"no-tex"
]
},
"source": [
""
]
},
{
"cell_type": "code",
"execution_count": 1,
"metadata": {
"id": "w-CIikP0ZZnm",
"slideshow": {
"slide_type": "skip"
},
"tags": [
"remove-cell"
]
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Note: you may need to restart the kernel to use updated packages.\n"
]
}
],
"source": [
"%pip install -q -U gtbook"
]
},
{
"cell_type": "code",
"execution_count": 2,
"metadata": {
"id": "uef6Kglzcrha",
"slideshow": {
"slide_type": "skip"
},
"tags": [
"remove-cell"
]
},
"outputs": [],
"source": [
"import numpy as np\n",
"import gtsam\n",
"\n",
"from gtbook.discrete import Variables\n",
"from gtbook.display import show\n",
"\n",
"from IPython.display import display\n",
"from ipywidgets import interact\n",
"\n",
"import plotly.express as px\n",
"try:\n",
" import google.colab\n",
"except:\n",
" import plotly.io as pio\n",
" pio.renderers.default = \"png\"\n",
"\n",
"import gtbook\n",
"VARIABLES = Variables()\n",
"def pretty(obj): \n",
" return gtbook.display.pretty(obj, VARIABLES)"
]
},
{
"cell_type": "code",
"execution_count": 3,
"metadata": {
"id": "vXWJdNcgTJcQ",
"slideshow": {
"slide_type": "skip"
},
"tags": [
"remove-cell"
]
},
"outputs": [],
"source": [
"# Define variables here\n",
"Conductivity = VARIABLES.binary(\"Conductivity\")\n",
"Detection = VARIABLES.discrete(\"Detection\", [\"bottle\", \"cardboard\", \"paper\"])\n",
"categories = [\"cardboard\", \"paper\", \"can\", \"scrap metal\", \"bottle\"]\n",
"Category = VARIABLES.discrete(\"Category\", categories) # Not an accident that it is defined last."
]
},
{
"attachments": {},
"cell_type": "markdown",
"metadata": {
"id": "5_gRa4NQZsD4",
"slideshow": {
"slide_type": "slide"
}
},
"source": [
"```{index} sensing; sensor models\n",
"```\n",
"\n",
"# Sensors for Sorting Trash\n",
"\n",
"> Probability distributions can be used to model the behavior of sensors.\n",
"\n",
"\n",
""
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "5_gRa4NQZsD4",
"slideshow": {
"slide_type": "slide"
}
},
"source": [
"How can our trash sorting system know the category of an object that enters the sorting area? Robots use sensors to measure aspects of the world, and then make inferences about the world state based on these measurements. So, sensing can be used to infer the type of the object.\n",
"\n",
"Let us assume our robot cell only has three sensors:\n",
"* a conductivity sensor, outputting the value `True` or `False`\n",
"* a camera with a three detection algorithms: bottle, cardboard, paper\n",
"* a scale, which gives a continuous value in kg.\n",
"\n",
"We will discuss each in turn."
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "fTcEUT_IAu54",
"slideshow": {
"slide_type": "slide"
}
},
"source": [
"```{index} conditional probability\n",
"```\n",
"## Binary Sensors\n",
"\n",
"> A binary sensor can be modeled using conditional probability distributions.\n",
"\n",
"Sadly, sensors are imperfect devices. For example, consider a sensor that measures electrical conductivity. Suppose we have a binary sensor that simply returns `True` or `False` , based on a measurement from an electrical probe, for an object's conductivity. For a metal can, this sensor will return `True` almost every time; however, some cans may be a bit dirty, or the probe may not make good contact, and these can lead to a mis-classification, returning `False`.\n",
"\n",
"Probability theory lets us quantify this. For example, for a metal can, the probability of the sensor returning `True` might be $0.9$, and hence the probability of returning `False` is $1-0.9=0.1$. \n",
"Of course in reality, we cannot know the true values of these probabilities, but we can estimate them using statistics.\n",
"A straightforward approach is to merely perform a set of experiments, and construct\n",
"a histogram of the results.\n",
"\n",
"Because the probability of the outcome depends on the type of the trash item, we represent this with a **conditional probability**, which accords a value \n",
"\n",
"$$P(conductive| trash~category)$$\n",
"\n",
"to every possible outcome (only `True` or `False` for this example), and where the `|` indicates that this depends on the category of the trash item. For example, we already established that\n",
"\n",
"$$P(conductive=True| trash~category=can)=0.9$$\n",
"\n",
"$$P(conductive=False| trash~category=can)=0.1$$\n"
]
},
{
"cell_type": "markdown",
"metadata": {
"slideshow": {
"slide_type": "slide"
}
},
"source": [
"```{index} pair: conditional probability table; CPT\n",
"```\n",
"## Conditional Probabilities\n",
"\n",
"In general, the probability mass function of *any* single variable $X$ can be\n",
"parameterized by a parameter $Y$, whose value we assume as known. \n",
"This corresponds to the notion of a conditional probability,\n",
"which we write as \n",
"\n",
"$$P(X|Y=y).$$\n",
"\n",
"Note that given a particular value of\n",
"$Y$, this is just a probability distribution over $X$, with parameters given by a\n",
"PMF, as before. \n",
"\n",
"There are many ways to specify conditional probabilities, but in this simple case, with a binary outcome and a finite number of discrete categories, the simplest representation is to use a a **conditional probability table** or **CPT**. "
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"An example is shown below for our binary sensor example, taking care to first create the variables for pretty-printing:"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
P(Conductivity|Category):
\n",
"
\n",
" \n",
"
Category
false
true
\n",
" \n",
" \n",
"
cardboard
0.99
0.01
\n",
"
paper
0.99
0.01
\n",
"
can
0.1
0.9
\n",
"
scrap metal
0.15
0.85
\n",
"
bottle
0.95
0.05
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 4,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"pCT = gtsam.DiscreteConditional(\n",
" Conductivity, [Category], \"99/1 99/1 10/90 15/85 95/5\")\n",
"pretty(pCT)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Note the rows add up to 1.0, as each row is a valid probability mass function (PMF).\n"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"```{index} sensor model\n",
"```\n",
"Conditional probability distributions are a great way to represent\n",
"knowledge about the world in robotics. In particular, we use them\n",
"to model sensors in this chapter.\n",
"In the next chapter, we will use them to model \n",
"how we can affect the state of the robot by *actions*.\n",
"\n",
"A complete **sensor model** specifies a (potentially giant) CPT for every\n",
"possible state. An observation $z$ can be rather impoverished, or very\n",
"detailed, and one can also envision modeling several different sensors\n",
"on the robot. In the latter case, we will be able to *fuse* the\n",
"information from multiple sensors.\n",
"\n",
"Conditional probability tables do not *have* to be specified as giant\n",
"tables. In case we index the discrete states with semantically\n",
"meaningful indices.\n",
"For example, in later chapters we will represent a robot's workspace\n",
"as a grid, and the indices into the grid can serve this purpose.\n",
"In such cases, we can often specify the CPT in parametric form."
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "yXqXJGUOMD7w",
"slideshow": {
"slide_type": "slide"
}
},
"source": [
"## Multi-Valued Sensors\n",
"\n",
"Binary sensors are easily generalized to multi-valued sensors. For our running example, assume that there is a camera mounted in the work cell, looking down on the trash conveyor belt. The camera is connected to a computer which runs a vision algorithm that can output three possible detected classes: `bottle` , `cardboard` , and `paper`.\n",
"We can model this sensor using the conditional probability distribution\n",
"\n",
"$$P(detection| trash~category)$$\n",
"\n",
" The CPT for this sensor now has three columns, and one plausible CPT is given in python code below:\n"
]
},
{
"cell_type": "code",
"execution_count": 5,
"metadata": {
"id": "4LQ4c-RKTJcS"
},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
P(Detection|Category):
\n",
"
\n",
" \n",
"
Category
bottle
cardboard
paper
\n",
" \n",
" \n",
"
cardboard
0.02
0.88
0.1
\n",
"
paper
0.02
0.2
0.78
\n",
"
can
0.33
0.33
0.34
\n",
"
scrap metal
0.33
0.33
0.34
\n",
"
bottle
0.95
0.02
0.03
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 5,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"pDT = gtsam.DiscreteConditional(\n",
" Detection, [Category], \"2/88/10 2/20/78 33/33/34 33/33/34 95/2/3\")\n",
"pretty(pDT)\n"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "gp9Hi9knTJcS"
},
"source": [
"As you can tell, this detector is pretty good at detecting cardboard.\n",
"For example, \n",
"we have $P(Detection = cardboard| Category = cardboard) = 0.88$. \n",
"Incidentally, this means that our sensor still mis-classifies cardboard about 1 in 10 times, 12% to be exact, as $1-0.88 = .12$. Unfortunately, our \"vision sensor\" is not great when dealing with classes it does *not* know about, which is rather typical of this type of model. Hence, for a metal can, the sensor essentially outputs a class at random.\n"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "2cuF7k7GMcVp"
},
"source": [
"## Continuous Valued Sensors\n",
"\n",
"Next we discuss continuous-valued sensors, like a *scale*, which measures an object's weight.\n",
"For our trash sorting system, it stands to reason that the weight of an object is a great indicator of what category it might belong to, but, how should we treat *continuous* measurements? \n",
"We could use a very finely quantized histogram on some discretized weight scale, allowing us to use the `DiscreteConditional` machinery from above, but we can do much better by explicitly representing\n",
"weight as a continuous quantity. \n",
"In particular, we will not represent the probability distribution as a PMF, but will instead use a **probability density function (pdf)**.\n",
"\n",
"We will have much more to say about continuous random variable's and pdf's later in the book, but for now we skip these details, and represent the conditional pdf for our weight sensor using the omnipresent \"Bell Curve.\"\n",
"In particular, let us assume that we can fit a Gaussian curve to the data of a particular category. As a reminder, a Gaussian curve is defined as below:"
]
},
{
"cell_type": "code",
"execution_count": 6,
"metadata": {
"id": "ka3Bv2v0TJcS"
},
"outputs": [],
"source": [
"def Gaussian(x, mu=0.0, sigma=1.0):\n",
" return np.exp(-0.5*(x-mu)**2/sigma**2)/np.sqrt(2*np.pi*sigma**2)"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "gnNSeLEvTJcS"
},
"source": [
"We can easily plot this using plotly:"
]
},
{
"cell_type": "code",
"execution_count": 7,
"metadata": {
"id": "REzI-uFBTJcT"
},
"outputs": [
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAAArwAAAH0CAYAAADfWf7fAAAgAElEQVR4Xuyde5wV1ZXvf+ecbrob0G5EXo4PTGKAXDNIZnxxDUFN5JEowh0h+ACCD1pQkAYFRRFwOomiIBoRBzWIRsUHhjjyygRbjaDkJsCd3KtOJiMwKnQjrxjpbuCccz9VnWq66cepU3vVqqrTv/PJH5Hee61d37ULvr3Prl2xdDqdBj8kQAIkQAIkQAIkQAIkkKMEYhTeHK0sL4sESIAESIAESIAESMAmQOHlRCABEiABEiABEiABEshpAhTenC4vL44ESIAESIAESIAESIDCyzlAAiRAAiRAAiRAAiSQ0wQovDldXl4cCZAACZAACZAACZAAhZdzgARIgARIgARIgARIIKcJUHhzury8OBIgARIgARIgARIgAQov5wAJkAAJkAAJkAAJkEBOE6Dw5nR5eXEkQAIkQAIkQAIkQAIUXs4BEiABEiABEiABEiCBnCZA4c3p8vLiSIAESIAESIAESIAEKLycAyRAAiRAAiRAAiRAAjlNgMKb0+XlxZEACZAACZAACZAACVB4OQdIgARIgARIgARIgARymgCFN6fLy4sjARIgARIgARIgARKg8HIOkAAJkAAJkAAJkAAJ5DQBCm9Ol5cXRwIkQAIkQAIkQAIkQOHlHCABEiABEiABEiABEshpAhTenC4vL44ESIAESIAESIAESIDCyzlAAiRAAiRAAiRAAiSQ0wQovDldXl4cCZAACZAACZAACZAAhZdzgARIgARIgARIgARIIKcJUHhzury8OBIgARIgARIgARIgAQov5wAJkAAJkAAJkAAJkEBOE6Dw5nR5eXEkQAIkQAIkQAIkQAIUXs4BEiABEiABEiABEiCBnCZA4c3p8vLiSIAESIAESIAESIAEKLycAyRAAiRAAiRAAiRAAjlNgMKb0+XlxZEACZAACZAACZAACVB4OQdIgARIgARIgARIgARymgCFN6fLy4sjARIgARIgARIgARKg8HIOkAAJkAAJkAAJkAAJ5DQBCm9Ol5cXRwIkQAIkQAIkQAIkQOHlHCABEiABEiABEiABEshpAhTenC4vL44ESIAESIAESIAESIDCyzlAAiRAAiRAAiRAAiSQ0wQovDldXl4cCZAACZAACZAACZAAhZdzgARIgARIgARIgARIIKcJUHhzury8OBIgARIgARIgARIgAQov5wAJkAAJkAAJkAAJkEBOE6Dw5nR5eXEkQAIkQAIkQAIkQAIUXs4BEiABEiABEiABEiCBnCZA4c3p8vLiSIAESIAESIAESIAEKLycAyRAAiRAAiRAAiRAAjlNgMKb0+XlxZEACZAACZAACZAACVB4OQdIgARIgARIgARIgARymgCFN6fLy4sjARIgARIgARIgARKg8HIOkAAJkAAJkAAJkAAJ5DQBCm9Ol5cXRwIkQAIkQAIkQAIkQOHlHCABEiABEiABEiABEshpAhTenC4vL44ESIAESIAESIAESIDCyzlAAiRAAiRAAiRAAiSQ0wQovDldXl4cCZAACZAACZAACZAAhZdzgARIgARIgARIgARIIKcJUHhzury8OBIgARIgARIgARIgAQov5wAJkAAJkAAJkAAJkEBOE6Dw5nR5eXEkQAIkQAIkQAIkQAIUXs4BEiABEiABEiABEiCBnCZA4c3p8vLiSIAESIAESIAESIAEKLwCc+CzvdUCURjCbwIF+XF0LMrH3r/U+p2K8QUIxGNA105F2L2P95cATpUQ3ToV4vODtUim0ir5mMSMQKeO7VBzJInq2qRZIPZWIXBK5yKVPLmahMIrUFkKrwBEhRAUXgXIgikovIIwlUJReJVAC6Wh8AqBVApD4TUDTeE142f3pvAKQFQIQeFVgCyYgsIrCFMpFIVXCbRQGgqvEEilMBReM9AUXjN+FF4BflohKLxapGXyUHhlOGpGofBq0jbPReE1Z6gZgcJrRpvCa8aPwivATysEhVeLtEweCq8MR80oFF5N2ua5KLzmDDUjUHjNaFN4zfhReAX4aYWg8GqRlslD4ZXhqBmFwqtJ2zwXhdecoWYECq8ZbQqvGT8KrwA/rRAUXi3SMnkovDIcNaNQeDVpm+ei8Joz1IxA4TWjTeE140fhFeCnFYLCq0VaJg+FV4ajZhQKryZt81wUXnOGmhEovGa0Kbxm/Ci8Avy0QlB4tUjL5KHwynDUjELh1aRtnovCa85QMwKF14w2hdeMH4VXgJ9WCAqvFmmZPBReGY6aUSi8mrTNc1F4zRlqRqDwmtGm8Jrxo/AK8NMKQeHVIi2Th8Irw1EzCoVXk7Z5LgqvOUPNCBReM9qRFt7P9x1E+6JCtC8qcEWhtfapVBpVe/fj5JOKkZdINIl3qLoGhw8fRUlxxyY/44snXOEPvBGFN/ASZDUACm9WuELRmMIbijK4HgSF1zWqUDSk8JqVIZLCu/PTSpTOWIAdn1TaVz9i6ADMLhuL/Lymomr9PFP7tzZtw/R5j8OSWutzb9lYjLziYvv/V+7Zj39+eDne+8MH9n/3+uppmDXlWvQ564x68hRes0mo1ZvCq0VaJg+FV4ajZhQKryZt81wUXnOGmhEovGa0Iym8N93+IDp2KEL5zBuxu2ovRk6Yi9lTx+Dyy/o3S6O19tU1hzFg+GTcMn44rhnxXVRs3Iop9zyKdS/Mx6k9uuCO+5bgwF/+isd+fBti8RjmPvQM9uzdjyX3T6Pwms099d4UXnXkRgkpvEb4AulM4Q0Eu+ekFF7P6ALpSOE1wx454T34xZfof/kkPPezWeh39ln21Zcveha7q/bh0fIpTWhkam+t7k68cyG2rF+Kdu3y7f5Dr51hy+81I76Ha28pxxmndkP5zBvsn7225h08+vRKbHh5IYXXbO6p96bwqiM3SkjhNcIXSGcKbyDYPSel8HpGF0hHCq8Z9sgJ75+3f4orxs1CxasPo0vnEvvqn31lPVatexevLJ3bhEam9i+9XoFlK9Zg9XP31/e9ddYi9DytB6aVjsSG3/4Bt979CC799rcwfMi3MX/xixj/w6H4px98h8JrNvfUe1N41ZEbJaTwGuELpDOFNxDsnpNSeD2jC6QjhdcMe+SEd8sf/2Svum58/TEUn9DBvnpLWpcsX9Vo1dXBkqn9k8+/gbVvbm4ky9Z+3o7tizBn+jh8uvtz3Dh9Pr7+ldPw7u/+iMKCfPx84Ux87cy/qyd/4K9HzKrA3ioE8vJiKMxP4K/VR1XyMYkZgVgMOLFDPg7y/jIDqdjbqtdfq48glVJMylSeCXQoTOBIMo3DR1gwzxAVO5Z0rPsWmh9vBCInvM6K7VsrF9knKlgfNyu8LbXPtMI7asJcfKf/OZg4dhi++Osh3PvgMrzz/v/Bpn99rP40h0O1FChv00+3VyIWQ15eHLVHkrqJmc0TgRiAwnZ5qD4c/ftr7/4YKt5J4dPP6lDs25/Gvv0xfO0rwFlfi2HgRUBRoSdMoepU1C6BmsMppJEO1bg4mOYJtMtLIJlKIZlivaIwR9oX5EVhmKEdY+SEt7k9ufctXI6qz/e73sPbsL2zh3frr59Efn7dZBo0+naMueoyXDn42zhvaCke/efJuOSib9k/+78fbcfICXPwy5//M84681T7z3hKQ2jnd6OBcUtDNOrkjDIXtjTU1MSwaXMcb1ZY+t7yp6Awjf4XABeel0JhYXTlg1saonWPcUtDtOrFLQ1m9Yqc8FqXe8P0+TixYwf7QbLmTmkom7MYp3TvjOmlo2w6rbU/VF2Lc4dMwIxJo3F1M6c0WPJ75undcf/dpWhfWICHl76CNzduwa+e+XH9Ci+F12wSavWm8GqRlskTdeH94MM41qyP4cCBOtk9p28KfXrVreQWd0qjU3EaVpuN78WwY2ddG0d8Lx4QzW8hKLwyc18rCoVXi7RMHgqvGcdICu/HO3fZ5/B+smuPffVXDr4Ic6aNq1+hHT7+bpx5eg8smDPJ/nmm9hve3QLrQTXnc/dt12H0lZfa//nBn3bg8eWr8Jt3/mC/5OIf+/aytzd8s89X6ttTeM0moVZvCq8WaZk8URVea1X3+RVxbN9RJ7Hduqbx/cFp9OzZ8j7J7dvj+E3FMfHt3i2N8WOjt9pL4ZWZ+1pRKLxapGXyUHjNOEZSeJ1Ltl4KYZ3H26G9u81vrbVPJlPYvWcfunYuqRfnhmi/PFSDo0eTKD6x7kG5hh8Kr9kk1OpN4dUiLZMnisJrye7Tz8SxuzKGgoI0LhmYxoXnu38gaFdlDC+8GMeBgzFEUXopvDJzXysKhVeLtEweCq8Zx0gLr9mly/Wm8Mqx9DMShddPuvKxoyi8L6yI44OP4vaq7tWjU/a2hWw/ljQ/tCiO2toYep5hrfRGZ3sDhTfbagfbnsIbLP9ss1N4syXWuD2F14yf3ZvCKwBRIQSFVwGyYIqoCe/qtXG8tzlur+xOLPUmuw4+a6X36WV10mvt/R0xzP0qsWAJsg5F4c0aWaAdKLyB4s86OYU3a2SNOlB4zfhReAX4aYWg8GqRlskTJeHdsi2O11bF7Qu/eUISPbplv7J7PLUoSi+FV2bua0Wh8GqRlslD4TXjSOE140fhFeCnFYLCq0VaJk9UhNcW02fiqK2JYfiwFPr1lVuNbSi9Awck7T3BYf5QeMNcnaZjo/BGq14UXrN6UXjN+FF4BfhphaDwapGWyRMF4bX32z5SJ7t+bT2wTnB4ennd6vH4MalWT3uQIe89CoXXO7sgelJ4g6DuPSeF1zs7qyeF14wfhVeAn1YICq8WaZk8URDexU8k7BMZrIfUJpX693DZhooYKt5OoKQkjbLJ/uUxrRyF15Sgbn8Kry5v02wUXjOCFF4zfhReAX5aISi8WqRl8oRdeJ2H1EqK05g4wf8zcxcsStjHlYV5awOFV2bua0Wh8GqRlslD4TXjSOE140fhFeCnFYLCq0VaJk+YhdfaW/v4Ewn7QqUeUstEzdnaYL2NzRJsL0eeZcph+nMKrylB3f4UXl3eptkovGYEKbxm/Ci8Avy0QlB4tUjL5Amz8D79TMJ+k9oF56UwdLDcQ2qZyFlvcPvwozj69Eph9Ci9vJnG5fycwuuWVDjaUXjDUQe3o6DwuiXVfDsKrxk/Cq8AP60QFF4t0jJ5wiq89SutBWlMm+L/VoaGNPcfjGHxkrrzecP4ABuFV2bua0Wh8GqRlslD4TXjSOE140fhFeCnFYLCq0VaJk9YhddZ3Q1qL22YH2Cj8MrMfa0oFF4t0jJ5KLxmHCm8ZvwovAL8tEJQeLVIy+QJo/A6L5iwHlQrmxLcaQlhfYCNwisz97WiUHi1SMvkofCacaTwmvGj8Arw0wpB4dUiLZMnjMK74JEEDhyQf8FEtsTC+gAbhTfbSgbbnsIbLP9ss1N4syXWuD2F14wfhVeAn1YICq8WaZk8YRPesKzuOnTD+AAbhVdm7mtFofBqkZbJQ+E140jhNeNH4RXgpxWCwqtFWiZP2IQ3LKu7Dl37LW+LwvUAG4VXZu5rRaHwapGWyUPhNeNI4TXjR+EV4KcVgsKrRVomT5iEN2yruw5h5wG2nmekMX5scHuKnfFQeGXmvlYUCq8WaZk8FF4zjhReM34UXgF+WiEovFqkZfKERXitldTF/xK39+6OHplCn97hOf+24Srv1CnJwF9GQeGVmftaUSi8WqRl8lB4zThSeM34UXgF+GmFoPBqkZbJExbhdVZRzzg9jevHBb+Kejxd5xXH5/RNYcSwYGWcwisz97WiUHi1SMvkofCacaTwmvGj8Arw0wpB4dUiLZMnDMJrr6A+EkdtTThf9GCRtl5GsXBR3WuO77ojicLCtEwBPESh8HqAFmAXCm+A8D2kpvB6gNagC4XXjB+FV4CfVggKrxZpmTxhEN6wr+46pJ0TG4J6GYYzDgqvzNzXikLh1SItk4fCa8aRwmvGj8IrwE8rBIVXi7RMnqCFNwqruw5p51zekpI0yiYHt+2Cwisz97WiUHi1SMvkofCacaTwmvGj8Arw0wpB4dUiLZMnaOGNyuquQ9t5+9rwYSn06xvMXl4Kr8zc14pC4dUiLZOHwmvGkcJrxo/CK8BPKwSFV4u0TJ6ghdc5d3f8mBR69gxGILMh6RydFuQRZRTebCoWfFsKb/A1yGYEFN5saDVtS+E140fhFeCnFYLCq0VaJk+QwvvBh3G88FIcJcVplE0JbotAtiTL70+gtja4B+wovNlWLNj2FN5g+WebncKbLbHG7Sm8ZvwovAL8tEJQeLVIy+QJUnidh8CGDErhwvPDv7rrEHe2YQR1RBmFV2bua0Wh8GqRlslD4TXjSOE140fhFeCnFYLCq0VaJk9QwhumY76yJdlw7EG8iILCm23Fgm1P4Q2Wf7bZKbzZEuMKrxmxZnp/trdaPCYDyhOg8Moz9TNiUMK76f041qyLI6hVUlOmK1fFsXVbHEEcUUbhNa2ebn8Kry5v02wUXjOCXOE148cVXgF+WiEovFqkZfIEJbzOw2phe42wW6rOEWUFhWnMukN3/zGF122VwtGOwhuOOrgdBYXXLanm21F4zfhReAX4aYWg8GqRlskThPDWn2cbsYfVjif+1LIEduyMQfuIMgqvzNzXikLh1SItk4fCa8aRwmvGj8IrwE8rBIVXi7RMniCEN8jtADLU6qI4R5Rpv4iCwitZRf9jUXj9ZyyZgcJrRjPSwvv5voNoX1SI9kUFrii01j6VSqNq736cfFIx8hJ176V3++EeXrekgm1H4Q2Wf7bZtYW34ZvVgnjgK1s+mdo7L6LQPEeYwpupKuH6OYU3XPXINBoKbyZCrf88ksK789NKlM5YgB2fVNpXN2LoAMwuG4v8vOZFNVP7tzZtw/R5j+NQdY0d796ysRh5xcX2///2lbdi34EvmlBc9fNyfO3Mv7P/nMJrNgm1elN4tUjL5NEWXmdV9IzT07h+nO7eVxlijaMEcUQZhdePSvoXk8LrH1s/IlN4zahGUnhvuv1BdOxQhPKZN2J31V6MnDAXs6eOweWX9W+WRmvtq2sOY8Dwybhl/HBcM+K7qNi4FVPueRTrXpiPU3t0wX9/VgVr9df5/L//2G7L8YaXF6Jbl04UXrP5p9qbwquK2ziZtvAufiKB3ZX6+16NQbUQIIjj1Si8flXTn7gUXn+4+hWVwmtGNnLCe/CLL9H/8kl47mez0O/ss+yrL1/0LHZX7cOj5VOa0MjU3lrdnXjnQmxZvxTt2uXb/YdeO8OW32tGfK9JvNIZD6FL5064747x9T/jCq/ZJNTqTeHVIi2TR1N4HTksKEhj1ozor+46FdB+gQaFV2bua0Wh8GqRlslD4TXjGDnh/fP2T3HFuFmoePVhdOlcYl/9s6+sx6p17+KVpXOb0MjU/qXXK7BsxRqsfu7++r63zlqEnqf1wLTSkY3i/W7rhxh320/x6xcfxCndT6bwms099d4UXnXkRgk1hXf12jje2xzds3dbAu28Irl7tzQmTvBf5Cm8RlNevTOFVx25UUIKrxE+RE54t/zxT7j2lnJsfP0xFJ/Qwb56S1qXLF9lbzM4/pOp/ZPPv4G1b25uJMvWloWO7YswZ/q4+nDpdBo/LJ2Hb/391zFj0uhGaWqPROfVo2bTJdq9LYFKJGI4cvTYFpVoX1Fujz4GID8/jsMK99f0e5KorgbuLEvg1FNyi+v0u5OwHk+YNyuBznW7sHz7tMuL40gyhTRvMd8YSwbOT8SQSqeR5D9hklh9i2Ut2vDjnUDkhNdZsX1r5SL7RAXr42aFt6X2bld4/+2d39t7exvGcbDv/cth7xVgTzUC+XkxFBXk4S9fHlHLyUTeCcRiQKcT2mGfz/fX//0ghuXPA927AVNvyT1Te+lV4PdbY7h8KHDRhf5en1Wvg18eRooC5X3iK/Y8oSgPh4+mwEUbRegGqTqf2M6gN7tGTnib25N738LlqPp8v+s9vA3bO3t4t/76SeTn59kzYtDo2zHmqsvq9/AeTSZxxdi7MOSS83Hr+BFNZg338EbjRuKWhmjUyRml1pYG7X2u2lXQ3NbALQ3a1TXLxy0NZvy0e3NLgxnxyAmvdbk3TJ+PEzt2QPnMG5o9paFszmKc0r0zppeOsum01v5QdS3OHTLB3qZwdTOnNFj9V65+Gz959Hn820sP1W+jaIidwms2CbV6U3i1SMvk0RDeIE4ykKGTXZTy+xOorY3B7/OFKbzZ1SXo1hTeoCuQXX4Kb3a8jm8dSeH9eOcu+xzeT3btsa/nysEXYc60cfUrtMPH340zT++BBXMm2T/P1H7Du1tgPajmfO6+7TqMvvJS+z9rDx/Bd0eWYcxVg3DjNT9oljaF12wSavWm8GqRlsmjIbyb3o9jzbrce1jt+Ao4b5C74LwUhg72b78BhVdm7mtFofBqkZbJQ+E14xhJ4XUuuXLPfvs83g7tC11RaK19MpnC7j370LVzSb04uwrKF0+4xRR4Owpv4CXIagAawrvgkQQOHIhh9MgU+vT2TwSzunAfGjvbGvx+1TCF14fi+RiSwusjXB9CU3jNoEZaeM0uXa43V3jlWPoZicLrJ1352H4L7/btcTy9PI6S4jTKpvh/ZJc8oewiOtsabp6QRI9u/jy8RuHNriZBt6bwBl2B7PJTeLPjdXxrCq8ZP7s3hVcAokIICq8CZMEUfguv8zX/wAFJXDLQHwEUxGEcyjlr2M9tDRRe4zKpBqDwquI2TkbhNUNI4TXjR+EV4KcVgsKrRVomj9/CW/5AArU1/j/IJUPDPMquyhgefyIBP7c1UHjN66QZgcKrSds8F4XXjCGF14wfhVeAn1YICq8WaZk8fgrvlm1xvLYqjm5d05hUmvvbGZyKLFiUwIGDMfi1rYHCKzP3taJQeLVIy+Sh8JpxpPCa8aPwCvDTCkHh1SItk8dP4c31s3dbqoDf2xoovDJzXysKhVeLtEweCq8ZRwqvGT8KrwA/rRAUXi3SMnn8FN7Z8+peMuP3ubQyJOSi+L2tgcIrVyuNSBReDcpyOSi8ZiwpvGb8KLwC/LRCUHi1SMvk8Ut4nSO62tp2Bqcqfm5roPDKzH2tKBReLdIyeSi8ZhwpvGb8KLwC/LRCUHi1SMvk8Ut4/f5aX+bq/Yvi5/VTeP2rmx+RKbx+UPUvJoXXjC2F14wfhVeAn1YICq8WaZk8fgmv87IJvx7ckrl6/6I42xoKCtOYdYfsA3sUXv/q5kdkCq8fVP2LSeE1Y0vhNeNH4RXgpxWCwqtFWiaPH8K7/2AMCxclUFCQxqwZsrInc9U6UZxtDdJvmKPw6tRPKguFV4qkThwKrxlnCq8ZPwqvAD+tEBReLdIyefwQ3k3vx7FmXRzn9E1hxLDcfZVwpgo42xqkOVB4M5EP188pvOGqR6bRUHgzEWr95xReM34UXgF+WiEovFqkZfL4IbzOcWTDh6XQr2/bFV6/tjVQeGXmvlYUCq8WaZk8FF4zjhReM34UXgF+WiEovFqkZfL4IbzOcWR33ZFEYWHuv064tUo8tiSByqoYJLc1UHhl5r5WFAqvFmmZPBReM44UXjN+FF4BflohKLxapGXySAtvWz+O7Piq+LG9g8IrM/e1olB4tUjL5KHwmnGk8Jrxo/AK8NMKQeHVIi2TR1p4nX2rAwckccnAtr26a1Wo/gE+wdMaKLwyc18rCoVXi7RMHgqvGUcKrxk/Cq8AP60QFF4t0jJ5pIW3rR9H1lxVpLc1UHhl5r5WFAqvFmmZPBReM44UXjN+FF4BflohKLxapGXySApv/UNabfw4suMrI72tgcIrM/e1olB4tUjL5KHwmnGk8Jrxo/AK8NMKQeHVIi2TR1J4pcVO5gqDjyK9rYHCG3xNsxkBhTcbWsG3pfCa1YDCa8aPwivATysEhVeLtEweSeF9alkCO3bG0NaPI2uuMpLbGii8MnNfKwqFV4u0TB4KrxlHCq8ZPwqvAD+tEBReLdIyeaSEt6Ymhh8/kLAHxePImtZGcvWbwisz97WiUHi1SMvkofCacaTwmvGj8Arw0wpB4dUiLZNHSnid48jOOD2N68e13dcJt1QVyW0NFF6Zua8VhcKrRVomD4XXjCOF14wfhVeAn1YICq8WaZk8UsK7clUcW7fFMWRQChee33bfrtZaVRYsSuDAwRjGj0mhZ0/vjCi8MnNfKwqFV4u0TB4KrxlHCq8ZPwqvAD+tEBReLdIyeaSEl8eRZa6Hc0bxBeelMHQwhTczsdxoQeGNVh0pvGb1ovCa8aPwCvDTCkHh1SItk0dCeJ3jyEqK0yibwu0MLVVm+/Y4nl4eR0lJGmWTvXPiCq/M3NeKQuHVIi2Th8JrxpHCa8aPwivATysEhVeLtEweCeGVfCBL5qrCG6X8/gRqa2OYOiWJTsXe3kRH4Q1vfZsbGYU3WvWi8JrVi8Jrxo/CK8BPKwSFV4u0TB4J4XWOIxs9MoU+vb1/VS9zReGOIrHXmcIb7hofPzoKb7TqReE1qxeF14wfhVeAn1YICq8WaZk8psLL48iyq8OWbXG8tiqO3r1SuHqUt18OKLzZMQ+6NYU36Apkl5/Cmx2v41tTeM34UXgF+GmFoPBqkZbJYyq8PI4suzo0/AVh3uyj2XX+W2sKrydsgXWi8AaG3lNiCq8nbPWdKLxm/Ci8Avy0QlB4tUjL5DEVXomv6GWuJDpRTN+6RuGNTq2tkVJ4o1UvCq9ZvSi8ZvwovAL8tEJQeLVIy+QxFd7yBxKorYnh5glJ9Ojm7SEsmSuJTpQNFTFUvJ3AOX1TGDEs+20NFN7o1JrCG61aWaOl8JrVLNLC+/m+g2hfVIj2RQWuKLTWPpVKo2rvfpx8UjHyEnWvIT3+c+TIUVTtPYAuJxWjXbv8+h9/trfaVX42CpYAhTdY/tlmNxFeHkeWLe269vXcPB5PRuH1xj2oXlzhDYq8t7wUXm/cnF6RFN6dn1aidMYC7Pik0r6OEUMHYHbZWOTnNS+qmdq/tWkbps97HIeqa+x495aNxU3weL4AACAASURBVMgrLq4n+/HOXZg9/+f4w7//h/1n90wdgx8Ou4TCazb31HtTeNWRGyU0EV5npdL0RQpGFxDRzs5b17ysjFN4o1V0Cm+06kXhNatXJIX3ptsfRMcORSifeSN2V+3FyAlzMXvqGFx+Wf9mabTWvrrmMAYMn4xbxg/HNSO+i4qNWzHlnkex7oX5OLVHF1Tu2Y9LrpqKIZecj6uHX4o+Z/VETW0tOhWfQOE1m3vqvSm86siNEpoI7+InEthdGQOPI8u+BCZ7nym82fMOsgeFN0j62eem8GbPrGGPyAnvwS++RP/LJ+G5n81Cv7PPsq+lfNGz2F21D4+WT2lCI1N7a3V34p0LsWX90vptCkOvnWHL7zUjvocHHnsBr/96I9589eEWtzpwS4PZJNTqTeHVIi2Tx6vwSpw2IHMF0YxicroFhTdaNafwRqteFF6zekVOeP+8/VNcMW4WKl59GF06l9hX/+wr67Fq3bt4ZencJjQytX/p9QosW7EGq5+7v77vrbMWoedpPTCtdCSuGHsXigoL0KNbZ+yq3Is+Z52B0rFXoHuXk+rbV+6v2wrBT7gJtMuPo0NBHvb/9XC4B8rR2QQs4e1cXIg9B7K7v/6wNYZXfxlHn14pXDuaD6tlO52sXxju+2nc7nbPzBQKC90zPLm4APu/OIxkyn2fbMfH9nIEijvko/ZIEjWHs39AUW4UjOSWgPULJT/eCUROeLf88U+49pZybHz9MRSf0MG+cktalyxfhQ0vL2xCIlP7J59/A2vf3NxIlq39vB3bF2HO9HH4HwPH4fx+fTB8yLfRrl0elv7iDXuv76qflyM/P8/OdzTJvyy8T0G9njEAsXgM1gOK/ESDQCIeRzKV3f217IUU3vtdGlddGcelA6yq85MtgYd+lsSf/gsYOzqOC891zzARj1F2s4UdYPt4LAbrb8N0mn8nBlgG16nzEnW/iPLjjUDkhNdZsX1r5SL7RAXr42aFt6X2mVZ4LeF95L7JuPTb37JzWQ+w/WDMnVj51H3o9dXT7D/jlgZvk0+7F7c0aBM3y+d1S4NzHNnUKUl0KuY/5F6qsOn9ONasi2d9PBm3NHihHVwfbmkIjr2XzNzS4IXasT6RE97m9uTet3A5qj7f73oPb8P2zh7erb9+sn7FdtDo2zHmqsvsPbz/dOO9+P6lF+BHPxxiU3OE+8Ul9+Kbvc+k8JrNP9XeFF5V3MbJvAgvjyMzxm4H2H8whoWLEigoTGPWHUnXQSm8rlGFoiGFNxRlcD0ICq9rVM02jJzwWldxw/T5OLFjB5TPvKHZUxrK5izGKd07Y3rpKPuiW2t/qLoW5w6ZgBmTRuPqZk5pePrF1fj5i2tgCa51MsTCJ17Gb377e6x/8SEUFbaj8JrNP9XeFF5V3MbJvAgvjyMzxl4fwMvxZBReOf4akSi8GpTlclB4zVhGUnitbQXWObyf7NpjX/2Vgy/CnGnj6ldoh4+/G2ee3gML5kyyf56p/YZ3t8B6UM353H3bdRh95aX2fx4+fAR3/fRJrNnwvv3f3bp0wsNzb8Hff+Or9e25pcFsEmr1pvBqkZbJ40V4eRyZDHsryuq1cby3OY6BA5K4ZKC7rSEUXjn+GpEovBqU5XJQeM1YRlJ4nUu2zsi1Vl07tHf35GJr7ZPJFHbv2YeunUvqxbkh2r/89RC+/LIa3buehFis8UMcFF6zSajVm8KrRVomT7bC63wNb2WfN/uozCDacBTneLLu3dKYOMHdtgYKb7QmDIU3WvWi8JrVK9LCa3bpcr0pvHIs/YxE4fWTrnzsbIV3y7Y4XlsVR+9eKVw9KruTHeRHnxsRZ8+rO4nG7QOAFN5o1Z3CG616UXjN6kXhNeNn96bwCkBUCEHhVYAsmCJb4X1+RRwffhTH8GEp9OtL4ZUoRbZMKbwS1PViUHj1WEtkovCaUaTwmvGj8Arw0wpB4dUiLZMnW+HlcWQy3BtGyXbVnMIrXwM/I1J4/aQrH5vCa8aUwmvGj8IrwE8rBIVXi7RMnmyEd/v2OJ5eHke3rmlMKnW331RmlLkdJdvjySi80ZoPFN5o1YvCa1YvCq8ZPwqvAD+tEBReLdIyebIRXudEgQvOS2HoYG5nkKlAXZTHliRQWRXD+DEp9OzZOlsKryR5/2NReP1nLJmBwmtGk8Jrxo/CK8BPKwSFV4u0TJ5shNc5jsyNlMmMru1EyeaXCQpvtOYFhTda9aLwmtWLwmvGj8IrwE8rBIVXi7RMHrfCW/+1e0Eas2ZwO4MM/WNRnO0iJSVplE1unS+FV5q+v/EovP7ylY5O4TUjSuE140fhFeCnFYLCq0VaJo9b4c32wSqZ0bWtKOX3J1BbG8t4PBmFN1rzgsIbrXpReM3qReE140fhFeCnFYLCq0VaJo9b4c326CyZ0bWtKCtXxbF1WxxDBqVw4fkt7+Ol8EZrXlB4o1UvCq9ZvSi8ZvwovAL8tEJQeLVIy+RxK7w8jkyGd2tR3K6iU3j9r4VkBgqvJE3/Y1F4zRhTeM34UXgF+GmFoPBqkZbJ40Z4ndff8jgyGeYtRampieHHDyTsH7f22mYKr791kI5O4ZUm6m88Cq8ZXwqvGT8KrwA/rRAUXi3SMnncCG82JwjIjKrtRnGOJxs9MoU+vZvf1kDhjdb8oPBGq14UXrN6UXjN+FF4BfhphaDwapGWyeNGeBc8ksCBAzHcPCGJHt3SMokZpVkCGypiqHg7gXP6pjBiGIU3F6YJhTdaVaTwmtWLwmvGj8IrwE8rBIVXi7RMnkzCy+PIZDi7jbKrMobHn0igtePJuMLrlmY42lF4w1EHt6Og8Lol1Xw7Cq8ZPwqvAD+tEBReLdIyeTIJ76b341izLt7qiqPMSBjFIeAcT9bSijqFN1pzhcIbrXpReM3qReE140fhFeCnFYLCq0VaJk8m4eVxZDKcs4mS6XgyCm82NINvS+ENvgbZjIDCmw2tpm0pvGb8KLwC/LRCUHi1SMvkySS8s+fl2YnuuiOJwkLu35Wh3noU51SMM05P4/pxTd+6RuHVqIJcDgqvHEuNSBReM8oUXjN+FF4BflohKLxapGXytCa8PI5MhnG2URoeT9bcLxoU3myJBtuewhss/2yzU3izJda4PYXXjB+FV4CfVggKrxZpmTytCa9zHNnAAUlcMpCruzLE3UV5alkCO3bG0NzxZBRedwzD0orCG5ZKuBsHhdcdp5ZaUXjN+FF4BfhphaDwapGWydOa8PI4MhnGXqK09rAghdcL0eD6UHiDY+8lM4XXC7VjfSi8ZvwovAL8tEJQeLVIy+RpSXh5HJkMX69RWjuejMLrlWow/Si8wXD3mpXC65VcXT8Krxk/Cq8AP60QFF4t0jJ5WhJeHkcmw9ckSkvHk1F4Tajq96Xw6jM3yUjhNaFH4TWj97fen+2tFonDIP4SoPD6y1c6ekvC6+whHT4shX59m3/jl/RYGK8xgZaOJ6PwRmumUHijVS8Kr1m9uMJrxo8rvAL8tEJQeLVIy+RpTngznRIgk5lRMhHYsi2O11bF0btXClePOvZLB4U3E7lw/ZzCG656ZBoNhTcTodZ/TuE140fhFeCnFYLCq0VaJk9zwpvpHFiZzIySiUDDXzzmzT5a35zCm4lcuH5O4Q1XPTKNhsKbiRCF14yQi97c0uACUgiaUHhDUIQshtCc8GZ601cW4dnUkMBjSxKorGp8PBmF1xCqcncKrzJww3QUXjOAXOE148cVXgF+WiEovFqkZfI0J7w8jkyGrUSUDRUxVLydwAXnpTB0cN22BgqvBFm9GBRePdYSmSi8ZhQpvGb8KLwC/LRCUHi1SMvkOV5464/DKk6jbErT19rKZGUUtwSaO56MwuuWXjjaUXjDUQe3o6DwuiXVfDsKrxk/Cq8AP60QFF4t0jJ5jhdeHkcmw1UyinM82dQpSXQqTnOFVxKuQiwKrwJkwRQUXjOYkRbez/cdRPuiQrQvKnBFobX2qVQaVXv34+STipGXSLiK5zTiHt6scAXWmMIbGHpPiY8X3tZeaespATsZEzh+TzVXeI2Rqgag8KriNk5G4TVDGEnh3flpJUpnLMCOTyrtqx8xdABml41Ffl7zopqp/VubtmH6vMdxqLrGjndv2ViMvOJi+///5p0/YPI9jzSh/If1S1HQLt/+cwqv2STU6k3h1SItk6eh8PI4Mhmm0lGOP56MwitN2N94FF5/+UpHp/CaEY2k8N50+4Po2KEI5TNvxO6qvRg5YS5mTx2Dyy/r3yyN1tpX1xzGgOGTccv44bhmxHdRsXErptzzKNa9MB+n9uiCf3vn97jzx0vxytK5jWKf/nddEYvFKLxm80+1N4VXFbdxsobCy+PIjHH6EuD448kovL5g9i0ohdc3tL4EpvCaYY2c8B784kv0v3wSnvvZLPQ7+yz76ssXPYvdVfvwaPmUJjQytbdWdyfeuRBb1i9Fu7+t2A69doYtv9eM+J4tvHMfWoZ3fvloi6S5wms2CbV6U3i1SMvkaSi8PI5MhqkfURoeTzbwwnb4/GAtkqm0H6kYU5gAhVcYqM/hKLxmgCMnvH/e/imuGDcLFa8+jC6dS+yrf/aV9Vi17t0mq7DWzzK1f+n1CixbsQarn7u/nuStsxah52k9MK10pC281orvsEH/EwUF7fCPfXth0MBzG+3zpfCaTUKt3hReLdIyeRoKb/kDCdTWxHDzhCR6dKNMyRCWidLweLIfjabwylDViULh1eEslYXCa0YycsK75Y9/wrW3lGPj64+h+IQO9tVb0rpk+SpseHlhExqZ2j/5/BtY++bmRrJs7eft2L4Ic6aPw79/+DHWVWy2c31WuRcv/epNXD38Usyacl19rr9WHzGrAnurEEjEY/Y+75rDx94MpZI4NEnqtuBE5WPtGGpfkIePPj6KBxel0akkjXtnxqMy/DYzzk92oa4+ndK4/958VNcmkebvJJGof2F+HEdTaRxNtlQwFjJMhexYVPfcED/eCEROeJ0V27dWLrJPVLA+blZ4W2qfaYX3eKwrV7+Nex54Gtt+81T9Ku/BLym83qafbq+8RAzWKu+XNW31DNdo/eNl6XnH9u3w8q8O49cbYvh2/zSu/IHunGE2dwRmzY2hphb48T15KGp/FCkarztwAbcqKsjD0WQKR47WvTik6SdavyQHjNP39MUdKLwmkCMnvM3tyb1v4XJUfb7f9R7ehu2dPbxbf/0k8vPzbJaDRt+OMVddZu/hPf7zzvv/jtIZD+H36/4FhQXt7B9zS4PJFNTryy0NeqwlMjlbGmb/5DB2VzZ+ha1EfMaQI+DssR55ZQJ9zznMPbxyaH2NxC0NvuIVD84tDWZIIye81uXeMH0+TuzYAeUzb2j2lIayOYtxSvfOmF46yqbTWvtD1bU4d8gEzJg0Glc3c0rD86/9Br2+ehq+8fWeOPjFX3H7vCX21+JPL5xRT57CazYJtXpTeLVIy+SxhLdjYRFuu7PuG5R5s9vqVhQZnn5GcY4n63s2MPKfkhReP2ELxqbwCsJUCEXhNYMcSeH9eOcu+xzeT3btsa/+ysEXYc60cfUrtMPH340zT++BBXMm2T/P1H7Du1tgPajmfO6+7TqMvvJS+z8XPPESnnphdf3P/v4bX8X8e0rtI8ucD4XXbBJq9abwapGWyWMJ73/+qQDLnk+id68Urh7V0teuMvkYxTuBhseTlc+h8HonqduTwqvL2zQbhdeMYCSF17nkyj377fN4O7QvdEWhtfbJZAq79+xD184l9eLsBK2pPYw9ew/ghA7tUVLcsUkuCq8r/IE3ovAGXoKsBmAJ7xur22HT71IYMiiFC8+n8GYFULmxczzZtT9M4+tfb6v75JWhG6aj8BoCVO5O4TUDHmnhNbt0ud4UXjmWfkai8PpJVz62JbzlD+ShuhqYOiWJTsXReuhOnki4IzrHk/U/P4XBg/jLSbirVTc6Cm8UqnRsjBRes3pReM342b0pvAIQFUJQeBUgC6aorIrBWjUsKU6jbApXDAXR+hJq+/Y4nl4eR0lJGmWTWS9fIAsHpfAKA/U5HIXXDDCF14wfhVeAn1YICq8WaZk8b74Vw5tvJXDBeSkMHcwVQxmq/kb5ibUiX8MVeX8py0Wn8Mqx1IhE4TWjTOE140fhFeCnFYLCq0VaJs/iJxI8jkwGpVqUV1fmYdsfwT3XasTNElF4zfhp96bwmhGn8Jrxo/AK8NMKQeHVIm2eZ//BGBYuStiBeByZOU+tCP9lnarxAk/V0OJtmofCa0pQtz+F14w3hdeMH4VXgJ9WCAqvFmnzPMfOdY3hf43gmwzNiepEyEsX4q77jqKgMI1Zd3Afrw5171kovN7ZBdGTwmtGncJrxo/CK8BPKwSFV4u0eZ7nV8Tx4UdxjByewNnfrDUPyAgqBLp1KsS9Pz1ib0UZPyaFnj2591oFvMckFF6P4ALqRuE1A0/hNeNH4RXgpxWCwqtF2jxP+QMJ1NbE8OPZ+TiKavOAjKBCwBLeZ148jI3vx/mwoQpxsyQUXjN+2r0pvGbEKbxm/Ci8Avy0QlB4tUib5XGOt+rWLY377myH3fsovGZE9Xpbwvu7bYfx5LI4undLY+IEbmvQo599Jgpv9syC7EHhNaNP4TXjR+EV4KcVgsKrRdosz+q1cby3OW6/We1HowsovGY4VXtbwvv5wVrM+0kctbUxvjBElX72ySi82TMLsgeF14w+hdeMH4VXgJ9WCAqvFmmzPM5xZNePTeH8fhReM5q6vR3hffaFmL0He/iwFPr15T5e3Sq4z0bhdc8qDC0pvGZVoPCa8aPwCvDTCkHh1SLtPY9zHFlBQRr3zEyia6cirvB6x6ne0xHe/70lhtdWxdG7VwpXj6LwqhfCZUIKr0tQIWlG4TUrBIXXjB+FV4CfVggKrxZp73mc48gsUbr2hykKr3eUgfR0hPfz/bDPUebxZIGUwXVSCq9rVKFoSOE1KwOF14wfhVeAn1YICq8Wae95nOPIrK/C/+EcCq93ksH0dIQ3mUrjsSUJVFbxeLJgKuEuK4XXHaewtKLwmlWCwmvGj8IrwE8rBIVXi7T3PM5xZFOnJNG5JM0VXu8oA+nZUHidhw8vOC+FoYO5rSGQgmRISuENY1VaHhOF16xeFF4zfhReAX5aISi8WqS95ak/jqxrGpNKk4jHQOH1hjKwXg2F16knjycLrBwZE1N4MyIKVQMKr1k5KLxm/Ci8Avy0QlB4tUh7y3P8iiCF1xvHIHs1FF5rHOX3J3g8WZAF4QpviOlnPzQKb/bMGvag8Jrxo/AK8NMKQeHVIu0tz4JHEjhw4NieTwqvN45B9jpeeBvuyebxZEFWpvncXOENX01aGxGF16xeFF4zfhReAX5aISi8WqSzz9PwOLJZM+rezkXhzZ5j0D2OF96Gp27weLKgq9M0P4U3fDWh8PpXEwqvANvP9vLVpwIYfQ9B4fUdsecEm96PY826OM7pm8KIYXUPOFF4PeMMrOPxwlv/i0xhGrPu4GuGAytMC4kpvGGrSOvj4QqvWb0ovGb8uMIrwE8rBIVXi3T2eZr76pvCmz3HoHscL7zWeHg8WdBVaTk/hTe8tWluZBRes3pReM34UXgF+GmFoPBqkc4+z+x5eXanu+5IorAwzRXe7BGGokdzwsvjyUJRmmYHQeENb20ovPK1ofAKMOWWBgGICiEovAqQPaT44MM4Xngpjm5/O47MCcEVXg8wA+7SnPDyeLKAi9JKegpveGtD4ZWvDYVXgCmFVwCiQggKrwJkDymcFcCBA5K4ZGDd6q71ofB6gBlwl+aE1xqSs4JvvVCkU/GxGgc83DafnsIbrSnALQ1m9aLwmvGze1N4BSAqhKDwKkD2kMI5juzmCUn06Ebh9YAwNF1aEl4eTxaaEjUaCIU3nHVpaVQUXrN6UXjN+FF4BfhphaDwapF2n6e548i4wuueX9hatiS8zikcvXulwOPJwlM1Cm94auFmJBReN5RabkPhNeNH4RXgpxWCwqtF2n2e5o4jo/C65xe2li0JL48nC1ul6sZD4Q1nXbjC609dKLwCXLmlQQCiQggKrwLkLFO09lU39/BmCTMEzVsSXmtoCxYlcOBgDMdvXQnBsNvsECi80So9V3jN6kXhNePHFV4BflohKLxapN3lqamJ4ccPJOzGDY8j4wqvO35hbNWa8Lb0cGIYr6OtjInCG61KU3jN6kXhNeNH4RXgpxWCwqtF2l2elo4jo/C64xfGVq0Jr1Pv7t3SmDiBb10LQ/0ovGGogvsxUHjds2quZaSF9/N9B9G+qBDtiwpcUWitfSqVRtXe/Tj5pGLkJepWndx+uKXBLalg21F4g+V/fPaVq+LYui2OIYNSuPD8utcJN/xwS0O46uVmNK0Jr9W/uReMuInLNv4QoPD6w9WvqBReM7KRFN6dn1aidMYC7Pik0r76EUMHYHbZWOTnNS+qmdq/tWkbps97HIeqa+x495aNxcgrLm5CduG/vIwnn38Dm/51MU7s2L7+5xRes0mo1ZvCq0XaXZ6WjiNzelN43XEMU6tMwsvjycJULT60Fq5qZB4NhTczo9ZaZC28y1asRc/TuuOi87+Z9Uqo2VCP9b7p9gfRsUMRymfeiN1VezFywlzMnjoGl1/Wv9kUrbWvrjmMAcMn45bxw3HNiO+iYuNWTLnnUax7YT5O7dGlPt5ra97B3fc/Zf83hVeqkrpxKLy6vFvLtqsyhsefSKCkOI2yKc1/vU3hDU+93I4kk/C2diqH2xxsJ0eAK7xyLDUiUXjNKGctvHMXPIOXfvUmunXphLEjB+PKQReh+MQOZqPIovfBL75E/8sn4bmfzUK/s8+ye5Yveha7q/bh0fIpTSJlam+t7k68cyG2rF+Kdu3y7f5Dr51hy+81I75n//fvtn6IiXc+jHm3/8heCabwZlGwEDWl8IanGG7Eh8Ibnnq5HUkm4eXxZG5J6rSj8OpwlspC4TUjmbXwWun+/YP/wourNuCXa39rZ7e+/v/hsEvQ66unmY3GRe8/b/8UV4ybhYpXH0aXziV2j2dfWY9V697FK0vnNomQqf1Lr1dg2Yo1WP3c/fV9b521CD1P64FppSPtbRP/dOO9eHjeLeh2cicM+9EsCq+LOoWxCYU3PFV5alkCO3bGMHpkCn16N92/a42UwhueerkdSSbhteLweDK3NP1vR+H1n7FkBgqvGU1Pwuuk3HfgC6xa+1s8++p6VO7Zj3PP6Y3r/tdl+E7/vr5td9jyxz/h2lvKsfH1x1B8Qt3KsiWtS5avwoaXFzahkam9tSd37ZubG8mytYrbsX0Rpt50FUZOmGOvZF89/FL858efNiu8qTTfDW82DXV6xxBDLAawXjq8W8pyqBq47c6j9o8f/kke2he1PJ54LMZ6BVuurLJb9Uqn02jtb8QVK5P4zdtp/GBQDFcMye4B4awGw8YZCcSsvxDT1v/4b1hGWCFoYN1f/HgnYCS8B//yJX61/l38fMUaW3itExOsB79OKjkBpWOG2dsCpD/Oiu1bKxfZJypYHzcrvC21b22F9+zePVE2ZzHGXDUI1jTbd/ALvL5+I0YNuwRX/eA76HPWGXb+3fvqHnbjJ9wE2uXH0bEwD/u+OBzugeb46KzjqX6xIoaep6dxw4+aX921EFgrvCeXFKJqP++vqEyJLiUF2PeXw0imWhYop/7W8WS3lLZc/6hcc5THWdIxHzVHkqipZR2iUMfuJxVGYZihHaMn4f3jRx9jxao3sXL12/aFXfI/++Hq4d/F+d/6Bj76805bQN/7w/9rdsXVlERze3LvW7gcVZ/vd72Ht2F7Zw/v1l8/ifz8PHt4g0bfjjFXXYYLvvUN/Oa3f6gfsnWs2S9W/hsmXHc5vn/pBfhqz7+zf8ZTGkyrqtOfWxp0OGfKkuk4Mqc/tzRkIhm+n7vZ0mCNmseThaN23NIQjjq4HQW3NLgl1Xy7rIXXeWjNWs21VnCvunwg/q77yU2iW2LqbDkwG2LT3jdMn48TO3ZA+cwbmj2lwVqVPaV7Z0wvHWV3bq39oepanDtkAmZMGo2rWzmlwYrT0pYGCq90hf2JR+H1h2u2UTMdR0bhzZZoeNq7FV4eTxaOmlF4w1EHt6Og8LolJSS8jy9fhVO7d8H3vvOPKCxoZ5bdY++Pd+6yz+H9ZNceO8KVgy/CnGnj6ldoh4+/G2ee3gML5kyyf56p/YZ3t8B6UM353H3bdRh95aVNRkfh9ViwkHSj8AZfCDfHkVF4g6+T1xG4FV43p3R4HQP7uSdA4XXPKgwtKbxmVch6hdcsnWxva9+wdR5vh/bu9rW01j6ZTGH3nn3o2rmkXpzdjpYrvG5JBduOwhssfyv7hooYKt5O4Jy+KYwY1vq+QW5pCL5e2Y7ArfDyeLJsyfrTnsLrD1e/olJ4zchGWnjNLl2uN4VXjqWfkSi8ftJ1F3vxEwnsrmz9ODKu8LpjGcZWboXXGjuPJwu+ghTe4GuQzQgovNnQatqWwmvGz+5N4RWAqBCCwqsAuZUUNTUx/PiBumOo5s2uO5astQ9XeDMRCt/PsxHe1WvjeG9zHAMHJHHJQB6LFUQ1KbxBUPeek8LrnZ3Vk8Jrxo/CK8BPKwSFV4t083m2bIvjtVVx9O6VwtWjMh+DROENtl5esmcjvNbxZC+8FId1PNnECc2/XtrLGNjHPQEKr3tWYWhJ4TWrAoXXjB+FV4CfVggKrxbp5vO4PY7M6U3hDbZeXrJnI7xWfB5P5oWyXB8KrxxLjUgUXjPKFF4zfhReAX5aISi8WqSbz1P+QAK1NTFMnZJEp+LMX2FTeIOtl5fs2Qqv84rp4cNS6Nc386q/lzGxT8sEKLzRmh0UXrN6UXjN+FF4BfhphaDwapFumieb48i4whtcnUwzZyu8PJ7MlLhZfwqvGT/t3hReM+IUXjN+FF4BflohKLxapJvmcY4ju+C8FIYOdreSxxXew+TxQQAAIABJREFU4OrlNXO2wuv8IlRQmMasO7iP1yt3r/0ovF7JBdOPwmvGncJrxo/CK8BPKwSFV4t00zzZHEfGFd7g6mSaOVvhtfLxeDJT6t77U3i9swuiJ4XXjDqF14wfhVeAn1YICq8W6cZ5nJcMWH/q5jgyCm8wdZLI6kV4s32YUWKcjFFHgMIbrZlA4TWrF4XXjB+FV4CfVggKrxbpxnmyPY6MwhtMnSSyehFe53iyM05P4/px3NYgUQe3MSi8bkmFox2F16wOFF4zfhReAX5aISi8WqQb53l+RRwffhRHtk/icw9vMPUyyepFeBu+kOSuO5IoLMx8gofJGNn3GAEKb7RmA4XXrF4UXjN+FF4BflohKLxapBvncc5adXscGVd4g6mTRFYvwmvldY4nGz0yhT693T3UKDHeth6DwhutGUDhNasXhdeMH4VXgJ9WCAqvFuljeZyvq7t1TWNSaXZfV3OFV79ephm9Ci+PJzMl760/hdcbt6B6UXjNyFN4zfhReAX4aYWg8GqRPpbH5IEkCq9+vUwzehXe+nOaS9Iom5zdL0amY27L/Sm80ao+hdesXhReM34UXgF+WiEovFqkj+Vx3q5284QkenTLbm8mhVe/XqYZvQqvlZfHk5nSz74/hTd7ZkH2oPCa0afwmvGj8Arw0wpB4dUiXZdn+/Y4nl4eR0lxGmVTsl+1o/Dq1ksim4nwmnwbIDH2thiDwhutqlN4zepF4TXjR+EV4KcVgsKrRbouz+q1cby3OY5s3q7WcIQUXt16SWQzEV4eTyZRgexiUHiz4xV0awqvWQUovGb8KLwC/LRCUHi1SNflWfBIAgcOxOBlO4PVn8KrWy+JbCbCy+PJJCqQXQwKb3a8gm5N4TWrAIXXjB+FV4CfVggKrxZpwHkIqaAgjVkzst/OQOHVq5VkJhPhtcbB48kkq5E5FoU3M6MwtaDwmlWDwmvGj8IrwE8rBIVXizQgccwUV3j16iWVyVR4JeaN1LW0hTgU3mhVmcJrVi8Krxk/Cq8AP60QFF4t0sDiJxLYXRmDyYsEKLx69ZLKZCq8PJ5MqhLu4lB43XEKSysKr1klKLxm/Ci8Avy0QlB4dUjvPxjDwkUJO9m82Uc9J6XwekYXWEdT4bUGzuPJ9MpH4dVjLZGJwmtGkcJrxo/CK8BPKwSFV4f0lm1xvLYqjt69Urh6lPfXxFJ4deolmUVCeHk8mWRFWo9F4dVjLZGJwmtGkcJrxo/CK8BPKwSFV4f08yvi+PCjOIYPS6FfXwqvDvVwZJEQXh5PpldLCq8ea4lMFF4zihReM34UXgF+WiEovP6Tljxaiiu8/tdLOoOE8ErOIenry7V4FN5oVZTCa1YvCq8ZPwqvAD+tEBRe/0k72xnOOD2N68d5O47MGSWF1/96SWeQEF5rTDyeTLoyzcej8OpwlspC4TUjSeE140fhFeCnFYLC6z9pyf2XFF7/6yWdQUp4N1TEUPF2Auf0TWHEMO/bYqSvL9fiUXijVVEKr1m9KLxm/Ci8Avy0QlB4/Sdd/kACtTUxTJ2SRKfitFFCCq8RvkA6SwkvjyfTKR+FV4ezVBYKrxlJCq8ZPwqvAD+tEBRef0k7Dxt165rGpFKz7QzWSCm8/tbLj+hSwmuNrfz+BGprvb+a2o/ry7WYFN5oVZTCa1avSAvv5/sOon1RIdoXFbii0Fr7VCqNqr37cfJJxchL1J0h6nyOJpOw+qZTaXQ9uRMSiXijn3+2t9pVfjYKlgCF11/+q9fG8d7mOC44L4Whg82/hqbw+lsvP6JLCq/k9hg/rjUXYlJ4o1VFCq9ZvSIpvDs/rUTpjAXY8UmlffUjhg7A7LKxyM9rLKoOmkzt39q0DdPnPY5D1TV2l3vLxmLkFRfb/3/Fqg2Yt3B5PeVuXTrhkX+ejLN7nVn/ZxRes0mo1ZvC6y/pBY8kcOCA3IochdffevkRXVJ4nW8MundLY+IE828M/LjeqMek8EarghRes3pFUnhvuv1BdOxQhPKZN2J31V6MnDAXs6eOweWX9W+WRmvtq2sOY8Dwybhl/HBcM+K7qNi4FVPueRTrXpiPU3t0wevrN6KkuCP+4e97wVrpnT53MY4eTeLphTMovGZzT703hdc/5PV7LovTKJsiIycUXv/q5VdkSeG1xuhsa5DYE+7XNUc5LoU3WtWj8JrVK3LCe/CLL9H/8kl47mez0O/ss+yrL1/0LHZX7cOj5VOa0MjU3lrdnXjnQmxZvxTt2uXb/YdeO8OW32tGfK9JPGsl2Nr+sGDORAqv2dxT703h9Q+59HYGa6QUXv/q5VdkaeF1XmIyZFAKF55vvk3Gr+uOalwKb7QqR+E1q1fkhPfP2z/FFeNmoeLVh9Glc4l99c++sh6r1r2LV5bObUIjU/uXXq/AshVrsPq5++v73jprEXqe1gPTSkfW/9mv1r+LDb/dgv/4r//GgjmT0Ptrp1N4zeaeem8Kr3/IFz+RwO7KGEaPTKFPbxkxofD6Vy+/IksLL7c1+FWpurgUXn/5Sken8JoRjZzwbvnjn3DtLeXY+PpjKD6hg331lrQuWb4KG15e2IRGpvZPPv8G1r65uZEsW6u4HdsXYc70cfXxHl76Cn7/f/4DVZ/vx313XI/z+vWu/9m+L2rNqsDeKgTyE3EUtkvgi+ojKvnClyTmy5D2HYjhpw8ChQXAvHvMjiJrOEBLeE/s0A4H/nrYl3EzqDyBkg75+MuhI0jJTQPMvi+Gmlpg5nTgpBLBwPKXH7mIHQvzcDiZwuEjLf2SSt5hKupJJ7h7QD9MYw7TWCInvM6K7VsrF9knKlgfNyu8LbV3u8LrFO2JZ1/Hc6+uxzu/fLS+jtW1MnsWwzQxcnEs8TiQl4i38pd7Ll51w2vy5x+vN38LrPxVGuf9A3DdKFmpLmyXh5rDR3O9MDlzfQXtEvb9lU7LzbVnV6Sx+ffAiCtiuPiinEEVigvJz4vbW/SSLf6GIns/h+KiIzyIooLmH8yP8CWpDj1ywtvcntz7Fi63V17d7uFt2N7Zw7v1108iPz/Phj9o9O0Yc9Vlze7hXf/W/8bUe3+Gbb95qv74Mp7SoDpnPSfjlgbP6Frt6LwGdviwFPr1ldnOYCXklgZ/6uVnVOktDdZYua3Bv4pxS4N/bP2IzC0NZlQjJ7zW5d4wfT5O7NgB5TNvaPaUhrI5i3FK986YXjrKptNa+0PVtTh3yATMmDQaVzdzSsPiZb/E/zzvm+j11dOwd/9f7OPLigra8ZQGs3kXSG8Krzz2mpoYfvxA3arDXXckUVgot7JH4ZWvl98R/RBea8w8rcGfylF4/eHqV1QKrxnZSArvxzt32efwfrJrj331Vw6+CHOmjatfoR0+/m6ceXoP++Ey65Op/YZ3t8B6UM353H3bdRh95aX2f8766ZP45drf1v/MOhnip7Nuso8scz5c4TWbhFq9KbzypLdsi+O1VXH07pXC1aPkVnetkVJ45evld0S/hJcvofCnchRef7j6FZXCa0Y2ksLrXHLlnv32ebwd2he6otBa+2Qyhd179qFr55J6cXaCHj58BFV7D9gPslln8h7/ofC6wh94IwqvfAmcY6OktzNQeOVrpRHRL+HltgZ/qkfh9YerX1EpvGZkIy28Zpcu15vCK8fSz0gUXnm6s+fV7Xv348UAXOGVr5ffEf0SXmvc3NYgXz0KrzxTPyNSeM3oUnjN+Nm9KbwCEBVCUHhlITurbt26pjGpVP6kEgqvbL00ovkpvNzWIF9BCq88Uz8jUnjN6FJ4zfhReAX4aYWg8MqS9ltAKLyy9dKI5qfwcluDfAUpvPJM/YxI4TWjS+E140fhFeCnFYLCK0u6/IEEamtiuHlCEj26yZ3O4IySwitbL41ofgqvNX5ua5CtIoVXlqff0Si8ZoQpvGb8KLwC/LRCUHjlSO+qjOHxJxIoKU6jbIr8dgZrpBReuXppRfJbeP3+VkGLU1jyUHjDUgl346DwuuPUUisKrxk/Cq8AP60QFF450qvXxvHe5jguOC+FoYNljyPjCq9cnbQj+S283NYgW1EKryxPv6NReM0IU3jN+FF4BfhphaDwypFe8EgCBw74t52BK7xytdKM5LfwWtfibGvwayuNJq+gc1F4g65AdvkpvNnxOr41hdeMH4VXgJ9WCAqvDGmN7QwUXplaaUfREF5nW4Of3y5ocwsqH4U3KPLe8lJ4vXFzelF4zfhReAX4aYWg8MqQ1tjOQOGVqZV2FA3hdbY1lJSkUTbZn/3j2tyCykfhDYq8t7wUXm/cKLxm3Br15jm8gjB9DEXhlYGrsZ2BwitTK+0oGsJrXRO3NchUlsIrw1ErCoXXjDRXeM34cYVXgJ9WCAqvOen61TUfT2dwRslTGszrpR1BS3i5rUGmshReGY5aUSi8ZqQpvGb8KLwC/LRCUHjNSWseC0XhNa+XdgQt4eW2BpnKUnhlOGpFofCakabwmvGj8Arw0wpB4TUjXVMTw0OPxO2XTUydkkSnYvmXTTQcIYXXrF5B9NYSXuvaFixK4MBBf08KCYKhZk4KryZt81wUXjOGFF4zfhReAX5aISi8ZqS3bIvjtVVxnHF6GteP8/9hIQqvWb2C6K0pvFoPTwbBUSsnhVeLtEweCq8ZRwqvGT8KrwA/rRAUXjPSz6+I48OP4hg+LIV+ff152QRXeM1qFHRvTeGtPx6PpzV4LjuF1zO6QDpSeM2wU3jN+FF4BfhphaDweie9/2AMCxcl7AB33ZFEYaG/2xmsPFzh9V6voHpqCq91jdzWYFZpCq8ZP+3eFF4z4hReM34UXgF+WiEovN5Jb3o/jjXr4ujdK4WrR/m/ukvh9V6rIHtqCy+3NZhVm8Jrxk+7N4XXjDiF14wfhVeAn1YICq930oufSGB3ZQyjR6bQpzeF1zvJ3O6pLbzc1mA2nyi8Zvy0e1N4zYhTeM34UXgF+GmFoPB6I+1IRUFBGrNm+P+wmjNKbmnwVq8ge2kLr3Wt3NbgveIUXu/sguhJ4TWjTuE140fhFeCnFYLC642087XxOX1TGDFMZ3XXGimF11u9guwVhPByW4P3ilN4vbMLoieF14w6hdeMH4VXgJ9WCAqvN9JarxI+fnQUXm/1CrJXEMLLbQ3eK07h9c4uiJ4UXjPqFF4zfhReAX5aISi82ZPevj2Op5fHUaLwKmEKb/b1CVuPIITXYsBtDd5mAoXXG7egelF4zchTeM34UXgF+GmFoPBmT9p5lfDAAUlcMtD/o8gajpArvNnXK+geQQkvtzV4qzyF1xu3oHpReM3IU3jN+FF4BfhphaDwZk+6/IGE2quEucKbfX3C1iMo4eW2Bm8zgcLrjVtQvSi8ZuQpvGb8KLwC/LRCUHizI+28Srhb1zQmleqdzuCMkiu82dUrDK2DEl7r2p1tDZpH54WBuckYKLwm9PT7UnjNmFN4zfhReAX4aYWg8GZHWvtVwlzhza4+YWwdpPBuqIih4u0EtE8TCWMd3I6JwuuWVDjaUXjN6kDhNeNH4RXgpxWCwuuedE1NDD9+QPdVwhRe9/UJa8sghTeI11+HtQ5ux0XhdUsqHO0ovGZ1oPCa8aPwCvDTCkHhdU86iFcJU3jd1yesLYMUXovJU8sS2LEzhiGDUrjwfL0zo8Naj0zjovBmIhSun1N4zepB4TXjR+EV4KcVgsLrnrTzKuHhw1Lo1zcYceAeXvf1CkvLoIXX2XdeUpJG2WT9fedhqYPbcVB43ZIKRzsKr1kdKLxm/Ci8Avy0QlB43ZF2vhrWfpUwV3jd1SfMrYIWXouN8/Da+DEp9OwZzC9rYa5Rw7FReKNSqbpxUnjN6hVp4f1830G0LypE+6ICVxRaa59KpVG1dz9OPqkYeYm6vYvO58jRJD7fewAndToRBe3ym+T6bG+1q/xsFCwBCq87/kG9SpjC664+YW4VBuHlw2vuZwiF1z2rMLSk8JpVIZLCu/PTSpTOWIAdn1TaVz9i6ADMLhuL/LzGouqgydT+rU3bMH3e4zhUXWN3ubdsLEZecbH9/5f+4l/x8NJX6ikPGngu7i0bh+ITO9T/GYXXbBJq9abwuiPtvEo46BUybmlwV68wtQqD8DZ8eG3qlCQ6Feu+MCVM9cg0FgpvJkLh+jmF16wekRTem25/EB07FKF85o3YXbUXIyfMxeypY3D5Zf2bpdFa++qawxgwfDJuGT8c14z4Lio2bsWUex7Fuhfm49QeXfDyv1bgtFO6ou83vob//qwK15fdj+tHfx/jRg2m8JrNPfXeFN7MyIN8lTBXeDPXJ+wtwiC8FqMg3xAY9ho1HB+FN0rV4pYG02pFTngPfvEl+l8+Cc/9bBb6nX2Wff3li57F7qp9eLR8ShMemdpbq7sT71yILeuXot3ftisMvXaGLb/XjPhek3j3PPA0Pt21B08vnEHhNZ19yv0pvJmBh0kUuMKbuV5haxEW4a3/xY0Pr7U6RSi8YbuDWh8PV3jN6hU54f3z9k9xxbhZqHj1YXTpXGJf/bOvrMeqde/ilaVzm9DI1P6l1yuwbMUarH7u/vq+t85ahJ6n9cC00pGN4ll7eQeNno7vX3pho59xS4PZJNTqTeFtnXTDs3fD8FUwhVfrzpDLExbhta6Ib17LXFcKb2ZGYWpB4TWrRuSEd8sf/4RrbynHxtcfQ/EJdftoLWldsnwVNry8sAmNTO2ffP4NrH1zcyNZtvbzdmxfhDnTxzWKd++DP8fq37yPN579KbqeXCfb1qfmMI+/MZuGOr3j8Rjy4jEcPsont5sj/uY7wKu/SuGb/wOYMC6uU5RWssRiQLu8BGqP8P4KvBguB2D9UmndX+kQbJt15vNZXwGm3Bz8fHaJULVZfl4c1gPbyVQICqZ65dFMVtiu+eeUonk1+qOOnPA6K7ZvrVxkn6hgfdys8LbU3u0K7+Jlv8Rjy36JF5fci2/2PrNRpfZ9cVi/csyYNYH8RAyFBXn44tCRrPu2hQ4/eRDYfyCG0uuBr5wZ/D+AMQAlJ7TDft5fkZl+JR3b4S9fHkEqBMZrPYP8k/kx1NQCM6cDJ5UEP6fDVsiOhXk4nEzh8BEuAoStNs2N56QT2kVhmKEdY+SEt7k9ufctXI6qz/e73sPbsL2zh3frr59Efn6eXahBo2/HmKsus/fwWr/9PrRkhb2K/MyimfjG13s2KSa3NIR2fjcaGLc0tFyn+gP7i9MomxKOFVVuaYjGfdVwlGHa0mCNy9mTfsF5KQwdTKk7fkZxS0O07jFuaTCrV+SE17rcG6bPx4kdO6B85g3NntJQNmcxTuneGdNLR9l0Wmt/qLoW5w6ZgBmTRuPqZk5puPv+p/Damnew5P5p+MoZPeppd+vSqf68Xgqv2STU6k3hbZn0088ksH1HDEG+We340VF4te4MuTxhE95dlTE8/kQCBYVpzLojHL/IydE2j0ThNWeoGYHCa0Y7ksL78c5d9jm8n+zaY1/9lYMvwpxp4+pXaIePvxtnnt4DC+ZMsn+eqf2Gd7fAelDN+dx923UYfeWl9n9aq71OnoaorYfczji1m/1HFF6zSajVm8LbPOl6KShIY9qUFAoLw/HVL4VX686QyxM24bWu7LElCVRWheuXOTniZpEovGb8tHtTeM2IR1J4nUuu3LPfPo+3Q/tCVxRaa59MprB7zz507VxSL86uglJ43WIKvB2Ft/kShPVrXwpv4LdM1gMIo/A623W6d0tj4gSu8jYsKoU36ykeaAcKrxn+SAuv2aXL9eYKrxxLPyNReJvSDfNbqSi8ft4N/sQOo/BaV1p+fwK1tTHcPCGJHt3C8Q2GPxXILiqFNzteQbem8JpVgMJrxs/uTeEVgKgQgsLbFPKGihgq3k7gnL4pjBgWrod6KLwKN4VwirAK7+q1cby3OR7KeS5cgqzCUXizwhV4YwqvWQkovGb8KLwC/LRCUHibki5/IIHamhjGj0mhZ08Kr9ZczNU8YRVe55sM6+G1aZPDs0896HlA4Q26Atnlp/Bmx+v41hReM34UXgF+WiEovI1JO3sbu3VNY1Jp+PY2coVX686QyxNW4bWu8KllCezYGcOQQSlceH64frmTq0B2kSi82fEKujWF16wCFF4zfhReAX5aISi8jUkveCSBAwfC+/Q6hVfrzpDLE2bh/eDDOF54KY6SkjTKJofvFzy5KriPROF1zyoMLSm8ZlWg8Jrxo/AK8NMKQeE9Rnr79jieXh5HSYheNHH8PKDwat0ZcnnCLLzWVS5YlMCBg+HcwiNXBfeRKLzuWYWhJYXXrAoUXjN+FF4BflohKLzHSD+/Io4PP4pj4IAkLhkYzqfWKbxad4ZcnrALb5gf0pSrgvtIFF73rMLQksJrVgUKrxk/Cq8AP60QFN460g2PIrvrjmRoXjTBFV6tO8G/PGEX3jAfw+dfVVqOTOENgrr3nBRe7+ysnhReM34UXgF+WiEovHWko3JEE1d4te4MuTxhF17rSp0XrYT52w25irQeicKrRVomD4XXjCOF14wfhVeAn1YICi9QUxPDQ4/E7aPIpk5JolNxOLczWHOCwqt1Z8jliYLw1u9f58NroPDKzX2NSBReM8oUXjN+FF4BflohKLzApvfjWLMujjNOT+P6ceF+Up3Cq3VnyOWJgvBaV/vYkgQqq8J7QolcRbjCq8VSIw+F14wyhdeMH4VXgJ9WCAov4BxFNnpkCn16h/ssUgqv1p0hlycqwuucQd3WjyjjCq/c3NeIROE1o0zhNeNH4RXgpxWirQtv/TmkIT6KrOFcoPBq3RlyeaIivNYVO0eUDR+WQr++4f7lT65CjSNReP0i609cCq8ZVwqvGT8KrwA/rRBtXXiffiaB7Tui86YpCq/WnSGXJ0rCy1VecA+v3NRXiUThNcNM4TXjR+EV4KcVoi0Lr/OgTkFBGtOmpEJ7FBlXeLXuBn/yREl4ucpL4fXnLvAvKoXXjC2F14wfhVeAn1aItiy8zupulI5i4gqv1p0hlydqwuts8ykoTGPa5Gj8IihXLQqvJEuNWBReM8oUXjN+FF4Bfloh2qrwRnF115oTFF6tO0MuT9SE17ryp5YlsGNnLNRvHZSrUONI3MPrF1l/4lJ4zbhSeM34UXgF+GmFaKvCG8XVXQqv1l0hmyeKwlv/C2EbXOWl8MrOf7+jUXjNCFN4zfhReAX4aYVoi8Jb/5VthPbuOvOBK7xad4ZcnigKb1te5aXwys19jUgUXjPKFF4zfhReAX5aIdqi8Drn7g4ZlMKF50fr6CUKr9adIZcnqsLbVld5Kbxyc18jEoXXjDKF14wfhVeAn1aItia89ccuReTc3ePnAYVX686QyxNV4W2rq7wUXrm5rxGJwmtGmcJrxo/CK8BPK0RbEt6amhgW/0scBw5E9/WpFF6tO0MuT5SFty2u8lJ45ea+RiQKrxllCq8ZPwqvAD+tEG1JeDdUxFDxdgJnnJ7G9eOSWohF81B4RXGqBIuy8FqAVq6KY+u2OM7pm8KIYdHaAuSlwBReL9SC60PhNWNP4TXjR+EV4KcVoq0Ir7W6+9AjcdTWxDB+TAo9e0bzH24Kr9adIZcn6sK7/2AMCxclbCBTpyTRqTgtByeEkSi8ISxKK0Oi8JrVi8Jrxo/CK8BPK0RbEd5cWN215gSFV+vOkMsTdeFta6u8FF65ua8RicJrRpnCa8aPwivATytEWxDehitUN09Ioke36K5QUXi17gy5PLkgvG1plZfCKzf3NSJReM0oU3jN+FF4BfhphWgLwptLexApvFp3hlyeXBDetrTKS+GVm/sakSi8ZpQpvGb8KLwC/LRC5Lrw7qqM4fEncmf/IYVX686Qy5MrwttWVnkpvHJzXyMShdeMMoXXjB+FV4CfVohcF96ovkK4pfpTeLXuDLk8uSK8FhFnL3zPM9IYPzaaJ51kqiyFNxOhcP2cwmtWDwqvGT8KrwA/rRC5LLz1Z4hG8BXCFF6tO8D/PLkkvPZpJ4viqK2NYfTIFPr0juZpJ61VncLr/z0hmYHCa0Yz0sL7+b6DaF9UiPZFBa4otNY+lUqjau9+nHxSMfISdV8LN/yk02kkU6lmf/bZ3mpX+dkoWAK5LLyLn0hgd2UMAwckccnA6D6o1nCGcIU32PvFS/ZcEl7r+je9H8eadXEUFKYxbXIKhYW5cW85taXwepnlwfWh8Jqxj6Tw7vy0EqUzFmDHJ5X21Y8YOgCzy8YiP6+pqFo/z9T+rU3bMH3e4zhUXWPHu7dsLEZecXEjsq+v34iFS1/GhpcXNiFO4TWbhFq9c1V4na9eSyL6CuGW6k/h1boz5PLkmvBaZJ5alsCOnTH06ZXC6FG5tcpL4ZWb+xqRKLxmlCMpvDfd/iA6dihC+cwbsbtqL0ZOmIvZU8fg8sv6N0ujtfbVNYcxYPhk3DJ+OK4Z8V1UbNyKKfc8inUvzMepPbrYsnzj9Afxya496NalE4XXbL4F2jsXhbfhg2pRfslEcxODwhvo7eIpeS4Kr/UA2+Ilubm1gcLraZoH1onCa4Y+csJ78Isv0f/ySXjuZ7PQ7+yz7KsvX/Qsdlftw6PlU5rQyNTeWt2deOdCbFm/FO3a5dv9h147w5bfa0Z8D0eTSVhbITb8dguefP5fKbxm8y3Q3rkovM5WhgvOS2Ho4NxafaLwBnq7eEqei8JrgXC2NpSUpDHxptzZ2kDh9TTNA+tE4TVDHznh/fP2T3HFuFmoePVhdOlcYl/9s6+sx6p17+KVpXOb0MjU/qXXK7BsxRqsfu7++r63zlqEnqf1wLTSkfV/tmbD+5j/+IvNCm/l/rqtEPyEm0C7/Dg6FOZh/xeHwz1Ql6P7tzdjePOtOKytDLfenM65/YWW8HYuLsSeA7y/XE6JwJudXFxg31/JVG7tdbXALv15HNt3xND//BS+PyQ3rq+4Qz5qj6ZQU5ubp1AEfkMID8D6hZIf7wQiJ7xb/vgnXHtLOTa+/hiKT+hgX7mGgG9+AAAet0lEQVQlrUuWr2pWRjO1f/L5N7D2zc2NZNnaz9uxfRHmTB/nSnhz8S9371MqvD1jAGKxGFLp6P9j9d+fpfHP8+v+kZo2KQ9f/1p4uZuMLBGP5aQ8mTAJc99crtfefcB984/CetQjV+65eCwG64Hs6P+NGOa7Qm5s1v3Fj3cCkRNeZ8X2rZWL7BMVrI+bFd6W2kus8PKhNe8TULNnrmxpsI5LWvwvcRw4EEMubmVw5gS3NGjeHTK5cnVLg0Mn17Y2cEuDzLzXisItDWakIye8ze3JvW/hclR9vt/1Ht6G7Z09vFt//STy8/NsmoNG344xV11m7+F1Pq1taaDwmk1Crd65Iryr18bx3uY4unVNY1Jp7n4VSeHVujPk8uS68FqknFMbcuGXTQqv3NzXiEThNaMcOeG1LveG6fNxYscOKJ95Q7OnNJTNWYxTunfG9NJRNp3W2h+qrsW5QyZgxqTRuLqZUxqsr3uOHk3a2x6sY8nWPT8fsXis0Xm8FF6zSajVOxeE13nBhMXs5glJ9OiWu19GUni17gy5PG1BeBue2hD1k1EovHJzXyMShdeMciSF9+Odu+xzeK2jwqzPlYMvwpxp4+pXaIePvxtnnt4DC+ZMsn+eqf2Gd7fAelDN+dx923UYfeWl9n/+58efYtiPZjWibB1/9tO7bqr/Mwqv2STU6h114W24lSGXXjDRUv0pvFp3hlyetiC8Fq1c2dpA4ZWb+xqRKLxmlCMpvM4lV+7Zb5/H26G9uycXW2ufTKawe88+dO1cUi/ObtFSeN2SCrZd1IV35ao4tm7L/a0Mziyh8AZ7v3jJ3laE12Lz2JIEKquivY+ewutllgfXh8Jrxj7Swmt26XK9KbxyLP2MFGXh/eDDOF54KY6CgjQmlqbQqTh3tzJQeP28C/yN3ZaEt+FLX0aPTKFP7+idg03h9fd+kI5O4TUjSuE142f3pvAKQFQIEVXhtbYyPPRIHLU1MQwZlMKF50fvH1Yv5eUKrxdqwfZpS8JrkXa2NhQUpjF+bCpye+opvMHeL9lmp/BmS6xxewqvGT8KrwA/rRBRFd6nn0nYB96fcXoa14/L3VMZjp8HFF6tO0MuT1sTXovc8yvi+PCjOLp3q5PewsLofPtC4ZWb+xqRKLxmlCm8ZvwovAL8tEJEUXidfbvWVoZpU6L1j6lpXSm8pgT1+7dF4bW+gXlqWdzez2tJ78QJ0fmllMKrf4+YZKTwmtADKLxm/Ci8Avy0QkRNeJ3zdi3ZHT8uel+XmtaVwmtKUL9/WxRei7K97WhRHLW1MZzTN4URw6Kx7YjCq3+PmGSk8JrQo/Ca0ftbb+7hFcHoe5AoCe+WbXG8tipuM4nqAzGmBaXwmhLU799WhdcibT3E9vSyOumNykspKLz694hJRgqvCT0Krxk9Cq8IP60gURHehrI7fFgK/fpGY7VIuo4UXmmi/sdry8Jr0W34Ypgo3LsUXv/vCckMFF4zmtzSYMbP7s0VXgGICiGiILwNjzpqSycyNFd+Cq/CTSGcoq0Lr4Wz4S+sYX8TG4VX+AbwORyF1wwwhdeMH4VXgJ9WiLALr/2V6DN1x49FaR+gX/Wj8PpF1r+4FN46tvX770N+XBmF1797wY/IFF4zqhReM34UXgF+WiHCLLz7D8aw+AnKbsO5QOHVujPk8lB4j7GsP2GlMI1pk8N5wgqFV27ua0Si8JpRpvCa8aPwCvDTChFW4bWe8LZWdndXxtCtaxqTSqNzrJGftaPw+knXn9gU3sZcndcPh/WMXgqvP/eBX1EpvGZkKbxm/Ci8Avy0QoRReI+X3evHhXMlSKtGXOENgrRcTgpvY5bHn9E7+ofhei04hVdu7mtEovCaUabwmvGj8Arw0woRNuG1tjG88OKxlV3KbuOZwBVerTtDLg+FtynLhtIbtlcQU3jl5r5GJAqvGWUKrxk/Cq8AP60QYRJe6/iiX7wUsx9Qs7YxUHabzgIKr9adIZeHwts8S0t6f/FiHDt2xuwGYTmyjMIrN/c1IlF4zShTeM34UXgF+GmFCIvwNjy2qHcv661MaRQWprUwRCYPhTcypaofKIW39Zo5D7JZrS4emMbFA4Ldr0/hjdY9RuE1qxeF14wfhVeAn1aIMAhvw3/wovI2Jq36HJ+HwhsUee95KbyZ2TX8hdc6fnDooOB+4aXwZq5XmFpQeM2qQeE140fhFeCnFSJI4W34cFpBQRpDB6fb7BvU3NabwuuWVHjaUXjd1cLe0rQiZr+GOMgTHCi87uoVllYUXrNKUHjN+FF4BfhphQhKeBu+UKKkOA3rSe0e3biFIVPdKbyZCIXv5xRe9zWx/l5Y+VoclVUxBPUwG4XXfb3C0JLCa1YFCq8ZPwqvAD+tEEEIb8OvL/lwWnaVpvBmxysMrSm82VXh+BMcrO0N/fqmsgti0JrCawAvgK4UXjPoFF4zfhReAX5aITSF1/qHbENFDO9tjtuXx1cFZ19lCm/2zILuQeH1VoGGe/v79Eph8OA0OhX7/y0QhddbvYLqReE1I0/hNeNH4RXgpxVCS3i3bovjjXV1R45Zn7AcQaTFWSoPhVeKpF4cCq931pvej9u/JFv7eq0tDv0vAC48z98X0VB4vdcriJ4UXjPqFF4zfhReAX5aIfwWXutBlJW/iuHAgTrRPeP0NIYO4X5dr/Wl8HolF1w/Cq8Ze+tlNG9WxGD90mx9SkrSuOQ7afsbIj8+FF4/qPoXk8JrxpbCa8aPwivATyuEX8JrPXyyZm0c23fUia71YJp1xqbmXjwthpp5KLyatGVyUXhlOFq/PL+xNmY/0GZ9ep6RxpDB8r88U3hl6qUVhcJrRprCa8aPwivATyuEtPAevxpjHTd24fkpXDLQ/713WsyCzEPhDZK+t9wUXm/cWuplPfS6em3dNgfrI31uL4VXtl5+R6PwmhGm8Jrxo/AK8NMKISW81gNpmzbHsfE91O/TtV4iYYku35gmV00KrxxLrUgUXnnS1t831t81FW8n7ODO/l5Lfk0fbKPwytfLz4gUXjO6FF4zfhReAX5aIUyF94OP4vjgQ+CDj449kGa9GniI0hPVWpzCkofCG5ZKuB8Hhdc9q2xbWt8oWef27thZt9prfawTHfr0rlv59fKh8HqhFlwfCq8ZewqvGT8KrwA/rRBehNfan7tlSwwf/sexh9Gs8VoPpF06MI2ePb39Q6N1zVHOQ+GNXvUovP7XzNrf+4dtqH+wzcporfr26ZXGhReks3qpDYXX/3pJZqDwmtGk8Jrxo/AK8NMK4VZ4rZWUjz6K4Q9bYthdeWw1xXoYzVpJ6dcPxl8lal1zlPNQeKNXPQqvXs2srQ7Wt00bNx17uM3Kbp3s8P/bu/fwqKpzj+NvEi6GywkhkRBFJKU9gAexfVpopRfAVkRFqhzQCmgRAfEGgmgoUS4CVSsSIYBQKCiglYJXUAtVhLagh3MsYnms0FIiSMM9RCDhFuY8a6UTkpDMZGatWbNn8p2/Atn7XWt/3pmdX/as2en6PZ98s1PwJVYEXnf9sjESgddMkcBr5kfgteDnqkSgwKtC7hf5CfKXTxLK77agr5w09EmH9qFfOXF1TPE8DoE39rpL4I1Oz9T568MPE2TL1vMfcFMz8S95yGhZ/ZVfAm90+hXuqATecOXK9iPw1tLv2PFiOVtaKqkpTS/Y41+HS2pZhc2iKeAPvHsPnJZ9+0V2fZEo+wp8opYt+O+d65+fupLboZ1Ih/YsWYhWzwi80ZIPf1wCb/h2tvb82+eJsmWryOfby+7lW/Ghbm+WlSXSMsMnWZf7JDO9vpw8Uyolp0ptDU+dCAoQeM1wCbxB/IpLTkr21PmybuMWvWWnK9pK3tSRkt48pXxPAq/ZkzCSe6u3/fzh9sA+0eH2SOGFI6oruVlt1NVcdVUk+FuBkZwztcsECLyx90wg8HqnZ/4lD7vyRfLzE+Ro0fnlWf5ZNk8Vfd7LyPDpEKwCMQ/vChB4zXpD4A3it/Dlt2XFqvWyNC9Hki9qIPeOy5Ws1pky5dEhBF6z557Vvf1/9KFEB9yEGq/c+gdVHzrLanNOMlsmSMtMN3+33uoB14FiBN7YazKB17s9UwF4V36CFOzzya78ynd7qDhrFXrVOuDU1LKAnHV52btcKc347EK0u0vgNesAgTeIX79hE+W67p1l2MDeess16zfLmElzZdsHiyUhoeyEwBVesydhdXurNWlFR8u+owKsCrL66wJf+dcF+8/fBzfQDFS4zWzpk9atEqRtm3qS3OSU/QlT0boAgdc6acQLEngjTmx1gBPHGkj+7nOy/R/npKCg8offAg3kvxJcXTBumSHcj9xql84XI/CawRJ4g/h1vn6ETM2+W4de9fhsR770Hz5JNq2aIylNG4cdeP1XJM3aV/u91RpVFSJdPiqG09qMe7RILlhLW5v91DYZLdQyhLKt1ZVbdXWiZZUPatT2Lg21HZPtIitA4I2sbySqE3gjoRq5mlU/tKaXgO1TPytECgvLljeoq8HqUaTOz2H8DFGhuNn5FYDVHoxaTpHcKPDPJ/+V5nA04mWpBoE3nO6f34fAG8DP5/NJxx53ydwnR0u3q6/SW+7M3yt9BufIe8uflcyMNBk66oxZB9i7WoG0VJG05mUnwPS0BElrXrZZ60sTpVFy2deXtUoo/xpGBBBAAIHICxSXiOz5siwM797rk+ISn5SUiOz+9//t2avehYv8POriCAtn1q+Lh23tmAm8QSjVFd5p44ZKz27f0VtWvcIbbuD9z7Zur7ZWDI3Wnj1BClUMp7UZMy0tQdL/HWxrsz3bIIAAAgh4W+DQEZHDhwN/GM4fnAMdyfa/h/+Buh07w9/XS7oEXrNuEHiD+Kk1vL16dJGhA27UW7KG1+wJF829WdIQTf3Qx2ZJQ+hm0d6DJQ3R7kBo43Mf3tC8or01SxrMOkDgDeK34KXVsnL1Bn2XhkbJDWVE9gzu0mD2nIva3gTeqNGHNTCBNyy2qO5E4I0qf8iDE3hDJovqDgReM34CbxC/E8UnZewTz8sfP9qqt+zYLkvypo2SFunNyvfkLg1mT0JXexN4XUnbGYfAa8fRZRUCr0tt87EIvOaGLisQeM20Cby19Cs6dkLOnDlb6Q9O+Hcl8NYSMcqbEXij3IAQhyfwhgjmgc0JvB5oQghTIPCGgOWBTQm8Zk0g8Jr56b0JvBYQHZQg8DpAtjgEgdcipqNSBF5H0JaGIfBagnRUhsBrBk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfMj8Frwc1WCwOtK2s44BF47ji6rEHhdapuPReA1N3RZgcBrpk3gNfNjbwQQQAABBBBAAAGPCxB4Pd4gpocAAggggAACCCBgJkDgNfNjbwQQQAABBBBAAAGPCxB4DRp07HixnC0tldSUpgZV2NWmgOpHYkKiJKoFoFUep0+fkcKi49IivZkkJFz4/UNHiqRR8kXSKLmhzSlRqwaBkpOnpfDoV9KyRVpY/eL15/appV5b6jXiO+eTFumpkpSUWGkC58755MDhQklvniL1kpJCfv25PRpGUwKBznnB+okgArEmQOANo2PFJScle+p8Wbdxi9670xVtJW/qSH2i5xE9ARWgbrtnkgwfdJP0vvbq8on4fD55fslbMmfx6/r/mjdrKrN/+ZBcdUVb/e/de/fLiOwZ8sWX+/W/+97wI5kw5udSv96FP7Sjd3TxNfKDOTPLXz+qHzf3+qE8POJWfZDB+sXrz/1zYfmb6+SJ3CXlA2dcnCqzpo6Uju2y9P9t+HCrjH3ieVG9UY+JY34ut/bpUat+uj+aujWi6s19v8iVuU+Olm5XX1Wrc16gftYtPY42ngQIvGF0c+HLb8uKVetlaV6OJF/UQO4dlytZrTNlyqNDwqjGLjYEps9bLotfeVeXejrnnkqBd8u2v8ugB6bJ0rzxcmX7r8ms37wmb7//oby3fIa+sjj8kenSpHGyTBs3TPYdOCy33jNZJoy+U27q2dXG1KhRjcDsRa9Lz+6dpfWlLeSjjz+T+8c/J688P0Gu7PA1CdYvXn/un1Kr1m6SZilN5Nud2ul3tcZOnitnz5bKotxsUb9o/uiWkfLAkFtkYN+fyPpNn8iox/NkzW+fkVaZFwftp/ujqTsjbt+5R5/71C8iFQNvoHNesH7WHT2ONN4ECLxhdLTfsIlyXffOMmxgb733mvWbZcykubLtg8XVvlUexhDsEqLA0aLjcvL0aRlw3xQZM/zWSoH32Xm/k7/94wtZOP0RXfXAoaPSo99DsnLBZLmkZbp0vel+WTY7R77V8Rv6+9NmLpV9B45I3rRRIc6CzcMVuKb/aPnZT6/RV+cD9avDNy4XXn/hKtvbT13NVW95z5h0n766q64gblm7QBo0qK8HuWFQtg6/A/teG7Sf9mZFpYoCBw8fldtGTNbnw8kzXpTpE+7VV3iLjp0IeM4L1k+UEYhVAQJvGJ3rfP0ImZp9tw696vHZjnzpP3ySbFo1R1KaNg6jIrvYErju9kfkwSF9KwVe9cM5NaWJ5Iy6o3yY/+o+WF/xaJWZLn0G58j6V5+Ti9Oa6e8vXblW3lyzUQdiHpEXUEtJVEDyX4EK1C/1A5vXX+R7UtMIb63dKOv+vEV2/HOPzJh0v7T/emv53ar18sLyd+WdZU+X76aWrLS5LFMvUwnWz+gdTfyOrK7SDh71pPzwu530lXf1mvEH3p35ewOe84L1M37VOLJ4FyDwhthhtb6wY4+7Kr095D+BvLf8WcnMSAuxIpvbFKgu8Kq379q1bV2+RlSNp34ATBo7WC7JSNNv+VX8ZUWd8OcteVPWrci1OTVqVSNwovikDHpgqjRp3EheeG6c/iBUoH7dcM13ef1F8Zn03IKV8vGnO+TAoUKZ8ujd0uVb7UUtMfn9B5sr/YKoQm6TRsn6NRaonzf++HtRPJr4HFpdeVf+6qFCrlq2VTHw+pcM1XTOC9bP+FTjqOqCAIE3jC6rk8e0cUOlZ7fv6L25whsGYoR2qekKr/pg1PiRg8pHrXqFd8NrM8s/dMgV3gg1p0pZdRVq1OOz9PKRJbPG6zWi6qF+WNfUL/8VXl5/bnpU0yjzl66SZa+ulT+9kVerK7yB+hndI4m/0f1Ltvr17iaNky/SB/jiijXSves3pU/P78vX21yir/DWdM7jCm/8PSc4ojIBAm8YzwS1hrBXjy4ydMCNem/W8IaBGKFdqgu8ak3o9p275dfPjNWjBlvDOyV3ib6CxRreCDVJRL46XiwjH5slJSWnZP6vHi4Pu2rEQP3yr+Hl9Re53tSm8toN/yejJ86Wre//RjZu3qbX8H7yh4VSv349vbt6Hd7Zv2f5Gt6aXn+qnzzsCqgPqC179Q+Vis5c+Kpe5tX7J1fruwpV/dxCxXOefw1vTf20O1uqIeBOgMAbhvWCl1bLytUb9F0a1D1b1S2tuEtDGJAWd1GfHFf3B+195y9kxJ199Ind/8P3/Kf+c/RdAGYuXCnvvP9R+V0aho59Rv6jSWN91Z67NFhsSg2liktOyc9GTNaf9s+d/IC+Q4Z6JCYmSmaL5hU+1V99v3j9Rb5HVUeY+8Ib8v0uV0q7tpfJ4cKv9FX45IYN9F0aVD87X3+PZN9/uwwIeJeG6vvp/mjq3ogVlzSoow90zgvWz7qnxxHHiwCBN4xOqnWH6oT/x4+26r3VvSjV1UD1Bw14REdA3SVDXWmv+Fi95En9i4hadz178esyb8lb+tvqj0v8+pmHy+/KsGt3gf6l5cuCg/r7N/f6gUx6eHB5YI7OEcXvqPsPFoq6K0PVh3rbW71FHqxfvP7cPzdynloob/z+z+UDqzuaPJUzXN92TD3UPcnVB9X8j8ceukNuv/nH+p/B+un+aOreiFUDb7BzXqB+1j09jjheBAi8Bp1Ut3c5c+Ysf3DCwNDlridPnZYjhTX/ZS8VxNTVxsaNyta98YiuQLB+8fpz2x/1lwoPHD6qP4zmX29dcQalpedk38Ej0iKtWbW/LAbrp9ujYTQlEOicF6yfCCIQawIE3ljrGPNFAAEEEEAAAQQQCEmAwBsSFxsjgAACCCCAAAIIxJoAgTfWOsZ8EUAAAQQQQAABBEISIPCGxMXGCCCAAAIIIIAAArEmQOCNtY4xXwQQQAABBBBAAIGQBAi8IXGxMQIIIIAAAggggECsCRB4Y61jzBcBBBBAAAEEEEAgJAECb0hcbIwAAggggAACCCAQawIE3ljrGPNFAAEEEEAAAQQQCEmAwBsSFxsjgAACCCCAAAIIxJoAgTfWOsZ8EUAAAQQQQAABBEISIPCGxMXGCCCAAAIIIIAAArEmQOCNtY4xXwQQQAABBBBAAIGQBAi8IXGxMQIIIIAAAggggECsCRB4Y61jzBcBBBBAAAEEEEAgJAECb0hcbIwAAggggAACCCAQawIE3ljrGPNFAAEEEEAAAQQQCEmAwBsSFxsjgAACCCCAAAIIxJoAgTfWOsZ8EUAg5gTyFr0mm7d8LtPGDZXWl7bQ89++c49MyV0it/XpITf17Bpzx8SEEUAAgVgSIPDGUreYKwIIxKTAoSNFcsuQxyTj4uby8pzH5MzZUuk/fKKkpabIotxsqV8vKSaPi0kjgAACsSJA4I2VTjFPBBCIaYG//HWH3PHgL2Vg32ul6Nhx2fS/2+T1RVMlvXlKTB8Xk0cAAQRiQYDAGwtdYo4IIBAXAi+uWCO/mvNbfSzL50+Uju2y4uK4OAgEEEDA6wIEXq93iPkhgEDcCPzpfz6VEdkz9PG8s+xpubxVRtwcGweCAAIIeFmAwOvl7jA3BBCIG4EvCw7KLUMel149usjHn26XeklJ8sq8idIouWHcHCMHggACCHhVgMDr1c4wLwQQiBuBkpOnZcB9T0hSUpL+0No/dxfIfw+doO/O8NT44XFznBwIAggg4FUBAq9XO8O8EEAgbgQmTl8sK1dvkHdfelpaX1q2jOGVN9fp25JNHnuX9OvdLW6OlQNBAAEEvChA4PViV5gTAggggAACCCCAgDUBAq81SgohgAACCCCAAAIIeFGAwOvFrjAnBBBAAAEEEEAAAWsCBF5rlBRCAAEEEEAAAQQQ8KIAgdeLXWFOCCCAAAIIIIAAAtYECLzWKCmEAAIIIIAAAggg4EUBAq8Xu8KcEEAAAQQQQAABBKwJEHitUVIIAQQQQAABBBBAwIsCBF4vdoU5IYAAAggggAACCFgTIPBao6QQAggggAACCCCAgBcFCLxe7ApzQgABBBBAAAEEELAmQOC1RkkhBBBAAAEEEEAAAS8KEHi92BXmhAACCCCAAAIIIGBNgMBrjZJCCCCAAAIIIIAAAl4UIPB6sSvMCQEEEEAAAQQQQMCaAIHXGiWFEEAAAQQQQAABBLwoQOD1YleYEwIIIIAAAggggIA1AQKvNUoKIYAAAggggAACCHhRgMDrxa4wJwQQQAABBBBAAAFrAgRea5QUQgABBBBAAAEEEPCiAIHXi11hTggggAACCCCAAALWBAi81igphAACCCCAAAIIIOBFAQKvF7vCnBBAAAEEEEAAAQSsCRB4rVFSCAEEEEAAAQQQQMCLAgReL3aFOSGAAAIIIIAAAghYEyDwWqOkEAIIIIAAAggggIAXBQi8XuwKc0IAAQQQQAABBBCwJkDgtUZJIQQQQAABBBBAAAEvChB4vdgV5oQAAggggAACCCBgTYDAa42SQggggAACCCCAAAJeFCDwerErzAkBBBBAAAEEEEDAmgCB1xolhRBAAAEEEEAAAQS8KEDg9WJXmBMCCCCAAAIIIICANQECrzVKCiGAAAIIIIAAAgh4UYDA68WuMCcEEEAAAQQQQAABawIEXmuUFEIAAQQQQAABBBDwogCB14tdYU4IIIAAAggggAAC1gQIvNYoKYQAAggggAACCCDgRQECrxe7wpwQQAABBBBAAAEErAkQeK1RUggBBBBAAAEEEEDAiwL/D/E6LT/O6U3XAAAAAElFTkSuQmCC"
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"#| caption: a Gaussian distribution with mean 250 and standard deviation 50.\n",
"#| label: fig:gaussian\n",
"X = np.arange(0, 500)\n",
"px.line(x=X, y=Gaussian(X, mu=250, sigma=50))"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "X14X0FzuTJcT"
},
"source": [
"```{index} density\n",
"```\n",
"Note that for any given continuous value, the probability is zero: we can only use the Gaussian as a *density*, integrating over a small (or large) continuous interval to obtain the probability of the value landing within that interval.\n",
"\n",
"We denote a conditional **density** with a lowercase $p$ to indicate it is a density over a continuous quantity. The condition to the right of the bar is still a discrete category:\n",
"\n",
"$$p(Weight|Category)$$\n"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "1A-T0y5aTJcT"
},
"source": [
"Let us assume that we fit a Gaussian to the weight of a sample of objects from every one of our 5 categories. We can represent the resulting mean and standard deviation (specified in in grams) any way we want, e.g., using a numpy array as below:"
]
},
{
"cell_type": "code",
"execution_count": 8,
"metadata": {
"id": "INqcfA6lTJcT"
},
"outputs": [
{
"data": {
"text/plain": [
"array([[ 20, 10],\n",
" [ 5, 5],\n",
" [ 15, 5],\n",
" [150, 100],\n",
" [300, 200]])"
]
},
"execution_count": 8,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"pWC = np.array([[20, 10], [5, 5], [15, 5], [150, 100], [300, 200]])\n",
"pWC"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "AY2aBq-wTJcT"
},
"source": [
"You might not remember what the 5 categories were, so let's make a small interactive applet wherein we can change the category to see the resulting conditional density:"
]
},
{
"cell_type": "code",
"execution_count": 9,
"metadata": {
"id": "-JTfcy7bTJcT"
},
"outputs": [
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "11f81095f04648aea491dd78cecadcb0",
"version_major": 2,
"version_minor": 0
},
"text/plain": [
"interactive(children=(Dropdown(description='Category', index=2, options=('cardboard', 'paper', 'can', 'scrap m…"
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"#| caption: The conditional density of weight given category.\n",
"#| label: fig:weight_density\n",
"@interact(Category=categories)\n",
"def plot_weight_density(Category=\"can\"):\n",
" index = categories.index(Category)\n",
" display(px.line(x=X, y=Gaussian(X, *pWC[index])))"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "r7RbXHzOTJcT"
},
"source": [
"```{index} inverse transform sampling\n",
"```\n",
"## Simulation by Sampling\n",
"\n",
"> Simulation can be implemented by sampling from both state and measurement.\n",
"\n",
"We can sample from a conditional distribution $P(X|Y)$ by selecting the\n",
"appropriate PMF, depending on the value of $Y$, and proceeding as before\n",
"using a method known as **inverse transform sampling**.\n",
"\n",
"To simulate our trash example for a single discrete sensor, we sample in two steps. We first sample from the category prior $C$ (Section 2.1), and then sample from the conditional probability distribution $P(S|C)$. Sampling from a conditional probability distribution works exactly the same way as sampling from the category prior - via the cumulative distribution function. Here we will not belabor the details again, but just use the sample method in GTSAM:\n"
]
},
{
"cell_type": "code",
"execution_count": 10,
"metadata": {
"id": "mlb9SUrATJcT"
},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
P(Category):
\n",
"
\n",
"
\n",
" \n",
"
Category
value
\n",
" \n",
" \n",
"
cardboard
0.2
\n",
"
paper
0.3
\n",
"
can
0.25
\n",
"
scrap metal
0.2
\n",
"
bottle
0.05
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 10,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"category_prior = gtsam.DiscreteDistribution(Category, \"200/300/250/200/50\")\n",
"pretty(category_prior)"
]
},
{
"cell_type": "code",
"execution_count": 11,
"metadata": {
"colab": {
"base_uri": "https://localhost:8080/"
},
"id": "N6mmk2VtTJcU",
"latex_metadata": {
"affiliation": "Georgia Institute of Technology",
"author": "Frank Dellaert and Seth Hutchinson",
"title": "Introduction to Robotics"
},
"outputId": "b6a3eb27-57ab-4133-f2e1-42633fa2c611"
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"category=0\n",
"conductivity = 0\n",
"detection = 2\n"
]
}
],
"source": [
"# sample from category\n",
"category = category_prior.sample()\n",
"print(f\"category={category}\")\n",
"\n",
"# then sample from the discrete sensors\n",
"# TODO: single value\n",
"values = gtsam.DiscreteValues()\n",
"values[Category[0]] = category\n",
"print(f\"conductivity = {pCT.sample(values)}\")\n",
"print(f\"detection = {pDT.sample(values)}\")"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "fsQPly7dTJcU"
},
"source": [
"Sampling from a continuous probability distribution is slightly more involved. For now, we will merely use numpy to sample from the continuous density $p(S|C)$:"
]
},
{
"cell_type": "code",
"execution_count": 12,
"metadata": {
"id": "YlT34beVTJcU"
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"weight = 13.367022785959453\n"
]
}
],
"source": [
"# sample from Gaussian with `numpy.random.normal`\n",
"print(f\"weight = {np.random.normal(*pWC[category])}\")"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "1BkCebvMTJcU"
},
"source": [
"## Simulating Multiple Sensors\n",
"\n",
"> To simulate multiple sensors, we sample from the state, and then from each sensor.\n",
"The code to do this is as follows:"
]
},
{
"cell_type": "code",
"execution_count": 13,
"metadata": {
"id": "Jeaon-HvTJcU"
},
"outputs": [],
"source": [
"# Sample from state, then from all three sensors:\n",
"def sample():\n",
" category = category_prior.sample()\n",
" values = gtsam.DiscreteValues()\n",
" values[Category[0]] = category\n",
" conductivity = pCT.sample(category)\n",
" detection = pDT.sample(category)\n",
" weight = np.random.normal(*pWC[category])\n",
" return category, conductivity, detection, weight"
]
},
{
"cell_type": "code",
"execution_count": 14,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"(1, 0, 1, 6.466999978013559)\n",
"(2, 1, 1, 17.42165090112751)\n",
"(2, 1, 2, 20.550087221787766)\n",
"(1, 0, 2, 10.03143948161786)\n",
"(1, 0, 2, 1.9731791993020624)\n",
"(0, 0, 1, 36.01619858439088)\n",
"(1, 0, 1, 14.843048905370305)\n",
"(1, 0, 2, -1.279893559656321)\n",
"(3, 1, 0, 185.0702110134971)\n",
"(1, 0, 2, 9.225698046368052)\n"
]
}
],
"source": [
"for _ in range(10):\n",
" print(sample())"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "cC-4Y7OATJcU"
},
"source": [
"## GTSAM 101\n",
"\n",
"> The GTSAM concepts used in this section, explained.\n",
"\n",
"### DiscreteConditional"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Above we created an instance of the `gtsam.DiscreteConditional` class. As with any GTSAM class, you can type\n",
"\n",
"```python\n",
"help(gtsam.DiscreteConditional)\n",
"```\n",
"\n",
"to get documentation on its constructors and methods. In particular, we called the constructor\n",
"\n",
"```python\n",
" __init__(self: gtsam.DiscreteConditional, \n",
" key: Tuple[int, int], \n",
" parents: List[Tuple[int, int]], \n",
" spec: str) -> None\n",
" ```\n",
"\n",
"which expects *three* arguments (besides `self`, which you can ignore):\n",
"* `key`: A tuple (id, cardinality), saying which variable this conditional is on.\n",
"* `parents`: A *list* of tuples, specifying the variables behind the bar.\n",
"* `spec`: A string that specifies a CPT (remember: conditional probability table) which is given as a string of PMF specifications (numbers, separated by `/`), in turn separated by spaces. There should be as many PMFs as there are different assignments to the parents.\n",
"\n",
"We have not actually used this before, but let's look at an example where there are *two* parents:"
]
},
{
"cell_type": "code",
"execution_count": 15,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
P(Category|Conductivity,Detection):
\n",
"
\n",
" \n",
"
Conductivity
Detection
cardboard
paper
can
scrap metal
bottle
\n",
" \n",
" \n",
"
false
bottle
0.6
0.1
0.1
0.1
0.1
\n",
"
false
cardboard
0.1
0.6
0.1
0.1
0.1
\n",
"
false
paper
0.1
0.1
0.6
0.1
0.1
\n",
"
true
bottle
0.1
0.1
0.1
0.6
0.1
\n",
"
true
cardboard
0.1
0.1
0.1
0.1
0.6
\n",
"
true
paper
0.3
0.1
0.2
0.1
0.3
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 15,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"conditional = gtsam.DiscreteConditional(Category, [Conductivity, Detection], \n",
" \"6/1/1/1/1 1/6/1/1/1 1/1/6/1/1 1/1/1/6/1 1/1/1/1/6 3/1/2/1/3\")\n",
"pretty(conditional)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
" As you can see above, we had to specify six PMF groups, because there are six combinations of conductivity and detection values. The PMF specifications are read in the order that you see in the table representation above. Since conductivity is mentioned first in the parent list, it varies the slowest. It is important to pay attention to disordering rent specifying conditional probability tables in this way."
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "W4Pb07V9TJcU"
},
"source": [
"We saw in Section 2.1 that GSM represents probability mass functions as decision trees. It should come as no surprise that GTSAM also represents discrete *conditional* distributions in this way, i.e., as decision trees with more than one level. For example, for the binary conductivity sensor we have:"
]
},
{
"cell_type": "code",
"execution_count": 16,
"metadata": {
"id": "9sLpeLQiTJcU"
},
"outputs": [
{
"data": {
"image/svg+xml": [
"\n",
"\n",
"\n",
"\n",
"\n"
],
"text/plain": [
""
]
},
"execution_count": 16,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"#| caption: Decision tree for the conditional distribution P(C|T).\n",
"#| label: fig:decision_tree\n",
"show(pCT)"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "tjA0EMg1TJcU"
},
"source": [
"Now each PMF on the conductivity, given the category, corresponds to a small \"decision stump\" at the lower level of the tree, where the two leaf probabilities always add up to 1.0.\n",
"\n",
"For the three-valued sensor, we get the following decision tree:\n"
]
},
{
"cell_type": "code",
"execution_count": 17,
"metadata": {
"id": "co8LvwqaTJcU"
},
"outputs": [
{
"data": {
"image/svg+xml": [
"\n",
"\n",
"\n",
"\n",
"\n"
],
"text/plain": [
""
]
},
"execution_count": 17,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"#| caption: Decision tree for the conditional distribution P(D|T).\n",
"#| label: fig:decision_tree_3\n",
"show(pDT)"
]
},
{
"cell_type": "markdown",
"metadata": {
"id": "WtqUt66VTJcU"
},
"source": [
"Again, the decision between the 3 detections is made probabilistically at the stump level, but note a peculiar property of this sensor: for categories `can` and `scrap metal` (category indices 2 and 3, respectively) the probability is exactly $1/3$, *regardless* of the detection, so the stump is simply omitted."
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"### DiscreteValues\n",
"\n",
"Above we also used the `DiscreteConditional.sample` method, which takes a single argument of type `gtsam.DiscreteValues`, specifying the actual values for the conditioning variables. Internally, this is implemented simply as a mapping from variable IDs (like `Category`) to values, represented as integers. \n",
"\n",
"We can create a `gtsam.DiscreteValues` instance by calling its default constructor, after which it behaves just like a Python dictionary:"
]
},
{
"cell_type": "code",
"execution_count": 21,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
\n",
" \n",
"
Variable
value
\n",
" \n",
" \n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 21,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"values = gtsam.DiscreteValues()\n",
"pretty(values)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"The key of the dictionary refers to the variable we want to assign a value to. It is an integer, if we want to assign a value to `Category`, which integer key should we use? We did this with the Variables object:"
]
},
{
"cell_type": "code",
"execution_count": 23,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
\n",
" \n",
"
Variable
Domain
\n",
" \n",
" \n",
"
Conductivity
false, true
\n",
"
Detection
bottle, cardboard, paper
\n",
"
Category
cardboard, paper, can, scrap metal, bottle
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 23,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"VARIABLES"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"The indices for the variables above are 0,1, and 2 respectively. So, we can just assign a value to the `Conductivity` variable using the index 0:"
]
},
{
"cell_type": "code",
"execution_count": 25,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
\n",
" \n",
"
Variable
value
\n",
" \n",
" \n",
"
Conductivity
true
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 25,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"values[0] = 1\n",
"pretty(values)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Of course, we can also use the fact that the `Variables.discrete` method returns both the index and cardinality for the created variable, so that's a bit more readable:"
]
},
{
"cell_type": "code",
"execution_count": 46,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"
\n",
" \n",
"
Variable
value
\n",
" \n",
" \n",
"
Category
scrap metal
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
""
]
},
"execution_count": 46,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"id, cardinality = Category\n",
"values[id] = categories.index(\"scrap metal\")\n",
"pretty(values)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Note that we can pretty-print it, which is nice. After creation, we can query it, again using the id:"
]
},
{
"cell_type": "code",
"execution_count": 47,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"3 which corresponds to 'scrap metal'\n"
]
}
],
"source": [
"print(values[id],\n",
" f\"which corresponds to '{categories[values[id]]}'\")"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"### Sampling\n",
"\n",
"Why does `sample` take a `DiscreteValues`? Because, if we want to sample from a conditional distribution, for example $P(Detection|Category)$, we need to specify values for the conditioning variables!"
]
},
{
"cell_type": "code",
"execution_count": 51,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"detection = 2\n",
"detection = 1\n",
"detection = 0\n",
"detection = 1\n",
"detection = 0\n"
]
}
],
"source": [
"for i in range(5):\n",
" print(f\"detection = {pDT.sample(values)}\")"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Check back earlier in this section to find the values for `pDT` and explain why you are seeing these values for \"scrap metal\". You could try modifying the `values` variable to assign a different variable to the trash category, and confirm that sample does indeed do the right thing."
]
}
],
"metadata": {
"colab": {
"include_colab_link": true,
"name": "S23_sorter_sensing.ipynb",
"provenance": []
},
"interpreter": {
"hash": "c6e4e9f98eb68ad3b7c296f83d20e6de614cb42e90992a65aa266555a3137d0d"
},
"kernelspec": {
"display_name": "Python 3 (ipykernel)",
"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.9.18"
}
},
"nbformat": 4,
"nbformat_minor": 1
}