{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "###### Content under Creative Commons Attribution license CC-BY 4.0, code under MIT license (c)2014 L.A. Barba, C.D. Cooper, G.F. Forsyth." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "# Spreading out" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "You've reached the fourth module of the open course [**\"Practical Numerical Methods with Python\"**](https://openedx.seas.gwu.edu/courses/course-v1:MAE+MAE6286+2017/about), titled *Spreading out: Parabolic PDEs*. We hope that you are enjoying the ride of [#numericalmooc](https://twitter.com/hashtag/numericalmooc) so far!\n", "\n", "We introduced finite-difference methods for partial differential equations (PDEs) in the [second module](https://github.com/numerical-mooc/numerical-mooc/tree/master/lessons/02_spacetime), and looked at convection problems in more depth in [module 3](https://github.com/numerical-mooc/numerical-mooc/tree/master/lessons/03_wave). Now we'll look at solving problems dominated by diffusion.\n", "\n", "Why do we separate the discussion of how to solve convection-dominated and diffusion-dominated problems, you might ask? It's all about the harmony between mathematical model and numerical method. Convection and diffusion are inherently different physical processes.\n", "\n", "The titles of the course modules are meant to spark your imagination: \n", "\n", "* _Riding the wave_—imagine a surfer on a tall wave, moving fast towards the beach ... convection implies transport, speed, direction. The physics has a directional bias, and we discovered that numerical methods should be compatible with that. That's why we use _upwind_ methods for convection, and we pay attention to problems where waves move in opposite directions, needing special schemes.\n", "\n", "* _Spreading out_—now imagine a drop of food dye in a cup of water, slowly spreading in all directions until all the liquid takes a uniform color. [Diffusion](http://en.wikipedia.org/wiki/Diffusion) spreads the concentration of something around (atoms, people, ideas, dirt, anything!). Since it is not a directional process, we need numerical methods that are isotropic (like central differences)." ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [ { "data": { "text/html": [ "" ], "text/plain": [ "" ] }, "execution_count": 1, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from IPython.display import Image\n", "Image(url='http://upload.wikimedia.org/wikipedia/commons/f/f9/Blausen_0315_Diffusion.png')" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Parabolic PDEs" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "You already met the simplest parabolic PDE—the [1-D diffusion equation](https://nbviewer.jupyter.org/github/numerical-mooc/numerical-mooc/blob/master/lessons/02_spacetime/02_03_1DDiffusion.ipynb)—in module 2. Its main feature is that it has a second-order derivative in space. Here it is again:\n", "\n", "$$\n", "\\frac{\\partial u}{\\partial t} = \\alpha \\frac{\\partial^2 u}{\\partial x^2}\n", "$$\n", "\n", "Check out the article on [parabolic PDEs](http://en.wikipedia.org/wiki/Parabolic_partial_differential_equation) in Wikipedia. Now compare with the diffusion equation above, with the two independent variables here being $x, t$. You'll see that with no mixed derivatives, and only one second-order derivative (in the spatial variable $x$), it satisfies the condition of a parabolic PDE. Work it out on a piece of paper if you need to.\n", "\n", "In the previous module, discussing hyperbolic conservation laws, we learned that solutions have characteristics: information travels along certain paths on space-time phase space. In contrast, parabolic equations don't have characteristics, because any local change in the initial condition will eventually affect the entire domain, although its effect will be felt at smaller intensity with longer distances. This is typical of diffusion processes.\n", "\n", "In this first lesson of the module, we first review the 1D diffusion equation and then take a deeper look into the issue of boundary conditions. In the next notebook, we'll introduce _implicit discretizations_ for the first time, which will take us to the land of linear solvers. In the third lesson we'll graduate to two dimensions—more boundary condition and stability issues will come up. We'll then study 2D implicit methods, and go into Crank-Nicolson method: perhaps the most popular of them all. _Enjoy!_" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Heat conduction" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Heat conduction is a diffusive process. Let's remind ourselves of the heat equation in one spatial dimension:\n", "\n", "$$\n", "\\begin{equation}\n", "\\frac{\\partial T}{\\partial t} = \\alpha \\frac{\\partial^2 T}{\\partial x^2}\n", "\\end{equation}\n", "$$\n", "\n", "Here, $\\alpha$ is the thermal diffusivity, a property of the material, and $T$ is the temperature.\n", "\n", "In the [third lesson of module 2](https://nbviewer.jupyter.org/github/numerical-mooc/numerical-mooc/blob/master/lessons/02_spacetime/02_03_1DDiffusion.ipynb), we discretized the diffusion equation with a forward-time, centered-space scheme, subject to the following stability constraint:\n", "\n", "$$\n", "\\begin{equation}\n", "\\alpha \\frac{\\Delta t}{(\\Delta x)^2} \\leq \\frac{1}{2}\n", "\\end{equation}\n", "$$\n", "\n", "Let's look into it more deeply now, using a 1D temperature-evolution problem." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Problem set up" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Say we have a graphite rod, with [thermal diffusivity](http://en.wikipedia.org/wiki/Thermal_diffusivity) of $\\alpha=1.22\\times10^{-3} {\\rm m}^2/{\\rm s}$, length $L=1{\\rm m}$, and temperature $T=0{\\rm C}$ everywhere. At time $t=0$, we raise the temperature on the left-side end, $x=0$, to $T=100{\\rm C}$, and hold it there. *How will the temperature evolve in the rod?*\n", "\n", "As usual, start by importing some libraries and setting up the discretization. We'll begin by using a spatial grid with 51 points and advance for 100 time steps, using a forward-time/centered scheme." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "![graphite-rod](./figures/graphite-rod.png)\n", ".\n", "#### Figure 1. Graphite rod, temperature fixed on ends." ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "import numpy\n", "from matplotlib import pyplot\n", "%matplotlib inline" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [], "source": [ "# Set the font family and size to use for Matplotlib figures.\n", "pyplot.rcParams['font.family'] = 'serif'\n", "pyplot.rcParams['font.size'] = 16" ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [], "source": [ "# Set parameters.\n", "L = 1.0 # length of the rod\n", "nx = 51 # number of locations on the rod\n", "dx = L / (nx - 1) # distance between two consecutive locations\n", "alpha = 1.22e-3 # thermal diffusivity of the rod\n", "\n", "# Define the locations along the rod.\n", "x = numpy.linspace(0.0, L, num=nx)\n", "\n", "# Set the initial temperature along the rod.\n", "T0 = numpy.zeros(nx)\n", "T0[0] = 100.0" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Remember the forward-time, centered-space discretization? You should work it out on a piece of paper yourself (if you can't do it without looking it up, it means you need to do this more!).\n", "\n", "$$\n", "\\begin{equation}\n", "\\frac{T_{i}^{n+1}-T_{i}^{n}}{\\Delta t}=\\alpha\\frac{T_{i+1}^{n}-2T_{i}^{n}+T_{i-1}^{n}}{\\Delta x^2}\n", "\\end{equation}\n", "$$\n", "\n", "To obtain the temperature at the next time step, $T^{n+1}_i$, from the known information at the current time step, we compute\n", "\n", "$$\n", "\\begin{equation}\n", "T_{i}^{n+1}=T_{i}^{n}+\\frac{\\alpha\\Delta t}{\\Delta x^2}(T_{i+1}^{n}-2T_{i}^{n}+T_{i-1}^{n})\n", "\\end{equation}\n", "$$\n", "\n", "Check the [third notebook of module 2](https://nbviewer.jupyter.org/github/numerical-mooc/numerical-mooc/blob/master/lessons/02_spacetime/02_03_1DDiffusion.ipynb), if you need to refresh your memory!\n", "\n", "The following function implements this numerical scheme:" ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [], "source": [ "def ftcs(T0, nt, dt, dx, alpha):\n", " \"\"\"\n", " Computes and returns the temperature along the rod\n", " after a provided number of time steps,\n", " given the initial temperature and thermal diffusivity.\n", " The diffusion equation is integrated using forward \n", " differencing in time and central differencing in space.\n", " \n", " Parameters\n", " ----------\n", " T0 : numpy.ndarray\n", " The initial temperature along the rod as a 1D array of floats.\n", " nt : integer\n", " The number of time steps to compute.\n", " dt : float\n", " The time-step size to integrate.\n", " dx : float\n", " The distance between two consecutive locations.\n", " alpha : float\n", " The thermal diffusivity of the rod.\n", " \n", " Returns\n", " -------\n", " T : numpy.ndarray\n", " The temperature along the rod as a 1D array of floats.\n", " \"\"\"\n", " T = T0.copy()\n", " sigma = alpha * dt / dx**2\n", " for n in range(nt):\n", " T[1:-1] = (T[1:-1] +\n", " sigma * (T[2:] - 2.0 * T[1:-1] + T[:-2]))\n", " return T" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We are all set to run! First, let's use a time step `dt` that satisfies the stability constraint." ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [], "source": [ "# Set the time-step size based on CFL limit.\n", "nt = 100 # number of time steps to compute\n", "sigma = 0.5\n", "dt = sigma * dx**2 / alpha # time-step size\n", "\n", "# Compute the temperature along the rod.\n", "T = ftcs(T0, nt, dt, dx, alpha)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "##### Note\n", "-----\n", "In the function `ftcs`, we *copy* the array `T0`; it ensures that the value of `T0` remains unchanged for us to reuse.\n", "\n", "Confused? Take a look at [Lesson 0](./04_00_Python_Function_Quirks.ipynb) for a more in-depth explanation.\n", " \n", "-----\n", "\n", "Now plot the solution!" ] }, { "cell_type": "code", "execution_count": 7, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAaQAAAEbCAYAAACV0PCVAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMi4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvhp/UCwAAIABJREFUeJzt3XecVNX9//HXZzu9F+lFBZEqFiwYLFijiTH2FhOD+SZffzFf49dYYzQmRmMSY/JVUaNRY+wlsRsVewEUERBQBKTD0pcFtn1+f9y77jhum52ZvbOz7+fD+7g755575zPHZT577z33HHN3REREopYTdQAiIiKghCQiIhlCCUlERDKCEpKIiGQEJSQREckISkgiIpIRIk1IZraLmT1vZup7LiLSykWWkMzsBOAdYGgD9fLN7Fozm29mc8zsbTM7qI66F5rZPDObbWYfmNm30xG7iIikXpRnSL8AJgNvNVDvFuAUYKK7jwT+BrxkZmNjK5nZL4ArgOPcfTRwCfCImR2d8shFRCTlLKqRGswsz90rzOwe4Bx3t1rqDAM+Ac5z97/FlM8Flrj7seHrzsAK4CZ3vyqm3jPAIHffM72fRkREkhXZGZK7VzSi2gmAAa/Glb8CHGFm7cPXRwFt66g3wsyGJxOriIikX6b3shsNVAFfxJUvBvKAETH1qsvj68VuFxGRDJUXdQAN6A6UuntlXPmWcN0tph7A1gbqfYWZTQGmAOQWtR8/dECf5KLNElVVVeTkZPrfKs1DbVFDbVFDbVFj4cKFxe7eIxXHyvSEVJev3W9qSj13nwpMBSjcZTd/8KV3GTegS7KxtXjTpk1j0qRJUYeREdQWNdQWNdQWNcxsaaqOlekpvhhoa2a5ceUdwvX6mHqx5XXVq9fDM5YlHKCIiKRGpiek2QQx9o8rHwxUEPTAq64HMKiWerHb6/Xvj1ZRWtaYvhYiIpJqmZ6QngAcmBRXfgjwortX3zN6Hiito948d5/f0BsV5kLJzgqemb0qqYBFRKRpMjohufsCgns8l5pZdwAz+z7B6A6Xx9TbBFwL/MTMhoT1DgeOBH7emPdqXxDcbtJlOxGRaETWqcHMbiQYqWFA+HpWuGlfdy+LqXoB8EvgLTMrJ+hJd4S7z4o9nrtfb2Y7gKfNrAKoBE5y9+caE0+7PCO/IJfpSzayaF0JQ3u0b3gnERFJmSgfjL3Y3ce6e1d3t/DnsXHJCHcvd/cr3H2Yu4909/3d/Y06jvkndx/h7qPdfZy7P9nYeHIMvjl6F0BnSSIiUcjoS3bN7ZR9gr4Tj81cQXllVcTRiIi0LkpIMfYa0IWhPdpRXLKTV+evjTocEZFWRQkphpl9eZaky3YiIs1LCSnOd/bqR16O8eqCdazdsiPqcEREWg0lpDjd2xdy2B49qaxyHv1gedThiIi0GkpItai+bPfIjOVENV+UiEhro4RUi4N360GvjoUsLt7G+4s3RB2OiEiroIRUi7zcHL47vh8AD01X5wYRkeaghFSHk/cOLts9O2cVW3aURxyNiEj2U0Kqw8Bu7ZgwpCs7yqv416yVUYcjIpL1lJDqceo+AwB4cHr8DOoiIpJqSkj1OGpkbzq1yWfOii3MWbE56nBERLKaElI9ivJzOWFcXwD++b7OkkRE0kkJqQGn7Rtctntq1krNJisikkZKSA0Y1rsD4wZ0pmRnBU9rNlkRkbRRQmqE06o7N+iynYhI2ighNcI3x+xC+8I8PvhiEwvXbI06HBGRrKSE1AhtC/I4fmwfQJ0bRETSRQmpkaov2z3x4Qp2lFdGHI2ISPZRQmqkUf06sWefjmwqLeeFuaujDkdEJOsoISXg1LALuC7biYiknhJSAr41tg9t8nN59/MNfL6uJOpwRESyihJSAjoW5XPs6F0ATUshIpJqSkgJOm3fYFqKR2cup6yiKuJoRESyhxJSgvYa0IXderZn/bYy/vPJmqjDERHJGkpICTIzdW4QEUkDJaQm+M64vhTk5fDmZ8Us21AadTgiIllBCakJurQr4OiRvXGHh2eoc4OISCooITVR9WyyD89YRkWlOjeIiCRLCamJJgzpyuDu7VizZSfTFqyLOhwRkRZPCamJzIxT9gm6gD84XZ0bRESSlfEJycz2NrPnzOwTM/vYzN43s5Pi6uSb2bVmNt/M5pjZ22Z2ULpjO3GvfuTlGK/MX8vqzTvS/XYiIlktoxOSmQ0CXgaKgVHuPgr4G/CwmR0XU/UW4BRgoruPDOu8ZGZj0xlfjw6FTB7RiyqHR9S5QUQkKRmdkIBjgI7AH9y9AsDdbwO2AKcDmNkwYApwvbuvC+vcCXwOXJfuAKufSXpoxjKqqjzdbycikrUyPSFVhOu86gIzM4K4c8OiEwADXo3b9xXgCDNrn84AJ+7anb6d27B843be/Kw4nW8lIpLVMj0hPQjMB64ws/ZmlgNcBhQCt4V1RgNVQHzPgsUEiWxEOgPMyVHnBhGRVMira4OZlQNNuQa1yt0HNj2kGu6+xcwOA+4muI9UAmwGJrv7a2G17kCpu8dP47olXHer6/hmNoXgch89evRg2rRpTYqzX3kVBrwwZzX/euFVOhZak46TKUpKSprcFtlGbVFDbVFDbZEedSYkggRwZ4LHM+DkpocTd7Dg/tDLwLNAV2BHePzHzexMd3+ugVjq5e5TgakAw4YN80mTJjU51mdWT+fl+WtZVTSA478xtMnHyQTTpk0jmbbIJmqLGmqLGmqL9KgvIa129ysTPaCZHZtEPPGuBToDP3X37WHZg2Z2CvB3M+tDkDjbmllu3FlSh3C9PoXx1OnUfQfw8vy1PDR9GVMOHkJwq0tERBqrvntIzzfxmE3drzajgOUxyajaQqAHMBiYTfA5+sfVGUzQKeKTFMZTp0OG9aBXx0I+L97Ge4s3NMdbiohklToTkrtf2pQDNnW/OqwFdjGz+DO5gQT3tzYCT4Q/T4qrcwjwortvTWE8dcrLzeHkvcPODZqWQkQkYUn1sgt7vaXTLQTPIV0TdvfGzA4BvgM85O7F7r6A4D7QpWbWPazzfWAocHma4/uKk/fujxk8O2c1m0rLmvOtRURavHoTipn1DYfqed/Mrq2lyuFm9h8z2z0dwbn7o8BRwP7APDObA9xMkGi+F1P1AuAR4K2wzg+BI9x9Vjriqkv/rm05aNfulFVU8cSHK5rzrUVEWryGznBOAMYBLxEMxxNvLrANmGZmfVMcGwDu/oK7H+Lue7j7SHcf7e43uvvOmDrl7n6Fuw8L6+zv7m+kI56GnBaO3PDAe1/grpEbREQaq6GEdCxwgbtf7u6L4ze6+wp3/xZwL/C/6QiwpTl8j1706FDIp2tLePdzdW4QEWmshhJSX+CORhznGuAbyYfT8hXk5Xx5lnTfu0uiDUZEpAVpKCFV1TICwte4eynB8D0CnLHfAPJyjBfmrtG0FCIijZTKXnL5KTxWi9arYxFH7tmbyirngfeWRh2OiEiL0FBCWmxmDV6KM7ODAX3zxjhr/2A4vwfeX0ZZhU4eRUQa0lBCuhl4wMwm1lUhnJn1H8CNqQyspdtvcFd279We4pKdPD93ddThiIhkvHoTkrtPI3jo9DUz+9DMbjWzq83sl+HPHwKvATfHjL4tgJlx9v6DALjvnSVRhiIi0iI0eA/J3X8FnEgwId75wFXAL8OfDTje3X+fziBbqhPG9aVDYR7Tl2xk3sotDe8gItKKNapTg7s/4e6jCbqBHxgu/dx9rLs/k84AW7J2hXmcOL4foC7gIiINSaiXnbuvcvd3wmVluoLKJmdOCDo3PPnhSjZvL484GhGRzFVnQjKzq5tywKbul6127dmeA3ftxvbySh6duTzqcEREMlZ9Z0jHN/GYTd0va1V3brj/3aVUVWl8OxGR2tQ3Y2xvM7uURkwFHqddEvFkpcOG96RPpyIWF2/jzc+KOXj3HlGHJCKScepNSMB1TTimHrqJk5ebwxkTBnLjCwu4950lSkgiIrWo75JdfhOXfmmMt8U6ZZ/+FOTm8PL8tSzbUBp1OCIiGae+Kcwrm7honJxadG9fyDGjeuMO/3hPU5yLiMRL9xTkEuPsAwYB8ND0L9hR3uAg6iIirYoSUjMa178zI/t2ZGNpOU/PXhV1OCIiGUUJqRmZGWdPGARofDsRkXhKSM3suDF96NQmn4+Wb+ajZZuiDkdEJGMoITWzNgW5nLJPfwDufUdTSImIVEs4IZnZAWZ2mZldF74+yMz0MGwCztxvIGbw79kr2bCtLOpwREQyQqMTkpm1M7PngDeBXwPnhpuOBz42s0Epjy5LDejWlkm796CsooqHZyyLOhwRkYyQyBnS9UAX4DhgCLAWwN3/l2COpN+mPLosVjN531IqNb6diEhCCekYYLK7P+PuS4AvH4B19/uB3VMcW1b7xu49GNC1LSs2befV+WujDkdEJHKJJKRyd99az/aOyQbTmuTkGGeFcyXd+646N4iIJJKQSs3sW7VtMLMjAfVhTtBJe/ejMC+H1xeuY3HxtqjDERGJVCIJ6TrgcTN72cyuBbqb2S/M7J/AU8A1aYkwi3VuW8C3xvYBgrmSRERas0YnJHd/DDgLGAZcTjCq92+Ag4Bz3P3faYkwy1V3bnh4xjJKyyqiDUZEJEIJPYfk7g8A/YFRwCHheoC7P5SG2FqFkX07sdeAzmzdUcFTs1ZGHY6ISGQSeQ5pnZmtAAa7+1x3fy1cp73PspmdaGavm9lMM/vczGaY2Vkx2/PN7Fozm29mc8zsbTM7KN1xpUr1WdK97yylGZpTRCQjJXKGlAPs7e6fpyuY2pjZzwguEZ7u7uMJLhkuBA6LqXYLcAow0d1HAn8DXjKzsc0Za1MdPao33dsX8MmqLby3eEPU4YiIRCKRhDTX3eucM8HMvpmCeOKPOYjggdzz3X05gLuXAz8H/hLWGQZMAa5393VhnTuBz2naFOzNrjAvlzPDLuC3v7Yo4mhERKKRSEK608x+bmZ17ZOOXnZnAZvcfXpsobuvdPcZ4csTAANejdv3FeAIM2ufhrhS7pz9B9EmP5dXF6xj/uotUYcjItLsEklIZwEXAavDezQvxi7A0DTEdwCwJLyH9EZ4j+htM/t+TJ3RBKNGxM8LvhjIA0akIa6U69Ku4MtRwKe+1qxXRUVEMkJeAnUnALNiXreJ227Jh/M1/YFBBJfoTiAYP+9E4J9mtou7Xwd0B0rdPX5O8OrTjG51HdzMphBc7qNHjx5MmzYtpcEnas+8KnIMnpq1ggM7bqBbm2hmBykpKYm8LTKF2qKG2qKG2iI9EklIn7n7xLo2mtmHKYgnXhHQDrjY3VeHZY+Y2anAZWb2x3r2bTBBuvtUYCrAsGHDfNKkSUmGm7w3t3zIU7NWMreiN1dNiubkbtq0aWRCW2QCtUUNtUUNtUV6JPIn+HENbK8zWSWheuy8WXHlHwJtCS7HFQNtzSw3rk6HcL0+DXGlzZSDhwDw4PQv2FSquZJEpPVIZKSG5Q1UuSDJWGozP1zHx1kZUz47XPePqzMYqAA+SUNcabNnn04cvHsPSssquU8zyopIK5LIg7EH1LcA30tDfNXDEY2OKx8JbAfmAk8ADkyKq3MI8GIDI5RnpB+FZ0n3vL2EHeXxt8ZERLJTIveQ3iT44m9ODwEXAr82s2+6e4mZTQS+C1zj7tuABWY2FbjUzJ529+KwF95Q4Mxmjjcl9h/ajVF9O/Hxis08MnP5l9NUiIhks0QS0iLgR3Fl7YDhBNOY35yqoKq5e6WZHQX8DphrZjuAncB/u/sdMVUvAH4JvGVm5QT3no5w9/h7Ty2CmfGjbwzlJw98wB2vf87p+w4gNycdnRhFRDJHIgnpOnd/uZbyf5nZ3cCfgEdSE1YNd98A/LCBOuXAFeGSFY4a2ZsBXdvyxYZSnpuzim+O7hN1SCIiaZVIp4Z76tm2jq/f55Ek5OYYPwzvJd3+2ucadFVEsl4inRr61LL0NbORZnYlwTNDkkInje9Ht3YFfLxiM28valG910VEEpbIc0jLgWVxyxfAR8AvCEbklhQqys/lewcMAuA2DboqIlkukXtIy/j6AKqVBMP5vOfu+hM+Dc7afyC3vraINz4tZu7KzezZp1PUIYmIpEUiCekxd78rbZFIrTq3LeDUfQbwt7cWc/trn/Pn08ZFHZKISFokcsnuqdoKzWw/M7vNzAanKCaJ84OJg8nLMZ75eBXLNpRGHY6ISFokkpDqGsh0NbAZuD/5cKQ2fTu34fgxfaiscu56c3HU4YiIpEUiCanWJzPdfam7XwK0iInwWqop36gZdHXDNg26KiLZp957SGZ2HDWjfPcLh+j5WjWgH5Cf4tgkxvDeHZk0rAfTFqzj3neWcOHhu0cdkohISjXUqWFX4Ojw5w4xP8cqJ5idtd7RFCR5P/rGUKYtWMff317C+QcPpU1B/IwbIiItV72X7Nz9j+7e3937A59U/xy3DHH3w9z9rWaKudXab3BXxvTvzMbSch6esSzqcEREUiqRe0jfTlsU0ihmxn+F95LueONzKiqrIo5IRCR1EhnLrt7Z4szsueTDkYZMHtGbwd3bsXzjdp6ds7rhHUREWohEHozFzHYBTgWGAIVxm/dOVVBSt9wc44cTh3DZEx9z27RFHDd6F8w0NYWItHyNTkhmtg/wH6CMoIPDunBTd4LkpD/Xm8l39urLH15ayLxVW3jzs2Im7tYj6pBERJKWyD2k64Hz3L0HMR0cCCbpuxz4SzoClK8rys/l3AMHARp0VUSyRyIJqbu7f20CPnevcvffAoelLixpyJkTBtKuIJe3PlvPx8s3Rx2OiEjSEklIO2NfmFmHmJ8Lgd1SFZQ0rFObfE7fbwAAf37l04ijERFJXiIJaauZnWPBHfQZwONmdqyZHQs8AaxKS4RSpx8ePIQ2+bm8NG8NH3yxMepwRESSkkhCug04ExgKXBuu/wX8G9gfuCjl0Um9enYo4gcHBYOs/+65+ZrmXERatESeQ3rE3Se7+2fu/gUwGvgm8B1gN3d/M11BSt2mfGMIndvm897iDbz+aXHU4YiINFmjE5KZvR8ugwHcvcTdn3P3J91d34QR6ViUz48nDQXghufnU1WlsyQRaZkSuWS3B/ATd9eEPBnm7P0H0btjEXNXbuGZj3UrT0RapkQS0mx3n17XRjPbKwXxSBMU5edy4eFBJ8ebXlxAuca4E5EWKJGE9KSZnVzP9juTDUaa7rvj+zGkezuWrC/loekaCVxEWp5EEtLuwJ/M7EMze8DMpsYuQP80xSiNkJebw8+PHAbAzS9/yvayyogjEhFJTCKDq54NrCUYu25iLds71FImzejokb0Z1bcTH6/YzN1vL+bHk3aNOiQRkUZL5AxpXh0T9H05gV+6gpTGMTMuOWo4ALdNW8Tm0vKIIxIRabxEEtL5DWw/JZlAJDUO2q07B+7ajS07KrhVA6+KSAuSyIOx71f/bGZ9zGx0+HNOuH1h6sOTpvjfI4OzpLvfWszqzTsijkZEpHESOUPCzE41s4XAMqB6htj7zez31kyzxJnZG2bmZjaoOd6vJRrTvzNHj+zNzooqDbwqIi1GIiM1nAb8HfiIYCy7reGmS4DBwC9SHt3XYzgROKiObe3N7C9mtsDM5pnZi2a2Z7pjylQXHTGMHIOHpi9jcfG2qMMREWlQImdIlwCHu/tJ7n41UArg7ssIeuB9N/Xh1TCzAuC3wLN1VHkEGAeMc/cRwHvANDPrm864MtWuPdtz0vj+VFY5N724IOpwREQalEhCKnD3N2rb4O7bSKwLeVP8hGDai6+NFmFmk4GjgCvdvTQsvhbIBS5Lc1wZ66eH70ZBXg5Pz17FnBWaxE9EMlsiCanIzHrUtsHMepLG55DMrCtwMXUnlxOBcuDLEcfdvQx4K9zWKvXp3IZz9h8IwA0v6CxJRDJbQkMHAW+Y2VlmNhTIMbNeZnYk8AzwcFoiDFwF3O/uS+rYPhpYGSahWIuBXmHCbJV+PGlXOhTm8frCdby9SIOyi0jmSuQy22XACIKODQ4YsDLc9hxB0kg5M9sVOJlgtPG6dKemk0WsLeG6G8EoE/HHngJMAejRowfTpk1LKtZMNXmA8fincMXD07lyQhENdYgsKSnJ2rZIlNqihtqihtoiPRqdkNx9B3CUmR0FHE7wJV8MvOTuL6YpPoAbgOvdvSk3Qer95nX3qcBUgGHDhvmkSZOa8BaZb5/9K3j9xlf5fHMZZT334Mg9e9dbf9q0aWRrWyRKbVFDbVFDbZEeCT2HBODuz7v7z939XHe/OJ3JyMwmAiOBWxuoWkzt97Cqy9anMq6Wpl1hHhccGkxPceMLC6jUJH4ikoESfTC2s5ldZWbPmdlH4fpKM+ucpvgmE/SUm25ms8xsFvCjcNuzYdkxwGygT9g1PNZgYI27f+1yXWtz2r4D6NelDZ+tLeHxD5ZHHY6IyNck8mDsXsAigntFowkSxRjgauAzMxub6uDc/Sp3H+ruY6sX4LZw8zFh2bPA40A+cEBMvAXh68dSHVdLVJCXw0VH7A7An/7zKTvKNT2FiGSWRM6Q/go8DQx0977uPtLd+wADCR5W/b90BNgY4WXDF4BrzaxtWHw5UAX8Jqq4Ms3xY/oyvHcHVmzazj/e+yLqcEREviKRhDTI3c9x9xWxhe6+HPgeMCiFcX2NmR1T2yW7mConEVy6m2VmnxCcHU2Kj7c1y80xLg4n8bvllU/ZsC2+l7yISHQSSUh1zovt7lXA0tgyM+vY1KDqeI9nw0t0vd3d3H1EeAmvevtWd/+Ju+/u7nu4+2R3n5vKGLLBocN7csDQbmwqLefXT8+LOhwRkS8lkpD+GXZo+EpXcTPLM7MrCbtPx5iWbHCSembGb04YRWFeDo9/uII3Pl0XdUgiIkBiCekYguF7VpvZu+Fo2u8Cq4H/Bk4Ly140sxeBoWmIV1JgUPd2/L/Dgm7glz8xh+1l6uAgItFLJCFNAGYRTFVeDrQJ158AC8PXsUuzzI8kTTPl4CEM792BLzaU8qf/aG5FEYleIkMHfebuExtb2cw+bEI80kzyc3O4/sTRnPB/b3Hnm4s5bkwfRvbtFHVYItKKJXKGdFyCx060vjSzsf07c87+g6isci59/GMqKquiDklEWrFGJ6Swe3edwvtGja4vmeHnRw6jT6ciPl6xmXveXhJ1OCLSiiU0qZ6ZHQwcAvQmGKkh1rhUBSXNp31hHr8+YSTfv2cGN724sMGBV0VE0qXRCcnMriYYNmg7sJFgCopYaZugT9Lr0OG9OHb0LjwzexVXPDmH7w3W4Ksi0vwSuYf0A+B4d2/n7v3cvX/sQtDbTlqoXx43go5Feby2cB3vrlI3cBFpfokkpC/c/el6th+RbDASnZ4dirj82GAOxAfm72SjhhUSkWaWSEK618wOqWf7X5MNRqJ18t792W9wV7aWwXXP6oRXRJpXIr3sbge+HY7ScL+ZTY1dCDo7SAtmZvz2O6PIy4FHZy7n7c+Kow5JRFqRROZDuhq4ABgFTAKOjlvUqSELDOnRnuOH5gNw6RMfa94kEWk2iVyy+xFwrDo1ZL9jBuczrFcHlq4v5eaXP406HBFpJRJJSEvd/bl6tqtTQ5bIyzF+e+IozGDq65/zyaotUYckIq1AIgnpCTM7tJ7t6tSQRfYa0IWzJwykssr5xWOzqazSs0kikl6JjNQwFLjAzJYBnwGlcdvVqSHL/PzIYbwwdw0fLd/Mve8s4dwDB0cdkohksUTOkM4GqoC+wDdQp4as16Eon2u/PRKAG19YwIpN2yOOSESyWSIJaV58RwZ1ash+k0f04uiRvSktq+TKJ+fgrkt3IpIeiSSk8xvYfkoygUjm+tXxe9KhKI9X5q/l4RnLog5HRLJUIg/Gvl/9s5n1MbPR4c854XZNO5qlenYs4pfH7QnAlU/NZfbyTRFHJCLZKJEzJMzsVDNbCCwDqruA329mvzczTVmexb47vh+n7zeAsooqfnTfTNaX7Iw6JBHJMomM1HAa8HfgI+BaYGu46RJgMPCLlEcnGeWXx41g3IDOrNy8gwv++aFmmBWRlErkDOkS4HB3P8ndrybs9u3uywh64H039eFJJinMy+XWM8bTvX0Bby9az40vLIg6JBHJIokkpAJ3f6O2De6+jQRnn5WWqXenIv56+l7k5hi3v/45T89eGXVIIpIlEklIRWbWo7YNZtYTPYfUauw3pBuXHxPMnfS/j85mweqtDewhItKwRBLSk8AbZnaWmQ0Fcsysl5kdCTwDPJyWCCUjnXvgIL49tg+lZZX86P6ZbN5eHnVIItLCJZKQLgOWEHRsWAiMBlYCzwJrgKtSHZxkrmDupNHssUtHFhdv438emkWVxrsTkSQk8hzSDnc/CjgG+ANBYvoDcLS7f9PdNed1K9OmIJfbzxxPpzb5vDx/Lbe88lnUIYlIC1ZvRwQzqz7r+czdHwBw9+eB59MdmLQMA7q15eZTx3LuPdP508sLGdWvI4cO7xV1WCLSAjV0hvRfgIVLJMxsrJndYWYzzewjM5tnZn+O72BhZu3N7C9mtiCs86KZ7RlV3K3JpGE9uWjy7rjDTx+cxZLibVGHJCItUEMJabW7/8rd/9Es0dTuQaArcLC7jwEmE0wG+JaZtYmp9wgwDhjn7iOA94BpZta3uQNujX48aVeOGNGLrTsqOP++mWzbWRF1SCLSwjSUkBp9l9rMLk0ylvpcEj7rhLuvAG4EdiO4n4WZTQaOAq509+p5mq4Fcgk6Y0ia5eQYN508hiE92rFgzVYueWy2RgYXkYQ0lJAKzKy/mQ1oaAHOSFOMo909/m559dOYXcL1iUA58GZ1hbCTxVvhNmkGHYrymXrWeNoV5PL07FXc9ebiqEMSkRakoYQ0gqCr9+JGLHukI8A6eu/tTnD29nr4ejSwspa6i4Fe4YO70gx27dmBm04eA8Bvn5vP24uKI45IRFoKq++yipmtAm5rzHGAKe7eJ1WB1flGZrnAB8D77v7DsGwhsNPdR8XV/TVwOTDC3b82gaCZTQGmAPTo0WP8ww/r2V6AkpIS2rdvn9QxHl1YxtOfl9MhH64+oA3d2iQ0sHzGSEVbZAu1RQ21RY1DDjlkprvvnYpjNTT+3GrjSfjhAAAVQklEQVR3/1VjDmRmR6Ugnsa4EqgAftaIuvX2DnT3qcBUgGHDhvmkSZOSDi4bTJs2jWTbYuLBzua73+eNT4u5fX4u/zhvAj06FKYmwGaUirbIFmqLGmqL9EhZpwZ3n5BkLA0ys3OBkwkexi2J2VRM7WPpVZetT3ds8lW5OcafTx3Hbj3bs3BNCadOfYc1W3ZEHZaIZLDGdmqodVDV5mRmZwEXAYe6+9q4zbOBPmZWEFc+GFhTS31pBl3aFfDglAkM792BReu2ccrt77By0/aowxKRDNVQQmoPvAbc0Ayx1MnMzqRmPqbVYdk3w3tAAI8D+cABMfsUhK8fa+ZwJUa39oX884cT2LNPR5asL+WUqe+wbENpwzuKSKtTb0Jy90HuPsTdz22ugOKZ2RnAHcA9wOFmdmaYoI4D+oRxvgi8AFxrZm3DXS8HqoDfNHvQ8hVd2hXwwHkTGNOvE8s2bOfUqe+ydL1GcxCRr2oJXZ9uAYoIHoa9L2aZElfvJIJLd7PM7BOCs6NJ4YO0ErFObfO577z92GtAZ1Zs2s4pt7/L5+tKGt5RRFqNjE9I7t7V3a2O5eqYelvd/Sfuvru77+Huk919boShS5yORfnc+4P92HdQV1Zv2cEpU9/ls7Wa3E9EAhmfkCS7tC/M457v78P+Q7qxbutOTrn9Xeav3hJ1WCKSAZSQpNm1Lcjj7nP3YeJu3Vm/rYzTpr7L3JWbow5LRCKmhCSRKMrP5Y6z9+bQ4T3ZWFrO6Xe8x+zlm6IOS0QipIQkkSnKz+W2M8dzxIhebN5ezhl3vMfMpRujDktEIqKEJJEqyMvhr2fsxbGjdmHrzgrOvus9pi/ZEHVYIhIBJSSJXH5uDjefOpZvje3DtrJKzr7rfd5ZpNGeRFobJSTJCHm5Ofzh5LF8Z6++bC+v5Jy73+fed5Zokj+RVkQJSTJGbo7x+++O4ez9B1JWUcVVT83lh/fOZMO22qbEEpFso4QkGSUnx7jmWyP56+l70aEoj/98soajb35dE/2JtAJKSJKRjh29C8/9dCJ7D+zCmi07OePO97jxhfmUV1ZFHZqIpIkSkmSsfl3a8uCUCfy/w3bDgL++uoiTbnuHL9ZrtHCRbKSEJBktLzeH/5m8Ow9O2Z8+nYqYtWwTx/z5DZ6apTFzRbKNEpK0CPsO7sqzP53IUXv2pmRnBT99cBYXPfwRJTsrog5NRFJECUlajM5tC7j1zL34zQmjKMrP4bEPlvPNP7+hIYdEsoQSkrQoZsbp+w3g3/99EMN7d2DJ+lJOvPVtbn9tEVVVemZJpCVTQpIWabdeHXjyJwfyvQMGUV7p/Pa5+Zxz9/uaHl2kBVNCkharKD+Xq4/fkzvP3psubfN549NiDr1pGlc+OYfVm3dEHZ6IJEgJSVq8w0f04vkLD+bbY/tQUeXc9+5SDr7xVa59eh7FJTujDk9EGkkJSbJCr45F/OnUcbx44cEcM6o3ZRVV3PXmYg6+4VVueH4+m0o1/JBIplNCkqyyW68O/N8Z43nm/x3E4Xv0pLSskv+btoiJv3uVm//zKVt3lEcdoojUQQlJstKefTpx5zn78MSPD+CgXbuzdWcFf/zPQibe8Cq3vbaI0jI9vySSaZSQJKuNG9CF+8/bjwenTGCfQV3YVFrO9c/N5+AbpnH3W4vZUV4ZdYgiElJCklZhwpBuPHz+/tz7/X0Z068TxSU7+dW/53HI76dx15uLWbdVnR9EopYXdQAizcXMOHj3HkzcrTv/+WQtN724gPmrt3Lt0/O47pl5HLhrd741ti9H7tmLDkX5UYcr0uooIUmrY2ZMHtGLw4b35MV5q3l05gpeW7iWNz4t5o1Pi7nsiRwO36Mnx4/pS06lRn8QaS5KSNJq5eQYR43chaNG7sKm0jKem7OaJz9cwftLNvDsx6t59uPVtMmD4zZ+xLfG9mXCkG7k5ljUYYtkLSUkEYKBW0/bdwCn7TuAlZu28/TslTw1ayVzV27h4RnLeXjGcnp2KOS4MX341tg+jOrbCTMlJ5FUUkISidOncxumHDyUKQcP5YGnX2F1QV+e+mglS9eXctebi7nrzcUM7NaWCYO7MX5QF/Ye2IXB3dspQYkkSQlJpB592udw+qRh/Gzy7sxatomnZq3k6dlBclq6vpSHZiwDoFu7AvYaGCSnvQd1ZWTfjhTm5UYcvUjLooQk0ghmxrgBXRg3oAtXHLsHH6/YzMylG5m+ZAMzl26kuKSMl+at4aV5awAoyMthTL9OjB/Ylb0HdmH8wC50aVcQ8acQyWxKSCIJysvN+TI5nTdxCO7O0vWlzFi6kZlLNzBjyUY+XVvC9CUbmb5k45f7De3RjuG7dGRwt3YM6t6OweHSpW2+LveJkGUJycx6An8E9g6LPgYudPfl0UUl2c7MGNQ9SDLfHd8PgE2lZXzwRZCQZi7ZyEfLN7Fo3TYWrdv2tf07FuV9mZyqE9WgMGl1aqPnoaT1yJqEZGYFwEvAQmBPwIG/Aa+a2Th3L4kyPmldOrct4NDhvTh0eC8Ayiqq+GTVFhatK2FJ8TYWry8N1sXb2LKjgo+Wb+aj5Zu/dpxu7Qro16UN3dsX0q19QbgupPuXPwfrLm0L1CVdWrysSUjAOcBo4AR3rwAws0uAFcB/ATdGGJu0cgV5OYzp35kx/Tt/pdzdKS4pY8n6IDktKd7GkvXb+HzdNpauL2X9tjLWb2t46owcg67tCujWLkhS3doX0r4wj/aFubQrzKN9YR7tqpeC+LJcOhTmU5Sfo0uHEqlsSkgnAl+4++fVBe6+2szmhduUkCTjmBk9OhTSo0Mh+wzq+pVt7s6aLTtZuXk7xVt3sn5b2ZfrdSU7v/x5fclONpaWU1xSRnFJGaxpWiw5FszCW5CXQ2FeDgV5ORTk5lCQF5RtL9nOXYveC8tit+eQl2Pk5uSQl2vk5lj42sg1Izc3eJ1jYXluTlCeE3z+HDNyDHLMsHBdXWZfKQMzMIzwv2A7NeUWlhP3ujrRVufb2LT71RxsdZR/dZ/PN1XSedmmWtuxrpSejlxvdb5by5RNCWk0weW6eIuBw5o5FpGkmRm9OxXRu1NRg3XLK6vYGCaq9SVlbNhWxtadFWwLl5Ivf6788ueSnRWUllV++fPOiipKyyopLat7BPSFG4tT+RFbtnffijqCrJNNCak7MLOW8i1AWzNr4+7bYzeY2RRgSvhyp5nNSXOMLUV3QN88AbVFDbVFDbVFjWGpOlA2JaS61HlO6+5TgakAZjbD3feuq25roraoobaoobaoobaoYWYzUnWsbJoPqRjoUEt5B6A0/uxIREQySzYlpNnAoFrKBxM8jyQiIhksmxLS48BAMxtUXWBmvYA9gMcasf/U9ITVIqktaqgtaqgtaqgtaqSsLcw9OyYgCx+MnQF8ApwBVAF3AQcBejBWRCTDZc0ZkruXAZOBSmAeQWLqCByqZCQikvmy5gxJpLmZ2a+By4Fz3f2eiMMRSSkz2wW4GzjS3ZvlCdysOUOqjZn1NLN/mNmCcHnUzPo1ct98M7vWzOab2Rwze9vMDkp3zOnS1LYws13M7Fdm9r6ZfRi2x+NmNqo54k6HZH4vYo7RD/ifNIXYbJJtCzMbY2ZPmdkH4e/GAjO7IZ0xp0uS3xe7mNmdYRvMNrO5ZnaZmbXI0XHN7ATgHWBoE/e/0MzmhW3xgZl9u1E7untWLkAB8BHwCMHzVrnA34FPgfaN2P82gpEfeoSvzwO2A2Oj/mzN2RYx7dA/fF0UHqcUGBX1Z2vu34uY49wLPE0wiO/3ov5cUbQFcACwEjgwpuwnwJKoP1tztgXBH/YfAnOAbmHZuPD74vdRf7Ymtsd7wG7APUGaSGjfXxA8hjM0fD0ZKAeObnDfqD94Ghv0h+GXxZCYst4E95gubmDfYQSdIr4fVz4XeCbqz9bMbXEbcF5c2dDweLdE/dmasy1i6u8FLAKObOEJKZnfCyO4T3txXHl+Y754Mm1Jsi1GhPv+LK78KWBV1J+tie2RF64TSkhAZ2AbcE1c+TPA3Ib2z+ZLdrUOtkrQ4eHEBvY9geAf3Ktx5a8AR5hZ+1QG2gySaYv/JpjGI9bKcN0lZRE2n2TaotofCO4d7Ux9eM0qmbY4CBhOcJb4JXcvd/fnUh1oM0imLSrCdfzIN9VnWi2OhzMmNMFRQFtq/+4cYWbD69s5mxPSaIKBVeMtBhq6/zGa4Azpi1r2zSP4i6glaXJbuHuFu1fFFe8erqclH1qzS+b3gvBaeBvgoRTHFYVk2uKAcN0pvIc0N7xf8Gsza5PSKJtHMv9GFgIPAOdXPwdpZocSXKq6JaVRZr7R4Tq+LRfHba9VNiek7sDWWsq/HGy1gX1L3T1+2OMt4bpbCuJrTsm0RW2mEFy+vC/ZwCLQ5LYIb1D/DrjIw+sQLVwyvxf9w/U/gevcfU/gTOB7BJeqWppk/42cAzwLfGpmK4EnCWarvja1YWa87uE6vi0b9d2ZzQmpLsl0X8yuyUea8HnCv/xOAU5295Z+ySpWY9rivwiug7+Z7mAi1pi2qJ4T4y53fx/A3WcTJOzJZvaNdAXXzBpsCzMrJLhEtS8wyN37AJOAS83s8vSG12I06rsmmxNSMoOtFhP8VRR//bf6eOtTEF9zSsnAs2Y2hqB32fHuPi+F8TWnJrWFmXUGLgUuSWNszS2Z34vqv4BnxZV/GK73STK25pZMW/yA4J7axe6+AsDdPwB+D1xrZmNTHWwGq56SI74tG/Xdmc0JKZnBVmcTtE3/uPLBBDcwP0k2uGaW9MCzZjaa4DLEqe7+dupCa3ZNbYsJBP/vHzGzWWY2C7gz3HZNWHZVSiNNv2R+L+aH6/jvkMo6yjNdMm1RfY/p07jyhQRnBi0tOSdjdrgeFFc+OG57rVraL00iGj3Yqpn1MrPYtniCoBvnpLhjHgK86O61XWvOZMm0RXUyego4q/pyVfgg4O1pjjsdmtQW7v68u/d397HVC8GzaQBXhWXXNMsnSJ1kfi+eJUg+8TepR4br6akONs2SaYu14XpA3DEHhuuWdkWl0cysWziOaLXnCZ5RnBRX9RBgnrvPpz5R93dPYz/6AoJs/BBBz7gcgmEwvvKgG3AgwT+sW+P2vw1YAHQPX3+flv1gbJPaguCvv3XArQQ3rauXC4FpUX+25v69iDvWJFr2c0jJ/hv5A7AK2C183Tfc98WoP1tztgXBX/9bgBeBDmHZAOAzgufV2kT9+ZJol3uo4zmk8HPvAJ6LK/9F+J0xJHx9OI18MDZrZ4x19zIzmwz8keBZAid4kjp+sNUSYDPBP6xYFwC/BN4ys3KCa+ZHuHv8NfOMl2Rb/Iqg58yPwiXWa2kLOk1S8HuBmfUk+PKpfh7tGjO7kOAB4pTNnpluKWiLiwnuGTxrZpUED8U+RvDvpkVJpi3cfbGZ7QtcDUw3szKCtngBuNZb4OSgZnYjQbf1AeHr6u+9fT0YyBqCP9A3UPNcIgDufr2Z7QCeNrMKggR+kjfi+TQNrioiIhkhm+8hiYhIC6KEJCIiGUEJSUREMoISkoiIZAQlJBERyQhKSCIikhGUkEREJCMoIYmISEZQQhIRzOxqM/PqgWPNLH5g4aYcs3/M8dzMrk5BqJLFsnboIGm9Yob2GUAwzfpHBKMuFxKMsfUkcHvckDCY2e+Aw9x97wTeqzPBuH5PtsRhpeJ5MGhsqo61DBgLYGYaEkYapDMkyTruvjb8Yv1X+Hqsu49x9+HAT4FvAx+Z2fC4Xdfy9WnrG9KZYOy21jTnjUhaKCFJq+LBxGmHAZsIBgVtG7PtJnf/TmTBibRySkjS6oSjFV9FMHz+DwDM7K9m9kV4r2NQdV0z29/MXjOzD83sIzN7zsxOCLedQDAvENRM0jcrvIyHmV1mZu+b2Uwz+9jM/mlmfWOOvXdYv8zM7jGzi83sHTNbaWa3x80zg5l1NrNbzWypmc0Olz+a2eCYOl3N7I6wzsLw/Y9ualuF8W0wsyVmdoyZvWpmq83sCTPraGYHmtnzZrbCzB4xs05NfS+RyOfb0KIlXQv1z+XShmAG2Gdjyr5HMO3AoPB1B2AjcEb42oAbiJkHimBmzFrnRCI4Cxsd/pxLMLXBB0BuXL0lBNMZHBe+HhHGNiWmTgEwA3idcH4eYDeCy4wXhq8Lw+O/C3QMy74bHuuQBtrq6nra6h6CKReuDF/3CtvlfoJpuwF6h3V+XccxHLg66t8JLZm96AxJWiUP5qgppmZWz9oMI7hHtDjcxwmSyqONfJsJ7j473LcSuB0YB9TWaWKNu/87rDuPYIrwSTHbzwLGA5d52BnD3T8FphIknOo644Ar3H1LWOdRgkSW7BxF7YFbwmOuAd4ETgPuCMtWA28QzAwq0iTqZSetmTWwfQGwBnjSzG4BHnL3hcBfGnn8Lmb2JLArQdKovgQ3BHgvru7CuNcbCM5Eqk0O11+ZGtzdr4h5eTjBmcjbcceaA5xtZvnuXt7I2OOtd/dNcfHFl60nmPJbpEl0hiStUtiZoRuwtK467r4V2A94Avg5sCC8J3NgI44/BniVYArrsR70+jsm3FxYyy6lca+rCC7zVesOlLr7znretjthQoq5nzWL4KxlA0EX+KaKj8/rKMtFpIl0hiSt1WSCL89n66vk7kuB88Mpyk8ErgOeM7NB7r6hnl1PIUg817l7RT31GqsYaGtmhfUkpWKCRDY+vEQo0qLoDElaHTMrAq4huDd0Vz31RpnZZRDcc3L3+4GfEXR2GBRWq74EZuE+481sd2rOgmIfCO2dRNgvhevxcTFeYmYXxdTJI+gUEVtnnJndnsR7izQLJSRpVcxsb+AVgpv0x4SdG+rSDbjIzHYL9zXgAGA18ElYZw2wHegXvr4ZmAA8E77+n3DfAuCSJEK/D5gJXGdm7cJjjiQYJeLFuDo3mVmHsE5Xgs4IC5J4b5HmEXU3Py1aUr0APYFZBPdNPPx5FkHPtTcJ7gd1iNvnrwSjNDgwDziP4J7MTcDH4f5zgaeBUXH7nk9wL2oOwf2morB8CvAZQTJ4OXxfD9/nemBoeNyyMNYnwv3eBkrCZRZQEJZ3Bm4L32tW+FkOjYulus4XBEMmzQB+0og2u5paun0T3AfbEMY4iyBJP9GIsqFxx1G3by0NLuauIaZEWrtw4NNfuntDPQ+benwHfuXuV6fj+JIddMlORCA4G1uTrtG+CS5tljS0j7RuOkMSEZGMoDMkERHJCEpIIiKSEZSQREQkIyghiYhIRlBCEhGRjKCEJCIiGUEJSUREMsL/B8liaD7cd1STAAAAAElFTkSuQmCC\n", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# Plot the temperature along the rod.\n", "pyplot.figure(figsize=(6.0, 4.0))\n", "pyplot.xlabel('Distance [m]')\n", "pyplot.ylabel('Temperature [C]')\n", "pyplot.grid()\n", "pyplot.plot(x, T, color='C0', linestyle='-', linewidth=2)\n", "pyplot.xlim(0.0, L)\n", "pyplot.ylim(0.0, 100.0);" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Boundary Conditions" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "In the rod problem above, we stated that the left-hand side of the rod is held to a temperature $T = 100{\\rm C}$. This is an example of a *boundary condition* (BC): a rule that defines how the problem interacts with the borders of the domain. In this case, the domain spans the length of the rod, from $0 \\leq x \\leq 1$.\n", "\n", "There are many types of boundary conditions, and they have an important effect on the solution of the problem. For example, in [module 2, lesson 4](https://nbviewer.jupyter.org/github/numerical-mooc/numerical-mooc/blob/master/lessons/02_spacetime/02_04_1DBurgers.ipynb) on Burgers' Equation, we used a periodic boundary condition to \"connect\" the right-hand and left-hand borders of the domain. \n", "\n", "We need to discuss boundary conditions in a little more detail, and this is good place to do it. Read on!" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Dirichlet boundary" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The rod example above uses a *Dirichlet* BC on the left-hand side. A Dirichlet boundary is one in which the border is held to a specific value of the solution variable.\n", "\n", "What about the right-hand end of the rod $(x=1)$? In the discretization we set up above, the problem hasn't evolved for long enough time for the heat to travel the full length of the rod. Let's increase the number of time steps, `nt`, and see what happens." ] }, { "cell_type": "code", "execution_count": 8, "metadata": {}, "outputs": [], "source": [ "# Increase the number of time steps.\n", "nt = 1000\n", "\n", "# Compute the temperature along the rod.\n", "T = ftcs(T0, nt, dt, dx, alpha)" ] }, { "cell_type": "code", "execution_count": 9, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAaQAAAEbCAYAAACV0PCVAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMi4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvhp/UCwAAIABJREFUeJzt3Xd4FFX3wPHv2VQgFIXQe+9FUBSCJApSFBE7KpZXRH1BgVcRu9gLdrFh7wURUCliIfQOoVfpvUmvIef3x0wkvzVtk93sJjmf59lns3fuzJ69hD2ZmVtEVTHGGGOCzRPsAIwxxhiwhGSMMSZEWEIyxhgTEiwhGWOMCQmWkIwxxoQES0jGGGNCQlATkohUEJEJImJ9z40xppALWkISkR7ATKBWFvUiRORpEVkpIktFZIaIxGVQd4CILBeRxSKyQESuCETsxhhj/C+YZ0gPAh2B6VnUewu4Dminqo2Bj4HfRKR52koi8iDwKNBNVZsCg4ERItLF75EbY4zxOwnWTA0iEq6qySLyKXCLqko6deoBK4DeqvpxmvJlwAZVvdR9XQrYCryiqo+nqTcWqK6qjQL7aYwxxuRW0M6QVDU5G9V6AAJM8ir/E7hERGLc152BohnUaygi9XMTqzHGmMAL9V52TYEUYJNX+XogHGiYpl5quXe9tNuNMcaEqPBgB5CFMsBRVT3tVX7QfS6dph7AoSzq/T8i0gfoA+ApUqJlbNlylIz615XDQiclJQWPJ9T/Vskb1hZnWFucYW1xxurVq/eoaqw/jhXqCSkj2c0amdZT1eHAcICoCnU0+vrXuLxlZZ7p0Zio8LDcxphvJSYmEh8fH+wwQoK1xRnWFmdYW5whIhv9daxQT/F7gKIi4p0dirvPe9PUS1ueUb0MxRYRoiM8jJi/hZs+nM2ewydyFLAxxpicCfWEtBgnxipe5TWAZJweeKn1AKqnUy/t9gwVixBG3NmG8iWimbvhb7oPm87KHQez2s0YY4yfhHpCGgUoEO9VngBMVNXUe0YTgKMZ1Fuuqiuz82ZNKpfkp35taValFFv3H+Oqd2bw2/KdOQ7eGGNM9oV0QlLVVTj3eB4SkTIAIvIfnNkdHklTbz/wNNBXRGq69ToAnYD7fXnPsiWi+a7P+XRvXpEjJ0/T54t5vJO4FltZ1xhjAitonRpEZCjOTA1V3ddJ7qbzVPVkmqr3AE8A00XkFE5PuktUNSnt8VT1BRE5DvwiIsnAaeAaVR3va2zREWG8fl1z6pYrztBfV/HShFWs2XmY569sQnRE4e3sYIwxgRS0hKSqg7JZ7xTOlECPZqPu68DruQwNABGhb0JtapeNYeB3SYxauJX1e44w/OaWlC0e7Y+3MMYYk0ZIX7ILBZ0aleeHu9pQqVQRkjbvp/uw6SzdeiDYYRljTIFjCSkbGlYswZh+bWlV7Sy2HzjO1e/NYNyS7cEOyxhjChRLSNlUJiaKr+5ozdUtK3P8VAr//WoBb/y+xjo7GGOMn1hC8kFUeBhDr27KI10bIAKv/b6aft8s5NhJ75mNjDHG+MoSko9EhDsurMnHt5xLTFQ4Yxdv59r3Z7LjwPFgh2aMMfmaJaQcSqhfllH/bUPVs4uyZOsBLh82jaTN+4MdljHG5FuWkHKhTrnijOnblvNrns2uQye49v2ZjEnaGuywjDEmX7KElEtnFYvki9tbc0PrqpxMTqH/t0kM/XUlKSnW2cEYY3xhCckPIsI8PHtFY57q3ogwj/D2pL+488v5HD6RnUVxjTHGgCUkvxERbr6gOp/ddh4losP5bflOrnpnBpv3HQ12aMYYky9YQvKzuDplGN23LTVji7Fq5yG6vz2dWeuyXI7JGGMKPUtIAVAzNoZR/21L+7qx7Dtykps+nM3XszcFOyxjjAlplpACpGSRCD6+9Vx6x9UgOUV5eNQSnhizlOTTKcEOzRhjQpIlpAAK8wiPXtaQoVc3JTLMw2czN3LLJ3PYf/Rk1jsbY0whYwkpD1zTqgrf9GlNmZhIpq/dyxVvT2ftrkNZ72iMMYWIJaQ80rLa2YzpF0fDCiXYsPcoPd6ewaRVu4IdljHGhAxLSHmoUqki/HD3BXRtUp5DJ5K5/dO5fDBlnc0YbowxWELKc0UjwxnW8xwGdKhDisKz41Zw/4jFnEi2GcONMYWbJaQg8HiEAR3q8s6N51AkIoyRC7bQc/gsdh2yGcONMYWXJaQg6tqkAj/cfQEVS0azYJMtj26MKdwsIQVZo4olGdMvjpZplkf/edG2YIdljDF5zhJSCIgtHsXXd7Tm2lbO8uj3fLPQZgw3xhQ6lpBCRFR4GC9e1ZQnujX8Z8bwPl/M49DxU8EOzRhj8oQlpBAiItzWtgaf3XYeJYtE8PuKXVz5zgw27DkS7NCMMSbgLCGFoLg6ZfipX1vqlI1hza7DdH97OtPW7Al2WMYYE1CWkEJUtdLF+PG/bejQoCwHjp3ilk/m8PG09TaI1hhTYFlCCmHFoyMY3qsVfRNqcTpFeeqX5Tzwgw2iNcYUTJaQQpzHIwzqVJ+3erYgOsLDiPk2iNYYUzBZQsonujWryA93tflnEO3lb01n8Zb9wQ7LGGP8xhJSPtK4kjOI9tzqZ7Hj4HGueW8mY5K2BjssY4zxC0tI+Uxs8Si+6n0+Pc+rwonkFPp/m8Tz41dw2gbRGmPyuZBPSCLSSkTGi8gKEVkiInNE5BqvOhEi8rSIrBSRpSIyQ0TighVzoEWGe3iuRxOe6t6IMI/w/uR13PbpXA4ctUG0xpj8K6QTkohUB/4A9gBNVLUJ8DHwvYh0S1P1LeA6oJ2qNnbr/CYizfM24rwjItx8QXW+vL01ZxeLZMrq3XR/exqrd9pKtMaY/CmkExLQFSgBvKqqyQCq+h5wELgBQETqAX2AF1R1t1vnQ2Ad8Gwwgs5LF9QqzU/92qZZiXY6vy7bEeywjDHGZ6GekJLd5/DUAhERnLjD3KIegACTvPb9E7hERGICHWSwVT6rKCPvbkO3ZhU5cvI0d34xn9d+W22Tsxpj8pVQT0jfAiuBR0UkRkQ8wMNAFPCeW6cpkAJs8tp3PU4ia5hHsQZVkcgw3ry+OQ92qY8IvPHHGu76cj6HTyRnvbMxxoQAyWgqGhE5BeTkT+ztqlotV1H9/zgqAp8A7YHDwAHgP6o62d0+EbhAVYt77dcb+ADoqqrjMzh2H5zLfcTGxrb8/vvv/RV2UC3encx7i05wNBkqxgj9W0RTrlj2//Y4fPgwMTEF/sQyW6wtzrC2OMPa4oyEhIT5qtrKH8cKz2TbHuBDH48nwLU5D8frYM79oT+AccDZwHH3+D+KyE0ZJZo0sWRKVYcDwwHq1aun8fHxuY45FMQD3RKO0OfzeazZdZhn557irRvOoX3d2Gztn5iYSEFpi9yytjjD2uIMa4vAyCwh7VDVx3w9oIhcmot4vD0NlAL6q+oxt+xbEbkO+Mw9e9oDFBWRMFVNO8lb6hnTXj/Gk2/UKFOMUX3bMvC7JH5bvpPbPpnD4M716XNhTZzbcMYYE1oyu44zIYfHzOl+6WkCbEmTjFKtBmKBGsBinM9RxatODZxOESv8GE++EhMVzvs3tWRAhzqkKDw/fiX9v03i2EmbnNUYE3oyTEiq+lBODpjT/TKwC6ggIt5nctVw7m/9DYxyf473qpMATFTVQj0wx+MRBnSoy/u9WlIsMoyfFm3j6vdmsOXvo8EOzRhj/p9c9bJze70F0ls445Cecrt7IyIJwJXAd6q6R1VX4dwHekhEyrh1/gPUAh4JcHz5RqdG5RnVty3VSxdl2baDXD5sOjP+skX/jDGhI9OEIiKV3Kl65ojI0+lU6SAiv4tI3UAEp6o/AJ2BC4DlIrIUeAMn0dyapuo9wAhgulvnDuASVU0KRFz5Vd1yxRnTN472dWPZd+QkvT6aw4dT19mif8aYkJDVGU4PoAXwG850PN6WAUeARBGp5OfYAFDVX1U1QVUbqGpjVW2qqkNV9USaOqdU9VFVrefWuUBVpwYinvyuZNEIPr713H8W/Xtm7AoGfGf3lYwxwZdVQroUuEdVH1HV9d4bVXWrqnYHPgceCESAxv/C3EX/3rvpHIpFhjEmaRtXvjuDzfvsvpIxJniySkiVcAaXZuUpnIGrJh/p3LgCo/u2pUaZYqzYfpBuw6YxZfXuYIdljCmkskpIKV5je9Klqkdxpu8x+UydcsUZ068tHRqUZf/RU9z6yRzGrjtp95WMMXnOn73kIvx4LJOHSkRHMLxXq3/GK41YfYq+Xy/giM2DZ4zJQ1klpPUikuWlOBG5ENjon5BMMKSOV/rg5lYUCYdxS3bQ453prN9zJNihGWMKiawS0hvA1yLSLqMK7sqsXwFD/RmYCY6ODcvx+PlFqF02htU7D3P5sGn8uXJnsMMyxhQCmSYkVU3EGXQ6WUQWisi7IjJERJ5wf14ITAbeSJ192+R/FWI8jO7blk6NynHoeDK3fzaPN35fY+srGWMCKst7SKr6JHAVzoJ4dwKPA0+4Pwtwuaq+HMggTd6LiQrn3RtbMqhTPQBe+301fb6Yz8Hjp4IcmTGmoMpWpwZVHaWqTXG6gbd1H5VVtbmqjg1kgCZ4PB6hb0JtPr71XEpEh/P7ip10HzadVTsK9fSAxpgA8amXnapuV9WZ7mNboIIyoSWhXll+vieO+uWLs37PEa54ezpjkrYGOyxjTAGTYUISkSE5OWBO9zOhrVrpYoz6b1t6tKjEsVOn6f9tEkN+Wsap0zb8zBjjH5mdIV2ew2PmdD8T4opEhvHqtc14unsjIsKET2dsoOfwWew6eDzYoRljCoDMVowtLyIPkY2lwL0Uy0U8JsSJCL0uqE6jSiX575cLmLfxb7q+OY23b2hB65qlgx2eMSYfyzQhAc/m4Jg7chiLyUfOqXoWv9wbR7+vFzBr3T5u+HA2D3Wpz+1xNWyJdGNMjmR2yS4ih4/KAYzXhJAyMVF8eXtr7ryw5j9LWfT7ZqFNOWSMyZHMljA/ncOH3eUuRMLDPDzUtQHv3ugsZTF28XaueHs6f+0+HOzQjDH5TKCXIDeFRJcmFRjTL47aZWNYs+sw3YdNZ8LS7cEOyxiTj1hCMn5Tu2wMY/q25dKmFTh8Ipm7vlzA8+NXkGxdw40x2WAJyfhVsahwhvVswaOXNiDMI7w/eR03fTSbXYesa7gxJnOWkIzfiQi929Xk696tKRMTxax1+7j0zWnMWrc32KEZY0KYJSQTMK1rlmbcvXG0rnE2uw+d4IYPZvFu4l82a7gxJl0+JyQRaSMiD4vIs+7rOBGxwbAmXWVLRPNV79bcHV+LFIUXJ6zkjs/nceCozRpujPn/sp2QRKSYiIwHpgHPALe5my4HlohIdb9HZwqE8DAPgzvX56NbWlEiOpw/Vu7i0remsnjL/mCHZowJIb6cIb0AnAV0A2oCuwBU9QGcNZKe93t0pkC5uEE5xt7bjiaVSrLl72Nc/e5Mvpi1EVW7hGeM8S0hdQU6qupYVd0A/NOXV1W/BOr6OTZTAFU5uyg/3H0BN51flZOnU3hs9FIGfJdkszsYY3xKSKdUNbOV2UrkNhhTOESFh/HMFU144/rmFI0MY0zSNrq/PZ01O23hP2MKM18S0lER6Z7eBhHpBNgNAeOT7s0r8VO/ttQuG8PaXYe5fJgt/GdMYeZLQnoW+FFE/hCRp4EyIvKgiHwDjAGeCkiEpkCrXbY4Y/q25YrmFf9Z+O/R0Us4kXw62KEZY/JYthOSqo4EegH1gEdwZvV+DogDblHVnwMSoSnwikWF89p1zXnmisZEhnn4ctYmrn53Jpv2Hg12aMaYPOTTOCRV/RqoAjQBEtznqqr6XQBiM4WIiHDT+dUYeXcbqpxdhCVbD3Dpm1MZt8QmaDWmsPBlHNJuEdkK1FDVZao62X0OeJ9dEblKRKaIyHwRWSci80SkV5rtESLytIisFJGlIjJDROICHZfxvyaVS/LLPe3o1Kgch04k89+vFvDY6KUcP2WX8Iwp6Hw5Q/IArVR1XaCCSY+IDMS5RHiDqrbEuWS4Grg4TbW3gOuAdqraGPgY+E1EmudlrMY/ShaJ4L2bWjKkW0Miwzx8MWsjV707g/V7jgQ7NGNMAPmSkJapaobXT0TkMj/E433M6jgDcu9U1S0AqnoKuB8Y5tapB/QBXlDV3W6dD4F15GwJdhMCRIRb29Zg5N1tqHp2UZZtO0i3t6bx06JtwQ7NGBMgviSkD0XkfhHJaJ9A9LLrBexX1blpC1V1m6rOc1/2AASY5LXvn8AlIhITgLhMHmlSuSS/3Bv3zxpL936zkId+XGKX8IwpgHxJSL2A+4Ad7j2aiWkfQK0AxNcG2ODeQ5rq3iOaISL/SVOnKc6sEZu89l0PhAMNAxCXyUMloiMY1rOF0wsv3MM3czbZMunGFECS3T4JInIISMqkSjNV9etsDSKyFKgOLME5E9oFXAV8Azyhqs+6yfACVS3utW9v4AOgq6qOz+D4fXAu9xEbG9vy+++/92f4+dbhw4eJiQnNE8uNB0/zTtIJdh5VosLglkZRtKkYHrD3C+W2yGvWFmdYW5yRkJAwX1Vb+eNYvvxPXquq7TLaKCIL/RCPt2igGDBIVXe4ZSNE5HrgYRF5LZN9JauDq+pwYDhAvXr1ND4+PpfhFgyJiYmEcltc1SmZh39cwk+LtjF88Qn+jojlqe6NKRIZ5vf3CvW2yEvWFmdYWwSGL5fsumWxPcNklQupk5t5n5ktBIriXI7bAxQVEe9vo9QzJlumtICJiQrnjeub8/yVTYgK9zBi/hYuHzbN5sIzJp/zZaaGLVlUuSeXsaRnpfvsHefpNOWL3ecqXnVqAMnAigDEZYJMROh5XlVG921LzdhirNl1mG7DpvHd3E22nIUx+ZQvA2PbZPYAbg1AfKnTETX1Km8MHAOWAaMABeK96iQAE7OYodzkcw0qlODnfnFc2aISx0+lMHjkEu75ZiEHjtmKtMbkN77cQ5qG88Wfl74DBgDPiMhlqnpYRNoBVwNPqeoRYJWIDAceEpFfVHWP2wuvFnBTHsdrgqBYVDivXtecuDpleGz0Un5ZvJ2Fm/bzZs/mtKx2drDDM8Zkky8J6S/gLq+yYkB9nGXM3/BXUKlU9bSIdAZeBJaJyHHgBNBPVT9IU/Ue4Alguoicwrn3dImqZtYr0BQwV55TmRZVz+LebxayZOsBrn1/FgM71OHu+NqEebLs42KMCTJfEtKzqvpHOuU/icgnwOvACP+EdYaq7gPuyKLOKeBR92EKsRplijHy7ja8PHEVw6es4+WJq5m2dg+vX9eC8iWjgx2eMSYTvnRq+DSTbbv5930eY4IiMtzDw10b8Nl/zqNMTBSz1u2j8xtT+G35zmCHZozJhC+dGiqm86gkIo1F5DGcMUPGhIz2dWMZ378d7evGsv/oKe74fB5PjLGZw40JVb5csttCxp0ajgO35T4cY/wrtngUn9x6Lh9PX8+LE1by2cyNzF6/j7d6tqBOueJZH8AYk2d8SUib+fcEqqdxpvOZrao2ANWEJI9H6N2uJufXLM093yxk5Y5DdBs2jccva0TP86ogYh0ejAkFviSkkar6UcAiMSbAGlcqyS/3xPHET8v4Yf4WHh61hKlrdvPClU0pWTQi2OEZU+j5MnXQmPQKRaS1iLwnIjX8FJMxAVMsKpyXr2nGG9c3JyYqnPFLd9DljSnM/MtO8I0JNl8SUkYTme4ADgBf5j4cY/JG9+aVGHdvO5pXKcW2A8e54cNZPD9uBSeSrcODMcHiS0JK90K7qm5U1cGAzcVu8pWqpYsy4q4L6H9xHQR4f8o6erw9wyZpNSZIMr2HJCLdODPLd2V3ip5/VQMqA3YR3uQ7EWEeBnasy4V1Yxn4XRLLtx/ksrem8XDXBtx8QbVgh2dMoZJVp4baQBf35+Jpfk7rFM7qrJnOpmBMKGtZ7SzG9W/Hkz8tY8T8LTzx0zL+XLmLHhVTgh2aMYVGpglJVV/DvXckIgtVtUWeRGVMEMREhTP0mmZcVL8sD41awuTVu1mwHopW2cEljcoHOzxjCjxf7iFdEbAojAkhXZpUYEL/C4mrXYZDp6DPF/N5cORijpxIDnZoxhRovsxltzGz7SIyPvfhGBMaypeM5vP/nEfP+pFEhnv4du5mLn1zKgs3/R3s0IwpsHwZGIuIVACuB2oCUV6bW/krKGNCgccjdKoewS2dWzPg2yRW7jjE1e/N5N6L6tA3oRbhYb5cYDDGZCXbCUlEzgV+B07idHDY7W4qg5Ocdvg9OmNCQP3yJRjdty0v/7qKD6et57XfVzN59S5evbY51csUC3Z4xhQYvvyJ9wLQW1VjgRWqWkVVq+As0vcIMCwQARoTCqIjwnj0soZ81bs15UtEs2DTfrq8MZUvZm1ENa8XUjamYPIlIZVR1X8twKeqKar6PHCx/8IyJjS1rV2GCQPacXmzihw7dZrHRi/l5o/nsP3AsWCHZky+50tCOpH2hYgUT/NzFFDHX0EZE8pKFY3kzZ4tePuGcziraART1+zhktem8OOCLXa2ZEwu+JKQDonILeLM1T8P+FFELhWRS4FRwPaARGhMiLq0aQV+HXghHRqU5dDxZP73/SLu+nI+ew6fyHpnY8y/+JKQ3gNuAmoBT7vPPwE/AxcA9/k9OmNCXNni0XxwcyteuropMVHh/LpsJ51em8KEpdbHxxhf+TIOaYSqdlTVtaq6CWgKXAZcCdRR1WmBCtKYUCYiXNuqChMGtKNNrdLsPXKSu76cz/++S+LAsVPBDs+YfCPbCUlE5riPGgCqelhVx6vqaFXdE7gQjckfKp9VlC9vb82Qbg2JjvDw48KtdH59ClPX7M56Z2OMT5fsGgB9VXV9oIIxJr/zeIRb29b4Z62l7QeO0+ujOTw2eilHT9rUQ8ZkxpeEtFhV52a0UUTO8UM8xhQINWNj+OGuCxjUqR4RYcIXszbS5Y2pzNuwL9ihGROyfElIo0Xk2ky2f5jbYIwpSMLDPPRNqM2YvnHUL1+cjXuPcs37M3ny52V2tmRMOnyZy64uMFBEHgJWAIe9tlfxW1TGFCANK5ZgTL+2vPXHWt6d/BefTN/AHyt28eJVTbmgVulgh2dMyPAlId0M7MKZu65dOtuLp1NmjAGiwsO4v1M9Ojcuz/0jFrFyxyF6fjCLXudX48Eu9SkW5dM8x8YUSL5cslueOn9deg+csyZjTCYaVyrJT/3iGNChDuEe597SJa9NYdoa66hqjC8J6c4stl+Xm0CMKSwiwz0M6FCXn/rF0bhSCbbuP8ZNH83moR8Xc/C4jVsyhZcvA2PnpP4sIhVFpKn7s8fdvtr/4RlTcDWsWIJR/23L/ZfUJTLMwzdzNtPptSkkrtoV7NCMCQqfVhgTketFZDWwGUhdIfZLEXnZneMu4ERkqoioiFTPi/czJpAiwjz0u6gOv9wbR7PKJdl+4Di3fjKX+0cs4sBRO1syhYsvMzX0BD4DFuHMZXfI3TQYqAE86Pfo/h3DVUBcBttiRGSYiKwSkeUiMlFEGgU6JmP8oW654oy8uw0PdqlPZLiHH+ZvoeNrk/l9+c5gh2ZMnvHlDGkw0EFVr1HVIcBRAFXdjNMD72r/h3eGiEQCzwPjMqgyAmgBtFDVhsBsIFFEKgUyLmP8JTzMw13tazHu3nacU7UUuw6doPfn8xjw7UL2HTkZ7PCMCThfElKkqk5Nb4OqHsG3LuQ50Rdn2Yt/zRYhIh2BzsBjqnrULX4aCAMeDnBcxvhV7bIxjLirDY9e2oDoCA+jk7Zx8SuJtt6SKfB8SUjRIhKb3gYRKUsAxyGJyNnAIDJOLlcBp4B/ZhxX1ZPAdHebMflKmEfo3a4mE/pfSJtapfn76Cn+9/0ibv54Dpv3Hc36AMbkQz5NHQRMFZFeIlIL8IhIORHpBIwFvg9IhI7HgS9VdUMG25sC29wklNZ6oJybMI3Jd6qXKcZXvVvz0tVNKVnkzOq0H05dR/LplGCHZ4xfSXYvAYhINE5SugRQQNxncHrcXZlOQsh9gCK1gSlAA1U9ICJDgCeAGqkJyu35d0JVm3jt+wzwCNBQVf81cFdE+gB9AGJjY1t+/30gc2r+cfjwYWJiYoIdRkgIpbY4cEL5esUJZu84DUD1Eh5uaxxJtRJhefL+odQWwWZtcUZCQsJ8VW3lj2Nl+76Pqh4HOotIZ6ADUBrYA/ymqhP9EUwGXgJeUNUDOdg3067oqjocGA5Qr149jY+Pz8FbFDyJiYlYWzhCrS26d4I/V+7k0VFL2XDgOE/NOkHvdjUYcHFdikQGNjGFWlsEk7VFYPjcEUFVJwATAhDLv4hIO6AxWc8CsQeomE556n2tvf6My5hguqh+OSb+rzQv/7qKz2Zu4P3J65iwdAfP9WhC29plgh2eMTnm68DYUiLyuIiMF5FF7vNjIlIqQPF1xOkpN1dEkkQkCbjL3TbOLesKLAYqul3D06oB7FRVG/puCpSYqHCGXN6IH+9u88/SFjd+OJv7vl/E39ZF3ORTvgyMPQf4C6eDQVOcRNEMGAKsFZHm/g5OVR9X1Vqq2jz1Abznbu7qlo0DfgQigDZp4o10X4/0d1zGhIoWVc/i53viGNSpHpHhHkYu2EKHVyczJmmrdRE3+Y4vZ0hvA78A1VS1kqo2VtWKQDWcwarvBCLA7HDvYf0KPC0iRd3iR4AU4LlgxWVMXohwFwKc0L8drWuczd4jJ+n/bRK3fDKXjXuPBDs8Y7LNl4RUXVVvUdWtaQtVdQtwK1Ddj3H9i4h0Te+SXZoq1+BcuksSkRU4Z0fx3vEaU1DVjI3hmzvO54Urm1AiOpwpq3fT8bUpvPnHGk4knw52eMZkyZdODZsz2qCqKSKyMW2ZiJRQ1YM5juzf7zGOjKcNQlUP4czmYEyh5fEI159XlQ4Ny/Hc2BX8uHArr/62mtELt/LMFY1pY50eTAjz5QzpG7dDw/9LYiISLiKP4XafTiMxt8EZY3KmTEwUr17XnK/vaE2t2GKs23OEGz6czYBvF7L70Ilgh2dMunw5Q+oKnA/cKyJrgYNACaA2cBpY5M4InqqW36I0xuRIm1plGN//Qj6Yuo43/1jD6KRt/LFyFw90rs8N51UlzJMSDyISAAAcUklEQVQnq8YYky2+nCGdDyThLFV+CijiPq8AVruv0z7sN92YEBAZ7nR6+G1ge+LrxXLoeDKPjV7Kle9MZ+nWnIw3NyYwfDlDWquq7bJbWUQW5iAeY0yAVC1dlE9uPZcJS3fw5M/LWbTlAJcPm8bNF1TnvkvqUjw6ItghmkLOlzOkbj4e29f6xpgAExG6NKnA7/e15/a4GogIn87YwMWvTOaXxdts7JIJqmwnJLd7d4ZE5P/NZ5dVfWNM8MREhfPYZQ35qV9bmldxFgPs9/VCbv54Dmt3HQ52eKaQ8mkuOxG5EEgAyuPM1JBWC38FZYzJG40qluTHu9vw7dzNvDB+BVPX7KHz61O4Pa4G91xch5ioQK+7acwZ2f5tc5d9eBw4BvzNmaUnUgVsgT5jTOB4PMINravSqVE5hv66iu/mbeb9KesYtXArj1zagMubVUTE+iiZwPPlHtLtwOWqWkxVK6tqlbQPnN52xph8qnRMFC9c1ZRR/21Ls8ol2XXoBP2/TeK64bNYsd1vY9yNyZAvCWmTqv6SyfZLchuMMSb4mlcpxaj/tuXFq5pwdrFI5qzfx6VvTuXL5Sc4cOxUsMMzBZgvCelzEUnIZPvbuQ3GGBMaPB7hunOrMum+eG5tUx2A3zclc9HLiXw/dzMpKdYbz/ifLyvGvi8ib4jI88Ba4KhXlcySlTEmHypZNIIhlzfi2lZVGPDFdFb/fZIHRi7mqzmbeLp7I5pWDtRSaKYw8rVTwz04nRoqY50ajCk0GlYswUPnRXPwrLo8O3YFizbvp/vb07n+3CoM6lSfs4t5r41pjO98uWR3F3CpdWowpnASEbo3r8Sf98dz54U1CRPhmzmbiR86iY+nrefU6ZRgh2jyOV8S0kZVHZ/JduvUYEwhEBMVzkNdGzBhwIW0q1OGg8eTeeqX5XR6fQqTVu4KdngmH/MlIY0SkYsy2W6dGowpRGqXjeHz/5zHBze3onrpoqzbfYTbPp3LLR/PYe2uQ8EOz+RDvgzDrgXcIyKbsU4Nxhicy3gdG5ajfd1YPpuxgTf/WMPk1buZ9voeep1fjQEd6lCqqN1fMtnjS0K6GdgFVHIf3qxTgzGFVGS4hzsurMmV51Tild9W8+2cTXw6YwOjFm5lYIc63Hh+NSLCfLkgYwojX35Dlnt3ZLBODcaYtErHRPFcjyaMvbcdbWqV5sCxUwz5eTld3phK4iq7v2Qy50tCujOL7dflJhBjTMHRoEIJvurdmuG9WlKtdFHW7jrMrZ/M5bZPbDZxkzFflp+Yk/qziFQUkabuzx53+2r/h2eMya9EhEsalWfiwAt5qEt9YqLCmbRqN51fn8KTPy9j/9GTwQ7RhBifLuqKyPUishrYDKR2Af9SRF4Wmw7YGJOOqPAw7mxfi0n3x9PzvKqcVuWT6RtoPzSRD6eu40Ty6WCHaEJEthOSiPQEPgMWAU8Dqf06BwM1gAf9Hp0xpsCILR7F81c2Yew9Z+4vPTN2BR1etdVqjcOXM6TBQAdVvUZVh+B2+1bVzTg98K72f3jGmIKmYUXn/tInt55LnbIxbN53jH5fL6THOzOYu2FfsMMzQeRLQopU1anpbVDVI/i4+qwxpvASERLql2V8/3Y8f2UTysREkbR5P9e8N5M7v5jHut3W8aEw8iUhRYtIbHobRKQsNg7JGOOj8DAPPc+ryuRB8dx7cR2KRITx67KdXPLaFJ4Ys5S9h08EO0STh3xJSKOBqSLSS0RqAR4RKScinYCxwPcBidAYU+AViwrnfx3rkjgonutaVSFFlc9mbiR+aCLvJK7l+Cnr+FAY+JKQHgY24HRsWA00BbYB44CdwOP+Ds4YU7iUKxHNi1c3ZVz/drSvG8uhE8m8NGEVF72cyMj5W2xhwALOlwX6jgOdRaQzcDFQBtgD/KaqEwMUnzGmEKpfvgSf/ec8pq7ZzXPjVrJi+0HuG7GIj6atZ3CX+lxYpww20qTgyTQhiUjqWc9aVf0aQFUnABMCHZgxxrSrE8sv95Rh1MKtvDJxFcu3H+SWj+dwQc3SDO5Sn+ZVbMXagiSrS3Z3A+I+gkJEmovIByIyX0QWichyEXnTu4OFiMSIyDARWeXWmSgijYIVtzHGP8I8wtUtKzPp/nge7FKfEtHhzFy3lyvens7dX87nL+uRV2BklZB2qOqTqvpVnkSTvm+Bs4ELVbUZ0BFnMcDpIlIkTb0RQAughao2BGYDiSKS3szkxph8JjoijLva12LqAxdxd3wtoiM8jF+6g0tem8JDPy5mx4HjwQ7R5FJWCSnbdxBF5KFcxpKZwe5YJ1R1KzAUqAN0dd+7I9AZeExVU9dpehoIw+mMYYwpIEoWjWBw5/pMHpRAz/OqAvDNnM20HzqJ58ev4MDRU0GO0ORUVgkpUkSqiEjVrB7AjQGKsamqrvUq2+Y+n+U+XwWcAqalVlDVk8B0d5sxpoApVyKa569swsSBF9K1SXlOJKfw/uR1tHvpT95N/ItjJ62reH6TVS+7hjhdvYPGTSze6uKcvU1xXzcFtqVTdz1wmYiUVVVbjMWYAqhWbAzv3NiSRZv38+KElcz4ay8vTljJpzPWM6BDXa5pWZlwWxwwX5DMJjQUke3Ae9k5DtBHVSv6K7AM30gkDFgAzFHVO9yy1cAJVW3iVfcZ4BGgoar+awFBEekD9AGIjY1t+f33NrYX4PDhw8TExAQ7jJBgbXFGfmgLVWXZ3hRGrD7JxoMpAJQvKvSoE8m55cPw+KmreH5oi7ySkJAwX1Vb+eNYWSWkharaIlsHEpmlquf7I6gs3mcI0A1or6qH3bKMEtKzOPeQ0k1IadWrV09XrVoVmKDzmcTEROLj44MdRkiwtjgjP7VFSooydsl2Xpm4ig17ndvKDSqU4L6Odbm4Qdlcj2HKT20RaCLit4Tkt04NeZSMbgOuBbqkJiPXHtKfSy+1bG+gYzPGhA6PR+jWrCK//a89z/VoQvkS0azYfpDen8+jxzszmLZmjy13EYKy26kh3UlV85KI9ALuAy5K537QYqCiiER6ldcAdtr9I2MKp4gwDze0rkrioHgeu6whpYtFkrR5Pzd9NJueH8xi/kZb7iKUZJWQYoDJwEt5EEuGROQmzqzHtMMtu8y9BwTwIxABtEmzT6T7emQeh2uMCTHREWHcHleDKQ8kMKhTPUpEhzNr3T6uencmt34yh6VbDwQ7REMWvexUtXoexZEhEbkR+AB4DOiQ5tpvO2A7gKpOFJFfgadFpJM7FukRIAV4Lu+jNsaEomJR4fRNqM1N51fjw6nr+HjaehJX7SZx1W66NC7PwI51qVvOVtIJlvywqN5bQDTOYFhvT6b5+RrgBSBJRE4DW4B4dyCtMcb8o2SRCO67pB63tqnO+1PW8dmMDYxfuoMJy3ZwRfNK9L+4DtXLFAt2mIVOyCckVT07m/UOAX0DHI4xpgApHRPFw10bcHtcDYb9uZZv525i1MKt/LRoG9e0rEzfhNpUObtosMMsNGy0mDGm0CtXIpqnr2jMn/fFc03Lyqgq387dTMLLiTz04xK27j8W7BALBUtIxhjjqnJ2UYZe04zf/9eeHi0qkaLKN3M2ET90Eo+MWsI2S0wBZQnJGGO81IyN4bXrmjNxYHu6N69Icory1exNxA9N5LHRS9l3PCXYIRZIlpCMMSYDtcvG8Mb1Lfht4IV0a1aRUykpfDFrIw9MPsYTY5ay86AteeFPlpCMMSYLtcsW562eLfh1wIVc2rQCyQqfzdxIu5cmMeSnZeyyxOQXlpCMMSab6pYrzts3nMMzbYvQtUl5Tian8OmMDbR7aRJP/bycXYcsMeWGJSRjjPFR5eIe3rmxJeP7t6NzI2ctpo+nr6fdi5N48udldikvhywhGWNMDjWoUIL3erVk7L1xXNKwHCeSU/hkunPG9PiYpdYrz0eWkIwxJpcaVSzJ8JtbMe7edv9cyvt85kbaD53Ew6OWsHnf0WCHmC9YQjLGGD9pWLEE79zYkl8HOL3yklOUr2dvIuHlRAb/sJhNey0xZcYSkjHG+Fm98k6vvN8Gnhlg+928zSS8ksh93y9i3e7DWR+kELKEZIwxAVK7rDPA9o/74rm6ZWUARi7YQodXJzPg24Ws3XUoyBGGFktIxhgTYDXKFOPla5ox6b54rj+3Ch4RRidto+NrU+j79QJW7jgY7BBDgiUkY4zJI1VLF+WFq5qSOCieG1tXJdwjjF28nc6vT6X3Z/NI2rw/2CEGlSUkY4zJY5XPKsqzPZow5YEEbrmgGlHhHn5fsZMr3p5Or49mM3vd3mCHGBSWkIwxJkgqlCzCk90bM23wRdzZvibFIsOYumYP1w2fxTXvzWDy6t2oarDDzDOWkIwxJshii0fxUJcGTH/wIvpfXIcS0eHM3fA3t3w8h8uHTefXZTtISSn4ickSkjHGhIhSRSMZ2LEu0x+8iMGd61MmJpIlWw9w5xfz6fzGFMYkbeV0AU5MlpCMMSbEFI+O4O74Wkx94CKe6NaQCiWjWb3zMP2/TeLiVxL5fu5mTiYXvDWZLCEZY0yIKhIZxm1ta5A4KJ7nr2xC1bOLsmHvUR4YuZj4oZP4dPp6jp08Heww/cYSkjHGhLio8DB6nleVP+9rz+vXNad22Ri2HTjOkJ+XE/fin7w9aS0Hjp0Kdpi5ZgnJGGPyifAwD1e0qMTEARfyfq+WNK1ckr1HTjL011XEvfAnL05Yye5DJ4IdZo5ZQjLGmHzG4xE6NSrPmL5t+fL21lxQszSHTiTzbuJfxL34J0+MWcqWv/PfRK7hwQ7AGGNMzogIcXXKEFenDAs2/c07k/7i9xU7+WzmRr6avYnuzStxd3wtapeNCXao2WJnSMYYUwCcU/UsPrylFRMGtKN784qkqDJywRY6vjaZu7+cz5ItB4IdYpYsIRljTAFSv3wJ3ri+BZPuj+eG1lWJ8HgYv3QH3YZNo9dHs5n5196Qnf3BEpIxxhRA1UoX47keTZg6OIE+F9akqDstUc8PZnHluzOYGIKzP1hCMsaYAqxciWge7tqAGQ9exMAOdTmraAQLN+2nzxfz6fT6FEbO38Kp06ExyNYSkjHGFAKlikbSv0Mdpj94EY9d5sz+sGbXYe4bsYj4oYkhMcjWEpIxxhQiRSPDuT2uBpMHJfDS1U2pGVuMrfuP/TPIdtifazhwNDiDbC0hGWNMIRQZ7uHaVlX4fWB73rvpnH8G2b48cTVtX/yT58etYNfB43kaU4FKSCJSVkS+EpFV7uMHEakc7LiMMSZUeTxC58YVGNO3LV/1bk3b2qU5fCKZ96esI+7FSTz04xI27j2SN7HkybvkARGJBH4DIoFGQEPgCDBJRPLHqDBjjAkSEaFt7TJ81ft8xvRtS5fG5TmVksI3czaR8HIi/b5ewNKtgR3LVGASEnAL0BQYrKrJqnoaGAzUBO4OamTGGJOPNKtSindvaslvA9tzTcvKhHmEXxZv57K3pnHLx3OYtS4wY5kKUkK6CtikqutSC1R1B7Dc3WaMMcYHtcvGMPSaZkwelMDtcTUoGhnG5NW7uX74mbFM/lSQElJTYH065euBJnkcizHGFBgVSxXhscsaMn3wv8cy+VNBmly1DJBe6xwEiopIEVU9lnaDiPQB+rgvT4jI0gDHmF+UAfYEO4gQYW1xhrXFGdYWZ9Tz14EKUkLKiGS0QVWHA8MBRGSeqrbKs6hCmLXFGdYWZ1hbnGFtcYaIzPPXsQrSJbs9QPF0yosDR73PjowxxoSWgpSQFgPV0ymvASzJ21CMMcb4qiAlpB+BaiJSPbVARMoBDYCR2dh/eGDCypesLc6wtjjD2uIMa4sz/NYWEqrrYvjKHRg7D1gB3AikAB8BcUALVT0cxPCMMcZkocCcIanqSaAjcBpn7NEKoARwkSUjY4wJfQXmDMmYvCYizwCPALep6qdBDscYvxKRCsAnQCdVzbC3sj8VmDOk9ORmslURiRCRp0VkpYgsFZEZIhIX6JgDJadtISIVRORJEZkjIgvd9vhRRPLtYGN/TMLr1v9fgELMM7ltCxFpJiJjRGSB+7uxSkReCmTMgZLL74sKIvKh2waLRWSZiDwsIhGBjjsQRKQHMBOolcP9B4jIcrctFojIFdnaUVUL5ANnktVFwAic8VZhwGfAGiAmG/u/B6wGYt3XvYFjQPNgf7a8bIs07VDFfR3tHuco0CTYny2vfy/SHOdz4BdAgVuD/bmC0RZAG2Ab0DZNWV9gQ7A/W162Bc4f9guBpUBpt6yF+33xcrA/Ww7bYzZQB/jUSRM+7fsgzjCcWu7rjsApoEuW+wb7gwewQe9wvyxqpikrj3OPaVAW+9bD6RTxH6/yZcDYYH+2PG6L94DeXmW13OO9FezPlpdtkab+OcBfQKd8npBy83shOPdpB3mVR2TniyfUHrlsi4buvgO9yscA24P92XLYHuHus08JCSiFs8rCU17lY4FlWe1fkC/Z5Way1R44/+EmeZX/CVySD5ezyE1b9AM+9irb5j6f5bcI844/JuF9Fefe0Qn/h5enctMWcUB9nLPEf6jqKVUd7+9A80Bu2iLZffae+Sb1TCvfUdXkrGulqzNQlPS/OxuKSP3Mdi7ICSk3k602xTlD2pTOvuE4fxHlJzluC3WW8kjxKq7rPifmPrQ8l6tJeN1r4UWA7/wcVzDkpi3auM8l3XtIy9z7Bc+ISBG/Rpk3cvN/ZDXwNXBn6jhIEbkI51LVW36NMvQ1dZ+923K91/Z0FeSEVAY4lE75P5OtZrHvUXXWVPLeF6C0H+LLS7lpi/T0wbl8+UVuAwuCHLeFe4P6ReA+da9D5HO5+b2o4j5/Azyrqo2Am4BbcS5V5Te5/T9yCzAOWCMi24DRwABVfdq/YYa8Mu6zd1tm67uzICekjOSm+2KedH3MQz5/Hvcvv+uAa1U1v1+ySis7bXE3znXwaYEOJsiy0xbR7vNHqjoHQFUX4yTsjiLSPlDB5bEs20JEonAuUZ0HVFfVikA88JCIPBLY8PKNbH3XFOSElJvJVvfg/FXkff039Xh7/RBfXvLLxLMi0gynd9nlqrrcj/HlpRy1hYiUAh7CWYW4oMjN70XqX8BJXuUL3edzcxlbXstNW9yOc09tkKpuBVDVBcDLwNMi0tzfwYaw1CU5vNsyW9+dBTkh5Way1cU4bVPFq7wGzg3MFbkNLo/leuJZEWmKcxnielWd4b/Q8lxO2+J8nH/7ESKSJCJJwIfutqfcssf9Gmng5eb3YqX77P0dcjqD8lCXm7ZIvce0xqt8Nc6ZQX5Lzrmx2H2u7lVew2t7uvLbL40vsj3ZqoiUE5G0bTEKpxtnvNcxE4CJqpreteZQlpu2SE1GY4BeqZer3IGA7wc47kDIUVuo6gRVraKqzVMfOGPTAB53y57Kk0/gP7n5vRiHk3y8b1I3dp/n+jvYAMtNW+xyn6t6HbOa+5zfrqhkm4iUducRTTUBZ4xivFfVBGC5qq4kM8Hu7x7AfvSRONn4O5yecR6caTD+30A3oC3Of6x3vfZ/D1gFlHFf/4f8PTA2R22B89ffbuBdnJvWqY8BQGKwP1te/154HSue/D0OKbf/R14FtgN13NeV3H0nBvuz5WVb4Pz1fxCYCBR3y6oCa3HGqxUJ9ufLRbt8SgbjkNzPfRwY71X+oPudUdN93YFsDowtsCvGqupJEekIvIYzlkBxRlJ7T7Z6GDiA8x8rrXuAJ4DpInIK55r5Jarqfc085OWyLZ7E6Tlzl/tIa3LAgg4QP/xeICJlcb58UsejPSUiA3AGEPtt9cxA80NbDMK5ZzBORE7jDIodifP/Jl/JTVuo6noROQ8YAswVkZM4bfEr8LTmw8VBRWQoTrf1qu7r1O+989SZyBqcP9D3cWZcIgCq+oKIHAd+EZFknAR+jWZjfJpNrmqMMSYkFOR7SMYYY/IRS0jGGGNCgiUkY4wxIcESkjHGmJBgCckYY0xIsIRkjDEmJFhCMsYYExIsIRljjAkJlpCMMYjIEBHR1IljRcR7YuGcHLNKmuOpiAzxQ6imACuwUweZwivN1D5VcZZZX4Qz63IUzhxbo4H3vaaEQUReBC5W1VY+vFcpnHn9RufHaaW8qTNprL+OtRloDiAiNiWMyZKdIZkCR1V3uV+sP7mvm6tqM1WtD/QHrgAWiUh9r1138e9l67NSCmfutsK05o0xAWEJyRQq6iycdjGwH2dS0KJptr2iqlcGLThjCjlLSKbQcWcrfhxn+vzbAUTkbRHZ5N7rqJ5aV0QuEJHJIrJQRBaJyHgR6eFu64GzLhCcWaQvyb2Mh4g8LCJzRGS+iCwRkW9EpFKaY7dy658UkU9FZJCIzBSRbSLyvtc6M4hIKRF5V0Q2ishi9/GaiNRIU+dsEfnArbPaff8uOW0rN759IrJBRLqKyCQR2SEio0SkhIi0FZEJIrJVREaISMmcvpcxQV9vwx72CNSDzNdyKYKzAuy4NGW34iw7UN19XRz4G7jRfS3AS6RZBwpnZcx010TCOQtr6v4chrO0wQIgzKveBpzlDLq5rxu6sfVJUycSmAdMwV2fB6iDc5lxgPs6yj3+LKCEW3a1e6yELNpqSCZt9SnOkguPua/Lue3yJc6y3QDl3TrPZHAMBYYE+3fCHqH9sDMkUyips0bNHs6s6pmeejj3iNa7+yhOUvkhm29zvqoudvc9DbwPtADS6zSxU1V/dusux1kiPD7N9l5AS+BhdTtjqOoaYDhOwkmt0wJ4VFUPunV+wElkuV2jKAZ4yz3mTmAa0BP4wC3bAUzFWRnUmByxXnamMJMstq8CdgKjReQt4DtVXQ0My+bxzxKR0UBtnKSRegmuJjDbq+5qr9f7cM5EUnV0n//f0uCq+mialx1wzkRmeB1rKXCziESo6qlsxu5tr6ru94rPu2wvzpLfxuSInSGZQsntzFAa2JhRHVU9BLQGRgH3A6vcezJts3H8ZsAknCWsm6vT66+ruzkqnV2Oer1OwbnMl6oMcFRVT2TytmVwE1Ka+1lJOGct+3C6wOeUd3yaQVkYxuSQnSGZwqojzpfnuMwqqepG4E53ifKrgGeB8SJSXVX3ZbLrdTiJ51lVTc6kXnbtAYqKSFQmSWkPTiJr6V4iNCZfsTMkU+iISDTwFM69oY8yqddERB4G556Tqn4JDMTp7FDdrZZ6CUzcfVqKSF3OnAWlHRBaPhdh/+Y+t/SKcbCI3JemTjhOp4i0dVqIyPu5eG9j8oQlJFOoiEgr4E+cm/Rd3c4NGSkN3Cciddx9BWgD7ABWuHV2AseAyu7rN4DzgbHu6/+5+0YCg3MR+hfAfOBZESnmHrMxziwRE73qvCIixd06Z+N0RliVi/c2Jm8Eu5ufPezh7wdQFkjCuW+i7s9JOD3XpuHcDyrutc/bOLM0KLAc6I1zT+YVYIm7/zLgF6CJ17534tyLWopzvynaLe8DrMVJBn+476vu+7wA1HKPe9KNdZS73wzgsPtIAiLd8lLAe+57Jbmf5SKvWFLrbMKZMmke0DcbbTaEdLp949wH2+fGmISTpEdlo6yW13Gs27c9snyIqk0xZUxh5058+oSqZtXzMKfHV+BJVR0SiOObgsEu2RljwDkb2xmo2b5xLm0ezmofU7jZGZIxxpiQYGdIxhhjQoIlJGOMMSHBEpIxxpiQYAnJGGNMSLCEZIwxJiRYQjLGGBMSLCEZY4wJCf8HPDn64OUjk3AAAAAASUVORK5CYII=\n", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# Plot the temperature along the rod.\n", "pyplot.figure(figsize=(6.0, 4.0))\n", "pyplot.xlabel('Distance [m]')\n", "pyplot.ylabel('Temperature [C]')\n", "pyplot.grid()\n", "pyplot.plot(x, T, color='C0', linestyle='-', linewidth=2)\n", "pyplot.xlim(0.0, L)\n", "pyplot.ylim(0.0, 100.0);" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Hmmm ... it looks like we're pinning the right BC to the value $T=0{\\rm C}$, do you agree?\n", "Now study the code for the `ftcs` function, above, and try to figure out what happens at the right-most point of the spatial grid. \n", "\n", "Did you figure it out? \n", "\n", "It never updates the value at `T[-1]`! That value is set to zero in the initial condition and stays that way throughout the entire simulation. We effectively have a Dirichlet boundary at *both* ends. The left-hand side of the rod is held to a temperature of $T = 100{\\rm C}$ and the right-hand side is held to $T = 0{\\rm C}$ Because both end temperatures are \"pinned\" to set values, the temperature distribution within the rod will relax (after enough time) to a linear temperature gradient across the length of the rod. \n", "\n", "Once the solution is relaxed, no number of extra time steps will make it change. This is an example of a *steady-state solution* and we'll learn more about those in Module 5 of the course.\n", "\n", "Dirichlet BCs show up in many engineering applications, among them thermo- dynamics (e.g., setting a surface temperature) and fluid dynamics (e.g., the no-slip conditions at walls in viscous fluids)." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Neumann boundary" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Another commonly used BC is the *Neumann* boundary: rather than specifying the value of the solution at the border, they specify the value of the *derivative* of the solution at the border. \n", "\n", "In our example, if we apply a Neumann boundary to the right-hand end of the rod, we can represent that mathematically as\n", "\n", "$$\n", "\\begin{equation}\n", "\\left. \\frac{\\partial T}{\\partial x} \\right|_{x = 1} = q(t)\n", "\\end{equation}\n", "$$\n", "\n", "How can we enforce that in code? One easy way is using a finite-difference discretization of the derivative at the boundary. At time step $n$, for $N$ points, that would be\n", "\n", "$$\n", "\\begin{equation}\n", "\\left. \\frac{\\partial T}{\\partial x} \\right|_{x=1} \\approx \\frac{T^n_N - T^n_{N-1}}{\\Delta x} = q(t)\n", "\\end{equation}\n", "$$\n", "\n", "In the context of heat conduction, the space derivative of temperature is the heat flux density $q$, the amount of heat per unit time, per unit area.\n", "\n", "For example, if the rod at $x=1$ has some insulating material, no heat is going to be able to get out through that end, and the Neumann boundary condition is:\n", "\n", "$$\n", "\\begin{equation}\n", "\\left. \\frac{\\partial T}{\\partial x} \\right|_{x=1} = 0\n", "\\end{equation}\n", "$$\n", "\n", "Think about what the equation is saying: the change in temperature when moving in the $x$ direction is zero at the right-most edge of the rod. That means that the temperature should be equal on the last two spatial grid points.\n", "\n", "To enforce this Neumann boundary condition at the right-hand end of the rod, we add the following line of code:\n", "\n", "```Python\n", "T[-1] = T[-2]\n", "```\n", "\n", "That is, the temperature at the boundary (`T[-1]`) is equal to the temperature directly to its left (`T[-2]`). The spatial gradient is zero and a Neumann condition is satisfied there." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The Dirichlet conditions in the rod example were enforced without any extra input from us, but the Neumann condition will require an update at each iteration of the loop.\n", "\n", "Finally, Dirichlet and Neumann BCs can sometimes be mixed to better represent the physics of a problem.\n", "\n", "Let's revisit the heated-rod problem. This time, the temperature at $x = 0$ will remain fixed at $T = 100{\\rm C}$—that's the Dirichlet condition— and a Neumann BC applies at $x = 1$." ] }, { "cell_type": "code", "execution_count": 10, "metadata": {}, "outputs": [], "source": [ "def ftcs_mixed_bcs(T0, nt, dt, dx, alpha):\n", " \"\"\"\n", " Computes and returns the temperature along the rod\n", " after a provided number of time steps,\n", " given the initial temperature and the thermal diffusivity.\n", " The diffusion equation is integrated using forward \n", " differencing in time and central differencing in space.\n", " The function uses a Dirichlet condition on the left side\n", " of the rod and a Neumann condition (zero-gradient) on the\n", " right side.\n", " \n", " Parameters\n", " ----------\n", " T0 : numpy.ndarray\n", " The initial temperature along the rod as a 1D array of floats.\n", " nt : integer\n", " The number of time steps to compute.\n", " dt : float\n", " The time-step size to integrate.\n", " dx : float\n", " The distance between two consecutive locations.\n", " alpha : float\n", " The thermal diffusivity of the rod.\n", " \n", " Returns\n", " -------\n", " T : numpy.ndarray\n", " The temperature along the rod as a 1D array of floats.\n", " \"\"\"\n", " T = T0.copy()\n", " sigma = alpha * dt / dx**2\n", " for n in range(nt):\n", " T[1:-1] = (T[1:-1] +\n", " sigma * (T[2:] - 2.0 * T[1:-1] + T[:-2]))\n", " # Apply Neumann condition at the last location.\n", " T[-1] = T[-2]\n", " return T" ] }, { "cell_type": "code", "execution_count": 11, "metadata": {}, "outputs": [], "source": [ "nt = 1000 # number of time steps to compute\n", "\n", "# Compute the temperature along the rod.\n", "T = ftcs_mixed_bcs(T0, nt, dt, dx, alpha)" ] }, { "cell_type": "code", "execution_count": 12, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAaQAAAEbCAYAAACV0PCVAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMi4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvhp/UCwAAIABJREFUeJzt3Xd4VGX2wPHvmVRCQgIk9N6lCVKkCyqIWFbRVex1UZdF13Vd27q6oj/L7qqIa8G+69pQQEXBSoSANDH0Lhg6hB4gEJLz++PekDimTTKTmUnO53nmmcy9771z5iWZw71vE1XFGGOMCTZPsAMwxhhjwBKSMcaYEGEJyRhjTEiwhGSMMSYkWEIyxhgTEiwhGWOMCQlBTUgi0lBEZoiI9T03xphqLmgJSUQuBr4HWpdSLkpExonIahFZLiJzRWRAMWX/KCIrRWSpiCwWkYsCEbsxxhj/C+YV0r3AUGBOKeUmAJcDA1W1M/A68JWIdCtcSETuBf4KXKCqXYF7gEkicq7fIzfGGON3EqyZGkQkUlVPiMibwHWqKkWUaQ+sAm5W1dcLbV8BbFLV89zXScBW4F+q+rdC5T4DWqhqp8B+GmOMMRUVtCskVT1RhmIXAwLM9Nr+LTBMROLd18OBuGLKdRSRDhWJ1RhjTOCFei+7rkAekOG1fSMQCXQsVC5/u3e5wvuNMcaEqMhgB1CKZOCIquZ6bT/oPtctVA7gUCnlfkFERgOjATw1avVIqVefxJhf3TmsdvLy8vB4Qv3/KpXD6qKA1UUBq4sCa9euzVTVFH+cK9QTUnHKmjVKLKeqE4GJADEN22rsqGc4q0sD/nHpqdSMCdeqqbjU1FQGDx4c7DBCgtVFAauLAlYXBUTkZ3+dK9RTfCYQJyIRXtsT3Oc9hcoV3l5cuWLVixPiYyL5fNkOLnlxLpv3HilXwMYYY8on1BPSUpwYm3ptbwmcwOmBl18OoEUR5QrvL1ZcpDB1TH9aJddk9Y5DXPB8GnPWZ5Z2mDHGGD8J9YQ0BVBgsNf2IcCXqprfZjQDOFJMuZWqurosb9amXjxTxvRnSPsU9h/J4drXF/Ba2kZsEUNjjAm8kE5IqroGp43nPhFJBhCRG3Fmd3igULn9wDhgjIi0csudDZwD/NmX90ysEcWr1/VizJDW5OYp46at5K5JS8jO8e5XYYwxxp+C1nIvIv/Amamhmfs63d3VW1WPFyo6FngImCMiOTg96Yapanrh86nqEyKSDUwTkRNALvBbVZ3ua2wRHuHuczrQsWEif560hMmLt7J+VxYvXd2DRkk1fP6sxhhjShe0hKSqd5exXA7OlEB/LUPZZ4FnKxjaSed1bUirlJqM/u8ilm45wIXPp/HCVT3o3bKOv97CGGOMK6Rv2YWCUxrW4pMxAxjQJpnMrONc+co8/jvvZ2tXMsYYP7OEVAa1a0bz5g29+N3AlpzIUx6cupz7Ji/j2AlrVzLGGH+xhFRGkREeHjivI89e3o2YSA/vLdzMqInz2HkwO9ihGWNMlWAJyUcXdW/MR7f1o1FiLD9m7OeCCWksztgX7LCMMSbsWUIqh86NE/lk7ABOb1mHXYeOMerleby/0Hv+V2OMMb6whFROyfExvH3z6VzfrwXHc/O456NlPDh1OcdP5AU7NGOMCUuWkCogKsLDwxd24qlLuxId4eG/837m6lfnk5l1LNihGWNM2LGE5AeX9WzK+7f0oX6tGBZs2ssFE9JYumV/sMMyxpiwYgnJT7o3q82nYwfQo3ltth/I5tKXvuejH7YEOyxjjAkblpD8qF5CLO/+rg9Xnt6M4yfyuGvSEh7+ZAU5udauZIwxpbGE5GfRkR7+7+IuPD6yC1ERwptzN1m7kjHGlIElpAC5oncz3hvdl3oJMczfuJcLrV3JGGNKZAkpgHo0d9qVTmuWxDZrVzLGmBJZQgqw+rVieXd0H67obe1KxhhTEktIlSAmMoLHR3bh/y62diVjjCmOJaRKdOXpv2xXsvFKxhhTwBJSJSvcrpQ/XulDa1cyxhhLSMFQv1Ys743ue3K80p+tXckYYywhBUvh8UrRER7enLuJq16dz+5D1q5kjKmeLCEF2RW9m/HeLX2olxDDArdd6UdbX8kYUw1ZQgoBpzWrzbTbB9CrRW12HMzm8pfn8c58W1/JGFO9WEIKEfUSYvnfzX1Orq90/5Rl3PvRUrJzcoMdmjHGVApLSCEkOtJZX+npy04lJtLDews3c/nEeWzbfzTYoRljTMBZQgpBI09rwke39aNJ7Ros2byfCyak8f2GPcEOyxhjAsoSUojq3DiRT/8wgIFtk9lz+DhXvzafV2f/hKoGOzRjjAkIS0ghrHbNaN68oTe/H9ya3Dzl0c9Wcft76Rw5fiLYoRljjN9ZQgpxER7hL8M78NLVp1EzOoJPl2zj4n/PZVPm4WCHZowxfmUJKUwM79yQj//Qn1YpNVmz8xAXPJ/Gt6t3BjssY4zxG0tIYaRNvQQ+HtOfoR3rcyj7BDe9tYjxX68jL8/alYwx4c8SUphJiI3i5at7cPc57QF45uu13PyfRRw4khPkyIwxpmIsIYUhj0cYM6QNb1zfi8QaUXy7ehcXPJ/Gim0Hgh2aMcaUW8gnJBHpKSLTRWSViCwTkQUi8luvMlEiMk5EVovIchGZKyIDghVzZRncvh7Txg6gc+NaZOw9wsgX5jJp0eZgh2WMMeUS0glJRFoA3wCZQBdV7QK8DnwgIhcUKjoBuBwYqKqd3TJfiUi3yo248jWtE8eHt/bj8p5NOXYij7s/XMr9U5Zx7IRNOWSMCS8hnZCAEUAt4GlVPQGgqi8BB4ErAUSkPTAaeEJVd7tlXgV+Ah4LRtCVLTYqgicv7coTI7sQHenhnfkZXPbS92y1KYeMMWEk1BNS/gjQyPwNIiI4cUe4my4GBJjpdey3wDARiQ90kKFiVO9mfHRrPxon1WDJlgOc/9xsZq3dHeywjDGmTEI9Ib0HrAb+KiLxIuIB7gdigJfcMl2BPMB7vYaNOImsYyXFGhK6NElk2tgBnNEuhX1HcrjujQVM+Ma6hhtjQp8UNzeaiOQA5fkW266qzSsU1S/jaAS8AZwBZAEHgBtV9Tt3/5dAX1VN8DruZuAVYISqTi/m3KNxbveRkpLS44MPPvBX2EGXp8rH63P4ZEMOCpyaEsHorjHUjJJSj83KyiI+vtpcWJbI6qKA1UUBq4sCQ4YM+UFVe/rjXJEl7MsEXvXxfAJcVv5wvE7mtA99A3wO1AGy3fNPFpGri0s0hWIpkapOBCYCtG/fXgcPHlzhmEPJmUPgojW7+ON76SzZncMTPyovXnUanRsnlnhcamoqVa0uysvqooDVRQGri8AoKSHtUNUHfT2hiJxXgXi8jQOSgDtUNb+F/j0RuRx4y716ygTiRCRCVQt3Lcu/YqrW6zYMcbuG//5/i1m29QCXvDiXcRd15rKeTYMdmjHG/EJJbUgzynnO8h5XlC7AlkLJKN9aIAVoCSzF+Rze37AtcTpFrPJjPGGpaZ04Jt3alyt6O13D//LhUluN1hgTcopNSKp6X3lOWN7jirELaCgi3ldyzXHat/YBU9yfB3uVGQJ8qaqH/BhP2IqNiuDxkV156tKuRLur0Y58YS4/77FZw40xoaFCvezcXm+BNAFnHNIjbndvRGQIMBJ4X1UzVXUNTjvQfSKS7Ja5EWgNPBDg+MLOZT2bMuX3/WheN46V2w9y/oQ0ZizfEeywjDGm5IQkIo3dqXoWiMi4IoqcLSJfi0i7QASnqh8Cw4G+wEoRWQ6Mx0k01xcqOhaYBMxxy/wOGKaq6YGIK9x1apTIp2MHcE4nZ9bwW9/+gUenrSQnNy/YoRljqrGSOjWAM+i0O/AUznQ83lYAh4FUEemlqlv9HB+q+gXwRSllcoC/ug9TBrVio3jp6h68lraRJ6av5tW0jaRv3s+EK7sHOzRjTDVV2i2384CxqvqAqm703qmqW1X1N8B/gL8EIkATOCLCzQNb8f4tfWhQK5ZFP+/jvOfSWJ5pnR2MMZWvtITUGGdwaWkewRm4asJQj+Z1+Oz2AQxsm8zew8f516JsnvlqLbk2u4MxphKVlpDyvMb2FElVj+BM32PCVN34GN68oTd3nu00B47/Zh3Xvb6AzKxjQY7MGFNd+LOXXJQfz2WCIMIj3HF2W+7uFUtyfDRp6zM577nZLNi4N9ihGWOqgdIS0kYRKfVWnIgMAn72T0gm2DrWjeCz2wfSu0Uddh48xhWvzOOl7zbYBK3GmIAqLSGNB94RkYHFFXBXZv0f8A9/BmaCq36tWN753encekZrcvOUJ6avZvR/F7H/yPFgh2aMqaJK7PatqqkiMhH4TkSWAPOAnTgzIzQA+uAs/3BP/uzbpuqIjPBw77kd6Nm8NndNWsLXq3YxYvxsJlzZnR7N6wQ7PGNMFVNqG5Kq/h24BGdBvFuAvwEPuT8LcKGq/jOQQZrgOrtjfaaNHUC3pklsO5DNZS/P48VUu4VnjPGvMnVqUNUpqtoVpxt4f/fRRFW7qepngQzQhIamdeL44Ja+jB7Uitw85ckZq7nhzYXssV54xhg/8amXnapuV9Xv3ce2QAVlQlN0pIf7R5zC69f3pHZcFN+t3c2I52Yz76dqvcKHMcZPik1IIvJweU5Y3uNM+DizQ30+v2MgvVrUZufBY1z5yjzGf73OBtIaYyqkpCukC8t5zvIeZ8JIw8QavPu7PvxhSBsUeObrtVz96nx2HcwOdmjGmDBVUi+7BiJyH2VYCtxLzQrEY8JIZISHP5/TntNb1eHO99P5/qc9nDt+Nk9f3o0z2qUEOzxjTJgpMSEBj5XjnLa4TjUzsG0Kn98xkDvfT2fO+j1c9/oCbhvcmj8NbUdURKCXzDLGVBUlfVtElfPRJIDxmhBVLyGW/9x4On8e1g6PwIupG7j85e/Zsu9IsEMzxoSJkpYwzy3nwyZZraYiPMIfzmzLe6P70qBWLIsz9jNi/GxbkdYYUyZ2P8X4Xe+Wdfj8joGc2aEeB90VaR+Ysoyjx22dJWNM8SwhmYCoUzOaV6/tyV/PO4XoCA//m5/Bhc+nsWr7wWCHZowJUZaQTMB4PM6KtJN/349WKTVZtyuL3/x7Dm/O2YiqjVkyxvySJSQTcJ0bJzJt7ACu6N2U4yfyePjTldz01iKbdsgY8wuWkEyliIuO5PGRXXnhqtOoFRvJt6t3MXz8bGav2x3s0IwxIcLnhCQi/UTkfhF5zH09QERsMKwpkxFdGjLjj4Po3bIOuw8d45rXFvDYZys5dsI6PBhT3ZU5IYlITRGZDqQBjwI3uLsuBJaJSAu/R2eqpEZJzrRDfx7WjgiP8MrsjYx8YS7rd2UFOzRjTBD5coX0BFAbuABoBewCUNW/4KyR9LjfozNVVv6YpUm39qVpnRqs2HaQ8yfM5t0FGdbhwZhqypeENAIYqqqfqeom4OQAWFV9G2jn59hMNXBas9p8fvtARnZvTHZOHvdNXsZtby+2pdKNqYZ8SUg5qnqohP21KhqMqZ4SYqN4+vJuPHt5N+JjIpmxYgfDn51N2rrMYIdmjKlEviSkIyLym6J2iMg5wH7/hGSqq4u6N2b6HQM5rVkSOw5mc/Vr8/n7pyvIzrEOD8ZUB74kpMeAySLyjYiMA5JF5F4ReRf4GHgkIBGaaiV/qfS7hrYj0iO8MWcT509IY/nWA8EOzRgTYGVOSKr6EXAN0B54AGdW7/8DBgDXqeqnAYnQVDuRER7GntWWKb/vT+uUmqzflcVF/57Dv2eut1VpjanCfBqHpKrvAE2BLsAQ97mZqr4fgNhMNdelSSLTxg7k+n4tOJGn/OOLNVz28vf8vOdwsEMzxgSAL+OQdovIVqClqq5Q1e/c54D/l1VELhGRWSLyg4j8JCKLROSaQvujRGSciKwWkeUiMldEBgQ6LhN4NaIjePjCTvznxt7UrxXDDz/v49zx1j3cmKrIlyskD9BTVX8KVDBFEZE7cW4RXqmqPXBuGa4FzipUbAJwOTBQVTsDrwNfiUi3yozVBM6gdil88cdBnN+1IUeO53Lf5GXc/NYidh3KDnZoxhg/8SUhrVDV7cXtFJHz/RCP9zlb4AzIvUVVtwCoag7wZ+B5t0x7YDTwhKrudsu8CvxE+ZZgNyEqKS6a5688jfGjulErNpJvVu/inGdmMWN5sb+Wxpgw4ktCelVE/iwixR0TiF521wD7VXVh4Y2quk1VF7kvLwYEmOl17LfAMBGJD0BcJoh+060xX9w5iIFtk9l3JIdb317Mnz5I52B2TrBDM8ZUgC8J6RrgLmCH20bzZeEH0DoA8fUDNrltSLPdNqK5InJjoTJdcWaNyPA6diMQCXQMQFwmyBom1uCtG3rz9ws7ERvlYfLirZz77GzmrrfBtMaEKylrw7CIHALSSyhyqqr6dbYGEVkOtACW4VwJ7QIuAd4FHlLVx9xk2FdVE7yOvRl4BRihqtOLOf9onNt9pKSk9Pjggw/8GX7YysrKIj4+fC4st2flMXHZMTYecGazOrNpJJe1jyY2Uip87nCri0CyuihgdVFgyJAhP6hqT3+cy5eE9KOqdi/v/vIQkfU4V14DVTWt0PaPgOFACjCVohPS74CJlJCQCmvfvr2uWbPGn+GHrdTUVAYPHhzsMHySk5vHS6kbeO7bdeTkKk1q1+CpS7rSr01yhc4bjnURKFYXBawuCoiI3xKSL7fsLihl/8CKBFKM/LnzvK/MfgTicG7HZQJxIhLhVSY/Qe0JQFwmxES5g2k/+cMAOjWqxZZ9R7ny1fn8deoyDh87EezwjDFl4MtMDVtKKTK2grEUZbX77B1nbqHtS93npl5lWgIngFUBiMuEqFMa1mLqmP78aWg7oiKEt+dlcM6zs6xtyZgw4MvA2H4lPYDrAxBf/nREXb22dwaOAiuAKYACg73KDAG+LGWGclMFRUV4uL2Yq6Usu1oyJmT5cssuDZhdwqON36OD94GFwKP53bdFZCBwKfCYqh5W1TU4bUX3iUiyW+ZGnLanBwIQkwkTRV4tPTPLlrUwJkRF+lB2A3Cr17aaQAecZczH+yuofKqaKyLDgSeBFSKSDRwD/qCqrxQqOhZ4CJgjIjk4bU/DVLWkXoGmGsi/WhrasT53f7iE5VsPcvVr87mid1PuH3EKCbFRwQ7RGOPyJSE9pqrfFLH9ExF5A3gWmOSfsAqo6l7gd6WUyQH+6j6M+ZVTGtZiyu/7M3HWT4z/eh3vLtjMd2t28/glXTmjXUqwwzPG4FunhjdL2LebX7fzGBNSoiI8jBnShmm3D+DUJolsO5DNda8v4O5JS2zJdGNCgC+dGhoV8WgsIp1F5EEgNoBxGuM37eon8NFt/bhneAeiIzxM+mELZz/9HZ8s2WYziBsTRL7cstuC05utKNnADRUPx5jKERnh4bbBrRnasT73T17Ggk17uf3dH5n641bGXdSZxkk1gh2iMdWOLwlpM7+eQDUXZzqf+apqA1BN2GlTL573RvfhvYWbeXz6Kr5dvYt5T3/Hn4e157p+LYIdnjHVii8J6SNVfS1gkRgTJB6PcOXpzTj7lHo89MkKpi/fwSPTVvLxkm1c2iwv2OEZU234Mg7p46I2isjpIvKSiLT0U0zGBEW9WrG8eHUPJl7Tgwa1YlmyeT8Pzz3KkzNWk52TW/oJjDEV4ktCeqaY7TuAA8DbFQ/HmOAb1qkBX/1pENf2bU6ewoupGxj2zCxmr9sd7NCMqdJ8SUhFzuWvqj+r6j2AzcVuqoyE2Cge+U1nHugTS/v6CWTsPcI1ry3gT++nsyfrWLDDM6ZKKrENSUQuoGCW7yYiMrGoYkATwIa8myqnTVIE024fwMRZP/HcN+uY/ONWZq7Zxf0jTuHSHk0QqfiaS8YYR2mdGtoA57o/JxT6ubAcnNVZS5xNwZhwlT+g9rwuDXlg6jLmrN/D3R8uZdKiLTxyUSc6NPDrupTGVFsl3rJT1WdUtamqNgVW5f/s9Wilqmep6pxKitmYoGiRXJO3bzqdpy87lbo1o1mwaS/nPZfGo9NWcig7J9jhGRP2fGlDuihgURgTJkSEkac14du7BnNt3+aoKq+mbeSsf33Hx+lbbaYHYyrAl7nsfi5pv4iUuky4MVVFYpzT6eGTPwygW9Mkdh06xh3vpXPlK/NZt9OW4DKmPHwZGIuINARGAa2AGK/dfllT3Zhw0rlxIpNv68cHizbz5IzVfP/THs4dP5sbB7Tk9rPaEh/j05+YMdVamf9aRKQX8DVwHKeDQ/6gjGSc5LTD79EZEwY8HmFU72ac06kBT32xhvcWZjBx1k98nL6V+0ecwoWnNrLeeMaUgS9tSE8AN6tqCoU6OOAs0vcA8HwgAjQmXNSuGc3jI7vw8Zj+nNo0iZ0Hndt4oybOY80Ou41nTGl8SUjJqvqrBfhUNU9VHwfO8l9YxoSvrk2SmHJbP568pAt1akYzf+NeRjw3m3HTVnLQeuMZUyxfEtIvhqeLSEKhn2OAtv4Kyphw5/EIl/dqxrd3ncE1fZzeeK+lbWTIP1J5Z34GuXnWG88Yb74kpEMicp04N8MXAZNF5DwROQ+YAmwPSITGhLGkuGjGXeT0xuvZvDZ7Dh/n/inLOO+52cxZnxns8IwJKb4kpJeAq4HWwDj3+RPgU6AvcJffozOmiujcOJFJt/bl+Su70zipBqt3HOKqV+dz81sL+Wl3VrDDMyYklLmXndt+dLINSUS6AgNxetilqar9d8+YEogI53dtxNmn1Oe1tI28MHM9X6/aReqa3VzbtwV3nNWWxDibEtJUX2W+QhKRBe6jJYCqZqnqdFWdasnImLKLjYpgzJA2zLx7MKN6NSVXldfnbOSMf87k9bSNHD9hiwKa6smXW3anAGNUdWOggjGmOqmXEMsTl3Rl2tgB9G1Vl/1Hcnhk2krOeXYWX6zYYdMQmWrHl4S0VFUXFrdTRE7zQzzGVDudGiXyzu9O59Vre9IquSYbMw9zy39/YNTEeSzfeiDY4RlTaXxJSFNF5LIS9r9a0WCMqa5EhLM71ueLOwfx8AUdSYqLYv7GvVzwfBp/+iCdLfuOBDtEYwLOl4m22gF3ish9wCrAu2tQU79FZUw1FRXh4fr+Lbm4exOen7mON+duYvLirUxbsp2r+jRjzJA2JMd7TyNpTNXgS0K6FtiFM3fdwCL2JxSxzRhTDolxUTxwXkeu6dOCp79aw8dLtvHGnE18sHAzNw9sxc0DW5IQaz3yTNXiyy27lcUs0HdyAb9ABWlMddWsbhzPjurOZ2MHcmaHehw+nsv4b9Zxxj9SeS1tI9k5ucEO0Ri/8SUh3VLK/ssrEogxpngdG9Xi9et78cEtfenZvDZ7Dx9n3LSVnPnPVN5fmMGJXOsqbsKfLwv0Lcj/WUQauQNjERGPu3+t/8MzxhTWu2UdJt3al9eu60mHBglsO5DNPR8tY9gzs/h0yTbybI48E8Z8uUJCREaJyFpgM5C/QuzbIvJPqaQFX0RktoioiLSojPczJtSICGedUp/Pbx/I+FHdaFE3jp8yDzP23R85b0Ia36zaaWOYTFjyZaaGK4C3gCU4c9nlL/ByD9ASuNfv0f06hkuAAcXsixeR50VkjYisFJEvRaRToGMyJlg8HuE33Rrz1Z/O4PGRXWhQK5ZV2w9y01uLuOTFucxet9sSkwkrvlwh3QOcraq/VdWHgSMAqroZpwfepf4Pr4CIRAOPA58XU2QS0B3orqodgflAqog0DmRcxgRbVISHK3o3I/XuwTx4fkfq1oxmccZ+rnltASNfnMvMNbssMZmw4EtCilbV2UXtUNXD+NaFvDzG4Cx78avZIkRkKDAceFBV80cQjgMigPsDHJcxISE2KoKbBrRk1l+GcPc57akdF8WPGfu54Y2F/Obfc/h6pd3KM6HNl4QUKyIpRe0QkXoEcBySiNQB7qb45HIJkAOk5W9Q1ePAHHefMdVGzZhIxgxpQ9o9Z3L/iA4kx0ezdMsBbv7PIs6fkMaM5dut84MJST5NHQTMFpFrRKQ14BGR+iJyDvAZ8EFAInT8DXhbVTcVs78rsM1NQoVtBOq7CdOYaqVmTCSjB7Vm9l/O5MHzO5KSEMOKbQe59e3FDB8/i4/Tt1p3cRNSpKyX8CISi5OUhgEKiPsMTo+7kUUkhIoHKNIGmAWcoqoHRORh4CGgZX6Ccnv+HVPVLl7HPgo8AHRU1V8N3BWR0cBogJSUlB4ffBDInBo+srKyiI+PD3YYIaEq1cXxXOW7LSeYvjGHvdnOn279OGFEqyj6N4ok0lNyR9mqVBcVZXVRYMiQIT+oak9/nMuXBfqygeEiMhw4G6gLZAJfqeqX/gimGE8BT6hqeaY9LvEvTFUnAhMB2rdvr4MHDy7HW1Q9qampWF04qlpdDAMeOpHH5MVbeCF1Axl7j/DG8uN8sdnDLWe05vJeTYmNiijy2KpWFxVhdREYPndEUNUZwIwAxPIrIjIQ6Ezps0BkAo2K2J7frrXHn3EZE86iIz2M6t2MS3s0YdrS7Tw/cz3rd2Xx0CcrmPDtOq7p04Jr+janTs3oYIdqqhmfEpKIJAG3A31xEsA2YC4wQVX3+z88huL0lFtYaNxtA/f5cxE5jtPRYSnQU0SivW4btgR2ququAMRmTFiLjPBwUffGXHhqI75cuYPnZ65n+daDPPP1Wl78bj2XnNaEmwa0pFWK3ZoylaPMCcldgO8rIBHYCewDTsW5C3CHiJytqun+DE5V/4bToaFwHA/jtCGNKNSGdAJnrr1+QKq7Ldp9/Z4/YzKmqvF4hOGdG3JOpwZ8/9MeXpn1EzPX7OZ/8zN4Z0EGZ59Sn9GDWlmXcRNwvlwh/RuYBtyvqlvzN4pIE+D/gBdwEkClU9UvReQLYJyInOOORXoAyHNjM8aUQkTo1zqZfq2TWbfzEK/O3siUH7fy1cqdfLVyJy0TPRysvZURXRoSFeHTrGPGlIkvv1UtVPW6wskIQFW3ANcDLfwY16+IyAgRSQdudTd97r7O91ucW3fpIrIKJzkO9o7XGFO6tvUTePLSrqTdO4SxZ7YhKS6KjQfyuOO9dAY9NZMXUzdw4EhOsMM0VYwvV0ibi9uhqnki8nPhbSJSS1UPljuyX78IS//kAAAY5UlEQVTH5xQ/bRCqeghnNgdjjJ/US4jlrmHt+f3gNjzx3rek7Y5iw+7DPDljNc99s45LezThhv4trJ3J+IUvV0jvisjfROQXSUxEIkXkQdzu04WkVjQ4Y0xoqBEdwZBmUXx15xm8cUMvBrZN5mhOLv+d9zNn/us7rnltPjOW77CBtqZCfLlCGgH0AW4XkfXAQaAW0AbIBZa4M4Lna+23KI0xIcHjEYa0r8eQ9vVYs+MQr6dtZGr6Vmavy2T2ukwa1IplVO+mjOrVjAaJscEO14QZXxJSH6Bwm00NnPnjVhV6XVilrI9kjAmO9g2cdqb7RnTgwx+28M78DH7KPMyzX69jwrfrGXpKfa7q04z+rZPxlDILhDHgW0Jar6oDy1pYRH4sRzzGmDCTFBfNzQNbcdOAlny/YQ9vz/+ZL1fsZMaKHcxYsYOmdWowqlczftuzCfUS7KrJFM+XhHSBj+f2tbwxJoyJCP3aJNOvTTK7Dmbz3sLNvL9wM5v3HuUfX6zhma/WcvYp9bni9GYMbGNXTebXfJnLbktJ+0XkS1UdVtbyxpiqq16tWG4/qy1jhrRh9rrdvLsgg69X7Tp51dSkdg0u7dGEkd2b0KxuXLDDNSHC16mDBgFDcKbv8Z6Bsbu/gjLGVA0RHmFw+3oMbl+PXQezmfTDFt5dkMGWfUd59ut1PPv1Onq1qM3I05owoktDEmtEBTtkE0S+TB30MM40Pkdxpg3ynkckYAv0GWPCX71asYwZ0obbzmjN3A17mLx4C9OX72Dhpn0s3LSPhz5ZwdCO9RnZvTGD2qXYbBDVkC9XSDcBF6rqtKJ2WicGY0xZeDzCgLbJDGibzLiLTjBj+Q4m/7iFuRv28NnS7Xy2dDu146I4r2tDLurWmNOa1bb2pmrCl4SUUVwycg0rYZ8xxvxKzZhILunRhEt6NGHb/qNMTd/K5MVbWb8ri7fnZfD2vAwaJ9XgN90acVH3xrSrbzdiqjJfEtJ/RGSIqs4sZv+/gcv8EJMxphpqlFSD3w92bumt3H6QT9K38cmSbWzdf5QXUjfwQuoGOjRIYHjnBpzbuSHt6sdTaFkaUwX40svuZREZLyKPA+uBI15Fhvg1MmNMtSQidGqUSKdGidwzvAMLNu3l4/StfLZ0O6t3HGL1jkM8+/U6WibXdJNTA7o0TrTkVAX42qlhLE6nhiZYpwZjTIB5PEKfVnXp06ouf7+wM3M2ZDJj2Q6+XLmDjZmHeTF1Ay+mbqBxUg2GdqzPsI716dWyjnWICFO+3LK7FThPVacXtdM6NRhjAik60nNyHr3HcjuzYNNeZizfwRcrdrB1/1HenLuJN+duIrFGFEPapzCsUwMGtUshPsan0S0miHz5l/q5uGTksk4NxphKERnhObmY4MMXdOLHzfvdhQR3sGH3Yaamb2Nq+jaiIzz0a1OXwe1SGNQuhZbJNe3WXgjzJSFNEZEzVfXbYvZbpwZjTKXzeIQezWvTo3lt7j23Az/tzjq5yu0PGftIXbOb1DW7AWhSuwaD2qUwqG0K/dvUJSHWBuKGEl8SUmtgrIhsxjo1GGNCVKuUeG45I55bzmhNZtYxZq7exax1maSt282WfUd5Z34G78zPIMIjnNYsiX6tnTFR3ZomWdtTkPmSkK4FdgGN3Yc369RgjAkpyfEx/LZnU37bsym5ecryrQeYtXY3s9btZnHG/pOzRIz/Zh1x0RH0blmH/q2T6d8mmQ4NEmxAbiXzJSGtVNVi56uzTg3GmFAW4RFObZrEqU2TGHtWWw5m5zBvwx7mbthD2vpM1u/K+sXtvcQaUfRoXpueLWrTq0UdujROJDbKewpP40++JKRbStl/eUUCMcaYylQrNophnRowrFMDAHYezGbuhkzS1u1h7oZMth/I5tvVu/h29S4AoiM8dG5ci14t6hB18AQdDmTbqrh+5svA2AX5P4tIIyBZVZeKiEdV81R1bUAiNMaYSlC/ViwXd2/Cxd2boKps3X+URZv2sejnvSzatI81Ow+xOGM/izP2A/B8+jc0TIylW9MkujVNonuz2nRpnEiNaLuKKi9fl58YBTyC08FhB05b0tsisg24W1W9B8saY0zYERGa1I6jSe04LuruNJkfOJrD4ox9/LBpHzOX/kRGloftB7LZfmAH05fvAMAj0DK5Jh0bJdKxYS06NqpFx4a1SEmICebHCRu+zNRwBfAm8AnwDjDK3XUP8CxwL/C4n+MzxpiQ4Ay4dQbm9ozZzqBBZ7BhdxY/bt5P+ub9pGfsZ83OQ2zYfZgNuw/z6ZJtJ49Njo/hlIYJtK2XQLv68bRrkEDbevHW7dyLL1dI9wBnq+psABG5EEBVN4vItcAsLCEZY6oJj0doWz+BtvUTuKxnUwCyc3JZtzOLVdsPsnL7QVZuO8iq7QfJzDrG7HXHmL0u8xfnaJQYS9v6CbRMrkmLunE0T65Ji7o1aVK7RrXsgu5LQorOT0beVPWwiNj8HMaYai02KoIuTRLp0iTx5DZVZfPeo6zZeYi1Ow+xbuch1uzMYsPuLLYdyGbbgWy+W7v7F+eJ8AiNk2rQvG4cjZNqOI/aBc8NasUSWQUTli9JJFZEUlR1t/cOEamHjUMyxphfERGa1Y2jWd04hnasf3L7idw8MvYeYd2uLH7ec5hNe444z5lH2HbgKBl7j5Cx13v+AUeER0iJjyElwX0U/jkhhtpx0dSuGUVSjWiS4qLCpru6LwlpKjBbRB4D5gIeEakPdAMeBT4IQHzGGFMlRUZ4aJUST6uU+F/tO3Yil817j7J57xG27D/K1n1H2br/KFv3HWHr/qPsOnSMHQez2XEwu0zvVSMqgqS4KBJrRBEfE0lcTCQ1oyOIi46kZozzHBvlITrSQ3SEh6iTDyE60oOnkub/8yUh3Q90BN7CWXpCgPxWu+nA3/wbmjHGVE8xkRG0qRdPm3q/TlbgJKzdh46x+9AxMrOOn/x5d1Y2uw4eY/+RHPYdOc7+oznsP3Kcozm5HD2Qy/YDZUtgweLLOKRsYLiIDAfOApKBTOArVf0yQPEZY4zxEhMZcbJbemlUlSPHc50EdSSHozm5HD52giPHCz0fP0H28VyO5yo5uXknH8dO5HH8RN6vFr8r7AX/faySE5KI5F/1rFfVdwBUdQYww48xGGOMCRARoWZMJDVjImlS2//nf+Eq/52rtG4at+HcmgvaDIMi0k1EXhGRH0RkiYisFJHnRCTFq1y8iDwvImvcMl+KSKdgxW2MMcY3pd2y26Gqf6+USIr3HrACGOR2L28MfINz+/BUVT3qlpsE1AK6q+oRERkHpIpIN1XdGpzQjTHGlFVpV0hlngpIRO6rYCwluUdVDwO4yeUfQFtghPveQ4HhwIOqmt9PchwQgdMZwxhjTIgr7QopWkSaUrZbdlcRmJkauqrqca9t+b378u+IXgLkAGn5BVT1uIjMcfeNCUBcxhhj/Ki0hNQR2FQJcRSriGQE0A7n6m2W+7orsK2IshuB80WknqruCmCYxhhjKqi0hLQTeKkM5xFgdMXDKcMbiUQANwKvFVryIhk4VETxg+5zXZzVbr3PNRo37pSUFFJTU/0ebzjKysqyunBZXRSwuihgdREYfuvU4I5PqgwPAieAO8tQtsRbjao6EZgI0L59ex08eHCFg6sKUlNTsbpwWF0UsLooYHURGH7r1KCqfSoYS6lE5AbgMuBcVc0qtCuToufSy9+2J9CxGWOMqZjSElK0iDT1HvMTDCJyDXAXcGYR7UFLgUYiEu21vSWw09qPjDEm9JWWkOKB74CnKiGWYonI1RSsx7TD3Xa+2wYEMBmIAvoVOibaff1RJYdrjDGmHEpsQ1LVFpUUR7FE5CrgFZy2o7OlYNbZgcB2AFX9UkS+AMaJyDnuWKQHgDzg/yo/amOMMb4Kh0X1JgCxOINhvRXucPFb4AkgXURygS3AYJulwRhjwkPIJyRVrVPGcoewAbDGGBO2qt4auMYYY8KSJSRjjDEhwRKSMcaYkGAJyRhjTEiwhGSMMSYkWEIyxhgTEiwhGWOMCQmWkIwxxoQES0jGGGNCgiUkY4wxIcESkjHGmJBgCckYY0xIsIRkjDEmJFhCMsYYExIsIRljjAkJlpCMMcaEBEtIxhhjQoIlJGOMMSHBEpIxxpiQYAnJGGNMSLCEZIwxJiRYQjLGGBMSLCEZY4wJCZaQjDHGhARLSMYYY0KCJSRjjDEhwRKSMcaYkGAJyRhjTEiwhGSMMSYkWEIyxhgTEiwhGWOMCQlVKiGJSD0R+Z+IrHEfH4pIk2DHZYwxpnRVJiGJSDTwFRANdAI6AoeBmSISH8zYjDHGlK7KJCTgOqArcI+qnlDVXOAeoBVwW1AjM8YYU6qqlJAuATJU9af8Daq6A1jp7jPGGBPCqlJC6gpsLGL7RqBLJcdijDHGR5HBDsCPkoEfith+EIgTkRqqerTwDhEZDYx2Xx4TkeUBjjFcJAOZwQ4iRFhdFLC6KGB1UaC9v05UlRJScaS4Hao6EZgIICKLVLVnpUUVwqwuClhdFLC6KGB1UUBEFvnrXFXpll0mkFDE9gTgiPfVkTHGmNBSlRLSUqBFEdtbAssqNxRjjDG+qkoJaTLQXERa5G8QkfrAKcBHZTh+YmDCCktWFwWsLgpYXRSwuijgt7oQVfXXuYLKHRi7CFgFXAXkAa8BA4DuqpoVxPCMMcaUospcIanqcWAokIsz9mgVUAs405KRMcaEvipzhWRMZRORR4EHgBtU9c0gh2OMX4lIQ+AN4BxVLba3sj9VmSukolRkslURiRKRcSKyWkSWi8hcERkQ6JgDpbx1ISINReTvIrJARH5062OyiITtYGN/TMLrlv9TgEKsNBWtCxE5VUQ+FpHF7u/GGhF5KpAxB0oFvy8aisirbh0sFZEVInK/iEQFOu5AEJGLge+B1uU8/o8istKti8UiclGZDlTVKvnAmWR1CTAJZ7xVBPAWsA6IL8PxLwFrgRT39c3AUaBbsD9bZdZFoXpo6r6Odc9zBOgS7M9W2b8Xhc7zH2AaoMD1wf5cwagLoB+wDehfaNsYYFOwP1tl1gXOf+x/BJYDdd1t3d3vi38G+7OVsz7mA22BN5004dOx9+IMw2ntvh4K5ADnlnpssD94ACv0d+6XRatC2xrgtDHdXcqx7XE6RdzotX0F8FmwP1sl18VLwM1e21q755sQ7M9WmXVRqPxpwAbgnDBPSBX5vRCcdtq7vbZHleWLJ9QeFayLju6xd3pt/xjYHuzPVs76iHSffUpIQBLOKguPeG3/DFhR2vFV+ZZdRSZbvRjnD26m1/ZvgWFhuJxFReriD8DrXtu2uc+1/RZh5fHHJLxP47QdHfN/eJWqInUxAOiAc5V4kqrmqOp0fwdaCSpSFyfcZ++Zb/KvtMKOqp4ovVSRhgNxFP3d2VFEOpR0cFVOSBWZbLUrzhVSRhHHRuL8jyiclLsu1FnKI89rczv3ObXioVW6Ck3C694LrwG87+e4gqEiddHPfU5025BWuO0Fj4pIDb9GWTkq8jeyFngHuCV/HKSInIlzq2qCX6MMfV3dZ++63Oi1v0hVOSElA4eK2H5ystVSjj2izppK3scC1PVDfJWpInVRlNE4ty//W9HAgqDcdeE2UD8J3KXufYgwV5Hfi6bu87vAY6raCbgauB7nVlW4qejfyHXA58A6EdkGTAX+qKrj/BtmyEt2n73rskzfnVU5IRWnIt0XK6XrYyXy+fO4//O7HLhMVcP9llVhZamL23Dug6cFOpggK0tdxLrPr6nqAgBVXYqTsIeKyBmBCq6SlVoXIhKDc4uqN9BCVRsBg4H7ROSBwIYXNsr0XVOVE1JFJlvNxPlfkff93/zz7fFDfJXJLxPPisipOL3LLlTVlX6MrzKVqy5EJAm4D2cV4qqiIr8X+f8DTvfa/qP73KuCsVW2itTFTThtaner6lYAVV0M/BMYJyLd/B1sCMtfksO7Lsv03VmVE1JFJltdilM3Tb22t8RpwFxV0eAqWYUnnhWRrji3IUap6lz/hVbpylsXfXD+7SeJSLqIpAOvuvsecbf9za+RBl5Ffi9Wu8/e3yG5xWwPdRWpi/w2pnVe29fiXBmEW3KuiKXucwuv7S299hcp3H5pfFHmyVZFpL6IFK6LKTjdOAd7nXMI8KWqFnWvOZRVpC7yk9HHwDX5t6vcgYAvBzjuQChXXajqDFVtqqrd8h84Y9MA/uZue6RSPoH/VOT34nOc5OPdSN3ZfV7o72ADrCJ1sct9buZ1zubuc7jdUSkzEanrziOabwbOGMXBXkWHACtVdTUlCXZ/9wD2o4/Gycbv4/SM8+BMg/GLgW5Af5w/rBe9jn8JWAMku69vJLwHxparLnD+97cbeBGn0Tr/8UcgNdifrbJ/L7zONZjwHodU0b+Rp4HtQFv3dWP32C+D/dkqsy5w/vd/EPgSSHC3NQPW44xXqxHsz1eBenmTYsYhuZ87G5jutf1e9zujlfv6bMo4MLbKrhirqsdFZCjwDM5YAsUZSe092WoWcADnD6uwscBDwBwRycG5Zz5MVb3vmYe8CtbF33F6ztzqPgr7LmBBB4gffi8QkXo4Xz7549EeEZE/4gwg9tvqmYHmh7q4G6fN4HMRycUZFPsRzt9NWKlIXajqRhHpDTwMLBSR4zh18QUwTsNwcVAR+QdOt/Vm7uv8773e6kxkDc5/0PdSMC4RAFV9QkSygWkicgIngf9WyzA+zSZXNcYYExKqchuSMcaYMGIJyRhjTEiwhGSMMSYkWEIyxhgTEiwhGWOMCQmWkIwxxoQES0jGGGNCgiUkY4wxIcESkjEGEXlYRDR/4lgR8Z5YuDznbFrofCoiD/shVFOFVdmpg0z1VWhqn2Y4y6wvwZl1OQZnjq2pwMteU8IgIk8CZ6lqTx/eKwlnXr+p4TitlDd1Jo3117k2A90ARMSmhDGlsiskU+Wo6i73i/UT93U3VT1VVTsAdwAXAUtEpIPXobv49bL1pUnCmbutOq15Y0xAWEIy1Yo6C6edBezHmRQ0rtC+f6nqyKAFZ0w1ZwnJVDvubMV/w5k+/yYAEfm3iGS4bR0t8suKSF8R+U5EfhSRJSIyXUQudvddjLMuEBQs0pfu3sZDRO4XkQUi8oOILBORd0WkcaFz93TLHxeRN0XkbhH5XkS2icjLXuvMICJJIvKiiPwsIkvdxzMi0rJQmToi8opbZq37/ueWt67c+PaKyCYRGSEiM0Vkh4hMEZFaItJfRGaIyFYRmSQiieV9L2OCvt6GPewRqAclr+VSA2cF2M8LbbseZ9mBFu7rBGAfcJX7WoCnKLQOFM7KmEWuiYRzFdbV/TkCZ2mDxUCEV7lNOMsZXOC+7ujGNrpQmWhgETALd30eoC3ObcY/uq9j3PPPA2q52y51zzWklLp6uIS6ehNnyYUH3df13Xp5G2fZboAGbplHizmHAg8H+3fCHqH9sCskUy2ps0ZNJgWrehalPU4b0Ub3GMVJKh+W8W36qOpS99hc4GWgO1BUp4mdqvqpW3YlzhLhgwvtvwboAdyvbmcMVV0HTMRJOPllugN/VdWDbpkPcRJZRdcoigcmuOfcCaQBVwCvuNt2ALNxVgY1plysl52pzqSU/WuAncBUEZkAvK+qa4Hny3j+2iIyFWiDkzTyb8G1AuZ7lV3r9XovzpVIvqHu8y+WBlfVvxZ6eTbOlchcr3MtB64VkShVzSlj7N72qOp+r/i8t+3BWfLbmHKxKyRTLbmdGeoCPxdXRlUPAacDU4A/A2vcNpn+ZTj/qcBMnCWsu6nT62+EuzumiEOOeL3Ow7nNly8ZOKKqx0p422TchFSoPSsd56plL04X+PLyjk+L2RaBMeVkV0imuhqK8+X5eUmFVPVn4BZ3ifJLgMeA6SLSQlX3lnDo5TiJ5zFVPVFCubLKBOJEJKaEpJSJk8h6uLcIjQkrdoVkqh0RiQUewWkbeq2Ecl1E5H5w2pxU9W3gTpzODi3cYvm3wMQ9poeItKPgKqjwgNAGFQj7K/e5h1eM94jIXYXKROJ0iihcpruIvFyB9zamUlhCMtWKiPQEvsVppB/hdm4oTl3gLhFp6x4rQD9gB7DKLbMTOAo0cV+PB/oAn7mv/+QeGw3cU4HQ/wv8ADwmIjXdc3bGmSXiS68y/xKRBLdMHZzOCGsq8N7GVI5gd/Ozhz38/QDqAek47Sbq/pyO03MtDac9KMHrmH/jzNKgwErgZpw2mX8By9zjVwDTgC5ex96C0xa1HKe9KdbdPhpYj5MMvnHfV933eQJo7Z73uBvrFPe4uUCW+0gHot3tScBL7nulu5/lTK9Y8stk4EyZtAgYU4Y6e5giun3jtIPtdWNMx0nSU8qwrbXXeazbtz1KfYiqTTFlTHXnTnz6kKqW1vOwvOdX4O+q+nAgzm+qBrtlZ4wB52psZ6Bm+8a5tZlV2jGmerMrJGOMMSHBrpCMMcaEBEtIxhhjQoIlJGOMMSHBEpIxxpiQYAnJGGNMSLCEZIwxJiRYQjLGGBMS/h/pNMdwPlloCgAAAABJRU5ErkJggg==\n", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "# Plot the temperature along the rod.\n", "pyplot.figure(figsize=(6.0, 4.0))\n", "pyplot.xlabel('Distance [m]')\n", "pyplot.ylabel('Temperature [C]')\n", "pyplot.grid()\n", "pyplot.plot(x, T, color='C0', linestyle='-', linewidth=2)\n", "pyplot.xlim(0.0, L)\n", "pyplot.ylim(0.0, 100.0);" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Now heat is accumulating in the domain. Our insulator works! If you increase the number of time steps `nt` further, you will see that the outflow temperature at $x = 1$ continues to increase." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Explicit schemes and BCs" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The numerical schemes we've learned so far are called _explicit_, because we compute the updated solution at $t^{n+1}$ using only known information at time $t^n$. This is simple but has limitations, particularly with the small sizes of time step necessary to obtain stability.\n", "\n", "Here's another issue with explicit schemes. Figure 2 shows the superposed stencil of several grid points over three time steps computed using the forward-time, centered scheme. You know that to calculate $T_i^{n+1}$ you use the information from the grid points $i-1, i, i+1$ at the previous time step. Think about what happens at the boundary: any change in the boundary condition will feed into the solution only at the next time step, not immediately. But this contradicts the physics of the problem, as any change on the boundary should be felt right away under the diffusion equation. To include boundary effects on the same time level, we can use an _implicit_ update (subject of the next lesson)." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "![explicitFTCS-BCeffect](./figures/explicitFTCS-BCeffect.png)\n", ".\n", "#### Figure 2. Stencil with explicit scheme over 3 time steps." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Explicit schemes and time step" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Let's replace the parameter $\\sigma=\\alpha \\frac{\\Delta t}{(\\Delta x)^2}$ into Equation 4 and rearrange it a little bit, grouping together the terms at grid point $i$ on the right-hand side:\n", "\n", "$$\n", "\\begin{equation}\n", "T_{i}^{n+1} = \\sigma T_{i-1}^{n}+(1- 2 \\sigma) T_{i}^{n} + \\sigma T_{i+1}^{n}\n", "\\end{equation}\n", "$$\n", "\n", "It's helpful to look at a sketch of the stencil for the heat equation with the weights added in for the contribution of each grid point. See Figure 3, which shows the weights for two values of $\\sigma$: $\\frac{1}{2}$ and $1$. Notice that with $\\sigma=\\frac{1}{2}$, the solution variable at the next time step is _independent_ from its own value at the present step, which seems a bit weird. And with $\\sigma=1$, the current value affects negatively the future value—now _that's_ a red flag!\n", "\n", "In fact, the solution will develop growing errors with $\\sigma>\\frac{1}{2}$, i.e., become unstable. This limits the time step that can be used quite significantly, because $\\Delta t \\propto (\\Delta x)^2$. This is a serious cost of _explicit_ methods and an incentive to consider _implicit_ alternatives (next lesson)." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "![stencil-weights](./figures/stencil-weights.png)\n", ".\n", "#### Figure 3. Stencils for the heat equation with $\\sigma= \\frac{1}{2}, 1$." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "---\n", "###### The cell below loads the style of the notebook" ] }, { "cell_type": "code", "execution_count": 13, "metadata": {}, "outputs": [ { "data": { "text/html": [ "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "" ] }, "execution_count": 13, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from IPython.core.display import HTML\n", "css_file = '../../styles/numericalmoocstyle.css'\n", "HTML(open(css_file, 'r').read())" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (MOOC)", "language": "python", "name": "py36-mooc" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.6.6" } }, "nbformat": 4, "nbformat_minor": 1 }