{ "cells": [ { "cell_type": "markdown", "id": "693439e4", "metadata": {}, "source": [ "# Example 8: Model Calibration — Approximate Bayesian Computation (ABC-SMC) \n", "\n", "[(GitHub link)](https://github.com/heberlr/UQ_PhysiCell/tree/main/examples/virus-mac-new/ex8_ABC_Calib.ipynb)\n", "\n", "This notebook calibrates the [virus-mac-new](https://github.com/heberlr/UQ_PhysiCell/tree/main/examples/virus-mac-new) model using **ABC-SMC (Approximate Bayesian Computation — Sequential Monte Carlo)**. Unlike BO (ex7) which finds point estimates, ABC-SMC returns a full **posterior distribution** over parameters, quantifying how uncertain we are about each parameter given the observed data.\n", "\n", "**BO (ex7) vs ABC-SMC (ex8):**\n", "| | Bayesian Optimization (ex7) | ABC-SMC (ex8) |\n", "|---|---|---|\n", "| Output | Pareto front (point estimates) | Posterior distribution |\n", "| Tells you | Best-fit parameter values | Full uncertainty over parameters |\n", "| Requires | Acquisition function + GP | Prior distribution + distance function |\n", "| Best for | Finding optimal parameters | Uncertainty quantification |\n", "\n", "**What you will learn:**\n", "- How to define prior distributions using pyABC's `Distribution` and `RV`\n", "- How distance functions replace the objective function from BO\n", "- How ABC-SMC progressively tightens the tolerance (epsilon) across populations\n", "- How to read the posterior: width reflects identifiability, coverage of the true value reflects accuracy\n", "\n", "**Ground truth (same observed data as ex7):**\n", "- `mac_phag_rate_infected` = 1.0\n", "- `epi2infected_hfm` = 0.4" ] }, { "cell_type": "code", "execution_count": 1, "id": "a3574ae4", "metadata": {}, "outputs": [], "source": [ "import warnings, logging\n", "import numpy as np\n", "import matplotlib.pyplot as plt\n", "warnings.filterwarnings('ignore')\n", "\n", "from uq_physicell.abc import CalibrationContext, run_abc_calibration\n", "from pyabc import RV, Distribution, visualization\n", "\n", "logging.basicConfig(level=logging.INFO)\n", "logger = logging.getLogger(__name__)\n", "\n", "db_path = \"ex8_ABC_Calib.db\"\n", "obs_data_path = \"ex7_ObsData.csv\"\n", "dic_real_value = {\"mac_phag_rate_infected\": 1.0, \"epi2infected_hfm\": 0.4}\n", "\n", "model_config = {\"ini_path\": \"uq_pc_struc.ini\", \"struc_name\": \"Model_struc_Calib\"}\n", "\n", "# df_cell → cell DataFrame (see ex1 for the full dispatch table)\n", "qoi_functions = {\n", " \"epi_\": lambda df_cell: len(df_cell[df_cell['cell_type'] == 'epithelial']),\n", " \"epi_infected\": lambda df_cell: len(df_cell[df_cell['cell_type'] == 'epithelial_infected']),\n", "}\n", "\n", "obs_data_columns = {\n", " \"time\": \"Time\",\n", " \"epi_\": \"Healthy Epithelial Cells\",\n", " \"epi_infected\": \"Infected Epithelial Cells\",\n", "}" ] }, { "cell_type": "markdown", "id": "69566ab1", "metadata": {}, "source": [ "## Distance functions, prior, and ABC options" ] }, { "cell_type": "code", "execution_count": 2, "id": "f7129ddc", "metadata": {}, "outputs": [], "source": [ "def euclidean_distance_epi(data1, data2):\n", " obs_vals = np.array(data1['epi_'])\n", " sim_vals = np.array(data2['epi_'])\n", " return np.sum((obs_vals - sim_vals) ** 2)\n", "\n", "def euclidean_distance_epi_infected(data1, data2):\n", " obs_vals = np.array(data1['epi_infected'])\n", " sim_vals = np.array(data2['epi_infected'])\n", " return np.sum((obs_vals - sim_vals) ** 2)\n", "\n", "distance_functions = {\n", " \"epi_\": {\"function\": euclidean_distance_epi},\n", " \"epi_infected\": {\"function\": euclidean_distance_epi_infected},\n", "}\n", "\n", "# Uniform priors over the same bounds as ex7 for direct comparison\n", "prior = Distribution(\n", " mac_phag_rate_infected=RV(\"uniform\", 0.7, 0.8), # uniform on [0.7, 1.5]\n", " epi2infected_hfm=RV(\"uniform\", 0.1, 0.4), # uniform on [0.1, 0.5]\n", ")\n", "\n", "abc_options = {\n", " \"max_populations\": 2,\n", " \"max_simulations\": 100,\n", " \"population_strategy\": \"adaptive\",\n", " \"min_population_size\": 10,\n", " \"max_population_size\": 50,\n", " \"adaptive_distance\": True,\n", " \"sampler\": \"multicore\",\n", " \"num_workers\": 6,\n", "}" ] }, { "cell_type": "markdown", "id": "8f6006a0", "metadata": {}, "source": [ "## Create context and run ABC-SMC calibration" ] }, { "cell_type": "code", "execution_count": 3, "id": "fe38de9a", "metadata": {}, "outputs": [], "source": [ "calib_context = CalibrationContext(\n", " db_path=db_path,\n", " obsData=obs_data_path,\n", " obsData_columns=obs_data_columns,\n", " model_config=model_config,\n", " qoi_functions=qoi_functions,\n", " distance_functions=distance_functions,\n", " prior=prior,\n", " abc_options=abc_options,\n", " logger=logger,\n", ")" ] }, { "cell_type": "code", "execution_count": 4, "id": "fd73d229", "metadata": {}, "outputs": [ { "name": "stderr", "output_type": "stream", "text": [ "ABC.Sampler INFO: Parallelize sampling on 1 processes.\n", "INFO:ABC.Sampler:Parallelize sampling on 1 processes.\n" ] }, { "name": "stdout", "output_type": "stream", "text": [ "Completed — 1 populations, 158 total simulations\n" ] } ], "source": [ "history = run_abc_calibration(calib_context=calib_context)\n", "print(f\"Completed — {history.n_populations} populations, {history.total_nr_simulations} total simulations\")" ] }, { "cell_type": "markdown", "id": "f7855bf7", "metadata": {}, "source": [ "## Posterior analysis\n", "\n", "The posterior distribution shows how much each parameter value is supported by the observed data. A narrow posterior means the data is informative about that parameter; a wide posterior means it is hard to identify from this QoI alone." ] }, { "cell_type": "code", "execution_count": 5, "id": "b571d9fc", "metadata": {}, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
nameepi2infected_hfmmac_phag_rate_infected
id
20.3461531.159550
30.3540430.920385
40.4018991.447023
50.4517071.355795
60.3661630.875740
\n", "
" ], "text/plain": [ "name epi2infected_hfm mac_phag_rate_infected\n", "id \n", "2 0.346153 1.159550\n", "3 0.354043 0.920385\n", "4 0.401899 1.447023\n", "5 0.451707 1.355795\n", "6 0.366163 0.875740" ] }, "metadata": {}, "output_type": "display_data" }, { "name": "stdout", "output_type": "stream", "text": [ "\n", "Parameter recovery:\n", " mac_phag_rate_infected: true=1.000 posterior=1.132 ± 0.220 (relative error 13.2%)\n", " epi2infected_hfm: true=0.400 posterior=0.401 ± 0.057 (relative error 0.2%)\n" ] }, { "data": { "text/plain": [ "array([[, ],\n", " [,\n", " ]], dtype=object)" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAeoAAAHqCAYAAADLbQ06AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjkuMCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy80BEi2AAAACXBIWXMAAA9hAAAPYQGoP6dpAAC18UlEQVR4nO2dB3hT1RfAT9O9oECBUkYpe++9kSUgw4GgiIAMFfw7EUWUIQrujTIUUREQRVARAWXvvWfLXqUt0NLdJnn/79zkJTdpXpukGe/lnd/33S83L8nLfS9579x7pp8gCAIQBEEQBCFLNN4eAEEQBEEQ0pCgJgiCIAgZQ4KaIAiCIGQMCWqCIAiCkDEkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGQMCWqCIAiCkDGqE9SY3+XevXvskSAIeULXKUGoWFBnZGRA6dKl2SPhRnJyADp2NDTsE4QD0HVKEGYCuD5BuI7QUICdO709CoIgCMWjuhU1QRAEQSgJEtQEoXLmzp0L1atXh5CQEGjbti3s27dP8r2LFy8GPz8/i4af40G78rRp06BSpUoQGhoKPXv2hISEBA8cCUH4JiSoCfeAdunWrQ2NbNSy5ZdffoGXX34Zpk+fDocOHYKmTZtCnz59IDk5WfIzpUqVgps3b5ra5cuXLV7/4IMP4IsvvoB58+bB3r17ITw8nO0zNzfXA0dEuBudTgdbtmyBZcuWsUd8TrgZQWWkp6ejGyl7JNxIZib66xoa9glZ0qZNG2HixImm5zqdToiNjRXmzJlj8/3ff/+9ULp0acn96fV6ISYmRvjwww9N29LS0oTg4GBh2bJlirpOtVqtsHnzZmHp0qXsEZ+rnZUrVwpVqlRhv43Y8DluJ9wHragJ9xAcDLBmjaFhn5Ad+fn5cPDgQaaaFtFoNOz57t27JT+XmZkJcXFxULVqVRg0aBCcPHnS9NrFixchKSnJYp/ovY0q9aL2KTd+//13Zg7o3r07PP744+wRn+N2tYLH/sgjj8C1a9cstl+/fp1tV/O5cTckqAmXgzbKu3l6uNq+O5xu0RmO3syEe7kF3h4WYUVqaipTW1asWNFiOz5HYWuLunXrwqJFi+CPP/6AJUuWgF6vhw4dOphu3uLnHNknkpeXx+Km+eYtSCAVBv8nL7zwgs24dnHbiy++SGpwN0HhWYRLuHw7C7adS4E9F+/A3gt3IDUzr9B7qpUNgwaVSkHfxjHQv3ElCPCneaLSaN++PWsiKKTr168P8+fPh1mzZjm93zlz5sDMmTNB7gIJnedQIKEmwd/fH9TC9u3bC01crM/N1atX2fu6devm0bGpARLUhNPkFuhg/ckkWLbvCuy5cMfiNY1eB12vHYewIH84ULM53MrSwpU72aytO5kEH284B+O71IBHWlaBkED13PDkRHR0NBM2t27dstiOz2NiYuzaR2BgIDRv3hwSExPZc/FzuA/0+ub32axZM8n9TJkyhTm1ieCKGlXrnubdd98lgWQDdBp05fsIxyBBTThMZp4Wfth1Cb7dfgHuZhtU2n5+AG3jy0L7GtHQrkZZaFo2EELKDDJ+IBPuQiCcvnmPrbiX7LnMBPabq0/Awu0X4JvhLaFBbCnvHpQKCQoKgpYtW8LGjRth8ODBbBuqsvH5c889Z/cK9Pjx49CvXz/2PD4+nglr3IcomFHoovf3s88+K7mf4OBg1rwJqrTR+90e1CaQ+EmXK95HOAYJasJusvO18P3OS0y4phkFdGzpEHi0dVV4tFVViI0KNb8ZQ7KaNjX0NRooExoEHWpFs/Zs15rwy/4rMG/rBbh8Oxse+mYnvPdQExjcvLKXjky94Cp25MiR0KpVK2jTpg189tlnkJWVBaNHj2avP/nkk1C5cmWmmkbefvttaNeuHdSqVQvS0tLgww8/ZOFZY8eOZa+LquF33nkHateuzQT3W2+9BbGxsabJgBwRVd72ojaB1LlzZ6hSpQqz09syC+Dvjq/j+wjXQ4KaKBa8MP86dhPmrD0NN9MNsbA1osPh+R61YUDTWPDX+NlOIXrkiM39hQb5w6iO8Uwwv7D8CGw9lwIv/nIEjlxNg7ceaGB7f4RbGDp0KKSkpLAEJejshavgdevWmZzBrly5wjzBRe7evQvjxo1j7y1Tpgxbke/atQsaNGhges/kyZOZsB8/fjwT5p06dWL7tE6MoiQbLA+q5NUmkNBE8vnnnzNnOhTKvLDG5whO8tRkt/ckfhijBSoC1XAYLpKens4SNxBFcybpHkxbfRL2XTLYoCtHhcIrvevAwKaxLnEG0+kF+Py/c/DFJoONc0S7OHh7UEPTxU+oE09fp5i8A8Ow7GHlypXw0EMPgRpB8wBqHvhJDU5cUEir9Zx4AlpREzYp0Onh683n4avNCVCgEyAkUAMTutViDmCudP7C1fPLvetCzQoRbFX9057LUCEyGP7Xo7bLvoMgXKXKRs90NQskPHb0eEcNBNrp8byhdoFW0u6FVtREIU7eSIdXfz0Gp24aYll71q8IMwc1ZKtpu0Ebdd++hv4//xhU4cWweOdFmPHXKdZ/76HGMKxNNSePgFA6nr5O0UaNCU2kbLAI2mAvXbpEQonwOLSiJkzgDQpXtO+sOQ35Oj2UCQuEGQMbMjW3w6povR5g61Zz3w7Qbp2ckQdfbzkPb6w6zpzTutQp78SREITrbbD4OglpwhtQxgmCgZnDnlt6GKb9cZIJaVxFb3ipKwxqVtk5ezGG2qxYYWgOhN282qcuPNyiCugFgFd+PQq3bSROIQh3qXV/++035uVuvZLG7WpWefsaOoUVFiHVNwHnUzJhzOL9cOl2NgRo/OD1vvVgTKd4rzl0YSKVB77cAYnJmdC7QUWYP6IlOZepDG9ep3jTLokNtqSflwtKOA6dE2O05RCHkzHUmMh2MiaoDDlU5ZET+y7eFprOXC/EvbZG6DBno3Do8h1BDpy4nibUeuNvNq5ley97eziEh1Hqdeor1aWUcBwrnRgjvubn52fxGWy4DZucjo+HVtQq5u9jN+GlFUcgX6uHZlWj4NuRrSA6wkXZoVCVtGePod+uHRoBHd7F/K3nYc4/ZyA00B/WvtAZ4qPDXTM2QvYo8ToVi3lY31JFbZC71OeuXvl66zjcPUad0WFQKl5eTNqCFeDkpjkgQa1SMD/3lN+Psz6qlz8f1pwlInEZWVkAERGGfmYmQHi4UzHWw7/dw/KIt4kvC7+Mb0cqcJWgtOvUW0LA1WpcJQgznZNjRFs0listjs2bN8sujzs5k6mQlQevMa9q5Mn2cfDNEy1dK6QRFKi1ahmak8IVY6w/GtKUxXDvu3gH/jx6w7VjJAgvVJeSczlObxyHp8Z4U8GFRUhQq4y/jt6AV387CqhHGdWhOswc2NA9KTvDwgASEgwN+05SpUwYTOxWi/Vnrz0NWXlaFw6SIFyDp4WAu+pDK0GY3XRyjEouLEKCWkVsPH2LZf/C0KdhravCtAcaKEKVPK5LDVbL+ta9PPjSmGqUIOSEp4WAu1a+ShBmlZwco1hYROqeh9vlmsedBLVKOHcrA55fdpjZfR9sXhnefbAxaBRS/AJTluKkAvluxwUWTkYQcsLTQsBdK18lCLPOTo5RTGojvsf6M3IuLEKCWgWkZxfA+B8PQFa+DtrXKAcfPtLE/RWqcnMB+vc3NOyXkB71K0D3uuVZ3vG3jWlGCUIueFoIuGvlqwRh5l+CMSo2qY2gMpQan+ksWp1eGLlorylO+nZmnme+ODMTLWWGhn0XcCEl0xRbvSsx1SX7JOSJUq9TW7G9VatWdXl8rlarZd9jKyZYjAvG78X3yfk4SsLKEowRz8vmzZuFpUuXskdnz5OnoPAsH+fD9Wdg7ubzzHP6t2c6QKPKpT3zxQUFAD//bOgPHw4QGOiS3b61+gTLR94yrgz89kx7RdjYCXVdp57K6CV6fSO2cpOXdIXoq5nJlAgJah8GQ5qGLtjNlrWfD2vG8nYrneR7udDlw82QW6CHRaNawX31Knp7SIQbUNN1WhKoPrQ6oOpZPkp2vhYmG8OwHm1VxSeENFKhVAiM7FAd5m+9AB+uPwfd6lRQjFMcQbgaqg+tDkhQ+ygfrDvLimxUKh0Cbxo9pj0Kxm8eNyRVgcaNnUohKsUzXWrC0j1X4PTNe/D38ZswoGmsy/ZNEEoDhbLcMmkRroW8vn2QvRduw+Jdl1j/vYebQKkQ19iHHQI9vZs3NzQXeH3zlAkPYrHVyCf/ngOtzr561wRBEEqEBLWPgSUiX/3tGOtjUpOudcp7ZyDo0BIba2hucPh6qlM8lA0PgoupWZRalCAUjtLqQ3saxQnqGTNmMK9GvtWrV8/bw5IN326/AFfuGFTeb/Sv772BYNrQ69cNrQQpRKWICA6AsZ3jWX/u5kSWyIUgCGU6xGGRDSyY8fjjj7NHfO5MrnJfRXGCGmnYsCFznBDbjh07vD0kWZCckQvfbDnP+q/3recdlbcHGdEuDkqFBMD5lCxYdyLJ28MhCEIGhUV8EUUK6oCAAIiJiTG16Ohobw9JFnz67zmWfaxp1SgY0MT3HawiQwJhdEfDqvrLTQk2CxQQBCFP3FVYxBdRpKBOSEiA2NhYqFGjBgwfPhyuXLkCaudsUgb8sv8q67/Vv773Q5bQgWzIEENzsTMZz+iO1SE8yB/OJGXAxtPJbvsegiBcixJKasoFxQnqtm3bwuLFi2HdunXwzTffsOLgGDeYkZFh8/15eXkseQLffJF3155mVbH6NY6BVtXLens4hvCs334zNDfOiKPCgmBE++qs/+XmRFpVE4RCUEJJTdXFUeMNFFPabd68GZKTk0GvtwypsdcW0bdvX1O/SZMmTHDHxcXBihUrYMyYMYXeP2fOHJg5cyb4MtsTUmDbuRQI9PeD1+6XiWNdUBDAV1+Z+24EncoW77oIR6+mwY7EVOhc20ue7gRB+FRJTbngsRU12hpGjBjBVsAREREsPSDfnCUqKgrq1KkDiYm26xRPmTKFpSEUG6pSfI0vNxqO/Yl2cRBXLhxkAeb2njjR0FyU51uK6IhgGNa6GuuLznQEQcgbJZTUVN2K+qeffmKr5n79+rl0v5mZmXD+/Hk2CbBFcHAwa76cz3vfpTsQ5K+BZ7rWBLWCq+oley7DrvO34di1NGhSJcrbQyIIwo5ylejdjULZVmERb5fUVN2KGlfN6PxVUiZNmgRbt26FS5cuwa5du+DBBx9kP+Rjjz0GagRjiJFHWlWBiqVCQDagaSMhwdCszBzuoEqZMBhoTCU6byutqglCCSi2PrSvCmpMVIK24pycnBLtB70EUSjXrVsXHn30UShXrhzs2bMHypdXn13yxPV02HouBdDBG/Nfywr8nevUMbQS/ub28rRRo/DPiSS4kJLpke8kCKJkoDDGhRf6Ly1dupQ9oomUhLQXVN8oVDE9XIUKFVjWmUAru+WhQ4fs2s/y5cvdNELlrqZxJVmtnOuzf5WYEvgeOEPdmEjoUa8CbDyTDAu3X4A5DzXx6PcTBOHZwiI6ldSj9pigHjlyJBw8eBCeeOIJqFixoqQDAWEfickZsO6kIRvXhO61QHaEhwOkpXn8a5/pVpMJ6pUHr8NLPeuwspgEURRqudn72nn43UYtblSZo93b51bjgocICwsTtm/fLnib9PR09Fhgj0rm1V+PCHGvrRHG/bDf20ORHQ99vZOdm9lrT3l7KIrgq6++EuLi4oTg4GChTZs2wt69e+363LJly9i1NGjQIIvtI0eOZNv51qdPH1lepytXrhSqVKliMVZ8jtvVhNLOw8qVKwU/P79C/zPchk2u43YWj9mo0c2+VKlSnvo6n+ZuVj78ccRQMerpriV30PM1njXaqrFm9b3cAm8PR9b88ssv8PLLL8P06dOZ+alp06bQp08fluugKNCmiI6dUqEz999/v0U+fjR7yQ3KM63M86BTYepRjwnqjz/+GCZPnswucKJk/HbwGuRp9dCgUiloUa0MyJK8PIBRowwN+x7kvnoVoHaFCMjI08LSvZRetig++eQTGDduHIwePRoaNGgA8+bNg7CwMFi0aJHkZ/AGiKl70TlUKpIDQyL5fPxlysjrf6rGm72vnIftKkw96jFBjbZp9OarWbMmREZGQtmyZS0aYR96vQBL9l5m/RHt4+Rr69dqAX74wdCw70Ewz/n4LgYBsmjHRcjTyucmIyfy8/OZ30jPnj1N2zQaDXu+e/duyc+9/fbbzCnUViZAEawpjO/B6Ixnn30Wbt++DXJCjTd7XzkPN1WYetRjzmQYuE6UnK0JKXD5djZEhgTAoGYyrpCFXv0ffGDue5hBzSrDxxvOQdK9XFh16DoMa2PIXEaYSU1NZSsldO7kwednzpyx+RksKfvdd9/BkSNHJPeLam905omPj2fJiN544w2W+heFv5RzEubkxybi7pz8arzZ+8p5qKTC1KNuFdRo+5o1axaEh4ezi7ZDhw6sRCXhPEt2G1bTQ1pWhbAgGZ9LzO/96qve+/oADYzpFM+KlSzYdgEebVXV+xXFFA4WvsEMgAsXLiyytOywYcNM/caNG7Oc/KhJw1V2jx49bH7G0zn51Xiz99Z5cLU3eWdj6lG0odtS2aOWEV/3qdSj7vRUCwgIEJKSkgxeaxqNcOvWLcHbKNnr+8rtLKH662uYR/P55AxvD0f2ZOQWCI2nr2Pn65/jN709HNmRl5cn+Pv7C6tWrbLY/uSTTwoDBw4s9P7Dhw+zawc/IzbRyxb7iYmJkt8VHR0tzJs3T/L13Nxcdk2K7erVq269TrVaLfNqtuU5LHoPV61alb3Pl3H3eXCXN/lKo9e39bjJ69sJMLHJF198wVJ+4swHVV/btm2z2YjiQds0TiA7146GGuUjQNZg2tDr1w3NAylEbRERHMDs+GJaUSqBaUlQUBC0bNkSNm7caNqGVe3wefv27Qu9v169enD8+HGm9hbbwIEDoXv37qyPkR22QBso2qiLWpWh8xlGhfDNE3mmEWs/DzXlmXbneXCnN/lDaks96s5ZAM7UK1asyGY4uKIWZzvWDV/zFEpdUedrdUKLtzew1eG6EwpYHWZmolg0NOx7ieR7uUKdqWvZeduZmOK1cciV5cuXs/jpxYsXC6dOnRLGjx8vREVFmTRhI0aMEF5//XXJz2PMNB9HnZGRIUyaNEnYvXu3cPHiReG///4TWrRoIdSuXZutmpUQR40rSF9bkXn6PIgrdVurdFdqLLRarbB582Zh6dKl7NFXNSBuNXIOHjyYNaxwhTPks2fPMk9QwnG2nk2B21n5EB0RxNJkKgIZ+COUjwxm9umf9lxmJTA71JS2raqRoUOHQkpKCkybNg2SkpKgWbNmsG7dOpOD2ZUrV5gnuL3gyuvYsWPwww8/QFpaGsTGxkLv3r2Zr4ocq9jhymvQoEGKysilhPPgiDe5M6lDS5p6VGn4obT2xBeh+rtjx45edyZDb1Ks5IW1qZWUgOXZJQdZsQl0kHrrgQbeHo6iuHonG7p9tAV0egH+eq4TNK7i2RzkhG9dp0pLtekNMMHN448/Xuz7sAiHWisfOoLHpGbXrl2Z/evcuXMs6xH2ebp06eKpoSiOtOx82HjakCnq4RZVvD0cxVG1rKEE5qrD1+HrLYnwzRMtvT0kQqGoKr90CSCveoUKaixFiTOsy5fRIUoo5LQgp8w3cuOvYzchX6eH+pVKQYNYea0ulMKz3WoyQY2FTBKTM6FWBZk74xGyQ3SOsr5/ic5RPunE5CSqDKHyhcxkzzzzDLRq1QpOnDgBd+7cgbt375oaPiekWXnQMHt/uIWlh6OsweQVEycamodTiNqiTsVI6Fm/IvNum7/1vLeHQygMJaba9CbkVa9QQZ2QkACzZ8+G+vXrQ1RUFLM/8Y2wzfmUTDhyNQ38NX4s25ZiwLShX39taB5OISrFhO6GYh24sr52N9vbwyEUhBJTbXobqRAqfE7aB5kK6rZt20JiYqKnvs5n+P2Q4ebQtU555sGsGDBt6PTphuaFFKK2wAImHWuVA61eYB7gBOHLqTblgrUWgvIZyMxGjWEaIv/73//glVdeYSEgmFYw0OrmjWkGicIFODBPNfKQktTeYgrRGTNAbjx/X23YmXgbVhy4ChO714LYqFBvD4lQAOQc5bgHvJRN/8aNG2TTl1N4FsZfoj1C6ivE1zzpTCbnsA9r9l28A4/O380KcOyf2hNCAsme4wqGzt8Ney/egSfbx8Hbgxp5eziEAq5TvD9hpsXinKMuXryoGrtrUR7wGJON50vKXKDG8yXbFTX+CITz/H3sBnvs3SBGeUIab2bp6YY++iDIqBznCz1rw+ML98LyfVdhQrdaEFM6xNtDIhTiHIUrQevFhxqdo4rzgJ8xY4ZHEp6oBbfaqOPi4uxuIv379yc7D87g9QKsPZHE+g80UaA6LTsboEwZQ8O+jGhfoxy0rl6GhbxhDnCCsAfV5ZcugQc81niwB7rXy8yZzF6wQEdOTg6onf2X7kBKRh6UDg2EjrUo7aUrwRXQCz3qsP6yfVcg+V6ut4dEKAQUxpcuXYLNmzezrFr4iJpDtQhpez3gsQiLPajNpu8s3k/GTNhkjVHt3adhRVZbWXGEhQHk58sm57c16P3doloUHLqSBl9vOQ8zBjb09pAIhaCW/NIlXQWXLVuW5cmghCclR4ESwPfR6vSwzqj27t8kFhQJ2u3Qsx+bjOzT/I3ild51WX/p3itwPY20OL6qpt2yZQvLPY2P3kpIIpdxuAJ7V8GoHkco4UnJIUEtU2/v1Mx8iAoLhA41y3l7OD4LmhTQXo226i/+S/D2cAg3ODyh5zHWy8b0xfiIz0tSB1nJ43B1elBrASyC27E2+dSpU8mm7yJIUMuQNccNqqX7G8ZAoL9CfyJUe7/6qqGJKnAZMqmPYVX926FrcDE1y9vDIVzslWxtSxW9kj0lJKXGgc8ffvhhRQprR9KDkk1fYWUu7SUyMhKOHj0KNWrUUEV8pi21d5vZG+FOVj78NKYNdK5dHhRJVhZAhLHwRWYmQHg4yJUxi/fDxjPJrMLWF4819/ZwiBJep2LMs7djeIsbB1KuXDm4deuWIlXAtuKocSWNQpoEsWuR3XLtjTfeYE4IamXPhTtMSJcJC2RqWcWCtulJkwxNJilEpXi5t8ED/K9jN+BM0j1vD4fwkbzcxY0DQe/od999F5QIrZY9h1vdcf/880+73ztw4ED2OGXKFFAzG04lmZKcBChV7S2mEP3wQ1ACDWNLQ/8mleDvYzfhg3VnYdGo1t4eEuEDebnt3T/GHKM9V4mrarV7wPuEoB48eLDFc6mMPoiSvSBdBZ6bDSdvsX6fRhW9PRxV8UqvOszTftOZZNh9/ja0Jyc+xSKXvNz27h9X1ZShiygKty7Z9Hq9qW3YsAGaNWsG//zzD6SlpbG2du1aaNGiBaxbt86dw1AMx6+nQ9K9XAgL8ocONRWe5AQnZAUFhiYvNwib1CgfAY+3qcb6c/45zQqiEODTXsnujuHF/dtrxqMMXURReEy3ikXV0VOwT58+zDkEG/Y/+eQTeP755z01DFkjrqaxpKXicntbg2lDUf2NTWYpRKV4vkdtCA/yh2PX0uFvo+c9AT7tlezucYixxErN0OWK+G9fiiH3eUF9/vx5iIqKKrQdPTvRIYEA+PeUQVD3bkhqb2+A9b6f7lqT9T9cfxbytXpvD4lQeF5utD2jZ7cUnlrdeyv+29diyH1eULdu3RpefvllFooggv1XX30V2rRp4/R+33vvPfZnxxW7krmUmgVnb2WAv8YP7qvrA4IaU4jevWto2FcIYzvHM4F95U42LNlz2dvDIRTulYyr6gULFthUw8s5Q5cr4tDlEsvuC3hMUC9atIjZYapVqwa1atViDfv4o3333XdO7XP//v0wf/58aNKkCfjKarptfFkoHSbvcCa7wJsQalCwyTCFqBRhQQHwUk9DuNYXmxIgPbvA20MiXOCV/Nhjj7FHbwhEcXWPq3klZOgqrjoWNnzdWoXNq7g3btzITJpFVdjCxRWpwe3DY9USUDAfO3YM/v33Xzhz5gzbVr9+fejZs6ek00dRZGZmwvDhw2HhwoXwzjvvgO+EZfnAalrhPNqqCizedRHO3cpkwvqtBxp4e0iEwkFhPGjQIObdjQsWtEmjultuK2l747/xdYz/njZtmmTyk6KgetSO4dGyRiiQe/fuDV26dIHg4GCnBLTIxIkTWe1qFPRKF9SpmXlw8PJd1u/VMAZ8AkwbOnu2of/GGwanMoWA8etT+zeAkYv2wY+7L8ET7eIgPlq+mdUIZaCUmGN7PdCnT58OjRo1Yn1UZTuT5NIb3u46nU4REyavqL4xRGvWrFnMuSMiIoLZipC33nrLYdX38uXL4dChQzBnzpxi35uXl8fSEfJNbmw6nQwYDdSocimoHBUKPgGGZc2caWjYVxjoed+tbnko0AkwZ+1pbw+HIDyGIx7ouIqWUnG7+rtcgVKd2zwmqHHVu3jxYvjggw8giFtd4Yzs22+/tXs/qC7BP8fPP/8MISEhxb4fhTl6losNPSzlxr+nDfbpXvV9ZDUt1qCeMMHQZFiP2h6m9qvPnPs2nLrFkqAQhJri0O0BVd3oZ+Qo3vB2/13Bzm0eK8qBNmp0/OrRo4dF4Q20V7dv354VGLeH1atXw4MPPmihqkBVBv7wGo2GraD51/A5NhFcUeMfRC5FOXILdNBi1r+Qna+DNf/rBI0ql/b2kAiOt1afgJ/2XIaGsaXgz+c6McFNuB+5F8/xdVBoYXUvdyCaPD3pSKeTSaEW2a+ocdaCwtqWSrzAAdUoCvrjx4/DkSNHTK1Vq1bMsQz71icZbeFighWxyYm9F+8wIV0hMpgJA0JevNizNkSGBMDJG/dg5SH7HGUIQumgAJ2JZis34A1v9+0yKdTiLB7TSTZo0ICdhLi4OIvt+IM1b25/aUFcjYsODCLh4eEsqYD1diWw+Uwye7yvXoUSOdcR7qFcRDD8775aMHvtGfho/Vno37gShAcrU5VPEI4ma8GomqJWoehzhELuxo0bNu3U4nvQ7JmcnOw1562bMinU4iweu+OgG//IkSPZyhpX0ahaOXv2LPz444+wZs0aUCP4x954xmCf7l6vAvgUWI9azESXlibretTFMbJDdViy5wpLgjJ/63l4uXddbw+JINzuwSymYkX7LWKroJKYqhXfI1V0Cd+DmlBvUslOp7UKFSqwWHDZeYQLHmTbtm1Cz549hfLlywuhoaFCx44dhfXr13tyCEJ6ejr+k9ijt0m4dU+Ie22NUPuNtUJmboHgU2Rm4iVraNhXOGuP3WC/Vd031wrX72Z7ezg+j5yuU6+g1QrC5s2CsHSp4RGfW7Fy5UqhSpUq7DyJDZ/jdldi63uqVq1q8T32vMebaLVaNj4/Pz+LMYoNt5crV06oXLmy28+nM3hUUMsBOd0A5m9NZDf/J77dI/gcOp0gXLtmaNhXOHq9Xhgybxf7vV5YdkjwJb766ishLi5OCA4OFtq0aSPs3bvXrs8tW7aMXUuDBg0qdK7eeustISYmRggJCRF69OghnDt3TrHXqcdBwVClinmiiw2fWwlGW0IHt2FztXBBQbd582Zh6dKl7BGfO/Meb7LSeM6sz5uU8Hbn+ZStoI6PjxdSU1MLbb979y57zVPI6QbwqPHGv2jHBW8PhbCDY1fThOqvr2G/2ZErdwVfYPny5UJQUJCwaNEi4eTJk8K4ceOEqKgo4datW0V+7uLFi2z10blz50KC+r333hNKly4trF69Wjh69KgwcOBAdo3n5OQo8jr1KCgQ/PwshTQ23IZt5UrT6rAo4YKrWbkJSjmwUkILgatpOZ9PjwlqPFhbF39SUhK7UXgKudwA0rLzhRpT/mY3/UupylcNq4WXfjnMfjOcZOHKUengCnrixImm5zqdToiNjRXmzJkj+Rm8YXXo0EH49ttvhZEjR1oIajwnuJL+8MMPTdvS0tLYah1X4Eq7Tj0KCgLrlbS1sK5aVdj833+SQoVvuKolhGJX/v8p4Hy63Znszz//NPXXr1/PYiN5RwhM3o7xbWpje0IK6PQC1CwfDnHllOtoVWQKUaOjCWBNXgWlEC2KSb3rwppjN1lY3eazyXBfPeXmZs/Pz4eDBw/ClClTTNswFwGm5d29e7fk595++23mdDNmzJhC4SwYh5qUlMT2IYLXfNu2bdk+hw0bZnOftvIdqA48l0XlykZxffUq6LZsUbQHs9xSuS5btkz259Ptgnrw4MEmD0D0+uYJDAxkQvrjjz8GtYFpQ8WwLJ8EY+MnTzb0MTuZjwjq2KhQeKpjPMzbeh7mrD0DXWqXZ7nBlUhqaiqbLFesaDnZwOdi4RxrduzYwVL+Ys4CW6CQFvdhvU/xNakMgu6K21UMdgqCSjJNz6lUKinAI9ztdxgMxcKGJS0xjk58jg1n0Bii9cADD4Ca0OsF2HouxTfDskQwbShOzLApNIWoFM92qwlRYYGQkJypqiQoGRkZMGLECBZbGx0d7dJ946oes5CJDZNPKBG+1CM+OlTG0U6BUbdbN5Y0RCrvgjfSc/pCylS/Is4n5ukYNWqU13KEe2wpgCoxV1/cSuXEjXS4nZUPEcEB0CquLPgkwcEAixcbGvZ9iNKhgfBcd0OWvU/+PQc5+cqsqYvXI64Ibt0yxPKL4POYmMJ558+fPw+XLl2CAQMGQEBAAGuYBwHNW9jH18XP2btPpWQQ9EjBBxSsmGNbKvERbq9aFfy7dTPFL1sLF/H5Z599Jo/4XwXgb4wXlzqf6Mt1+/Ztr+YI95igxgorX3zxRaHtX331FSsgria2njWspjvULAdBAcpUm6qdEe3joEqZULh1Lw8W7TRUglMaWBynZcuWzE9EBDVd+Bzz71tTr169Qul7Bw4cyAQS9nEVFx8fzwQyv0+0N+/du9fmPn0FlxR8QMEq+nVYC2vx+Wefsfdh+k3M6ohZv7ydntMXeEjifOJzXE3bwuiMzeSXQ5oTZ/CU1xp6kh44cKDQ9oMHD7IwD08hB2/Sh77eyTyHf95z2WtjIErO74eust+xyYz1wr2cfEGp4Vnokb148WLh1KlTwvjx41l4FkZjICNGjBBef/11yc9be32L4Vm4jz/++EM4duwYe92Xw7NcHi5lK466alWLOGqlxC4rDa1MPcI9ZjxE1QHv8S2CKi50alEL6dkFcPiKoVJY17rlwWfBFKLi7BTL4Ck4hagUA5tWhrmbz0NiciYs2nEJXuhZG5TG0KFDISUlhaX4RWevZs2awbp160zOYFeuXGGe4I4wefJkyMrKgvHjx0NaWhp06tSJ7dOesrRKxJGCD7y3sSS4Gh40yOAFjg5maLtGtbgNVba1B7O704r6Ov5W5xPLKduDM6U+HcFjghorZ+HF+txzz1ls/+eff1i5S7WwPTEF9AJA7QoRUDkqFHya9HTwZbDkJVbXem7pYfh2xwUY1aE6lA4LBKWB16T1dSmCDlFFgcUWrEG7HoZwYVMDbin4gILVHqFuBarYX3jhBYuJA6rD0QZL6nDHwUmsK98ne0H98ssvs5sBHtB9993HtqEdC0Oz0PFBbfbprnV8eDWNhIYCnDtn7vso/RpVgroVE+HsrQz4bscFKtihQuwN73F3uJRoJ7euYiXaycl27Tjly5d36fucxWOeTE899RQTyhiDic4n2JYsWQLffPMNjBs3DtQAXkBiWFa3uj4aliWC6tLatQ3NQdWpktBo/OClXgaV96Kdl+BuVr63h0TIMLzH3eFSqO7GlbStUpPiNo84PfkYla2cy0r6Pmfx6B302WefZSoZDNVAT9ALFy7Ak08+CWrh9M0MSM7Ig9BAf2gdX8bbwyFcRO8GMdCgUinIzNPCgu0XvD0cQmbhPZ4Il3LETk44PgkrCk/ErHtUUGu1Wvjvv/+Yikac5WHB8czMTFADW84lm8KyggN83LkDM5PNnWto2PdhDKvqOqz/0+7LcC/Xt4+XKIy3w6XcYicnQJyEFaUt8UTMuscE9eXLl6Fx48YwaNAgmDhxosn4/v7778OkSZNAVfZpX/b25nN9o4MSNuz7OD3qVYA6FSPYqnrp3iveHg7hBVAYY0KYzZs3w9KlS9kjJnryhF1YLnZyX56EVbFaWeNK2lN2f485k6H9pFWrVnD06FGLAPIHH3xQFTbqjNwCOHj5rjocyRCcYT7yiLnv4+CqenyXmjDp16OwaMdFGN2xuu9rTQi7wqU8qaJFxzFbdmpc+eHrlFbUOVAY4yLTW2FvHhPUeIC7du1i2ZB4MMWeu2PQ5MDu87dBqxegerkw36yWZQ3GzP76K6iJgU1j4aP1ZyHpXi6sPnwdhrau5u0hEQqiJPHPoooWvbvFtJcilFZU2ZMwj6q+MTWhLY9DdICIjIwEX2dbgkHt3UUNq2mVgulgx3SKZ/352y6w4iuE71KiAhyuzhMuAzs54QOCunfv3hbx0jjLQyey6dOnQ79+/cDX2XbOkH0NyyISvstjbatBZEgAXEjJgv9OWxamIHwHVwhWl+YJl4GdnHAffphHFDwA/gn79OnDVDIJCQnMXo2PWMFn27ZtrNanJ8CwMExliqX0PFWh51JqFnT7aAsE+vvBkWm9ITzYt8o+2iQ72xBDjSQkAISFgVr4YN0Z+HrLeWgZVwZWPtvB28NRJN64TkuaWERUMTuyesVVOAp4qdAq0baMwpbU1urFYytq/LOhI9nUqVPhpZdegubNm8N7770Hhw8f9piQ9rbau0W1MuoQ0gjexG7cMDTPzAVlw6iO1SHIX8OcB49f8+00qmrD1YlFKP6Z8LqgbtGiBdy9a/B0xry/+fn5MHz4cPjggw/g66+/hrFjx0KoD6eXLKT2VpN9Gp3JDh82NB8txiBFhcgQ6NfYUHv5pz2XvD0cwoW4WrBS/DPhdUF9+vRpVkUHmTlzpmoSm/Dka/Ww+3yqesKyRFBN16yZoalQZYf1qpE/jtxgFdMI38DVgpXinwl7cKseFkvmjR49mpW5w5nmRx99BBERETbfi2X2fJFDV+5CVr4OyoUHsTSThDpAM0f9SqXg9M178OvBqzC2s3oqxPkyrhasFP9MeH1FjSXwMLnJmjVr2B8OS1quWrWqUFu9ejX4KtuMRTg6145mSTFUA6YNxRKI2Hw8hagt8P8+op1hVf3z3isUquUjuLoAhxzyhBPyx2Ne31h8HgvTe9txzNPepAO+3AHHr6fDx0OawsMti07u7lOgyUPUnqDJI1wFSV6syMrTQrvZGyEjTws/jWkDnSk0z6e8vhFbiUWciVm2VUcaBT4KaQqtIjya8MTbQtrT3M7MgxM3DF6/netEg6rAFQDGx2NT6WoAPfzFydmPuy97eziEi3BHYhGKfyaKwqOxQhg3jX/A5ORkJrh93Ua9IzGVRSahrRI9gVUFenr//TeonSfaVYPFuy7BxtO34EZaDsRG+X6UgxrSfObl5THTHoL3M1fkfvZmikpC3nhMUC9cuJDVo8YEJzExMRb2GOz7oqA2h2WpbDVNmKhVIRLaxpeFvRfvwO+HrsFz9xmTwBCKw5Z6GlfRaGMmAes7KWG3bNnCnuNvik0O/gEes1HHxcXBhAkT4LXXXgM12L7wtLadvRGSM/Lg57FtoWMtEtZq5dcDV+HV345BfHQ4bHqlq6QjEiFfG7Urs5H5QhEQX+P333+H8ePHw+3bty22ozP0ggULvP7besxGjYlPhgwZAmrh3K1MJqRDAjUslaTqEFOIYsO+iunbuBKEBvrDxdQsOHQlzdvDIbycjczXcpUrnd9//x0efvjhQkIawW34mrfPi8cENQrpDRs2gFrYbkwb2ja+HIQEqnCWijewxERDU1kKUWsiggOgrzFT2cpD0lmtCHnia2k+XVkExFcmYcWB7/HmRMxjNupatWrBW2+9BXv27IHGjRtDYGCgxevPP/+8Xfv55ptvWEMPSaRhw4bMvt23b1+QE9sSUk3x06oEncl27DD3Vc4jLarA74euw19Hb8C0Bxqoc/KmUHwpzWdx2gFU5aN2YNCgQapQg28vZhImgu/B93rLF8Fjghr1/JiVbOvWrazx4J/DXkGNzhtYzKN27drsj/XDDz+wPxUW90ChLQdyC3Sw98Jt9aUN5cGLvGNHb49CNrSrUQ4qR4XC9bQc+PfULRjQNNbbQyLsxJfSfDqiHVCDg9xNByZX3pyIeUxQY0ygKxgwYIDF83fffZetsHGlLhdBvf/SHcjT6iGmVAjUqmA7ZSqhLjAr3UMtKsOXmxKZ+psEtXLwpTSfvqQdcAWOTK68ORHzmI3aXWqc5cuXs8If7du3t/kejHdED1K+uZvtnNpbtR6+Wi3Ar78aGvYJeKhFFVNa2eR7ud4eDmEnvpTm05e0A66chBWHtydibl1Rv/zyyzBr1iwIDw9n/aL45JNP7N7v8ePHmWDOzc1l6nTMF96gQQOb750zZw6r3OWV/N5qVXsjeXkAjz5qTiEaoJI63EWA4Vmt4srAgct3WVWtcV2oUIfSspHZiqNWUppPZ7UDvhzKNW7cOJg+fXqR78GJmjeP1613T7QbFxgLMmBfCkdXnXXr1oUjR46wGEu8eEaOHMns3raE9ZQpUywmCbiixhy67gJXSmeSMgAPqZOaY6c1GoCuXc19gjGoeWUmqNccI0GtNFAYoz+MkgWWqB1A726879rKVW6tHSgq0YtSJii2sHVc1sgljhp/KMXTo0cPYfz48Xa9Nz09Hf+Z7NEd/HbgqhD32hphwJfb3bJ/QtmkZOQK8a+vYf+Ry6lZ3h6ObHH3depOtFqtsHnzZmHp0qXsEZ/LjZUrVwpVqlRh51hsVatWZdut3+fn52fxPmy4DZv1+5XCSonjEtvDDz8s/Pfff7L57XxiqYN5w9EWLaf4aVWvpglJoiOCoX3Ncqz/93F1OOyoCaUkErGnCIgvJnop7rhEzcK+fftMXu+YUnTZsmXs0VvH6hFBffToUXjnnXfg66+/htRUg6MVr4p+6qmn7N4XqrK3bdvG/mRoq8bneAKHDx8O3gZrDmMhDqSLmu3TRJE80MTg8Y3qb8J3UFoiEbEIyGOPPWYzp7WvJXpx9Lgwokguky63C2rMRtamTRvmnf3+++9DvXr12OxNJCcnh8VC2wtWqnnyySeZnbpHjx6wf/9+WL9+PfTq1Qu8zamb9yA1Mx/Cg/yhRTUVpg3lyckBaNbM0LBPmOjTMAb8NX5w8sY9llbU28ydO5fdgEJCQqBt27ZsNSEF3qRatWoFUVFRzEm0WbNm8NNPP1m8Z9SoUWxVwrf7778ffBlfXH36aijXTTvHiw5mcpl0uV1Qz5gxAyZNmgQnTpxgq+DJkyfDwIEDYd26dU7t77vvvmP7QVU3Cu3//vtPFkKaD8tC1WZQgE9YFZwHy5gePWpoViVN1U7Z8CBTkZa/vbyq/uWXX5izJd6UDh06BE2bNoU+ffqwa8sWZcuWhalTp8Lu3bvh2LFjMHr0aNZwssyDghlviGJD1aEv44urT18N5apUgvF6a9Lldmly8uRJk2obZ9YoqOfPn89mJWvWrAFfQrRPd65Nam+WNhRzu2OjFKKFeKCx4Wax5ph3VyMYFonhKShsMWpi3rx5EBYWBosWLbL5flSRPvjgg1C/fn2oWbMmW0U2adIEdojpYo0EBwezcrZiK1PGtzVMvrj6FEO5pKJycDtG0Cgh0Ysjx1Uc3ph0uV1Q4wWblmZZMQj1/d9++y0MHTqUxUD7Atn5Wjhw6a6683vzoL0LNR3YFBS+4kn1d6C/HwvlS0zO8MoY8vPz4eDBg9CzZ0/TNo1Gw57jitmeG9bGjRvh7Nmz0KVLF4vX0G+kQoUKzESFdehtVSbyJXx19YmTOKl4ayUlenE0gY3cJl1uF9Row+Jt0iLDhg1jwtreHN9yZ++FO5Cv00OVMqEssQVBFEXpsECT5sVbq2p07ET1XcWKFS224/OkpCTJz2H+Akw0FBQUBP3794cvv/zSwvyEau8ff/yRCXH0S8EcB1g0pyhVoTcyCLoSX1t9it7rUolA8FiVWIPbOoFN5cqVwfq47E2Q5clJl9vTReFsGr20bYHehjhbW7hwISidrWI2strl1Zs2lAfThop2yz59KDOZDfo3rgSbziTDuhNJ8GLPOqAUIiMjWcKhzMxMJozRxl2jRg1TOAtOwkWwUh6qxlFNjqtsdACVSwZBbycSkbv3ulT4Ev5O6KeghGNxJoENgjJJVrndBZXhrkQK9320mSWx+Of4DZfuV7FkZuJf3NCwTxTiblaeUGPK3+x/cynV8+coLy9P8Pf3F1atWmWx/cknnxQGDhxo937GjBkj9O7du8j3REdHC/PmzZN8PTc3l12TYrt69aoiE57Ym0hErklZ8NF6/NaJTvB45JIIxN0JUayTongr0YvKXZNdA5YuPJ+SBRo/9Pgm+7QpbWirVoZGKURtEhUWBG3jy7I+lr70NKi6btmyJVsV88mD8LlUkRtnEg6hNzTaqItSFaIvS6lSpSyaErEnkYick7L4gve6TqcrcZKSolTjXlH5u3MWUKZMGSElJYX1o6Ki2HOppuQV9bK9l9mq6MG5O1y2T0IdfL/jAvvvDPlml1e+f/ny5UJwcLCwePFi4dSpUywVL16rSUlJ7PURI0YIr7/+uun9s2fPFjZs2CCcP3+evf+jjz4SAgIChIULF7LXMzIyhEmTJgm7d+8WLl68yNIwtmjRQqhduzZbNashhaicKS4l6Isvvii5muYbrsSVotGoUqWK0ytguaSDdavh8NNPP2X2LNE+46uI8dOUjYxwlF4NY2DGX6fgwOU7kJqZx1KMehKMvEhJSYFp06YxBzJ0/sQcB6KD2ZUrV5gnuAiWlJ0wYQJbdYWGhrIERkuWLGH7QdBuifHVmMQIoz1iY2Ohd+/erIoerpoJ+SZlQdvrzz//rFjv9d8lbOtikhJnVsJi9jZv44fSGlQEepOWLl2aea66Qr2m1emh5Tv/QXpOAax8tgO0jPPteFHC9Tzw5XY4cf0efPBwE3i0tfsqu6n5OiUMIXOo5i6O6OhoZqooypEK1flycibT6XRMfS+ltpfruO1F4+mTibManF1jW7lyJWjRO1jBHL2WzoR06dBAaFqltLeHIx8wbWjHjoZGKUSLpE+DGPa44ZR0SBRBlBR7436feOKJImOM5ei9vt0HbOuyENSYoaxOnTqsdjQmOcGG/dq1a7P0okpl2zlztawAf3KaMoFpQ3ftMjRKIVokvRsaBPW2hFTIylP2xJWQL/aqqzFkSVaOVCrNDMfjseDWsWPHQsOGDeHAgQOmdIJ3795lCfzHjx8Pu/CGruD46S51yNvbArRHilnnyDZZJHUqRkBcuTC4fDubTfz6GtOLEoQ7krLYEx+MK2ZbMcZyW0n7emY4jwtqTJDAC2kE+1hKrHXr1qBE0rLz4dg1Q3pUciSzAhOcDB7s7VEoArxB9m5QERZuvwgbTt0iQU3IIilLUY5UaMaUkxDv7MAkRIl4TFeLau9btwrHimKVnlq1aoESwdrTesGwIqpUOtTbwyF8QP298fQtKNCRqYBwD66IDy4qDlvO+bs/k6FtXXaCGlMEYl5v/DOg0R8b9rFcGOYDVmKO361nDWrvrrSaLgwmGdiyxdAUVIPXW2D98tbVy8DwdnGQW0Dni5BnUhYxBEoudZplnaREieFZfCymOMMRv5p/jn131vl0VdgHjrXdnI1w614e/DSmDZW2tCYrCyAiwtDPzAQIp0IlhP1QeJb8UEoIlE5manlF2ahtVdBSMmdvZTAhHRKogdbVDWkgCQ6cfDVoYO4TBKFoHAmB8maSEH+ZJClRpKDu2rUr+wHnz58P58+fN6kofvrpJ4iPj4dOnTqBEsOy2tUoByGByp6tuYWwMIzJ8/YoCIJwEb4eAiVnPGajxuQmffr0YWkHDx8+bErij6qt2bNng1LDssg+TRCEGvD1ECg54zFB/c4778C8efNYnc/AwEDT9o4dO8KhQ4dASWTna2H/xbusT2FZBEG4q4qTnBBDoKy9qkVwe9WqVRUbAiVnPCaoz549C126dCm0HR1GMHm/ktiVeBvydXqoWjYUakSTk5RNMG1or16GRilECZUJQDmGMJUUXw+BkjMeE9QxMTGQmJhYaPuOHTugRo0aoCS2nEtmj93qVJCcXaoeTBv633+GRilECRUJQDmHMJUUXw6BkjMecyYbN24cK7G2aNEiJtxu3LgBu3fvhkmTJsFbb70FSgE9GzefMdinu9UltbckmDZ0yRJznyBkWMbQG6UkMXcEpudU6soTz7GS0ov6Ah6Lo8avQacxTHySnZ3NtmF9WhTUWElLKfGZickZ0POTbRAUoIEj03pBWJDH5joEoRqsr1OlxPDaW0oSw1V9LYSIcB8eU33jhTR16lS4c+cOq5a1Z88eVrDek0LaFWwxZiNrG1+WhDRBeAillDGkECbCHXhc0gQFBUEDMRGGAtl81mCf7l63greHIm/QwUf05m/RAj1RvD0iQsEoRQBSCBPhDqiAsgNgreB9F++wPtmniyE3F6BNG0PDPkGUAHsFW0JCAngTCmEi3AEJagfYmZgKBToBqpUNg3gKyyoavFHFxRkaecYTbhaAIjNmzKAqToTPQYLaAbYYs5F1r1uewrLsSSF66ZKhYZ8gXCAA7fF9Ra9qb8ZWUwgT4WpIUNsJ3iDEspbdyD5NEB4HBdzMmTOLfI9cnMpKUkqSIKwhQW0nCcmZcD0th4VlYSEOgiA8T+3atRXhVOaLpRYJ70GC2k42nTF4e7evUQ5Cg+iCKxZ0IBs82NDImYxQkVe1ErKnEcpCcYIaE6a0bt0aIiMjoUKFCjB48GCWR9zdbDptENQ965Pa2y7QRvjHH4Ymw1zMhDKRu1e1L6cPJbyH4gT11q1bYeLEiSxhyr///gsFBQXQu3dvyMrKctt3pmXnw4HLhrCs7vVIUNtFUBDAggWGhn2C8HGv6uLSh8rB0Y1QJh5LIeouMLsZrqxRgNuqzuWKFKJ/HLkOLyw/AvViImHdi8V/B0EQJaO46xRXpigU+ZUrrqRRSHvLYYvShxLuQvE5MPFCRsqWLeu27/jPqPa+j1bTBCEL5FgYQinZ0wjloWhBrdfrmSqpY8eO0KhRI5vvycvLY42fqTtCgU4PW41pQ3uQfdp+sLTl6dOGfv36ABrFWVkImYNCWU4rUyU4uhHKRNF3T7RVY4GP5cuXF+l8hio0saF6zBEOXr4L93K1UDY8CJpVLeOCUauEnBwAnDxhwz5B+Dhyd3QjlItiBfVzzz0Ha9asYfYevDikmDJlClOPiw2TITgTloW5vf01lI3MIaKjDY0gVICcHd0IZaM4QY2+byikV61aBZs2bYL4+Pgi3481r9EZhW+OsPH0LfbYo17FEo1bdYSHo6efoWGfIFQApQ8l3EGAEtXdmJLvjz/+YLHUSUlJbDuqtUNDQ136XZdSs+B8ShYEaPygcx1aGRIEoUxHN09BGdncg+JW1N988w1TYaMTCf4RxPbLL7+4/Ls2GtXebeLLQqmQQJfvnyDkwNy5c1nmrJCQEGjbti3s27dP8r0YFtWqVSuIioqC8PBwaNasGfz000+FtF7Tpk1j1yVOnnv27On18pPecnR77LHH2KMahBVlZHMfihPUeBOw1UaNGuXy7/r3lGG13qM+qb0dBtOGDh9uaJRCVLbgBPfll1+G6dOnw6FDh6Bp06bQp08fSE42TFKtwTDIqVOnwu7du+HYsWMwevRo1tavX296zwcffABffPEFzJs3D/bu3csEOu4zl/4HPgtlZHMvik944ij2Jjy5m5UPLd/5F/QCwPbJ3aFqWSrV6BCYKS4iwtDPzCQ7tUzBFTSm5P3qq69MIY/omfy///0PXn/9dbv20aJFC+jfvz/MmjWLTZpjY2PhlVdegUmTJrHX8VqrWLEiLF68GIYNG2bXPp1JTER4T92NK2drIc070qGNHquHqUGz4A4Ut6L2FKj2RiFdv1IpEtLOgGlDP/3U0CiFqCzJz8+HgwcPMtW0iEajYc9xxVwcKJQ3btzIcu2LWQHxZox+I/w+UeDihMCefRLKA23SUkJaTqVHlYzinMk8xYaTBrV37wak9naKwEBMbOztURBFkJqaylZDuNrlwednzpyR/ByuctGrGRMJ4Qrp66+/hl69erHXROdOW/sUX3NHYiLCe1BGNvdDgtoGOfk62JaQwvq9G5KgJggejLY4cuQIZGZmshU12rhr1KhRoixhmJho5syZLh0n4RkoI5v7IdW3DXYkpkJugR4qR4VCg0pkH3M6heilS4aGfUJ2REdHsxXxrVuGXAEi+DwmJkbyc6ger1WrFvP4Rls0OguhoEXEzzm6z5ImJiJcD2pbsNDIsmXL2KNU1S/KyOZ+SFAXpfZuWFHyz0cUA6YNxWQ02CiFqCwJCgqCli1bslWxCDqT4fP27dvbvR/8jKi2xgREKJD5faIaG72/i9pnSRMTEd4LtaKMbB5AUBnp6eno5c4ebVGg1QnNZq4X4l5bI+xKTPX4+HyGzExBCAszNOwTsmT58uVCcHCwsHjxYuHUqVPC+PHjhaioKCEpKYm9PmLECOH11183vX/27NnChg0bhPPnz7P3f/TRR0JAQICwcOFC03vee+89to8//vhDOHbsmDBo0CAhPj5eyMnJcdl1SriPlStXCn5+fuz88w23YcPXpT5XpUoVi89UrVpV8v2E/ZCN2kYRjrvZBRAVFgitq1MRDqfBcCwM0SJkzdChQ1lNd0xQgs5eqM5et26dyRnsypUrTNUtkpWVBRMmTGBevpjMpF69erBkyRK2H5HJkyez940fPx7S0tKgU6dObJ+YUIWQN6jexjrftqJ2cRuukLFiIWZes14hqzkjm7uhOGorZq05Bd/tuAgPtagMnzzazCtjJAi1Q3HU3gFt0ajmLg4shiSnEqO+Dtmordh38Q577N1A2vGFIAjCF6FQK3lCqm8rVk3oAPsv3YWmVUt7eyjKBp2LnnvO0MesV8HB3h4RQRDFQKFW8oRU34R7oBSiRAmg69S76UAxR7ct0UDpQL0Dqb4J92Ume+cdQ8M+QRCyh0Kt5AkJasI9YH7vqVMNjXJ9E4RiQO/t3377jaWJ5cGVNG7H1wnPQqpvgiBkB12n8lCDU6iVPCBnMsI94PwvNdXQj45GvZm3R0QQhAOgUKYQLHlAgppwD9nZABUqGPrkTEYQBOE0qhPUoqafyui5GT4rGZ5riYT+hHPVq3w9Bz1dp4SSiXTxNao6QZ2RkcEesZoL4SFiY709Ap9CDXZbuk4JJZPu4mtUdc5kWOnnxo0bDs94cGaPNw0sv+frN0lXQefMPedMDStqR69TX/yv+dox+drxFHVMtKIuIVhgAMMMnIVK8DkOnTPHUfs5c/Y69cXz5mvH5GvH44ljojhqgiAIgpAxJKgJgiAIQsaQoLaT4OBgmD59Onsk7IPOmePQOXMOXzxvvnZMvnY8njwm1TmTEQRBEISSoBU1QRAEQcgYEtQEQRAEIWNIUBMEQRCEjCFBTRAEQRAyhgQ1x9y5c6F69eoQEhICbdu2hX379km+9/fff4dWrVpBVFQUhIeHQ7NmzeCnn34CteHIOeNZvnw5y9wzePBgUBuOnLPFixez88Q3/JwacOQ8YZUn6/OErX///qb3jBo1qtDr999/v0eOZdu2bTBgwACIjY1l37t69epiP7NlyxZo0aIF8yiuVasW+y+46vrz9PHg/bJXr15Qvnx5lhikffv2sH79eov3zJgxo9DvU69ePfAUjh4T/j62/nNJSUku/41IUBv55Zdf4OWXX2au9ocOHYKmTZtCnz59IDk52eb7y5YtC1OnToXdu3fDsWPHYPTo0axZ//l8GUfPmcilS5dg0qRJrL6t2nDmnOGNDWsCi+3y5cvg6zh6nlAQ8OfoxIkTrEzjkCFDLN6Hgpl/37JlyzxyPFlZWewY8KZtDxcvXmSTjO7du8ORI0fgxRdfhLFjx1rcX5y9/rxxPCgEUVCvXbsWDh48yI4LheLhw4ct3tewYUOL32fHjh3gKRw9JpGzZ89ajLmCWDXQlb8RhmcRgtCmTRth4sSJpuc6nU6IjY0V5syZY/c+mjdvLrz55puCWnDmnGm1WqFDhw7Ct99+K4wcOVIYNGiQoCYcPWfff/+9ULp0aUFtlPR6/PTTT4XIyEghMzPTtE0u/ze87a5atarI90yePFlo2LChxbahQ4cKffr0cek9y1PHY4sGDRoIM2fOND2fPn260LRpU0EOgB3HtHnzZva+u3fvSr7HVb8RragBID8/n83yevbsaZFrGJ/jirk48HfduHEjm1l16dIF1ICz5+ztt99mM84xY8aA2nD2nGVmZkJcXBxL/j9o0CA4efIk+DIlvR6R7777DoYNG8bMUtbqSvz/1a1bF5599lm4ffs2yBE8Tv74EVyJicfvinPk7aIrWCENNZM8CQkJTPVco0YNGD58OFy5cgXkDpo9K1WqxDQGO3fuNG135W9EghoAUlNTQafTQcWKFS2243Nre4N1KbOIiAgICgpiaqovv/yS/VhqwJlzhmosvIEuXLgQ1Igz5wwFyqJFi+CPP/6AJUuWsBtchw4d4Nq1a+CrOHs9iqANEFXfqCq2Vnv/+OOPbFL9/vvvw9atW6Fv377su+QGHqet48dqTTk5OSU+R97mo48+YhPQRx991LQN7bdoh1+3bh188803TP2P5rEMY8lTuYHCed68ebBy5UrWcCKNvhKo4kZc+RuprnqWK8FSZmg/wj8cXvxoi8CZIP5YhCV4sY0YMYIJ6ejoaG8PRzGg0w02ERTS9evXh/nz58OsWbO8Oja5gpPBxo0bQ5s2bSy24wpbBF9v0qQJ1KxZk62ye/To4YWRqpOlS5fCzJkz2eSTt+fipEkEfxsU3KhJWrFihSw1cDiJxsZfm+fPn4dPP/3U5Y7FJKgBmOBAx5Nbt25ZbMfnMTExkp9DNQZ6Y4rqj9OnT8OcOXNUIagdPWf4B0YnMnQgEcHVIRIQEMDMBnjT9GWc/Z/xBAYGQvPmzSExMRF8lZKcJ3QIwogCNLEUB06q8bvwXMpNUONx2jp+dCwMDQ1l56ek/yVvgL8Najp+/fXXQqp9azCipk6dOor6r+PkUHSAc8X1LkKqbwCmum7ZsiVbFfNCBJ/zq5niwM/k5eWBGnD0nGGYxfHjx5kGQmwDBw40ebWi2sjXccX/DFVpeB5R7earlOQ8oQDAa/CJJ54o9nvQfIA2ajmeSzxO/viRf//913T8rrpneRL0sMfIGHzkw+akQE0lTvAryfD3kQLvZeJ4XfobOeR65sMsX75cCA4OFhYvXiycOnVKGD9+vBAVFSUkJSWx10eMGCG8/vrrpvfPnj1b2LBhg3D+/Hn2/o8++kgICAgQFi5cKKgFR8+ZNXLxwpXzOUOv2PXr17P/2cGDB4Vhw4YJISEhwsmTJwVfxtn/VqdOnZh3tDUZGRnCpEmThN27dwsXL14U/vvvP6FFixZC7dq1hdzcXLcfD37/4cOHWcPb7ieffML6ly9fZq/jseAxiVy4cEEICwsTXn31VeH06dPC3LlzBX9/f2HdunV2nyM5Hc/PP//M7o94HDdv3jS1tLQ003teeeUVYcuWLez32blzp9CzZ08hOjpaSE5OdvvxOHNMGFmwevVqISEhQTh+/LjwwgsvCBqNhv23XP0bkaDm+PLLL4Vq1aoJQUFBzK1+z549pte6du3KBIvI1KlThVq1arGbZpkyZYT27duzH0VtOHLOrFGjoHb0nL344oum91asWFHo16+fcOjQIUENOPrfOnPmDLvB4gTamuzsbKF3795C+fLlhcDAQCEuLk4YN26cR4QaH8pj3cRjwEc8JuvPNGvWjB1/jRo1WKieI+dITseD/aLej+AEq1KlSuxYKleuzJ4nJiZ65HicOab3339fqFmzJpMBZcuWFbp16yZs2rTJLb8RlbkkCIIgCBlDNmqCIAiCkDEkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGQMCWqCIAiCkDEkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGQMCWqCIAiCkDEkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGQMCWqCIAiCkDEkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGRMAKgMQRAgIyMDIiMjwc/Pz9vDIXyE3NxcyM/PL/I9QUFBEBIS4rExKRm6TglCxYIaL/7SpUtDNxgEAX6BoAkKMr3mFxpq7oeHmT8UZtiuDzffZHWlgk39glKBpn5+pFlJkWfsF0SYd1VQiuuHC+b9hesNnXCdaVtgaIGpHxLM9QPN/eBAreG9GvPnNH7m/eoF801OJ5jHlq81/PS5xkc23nxzPz/PfEy6XH/zoHMMfU2ueV8B2ebv8M81vzUgx9z3zyv8un++eZz+Bea+xnh4Gq15m5+e61tsN+8PBMN2jY57XaqvNX/Qr8DQ1+Rrzdu4/j+nZkNxQjo+LgKSks2/gS1iYmLg4sWLJKwduE7T09OhVCnuolELOTkAPXsa+v/9B8Ddmwj1oTpBTRCuBlfSKKQTD1SFUtxEjedehh5qtbrK3kuCmigWFMw7d3p7FIRMIEFNEC4iItKPNVvogdS3BEE4BwlqgnARBYIOCozq98Kv8Tp6giAI+1GtoPbz9wc/P3+AAPMp8OP6EGC2ywqBhu1CsHmbPsis4tQFcnbgIK4fbPloeN3c1wdzN/UQw43cP1hr0y4dHmx2VAoPyjO/x9/w/iB/2zZqHq3ePOZc47EGac226CwNZ6/n9pEH5u064+HxYkfLBw/wjj9cVzSPC5y5W8+ftwJzX7RNa7TcNgtbM/cV3EBEOzZvi+ZM9xa2bQ1no9bkG/v+5u/z4/r2ogeBNanXCMIhG3WXLob+tm1ko1Y5qhXUBOFqUBjrSFATrkCvBzhwwNwnVA0JaoJwEaje5pzXC71GEHYTHAywZo25T6iaALWrvv0CA22qu3mVOAQatgvc67pAjW0VLtfXG3eh59XdQeY7ucD1/QINOtqgIK3NMKzQQLPqO4Lrm1TfGm2x4VlaDRdSpdEXqSbnEbh9iN/MaZcl1eACpwYXVd7iOUH8uT43fPAzqrwt1Naizt06zIr7co3xPRaqb26/fLiXhle1G9Xc/hpumxOxuzgUKXFMYppwCLz/9O8PciG3QAf7Lt6BA5fuQNWyYdC7QQyUDuPunYRbUa2gJghXoytC9S21XXJfOh3MmDEDlixZAklJSRAbGwujRo2CN998kxKAEB7jxPV0+GjDWdh9/jbkcX4db/gfh461omFEuzjoUb+iV8eoBkhQE4SLQLW3tOrbsX29//778M0338APP/wADRs2hAMHDsDo0aNZEpDnn3/eJeMlZIxOB7Bpk6F/330A/py2z0OsP5kELyw/DLnGhEAxpUKgfc1ycOrGPTh7KwO2nE1h7c3+9WFs5xoeH5+aIEFNEC4CY6V14Jo46l27dsGgQYOgv1H9Wb16dVi2bBns27fPJWMlZE5uLkDv3oZ+ZiZAeLhH07cu3H4B5vxzhiX761KnPEztVx/qVIwwaXMSkzPgux2XYNm+K/DO36chPacAXu5Vh7Q9bkK9ghrtzX4BliFZvL3aGJKFCAEGu6ues0sLvC3aog+F+rxdVrDom1VJ/oGGfoC/eVtQgNlIGxJgNrYGccZb0TYdbLRVIxoJNWsBl0JUtE3zNmypvo4L6xLt1Xy4MG9/1fPXKWcTF4x2YI1FeJaUjdrGNkHKXs3tQ1f4dSm7tEX6UjEUq4Q3GYwO4zKdFnoNuXfvnsX24OBg1qzp0KEDLFiwAM6dOwd16tSBo0ePwo4dO+CTTz4p0RgJhYDXTtOm5r4HeW/dGZi/9QLrP9GuGswY0BAC/C3HUKtCJMx+sBFUKRMKH64/C19uSoR7OQUwY2BDEtZuQL2CmiBcjK6IFbW4vWrVqhbbp0+fzmzR1rz++utMqNerVw/8/f2Zzfrdd9+F4cOHu2n0hKzAuOkjRzz+tf8cv2kS0qjSHtMpXlLw4vaJ3WtBqZAAmPbnSfhh92WoVTGS2a0J10KCmiBcBGoseK2F5WuGx6tXr1oUmbC1mkZWrFgBP//8MyxdupTZqI8cOQIvvvgicyobOXKkew6AUDVXbmfD5JXHWP/prjXstjuPaF+dOZqhCnzO2tPQpXY0xJXznKpeDZCgJggPrqhRSNtTDerVV19lq+phw4ax540bN4bLly/DnDlzSFATLidfq4f/LTsEGblaaBlXBib1ruvQ55/qGA//nroFey/egVd/PQbLxrezCHckPCSoX375Zbt3qgQ7mjmFqO3YadEuzfqmOGrOhsulmLSwQfsX7lts03AxwP6c/dS4XWOMb2avc4ZZ3u7Mxz6LfcvXbUft+nNCJMD4Ht7ezcdZazmbNx8zLtqmeVNsgYSNWs8dq2C0cfH2fItYZt4ebbI1F95m3bf1OT7+2uI7pH4n0+Fxq2GJnN1FoQMNa7Zfc4zs7GzQWNkmUQWupyxV6kkh2revof/PP25PIfreP2fg6LV0KB0aCF881hwCrWzSxaHR+MFHQ5rC/Z9tg32X7sD3Oy+SJ7g3BPXhw4ctnh86dAi0Wi3UrWuYeaHTC95IWrZs6crxEYRi0Bah+uZ82uxiwIABzCZdrVo1pvrG6w8nwE899ZRrBkvIG5yQbd1q7ruRw1fuwqKdF1n/4yFNoXKUc5MCTIQytX8DeGPVcfhg/VnoVrcC1KoQ4eLRqhO7BfXmzZtNfbxhREZGshjPMmXKsG13795lcZ6dO3d2z0gJQuboBA1rtl9zbF9ffvklvPXWWzBhwgRITk5mtumnn34apk2b5prBEvIGfRdWrDD33YReL8CMP0+y/sMtqkDPBiVLXvJYm6qw7mQSbDuXAu/9cxq+HdnaRSNVN075/X/88cfMViYKaQT777zzDnvNXrZt28ZWDngTQg/C1atX2/3ZnTt3QkBAADRr1szh8ROEO8BYaT1oJJpj9jqcCH/22WfMLp2TkwPnz59n11dQEJePlvBd0Aw3ZIih8SGkLua3Q9eYyjsiOABe6+uYXdoWeB+fPqABoHn6v9PJcPDyXZeMU+049Q/AsJGUlJRC23FbRkaG3fvJysqCpk2bMnXeQw89ZPfn0tLS4Mknn4QePXrArVu3wCnwz49GS6nSlry9WrSvcnZrvYW92rbtU5wG8YssiwWXA/du/kZvK96ZV7k6koGXt2eL+b+ty2bq9Jy9mjsHtg6jgLNL67igaSHQsF3gbMb6Ao1EOUoxZ7dE7DRvl+ZzfYvx15zRnLdLW9ioOUcX7nRy+3V8Dpsv+EOgxR+Af83h3RGEW7mXWwAfrDvD+i/0qA0VIkNcst+a5SPgkZZVYMWBa/Dh+jOwbFw7iq32hqB+8MEHmZobV89t2rRh2/bu3cs8VR0RuH379mXNUZ555hl4/PHHmU3ckVU4Qbh/Re2azGSEysEUonv2GPrt2rklhegX/yVAamY+1CgfDiM7VHfpvp/vURtWH74Bey7cgZ2Jt6FT7WiX7l9tOKX6njdvHhOwKCzj4uJYw/79998PX3/9NbiT77//Hi5cuMASRRCEnEAVt06i4WtKhUxUXkoh2qmToWHfxZxPyYTFuy6xPmYeC7KhKSsJVcqEweNtq7E+rqoxLSnhPE79OmFhYUwg3759m3mjYrtz5w7bFu7GnLQJCQksthQrCuHFbw95eXlMVc83gnAHBUJAkU2piCaquXPnOvQ53kRFOAiqimvVMjQ3qI0/+fccaPUC9KhXgeXydgeYtSwsyJ/ZwDecctJESTBKdPe4efMma126dIHQ0FA2a3KXLQJTKOKqfebMmSz3sb2g0xt+xhqsQ+2nCbS0S3P5vYG3RxvjiPk4aouc3VxMtU17tAOnRJDIsa3l+vmcUdyUs5u3YUvEUVuHElnDx2eLcdZIIGevDjFGTfPv9efs0nlckekCLpe5TqspZJcWdOa+zmiXtrBH29pWhL1ajJnGn9W0zVy6GyxCQy1+Ez8b9m7H57A6wY81qdeUCpmovEBYGK5M3Fa68u9jN5n8f/X+kjuQSVE+MpglQvlqcyJ8/l8C9G5QkWzVnlxR40oaZ8koMPv168eENTJmzBh45ZVXwB2gkxqW+nvuuefYahrb22+/zYoVYH+TWBLOiilTpkB6erqpYQpHgnAHUmrvohKh+CpkopIvuJpGBjaNhXoxxWfJKwmYKzwkUAOnbt5jNa0J53Dq7vHSSy9BYGAgXLlyhanBRYYOHQrr1q0Dd4BpF48fP85yHosNZ+yYcAX7bdu2tfk5zKUspm20N30jQTiDr6q+HYVMVPLlwKU7sOlMMkvv+VJP+zWTzlImPAiGtDQUosHSmYRzOHX32LBhA6xfvx6qVKlisb127dos7tNeMjMzITEx0fT84sWLTOiWLVuWZWTC1fD169fhxx9/ZOkUGzVqZPH5ChUqQEhISKHtBOEN9EWouNWS+NPVJirVgg5kDz9s6K9cCRBS8tApNE1iSUpkSMsqUD3aM4UzcFW9ZO9l2Hw2BRJuZUDtipEe+V5Qu6BG5xJ+JS2CDmVS1YBsgars7t27F8onjkUHFi9ezFTquGp3C2iPRmOmRQ1qs+1Xz/VF27Rl7LSEXdrPlo1awuORr+lsTJJtYZfmbLh5OvNPxduHxTjqIM4AK50X3Cwu9LZs1Nzn+JjqENAW2l8gF/gcwI2Nj7/O1/kXOpYCrXmbjrdRc3290T7M27AFzi7Nx2LzdmzB2Nfnc3Wn+cIAUuYxfeG84Ton8oqIyU2kXlMDookKHUzRTIVgfnIUEri6xkn+fffdV+hzOCnn6wngitq6JKjqwrPWrjX3XcCOxFRWNAPvFRg+5SlwQoD26fUnb8G32y/C+4808dh3q1pQY5pQXOXOmjWLPUcHAbwYP/jgAwvBWxzdunUr0m0fhXVRYB1fW7V8CcIbFAj+ECCR8KRAJeEpoomKB6NB0Ifkt99+g/j4eJufwwm+I5N8nwcz0H3/vblfQvA++/EGg216eLtqEOtkPm9nGd+lBhPUqw5fh1f61HFZchW14JSgRoGMzmQ4c87Pz4fJkyfDyZMn2Yoa4yYJQo0UnetbuStqMlF5AdT0jRrlst1tOZsCR66mMceuZ7vVBE/TMq4sNK8WBYevpMFPuy/DKw6W0VQ7Tt098ILDalmdOnWCQYMGMVU4ZiRDdVfNmp7/ExCEHPBVr2+ckDdv3pw1BFXU2BcLhLjVREW4ZDX96X+G1fST7at7bTU73lj2csmey5Bb4Bp1vlpwakWNFyXaj6ZOnWrzNZxly56gQGaj5mOnxbrThj6f11tTZE5v27WN7Yif5gzagmij5uyyvI3XX6JOolhDmo+L5mOgbdWu5vu8XZrHYh/+hW3XfL7xEK52NT8OPva7wHjyCmzYra2PVbRja7ltYhx2oVhsfnu+oe/npykyXtrwQW6r8Z6hC+JrZYPDaAV/pv62/ZpyVd9kovICaJcWTQiNG5cohejG08lw7Fo6Sz7ydBfv1Yju3TCGldC8npYDfx29AUNaqdgHwUGcmuajnclWUQ6Mr5ayQRGEr4MOekU1gnDI6xs1GNhKkEIUJ1hi3DTm8y4X4T0/AHTsRPs48uPuy5RW1AGcuntIZSBDWxbaoghCjejAr8hGEHaD99fYWEMrQTYvdODCZCPhQf4m1bM3GdqqKssrfvx6OrOZE25QfYvhEyiksag9H6KF8ZNYQYuS7xNqBUuN+kt6faslkppwCXhvvX69RLvQ6XE1bYibfqpTPEs+4m1wRf9Ak0rw+6HrzKmsebUy3h6S7wlqdBYTV9QYgsEXscc+Ju6fNGkSKALMmOQfAEKQ+RTog7g46iDO9mm0XeoDbdeglrRdG98uleaZ1/yINmoxntraRpvL7cOiHnVA4fhrfy4Gmo+H5u3O4nap1/mYawvbtoRN2zQebuWo5U6MaLuWylmeqzX/DvnGuOx8LuY6j3+9gMsnXuBfqP61ZSlp8xM+l7cfd571BZaPrO+E90ZRKm5SfROeZvXh63DuViaUCgmAsZ28v5oWQYc2FNRrjt2EN/rXh2gvquOVgkO3o82bN7NHrEX9+eefUzpOglBBeBahPPK0OpNtekL3WlA6jEvs5GWaVY2CplVKs6pav+y/yqpsEUXj1N3js88+A62WS+NkBOOoKUcvoVYE8GMaBVsNXyMIu0EHsiFDDM0JZ7Kf91xh3tUVSwXDqA7VQW6MaG8Y0897LoNWR2Yht4RnDRs2jBWSnzBhgsX2FStWwJ9//glrxdR3MgZV3gKqvoN5dTenRrUIz7Kh+uZLXhYXniV1j7ah+ubDs/y48pG8+jnfhvpc58+VpQSdTTU5cOPU2PC45NXdQVyK0GAut2aAcbu/RZrS4i80MWyJV4fncfplCzW4zjD7z9aaVwFZBWYzS06AeXuuv7mfZzxH/BSSNw3rue/gy2PqAwuru/nf114wBE3D20EsXqObEeFgeNZvvxn6xYS/WZORW8BKSyIv9qwDIVzYqVxAO/W7f5+CG+m5sPFMMvRpGOPtIfneihqdxmylCsV4S3yNINSIryY8IbwA+v989ZWhOZhCFPNp38nKhxrR4az4hhzBycOjrauaEqAQRePU3QNL0tlSfRcUFEBOTo4zuyQIxYPai6IaQTiUQnTiREPjCwcVw830HFM5yUl96kIAV6xHbjzRNo5Fnm1PSIULKZneHo6scepXbNOmDSxYsKDQ9nnz5kHLli1dMS6CUByo3i+qEYS7eWfNacjO10HLuDLQt5G81clVy4ZB97oVWP/nvZSC1uU26nfeeQd69uwJR48eZcU5kI0bN8L+/ftZGTslIAT5Mxt1cSFZiC5YLHNZ2K7J9lVcalF7FlOCdFpR63SbDsGHkXEGW3GFZ1HakrM183bp8IC8QttDuBybgWIOziLs1WJ4Ei+wcrmTyNurs7SGcI2sgCCbaUrvaczhHP6c7V40uwtcfJbOIgyLs//zv5/RHm3x2zkVniW9cqYVNeEQ6NNw/ryhj/UTjKmCi2LbuRT4+/hNwMquswY1spmUSm6MaBcHm84kw68HrsKk3nUhlLsfE2acuvt37NgRdu/eDVWqVGEOZH/99RfUqlULjh07xkpgEoQaEYpIH4qvEYTdoAmxTh1Ds8OciOFY0/88aUoV2iBWGaGzXeqUh6plQ+Ferpbl/yZcuKJGMAPZ0qVLnf04QfgcBYIf+EkIZHyNIByidGm737pw2wW4mJoF5SOD4aVedUApYP5vtFXP+ecM/LjnEgxpVUURmgBP4/Q0//z58/Dmm2/C448/DsnJyWzbP//8w+pSE4QaoaIchMsIDwdISzM07BcBOmKJ4VhT+9WHUiHySW5iD0OM+b9PXL9H+b9duaLeunUr9O3bl6nAt23bxmzWWBwebdbfffcd/CbG/8kYfVAA6AMCQM/FUeuCOdsmZ6/WGeOn+TKIvA2Tt11bbDfu2sKPiIuNtrBdi+lG+dhq3l7Npw3l+uLu+MxX/txOpGyjYly2GBeNBPvbtktH+Jv7kf6G5AthGvM2KXu1LaRs1Nl6s905w99Q2OWeNqTY0p38eRHTk/LpVPVa7hwGmvch5PsX/p3439EJuSomN5F6jSBcDdZ1fm7pYcgt0EOHmuVgULNYUBplw4NM+b+xqhbl/y6MU9P8119/nQnnf//91yLf93333Qd79uxxZpcEoXgw4UlRjSBczbt/n2bVsVDYfTq0mWLVxqM7GMojrzl2A5LvOV/W01dxSlBjQY4HH3yw0HZcVaemprpiXAShONiKWiqOmlbUhCPk5QGMGmVo2LfB2uM34SdjspBPHm0KFUspt8Rw4yqlWUhZgU6gUC1XCeqoqCi4efOmzepalStXdmaXBKF4KNc34TIwodQPPxiajeRS6Dj22m/HWP+ZrjWhmzEeWcmM7mjM/733MvNiJ1yQ6/u1116DX3/9lala9Ho97Ny5k5W4fPLJJ0EJYMy0PkBjmdObz+XN2aNNuaA5Hw1jOupC2y3t1QZbqsDbpf0Fm7m8/Yx2V15zJW4rCRYlKrl+kL+uUE7vUM7WzNulSwdkm/pR/oZ+pCbXpo06xM+ciZyP0RZXlPmcIThXMJ+4DF2oqR9s3J+/ZEy2+STlc3mM84zlMfP8zd+hNf4GrM+de/G3YX1/Yxw1N211Jj8J5jH3k1Bx8znOCaJYMBvZBx+Y+xyXUrPgsQV7ICNPCy2qRcErvZXj5V0UmO87plQIJN3Lhb+P3YSHWsgz/aliVtSzZ8+GevXqQdWqVSEzMxMaNGgAXbp0gQ4dOjBPcIJQI5RClHAZ6Pvz6quGxvkB4Up62II9TJjVqhAB80e0gkAZpwl1BDyOEe3jWP/7nZdAsFE4SK3Y/Qvz5SvRgWzhwoVw4cIFWLNmDSxZsgTOnDkDP/30E/j708qBUCdSau+ivMEJwl4SkzPZShqFdO0KEbBsXDsWN+1LPNamGgvVOn49HQ5duevt4ShP9V2mTBlml0aHMfTu/v3339mKGhtBEIbwMD8uNMz6NYJwKIWo0Q9IVzEGFu26DB9tOAt5Wj0T0kt9UEgj6L0+uFksrDhwDb7bcRFaxpX19pCUJagjIiLg9u3bTFBv2bKFVcpSMhgn7RegAT0fO23M6W14nX+vWI/avE2ybyOm2tIeKmGjNm7XcHWlLepRa2zHEYs2bd6e68+9l9/O26ODjDm7Q/3zbcZOi/HSSFn/LFM/ytjnbdThfEw1V+iZr1ktkithow7x42KxdYZ98ElC+PCmvADzPrK5H0qMAw8MMB9nPn8+uXPPL3DFr7GwUTsTR025vglXgWlDqxhstI9//C/sTTZcYx1rlYPPhzWH6AjfE9IiT3WKZ4J63YkkZo+vHl10whc1YLegxiIcWIO6fv367DmGZ/Ex1DybNm1y3QgJQiGQoCZKCtplb6bnwoZ9F+EJjWGqe+xaOkRGRsDU/vVhaOuqio2Vtpd6MaWge93ysPlsCizYfgFmP9gY1I7dghrt0D/88ANLHYqZyRo2bAhhYWHuHR1BKAhdEbm+8TWCEIVxSmYenE/OgqR7OZCUngc30nLg3K0MOHsrA9KyDdqlGa/+AUH+Gri/UQxM6VcPKpU2R0b4OhhyhoL6t4PX4MWetaFCpHJjxD0qqENDQ+GZZ55h/QMHDsD777/P4qkJgnDPivr69essDBJz6GdnZ7MKdd9//z20atXKBaMlPMnVO9ksReau86lMIN81CmNbYJnKplWjWHjSgCaVICrMtubSl2kTXxaaV4uCw1fS4Iddl+DVPvVAzTgVR71582ZQOvpADWtiHm9Eqq8PKiZ2mq9tHMjFDotx1Nw2P66vCeBsycY+b6Pmbc0B3HYNZ7sONNqd+dfFbUhIgNZmTecQf8ONIiIg36ZdurQxXpq3SyPlbNioI7na1YGcXdoYnszQGTeHgXls2frCiRwQvTEYIY+zYWeLPwIAZOqCC9na2XcbY8P588bb+fkYB4vYdmNfwDuk+Dp4V1DfvXuX5dJHcxMK6vLly0NCQgJz6vQ0mM//ww8/hIMHDzKH0lWrVsHgwYMl34+Opt988w0cOXIE8vLymPZtxowZ0KdPH1DbyhnrQy/Zcxn2XLhj8Rr+1aqWDYPKUaEsdrhi6RCoWT4C6sVEsrCrEC4/gBpB9T6uqp/+6SD8tPsyPNutFkQEO13sUfE4deQ6nQ4WL14MGzduZJWzMOEJD9moCTWiK8Lrmy8UYg+oscKIClxBi8THG/Ihe5qsrCxo2rQpPPXUU/DQQw/ZJdh79erF8i2g1g2PYcCAAbB3715o3rw5qIHbmXkw5ffjsOHULfYczcoda0az4hONKpcuXhhj2tCXXzb0P/kEINh3ncek6FW/ItQoHw4XUrJg2d4rMK5LDVArTgnqF154gQnq/v37Q6NGjXzeuYEgXFU9i89HgAQHB7NmzZ9//slWoEOGDGE+IZiad8KECTBu3DjwNFgpD5u9fPbZZxbPUWD/8ccf8Ndff6lCUG86cwsm/3YMUjPzIdDfsDIc1qYaWz3bDaYN/fprQx8zlKlQUGs0fvB0lxrw2srjsHD7BZYMRa2aBqcE9fLly2HFihXQr18/14+IIBSKPapv67wD06dPZ2phazCZEKqPX375ZXjjjTdg//798Pzzz7NIi5EjR4KSQI1bRkYGlC0rHROLKnJsItYTGqXwy/4rTLAgdSpGsIpWDWNLO74jTBs6fbq5r1IebF4FvtiYCNfTcpgJYWxnda6qnRLUeLNAxxYlow/wMzQHYqM5k6ll3WneLs31wVj/2I+rg6zhYnz9ue3+RhszHwMsbrO2uwbycdLGfhBvf+bs0mEBZqeVMM4eHWGMn46QtEtL9DU5hezSkRqzWjcQzDNeDbe6LDDGc+cJnJmEs6XnQ36hWOtgLrZazP9tffy26lTzOcYt86VLxFGLfV7GOhFHjbWx+frY1q8hV69ehVKlSpm221pNi8INncZwNYrgSvTEiRMwb948xQnqjz76iKUafvTRRyXfM2fOHJg5cyYomf9O3WLqbuTxttVg2gMNnF8BYuirjQmc2sAsZc/3qMUmP/O2nmeZy8JVaKt2Kl3SK6+8Ap9//jnlYiUIKzt0UQ1BIc03KUFdqVIllkOfB3MYXLmirBKAS5cuZQIYNXCYLEmKKVOmQHp6uqnhhEZJYLrL55YdAr0A8EjLKvDu4EaqVdO6modaVIG4cmHMlPDD7kugRpyamuzYsYN5fqM3Knp0BlqpZtDrkyDUhlCE6ltqpS0FenyfPXvWYtu5c+cgLs5QtEAJoIls7NixrMoeJkwqCilbvRK4kJIJYxbvh9wCPXSrWx7mPNS45H47uAhKTzf0S5e2LKunMgL9NfBCj9rw8oqjMH/rBXiiXRyUClGXOcApQY2enJiZjCAIM6hfklIyOap7eumll1g1OlR9o8p43759sGDBAtaUwLJly5iXOAprdDr1VfR6AV759SiLi25apTR8PbyFa6pZZWdjgQVDPzMTIFzdaTQHNasMczcnwvmULFi04yK82NM3Snu6VVDzISOKt1EHcPHSXN/CBh1QTOy0jRrUDKO92o+Pl+bs0gGcPVq0TfM2alu2aMN27j026kpb2KglcnmXCjDYmkv7Gx4NfbMtOpLbHsnl8hZt07xdOszPfAICOBs1jzm+2mxrzhc4ezxwtmanophdQAkXLTrMSiaZmcyxm3fr1q1ZvDKqhN9++20WmoXe1MOHDwdPg/blxMRE0/OLFy+yGGl0DqtWrRobIyZn+fHHH03qbrSjo3msbdu2kJSUZEqaVBpXhz7E0n1XWFIOjPGdN6IlhAWpz37qCfw1fvBSrzrw3NLD8O32izCiXRyU8+F859ZQSR+CkGk96gceeACOHz8Oubm5cPr0aa+EZomZCNGZTQytQk907E+bNo09xyQovO0cV/1arRYmTpzIbO1iw7BOXyI5IxfeX3eG9Sf1ruPaFJ+Ynjk/39AoVTOjX6NK0DC2FGTmaeGTf8+BmrB7+teiRQuW4AQzI+FFWpQN5tChQ64aH0EoBlR7S6q+Fex32a1btyIdRzGnAg9W11MDs9achoxcLTSpUhpGtK/u2p3j/VXFYVlScdVvPdAAhi3YA8v2XWG26vqVzBEUvozdgnrQoEEmZ4+i0gcqJTUhqqtZ4zS1fJ+rqmguV8npH8T0oIbXuT6fLtQYXsWnCuXV3UGBZhV1sKj6NqqypVTc7HPc9gCjStxWetDC6m5zKFaEsc+ruEtxoVqRflwZSy5MKsw4QQvmVNzBfuYbikZCSVMgGMbnb4d+WUwOIqYSZX3u5PMFLrTcdnHVyicdsXTiKua7SyhM9UVkJsPXCN9hy9lk+OvoDZYKFKs7oWqWcD/tapSDvo1i4J8TSfDO36dgyZi2qki4ZbegxsQMtvrFOZQMHDgQwiUcISg1IeFL4ETBj8pc+jzoQDZrzSnWf6pjPEsJ6nJQ5T11qqH/7ruGuGqC8Ua/+rDxTDLsTLwN/566Bb0bxoCv41bPh6effpo5k9SoYTubDKUmJHwJX1V9E5asP5nEvI9LhQTACz1ru+dLCgowU4yhj4lPSFCbwGImYzvFw9dbzsO7a09D17rlITjAt2PW3Sqo3Z0QRU2pCQn5o9f7FaH6phW1L4D3NBQQyMgO1SHSXfG8aJ+eNMncJyyY0L0W/HrwGly+nQ0Lt12A5+5z04RJJig6lqAkqQlRE8maRenDovtS9mzBn7dLFy5jGRBYOAyLt0sjIYEGO3AwZ2vmbdFBnI2aT5sppg4N5ezSoRrbNmrLMpZiKlDztjA/83vDNeawrhDu+wL9/C0ei7JL67mQK73RAFzAbSvgU4xyJzRXMKwecrkYOL6fJ8bLoY2acyYo0PkXqlQl8AKSnzdy2y2yjJY0jrqI1wjlsyMxFY5fT4eQQA2M6uBiBzIeXEF/+KH79q9wIoID4M3+9eGF5Ufgi02J0L9JLMRH+26suWI9XNSSmpBQDmKub6lGKJ+vNxtW08NaV1NVHK8cGdg0FjrXjoZ8rR6mrjru0ymtFSmoxdSEKKTtSU1onV+ZINyC3o+t4G01fgVPKBPM5737wm0I0Pi5vzYyCh20U2PzYQFUEvz8/OCdwY0gOEADu87fhpWHroOvojhBjZ7ko0ePZo++nJqQUK4zmVQjfGM1/WDzyo7VlnY2hSiqv7Fhn7BJXLlwk0Pfu3+fgjtZZpOdL+FWGzUWELAu2CGb1IQYe+fnBwIXgycVcmuyUfPTGqm+DXu1RfpPPo6aS/Up2qYt46E5e7WF7Zr7nLEvPlrbq3m7NF/SMtyYFjSMSw8awsVLh/hxdnXuXNiKg+Zt0TwFXIrQbMGw7yy9+b3ZnK35nj7E1M/SG1SK2cZHJFNn7ufoONu1zryPAqO9ukBrtlvrdZy9WmceO/eTmFe7EhUxXVnmklAmV+9kw3+nb7HbxtNda3p7OATHuM414M8jN+BMUgYLm8Ma4L6G0yvqtLQ0+Pbbb5kwvXPnjikjGQpWEayfW7VqVcl9UGpCwpeQUnub1N+EYkEPY6RTrWioVSHC/V+IaUPv3jU0SiFaJFgEBSuWYc6ZVYevw8bTt8DXcGpFfezYMWYbxlXspUuXWA5iXAVj5jAUrOIKuDgoNSHhU5Dbt0+i0wvw2wGDE+qQVtILD5eCS/eoKM98lw/QvFoZGNMpHhZuvwhvrDoOG6qXhdKhgepeUePKd9SoUZCQkAAhIWaVZb9+/Vj2MIJQI+T17ZvsOp8KN9JzWYKT3g0qens4hASv9K7LQrRu3cuD2X+fBlD7inr//v0wf/78QtsrV65sshsrHVv3VUsbNrdEsgjE5eKoNaKN2rzNn3svn8tbjJmWytnN2515e7Ro2w7m83FzpS15u7RFzLTRNm1hl+b2688dR3F26QLB9vZcCxu1oZ/BxUun6c0OOWl6s3ovTWfop+tCbdqoMwvMk8NsLWev1hr+zlrOLq3XcvHSnI3a4uczDpkLF3cqtpoJZAkVNwlq5bLigEHtPbh5ZQgJ9FAGLEwhOnu2of/GG5SZzA7wt3n/4SYwdMFu+OXAVXigaSXoXLs8qHZFjSFPtjJ8nTt3DsqX940TQxBOq76lGqE40rLzWcpQ5FFPqb0RDMvCRE3YsE/YRZv4sjDSWMns9ZXHISvPvPhQnaDGQhtYzL7A+AfCeDa0Tb/22mvw8MMPu3qMBKEQ/IpphNL48+gNllADyyliLWSPERAAMGGCoWGfsJtX+9SFKmVC4XpaDny4/iyoVlB//PHHLLQKM4Ll5ORA165doVatWhAZGQnvYqUXglAj+mIaoThWiE5kLat4tpwilhSeO9fQjOWFCfsIDw5gpUeRH3ZfgoOX74LScWqqht7e//77L+zcuROOHj3KhHaLFi2KzRImK4xZKCxNzRL5nwUH7Jbctexn/ID4aB1TLdaS5nN58/HSfN5vyzjp/ELbw/zN8dBhXJ5uMV4aCeFygIu26SAuXtqfkyZ8eV0dp7cVc3XrLLz1zfsoEHgbtfk9om36jtH+jNzWmXPz3tGaQ17uag3b7xaY35tewNmrtWZ7XXaBuZ9fYPg767R87DQ3F+Vs1HxfPAW8jdopVbWYQF7qNUJRnL55D05cvweB/n7MPk0ohy51ysNDLSrD74euw+srj8Ga5zspusKWUytqDL/CilQdO3aECRMmwOTJk5mQzs/Ptzs0iyB8DcpM5lusPX6TPXavWwHKhpMzl9J4q38DKBceBAnJmaascqoS1JjCEwtcWIMlJ/E1glAl5Ezmk4K6X+NKnv/yrCxDeUts2Cccpkx4EMwY2JD1v96SCBdSMkFVghqTlNiy11y7ds3xVJ4E4SP4sXrU0o1QDgm3MuB8ShZTe99XX7o6n1vRag2NcJoHmlSCbnXLQ4FOgLfXnFJshS2HbNSY3hMFNLYePXpAAOeNqNPpWK7u+++/H5QA2iPFxm+z2ReKrmdsYX8UnIud1Ri/RMPtIICzH0vZq0W7c4gft42Ljebjq0P8+BrThu2BfrZjp/XccZhHAZBrwytKx703jzvmLCGwUMy0GCONpGjNXrSp2khzv8Bgr76Tb7Zh38s3x05n5HN5vwu4OtWijbrAbIsSuDhqjUXfRhw1d6B8324oM5nP8M8JQ0gWxuGWCvFChqvQUFz5mPuEU6CsmvZAA9iZuA22nE2BjaeToacCk9Y4JKgHDx7MHrFwRp8+fSAiwuwAFBQUBNWrV6fwLEK9kDOZz6m9728U450BaDSYQco73+1j1CgfAWM61YB5W8+zVXWn2tGeS1zjDUE9ffp09ogCeejQoRbpQwlC9RQVhkXhWYrhUmoWq8Tkr/GDXvWVt/oiCvO/+2rBqsPX4MqdbPh2+wV47j5DaUyftlFjqUkS0gRhBTmT+ZTau0PNcswhyStgCtEPPzQ07BMljq1+o1991p+7+TzcTM8Bn4+jRnv0p59+CitWrGAZyTAsi0cseyln0Abpp5G2S/MrIFOcra749/IqTtFvgbdVF2e3Fm3VSCD3JRruSwJ527XRRi0+Wr/Ox0nz2/0tDsCAjgsC5/t5QuGZHW/DzuXyd+cKtmtMi7m8+XhpW3Zp3jadlm+2zaVzNursfPPNMzfPbD/U5hvGIRSY559+fF8q73dxv6+9kOrbJ/jnhJfV3ghmfZw82dDH7GSU67vEDGwaC0v2XIb9l+7Cl5sSTUlRfHZFPXPmTPjkk0+Y+hvDtLCa1kMPPQQajQZmzJjh+lEShMIcFG01pYIV8QYMGACxsbHMOWf16tXFfgZL0mISJKwLgFkLrUvWypVrd7Ph2LV0VmWydwMvCmp01B050tAohahLwP/u5Pvrsf6K/Vfhyu1s8GlB/fPPP8PChQvhlVdeYZ7fjz32GHz77bcwbdo02LNnj+tHSRCE18jKyoKmTZvCXExnaQcY/dG/f3/o3r07czx98cUXYezYsbB+/XqQO+tP3mKPbaqXhfKRXkzdiWlDcXKDjVKIuozW1cuyrGVavQBfbEoApeDUVA1LWTZubFAboOe3mPzkgQcegLfeesu1IyQIhcBKb0jYopWs+O7bty9r9jJv3jyIj49nNQGQ+vXrw44dO5i5DKNF5MymMwZB3UuBITyEfbzcqw5sO5cCvx+6Bs92qwk1y5vNbj4lqKtUqQI3b96EatWqQc2aNWHDhg1MzYV1qlHVpQQ0OoHVi7Zlq2Svc6pKvRhnaxFHzff9bPYFvUFhoeO26YXi+zbHy+cL5/SoYuwzn6ebj422iJMuRv+q4xQsBVxiAIsie8bN+cDZpfXmv1GGwNmluVzeYvy0mMdbyi7N26b5eOkszi6dw9mlC7iYab3Yt7BRc78vHzvN9cWy4JL+CvaCv7NUYhMVJTzZvXt3obz/KKBxZS0FpiTGJmKrjK67wZKI+y4a/Gvuq+elJCeE22lWNQp61q8A/51Ohs//S4AvHmsOPqn6fvDBB2Hjxo2s/7///Y+tomvXrg1PPvkkPPXUU64eI0EoA/L6NmncKla0XJHicxS+WG3PFnPmzGFZDcVWtaoHaz8b2ZmYyjJYxZULg/ho88TRK2Da0KgoQ6MUoi7npV512ONfx27A2aQM8MkV9XvvvWfqo0NZXFwc7Nq1iwlrdDohCDWCSg9J1beKBLUzTJkyhTmliqBQ97Sw3nw2xVSEw6MlLaWwUU+BcA0NY0tDv8YxsPZ4EssD/vmw5r4lqAsKCuDpp59mq2i0QyHt2rVjTUn46QTw0whMBW7exr9eWGVqoTrlX+dilfTcdrGvM6rAES3X57eLqm9eBc6HSEmhMepoLdThElKBV4+bvkPQ2Ewhmu/HqZS5MeUbQ7EKONV3lt6souZThKZzfTEs6642rEh1N/tcXkjhVKES6m6dMSQLEYxqbgt1t852ClELNbfLVN+U8ASJiYmBW7cMtl4RfF6qVCkIlUiHiSYzb5rNMAf0lrPJrI+5ob0Onqdz58x9wuU827UWE9R/H7vJYqwrlgrxHdV3YGAgrFy50j2jIQgfWFFLNbXQvn17k2lMBOvX43a5cvZWBtxMz4WQQA20q1HO28MxpBCtXdvQsE+4nMZVSjPvfvQA/2n3ZZAzTv0DMOe3PbGUBKEqxIQnUk2hZGZmsjArbGL4FfYx2ZGotkb/FJFnnnkGLly4wOrUnzlzBr7++muWHOmll14CubL5jEHt3aGm8vJAE87zVKfq7PHnvZcht8CZSjwytlGjLfrtt9+GnTt3QsuWLSE83NLx4vnnn3fV+AhCMRSV2ETJCU8OHDjAYqJFRFsyphLGRCYYASIKbQRNYn///TcTzJ9//jmLEsE8C3IOzdpsVHt3l4PaW8xMtmCBoT9+vKEuNeFyejWIgSplQuHa3RxYdfg6PNamGviMoP7uu+8gKioKDh48yBoPOmEoQVBjSA5qlGyF6UiVPORf5/u8XZq3iQrGvl7H26XNrxfozTP3fGNfy9mMpcK3eLuynusXBx9+FWgsXqnntuXz6lmuz79HTBGaK5jDpe7pQmzapfm+aJtOKzDb2+4VmD93z0YoFm+Xzs8PkLBLF04Xasu/wLC96H6JbdQ+WuayW7duRdbxtZV1DD9z+PBhUALpOQVw8PJd1u9WVyZhWZiW+bnnDP1Ro0hQuwksvDKqQ3V45+/TsGjHRRjWuqo8HAldofpG1ZdUQ5UXQaiSouzTJRTUGGmBN5CiYpEJ59iRkAo6vQA1y4dD1bLmyaVX8fcHeOQRQ8M+4TYebV0VwoP8ISE5E3YkpoIccauXAnp5kuAmVIO+mOYkmEho/vz50KRJE1eOljAientjWJZswOqEv/5qaFSp0K2UCgmEIa0MoYCLd14C1QnqotRlBOFruMPrGx25hg8fznLrlylTxtVDVj14j9qeYFhFdZWLfZrwOE+2j2OPW86lQPK9XJAbqi3LwuKo/azjqItOJ6ovxsbJ4PtGe7Ses0trdVwMsI34ai1nt9Zy5SMLuL7eRnw1b7fW8R7GEuYW0/s5Y6yOi43m98fHTOfqAwvFTmfozXbnDK60ZbqW2641bL/H26gt7NLmfm6B4Tu0Wm48XOy0oJUoXWnsS5az1Ev4I+ht2ajlMcmcOHEiK3CBKTnfeecdbw/H5zifkgVJ93IhKEDDCjYQ6qRG+QhoGVeG+SqsPnIdxnepCXKCAvQIwoNlLjHjFt/4/NbWLF++HA4dOsTSaxLuSxuKtK5eRl5hWdnZAJUrGxr2CbfzSMsq7PG3g9dkpw0mQU0QrqSYPN+YFpPPaS0lhK9evQovvPACKykbQjZKtyE6D3WsFQ2yAgXFjRuGJjOh4av0b1IJggM0cO5WJhy/nq4e1bcc3dwJwm3YEZ6FAhidLEWk0mZi2GNycjKrSiei0+lg27Zt8NVXX7GVuD95A5cIrU4Pey7cZv1OchPUODkTw9toouYxp7L7G8XAH0dusFV1kypRoApBLTf1AQ/aIFnjbdScXZK3YZpinyXibC1t24VzfYvx1GxfXEx1gS0bNW8b5uzVUnHUou2aj5Hm454tS1dyP7d4SBIZs/jPiXZpPn46m7NRZ3Jx1JlGW7RhO2eD1ho/p+X2xfXzOHt0vrGv5e3S3HmTtFGLtmaJeHeL2Gi+L/7sEnHkrizKgUKaF9RS9OjRA44fP26xbfTo0VCvXj147bXXSEi7AFw1ZeRqoXRoICvSICvw923WzNujUKX6+48jN1ib2r8+BAf4+76g/ueff6Ay2lgIQgW4MjNZZGQkNGrUyGIbZgAsV65coe1EyezT7WuUY4kvCKJDzWioVDqE5X3feDoZ+jWuBIoV1Hw5OmtVN9rTatWqBYMGDYJOnTqVdHwEoRx8NDOZz9una8tM7S2mEP35Z0N/+HDKTOYhcML2UIvKMHfzeab+VrSgxtSA6I2KNrO6deuybefOnWPqOFTNYRL+V155BXbs2AENGjRw9ZgJQpWCesuWLSXfCcHIydfBoctp8rRPiylER4829IcMIUHtQR5uUYUJ6q3nUuBOVj6UDTenS1aUoMbVctmyZeH777832dvS09Nh7NixbBU9btw4ePzxx1lS/vXr14Mc8dMK4Adop+a2FdOXsnFavJe7IfuJcdScfdXC1qwvbI/O5+KstQGFbdHWfbFmtbQNO0CiHrVhu47bZmHb5vbH5/XO1he2UYvbrPtZWi42Wme40eRqAwrZogvFlxtt0LxtHyT8APxsvEc874adcIfM/zYltEerqSiHL7L/0h3I1+mhclQoVC8nk7Sh1jbqfv3MfcKjMdUNY0vByRv34N9TSTC0dTVlhmd9+OGHMGvWLAunGAw1mTFjBnzwwQcQFhYG06ZNK1SwgyBUGZrlglzfhHvs0x1rlZNndAp6ev/9t6GR17fH6dsohj2uPZ4EcsApQY2rZwwdsSYlJYUlcUCwulY+qm8IQiW4I4UoobL4aUIW9DXapnedT2XV1RQpqFH1/dRTT8GqVavg2rVrrGF/zJgxMHjwYPaeffv2QZ06dYrcD8aEDhgwAGJjY9msdvXq1XbZ6TC2FONP0WnNVok9ogToBCi3JxOq/HUXovdksOeE6zKTEd4nLTsfTt28Z/LyJQhrapaPgDoVI6BAJ8DG07dAkTZqrOSD9udhw4aBVmso+BsQEMAKyX/66afsOTqVYbH4osjKyoKmTZsyof/QQw8V+71YRhPzHj/zzDMsY9PGjRuZXbxSpUoOF6X3EwRj47bxebotbM2Wj0X1xfzeDNF+yteVloip1tmIo87XmX8erb9EDnC94T0Ffub3FgjmA/EXzIPz535u0TbtzyUDj1mfDs1mXYOwJPMMMismCPZMrQGXe5eziKkW61Lz25Acoy2ajZ+LA881HgsfG873+XMhGM+F+Mj6Ejm7eUy/pZT92ZE5hzPaUPL6VgR7L95hyb5qV4iA8pG2E854HUwb2rSpoX/0KECYDO3oPs79jSrBuVsJTP39UAtDelFFCeqIiAhWzQeFsljGskaNGmy7SDM7gvX79u3Lmr3MmzcP4uPj4eOPP2bP69evzzzLcRyOCmrCktj1adD2uUuFBErYrXy47/kzsOmLeiZhTUhAgloR7D5vyEbWroaM/884k0hMNPcJj9OvcQx8sTEBtiWkQGaeFiKCA5SZ6xsFM9bIxcYLaXexe/duVkWIBwU0bidKgE6AJrOuM2HiJ7FKbfvuBYssbkRhyEatDMS0obIW1OhAtmOHoZEzmVeoWzES4qPDIV+rh01nCvtkeRKnpwgHDhyAFStWwJUrVwo5jf3+++/gDpKSkqBixYoW2/A5OrDl5ORAaKi5hKII5kTmKxSJzm6Emej9mRbqbmtQyEQk5UPFA/fgQmuq2VuSFKKEd7mblQ9nkjJYv20NGZe1RFNXx47eHoWq8fPzY97fX285D+tO3ISBTWOVtaLG8nsdOnSA06dPMyeygoICOHnyJGzatImFackJrE7EVyvC6kUWakrM721sxa6IuCa5nXceMn2HuaHdVWyYQ1xsWp2GNYyjFhvaq8WWpw8wNcwRLjZxG9qMxYZx1rZarhBobnpjE4LA387JYkCyzvT5PD3fAmy2fK5hLnPW8LiMDet0m5pgbmhWZ6Z1e863re12gG4DYgNbzRkoPEsR9mkE7dPRETK1TxOyoW8jg/f35jMpLEmOogT17NmzmV34r7/+gqCgIPj888/hzJkz8Oijj0K1au4LDo+JiYFbtyw98PA5xnPbWk0jU6ZMYeFkYsPqRYQlORXsy3qUXd77GXrkDJswSHl9k6CWldq7fU0Zq70RdNL99VdDMzrsEp6nUeVSUKVMKOQU6GB7QgooSlCfP3+eeV8jKKjRexvVBOgJvmDBAnAX7du3Z57ePP/++y/bLgWGcYkVi+ytXKQ2UlpFMu9uiUJabHtGTDDcbCWfsm+yhFbUskcR9mkEzXWPPmponOmO8Cwo13rUq8D6m88qTFCXKVMGMjIMdh6sjnXixAnWT0tLg2wMK7CTzMxMOHLkCGti+BX20e4troaffPJJ0/sxLAu9zCdPnsxW8JhTHO3kOEEgnEfw94ODbxo0IdbCWny+841a7H2ENORMJm/ucPbpNvEytk8jGg1A166Ghn3Ca3QzCuotZ5O9VrrZKWeyLl26sJVs48aNYciQIfDCCy8w+zRuwzq6jjikde/evVBVLozHxkQmN2/eNAltBEOz/v77byaYUd1epUoVFqvtVGgWnnDWrLaZ+oWFksUWe2J1jTHVAhdbzYU1g56LExbzc/N5uvm83/lcHDXaf0UCNYYdBurN9pNAPiCc+z6dn3nf/mIwsnG853rFQO7nQdBhdiJzHBPJrBgMm6bUg4SeFdm+so01pvnYaX48Wi42Wqyxzff5nOQCf475Uy9ud/Sa8HPy9cLh7iA4UfaQcn3Lm30XDatpTGQhe/s0mvKoCIssaF+jHIQEaljpy7O3MqBeTCllCOqvvvoKcnNzWX/q1KkQGBgIu3btgocffhjefPNNu/fTrVu3ImcotrKO4Wewehfhei72joZLPcpBzIF0CE7RMpv0jZZRkKMh27RdUBy1rNlz4Y4y1N6ErAgJ9GcZ7DBEC5s3BLVTOhWsnIVpP9kONBp4/fXX4c8//2SJSFAtTigXVG/fbBsFCf0rwvU2ZUjd7Qg+bKOeO3cuVK9endWbb9u2LUsRXBSfffYZK4GLTp4YaYFaMHFy7y0UkeiEkCXd6xrCUrecSVFWHLVer4fExERWnAP71qpxglAbvqr6/uWXX5hZCjMDopBGIYzmprNnz0KFCgb7Hc/SpUvZ5H3RokUsjBNr1Y8aNYo55nzyySdeOYbbmXlMbYm0lbt9GsnJQe9ZQx8TOklEtRCeoVtd/J+fhINX7kJ6dgGUDguUv6Des2cPqzd9+fLlQqprvBh1Ou/Fm9lLcU4+xdYrtqO2sbjdwvTN2asxflgEY6iRAgm7NMYii+TozKroQKMECPAz/3E03CD0nCMKb7vW2JAceos61lyebhv2aMuc3lyNaQt7tS0bPF+PW8JeXVL87OhzuiTTV1vYqJ34WmP+eKnXlAoKV6wxP3r0aPYcBTb6iqAgRoFsDZrBOnbsyO4RCK7EH3vsMdi7dy94s/60aJ8uJ3f7NIKLH8zxLfYJr1K1bBjUqhABicmZsD0xBR5oEit/1Td6X7dq1Yp5e9+5cwfu3r1ravicIFSJD6q+Mesg1pXnU/eiuQufS6XuxVU0fkZUj2Okxtq1a6Ffv37g7UQnbeMVovbGtKEbNhgapRCVlfrbG+lEnVpRJyQkwG+//cbKTBIE4buq79TUVKYhs5W6F0MkbYErafxcp06dmMYNK+zh5P6NN96Q/B53p/rda3Qkk31Ylghq03r18vYoCI7u9SrAwu0XYevZFNDrBdA4ERniUUGNdiq0T6tOUNuxKrKlBvezCM8qWvUtPlqrwXO15p8qgLvr21Rhcw5glqFcnOrbODhTmJZVaBiv+ub7osqbV79Llbbk+2IZT17FbdnnDsCB1aeFxtzY97OoXcp9hy11N7fdQt3txDVIub7NNeMxeyHmORDvFRjCOWvWLHjrrbckU/3OnDnTLeNJzymA00n3lGOfJmRJq7iyrILW7ax8OH49HZpWjZKfoD527Jip/7///Q9eeeUVViQDY6kxPIsHq2kRhOrwwfCs6Oho8Pf3t5m6F1P62gKF8YgRI1iteATvEZi9cPz48SycE1Xn1mByIzGPgriiNuXlLyEHLhnqT2MlpAqlFKJGxrSh69cb+pgnIsB7JRYJA0EBGuhUKxrWnUxi6m9ZCmqsL42OYrzz2FNPPWXqi68pxZmMIFyNL66oMUVwy5YtWerewYMHs20Y5YHPn3vuOZufweyE1sIYhT0ilTcBU/1icwf7TPZpBa2m0QzwwAOGfmYmCWqZ0L9JJQgN8odW1T0bhmz3r4/pPQmCKAJjUQ6p15QKrnQxWyA6kLZp04aFZ+EKWfQCxzS/mEoY1dfIgAEDmKd48+bNTapvXGXjdlFge8ORTDH2aQQnOq1amfuELBjQNJY1T2O3oI6LiwNfx5FVj2T4Fmf8FENyeLs0/7qes0eLNlw+bai/1mxS4O2uGhsD5UOreLt0sMZceSeAs1H729gHHzrFp/rkbdRi+BVvl8616AfYtLGLxycVkuVQeJYjqUD9JD5mw7Zty27tVFpaqdcUytChQyElJQWmTZvGzF2oXVu3bp3JwQzT/PIraMxOiJo1fLx+/TqUL1+eCel3333X42PPytMyeyLSVkmJTjBuev9+b4+CkAlO61Mw2cGXX37JalIj9evXZ7ZrzEZEEGrEF1XfIqjmllJ1o/MYT0BAAEyfPp01b3Poyl3Q6QWoHBXKGkEoEad0KitXroRGjRqxWMmmTZuydujQIbYNXyMINYL5ZIpqhOcRw7IUZZ8mCFesqLHMJHppvv322xbbcQaNr2FxDoJQHT7o9a10TI5kNRQmqDGFqJhk5r//KIWoynFKUGP5Sb5OtMgTTzwBH374ISiCouyJhd5rX6pQ1uediUR7rN78BkHnZ7Ov0xpt1H4BtkKALWODObRGYyofsxzE2aKDOBs1b9u2FX8tZfPW8n3j9/Dfx9ul+XjvPG67aHvXcnZr3g7OG4jNZS5tl8F0SOj52R9/bZFClOKoFU9ugQ6OXE1j/TZKyUgmgmlDd+0y9wlV45SgxlKT27dvL5TwZMeOHdC5c2dXjY0gFIWfXmBN6jXCs6CQztfpoUJkMFQvFwaKAkPVVq0y9wlV45SgHjhwILz22mvMRt2uXTtToY5ff/2VZRfCkpf8ewlCFZDqW5Zq79bxZZkXuqLAuGlj3DpBOCWoJ0yYwB4xRSA2W68hlPyEUBOk+panoG5HjmSEGgW1df1pRSMZ91rc52z3edOv2PfjbNGg5XNPc3HUpjzVxQ+Tzweeb7QD5/qbbdFB/jqJvOBFx2Lz8PZjvi/aq/kSlgWcvdqiTCfXL9Aa+jpu7HruvPB90UAs8OdSKji6OF8CO7C5O2ds1KT6lg0FOj0cvHxXmfZpBBc427cb+mhO9EKiGEI+uDXlDeb4vXr1qju/giDkgw+WuVQqJ66nQ06BDqLCAqF2hQhQHLm5AN27Gxr2CVXj1gSyly5dgoKCAnd+BUHIBlJ9y9A+Xb2sR8sRugxUrTVoYO4TqoYyvROEq9AJABpB+jXCYyiyEAdPWBjAyZPeHgUhE0hQ8xS3GrIrdprbritsoxYkbNSiTdRsabasVy3mykYKOBt0ntbwhQH+5nzbARrzIPy5Pm+XlorLtoVgw17Nj4fPEc7bz/mYaXG7GC/O9sX1+Zhy0WDP1/G2OK8Wfb/C2/l86xLuFBa/n43f1xlVNX6r5Ira8d0RToIpQ/ddUmAhDoKQgAQ1QbgKHy3KoTTOJmVARq4WwoP8oUGlUt4eDkGUGKqfRhAuAlfvRTXCM+y7eJs9tqxeFgL8FXqLwxSivXoZGvYJVaPQfzFByA8sa1pUcwSs7dy6dWuIjIyEChUqwODBg1nFOqJ4RLW3Yu3TCIbAYo5vbL4UDkvIT/U9f/58U81auWFa6UjZnW3YK23FSBfZF22tWj5+mbP38gMy2nz5eGKBjzk22qIRHRdTmW+0QWv8bcdIW9Sx1tgfRy2FaKPm5Y6es1fzMdd8HW6x9rbU8fG2e5NNn9/G93m7tM5W3Do/4MKvW/fF91ik/3bm9OB+pO6pDt5rt27dChMnTmTCWqvVwhtvvAG9e/eGU6dOQXh4uBODUweCIJgcyRRtn8a0oUuWmPuEqnFKUD///PMszzc+8nz11VeQmJgIn332GXv++OOPu2aUBKEAXJnwZN26dRbPFy9ezFbWmLa3S5cuJRqnL3MhNQtSM/MhKEADTaqUBsWCKUSHD/f2KAil16Pu2LFjoe0dOnSA3377zRXjIgjlOpNJNQC4d++eRcvLy7Nr1+np6eyxbFkFrxI9gLiabl41CoIDKJsX4Rs4Jahv374NpUsXnq2WKlUKUlNTXTEuglBswhOphlStWpVdO2JDW7Q9KXtffPFFNjlu1KiR+w9EwSg+fppPIbp/v6FRvQTV45TqG9XeqJp77rnnLLb/888/UKNGDVAEppWO1TYbqkqT7VMqrlcn0TcGRUtV7tHw9lwxIQZnzwZuQaDnvFf1nK3ZT+zzUy6peGlb9a0lAnztyTlu3si/bttGbYptlqjHbSsfui17P+trbW8Xy3DbslsX/hwU/Tkn7o1+OkEyPh1fQzClLk5oRYLtsD+irfrEiROsjCxRtH1674Xbys3vzYNpQ9u0MfQzMwHIL0HVOCWoX375ZSakU1JS4L777mPbNm7cCB9//LHJPk0QqsOOOGoU0rygLg68ztasWQPbtm2DKlWquGqkPsm1uzlwIz0XAjR+0CIuChQNzpTj4sx9QtU4JaifeuopZlt79913YdasWWxb9erV4ZtvvoEnn3zS1WMkCNXVo8bV4f/+9z9YtWoVbNmyBeLj410xQp9mj3E1jU5kYUEKz+WEKUQvXfL2KAiZ4PS/+dlnn2UNV9WhoaEQEaHACjUE4UKKipd2NI4a1d1Lly6FP/74g8VSJyUlse1o18brjSjMXtE+XUPham+CsKLE087y5cuDklc//A3UVuy0pY3avI1LoQ0Cb+/kk3WLNaYtYo55Gy23D6M9WuAr/XB2Z0Gi2IOxPLRVEDj3ukVwML+9aBu15eccEDJ8nm3+Y+Jx8+fQoga1jfhzC5uxROx0MXHUov2Zbdfa/p3EvuU2JwKp0a9BqviGg+FZqJ1CunXrZrH9+++/h1GjRjk+NhXgM45kBOEqQY1hWCtWrIArV65Afn6+xWuHDh1ydrcEoVhcuaJG1TdhPzfTc+DKnWzAeW6r6j4gqNGZbNgwQ3/5coCQEG+PiFBaeNYXX3wBo0ePZlnHDh8+DG3atIFy5crBhQsXoG/fvq4fJUEoRksjFUft7cH5NnsvGFbTjSqXhohghdunEQzJ+uMPQ6PwLNXj1D/666+/hgULFsBjjz3GMiZNnjyZhWVNmzYN7twxXDCKWf3wqR0t1K9cX19MSBYf9mNDc81rPf15lTmv2hY/aLGNH7Bfseps7uAceK/U90n1nVODm86tRHlQC9W2DRW2dJrWwn3J13nVtg1zhaag8DaHYGpv36xHPXfuXPjwww+Zrbxp06bw5Zdfsgm6FGlpaTB16lT4/fff2T0hLi6ORYT069fPLePbayzE4TNq76AggAULzH1C1TglqFHdjVnIEHRsycjIYP0RI0ZAu3btWCpRglAbrlR9y4lffvmFhWTOmzcP2rZtywRunz59WJEQTGtqDZrCevXqxV5DE1nlypXh8uXLEBUV5fYVdVulx0+LBAYCjBvn7VEQSlZ9x8TEmFbO1apVgz179rD+xYsXybZGqBc7UogqkU8++QTGjRvHzF0NGjRgAjssLAwWLVpk8/24He8Pq1evZtnUMHSza9eubCXuDpLv5bIc36h0au0rK2qCKKmgxiQnf/75J+vjxfvSSy+xGfTQoUPhwQcfdEqthhdzSEgIm7Hv27evyPfjjL5u3bpsNY8pGfH7c9H5giC8CZYjLKopEFwdYyGQnj17mrZpNBr2fPfu3TY/g/eG9u3bsxAz9GPBtKezZ88GnZtsrWJYVv2YUlA6NBB8Avy/nDxpaAr97xBeVn2jfRrzDyN4MUZHR8POnTth4MCB8Mwzz7hVrYaxpa+//jqbtaP6/dy5cyxcBdN04szfboyrHItUoTqpFKIG+6mGe51Pf6mxSN9p+RWGz3PbpN5bXPIhB5ITmezdRe3Dz04btpSt3JGx86ZtCRu1zXA4KRt1MdstItUkQrlshWLxNmr/AmfCs4r4nRR6r8Xc/ShgrcvV4vMzZ87Y/Aw6lW7atAmGDx8Oa9euZRX1JkyYAAUFBTB9+nSbn8EESnyBEixY4rB9uoYPraZzcgDEvO6UQlT1OLWixhk11sjFlS+mN8SVLc6w0WHEujyfq9Vqu3btYuo0LKGJq3Cs0YtObcWtwgnCUzZqqaYWcBKPk2yc0Lds2ZJp2tCxDK9tKbA4CV+sBDVlqrVPi0RHGxqhepxaUaMwRscxrKJlDa5s7VVxiWq1KVOm2K1Ww1X0kiVLmGBGr1OcveOsHcdDEF5Fp5deOrPXlAdqy/z9/eHWrVsW2/E5+qrYolKlShAYGMg+J1K/fn3mMY7XfJANL2a8B6BmjV9R2yOsUzPzICE5k/Xb+JJ9GlfQKSneHgWh5BU15iB+9NFH4ebNm2z2zDdH7FBFqdXElInW4Er67bffhk6dOrGbQc2aNVn2pjfeeMPm+1GdZl0DmCDcgg86k6FQxVUxFt0Rwescn6Md2hao8UJ1t2geQ9BEhQLclpAWq4iJBUscKVwi5veuFxMJZcMpjInwTZxaUeNsGme/1gLWE2CBAnRMwVhutGnjDeGFF15gxUHeeustmyq1mTNnFtqONmhmk7YobQk2+6JtWs/bpW2kCrVG3LUg9V5bn3OyqIOfox/zcyDdqA27upStvViKSdPK9y1s2BLpWy1i2/WFY6QtU5YKNn8/0Xbtn8+97oyNGooSyMoU1Ahe6yNHjoRWrVoxLRb6kWRlZTFzFYKFeDAES6ytjTUAMEQTr0uc1CckJLBr9vnnn3f52HafNwjq9jV9TO1NECUV1I888ggTmLia9bRaDYUxqrnHjh3Lnjdu3JjdNMaPH8/sYKg6d4VKjSAcBtXbgoSKW8Geu2hjxuI7mNAINV3NmjVj5i9xoo55FfjrDq+v9evXs2iMJk2aMCGOQvu1115z+dh2G1fU7X2tEAdGsYwZY+h/9x2lEFU5TglqnC0PGTIEtm/fzgQlqqB57J0582q1wYMHW6jVsA6vLbKzswsJY9EWZiuGG1Vq2AjC7QhFCGqp7QoBr0epaxIn7dagWlzMr+AubmH8dIohftrnHMnQhLh0qaEvZigjVItTgnrZsmWwYcMGFveMFyk6kIlg3xEVl6NqtQEDBjBP8ebNm5tU37jKxu288wpBeJyibNEKtVHLGdE+3TC2FJQO85H4aRG05X/6qblPqBqnBDWqmNHui/HM1qtbd6vV3nzzTTYZwMfr16+zMpsopN99912nCihYxksLNu2Zeq0xjtpfKp82Z7vm7semMpb22HDFmGs7bLgW2528/5vs0ZJlMLm+RblN+z9XnA3ekbKikvZqi9j3oj/Hx8nbjKPmSlv6OWOj9lHVt1wx2ad9Te2NoJbyxRe9PQpCyYIaQyxQwJZUSDujVgsICGBJE6QSJxCE16tnSb1GuMc+TY5khI/jlKRFVTVmFCMIwrfDs+TKjbQcuHw7G/w1ftDaF+pP29LAXLpkaKSNUT1Oragx9vmDDz5gnp3o1WntTOZQKk+C8CUHIJO9wwo91RR2h9ob609HhviYfVpMIRofb+hTClHV45SgPn78OHPmQk6cOGHxGu9YJmuMtYP9eLukRF8TINiIh+aPk88Bzm3VFHMuLOyyQtH2VUl7tVCkvVcSv2JqXkvUxRa3S+cs554U91ewsFc7YGu26PO52ot5XcJe7WfDRq0pcGIVQ85kHsNnw7J4wsK8PQJCyYJ68+bNrh8JQSgdNimQEMjchIEoOT6f6ARX0FlZ3h4FoWRBTRBEYQS9DgQJ1bfUdsJxrt7JhutpORCg8YNWcWW8PRyCcDskqAnCVTD1Nqm+3U1GrpapvNHKEh5MtzDC91Htv9xPpwM/0IGf3hwc7cdVOPKzyOtttFFLlXk21qsubNstfHOWsjWbbNSStZYlamXbqHltl8rVaD+Xzu9dtL3a4nWJ+HIe8XOScd82akhbniupnOx84Lr4eTvs0hZ9feE4aq0TK2D0zvXzzcxkcqJBbClYNr6dzUyEPgPW5hZDVr/6ClMsentEhBdxTSA0QRAUnuVhFOO46gxaLcC33xoa9glVo9oVNUG4GkGnA4FXifCvkY2acAQMeX3nHXOfUDUkqAnCVaAaXkq3TytqwhEwv/fUqd4eBSET1CuoTXHUepuxs4I/ZxUoxtbMmblt1nGWytNtM0+1jfjeovKQm95vEUdd2IYtnevbdtyz4M/ZoG3EV1vEiPMaSN527Wzebxsx5ZJ1w/lzIb5HIn+7pJ1f/A9wGaD8CpxYAbPvl7JRk6AmCMI51CuoCcItqm/bbh+k+iYcAid2qamGfnS0VYIlQm2QoCYIFyHoBZue/uw1WlETjpCdDVChgqFPKURVj+oEtXjD1OryDM+5kCw9512p05pPjd5YJUzPzWr1nF5Xz4VnuU31LXhY9S0Uo/r284DqW/CQ6lv8D1hsM6+A7927B5GRkcV6GWuFPMkwLC0UFPlZwvZ1iudelfBZyfAccP9HQv7Yc79wBD9BZVP9a9euQdWqVb09DEJhpKenQ6lSpWy+lpubC/Hx8ayeelHExMTAxYsXISQkxE2j9B3oOiV89X7hDKoT1Hq9Hm7cuGFzxoOzd7w5XL161aUnWWnQeSh8HipXrlzkDBmFNdZpL4qgoCAS0i64TtXyn/W1Y/K14ynqmFy9olad6luj0UCVKlWKfA+ecF/5I5UEOg8G8BwUd9GhACYh7NnrVC3/WV87Jl87Hk8cE2UmIwiCIAgZQ4KaIAiCIGQMCWqO4OBgmD59OntUM3QeDNB5UA6++Fv52jH52vF48phU50xGEARBEEqCVtQEQRAEIWNIUBMEQRCEjCFBTRAEQRAyRnWCeu7cuVC9enUW89q2bVvYt2+f5Ht///13aNWqFURFRUF4eDg0a9YMfvrpJ1DbeeBZvnw5iykePHgwqO08LF68mB073yh2Wh6/Tbdu3Qr9Ntj69+9ves+oUaMKvX7//fd75Fi2bdsGAwYMgNjYWPa9q1evLvYzW7ZsgRYtWjBHpVq1arH/n6uuY08fD95Le/XqBeXLl2fxxu3bt4f169dbvGfGjBmFfp969eqBp3D0mPD3sfWfs85Q6IrfSFWC+pdffoGXX36ZeekdOnQImjZtCn369IHk5GSb7y9btixMnToVdu/eDceOHYPRo0ezZv0H8/XzIHLp0iWYNGkSdO7cGXwBZ84D3mRu3rxpapcvX/bomNWCo78NCgL+dzlx4gT4+/vDkCFDLN6Hgpl/37JlyzxyPFlZWewY8KZtD5hqFicZ3bt3hyNHjsCLL74IY8eOtbj3OHsde+N4UAiioF67di0cPHiQHRcKxcOHD1u8r2HDhha/z44dO8BTOHpMImfPnrUYcwWxmIorfyNBRbRp00aYOHGi6blOpxNiY2OFOXPm2L2P5s2bC2+++aagtvOg1WqFDh06CN9++60wcuRIYdCgQYLScfQ8fP/990Lp0qU9OEL1UtJr9dNPPxUiIyOFzMxM0za5/G/xtrtq1aoi3zN58mShYcOGFtuGDh0q9OnTx6X3M08djy0aNGggzJw50/R8+vTpQtOmTQU5AHYc0+bNm9n77t69K/keV/1GqllRYx5mnMn17NnTIk0hPscVc3Hgb7dx40Y2e+rSpQuo7Ty8/fbbbKY4ZswY8AWcPQ+ZmZkQFxfH8vsOGjQITp486aERq4eSXqvId999B8OGDWMmK2t1Jf6P69atC88++yzcvn0b5AgeJ3/8CK7ExON3xTnydi73jIwMprXkSUhIYKrnGjVqwPDhw+HKlSsgd9AkWqlSJaYx2Llzp2m7K38j1Qjq1NRU0Ol0ULFiRYvt+LyoqkdYBSUiIoIVVEBV1Jdffsl+EDWdB1Q/4Y1v4cKF4Cs4cx7w5r5o0SL4448/YMmSJexm06FDB1bpifD+tSqCNkBUfaOq2Frt/eOPP7IJ9/vvvw9bt26Fvn37su+SG3icto4fi0Dk5OSU+Bx5m48++ohNeh999FHTNrTfoh1+3bp18M033zD1P5rZMjIyQI6gcJ43bx6sXLmSNZy8o68EqrgRV/5GqivK4ShYBQVtRPinwgsc7Q0428MfRA3gRTJixAgmpKOjo0HNoAMMNhEU0vXr14f58+fDrFmzvDo2wgxOKhs3bgxt2rSx2I4rbBF8vUmTJlCzZk22yu7Ro4cXRqpOli5dCjNnzmQTXt6ei5MmEfxtUHCj9mrFihWy1OThxB0bfz84f/48fPrppy53OlaNoEYhg84lt27dstiOz7FOsBSoqkCPS1HFcfr0aZgzZ45iBbWj5wH/eOhEho4fIriSRAICApgpAG92avk/8AQGBkLz5s0hMTHRTaNUJyX5bdAhCCMT0FRTHDjhxu/C309ughqP09bxozNjaGgoOz8l/f96A/xtUNPx66+/FlLtW4PRNnXq1FHU9YWTQ9EBzhX3GNWpvlF13bJlS7Yq5gUOPudXScWBn8nLywO1nAcMjzh+/DjTKoht4MCBJm9UVPeo9f+Aai08N6gCI+Tx26AAwOvziSeeKPZ70GSBNmo5/n54nPzxI//++6/p+F11P/Mk6GGPUTP4yIfNSYFaTFwoVJLh7yMF3hPF8br0NxJUxPLly4Xg4GBh8eLFwqlTp4Tx48cLUVFRQlJSEnt9xIgRwuuvv256/+zZs4UNGzYI58+fZ+//6KOPhICAAGHhwoWCms6DNXLxnvX0eUAP1fXr17P/w8GDB4Vhw4YJISEhwsmTJ714FL6Js//RTp06Me9oazIyMoRJkyYJu3fvFi5evCj8999/QosWLYTatWsLubm5bj8e/P7Dhw+zhrfdTz75hPUvX77MXsdjwWMSuXDhghAWFia8+uqrwunTp4W5c+cK/v7+wrp16+w+R3I6np9//pndO/E4bt68aWppaWmm97zyyivCli1b2O+zc+dOoWfPnkJ0dLSQnJzs9uNx5pgwsmD16tVCQkKCcPz4ceGFF14QNBoN+2+5+jdSlaBGvvzyS6FatWpCUFAQc53fs2eP6bWuXbsyISQydepUoVatWuxmXKZMGaF9+/bsxKvtPPiqoHb0PLz44oum91asWFHo16+fcOjQIS+N3Pdx9D965swZdoPFybU12dnZQu/evYXy5csLgYGBQlxcnDBu3DiPCDU+lMe6iceAj3hM1p9p1qwZO/4aNWqw8EBHzpGcjgf7Rb0fwQlWpUqV2LFUrlyZPU9MTPTI8ThzTO+//75Qs2ZNJh/Kli0rdOvWTdi0aZNbfiOqnkUQBEEQMkY1NmqCIAiCUCIkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGQMCWqCIAiCkDEkqAmCIAhCxpCgJgiCIAgZQ4KaIAiCIGQMCWo3g2XbMLm8I2DBjxdffNGhz5w5cwbatWsHISEhrHiI3PDz84PVq1cX+z4sAILvxZy5RYH7wmIpmPTe0XNFEO7G3v+xmpgxY4bD96bs7Gx4+OGHWTESPJ9paWkgJ5y5VzsDCWo3M3ToUDh37pzp+e+//87qWZcvX579+TA5+/r16y0+g+9xtGzi9OnTITw8nFWzsk7m727h6g2efvppeOSRR+Dq1atUYpIgZCBUi2PSpEkO35t++OEH2L59O+zatQtu3rwJpUuXVoxwdSUkqN0MlqTja65u27aNCeq1a9fCwYMHWRUqLCF5+PBh03vKli3L6mA7AlaZ6dSpE6vfWq5cOfBlsKpOcnIy9OnTB2JjYx0+VwShVvLz87323REREQ7fm/C+Vr9+fWjUqBErDYmLB1VSsjTmvo9Op2NVtKpXr86Srzdp0kT49ddfLZK4r1mzRmjcuDGrktK2bVtWSUUEE+mXLl26yO9o0KABq8wkgonfsRKLCBYQePfdd4XRo0cLERERQtWqVYX58+ebXrdOIj99+nS2/cqVK8KQIUPY92NRkYEDB7LKNDzfffcd+35MGB8TEyNMnDjR9J38PvG5CFaMad68OTve+Ph4YcaMGUJBQYHp9XPnzgmdO3dmr9evX58VScB9rFq1qtjzjePD965cuZIluQ8NDWXnfNeuXRbnnG+4TTzPf/31l1CnTh32uYcffljIyspilWtw/Fi15n//+5+g1WqLHQchL/CaeO6559h1gb9jhQoVhAULFgiZmZnCqFGj2HWBBRLWrl3L3o+/8VNPPWW6bvE/8dlnnxXar9T/vzjwf/f1118L999/P9s/XgfifcGe/zGSmprKKrDFxsay1xs1aiQsXbrU4nvu3bsnPP7446ySFo4PKzpZ3x+KAv/3b7/9Nqv6FBkZaSowMXnyZFY5DL8Xx/7mm28K+fn57DW8lqyvMbEgyN27d4UxY8awqla4v+7duwtHjhyxayx4X2ratGmh4j4ffvghOzYsbDFhwgTTOKwLeXQ1FsTAamdYaQvPG54XLHSB9wCeHTt2sPfj8eH/BQuy3Llzh32n9bGJ90S8b+PvGR4ezv5fTzzxhJCSkmLaJ/7X8Dzi6zherKboyG9REkhQF8M777wj1KtXj5WXw/KG+IdFAYTl2EShIQqjY8eOCQ888AC7OfB/+qIENU4EUPBihZWiBDX+ibFEHJZUmzNnDiunhtWCECwX17BhQ/bnxT6Wa8Pvx3HhzQrHhSXW8IKvW7eukJeXxz6HNxq8yeAN7OzZs8K+fftY6TYES8uJFyjuUyw1t23bNqFUqVJM+OH5wOPG40VhLR4P3nB69OjBLuCtW7cyoe6ooMZzjhMgHNcjjzzCzgFOBnDsuE28CeLYcBuOE6si9erVi1W0wu8tV64cu0AfffRRVooShTjekH2lApqawGsCBcOsWbPYRBAfsexj3759mcDGbc8++yz7zXFyhv//adOmCfv372clI5csWcJu6r/88otpn0X9/4sD/3/4XVjyFj+Lgg7Hg9eZPf9j5Nq1a0xIYSlFvJa++OILto+9e/eavmfs2LHsM1g6EQXJgw8+yM6DI4Iar1cUKliJSqxGhecPS0niOP/8809WDQ6rQYmVxvBegvcUsRwlbkOw9OSAAQPYecVzju/D83D79m2nBDWO7ZlnnmGlPPH6xN8If08E94kVztq3b8/GIH4HnpMOHTqwexEeD55DvCfjeBA8n/gc/w94Dzpx4gS7v6LQxbKauD/cr3hsOKnDCQhWVpsyZQobC95D8F6CExER3B9WwcLfQrzXO/JblAQS1EWAMzf84/CzYARnlI899phJUPM3fvwz4SxOvCEUJ6jx4sDV7q1bt4oU1Di7E9Hr9WzG980335i24QUgrqSRn376iQllfK8ICjQcG9ZURnBGiqU8pbAlXFEAo4aBB78Ly9MhuG+sO3v9+nXT6//884/Dgvrbb781bUMhi9vwAkLwohJX0iLiKoAvi/f000+z3w8nLiJ9+vRh2wllgdcE1poWwZsrrmz4+sB408X/ANactgWullHLIlLc/78o8HtQwPCgNg1v5vb+j23Rv39/JvzE1TROPvmVOgoa/E87IqgHDx5c7PtQ2LVs2VJSqCLbt29ngtW6fjdqMngNnyOCGsfHa7hQA8jXE8fj7MqVlsTa0DiZ4e8v4n0JhSyC9+aOHTtKjsPWKhgnLjip57l69Sr7vXCShfcQnOSvWLGi0L3eE4I6wNuqdzmTmJjIvA7Rpmxt52nevLnpOTqE8fblunXrwunTp4vd/9KlS2HmzJnwxx9/WNixbdGkSRNTH+00aK9BO60UR48eZeO3tt/m5uYyuw9+9saNG9CjR49ix2m93507d8K7775r2qbT6dh+8VzhcVetWpXZjm2dH3vhj7dSpUrsEcdcr149yc+EhYVBzZo1Tc8rVqwI1atXZ7YxfltR542QL/x/Ar390d7ZuHFji98WEX/fuXPnwqJFi+DKlSuQk5PDrlvRQcrZ/z+P9f8an1t7eRf1P8brZvbs2bBixQq4fv06G19eXh77HyMXLlyAgoICaNOmjWkf6EyF9xdHaNWqVaFtv/zyC3zxxRfsXoA+H1qtljm3Fnft43ut7cx4bnE/ztCwYUP2W/Ln6Pjx45LvP378ODtvderUsdiO500cF/4GQ4YMcWgceGybN2+2uFeI4LGJ/5+2bdsWutd7AhLURYB/SuTvv/+GypUrW7wWHBzs9J8TWb58OYwdOxZ+/fVX6NmzZ7HvDwwMtHiOwlqv1xc59pYtW8LPP/9c6DX0ONdonPMjxP3i5OKhhx4q9BqGhrkK/nhFB5Kijtf6M+LnHD1vhHwp7vfl/yd4faGX8ccff8wEKE5YP/zwQ9i7d6/JydPTY7b+H+N4Pv/8c/jss8/YhAOjNtAb2dUOX7hfnt27d8Pw4cPZdYwOmSj88XzhuSru2kdBumXLlkKvORqCWpL7mr+/P3PE5QU8IgpZZ35b3C869b7//vuFXsNjxkWPNyFBXQQNGjRgAhln5F27di30uiio9+zZA9WqVWP9u3fvsnAs9FSUYtmyZfDUU0+xi6N///5uGXuLFi3YrBlX6lIzZVxtYrgEep5LXUQ4e7XeL4aAYQyzLfC4MWQKQynEFQSeH4LwJKj16dChA0yYMMG0jZ9Yo+Au7v9fHPi/fvLJJy2e85o2e8Y4aNAgeOKJJ9hzFFB478D7DlKjRg12De7fv990f0lPT2fv6dKlCzgLhjphdMjUqVNN2y5fvmzxnqCgIJvXflJSEgQEBLBz5w2aN2/OxoVaic6dO9t8D2ox8HfFiYgtpI5t5cqV7Ljw+KxBTR3+FjjRs77X25INrobCs4oAL2aclb/00kssng8v9EOHDsGXX37Jnou8/fbb7I9x4sQJGDVqFERHR8PgwYMl1d14cePsFdUo+MfHhhegK8EZM44DbwQYh3jx4kU2E37++efh2rVrplhJHAeqwBISEkzHJiLeyHB8+KdEpk2bBj/++CO7CE6ePMlU3TjhePPNN9nrqB1AtdTIkSOZOgm/m78hEIQnqF27Nhw4cIDlKMCb6VtvvcUEHk9x///iQG0YqtZx/5jHYN++ffDcc885NMZ///2XCU68jjA3wK1btyzuP3gdvfrqq0wti9fbmDFjmDasJGFK+L24+MDrFu9pePyrVq2yeA9e+3jPQDVyamoqUy3jtY3aCby3bdiwgSV1wbHj9Y3n2hPUqVOH3dvwHor5JnCMeN7nzJnDNJ/IlClT2G+Nk7Rjx46xZFDffPMNOw7x2FDg4vhxG06QJk6cCHfu3IHHHnuMfRbPC/53Ro8ezYQ6rtbx3ONvsWnTJtO93lnNpKOQoC4GTKaBFzn+EXC1eP/997M/RHx8vOk97733HrzwwgtM1YxC7a+//mKzNlssWLCA2YPwj4ErTrHh510J2rkwZhtnf6imxrHjHw1tyeIKG28CqHb7+uuvma3ogQceYDcsEbyJ4Y0Ebc7iSgFVZWvWrGEXauvWrVk2tE8//ZTN0BH84+JFjzYdtK2hep+3ZxOEJ0Chh/97TDiEE+Lbt29brK7t+f8XB05WUdjhCg4nr6gpE1fD9oCTW1zJ4TWFSTjQ78R6gv/JJ58w4YhjQ0HZsWNHdi2XxMw0cOBAtvjASQXa7FHY4j2OB7OB4b0OtQ1oKsNjw8kB5n/A1TwKMBSaw4YNY6tx0T/AE3z//fdMUL/yyivMRoznjNc64Ljw/oQLBbwH4flDPyBxpYyLL1Sb42+Fx4aTFvSpQQ0HCuXevXszUwSaIVClLwpjNFXgKh5V5PhbYN4KvOd7Aj/0KPPIN/kguELFPzKuNp210RAEoTxQaOGEVEpz5i6ysrKYvwxOonHiTagDslETBEHIFMxYiKpbXBmieQzNbAiatAj1QKpvwqNgOArae2y1vn37ent4BMEiJaT+o6gi9zQfffQRNG3alKlbcUWNfh/of4KPUuO0FWbkbvDcSI3FVvQJYT+k+iY8CjpsYLMFhlVYh8ERhKfJyMiwcOriQc9f0R/D26AfCMZfSyEVmeEu0FaNcd+2QBs25eR3HhLUBEEQBCFjSPVNEARBEDKGBDVBEARByBgS1ARBEAQhY0hQEwRBEISMIUFNEARBEDKGBDVBEARByBgS1ARBEAQhY0hQEwRBEATIl/8DM5vBmB2gwE0AAAAASUVORK5CYII=", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "if history.n_populations > 1:\n", " fig, ax = plt.subplots(figsize=(8, 5))\n", " visualization.plot_epsilons(history, yscale='linear', ax=ax)\n", " ax.set_title(\"Tolerance (epsilon) over ABC-SMC populations\")\n", "\n", "df_posterior, w = history.get_distribution(m=0, t=history.max_t)\n", "display(df_posterior.head())\n", "\n", "print(\"\\nParameter recovery:\")\n", "for param, true_val in dic_real_value.items():\n", " mean = df_posterior[param].mean()\n", " std = df_posterior[param].std()\n", " print(f\" {param}: true={true_val:.3f} posterior={mean:.3f} ± {std:.3f} (relative error {abs(mean-true_val)/true_val*100:.1f}%)\")\n", "\n", "visualization.plot_kde_matrix(df_posterior, w, refval=dic_real_value, refval_color=\"red\")" ] }, { "cell_type": "markdown", "id": "ef1d9232", "metadata": {}, "source": [ "---\n", "This completes the UQ-PhysiCell example series. To combine sampling (ex5/ex6) with calibration (ex7/ex8), use `calculate_qoi_from_db_file` to compute QoIs from an existing raw-MCDS database and feed them into a `CalibrationContext` without re-running any simulations." ] } ], "metadata": { "kernelspec": { "display_name": "pcvenv", "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.12.3" } }, "nbformat": 4, "nbformat_minor": 5 }