{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# DiscreteDP Example: Asset Replacement" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "** Kosumi Mao **\n", "\n", "*Department of Economics, University of Tokyo*" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "From Miranda and Fackler, Applied Computational Economics and Finance, 2002, Section 7.6.2" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "`Julia` translation of the [Python version](http://nbviewer.jupyter.org/github/QuantEcon/QuantEcon.notebooks/blob/master/ddp_ex_MF_7_6_2_py.ipynb)" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": true, "scrolled": true }, "outputs": [], "source": [ "using QuantEcon" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "maxage = 5 # Maximum asset age\n", "repcost = 75 # Replacement cost\n", "beta = 0.9 # Discount factor\n", "m = 2 # Number of actions; 1: keep, 2: replace;" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [], "source": [ "S = [i for i in 1:maxage]\n", "n = length(S);" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "scrolled": true }, "outputs": [], "source": [ "# Reward array\n", "R = Array{Float64}(n,m)\n", "for i in 1:n\n", "R[i, 1] = 50 - 2.5 * S[i] - 2.5 * S[i]^2\n", "R[i, 2] = 50 - repcost\n", "end\n", "\n", "# Infeasible action\n", "R[n,1] = -Inf;" ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "5×2 Array{Float64,2}:\n", " 45.0 -25.0\n", " 35.0 -25.0\n", " 20.0 -25.0\n", " 0.0 -25.0\n", " -Inf -25.0" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "R" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "collapsed": true, "scrolled": true }, "outputs": [], "source": [ "# (Degenerate) transition probability array\n", "Q = zeros(n,m,n)\n", "for i in 1:n\n", " Q[i, 1, min(i+1, n)] = 1\n", " Q[i, 2, 1] = 1\n", "end" ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "scrolled": false }, "outputs": [ { "data": { "text/plain": [ "5×2×5 Array{Float64,3}:\n", "[:, :, 1] =\n", " 0.0 1.0\n", " 0.0 1.0\n", " 0.0 1.0\n", " 0.0 1.0\n", " 0.0 1.0\n", "\n", "[:, :, 2] =\n", " 1.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", "\n", "[:, :, 3] =\n", " 0.0 0.0\n", " 1.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", "\n", "[:, :, 4] =\n", " 0.0 0.0\n", " 0.0 0.0\n", " 1.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", "\n", "[:, :, 5] =\n", " 0.0 0.0\n", " 0.0 0.0\n", " 0.0 0.0\n", " 1.0 0.0\n", " 1.0 0.0" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" } ], "source": [ "Q" ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "scrolled": false }, "outputs": [], "source": [ "# Create a DiscreteDP\n", "ddp = DiscreteDP(R, Q, beta);" ] }, { "cell_type": "code", "execution_count": 9, "metadata": {}, "outputs": [], "source": [ "# Solve the dynamic optimization problem (by policy iteration)\n", "res = solve(ddp, PFI);" ] }, { "cell_type": "code", "execution_count": 10, "metadata": {}, "outputs": [ { "data": { "text/html": [ "1" ], "text/plain": [ "1" ] }, "execution_count": 10, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Number of iterations\n", "res.num_iter" ] }, { "cell_type": "code", "execution_count": 11, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "5-element Array{Float64,1}:\n", " 216.56 \n", " 190.622\n", " 172.914\n", " 169.904\n", " 169.904" ] }, "execution_count": 11, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Optimal value function\n", "res.v" ] }, { "cell_type": "code", "execution_count": 12, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "5-element Array{Int64,1}:\n", " 1\n", " 1\n", " 1\n", " 2\n", " 2" ] }, "execution_count": 12, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Optimal policy\n", "res.sigma" ] }, { "cell_type": "code", "execution_count": 13, "metadata": { "scrolled": false }, "outputs": [ { "data": { "text/plain": [ "5×5 Array{Float64,2}:\n", " 0.0 1.0 0.0 0.0 0.0\n", " 0.0 0.0 1.0 0.0 0.0\n", " 0.0 0.0 0.0 1.0 0.0\n", " 1.0 0.0 0.0 0.0 0.0\n", " 1.0 0.0 0.0 0.0 0.0" ] }, "execution_count": 13, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Transition probability matrix\n", "res.mc.p" ] }, { "cell_type": "code", "execution_count": 14, "metadata": { "scrolled": true }, "outputs": [], "source": [ "# Simulate the controlled Markov chain\n", "initial_state_value = 1\n", "nyrs = 12\n", "spath = simulate(res.mc, nyrs+1, init=initial_state_value);" ] }, { "cell_type": "code", "execution_count": 15, "metadata": { "collapsed": true }, "outputs": [], "source": [ "using PyPlot" ] }, { "cell_type": "code", "execution_count": 16, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAA/YAAAGJCAYAAAAg86hpAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAPYQAAD2EBqD+naQAAIABJREFUeJzs3Xl4U2XaP/BvlibpkqZ0TwuVUmhZC1JQESiIiCwFFJRhVVx+4EzxFXnHUV5FKS6oo6ijCM7I6AgiDjMgggJCZREBxSJQQCpbodC9pXuTpsn5/dGetKEtdD856fdzXbkue3Jyzp3wmJznPPfz3ApBEAQQERERERERkSwppQ6AiIiIiIiIiJqPHXsiIiIiIiIiGWPHnoiIiIiIiEjG2LEnIiIiIiIikjF27ImIiIiIiIhkjB17IiIiIiIiIhljx56IiIiIiIhIxtixJyIiIiIiIpIxduyJiIiIiIiIZIwde6JW8umnn0KhUCA1NbVDnbuyshIKhQKvvPJKu59brnbv3g2FQoEDBw5IHQoREUmko143uLKRI0eib9++UodBHRQ79uSyTp06hdmzZyM0NBRarRYhISGYNWsWTp061aLjvvbaa/jqq69aKcr2Ex0djbCwMAiC0OA+Q4cORVBQECorK9sxsub7+OOPoVAo6n288MILUoeHDz74AJ999pnUYRARUSPwuqF+Bw4cwLhx4xAaGgqdToewsDBMnDgR69evt+9TVlaGpUuXYu/evc0+z8GDB7F06VIUFBS0QtQ1xJsY4kOn0yEyMhILFixAVlZWk4+Xnp6OpUuX4tixY60aJ1FLsWNPLmnTpk0YOHAgEhMT8cgjj+DDDz/EY489hj179mDgwIHYvHlzs4/d0A/0nDlzUF5ejltuuaUlobeZWbNmIS0tDT/88EO9z6empuLQoUP4wx/+ALVa3c7Rtcyrr76KtWvXOjwefPBBqcNqsGM/atQolJeXY+jQoRJERURE1+N1Q/02btyI2NhYZGVl4amnnsL777+P2bNn49q1a/jHP/5h36+srAwJCQkt7tgnJCS0esdetGzZMqxduxYffPAB7rzzTqxatQpDhgxBWVlZk46Tnp6OhIQEduzJ6cjr6p2oEc6fP485c+agW7du2L9/PwICAuzPPfXUUxg+fDjmzJmDEydOoFu3bq12XpVKBZVK1WrHa20zZ87E4sWLsX79esTGxtZ5/osvvoAgCJg1a5YE0bXM+PHjMWDAAKnDaDSlUgmdTid1GEREBF433MjSpUvRu3dvHD58GBqNxuG57OxsiaJqnnHjxmHQoEEAgMcffxx+fn5YsWIFtmzZghkzZkgcHVHLccSeXM5f//pXlJWV4e9//7vDjzMA+Pv746OPPkJpaSnefPNN+/alS5dCoVDgzJkzmDZtGry9veHn54ennnoKJpPJvp9CoUBpaSn+9a9/2VO65s6dC6D++Wpdu3ZFXFwc9u7di0GDBsHd3R39+vWz39HetGkT+vXrB51Oh5iYGPz6668O8Z44cQJz585Ft27doNPpEBwcjEcffRR5eXlN/ly6dOmC2NhY/Oc//4HFYqnz/Pr16xEREYHbb78dAGAymbBkyRIMHDgQBoMBnp6eGDFiBPbv33/Tc82ePRvdu3evs/2FF16oNxvgX//6F2JiYuDu7g5fX1/MnDkTV69ebfJ7rM+5c+egUCiwbt06h+31rQ3wwgsvQKFQ4OLFi3jooYdgMBjg4+ODxx9/HOXl5XWO/dlnn2Hw4MHw8PCAr68vRowYgd27dwMAOnfujJSUFCQmJtrbyujRowE0PMd+w4YNuPXWW6HT6RAQEICHHnoIGRkZDvvMnj0bPj4+SEtLw6RJk+Dl5YWAgAA8++yzsNlsrfKZERF1JLxuaNj58+cxePDgOp16AAgMDARQlfEnfm4JCQn297l06dJGx7R06VI888wzAIDw8HD7MWp/NuvWrXO4Vpg+fTrS0tKa9b6Aquw5ALh48SIAID8/H3/+85/Rr18/eHl5wdvbG+PGjcPx48ftr9m7dy8GDx4MAHjkkUfscX766acOxz59+jTuuusueHh4IDQ01KHtELUVduzJ5WzduhVdu3bF8OHD630+NjYWXbt2xTfffFPnuWnTpsFkMmH58uUYP348/va3v2HevHn259euXQutVovhw4fbU77nz59/w3jOnTuHmTNnYuLEiVi+fDmuXbuGiRMn4vPPP8fTTz+N2bNnIyEhAefPn8e0adMcOme7du3ChQsX8Mgjj+D999/H9OnTsWHDBowfP/6Gc+UbMmvWLOTl5WHnzp0O25OTk3Hy5EmH0fqCggL885//xKhRo/DGG2/gpZdeQkZGBu655x4kJyc3+dwNSUhIwCOPPIKoqCisWLECTz31FHbu3InY2FgUFRU16hgFBQXIzc21P5p7ASOaOnUqysvL8frrr2Pq1KlYs2ZNncUBlyxZgocffhg6nQ7Lli3DSy+9hNDQUOzZswcA8P7778NoNKJPnz72trJ48eIGz/nxxx9jxowZ0Gg0eOONN/DYY49h48aNGDZsWJ3PwWKxYMyYMQgKCsJbb72F4cOH480338SaNWta9L6JiDoiXjc07JZbbkFiYiKuXLnS4D4BAQFYtWoVAOD++++3v88pU6Y0OqYpU6bYR83feecd+zHEGwavvvoqHnroIfTo0QMrVqzAwoULkZiYiNjY2Gan7p8/fx4A4OfnBwC4cOECvvrqK8TFxWHFihV45plnkJycjBEjRiA9PR0A0KtXLyxbtgwAMG/ePHuctTMhr127hrFjx6J///54++230bNnTzz77LPYvn17s+IkajSByIUUFBQIAITJkyffcL9JkyYJAISioiJBEAThpZdeEgAIkyZNctjvT3/6kwBAOH78uH2bp6en8PDDD9c55ieffCIAEC5evGjfdssttwgAhIMHD9q37dy5UwAguLu7C5cuXbJv/+ijjwQAwp49e+zbysrK6pzniy++EAAI+/fvv+G565Ofny9otVphxowZDtufe+45AYCQkpJi32axWASz2Vzn9f7+/sK8efMc9gMgvPzyy/Zts2bNEiIiIuqc//nnnxdUKpX973PnzglKpVJ44403HPY7duyYoFKp6my/3j/+8Q8BQJ1H7XOcPXtWACCsXbvW4bX1xf38888LABzenyAIwsSJE4WgoCD732fOnBEUCoXw4IMPClar1WFfm81m/++oqCjh7rvvrhP3rl27BADCDz/8IAiCIJhMJsHPz0/o37+/YDKZ7Pt99dVXAgBh2bJl9m2zZs0SAAivvfaawzGjo6OF22+/veEPi4iI6uB1w8U6+9e2Zs0aAYCg0WiEu+66S1iyZInwww8/1Pnty8nJEQAIL730Up1jNDamv/71r/XGlJqaKqhUKuHVV1912J6cnCyo1eo6268nvtfdu3cLOTk5QlpamrBhwwbBz89PcHd3F65cuSIIQtVv8fXv6+LFi4JWq3X4HT5y5IgAQPjkk0/qnGvEiBECAOGzzz6zbzObzUJwcLAwderUG8ZJ1FIcsSeXUlxcDADQ6/U33E98/vqR0Pj4eIe/n3zySQDAt99+2+yYevfujSFDhtj/FlPdR40ahbCwsDrbL1y4YN/m7u5u/2+TyYTc3FzccccdAICjR482OZZOnTph/Pjx+Prrr1FaWgoAEAQBGzZswKBBgxAZGWnfV61W21PvbDYb8vPzYbVaMWjQoGaduz6bNm0CADzwwAMOI+6hoaHo1q2bffT7ZlavXo1du3bZH999912L4nriiScc/h4+fDiysrLsC+xs3rwZgiDgxRdfhFLp+DWqUCiafL6ff/4ZeXl5iI+Ph1artW+fPHkyunfvXu8o0fUjPsOGDXNoO0REdHO8brixRx99FDt27MDIkSNx4MABvPzyyxg+fDh69OiBgwcPNuoYLY1p06ZNsNlsmDZtmsO1QnBwMHr06NHoa4XRo0cjICAAXbp0wfTp0+Hl5YXNmzcjNDQUAKDVau2/6VarFXl5efDy8kJUVFSTPjsvLy/Mnj3b/rdGo8Ftt93G32hqc1w8j1yK+MMr/lA3pKEf8h49ejj8HRERAaVS2aI6r7V/hAHAYDAAqJrzXt/2a9eu2bfl5+cjISEBGzZsqLNITWFhYbPimTVrFjZv3owtW7Zg5syZOHjwIFJTU/HUU0/V2feTTz7B22+/jZSUFIcSeNd/Ts119uxZ2Gw2RERE1Pv8zS60RLfffnurLp53/b9Zp06dAFT923h4eOD8+fNQqVTo2bNnq5zv0qVLAICoqKg6z/Xs2RO//PKLwzYvLy/4+vrWibF22yEiopvjdcPN3Xvvvbj33ntRVlaGpKQkfPnll1i9ejXi4uJw5swZ+1z7hrQ0prNnz0IQhAavPdzc3Br1PlauXInIyEio1WoEBQUhKirK4ea8zWbDe++9hw8//BAXL16E1Wq1Pyem6zdG586d69zk79SpE06cONHoYxA1Bzv25FIMBgOMRuNNvzxPnDiB0NBQeHt733C/5oy+Xq+hFW8b2i7UmgM3bdo0HDx4EM888wwGDBgALy8v2Gw2jB07ttkLpcXFxcFgMGD9+vWYOXMm1q9fD5VKhenTpzvs9+mnn+LRRx/FlClT8NxzzyEgIAAqlQqvvPLKDefaAQ1/brV/JIGqH1GVSoXt27fX+5rGduxbI5baGvNvIyVnj4+ISC543dB4Hh4eGD58OIYPHw5/f38kJCRg+/btePjhh2/4upbGZLPZoFAosH379no/Ay8vr0bFf9ttt9lXxa/Pa6+9hiVLluDRRx/Fyy+/DF9fXyiVSixcuLBJnx1/o0kq7NiTy4mLi8M//vEPHDhwAMOGDavz/A8//IDU1NR6F685e/YswsPD7X+fO3cONpsNXbt2tW9rjR/txrh27RoSExORkJCAF1980SHGltBqtXjggQfw2WefISsrCxs3bsSoUaMQHBzssN9//vMfREZG4r///a/D9ueff/6m5+jUqVO9i9mII9OiiIgIWK1WREREtGoJoetjAVAnnutjaQox7jNnzqBv374N7tfYtiLWME5JSalTijAlJcWpaxwTEckdrxuaTuwgi5VbGnqPTYmpoWNERERAEASEh4c7TBlsbf/5z39w11131VmItqCgAP7+/jeNk0hqnGNPLueZZ56Bu7s75s+fX2d19Pz8fDzxxBPw8PCwl1WpbeXKlQ5/v//++wCqap+KPD09m70Ca1OId3yvv8P77rvvtvjYs2bNgsViwfz585GTk1Nv7fr6zv/jjz/iyJEjNz1+REQE8vLycOrUKfu2q1ev4uuvv3bYb+rUqVAqlUhISKjzPgVBaPHq9gDg6+sLHx+fOmX6Pvzww2Yf8/7774dCoUBCQkKdu/i130dj28ptt90GPz8/rFq1ChUVFfbtW7duxdmzZzFhwoRmx0pERDfG64aGJSYm1rtdXENAnELm4eEBoO5N9KbE5OnpWe8xpkyZApVK1abXCmKs1x9/48aNdcrvNhQnkdQ4Yk8up0ePHvjXv/6FWbNmoV+/fnjssccQHh6O1NRUrFmzBrm5ufjiiy/qndd98eJFTJo0CWPHjsWhQ4ewbt06zJw5E/3797fvExMTg927d2PFihUICQlBeHi4fQGb1uTt7Y3Y2Fi8+eabsFgsCA0NxXfffWevt9oSI0aMQOfOnbFlyxa4u7vbS9LUFhcXh6+//hpTpkzBuHHjcOHCBaxevRq9evWC2Wy+4fFnzpyJ//u//8PkyZPx5JNPorS0FB9++CGioqIc6sFGRkYiISEBS5YswYULF+x12S9evIhNmzZhwYIFWLhwYYvf7+OPP4633noL8+bNw8CBA7F3716cO3eu2ceLiorCc889h+XLl2PEiBG47777oNFocOTIEYSFhdlL48XExODjjz/Gq6++ioiICAQHB2PkyJF1jqfVavH666/j//2//4cRI0ZgxowZyMjIwHvvvYdu3brVu/4BERG1Dl43NGzy5MkIDw/HxIkTERERgdLSUuzevRtbt27F4MGDMXHiRABVC+T17t0bX375JSIjI+Hr64u+ffuib9++jY4pJiYGQFVm4PTp0+Hm5mY/7yuvvILFixcjNTUV9913H/R6PS5evIjNmzdj3rx5+POf/9zs9yiKi4vDsmXL8Mgjj+DOO+9EcnIyPv/88zoZhREREfDx8cHq1auh1+vh6emJ22+/3SFzg0gS7bwKP1G7OXHihDBjxgzBaDQKbm5uQnBwsDBjxgwhOTm5zr5i2ZrTp08LDzzwgKDX64VOnToJCxYsEMrLyx32PXPmjBAbGyu4u7sLAOwlbBoqWzNhwoQ65wMgxMfHO2y7ePGiAED461//at925coV4f777xd8fHwEg8EgPPjgg0J6enqdkjKNLVtT2zPPPCMAEKZNm1bv8zabTXj55ZeFsLAwQafTCQMHDhS+/fbbOqXs6isbJwiCsH37dqF3796Cm5ub0LNnT+GLL76oU+5OtHHjRmHo0KGCp6en4OnpKfTs2VNYsGCBcPbs2Ru+B7Hc3a+//nrD/UpLS4VHHnlE8Pb2FvR6vTBjxgwhIyOjwXJ3165dq/c8aWlpDts//vhjYcCAAYJWqxU6deokjBw5UkhMTLQ/n56eLowbN07w8vISANhL311f7k60fv16+/H8/PyE2bNnC1evXnXYZ9asWYLBYKjzHhv6bImIqHF43VDXF198IUyfPl2IiIgQ3N3dBZ1OJ/Tu3Vt4/vnn7aX/RAcPHhRiYmIEjUbjcL7GxiQIgvDyyy8LoaGhglKprBPff//7X2HYsGEO1wrx8fEOpXrrI77XI0eO3HA/k8kk/O///q9gNBoFd3d3YejQocKhQ4eEESNGCCNGjHDYd8uWLULv3r0FtVrtUPpuxIgRQp8+feoc++GHHxZuueWWG56fqKUUgsCVHIiWLl2KhIQE5OTkOMyjIiIiIroerxuIyNlwjj0RERERERGRjLFjT0RERERERCRj7NgTERERERERyZikHfvly5dj8ODB0Ov1CAwMxH333YeUlBT78xaLBc8++yz69esHT09PhISE4KGHHkJ6errDcUwmE+Lj4+Hn5wcvLy9MnToVWVlZ7f12SMaWLl0KQRA4T46ISAZef/11KBSKVqmaQdQcvG4gImcjacd+3759iI+Px+HDh7Fr1y5YLBaMGTMGpaWlAICysjIcPXoUS5YswdGjR7Fp0yakpKRg0qRJDsd5+umnsXXrVmzcuBH79u1Denp6veW7iIiISN6OHDmCjz76CNHR0VKHQkRE5DScalX8nJwcBAYGYt++fYiNja13nyNHjuC2227DpUuXEBYWhsLCQgQEBGD9+vV44IEHAABnzpxBr169cOjQIdxxxx3t+RaIiIiojZSUlGDgwIH48MMP8corr2DAgAF49913pQ6LiIhIcmqpA6itsLAQAODr63vDfRQKBXx8fAAASUlJsFgsGD16tH2fnj17IiwsrMGOvdlshtlstv9ts9mQn58PPz8/KBSK1no7REREzSYIAoqLixESEgKlkkviAEB8fDwmTJiA0aNH45VXXrnhvvytJyIiZ9eav/VO07G32WxYuHAhhg4dir59+9a7j8lkwrPPPosZM2bA29sbAJCZmQmNRmPv6IuCgoKQmZlZ73GWL1+OhISE1n0DREREbSAtLQ2dO3eWOgzJbdiwAUePHsWRI0catT9/64mISC5a47feaTr28fHxOHnyJA4cOFDv8xaLBdOmTYMgCFi1alWLzrV48WIsWrTI/ndhYSHCwsKQlpZmv2FAREQkpaKiInTp0gV6vV7qUCSXlpaGp556Crt27YJOp2vUa/hbLy+CIGDC337A5fxyAMDuRbEINrhLHBU5s4pKG+56aw8KyysBAElLRkOrVkkcFTmzwjILRr61BxarAIO7Gj8+d7fUIbXqb71TdOwXLFiAbdu2Yf/+/fXeqRA79ZcuXcL333/v8IMcHByMiooKFBQUOIzaZ2VlITg4uN7zabVaaLXaOtu9vb35Y09ERE6FaeNV0+6ys7MxcOBA+zar1Yr9+/fjgw8+gNlshkrleEHP33p5Sb5SiCulCii1HgCAYpsGkfx3ohvYcyYbxTYNlFoNAKBc0CLA20PiqMiZ7fg9DVa1O5RqoNgGuOk84a5xjptBrfFbL+mkPUEQsGDBAmzevBnff/89wsPD6+wjdurPnj2L3bt3w8/Pz+H5mJgYuLm5ITEx0b4tJSUFly9fxpAhQ9r8PRAREVHbuvvuu5GcnIxjx47ZH4MGDcKsWbNw7NixOp16kp+tJxxLGWcUlksUCcnF1uOObSadbYZuwtXbjKQj9vHx8Vi/fj22bNkCvV5vnxNvMBjg7u4Oi8WCBx54AEePHsW2bdtgtVrt+/j6+kKj0cBgMOCxxx7DokWL4OvrC29vbzz55JMYMmQIV8QnIiJyAXq9vs76O56envDz82twXR6SD5tNwLbqC24fDzcUlFmQXuBaF9zUukwWK747nQWAbYYaJ7fEjIPn8wAABnc3FJZXtZmIAC+JI2s9ko7Yr1q1CoWFhRg5ciSMRqP98eWXXwIArl69iq+//hpXrlzBgAEDHPY5ePCg/TjvvPMO4uLiMHXqVMTGxiI4OBibNm2S6m0RERERUSMdvXwN6YUmeGnVuG9AKAAgvcAkcVTkzPamZKPEXIlQH3eMigoEAGQUss1Qw7afzITVJiC6swEDulRN385wse8ZSUfsBUG44fNdu3a96T4AoNPpsHLlSqxcubK1QiMiIiIntnfvXqlDoFYipseO6R2EbgGeAJiKTze29XgGACAu2giNumqckiP2dCPi98zE6BBcyC0B4Hqp+CyMS0RERESSsNoEfJNcNc1yYv8QGKtXwufoKzWk1FyJxDNVafhsM9QYmYUmHEnNBwBMiDbWtBkXG7Fnx56IiIiIJPHThTzklpjh4+GGod39EeJTVc6Qo6/UkN2/ZcFksSHc3xN9QrzZZuimvknOgCAAg7t2QoiPO0J8qjr2HLEnIiIiImoF4mr4Y/sEQ6NWIqR6JC23pALmSquUoZGTqp2Gr1Aoajpp7NhTA8Q0/LjoEABAiME1bwaxY09ERERE7a6i0obtJ2vS8IGqFc51blWXp5lMrabrFJZZsO/3bAA1bcZY3UkrMlWixFwpWWzknNLyy3AsrQBKBTCuXzAAwOhTM32jMeu5yQU79kRERETU7n48l4uCMgv8vbS4o5sfAFSNwFaP2l91sdE0armdpzNhsQqICtIjMkgPANDr3KDXVq0HnsE2Q9cRs4KGRPghUF91E0i8GVRWYUVhuUWy2FobO/ZERERE1O7E9NgJ/YKhUirs28XUaldb2Ipazr6yeX+jw/aaOdNsM+RInLoxsToNHwB0bir4eWoAuFZpTXbsiYiIiKhdmSxWfHe6ZmXz2sTRNJa8o9rySsw4eD4PQM1caZGxegE9jthTbeeyS/BbRhHUSgXG9g12eM7eZlzoe4YdeyIiIiJqV3tTclBirkSIQYeBYZ0cnjNy9JXqsf1kJqw2AdGdDejq7+nwnFi+jG2GattWnYYfGxkAHw+Nw3Ou2GbYsSciIiKidiXOe43rHwJlrTR8AAhl+TKqhz0N/7rReoBthuoSBKHBqRsAEOqC1RTYsSciIiKidlNqrkTib1Vp+HHRdS+4xZE0zrEnUWahCT+n5gMAJtyozbhQWjW1zG8ZxTifUwqNWonRvYLqPG+f8sOOvWvaWV1yhYiIiIjaxu7fsmCy2HCLnwf6hRrqPB8ijr6yk0bVvknOgCAAg27pZF8or7aaOfa8GURVxKygUVGB0Ovc6jzvilN+2LGv5YUtyUjJLJY6DCIiIiKXVXuVaoVCUed5cfS12FSJYpPrlKKi5qtJqa6bhg/AoUSiK9Ulp+ZxTMNvqM243vQNduxrKa+wYf7aX1yqniERERGRsygst2D/7zkAGr7g9tSqYXCvGmHLcKHRNGqetPwyHEsrgFIBjOsXXO8+wdWdNHOlDdfKeB3f0R2/Uogr18rhoVFhVM/AevcRMz+yikyw2VzjZhA79rUYDTqk5pVh0ZfHXOYfmIiIiMhZfHcqExVWGyKDvBAVrG9wP6MLjqZR82w7UZXhMSTCD4F6Xb376NxU8PcS65KzzXR04mj9Pb2D4K5R1btPoF4LpQKwWAXklpjbM7w2w459Le9NHwCtWonEM9l4L/Gs1OEQERERuZStJ2rS8G9EHE3jiD3daDX82moW0GOb6chsNsFe5u5GbUatUiLIW1zPwzXaDDv2tfQOMeC1+/sBAN5LPItdp7MkjoiIiIjINeSVmPHjuVwAVWXuboQj9gQA57JLcDqjCGqlAmP71p+GL2KbIQA4kpqPrCIz9Do1hkf633BfV2sz7NhfZ2pMZzw85BYAwKIvj+F8TonEERERERHJ3/aTmbDaBPQN9Ua4v+cN9w2x15h2jZE0ah5x5HV4D3/4eGhuuK+9zbCaQocmroY/tk8wtOr60/BFIS5Wy54d+3q8ENcbg7t2QrG5EvPXJqHEXCl1SERERESy1tiUaqCm5B3rkndcjVnZvLYQlrzr8CqtNmxPripf3rg241rTN9ixr4ebSomVswYiyFuLc9kleGbjcZbOICIiImqmrCITfk7NBwBMiDbedH/Ol6YzmcU4n1MKjVqJe3oH3XT/mjbDm0Ed1aELecgrrYCvpwZ3RvjddH+m4ncQgXodVs2OgZtKge0nM7Fq33mpQyIiIiKSpW9OZEAQgJhbOqFzJ4+b7h9aK0WWgysdkzhaPyoqEHqd20335/QNEtvM+H7BUKtu3s2tmb7hGm2GHfsbGBjWCQmT+gIA3tqZYq+7SkRERESNt9W+SvXNR+sBIMhbB4Wiqi55fmlFW4ZGTkgQhJo204iUaqAmFT+zyAQry1Z3OOZKK3acrE7Db8R0HwAIEbM8OGLfMcy8PQzTB3eBTQCe/OJXXM4rkzokIiIiItlIyy/Dr5cLoFAA4/s1rmOvUSvh76UFwHT8juj4lUKk5ZfDQ6PCqJ6BjXpNoF4HlVIBq01ATrFr1CWnxvvh91wUmSoR5K3F4K6+jXqNsfpmUE6JGRWVtrYMr12wY98ICZP7oH8XHxSWWzB/XRLKK6ycmIMxAAAgAElEQVRSh0REREQkC9uqa9ffEe6HwOq60Y0RUj3/9aqLjKZR44kp1aN7BcFdc+OVzUUqpQJB+qqbQWwzHY+Y4TGhXwiUSkWjXuPnqYFGrYQgVK0DInfs2DeCVq3C6tkD4e+lwW8ZRXhu0wnO9yIiIiJqhKasbF6bfcVqdtI6FJtNwDfVN4Oa3Wa4gF6HUl5hxa7TWQCAif0blxUEAAqFwn4D0RUW0GPHvpGMBnesnDkQaqUCW46l458/pkodEhEREZFTO59TgtMZRVArFRjbN7hJr+XK+B3TL5euIbPIBL1OjdhI/ya91mi/GcQ205HsSclGWYUVnTu5Y0AXnya91pW+Z9ixb4Lbu/nh+Qm9AACvffsbDp3PkzgiIiIiIue17XjVyOuwHv7w9dQ06bXiYmiusmI1NY6Y4TG2TzC06sal4Yvso68cse9QamcFKRSNS8MXifPsXWH6Bjv2TTT3zq64/9ZQWG0CFqw/6hJpG0REREStTRAEfH38KoDGr1JdW0itknfUMVRabfg2uXlp+ADbTEdUbLLg+zPZAJr3PRPqQtM32LFvIoVCgdfu74feRm/klVbgiXVJMFm4mB4RERFRbWcyi3E+pxQalRL39Alq8uuN1aOvnGPfcRy6kIe80gr4empwZ4Rfk19vbzPM8ugwdv+WBXOlDd0CPNHLqG/y6+2p+C4wfYMd+2Zw16jw0ZwY+Hi44cSVQry45SQX0yMiIiKqRUyPHRkVAG+dW5NfL46+ZhWbUWmVfykqujmxzYzrGwy1qundlJoRe/l30qhxtlZP95kY3fQ0fKAmFd8VpvywY99MXXw98P6MW6FUAP/+5Qo+/+my1CEREREROQVBEOzlp5qTUg0A/l5aqKvrkmezLrnLM1daseNkJoDmtxlxxD63xAxzJTNqXV1BWQX2/54DoGmr4dcWYnCd6Rvs2LfA8B4B+MvYngCAhK2nkHTpmsQREREREUnv+JVCpOWXw91Nhbt7BTbrGCqlAsH21Gr5X3TTjf3wey6KTJUI8tZicFffZh3D11MDrbqqe5PpAiOwdGM7Tmai0iagl9Eb3QObnoYP1CzSWVhuQVlFZWuG1+7YsW+h+bHdMKGfERargD+uS0J2Eb9EiIiIqGPbVp1SPbp3EDw06mYfp2Y0jddXrm5bdYbHhH4hUCmbnlINVNclZzp+h7HthLjQYvNG6wFAr3ODXlv1HSX3NsOOfQspFAq8+UA0IoO8kF1sxh8/P4qKSs4DIyIioo7JZhNqLrijm3/BDdTMf+WIvWsrr7Bi1+ksAC3rpAG1F9Bjm3FlOcVmHDyfC6B5q+HX5irfM+zYtwJPrRofzRkEvU6NpEvX8PK201KHRERERCSJXy5dQ2aRCXqtGiOiAlp0LCNH7DuEPSnZKK2wonMndwzo4tOiYxldaM40NWz7yQzYBKB/Fx908fVo0bFcpUwiO/atJNzfE+/+YQAAYO3hS9j4S5rEERERERG1P3Fl8zF9gqFVq1p0rFBxxWqZX3DTjYltJq6ZK5vXFupCq5xTw8Q209KsIMB1biCyY9+K7u4VhKdHRwIAnv/qJE5cKZA4IiIiIqL2U2m14dvkls97FdlrTLOT5rKKTRZ8fyYbQCu1GR+xLjlvBrmq9IJyHEm9BoWi6mZQS4W4yPQNduxb2ZOjumN0ryBUVNrwxNok5JWwPAsRERF1DIcu5CGvtAKdPNwwtLt/i4/nKnNfqWG7f8uCudKGbgGe6G30bvHxaubY82aQq/qmeg2PwV197ZUzWsLoIgsusmPfypRKBVb8oT+6+XsivdCE+PVHUWnlYnpERETk+rYdr7rgHtfPCDdVyy8zQ6svuHNLKmCysC65KxLbzMRWSMMHatrMVY7YuyyxgsLE/i0frQdqSt6ly/wGIjv2bcBb54aP5sTAU6PC4Qv5eH37GalDIiIiImpTFZU2bD9Z00lrDQZ3N7i7Vc3TZ11y11NQVoH9Z3MAtE4aPlAz+lpsqkSJWd51yamuS3mlOH6lECqlAuP6BrfKMcWymhkFJgiC0CrHlAI79m2kR5Aebz3YHwDw8YGL2HLsqsQREREREbWdH87moMhUiUC9FreF+7bKMRUKhT0dX+6jaVTXzlOZsFgF9DJ6o3ugvlWO6aVVQ6+rqkvOefauRyyleWeEH/y9tK1yTDGdv9xiRWG5pVWOKQVJO/bLly/H4MGDodfrERgYiPvuuw8pKSkO+2zatAljxoyBn58fFAoFjh07Vuc4JpMJ8fHx8PPzg5eXF6ZOnYqsrKz2ehsNGtfPiD+NjAAAPPvfE/gto0jiiIiIiIjahrhK9fh+RqiULU+pFoW4yIrVVNfW6jT8uFZY2bw2sc0wHd/11KyG3zpZQQCgc1PB30sDQN5tRtKO/b59+xAfH4/Dhw9j165dsFgsGDNmDEpLS+37lJaWYtiwYXjjjTcaPM7TTz+NrVu3YuPGjdi3bx/S09MxZcqU9ngLN/W/Y6IQGxkAk8WG+WuTUFBWIXVIRERERK2qvMKKXaerBlVaa96rSJz/ytFX15JTbMbB87kAWreTBtRqM5y+4VJ+zyrGmcxiuKkUuLdP66Thi4y10vHlSi3lyXfs2OHw96efforAwEAkJSUhNjYWADBnzhwAQGpqar3HKCwsxJo1a7B+/XqMGjUKAPDJJ5+gV69eOHz4MO644462ewONoFIq8LfpAzDxgwO4nF+G/9lwDJ/MHdyqd7KJiIiIpLQnJRulFVaE+rhjYJhPqx7bXmOanTSXsv1kBmwC0L+LD8L8PFr12Cx555q2VY/Wj4gMgMHDrVWPbTTokHy1UNYVOJxqjn1hYSEAwNe38fOykpKSYLFYMHr0aPu2nj17IiwsDIcOHar3NWazGUVFRQ6PtuTjocFHswdB56bE/t9zsGJXys1fRERERCQT4irVcf2NrbKyeW0hLHnnkmpWw2/dNHygpi45bwa5DkEQ7PPrWzsrCABC7NUU5NtmnKZjb7PZsHDhQgwdOhR9+/Zt9OsyMzOh0Wjg4+N4dzgoKAiZmZn1vmb58uUwGAz2R5cuXVoUe2P0DvHGG1OjAQAr95zHjpP1x0ZEREQkJyXmSiT+lg2g9VOqgZoL7nSOvrqMjMJy/JyaD4UCiGOboUY4lV6EC7ml0LkpMbpXUKsf3xVuIDpNxz4+Ph4nT57Ehg0b2vxcixcvRmFhof2RlpbW5ucEgMkDQvHYsHAAwP/++xjOZRe3y3mJiIiI2sru01kwV9rQzd8TfUK8W/34rjD3lRx9Uz3yOrirr31F8tZkbzMcsXcZW6uzgu7uGQRPbevPJneF7xmn6NgvWLAA27Ztw549e9C5c+cmvTY4OBgVFRUoKChw2J6VlYXg4PoXVdBqtfD29nZ4tJfF43rijm6+KK2wYt7aJBSZ5FtSgYiIiEhcpTouuvXT8IGakbRicyWvm1xEzcrmrZ+GD9S0mfSCclnXJacqgiDYp260dgUFUYgLlNWUtGMvCAIWLFiAzZs34/vvv0d4eHiTjxETEwM3NzckJibat6WkpODy5csYMmRIa4bbKtQqJT6YORBGgw4Xckqx6MvjsNn4hUNERETyU1BWgf1ncwC0zbxXAPDQqGFwr1ooS86jaVTlUl4pjl8phFJRVRq6LYhZAOZKG/JLWZFK7o5eLsDVgnJ4alS4q2dgm5xDHLHPLDTBKtO+maQd+/j4eKxbtw7r16+HXq9HZmYmMjMzUV5ec6ckPz8fx44dw+nTpwFUddqPHTtmnz9vMBjw2GOPYdGiRdizZw+SkpLwyCOPYMiQIZKviN8Qfy8tVs+OgUatxO7fsvDBnnNSh0RERETUZDtPZcJiFdAzWI8eQfo2O499zrSMR9OoirgA2tDu/vD30rbJObRqlf3YTMeXPzHDY0yfYOjcVG1yjkC9FiqlApU2Abkl5jY5R1uTtGO/atUqFBYWYuTIkTAajfbHl19+ad/n66+/xq233ooJEyYAAKZPn45bb70Vq1evtu/zzjvvIC4uDlOnTkVsbCyCg4OxadOmdn8/TdG/iw9emVy1SOA7u3/HnjPZEkdERERE1DRtuUp1beIq5xyxl7+aNPw2bjO10vFJvqw2Ad8mi98zbZPhAVRlVQfpq24GybXNSJ6KX99j7ty59n3mzp1b7z5Lly6176PT6bBy5Urk5+ejtLQUmzZtanB+vTOZNrgLZt8RBkEA/mfDr0jNLZU6JCIiIqJGyS0x48dzuQDabt6ryOgCK1YTcDarGGcyi+GmUuDePm17rW4UbwZxxF7Wfr6Yj+xiMwzubhjWPaBNz2W0V1OQZ5txisXzOrIX4/og5pZOKDZVYv7aJJSaK6UOiYiIiOimtidnwCYA/TsbcIufZ5ueq6bGNDv2cra1OsNjRGQADB5ubXoulrxzDeJq+OP6BkOjbtuuq9hm5HoDkR17iWnUSnw4ayAC9FqkZBXjL/89wdU7iYiIyOltta9S3bYp1QAQ4gKlqDq6qpXNxQoK7ddm0jliL1sWqw3bk9vze0acviHPNsOOvRMI8tZh1ayBUCsV+OZEBv6+/4LUIRERERE1KKOwHD+n5gMAJrRxGj5QO61aniNpBJxKL8KF3FJo1UqM7h3U5uezT9/giL1s/XguF9fKLPD30uCObr5tfj65f8+wY+8kBnX1xUsTewMA3thxBgfO5kocEREREVH9vqlOqR7ctZM9fbUt1ayKb2Jmo0yJKdV39wqEl1bd5ucTy5dxjr18iVlB4/sZoVa1fbfVKPPpG+zYO5HZd9yCB2M6wyYAT35xFGn5ZVKHRERERFTH1nZaDV8U5K2DQgFUVNqQx7rkslOVhl/dZtohpRoAQqs7aZlF8q1L3pGZK6347lRVefP2+p4J9ZH39A127J2IQqHAy/f1RXRnA66VWfDEuiSYLFapwyIiIiKyu5xXhuNpBVAqgHF92z4NH6hakyhArEsu0/mvHdmvaQW4WlAOT40Kd/UMbJdzBui1UCsVsNoEZBezzcjNvpQcFJsrYTToEBPWqV3OKabi5xSbYa6UXx+MHXsno3NTYdXsGPh6anAqvQj/tzmZKWdERETkNMSU6jsj/BFQXfe5PdjTZGU6/7UjE2vXj+kTDJ2bql3OqVIqEOQt78XQOjIxKygu2gilUtEu5/T11EBbvfJ+VqG5Xc7Zmtixd0KhPu74YOatUCkV2HT0Kv51MFXqkIiIiIgA1HTS2rp2/fVqVqxmx15OrDbBviZDe7cZI9uMLJVVVGL36SwA7bMavkihUNRaz0N+bYYdeyd1Z4Q/Fo/rCQB45Zvf8PPFfIkjIiIioo7ubFYxzmQWQ61UYGzf4HY9d02NaY6+ysnPF/ORXWyGt06N4T0C2vXccq9L3lEl/paNcosVYb4eiO5saNdzy3llfHbsndhjw8IxqX8IKm0C/vR5EjL5Q0ZEREQSEtNjYyMD4OOhaddzc/RVnsSpG+P6GqFRt2/XQyx5x1R8eRGzgib2N0KhaJ80fJFYTUGObYYdeyemUCjwxtRo9AzWI7ekAk+sS5LlQg5EREQkf1Urm9dccLc3jtjLj8Vqw/bk9q2gUFuIgSP2clNksmBvSg4AidqMj3xvILJj7+TcNSr8fc4gGNzdcCytAEu/Pi11SERERNQBnc4owoXcUmjVSozuFdTu5w+ReY3pjujg+TxcK7PA30uDO7r5tvv5a9oMbwbJxa5TWaiw2tAj0AtRQfp2P7+cbyCyYy8DYX4eeG/6ACgUwBc/X8YXP1+WOiQiIiLqYLZW1yEf1TMQep1bu59fXDwvq8iESqut3c9PTSemVI/vZ4Ra1f7dDjnPl+6oxKkbE/uHtHsaPiDvKT/s2MvEyKhA/HlMFADgpS2n8OvlaxJHRERERB2FIAi15r22f3osAPh7aeGmUsAmANnF8itF1dGYK63YeTITgHRtRhx9zS2pgMnC6azOLr+0AgfO5gJo/woKIo7YU7v408gIjO0TjAqrDX9cdxQ5/FEjIiKidvBrWgGuFpTDQ6PCXVGBksSgdKhLLr/RtI5mX0oOis2VCPbWISaskyQxdPJws9cl5yLUzm/HyUxU2gT0CfFGtwAvSWIQR+wLyy0oNVdKEkNzsWMvIwqFAm9N64/ugV7ILDIh/vOjsDAVjYiIiNqYOFp/T+8guGtUksVRU2OanTRnt7VW7Xqlsv1TqoGqa+dQGdcl72ikzgoCAL3ODXqdGoD8pnCwYy8zXlo1PpoTA71WjZ9T8/HqN79JHRIRERG5MKtNwDfVnbSJ0dJdcAM18+wzOGLv1MoqKrH7dBYAaTtpQE3JuwwuoOfUsotMOHwxDwAwoZ80afiiEJmWvGPHXoYiAryw4g8DAACfHkzFpqNXJI6IiIiIXNWR1HxkF5vhrVNjeKS/pLEYZTz/tSP5/kw2yi1WhPl6ILqzQdJYjCx5JwvfJmdAEICBYT7o4ushaSxGmZa8Y8depu7pHYT/GdUdALB4UzJOXi2UOCIiIiJyRWJ67Ni+wdCqpUvDB2pS8a/K7IK7o6lJqTZKsrJ5bTVthjeDnJk4dUPqDA9AvlN+2LGXsYWjI3FXVADMlTbMX5uE/NIKqUMiIiIiF2Kx2rBd4pXNawth+TKnV2SyYE9KDgC2GWqcK9fKkHTpGhQK6dPwAflO+WHHXsaUSgXenX4ruvp54GpBOf7ni19Z15WIiIhazcHzecgvrYCfpwZDuvlJHU5NWjVHX53WrlNZqKi0oXugF6KC9FKHUzN9g23GaYlreNwe7ovA6soXUqqZviGvNsOOvcwZ3N3w0ZxB8NCocOBcLv76XYrUIREREZGLEFOqx/ULhlol/WVjSPXc17xS1iV3VltPVKfhR4dInoYP1Iy+clV852VvM06Q4QFwjj1JKCpYjzcfiAYAfLTvArZV/89BRERE1FzmSit2nqpOw5d4NXyRwd0NHtXl9uQ2mtYRXCutwIGzuQCAuP7Sp1QDNSP2xaZKFJssEkdD17uYW4qTV4ugUiowrq9ztJnaJRIFQZA4msZjx95FxEWHYH5sNwDAX/5zAimZxRJHRERERHK2//dcFJsqEeStxeCuvlKHA6CqLrlRpvNfO4IdpzJRaRPQJ8QbEQFeUocDoKpUtLe9LjlvBjmbbdVZQcO6+8PXUyNxNFWCq79jTBYbCsrkczOIHXsX8sy9URja3Q9lFVbMX/sLCsvl0xCJiIjIuYhp+HHRIVAqpU+pFsl1xeqOoGY1fOfI8BDZ2wxvBjkdZ0vDBwCtWgV/r6qbDHKqwMGOvQtRq5R4f8ZAhPq4IzWvDAs3/AqbTT7pI0REROQcyioqset0FgDnuuAGgBADO2nOKLvIhEMX8gA4x8rmtdV07HkzyJmkZBbj96wSaFRKjOkTJHU4DsQ2I6csD3bsXYyvpwYfzYmBVq3EnpQcvJt4VuqQiIiISGa+P5ONcosVXXzd0b+zQepwHIgLW7F8mXP5NjkDggDcGuaDLr4eUofjwMiSd05JzPAYERUAb52bxNE4kmObYcfeBfUNNWD5lH4AgL8lnsV31QvfEBERETVG7TR8Z1jZvLaaEXv5jKR1BFurS5Y5y0KLtXHE3vkIguCUafgiowy/Z9ixd1FTBnbG3Du7AgAW/fs4zueUSBsQERERyUKxyYI9KTkAnLOTxhF753O1oBxJl65BoQAmRDtXGj4gz9FXV5d8tRCX8srg7qbC6F6BUodTR4gMS96xY+/Cnp/QC7d19UWJuRLz1yahxFwpdUhERETk5HadzkJFpQ0RAZ7oZdRLHU4dHH11Pt9Uj7zeHu6LIG+dxNHUxcXznM+26gyPu3sFwkOjljiaumrm2MunzbBj78LcVEqsnDUQwd46nMsuwZ//fVxWtRiJiIio/dVe2dzZ0vCBmlT8EnMliliX3ClsPV6dhu+EKdVATZvJKDTxWtgJ2GyCvcyds7YZpuKT0wnQa7Fq9kBoVErsOJWJD/eelzokIiIiclLXSivww9lcAFXz652Ru0YFH4+qhbYyZHTR7aou5pYi+WohVEoFxvV1vjR8AAgyaAEA5kob8ksrJI6Gjl6+hvRCE/RaNUZEBkgdTr3EVPzMIhOsMqkyxo59B3BrWCckTO4DAHjruxTsTcmWOCIiIiJyRjtOZaLSJqCX0RvdA72kDqdBRpa8cxriyOvQ7v7w9dRIHE39quqSV3Xu5TQC66rErKB7+gRB56aSOJr6Bep1UCkVsNoE5BSbpQ6nUdix7yBm3BaGGbd1gSAAT204hst5ZVKHRERERE6mJg3fOUdeRaHiwlYymv/qquwrmzvhonm1sc04h0qrDd8kO/fUDQBQKRUI9pZXm2HHvgNZOqkPBnTxQWG5BfPW/oKyCi6mR0RERFWyi004fCEPgHOuhl+bOGLPVHxppWQW4/esEmhUSozpEyx1ODdU02bk0UlzVT9dzEduSQV8PNwwrLu/1OHckL2agky+Z9ix70C0ahVWz46Bv5cWZzKL8dx/k7mACBEREQEAtidnwiYAA7r4oIuvh9Th3JCRo69OYVv1aP2IqAAY3N0kjubGasokyqOT5qrENjOurxFuKufuihplVk3BuT9NanXBBh0+nDUQaqUCXx9Px5oDF6UOiYiIiJzAVidfpbq2UJldcLsiQRBk2Wauss1IpqLShu0nMwE4/3QfoFYte5ncQGTHvgO6LdwXL0zoBQBYvv0MDp7PlTgiIiIiktLVgnL8cukaFApgQj/nv+A21ipfRtI4ebUIqXllcHdTYXSvQKnDuSm2Gen9eC4XBWUWBOi1uD3cT+pwbipEZlN+2LHvoB6+syum3BoKq03AgvW/8u4lERFRB/ZNdXrs4K6+CK6eV+rM7HNfWZdcMuKieaN6BcJDo5Y4mpuzp+LzmlcyYobHhH5GqJQKiaO5OfF7hiP25NQUCgVem9IPfUK8kV9agT+uS4LJYpU6LCIiIpLA1uPOv0p1bcEGHRSKqtTePNYlb3c2m2Avc+fsCy2KxNHXrGIzKq02iaPpeEwWK747nQVAHmn4ABBin/LDEfubWr58OQYPHgy9Xo/AwEDcd999SElJcdhHEAS8+OKLMBqNcHd3x+jRo3H27FmHfUwmE+Lj4+Hn5wcvLy9MnToVWVlZ7flWZEnnVrWYXicPN5y4UoglX53kXW8iInJKq1atQnR0NLy9veHt7Y0hQ4Zg+/btUoflEi7mliL5aiFUSgXG9XXulc1FbiolAvViXXJ5jKa5kqOXryG90AQvrRojowKkDqdRAvRaqKvrkmfLpC65K9mbko0ScyVCfdxxa5dOUofTKGLHPrfEDHOl8w+AStqx37dvH+Lj43H48GHs2rULFosFY8aMQWlpqX2fN998E3/729+wevVq/PTTT/D09MS9994Lk6nmzsnTTz+NrVu3YuPGjdi3bx/S09MxZcoUKd6S7HTx9cD7MwZCqQA2Jl3Bup8uSx0SERFRHZ07d8brr7+OpKQk/PLLLxg1ahQmT56MU6dOSR2a7Ikjr3dG+MHfSytxNI0nzpmWy2iaKxFTqsf0CYLOTSVxNI2jUioQ5C1O4eDNoPYmZgXFRRuhlEEaPgB08nCDVl3VXc4qdP6bQZJ27Hfs2IG5c+eiT58+6N+/Pz799FNcvnwZSUlJAKpG699991288MILmDx5MqKjo/HZZ58hPT0dX331FQCgsLAQa9aswYoVKzBq1CjExMTgk08+wcGDB3H48GEp355sDOvhj2fH9gQALNt6Cr+k5kscERERkaOJEydi/Pjx6NGjByIjI/Hqq6/Cy8uLv/WtYNsJeaXhi0J82EmTgtUm4JtkcWVzebYZ3gxqX6XmSiSeEdPw5dNmFAqFfdReDuuROdUc+8LCQgCAr68vAODixYvIzMzE6NGj7fsYDAbcfvvtOHToEAAgKSkJFovFYZ+ePXsiLCzMvs/1zGYzioqKHB4d3bzYbpgQbYTFKuCPnx9FVhG/8IiIyDlZrVZs2LABpaWlGDJkSL378Le+cVIyi5GSVQw3lQL39pFHGr4oxMCSd1L46UIeckvM8PFww7Du/lKH0yQhLJMoid2/ZcFksSHc3xN9QrylDqdJ5HQD0Wk69jabDQsXLsTQoUPRt29fAEBmZtXdwKCgIId9g4KC7M9lZmZCo9HAx8enwX2ut3z5chgMBvujS5curf12ZEehUODNqdGICtIjp9iMP31+FBWVXFiEiIhapqCgAB9//DEWL16M/PyqjLCjR4/i6tWrTT5WcnIyvLy8oNVq8cQTT2Dz5s3o3bt3vfvyt75xtlWvbD4iMgAGdzeJo2kao9hJY/mydiWuhj+ubzDcVE7TlWgUlryTRu00fIVCHmn4Ijm1Gaf5vzE+Ph4nT57Ehg0b2vxcixcvRmFhof2RlpbW5ueUA0+tGh/NiYG3To2kS9ewbBvnLRIRUfOdOHECkZGReOONN/DWW2+hoKAAALBp0yYsXry4yceLiorCsWPH8NNPP+GPf/wjHn74YZw+fbrefflbf3OCINjnSsspPVYUYmD5svZWUWnD9pPVafgyWQ2/tppUfLaZ9lJYZsG+37MByPt7Rg5txik69gsWLMC2bduwZ88edO7c2b49OLgqJez6Fe6zsrLszwUHB6OiosJ+sVDfPtfTarX2VXXFB1Xp6u+J96bfCoUCWHf4Mv79Cy+EiIioeRYtWoS5c+fi7Nmz0OlqaqOPHz8e+/fvb/LxNBoNunfvjpiYGCxfvhz9+/fHe++9V+++/K2/uZNXi5CaVwadmxKjewXd/AVORhyxl8NImqv48VwuCsos8PfS4vZuflKH02RyGn11FTtPZ8JiFRAVpEdkkF7qcJpMTtM3JO3YC4KABQsWYPPmzfj+++8RHh7u8Hx4eDiCg4ORmJho31ZUVISffvrJPqcuJiYGbm5uDvukpKTg8uXLDc67oxu7q2cgnh4dCQB44auTOJ5WcJNXEBER1XXkyBHMnz+/zvbQ0NAGp8s1hc1mg9ns/OEWRKkAACAASURBVCsVOysxpfrunkHw1KoljqbpxNHXrCIT65K3EzHDIy7aCJVMVjavjSP27a8mK0geteuvJ6cbiJJ+i8fHx2P9+vXYsmUL9Hq9/UfeYDDA3d0dCoUCCxcuxCuvvIIePXogPDwcS5YsQUhICO677z77vo899hgWLVoEX19feHt748knn8SQIUNwxx13SPn2ZG3BXd1x4kohdv+WhSfWJWHrk8NkVQKHiIikp9Vq61207vfff0dAQNNqXy9evBjjxo1DWFgYiouLsX79euzduxc7d+5srXA7FJtNwDf21fDlecHt76mFm0oBi1VAVrEZodUX4NQ2TBYrvjstrmwuzzYjLriYV1oBk8Uqm1J9cpVXYsbB83kAgDgZTt0AmIrfaKtWrUJhYSFGjhwJo9Fof3z55Zf2ff7yl7/gySefxLx58zB48GCUlJRgx44dDil977zzDuLi4jB16lTExsYiODgYmzZtkuItuQylUoEVf+iPbv6eyCg0YcH6o7wbTkRETTJp0iQsW7YMFosFQNVCrZcvX8azzz6LqVOnNulY2dnZeOihhxAVFYW7774bR44cwc6dO3HPPfe0Regu79e0a7haUA4vrRojowKlDqdZlEoFgjnPvt3sTclBibkSoT7uuLVLJ6nDaRYfDzfo3Kq6P5kyGIGVu+0nM2G1CYjubEBXf0+pw2kWccS+yFSJEnOlxNHcmOSp+PU95s6da99HoVBg2bJlyMzMhMlkwu7duxEZGelwHJ1Oh5UrVyI/Px+lpaXYtGlTg/PrqfG8dW74+0Mx8NSocPhCPpZvPyN1SEREJCNvv/02SkpKEBgYiPLycowYMQLdu3eHXq/Hq6++2qRjrVmzBqmpqTCbzcjOzsbu3bvZqW8BcZXqMb2DZD1qKY7AyqHGtNyJUzfioo1QyjANH3CsSy6HEVi5s6fhy3S0HgC8tGp466qS3J39BqL8JlRRu+oeqMfb0wbgiXVJWHPgIqI7GzB5QKjUYRERkQwYDAbs2rULBw4cwIkTJ1BSUoKBAwdi9OjRUofWoVltArZVp+HHyTSlWhQio/mvclZqrkTib1Vp+HJNqRaFGNxxIaeUZRLbWGahCT+nVpU4nRAt/++ZosxipBea0MOJFwBkx55uamzfYMTfFYGVe87j2f+eQI9APXqHcHVhIiJqnGHDhmHYsGFSh0HVfrqQh9wSMwzubhjWvWlrHTgbI1Px28Xu37JgstjQ1c8DfUPlfQ3INtM+vknOgCAAg27pZL8BJ1dGgw5nMoudvs2wY0+NsuieKCRfLcL+33Mwf90v2LpgGHw8NFKHRURETi4xMRGJiYnIzs6Gzea4Vss///lPiaLq2MSU6nF9g6FRO0Xl42YT579y9LVtiVM3JvYPgUIhzzR8EdtM+6hZDV/eGR5ArTbj5B17eX+bU7tRKRX42/QBCPP1QFp+OZ784ldYbYLUYRERkRNLSEjAmDFjkJiYiNzcXFy7ds3hQe3PYrVh+8mqKkSucMEdyvJlba6w3IL9v+cAYJuhxknLL8OxtAIoFcC4fvJf9yxUJjeDOGJPjebjocFHc2Iw5cOD+OFsLt7+LgV/GdtT6rCIiMhJrV69Gp9++inmzJkjdShU7cC5XBSUWeDvpcUd3fykDqfFjAbOsW9r353KRIXVhqggPSKdeH5xY9W0GXbs24q4hseQCD8E6nU32dv52advOHmb4Yg9NUkvozfeeCAaAPDh3vPYcTJD4oiIiMhZVVRU4M4775Q6DKpFTI+d0C8YKpmubF6buCp+fnVdcmp9W0+IafjyXgBNFOIjzrHnzaC24gqr4dcm3gxKd/I2w449Ndmk/iF4fFg4AOB//30cZ7OKJY6IiIic0eOPP47169dLHQZVM1ms+O5U1crmrpBSDQDe7mp4aKrK9TG1uvXllZjx47lcAPJfDV8kdtKKzZUoMlkkjsb1nMsuwemMIqiVCoztK/80fKBWKn5BOQTBeaciMxWfmuW5cT1xKr0Ihy7kYd7aJGxZMBTeOjepwyIiIidiMpnw97//Hbt370Z0dDTc3Bx/J1asWCFRZB3T3pQclJgrYTToMDCsk9ThtAqxLvm57BJkFJrQLcBL6pBcyvaTmbDaBPQLNaCrv6fU4bQKT60aBnc3FJZbkFFggncwr19b07bqxTmH9/B3mYW2gwxaAIC50oZrZRb4ejrn++KIPTWLWqXEBzNvRYhBh4u5pVj05THYuJgeERHVcuLECQwYMABKpRInT57Er7/+an8cO3ZM6vA6HHE1/LhoI5QukIYvEue/csS+9dWsbO4aafgie5tx8jnTciMIgkuthi/SqlXw96rq3Dvz9wxH7KnZ/Ly0WD0nBg+sPoTdv2Xj/e/P4anRPaQOi4iInMSePXukDoGqlVVU4vvfsgG41gU3UDPP/v+zd+fxTdfZ/vhfn+xL23Rvkm6UnRaoCCiLCyIDlk2EcQUFQcdR0BG8fu/Avd65jj9HxGV0FBAdoIwOongVBQQVRJBNFgValkLZSmmb7kmaNvvn90f7SVtZpCXJ+5PkPB+PPoamJT0d37Q57/d5n0MN9PzLZLFj37laAMC4MCnDFxhj1S1zyWnN+NPxcitOV9mgkEnwu+wU1uH4lTFWheoGB8rqm9A3Vcc6nMuiE3tyXfqnxeLlSX0BAG9tPYnvT5gYR0QIIYSQX9tyvBJNLg8yEzToJ9IXpZ1lDJEZ06Fm45Fy8DwwKDPOd8c4XBhp5F1ACGX4I3slIzrMruiGwgYindiT63bvoHQcKTXjw73n8ac1h/DVnFuQFSb3sAghhHTM5MmTkZ+fj5iYGEyePPmqn/v5558HKSrStks1x4VPGT4AGIQkTcQvuEORcHUj3Co8gDZdzqkU3294ng/vNRMr/usblNgTv3hhfDaOl1tw4Hwd/vCvA1g3ezi0SlpehBASaXQ6nS9x1OnC62Q4VJmbXNheVAUgPF9w+07S6PTVby7UNuKXknpIOCCvX3h0Nm+LRt753+FSMy7UNkGjkGJk72TW4fidMQRG3lHmRfxCIZNgydQbMf6dnThV2YDnPzuMxQ/dGHanAoQQQq5u5cqVl/0zYefboxVwerzokRyFXvpo1uH4naFNWTXP8/Taww82tMyuH9I1AcnRKsbR+J/BV1ZNm0H+IlQFjeqTAnXLCMpwIlz5EfMGIt2xJ36THKPC0mk3Qi7l8HVBBZbtOMM6JEIIISTirW9J0sLxtB5oPUmzOT2w2N2MowkP4djZvC3fXHKzXdRzyUOF18v77teH65oRNhDFfMeeEnviVwMz4/GXCTkAgEWbT+DHU1WMIyKEEMKKyWTCww8/DKPRCJlMBqlU2u6NBF6tzYldxdUAmsfchSO1Qoo4TXOjLjqBvX6nqxpwrNwCmYTDXTnhV4YPACkxKnAc4HR7UWNzsg4n5O0/VwuTxYFolQy39UxkHU5ACBuIFRY7PCId8U2l+MTvpt6cgSOl9fj0QCme/vgXrJ9zC9LjNazDIoQQEmQzZsxASUkJXnjhBRgMBiqRZmBTYTk8Xh59U2PQNSmKdTgBY9CpUdfoQnm9Hb31MazDCWkbDjdXeNzaIxFxWgXjaAJDIZMgMUqJKqsD5fV234xy0jlC07y7cvRQysJz0zYpWgmZhIPby6PSavdd5xATSuyJ33Ech7/e3RdFFVYcLjXjiQ8P4v+eHBaW920IIYRc2c6dO/Hjjz/ihhtuYB1KxGrbDT+cGWPVOFZuwUUR338NBTzP46vDFwGEb0m1wBirRpXVgYv1TeiXRo0+O8vt8WJTQQWA8F4zUgmHlBgVLtY3oaxenIk9leKTgFDJpVg6bSAStAocK7dgwRcFdIeJEEIiTHp6Ov3sZ8hkseOns7UAgHFhWoYv8HU5p1L863KiworTVTYoZBL8LjuFdTgBZdTRmvGHPWdqUGNzIl6rwLBuCazDCSix/5yhxJ4EjDFWjXcfuhFSCYcvfrmI/N3nWIdECCEkiN566y38+c9/xrlz51iHEpE2HikHzwMDM+OQFhfeV+J8Xc5FPIoqFAgVHnf0SkK0Ss44msBq7YxPa+Z6CGsmr68eMml4p5YG38g7cSb2VIpPAmpotwQsGNsHL204hv9v43FkG2Jwc9fw3s0jhJBIFhcX1+4uvc1mQ7du3aDRaCCXt08Uamtrgx1eRBHuvYZr07y2hJO0MpGepIUCnud9ayacS6oFxjZjEknnONwebC4M/zJ8gTDyTqyz7CmxJwE3c3gXHCmtx5eHyjB79c9Y//QtoryXQggh5Pq99dZbrEMgAC7UNuKXknpwHDCuXyQk9uJ+wR0KjpSacaG2CRqFFCN7J7MOJ+Ba1wwl9p3148lqWOxupMQoMbhLPOtwAk7spfiU2JOA4zgOCyf3x0lTA46XW/DHj37Gp08MCduumYQQEsmmT5/OOgQCYGNBc2fzIVkJSI5RMY4m8Awt96UrzHZ4vTwkEprA0FFCSfWoPinQKMI/RTDoxD+XXOyECo9x/YyQRsC/ObFf3wjvixBENNQKKZZNGwidWo7DF+rxly+Psg6JEEJIgH399df45ptvLnn822+/xaZNmxhEFDl83fAjoDwWaDOX3ENzyTvD6+Wx4UjzZlCkrBnhxN5kscPt8TKOJvQ0OT3YcswEAJiQG/5VQUDrZpBYqzwosSdBk5GgwT8eHACOA9bsv4DVP5WwDokQQkgA/fnPf77s416v94ofI9fvdFUDjpZZIJNwuKuvnnU4QSGXSpASLe4X3WJ24HwdKix2RKtkuK1nIutwgiIpSgm5lIOXB0xWB+twQs62okrYnB6kxalxQ3os63CCIrVlM6i6wQmH28M4mktRYk+C6vaeSXh+TC8AwF++KsTPJXWMIyKEEBIop06dQq9evS55vHfv3iguLmYQUWTYcLj55PWWHomI1yoYRxM8BpHffxUzocJjTI4+Yq5KSlrmkgNAOW0GdZiwZsb3N7ZrmBrOYjVyqOTN6XOFCMvxKbEnQffk7d2Q11cPl4fHkx8dRKVVfP8wCCGEXD+dToczZ85c8nhxcTG0Wi2DiMJf287m4/tHRkm1wKijBnqd4fZ48XVBZJXhC3xrRoRJmphZ7S58f6ISQOSU4QPNfcPE/HOGEnsSdBzH4bV7c9EjOQomiwOz//0znG6620QIIeHm7rvvxrPPPovTp0/7HisuLsZzzz2HiRMnMowsfBWZrCiubIBCKsHonBTW4QRVazM0On3tiL1nalFjcyJeq8CwbpE1kthX5UEn9h2y5bgJDrcXXZO0yDbEsA4nqAwiHpPYqcTeYrEgPz8fL7zwAurqmkupDx8+jPLycr8GR8JXlFKGZQ8PRLRShv3n6vDyxmOsQyKEEOJnixYtglarRe/evZGVlYWsrCz06dMHCQkJeP3111mHF5aE8tgRvZIQo5Izjia4aORd5whrJq+vHnJpZJ350ci7zlnfct1nQgSV4QuMvs744lszHZ5lUVhYiFGjRkGj0eDChQt49NFHERcXh08++QQXL17EqlWrAhEnCUNdk6Lw5v034PF/HcCqPefRPy0WUwamsQ6LEEKIn+h0OuzevRvfffcdDh8+DLVajf79++O2225jHVpY4nm+9QV3hJVUA60zpstE+IJbrJxuLzYVRvCaEbqcUyn+NatvdGLHySoAkVWGLzDEivf6RocT+7lz5+Khhx7CG2+8gZiY1tKLcePGYdq0aX4NjoS/32Wn4E939sDbW09hwRcF6KWPRt9UHeuwCCGE+AnHcRg9ejRGjx7NOpSwd6TUjJLaRqjlUtzZJ5l1OEHnmzFNJ/bX7MdTVbDY3UiOVmJwl3jW4QSdQcSnr2L1zdEKuL08euuj0T05mnU4QWcU8ci7Dif2+/fvx9KlSy8pu0hNTaVSfNIpf7qzBwovmrH1RCWe+PAg1j99S0R18SWEkHBms9mwfft2lJSUwOlsP1/8mWeeYRRVeBJKqkdlp0Cj6PBLvJAn3H2ttNrh8ngjrqy8M4Q1M66/AVJJZJVUA23v2NNm0LWK5KogoPX6hhjXTId/6svlcjQ0NFzyeHFxMRITI2PuJfEviYTDm/ffgEmLd+FstQ1Pf/wzVj16E2T0C5kQQkLaL7/8grFjx6KxsRE2mw3x8fGorq6GRqNBcnIyJfZ+5PXy2HBEuPcaeeWxAJCoVUIhlcDp8cJksSMtTsM6JFFrcnrw3TETgMhN0oS55DU2J+wuD1TyyBj111lVVgd2n64G0Hy/PhKJ+cpPhzOnCRMm4KWXXoLb7QbQXGJ38eJF/PnPf8bkyZP9HiCJDDq1HMseHgiNQopdxTVY9E0R65AIIYRcp7lz52LChAmoq6uDWq3G3r17cf78eQwcOJCa5/nZgfN1qLDYEa2U4fZeSazDYUIi4aD3dcYX32ma2GwrqoTN6UFqrBoD0mNZh8OETi2HuiWZpzXz2zYVlsPLA7npschIiMyNM+H6htXuhtXuYhxNex1O7N944w3U1tZCr9ejqakJI0eORNeuXaFSqfC3v/0tEDGSCNEzJRqv/T4XAPD+jjO+8jBCCCGh6dChQ3juuecgkUgglUrhcDiQnp6ORYsWYcGCBazDCysbWmbXj87RQymL3FNHg4jvv4qNsGYm5EZeZ3MBx3E08q4DhNfmkVoVBABapQwxquaid7FtBnW4FD8uLg7btm3DDz/8gCNHjqChoQE33ngjxowZE7E/FIj/jOtvQMHFbnhv+2n8v8+OoEdKFHrrI2s+JiGEhAu5XA6JpPkMITk5GSUlJejTpw90Oh0uXLjAOLrw4fZ48XWBcO81cl9wA62l1TTy7uoaHG5sPV4JgNZMaqwaZ6psuEiJ/VWV1Tdh/7k6cBwwPkLL8AXGWDUsFVaU1TehZ4p4Ggh2urPKiBEjMGLECD+GQkiz58f0wtEyM348VY0nPjyIr2bfAp0msmbxEkJIOBgwYAD279+PHj164Pbbb8f//M//oLq6Gh9++CH69u3LOrywsfdMLaobnIjTyDG8e2T3O/Kdvorw/quYbDlmgsPtRddELbINkX2AYqDrG9dE2DwcnBnvu/ISqYyxapyosIpuzXQ4sf+tcnsqrSPXSyrh8I8HBmDCuztxvqYRf/rkFyyfPjgiu7USQkgo+9vf/gar1QoAePnll/HII4/gySefRI8ePbBixQrG0YUPoTw2r58h4jvBC/df6cT+6oQ1Mz6Cy/AFNPLu2vjK8CO8wgMQ75WfDif2H3/8cbv3XS4Xzp8/D7lcji5dulBiT/wiTqvAe9MGYsrS3fihqApvbTmJ50b3Yh0WIYSQDhg0aJDvz8nJydi8eTPDaMKT0+3FpkKhG35kl8cCrR2rKUm7svpGJ3acqgIQ2XelBb4u57QZdEXna2w4XGqGhGveQIx0RpFe+elwYl9QUHDJY/X19ZgxYwbuvfdevwRFCAD0TdVh4ZR+mPvJYbzzfTH6puowJkfPOixCCCFENH48VQWL3Y2kaCVuyopnHQ5zrS+4KbG/km+OVsDl4dFbH40eIrofzAqtmd8mjNIc3j0RiVFKxtGwJ9YNxE7fsW8rNjYWf/3rX3H33Xdj6tSp/nhKQgAA9wxIw5FSM1buOofnPj2Mrk9p6ZcQIYSI3MiRI6/p877//vsARxL+hBfc4/oZ6MoaWsuq6xpdaHJ6oFZE7oSAKxHWTKTOrv+11lJ8cZ2+iklrN3xaM4B414zfLmI1NDSgrq6uQ39nx44dmDBhAozG5vs969ata/dxk8mEGTNmwGg0QqPR4K677sKpU6fafY7dbsfs2bORkJCAqKgoTJkyBSaT6bq/HyIeC8b2wc1Z8WhwuHHfsj04cK6WdUiEEEKu4ocffsDZs2eRnZ2N3NzcK76R62N3efDt0QoAlKQJYlQyaBXCXHJxnaaJQXWDA7uKqwFQkiYQTl8bHG5YRDaXXAxOmqw4UWGFXMpR5WwLo661yoPnecbRtOrwif2SJUvavc/zPMrLy7Fq1SqMGTOmQ89ls9mQm5uLmTNnYvLkyZc876RJkyCXy/Hll18iJiYGb775JkaNGoVjx45Bq9UCAObOnYuNGzdi7dq10Ol0mDNnDiZPnoxdu3Z19FsjIiWXSrBk6o2Ymb8fh0vNeOifP+H1e3MxkV7EEEKIKL366qtYuXIl1q5di6lTp2LmzJnUBT8Atp2ohM3pQWqsGjdmxLIORxQ4joMxVo1TlQ0oq7eja1IU65BEZVNBObw8kJsei4wEDetwREGjkCFWI0d9owtl9U2I0dMkprY2tJzW394ziaZUtUjRKcFxgMPtRa3NiQSRXE/ocGL/yiuvtHtfIpEgKSkJDz74IP7rv/6rQ8+Vl5eHvLy8y37s1KlT2Lt3LwoLC5GTkwMAWLp0KfR6PT7++GM89thjMJvNWL58OVavXu0r+1u5ciX69OmDvXv3YsiQIR399ohIJUQpseYPQ/HsJ7/gm6MmPPPxL7hQ24inRnSL+G6uhBAiNs8//zyef/557NmzBytWrMDw4cPRq1cvzJw5Ew899BBiYiJ7vJa/rD8idDY30O/CNgxCYk8n9pdYf1hotEgN0Noy6NSob3ShvN6O3nr6+STged53dSPSZ9e3pZRJkRilRJXVgXKzXTSJfYdL8S9cuNDu7fz58zhw4AAWLVoEnU7nt8AcDgcAQKVqnZMokUigVCqxc+dOAMDBgwfhcrkwatQo3+f07t0bGRkZ2LNnz1Wf22KxtHsj4qdWSLFk6kA8fmsWAOC1b4rw/z47AqfbyzgyQgghlzN06FB88MEHKC8vx+zZs7FixQoYjUb6vesHDQ43th6vBEAl1b9mFOaSi6xjNWvl5ibsa7nOOI4S+3aENUObQe0dLbPgTLUNSpkEo7JTWIcjKsKauSiipouiHXYqJOjz589HXV0dnE4nXn31VZSWlqK8vHnnqKKiAgqFArGx7cvPUlJSUFFRccXnfuWVV6DT6Xxv6enpAf1eiP9IJRz+a1w2XprUFxIOWHuwFDNW7oO5ie5EEUKIWP3888/Yvn07jh8/jr59+0Iup3LO67XlmAkOtxddE7XIMdIJY1s0l/zyNracvN7UJd73/xFpZoilzaDLEaqC7uyTjCilX3quhw1hmkK5iBL7a/ovdN99913zE3766aedDqYtuVyOzz//HLNmzUJ8fDykUilGjRqFvLy8625SMH/+fMybN8/3vsVioeQ+xDw8JBNpcWrM+ffP2H26BlOW7sbKGYORHk/3xQghRAzKysqQn5+P/Px8WCwWTJs2DT/99BOys7NZhxYWNghl+P2pDP/XhGZoYjpJE4P1vm74dFr/azTy7lI8z2OD7+oGVQX9mhg7419TYq9Usrk3MHDgQBw6dAhmsxlOpxNJSUm4+eabMWjQIACAXq+H0+lEfX19u1N7k8kEvf7KXRuVSiWz74n4zx29krH2j8MwM38/iisbcM+SXfjgkUEYkBHHOjRCCIloY8eOxbZt2zB69Gi89tprGDduHGQyOu3xF3OjC9tPVgGgbviX4ztJE9ELbtZKahpx+EI9JByQ148S+1/zdTmnKg+fn0vqcbG+CVqFFHf0TmYdjugIG4hlIvo5c02/ZT/88MNAx3FVwt39U6dO4cCBA3jppZcANCf+crkcW7duxZQpUwAARUVFKCkpwdChQ5nFS4In2xiDdbOHY9aq/ThaZsED7+/FW/ffQL+0CCGEoc2bN8NgMKCkpAQvvvgiXnzxxct+3s8//xzkyMLDN0cr4PLw6K2PRo+UaNbhiI7Bd8e+eRQVVTS0llQP756IRJE0+hIT35oRUZLGmjC7fnSOHiq5lHE04mPQia/Kg+n2eUNDA4qLi33vnz17FocOHUJ8fDwyMjKwdu1aJCUlISMjAwUFBfjTn/6ESZMmYfTo0QCaE/5Zs2Zh3rx5iI+PR0xMDJ5++mkMHTqUOuJHEL1OhU+fGIpnPv4FW09U4sl//4z5eb3xh9u60i9zQghh4C9/+QvrEMKakKTRaf3lCSf2NqcHFrsbOjX1dBCStPHUNO+y2lZ5eL08JJLIfv3o8fL4ukDohk9r5nKMsa0biGLRqcR+3bp1+PTTT1FSUgKn09nuY/v27bvm5zlw4ADuuOMO3/vCvffp06cjPz8f5eXlmDdvHkwmEwwGAx555BG88MIL7Z7j73//OyQSCaZMmQKHw4ExY8ZgyZIlnfm2SAjTKmV4/5FBeGnDMeTvPodXNp3AuZpG/PXuHMilou0RSQghYYkS+8CpbnBgV3E1AHrBfSUquRTxWgVqbU6U1TdFfGJ/ymTFiQor5FIOY3KufFU1kul1KnAc4HR7UWNzIik6sqsa9p2tRaXVgRiVDLf2SGIdjigJm0EmqwNujxcyEeQbHY7g3XffxbRp06DT6bB//37k5uZCq9Xi5MmTvlny12rEiBHgef6St/z8fADAM888gwsXLsDpdOL8+fN46aWXoFAo2j2HSqXC4sWLUVtbC5vNhs8///yq9+tJ+JJKOPzvxBz8ZUI2OA74eF8JZubvh9VOHfMJIYSEh00F5fDyQG6aDpkJWtbhiFZrabV4TtNYEZrm3dYjCbEaxW98dmSSSyVIarmiQGumtSoor68BChn7hFWMEqOUkEk4eLw8Kq0O1uEA6GRiv2zZMixduhQKhQLz58/Htm3bMHv2bDQ2NgYiRkI65NHhWXj/4UFQy6X48VQ17n1vD3XGJYQQEhaEJG08dam+qtb7r5F9Z5rned8EBbq6cXWGWFozAODyeLGpQJigQGvmSqQSDnqRbSB2OLEvKSnBLbfcAqD5tNxqtQIAZsyYgdWrV/s3OkI66XfZKfj0iaFIjlbiRIUVkxbvQkGpmXVYhBBCSKeVm5uw/1wtAGAcleFfVarQsTrCN/aPlVtwpsoGpUyCUdkprMMRNVozzXYVV6Ou0YXEKAWGdI1nHY6oGUW2gdjhxD4lJQW1tc2/VDIzM3136s+fPw+v1+vf6Ai5Dv3SdFg3hrTWLAAAIABJREFUezh666NRZXXgvmV78O3RCtZhEUIIIZ2y8Ug5eB4Y3CXOd7+TXJ6BRt4BANa3zCG/s08yopQ0cvJqWueSR3ZiL6yZsf0Morg3LmaG2BA/sR85ciTWr18PoLnJ3bPPPou8vDzcd999mDhxot8DJOR6GGPVWPvHobitZxKaXB488dFBrNh5FjzPsw6NEELCUnx8PKqrm5u7zZw501fZR66fUIZP5bG/TbhjH8mnrzzPt+mGT2vmt/jWTARvBtldHt8hGK2Z3ya2Kz/XnNgXFhYCAJYtW4b//M//BAA8/fTTWLZsGbKysvDCCy9g2bJlgYmSkOsQrZJjxfRBeOjmDPA88NcNx/C/Xx2F20MVJoQQ4m9OpxMWiwUAsGrVKtjt4njBE+pKahpx+EI9JFxzQytydUY6sccvF+pxsb4JWoUUd/RKZh2O6PnWTARvBu04WQWrww19jAqDMuNYhyN6Yru+cc01Of3798fgwYPx2GOP4YEHHoBS2dw5ctq0aZg2bVrAAiTEH2RSCV6e1BddEjR4ZdMJrNpzHhfqmvDOgwOgpdI0Qgjxm6FDh2LSpEkYOHAgeJ7HM888A7X68mXjK1asCHJ0oUvoUj2sW2LEj+K6Fq2JfVPEziUXTut/l50CtULKOBrxM1LzvDbNOQ0R+W+mo1qvb4hjzVzzif327duRk5OD5557DgaDAdOnT8ePP/4YyNgI8SuO4/CH27ph6dQboZJL8P2JStz73h5UiOQfIyGEhIOPPvoIY8eORUNDAziOg9lsRl1d3WXfyLXb4CvDp9P6a5ESrYSEA1weHtU2cYyiCiaPl8dGurrRIcaWUvxKqz0iqzobnW5sOWYCQGvmWontjv01H1XeeuutuPXWW/HOO+/g008/RX5+Pm6//XZ0794ds2bNwvTp02l+PAkJd/U1YI1OjcdW7cexcgsmLd6FFTMGI9sYwzo0QggJeSkpKVi4cCEAICsrCx9++CESEhIYRxXaiiutOF5ugUzCYUwOvda6FjKpBMnRKlRY7CivtyM5WsU6pKDaf64WlVYHYlQy3NojiXU4ISExSgm5lIPLw8NkdSA1whpUbj1eiSaXBxnxGvRP07EOJyQIXfGrG5ywuzxQydlWxnS4eZ5Wq8Wjjz6K7du34+TJk7j33nuxePFiZGRkUPM8EjJuSI/FF08NR4/kKFRY7Lj3vd3YdqKSdViEEBJWzp49S0m9Hwhdqm/rmYRYjYJxNKHDKLL7r8EklOHn9TVAIaPO5tdC0mYueSSvmQm5BnAcleFfi1iNHOqWZF4MFcDX9S+9e/fuWLBgAf77v/8b0dHR2Lhxo7/iIiTg0uM1+OzJYRjePQE2pwezVu3Hh3vOsQ6LEELCyvbt2zFhwgR0794d3bt3x8SJE+kqXwfwPO+7X09l+B0jjLyLtC7nLo8XmwpbOpvTmumQ1i7nkZXYW+wu/FBUBYC64XcEx3G+cvwyEZTjdzqx37FjB2bMmAG9Xo/nn38ekydPxq5du/wZGyEBp1PLsXLGTbhvUBq8PPDCl0fx0oZj8HhpHB4hhFyvjz76CKNGjYJGo8Ezzzzja6R35513YvXq1azDCwnHyi04U2WDUibBqD4prMMJKcKd6Ujrcr77dA1qbU4kaBUY2pUqZjrCt2YibDPou6MmOD1edE+OQm99NOtwQopRRCPvOtQOvKysDPn5+cjPz0dxcTGGDRuGf/zjH7jvvvug1WoDFSMhAaWQSfDqlP7ITNDitW+KsHznWZTUNuLtB26ARkEd8wkhpLNefvllLFq0CHPnzvU99swzz+DNN9/ESy+9hIceeohhdKFBKMMf2TsZ0So542hCi9g6VgeLUFI9tp8BMimV4XeEIUJH3vmqgvobqQy/g4QrP2JYM9f8rz0vLw+ZmZl45513cM899+D48ePYuXMnHn30UUrqScjjOA6z7+iOdx4cAIVMgu+OmfDA+3tRaY2sFwOEEOJPZ86cwYQJEy55fOLEiTh79iyDiEILz/PY4CvDp/LYjhLGl10UwQvuYHG4PfjmaHMZPq2ZjmtdM5Hz+q/W5sTOU9UA6OpGZ/iub4hgA/GaE3u5XI7PPvsMpaWlePXVV9GrV69AxkUIExNyjfj48ZsRr1XgSKkZ9yzejaIKK+uwCCEkJKWnp2Pr1q2XPL5lyxakp6cziCi0HLpQj9K6JmgUUtzRK5l1OCHHKLJRVMGw42Q1rHY39DEqDMqMYx1OyGktxY+cNbO5sAJuL48cYwy6JUWxDifkiOnnzDXXGX/11VeBjIMQ0RiYGY8vnhqGR1fux5lqG36/dDcWT70Rt/WkcTGEENIRzz33HJ555hkcOnQIw4YNAwDs2rUL+fn5ePvttxlHJ35CGf7vslOgVrAdoxSKhJO0SqsDLo8X8ggoSxfK8Mf3N0AioZLqjorE6xut3fCpwqMzxNRwMfx/whHSCZkJWnz+1DDclBUPq8ONR/P34+N9JazDIoSQkPLkk09izZo1KCgowLPPPotnn30WhYWF+OSTT/DEE0+wDk/UPN42ZfjUpbpTErQKKGQS8DxgsoR/otbodOO7YyYAwHhK0jpFmF1fa2ueSx7uKi127D1bAwAY14/K8DvD6OvLwP5nDCX2hFxBrEaBD2fdhMkDUuHx8pj/eQEWbjoBL3XMJ4SQa3bPPfdg586dqKmpQU1NDXbu3Im7776bdViit/9cLSqtDsSoZLi1ZyLrcEKSRMLB4JtLzv5Fd6B9f6ISTS4P0uPVyE3TsQ4nJMWoZdC0VMeI4QQ20DYWlIPngQEZsUiP17AOJyQJpfhWhxsWu4tpLJTYE3IVSpkUb9yXi2dH9QAAvLf9NOZ8/HNE7OISQghhRyiPvauvHkoZleF3liGC7kz7Sqqps3mncRzXZs2E/2bQhiPN132oKqjzNAoZdOrmiSWsT+0psSfkN3Ach2dH9cTf78+FXMrh64IKPPjBXlQ3OFiHRgghJAy5PV5sKqTO5v4gphnTgWS1u7CtqAoArZnrJZRWh/uJfWldIw6erwPHAeP6Uxn+9fCtGcYbiJTYE3KN7hmQho9m3QydWo5fSupxz5JdKK6kjvmEEEL8a/fpGtTanEjQKjC0awLrcEJapCRp3x0zwen2ontyFHrro1mHE9IiZTNoY8tp/c1Z8UiJUTGOJrT5pinQiT0hoePmrgn4/KlhyEzQ4EJtEyYv2Y3dp6tZh0UIISSMCCXVef30kEVAJ/dAMohoFFUgURm+/0TMmjlC3fD9RSxrhn5bENJB3ZKi8MVTwzEoMw4WuxuPLN+HtQcusA6LEEJEy+l0oqioCG63m3Uooudwe7D5aEsZPt17vW6RcPpaZ3Pix1PNhwzjc6mk+nr51kwY37E/U9WAwosWSCUc8vrSmrlewsi7i4wrgyixJ6QT4rUKfPTYzZiQa4Tby+P5z47gjW+LwPPUMZ8QQgSNjY2YNWsWNBoNcnJyUFLSPDb06aefxsKFCxlHJ047TlbDancjJUaJwV3iWYcT8nyjqML49HXz0Qq4vTyyDTHolhTFOpyQ1zq+LHzXjNA0b3j3RMRrFYyjCX2pIhl5R4k9IZ2kkkvx9v03YM4d3QEA73xfjD+tOUQd8wkhpMX8+fNx+PBh/PDDD1CpWu9wjho1Cp988gnDyMRLKKke398IiYRKqq+XUCJb1+hCkzM8fz/7yvCppNovhDVTVt8Utgc2G4QyfGqa5xdimb5BiT0h10Ei4fAfY3ph0e/7Qybh8NXhMjy8/CfU2pysQyOEEObWrVuHd999F7fccku7e785OTk4ffo0w8jEqcnpwZbjJgCUpPlLjEqOKKUMAPuO1YFQabVj75kaAMB4StL8QijFtzk9sNjD7/pQUYUVJ00NUEglGJ2jZx1OWGjtim9nuhlEiT0hfnDfoHSsmnkTolUy7D9Xh8lLduFstY11WIQQwlRVVRWSk5Mvedxms1GDr8v4/kQlGp0epMerkZumYx1O2DCIpGN1IGwqqICXBwZkxCI9XsM6nLCgVkgRq2mZSx6Gm0FChcftvZJ889fJ9UmJUYHjAKfbixqGh3uU2BPiJ8O7J+LzJ4chLU6NczWNuGfJLuw7W8s6LEIIYWbQoEHYuHGj730hmf/nP/+JoUOHsgpLtNqW4dPGh/+E88i7tt3wif+0Nl0MrzXD8zx1ww8AhUyCpCglALYbiDJmX5mQMNQjJRpfPDUcj/3rAA5fqMe0f/6ERb/vj0kDUlmHRgghQfe3v/0NeXl5OHbsGNxuN95++20cO3YMu3fvxvbt21mHJypWuwvfF1UCoCTN34zCnekwO329WN+EA+frwHHAOCrD9ytjrArHyi1hN02h4KIZ52saoZJLcGfvS6upSOcZYtWotDpQZm5CP0YVV3RiT4ifJUUrsebxIcjrq4fT48WznxzC21tOhW0DFkIIuZJbbrkFhw4dgtvtRr9+/fDtt98iOTkZe/bswcCBA1mHJyrfHTPB6faiW5IWfQzRrMMJK8IoqnArxd/YcvJ6U5d4pMSofuOzSUf41kyYbQYJFR539kmBVknnu/5k1LU2XWSF/osSEgBqhRSLH7oRr24+gWU7zuDvW07ifK0NCyf3h0JG+2mEkMjRrVs3fPDBB6zDEL22nc2pDN+/hDv24XZiv/5w88gyKqn2P6EzfjhtBnm9vG/MHVUF+V/raE0qxSck7EgkHOaP7YOMBA3+58uj+Pzniyirb8KyaYOg01CzEkJI+LNYLJd9nOM4KJVKKBQ0PxkA6hud+PFUNYDm+/XEv1LD8I79uWobCi6aIZVwyOtLnc39TVgzF8NozfxcUodysx1RShlG9EpiHU7YMYjgxJ6ODgkJsKk3Z2LFjMGIUsqw90wt7lm6CyU1jazDIoSQgIuNjUVcXNwlb7GxsVCr1cjMzMRf/vIXeL1e1qEytbmwAm4vj2xDDLonR7EOJ+wY2pykhcu1OGEO+fDuiUhoadpF/Ke1FD98TuyFqqDROSlQyaWMowk/YmjSSYk9IUFwe88kfPbkUBh1KpypsmHSkl04eJ465hNCwtuqVatgNBqxYMECrFu3DuvWrcOCBQuQmpqKJUuW4A9/+AP+8Y9/YOHChaxDZYq6VAeWcJLW6PTA0hQec8l9ZfjUNC8ghDVTYbbD6w39zSC3x4uNBXR1I5B8YzWpFJ+Q8NdbH4N1s4dj1qoDKLhoxoMf/IQ378ulsktCSNj68MMP8cYbb+C+++7zPTZhwgT069cPy5Ytw9atW5GRkYGXX34ZCxYsYBgpO5VWO/acrgEAjKckLSBUcikStArU2JwoMzeF/HW4ogorikxWKKQSjM6hMvxA0Ota5pJ7mueSJ0WHdlXET2drUd3gRKxGjlu6J7IOJywJ1zdMFjvcHi9k0uCfn9OJPSFBlByjwidPDMGoPilwur2Ys/oXLPmhOGxKAwkhpK2dO3diwIABlzw+YMAA7NmzB0Bz5/ySkpJghyYamwoq4OWBG9JjkR6vYR1O2BKaoYXDPXuhDP+2nknQqUN7k0Ks5FIJkluS+XBYM0IZfl5fPeQMEs5IkBilhFzKwcsDlVYHkxjovywhQaZRyLDs4YGYOTwLALBocxH+/H8FcHki+44pIST8pKWlYfny5Zc8vnz5cqSnpwMAampqEBcXF+zQRKNtN3wSOMKd6bIQvzPN83ybNUMVHoEULiPvnG4vNhVWAKBu+IEkkXC+sZOsNoOoFJ8QBqQSDv8zIRuZCRq8uP4oPjlwAaX1jVgydSDtvhNCwsbrr7+Oe++9F5s2bcLgwYMBAAcOHMCJEyfw2WefAQD279+P+++/n2WYzJTVN+HA+TpwHDCuHyVpgSTMmC4P8dPXwosWnKtphEouwag+KazDCWvGWBUOXQDKQnzk3a7iapibXEiMUuLmrgmswwlrxlg1SuuamG0g0ok9IQxNH9YF/5w+CBqFFLuKa/D7pbtxoZY65hNCwsPEiRNRVFSEsWPHora2FrW1tcjLy8OJEycwfvx4AMCTTz6JN998k3GkbGxsmSl9U5d46FsSTxIYYuhY7Q9CGf6dfVKgVdL5XCAZdeGxZoQKj/H9DZBKOMbRhDfWG4j0E4EQxkb2TsGnTwzFrFX7caqyAfcs2Y3l0wchNz2WdWiEEHLdunTpgldeeeWSxwsLC9G3b18GEYkHdcMPHmHkXSiX4nu9PDYcEbrh05oJtLZjEkOV3eXBt8dMAOjqRjCwXjN0Yk+ICPRN1WHd7OHoY4hBdYMD97+/B5tb7kMRQki4sFqteP/993HTTTchNzeXdThMnau24UipGVIJh7y+1Nk80HwnaSF8X/qXC3W4WN+EKKUMI3olsQ4n7AlrpiyE18wPRZVocLhh1KkwID1ye5kEi7BmLjI6sWea2O/YsQMTJkyA0WgEx3FYt25du483NDRgzpw5SEtLg1qtRnZ2Nt577712n2O32zF79mwkJCQgKioKU6ZMgclkCua3QYhfGHRqrP3jUNzRKwl2lxdP/vsgPthxhjrmE0JC3o4dOzB9+nQYDAa8/vrrGDlyJPbu3duh53jllVcwePBgREdHIzk5GZMmTUJRUVGAIg48oaR6WLcEJESF9iitUCCU4ofyXHJhdv3o7BSo5FLG0YQ/Yc2Uh/Ade2HNjM81QkJl+AHnWzOMNoOYJvY2mw25ublYvHjxZT8+b948bN68GR999BGOHz+OuXPnYs6cOfjqq698nzN37lysX78ea9euxfbt21FWVobJkycH61sgxK+ilDJ88MggPDwkEzwPvPz1cfz3ukK4qWM+ISTEVFRUYOHChejRowfuvfdexMTEwOFwYN26dVi4cKGvmd612r59O2bPno29e/fiu+++g8vlwujRo2Gz2QL0HQSW8IKbyvCDIzlaCQkHuDw8qhvYjKK6Hp62Zfi0ZoJCGJFostpDcnJRg8ONrSdayvDp6kZQ+CYpMNoMYnrHPi8vD3l5eVf8+O7duzF9+nSMGDECAPD444/jvffew759+zBx4kSYzWYsX74cq1evxsiRIwEAK1euRJ8+fbB3714MGTIkGN8GIX4lk0rw17tzkJmgwctfH8e/fypBaV0T3n1oAKJV1DGfECJ+EyZMwI4dOzBu3Di89dZbuOuuuyCVSi+puuuIzZs3t3s/Pz8fycnJOHjwIG677bbrDTmoTpqsKDJZIZdyGJNDZfjBIJNKkBKjQrnZjjKzHckxodWs8KczNahucCBWI8fw7omsw4kIidrmueQuDw+TxY60OA3rkDpk63ET7C4vuiRo0Dc1hnU4EcHYshlUY3PC7vIEvbJG1Hfshw0bhq+++goXL14Ez/PYtm0bTp48idGjRwMADh48CJfLhVGjRvn+Tu/evZGRkYE9e/Zc8XkdDgcsFku7N0LEhOM4PHZrV7w3bSBUcgm2n6zCve/tCfnOrISQyLBp0ybMmjULL774IsaNGwep1P8vbsxmMwAgPj7+sh8X8+/6DS1dqm/vmUwjToPIEMIj79a3nNbn9dVDIRP1y/ewIZFwvmkVodhAr21VEMdRGX4w6NRyaBTNv+9YrBlR/2R45513kJ2djbS0NCgUCtx1111YvHixb2e+oqICCoUCsbHtu4enpKSgouLKjcdeeeUV6HQ631t6enpAvw9COmtMjh6fPjEUSdFKnKiw4p4lu1B40cw6LEIIuaqdO3fCarVi4MCBuPnmm/Huu++iurrab8/v9Xrx7LPPYvjw4VfsrC/W3/U8z/uSNOpSHVzC/VdWja06y+XxYlNhy11pKqkOqlAdeWdudGH7yUoAtGaCieM4phuIok/s9+7di6+++goHDx7EG2+8gdmzZ2PLli3X9bzz58+H2Wz2vV24cMFPERPif/3TYvHFU8PQMyUKJosD9y3bgy3HqEEkIUS8hgwZgg8++ADl5eV44oknsGbNGhiNRni9Xnz33XewWq3X9fyzZ89GYWEh1qxZc8XPEevv+qNlFpyttkEll2BUnxTW4UQUY4iOL9tZXI36RhcSo5QY0jWBdTgRRVgzZSHWQO+bYxVweXj0SolGL30063AiipHhaE3RJvZNTU1YsGAB3njjDUyYMAH9+/fHnDlzcP/99+P1118HAOj1ejidTtTX17f7uyaTCXr9le+sKZVKxMTEtHsjRMzS4jT47MlhuLVHIhqdHvzhwwPI33WWdViEEHJVWq0WM2fOxM6dO1FQUIDnnnsOCxcuRHJyMiZOnNip55wzZw42bNiAbdu2IS0t7YqfJ9bf9etbyvDv7J0CrZJpq6OIYwjRkXfCmhnXTw8pdTYPqlBfM+P7U1VQsAlrhkWVh2gTe5fLBZfLBZms/S89qVQKr7e5M+XAgQMhl8uxdetW38eLiopQUlKCoUOHBjVeQgItRiXHihmD8eBN6fDywP+uP4b//eooPCE6tocQEll69eqFRYsWobS0FB9//HGH/z7P85gzZw6++OILfP/998jKygpAlIHlbdfZnF5wB5tBF3qnr3aXB98ebelsTt3wg84Qgif21Q0O7D5dA6B5zB0JLpYj75huFTc0NKC4uNj3/tmzZ3Ho0CHEx8cjIyMDt99+O/7jP/4DKpUKmZmZ2L59O/71r3/hzTffBADodDrMmjUL8+bNQ3x8PGJiYvD0009j6NCh1BGfhCW5VIK/3dMPmQlaLNx0Avm7z6G0rhFvPzCATn4IISFBKpVi0qRJmDRpUof+3uzZs7F69Wp8+eWXiI6O9vXS0el0UKvVgQjV7365UIeL9U2IUsowolcy63AiTmps6N2X/qGoCg0ON4w6FW7MiGMdTsRJjWV3+tpZmwor4PHy6JeqQ1ailnU4EcfIcAORaSZw4MAB3HHHHb73582bBwCYPn068vPzsWbNGsyfPx9Tp05FbW0tMjMz8fLLL+OPf/yj7+/8/e9/h0QiwZQpU+BwODBmzBgsWbIk6N8LIcHCcRz+eHs3ZMRrMPeTQ9hyvBL3LduDFTMGIyXExvcQQsi1Wrp0KQD4RuAKVq5ciRkzZgQ/oE4QulSPzk4J+hgk0jqXvKrBAafbGxLd5TccaSmpzjVCQmX4QeebSx5CpfjC1A2qCmLDwHAziGliP2LECPD8lcuI9Xo9Vq5cedXnUKlUWLx4MRYvXuzv8AgRtbH9DNDrVHh81QEcLbNg0uJdWDFjMPoYxHGPlBBC/OlqrxdCgcfLY2NB6/gpEnwJWgUUMgmcbi9MFjvS48U9l7zR6cbW482dzSdQZ3MmhNPXukYXmpweqBXi3pCrMNux71wtAGAcrRkmWDbpFP9WJSHkim7MiMMXTw1HtyQtys12/H7pbvxQVMk6LEIIIb/y09kaVFkdiNXIMbx7IutwIhLHcTCG0FzyLccr0eTyoEuCBn1TadOehRi1DFrfXHLxn9pvLCgHzwODMuN8V09IcAmbQQ0ONyx2V1C/NiX2hIS4jAQNPn9yOIZ2TYDN6cGsVQfw0d7zrMMihBDShlCGf1eOPiRKwMOVIYTmkrd2NjeC46gMnwWO40KqgR51w2dPrZAiViMHAJQHec3QbxZCwoBOI8eqmTfh9wPT4PHy+O91hXh54zF4qWM+IYQw5/J4samQyvDFwHf/VeSnr+YmF7YXVQGgNcOab3yZyNfMhdpGHLpQDwkHjKXEnilWG4iU2BMSJhQyCV77fX/8x+ieAIAPfjyLJ/99EE1OD+PICCEksu0srkZ9owuJUUoM6ZrAOpyIJpTJBvskraO+PVoBp8eLnilR6KWPZh1ORAuVNbO+pdHikK4JSI6mZsospTLaQKTEnpAwwnEc5ozsgbcfuAEKqQTfHDXhgff3oNIq7l9GhBASzja0lOGP66eHlDqbM2UMkZF364+0VHhQAzTmQmXNCD9nqMKDPQOjzSBK7AkJQ3ffkIp/P34z4jRyHC41457Fu3HSZGUdFiGERBy7y4Nvj1YAoBfcYtBaii/eDe9amxO7iqsBNI+5I2yFwvWN4soGHCu3QCbhcFeOnnU4EY/VyDtK7AkJU4O7xOPzp4YjK1GLi/VNmLJ0N3aeqmYdFiGERJTtJ6tgdbhh1KlwY0Yc63AinjEE5pJvKiyHx8ujX6oOWYla1uFEvNY1I97NoA0tZfi39khEnFbBOBoiTCSgUnxCiN9kJWrx+ZPDMLhLHKx2N2as3IdP9pewDosQQiKG0KV6XH8DJFSGz5yx5SStvtGFRqebcTSXR53NxUVYM+X1TeB58TUl5nm+3QQFwp6B0WYQJfaEhLk4rQIfPXYzJt1ghNvL4z//rwCLNp+gjvmEEBJgjU43th6vBEBl+GIRrZIjWikDIM7xZSaLHT+drQXQvBlE2BOSNJvTA0uT+DaDjpdbcbrKBoVMgt/lpLAOh6B1kkK52R7U19uU2BMSAZQyKf5+/w145s4eAIAlP5zG02t+gd1FHfMJISRQthyvRJPLg8wEDfql6liHQ1oI91/FWI6/8Ug5eB4YmBmHtDgN63AImueSx7XMJRfjPXuhG/4dvZIQo5IzjoYAgF6nAscBTrcXNTZn0L4uJfaERAiO4zDvdz3xxr25kEs5bDxSjoc+2IuaBgfr0AghJCwJ5bET+hvBcVSGLxasOlZfCyFJm0Cn9aJiEGlvBp7nfffrqSpIPORSCZKjlQCCu2YosSckwkwZmIZ/zbwZMSoZfi6pxz1LdqO4soF1WIQQElYsdhe2F1UBoBfcYiOML7sosvFlF2ob8UtJPSQcMJYSe1FpXTPi2gw6XGrGhdomaBRSjOydzDoc0oawGRTMKz+U2BMSgYZ2S8DnTw1HerwaJbWNmLJ0N/acrmEdFiGEhI1vj5rg9HjRMyUKvfTRrMMhbRh14izF31jQPId8SNcEJEerGEdD2mrbQE9MhKqgUX1SoFHIGEdD2jIyGHlHiT0hEap7chTWPTUcN2bEwtzkwiMrfsL/HSxlHRYhhISFtmX4RFwMseIcX+ZbM1ThITqsupxfjddLZfhixuL6BiX2hETXVDAZAAAgAElEQVSwhCglVj8+BOP6GeDy8Hhu7WG8+d1JUY5zIYSQUFFrc2JncTUAYDy94BYdFidpv+V0VQOOllkgk3C4K0fPOhzyK2JcM/vP1cJkcSBaJcNtPRNZh0N+xeibZU+l+ISQIFHJpXjnwQF4akQ3AMA/tp7C3E8OweGmjvmEENIZmwrL4fHy6Jsag6xELetwyK8Y29x9FctG9obDzWX4t/RIRJxWwTga8mutSZp4Enuh0eKYHD2UMinjaMiv+a78UCk+ISSYJBIO/++u3lg4uR+kEg7rDpXh4X/uQ10QR3QQQki4oDJ8cdO3vOBucnlgbnIxjqa5s/lXhy8CoDUjVsJc8oogzyW/ErfHi00FFQCoDF+shCs/1DyPEMLEAzdlIP/RwYhWyrDvXC0mL92Nc9U21mERQkjIqLTY8dPZWgDAOOpsLkoquRQJLafiwXzRfSUnKqw4XWWDQibB73JSWIdDLiMlpnkuucvDo9rGfkzwnjM1qLE5Ea9VYFi3BNbhkMsQrm9UWu1we7xB+ZqU2BNC2rm1RxL+76lhSI1V42y1Dfcs2YX952pZh0UIISFhY0E5eB4YmBmHtDgN63DIFfhKq0VwZ1pogHZHryTEqOSMoyGXI5dKkBIt3LNnvxkkVAXl9dVDLqV0TowStUrIpRy8PGCyBmcziFYCIeQSPVOi8cXsYchN06Gu0YWpH/yELw9dZB0WIYSIXmsZPp3Wi5lBJCPveJ7H+pb79VRSLW4GkYy8c7g92FxIZfhiJ5Fwvms/wVozlNgTQi4rOVqFNX8YijE5KXB6vPjTmkN49/tTomk0RAghYnOhthE/l9SD44Cx/SixFzMWHasv50ipGSW1jVDLpRjZO5lpLOTqfE0XGa+ZH09Ww2J3IzlaicFd4pnGQq5OGHl3kRJ7QghraoUUS6YOxOO3ZgEAXv/2JJ7/7Aic7uDcFSKEkFCysaD55HVIVgKSY1SMoyFXY2DQsfpyhAqPUdkp0ChkTGMhVyeaNdNydWNcfwOkEo5pLOTqUmOFWfbB2QyixJ4QclVSCYf/GpeNlyb1hYQDPjtYiukr9sHcyL6TMCGEiImvDJ/KY0XPyKBj9a95vTw2HGkpw6erG6InhpF3TU4PvjtmAkA/Z0JBsDeDKLEnhFyTh4dkYvmMwdAqpNhzpgaTl+5CSU0j67AIIUQUzlQ14GiZBTIJh7v66lmHQ36D0LGaZZJ24HwdKix2RKtkuL1XErM4yLXxrRmGm0HbiirR6PQgNVaNAemxzOIg10YYeXcxSGuGEntCyDW7o1cy1v5xGPQxKpyuau6Y/3NJHeuwCCGEOeHk9ZYeiYhvGaVGxEu4+2qysJtLLlR4jMnRQymTMomBXDthzbBsuNi2KojjqAxf7FJjg9ukkxJ7QkiHZBtjsG72cOQYY1Bjc+LB9/fi65Z7pYQQEol4nsdXvm74VB4bCpKjlZBKuOa55A3Bn0vu9nixqZC64YcSoRS/0uqAK0hzyduy2l34/kQlAGBCLl3dCAWtm0F0Yk8IESm9ToVPnxiKO3snw+H24ql//4z3tp+mjvmEkIhUZLKiuLIBCqkEv8tJYR0OuQYyqQQp0UoAwetY3dbeM7WobnAiTiPHsG4JQf/6pOMStAoopBLwPFDBoDP+luMmONxedE3UItsQE/SvTzpOmKRQa3PC7vIE/OtRYk8I6RStUob3HxmEGcO6AAAWbjqBBV8UMtnFJoQQloTy2BG9khCjkjOOhlwrQ5A7VrclrJm8fgbIpfRyPBS0m0vOZM00V3iMpzL8kBGjlkGjaL5mUxaEDUSaq0EI6TSphMP/TsxBZoIGL204ho/3leB0VQNGZ6cgK1GLLolapMdpoJDRixZCSHjied73gptKqkOL0LE6GC+423K625Th09WNkGLQqVBS2xj0e/b1jU7sOFkFgCYohBKO42CMVaO4sgHlZju6JkUF9OtRYk8IuW6PDs9CepwGT3/8C/adrcW+s7W+j0klHNLi1M2JfoIWXZOa/zcrUQtjrJpmsBJCQtqRUjNKahuhlktxZ59k1uGQDkhlNPLux1NVsNjdSI5W4qas+KB+bXJ9Un1dzoOb2H9ztAJuL4/e+mj0SIkO6tcm18egU6G4soFO7AkhoWNUdgrWPz0cX/xyEWerbThb3Yhz1TY0uTw4X9OI8zWNAKra/R2FVIKMBA2yErW+NyHpT4lRUqkZIUT0NhxpLqkelZ0CjYJeVoUS34zpIJ++CmX44/obaHM7xBiELudB3gyiqqDQJdyzD8YGIv0GIoT4TffkaDw/prfvfZ7nYbI4WhJ9G87V2HCmqvl/S2oa4fR4UVzZgOLKhkueS6OQIjNBi66JWnRJ1CArMQpZiRp0SdAiXqugpJ8QwpzXy/vG3FF5bOgR7tiXBfG+tN3lwXfHTAAoSQtFLEbeVVkd2H26GgBd3QhFxtjgrRlK7AkhAcNxzY1m9DoVhv6q66/Hy6OsvsmX9LdN/kvrmtDo9OB4uQXHyy2XPG+MStZ6wt/2tD9RS42rCCFBc7CkDuVmO6KVMtzeK4l1OKSDhLLq8iCWVW87UQmb04PUWDUGpMcG7esS/2BxfWNTYTm8PJCbpkNGgiZoX5f4h1DlEYwNRErsCSFMSCUc0uM1SI/X4Lae7V8QO91eXKhrLuVvl/RX21BmtsNid+NwqRmHS82XPG9ilMJXzt/lVyX+6pbOpIQQ4g9CSfXoHD2UMvr5EmqEUvyqBgecbm9QGr2ub7m6MT7XQJVnIag1SQveZpDwc4YqPEKTUIofjA1ESuwJIaKjkEnQLSkK3S7TPbTJ6cH52uYk/0xLsi/c6a9ucKC6wYnqBicOnK+75O8adKrmpD9Ji6yE1sQ/I5469xNCOsbt8eLrAuHeK5Xhh6J4rQJKmQQOtxcmix3p8YE9DW1wuLH1eCUAKqkOVUIpfn2jC01OT8APDMrqm7D/XPPrmXF03Sck+TaD6pvA83xAN/QosSeEhBS1Qore+hj01sdc8jGr3YVz1Y04W2PD2Za7/ELyb25yodxsR7nZjj1natr9PQkHpMVp0CWx5U5/gvDnKKTGUed+Qsil9p6pRXWDE3EaOYZ3T2QdDukEjuNg0KlwrqYRZfVNAU/stxwzweH2omuiFjnGS3+HEfGLUcmgVUhhc3pQZm667AGEPwmbhzd1ifdtKpDQIpzY25weWOxu6NSBuzJKiT0hJGxEq+Tol6ZDvzTdJR+rsznbn/DXtP650elBSW0jSmobfXNiBXIph4x4Tfs7/S2n/inRKkgo6SckIgnd8PP6GSCXUsVPqDLGqpsT+yCUVgsl1eNzjVSGH6KEueSnWsaXBTqxby3Dp9P6UKVWSBGnkaOu0YVycxMl9oQQcr3itAoM1CowMDOu3eM8z6PK6vhVWX/zaf+5mkY43V6crrLhdJXtkudUySWXvc+flahFAnXuJyRsOd1ebCqsAEAl1aHOEKRRVOZGF3acat44pgkKoc3QktgHeuTd+RobDpeaIeGaNxBJ6DLo1KhrdKGsvumyFaf+Qok9ISSicRyH5BgVkmNUGNL10s795eYmX+M+Ifk/V9N8um93eXGiwooTFdZLnjdaKUNWUnPTPl+Jf0vSH8jdWkJI4O0sroK5yYXkaCVuyopnHQ65DsbY4Myy/+ZoBVweHr310eiREh3Qr0UCy6gLTgM9YZTm8O6JSIxSBvRrkcAyxqpwrNwS8A1ESuwJIeQKpBIOaXEapMVpcGuP9p37XR4vSuuacLa6AWer23fwLzM3wepw40ipGUcu07k/XqvwderPStQgKzEKXRKby/01CvqxTIjYrT/c/IJ7bD8D9eAIcb4Z0wF+wS10w6fO5qEvaGtGuLpBFR4hL1iz7Jm+gtyxYwdee+01HDx4EOXl5fjiiy8wadIk38evVMa6aNEiPP/88wAAu92O5557DmvWrIHD4cCYMWOwZMkSpKSkBOV7IIREJrlU4iu7/zW7q/nO/pmWBn5tT/srrQ7U2pyotTlx8DKd+1NilO1G9Al/zkjQ0DgtQkTA7vLg26MtZfiUpIU8YeTdxQCOoqpucGBXcTUAStLCgSEIJ/anTM3VgHIphzE5+oB9HRIcBl1wNoOYJvY2mw25ubmYOXMmJk+efMnHy8vL272/adMmzJo1C1OmTPE9NnfuXGzcuBFr166FTqfDnDlzMHnyZOzatSvg8RNCyOWo5FL0TIlGz8uUWzY43L7T/XMtTfyEP9c1umCyOGCyOLD3TG27vyfhmnd82yX9LWP70uLUkFHzLkKCYtuJSticHqTGqnFjRizrcMh1aj1JC9wL7k0F5fDyQG6aDpkJl24Gk9AirJmyAG4GrW8pw7+tRxJiNYqAfR0SHMKVn0BuIAKME/u8vDzk5eVd8eN6ffsdqi+//BJ33HEHunbtCgAwm81Yvnw5Vq9ejZEjRwIAVq5ciT59+mDv3r0YMmRI4IInhJBOiFLK0DdVh76pl3bur290tjbvq7bhbE0jzlY34Fx1IxocbpTWNaG0rgk/nqpu9/dkkubO/V3adO4X7vQbYqhzPyH+JNx7HZ9roAaZYUA4fTU3udDodAfkOpRwdYMqPMKDsGbKzfaAzCXneR4bDtPVjXASjA1EIITu2JtMJmzcuBGrVq3yPXbw4EG4XC6MGjXK91jv3r2RkZGBPXv2XDGxdzgccDgcvvctFkvgAieEkGsUq1FgQIYCAzIu07m/wYFzLXf523bwP1djg8PtxZmWx39NKZO0NPBrvssv3OmP08hBOYm4Wa2XNmUkbDU43Nh6wgSAuuGHi2iVHNEqGax2N8rq7eie7N/xZeXmJuw711yBNY7K8MOCkKQ1Oj2wNLmh0/i3Ie7RMgvOVNuglEkwKpuuFocDYTOowmyH18sH7MAlZBL7VatWITo6ul3JfkVFBRQKBWJj25fCpaSkoKKi4orP9corr+DFF18MWKyEEOJPHMchOVqF5GjVJR24vV4e5RZ7+1F9Lf9bUtsIh9uLIpMVRSYrABObb4B0itfRyDoE8itbj5tgd3nRNVGLHGPgRhaR4DLq1CiyW1FW3+T3xH5jS4XHTV3iffdsSWhTyaWI1ypQa3PiYn2T3xN7odHinX2SEaUMmVSNXEVKjAocBzg9XlTbHEiOVgXk64TMalmxYgWmTp0Kler6/4+YP38+5s2b53vfYrEgPT39up+XEEKCTSLhkBqrRmqsGsO7J7b7mFvo3F9ja5f4n622weZwM4qYXCuPRIYLrIMg7bTtUk1l+OHDEKtCkckakI7V69tc3SDhw6BTodbmRLm5Cdl+3ORrLsNvWTNUFRQ25FIJkqOVMFkcKK+3R3Zi/+OPP6KoqAiffPJJu8f1ej2cTifq6+vbndqbTKZL7ue3pVQqoVTSPEhCSHiTSSX/f3t3HhZVvf8B/D0LA8gaIDCooCkqgmAoetEMSxJxSZ6szKtdSivvTXOr5Gc+Xu1ey1xaLBXt5lLdtGzR0lIjRbjuW6C4ABqJKYsLO7LNfH9/yIyMrOLAmWHer+fxeZozM+d85nA653zO9/P9ftG5uq89ekgdDd2rwsJCOC2WOgrSKSitRELaNQDs99rW6FrSjT3HdOaNUiRfzodcBkQGMLFvS9ROtjhztRBXjdxn+mRmPq7k34KdSoFHe7gbdd0kLS9n29uJfcEtBHVqmYFXzWIY5XXr1qFv374ICgoyWN63b19YWVlhz549+mWpqanIzMxEaGhoa4dJREREbdTuM9mo1Aj09HSAbx0zXpD56lA9YrWxRznXlVQP7OqG9g5sUGpLWuyYqa4KeryXB2xVnOK2LfFqoQeINUnaYl9cXIwLFy7oX2dkZCApKQkuLi7w9vYGcLvF4ptvvsF7771X6/tOTk6YPHkyZs+eDRcXFzg6OuLVV19FaGgoR8QnIiIio9ElaWytb3v0c0wbufV1u35kc7bWtzVq3SjnRkzsNVqBn09zBoW2SjeAXktOkyhpYn/8+HE8+uij+te6fu/R0dHYuHEjAOCrr76CEALjx4+vcx0ffPAB5HI5xo4di/LyckRERGD16tUtHjsRERFZhuvF5Th48QaA2/3rqW1R61pfjdjHPj2nCOezi2ClkCHCv/7uoWSe9EmaER8GHc24idyicjjaKDHYt73R1kumoTWmvJM0sR8yZAiEEA1+5uWXX8bLL79c7/s2NjZYtWoVVq1aZezwiIiIiLAzJRsarUBQRyf4uNpJHQ4ZWQd966vx5iXXDZr3iG97OLdT3ff6yLTojxkjPgzSVQVFBqihUppFb2m6B14t8ADxbjxqiIiIiBpwZzR8lse2RZ7Vra+3KjXIL6287/UJIbCjOknjaPhtk64UXzcv+f2q1Gix8zRnUGjL9F1+WrCPPRN7IiIionpkFdzCsT9uAgBGsgy/TbJWKuBmf7tV3RitaWezCvH7tRJYK+UI9/O47/WR6fFwsIZcBlRqBK4Xl9/3+g5cuI680kq42qkQ+qCrESIkU6Pr8pNTVIZKjbZFtsHEnoiIiKgeP53KghBASOcH9H0kqe0xZmva9up5yB/r6Q4HG6v7Xh+ZHqVCrp+L3Bj97HXHzIjeaigVTM/aIjc7a6gUcggB5BS2TKs9jxwiIiKieuj6SnOU6rbNWP1fhRA1RsPnMdOWeRlpyrvyKg1+OZMNgMdMWyaXy/TdflpqAD0m9kRERER1uHyzFMmX8yGX3R7QitoutZHmmP7tcj6u5N+CnUqBR3u4GyM0MlG6fvb3m9gnpF5DUXkVPB1t0M/nAWOERiaqpae8Y2JPREREVAfdKNUDu7qhvYO1xNFQS9K1vt7vKOe61vrHe3nAVqW477jIdHkZqfVVVxU0KlANufz+Z2Qg09XB2TgPEOvDxJ6IiIioDrp+r6M5SnWb5+V8/33sNVqBn9h1w2J4GWHKu9KKKvx6NgcAjxlLoDbSA8T6MLEnIiIiusuF3CKcyyqEUi5DhL+n1OFQC9OV4l+5jxLZY3/cRG5RORxtlBjs295YoZGJunPMNP9h0J5zubhVqYG3SzsEdnQyVmhkoozV5ac+TOyJiIiI7qJrrX+ke3s4t1NJHA21NF0pfk5hGTTNnJdcV4Y/PMATKiVvsds6ffeN+3gYpDtmRgWqIZOxDL+tM9aAi/XhWYeIiIioBiGEvn89y/Atg7uDDRRyGaq0zZuXvFKjxc4UjmxuSXStr9eKy1FRde/zkheWVWJf2jUAPGYshTG6bzSEiT0RERFRDeeyivD7tRJYK+UI9/OQOhxqBQq5DJ6OzW9NO3jxBm6WVMDVToXQB12NHR6ZIFc7FVTK5s9LHncmBxVVWnRzt0dPT4cWiJBMje5hUF5pJW5VaIy+fib2RERERDXoWusf6+kOBxsriaOh1nJnKqp7T9J0JdUjequhVPD22hLI5bL7mr5MXxUU6MUyfAvhaKOEXfVsGVdboNWeZx4iIiKiakIIfZLG8ljLom5mmWx5lQa7WYZvkdTNnPLuZkkF9qdfBwCMYncfiyGTyYwyA0d9mNgTERERVUu6nI8/826hnUqBR3u4Sx0OtaI7A1vd2w13Quo1FJVXwdPRBv18HmiJ0MhE6ZK0e2193ZWSjSqtQC+1I7q2t2+J0MhEqZt5zDQFE3siIiKiarrR8B/v5QHb6pJJsgxe+qmo7u2Ge0f13PUjA9WQy1lSbUmae8ywKshyeemqPNhiT0RERNQyNFqBHTX6vZJluVNW3fQkrbSiCnFncwAwSbNEaud7T9JyC8twOOMGgNvT3JFlUTfzYVBTMLEnIiIiAnDsj5vILSqHo40Sg7u7SR0OtbI7ZdVNT9L2ns/FrUoNOrnYIqijU0uFRiZK32J/D8fMz6ezIATwkLczOrm0a6nQyETpu/ywFJ+IiIioZeha64cHeMJayTJ8S6NL7K8VlaO8qmlTUelLqjmyuUVqzrzk26u7brAqyDLdOWZYik9ERERkdFUaLX4+zZHNLdkD7axgrbx9a5xTUN7o5wvLKhGfeg0AjxlLpSvFzy+tRGlFVaOf/zOvFCcu5UEmuz0mA1memlMkCiGMum4m9kRERGTxDl68gZslFXC1UyH0QVepwyEJ1JyKqillsnFnclBRpUXX9nbo6enQ0uGRCXK0sYK9tRJA02ZT+Km6tb5/Zxd4ONq0aGxkmnR97EsrNCi81fjDoHvBxJ6IiIgsnq6kOrK3J5QK3h5ZqnsZQE8/0GIQy/At2b0cM9tPcTR8S2erUsDFTgXA+P3seeUiIiIii1ZepcGuM9Vl+Oz3atH0LfaNtL7mlVTgf+nXAQCjeMxYtDvHTMNJWsb1EqRcKYRCLkNkgGdrhEYmqjkzcDQFE3siIiKyaIlp11FUVgUPR2uEdHaROhySkFeN/q8N2XUmG1VagV5qR3Rzt2+N0MhE6Uc5b+Rh0I7qqqBB3dzgam/d4nGR6dKV418x8lz2TOyJiIjIoulKqkcFekEuZ0m1JVM3ccRq/Wj4LKm2eLokrbHWV30ZPgfNs3gdqh8GZRl5Lnsm9kRERGSxblVoEHc2BwCTNGpaWXVuYRkO/X4DADCKSZrFa8r0ZanZRUjLKYZKIccwf5bhW7qmPkC8V0zsiYiIyGLtPZ+L0goNOrnYIqijk9ThkMSaUor/8+ksCAE85O2MTi7tWis0MlG6Y+ZKA8eMrsIjrEd7ONlatUpcZLrUTThmmoOJPREREVks3Q33qECObE53WtIKy6pQUl73VFTbq6cs46B5BNRofc0vq3NeciGEvgyfFR4E1KzyYGJPREREdN+KyiqxNzUXAEfDp9vsrZVwsLk9L3ldN91X8m/hxKU8yGTAyN5M0uhO6+utSg0KblXWev/0lQJculEKGys5wv08Wjs8MkG6xD67oAxabe2HQc3FxJ6IiIgsUtzZHFRUadG1vR381A5Sh0MmokMDU979VN3y2r+zCzyrEzqybDZWCrjq5iWv45jZUV3hMdTPA3bWylaNjUyTh4M15DKgUiNwo6TcaOtlYk9EREQWSXfDPTqIZfh0h7qBfvbbk+8cM0Q6aue6jxmtVuinuWNVEOkoFXK4O+jmsjfeAHpM7ImIiMji5JdWIDHtGgD2lSZDuj7TV++64c64XoLTVwqgkMsQGcCRzemO+qa8O5mZh6sFZbC3VmJIj/ZShEYmyqv6YVAOE3siIiKi5tuVko0qrUAvtSO6udtLHQ6ZkA76wdAMkzRdy+ugbm5wtbdu9bjIdHWo52GQbnDOYf4esLFStHpcZLr0gy4WMrEnIiIiajb9KNVBHACNDOlL8e9qfeXI5lSfurpvVGm0+Ol0ddcNVgXRXXTTJGazxZ6IiIioeXKLynDo4g0AvOGm2vRl1TUGQkvNLkJaTjGsFDJE+LMMnwzVnPJO50jGTVwvroBzOysM6uYmVWhkonTnmWwjTnnHxJ6IiIgsys7T2dAKoE8nZ3RyaSd1OGRidH1frxbc0s9LvqO6tT6suzucbK0ki41Mk1cdVR66YyYywBMqJVMuMnRnLnuOik9ERETULLp+rxzZnOqim8aurFKL/NJKCCFqHDMsw6fadElaTmEZNFqBiiotdqZkA2BVENVNP3heofFa7DmZIhEREVmMrPxbOH4pDzIZMLI3kzSqzVqpgJu9Na4Xl+NK/i38mXcLf9wohY2VHOF+HlKHRybIvca85NeLy3H2aiHySyvhZm+NAQ+6Sh0emSBdKf614gqjrZMt9kRERGQxdp+53YrWv7OLvmWW6G661rSsgjL9oHlD/TxgZ802MapNqZDDw/HOAHq6Co9RgWoo5DIpQyMT5WqngkopR3VvH6NgYk9EREQWQ1ceO4pl+NQAr+rWtCt5pfpp7kZzNHxqgK4cP+N6CX45mwOAMyhQ/eRymX42BaOt06hrIyIiIjJhZ64WQiGXITKAI5tT/dTVLfY/nc7C1YIy2FsrMaSHu8RRkSnTJWmbj2aiuLwKXk42CPZ+QOKoyJQxsSciIiK6DwO7usLN3lrqMMiE6Vrsj/2RBwAY1ssDNlYKKUMiE6drsdcdM6OCvCBnGT41QHeeMRZJE/vExESMHj0aXl5ekMlk2LZtW63PnDt3Dk888QScnJxgZ2eHkJAQZGZm6t8vKyvD1KlT4erqCnt7e4wdOxY5OTmt+TOIiIiohTXlnqGpOBo+NUbXYq/DY4Yac3frK0fDp8boHgYZi6SJfUlJCYKCgrBq1ao637948SIefvhh9OzZE/v27cOpU6cwf/582Njc+R9n1qxZ2L59O7755hskJCTg6tWrePLJJ1vrJxAREVEraOyeoamsFDJE+LMMnxpW84bbuZ0VBnVzkzAaMgc1j5nOru0Q0MFRwmjIHNz9APF+STq0Z2RkJCIjI+t9f968eRgxYgSWLl2qX9a1a1f9fxcUFGDdunXYtGkTHnvsMQDAhg0b4Ofnh8OHD+Mvf/lLywVPREREraaxe4amGtTNDU62VkaIiNqymiWykQGeUCnZe5UaVvOYGR10u7KIqCHGLsU32Tk7tFotfvrpJ8yZMwcRERH47bff0KVLF8ydOxdRUVEAgBMnTqCyshLh4eH67/Xs2RPe3t44dOhQvYl9eXk5ysvL9a8LCgoAAIWFhS34i4iIiJpOd00SxpwLx4LUd60P62LP6z01yloIKKpuoVIj8GgXBx4z1CgHeQW05aUAgCE8z1ATOCoq9ceMMa71JpvY5+bmori4GO+++y4WLVqEJUuWYNeuXXjyyScRHx+PsLAwZGdnQ6VSwdnZ2eC7Hh4eyM7OrnfdixcvxltvvVVreadOnYz+O4iIiO7HjRs34OTkJHUYZqe+a/2Lw0PwogTxkPmK+FDqCMjc9OMxQ/fIGNd6k03stVotAGDMmDGYNWsWAKBPnz44ePAg1qxZg7CwsGave+7cuZg9e7b+dX5+Pnx8fJCZmcmbJxNWWFiITp064fLly3B0ZL8lU8S/kXng38k8FBQUwNvbGy4uLlKHYpZ4rdrjRyMAABUFSURBVG86nhPqxv1SP+6bunG/1I37pX7GvNabbGLv5uYGpVKJXr16GSz38/PD/v37AQCenp6oqKhAfn6+Qat9Tk4OPD3rHxjH2toa1ta1p7lxcnLiwWYGHB0d+XcycfwbmQf+ncyDXM6+vc3Ba/294zmhbtwv9eO+qRv3S924X+pnjGu9yd4tqFQqhISEIDU11WB5WloafHx8AAB9+/aFlZUV9uzZo38/NTUVmZmZCA0NbdV4iYiIiIiIiKQgaYt9cXExLly4oH+dkZGBpKQkuLi4wNvbG2+88QbGjRuHRx55BI8++ih27dqF7du3Y9++fQBuP3WfPHkyZs+eDRcXFzg6OuLVV19FaGgoR8QnIiJqQxq7ZyAiIrJkioULFy6UauMHDx5EaGgo1q5dCwDYvXs31q5di7y8PERFRcHPzw8dOnTAkiVLsGTJEmRmZiI2NhbDhg3TryM8PBx//PEH5s+fj08//RR9+vTB559/Dnt7+3uKRaFQYMiQIVAqTbZ3AoF/J3PAv5F54N/JPPDvdEdj9wxNwf1ZP+6bunG/1I/7pm7cL3XjfqmfsfaNTHAeHSIiIiIiIiKzZbJ97ImIiIiIiIiocUzsiYiIiIiIiMwYE3siIiIiIiIiM8bEnoiIiIiIiMiMWXRin5iYiNGjR8PLywsymQzbtm2TOiS6y+LFixESEgIHBwe4u7sjKioKqampUodFd4mNjUVgYCAcHR3h6OiI0NBQ7Ny5U+qwqAHvvvsuZDIZZs6cKXUoVMPChQshk8kM/vXs2VPqsNqEVatWoXPnzrCxscGAAQNw9OhRqUOSFK+vTcNzpaErV65g4sSJcHV1ha2tLXr37o3jx49LHZbkNBoN5s+fjy5dusDW1hZdu3bFv//9b1jaGOWN5VZCCPzzn/+EWq2Gra0twsPDkZ6eLlG0rauhfVNZWYmYmBj07t0bdnZ28PLywt/+9jdcvXr1nrZh0Yl9SUkJgoKCsGrVKqlDoXokJCRg6tSpOHz4MOLi4lBZWYlhw4ahpKRE6tCoho4dO+Ldd9/FiRMncPz4cTz22GMYM2YMzpw5I3VoVIdjx45h7dq1CAwMlDoUqoO/vz+ysrL0//bv3y91SGbv66+/xuzZs7FgwQKcPHkSQUFBiIiIQG5urtShSYbX18bxXGkoLy8PgwYNgpWVFXbu3ImzZ8/ivffewwMPPCB1aJJbsmQJYmNjsXLlSpw7dw5LlizB0qVL8fHHH0sdWqtqLLdaunQpPvroI6xZswZHjhyBnZ0dIiIiUFZW1sqRtr6G9k1paSlOnjyJ+fPn4+TJk/j++++RmpqKJ5544t42IkgIIQQAsXXrVqnDoEbk5uYKACIhIUHqUKgRDzzwgPj000+lDoPuUlRUJHx9fUVcXJwICwsTM2bMkDokqmHBggUiKChI6jDanP79+4upU6fqX2s0GuHl5SUWL14sYVSmhddXQzxX1hYTEyMefvhhqcMwSSNHjhSTJk0yWPbkk0+KCRMmSBSR9O7OrbRarfD09BTLli3TL8vPzxfW1tZi8+bNUoQomabknUePHhUAxKVLl5q8XotusSfzU1BQAABwcXGROBKqj0ajwVdffYWSkhKEhoZKHQ7dZerUqRg5ciTCw8OlDoXqkZ6eDi8vLzz44IOYMGECMjMzpQ7JrFVUVODEiRMGx7xcLkd4eDgOHTokYWSmhddXQzxX1vbjjz+iX79+ePrpp+Hu7o6HHnoI//nPf6QOyyQMHDgQe/bsQVpaGgAgOTkZ+/fvR2RkpMSRmY6MjAxkZ2cb/D/l5OSEAQMG8Fxch4KCAshkMjg7Ozf5O8oWjIfIqLRaLWbOnIlBgwYhICBA6nDoLqdPn0ZoaCjKyspgb2+PrVu3olevXlKHRTV89dVXOHnyJI4dOyZ1KFSPAQMGYOPGjejRoweysrLw1ltvYfDgwUhJSYGDg4PU4Zml69evQ6PRwMPDw2C5h4cHzp8/L1FUpoXXV0M8V9bt999/R2xsLGbPno0333wTx44dw/Tp06FSqRAdHS11eJL6v//7PxQWFqJnz55QKBTQaDR4++23MWHCBKlDMxnZ2dkAUOe5WPce3VZWVoaYmBiMHz8ejo6OTf4eE3syG1OnTkVKSgr7m5qoHj16ICkpCQUFBfj2228RHR2NhIQEJvcm4vLly5gxYwbi4uJgY2MjdThUj5qtO4GBgRgwYAB8fHywZcsWTJ48WcLIqC3j9fUOnivrp9Vq0a9fP7zzzjsAgIceeggpKSlYs2aNxSf2W7ZswZdffolNmzbB398fSUlJmDlzJry8vCx+39C9qaysxDPPPAMhBGJjY+/pu0zsySxMmzYNO3bsQGJiIjp27Ch1OFQHlUqFbt26AQD69u2LY8eOYcWKFVi7dq3EkREAnDhxArm5uQgODtYv02g0SExMxMqVK1FeXg6FQiFhhFQXZ2dndO/eHRcuXJA6FLPl5uYGhUKBnJwcg+U5OTnw9PSUKCrTweurIZ4r66dWq2s9rPfz88N3330nUUSm44033kBMTAyeffZZAEDv3r1x6dIlLF68mIl9Nd35NicnB2q1Wr88JycHffr0kSosk6JL6i9duoS9e/feU2s9YOGj4pPpE0Jg2rRp2Lp1K/bu3YsuXbpIHRI1kVarRXl5udRhULWhQ4fi9OnTSEpK0v/r168fJkyYgKSkJIu9UTV1xcXFuHDhgsFNEN0blUqFvn37Ys+ePfplWq0We/bssehxQHh9rRvPlfUbNGhQrSkR09LS4OPjI1FEpqO0tBRKpWF7qUKhgFarlSgi09OlSxd4enoanIsLCwtx5MgRiz4X6+iS+vT0dPz6669wdXW953VYdIu97oZJJyMjA0lJSXBxcYG3t7eEkZHO1KlTsWnTJvzwww9wcHDQ98FxcnKCra2txNGRzty5cxEZGQlvb28UFRVh06ZN2LdvH3bv3i11aFTNwcGhVt9ZOzs7uLq6sk+tCXn99dcxevRo+Pj44OrVq1iwYAGUSiXGjx8vdWhmbfbs2YiOjka/fv3Qv39/fPjhhygpKcELL7wgdWiS4fW1bjxX1m/WrFkYOHAg3nnnHTzzzDM4evQoPvnkE3zyySdShya50aNHY9GiRejUqRP8/f3x22+/4f3338ekSZOkDq1VNZZbzZw5E4sWLYKvry+6dOmC+fPnw8vLC1FRURJG3Toa2jdqtRpPPfUUTp48iR07dkCj0ejPyS4uLlCpVE3byH2N1W/m4uPjBYBa/6Kjo6UOjarV9fcBIDZs2CB1aFTDpEmThI+Pj1CpVKJ9+/Zi6NCh4pdffpE6LGoEp3AyPePGjRNqtVqoVCrRoUMHMW7cOHHhwgWpw2oTPv74Y+Ht7S1UKpXo37+/OHz4sNQhSYrX16bjufKO7du3i4CAAGFtbS169uwpPvnkE6lDMgmFhYVixowZwtvbW9jY2IgHH3xQzJs3T5SXl0sdWqtqLLfSarVi/vz5wsPDQ1hbW4uhQ4eK1NRUaYNuJQ3tm4yMjHrPyfHx8U3ehkwIIZrx0IGIiIiIiIiITAD72BMRERERERGZMSb2RERERERERGaMiT0RERERERGRGWNiT0RERERERGTGmNgTERERERERmTEm9kRERERERERmjIk9ERERERERkRljYk9ERERERERkxpjYE1GDsrOz8fjjj8POzg7Ozs5ShwMA2LhxY6OxPP/884iKimqliIiIiIiIpMPEnshEHDp0CAqFAiNHjpQ6FAMffPABsrKykJSUhLS0tDo/s3DhQshkMgwfPrzWe8uWLYNMJsOQIUNaOFJDK1aswMaNG1t1m0REROZCCIHw8HBERETUem/16tVwdnbGn3/+KUFkRNQcTOyJTMS6devw6quvIjExEVevXpU6HL2LFy+ib9++8PX1hbu7e72fU6vViI+Pr3UTsH79enh7e7d0mLU4OTmZTIUBERGRqZHJZNiwYQOOHDmCtWvX6pdnZGRgzpw5+Pjjj9GxY0ejb1cIgaqqKqOvl8jSMbEnMgHFxcX4+uuv8Y9//AMjR46ss6X5xx9/hK+vL2xtbREeHo7PP/8cMpkM+fn5+s/s378fgwcPhq2tLTp16oTp06ejpKSkwW3Hxsaia9euUKlU6NGjB7744gv9e507d8Z3332n39bzzz9f73rc3d0xbNgwfPbZZ/plBw8exPXr12tVIRw7dgyPP/443Nzc4OTkhLCwMJw8edLgM/n5+ZgyZQo8PDxgY2ODgIAA7Nixw+Azu3fvhp+fH+zt7TF8+HBkZWXp37u7FH/IkCGYPn065syZAxcXF3h6emLhwoW1tvniiy+iffv2cHR0xGOPPYbk5OQG9x8REZG56tSpE1asWIHXX38dGRkZEEJg8uTJGDZsGJ577jkAQGJiIgYNGgRbW1t4e3tj1qxZKC0t1a/js88+Q9++fWFvbw9PT09MnDgR165d07//66+/QiaTYdeuXQgODoZKpcLhw4db/bcStXVM7IlMwJYtW9CzZ0/06NEDEydOxPr16yGE0L+fkZGBp556ClFRUUhKSsKLL76IN99802AdFy9exPDhwzF27FicOnUKX3/9Nfbv349p06bVu92tW7dixowZeO2115CSkoIpU6bghRdeQHx8PIDbCfjw4cPxzDPPICsrCytWrGjwd0yaNMngocT69esxYcIEqFQqg88VFRUhOjoa+/fvx+HDh+Hr64sRI0agqKgIAKDVahEZGYkDBw7gv//9L86ePYtly5ZBoVDo11FaWorly5fjiy++QGJiIjIzM/H66683GN9nn30GOzs7HDlyBEuXLsW//vUvxMXF6d9/+umnkZubi507d+LEiRMIDg7G0KFDcfPmzQbXS0REZK6io6MxdOhQTJo0CStXrkRKSoq+BT8tLQ0jRozAuHHjcPr0aWzevBnx8fGYMWOG/vuVlZV4++23cerUKWzduhUXLlzA5MmTa21n7ty5WLZsGc6fPw9/f/9W+31EFkMQkeQGDhwoPvzwQyGEEJWVlcLNzU3Ex8fr34+JiREBAQEG35k3b54AIPLy8oQQQkyePFm8/PLLBp/53//+J+Ryubh161a9233ppZcMlj399NNixIgR+tdjxowR0dHRDca/YMECERQUJCoqKoS7u7tISEgQxcXFwsHBQSQnJ4sZM2aIsLCwer+v0WiEg4OD2L59uxBCiN27dwu5XC5SU1Pr/PyGDRsEAHHhwgX9slWrVgkPDw/96+joaDFmzBj967CwMPHwww8brCckJETExMQIIW7vK0dHR1FWVmbwma5du4q1a9c2+PuJiIjMWU5OjnBzcxNyuVxs3bpVvzw6Olq88sorBp+Nj48XCoVClJeX17muQ4cOCQCitLRUCCFEXFycACB27NjRcj+AiARb7IkklpqaiqNHj2L8+PEAAKVSiXHjxmHdunUGnwkJCTH4Xv/+/Q1eJycnY+PGjbC3t9f/i4iIgFarRUZGRp3bPnfuHAYNGmSwbNCgQTh37lyzfouVlRUmTpyIDRs24JtvvkH37t0RGBhY63M5OTl46aWX4OvrCycnJzg6OqK4uBiZmZkAgKSkJHTs2BHdu3evd1vt2rVD165d9a/VajVyc3MbjO/uWGp+Jzk5GcXFxXB1dTXYhxkZGbh48WKT9wEREZG5cXd3x5QpU+Dn52fQjS05ORmffvqpwXVx5MiR0Gg0uHTpEoDb1X2jRo2Ct7c3HBwcMHToUADA5cuXDbbRr1+/1vtBRBZIKXUARJZu3bp1qKqqgpeXl36ZEALW1tZYuXIlnJycmrSe4uJiTJkyBdOnT6/1XmsOXjdp0iQMGDAAKSkpmDRpUp2fiY6Oxo0bN7BixQr4+PjA2toaoaGhqKioAADY2to2uh0rKyuD1zKZzKD7QlO/o9VqAdzef2q1Gvv27av1PQ7CR0REbZ1SqYRSaZgaFBcXY+rUqXjllVdqfd7b2xuFhYWIiIjAqFGj8OWXX8Ld3R0XL17EyJEj9dd0HTs7uxaNn8jSMbEnklBVVRU+//xzvPfeexg2bJjBe1FRUdi8eTP+/ve/o0ePHvj5558N3j927JjB6+DgYJw9exbdunVr8vb9/Pxw4MABREdH65cdOHAAvXr1asavuc3f3x/+/v44deoU/vrXv9b5mQMHDmD16tUYMWIEgNtP9a9fv65/PzAwEH/++SfS0tIabLU3puDgYGRnZ0OpVKJz586tsk0iIiJTFhwcjDNnztR7b/Hbb78hLy8PS5YsgVqtBnB7+l4ian0sxSeS0I4dO5CXl4fJkycjICDA4N/YsWP15fhTpkzB+fPnERMTg7S0NGzZskU/SJ1MJgMAxMTE4ODBg5g2bRqSkpKQnp6OH374ocHB89544w1s3LgRsbGxSE9Px/vvv4/vv/++0UHoGrN3715kZWXV29Lt6+uLL774AufOncORI0cwYcIEg1b6sLAwPPLIIxg7dizi4uKQkZGBnTt3YteuXfcVV0PCw8MRGhqKqKgo/PLLL/jjjz9w8OBBzJs3D8ePH2+x7RIREZmquXPnIiEhAdOnT0dycjLS09Oxbds2fXWgj48PrKys8NFHH+H333/Htm3b8M4770gcNZFlYmJPJKF169YhPDy8znL7sWPH4vjx4zh16hS6dOmCb7/9Ft9//z0CAwMRGxurHxXf2toawO1W7oSEBKSlpWHw4MF46KGH8M9//tOgxP9uUVFRWLFiBZYvXw5/f3+sXbsWGzZswJAhQ+7rd9nZ2TVYvr5u3Trk5eUhODgYzz33HKZPnw53d3eDz3z33XcICQnB+PHj0atXL8yZMwcajea+4mqITCbDzz//jEceeQQvvPACunfvjmeffRaXLl2Ch4dHi22XiIjIVPXp0wcJCQn6MXmCg4OxcOFCdOjQAQDg6emJ9evXY/PmzejVqxeWL1+O5cuXSxw1kWWSicY6pRKRSXr77bexZs2aWoPTEBERERGRZWEfeyIzsXr1aoSEhMDV1RUHDhzAsmXLGiyzJyIiIiIiy8DEnshMpKenY9GiRbh58ya8vb3x2muvYe7cuVKHRUREREREEmMpPhEREREREZEZ4+B5RERERERERGaMiT0RERERERGRGWNiT0RERERERGTGmNgTERERERERmTEm9kRERERERERmjIk9ERERERERkRljYk9ERERERERkxpjYExEREREREZmx/wdk24xru6z3fAAAAABJRU5ErkJggg==", "text/plain": [ "PyPlot.Figure(PyObject )" ] }, "metadata": {}, "output_type": "display_data" }, { "data": { "text/plain": [ "PyObject " ] }, "execution_count": 16, "metadata": {}, "output_type": "execute_result" } ], "source": [ "import PyPlot.plt\n", "fig, axes = plt[:subplots](1, 2, figsize=(12, 4))\n", "axes[1][:plot]( [i for i in 1:n], res.v)\n", "axes[1][:set_xlim](1, 5)\n", "axes[1][:set_ylim](160, 220)\n", "axes[1][:set_xticks](linspace(1, 5, 5))\n", "axes[1][:set_xlabel](\"Age of Machine\")\n", "axes[1][:set_ylabel](\"Value\")\n", "axes[1][:set_title](\"Optimal Value Function\")\n", "\n", "axes[2][:plot](spath)\n", "axes[2][:set_xlim](0, nyrs)\n", "axes[2][:set_ylim](1, 4)\n", "axes[2][:set_yticks](linspace(1, 4, 4))\n", "axes[2][:set_xlabel](\"Year\")\n", "axes[2][:set_ylabel](\"Age of Machine\")\n", "axes[2][:set_title](\"Optimal State Path\")" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Julia 0.6.0", "language": "julia", "name": "julia-0.6" }, "language_info": { "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", "version": "0.6.0" } }, "nbformat": 4, "nbformat_minor": 2 }