reinforcement_learning.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Reinforcement Learning\n",
    "\n",
    "This Jupyter notebook acts as supporting material for **Chapter 21 Reinforcement Learning** of the book* Artificial Intelligence: A Modern Approach*. This notebook makes use of the implementations in `rl.py` module. We also make use of implementation of MDPs in the `mdp.py` module to test our agents. It might be helpful if you have already gone through the Jupyter notebook dealing with Markov decision process. Let us import everything from the `rl` module. It might be helpful to view the source of some of our implementations. Please refer to the Introductory Jupyter notebook for more details."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "metadata": {},
   "outputs": [],
   "source": [
    "from reinforcement_learning import *"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## CONTENTS\n",
    "\n",
    "* Overview\n",
    "* Passive Reinforcement Learning\n",
    "    - Direct Utility Estimation\n",
    "    - Adaptive Dynamic Programming\n",
    "    - Temporal-Difference Agent\n",
    "* Active Reinforcement Learning\n",
    "    - Q learning"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "## OVERVIEW\n",
    "\n",
    "Before we start playing with the actual implementations let us review a couple of things about RL.\n",
    "\n",
    "1. Reinforcement Learning is concerned with how software agents ought to take actions in an environment so as to maximize some notion of cumulative reward. \n",
    "\n",
    "2. Reinforcement learning differs from standard supervised learning in that correct input/output pairs are never presented, nor sub-optimal actions explicitly corrected. Further, there is a focus on on-line performance, which involves finding a balance between exploration (of uncharted territory) and exploitation (of current knowledge).\n",
    "\n",
    "-- Source: [Wikipedia](https://en.wikipedia.org/wiki/Reinforcement_learning)\n",
    "\n",
    "In summary we have a sequence of state action transitions with rewards associated with some states. Our goal is to find the optimal policy $\\pi$ which tells us what action to take in each state."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## PASSIVE REINFORCEMENT LEARNING\n",
    "\n",
    "In passive Reinforcement Learning the agent follows a fixed policy $\\pi$. Passive learning attempts to evaluate the given policy $pi$ - without any knowledge of the Reward function $R(s)$ and the Transition model $P(s'\\ |\\ s, a)$.\n",
    "\n",
    "This is usually done by some method of **utility estimation**. The agent attempts to directly learn the utility of each state that would result from following the policy. Note that at each step, it has to *perceive* the reward and the state - it has no global knowledge of these. Thus, if a certain the entire set of actions offers a very low probability of attaining some state $s_+$ - the agent may never perceive the reward $R(s_+)$.\n",
    "\n",
    "Consider a situation where an agent is given a policy to follow. Thus, at any point it knows only its current state and current reward, and the action it must take next. This action may lead it to more than one state, with different probabilities.\n",
    "\n",
    "For a series of actions given by $\\pi$, the estimated utility $U$:\n",
    "$$U^{\\pi}(s) = E(\\sum_{t=0}^\\inf \\gamma^t R^t(s')$$)\n",
    "Or the expected value of summed discounted rewards until termination.\n",
    "\n",
    "Based on this concept, we discuss three methods of estimating utility:\n",
    "\n",
    "1. **Direct Utility Estimation (DUE)**\n",
    " \n",
    " The first, most naive method of estimating utility comes from the simplest interpretation of the above definition. We construct an agent that follows the policy until it reaches the terminal state. At each step, it logs its current state, reward. Once it reaches the terminal state, it can estimate the utility for each state for *that* iteration, by simply summing the discounted rewards from that state to the terminal one.\n",
    "\n",
    " It can now run this 'simulation' $n$ times, and calculate the average utility of each state. If a state occurs more than once in a simulation, both its utility values are counted separately.\n",
    " \n",
    " Note that this method may be prohibitively slow for very large statespaces. Besides, **it pays no attention to the transition probability $P(s'\\ |\\ s, a)$.** It misses out on information that it is capable of collecting (say, by recording the number of times an action from one state led to another state). The next method addresses this issue.\n",
    " \n",
    "2. **Adaptive Dynamic Programming (ADP)**\n",
    " \n",
    " This method makes use of knowledge of the past state $s$, the action $a$, and the new perceived state $s'$ to estimate the transition probability $P(s'\\ |\\ s,a)$. It does this by the simple counting of new states resulting from previous states and actions.<br> \n",
    " The program runs through the policy a number of times, keeping track of:\n",
    "    - each occurrence of state $s$ and the policy-recommended action $a$ in $N_{sa}$\n",
    "    - each occurrence of $s'$ resulting from $a$ on $s$ in $N_{s'|sa}$.\n",
    "     \n",
    " It can thus estimate $P(s'\\ |\\ s,a)$ as $N_{s'|sa}/N_{sa}$, which in the limit of infinite trials, will converge to the true value.<br>\n",
    " Using the transition probabilities thus estimated, it can apply `POLICY-EVALUATION` to estimate the utilities $U(s)$ using properties of convergence of the Bellman functions.\n",
    "\n",
    "3. **Temporal-difference learning (TD)**\n",
    " \n",
    " Instead of explicitly building the transition model $P$, the temporal-difference model makes use of the expected closeness between the utilities of two consecutive states $s$ and $s'$.\n",
    " For the transition $s$ to $s'$, the update is written as:\n",
    "$$U^{\\pi}(s) \\leftarrow U^{\\pi}(s) + \\alpha \\left( R(s) + \\gamma U^{\\pi}(s') - U^{\\pi}(s) \\right)$$\n",
    " This model implicitly incorporates the transition probabilities by being weighed for each state by the number of times it is achieved from the current state. Thus, over a number of iterations, it converges similarly to the Bellman equations.\n",
    " The advantage of the TD learning model is its relatively simple computation at each step, rather than having to keep track of various counts.\n",
    " For $n_s$ states and $n_a$ actions the ADP model would have $n_s \\times n_a$ numbers $N_{sa}$ and $n_s^2 \\times n_a$ numbers $N_{s'|sa}$ to keep track of. The TD model must only keep track of a utility $U(s)$ for each state."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Demonstrating Passive agents\n",
    "\n",
    "Passive agents are implemented in `rl.py` as various `Agent-Class`es.\n",
    "\n",
    "To demonstrate these agents, we make use of the `GridMDP` object from the `MDP` module. `sequential_decision_environment` is similar to that used for the `MDP` notebook but has discounting with $\\gamma = 0.9$.\n",
    "\n",
    "The `Agent-Program` can be obtained by creating an instance of the relevant `Agent-Class`. The `__call__` method allows the `Agent-Class` to be called as a function. The class needs to be instantiated with a policy ($\\pi$) and an `MDP` whose utility of states will be estimated."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 51,
   "metadata": {},
   "outputs": [],
   "source": [
    "from mdp import sequential_decision_environment"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The `sequential_decision_environment` is a GridMDP object as shown below. The rewards are **+1** and **-1** in the terminal states, and **-0.04** in the rest. <img src=\"files/images/mdp.png\"> Now we define actions and a policy similar to **Fig 21.1** in the book."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 52,
   "metadata": {},
   "outputs": [],
   "source": [
    "# Action Directions\n",
    "north = (0, 1)\n",
    "south = (0,-1)\n",
    "west = (-1, 0)\n",
    "east = (1, 0)\n",
    "\n",
    "policy = {\n",
    "    (0, 2): east,  (1, 2): east,  (2, 2): east,   (3, 2): None,\n",
    "    (0, 1): north,                (2, 1): north,  (3, 1): None,\n",
    "    (0, 0): north, (1, 0): west,  (2, 0): west,   (3, 0): west, \n",
    "}\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "###  Direction Utility Estimation Agent\n",
    "\n",
    "The `PassiveDEUAgent` class in the `rl` module implements the Agent Program described in **Fig 21.2** of the AIMA Book. `PassiveDEUAgent` sums over rewards to find the estimated utility for each state. It thus requires the running of a number of iterations."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 53,
   "metadata": {},
   "outputs": [],
   "source": [
    "%psource PassiveDUEAgent"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 54,
   "metadata": {},
   "outputs": [],
   "source": [
    "DUEagent = PassiveDUEAgent(policy, sequential_decision_environment)\n",
    "for i in range(200):\n",
    "    run_single_trial(DUEagent, sequential_decision_environment)\n",
    "    DUEagent.estimate_U()\n",
    "\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The calculated utilities are:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 55,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "(0, 1):0.8323062929569791\n",
      "(1, 2):0.9170109852960713\n",
      "(3, 2):1.0\n",
      "(0, 0):0.7875777570120138\n",
      "(2, 2):0.9585129153634622\n",
      "(0, 2):0.8757449191236479\n",
      "(2, 1):0.9190764999389649\n",
      "(1, 0):0.7257936820983887\n"
     ]
    }
   ],
   "source": [
    "print('\\n'.join([str(k)+':'+str(v) for k, v in DUEagent.U.items()]))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Adaptive Dynamic Programming Agent\n",
    "\n",
    "The `PassiveADPAgent` class in the `rl` module implements the Agent Program described in **Fig 21.2** of the AIMA Book. `PassiveADPAgent` uses state transition and occurrence counts to estimate $P$, and then $U$. Go through the source below to understand the agent."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 56,
   "metadata": {},
   "outputs": [],
   "source": [
    "%psource PassiveADPAgent"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We instantiate a `PassiveADPAgent` below with the `GridMDP` shown and train it over 200 iterations. The `rl` module has a simple implementation to simulate iterations. The function is called **run_single_trial**."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 33,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Warning: Transition table is empty.\n"
     ]
    }
   ],
   "source": [
    "ADPagent = PassiveADPAgent(policy, sequential_decision_environment)\n",
    "for i in range(200):\n",
    "    run_single_trial(ADPagent, sequential_decision_environment)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The calculated utilities are:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 34,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "(0, 0):0.29603466763299335\n",
      "(0, 1):0.4020558079128796\n",
      "(1, 2):0.6464014062358535\n",
      "(3, 2):1.0\n",
      "(3, 0):0.0\n",
      "(3, 1):-1.0\n",
      "(2, 1):0.484030454588895\n",
      "(2, 0):0.0\n",
      "(2, 2):0.7923162689942976\n",
      "(1, 0):0.2154411798017025\n",
      "(0, 2):0.5075894668488162\n"
     ]
    }
   ],
   "source": [
    "print('\\n'.join([str(k)+':'+str(v) for k, v in ADPagent.U.items()]))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Passive Temporal Difference Agent\n",
    "\n",
    "`PassiveTDAgent` uses temporal differences to learn utility estimates. We learn the difference between the states and backup the values to previous states.  Let us look into the source before we see some usage examples."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 35,
   "metadata": {},
   "outputs": [],
   "source": [
    "%psource PassiveTDAgent"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "In creating the `TDAgent`, we use the **same learning rate** $\\alpha$ as given in the footnote of the book on **page 837**."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 36,
   "metadata": {},
   "outputs": [],
   "source": [
    "TDagent = PassiveTDAgent(policy, sequential_decision_environment, alpha = lambda n: 60./(59+n))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now we run **200 trials** for the agent to estimate Utilities."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 37,
   "metadata": {},
   "outputs": [],
   "source": [
    "for i in range(200):\n",
    "    run_single_trial(TDagent,sequential_decision_environment)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The calculated utilities are:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 38,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "(0, 1):0.451141471157651\n",
      "(1, 2):0.6851411395656178\n",
      "(3, 2):1\n",
      "(0, 0):0.3214787023362712\n",
      "(3, 0):0.0\n",
      "(3, 1):-1\n",
      "(2, 1):0.645498297277161\n",
      "(2, 0):0.0\n",
      "(2, 2):0.811039190658915\n",
      "(1, 0):0.22674672601468004\n",
      "(0, 2):0.5455367415990362\n"
     ]
    }
   ],
   "source": [
    "print('\\n'.join([str(k)+':'+str(v) for k, v in TDagent.U.items()]))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Comparison with value iteration method\n",
    "\n",
    "We can also compare the utility estimates learned by our agent to those obtained via **value iteration**.\n",
    "\n",
    "**Note that value iteration has a priori knowledge of the transition table $P$, the rewards $R$, and all the states $s$.**"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 57,
   "metadata": {},
   "outputs": [],
   "source": [
    "from mdp import value_iteration"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The values calculated by value iteration:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 58,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "(0, 1):0.3984432178350045\n",
      "(1, 2):0.649585681261095\n",
      "(3, 2):1.0\n",
      "(0, 0):0.2962883154554812\n",
      "(3, 0):0.12987274656746342\n",
      "(3, 1):-1.0\n",
      "(2, 1):0.48644001739269643\n",
      "(2, 0):0.3447542300124158\n",
      "(2, 2):0.7953620878466678\n",
      "(1, 0):0.25386699846479516\n",
      "(0, 2):0.5093943765842497\n"
     ]
    }
   ],
   "source": [
    "U_values = value_iteration(sequential_decision_environment)\n",
    "print('\\n'.join([str(k)+':'+str(v) for k, v in U_values.items()]))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Evolution of utility estimates over iterations\n",
    "\n",
    "We can explore how these estimates vary with time by using plots similar to **Fig 21.5a**. We will first enable matplotlib using the inline backend. We also define a function to collect the values of utilities at each iteration."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 59,
   "metadata": {},
   "outputs": [],
   "source": [
    "%matplotlib inline\n",
    "import matplotlib.pyplot as plt\n",
    "\n",
    "def graph_utility_estimates(agent_program, mdp, no_of_iterations, states_to_graph):\n",
    "    graphs = {state:[] for state in states_to_graph}\n",
    "    for iteration in range(1,no_of_iterations+1):\n",
    "        run_single_trial(agent_program, mdp)\n",
    "        for state in states_to_graph:\n",
    "            graphs[state].append((iteration, agent_program.U[state]))\n",
    "    for state, value in graphs.items():\n",
    "        state_x, state_y = zip(*value)\n",
    "        plt.plot(state_x, state_y, label=str(state))\n",
    "    plt.ylim([0,1.2])\n",
    "    plt.legend(loc='lower right')\n",
    "    plt.xlabel('Iterations')\n",
    "    plt.ylabel('U')"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Here is a plot of state $(2,2)$."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 42,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAjcAAAG2CAYAAACDLKdOAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/NK7nSAAAACXBIWXMAAA9hAAAPYQGoP6dpAABt3klEQVR4nO3deXwU9f0/8NfuZndz3zcEwg3hCAgSA15ohCJSab9WilQRr9pCq6W2ilXQHsYeWmxFbT2q1VrwRH+KWAy33OG+r0AC5L7PPef3x+5MZja7yebc3eH1fDzyUHZnd2cnm533vD/vz/ujEQRBABEREZFKaH29A0REREQ9icENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqYpPg5stW7Zg9uzZSE1NhUajwZo1a9rd/pNPPsEtt9yChIQEREZGIjs7G19//XXf7CwREREFBJ8GN42NjcjMzMTKlSu92n7Lli245ZZbsHbtWuTn52PatGmYPXs29u/f38t7SkRERIFC4y8LZ2o0Gnz66aeYM2dOpx43evRozJ07F8uWLeudHSMiIqKAEuTrHegOu92O+vp6xMbGetzGZDLBZDIpHlNVVYW4uDhoNJq+2E0iIiLqJkEQUF9fj9TUVGi17Q88BXRw85e//AUNDQ248847PW6Tm5uLZ599tg/3ioiIiHpLUVER+vfv3+42ATss9f777+PBBx/EZ599hpycHI/buWZuamtrMWDAABQVFSEyMrK7u01ERER9oK6uDmlpaaipqUFUVFS72wZk5mbVqlV44IEH8OGHH7Yb2ACA0WiE0Whsc3tkZCSDGyIiogDjTUlJwPW5+e9//4uFCxfiv//9L2bNmuXr3SEiIiI/49PMTUNDA86cOSP9u6CgAAcOHEBsbCwGDBiApUuX4tKlS/j3v/8NwDEUtWDBArz00kvIyspCSUkJACAkJKTDFBURERFdGXyaudm7dy8mTJiACRMmAACWLFmCCRMmSNO6i4uLUVhYKG3/z3/+E1arFYsWLUJKSor088gjj/hk/4mIiMj/+E1BcV+pq6tDVFQUamtrWXNDREQUIDpz/g64mhsiIiKi9jC4ISIiIlVhcENERESqwuCGiIiIVIXBDREREakKgxsiIiJSFQY3REREpCoMboiIiEhVGNwQERGRqjC4ISIiIlVhcENERESqwuCGiIiIVIXBDREREakKgxsiIiJSFQY3REREpCoMboiIiEhVGNwQERGRqjC4ISIiIlVhcENERESqwuCGiIiIVIXBDREREakKgxsiIiJSFQY3REREpCoMboiIiEhVGNwQERGRqjC4ISIiIlVhcENERESqwuCGiIiIVIXBDREREakKgxsiIiJSFQY3REREpCoMboiIiEhVGNwQERGRqjC4ISIiIlVhcENERESqwuCGiIiIVIXBDREREakKgxsiIiJSFQY3REREpCoMboiIiEhVGNwQERGRqjC4ISIiIlVhcENERESqwuCGiIiIVIXBDREREakKgxsiIiJSFQY3REREpCoMboiIiEhVGNwQERGRqjC4ISIiIlVhcENERESq4tPgZsuWLZg9ezZSU1Oh0WiwZs2aDh+zadMmXHXVVTAajRg6dCjefvvtXt9PIiIiChw+DW4aGxuRmZmJlStXerV9QUEBZs2ahWnTpuHAgQN49NFH8cADD+Drr7/u5T0lIiKiQBHkyxefOXMmZs6c6fX2r732GgYNGoQXXngBADBq1Chs27YNf/3rXzFjxoze2k0iIiIKIAFVc7Njxw7k5OQobpsxYwZ27Njh8TEmkwl1dXWKHyIiIlKvgApuSkpKkJSUpLgtKSkJdXV1aG5udvuY3NxcREVFST9paWl9satERETkIwEV3HTF0qVLUVtbK/0UFRX5epeIiIioF/m05qazkpOTUVpaqrittLQUkZGRCAkJcfsYo9EIo9HYF7tHREREfiCgMjfZ2dnIy8tT3LZ+/XpkZ2f7aI+IiIjI3/g0uGloaMCBAwdw4MABAI6p3gcOHEBhYSEAx5DSPffcI23/8MMP49y5c/j1r3+NEydO4JVXXsEHH3yAX/ziF77YfSIiIvJDPg1u9u7diwkTJmDChAkAgCVLlmDChAlYtmwZAKC4uFgKdABg0KBB+PLLL7F+/XpkZmbihRdewBtvvMFp4ERERCTRCIIg+Hon+lJdXR2ioqJQW1uLyMhIX+8OEREReaEz5++AqrkhIiIi6giDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlKVIF/vgFo0mqw4V97YredIiQ5GfLhRcVtlgwn1LVaYrHaYrfZOP+fghDCEGdv+mu12AZWNZkQEByFYr+vyPsuZrDbUNltgsthhttlhsthhFwQAQFy4ASlRIR4fa7XZ0WiyocFsRbPZBptdwMC40B7bN18QBAHNFhuazDbotVpEhep9vUtERFcEBjc95GRpPb7/yvZuPYdBp8XWx6chKTIYB4pq8KsPD+J0WUO3nnNAbCg2PXYjtFoNAGDb6Qr8fcNp7CushsUmIC7MgC2/nuY2AOqIIAjYeroCq/YU4kBhDYrrWuCMZdxas2gqxqdFAwAsNjs+P3AZXx8twYmSehRVN7V57NDEcHyz5IZO71dvaTJbAQChhrbHqrbJgm+Ol2LvhSqcLKlHSW0LKhvNMDkDUq0GeO1HEzF9dHK396O+xYLtZyuRf6EasWEG/Pj6wdBoNN1+XiIitWBw00MMOi1So4K7/PjSehPMNjsKq5pgswu46/WdaDLboNEAYYYgGIO00Ou00HbiHHa5tgWFVU2obbYgJsyAD/cW4VcfHVJsU9loxrnyRoztHyXdtv1sBd7cWoDls0djQFyo2+e22uxY+slhfJh/UXG7RgMYg7QwBumg12mh0wK1zRa0WOw4dLEG49Oica68AQ+9m48zbgI3Q5AWxiAt6lusOFPWAJtdgK6DN22zC9h4ogzj0qKQGNH134En9S0WvPTNaby36wLiwozY/KsbEaRzjOgW1zbjz+tO4vODl2G1e47s7AJw5FJtt4Kb06X1eGXTWfw/l9e6aWQihidFdPl5iYjUhsFNDxnTLwrbl97c5cff8uJmnC5rgNUm4ItDl9FktmF0aiT+fd9kxLkMVXlr/G//h5omC8obTLDY7Pjt/zsGAPjBxP746bShWPSffThWXIdzFQ348/9O4rqh8ZgzoR/uen0XAGBUSiQemzHC7XP/5X+n8GH+Rei0Gtx9zUDcOjYFgxPCEBdmaJNFeGrNYby3sxDl9SaU1bXgzn/sQEWDGXFhBtyTnY7Jg2IxJDEM0SEGGIK0aDBZMWb51wAcGR6d1vPQlM0uYMFbu7HtTAVmjknGqz+a2KVj5UlhZRPu/ddunKtwDDleqmlGcW0L0mJDsfV0ORb9Zx/qWhwZnRFJEZg2MhEZqZEYEBuKuDADYsIM+MvXJ/H29vOwtZfWaofVZsdf/ncK/9hyVspuDYoPQ4Fzn+pbLB4fe668AYVVTbhxRGKXXluuyWzFyo1nYLUJWHrrqG4/HxFRb2Fw4yfE7ITNLmD9sVIAwJ2T0roc2ABAYoTREdzUm/DloWLUm6wY1z8Kz//fOOi0GiRFGnGsGHji48Nottiw5VQ5yupbpMdrPWRMzpY34I2t5wAAL96ZidvH9+tgPxzZlLI6E5789DAqGswYkRSB9x7IQkJE2/en17W+rtlmb7fu5l/fFmDbmQoAwJ7zVe3uR2dVN5ox/82dKKpqRmpUMC7XOo7NxWpHgHP/O3thttqR2T8Kv5szBuP6R7t9ntbfbef3wWKz42fv78e6oyUAgBmjk7B42jCM7R+FGX/dgpOl9WixuH/ijSfKsPDtPQCAb5Zcj6GJXc/uFFU14b6390jDpPdfOwiJkT2fJSMi6gkMbvxEkPOEXtloQv6FagBATkZSt54zIcKIU6UNKKtvwZbT5QCAH2UNlE62YmDRbLFJj/n84GXp/z2NBv17+3lY7QJuHJHQYWADOIIsANh4sgxl9SYEaTX427wJbgMbANBrWyfxWdopoi6ta8Gfvz4p/du1GLu7frPmMIqqmpEWG4KPH56CJR8cxLYzFThWXIfXt5yD2WpHzqgkrJw/AcYgzwGYeLyFLmRunlt7HOuOlsCg0+LFuZm4bVyqdJ9R7zhOJqutzePyL1Tj4ffypX+X1Zm6HNwU1zbjh//ciUs1zdJtpi4UtxMR9RVOBfcTOucJvaCiEXbBERD0i/Y8u8gbCc6T/ZmyBhwsqgEAXDssvvV+N8FFaZ1J+n+7mxoSu12Qsgj3ZA/0aj8SIx2vU1bveO7vjEnGiGTPJ1qtViMFBO3Vsbyz/bziJNuTJ9ztZyuw9nCJVAicGBks/T5+98UxlNS1YHB8GF764fh2AxvAUYcEOLJynfHtmQr869vzAIC/zRuvCGwAINj5uq6Zm/oWC37+3/2K4yEPYDvDbLXjx+/m41JNMwbHh0m327s4xNbXzpQ14B+bz6Kli++fiAITgxs/EeQ8mYsBQHeGo0Ri8PLFoWLYBWBIQhhSZQFTQgev4a5GZH9RNUrrTIgwBmHq0Hg3j3KzH+HK4Yv5WR0HReLQlDj9XRAEFNfKMwc2/GdXIQDg5zcNBYAePYG9uumstK+jUx3F1v1ilMHm8u+O9mqWmc4Z3XQmtrHa7Hj6syMAgAXZA/GdMSlttvGUuXlx/SlcqnFknMb0iwTQNgDy1t83nMahi7WICtHjnfsmIyLY8X47G6j5QnFtM3Je3Izcr07gqyPFvt4dChAtFhse/+gQZr60FbXNnuvZyL8xuPETYqaiXAxuwgzdfk6x1uVCZRMAYGy/KMX98R6GhUTuakR2FTjqWq4bHt9hxkLaj8jW14kwBmHyoNgOH6N3zkayOHfib3lnkJ27AR85Z2ftKahGbbMFCRFGzHJmNDqTndh2ugIPv5uPqkZzm/sKKhqx9XQFNBrgoesHS7fLA8NJA2Nw/TDvgjutFNx4HxB8daQE58obEROqxy89FHUb3WRuLlY34T87HUHfH+aMRVxY26HH9tS1WLDgrd34e95pFFY24R+bHbVVud8fi7TYUEVtmD+z2wU8uuqA9O+CbvagoitDdaMZP3pjF1bvLcLx4jocvljb7ecUBAFvbD2HP6474TYbTr2DNTd+wjVzE9sDwY3rsFOqyzCXp8zN4PgwnKtodHsyPlFcDwBSNsMb8kBtcGJ4h1O7AXlw49iHv35zCgDwp3UncMfE/th4sgwAMG1EAkIN4kne++DmR286ZoTFRxjw+zljFfd9us8RQN04PAFpsa1T4VOjWzNQd2UN8Lq3jLYLAcHrzoLte6cMQmSw++Z/UuZG9r7f2FoAs82OKUPicP3wBPxn1wUA3h+bv64/hc2nyrH5VDkKKhthttlx3bB4zBzjmMIuZqG6OvOrr/xn1wUpEAccLQ+I2lPfYsGP3tyFo5frpNvMtu5lgwVBwLP/7xje3n4eAHD9sARkD4nr1nOSd5i58RNS5qbOMSOnN4Ib12EV+f2DE1rrKcR6GHcn4+PFjj/8jJRIr/dD7AkDQFG30R5xWMpisyuGXUY6X7c1uEmUZlO1WOxeFe3KZ4S9t7MQd/5jh+Lkv8H53LNcalyGJoZL/z/TzTCRJ7pOZm5Ol9bj0MVa6HUa3N1OXZNUc+Mcums22/CxMzATM06tx6bjL+kWiw2f7r8k/fuTfY7/X3LLcCmQC4TMTW2TBS+sdwTDw5McvzPxooHInRaLDQ/9Ox9HL9chLsyASOfwa1e6wss9t/a4FNgAwNrDHB7tKwxu/ISuFzI3SS5TdV0zN/KpvOlxrUHHQOf/u57AWiw2qd/LyJTOzby5aaSjz8rDNwzxanv5sNQhWWo4OdKI2iaLtNTFlCHxCDG0Do95U1S8+WS54t+7C6qkq/zSuhYcuVQHjQa4cUSCYrvEiGCsWTQVeb+8QfGaHRETVd4GN+KMtRuGJ7T7ORAzN2Lgsu5oMepbrBgQG4rrhzn2PaQTwc3/jpWipklZYzA5PRYTBsRI/w6E4ObNbedQ02TB8KRwLLllOAAGN9S+3395DDvOVSLcGIR37pssZabNtq5/zj/YW4TXtxYAAP7vqv4AgK+OFHNoqo9wWMpPBLnMDuqJ4GZQfBgijEGoNzmazPV3CW7CjUF4ZnYGAKCm2YINJxwZCzFr4noyFjsGR4XokdzJHiev/ugqVDdakOxlF2eDbFhqX2G1dHuLxY6jxY5gJy02BFGhelhlxUEtFluH61HtOFfZ5rbgIMfrbT3t6Jkzrn+026nl4vIRnSEOS9m9vAgUr+5mZ6a2u52YuREDuq+POPojzRmfKr2meCy8qbn52KXbNADMy0pT/FusH+rL4KauxYIf/mMnMlIj8ZcfZLa7bYPJind2OIbiHs0ZjmTnemZiRrS3NZttOFla3+nPya5zlYgM0WOUm4zoyxtO41RpA/46d7xXQ7rUOeuOlOA9Z53ay3dNwJh+UTA4vw86m7mpaDAhIjgIxy7X4alPHRMCHs0ZhodvGIKP911ERYMZDWarx6HmQHG5phnJkcEee6H5A2Zu/ITrl1ZPFBTrtBoMS2odSnHN3ADAvVMH4d6pg3D/tYMwZ3wq3lwwyeMJTCxMHpoY3um1jIxBOq8DG6C174/FZlcs09BiseGYc0x8dEqUc1utFBx6cxI/cqltkaDZGSCJU+Ynp8e02aartJ2oUympbcHZ8kZoNeiwq7A8c9NisWHzKUdGSr7Eg3zIrj3VjWZsdfZC+sHE/tLtM1yWixA/pz05FbzFYmt3OPHVTWdxrLhOKiYXvb+rELP+tlUxzPjp/kuobbZgcHwYZoxOlnosldWbvL5iFgQBH+wpko5nZ/zqo4OYs/LbTg0/HLpYg7n/3IkfvLYDKzeekT7fAHD0ci3+8r9T+PzgZbefW393urQe3zqbbPqjsroWPP6xY0maH98wWPqb60pws+NsJabkbsCD/87Hkg8Owmyz4zujk/Hzm4YhWK+TLhobnRebgeqNrecw5fkNeCnvtK93pV0MbvxEkFb5q+iJzA0AxUrc7U1bjgjWY8UPJ+DmUUkeT2ClzqvfzmZtukI+LHW2XBbcWO3Sl39GautVboiXJ/Ems9Xtmlbil9ihizUA4LHbcFeIJUfenFzFE8HYflGICmn/6k6eudlxrhLNFhv6RYdgtOy4BDsDoI6Cvs2nymEXgJHJEXhi5kiM6x+F39w6qs0ioUHd6LbsTnFtM6Y+vwEPvZvvcZuvZIFCs9nxPsxWO5789DCOXq7Df3cVSfev3uO4Ap9/jaNZpVhXZrULqG5yFBV3VJe1/lgpfv3xISx4a3en3kthZRO+OOTY139sPtvh9n9cdwLffXkbnlt7HIAj6/Tnr0/ip/9pPRYvbzgj/X9PTks+UVKHQufFSm+pa7Hglr9uwfw3dqGktm8yZ531x3UnUdtswZh+kfjlLa2zEluDG+8KipvNNix+fx/MNju2nCpHQUUjkiKN+OMd46Tshvj922gK3J5L+wur8fxXJwC0flf6KwY3fqJN5ia8Z4KbOyY5rsI70xDQU12FWLcgn9rdW8Tgxmy1S/U1gDNz46ao2ehlbcnx4jrYBUcx9Y9vaJ3mbbY6CpfF587sweCmM1PBvz3rCG6meNFDSJ652XXOUTM0dWicIqvmrubm8MVaTPr9N1IgAEAakrxpZCLiwo34fPG1eFA2DV56L9Lwac9EN3/LO43KRrO05Iirs+UNOC87Cdc0OwKULbKsivinc+xyHY5cqoNBp8X3Jjg6Z+t1WikLWlZvQlWjGTf+ZROWrD7gcZ/e3XlB+v/ODL+9u/O89P+nyxra/SxermnGq5vO4tDFWuw8p1w2RHy/RVVN+NrZMBNwDB33hOPFdfjOiq34wT+2e/2YuhYL/p53GhervQ+I3nE2oAQcwzX+5kBRjVSA//s5Y6WABmgdFjd7GcW/sfVcmxl5z31vrOICJcwgBjeBmblpMFnx81X7pdKJigbPMxDlPcl8xefBzcqVK5Geno7g4GBkZWVh9+72r5ZWrFiBESNGICQkBGlpafjFL36Blhb/vCrojCCX4CY2rGcCiGkjEvHfB6/Bhw9ne/2Y1mEp5e1lzsxNb6y87Ur8cimtNymuWE0WmzQ8NkQ2e8nbDMWRS47gZWy/KCydOQpTnNMyzTY7TpbUw2ITEBOqR1ps97pDy7UOS3W87f7CGgBAlhe9gMQ6IZPVLq2rNXmQcpqpOCxlkmW0nvrsCCoaTHj848MorWvBF4cuS8tziIXfnkgzv3ooc/Ptmbb1T3LykzsAqeD5/x1qXSZEPOmLQ0E3jlAWYovZm9K6Fqz45hQuVDbhE9msMLn6Fou0Vhng+EL3hsVmV8w0azLbsO205+GYVbsLPd4nfpbf23lB0fixpzI3rzgbVMq7kXfknjd344X1p/Csc/HdjjSYrHjz2wLp35aeSvU5nSlrQHU3pvc7pmgfBeAo9nWtkTLovB+WKqtvwavOTN2C7IEI0mowb3Iabh6lXD4nzOj4W2w0ex/cmKw2fJx/ETVNvm9l8Nf1p1BU1SxdMIkBqyAI+PG7ezH9r5tR1WhGQUUjbvjTJjy6ar9PO4P7NLhZvXo1lixZguXLl2Pfvn3IzMzEjBkzUFZW5nb7999/H0888QSWL1+O48eP480338Tq1avx5JNP9vGe9zzXzE24F51vvZU9JM5tvY3nfXH8t82wlLO2IakvMjdBjuNxsqROcfvl2hYpgJH3nfF2VpA4xCVOdzfIAoTTpY77RiZHdrqmqD3SMF8HWYC6Fou00rc3w2Jitqq2ySKliF2DohA3BcXy4trvv7Idi9/fj5omC4L1WmR2UAgrZfV6oOamtsmCwqrWTIDVzQnw66PKjE51kxlWmx0bT7R+R1Q6v2TFLsQzxyrrhMRZgWX1JnzjIUMkyjteBvlba2/FdbnNJ8tR0WBGfLgBd1/jmL6/5oD7AMpuF9rUD730w/FYOnMkAMfQaouldVq/mHmq7YETXIvFhv8nWz/Om8xUTZMZB5y1aGJdVkfe23lBMfOuu1Oq5bafrUDOi5ux6P19XX6OracrsL+wBiF6HX79nbZNMjtTc/PX9afRZLZhfFo0nvnuaBx6Zjqe+97YNtuFGtoOS9nsAs5XNOJyTbPbGq/ffXEMv/zwoBQ8iQ4W1eDo5b6rwTpRUidNaX/6NscklMoGMwRBwJoDl/D10VKcKm3Aim9O4fdfHIPZZkd1kwXGIN+FGD4Nbl588UU8+OCDWLhwITIyMvDaa68hNDQUb731ltvtt2/fjqlTp+Kuu+5Ceno6pk+fjnnz5nWY7QkEQTrlyVSv67mTa2d5Kiguc17p9UXmRqxBEgMOsVGf2ME5KdKo6JAsZijW7L/UbtpXzPoMdDbnk1+hna90BBaDErzrxeMtb6eCH3VmlfpFh3hVcyVe4edfqIbFJiAp0oj+Lr2MXKeLN5isKJEFN/LFMDP7R0vDgZ60Dll2/2S1s0CZtWk0t37p7y+sxjOfH5UKvAc4f1+1TRbkX6hGXUvr77jSebV4trwRep0GN41UXjEnOTM3J4rrpZXdAfe1N1+6FALXt3h3lf2FM5P03cx++IFzKHj9sVK3wdHeC9W4XNuCCGMQfn7zMNw5qT9mjknB/dcOktYh+/zgZVQ0mBEXZpAWp3Wdpt8V8sAG8C6jIvY7AoAhCeHtbOlgtwt4d8cFxW2WbkypdvXkJ4cBANvPtp/1a88/tziaZM6bPKBNywxAdtHTwfG5VNOMD/Y6ar5+M2sUNBoNQg1Bbi+OxAvWJlnmJnftcdz4l02Y8vwGLHhrt6Jo/GJ1E1bvcTz3xarWv9MzZfW4feW3mPuPnX2SGREEAU+vOQKbXcDMMcn4/lWOz6PZZkdxbYtUgwM4hnTzTpQhSKvBstkZPXqR2Fk+C27MZjPy8/ORk5PTujNaLXJycrBjxw63j5kyZQry8/OlYObcuXNYu3Ytbr31Vo+vYzKZUFdXp/jxR/LMTZBW49MPRZCHq3OxoLhPMjfOk+zFascf9SCX5n+uNUTiif6DvRfx9JojHp9XzBQMiHMGN7IrNLGHj7eNBr3lbYdi8YtNXA+qI2JBsZiVGZMa1eZz45q5OVBY43GNK3mBtifaHiwo3uFycpJ/6d/5jx3SleKIpAgMT3Jk2qqbLNjo7FMkZjQqGlpnek0cGNOmEFusERMzISLXE26Lxaao5QG8C27MVjvynJmkmWOTMbZfFJIjgx3ZQDfF658fdAQL3xmTjCW3DMef7siEIUiLIJ1W2ndxwdTvjk9FfITjffZEzc17u5TDYd7UlMgzUJUNZtjsgtuV6EU7z1XiUk0zIoKDpCaK3e30KyqqalLUYHnTtNPVkUu12HamAjqtBvddm+52G/F7wWJt//n/ta0ANruAqUPjcHV6+0PJ4gWaONRZWteCN7YVKLY5VVov/f/KjWelz2i1LGv3d2eReYPJ/eSInrbxZBn2nK9GsF6Lp2/LQLBehwhnoPa7L46htM6EAbGhuHlkopT1vO/aQV4Fwr3JZ8FNRUUFbDYbkpJcrrKSklBSUuL2MXfddRd++9vf4tprr4Ver8eQIUNw4403tjsslZubi6ioKOknLS3N47a+JJ8t5ZrF6WvuhlFaLDbpajmxD2ZLGZzDUmJmYYBsGQQA6B+j/Le8t42neoqiqiZp2EdsWigFNzY7zrvc11O8XThTLGYe4+XSFmJWRuSuR4rrVPAjzlT28KS2XzxTh3RcxCx+NHuiz41rcCOm66sbzYrAI3tIHKJDHSf959YexzvOoEfMaFQ2mKT+RNcNUzZeBFozja41K64n6F0FVTBZ7UiJCpbWYatvsXT4XncVVKK+xYr4cCOuGhADjUYj7a9rFlEQBHxzzBEI3TqubZfr2FBHICN2Ar9tXKoU8HS35uZ8RSMOFtVAHv9aOhh2OVPWoGiiWdlowrP/7yjGLP/a44n1Q+eQ2+zMVEQ4+7mYOwgSvCXPIgHKbJ+3xKzNbeNS2nyPiFoLij0/f32LBaucmZUHrm1bfO+qdbaU4zPx1rcFbbYR38/F6iZ8uLd1FqC4Bl5RVZMi+yZvG9AbBEHAim8cU74XZKdL5Q3iuoRfHXGcq5+8dRSWzc5AqEGH1Khg/My5mLEv+byguDM2bdqE5557Dq+88gr27duHTz75BF9++SV+97vfeXzM0qVLUVtbK/0UFRV53NaX5JmbjoYGepu7TIM4JGUM0kqtyXuT6zFoG9y4Zm7ab9x3sqQe1/1pIwBHQCNOZxfHhE0WuxT49PywlHezpc4564GGuQk83Al2WbjUXebFdfmFE86T5ndlDQIHxoXir3MzcfOo9ouJgdYgvLt9bmqbLDjpvEoVfwdi5mbvhWrFtlenxyLaeYJvMFmlLNSscY7amvIGkxQoXetmllmihwViXdsGiFmb64clSKufbzhRhtHL1+HfO857fC+bnJmkm0cmSn/H4Ub3M2OOXq5DSV0LQg06ZA9uu8aQfDgyMcKICWnRiA5pne3VnWEIccjt2qHxUna2o+Giz5xZG7Hw3mIT8P6uQlhsAnacq8Rf15/Cyxta+53UtVik2qcfTOzf6VlH7bHbBXy0T/n93dlC25oms7R/D17nOSDxpuZm9Z4iNJisGJoYjhuGtw2qXUkFxSZHX6oPnIHR8tkZUsAp1lW9t7MQVrsgfXbFIcl/7zivuEgSL4h6y6aT5Th0sRYhep1i9mS8bDZvRkokZoxOwsC4MGx87EZ8+fPrpKDWl3x2Fo2Pj4dOp0NpqbLAr7S0FMnJyW4f8/TTT+Puu+/GAw88gLFjx+J73/sennvuOeTm5sLuoQbAaDQiMjJS8eOPgvwouHG3FlJloyO4iQ839smQmWvfH3EYSeR6xRXiEtwsen+fYjbFLll9h9lqlwI48cv3Uk0Tmsw2aDVAmoerua7yZlhKEARpyvtgL9O53mRupGEpsw0vfXMaaw5clrZ97/4sTB4Ui7cXTsb3JvT36vcq/lqs3czcHLpUA8ARtIqLk4qZG3HmV7Bei3unpGPG6CTEuKlBGuPMrgiCI+gJNwZJt8nJM43GIK0UgLgGCuLQ1vXDW4Ob/+wqRIvFjmWfHfX4XsRZUdcNbw2sxKv0BpeeJnnHHVmba4fGuw3I5e8zJyMJWm1rFuhgUQ1m/W1rl6cSiyf1WWNTWodd2gk6xGJRAJh7dZp0TMTf/eaT5Xgp7zT+8r9TUlZp7aFitFjsGJIQhvFp0dBLwzvdC24+2XcR017YhKKqZoQbg6Rhkc5ms744VAyLTcColEi3nxVRR7OlBEHAe86WAfdNHeRVp175VPCvjhSjusmC1Khg3JOdjoecgVZ1kwUmq02q4xHXiKtuMqPRZJUyRWL38t7O3PzNGbjekz1Q0bFd/v+LbxoqfXckRQa7/Vv1BZ+dRQ0GAyZOnIi8vDzpNrvdjry8PGRnu5+23NTUBK3LSU+nc3xBdGXs1Z+41tz4kruTsThOHNEHWRugdVhK5Jq5SY5SXo0Hu5zovzxUjBediycCjkyBaLJsbFz8khezNilRIYp+Fz3Bm4LiigYz6k1WaDRt36snyoJqrVQkLScel5K6FmlldcCxAOm1w+LxwY+z29QztcfbmV8dEYc6xvWPQpizFkHM3Ox3Lrfx+zlj8cx3RytqUUQ/umYAjEE6xedxwoBot8sTyDM3mWnRUlZFvg5ZdaMZp5zF69cMjm1z5empwL+svgUnS+uh0TjWORO1XqUrAxGxSaOn7tPyzuTTnNvI3/vZ8sYudYaVr5mWk5HU2kfKJbg5W96Aj/MvQhAEHL5Ui6KqZoQadLglIwkJLsuR5J1ovTAVC/3/55yN9r0J/aDRaHokc9NisWHJBwelyQC3jUuRup3XdrLIWpyu/31nHyRP5MPV7hwoqsH5yiaE6HW4fXz7y6SIpGEps01a7mHe5AHQaTWIdg5HVjeZse5ICaoazUiJCsYdzm7hJqsd7+8qRH2LFYPiw/BjZ9Bzprz3am4OX6zF/sIaGHRaPOCS5RKDm6GJ4fjOaPfJCF/z6dpSS5YswYIFCzBp0iRMnjwZK1asQGNjIxYuXAgAuOeee9CvXz/k5uYCAGbPno0XX3wREyZMQFZWFs6cOYOnn34as2fPloKcQOWPmRv51XlDS98GNx0NS7n2AXL3HfTuzgu4VNOMf949UZrGrtEAz32/dZqm+CUmFhp3ZokIb3mzZIEYXPWLDulwiE0kD+jS48LcXj16eq7ULr5PnfPiwjULJQhCpzJ64iyozP7RqHQ2A2s022C3CzjqvBod17/1yloetLz0w/FSD5GECKNU9Ctf4FMuQRbcDE8Kx4XKRtQ2KzM3+c6hsCEJYYgLN7b5nHt6bnE4LCMlUjGkJF6ly/vkNJmt2F/keJ2pQ9sOSQHKGpJrBjuCcNfA7ouDl/HkraPcPt6TTc6V7sU10/QeMhM3v7AZABAdqseJknrnvsYj1BCE+HCjVHQPQDFlvrLBhP4xIdjubEIp/n7Ei5Tu9Llx7Rd0x8T+UksHbzM3289W4Gfv70dloxlaDToMSDoallrjDJKmj05qt/O7nFhQvO9CNU6W1iNIq8HcyY4a0Bhndq62yYL/OAOfH149AFEhegRpNbDaBfzDWSu0IHug9Fmrb7G0+dsTl2MRA6auEjNTM8cmK/6GAEeh+57zVVh2W4bfri/l0+Bm7ty5KC8vx7Jly1BSUoLx48dj3bp1UpFxYWGhIlPz1FNPQaPR4KmnnsKlS5eQkJCA2bNn4w9/+IOv3kKP0cnepy+ngQPuT8bi4ps92X+nPa7BTXJUsPRHDrRde8vTl9yGE2XYcrpcalj229vHYKis+Z/BGRSL9/fG0hJaLxrfFVQ4vqy9HZIClJmbgXHusz3ugpvF04Z2eWhRKiiWfTbWHSnB4x8fwoq54zGtgyaAosOXWjM34pBhk8mKcxWNaDLbEKzXKmZbyGfoiYXEADB3UhpynVNRrxoQ7fa15MdgTGqUVHwsLyjec8ExFCbOeHHN3Hj63O9zBkWuM2Vci0cBYO95x5T9ftEhHrNz8no2cR/EYSlRSxeGeDaecDZpFNdO0rUNOi7L2gKcLW+Q1SA5MlLirC2NRhnYAI7M445zlWixOAqyR4p9pDrRDM+Ttc7htPS4UDx8wxBMSo+VAj5vZ5D9+euTUgfh7CFxHU6KEPfb5Ga/LTa7tMzGnA4yQHLiZ0isNcsZlSQVu4u/48OXalFWb4JOq8Hcq9OcxekGVDSYUNFgcnbf7g+NVtwXASarXfEZ//G7+dh5rhIbHruxU53p5WqbLPjMOavvR86+TXJXp8di3aPXd+m5+4rPVwVfvHgxFi9e7Pa+TZs2Kf4dFBSE5cuXY/ny5X2wZ31LPkMqyA8LisXMTXgfFYrJg5voUD2MQTpFsOXaB6aunS+5Fotd6q6c5HIF4joE1RtLS3izcGZBhSNzNMhDkOKO0SVz406IQRnc/GrGCCya1vWZDO6W5nj4PcdaSI+s2o9Dz8zo8Dlqmy0odvabGZkS2drczGyTGpNlpEQqsjU3Dk/E07dlYIJLAPPAdYNx6FItLlY3I2uQ+2wIAPzm1lHYX1SN713VT5qlIu/aLAYpEwc6MjSuRfOe6qXynUNok1wWWnVXULy7wBFAZQ2O9Rhc/nL6CNS1WHHvlHTFc8WHG6R2952tX7HbBamn0PXOuiB3NTfyBn3VTRbsc743cQZacqTjRHnzyCR8c1xZK1nRYMLZAkeAPm1kovT+PA1/Ad5l++x2AZudBdvP/984XOMswo5yFlm/ua0AOaOS2mQW5GqazFLnb8Ax66cjrsdHEAT871gpRqdG4nRpAyobHT2IrvNimRRRqEuAfFtm62w5McsiLnEzdWi8lEWOCdVL3YBvHJGAqFC94vPYaLIiWK9DXYtFseDrjrOV0rBWZ3287yJaLHaMSIrApIE9t4hwX/J5cEMO/jRbyl2L/YY+z9y0Hg+xZkJ+fgl1OWmLaw65Y7ULUmbGtWGXa3DTG5kbbxbOFKe8e5qa6o78as1TB+pgl/fX3R4+ntYdA9oGUp6cdl65pkQFIypEL9WnNJmsOOJck8a12FOr1eD+awe53Z+Vd13V4WvKZ3pIM8icmRubbChMDJ5ch6Xcvd9GkxXHix3vZaLLCUBeXyESh6QmDfTcDyU2zIC/z5uguE2j0WDtI9ehsLIJd7y2o8PGcq6Ol9ShpsmCMINOmuLeOizV+r62yoZ/vjh0GRabgLTYECkr+MB1g6DXafDg9YNx7R/L0WKxS1mczw9elob2psnqiTwN73ycfxHLPz+KV+ZfhevbmWl0rLgOlY1mhBl0imMsZjrOlDXgsQ8P4p37Jnt8DrGIe3hSON645+o2kxPccR22++Z4GX78bj6uGxYvZVtmZ6Z26kI03KiskZMvdRLjMoQ0S9ZlW36fmLXUaTUINejQZLahwWRFXLgRv/1/xxSdr7uzZIPYE2r+NQN82nOtOwJqKria6TTy4MbXw1KO/8ozDX1dUKzM3LQdO3b9g5uf1TZ1KqpuNKO8wbvgxl230u5yNxX8ne3ncf/be6TFK0ucJ/WUaO9fX97a3FOtUJBOq6jn6u40d9chS3khv7dLfIiFu8OcjfnkmZtTsiUweos4hV6cCl5Q0YAmsw0heh0GxTuGwkJcVkN3t1Do4Uu1sNkFpEQFIyVK+d7DXQqKbXYBB4scWSnX7JM3EiOCMdCZnbPY7J2aQCHWBV09KFY6GYt/X/LMxK6C1gU8i5wdca8bliD9raVGh2DpraMQH27EuH7R0GqAW5y1Nfmy6fvyeiJPtT2//PAgGkxW/OnrE2iPuOZZ9pB4xXeCvA7J3bIF7p5jekayV4EN0Pq3JWac/udc4+zo5TpsPuUIlqaPTnL/YA9CZZ+paSMSFf+WDz3qtBpMz0huc1+YQado1yBeaNa3WGGy2vC5S/dpeffxziioaMTRy3XQaTW4bZx3xdL+iMGNn/Cr2VJull8QizZ9UXPjWlDpzo+uGehxcdAzZQ2w2QVoNcr+DABg1PVdcCO2FKlpMmP550eRd6IMf1x3EgBwucYxTON6kmyPQbbvI5yBgjtiEBFuDOp2g0LxvVidb0ZMowNAkpfLcohdWEc4+/nIZ0uJjeG87fXTFeJwnlhzIy6mmpHaOhTW4tIczl29lNhReqybKcWhLgXFp8vq0WCyItSgk7otd5b4+xaEzjVRFIfDrpH11dG7ZFTOVzZJM57kxHobVy/Pn4DPF1/bJusyPSNJcdI2uhn+knei7ugzI9X9DFfuh7yYvr2O6YIgSDPUrvXwXtyRZ5wEQZACqKpGMyoaHJmk9jJw7si/O28dq2zgKA9upgyJU0ynjnPOTJoxJlmRrQ0Pbv2MbT9bCbPVjiCtRuph9cm+S/jswCU0d7LR4RfOIGnq0HivloHxVxyW8hPymhufD0u5KSj25bBUpBd1PjqtxmP7c7GALy7c2CaN3DZz0/M1N67Tp+VrOzWZrbDZBWlpi5ROzGLSaDT4590T0WCyIr2d4aYPfnwNtp+txIDYUK9nYnni+tk4K5uK6u1immJwI2VunJ+pigaTdLU5tBdbtxtdMjeH3QQp00cn4eWNobALAi5WN7vN3Ig9Rka76SjtWlAszg4b1z/K7XR1b+hl7RHMNrtXQyKCIGC/87XltROuBcW7Xdb5AhyFw9mD3QcEiRHBSIwIlpZHARzTq5+9fbRyn10yN5drmjHl+Q3S/fHhnv/eGk1WKSPk2nlaHtu11zrhZGk9KhrMCNHrOpUxkwc3x4vrFUE84Djxd7ZlRJzzwsp1SApwfCbFYaZZLoHPwqnpMFvt+OX04YrbI2SfMbEG6oeT03Dj8ER8fvAyapsteGTVAYxPi8aaRVO93k+xWPo2Nx20AwmDGz/hTzU37guKHQW74T4YlooMUb5mZ1eaFZvjuc6wAvpmWEocQRMDArHbM+CYjVHRYILVmVny1E3Xk+le9JiICNZjRg/1onCtuRGPLeB+ZolcWV0L1h0tkTIe4mwoMXMj9r6JCzP0aiMw8arfJHZtdq48nyFrghgdasCWX0/DN8dK8cC/97rNlIhLWbhbC0y8CNhXWIOfvJcvFby6y/J4S56ps1gFwItDdKmmGeX1JgRpNYo6Jtc+LnvOO4KImWOSpZb6wxLDERXa/oVFjOz+B68f3GaWWevrOI7fh3uV63s1tdNxeee5SqnuJ91lOGl+1gBpwcb2ZmKJ08gnD4pVzC7siHyW16ZTZW3u99SnqD0pUSF46YfjkRBhdDt9/LZxKThYVIuZLsHN8KQIvHBnZpvtw2SNDP931BHcfGd0SptsS2dWDz9dWo+TpfXQ6zSYkdEz3xm+wuDGT8iHony+tpSbYSmp5sYHw1KumRtv+0qIxJkG7oa35CeMYL2208/tDdeAQH4VKAiO9WIAR2Dl65lyHdG5zPwS9x1o2/HX1eL/7peGSABIJyxxGEPMAsin6vcGKXPjPCm21gC1fV2dzv1MtxaLDWedgZ37zE3rifSrIyXS1GhvFif1RKfVSAW83jbFE2cJZaRGKrJ2rTU3jvclZpZmjG4NbjLcdLx2NVA2zOluaNQ1c3OgSLm0RrNsiMrVt2fEJTUS2tTYRQTr8Z8HsjD/jV1tltFQPodzSKoTs5oAZfAnLq8RrNdKr3XjiI6XW3BH3sbA1Z/uaBvAtEcMoDefKkdloxlRIXpkDY5Fk0tXbItNgMVm9+qiWfzdXzcsocPA1t/59zfpFUTZ58b/hqWkmps+y9zIhqVcghLXpRbk3C0IKXIb3MgyN64zFnqKGBCIh7OsvkVxv9jArzcaCPY0KVBznhQvyooWTR0EN/LAJtwYJF1hygMBABjSy8GNmLlpsdhQ02SWak2GuTk5ixcdVpc1mMQ6rphQvduhTNfhW7EhXkZK1zM3Go2m3anV7hxwBi3j06IVt8uDjvoWi9TpdqosCPCmU3ZyVDA+/kk28n55g9tmbvIp1YIgSPsjznxrNHn+zIizyyYPcj8VWVoXzsMK5WarXSqSntrJ4EY8PlWNZqlNwPecPW1GJEV4XTzfm8TvYjFrc9PIROh12jaZbgDSemwdEZs93pLRuWJpf8Tgxk8oOxT7X0FxX9fcyIMOsefI/13l6Nmw5Jbhbh8DAP++LwvPfne02/tcm6G5vo43hctdoXHJdsiHpQBIbeVTO1FM7CtScON8L5dkNRfyK+iy+pY2QZzcwLhQ6bi4zoZzt4xETxIzGCarHaedBcypUcFuP9vu1lkDHAXCgCMgcjdV1rWnCeD4rA3u5mw1sQDe2143R6WhM2VQZZDNljp8qRaC4OiOnRBhlNYo87ZB3cSBsYqGi8rXcRwbs9WOC5VNqG6ywBCklep/PA1Lma12aXr++DRPwU3r79Gdgxdr0GS2IS7MIGXOvCUGTnbB0UoiLTYEP71xKDL7R+HnNw/r1HP1FvHzKgYu1zkLpjUaDT74cTZW3nWVtPSLa4G8O7VNFin4bG96fqDgsJSfUM6W8pfMTettvpwKLmZu/nTHOCy+aWib8Xe55KhgLJiSjuWft13o0N2U8j7J3LgUFLvOShE7w7bXiMxfuL4XeUGp2DfGbLVj8h8ca8bte/oWRIXo2wQH8n5Crr13vF1bq6vEE1eLxYbTLtPSXYnv13WhUOlxHrJM4Ya2fyfDEsO7nZXVB2kBk3fLGQiCICt6Vg4x6WUFxWKtk5jdWfXQNahuNLdbpO4teeZGPHGOTo2ULiQ8DUsdL66D2WpHdKje49+7PAPnzn5Zg8XOLhHgWos3aWAs0mJD8dniazv1PL3JNRiXr202eZBjcsWvP9Kh0WzzKnOz7UwF7IJjWLirnY39CTM3fsKv1pYS+9zYW3uZSB2KjX0zDis/HmLNjU6rwaD4MK+aSsk7vIo6qrmJCeud9+a6cKZrRuOys8eNu4JnfyNNBbcLaLHYpHomoPUkUyqbDXbV79bj4ffyFa39AeWwSkKEUSoqBiCtEt5bpCZ+FruUgfFU5yPWv7kWFIsZH0/BjetQG4AuTwGXE4OSjoq3AUfgWddihV6nwbBE5WvLa0rEDMloZ2F0VIi+RwIbx/62vo58iExs+OhpWOqAbO0xT3/vHWZuisSgrfMddg0u38FX+WGXXnmJwOCEMLfD2mK/piYvMjfitPsbVJC1ARjc+A2dHw9Lmax26cq1z2pu5MNSbsaQO/LMd0fj5O+/A/n3orthKaNiWKp3gguty1CO67RScSmC2HD/D26CZO/FNWARh6XE9yNaf6xUWphUdJVsIUqNRoMk2Rdz7wc3rbUa4pCgp+Eid0O0AGT9eNwHLEE6bZslHHqiUNrdsgmeiENSwxIj2mQipIJiq4DjxY7gZpQXBcSdJZ9SLWZSJgyIkQr3my02rNx4Bne/uUuRgRGDm/amb7f2K/K8cjcAZKZ1vs7J9XhN9LBwqi/JMzdTh7ivKQoxON6Hp8xNdaMZVY1mRS8fBjfUo5RrS/m6Q7GyzkAsJgaA0G72SfGW/Mqpq7UwxiCdIr0a7SZ4UQ5L9U7mxnU5C0/DUnFhgTUsJfakEbMu4smpuLZtZ1Sx421yZDB+ftNQ/PiGwYr79dru/769JV3xW+w4X+ko5h4Y6z64CXKzCrojKHI8rr2AZeNjN+LHsmUfPNWldIbrLKf2iEtDuJuhJT5PfYsF55zFxN7Mjuos8XUaTFYccwZRE9KipUkBDSYrXtl4BltPV0gztgDPhdBy4oWJzS7AarOjsLIJ646UQBAEqWeSRtO16feuwc2ITtbs9AV5cDNliPt11cTjLNbcFFU1YcU3p1DdaIbVZse0Fzbhlhc349DFWpTUtSBYr5WGtAIda278hD/NlnK9WhVPWsF6bZ8tby+v0XCdLdUZg+LDpLqQjgqKe6vmRr78QovFJqWIY8MMqGo0SyequADI3LT2QGoNygYnhOPwpVqYnN1cXTM3AHCpxpEhuSUjCUumj2hzf18G9GLmpslsxUVn0OVpVXV3NTcXq5thFxzrm7XXlygu3Kg4OfdI5qYTq2yL2SV3U7TFz/2Ry7WwC47PYmd7LHlDfJ2TJfWw2gXEhRnQPyYEVc4Vus1WO8QVkEqdQX9Nk1maQdhecCOf2t5iteP6P28EAPz7vslS08UhCeFteu94Qz4sPjwpvMuNF3uTGNxoNI6Vzt0Rgxsxc/O9V7ZLK4zfOSkNNU2O/mWr9hQBcKz23d1Gn/6CmRs/4V81N8rMjZj27UwTrO6Stwx3V5zprUGy2oGOam66MvzlDTFutdkF1DpXL9dq2tbYBELNTWsPJLs060u+Xo/JakexmzVtpOUlPKyd9evvjAQA3JU1oEf31x3xy/t8ZRPMNjv0Oo3Hqb2uBdQApKzNwLiO67/kJwpPAVRndGZYSqonctMeQRz6PuwsJh6V4n7WV3eJf19icDjS+Tru+kkdvVyL6kaz1FdmUHyY20kArs8NQKoJBByLbR5w1ttk9o/u0n7Lj8XYfl17jt4m/t1NGhjj8TiFSEub2KSMFgDsu1CjaM0grp3V2SUl/BkzN37Cn9aWkuoqnF9I4lViZ9uNd4d8HL072SJ5cNNR5qY3GvgB8swNUO1cqTc61NDmCimunVb0/kI+FVysHUqTrWTeYrHhspvMjTj842ktoRuGJ2Db49M6tbZWV4nDGWJ2IC021OOVubvMzfkKRxbKmynr2UPiMK5/FMb2i+qRixZv+9xYbHbp/bkrejbonAW9zosI14LjnuL6nSG+jjFIKzUkFP1j8zn8Y/M5KbPWUVdtrVYDg04Ls3M6uygyWC8tFjq+C/U2rrqy0GlfGJkcic8XT213ZpM8cyOf2TgwLlSxUGqlM5M2Kd3/aou6isGNn/CnzI3r8gtik6zOLnvQHTeNTERyZDAmdvOPTX6y7GgqeKihdzJT8kyYmAaODtErjqdep2lTgOqPdLJhqapGRxCTGh2MIK3GOYPKjhI3wY03jQr7x/RuIbHINahsL0hxDfQBSMXRA+M73t9gvQ6f9+D0Yb2sb0x7LlQ2wmITEGbQuT35ydepAnqvK7Trd5k4Y0yj0SBUr5OCK7kWix3Dk8Lb7WclMgY5ghv5quR1LRYcvFgDAMhsZ1irI/OzBuBYcR3umNi/y8/R28Z1kJkKkdXD7TjXun5Yk9mGQ85jJNJpNe0OAwYa//82vUL402wpnSzTAMiHpfouuAkzBuHbJ25Cd5NY8lkwYW6CF3lqO7Qbw1/tkdcw1UiZG70isIoNM/TKsEBPaw1u7FLmJjHCiGC9Dg0mK1osNqnQWE4M6npj7a7OGtMvClpN6+fbtcGdnOvSGUBrFqq7K6x3hV7n3bCU2IdnaGK428+V61Tn3gpuXF9H3kE81BjkNrgBHH1avMkUG/U61JusUhdhADhRXIeaJgv0Og1GJne9SPoP3xvb5cf6ixC94zvtbFkDPneu9g04VrSvdv5NikalRPRa9toX1PNOApy8cZ+v1xdy/UJvHZbq20KznijiG54UgWe/O9pj8KDRaBATqkd1k6VNo7OeIu9zI2VuQg0QZDn5QJgpBSgzN2LNTUJEMIL1WjSYgKOX66RiUXf8YYmJ+HAjBsWHSWtDtXdl7i64Kaz0fliqpxm9rLk558yUDfYwQ8s1o9JrwY1Lhkg+db69TOkIL4MS8XjIh6X2OgOdwfHhfTqU7o/EqeAf7L2omA5e6eZvVE31NgALiv2GvCmxr2tuXPuy+CJz05MWTEnH7MxUj/d/+8RNOLhsepdmVXhDXpRaLQU3bTM3gUBeUFwuy9yIxebfHHesczNhQDTiXWZ/hRuD+mz5jo4svmkoAEeb+YHtZGCktaWcs2/sdkGqXejtfjzuuC5E6cmFDrJL8uAmOlTfa8XsYm0PACRFGhVF/WKm1N3XnbsZXu6IvW7kJ27x9+NuIdQrjetsKdeCfXlQ64+NCrsjMM9WKiTP3Pj6aqO1L4vvCor7UqghqFdXwJUXFNc0O4elQgyK2We93dulp4iBb1WTRSpqTYgwSkWgYnAzPSMZW399k6Kg290Ck74yZ3w/vHPfZPzth+Pb3U6rbf3dCYKAikYTzDY7tBrfZKFaC4rb73MjFj2ne6gLkv8tD/ay63dXyGt7XIuWxcyNuzoPr4ObdrLJvVUkHUhCXIbarx+mbPb3HVnR9iSVBTf+cRlFfrW2lDR1WfBdQbGayDNhNY2OzE1MqB71La1j3r01Db2nieVgJc5GfVEhegTrdVKRrtjwcVJ6DEIMOsVaZP5QbyPSaDRedWKVZ1FtdkGa0p4UGeyTwn9vp4IXdJi5aX1fg+J7L8Mhr7lxzaSIwU1mWjTCjEE4UFiDepMVyZHBXl9siEG1O8OZuZEyN6LsIfGKerPZmak4eLEGsWEGv1jpvCcFxjfqFUD+JerzDsXOqzjBebXqiz43aiLPhEmZm1A9SuraLg7q73TOk5U4I0pc7NN1BlKim9t7o0lcb5NfdFjtrUtO+OpE4M2wVKPJKg0Zegpu5EFHT/Tf8US+jIrr2lriLK6JA2Ow7LYMAI5ZdZ3JYsovuAxBWsVx4bAUECIL/gbFhyEqRI/oUEfz0HBjEIYlhuPd+7N8uIe9h8GNn5B/ibrOMOhrOperVXOA19z4mryguFpWUCwPFiN7qd6np4mBWp0zQyPWarheQYs1RPKi0fgA6OPjSv63YBd8H9wYZKt5eyLO5ooJ1XvMgOj7KLiRf5e5ZlKenDUKs8alYOqQeGlYzFMBtCfyv6EJadFS7xa9TtNuLdWVIkT29ydOmIgJ1aOq0Ywx/SL7rOO8L/Bs5Sf8aW0p+QfeJggcluomed2GOBU8JtSgqHsImMyNy0dADGKCZScZg04rFQ7L0+KB0KTQlWvm5pIU3PhmiE2+mrcnRc4+PAPaObnLP3u9OaXdoNMiJlSPUIOuTeYmMliP64YldOsEKw+q5QWxg+LDfN4vzB/Ia27ENbbEv9nu9AAKBMzc+Al/qrnRyYoL7XbHAoNA68wE6hyt7HiKU8EjQ4IUwWIgNPADlGugAUCMlLmRBzGt0+7lV46BsHaWK/nfos0m4JJzJk5/Px6WkmZzxXjeR3H2F9C7mRutVoMPH54Cq93eK7MR5Zkb+UrznlZrv9LILy7Efk5j+kVhz/lqTBuR6Kvd6hOB8Y16BVD0ufFxqlDnkrkRrxJ9PVwWqOTBYp2ziDgiWK8IFgM2c+Ps+pwgq6eRT2tXZG4CZLq7nPxP0SYIuOwspO6LZSLc8aaJnxjc9GsnuGk0tU6dbm/9pp7QWz10AGU2Wb5MgrslJ65EiuAm1RHcPD0rAz+5YQgS/ajAvzcwuPET8oDCx4kbRabBZpcVFKtktdi+Jv99tjizYGFGnSJYDJip4C5ThsXMTbrs6l8e3IQaAntYSqPRQKfVwGYXYLMLKHU2LvRVM0JptpTV81RwMbhpbzmLWzKScHV6DKYMife4TSAQLxDiw42IDzci1KBDk9nWZgjsSiVedAxNDJfqr7RajeoDG4DBjd+QZ2s08J/MjV1WUMzMTde4BgQAEGHUK4LFQCkodh0yjQ1z7He6rJ+NvHA40DM3AKTgxmy1S6sqJ/qoZ4/Bi4UzL1Y7am76t5O5Cdbr8OHDU3p253xArPUamuj4/A2MC8Op0nqpvuRKNyI5Aq/Mv6pXs2f+isGNn5AHFL5eYkieirfaWVDcXa7LSOi0GgTrtdLMFyCA+ty4fARinEManlZfl61aEJA1N0DrsGJpXQsEwfH789VyGdLCmR6CG0ForQtqr+ZGLcSMp7iG1NsLr0Z5vckn3aP91a1jU3y9Cz4RGN+oVwBF5sbH0Y1Go5EaPdkFgQXF3eT66ww3BkGj0Si6zAZK5qbNsJQzuJGvPC2vB2mSLYzYWwuT9jbxb1OcKRUfbuiRdc+6QlzfzeKhoLiu2Yp6k2Oafr9o9Z/g78oaAK1WI60PlhQZ7FfNIsl3AvPbRoUUmRsf7odIp9XAbnPUGZhYUNwtOpeAQJwmbZKth+PaBM9fuZ7Uxfoa+WKvTbJi1WaLtW92rBfpnNmSYmfjwsQI3508O8rciAFYbJhBMVNNreLCjVg0baivd4P8EM9WfkKerXFXo9HXtNICifLMjfq/LHuDa0AgBTcdLH7oj1zfS4ysjubeKenQ6zR46IbB0m1hAZqtkROD02Jn4ODLNbI6Wn6hpE6czcXsBV3ZAv+bR4X8ILZpXcmaTfy6zXWYMdzZ0yYhwJcjMOi0CJNlB5bPzsBjM0YoVv7+6bShOHK5Fj+YmNan+9mTxPd8WVpywneBg5g99TRbSswuMbihKx2DGz/U3iyHvqKTZW7Uvip4XxBn3ACtmZvvT+iH48V1mBpA03HlQ2xRoXpF4KbRaBSBDeAYHln1UHaf7V9vEGtuimt9n7kR+9yYPGRuSmtbF/YkupIxuPEjaxZNRVWjyS/WRNEqMjdcOLO7tBpArEQRA4AgnRbLZ4/23U51gTxzEyi9ebpL/FsorvF9zY20/IKHIU1mbogcGNz4kfF+tNaHeBKz2cHMTQ9w1DApMzeBSB7cBMqSEd0lZm4qGx3rgsX7cEq7WHguDhW7Kqlj5oYIYEExedAa3LDmpifIg4LwAA4K5IscBsqSEd3lWkTty07L4t+gWOTvqkTK3Ph+aJvIl3i2IrfE2grlsBQ/Ll0lnwEX0JkbjTxzc2UGN77M3Ii9pjxmbpzBja+WhyDyFzxbkVvyzA2HpbpPfn4M6OBGkbkJ3PfRGa4rocf6cBkJcbmBFjeZm0ZTawM/Bjd0pePZitwSv883nixDWb1jPR0WFHedViXDUsqamysjcyPvHm4I0vo0OG0vc1Pu/DsNNegCOoAm6gkMbsgtcfhhxTenpds4LNV1OrUMS12BNTfywDQuzODT5VHECwyLs3u4XLlzUc9A7J9E1NN4tiK3tG7WzmFw03Xy4xkawG3xr/TMja8X/wyWre/mmr0RMzcJPix4JvIXPFuRW67rIWWmRft0lkigk8eKgbzmj6Kg+IqpuZFnbnz7NyAfGnadMSUFN8zcEDG4IffkX+h3ZQ3AZ4um+mwlZDWQBwWBujo2cGVmbuS/uzgfFhMDjuMvLp7pujYZgxuiVgxuyC351OWx/aJ8uCfqIK/TCAngBUivxJqbIJ3/DEsBrdmbFguHpYg8YXBDbslPYsOTIny4J+ogP56qCW4CeNZXZ8jfc6yPh6UAWSM/l8xNBQuKiSQMbsgtAa0zMdL8YCHPQCcf0Qs2BO6fnXxg8krJ3MiHpWJCff+ePS3BwNlSRK0C91uWepWY4gaAeKa5u81iaw0WAzlzIxfIU9o7Q565ifaD4EbM3Lg28mPNDVGrK+PbiTqttK41uHE3LZw6Rz6EEMjBTWJkMH5+01CEGoOkDILayWtuokN9X3NjCGrbyE8QBGlYihcjRAxuiPqE/EQUpAvshOmS6SN8vQt9Sl5c7w+ZGzGolGdu6k1WKTvoy+UhiPxFYH/LUq8L5CyDPzFb3a/iTP5PMSwV4vvAwegmc1PVYAYAhBl0V0xGjag9Pg9uVq5cifT0dAQHByMrKwu7d+9ud/uamhosWrQIKSkpMBqNGD58ONauXdtHe3vlSeECfD3CbGNwE6iaza1BhD9kboxiQbEsc1PZ6AhuYpi1IQLg4+Bm9erVWLJkCZYvX459+/YhMzMTM2bMQFlZmdvtzWYzbrnlFpw/fx4fffQRTp48iddffx39+vXr4z1Xv4FxoQCAOyb19/GeqIMgdLwN+af6Fqv0//6QFQkWC4rlmRtncOPrJoNE/qJTNTcxMTFuF42LiorC8OHD8dhjj+GWW27x+vlefPFFPPjgg1i4cCEA4LXXXsOXX36Jt956C0888USb7d966y1UVVVh+/bt0OsdV1Dp6emdeQvkpdUPZWNXQSVmjU3x9a4Q+VS9yeLrXVBwl7mpdgY3rLchcuhUcLNixQq3t9fU1CA/Px+33XYbPvroI8yePbvD5zKbzcjPz8fSpUul27RaLXJycrBjxw63j/n888+RnZ2NRYsW4bPPPkNCQgLuuusuPP7449Dp3F9RmUwmmEytM3/q6uo63DcCkqOCcft4ZsSIGmSZG3/grokfh6WIlDoV3CxYsKDd+8ePH4/c3FyvgpuKigrYbDYkJSUpbk9KSsKJEyfcPubcuXPYsGED5s+fj7Vr1+LMmTP46U9/CovFguXLl7t9TG5uLp599tkO94eIyJ16PwtuxJXB5csvVDU6LuA4LEXk0KM1N7fddpvHwKQn2O12JCYm4p///CcmTpyIuXPn4je/+Q1ee+01j49ZunQpamtrpZ+ioqJe2z8iUp96k38FN+LaUu4yN/6wPASRP+jRPjcmkwkGg3dXDvHx8dDpdCgtLVXcXlpaiuTkZLePSUlJgV6vVwxBjRo1CiUlJTCbzW5f22g0wmjkHzwRdY2/TeMXMzfyqeCtNTe+n81F5A96NHPz5ptvYvz48V5tazAYMHHiROTl5Um32e125OXlITs72+1jpk6dijNnzsBub/2yOXXqFFJSUrwOqoh8SewuS4Fj2W0ZAIAltwz38Z44tK4K3vo9WMXMDZFCpzI3S5YscXt7bW0t9u3bh1OnTmHLli2der4FCxZg0qRJmDx5MlasWIHGxkZp9tQ999yDfv36ITc3FwDwk5/8BC+//DIeeeQR/OxnP8Pp06fx3HPP4ec//3ln3gaRzxgZ3ASc+64dhJljk5Ec6R89n9w28Wti5oZIrlPBzf79+93eHhkZiVtuuQWffPIJBg0a5PXzzZ07F+Xl5Vi2bBlKSkowfvx4rFu3TioyLiwshFbbejJIS0vD119/jV/84hcYN24c+vXrh0ceeQSPP/54Z94Gkc8wuAlMKVEhvt4FSeuq4K2Zm5omx3R1f1j7isgfdCq42bhxY4/vwOLFi7F48WK3923atKnNbdnZ2di5c2eP7wdRXxCHFIi6SsrcOGdLWW12aUZXdAgzN0SAHyy/QHQlYc0NdZdRr+xzUyebqh7F4IYIAIMboj6VkRLp612gABcsFRQ7Mjc1znqbCGNQwK84T9RTenQqOBG59+lPp2D1niL8+jsjfb0rFOBcMzc1zY56myg/WNSTyF8wuCHqAxMGxGDCgBhf7wapgNTEzzkVvFYqJmZwQyRiDpOIKIBIyy84p4LXNDuGpaJDOFOKSMTghogogLhmbsRp4ByWImrF4IaIKIC4NvGrddbccBo4USsGN0REAURs4tfikrlhzQ1RKwY3REQBRJ65EQRBlrlhzQ2RiMENEVEAMTozN3YBsNoFqc8Na26IWjG4ISIKIPL1yeqaLa19blhzQyRhnxsiogAiD24m/v4b6f8jgxncEImYuSEiCiAajcbt6vIRwbxWJRIxuCEiCjDughsOSxG1YnBDRBRgxKJiOWZuiFoxuCEiCjDiEgxy4UYGN0QiBjdERAFGXIJBFGbQIUjHr3MiEf8aiIgCjGvNTSTrbYgUGNwQEQWYYJeaG9bbECkxuCEiCjAal3+HGBjcEMkxuCEiCjAWm115gyD4ZkeI/BSDGyKiAGOyKoMbO2MbIgUGN0REAcY1c2Nn5oZIgcENEVGAMbcJbny0I0R+isENEVGAMbsMSwnM3BApMLghIgowFpsymJl7dZqP9oTIP3H+IBFRgJFnbv7zQBauGRznw70h8j/M3BARBZif3DgEAPD9Cf0wdWg8dFrXzjdEVzZmboiIAsxPbhiC64bFY2RypK93hcgvMbghIgowWq0G4/pH+3o3iPwWh6WIiIhIVRjcEBERkaowuCEiIiJVYXBDREREqsLghoiIiFSFwQ0RERGpCoMbIiIiUhUGN0RERKQqDG6IiIhIVRjcEBERkaowuCEiIiJVYXBDREREqsLghoiIiFSFwQ0RERGpCoMbIiIiUhUGN0RERKQqDG6IiIhIVRjcEBERkaowuCEiIiJVYXBDREREquIXwc3KlSuRnp6O4OBgZGVlYffu3V49btWqVdBoNJgzZ07v7iAREREFDJ8HN6tXr8aSJUuwfPly7Nu3D5mZmZgxYwbKysrafdz58+fx2GOP4brrruujPSUiIqJA4PPg5sUXX8SDDz6IhQsXIiMjA6+99hpCQ0Px1ltveXyMzWbD/Pnz8eyzz2Lw4MF9uLdERETk73wa3JjNZuTn5yMnJ0e6TavVIicnBzt27PD4uN/+9rdITEzE/fff3xe7SURERAEkyJcvXlFRAZvNhqSkJMXtSUlJOHHihNvHbNu2DW+++SYOHDjg1WuYTCaYTCbp33V1dV3eXyIiIvJ/Ph+W6oz6+nrcfffdeP311xEfH+/VY3JzcxEVFSX9pKWl9fJeEhERkS/5NHMTHx8PnU6H0tJSxe2lpaVITk5us/3Zs2dx/vx5zJ49W7rNbrcDAIKCgnDy5EkMGTJE8ZilS5diyZIl0r/r6uoY4BAREamYT4Mbg8GAiRMnIi8vT5rObbfbkZeXh8WLF7fZfuTIkTh8+LDitqeeegr19fV46aWX3AYtRqMRRqOxV/afiIiI/I9PgxsAWLJkCRYsWIBJkyZh8uTJWLFiBRobG7Fw4UIAwD333IN+/fohNzcXwcHBGDNmjOLx0dHRANDmdiIiIroy+Ty4mTt3LsrLy7Fs2TKUlJRg/PjxWLdunVRkXFhYCK02oEqDiIiIyIc0giAIvt6JvlRXV4eoqCjU1tYiMjLS17tDREREXujM+ZspESIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFX8IrhZuXIl0tPTERwcjKysLOzevdvjtq+//jquu+46xMTEICYmBjk5Oe1uT0RERFcWnwc3q1evxpIlS7B8+XLs27cPmZmZmDFjBsrKytxuv2nTJsybNw8bN27Ejh07kJaWhunTp+PSpUt9vOdERETkjzSCIAi+3IGsrCxcffXVePnllwEAdrsdaWlp+NnPfoYnnniiw8fbbDbExMTg5Zdfxj333NPh9nV1dYiKikJtbS0iIyO7vf9ERETU+zpz/vZp5sZsNiM/Px85OTnSbVqtFjk5OdixY4dXz9HU1ASLxYLY2Fi395tMJtTV1Sl+iIiISL18GtxUVFTAZrMhKSlJcXtSUhJKSkq8eo7HH38cqampigBJLjc3F1FRUdJPWlpat/ebiIiI/JfPa2664/nnn8eqVavw6aefIjg42O02S5cuRW1trfRTVFTUx3tJREREfSnIly8eHx8PnU6H0tJSxe2lpaVITk5u97F/+ctf8Pzzz+Obb77BuHHjPG5nNBphNBp7ZH+JiIjI//k0c2MwGDBx4kTk5eVJt9ntduTl5SE7O9vj4/70pz/hd7/7HdatW4dJkyb1xa4SERFRgPBp5gYAlixZggULFmDSpEmYPHkyVqxYgcbGRixcuBAAcM8996Bfv37Izc0FAPzxj3/EsmXL8P777yM9PV2qzQkPD0d4eLjP3gcRERH5B58HN3PnzkV5eTmWLVuGkpISjB8/HuvWrZOKjAsLC6HVtiaYXn31VZjNZtxxxx2K51m+fDmeeeaZvtx1IiIi8kM+73PT19jnhoiIKPAETJ8bIiIiop7G4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFUY3BAREZGqMLghIiIiVWFwQ0RERKrC4IaIiIhUhcENERERqQqDGyIiIlIVBjdERESkKgxuiIiISFWCfL0DREREgUgQBFitVthsNl/vimro9XrodLpuPw+DGyIiok4ym80oLi5GU1OTr3dFVTQaDfr374/w8PBuPQ+DGyIiok6w2+0oKCiATqdDamoqDAYDNBqNr3cr4AmCgPLycly8eBHDhg3rVgaHwQ0REVEnmM1m2O12pKWlITQ01Ne7oyoJCQk4f/48LBZLt4IbFhQTERF1gVbLU2hP66kMGH8zREREpCoMboiIiEhVGNwQERFdQSorK5GYmIjz58/36euazWakp6dj7969vf5aDG6IiIiuIH/4wx9w++23Iz09HQBw8OBBzJs3D2lpaQgJCcGoUaPw0ksvdfp5c3NzcfXVVyMiIgKJiYmYM2cOTp48Kd1vMBjw2GOP4fHHH++pt+IRgxsiIqIrRFNTE958803cf//90m35+flITEzEe++9h6NHj+I3v/kNli5dipdffrlTz71582YsWrQIO3fuxPr162GxWDB9+nQ0NjZK28yfPx/btm3D0aNHe+w9ucOp4ERERN0kCAKaLb7pVByi13k9y2jt2rUwGo245pprpNvuu+8+xTaDBw/Gjh078Mknn2Dx4sVe78e6desU/3777beRmJiI/Px8XH/99QCAmJgYTJ06FatWrcLvfvc7r5+7sxjcEBERdVOzxYaMZV/75LWP/XYGQg3enc63bt2KiRMndrhdbW0tYmNju7VftbW1ANDmeSZPnoytW7d267k7wuCGiIjoCnHhwgWkpqa2u8327duxevVqfPnll11+HbvdjkcffRRTp07FmDFjFPelpqbiwoULXX5ubzC4ISIi6qYQvQ7HfjvDZ6/trebmZgQHB3u8/8iRI7j99tuxfPlyTJ8+vcv7tGjRIhw5cgTbtm1rc19ISEivr8nF4IaIiKibNBqN10NDvhQfH4/q6mq39x07dgw333wzHnroITz11FNdfo3Fixfjiy++wJYtW9C/f/8291dVVSEhIaHLz+8NzpYiIiK6QkyYMAHHjh1rc/vRo0cxbdo0LFiwAH/4wx+69NyCIGDx4sX49NNPsWHDBgwaNMjtdkeOHMGECRO69BreYnBDRER0hZgxYwaOHj2qyN4cOXIE06ZNw/Tp07FkyRKUlJSgpKQE5eXlnXruRYsW4b333sP777+PiIgI6Xmam5sV223durVbQ17eYHBDRER0hRg7diyuuuoqfPDBB9JtH330EcrLy/Hee+8hJSVF+rn66qulbc6fPw+NRoNNmzZ5fO5XX30VtbW1uPHGGxXPs3r1ammbHTt2oLa2FnfccUevvD8RgxsiIqIryLJly/DSSy/BbrcDAJ555hkIgtDmR748Q0FBAaKjo5GZmenxed09hyAIuPfee6VtVqxYgV/96lcICQnprbcHgAXFREREV5RZs2bh9OnTuHTpEtLS0rx6zNq1a/Hkk08iJiamy69rNpsxduxY/OIXv+jyc3hLIwiC0Ouv4kfq6uoQFRWF2tpaREZG+np3iIgowLS0tKCgoACDBg1qd1o1dV57x7Yz528OSxEREZGqMLghIiIiVWFwQ0RE1AVXWFVHn+ipY8rghoiIqBP0ej0A9PoSAlcis9kMANDpvF9Swh3OliIiIuoEnU6H6OholJWVAQBCQ0Oh0Wh8vFeBz263o7y8HKGhoQgK6l54wuCGiIiok5KTkwFACnCoZ2i1WgwYMKDbwSKDGyIiok7SaDRISUlBYmIiLBaLr3dHNQwGA7Ta7lfMMLghIiLqIp1O1+36EOp5flFQvHLlSqSnpyM4OBhZWVnYvXt3u9t/+OGHGDlyJIKDgzF27FisXbu2j/aUiIiI/J3Pg5vVq1djyZIlWL58Ofbt24fMzEzMmDHD4zjm9u3bMW/ePNx///3Yv38/5syZgzlz5uDIkSN9vOdERETkj3y+/EJWVhauvvpqvPzyywAc1dJpaWn42c9+hieeeKLN9nPnzkVjYyO++OIL6bZrrrkG48ePx2uvvdbh63H5BSIiosDTmfO3T2tuzGYz8vPzsXTpUuk2rVaLnJwc7Nixw+1jduzYgSVLlihumzFjBtasWeN2e5PJBJPJJP27trYWgOMgERERUWAQz9ve5GR8GtxUVFTAZrMhKSlJcXtSUhJOnDjh9jElJSVuty8pKXG7fW5uLp599tk2t3u7EioRERH5j/r6ekRFRbW7jepnSy1dulSR6bHb7aiqqkJcXFyPNl2qq6tDWloaioqKONzVi3ic+w6Pdd/gce4bPM59p7eOtSAIqK+vR2pqaofb+jS4iY+Ph06nQ2lpqeL20tJSqUGSq+Tk5E5tbzQaYTQaFbdFR0d3fac7EBkZyT+cPsDj3Hd4rPsGj3Pf4HHuO71xrDvK2Ih8OlvKYDBg4sSJyMvLk26z2+3Iy8tDdna228dkZ2crtgeA9evXe9yeiIiIriw+H5ZasmQJFixYgEmTJmHy5MlYsWIFGhsbsXDhQgDAPffcg379+iE3NxcA8Mgjj+CGG27ACy+8gFmzZmHVqlXYu3cv/vnPf/rybRAREZGf8HlwM3fuXJSXl2PZsmUoKSnB+PHjsW7dOqlouLCwUNGKecqUKXj//ffx1FNP4cknn8SwYcOwZs0ajBkzxldvAYBj+Gv58uVthsCoZ/E49x0e677B49w3eJz7jj8ca5/3uSEiIiLqST7vUExERETUkxjcEBERkaowuCEiIiJVYXBDREREqsLgpgesXLkS6enpCA4ORlZWFnbv3u3rXQo4W7ZswezZs5GamgqNRtNmrTBBELBs2TKkpKQgJCQEOTk5OH36tGKbqqoqzJ8/H5GRkYiOjsb999+PhoaGPnwX/i83NxdXX301IiIikJiYiDlz5uDkyZOKbVpaWrBo0SLExcUhPDwc//d//9emcWZhYSFmzZqF0NBQJCYm4le/+hWsVmtfvhW/9uqrr2LcuHFSE7Ps7Gx89dVX0v08xr3j+eefh0ajwaOPPirdxmPdM5555hloNBrFz8iRI6X7/e44C9Qtq1atEgwGg/DWW28JR48eFR588EEhOjpaKC0t9fWuBZS1a9cKv/nNb4RPPvlEACB8+umnivuff/55ISoqSlizZo1w8OBB4bvf/a4waNAgobm5WdrmO9/5jpCZmSns3LlT2Lp1qzB06FBh3rx5ffxO/NuMGTOEf/3rX8KRI0eEAwcOCLfeeqswYMAAoaGhQdrm4YcfFtLS0oS8vDxh7969wjXXXCNMmTJFut9qtQpjxowRcnJyhP379wtr164V4uPjhaVLl/riLfmlzz//XPjyyy+FU6dOCSdPnhSefPJJQa/XC0eOHBEEgce4N+zevVtIT08Xxo0bJzzyyCPS7TzWPWP58uXC6NGjheLiYumnvLxcut/fjjODm26aPHmysGjRIunfNptNSE1NFXJzc324V4HNNbix2+1CcnKy8Oc//1m6raamRjAajcJ///tfQRAE4dixYwIAYc+ePdI2X331laDRaIRLly712b4HmrKyMgGAsHnzZkEQHMdVr9cLH374obTN8ePHBQDCjh07BEFwBKJarVYoKSmRtnn11VeFyMhIwWQy9e0bCCAxMTHCG2+8wWPcC+rr64Vhw4YJ69evF2644QYpuOGx7jnLly8XMjMz3d7nj8eZw1LdYDabkZ+fj5ycHOk2rVaLnJwc7Nixw4d7pi4FBQUoKSlRHOeoqChkZWVJx3nHjh2Ijo7GpEmTpG1ycnKg1Wqxa9euPt/nQFFbWwsAiI2NBQDk5+fDYrEojvXIkSMxYMAAxbEeO3as1GgTAGbMmIG6ujocPXq0D/c+MNhsNqxatQqNjY3Izs7mMe4FixYtwqxZsxTHFODnuaedPn0aqampGDx4MObPn4/CwkIA/nmcfd6hOJBVVFTAZrMpflkAkJSUhBMnTvhor9SnpKQEANweZ/G+kpISJCYmKu4PCgpCbGystA0p2e12PProo5g6darU4bukpAQGg6HN4rKux9rd70K8jxwOHz6M7OxstLS0IDw8HJ9++ikyMjJw4MABHuMetGrVKuzbtw979uxpcx8/zz0nKysLb7/9NkaMGIHi4mI8++yzuO6663DkyBG/PM4MboiuUIsWLcKRI0ewbds2X++KKo0YMQIHDhxAbW0tPvroIyxYsACbN2/29W6pSlFRER555BGsX78ewcHBvt4dVZs5c6b0/+PGjUNWVhYGDhyIDz74ACEhIT7cM/c4LNUN8fHx0Ol0bSrCS0tLkZyc7KO9Uh/xWLZ3nJOTk1FWVqa432q1oqqqir8LNxYvXowvvvgCGzduRP/+/aXbk5OTYTabUVNTo9je9Vi7+12I95GDwWDA0KFDMXHiROTm5iIzMxMvvfQSj3EPys/PR1lZGa666ioEBQUhKCgImzdvxt/+9jcEBQUhKSmJx7qXREdHY/jw4Thz5oxffqYZ3HSDwWDAxIkTkZeXJ91mt9uRl5eH7OxsH+6ZugwaNAjJycmK41xXV4ddu3ZJxzk7Oxs1NTXIz8+XttmwYQPsdjuysrL6fJ/9lSAIWLx4MT799FNs2LABgwYNUtw/ceJE6PV6xbE+efIkCgsLFcf68OHDimBy/fr1iIyMREZGRt+8kQBkt9thMpl4jHvQzTffjMOHD+PAgQPSz6RJkzB//nzp/3mse0dDQwPOnj2LlJQU//xM93iJ8hVm1apVgtFoFN5++23h2LFjwkMPPSRER0crKsKpY/X19cL+/fuF/fv3CwCEF198Udi/f79w4cIFQRAcU8Gjo6OFzz77TDh06JBw++23u50KPmHCBGHXrl3Ctm3bhGHDhnEquIuf/OQnQlRUlLBp0ybFlM6mpiZpm4cfflgYMGCAsGHDBmHv3r1Cdna2kJ2dLd0vTumcPn26cODAAWHdunVCQkICp87KPPHEE8LmzZuFgoIC4dChQ8ITTzwhaDQa4X//+58gCDzGvUk+W0oQeKx7yi9/+Uth06ZNQkFBgfDtt98KOTk5Qnx8vFBWViYIgv8dZwY3PeDvf/+7MGDAAMFgMAiTJ08Wdu7c6etdCjgbN24UALT5WbBggSAIjungTz/9tJCUlCQYjUbh5ptvFk6ePKl4jsrKSmHevHlCeHi4EBkZKSxcuFCor6/3wbvxX+6OMQDhX//6l7RNc3Oz8NOf/lSIiYkRQkNDhe9973tCcXGx4nnOnz8vzJw5UwgJCRHi4+OFX/7yl4LFYunjd+O/7rvvPmHgwIGCwWAQEhIShJtvvlkKbASBx7g3uQY3PNY9Y+7cuUJKSopgMBiEfv36CXPnzhXOnDkj3e9vx1kjCILQ8/kgIiIiIt9gzQ0RERGpCoMbIiIiUhUGN0RERKQqDG6IiIhIVRjcEBERkaowuCEiIiJVYXBDREREqsLghoiuCOnp6VixYoWvd4OI+gCDGyLqcffeey/mzJkDALjxxhvx6KOP9tlrv/3224iOjm5z+549e/DQQw/12X4Qke8E+XoHiIi8YTabYTAYuvz4hISEHtwbIvJnzNwQUa+59957sXnzZrz00kvQaDTQaDQ4f/48AODIkSOYOXMmwsPDkZSUhLvvvhsVFRXSY2+88UYsXrwYjz76KOLj4zFjxgwAwIsvvoixY8ciLCwMaWlp+OlPf4qGhgYAwKZNm7Bw4ULU1tZKr/fMM88AaDssVVhYiNtvvx3h4eGIjIzEnXfeidLSUun+Z555BuPHj8e7776L9PR0REVF4Yc//CHq6+ulbT766COMHTsWISEhiIuLQ05ODhobG3vpaBKRtxjcEFGveemll5CdnY0HH3wQxcXFKC4uRlpaGmpqanDTTTdhwoQJ2Lt3L9atW4fS0lLceeedise/8847MBgM+Pbbb/Haa68BALRaLf72t7/h6NGjeOedd7Bhwwb8+te/BgBMmTIFK1asQGRkpPR6jz32WJv9stvtuP3221FVVYXNmzdj/fr1OHfuHObOnavY7uzZs1izZg2++OILfPHFF9i8eTOef/55AEBxcTHmzZuH++67D8ePH8emTZvw/e9/H1yuj8j3OCxFRL0mKioKBoMBoaGhSE5Olm5/+eWXMWHCBDz33HPSbW+99RbS0tJw6tQpDB8+HAAwbNgw/OlPf1I8p7x+Jz09Hb///e/x8MMP45VXXoHBYEBUVBQ0Go3i9Vzl5eXh8OHDKCgoQFpaGgDg3//+N0aPHo09e/bg6quvBuAIgt5++21EREQAAO6++27k5eXhD3/4A4qLi2G1WvH9738fAwcOBACMHTu2G0eLiHoKMzdE1OcOHjyIjRs3Ijw8XPoZOXIkAEe2RDRx4sQ2j/3mm29w8803o1+/foiIiMDdd9+NyspKNDU1ef36x48fR1pamhTYAEBGRgaio6Nx/Phx6bb09HQpsAGAlJQUlJWVAQAyMzNx8803Y+zYsfjBD36A119/HdXV1d4fBCLqNQxuiKjPNTQ0YPbs2Thw4IDi5/Tp07j++uul7cLCwhSPO3/+PG677TaMGzcOH3/8MfLz87Fy5UoAjoLjnqbX6xX/1mg0sNvtAACdTof169fjq6++QkZGBv7+979jxIgRKCgo6PH9IKLOYXBDRL3KYDDAZrMpbrvqqqtw9OhRpKenY+jQoYof14BGLj8/H3a7HS+88AKuueYaDB8+HJcvX+7w9VyNGjUKRUVFKCoqkm47duwYampqkJGR4fV702g0mDp1Kp599lns378fBoMBn376qdePJ6LeweCGiHpVeno6du3ahfPnz6OiogJ2ux2LFi1CVVUV5s2bhz179uDs2bP4+uuvsXDhwnYDk6FDh8JiseDvf/87zp07h3fffVcqNJa/XkNDA/Ly8lBRUeF2uConJwdjx47F/PnzsW/fPuzevRv33HMPbrjhBkyaNMmr97Vr1y4899xz2Lt3LwoLC/HJJ5+gvLwco0aN6twBIqIex+CGiHrVY489Bp1Oh4yMDCQkJKCwsBCpqan49ttvYbPZMH36dIwdOxaPPvoooqOjodV6/lrKzMzEiy++iD/+8Y8YM2YM/vOf/yA3N1exzZQpU/Dwww9j7ty5SEhIaFOQDDgyLp999hliYmJw/fXXIycnB4MHD8bq1au9fl+RkZHYsmULbr31VgwfPhxPPfUUXnjhBcycOdP7g0NEvUIjcN4iERERqQgzN0RERKQqDG6IiIhIVRjcEBERkaowuCEiIiJVYXBDREREqsLghoiIiFSFwQ0RERGpCoMbIiIiUhUGN0RERKQqDG6IiIhIVRjcEBERkaowuCEiIiJV+f/aOYTl5arYrgAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "agent = PassiveTDAgent(policy, sequential_decision_environment, alpha=lambda n: 60./(59+n))\n",
    "graph_utility_estimates(agent, sequential_decision_environment, 500, [(2,2)])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It is also possible to plot multiple states on the same plot. As expected, the utility of the finite state $(3,2)$ stays constant and is equal to $R((3,2)) = 1$."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 43,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAjcAAAG2CAYAAACDLKdOAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/NK7nSAAAACXBIWXMAAA9hAAAPYQGoP6dpAABalElEQVR4nO3deVhU9eIG8HcGmGHfdwRxXxIRFxDN1CTJzDRbzLxulf0srYw2bXGpDKuraWl5W8xb5lJezVKzDHfFDcEEFTcQRPZlhnUGZs7vj4EjI6CAwMDx/TwPzyNnzjnzneMw553vKhMEQQARERGRRMhNXQAiIiKipsRwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREkmLScHPgwAGMGTMG3t7ekMlk+PXXX2+5/5YtW/DAAw/Azc0N9vb2CA0NxZ9//tkyhSUiIqI2waThpri4GIGBgVi1alW99j9w4AAeeOAB7Ny5EzExMRg+fDjGjBmD2NjYZi4pERERtRWy1rJwpkwmw9atWzFu3LgGHXfPPfdgwoQJmD9/fvMUjIiIiNoUc1MX4E7o9XoUFhbC2dm5zn00Gg00Go3RMXl5eXBxcYFMJmuJYhIREdEdEgQBhYWF8Pb2hlx+64anNh1u/v3vf6OoqAhPPvlknftERkZi0aJFLVgqIiIiai6pqalo167dLfdps81S69evx4wZM7Bt2zaEhYXVud/NNTcqlQp+fn5ITU2Fvb39nRabiIiIWoBarYavry8KCgrg4OBwy33bZM3Nxo0b8dxzz+GXX365ZbABAKVSCaVSWWO7vb09ww0REVEbU58uJW1unpsNGzZg+vTp2LBhA0aPHm3q4hAREVErY9Kam6KiIly6dEn8PSkpCXFxcXB2doafnx/mzZuHtLQ0/PDDDwAMTVFTp07FihUrEBISgoyMDACAlZXVbauoiIiI6O5g0pqbkydPIigoCEFBQQCAiIgIBAUFicO609PTkZKSIu7/9ddfo6KiArNmzYKXl5f488orr5ik/ERERNT6tJoOxS1FrVbDwcEBKpWKfW6IiIjaiIbcv9tcnxsiIiKiW2G4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJMWm4OXDgAMaMGQNvb2/IZDL8+uuvtz1m37596Nu3L5RKJTp37oy1a9c2ezmJiIio7TBpuCkuLkZgYCBWrVpVr/2TkpIwevRoDB8+HHFxcZgzZw6ee+45/Pnnn81cUiIiImorzE355KNGjcKoUaPqvf/q1avRoUMHLF26FADQo0cPHDp0CJ999hnCw8Obq5j1IwhAeYlpy0BERNRaWFgDMplJntqk4aahoqOjERYWZrQtPDwcc+bMqfMYjUYDjUYj/q5Wq5uncOUlwEfezXNuIiKitubt64DCxiRP3aY6FGdkZMDDw8Nom4eHB9RqNUpLS2s9JjIyEg4ODuKPr69vSxSViIiITKRN1dw0xrx58xARESH+rlarmyfgWFgbUioREREZ7osm0qbCjaenJzIzM422ZWZmwt7eHlZWVrUeo1QqoVQqm79wMpnJqt+IiIjohjbVLBUaGoqoqCijbbt370ZoaKiJSkREREStjUnDTVFREeLi4hAXFwfAMNQ7Li4OKSkpAAxNSlOmTBH3nzlzJq5cuYI333wT58+fx5dffomff/4Zr776qimKT0RERK2QScPNyZMnERQUhKCgIABAREQEgoKCMH/+fABAenq6GHQAoEOHDtixYwd2796NwMBALF26FN9++63ph4ETERFRqyETBEEwdSFaklqthoODA1QqFezt7U1dHCIiIqqHhty/21SfGyIiIqLbYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbihJlOh00NToTN1MYiI6C7HcEN3rFynx7cHryDo/d14+PND0FToEJ+mwnu/xuNcutrUxaM2qkKnR7GmwtTFIKI2iOGmjYhPU+HrA5cbXTOi1wtNUo4iTQV+OZmK7EINAOBcuhpjvjiED3ecQ6GmAhezivD8DzF4+ItD+PHoVazae6nOc+n0Av6z/zJGfrYf+y9kN0n5qO3T6QX8fCIVgz/eg4GRUbicXWT0eIaqDBuPp0BVWm6iEhJRa2du6gLQ7W06kYL3fk2AVqeHh70lxvbxqfexgiDgu0NJ+Gz3BTw7pCMiHuja6HIkZhTi+R9P4mpuCYL9nTG6txcW7zgHrU4PZxsF7vG2x8GLOUZB5Up2ca3nylKX4ZWNcYi+kgsAmLrmON4few+e7O8LSwuzRpeRml5Zua7F/k+OXcnF/G0JSMwsFLeNWLofo3t7YdmTgfj+cDKW/HEeAHA1rwRvPdi9RcpFt1au08NcLoNMJjN1UYgAMNy0aoIg4JM/E/HVvsvitst1hIXa6PQCFv6WgB+PXgUAfB51EXGpBVgwpic6udk2qCy7z2ZizsZYFGsNNUfHk/NwPDkPABDWwwNLHgtAuU6PUSsOwkwmw9RB/li2+wKu5ZfUOFdsSj5m/BCDnCKN0fb52xLgaK3AI4HeDSobNV6pVofIP84h4boaa6YNgIOVhfhYYVk53v01Htv/SceXk/oi/B7PGseXaCtgZWF2xze1Em0FPtmViLVHkgEADlYWeCrYF//ZfwUAsOOfdJxMzkOm+sZ75tTVfACGv5MKvQALM1ZEt7Sych2+PnAFq/dfxsieHlj+VJCpi0QEgM1SrZYgCHh/+1kx2PTwsgcApObVDAu1Kdfp8fKGWPx49Cqq33cOXMjGj9FXG1SWzTHX8H8/nkSxVofQji64t7MrAEAuA955qAe+mdIPrrZKeDlYYf/rw3Fk3v14bkgHAIC6rAIFJVrxXLvPZmLiN0eRU6RBd087RL02FDOHdhIfzyk0DjzUfC5lFeKRlYfwQ/RVxFzNx4FqNW7xaSqM+eIQtsVdh04vYOeZdADA8aQ8HLyYDb1ewOdRF9F74V9iTUpjJVxXYdSKg2KweWqAL/a/MQzzRvXAR48GiPtlqjVwsLLAc/d2qDxOjYuZhRi14iCGfLwX6jI2U7Wko1dyMfKzA1i2+wJKtDr8EZ8BbYXe1MUiAsCam1Zr6V8X8P3hZADAh+N6wdHaArPXxyIlrwR6vQCZDHV+W9brBby1+R/sOJMOhZkcyyYEQqcX8MrGOABoUCffjcdTMG/rGQgCMKG/Lz58tBeyCzVY8fdFPBzohSFd3Iz2d7C+8c3fzU6J7EINUvJK4GitwK74dMxaHwudXsCwbm5Y9XRf2CjN8WZ4N5y6mo/jyXl3XQdSbYUeFmYtX51/6GIOXvgpBoVlN673hcqmoN9PX8drv5yGtkIPW6U5ijQVOJmcj2V/JeLzPYY+VMH+zmLN3dbYNMx7qEejyvH76et4Y/NplJXr4e1giSWP9cZ9XW+8p54O8cP4vj54c/M/sFGa4bWR3eBoZYF1x66iSFOB0V8cEm+oRy7l4sFeNWuXqP5iU/IRn6bCpJD2kMtrf0/eXMvm5WCJwrIKFGkqcC5djUBfx5YrcBPQ64U6Xyu1Xay5aYV+PpGKlZUdcSPHB+BfA9vDz9kaAHAluwhjVh7CQ58fQrnuxrckvV5AYkYhBEHA4p3nsCU2DWZyGb6c1BcP9/bG2D4+WP2vvgCAlHrW/uw+m4m3K4PN1ND2WPJYACzM5PB2tMLHj/euEWxu1r6yzFdzS7DnfCZe2mAINuODfPDtlP6wURqytVwuQ0A7BwBAkfbuCTf7L2Sj34e7Mfd/Z1r0ebfFpWHa98dRWFaB/u2dMGu4oeYsMaMQ3xy4gpc2xEJboceI7u7YNWcI5DIgraBUDDYAxGADADlFGpSV16+je4m2Av9cK4AgCPj3n4l4aUMsysr1uK+rG/545T6jYFPF0sIMn08MQuT43nC1VcLcTI6elTWZ2go9LC0MH2PHknIbfU3udoIgYNXeS3j0yyN4b1sCos5n1brflewijF15WAw2E4P98Ner92GAvxMAQzhqS34/fR39F/+N+dviTV0UamIMN61MbEo+3t5quNm9dH9nTAz2AwAx3OSXlCPhuhrn0tXiN21BEPDG5n8QvvwApn5/At8dSgIALH0iEGE9PcRzD+zoAgBIV5XhUpbxCJSb/XOtAC9tOAW9AEwM9sXCR+5pcO1CVZl3JWRg1k+xKNcJGBPojU+fCIT5Tf0jqoLO3VJzE305F1PXGALGppOpLfa8m2OuYc6mOFToBYzt4411z4VgcCdDM+PexCws3nkOADB9sD++ntIf7Zys0d3TECTkMuCN8G7wcrCEi40Cv8wMhYuNAnqhfrWBGaoyPPz5ITyy8jAeWXlYDPD/d19HfD9tgFGt3+2M6uUFM7kMM4d2wseP9QYAHLuSd5uj6laq1Yl/T3ebsnIdXtkYh0//TBS3Hb1SMyj+fTYTY1cexsWsIrjbKfHDM8GIHB8AO0sL9PE1hJsjl2sep63QY8XfF/FLC77Pb6esXId3tp7BSxtikVesRdS52sMctV0MNy1gW1walv6VCEG49XBsdVk5Xt4Yiwq9gIcCPI1GNjlYWcDO0rgVMeG64Ybyy8lr+N+pawAg9pt4eUQXjAsyHlXlaK2AY+UNJGzZfpy5pjJ6PK9Yiw+3n8WRyzmY+WMMysr1GNrVDR+M7dWoZpO+7Q0feDv+SUdpuQ5Durhi2ZOBMKulCthWaRiNU6xp/CSAaQWl0DXRkPfG+P30dXwRdfG2/88J11V4/oeT4u8WZjWvh04vIPKPc/h3tRvOndr+j6EJSBAMzT2fPdkHlhZm6OppBwAo1xnK/UZ4NywYc4/4/zQltD38Xazx9eT+mDW8M/6OGIqjb4/AAH9ndPcyHPvol0ewKz69zufOUJXhqa+jcSXH0CH+TJoKMhmwZHwA5j3Uo9b3xK3MuK8jEhaFY+6o7gjtZAjt5zLUKLpNOC4o0eKVjbFYU/kFoKpsI5buw8jPDrS5moc7lV2owZP/icZvp6/DXC5DcAdnAIa+VdV9e/AKnvvhJAo1FRjg74TtL99rVMs2rJvh33+dzTR6H6jLyjHt++P47O8LeOfX+Nv+bbSELHUZnlgdjZ+OpYjbOK1A00rKKTZ5/yuTh5tVq1bB398flpaWCAkJwfHjx2+5//Lly9GtWzdYWVnB19cXr776KsrKylqotLeWX6zF67+cxp7zmeK22JR8vLIxDl/suSSGkbos2JaA1LxS+DhaIXJ8b6NAIZPJENjOEQDQyc0GAJCQpsKlrELM/81Qpao0N/x3Du3qhldGdKn1OczlN/7LY1NvfJALgoCXNpzCt4eS8PQ3x3BdVQZ/F2usfDqoRi1LfT3Rvx3aOVkBADq62mDlxL51jmipqrm53c2pLv/ZfxmDl+zB8r8vNOr4O7X7rKHZbenuC7iQWbNWTKcXkJpXgix1GaZ/fwKFmgqxk3i5TqjRrPPRznP4z/4rWLn3ErIKa76/b75JFGkq8NHOczh4sfb5go5eyUXEJkOwmRTih8Xjeon9DFxtleL/0xvh3TBreGejY58K9sO+N4aLtYA2SnPx/7H6qLtNJ2r/Zq4qKceUNceQnFuCdk5WGNLFFZYWciyf0AdPVdZMNkbV8HR3O0u42iohCMDlyhrJm0OuIAgoLCvHo18ewba463h/+1lU6PTILdLg6W+P4rrKcI0v3qZGU0qy1IbA+c81FRytLfDjsyFYPqEPAEMAX3MoCbvi07Hsr0R8uMNQozcltD1+em4g3O0sjc4V6OuIGZWDCKpCw/WCUjzxVbRYm6Ot0ENdZtqa2UtZhXj0yyM4k6aCs40CK57qA8Dw91PXzTivWIvXfj6Nn1tRzVNrtv9CNh754hDe2XrGpGHWpB2KN23ahIiICKxevRohISFYvnw5wsPDkZiYCHd39xr7r1+/HnPnzsWaNWswaNAgXLhwAdOmTYNMJsOyZctM8AqMTV97AnGpBfgzIQNnFoZDpxcwb8uN/hTXC0rRy8dB/L1cp4cMhhqHq7kl2BqbBrkM+HxiH6MhuVW+mBiE66pSXMgsxKubTiP+uhrztpxBWbkeQ7q4Yt6oHtiVkIFn7+1Q5zfhF4Z1wgfbzwIA8otvfFtZfzwFhy8ZVymvfLov7Czr31RwM6W5GT6b0Ac/Rl9FxANdb9nsYHsHzVIxV/MRWTliZ8upNLw2slvjClwpt0iD/x5Jxvi+7eDvanPb/S9nFyFiU5z4e3ahBt0qa0MAw4119vpT+CM+Q9zWxd0WG58fiH4f7EaFXkB+iRZeDoaAsS0uTWxaBIBr+aVGN5NPdp3H+uMp2PR8KLp52kGvFzD5u2OITSnAH/HpOPjm/UblS8ktwfM/nIRWp8eD93ji/Vpq4tZOH4AMlQb3dnGt30Wq9GiQD36oHH13PqMQmgodlOY35sTRVOgw48eTuJBZBA97JTY+PxA+jlYoLdfBWtF0Hz9d3G2RU6TBxawiXMsvxbwt/2BisB/eerA7FvyWgKhzmSgt1yG/5MZ7Pja1AAt/SzCai6nQxDfflpKuKsXT3xxDUk4xvB0s8dOMgehQ+V7v5GaDy9nFeL/yc6LKmw92w4vDOtd2OgDA2D4++OZgEk6nFiCtoBQT/hONa/mlcLNTQlVSDq1Oj4ISba2fbS3hRHIenl17AuqyCnRwtcHa6QPQzskaczbFQRCAglJtjdCWqS7Dv749hotZRTh8KQdP9vc1Sdnbiv8eScai3xOgFwzzUJWV62GlMM28ZSYNN8uWLcOMGTMwffp0AMDq1auxY8cOrFmzBnPnzq2x/5EjRzB48GA8/fTTAAB/f39MnDgRx44da9Fy1+bolVzEpRYAuPEBuelEKs5n3GjHz6o2zPmPM+mYtd7Qp6W6qYP80a+9c63P4WSjgJONAorKb80xlfN8WCvMsOSx3vBxtEJPb/tblvPZezsgp0iDr/ZdFueZSc0rwYfbDd/M+rd3wrl0Nd59uKdREGusAf7OGOBf++upzkbRuHBToq3Aaz/Hib9XhaTG0usFDPv3PhSWVSCtoAxLnwy85f6aCh1m/XQKhdXKnVdt6DsArDmcbBRsrBVm+M/kfnCwsoCTjQLZhRrkFhnCTWJGYY0OxtfyS9HXz9DEty0uDV9WTg+wKz4D3Tzt8O2hK4hNKQAApOaVolSrEz9Qysp1mLkuBuqyCvTxdcTyp/rUGnw7u9uhs7tdje23E+TnhLPvh6PXgj+RripDt3d34ftpAzC8u+HLycLfEnA8KQ92SnOsnR6Mdk7WldegaT96OrvbIvpKLn6NTcORyznQC8B/DlxBbGqBUROLTeV1Kdbq8PwPJ5FfUg4XGwW6e9nh8KVcqO+C5omswjI89fVRXK2sSdswYyB8K/vHAcAnjwdi4jdHxZoMmQx4f2wvTB7Y/pbn7eZpB4W5HOqyCoz/8jAy1Rr4u1hj3XMheHJ1NK6rypBfUo72Ls368moVczUf09YcR7FWh75+jvh26gA42ygAGJr8C0rKUVBSbhRuUnJLMOm7o0jNKwUAZBdpoNMLDW5ClYIiTQXkMiC3SAsXW0WNv1+93jB1SVVH88f7tcNHjwZAYW66xiGThRutVouYmBjMmzdP3CaXyxEWFobo6Ohajxk0aBDWrVuH48ePIzg4GFeuXMHOnTsxefLkOp9Ho9FAo7kRKtTq5lnryMHKAp3dbcWOuhmqMiz9y7i/RFW4KSvX4dWf42oEGydrC7xajxmEO7vbIsjPUbyhRTzQFT6OVvUuq6e94Q+4KtxE/nEOpeU6BPs7Y+PzA00yLLKxzVKf7EpEcu6N0V/Vm3AEQcCHO85BLwiY/3DPevUbWnfsqhhOz6QV1LnfmWsqvP7LaWQVGj6wnW0U6ORmgxPJ+Ubz+lzMLMTHu27MA2NpIceKp4LQsbI5x9naEG7yS7TQVOjw8oZYlJbrcG9nV7jYKrAt7jrS8ktxLl0Nc7kM7269Marjal4x4lIL8Mku4/fZxaxC9K5swlywLQFn09VwsVHgq3/1bZaZhq0V5rBRmIsBb/b6U9j7xjDsPZ+FDcdTIZMBqyb1FZvhmkNnd8P1PHQpx2h79WCjNJdj9eR+OHAhG98cTEJ+STmsLMzw32eCsfNMOg5fypV034tvDlzB3sQsJGYUIrdYC19nK2x8PrTGZ0e/9k7445UhKNZU4Ox1NXydrTG48+1r9CzM5LjH2x6xKQXIVGvg42iFn2YYauocrRWV4UZ72/M0tdOpBWKwGdzZBd9NHWD0d+BYLdxUuV5Qiqe+NgQyP2drXMsvgU4vILdYU6N2R+piU/Ix7fsT4t+Gj6MVfng2WGyS1ukFvPW/f7A5xtDv860Hu2Pm0I4mn63aZLEqJycHOp0OHh4eRts9PDyQkZFR6zFPP/003n//fdx7772wsLBAp06dMGzYMLz99tt1Pk9kZCQcHBzEH1/f5qlW7OFlj7/m3Ccm1Xd/jUdusRYd3Wzw0v2GqtwsteHG+2P0VZSV12zfXTS2F+zr0Qwkk8mwZHxv2CnN0a+9E6YN8m9QWV1tlQAM4ebI5RzsPJMBuQxYNPYek833cKNZqv4dimNT8sVvClVt5/kl5eL6W7/EXMN3h5Lw/eFkpBWU1jh+5Z6LGLXiIHIrQ15Kbgk+qhwtBAAe9rV/iJWV6zBr/SkkZhaKzRwfPRog1nzkFRs+wMt1enG+mGHd3JAU+RBOvBOGB6qNYHOysRCP+TzqIhIzC+Fqa+gLUDWUft3Rqxi14iAe+OyAUQ1RQpoaL28wdEAf3dsLgyo71p5PL0SxpgK7z2Zi00lDuPh8YpDY7NUcZg67MRFjsVaHr/ZdxnvbEgAAr4/sVusQ76ZUFW4AQxNV/KJwPN6vHQDDqMMLH47CsbdHYEgXN6MayWVPBqKXj4PYVNLYiQBzizRNtn5bY+n1Apb9lYj/7L9c47F1R69i8c5zOHI5F7nFWrjYKLDu2ZA6vxR1crNF73aOeCrYr17BpkpVDaOHvRIbKoMNcON9XtCM4UYQBJRqjT8/LmQWYsqa4yjUVCC4gzO+nTKgRsB3tDbU4FQFr4ISLaauOY7rqjJ0crPB5pmhcKn8zMxSS2+S0QuZhRj26V68/svpGo/Fp6kw5bvjRqE/raAUi343NFlW6PSI+DkOm2OuwUwuw/IJffDCsE4mDzZAK+hQ3BD79u3DRx99hC+//BKnTp3Cli1bsGPHDnzwwQd1HjNv3jyoVCrxJzW1+TqFyeUyMc3+fc7QqXjug93FP/CsQg1UpeXiENgFY3riswmBOPluGHa8fG+Dlh3o5mmH6LdHYMOMgQ3u8OtqqxDL837lm3RSSPtm/WZ9OzbiaKn61dzo9QIWVpb9sb7t8Eigtxgss9SG61x95tyUXOO5fWJT8vHvvy7gXLpaHAb6/vazRqGzrrJ8e/CK0VxBj/drhwd7ecJZ/AA3fBCsOZSEf66p4GBlgY8fM3QQv7kPU1XV+P7EbHE26g/HBcDFVik24VQPZnIZ8O2U/gCAxMxCpOSVwNvBEpHjA8T/vzf/9w/uWfAnZlSOyJoxpGODblCNMWt4ZyQsCsecMENH9u8PJ4uh7oVqM1A3lx5e9rC0kMNOaY7/TO4HW6U5Pn28N46/PQKvjewGhblcvImN7OmJh3t7Ycn4AIwK8AIA2FeFm9KG97nZHHMNAxb/jY//NJ6pOepcJrbFpd3hK6u/FVEX8fmeS4j847zRsicxV/Ox6PcE8Xd7S3OsmTYA7V1u35+sof7vvo6YPbwzfv6/UPi53GjqEgNEcfPUjGkr9Jiy5jj6vP+X+LeeW6TBM2sNNQ59/RyxZtqAWvt/OFnfCF6lWh2eWXsCF7OK4OVgiR+eDYG7vSXc7QzhJltiM6in5pXgsa+OIDm3BJtjriG/+Eb4vJR1Ixj2bueAqaHtMTHYUDkQezUfOr2A1385jW1xhpF2X0wMqjFC15RM1izl6uoKMzMzZGZmGm3PzMyEp2fts4y+9957mDx5Mp577jkAQEBAAIqLi/H888/jnXfegVxe8yavVCqhVCqb/gXUoZ2TlTjnR3dPO4T18MC+C4abZ1ZhGX46dhWq0nJ0drfF5IHtxWBSVZvSEI3tX+Ja+Yd6tfJDwM7S/I4W1GwKYs2NtgKCINw2+W+NTcPp1ALYKMzw1oPdIJPJ4GGvRGpeKbIKy7Du6FWxBgUwdG4bVPlvQRDEbx6AITzsS8zC3+cyDU0/o3tg4e9nUaKtWYt0vaAUq/YaQsiKp/qgi7sduld2Hnaq/ADPK9YiU12Gz6MuAgDeGd2jzlqgqnCzJdZwE3wk0FucZdfH6ca3aqW5HEO6uGHSQD8M6uQCM7lMHBG0eHwA7C0tap0ZtqObTYv939oozXFvZ1cs/9vwuh2tLfDJY71bpDbQ2UaB7S/dC2uFObwrv0zIZDK413LdrRRmWPl0X6NtVTWmDe1zczm7SPzG+82BK5g3yjBT8/GkPDxXGS5DO7k0e1PG4Us5+HzPRfH3IZ/sxedPBWFgRxe8+FMMynWG6SU+fyoImgq92Azc1NztLfF6eM0O/dUDRHNY+HsCDl40NEkeupSDxx3a4YV1p3AtvxTtXazx3dQBdX5e3vi7LUfEz3E4lVIABysL/PeZYPGLqbudEgkwdDAGDP/vf5/NxNRB/m12oV9VSTmmrz1h1In+4KUcPBLojdS8Ekz69hjyirXo3c4BPz0XAjtLC5Tr9NhyKg2Fmgq8vCEWO86kw7xystiRtaw9Z0omCzcKhQL9+vVDVFQUxo0bBwDQ6/WIiorC7Nmzaz2mpKSkRoAxMzO8sVrD/AkAjKp5XxjWCXK5TPxgu5ZfirWVSyrMHNqp0UOs79TNQeqZwR3gVHmTNZWqD1u9gNuOpCkr1+GTym/JL43oIt7A3O0skZpXise+utFny9fZCql5pWKQAwwdcas6fwPAlZxi/P7PdQDAtEH+6F0ZEmrr/xP5x3mUluswwN8JjwR6G4Uwp2rV20v+OI9irQ5Bfo54vG+7Ol+Ls/WN626nNMd7D/cUf68aqSWXAZtnDhJncQYMEyQm5RTjkUBvDO9m6Lw7qpcnHujpgd1nDV8Ygjs4Y+GYe1r0wzfQ1xEOVhZQlZbjw3G9ag0XzaUxHaKr2FsZ3m8NaZaq+uZaxcJMDr1eQLG2AhE/G0bgAEB6QVmzhpvcIo044qeKIAAvbYjFfV3dkKnWoLO7LT553DB5pik+d5zFv42mr7lZfywF66vNWXMuXY352+JxPNnQkf27qf1v+flWVav0Q3Qy0lVlsDCT4dup/dHV48b7qer/L6tQUzmE/iiyCzXwsLdsVbUV9aWp0OH/1p3EpawieNpbIriDM347fR37E7MxvJsbpq89gUy1Bl3cbfHf6cFijbOFmRw9K/tV7ahcb+6Tx3u3umADmHi0VEREBKZOnYr+/fsjODgYy5cvR3FxsTh6asqUKfDx8UFkZCQAYMyYMVi2bBmCgoIQEhKCS5cu4b333sOYMWPEkGNqVaMO/JytMbqyyruqSrOqucLdTmnSla/tLc2hMJNDqzOsHfTM4A4mK0sVa4UZZDLDh3KRpuKW4Wbj8RSxw+L0wf7i9qpp+KsM7uyC+7t74IPtZ7F6/2XkFWuw+NEAcSbWqg7gf5xJR4VegIuNAi+HdUFG5ZwnN9fcnE4twO+nr0MmAxaMqTljc1W/gtOpBVCXVRhGmTzS65Y1F9U/dF8e0QVudjeCp4+jFZY9GQgHKwujYAMAc8K6YPfZTCx85B5xm4WZHF9N6ovY1AL08XU0ySrZFmZyrJ0+AFmFmlpXEW+txD43Dai5+fagYZSalYUZSst10FTokVZQipV7LuFa/o2mxKqO+81BEAydObMLDTeiD8f1woSvj4qPH7iQDaW5HF9O6nvHIwnvxM39WprKuXQ1FlY2uVUNsvg11lCzIJcBnz8ddNvQW1WrlF75dz//4Z41Rni62xv+LpftvoBlu2/MpVV1TFsiCALe3hKPo1fyYKs0x/fTByC/RIvfTl/HnvOZKCjR4lKWYeqGH58NqREMe/s4iINZ3nywG8bf4subKZk03EyYMAHZ2dmYP38+MjIy0KdPH+zatUvsZJySkmJUU/Puu+9CJpPh3XffRVpaGtzc3DBmzBgsXrzYVC+hhsf6+uDsdTWeDvETvyG52CphrTATb5bTBvubdIicTCaDm50SaQWlmDqofYOmvW/OMtkoDIs0Ltl5HkufDKy1aaqsXIevKjtMvjCsk9GcKtUDUU8veyx6pBeSc27MYfLzyWsIaOeIKznFcLFR4MNxvfDU10dRUdm8M3NoJ9hbWog3uJv73HxWOUHgo0E+tQ6Tr6q5qZqo7NEgnxqh5Ga+lf1qOrraYGotHcPr+uAY28cHY/vU/MZobiav19D75hRU2am0LalqlqrvaKmrucVYWnmTWzT2Hnxz4AouZhVhw/EUcTkNH0crpBWUIreo+TrR/nb6Ov4+lwULMxm+eDoI3T3tsfjRXvhs9wXkVD7v3FHdjWohTKEq+DdluCnRVmD2+lPQVugxvJsbXg/vhtGfHxI73b8a1lWs1bwVx2o370eDfPCvWoa819VtoDk7SDeXTSdS8b9Thg7AX/3LMIqxQqeHi40CucVaRJ3PgsJcjv9M7g9Ph5o1jqMCvLDhRCqmhrZvkf50jWXyVcFnz55dZzPUvn37jH43NzfHggULsGDBghYoWeM4WitqzI1iJpdhwZiemLvlDGwV5pgUfOv5IlrCjCEdcPBiDp4f0nrenKWVs/RuiU3DM/d2qDVA/HwyFZlqDbwcLPFEf+Mbf8QDXVGq1eG1kV2r3WCNmys/qexk/MKwTkZzArnaKsUPtao5dzQVelTo9DA3k+NUSj72JWbDTC7Dy/fXPvuzU7UmJjO5DHNG3L6vy/3d3fHvJwIxqJOLSQPv3a6qQ3GxVif+n9/K+7+fhbbCMHnmE/3aYe/5LFzMKhLnIJoY7IdynR6bY64hu4lqbn6NTYODlQWGd3fH2etqRPwcJ86j9dL9XcQ1wCaFtEcXdztM+Doaw7q6YWqof5M8/51ojg7FS/44j8vZxfCwV+LfTwTCztIC5nIZKvQCBnZ0xos3zbRdl6oZ37t72uGjRwNq/VJVfSburh628HKwwv4L2SYZ2n4nzl5XY/5vN0YxVi1+bG4mx4O9PMXZpZeMD0CfOlZ3H9jRBWcXhZusW0V9mTzc3C0mDPBDTy8HWCnkraKmZNrgDpjWCpqjqqs+ZX5tHxo6vYBvDl4BULPWBjCMmFn3XIjRtk5utpjQ31f8Nl2oqYCjtQWeDvGDtcIczjYK5BVr8cKwTuJICmvljfMWa3VwsJJjRWUn2UeDfOqctbh69e0T/doZjRapi1wuE4csk+nYV1u37eClHDhbK2rtoA0Ae85nIup8FszlMrF58h5ve3GiRhcbBd56sBtW7ze8V5uiWWr32UzMqZwF+8zCkXh1UxwSKxf67O5ph5k3fYMO7uCMI3Pvh5ut0mTTO1TnXK2zfVM4eiVXnBl76RN9xKHaTw7wxamr+Vg+Iajek+2FdnTB5pmh6OFlX+dsuoM7u2DpE4Ho7++E9i42+OnYVey/kI28JgxrVf1Gm2IY9bK/EnEuoxAzhnQU1wsrLCvHrGo1Xf93X0ejY6YO8see81l4aoDfbZuaWnuwARhuWtTtmijudkO7umF/5cKfBbV0PNxzPgupeaVwsLLAE/3qN1+RTCbDx4/3hpXCTJwTZ0qov9iE9e7oHjidWoBJITfWOFKam8HCTIZynYASbQXSVaXYfyEbchnEOYtqY29pDm8HSxSUlmP2Lfaj1sfcTA4bhRmKtTpM//4EFOZynFk4skaALtfp8UHlbN7P3ttBnF/nmXs74FxGIQ5cyMbiRwPgaK0Qp1zIuUWz1E/HriItvxSvjexW42ZcqtXhUlYRunnaYfGOG6P73v01Xgw2Q7q4YsGYe2qt9WvOeY0aqmrkX2ZhWY0lOhqqVKvDW//7BwAwMdjXaMmQjx4NaPD5ZDIZ+t+mKVcmk+Gxal9Cqmppm6pZSqcX8Nx/TyA5twS/zR4MO0sL5Bdr8eW+Sxjbp/Zm8Lpsi0vD53sM043sT8zG/jeHwcvBCh9sPysut7HsyT41Qm9XDztEzxvRJK+nNWC4oVbj08d748EVB5FXrEVBLX0ffohOBgA8NcC3weuV9KycA8bSQm406eH4vu1q/ZZirTCHqrQcxZoKcYRb+D2et5wbRCaTYcuLg1Gu04tz1FDbYW9lgeLKfnHaCj1UpeVwtzN+n/1y8hqSKvtsvVRtcVprhTlW3TS8XJwss5a5UfKLtdhwIkWcXbpfeyeM6OGBY1dy0dndFi62SrzwUwz2JWZjaFc3o1m4t8UZRvYtfrQXJoWYvom7PlxsFGK/w7T8UnGG7up0egFy2e1rLr7cdwlXc0vg5WCJeQ/1aK4i35Kjdc0+RPnFWlgrzRoV3L4/nIS9iYYvdieS85Cl1mBu5bqEp1IK8L8XBuH7w0nYFZ+Br/7VT5xC4ma5RRos+O3GnEZanR7rjl5FSAcX/HzyGmQyYMXEIJOPjm0Jrb9uie4a7vaWeKCHoTO5qkQLQRCwNfYaLmYW4lJWEQ5ezIFMhlo7/N1O+D2euLezK957uGedHwzVVa1BlJpfiq2Vc9BMr0cznqeDpdE6PdR23Dy66+ZFNMvKdeLcRbOGd77t6KPqM4FXJwgCnvvhpNGyGRuOp2Jr7DVM+Poo3tz8Dw5cyMa+yptdVW1m9ZF0XdwNza1thUwmEzvPV58As4q6rBwjP9uP8V8dueW0Hsk5xfhPZXPfgjE96zWje3Oo+gypqmE+n6HGkE/2YvJ3x432W/pXIgZFRtU6Q3qVtIJSLP3rxgisJX+cF4MNYJiE8Z9rBVj0+1kcS8rDL5VN7DlFGkz7/jh+PHpV3HfxjnMoKClHDy97rHw6CIBhqHzVAs5TQ/1NPuCgpTDcUKviaH1jlt/1x1Pw6qbTmPzdcfx0zPAHPKK7R6PCg4O1BdY9F1Lvb7pV8+6sOZQETYUe93jbY4B/2xsFRPW38JF7EPXaUPH3m4eFrzt6FRnqMng7WGLSQL+bD6/B1a6qWco43Px9Lktc9LbK3sQsfFoZdo5eycW/b1qXrrO7LT4Ye2PY/9sP9WgT/R6q8622nMjJ5DyjOYVW77uMy9nF4rpUdflg+1lodYaO3KacakBslioth14vYMYPJ1GkqcDxpDxxGY5TKfn4Ys8lXFeV4a+E2pcUAoD3f08QB1MAwIXMohr7VJ9PqWr9tOd/OIl9idl471fDenOHL+VgS2waZDIgcnwARvXygo+jFfJLypFWUIp2TlZ4o5YJFqWqbf11kORVdbZWlZbju0NJAIAMdRl+q6yKfzqkZb6tWleGm6pZT6cN8m8V66VQ8+rkZisuY6GuVnNTVq4TOwi/EtalXk0PVRO/5ZeUQ11Wjv0XspFbpBFrf14Y1gnJS0YjsJ0DdHoB1yvnTCnW6vDPNRWsLMzQsXIkz9sPdce9XdzQy8ceT/Rrh2HdmnetrubgVxlu/j6XhcdXR6Pv+7ux53wmrheUin/rgGH239ocuZwjduRe+EjNeaZaUtWXMJ1ewM8nU8WVwwEgr0QLvV7AomrNQxnq2ufD2Xs+C38mZMJMLjPqL9TNww4XF48SJ4WtHniOXcnDnvOZOFU51wxgaBJ7Z6uhdmbKwPbo4+sIM7kMUwfd+DIXOT6g2Wambo3unldKbYKjleEbUWJmIZKqzVFTtdhf1dDF5mZTrU+PrdIcD/c23aSL1LKqRk4VVqtZ2HIqDTlFGng7WNZ70jJnGwU6utngSnYxZv10Cgcv5ojLZlhZmGHGEMNolTGB3jh9TQUARstqTAltjxeGdcL1gjJx2oLtLw1pstfZ0qomwgMMf1NFmgr8lZCJnWcyoKm4sabbleyiGmuhCYKAjytrtiaF+BkNzTYFpbmZ2IeoehMSAGSoynD4Uo74fwoAV3NqNsVV6PT4oLKj+DOD/fFokA/e356AsnI9Pny0FyzM5OjqYSs2ab07ugd+PHoVV3NL8NL6WKNzzd3yD5JzS+BhrzRa/mJisB+OXclDH1/HFvvsbC1Yc0OtStU3on+uqXBz0/uYQO8Wm3W3+jech3t7NbgDM7VdNy+iWX0Kgmfu7dCg92BYZR+yqhrAquAyMdhP7LfxSKA37JTm8HO2xtPBhuYuKwszzLivIxytFUbzMbVlVSuGW5jJ8NF4Qy3F/gvZ2HLqGgAgpHLI8nvbErD87wtGx+6Kz8Dp1AJYK8wwu455plpa9Xmt3OyU6Fg5RURKXonYn6qvnyMAw9p2Weoyo4U3N55IxZXsYjhXdk63Upjh+2nB+H7aALFfTPfKWsQu7raYOshfnNm+WKuDnaU5OlQ+558JhiVX3nu4p9HivHaWFvhu2gCjzu93C4YbalUcreruIPioidZweYzz0NxV7CyN15n6KyEDSTnFcLCywMTg2/e1qa4q3Nxsxn03Oqe721si6rWh+H32vXiifzvYKs3x2siujVpMtzUL7uCMNdP64/Bb9yOgcmhzuqoMegEY0d3d6O+7avFVANDrBXE26OeGdDTqWG1K1cvx2gNdxSbEz3ZfQFpBKTztLfH+2F4ADMtEPPDZAYz+/CA0FToUaSrEAPfy/Z3FjtGhnVwwvPuNWZWnhvpjYrAfvpzUFxZmcqN1rF4Z0QX92t/oB9jXz1Fc8ofYLEWtjP1N4eaFYZ3w1b7L6Ohmg94tOE/QmWpVyv3bsyPx3aTqRlPVLFU1P9K/Bvo1uM/CAH8nvPlgNyTnFKNCJ2BLbBqmhravMQdN1QKjva0dcWbhSMn277q/uyHs6fWC0ZI0L4/ogrJy47XcBEGATCbDnwkZuJRVBHtLc8wY0nomHn3v4R74+cQ1tHOywhP9fXEmzfCZcTHL0D8m4oGu6OJhK66ZV7W0x8XMIuw5n4WcIi38Xazx9C0GOXg6WCJy/I2+OJ3cbDFzaCdkqcswJdQf3x66Ij72zuiekn3fNAbDDbUqjtVmb+7f3gmzhndGfrEW4/u2a9E/3JdGdMY7W+PxRng3fmDcZar63KhLK3AxsxDHkvJgJpc1agoCmUyGF4cZJnQUBAH/N7STOPHfrY6ROrlchm6edohNKcCwbm4I9HWEtkKP0I4uiL6SC8AwYtLR2gIr9xompJs2yN+oycXU+rV3Rr/2N4ZVe9rfWIepvYs1xvf1gbmZHO2crIw6HB9LyhM7UL/6QNcGL7syd1R38d/3dnbFp7JEPN63nVEtDjHcUCvjWK0de3RvL9gqzbHksd4tXo6JA/wwtKsbJ+O7C1XVHhaWlYtr7Yzo7n7HM/7KZIYbOhlMG+QPbcUVvF05EZ/CXI4Nzw9E0Pt/Ib+kHBnqMnx76AoSrqthrTCr1zxTpuRRbZHJ2cM7i0P1PxjbC7viM7Djn3QUairwwXZDJ+JObjZ3PFChdztHxL03UmxKpRt4RahVsVGYwdPeEgWlWozqZbr2Y7lcxmBzl6pqlkq4rsbVygnnGlNrQ7dW18r2HvaWyC8pxztbz4jDnSeF+LX6WXW7Va683tHVxqj/0LBu7hjWzR0hHZ3x6qYb89W8PKJLvde/upXWsFZha8RwQ62KTCbDpv8bCG2FHp7VvgkRtZSqb8FVfSfau1jj3puGJlPzcbe3xPmMQjHYPNzbC6+NbP2TzwX6OmLdsyHo4mFb6wSLAT6O4r+7e9pxeolmxnBDrc6t1m8iam7VO7XbW5rji4lBrWJl7buFR7VRSO1drPH5U23n+ldfxPNmnd1tsezJQOSXlGN8kE+T1NpQ3RhuiIiqqb5mVOT43ujdztF0hbkLeVTrmDt5YPs2E2zqo74TQNKd4zw3RETVeDve6Dg8oof7Lfak5uBROZOxtcIMT7ShxUGpdWHNDRFRNW52Smx9cRAcrCxgacGZqVvasG7u8Ha4jOmDO8DhFpN6Et2KTLjV+vISpFar4eDgAJVKBXt7aUxrTkREJHUNuX+zWYqIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJIXhhoiIiCSF4YaIiIgkheGGiIiIJMXk4WbVqlXw9/eHpaUlQkJCcPz48VvuX1BQgFmzZsHLywtKpRJdu3bFzp07W6i0RERE1NqZm/LJN23ahIiICKxevRohISFYvnw5wsPDkZiYCHd39xr7a7VaPPDAA3B3d8fmzZvh4+ODq1evwtHRseULT0RERK2STBAEob47Ozk5QSaT1dju4OCArl274vXXX8cDDzxQ7ycPCQnBgAEDsHLlSgCAXq+Hr68vXnrpJcydO7fG/qtXr8ann36K8+fPw8LCot7PU51arYaDgwNUKhXs7e0bdQ4iIiJqWQ25fzeo5mb58uW1bi8oKEBMTAwefvhhbN68GWPGjLntubRaLWJiYjBv3jxxm1wuR1hYGKKjo2s95rfffkNoaChmzZqFbdu2wc3NDU8//TTeeustmJmZ1XqMRqOBRqMRf1er1bctGxEREbVdDQo3U6dOveXjffr0QWRkZL3CTU5ODnQ6HTw8PIy2e3h44Pz587Uec+XKFezZsweTJk3Czp07cenSJbz44osoLy/HggULaj0mMjISixYtum15iIiISBqatEPxww8/XGcwaQp6vR7u7u74+uuv0a9fP0yYMAHvvPMOVq9eXecx8+bNg0qlEn9SU1ObrXxERERkek3aoVij0UChUNRrX1dXV5iZmSEzM9Noe2ZmJjw9PWs9xsvLCxYWFkZNUD169EBGRga0Wm2tz61UKqFUKhvwKoiIiKgta9Kam++++w59+vSp174KhQL9+vVDVFSUuE2v1yMqKgqhoaG1HjN48GBcunQJer1e3HbhwgV4eXnVO1QRERGRtDWo5iYiIqLW7SqVCqdOncKFCxdw4MCBBp1v6tSp6N+/P4KDg7F8+XIUFxdj+vTpAIApU6bAx8cHkZGRAIAXXngBK1euxCuvvIKXXnoJFy9exEcffYSXX365IS+DiIiIJKxB4SY2NrbW7fb29njggQewZcsWdOjQod7nmzBhArKzszF//nxkZGSgT58+2LVrl9jJOCUlBXL5jcolX19f/Pnnn3j11VfRu3dv+Pj44JVXXsFbb73VkJdBREREEtageW6kgPPcEBERtT0NuX+bfPkFIiIioqbEcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESSwnBDREREksJwQ0RERJLCcENERESS0irCzapVq+Dv7w9LS0uEhITg+PHj9Tpu48aNkMlkGDduXPMWkIiIiNoMk4ebTZs2ISIiAgsWLMCpU6cQGBiI8PBwZGVl3fK45ORkvP766xgyZEgLlZSIiIjaApOHm2XLlmHGjBmYPn06evbsidWrV8Pa2hpr1qyp8xidTodJkyZh0aJF6NixYwuWloiIiFo7k4YbrVaLmJgYhIWFidvkcjnCwsIQHR1d53Hvv/8+3N3d8eyzz7ZEMYmIiKgNMTflk+fk5ECn08HDw8Nou4eHB86fP1/rMYcOHcJ3332HuLi4ej2HRqOBRqMRf1er1Y0uLxEREbV+Jm+WaojCwkJMnjwZ33zzDVxdXet1TGRkJBwcHMQfX1/fZi4lERERmZJJa25cXV1hZmaGzMxMo+2ZmZnw9PSssf/ly5eRnJyMMWPGiNv0ej0AwNzcHImJiejUqZPRMfPmzUNERIT4u1qtZsAhIiKSMJOGG4VCgX79+iEqKkoczq3X6xEVFYXZs2fX2L979+44c+aM0bZ3330XhYWFWLFiRa2hRalUQqlUNkv5iYiIqPUxabgBgIiICEydOhX9+/dHcHAwli9fjuLiYkyfPh0AMGXKFPj4+CAyMhKWlpbo1auX0fGOjo4AUGM7ERER3Z1MHm4mTJiA7OxszJ8/HxkZGejTpw927doldjJOSUmBXN6mugYRERGRCckEQRBMXYiWpFar4eDgAJVKBXt7e1MXh4iIiOqhIfdvVokQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGktIpws2rVKvj7+8PS0hIhISE4fvx4nft+8803GDJkCJycnODk5ISwsLBb7k9ERER3F5OHm02bNiEiIgILFizAqVOnEBgYiPDwcGRlZdW6/759+zBx4kTs3bsX0dHR8PX1xciRI5GWltbCJSciIqLWSCYIgmDKAoSEhGDAgAFYuXIlAECv18PX1xcvvfQS5s6de9vjdTodnJycsHLlSkyZMuW2+6vVajg4OEClUsHe3v6Oy09ERETNryH3b5PW3Gi1WsTExCAsLEzcJpfLERYWhujo6Hqdo6SkBOXl5XB2dq71cY1GA7VabfRDRERE0mXScJOTkwOdTgcPDw+j7R4eHsjIyKjXOd566y14e3sbBaTqIiMj4eDgIP74+vrecbmJiIio9TJ5n5s7sWTJEmzcuBFbt26FpaVlrfvMmzcPKpVK/ElNTW3hUhIREVFLMjflk7u6usLMzAyZmZlG2zMzM+Hp6XnLY//9739jyZIl+Pvvv9G7d+8691MqlVAqlU1SXiIiImr9TFpzo1Ao0K9fP0RFRYnb9Ho9oqKiEBoaWudxn3zyCT744APs2rUL/fv3b4miEhERURth0pobAIiIiMDUqVPRv39/BAcHY/ny5SguLsb06dMBAFOmTIGPjw8iIyMBAB9//DHmz5+P9evXw9/fX+ybY2trC1tbW5O9DiIiImodTB5uJkyYgOzsbMyfPx8ZGRno06cPdu3aJXYyTklJgVx+o4Lpq6++glarxeOPP250ngULFmDhwoUtWXQiIiJqhUw+z01L4zw3REREbU+bmeeGiIiIqKmZvFmKiIiordLpdCgvLzd1MSRDoVAYdUVpLIYbIiKiBhIEARkZGSgoKDB1USRFLpejQ4cOUCgUd3QehhsiIqIGqgo27u7usLa2hkwmM3WR2jy9Xo/r168jPT0dfn5+d3RNGW6IiIgaQKfTicHGxcXF1MWRFDc3N1y/fh0VFRWwsLBo9HnYoZiIiKgBqvrYWFtbm7gk0lPVHKXT6e7oPAw3REREjcCmqKbXVNeU4YaIiIgkheGGiIjoLpKbmwt3d3ckJye36PNqtVr4+/vj5MmTzf5cDDdERER3kcWLF2Ps2LHw9/cHAJw+fRoTJ06Er68vrKys0KNHD6xYsaLB542MjMSAAQNgZ2cHd3d3jBs3DomJieLjCoUCr7/+Ot56662meil1YrghIiK6S5SUlOC7777Ds88+K26LiYmBu7s71q1bh4SEBLzzzjuYN28eVq5c2aBz79+/H7NmzcLRo0exe/dulJeXY+TIkSguLhb3mTRpEg4dOoSEhIQme0214VBwIiKiOyQIAkrL72yET2NZWZjVuyPuzp07oVQqMXDgQHHbM888Y7RPx44dER0djS1btmD27Nn1LseuXbuMfl+7di3c3d0RExOD++67DwDg5OSEwYMHY+PGjfjggw/qfe6GYrghIiK6Q6XlOvSc/6dJnvvs++GwVtTvdn7w4EH069fvtvupVCo4OzvfUblUKhUA1DhPcHAwDh48eEfnvh2GGyIiorvE1atX4e3tfct9jhw5gk2bNmHHjh2Nfh69Xo85c+Zg8ODB6NWrl9Fj3t7euHr1aqPPXR8MN0RERHfIysIMZ98PN9lz11dpaSksLS3rfDw+Ph5jx47FggULMHLkyEaXadasWYiPj8ehQ4dqPGZlZYWSkpJGn7s+GG6IiIjukEwmq3fTkCm5uroiPz+/1sfOnj2LESNG4Pnnn8e7777b6OeYPXs2tm/fjgMHDqBdu3Y1Hs/Ly4Obm1ujz18fHC1FRER0lwgKCsLZs2drbE9ISMDw4cMxdepULF68uFHnFgQBs2fPxtatW7Fnzx506NCh1v3i4+MRFBTUqOeoL4YbIiKiu0R4eDgSEhKMam/i4+MxfPhwjBw5EhEREcjIyEBGRgays7MbdO5Zs2Zh3bp1WL9+Pezs7MTzlJaWGu138ODBO2ryqg+GGyIiortEQEAA+vbti59//lnctnnzZmRnZ2PdunXw8vISfwYMGCDuk5ycDJlMhn379tV57q+++goqlQrDhg0zOs+mTZvEfaKjo6FSqfD44483y+urwnBDRER0F5k/fz5WrFgBvV4PAFi4cCEEQajxU315hqSkJDg6OiIwMLDO89Z2DkEQMG3aNHGf5cuX44033oCVlVVzvTwA7FBMRER0Vxk9ejQuXryItLQ0+Pr61uuYnTt34u2334aTk1Ojn1er1SIgIACvvvpqo89RXzJBEIRmf5ZWRK1Ww8HBASqVCvb29qYuDhERtTFlZWVISkpChw4dbjmsmhruVte2IfdvNksRERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBERkaQw3BAREZGkMNwQERGRpDDcEBER3UVyc3Ph7u5uNANxS9BqtfD398fJkyeb/bkYboiIiO4iixcvxtixY+Hv7w/AEHYefPBBeHt7Q6lUwtfXF7Nnz4ZarW7QeSMjIzFgwADY2dnB3d0d48aNQ2Jiovi4QqHA66+/jrfeeqspX06tGG6IiIjuEiUlJfjuu+/w7LPPitvkcjnGjh2L3377DRcuXMDatWvx999/Y+bMmQ069/79+zFr1iwcPXoUu3fvRnl5OUaOHIni4mJxn0mTJuHQoUNISEhostdUG64tRUREdKcEASgvMc1zW1gDMlm9dt25cyeUSiUGDhwobnNycsILL7wg/t6+fXu8+OKL+PTTTxtUjF27dhn9vnbtWri7uyMmJgb33Xef+FyDBw/Gxo0b8cEHHzTo/A3BcENERHSnykuAj7xN89xvXwcUNvXa9eDBg+jXr98t97l+/Tq2bNmCoUOH3lGxVCoVAMDZ2dloe3BwMA4ePHhH574dNksRERHdJa5evQpv79pD2MSJE2FtbQ0fHx/Y29vj22+/bfTz6PV6zJkzB4MHD0avXr2MHvP29sbVq1cbfe76YM0NERHRnbKwNtSgmOq566m0tLTOlcw/++wzLFiwABcuXMC8efMQERGBL7/8slFFmjVrFuLj43Ho0KEaj1lZWaGkpHmb8BhuiIiI7pRMVu+mIVNydXVFfn5+rY95enrC09MT3bt3h7OzM4YMGYL33nsPXl5eDXqO2bNnY/v27Thw4ADatWtX4/G8vDy4ubk1qvz1xWYpIiKiu0RQUBDOnj172/30ej0AQKPR1PvcgiBg9uzZ2Lp1K/bs2YMOHTrUul98fDyCgoLqfd7GYLghIiK6S4SHhyMhIcGo9mbnzp34/vvvER8fj+TkZOzYsQMzZ87E4MGDxblw6mPWrFlYt24d1q9fDzs7O2RkZCAjIwOlpaVG+x08eBAjR45sqpdUK4YbIiKiu0RAQAD69u2Ln3/+WdxmZWWFb775Bvfeey969OiBV199FY888gi2b98u7pOcnAyZTIZ9+/bVee6vvvoKKpUKw4YNg5eXl/izadMmcZ/o6GioVCo8/vjjzfL6qrDPDRER0V1k/vz5eOONNzBjxgzI5XIMHz4cR44cueUxSUlJcHR0RGBgYJ37CIJw2+devnw53njjDVhZWTW43A3BcENERHQXGT16NC5evIi0tDT4+vrW65idO3fi7bffhpOTU6OfV6vVIiAgAK+++mqjz1FfMqE+UUtC1Go1HBwcoFKpYG9vb+riEBFRG1NWVoakpCR06NChzmHV1Di3urYNuX+zzw0RERFJCsMNERERSQrDDRERUSPcZb06WkRTXVOGGyIiogawsLAAgGZfQuBupNVqAQBmZmZ3dB6OliIiImoAMzMzODo6IisrCwBgbW0NmUxm4lK1fXq9HtnZ2bC2toa5+Z3FE4YbIiKiBvL09AQAMeBQ05DL5fDz87vjsMhwQ0RE1EAymQxeXl5wd3dHeXm5qYsjGQqFAnL5nfeYYbghIiJqJDMzszvuH0JNr1V0KF61ahX8/f1haWmJkJAQHD9+/Jb7//LLL+jevTssLS0REBCAnTt3tlBJiYiIqLUzebjZtGkTIiIisGDBApw6dQqBgYEIDw+vsx3zyJEjmDhxIp599lnExsZi3LhxGDduHOLj41u45ERERNQamXz5hZCQEAwYMAArV64EYOgt7evri5deeglz586tsf+ECRNQXFxstFrpwIED0adPH6xevfq2z8flF4iIiNqehty/TdrnRqvVIiYmBvPmzRO3yeVyhIWFITo6utZjoqOjERERYbQtPDwcv/76a637azQaaDQa8XeVSgXAcJGIiIiobai6b9enTsak4SYnJwc6nQ4eHh5G2z08PHD+/Plaj8nIyKh1/4yMjFr3j4yMxKJFi2psr+9KqERERNR6FBYWwsHB4Zb7SH601Lx584xqevR6PfLy8uDi4tKkky6p1Wr4+voiNTWVzV3NiNe55fBatwxe55bB69xymutaC4KAwsJCeHt733Zfk4YbV1dXmJmZITMz02h7ZmamOEHSzTw9PRu0v1KphFKpNNrm6OjY+ELfhr29Pf9wWgCvc8vhtW4ZvM4tg9e55TTHtb5djU0Vk46WUigU6NevH6KiosRter0eUVFRCA0NrfWY0NBQo/0BYPfu3XXuT0RERHcXkzdLRUREYOrUqejfvz+Cg4OxfPlyFBcXY/r06QCAKVOmwMfHB5GRkQCAV155BUOHDsXSpUsxevRobNy4ESdPnsTXX39typdBRERErYTJw82ECROQnZ2N+fPnIyMjA3369MGuXbvETsMpKSlGUzEPGjQI69evx7vvvou3334bXbp0wa+//opevXqZ6iUAMDR/LViwoEYTGDUtXueWw2vdMnidWwavc8tpDdfa5PPcEBERETUlk89QTERERNSUGG6IiIhIUhhuiIiISFIYboiIiEhSGG6awKpVq+Dv7w9LS0uEhITg+PHjpi5Sm3PgwAGMGTMG3t7ekMlkNdYKEwQB8+fPh5eXF6ysrBAWFoaLFy8a7ZOXl4dJkybB3t4ejo6OePbZZ1FUVNSCr6L1i4yMxIABA2BnZwd3d3eMGzcOiYmJRvuUlZVh1qxZcHFxga2tLR577LEaE2empKRg9OjRsLa2hru7O9544w1UVFS05Etp1b766iv07t1bnMQsNDQUf/zxh/g4r3HzWLJkCWQyGebMmSNu47VuGgsXLoRMJjP66d69u/h4q7vOAt2RjRs3CgqFQlizZo2QkJAgzJgxQ3B0dBQyMzNNXbQ2ZefOncI777wjbNmyRQAgbN261ejxJUuWCA4ODsKvv/4qnD59WnjkkUeEDh06CKWlpeI+Dz74oBAYGCgcPXpUOHjwoNC5c2dh4sSJLfxKWrfw8HDh+++/F+Lj44W4uDjhoYceEvz8/ISioiJxn5kzZwq+vr5CVFSUcPLkSWHgwIHCoEGDxMcrKiqEXr16CWFhYUJsbKywc+dOwdXVVZg3b54pXlKr9Ntvvwk7duwQLly4ICQmJgpvv/22YGFhIcTHxwuCwGvcHI4fPy74+/sLvXv3Fl555RVxO69101iwYIFwzz33COnp6eJPdna2+Hhru84MN3coODhYmDVrlvi7TqcTvL29hcjISBOWqm27Odzo9XrB09NT+PTTT8VtBQUFglKpFDZs2CAIgiCcPXtWACCcOHFC3OePP/4QZDKZkJaW1mJlb2uysrIEAML+/fsFQTBcVwsLC+GXX34R9zl37pwAQIiOjhYEwRBE5XK5kJGRIe7z1VdfCfb29oJGo2nZF9CGODk5Cd9++y2vcTMoLCwUunTpIuzevVsYOnSoGG54rZvOggULhMDAwFofa43Xmc1Sd0Cr1SImJgZhYWHiNrlcjrCwMERHR5uwZNKSlJSEjIwMo+vs4OCAkJAQ8TpHR0fD0dER/fv3F/cJCwuDXC7HsWPHWrzMbYVKpQIAODs7AwBiYmJQXl5udK27d+8OPz8/o2sdEBAgTrQJAOHh4VCr1UhISGjB0rcNOp0OGzduRHFxMUJDQ3mNm8GsWbMwevRoo2sK8P3c1C5evAhvb2907NgRkyZNQkpKCoDWeZ1NPkNxW5aTkwOdTmf0nwUAHh4eOH/+vIlKJT0ZGRkAUOt1rnosIyMD7u7uRo+bm5vD2dlZ3IeM6fV6zJkzB4MHDxZn+M7IyIBCoaixuOzN17q2/4uqx8jgzJkzCA0NRVlZGWxtbbF161b07NkTcXFxvMZNaOPGjTh16hROnDhR4zG+n5tOSEgI1q5di27duiE9PR2LFi3CkCFDEB8f3yqvM8MN0V1q1qxZiI+Px6FDh0xdFEnq1q0b4uLioFKpsHnzZkydOhX79+83dbEkJTU1Fa+88gp2794NS0tLUxdH0kaNGiX+u3fv3ggJCUH79u3x888/w8rKyoQlqx2bpe6Aq6srzMzMavQIz8zMhKenp4lKJT1V1/JW19nT0xNZWVlGj1dUVCAvL4//F7WYPXs2tm/fjr1796Jdu3bidk9PT2i1WhQUFBjtf/O1ru3/ouoxMlAoFOjcuTP69euHyMhIBAYGYsWKFbzGTSgmJgZZWVno27cvzM3NYW5ujv379+Pzzz+Hubk5PDw8eK2biaOjI7p27YpLly61yvc0w80dUCgU6NevH6KiosRter0eUVFRCA0NNWHJpKVDhw7w9PQ0us5qtRrHjh0Tr3NoaCgKCgoQExMj7rNnzx7o9XqEhIS0eJlbK0EQMHv2bGzduhV79uxBhw4djB7v168fLCwsjK51YmIiUlJSjK71mTNnjMLk7t27YW9vj549e7bMC2mD9Ho9NBoNr3ETGjFiBM6cOYO4uDjxp3///pg0aZL4b17r5lFUVITLly/Dy8urdb6nm7yL8l1m48aNglKpFNauXSucPXtWeP755wVHR0ejHuF0e4WFhUJsbKwQGxsrABCWLVsmxMbGClevXhUEwTAU3NHRUdi2bZvwzz//CGPHjq11KHhQUJBw7Ngx4dChQ0KXLl04FPwmL7zwguDg4CDs27fPaEhnSUmJuM/MmTMFPz8/Yc+ePcLJkyeF0NBQITQ0VHy8akjnyJEjhbi4OGHXrl2Cm5sbh85WM3fuXGH//v1CUlKS8M8//whz584VZDKZ8NdffwmCwGvcnKqPlhIEXuum8tprrwn79u0TkpKShMOHDwthYWGCq6urkJWVJQhC67vODDdN4IsvvhD8/PwEhUIhBAcHC0ePHjV1kdqcvXv3CgBq/EydOlUQBMNw8Pfee0/w8PAQlEqlMGLECCExMdHoHLm5ucLEiRMFW1tbwd7eXpg+fbpQWFhoglfTetV2jQEI33//vbhPaWmp8OKLLwpOTk6CtbW18Oijjwrp6elG50lOThZGjRolWFlZCa6ursJrr70mlJeXt/Crab2eeeYZoX379oJCoRDc3NyEESNGiMFGEHiNm9PN4YbXumlMmDBB8PLyEhQKheDj4yNMmDBBuHTpkvh4a7vOMkEQhKavDyIiIiIyDfa5ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCGiu4K/vz+WL19u6mIQUQtguCGiJjdt2jSMGzcOADBs2DDMmTOnxZ577dq1cHR0rLH9xIkTeP7551usHERkOuamLgARUX1otVooFIpGH+/m5taEpSGi1ow1N0TUbKZNm4b9+/djxYoVkMlkkMlkSE5OBgDEx8dj1KhRsLW1hYeHByZPnoycnBzx2GHDhmH27NmYM2cOXF1dER4eDgBYtmwZAgICYGNjA19fX7z44osoKioCAOzbtw/Tp0+HSqUSn2/hwoUAajZLpaSkYOzYsbC1tYW9vT2efPJJZGZmio8vXLgQffr0wY8//gh/f384ODjgqaeeQmFhobjP5s2bERAQACsrK7i4uCAsLAzFxcXNdDWJqL4Yboio2axYsQKhoaGYMWMG0tPTkZ6eDl9fXxQUFOD+++9HUFAQTp48iV27diEzMxNPPvmk0fH//e9/oVAocPjwYaxevRoAIJfL8fnnnyMhIQH//e9/sWfPHrz55psAgEGDBmH58uWwt7cXn+/111+vUS69Xo+xY8ciLy8P+/fvx+7du3HlyhVMmDDBaL/Lly/j119/xfbt27F9+3bs378fS5YsAQCkp6dj4sSJeOaZZ3Du3Dns27cP48ePB5frIzI9NksRUbNxcHCAQqGAtbU1PD09xe0rV65EUFAQPvroI3HbmjVr4OvriwsXLqBr164AgC5duuCTTz4xOmf1/jv+/v748MMPMXPmTHz55ZdQKBRwcHCATCYzer6bRUVF4cyZM0hKSoKvry8A4IcffsA999yDEydOYMCAAQAMIWjt2rWws7MDAEyePBlRUVFYvHgx0tPTUVFRgfHjx6N9+/YAgICAgDu4WkTUVFhzQ0Qt7vTp09i7dy9sbW3Fn+7duwMw1JZU6devX41j//77b4wYMQI+Pj6ws7PD5MmTkZubi5KSkno//7lz5+Dr6ysGGwDo2bMnHB0dce7cOXGbv7+/GGwAwMvLC1lZWQCAwMBAjBgxAgEBAXjiiSfwzTffID8/v/4XgYiaDcMNEbW4oqIijBkzBnFxcUY/Fy9exH333SfuZ2NjY3RccnIyHn74YfTu3Rv/+9//EBMTg1WrVgEwdDhuahYWFka/y2Qy6PV6AICZmRl2796NP/74Az179sQXX3yBbt26ISkpqcnLQUQNw3BDRM1KoVBAp9MZbevbty8SEhLg7++Pzp07G/3cHGiqi4mJgV6vx9KlSzFw4EB07doV169fv+3z3axHjx5ITU1FamqquO3s2bMoKChAz5496/3aZDIZBg8ejEWLFiE2NhYKhQJbt26t9/FE1DwYboioWfn7++PYsWNITk5GTk4O9Ho9Zs2ahby8PEycOBEnTpzA5cuX8eeff2L69Om3DCadO3dGeXk5vvjiC1y5cgU//vij2NG4+vMVFRUhKioKOTk5tTZXhYWFISAgAJMmTcKpU6dw/PhxTJkyBUOHDkX//v3r9bqOHTuGjz76CCdPnkRKSgq2bNmC7Oxs9OjRo2EXiIiaHMMNETWr119/HWZmZujZsyfc3NyQkpICb29vHD58GDqdDiNHjkRAQADmzJkDR0dHyOV1fywFBgZi2bJl+Pjjj9GrVy/89NNPiIyMNNpn0KBBmDlzJiZMmAA3N7caHZIBQ43Ltm3b4OTkhPvuuw9hYWHo2LEjNm3aVO/XZW9vjwMHDuChhx5C165d8e6772Lp0qUYNWpU/S8OETULmcBxi0RERCQhrLkhIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJYbghIiIiSWG4ISIiIklhuCEiIiJJ+X8z1MZCNgg1PgAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "graph_utility_estimates(agent, sequential_decision_environment, 500, [(2,2), (3,2)])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "## ACTIVE REINFORCEMENT LEARNING\n",
    "\n",
    "Unlike Passive Reinforcement Learning in Active Reinforcement Learning we are not bound by a policy pi and we need to select our actions. In other words the agent needs to learn an optimal policy. The fundamental tradeoff the agent needs to face is that of exploration vs. exploitation. "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### QLearning Agent\n",
    "\n",
    "The QLearningAgent class in the rl module implements the Agent Program described in **Fig 21.8** of the AIMA Book. In Q-Learning the agent learns an action-value function Q which gives the utility of taking a given action in a particular state. Q-Learning does not required a transition model and hence is a model free method. Let us look into the source before we see some usage examples."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 60,
   "metadata": {},
   "outputs": [],
   "source": [
    "%psource QLearningAgent"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The Agent Program can be obtained by creating the instance of the class by passing the appropriate parameters. Because of the __ call __ method the object that is created behaves like a callable and returns an appropriate action as most Agent Programs do. To instantiate the object we need a mdp similar to the PassiveTDAgent.\n",
    "\n",
    " Let us use the same GridMDP object we used above. **Figure 17.1 (sequential_decision_environment)** is similar to **Figure 21.1** but has some discounting as **gamma = 0.9**. The class also implements an exploration function **f** which returns fixed **Rplus** until agent has visited state, action **Ne** number of times. This is the same as the one defined on page **842** of the book. The method **actions_in_state** returns actions possible in given state. It is useful when applying max and argmax operations."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let us create our object now. We also use the **same alpha** as given in the footnote of the book on **page 837**. We use **Rplus = 2** and **Ne = 5** as defined on page 843. **Fig 21.7**  "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 61,
   "metadata": {},
   "outputs": [],
   "source": [
    "q_agent = QLearningAgent(sequential_decision_environment, Ne=5, Rplus=2, \n",
    "                         alpha=lambda n: 60./(59+n))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now to try out the q_agent we make use of the **run_single_trial** function in rl.py (which was also used above). Let us use **200** iterations."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 62,
   "metadata": {},
   "outputs": [],
   "source": [
    "for i in range(200):\n",
    "    run_single_trial(q_agent,sequential_decision_environment)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now let us see the Q Values. The keys are state-action pairs. Where different actions correspond according to:\n",
    "\n",
    "north = (0, 1)\n",
    "south = (0,-1)\n",
    "west = (-1, 0)\n",
    "east = (1, 0)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 47,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "defaultdict(float,\n",
       "            {((0, 0), (1, 0)): -0.1822734746510276,\n",
       "             ((0, 0), (0, 1)): 0.001818461636797132,\n",
       "             ((0, 0), (-1, 0)): -0.17484912594753418,\n",
       "             ((0, 0), (0, -1)): -0.1780634323972779,\n",
       "             ((1, 0), (1, 0)): -0.20304105812041573,\n",
       "             ((1, 0), (0, 1)): -0.19414582836715144,\n",
       "             ((1, 0), (-1, 0)): -0.04248685599166724,\n",
       "             ((1, 0), (0, -1)): -0.19621351096073886,\n",
       "             ((2, 0), (1, 0)): -0.2090093789972915,\n",
       "             ((2, 0), (0, 1)): -0.2114431043718918,\n",
       "             ((2, 0), (-1, 0)): -0.08157150781231343,\n",
       "             ((2, 0), (0, -1)): -0.2137983143499496,\n",
       "             ((3, 0), (1, 0)): -0.5778150984016722,\n",
       "             ((3, 0), (0, 1)): -0.9054844190483136,\n",
       "             ((3, 0), (-1, 0)): -0.6621885771785548,\n",
       "             ((3, 0), (0, -1)): -0.19474212125927312,\n",
       "             ((3, 1), None): -0.9389015101453753,\n",
       "             ((2, 1), (1, 0)): -0.9138838557573963,\n",
       "             ((2, 1), (0, 1)): -0.46688949882051933,\n",
       "             ((2, 1), (-1, 0)): -0.11283060051854406,\n",
       "             ((2, 1), (0, -1)): -0.2118491285148554,\n",
       "             ((0, 1), (1, 0)): -0.15504480921986746,\n",
       "             ((0, 1), (0, 1)): 0.06515473920075754,\n",
       "             ((0, 1), (-1, 0)): -0.15340385689815017,\n",
       "             ((0, 1), (0, -1)): -0.15430064615530809,\n",
       "             ((0, 2), (1, 0)): 0.14825310710095263,\n",
       "             ((0, 2), (0, 1)): -0.13928763903695243,\n",
       "             ((0, 2), (-1, 0)): -0.1301219113887463,\n",
       "             ((0, 2), (0, -1)): -0.15110553097280127,\n",
       "             ((1, 2), (1, 0)): 0.232108036426402,\n",
       "             ((1, 2), (0, 1)): 0.06808036885648815,\n",
       "             ((1, 2), (-1, 0)): 0.058135252516605236,\n",
       "             ((1, 2), (0, -1)): 0.07781999456449834,\n",
       "             ((2, 2), (1, 0)): 0.3139576744766953,\n",
       "             ((2, 2), (0, 1)): 0.0489172516638418,\n",
       "             ((2, 2), (-1, 0)): 0.045454784590341094,\n",
       "             ((2, 2), (0, -1)): -0.13517131417289094,\n",
       "             ((3, 2), None): 0.3851578022339255})"
      ]
     },
     "execution_count": 47,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "q_agent.Q"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The Utility **U** of each state is related to **Q** by the following equation.\n",
    "\n",
    "**U (s) = max <sub>a</sub> Q(s, a)**\n",
    "\n",
    "Let us convert the Q Values above into U estimates.\n",
    "\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 48,
   "metadata": {},
   "outputs": [],
   "source": [
    "U = defaultdict(lambda: -1000.) # Very Large Negative Value for Comparison see below.\n",
    "for state_action, value in q_agent.Q.items():\n",
    "    state, action = state_action\n",
    "    if U[state] < value:\n",
    "                U[state] = value"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 49,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "defaultdict(<function __main__.<lambda>()>,\n",
       "            {(0, 0): 0.001818461636797132,\n",
       "             (1, 0): -0.04248685599166724,\n",
       "             (2, 0): -0.08157150781231343,\n",
       "             (3, 0): -0.19474212125927312,\n",
       "             (3, 1): -0.9389015101453753,\n",
       "             (2, 1): -0.11283060051854406,\n",
       "             (0, 1): 0.06515473920075754,\n",
       "             (0, 2): 0.14825310710095263,\n",
       "             (1, 2): 0.232108036426402,\n",
       "             (2, 2): 0.3139576744766953,\n",
       "             (3, 2): 0.3851578022339255})"
      ]
     },
     "execution_count": 49,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "U"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let us finally compare these estimates to value_iteration results."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 50,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{(0, 1): 0.3984432178350045, (1, 2): 0.649585681261095, (3, 2): 1.0, (0, 0): 0.2962883154554812, (3, 0): 0.12987274656746342, (3, 1): -1.0, (2, 1): 0.48644001739269643, (2, 0): 0.3447542300124158, (2, 2): 0.7953620878466678, (1, 0): 0.25386699846479516, (0, 2): 0.5093943765842497}\n"
     ]
    }
   ],
   "source": [
    "print(value_iteration(sequential_decision_environment))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "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.7.16"
  },
  "pycharm": {
   "stem_cell": {
    "cell_type": "raw",
    "metadata": {
     "collapsed": false
    },
    "source": []
   }
  }
 },
 "nbformat": 4,
 "nbformat_minor": 1
}