{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# 4. Confined Aquifer Test - Nevada" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Import packages" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "outputs": [], "source": [ "import matplotlib.pyplot as plt\n", "import numpy as np\n", "import pandas as pd\n", "\n", "import timflow.transient as tft\n", "\n", "plt.rcParams[\"figure.figsize\"] = (5, 3) # default figure size" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Introduction and Conceptual Model" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "This example is taken from Kruseman and de Ridder (1990). It is based on a pumping test conducted in a fractured tertiary volcanic aquifer near Yucca Mountains, Nevada, US. \n", "\n", "The borehole extends to 1219 m depth and penetrates a 400 m thick sequence of fractured volcanic rocks with water entry points. At every entry point, the head is more or less the same, so they have good hydraulic connection. The water table is about 470 m below land surface, which indicates confined conditions. Drawdown data was monitored at the well, named ***UE-25b#1*** and at an observation well, named ***UE-25a#1***, 110 m away. Three pumping tests were conducted at the site and will be the object of our investigation. \n", "\n", "Although conventional Darcy flow does not apply to flow in discrete fractures, the fracture network at this site is sufficiently pervasive to justify the application of Darcy’s law at the aquifer scale. Groundwater flow to the well occurs through fractures, while the matrix exchanges water with the fracture network. For implementation in `timflow`, the fractured aquifer system is approximated using a ModelMaq configuration. This is achieved by representing the matrix as an upper aquifer layer, separated by a 1 m thick aquitard from a lower aquifer layer representing the fracture network." ] }, { "cell_type": "markdown", "metadata": { "scrolled": true, "tags": [ "hide-input" ] }, "source": [ "" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Load Data" ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "outputs": [], "source": [ "# time and drawdown of pumped well UE-25b#1\n", "data1 = np.loadtxt(\"data/double-porosity-pumpingwell.txt\", skiprows=1)\n", "t1 = data1[:, 0] # days\n", "h1 = data1[:, 1] # m\n", "\n", "# time and drawdown of observation well UE-25a#1\n", "data2 = np.loadtxt(\"data/double-porosity-110m.txt\", skiprows=1)\n", "t2 = data2[:, 0]\n", "h2 = data2[:, 1]" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Paramaters and model" ] }, { "cell_type": "code", "execution_count": 10, "metadata": {}, "outputs": [], "source": [ "# known parameters\n", "H = 400 # aquifer thickness in m\n", "Q = 3093.12 # constant pumping rate in m^3/d\n", "r = 110 # distance from pumping well to observation well in m" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "For the `timflow` model, we will adopt the parameters for the first layer from the results obtained from Kruseman and de Ridder (1970). " ] }, { "cell_type": "code", "execution_count": 12, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "outputs": [], "source": [ "# parameters calculated by Kruseman and de Ridder (1970)\n", "km = 0.1 / H # hydraulic conductivity of matrix\n", "Sm = 3.75e-4 # specific storage of matrix" ] }, { "cell_type": "code", "execution_count": 13, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "self.neq 1\n", "solution complete\n" ] } ], "source": [ "ml = tft.ModelMaq(\n", " kaq=[km, 1],\n", " z=[0, -400, -401, -801],\n", " c=5,\n", " Saq=[Sm, 1e-3],\n", " Sll=0,\n", " topboundary=\"conf\",\n", " tmin=1e-5,\n", " tmax=3,\n", ")\n", "w = tft.Well(ml, xw=0, yw=0, rw=0.11, rc=0, tsandQ=[0, Q], layers=1)\n", "ml.solve()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Estimate aquifer parameters\n", "The aquifer parameters are estimated using head observations at both wells." ] }, { "cell_type": "code", "execution_count": 47, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ ".........................................................................................................................................................................................................\n", "Fit succeeded.\n" ] } ], "source": [ "cal = tft.Calibrate(ml)\n", "cal.set_parameter(name=\"kaq\", initial=10, layers=1)\n", "cal.set_parameter(name=\"Saq\", initial=1e-4, pmin=0, layers=1)\n", "cal.set_parameter(name=\"c\", initial=10, layers=1)\n", "cal.set_parameter_by_reference(name=\"rc\", parameter=w.rc, initial=0)\n", "\n", "cal.seriesinwell(name=\"UE-25b#1\", element=w, t=t1, h=h1)\n", "cal.series(name=\"UE-25a#1\", x=r, y=0, t=t2, h=h2, layer=1)\n", "cal.fit(report=False)" ] }, { "cell_type": "code", "execution_count": 41, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "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", "
optimal
kaq_1_10.877136
Saq_1_10.000005
c_1_112.912474
rc0.105678
\n", "
" ], "text/plain": [ " optimal\n", "kaq_1_1 0.877136\n", "Saq_1_1 0.000005\n", "c_1_1 12.912474\n", "rc 0.105678" ] }, "metadata": {}, "output_type": "display_data" }, { "name": "stdout", "output_type": "stream", "text": [ "RMSE: 0.198 m\n" ] } ], "source": [ "display(cal.parameters.loc[:, [\"optimal\"]])\n", "print(f\"RMSE: {cal.rmse():.3f} m\")" ] }, { "cell_type": "code", "execution_count": 17, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [] }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAq4AAAHbCAYAAAAK+BjpAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8fJSN1AAAACXBIWXMAAA9hAAAPYQGoP6dpAACJC0lEQVR4nOzdd3xT5eLH8U+S7pa20EIHtJS9lwIylOFPmeJAFMUBDrwKykVFL25ABa6K4t4XcaA4wIHoBZWCyBAZKleRIVBm2W3pbnJ+f4SGpjslbZrwfd9XXk3Oec7Jk5yW+/U5zzAZhmEgIiIiIlLLmT1dARERERGRylBwFRERERGvoOAqIiIiIl5BwVVEREREvIKCq4iIiIh4BQVXEREREfEKCq4iIiIi4hUUXEVERETEKyi4ioiIiIhXUHAVEXEjk8nElClTXD5u165dmEwm3nnnHbfXqaYlJSUxZswYT1dDRHyQgquI+Jx33nkHk8mEyWRi5cqVJfYbhkFCQgImk4lLLrnEAzWsuuTkZMdnM5lMWCwWGjRowIgRI/jzzz89Xb1S/fHHH0yZMoVdu3Z5uioi4uUUXEXEZwUFBTFv3rwS25cvX87evXsJDAz0QK3cY8KECbz33nu89dZbXHfddXz99ddccMEFHDx40NNVK+GPP/5g6tSpCq4icsYUXEXEZw0ZMoRPPvmEgoICp+3z5s3j3HPPJTY21kM1O3MXXHAB119/PTfddBPPPfcczz33HEePHuXdd9/1dNVERKqNgquI+Kxrr72Wo0ePsnTpUse2vLw8Pv30U0aNGlXqMZmZmdx7770kJCQQGBhIq1ateOaZZzAMw6lcbm4ud999N/Xr16dOnTpceuml7N27t9Rz7tu3j5tvvpmYmBgCAwNp164d//nPf9z3QbEHWYAdO3ZU6b1ffPFF2rVrR0hICHXr1qVr165OrdVjxowhKSmpxHFTpkzBZDKVWa933nmHq666CoD+/fs7ujgkJycD8MsvvzBw4ECio6MJDg6mSZMm3Hzzza5+fBE5S/h5ugIiItUlKSmJnj178uGHHzJ48GAAvvnmG9LS0rjmmmt44YUXnMobhsGll17KsmXLuOWWW+jcuTP//e9/ue+++9i3bx/PPfeco+ytt97K+++/z6hRo+jVqxc//PADQ4cOLVGH1NRUevTogclk4s4776R+/fp888033HLLLaSnpzNx4kS3fNbC2/B169Z1+b3ffPNNJkyYwIgRI/jnP/9JTk4Ov/32G2vXri0z4FdWnz59mDBhAi+88AIPPvggbdq0AaBNmzYcOnSIAQMGUL9+fSZPnkxkZCS7du1iwYIFZ/SeIuLDDBERHzNnzhwDMNatW2e89NJLRp06dYysrCzDMAzjqquuMvr3728YhmE0btzYGDp0qOO4zz//3ACMJ554wul8I0aMMEwmk7F9+3bDMAxj06ZNBmCMGzfOqdyoUaMMwHjssccc22655RYjLi7OOHLkiFPZa665xoiIiHDUa+fOnQZgzJkzp9zPtmzZMgMw/vOf/xiHDx829u/fb3z77bdG8+bNDZPJZPz8888uv/dll11mtGvXrtz3HT16tNG4ceMS2x977DGj+P+VNG7c2Bg9erTj9SeffGIAxrJly5zKLVy40HGdREQqQ10FRMSnXX311WRnZ7No0SIyMjJYtGhRma2IixcvxmKxMGHCBKft9957L4Zh8M033zjKASXKFW89NQyDzz77jGHDhmEYBkeOHHE8Bg4cSFpaGhs2bKjS57r55pupX78+8fHxDBo0iLS0NN577z26devm8ntHRkayd+9e1q1bV6W6VFVkZCQAixYtIj8/v0bfW0S8k4KriPi0+vXrc9FFFzFv3jwWLFiA1WplxIgRpZbdvXs38fHx1KlTx2l74e3t3bt3O36azWaaNWvmVK5Vq1ZOrw8fPsyJEyd44403qF+/vtPjpptuAuDQoUNV+lyPPvooS5cuZeHChdx4442kpaVhNp/+J92V9/7Xv/5FWFgY3bt3p0WLFowfP56ffvqpSvVyRd++fbnyyiuZOnUq0dHRXHbZZcyZM4fc3Nxqf28R8U7q4yoiPm/UqFGMHTuWgwcPMnjwYEdLX3Wz2WwAXH/99YwePbrUMh07dqzSuTt06MBFF10EwOWXX05WVhZjx47l/PPPJyEhwaX3btOmDX/99ReLFi3i22+/5bPPPuOVV17h0UcfZerUqQBlDsCyWq1Vqn/hOT/99FPWrFnDV199xX//+19uvvlmZs2axZo1awgLC6vyuUXENym4iojPu+KKK/jHP/7BmjVrmD9/fpnlGjduzHfffUdGRoZTq+uWLVsc+wt/2mw2duzY4dTK+tdffzmdr3DGAavV6giZ1WXmzJksXLiQJ598ktdee83l9w4NDWXkyJGMHDmSvLw8hg8fzpNPPskDDzxAUFAQdevW5cSJEyWOK2yFLk95sw4A9OjRgx49evDkk08yb948rrvuOj766CNuvfXWCs8tImcXdRUQEZ8XFhbGq6++ypQpUxg2bFiZ5YYMGYLVauWll15y2v7cc89hMpkcMxMU/iw+K8Hs2bOdXlssFq688ko+++wzNm/eXOL9Dh8+XJWPU6pmzZpx5ZVX8s4773Dw4EGX3vvo0aNO+wICAmjbti2GYTj6njZr1oy0tDR+++03R7kDBw6wcOHCCusWGhoKUCL4Hj9+vMQ0Y507dwZQdwERKZVaXEXkrFDW7fKihg0bRv/+/XnooYfYtWsXnTp1YsmSJXzxxRdMnDjR0ae1c+fOXHvttbzyyiukpaXRq1cvvv/+e7Zv317inDNnzmTZsmWcd955jB07lrZt23Ls2DE2bNjAd999x7Fjx9z2Ge+77z4+/vhjZs+ezcyZMyv93gMGDCA2NpbevXsTExPDn3/+yUsvvcTQoUMdLc/XXHMN//rXv7jiiiuYMGECWVlZvPrqq7Rs2bLCAWadO3fGYrHw73//m7S0NAIDA7nwwguZN28er7zyCldccQXNmjUjIyODN998k/DwcIYMGeK270VEfIgHZzQQEakWRafDKk/x6bAMwzAyMjKMu+++24iPjzf8/f2NFi1aGE8//bRhs9mcymVnZxsTJkwwoqKijNDQUGPYsGHGnj17SkyHZRiGkZqaaowfP95ISEgw/P39jdjYWOP//u//jDfeeMNRxtXpsD755JNS9/fr188IDw83Tpw4Uen3fv31140+ffoYUVFRRmBgoNGsWTPjvvvuM9LS0pzOvWTJEqN9+/ZGQECA0apVK+P999+v1HRYhmEYb775ptG0aVPDYrE4psbasGGDce211xqJiYlGYGCg0aBBA+OSSy4xfvnll3K/AxE5e5kMo9h9GhERERGRWkh9XEVERETEKyi4ioiIiIhXUHAVEREREa+g4CoiIiIiXkHBVURERES8goKriIiIiHgFn1+AwGazsX//furUqVPhsoMiIiIiUvMMwyAjI4P4+HjM5rLbVX0+uO7fv5+EhARPV0NEREREKrBnzx4aNWpU5n6fD66FyxXu2bOH8PBwD9fG++Tn57NkyRIGDBiAv7+/p6sjZ0DX0jfoOvoOXUvfoOvoHunp6SQkJDhyW1l8PrgWdg8IDw9XcK2C/Px8QkJCCA8P1x+kl9O19A26jr5D19I36Dq6V0XdOjU4S0RERES8goKriIiIiHgFBVcRERER8Qo+38e1sqxWK/n5+Z6uRq2Tn5+Pn58fOTk5WK1WT1dHivD398disXi6GiIiIjXmrA+uhmFw8OBBTpw44emq1EqGYRAbG8uePXs0D24tFBkZSWxsrK6NiIicFc764FoYWhs0aEBISIgCQDE2m42TJ08SFhZW7oTAUrMMwyArK4tDhw4BEBcX5+EaiYiIVL+zOrharVZHaI2KivJ0dWolm81GXl4eQUFBCq61THBwMACHDh2iQYMG6jYgIiI+76xOIoV9WkNCQjxcE5GqKfzdVf9sERE5G5zVwbWQugeIt9LvroiInE0UXEVERETEKyi4+qDk5GRMJtNZN1PCmDFjuPzyyz1dDREREakmCq5SKU2bNmX27Nkltk+ZMoXOnTs7Xo8ZMwaTyVTiMWjQoDLPvWvXLm655RaaNGlCcHAwzZo147HHHiMvL8+pTGnnXbNmTZU/0+HDhwkICCAzM5P8/HxCQ0NJSUlxKvPGG2/Qr18/wsPDz8r/GBAREalNzupZBaR6DBo0iDlz5jhtCwwMLLP8li1bsNlsvP766zRv3pzNmzczduxYMjMzeeaZZ5zKfvfdd7Rr187x+kxmg1i9ejWdOnUiNDSUtWvXUq9ePRITE53KZGVlMWjQIAYNGsQDDzxQ5fcSERHxJgfSstl5JJMm0aHERQR7ujoOanF1kwNp2azacYQDadnV/l65ublMmDCBBg0aEBQUxPnnn8+6detKlPvpp5/o2LEjQUFB9OjRg82bNzv27d69m2HDhlG3bl1CQ0Np164dixcvdkv9AgMDiY2NdXrUrVu3zPKFQXfAgAE0bdqUSy+9lEmTJrFgwYISZaOiopzO6+/vX6LM1KlTqV+/PuHh4dx+++1OLbdFrVq1it69ewOwcuVKx/OiJk6cyOTJk+nRo0dlP76IiIhXm78uhd4zf2DUm2vpPfMH5q9LqfigGqIWVzeYvy6FBxb8js0AswlmDO/AyG6JFR9YRffffz+fffYZc+fOpXHjxjz11FMMHDiQ7du3U69ePUe5++67j+eff57Y2FgefPBBhg0bxtatW/H392f8+PHk5eWxYsUKQkND+eOPPwgLC6u2OrsqLS3N6bMUuvTSS8nJyaFly5bcf//9XHrppU77v//+e4KCgkhOTmbXrl3cdNNNREVF8eSTTwKQkpJCx44dAXtrqsVi4Z133iE7OxuTyURkZCSjRo3ilVdeqf4PKSIiUsscSMt2ZBoAmwEPLthMn5b1a0XLq1pcz1BZF7i6Wl4zMzN59dVXefrppxk8eDBt27blzTffJDg4mLffftup7GOPPcbFF19Mhw4dmDt3LqmpqSxcuBCwB7jevXvToUMHmjZtyiWXXEKfPn3cUsdFixYRFhbm9Jg+fXqlj9++fTsvvvgi//jHPxzbwsLCmDVrFp988glff/01559/Ppdffjlffvml07EBAQH85z//oV27dgwdOpRp06bxwgsvYLPZAIiPj2fTpk2sWLECgLVr17J+/XoCAgJYsmQJmzZtYtq0aW74FkRERLzLgbRsFv2235FpClkNg11HsjxTqWLU4nqGdh7JLPMCV8d/mezYsYP8/Hyn29r+/v50796dP//806lsz549Hc/r1atHq1atHGUmTJjAHXfcwZIlS7jooou48sorHS2RZ6p///68+uqrTtsKW09vv/123n//fcf2kydPOpXbt28fgwYN4qqrrmLs2LGO7dHR0dxzzz2O1926dWP//v08/fTTTq2unTp1clpQomfPnpw8eZI9e/bQuHFj/Pz8SEpK4uOPP6Zbt2507NiRn376iZiYGLcFdxEREW9T9O5xcRaTiaTo2rFYk4LrGWoSHYrZhNOFrk0XuCy33norAwcO5Ouvv2bJkiXMmDGDWbNmcdddd5VaPjw8nLS0tBLbT5w4QUREhNO20NBQmjdvXup5pk2bxqRJk0rdt3//fvr370+vXr144403KvwM5513HkuXLq2wXFHt2rVj9+7d5OfnY7PZCAsLo6CggIKCAsLCwmjcuDH/+9//XDqniIiINyk+8Kr43eOiLCYT04e3rxXdBEBdBc5YXEQwM4Z3wHJqBaPqvsDNmjUjICCAn376ybEtPz+fdevW0bZtW6eyRaeKOn78OFu3bqVNmzaObQkJCdx+++0sWLCAe++9lzfffLPM923ZsiXr168vsX3Dhg20bNmy0vVv0KABzZs3dzwK7du3j379+nHuuecyZ84czOaKfzU3bdpEXFyc07Zff/2V7OzT3TTWrFlDWFgYCQkJACxevJhNmzYRGxvL+++/z6ZNm2jfvj2zZ89m06ZNbhugJiIiUhuVNvCqtLvHAI8MbcPKyf2rddyOq9Ti6gYjuyXSp2V9dh3JIik6pFr/qyQ0NJQ77riD++67zzF901NPPUVWVha33HKLU9lp06YRFRVFTEwMDz30ENHR0Y4J+idOnMjgwYNp2bIlx48fZ9myZU6htriJEyfSt29fnnzySYYPH47VauXDDz9k9erVJQYy5ebmcvDgQadtfn5+REdHl3ruwtDauHFjnnnmGQ4fPuzYFxsbC8DcuXMJCAigS5cuACxYsID//Oc/vPXWW07nysvL45ZbbuHhhx9m165dPPbYY9x5552OINy4cWMOHjxIamoql112GSaTif/9739ceeWVJUIwwMGDBzl48CDbt28H4Pfff6dOnTokJiaWOnhMRESktiprXM6CcT1LvXs8pGNcrWlpLaTg6iZxEcE1dnFnzpyJzWbjhhtuICMjg65du/Lf//63xJRTM2fO5J///Cfbtm2jc+fOfPXVVwQEBABgtVoZP348e/fuJTw8nEGDBvHcc8+V+Z69evXim2++Ydq0acyaNQuz2UyHDh34/vvvad++vVPZb7/9tkQIbNWqFVu2bCn13EuXLmX79u1s376dRo0aOe0zjNN/RY8//ji7d+/Gz8+P1q1bM3/+fEaMGOFU/v/+7/9o0aIFffr0ITc3l2uvvZYpU6Y4lUlOTqZbt24EBQXx448/0qhRo1JDK8Brr73G1KlTHa8L+8HOmTOHMWPGlHqMiIhIbVTWuJysPBszhnfgwQWbsRpGreseUJTJKJoMfFB6ejoRERGkpaURHh7utC8nJ4edO3fSpEkTgoKCPFTD2s1ms5Genk54eHilbt9LzXLldzg/P5/FixczZMiQUue/Fe+g6+g7dC19gzddxwNp2fSe+UOJltWVk/s7+rrWxN3j0pSX14pSEhERERE5C1Q0LicuIpiezaJqZUtrIXUVEBEREfEh5S3XWpPjcqqDR1tcV6xYwbBhw4iPj8dkMvH555877TcMg0cffZS4uDiCg4O56KKL2LZtm2cqKyIiIlJLFS49//qKHRUu1+oNLatl8WhwzczMpFOnTrz88sul7n/qqad44YUXeO2111i7di2hoaEMHDiQnJycGq6piIiISO1UdIqrGYu31Nhqnp7g0a4CgwcPZvDgwaXuMwyD2bNn8/DDD3PZZZcB8O677xITE8Pnn3/ONddcU5NVFREREal1yls8AKp3NU9PqLV9XHfu3MnBgwe56KKLHNsiIiI477zzWL16dZnBNTc3l9zcXMfr9PR0wD7qLz8/36lsfn4+hmFgs9kca9mLs8JJJwq/J6ldbDYbhmGQn5+PxWIpt2zh73/xvwPxLrqOvkPX0jd4+jpuP5heZmgFMJugYURArf89q2z9am1wLZzAPiYmxml7TExMicnti5oxY4bTvJuFlixZ4rSGPdgnxY+NjeXkyZPk5eW5oda+KyMjw9NVkFLk5eWRnZ3NihUrKCgoqNQxri6TK7WTrqPv0LX0DTV9HU/kwuEcEwFmAxMWDExF9hqACRMGVzexsfGnH9hYo7VzXVZWVqXK1drgWlUPPPAA99xzj+N1eno6CQkJDBgwoNR5XPfs2UNYWJjmcS2DYRhkZGRQp04dTCZTxQdIjcrJySE4OJg+ffpUah7XpUuXcvHFF9f6uQalbLqOvkPX0jd44jp+sn4vU7/4A5thb1G9onMcn/96wPH6vgEt6dAwgsR6IcRFVDHfGAYU5IB/zXQxKLxDXpFaG1wLl/pMTU11WtUoNTWVzp07l3lcYGAggYGBJbb7+/uX+IWyWq2YTCbMZrMm1y9DYfeAwu9Jahez2YzJZCr197ssrpSV2kvX0XfoWvqGmrqOB9KyefhUaAX7AKwvfj3IwnG9yMqznfkUVydS4Lf58Ot8aNoPhj7jlnpXpLLfXa1NIk2aNCE2Npbvv//esS09PZ21a9fSs2dPD9asdkpOTsZkMnHixIkzOk9WVhZXXnkl4eHhjvN17NiR559/3j0V9RFTpkwp9z+gRERE3Klwuqv1u4+XuWxrlae4yjwK696C/wyG2R3ghyfg6Db46xuoZeNbPBpcT548yaZNm9i0aRNgH5C1adMmUlJSMJlMTJw4kSeeeIIvv/yS33//nRtvvJH4+Hguv/xyT1bb4/r168fEiROdtvXq1YsDBw4QERFxRueeO3cuP/74I6tWrXLL+aqitM8H8M477xAZGel4PWXKFEwmU4lH69atyzz3sWPHuOuuu2jVqhXBwcEkJiYyYcIE0tLSnMqVdt6PPvqoyp/JZrMRHh7O1q1bAWjZsiUrVqxwKrNgwQIGDBhAVFQUJpPJ8XchIiJnn8KgeiAt22m6q7vmbaR4xz2LyURSdEip5ylTboa9VfX9ETCrJXx9L6SsAkzQpA9c9gqMXwO17G6rR7sK/PLLL/Tv39/xurBv6ujRo3nnnXe4//77yczM5LbbbuPEiROcf/75fPvtt+qPWoqAgABH94ozsWPHDtq0aUP79u0Bav1MAu3ateO7775z2ubnV/av9f79+9m/fz/PPPMMbdu2Zffu3dx+++3s37+fTz/91KnsnDlzGDRokON10dDsqs2bNxMUFETLli1JTU1l9+7ddOvWzalMZmYm559/PldffTVjx46t8nuJiIh3Kb7S1fx1KY4prgpDqlHkpwl7X1abUXLZ1nLlZcK2JfDHF/DXt1BQZH7X2I7Q4SpoPxwiGrn3A7qRR4Nrv379HNMtlcZkMjFt2jSmTZtWg7Wq3caMGcPy5ctZvny54/b9zp072bVrF/379+f48eNERkbyzjvvMHHiRN5//33uvfde9uzZw5AhQ3j33Xf55JNPeOyxx0hLS+OGG27gueeew2Kx0K9fP5YvXw7Yv/u+ffvyww8/lKhDSkoKd911F99//z1ms5lBgwbx4osvEhMTQ1paGvXq1WPt2rV07doVm81GdHQ0LVu2ZM2aNQC8//77PPDAA+zZs+eMv4/CmSEqq3379nz22WeO182aNePJJ5/k+uuvp6CgwCn0RkZGVnju119/nSeeeIKjR49yySWX8Oabb5baSr1q1Sp69eoFwMqVK+nSpQvBwc7/yNxwww0A7Nq1q9KfR0REvEt5IdVsgn8Nas2/vz29iEBpKckAXrymC1FhgRX3ac1Jg63/tYfV7d/ZB1wVqtfMHlY7jIDoFu78mNWm1g7O8gjDgPzKTcfgdv4hUIlR+88//zxbt26lffv2jkBfv379UsNOVlYWL7zwAh999BEZGRkMHz6cK664gsjISBYvXszff//NlVdeSe/evRk5ciQLFixg8uTJbN68mQULFhAQEFDinDabjcsuu4ywsDCWL19OQUEB48ePZ+TIkSQnJxMREUHnzp1JTk6ma9eu/P7775hMJjZu3MjJkycdx/Xt2/eMvzJ3SUtLIzw8vERL7fjx47n11ltp2rQpt99+OzfddJPTzArbt2/n448/5quvviI9PZ1bbrmFcePG8cEHHzjKFLbS5uTkYBgGkZGR5ObmYrVaiYyM5Pzzz2fRokU18jlFRMSzKgqpNgP+/c0WKrrXaTGZODepbtmBNesY/LUY/vgS/l4G1iJTftZNgjaXQrsrIL5LpbJHbaLgWlR+FkyP98x7P7gfAkIrLBYREUFAQAAhISEVtgbm5+fz6quv0qxZMwBGjBjBe++9R2pqKmFhYbRt25b+/fuzbNkyRo4cSb169QgJCXHqdlC8q8D333/P77//zs6dO0lISADsK5q1a9eOdevW0a1bN/r160dycjKTJk0iOTmZiy++mC1btrBy5UoGDRpEcnIy999/f1W+pRJ+//13wsLCnLZdf/31vPbaa5U6/siRIzz++OPcdtttTtunTZvGhRdeSEhICEuWLGHcuHGcPHmSCRMmOMrk5OTw7rvv0rBhQwBefPFFhg4dyqxZsxzf36ZNmzAMg3PPPZd58+bRunVrBgwYwJQpU+jVq5e6vYiInCWKr3BVVki1Yc+SRW9Im05tK7drwLG/Ycti+4CqlNVgWE/vi25pD6ttL7V3CfCysFqUgqsPCwkJcYRWsC/ekJSU5BT0YmJiOHToUKXP+eeff5KQkOAIrQBt27YlMjKSP//8k27dutG3b1/efvttrFYry5cvZ8CAAcTGxpKcnEzHjh3Zvn07/fr1c8tnbNWqFV9++aXTtsL5eqdPn8706dMd2//44w8SExMdr9PT0xk6dCht27ZlypQpTud45JFHHM+7dOlCZmYmTz/9tFNwTUxMdIRWgJ49e2Kz2fjrr78cwTUpKYmff/6ZkJAQBg0axN69e9m/fz9XXnllqdO2iYiIb9p5JLPEbAClhVSLycT9g1vx1Dd/YTUMR1Dt07I+u45kne4aYM23B9St/7U/jm5zPnlM+1Nh9TJoUPagZW+j4FqUf4i95dNT7+3uUxabE61wvs/i29w9AKtPnz5kZGSwYcMGVqxYwfTp04mNjWXmzJl06tSJ+Ph4WrQouy9NeHh4iVH+ACdOnCjRfzQgIIDmzZuXep7bb7+dq6++2vE6Pv50a3pGRgaDBg2iTp06LFy4sML548477zwef/xxcnNzKx04Bw8ezI8//khBQQEFBQWEhYVhtVrJzc0lKioKsM+sISIivqd4X9Ym0aGOAVWFygqpI7slcmmneOegCsQZh2Hbl/a+qn8vh7wiq1qaLJDUG1oNgVaD7V0CfJCCa1EmU6Vu13taQEAAVqu14oLVoE2bNuzZs4c9e/Y4Wl3/+OMPTpw4Qdu2bQF7v86OHTvy0ksv4e/vT+vWrWnQoAEjR45k0aJFFfZvbdWqFUuWLCmxfcOGDbRs2bLSda1Xrx716tUrsT09PZ2BAwcSGBjIl19+Wanb9Zs2baJu3bpOoTUlJYX9+/c7AvGaNWswm820atUKgLfeeovs7GxGjx7N8OHDueyyy5g0aRKtW7fm1ltvrfTnEBER71K8L+uM4R0Y2S2RGcM78OCCzZULqRHBxAXkwq7v4aflsGNZyVbVkGhocTG0HAjNLoSgmp/CsqYpuHqhpKQk1q5dy65duwgLCys1nFWXiy66iA4dOnDdddcxe/ZsCgoKGDduHH379qVr166Ocv369ePFF19kxIgRgD1EtmnThvnz5/Pyyy+X+x533HEHL730EhMmTODWW28lMDCQr7/+mg8//JCvvvrKqWxBQQEHDx502mYymYiJiSn13Onp6QwYMICsrCzef/990tPTHcvM1a9fH4vFwldffUVqaio9evQgKCiIpUuXMn36dCZNmuR0rqCgIEaPHs0zzzxDeno6EyZM4Oqrr3Z0E2jYsCEFBQX89ttvvP/++zRp0oTffvuNf/3rX6W2Eh87dswRhgH++usvwL6KnDumOhMRkepXWl/WBxdspk/L+ozslljylj+nQmpEMOSetLem7loJO3+E/RvAKHJX1GSBhO7Q7P+g+f9BXOdaN89qdVNw9UKTJk1i9OjRtG3bluzsbHbu3Flj720ymfjiiy+466676NOnj9N0WEX17duX2bNnO/Vl7devH7/++muF/VubNm3KihUreOihh7jooovIy8ujdevWfPLJJ07zqgL873//c1oSGOzL/ubk5FCaDRs2sHbtWoAS4XHnzp0kJSXh7+/Pyy+/zN13341hGDRv3pxnn322xNyqzZs3Z/jw4QwZMoRjx45xySWX8MorrziV+eWXX4iMjKRJkybs3buX1NRUp4Bf1JdffslNN93keH3NNdcA8Nhjj5XogysiIp53IC2b7QfTOZF7eltpfVmthsGuI1mOgOoYWJV9HPass0/8v+sne1C1FTgfHNXcvvRq0/6QdD4ER1bnR6r1TEZ5E6n6gPT0dCIiIhxTHhWVk5PDzp07adKkiUZ3l8Fms5Genk54eDjms+y/6ryBK7/D+fn5LF68mCFDhmhddC+m6+g7dC29m/MiAQZPXt6OUT2acCAtm94zfyjRl3Xlv/oRZzsIe3+xD6pKWQOH/ih54ogESLrA3l+1SV+ITChZxgeVl9eKUouriIiIiAuKdwcwMPHwF3/Qv00scRHBzBjegRkL1tLBtJ1zzDsYGXeQuDfuhKyjJU9Wrxkk9oTGPe2BtW7jmv0wXkbBVURERKQUxWcGKFS8O0Bd0mlv2kVe8kbI3cbIA78yMrBIN77Dp35aAuzzqCb2sD8SzoOwBjXzYXyEgquIiIhIMaXODHBOPBzbQZujG5jk9y2tTHtoY95NI9MR+0Ebi52kbhNo1BUadYOGXSG2PfhpDu8zoeAqIiIiUsSB4xm8tmAp/Uz7aW7eRyvzHlp/tQfj24OYrLnUBe4slqAyQhKo06QbxHWC+M72ltWQmpv152yh4CoiIiJnp+zjcGS7fX7UI1vhyDY4up2YoztYFphfsrwV+4JBDdpATDvSwluSYmnM73szuWrECNAgu2qn4CoiIiK+yVoAGQfgRAoc3wXHd8Kxnad/Zh8r9TAzkGP4s9OIY4cRx1+2BLaRyLTbrqZBQivH3KkRQOv8fP5evLjGPtLZTsFVREREvI9hQG46pO2D9P2Qvtf+M22vPaie2G1/XXxe1GKsobFYGrSEqBYQfeoR1YIvthk8uPAPp1WuGjROrKEPJ2VRcBUREZHawzAgNwNOHoKTByHjIJxMtbecZqSe3pa+H/JOVnw+sz9ENLJPM1W3CdRrwsqjdZi+JofdtgZk5wYzo599SdaiRnaHPq1iSqxyJZ6l4CoiIiLVx1oAOScg65i9T2n2cft8ppmH7Y+izzNPPbfmVnhah6BIezANj4fwhvZH3cYQmWh/hMVwICPPMa0VwI1FFwgosiRr8XDqtMqV1AoKrj4oOTmZ/v37c/z4cSIjIz1dHRER8WYFefYW0Ny0Uz+LPHKKbMs5cTqYOh4n7LfzqyIgDMJioE6s/REWC3ViTv8Mb2gPqwGhjkNKm3e1+LRWt57fpNwlWaV2U3CVSmnatCkTJ05k4sSJTtunTJnC559/zqZNmwAYM2YMc+fOLXH8wIED+fbbb0s9965du3j88cf54YcfOHjwIPHx8Vx//fU89NBDBAQEOMo0adKkxLGrV6+mR48eVfpMn3zyCc899xyrVq1i1apVXH/99fz9999OZSZMmMBPP/3E5s2badOmjeNziojUKjYbFOTYH/lZkH/qZ+HrvCzIy4T8TPvz/Ez76xLPs+xBMyf9dCB1pfWzPEEREFzX3kIaGg0h0fafofWdf4ZEc9Aayt9plJj4v5AjoPqbibP/30Sp8672aVnfaYUrmwFv/bgTs4kSS7ImRYe453NKtVJwFbcbNGgQc+bMcdoWGFj2hMtbtmzBZrPx+uuv07x5czZv3szYsWPJzMzkmWeecSr73Xff0a5dO8frqKioKtdz9erV9O7dG4Aff/zR8by4m2++mbVr1/Lbb79V+b1E5CxiGGDNOxUgs+2Pgpxiz7Mw5WaSeGQd5nX7wcgvEjxzTj93vM6GglzncxXk2rcXbqtu/qEQWAeCwu0/HY8ICAyzh9KyHkERYLYAZa9GVcgeQNc6T/xfpP9pZQPqgws28/y1nUu0rtqA285vytsrdzoNvFJrq3dQcHWTg5kHSUlPITE8kdjQ2Gp9r9zcXO677z4++ugj0tPT6dq1K8899xzdunVzKvfTTz/xwAMPsHXrVjp37sxbb71F+/btAdi9ezd33nknK1euJC8vj6SkJJ5++mmGDBlyxvULDAwkNrby38GgQYMYNGiQ43XTpk3566+/ePXVV0sE16ioqDLPvW7dOh588EE2btxIfn4+nTt35rnnnuOcc84ptfyqVauYPHkyACtXrmTo0KElyrzwwgsAHD58WMFVxJcZhn2gT07a6Uf2CfvPvJP2VkjHLfKT9m35WcVaLbNObzOsFb6lH9AFYI+bP4vZ3z7XqH8Q+AeDX7D9dnpAiD18BoTYXxc+9w+x35YvfB4UUSyYhtv3W8qODBWF0UKlrkZVJJQeSMsuNYAW9j8ta39pAdVqGHDqfYq3rt50fhI3nZ+kgVdeSMHVDRZsW8DU1VOxGTbMJjOP9XyM4S2GV9v73X///Xz22WfMnTuXxo0b89RTTzFw4EC2b99OvXqnV+m47777eP7554mNjeXBBx9k2LBhbN26FX9/f8aPH09eXh4rVqwgNDSUP/74g7CwsGqrs6vS0tKcPkuhSy+9lJycHFq2bMn999/PpZde6tiXkZHB6NGjefHFFzEMg1mzZjFkyBC2bdtGnTp1AJg3bx7jxo0DID09nRtuuAGLxUJGRgbLli1j8uTJvPLKK4waNapmPqiIVI/CqZIyUu0j0k+m2kepFw4Gyjp6epBQ4fMKpk2qEpPldIj0C7YHyVPPbX6BpB5NJ6ZhImbH9iD7kqB+RV+fehSewy/wVCA9FUwLw2nh/nICZnWoKIwWqiiUAuw8kllu/9Oy9pcVUM9NqsuM4R14cMHmUltXFVi9j4LrGTqYedARWgFsho2pq6fSK75XtbS8ZmZm8uqrr/LOO+8wePBgAN58802WLl3K22+/zX333eco+9hjj3HxxRcDMHfuXBo1asTChQu5+uqrSUlJ4corr6RDhw6AvZXTXRYtWlQiBD/44IM8+OCDlTp++/btvPjii06trWFhYcyaNYvevXtjNpv57LPPuPzyy/n8888d4fXCCy90Os8bb7xBZGQky5cv55JLLgHswbdXr1589913zJ49m0WLFvHbb79x++23s2rVKgCio6Or/NlFpIZkn4C0Pafm7NwDaSn252n77NMlnTxUtdvnZn8IjrS3OhY+ClseAwpbIMNOtWCGnWqtLNKS6dSKGQqWsldSsubn8/PixQwZMgRzLVhxqbKtpsWPqSiMFqoolIK9T2t5/U/L2l9eQB3ZLZE+LeurddVHKLieoZT0FEdoLWQzbOzJ2FMtwXXHjh3k5+c79cf09/ene/fu/Pnnn05le/bs6Xher149WrVq5SgzYcIE7rjjDpYsWcJFF13ElVdeSceOHd1Sx/79+/Pqq686bStsPb399tt5//33HdtPnnSeg2/fvn0MGjSIq666irFjxzq2R0dHc8899zhed+vWjf379/P00087gmtqaioPP/wwycnJHDp0CKvVSlZWFikpKY7jwsLCCAsLY8OGDVx22WUkJSXxwQcfMGTIEJKSktzy+UXEDQzDPm/nkW2nluPcDsf+Ph1WKztSPTDcPjI9LMY+Ej20PoRE2deQD67n/Dy4rr310mSq3s/mJpUJmu66hV+WyoTRQhWFUrC3gFbUQlqVgKpprXyHgusZSgxPxGwyO4VXs8lMQp0ED9aqYrfeeisDBw7k66+/ZsmSJcyYMYNZs2Zx1113lVo+PDyctLS0EttPnDhBRESE07bQ0FCaN29e6nmmTZvGpEmTSt23f/9++vfvT69evXjjjTcq/AznnXceS5cudbwePXo0R48e5fnnn6dx48YEBgbSs2dP8vLyAEhJSaFt27YA5OTk4Ofnx/PPP09ubi5ms5mPPvqI66+/ntdee63C9xYRN8k9CUe32x+FIfXodji6o+LJ5UOi7PN3RiTYH5EJ9imS6sRBWAN7WA3wrpHiZQXN4tsrEzTdeQu/LJUJo4UqCqWFKmohVUA9uym4nqHY0Fge6/lYiT6u1TVAq1mzZgQEBPDTTz/RuHFjAPLz81m3bl2JqarWrFlDYqL9H6njx4+zdetW2rRp49ifkJDA7bffzu23384DDzzAm2++WWZwbdmyJevXry+xfcOGDbRq1arS9W/QoAENGjQosX3fvn3079+fc889lzlz5mA+tQ50eTZt2kRcXJzj9U8//cQrr7ziGGC2Z88ejhw54tgfHx/Ppk2bOHjwIBdddBGbNm3CarXSuXNnfvzxR+rVq0d4eHilP4uIuMBms68Pn7oZDm4+/TMtpexjTBaom3RqCc7mENXMPqF8RCJENHSav7O2qail80BaNtsPpnOiyExTZQXN4tv/Nag1//52S7lB09238MtS2TBaqLK37SsKoAqoZy8FVzcY3mI4veJ7sSdjDwl1Eqp1VoHQ0FDuuOMO7rvvPurVq0diYiJPPfUUWVlZ3HLLLU5lp02bRlRUFDExMTz00ENER0dz+eWXAzBx4kQGDx5My5YtOX78OMuWLXMKtcVNnDiRvn378uSTTzJ8+HCsVisffvghq1ev5pVXXnEqm5uby8GDB522+fn5ldl3dN++ffTr14/GjRvzzDPPcPjwYce+whkE5s6dS0BAAF26dAFgwYIF/Oc//+Gtt95ylG3RogXvvfceXbt2JT09nfvuu4/g4NP/sPn5+dG8eXN++eUXzjvvPFq3bs2KFSto2rQp3bt3L7Vu27dv5+TJkxw8eJDs7GzHPK5t27Z1zDErIsXYbPaW030bYP8G2L8JUv9nH3lfmpDoIuG0uWOteOomgZ9n/85KC6CVm86p7JbOovtNWPBP3Ev/NrGlBs3WsXVKbP/3N1uwFXvP4kHT3bfwy+NqH1KFTjkTCq5uEhsaW+3TYBWaOXMmNpuNG264gYyMDLp27cp///tf6tatW6LcP//5T7Zt20bnzp356quvHGHLarUyfvx49u7dS3h4OIMGDeK5554r8z179erFN998w7Rp05g1axZms5kOHTrw/fffO6bYKvTtt986tYQCtGrVii1btpR67qVLl7J9+3a2b99Oo0aNnPYZxul/SR9//HF2796Nn58frVu3Zv78+YwYMcKx/+233+a2227jnHPOISEhgenTp5faLSE5OZk+ffoAsHz5csfz0tx6660sX77c8bowOO/cuVN9YkUKndgD+345FVQ32oNqXkbJcn5B0KANxLS3P2LbQ4O29j6mblCZVs6y9ldmxaUZw+2DWd05nZOBiYe/+IMXQgJLDZrrdh0vdR5Sk8neDbhQ8aBZHbfwy6MwKjXFZBRNBj4oPT2diIgI0tLSStwGzsnJYefOnTRp0oSgoCAP1bB2s9lspKenEx4eXqnb91KzXPkdzs/PZ/GpEcz+tWAEs1SNx6+jzQaHt0DKKkhZA7tXQ/rekuX8QyCuE8SfA/FdIK4j1GtWbVM1udLKWXx/WRPa9y66nj1gBiglDK6c3N8R2lbtOMKoN9eWqN+HY3vQs1lUmftfurYLEz7aWOLcC8b15IpXVpXYfv/gVjz1zV9OQbO0Pq7Fw2h5A64OpGVr5H0VePxv0keUl9eKUouriIiUrSDX3oqastoeVFPW2NekL8IwWcis2xpTw3MJbdLNHlbrt3aEVEdrZkA+cRGn/2/HlemXKmotrcqk9X1a1gdwacUlqmE6J7OJMqdz6pRQ+vaR3RK5tFN8uUFTt/DFFym4iojIaTYbHPof7FgGfy/D2L0aU0G2cxn/EGjUDRr3Yll2U+5cYSFzfxDmAzAjsQMjYytu6XRl+qWKylZ10vpdR7IwMCo9oX1ZLa5nMp2TCYMnLmtX7nROZW2vTNBUGBVfo+AqInK2S9sHfy+Dv5Ptj8zTAyRNwBEjnF9srYhp348u5w+B2A5g8edAWja3FLmdXtmWztIGHJU14r0yo+OrOml94X5XJrQH3Dad047UdHZsWsNV557u219W0FQAFbFTcBUR8VFl3V4/ePgwx//3A4kn1hK690c4stX5QP9Qchr14Olt8aywdmCb0RAwYdlkYuWgNsSdWg2qqi2dpQ04KmvEe2VGx5/JpPWAyxPau2s6p+gQP47+WWYRESmFgquIiA8of4J6g5cG1GFI4O+krv+CqCPriTVZTx9sMtv7pTbrD037Q6NubNidztt/Og8ictfynN2S6lZ6xHtlR8efyaT1rk5or9ZPEc9RcBUR8RKlTVoPJfuA/mtQa2Z9u5nzTH9xsWU9F5o3krQ8FYAYABPsssWw0taen4yOPDbhH8TGOE9hV53Lc5Y14KisW+SulK3qpPUKoyLeQcFVRKSWKG/kfGmT1o/q0cSpD2gIOfQ1/UqD715hXcAGIkxZjuPzDAuHorrxdmoLfrB1Ybdxet7pG08GEBvjXJfqXp7TlRHvro6OFxHfpeAqIlILlDdyvqxJ6/u3iWXPvn1caU5mkHkd55s3E2jKd5zzqFGH763n8L3tHFYbHXjviguZW8qcoGWtkFTdy3O60sqpFlERAQVXEZEacSbzkBYfoBRFGgPMvxD80at0S11Nd/8Cx75dthi+s3WlfvcrmLQ6mHzDVKVb9IUUGEWkNlFw9RHJycn079+f48ePExkZWeXzZGVlccMNN7B06VIyMjI4evQonTt35u677+buu+92X4VFziJnOg9pk+hQok3pDDT/zFDzGs4z/4nFZMABe9nj4a1451hHFlu78TeNmD68A5d1S6R735IrIem2u4h4M63h6YX69evHxIkTnbb16tWLAwcOEBERcUbnnjt3Lj/++COrVq1yy/mqorTPB/DOO+84hfIpU6ZgMplKPFq3bl3muY8dO8Zdd91Fq1atCA4OJjExkQkTJpCWluZUrrTzfvTRR1X+TOvWrSM+Ph6A/fv3ExwcTF5enlOZJ598kl69ehESEnJG//EhnncgLZtVO45wIC27zNbUA2mnJ/UvHAhVlMVkokmdAtg0j7gvr+PnoPE86f8feln+wGIyOBreFv7vMbhrA3Xv+Zlr7nuRabeOYOXkCx2hOC4imJ7NokodFV/adhGR2k4trj4iICCA2NjYigtWYMeOHbRp04b27e0TbdtstjM+Z3Vq164d3333ndM2P7+yf63379/P/v37eeaZZ2jbti27d+/m9ttvZ//+/Xz66adOZefMmcOgQYMcr88kTK5evZrevXsD8OOPP9K1a1cCAgKcyuTl5XHVVVfRs2dP3n777Sq/l3hW8dbVW89v4tI8pH5GLhdbNjK50WZiXx8DVvsUAmYgr0FH9jUczIaMBlw6cjQUWRddt/RF5GygFlcvM2bMGJYvX87zzz/vaAnctWsXycnJmEwmTpw4AZxunVy0aBGtWrUiJCSEESNGkJWVxdy5c0lKSqJu3bpMmDABq9U+n2O/fv2YNWsWK1aswGQy0a9fv1LrkJKSwmWXXUZYWBjh4eFcffXVpKbap9pJS0vDYrHwyy+/APbgW69ePXr06OE4/v333ychIcEt34efnx+xsbFOj+jo6DLLt2/fns8++4xhw4bRrFkzLrzwQp588km++uorCgoKnMpGRkY6nTcoKMixb8eOHVx22WXExMQQFhZGt27dSgToolatWuUIritXrnQ8L2rq1KncfffddOjQwdWvQWqJ0lpX3/pxZ6mtqU4DomxWRkb9ze+dF/BH2Hhe8n+eRqnf20NrdCvo/xDctYGAcT/SaMh9+NWpX3MfSkSkFlGLaxGGYWBkZ1dcsBqYgoMxmUwVlnv++efZunUr7du3Z9q0aQDUr1+fXbt2lSiblZXFCy+8wEcffURGRgbDhw/niiuuIDIyksWLF/P3339z5ZVX0rt3b0aOHMmCBQuYPHkymzdvZsGCBSVaBMEeRAtD6/LlyykoKGD8+PGMHDmS5ORkIiIi6Ny5M8nJyXTt2pXff/8dk8nExo0bOXnypOO4vn37nvF35i5paWmEh4eXaKkdP348t956K02bNuX222/npptuclyjkydPMmTIEJ588kkCAwN59913GTZsGH/99ReJifbbtCtXruSSSy5xlP/qq6+YMmUKmZmZ+Pv789prrzF58mQmT55csx9Y3Kb4gKvS+qragNvOb8rbK3eWHBB1aAv89hH89jGk78MRZSMTof2V0H4ExLSDSvzbICJyNlBwLcLIzuavc871yHu32rAeU0jpU9IUFRERQUBAACEhIRV2DcjPz+fVV1+lWbNmAIwYMYL33nuP1NRUwsLCaNu2Lf3792fZsmWMHDmSevXqERIS4tTtoHhXge+//57ff/+dnTt3OlpN3333Xdq1a8e6devo1q0b/fr1Izk5mUmTJpGcnMzFF1/Mli1bWLlyJYMGDSI5OZn777+/Kl9TCb///jthYWFO266//npee+21Sh1/5MgRHn/8cW677Tan7dOmTePCCy8kJCSEJUuWMG7cOE6ePMmECRMA6NSpE506dXKUf/zxx1m4cCFffvkld955JwBdu3Zl06ZNbNmyhVGjRrF+/XqOHTtGr1692LBhA0FBQerL6sVKG3DVp2X9Uiftv+n8JG46P4ldR7JoGpJJzO7F8PqHcGDT6YJBEfaw2vEaSOiusCoiUgoFVx8WEhLiCK0AMTExJCUlOQW9mJgYDh06VOlz/vnnnyQkJDjd6m/bti2RkZH8+eefdOvWjb59+/L2229jtVpZvnw5AwYMIDY2luTkZDp27Mj27dvL7IbgqlatWvHll186bQsPDwdg+vTpTJ8+3bH9jz/+cLSGAqSnpzN06FDatm3LlClTnM7xyCOPOJ536dKFzMxMnn76aUdwPXnyJFOmTOHrr7/mwIEDFBQUkJ2dTUpKiuO4oKAgkpKS+Pjjjxk8eDBNmjRh1apVXHDBBeUOIJPap3jLalkDrlZO7l/6dFOhFtj6DXGbPoTtS8F2qluK2Q9aDIRO10DLgeAX6LkPKSLiBRRcizAFB9Nqw3qPvbe7+RcZuAH2kfKlbXP3AKw+ffqQkZHBhg0bWLFiBdOnTyc2NpaZM2fSqVMn4uPjadGiRZnHh4eHlxjlD3DixIkSsxwEBATQvHnzUs9z++23c/XVVzteF47qB8jIyGDQoEHUqVOHhQsXlvheijvvvPN4/PHHyc3NJTAwkEmTJrF06VKeeeYZmjdvTnBwMCNGjHCaKaDwPxByc3Mxm8188cUX5OXlYRgGYWFhXHDBBXzzzTflvq94Xmktqwn1QsoccFV0uqnmxi7qb38Vnp0PWUdPF254rr1ltf2VEBpVsx9IRMSLKbgWYTKZKnW73tMCAgIcA6pqWps2bdizZw979uxxtLr+8ccfnDhxgrZt2wL2QU0dO3bkpZdewt/fn9atW9OgQQNGjhzJokWLKuzf2qpVK5YsWVJi+4YNG2jZsmWl61qvXj3q1atXYnt6ejoDBw4kMDCQL7/80mnQVVk2bdpE3bp1CQy0t4j99NNPjBkzhiuuuAKwt8AW72e8adMmCgoK6Ny5M9999x2xsbFccMEFvPLKK3To0IHgaviPFXGvslpWF4zrWWqXgKToEMhJI27rJ8RteM+5K0CdOHvLaqdRUL/yv8ciInKagqsXSkpKYu3atezatYuwsLBSw1l1ueiii+jQoQPXXXcds2fPpqCggHHjxtG3b1+6du3qKNevXz9efPFFRowYAdhDZJs2bZg/fz4vv/xyue9xxx138NJLLzFhwgRuvfVWAgMD+frrr/nwww/56quvnMoWFBRw8OBBp20mk4mYmGILr5+Snp7OgAEDyMrK4v333yc9PZ309HTAPsjNYrHw1VdfkZqaSo8ePQgKCmLp0qVMnz6dSZMmOc7TokULFixYwLBhwzCZTDzyyCMlWq6bN2/OmjVriImJ4fzzzyclJYWMjAyGDRtW6pRdKSkpHDt2jJSUFKxWK5s2bXKcp3g/XnGvsla1KmthgKw8W7EuAfBGv3zifrgH/rcQCk4N8jT7Q+sh0OUGaNofLPonV0TkTOhfUS80adIkRo8eTdu2bcnOzmbnzp019t4mk4kvvviCu+66iz59+mA2mxk0aBAvvviiU7m+ffsye/Zsp76s/fr149dff62wf2vTpk1ZsWIFDz30EBdddBF5eXm0bt2aTz75xGleVYD//e9/xMXFOW0LDAwkJyen1HNv2LCBtWvXApToYrBz506SkpLw9/fn5Zdf5u6778YwDJo3b86zzz7L2LFjHWWfffZZbr75Znr16kV0dDT/+te/HAG4qOTkZPr06QPA8uXL6dmzZ5nzzD766KPMnTvX8bpLly4ALFu2zG19gqWk8la1KlwYoLSW1Z7NouibYCZn3Qc03PkJ/qu3nS5Uvw2ccyN0HKmuACIibmQyDMOouJj3Sk9PJyIiwjHlUVE5OTns3LmTJk2aVOp28dnIZrORnp5OeHg4ZrOm/a1tXPkdzs/PZ/HixQwZMqTCPr1niwNp2fSe+UOJYLpycn9Hy+v8dSnOg62uaMfImP3wy3/gj8/Beqpfs38ItBsO546GRt2qbVYAXUffoWvpG3Qd3aO8vFaUWlxFxKeV1Q0Ayu4KUHRVq8LBVnv2H6RV6iIi1k2Dw3+ePiCuE5w7xj7nalDZ/9iKiMiZU3AVEZ9VXjcAKL8rgMO+DcT98jZxv392uu+qfwh0GAHn3gQNz6mhTyMiIgquIuKTypoRoE/L+o7W1LiI4NLnXQ0xwa8fwc9vwL4iU+Q1aAtdb4aOV9sXDBARkRql4CoiPqky3QAAp3lXmwUcpcFf/4Hn3j0976olANpeDt1u1YpWIiIepuAK+Pj4NPFhZ+vvbnn9VgtVqhsAgGEQd2Q1cT+/CVu/BePUtGbhjaDrTXDOaAirX02fREREXHFWB9fC0X9ZWVmaDF68UlZWFlBylTRfVlG/1UJldgMoDLp5mfbuAGtfhyN/nT6wSV/oPhZaDta8qyIitUyt/lfZarUyZcoU3n//fQ4ePEh8fDxjxozh4YcfxuSG23UWi4XIyEgOHToEQEhIiFvO60tsNht5eXnk5ORoOqxaxDAMsrKyOHToEJGRkVgsFk9XqUZUpt9qUUW7ASRFh9jLnEix913d8C7knFpaOCAMOo+CbmO1qpWISC1Wq4Prv//9b1599VXmzp1Lu3bt+OWXX7jpppuIiIhgwoQJbnmP2NhYAEd4FWeGYZCdnU1wcLBCfS0UGRnp+B32NaV1B6hsv9Wi4iKCiQsPgt2r4NtXYcvXp7sD1G0C5/0DOl+nqaxERLxArQ6uq1at4rLLLmPo0KGAfanTDz/8kJ9//tlt72EymYiLi6NBgwbk5+e77by+Ij8/nxUrVtCnT5+z6na0N/D39/fZltayugNUut9qoYJc+P0TWPsaHPz99Pam/eC8O6DFxWD2ze9QRMQX1erg2qtXL9544w22bt1Ky5Yt+fXXX1m5ciXPPvus29/LYrH4bAg4ExaLhYKCAoKCghRcpUZU1B2g3H6rhbKOwbq37V0CMk/dTfELhk4j4bzboUGbmv1QIiLiFrU6uE6ePJn09HRat26NxWLBarXy5JNPct1115V5TG5uLrm5uY7XhevH5+fnq0W1Cgq/M3133q+2XcsDaTnsPppF46gQ4iJOL1e7/WB6qd0BdqSmEx3ix/DOcfRsUpeUY1kk1rMf6/hMx3ZgXvsa5t8+wnRqsQCjTjy2brdi63wDBNe1l6sl30FV1LbrKFWna+kbdB3do7Lfn8moxfPpfPTRR9x33308/fTTtGvXjk2bNjFx4kSeffZZRo8eXeoxU6ZMYerUqSW2z5s3j5CQMm4nikiNWp1qYv7fZgxMmDAY2dRGzxj7P0UncmHKBgsGp/tUmzCYco6VyMBSTmYY1MvcSvND3xCbthETp84TnMT2BoPYX7c7hqlW/ze6iMhZLysri1GjRpGWlkZ4eNljDmp1cE1ISGDy5MmMHz/ese2JJ57g/fffZ8uWLaUeU1qLa0JCAkeOHCn3i5DS5efns3TpUi6++GJ1FfByteVaHkjLod+sFU6tqmYTJN/bx9Hy+sn6vTz8xR+OPq5PXNaWq85t5HwiWwGmP7/EvPYVzAc2nd7cfAC2HuMwEnv75GIBteU6ypnTtfQNuo7ukZ6eTnR0dIXBtVY3Q2RlZZWYgslisWCz2co8JjAwkMDAks0y/v7++oU6A/r+fIenr+XetLQSXQFsBuxLyyMxug4Ao3o0oX+bWOdprArlZtinslrzKqTtsW/zC4JO10CP8Zjrt+RsmLjN09dR3EfX0jfoOp6Zyn53tTq4Dhs2jCeffJLExETatWvHxo0befbZZ7n55ps9XTURqaLKzgwQFxHsHFgzUu2zA6x7G3JPzb8aEm1fLKDbrRAaXQO1FxERT6rVwfXFF1/kkUceYdy4cRw6dIj4+Hj+8Y9/8Oijj3q6aiJSRZWeGaDQke2w+kXY9CFYT3UDimoBve6EjiPBX6veiYicLWp1cK1Tpw6zZ89m9uzZnq6KiLigtMUDiip1Ravi9q6Hn56DPxfBqQFXNOoO50+0L8eqldxERM46tTq4ioj3KWvxgOJKdAUAMAz4OxlWPgs7V5ze3nIw9P4nNO5ZvZUXEZFaTcFVRNymosUDymSzwZZF9sC6f6N9m9kPOlxtD6wNWld/5UVEpNZTcBURt9l5JLPUxQN2HckqPbha8+G3j+Gn2XBkq32bXzCcOxp63gmRCdVeZxER8R4KriLiNpWdMYD8bNjwHqx64fSUVoERcN5t9iVZNUOAiIiUQsFVRNymwhkDck/C+jmw6kU4mWrfFtoAeo6HrjdDkBYJERGRsim4ikilVDRTQKFSZwzISYOf34DVr0D2MXvBiAR7/9UuN4B/UA19ChER8WYKriJSocrOFFDIMWNA1jH44VlY+/rpRQPqNoEL7rXPweoXUEOfQEREfIGCq4iUq0ozBZw8bF80YN3bkHfSvi26FfSZBO2Gg0X/9IiIiOv0/x4iUi6XZgo4eRhWPW8PrPlZ9m2xHaDPfdB6mBYNEBGRM6LgKiIlFO3PWqmZAjKP2GcI+PnN04E1/hzo+y9oORBMppr9ACIi4pMUXEXESWn9WcucKSDzaJHAmmk/QXwX6PcgtLhYgVVERNxKwVVEHMrqz7pycn9WTu5/eqYAvyz4bgqsfeN0YI3rDP0eUAuriIhUGwVXEXEorz9rz2ZRxPlnw6qn7FNbFQ66iut0KrAOUmAVEZFqpeAqchYrPjdrWf1Zm4Tlww9PwJrXIC/DviO2oz2wthqswCoiIjVCwVXkLFXW3KxF+7OGm3J4v8NGYufcbl9EAOyzBPR7AFoNUWAVEZEapeAqchYqb27Wkd0S6dM0jNxVb5Lwx2tYtp5a6ap+G+j/ILQZpsAqIiIeoeAqchYqqy/r7kNpxG37kLjlT0HGAfuOes3sgbXdFWC21HxlRURETlFwFTkLFe/LasLGZZY1dP36ITix074xIsE+D2una7XSlYiI1Ar6fyORs1BcRPCpvqy/08e0kfv8PqateTecAELr21e6OncM+AV6uKYiIiKnKbiK+LjCmQMaRTiH0JEx+7miyfME7F9r3xAYDr0nwHl3QGCYB2oqIiJSPgVXER9WfOaAq5uYGHJkKyQ/CX99TQCAXxCc9w/oPRFC6nm4xiIiImVTcBXxUcVnDqhvHKNzyqf4vbECDBuYzNDlBug3GcLjPVtZERGRSlBwFfFRhTMH1CGL2/2+5GbLtwSb8sAAWl8C//co1G/l6WqKiIhUmoKriI9qUjeA0ZYlTPD7jCiTfbWrX2wtaHTVU8R2uNDDtRMREXGdgquIrzEM+Osb4pY+ylT/bQDssMXxb+u11EvszOOtL/BwBUVERKpGwVXEl+zfBEsehl0/2l+HRJHWYxKH44bzcN1QNv70g0erJyIiciYUXEV8QOreHZh+eJz6f3+OCQMsgdDjDrjgHiKCIugB5Ofns9HTFRURETkDCq4i3iw/m98/mUbzv96yD7wCdscPpvFV/4a6jT1cOREREfdScBXxRoYBf3xBwbcP0iFjH5hgna0lT+Rfz+adLVhpbkCcp+soIiLiZgquIt4m9X/wzb9g14/4AfuMKGbkj2KRrQdgAgx2HckiLiLYwxUVERFxLwVXEW+RdQyWPQm//Me+gIBfEBnnjuPiFR3IMk4v52oxmUiKDvFgRUVERKqHgqtIbWctgPVz7KE1+7h9W9vL4OLHqVO3MY9Fp/Dggs1YDQOLycT04e3V2ioiIj5JwVWkNtu9ChbfB6mb7a8btIXB/4YmfRxFRnZLpE/L+uw6kkVSdIhCq4iI+CwFV5Ha6ORhWPoo/DoPgPyASLLO/xcRvW8DS8k/27iIYAVWERHxeWZPV0BEirBZYd1b8NK58Os8DEzMs15It/R/0+WbxszfsN/TNRQREfEYtbiK1Bb7N8Kiu+0/gfwGHbh671VstDW37zfgwQWb6dOyvlpXRUTkrKQWVxFPyz0J3z4Ab15oD62BETDkGdZd/Nnp0HqK1bBPdSUiInI2UouriCf99Q18PQnS99pfd7gKBk6HsAY0ScvGbAKbcbq4proSEZGzmVpcRTwh/QDMvwE+vMYeWiMbc/SKD1nVeSYHrHUA+4CrGcM7YDGZADTVlYiInPUq1eJ6zjnnuHRSk8nEl19+ScOGDatUKRGfZRiwYS4seQRy08FkgV538mmd67j/o+3YjLWYTTBjeAdGdkvUVFciIiJFVCq4btq0iXvvvZewsLAKyxqGwcyZM8nNzT3jyon4lOO74asJ8Hey/XX8OXDpCxwIbs79M39wdAmwFRuEpamuRERE7Crdx/W+++6jQYMGlSo7a9asKldIxOfYbPDL27D0McjPBL8guPAR6HEHmC3s3HHEqR8rnB6EpcAqIiJyWqWC686dO6lfv36lT/rHH38QHx9f5UqJ+Ixjf8OXE2DXj/bXib3gspcgqpmjSJPoUA3CEhERqYRKDc5q3LgxplMDRCojISEBi8VS5UqJeD2bDda8Bq/2todW/xAY/BSM+doptIIGYYmIiFRWlabDysnJ4bfffuPQoUPYbDanfZdeeqlbKibitdL2wed3wM7l9tdJF8ClL0K9Jo4iB9Ky2XkkkybRocRFBGsQloiISCW4HFy//fZbbrzxRo4cOVJin8lkwmq1uqViIl5p8wJYNBFy0sAvGAY8Dl1vAfPpmxvz16XwwILfsRk4zSCgQVgiIiLlc3ke17vuuourrrqKAwcOYLPZnB4KrXLWykmDBbfBpzfZn8d3gdt/hO5jnULrgbRsR2iF0zMIHEjL9lDFRUREvIfLLa6pqancc889xMTEVEd9RLzPrp9g4T8gbQ+YzHDBJOh7P1j8SxTdeSRTMwiIiIhUkcvBdcSIESQnJ9OsWbOKC4v4soJcWPYk/PQCYEDdJLjiDUg8r8xDNIOAiIhI1bkcXF966SWuuuoqfvzxRzp06IC/v3Or0oQJE9xWOZFa6/gu+GQM7N9of93lBhg0AwLrlHtY4QwCDy7YjNUwNIOAiIiIC1wOrh9++CFLliwhKCiI5ORkp2myTCaTgqv4vi2L4fPb7X1Zg+vCpS9Bm0sqfbhmEBAREakal4PrQw89xNSpU5k8eTJms8tju0S8lzUfvp8Kq160v27UDUbMgcgEl0+lGQRERERc53JwzcvLY+TIkQqtcnZJ22efMWDPWvvrHuPhoingF1DmIcXnahUREZEz43L6HD16NPPnz6+OuojUTtu/h9cvsIfWwHAY+T4Mml5uaJ2/LoXeM39g1Jtr6T3zB+avS6nBCouIiPgml1tcrVYrTz31FP/973/p2LFjicFZzz77rNsqJ+JRNiskz4QVTwMGxHaEq+dCvablHlbWXK19WtZXy6uIiMgZcDm4/v7773Tp0gWAzZs3O+0rOlBLxKudPASf3QI7V9hfd70ZBs4A/6AKD9VcrSIiItXD5eC6bNmy6qiHSO2xbz18dD1k7Af/UBj2PHS8qtKHa65WERGR6lHrR1jt27eP66+/nqioKIKDg+nQoQO//PKLp6slvuq3T2DOEHtojW4Fty1zKbTC6blaLafuQGiuVhEREfeoVIvr8OHDeeeddwgPD6/USa+77jqee+45GjRocEaVO378OL1796Z///5888031K9fn23btlG3bt0zOq9ICTarfaqrn563v245CIa/CUFl/86XN2uA5moVERFxv0oF1y+++ILDhw9X6oSGYfDVV1/x+OOPn3Fw/fe//01CQgJz5sxxbGvSpMkZnVOkhJw0+OxW2LbE/vr8e+DCh8FsKfOQ+etSHAOwzCaYMbwDI7slOpXRXK0iIiLuVangahgGLVu2rO66lPDll18ycOBArrrqKpYvX07Dhg0ZN24cY8eOLfOY3NxccnNzHa/T09MByM/PJz8/v9rr7GsKvzOf/e5O7MZv/rWYjmzF8AvGesnzGO2Gg9Vmf5TiQFpOiVkDHljwOz2b1CUuouLBW57i89fyLKHr6Dt0LX2DrqN7VPb7MxmGYVRUaPny5S5XoEePHgQGBrp8XFFBQfYQcM8993DVVVexbt06/vnPf/Laa68xevToUo+ZMmUKU6dOLbF93rx5hIRocIycFpm5g/P+fo6ggnSy/euytulE0kIqbtHflmbipT9Ktsbe2dZKi4gK/5xERESkmKysLEaNGkVaWlq5XVMrFVw9JSAggK5du7Jq1SrHtgkTJrBu3TpWr15d6jGltbgmJCRw5MiRSvfRldPy8/NZunQpF198cYk5e72Z6a/FWD7/B6aCbIyYDhSMnAd14ip17IG0HPrNWuE0a4DZBMn39qn1La6+eC3PNrqOvkPX0jfoOrpHeno60dHRFQZXl6fDqklxcXG0bdvWaVubNm347LPPyjwmMDCw1JZef39//UKdAZ/6/ta8Ct8+ABjQYgCmEf/BP7BOpQ9PjPZnxvAOPLhgM1bDcMwakBhd+XN4kk9dy7OYrqPv0LX0DbqOZ6ay312tDq69e/fmr7/+ctq2detWGjdu7KEaiVezWeG/D8La1+yvu94Mg58Gi+t/Bpo1QEREpObV6uB6991306tXL6ZPn87VV1/Nzz//zBtvvMEbb7zh6aqJt8nPsa+EtWWR/fXF06DXBDiD1d40a4CIiEjNqtULEHTr1o2FCxfy4Ycf0r59ex5//HFmz57Ndddd5+mqiTfJzYAPRthDqyUQrnoHev/zjEKriIiI1Lxa3eIKcMkll3DJJZd4uhrirTKPwgdXwv6NEFAHrv0Qmlzg6VqJiIhIFbjc4pqamsoNN9xAfHw8fn5+WCwWp4dIrZG2D+YMtofW4How+stKh9YDadms2nGEA2nZ1VxJERERqSyXW1zHjBlDSkoKjzzyCHFxcZh0u1Vqo6M74N3LIG0PhDeEGxZC/VaVOrQyq2KJiIhIzXM5uK5cuZIff/yRzp07V0N1RNzgwG/w/nDIPAz1msGNn0Nk5YLngbTsEqtiPbhgM31a1tdALBEREQ9zuatAQkICtXjNAjnbpayFdy6xh9bYDnDzfysdWgF2Hsl0WlgAwGoY7DqS5eaKioiIiKtcDq6zZ89m8uTJ7Nq1qxqqI3IGUtbaW1pz0yCxJ4z5GsLqu3SKJtGhmIv1frGYTCRFa7lgERERT3O5q8DIkSPJysqiWbNmhISElFjp4NixY26rnEil7fkZ3r8S8k5C0gUw6mMIqFzYPJCWzc4jmTSJDiUuIrjUVbHUTUBERMTzXA6uzz33nAZkSe2yZx28NxzyMk6F1vmVDq1lDcTSqlgiIiK1T5VmFRCpNfb+Yu8ekJcBjc8/FVpDK3VoRQOxFFhFRERqF5f7uN54443MmTOHHTt2VEd9RCpv73p47wrITYfGveG6jysdWkEDsURERLyNy8E1ICCAGTNm0KJFCxISErj++ut566232LZtW3XUT6R0+4qE1sRep/q0Vj60ggZiiYiIeBuXg+tbb73F1q1b2bNnD0899RRhYWHMmjWL1q1b06hRo+qoo4izfRvg3StOzx5w3ScQGFbhYcVXwyociGU51WdbA7FERERqN5f7uBaqW7cuUVFR1K1bl8jISPz8/Khf37Wph0RcdvB3eO9ye2hN6FHp0FrWICwNxBIREfEeLre4Pvjgg/Tq1YuoqCgmT55MTk4OkydP5uDBg2zcuLE66ihid2ynfcqrnDRIOA+u/xQC61R4WFmDsIq2vPZsFqXQKiIiUsu53OI6c+ZM6tevz2OPPcbw4cNp2bJlddRLxNnJQ/Y+rSdTIaa9vU9rJUIrlD8IS2FVRETEe7gcXDdu3Mjy5ctJTk5m1qxZBAQE0LdvX/r160e/fv0UZMX9ctLsU14d3wmRjeH6zyA4stKHFw7CKhpeNQhLRETE+7jcVaBTp05MmDCBBQsWcPjwYRYvXkxAQADjx4+nTZs21VFHOZvl58CHo+x9W0Prww0LoU6sS6fQICwRERHf4HKLq2EYbNy4keTkZJKTk1m5ciXp6el07NiRvn37Vkcd5WxlLYDPboHdKyGgjr2lNapZuYcUX761kAZhiYiIeD+Xg2u9evU4efIknTp1om/fvowdO5YLLriAyMjIaqienLUMA76+G7YsAksgXPshxHUq95CyZg4opNWwREREvJvLwfX999/nggsuIDw8vDrqI2L3w+Ow4V0wmWHE29DkgnKLV7R8q4iIiHg/l/u4Dh061BFa9+7dy969e91eKTnLrX4Ffpxlf37JbGgzrMJDtHyriIiI73M5uNpsNqZNm0ZERASNGzemcePGREZG8vjjj2Oz2aqjjnI2+e1j+O8D9uf/9yicO7pEkeIrYIGWbxURETkbuNxV4KGHHuLtt99m5syZ9O7dG4CVK1cyZcoUcnJyePLJJ91eSTlL/L0cPr/D/rzHODj/nhJFyurHWjhzwIMLNmM1DM0cICIi4oNcDq5z587lrbfe4tJLL3Vs69ixIw0bNmTcuHEKrlI1R7bDxzeArQDaj4ABT4LJuQm1on6smjlARETEt7kcXI8dO0br1q1LbG/dujXHjh1zS6XkLJN1DOZdDTlp5MV1ZX3HaSRl5JYInpVZAUszB4iIiPiuKi1A8NJLL5XY/tJLL9GpU/nTFYmUYM2HT0bDsR1kBsdx/q5buPY/m+g98wfmr0txKqp+rCIiImc3l1tcn3rqKYYOHcp3331Hz549AVi9ejV79uxh8eLFbq+g+DDDgMWTYOcKbP6hjEj7J4eMCKD06azUj1VEROTs5nJw7du3L1u3buXll19my5YtAAwfPpxx48YRHx/v9gqKD1vzKqx/BzDx1/mz+fObUKfdxbsBgFbAEhEROZu5HFwB4uPjNQhLzszWJbDkIfvzAU8Q2W4Y5m9/cOrDWlY3APVjFREROTtVKrj+9ttvlT5hx44dq1wZ8U0H0rLZeSSTJtGh9sCZ+gd8ejMYNjjnRug5njiTSd0AREREpFyVCq6dO3fGZDJhGAamIlMUGYa9eazoNqvV6uYqijcrPu/qs0PjuXzdjZCXAUkXwJBZjmmv1A1AREREylOp4Lpz507H840bNzJp0iTuu+8+p8FZs2bN4qmnnqqeWopXKj7vqr+RR8KS28CcAvWawtXvgl+A0zHqBiAiIiJlqVRwbdy4seP5VVddxQsvvMCQIUMc2zp27EhCQgKPPPIIl19+udsrKd7Jed5Vgxn+b3GueSsFAeH4jfoYQup5snoiIiLiZVyex/X333+nSZMmJbY3adKEP/74wy2VEt9QdN7VcZYvGG5ZSYFhJu2StyC6hWcrJyIiIl7H5eDapk0bZsyYQV5enmNbXl4eM2bMoE2bNm6tnHi3wnlXh1h+5n7/jwHY1OEhojoO9HDNRERExBu5PB3Wa6+9xrBhw2jUqJFjBoHffvsNk8nEV1995fYKincb2eg4Vwe/DgWQ2flWul4+ydNVEhERES/lcnDt3r07f//9Nx988IFjAYKRI0cyatQoQkNDKzhazirZx2H+DZgKsqH5RYQO+7enayQiIiJerEoLEISGhnLbbbe5uy7iS2w2WHAbnNgNdZPgyrfAUqVfNxERERGgCsE1MTGRfv360bdvX/r370/Tpk2ro17i7X58BrYtAb8guPo9CK7r6RqJiIiIl3N5cNb06dMJCgri3//+N82bNychIYHrr7+eN998k23btlVHHaUWOJCWw6odRziQll1x4W3fwbLp9udDn4U4raYmIiIiZ87lFtfrr7+e66+/HoADBw6wfPlyFi1axLhx47DZbFo5ywetTjVx96wVjtWvZgzvwMhuiaUXPr4bFtwKGHDuGOhyXU1WVURERHxYlTodZmVlsXLlSpKTk1m2bBkbN26kffv29OvXz83VE087kJbD/L/NFK4jYDPgwQWb6dOyfskVrvJz4OMb7YOy4rvAIA3GEhEREfdxObj26tWLjRs30qZNG/r168fkyZPp06cPdeuqD6Mv2n00CwOT0zarYbDrSFbJ4PrN/XBgEwTXsy/n6h9UcxUVERERn+dyH9ctW7YQGhpK69atad26NW3atFFo9WGNo0IwOdpb7SwmE0nRIc4FN7wHG+YCJvsMApFldCUQERERqSKXg+vRo0f54Ycf6NGjB//973/p3bs3DRs2ZNSoUbz55pvVUUfxoLiIIEY2tTmWbrWYTEwf3t65tXX/Jvj6Xvvz/g9B8/+r8XqKiIiI73O5q4DJZKJjx4507NiRu+66i/Xr1/PSSy/xwQcfMH/+fMaOHVsd9RQP6hljMG54H/al5ZEUHeIcWrOOwcc3gDUXWg6CC+71XEVFRETEp7kcXDds2EBycjLJycmsXLmSjIwMOnTowF133UXfvn2ro45SC8RFBJEYXcd5o80GC/8BJ1Lsiwxc8RqYXW7EFxEREamUKi352qVLF/r27cvYsWPp06cPERER1VE3qe1WPK1FBkRERKTGuBxcjx07Rnh4eHXURbzJtu8geYb9+SXPaZEBERERqXYu39dVaBWO74bPbsG+yMBN0HmUp2skIiIiZwGXW1ytVivPPfccH3/8MSkpKeTl5TntP3bsmNsqJ7VQ4SIDOScg/hwYrEUGREREpGa43OI6depUnn32WUaOHElaWhr33HMPw4cPx2w2M2XKlGqootQq39znvMiAX6CnayQiIiJnCZeD6wcffMCbb77Jvffei5+fH9deey1vvfUWjz76KGvWrKmOOkptseFd+wMTjHgbIhM8XSMRERE5i7gcXA8ePEiHDh0ACAsLIy0tDYBLLrmEr7/+2r21k9rjwCb4epL9+YUPQbMLPVodEREROfu4HFwbNWrEgQMHAGjWrBlLliwBYN26dQQG6raxL/IryMRvwS2nFhkYDOdrkQERERGpeS4H1yuuuILvv/8egLvuuotHHnmEFi1acOONN3LzzTe7vYLiYYZBl5S3MZ3YDZGJcMWrWmRAREREPMLlWQVmzpzpeD5y5EgaN27MqlWraNGiBcOGDXNr5cTzzL+8SXzaLxhmf0xXvaNFBkRERMRjXGo6y8/P5+abb2bnzp2ObT169OCee+6pkdA6c+ZMTCYTEydOrPb3EmDfeszfPQaA7aKp0PBcD1dIREREzmYuBVd/f38+++yz6qpLudatW8frr79Ox45aoalGZJ+AT8ZgsuWzP6Irtq5jPV0jEREROcu53Fnx8ssv5/PPP6+GqpTt5MmTXHfddbz55pvUratb1dXOMOCL8XAiBSOyMRsTbwGTydO1EhERkbOcy31cW7RowbRp0/jpp58499xzCQ0Nddo/YcIEt1Wu0Pjx4xk6dCgXXXQRTzzxRLllc3Nzyc3NdbxOT08H7N0c8vPz3V43X2Re9waWLYswzP7kDnuNgs2H9d35gMJrqGvp3XQdfYeupW/QdXSPyn5/JsMwDFdO3KRJk7JPZjLx999/u3K6Cn300Uc8+eSTrFu3jqCgIPr160fnzp2ZPXt2qeWnTJnC1KlTS2yfN28eISEhbq2bL4rM/JsLtj2O2bDyW6Pr2Vl/gKerJCIiIj4uKyuLUaNGkZaWRnh4eJnlXA6uNWnPnj107dqVpUuXOvq2VhRcS2txTUhI4MiRI+V+EQLkpOH3Vn9MaSnYWl2C9co55BcUsHTpUi6++GL8/f09XUM5A/n5+bqWPkDX0XfoWvoGXUf3SE9PJzo6usLg6nJXgZq0fv16Dh06xDnnnOPYZrVaWbFiBS+99BK5ublYLBanYwIDA0tdCMHf31+/UOUxDPj6n5CWApGNMV/+MuaAAEffVn1/vkPX0jfoOvoOXUvfoOt4Zir73VUquN5zzz2VfuNnn3220mUr8n//93/8/vvvTttuuukmWrduzb/+9a8SoVXOwNrXYcsiMPvDVe9AcKSnayQiIiLipFLBdePGjU6vN2zYQEFBAa1atQJg69atWCwWzj3XvfN81qlTh/bt2zttCw0NJSoqqsR2OQP71sOSh+3PBz4JDc8pv7yIiIiIB1QquC5btszx/Nlnn6VOnTrMnTvXMTXV8ePHuemmm7jggguqp5bisgNp2ew8kkmT6FDiIoLLLph9HD4ZA7Z8aHMpdL+txuooIiIi4gqX+7jOmjWLJUuWOM2nWrduXZ544gkGDBjAvffe69YKFpecnFyt5/cF89el8MCC37EZYDbBjOEdGNktsWRBw4Av7oQTKVA3CS57SfO1ioiISK3l8gIE6enpHD58uMT2w4cPk5GR4ZZKSdUdSMt2hFYAmwEPLtjMgbTskoXXvmbv12oJsPdrDYqo0bqKiIiIuMLl4HrFFVdw0003sWDBAvbu3cvevXv57LPPuOWWWxg+fHh11FFcsPNIpiO0FrIaBruOZDlv3Lseljxifz7gSYjvUjMVFBEREakil7sKvPbaa0yaNIlRo0Y5Vjnw8/Pjlltu4emnn3Z7BcU1TaJDMZtwCq8Wk4mk6CKLL2Qfh0/HFOnXOrbG6ykiIiLiKpdbXENCQnjllVc4evQoGzduZOPGjRw7doxXXnmlxPKvUvPiIoKZMbwDllN9VS0mE9OHtz89QEv9WkVERMRLVXkBgtDQUMdqVlK7jOyWSJ+W9dl1JIuk6BDnWQXUr1VERES8VK1eOUuqLi4iuOQ0WOrXKiIiIl7M5a4C4qWK9mtte5n6tYqIiIjXUXA9GxTv13rpi+rXKiIiIl5HwfVssOZV9WsVERERr6fg6uv2roelj9qfD5yufq0iIiLitRRcfVn2cfhkzOl+rd1u9XSNRERERKpMwdVXGQZ8Ph7S1K9VREREfIOCq69a8yr89bX6tYqIiIjPUHD1RbtXq1+riIiI+BwFV19zIgXmX2/v19ruCvVrFREREZ+h4OpLck/Ch9dC1hGI7QiXvaJ+rSIiIuIzFFx9hc0GC/8BqZshtAFc+yEEhHi6ViIiIiJuo+DqK5bPPL3IwDUfQEQjT9dIRERExK0UXH3B/xbC8n/bnw97HhK6e7Y+IiIiItVAwdXb7d8EC++wP+95J3Qe5dHqiIiIiFQXBVdvlpEKH42CgmxofhFcPM3TNRIRERGpNgqu3qog1z7tVfo+iGoBV74NZounayUiIiJSbRRcvZFhwFcTYe/P9hWxRs2H4EhP10pERESkWim4eqPVL8Gv88BksS/nGtXM0zUSERERqXYKrt5m21Ln5VybXejZ+oiIiIjUEAVXb3J4K3x6Mxg2OOdGOO8fnq6RiIiISI1RcPUW2cfhw2sgNx0Se8KQWVrOVURERM4qCq7ewFoAn4yBYzsgIgGufg/8AjxdKxEREZEapeDqDZY8BH8ng38oXPshhNX3dI1EREREapyCa223fi6sfc3+fPjrENvBs/URERER8RAF19ps9yr4+l778/4PQZthnq2PiIiIiAcpuNZWx3fbV8ay5UO7K6DPfZ6ukYiIiIhHKbjWRrkn4aNRkHUU4jrBZa9oBgERERE56ym41jY2Gyz8B6RuhtAGcM08CAjxdK1EREREPE7BtbZJngFbFoElAK75ACIaebpGIiIiIrWCgmttsnkBrHjK/nzY85DQ3bP1EREREalFFFxri/2b4PNx9uc974TOozxaHREREZHaRsG1NshItQ/GKsiG5hfDxdM8XSMRERGRWkfB1dPyc2D+dZC+D6Jbwoi3wWzxdK1EREREah0FV08yDFg0Efaug6BIuPYjCIrwdK1EREREaiUFVzc7kJbNqh1HOJCWXXHhVS/Crx+CyQJXvQNRzaq9fiIiIiLeys/TFfAl89el8MCC37EZYDbBjOEdGNktsfTCW5fA0kftzwfNgGb9a66iIiIiIl5ILa5uciAt2xFaAWwGPLhgc+ktr4f/gs9uAQw450bofluN1lVERETEGym4usnOI5mO0FrIahjsOpLlvDHrGHx4DeSmQ2IvGDJLy7mKiIiIVIKCq5s0iQ7FXCx/WkwmkqKLLNdqLYBPb4Jjf0NEIox8D/wCaraiIiIiIl5KwdVN4iKCmTG8A5ZTracWk4npw9sTFxF8utB/H4S/k8E/FK79EEKjPVNZERERES+kwVluNLJbIn1a1mfXkSySokOcQ+v6d+Dn1+3Ph78Ose09UkcRERERb6Xg6mZxEcHOgRVg10/w9b325/0fhjbDar5iIiIiIl5OXQWq2/Hd8PENYCuAdsOhzyRP10hERETEKym4VqfcDPjwWsg6CnGd4LKXNYOAiIiISBUpuFYXmw0W3g6H/gehDeCaeRAQUvFxIiIiIlIqBdfqkjwdtiwCS4A9tEY08nSNRERERLyagmt12PwZrHja/nzYC5DQzbP1EREREfEBCq7utn8jfD7O/rzXXdD5Ws/WR0RERMRHKLi6U8ZB+HAUFORAiwFw0VRP10hERETEZ2geV3fyD7YvLBBYB658C8wWT9dIRERExGfU6hbXGTNm0K1bN+rUqUODBg24/PLL+euvvzxdrbIFRcC1H8GYRfbnIiIiIuI2tTq4Ll++nPHjx7NmzRqWLl1Kfn4+AwYMIDMz09NVK5vZAmENPF0LEREREZ9Tq7sKfPvtt06v33nnHRo0aMD69evp06ePh2olIiIiIp5Qq4NrcWlpaQDUq1evzDK5ubnk5uY6XqenpwOQn59Pfn5+9VbQBxV+Z/ruvJ+upW/QdfQdupa+QdfRPSr7/ZkMwzCquS5uYbPZuPTSSzlx4gQrV64ss9yUKVOYOrXkaP558+YREqKVq0RERERqm6ysLEaNGkVaWhrh4eFllvOa4HrHHXfwzTffsHLlSho1KnsVqtJaXBMSEjhy5Ei5X4SULj8/n6VLl3LxxRfj7+/v6erIGdC19A26jr5D19I36Dq6R3p6OtHR0RUGV6/oKnDnnXeyaNEiVqxYUW5oBQgMDCQwMLDEdn9/f/1CnQF9f75D19I36Dr6Dl1L36DreGYq+93V6uBqGAZ33XUXCxcuJDk5mSZNmni6SiIiIiLiIbU6uI4fP5558+bxxRdfUKdOHQ4ePAhAREQEwcHBHq6diIiIiNSkWj2P66uvvkpaWhr9+vUjLi7O8Zg/f76nqyYiIiIiNaxWt7h6ybgxEREREakBtbrFVURERESkkIKriIiIiHgFBVcRERER8QoKriIiIiLiFRRcRURERMQrKLiKiIiIiFdQcBURERERr6DgKiIiIiJeQcFVRERERLyCgquIiIiIeAUFVxERERHxCgquIiIiIuIVFFxFRERExCsouIqIiIiIV1BwFRERERGvoOAqIiIiIl5BwVVEREREvIKCq4iIiIh4BQVXEREREfEKCq4iIiIi4hUUXEVERETEKyi4ioiIiIhXUHAVEREREa+g4CoiIiIiXkHBVURERES8goKriIiIiHgFBVcRERER8QoKriIiIiLiFRRcRURERMQrKLiKiIiIiFdQcBURERERr6DgKiIiIiJeQcFVRERERLyCgquIiIiIeAUFVxERERHxCgquIiIiIuIVFFxFREREzkIHMw/y84GfOZh50NNVqTQ/T1dARERERKrmYOZBUtJTSAxPJDY0tsxtxY/54I8PePePd7Fhw2wy81jPxxjeYnhNV99lCq4iIiIiVXAw8yB/H/+bNFtaqftKC4+uBs3y9i3YtoCpq6diM06HT6DEtqKBdMG2BUxZNQUDw7HNZtiYunoqveJ7lRp0axMFVxEREZFSVDY0mjARvCOYq1pfVWJf0fDoatAs6zyFdSvcB/bwOWXVFEyYsHF6W9FAWnhM0dBayGbY2JOxR8FVRERExBWVudVd2dbMsrZX9B6uhEYDgyd+foILEi4AKBEop66eSovIFi4FzbLOUxhCU9JTHPsKGaf+V1TRQFriGMMgKh2OhoPZbCGhTkK516U2UHAVERGRM1I8BFb11jeUHxjL2++uVs7COroaGgsDomEYpe7beGijS0GzrPMUhtDE8ETMJrNTGdOp/xUGYQCzyUxCnQQKjh8nbtsxBm4waHjYRuJhg8aHIDQXxt/pz50DH6v1ra2g4CoiIlLrVaXFsDJliu4H3NLP8pKml7Do70Uu3/oufJ/yAmNZ+0trzaxKK2fhZysvmJYVGgsDYuHz4vu6NOjiUtAs6zyF+2JDY3ms52PO32ePR/E7lsGHS2YRf8RGwlE4Py+B9Neu5PixYwDcUux3wGYxMbfDUyS0GIQ3UHAVERFxs8oExtIG9ZR2XFVaDMs6rqyWSxMmwN4CeKb9LL/c8aXjPVy59Q0VB8ay9pfWmlmVVs7CelQUTIuHRhMmHu7+sOP4EoGy52N0qN+h1O2lXcvyzhMT3ID81EPk70nhwj1muhwaScbf2wjadxTb7OkYWVk86vTpdmI99cy/YUMCmzcnv3EsaY0iqd+xGw3bdsMUEIC3UHAVEZFaz92ti9V5S9TVwFg4qKe043rF96pSi6GrLZdljTAH1/tZFlfZW99QcWAsa39prZlVbeWEMlozezrfSh/eYji94nux8/hOtq3bxuXNLi+xb0/GHhLqJDiOK2t70W0xITEUHD9O/v79XHwgnHNyx5K2axuhhzIwffwf/tozDSM31+l79AdHOMViwb9RQwKTmhDYojkBzZsT2Kw5gc2aYg4JKfdaeQMFVxER8YjKDqSpKAhC1ftFVsdncjUwPvHzE7SOal3qcf++4N9VajGsSstlaWWr0s+yuMre+oaKA2NZ+8tqzaxKK2ehskJmUbGhsUQFRHHIfKjUfcWPMQyD6LxAItPCKdi6leMHV1CQegjjUCox+w+QeeAAfx04gJGd7XRcAJBfdIPFgn9cHAGJCfg3bERAUhIBTZLsPxs18qoWVFcpuIqIyBmpSktnZQfSTDxnIrM3zC739nJV+0VWx5yV7r7VbTKZqtRiWJWWy6LOpJ9laX1cy7v17WpgdLU1szKtnGX9HpQWPoszDANzVhZ5O3eSn55OwdFjWI8dpeDoMQoOH6bgyJFTPw9jPXwEIz+/3PMVstSPxj8uHv+4OPwbNSQgIQH/hAT7z7g4TP7+lTqPr1FwFRGRMlXHCPDSbn+XNZDmufXPVUvrYvFzuIu7b3V3qt+pSi2GrrZcltbHtbJhs7RgeFeXu0oNhZVpxSysX3nXpqz9rmwvvs0wDIzsbKwZGVjT0rClp2NNz8Canob1+AmsJ049jh93+llw/DjNCwpIKbO2JVnq1cMvJgb/Bg3wi4nBL6aBPaTGx+EfF4dfXBxmH241PRMKriIiZ5nK9vWsrhHgpd3+Lm8gjQmTU3h1R+ti8XO4S1UC48PdHy7zlnZsaGyVWwxdbbkEqhw2i4fA8oJnZVoxXWFYrdiys7FlZWFkZWHLysKWmYk1MxOb45GF7eRJbCdPYj2Zge1kJraMDKwnT54KqOlYMzKgkq2hpTGHhWGJqodfvSj8oqOw1K2HX3Q0fg3q41e/vv15/fpYoqMVSs+AgquIiI9y5RZ9acdW1wjw0m5/l9fqWLS7gDtaF8u6Re0ulQ2MxQf1lHdcZVoMS+Nqy+WZhk3DZsPIy8PIz7f/zMvDyM3FlpeHkZuHkW/fZsvJsb/OzcGWm4uRk+v03JabY/+Zk42RnWMvn52NLSfn9LasLGzZ2Rg5ORXWyyUWC5bwcCzh4ZhP/bRERtofdeue+hnp2GbUqcN3P//M4Msuw/8svX1fkxRcRUS8hCvrortyi760vp6Vub1e1ZbOsm5/l9XqOLzFcAY3GezW1sXqnmi9rKBnWK0Y+fnUN8KIDGrB0ay/KTh0CEwmjIIC6hZYqWuNxDhxgmzrUbBaMQqsYC3AsNowrAWObY7nVmuxbc7lsFkxCgpO7y/teUEBRkE+FD7Pzz+9Lb/AeVt+vvOjcFteHhQUVOv3Wi6zGXNwMOaQEMyhoc6PsDDMoSFY6tTBHBqGuU4YlrAwzHXq2LeFR2CJCMdSpw6mkBBMJlOl3zY/Px9DgbXGKLiKiNQS7loXvawBTWXdoi+tr2dlbq+fSUunqwNp3N26aBgG5OefasHLwcjJwZadY2/1K+1nTja2whbA4j+zc+wthNmnWgxPtQwWDXYU/jSc++s2A3Y9/kS5n8ubmfz9MQUEYAoMPPUzAHNAAKaAQExBQZgDA+37ggIxF24LCrTvDw7CHBSMOTgIk+NnkW3BwZhDQjGHhmAODrafx4XAKd5JwVVEpBZw57roZQ1oKusWfWl9PSt7e/1MWjpdHWBTlFFQYO+XeOIE1hNpWNPsP23pafYBNRnp2DJOlvhpy8pyBEts5c8/WmMsFkx+fpgsFnD8tGCyFHlutoDFjMnPH5PZbC9nNhc79tQxfhYwW5yONfn7nTp3kbJ+/s7P/U4d6+dnD5yF2/z9Tv30d3rgV/S1nz2YFgbVgAD7MWazp79d8TEKriIibubq8pzuXhe9rAFNZd2iLyskVvcIcEd9DQMjK4uCo0cpOHoU67Fj9p/HT9ifHz+G9dhx+yjutDT7iO+MjDLP5zKzGXPQqRa8oMJWvdJ+Bp5u7QsMqvCnPcidCn2ngp8jFFosFBgG3yxZwpChQ9U3UqSSFFxFRCpQ2YnyoWrLc1bHuuhlDWhyta9nVUeAG4aBLTOTgsOHsR45Yp/L8shRCo4ewXr0qP35kVPPjx2r8gAbc5069kEyERH2n+HhmCPCsYTVwRx+qv9indM/zSGhmEPst5XNwcGYAwPB398jt5hN+fmgW9siLlFwFZGzTvHAWdm+peVNlH8my3NWx7ro5Q1oOpPpiGzZ2adC6JHTwfPwEQqOnnp9+PS+4stSVsQUFIRfVBSWqCj86tbFUq8elnp18atXD0vdeqdHckecGtVdpw4mP/3fmMjZxCv+4l9++WWefvppDh48SKdOnXjxxRfp3r27p6slItWoolvrlW0BrWi0fWmr/JTVt7S8ifLPZHnOyvQnrcq66JXqK2qz2W+/F96eL/x59BgFx079PHqqpfTwEWxZWeVfuGLMYWH2MBodbZ/HMioKS3QUflHR+EVHnd5Xr55PrKMuItWr1gfX+fPnc8899/Daa69x3nnnMXv2bAYOHMhff/1FgwYNPF09kWpXmcniKxPy4kPiK31cZftoVtRyWd5rwOVWzvL2VeYWfWmj7b/c8aXjfSvbt9Tdy3OCe9ZFjwmMxpqeTu6hndhO9QW1pqU5VvwpcKz4c6rv6LFjWI8fB6u1xPnKYwoMxC862h5Ao+vjFxV1anL16NMBtb59uzk42KVzi4iUp9YH12effZaxY8dy0003AfDaa6/x9ddf85///IfJkyd7uHbiq840LFa0v7LBsDKTxVc65GHm0uBLGcKQco+rbB/N4tuKt1yW97q05SUrauXsFd/L6T2L7iutBbS0W/SljbYvrjJ9S92xPGdMSIx9IvbcXPtUTLm51M3JISInBNvuFDKy/nSsAGQ7tRqQkZVFflo6sVu3sv+rRRiZmdhOZmDNOIktIwNbZma5n6085vBw+y35qKhTP+s5btH71beHUUtUFH7162MODdW0QyLiESbDMMr/V9yD8vLyCAkJ4dNPP+Xyyy93bB89ejQnTpzgiy++qPAc6enpREREkJaWRnh4eDXW1jfl5+ezePFihgwZctaMel2wbQHfvfkoITn2kdlDmg6hU/1OTmV+Pfwri/9e7Bi9XbxMeftL2weU2NYkogkvb3zZKWiZMDG+y3jCA+y/y+l56WWWAUrsAxjXcRxmi7nU40a3G83c/80tcUzxEeplbXPZqcPNJhPjOts/1+70XXzw57xT73HadW1GYRgwb8s8TMXe9sLEC/kh5YfTdTMocbzJKPL61HOTcXp74XOLAde3vo5QvxCwGfx1dAur9q3EZDOwGCZ6NOhG0zpJ7Dy+g00HNmC2GfjZTHSIbEN8UAxGQT65uVnk5mQSYDPjbwUjP4/83BwKcrKw5FkhL98+GKmapmMyh4XZBytFRNgHKkVG2vuMRkZiiaxr7x9atx5+UfWw1IvCr24kJi1BWePOxn9ffZGuo3tUNq/V6uC6f/9+GjZsyKpVq+jZs6dj+/3338/y5ctZu3ZtiWNyc3PJLTIgID09nYSEBI4cOaLgWgX5+fksXbqUiy+++Kz4g0zNSmXo50OZ9XoeDY95ujZyNjEFBdlHugcFYSpc+Sck2P48OMSxGpARFMS2/ftoc865+NeNtK8IVKeOPayGh2PWgCWvcbb9++qrdB3dIz09nejo6AqDq8/96zZjxgymTp1aYvuSJUsIUcf/Klu6dKmnq1Aj/s7/Gxs2NjU1kVKkC3WSXxPCTKEAnDQy2VWws8SxhWXK2w+Uuq80CZYE9lj3lNjeyr8V/tj/ccwnn7/y/yq1DODyvqZ+zfi7YEel6uduRT/XMdtx9lv3AWCYoKGlIfXM9U7tO8Y+6z4M7C2lDS0NqWuJsm8v2Itxqlm1kaURmGDvqW0GkOCXQJQlijwjn1zyCDAHEmAKJI98csgl0BxMgDnQvvymyWSfqqjwudmMYTaD2YRhMoPFbP9pNmNYzBgWy6kyFgzLqYefBcPi5/zT3x/D3x+bvz+Gn5/9tZ+fa9MiNWvKaoC8PDh2zP4Qr3W2/Pvq63Qdz0xWJQd+1urgGh0djcViITU11Wl7amoqsbGl9zt84IEHuOeeexyvC1tcBwwYoBbXKjjb/ksyNSuVdz5/h7kXn95mNpn5+rLXiQmJcZS5+/OhJQbbFJYpbz9QYl/R/p7O5d/mxIHVPPHzE46+kQ93f5juRUaTA+zf8XmZZYrvuzToUq655AH8/f1LPa53s8s5XMp2oMJtQ5OG8vWuryv1ungf19I+V2pWqmOgUuF3X9G+0raXdx5vdLb9TfoyXUvfoOvoHunp6ZUqV6u7CgCcd955dO/enRdffBEAm81GYmIid955Z6UGZ6mP65k5G/vunOmAqIr2uzpB/cHMgxVOFl9emcJ9ccFxrE9e73QtyzqutO2V2ebKa6DSk+DLaWfj36Sv0rX0DbqO7lHZvFarW1wB7rnnHkaPHk3Xrl3p3r07s2fPJjMz0zHLgIi7VWZaojNZn72sfa6u515UeWUK9+Xn51f6uNK2V2ZbVV6LiIhUVq0PriNHjuTw4cM8+uijHDx4kM6dO/Ptt98SE+P9t/yk9jrTsFjR/soGQxERETmt1gdXgDvvvJM777zT09UQEREREQ8ye7oCIiIiIiKVoeAqIiIiIl5BwVVEREREvIKCq4iIiIh4BQVXEREREfEKCq4iIiIi4hUUXEVERETEKyi4ioiIiIhXUHAVEREREa+g4CoiIiIiXsErlnw9E4ZhAJCenu7hmnin/Px8srKySE9Px9/f39PVkTOga+kbdB19h66lb9B1dI/CnFaY28ri88E1IyMDgISEBA/XRERERETKk5GRQURERJn7TUZF0dbL2Ww2WrZsyfr16zGZTG45Z7du3Vi3bl21H1uZshWVKWt/Zbenp6eTkJDAnj17CA8Pr1S9q9OZfPfuPF9tuY7l7avN17K2XEdXj9XfZEm15Vq6+zpWVE5/k9V3Tv1Nnhlv/JsE6Nq1Kz/88APx8fGYzWX3ZPX5Flez2UxAQEC56d1VFoulyr+crhxbmbIVlSlrv6vbw8PDa8Uf5Jl89+48X225juXtq83XsrZcR1eP1d9kSbXlWrr7OlZUTn+T1XdO/U2eGW/8mwTw8/OjUaNGFZY7KwZnjR8/vtacz5VjK1O2ojJl7Xd1e21RW65lbbmO5e2rzdeytlxHV4/V32RJteVauvs6VlROf5PVd079TZ4Zb/ybdKW8z3cVkDOTnp5OREQEaWlpteK/JKXqdC19g66j79C19A26jjXrrGhxlaoLDAzkscceIzAw0NNVkTOka+kbdB19h66lb9B1rFlqcRURERERr6AWVxERERHxCgquIiIiIuIVFFxFRERExCsouIqIiIiIV1BwFRERERGvoOAqbpeVlUXjxo2ZNGmSp6siVXDixAm6du1K586dad++PW+++aanqyRVtGfPHvr160fbtm3p2LEjn3zyiaerJFV0xRVXULduXUaMGOHpqoiLFi1aRKtWrWjRogVvvfWWp6vj9TQdlrjdQw89xPbt20lISOCZZ57xdHXERVarldzcXEJCQsjMzKR9+/b88ssvREVFebpq4qIDBw6QmppK586dOXjwIOeeey5bt24lNDTU01UTFyUnJ5ORkcHcuXP59NNPPV0dqaSCggLatm3LsmXLiIiI4Nxzz2XVqlX69/QMqMVV3Grbtm1s2bKFwYMHe7oqUkUWi4WQkBAAcnNzMQwD/fetd4qLi6Nz584AxMbGEh0dzbFjxzxbKamSfv36UadOHU9XQ1z0888/065dOxo2bEhYWBiDBw9myZIlnq6WV1NwPYusWLGCYcOGER8fj8lk4vPPPy9R5uWXXyYpKYmgoCDOO+88fv75Z5feY9KkScyYMcNNNZbS1MR1PHHiBJ06daJRo0bcd999REdHu6n2UlRNXMtC69evx2q1kpCQcIa1luJq8jpKzTrTa7t//34aNmzoeN2wYUP27dtXE1X3WQquZ5HMzEw6derEyy+/XOr++fPnc8899/DYY4+xYcMGOnXqxMCBAzl06JCjTGG/x+KP/fv388UXX9CyZUtatmxZUx/prFTd1xEgMjKSX3/9lZ07dzJv3jxSU1Nr5LOdbWriWgIcO3aMG2+8kTfeeKPaP9PZqKauo9Q8d1xbcTNDzkqAsXDhQqdt3bt3N8aPH+94bbVajfj4eGPGjBmVOufkyZONRo0aGY0bNzaioqKM8PBwY+rUqe6sthRTHdexuDvuuMP45JNPzqSaUgnVdS1zcnKMCy64wHj33XfdVVUpR3X+TS5btsy48sor3VFNqYKqXNuffvrJuPzyyx37//nPfxoffPBBjdTXV6nFVQDIy8tj/fr1XHTRRY5tZrOZiy66iNWrV1fqHDNmzGDPnj3s2rWLZ555hrFjx/Loo49WV5WlFO64jqmpqWRkZACQlpbGihUraNWqVbXUV8rmjmtpGAZjxozhwgsv5IYbbqiuqko53HEdpXaqzLXt3r07mzdvZt++fZw8eZJvvvmGgQMHeqrKPsHP0xWQ2uHIkSNYrVZiYmKctsfExLBlyxYP1Upc5Y7ruHv3bm677TbHoKy77rqLDh06VEd1pRzuuJY//fQT8+fPp2PHjo6+ee+9956uZw1y17+tF110Eb/++iuZmZk0atSITz75hJ49e7q7uuKCylxbPz8/Zs2aRf/+/bHZbNx///2aUeAMKbhKtRgzZoynqyBV1L17dzZt2uTpaogbnH/++dhsNk9XQ9zgu+++83QVpIouvfRSLr30Uk9Xw2eoq4AAEB0djcViKTEIJzU1ldjYWA/VSlyl6+g7dC19g66j79K19QwFVwEgICCAc889l++//96xzWaz8f333+t2lBfRdfQdupa+QdfRd+naeoa6CpxFTp48yfbt2x2vd+7cyaZNm6hXrx6JiYncc889jB49mq5du9K9e3dmz55NZmYmN910kwdrLcXpOvoOXUvfoOvou3RtayEPz2ogNWjZsmUGUOIxevRoR5kXX3zRSExMNAICAozu3bsba9as8VyFpVS6jr5D19I36Dr6Ll3b2sdkGFrLUURERERqP/VxFRERERGvoOAqIiIiIl5BwVVEREREvIKCq4iIiIh4BQVXEREREfEKCq4iIiIi4hUUXEVERETEKyi4ioiIiIhXUHAVEalGycnJmEwmTpw4UePvbTKZMJlMREZGlltuypQpdO7c2el14bGzZ8+u1jqKiLhCwVVExE369evHxIkTnbb16tWLAwcOEBER4ZE6zZkzh61bt7p0zKRJkzhw4ACNGjWqplqJiFSNn6crICLiywICAoiNjfXY+0dGRtKgQQOXjgkLCyMsLAyLxVJNtRIRqRq1uIqIuMGYMWNYvnw5zz//vOM2+65du0p0FXjnnXeIjIxk0aJFtGrVipCQEEaMGEFWVhZz584lKSmJunXrMmHCBKxWq+P8ubm5TJo0iYYNGxIaGsp5551HcnJyleo6c+ZMYmJiqFOnDrfccgs5OTlu+AZERKqfgquIiBs8//zz9OzZk7Fjx3LgwAEOHDhAQkJCqWWzsrJ44YUX+Oijj/j2229JTk7miiuuYPHixSxevJj33nuP119/nU8//dRxzJ133snq1av56KOP+O2337jqqqsYNGgQ27Ztc6meH3/8MVOmTGH69On88ssvxMXF8corr5zRZxcRqSnqKiAi4gYREREEBAQQEhJSYdeA/Px8Xn31VZo1awbAiBEjeO+990hNTSUsLIy2bdvSv39/li1bxsiRI0lJSWHOnDmkpKQQHx8P2Puhfvvtt8yZM4fp06dXup6zZ8/mlltu4ZZbbgHgiSee4LvvvlOrq4h4BbW4iojUsJCQEEdoBYiJiSEpKYmwsDCnbYcOHQLg999/x2q10rJlS0f/07CwMJYvX86OHTtceu8///yT8847z2lbz549z+DTiIjUHLW4iojUMH9/f6fXJpOp1G02mw2AkydPYrFYWL9+fYkBU0XDroiIr1NwFRFxk4CAAKcBVe7SpUsXrFYrhw4d4oILLjijc7Vp04a1a9dy4403OratWbPmTKsoIlIjFFxFRNwkKSmJtWvXsmvXLsLCwqhXr55bztuyZUuuu+46brzxRmbNmkWXLl04fPgw33//PR07dmTo0KGVPtc///lPxowZQ9euXenduzcffPAB//vf/2jatKlb6ioiUp3Ux1VExE0mTZqExWKhbdu21K9fn5SUFLede86cOdx4443ce++9tGrVissvv5x169aRmJjo0nlGjhzJI488wv3338+5557L7t27ueOOO9xWTxGR6mQyDMPwdCVERMT9TCYTCxcu5PLLL6/S8UlJSUycOLHEamAiIp6iFlcRER927bXXurx06/Tp0wkLC3Nri7GIiDuoxVVExEdt374dAIvFQpMmTSp93LFjxzh27BgA9evXJyIiolrqJyLiKgVXEREREfEK6iogIiIiIl5BwVVE/r/dOiABAAAAEPT/dTsCXSEALIgrAAAL4goAwIK4AgCwIK4AACyIKwAAC+IKAMCCuAIAsBBoUs5VbpqHdgAAAABJRU5ErkJggg==", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "hm1 = w.headinside(t1)\n", "hm2 = ml.head(r, 0, t2)\n", "plt.figure(figsize=(8, 5))\n", "plt.semilogx(t1, -h1, \".\", label=\"obs UE-25b#1\")\n", "plt.semilogx(t1, -hm1[-1], label=\"timflow UE-25b#1\")\n", "plt.semilogx(t2, -h2, \".\", label=\"obs UE-25a#1\")\n", "plt.semilogx(t2, -hm2[-1], label=\"timflow UE-25a#1\")\n", "plt.xlabel(\"time [d]\")\n", "plt.ylabel(\"drawdown [m]\")\n", "plt.title(\"Model Results\")\n", "plt.legend()\n", "plt.grid();" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Comparison of results" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The performance of `timflow` was evaluated by comparison to the results obtained from the software AQTESOLV (Duffield, 2007), MLU (Hemker & Post, 2014), and Kruseman and de Ridder (1990), here abbreviated to K&dR.\n", "\n", "The problem is solved in AQTESOLV using a double-porosity analytical solution proposed by Moench (1984). The MLU (Hemker & Post, 2014) solution used a similar approach to our `timflow` model by simulating the matrix as a very-low transmissivity aquifer on top of the fractured aquifer and separated by a zero-storage aquitard. However, the calibrated MLU model only fits the observations of well UE-25b#1. When the observations of well UE-25a#1 are included, the fit is not as good as initially thought. Kruseman et al. (1990) solved the problem using a graphical method, where the transmissivity was calculated as one aquifer and the storativity was separated between matrix and fractures. \n", "\n", "Overall, `timflow` showed similar results to MLU but with a better fit since both observation wells are taken into account with the `timflow` model. While the AQTESOLV obtained the best fit using Moench's analytical solution." ] }, { "cell_type": "code", "execution_count": 20, "metadata": { "editable": true, "slideshow": { "slide_type": "" }, "tags": [ "hide-input" ] }, "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", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
 km [m/d]Sm [1/m]kf [m/d]Sf [1/m]c [d]rc [m]RMSE [m]
timflow0.003.75e-040.885.07e-0612.910.110.198
AQTESOLV0.155.48e-040.941.95e-03-0.11-
MLU0.003.75e-040.848.05e-065.20--
K&dR0.833.75e-040.834.00e-06---
\n" ], "text/plain": [ "" ] }, "execution_count": 20, "metadata": {}, "output_type": "execute_result" } ], "source": [ "t = pd.DataFrame(\n", " columns=[\n", " \"km [m/d]\",\n", " \"Sm [1/m]\",\n", " \"kf [m/d]\",\n", " \"Sf [1/m]\",\n", " \"c [d]\",\n", " \"rc [m]\",\n", " \"RMSE [m]\",\n", " ],\n", " index=[\"timflow\", \"AQTESOLV\", \"MLU\", \"K&dR\"],\n", ")\n", "\n", "t.loc[\"timflow\"] = np.concatenate(\n", " [np.array([0.00025, 3.750e-04]), cal.parameters[\"optimal\"].values, [cal.rmse()]]\n", ")\n", "t.loc[\"AQTESOLV\"] = [0.1513, 5.4800e-4, 0.9366, 1.9508e-3, \"-\", 0.11, \"-\"]\n", "t.loc[\"MLU\"] = [0.00025, 3.750e-04, 0.8351125, 8.05e-6, 5.2035, \"-\", \"-\"]\n", "t.loc[\"K&dR\"] = [0.8325, 3.750e-4, 0.8325, 4.000e-6, \"-\", \"-\", \"-\"]\n", "\n", "t_formatted = t.style.format(\n", " {\n", " \"km [m/d]\": \"{:.2f}\",\n", " \"Sm [1/m]\": \"{:.2e}\",\n", " \"kf [m/d]\": \"{:.2f}\",\n", " \"Sf [1/m]\": \"{:.2e}\",\n", " \"c [d]\": lambda x: \"-\" if x == \"-\" else f\"{float(x):.2f}\",\n", " \"rc [m]\": lambda x: \"-\" if x == \"-\" else f\"{float(x):.2f}\",\n", " \"RMSE [m]\": lambda x: \"-\" if x == \"-\" else f\"{float(x):.3f}\",\n", " }\n", ")\n", "t_formatted" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Reference\n", "\n", "* Duffield, G.M. (2007), AQTESOLV for Windows Version 4.5 User's Guide, HydroSOLVE, Inc., Reston, VA.\n", "* Hemker, K. en Post V. (2014) MLU for Windows: well flow modeling in multilayer aquifer systems; MLU User's guide. https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmicrofem.com%2Fdownload%2Fmlu-user.pdf&data=05%7C02%7CMark.Bakker%40tudelft.nl%7Cad7f16364d2d4fd55dbf08de73832eaa%7C096e524d692940308cd38ab42de0887b%7C0%7C0%7C639075204580287861%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=OBoe8seXZUfoat89Dfr4g6lF%2Bn1FdtXqtp%2F18BMXCn0%3D&reserved=0\n", "* Kruseman, G.P. and De Ridder, N.A. (1990), Analysis and evaluation of pumping test data, 2nd edn. ILRI Publ. 47, ILRI, Wageningen, The Netherlands\n", "* Moench, A.F. (1984), Double-Porosity Models for a Fissured Groundwater Reservoir With Fracture Skin, Water Resour. Res., 20( 7), 831– 846, doi:10.1029/WR020i007p00831." ] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.13.3" } }, "nbformat": 4, "nbformat_minor": 4 }