CS224W_Colab4.ipynb

{
  "nbformat": 4,
  "nbformat_minor": 0,
  "metadata": {
    "colab": {
      "provenance": [],
      "machine_shape": "hm",
      "include_colab_link": true
    },
    "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.7.3"
    },
    "accelerator": "GPU"
  },
  "cells": [
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "view-in-github",
        "colab_type": "text"
      },
      "source": [
        "<a href=\"https://colab.research.google.com/github/pipaber/GNN/blob/main/CS224W_Colab4.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "XuXWJLEm2UWS"
      },
      "source": [
        "# **CS224W - Colab 4**"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "8gzsP50bF6Gb"
      },
      "source": [
        "In Colab 2 we constructed GNN models by using PyTorch Geometric's built in GCN layer, `GCNConv`. In Colab 3 we implemented the  **GraphSAGE** ([Hamilton et al. (2017)](https://arxiv.org/abs/1706.02216)) layer. In this colab you'll use what you've learned and implement a more powerful layer: **GAT** ([Veličković et al. (2018)](https://arxiv.org/abs/1710.10903)). Then we will run our models on the CORA dataset, which is a standard citation network benchmark dataset.\n",
        "\n",
        "**Note**: Make sure to **sequentially run all the cells in each section** so that the intermediate variables / packages will carry over to the next cell\n",
        "\n",
        "Have fun and good luck on Colab 4 :)"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "MSaetj53YnT6"
      },
      "source": [
        "# Device\n",
        "We recommend using a GPU for this Colab.\n",
        "\n",
        "Please click `Runtime` and then `Change runtime type`. Then set the `hardware accelerator` to **GPU**."
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "67gOQITlCNQi"
      },
      "source": [
        "## Installation"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "J_m9l6OYCQZP",
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "outputId": "73158c0f-d2a9-4b92-993a-4a8ed90c6fdb",
        "collapsed": true
      },
      "source": [
        "# Install torch geometric\n",
        "import os\n",
        "import torch\n",
        "if 'IS_GRADESCOPE_ENV' not in os.environ:\n",
        "  torch_version = str(torch.__version__)\n",
        "  scatter_src = f\"https://pytorch-geometric.com/whl/torch-{torch_version}.html\"\n",
        "  sparse_src = f\"https://pytorch-geometric.com/whl/torch-{torch_version}.html\"\n",
        "  !pip install torch-scatter -f $scatter_src\n",
        "  !pip install torch-sparse -f $sparse_src\n",
        "  !pip install torch-geometric"
      ],
      "execution_count": 1,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Looking in indexes: https://pypi.org/simple, https://pypi.ngc.nvidia.com\n",
            "Looking in links: https://pytorch-geometric.com/whl/torch-2.3.0+cu121.html\n",
            "Requirement already satisfied: torch-scatter in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (2.1.2+pt23cu121)\n",
            "Looking in indexes: https://pypi.org/simple, https://pypi.ngc.nvidia.com\n",
            "Looking in links: https://pytorch-geometric.com/whl/torch-2.3.0+cu121.html\n",
            "Requirement already satisfied: torch-sparse in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (0.6.18+pt23cu121)\n",
            "Requirement already satisfied: scipy in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-sparse) (1.13.0)\n",
            "Requirement already satisfied: numpy<2.3,>=1.22.4 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from scipy->torch-sparse) (1.26.4)\n",
            "Looking in indexes: https://pypi.org/simple, https://pypi.ngc.nvidia.com\n",
            "Requirement already satisfied: torch-geometric in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (2.5.3)\n",
            "Requirement already satisfied: tqdm in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (4.66.4)\n",
            "Requirement already satisfied: numpy in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (1.26.4)\n",
            "Requirement already satisfied: scipy in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (1.13.0)\n",
            "Requirement already satisfied: fsspec in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (2024.2.0)\n",
            "Requirement already satisfied: jinja2 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (3.1.3)\n",
            "Requirement already satisfied: aiohttp in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (3.9.5)\n",
            "Requirement already satisfied: requests in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (2.31.0)\n",
            "Requirement already satisfied: pyparsing in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (3.1.2)\n",
            "Requirement already satisfied: scikit-learn in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (1.4.2)\n",
            "Requirement already satisfied: psutil>=5.8.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from torch-geometric) (5.9.0)\n",
            "Requirement already satisfied: aiosignal>=1.1.2 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from aiohttp->torch-geometric) (1.3.1)\n",
            "Requirement already satisfied: attrs>=17.3.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from aiohttp->torch-geometric) (23.2.0)\n",
            "Requirement already satisfied: frozenlist>=1.1.1 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from aiohttp->torch-geometric) (1.4.1)\n",
            "Requirement already satisfied: multidict<7.0,>=4.5 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from aiohttp->torch-geometric) (6.0.5)\n",
            "Requirement already satisfied: yarl<2.0,>=1.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from aiohttp->torch-geometric) (1.9.4)\n",
            "Requirement already satisfied: async-timeout<5.0,>=4.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from aiohttp->torch-geometric) (4.0.3)\n",
            "Requirement already satisfied: MarkupSafe>=2.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from jinja2->torch-geometric) (2.1.5)\n",
            "Requirement already satisfied: charset-normalizer<4,>=2 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from requests->torch-geometric) (3.3.2)\n",
            "Requirement already satisfied: idna<4,>=2.5 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from requests->torch-geometric) (3.7)\n",
            "Requirement already satisfied: urllib3<3,>=1.21.1 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from requests->torch-geometric) (2.2.1)\n",
            "Requirement already satisfied: certifi>=2017.4.17 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from requests->torch-geometric) (2024.2.2)\n",
            "Requirement already satisfied: joblib>=1.2.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from scikit-learn->torch-geometric) (1.4.2)\n",
            "Requirement already satisfied: threadpoolctl>=2.0.0 in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from scikit-learn->torch-geometric) (3.5.0)\n",
            "Requirement already satisfied: colorama in c:\\users\\lenovo\\miniconda3\\envs\\piero\\lib\\site-packages (from tqdm->torch-geometric) (0.4.6)\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "PRfgbfTjCRD_",
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "outputId": "49b7784f-6d7e-4ba6-d754-09cb56fda7ad"
      },
      "source": [
        "import torch_geometric\n",
        "torch_geometric.__version__"
      ],
      "execution_count": 13,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "'2.5.3'"
            ]
          },
          "metadata": {},
          "execution_count": 13
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "ZoXlf4MtYrbz"
      },
      "source": [
        "# 1) GNN Layers"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "TQy2RBfgYut4"
      },
      "source": [
        "## Implementing Layer Modules\n",
        "\n",
        "In Colab 2, we implemented a GCN model for node and graph classification tasks. However, for that notebook we took advantage of PyG's built in GCN module. For Colabs 3 and 4, we provide a build upon a general Graph Neural Network Stack, into which we will be able to plugin our own module implementations: GraphSAGE and GAT.\n",
        "\n",
        "We will then use our layer implemenations to complete node classification on the CORA dataset, a standard citation network benchmark. In this dataset, nodes correspond to documents and edges correspond to undirected citations. Each node or document in the graph is assigned a class label and features based on the documents binarized bag-of-words representation. Specifically, the Cora graph has 2708 nodes, 5429 edges, 7 prediction classes, and 1433 features per node."
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "H4ne6Gw-CT5G"
      },
      "source": [
        "## GNN Stack Module\n",
        "\n",
        "Below is the implementation of a general GNN stack, where we can plugin any GNN layer, such as **GraphSage**, **GAT**, etc. This module is provided for you. Your implementations of the **GraphSage** and **GAT** layers will function as components in the GNNStack Module."
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "Ys8vZAFPCWWe"
      },
      "source": [
        "import torch\n",
        "import torch_scatter\n",
        "import torch.nn as nn\n",
        "import torch.nn.functional as F\n",
        "\n",
        "import torch_geometric.nn as pyg_nn\n",
        "import torch_geometric.utils as pyg_utils\n",
        "\n",
        "from torch import Tensor\n",
        "from typing import Union, Tuple, Optional\n",
        "from torch_geometric.typing import (OptPairTensor, Adj, Size, NoneType,\n",
        "                                    OptTensor)\n",
        "\n",
        "from torch.nn import Parameter, Linear\n",
        "from torch_sparse import SparseTensor, set_diag\n",
        "from torch_geometric.nn.conv import MessagePassing\n",
        "from torch_geometric.utils import remove_self_loops, add_self_loops, softmax, degree\n",
        "\n",
        "class GNNStack(torch.nn.Module):\n",
        "    def __init__(self, input_dim, hidden_dim, output_dim, args, emb=False):\n",
        "        super(GNNStack, self).__init__()\n",
        "        conv_model = self.build_conv_model(args.model_type)\n",
        "        self.convs = nn.ModuleList()\n",
        "        self.convs.append(conv_model(input_dim, hidden_dim))\n",
        "        assert (args.num_layers >= 1), 'Number of layers is not >=1'\n",
        "        for l in range(args.num_layers-1):\n",
        "            self.convs.append(conv_model(args.heads * hidden_dim, hidden_dim))\n",
        "\n",
        "        # post-message-passing\n",
        "        self.post_mp = nn.Sequential(\n",
        "            nn.Linear(args.heads * hidden_dim, hidden_dim), nn.Dropout(args.dropout),\n",
        "            nn.Linear(hidden_dim, output_dim))\n",
        "\n",
        "        self.dropout = args.dropout\n",
        "        self.num_layers = args.num_layers\n",
        "\n",
        "        self.emb = emb\n",
        "\n",
        "    def build_conv_model(self, model_type):\n",
        "        if model_type == 'GraphSage':\n",
        "            return GraphSage\n",
        "        elif model_type == 'GAT':\n",
        "            # When applying GAT with num heads > 1, you need to modify the\n",
        "            # input and output dimension of the conv layers (self.convs),\n",
        "            # to ensure that the input dim of the next layer is num heads\n",
        "            # multiplied by the output dim of the previous layer.\n",
        "            # HINT: In case you want to play with multiheads, you need to change the for-loop that builds up self.convs to be\n",
        "            # self.convs.append(conv_model(hidden_dim * num_heads, hidden_dim)),\n",
        "            # and also the first nn.Linear(hidden_dim * num_heads, hidden_dim) in post-message-passing.\n",
        "            return GAT\n",
        "\n",
        "    def forward(self, data):\n",
        "        x, edge_index, batch = data.x, data.edge_index, data.batch\n",
        "\n",
        "        for i in range(self.num_layers):\n",
        "            x = self.convs[i](x, edge_index)\n",
        "            x = F.relu(x)\n",
        "            x = F.dropout(x, p=self.dropout,training=self.training)\n",
        "\n",
        "        x = self.post_mp(x)\n",
        "\n",
        "        if self.emb == True:\n",
        "            return x\n",
        "\n",
        "        return F.log_softmax(x, dim=1)\n",
        "\n",
        "    def loss(self, pred, label):\n",
        "        return F.nll_loss(pred, label)"
      ],
      "execution_count": 8,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "5nW_XpEwASNZ"
      },
      "source": [
        "## Creating Our Own Message Passing Layer\n",
        "\n",
        "Now let's start implementing our own message passing layers! Working through this part will help us become acutely familiar with the behind the scenes work of implementing Pytorch Message Passing Layers, allowing us to build our own GNN models. To do so, we will work with and implement 3 critcal functions needed to define a PyG Message Passing Layer: `forward`, `message`, and `aggregate`.\n",
        "\n",
        "Before diving head first into the coding details, let us quickly review the key components of the message passing process. To do so, we will focus on a single round of messsage passing with respect to a single central node $x$. Before message passing, $x$ is associated with a feature vector $x^{l-1}$, and the goal of message passing is to update this feature vector as $x^l$. To do so, we implement the following steps: 1) each neighboring node $v$ passes its current message $v^{l-1}$ across the edge $(x, v)$ - 2) for the node $x$, we aggregate all of the messages of the neighboring nodes (for example through a sum or mean) - and 3) we transform the aggregated information by for example applying linear and non-linear transformations. Altogether, the message passing process is applied such that every node $u$ in our graph updates its embedding by acting as the central node $x$ in step 1-3 described above.\n",
        "\n",
        "Now, we extending this process to that of a single message passing layer, the job of a message passing layer is to update the current feature representation or embedding of each node in a graph by propagating and transforming information within the graph. Overall, the general paradigm of a message passing layers is: 1) pre-processing -> 2) **message passing** / propagation -> 3) post-processing.\n",
        "\n",
        "The `forward` fuction that we will implement for our message passing layer captures this execution logic. Namely, the `forward` function handles the pre and post-processing of node features / embeddings, as well as initiates message passing by calling the `propagate` function.\n",
        "\n",
        "\n",
        "The `propagate` function encapsulates the message passing process! It does so by calling three important functions: 1) `message`, 2) `aggregate`, and 3) `update`. Our implementation will vary slightly from this, as we will not explicitly implement `update`, but instead place the logic for updating node embeddings after message passing and within the `forward` function. To be more specific, after information is propagated (message passing), we can further transform the node embeddings outputed by `propagate`. Therefore, the output of `forward` is exactly the node embeddings after one GNN layer.\n",
        "\n",
        "Lastly, before starting to implement our own layer, let us dig a bit deeper into each of the functions described above:\n",
        "\n",
        "1.\n",
        "\n",
        "```\n",
        "def propagate(edge_index, x=(x_i, x_j), extra=(extra_i, extra_j), size=size):\n",
        "```\n",
        "Calling `propagate` initiates the message passing process. Looking at the function parameters, we highlight a couple of key parameters.\n",
        "\n",
        "  - `edge_index` is passed to the forward function and captures the edge structure of the graph.\n",
        "  - `x=(x_i, x_j)` represents the node features that will be used in message passing. In order to explain why we pass the tuple `(x_i, x_j)`, we first look at how our edges are represented. For every edge $(i, j) \\in E$, we can differentiate $i$ as the source or central node ($x_{central}$) and j as the neighboring node ($x_{neighbor}$).\n",
        "  \n",
        "    Taking the example of message passing above, for a central node $u$ we will aggregate and transform all of the messages associated with the nodes $v$ s.t. $(u, v) \\in E$ (i.e. $v \\in N_{u}$). Thus we see, the subscripts `_i` and `_j` allow us to specifcally differenciate features associated with central nodes (i.e. nodes  recieving message information) and neighboring nodes (i.e. nodes passing messages).\n",
        "\n",
        "    This is definitely a somewhat confusing concept; however, one key thing to remember / wrap your head around is that depending on the perspective, a node $x$ acts as a central node or a neighboring node. In fact, in undirected graphs we store both edge directions (i.e. $(i, j)$ and $(j, i)$). From the central node perspective, `x_i`, x is collecting neighboring information to update its embedding. From a neighboring node perspective, `x_j`, x is passing its message information along the edge connecting it to a different central node.\n",
        "\n",
        "  - `extra=(extra_i, extra_j)` represents additional information that we can associate with each node beyond its current feature embedding. In fact, we can include as many additional parameters of the form `param=(param_i, param_j)` as we would like. Again, we highlight that indexing with `_i` and `_j` allows us to differentiate central and neighboring nodes.\n",
        "\n",
        "  The output of the `propagate` function is a matrix of node embeddings after the message passing process and has shape $[N, d]$.\n",
        "\n",
        "2.\n",
        "```\n",
        "def message(x_j, ...):\n",
        "```\n",
        "The `message` function is called by propagate and constructs the messages from\n",
        "neighboring nodes $j$ to central nodes $i$ for each edge $(i, j)$ in *edge_index*. This function can take any argument that was initially passed to `propagate`. Furthermore, we can again differentiate central nodes and neighboring nodes by appending `_i` or `_j` to the variable name, .e.g. `x_i` and `x_j`. Looking more specifically at the variables, we have:\n",
        "\n",
        "  - `x_j` represents a matrix of feature embeddings for all neighboring nodes passing their messages along their respective edge (i.e. all nodes $j$ for edges $(i, j) \\in E$). Thus, its shape is $[|E|, d]$!\n",
        "  - In implementing GAT we will see how to access additional variables passed to propagate\n",
        "\n",
        "  Critically, we see that the output of the `message` function is a matrix of neighboring node embeddings ready to be aggregated, having shape $[|E|, d]$.\n",
        "\n",
        "3.\n",
        "```\n",
        "def aggregate(self, inputs, index, dim_size = None):\n",
        "```\n",
        "Lastly, the `aggregate` function is used to aggregate the messages from neighboring nodes. Looking at the parameters we highlight:\n",
        "\n",
        "  - `inputs` represents a matrix of the messages passed from neighboring nodes (i.e. the output of the `message` function).\n",
        "  - `index` has the same shape as `inputs` and tells us the central node that corresponding to each of the rows / messages $j$ in the `inputs` matrix. Thus, `index` tells us which rows / messages to aggregate for each central node.\n",
        "\n",
        "  The output of `aggregate` is of shape $[N, d]$.\n",
        "\n",
        "\n",
        "For additional resources refer to the PyG documentation for implementing custom message passing layers: https://pytorch-geometric.readthedocs.io/en/latest/notes/create_gnn.html"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "qjcfF3RACdLD"
      },
      "source": [
        "## GAT Implementation\n",
        "\n",
        "Attention mechanisms have become the state-of-the-art in many sequence-based tasks such as machine translation and learning sentence representations. One of the major benefits of attention-based mechanisms is their ability to focus on the most relevant parts of the input to make decisions. In this problem, we will see how attention mechanisms can be used to perform node classification over graph-structured data through the usage of Graph Attention Networks (GATs) ([Veličković et al. (2018)](https://arxiv.org/abs/1710.10903)).\n",
        "\n",
        "The building block of the Graph Attention Network is the graph attention layer, which is a variant of the aggregation function. Let $N$ be the number of nodes and $F$ be the dimension of the feature vector for each node. The input to each graph attentional layer is a set of node features: $\\mathbf{h} = \\{\\overrightarrow{h_1}, \\overrightarrow{h_2}, \\dots, \\overrightarrow{h_N}$\\}, $\\overrightarrow{h_i} \\in R^F$. The output of each graph attentional layer is a new set of node features, which may have a new dimension $F'$: $\\mathbf{h'} = \\{\\overrightarrow{h_1'}, \\overrightarrow{h_2'}, \\dots, \\overrightarrow{h_N'}\\}$, with $\\overrightarrow{h_i'} \\in \\mathbb{R}^{F'}$.\n",
        "\n",
        "We will now describe how this transformation is performed for each graph attention layer. First, a shared linear transformation parametrized by the weight matrix $\\mathbf{W} \\in \\mathbb{R}^{F' \\times F}$ is applied to every node.\n",
        "\n",
        "Next, we perform self-attention on the nodes. We use a shared attention function $a$:\n",
        "\\begin{equation}\n",
        "a : \\mathbb{R}^{F'} \\times \\mathbb{R}^{F'} \\rightarrow \\mathbb{R}.\n",
        "\\end{equation}\n",
        "\n",
        "that computes the attention coefficients capturing the importance of node $j$'s features to node $i$:\n",
        "\\begin{equation}\n",
        "e_{ij} = a(\\mathbf{W_l}\\overrightarrow{h_i}, \\mathbf{W_r} \\overrightarrow{h_j})\n",
        "\\end{equation}\n",
        "\n",
        "The most general formulation of self-attention allows every node to attend to all other nodes which drops all structural information. However, to utilize graph structure in the attention mechanisms, we use **masked attention**. In masked attention, we only compute attention coefficients $e_{ij}$ for nodes $j \\in N_i$ where $N_i$ is some neighborhood of node $i$ in the graph.\n",
        "\n",
        "To easily compare coefficients across different nodes, we normalize the coefficients across $j$ using a softmax function:\n",
        "\\begin{equation}\n",
        "\\alpha_{ij} = \\text{softmax}_j(e_{ij}) = \\frac{\\exp(e_{ij})}{\\sum_{k \\in N_i} \\exp(e_{ik})}\n",
        "\\end{equation}\n",
        "\n",
        "For this problem, our attention mechanism $a$ will be a single-layer feedforward neural network parametrized by a weight vectors $\\overrightarrow{a_l} \\in \\mathbb{R}^{F'}$ and $\\overrightarrow{a_r} \\in \\mathbb{R}^{F'}$, followed by a LeakyReLU nonlinearity (with negative input slope 0.2). Let $\\cdot^T$ represent transposition and $||$ represent concatenation. The coefficients computed by our attention mechanism may be expressed as:\n",
        "\n",
        "\\begin{equation}\n",
        "\\alpha_{ij} = \\frac{\\exp\\Big(\\text{LeakyReLU}\\Big(\\overrightarrow{a_l}^T \\mathbf{W_l} \\overrightarrow{h_i} + \\overrightarrow{a_r}^T\\mathbf{W_r}\\overrightarrow{h_j}\\Big)\\Big)}{\\sum_{k\\in N_i} \\exp\\Big(\\text{LeakyReLU}\\Big(\\overrightarrow{a_l}^T \\mathbf{W_l} \\overrightarrow{h_i} + \\overrightarrow{a_r}^T\\mathbf{W_r}\\overrightarrow{h_k}\\Big)\\Big)}\n",
        "\\end{equation}\n",
        "\n",
        "For the following questions, we denote `alpha_l` = $\\alpha_l = [...,\\overrightarrow{a_l}^T \\mathbf{W_l} \\overrightarrow{h_i},...] \\in R^n$ and `alpha_r` = $\\alpha_r = [..., \\overrightarrow{a_r}^T \\mathbf{W_r} \\overrightarrow{h_j}, ...] \\in R^n$.\n",
        "\n",
        "\n",
        "At every layer of GAT, after the attention coefficients are computed for that layer, the aggregation function can be computed by a weighted sum of neighborhood messages, where weights are specified by $\\alpha_{ij}$.\n",
        "\n",
        "Now, we use the normalized attention coefficients to compute a linear combination of the features corresponding to them. These aggregated features will serve as the final output features for every node.\n",
        "\n",
        "\\begin{equation}\n",
        "h_i' = \\sum_{j \\in N_i} \\alpha_{ij} \\mathbf{W_r} \\overrightarrow{h_j}.\n",
        "\\end{equation}\n",
        "\n",
        "At this point, we have covered a lot of information! Before reading further about multi-head attention, we encourage you to go again through the excersize of thinking about what components of the attention mechanism correspond with the different functions: 1) `forward`, 2) `message`, and 3 `aggregate`.\n",
        "\n",
        "- Hint 1: Our aggregation is very similar to that of GraphSage except now we are using sum aggregation\n",
        "- Hint 2: The terms we aggregate over again represent the individual message that each neighbor node j sends. Thus, we see that $\\alpha_{ij}$ is part of the message each node sends and is thus computed during the message step. This makes sense since an attention weight is associated with each edge in the graph.\n",
        "- Hint 3: Look at the terms in the definition of $\\alpha_{ij}$. What values do we want to pre-process and pass as parameters to the `propagate` function. The parameters of `message(..., x_j, alpha_j, alpha_i, ...)` should give a good hint.  \n",
        "\n",
        "### Multi-Head Attention\n",
        "To stabilize the learning process of self-attention, we use multi-head attention. To do this we use $K$ independent attention mechanisms, or ``heads'' compute output features as in the above equations. Then, we concatenate these output feature representations:\n",
        "\n",
        "\\begin{equation}\n",
        "    \\overrightarrow{h_i}' = ||_{k=1}^K \\Big(\\sum_{j \\in N_i} \\alpha_{ij}^{(k)} \\mathbf{W_r}^{(k)} \\overrightarrow{h_j}\\Big)\n",
        "\\end{equation}\n",
        "\n",
        "where $||$ is concentation, $\\alpha_{ij}^{(k)}$ are the normalized attention coefficients computed by the $k$-th attention mechanism $(a^k)$, and $\\mathbf{W}^{(k)}$ is the corresponding input linear transformation's weight matrix. Note that for this setting, $\\mathbf{h'} \\in \\mathbb{R}^{KF'}$."
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "w4j45gTpCeXO"
      },
      "source": [
        "class GAT(MessagePassing):\n",
        "\n",
        "    def __init__(self, in_channels, out_channels, heads = 8,\n",
        "                 negative_slope = 0.2, dropout = 0., **kwargs):\n",
        "        super(GAT, self).__init__(node_dim=0, **kwargs)\n",
        "\n",
        "        self.in_channels = in_channels\n",
        "        self.out_channels = out_channels\n",
        "        self.heads = heads\n",
        "        self.negative_slope = negative_slope\n",
        "        self.dropout = dropout\n",
        "\n",
        "\n",
        "\n",
        "        ############################################################################\n",
        "        # TODO: Your code here!\n",
        "        # Define the layers needed for the message functions below.\n",
        "        # self.lin_l is the linear transformation that you apply to embeddings\n",
        "        # BEFORE message passing.\n",
        "        #\n",
        "        # Pay attention to dimensions of the linear layers, since we're using\n",
        "        # multi-head attention.\n",
        "        # Our implementation is ~1 lines, but don't worry if you deviate from this.\n",
        "\n",
        "        ############################################################################\n",
        "\n",
        "        self.lin_l = nn.Linear(self.in_channels, self.heads * self.out_channels, bias=False)\n",
        "        self.lin_r = nn.Linear(self.in_channels, self.heads * self.out_channels, bias=False)\n",
        "\n",
        "        ############################################################################\n",
        "        # TODO: Your code here!\n",
        "        # Define the attention parameters \\overrightarrow{a_l/r}^T in the above intro.\n",
        "        # You have to deal with multi-head scenarios.\n",
        "        # Use nn.Parameter instead of nn.Linear\n",
        "        # Our implementation is ~2 lines, but don't worry if you deviate from this.\n",
        "\n",
        "        self.att_l = nn.Parameter(torch.Tensor(1, self.heads, self.out_channels))\n",
        "        self.att_r = nn.Parameter(torch.Tensor(1, self.heads, self.out_channels))\n",
        "\n",
        "        ############################################################################\n",
        "\n",
        "        self.reset_parameters()\n",
        "\n",
        "    def reset_parameters(self):\n",
        "        nn.init.xavier_uniform_(self.lin_l.weight)\n",
        "        nn.init.xavier_uniform_(self.lin_r.weight)\n",
        "        nn.init.xavier_uniform_(self.att_l)\n",
        "        nn.init.xavier_uniform_(self.att_r)\n",
        "\n",
        "    def forward(self, x, edge_index, size = None):\n",
        "\n",
        "        H, C = self.heads, self.out_channels\n",
        "\n",
        "        ############################################################################\n",
        "        # TODO: Your code here!\n",
        "        # Implement message passing, as well as any pre- and post-processing (our update rule).\n",
        "        # 1. First apply linear transformation to node embeddings, and split that\n",
        "        #    into multiple heads. We use the same representations for source and\n",
        "        #    target nodes, but apply different linear weights (W_l and W_r)\n",
        "        # 2. Calculate alpha vectors for central nodes (alpha_l) and neighbor nodes (alpha_r).\n",
        "        # 3. Call propagate function to conduct the message passing.\n",
        "        #    3.1 Remember to pass alpha = (alpha_l, alpha_r) as a parameter.\n",
        "        #    3.2 See there for more information: https://pytorch-geometric.readthedocs.io/en/latest/notes/create_gnn.html\n",
        "        # 4. Transform the output back to the shape of [N, H * C].\n",
        "        # Our implementation is ~5 lines, but don't worry if you deviate from this.\n",
        "\n",
        "        x_l = self.lin_l(x).view(-1, H, C)\n",
        "        x_r = self.lin_r(x).view(-1, H, C)\n",
        "\n",
        "        alpha_l = (x_l * self.att_l).sum(dim=-1).unsqueeze(-1)\n",
        "        alpha_r = (x_r * self.att_r).sum(dim=-1).unsqueeze(-1)\n",
        "\n",
        "        out = self.propagate(edge_index, x=(x_l, x_r), alpha=(alpha_l, alpha_r), size=size).view(-1,H*C)\n",
        "\n",
        "        # out = x_l.view(-1,H*C) + out # skip connection\n",
        "        ############################################################################\n",
        "\n",
        "        return out\n",
        "\n",
        "\n",
        "    def message(self, x_j, alpha_j, alpha_i, index, ptr, size_i):\n",
        "\n",
        "        ############################################################################\n",
        "        # TODO: Your code here!\n",
        "        # Implement your message function. Putting the attention in message\n",
        "        # instead of in update is a little tricky.\n",
        "        # 1. Calculate the final attention weights using alpha_i and alpha_j,\n",
        "        #    and apply leaky Relu.\n",
        "        # 2. Calculate softmax over the neighbor nodes for all the nodes. Use\n",
        "        #    torch_geometric.utils.softmax instead of the one in Pytorch.\n",
        "        # 3. Apply dropout to attention weights (alpha).\n",
        "        # 4. Multiply embeddings and attention weights. As a sanity check, the output\n",
        "        #    should be of shape [E, H, C].\n",
        "        # 5. ptr (LongTensor, optional): If given, computes the softmax based on\n",
        "        #    sorted inputs in CSR representation. You can simply pass it to softmax.\n",
        "        # 6. size_i: corresponds to the num_nodes variable input to the torch.geometric.softmax method\n",
        "        # Our implementation is ~4-5 lines, but don't worry if you deviate from this.\n",
        "\n",
        "        alpha = F.leaky_relu(alpha_i + alpha_j, self.negative_slope)\n",
        "        alpha = torch_geometric.utils.softmax(alpha, index, ptr, size_i)\n",
        "        alpha = F.dropout(alpha, p=self.dropout, training=self.training)\n",
        "\n",
        "        out = x_j * alpha.view(-1, self.heads, 1)\n",
        "\n",
        "        ############################################################################\n",
        "\n",
        "        return out\n",
        "\n",
        "\n",
        "    def aggregate(self, inputs, index, dim_size = None):\n",
        "\n",
        "        ############################################################################\n",
        "        # TODO: Your code here!\n",
        "        # Implement your aggregate function here.\n",
        "        # See here as how to use torch_scatter.scatter: https://pytorch-scatter.readthedocs.io/en/latest/_modules/torch_scatter/scatter.html\n",
        "        # Pay attention to \"reduce\" parameter is different from that in GraphSage.\n",
        "        # Our implementation is ~1 lines, but don't worry if you deviate from this.\n",
        "\n",
        "        out = torch_scatter.scatter(inputs, index, dim=0, dim_size=dim_size, reduce='sum')\n",
        "\n",
        "        ############################################################################\n",
        "\n",
        "        return out"
      ],
      "execution_count": 28,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "V2dkgSuWCheU"
      },
      "source": [
        "## Building Optimizers\n",
        "\n",
        "This function has been implemented for you. **For grading purposes please use the default Adam optimizer**, but feel free to play with other types of optimizers on your own."
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "f_TIQ8NPCjBP"
      },
      "source": [
        "import torch.optim as optim\n",
        "\n",
        "def build_optimizer(args, params):\n",
        "    weight_decay = args.weight_decay\n",
        "    filter_fn = filter(lambda p : p.requires_grad, params)\n",
        "    if args.opt == 'adam':\n",
        "        optimizer = optim.Adam(filter_fn, lr=args.lr, weight_decay=weight_decay)\n",
        "    elif args.opt == 'sgd':\n",
        "        optimizer = optim.SGD(filter_fn, lr=args.lr, momentum=0.95, weight_decay=weight_decay)\n",
        "    elif args.opt == 'rmsprop':\n",
        "        optimizer = optim.RMSprop(filter_fn, lr=args.lr, weight_decay=weight_decay)\n",
        "    elif args.opt == 'adagrad':\n",
        "        optimizer = optim.Adagrad(filter_fn, lr=args.lr, weight_decay=weight_decay)\n",
        "    if args.opt_scheduler == 'none':\n",
        "        return None, optimizer\n",
        "    elif args.opt_scheduler == 'step':\n",
        "        scheduler = optim.lr_scheduler.StepLR(optimizer, step_size=args.opt_decay_step, gamma=args.opt_decay_rate)\n",
        "    elif args.opt_scheduler == 'cos':\n",
        "        scheduler = optim.lr_scheduler.CosineAnnealingLR(optimizer, T_max=args.opt_restart)\n",
        "    return scheduler, optimizer"
      ],
      "execution_count": 16,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "hBYdWFwYCkwY"
      },
      "source": [
        "## Training and Testing\n",
        "\n",
        "Here we provide you with the functions to train and test. **Please do not modify this part for grading purposes.**"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "_tZMWRc8CmGg"
      },
      "source": [
        "import time\n",
        "\n",
        "import networkx as nx\n",
        "import numpy as np\n",
        "import torch\n",
        "import torch.optim as optim\n",
        "from tqdm import trange\n",
        "import pandas as pd\n",
        "import copy\n",
        "\n",
        "from torch_geometric.datasets import TUDataset\n",
        "from torch_geometric.datasets import Planetoid\n",
        "from torch_geometric.data import DataLoader\n",
        "\n",
        "import torch_geometric.nn as pyg_nn\n",
        "\n",
        "import matplotlib.pyplot as plt\n",
        "\n",
        "\n",
        "def train(dataset, args):\n",
        "\n",
        "    print(\"Node task. test set size:\", np.sum(dataset[0]['test_mask'].numpy()))\n",
        "    print()\n",
        "    test_loader = loader = DataLoader(dataset, batch_size=args.batch_size, shuffle=False)\n",
        "\n",
        "    # build model\n",
        "    model = GNNStack(dataset.num_node_features, args.hidden_dim, dataset.num_classes,\n",
        "                            args)\n",
        "    scheduler, opt = build_optimizer(args, model.parameters())\n",
        "\n",
        "    # train\n",
        "    losses = []\n",
        "    test_accs = []\n",
        "    best_acc = 0\n",
        "    best_model = None\n",
        "    for epoch in trange(args.epochs, desc=\"Training\", unit=\"Epochs\"):\n",
        "        total_loss = 0\n",
        "        model.train()\n",
        "        for batch in loader:\n",
        "            opt.zero_grad()\n",
        "            pred = model(batch)\n",
        "            label = batch.y\n",
        "            pred = pred[batch.train_mask]\n",
        "            label = label[batch.train_mask]\n",
        "            loss = model.loss(pred, label)\n",
        "            loss.backward()\n",
        "            opt.step()\n",
        "            total_loss += loss.item() * batch.num_graphs\n",
        "        total_loss /= len(loader.dataset)\n",
        "        losses.append(total_loss)\n",
        "\n",
        "        if epoch % 10 == 0:\n",
        "          test_acc = test(test_loader, model)\n",
        "          test_accs.append(test_acc)\n",
        "          if test_acc > best_acc:\n",
        "            best_acc = test_acc\n",
        "            best_model = copy.deepcopy(model)\n",
        "        else:\n",
        "          test_accs.append(test_accs[-1])\n",
        "\n",
        "    return test_accs, losses, best_model, best_acc, test_loader\n",
        "\n",
        "def test(loader, test_model, is_validation=False, save_model_preds=False, model_type=None):\n",
        "    test_model.eval()\n",
        "\n",
        "    correct = 0\n",
        "    # Note that Cora is only one graph!\n",
        "    for data in loader:\n",
        "        with torch.no_grad():\n",
        "            # max(dim=1) returns values, indices tuple; only need indices\n",
        "            pred = test_model(data).max(dim=1)[1]\n",
        "            label = data.y\n",
        "\n",
        "        mask = data.val_mask if is_validation else data.test_mask\n",
        "        # node classification: only evaluate on nodes in test set\n",
        "        pred = pred[mask]\n",
        "        label = label[mask]\n",
        "\n",
        "        if save_model_preds:\n",
        "          print (\"Saving Model Predictions for Model Type\", model_type)\n",
        "\n",
        "          data = {}\n",
        "          data['pred'] = pred.view(-1).cpu().detach().numpy()\n",
        "          data['label'] = label.view(-1).cpu().detach().numpy()\n",
        "\n",
        "          df = pd.DataFrame(data=data)\n",
        "          # Save locally as csv\n",
        "          df.to_csv('CORA-Node-' + model_type + '.csv', sep=',', index=False)\n",
        "\n",
        "        correct += pred.eq(label).sum().item()\n",
        "\n",
        "    total = 0\n",
        "    for data in loader.dataset:\n",
        "        total += torch.sum(data.val_mask if is_validation else data.test_mask).item()\n",
        "\n",
        "    return correct / total\n",
        "\n",
        "class objectview(object):\n",
        "    def __init__(self, d):\n",
        "        self.__dict__ = d\n"
      ],
      "execution_count": 21,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "L7-h7jIsCns4"
      },
      "source": [
        "## Let's Start the Training!\n",
        "\n",
        "We will be working on the CORA dataset on node-level classification.\n",
        "\n",
        "This part is implemented for you. **For grading purposes, please do not modify the default parameters.** However, feel free to play with different configurations just for fun! Training with default parameters on the GPU runtime should take less than 5 minutes.\n",
        "\n",
        "**Submit your best accuracy on Gradescope.**"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "qe9B45l9Cpz2",
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 573
        },
        "outputId": "3c8decae-d4f9-48e6-fbb3-6dffdd3485e1"
      },
      "source": [
        "if 'IS_GRADESCOPE_ENV' not in os.environ:\n",
        "    for args in [\n",
        "        {'model_type': 'GAT', 'dataset': 'cora', 'num_layers': 2, 'heads': 8, 'batch_size': 32, 'hidden_dim': 32, 'dropout': 0.5, 'epochs': 500, 'opt': 'adam', 'opt_scheduler': 'none', 'opt_restart': 0, 'weight_decay': 5e-3, 'lr': 0.01},\n",
        "    ]:\n",
        "        args = objectview(args)\n",
        "        for model in ['GAT']:\n",
        "            args.model_type = model\n",
        "\n",
        "            # Match the dimension.\n",
        "            if model == 'GAT':\n",
        "              pass\n",
        "            else:\n",
        "              args.heads = 1\n",
        "\n",
        "            if args.dataset == 'cora':\n",
        "                dataset = Planetoid(root='/tmp/cora', name='Cora')\n",
        "            else:\n",
        "                raise NotImplementedError(\"Unknown dataset\")\n",
        "            test_accs, losses, best_model, best_acc, test_loader = train(dataset, args)\n",
        "\n",
        "            print(\"Maximum test set accuracy: {0}\".format(max(test_accs)))\n",
        "            print(\"Minimum loss: {0}\".format(min(losses)))\n",
        "\n",
        "            # Run test for our best model to save the predictions!\n",
        "            test(test_loader, best_model, is_validation=False, save_model_preds=True, model_type=model)\n",
        "            print()\n",
        "\n",
        "            plt.title(dataset.name)\n",
        "            plt.plot(losses, label=\"training loss\" + \" - \" + args.model_type)\n",
        "            plt.plot(test_accs, label=\"test accuracy\" + \" - \" + args.model_type)\n",
        "        plt.legend()\n",
        "        plt.show()\n"
      ],
      "execution_count": 29,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Node task. test set size: 1000\n",
            "\n"
          ]
        },
        {
          "output_type": "stream",
          "name": "stderr",
          "text": [
            "Training: 100%|██████████████████████████████████████████████████████████████████| 500/500 [00:58<00:00,  8.59Epochs/s]\n"
          ]
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Maximum test set accuracy: 0.794\n",
            "Minimum loss: 0.007870341651141644\n",
            "Saving Model Predictions for Model Type GAT\n",
            "\n"
          ]
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "<Figure size 640x480 with 1 Axes>"
            ],
            "image/png": "iVBORw0KGgoAAAANSUhEUgAAAiwAAAGzCAYAAAAMr0ziAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8fJSN1AAAACXBIWXMAAA9hAAAPYQGoP6dpAABx0UlEQVR4nO3deVxU5f4H8M/MwAybgMiuKCi4K5imopUbiVqmlqXezKWbdUv7ZWQu3VJbbmSZaWZZ5tZimrnklhuKpuIu7qIiiAs7ssMAM+f3xzgHRmaGGWRm0D7v1+u8YM555pznHIZ5vufZjkQQBAFERERE9ZjU1hkgIiIiqgkDFiIiIqr3GLAQERFRvceAhYiIiOo9BixERERU7zFgISIionqPAQsRERHVewxYiIiIqN5jwEJERET1HgMWIiIiqvcYsBCRVSQmJuK1115D8+bN4eDgAFdXV/Ts2RMLFixASUmJrbNHRPWcna0zQEQPv61bt+L555+HQqHAmDFj0L59e5SVleHAgQN49913cf78efzwww+2ziYR1WMSPvyQiCwpKSkJHTt2RJMmTbBnzx74+fnpbL969Sq2bt2Kt956q9bHEAQBpaWlcHR0vN/sElE9xSYhIrKozz//HIWFhVi6dGm1YAUAgoODxWCloqICH3/8MVq0aAGFQoHAwEC89957UCqVOu8JDAzE008/jR07dqBLly5wdHTE999/DwBYvnw5+vbtC29vbygUCrRt2xbfffed5U+UiCyKNSxEZFFNmjSBQqFAYmJijWnHjRuHlStXYvjw4ejTpw+OHDmCn376CUOHDsWGDRvEdIGBgbC3t0d2djZee+01BAYGolWrVujduze6du2Kdu3aITQ0FHZ2dti8eTN27tyJb775BhMnTrTkqRKRBTFgISKLyc/Ph5ubG4YMGYKNGzcaTXv69GmEhYXhlVdewZIlS8T17777LubOnYs9e/agT58+ADQBy/Xr17F9+3ZERkbq7KekpKRa09CAAQNw5coVk4ImIqqf2CRERBaTn58PAGjQoEGNabdt2wYAiIqK0ln/zjvvANB03K0qKCioWrACQCdYycvLQ1ZWFnr16oVr164hLy/PvBMgonqDo4SIyGJcXV0BAAUFBTWmvX79OqRSKYKDg3XW+/r6wt3dHdevX9dZHxQUpHc/Bw8exKxZsxAXF4fi4mKdbXl5eXBzczPnFIionmDAQkQW4+rqCn9/f5w7d87k90gkEpPS6RsRlJiYiH79+qF169aYN28eAgICIJfLsW3bNnz11VdQq9Um54OI6hc2CRGRRT399NNITExEXFyc0XTNmjWDWq3GlStXdNanp6cjNzcXzZo1q/FYmzdvhlKpxKZNm/Daa69h0KBBiIiI4HBnoocAAxYisqipU6fC2dkZr7zyCtLT06ttT0xMxIIFCzBo0CAAwPz583W2z5s3DwDw1FNP1XgsmUwGQDMvi1ZeXh6WL19e2+wTUT3BJiEisqgWLVpg1apVGDFiBNq0aaMz0+2hQ4ewdu1ajBs3Dm+99RbGjh2LH374Abm5uejVqxeOHj2KlStXYujQoeIIIWP69+8PuVyOwYMH47XXXkNhYSGWLFkCb29vpKamWuFsichSOKyZiKziypUr+OKLL7Br1y7cvn0bCoUCHTt2xMiRIzFhwgQoFApUVFTg008/xYoVK3Dz5k34+vpi9OjRmDVrFhQKhbivwMBAtG/fHlu2bKl2nM2bN+P999/H5cuX4evri9dffx1eXl54+eWXkZSUhMDAQCueNRHVFQYsREREVO+xDwsRERHVewxYiIiIqN5jwEJERET1HgMWIiIiqvcYsBAREVG9x4CFiIiI6r2HYuI4tVqN27dvo0GDBiY/h4SIiIhsSxAEFBQUwN/fH1Kp8TqUhyJguX37NgICAmydDSIiIqqFGzduoEmTJkbTPBQBS4MGDQBoTlj7OHsiIiKq3/Lz8xEQECCW48Y8FAGLthnI1dWVAQsREdEDxpTuHOx0S0RERPUeAxYiIiKq9xiwEBERUb1nVh+W6OhorF+/HpcuXYKjoyN69OiBOXPmoFWrVkbft3btWnzwwQdITk5GSEgI5syZg0GDBonbBUHArFmzsGTJEuTm5qJnz5747rvvEBISUruzIiJ6wAiCgIqKCqhUKltnhahOyWQy2NnZ3fe0I2YFLPv27cPEiRPx6KOPoqKiAu+99x769++PCxcuwNnZWe97Dh06hFGjRiE6OhpPP/00Vq1ahaFDh+LkyZNo3749AODzzz/H119/jZUrVyIoKAgffPABIiMjceHCBTg4ONzXCRIR1XdlZWVITU1FcXGxrbNCZBFOTk7w8/ODXC6v9T4kgiAItX1zZmYmvL29sW/fPjzxxBN604wYMQJFRUXYsmWLuK579+4ICwvD4sWLIQgC/P398c4772DKlCkAgLy8PPj4+GDFihUYOXJkjfnIz8+Hm5sb8vLyOEqIiB4oarUaV65cgUwmg5eXF+RyOSfApIeGIAgoKytDZmYmVCoVQkJCdCaIM6f8vq9hzXl5eQAADw8Pg2ni4uIQFRWlsy4yMhIbN24EACQlJSEtLQ0RERHidjc3N3Tr1g1xcXF6AxalUgmlUim+zs/Pv5/TICKymbKyMqjVagQEBMDJycnW2SGqc46OjrC3t8f169dRVlZW65aTWne6VavVmDx5Mnr27Ck27eiTlpYGHx8fnXU+Pj5IS0sTt2vXGUpzr+joaLi5uYkLZ7klogddTdOSEz3I6uLzXes9TJw4EefOncPq1avvOxPmmjFjBvLy8sTlxo0bVs8DERERWU+tmoQmTZqELVu2YP/+/TXO/e/r64v09HSddenp6fD19RW3a9f5+fnppAkLC9O7T4VCAYVCUZusExER0QPIrBoWQRAwadIkbNiwAXv27EFQUFCN7wkPD0dMTIzOul27diE8PBwAEBQUBF9fX500+fn5OHLkiJiGiIgefoGBgZg/f77J6WNjYyGRSJCbm2uxPAHAihUr4O7ubtFjUM3MClgmTpyIX375BatWrUKDBg2QlpaGtLQ0lJSUiGnGjBmDGTNmiK/feustbN++HV9++SUuXbqE2bNn4/jx45g0aRIAzfMDJk+ejE8++QSbNm3C2bNnMWbMGPj7+2Po0KF1c5ZERFTnevfujcmTJ9fZ/o4dO4ZXX33V5PQ9evRAamoq3Nzc6iwPD7K9e/fi6aefhpeXFxwcHNCiRQuMGDEC+/fv15u+devWUCgUYn9RbQBobImNjbXiGekyK2D57rvvkJeXh969e8PPz09c1qxZI6ZJSUlBamqq+LpHjx5YtWoVfvjhB4SGhuKPP/7Axo0bdTrqTp06FW+++SZeffVVPProoygsLMT27dttPgeLskKFT7ZcwAcbz6GsQm3TvBARPYi0E+KZwsvLy6yRUnK5HL6+vhwGDuDbb79Fv3790KhRI6xZswYJCQnYsGEDevTogbfffrta+gMHDqCkpATDhw/HypUrAVQGgNrlhRdewIABA3TW9ejRw9qnVkl4COTl5QkAhLy8vDrdr7JcJTSbtkVoNm2LkFdSVqf7JiISBEEoKSkRLly4IJSUlIjr1Gq1UKQst8miVqtNyvfYsWMFADpLUlKSsHfvXgGAsG3bNuGRRx4R7O3thb179wpXr14VnnnmGcHb21twdnYWunTpIuzatUtnn82aNRO++uor8TUAYcmSJcLQoUMFR0dHITg4WPjzzz/F7dpj3blzRxAEQVi+fLng5uYmbN++XWjdurXg7OwsREZGCrdv3xbfU15eLrz55puCm5ub4OHhIUydOlUYM2aMMGTIEIPnqt1vVd9++63QvHlzwd7eXmjZsqXw008/6fz9Zs2aJQQEBAhyuVzw8/MT3nzzTXH7okWLhODgYEGhUAje3t7Cc889Z9I1N+T69euCvb298Pbbb+vdru9vOm7cOGH69OnCX3/9JbRs2VLv+8aOHWv0uphD3+dcEMwrv+9rHpaHnb2sMmpXlqsBTrpLRFZQUq5C25k7bHLsCx9Fwklec9GwYMECXL58Ge3bt8dHH30EQFNDkpycDACYPn065s6di+bNm6Nhw4a4ceMGBg0ahP/9739QKBT46aefMHjwYCQkJKBp06YGj/Phhx/i888/xxdffIGFCxfixRdfxPXr1w3O/1VcXIy5c+fi559/hlQqxejRozFlyhT8+uuvAIA5c+bg119/xfLly9GmTRssWLAAGzduRJ8+fUy+Rhs2bMBbb72F+fPnIyIiAlu2bMH48ePRpEkT9OnTB+vWrcNXX32F1atXo127dkhLS8Pp06cBAMePH8f//d//4eeff0aPHj2Qk5ODv//+2+Rj67Nu3TqUl5dj6tSperffWwNVUFCAtWvX4siRI2jdujXy8vLw999/4/HHH7+vfFgaB/4bIZFIoLDTXCJlBZ/vQUSk5ebmBrlcDicnJ/j6+sLX1xcymUzc/tFHH+HJJ59EixYt4OHhgdDQULz22mto3749QkJC8PHHH6NFixbYtGmT0eOMGzcOo0aNQnBwMD799FMUFhbi6NGjBtOXl5dj8eLF6NKlCx555BFMmjRJZ1DHwoULMWPGDAwbNgytW7fGN998Y3aH2rlz52LcuHF444030LJlS0RFReHZZ5/F3LlzAWi6Rvj6+iIiIgJNmzZF165dMWHCBHGbs7Mznn76aTRr1gydOnXC//3f/5l1/HtdvnwZrq6u4qhbQBPEuLi4iMvZs2fFbatXr0ZISAjatWsHmUyGkSNHYunSpfeVB2tgDUsNFHZSKCvUULIPCxFZiaO9DBc+irTZsetCly5ddF4XFhZi9uzZ2Lp1K1JTU1FRUYGSkhKkpKQY3U/Hjh3F352dneHq6oqMjAyD6Z2cnNCiRQvxtZ+fn5g+Ly8P6enp6Nq1q7hdJpOhc+fOUKtN/46/ePFitc7BPXv2xIIFCwAAzz//PObPn4/mzZtjwIABGDRoEAYPHgw7Ozs8+eSTaNasmbhtwIABGDZsmMG+Oy4uLuLvo0ePxuLFi/Wmu7cWJTIyEvHx8bh16xZ69+6t81DNZcuWYfTo0Tr77dWrFxYuXIgGDRqYfB2sjQFLDRT2MqC0QtMkRERkBRKJxKRmmfrs3gfiTpkyBbt27cLcuXMRHBwMR0dHDB8+HGVlZUb3Y29vr/NaIpEYDS70pRdq/8i8WgkICEBCQgJ2796NXbt24Y033sAXX3yBffv2oUGDBjh58iRiY2Oxc+dOzJw5E7Nnz8axY8f01vTEx8eLvxt61k5ISAjy8vKQlpYm1rK4uLggODgYdna6n6MLFy7g8OHDOHr0KKZNmyauV6lUWL16tVgTVB+xSagG2iahMhUDFiKiquRyuc6duzEHDx7EuHHjMGzYMHTo0AG+vr5ifxdrcXNzg4+PD44dOyauU6lUOHnypFn7adOmDQ4ePKiz7uDBg2jbtq342tHREYMHD8bXX3+N2NhYxMXFic0ydnZ2iIiIwOeff44zZ84gOTkZe/bs0Xus4OBgcfH29tabZvjw4bC3t8ecOXNqzPvSpUvxxBNP4PTp04iPjxeXqKioet8s9GCH8FYg9mEpZx8WIqKqAgMDceTIESQnJ8PFxcXog3BDQkKwfv16DB48GBKJBB988IFZzTB15c0330R0dDSCg4PRunVrLFy4EHfu3DFraPS7776LF154AZ06dUJERAQ2b96M9evXY/fu3QA0E82pVCp069YNTk5O+OWXX+Do6IhmzZphy5YtuHbtGp544gk0bNgQ27Ztg1qtRqtWrWp9Tk2bNsWXX36Jt956Czk5ORg3bhyCgoKQk5ODX375BYCm6au8vBw///wzPvroo2rPAHzllVcwb948nD9/Hu3atat1XiyJNSw1kNtp2nPZh4WISNeUKVMgk8nQtm1beHl5Ge2PMm/ePDRs2BA9evTA4MGDERkZiUceecSKudWYNm0aRo0ahTFjxiA8PBwuLi6IjIw0a96voUOHYsGCBZg7dy7atWuH77//HsuXL0fv3r0BAO7u7liyZAl69uyJjh07Yvfu3di8eTMaNWoEd3d3rF+/Hn379kWbNm2wePFi/Pbbb/cdJLz55pvYuXMnMjMzMXz4cISEhGDQoEFISkrC9u3b0aFDB2zatAnZ2dkYNmxYtfe3adMGbdq0qde1LBLB2o17FpCfnw83Nzfk5eUZbOOrraGLDiL+Ri6WjOmCJ9v61PwGIiIzlJaWIikpCUFBQTafLPOfSK1Wo02bNnjhhRfw8ccf2zo7Dy1Dn3Nzym82CdWAw5qJiB4e169fx86dO9GrVy8olUp88803SEpKwr/+9S9bZ41qwCahGijuDvHjKCEiogefVCrFihUr8Oijj6Jnz544e/Ysdu/ejTZt2tg6a1QD1rDUgKOEiIgeHgEBAdVG+NCDgTUsNeAoISIiIttjwFIDudiHhTUsREREtsKApQYKDmsmIiKyOQYsNeAoISIiIttjwFIDhb22DwtrWIiIiGyFAUsNtE1CHCVERERkOwxYalA5SogBCxERka0wYKkB+7AQEenXu3dvTJ48uU73OW7cOAwdOrRO90mV1q1bh759+6Jhw4ZwdHREq1at8PLLL+PUqVPV0paUlMDDwwOenp5QKpUANA92lEgkRhdLPYWbAUsNFBzWTEREJigvL7d1FoyaNm0aRowYgbCwMGzatAkJCQlYtWoVmjdvjhkzZlRLv27dOrRr1w6tW7fGxo0bAQAjRoxAamqquISHh2PChAk66wICAiySfwYsNeCwZiKyOkEAyopss5j4PNxx48Zh3759WLBgQbU763PnzmHgwIFwcXGBj48PXnrpJWRlZYnv/eOPP9ChQwc4OjqiUaNGiIiIQFFREWbPno2VK1fizz//FPcZGxur9/jbt2/HY489Bnd3dzRq1AhPP/00EhMTddLcvHkTo0aNgoeHB5ydndGlSxccOXJE3L5582Y8+uijcHBwgKenp85TjCUSiVhIa7m7u2PFihUAgOTkZEgkEqxZswa9evWCg4MDfv31V2RnZ2PUqFFo3LgxnJyc0KFDB/z22286+1Gr1fj8888RHBwMhUKBpk2b4n//+x8AoG/fvpg0aZJO+szMTMjlcsTExNT4dzHk8OHD+PzzzzFv3jzMmzcPjz/+OJo2bYrOnTvj/fffx19//VXtPUuXLsXo0aMxevRo8SnOjo6O8PX1FRe5XA4nJyeddTKZrNb5NIZT89dAHCXEJiEispbyYuBTf9sc+73bgNy5xmQLFizA5cuX0b59e3z00UcAAC8vL+Tm5qJv37545ZVX8NVXX6GkpATTpk3DCy+8gD179iA1NRWjRo3C559/jmHDhqGgoAB///03BEHAlClTcPHiReTn52P58uUAAA8PD73HLyoqQlRUFDp27IjCwkLMnDkTw4YNQ3x8PKRSKQoLC9GrVy80btwYmzZtgq+vL06ePAm1WnPzuXXrVgwbNgz//e9/8dNPP6GsrAzbtm0z+3JNnz4dX375JTp16gQHBweUlpaic+fOmDZtGlxdXbF161a89NJLaNGiBbp27QoAmDFjBpYsWYKvvvoKjz32GFJTU3Hp0iUAwCuvvIJJkybhyy+/hEKhAAD88ssvaNy4Mfr27Wt2/rR+++03uLi44I033tC7XSKR6LxOTExEXFwc1q9fD0EQ8Pbbb+P69eto1qxZrfNwvxiw1ICdbomIqnNzc9O5u9b65ptv0KlTJ3z66afiumXLliEgIACXL19GYWEhKioq8Oyzz4qFX4cOHcS0jo6OUCqVOvvU57nnntN5vWzZMnh5eeHChQto3749Vq1ahczMTBw7dkwMeoKDg8X0//vf/zBy5Eh8+OGH4rrQ0FCzr8PkyZPx7LPP6qybMmWK+Pubb76JHTt24Pfff0fXrl1RUFCABQsW4JtvvsHYsWMBAC1atMBjjz0GAHj22WcxadIk/Pnnn3jhhRcAaPqNjBs3rlpQYY7Lly+jefPmsLOrLPbnzZuHmTNniq9v3boFNzc3AJrrOXDgQDRs2BAAEBkZieXLl2P27Nm1zsP9YsBSAw5rJiKrs3fS1HTY6tj34fTp09i7dy9cXFyqbUtMTET//v3Rr18/dOjQAZGRkejfvz+GDx8uFoymunLlCmbOnIkjR44gKytLrDlJSUlB+/btER8fj06dOhmsoYmPj8eECRPMP8F7dOnSRee1SqXCp59+it9//x23bt1CWVkZlEolnJw01/XixYtQKpXo16+f3v05ODjgpZdewrJly/DCCy/g5MmTOHfuHDZt2qQ3fUpKCtq2bSu+fu+99/Dee++ZlPeXX34ZzzzzDI4cOYLRo0dDuNscqFKpsHLlSixYsEBMO3r0aEyZMgUzZ86EVGqb3iQMWGrAGhYisjqJxKRmmfqosLAQgwcPxpw5c6pt8/Pzg0wmw65du3Do0CHs3LkTCxcuxH//+18cOXIEQUFBJh9n8ODBaNasGZYsWQJ/f3+o1Wq0b98eZWVlADQ1NcbUtF0ikYgFuJa+TrXOzrp/py+++AILFizA/Pnz0aFDBzg7O2Py5Mkm5wvQNAuFhYXh5s2bWL58Ofr27WuwKcbf3x/x8fHia0MBWkhICA4cOIDy8nLY29sD0PTJcXd3x82bN3XS7tixA7du3cKIESN01qtUKsTExODJJ5+s8RwsgZ1uayDnsGYiIr3kcjlUKt3vxkceeQTnz59HYGAggoODdRZt4S6RSNCzZ098+OGHOHXqFORyOTZs2GBwn/fKzs5GQkIC3n//ffTr1w9t2rTBnTt3dNJ07NgR8fHxyMnJ0buPjh07Gu3E6uXlhdTUVPH1lStXUFxcbDRfAHDw4EEMGTIEo0ePRmhoKJo3b47Lly+L20NCQuDo6Gj02B06dECXLl2wZMkSrFq1Ci+//LLBtHZ2djrX2FDAMmrUKBQWFuLbb7+t8RyWLl2KkSNHIj4+XmcZOXKk2PnWFljDUgOOEiIi0i8wMBBHjhxBcnIyXFxc4OHhgYkTJ2LJkiUYNWoUpk6dCg8PD1y9ehWrV6/Gjz/+iOPHjyMmJgb9+/eHt7c3jhw5gszMTLRp00bc544dO5CQkIBGjRrBzc1NrBHQatiwIRo1aoQffvgBfn5+SElJwfTp03XSjBo1Cp9++imGDh2K6Oho+Pn54dSpU/D390d4eDhmzZqFfv36oUWLFhg5ciQqKiqwbds2TJs2DYBmtM4333yD8PBwqFQqTJs2rVo+9AkJCcEff/yBQ4cOoWHDhpg3bx7S09PFZhsHBwdMmzYNU6dOhVwuR8+ePZGZmYnz58/j3//+t7gfbedbZ2dnndFLtRUeHo533nkH77zzDq5fv45nn30WAQEBSE1NxdKlSyGRSCCVSpGZmYnNmzdj06ZNaN++vc4+xowZg2HDhiEnJ8dgYGRRwkMgLy9PACDk5eXV+b4T0vKFZtO2CJ0+2lnn+yYiKikpES5cuCCUlJTYOitmS0hIELp37y44OjoKAISkpCRBEATh8uXLwrBhwwR3d3fB0dFRaN26tTB58mRBrVYLFy5cECIjIwUvLy9BoVAILVu2FBYuXCjuMyMjQ3jyyScFFxcXAYCwd+9evcfetWuX0KZNG0GhUAgdO3YUYmNjBQDChg0bxDTJycnCc889J7i6ugpOTk5Cly5dhCNHjojb161bJ4SFhQlyuVzw9PQUnn32WXHbrVu3hP79+wvOzs5CSEiIsG3bNsHNzU1Yvny5IAiCkJSUJAAQTp06pZOv7OxsYciQIYKLi4vg7e0tvP/++8KYMWOEIUOGiGlUKpXwySefCM2aNRPs7e2Fpk2bCp9++qnOfgoKCgQnJyfhjTfeMP0PYoI1a9YIvXv3Ftzc3AR7e3uhSZMmwr/+9S/h8OHDgiAIwty5cwV3d3ehrKys2nuVSqXg7u4uLFiwQFzXq1cv4a233qrxuIY+5+aU3xJBMHHQfT2Wn58PNzc35OXlwdXVtU73fT27CL2+iIWzXIbzHw2o030TEZWWliIpKQlBQUFwcHCwdXaonkhOTkaLFi1w7NgxPPLII7bOzn0z9Dk3p/xmk1AN7GWaPizlqgc+riMionquvLwc2dnZeP/999G9e/eHIlipK+x0WwM7mWbce7laXa3HOBERUV06ePAg/Pz8cOzYMSxevNjW2alXWMNSA/ndGhZBAFRqQQxgiIiI6lrv3r15c2yA2TUs+/fvx+DBg+Hv76/3WQv30s7Od+/Srl07Mc3s2bOrbW/durXZJ2MJdrLKS1Sh5oeIiIjIFswOWIqKihAaGopFixaZlH7BggU6T3G8ceMGPDw88Pzzz+uka9eunU66AwcOmJs1i7CTVtaolHO2WyKyEN5V08OsLj7fZjcJDRw4EAMHDjQ5vZubm/hsAgDYuHEj7ty5g/Hjx+tmxM6uxmdH2IJ91RoWdrwlojqmndujuLjYpFlQiR5E2kn3TJnLxhCr92FZunQpIiIiqk0zfOXKFfj7+8PBwQHh4eGIjo5G06ZN9e5DqVRCqVSKr/Pz8y2WX5lUAqkEUAusYSGiuieTyeDu7o6MjAwAgJOT03095I6oPhEEAcXFxcjIyIC7uztkMlmt92XVgOX27dv466+/sGrVKp313bp1w4oVK9CqVSukpqbiww8/xOOPP45z586hQYMG1fYTHR2t84RNS7OTSVFWoUY5+7AQkQVoa5e1QQvRw8bd3f2+W1GsGrCsXLkS7u7uGDp0qM76qk1MHTt2RLdu3dCsWTP8/vvvOlMVa82YMQNRUVHi6/z8fAQEBFgs3/ZSCcoAVLCGhYgsQCKRwM/PD97e3nofsEf0ILO3t7+vmhUtqwUsgiBg2bJleOmllyCXy42mdXd3R8uWLXH16lW92xUKBRQKhSWyqZdmpJCKk8cRkUXJZLI6+WInehhZbeK4ffv24erVq3prTO5VWFiIxMRE+Pn5WSFnNauc7ZY1LERERLZgdsBSWFgoPmoaAJKSkhAfH4+UlBQAmuaaMWPGVHvf0qVL0a1bt2pPfwSAKVOmYN++fUhOTsahQ4cwbNgwyGQyjBo1ytzsWYT93cniOEqIiIjINsxuEjp+/Dj69Okjvtb2JRk7dixWrFiB1NRUMXjRysvLw7p167BgwQK9+7x58yZGjRqF7OxseHl54bHHHsPhw4fh5eVlbvYsour0/ERERGR9ZgcsNU0bvGLFimrr3NzcxDHY+qxevdrcbFiVvVRTEcUaFiIiItvgww9NwD4sREREtsWAxQRikxADFiIiIptgwGIC7QMQ2SRERERkGwxYTGB/9wGIFex0S0REZBMMWEyg7cNSxhoWIiIim2DAYgI7cR4W1rAQERHZAgMWE9izDwsREZFNMWAxgZ2UE8cRERHZEgMWE9jb3Z2HpYIBCxERkS0wYDFB5SghNgkRERHZAgMWE9iJM90yYCEiIrIFBiwmsOcoISIiIptiwGICPkuIiIjIthiwmMDu7tOay9mHhYiIyCYYsJiATUJERES2xYDFBJVPa2YNCxERkS0wYDEB+7AQERHZFgMWE3BqfiIiIttiwGICTs1PRERkWwxYTGDHGhYiIiKbYsBiArnY6ZY1LERERLbAgMUEnJqfiIjIthiwmMBOfPgha1iIiIhsgQGLCThKiIiIyLYYsJhAG7CUsQ8LERGRTTBgMYEdp+YnIiKyKQYsJhCfJcSHHxIREdkEAxYTiE9rZh8WIiIim2DAYgI+S4iIiMi2GLCYwJ59WIiIiGyKAYsJZFL2YSEiIrIlBiwm0AYsAuMVIiIimzA7YNm/fz8GDx4Mf39/SCQSbNy40Wj62NhYSCSSaktaWppOukWLFiEwMBAODg7o1q0bjh49am7WLEYq0QQsKtawEBER2YTZAUtRURFCQ0OxaNEis96XkJCA1NRUcfH29ha3rVmzBlFRUZg1axZOnjyJ0NBQREZGIiMjw9zsWYQ2YFGzioWIiMgm7Mx9w8CBAzFw4ECzD+Tt7Q13d3e92+bNm4cJEyZg/PjxAIDFixdj69atWLZsGaZPn272sera3VHNDFiIiIhsxGp9WMLCwuDn54cnn3wSBw8eFNeXlZXhxIkTiIiIqMyUVIqIiAjExcXp3ZdSqUR+fr7OYkkyNgkRERHZlMUDFj8/PyxevBjr1q3DunXrEBAQgN69e+PkyZMAgKysLKhUKvj4+Oi8z8fHp1o/F63o6Gi4ubmJS0BAgEXPQSI2CVn0MERERGSA2U1C5mrVqhVatWolvu7RowcSExPx1Vdf4eeff67VPmfMmIGoqCjxdX5+vkWDFu0oITUjFiIiIpuweMCiT9euXXHgwAEAgKenJ2QyGdLT03XSpKenw9fXV+/7FQoFFAqFxfOpJWOnWyIiIpuyyTws8fHx8PPzAwDI5XJ07twZMTEx4na1Wo2YmBiEh4fbInvV3I1XoGLAQkREZBNm17AUFhbi6tWr4uukpCTEx8fDw8MDTZs2xYwZM3Dr1i389NNPAID58+cjKCgI7dq1Q2lpKX788Ufs2bMHO3fuFPcRFRWFsWPHokuXLujatSvmz5+PoqIicdSQrYlNQoxXiIiIbMLsgOX48ePo06eP+Frbl2Ts2LFYsWIFUlNTkZKSIm4vKyvDO++8g1u3bsHJyQkdO3bE7t27dfYxYsQIZGZmYubMmUhLS0NYWBi2b99erSOurYjzsDBiISIisgmJIDz47Rz5+flwc3NDXl4eXF1d63z/GQWl6Pq/GEglwLXop+p8/0RERP9E5pTffJaQCaRVhjU/BPEdERHRA4cBiwm0o4QA9mMhIiKyBQYsJpDqBCyMWIiIiKyNAYsJpFWuEqfnJyIisj4GLCbQDmsGAFawEBERWR8DFhNUbRLi5HFERETWx4DFBOzDQkREZFsMWExQpUWIk8cRERHZAAMWE1Ttw8J4hYiIyPoYsJhAUrUPCyMWIiIiq2PAYiJtLQtnuiUiIrI+Biwm0rYKcZQQERGR9TFgMZF2pBCbhIiIiKyPAYuJtAELK1iIiIisjwGLibR9WFjDQkREZH0MWEyk7cPCieOIiIisjwGLiaR3IxYGLERERNbHgMVEMok2YLFxRoiIiP6BGLCYSMJRQkRERDbDgMVEsrtXik1CRERE1seAxUTaYc1qtY0zQkRE9A/EgMVE4sRxrGEhIiKyOgYsJpKySYiIiMhmGLCYSBwlxE63REREVseAxUSV87DYOCNERET/QAxYTMSHHxIREdkOAxYTycSHHzJgISIisjYGLCa6G69wlBAREZENMGAxkYx9WIiIiGyGAYuJpBwlREREZDMMWEzEpzUTERHZDgMWE0m1fVhYw0JERGR1Zgcs+/fvx+DBg+Hv7w+JRIKNGzcaTb9+/Xo8+eST8PLygqurK8LDw7Fjxw6dNLNnz4ZEItFZWrdubW7WLEqcOI41LERERFZndsBSVFSE0NBQLFq0yKT0+/fvx5NPPolt27bhxIkT6NOnDwYPHoxTp07ppGvXrh1SU1PF5cCBA+ZmzaLEPiyMV4iIiKzOztw3DBw4EAMHDjQ5/fz583Vef/rpp/jzzz+xefNmdOrUqTIjdnbw9fU1NztWo32WEJuEiIiIrM/qfVjUajUKCgrg4eGhs/7KlSvw9/dH8+bN8eKLLyIlJcXgPpRKJfLz83UWS5Ox0y0REZHNWD1gmTt3LgoLC/HCCy+I67p164YVK1Zg+/bt+O6775CUlITHH38cBQUFevcRHR0NNzc3cQkICLB4vqXsw0JERGQzVg1YVq1ahQ8//BC///47vL29xfUDBw7E888/j44dOyIyMhLbtm1Dbm4ufv/9d737mTFjBvLy8sTlxo0bFs975TwsFj8UERER3cPsPiy1tXr1arzyyitYu3YtIiIijKZ1d3dHy5YtcfXqVb3bFQoFFAqFJbJpkJRT8xMREdmMVWpYfvvtN4wfPx6//fYbnnrqqRrTFxYWIjExEX5+flbInWm0fVj48EMiIiLrM7uGpbCwUKfmIykpCfHx8fDw8EDTpk0xY8YM3Lp1Cz/99BMATTPQ2LFjsWDBAnTr1g1paWkAAEdHR7i5uQEApkyZgsGDB6NZs2a4ffs2Zs2aBZlMhlGjRtXFOdYJyd0mIRWbhIiIiKzO7BqW48ePo1OnTuKQ5KioKHTq1AkzZ84EAKSmpuqM8Pnhhx9QUVGBiRMnws/PT1zeeustMc3NmzcxatQotGrVCi+88AIaNWqEw4cPw8vL637Pr85w4jgiIiLbMbuGpXfv3kabRVasWKHzOjY2tsZ9rl692txsWJ12HhYGLERERNbHZwmZSCo2CTFgISIisjYGLCaqnDjOxhkhIiL6B2LAYqLKeVgYsRAREVkbAxYTcaZbIiIi22HAYiJOHEdERGQ7DFhMVDlxnI0zQkRE9A/EgMVEEo4SIiIishkGLCaScR4WIiIim2HAYiKOEiIiIrIdBiwmEieOYw0LERGR1TFgMVHlsGYbZ4SIiOgfiAGLicQ+LIxYiIiIrI4Bi4mkUk4cR0REZCsMWExU+fBDG2eEiIjoH4gBi4lknJqfiIjIZhiwmEg7NT8DFiIiIutjwGIi9mEhIiKyHQYsJmIfFiIiItthwGKiyocfsoaFiIjI2hiwmOhuBQsffkhERGQDDFhMJOPU/ERERDbDgMVElU1CNs4IERHRPxADFhNJxE63jFiIiIisjQGLiWSch4WIiMhmGLCYiPOwEBER2Q4DFhNp52FRcx4WIiIiq2PAYiIpRwkRERHZDAMWE8nuXilOHEdERGR9DFhMxFFCREREtsOAxUSVE8fZOCNERET/QAxYTCRlkxAREZHNMGAxkZRNQkRERDZjdsCyf/9+DB48GP7+/pBIJNi4cWON74mNjcUjjzwChUKB4OBgrFixolqaRYsWITAwEA4ODujWrRuOHj1qbtYsSsZ5WIiIiGzG7IClqKgIoaGhWLRokUnpk5KS8NRTT6FPnz6Ij4/H5MmT8corr2DHjh1imjVr1iAqKgqzZs3CyZMnERoaisjISGRkZJibPYvhPCxERES2Y2fuGwYOHIiBAweanH7x4sUICgrCl19+CQBo06YNDhw4gK+++gqRkZEAgHnz5mHChAkYP368+J6tW7di2bJlmD59urlZtAjOw0JERGQ7Fu/DEhcXh4iICJ11kZGRiIuLAwCUlZXhxIkTOmmkUikiIiLENPdSKpXIz8/XWSxN2yTEPixERETWZ/GAJS0tDT4+PjrrfHx8kJ+fj5KSEmRlZUGlUulNk5aWpnef0dHRcHNzE5eAgACL5V/Ljn1YiIiIbOaBHCU0Y8YM5OXlicuNGzcsfkztww8rOBELERGR1Zndh8Vcvr6+SE9P11mXnp4OV1dXODo6QiaTQSaT6U3j6+urd58KhQIKhcJiedbHjk1CRERENmPxGpbw8HDExMTorNu1axfCw8MBAHK5HJ07d9ZJo1arERMTI6apD8Q+LGwSIiIisjqzA5bCwkLEx8cjPj4egGbYcnx8PFJSUgBommvGjBkjpv/Pf/6Da9euYerUqbh06RK+/fZb/P7773j77bfFNFFRUViyZAlWrlyJixcv4vXXX0dRUZE4aqg+YKdbIiIi2zG7Sej48ePo06eP+DoqKgoAMHbsWKxYsQKpqali8AIAQUFB2Lp1K95++20sWLAATZo0wY8//igOaQaAESNGIDMzEzNnzkRaWhrCwsKwffv2ah1xbUkbsFRwIhYiIiKrkwgPwcNx8vPz4ebmhry8PLi6ulrkGGdu5uKZbw6isbsjDk7va5FjEBER/ZOYU34/kKOEbEE7cRxrWIiIiKyPAYuJ7GTaPiw2zggREdE/EAMWE1UOa2bEQkREZG0MWExU2ST0wHf5ISIieuAwYDGRnVRzqdQMWIiIiKyOAYuJZDLWsBAREdkKAxYTySScOI6IiMhWGLCYiFPzExER2Q4DFhNpRwkJAvuxEBERWRsDFhNJ7wYsAPuxEBERWRsDFhPZVQlY1GwWIiIisioGLCaSsYaFiIjIZhiwmKhqwKJSMWAhIiKyJgYsJtIOawY4UoiIiMjaGLCYSCqVQBuz8InNRERE1sWAxQyVD0BkDQsREZE1MWAxg4wBCxERkU0wYDEDp+cnIiKyDQYsZmANCxERkW0wYDGDnUxzuRiwEBERWRcDFjNI7zYJceI4IiIi62LAYgaOEiIiIrINBixmYB8WIiIi22DAYgZtwMImISIiIutiwGIGbZMQn9ZMRERkXQxYzCDWsPDhh0RERFbFgMUM7MNCRERkG3a2zsCDRAxY6nuTUPJB4NwfgLF8OnkAj08B5E7WyxcREVEtMWAxQ2UNSz1/WvOfE4E7STWna+AHdJ1g+fxQ/SEIwOUdQGGa8XTNHgM8g62TJyIiEzBgMYPF+7CUFQHZV42ncfIE3Bob3l5ypzJY6TUdkMqqp7l1Ari8HUjca52ARa0GMi8B6nLDaeQuQKMWls9LXRIEIOcaUFZoOI2yAEj6G6goMZxGIgPaPwv4djB+vJwkQJlvJIEE8GwJ2DsYTnJtL/DbCOPHAQAXX+Dtc4DMvua0D5K0c0D6OcPbBTWQelrzdzXGowUQ+T/9/19EZBEMWMxgcJRQ7g3g1nHjb24UbLxAUquAH58EMs4b349ECryyG2jcWf/2tLtfxu5NgT4z9Ke5eTdgST4AZFwC7s7gW01OEnD7FAAjAZqDG9B5HCB3Npxm5/vA4UWGt2sN+Rbo9GLN6eqL078BG1+vm30d/g4I7mf4b1GQDtw8WvN+Ah8Hxm0xvP3yTs3PRsGa4Eaf5IOaGpgru4DWg2o+5oMi5xqwpC+gUtbN/to8DQQ+dn/7yLtV89/VxQdo1uP+jvNPl50I7JsDlBcbTiO1B3pMMvzdSjbHgMUMBqfmXxYJ5N+qeQd93gd82+vflnZWE6xI7QFnT/1pyoo0d9jHlxkJWM5qfvp2NJwP/zBA4QYo84Bvu9Wc75pI7YFurxrennJI89PRA7BTVN+uPa8bh2sOWPJTjRc4MgXg6ldznuvC8eWan44NATsDtRoSKdD4EcC9meH93D4FXD8IXDISaGi5+Gj2qU9hOpD8t6aGwC9Uf5qkfZqffd8H2g3Tn2bHf4G4b4DVowwfCwBaDgRG/mo4yLImQQC2TAZuGrlxKMrUfHbcmxmvzXPxAZp2B6QGvh6P/aj5m2VcvL+ApUIJLBsA5KXUnHbsFiDo8dof659u76eafn01Kco0HvCbqiDdeK2qKSRSwC2gfvx/1RO1ClgWLVqEL774AmlpaQgNDcXChQvRtWtXvWl79+6Nffv2VVs/aNAgbN26FQAwbtw4rFy5Umd7ZGQktm/fXpvsWYydzMAoIW2w0qQrIJNXf2NZIZAaD+z9pOaDPPEu0Hua/m3X44DlA4AzazVflvrk3tD8NFabI5UBPf9Pc1cvGOmPI3fWfCHLXfRvT40Hbh4DMi4Y3gcA3EnW/By3BfBpV337qV+BP9+ozLshhxZqamtq0v9/mjul+5F3E4j7VhPU6aNW370zlgBvHAYa+Nb+WKpyTbBSnG0kkURTe+JloFYEANaOB86vB5b0M9yUo73DDHzC8H66vAycWKH53Br7fCRsBa4fAgJ7Gsm3laSf1+S5JjIF8OJawKtV7Y+VffVuwFLD5/52vCYQNSQzQROsKNwM/7/eSQbybwKJex7OgKUo23hTsZ1Cc0NQk5I7mgBQnwolkLBN83vv9wDnRtXTlOYBMR9pvs/KSw03q2YmAFvfMV5ToywAsi7XnGdTtB8ODF96//spK9Lky5CiLGDfZ0D+beP7kcmBl21XLpsdsKxZswZRUVFYvHgxunXrhvnz5yMyMhIJCQnw9vauln79+vUoKysTX2dnZyM0NBTPP/+8TroBAwZg+fLl4muFQs+duI3JpHqe1ly1eWjUav3/DIIA/D0XSKjhD+3qB3T/j+HtTbsDXm2AzIuafijGNKuhEHliima5H6dXa/7BjfW7Kc3TfJkAhmsZ3JtqfubVELBc3qH5KVPov/sV1Jq7miPfA93fAKQGagfuJAPHlhr/0rm6uzLQMqZ57/sLVgBNcGGotsMc4ZOAi5s0BYCxQiA4Qv/nVKtRC+Ddq0Cpkf4yez4CTv0C/PIsYO9oOF3z3sDw5YbvEgVB8/fKvmJ4HwDg3wnoNNrw9ut3a/GaPAr0+a/hdA2bAR7NjR+rJt5tNT8zLhlOoywAfnpG8/mvSe/pQPgb+red/AnY9CZww4TmwPok45ImgDT0ORQEIO2M5vvDKAkw9DsgbJThJPGrgI1vwGjTNQA0DAJ6TdX/WdR+DgvTgaT9QMCj+vex7V1NLaYp7I00k9dI0Hw/Xd6huTky9F1mivTzmpuY+63xATTfvTZkdsAyb948TJgwAePHjwcALF68GFu3bsWyZcswffr0auk9PDx0Xq9evRpOTk7VAhaFQgFf3/v84rewuxUsuk1CalXl74a+lCUSTc3JE+/eXwYkEmDsZuD2SeNDlp29gCZWaIf1uFutbqyD4p3rmp9OnoDCQE2Ne4DmZ+4N4/+cmXcLiJe3a5pZ7lVeAsxtpblrXfGU4buk1DNAcZbhPGu5NQW6jDe8XWqn6SxbXzTpDLybaLyQlEgA1yY178ve0Xgg0nMycHad5kuwotRwuvMbgA7PA8376N9+cTOw3UCN4r0a+AFNw/Vvu35A8zOkP9DCwLHqildrzc/088DJn/WnuXVc83do4KepGTOkgS/w6L8Nbw/ofnd/JzTBCwx8x7j6Ac373l/BVpe2vlP5N6mJxEDHZUENQNDsx1jAknxAkw4Sw02YMjnw2NvGv6MDHwPOrQNWPa8/jZbUHnj2e8MBiUSqaXZ3qX4DbzJVBfCpP1BWoBlEYawJMycJKM4xvH3/F3eDFSPXB9DU4HV91fDfAzD+fiswK2ApKyvDiRMnMGNGZWdOqVSKiIgIxMXFmbSPpUuXYuTIkXB21v1jx8bGwtvbGw0bNkTfvn3xySefoFEj/XeBSqUSSmVl9V9+vrGRE3VHW8Oi1qlhqVJlbo0/posX0DLS8scxhfafKP8WUFasf04XbS1Fw0DD+3FtrLl2KqWmDbmBT/U0RVmabZAYrs63dwRCRwBHf6jsN2OId1ugzTOGt9spgNCRgKu/8f3UN47umsXSPEOAqAuav4shRxYDx5cCq/9V8/7aPFNZc3Gvm8eAxBhNbU5NDAU0dcmzpSZYVeYBm2poenziXeMBSU0aBWv6fpXkaGpajOk0GgjqbXi7izcQ9ITxPhGl+Zraxao3YveSOwEt+hm+IShIr2wKe/wdTQGvj50C6DC8sob1XseXAVveBorvGM4LUFlYD56vGQBQW2H/Ai5tq6EmQqI5p/bP1f44ppDZAT5tNU2PaWcNByxJ+4GVz6DG2iUAeP2QZp8PMLMClqysLKhUKvj46BYoPj4+uHTJSPXoXUePHsW5c+ewdKlum9yAAQPw7LPPIigoCImJiXjvvfcwcOBAxMXFQSarHu1FR0fjww8/NCfrdcJO38MPqwYs/7Qhjk4emvblkjuauz99hfuVu804xgIWmT3QwF/TVp93Q3/Aou2z07CZ8RFJER9qmsMMtWcDmi/K4AjDNT5kGicPzWJIr6mavgMFqcb349MBePYHwzU6xTnAD72B3OvG9+PVWtMkZGn2DsCgL2pu4nVrAoTd56g3qRR46kvgzBrDtarqCk1Ad+oXzWJMp5c0tVD6CGog5sOah3QDgIO7pnOyPmVFAASgcReg38ya92WI493PVomR2oOq2x2NfBZNERwBvHfbeL8ticR63/O+HTQBy8VNhm+GDy4AIGjO3VBfQwDo8NwDH6wAVh4ltHTpUnTo0KFaB92RI0eKv3fo0AEdO3ZEixYtEBsbi379+lXbz4wZMxAVFSW+zs/PR0BAgOUyfpfeqfmtXcNS3zQK1twB11StbyxgATTNQvk3gXX/BhSu1beX5Gp+GroL15I7Ae2GGk9D1tHAF3j7vKapzhi5s/G7ficP4P/ijfc5AgB7J+s1iXR5WbNYQ/tna256PPO7pi+HocJWUGv6Xpz6WbMY4+wNeLcxsFHQNIUVZwOlucb3EzrS+PaaaINhY80dVbcbC55NJZWi3jyxRjvS89w6zWKI1B54/eCDVxtcC2YFLJ6enpDJZEhPT9dZn56eXmP/k6KiIqxevRofffRRjcdp3rw5PD09cfXqVb0Bi0KhsEmnXAYsejzxLnDwa81dniEOrjUPV/bvBKTE1dzR1RpV/lR3pLK6qcmSSlkjZkzHFzSLMafXACdXGm/ucfbU1FIam+W4rFgzQtBos5Ez4BdmPD81sXYNS33T/jngWqzxZleJRPN3/wcEK4CZAYtcLkfnzp0RExODoUOHAgDUajViYmIwaZLxtty1a9dCqVRi9GgjPf3vunnzJrKzs+HnZ6X5NExkx4ClupaRddOnJuJDoNUg43Os2Dtbp8qf6GEUOkKz3C+5k3UmstPWmJTc0TSH6auFU6srRyHWRQ1LfeLkoZnniERmNwlFRUVh7Nix6NKlC7p27Yr58+ejqKhIHDU0ZswYNG7cGNHR0TrvW7p0KYYOHVqtI21hYSE+/PBDPPfcc/D19UViYiKmTp2K4OBgREbWk86ld0n19mGpOkroHxiw1BU7+cM5zwQR1Y62xkRdoZlY0sGtehplXuVN48NWw0LVmB2wjBgxApmZmZg5cybS0tIQFhaG7du3ix1xU1JSIL2nHTkhIQEHDhzAzp07q+1PJpPhzJkzWLlyJXJzc+Hv74/+/fvj448/rndzseidmr/q7wxYiIjqhr2Dpl9SebGmn4q+gEXbf0XuornpoYdarTrdTpo0yWATUGxsbLV1rVq1gmCgh7ujoyN27NhRm2xYnd6HH/7Tm4SIiCzF0UMTsJTkAAiqvl3bHMTalX8ElrBmqOx0WyVIEQMWCZ/5QERUl5zuTstvaC4WcYSQCdP30wOPAYsZxIBF0FPDwtoVIqK6pX2OkKGRQuIIIQYs/wR8WrMZjE4cx4CFiKhuaZt6tr6j/8GnZcW66eihxoDFDNpRQqqqfVi0cxEwYCEiqluNOwMXNmpGCSmNPIJF37PF6KHDgMUMdmwSIiKynh5vAq2fMj5bsr3j/T+Bmx4IDFjMIJMYmTjun/YcISIiS5NIjD+pmP5RWC1gBu3TmtmHhYiIyLpYyprBTnZ34ji1nonjOKSZiIjIYhiwmEEqMTI1P2tYiIiILIalrBmMPvyQAQsREZHFsJQ1g4wBCxERkU2wlDWD8YCFo4SIiIgshQGLGcSHH+p7lhBrWIiIiCyGpawZ7GVGntbMgIWIiMhiWMqaQe88LGoGLERERJbGUtYMYg2L3iYhzsNCRERkKQxYzCD2YWGTEBERkVWxlDWDnbGp+fksISIiIothwGKGyiYh1rAQERFZE0tZM1Q2CXFYMxERkTWxlDWDvUxzuVR8lhAREZFVsZQ1g7aGpZw1LERERFbFUtYM2j4s+qfm57BmIiIiS2HAYgbtxHHlOsOa7/7OZwkRERFZDAMWM9jxac1EREQ2wVLWDHZGZ7rlpSQiIrIUlrJmsNPXJKTmKCEiIiJLYylrBjYJERER2QZLWTNom4Q4rJmIiMi6WMqaQdskpLeGhc8SIiIishgGLGawq/IsIUE7nJnzsBAREVkcAxYzaPuwAFVqWcR5WHgpiYiILKVWpeyiRYsQGBgIBwcHdOvWDUePHjWYdsWKFZBIJDqLg4ODThpBEDBz5kz4+fnB0dERERERuHLlSm2yZlF2ssrLJT6xmc8SIiIisjizS9k1a9YgKioKs2bNwsmTJxEaGorIyEhkZGQYfI+rqytSU1PF5fr16zrbP//8c3z99ddYvHgxjhw5AmdnZ0RGRqK0tNT8M7KgqjUslQELO90SERFZmtml7Lx58zBhwgSMHz8ebdu2xeLFi+Hk5IRly5YZfI9EIoGvr6+4+Pj4iNsEQcD8+fPx/vvvY8iQIejYsSN++ukn3L59Gxs3bqzVSVmKTsCiHSnEgIWIiMjizCply8rKcOLECURERFTuQCpFREQE4uLiDL6vsLAQzZo1Q0BAAIYMGYLz58+L25KSkpCWlqazTzc3N3Tr1s3gPpVKJfLz83UWa5AZrWHhKCEiIiJLMStgycrKgkql0qkhAQAfHx+kpaXpfU+rVq2wbNky/Pnnn/jll1+gVqvRo0cP3Lx5EwDE95mzz+joaLi5uYlLQECAOadRaxKJRKxlqVCxSYiIiMhaLF7KhoeHY8yYMQgLC0OvXr2wfv16eHl54fvvv6/1PmfMmIG8vDxxuXHjRh3m2LhqzxPisGYiIiKLMytg8fT0hEwmQ3p6us769PR0+Pr6mrQPe3t7dOrUCVevXgUA8X3m7FOhUMDV1VVnsRbt5HFiDQufJURERGRxZpWycrkcnTt3RkxMjLhOrVYjJiYG4eHhJu1DpVLh7Nmz8PPzAwAEBQXB19dXZ5/5+fk4cuSIyfu0pqqTxwHgPCxERERWYGfuG6KiojB27Fh06dIFXbt2xfz581FUVITx48cDAMaMGYPGjRsjOjoaAPDRRx+he/fuCA4ORm5uLr744gtcv34dr7zyCgBNv5DJkyfjk08+QUhICIKCgvDBBx/A398fQ4cOrbszrSNiH5ZqTUIMWIiIiCzF7IBlxIgRyMzMxMyZM5GWloawsDBs375d7DSbkpICqbSy8L5z5w4mTJiAtLQ0NGzYEJ07d8ahQ4fQtm1bMc3UqVNRVFSEV199Fbm5uXjsscewffv2ahPM1QfVmoT4LCEiIiKLkwjiQ3EeXPn5+XBzc0NeXp7F+7P0/GwPbuWWYOPEnggLcAcOfQPs/C/QcQTw7A8WPTYREdHDxJzym+0YZrLX9mHhxHFERERWw1LWTDLpvZ1uOUqIiIjI0ljKmsleZqAPC+dhISIishgGLGaScZQQERGR1bGUNZNdtRoW7TwsHCVERERkKQxYzGRfrQ8La1iIiIgsjaWsmdgkREREZH0sZc2k7XSrUvNZQkRERNbCUtZM2hqW8mqjhHgpiYiILIWlrJm0E8ep2CRERERkNSxlzWSwhkXKS0lERGQpLGXNVDmsmTUsRERE1sJS1kx21YY1a+dh4aUkIiKyFJayZrK72/TDZwkRERFZD0tZM2lrWFScOI6IiMhqWMqayU6m7XTLPixERETWwlLWTIZrWPgsISIiIkthwGIm7SghThxHRERkPSxlzWRncOI4iY1yRERE9PBjwGImu3snjlOzhoWIiMjSWMqaSS7T9FUpY6dbIiIiq2EpayZHueaSlZTdnX+FAQsREZHFsZQ1k5PcDgBQXFahWSE+S4ijhIiIiCyFAYuZnOSawKSYNSxERERWw1LWTNqAhU1CRERE1sNS1kyOd5uEisSAhc8SIiIisjSWsmaqrGG5pw8L52EhIiKyGAYsZnK0v7cPy935WFjDQkREZDEsZc1kuA8LRwkRERFZCgMWM4nDmstVEASBnW6JiIisgKWsmRzv1rCo1IJmtlsGLERERBbHUtZM2iYh4G6zkJqjhIiIiCytVqXsokWLEBgYCAcHB3Tr1g1Hjx41mHbJkiV4/PHH0bBhQzRs2BARERHV0o8bNw4SiURnGTBgQG2yZnH2Mins7z6xubhMxRoWIiIiKzC7lF2zZg2ioqIwa9YsnDx5EqGhoYiMjERGRobe9LGxsRg1ahT27t2LuLg4BAQEoH///rh165ZOugEDBiA1NVVcfvvtt9qdkRVUjhSqYMBCRERkBWaXsvPmzcOECRMwfvx4tG3bFosXL4aTkxOWLVumN/2vv/6KN954A2FhYWjdujV+/PFHqNVqxMTE6KRTKBTw9fUVl4YNG9bujKzAWaF9nlCVGhYpAxYiIiJLMauULSsrw4kTJxAREVG5A6kUERERiIuLM2kfxcXFKC8vh4eHh8762NhYeHt7o1WrVnj99deRnZ1tcB9KpRL5+fk6izU5Vn2eEOdhISIisjizStmsrCyoVCr4+PjorPfx8UFaWppJ+5g2bRr8/f11gp4BAwbgp59+QkxMDObMmYN9+/Zh4MCBUKlUevcRHR0NNzc3cQkICDDnNO6bzlwsbBIiIiKyODtrHuyzzz7D6tWrERsbCwcHB3H9yJEjxd87dOiAjh07okWLFoiNjUW/fv2q7WfGjBmIiooSX+fn51s1aHGyr9okxFFCRERElmZWKevp6QmZTIb09HSd9enp6fD19TX63rlz5+Kzzz7Dzp070bFjR6NpmzdvDk9PT1y9elXvdoVCAVdXV53FmiqbhNjploiIyBrMKmXlcjk6d+6s02FW24E2PDzc4Ps+//xzfPzxx9i+fTu6dOlS43Fu3ryJ7Oxs+Pn5mZM9qxGbhMrZJERERGQNZpeyUVFRWLJkCVauXImLFy/i9ddfR1FREcaPHw8AGDNmDGbMmCGmnzNnDj744AMsW7YMgYGBSEtLQ1paGgoLCwEAhYWFePfdd3H48GEkJycjJiYGQ4YMQXBwMCIjI+voNOuWtoalSKnis4SIiIiswOw+LCNGjEBmZiZmzpyJtLQ0hIWFYfv27WJH3JSUFEirDPH97rvvUFZWhuHDh+vsZ9asWZg9ezZkMhnOnDmDlStXIjc3F/7+/ujfvz8+/vhjKBSK+zw9y3B1sAcA5JeWs4aFiIjICmrV6XbSpEmYNGmS3m2xsbE6r5OTk43uy9HRETt27KhNNmymkbMcAJBdqKwSsEhsmCMiIqKHG6sFasHDRROw5BSVAWrWsBAREVkaS9laaOSsaarKLipjkxAREZEVsJSthUZVa1gYsBAREVkcS9la8LjbhyWnsErAIuUoISIiIkthwFIL2k63BcoKqFnDQkREZHEsZWvB1cEeMqlmVJBaxan5iYiILI2lbC1IpRKxWUitZsBCRERkaSxla0nbLFRZw8J5WIiIiCzFqk9rfuCoKoB1/9a7abYyG1n2ZbBT5mhWsIaFiIjIYhiwGCOogQsb9W7qDgAyAHcrWODkaZ08ERER/QMxYDFGKgMGzdW7af3Jmzh1IxdPtvXBE+E9APcAK2eOiIjon4MBizFSGdB1gt5NZ9LO4+fkZLh6tsATzVtbOWNERET/LOx4UUvOCs1EcUVKVQ0piYiI6H4xYKklZ4WmcqpQWWHjnBARET38GLDUksvdgKWIAQsREZHFMWCpJWc5a1iIiIishQFLLTmzhoWIiMhqGLDUUmWTkAp5JeXIKlTaOEdEREQPLwYstaQdJVSorMCA+fvR9X+7UVBabuNcERERPZw4D0stNXDQXLpbuSXiupMpucguVKJjEzcEezewVdaIiIgeOgxYaknbh6WqscuOAgC6NGuIP17vYe0sEVnFn/G3oFILePaRJrbOChH9g7BJqJb0BSxax6/fsWJOyJYupeVj8upTuJ5dZOusWEWhsgJvrY5H1O+nkc8mUCKyIgYstaQd1qyPRAJUqNQ17kMQhLrMEtnAKyuPY2P8bbz60wlbZ8Uq0vNLxd9zixiwWFNpuQr9v9qHnp/twebTt22dHSKrY8BSSzKpBI72Mr3bBAFISC/AykPJyCvW/6V++kYu2szcjp8PX7dkNsnCbt7R9GFKSC+wcU6so2rAklNcBgBQqwWcv51nUpBOtZeQVoDL6YW4lVuCL3cm2Do79A/ww/5EDP/uUL0ZUMKA5T7c2yz06hPN4evqAAAY/eMRzNp0HjM2nMG8nQl44fs4nTlb5u5MQGm5Gh9sPFdtv6dv5OLKPQVgcVkFzt3Ks8BZEJmuasBy527AsuxgEp76+gDm775iq2z9I2QWVE6dcDu3FGq1aTW0SVlF+HTbRZ3310df7bqML3cmoKRMhenrzmDf5UxbZ8kq/jhxE33nxuJqRv276fl02yUcv34Hvx5JsXVWADBguS8uisoalgUjw/DeoDbwcVUAAO7crVnZdjYNX++5iqNJOYhNqPwHdHeSi79XLQRu3inGkEUH8fTCAyguqwxwZm86j6cXHsCf8bdMyltpuQolZQ/2gxkFQcDm07dxMTXf1lkxyMG+8l+otPzBvt73OpVyB2Ef7cS6EzfFden5lYVeXGI2corK8MnWiwCAb/ZerbNj384tETv31lfJWUW4kVNsteNlVpnrqUylRnZRmUnvG/3jEfyw/xqmrTtjqazdtztFZVgQcwUL91zF1HVnsPrYDXEQw/3KLS5DeR3V/mm/U2/llmD5wSSUVdz/fqesPY1rWUWY+ef5+95XXaraZSG3uLxedGFgwHIf3KoEHf7ujgAArwYOBtPfrjIEumr1+YErWeLv286mAgCUFWrsvpghrv/9uKbQ+HjLxRrzJQgCXvzxCB7/fC/ySmquylu8LxGrbBxB384twZL913DzTmUBsP1cGt787RSGf3eoXtYuCYKAqv/DSVkPV8fbN387hdzicryz9rS4rmpw/cP+axi88IBFjj3ihzi8tToevx+/YZH9m+NoUg7CPtqJLWcq+43cKSpD77mxGDB/f50UWlrFZRVYcTAJ17OLkJFfiqUHkjDzz3OYvek8Uqt8fwC63yfGaKdeqOsai7/OpmLR3qv3VZCp1QKKyyqQVKXTetX+OabWIhly7lYeOn+yG//bWvP3Zk3O3MxFh9k7MGf7Jfzn5xP4cPMFfLjZeJCRUVCKHefTdK6RskKFmX+eQ2xChk7a1LxSZBYodb4Dq1KpBas2zVQtOxbvS8TABX9DWWHbmzIGLPdhamQrdG/ugYg2Pght4g4AYg2LPteyCsXfq1bPnki5g3O38rDqSAr+Opcmrt8UfwvlKrXOP3BOkbLGL4ibd0pw4vodZBUqceJ6js62vOJyrD95U/zgXU4vwGd/XcJ7G87qFEbW9s7vp/G/bRfRZ24sLtzOhyAI+HqP5o69qEyFOdsv2SxvhhQoK6CsUlhdzSg0kvrBk6PnDv7ez8it3BLIZZVfI6YEyMYUKivwy+HruJGjKWS3nkm9r/1VNfHXk3h64d9mP/9r+vozyC0ux6RVp8R1f1/V3GQUlalw+mYuXv/lBHaeT8Px5JxaF7JlFWoM/y4OszdfwAd/nsd7G87h4y0X8FPcdaw4lIzVx3SDt9Q80wIWLXMCC7VawMsrjmH88qN6z0elFvD6ryfxxY4EjF56pNZ/p/9uPIeOs3fir7P63596n99JC2KuQKUWsOJQcrVt6fmlJl/DgtJyfLT5AirUAr6LTcTZuzdQNTWVvPTjUbz28wksO5iMjALNuXy/7xp+iruOccuP6fxNSstVeO67Q+j75T69M6d/vOUCHvl4l1Vu3tRqAQlpuk1Ul9IKcDQpx8A7rIMBy33oGeyJ1a+G48exXSC301xKH1fDNSyJmZV3EVU/kIeuZmHUksN4b8NZnErJFdfHJWZjYcwVvPlb5RelWqjs6AlonmX08ZYLOJmiGUqdU1SGr2Mq+xJcyyxCfmk53l17GrsvpCPqd82Q1OhtmgDgWHLlB3DnhXRzLwFyispwKDGr2npBEHDi+h2dZi1DkrKKEHctGwBQrhKwaO9VHL6Wo9MUdOG26c1C6fmlWHMsBSq1gNJyFZ755gBG/XD4vu/WAM15/XL4Og4lZiHrnj4BVa9lXbqRU4w7NVT/rzyUjJ3n04ymMUVpuQqfbLmAtcdv6DTHZN/9vFZtEtIqq1JbeG/fK3NNW3cG71fp13Xgahai/7qI6L8uYvnBpFrv92pGIbaeTcW5W/lYW6XWxlhH4XKVGvE3cpFfJQjTfp73V6mteHn5Mfx1Lg2v/nwCwxfHYf7uy2blLT2/FDfvFGPXhXRcuPuZ3385E7sv6v4/ZtzzebuVa15hrhaAF76PQ3ahEssPJhmtvbp5pwR7LmVgb0Im9l/JrPZ/XHUY/8Gr2Zi46iTySsqhrFBhy5nbBoe8l1WosTDmCi6l5SMluxi/HU1BhVrAkr/1/20TMwrxZ/wtPPfdIZNrlKqSSSTi71UD8OKyCjz19QEMWvC3Tl4FQagWlGcXKvHYnL0Gp6sw1BQsCILYGf/jLRfQd+4+pOWV4szNXDFNVmFlnlLzSpGSU4yyCrXO50u7rxWHklGuEqrdvGUUlIpNXrdzS7D2+A2dPO04n2Z2kPPdvkSM+OFwtfV/X6n+XW9NnDiujhmtYakSsFStYUnO1q0CjGjjjb+vZKGoTCXWMlS151IGxvYIBKDpvLv8YDKWH0zCteinEPV7vE5fmcvpBfh+XyLWnriJtVX6Iqw4lIyYS+nwc3UU120/l4qXujerdjyVWsD/rT4FO6kEb/YNgb+7AxztZbiQmo/obZdw4GoWOjZxgwSagO3NviFIyi7C//12Cs93boIvng/FuhM3sedSBj4d1gFSKfDyimNo6+eKD4e0FwsQPzcHpOaV4q9zqUi7+6UxNMwfG+NvI7uoDNmFSjRyMXx9tUb9cBjXsopQpFTBTibBmZuaf9b2s3fgX12bYuqA1mKACWhqCc7ezEVrX1cEejqjrEKNKxkFaOnTAPYy3Zj+7ytZYoH624TuOttMqXLfm5CBk9fv4M2+ITp5uNf17CKk5yvh1UCBAfP3o1kjJ2x4oycOXs3CzTsleL5LEzRwsAcAxN/IxaxNmqrps7P7i+vNpVILmPDTcb1fSgnpBejuJMetO8YLjX2XM9El0MOs4+YVlyPq93g8FuKp9079+33XxN+fCfU36TOglZJdjE2nb+nUhP1y+DrGhAdi14V0TFl7GkM7+eOjZ9pDKtUUbjdyipFZqETUmvhq/5tHk3LwRIiXzt+64J4am6/3XMXbT7aEpEphaUiRUlNwllWo0KuVd7XtHRq74bPnOuCpryub3po0dMTNOyVIyS7CnkvpeCzYC3I7KcpVapRVqHUGA9xbm3Q0KQev/3ISR+8G1x0auyHI0xkO94x4TKxSGzxu+TG09HHBhjd6ivu+oKdf2ZpjKdh8OhVnb+Xhpe7N8PHQ9hAEATPWn0V2URm+ffERfBt7FfN3X8GCmCsY3rnmiQcTMwvx4eYLAIA52y9hwchONb6nqrQqwccjH+/C3OdDMbxzE+y6kC7eNB64koVBHfwAAF/uvIxv9l7FgpFhGBLWGAAQcynDaM3hC9/HYUx4IJ57pLHO3/zmPf8rhcoKne82ANWahbQOX8sWJ2Ysq1Bj/cnK7+7sKkFO/I1cPPfdIUS08cb3L3XBzD/PYffFDPyw/xoeD/FC/I07OHn3JvjM7P5wNfG74Ysd+kehxSZk4L1BbUzahyUwYKljYQENDW7TNtG8ueoUiox0iJ3YJxiZBUqcvqk/Kp616TzO3srDpD7BYnORWgCe+eaAWDhrnb6RJ47muNeNnBKx6h0ADiVmY8+ldJRVCPjtaAom9Q3Go4EeiLmYLhYkf8bfRpCnM7oGemBNlTu0yuPm4WhyDuzufvmvPXETHi5ysdBp5CJHkKczjiXfwbHkO8gqLMPWu9XB7w1qgzXHbuDA1SycuHs3M75nEE6k3MGNnBJcyShEIxcFVGoB+SXlaOhc2YdIKz2/FNfu9iX5dNtFnc7NxWUq/HggCTnFZZj3QhgAzZfBc98eQlp+KVwUdlg+/lFM/PUkMgqUeDzEE0vHPqoTWBxKzBZ/1xZabf1ccSWjANezi3E5XRPoAJq799u5pfBzd4C9TIo7RWUYv/yY5jo4yzGuZ5Dev4uyQoWRPxxGal4p3J3soaxQ43J6IdrN2iGmuZ5dhA+HtAeg+XLTik3IhJ+bA77afRnjewQhoq2PuE0QBBxJykGAhxMau1cGqoCmyvvTbZcM3kH9a8kRuDrYIb/UeI3Zwj1XsfVsKlr5NMBXI8LgYC9DkbICyw4k4YmWXggNcBfzMuGnE0jPL0X7xq6IuZSBmEv6v7yrGvHDYTwe4onOzRpiQDtf2MmMVxL/68fD1QqOxMwiLIi5guUHku42QaXAp4ED3uwXgu9iEzF3Z4LBzr5T1p5Bp6buNY64ib+Ri05NDX8XaP0Zf1ssOLX/y3ZSCSruHn9U16Zo6+eK5p7O4uc6tIk7bt4pwcq461gZdx0vdGmCaQNaY8QPh5GWV4rvX+qMnsGeAIC0vOq1MEer1AQOXPA3ujf3wG8TuusUton3NG9eTi/Ev348AoWdFGPDA/GNnhupT7dV3vn/fPg6Zg5uizM3c8WmrOPJd8SbqQq1UK2JS8vTRY7mXi44mpQjBiuApib2vxvOIre4HF+NCIMAAXKZtFpgeP52HtLzS9GrpXe185iy9jT83Ryw9nhlALDnUgYGdfDD1jOpYsfxuTsT4OEsR7lKjdQaarLO3MzDlLWnkVmgxOu9W6BQWQFnuUxvrUbV8wGAd//Q3xH6wJUsCIIAiUSC+bsv49vYRHFbQnoB7hSVoaGzHL8d0dQk7zifjgNXssR+j1cyCnHlnnNffiAZI7sG4PdjN9AxwB29WnrpPba+pmCtqxmFyCzQ3EjZgkSoD11/71N+fj7c3NyQl5cHV1dXm+ZFEAQEzdims27kowG4kJpfLZi41863n0BOURm6N2+EGevP4Lejuv/Q7z/VRhyRUZOnOviJgYBWWz9XPNHSC6/3boG/zqZi+vqzAADvBgr4uTvi9I1cnfQO9lL89HI3zN99WaegNsROKoFaEGCs5cXBXgoXhZ1OVajW+Q8jcfz6HXF0wOMhnvjp5a7498rj2HO3MHuxW1McSszGzTvF+GJ4KAa098VXuy/j3K08ZBWUmTwfSt/W3igpU+GRZu5YtDfRYLrhnZsgyNMZarWAMT0CMeL7OFy6p213YHtflJSrEJuQiSYNHdHGzxXXMjXzZZSWq+HpooBcJsHtKoWHj6sCv78WjqUHkrDnUgYaOcvRvUUjuDnaY/Pp1BpHRkkkwA8vdcHt3BKxdgUAugV54EpGofil09jdEVFPtoRnAwV+/Psa/r6ShQYOdlgxvis6N2uI/Zczseb4DZ2aDW1NF6BbeGoN69QYG07pjlYbEuYPf3dHLN6XKHZEfm9Qa7z6RAvM+vMcVsZp5ht6qqMfpg9ojfzScp1ag9ro19obX74QCkEAGjrLkZ5firIKNfzcHPD3lSw093JGry9ixfRSieZmYKGewhbQFJT6Ppdavq4OOnfH976uakiYPxaM7IQT13NgJ5VCWaFGSk4xlBUqzPnrEro3b4RCZQWOJuVUu75fj+qEGevOYGyPQLwb2QoSiQRf7kwQ8/3F8I4GCzqtJg0d0chFAbVaEPtbGCOTSvDjmC5QCwJ2nE9DobIC287W3MQ4Y2Br+Lo54K3V8QA017jq6TRyloujmd7sG4wNp27pBJDDOzfB9nNpYk3QutfD0c7fDceSczBm2VEYKp0CPByRVVCGJg0d8dlzHaGwk2Lr2VSoBQE/7L8GQQDcHO1N6lPl5miPkY8G4Pv912pMW1XXQA98+mx7LDuYLA5aGNTBF7svZKCBg53Jo7iMiWjjU61pENB8Z094vDlWHEoWO1U3cLBDQQ03FFWN7t4UA9r5oaWPC95ZexoNneR4/+k2OJF8B6//erJa+gHtfPHZcx10bgLrgjnld60ClkWLFuGLL75AWloaQkNDsXDhQnTt2tVg+rVr1+KDDz5AcnIyQkJCMGfOHAwaNEjcLggCZs2ahSVLliA3Nxc9e/bEd999h5CQEJPyU58CFgAInL5V/P3dyFb492NBSM8vxbPfHjL6IU7+7Cnx98X7EvHZX5o7lr+n9oGroz3cHO3x8opj2HMpA3I7qTg6wV4mQbmq8s84bUBrTHg8CE9+tR9JWUXwbqDAgpGdEN6ikc7x1hxLwblb+Xj1ieY4czMPE1dV/5DKpBLxbrOdvyvkdlJczy7WG4W/N6g1krI07dLmimjjgx/HdoEgCBiz7Chu5BTj99fC4e3qgP9tvWCwjfvec9fn+PsRmLXpPFp4OuN6TjH+jK8+S2iwt4tOp9lJfYJNHqb7bmQrPPtIYzy/OK7a3fz9qloAdGnWED/9uysi5+/XqRmrK85yGd7oE4xhnRrjue8O4ZFmDTF3eCg2xt/CnksZ6NfaGy19G6BCJeCF7+N03rvz7SfQ0qcB0vNLMeevS1h/N6AJ8nSuNnrK00Wht1OhVv+2Poi9nImugR7IKlQit7hcDAwUdlLxbrjMzKGqbf1csWlSTwz6+m9cTtf8rX/+d1fM3XlZJ1j/V7emuHWnBF4NFNhxPk0sBI6+1w/f7UvE8oPJAICFozrhvQ1n9RYSEonm3Ks2A5uia5AHfn8tHGq1IDZRAZpJ4yLn74dUApydHYn//HKiWm2Yy93mGnM7FWvdG2xoyWVSvddaJpVgx+QnENjICZ9svYgQHxe82K0ZJv56strNkiF/T+2DTadvY8uZVAxq74tJfYPFGpPzt/MwdtlRo0EkADRQ2KG4XGWwVqyxuyPGhDdD39be+PfK40jJKYbcTopPhrbH0r+TdG5yhnVqjKNJOToPtTVkeOcmmPt8KAAg6vd4rD9p2pQTT3f0Q3ZhmdhvT8vHVYEKlYD2jd30Ni97N1DgzX4hWPr3tWpNlQEejuJ3QkMne3FaDa1WPg1MvpmrWrZUtWL8o+itp9nyflk0YFmzZg3GjBmDxYsXo1u3bpg/fz7Wrl2LhIQEeHtXP5lDhw7hiSeeQHR0NJ5++mmsWrUKc+bMwcmTJ9G+vaZKe86cOYiOjsbKlSsRFBSEDz74AGfPnsWFCxfg4GC4E2ttTtgajifn4NWfT2DW4LZiOyig6SvxxfZL2FilwNTWmiwf9yj6tK68fql5JXju20N4Jqwxpg9sLa4XBAHKCjWkEgmWHUyCn5sDnurgh9iETAR6OuNQYhZGPBoAhZ0MygoVbueWorG7o9H+Etr97rqQjqaNnFChEhDo6Yxp686Id96v926BaQM0+ShXqXE9uxhRv8fjzM08tPN3xaOBHpg+sDUOXs3Cv1ceB6CJ4J3kdujd0gs3c0vQLcgDwxfHIa+kHF8M74hCZQUauzviWHIOnu8cgEBPZ538aL+4jibl4KWlR+DpokCXwIZo4GCH69nFOl/YCjsphoY1xmMhnmjj54robRcRcykD37/UGZHtfMV0mQVKzNuVgMTMIrHHu6+rAzZM7IFlB5Lwx4mbeLKtD+Y81xEjfjiMo0k58HSRo6xCjfzSCsikEgzr1BgnU+6gQ2M3jOsRiI5N3CGTSnDi+h0MX3wIgqD5kp/YJxjLDyUh9+6XR/vGrpjcryX83B0wY/1ZnLmZh0bOcsx+ph2Ss4qw5Uwqgjyd4SiXwV4mwazB7VChEmBvJ4GyXI0GDnawk0mx+fRtfLzlAkrKVXg00APJ2UVo7ukCH1cFfj2SggYOdlj3eg+4KOyw5tgNfL3nCgQBCAtwR2Q7X2w/l1qtubGVTwN8PaoTWvk2qHb971VQWo7QD3eioZMcL3Zvhl4tvdC5WWXzR4VKjeGL4xBfJQh4sq0PwgLcDbaNP9upMdafuoXerbywfNyjeo99KDELAQ2dEODhhL+vZGL6urPVChaJBAbvyif2aYF3I1vjVModjPjhMDoFuGP1q91xI6cEa46nwEVhD7mdFGPCm4l9l6K3XcT3+6+huZcz9rzTG4Bm5NLl9AK81S8EOcWaTu6O9jIsP5iM2c+0w99XMnVG+9Xky+dD8eOBJMjtpFg6tgs89fTREQQByw4mQ24nxUvdmyGnqAzf70vE0E6NcfBqFo4m5WDawNZIzyvFv348AkB/jex7g1rDXiZFkbICl9IK0MLLBU09nDB9/Rm9gf/nz3VEeItG2H0xHR9uvoCuQR4YEuaPJ9v6QAKJ3qaB5KwifBt7VZyK4fEQTxy8mlUtGGrr54ptbz1u9NpkFiix+2I6rmYUYukBzU1Lk4aOCGjohE5N3bHjfJo4mKFroAeSsotQUFqO6Gc74KtdV+Akl2Hm4Lbo0ULTRHYjR/O9EdHGG96uDkjKKsLYZUeRklOM/m198P1LnXHgahZWH7uBtyNaYtPp2zqDGKr67NkOGNm1KQBNP6yXlh3B7dwSOCvskFWgxJNtffBmvxAIgoCLqQUIC3BHuUqN5l4uyMgvxdu/xyM9X4mrGYX4akQohoQ2hkQCHL6Wg1FLNB1e+7Tywt6ETEwb0Bqv924BQNNk/HPcdRy+lo2bd0owONQfwzs3wfDFh3AjpwRT+rfEyrjrYrOlm6M9jv63HzacvIXNZ27jtSdaYP7uy2LfFi0HeylKyzWBSjt/VzjJZTiWfAeDQ/3RwMEOnwxprxNE1xWLBizdunXDo48+im+++QYAoFarERAQgDfffBPTp0+vln7EiBEoKirCli1bxHXdu3dHWFgYFi9eDEEQ4O/vj3feeQdTpkwBAOTl5cHHxwcrVqzAyJEj6/SE64OsQiXeXXsawzsHYFAHXxSVqcS7o/pEEAT8FHcdydlFmDagdbWOeTlFZdh5Pg3PPtJEDIhUagHzd19Gcy9nDA1rXK3gyS8th0ol6O1/YkyFSq3TX0FZoULUmtPILlLinf6t8Og9HT3zSsqRmleC1r6GPw+ZBUqcTLmDx0M84aTn2VDZhUpsO5uKpzv6w0khQ2JGEbxdFXoLFK1tZ1ORXVSG0d2aQiKRYO+lDLy88hjeebIlJvXVrTG8eacYDRT2cHOqXSfZe5WWq7D2+A10a95I7EcDaAK+1LwSPBPqL/49jiXn4Js9V/Fc5yZ4JtTf7GNlFyrhKJfpvW6A5rOTkqMZ+eLVQIGnOvjBTibFC9/HiYHivx8LwpWMQshlEiwe3RlJWUUI8HCq9jkzpEKlRk5RGf44eRNX0gsR9WRLONjLsPRAEjo0dkNOkRKFShWCPJ1xJCkbUyNbw1Gu2XdmgRINHOxqPFaFSo1VR1PQp5U3AjycTMqXskKFi6kFmpE1AvDGqpPwdFFg2dhH8VNcMho42GP7+TR88HQbeLoo0NKngTi81ZSOujXZcOom3Bzt0be1D07fyMVXuy/jpe7NoKxQI7KdL2R6Cp0bOcV494/TOJmSiza+DZBZoERbf1csHt0ZdjIp1GoBey5loFtzD5M7de+7nIl9CZmI6t8Sh65mIaNACX93B7T0aYD9l7MwsL2vyd8D2lEyN3JK8N6g1uJ3wdWMQny1+zIGtPPF4FB/lJarUKisgKeLwmjQXZVaLeBOcRncneTVrk1puQqv/nwCDZ3sEdrEHV0CG4qfmRBvF4P7v7eGzNh5JWcXo5mHk5heEDT9e/zcHNC7lTeKlBVwkstqPJe0vFJsP5eK57sE4E5xGbILy+DiYAe5TFrts1tcVoGrGYX4Zs9VpOaVYtG/HoG7sz1WHExGs0ZOGNhe0wk5Pb/U5M99bVksYCkrK4OTkxP++OMPDB06VFw/duxY5Obm4s8//6z2nqZNmyIqKgqTJ08W182aNQsbN27E6dOnce3aNbRo0QKnTp1CWFiYmKZXr14ICwvDggULqu1TqVRCqaysUs7Pz0dAQMADE7DQP0tJmQoO9tU7B/4T3cgpxp5LGXi+SxODwc7DpqC0HPYyqcmBmC2p1ILegIbIUswJWMyahyUrKwsqlQo+Pj466318fJCWpr8KNC0tzWh67U9z9hkdHQ03NzdxCQgIMOc0iKzK0YS7o3+KAA8njO0R+I8JVgCggYP9AxGsAGCwQvXaAzlx3IwZM5CXlycuN27YfvpuIiIishyzAhZPT0/IZDKkp+sOs0pPT4evr6/e9/j6+hpNr/1pzj4VCgVcXV11FiIiInp4mRWwyOVydO7cGTExMeI6tVqNmJgYhIeH631PeHi4TnoA2LVrl5g+KCgIvr6+Omny8/Nx5MgRg/skIiKifxazG5KjoqIwduxYdOnSBV27dsX8+fNRVFSE8ePHAwDGjBmDxo0bIzo6GgDw1ltvoVevXvjyyy/x1FNPYfXq1Th+/Dh++OEHAJpe8ZMnT8Ynn3yCkJAQcVizv7+/TsdeIiIi+ucyO2AZMWIEMjMzMXPmTKSlpSEsLAzbt28XO82mpKRAKq2suOnRowdWrVqF999/H++99x5CQkKwceNGcQ4WAJg6dSqKiorw6quvIjc3F4899hi2b99u0hwsRERE9PDj1PxERERkExYb1kxERERkCwxYiIiIqN5jwEJERET1HgMWIiIiqvcYsBAREVG9x4CFiIiI6j0GLERERFTvPRSPTNVOJZOfn2/jnBAREZGptOW2KVPCPRQBS0FBAQAgICDAxjkhIiIicxUUFMDNzc1omodiplu1Wo3bt2+jQYMGkEgkdbrv/Px8BAQE4MaNG5xF14J4na2H19o6eJ2tg9fZeixxrQVBQEFBAfz9/XUe66PPQ1HDIpVK0aRJE4sew9XVlf8MVsDrbD281tbB62wdvM7WU9fXuqaaFS12uiUiIqJ6jwELERER1XsMWGqgUCgwa9YsKBQKW2flocbrbD281tbB62wdvM7WY+tr/VB0uiUiIqKHG2tYiIiIqN5jwEJERET1HgMWIiIiqvcYsBAREVG9x4CFiIiI6j0GLDVYtGgRAgMD4eDggG7duuHo0aO2ztIDZf/+/Rg8eDD8/f0hkUiwceNGne2CIGDmzJnw8/ODo6MjIiIicOXKFZ00OTk5ePHFF+Hq6gp3d3f8+9//RmFhoRXPov6Ljo7Go48+igYNGsDb2xtDhw5FQkKCTprS0lJMnDgRjRo1gouLC5577jmkp6frpElJScFTTz0FJycneHt7491330VFRYU1T6Ve++6779CxY0dxps/w8HD89ddf4nZeY8v47LPPIJFIMHnyZHEdr3XdmD17NiQSic7SunVrcXu9us4CGbR69WpBLpcLy5YtE86fPy9MmDBBcHd3F9LT022dtQfGtm3bhP/+97/C+vXrBQDChg0bdLZ/9tlngpubm7Bx40bh9OnTwjPPPCMEBQUJJSUlYpoBAwYIoaGhwuHDh4W///5bCA4OFkaNGmXlM6nfIiMjheXLlwvnzp0T4uPjhUGDBglNmzYVCgsLxTT/+c9/hICAACEmJkY4fvy40L17d6FHjx7i9oqKCqF9+/ZCRESEcOrUKWHbtm2Cp6enMGPGDFucUr20adMmYevWrcLly5eFhIQE4b333hPs7e2Fc+fOCYLAa2wJR48eFQIDA4WOHTsKb731lrie17puzJo1S2jXrp2QmpoqLpmZmeL2+nSdGbAY0bVrV2HixInia5VKJfj7+wvR0dE2zNWD696ARa1WC76+vsIXX3whrsvNzRUUCoXw22+/CYIgCBcuXBAACMeOHRPT/PXXX4JEIhFu3bpltbw/aDIyMgQAwr59+wRB0FxXe3t7Ye3atWKaixcvCgCEuLg4QRA0waVUKhXS0tLENN99953g6uoqKJVK657AA6Rhw4bCjz/+yGtsAQUFBUJISIiwa9cuoVevXmLAwmtdd2bNmiWEhobq3VbfrjObhAwoKyvDiRMnEBERIa6TSqWIiIhAXFycDXP28EhKSkJaWprONXZzc0O3bt3EaxwXFwd3d3d06dJFTBMREQGpVIojR45YPc8Piry8PACAh4cHAODEiRMoLy/XudatW7dG06ZNda51hw4d4OPjI6aJjIxEfn4+zp8/b8XcPxhUKhVWr16NoqIihIeH8xpbwMSJE/HUU0/pXFOAn+e6duXKFfj7+6N58+Z48cUXkZKSAqD+XeeH4mnNlpCVlQWVSqXzRwAAHx8fXLp0yUa5erikpaUBgN5rrN2WlpYGb29vne12dnbw8PAQ05AutVqNyZMno2fPnmjfvj0AzXWUy+Vwd3fXSXvvtdb3t9BuI42zZ88iPDwcpaWlcHFxwYYNG9C2bVvEx8fzGteh1atX4+TJkzh27Fi1bfw8151u3bphxYoVaNWqFVJTU/Hhhx/i8ccfx7lz5+rddWbAQvSQmThxIs6dO4cDBw7YOisPpVatWiE+Ph55eXn4448/MHbsWOzbt8/W2Xqo3LhxA2+99RZ27doFBwcHW2fnoTZw4EDx944dO6Jbt25o1qwZfv/9dzg6OtowZ9WxScgAT09PyGSyar2h09PT4evra6NcPVy019HYNfb19UVGRobO9oqKCuTk5PDvoMekSZOwZcsW7N27F02aNBHX+/r6oqysDLm5uTrp773W+v4W2m2kIZfLERwcjM6dOyM6OhqhoaFYsGABr3EdOnHiBDIyMvDII4/Azs4OdnZ22LdvH77++mvY2dnBx8eH19pC3N3d0bJlS1y9erXefaYZsBggl8vRuXNnxMTEiOvUajViYmIQHh5uw5w9PIKCguDr66tzjfPz83HkyBHxGoeHhyM3NxcnTpwQ0+zZswdqtRrdunWzep7rK0EQMGnSJGzYsAF79uxBUFCQzvbOnTvD3t5e51onJCQgJSVF51qfPXtWJ0DctWsXXF1d0bZtW+ucyANIrVZDqVTyGtehfv364ezZs4iPjxeXLl264MUXXxR/57W2jMLCQiQmJsLPz6/+fabrtAvvQ2b16tWCQqEQVqxYIVy4cEF49dVXBXd3d53e0GRcQUGBcOrUKeHUqVMCAGHevHnCqVOnhOvXrwuCoBnW7O7uLvz555/CmTNnhCFDhugd1typUyfhyJEjwoEDB4SQkBAOa77H66+/Lri5uQmxsbE6wxOLi4vFNP/5z3+Epk2bCnv27BGOHz8uhIeHC+Hh4eJ27fDE/v37C/Hx8cL27dsFLy8vDgOtYvr06cK+ffuEpKQk4cyZM8L06dMFiUQi7Ny5UxAEXmNLqjpKSBB4revKO++8I8TGxgpJSUnCwYMHhYiICMHT01PIyMgQBKF+XWcGLDVYuHCh0LRpU0Eulwtdu3YVDh8+bOssPVD27t0rAKi2jB07VhAEzdDmDz74QPDx8REUCoXQr18/ISEhQWcf2dnZwqhRowQXFxfB1dVVGD9+vFBQUGCDs6m/9F1jAMLy5cvFNCUlJcIbb7whNGzYUHBychKGDRsmpKam6uwnOTlZGDhwoODo6Ch4enoK77zzjlBeXm7ls6m/Xn75ZaFZs2aCXC4XvLy8hH79+onBiiDwGlvSvQELr3XdGDFihODn5yfI5XKhcePGwogRI4SrV6+K2+vTdZYIgiDUbZ0NERERUd1iHxYiIiKq9xiwEBERUb3HgIWIiIjqPQYsREREVO8xYCEiIqJ6jwELERER1XsMWIiIiKjeY8BCRERE9R4DFiIiIqr3GLAQERFRvceAhYiIiOq9/wcFRYudz7wrcQAAAABJRU5ErkJggg=="
          },
          "metadata": {}
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "PlCtBEBLMBkR"
      },
      "source": [
        "## Question 1: What is the maximum accuracy obtained on test set for GAT? (10 points)\n",
        "\n",
        "\n",
        "Running the training cell above will also save your best GAT model predictions as *CORA-Node-GAT.csv*.  As a sanity check, the accuracy should be at least 0.7. The accuracy will be checked by the Auto-grader, so only the code submission is required.\n",
        "\n",
        "When you sumbit your assignment, you will have to download this file and attatch it to your submission. As with the Colab 3, please zip this file `CS224W_Colab4.ipynb` and the *.csv* file that's generated! Also, please make sure that the files are name correctly, otherwise the Auto-grader will not be able to find your submission files.\n"
      ]
    },
    {
      "cell_type": "code",
      "source": [],
      "metadata": {
        "id": "iL1EsPll3-kU"
      },
      "execution_count": null,
      "outputs": []
    }
  ]
}