09_parabolic.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "skip"
    }
   },
   "source": [
    "<table>\n",
    " <tr align=left><td><img align=left src=\"https://i.creativecommons.org/l/by/4.0/88x31.png\">\n",
    " <td>Text provided under a Creative Commons Attribution license, CC-BY. All code is made available under the FSF-approved MIT license. (c) Kyle T. Mandli</td>\n",
    "</table>"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "collapsed": true,
    "slideshow": {
     "slide_type": "skip"
    }
   },
   "outputs": [],
   "source": [
    "%matplotlib inline\n",
    "import numpy\n",
    "import matplotlib.pyplot as plt"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "# Parabolic Equations"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "We now finally turn to combining what we learned for spatial discretizations with boundary value problems with temporal discretizations for initial value problems.  The first type of equations we will study are parabolic equations for which the heat equation\n",
    "$$\n",
    "    u_t = \\kappa u_{xx}\n",
    "$$\n",
    "will serve as our focus.  Many of the general properties of the numerical methods we will derive for the heat equation will extend for many other parabolic equations as well."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Along with the equation above we also need boundary conditions\n",
    "$$\\begin{aligned}\n",
    "    u(0, t) &= g_0(t) ~~~~ \\text{for} ~~~ &t > 0 &~~~ \\text{and} \\\\\n",
    "    u(1, t) &= g_1(t) ~~~~ \\text{for} ~~~ &t > 0 &\n",
    "\\end{aligned}$$\n",
    "along with the initial condition\n",
    "$$\n",
    "    u(x, 0) = u_0(x).\n",
    "$$\n",
    "Here we have assumed that our domain $\\Omega = [0, 1]$, $t_0 = 0$, and that we have Dirichlet boundary conditions (we will see other implementations later)."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "We also will discretize the space-time domain such that\n",
    "$$\n",
    "    x_i = i \\Delta x ~~~~~~ t_n = n \\Delta t\n",
    "$$\n",
    "and that our numerical discretization $U$ will approximate the true function $u$ at a point $(x_i, t_n)$ such that\n",
    "$$\n",
    "    U^n_i \\approx u(x_i, t_n).\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "As a first attempt at discretizing the heat equation let's use forward Euler to discretize in time and a 2nd order, centered difference in space to find\n",
    "$$\n",
    "    \\frac{U^{n+1}_i - U^n_i}{\\Delta t} = \\frac{1}{\\Delta x^2} (U^n_{i-1} - 2 U^n_i + U^n_{i+1})\n",
    "$$\n",
    "or in update form\n",
    "$$\n",
    "    U^{n+1}_i = U^n_i + \\frac{\\Delta t}{\\Delta x^2} (U^n_{i-1} - 2 U^n_i + U^n_{i+1}).\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "One way to look at this discretization is to consider this again as an initial value problem so that\n",
    "$$\n",
    "    U^{n+1}_i = U^n_i + \\Delta t f(t_n, U^n_i)\n",
    "$$\n",
    "where now the spatial discretization is contained in $f$ so that in the case above we have\n",
    "$$\n",
    "    f(t_n, U^n_i) = \\frac{1}{\\Delta x^2} (U^n_{i-1} - 2 U^n_i + U^n_{i+1})\n",
    "$$\n",
    "providing us the means for analyzing this method in the context of initial value problem numerical methods."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Another method that uses only one-step but is more practical as we shall see is called the *Crank-Nicholson* method.  This method is based on a trapezoidal method discretization such that\n",
    "$$\\begin{aligned}\n",
    "    \\frac{U^{n+1}_i - U^n_i}{\\Delta t} &= \\frac{1}{2} (f(U^n_i) + f(U^{n+1}_i)) \\\\\n",
    "    &= \\frac{1}{2} \\frac{U^n_{i-1} - 2 U^n_i + U^n_{i+1} + U^{n+1}_{i-1} - 2 U^{n+1}_i + U^{n+1}_{i+1}}{\\Delta x^2} \\Rightarrow \\\\\n",
    "    U^{n+1}_i &= U^n_i + \\frac{\\Delta t}{2 \\Delta x^2} (U^n_{i-1} - 2 U^n_i + U^n_{i+1} + U^{n+1}_{i-1} - 2 U^{n+1}_i + U^{n+1}_{i+1})\n",
    "\\end{aligned}$$\n",
    "\n",
    "Try drawing the stencil of this method."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "From the update formula we can do a bit of algebra to find\n",
    "$$\n",
    "    -r U^{n+1}_{i-1} + (1 + 2r) U^{n+1}_i - r U^{n+1}_{i+1} = r U^{n}_{i-1} + (1 - 2r) U^{n}_{i} + r U^{n}_{i+1}\n",
    "$$\n",
    "where $r = \\frac{\\Delta t}{2 \\Delta x^2}$.\n",
    "\n",
    "Try writing out the system of equations for this if we have $m=5$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "This forms a tridiagonal system of equations of the form $A U^{n+1} = f(t_n, U^n)$ where\n",
    "$$\n",
    "    A = \\begin{bmatrix}\n",
    "        1+2r & -r \\\\\n",
    "        -r & 1+2r & -r \\\\\n",
    "        & -r & 1+2r & -r \\\\\n",
    "        & & \\ddots & \\ddots & \\ddots \\\\\n",
    "        & & & -r & 1+2r & -r \\\\\n",
    "        & & & & -r & 1+2r\n",
    "    \\end{bmatrix}\n",
    "$$\n",
    "$$\n",
    "    f(t_n, U^{n}) = \\begin{bmatrix}\n",
    "        r (g_0(t_n) + g_0(t_{n+1})) + (1 - 2r) U^n_1 + r U^n_2 \\\\\n",
    "        r U^n_1 + (1-2r) U^n_2 + r U^n_3 \\\\\n",
    "        r U^n_2 + (1-2r) U^n_3 + r U^n_4 \\\\\n",
    "        \\vdots \\\\\n",
    "        r U^n_{m-2} + (1-2r) U^n_{m-1} + r U^n_m \\\\\n",
    "        r U^n_{m-1} + (1-2r) U^n_m + r(g_1(t_n) + g_1(t_{n+1}))\n",
    "    \\end{bmatrix}\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "From our discussions of iterative methods we may be able to solve this in $\\mathcal{O}(m)$ steps making the Crank-Nicholson method for the heat equation as efficient as our explicit method above.  The advantage of the implicit method is that it allows for much larger time steps than the explicit method due to stability constraints which we will look at in detail (the heat equation can be considered a stiff system of ODEs)."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Local Truncation Error"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Local truncation error $\\tau^n$ is again calculated the same as before except now we need to deal with both the temporal and spatial derivatives.  We still will follow the same procedure as before, plugging in the true solution $u(x,t)$ into the appropriate discretization and use Taylor expansions to find the dominate error term."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "As an example consider the explicit method developed above.  We now have\n",
    "$$\n",
    "    \\tau^n_i = \\tau(x_i, t_n) = \\frac{u(x, t + \\Delta t) - u(x, t)}{\\Delta t} - \\frac{1}{\\Delta x^2} (u(x - \\Delta x, t) - 2 u(x, t) + u(x + \\Delta x, t))\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "The relevant Taylor expansions are\n",
    "$$\\begin{aligned}\n",
    "    u(x, t + \\Delta t) &= u(x,t) + u_t(x,t) \\Delta t + \\frac{\\Delta t^2}{2} u_{tt}(x,t) + \\frac{\\Delta t^3}{6} u_{ttt}(x,t) + \\mathcal{O}(\\Delta t^4) \\\\\n",
    "    u(x \\pm \\Delta x, t) &= u(x,t) \\pm \\Delta x u_x(x,t) + \\frac{\\Delta x^2}{2} u_{xx}(x,t) \\pm \\frac{\\Delta x^3}{6} u_{xxx}(x,t) + \\frac{\\Delta x^4}{24} u_{xxxx}(x,t) + \\mathcal{O}(\\Delta x^5).\n",
    "\\end{aligned}$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "This leads to a truncation error of\n",
    "$$\\begin{aligned}\n",
    "    \\tau(x,t) &= \\frac{1}{\\Delta t} \\left(u(x,t) + u_t(x,t) \\Delta t + \\frac{\\Delta t^2}{2} u_{tt}(x,t) + \\frac{\\Delta t^3}{6} u_{ttt}(x,t) + \\mathcal{O}(\\Delta t^4) - u(x,t) \\right ) \\\\\n",
    "    &~~~~~~~~~ - \\frac{1}{\\Delta x^2} \\left (u(x,t) - \\Delta x u_x(x,t) + \\frac{\\Delta x^2}{2} u_{xx}(x,t) - \\frac{\\Delta x^3}{6} u_{xxx}(x,t) + \\frac{\\Delta x^4}{24} u_{xxxx}(x,t) \\right .\\\\\n",
    "    &~~~~~~~~~ - 2 u(x,t) \\\\\n",
    "    &~~~~~~~~~ \\left .+ u(x,t) + \\Delta x u_x(x,t) + \\frac{\\Delta x^2}{2} u_{xx}(x,t) + \\frac{\\Delta x^3}{6} u_{xxx}(x,t) + \\frac{\\Delta x^4}{24} u_{xxxx}(x,t) + \\mathcal{O}(\\Delta x^5)\\right ) \\\\\n",
    "    &= u_t(x,t)+ \\frac{\\Delta t}{2} u_{tt}(x,t) + \\frac{\\Delta t^2}{6} u_{ttt}(x,t) + \\mathcal{O}(\\Delta t^3)  - u_{xx}(x,t) - \\frac{\\Delta x^2}{24} u_{xxxx}(x,t) - \\frac{\\Delta x^2}{24} u_{xxxx}(x,t) + \\mathcal{O}(\\Delta x^5) \\\\\n",
    "    &=  \\frac{\\Delta t}{2} u_{tt}(x,t) + \\frac{\\Delta t^2}{6} u_{ttt}(x,t) - \\frac{\\Delta x^2}{12} u_{xxxx}(x,t) + \\mathcal{O}(\\Delta x^4, \\Delta t^2)\n",
    "\\end{aligned}$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "In order to simplify our expression for the truncation error we can differentiate the true solution via\n",
    "$$\n",
    "    (u_t)_t = (u_{xx})_t \\rightarrow u_{tt} = (u_t)_{xx} = u_{xxxx}\n",
    "$$\n",
    "assuming the solution is smooth enough so that we can replace the temporal derivatives in our truncation error to find\n",
    "$$\\begin{aligned}\n",
    "    \\tau(x,t) &= \\left ( \\frac{\\Delta t}{2} - \\frac{\\Delta x^2}{12} \\right) u_{xxxx} + \\mathcal{O}(\\Delta t^2, \\Delta x^4)\n",
    "\\end{aligned}$$\n",
    "leading us to the conclusion that this method is first order in time and second order in space.  We see then that the explicit method above is at least consistent."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true,
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "We can also show that the Crank-Nicholson method is second order in both time and space, i.e.\n",
    "$$\n",
    "    \\tau(x,t) = \\mathcal{O}(\\Delta t^2, \\Delta x^2).\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Method of Lines"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "The *method of lines* refers to discretizing the spatial and temporal component of a PDE separately.  It is useful for analyzing methods as well as a straight-forward means to ensure a particular truncation error.  Above we have used this approach to the heat equation by discretizing the spatial derivative by a second order, centered approximation to the second derivative which leads to a system of ODEs, often called the *semi-discrete method*."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Looking back at our examples, a method of lines approach would give us the system\n",
    "$$\n",
    "    U_i'(t) = \\frac{1}{\\Delta x^2} (U_{i-1}(t) - 2 U_i(t) + U_{i+1}(t))\n",
    "$$\n",
    "which we can apply any IVP method to (and hence our two different approaches above).  "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Stability"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "With a method of lines perspective we can look at the discretization of the heat equation as being a question of whether $\\Delta t \\lambda = z$ lies within the stability region of the particular ODE method.  Now we see how the $\\lambda$ of the spatial discretization can play an important role in the stability of the overall method approach."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "For the heat equation with the centered, second order approximation we know that the eigenvalues of the matrix are\n",
    "$$\n",
    "    \\lambda_p = \\frac{2}{\\Delta x^2} (\\cos(p \\pi \\Delta x) - 1).\n",
    "$$\n",
    "As before when $\\Delta x \\rightarrow 0$ the eigenvalues continue to become larger along the negative real axis but the smallest eigenvalue remains stationary.  This lead us to conclude that the smaller $\\Delta x$ became the BVP become more *stiff* and the same thing happens here.  In fact, in this case we see how this adversely effects our IVP approach."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "For the heat equation the largest eigenvalue goes as\n",
    "$$\n",
    "    \\lambda = -\\frac{4}{\\Delta x^2}\n",
    "$$\n",
    "so we require that \n",
    "$$\n",
    "    z =  -\\frac{4 \\Delta t}{\\Delta x^2}\n",
    "$$\n",
    "lie within the stability region of the IVP method we have chosen."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "For the explicit method above we would require\n",
    "$$\n",
    "    |1 + \\Delta t \\lambda| \\leq 1\n",
    "$$\n",
    "and therefore\n",
    "$$\n",
    "    \\frac{\\Delta t}{\\Delta x^2} \\leq \\frac{1}{2}\n",
    "$$"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": false,
    "slideshow": {
     "slide_type": "skip"
    }
   },
   "outputs": [],
   "source": [
    "# Compute Heat Equation Solution using Forward Euler and 2nd-order Centered Approximations\n",
    "# Spatial discretization\n",
    "m = 100\n",
    "x = numpy.linspace(-1.0, 1.0, m)\n",
    "delta_x = 2.0 / (m - 1.0)\n",
    "\n",
    "# Time discretization\n",
    "delta_t = 0.5 * delta_x**2\n",
    "N = 101\n",
    "t = numpy.arange(0.0, N * delta_t, delta_t)\n",
    "\n",
    "# Solution array\n",
    "U = numpy.empty((N + 1, m))\n",
    "\n",
    "# Initial and boundary conditions\n",
    "U[0, :] = numpy.exp(-x**2 / 0.2**2)\n",
    "g_0 = lambda t: 0.0\n",
    "g_1 = lambda t: 0.0\n",
    "\n",
    "# Time stepping loop\n",
    "for n in xrange(len(t)):\n",
    "    for i in xrange(1,len(x) - 1):\n",
    "        U[n+1, i] = U[n, i] + delta_t / delta_x**2 * (U[n, i-1] - 2.0 * U[n, i] + U[n, i+1])\n",
    "    # Boundaries\n",
    "    U[n+1, 0] = U[n, 0] + delta_t / delta_x**2 * (g_0(t[n]) - 2.0 * U[n, 0] + U[n, 1])\n",
    "    U[n+1, -1] = U[n, -1] + delta_t / delta_x**2 * (U[n, -2] - 2.0 * U[n, -1] + g_1(t[n]))\n",
    "\n",
    "# Plot a few solutions\n",
    "colors = ['k', 'r', 'b', 'g', 'c']\n",
    "fig = plt.figure()\n",
    "axes = fig.add_subplot(1, 1, 1)\n",
    "for (i, n) in enumerate((0, 25, 50, 75, 100)):\n",
    "    axes.plot(x, U[n, :], colors[i], label='t=%s' % numpy.round(t[n], 4))\n",
    "    axes.set_xlabel(\"x\")\n",
    "    axes.set_ylabel(\"u(x,t)\")\n",
    "    axes.set_title(\"Solution to Heat Equation\")\n",
    "    axes.set_xlim([-1,1])\n",
    "    axes.set_ylim([0.0, 1.0])\n",
    "axes.legend()\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "For the Crank-Nicholson Method we know that the trapezoidal method is absolutely stable so we can choose any $\\Delta t$.  If $\\Delta t$ is too large we may loose accuracy though so we need to be a bit careful when using this method.  In general we can choose $\\Delta t = \\mathcal{O}(\\Delta x)$ to obtain a reasonable solution."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "collapsed": false,
    "slideshow": {
     "slide_type": "skip"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "delta_x = 0.020202020202\n",
      "delta_t = 0.010101010101\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAiAAAAGHCAYAAACJeOnXAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAAPYQAAD2EBqD+naQAAIABJREFUeJzs3Xl4k1Xa+PHvSWlpWvbVUqQsoqVSKC2yzaviwqIMdACV\nRYRBBASlgjODwuAgTEEFxYGpgPyk1q3g8oqi4wKjoL5ABWqxVSmgw07EAVoLUuiS8/vjSUPSpulC\n0qTl/lxXLuDknPPcTxqaO+ec5zxKa40QQgghRE0y+ToAIYQQQlx5JAERQgghRI2TBEQIIYQQNU4S\nECGEEELUOElAhBBCCFHjJAERQgghRI2TBEQIIYQQNU4SECGEEELUOElAhBBCCFHjJAERfksptVUp\n9bmH+4xQSlmVUuM92a+4ctSV95BS6o+282jn61jElUkSEOExSqlopdQ7SqlDSql8pdQxpdQmpdTD\n1eyy2vcJUEqNUUo94ul+L0cFMV1Ov1uVUpnlPFfyYfmop49b6jhzlFLxlaxbElN5j9nejLWy/PE9\n5GEaH5+HUipGKfW6UuqIUuqCUuq0UmqzLTkyOdQreW/MctHHBNtzsTUbvbhc9XwdgKgblFL9gM+B\nw8Aa4GfgaqAPkAAk1XBIY4HrgeWOhVrrw0opM1BYw/GUG5MH+MOH4VzgbeD9KrRJBT5yUZ7hkYgu\nnz++hzzpVWCd1rrAFwdXSj0ArML4XfEacABoCNwKvARcBTzt0EQDf1FKrdJaXyjVnT/8HxBVJAmI\n8JS/ArlAT631WccnlFItfBOSa776hSvK+EZrnerrIKqjLryHtHEnUl8lH30wko9twJ1a6/MOT6+w\njWZ0LdVsDxADPAj8o0YCFV4lUzDCUzoC35dOPgC01qcc/62UClBKPaGU+tE27HpQKZWolApyd4Dy\n5qyVUjfbym+y/XsLMARwHOr/j+05l/P3SqlblVJfKaXOKaVylFLvKaUiS9V50ta2k1IqxVYvVymV\nrJQKriD2cmOyPd9SKbVWKfWzbfpqjzfXGCilGiul/uEw9H1AKTVbKaVK1fuzUmqbUuqUUuq8Umq3\nUmpkqTpWIAT4o8O5JXsw1nlKqaNKqd+UUp8ppaJs75lkhzpP2uIo3bbMe0YpNUwp9aFS6rjt3H+0\nHcNxyN/v3kO29odcvbbKxXoppdQMpdR3ttftjFJql1JqdAWvzSGl1Eal1O+UUl/b3os/KaXuc3HM\nbkqpL2zvi6NKqb8qpSa6+j/qwnzACowrlXwAoLX+Rmv9aqnibRijrLOVUvUr6F/UAjICIjzlMNBH\nKXW91vr7CuquBcYDbwHPAr0xhvC7ACPdtHM3Z+1Yngg0BsKBmYACzpXXqVLqdoypgJ8wfjGaMaaN\n/k8pFau1PlLqGG8B/wEeB2KBB4CTwBw3sZcbk+2DZyvQCfgncAi4G0hRSjXWWv/TTb8lApRSzV2U\nN3NxvmbgS6ANxrfQo0A/4CmMYW/H9SIJGNMqrwNBwGjgLaXU77XWH9vqjMP4mX6NMf0GxmtZkZBy\nYs7VWhfbYv07xujah8DHGK/3p7ZYHJX33nBV/kfgLPAcxs/gVmAhxvD/Y7Y6/vgecmzvtlwpNRlj\n6ugtjNGCYKAbxv+19Q5tSvengc4Y02lrgRTgfuBlpdRurfVeW/9tgC1AMbAIOG87hwI3MZbEZsZ4\nzb/UWh9ze7ZlPQl8BUxDRkFqP621PORx2Q/gdoxfPoUY31SeBgYA9UrV64bxzWd1qfIlGL/MbnYo\n2wJ87vDvCbY67Uq1vdlWfpND2QfAf1zEGWE7/niHsgzAAjR2KIsGioCXHcpKvrWtKdXn/wK/VOI1\nKi+mR2zxj3YoC7C9jr8CoRX0u8UWV3mPYuBRh/rzgDygY6l+Ftt+huEOZfVL1QkAMoHNpcrPAsmV\nfK9EOMTlKtZetnotgAvA+6XaJ9rqJjuUzQeKXRyrzHum9DnZylbZziHQz99DB129zpT9v7IByKyg\nL1evzUFbWT+HshZAPrDEoWyF7dy6OZQ1AU6V7tPFcaNtr8GyyrxfbG2swArb3z8DTpT8HB3OI7ay\n/cnDPx4yBSM8Qmv9b4xv0e9jJBl/wfimelwpNdSh6p0Y35CeL9XFcxjfMod4P9pLlFJXAd0xPiR+\nLSnXWmcBmzHidaSBF0uVfQU0V0o1qGYYdwA/a61LvpmijRGAFUADjASrIgeB2zASQcfHvRivq6O7\nbDH/qpRqXvLA+MVeD7jJIY6LJX9XSjUBmtraeuKKgzUu4h0A/GB7/nYgEGNUyNFlffMtdU4NbOf+\nfxjTSJHlNiyHn7yHSssF2iqlelaj7Q9a6+0l/9DGFOo+jGnWEoOAHVrrTId6ucAblei/ke3PMtO1\nlfQkxkjdg9VsL/yETMEIj9Fa7wbuUkrVw/iFPByYBbytlIrRWmdz6dvjj6XanlRK5dqer0klx9vv\n4rm9wECllFlrne9QfqRUvRzbn01xM0xfQQwHyjm+onKvyW9a6y2lC5VSrtp2xvgW+l8Xz2mglUP7\n32NMgcQAjvPuZdZbVMMBrbW7fV5KYi/9XjmllMpxUb9SlFJRGNMGt3DpwxCMc29cjS794T1U2jMY\nCelOpdSPwCYg1TGxcKN0bCXxNXX4dwTgqq8fXZSVlmf7s2El6pahtf7KtkZntlJqdXX6EP5BEhDh\ncVrrIiAdSFdKHQBexljT8HcufRuvzmVz5bUJqEZfJUqPDlRGsQf7upx21WXC+Gb+TDnH3g+glLoR\nY0RrK8acuwVjiu1+YEwNxOnuvVI67kq9N5RSjTHWv+RiTEX9B2OaJw5j2rA6o8I1+R5yd55F9kpa\nZyulrgN+DwwGRgDTlVILtNYLvBRbZf2IEWv0ZfSxAON9ORVjmlLUQpKACG/bbfszzPbnIYxf8p0x\nhnUBUEq1wphDPuymr5JviU1w/pbW3kXdyiY4h2x/XufiuUjgVKlvrpejvJgO4fqXcRfbn+5ek+r4\nCWjgasSklBEYc/+DbEklAEqpSS7qemMfhkO2P6/F4TVQxmXdTUrVzbE910hrnedQ3r5Uvf4Y3+Tj\ntdbbHPrs5OL4/vgeyqHsuYMxIuG08Nd2zLcxRiDrYawL+atS6il9+ZcRHwaucVHeuaKGWut82xU7\ntyilwrXWx6t6cK31l0qprRiLhv9e1fbCP8gaEOERSqn+5TxVsqYj2/bnRxjfpGaWqvcnjF/4/3Jz\nmJ9sbe1rFGyXTk5xUfc3KjGcrrX+GWN/gQlKKftwvFKqKzCwgniqqryYPgKuUkqNcjh+ADADY578\nCw/GAMaVEX2VUgNLP6GMy3NLfi8UY/xM6jk83x5wtePpb7j+YLwc/8b4pjyjVHmZ3TBx/d4Ixbja\nylGxrZ7jJbdBwHQXffrje+gnjKvNHH8mQzE2/cOhzOnqJ1sCuRfjvAM9EMenGO+hbqWOObaS7RfY\nYnnN9nNyopSKK32ZswtPYnyxcfX/X9QCMgIiPOWfSqkQjG9Z2RiXSf4OuAdjmDsFQGudqZR6BZii\nlGqK8eHaG+OD4l2tdbkftlrrH5RSO4CnbQsHz2BcFuoqkU4H7lFKPQfsAs5prT8sp+u/YCQBaUqp\ntRiLER/G+LZZ0XB1VZQX0xqMoeQU26LBQxhTVn2BR7TWv3kwBoClwDDgQ6VUii2uUIzFwyMwRg3O\nYFz6+ijwqVIqFWiN8UF9wFa39Lndroytsk8AB7XWOyuII04pda+L8p+01mm2tR7PAo8rpT7E+Bn1\nwJhSKL1+ZRPGqFiyUmopxhqVicAvOH84b8f4ub6qlFphKxuH69EOf3wPvYSxiPhTpdRbGJduj6Ps\n2otNSqmfMa6kOglEAQ8BH3jo/bTEdtzPbK/jbxiX4R7GGGFyO3qktd6hlHoIeAHIVko57oTaH+P9\n+dcK+vhSKfUFxiJt2Qm1NvL1ZTjyqBsPjG96/w/4HmNONh9jiuV5oGWpuiaM+fcfMebfD2EMowaW\nqrcF+KxUWXuMb1/nMT7oFmLsKVD6MtwQjO2dT9ue+4+tPML27/Gl+r0FY23AOYwPjQ3AdaXqzLe1\nbVaq3OXlwS5eI5cx2Z5rgfHhctL22u0B7qvka78F+Lac50rOd5aLWBJtP6N823G/whiZCnCo90eM\nhPK87Wc7HheXvGJMk2yxvX7FuLkk1yGm8h7JperPA47Z+v43xtRUmctRMRbKbredz0GMfThcXWra\nB+OD+RzGHiiLMa648fv3kK3uTIxk6zxGAt+DUv9XMJKBLRgJ2HmMdT1PYUy9lXtMjC8L77s4pqv/\ni90w1mGcx0g8/oKRdBVT6v+8m3OJsb3GRzF+F5zCSCbvLVWvGFjuov3NtueKkMtwa91D2X6IQghR\nayilDgJbtNb3+zoWcYlS6h/AZIxERz5chFt+sQZEKXWjbfvf47ZtfIdVok1/pVS6MrZS3q+UmlAT\nsQohhIDS26HbpkXHAV9J8iEqw1/WgIRiDDknY+wI6JZtIdyHwEqMRU+3Ay8ppU5orTd7L0whhBA2\nO2xXomRjbAx2P8YaDrkqRVSKXyQgWutPgE8AlFKVudZ8GsZ87Gzbv/cppf4HY3W8JCBC1H0aWXjo\nax9hLIidgvGzSAcmaofLm4Vwxy8SkGrog7EYzdGnlN3eWwhRB2mtO1ZcS3iT1noexgJhIarFL9aA\nVMNVGKv2HZ0EGsltmoUQQgj/V1tHQFxxu8W3bYHUIIxLPi/UUExCCCFEXRCMbRsErfVpT3RYWxOQ\nnzE2RXLUCsjT5W8xPIjK3alRCCGEEK7dC6R6oqPamoDswLiFuaOBtvLyHAJ4/fXX6dKli5tqoraY\nNWsWzz8vy35qox9//JHx48czePBg/va3vwGXfp4LFizg008/5dVXX+Waa1zdbkTUBvL/s27Zu3cv\n48aNg0v3PrpsfpGA2O4FcA2XplE6KqW6A2e01keVUk8BbbTWJXt9rAYeVko9g3Hp7m0Yq7HvdHOY\nCwBdunQhNjbWG6chaljjxo3lZ1kLnTt3jnvvvZfOnTuTmppKSEgIcOnnuW7dOnr37s38+fPZtWsX\nDRo08HHEojrk/2ed5bElDP6yCLUnkIFxGZcGngO+4dI9FK7C4X4OWutDGDc5ux1j/5BZwCStdekr\nY4QQfkRrzbRp0zh69Chvv/22PflwFBISwttvv83Ro0eZPn06sqeVEHWTX4yAaOMGZOUmQ1rrieW0\nifNmXEIIz0pOTub111/n9ddfJzIystx6kZGRvPjii4wbN47+/ftz//2y47oQdY2/jIAIIeq4zMxM\nHn74YSZPnsy997q6Ca6ze++9lwceeICHHnqIrKysGohQCFGTJAERtdaYMWN8HYKogmnTptG5c2eW\nL1/u8nlXP88VK1bQuXNnHnzwQW+HJzxM/n+KivjFFIwQ1SG/4GqP77//nu3bt/POO+9gNptd1nH1\n8zSbzfztb3/j7rvv5ocffiAqKsrbodY5R44c4dSpUzV+3Ouuu45vvvmmxo8rqqdFixa0a9euRo8p\nCYgQwuvWrl1Ly5YtGTp0aJXbDhs2jBYtWrB27Vqee+45L0RXdx05coQuXbpw/vx5X4ci/FxISAh7\n9+6t0SREEhAhhFcVFBTw2muvMWHCBIKCgqrcPigoiPHjx/Pqq6/y1FNPVauPK9WpU6c4f/687H8k\n3CrZ4+PUqVOSgAgh6o6NGzdy6tQpJk2aVO0+Jk2axLJly/jggw8YOXKkB6O7Msj+R8IfySJUIYRX\nvfTSS/Tt2/eyvoFHRUXRp08fXnrpJQ9GJoTwJUlAhBBec+TIETZt2nRZox8lJk2axKeffsrRo0c9\nEJkQwtckARFCeE1KSgqhoaGMGjXqsvsaNWoUISEhpKSkXH5gQgifkwRECOEVVquV5ORkRo0a5ZH7\nuTRs2JBRo0aRnJyM1Wr1QIRCCF+SBEQI4RWfffYZhw8f9sj0S4lJkyZx6NAhPv/8c4/1KYTwDUlA\nhBBesXbtWrp06UKfPn081mffvn2JjIxk7dq1HutT1F47duxgwYIF5OXleazPjRs3EhcXh9lsJiIi\ngieffJLi4uJKtdVas2TJEjp27IjZbKZ79+6sX7/eY7HVNZKACCE87vTp02zYsIFJkyahlPJYv0op\nJk2axLvvvsvp06c91q+onbZv387ChQvJzc31SH8ff/wxw4cPp1mzZiQlJTF8+HASExNJSEioVPs5\nc+bw+OOPM2jQIJKSkoiIiGDs2LG89dZbHomvrpEERAjhcW+++SZWq5X77rvP432PHz8eq9Uqv9QF\nWmuP9venP/2JmJgYPv30UyZNmsQ//vEP5syZw4svvsj+/fvdtj1x4gTPP/88M2bMYNWqVUyaNImN\nGzdy44038pe//MXjsdYFkoAIITzuk08+4X/+539o1aqVx/tu1aoVv/vd7/jkk0883reoPRYsWMDs\n2bMBaN++PSaTiYCAAI4cOVKt/vbu3Ut2djZTpkzBZLr00Th9+nSsVivvvPOO2/bvvfceRUVFTJs2\nzal82rRpHDt2jB07dlQrrrpMdkIVQnhUQUEBW7ZsYe7cuV47xsCBA3nqqacoLCwkMDDQa8cR/mvk\nyJHs37+f9evXs3z5cpo3bw5Ay5YtycvLo7CwsMI+goODCQ0NBSAjIwOlFHFxcU51wsLCaNu2LRkZ\nGW772rNnD6GhoURGRjqV9+rVC601GRkZ9OvXryqnWOfJCIgQwqPS0tI4d+4cAwcO9NoxBg4cyLlz\n50hLS/PaMYR/69q1q317+fj4eMaOHcvYsWMxm83Ex8fTsmVLt49WrVoxY8YMe38WiwUwEo7SwsLC\nOHHihNt4LBYLrVu3dtkWqLD9lUhGQIQQHrV582aaN29Ojx49vHaMHj160KxZMzZv3syNN97oteNc\nSc6fP092drbXjxMZGUlISIhXj7Fs2TJycnIqrNemTRv73/Pz8wGoX79+mXrBwcGcPXvWbV/5+fnl\ntnXsX1wiCYgQwqM2bdrE7bff7jSP7mkBAQHcfvvtbNq0iYULF3rtOFeS7OzsMtMP3pCenu71G+NV\nJ/k1m80AXLx4scxzFy5csD/vrn15bR37F5dIAiKE8JgzZ86we/dupkyZ4vVjDRgwgKlTp5KTk0PT\npk29fry6LjIykvT09Bo5jrfl5ORQUFBQYT2z2UyjRo2AS1MlFouF8PBwp3oWi4XevXu77SssLIyt\nW7eWKS+Z2nEcbREGSUCEEB7z+eefY7VaGTBggNePNWDAAKxWK59//jkjR470+vHqupCQEK+PTHha\neXvMjBgxgi+++KLCthMmTCA5ORmAmJgYtNbs3r2bnj172utZLBaOHTvGgw8+6La/mJgY1q5dS3Z2\ntlOSlZaWhlKKmJiYyp7WFUMSECGEx2zatInIyEjatWvn9WNFRERw3XXXsWnTJklArlAlV7Dk5uY6\nveeqswYkKiqKyMhI1qxZw9SpU+3JzcqVKzGZTIwYMcJeNy8vD4vFQlhYmH0EJT4+npkzZ7Jy5UpW\nrFhhr7t69WrCw8PlChgXJAERQniE1ppNmzYxbNiwGjvmgAED+PDDD9Fae3THVVE7xMXFobVm7ty5\njB49msDAQIYNG1btBdBLly4lPj6eAQMGMHr0aLKysnjhhReYPHmy06jGhg0bmDhxIikpKYwfPx6A\n8PBwZs2axbPPPktBQQE33HADGzZsYNu2baSmpsr70wW5DFcI4RE//vgjhw8f9urlt6UNHDiQQ4cO\n8dNPP9XYMYX/6NmzJ4mJiWRmZjJx4kTGjh3Lf//732r3N2TIEN59911ycnJISEjgvffeY968eSQl\nJZWp6yqheOaZZ1i8eDGbNm3i4Ycf5siRI7zxxhuMGjWq2jHVZTICIoTwiM2bNxMYGEj//v1r7Jj9\n+/enXr16bN68mWuuuabGjiv8x9y5cz266d2wYcMqHMWbMGECEyZMcPncY489xmOPPeaxeOoyGQER\nQnjEpk2b6Nu3Lw0aNKixYzZs2JC+ffuyadOmGjumEMIzJAERQly2wsJCtmzZUqPTLyUGDhzI559/\nTlFRUY0fWwhRfZKACCEu286dO8nLy6uRy29LGzBgAHl5eezcubPGjy2EqD5JQIQQl23Tpk00bdq0\nRnbSLK1nz540adJEpmGEqGUkARFCXLbNmzdz++23ExAQUOPHLtmWffPmzTV+bCFE9UkCIoS4LL/+\n+itff/21T6ZfSgwYMICvv/6aX3/91WcxCCGqRhIQIcRlSUtLw2q11ujlt6X179+f4uJivv76a5/F\nIISoGklAhBCXJS0tjebNm/t0H47OnTvTrFkz0tLSfBaDEKJqJAERQlyWtLQ0+vTp49OtppVS9OnT\nRxIQIWoRSUCEENVmtVr5+uuv6dOnj69DsScgWmtfhyKEqARJQIQQ1XbgwAFycnL8JgHJycnhwIED\nvg5FCFEJkoAIIaptx44dKKW44YYbfB0KvXr1QinFjh07fB2KEKISJAERQlRbWloaUVFRNG7c2Neh\n0LhxY7p06SLrQK4gO3bsYMGCBeTl5Xmsz40bNxIXF4fZbCYiIoInn3yS4uLiSrXVWrNkyRI6duyI\n2Wyme/furF+/vky9Xbt2MX36dHr27ElQUFCF++esXbuWqKgozGYz1157rcu78+7fv59Zs2bxu9/9\nDrPZjMlk4siRI5U7aR+RBEQIUW0lC1D9hSxEvbJs376dhQsXkpub65H+Pv74Y4YPH06zZs1ISkpi\n+PDhJCYmkpCQUKn2c+bM4fHHH2fQoEEkJSURERHB2LFjeeutt5zqffTRRyQnJ2MymejUqZPbPlev\nXs3kyZOJjo4mKSmJfv36kZCQwNKlS53q7dixg6SkJM6dO0dUVJRPF4VXmtb6ingAsYBOT0/XQojL\nd/bsWW0ymfT/+3//z9eh2K1Zs0abTCZ97tw5X4fiF9LT03Vd/r23dOlSbTKZ9OHDhz3SX5cuXXRs\nbKwuLi62l82bN08HBAToffv2uW17/PhxHRQUpBMSEpzKb7rpJt2uXTtttVrtZb/88ou+cOGC1lrr\nhx9+WJtMJpd95ufn6xYtWuhhw4Y5lY8bN043bNhQ5+bm2stycnLs7/tnn322Sq9LZd4nJXWAWO2h\nz2UZARFCVMvu3buxWq1+NwJitVrZvXu3r0MRXrZgwQJmz54NQPv27TGZTAQEBFR72mHv3r1kZ2cz\nZcoUTKZLH43Tp0/HarXyzjvvuG3/3nvvUVRUxLRp05zKp02bxrFjx5zWJrVs2ZL69etXGNOWLVs4\nc+YM06dPdyp/6KGHOHfuHP/617/sZU2aNCE0NLTCPv1JPV8HIISondLS0mjYsCFdunTxdSh2UVFR\nNGjQgLS0NG6++WZfhyO8aOTIkezfv5/169ezfPlymjdvDhgf7nl5eRQWFlbYR3BwsP1DOyMjA6VU\nmRsqhoWF0bZtWzIyMtz2tWfPHkJDQ4mMjHQq79WrF1prMjIy6NevX1VO0X7M0jHFxcVhMpnIyMhg\n7NixVerTn0gCIoSolrS0NHr16uWTG9CVJyAggF69esk6kCtA165diY2NZf369cTHx9OuXTv7c3fe\neSdffPGF2/ZKKSZMmEBycjIAFosFMBKO0sLCwjhx4oTb/iwWC61bt3bZFqiwfXl9BgQE0KJFC6fy\nwMBAmjdvXq0+/YkkIEKIKtNak5aWxgMPPODrUMro06cPycnJaK1rx0I8f3H+PGRne/84kZEQEuLV\nQyxbtoycnJwK67Vp08b+9/z8fACXUyPBwcGcPXvWbV/5+fnltnXsvyry8/MJCgpy+VxwcHC1+vQn\nkoAIIars8OHDnDx5kr59+/o6lDL69u3L4sWLOXLkCBEREb4Op/bIzoZSQ/1ekZ4OsbFePUSPHj2q\n3MZsNgNw8eLFMs9duHDB/ry79uW1dey/qjEVFBS4fK4yMfk7SUCEEFVWMsXRu3dvH0dSVklMaWlp\nkoBURWSkkRzUxHG8LCcnp9wPbkdms5lGjRoBl6ZKLBYL4eHhTvUsFkuF7/WwsDC2bt1aprxkasdx\ntKWywsLCKC4u5tSpU07TMIWFhZw+fbpaffoTSUCEEFWWlpbGNddcU2Zu2h+0bNmSTp06kZaWxqhR\no3wdTu0REuL1kQlPK2+KbcSIEVVeAxITE4PWmt27d9OzZ097PYvFwrFjx3jwwQfd9hcTE8PatWvJ\nzs52WoialpaGUoqYmJjKnpZTnyUxDR482F6+a9curFZrtfr0J5KACCGqzN82ICtNNiS7MpRcwZKb\nm+u0CLU6a0CioqKIjIxkzZo1TJ061Z7crFy5EpPJxIgRI+x18/LysFgshIWF2UdQ4uPjmTlzJitX\nrmTFihX2uqtXryY8PLzKV8AA3HrrrTRt2pRVq1Y5JSCrVq0iNDSUIUOGVLlPfyIJiBCiSi5cuMA3\n33zDfffd5+tQytWnTx/efvttLl68WKn9FkTtFBcXh9aauXPnMnr0aAIDAxk2bFi11oAALF26lPj4\neAYMGMDo0aPJysrihRdeYPLkyU6jGhs2bGDixImkpKQwfvx4AMLDw5k1axbPPvssBQUF3HDDDWzY\nsIFt27aRmprqNFpz5MgRXnvtNQD7njWLFi0CICIignHjxgHGQtPExEQefvhh7rnnHgYNGsSXX35J\namoqixcvpkmTJvY+8/LyWLFiBUoptm3bhtaaf/7znzRp0oQmTZrw0EMPVes18SpP7Wjm7w9kJ1Qh\nPGL79u0a0Lt37/Z1KOXatWuXBvSOHTt8HYpP1fWdULXWetGiRfrqq6/W9erV88iuqO+//76OjY3V\nZrNZt2vXTs+fP18XFRU51UlJSdEmk0m/8sorZdo//fTTukOHDjo4OFhHR0frdevWlamzdetWrZTS\nJpOpzOOWW24pU/+ll17SXbp00cHBwbpz5856xYoVZeocOnSo3D47dOjg9px9tROq0saHc52nlIoF\n0tPT04mtZfOcQviT559/nrlz55KXl0dgYKCvw3GpoKCAxo0b89RTTzFz5kxfh+Mz33zzDXFxccjv\nPeFOZd4nJXWAOK31N544rt9sxa6UekgpdVApla+USlNKub2/t1JqplIqWyl1Xil1RCm1TCklY61C\neFlaWhrbcMmBAAAgAElEQVQ9e/b02+QDICgoiLi4OFkHIoQf84sERCk1CngOmA/0AL4FPlVKuVxi\nr5QaCzxlqx8J3A+MAhbVSMBCXMF27tzpl5fflta7d2++/vprX4chhCiHXyQgwCzgRa31q1rrbOBB\n4DxGYuFKX+D/tNZvaq2PaK3/DawDetVMuEJcmc6cOcOhQ4dqxXB+bGwshw4dqtTVEEKImufzBEQp\nFQjEAZ+VlGljYcq/MRINV7YDcSXTNEqpjsCdwL/KqS+E8IA9e/YA1dtpsqaVxFgSsxDCv/g8AQFa\nAAHAyVLlJ4GrXDXQWq/DmH75P6VUAXAA2KK1fsabgQpxpcvIyCAkJIRrr73W16FU6LrrrsNsNld4\nF1MhhG/4QwJSHoVxyU/ZJ5TqD8zFmKrpAYwAfq+Umldj0QlxBcrIyKB79+5+dQfc8gQEBNC9e3dJ\nQITwU/6wEdkpoBgofR/jVpQdFSmxEHhVa/2y7d/fK6UaAC8Cie4ONmvWLBo3buxUNmbMGMaMGVPV\nuIW44mRkZNC/f39fh1FpPXr04Msvv/R1GELUKuvWrWPdunVOZb/++qvHj+PzBERrXaiUSgduAzYC\nKGPLuNuAFeU0CwGspcqstqZKu9nc5Pnnn68VC+iE8Dfnz58nOzubWbNm+TqUSuvRowcvvvgi58+f\nJ8TLt4AXoq5w9aXcYR8Qj/GXKZhlwBSl1HilVCSwGiPJSAFQSr2qlFrsUP8DYJpSapRSqr1SagDG\nqMj77pIPIUT1ZWZmYrVaa8UC1BI9evTAarWSlZXl61CEEKX4fAQEQGv9lm3Pj4UYUzF7gEFa6//a\nqrQFihya/B1jxOPvQDjwX4zRE1kDIoSXZGRkUK9ePbp27errUCqta9euBAQEkJGRUSv2LhHiSuIX\nCQiA1nolsLKc524t9e+S5OPvNRCaEAIjAYmKiqpVN3cLDg4mKipKFqIK4Yf8ZQpGCOHnMjIyauX6\nqdjYWElAhPBDkoAIISpUWFhIVlZWrVr/UaJHjx5kZWVRVFRUcWUhRI2RBEQIUaHs7GwuXrxYaxOQ\nCxcukJ2d7etQhIft2LGDBQsWkJeX57E+N27cSFxcHGazmYiICJ588kmKi4sr1VZrzZIlS+jYsSNm\ns5nu3buzfv36MnVSUlKIj4+nXbt2NGjQgOjoaBYtWsTFixdd9rt27VqioqIwm81ce+21JCUllanz\n7rvvMmbMGDp16kRoaCiRkZH8+c9/9srls54iCYgQokLffGPcfbt79+4+jqTqYmJigEvnIOqO7du3\ns3DhQnJzcz3S38cff8zw4cNp1qwZSUlJDB8+nMTERBISEirVfs6cOTz++OMMGjSIpKQkIiIiGDt2\nLG+99Za9zvnz57n//vs5deoU06ZNY/ny5fTu3Zv58+dz5513lulz9erVTJ48mejoaJKSkujXrx8J\nCQksXbrUqd7UqVPZu3cv9913H//85z+544477PXLS2x8Tmt9RTyAWECnp6drIUTVPPLII/qaa67x\ndRjV1qlTJz1z5kxfh1Hj0tPTdV3+vbd06VJtMpn04cOHPdJfly5ddGxsrC4uLraXzZs3TwcEBOh9\n+/a5bXv8+HEdFBSkExISnMpvuukm3a5dO221WrXWWhcUFOgdO3aUab9w4UJtMpn0Z599Zi/Lz8/X\nLVq00MOGDXOqO27cON2wYUOdm5trL/viiy/K9Pnqq69qpZReu3at29gr8z4pqQPEag99LssIiBCi\nQhkZGbVy+qVEjx49ZCFqHbNgwQJmz54NQPv27TGZTAQEBHDkyJFq9bd3716ys7OZMmUKJtOlj8bp\n06djtVp555133LZ/7733KCoqYtq0aU7l06ZN49ixY+zYsQOAwMBA+vTpU6b98OHD0Vqzd+9ee9mW\nLVs4c+YM06dPd6r70EMPce7cOf71r0v3X73ppptc9llybv5IEhAhhFtWq5U9e/bUyitgSsTGxrJn\nz56S0VBRB4wcOdK+W+fy5ct5/fXXee2112jZsiV5eXmcPn26wsdvv/1m7y8jIwOlVJndPsPCwmjb\ntm2FCeyePXvsay8c9erVC611he0tFgsALVq0cIoJKBNTXFwcJpOpWn36E7/ZB0QI4Z8OHjxIXl5e\nrR8B+fXXXzl48CAdO3b0dTh+6fx5qIl1upGR4Ild8bt27UpsbCzr16+3L+gsceedd/LFF1+4ba+U\nYsKECSQnJwOXPqzDwsLK1A0LC+PEiRNu+7NYLLRuXfqWZpf6q6j9kiVLaNy4MXfccYdTnwEBAWUS\niMDAQJo3b15hn8888wz16tXjrrvuclvPVyQBEUK4VfItq7YnIGCciyQgrmVng4dv9eFSejp4ezBt\n2bJl5OTkVFivTZs29r/n5+cDuNxoLzg4mLNnz7rtKz8/v9y2jv27snjxYj7//HNWrVpFo0aNnPoM\nCgpy2SY4ONhtn6mpqSQnJ/P444/TqVMnt7H7iiQgQgi3MjIyaNOmDa1atfJ1KNXWunVrwsLCyMjI\nYOTIkb4Oxy9FRhrJQU0cx9uqkyybzWYAl1eMXLhwwf68u/bltXXsv7Q333yTJ554ggceeIApU6aU\n6bOgoMBlO3cxffXVVzzwwAPccccdJCa6vUG8T0kCIoRw65tvvqnVox8levToIZfiuhES4v2RiZqS\nk5NT7ge3I7PZbB9xKJkqsVgshIeHO9WzWCwV3ksoLCyMrVu3likvmdpxHG0psXnzZiZMmMDQoUNZ\ntWqVyz6Li4s5deqU0zRMYWEhp0+fdtnnt99+S3x8PN26dePtt992WlDrb/w3MiGEX6jtV8CUkCth\n6h6llMvyESNGEBYW5vbRpk0bZs6caW8TExOD1prdu3c79WWxWDh27FiF/wdiYmI4f/58mQ3v0tLS\nUErZ96MpsXPnTkaMGEGvXr148803XSYK5cW0a9curFZrmT5/+uknBg8ezFVXXcVHH31EiCcW23iR\njIAIIcplsVg4efJkrb4CpkRsbCyLFi3i559/5qqrrvJ1OMIDQkNDAcjNzXVahFqdNSBRUVFERkay\nZs0apk6dak9uVq5ciclkYsSIEfa6eXl5WCwWwsLC7CMo8fHxzJw5k5UrV7JixQp73dWrVxMeHk6/\nfv3sZXv37mXIkCF07NiRDz74oNwbPN566600bdqUVatWMXjwYHv5qlWrCA0NZciQIfaykydPMnDg\nQOrVq8cnn3xCs2bNKjx/X5MERAhRrrqwALWE40JUxysNRO0VFxeH1pq5c+cyevRoAgMDGTZsWLXf\nr0uXLiU+Pp4BAwYwevRosrKyeOGFF5g8ebLT5bUbNmxg4sSJpKSkMH78eADCw8OZNWsWzz77LAUF\nBdxwww1s2LCBbdu2kZqaak9ozp07x6BBg8jNzWX27Nl8+OGHTjF06tTJvk9IcHAwiYmJPPzww9xz\nzz0MGjSIL7/8ktTUVBYvXkyTJk3s7QYNGsShQ4eYPXs2X331lVOfrVu35vbbb6/Wa+JVntrRzN8f\nyE6oQlRZYmKibtKkiX0Xx9rMarXqJk2a6EWLFvk6lBpT13dC1VrrRYsW6auvvlrXq1fPI7uivv/+\n+zo2NlabzWbdrl07PX/+fF1UVORUJyUlRZtMJv3KK6+Uaf/000/rDh066ODgYB0dHa3XrVvn9Pyh\nQ4e0yWQq9zFx4sQyfb700ku6S5cuOjg4WHfu3FmvWLGiTB13fd5yyy1uz9lXO6EqfYVszKOUigXS\n09PT68RwshA1YdSoUfzyyy9s2bLF16F4RP/+/bnqqqvK3CCsrvrmm2+Ii4tDfu8JdyrzPimpA8Rp\nrT2ymlsWoQohypWZmUl0dLSvw/CY6OhoMjMzfR2GEAJJQIQQ5cjPz2f//v1069bN16F4TLdu3di3\nb599bwYhhO9IAiKEcOmHH37AarXWuQTEarXyww8/+DoUIa54koAIIVzKzMxEKcX111/v61A85vrr\nr0cpJdMwQvgBSUCEEC5lZmZyzTXX2PdaqAsaNGhAp06dJAERwg9IAiKEcCkzM7NOTb+U6NatmyQg\nQvgBSUCEEGVorevcFTAloqOjycrK8nUYQlzxJAERQpRx8uRJTp06VWdHQH755RdOnjzp61CEuKJJ\nAiKEKKNkiqKuJiCATMMI4WOSgAghysjMzCQ0NJQOHTr4OhSP69ixIyEhIZKACOFjkoAIIcooWf/h\n6hbhtZ3JZJIdUYXwA3Xvt4sQ4rLV1StgSsiVMEL4niQgQggnhYWF7N27t05eAVMiOjqaH374gaKi\nIl+HIi7Djh07WLBgAXl5eR7rc+PGjcTFxWE2m4mIiODJJ5+kuLi4Um211ixZsoSOHTtiNpvp3r27\nyxsfvvTSS/YbIwYHB9OxY0fuv/9+Dh8+7LLftWvXEhUVhdls5tprryUpKalMnffee4/BgwcTHh5O\ncHAwV199NXfffTfff/991V6AGiQJiBDCyf79+ykoKKiZEZDCQsjPd34UFnr9sN26daOgoID9+/d7\n/VjCe7Zv387ChQvJzc31SH8ff/wxw4cPp1mzZiQlJTF8+HASExNJSEioVPs5c+bw+OOPM2jQIJKS\nkoiIiGDs2LG89dZbTvUyMjLo2LEjjz32GKtXr+a+++7j448/plevXvz8889OdVevXs3kyZOJjo4m\nKSmJfv36kZCQwNKlS53qZWVl0axZM2bOnMmqVauYPn06e/bsoVevXv572bnW+op4ALGATk9P10KI\n8qWmpmpAnzlzxjsH+O03rd98U+vhw7WuX19rcH7Ur2889+abRl0vOH36tAb0unXrvNK/v0hPT9d1\n+ffe0qVLtclk0ocPH/ZIf126dNGxsbG6uLjYXjZv3jwdEBCg9+3b57bt8ePHdVBQkE5ISHAqv+mm\nm3S7du201Wp12z49PV0rpfQzzzxjL8vPz9ctWrTQw4YNc6o7btw43bBhQ52bm+u2z5MnT+rAwEA9\nbdq0Co9d0fukpA4Qqz30uSwjIEIIJ5mZmVx99dU0bdrUsx3/3//BvfdCq1YwahQcOwaJifDGG86P\nv//deG7UKKPuvfcabT2oWbNmtG3bVtaB1GILFixg9uzZALRv3x6TyURAQABHjhypVn979+4lOzub\nKVOmOC2+nj59OlarlXfeecdt+/fee4+ioiKmTZvmVD5t2jSOHTvGjh073LaPiIgAcBrN2bJlC2fO\nnGH69OlOdR966CHOnTvHv/71L7d9tmzZkpCQEI+NEHlaPV8HIITwLx5fgJqfD3PmwPLl0KWL8ffR\no6FTp/Lb/OUv8OOP8OabRlJy440wcyYsXgxms0fCkoWotdvIkSPZv38/69evZ/ny5TRv3hwwPnTz\n8vIorMRUXnBwsP1eRxkZGSiliIuLc6oTFhZG27ZtycjIcNvXnj17CA0NJTIy0qm8V69eaK3JyMig\nX79+Ts+dOXOG4uJiDh8+zMKFC1FKcdttt9mfLzlm6Zji4uIwmUxkZGQwduxYp+d+/fVXCgsL+fnn\nn3n++ec5e/Yst99+e4WvhS9IAiKEcJKZmcm4ceM801l6Otx3H/znP/D885CQAJW9tPeaa+Cvf72U\nvMyZA59+Cq+/DrGxlx1adHQ0qampl92P8I2uXbsSGxvL+vXriY+Pp127dvbn7rzzTr744gu37ZVS\nTJgwgeTkZAAsFgtgJBylhYWFceLECbf9WSwWWrdu7bIt4LJ9eHg4Fy9eBKBFixasWLHCKQGxWCwE\nBATQokULp3aBgYE0b97cZZ99+vRh3759ADRs2JB58+Zx//33u43dVyQBEULY5eTkcOzYscsfASkq\ngqeegoULoVs3+OYbiIqqXl8mE8yaBQMHGslM794wfz48/jjUq/6vsG7duvHMM8+Qm5tLkyZNqt1P\nXXG+8DzZp7K9fpzIFpGEBIZ49RjLli0jJyenwnpt2rSx/z0/Px+A+vXrl6kXHBzM2bNn3faVn59f\nblvH/h198sknXLhwgb179/L666/z22+/lekzKCjI5fGCg4Nd9pmSkkJeXh7/+c9/ePnll8nPz6eo\nqIh6l/F/xVv8LyIhhM+UrJa/rASkqAjGjIF334W5c+GJJ6CcX6JVcv31kJZmrBGZPx++/RbWrat2\nElJyjllZWdx4442XH18tl30qm7g1cRVXvEzpU9KJDbv8ESx3evToUeU2ZtvUXsmIhKMLFy7Yn3fX\nvry2jv07uvnmmwEYNGgQw4YNo2vXrjRo0MC+5sNsNlNQUODyeOXF1Lt3b/vfR40aRZcuXQBYsmSJ\n2/h9QRIQIYRdZmYmQUFBXHvttdXroLgY/vhHeO89IwGJj/dofAQFGQlIz55w110wcSKkpEBAQJW7\nuu666wgMDCQzM1MSEIyRifQp6TVyHG/Lyckp94PbkdlsplGjRsClqRKLxUJ4eLhTPYvF4vTB7kpY\nWBhbt24tU14yteM42uJKx44d6dGjB2+88YY9AQkLC6O4uJhTp045TcMUFhZy+vTpCvts0qQJt956\nK2+88YYkIEII/5aZmUlUVBSBgYFVb2y1wtSpxqjE+vWeTz4cxccbi1PHjIHgYHjxxcqvLbEJDAwk\nKipKFqLahASGeH1kwtOUUi7LR4wYUeU1IDExMWit2b17Nz179rTXs1gsHDt2jAcffNBtfzExMaxd\nu5bs7GynhahpaWkopYiJianwfPLz850SJ8eYBg8ebC/ftWsXVqu10n3++uuvFdbzBUlAhBB21b4C\nRmtjgWlyMrzyCtx9t+eDK+2ee+DCBWPEJTgYVqyAcj6QyiNXwtRuJVew5ObmOi1Crc4akKioKCIj\nI1mzZg1Tp061JzcrV67EZDIxYsQIe928vDwsFgthYWH2EZT4+HhmzpzJypUrWbFihb3u6tWrCQ8P\nt18BU1xczNmzZ8usO9q5cydZWVlOC8BvvfVWmjZtyqpVq5wSkFWrVhEaGsqQIUPsZf/9739p2bKl\nU5+HDh3is88+44YbbqjwtfAFSUCEEABYrVaysrK46667qtZQa3jsMXjhBVizxlgoWlPGjzeSkKlT\njctzn3mmSklIdHQ07777LlartU7eeK+ui4uLQ2vN3LlzGT16NIGBgQwbNqxaa0AAli5dSnx8PAMG\nDGD06NFkZWXxwgsvMHnyZKdRjQ0bNjBx4kRSUlIYP348YFzRMmvWLJ599lkKCgq44YYb2LBhA9u2\nbSM1NdWe0Jw7d46rr76aUaNGcf311xMaGkpmZiYpKSk0bdqUefPm2Y8THBxMYmIiDz/8MPfccw+D\nBg3iyy+/JDU1lcWLFzslMdHR0dx2223ExMTQtGlT9u/fT3JyMkVFRTz99NPVej28zlM7mvn7A9kJ\nVQi3Dhw4oAH96aefVq1hSoqxg+ny5d4JrDKWLzdieOWVKjX75JNPNKB//PFHLwXmW3V9J1SttV60\naJG++uqrdb169TyyK+r777+vY2Njtdls1u3atdPz58/XRUVFTnVSUlK0yWTSr7h4vz399NO6Q4cO\nOjg4WEdHR5fZbbegoEDPmjVLx8TE6CZNmuj69evrDh066ClTppQb+0svvaS7dOmig4ODdefOnfWK\nFSvK1FmwYIHu1auXbt68uQ4KCtJt27bV9957r/7uu+8qPGdf7YTq88Sgph6SgAjh3rvvvqsBfeLE\nico32rdP69BQrSdO9F5glfXHPxqxVLBltqPjx49rQG/YsMGLgfnOlZCAiMsnW7ELIXwqKyuL5s2b\nc9VVV1WuwcWLxo6m4eHG+gtf++c/oU0bY2FqJa6AAOMqg2bNmvnvzbqEqMMkARFCAEYCEh0dXe6V\nBWXMnQvff29c8dKggXeDq4wGDYxYsrKM2CpBKUV0dLQkIEL4gCQgQgjgUgJSKZ98AsuWGYs+q7ng\nzytiY42YnnvO2La9EiQBEcI3JAERQnDhwgUOHDhQuQTk559hwgS44w545BHvB1dVjzwCgwcbV8ic\nPFlh9ejoaA4cOGDfsVIIUTMkARFCsHfvXqxWa8UJiNZw//3Gpa4pKVXed6NGmEyXYrv/fiNmN6Kj\noykuLiY72/v3QRFCXCIJiBDCPgVx/fXXu6/4/vvw8cfGfh+tWtVAZNXUurUR40cfwcaNbquWnLNM\nwwhRsyQBEUKQlZVF+/btadiwYfmVLlyARx81pl6GDq254Kpr6FBjKubRR43Yy9GoUSMiIiIkARGi\nhkkCIoSo3ALU556Do0fh+ef9c+qlNKWMWI8cMRbMuiELUYWoeZKACCEqTkCOHoXFi2HmTLjuupoL\n7HJFRhqLUhctgmPHyq0mCYgQNc9vEhCl1ENKqYNKqXylVJpSyu3dc5RSjZVSLyilTtjaZCulBrtr\nI4Qo68yZM5w4ccJ9AjJ7NjRsCE88UXOBecrf/mbEPnt2uVWio6M5fvx4pW5gJoTwDL9IQJRSo4Dn\ngPlAD+Bb4FOlVIty6gcC/wbaASOA64DJwPEaCViIOuS7774DKD8B+fJLY4OvZ54B250/a5VGjeDp\np2HdOvjqK5dVSs695LUQQnifXyQgwCzgRa31q1rrbOBB4Dxwfzn1JwFNgD9ordO01ke01l9prWUM\nVYgqysrKIjAwkGuvvbbsk0VFMGMG9O5ds3e59bTx46FXL+NciovLPH3ttddSr149mYYRogb5PAGx\njWbEAZ+VlGmtNcYIR99ymg0FdgArlVI/K6WylFJzlFI+Px8hapusrCwiIyMJDAws++TatZCZadxn\npTbfrt5kMs7h22+NcyolKCiIyMhISUBqmR07drBgwQLy8vI81ufGjRuJi4vDbDYTERHBk08+SbGL\npNUVrTVLliyhY8eOmM1munfvzvr16922KS4uJioqCpPJxDIXi6W90ae/8IffKC2AAKD0loUngfLu\nitURuBsj/juAvwN/Aip3AwghhF25C1AvXoTERBg7Fm5wuySrdujVyziXxETj3EqRhai1z/bt21m4\ncCG5ubke6e/jjz9m+PDhNGvWjKSkJIYPH05iYiIJCQmVaj9nzhwef/xxBg0aRFJSEhEREYwdO5a3\n3nqr3DbLly/n6NGj5d6DyRt9+g1P3Va3ug8gDLACvUuVLwG2l9NmH3AIUA5ls4Djbo4TC+ibbrpJ\nDx061OmRmppawc2KhaibrFarbtSokX7qqafKPrlqldZKab13b80H5i0//GCc0+rVZZ5avHixbty4\nsbZarT4IzDsqc5v12mzp0qXaZDLpw4cPe6S/Ll266NjYWF1cXGwvmzdvng4ICND79u1z2/b48eM6\nKChIJyQkOJXfdNNNul27di7fVydPntRNmjTRiYmJWimln3vuOa/36Urp90lqamqZz8mbbrpJAxqI\n1Z76/PdUR9UOAAKBQmBYqfIUYEM5bbYCm0qVDQaKgXrltImty/8RhaiOw4cPa0B/+OGHzk9cvKh1\nu3Zajx7tm8C8adQo49wuXnQq/uCDDzSgjxw54qPAPK8uJyBPPvmkVkppk8mklVL2v1c3Gfnhhx+0\nUkqvLpWcnjhxQiul9KJFi9y2f+GFF7TJZNJ7SyXs69at0yaTSW/btq1Mm4kTJ+q+ffvqgwcPukwW\nvNGnK5V5n5TU8WQCUs8LgypVorUuVEqlA7cBGwGUMW50G7CinGbbgDGlyq4DLFrrIm/FKkRdUzLl\nUGYK5pVXjL0/auNltxV54gmIjoZXX4UHHrAXl7wGWVlZXH311b6KTlTSyJEj2b9/P+vXr2f58uU0\nb94cgJYtW5KXl0dhYWGFfQQHBxMaGgpARkYGSini4uKc6oSFhdG2bVsyMjLc9rVnzx5CQ0OJjIx0\nKu/VqxdaazIyMujXr5+9fOfOnbz66qts37693KkSb/TpT/xhDQjAMmCKUmq8UioSWA2EYIyCoJR6\nVSm12KH+KqC5Umq5UqqzUmoIMAdIquG4hajVsrKyaNSokfMHbmGhsenY3XdDVJTvgvOW66+Hu+4y\nNidz+JBq164dDRs2lHUgtUTXrl2JjY0FID4+nrFjxzJ27FjMZjPx8fG0bNnS7aNVq1bMmDHD3p/F\nYgGMhKO0sLAwTpw44TYei8VC69atXbYFyrSfMWMGY8aMoVevXjXapz/x+QgIgNb6LdueHwuB1sAe\nYJDW+r+2Km2BIof6x5RSA4HnMfYMOW77+5IaDVyIWi4rK4uuXbs6f1t69VU4dAg++MBncXndE09A\nt27w2mvGHXMBpRRdu3a9YhOQ88XFZJ8/7/XjRIaEEBIQ4NVjLFu2rFKbyrVp08b+9/z8fADq169f\npl5wcDBnz55121d+fn65bR37B3j55Zf5/vvv2bBhQ4336U/8IgEB0FqvBFaW89ytLsq+Bvq5qC6E\nqKSsrCynIVwKC42RgZEjoWtX3wXmbdHRMGKEca733Qe2S5Cjo6NJS0vzcXC+kX3+PHHp6V4/Tnpc\nHLHubnroAT169KhyG7PZDMBFF1dIXbhwwf68u/bltXXs/+zZs8ydO5fZs2c7JUA11ac/8ZsERAhR\nswoLC8nOzmbq1KmXCt94Aw4ehPfe811gNeVvf4OYGEhNhQkTACMBSUlJobCw0PW+KHVYZEgI6aXW\nP3jrON6Wk5NDQUFBhfXMZjONbLv7lkxrWCwWwsPDnepZLBZ69+7ttq+wsDC2bt1aprxkaqckMVi6\ndCmFhYXcc889HD58GICjR4/a4z58+DBt2rQhMDDQK336E0lAhLhC7d+/n8LCwksLUIuKjD0yhg83\npifquu7d4Q9/MM753nuhXj2io6MpKCjgwIEDRNXF9S9uhAQEeH1kwtPKW2g5YsQIvvjiiwrbTpgw\ngeTkZABiYmLQWrN792569uxpr2exWDh27BgPPvig2/5iYmJYu3Yt2dnZTotG09LSUErZR2WOHj1K\nTk5OmfeXUopFixaxePFiMjIy6Natm1f69CeSgAhxhSpZ69C1ZKrlf/8XfvoJ3n67xmIoLHRaBwoY\nsyE19kXtb3+D2Fjj3EeNsr8WWVlZV1wCUhuVXMGSm5tLu3bt7OXVWQMSFRVFZGQka9asYerUqfbk\nZoVOEgIAACAASURBVOXKlZhMJkaMGGGvm5eXh8ViISwszD6CEh8fz8yZM1m5ciUrVly6gHP16tWE\nh4fTt6+xsfcjjzzC8OHDneL45ZdfmDJlChMnTuQPf/gDHTp08Fqf/kQSECGuUFlZWbRp04ZmzZoZ\nBf/4B9x6K1Rj/ryyLlyAHTvg88+Nx86dxsCLo3r1jFvP3HKLEU7fvmBbc+d5PXoYB1q+HEaNonnz\n5oSFhZGVlcWoUaO8dFDhKXFxcWitmTt3LqNHjyYwMJBhw4ZVaw0IGFMZ8fHxDBgwgNGjR5OVlcUL\nL7zA5MmTnUYgNmzYwMSJE0lJSWH8+PEAhIeHM2vWLJ599lkKCgq44YYb2LBhA9u2bSM1NdWe0MTE\nxBATE+N03JJpk+uvv56hQ4fay73Rpz+RBESIK5TTFuxffw1pafD++145VkYG/P3v8NFHxi7oLVpA\n//7w/PNQkv+UOHMGvvgCVq0yZkfq14c777y0ZMPjHnnEmIrZuRN69ZIt2WuRnj17kpiYyOrVq/n0\n00+xWq0cPHjQaTSkKoYMGcK7777LggULSEhIoGXLlsybN48nXOyH42r655lnnqFZs2a8+OKLvPLK\nK3Tu3Jk33nijUslsedNJ3ujTb3hqRzN/fyA7oQrhpH379vrPf/6z8Y8xY7Tu1EnroiKPHuPbb7Ue\nPlxr0Pqaa7R+7jmjzGGn63IVFxt1n3vOaAtajxihdWamR0M0zrljR63HjtVaa/2nP/1Jd+jQwcMH\n8Y26vBOq8Bxf7YTqLxuRCSFq0NmzZzl06JCxKO34cWPdx4wZ4KH9GQ4eNPYx697duAHtyy/D3r3w\n6KPG+tbK3FjXZDLqPvqo0fbll42RlG7djL4PHvRIqMY5z5gBb70FJ07QrVs3Dh48WOG+D0KIyyMJ\niBBXoO+++w6wbT++ciWYzTBxokf6fvttY6rk66/hpZcgOxv++EdjbUd11atn9LFvn9Hn118byzfe\neccjIRvnHhwMK1fap6W+//57D3UuhHBFEhAhrkCZmZkEBATQpX17ePFFYzdQ22r+6srPh2nT4J57\nYPBgyMqCSZM8e0VLYKDRZ1YWDBxojIRMn24sbr0sjRsbr8GLL9KlQwcCAgLIzMz0SMxCCNckARHi\nCpSZmUlkZCT1//d/jVWfDvfEqI7sbOjTB1JSYPVqWL/e+Ez3lsaN4c03jWMlJxtXzezbd5mdzpgB\np08T/O67XHfddZKACOFlkoAIcQXKzMwkumtX49LboUOhU6dq9/Xvf0PPnlBQYFxIMnUq1MTie6WM\nY+3caRw7Ls6IpdquuQZ+/3v4xz+I7tpVEhAhvKxaCYhSqoPtzrVPKKWeUko9qpS6RSnlrav1hRAe\norUmKyuLoQ0awHffGZehVtMHH8CQIXDzzbB7t3GLlZrWrRvs2mXE8PvfX+Y99B55BLKyGGq7K642\nrqATQnhBlRIQpdS9SqmdwE/AM8AfgBuBB4BPgJNKqZVKqQiPRyqE8IijR4/y66+/cltWlnHDuVtu\nqVY/b75p3M9t6FDYsAFsm1L6RIMGRgxDhhgxvflmNTu69Vbo2pXbvvuO3Nxcjh075tE4hRCXVDoB\nUUplAAlAChChtQ7TWsdprf9Hax0FNALibX3uVkrd7Y2AhRCXJzMzk6uBVrt2QUJCteZLkpNhzBgY\nPdpY7xEU5Pk4qyooyEg8Ro+GsWONy3arTCmYMYPWu3bRFmQaRggvqsqFcXO01p+U96TW+iKwFdiq\nlPor0P7yQhNCeENWVhbT69c3LikZM6bK7VeuhIceMtZfrFxZuT09akq9evDKKxASYlzUkp9vXCVT\nJWPGwKOPMr2oiKysLIYMGeKVWGvS3r17fR2C8GO+en9UOgFxl3y4qHsaOF2tiIQQXpW1Zw/PA2rM\nGGPuogrefttIPh55xNhG3R93ejaZjKtjzGYj1lat4K67qtBBw4aoMWO4/7XXeHTPHq/FWRNatGhB\nSEgI48aN83Uows+FhITQokWLGj1mtbYGUkoVA2Fa61/+P3v3HV/j9Qdw/PNkyEBWk9gZNokgktpK\nCFWzsTcturQobWmLllZbo1Vt7RqhxFb7J8SuEYkkxIidECMJsmTf8/vjsWXc7Ivzfr3uy8t9zjn3\nPE9Okm/OfO79N4A7QoiC2U5RkqQCZ3bkCGVSUmD48FzlO3wYBgxQhzd+/VU3g49HFEWt45070L8/\nlC8PTZrkooDhwymzaBGljxwptDoWBTs7O86ePUt0dHRxV0XScdbW1nk+Qyev8ro3YVY/eoyA1DyW\nKUlSIUtJSaF9RATRlSph3aCB1vnCwqBzZ3Wvj8WLdWvYJSt6euo8kBs31LofOQLVqmmZ2c2N6IoV\neTs8nJSUFIyMjAq1roXJzs6uyH+xSJI2crsK5jNFUT5DPZBm6KP/P3yNBv4CzhVGRSVJyr8LBw7Q\nAYjr2VPrLow7d6B9eyhTRl1p8jL9LjYyUutsY6PeQ1SUlhkVhbiePekIXDx4sDCrKEmvrdz+HTP6\n4UsBPnzq/6Mf/t/04b+SJOmg1AULSAVsRo3SKv2DB2rvQWIibN8OlpaFW7/CYGWl1j0hQb2XpCTt\n8lmPHEkq6jOTJKng5SoAEUI4CiEcgf1A3Uf/f/iqIYRoJ4Q4VjhVlSQpXzQa7H192VGqFKUrVswx\nuRAwdKh67srWreDgUPhVLCyOjuo9hISo96TN/mJmdnbsKFUKu127QKMp/EpK0msmTyO5QohWQoh7\nBV0ZSZIKkZ8fb8TG4l+vnlbJ582DVavUOR9uboVctyLg5qbey8qV6vl72vCvW5c3YmNh797CrZwk\nvYYKfCqZoigTFUVpUdDlSpKUTwsXct7AgBItW+aY9MQJGDUKRoyAXr0Kv2pFpVevJ8uIAwJyTm/Y\nsiVhBgawcGHhV06SXjOFMZd9CLBTUZT8nMggSVJBiopCbNzI3PR0XOrWzTbpvXvqMfd168KMGUVU\nvyI0c6Z6b927q/eaHZe6dZmbno7YuDEXM1glSdJGgQcgD+eIvAHMLeiyJUnKI29vBLAccHFxyTKZ\nRgODBkFsrLrp2Mu04kVbRkawZo16j4MHZz8fxMXFheWoB/jh7V1UVZSk10KhrOYXQiQJIbYXRtmS\nJOWSELBkCRecnUkyMaFKlSpZJp0xQz1NdvlysH+Fj5R0cFDjic2bs+/lqVq1KonGxlxwdoalS7Wb\nvSpJklbyuhPqJGCKEELz3PvmwDwhRO4PmJAkqXCcPAmhoWz39MTJyQl9/cw3Kj5yBL7+GsaPV0+V\nLUzpmnSu3r/KxbsXSc14du/CEvolqGpVFQcLBwz08rpXYs46doRx49T7bdYMGjd+MY2+vj5OTk7s\nsLKihq8vBAVB/fqFVidJep3k9bt7KNBOUZT+QojLAIqitAS8gVsFVDdJkgrCsmVQtiw+MTG4ZLEC\nJiFB3Wbd3R0mTy7YjxdCEHw7mK1hWzkReYLzMee5dPcSaZq0bPMZ6hlSxaoKNd6ogVt5NzpV74RL\nGReUAtwDfsoU2LcPBg5UY4uSJV9M4+Ligk9ICKPKlFGfpQxAJKlA5DUAqQMsAIIURRkDVAdGAtOB\nSQVUN0mS8istDVauRDNgACFz59J34MBMk335Jdy8CTt2qCfK5vtjM9Lwu+LH5vOb2RK2hYi4CEqX\nKE3jSo3xrOzJCPcR1LCuQTWrapgamj6T90HaAy7cvcD56POcj1Ff0w5PY8LeCVQyq0Sn6p3oXKMz\nHo4eGOob5queBgbqUEy9euoz+OuvF9O4uLjg4+OD5oMP0PvnH5g+XT1JWJKkfMnTjxohxH2gp6Io\nU4H5QDrQXgixpyArJ0lSPu3cCdHRhLdsSfJvv1GnTp0XkvzvfzB3LsyZk4uzUrIQmxzLosBF/H7s\ndyLiInCwcKBrza50rtGZFvYtKKFfQqty7C3saVO5zeP/p2aksv/qfraEbWHz+c3MOTGHSmaVGNlw\nJMMaDMPMyCzPda5WTY0pPvlE3Sm1Xbtnr9epU4ekpCTCW7XCYdYs9YF17Jjnz5MkSZXnSaiKonwK\njAJWAZeB2YqiZL++T5KkorVsGdSrh39KCsALAcjdu/Dee+ov3Q/zcYhCeGw4Y/43hkq/VWL8nvG0\ncmxFwPAALn92mdntZ9Omchutg4/MlNAvgWcVT2a3n82VkVcIGB5AK8dWjN8znkq/VWLsrrFExEbk\nufyPPgJPT/VZPL8099GqoROpqer63WXL8vw5kiQ9kacARFGUHahDLQOFEP2A+sAB4KiiKF8WYP0k\nScqru3fVJS0DB3Lq1CnKlSuHjY3NM0k++UQ9G+Xvv7U+m+4Z8SnxfOn7JVVmV2Fx0GI+cf+Eq6Ou\nsqzrMlzLuRbofI1HFEXBtZwry7ou48rIK3zs9jF/n/ybKrOr8JXvV8SnxOehTPXk3AcP1GfyNBsb\nG8qWLcupU6fUySKbN+e8gYgkSTnKaw+IAeAihFgHj5fdfgR0Rz2YTpKk4rZ6NWRkQN++BAcHv9D7\n4eOjvubMgQoVcle0EIJVp1ZR86+a/Hn8Tya2mEjE6Ah+avMT5UuXL8CbyF4Fswr81OYnIkZHMKHF\nBGYfn03Nv2ric9pH3bsjN2VVUJ/FqlXqo3uai4sLQUFB0Lev+kyfTyBJUq7l9SwYTyFEZCbvb0Od\noCpJUnHz9oa334YyZTh58iT1n1q9ceeO+pd+z57Qu3fuig29E4qHtwd9N/SlYYWGnP3kLBPemkCp\nEqUK+Aa0V6pEKSa8NYGzn5ylYYWG9FnfBw9vD85EnclVOb17q8/k44/VZ/RIvXr11ACkbFl1vEpu\nSiZJ+VYYO6FGAyiF0fcqSZJ2wsLg6FEYOJCYmBgiIiKeCUBGjQI9vcxXfWRFCMFfx/+iwYIG3Ii7\nwc5+O9nQawP2FrqzY5mDhQMbem1gZ7+d3Ii7get8V+b4z9G6N0RR4M8/1X9HP9WXW79+fcLDw7l7\n9646DHPkCFy4UEh3IUmvB60DEEVRziiK0ltRlGxnkimKUk1RlLnAV/munSRJeePtDebm0LkzwcHB\ngPpXPMD27eoww2+/gbW1dsXdS7pHtzXdGLFjBMNchxHyUQjtqrbLOWMxaVe1HSEfhTDMdRifbP+E\n7mu7cy9Ju3kbNjbqs1m5Ul2WDE+eXXBwsLpUxtxc9oJIUj7lpgfkU2AscEtRFB9FUcYqitJPUZRu\niqIMVRTlV0VRjgNBQBzyLBhJKh4ajbqXeq9eYGzMyZMnMTU1pWrVqiQkqCs+2rWDfv20K+6/iP+o\nN78ee6/uZUPPDfzxzh8YGxgX7j0UAGMDY/545w829NyA3xU/6s+vz5GII1rl7d9fXRXz4YfqJm3V\nqlXD1NSUkydPgomJOk6zfLn6rCVJyhOtAxAhxB4hhBvQGYgC+gN/Av8A3wHVUHdCrSiE+EoIEVvw\n1ZUkKUcHDkB4uDpUAAQFBVG3bl309fX59luIjlb3/chpkFQIwe9Hf6fFkhZUNKtI0AdBvFvr3SK4\ngYL1bq13CfogiPKly9N8SXN+P/p7jnkUBebNUw/AnTBB3ZL98URUUJ/ttWvqs5YkKU9yPQdECHFI\nCPGpEKKeEMJSCGEshKgohOgkhPhTCCHXp0lScfrnH6hcGZo0AdQApF69ehw7BrNnq1utOzpmX0SG\nJoORO0cy6n+jGNVoFPsG7dOpuR65ZW9hz/7B+xnZUL2nkTtGkqHJyDZP5crqs5o9G44ff2oiKkDT\npupDXLmyCGovSa+mvB5GNzG760KIAj5NQpIkraSkwLp1MGIEKApJSUmcPXuWjz/+jGHDwNUVRo7M\nvojE1ET6bujL1rCtzO0wlw/d8rFDmQ4x1DdkZruZVLWqyogdI7gWe41/vP6hZIlMDoB5aNQodb7M\n0KHw4YeuLFy4kOTkZIyNjdUluX/9BX/8AUZGRXgnkvRqyOsqmHefe/VEnXQ6BuhaMFWTJCnXduyA\n+/fVX45AaGgoGRkZnD7dnjNnYOHC7M96uZVwi5bLWrLn8h629NnyygQfT/vI/SO29NnC7su7abWs\nFbcTbmeZ1sBAfWZnzkBo6NtkZGQQGhqqXuzbV33WO3cWUc0l6dWS131A6j/3cgbKAXuA3wq0hpIk\nae+ff9TTWmvVAtThF0VxYMmSCowalf1BrhfvXqTx3425EXeDg0MO8k61d4qmzsXgnWrvcGDIAa7H\nXafR3424ePdilmkf9RotWVIRRbF/MgxTu7Z6it0//xRRrSXp1VIA516qhBBxiqJMArYAywuqXEmS\ntBQbq269/sMPj986efIkpUotoHRphUnZnFN9IeYCLZe1pHSJ0hwYfIBK5pUKvHrJGRlcTk4mPDmZ\n8JQUwpOTuZ6SQtpze3QYKgoVjYywMzbG7uG/lY2NMdbXL9D6uJZz5ejQo7Rd3paWS1uyd9Beqr2R\n+Wl8330HPj4K8fELOHly85MLffvCxIkQFwdmeT8QT5JeRwUWgDxk/vAlSVJR27gRUlOf2dp0715j\n4uM9WbgQSpfOPNv56PO0WtYKC2ML/Ab5UbZU2QKpTnRqKofj4jgcG8uh2FhOxMc/Djb0gApGRlQy\nMsJI79mO2BSNBr/797mRksKjRa6GioJb6dI0Mzenmbk5TczMsC6R98PtHrEzt2Pf4H20WtaKlsta\n4jfQjxrWNV5IV7o0zJwJffq0Ze/e/z250KcPfPWV+uwHDcp3fSTpdaLk9rwEAEVRPnv+LdQhmAHA\nASFEnwKoW4FSFMUVCAgICMDV1bW4qyNJBc/TE9LTYe9eAB480FCq1BWqVDEgLMw+02W3Z6PO4uHt\ngZWJFX4D/ShTqky+qnAzJYW1UVGsunOHo3FxAFQoUeJx4FC3VCnsjY0pX6IEBnrZjwCnazREpqZy\nLTmZ4IQEDj0MZG6kpgLQyMyMPra29LCxoVw+J4HeTriNh7cHd5PusnfQXmpa13whjRBQrdo1Ll9O\nIzGxMiYmD+vfsiWUKAG7duWrDpKkywIDA2nQoAFAAyFEYEGUmdcekOcPnNOg7g2yDPgpXzWSJCn3\nbt4EPz+YP//xW19/fRch7Bg3zh9FeXEJ7ZmoM3gs88CmpA17Bu7BtqRtnj76QUYGq+7cYeXt2+y7\nfx99ReFtKyuW1azJWxYW2BkZ5elUXAM9PXUYxtiY5hYWjKhYESEE4Skp7L9/n3VRUYy9dInRFy/S\n0sKCvmXK0MfWFtM8DNWUKVWGvYP24rHM4/FwTC2bWs+kURQYN+4Gw4a58803d/n114fbyPbrp+5Y\nduuWelaMJElayVMPyMtI9oBIr7RZs9ShgFu3wNKSq1ehevV00tJmEhX1PtbP7bl+6e4lmi5uim1J\nW/YM3INNSZtcf+Tt1FT+unGDOTducC89HQ9LS3rb2uJlbY2loWEB3Vj27qWlsSE6Gp87d/C7dw9L\nAwM+rlCBTypUoEwehmiiEqNo7d2aO4l3OPzeYapYVXn2elQUtrZLKFHic86fN8DBAbh7Vw08pk/P\neY2zJL2kCqMHRAYgkvQqePNN9Tz5jRsB6NoV/PxiKV36TW7cOP9M0lsJt2i6uCkGegYcGnIo18FH\n2IMHzIiIwPvWLQwUhaHlyjGyYkUcTUwK7Hby4kpSErOuX+fvmzdJF4KBZcsytlIlqpua5qqcqMQo\nmi5uikZoOPze4ReGpcqXr0FCwnFatzZ/9LjVB37zJhw7VkB3I0m6pTACkAI/DVeSpCJ24QL4+z8+\n3GXHDvj3X6hS5U9cXas/kzQ2OZb2/7QnOT2Z//X/X66Cj9upqXwUFkbt48fZEhPDdw4ORDRuzKxq\n1Yo9+ABwNDHh92rVCG/cmEkODmyJiaH28eN8FBbG7YfzRrRhU9KGXQN28SDtAe3/aU9cStwz111d\nq1Glyhw2bXpyWB39+qnbpcoTciVJazIAkaSX3cqV6jKNDh1ITVWPkW/VCm7e/PPxKa4AyenJdF3d\nlav3r7Kz304cLBy0Kv5BRgY/XL1K1WPH8Llzh2lVqnC1USPG2dsX2VBLblgZGjLe3p4rDRsyrUoV\nfO7coeqxY/x47RoPMrLffv0RBwsHdvbfyeV7l+nq05Xk9OTH1+rVq8etW3/QsqX6rNPSgI4d1a/B\nqlWFc1OS9AqSAYgkvcyEUAOQbt3AxIS//lL/CP/222hu375F/Yc7j2VoMui3oR9Hrx9lS58t1ClT\nR4uiBT63b1P92DEmX7vG8HLluNSwIZ9XqvTC0lldZKyvz+eVKnGpYUOGlSvH91evUv3YMXxu30ab\noWeXMi5s6bOFI9eP0H9D/8dnx9SvX59bt24yYUIMFy6ou7FjYgJeXuqmZK/JsLYk5ZfO/BRRFOUT\nRVGuKIqSpCjKUUVR3LXM11tRFI2iKBsKu46SpHMCAiAsDPr0ISoKvv8ehg+HtLQAgMc9IKN2juLf\nc/+yuvtqmtk1y7HY68nJdD59mj5nz9LQzIyzb77JzKpVsdLBHo+cWBka8mvVqpx9800ampnR5+xZ\nupw+zfXk5BzzNrdvzuruq9l4biOjdo4CnjzT9PQAhg1TNymLikLdlCwsDAILZHhckl55OhGAKIrS\nC5gJTALqA8HA/xRFsc4hnz0wHZBnYkuvp1WrwNYWPDyYMEFdKjp5sroDqpmZGQ4ODvx1/C/+9P+T\nOR3m0LlG52yL0wjBvBs3qO3vT0B8PBudnFjv7EwVHZjjkV9VTExY7+zMBicn/OPjcfL3Z35kJJoc\neiw61+jMnHfmqM/Qfw6Ojo6ULl2akydPMmWKmmbiRMDDQ/1ayGEYSdKKTgQgqPuKzBdCeAshzgEf\nAg+A97LKoCiKHrACmAhcKZJaSpIu0Whg9Wro2ZPgUAMWLlT/GrexUc+AqVevHruv7GbkzpGMajiK\n4Q2GZ1vc1aQkPIKC+OjCBXrZ2nLG3Z2uNrlfnqvr3rWx4Yy7Oz1sbPgwLAyPoCCuJiVlm+cDtw8Y\n2XAkn+34jD1X9lCvXj2CgoKwsVGf+YIFEHLGAHr0UL8mGk225UmSpAMBiKIohkAD1IPsABDqAO1u\noHE2WScBd4QQSwq3hpKkow4ehBs3EL37MGoUVK8OH3+sXgoKCsLO1Y6ea3vStkpbZrSdkW1R66Oi\nqHfiBFeTk9lTty4La9TA4iUcbtGWpaEhi2rWZHfdulxNTqZ+QADro6KyzTOj7Qw8q3jSY20P7Fzt\nHh9K98knUK0ajBoFoncfuH4dDh0qituQpJdasQcggDWgDzx/JvZtINNtBRVFaQoMAYYWbtUkSYet\nWgX29my42Zh9++C338DQEBISEjgfcZ5d1ruoYFYBn+4+6OtlvjtoUkYGH4WF0T00FE8rK4Lc3PCw\ntCza+yhGrS0tCXJzo7WFBd1DQ/k4LIykLFbKGOgZ4NPNhwpmFfC18eVc+DkSExMxNFSf/d69sPFW\nY7Czk8MwkqQFXQhAsqIALwzOKopSCvW03WFCiHtFXitJ0gVpabBuHcnd+zP2C4V33oG331YvBQYH\nQk9I1Utla5+tmBllfkrr2cREGgYGsvTWLeZVr86a2rVf6V6PrFgYGrLWyYl51auz5NYtGgYGcjYx\nMdO05sbmbOmzhVS9VOgBAUHqZN/27dXX2C/1SO7eH9aufbg+V5KkrBT0abh5EQ1kAM+fgmXLi70i\nAFUAe2CL8uSACT0ARVFSgRpCiCznhIwePRpz82cP7O3Tpw99+ujc+XmSlDVfX4iJYXb6x1y//tSG\nWMC3B7+FSrCh5wYcLR0zzb4+KoqBZ89ib2zMcVdX6pQqVUQV102KovBB+fI0MTOj15kzuAcEsKxW\nLbplMgemsmVl1vVYRxvvNkw4NIH9TfcD8Ouv4OwMf2g+5ouYqbB7txqVSNJLZtWqVax6rhcvNja2\nwD9HJ7ZiVxTlKHBMCDHy4f8VIByYLYSY/lzaEkDV54r4ESgFfAZcEEKkZ/IZcit26dUxYABRxy5T\n9fYhBg5U+OMP9W3vYG8GbRqE/Sl7rq67+kI2jRB8d/UqU65do6eNDYtr1qRkHg5ve5UlZmTw3rlz\nrImKYqK9PZMcHNDL5DA9+272hLuE493VmwF1BwAwYgSsWCG4aNME68bVwNu7qKsvSYXiVd6K/Vdg\nuKIoAxVFqQnMA0yBpQCKongrijIVQAiRKoQ48/QLuA/ECyHOZhZ8SNIr5cED2LSJ7y1noSgKkyap\nb5+8eZIPtn6A+WVz3inzzgvZ4tPT8Tp9mh+uXWOqoyM+tWvL4CMTJfX18aldm6mOjky5do1uoaHE\np7/4Y+WdMu9gccWC4VuHc/LmSQAmTQIhFL63+l09lyeH1TWS9DrTiQBECLEGGANMBk4CLkA7IcSj\naekVyWJCqiS9drZt41xCBeYFuPHNN2BtDTEPYvBa40WtN2oRuzIWd7dn9/G7lJRE48BA/O7fZ7Oz\nM+Pt7VEy+ateUimKwnh7ezY7O7Pn3j0aBwZy6blgwt3Nnfsr71PTqibd1nTjbtJdbGzgm29gboA7\n5xIqwLZtxXQHkqT7dCIAARBCzBFCOAghTIQQjYUQJ5665iGEyHJPECHEECGEV9HUVJKK2cqVfGG+\nEDs7hU8/fbLNenxKPF85fgXp4O7+JAA5FhdHo8BAUoXgmKsrHa2z3d9PekpHa2uOubqSKgSNAwM5\nHvfkYDp3d3dIg/FVxhOXEkff9X3J0GTw2WdQqZLCl+YL1G3yJUnKlM4EIJIkaeH+ffy2PmBrbHN+\n/hmMjWHSvkn4XvbFp7sPEaciKFmyJLVq1QJgc3Q0rYKCqG5iwhFXV2qVLFnMN/DyqVWyJEdcXalm\nYkLLoCC2REer79eqhampKRGnIljVbRW+l32ZtG8Sxsbw88+wJbYFe7cmQiFM3pOkV4EMQCTpJZKx\nfhNj0n+mcYMUevSAbWHb+PHgj0z1mEqbym3w9/fH1dUVfX195t24wbunT9Peyorddevyxmu4xLag\nvGFoyO66dXnbyoqup08zPzISAwMDXF1d8ff3x7OKJz96/MiPB39k+4Xt9OwJjVxTGJP2E5r1IJP5\nNAAAIABJREFUG4u7+pKkk2QAIkkvkeW/RRFEfWb+YUREXDgDNw2kU/VOfNn0SwD8/f1xc3fnm8uX\n+ejCBUZUqMAaJydM5GTTfDPR12etkxOfVKjAh2FhfHv5Mm7u7vj7+wPwZdMv6Vi9IwM2DuB6XAQz\n/zDiJK4s/zX7HVYl6XUlAxBJekk8uHKbb0L70rPBJdzeTKP3ut6UKlGKpV2XoigKMTExXLl2jaDW\nrZkaHs70ypWZVbUq+nKyaYHRVxR+r1qVaZUr82N4OEGtW3P56lXu3r2LnqLH0i5LKWlYkt7re+Pe\nMI0erpf4JrQPD65ktqWRJL3eZAAiSS+J3z69TBQ2/DTfiq/3fI1/pD+ru6/GysQKgKMnTsDXX7Pf\n1JRlNWsy1s5OrnQpBIqi8IWdHUtr1uRAyZLw9dfqswfeMH2D1d1Xc/zGcb7x+4af5ltxB1tmfXa5\nmGstSbpHBiCS9BK4cwd+2enCJ447CC11iBlHZvBLm19oVLERAMkZGYxJSIAWLVhduzYDy8pV64Vt\nUNmy+NSuDS1aMCY+nuSHZ8g0rtSYn1v/zPT/pnPW7DAfO+zg5x0u5HDWnSS9dmQAIkkvgcljY9HL\nSGPQ2JsM2jSILjW6MLrRaAAS0tPpcOoUF8zNqb9+Pd1tbYu5tq+PHra21Fu/njBzczqeOkXCww3L\nPm/8OZ1rdGbgxoEM+SISvYw0Jo+Vq2Ek6WkyAJEkHRcWBvP/KcVXRr/wkcESzIzMWNJlCYqiEJue\nTtuQEPzj47GYOpW3rayKu7qvnbctLbH86SeOxcfTNiSEuPR0FEVhSRf1a/WRwVK+NJrGvBWlCAsr\n7tpKku6QAYgk6bhx46C8/m3uDduG/60AfLr7YGliSWx6Om+HhHAmMZFV5ctzd+/eZzYgk4qGu7s7\nMX5++JQvz5nERNo9DEKsTKzw6e7D8VsB3B+6lXL6dxg/vrhrK0m6QwYgkqTDDh9WjxTpW3EgM6xP\n84PHDzSq2Ii4h8HH2cREdtetS/rp0wAyACkGj555Rmgou+vW5exTQUijio2Y0moKM2xO06/iQDZs\ngP/+K+YKS5KOkAGIJOkoIeCLL8DZPoSl3f1o7dCKL5t+SVx6Ou2eCj7czMzw9/enbNmyVKhQobir\n/dqpWLEiZcqUUfdgMTN7HIS8/TAI+arZV3g4tGRZtz04259i7Fj1aytJrzsZgEiSjlq/Ho4c1WDq\n0Z4MYyO8vVaQkKF5IfiAhxuQubnJZbfFQFEU3NzcHm9I9igIOfMwCEnI0ODttYI0EyNKtnqbI0cE\nGzYUc6UlSQfIAESSdFBaGowfDzV7/sxx+0iW1fue0iY2tM8k+BBCcOLECTn8Uozc3d05ceIE4mHX\nxtNBSPuQEMxNy7Cs7iSOOURSs9fPjB+vfo0l6XUmAxBJ0kELFsDFxEAu1pzI5yGlaNlpNF1On+ZU\nYiK7ngo+AK5cucLdu3dlAFKM3N3diYmJ4erVq4/fczMzY1fdupxKTKTLqVN4dB7D6FMluVRjAhcS\nTrJwYfHVV5J0gQxAJEnHxMXBdz8mYjakDy5RCt9VGUb3s2c5EhfHtjp1ePOp4AN40vXv5lYc1ZV4\n8uwffS0eedPMjK116vBfXBzdz57le8dhOMcomA3pw6QfEomPL47aSpJukAGIJOmY6dPhXsPRpBmF\n471Ww3udvdh97x7/OjvT3MLihfT+/v7Y29tjY2NTDLWVAGxtbbGzs3shAAFoYWHBJmdnfO/d4/0u\n3Vi+RkOa0TXuvvk506cXQ2UlSUfIAESSdEhkJEzbup6MeguZdbsev3z+I5syMljr5IRnFpuM+fv7\ny+EXHeD+1Mm4z2trZcUaJyc2pKczbfQP/Ha7Ppr6C/hl80Zu3iziikqSjpABiCTpkLGTr5P29jA6\nOnQm2LgJKxo2ZEWtWnS2ts40fUZGBoGBgTIA0QHu7u4EBASQ8fBMmOd1sbZmRa1aLG/UiFPGjelg\n34m0t4cydvL1Iq6pJOkGGYBIko44FZrBqpQBmJmYUst8AHM6dWKBtTW9sjnb5fTp0yQkJNCoUaMi\nrKmUmUaNGpGQkEBoaGiWaXqXKcP8N97gr06dqG05EDNTE1YmDeR0aOZBiyS9ymQAIkk6oues6WC/\nn74dVzDdwpqfd+1iaJ062eY5dOgQhoaGsgdEB7i7u2NoaMihQ4eyTTfMxYWfdu1iurk1fTsuB4d9\n9Px9RhHVUpJ0hwxAJEkHzN/qz7lyE6hf5XfmxsHY1av50tExx3yHDx+mQYMGmJiYFEEtpeyYmpri\n6urK4cOHc0z7lYMDY9asYW6cgmvlWZwt+y0Lt50oglpKku6QAYgkFbP4lARGHuiHkWlvQirV4b2Y\nGKYtXozSvXuOeQ8dOkTTpk2LoJaSNpo2bZpjDwiA0qMH0//+myExMYTY18XItDef7e9LQkpiEdRS\nknSDDEAkqZh1nTeaFGszNA3fp5O1NfN/+gmlY0ewtMw2X0REBBERETRr1qyIairlpFmzZoSHh3P9\neg4TSy0tUTp0YMHPP9PBygpNw/dJtjaj67zRRVNRSdIBMgCRpGK0OmQ9fqm70av7C00szFkFGAQE\nwIABOeZ91NXfpEmTQq6lpK1HXwtthmEYMACDEyfw0dOjsYU5+nV/YU+qL2tPbSzkWkqSbpABiCQV\nk+tx1xm8YxzUmk0VUzM2OTtjvHKl2vPRvn2O+Q8dOkS1atWwzWaVjFS0ypQpQ9WqVbUahuGdd8DS\nEuOVK/nX2ZnKpmZQazYDt3/FjbgbhV9ZSSpmMgCRpGKgERp6bviA5NrfURIr9r3pgoW+PvzzD/Tq\nBUZGOZZx+PBhOfyig5o1a6ZdD4iREfTsCStWYKGvz743XSiJFcm1J9JzwwdohKbwKytJxUgGIJJU\nDH7+bxZHLNuDUp7tTvUpb2QEBw9CeDj0759j/ri4OEJCQuQEVB3UtGlTgoODidfmoJf+/dWv+aFD\nlDcyYlvt+qBU4D/Ldvz836zCr6wkFSMZgEhSETseGcC3t1LApCaDzzSghaOpemHFCnB0BC3mdBw9\nehSNRiN7QHRQs2bN0Gg0HD16NOfETZuCg4P6tQfeqmzKoNAGYFKLb28l4x8ZWLiVlaRiJAMQSSpC\nCSkJtD26DWH5JqVnOvP7hw9Ptk1OhrVr1b+IFSXHcg4fPoy1tTXVq1cv5BpLuVWjRg3eeOMN7YZh\nFEX9mq9Zo7YB4PcPzSg90xlh2ZC2R7eSmCqX5kqvJhmASFIRarVvMbFWLWCuJVM7lcXsYfzBpk0Q\nG6vV6hdQJ6A2adIERYtgRSpaiqLQpEkT7Saigvo1j42Ff/8FwNwcpnYqC/MtuW/VglZ7/y7E2kpS\n8ZEBiCQVkU8Dt3PCyAXrgGiqh7jywQdPXVy8GJo1g2rVciwnLS2NY8eOyeEXHdasWTOOHj1Kenp6\nzomrV1eHYhYvfvzWBx9AtZOuWAdG4W/kwmeB2wuxtpJUPGQAIklFYMX1C/wZa4RtzCmix3oxbRoY\nGj68GB4Ou3fDkCFalRUcHExiYqKcgKrDmjZtSmJiIsHBwdplGDIEfH0hIgJQ28a0aRA9phu2Maf4\nI9aIf65fKMQaS1LRkwGIJBWy43GxDA67glFsEBY/9eatt/To3PmpBMuWgakp9OihVXmHDx/GyMiI\nBg0aFE6FpXxr0KABJUqU0G4eCKjLcU1M1LbwUJcu0KKFHpY/98YoNohBYVfwj4stpBpLUtGTAYgk\nFaLLSUm0DjxORsJFhl53ISzAhhkznppnqtHA0qVq8FG6tFZlHjp0CHd3d4y02CtEKh7Gxsa4u7tr\nPw+kdGm1DSxdCkIAahuZMQPOn7Bh2A0XMhIu4hF4nMtJSYVXcUkqQjIAkaRCEp2aSqvA4yQk3WGo\n/g3W/eBJv37g5vZUooMH4fJleO89rcoUQnD48GE5/PISaNq0KYcPH0Y8DChy9N57cOmS2iYecneH\nvn1h3Q+eDNW7TkLSHVoFHic6NbWQai1JRUcGIJJUCB5kZPBOSDA3kmJxvuVNmeOTuH8fpk59LuHi\nxVC1qjoBVQtXr17l5s2bcgLqS6BZs2ZERkZy7do17TI0bw5VqjwzGRXUNnPvHpQ98R1Ot5ZxIymW\nDqeCScrIKIRaS1LRkQGIJBWwDCHod/YsJ+PvY3hmEnMa/smv00swejTY2T2VMC4O1q2DwYO12vsD\neNylLw+g032PvkZaD8MoitoW1q6Fp3ZRtbeHUaPg1+klmNvwTwzPfEdg3H36nj1Lhra9K5Kkg2QA\nIkkFSAjBZxcusDk6ivTTE5nbYiSLp1ejZEkYN+65xGvWQFISDBqkdfmHDx+mVq1aWFlZFWzFpQL3\nxhtvULNmTe0DEFDbQlKS2jaeMn68Ok958fTqzGn+KemnJ/JvdBQjL1zQfohHknSMDEAkqQBNi4hg\nTmQkJS7/Re/yDjinD2LpUpgyRd1g6hlLlkDbtlCxotbl7927lxYtWhRonaXC06JFC/bt26d9hkqV\nwNNTbRtPMTeHyZPVRTJ1MgbTq5w9Rpf/4q/ISKY9XLorSS8bGYBIUgFZfusW4y5fpuLdPZSJO8Gc\nd+YyerSCszMMHfpc4nPn4L//tJ58ChAeHk5YWBienp4FW3Gp0Hh6enL+/HkichMkvPceHD4M588/\n8/awYVC7Nnz+ucLcDvMoE3eCCnf9GHf5Mv/cvl3ANZekwicDEEkqALvv3uW98+epq7lB5OmfWNlt\nJbu3WnDoEPz6KxgYPJdh6VKwtOTZDUGy5+vri56eHh4eHgVad6nweHh4oCgKvr6+2mfq0gUsLNQ2\n8hQDA/jtN3WRzJ5tFqzstpKbp6fiIiIZcu4ce+7dK9jKS1IhkwGIJOVTUHw8XqGh1DfKIPjQYH5o\nNQVXmyZ88QV06qT2qD8jNVX95dK3Lxgba/05vr6+uLm5YWlpWaD1lwqPlZUVbm5uuQtAjI2hXz+1\njaSlPXPJ0xM6doQvvgBXmyZMaTWZkIODqGek4d3TpwlOSCjYG5CkQiQDEEnKh2vJybQ/dQpHI0Ou\n/jeENo4t+arZV/z2G9y4oW4k9YJNm+D2bfjwQ60/R6PRsGfPHjn88hLy9PRk9+7daDQa7TN98AHc\nuqW2lefMmAHXr8OsWfBV069o7fAW144MwdHIkPYhIVx7eKquJOk6GYBIUh7dTUujfUgIJnp6WF78\nBUWTzPJ3l3P7lh5Tp8Knn6rnjL1g3jx13w9nZ60/KygoiOjoaNq0aVNwNyAViTZt2hAdHa39uTAA\ndeqoB9TNm/fCpRo1YMQI+PFHiLqjzwqvFZCRhOXFaRjr6dE+JIS7z/WcSJIukgGIJOXBg4wMOp46\nRVRaGu+mHeXAhX9Z8e4KypYqyzffgJERTJiQScZz52DvXvjoo1x9nq+vL6ampjRu3LhgbkAqMk2a\nNMHU1DR3wzCgthE/vxcmowJMnAglSsA330DZUmVZ/u5y9l/YiFfaMaLS0uh06pTcqEzSeTIAkaRc\nStdo6HPmDMEJCfxsC7/vHcu4ZuPwrOJJQIA6dD95sjrH9AXz5oG1NXTrlqvP3L17N2+99ZY8/+Ul\nZGRkRIsWLdi9e3fuMnbvrraVTHpBLC3VNrZkCQQEQNsqbRnXdByz9o7hJ1sISkig95kzpOdm2EeS\nipgMQCQpF4QQfHzhAttiYlhSzY7J2/ryZoU3+b7l92g0ate4kxMMH55J5gcP1I0c3ntP7SLRUlJS\nEgcPHpTzP15inp6eHDx4kOTczM8wMoIhQ9SI9sGDFy5/8IHa1j79VD3TcHKrybxZ4U2mbOvL4mp2\nbIuJ4RO5UZmkw2QAIkm58P3Vqyy8eZMFNaqzfN+nJKQm4NPdB0N9Q7y94ehR+PPPTJbdAqxeDbGx\n6m+OXDh06BApKSkyAHmJeXp6kpycnLtdUUFtK/fvv7AzKqht7I8/4MgRWL4cDPUN8enuQ0JqAiv2\nfcqCGtVZcPMmk7U9i0aSipgMQCRJS/MjI/n+2jWmOjoSdWk5W8O2svzd5diZ2xEbC199Bb17w1tv\nZVHA3LnQrh1Urpyrz/X19aVcuXI4OTnl/yakYuHs7EzZsmVzPw+kShW1zcydm+nlli2hVy+17cXG\ngp25Hd5dvdkatpXoyyv40dGR765eZX5kZP5vQpIKmAxAJEkL6+7c4aOwMEZUqEATcZVv/L5hfLPx\nvFPtHQC++w4SE2H69CwKCAgAf/9cTz4FNQBp06YNipYH1km6R1EU2rRpk/sABNQ2c/w4BAZmennG\nDPXsuu+/V//foXoHxjUdx9d7vqaZuMaIChX4OCyM9VFR+bgDSSp4MgCRpBz43btHv7Nn6W1ryzfl\nzOizvg9N7ZoyudVkAEJD1a7wb7/N5liXefPUi++8k6vPvnPnDkFBQXL45RXg6enJyZMnicptINCh\ng9p2MpmMCuqlb7+F2bPVtggwxWMKTSo1oc+GPnxTzoyetrb0PXOGvXK3VEmH6EwAoijKJ4qiXFEU\nJUlRlKOKorhnk3aooigHFEW5+/Dlm116ScqrgPh4upw+TUsLC/6uXo0BG/uTITLw6eaDgZ4BQqiT\nACtXhtGjsygkNhZWrlRnpmY6OSRre/bsAZD7f7wCHn0NH31NtWZgoB4E888/alvKxOefg6MjfPYZ\nCAEGegb4dPchXZPOgI39WVy9Gi0tLOhy+jSB8fH5vRVJKhA6EYAoitILmAlMAuoDwcD/FEWxziLL\nW8BKoCXQCIgAdimKUq7wayu9LsIePKB9SAhOpqasd3Li54M/sOfyHlZ1W0W50mpTW7tW3dbj99+z\nWdiybJm6/foLJ9LlzNfXFycnJ8qVk037ZVe+fHlq166dt2GYoUMhJQW8vTO9bGSktkE/P1i37uHn\nlS7PSq+V7Lm8h18O/ch6JydqmZrydkgIFzJZVSNJRU0nAhBgNDBfCOEthDgHfAg8ADI9KlQIMUAI\nMU8IESKECAOGot5L6yKrsfRKi0xJoW1wMNaGhmxzcWH/5f8x+cBkJreajIejehhcfDyMGaOe99K+\nfRYFZWSovxm6d4dcBhFCCHbv3i2HX14hnp6e+Pr65n5pbPnyahuaNUttU5l45x21LX7+OTw6EqZ1\n5dZMbjWZyfsnc+DKLrbVqcMbhoa0DQkhMiUln3cjSflT7AGIoiiGQAPgcb+kUL87dwPabvtYEjAE\n7hZ4BaXXTnRqKp7BwWiA/7m4cD8+nP4b+9Opeie+bv7143STJkFMjDr2nqVNm+DyZTVSyaWwsDAi\nIiJkAPIK8fT0JCIiggsXLuQ+85gxalv6998sk/z+u9omJ0168t7Xzb+mY/WO9NvQj9iECP7n4kKG\nEHgGBxMjt2yXilGxByCANaAP3H7u/dtAWS3L+AW4gRq0SFKexaWn83ZICFFpaeyuWxcrvQzeXf0u\n1qbWeL/rjZ6ifssEBqo/7L/7Dhwcsilw5kxo0QLc3HJdl507d2JoaEiLFi3ydC+S7nnrrbcwNDRk\n586duc/s7g7Nm6ttKguOjmrwMWsWnDypvqen6OH9rjfWptZ4rfHCWl+Db926RKWl8XZICHHp6Xm8\nG0nKH10IQLKiADn2UyqKMg7oCXQVQqQWeq2kV1ZSRgadTp3iYlISu1xcqGZiwvCtw7l07xIbe23E\nwtgCUHvAH+1CmeXEU1B3iDpyJE+9HwAbN26kTZs2lCpVKk/5Jd1TqlQpWrduzcaNG/NWwJgx8N9/\n6o53Wfj8c6hdW22jj0ZrLIwt2NBzAxfvXmT4luFUNzFhl4sLFx48oLM8N0YqJrmbkl84ooEMoMxz\n79vyYq/IMxRFGQt8CbQWQoRq82GjR4/G3Nz8mff69OlDnz59tK6w9OpJ1WjoHhrKifh4fOvWpV7p\n0sw+NpuVp1ayqtsqnG2fnFw7dy6cOKH+HjA0zKbQmTPV43A7dsx1fe7cucPBgweZP39+Hu5G0mVe\nXl58+OGHREVFYWNjk7vMnTpBtWpq21q7NtMkhoYwf/6Tw3Q/+UR9v06ZOizqtIi+G/rSsEJDPm34\nKdtcXGgbHEyP0FA2OjtjqKfLf5NKRWXVqlWsWrXqmfdis1iBlS9CiGJ/AUeB35/6v4K6suWLbPJ8\nAdwD3LX8DFdABAQECEl6WrpGI3qdPi1K7NsndsXECCGEOHD1gDCYbCBG7xz9TNrr14UoXVqIDz7I\nodBLl4TQ0xNi7tw81WnhwoVCT09P3L59O0/5Jd11+/ZtoSiKWLRoUd4KmDNHbVuXL2ebbPhwta3e\nuPHs+6N2jBIGkw3EgasHhBBC/C8mRpTYt0/0Dg0V6RpN3uokvfICAgIE6qiEqyig3/26Eu7+CgxX\nFGWgoig1gXmAKbAUQFEUb0VRpj5KrCjKl8AU1FUy4YqilHn4Kln0VZdeZhoheP/cOdZFReFTuzae\nVlZcu38NrzVeNLNrxi9tfnkm/ahRYGoKP/2UQ8GzZqlHlg4cmKd6bdy4kebNm2Nra5un/JLusrW1\npXnz5nkfhhk0SG1bs2Zlm+znn8HERG2zT5vmOY1mds3otqYb1+5fo62VFatq12btnTsMPX8ejTy8\nTioiOhGACCHWAGOAycBJwAVoJ4R4tGVgRZ6dkPoR6qqXdUDkU6+8DbZLryUhBB+FhbH89m2W16rF\nuzY2JKQm0NmnM6VLlGZtj7UY6j8ZY9m2Td1j4bff1J//Wbp3DxYvho8/VqOVXIqNjWX37t14eXnl\n4a6kl4GXlxe+vr7ExcXlPrOpqbo9+99/q20tC5aWaltduxa2b3/yvqG+IWt7rKVkiZJ08elCYmoi\nXjY2eNeqxbJbt/g4LEyeoCsVjYLqStH1F3IIRnqKRqMRn4aFCfbuFUtv3hRCCJGhyRDdVncTpaaW\nEqdun3om/f37QlSsKETbtkLk2Ev9009CGBkJcetWnuq2cuVKAYjw8PA85Zd037Vr1wQgVq1albcC\nbt4UokQJIX7+OdtkGo3aZitWFCI29tlrIbdCRMkfS4rua7oLzcNGvSQyUrB3r/gsLOzxe5IkxKs9\nBCNJRUYIwZeXL/PHjRvMr16dQWXVzrUfDvzA+rPrWfHuimcmnQJ88YW6C/bChZDtmXCpqerGIP37\nQ5nn51VrZ8OGDbi7u1OpUqU85Zd0n52dHW5ubmzYsCFvBZQtq7ax2bPVNpcFRYEFC+D+fbUNP61O\nmTqs8FrBujPr+OHADwAMLleOedWrM/vGDb66fFn2hEiFSgYg0mtFCMG3V64wIyKC2VWrMrx8eQA2\nnN3ApH2T+KHVD3Sp2eWZPLt2qYHHjBlgZ5fDByxdCrduqWsh8yApKYnt27fL4ZfXgJeXF9u3bycp\nKSlvBYwZA5GR6lb/2bC3V9vuggWw+7mdkrrW7MqUVlOYuG8iG8+qc1I+KF+e36tWZXpEBBOuXJFB\niFR4CqorRddfyCGY155GoxHjL10S7N0rZjw1vBEQGSBMfzQVvdb2eqHbOTZWCDs7Idq00WLoJSVF\nTdyzZ57ruGnTJgGI8+fP57kM6eVw7tw5AYh///0374X06KG2uZSUbJNpNEJ4eKhJ4+Kev6YRPdb0\nEKY/moqAyCc/H6dfuybYu1d8femSHI6R5BCMJOWVEIJxly/zU3g4v1apwpiHwxsRsRF0XNkRZ1tn\nFndZjPLc+MqXX6pbW+c49AKwZAlERDy7D3YubdiwAScnJ6pXr57nMqSXQ40aNahdu3beh2FAbWsR\nEWrPWzYURZ2zGhOjtulnryks7boUJxsnOq7sSERsBABj7eyYWaUKU8PDGS+HY6RCIAMQ6ZUnHs75\nmBYRwayqVRn9MPiIS4mjw8oOGBkYsbn3ZkwNn12xsnu3uqHT9Ok5bLcO6kmlP/4IvXqp21DmQVpa\nGps3b5bDL68RLy8vNm/eTFpez2RxcoKePdW2l81cEFDb8LRp6uZke/Y8e83U0JQtfbZQQr8EHVZ2\nIC5FXZ3zeaVK/FalCr9ERMg5IVKBkwGI9EoTQjD20qXHcz5GVqwIQFpGGj3W9iA8NpxtfbdRptSz\nE0bj49UT0Fu1Ure0ztHixXD9OkyYkOe67tu3j/v378sA5DXi5eXFvXv32L9/f94LmThR7QVZvDjH\npB9+CC1bwvvvq238aWVKlWF7v+2Ex4bTc21P0jXqGTGjKlV6PCfki0uXZBAiFRgZgEivLI0QfHrh\nAr9ev86f1arx6cPgQwjBiO0j8Lvix/qe66lt82KPxciREB0NixZBjrtTp6TA1KnQu3eeez9AHX5x\ndHSkbt26eS5DernUq1cPBweH/A3D1K6t9rz9+KPaFrOhp6cOxURHv7hBGUBtm9qs77mePVf2MGL7\niMfBxmcVK/JntWrMvH6dzy5elJuVSQVCBiDSKyldo+G9c+eYExnJgurV+aRChcfXph2exoLABSzo\nuIDWlVu/kHftWnU6xx9/QOXKWnzY33+rqxEmTsxzfTUaDZs2bcLLy+uFeSjSq0tRFLy8vNi4cSMa\njSbvBU2cCDduaNULUrmyunp38WJ1Y73nta7cmvkd5zM/YD7TDk97/P4nFSqwoHp1/rpxg/fPnyc9\nP/WVJJCrYKRXT3JGhuh26pQw2LdPrHxuM7AlJ5cIvkNM8JuQad5r14SwsFAXF2g18T8pSYgKFYTo\n1y9fdfb19RWAOHLkSL7KkV4+//33nwDE7t2781dQ377qjmPJyTkm1WiE6N5dbetZ7Xf37Z5vBd8h\nlp5c+sz7K2/dEvp794rup0+LlIyM/NVZemnIVTCSlIMHGRl0OXWKrTExbHByos9Tm4FtOb+FoZuH\nMtx1ON+3/P6FvBkZMGAAlC6tTj7VqiNi0SK4eTNfvR8ACxcupHbt2jRs2DBf5Ugvn0aNGlGrVi0W\nLlyYv4ImTlR74hYtyjHpow3KSpVS23xGxotpJreazDDXYby/+X22hm19/H6fMmXY4OzM5uhoupw+\nzYPMMkuSFmQAIr0y7qel8XZICAdjY9nm4kIna+vH1w6FH6Lnup50qdmFOR3mZDrMMW3eZV0NAAAg\nAElEQVQaHDwIy5fncNbLIwkJ6tyPfv0gH8tmo6Oj2bhxI0OHDpXDL68hRVEYOnQoGzduJDo6Ou8F\n1agBffuqc0ESEnJMbmkJK1bAgQPqSq/M6jWnwxw61+hMj7U9OBx++PG1ztbWbKtThwP379M+JITY\n9PS811t6bckARHolRKak0CIoiFOJifjWrUvrpyKIU7dP0WlVJxpVbMQ/Xv+gr6f/Qn5/f/UPyPHj\n4a23tPzQX36Bu3dh8uR81X358uUADBgwIF/lSC+vAQMGIIRgxYoV+StoyhS1TU6blnNa1LY+bpy6\neMvf/8XrBnoGrOy2koYVGtJxVUdO3zn9+FobKyt869YlJDGRFidPEpnDBFhJep4MQKSX3rnERBoH\nBnIvPZ1D9evTxNz88bUr967QbkU7HCwc2NRrE8YGxi/kj41V/3CsXx+++07LD712Td3feuxYLTYJ\nyZoQgkWLFvHuu+9i/VSPjfR6sbGxoWvXrixatCh/y1wdHNQt2qdPV9uoFr77DurVU78HYmNfvG5s\nYMy/vf/F3tyedivacfX+1cfXmpibc6h+fe6mp9MkMJDzDx7kve7Sa0cGINJL7WhsLE1PnqS0vj5H\n6tfHqWTJx9ciYiPw8PbA1NCUHf12YG5s/kJ+jQYGDYKoKFi5EgwNtfzgL79U+7DHjctf/Y8e5cyZ\nMwwdOjRf5Ugvv6FDhxIaGsqxY8fyV9C4cWBhAV99pVXyEiVg1Sr1e2DwYMgs/jE3Nmdn/52YGJjg\nsczj8W6pAE4lS/Jf/fqU1NenaWAgRzOLYiQpEzIAkV5aW6Oj8QgOpnbJkhysX5+Kxk96NyLjI2m1\nrBUAfoP8KFuqbKZlTJsG//6rzvuoWlXLDz54ENasgZ9+Umfx5cPChQtxcHCgdesXlwNLr5c2bdpg\nb2+f/8mopUurbXP1ajh0SKssVauCtzds2pT16E3ZUmXxG+SHQODh7UFkfOTja5WMjTlYvz61SpbE\nIziYrfmZyyK9NmQAIr2U/rh+nS6nT9POyopdLi5YPtV1cTvhNq29W5OakYrfQD/szDM/wnbPHvjm\nG/XVqZOWH6zRqDs4uburywfyIS4ujtWrV/P++++jl+NuZ9KrTk9Pj/fffx8fHx/i4uLyV9jAgeDm\nprZVLffr6NwZvv5afT2/VfsjduZ2+A30Izk9mdberbmdcPvxNStDQ3a5uNDOyooup0/zx/Xr+bsH\n6ZUnf+pJL5V0jYYRYWF8dvEioytWZJ2TEyb6TyaVRiVG0dq7NbHJsfgN8sPR0jHTciIi1I1LW7eG\n719ckZu1ZcsgMBBmzdJii9Ts+fj4kJyczODBg/NVjvTqGDx4MMnJyaxevTp/BenpqW00IEDt2tDS\n5Mng4QF9+qjfI5lxtHTEb6AfscmxtFnehugHT3o7TPT1WefkxKiKFfns4kU+vXBBblgmZUnJ14Sn\nl4iiKK5AQEBAAK6ursVdHSkP4tLT6XXmDL537zKnenWGly//zPXoB9G08W7DzYSb7B+8n5rWNTMt\nJyUFWrSAW7fUn89az/2Mj1eX27ZqpU4Yyac333wTW1tbtm7dmnNi6bXRoUMHoqOj8z8XBNRIYt8+\nCAtTh2a0EB0NDRpAuXKwfz8YGWWe7mzUWVoua0n50uXxHeCLtemz30jzIyP5JCyMtlZW+NSujZmB\nQT5vRipOgYGBNGjQAKCBECKwIMqUPSDSS+FqUhJNT57kSGwsO1xcXgg+bsbf5K2lb3Ez4SZ7Bu7J\nMvgQAkaMgKAgdRvqXC08mTJFXSbwyy/5uBNVcHAw/v7+cvKp9IKhQ4dy/PhxQkJC8l/YL7/A/ftq\n29WStbX6vXHyJHz6aeaTUgFq2dRiz8A9RMZH0nJpS27G33zm+gfly7PDxYX/Hk4Uv5acnJ87kV5B\nMgCRdN6ee/dwCwggMSODI66ueFpZPXP92v1rNF/SnNjkWA4MPoCzrXOWZc2YoW4UOW+eOo1Da8eP\nw8yZ6oYJlSrl8U6eWLRoEWXLlqVDhw75Lkt6tXTs2JEyZcrkfzIqgJ2dusHNzJmZb/SRBXd39Xtk\n4UI1a1acbZ3ZP3g/95Pv02JpC8Jjw5+57mllxX+uriRmZNDgxAn87t3L651IryAZgEg6SwjBrxER\ntA0OxrV0afwbNKDWU8tsAS7EXKD5kuZohIaDQw5Sw7pGluWtW6eunv3mGxgyJBcVSU5WM7i6whdf\n5PFunoiJiWHp0qW89957GGq97ld6XRgaGvL++++zdOlS7t69m/8Cv/hC3eRm8OAcT8t92pAh6oTU\nL76A9euzTlfTuiYHhxwkQ5NB8yXNuXj34jPXa5csiX+DBriWLo1ncDC/RkTkb68T6ZUhAxBJJz3I\nyKDf2bOMuXSJLypVYoeLC28898s69E4oLZa2oGSJkhwccjDLCacAR4+qi1Z6987DxqWTJ8PFi+oR\nuQUwjj1r1iw0Gg2jMjsPXZKAkSNHotFomDVrVv4LMzCApUvhwoVcN/4pU6BXL+jfX/0eyoqjpSMH\nhhzAxMCE5kuaE3on9Jnrbxgasr1OHcZWqsSYS5fof/asPENGkqfhSrrnQmKiqHv8uDDdv1+svn07\n0zQHr/2/vTsPr6q69wb+XcmZMnAykoCEeRCDMoqAtVot3AIOvWjVWnu1z7Vq9bbU12Jp1fqiFpyr\nxWJb6/PcW1v0FuijYgF5QZMQhAAyhDEBMkECmeec+ezv+8c6CVOGk5OTBPD3eZ71bHKyz9or7LPW\n+e2111o7mwkvJ3DiHyeyorn9fVoVFJADB5Lf+IZ+eG237NxJRkSQS5d2843tq6uro91u5y9+8Yuw\n5CcuX08++STtdjvr6urCk+Fvf0tGRpK7dnXrbU4nef31ug4VFna+b3lTOSf+cSITXk5gdkl2u/v8\no6KC0VlZnLxrF4+1tHSrLKL/yNNwxWXvH5WVmLp7N1oMAzlTp+KelJQL9ll9aDVmvz8bkwZNQtaP\nspASc+E+rerqgFtvBeLi9CJLtgtXYu+Y2637oadM0fduwmD58uXweDxYtGhRWPITl69FixbB4/Hg\n7bffDk+Gv/wlMGlSt2/F2Gx6sT67HZg/X9epjqTGpiLzwUxMTJ2I2e/PxprDay7Y556UFORMnYpm\nvx9Td+/GqsrKEP4YcTmQAERcFJx+P36Sn4/vHz6M25KSsGfaNFzTziqjb25/E/euuRd3XnUnPrv/\nM8Tb4jvMs7ERmDsXqKwE1q/v5owXQHdXHz0atlsvjY2NePPNN/Hoo49i0KD2V2YVotXgwYPxyCOP\n4M033+z5wmSAfs7Af/+3/kx3Y1YMoOvO+vW6Ls2bp2ekdyQhKgEbf7gRC65agHtW34O3ci68jXRN\nbCx2T5uGW5OScO/hw3js6FG45JbM10+4ulIu9gS5BXPRym9p4cSdO2nLyuK7ZWU0DOOCffyGn09s\neIJYAi7etJh+w99pns3N5De/ScbFkV99FUKhtm/X3dUvvhjCm9u3dOlSWiwWlpaWhi1PcXkrLS2l\nxWLhsmXLwpfpCy/oz/b27d1+61dfkXa7rltd3T3xG37+8v/9klgCPrHhiXbrrGEY/HNZGa2ZmZy0\ncyfz5ZbMRas3bsH0e2DQV0kCkIuPYRj8U1kZo7OyeGVODnObmtrdr8HVwNs/uJ0Rz0dwxc4VXebr\ndJKzZ5MxMeS2bSEUrKKCHDKEnDWL9HhCyOBCTU1NTEpK4uOPPx6W/MTXx2OPPcbk5GQ2dVA/us3j\n0Z/ttDT9We+mL7/UdWv27ODGVP1hxx8Y8XwE7/jwDja4GtrdJ7epieNychiTlcU/dXARIvqXBCAS\ngFw2TrlcnJ+bS2Rk8NG8PDZ5ve3ul1eVx/F/GM+4l+K47ui6LvN1u8lbbyWjosjMzBAK5vWS3/oW\nmZpKlpWFkEH7Xn31VZrNZpaUlIQtT/H1UFJSQrPZzNdeey18mZaWkikp5M036898N2VkkDabrmtu\nd9f7/yv/X7S/ZOf4P4xnfnV+u/s0eb18JC+PyMjg/NxcnnK5ul0u0XskAJEA5LKwuqKCSdnZHPTl\nl1xXXd3hfsE0Wmdzu8k77yQtFnLjxhALt2iR7p7Oygoxgwu1tLRw4MCBfPjhh8OWp/h6+fGPf8yU\nlBS2hPMWRWam/qw/9VRIb9+4Ude1O+8MLggJ9mLiX9XVTN26lUnZ2VxTWRlS2UT4SQAiAcglrcLt\n5n2HDhEZGbzrwAFWddBq+Q0/l25ZSrVEddpte7bmZvI739EN4tq1IRZw1SpdJX73uxAzaN8rr7zC\nyMhIFnY1h1GIDhQUFDAyMpKvvPJKeDN+4w39mV+9OqS3r12r69zcuboOdqXeWc/bP7idaoni0i1L\nOxzLVeV2884DB4iMDN536BArg4lwRK+SAEQCkEuSYRj86+nTTMzOZlJ2Nv92+nSH93grmis49+9z\niSXgc1881+VgU5KsqSFnziRjY8nNm0Ms5KFD+sb2vfeSYbz/XFRUxOjoaC5cuDBseYqvp4ULFzI6\nOppFRUXhy9Qw9Gc+NpY8fDikLDZt0lVn1ixdF7viN/x87ovniCXgvL/P63AdH8Mw+Lez2o33O2k3\nRO+TAEQCkEtOocPBOfv2ERkZvL+LK5nNBZs56PVBHPjqQG44tiGo/E+eJNPTyeTkbq+vdEZVFTlu\nHDlhAhmugX7UDei8efOYlpbGxsbGsOUrvp4aGxuZlpbG+fPnh/eLuKlJV6Jx43RdCMHOnboOTpig\nh5cEY/3R9Rz46kAOfn0wPy/8vMP9Ktxu/iDQczpn3z4WOhwhlVH0jCxEJi4ZLr8fy0pKcPWuXch3\nOLD+mmvw9/R0DLRYLtjX6/fimc+fwZy/zcGEgROQ+5NczB0zt8tj5OcD3/gG0NwMfPklcO21IRS0\ndbGQujrgo4+AdtYeCdWqVauwYcMGvPPOOxgQ5KPQhejIgAEDsGLFCqxfvx6rV68OX8axsXqVvro6\nvchHCGuOTJ8ObN2q1we5/npdN7syb+w85P4kF+kD0zH7/dl45vNn4DN8F+yXYrFgZXo61l9zDfId\nDly9axeWlZTIuiGXg3BFMhd7gvSA9AnDMPhJVRVHbd9OU2Ymf3HsWIczXEjySNURznxvJiOfj+Sy\nLcuCuuVCkp99RiYk6Au3kJfVcDjIG2/Ui4Xs3RtiJu2rra1lSkoK77rrrrDmK8Sdd97J1NRU1tbW\nhjfjPXt0XbjpJl03QtDaI5mQEPxAcJ/fx2VbljHy+UjOfG8mj1Qd6XDfJq+Xvzh2jKbMTI7evp1r\nq6rktkwfkVswEoBc1PJaWjg3MLX23/bt45FORqV5/V6+nP0yrS9aOe7tcdx2IrgFOwyDfOUV/XiW\n+fPJkB+T4XbrDKKjya1bQ8ykYw8//DDtdjvLwjiVVwhSL05mt9v5yCOPhD/zrVv1HPZbbw15DZy6\nOnLePF1HX3kl+CFV205s49jlY2l90cqXs1+m19/xhcvh5ua2W7tzc3OZJwuY9ToJQCQAuSiddrn4\nWH4+TZmZHLl9Oz/u4qpkf/l+XvvutYx4PoKLNi6iwxPc1VZzM3nPPfpT+8wzpM8XYoF9Pj3wrkfz\ndTuWlZVFAHznnXfCnrcQJLlixQoC4JYtW8Kf+WefkWYz+f3vh1zJfD7y6ad1Xb333uBmyJCkw+Pg\noo2LGPF8BK9991oeqDjQ4b6GYfCjykqOCPS2Pp6fz9OydkivkQBEApCLSoPXy98UFjI6K4sJ2dl8\ntaSEzk4arBZPC5/9/FmaXzAzfUU6c07mBH2sY8fIiRP1aPs1a3pQaI+HfPBBfXn2z3/2IKP2OZ1O\njh8/ntdffz39/uBuJwnRXX6/n7NmzeL48ePp7PYjnoOwZo2uIz/6UY9WA169WtfZiRN1HQ5Wzskc\nXvWHq2h+wczffPEbtng67uFw+Hx8taSE8dnZjMnK4m8KC9kQwuJqonMSgEgAclFo9vn4+okTTN66\nlbasLC4+fpy1nTRShmFw1cFVHPq7obS8aOGznz9Llze4KxXDIP/8Z92IjRlDHuj4gqhrjY16sRCT\niVy5sgcZtc8wDP7whz+kzWbjgR4VVIiuHThwgFarlf/xH//RO+MgVq7UdWXuXF13QnTggK67MTHk\nu+8Gf0vG5XXx2c+fpeVFC4e9OYyrD63u9O+s9Xi4+Phx2rKymLx1K984cYLNIXeTivNJACIBSL9q\n8Hq5rLiYyVu30pSZyR/n5bG0iy7PgxUHefP/3EwsAW//4HYerzke9PFOn9a3ogHy4Yd7OEO2rIyc\nPFk/SSvkxUI69/LLLxMAP/jgg17JX4jzrVy5kgDCv0BZq82bdZ2ZMoU8dSrkbBobdR0GyNtu03U7\nWMdqjvG2D24jloC3/PUWHqw42On+J51O/jgvj6bMTCZv3cplxcXSIxIGEoBIANIvqj0e/t/CQsZn\nZ9OSmcnH8vNZ3EW374n6E/zxJz9m5PORHLt8LNcfXd+tY/7zn2RSkn4ky6ef9qT0JA8eJIcN0w/f\n2r+/h5m175NPPqFSis8++2yv5C9ER5555hkqpfjJJ5/0zgH279cPZxw2TC/Y1wOffqrrdFJS9++A\nrju6jmOXj2Xk85F8eO3DPFF/otP9ixwO/iQ/n5bMTCZkZ3NJURGrw/Rwya8jCUAkAOlTh5ub+Uhe\nHm1ZWbRlZXHh0aNd9nhUNFfw5xt+TsuLFia/msw3tr0R9O0WkiwoIO+4Q38yFywge/woiHXr9NTC\niRP1HMFekJuby5iYGN51110y7kP0Ob/fzwULFjA2Npb7eynA5smT5DXX6Lq0ruuHQnamslLXbUDX\n9YKC4N/r8rr4xrY3mPxqMq0vWvnEhic6XEm1rehOJxcePUpbVhajsrL4aF4eDwc7Kla0kQBEApBe\n5zcMflZT0zaddtCXX/LFoqIun8VQ3lTOX2/+NWOWxtD+kp0vZr3IRlfw941bWsjnniOtVnLoUP1Y\nlh7d1nY4yJ/+VH/Eb72VbOj6eTKhqKio4LBhwzh58mQ2S6Mm+klzczMnTZrE4cOHs6Ki8y/kkNXX\nn7kn+rOfkT0Y/GoYuo4PHarr/HPP6TYgWI2uRr6Q+QLtL9kZszSGv9786y4DkUq3my8UFTF169a2\n6buf1dTQL+uIBEUCEAlAes0pl4tLi4s5cvt2IiODU3bt4vunT9PVxRV9fnU+H1n7CK0vWhmzNIaL\nNy1mjSOIB0IE+P16pPzw4XpW7DPPBD9lr0P795NXX61btrffDuuzXc5WW1vLGTNmMDU1lSdOdN4d\nLERvKykpYWpqKmfMmBH+RcpaGQa5fLmuW1df3eNbms3NerquxaLbgNWrdZsQrBpHDRdvWsyYpTG0\nvmjlo58+yqPVRzt9j8vv519Pn+bkXbuIjAyO3L6dS4uLeUqm8HZKAhAJQMLK7fdzbVUVv7t/PyMz\nMhiVlcUfHTnCL+vrOx1tbhgGtxRv4YL/XUC1RDH1tVQu27KMtY7gGz3DID/6iJw0iW2dFN2Zptcu\nn4986y3dOF5zTQ+nzHSupKSE6enpTExM5M6dO3vtOEJ0x86dO5mYmMj09PTeDYoPHDgT5L/1Vg8W\n5dGOHTvTuTJ5sm4bunPdUOuo5dItS5nyWgrVEsUF/7uA2SXZXbZjW+vr+eDhw4zKymJkRga/u38/\n11ZV0S23Ui8gAYgEID3mNwxuqavjo3l5TMzOJjIyOHnXLq4oLWVdFwO0ah21fGv7W0xfkU4sAce9\nPY7vfvUund7gu2INg/z4Y93IAOTNN5NhWUspI+NMNLNwYY+6h7uSm5vLK664giNGjGBeXl6vHUeI\nUBw5coTDhw/nkCFDem9MCKnr2MKFZ6KGzMweZ5mVpdsEQE+8+eST7gUiTq+T7371Lse9PY5YAqav\nSOfvc37f5cVRncfDFaWlbb0iidnZ/El+PrfU1cktmgAJQCQACYkvEHQ8eewYh23bRmRkcNi2bfxV\nQQH3dzG31ef3cXPBZj7w0QO0/dZG0wsm3r3qbm4q2BT0c1tIPYX2j3/UT8sE9OMmwtBe6RFsd96p\nM505k8wJfnGzUHzxxRe02+2cPHkyT/VgWqIQvenUqVOcPHky7XY7MzIyevdg27eTM2boOnjXXWRh\nYY+zzMjQbQSg24w//rF70/D9hp+bCjbxe6u+R9MLJtp+a+MDHz3AzQWb6fN33luzv6mJi48fP6et\nfPLYMW6pq6PvaxyMSAAiAUjQmn0+rq2q4kNHjnBgYNDV4C+/5GP5+czuIqo3DIPbT27nwvULOej1\nQcQScPTvR/Ol7JdY3lTerXIcPUo+8YQePB8RoUe/hyXwKC0lf/ELffN4yBDy73/v3s3jbjIMg3/5\ny19osVg4e/ZsNvTSoFYhwqWhoYGzZ8+mxWLhe++917sPbfP7yb/9TddFq1XXzZCfEnlGZib57/+u\n2464ON2WHO18iMcFypvK+VL2Sxz9+9HEEnDQ64O4cP1Cbj+5vdP/E79hMLuujo/l53Pwl18SGRkc\nuHUrHzpyhGurqr52i5xJACIBSIcMw2BuUxNfLSnht/fupSUzk8jI4LicHC4+fpzb6+s7DTrcPjc3\nFWziwvULOeKtEcQScPDrg/nEhie4o3RHtxqv6mp9xXLDDfoTlpRE/upXZHFxGP7QAwf0Uupms14g\n6bnnwjBqtXMFBQWcPXs2AfChhx6iu4sZQUJcLNxuNx966CEC4Jw5c1gYht6JTjU36zppt+s6+uCD\nYRmLVVxMLl5MJibqNuWGG3QbU10dfB6GYTDnZA5/vuHnbRdWI94awYXrF3JTwSa6fR3Xa79hcHt9\nPX95/DjH5uQQGRm0ZGby23v38tWSEuY2NV32T+XtjQBEUX85X/aUUlMB7N69ezemTp3a38XpMYPE\n4ZYWZDU0YEt9PbLq61Hh9SIqIgLfio/H3MREfCcxEeOioqCUajePkvoSfFH0BdYfX4+NxzeiydOE\nNHsabh93O+5Ovxs3Dr8RkRGRQZWnthb47DPgww/1lgTmzAF+8APge98DoqJ68Md6PMDGjcA77+jM\n09KAJ54AHn4YsNt7kHHn/H4/li9fjmeffRbJycn405/+hHnz5vXa8YToLRs2bMCjjz6KmpoaLF26\nFD/72c8QGRlc3Q5JYyPwl78Ab70FlJYC8+YBjz0GzJ0LmM0hZ+t0AmvWACtXAps3A0rpLO+7T28T\nE4PLx2/4kVWShTWH1+DTo5+itLEUAywD8J0x38H8MfNxy8hbMDx+eLvvJYl8hwMb6+qwsbYWmfX1\ncBoGUs1m3BQfjxvj43FTXBzSY2IQ0UHbeynas2cPpk2bBgDTSO4JR54SgFwi6r1e7Gpqwo7GRuxo\nasL2hgbU+HwwK4XpAwbgpvh43BIfjxvi4mBrp2EhidLGUmw9sRVfFH2BL4q/QGFdIRQUpg+ZjtvH\n3Y7bxt2GSamTOgxYzs0POHgQWLdOp23bAMMAZs4E7r8fuPtuIDW1B38wCezYAfztb8A//gHU1ACT\nJwNPPgl8//s9asS6PjSRkZGBp59+Gjt37sRPf/pTLF26FAMGDOi1YwrR25qamvD0009jxYoVuO66\n6/DSSy/hW9/6VlD1PWQej66/v/sdsG8fkJSk6+8PfwjMmKEjiBBVVACrV+tgJCcHiIgArr8euPVW\nna6+OrjsSSK3Ihef5n+KT49+iq9OfQWCGJUwCreMuAW3jLwFNwy7AWn2tHb/r1x+P7Y2NODz+nps\nqa/HrqYmeEkkmUyYFReHGQMGYIbdjukDBiC+F9ut3iYBSA9cSgFIpceD3OZm7Gtuxt5AynM4AADx\nJhOuGzAAM+123BQfj5l2O6LbCTga3Y3YV74PO0p3IKcsBzmlOTjVdAoAMGHgBNwy8hbcPOJm3DTi\nJiRGdX3ZYBg64NiyBcjO1tvyciAmBpg9W1f4+fOBIUN68Ic7HEBWlu7l+Ne/gMJCneH99+s0cWIP\nMu+az+fDmjVr8Nprr2HPnj2YPHkyVqxYgeuvv75XjytEX9q2bRsef/xx5ObmYtq0aXjqqadw1113\nwWQy9e6B9+/X0cLKlUBZGTBqFHDbbbrr4qabgOjokLMuKwPWr9cXQ5s3Ay0twKBBwI036vTNb+qA\nJCKi67xqnbXIKs7CF0VfIKM4A4eqDgEArhhwBWamzcTMITMxI20GJg+aDLv1wh5Yh9+PnMZGZNXX\nI6exETubmlDv8wEAxkdHY0psLKbExmJyIA20WEL+u/vSZR2AKKX+C8AiAIMA5AL4Gcldnex/N4AX\nAIwAcBTAr0hu6GT/iyoAIYlKrxf5DgcOt7TgcGB7yOFAuccDAIiJiMCkwIf0OrsdM+12jI2KOqdb\nz+P3oKC2AHnVedhfsR+5FbnYV74PRfVFOg9zDKYPmY6ZQ2bqypM2E6mxnXdNkPq7f88eYPduvd21\nC6iv1x0P06frSn3zzbrdsFpD/E9wOPQBcnKATZt0VON2A8OH60bp3nv1gTroKv7www9x3333hXjw\nM0pLS7F69WosX74cxcXFmD17Np566inMmTOnd68OxTnCdT5F10hi06ZNeO2117B582aMGDECCxcu\nxN133420tLSwHKPD8+n367r+j38AGzYAJ07oRuTGG/V925kzgWnTQg5I3G59HZORoQ+zaxfg9QLx\n8brtmjpVZz91qo6BuqriFc0VyCnVF3E5ZTnYVbYLLd4WAMCohFGYlDoJk1InYWLqRIxPHo/RiaNh\niTwTVBgkjjoc2NHUhJ2NjdjX3Izc5ma0GAYAYJDFggnR0UiPiUF6YHtldDRSzOaLqv25bAMQpdS9\nAP4K4BEAOwH8HwB3AxhHsrqd/WcB2AJgMYB1AH4A4FcAppA83MEx+jwA8RgGSt1uFLtcKHa5UOh0\n4rjTiWOB1OT3AwAiAYyNjkZ6dDSuio5uCzpGB4INl8+FkvoSFNYVorCuEEX1RThWewx51XkoqC2A\nnzqf5OhkTEqdhMmDJrdtrxp4FUwR7V/ZuN1ASQlw9Chw+DBw5MiZ1Nio90lL0983yMMAABGCSURB\nVBX12muBG27QvaYhtQsNDfoghw4Be/fqoCM3VzdG0dH6EmXuXJ2uvDKovtM77rgDa9euDaEwwJEj\nR/DRRx/ho48+wldffQWTyYR77rkHixYtwpQpU0LKU/RMT86nCN3evXvx+uuvY9WqVfD5fJg+fToW\nLFiABQsWYPz48SHnG9T5JIH8fN3r+dlnunvV4dAXHZMm6WBkyhRgwgQgPR2Ii+t2ORwOfTc3O/vM\nBVVpqf6d3Q5cddWZlJ4OjBunr4E6urDyGT4cqTqCfeX72i74cityUe3QX1WRKhKjE0djfPJ4jE0c\ni5HxIzEqYRRGJYzC8PjhsJlsMEgUOJ1twcgRhwOHHQ4cczjgDxzHHhmJMVFRGBsVhTFRURgVFYUR\nNhtG2GwYarXCHEx3ThhdzgFIDoAdJH8e+FkBOAlgOclX29n/fwFEk7zjrNe2A9hL8vEOjhG2AIQk\nmv1+nPZ4dHK7ccrjQanbjVK3GycD21NuN4zW4wO4wmLB2Ojotg/VCKsZSXAixleLWkclypvLUdFc\ngbKmMpQ2lqK0sRQnG0+isqWy7djmCDNGxI/AqIRRuCr5KoxPHo/xyeNxZfKVSI1JbYuYvV6gqgo4\ndUqnsjKdTp4Eiop0KivT9R8AYmPPrYiTJ+vAIyUl6P8UPU6juFin1oMUFOigo6xM7xcRoWv4zJln\n0oQJQAjdv8F+YTkcDuzZswc7duxoSydOnEBMTAzmzZuHBQsWYP78+YiPj+92GUT4SADSv+rr67Fu\n3Tp8/PHH2LBhA1paWjBs2DDMmDGjLU2dOhXRQV6BhHQ+fT7dXuTknElHj+p7wIC+JTthAjB6NDBy\npE4jRuiUlBT0mJKKCn0dtG/fuRdezc3690rpQ7UeYuhQ/fOQIcAVV+g0cOCZoWgkUdFSgfzqfORV\n5yGvOg9Hqo+gsK4QxfXF8BretmOnxKRgqH0o0uxpSLOnYciAIUiNTcWg2EFIjE5BiykRNYhCsduL\nY60XrQ4HTnk8aP22jgBwhdWKNKsVQwPbNKsVV1gsGGy1YrDFgsEWC2IjI8PWi3JZBiBKKTMAB4C7\nSK496/X/ARBHckE77ykB8AbJ5We9tgTAd0m2e/naWQBikGj0+VDr86Ha670gVXo8qDxv29p91ipK\nASkmIDHCDzs8iKET0f5GWLy1UK5y+Fyn0eisQbWjui01eZouKGdiVCKGDBiCIQPSMCg6DQOtQ5Fk\nTkNSxEjEGaNgcQ9BS1MkGhr0zJO6ujOpqkqnykr989lMJmDwYF2BRo06U7FGjQLGjNE9HW2fU59P\nd4E0Nuqei8ZGff+lpuZMqq7WBzp9Wqfych31tBow4MxB0tN1ozFhgu7d6NGUmDNaGzi3243KykqU\nl5ejvLwchYWFOH78eFsqKiqC3+9HVFQUrr32Wlx33XW46aabMHv2bESFqSyi5yQAuXg4nU5s3rwZ\nWVlZ2LFjB3bv3g2n04nIyEiMHDkSY8aMaUujRo3C4MGDkZqaipSUFFgDXQdhO59Op+4lOXRIp8OH\nz1zgNJ3VhprNeuDH4ME6paQAyck6MGlN8fG62yMuTm/t9raLH1L3jBw/rm9Btx6isFBfP50+rZvG\nsyUk6MMMHKhTQsKZlJioDxMzwA+PtQwNEYWoMYpQ4y1Flfskyh2lKGsqRVlTGWqdtRf82XarHUlR\nSUiOTkZydDLsUUkw2QaDtkHwmBPhiLSjRUWhERbUGpGo9AHO877OYyIikGKxIMVsPmebbDZfkBJN\nJthNpg5n7lyuAchgAGUAZpHccdbrrwC4keSsdt7jBvAAyX+c9dpjAJ4jObiD40wFsDtt2Yvg2DFw\nmc1wm8zwmC3wmC2AurA7K8LnRoS3BRGeRsDTAHjrQE8tDG8N/N4KwFMNeGoBTw3gd1zwfrMvFhav\nHSbfAJg9cYj02mFyJSLSmQTlSoByJAOOZBiNV8DfmApv42B43NFwekxw+zofLR2p/IizORFvcyDO\n6kSc1YFEaxOSbQ1IsjRioKUeyeY6DLZUY5C5CqkR1Yj0eaC8XkS43VAej9663YhwuRDpdCLC5UKE\nw4GIswOJ8/ijo+GLi4MvLg7ehAR4kpLgTU6GJykJnqQkuFJS4Bo8GN4BA0DoKwPDMGAYRtu//X5/\nW/L5fG1bj8cDj8cDr9cLj8cDp9PZlhwOBxwOBxoaGtrSkSNHYLFYUF9ff04ZbTYbRo8ejbFjx2LM\nmDEYN24cpk+fjquvvrr3B9qJkEkAcvHy+Xw4ePAgdu3ahaNHj+LYsWM4fvw4CgoK4HK5ztk3ISEB\nycnJqKysxLRp0xAXF4e4uDhER0cjOjoaUVFRbcliscBsNsNiscBiscBkMiEyMrJt25oiIiKglEJE\nRETbvxUAc1MTbKdPw1ZZCUtNDSw1NTBXV+ttXR1MDQ0wNTQg0nFh+9zKMJthREfDsNngj4qCYbOB\nVisMqxW0WPTWbIbfZEGFkYxy70Cc9iSj2puAKk88ajx2VLviUOsegAZ3NBrcUah3RaPBFQU/O5/q\nbDV5EWXxwWJ1wGw/jUh7OSLsp4HoajC6GrTVwR9VA5+tFn5zI7yWBvhMTfCYG+E1NV+YYWQ0YEkC\nLImAJRmR5lREmJOgLImAOQGwxMGw2GGYY2CY2rnHRAMWrwcWrwdWnxc2rxc2nw9RPj9wvAgHn38e\nCGMAcjG3xgpAd6Kjrva3AUBpZR4QcQrwuQCvG/C4AbcHcHsBjxdw+gGXATgJw2OC4bMCPtt5aSCU\nbygivRZE+GyI8Fpg8lpg8kQh0muF2WOByWuGBX6Y4IMZ3ratGV5Y4IEFXpjRBAtqYMV+WOGGDW5Y\n4EYUnIiCEza4EAUXbHAiFi2IQTNi0IIYtMBCNwwn4HMCBnTytZOqAZwG4AXgCbzmDiRPYOsC4Ayk\n1n83A2g5b9sAwOdw6Juqp09349R0j8lkgslkgs1mg9VqbUs2mw2xsbGIjY3F8OHDUVFRgQULFiAx\nMRHJyclITExEUlISkpKSEHHe/VHDMLB///5eK7PouYaGBuzZE5Z2TfSSadOmtV4FA9D1qqamBjU1\nNaitrUV1dTVqa2tRX1+PTZs2ITIyEuXl5Th+/DhcLhfcbndbcrlc8Pl88J3frdALTADiAMQCiDlv\nG+X1wtbQgKiGBkRBf1FYAVgCW2vg/RYA5kCKBjAKwLjA71pTRCC1/tsDa6DFjkELYtGMGLjaWncb\nnL4oOH1R8DiscNVZ4YZO+htiADxIhAdXBb45zPDB1Lb1IBI+sxdeiwd+sxs+ixM+sweG2QPD5ILf\n7IHf5ILf5AZMJYApHzC5AskNWHy6694WAURFAhYzYDXDY7XAY7Gi2WwFTDbAFAVExgDOtm51WzjP\nS3+rBuAHcP7UjBQAFR28p7yb+wN6tgzw1spuF7A9hP4yF+HX2iidf2XVnrfffrsPSiT6ytlfbuLS\nV15e3t9FAKDb6ppA6lutl3sX3mIJC28g9a0RALaFI6N+D0BIepVSuwF8G8BaoG0Q6rcBLO/gbdvb\n+f2cwOsd2QjgfgDF0Bf6QgghhAiODTr42BiuDPt9DAgAKKXugZ6G+yjOTMP9HoDxJKuUUu8DKCX5\ndGD/WQCyoKfergNwX+DfUzuahiuEEEKIi0e/94AAAMlVSqlk6IXFUgHsA/AdklWBXdJw1h0PktuV\nUvcBWBpIx6BnwEjwIYQQQlwCLooeECGEEEJ8vfTtUmpCCCGEEJAARAghhBD94LINQJRSTyulvlRK\ntSilgp4DpZR6QSl1SinlUEptUkqN6c1yiuAopRKUUiuVUg1KqTql1HtKqZgu3pOplDLOSn6l1Dt9\nVWZxLqXUfymlipRSTqVUjlJqehf7362UOhLYP1cpNa+vyiq61p3zqZR68Kw62FofO14dTPQppdQ3\nlVJrlVJlgXNzRxDv+ZZSardSyqWUOqqUerC7x71sAxDo9WJWAfhjsG9QSi0G8FPo2TjXQa/BtVEp\ndWk8L/ny9gGAq6CnX98K4EYAf+7iPQTwLvTA5kEABgP4ZS+WUXQg8MDJNwD8XwBToJ94vTEw+Ly9\n/WdBn/O/AJgM4GMAHyul0vumxKIz3T2fAQ3Q9bA1De/tcoqgxUBP/vgvBLEAqFJqBIB/AfgcwCQA\nvwfwnlJqTncOetkPQg1EZW+STAxi31MAXiP5ZuBnO/TiZg+SXNW7JRUdUUqNB3AYegngvYHXvgM9\nBTuNZLurHSmlMqAfUPhknxVWtKsvHjgp+k4I5zPodlj0L6WUAeDfz342Wzv7vAJgHsmJZ732IfTz\n2+YHe6zLuQekW5RSI6Gj8s9bXyPZCGAHgAueRyP61CwAda3BR8Bm6Eh9RhfvvV8pVaWUOqCUWqaU\nkqfP9bHAAyen4dy6Rehz2FHdmhX4/dk2drK/6CMhnk8AiFVKFSulTiilpDfr0jYTYaifF8U6IBeJ\nQdBfaOcv514R+J3oP4MAVJ79Akl/YGxPZ+dmJYASAKcATATwKvTjG77XS+UU7UsGEIn269aVHbxn\nUAf7S13sf6Gcz3wA/wlgP/RjWZ4CsE0pNYFkWW8VVPSajuqnXSllJekOJpNLKgBRSr0EYHEnuxDA\nVSSPhvOw6N5D8USQgj2fnWWBTs4NyffO+vGQUqocwGal1EiSRd0qrOgN4X7gpOhfHZ4fkjkActp2\n1LfTjgB4BHocibj0qcA26Dp6SQUgAF4H8N9d7FMYYt7l0P+BqTg3sksBsLfdd4ieCvZ8lkOfhzZK\nqUgACej8AYTn2wF9jscAkACk7/TVAydF3wjlfJ6DpE8ptRe6LopLT0f1s5GkJ9hMLqkAhGSvPdCQ\nZFHgCvnb0N2ErYNQZwBY0RvH/LoL9nwGrpbilVJTzhoH8m3oYGJHNw45BTo6P93dsorQ9eEDJ0Uf\nCPF8nkMpFQHgagDre6ucoldtB3D+tPh/Qzfr52U7CFUpNVQpNQl6qlekUmpSIMWctU+eUuq7Z73t\nLQDPKqVuV0pdA+B9AKUAPunTwotzkMyDHuD0F6XUdKXUNwC8DeDD1hkwSqkrAmtGXBv4eZRS6lml\n1FSl1PDAvPa/AsgiebC//pavsd8BeEQp9UBgVtOfAEQD+B8AUEq9r5Radtb+vwcwTyn1pFLqSqXU\nEuiBj3/o22KLDnTrfCqlfqOUmqOUGqmUmgI9Pms4gPcuzFr0NaVUTOD7cXLgpVGBn4cGfv+SUuqv\nZ73lTwBGK6VeCdTPx6HH1v2uO8e9pHpAuukFAA+c9fOewPZmAFsC/x4LPSAKAEDyVaVUNPT6EvEA\nsqGnGgXdpSR6zQ+gv3w2AzAArAHw87N+b4YeYBod+NkDYHZgnxjoKYKroR9eKPqYPHDy8tLd8wl9\nu/Rd6MGLdQB2A5gVuLgQ/e9aABnQPcSEXuMF0Bdt/wl93oa27kyyWCl1K3TAsRD6Qv0hkufPjOnU\nZb8OiBBCCCEuPpftLRghhBBCXLwkABFCCCFEn5MARAghhBB9TgIQIYQQQvQ5CUCEEEII0eckABFC\nCCFEn5MARAghhBB9TgIQIYQQQvQ5CUCEEEII0eckABFCCCFEn5MARAghhBB9TgIQIUS/UEolK6VO\nK6V+ddZrs5RSbqXUzf1ZNiFE75OH0Qkh+o1Sah6AjwHMApAPIBfARySf6teCCSF6nQQgQoh+pZR6\nG8AcAF8BuBrAdJLe/i2VEKK3SQAihOhXSikbgIMA0gBMJXm4n4skhOgDMgZECNHfRgO4Aro9GtnP\nZRFC9BHpARFC9BullBnATgB7oceAPAngapJV/VowIUSvkwBECNFvlFKvAbgTwEQADgCZABpJ3t6f\n5RJC9D65BSOE6BdKqZsALATwQ5It1FdDDwC4QSn1aP+WTgjR26QHRAghhBB9TnpAhBBCCNHnJAAR\nQgghRJ+TAEQIIYQQfU4CECGEEEL0OQlAhBBCCNHnJAARQgghRJ+TAEQIIYQQfU4CECGEEEL0OQlA\nhBBCCNHnJAARQgghRJ+TAEQIIYQQfU4CECGEEEL0uf8Pjtv/uhMsOucAAAAASUVORK5CYII=\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x106eb1810>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "import scipy.sparse as sparse\n",
    "import scipy.sparse.linalg as linalg\n",
    "\n",
    "# Compute Heat Equation Solution using Crank-Nicholson\n",
    "# Spatial discretization\n",
    "m = 100\n",
    "x = numpy.linspace(-1.0, 1.0, m)\n",
    "delta_x = 2.0 / (m - 1.0)\n",
    "print \"delta_x = %s\" % delta_x\n",
    "\n",
    "# Time discretization - Choose \\Delta t based on accuracy constraints\n",
    "C = 0.5\n",
    "delta_t = C * delta_x\n",
    "t = numpy.arange(0.0, 1.0, delta_t)\n",
    "N = len(t)\n",
    "print \"delta_t = %s\" % delta_t\n",
    "\n",
    "# Solution array\n",
    "U = numpy.empty((N + 1, m))\n",
    "\n",
    "# Initial and boundary conditions\n",
    "U[0, :] = numpy.exp(-x**2 / 0.2**2)\n",
    "g_0 = lambda t: 0.0\n",
    "g_1 = lambda t: 0.0\n",
    "\n",
    "# Build solving matrix\n",
    "r = numpy.ones(m) * delta_t / (2.0 * delta_x**2)\n",
    "A = sparse.spdiags([-r, 1.0 + 2.0 * r, -r], [-1, 0, 1], m, m).tocsr()\n",
    "\n",
    "# Build matrix for the right hand side computation\n",
    "# Note that we also have to deal with boundary conditions in the actual loop\n",
    "# since they could be time dependent\n",
    "B = sparse.spdiags([r, 1.0 - 2.0 * r, r], [-1, 0, 1],  m, m).tocsr()\n",
    "\n",
    "# Time stepping loop\n",
    "for n in xrange(len(t)-1):\n",
    "    # Construct right-hand side\n",
    "    b = B.dot(U[n, :])\n",
    "    b[0] += delta_t / (2.0 * delta_x**2) * (g_0(t[n]) + g_0(t[n+1]))\n",
    "    b[-1] += delta_t / (2.0 * delta_x**2) * (g_1(t[n]) + g_1(t[n+1]))\n",
    "    \n",
    "    # Solve system\n",
    "    U[n+1, :] = linalg.spsolve(A, b)\n",
    "\n",
    "# Plot a few solutions\n",
    "colors = ['k', 'r', 'b', 'g', 'c']\n",
    "fig = plt.figure()\n",
    "axes = fig.add_subplot(1, 1, 1)\n",
    "for (i, n) in enumerate((0, 1, 2, 3, 4)):\n",
    "    axes.plot(x, U[n, :], colors[i], label='t=%s' % numpy.round(t[n], 4))\n",
    "    axes.set_xlabel(\"x\")\n",
    "    axes.set_ylabel(\"u(x,t)\")\n",
    "    axes.set_title(\"Solution to Heat Equation using CN\")\n",
    "    axes.set_xlim([-1,1])\n",
    "axes.legend()\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "This leads to the question of how we consider stability with two varying parameters, $\\Delta t$ and $\\Delta x$.  The method of lines separates the problem into the consideration of the spatial and temporal problems which is immensely helpful (and we will continue to use this approach).  This however does not tell the complete story as some terms from each approximation may cancel each other out.  This can happen when the Taylor series and the appropriate substitutions from the PDE and its derivatives negate one another."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Stiffness and the Heat Equation\n",
    "\n",
    "Recall that the largest eigenvalue of the discrete system for $u_{xx} = f(x)$ behave as $\\lambda_m = -4 / \\Delta x^2$ while the smallest is $\\lambda_1 \\approx -\\pi^2$.  The stiffness ratio then is approximately\n",
    "$$\n",
    "    \\frac{\\lambda_m}{\\lambda_1} \\approx \\frac{4 \\pi^2}{\\Delta x^2} \\rightarrow \\infty ~~~ \\text{as} ~~~ \\Delta x \\rightarrow 0.\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "This stiffness is due to the nature of the heat equation.  The action of the equation is quick for high-frequency data and slow on low-frequency data.  We can see this via a Fourier analysis of the original equation, if we assume $g_0(t) = g_1(t) = 0$ then the solution to the heat equation goes as\n",
    "$$\n",
    "    u(x,t) = \\sum^\\infty_{j=1} \\hat{u}_j(t) \\sin (j \\pi x).\n",
    "$$\n",
    "To find the coefficients $\\hat{u}_j(t)$ we plug this series into the original PDE to find\n",
    "$$\n",
    "    \\hat{u}'_j(t) = -j^2 \\pi^2 \\hat{u}_j(t)\n",
    "$$\n",
    "leading to solutions of the form\n",
    "$$\n",
    "    \\hat{u}_j(t) =  \\hat{u}_j(0) e^{-j^2 \\pi^2 t}.\n",
    "$$\n",
    "Here we see how the original data $\\hat{u}_j(0)$, the initial condition, is broken up into its Fourier components with the higher frequencies damped out much faster in time than the lower frequency components."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "If we desire the solution to the heat equation over large time periods, say to study what the steady-state might be, we would be in trouble if using time discretization that does not allow for large time steps.  If we choose a discretization that does not have a stability limitation we only need to worry about the accuracy of the method.  For instance, if we wanted the same order of accuracy in space and time we might choose $\\Delta t \\approx \\Delta x$ which we can only do in the instance where we do not have a stability limitation."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Convergence\n",
    "\n",
    "We now turn to the question as to how for a given point $(x_i,t_n)$ that our approximation $U^n_i$ is converging to the true solution $u(x_i, t_n)$.  Note now that we have both $\\Delta t$ and $\\Delta x$ that we want to go to zero.  This in essence creates a sequence of grids in space and time denoted by $(\\Delta t_1, \\Delta x_1)$, $(\\Delta t_2, \\Delta x_2)$, etc."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "It turns out the relationship between $\\Delta t$ and $\\Delta x$ that needs to hold for convergence to occur is the same as the stability result we found before.  It is sometimes useful then to think of the convergence criteria as a rule relating $\\Delta t$ and $\\Delta x$ so in essence we only have one parameter to vary."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "While we are at it let's generalize this to a class of methods that can be written as\n",
    "$$\n",
    "    U^{n+1} = B(\\Delta t) U^n + b^n(\\Delta t).\n",
    "$$\n",
    "for $B(\\Delta t) \\in \\mathbb R^{m\\times m}$ on a grid with $\\Delta x = 1 / (m + 1)$ and $b^n(\\Delta t) \\in \\mathbb R^m$.  Here we let $\\Delta t \\rightarrow 0$ and determine $\\Delta x$ from the stability or accuracy relationship between $\\Delta t$ and $\\Delta x$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "As an example, the forward Euler method presented can be written as \n",
    "$$\n",
    "    U^{n+1} = U^n + \\Delta t A U^n \\Rightarrow     B(\\Delta t) = I + \\Delta t A, \\quad b^n(\\Delta t) = 0\n",
    "$$ \n",
    "where $A$ is the tridiagonal discretization the arises from a second order, centered difference approximation.  \n",
    "\n",
    "See if you can figure out what the Crank-Nicholson method would be (in $B(\\Delta t)$)."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "For Crank-Nicholson we have\n",
    "$$\n",
    "    B(\\Delta t) = \\left( I - \\frac{\\Delta t}{2} A \\right )^{-1} \\left( I + \\frac{\\Delta t}{2} A \\right ).\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "We now turn to a formal definition of convergence but to do so we need some additional definitions of stability and consistency to show convergence.\n",
    "\n",
    "A linear method of the form\n",
    "$$\n",
    "    U^{n+1} = B(\\Delta t) U^n + b^n(\\Delta t)\n",
    "$$\n",
    "is *Lax-Richtmyer stable* if, for each time $T$, there is a constant $C_T > 0$ such that\n",
    "$$\n",
    "    ||B(k)^n|| \\leq C_T\n",
    "$$\n",
    "for all $\\Delta t > 0$ and $n \\in \\mathbb Z$ for which $\\Delta t n \\leq T$.\n",
    "\n",
    "*Lax Equivalence Theorem* - A consistent linear method of the same form is convergent if and only if it is Lax-Richtmyer stable."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "The basic idea behind these results are similar to those we saw when looking at Euler's method.  Applying the general linear form to the true solution we find\n",
    "$$\n",
    "    u(x, t_{n+1}) = B u(x, t_{n}) + b(t_n) + \\Delta t \\tau(x, t_n)\n",
    "$$\n",
    "where $u$ is a vector evaluated at the spatial points defined by $x \\in \\mathbb R^m$.  Subtracting this expression by the original linear scheme we find\n",
    "$$\n",
    "    U^{n+1} - u(x, t_{n+1}) = B (U^{n} - u(x, t_{n})) - \\Delta t \\tau^n \\\\\n",
    "    E^{n+1} = B E^{n} - \\Delta t \\tau^n.\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "After $N$ time steps then we have\n",
    "$$\n",
    "    E^N = B^N E^0 - \\Delta t \\sum^N_{n=1} B^{N - n} \\tau^{n-1}.\n",
    "$$\n",
    "Using an appropriate norm we then have the relationship\n",
    "$$\n",
    "    ||E^N|| \\leq ||B^N || ||E^0|| + \\Delta t \\sum^N_{n=1} ||B^{N - n}||  ||\\tau^{n-1}||.\n",
    "$$\n",
    "\n",
    "If the method is Lax-Richtmyer stable we then know that for $N \\Delta t \\leq T$\n",
    "$$\n",
    "    ||E^N|| \\leq C_T ||E^0|| + T C_T \\max_{1 \\leq n \\leq N} ||\\tau^{n-1}||.\n",
    "$$\n",
    "As $\\Delta t \\rightarrow 0$ then this error goes to $0$ as long as the method is consistent ($\\tau \\rightarrow 0$) and $E^0 \\rightarrow 0$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "To make this more concrete consider again the forward Euler discretization where in the 2-norm we know\n",
    "$$\n",
    "    ||B(\\Delta t)||_2 \\leq 1\n",
    "$$\n",
    "provided $\\Delta t / \\Delta x^2 \\leq 1 / 2$.  This implies Lax-Richtmyer stability and therefore the method is convergent.\n",
    "\n",
    "Similarly for the Crank-Nicholson method we see that the method is Lax-Richtmyer stable for any $\\Delta t$ and $\\Delta x$ choice as the eigenvalues of $B(\\Delta t)$ in this case is\n",
    "$$\n",
    "    \\lambda = \\frac{1 + \\Delta t \\lambda_p / 2}{1 - \\Delta t \\lambda_p / 2}.\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Note finally that for the methods we have considered so far we have had $||B|| \\leq 1$ which is called *strong stability*.  In reality Lax-Richtmyer stability is weaker than this and is true if an $\\alpha$ can be found such that\n",
    "$$\n",
    "    ||B(\\Delta t)|| \\leq 1 + \\alpha \\Delta t.\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Von Neumann Analysis\n",
    "\n",
    "An alternative to the method of lines analysis above is to use Fourier analysis to understand how different numerical modes of the method evolve in time, called *von Neumann analysis*. This generally limits this analysis approach to constant coefficient, linear PDEs but can be an immensely powerful way to analyze a method's stability properties more easily.  For this analysis we also generally analyze the PDE as a *Cauchy problem* to eliminate the issues associated with boundary conditions."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Using the exponential form of the Fourier transform we know that in general the eigenfunctions of a spatial derivative are transformed to algebraic relationships since\n",
    "$$\n",
    "    \\partial_x e^{i \\xi x} = i \\xi e^{i \\xi x}.\n",
    "$$\n",
    "Similarly we know that a discretized version of this eigenfunction\n",
    "$$\n",
    "    W_j = e^{i j \\Delta x \\xi}\n",
    "$$\n",
    "for translation-invariant finite difference operators."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "For instance let's apply this grid function to the centered, second order finite difference approximation to the first derivative:\n",
    "$$\\begin{aligned}\n",
    "    D_0 W_j &= \\frac{e^{i (j+1) \\Delta x \\xi} - e^{i (j-1) \\Delta x \\xi}}{2 \\Delta x} \\\\ \n",
    "    &= e^{i j \\Delta x \\xi} \\frac{e^{i \\Delta x \\xi} - e^{-i \\Delta x \\xi}}{2 \\Delta x} \\\\\n",
    "    &=\\frac{i}{\\Delta x} \\sin(\\Delta x \\xi) e^{i j \\Delta x \\xi} \\\\\n",
    "    &=\\frac{i}{\\Delta x} \\sin(\\Delta x \\xi) W_j.\n",
    "\\end{aligned}$$\n",
    "We then know that W_j is an eigenfunction of $D_0$ with a corresponding eigenvalue of $\\frac{i}{\\Delta x} \\sin(\\Delta x \\xi)$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "One important note about these eigenvalues can be shown by expanding the eigenvalues in a Taylor series to find\n",
    "$$\n",
    "    \\frac{i}{\\Delta x} \\sin(\\Delta x \\xi) = \\frac{i}{\\Delta x} \\left( \\Delta x \\xi - \\frac{1}{6} \\Delta x^3 \\xi^3 + \\cdots \\right ) = i \\xi - \\frac{i}{6} \\Delta x^2 \\xi^2 + \\cdots\n",
    "$$\n",
    "which as $\\Delta x \\rightarrow 0$ agrees with the continuous eigenvalues."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Now suppose that we have another grid function $V_j$ defined at $x_j = j \\Delta x$ for $j = 0, \\pm 1, \\pm 2, \\ldots$.  Assume that $V_j$ is an $\\ell_2$ function in the sense\n",
    "$$\n",
    "    ||U||_2 = \\left( \\Delta x \\sum^\\infty_{j=-\\infty} |U_j|^2 \\right )^{1/2} < \\infty.\n",
    "$$\n",
    "If this is true we can then take the Fourier transform of the grid function such that\n",
    "$$\n",
    "    V_j = \\frac{1}{\\sqrt{2 \\pi}} \\int^{\\pi/\\Delta x}_{-\\pi / \\Delta x} \\hat{V}(\\xi) e^{ij \\Delta x \\xi} d\\xi\n",
    "$$\n",
    "where the Fourier coefficients are\n",
    "$$\n",
    "    \\hat{V}(\\xi) = \\frac{\\Delta x}{\\sqrt{2 \\pi}} \\sum^\\infty_{j=-\\infty} V_j e^{-i j \\Delta x \\xi}.\n",
    "$$\n",
    "Due to Parseval's relation we also know that $||\\hat{V}||_2 = ||V||_2$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Turning back to our original goal, showing stability, we know we need to somehow show that\n",
    "$$\n",
    "    ||U^{n+1}||_2 \\leq (1 + \\alpha \\Delta t) ||U^n||_2.\n",
    "$$\n",
    "Using Perseval's relation we know\n",
    "$$\n",
    "    ||\\hat{U}^{n+1}||_2 \\leq (1 + \\alpha \\Delta t) ||\\hat{U}^n||_2.\n",
    "$$\n",
    "Since we can transform away the discrete spatial operators we can then get at these results more easily than with the original form of the relation.  For instance\n",
    "$$\n",
    "    \\hat{U}^{n+1}(\\xi) = g(\\xi) \\hat{U}^n(\\xi)\n",
    "$$\n",
    "where now the factor $g(\\xi)$ gives the *amplification factor* for a particular wave number $\\xi$.  If we can show that\n",
    "$$\n",
    "    |g(\\xi)| \\leq 1 + \\alpha \\Delta t\n",
    "$$\n",
    "where $\\alpha$ is independent of $\\xi$ then we would have\n",
    "$$\n",
    "    |\\hat{U}^{n+1}| \\leq (1 + \\alpha \\Delta t) |\\hat{U}^n|\n",
    "$$\n",
    "for all $\\xi$ and therefore\n",
    "$$\n",
    "    ||\\hat{U}^{n+1}||_2 \\leq (1 + \\alpha \\Delta t) ||\\hat{U}^n||_2.\n",
    "$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Example - Forward Euler\n",
    "\n",
    "Let's consider how our original discretization of the heat equation looks within the framework just developed.  The method was\n",
    "$$\n",
    "    U_j^{n+1} = U^n_j + \\frac{\\Delta t}{\\Delta x^2} (U^n_{j+1} - 2 U^n_j + U^n_{j-1} ).\n",
    "$$\n",
    "See if you can derive $g(\\xi)$ and therefore the stability criteria."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Setting $U^n_j = e^{i j \\Delta x \\xi}$ we have\n",
    "$$\\begin{aligned}\n",
    "    U_j^{n+1} &= U^n_j + \\frac{\\Delta t}{\\Delta x^2} (e^{i \\Delta x \\xi} U^n_j -2 U^n_j + e^{-i \\Delta x \\xi} U^n_j) \\\\\n",
    "    &= \\left(1 + \\frac{\\Delta t}{\\Delta x^2} \\left(e^{i \\Delta x \\xi} -2+ e^{-i \\Delta x \\xi} \\right) \\right ) U^n_j \\\\\n",
    "    &= g(\\xi) U^n_j.\n",
    "\\end{aligned}$$\n",
    "Rewriting the amplification factor slightly we have\n",
    "$$\n",
    "    g(\\xi) = 1 + 2 \\frac{\\Delta t}{\\Delta x^2} (\\cos(\\xi \\Delta x) - 1)\n",
    "$$\n",
    "that, since $-1 \\leq \\cos (\\xi \\Delta x) \\leq 1$ for all $\\xi$ we can bound $g(\\xi)$ as \n",
    "$$\n",
    "    1 -4 \\frac{\\Delta t}{\\Delta x^2} \\leq g(\\xi) \\leq 1 ~~~\\forall \\xi.\n",
    "$$\n",
    "We therefore know the method is stable if\n",
    "$$\n",
    "    \\frac{4 \\Delta t}{\\Delta x^2} \\leq 2\n",
    "$$\n",
    "as we found before."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "### Example - Crank-Nicholson\n",
    "\n",
    "Again substituting the function $U^n_j = e^{ij\\Delta x \\xi}$ into the method\n",
    "$$\n",
    "    U^{n+1}_j = U^n_j + \\frac{\\Delta t}{2 \\Delta x^2} (U^n_{j-1} - 2 U^n_{j} + U^n_{j+1} + U^{n+1}_{j-1} - 2 U^{n+1}_{j} + U^{n+1}_{j+1})\n",
    "$$\n",
    "leads to\n",
    "$$\n",
    "    U^{n+1}_j = U^n_j + \\frac{\\Delta t}{2 \\Delta x^2} \\left[ \\left(e^{i \\Delta x \\xi} - 2 + e^{-i\\Delta x \\xi} \\right) U^n_{j}+ \\left(e^{i \\Delta x \\xi} - 2 + e^{-i\\Delta x \\xi} \\right) U^{n+1}_{j} \\right ]\n",
    "$$\n",
    "and therefore\n",
    "$$\n",
    "    g(\\xi) = 1 + \\frac{\\Delta t}{2 \\Delta x^2} \\left(  e^{i \\Delta x \\xi} - 2 + e^{-i\\Delta x \\xi} \\right ) (1 + g(\\xi))\n",
    "$$\n",
    "noting that $U^{n+1}_j = g(\\xi) U^n_j$ by assumption.\n",
    "\n",
    "Solving this for the amplification factor leads to\n",
    "$$\n",
    "    g = \\frac{1+ \\frac{z}{2}}{1 - \\frac{z}{2}}\n",
    "$$\n",
    "where\n",
    "$$\n",
    "    z = \\frac{\\Delta t}{\\Delta x^2} \\left (e^{i \\Delta x \\xi} - 2 + e^{-i\\Delta x \\xi} \\right ) = \\frac{2 \\Delta t}{\\Delta x^2} (\\cos(\\xi \\Delta x) - 1).\n",
    "$$\n",
    "Observing that $z \\leq 0$ for all $\\xi$ we then conclude that the method is stable regardless of the choice of $\\Delta t $ and $\\Delta x$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Multiple Spatial Dimensions\n",
    "\n",
    "We can of course continue our analysis by considering multiple spatial dimensions.  For the heat equation in 2 spatial dimensions we have\n",
    "$$\n",
    "    u_t = u_{xx} + u_{yy}\n",
    "$$\n",
    "with appropriate two-dimensional initial conditions and boundary conditions."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Using the discrete form of the Laplacian discretization we derived before we can write for instance a Crank-Nicholson method for this PDE as \n",
    "$$\n",
    "    U^{n+1}_{ij} = U^n_{ij} + \\frac{\\Delta t}{2} \\left (\\nabla^2_{\\Delta x} U^n_{ij} + \\nabla^2_{\\Delta x} U^{n+1}_{ij} \\right)\n",
    "$$\n",
    "assuming that $\\Delta x = \\Delta y$.  In general this forms a system of equations that must be solved that has the structure $A U^{n+1}_{ij} = b$.  To construct the system of equations rewrite the method above as\n",
    "$$\n",
    "    \\left(I - \\frac{\\Delta t}{2} \\nabla^2_{\\Delta x} \\right ) U^{n+1}_{ij} = \\left(I + \\frac{\\Delta t}{2} \\nabla^2_{\\Delta x} \\right ) U^{n}_{ij}\n",
    "$$\n",
    "so that we have\n",
    "$$\n",
    "    A = I - \\frac{\\Delta t}{2} \\nabla^2_{\\Delta x} \n",
    "$$\n",
    "and\n",
    "$$\n",
    "    b = \\left(I + \\frac{\\Delta t}{2} \\nabla^2_{\\Delta x} \\right ) U^{n}_{ij}.\n",
    "$$\n",
    "We can then use our methods for solving the resulting large, sparse linear system at every time step to evolve the system."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "In terms of the stability of this method we can compute the eigenvalues of $A$ to find\n",
    "$$\n",
    "    \\lambda_{p,q} = 1 - \\frac{\\Delta t}{\\Delta x^2} ((\\cos(p \\pi \\Delta x) -1) + (\\cos(q \\pi \\Delta x) - 1))\n",
    "$$\n",
    "using our knowledge of the eigenvalues of $\\nabla^2_{\\Delta x}$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "With these in hand we know a lot about how hard this problem will be to solve.  For instance we know that the largest (in magnitude) eigenvalue will go as $\\mathcal{O}(\\Delta t / \\Delta x^2)$ and the one closest to the origin will go as $\\mathcal{O}(\\Delta t) + 1$ leading to a condition number for $A$ on the order $\\mathcal{O}(\\Delta t / \\Delta x^2)$.  This is actually nice for us as now $\\Delta t$ also effects the condition number of the matrix while before when considering this problem it was only $\\mathcal{O}(1 / \\Delta x^2)$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Application of the iterative methods we examined earlier at this stage should work well.  Note that for an initial guess we can use the previous time-step's answer or an explicit time step to extrapolate a guess for the solution."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "### Dimensional Splitting\n",
    "\n",
    "Another approach to discretization of multiple spatial dimensions is to break up the problem into multiple single-spatial dimensional problems.  In other words we would solve a two step process as\n",
    "$$\\begin{aligned}\n",
    "    U^\\ast_{ij} = U^n_{ij} + \\frac{\\Delta t}{2} (D^2_x U^n_{ij} + D^2_x U^\\ast_{ij}) \\\\\n",
    "    U^{n+1}_{ij} = U^\\ast_{ij} + \\frac{\\Delta t}{2} (D^2_y U^\\ast_{ij} + D^2_y U^{n+1}_{ij}).\n",
    "\\end{aligned}$$\n",
    "This in effect allows the quantity $U$ to diffuse in the x-direction first and then independently in the y-direction."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Does this work though?  \n",
    "\n",
    "Ignoring boundary conditions this works as well as the coupled approach from above as $\\Delta t \\rightarrow 0$!  This comes from the fact that the operators $\\partial_{xx}$ and $\\partial_{yy}$ commute with each other, a fact we will come back to when considering more general splitting approaches."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "What about the boundary conditions though?\n",
    "\n",
    "Due to the two step process we have introduced another needed set of boundary conditions for $U^\\ast$ that need to be specified.  In general what should be used is problem dependent and can be non-trivial to produce.  For instance you might think of the process above as taking a half time-step in one direction and so therefore the boundary values should be evaluated at $t_n + \\Delta t / 2$."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "subslide"
    }
   },
   "source": [
    "Another splitting approach which partially addresses the boundaries is the alternating direction implicit method defined by\n",
    "$$\\begin{aligned}\n",
    "    U^\\ast_{ij} = U^n_{ij} + \\frac{\\Delta t}{2} (D^2_y U^n_{ij} + D^2_x U^\\ast_{ij}) \\\\\n",
    "    U^{n+1}_{ij} = U^\\ast_{ij} + \\frac{\\Delta t}{2} (D^2_x U^\\ast_{ij} + D^2_y U^{n+1}_{ij})\n",
    "\\end{aligned}$$\n",
    "which more directly demonstrates the idea that we are predicting the solution in each direction at time $t_n + \\Delta t /2$ so here it is consistent to use this as the boundary condition."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "slideshow": {
     "slide_type": "slide"
    }
   },
   "source": [
    "## Alternative Discretization Strategies\n",
    "\n",
    "A number of alternatives can of course be used to solve parabolic PDEs.  Here we have concentrated on using either forward Euler or trapezoidal rule for the time discretization and the centered, second order spatial discretizations but either of these can be replaced by other approaches, some of which may be advantageous for the particular problem."
   ]
  }
 ],
 "metadata": {
  "celltoolbar": "Slideshow",
  "kernelspec": {
   "display_name": "Python 2",
   "language": "python",
   "name": "python2"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.13"
  },
  "latex_envs": {
   "bibliofile": "biblio.bib",
   "cite_by": "apalike",
   "current_citInitial": 1,
   "eqLabelWithNumbers": true,
   "eqNumInitial": 0
  }
 },
 "nbformat": 4,
 "nbformat_minor": 0
}