08_ann_optax_flax.ipynb

{
 "cells": [
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## ANN, Flax, Optax\n",
    "\n",
    "So far, you've seen how to define a model using jax, train the model, do backpropagation, and test it. Let's take it a bit further. In this notebook we'll be writing a simple ANN to classify penguin species using the [palmers penguin dataset](https://github.com/mcnakhaee/palmerpenguins).\n",
    "\n",
    "Since it's the first notebook on something NN, it'll be a good opportunity to introduce the Neural Net library in the Jax ecosystem, Flax. Also, like the linear regression example, we'll have to update the model parameters during backpropagation, for which there is also a library, Optax. In this notebook, I'll show you how to use both with a simple classifier.\n",
    "\n",
    "Let's load the data and process it to get started. (apparently the main focus of this notebook is to show you the ANN and not how you can load data, so, I'm going to short circuit the data related process a bit)\n",
    "\n",
    "### Data"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import numpy as np\n",
    "import pandas as pd\n",
    "from palmerpenguins import load_penguins"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "  species     island  bill_length_mm  bill_depth_mm  flipper_length_mm  \\\n",
      "0  Adelie  Torgersen            39.1           18.7              181.0   \n",
      "1  Adelie  Torgersen            39.5           17.4              186.0   \n",
      "2  Adelie  Torgersen            40.3           18.0              195.0   \n",
      "4  Adelie  Torgersen            36.7           19.3              193.0   \n",
      "5  Adelie  Torgersen            39.3           20.6              190.0   \n",
      "\n",
      "   body_mass_g     sex  year  \n",
      "0       3750.0    male  2007  \n",
      "1       3800.0  female  2007  \n",
      "2       3250.0  female  2007  \n",
      "4       3450.0  female  2007  \n",
      "5       3650.0    male  2007  \n"
     ]
    },
    {
     "data": {
      "application/vnd.jupyter.widget-view+json": {
       "model_id": "b35ee06f1ed84a348d9e3168c1e44e55",
       "version_major": 2,
       "version_minor": 0
      },
      "text/plain": [
       "0it [00:00, ?it/s]"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "(333, 4)\n",
      "(333,)\n"
     ]
    }
   ],
   "source": [
    "import jax\n",
    "import jax.numpy as jnp\n",
    "\n",
    "from tqdm.auto import tqdm\n",
    "from sklearn import preprocessing\n",
    "\n",
    "\n",
    "def load_data():\n",
    "    penguins = load_penguins() # penguins is a dataframe\n",
    "    penguins = penguins.dropna() # type: ignore\n",
    "    \n",
    "    # print the head of the dataframe to give some view\n",
    "    print(penguins.head()) # type: ignore\n",
    "    \n",
    "    # collect the feature columns\n",
    "    feature_columns = ['bill_length_mm', 'bill_depth_mm', 'flipper_length_mm', 'body_mass_g']\n",
    "    # classification target\n",
    "    target_column = \"species\"\n",
    "    \n",
    "    # features and targets\n",
    "    features = penguins[feature_columns].values  # type: ignore\n",
    "    targets = penguins[target_column].values  # type: ignore\n",
    "    \n",
    "    # but here's a catch\n",
    "    # the targets are categorical, so we have two two options here\n",
    "    # one hot encode them, or, assign a numeric value to them and keep a dictionary\n",
    "    # with the target label to int mapping\n",
    "    # the second approach is easier xD\n",
    "    \n",
    "    target_ids_dict = dict()\n",
    "    unique_target_labels = set(targets)\n",
    "    _id = 0\n",
    "    \n",
    "    for ul in unique_target_labels:\n",
    "        target_ids_dict[ul] = _id\n",
    "        _id += 1\n",
    "        \n",
    "    # convert target labels to integers using the same dict\n",
    "    def convert_label_to_ids(targets, id_dict):\n",
    "        converted_targets = np.zeros(shape=(len(targets, )), dtype=np.int32)\n",
    "        for idx, target in tqdm(enumerate(targets)):\n",
    "            converted_targets[idx] = id_dict[target]\n",
    "\n",
    "        return converted_targets\n",
    "    \n",
    "    targets_converted = convert_label_to_ids(\n",
    "        targets=targets, id_dict=target_ids_dict)\n",
    "    \n",
    "    assert features.shape[0] == targets_converted.shape[0]\n",
    "    \n",
    "    # the features from the dataset are not normalised and\n",
    "    # this can cause probblems during training, such as \n",
    "    # gradients getting stuck in a local minima\n",
    "    # there's a lot of literature which talks about the \n",
    "    # necessity of normalisation, this is a good starter\n",
    "    # https://machinelearningmastery.com/how-to-improve-neural-network-stability-and-modeling-performance-with-data-scaling/\n",
    "    \n",
    "    features_norm = preprocessing.normalize(features, norm=\"l2\")\n",
    "    \n",
    "    \n",
    "    return (features_norm, targets_converted)\n",
    "    \n",
    "    \n",
    "X, y = load_data()\n",
    "print(X.shape) # type: ignore\n",
    "print(y.shape) # type: ignore"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Okay splendid. Now to create the data split and also convert these numpy arrays to jax arrays. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Train Size : 233\n",
      "Test Size: 100\n"
     ]
    }
   ],
   "source": [
    "from sklearn.model_selection import train_test_split\n",
    "\n",
    "features_train, features_test, targets_train, targets_test = train_test_split(\n",
    "    X, y, test_size=0.3, random_state=42)\n",
    "\n",
    "\n",
    "features_train = jnp.array(features_train)\n",
    "features_test = jnp.array(features_test)\n",
    "targets_train = jnp.array(targets_train)\n",
    "targets_test = jnp.array(targets_test)\n",
    "\n",
    "\n",
    "print(f\"Train Size : {features_train.shape[0]}\")\n",
    "print(f\"Test Size: {features_test.shape[0]}\")"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### ANN\n",
    "\n",
    "This is going to be a 2 layer ANN with Leaky ReLU activation, 3 target classes and cross entropy as the loss function."
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### PRNG"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "# old ritual of generating prngs\n",
    "key = jax.random.key(42)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### ANN definition\n",
    "\n",
    "In Flax, `flax.linen` provides all the necessary bells and whistles to implement neural networks. If you're coming from pytorch, this is equivalent to `torch.nn`.\n",
    "\n",
    "Another intresting thing about Flax is that, despite Jax being functional, Flax does make use of classes (as PyTorch does!). Let's see the class definition. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "/home/kafka/miniconda3/envs/jax_examples/lib/python3.10/site-packages/flax/core/frozen_dict.py:169: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.\n",
      "  jax.tree_util.register_keypaths(\n"
     ]
    }
   ],
   "source": [
    "import flax.linen as nn\n",
    "\n",
    "\n",
    "class PenguinFinder(nn.Module):\n",
    "    in_dim: int\n",
    "    hidden_dim: int\n",
    "    out_dim: int\n",
    "    \n",
    "    def setup(self):        \n",
    "        # layer definition goes here\n",
    "        self.layer1 = nn.Dense(features=self.in_dim)\n",
    "        self.hidden = nn.Dense(features=self.hidden_dim)\n",
    "        self.layer2 = nn.Dense(features=self.out_dim)\n",
    "\n",
    "    def __call__(self, x):\n",
    "        out = self.layer1(x)\n",
    "        # out = nn.relu(out)\n",
    "        \n",
    "        out = self.hidden(out)\n",
    "        # out = nn.relu(out)\n",
    "        \n",
    "        out = self.layer2(out)\n",
    "        out = nn.leaky_relu(out)\n",
    "\n",
    "        # apply softmax to convert to \n",
    "        # probability distribution\n",
    "        logits = jax.nn.softmax(out)\n",
    "\n",
    "        return logits"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's take a look at the class definition here. First we declare the variables / hyperparameters to init the model as static python vars. Next we have a `setup` method which defines the layers in the NN. The `__call__` method is similar to what you see as `forward` in Pytorch, it applies all the layer operations on your data. \n",
    "\n",
    "\n",
    "The `setup` method comes in handy if you have to modify the default behavior of some linen class or want to define your own custom layers. If this is not the case (you want to use linen classes as they are), you can reduce the code by getting rid of setup and using `compact`. The class definition will then look like this\n",
    "\n",
    "```python\n",
    "class PenguinFinder(nn.Module):\n",
    "    in_dim: int\n",
    "    hidden_dim: int\n",
    "    out_dim: int\n",
    "\n",
    "    @nn.compact\n",
    "    def __call__(self, x):\n",
    "        out = nn.Dense(features=self.in_dim)(x)\n",
    "        out = nn.Dense(features=self.hidden_dim)(out)\n",
    "        out = nn.Dense(features=self.out_dim)(out)\n",
    "        out = nn.leaky_relu(out)\n",
    "        \n",
    "        # apply softmax\n",
    "        logits = jax.nn.softmax(out)\n",
    "        \n",
    "        return logits\n",
    "```"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "# init model\n",
    "model = PenguinFinder(in_dim=4, hidden_dim=4, out_dim=3)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "params from a linen module are returned as a Frozen dict, which is immutable. During training, when we won't be updating the params in place, rather Flax has some nifty trick with training state which we'll see pretty soon."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "# model params\n",
    "# requires a PRNG key and an array with the same shape of unbatched input\n",
    "params = model.init(key, features_train[0])\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Array([0.1889907 , 0.16631629, 0.6446931 ], dtype=float32)"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# example forward pass\n",
    "model.apply(params, features_train[0])"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Loss function and grad\n",
    "\n",
    "The formal definition of cross entropy loss for a multiclass classification is this: \n",
    "$$\n",
    "ce = -\\sum_{c=1}^My_{t}\\log(p_{t})\n",
    "$$\n",
    "\n",
    "where, $t$ stands for the correct class\n",
    "\n",
    "$y_t$ is the correct label and $p_t$ is what a model predicted for $t$\n",
    "\n",
    "There is a nifty trick to it if you represent your classes with int ids as I have done above. The ids start from 0, so you can basically treat them as indexes. Using this, the cross entropy for an instance basically becomes\n",
    "\n",
    "$$\n",
    "ce = -ln(p_t)\n",
    "$$\n",
    "\n",
    "This trick works fine for single dimension multi class probabilities. I have never verified it outside course assignments or simple experiments. Then again, this notebook is just here to show you how jax works. In practice, it'll be buckwild to write everything from scratch. *Don't violate the DRY principle!*"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Array(1.793864, dtype=float32)"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# loss function\n",
    "# for a single instance\n",
    "# will vmap for batches\n",
    "\n",
    "@jax.jit\n",
    "def cross_entropy(params, x, y):\n",
    "    # forward pass .....\n",
    "    logits = model.apply(params, x)\n",
    "    \n",
    "    return -jnp.log(logits[y]) # type: ignore\n",
    "\n",
    "\n",
    "cross_entropy(params, features_train[0], targets_train[0])\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Array(1.4816148, dtype=float32)"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "@jax.jit\n",
    "def calculate_loss(params, x_batched, y_batched):\n",
    "    batch_loss = jax.vmap(cross_entropy, in_axes=(None, 0, 0))(params, x_batched, y_batched)\n",
    "    return jnp.mean(batch_loss)\n",
    "\n",
    "\n",
    "calculate_loss(params, features_train, targets_train)\n"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Optimisation\n",
    "\n",
    "This is where we introduce Optax. For this notebook, I'm using the Adam optimiser. \n",
    "\n",
    "There are other optimizers in Optax which you can use: https://optax.readthedocs.io/en/latest/api.html\n",
    "\n",
    "Also, more on Adam: https://arxiv.org/abs/1412.6980\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [],
   "source": [
    "import optax\n",
    "\n",
    "optimiser = optax.adam(learning_rate=0.01)\n",
    "loss_grad_fn = jax.value_and_grad(calculate_loss)\n"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Flax Train state\n",
    "\n",
    "Okay so we've an optimiser but we need to tell it how it should be updating the parameters. We can do it using optax, go through the frozen dict (after making it immutable and froze it agian) but that's too much hassle and opens up more avenues for user error. Instead we'll be using `train_state` in Flax."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [],
   "source": [
    "from flax.training import train_state\n",
    "\n",
    "model_state = train_state.TrainState.create(\n",
    "    apply_fn=model.apply, # the forward function\n",
    "    params=params,\n",
    "    tx=optimiser\n",
    ")"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "During training, all we have to do is update this model state, and Flax will do the rest for us. (It'll be easier to understand the whole process if we consider params as states for models.)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Train-ing\n",
    "Finally! Der Zug ist da! (Oh wait..........no, it's late again.)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [],
   "source": [
    "# batched\n",
    "@jax.jit\n",
    "def train_step(state, xs, ys):\n",
    "    loss_value, grads = loss_grad_fn(state.params, xs, ys)\n",
    "    state = state.apply_gradients(grads=grads)\n",
    "    return loss_value, state\n",
    "    "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [],
   "source": [
    "from tqdm.auto import trange\n",
    "\n",
    "\n",
    "def train(state, xs, ys, epochs, log_every_n_step):\n",
    "    losses = list() # keeps track of losses every n steps\n",
    "    steps = list()\n",
    "\n",
    "    step_count = 0\n",
    "\n",
    "    for e in trange(epochs):\n",
    "        loss, state = train_step(state, xs, ys)\n",
    "        if step_count % log_every_n_step == 0:\n",
    "            losses.append(loss)\n",
    "            steps.append(step_count)\n",
    "            \n",
    "            print(f\"Epoch = {e + 1} / {epochs} \\t :: Train Loss = {loss}\")\n",
    "        step_count += 1\n",
    "\n",
    "    return state, losses, steps\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/vnd.jupyter.widget-view+json": {
       "model_id": "2e4908c3340848c3ac95a4c6ee1feeb1",
       "version_major": 2,
       "version_minor": 0
      },
      "text/plain": [
       "  0%|          | 0/2000 [00:00<?, ?it/s]"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Epoch = 1 / 2000 \t :: Train Loss = 1.4816148281097412\n",
      "Epoch = 51 / 2000 \t :: Train Loss = 1.0499358177185059\n",
      "Epoch = 101 / 2000 \t :: Train Loss = 1.049109697341919\n",
      "Epoch = 151 / 2000 \t :: Train Loss = 1.0486115217208862\n",
      "Epoch = 201 / 2000 \t :: Train Loss = 1.0477697849273682\n",
      "Epoch = 251 / 2000 \t :: Train Loss = 1.04579496383667\n",
      "Epoch = 301 / 2000 \t :: Train Loss = 1.0393956899642944\n",
      "Epoch = 351 / 2000 \t :: Train Loss = 1.0099444389343262\n",
      "Epoch = 401 / 2000 \t :: Train Loss = 0.8954825401306152\n",
      "Epoch = 451 / 2000 \t :: Train Loss = 0.8055381774902344\n",
      "Epoch = 501 / 2000 \t :: Train Loss = 0.7684260606765747\n",
      "Epoch = 551 / 2000 \t :: Train Loss = 0.7422659397125244\n",
      "Epoch = 601 / 2000 \t :: Train Loss = 0.7223743796348572\n",
      "Epoch = 651 / 2000 \t :: Train Loss = 0.7071917057037354\n",
      "Epoch = 701 / 2000 \t :: Train Loss = 0.6910249590873718\n",
      "Epoch = 751 / 2000 \t :: Train Loss = 0.6736060380935669\n",
      "Epoch = 801 / 2000 \t :: Train Loss = 0.5762052536010742\n",
      "Epoch = 851 / 2000 \t :: Train Loss = 0.5381651520729065\n",
      "Epoch = 901 / 2000 \t :: Train Loss = 0.5110679864883423\n",
      "Epoch = 951 / 2000 \t :: Train Loss = 0.48215606808662415\n",
      "Epoch = 1001 / 2000 \t :: Train Loss = 0.44913145899772644\n",
      "Epoch = 1051 / 2000 \t :: Train Loss = 0.4107000529766083\n",
      "Epoch = 1101 / 2000 \t :: Train Loss = 0.36252787709236145\n",
      "Epoch = 1151 / 2000 \t :: Train Loss = 0.30825188755989075\n",
      "Epoch = 1201 / 2000 \t :: Train Loss = 0.2592819631099701\n",
      "Epoch = 1251 / 2000 \t :: Train Loss = 0.21219781041145325\n",
      "Epoch = 1301 / 2000 \t :: Train Loss = 0.18079791963100433\n",
      "Epoch = 1351 / 2000 \t :: Train Loss = 0.15224790573120117\n",
      "Epoch = 1401 / 2000 \t :: Train Loss = 0.1322667896747589\n",
      "Epoch = 1451 / 2000 \t :: Train Loss = 0.11648394167423248\n",
      "Epoch = 1501 / 2000 \t :: Train Loss = 0.10681267827749252\n",
      "Epoch = 1551 / 2000 \t :: Train Loss = 0.093703992664814\n",
      "Epoch = 1601 / 2000 \t :: Train Loss = 0.08535733819007874\n",
      "Epoch = 1651 / 2000 \t :: Train Loss = 0.07824839651584625\n",
      "Epoch = 1701 / 2000 \t :: Train Loss = 0.07233520597219467\n",
      "Epoch = 1751 / 2000 \t :: Train Loss = 0.06738527119159698\n",
      "Epoch = 1801 / 2000 \t :: Train Loss = 0.06326780468225479\n",
      "Epoch = 1851 / 2000 \t :: Train Loss = 0.05962078645825386\n",
      "Epoch = 1901 / 2000 \t :: Train Loss = 0.05635597184300423\n",
      "Epoch = 1951 / 2000 \t :: Train Loss = 0.0534181073307991\n"
     ]
    }
   ],
   "source": [
    "trained_model_state, losses, steps = train(model_state, features_train, targets_train, 2000, 50)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAioAAAGdCAYAAAA8F1jjAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAABC+0lEQVR4nO3deVhUZf8G8Hs2QGAGUBAQFXfNVBTEpHJFzKVS3xSzRW2xXHrbNM3eyp/2JlqvWmmpZSFZWbZoljuJmgqauOGuidsIg8gyLDMwMM/vD2VyFJRB4Mww9+e6vhfDmecw36cjnLsz55yRARAgIiIiskNyqRsgIiIiqgiDChEREdktBhUiIiKyWwwqREREZLcYVIiIiMhuMagQERGR3WJQISIiIrvFoEJERER2Syl1A5XVqFEj5OXlSd0GERER2UCtVuPy5ctVXt8hgkqjRo2g1WqlboOIiIiqICgoqMphxSGCStmRlKCgIB5VISIichBqtRparfau9t0OEVTK5OXlMagQERE5EZ5MS0RERHaLQYWIiIjsFoMKERER2S0GFSIiIrJbDCpERERktxhUiIiIyG4xqBAREZHdYlAhIiIiu8WgQkRERHaLQYWIiIjsFoMKERER2S0GFSIiIrJbTh1UHnxiOIbPmAbf4CZSt0JERETlcOqgEjp4ACKGD0VAyxZSt0JERETlcOqgkpOuAwB4BzSUuBMiIiIqD4MKAO8Af4k7ISIiovI4eVDJAAD4BDKoEBER2SMnDyo8okJERGTPGFTAc1SIiIjslZMHlWtv/Wj8fCFXKCTuhoiIiG7m1EEl72oWSk0lkCsU0Pg2kLodIiIiuolTBxVhNiNHd+2oCs9TISIisj9OHVQAIEd3/TwVXvlDRERkd5w+qOSm84gKERGRvXL6oMIrf4iIiOwXgwqPqBAREdktBhUeUSEiIrJbDCo8okJERGS3nD6oZKelAwDUDepD6eIicTdERER0I5uDSo8ePbB27VpotVoIITBkyJBKr3v//ffDZDLhwIEDtr5sjSnM1aPYYAQAePnz7R8iIiJ7YnNQ8fDwwKFDhzBp0iSb1vPy8sLXX3+NP/74w9aXrHE8T4WIiMg+KW1dYePGjdi4caPNL7RkyRJ89913KC0txdChQ21evybl6DLQsHkwz1MhIiKyM7VyjsrYsWPRokULzJw5s1LjXVxcoFarraom8YgKERGRfarxoNKqVSvMmTMHTz31FEpLSyu1zvTp06HX6y2l1WprtEde+UNERGSfajSoyOVyfPfdd5gxYwZOnz5d6fViYmKg0WgsFRQUVINd8ogKERGRvbL5HBVbqNVqhIeHo0uXLli0aBGAa+FFLpfDZDKhf//+SEhIuGW94uJiFBcX12RrVnLSyoIKj6gQERHZkxoNKnq9Hh06dLBaNnHiRPTt2xfDhw9HampqTb58pZUdUfFhUCEiIrIrNgcVDw8PtGrVyvJ98+bNERISgqysLFy8eBGzZ89GUFAQxowZAyEEjh49arV+RkYGjEbjLculVHaOSj2NGq7u7igqLJS4IyIiIgKqcI5K165dcfDgQRw8eBAAsGDBAhw8eBCzZs0CAAQGBqJp06bV2mRNKyoshEGfB4DnqRAREdkTGQAhdRN3olarodfrodFokJeXVyOvMeWXbxDYuiU+f/FVnNy9p0Zeg4iIyJlUx/7b6T/rpwyv/CEiIrI/DCrX8V4qRERE9odB5bqyT1H2DmRQISIishcMKtfxiAoREZH9YVC5znKOij/PUSEiIrIXDCrX8YgKERGR/WFQuS5Xdy2ouNRzg7uXRuJuiIiICGBQsSgpLkbe1SwAPKpCRERkLxhUbpCj49s/RERE9oRB5QZln6Lsw0uUiYiI7AKDyg14d1oiIiL7wqByA175Q0REZF8YVG5QdkTFi0dUiIiI7AKDyg0sR1T8eUSFiIjIHjCo3MByRMXfDzKZTOJuiIiIiEHlBvormTCXlkKpUsGzQX2p2yEiInJ6DCo3MJeWQn8lEwAvUSYiIrIHDCo34ZU/RERE9oNB5Sb/3EuFQYWIiEhqDCo3+eeICi9RJiIikhqDyk14RIWIiMh+MKjcxBJU/HlEhYiISGoMKjfJvv7BhN686oeIiEhyDCo3ydFdCypq3wZQKJUSd0NEROTcGFRuUpCVg5LiYsjlcmga+krdDhERkVNjULmJEAI5Ot5LhYiIyB4wqJSDN30jIiKyDwwq5fjnEmVe+UNERCQlBpVy8IgKERGRfWBQKUfO9UuUfRhUiIiIJMWgUg7enZaIiMg+MKiUo+xeKjxHhYiISFoMKuUoO0fFw8cbKjdXibshIiJyXgwq5TDo81BUWAgA8OJn/hAREUmGQaUCZUdVeEItERGRdBhUKsB7qRAREUnP5qDSo0cPrF27FlqtFkIIDBky5Lbjhw0bhs2bNyMjIwO5ubnYvXs3+vfvX+WGa0uO5VOUAyTuhIiIyHnZHFQ8PDxw6NAhTJo0qVLje/bsiS1btmDQoEEICwtDQkICfvvtN3Tu3NnWl65VliMqPEeFiIhIMkpbV9i4cSM2btxY6fGvvfaa1ff/+c9/MGTIEDzyyCM4ePCgrS9fa3h3WiIiIunZHFTulkwmg1qtRlZWVoVjXFxc4Or6z2XBarW6NlqzwnupEBERSa/WT6adMmUKPD09sWrVqgrHTJ8+HXq93lJarbYWO7yGR1SIiIikV6tBZdSoUZgxYwaio6Nx5cqVCsfFxMRAo9FYKigoqBa7vKbsHBU3Tw+4eXrU+usTERFRLb71M3LkSCxbtgwjRozAH3/8cduxxcXFKC4urqXOKujBYERhrh7uXhp4B/gj/cxZSfshIiJyRrVyROXxxx9HbGwsRo0ahfXr19fGS1aL7LR0AIB3IN/+ISIikkKVLk8OCQlBSEgIAKB58+YICQlBkyZNAACzZ89GXFycZfyoUaPw9ddfY/LkydizZw/8/f3h7+8PjUZTTVOoOTxPhYiISFo2B5WuXbvi4MGDlkuLFyxYgIMHD2LWrFkAgMDAQDRt2tQy/oUXXoBKpcJnn32G9PR0S3388cfVM4MaxLvTEhERScvmc1S2b98OmUxW4fPPPPOM1fd9+vSxvSs7YTmi4s8jKkRERFLgZ/3cBu+lQkREJC0GldvgOSpERETSYlC5DZ6jQkREJC0GldvI1V2B2WyGytUVnvV9pG6HiIjI6TCo3EapyYT8q9c+k4hHVYiIiGofg8od8DwVIiIi6TCo3AHPUyEiIpIOg8od8F4qRERE0mFQuQMeUSEiIpIOg8od5OiuH1EJDJC4EyIiIufDoHIHlk9Q5hEVIiKiWsegcgdl56ho/Hwhk/M/FxERUW3invcO8jKvotRUAoVSCY1fA6nbISIicioMKncgzGbkXrkCgPdSISIiqm0MKpWQy5u+ERERSYJBpRIslyj784RaIiKi2sSgUgmWm74F8ogKERFRbWJQqYRsy03fGFSIiIhqE4NKJfDutERERNJgUKmEHB5RISIikgSDSiVYbvrm2wAKlUriboiIiJwHg0olFGTnwGQsAgB4+ftJ3A0REZHzYFCppLIPJ/Th2z9ERES1hkGlknieChERUe1jUKkkBhUiIqLax6BSSZabvvESZSIiolrDoFJJPKJCRERU+5RSN+AoyoJK+14P4IP9f8JcWorS0pJrX03XvppLS1FaUgJzSanle3OpGWZzKYRZQJjNEGYzzGYzzKWlEEJAlJbCLAREqRnm0hKUltzwc276eVbLTCUwFRWh2FiEYoMBJoPR8rjYaITJaESx4fpzRiOKCg0QZrPE/xWJiIhsw6BSSRePHEfe1SyoG9SHQqWEQqWECq5St1VpJSYTctJ0yNJextVLl5GlvYysS/88LsjJlbpFIiKiW8gACKmbuBO1Wg29Xg+NRoO8vDzJ+lAolajnpYZcoYRCoYBcoYBcqYBCqbz2+KbvFUoFZHIFZHIZ5JavcsgUCshlMsgU/zx3bbn8n59l9XOUt7yOUqWCys0VKjc3uNRzg4ub2z+P611/fP17uUJxx7kZCwqQpU1D1iUtMi9qsf/3TdCeOFUL/1WJiKiuqo79N4OKE1CoVFDX90H9xo3QoHEj1A+6VmWPy7uJndlsRuKq1diwcCkMev43JyIi2zGoULVQurqifqMA1A8KRIPGQWgZHoqQ/n0BAPlZ2Vj30WL8teZ3CGH3/1SIiMiOMKhQjWnZtQuGvTUZga1bAgDOHzqCX2b/D5eOnZS4MyIichQMKlSj5EoFHnxiBB6a8DzcPD1gNpuR9OMarP9kKQx6vdTtERGRnWNQoVqh8fPFI5NfQujghwBc+5DGdR99hr2r+XYQERFVjEGFalWLrl3wL74dRERElVQd+2+b70zbo0cPrF27FlqtFkIIDBky5I7r9OrVC8nJyTAajTh9+jTGjBlTpWZJWmf3HcD86DH49YOPYcwvQHBIB7yy8isMm/46ZHLe5JiIiKqfzXsXDw8PHDp0CJMmTarU+GbNmmHdunVISEhA586d8dFHH2HZsmXo37+/zc2S9Mwlpdix4nvMeWQkkn/fCLlcjgefGIEug6Kkbo2IiOooUdUSQoghQ4bcdsycOXNESkqK1bKVK1eKDRs2VPp11Gq1EEIItVpd5V5ZNVP9Jzwn5qUkipe/XSZ5LywWi8Wyr6qO/XeNH6+PiIhAfHy81bJNmzYhIiKiwnVcXFygVqutiuzT7h9+QUlxMYI73YumHdtL3Q4REdUxNR5UAgICoNPprJbpdDp4eXnBzc2t3HWmT58OvV5vKa1WW9NtUhXlZ2XjwIYtAIAeT0ZL3A0REdU1dnkGZExMDDQajaWCgoKkboluY+d3PwIAQvpHQuPnK3E3RERUl9R4UElPT4e/v7/VMn9/f+Tm5sJoNJa7TnFxMfLy8qyK7NelYyeRuv8QFColIkYMlbodIiKqQ2o8qCQmJiIyMtJqWVRUFBITE2v6pakW/Xn9qEr3EUOhUKkk7oaIiOqKKl2eHBISgpCQEABA8+bNERISgiZNmgAAZs+ejbi4OMv4JUuWoEWLFpg7dy7atm2LCRMmIDo6GgsWLKimKZA9SPljG3J0GdD4NkDIQ32lboeIiOoQmy4T6tWrlyhPbGysACBiY2NFQkLCLevs379fGI1GcebMGTFmzJhav7yJVfMV+fwYMS8lUbyy8kvJe2GxWCyW9FUd+2/eQp+qjYePN97ZsgYqV1d8/OTzuHD4qNQtERGRhCS5hT5RRQqyc3BgPS9VJiKi6sOgQtXKcqlyVF9eqkxERHeNQYWqlfbEKZxNPnjtUuXoYVK3Q0REDo5Bhapd2aXKEbxUmYiI7hKDClW7I1u3IyddB3WD+ug8oJ/U7RARkQNjUKFqZy4pxa7vfwEA9HhyhMTdEBGRI2NQoRqx5+dfYSoqQpN770GzkI5St0NERA6KQYVqREFOLvav2wwAePCJ4RJ3Q0REjopBhWpM2aXKnaL6QtPQT+JuiIjIETGoUI25fPI0/t53AAqVEvfzUmUiIqoCBhWqUX9+uwoA0H34EChdXCTuhoiIHA2DCtWoowl/IjstnZcqExFRlTCoUI0yl5Zi1/c/A+Dn/xARke0YVKjG7fl5LUzGIjRu3xbNOneSuh0iInIgDCpU4wpz9di/bhMA3gCOiIhsw6BCtaLs83869usNL39eqkxERJXDoEK1Iu3UGZz5az8USiXuH/mY1O0QEZGDYFChWrPz+qXKDzz+GDy8vSTuhoiIHAGDCtWaI1t34NKxk6in9kS/F56Ruh0iInIADCpUa4QQ+H3BpwCA+x//Fxo0DpK4IyIisncMKlSrTif9hRM7k6BUqTDw5RelboeIiOwcgwrVut8XfAqz2YwuA6PQ5N57pG6HiIjsGIMK1bq0U2eQ/NsGAMDDk1+SuBsiIrJnDCokiY0LP4epqAitwkNxT4/7pW6HiIjsFIMKSSJHl4E/v/kBAPDw65MgVygk7oiIiOwRgwpJ5o8vV6AgJxcBrVqg66ODpG6HiIjsEIMKScaYl48tS2MBAAMmjYNLPTeJOyIiInvDoEKS2v3DL7h66TK8/P3Q46mRUrdDRER2hkGFJFVqMmHDJ0sAAH2ffRqe9X0k7oiIiOwJgwpJ7uDGeFw8ehxunh6IepG31icion8wqJDkhBD4bd4iAEDEiGFo0KSxxB0REZG9YFAhu/D3X/txbMcuKFRKDHplvNTtEBGRnWBQIbuxbsFnMJeWovNDkWjasb3U7RARkR1gUCG7kX7mLP76dT0A3lqfiIiuYVAhu7Lpsy9QbDCiZVgX3Nv7QanbISIiiTGokF3J1V3Bjuu31h/8Gm+tT0Tk7KoUVCZOnIjU1FQYDAYkJSUhPDz8tuNfeeUVnDhxAoWFhbhw4QLmz58PV1fXKjVMdV/CVytQkJ0D/xbN0G3Yw1K3Q0REEhO2VHR0tDAajWLs2LHinnvuEUuXLhVZWVnCz8+v3PGjRo0SBoNBjBo1SgQHB4uoqCih1WrFvHnzKv2aarVaCCGEWq22qVeW49aDT4wQ81ISxYytvwlXD3fJ+2GxWCyW7VVN+2/bVkhKShILFy60fC+TycSlS5fEtGnTyh2/cOFCER8fb7Xsf//7n/jzzz9re6IsByqFUimmr/9RzEtJFFN/XSkCWrWQvCcWi8Vi2VbVsf+26a0flUqFsLAwxMfHW5YJIRAfH4+IiIhy19m9ezfCwsIsbw81b94cgwYNwvr16yt8HRcXF6jVaqsi51JaUoIVU95Bru4K/Fs0wyvffYnwIfyEZSIiZ2NTUPH19YVSqYROp7NartPpEBAQUO46K1euxLvvvoudO3eiuLgYZ8+exbZt2xATE1Ph60yfPh16vd5SWq3Wljapjrh07ATmjRiNk7uS4FLPDY//9x2MfO8/ULnx/CYiImdR41f99OrVC2+99RYmTpyI0NBQDBs2DIMHD8bbb79d4ToxMTHQaDSWCgoKquk2yU4VZOfgiwmvY8PCpTCXlqLb0IfxyndfomHzYKlbIyKiWlLp94lUKpUwmUxiyJAhVsuXL18u1qxZU+46O3bsEB988IHVsieffFIUFBQImUxWa+9xsRy/WoaHihlbfxPzUhLF7D1/iNDB/SXvicVisVgVV62fo2IymZCcnIzIyEjLMplMhsjISCQmJpa7jru7O8xms9Wy0tJSy7pElfX3X/sxb8RonE7aB1d3dzw5ZyaGz5gGJS91JyKq02xKNtHR0cJgMIjRo0eLdu3aiSVLloisrCzRsGFDAUDExcWJ2bNnW8bPmDFD5ObmipEjR4pmzZqJfv36idOnT4vvv/++VhMZq+6UTC4X/Sc8Jz48tEvMS0kUr/8YJ3yDm0jeF4vFYrGsS5LLkwGISZMmiXPnzgmj0SiSkpJEt27dLM8lJCSI2NhYy/cKhUK8++674vTp06KwsFCcP39eLFq0SHh5edX2RFl1rNpEhIv/27ZOzEtJFO8nxouQhyIl74nFYrFY/1R17L9l1x/YNbVaDb1eD41Gg7y8PKnbITui8fPFUx/MQsuuXQAAe375DRsXfQ79lUyJOyMiourYfzOokMOTKxR4aNI49Bs3BgBQbDDiz29XYetXK2DMy5e4OyIi58WgQnSD5l064eHXX0Kzzh0BAIW5emz98mvsXPkTTMYiibsjInI+DCpE5bi394MY+PJ4BLZuCeDaJzJvXvIl9q7+HebrV5wREVHNY1AhqoBMLkfo4IcwYNI41A8KBABkpJ7HhkWf4/DmrRJ3R0TkHBhUiO5AoVIhYsRQ9HthLNQN6gMALh49jnUfLcbppL8k7o6IqG5jUCGqJFd3d/Qa/Th6jX0Cbh4eAIDTSfuQsPxbnNq9B0LY/a8BEZHDYVAhspGHjzcix43BAyP/BaWLCwDg6iUtkn5ai71rfkP+1WyJOyQiqjsYVIiqyKdRAHo+/Ti6PjoQ7hoNAKDEZMKRP7Yj8cc1OLM3WeIOiYgcH4MK0V1SubkipH8kIqKHollIR8vyjNTzSPxpDfb9uh6FuXoJOyQiclwMKkTVKLBNK0SMGIqwRwZYzmMxFRXh0OatSFy1BucOHpa4QyIix8KgQlQDXN3d0WVQFCJGDEPj9m0tyzNSz+NIwg4c3fonzh8+whNwiYjugEGFqIY1ufceREQPQ5eBUXCp52ZZnnc1C8e27cSRhD9xKukvlBTxzrdERDdjUCGqJa4e7rjnwQh06NsT7Xrcj3pqT8tzRYUGnErciyNbd+D4jl0oyMmVsFMiIvvBoEIkAYVSiZbhXXBvn57o0KcHvAP8Lc+ZS0uReuAwjiTswJE/tiNLmyZhp0RE0mJQIbIDQfe0QYc+PXFvnx4IatfG6rmLR4/j0OatOLw5AVcvaSXqkIhIGgwqRHbGp1EA7u3dAx0je6FFWGfIFQrLc9rjp3Bo81Yc2rIVmecvStglEVHtYFAhsmOeDXzQoW8vhET1QcvwUCiUSstzl0+dweEtCTi06Q9kpJ6XsEsioprDoELkIDy8vdChb090iuqL1vd1hUL1T2hJP3MWhzZvxf71m3mkhYjqFAYVIgdUT6NBhz4PolNUX7S5vxuUKpXluQtHjuHA+i04sGEL8jKvStglEdHdY1AhcnBuak/c2+tBdBkUhTYR3SxvD5lLS3FmbzL2r9+MlPhtMOYXSNwpEZHtGFSI6hDP+j4I6d8XoYMfQrPO/3zukKmoCMe278L+dZtw/M9ElJpMEnZJRFR5DCpEdVT9xo3QZWAUQgc/hICWzS3LC/V6HN6cgC1LY5GTrpOwQyKiO2NQIXICQe3aIHTwQ+gyMApe/n4Arl01NH/4aH7eEBHZterYf8uruSciqmbaE6fw27yFeK//UCx+7iUY8vLRqE0rdIzqI3VrREQ1jkGFyEEIsxln9ibjz29+AAD0H/8sZDKZxF0REdUsBhUiB7N9xfcw6PMQ2LolQvr3lbodIqIaxaBC5GCMefnYvuJ7AEDUhOcgk/PXmIjqLv6FI3JAf37zAwr1egS0bI7OD0VK3Q4RUY1hUCFyQMb8AmyPWwkAiBr/LI+qEFGdxb9uRA7qz29XoSAnF/4tmqHLwH5St0NEVCMYVIgcVFFBoeWoSv/xz0GuUEjcERFR9WNQIXJgO7/7EQXZOfBr1hRdBvWXuh0iomrHoELkwIoKC7Et7jsAQNSLz/CoChHVOQwqRA5u53c/IT8rG37BTRD28ENSt0NEVK0YVIgcXLHBgITYbwEA/V58BnIlj6oQUd3BoEJUB+z+4WfkXc2Cb5PG6PrwQKnbISKqNlUKKhMnTkRqaioMBgOSkpIQHh5+2/FeXl5YtGgRLl++DKPRiJMnT2LgQP4xJaouxQYjEr76BgCPqhBR3WJzUImOjsb8+fMxc+ZMhIaG4tChQ9i0aRP8/PzKHa9SqbBlyxY0a9YMw4cPR9u2bTFu3Dhotdq7bp6I/rF71S/QZ15Fg8aNED5ksNTtEBFVG2FLJSUliYULF1q+l8lk4tKlS2LatGnljn/xxRfFmTNnhFKptOl1biy1Wi2EEEKtVlf5Z7BYzlA9n35czEtJFP/Z9ItQ3MXvHIvFYlVHVcf+26YjKiqVCmFhYYiPj7csE0IgPj4eERER5a7z6KOPIjExEZ9++inS09ORkpKC6dOnQ36bW367uLhArVZbFRHd2e5Vq6G/kon6jQIRPuxhqdshIrprNgUVX19fKJVK6HQ6q+U6nQ4BAQHlrtOiRQsMHz4cCoUCgwYNwnvvvYfJkyfj7bffrvB1pk+fDr1ebym+TURUOSVFRdj65QoAQL9xY6BQqSTuiIjo7tT4VT9yuRwZGRl44YUXsH//fqxatQrvv/8+xo8fX+E6MTEx0Gg0lgoKCqrpNonqjMSffkWu7gp8AgPQjUdViMjB2RRUMjMzUVJSAn9/f6vl/v7+SE9PL3edtLQ0nDp1Cmaz2bLs+PHjCAwMhKqC/9srLi5GXl6eVRFR5ZQUFeGPL78GwKMqROT4bAoqJpMJycnJiIyMtCyTyWSIjIxEYmJiuevs2rULrVq1gkwmsyxr06YNLl++DJPJVMW2ieh29vy8Fjm6DHgH+KP7Y49K3Q4R0V2x6ezb6OhoYTAYxOjRo0W7du3EkiVLRFZWlmjYsKEAIOLi4sTs2bMt4xs3bixyc3PFJ598Ilq3bi0GDRok0tPTxVtvvVWrZw2zWM5W94/8l5iXkijejV8rXOrVk7wfFovlfFVN+2/bV5o0aZI4d+6cMBqNIikpSXTr1s3yXEJCgoiNjbUa3717d5GYmCgMBoM4c+aMmD59upDL5bU9URbLqUqhUom3N68W81ISxZRfvhF+zZpK3hOLxXKuqo79t+z6A7umVquh1+uh0Wh4vgqRDZp2bI9nPp4LjZ8vjPkF+P6d/yIlfpvUbRGRk6iO/Tc/64eoDruQcgzzR4zB3/sOwM3TA2MXxOCRyf/mLfaJyGEwqBDVcXlXs7Dk+X9bPguo99gnMH7ZQqh9G0jcGRHRnTGoEDkBc2kpfl/wKZa/+iaM+QVoGdYFr69ajhZhnaVujYjothhUiJxIyh/bseDxZ5B2+m9o/HwxftlC9Bo9Suq2iIgqxKBC5GQyz1/EJ08+j32/bYBCqcSjb7yMMfNnw9XDXerWiIhuwaBC5ISKDUasfGsWfnrvA5SYTOgU1QevfR+LgFYtpG6NiMgKgwqRE0tctRqLRo9Hdlo6/Jo1xcvfLkP34UMgu82nmxMR1Sb+NSJychePHMOC6LE4uXsPXN3rYcSMN/H6j3Foe/99UrdGRATe8I2IAAAyuRw9noxG1Phn4K7RAABO7t6D3+YtQtqpMxJ3R0SOqDr23wwqRGSlnkaDfi+MwYOjhkPp4gKz2Yx9a9dj46LPkau7InV7RORAGFSIqMbUb9wIg14ejy4DowBcOwF3x4rvsfWrFSgqKJS4OyJyBAwqRFTjmnRoj0emvISWYV0AXLvT7ZYlXyHxpzUwl5RK3B0R2TMGFSKqNff26YGHX5uEhs2DAQAZqeex7qPPcGTrDok7IyJ7xaBCRLVKrlSg+2ND0H/Cc1A3qA8AOJ20D6vnzIfu71SJuyMie8OgQkSScPVwR59nn0Lv0U9A5eaK0pIS7Fr5MzYtXgZjXr7U7RGRnWBQISJJ+TQKwKNTXkanqD4Arp2/sv7jJfhrze8Qwu7/tBBRDWNQISK70CYiHEOmvYaAls0BABeOHMPq2fNwIeWYxJ0RkZQYVIjIbsiVCjw4agT6T3gO9dSeAIC9a37Huo8+Q/7VbIm7IyIpMKgQkd1RN6iPQa9OQLehDwMADHn52LzkS+z87kdezkzkZBhUiMhuNe3YHsOmT0bTju0BALqz57B69jyc3rNP4s6IqLYwqBCRXZPJZAgf+jAGvTLecjnz7lWr8fu8RSgq5N1tieq66th/89OTiajGCCGwd/VvmPPISOz6/mcAwP3RwzDll2/QqluYxN0RkSPgERUiqjUtw0MxctZ/0KBxIwDAzpU/Yd2Cz1BsMEjcGRHVBB5RISKH8vdf+zHvsaex+4dfAAAPjhqOyT9/jRZhnaVtjIjsFo+oEJEk2kSEI3rmW/AJDAAA7FjxA9Z/shgmY5HEnRFRdeERFSJyWKcS/8KHw55E0k+/AgB6Pj0Sk39agWadO0ncGRHZEx5RISLJtX2gO6JnToe3f0OYzWbs+Pp7bFj0OUqKeHSFyJHxiAoR1QkndyXhw2FPYu+a3yGXy9F77BOY/GMcgu5pI3VrRCQxBhUisgvGvHz88M77WDZpCnIzrqBh82D8e8XnCB86WOrWiEhCDCpEZFeO79iFD4c9haPbdkLl6orH33sbw9+dBoVKJXVrRCQBBhUisjsGvR6xL0/FhoVLYTabETFiKF6KWwLvAH+pWyOiWsagQkR2SQiB+M+XY9mE11GQk4umHdvj9VXL0bp7uNStEVEtYlAhIrt2cvceLBg5FhePnYCHjzdeWLIAfZ97Wuq2iKiWMKgQkd3LvpyORU+/iD2//Aa5QoHBr07E2I/mwM3TQ+rWiKiGMagQkUMoKS7Gqhmzser/YlBSXIyOkb3w6sqvENCqhdStEVENYlAhIoey5+e1WDR6PLLT0uHXrCle/nYZugyMkrotIqohVQoqEydORGpqKgwGA5KSkhAeXrmT20aOHAkhBFavXl2VlyUiAgBcPHocC6LH4lTiXri618NTH8zCo2+8DJlMJnVrRFTNbA4q0dHRmD9/PmbOnInQ0FAcOnQImzZtgp+f323XCw4Oxv/+9z/s2LGjys0SEZUpyMnF5+NfQ/znywEAvUaPQvSstyCT80AxUV1i82/066+/ji+++ALLly/H8ePHMX78eBQWFuLZZ5+t+EXkcnz77beYMWMGzp49e1cNExGVEWYzNixcim+mvovSkhJ0G/owRr3/DuQKhdStEVE1sSmoqFQqhIWFIT4+3rJMCIH4+HhERERUuN67776LjIwMfPXVV5V6HRcXF6jVaqsiIqrIgQ1bsOKNd1BqKkHYwwPwRMwMyJUMK0R1gU1BxdfXF0qlEjqdzmq5TqdDQEBAues88MADeO655zBu3LhKv8706dOh1+stpdVqbWmTiJxQSvw2xE1+CyUmE7oMjMJTc2dBoVRK3RYR3aUafTPX09MTK1aswLhx43D16tVKrxcTEwONRmOpoKCgGuySiOqKowl/Yvmr01FSXIyQ/n0xet5/+RlBRA7OpqCSmZmJkpIS+Ptbf96Gv78/0tPTbxnfsmVLNG/eHL/99htMJhNMJhNGjx6NRx99FCaTCS1alH//g+LiYuTl5VkVEVFlHN+xC1+9PA2moiJ06NsLYxfEQOniInVbRFRFNgUVk8mE5ORkREZGWpbJZDJERkYiMTHxlvEnTpxAhw4d0LlzZ0utXbsWCQkJ6Ny5My5evHj3MyAiusnJXUn48qU3UGwwon2vB/DMx3OhdHWVui0iqiJhS0VHRwuDwSBGjx4t2rVrJ5YsWSKysrJEw4YNBQARFxcnZs+eXeH6sbGxYvXq1Ta9plqtFkIIoVarbVqPxWI5d7Xs2kXM3rNVzEtJFC9+8YlQublK3hOL5UxVHftvm89RWbVqFaZMmYJZs2bh4MGD6Ny5MwYMGICMjAwAQNOmTREYGGjrjyUiqnZ/7zuALya8BmNBAdp0D8fzn82HS716UrdFRDaQ4VpisWtqtRp6vR4ajYbnqxCRzYJDOmDc4gWop/bE2eSDWDZxMooKC6Vui6jOq479N2/hSER13vlDR7D0hVdQqNejRVhnvPD5R/zkZSIHwaBCRE7h4pFjWPL8v1GYq0ezkI54/tN5PMGWyAEwqBCR09AeP4XFz72EQr0ezUND8PSHs3i7fSI7x6BCRE7l8snT+OrfU2EyFqFDn54Y/s5UqVsiottgUCEip5O6/xBWTH0H5tJS3PfYoxjw7xekbomIKsCgQkRO6WjCn/jpvQ8AAFEvPIMHnxgucUdEVB4GFSJyWnt+XosNC5cCAIZMew0hD0XeYQ0iqm0MKkTk1OI/X46dK3+CXC7HEzEz0Pq+rlK3REQ3YFAhIqe3Zs4CHNz0B5QqFcZ+NAdB97SRuiUiuo5BhYicnjCb8d30mTi9Zx/cPD0wbvECNGgcJHVbRAQGFSIiAECpyYTlr74J7fFTUDeojxc+/wieDXykbovI6TGoEBFdZ8wvwBcTXsPVS1r4NmmMcZ8tgKuHu9RtETk1BhUiohvkXc3C0hdeRd7VLDRu3xZjP5oDhUoldVtETotBhYjoJlcvXsKyia/DWFCANt3D8cTsdyGT888lkRT4m0dEVI5Lx05i+avTUWIyofOAfnj8vbcZVogkwN86IqIKnE76C99Om4HSkhJ0fXQgwwqRBPgbR0R0G4e3JOCbqe8yrBBJhL9tRER3cHhLAla88Q5KTdfDyn8ZVohqC3/TiIgqISV+G1a88fa1sPLIQIx6/x2GFaJawN8yIqJKSvljO76eci2shD08AE/MfhdyhULqtojqNAYVIiIbHNn6T1gJHfwQRjGsENUoBhUiIhtdCyv/uRZWBvXnkRWiGsSgQkRUBUe27kDc5LdQYjKhC8MKUY1hUCEiqqKjCX/i69cZVohqEoMKEdFdOLptJ+JeuyGsxMxgWCGqRgwqRER36dj2G8LKwCg89cEsKJRKqdsiqhMYVIiIqsGx7TuvfTZQcTFC+vfFmAUxULq4SN0WkcNjUCEiqibHd+zCV/+eCpOxCPf2fhDPLfoQLvXcpG6LyKExqBARVaOTu/fg8wmvwVhQgDYR3TBu8QK4erhL3RaRw2JQISKqZmf3HcDSF15BoV6PFmGdMX7ZQtTTaKRui8ghMagQEdWAC4ePYslz/0Z+VjaadmiPiV8tgmd9H6nbInI4DCpERDVEe+IUPntmIvRXMtGobWtMWr4YmoZ+UrdF5FAYVIiIapDu7Dl8OnYCstPS0bB5MF6KW4z6QYFSt0XkMBhUiIhqWOaFS/h0zARkXriEBo2DMGn5YvgGN5G6LSKHwKBCRFQLstPS8enYCUj/OxXeAf6YtHwxAlq1kLotIrvHoEJEVEv0VzLx2TMToT1+ChrfBpgY+xkat28rdVtEdq1KQWXixIlITU2FwWBAUlISwsPDKxz7/PPPY8eOHcjKykJWVha2bNly2/FERHVZQXYOFj//Es4fOgIPby+MX7YIoYP7S90Wkd2yOahER0dj/vz5mDlzJkJDQ3Ho0CFs2rQJfn7ln8neu3dvrFy5En369EFERAQuXryIzZs3o1GjRnfdPBGRIzLo87D0hVdw5q/9qKf2xJNzZuL5xfPh0yhA6taI7JKwpZKSksTChQst38tkMnHp0iUxbdq0Sq0vl8tFbm6uePrppyv9mmq1WgghhFqttqlXFovFsueSKxUi8vkxYs6+bWJeSqKYvWer6PHUSCGTyyXvjcWqjqqO/bdNR1RUKhXCwsIQHx9vWSaEQHx8PCIiIir1M9zd3aFSqZCVlVXhGBcXF6jVaqsiIqprzCWl+GNZHOYNH42/9x2Aq3s9DJ32Kl7+5gsEtmkpdXtEdsGmoOLr6wulUgmdTme1XKfTISCgcocs586di8uXL1uFnZtNnz4der3eUlqt1pY2iYgcypVzF7D42UlY9X8xMOjz0LRje7z2/XIMfHk8lK6uUrdHJKlavepn2rRpePzxxzFs2DAUFRVVOC4mJgYajcZSQUFBtdglEVHtE0Jgz89rMXfIKBzavBUKlRL9xo3BlJ++RsuuXaRuj0gyNgWVzMxMlJSUwN/f32q5v78/0tPTb7vu5MmT8eabb6J///5ISUm57dji4mLk5eVZFRGRM8jLvIqvJ/8Hsa9MQ67uCvyaNcXE2M8wYsabqKfh2+DkfGwKKiaTCcnJyYiMjLQsk8lkiIyMRGJiYoXrvfHGG3jnnXcwYMAAJCcnV71bIiIncWTrDnwwdBR2//ALAKD78CGY+utKdH4o8g5rEtU9Np19Gx0dLQwGgxg9erRo166dWLJkicjKyhINGzYUAERcXJyYPXu2ZfzUqVOF0WgU//rXv4S/v7+lPDw8avWsYRaLxXLUah4aIqb+ulLMS0kU81ISxYSvPhWBbVpJ3heLdaeqpv237StNmjRJnDt3ThiNRpGUlCS6detmeS4hIUHExsZavk9NTRXlmTFjRm1PlMVisRy2FCqViBr/rIjZmyDmpSSKDw/uFI+9/Ybw8PaSvDcWq6Kqjv237PoDu6ZWq6HX66HRaHi+ChE5Ne8Afzwy+SV0HtAPAFCo12PTp8uwe9UvMJeUStwdkbXq2H8zqBAROaAWYZ0x9M3XENSuDQAg/cxZrJn7EU4n/SVxZ0T/YFAhInJiMrkc9z32KAb9+0V4+HgDAI5s3Y61Hy7E1Uu8/xRJj0GFiIhQT6NG//HP4YFRj0GhVKKkuBjb4lbijy/iUGwwSN0eOTEGFSIisvBv0QxDpr2KtvffBwDIzbiCnd/9iL2rf0d+VrbE3ZEzYlAhIqJb3NunBx5942X4NmkMACgxmZCyJQG7f1yDs/sOSNwdORMGFSIiKpdCpULo4P6IGD4UwSEdLMt1Z88hcdVq7PttAwx6/j2lmsWgQkREdxTUrg0ioochdHB/uLq7AwBMxiIc2LgFu39YjYtHjkncIdVVDCpERFRprh7uCB38EO4f+S80atPKsvzSsZNI/HE1DqzfgqLCQgk7pLqGQYWIiKokOKQDIkYMQ+cBkVC5ugK4dpTlxK4kpMRvw7Edu/jWEN01BhUiIror9TQahA8ZhIgRQ9GwebBleampBGf27sPhP7bjyNbtyL/Kq4bIdgwqRERUbQLbtEKnfr3RsV9vBLZuaVluNpuReuAQUuK348gf25Gdli5hl+RIGFSIiKhG+AY3QcfIXujUrw+admxv9dzFo8eR8sd2nE0+iMsnTvO8FqoQgwoREdU47wB/dOjbEx379UaL0BDIFQrLc2azGZnnL+LS8ZPQHjuJi8dOQHviFIx5+RJ2TPaCQYWIiGqVZ30f3NunB9r3vB+N27eDd4B/ueMyL1zCpeMncenYCWiPn8TFoyd4cq4TYlAhIiJJedb3QdA9bdH4nrYIuqcNGrdvhwaNG90yzmw249KxEzidtA+nk/5C6oHDKCkulqBjqk0MKkREZHfqaTRofE8bNG7f9lqIad8OfsFNrMaYjEVIPXAIpxL34lTSX7h84jSEsPvdEdmIQYWIiByC2rcBWnfvijbdw9Gmezd4+ftZPV+QnYPTe5NxOukvnErciyxtmkSdUnViUCEiIofUsHkw2kR0Q5vu4WgZHgo3Tw+r5wuyc5B25ix0f6ci7fTf0P2divQzZ1GYq5eoY6oKBhUiInJ4cqUCTTvcizbdu6J193AEd+oAhUpZ7lj9lUyk/52K9NNnkf73WaRfDzPG/IJa7poqg0GFiIjqHJWbKxo2D0ZAyxYIaN3i2tdWLVA/KLDCdfKuZiHz/EVcuXARmecvXf96EZkXLqHYYKjF7ulGDCpEROQ0XN3d4d+y2Q0BpjkCWrW85XyXm+VmXEHmhUuWIJOlTUP25TRkX05H3tWsWureOTGoEBGR03P1cIdfcBP4Nm0C3+Am8GvaBL7BjeHXtAk8fLxvu66pqAg5aTpkp6Uju+zr5fRrQSYtHTm6DJhLSmtnInUQgwoREdFt1NOo4du0CfyCG1//2gQ+jQLhE+gPTUM/yOXy265vNpuRn5UNfUYm9JmZ175eyUTulX8e669kIj8rG+ZSBpqbMagQERFVkVypgLd/Q/gEBsCnUSC8A/1RPzAAPo0C4BMYAO9Af6hcXSv1s8ylpci7moX8q9nIz8pCfnYO8rOykZ+Vg4Ls7GuPs3OuPZ+djaIC5/h8pOrYf5d/WjUREVEdZy4pRZY27fo9Ww7c8rxMJoNHfW9ofH2haehr+erld/17P194+fnBs4EPFEolvBr6wavh7c+XKVNSXIz87BwUZOegMEePgtxcFObkXv+qR0HOjd/noiBHD2NenlPeFI9HVIiIiO6CTC6Hp483vPz94FnfBx4+PlDX94FHfW941veBp4/P9eXe8KzvDVd39yq9jtlshjE/HwZ9Hgr1eTBcr0K9/obHZcv1MOjzYcjPv75OPkpNpmqe+Z3xiAoREZHEhNmMvKtZlb6CSOXmagkv7t5e8PDWwN3LCx7eXte+99LA3fLYC+7eGrh5eEAul8Ndo4G7RoMGVejTVFQEY34BDPo8GPMLrgWYvHwY864Fmt3f/4Krl7RV+Mk1i0GFiIioFpmMRdevMkqv9DoKlQruGjXqadRw12hQT6NGPS/19WWa68uvPV82xs3TA/XUastdf1WurlC5ukLdoH65r3Fo81YGFSIiIrJdqclk01GbG8nkcrh6uKOepyfc1J6op/aEm6cn3NQe/yzz9EROmq4GOr97DCpERER1mDCbYbz+Fg8c8LMeb38BOREREZGEGFSIiIjIbjGoEBERkd1iUCEiIiK7xaBCREREdotBhYiIiOxWlYLKxIkTkZqaCoPBgKSkJISHh992/PDhw3H8+HEYDAYcPnwYAwcOrFKzRERE5HyELRUdHS2MRqMYO3asuOeee8TSpUtFVlaW8PPzK3d8RESEMJlMYsqUKaJdu3Zi1qxZoqioSNx7772Vfk21Wi2EEEKtVtvUK4vFYrFYLOmqmvbftq2QlJQkFi5caPleJpOJS5cuiWnTppU7/vvvvxe//fab1bLExESxePHi2p4oi8VisVisWqzq2H/b9NaPSqVCWFgY4uPjLcuEEIiPj0dERES560RERFiNB4BNmzZVOB4AXFxcoFarrYqIiIicj01BxdfXF0qlEjqd9ecB6HQ6BAQElLtOQECATeMBYPr06dDr9ZbSau3vQ5KIiIio5tnlVT8xMTHQaDSWCgoKkrolIiIikoBNH0qYmZmJkpIS+Pv7Wy339/dHenr5H1ednp5u03gAKC4uRnFxsS2tERERUR1kU1AxmUxITk5GZGQkfv31VwCATCZDZGQkFi1aVO46iYmJiIyMxMcff2xZFhUVhcTERJub5bkqREREjqM69ts2BRUAmD9/PuLi4rBv3z7s3bsXr776Kjw8PBAbGwsAiIuLg1arxVtvvQUA+Pjjj7F9+3a8/vrrWLduHR5//HF07doVL7zwQqVfs2yiPFeFiIjI8ajVauTl5VVpXZuDyqpVq+Dn54dZs2YhICAABw8exIABA5CRkQEAaNq0Kcxms2V8YmIinnjiCfz3v//F7Nmzcfr0aQwdOhRHjx6t9GtevnwZQUFBVZ5kRdRqNbRabY38bHvCedYtnGfd4QxzBDjPusbWearValy+fPmuXlPy66ylKme5PwvnWbeK86w75Qxz5DzrXtX2PO3yqh8iIiIiwE4vTyYiIiICnDyoFBUV4f/+7/9QVFQkdSs1ivOsWzjPusMZ5ghwnnVNbc9ThmvvARERERHZHac+okJERET2jUGFiIiI7BaDChEREdktBhUiIiKyW04dVCZOnIjU1FQYDAYkJSUhPDxc6pYq7c0338TevXuh1+uh0+mwevVqtGnTxmpMQkIChBBWtXjxYqsxTZo0we+//46CggLodDp88MEHUCgUtTmV25oxY8Ytczh+/LjleVdXVyxatAiZmZnIy8vDTz/9hIYNG1r9DHufIwCkpqbeMk8hhOUztBx1W/bo0QNr166FVquFEAJDhgy5ZczMmTNx+fJlFBYWYsuWLWjVqpXV8z4+Pvjmm2+Qm5uL7OxsLFu2DB4eHlZjOnbsiB07dsBgMODChQt44403anReN7rdHJVKJebMmYPDhw8jPz8fWq0WcXFxCAwMtPoZ5W3/adOmWY2Rco7AnbdlbGzsLXPYsGGD1Rh735bAnedZ3u+pEAJTpkyxjLH37VmZ/Ud1/W3t1asXkpOTYTQacfr0aYwZM6ZKPUt+lzspKjo6WhiNRjF27Fhxzz33iKVLl4qsrCzh5+cneW+VqQ0bNogxY8aI9u3bi06dOonff/9dnDt3Tri7u1vGJCQkiKVLlwp/f39L3XgnQblcLg4fPiw2b94sQkJCxIABA0RGRoZ4//33JZ9fWc2YMUOkpKRYzaFBgwaW5z/77DNx/vx50adPHxEaGip2794tdu7c6VBzBCB8fX2t5hgZGSmEEKJXr14OvS0HDBgg3nvvPTF06FAhhBBDhgyxen7q1KkiOztbPProo6Jjx45izZo14u+//xaurq6WMevXrxcHDhwQ3bp1Ew888IA4deqU+Pbbby3Pq9VqkZaWJlasWCHat28vRo4cKQoKCsS4ceMkn6NGoxGbN28WI0aMEG3atBH33XefSEpKEn/99ZfVz0hNTRVvv/221fa98XdZ6jlWZlvGxsaK9evXW83B29vbaoy9b8vKzPPG+fn7+4uxY8eK0tJS0bx5c4fZnpXZf1TH39ZmzZqJ/Px88b///U+0a9dOTJo0SZhMJtG/f39be66djW9vlZSUJBYuXGj5XiaTiUuXLolp06ZJ3ltVytfXVwghRI8ePSzLEhISxIIFCypcZ8CAAaKkpEQ0bNjQsuzFF18UOTk5QqVSST4n4FpQOXDgQLnPaTQaUVRUJB577DHLsrZt2wohhLjvvvscZo7l1YIFC8Tp06fr1LYs74/+5cuXxeTJk622qcFgECNHjhQARLt27YQQQoSFhVnGPPTQQ6K0tFQEBgYKAGL8+PHi6tWrVvOMiYkRx48ft4s53lxdu3YVQgjRpEkTy7LU1FTxyiuvVLiOPc2xonnGxsaK1atXV7iOo23Lym7P1atXi/j4eKtljrY9b95/VNff1jlz5oiUlBSr11q5cqXYsGGDTf055Vs/KpUKYWFhiI+PtywTQiA+Ph4RERESdlZ1Xl5eAICsrCyr5U8++SSuXLmClJQUzJ49G/Xq1bM8FxERgZSUFMsHSgLApk2b4OXlhXvvvbd2Gq+E1q1bQ6vV4u+//8Y333yDJk2aAADCwsLg4uJitR1PnjyJ8+fPW7ajo8zxRiqVCk899RS++uorq+V1YVveqHnz5ggMDLTafnq9Hnv27LHaftnZ2UhOTraMiY+Ph9lsxn333WcZs2PHDphMJsuYTZs2oV27dvD29q6dydjAy8sLZrMZOTk5VsvffPNNZGZmYv/+/ZgyZYrVIXRHmWPv3r2h0+lw4sQJfPbZZ6hfv77lubq4LRs2bIjBgwfjyy+/vOU5R9qeN+8/qutva0REhNXPKBtj637W5k9Prgt8fX2hVCqh0+mslut0OrRr106irqpOJpPho48+ws6dO60+lfq7777D+fPncfnyZXTq1Alz585F27Zt8dhjjwEAAgICyv1vUPacPdizZw/Gjh2LkydPIjAwEDNmzMCff/6JDh06ICAgAEVFRcjNzbVaR6fTWfp3hDnebOjQofD29sby5csty+rCtrxZWV/l9X3j9rvxDyEAlJaWIisry2pMamrqLT+j7LmbA4GUXF1dMXfuXKxcudLqU2c/+eQT7N+/H1lZWbj//vsRExODwMBATJ48GYBjzHHjxo345ZdfkJqaipYtW2L27NnYsGEDIiIiYDab69y2BIAxY8YgLy8Pv/zyi9VyR9qe5e0/qutva0VjvLy84ObmBqPRWKkenTKo1DWffvopOnTogAcffNBq+RdffGF5fOTIEaSlpWHr1q1o0aIFzp49W9ttVsnGjRstj1NSUrBnzx6cP38e0dHRMBgMEnZWc5577jls2LABaWlplmV1YVs6O6VSiVWrVkEmk2HChAlWzy1YsMDyOCUlBcXFxVi6dCmmT5+O4uLi2m61Sn744QfL4yNHjuDw4cM4e/Ysevfuja1bt0rYWc159tln8e23395yK3lH2p4V7T/siVO+9ZOZmYmSkhL4+/tbLff390d6erpEXVXNwoUL8fDDD6NPnz7QarW3Hbtnzx4AsFxVkZ6eXu5/g7Ln7FFubi5OnTqFVq1aIT09Ha6urpbDlmVu3I6ONsemTZuiX79+WLZs2W3H1YVtWdbX7X4P09PTb7nSQKFQoH79+g61jctCSnBwMKKioqyOppRnz549UKlUaNasGQDHmOPNUlNTceXKFat/o3VhW5Z58MEH0a5duzv+rgL2uz0r2n9U19/Wisbk5uZW+mgK4KRBxWQyITk5GZGRkZZlMpkMkZGRSExMlLAz2yxcuBDDhg1D3759ce7cuTuO79y5MwBY/k89MTERHTt2hJ+fn2VMVFQUcnNzcezYsZpo+a55eHigZcuWSEtLQ3JyMoqLi622Y5s2bRAcHGzZjo42x2eeeQYZGRlYt27dbcfVhW2ZmpqKtLQ0q+2nVqtx3333WW0/Hx8fhIaGWsb07dsXcrncEtYSExPRs2dPKJX/HCCOiorCiRMn7OKtgrKQ0rp1a/Tr1++W88jK07lzZ5SWllreKrH3OZYnKCgIDRo0sPo36ujb8kbPPfcc9u3bh8OHD99xrD1uz9vtP6rrb2tiYqLVzygbU5X9rCRnGUtd0dHRwmAwiNGjR4t27dqJJUuWiKysLKszmO25Pv30U5GdnS169uxpdQmcm5ubACBatGgh3n77bREaGiqCg4PFI488Is6cOSO2bdv2z5nU1y8v27hxo+jUqZPo37+/0Ol0kl/SemN9+OGHomfPniI4OFhERESIzZs3i4yMDOHr6yuAa5fQnTt3TvTu3VuEhoaKXbt2iV27djnUHMtKJpOJc+fOiZiYGKvljrwtPTw8REhIiAgJCRFCCPHqq6+KkJAQyxUvU6dOFVlZWeKRRx4RHTp0EKtXry738uTk5GQRHh4u7r//fnHy5EmrS1o1Go1IS0sTcXFxon379iI6Olrk5+fX2qWet5ujUqkUa9asERcuXBCdOnWy+l0tuzKie/fu4pVXXhGdOnUSzZs3F0888YTQ6XRi+fLldjPHO83Tw8NDfPDBB+K+++4TwcHBom/fvmLfvn3i5MmTwsXFxWG2ZWX+zQLXLi/Oz88XL7744i3rO8L2vNP+A6iev61llyfPnTtXtG3bVkyYMIGXJ9takyZNEufOnRNGo1EkJSWJbt26Sd5TZasiY8aMEQBE48aNxbZt20RmZqYwGAzi1KlTYu7cuVb33gAgmjZtKtatWycKCgpERkaG+PDDD4VCoZB8fmW1cuVKodVqhdFoFBcvXhQrV64ULVq0sDzv6uoqFi1aJK5evSry8/PFzz//LPz9/R1qjmUVFRUlhBCidevWVssdeVv26tWr3H+nsbGxljEzZ84UaWlpwmAwiC1bttwyfx8fH/Htt98KvV4vcnJyxJdffik8PDysxnTs2FHs2LFDGAwGcfHiRTF16lS7mGNwcHCFv6tl98jp0qWLSExMFNnZ2aKwsFAcPXpUvPnmm1Y7eKnneKd5urm5iY0bNwqdTieKiopEamqqWLp06S3/42fv27Ky/2bHjRsnCgoKhEajuWV9R9ieFSnbfwDV97e1V69eYv/+/cJoNIozZ85YvUZlS3b9AREREZHdccpzVIiIiMgxMKgQERGR3WJQISIiIrvFoEJERER2i0GFiIiI7BaDChEREdktBhUiIiKyWwwqREREZLcYVIiIiMhuMagQERGR3WJQISIiIrvFoEJERER26/8BOED1wJ/2gBYAAAAASUVORK5CYII=",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "%matplotlib inline\n",
    "import matplotlib.pyplot as plt\n",
    "import seaborn as sns\n",
    "\n",
    "\n",
    "sns.lineplot(x=np.array(steps), y=np.array(losses))\n",
    "plt.show()"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Evaluation"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [],
   "source": [
    "@jax.jit\n",
    "def test_step(state, x):\n",
    "    logits = model.apply(state.params, x)\n",
    "    out = jnp.argmax(logits, axis=-1)\n",
    "    \n",
    "    return out\n",
    "\n",
    "\n",
    "@jax.jit\n",
    "def test(state, xs):\n",
    "    return jax.vmap(test_step, in_axes=(None, 0))(state, xs)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [],
   "source": [
    "predictions = test(trained_model_state, features_test)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "              precision    recall  f1-score   support\n",
      "\n",
      "           0       0.97      1.00      0.98        29\n",
      "           1       0.96      0.96      0.96        48\n",
      "           2       0.95      0.91      0.93        23\n",
      "\n",
      "    accuracy                           0.96       100\n",
      "   macro avg       0.96      0.96      0.96       100\n",
      "weighted avg       0.96      0.96      0.96       100\n",
      "\n"
     ]
    }
   ],
   "source": [
    "from sklearn.metrics import classification_report\n",
    "\n",
    "report = classification_report(y_pred=predictions, y_true=targets_test)\n",
    "print(report)"
   ]
  },
  {
   "attachments": {},
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### A fun little experiment\n",
    "Comment out all the `@jax.jit` annotations, restart the jupyter server and run all the cells again. Check how long it takes to train the network. \n",
    "\n",
    "tsk tsk ;) "
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "jax_examples",
   "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.9"
  },
  "orig_nbformat": 4,
  "vscode": {
   "interpreter": {
    "hash": "2ea88ac40e8e5d58ad2f5d32fe0babb793b131664cfdc2d06961b2c577b6c457"
   }
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}