reinforcement_q_learning.ipynb

{
  "cells": [
    {
      "cell_type": "code",
      "execution_count": 1,
      "metadata": {
        "id": "vAkFcrqzRl_-"
      },
      "outputs": [],
      "source": [
        "# For tips on running notebooks in Google Colab, see\n",
        "# https://pytorch.org/tutorials/beginner/colab\n",
        "%matplotlib inline"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "CntAB2fARmAA"
      },
      "source": [
        "\n",
        "# Reinforcement Learning (DQN) Tutorial\n",
        "**Author**: [Adam Paszke](https://github.com/apaszke)\n",
        "            [Mark Towers](https://github.com/pseudo-rnd-thoughts)\n",
        "\n",
        "\n",
        "This tutorial shows how to use PyTorch to train a Deep Q Learning (DQN) agent\n",
        "on the CartPole-v1 task from [Gymnasium](https://gymnasium.farama.org)_.\n",
        "\n",
        "**Task**\n",
        "\n",
        "The agent has to decide between two actions - moving the cart left or\n",
        "right - so that the pole attached to it stays upright. You can find more\n",
        "information about the environment and other more challenging environments at\n",
        "[Gymnasium's website](https://gymnasium.farama.org/environments/classic_control/cart_pole/)_.\n",
        "\n",
        ".. figure:: /_static/img/cartpole.gif\n",
        "   :alt: CartPole\n",
        "\n",
        "   CartPole\n",
        "\n",
        "As the agent observes the current state of the environment and chooses\n",
        "an action, the environment *transitions* to a new state, and also\n",
        "returns a reward that indicates the consequences of the action. In this\n",
        "task, rewards are +1 for every incremental timestep and the environment\n",
        "terminates if the pole falls over too far or the cart moves more than 2.4\n",
        "units away from center. This means better performing scenarios will run\n",
        "for longer duration, accumulating larger return.\n",
        "\n",
        "The CartPole task is designed so that the inputs to the agent are 4 real\n",
        "values representing the environment state (position, velocity, etc.).\n",
        "We take these 4 inputs without any scaling and pass them through a\n",
        "small fully-connected network with 2 outputs, one for each action.\n",
        "The network is trained to predict the expected value for each action,\n",
        "given the input state. The action with the highest expected value is\n",
        "then chosen.\n",
        "\n",
        "\n",
        "**Packages**\n",
        "\n",
        "\n",
        "First, let's import needed packages. Firstly, we need\n",
        "[gymnasium](https://gymnasium.farama.org/)_ for the environment,\n",
        "installed by using `pip`. This is a fork of the original OpenAI\n",
        "Gym project and maintained by the same team since Gym v0.19.\n",
        "If you are running this in Google Colab, run:\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 2,
      "metadata": {
        "id": "LuXRpPlcRmAC",
        "outputId": "64bde529-cfde-445a-956a-516cc4f8ae74",
        "colab": {
          "base_uri": "https://localhost:8080/"
        }
      },
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Collecting gymnasium[classic_control]\n",
            "  Downloading gymnasium-0.29.1-py3-none-any.whl (953 kB)\n",
            "     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 953.9/953.9 kB 7.0 MB/s eta 0:00:00\n",
            "Requirement already satisfied: numpy>=1.21.0 in /usr/local/lib/python3.10/dist-packages (from gymnasium[classic_control]) (1.23.5)\n",
            "Requirement already satisfied: cloudpickle>=1.2.0 in /usr/local/lib/python3.10/dist-packages (from gymnasium[classic_control]) (2.2.1)\n",
            "Requirement already satisfied: typing-extensions>=4.3.0 in /usr/local/lib/python3.10/dist-packages (from gymnasium[classic_control]) (4.5.0)\n",
            "Collecting farama-notifications>=0.0.1 (from gymnasium[classic_control])\n",
            "  Downloading Farama_Notifications-0.0.4-py3-none-any.whl (2.5 kB)\n",
            "Requirement already satisfied: pygame>=2.1.3 in /usr/local/lib/python3.10/dist-packages (from gymnasium[classic_control]) (2.5.2)\n",
            "Installing collected packages: farama-notifications, gymnasium\n",
            "Successfully installed farama-notifications-0.0.4 gymnasium-0.29.1\n"
          ]
        }
      ],
      "source": [
        "%%bash\n",
        "pip3 install gymnasium[classic_control]"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "A5mPpR5YRmAC"
      },
      "source": [
        "We'll also use the following from PyTorch:\n",
        "\n",
        "-  neural networks (``torch.nn``)\n",
        "-  optimization (``torch.optim``)\n",
        "-  automatic differentiation (``torch.autograd``)\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 3,
      "metadata": {
        "id": "yUzIt2kcRmAD"
      },
      "outputs": [],
      "source": [
        "import gymnasium as gym\n",
        "import math\n",
        "import random\n",
        "import matplotlib\n",
        "import matplotlib.pyplot as plt\n",
        "from collections import namedtuple, deque\n",
        "from itertools import count\n",
        "\n",
        "import torch\n",
        "import torch.nn as nn\n",
        "import torch.optim as optim\n",
        "import torch.nn.functional as F\n",
        "\n",
        "env = gym.make(\"CartPole-v1\")\n",
        "\n",
        "# set up matplotlib\n",
        "is_ipython = 'inline' in matplotlib.get_backend()\n",
        "if is_ipython:\n",
        "    from IPython import display\n",
        "\n",
        "plt.ion()\n",
        "\n",
        "# if GPU is to be used\n",
        "device = torch.device(\"cuda\" if torch.cuda.is_available() else \"cpu\")"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "BLujtqpTRmAD"
      },
      "source": [
        "## Replay Memory\n",
        "\n",
        "We'll be using experience replay memory for training our DQN. It stores\n",
        "the transitions that the agent observes, allowing us to reuse this data\n",
        "later. By sampling from it randomly, the transitions that build up a\n",
        "batch are decorrelated. It has been shown that this greatly stabilizes\n",
        "and improves the DQN training procedure.\n",
        "\n",
        "For this, we're going to need two classes:\n",
        "\n",
        "-  ``Transition`` - a named tuple representing a single transition in\n",
        "   our environment. It essentially maps (state, action) pairs\n",
        "   to their (next_state, reward) result, with the state being the\n",
        "   screen difference image as described later on.\n",
        "-  ``ReplayMemory`` - a cyclic buffer of bounded size that holds the\n",
        "   transitions observed recently. It also implements a ``.sample()``\n",
        "   method for selecting a random batch of transitions for training.\n",
        "\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 4,
      "metadata": {
        "id": "jy2ZS6xERmAD"
      },
      "outputs": [],
      "source": [
        "Transition = namedtuple('Transition',\n",
        "                        ('state', 'action', 'next_state', 'reward'))\n",
        "\n",
        "\n",
        "class ReplayMemory(object):\n",
        "\n",
        "    def __init__(self, capacity):\n",
        "        self.memory = deque([], maxlen=capacity)\n",
        "\n",
        "    def push(self, *args):\n",
        "        \"\"\"Save a transition\"\"\"\n",
        "        self.memory.append(Transition(*args))\n",
        "\n",
        "    def sample(self, batch_size):\n",
        "        return random.sample(self.memory, batch_size)\n",
        "\n",
        "    def __len__(self):\n",
        "        return len(self.memory)"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "R689NwZ9RmAE"
      },
      "source": [
        "Now, let's define our model. But first, let's quickly recap what a DQN is.\n",
        "\n",
        "## DQN algorithm\n",
        "\n",
        "Our environment is deterministic, so all equations presented here are\n",
        "also formulated deterministically for the sake of simplicity. In the\n",
        "reinforcement learning literature, they would also contain expectations\n",
        "over stochastic transitions in the environment.\n",
        "\n",
        "Our aim will be to train a policy that tries to maximize the discounted,\n",
        "cumulative reward\n",
        "$R_{t_0} = \\sum_{t=t_0}^{\\infty} \\gamma^{t - t_0} r_t$, where\n",
        "$R_{t_0}$ is also known as the *return*. The discount,\n",
        "$\\gamma$, should be a constant between $0$ and $1$\n",
        "that ensures the sum converges. A lower $\\gamma$ makes\n",
        "rewards from the uncertain far future less important for our agent\n",
        "than the ones in the near future that it can be fairly confident\n",
        "about. It also encourages agents to collect reward closer in time\n",
        "than equivalent rewards that are temporally far away in the future.\n",
        "\n",
        "The main idea behind Q-learning is that if we had a function\n",
        "$Q^*: State \\times Action \\rightarrow \\mathbb{R}$, that could tell\n",
        "us what our return would be, if we were to take an action in a given\n",
        "state, then we could easily construct a policy that maximizes our\n",
        "rewards:\n",
        "\n",
        "\\begin{align}\\pi^*(s) = \\arg\\!\\max_a \\ Q^*(s, a)\\end{align}\n",
        "\n",
        "However, we don't know everything about the world, so we don't have\n",
        "access to $Q^*$. But, since neural networks are universal function\n",
        "approximators, we can simply create one and train it to resemble\n",
        "$Q^*$.\n",
        "\n",
        "For our training update rule, we'll use a fact that every $Q$\n",
        "function for some policy obeys the Bellman equation:\n",
        "\n",
        "\\begin{align}Q^{\\pi}(s, a) = r + \\gamma Q^{\\pi}(s', \\pi(s'))\\end{align}\n",
        "\n",
        "The difference between the two sides of the equality is known as the\n",
        "temporal difference error, $\\delta$:\n",
        "\n",
        "\\begin{align}\\delta = Q(s, a) - (r + \\gamma \\max_a' Q(s', a))\\end{align}\n",
        "\n",
        "To minimize this error, we will use the [Huber\n",
        "loss](https://en.wikipedia.org/wiki/Huber_loss)_. The Huber loss acts\n",
        "like the mean squared error when the error is small, but like the mean\n",
        "absolute error when the error is large - this makes it more robust to\n",
        "outliers when the estimates of $Q$ are very noisy. We calculate\n",
        "this over a batch of transitions, $B$, sampled from the replay\n",
        "memory:\n",
        "\n",
        "\\begin{align}\\mathcal{L} = \\frac{1}{|B|}\\sum_{(s, a, s', r) \\ \\in \\ B} \\mathcal{L}(\\delta)\\end{align}\n",
        "\n",
        "\\begin{align}\\text{where} \\quad \\mathcal{L}(\\delta) = \\begin{cases}\n",
        "     \\frac{1}{2}{\\delta^2}  & \\text{for } |\\delta| \\le 1, \\\\\n",
        "     |\\delta| - \\frac{1}{2} & \\text{otherwise.}\n",
        "   \\end{cases}\\end{align}\n",
        "\n",
        "### Q-network\n",
        "\n",
        "Our model will be a feed forward  neural network that takes in the\n",
        "difference between the current and previous screen patches. It has two\n",
        "outputs, representing $Q(s, \\mathrm{left})$ and\n",
        "$Q(s, \\mathrm{right})$ (where $s$ is the input to the\n",
        "network). In effect, the network is trying to predict the *expected return* of\n",
        "taking each action given the current input.\n",
        "\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 5,
      "metadata": {
        "id": "8BYPH5BZRmAE"
      },
      "outputs": [],
      "source": [
        "class DQN(nn.Module):\n",
        "\n",
        "    def __init__(self, n_observations, n_actions):\n",
        "        super(DQN, self).__init__()\n",
        "        self.layer1 = nn.Linear(n_observations, 128)\n",
        "        self.layer2 = nn.Linear(128, 128)\n",
        "        self.layer3 = nn.Linear(128, n_actions)\n",
        "\n",
        "    # Called with either one element to determine next action, or a batch\n",
        "    # during optimization. Returns tensor([[left0exp,right0exp]...]).\n",
        "    def forward(self, x):\n",
        "        x = F.relu(self.layer1(x))\n",
        "        x = F.relu(self.layer2(x))\n",
        "        return self.layer3(x)"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "n19o0xihRmAF"
      },
      "source": [
        "## Training\n",
        "\n",
        "### Hyperparameters and utilities\n",
        "This cell instantiates our model and its optimizer, and defines some\n",
        "utilities:\n",
        "\n",
        "-  ``select_action`` - will select an action accordingly to an epsilon\n",
        "   greedy policy. Simply put, we'll sometimes use our model for choosing\n",
        "   the action, and sometimes we'll just sample one uniformly. The\n",
        "   probability of choosing a random action will start at ``EPS_START``\n",
        "   and will decay exponentially towards ``EPS_END``. ``EPS_DECAY``\n",
        "   controls the rate of the decay.\n",
        "-  ``plot_durations`` - a helper for plotting the duration of episodes,\n",
        "   along with an average over the last 100 episodes (the measure used in\n",
        "   the official evaluations). The plot will be underneath the cell\n",
        "   containing the main training loop, and will update after every\n",
        "   episode.\n",
        "\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 6,
      "metadata": {
        "id": "GBxGBcd_RmAF"
      },
      "outputs": [],
      "source": [
        "# BATCH_SIZE is the number of transitions sampled from the replay buffer\n",
        "# GAMMA is the discount factor as mentioned in the previous section\n",
        "# EPS_START is the starting value of epsilon\n",
        "# EPS_END is the final value of epsilon\n",
        "# EPS_DECAY controls the rate of exponential decay of epsilon, higher means a slower decay\n",
        "# TAU is the update rate of the target network\n",
        "# LR is the learning rate of the ``AdamW`` optimizer\n",
        "BATCH_SIZE = 128\n",
        "GAMMA = 0.99\n",
        "EPS_START = 0.9\n",
        "EPS_END = 0.05\n",
        "EPS_DECAY = 1000\n",
        "TAU = 0.005\n",
        "LR = 1e-4\n",
        "\n",
        "# Get number of actions from gym action space\n",
        "n_actions = env.action_space.n\n",
        "# Get the number of state observations\n",
        "state, info = env.reset()\n",
        "n_observations = len(state)\n",
        "\n",
        "policy_net = DQN(n_observations, n_actions).to(device)\n",
        "target_net = DQN(n_observations, n_actions).to(device)\n",
        "target_net.load_state_dict(policy_net.state_dict())\n",
        "\n",
        "optimizer = optim.AdamW(policy_net.parameters(), lr=LR, amsgrad=True)\n",
        "memory = ReplayMemory(10000)\n",
        "\n",
        "\n",
        "steps_done = 0\n",
        "\n",
        "\n",
        "def select_action(state):\n",
        "    global steps_done\n",
        "    sample = random.random()\n",
        "    eps_threshold = EPS_END + (EPS_START - EPS_END) * \\\n",
        "        math.exp(-1. * steps_done / EPS_DECAY)\n",
        "    steps_done += 1\n",
        "    if sample > eps_threshold:\n",
        "        with torch.no_grad():\n",
        "            # t.max(1) will return the largest column value of each row.\n",
        "            # second column on max result is index of where max element was\n",
        "            # found, so we pick action with the larger expected reward.\n",
        "            return policy_net(state).max(1).indices.view(1, 1)\n",
        "    else:\n",
        "        return torch.tensor([[env.action_space.sample()]], device=device, dtype=torch.long)\n",
        "\n",
        "\n",
        "episode_durations = []\n",
        "\n",
        "\n",
        "def plot_durations(show_result=False):\n",
        "    plt.figure(1)\n",
        "    durations_t = torch.tensor(episode_durations, dtype=torch.float)\n",
        "    if show_result:\n",
        "        plt.title('Result')\n",
        "    else:\n",
        "        plt.clf()\n",
        "        plt.title('Training...')\n",
        "    plt.xlabel('Episode')\n",
        "    plt.ylabel('Duration')\n",
        "    plt.plot(durations_t.numpy())\n",
        "    # Take 100 episode averages and plot them too\n",
        "    if len(durations_t) >= 100:\n",
        "        means = durations_t.unfold(0, 100, 1).mean(1).view(-1)\n",
        "        means = torch.cat((torch.zeros(99), means))\n",
        "        plt.plot(means.numpy())\n",
        "\n",
        "    plt.pause(0.001)  # pause a bit so that plots are updated\n",
        "    if is_ipython:\n",
        "        if not show_result:\n",
        "            display.display(plt.gcf())\n",
        "            display.clear_output(wait=True)\n",
        "        else:\n",
        "            display.display(plt.gcf())"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "iyZGPgGaRmAF"
      },
      "source": [
        "### Training loop\n",
        "\n",
        "Finally, the code for training our model.\n",
        "\n",
        "Here, you can find an ``optimize_model`` function that performs a\n",
        "single step of the optimization. It first samples a batch, concatenates\n",
        "all the tensors into a single one, computes $Q(s_t, a_t)$ and\n",
        "$V(s_{t+1}) = \\max_a Q(s_{t+1}, a)$, and combines them into our\n",
        "loss. By definition we set $V(s) = 0$ if $s$ is a terminal\n",
        "state. We also use a target network to compute $V(s_{t+1})$ for\n",
        "added stability. The target network is updated at every step with a\n",
        "[soft update](https://arxiv.org/pdf/1509.02971.pdf)_ controlled by\n",
        "the hyperparameter ``TAU``, which was previously defined.\n",
        "\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 7,
      "metadata": {
        "id": "gAeiP73NRmAF"
      },
      "outputs": [],
      "source": [
        "def optimize_model():\n",
        "    if len(memory) < BATCH_SIZE:\n",
        "        return\n",
        "    transitions = memory.sample(BATCH_SIZE)\n",
        "    # Transpose the batch (see https://stackoverflow.com/a/19343/3343043 for\n",
        "    # detailed explanation). This converts batch-array of Transitions\n",
        "    # to Transition of batch-arrays.\n",
        "    batch = Transition(*zip(*transitions))\n",
        "\n",
        "    # Compute a mask of non-final states and concatenate the batch elements\n",
        "    # (a final state would've been the one after which simulation ended)\n",
        "    non_final_mask = torch.tensor(tuple(map(lambda s: s is not None,\n",
        "                                          batch.next_state)), device=device, dtype=torch.bool)\n",
        "    non_final_next_states = torch.cat([s for s in batch.next_state\n",
        "                                                if s is not None])\n",
        "    state_batch = torch.cat(batch.state)\n",
        "    action_batch = torch.cat(batch.action)\n",
        "    reward_batch = torch.cat(batch.reward)\n",
        "\n",
        "    # Compute Q(s_t, a) - the model computes Q(s_t), then we select the\n",
        "    # columns of actions taken. These are the actions which would've been taken\n",
        "    # for each batch state according to policy_net\n",
        "    state_action_values = policy_net(state_batch).gather(1, action_batch)\n",
        "\n",
        "    # Compute V(s_{t+1}) for all next states.\n",
        "    # Expected values of actions for non_final_next_states are computed based\n",
        "    # on the \"older\" target_net; selecting their best reward with max(1).values\n",
        "    # This is merged based on the mask, such that we'll have either the expected\n",
        "    # state value or 0 in case the state was final.\n",
        "    next_state_values = torch.zeros(BATCH_SIZE, device=device)\n",
        "    with torch.no_grad():\n",
        "        next_state_values[non_final_mask] = target_net(non_final_next_states).max(1).values\n",
        "    # Compute the expected Q values\n",
        "    expected_state_action_values = (next_state_values * GAMMA) + reward_batch\n",
        "\n",
        "    # Compute Huber loss\n",
        "    criterion = nn.SmoothL1Loss()\n",
        "    loss = criterion(state_action_values, expected_state_action_values.unsqueeze(1))\n",
        "\n",
        "    # Optimize the model\n",
        "    optimizer.zero_grad()\n",
        "    loss.backward()\n",
        "    # In-place gradient clipping\n",
        "    torch.nn.utils.clip_grad_value_(policy_net.parameters(), 100)\n",
        "    optimizer.step()"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "xjowCEccRmAG"
      },
      "source": [
        "Below, you can find the main training loop. At the beginning we reset\n",
        "the environment and obtain the initial ``state`` Tensor. Then, we sample\n",
        "an action, execute it, observe the next state and the reward (always\n",
        "1), and optimize our model once. When the episode ends (our model\n",
        "fails), we restart the loop.\n",
        "\n",
        "Below, `num_episodes` is set to 600 if a GPU is available, otherwise 50\n",
        "episodes are scheduled so training does not take too long. However, 50\n",
        "episodes is insufficient for to observe good performance on CartPole.\n",
        "You should see the model constantly achieve 500 steps within 600 training\n",
        "episodes. Training RL agents can be a noisy process, so restarting training\n",
        "can produce better results if convergence is not observed.\n",
        "\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 8,
      "metadata": {
        "id": "yH7DinBPRmAG",
        "outputId": "72e0d1a9-b15e-4ff3-b5d2-e26cc21e8549",
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 524
        }
      },
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Complete\n"
          ]
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "<Figure size 640x480 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAjIAAAHHCAYAAACle7JuAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAACCwklEQVR4nO3dd5xU9fU//tedurOzvS+wIE2KFBUQN5agoIiJipJuIijGjwZjjUlIsyT+MH4+UZPvh2ASjSSxJRqNxnxiQ4VYqNKkKb1tYRe27/T7+2PmfWdmd/rcKXfm9Xw8eCi7s8Nl2J05c855nyPJsiyDiIiISIN0mb4AIiIiokQxkCEiIiLNYiBDREREmsVAhoiIiDSLgQwRERFpFgMZIiIi0iwGMkRERKRZDGSIiIhIsxjIEBERkWYxkCGivCZJEu67775MXwYRJYiBDBGl1MqVKyFJkvLLYDBg6NChWLRoEY4dO5bpyxvkww8/xH333YeOjo5MXwoRxcCQ6QsgovzwwAMPYOTIkbDZbFi7di1WrlyJ999/H5988gkKCgoyfXmKDz/8EPfffz8WLVqEsrKyTF8OEUXBQIaI0mLevHmYPn06AODGG29EVVUVfvnLX+LVV1/FV77ylQxfHRFpFUtLRJQRF1xwAQBg3759ysd2796NL33pS6ioqEBBQQGmT5+OV199NejrnE4n7r//fowdOxYFBQWorKzE+eefj7feeku5zaxZszBr1qxBf+aiRYtw2mmnhb2m++67D/fccw8AYOTIkUo57ODBg4n/RYkopZiRIaKMEMFBeXk5AGDHjh0477zzMHToUPzwhz+E1WrF3/72N8yfPx9///vfcfXVVwPwBhvLli3DjTfeiHPOOQddXV3YuHEjPv74Y1xyySVJXdM111yDTz/9FM899xweffRRVFVVAQCqq6uTul8iSh0GMkSUFp2dnWhra4PNZsO6detw//33w2w244tf/CIA4Pbbb8fw4cOxYcMGmM1mAMB3vvMdnH/++fjBD36gBDL/+te/cPnll+P3v/+96tc4ZcoUnH322Xjuuecwf/78iNkbIsoOLC0RUVrMmTMH1dXVaGhowJe+9CVYrVa8+uqrGDZsGE6ePIl33nkHX/nKV9Dd3Y22tja0tbWhvb0dc+fOxWeffaaccCorK8OOHTvw2WefZfhvRETZgIEMEaXF8uXL8dZbb+HFF1/E5Zdfjra2NiXzsnfvXsiyjJ/+9Keorq4O+nXvvfcCAFpbWwF4Tz91dHTg9NNPx+TJk3HPPfdg27ZtGft7EVFmsbRERGlxzjnnKKeW5s+fj/PPPx/f+MY3sGfPHng8HgDA9773PcydOzfk148ZMwYAcOGFF2Lfvn145ZVX8Oabb+KJJ57Ao48+iscffxw33ngjAO+QO1mWB92H2+1OxV+NiDKIgQwRpZ1er8eyZctw0UUX4X//939xww03AACMRiPmzJkT9esrKipw/fXX4/rrr0dPTw8uvPBC3HfffUogU15ejv379w/6ukOHDkW9b0mS4vzbEFEmsbRERBkxa9YsnHPOOXjsscdQUlKCWbNm4Xe/+x2ampoG3fbEiRPK/7e3twd9rqioCGPGjIHdblc+Nnr0aOzevTvo67Zu3YoPPvgg6nVZrVYA4GRfIo1gRoaIMuaee+7Bl7/8ZaxcuRLLly/H+eefj8mTJ+Pb3/42Ro0ahZaWFnz00Uc4evQotm7dCgCYOHEiZs2ahWnTpqGiogIbN27Eiy++iFtvvVW53xtuuAGPPPII5s6di8WLF6O1tRWPP/44zjjjDHR1dUW8pmnTpgEAfvzjH+NrX/sajEYjrrjiCiXAIaIsIxMRpdBTTz0lA5A3bNgw6HNut1sePXq0PHr0aNnlcsn79u2Tr7vuOrmurk42Go3y0KFD5S9+8Yvyiy++qHzNL37xC/mcc86Ry8rKZIvFIo8fP15+8MEHZYfDEXTfTz/9tDxq1CjZZDLJZ555pvzGG2/ICxculEeMGBF0OwDyvffeG/Sxn//85/LQoUNlnU4nA5APHDig1sNBRCqTZDlERxwRERGRBrBHhoiIiDSLgQwRERFpFgMZIiIi0iwGMkRERKRZDGSIiIhIsxjIEBERkWbl/EA8j8eD48ePo7i4mKPHiYiINEKWZXR3d2PIkCHQ6cLnXXI+kDl+/DgaGhoyfRlERESUgCNHjmDYsGFhP5/zgUxxcTEA7wNRUlKS4ashIiKiWHR1daGhoUF5HQ8n5wMZUU4qKSlhIENERKQx0dpC2OxLREREmsVAhoiIiDSLgQwRERFpFgMZIiIi0iwGMkRERKRZDGSIiIhIsxjIEBERkWYxkCEiIiLNYiBDREREmsVAhoiIiDSLgQwRERFpFgMZIiIi0iwGMgnqsjlx5GQfOvocSd+XzemGxyOrcFVERET5hYFMgn7x2k5c8PC7eHb94aTup7PPiXOXrcJNf9mk0pURERHlDwYyCSo0GQAAfXZ3Uvezr60HHX1OfHz4lBqXRURElFcYyCTIYtIDAPocyQUy/b6vtzmTux8iIqJ8xEAmQVZfINPvdCV1P712l+9+3JBl9skQERHFg4FMgiy+0lJvkqWlfl8mRpYBh9uT9HURERHlEwYyCSpUqbQU+PU2BwMZIiKieDCQSVChyqUlALC52CdDREQUDwYyCSpUq7QUkJHpTzK7Q0RElG8YyCRIycgkW1oKOK3EjAwREVF8GMgkSAQyvY7kSkt9AaUlZmSIiIjiw0AmQaK0lHRGJrDZ18lmXyIiongwkEmQaqeWAktLHIpHREQUFwYyCfKfWkpu4WNgaYmBDBERUXwYyCRIlJYA/1C7RARmdJK5HyIionzEQCZBBUYdJMn7/8mUlwKDFwYyRERE8WEgkyBJklBoFH0yiZ9cChqIx2ZfIiKiuDCQSYLYt5RURsbBZl8iIqJEMZBJgtWc/MmlXgYyRERECWMgkwSLCqUlriggIiJKHAOZJCQ7S8bp9sDh9vfFcEUBERFRfBjIJMFqTm6678AAqN/BZl8iIqJ4MJBJgigtJbpvaWAAxIwMERFRfBjIJCHZDdgDe2ts7JEhIiKKCwOZJBT6Sku9dnVKS8zIEBERxYeBTBKUgXjOxEpLg3tkGMgQERHFg4FMElQvLXGyLxERUVyyJpB56KGHIEkS7rjjDuVjNpsNS5YsQWVlJYqKirBgwQK0tLRk7iIHUKu0JHY2cSAeERFRfLIikNmwYQN+97vfYcqUKUEfv/POO/HPf/4TL7zwAlavXo3jx4/jmmuuydBVDqZkZJIsLZUXmgAwkCEiIopXxgOZnp4eXHvttfjDH/6A8vJy5eOdnZ148skn8cgjj+Diiy/GtGnT8NRTT+HDDz/E2rVrM3jFfv7JvokFIP2+0lKF1RvIcPs1ERFRfDIeyCxZsgRf+MIXMGfOnKCPb9q0CU6nM+jj48ePx/Dhw/HRRx+l+zJDEgPx+hIsLYk9SwxkiIiIEmPI5B/+/PPP4+OPP8aGDRsGfa65uRkmkwllZWVBH6+trUVzc3PY+7Tb7bDb7crvu7q6VLvegSwmdU4tVVpFackDWZYhiaYZIiIiiihjGZkjR47g9ttvxzPPPIOCggLV7nfZsmUoLS1VfjU0NKh23wNZTb6MjEqlJQCwu3hyiYiIKFYZC2Q2bdqE1tZWnH322TAYDDAYDFi9ejV+85vfwGAwoLa2Fg6HAx0dHUFf19LSgrq6urD3u3TpUnR2diq/jhw5krK/g7I0UqXSEsCGXyIionhkrLQ0e/ZsbN++Pehj119/PcaPH48f/OAHaGhogNFoxKpVq7BgwQIAwJ49e3D48GE0NjaGvV+z2Qyz2ZzSaxeU0lKSu5ZKCoww6CS4PDL6nW6UqXWBREREOS5jgUxxcTEmTZoU9DGr1YrKykrl44sXL8Zdd92FiooKlJSU4Lvf/S4aGxtx7rnnZuKSBxGlpUSbdEUAZDHpYTHq0W13cSgeERFRHDLa7BvNo48+Cp1OhwULFsBut2Pu3Ln47W9/m+nLUoiMjNMtw+HywGSIr1InemusZj3MvkCGawqIiIhil1WBzHvvvRf0+4KCAixfvhzLly/PzAVFIXpkAG+ZKNFAxmI0wGLyfi0XRxIREcUu43NktMyo18Gk9z6EvQn0yYhAptCkR4HBGxTZmJEhIiKKGQOZJPkbfuMPQESPjNWsV+6HGRkiIqLYMZBJUjIbsANLSyIj0+9gs28oTZ39+PXbn6Gtxx79xkRElDcYyCRJBDIJlZbsLuU+CkRGhnNkQnrqg4N49O1P8ey6w5m+FCIiyiIMZJJUKI5gx5mRkWUZfb6gpdCsh8Xo/afgvqXQOvocAIB2ZmSIiCgAA5kkJdojY3d5IMve/y80GVBgZEYmkn7ffJ1uW2LDB4mIKDcxkEmSNcHSUq/df3uL0TsQD2AgE454XLoYyBARUQAGMklKtLQkMjgFRh30OknJyLC0FJoIZLptzgxfCRERZRMGMklKtLQkAhYRCPlLSzy1FIo/kGFGhoiI/BjIJMma4OJIUVoSJaUCNvtGJB6XbjszMkRE5MdAJkkWX0Yl7oxMwJ4lAOyRicLGZl8iIgqBgUySChMsLSnD8AaVlhjIhCICv26bC7I47kVERHmPgUySChMtLYn1BKaBGRn2yIRi961ucHtklt+IiEjBQCZJhUmWlkQgZBY9MlwaGVLg48LyEhERCQxkkpRoRmZgaUnJyHBp5CCyLMPm8meqGMgQEZHAQCZJiffIBJeWlDkyzMgM4nTLcHv8fTGcJUNERAIDmSQlOxBPzKER/7W72CMz0MAsFTMyREQkMJBJUqE5sRUFfQN6ZCzMyIRlczCQISKi0BjIJEkEIvFnZFy+rxfHr73/FOyRGWzgKSWWloiISGAgk6RCY2KnlgZmZNgjE97AI+nMyBARkcBAJkmitNTncMPjiX1Q28Dj1yKQsbs8cd1PPmBGhoiIwmEgkyQRiADxlYV6B5SWRI8MwIbfgQZOO+5iRoaIiHwYyCSpwOAPQOIpL4XLyABcHDnQ4IwMAxkiIvJiIJMknU7yz5Kxx5ORCT5+rddJMOl9Db8MZILYBzwePdyATUREPgxkVKAEMs7YMwXK9mtfaQkIWFPAQCYIMzJERBQOAxkVWBKY7us/fu0vKVm4ATskcWrJoJMAMJAhIiI/BjIqEFmVZEpLgL9PhoFMMJG9qi42A+CpJSIi8mMgowJLnIsj3R4ZDt/JpMDSkj8jw1NLgcRpsBolkGFGhoiIvBjIqECZ7htjJiUw4AnOyPh6ZDgUL4htUEaGgQwREXkxkFGBmAXTG2NpSfTS6CTAbPD/EyilJa4pCGLzZa9EIONwe1h+IyIiAAxkVFEYZ2mpL+DEkiRJysctCe5tynXi8ai0mpWPMStDREQAAxlVFMZ5akkEPIFlJcA/XM/Gyb5BRPal0KxHkdmb/WLDLxERAQxkVCFKS7EHMr6MjNkQ9HER2NiYkQkieo8sRj2KC0Qgw4wMERExkFGF0uwbZ2kpcL8S4G/2Zf9HMPF4FAQEMj12BjJERMRARhUik9IbYyalP8QwPMDf7MvJvsHEcXRvRsYIgKUlIiLyYiCjAjELJtYmXXG6qXBAaamAc2RC6lcyMjolI8MN2EREBDCQUUW8A/H6RPPqgNKShRmZkIJLSyIjw0CGiIgYyKiiULXSEntkQgnd7MvSEhERMZBRReKlpdAZGQYywey+UlsBTy0REdEAGQ1kVqxYgSlTpqCkpAQlJSVobGzEv//9b+Xzs2bNgiRJQb9uvvnmDF5xaPGWlkSGodAU3CNjZmkpJCUjY9KjhM2+REQUwBD9JqkzbNgwPPTQQxg7dixkWcaf/vQnXHXVVdi8eTPOOOMMAMC3v/1tPPDAA8rXFBYWZupyw7LGPUfGNxAvTI8MMzLBlB4ZQ+BAPGZkiIgow4HMFVdcEfT7Bx98ECtWrMDatWuVQKawsBB1dXWZuLyYWeKd7GsXA/HCHb/mqSVBlmX/qSWTjqUlIiIKkjU9Mm63G88//zx6e3vR2NiofPyZZ55BVVUVJk2ahKVLl6Kvry/i/djtdnR1dQX9SrXCOHckKQPxBpSWREbGzoyMwuH2QJa9/x90aokD8YiICBnOyADA9u3b0djYCJvNhqKiIrz88suYOHEiAOAb3/gGRowYgSFDhmDbtm34wQ9+gD179uCll14Ke3/Lli3D/fffn67LB+AvLTncHjjdHhj1kePDXnFqaWBpyeT9OvbI+Nkc/uwUTy0REdFAGQ9kxo0bhy1btqCzsxMvvvgiFi5ciNWrV2PixIm46aablNtNnjwZ9fX1mD17Nvbt24fRo0eHvL+lS5firrvuUn7f1dWFhoaGlP4dApc/9jncKLVEDmT6HaFLS2YDe2QGsrm8j4VeJ8GoZ2mJiIiCZTyQMZlMGDNmDABg2rRp2LBhA37961/jd7/73aDbzpw5EwCwd+/esIGM2WyG2WxO3QWHYDLoYNBJcHlk9DlcKLUYI94+bGkpzhJVPugfsJeKp5aIiChQ1vTICB6PB3a7PeTntmzZAgCor69P4xXFpjCOht++KLuWbC42+woiIyOGBYqMjM3pLeMREVF+y2hGZunSpZg3bx6GDx+O7u5uPPvss3jvvffwxhtvYN++fXj22Wdx+eWXo7KyEtu2bcOdd96JCy+8EFOmTMnkZYdUaDKgy+aKKZsigp2BgYzIOjhcHrg9MvQ6Sf0L1RjxeIogryhgP1W3zYUKqykj10VERNkho4FMa2srrrvuOjQ1NaG0tBRTpkzBG2+8gUsuuQRHjhzB22+/jcceewy9vb1oaGjAggUL8JOf/CSTlxyWsqYghtM0/Y7QA/FE1gEA7C73oM/no35ncCBj0OtQaNKjz+FGt83JQIaIKM9l9JXyySefDPu5hoYGrF69Oo1XkxyxbqAvSqOuLMv+U0sDS0sG/+/7HQxkAP96gsDhgUVmgy+QYcMvEVG+y7oeGa0qNMa2b8nu8sDjm4syMJDR6SSYDL7FkeyTARC8MFIQfTJdbPglIsp7DGRUYomxtBQY6ITKuIgXbJ5c8hJH0c0BZTdlKB4zMkREeY+BjErETJhow+xEWcls0IVs5hV9Mpwl4xUpI9PDQIaIKO8xkFGJxRjb4sj+MCeW/PfDoXiBbL4emYKAQIazZIiISGAgoxJljkyU0lJfmBNLgn9xJAMZwB/QhcrIsLREREQMZFSinFqKkpEJd2JJUIbicQM2AH8gUxDUI+MLZLg4kogo7zGQUYk4tRTt+HWspSVmZLyUgXimwIwMS0tEROTFQEYl8ZaWLGEzMmz2DaSsKDCEOn7NjAwRUb5jIKOSWEtLYs+SNUyPjAhwGMh49Tt8A/FCZmQYyBAR5TsGMiqJdWlk1IyMgYFMIH9Gxv+tKvYtsbREREQMZFQiTiGJjEs44RZGCqIXRGQi8p0tROBXwlNLRETkw0BGJbFnZMSppTDHr0VGxsWMDBCQkTEOLi1xIB4RETGQUUm8paWwp5ZM3n8SrijwUk4thZwjw9ISEVG+YyCjEn9pKUogY49SWvJlZOzMyAAA+kNsvxaBTK/DDbfYwElERHmJgYxKCpXelig9Ms7Ik30tyv0wkAEAuzN8aQlgeYmIKN8xkFGJCED6nG7IcvgsQX+Uyb5mTvYNEmpppMmgg9l3iqmL5SUiorzGQEYlYi6MLEcOQnrtkY9fc7JvsFArCgDOkiEiIi8GMioJzBhEOoItSkvhBuJxsm+w/hClJSDwCDYzMkRE+YyBjEp0OkkJQiI1/EYrLVmMHIgnyLKsZLcGBjLcgE1ERAADGVVZYzi5xNJS7Owuf4lu4ONVpGzAZkaGiCifMZBRkdLwG6G0JAIUqzl0aYnNvn6BWanAFQUAUGxmjwwRETGQUVUsQ/FEkGMxMiMTjXgMjHoJBv3AZl+WloiIiIGMqqINxXN7/D0f4TIybPb1U/pjDIODPp5aIiIigIGMqgqjlJYCsyzhVxSw2VdQ1hOEeKy4poCIiAAGMqqKVloSAY4kQRnoNpDIPjjdMlzu/O6T8S+MHPxYsbREREQAAxlVRSstiT1LVpMBkiSFvE3g6RybK88DGcfgqb5CiVJaYkaGiCifMZBRkZKRsYfOEogAJ9zRayA4U5Pv5SV/RiZSaYkZGSKifMZARkWB+5ZC6XdGHoYHAJLkH6yX74sj+x2hh+EBbPYlIiIvBjIqEgPxwgUgYhheuM3XgnjhtrvyPJAJsTBSYLMvEREBDGRUJTIyvVFKS5EyMkDALBlHnvfIhFkYCQRM9mVGhogorzGQUVGhCqUlwJ+RseV5RsYWQ0amx+GCxyOn9bqIiCh7MJBRUeylpdgCmXzvkbGF2XwN+E8tyTLQG2ElBBER5TYGMiqKVlrqd8TaI8PpvoC/RyZUIGM26GDUe4+ws7xERJS/GMioyGqOvCcpluPXAPctCcqKghCBjCRJPLlEREQMZNRkMUYZiOcrgVhjDGSYkQnfIwPw5BIRETGQUVXsA/FiO34tMhL5KtKpJYBD8YiIiIGMqkRpKdypJdGUGnOzb55nZJRTS2Eer2Kzt7TUxYwMEVHeYiCjIkuUXUui2TdaaYnNvl5Kj4whWmmJGRkionyV0UBmxYoVmDJlCkpKSlBSUoLGxkb8+9//Vj5vs9mwZMkSVFZWoqioCAsWLEBLS0sGrziyQl8mxeHyhNxcHWtpic2+XiLwKwgT+HEoHhERZTSQGTZsGB566CFs2rQJGzduxMUXX4yrrroKO3bsAADceeed+Oc//4kXXngBq1evxvHjx3HNNddk8pIjKjT7X3BDlZf64iwt2fO9R0YsjTSE/jblBmwiIoqcGkixK664Iuj3Dz74IFasWIG1a9di2LBhePLJJ/Hss8/i4osvBgA89dRTmDBhAtauXYtzzz03E5cckUmvg14nwe2R0Wd3Ky+0QswrCkwciAf4//5he2TEdN8wzdVERJT7sqZHxu124/nnn0dvby8aGxuxadMmOJ1OzJkzR7nN+PHjMXz4cHz00Udh78dut6OrqyvoV7pIkqSUl/pCTJuNdSCe2ZeByPcVBXaXNyMV/fg1Axki4Yn/7McrW45l+jKI0ibjgcz27dtRVFQEs9mMm2++GS+//DImTpyI5uZmmEwmlJWVBd2+trYWzc3NYe9v2bJlKC0tVX41NDSk+G8QTJSXQjX8xnpqiRkZL6VHJmwgw9ISUaADbb34xb924Ucvbc/0pRClTcYDmXHjxmHLli1Yt24dbrnlFixcuBA7d+5M+P6WLl2Kzs5O5deRI0dUvNroCiOcXIq1tCRO6dhc+d0jE2lFAeDPyHQxI0MEAPispRsA0Otw5/2pR8ofGe2RAQCTyYQxY8YAAKZNm4YNGzbg17/+Nb761a/C4XCgo6MjKCvT0tKCurq6sPdnNpthNptTfdlhWcKUlmRZjrm0JDIytjzPyEQfiMcVBUSB9p3oVf6/y+YM+yaAKJdkPCMzkMfjgd1ux7Rp02A0GrFq1Srlc3v27MHhw4fR2NiYwSuMTNm3NCAIcbg9cHlkAMGnm0JR5sjkcY+MxyPH0SPD0hIRAOw/0aP8f1c/A3zKDxnNyCxduhTz5s3D8OHD0d3djWeffRbvvfce3njjDZSWlmLx4sW46667UFFRgZKSEnz3u99FY2NjVp5YEsSMmN4BgUxgYFMY5V2SMtk3jzMy9oCyWrh3lSVs9iUKsi8wkGGAT3kio4FMa2srrrvuOjQ1NaG0tBRTpkzBG2+8gUsuuQQA8Oijj0Kn02HBggWw2+2YO3cufvvb32bykqMqVIKQ4BdX0R9j0utg0EdOhClLI/M4IxM4DDBas2+P3QVZliFJUlqujSgbybIcXFrqZyBD+SGjgcyTTz4Z8fMFBQVYvnw5li9fnqYrSl64U0vKMLwoZSUgMCOTv82+oj9GzOYJpcjs/fZ1e2T0OdywmjPe8kWUMe29DnQGBC9sgqd8kXU9MlonTiQNLC0pJ5ZiaL5TMjJ5fOqgP0qjL+B9rEWQw6F4lO/2B2RjAGZkKH8wkFGZOJEUrrQUbkptoAIGMgEnlsI/XpIkKVkZNvxSvgvsjwHYO0b5g4GMykRGJlxpKZbyh8jIuDwynCGWT+YDEchEC/w4S4bIa19rcCDDZl/KFwxkVBY+kPG9MMdQWjIHlFPyNStj8y3MFMMBw+EsGSIvkZGpLvbO0WJpifIFAxmV+Sf7hi4tRZvqC3h3LYkDOP15Gsgo6wlizMiwtET5bn+bt0fmrIYyAMxSUv5gIKOysBkZuzi1FL20JEmSkomwO/O0tOQ7el5giPwtylkyRN7M7ZGTfQCAM4eXAWBGhvJHwudVOzo6sH79erS2tsLjCX6xve6665K+MK0KG8g4Yz+1BHh7Q/qd7rzPyETvkeHiSKJD7X3wyN4M5aiqIgDskaH8kVAg889//hPXXnstenp6UFJSEjSITJKkPA9kQi+N7LPHXloC/JmIvO2RibKeQChmRoZIWU0wqroIpRZvcM+MDOWLhEpLd999N2644Qb09PSgo6MDp06dUn6dPHlS7WvUFH9GJkyPTIxD20RvSL6uKRALM6MtvWMgQ+Rv9B1dbUWJhSf5KL8kFMgcO3YMt912GwoLC9W+Hs2zhCkt9Tt9PTIxlpZEj4zNlZ89Mv0xzJEBgCKz790n0+iUx8RqgtHVRSgpYEaG8ktCgczcuXOxceNGta8lJ1iVgXjBgUyvPfaBeIG3y9uMTAyTfQF/RqaH7z4pj/kzMkUo8ZWW7C4P7Hm8r43yR0I9Ml/4whdwzz33YOfOnZg8eTKMRmPQ56+88kpVLk6L/CsKghcZigxNrPuARG9Ivj4RiYwMe2SIIpNlWVlPMLraimKzAZIEyLL358JcFNubJyKtSiiQ+fa3vw0AeOCBBwZ9TpIkuN35+eIL+DMpsux9R6QsgBSlpVibfX2ZiPzNyPgG4kUJZEQavdvONDrlp9ZuO3rsLuh1EoZXFkKn867u6La50NXvRFWROdOXSJRSCQUyA49bk584tQR4szDihbhXObUUY7Nvnu9bsjEjQxQTsZpgeEUhzL7eupICozeQ4c8F5QEOxFOZXifB7Ds63Ruwkbk/jsm+AAIyOfkZNMbeI8MVBZTfRH/MqCqr8jFlBxkbfikPJBzIrF69GldccQXGjBmDMWPG4Morr8R//vMfNa9Ns0SwEjjMrs9XWoq52dc4+D7ySaynlgJXFMiynPLrIso2yomlmiLlY6Lhl6f5KB8kFMg8/fTTmDNnDgoLC3Hbbbfhtttug8ViwezZs/Hss8+qfY2aE2oonhiIZ425tOT9p7HnaSBjizOQcbpl2PP0qDrlt8AZMoL/CDYzlZT7EuqRefDBB/Hwww/jzjvvVD5222234ZFHHsHPf/5zfOMb31DtArVIGYoXUFqKZ2kkwIyMKKlF65GxmvwnNLpszqiBD1Gu2R8wQ0bwD8VjRoZyX0IZmf379+OKK64Y9PErr7wSBw4cSPqitG7gviWPR/YfJ44xkDHnebOvPcaMjE4nocjEhl/KT30OF4519APwricQOBSP8klCgUxDQwNWrVo16ONvv/02Ghoakr4orROlpV7fmoLArEqspSVLnjf7+gO/6N+iHIpH+epAmzcbU15oRIXVpHxc9MgwuKd8kFBp6e6778Ztt92GLVu24HOf+xwA4IMPPsDKlSvx61//WtUL1KLCAVN5RWZGkqKfwhF4/Dq2jAzgO7nUaeOTNuWdfSHKSgBQUsDSEuWPhAKZW265BXV1dfjVr36Fv/3tbwCACRMm4K9//SuuuuoqVS9QiwbuWxIBjcWoD9oUHvk+8nv7dX+MSyOB4JNLRPlEzJAZFMhwAzblkYQCGQC4+uqrcfXVV6t5LTnDqpxa8mYIRIkp1mF4QMDSyDwNZMSyzGjNvgCH4lH+2u8rLY0KOLEEBPTI8GeC8gAH4qXAwIxMvCeWAKAgxCyafOH2yHC4YltRAPiH4jGNTvkmbEaGA/Eoj8ScIqioqMCnn36KqqoqlJeXRyyRnDx5UpWL06qBp5bineoL+DMRtjxs9g3MQjEjQxSaxyNjf5svkKkJU1picE95IOZA5tFHH0VxcbHy/7H2euQjseF6cGkpjoyMMbhhOJ8EBjJi3UMkXFNA+eh4Zz9sTg+MegkN5Zagz3EgHuWTmAOZhQsXKv+/aNGiVFxLzhBZhMEZmdh7ZMR92F35F8iIcprZoINOFz1gZrMv5SMxCG9EpRUGfXDALwbi9TvdcLg8MMXwhoBIqxL67tbr9WhtbR308fb2duj1nKxqNQdnU0RGJtZheID/mHZ+ZmRi748B/P0AzMhQPgm1mkAoMvvfNDHAp1yXUCATbjmf3W6HyWQK+bl8Yhk4EM8h9iwl0CPj8uTdMkRRWoqlPwYAikQgY+cTNuUPfyBTNOhzBr1OCWYY4FOui+v49W9+8xsAgCRJeOKJJ1BU5P8BcrvdWLNmDcaPH6/uFWpQoTH0QDxLHKUlsaLA7ZHhdMswGfKnJ8k/DC+2OLvY7O0H4GRfyif7WsXR68GBDODNVPbYXWz4pZwXVyDz6KOPAvBmZB5//PGgMpLJZMJpp52Gxx9/XN0r1KBCc3CPjMjMJJKRAbx17nyqcffHMdUX4Kklyk/KiaUQpSXAe3LpeKeNDb+U8+IKZMRCyIsuuggvvfQSysvLU3JRWleoDMRL/Pi1US9BJwEe2bdA0XecMh/E2yNTzOFflGe6bU60dNkBRMrI8Ag25YeEJvu+++67al9HTvHPkXH5/ht/aUmSJFiMevQ63Hk3FK8/zh4ZnlqifCNOLFUXm1Ea5k1OMYfiUZ5IeEXB0aNH8eqrr+Lw4cNwOBxBn3vkkUeSvjAtE4FMr9Ij4ystmeM70VXgC2TybSie0uwbYwZLvPO0uzw8akp5QTT6jqoKXVYCOBSP8kdCgcyqVatw5ZVXYtSoUdi9ezcmTZqEgwcPQpZlnH322Wpfo+aI0pLD5YHbI/szMjFmGARlKF6eZWTibfYVp5YAb1amssickusiyhYiIzNwom8g/5oCllwptyX01nXp0qX43ve+h+3bt6OgoAB///vfceTIEXz+85/Hl7/8ZbWvUXMCe2H6HK6AXUvxxY3ihTzfFkfa4mz21eskpZGaDb+UDyIdvRaYkaF8kVAgs2vXLlx33XUAAIPBgP7+fhQVFeGBBx7AL3/5S1UvUIvMBh3EQNo+h1spLRXGWVqy5OniyH5HfM2+ANcUUH6JNAxP8K8pYCBDuS2hQMZqtSp9MfX19di3b5/yuba2NnWuTMMkSQo6uaRkZOIsLSlrCvIskLG54i/FseGX8oXbI+NgWx+AaBkZjiWg/JBQj8y5556L999/HxMmTMDll1+Ou+++G9u3b8dLL72Ec889V+1r1CSLSY8euwt9DldCu5aA/O2REY9XrD0yQOB0Xz5pU247eqoPDrcHZoMOQ8osYW/H49eULxLKyDzyyCOYOXMmAOD+++/H7Nmz8de//hWnnXYannzyyZjvZ9myZZgxYwaKi4tRU1OD+fPnY8+ePUG3mTVrFiRJCvp18803J3LZaWU1+Yfi9doTKy2JQCZvTy2xtEQ0iCgrjayyQh9hqarSI8NmX8pxcWdk3G43jh49iilTpgDwlpkSnea7evVqLFmyBDNmzIDL5cKPfvQjXHrppdi5cyesVn/t99vf/jYeeOAB5feFhYUJ/XnpZAkoLYmMSjwD8YCAjEyeLY6Mt9kXYGmJ8odYTRDpxBLAjAzlj7gDGb1ej0svvRS7du1CWVlZUn/466+/HvT7lStXoqamBps2bcKFF16ofLywsBB1dXVJ/VnpJoKWzn4nnG7v0sdCY3wPt0WcWnLlVyAT74oCgBuwKX8oqwkizJABOBCP8kdCpaVJkyZh//79al8LOjs7AQAVFRVBH3/mmWdQVVWFSZMmYenSpejr6wt7H3a7HV1dXUG/MkEEMu09duVjsQ54E5TSUt5lZJI5tcQnbcptMWdkfKWlXocbLnd+lacpvyTU7PuLX/wC3/ve9/Dzn/8c06ZNCyoDAUBJSUnc9+nxeHDHHXfgvPPOw6RJk5SPf+Mb38CIESMwZMgQbNu2DT/4wQ+wZ88evPTSSyHvZ9myZbj//vvj/vPV5g9kvKe7jHop7omzokfE5sqvJ6F4VxQAQLGZGRnKD7HMkAH8GRnA+3NRbjWl9LqIMiWhQObyyy8HAFx55ZWQJH+zmSzLkCQJbnf8GYQlS5bgk08+wfvvvx/08Ztuukn5/8mTJ6O+vh6zZ8/Gvn37MHr06EH3s3TpUtx1113K77u6utDQ0BD39SRLnFBq82Vk4p3qCwDmPO2Rscc52RfgBmzKDx19DrT3et8cjYxSWjLqdSg06dHncKPL5mQgQzkrK5ZG3nrrrXjttdewZs0aDBs2LOJtxWmpvXv3hgxkzGYzzObMj6gXGRkRyFjN8T/USkYm345fJ3FqiY2NlMv2+VYT1JcWxPScUlJg9AYyPLlEOSyhQObzn/+8Kn+4LMv47ne/i5dffhnvvfceRo4cGfVrtmzZAsA7iC+biUDmhK+0FG9/DODPSOTbHBnRI2NO6NQSn7Apd8VaVhJKLAY0d7F3jHJbQoHMmjVrIn4+8MRRJEuWLMGzzz6LV155BcXFxWhubgYAlJaWwmKxYN++fXj22Wdx+eWXo7KyEtu2bcOdd96JCy+8UDn+na2U0lK33ff7+AMZZmTY7EsUKJbVBIF4BJvyQUKBzKxZswZ9LLBXJtYemRUrVoS8v6eeegqLFi2CyWTC22+/jcceewy9vb1oaGjAggUL8JOf/CSRy06rgaWleKf6AhyIF08WS2RkejjZl3KYOLE0KuaMDIfiUe5LKJA5depU0O+dTic2b96Mn/70p3jwwQdjvh9ZliN+vqGhAatXr07kEjNOBDJ234mjRDIy+bqiwMZmX6KQlBkysQYyYpYMMzKUwxIKZEpLSwd97JJLLoHJZMJdd92FTZs2JX1hWjcwA2NNICMjMhL5VFpyuT3KAMFESkt9vpkZBn1CI5KIspbT7cHhdt+yyJrYSkvF3IBNeUDVZ/va2tpBu5Ly1cAMTELNvob8a/YNnJmTyIoCgOUlyk2H2vvg8sgoNOlRV1IQ09eIDdhdzFRSDksoI7Nt27ag38uyjKamJjz00EM488wz1bguzRsYuCTU7CvKU3nUIxOYfTLHMUDQqNehwKiDzelBt82FskLOzKDccqDN2x8zssoa1JMYSQkzMpQHEgpkzjzzTEiSNKjH5dxzz8Uf//hHVS5M6wbOeEim2TefMjJi+F+BURfzk7VQXGCEzWlnPwDlpFO+QXg1xbHPyVKaffkzQTksoUDmwIEDQb/X6XSorq5GQUFs6c58MLC/g8evY2NL4Oi1UFxgwIluOxt+KSeJYET0vcTCn5HhzwTlrrgDGY/Hg1WrVuGll17CwYMHIUkSRo4ciS996Uv41re+Ffe76Fw1MHBJJJAxBwzEE+sfcl0iCyMF/ywZPmlT7hF9LqLvJRb+HhlmZCh3xdXsK8syrrzyStx44404duwYJk+ejDPOOAOHDh3CokWLcPXVV6fqOjVHjdKSyErIMuDIk+21iQzDE0qUI9h80qbcI/pcShLIyDC4p1wW16vrypUrsWbNGqxatQoXXXRR0OfeeecdzJ8/H3/+859x3XXXqXqRWqRGs29gVsLm8MBsiP8+tEaUluJZTyAUmTkUj3KXyKqIvpdY+AfiMbin3BVXRua5557Dj370o0FBDABcfPHF+OEPf4hnnnlGtYvTskJj8sevjXodDDpvOcnmyo8+GX9GJv7JAByKR7lM9LnEl5Hx/UzYXXB7Ig8gJdKquF4ttm3bhssuuyzs5+fNm4etW7cmfVG5wKDXwRRwfDiRgXhAwMklR34EMv6pvon3yLAfgHKRPyMT+3NJYGNwDwN8ylFxBTInT55EbW1t2M/X1tYOWl+QzwLLSYlkZICAfUt5kpFJ9tQSwIwM5aZEemRMBp2y6oMBPuWquAIZt9sNgyH8uwG9Xg+Xiy8iQmB5KZEeGcC/byh/MjK+U0sJPF48tZReDpcH/9h8DEdP9WX6UvJCt3JqKfZABvAHPp3sk6EcFVe9Q5ZlLFq0CGZz6IFMdrtdlYvKFYUBJ5cSLS1Z8mwonvh7FiTQ2KwsyOMTdsq5PTLu+tsWvLatCXMm1OCJhTMyfUk5z5+Rie+5pMRiRGs3B0VS7orrJ2LhwoVRb8MTS35qlJbybU2BUloyxd/sW+5bS9DBQCalZFnGT/7xCV7b1gQA2NPSneEryn0ej4wehzcjE89APCAwwGemknJTXIHMU089larryEkWNUpLBmZkYlVu9T7Bi1HulBoPv7EHz60/rPz+eIcNTrcHRm4cT5luuwtiI0xxAhkZgPOVKHfxmSeFAofiJdK8Cvh7RfJlTYHIPCWSwRIZGQYyqfP46n1Y8d4+AMCyaybDbNDB7ZHR1GHL8JXlNlFWMht0cZ/oU9YUsHeMchQDmRQSL8YWox46XWLrBQoM/jUF+cC/NDL+QKbC6g1kuu0uOFz5UYpLp+fWH8ZD/94NAFg6bzy+fs5wNFQUAgAOn2TDbyolMgxPUNYUsORKOYqBTAqJU0uJlpUAfzBky5ceGVfigUxJgREiXuzoY1ZGTa9tO44fvbwdAHDLrNH4r8+PBgAMZyCTFv5hePEfGijhfCXKcQxkUkiUlgrNiQcyolckX0pL/oxM/N+aOp2klJdOMpBRzXt7WnHnX7dAloFvzByO788dp3yOgUx6JJORKeYGbMpxDGRSSGRTCo2JHb0OvI+8CWSSGIgHAOW+8tJJ9smoYuPBk7j56U1wumV8cUo9fn7VpKAt7KK0dISBTEolMgxP4AZsynUMZFLIKgKZJDIy5jwbiCeafRMpLQFAhdLwyyftZO083oXrV26AzenBrHHVeOQrZ0I/oNeLGZn06EpwGB4QUFpijwzlKAYyKWTxDcFLqkcmz1YUJJuRKSv0HcFmaSkpR0724bo/rke3zYXpI8qx4tppQbvDBAYy6ZHoMDwgYAM2Ty1pXnuPHY+9/SmOdfRn+lKyCgOZFKop9k5Ari4KPQk5Fv6lkXnS7OsLZMwJ9MgA/pNLPIKdnKfXHUJbjx3j64rx5KIZYY/DN1RYAHjH33f28R1/qiS6ngDgxOtc8vyGI3js7c/whzX7M30pWSXx5g2K6tIzavHwgik4f2xVwvfBjEx8lB4ZZmSS0trlXTdy9VlDURrhxbPQZEBVkRltPXYcOdWH0sLSdF1iXhH9LfEOwwM4EC+XNHV6MzEtXZzbFIgZmRQyG/T4yowGDCmzJHwf4vSOLU96ZGyq9cgwkEmGaJYWgWEkIypZXkq1pJp9xTJVuwsej6zqdVF6tfd4fy55mCEYA5ksV5BnGRmbahkZvvtMhugxEoFhJKJP5lA7A5lUSe74tTeLI8tQ9jWRNolAhj2AwRjIZDl/j0yeBTIJNkhXcN+SKuLJyHC6b+olMxCvwKiH2deozT4ZbWvv9ZZ8T/JUZhAGMllOZCb682Cyr9PtgcuX+k5kaSTg37fE1GtyOnwZrYoYApnhnCWTcslkZAAOxcsV7b7ntY4+B2SZZUKBgUyWE5kJex4MxAsc+ldgSuxbUwQyXFGQOLvLjR679wUvntISMzKpk0yPDMCheLnA6fYobzBcHhnddgalAgOZLCcyE/mwNFL8HSUJMOkTDGR8GYRehztvpiGrTTxZ6nVSTKdkRCBzrKMfLnfuZw7TzRPwoiUCknhxKJ72DeyLYfncj4FMlrP4MhP58KIspvpajPqgMfjxKCkwKNNnO9jwmxClP6bQGNPW9ppiM0wGHdweGU2dPBaqth6HC6KKkHhGhkPxtE40+gosn/sxkMly5jgyMu9/1oafv7YTTo2+KxZ/x0SPXgOAJEnsk0mSeKdXFkNZCfAu62wo944YYHlJfWIYnsmgS/hng0PxtG9gIMOTS34MZLKcf2mkJ2JzlyzLuOfFrXjy/QNYvedEui5PVckevRaUk0v8QU/IyTiOXgvsk0mdZNYTCP6heMzIaJU4sSTw5JIfA5ksF/gOzO4Kn2n55FiXktZv67GHvV02E0fME11PIDAjk5xTytHr2MsYDGRSJ9lG38CvZbOvdg3KyPD5TcFAJssVBCzqi9Qn8+bOZuX/tTqeP9n1BIKyb0mjj0OmnYrj6LXAWTKpI/paihM8eg0EnFpiaUmzBmVk+PymYCCT5Qx6HYx6b8NlpD6Zt3a2KP+v1Ug92fUEgjLdV6OPQ6b5m33jLy1xloz6VCktMSOjeeLnUgw35IgJPwYyGqCsKQgzFO9wex92N3crv9dq7VStHpnyQu+TNk8tJUZZTxBHRmY49y2lTLLD8AD/mgIOxNOuNl9paXR1EQC+UQvEQEYDoq0pCCwrAdotqdiUU0vskcmkRDIyDeXeQKajz4lOli9U5V9PkExpiRkZrWv39T6OqfEGMqc0+oY1FTIayCxbtgwzZsxAcXExampqMH/+fOzZsyfoNjabDUuWLEFlZSWKioqwYMECtLS0hLnH3GSJsjhSlJUaR1UC0O4LuBrHrwH2yCRLPG7xNPtazQZUFXkfd5aX1OXPyLC0lM/E87oIZNgj45fRQGb16tVYsmQJ1q5di7feegtOpxOXXnopent7ldvceeed+Oc//4kXXngBq1evxvHjx3HNNddk8KrTT2QobCEyMid7Hdhw8CQA4CszhgHQbu3UFjAQLxnskUmOeKcXT0YG8Df8MpBRlxqnlkotLC1pnTi1NFbJyPD5TUg8xFfB66+/HvT7lStXoqamBps2bcKFF16Izs5OPPnkk3j22Wdx8cUXAwCeeuopTJgwAWvXrsW5556bictOu0gZmXd2t8IjAxPqSzB5aBkA7b6Aq5aR8b0A8wc9MeL7J54eGcDb8Lv5cAf7ZFQmZr8k0yMjgqBumxOyLCc8OZsyw+5yK2sqlNJSnwMejxzT9O1cl1U9Mp2dnQCAiooKAMCmTZvgdDoxZ84c5Tbjx4/H8OHD8dFHH4W8D7vdjq6urqBfWufvkRnc7PvmDm9/zCUTa5UXni6bS5PTfcViTDEEMFHicWDqNX42p1sJKMsTCGQANvyqTSktqTAQzyN795CRtog3FwadpDTWe2SWCoWsCWQ8Hg/uuOMOnHfeeZg0aRIAoLm5GSaTCWVlZUG3ra2tRXNzc4h78fbdlJaWKr8aGhpSfekppwQyA45f9zvcWPOZd4rvpRNrUWoxQrzR0uKJHSUjY0iy2df3AmxzesI2SFNooj/GoJNQbI7vhZOzZFLDH8gknpExG3TKIlbOktEeUVaqLDLBbNArP5unNPg8nwpZE8gsWbIEn3zyCZ5//vmk7mfp0qXo7OxUfh05ckSlK8wcpbQ0IJB5f28bbE4PhpZZcMaQEuh1Esos2h3Pr5xaSjIjYzXpldk7zMrERzmxZDXFXX4YwR6ZlFBOLSXR7CtJkn8oHt/Fa46Y1l5hNQNgH+BAWRHI3HrrrXjttdfw7rvvYtiwYcrH6+rq4HA40NHREXT7lpYW1NXVhbwvs9mMkpKSoF9apzT7Dghk3trpLyuJFx0tf4P3i4F4huQCmcDFkeyTiY9o9I1nz5IgUt5HT/XDpcHSZrZSIyMT+PVs+NUe8XwuTgaKWVl8fvPKaCAjyzJuvfVWvPzyy3jnnXcwcuTIoM9PmzYNRqMRq1atUj62Z88eHD58GI2Njem+3IzxL470BzJuj4xVu1oBeAMZQcuNrjaVemQAHsFO1MkEjl4LtcUFMOl1cHlkZe8XJUeWZf+ppSSafYHAoXjMyGiNUlryPa+Vsw8wSEZPLS1ZsgTPPvssXnnlFRQXFyt9L6WlpbBYLCgtLcXixYtx1113oaKiAiUlJfjud7+LxsbGvDmxBABmw+AemY8Pn0J7rwMlBQacM7JC+XiZCGQ0WDtVayAewKF4iTqVwDA8QaeTMKzCgv0nenHkZJ/SM0OJ63W44fEtvU86I8OheJrV1htcWtLyG9ZUyGggs2LFCgDArFmzgj7+1FNPYdGiRQCARx99FDqdDgsWLIDdbsfcuXPx29/+Ns1Xmln+jIw/XS9OK108vgZGvf+Fv8Kq/R6ZZOfIAAEZGf6gxyWwRyYRwysKsf9ELw6f7MPn1LywPCWyJ0a9lHSA7y8tMZDRmpMBzb4AMzIDZTSQkWU56m0KCgqwfPlyLF++PA1XlJ0KBmRkZFnGm75pvpdMDO4V0naPjPfvZ1YhkBGlkZMazExlkhimmEiPDMAj2GoL7I9JdvaLv9mXPTJa0z6gR4Zv1IJlRbMvRWYxBTf7ftbag0PtfTDpdfj8uOqg22o55SiOSquSkdHw45BJIvBLJiMDMJBRi//EUnJlJYAZGS1rH3hqSSmd898SYCCjCQUDjl+L3UqfG1OJogGzPrScchSls2Qn+wLafhwy6ZQy1TexF06uKVBXty8jU5zEMDxBBEPdzMhojsjIVCoZGe+/pVbX0aiNgYwG+AMZ7wu96I+5dOLgI+jZlom4+29bce0Ta2OaNKxmjwyPXycmkc3XgRLNyPz0H59g0VPrNTmROpXUOnrtvQ/OkdEqcWqpypeREYc6+EbNK6M9MhQb/4oCN5o7bdh61LvKYc6EmkG3zaZMhN3lxt8/PgoA2N3UjcnDSiPeXtVAxqrd01uZJJrE492zJIiMzKk+J7pszphegI+e6sNf1h4CAHza0o0zhkT+PsknagzDE3hqSZv6HC6lf7CCPTIhMSOjAYFLI9/a5S0rnTW8DDUlBYNu6/8Gz/yTlXgXAQA7mzoj3laW5YClkcl/W2ZbZkoLZFlOOiNTZDYosy5iLS+JUikAtHRx/kwgNTZfCxyIp03iedRs0MHqO8Eqfj47+p1we6Ifmsl1DGQ0wBKQkXlLOa1UG/K2YuJjj90FhyuzafoT3Xbl/3c1dUe8rdMtK/Mykl1RAASeWnLEdDqOvKfG7L7vmUSbfYH4+2SCAxl7hFvmH6W0pEKzbzFLS5rkP7FkVk6ulfme52UZ6GTzNgMZLRAZivZeBz7a1wYgdH8M4H3XpVMWR2Y2GxEYyOw8HnkLeeCwv2RXFAD+zJTD5UEfF0fGRJThTHr/O79ExNMn09HnwLoDJ5XfN3MicBCltKRisy9PLWmL/8SS/82FUa9Tvie0OGpDbQxkNED0yJzotsPpljGqyooxNUUhb6vT+fcMZbpP5kRPYEamK2JmxO4LZPQ6SVn4mAyLUQ+zb4s2f9Bjo0z1tSY3sySeQObdPa1BqfHWbgYygdTMyCilJZuLWUoNGXhiSeAaFj8GMhow8DjyJWeELisJ2TIULzAj02134eip/rC3VfpjDLqkB38B3sWR/EGPT7L9MYI/kAn/7y28ucNbVqrz9XsxIxNM1VNLvoZht0dmllJD/HuWzEEfL2fDr4KBjAYMXKJ4aZj+GMHf6JrZFHJbT3C/w44I5SVxtFyNhZFCGfctxSXZE0tCrD0yNqcbqz89AQD4+jnDAbBHZiA1Ty1ZjHoYfHVn9slohygtDczIKCMm+EaNgYwWFBj8/0xVRWac2VAe8faBja6ZJDIyet+T586m8IGMsp5Ahf4YwT80ik/asUh2z5IwvNIbyBw91RfxRMWH+9rQ53CjrqQAs32jBHhqKVi3ihkZSZI4FE+DxM9lpTV0IMPpvgxkNCEwSzFnQo0SGISTLTMGRCAzbbg38NoVIZBRZsiomJHhBuz4KFN9kywt1ZUUwKiX4HTLaI4QmASewKsv9ZaW2nsdGT9tlwqJHpEVe5GKVQhkgICheDne8JtLPUBtSo9McGlJywuC1cZARgMCT/FcGqU/BvCXVDL9DS6afS88vQpA5JNLas6QEdgjEx+RwRNH+BOl10kYVu7rk2kPXV7yeGS8tbMVgPd7urzQpDR551rD7yNv7sHU+9/Epy2RRxAMJMuyf46MCqUl7/3k/lC836z6DJPvi//xzlZKaWlgRiZLeiGzAQMZDdDpJHz+9GqcMaQEnxtdFfX22TIMTmRkLjzdu9jyWEc/OsOUeewqTvUVmJGJz6kkF0YGalAafntDfn7zkQ609dhRbDZg5shK6HQSaoq9WZlc65N5cdNR9NhdQcfMY9HvdMPly+SoUVoKvJ9cHYrX2m3D/767Fz12F9b4+q+07mS4U0tZ8jyfDbiiQCNWXj8j5tM8/jUFmXvX1Wt3KScjRlUXYVi5BUdP9WNnUxcaR1cOur0/I6NmjwwzMvHwL4xMPpAZEeUItigrXTS+BiZfD1htiRnHOvpzqk/mWEc/jvtOYrXEeSJLBBt6nYRClUquuT4Ub+UHB5XS5PEO7X8fybLsP7VUFPrUUqZ7IbMBMzIaEc+RZKV2msFIXZxYshj1sJr0mFBfAiB8n0y/Q73N1wJTr/FR6/g1EP0I9ps7vYtPAydU15WKjIz2X4CEjQf9WZh4/17+o9cGVUYSeO8rd4fidducys4uADjeEf34f7brtrvg8C1SHVhaypZeyGzAQCYHZUNJRZSVqou9Y7Un+gKZcCeXbKnIyGTJMXStUOv4NRBYWhqckdnb2oP9J3ph1EuYNa5a+XgulpY2HTql/H+kxudQ/P0x6pSVvPclMjK5V1p6dt1hdNtcymGI453aD2RO+rIxVpN+0HOj//g1n98YyOSgbCipBAYyADBxiC+QCdPw26/0yKj3LSn2kTD1Gp0sy0rAp0aPzPAIs2REWalxdFXQaZxczMhsOOgPZFrjDNDUHIYn5GpGxu5y48n3DwAAvnXuCAC5kZFp7xUzZMyDPiea8jv7nXC5c++kXzwYyOQg8ULU53ArmY50EyeWqn0/gCIjs7e1J+Tx2lQ0+4qAroOLI6PqdbiVFHayx68BoKHCAsCbFewe0I/xlq+sNHCwY22J93slVwKZLpsTu5v9gXv8GRn1huEJuXpq6R+bj6G12466kgJ8Z9ZoAEBbjyNjz39qaesJ3egLAKUWI0TFsSPHAtN4MZDJQcVmgzLBM1PD4AZmZIaVW1BsNsDh9mDfiZ5Bt09Fs69IvTrdMnrsuZdKV5OosxcYdarM8ikuMCqB5JGAPpnWbhs2H+kAMHiDe61YU5Ajgczmwx2QZX9vQ2e/M64XVjWH4QkiKMqlgXhuj4zfrdkPAFh8/khUF5uVN0RaX3kRbhgeABj0OpRaMt8PmQ0YyOQgSZIyPp5fBDJVvoyMJEmYEKG8JFYUqBnIWEx65QmNfTKRnepTr9FXCNUns2pXK2QZmNpQpgQugvh9vCWYbCUafT9/erXyfRhPtsk/DE/FjEwOlpbe2tmM/Sd6UVJgwNdnDockSRhS5v1e0np5yT9DZnBpCfBnT/P9QAMDmRyV6amP4tSSyMgA/vJSqJNLqcjIAP7yUr70yfQ73OhPYCGgmieWhFB9Mm/uCF1WAvyBTI/dlRMZtI2+/pjpp1UElM1iD9KUZl9VMzL+Ddi5QJZlrFjtzcZ8q3EEiszeoG9Imbe0eUzjgUyk0hIQsDgyT57fwmEgk6MyfXJpYGkJQMSTS7YUNPsC/r1T+ZB6dbo9uGbFhzj/l+/EHQioeWJJGO7rkxEZmR67Cx/sawcwuKwEAEVmg/JCpPU+Gafbg81HRCBTnlDZTGn2VfPUUo5lZNbuP4mtRzpgNuiw6HMjlY8P9QUyWp8l0x5lthP3LXkxkMlRmT65FDKQGeIPZAY236bi+DWQ+YAunV7bdhy7mrrQ3uvAnub4xrOfVPHEkjB8QGlpzacn4HB5cFplIcbWFIX8GiVzofHehp3Hu2BzelBqMWJMdVFA2SyOQEY0+6pZWrL4B+LlQgP846v3AQC+PH1Y0HNNfakIZLSdkTnZG1yiHyjTmfdswUAmR2VyGJwsy/5TSwFPLmNqiqDXSejocw56Zyp6ZNRcGgnkz6p7WZbx+Hv7ld+HOvYciX9hpHrv/hsGlJYCl0SGG/AmXvBbNL5vaYOvP2b6iHLodJJytDye5tNUZGTEcXenW1Z+5rRq5/EurP70BHQScNMFo4M+p/TIaHyWTHu00hLXFABgIJOzMrmHo7PfCafb+26vKuAHsMCox5hq7zvxgQ2/okfGbEhRj0yO/6C/u6cVewKW5IVbDRCOsjAyBRmZo6f6YXe5sWqXN5C59Iy6sF9TJ0owndpu+BX9MdNO825+r/EF9C3dme2RsZr08B1o1PwRbJGNuXxyPYZXFgZ9zl9a0nYgI3pkwpaW8qwHMBwGMjnK3wSW/icrUVYqKTAMCkzCDcZTemRSlpHR9pN2NCIbI064xBvIqLlnSagvtcCgk+Bwe/DPrU3osrlQaTXh7OHlYb+mpkT7Q/FkWcZG30TfGadVAAgY9hdXRkbMkVEvkJEkyd/wq+E+mSMn+/DatuMAgJs/P3rQ54cE9MhotYTm8chKJjlsaYkZGQAMZHKWmPqYiZJKqLKSMKG+GACwqzl0RqbAoO63ZDbsnUq1TYdOYf3BkzDqJXz34jEAEghkUnD8Wq+TMKzc+4LyxH+8gdbsCTXKCPlQ6nJgKN6h9j609dhh0usweWgpgMRKZv4VBeru9lUafjWckfnDf/bDIwMXjK3CJN9jHEgEjv1Od8ZmaSWrs98Jt2/7ebify2xYEJwNGMjkqEz2yIRq9BUm1nufdAZmZOyp6pHJg9SrSLFffdZQJQMQf4+Mr9lXxUAG8PfJ7PY1H18yMXxZCQh4wddwICOyMZOHlSrN6/6SWWwZAlmWlaF1apaWAO3vW2rrseOvG44AAG4JkY0BvGVsUdbW6hFssZ6gpMCgbIgfKB/eqMWCgUyOymTK0R/IFAz6nMjIHGzvCzoinLI5Mjmeev2spRtv7WyBJAE3XTha6Utp7rLFNUXW3yOj7oumuB7Au37igrFVEW9fq+xb0m6PjBiEN/00fwlNBPV2l0c5jRSJ3eVRVkaoORAP0P4R7D99eBB2lwdThpWicXRl2NuJ8lKTRk/AiUbfcGUlgM2+AgOZHJXJQXAD9ywFqiwyK+9OdwfMkxFD3NTctQTk/sAoMZr9kgm1GFNThAqrCVaTHrIc+ztR78JI9XtkgOBA5oKxVVEDVeWYcrcNHo82exv8J5YqlI8VGPVKuTeWWTIiyNBJgNWUqtKS9jIyvXYX/vzRIQDe3phwp98AYIjGj2CLGTLhTiwB/p/XbrsLzjxeHMlAJkeJF3Cb05PQpNdkRCotAQF9Mr5ARpZl2FypnSNzqs+p2RfGcJo6+/HKlmMAgJt9i/IkSQq5GiCSbrsLrii1+EQFBjKRTisJ4nSP0y1rshx4steBfSd6AQDTRgQ3NcdTNhP9K8UFRugi9BQlQiktaTAj89z6w+jsd2JklRVzo3w/DdH4ySWxniDSm4uSAqNyCi1X36zFgoFMjrKa9DDpvf+86X5BiBbIBA7GA7xpdNE2UKDyZN8y37tgt0fOqUV5APDkfw7A6ZYxc2RF0EmgUKsBIhHZmEKTXvVAUhyL1UnAxeNrot7eqNcpvQ1a7JPZ5OuPGV1tHfQCVBPHdN/OFGy+FrTa7OtwefDk+wcAADddOCpi0zjgnyWj3R4ZkZEJX1rS6fx79fJ5nxwDmRwlSVLGxvP7F0aGficxsOHXHjCYS+0X0gKjHlZfA7EW3+GH09HnwHPrDwPwZ2OEEb7g4XB7bIFMKvYsCRPrS3DDeSPxky9MjLlspeWG342HvGUl0XQdSJzIimW6b1cKNl8LxUqPjLYC+1e3HkdTpw3VxWZcfdbQqLfPmR6ZKD83omSZ67OyImEgk8MyNdVWDHGKVlra3dwNl9ujNPoadBKMevW/JXOxT+YvHx1Cr8ON8XXFmHV6ddDnREbmUKwZmRTsWRIkScLPrpiIG84fGf3GPv5ARnsNv4GLIgeKZ99SKobhCYFrCrTC45GV03k3nDcypjc8mi8t9UYvLQV+Ppee3+LFQCaHZWLPkNsjK/tBwgUyIyqtKDTpYXd5cLC9N2BhpLrZGEH5Qc+Rdyw2pxsrPzwIIHTD48DVANGIlHSZiusJklEbcFRZS2xON7Yf7QTgXU0wUDwBmn8YXgpLSxrqkVm1uxV7W3tQbDbg2nOHx/Q1orTU0mXTZCOsfz1B+NISkF/75MJhIJPDMvEC3t5rh0f29kRUWkP/AOp1EsbXebMyO453+dcTpCiQybUf9Bc2HkF7rwNDyyz44pT6QZ8PXNYYy8ySVGZkEiEWR7ZqbN/S9mOdcLg9qCoyK+W9QPEsjkxtRkZ7p5ZENuYb5w6P+TGpspph0uvgkbVZpozl1BKQe2/UEsFAJoeJHpl0Tn0U/TEVVnPEZrwJ9d6G311N3QHrCVLz7ZhLqVeX24Pf+6bk3nThKBhClOKGllsgSUCfw608GUaSyh6ZRNRpNCMTuCgy1LHgujhKS90pWE8giG3a3RopLW04eBKbDp2CSa/D4vNiL1HqdBLqxfLIDm19LwH+U0vh3hAK+TD0M5qMBjJr1qzBFVdcgSFDhkCSJPzjH/8I+vyiRYsgSVLQr8suuywzF6tBmRgGF+3EkhB4csm/niDVGRltPHFH8n+fNOPIyX5UWE34yvSGkLcxG/So971oxnIEO/syMtrskdmk9MeE3iUlMk0nuu3K6Plw/MevU1Basmir2ffx97zZmAXThionv2JV7xuw2KSxLdgutwcdvqxctIyMaPbV6ioGNWQ0kOnt7cXUqVOxfPnysLe57LLL0NTUpPx67rnn0niF2paJSD3aiSVhYr1/eWSq1hMIyt4pjadeZVnGCt+T+sLG0yI+XvH0ySgZmawLZLTzLtrjGbwocqDKIm+W0iN7x+xHkp7SUva/8O1p7saq3a2QJODbF4yK++tFw6/WjmCf6nNClgFJip4pzbXSeSLUD/fjMG/ePMybNy/ibcxmM+rqog/SosHEO+yONAYy0U4sCePqiiFJ3if0I6e8L7Ypy8jkSOp1zWdt2NXUBYtRj+saR0S87fCKQqw7cDKmI9ii2bciS0pLInPR3uuAw+UJu2cmm+w70YPOficsRr2SbRxIr5NQXWRGc5cNLV02JWALJRWbrwVRWnK4PLA53aqPPFDT73y9MZedUYdR1UVxf/1QjZ5cEieWygtNUefl5FLpPFFZ/wzx3nvvoaamBuPGjcMtt9yC9vb2TF+SZmSipBJraanQZMDIKisA4GPfO9mCFGVkMhHQpYJIsX/tnIao2ZPhcUz3TdWepURVWE0w6r1P3lpp+N3gKyud2VAWcYSA2CUVrf/Hn5FR/72m1WRQpsFmc1bmWEc/Xt16HID3dF4i/EewtfF9JJwUJ5ZiyJImuiD4k2Od+KylO/6Ly0JZHchcdtll+POf/4xVq1bhl7/8JVavXo158+bB7Q4/ct9ut6OrqyvoV77KxEKxSHuWBhLlpY8PdwAAClL0zjsXUq9bj3Tgo/3tMOgk3BhDil1M1I0lkOnIsh4ZSZJQU6ytPhkxCC9cf4xQ6wvwW7qjlJbEQLwUZGR0Okm537bu7P2ZeOI/++HyyGgcVYmpDWUJ3YdWZ8m0xXhiCUisF/JUrwNfevxDfPl3H8HuSu8Km1TI6kDma1/7Gq688kpMnjwZ8+fPx2uvvYYNGzbgvffeC/s1y5YtQ2lpqfKroSF0Q2Q+8J9acsR0DFcNJ3zvoKNlZAD/ySXxYpuqHhl/6jV7331GI46fXnnmECVdHkmsPTIej6w8LtlyagkA6kq11ScTaRBeIOXvFTUj4ystpaBHBgDG1XrHH2w92pGS+0/WqV4Hnl9/BABwy6zEsjEAMKRUnFrSViAT64klwJ+R6XW4Y954/8nxTticHnT0OfHJsc7ELzRLZHUgM9CoUaNQVVWFvXv3hr3N0qVL0dnZqfw6cuRIGq8wu4gXcIfLg740LY6MtbQEYFAvQep6ZERXvyPqaZFstO9ED17f0Qwg9hS7KC01ddkivuPqtrmUxyRbBuIB/j4ZLQQyrV02HD7ZB50EnD28LOJtY21k9mdkUtPGKBqSRQCWbf700UH0O904Y0gJLhhblfD91PuC/i6bSzPHzQF/9jiWjExJgUHpo4n15JJYDwNk7/dAPDQVyBw9ehTt7e2orx88BEwwm80oKSkJ+pWvLEY9zL5yTbrKKkogE0Np6Yz64H+b1J1a8j4ZeGRtTTMV/rBmP2QZmD2+Bqf73klHU2k1odCkhywDx06Ffzcq+mOKzAaYUxRIJkJLR7DFaaVxdSXKHqNwYllTYHO64XB5T/KlorQEANN8JTBREssmfQ4X/uSbXP1fISZXx6PIbECp7zHU0s6lNqVHJvrzqCRJ/pOZMfYBioW9gL+/S8syGsj09PRgy5Yt2LJlCwDgwIED2LJlCw4fPoyenh7cc889WLt2LQ4ePIhVq1bhqquuwpgxYzB37txMXrZmSJKU1o52u8utnLaIJSNTXWwOOqadqtMTRr0OxWbvO1utnVxq7bLhpY+PARi8HDISSZJiavj1H73OnmwMoK0j2GIQ3owo/TFAwNTiCAGayMZIElBkSk1G5uzh5ZAk4FB7X9Y1VP9twxGc6nOiocKCyyclf2JVi0ewRWmpIoaMDBB/P+SugEBm06GTaWs9SJWMBjIbN27EWWedhbPOOgsAcNddd+Gss87Cz372M+j1emzbtg1XXnklTj/9dCxevBjTpk3Df/7zH5jN0V8kycu/ODL1mQjxLsKol5R3QZFIkqT0yQBAgTF1347lGh3j/eQHB+BwezB9RHnY+SThxNInIx6PbDl6LdRpKJDZ5MvITAuxX2mgWKb7iqm+xWYDdFGO3iaq1GJU+mQ2ZdE7cqfbgz/85wAA4KYLQk+ujtfQMu31yYg3GNE2XwvxjJiwOd3Yd6IXgHckwKk+p/J7rcroHJlZs2ZFjATfeOONNF5NbkrnHo7AslKs6eCJ9SX4z2dtAFK3NBLw/qAfPtmnqZNLXTYnnl17GEBix09jysgoR6+zK5Cp8WUuYhnnn0m9dhd2+PoNYgk0xWTazn5n2BkuovwZrUyVrOmnlWN3czc2HDyFeZPDl+vT6V/bmnCsox+VVhO+HGZydbzqS70ZmSYNHcH271mK7U17PCeXPm3phtsjo8JqwpiaIqw/cBIbD57EmJr45/RkC031yFD8RANnOl7A42n0FQIbflM5mKtCg2O8n157CN12F8bWFOHi8TVxf30sgYxy9DpLMzKRSjDZYMuRDrg9MoaWWZQSRiQlBQYlYA+XbUrlMLxAIvDalCV9MrIsK6fzrj/vNNWeD7R4BFtMfo6l2RcInCUT/flNlJUm1pco5VDR56VVDGRyXDp7ZBIJZAJLS6nOyADa6ZGxOd344/sHAXgbHhMpMYhA5lCE6b7iia8sywIZ0SPTY3ehx569O4HEiY9YykqAt5zqP5EVOkhL5TC8QOKaPznehT5H5h/j9/acwO7mblhNenzr3NNUu98hvtKSVnpkHC6PUl6MZSAeAFRYY2/2FSeWJtQXK+MCNh7MjmA2UQxkclw6h8H59yzFHsiMqrIqI+jNKeyRycQCzWS89PExtPXYMaS0AFdOHZLQfQT2yIQr4So9MlnW7Gs1G5QG7WzukxGnfmJp9BWinVxK5TC8QEPLLKgvLYDbI2OLbyhlJq3wZWO+fs5wlKo4CkBZUxDn4khZlvHc+sPY25re6bfiudqgk2KeIxTP87w4sTRxSInS9H2wvU95/tYiBjI5Lp0ZGZEOjScjY9DrcIavvJTKgWyJjvHOBLdHxu/XeJ/UF18wKuFdQ8PKLZAk76CscH/vbO2RAfx9MtGGx2WKzekOaPSNvRG7VimbhQlkUjwMT5Akyf+OPMOlhcPtfVh/4CQMOgmLLxip6n2L0lJzpw2eOOZIvbWzBUtf2o7rV26Ay+1R9ZoiEc+jFVZTzJnYWJ/nPR4Zu5q8gdnE+tLgpu8sKTEmgoFMjkvnC3gipSUA+P+unoyffXEiGkdXpuKyAGhrsdobO5pxsL0PpRYjvjYj8YbHAqNe6TUJ1yeTraeWgIAj2Fl2PFj4aF87+hxu1JUUYEJ9bPN9AP9033D7llI9DC/QdF95aUOGSwvrfX/+1IYypTlXLTXFZugkwOmWo24dD/TRfu9evyMn+/Gv7U2qXlMkJ5Usaew/k/7TqZGf346e6keP3QWTXodR1d5dd9OU7wHt9skwkMlx4gUqHU2u8exZCjShvgQ3nD8y4rK9ZJWnsek5GbIsY4VvOeTCxhGwmpN7MWuI0vCbzRkZ5ahyZ3amvN/c6Z22fMnE2riGttVE2bfk75FJfblP7IbafLgjo1OvN8W4qyoRBr1O+V6Kp09mU0CW6vHV+9M2a0Vsvo6nRO8fLxH5eX5nk3cdwel1Rcrz7Ywsycolg4FMjlP2LWVxRiYd0jlPJxkf7mvH9mOdKDDqsPBzpyV9f8OjzJI5lcC7v3SpyeJZMh6PjLd3tQLwBjLxiLZvKV2nlgBgfF0JiswG9Nhd2N2cuQW7IhswPY4SXTzi3YIdeKzeZNBhV1MXVn96IiXXNlC7mOob44klwP+GNdrzvGj0nRhwyEJkZHYc60R/mlbZqI2BTI4LTDmm8h2FLMtZHchUaKRHRhw//er0hphnSEQS6Qi22yOjsz/7FkYKdVm8b2nL0Q6c6Laj2GzAuaPiK4lGK5mJnUCpPrUEeAeineXbD5WpnTuneh3Y29oDIPbTX/GK9wh24LH6b507AoD/ZzPV2hMpLfnesPY73RGDkZ2+/pjA06LDyi2oKymAyyNjy5GOBK448xjI5DjxAuV0yyk9xtrrcKPft3k1npRouojUa5fNmdbGvXh8cqwT//msDXqdhBsvGKXKfUYKZLr6nRDVhGxaGClk85qCN3e0AABmja+JuxnbXzKzhXxzka6BeEKmSwuihDO62pqyzOCQOE8uBR6rX3z+SBh0EtbuP5mWF3qxniCe59EiswFGvbe8GalPJnCGjOBt+vbNk9HoMWwGMjnOYtIr81mi1U+T0ebLxhSa9En3daRCmS9NL8tQshDZRrzj++KUeqW3JVn+I9iDn8BFf0xxgSGl/UmJqhUlmCwcivdWQH9MvETG0u7yKCeUAvlLS+n5ORINv5l6EdugHGFPTVkJ8M+SiTUjE3isfkiZBVedORQA8Ph7qc/KKKWlOII67+LIyFnnjj6H0iM0YUjwwl7le0CjfTLZ9+xFqqtIwzC4EwkcvU4ng16n7H/KxpNLh9p78X++kxH/dWH86wjCERmZ4539ykZlIZv7Y4CAY8rd8R2bTbV9J3qw70QvjHoJs8ZVx/31BUa90nweapZMOpt9AeDM4WXQ6yQ0ddoyMjROZD+mpzKQKY29R8bl9uDjQ8HXdPPnvRnSN3Y2Y9+JnhRdpVcipaXA24d7fhPHrhsqLIO+t8Tf8+NDpzLa9J0oBjJ5QNRPUzkMLnDPUraqiGOMd7r9fs1+eGRg1rjqoLUNyaoqMsFi1EOWB5/YUDZfZ2F/DOA/3eN0y1k1kfmtnd6y0rmjKhMONiKVzcTx61gWr6qh0GRQZjmlOytjc7qx/aj3JM30FPXHAPH1yOxu7kavw41iswGn+2asjK0txpwJtZBl4Per96fsOgH/qaV4e+REeTjcgQYxCG9C3eDnl/F1xbCa9Oi2u7CnOb0DANXAQCYPpGO6bzY3+grp3DsVjxPddryw6SiAxJZDRiJJUtg+GfHOLVszMka9DlW+kxvZ1Cfz5g5vWenSM+oSvo9w033tLjdsTm/mLF0ZGcB/Wijd82S2H+uEw+1BVZEZIyrVKaeGIqb7tvc6YHNGPpkjgrmzR5RDHzCQ7pZZ3qzMy5uPpfT7UZSWquI4tQREXxCsnFgK8UbJoNfhbF8gqcXBeAxk8kA6hsFpIZCpiHFoVLq9suUYHC4PpjaUYeZI9dPr4WbJiMxUtmZkgOxr+G3ttmGzr+Hzkgnx98cIYt/SwOm+YscOABSl4dSSoCwPTPPJJaWsNKI8rlk88SqxGGA1eXsFm6JMihZ9IgMzRNNGVGDGaeVwuD344/sHUnKd/Q43+nynjuJ9gxHtDWuoRt9A/mBWe30yDGTyQKxTH5ORyJ6ldMvWNQVv+koV888ckpIn83CzZJTN11m2ZymQP5DJjobfVbtaIcvA1GGlyjyYRNSFycgoJ5bMhqBsQKpN8wUye1q609oML7IfqRiEF0iSJNTHUF6SZVnJSoXq2REZ02fWHU7J4yTKSiaDDkVxHpqI9IbV4fLgs9bBR68DiX+DTRps+GUgkwf8kXoKTy1lebMv4P9B78iijMzJXofyZJ7ICZhYDK/wPoEfbh+Ykcneqb5CbcBR5Wwg+mOS/beqCROgpXMYXtD1FBdgRGUhZBnYfDg9L2Qej6xkP1J5YkkQfTKRGpqPnupHS5cdBp2EMxvKBn3+onE1OL22CD12F55Zd0j1a1TKSlZT3G9qImVk9rb2wOmWUVxgwLDy0CsgzmzwNn0f6+iP+XRXtmAgkwcq0tHsm+B6gnRKR0AXr1W7WuCRveneYeWp6REYXhmlRyarS0u+EkwW7Fvqtbvw/t42AMn1xwD+jMzAkpkYhlecxrKSMG1EestL+070oLPfCYtRr2qDezhDYziCLbIRZwwthcVXigqk00nKqcI/vn8war9NvJQ9S3H2xwCRMzKBZaVwAZLVbFDKTlo7hs1AJg+Up+P4tRZ6ZKzZd/xavMO/9IzUZGOA4KF4gQPYxJNmWRYHMnVZlJFZ8+kJOFwejKgsxNiaoqTuK1zvT7o2X4cisiLpavgVvRhnNpSlZY6R/wh2+EBG/N1nRDhBdeWZQzCktABtPXb8/eOjql6jyGxXWuN/Hi2PcCpTObEUpqwkaHUwHgOZPKA0uaYoI+PxyJooLaXj9FY8+h1urPnMu78lVWUlAEqmp8fuCjqaKf4/W08tAdnVIyN6mS6Nc0lkKLWl3p+TE932oEnT6dx8PZBo+N16tGPQzKFU2JjCRZGhiNJSpGbfTcr8mPDXZNTrlMnbf1izX9W5K2KGTDx7lgQxmyjU83ykE0uB/MEsMzKUZcpTfGqps98Jp9v7w5zID2C6pOP0Vjze39sGm9ODoWWWsCcJ1FBg1CslmsDykpLG1kSzb2YzMk63B+/sFksikysrAd533HqdBI/sf/EC0j8ML9CoqiKUFRphc3qw43hnyv+8dAzCC1RfFnkDdmefE3tavA2x06Isr/zaOQ0oKzTiYHsfXv+kWbVrFD+T8Uz1FcLt1ZNlWcnIRHueESe19jR3KUG1FjCQyQP+F3BnShZHiv6YUosRZsPgunK2KMuyjIyYR3KJCu/woxk4S8bl9mT1wkhBBGDtvY60ZAnC2XDgJDr7naiwmlRZbKjXScrAv8CymT8jk/5ARqeTlBeyVJ9cae2y4fDJPugk4Gzf0spUGxpwainU8+DHh09BloGRVdaomeVCkwHXNZ4GwLtaRK3nVaW0lECvoXiet7s8yt47wJuB6ux3wqCTMLY2ckm0pqQAwysK4ZGBzYc74r6GTGEgkwfEIDi3R1ZORaipTQP9MYD/B73b5oIzw4sj3R4Zq3zv8C9NYVlJaBhwBFsEMZKUvgmyiaiwmpRleJls+BVlpdnja1Q7Fl0TItvk75HJzL6yaWkajCeaScfVlaRtOaY4Lm9zekJOvxWlrlgD1UWfOw0FRh22H+vEh/vaVbnGRPYsCYUmvbLANPDNmigrjakpiumNphLMaqhPJvu2+5HqzAY9rCY9eh1unOp1qP7CpYUTS4D3BVuSvIsjT/U5UFOc+ByQZG06dAonff8WM1IwBG8gJSPjO4ItymulFiMMWbgwUpAkCTXFBTjW4T0Wq8bJruMd/Xj49d2YPaEWV0wdEvX2siwHNGUnX1YS6krM2Aqgpdvf/5PJjAwQPBhPluWUZQqVpto09ccA3ufB6mIzTnTbcbyjf1BvmOgLifWaKqwmfHV6A/700SHc+dctys9YOGNqivDjL0yIGLidTKJHRpIkVBSa0Nxlw6leJ4b5/hqxlpWE6adV4KXNxzTVJ8NAJk+UW03odfTjZJ8Dp8Gq6n1r4cQS4E3nl1mMONXnREefM6OBjNiefPH4mrSc2BhYWhInG7L56LVQVyoCmeQzMm09dnzziXXY39aLV7Yeh0eWlc3G4exs6sKxjn4UGHU4f0xV0tcgKP0/gaWlDPbIAMDkYaUwGXRo73XgYHsfRlap+1whiNKVGmW6eAwpsyiBzKShpcrHHS4PtvomNkfrjwl04wWj8NyGI2jttqO1O3JD+sZDp3CwvRcrrz8HBcbQmZH2JE4tAd7n+eYuW9AJ1V0xnlgSRCC35UgHnG5PWp6fksVAJk9UWE04eqo/JSeXtBLIAN4f9FN9zoz2yciyHHQCJh1GVA4MZMTR6+wtKwmiTybZQKbL5sTCP67H/rZemA062F0e3P23rSguMODi8eH/Hd7c4f23unBsdcjZIokK1cjsH4iXmadms0GPKUNLsfHQKWw4eDIlgUyv3YUdvnJHOgbhBRpSWoCtRwYfwf7keCfsLg/KC40YXR3737mhohD/d9v52NvaG/F2PXYX7nt1B9buP4lbn92MFd88e1CAIMsy2pLIyAChZ4YpGZkYZ/WMri5CqcWIzn4ndh7vwtQQgwGzTfaHWqSKVB491lIgk+qj6LH4rLUHh9r7YDLocOHp1Wn5M0WPTFNnPxwuT9YvjAykxhFsm9ONG1duxI7jXagqMuFft12Aq84cApdHxi1Pf4z1B8L3A6g1zXegUIsjxUC8TGVkAP8pok0pKi1sOdIBt0fG0DKLciQ6XZQt2AOOYG8MWEsQbzltTE0xLptUF/HXl6YNwxMLp8Ns0OHtXS34wYvb4BlwbLvX4VYa2hPNyAw80NBtc+KQr5wca0YmsOk73UtEE8VAJk+k8uix6JHJ5j1LQjqGA0YjTiudP6YK1jj3qSSqusiMAqMOHtn7blRZT6CB0lKyR7Cdbg++88zHWH/wJIrNBvzphnMwpqYI//PlqZg9vgZ2lweLV27AJ8cGHzk+crIPO5u6oJOA2UksiQzFvzgyoEfG1+ybrgbYUJQXsRRtQRbHrtNdVgLCrykIXF6ZKueOqsRvrz0bep2ElzYfwwOv7Qw67STKSoUmfcKZP/FGTaxh2dPsPU5eX1oQ15uWaRrbu8RAJk/4ZwyoPxtASxmZSEOj0iVV7/AjkSQpqE/mVK92MjLhxvnHwuOR8b0XtuKd3a0oMOrwx+tn4Iwh3t4Io16H5deejXNGVqDb7sLCP67HvhM9QV//9i7vv9X00ypUf6xCLY7M5EA8QQQY+0/0Ki+uahKng9LZ6CuINQVNAYGMLPt3PqV6ps3sCbX41ZenAgBWfngQj739mfK5tp7kykrA4DdqsU70HShwMF4qRnaojYFMnkjlvqU2jZxaAiKP8U6H5k4bth7thCQBsyfUpPXPDgpkfAFtNi+MFGp8mYuBm6KjkWUZ9766A69sOQ6DTsKKa6cN6skoMOrxxMLpmDS0BO29DnzriXVB/ROiPyYVvUzi+HVnvxM2pxtOtwd9Du/8j0yWlsqtJmUFg9rvyF1uDz5WGn3T2x8DBJSWOvzfS/vbenGy1wGTQYdJQ1O/82n+WUPxwFVnAAB+veoz/PH9AwACB1Qm/jxaobxR8/58KxN94wxkJg8thUmvQ1uPfdCOtmzEQCZP+F/A1Q1kXG6PMplUCxmZisLUldhi8ZbvHf5ZDWVpPzUVOEtGCwsjBZG5aI2zR+ZXb36Kv6w9BEkCHvnqmbhofOjAsaTAiD9dfw5GVVtxvNOGbz65Du09dnT0ObDe1yNwqQrTfAf/uQZYfKdXWrps6A6Y8ZSJpZGBlJ07Kgcyu5u70etwo9hswLi6YlXvOxb1vn1LLd02ZZaU6AU6c1hZ2gZ6Xtd4Gu6+5HQAwAOv7cSLm44q2a+qJN5cDHye3xVno69QYNRj8jBv5lILx7AZyOSJ8hS9gJ/sdUCWAZ2kjTJFqgK6WPnLSuq/MEYTmJFRemQ08G8memR67C702GMb6PiHNfvxv+/uBQD8Yv4kXBllXkxlkRlPL56JIaUF2H+iFwufWo9Xtx6H2yNjfF2xskFcTZIkBZzIsitHr60mfcZn+0z3ZUvUXh4o7u/sEeWqDRaMR6XVBJNBB1n2T1TecDC9O5+EWy8eg8XnjwQA/ODv2/Dy5mPea0yitBTYC+lye7Db1yMTb2kJ8D8em1LUK6UmBjJ5IlWnlsTshMoic0aemOI1sBkunbpsTny0rw1AarddhxNcWsr+PUuC1WxAsa8pOpY+mb9tOIIH/28XAOD7l43DtTNHxPTnDCmz4C83zkSl1YRPjnXh3ld3AEhtL1PgyaVMD8MLJF7Eth/rhC1g3H2ylF6UDDT6At4TOUN8E35FCTGWRZGpIEkSfnz5BHxp2jC4PTLW+U7OJVNaCnyeP9DWC7vLg0KTHiOiDOsLZfoIf59MtuMcmTwRuG9JTVo6sQT4MxDNXTa43J6k3vk+vnof3tndil/Mn4TTa6OnyVfvOQGnW8aoaitGV0feeZIKA6f7Av7jmtmupsSM7hMutHTaIj52r3/ShB++tA0A8F8XjsItnx8d158zuroIf7rhHHz992vR7cv+pKKsJNQqZTObEmRnsj9GGF5RqEzBveDhd2GM8Cal0GzA9y49HZdNqo94n7IsB2Q/0t8fIwwps+Bgex+aOm1o67Fjf5t3Bsy04em/Jp1OwkPXTEa3zYk3fP1YVSo0+57qcwQ1+uoSeJMpmr73tvbgc8tWRb399y8bj/lnRR4umSrMyOSJct87744+x6D5BcnQyp4lYVSVFWaDDi1ddvzo5e0Jd+SveG8fHvr3bqw/cBLfenKdssMoEv8QvPSXlQAo4/277S7lRVoLPTKAf09OS4R9S//57ARue24LPDLwtRkN+OG88QmN2J80tBRPLpqBQpMe42qLU9oAKv5ezZ22rDixJEiSpGSiTnTbcbzTFvbX3tYe3PrsZrzr2x0WztFT3jUTBp2EMzM4ZC3wCLY4dj2uthilGRoOadDr8OuvnYULxnqnRk8OmDgcL/Hz7HTLymykCfWJ9SJVWE3KybJI//7il2hUz4TM/8RQWoiUo0f2ljjUeieulT1LQrnVhF9/7Sx855lN+NvGoygpMOLHX5gQ1wves+sO45ev7wbgfffU0mXHN59chxf+q1E5iTKQw+XBe74n+nQeuw5kMelRU2xWyoE6KTvKGLGoLRYv+KEbfj8+fAr/9ZdNcLg9+MLkejx49eSk9gSdM7ICH/zgYpiNupRuJhcbsFu67VkxDC/Qz6+ahG/OHAF3lDc+T7y/H69sOY6bn96EvyyeiXPC7A4TJZwzhpaqOiE5XoGlJVFinpaBo+CBCox6/On6c9DWYw/7HBILi0mPAqMONqdHWWQ5sT7xwOgvi2dib2sPYnm/N6QscytfGMjkCaNeh+ICA7ptLpzsdagXyGgsIwMAl02qwy8XTME9L27DE+8fQFmhEbdePDamr/3n1uP48T+2AwC+M2s0Fn7uNHzp8Q9xqL0P1/1xPf56U2PId3Zr97ej2+5CVZEZZ2Xw3ejwikIlkCkrNGmirwkAakvDz5LZ3dyF65/agD6HGxeMrcKjXz1Tlb9XOhqhlUxTp82/+TpLgku9TorptMv/fHkqemwurNrdisUrN+C5m84N2mMkKIsiM9QfI/iPYPcrpfZMzLQZSKeTkgpihIpCE4532nDAVzKL98RSoAKjPuS/ZbZhaSmPpGK6rxYDGQD48vQG/PSLEwEA//Pmp/jLRwejfs17e1px51+3QJaBa2cOxz1zx6G2pABPL56J6mIzdjd34/qV69HnGHyyxn9aqSaherVaAjf0lmtgz5JQKzIXAwKZQ+29+NaT69HZ78TZw8vwu29Ng8mgnac1ZWpxt7+0lOmj1/EKNVhw/4DBgkDmmmoHEoHM/rZeZZrz9AzMtEmVwABcJ3nLZrlOOz/xlDT/Hg71Gn61GsgAwOLzR+K2i8cAAH726g68suVY2NtuPHgSNz+9CS6PjCumDsEDV01SSg4jKq14evFMlFqM+PhwB/7rL5tgd/nrxbIsK4FMpvpjhIaAQEYLx+WFuhAZmZYu78yXE912jK8rxlOLzkGhSVtBgDLdt9OGzgxvvk7GwMGC3xwwWLCzz4k9Ld6jwJkYhBdIBDKH2vvg8sioLTFjWHl6dz6lUuDP9cgqa0bLeOnCQCaPVKRgPL//1JJ2XhQD3XnJ6VjYOAKyDNz9t614Z3fLoNvsON6J61dugM3pwaxx1fjVl6cOKl2MqyvGU9fPgMWox38+a8Odf92i9BZsP9aJ5i4bCk16NI6uTMvfK5zgjIx2/s1qBiyOPNXr8DVZ92NEZSH+vPicjDVrJkO8AbC7PDh6yvvCnw3NvokIN1gQ8PYwybL3hTXTb3oG9nIksigymwX+XE8ckv1lITVkNJBZs2YNrrjiCgwZMgSSJOEf//hH0OdlWcbPfvYz1NfXw2KxYM6cOfjss89C3xlFlYqFiSIjU6PBjAzgPZ1x7xVn4OqzhiqbkNftb1c+f6CtFwv/uB7dNhdmnFaOFdeGL12cPbwcv79uGkx6Hf5vezN+7DsVJbIxs8ZVo8CY2XdHgYPdtBTIKNN9u23otjmxaOUGfNrSg9oS7yC7dE9JVkuBUa+U+D71ZSy0mJERQg0W7LY5lf1KmVgUOVChyYCygKA3UzNtUiUwI5PoiSWtyWgg09vbi6lTp2L58uUhP//www/jN7/5DR5//HGsW7cOVqsVc+fOhc2W2BbcfKeM51cpI2NzupWx6tVF2nwhAbxNdg9/aQrmTPBuQr7xTxvxybFONHX245tPrENbjwMT60vwxMIZUdO0F4ytxm++fiZ0EvD8hiN46N+7lX09mTqtFCgoI6Oh0lJ1sRmS5D1W+q0n12PrkQ6UFRrx9OKZQeUyLRJ9Mv6MjHYDGWDwYMHFf9qID/Z63xxkQ1MtAAwp9ZeSBu7f0rrAIC3eHUtaldFAZt68efjFL36Bq6++etDnZFnGY489hp/85Ce46qqrMGXKFPz5z3/G8ePHB2VuKDblKjf7imWRJr1Os+lwwajX4X+/cTZm+hoWr/vjelz7xDoc6+jHqCqrt3QR4wvMZZPq8dA1UwAAv1uzH3tauqHXSbhoXHqXRIZSXWSG2ZdR0sJUX8Go16HSN/F0y5EOWE16rLz+HIzNgUbG2gEnVbSckRHEYMFiswHrD5zEliMdADLfHyOIPplCkx7jM7DzKZUCMzLJnFjSkqztkTlw4ACam5sxZ84c5WOlpaWYOXMmPvroo7BfZ7fb0dXVFfSLvCpU3vwc2OibCzVm0bA4eWgpTvY6sP9EL+pLC/CXG2fGPbn4KzMa8OPLJyi/nzmyIium6Op0kpLB0FJpCYCyl8hk0OEP103P6FA1NYm/l6D1NwXCpKGleGLhdCVwLi80YnS1NcNX5TXU1ydz9vDyjO+1Upv4ua4qMmu25BqvrP0XbG5uBgDU1gan42tra5XPhbJs2TKUlpYqvxoaGlJ6nVqi9uJIEchUabQ/JpTiAiNWXj8Dk4eWYmiZBX9ZPBNDyxI70fDtC0fhjjljYdRL+MbM4SpfaeLmTKiF1aTHWcOzI80fq4vG1aDIbMD/fv0sfG5MVaYvRzV1OZiREWaOqsTj35yGIrMBV581LGve8MyZWAuTQYevzMi914czG8pQbDbgC5Mze0IynXIj9A+wdOlS3HXXXcrvu7q6GMz4KHNkVOqR8U/11dY7+2gqi8x49dbz4PbISb9bu2PO6Vhy0RgYs+hd3w/njcfdl56eVdcUi+/NHYc75ozNuXfQA4egab1HZqCLxtdg888uyarvtwvGVuPTX8zL9GWkRENFIT7Ossc71bI2kKmr80aTLS0tqK/3LyNraWnBmWeeGfbrzGYzzObcyRCoSZyOUOvUkpZnyEQjSRIMenXePWbjE0o2XlMsci2IAQZnZLQ2EC8WWv1+06p8e7yz9m87cuRI1NXVYdUq/9bNrq4urFu3Do2NjRm8Mu0Szb6d/U643J6k769NY3uWiLJRYLOvxajPuxchomRlNPTv6enB3r17ld8fOHAAW7ZsQUVFBYYPH4477rgDv/jFLzB27FiMHDkSP/3pTzFkyBDMnz8/cxetYWW+lLUse4OZyiQDkFzOyBClS22p/+cnVxp9idIpoz81GzduxEUXXaT8XvS2LFy4ECtXrsT3v/999Pb24qabbkJHRwfOP/98vP766ygoyI9ObLUZ9DqUWozo7HfiVB8DGaJsUGk1Q6+T4PbIOdXoS5QuGQ1kZs2aBTnCfnBJkvDAAw/ggQceSONV5bYKq8kXyCTfJ6M0+zKQIUqYXiehptiMpk5bzjX6EqUDi7F5Rmn4TfLkkizL/uPX7JEhSoo4uVSSg42+RKnGn5o8I45g7z/Ri6On+hK+n36HGzant2GYgQxRcupKzNiK3Dt6TZQODGTyjJgu+8vXd+OXr+9O+v6sJj2sZn4bESVDnFzKxaPXRKnGn5o8c9kZdXh7Vwv6HW5V7u9L04apcj9E+eyyM+rw7p5WXDIxf6axEqlFkiN12+aArq4ulJaWorOzEyUl+bFAi4iISOtiff1msy8RERFpFgMZIiIi0iwGMkRERKRZDGSIiIhIsxjIEBERkWYxkCEiIiLNYiBDREREmsVAhoiIiDSLgQwRERFpFgMZIiIi0iwGMkRERKRZDGSIiIhIsxjIEBERkWYxkCEiIiLNMmT6AlJNlmUA3nXgREREpA3idVu8joeT84FMd3c3AKChoSHDV0JERETx6u7uRmlpadjPS3K0UEfjPB4Pjh8/juLiYkiSpNr9dnV1oaGhAUeOHEFJSYlq90uh8fFOLz7e6cfHPL34eKdXIo+3LMvo7u7GkCFDoNOF74TJ+YyMTqfDsGHDUnb/JSUl/CFIIz7e6cXHO/34mKcXH+/0ivfxjpSJEdjsS0RERJrFQIaIiIg0i4FMgsxmM+69916YzeZMX0pe4OOdXny804+PeXrx8U6vVD7eOd/sS0RERLmLGRkiIiLSLAYyREREpFkMZIiIiEizGMgQERGRZjGQSdDy5ctx2mmnoaCgADNnzsT69eszfUk5Yc2aNbjiiiswZMgQSJKEf/zjH0Gfl2UZP/vZz1BfXw+LxYI5c+bgs88+y8zF5oBly5ZhxowZKC4uRk1NDebPn489e/YE3cZms2HJkiWorKxEUVERFixYgJaWlgxdsbatWLECU6ZMUYaCNTY24t///rfyeT7WqfPQQw9BkiTccccdysf4eKvrvvvugyRJQb/Gjx+vfD5VjzcDmQT89a9/xV133YV7770XH3/8MaZOnYq5c+eitbU105emeb29vZg6dSqWL18e8vMPP/wwfvOb3+Dxxx/HunXrYLVaMXfuXNhstjRfaW5YvXo1lixZgrVr1+Ktt96C0+nEpZdeit7eXuU2d955J/75z3/ihRdewOrVq3H8+HFcc801Gbxq7Ro2bBgeeughbNq0CRs3bsTFF1+Mq666Cjt27ADAxzpVNmzYgN/97neYMmVK0Mf5eKvvjDPOQFNTk/Lr/fffVz6Xssdbpridc8458pIlS5Tfu91ueciQIfKyZcsyeFW5B4D88ssvK7/3eDxyXV2d/N///d/Kxzo6OmSz2Sw/99xzGbjC3NPa2ioDkFevXi3LsvfxNRqN8gsvvKDcZteuXTIA+aOPPsrUZeaU8vJy+YknnuBjnSLd3d3y2LFj5bfeekv+/Oc/L99+++2yLPN7OxXuvfdeeerUqSE/l8rHmxmZODkcDmzatAlz5sxRPqbT6TBnzhx89NFHGbyy3HfgwAE0NzcHPfalpaWYOXMmH3uVdHZ2AgAqKioAAJs2bYLT6Qx6zMePH4/hw4fzMU+S2+3G888/j97eXjQ2NvKxTpElS5bgC1/4QtDjCvB7O1U+++wzDBkyBKNGjcK1116Lw4cPA0jt453zSyPV1tbWBrfbjdra2qCP19bWYvfu3Rm6qvzQ3NwMACEfe/E5SpzH48Edd9yB8847D5MmTQLgfcxNJhPKysqCbsvHPHHbt29HY2MjbDYbioqK8PLLL2PixInYsmULH2uVPf/88/j444+xYcOGQZ/j97b6Zs6ciZUrV2LcuHFoamrC/fffjwsuuACffPJJSh9vBjJEBMD7zvWTTz4JqmmT+saNG4ctW7ags7MTL774IhYuXIjVq1dn+rJyzpEjR3D77bfjrbfeQkFBQaYvJy/MmzdP+f8pU6Zg5syZGDFiBP72t7/BYrGk7M9laSlOVVVV0Ov1gzqtW1paUFdXl6Gryg/i8eVjr75bb70Vr732Gt59910MGzZM+XhdXR0cDgc6OjqCbs/HPHEmkwljxozBtGnTsGzZMkydOhW//vWv+VirbNOmTWhtbcXZZ58Ng8EAg8GA1atX4ze/+Q0MBgNqa2v5eKdYWVkZTj/9dOzduzel398MZOJkMpkwbdo0rFq1SvmYx+PBqlWr0NjYmMEry30jR45EXV1d0GPf1dWFdevW8bFPkCzLuPXWW/Hyyy/jnXfewciRI4M+P23aNBiNxqDHfM+ePTh8+DAfc5V4PB7Y7XY+1iqbPXs2tm/fji1btii/pk+fjmuvvVb5fz7eqdXT04N9+/ahvr4+td/fSbUK56nnn39eNpvN8sqVK+WdO3fKN910k1xWViY3Nzdn+tI0r7u7W968ebO8efNmGYD8yCOPyJs3b5YPHToky7IsP/TQQ3JZWZn8yiuvyNu2bZOvuuoqeeTIkXJ/f3+Gr1ybbrnlFrm0tFR+77335KamJuVXX1+fcpubb75ZHj58uPzOO+/IGzdulBsbG+XGxsYMXrV2/fCHP5RXr14tHzhwQN62bZv8wx/+UJYkSX7zzTdlWeZjnWqBp5ZkmY+32u6++275vffekw8cOCB/8MEH8pw5c+Sqqiq5tbVVluXUPd4MZBL0//7f/5OHDx8um0wm+ZxzzpHXrl2b6UvKCe+++64MYNCvhQsXyrLsPYL905/+VK6trZXNZrM8e/Zsec+ePZm9aA0L9VgDkJ966inlNv39/fJ3vvMduby8XC4sLJSvvvpquampKXMXrWE33HCDPGLECNlkMsnV1dXy7NmzlSBGlvlYp9rAQIaPt7q++tWvyvX19bLJZJKHDh0qf/WrX5X37t2rfD5Vj7cky7KcXE6HiIiIKDPYI0NERESaxUCGiIiINIuBDBEREWkWAxkiIiLSLAYyREREpFkMZIiIiEizGMgQERGRZjGQIaKsdPDgQUiShC1btqTsz1i0aBHmz5+fsvsnotRjIENEKbFo0SJIkjTo12WXXRbT1zc0NKCpqQmTJk1K8ZUSkZYZMn0BRJS7LrvsMjz11FNBHzObzTF9rV6v5xZiIoqKGRkiShmz2Yy6urqgX+Xl5QAASZKwYsUKzJs3DxaLBaNGjcKLL76ofO3A0tKpU6dw7bXXorq6GhaLBWPHjg0KkrZv346LL74YFosFlZWVuOmmm9DT06N83u1246677kJZWRkqKyvx/e9/HwM3tHg8HixbtgwjR46ExWLB1KlTg66JiLIPAxkiypif/vSnWLBgAbZu3Yprr70WX/va17Br166wt925cyf+/e9/Y9euXVixYgWqqqoAAL29vZg7dy7Ky8uxYcMGvPDCC3j77bdx6623Kl//q1/9CitXrsQf//hHvP/++zh58iRefvnloD9j2bJl+POf/4zHH38cO3bswJ133olvfvObWL16deoeBCJKTtJrJ4mIQli4cKGs1+tlq9Ua9OvBBx+UZdm7efvmm28O+pqZM2fKt9xyiyzLsnzgwAEZgLx582ZZlmX5iiuukK+//vqQf9bvf/97uby8XO7p6VE+9q9//UvW6XRyc3OzLMuyXF9fLz/88MPK551Opzxs2DD5qquukmVZlm02m1xYWCh/+OGHQfe9ePFi+etf/3riDwQRpRR7ZIgoZS666CKsWLEi6GMVFRXK/zc2NgZ9rrGxMewppVtuuQULFizAxx9/jEsvvRTz58/H5z73OQDArl27MHXqVFitVuX25513HjweD/bs2YOCggI0NTVh5syZyucNBgOmT5+ulJf27t2Lvr4+XHLJJUF/rsPhwFlnnRX/X56I0oKBDBGljNVqxZgxY1S5r3nz5uHQoUP4v//7P7z11luYPXs2lixZgv/5n/9R5f5FP82//vUvDB06NOhzsTYoE1H6sUeGiDJm7dq1g34/YcKEsLevrq7GwoUL8fTTT+Oxxx7D73//ewDAhAkTsHXrVvT29iq3/eCDD6DT6TBu3DiUlpaivr4e69atUz7vcrmwadMm5fcTJ06E2WzG4cOHMWbMmKBfDQ0Nav2ViUhlzMgQUcrY7XY0NzcHfcxgMChNui+88AKmT5+O888/H8888wzWr1+PJ598MuR9/exnP8O0adNwxhlnwG6347XXXlOCnmuvvRb33nsvFi5ciPvuuw8nTpzAd7/7XXzrW99CbW0tAOD222/HQw89hLFjx2L8+PF45JFH0NHRodx/cXExvve97+HOO++Ex+PB+eefj87OTnzwwQcoKSnBwoULU/AIEVGyGMgQUcq8/vrrqK+vD/rYuHHjsHv3bgDA/fffj+effx7f+c53UF9fj+eeew4TJ04MeV8mkwlLly7FwYMHYbFYcMEFF+D5558HABQWFuKNN97A7bffjhkzZqCwsBALFizAI488onz93XffjaamJixcuBA6nQ433HADrr76anR2diq3+fnPf47q6mosW7YM+/fvR1lZGc4++2z86Ec/UvuhISKVSLI8YJACEVEaSJKEl19+mSsCiCgp7JEhIiIizWIgQ0RERJrFHhkiyghWtYlIDczIEBERkWYxkCEiIiLNYiBDREREmsVAhoiIiDSLgQwRERFpFgMZIiIi0iwGMkRERKRZDGSIiIhIsxjIEBERkWb9/7ONcD1A1GohAAAAAElFTkSuQmCC\n"
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "<Figure size 640x480 with 0 Axes>"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "<Figure size 640x480 with 0 Axes>"
            ]
          },
          "metadata": {}
        }
      ],
      "source": [
        "if torch.cuda.is_available():\n",
        "    num_episodes = 600\n",
        "else:\n",
        "    num_episodes = 50\n",
        "\n",
        "for i_episode in range(num_episodes):\n",
        "    # Initialize the environment and get it's state\n",
        "    state, info = env.reset()\n",
        "    state = torch.tensor(state, dtype=torch.float32, device=device).unsqueeze(0)\n",
        "    for t in count():\n",
        "        action = select_action(state)\n",
        "        observation, reward, terminated, truncated, _ = env.step(action.item())\n",
        "        reward = torch.tensor([reward], device=device)\n",
        "        done = terminated or truncated\n",
        "\n",
        "        if terminated:\n",
        "            next_state = None\n",
        "        else:\n",
        "            next_state = torch.tensor(observation, dtype=torch.float32, device=device).unsqueeze(0)\n",
        "\n",
        "        # Store the transition in memory\n",
        "        memory.push(state, action, next_state, reward)\n",
        "\n",
        "        # Move to the next state\n",
        "        state = next_state\n",
        "\n",
        "        # Perform one step of the optimization (on the policy network)\n",
        "        optimize_model()\n",
        "\n",
        "        # Soft update of the target network's weights\n",
        "        # θ′ ← τ θ + (1 −τ )θ′\n",
        "        target_net_state_dict = target_net.state_dict()\n",
        "        policy_net_state_dict = policy_net.state_dict()\n",
        "        for key in policy_net_state_dict:\n",
        "            target_net_state_dict[key] = policy_net_state_dict[key]*TAU + target_net_state_dict[key]*(1-TAU)\n",
        "        target_net.load_state_dict(target_net_state_dict)\n",
        "\n",
        "        if done:\n",
        "            episode_durations.append(t + 1)\n",
        "            plot_durations()\n",
        "            break\n",
        "\n",
        "print('Complete')\n",
        "plot_durations(show_result=True)\n",
        "plt.ioff()\n",
        "plt.show()"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "EyTom2QsRmAG"
      },
      "source": [
        "Here is the diagram that illustrates the overall resulting data flow.\n",
        "\n",
        ".. figure:: /_static/img/reinforcement_learning_diagram.jpg\n",
        "\n",
        "Actions are chosen either randomly or based on a policy, getting the next\n",
        "step sample from the gym environment. We record the results in the\n",
        "replay memory and also run optimization step on every iteration.\n",
        "Optimization picks a random batch from the replay memory to do training of the\n",
        "new policy. The \"older\" target_net is also used in optimization to compute the\n",
        "expected Q values. A soft update of its weights are performed at every step.\n",
        "\n",
        "\n"
      ]
    }
  ],
  "metadata": {
    "kernelspec": {
      "display_name": "Python 3",
      "language": "python",
      "name": "python3"
    },
    "language_info": {
      "codemirror_mode": {
        "name": "ipython",
        "version": 3
      },
      "file_extension": ".py",
      "mimetype": "text/x-python",
      "name": "python",
      "nbconvert_exporter": "python",
      "pygments_lexer": "ipython3",
      "version": "3.10.13"
    },
    "colab": {
      "provenance": []
    }
  },
  "nbformat": 4,
  "nbformat_minor": 0
}