{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# 確率過程のシミュレーション\n", "\n", "## システム\n", "\n", "Klein (2000) の方法を使うと, 合理的期待モデルから線形システム\n", "\n", "\\begin{align}\n", " x^1_{t+1} &= \\Omega_x x_t^1 + \\Omega_u u_t + \\Omega_y y^u_{t+1} + \\xi_{t+1} \\\\\n", " x^2_t &= \\Psi_x x_t^1 + \\Psi_y y^u_t\n", "\\end{align}\n", "\n", "を導出できる. [16ED07](http://www.kenjisato.jp/teaching/16ED07.pdf) を参照. 有限長の $u$ に対するシミュレーションであればこの表現を用いて分析ができる.\n", "\n", "有限でない $u$ に対するシミュレーションを行う場合には, $u_{t+1} = \\Phi u_t + \\epsilon_{t+1}$ と特定化するのが便利である. 次の状態空間方程式を得る. \n", "\n", "\\begin{align*}\n", "&\\begin{array}{rcl}\n", " x_{t+1} &=& \n", " \\Omega_{x}x_{t} +(\\Omega_{u}+\\Omega_{y}M\\Phi)u_{t}+\\xi_{t+1}\\\\\n", " y_t &=&\n", " \\Psi_{x}x_{t}+\\Psi_{y}Mu_{t}. \n", "\\end{array}& (\\Sigma)\n", "\\end{align*}\n", "\n", "$x_t := x^1_t$, $y_t := x^2_t$ と定義しなおした. ただし, $M$ はシルベスタ方程式 $M-T_{uu}^{-1}S_{uu}M\\Phi=-T_{uu}^{-1}C_{u}$ の解である. \n", "\n", "簡単化のため $\\xi_t = 0$ として (Blanchard-Kahn の仮定), 線形確率システム $(\\Sigma)$ のシミュレーションをしてみよう. \n", "\n", "\\begin{align*}\n", " u_0 &= 0.01 \\\\\n", " \\Phi &= 0.5\n", "\\end{align*}\n", "\n", "とし, $\\epsilon_{t+1}$ は $[-0.001,0.001]$ 上の一様分布に従う iid 確率過程とする. \n", "\n", "まずは利用するライブラリをインポートする. " ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": true }, "outputs": [], "source": [ "import numpy as np\n", "import scipy as sp\n", "import scipy.linalg as la\n", "import scipy.stats as st\n", "import matplotlib.pyplot as plt\n", "\n", "%matplotlib inline \n", "# Jupyter Notebook で図をノート内に表示" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "前回のデータを再利用する. " ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "collapsed": false }, "outputs": [], "source": [ "with np.load('coeff.npz') as data:\n", " Omega_x = data['Omega_x']\n", " Omega_y = data['Omega_y']\n", " Omega_u = data['Omega_u']\n", " Psi_x = data['Psi_x']\n", " Psi_y = data['Psi_y']\n", " Tuu = data['Tuu']\n", " Suu = data['Suu']\n", " Cu = data['Cu']" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### $u$ のシミュレーション\n", "\n", "#### 一様乱数\n", "\n", "今回は, シミュレーションに[ジェネレータ](https://wiki.python.org/moin/Generators)を用いよう. 入力項の生成も逐次的に行う. " ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "collapsed": false }, "outputs": [], "source": [ "def u_gen(u0, phi, e):\n", " u0 = u0\n", " while True:\n", " u1 = phi * u0 + e.rvs()\n", " yield u0\n", " u0 = u1" ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "[]" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAY8AAAEACAYAAABLfPrqAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3XmUVNW1BvBvIxJMVAYHFBAccOQl4EyiYosDCCK+ZaKi\nUdQkEoc8BxwQY0TjU5xiNMQYFQ1EDc4RAxGC2CJPFIyiyCAoioACKoMKDXZ3fe+PXZWurq6x6/Yt\n+tb3W6sWXbfOuXXqUnX3OfucW2UkISIiUogWpW6AiIg0PwoeIiJSMAUPEREpmIKHiIgUTMFDREQK\npuAhIiIFCyR4mFk/M1toZovM7JoMZe41s8VmNsfMDkzaPsbMVpnZuynl25nZFDN738wmm1mbINoq\nIiLFKzp4mFkLAKMB9AXQHcBgM9svpcyJAPYiuTeAoQD+lPTwI/G6qYYDmEpyXwDTAFxbbFtFRCQY\nQYw8DgOwmORSktUAxgMYlFJmEIBxAEDyDQBtzKxD/P4MAGvT7HcQgLHxv8cCOCWAtoqISACCCB6d\nACxLur88vi1bmRVpyqTameQqACC5EsDORbZTREQC0pwmzPU9KiIiW4iWAexjBYAuSfc7x7elltkt\nR5lUq8ysA8lVZrYLgNXpCpmZgoqISCOQtMbWDWLkMRtANzPramatAJwBYEJKmQkAzgEAM+sFYF0i\nJRVn8VtqnXPjfw8B8HymBpDUjcQNN9xQ8jZsKTcdCx0LHYvst2IVHTxI1gK4BMAUAPMAjCe5wMyG\nmtkF8TKTAHxkZh8A+DOAixL1zexxAK8B2MfMPjGz8+IP3QbgeDN7H8CxAEYV21YREQlGEGkrkHwR\nwL4p2/6ccv+SDHXPzLB9DYDjgmifiIgEqzlNmGcUwAgsEioqKkrdhC2GjkUdHYs6OhbBsSByX6Vk\nZty8mWjVqtQtERFpPswMLPGEeclt2lTqFoiIlJdIBI+qqlK3QESkvCh4iIhIwSIRPJS2EhEJVySC\nh0YeIiLhikTw0MhDRCRckQgeGnmIiIQrEsFDIw8RkXBFInho5CEiEi4FDxERKVgkgofSViIi4YpE\n8NDIQ0QkXJEIHhp5iIiEKxLBQyMPEZFwRSJ4aOQhIhKuSAQPjTxERMKl4CEiIgWLRPBQ2kpEJFyR\nCB4aeYiIhCsSwUMjDxGRcEUieGjkISISrkgED408RETCFYngoZGHiEi4FDxERKRgkQgeSluJiIQr\nEsFDIw8RkXAFEjzMrJ+ZLTSzRWZ2TYYy95rZYjObY2Y9c9U1sx5mNtPM3jazWWZ2SKbn18hDRCRc\nRQcPM2sBYDSAvgC6AxhsZvullDkRwF4k9wYwFMD9edS9HcANJA8EcAOAOzK1QSMPEZFwBTHyOAzA\nYpJLSVYDGA9gUEqZQQDGAQDJNwC0MbMOOerGALSJ/90WwIpMDdi0CSADeCUiIpKXlgHsoxOAZUn3\nl8ODQq4ynXLUvRzAZDO7C4AB+FGmBrRsCXz7LfCd7zSq/SIiUqBSTZhbHmUuBHApyS7wQPJwpoLb\nbKPUlYhImIIYeawA0CXpfmc0TDGtALBbmjKtstQdQvJSACD5tJmNydSAmpqRuPlmYNttgYqKClRU\nVDTqhYiIRFVlZSUqKysD25+xyMkCM9sKwPsAjgXwGYBZAAaTXJBUpj+Ai0kOMLNeAH5PsleGumeQ\nXGhm8wBcRPIVMzsWwCiSh6Z5fnbtSrz8MrDHHkW9FBGRsmFmIJlPFiitokceJGvN7BIAU+BpsDEk\nF5jZUH+YD5CcZGb9zewDABsAnJel7sL4rn8B4N54gNkE4IJMbWjdWst1RUTCVPTIo9TMjD17EmPG\nAAcdVOrWiIg0D8WOPCJxhblGHiIi4YpE8NBqKxGRcCl4iIhIwSIRPJS2EhEJVySCh0YeIiLhikTw\n0MhDRCRckQgeGnmIiIQrEsFDIw8RkXBFInho5CEiEi4FDxERKVgkgofSViIi4YpE8NDIQ0QkXJEI\nHhp5iIiEKxLBQyMPEZFwRSJ4aOQhIhKuSAQPjTxERMKl4CEiIgWLRPBQ2kpEJFyRCB4aeYiIhCsS\nwUMjDxGRcEUieGjkISISrkgED408RETCFYngoZGHiEi4IhE8WrcGNm8GyFK3RESkPEQieLRoAWy9\ntQcQERFpepEIHoBSVyIiYYpM8NCkuYhIeCITPDTyEBEJT2SCh0YeIiLhCSR4mFk/M1toZovM7JoM\nZe41s8VmNsfMeuZT18x+ZWYLzGyumY3K1gaNPEREwtOy2B2YWQsAowEcC+BTALPN7HmSC5PKnAhg\nL5J7m9nhAO4H0CtbXTOrADAQwPdJ1pjZjtnaoZGHiEh4ghh5HAZgMcmlJKsBjAcwKKXMIADjAIDk\nGwDamFmHHHUvBDCKZE283hfZGqGRh4hIeIIIHp0ALEu6vzy+LZ8y2eruA6C3mb1uZi+b2SHZGqHg\nISISnqLTVo1keZRpCaAdyV5mdiiAJwHsma7gyJEjsWQJMG4csN12FaioqAiwqSIizV9lZSUqKysD\n218QwWMFgC5J9zvHt6WW2S1NmVZZ6i4H8CwAkJxtZjEz24Hkl6kNGDlyJD78EDj+eEBxQ0SkoYqK\n+h3rG2+8saj9BZG2mg2gm5l1NbNWAM4AMCGlzAQA5wCAmfUCsI7kqhx1/w6gT7zOPgC2Thc4EjRh\nLiISnqJHHiRrzewSAFPgwWgMyQVmNtQf5gMkJ5lZfzP7AMAGAOdlqxvf9cMAHjazuQA2Ix58MtGc\nh4hIeIzN/KtozYwkcfXVwA47ANekvcpERESSmRlI5jP/nFZkrjDXyENEJDwKHiIiUrDIBA9NmIuI\nhCcywUMjDxGR8EQmeGjkISISnsgED408RETCE5ngoZGHiEh4IhM8NPIQEQmPgoeIiBQsMsFDaSsR\nkfBEJnho5CEiEp7IBA+NPEREwhOZ4KGRh4hIeCITPDTyEBEJT2SCh0YeIiLhiczveZBAixZAba3/\nKyIimen3POLMgO98B9i8udQtERGJvsgED0CpKxGRsEQqeGjSXEQkHJEKHhp5iIiEI3LBY+PGUrdC\nRCT6IhU82rUD1q0rdStERKIvcsFj7dpSt0JEJPoiFTzatwfWrCl1K0REok/BQ0RECqbgISIiBYtU\n8NCch4hIOCIVPDTyEBEJRyDBw8z6mdlCM1tkZtdkKHOvmS02szlm1jPfumY2zMxiZtY+VzsUPERE\nwlF08DCzFgBGA+gLoDuAwWa2X0qZEwHsRXJvAEMB3J9PXTPrDOB4AEvzaYuCh4hIOIIYeRwGYDHJ\npSSrAYwHMCilzCAA4wCA5BsA2phZhzzq3g3gqnwbouAhIhKOIIJHJwDLku4vj2/Lp0zGumZ2MoBl\nJOfm2xBNmIuIhKNliZ436w+QmNk2AEbAU1Y564wcORIAEIsB69dXoLa2AlttFUArRUQiorKyEpWV\nlYHtr+hfEjSzXgBGkuwXvz8cAEnellTmfgAvk3wifn8hgKMB7JGuLoCJAKYC2AgPGp0BrABwGMnV\nKc/P5NfQrh3w4YeewhIRkfS2hF8SnA2gm5l1NbNWAM4AMCGlzAQA5wD/CTbrSK7KVJfkeyR3Ibkn\nyT3g6awDUwNHOpr3EBFpekWnrUjWmtklAKbAg9EYkgvMbKg/zAdITjKz/mb2AYANAM7LVjfd0yBH\nqitB8x4iIk2v6LRVqaWmrU44ARg2DOjbt4SNEhHZwm0JaastitJWIiJNT8FDREQKpuAhIiIFi1zw\n0IS5iEjTi1zw0MhDRKTpKXiIiEjBFDxERKRgkQsemvMQEWl6kQseGnmIiDS9yAWPdu08eDTzC+dF\nRLZokQse22wDbLUVsHFjqVsiIhJdkQsegKeuNO8hItJ0Ihk8EqkrERFpGpEMHpo0FxFpWgoeIiJS\nMAUPEREpWCSDhy4UFBFpWpEMHhp5iIg0LQUPEREpmIKHiIgULLLBQ3MeIiJNJ5LBQxcJiog0rUgG\nD6WtRESaloKHiIgUzNjMv7vczJj6Gkhg662Bqir/V0RE6jMzkLTG1o/kyMMMaNsWWLeu1C0REYmm\nSAYPQKkrEZGmpOAhIiIFCyR4mFk/M1toZovM7JoMZe41s8VmNsfMeuaqa2a3m9mCePlnzGz7Qtqk\n4CEi0nSKDh5m1gLAaAB9AXQHMNjM9kspcyKAvUjuDWAogPvzqDsFQHeSPQEsBnBtIe3ShYIiIk0n\niJHHYQAWk1xKshrAeACDUsoMAjAOAEi+AaCNmXXIVpfkVJKxeP3XAXQupFG6UFBEpOkEETw6AViW\ndH95fFs+ZfKpCwDnA/hnIY1q3x748stCaoiISL5aluh5815bbGbXAagm+XimMiNHjvzP3xUVFaio\nqEDHjsCbbxbVRhGRyKisrERlZWVg+wsieKwA0CXpfuf4ttQyu6Up0ypbXTM7F0B/AH2yNSA5eCR0\n6QI8+2yupouIlIdExzrhxhtvLGp/QaStZgPoZmZdzawVgDMATEgpMwHAOQBgZr0ArCO5KltdM+sH\n4CoAJ5PcXGijunQBPvmksS9JRESyKXrkQbLWzC6Br45qAWAMyQVmNtQf5gMkJ5lZfzP7AMAGAOdl\nqxvf9R/gI5N/mRkAvE7yonzbtdtuHjxIv+JcRESCE8nvtkpo2xZYssQnz0VEpI6+2yoLpa5ERJqG\ngoeIiBRMwUNERAqm4CEiIgVT8BARkYIpeIiISMEUPEREpGCRvs6jpgb47neBDRv0W+YiIsl0nUcW\nLVsCu+wCrEj9pi0RESlKpIMHoNSViEhTUPAQEZGCKXiIiEjBFDxERKRgCh4iIlKwyAePxO96iIhI\ncCIfPLp0AZYu9R+FEhGRYEQ+eLRt6/+uX1/adoiIREnkg4eZ5j1ERIIW+eABKHiIiARNwUNERAqm\n4CEiIgVT8BARkYKVTfBYtqzUrRARiY6yCB577gksWqRrPUREglIWwaNzZ6B1a+D990vdEhGRaCiL\n4GEGHHMM8PLLpW6JiEg0lEXwAICKCgUPEZGgRPo3zJMtXQoceiiwapWPREREytkW8RvmZtbPzBaa\n2SIzuyZDmXvNbLGZzTGznrnqmlk7M5tiZu+b2WQza1NMG7t2BbbdFpg3r5i9iIgIEEDwMLMWAEYD\n6AugO4DBZrZfSpkTAexFcm8AQwHcn0fd4QCmktwXwDQA1xbbVs17iIgEI4iRx2EAFpNcSrIawHgA\ng1LKDAIwDgBIvgGgjZl1yFF3EICx8b/HAjil2IYqeIiIBCOI4NEJQPIleMvj2/Ipk61uB5KrAIDk\nSgA7F9vQY44BXnkFiMWK3ZOISHkr1WqrxkzSFD2z36kTsMMOwNy5xe5JRKS8tQxgHysAdEm63zm+\nLbXMbmnKtMpSd6WZdSC5ysx2AbA6UwNGjhz5n78rKipQUVGRsbGJ1FWPHhmLiIhETmVlJSorKwPb\nX9FLdc1sKwDvAzgWwGcAZgEYTHJBUpn+AC4mOcDMegH4Pcle2eqa2W0A1pC8Lb4Kqx3J4WmeP6+l\nugnjxwN/+xvw/PONfskiIs1esUt1A7nOw8z6AbgHngYbQ3KUmQ0FQJIPxMuMBtAPwAYA55F8K1Pd\n+Pb2AJ6Ej1iWAjiN5Lo0z11Q8PjsM+CAA4AvvgC22qrRL1lEpFnbIoJHKRUaPABg//2BRx8FDj64\niRolIrKF2yIuEmxuKiqA6dNL3QoRkeYriAnzZqd3b+CJJ4DLLy91S0QkDLW1Ps/5xhu+6rJzZ89A\n7L9/qVtWvPXrge23D/9rl8py5HH00cCrr5bP9R4bN/pNZEvUlJnzqirg/vuB/fYDbr/dv6Jo0SJg\n3Djghz/csn6mgQRWriyszurVwN57A5MnN02bsinL4NGxI9C+fXl8z9U33wBHHAHcdFOpWxKezZuB\nJUtK3Yrmq6YGGDoUWL68aZ+HBH73Oz/5VVcHv//Vq4FDDgH+8Q/g4YeBmTOB668HRo8G/v534JJL\n/O8txbPP+oho1Kj8OrYkcNFFQKtWCh6h6t3brzYPwn33Ae+9F8y+glRbC5x5JrD11uU1x3P99UD/\n/qVuRfP14IOe1j333KYbnVdXAxdeCPzlL8B22wGTJgW7/zVrgOOPB0491YPHUUc1TOtceCHw2GOe\n9im1WAy44Qbgj3/09vbv78EvmyeeAObPBx5/HJg6NZx2Jivb4HH00cEEj/XrgSuvBEaMKH5fQbvq\nKh95TJkCvPOOD+Gjbu5cPyF9/nlxv1u/YUN0Un1VVcCsWZ6+GTYMeO65zO+FdeuAG28EXnrJX/+9\n9wbfnvXrgQEDgE8+AWbM8BHAI48Eu/8TTgD69vXXkkmnTl4uyOdurKee8pTaBRf4RcwHHeS3V19N\nX37lSuDSS4GxYz2zsHx54SmvopFs1jd/CYX7+GNy553JWKxuW20t+cYbhe3nvvvIk04id92VfOed\nRjWlSdx/P7nvvuSaNX7/0EPJ6dPDbcPcueSrr4b3fLW15I9+5K/99NPJhx9u/L6GDCEvuiiwpoWq\ntpZ8803yt7/147HNNuSBB5I/+xl5883ksceS229P/uQn5L//Xb/ulVd6OZL84ANyxx39/zFIV1xB\nnnUWWV3t97/6imzblly1qvh9f/21v+Zf/ar+ZzuT114j99yTrKkp/rkbq6aG3H9/8sUX62+fNMnP\nUXffXf+1bN5MDhxIjhhRt+2UU8jHHivseePnzsafe4upvCXcGhs8SLJLF3LBgrr748aRLVqQy5bl\nVz8WI3v2JKdMIW+/nTzjjEY3JVBffUW2aUMuWlS37fLLyVtuCa8N06eT7dqRP/hBeM/54INkr15+\n8nzoIXLw4MbtZ+NGP3677OL7am7OOYfcay/yssvIyZPJqqqGZT7/nBw92oPDI4/4tg8+IHfYgfzs\ns7pyY8b4/+GmTemf6/LLydWr829bLEZ27Uq++2797UOGkHfdlf9+0tm4kayoIH/+8/wCR6I9hxxC\nvvBC455z8+bG1Uv22GMe8NK1eckS8qCDvDP0wgvkueeS7duTffvW/z/5wx/I888v7HkVPIoIHmef\n7b1U0j9gXbuShx9O3nRTfvVnzyb32MNPMF995R/E5BN2Y334IbliRePrP/wwefLJ9bc9/TQ5YEBx\n7crXxIl+LF58kezYkZw3r+mfc/VqcqedyDlz/H5iZNmYk/9TT5F9+pDf/364I6cgrFvno4rEiDOX\nefPIffYhL77Ye6//+7/1H4/F/L10550N6374oZ9BChnhvfkmuffeDU+UlZVk9+75n/RTbdpE9utH\n/vSnhY8i/vpX8rjjCn/Ohx/291gxI7Pqaj/+U6dmLlNVRf7yl+SRR/oo5JNPGpaZP987w4UcPwWP\nIoLHQw+RZ57pf991lw8F//1vDyL5nHQuuKD+h+03v/FeT7H69PETwD33NG443bs3+eyz9bd99pmP\nBJq6J/3UU/6BmjnT719+uR+XbL78knz77cY/Z00NOWiQp0OSdevWuFTiqaf6KGbkSO+9B+GLL8gn\nnvCTxNtv+/2mMGaMB4FCrFvn7/2uXb33nmraNE97pbrrLh+pnH56/s917bXk8OENt8dinj6aNSv/\nfSV8+62/5lNPrUuFFWLTJh9lFvJeWbfO6/z61/5votOSr6oq8pVXPDV61FGND5oJsZh31BYvzr+O\ngkcRwWPRIrJTJ3LtWu+1vveebz/wQE9FZfP1156n/fTTum1ffOEn6HzTXumsWUNutx351ls+BD/4\n4MJOrIk8dbrh9F571b3GplBT43M/yfNGs2al72kmu+IKP9E35gMUi3mv+ZhjGqZWLrwwfY85m/Xr\n63ruc+cW3pvLZMgQH9X26eNpoLZtyUcfbfz+Zswgr7664fY+fTyAF6q21l97OjU1ZIcODUfVRx1F\n/vnPnkbJp5MTi3kvO1OAuOkm/z/L5Jtv0m+/4gofdRSTQnroIc8i5PvZveKKuo7ik096h+nNN/Or\ne/755Pe+5/OQw4b5ZzYIyZmUfCh4FBE8YjE/2Z1+ev184R//SJ52Wva6Dz7ovd1Uw4aR//3f3jNp\njMce815gon1jxngb0/UI0/nNb8j/+Z/0jw0ZUtibq1DTpvkcULJEjzJ1YjZh0yYP3B07pp/Qf/11\nP9ZTp3qaJLVnecstfjJOd7yfecZPKpnMn+//799+W7dt7Nj6x3/vvT09WYwvvvBg8fnnddvmziV3\n3528/vrGBafLLvNPb3LHYsUK77ykm+Mo1sUX+2R7wqpVPi9UVUX+13/5/1MuuYLx0qUeiNK1f/58\nsnVrT28le+kl7wAGMZK7/XYPbslzPuksWOAdtOQJ/uee8/dxrkn/tWvJbbf1f4M2diz54x/nX17B\no4jgQXrgaN26fh5x7Vr/YCR/2JPFYt5rmDix4WPr13uPpGNHT1MUemI47TTvBSU75RTPdeZSW+up\nh7feSv/4Aw9476Sp/OIX5G23Ndw+YgR51VXp6zz5pI8a7rjDJwOTbdzogXPwYPLoo/3Es9125Ikn\n+ojijjv89WaaH0qM4jJN9v7kJ/6Bv/TSum39+pGPP153f/jw9GmWQtx+uwfuVCtX+gT/6acXfsI/\n+GBfoHHiiXXb7rqLPO+8opqa0fTpPgeUMGaMHz/SV2iNHJl7HzfemDsNePzx9Y9/wvXX+3tg553J\nhQt929q15G67NVylVIwbb/S5l2yf/X790k/un322p5qzmTjR3+9NYflyTyPmm5pW8CgyeEycSP7+\n9w23n3MO+bvfNdxeW+sfgJ49sw/VZ8zwHtmAAfnPW2ze7EFr5cr62+fM8bzqhg3Z67/8svfCMwWs\n+fN9aN4UNm/2N+7SpQ0fe/ddP/Gne1OfcIKPtlau9Nf+1Vd1j91zT8PR3Zdf+uT/hRf63E7yarl0\nDjvMj0uq997zE9Hy5Z4yGzfOJ93btKmfHpk9O3faLZvaWj/mmZaAb9zovcUTTsh/dLl+vac9vvrK\n953ojR90UPaJ12LU1nqHaP58vz9wYN3S0H/9y4NgLj/4Qe7l4uPHN5y8jsX8/2jWLJ+k3nNP7+Gf\ndZaPiIIUi/m8zIEHpl908PzzvgQ+XYps8mRfuZXN8OG55wCLse++mUf5qRQ8igwemUyfTh5wQP2T\nxrff+hv2yCPzG3Z++y3Zo0f6D3RNTcMh7uTJmT+Ep56aO38/ZEj6gJcQi/kJvpiVXJlMmODHJZPu\n3cn/+7/62z76yNuT6HUPGlQ36qqq8nREvnnkTEaMIK+7ruH2M84gR43yv+fO9TTE0KENl1vHYh74\nUpeW5mvixNwnlOpqH10df3x+AeTFFz1wkr5S6Ic/9JP6rrs27fUKl17qI4yvv/YRXeIzUFXl97/8\nMnPdxYt93iRX+6qq/D3x0Ud122bP9vm6xGfx17/2Eee+++buUDVGLOav9fDD63dmnnvO3yepqbOE\n6mrv5GXr0BxxhAfbpnLxxf4efvxxf56PP85cVsGjiYJHLOYX7vTv7z2FZ57xFMHAgfn3EElPN51z\nTsPtd97pH/bkXO3FF5O33pp+P3Pn+ofv66/TP56YwM+Vcx040FNFQRs82OeKMvntb/3CrWTXX19/\n2/PP+4eL9H2ddFLx7Xr5ZR99JFuwwNNVySeGp57yT8Pzzzfcx2WXkTfc0LjnHzAgv6Ws1dW+8u+4\n43KfEK+7ri4g1tR4OqlXL1/Z1pRee807VE8/7YEuWf/+nqbNZNQoX26aj0suqX+8r7jCA0ZCLOav\nP1N6NgixmHcmevf2kegdd+TXmUlta7KqKh8xZvoMB+GDD/wzdfrpnh5r27ZhJiNBwaOJggfpJ+Kn\nnvI36oABPhFd6FLARDom+Q1TXe09p759PW8ci/ltt92yXxNx2ml1veVU993nE/W53HZb/Rx/EL75\nxl9jtovFFi3yHuU//+n3a2r8w5i8PPLbbz1AvvOOH4tCr/ZPZ9MmXz31yCN1vd6zzqo/+Zvwyivp\n/39nzPCJ1EKXOS9Z4j3VfHvHNTXetrPOyl6ud+/6ef4XXvBPcrGjtFwSo7CDD27YUbj33swXqX31\nFbnffvn3uN9+25+npsaPeadO4VwrlKq21jt+nTt7yi3d9RWp3nrLF0KkS3O+8orPlYZp6NDMHR8F\njyYMHkEZMMBz6gnPPOOpho0bvSf36KP+psu1XHXePO8xp64sqq31vHw+Xz8yc6Z/MIP8yom//c0D\nYS4TJnj6oX9/n2dKHRGQPrHerVv2VVKFmjnTU2oHHOAnvR13zLwsNZ1YzNta6Ijtyit99V0hvv7a\nUx+ZetWbNnnvNbn9sZh/lUUQS4pzGTbMzxqpS1oXLfI5kdQ2bNrkX4dSyFXfpM85TJ7sJ9wwv6Ug\nVXW1L0dOHqVmE4v5+2zGjIaP3Xxz048OUy1Y4HN76RZkKHg0g+DxxBP1JwF79/aJQdJPEjvt5L22\n1Ivc0jn33Ibr+ydM8N5gPh/OWMw/DDvu6Ovqk5epNtbAgeRf/pJf2U2bPAWw/fa+YifVggX+rnzt\nteLblSwW8/mHgw9OvyIsl0mTfN4m39HHn/7kaclsOedMRo/OHDxnzPCJ8VKZO9ev4k4Vi/nkfXKn\npKbG5+pOPbXwuZjRoz318stfhvu1OkG45Zb0Kbp+/RpevBuG/v0bruAkFTyaRfCoqvL168uWebDo\n3Ln+SfvWW/1/4pVXcu/r0099X8kXFh1zTOFfivbJJ/5m7tGj8BPc5s1+Tcfdd/skfZs2hV/XsmFD\n9lVhW5rE8uxcF+Al8vHdujX+4q/Nm/1EnG6V2K23Bp92DMoll3hgu/JKn8g/7zzvNGVaKp3NmjX+\nvmrf3tN/zcnHH3uKNnlFVk1N7tRuU5k6teHiH7L44GG+j+bLzNgcXsPQocAeewALFwL77gtce23d\nY7W1/nXZQ4cCLfP4YeBbbgHefNN/PGbOHGDgQP/xo623LqxNJHDXXcCf/uS/99GpU351zjzTf0fg\nyCOBnj39txL226+w526OJk0Chg/3Y96ihf8Gw513+tdmd+kCdO3qjy1ZArzwArDTTo1/rsce8x8q\neu21+r9DMWAAcP75/jsVW5oNG/zrxN99128kMGaMf9V4Y5x5JvDRR/4jTs1NRYX/UNNpp/n9t9/2\n17NgQfiVgVaeAAAG3klEQVRtIf1zevvt/jX1CWYGko3/8dpiIs+WcEMzGHmQnm7YfXdf/VDs1bBV\nVb6vadN8Qq8xaZhkt93myx5zXVlL+vzMAQcUtuIsKhLfwPr0094zHjDAvw31mWd8wnjYML8FsXy0\nttZXUSWv/kr0XjOtnomajz7K/5qFLc1LL/nij/ff9/v33BPM99411iOP+LVEyaC0VfMIHomv6Qjq\nDfTkk37Cb9cu/29QzSbXlbWkD8d33LG4LzFs7l54wVde7bGHL+ENYs4o13Ml0nhvv+33pXl48EFf\nILJ6tV8IOnZs6dqS+PLH5DmpYoOH0lYhmjkT2H13YNddi98X6UPjHj2C+bU3ErjuOk/NvPQSsMMO\n9R+vrQX69PG0ydVXF/98zRUJnH02cPLJdSmJpnyue+7xNOUpp3gabNUq4KGHmvZ5JTgjRgCVlZ7K\nnDnTU9elMm0a0L070KGD3y82baXg0Yx98w3QqpXfgkB6Tn/KFA8g7dv79tpa/znP6dN9+1ZbBfN8\nkp+1a4Fbb/VOwkMPAT/9aalbJPmKxYCzzvJ5sWXLGv6OeikpeJRx8GgKpI8sXnoJ+Oc/gYkTgVGj\ngB13BMaP94lhKY01a4A2bRS8m5vNm33if0tbVKLgoeAROBK48krv6VZUeDrr6KO3rF6TiBRHwUPB\no0mQwGefAR07lrolItIUig0eLYp88nZmNsXM3jezyWbWJkO5fma20MwWmdk1ueqb2XFm9qaZvWNm\ns83smGLaKYUzU+AQkcyKCh4AhgOYSnJfANMAXJtawMxaABgNoC+A7gAGm9l+Oep/DuAkkj0AnAvg\nr0W2syxUVlaWuglbDB2LOjoWdXQsglNs8BgEYGz877EATklT5jAAi0kuJVkNYHy8Xsb6JN8huTL+\n9zwArc2swOuny48+GHV0LOroWNTRsQhOscFjZ5KrACB+st85TZlOAJYl3V8e3wYAHXLVN7MfA3gr\nHnhERGQLkPOblMzsXwA6JG8CQAC/TlO82JnrevXNrDuAWwEcX+R+RUQkSMVcng5gAXz0AAC7AFiQ\npkwvAC8m3R8O4Jpc9QF0BvA+gF452kDddNNNN90KvxVz/s/jO1yzmgCf0L4NwBAAz6cpMxtANzPr\nCuAzAGcAGJytvpm1BfAPeJB5PVsDillqJiIijVPUdR5m1h7AkwB2A7AUwGkk15nZrgAeJHlSvFw/\nAPfA51jGkByVo/518BHKYtSlyU4g+UWjGysiIoFp9hcJiohI+IpdbVVSmS4+LAdm1tnMppnZPDOb\na2b/E9+e14WbUWNmLczsLTObEL9flscBAMysjZk9ZWYL4u+Pw8vxeJjZ5Wb2npm9a2aPmVmrcjoO\nZjbGzFaZ2btJ2zK+fjO71swWx983J+Taf7MNHjkuPiwHNQCuINkdwA8BXBx//Tkv3IyoSwHMT7pf\nrscB8BTxJJL7A+gBYCHK7HiYWUcAvwJwEMkfwFeWDkZ5HYdH4OfHZGlfv5kdAOA0APsDOBHAfWbZ\nv82u2QYPZL/4MPJIriQ5J/73N/CVa52R34WbkWJmnQH0B5D8SxdldxwAwMy2B3AUyUcAgGQNyfUo\nz+OxFYDvmVlLANsAWIEyOg4kZwBYm7I50+s/GcD4+PvlY/h882HZ9t+cg0e2iw/LipntDqAngNeR\nx4WXEXQ3gKvgCysSyvE4AMAeAL4ws0fiabwHzOy7KLPjQfJTAHcB+AQeNNaTnIoyOw5pZLqwO/V8\nugI5zqfNOXgIADPbFsDTAC6Nj0BSV0BEekWEmQ0AsCo+Css2zI70cUjSEsBBAP5I8iAAG+CpinJ7\nX7SF97K7AugIH4GchTI7Dnlo9OtvzsFjBYDknybqHN9WNuLD8acB/JVk4hqbVWbWIf74LgBWl6p9\nITkCwMlmtgTA3wD0MbO/AlhZZschYTmAZSTfjN9/Bh5Myu19cRyAJSTXkKwF8ByAH6H8jkOqTK9/\nBfySiYSc59PmHDz+c/GhmbWCX3w4ocRtCtvDAOaTvCdpW+LCSyDzhZuRQXIEyS4k94S/B6aRPBvA\nCyij45AQT0ksM7N94puOBTAPZfa+gKereplZ6/jE77HwBRXldhwM9UfkmV7/BABnxFek7QGgG4BZ\nWXfcnK/zyHTxYTkwsyMATAcwF3VfNzAC/h/e4MLLUrUzTGZ2NIBhJE/OdAFqSRsYEjPrAV88sDWA\nJQDOg08el9XxMLMb4B2KagBvA/g5gO1QJsfBzB4HUAFgBwCrANwA4O8AnkKa129m1wL4Gfx4XUpy\nStb9N+fgISIipdGc01YiIlIiCh4iIlIwBQ8RESmYgoeIiBRMwUNERAqm4CEiIgVT8BARkYIpeIiI\nSMH+H+Eo1qlp6uDJAAAAAElFTkSuQmCC\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "u = u_gen(u0=0.01, phi=0.5, e=st.uniform(-0.001, 0.001))\n", "ut = []\n", "for _ in range(100):\n", " ut.append(next(u))\n", "plt.plot(ut)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "システム $(\\Sigma)$ のシミュレーションコードは次のように書ける. `scipy.linalg.solve_sylvester` でシルベスタ方程式を解いている." ] }, { "cell_type": "code", "execution_count": 8, "metadata": { "collapsed": false }, "outputs": [], "source": [ "def gen_path(x0, u0, phi, e):\n", " x0 = np.asarray(x0).reshape((2,1))\n", " M = la.solve_sylvester(-la.solve(Tuu,Suu), \n", " np.array([[1/phi]]), \n", " -la.solve(Tuu, Cu)/phi)\n", " u = u_gen(u0, phi, e)\n", " \n", " while True:\n", " u0 = next(u)\n", " x1 = (Omega_x.dot(x0) +\n", " (Omega_u + Omega_y.dot(M) * phi) * u0)\n", " y0 = Psi_x.dot(x0) + Psi_y.dot(M) * u0\n", " \n", " yield (x0, y0)\n", " \n", " x0 = x1" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "シミュレーション結果は `for t in range(steps)` という標準的なループを用いれば取り出せる. `next` 関数を使わずに書くと次のように書ける. " ] }, { "cell_type": "code", "execution_count": 10, "metadata": { "collapsed": false }, "outputs": [], "source": [ "k, z, n, c = [], [], [], []\n", "\n", "path = gen_path(x0=[0.0, 0.0], u0=0.01, \n", " phi=0.5, e=st.uniform(-0.001, 0.001))\n", "\n", "for (x, y), _ in zip(path, range(200)):\n", " k.append(x[0, 0])\n", " z.append(x[1, 0])\n", " n.append(y[0, 0])\n", " c.append(y[1, 0])" ] }, { "cell_type": "code", "execution_count": 11, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "[]" ] }, "execution_count": 11, "metadata": {}, "output_type": "execute_result" }, { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYkAAAEACAYAAABGYoqtAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzt3Xl4VOX5//H3jYj+lK8sIkjZXFBQXFEpSFujWAmKYl0o\nuKItoCJatVZotcZuAn6r4kJV3LcvorUKrUW0MuKGoCyyBxUjIoYK4oLKEu7fH8+gMeZAyEzmzPJ5\nXVeuZE6eM+fmMJl7nt3cHRERkerUizsAERHJXkoSIiISSUlCREQiKUmIiEgkJQkREYmkJCEiIpHS\nkiTMrNjMFplZqZldFVHmFjNbYmazzeyQ5LHWZvaCmc03s7lmdkk64hERkfRIOUmYWT3gNqAn0Ano\nb2Ydq5TpBezt7vsAg4E7kr/aCFzu7p2AbsCQqueKiEh80lGT6AIscfcyd98AjAP6VCnTB3gQwN1f\nBxqZWQt3/8jdZyePfwEsBFqlISYREUmDdCSJVsCySo8/4Ptv9FXLLK9axsz2AA4BXk9DTCIikgZZ\n0XFtZg2BJ4BLkzUKERHJAvXT8BzLgbaVHrdOHqtapk11ZcysPiFBPOTuT0ddxMy0yJSISC24u9X2\n3HTUJGYA7c2snZk1APoBE6qUmQCcA2BmXYE17l6e/N29wAJ3H721C7m7vtL0de2118YeQ7586V7q\nfmbzV6pSrkm4e4WZXQxMJiSde9x9oZkNDr/2u9z9GTM73szeBtYCAwDMrDtwJjDXzGYBDvzW3Sel\nGpeIiKQuHc1NJN/UO1Q5dmeVxxdXc94rwHbpiEFERNIvKzquJfOKioriDiFv6F6ml+5ndrF0tFll\ngpl5rsQqIpItzAyPueNaRETylJKEiIhEUpIQEZFIShIiIhJJSUJERCIpSYiISCQlCRERiaQkISIi\nkZQkREQkkpKEiIhEUpIQEZFIShIiIhJJSUJERCIVXJKoqIBEAmbNijsSEZHsV1BJYto0aNcOLrsM\njj8eLrkEvvoq7qhERLJXwSSJmTOhTx/4299CLWL+fFi+HE49Fdatizs6EZHsVBCbDn38MRx8MNx6\nK5xyyrfHN26Evn2hXj0YPz58FxHJJ6luOpT3ScIdTj89NDP99a/f//26dXDsseHr2mvTEKiISBZJ\nNUnUT2cw2WjcOFi0CB5+uPrf77ADPP44HHEEHHYY9O6d2fhERLJZXtckvv4aOnSARx6BH/1oy2Wn\nToX+/UNfRePGKQQqIpJFtMf1FtxxBxx00NYTBMBPfgInngjDh9d9XCIiuSItScLMis1skZmVmtlV\nEWVuMbMlZjbbzA6tdPweMys3s7fSEctmn38O118Pf/lLzc8ZMQImTICXX05nJCIiuSvlJGFm9YDb\ngJ5AJ6C/mXWsUqYXsLe77wMMBv5W6df3Jc9Nq3vvhaOOggMPrPk5jRvDzTfDoEEaFisiAumpSXQB\nlrh7mbtvAMYBfaqU6QM8CODurwONzKxF8vHLwCdpiOMbFRVwyy1h0ty2Ou002HtvGDUqnRGJiOSm\ndCSJVsCySo8/SB7bUpnl1ZRJm3/+E5o1g65dt/1cM7j9dhg9GhYvTn9sIiK5JKeGwJaUlHzzc1FR\nEUVFRdWWu+UWuPTS8IZfG23bwjXXwODBMGVK7Z9HRCTTEokEiUQibc+X8hBYM+sKlLh7cfLxMMDd\nfWSlMncAU9z9seTjRcBR7l6efNwOmOjuB23hOjUaAlteHoa9lpeHORC1VVERaiIXXgjnn1/75xER\niVM2DIGdAbQ3s3Zm1gDoB0yoUmYCcA58k1TWbE4QSZb8StnEidCzZ2oJAmC77WDMGLj6ali7Nh2R\niYjknpSThLtXABcDk4H5wDh3X2hmg81sULLMM8BSM3sbuBO4aPP5ZvYo8Cqwr5m9b2bnpRLPU0/B\nz36WyjN864gjwhyL0aPT83wiIrkmr2Zcf/45tGoFy5ZBo0bpuW5pKRx5ZOjE3nXX9DyniEimZENz\nU9aYNAm6d09fggDYd99QM7n55vQ9p4hIrsirJDF5cthMKN2GDQv7UHz6afqfW0Qkm+VVknj11VCT\nSLe994ZevcL8CRGRQpI3fRKffBL2jFi9GurXweyPBQvg6KOhrAx23DH9zy8iUhfUJ5H02mthNFJd\nJAiA/feHQw+Fxx6rm+cXEclGeZMkXn01jEKqS0OHhi1Qc6TyJSKSsrxJEq+8Ujf9EZUVF4dmrddf\nr9vriIhki7zok9iwAZo2DfMj6npXuZtuCk1b48fX7XVERNJBfRLA3Lmh0zoT244OHAgvvgjz5tX9\ntURE4pYXSWL6dOjSJTPXatgQfv1ruO66zFxPRCROeZEkZswII5sy5aKL4KWXVJsQkfynJFELO+8M\nQ4aEfStERPJZzndcr10LzZuHUUcNGmQuno8+gv32g6VLM9MXIiJSGwXfcT1zJnTqlNkEAbD77mGp\njvvvz+x1RUQyKeeTxIwZmeu0rmrIkLCe06ZN8VxfRKSu5UWSyGR/RGVHHhmamiZOjOf6IiJ1LeeT\nxBtvwOGHx3NtM7jyShg1Kp7ri4jUtZxOEp9/Dh9+CB06xBfDKafAihVh7SgRkXyT00li7tywOmtd\nrfxaE/XrwxVXwA03xBeDiEhdyekkMWcOHHJI3FHAeeeFBQZLS+OOREQkvXI6ScyeDQcfHHcUsNNO\ncOGF8Ne/xh2JiEh65XSSmDMnO5IEwMUXw+OPQ3l53JGIiKRPziaJioqwdtJBB8UdSbDbbtCvX9iU\nSEQkX6QlSZhZsZktMrNSM7sqoswtZrbEzGab2SHbcm513n47LMfRqFE6/gXpcfnlcOed8MUXcUci\nIpIeKScJM6sH3Ab0BDoB/c2sY5UyvYC93X0fYDBwR03PjZJNTU2btW8PRUVw771xRyIikh7pqEl0\nAZa4e5m7bwDGAX2qlOkDPAjg7q8DjcysRQ3PrdasWdmXJCBMrrvxxtAcJiKS69KRJFoByyo9/iB5\nrCZlanJutV57Dbp23eZY61yXLtCiBTz7bNyRiIikLq5paLVatrakpAQIn9Jff72Ibt2K0hhS+gwc\nCHfdBccfH3ckIlJoEokEiUQibc+X8n4SZtYVKHH34uTjYYC7+8hKZe4Aprj7Y8nHi4CjgD23dm6l\n5/hmP4kZM+AXv4C33kop9DrzxRfQpg0sWAAtW8YdjYgUsmzYT2IG0N7M2plZA6AfMKFKmQnAOfBN\nUlnj7uU1PPd7XnklrMCarRo2hL594b774o5ERCQ1KScJd68ALgYmA/OBce6+0MwGm9mgZJlngKVm\n9jZwJ3DRls6NutaqVeH7q69C9+6pRl63Bg6Eu+/WXhMikttyavvS555zevSA1q3hpZdgr73ijiqa\nO3TuHJYR/+lP445GRApVNjQ3Zcybb4Y9pSsqYM89445my8xCbWLs2LgjERGpvZyqSfTt6+yyS9gN\nLheW5v70U9hjD1i8OMwOFxHJtFRrEjmVJJo0cbbfPrzpNm4cd0Q1c955Yc+LK6+MOxIRKUQF1dy0\nbh38/ve5kyDg2w7sHMnFIiLfkVNJYsoUGDw47ii2TbduYfe6qVPjjkREZNvlVJLo0iXerUprwwwG\nDQozsEVEck1O9UnkSqxVrV4dhuu++y40bRp3NCJSSAqqTyJXNW0KJ5wADz0UdyQiIttGSSJDNi/6\nl6OVIREpUEoSGXLUUbBhQ1jiXEQkVyhJZIhmYItILlLHdQatXAn77gvvvZdbcz1EJHep4zqHNG8e\nFvt79NG4IxERqRkliQzbPGcixytFIlIglCQyrEcP+OwzeOONuCMREdk6JYkMq1cPBgyABx+MOxIR\nka1Tx3UM3n0XunaF5cth++3jjkZE8pk6rnPQXnvBPvvApElxRyIismVKEjE5+2x4+OG4oxAR2TI1\nN8Vk9eqwBev770OjRnFHIyL5Ss1NOappUzjmGHjiibgjERGJpiQRIzU5iUi2U3NTjNatgx/8AGbN\ngrZt445GRPJRrM1NZtbEzCab2WIze9bMqm1dN7NiM1tkZqVmdlWl46eZ2TwzqzCzzqnEkot22AFO\nO03LdIhI9kq1uWkY8Ly7dwBeAIZXLWBm9YDbgJ5AJ6C/mXVM/nou8DPgxRTjyFlnnx02I8qzSpKI\n5IlUk0Qf4IHkzw8AJ1dTpguwxN3L3H0DMC55Hu6+2N2XALWuCuW6I4+EL78MTU4iItkm1STR3N3L\nAdz9I6B5NWVaAcsqPf4geUwIy3ScdZY6sEUkO9XfWgEzew5oUfkQ4MDV1RSv00aTkpKSb34uKiqi\nqKioLi+XMWedBUVFMGoU1N/q/4iISLREIkEikUjb86U0usnMFgJF7l5uZrsDU9x9vyplugIl7l6c\nfDwMcHcfWanMFOAKd5+5hWvl3eimyrp0geuug1694o5ERPJJ3JPpJgADkj+fCzxdTZkZQHsza2dm\nDYB+yfOqKth+CYDBg+G22+KOQkTku1KtSTQFxgNtgDKgr7uvMbOWwFh3750sVwyMJiSle9x9RPL4\nycCtQDNgDTDb3av9LJ3vNYmvvoJ27eCll6BDh7ijEZF8kWpNQpPpssg114Q1nW6/Pe5IRCRfKEnk\nkRUrYP/9YelSaNw47mhEJB/E3SchadSyJfTsqV3rRCR7KElkmQsvhDvu0AxsEckOShJZ5ic/ATOY\nOjXuSERElCSyjhlccIE6r0UkO6jjOgt99lnYB3vGjLB7nYhIbanjOg/tsgsMHAg33hh3JCJS6FST\nyFIrVkCnTlBaCs2axR2NiOQq1STyVMuWcMopMGZM3JGISCFTTSKLLVoERx0VJtfttFPc0YhILlJN\nIo917AjdusH998cdiYgUKtUkstyrr4YtTktLYbvt4o5GRHKNahJ57sgjYffd4ckn445ERAqRkkQO\n+M1vwq51BViREpGYKUnkgBNPhM8/hxdfjDsSESk0ShI5oF49uPLKUJsQEckkdVzniHXrwhIdzz4L\nBx4YdzQikivUcV0gdtgBLrkE/vd/445ERAqJahI5ZM0a2HtvmD0b2rSJOxoRyQWqSRSQxo3h/PPV\nNyEimaOaRI5ZuRL22w9mzYK2beOORkSynWoSBaZ5cxg0CP7857gjEZFCoJpEDlq1Cjp0gOnTw+ZE\nIiJRYq1JmFkTM5tsZovN7FkzaxRRrtjMFplZqZldVen4KDNbaGazzezvZrZLKvEUil13hSFD4I9/\njDsSEcl3KdUkzGwksMrdRyXf/Ju4+7AqZeoBpUAP4ENgBtDP3ReZ2bHAC+6+ycxGAO7uwyOupZpE\nJWvWwD77wCuvwL77xh2NiGSruPsk+gAPJH9+ADi5mjJdgCXuXubuG4BxyfNw9+fdfVOy3DSgdYrx\nFIzGjeHSS6GkJO5IRCSfpZokmrt7OYC7fwQ0r6ZMK2BZpccfJI9VdT7w7xTjKSi/+lVYz2natLgj\nEZF8VX9rBczsOaBF5UOAA1dXU7xW7UFm9jtgg7s/uqVyJZU+NhcVFVFUVFSby+WNhg3h+utDjeK1\n18IaTyJS2BKJBIlEIm3Pl2qfxEKgyN3LzWx3YIq771elTFegxN2Lk4+HEfoeRiYfDwAGAse4+7ot\nXEt9EtXYtCnsXnfWWTB0aNzRiEi2ibtPYgIwIPnzucDT1ZSZAbQ3s3Zm1gDolzwPMysGrgRO2lKC\nkGj16sHDD8OIEfDII3FHIyL5JtWaRFNgPNAGKAP6uvsaM2sJjHX33slyxcBoQlK6x91HJI8vARoA\nq5JPOc3dL4q4lmoSWzB/Phx7bGh+GjAg7mhEJFukWpPQZLo8smgR9OwZOrQvuyzuaEQkG6SaJLba\ncS25o2NHePll6N4d2rWDU06JOyIRyXWqSeShN96AXr1gyhQ44IC4oxGROMXdcS1Z6PDD4YYboF8/\n+PrruKMRkVymmkSecoef/xxatYKbboo7GhGJizquJdLq1XDIIXDrrdCnT9zRiEgc1NwkkZo2hSee\ngF/+EubOjTsaEclFShJ5rksXGD06dGS/9FLc0YhIrlGSKABnnAFjx8Lpp4emJxGRmlKfRAEpKwuz\nsgcMgN/9Lu5oRCQTNJlOaqxdO5g6NSSKtWvDPtlW65eOiBQCNTcVmJYtwx4UkybBxRfD+vVxRyQi\n2UxJogA1awYvvAAffAA//KE2LRKRaEoSBapxY3jqKbjkktCxfcQRGv0kIt+njmuhogKefDLscHfS\nSTBwIHTurP4KkXygyXSSsu22C8Nj580LTVF9+4ZO7gEDYOJE2LAh7ghFJC6qScj3uENpKTz3HPzf\n/8HSpfDb38KgQdCgQdzRici20NpNUudmzgzzKpYuDZPyfvzjuCMSkZpSkpCM+cc/YOjQ0Ax13XWh\nmUpEspuShGTUypWhz2LHHUOtok2buCMSkS1Rx7VkVPPmoa+iWzc49FC45564IxKRuqSahNTawoVh\nn4qTToKRI9X8JJKN1NwksVq9OiSKgw8OK8xqboVIdlFzk8SqaVP45z/hlVfgj3+MOxoRSbeUkoSZ\nNTGzyWa22MyeNbNGEeWKzWyRmZWa2VWVjv/BzOaY2Swzm2Rmu6cSj8SjUSP497/h0Udh+PAwz0JE\n8kNKzU1mNhJY5e6jkm/+Tdx9WJUy9YBSoAfwITAD6Ofui8ysobt/kSw3FNjf3S+MuJaam7Lcxx/D\nCSeE2dq33w677RZ3RCISd3NTH+CB5M8PACdXU6YLsMTdy9x9AzAueR6bE0TSzsCmFOORGDVrBlOm\nhCRxwAHwr3/FHZGIpCrVJNHc3csB3P0joHk1ZVoByyo9/iB5DAAz+5OZvQ+cAfw+xXgkZjvtBDfc\nECbeDRoE11+v5ieRXLbVnenM7DmgReVDgANXV1N8m98O3P1q4Opkc9VQoCSqbEnJt78qKiqiqKho\nWy8nGXLkkTB9OvTuDcuXwy23QD0NkxCpc4lEgkQikbbnS7VPYiFQ5O7lyU7nKe6+X5UyXYESdy9O\nPh4GuLuPrFKuDfCMux8YcS31SeSgTz8N8ygaNICSEujePe6IRApL3H0SE4AByZ/PBZ6upswMoL2Z\ntTOzBkC/5HmYWftK5U4GFqYYj2SZRo1g8mQ47TQ45xzo2RPeeivuqESkplKtSTQFxgNtgDKgr7uv\nMbOWwFh3750sVwyMJiSle9x9RPL4E8C+hA7rMuACd18RcS3VJHLchg1w551hPsUFF8DVV8P228cd\nlUjtfPwxPPQQvPtuaEo95RTo1Cn8btdds2diqWZcS85ZsQLOPx9WrYKHH4Z99407IpGaW7MG/vzn\nsG5Znz5hDbPPP4fHH4dly8JOjzvtBMccE1ZMPuaYePvjlCQkJ7nDmDGhn2Lo0LB1aqNqp2KKxG/9\n+pAUpk2DSZNCcrj2WmjV6vtl3eG998JKBHffHRLIgAHhw9Auu4TX+YEHhp8zQUlCcto778Cf/hTm\nVIwZE/ouRLLJzJmh5vuDH8Cpp4ZNt2pa+3WHN94IqxF8+GEYyPHJJ1BWFl7355xT97s9KklIXpg+\nHfr3hx494OabQ3VdJE5z54aa7quvhvk+556bvn6GN9+E3/wG5swJ+8tfdFGoXdSFuEc3iaRFly4w\naxZ89RUcdlj4IxKJw7x54Y37uOPCkO133gnNRensiD7sMPjPf0ItpWVLKC6Gjh3DdadMSd910kE1\nCck6jz4Kl10GZ54Jv/gF7L9/ZkeKbNoEX3wROhsbNszcdSVeCxbAH/4AiQT8+tdw4YWw886ZufaG\nDbBoEbz+eqi17LEH/PznoXlr111Te241N0leWrkyjCB56qkwmmSXXeAnP4EhQ8KueKkmjU2bwie2\n8ePDQoS77Rbmb8yaFd4stt8+tCd36xau2adP9gxplNS5w+zZYYn7WbPCJ/oPP4QrrghNP3F+OFi/\nHp58Mrz2X3ghdJBfcEHtN/VSkpC85h42Nvrss/BHM2ZM+AO+6CI444xt+6S3dCk88khY1nzBAmjb\nFs4+O9QaVq4MbcKdO4fvO+0Ea9eGDvWSkvDJ7tZbYe+96+pfKpny97/DVVeF11aPHuH/vHNnOOig\nsHd7Npk3L9Ro6tcPw8WrG021NUoSUlA2bYLnnw/J4qWXwpv8eeeFESJr14bvDRqEP6q1a8OcjDlz\nYOJEKC2Fvn3DpKcDD6z5Uubr14fO9FGjQjPY8OFahyoXuYeJnHffHT4s/OhHuVE7rKiAv/wlfEi5\n4YYwImpb4laSkIJVVgZ33QXjxoWk0LBheENfvz608TZsCM2bh4TQo0dYEiSVGd7LloXaS4sW8OCD\nGoGVS778MnyYKCsLNdLdc3B7s5kzQx8dhNfhhRfWrFlMSUIkg9atC282X3wR3mxUo8h+a9eGkUp7\n7hlqEdnWpLQtKipg6lT4299Ck+mTT259zoaGwIpk0A47wP33h3V7Ro2KOxrZmvXrwwihDh3COku5\nnCAgdF4ffTQ89hhcckloMnvqqbq9pmoSIrWwbBkccUT4ZNq7d9zRSHXefBN++UvYZ58wrLr+VnfP\nyT3Tp4e5FWecEWZwVzcCSjUJkRi0aQNPPx2anl58Me5opKr774devcJAg8cey88EAWES6htvwIwZ\noc9t/vz0X0M1CZEU/Oc/0K9fGP105plxRyNffRUmoz34YFiIr2PHuCPKjI0bQ/PnbbdB06ZhFODp\np8N116njWiR2b70V2r2POw5uvDH0W0hmVVSExPD734dmwFtvrd2cgly3cWMY8r3jjmEUXrNmShIi\nWeHTT8P6Ph9+GD7NHXFE3BEVBvewJPfw4dCkSfg03a1b3FFlFyUJkSzhDnfcASNGQOvWYW/v446D\ngw/WUNm68NprYeb06tXhnp9wQm5Mjss0JQmRLLNhAzz7bPiaPDmsPTV4MPzqV6G9WGpn06aQGCZO\nDLPuy8vDgnznnFP7dY0KgZKESJYrLQ3LKTz5JAwaFFYYTXVlz0IyZ05YhuXpp8MM+j594Kc/ha5d\n637DnnygJCGSI8rKwsq2kybBP/4R9hSQaKtWhZFKDz0El18eBge0bx93VLlH8yREckS7dmGtqZtu\nCpvMTJgQd0TZaeXK0DS3zz5hQMDcuaHvQQkiHnk6xUQke516akgYvXuHTtd0bouZq9zh5ZfDMt4P\nPxxmEM+bF/aVlnipuUkkJgsXws9+Ft4Ir7kGjjqqMEdBjR8flvDetClMTDzrrLAYn6RHrH0SZtYE\neAxoB7wH9HX3T6spVwzcTGjeusfdR1b5/RXADUAzd18dcS0lCck7GzfCffeFuRWrV4fNlIYMCTvx\n5buvv4ahQ0MN4uabw3DhQq9R1YW4k8RIYJW7jzKzq4Am7j6sSpl6QCnQA/gQmAH0c/dFyd+3Bu4G\nOgCHKUlIoZozJ4yCmjQp7BXQpw988klYqG7+/LCSabduYeXPqFndn34K06bB22+HBLRxY6id7LFH\nmODXunVG/0mRJk8OCeLQQ2HsWPif/4k7ovwVd5JYBBzl7uVmtjuQcPeOVcp0Ba51917Jx8MA31yb\nMLPHgT8AE1CSEOGdd2DkyLBoW5MmYdOkAw8MQ2mnTg3NVEcfDd27w3vvwfLlYSjo4sXh3MMOg/33\nDxssbbddWLJi6dIwx6B37zC3oG3beP5t778fRirNmgWjR2sF3UxINUmk2nHd3N3LAdz9IzNrXk2Z\nVsCySo8/ALoAmNlJwDJ3n2uqZ4oAYR/tu+6K/v1//xs+iU+bFjacOfbYsG/CnnvCIYdEzx1Ysyas\nLXX44aF5p3//zDTvrF4dhvw+9lhY2vryy0PndK7v7VAotpokzOw5oEXlQ4ADV1dTvMYf9c3s/wG/\nBX5a5bkjlZSUfPNzUVERRUVFNb2cSN7Ybbew4uy2rjrbuHGoRZx8chhRdfvtYZXQHj3SkyzcQ41l\n/vyQyL78Ep55Bl55JUx+GzgwbJCjbV/rViKRIJFIpO35Um1uWggUVWpumuLu+1Up0xUocffi5ONh\nhGTyL+B54EtCcmgNLAe6uPvKaq6l5iaRNKmoCBvxjBwZlhHp1y+Mrlq9OvRnvP12WEG0R49QQ2nZ\nEnbe+bvPUV4eNl0qLQ0jk6ZODc910EFhD+kddgjPeeKJ6nOIU9x9EiOB1e4+cgsd19sBiwkd1yuA\n6UB/d19YpdxSoLO7fxJxLSUJkTRzD30VTz8dPvHvtluYtNa+fejrSCTC9xUrwtLTBxwAe+0Vlkef\nNQv69g2d6e7wwx+GvhC1HGeXuJNEU2A80AYoIwyBXWNmLYGx7t47Wa4YGM23Q2BHVPNc7wKHq+Na\nJPtUVMC774ampCVLoFMn+PGPVUPIBVq7SUREImntJhERqTNKEiIiEklJQkREIilJiIhIJCUJERGJ\npCQhIiKRlCRERCSSkoSIiERSkhARkUhKEiIiEklJQkREIilJiIhIJCUJERGJpCQhIiKRlCRERCSS\nkoSIiERSkhARkUhKEiIiEklJQkREIilJiIhIJCUJERGJpCQhIiKRUkoSZtbEzCab2WIze9bMGkWU\nKzazRWZWamZXVTp+rZl9YGYzk1/FqcQjIiLplWpNYhjwvLt3AF4AhlctYGb1gNuAnkAnoL+ZdaxU\n5EZ375z8mpRiPFJDiUQi7hDyhu5leul+ZpdUk0Qf4IHkzw8AJ1dTpguwxN3L3H0DMC553maWYgxS\nC/pDTB/dy/TS/cwuqSaJ5u5eDuDuHwHNqynTClhW6fEHyWObXWxms83s7qjmKhERicdWk4SZPWdm\nb1X6mpv8flI1xX0brz8G2MvdDwE+Am7cxvNFRKQOmfu2vq9XOtlsIVDk7uVmtjswxd33q1KmK1Di\n7sXJx8MAd/eRVcq1Aya6+0ER16p9oCIiBczda92sXz/Fa08ABgAjgXOBp6spMwNon0wCK4B+QH8A\nM9s92UwFcAowL+pCqfwjRUSkdlKtSTQFxgNtgDKgr7uvMbOWwFh3750sVwyMJjRv3ePuI5LHHwQO\nATYB7wGDN/dxiIhI/FJKEiIikt+yfsZ11EQ8qTkze8/M5pjZLDObnjxWo4mQAmZ2j5mVm9lblY5F\n3j8zG25mS8xsoZkdF0/U2SvifkZOrNX9jGZmrc3sBTObnxxUdEnyeNpen1mdJGowEU9qZhNhgMGh\n7t4leWzGsE9IAAACPElEQVSrEyHlG/cRXoOVVXv/zGx/oC+wH9ALGGNm6k/7ruruJ1QzsdbM9kP3\nc0s2Ape7eyegGzAk+R6ZttdnVicJtj4RT2rG+P7/dU0mQgrg7i8Dn1Q5HHX/TgLGuftGd38PWEJ4\nHUtSxP2E6ifW9kH3M5K7f+Tus5M/fwEsBFqTxtdntieJrU3Ek5px4Dkzm2Fmv0wea1GDiZASLWoi\nadXX7HL0mq2p6ibW6n7WkJntQRgINI3ov+9tvp/ZniQkPbq7e2fgeEJ19Md8f+KjRjCkRvcvNVUn\n1v415nhyipk1BJ4ALk3WKNL2953tSWI50LbS49bJY7IN3H1F8vt/gacI1ctyM2sBYb4KsDK+CHNS\n1P1bThgSvpleszXg7v/1b4dajuXbJhDdz60ws/qEBPGQu2+eq5a212e2J4lvJuKZWQPCRLwJMceU\nU8xsp+SnDMxsZ+A4YC7fToSE6ImQ8i3ju23mUfdvAtDPzBqY2Z5Ae2B6poLMId+5n8k3ss0qT6zV\n/dy6e4EF7j660rG0vT5TnXFdp9y9wswuBibz7US8hTGHlWtaAP9ILmtSH3jE3Seb2RvAeDM7n+RE\nyDiDzGZm9ihQBOxqZu8D1wIjgMer3j93X2Bm44EFwAbgokqfkIXI+3m0mX1nYi3ofm6NmXUHzgTm\nmtksQrPSbwmrYHzv77s291OT6UREJFK2NzeJiEiMlCRERCSSkoSIiERSkhARkUhKEiIiEklJQkRE\nIilJiIhIJCUJERGJ9P8B4bENkJwQIX8AAAAASUVORK5CYII=\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "plt.plot(k)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "決定論的定常状態: " ] }, { "cell_type": "code", "execution_count": 12, "metadata": { "collapsed": true }, "outputs": [], "source": [ "cb, kb = (0.5511920622464518, 2.772987427012156)\n", "nb, zb = (0.29583592293349903, 1.)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "シミュレーション結果を繰り返し出力できるように, 関数として抽象化しよう." ] }, { "cell_type": "code", "execution_count": 13, "metadata": { "collapsed": false }, "outputs": [], "source": [ "def simulate(x0, u0, phi, e, steps):\n", " \"\"\"simulate Hansen's RBC model\n", " \n", " Parameters\n", " ----------\n", " \n", " x0: 2d array of float\n", " Initial values for K and Z, typically x0 = [0., 0.]\n", " \n", " u0: float\n", " Initial value for u\n", " \n", " phi: float\n", " u1 = phi * u0 + e\n", " \n", " e: (distribution object with\n", " attribute method rvs)\n", " \n", " steps: int\n", " length of simulation \n", " \n", " \"\"\"\n", " \n", " k, z, n, c = [], [], [], []\n", "\n", " path = gen_path(x0, u0, phi, e)\n", " for (x, y), t in zip(path, range(steps)):\n", " k.append(x[0, 0])\n", " z.append(x[1, 0])\n", " n.append(y[0, 0])\n", " c.append(y[1, 0])\n", "\n", " fig, ax = plt.subplots(2, 2)\n", " fig.set_size_inches(10,8)\n", "\n", "\n", " ax[0, 0].set_title('$K$')\n", " ax[0, 0].plot(kb + kb*np.array(k))\n", " ax[0, 0].axhline(kb, color='black', linestyle='dotted')\n", "\n", " ax[0, 1].set_title('$Z$')\n", " ax[0, 1].plot(zb + zb*np.array(z))\n", " ax[0, 1].axhline(zb, color='black', linestyle='dotted')\n", "\n", " ax[1, 0].set_title('$N$')\n", " ax[1, 0].plot(nb + nb*np.array(n))\n", " ax[1, 0].axhline(nb, color='black', linestyle='dotted')\n", "\n", " ax[1, 1].set_title('$C$')\n", " ax[1, 1].plot(cb + cb*np.array(c))\n", " ax[1, 1].axhline(cb, color='black', linestyle='dotted')" ] }, { "cell_type": "code", "execution_count": 25, "metadata": { "collapsed": false }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAmYAAAHpCAYAAAAoIvAaAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3XeYVOXZx/HvTYsoiIqKClIEFSEoYEQQy1pQ0Ai2KBas\nsSQW1OSNJYluoiaaaCwxxm7EEjRKEFtExdUQFQtFRBAsgFSVIiKClPv94znouszuzu7OmXNm9ve5\nrr12Zs5zztw7LM/e56nm7oiIiIhI8hokHYCIiIiIBErMRERERFJCiZmIiIhISigxExEREUkJJWYi\nIiIiKaHETERERCQllJiJiIiIpIQSMxEREZGUUGImqWFme5rZf8zsVTM7odzrI8zsX2bWL8n4RESq\nY2btzGy+mV1tZmea2VlmttDMzko6NikMppX/JU3M7AngIXd/NHp+MPCFu49LNjIRkeqZ2ZnAi+7+\nUfT8LmCRu1+abGRSKJSYSWqYWQPgc2AX4AvgGGC0u3+aaGAiIlkys77u/r/o8R+A7dz91GSjkkKi\nrkxJk57AfKA58CIwU0mZiBSScknZBcCuwOnJRiSFRomZpMkBwFKgFfAEcEGy4YiI1JyZDQaOBY5x\n93Vm1jTpmKRwKDGTNNkfuCm647wL6GdmbRKOSUQka2Z2EPAr4MfuvtLMWgKauCRZU2ImqWBmjYG+\nwEsA7r4EGA6cl2RcIiLZMrMfAbcAA919afTyL4AXkotKCk2jpAMQMbMewEmAA4cB95tZc2AT4Hgz\nm+ru9ycZo4hIVcxsG+Bp4N/AUWbWDNgHWOHuKxINTgpKLLMyzewHwCtAE0Ly95i7/y5DuVuAAcBX\nwKnuPjHnwYiIZGBm9wA/Bha6+66VlKm0jopmEb8FzHH3gXkIWUTqgVi6Mt19FbC/u/cAugMDzKxX\n+TJmNgDo6O47AmcDt8cRi4hIJe4DDqnsYBZ11FDgvfjCE5H6KLYxZuWabn9AaDWr2DQ3CBgWlR0H\ntDCzVnHFIyJSnruPBZZUUaTSOiqalHIocHfccYpI/RJbYmZmDcxsArAAeN7d36xQpDXwSbnnc6PX\nRETSoKo66kbg/9jwhlNEpE5iG/zv7uuAHma2KTDSzLq4e42b/c1MFZ9IPeTulnQMmZjZYYRxaRPN\nrASoNE7VXyL1U13qr9iXy3D3ZYQlEPpXODQX2L7c8zbRa5mukfqvK6+8MvEYiinOQopVceb+KyUq\nq6P6AgPN7CPgn8D+Zjassosk/VkW2++H4qyfcRZSrHUVS2JmZluaWYvocVPC4nrTKhQbBZwclekN\nLHX3hXHEIyJSCaPyFq+MdZS7X+7ubd19B2AwMMbdT67Jm776Klx4Ibz0Ul1CF5FiFFeL2bbAS2Y2\nERgHPOfuz5jZ2WZ2FoC7PwN8bGYfAHcAP48pFhGRDZjZw8CrwE5mNtvMTstHHTV3Lhx1FDRvDkOG\nwMiRubiqiBSLWMaYuftkwobUFV+/o8LzolnVvaSkJOkQslIocULhxKo4C5O7n5BFmSrrKHd/GXi5\nJu97771w9NFw1VXQsyf88Y8waBBYwiPqCuX3Q3HmVqHECYUVa13EssBsLpmZpz1GEcktM8NTOvi/\nJirWX+7QtSvcfTfstResXQs77wwPPwy9elVxIREpGHWtv7RXpohInkyfDsuWQe/e4XnDhqE788EH\nk41LRNJDiZmISJ6UlcGBB0KDcjXvSSfB8OGh9UxERImZiEielJVBxWEyHTvCVlvB228nEZGIpI0S\nMxGRPHAPidl++2147OCDYfTovIckIimkxExEJA/mzoV166BDhw2PHXIIPPdc/mMSkfRRYiYikgfj\nx4flMTIti7HvvjBxYpgYICL1mxIzEZE8WJ+YZbLxxmGm5pgx+Y1JRNJHiZmISB5MmFB5YgahO1Pj\nzEREiZmISB68+y5061b58b33hnHj8hePiKSTVv4XkdQptpX/v/kGNt0UvvwSGjfOXPbrr6FlS1i8\nGDbaKL9xikjuaOV/EZGUmzkT2rSpPCkDaNoUdtwRJk/OW1gikkJKzEREYjZjBnTqVH25H/0I3nor\n/nhEJL2UmImIxOyDD7JPzLQDgEj9psRMRCRmH3wQuimroxYzEVFiJiISs5kzoX376st16wbTp4eJ\nACJSPykxExGJ2Zw5YfB/dTbaCDp3hkmT4o9JRNIplsTMzNqY2Rgzm2Jmk83sggxlNjOzEWY2ycxe\nN7MuccQiIpKJmd1jZgvN7J0qytxiZjPMbKKZdY9eq7Z+q2juXGjdOru4evQI2zOJSP0UV4vZGuBi\nd+8K9AHONbPOFcpcDkxw992AU4BbYopFRCST+4BDKjtoZgOAju6+I3A2cHt0KJv67VurVsHSpbD1\n1tkF1aULTJ2aXVkRKT6xJGbuvsDdJ0aPlwNTgYr3i12AMVGZ94H2ZrZVLuNYtgyeeircrYqIlOfu\nY4ElVRQZBAyLyo4DWphZqyzrt2/Nnw/bbAMNsqxtu3SB997LrqyIFJ/Yx5iZWXugO1Bxs5FJwFFR\nmV5AWyCLURjZee892HVXuP566N4dXnstV1cWkXqiNfBJuedzqZCAVVG/fSvb8WXrKTETqd8axXlx\nM2sGPAYMje4sy7sWuNnMxgOTgQnA2kzXKS0t/fZxSUkJJSUlVb7vqlUweDBcdhmcfTY88QSccELY\nq26TTWr944hITMrKyigrK0s6jBqppn771k03lbJ0KZSWZld/bb89fPFF+GrRIqchi0gMcl1/xbZX\nppk1Ap4CnnX3m7Mo/zHQrWIFV5u9Mv/yF3jxxdCNadFuVcceC7vvDpdcUqNLiUgC8rVXppm1A550\n910zHLsdeMndH4meTwP2c/eF2dZvZuY33ODMng033ZR9XHvsAX/9K/TuXcMfSEQSl+a9Mu8F3qus\n0jKzFmbWOHp8JvByVXed2Vq+HK69Fv785++SMoDf/x5uuEHrA4nI91j0lcko4GQAM+sNLHX3hdGx\nKuu38hYsCGPMamKXXdSdKVJfxbVcRl/gROAAM5tgZuPNrL+ZnW1mZ0XFdgHeNbOphJlRQ3Px3vff\nD/vuG8ZplNe5M/TqBQ8/nIt3EZFCZ2YPA68CO5nZbDM7rXwd5e7PAB+b2QfAHcDPovMy1m+Vvc9n\nn8FWNZzWpHFmIvVXLGPM3P1/QMNqyrwO7Jzb94Vbb4U77sh8/Pzz4fLL4YwzcvmuIlKI3P2ELMqc\nl+G1auu38mqbmN1+e/XlRKT4FNXK/+PHw+rVsM8+mY8fdBAsXBgmAYiI5MPnn6vFTESyV1SJ2cMP\nw/HHf39sWXkNG8KQIaG7U0QkH2rTYtahA3z6KXz1VTwxiUh6FU1itnYtDB8eErOqnHIKPPQQrFmT\nn7hEpH777DPYcsuandOwIXTsGDY0F5H6pWgSs//+N9yVVhz0X1HnzmGdoOefz09cIlK/rVxZu/XI\nOneGadNyH4+IpFvRJGaPPw7HHZdd2ZNPVnemiOTHlltWPryiKp07w/vv5z4eEUm3oknMysrC4P5s\nDB4Mzz4bNhYWEYlTTceXrbfzzmoxE6mPiiIxW7QIZs2CHj2yK9+yZUji/vWveOMSEaltYqauTJH6\nqSgSs//+F/baCxrVYFW2U05Rd6aIxK9ly9qdt/POYfD/unW5jUdE0q0oErNXXoH99qvZOQMGhErv\n44/jiUlEBGCLLWp3XvPm4dxPPsltPCKSbkWRmL38ctiGqSYaN4aBA2HkyHhiEhGB2idmoHFmIvVR\nwSdmX3wRWr722KPm5x5xhBIzEYnX5pvX/lyNMxOpfwo+Mfvf/0JS1qRJzc898ECYODEsACkiEoe6\nJmZaMkOkfin4xOzll2s+vmy9pk2hXz946qncxiQisl5dEjN1ZYrUPwWfmL3ySs3Hl5Wn7kwRiZO6\nMkWkJszdk46hSmbmlcX41VfQqlXoimzatHbXX7IE2rWD+fNhk03qEKiI5IyZ4e61WC8/XczMJ0xw\nunev3fnr1oXZmfPnw6ab5jY2EYlHXeuvgm4xe+016N699kkZhLvZXr1g9OjcxSUisl5dWswaNICd\ndtI4M5H6JJbEzMzamNkYM5tiZpPN7IIMZTY1s1FmNjEqc2pN36cu48vKU3emSP1jZveY2UIze6eK\nMreY2Yyonupe7vX+ZjbNzKab2SVVvU9dEjNQd6ZIfRNXi9ka4GJ37wr0Ac41s84VypwLTHH37sD+\nwA1mVoO1++s+vmy9QYPCBIA1a+p+LREpGPcBh1R20MwGAB3dfUfgbOD26PUGwK3RuV2B4zPUb99q\n3rxuQXbuDFOn1u0aIlI4YknM3H2Bu0+MHi8HpgKtKxYD1ldZzYFF7p51arRyJbz9dtiKqa623x46\ndAhbO4lI/eDuY4ElVRQZBAyLyo4DWphZK6AXMMPdZ7n7amB4VDYjq+NIuW7d4J1K2/REpNjEPsbM\nzNoD3YFxFQ7dCnQxs3nAJGBoTa77xhvQpUvd70bXO+IIeOKJ3FxLRIpCa6D8hkhzotcqez0WPXvC\n+PFxXV1E0qZGXYc1ZWbNgMeAoVHLWXmHABPc/QAz6wg8b2a7ZihHaWnpt49LSkooKSnJ2fiy9Y44\nAn78Y7jxxrrf4YpIzZSVlVFWVpZ0GNWpVc2wvs4CmDlzJu3bt/+2TsvmuzusWlXK/Plwxx3Zn6fv\n+q7v+fleUlKS0zostuUyovFiTwHPuvvNGY4/BfzR3f8XPX8RuMTd36pQLuNyGQcdBEOHwuGH5yZe\nd9hxR3jsMWo9tV1EciNfy2WYWTvgSXffNcOx24GX3P2R6Pk0YD+gA1Dq7v2j1y8F3N2vy3CNSpf7\nqYl+/eCii+DQQ+t8KRGJWZqXy7gXeC9TUhaZBRwEEI3b2An4KJsLf/MNjBsH++yTkzgJMWh2pkg9\nZFTeEjYKOBnAzHoDS919IfAm0MnM2plZE2BwVDY26s4UqT/iWi6jL3AicICZTTCz8dH08rPN7Kyo\n2NXAXtFU9eeBX7n74myu//bb0KkTbLZZbuNWYiZSf5jZw8CrwE5mNtvMTitfR7n7M8DHZvYBcAfw\n8+j1tcB5wGhgCjDc3WOdN6nETKT+KMiV/6+7DubNg5sra4urpbVrYbvt4PXXwyxNEUlGMa38n4s6\ndsaM0J05c2bdYxKReKW5KzM2L70E0VjanGrYMIxZ0+xMEUmTjh1h8WJYtCjpSEQkbgWXmK1cCf/7\nH+y/fzzXV3emiKRNgwahO/Ott6ovKyKFrSASs/VTUgHOPLOUzTYr/XZ8WWlp6feO1/X5a6+V8tpr\npd/emeb6+nqu53qe/XP5Tp8+8OqrSUchInEruDFmF18MLVrAlVfG955HHw0DB8Ipp8T3HiJSOY0x\n29BTT8FNN8ELL+TkciISk3o1xsw9dDMecUS87zNokLozRSRd9tor7HiiPX1FiltBJGaffhq+r98v\nbtcNloLMrcMOgzFjYMWKeN9HRCRbW2wB7dpp2QyRYlcQidn6iujBB+HYY+PfMqllyzDQVl0GIpIm\n/frB888nHYWIxKkgErPHH4fVq+GBB+CMM/LzntrUXETSpl8/GD066ShEJE4FMfh/iy2cIUPggw/C\nANh8mDkTevWC+fPD+mYikj8a/J/ZV1/B1lvD559D06Y5u6yI5FC9GPz/y1/ChAlw1135e8/27cMu\nAJqeLiJpsckm0LWr1jMTKWYFkZhddhm8/DJsu21+31fdmSKSNn37hkW2RaQ4FURilpTDD89f16mI\nSDb22kst+SLFTIlZFXr0gGXLwgbCIiJp0LdvSMxSPjxYRGpJiVkVGjSAH/9YrWYikh7bbQfNm8P0\n6UlHIiJxUGJWDSVmIpI2e+2lcWYixUqJWTUOPBDefBO++CLpSEREAk0AEClesSRmZtbGzMaY2RQz\nm2xmF2Qo80szm2Bm46Mya8xsszjiqYtNNoF99oHnnks6EhHJNTPrb2bTzGy6mV2S4fhmZjbCzCaZ\n2etm1qXcsYvM7F0ze8fMHjKzJvmKe/04MxEpPnG1mK0BLnb3rkAf4Fwz61y+gLtf7+493L0ncBlQ\n5u5LY4qnTtSdKVJ8zKwBcCtwCNAVOL5iPQVcDkxw992AU4BbonO3A84Herr7rkAjYHC+Yv/hD2He\nPFi0KF/vKCL5Ekti5u4L3H1i9Hg5MBVoXcUpxwP/jCOWXDjsMHj2WVi7NulIRCSHegEz3H2Wu68G\nhgODKpTpAowBcPf3gfZmtlV0rCGwiZk1AjYG5uUn7LAbyZ57qtVMpBjFPsbMzNoD3YFxlRxvCvQH\nHo87ltpq2xbatIGxY5OORERyqDXwSbnnc9jwBnIScBSAmfUC2gJt3H0ecAMwG5gLLHX3F2KPuJx9\n9oGysny+o4jkQ6M4L25mzYDHgKFRy1kmhwNjq+rGLC0t/fZxSUkJJSUlOYwyO0cfHTZT32+/vL+1\nSNErKyujLJ1ZxrXAzWY2HpgMTADWRuNhBwHtgC+Ax8zsBHd/uOIF4qq/BgyAIUPghhtycjkRqaVc\n11+xbWIeNe8/BTzr7jdXUW4E8Ki7D6/keE43Aa6tadPgoINg9uywvpmIxCcfm5ibWW+g1N37R88v\nBdzdr6vinI+AXQmt/Ie4+5nR60OAPd39vArlY6u/1q37bj/fHXaI5S1EpBbSvIn5vcB71SRlLYD9\ngNTvSNm5M7RoAeMydsiKSAF6E+hkZu2iGZWDgVHlC5hZCzNrHD0+E3glav2fDfQ2s43MzIADCWNp\n82b9AtgjRuTzXUUkbnEtl9EXOBE4oNySGP3N7GwzO6tc0SOA59z96zjiyLVjjgndmSJS+Nx9LXAe\nMBqYAgx396kV6qldgHfNbCph9ubQ6Nw3CMM0JhDGoRlwZ55/BE48ER56KN/vKiJxiq0rM1fS0pUJ\n8M47MHAgfPwxWKydLCL1Wz66MvMh7vpr3Tpo1y6ss9ilS/XlRSR+ae7KLDrdukGTJjB+fNKRiIiE\n7syBA7XOokgxUWJWA2ZhduZjjyUdiYhIcNhhSsxEiom6Mmvo7bdh8GCYPl3dmSJxUVdm9r7+Glq1\nglmzYPPNY30rEcmCujLzrGdPWLMGJk9OOhIREWjaNKyvqP18RYqDErMaWt+dqdmZIpIW2s9XpHgo\nMasFjTMTkTQZMCC0mKVo1IeI1JISs1rYc0/44guYmtflJEVEMmvbFpo3DzuUiEhhU2JWCw0awFFH\nqTtTRNJj333hlVeSjkJE6kqJWS1pFwARSZN994WXX046ChGpKy2XUUtr10Lr1jB2LHTqlHQ0IsVF\ny2XU3OzZsPvusGABNGyYl7cUkQy0XEZCGjaEI49Uq5mIpEPbtrDttvDGG0lHIiJ1ocSsDtSdKSJp\ncthh8PTTSUchInWhxKwO9tsvbGg+a1bSkYiIKDETKQZKzOqgUSMYNAhGjEg6EhER6N07jDWbMyfp\nSESktpSY1ZEWmxWRtGjUCPr3h2eeSToSEaktJWZ1dOCBYaHZuXOTjkRERN2ZIoVOiVkdNWkS9qn7\n97+TjkREJLSYlZXBypVJRyIitRFLYmZmbcxsjJlNMbPJZnZBJeVKzGyCmb1rZi/FEUs+HHOMujNF\nCpGZ9TezaWY23cwuyXB8MzMbYWaTzOx1M+tS7lgLM/uXmU2N6ro98xt9ZltsAd26heRMRApPLAvM\nmtk2wDbuPtHMmgFvA4PcfVq5Mi2AV4GD3X2umW3p7p9nuFYqF5gtb+XKsH7Qe++F7yJSN/lYYNbM\nGgDTgQOBecCbwOAK9dSfgC/d/Soz2xn4m7sfFB37B/Cyu99nZo2Ajd19WYX3SKT+uvbaMLzir3/N\n+1uL1HupXGDW3Re4+8To8XJgKtC6QrETgMfdfW5UboOkrFBstBEcfrjWNBMpML2AGe4+y91XA8OB\nQRXKdAHGALj7+0B7M9vKzDYF9nH3+6JjayomZUlaP84s5fe0IpJB7GPMzKw90B0YV+HQTsAWZvaS\nmb1pZkPijiVOxx4Ljz6adBQiUgOtgU/KPZ/DhjeQk4CjAMysF9AWaAN0AD43s/vMbLyZ3WlmTfMQ\nc1Z++ENYsyZMTBKRwtIozotH3ZiPAUOjlrOK790TOADYBHjNzF5z9w8qXqe0tPTbxyUlJZSUlMQV\ncq316wcnnxy6D1pXrNpFpEplZWWUpXNQ1LXAzWY2HpgMTADWAo0J9de57v6Wmd0EXApcWfECSdRf\nZt+1mnXpUn15Eam9XNdfsW1iHo25eAp41t1vznD8EmAjd/9d9PzuqOzjFcqlfozZeqeeCj17wgUZ\npzqISLbyNMasN1Dq7v2j55cC7u7XVXHOx0A3optJd98hen1v4BJ3P7xC+cTqr6efhj//WZMARPIt\nlWPMIvcC72VKyiJPAHubWUMz2xjYkzAWrWCpO1OkoLwJdDKzdmbWBBgMjCpfIJp52Th6fCZhsP9y\nd18IfGJmO0VFDwTey2Ps1TrgAJg0CRYsSDoSEamJuGZl9gVeITT9e/R1OdCOcEd6Z1Tul8BphK6B\nu9x9gzlEhdRi9s03YVbmxImw/fZJRyNSuPLRYha9T3/gZsJN6j3ufq2ZnU1UT0WtavcD64ApwBnu\n/kV07m7A3YRuzY+A09YfK3f9ROuv004L481+8YvEQhCpd+paf8XWlZkrSVdsNXXOOSE5u3KDkSYi\nkq18JWZxS7r+KisLQysmTQrjzkQkfkrMUmby5LDy9syZ0Lhx0tGIFCYlZrmxbh3ssEPYmaRHj8TC\nEKlX0jzGrF7q1g06doSRI5OORETquwYNwmzxYcOSjkREsqUWsxg8+ijcdptmQ4nUllrMcueDD6Bv\nX5gzR634IvmgFrMUOvJImD4d3n036UhEpL7r1Al23BH+85+kIxGRbCgxi0HjxnDWWaHVTEQkaSed\nBA8/nHQUIpINdWXGZN486No1TAJo0SLpaEQKi7oyc+uzz0Kr2bx5sPHGSUcjUtzUlZlS220HBx+s\nQbcikryttoJeveCZZ5KORESqo8QsRhdeCDfcEBaeFRFJ0nHHwSOPJB2FiFRHXZkxGzAgrGs2dGjS\nkYgUDnVl5t7ixdChA8ydC82aJR2NSPFSV2bK3XgjXHUVzJiRdCQiUp9tsUVYNuOpp5KORESqosQs\nZp07wxVXwJAhsGZN0tGISH2m7kyR9FNXZh6sWweHHRbWE/rrBtu0i0hF6sqMx9Kl0K4dfPIJbLpp\n0tGIFCd1ZRaABg1g+HAYM0aJmYgkZ7PNYL/9YNSopCMRkcooMcuTFi3g6afhj38M30VEknDcceFG\nUUTSSV2ZefbaazBoEIwbF2ZIiciG1JUZn+XLoX17eOut8F1EcktdmQWmTx+49FIYPFjrm4lI/jVr\nBmecEdZYFJH0iSUxM7M2ZjbGzKaY2WQzuyBDmf3MbKmZjY++fhNHLGl00UVhJe5f/zrpSETqNzPr\nb2bTzGy6mV2S4fhmZjbCzCaZ2etm1qXC8QZR/VVQo7YuvhgefTS0molIusTVYrYGuNjduwJ9gHPN\nrHOGcq+4e8/o6+qYYkkdM/jHP8I4D22RIpIMM2sA3AocAnQFjs9QT10OTHD33YBTgFsqHB8KvBd3\nrLnWqhVce21I0FLW0ypS78WSmLn7AnefGD1eDkwFWmcoWvBjSGpryy3h4Yfh9NPDStwikne9gBnu\nPsvdVwPDgUEVynQBxgC4+/tAezPbCkLPAHAocHf+Qs6dIUNg4cIwW1xE0iP2MWZm1h7oDozLcLiP\nmU00s6crdhHUB/vsA+edByeeCGvXJh2NSL3TGvik3PM5bHgDOQk4CsDMegFtgTbRsRuB/wMKss2p\nUSP47W+htFStZiJp0ijOi5tZM+AxYGjUclbe20Bbd19hZgOAkcBOma5TWlr67eOSkhJKSkpiiTcJ\nl10GL70Utm0q92OK1CtlZWWUlZUlHUYm1wI3m9l4YDIwAVhrZocBC919opmVUEXrf5rrr+OPD3XP\niy/CQQclHY1IYcp1/RXbchlm1gh4CnjW3W/OovzHwO7uvrjC66mbbp5r8+dDt24wdmzYwkmkvsvH\nchlm1hsodff+0fNLAXf366o45yNgV8LYs5MI42mbAs2BEe5+coXyqa+/HnoIbrst1D9WbweXiORO\nmpfLuBd4r7KkzMxalXvci5AkLs5Utthtuy1cfjkMHaouBZE8ehPoZGbtzKwJMBj43uxKM2thZo2j\nx2cSJiwtd/fL3b2tu+8QnTemYlJWKAYPhpUr4Q9/SDoSEYH4lsvoC5wIHGBmE6Lp5P3N7GwzOysq\ndoyZvWtmE4CbgOPiiKVQnHcezJ4NTz6ZdCQi9YO7rwXOA0YDU4Dh7j61Qj21C/CumU0lzN4cmky0\n8WnYMNQ7Dz0ERx8N77+fdEQi9ZtW/k+R0aPhZz+DKVNgo42SjkYkOVr5P/9WrICbb4abboLHH4e9\n9046IpHCVNf6S4lZyhx5JOyxR+jaFKmvlJgl57nn4OSToV8/aN4cBg6EAQOSjkqkcCgxKzIffRQS\ns0mToE2b6suLFCMlZsn69FMYMQK+/jq0oF1xRdjGSUSqp8SsCP32t/Dhh2EBWpH6SIlZekyfHro1\nn30Wdt896WhE0k+JWRH66ivYZRd48EHYd9+koxHJPyVm6TJsGPztb/D661pSQ6Q6aV4uQ2ppk03g\n+uvh/PNhzZqkoxGR+u6kk2DVKs0aF8kHJWYp9ZOfwOabw113JR2JiNR3DRqECUnXX590JCLFT12Z\nKfbOO2GblKlToWXLpKMRyR91ZabPmjXQsSP861/Qq1fS0Yikl8aYFbnzzgu7Afztb0lHIpI/SszS\n6fbb4d//DktqiEhmSsyK3OLFYSLA6NGw225JRyOSH0rM0umbb0J9dM89kKK92EVSRYP/i9wWW8Dv\nfw8XXKB9NEUkWU2aQGkp/PrXqo9E4qLErAD89KewbBk8+mjSkYhIfXfCCbB0aVjXTERyT12ZBWLs\n2FAhTp0altMQKWbqyky3ESPgmmvgrbe0rplIRerKrCf23hv22Qf++MekIxGR+u6II8J2TS++mHQk\nIsVHLWYFZO5c6NYNpkyBbbdNOhqR+KjFLP3uuw/++c8wMUlEvqNZmfXMhRdCw4Zwww1JRyISHyVm\n6bdqFexXLknNAAAgAElEQVSwAzz1FPTokXQ0IumhxKyemTsXdt0Vpk2DrbZKOhqReCgxKwx//jNM\nmAAPP5x0JCLpkcoxZmbWxszGmNkUM5tsZhdUUXYPM1ttZkfFEUuxad0ajjsO/vKXpCMRKXxm1t/M\nppnZdDO7JMPxzcxshJlNMrPXzaxL9HrWdVwxO/vssNjsxx8nHYlI8YilxczMtgG2cfeJZtYMeBsY\n5O7TKpRrADwPfA3c6+4jMlyrqO84a2PWLOjZE2bMCOuciRSbfLSYRfXPdOBAYB7wJjC4fD1lZn8C\nvnT3q8xsZ+Bv7n5QDeq4oq+/Lr4YNtoI/vCHpCMRSYdUtpi5+wJ3nxg9Xg5MBVpnKHo+8BjwaRxx\nFKt27cKsKG3TJFInvYAZ7j7L3VcDw4FBFcp0AcYAuPv7QHsz26oGdVzRO+MM+Mc/wl6aIlJ3sS+X\nYWbtge7AuAqvbwcc4e5/Bwp+LEm+XXgh/P3vYYsUEamV1sAn5Z7PYcPkahJwFICZ9QLaAm3KF6is\njqsvunaFHXeEhx5KOhKR4hBrYhY18T8GDI3uKsu7CSg/pkPJWQ106wadO8MjjyQdiUhRuxbY3MzG\nA+cCE4C16w9WU8fVG9dcA1dcoRtFkVxoFNeFzawRocJ6wN2fyFDkR8BwMzNgS2CAma1291EVC5aW\nln77uKSkhBLtngvAb34D55wDxx8PjWL7lxSJX1lZGWVlZfl+27mEFrD12kSvfcvdvwROX//czD4G\nPooeV1fHAfWj/tp779Bq9s9/wimnJB2NSH7luv6KbbkMMxsGfO7uF2dR9j7gSQ3+rxl32G8/OPNM\nGDIk6WhEcidPg/8bAu8TBv/PB94Ajnf3qeXKtABWuPtqMzsT6Ovup0bHqq3j6lP9NXo0DB0K77wD\njRsnHY1IclK5jpmZ9QVeASYDHn1dDrQD3N3vrFD+XuApJWY199JLcNZZYQ9NtZplb/58eOYZ+Oyz\nMMP1gAP0+aVJvtYxM7P+wM2EYR33uPu1ZnY2UT1lZr2B+4F1wBTgDHf/orI6zt3/U+H69ab+coeD\nD4ZDD4WLLko6GpHkpDIxy6X6VLHVhjuUlISZUSefnHQ06fbVV2FBzJEjw5IjAwaEdeFeeSU8P/bY\n8NWrFzRpknS09ZsWmC1M774L/fqFdc022ijpaESSocRMKCsL3Zn1udXs669hxYrwx2DjjUPCunBh\n+EPx7rthf9Ennwx/NM49F370o+93t3zwQRgfM2IEfPop3HQT/OQnyf089Z0Ss8I1YED4v3P66dWX\nleotXgyvvQarV8Phh4ct+STdlJgJAPvvD6eeWvwDb91hwQKYOTN8jR8funPfey8kZatWQYMGoXWs\nZUv44Q/DV9eu4TPaeefq32PcuLC7wmmnhZlmVvDpQeFRYla4XnghLOczebL+79TG8uUwZgwMHx4W\nEX//fdhzz/B6kyZhLN8PfpB0lFIVJWYCwMsvh+7MadOKq9Vs3TqYOBHuuQdefDF0OTZvDu3bQ4cO\n3yVcvXqFyuqbb0LLWfPmIUGr7R+GBQvCIr477BDeu2nTnP5YUg0lZoXLHbp3h+uug/79k44mWZ9+\nGsaxrlgRWunNQuv9zJmhzl60CDbfPNwwDhoE//43/PKXod45/3zYaSfo3TskZO5w9NHhuvfcE86T\ndFJiJt864AA48cSQoBWyxYvDXeGzz4Z9+Fq0gGOOgcGDQzLWrFl+4vj669Ad8+GHcOed4Y+N5IcS\ns8I2bBg88AA8/3zSkeTHwoXw6KOh1X7ixDCOddmy0O247bahG3LVqvDdLLTi9+kD228PS5aEm843\n34TddoNbbw03nJmsWBG2wBo3LgxhadEirz+mZEmJmXzrrbfgsMNCxbDttklHUzNffw2PPRZ2M3j3\n3bAMyIAB4Y57hx2Si8s9JGVXXAE//nH43q5dcvHUF0rMCts334SbqKeegh49ko4mPsuWwYMPwu9/\nH2akmoXWr2OPha22Ci3tTZqElv+pU0Mr1+ab160F3j3MxF+3LrScSfooMZPvufrqcLc2ZgxsumnS\n0WS2YkWI8e23w53mlClhLMWee8IvfhFa/tI2o2vJErj+erj9dthnn7Cg5llnpfczLnRKzArfX/4C\nr74abriKwZIl4eb3iy/CzisTJsAFF4SbyIsvDi1g+fLll6FV7f77w1AOSRclZvI97vDzn4e7sxEj\nYIstko4oWLs2JIsPPgijRoVKrKQk3FV27QpduuSvi7IuliwJ6589+2yYdHDNNXDCCVpeI9eUmBW+\nFStCq9krr2Q36SatZsyAo44K48J69gx16ttvwzbbwN/+BnvskUxcTz4ZEsLx48OYWkkPJWaygbVr\nwwDSRx4JFceRR+bnfVevDusXjRgR7pRnzgxLUjRrFpaj2HZbOOmksIVUq1b5iSlOr74Kv/41LF0a\numxaV9z+WmpNiVlx+M1vQgvTX/+adCS18/bbYXzrL34Rtr9L28Sqs8+GOXPCUj9qvU8PJWZSqf/+\nNwxe33330K2w3Xa5vf6aNeFueORImDQJ3ngjJF8lJWG9nfbtQ5K4fHm4u+zcObfvnwbuofv4kUfC\nLKuWLZOOqDgoMSsOc+fCrruGca/bb590NOH/q1noCpw7N8x6bNAAPvkE5s0LrfrvvAN9+4YZ7o8+\nCrfcEiYepdGqVaE7dfToUAf16pV0RAJKzKQaK1ZAaSncdVcYG3XccaHbsHv32i8lsXw5PPRQGHPV\nvHlYTLJHj3D9TTbJafgFwT20nI0cGb522inpiAqfErPiceWVYS2u4cOTi2HGjLC22gsvhJvEJUvC\nIPzFi8PMxpUrQ+LYp89348c6dAjDFAphss/jj4eFs8eOhU6dko5GlJhJVpYvD4NwR40Kd4TNm4cZ\nnC1bhnETe+5Z/YD7ZcvCVO6bb4a99grr7BxwQH7iLwR33BG6bm66KSxbIrWnxKx4fPVVaD1/9VXY\nccf8v/8bb4QZ1ZdeGrr+Zs4MSdimm4ZhCMuWfTeDspDdeSfccENYSmOzzZKOpn5TYiY1tm5dWF/o\n9dfh889DxTVlSrhbPO64MFZqzZrQtL9yJcyeDR99FNbNOewwuPzy0OomG5o0KUyV32efkMDWxxbE\nXFBiVlx++9tQ1/z97/l93wceCAPk77svJGfF7uyzQ0/I7bcnHUn9psRMcmLZspCsDR8eBus2bhzG\npG20Ubi7bNcO9t238NZHS8KXX4bWxKefDltk/exn0LFj0lHV3frxOfmgxKy4LFwIu+wSxm1tvXX8\n7zdpUhhqMW5cGCdWXxaHXro0dMX++c/pHRdXHygxE0mpjz4Kd6733RfG4A0ZEro4GzRIOrLsLV0a\ntol58MHQYrr55mGW71VXhbE6cVFiVnzOOgvatAmLNMfl44/hssvCIP6LLw7vmZYlg/LlnXfg0EPD\nWLN+/cJN4f77F8dM+EJR1/qrgP5EiBSWHXaAP/0pdAWfeSbcdlvoLn7zzaQjq9pXX4WxKnvuGVpL\nR40Ka+N99VVoidh887ClzJ//HLq8RbJx7rlhElJcvzMzZ4YE5Ic/DIP3L720/iVlEGbBfvBBWDJp\nwYIwUWu33UJCPGtW0tFJNtRiJpIn69aFMS+XXRbG6v3lL+laGNI9JGEXXhgWzTznnLBswA9+sGHZ\nGTNCF+2aNWENpVx3cavFrDj17QvnnRfWMqyJOXNg/vwwm3K33cJkpgceCElY27YhKfu//wvJyPnn\nxxJ6QZsyJUwOePjh0MV7yilJR5Q7kyaFG+Af/CBs4XfMMcn3SqgrU6TAfPEFXHQRvPZa2GPvqKPC\nZsdJmjo1dP3MmhUWAz3wwOrPWbs27Hxw++1hIeOBAzP/HIsWhfWWtt02+zFqSsyK08svhy79qVOr\nnhjz8sthz9y33gqtX3PnhnGum2wS1kQzg5NPDsMFFi4Ms8t//vPwOyiVmzYtzKS/++7Q3VmIVq0K\nSfijj4bZp4sWhQlpTZvCsGHhZ7zyyrC+W77GxFaUysTMzNoAw4BWwDrgLne/pUKZgcBV0fHVwEXu\n/r8M11LFJkXHPewWcM014Y9L//7hD1bfvrDxxvmLY9Ik+MMfwvZSl1wSKrPGjWt2jRdfDBXjvHlw\n9NFhVu+rr4bEc+XK8LM2aRKWJzjyyDDuZZttQhK3alU41rXr9+9y85WYmVl/4CbCsI573P26Csc3\nA+4FOgJfA6e7+3vZnBuVUf1VwQknhG7+q6/e8NjIkWH84qefhv8Tu+4axmf26fNd0r90aUjQavp7\nKkFZWWgxmzatcJYImTkzJFv//nfoeTj4YLjxxtCCutNO368zZ8wIa2tuuWVo1T/qqPwnaGlNzLYB\ntnH3iWbWDHgbGOTu08qV2djdV0SPuwGPuvsuGa6lik2KlntYdfzf/w7dDNOmwU9/Gv549ewZX4Wy\ndm2o6O6+O3T/nHNO3fcqfffdsH/fwoXhj+mBB4YKc7PNws8xaVJYS++118If3nXrQvfD8uVhIeSz\nzw5j8bbZJj+JmZk1AKYDBwLzgDeBwRXqqT8BX7r7VWa2M/A3dz8om3Oj81V/VTB3bvj9uPXW8Edz\n/TZHTzwR/pDeey/svXdh7J1bqE48MbTcDx+e/s95zhzo3TvUi+ecE+qMzTev+pzVq8PYuhtvDF3f\n992X316JVCZmG7yJ2Ujgr+7+YiXH+wB3u3vXDMdUsUm9MWdO2AJm5Ej4+uuQrPziF7m9sx09OuwG\n0bRpGB+Wj+ULqjNpUugO/de/Qny9euUlMesNXOnuA6LnlwJevuXLzJ4C/ri+Nd/MPgD6EFrQqjw3\nel31VwZvvBH+0C5fHrqlVq4MLbdPP61thfJh9eowY3X2bPjPf9LZ+ugOzz4bkvULLwzDP2pq5UoY\nMCD0RGRqoY1L6mdlmll7oDswLsOxI8xsKvAkcHrcsYikXZs2YSDr+++HSmn8+HC3OG1a9edWZ+3a\nMA5n/dfo0elIyiDc1d55Z+jW7dEjb2/bGvik3PM50WvlTQKOAjCzXkBboE2W50olevUKyzrccUdY\na2z8+LCOopKy/GjcOLSWN2oE123QAZ8O11wTErJbb61dUgZhHc5//jP8nk2dmtv44tQozotH3ZiP\nAUPdfXnF4+4+EhhpZnsDVwP9Ml2ntLT028clJSWUlJTEEa5IapiFGWePPx4q0L59YdCgcPc3cGDm\nmZJVWbAATjopjOOaMCFds0EBysrKKCsrSzqMTK4Fbjaz8cBkYAKwtiYXUP1VuX79wpfkX8OGoW7p\n0wf++98w7KBv3zDJYt26sCjvzjsnE9uTT4Zk6o036j7je5ttws4T558fkv/Khoe4w4gRoWyTJmF5\no732yu49cl1/xdaVaWaNgKeAZ9395izKfwjs4e6LK7yurgCp9xYsgEceCctZvPtuWG6jX78ww6qq\nhSO//jqMs7jlltAtesUVyc8AzUaexpj1BkrdvX/0PGN3ZIVzPga6AT/M5lzVX5J2ixeHBXndQ+Ky\naFFIXv73PygpCXXHVlvlL54PPggJ0ahRobcgF9asCUsA/fSnYT29it56KyzjsmoVXHttWLPxrLPC\nWo6nnx4mNdVEaseYmdkw4HN3v7iS4x3d/cPocU/gCXffPkM5VWwi5Xz0ETzzDLzwQphh1bp1SNRO\nPjm0srmHZS/KysK4ih49QkLWrVvSkWcvT4lZQ+B9wgD++cAbwPHuPrVcmRbACndfbWZnAn3d/dRs\nzo3OV/0lBWnFijBB6MEHwx6nRxyRn/fs0yfcRP7857m99ocfhhbBBx74rpV23bqwEPGwYaFLd8iQ\n72aHL10ahpP85jdhbbSSkrCzxCuvhBmf++wT9kUu3wK3alWYKbrttilMzMysL/AKoenfo6/LgXaE\nu8o7zexXwMnAN4Rp6L9099cyXEsVm0gl1qwJXZMjRoQK1D1UNuvWhYrj9NND92ehyfNyGTfz3ZIX\n15rZ2XxXT/UG7ics6zMFOMPdv6js3AzXV/0lBW3s2HDTd955Ya3DOJ1zTmitGjYsnhnpr7wSEsxD\nDoH99gtduDNnhta5li0zn7NgQZi5Pn8+tG8fkrvly0OMLVqEpHXHHcM4yV/9Ksymv/76FCZmuaSK\nTSQ77uGOrmHDsBp6Uosr5oIWmBVJj9mz4aCDQiLSo0do0VqzJixb0bZtGGRfV2PHwnHHwXvvhfeJ\ny2efhVnvY8eG3oZLLqnd+61ZExbjvvrqMCatefOwo8UVV0CjRkrMRKTIKDETSZfVq0My88YbYWD8\nRhuF5SiWLAkLTJ90UphVXhuffQa77x5mYBba7g3Ll4d1GTt0+O5mOLVjzHJFFZtI/aPETKQwTJ8e\nWo2efjqM1/rlL2vWWv/NN/DjH4cuwGs3GAxQmJSYiUjRUWImUlg++SQkWHPmVJ+gLV8e1q8bOzYs\nCdSpU9j7slGsC3jljxIzESk6SsxECs+6dWH24wknhBniN94YxmLddlvYU7dDB5gyJYwj69EjbL21\n//5h78tCHhNbkRIzESk6SsxECteXX4bV+v/1rzAZ6Zhj4Mgjw1I/u+4a1hTLxYSBtFJiJiJFR4mZ\nSOFbtChsBZeWrd/yRYmZiBQdJWYiUqhSv4m5iIiIiGRHiZmIiIhISigxExEREUkJJWYiIiIiKaHE\nTERERCQllJiJiIiIpIQSMxEREZGUUGImIiIikhJKzERERERSIpbEzMzamNkYM5tiZpPN7IIMZU4w\ns0nR11gz6xZHLPlSVlaWdAhZKZQ4oXBiVZyFy8z6m9k0M5tuZpdkOL6pmY0ys4lRXXZquWMXmdm7\nZvaOmT1kZk3yGnyOFcrvh+LMrUKJEwor1rqIq8VsDXCxu3cF+gDnmlnnCmU+AvZ1992Aq4G7Yool\nLwrlF6ZQ4oTCiVVxFiYzawDcChwCdAWOz1BPnQtMcffuwP7ADWbWyMy2A84Herr7rkAjYHD+os+9\nQvn9UJy5VShxQmHFWhexJGbuvsDdJ0aPlwNTgdYVyrzu7l9ET1+veFxEJGa9gBnuPsvdVwPDgUEV\nyjjQPHrcHFjk7mui5w2BTcysEbAxMC8PMYtIkYt9jJmZtQe6A+OqKPZT4Nm4YxERKac18Em553PY\n8AbxVqCLmc0DJgFDAdx9HnADMBuYCyx19xdij1hEip65e3wXN2sGlAFXufsTlZTZn1D57e3uSzIc\njy9AEUktd7c4r29mRwOHuPtZ0fOTgF7ufkGFMnu5+y/MrCPwPLC+6/Jx4CfAF8BjwL/c/eEK76H6\nS6Qeqkv91SiXgZQXNe8/BjxQRVK2K3An0D9TUgbxV84iUm/NBdqWe94meq2804A/Arj7h2b2MdAZ\naA985O6LAcxsBLAX8L3ETPWXiNRUnF2Z9wLvufvNmQ6aWVvCHecQd/8wxjhERDJ5E+hkZu2iGZWD\ngVEVyswCDgIws1bAToSJS7OB3ma2kZkZcCBhLK2ISJ3E0pVpZn2BV4DJhMGzDlwOtAPc3e80s7uA\nowgVnwGr3b1XzoMREamEmfUHbibcpN7j7tea2dl8V09tC/wD2DY65Y/u/s/o3CsJydxqYALw02gS\ngYhIrcU6xkxEREREspfalf+rW/gxaWY2M1ocd4KZvRG9trmZjTaz983sOTNrkUBc95jZQjN7p9xr\nlcZlZpeZ2Qwzm2pmBycc55VmNsfMxkdf/VMQZ8bFklP6mVaM9fzo9VR9rmb2AzMbF/3fmRy1PKXy\nM62LNNdhqr9iizVV/9ei9y2IOkz1VznunrovQsL4AaHrszEwEeicdFwVYvwI2LzCa9cBv4oeXwJc\nm0BcexOWJ3mnuriALoQumEaEwcwfELWiJhTnlYSFiSuW3SXBOLcBukePmwHvEwZ/p/EzrSzWNH6u\nG0ffGxLWMeyVxs+0Dj9fqusw1V+xxZrG/2sFUYep/vruK60tZtks/Jg0Y8MWx0HA/dHj+4Ej8hoR\n4O5jgYozXCuLayAw3N3XuPtMYAbhs08qTgifa0WDSC7OTIsltyGdn2lVCzun7XNdET38AaHCclL4\nmdZB2usw1V91pDosL3HWy/orrYlZNgs/Js2B583sTTP7afRaK3dfCOGXDNg6sei+b+tK4qr4Oc8l\n+c/5PAv7Et5drik4FXHad4slv07l/9Zpi3X9ws6p+lzNrIGZTQAWAM+7+5uk/DOtobTXYaq/4pOq\n/2vlFUodVt/rr7QmZoWgr7v3BA4l7AW6D6GyKy+tMyvSGtdtwA4e9iVcQFhZPRUsLJb8GDA0uptL\n7b91hlhT97m6+zp370G4c+9lZl1J8WdahFR/xSN1/9fWK5Q6TPVXehOzbBZ+TJS7z4++fwaMJDRN\nLrSw1hFmtg3waXIRfk9lcc0Fti9XLtHP2d0/86hTnrCp/frm3kTjtMyLJafyM80Ua1o/1yi2ZYTd\nQfqT0s+0llJdh6n+ikda/68VSh2m+itIa2KWzcKPiTGzjaOsHjPbBDiYsGbbKODUqNgpQMYdD/LA\n+H6ffGVxjQIGm1kTM+sAdALeyFeQVIgz+mVe7yjg3ehx0nFmWiw5rZ/pBrGm7XM1sy3Xd0eYWVOg\nH2E8SVo/09pIbR2m+iunVIfFHGfaPtO81F+5mqWQ6y9CBvo+YaDcpUnHUyG2DoRZVhMIFdql0etb\nAC9EcY8GNksgtoeBecAqwurkpwGbVxYXcBlhlshU4OCE4xwGvBN9tiMJffZJx9kXWFvu33t89LtZ\n6b91CmNN1ecKdItimxjF9evo9dR9pnX8OVNZh6n+ijXWVP1fi963IOow1V/ffWmBWREREZGUSGtX\npoiIiEi9o8RMREREJCWUmImIiIikhBIzERERkZRQYiYiIiKSEkrMRERERFJCiZmIiIhISigxExER\nEUkJJWYiIiIiKaHETERERCQllJiJiIiIpIQSMxEREZGUUGImIiIikhJKzERERERSQomZiIiISEo0\nSjoAkfXMbE/gCmA3oJ27rzWzVsBNQDPgD+7+WpIxiohUx8x+DOwJzAW+BlYCewMXu/vqJGOT9FNi\nJqnh7uPM7L9AB+Bo4FF3X2hmTwEj3P3rZCMUEamcmRlwJ/C+u/+23OtHAJ2UlEk21JUpqWFmDQh3\nlzcBQ8sdaqakTEQKQClg7n59hddfA0bnPxwpRObuSccgAoCZ/QhoDEwAZgOHuPsEMzvT3e9KNjoR\nkcqZ2RbAHGAnd5+T4XhT3WBKNtRiJmmyOzDO3VcCfwcuMLOdgfeTDUtEpFr7ALMyJWUASsokW0rM\nJE3M3ddFj28DjgQOJ3QDiIik2TpgcaYDZjYkz7FIAVNiJqlgZo0IM5cAcPeFwAhgfw2YFZEC8CLQ\n0szarn/BgrOAZ5ILSwqNZmVK4sxsD+Ay4CszG+3u86JDfyG0mImIpJq7rzCzw4HfmtkUYAngwOPu\nvijZ6KSQZDX438z6E2bKNQDucffrKhwfCFxFaMpdDVzk7v+r6lwz+xPhj+4q4EPgNHdflqOfS0Sk\nWlnUbfsBTwAfRS+NcPero2MXAWcQ6r3JhDrsm3zFLiLFqdrELFrCYDpwIDAPeBMY7O7TypXZ2N1X\nRI+7Edaf2qWqc83sIGCMu68zs2sBd/fLcv8jiohsKMu6bT/gF+4+sMK52wFjgc7u/o2ZPQI87e7D\n8vYDiEhRymaMWS9ghrvPisb6DAcGlS+wPimLNCPcQVZ5rru/UG6g9+tAm9r/GCIiNVZt3RaxSs5v\nCGwSjY/cmJDciYjUSTaJWWvgk3LP50SvfY+ZHWFmU4EngdNrcm5U/tlsAhYRyZFs66c+ZjbRzJ42\nsy4A0TjIGwjr7c0Flrr7C3EHLCLFL2eD/919JDDSzPYGrgb6ZXOemf0aWO3uD1dyXCvgitRD7l5Z\nS1U+vQ20jQZ2DwBGAjuZ2WaE1rV2wBfAY2Z2QsV6TPWXSP1Ul/ormxazuUDbcs/bRK9VFsxYYIdo\nFeQqzzWzU4FDgROqCsDdU/915ZVXJh5DMcVZSLEqztx/5Um1dZu7L/doqIa7Pws0juq2g4CP3H2x\nu68lLO2yV6Y3SfqzLLbfD8VZP+MspFjrKpvE7E2gk5m1M7MmwGBgVPkCZtax3OOeQBN3X1zVudFs\nqP8DBrr7qjr/JCIiNZNN3daq3ONehAlTiwldmL3NbKNo4+oDgan5C11EilW1XZnuvtbMziNswLp+\nSvlUMzs7HPY7gaPN7GTgG8Im1MdWdW506b8CTYDnQ73G6+7+89z+eCIimWVZtx1jZj8jLAP0NXBc\ndO4bZvYYYV/X1dH3O5P4OUSkuGQ1xszd/wPsXOG1O8o9/hPwp2zPjV7fsUaRplxJSUnSIWSlUOKE\nwolVcRauLOq2vwF/q+Tc3wG/izXAPCqU3w/FmVuFEicUVqx1kdUCs0kyM097jCKSW2aGp2Pwf52o\n/hKpf+paf2mvTBEREZGUUGImIiIikhJKzERERERSQomZiIiISEooMRMRERFJCSVmIiIiIimhxExE\nREQkJZSYiYiIiKSEEjMRERGRlCjYxOyaa2DuXPjmm6QjEREREcmNrPbKTBt3uP56WLkShg2DWbOS\njkhERESk7gqyxWz2bFi6FG65JTxesiTpiEREau/TT2H48HDTKSL1W0EmZhMnwrbbwrJl4fmHHyYb\nj4hIbbjDX/8Ke+4JF10El1+u5EykvivYxOzEE6FFi1ChffBB0hGJiNTMunVw1VVw991w770weTI8\n9xxcd13SkYlIkgoyMZs2Dbp3D92YBxygxExECs+FF8LTT8OTT8L++8OWW8ITT8ANN8DUqUlHJyJJ\nKcjEbMEC2GYb2HRT6NQJZsxIOiIRkewtWQIPPACjRkHbtt+9vv32oUvzhhuSi01EklWQidnChdCq\nVXi88866uxSRwnLHHXDood/VY+WdeSY8/jgsXpz/uEQkeeYpH2lqZl4xxpYtQ3fmVlvBV1/B1luH\nO9AmTRIKUkRyysxwd0s6jrrKVH999hnssgu8+irstFPm8045Bbp1g1/+Mg9BikhO1bX+KrgWs9Wr\nw/Lff5cAACAASURBVGzMli3D8002gY4d4Z13ko1LRCQbv/sdnHBC5UkZwHnnwW23wdq1+YtLRNIh\nq8TMzPqb2TQzm25ml2Q4PtDMJpnZBDN7w8z6VneumW1uZqPN7H0ze87MWmQTy6efhkGyDcpF3qsX\nvPFGNmeLiCRn9uywXtkVV1Rdbo89Qo/As8/mJy4RSY9qEzMzawDcChwCdAWON7POFYq94O67uXsP\n4Azg7izOvTQ6b2dgDHBZNgGXH1+2Xo8eMGlSNmeLiCTnwQfhJz8JN5fVOe88uPXW+GMSkXTJpsWs\nFzDD3We5+2pgODCofAF3X1HuaTNgXRbnDgLujx7fDxyRTcCZErOtt4bPP8/mbBGRZLiHmZhDhmRX\n/ic/gQkTYPr0eOMSkXTJJjFrDXxS7vmc6LXvMbMjzGwq8CRwehbntnL3hQDuvgDYOpuAMyVmLVtq\nBpOIpNtbb4Uxsn36ZFd+o43gpz8NY81EpP7I2Sbm7j4SGGlmewNXA/1qeonKDpSWln77eN68Elq1\nKvne8S22gEWLavhuIpIaZWVllJWVJR1GrNa3llkN5mqdc05YTPvqq6FZs/hiE5H0yCYxmwuUWwKR\nNtFrGbn7WDPbwcy2qObcBWbWyt0Xmtk2wKeVXbN8YnbhhWGfzPLUYiZS2EpKSigpKfn2+e9+97u8\nvK+Z9QduIvQe3OPu11U4vh/wBPBR9NIId786OtaCMJ72h4ThG6e7+7hM77NoETz8MLz5Zs3i2357\nKCkJSd3Pflazc0WkMGXTlfkm0MnM2plZE2AwMKp8ATPrWO5xT6CJuy+u5txRwKnR41MIlV+15s6F\n1hU6Ulu2VIuZiNRMlhObAF5x957R19XlXr8ZeMbddwF2Aypd6rq0FI45Bjp0qHmcZ54J999ffTkR\nKQ7Vtpi5+1ozOw/+v737Do+qzB44/j1UAZWiFBUpAaVJFRCVEntEV+yKCooNK/x018W6hlV3wdVd\n+yoq2LFhd1VUjIpKEemEoihdRECUaiDn98e5MZOQZCbJTGYmcz7PM09m7tx752SS3Jx5y3mZSP6n\nymwRGWpP6xjgDBEZDPwObAPOLunY4NSjgZdF5GJgWd4x4axaBfvvX3BbrVo2sHbbNrvvnHMR+GNy\nEoCI5E1OWlhov906H0Vkb6CPql4EoKo7gV+LepFrrrE1MUvbWpbnmGNg8GBYuhTS0sp2Dudc8oho\njJmqvg+0KbTtsZD7dwN3R3pssH0DcGxpggVYvXr3FjOR/Fazpk1Le0bnXIoqanJSzyL2O1xEZmHD\nMG5Q1QVAS+BnERmHtZZ9DQxX1W2FD27SBD7+OLISGUWpXh3OPhvGj4dbbinbOZxzySNqg/8rQm4u\nrFmze4sZ2ASADRs8MXPORdUMoJmqbhWRE4E3gIOxa2c34GpV/VpE7sNqM95e+AQ7d2byzDN2v/BY\nukgNHGhdmjffXLrJA8652Iv25KWkWitz3Tpo27bo8WTp6XD77XDUURUbn3Mu+ipirUwR6QVkqmpG\n8PhGbHjG6BKO+R44FKgOfKWqacH23sAIVf1Tof13WyuzLHJzrRvzzTehc+dyn845F0MptVZmUQP/\n83jJDOdcKUUysalxyP2e2IfZDUENxhUikrfi5THAglgFWqWKtZqNHx+rV3DOJYqkSsxWry66GxN8\nZqZzrnRUdReQNzlpPvBi3sQmEbk82O1MEZknIjOxshrnhJxiGPB8MP6sM/CPWMabl5jl5obf1zmX\nvJJqjNlPP+1e9T9P+/Y262no0IqNyTmXvCKY2PQw8HAxx84GesQ0wBAdO0LNmjB3rndnOleZJVWL\n2c8/Fz+z6Ywz4I03bMkT55yrbESgb1/4/PN4R+Kci6VKk5g1awatWsEXX1RsTM45V1H69IHJk+Md\nhXMulpIqMVu3Dho2LP75Qw6BJUsqLh7nnKtIffpYi1mCT6Z3zpVDUiVmJbWYATRvDsuXV1w8zjlX\nkfKWdPr++/jG4ZyLnUqVmDVrBsuWVVw8zjlXkUSgd28fZ+ZcZVapEjNvMXPOVXZ53ZnOucqpUiVm\n3mLmnKvs+vWDSZN8nJlzlVXSJGY7d8KmTVC/fvH7NG1qRWh37aq4uJxzriIdcogVmZ0/P96ROOdi\nIWkSs40boV49qFq1+H1q1rQVANasqbi4nHOuIonAgAG2bqZzrvJJmsTs558t6QqnWTMfZ+acq9xO\nOQXeeiv8fs655JM0idnmzbDXXuH3a97cx5k55xJHZmZmgfvReNy3r9Vs/POfo3M+f+yP/XH0H5eV\naIKPIBURVVU+/RT+9jf49NOS97/hBpsgMGJExcTnnIs+EUFVJd5xlFfe9SsWzj/flmjy9YGdSyzl\nvX4lTYvZli1Qu3b4/bzFzDmXCk4/HV57Ld5ROOeiLWkSs61boU6d8Pv5GDPnXCo48USYOhXWr493\nJM65aEqaxMxbzJxzLl/t2nD00fC//8U7EudcNEWUmIlIhogsFJHFIrLb6C0ROU9EZge3ySLSKeS5\n4SIyN7gNC9neWUS+EpGZIjJNRLqXFIO3mDnnXEHp6TB5cryjcM5FU9jETESqAA8BJwAdgIEi0rbQ\nbkuBvqraGbgTGBMc2wG4BOgOdAH+JCJpwTF3A7eralfgduBfJcURaYtZvXpWfPGXX8Lv65xzyezI\nI+GLL+IdhXMumiJpMesJLFHVZaqaA7wIDAjdQVWnqOqm4OEU4IDgfjtgqqruUNVdwKfA6cFzuUDd\n4H49YFVJQUTaYibia2Y651JD5852rduwId6ROOeiJZLE7ABgRcjjleQnXkW5FHgvuD8P6CMi9UWk\nNtAfODB47jrgHhFZjrWe3VRSEJG2mIGvmemcSw3VqkHPnvDll/GOxDkXLdWieTIROQoYAvQGUNWF\nIjIa+BDYDMwE8layvBIYrqpviMiZwFjguKLOm5mZySefWOX/Xr3SSU9PLzEObzFzLrlkZWWRlZUV\n7zCSUu/e1p158snxjsQ5Fw1hC8yKSC8gU1Uzgsc3Aqqqowvt1wmYAGSo6nfFnOsuYIWqPioiv6hq\nvZDnNqlq3SKOUVXlkkvgiCPgkkvCf1P//KeNMRs9Ovy+zrnE4wVmI/fRRzByJHz+eUxfxjkXoYoo\nMDsdaC0izUWkBnAuUGCVNhFphiVlgwonZSLSMGSf04Dng6dWiUi/4LljgMUlBbFlS2RjzMBLZjjn\nUsdhh8HMmbBjR7wjcc5FQ9iuTFXdJSLXABOxRO5JVc0WkaH2tI4BbgMaAI+IiAA5qtozOMUEEWkA\n5ABXqepvwfbLgAdEpCqwHbi8pDi2bvUxZs45V9hee0GbNjBjhvUqOOeSW0RjzFT1faBNoW2Phdy/\nDEu0ijq2bzHbv8TKaESkNC1mTZrA2rWRntk555Jb795Wz8wTM+eSX9JU/i9Ni9k++/gyJc658CIo\nnt1PRH4RkW+C262Fnq8SbH+r8LEVyeuZOVd5RHVWZiyVpsWsbl3bPycHqlePbVzOueQUUjz7GGA1\nMF1E3lTVhYV2/UxVTynmNMOBBcDesYs0vL594Yor4PffoUaNeEbinCuvStliVqWKrQCwcWNsY3LO\nJbWwxbMDRc6uEpGmWG3GJ2IXYmSaNIF27eDjj+MdiXOuvJImMStNixl4d6ZzLqxIi2cfLiKzRORd\nEWkfsv0/wA1AbOthROjMM+HVV+MdhXOuvJImMStNixl4Yuaci4oZQDNV7YJ1e74BICInA2tVdRbW\nohb3mmv9+8OHH0KMy6Y552IsacaYeWLmnIuyVUCzkMdNKbRmr6puDrn/nog8HJT/OQI4RUT6A7WA\nvUTkGVUdXPhFMjMz/7ifnh5+5ZKyOvhgG1f7ww/QsmVMXsI5V4Ror1wStvJ/vImI/v67Uru2XXQi\ndeGFkJ4OQ4bELDTnXIxUROX/oIbiImzw/xpgGjBQVbND9mmsqmuD+z2Bl1W1RaHz9AP+XNQEgYqo\n/B/q3HMhIwMuuqjCXtI5V0hFVP6Pu+3bYY89SneMt5g550qiqruAvOLZ84EX84pni0heweszRWSe\niMwE7gPOiVO4ETnmGPjgg3hH4Zwrj6RoMVu3TmnbFn7+OfLj7roLNm+2dTOdc8nF18osmx9/tNmZ\na9d62Qzn4iUlWsx27ICaNUt3jLeYOedSTZMm0L49TJoU70icc2VVqROz0rSwOedcZZCR4YmZc8ks\nKRKz7dtLn5g1buzrZTrnUs8RR8CXX8Y7CudcWSVFYrZjR+kH//tC5s4VtHMn/PJLvKNwsdazJ8ya\nZddN51zySZrErLQtZk2a2EBY55x57DErI+Mqt732sppmM2bEOxLnXFlU2sRsr71g1y6bmemcs+V6\nZs2KdxSuIhx9NHz0UbyjcM6VRVIkZmUZYybi3ZnO5Vm9Gr75xmYqb9oEF1wAp51WuqLNLnkcf7zX\nM3MuWSVFYlaWFjPwxMwVtGOHtaKmiu+/t9//XbvgpJPgL3+BDh1g7lx47z349FP49lvbNzcXHnnE\nu/8riz59YM4c2Lgx3pE450oraRKz0g7+Bx9nFm3btsGhh8Jvv8U7krK59FJ48sl4R1FxRo60AstL\nl8KGDXDrrdCxI0yebH9TRxwBCxfCzJk2YHz4cHjmGTjqKEvUXPKqVctazV57Ld6ROOdKK2kSs7K0\nmDVu7IlZNL3yinWHLVliM/ySKUHbuRPeeQcWL453JBXn22/h7bchO9uKjopAly72z7plS6sQv3Ah\njB8PvXvDfffZLSsL5s+Pd/SuvM4/H154Id5ROOdKKykSs7KMMQOvZRZtTzwB9evbP/zRo+Hii8t2\nnm3bdt+2YgV07Vr0/rNmwdixZXutPF99ZaUifvihfOdJJt9+a2PKJkywJAysZWz69IKJ2bx5Nli8\nTx9YswaqVy9YB2vnzvjE78qnf3/7WXt3pnPJJaLETEQyRGShiCwWkRFFPH+eiMwObpNFpFPIc8NF\nZG5wG1bouGtFJDt4blRxr1/WFrMGDfyiFC0//mhjkwYPtn/4b70F77+/e62k554rOYkaM8YS5sLH\nffaZJWCrVtnj0OUF33wTnn22fPFPmmRddHmJWYIvEVtuv/0Gv/5qyfNzz+UnZp07W+LVsiW0bZuf\nmHXoYLe99oIhQ+CLL2z/X3+Fgw6CqVPj9724stljDzjySPjkk3hH4pwrjbCJmYhUAR4CTgA6AANF\npG2h3ZYCfVW1M3AnMCY4tgNwCdAd6AL8SUTSgufSgT8BHVW1I3BPcTGUdYxZ/fpeUDNa3nzTlnrp\n0MFanxYtslpJn39ecL+JE+Hddwtu27XLusfmzoURIyxhnju34D55LTTTptn+hx9ux4CNgVq6tPjY\nXnopfMvo11/DWWdZYjZ/viUblbkA53ffQatWlpjl5uYnZjVrWnKWlgadOtl+69dbola1qr3Xw4bl\n/zxuu82WNnvzzchfOzfXy3IkiuOOgw8/jHcUzrnSiKTFrCewRFWXqWoO8CIwIHQHVZ2iqpuCh1OA\nA4L77YCpqrpDVXcBnwKnB89dCYxS1Z3BOYpd2bKsLWb16nmLWbS8/TYMGGD/7N95B04/HYYOhRtv\ntK7mvGQsO3v3pGvsWDjnHJs4cNZZ1m329dcF9/niC+t6mTrVWnimTbNk4JprbN+VK+H333ePSxX+\n/GdLCEsyY4Ylllu32jmXL7dWusrq22+hdWs45BDIzLSxZXluuglOPBH23NPei/btoUpwJWjVypK4\n9evhoYfsZ/3CC7sn2yX56CM49tiofjuujI491hMz55JNJInZAcCKkMcryU+8inIp8F5wfx7QR0Tq\ni0htoD9wYPDcwUBfEZkiIp+ISPfiTljWMWb16nmLWTTs2GFJzHHHWfdXo0Zw551w2WXWKjlqFJx8\nsiU7CxfCsmWwZUv+8UuWwHXXwd13WyJ36KH5Vck3b7a6WkuWWJLw7rs2k3DECHj0UXj4YfsZHnig\nnR9s8LqqtaK9+651fxYerL56dX6L2Jo1dr9FC2je3JKOm26ypKOymj3bWjcBbr/dkrA8p59urZ1g\n78NLLxU8tkoVa7H8y1/s/e/f30pvbNgQ2Wu/8oq9x+vXl//7cOXTsaP9jX3/fbwjcc5Fqlo0TyYi\nRwFDgN4AqrpQREYDHwKbgZlAXiWpakB9Ve0lIj2Al4G0os778ceZ1Kxpn/zT09NJT0+PKB7vyoyO\nr76yhGyffezxqlVQLfjNGTDAursAnn4a6tSxlpoFC6BHj/z9O3aEQYPs8aGHWtmKnTutZENaGnTr\nZi1ao0bZuKYbb7QJBrfeal1sn38O//d/liyccQZMmQIDB1qytueeNk4KLInfvNlKY6Snw1//ai0G\nhx1msxJvuMHG3WzeDBddVFHvYMX77DO45Zbw+9Wsae9/YUceacnuccfZ+583Hu2II0o+nyq88Qbs\nv78l2/ffbz/7s84q+bisrCyy8vquXdSI5LeaXX55vKNxzkUiksRsFdAs5HHTYFsBwYD/MUCGqv7R\ngaiq44BxwT53kd/6thJ4Ldhnuojkisg+qrrb5+wePTI58EC4/vrIvqk83pVZevPmQe3acNVVNlB/\nn32sm/D44/P3qRbyW5Oebslv167w3//aP/BDDrEZnKGJ2QEhbaydO1uX5xNP2NiwvLFnItZt9uuv\nULeuFTwdNMiSvbwaZHmV6ocPh1697LXS0vLHQI0fb/fnz7fSGPPm2eDn556z5/Nmku7YYd19Ze0m\nT1SbNlkyOmOGtXqV1cUX2yzNqlXtcaSJ2cqVdky/fpaYvfyyzbgNl5gV/sA1cuTIsgfvCjjuOGsd\n9sTMueQQSWI2HWgtIs2BNcC5wMDQHUSkGTABGKSq3xV6rqGqrgv2OQ3oFTz1OnA08KmIHAxULyop\nA5g8OZMhQzIByMyM/Gu9evDTT5lkZpbuuFT+OnhwJrm5MHt2Jv/8Jzz3XCa1a8PLLxe9/yuvZFKn\nDtxzTyZjx0K1apnstRe89FImX30FH3yQyZw50LRpweMOPjiTO+6AI4/M5N134YgjbPvjj+fvd8UV\n+fufcUYmOTnwzDOZiMDUqZn85S8wZ449v3ZtJr/9Bk89lcn06QCZdO4MS5dm0rEj9Ou3e/xpaTB8\neCZNmsT/fY/W18svz2TCBOjZ034O5TnffvvlP27XLpOFC8Mfd/PNmeyxh/18P/sMFi3K5OefAQru\nd+GFmcyaBTNnZlKlyu7ncdFz7LH2oXbXrvxE2zmXwFQ17A3IABYBS4Abg21DgcuD+48D64FvsO7K\naSHHfoaNNZsJpIdsrw48C8wFvgb6FfPaOmSI6hNPaKnl5qpWq6b6+++lPzZVZWSo1qypCqpVq9rX\nOnVUd+wo/piNG3ffdsMNqpmZqjt3qu6xh+rmzQWfHzLEzr9xo+pHH6lu2xY+tqVLLZ4BA+znumlT\n/nMnnKD6wguqF15o+3TqFP5855yj+uyz4fdLJtdeq/rPf6pu2RLd8772murJJ4ff7/77Va+8UvX5\n51X33FO1f3/7umFDwf26dlVt0kT1ySeLPo9dmsJfmxL9Fnwfcde+veq0afGOwrnUUN7rV0R1zFT1\nfVVto6oHqeqoYNtjqjomuH+Zqu6jqt1Utauq9gw5tq+qHhJszwrZnqOqg1S1o6p2V9VPi3v9snY3\niViXmI8zM6o2MBtsYHZRJShWrbL3+/DD7RP29dfbmK4aNYo/b716u287+mjrCm3a1H52deoUfL57\nd+uKrFcPjjkmsnIoLVrY/hdfbBMA9t47/7kLL4SnnrJus1q18stDlKRTJ1tPsDKZNMnez9q1o3ve\ndu0iWw0gO9v2Pekk+Mc/bFxo1662YkSe77+3Ls+nnoJ77638NeUSwXHH2WxZ51ziS4rK/+UZB+Qz\nM/OtXQtnn21J2QMPWC2vwmvprVxpNa0uucSSndGj7R9oafXpY+P76tYtOL4sz+DBpS8aKwIPPmiF\nYv/0p4LPnXqq1d5asMASybzxbSXp2HH30h6RWL48MZOJzZst2S5uBYXyOPhgO3+4lRMWLrTErG5d\nuPZa+zkcdFD+h4B166y8ySmn2LjFjRttFq+LLa9n5lzySJrErCwFZsFnZobKzravS5bYP8Ojj7aS\nFH/7m73HW7ZYna///Q/OO88SsmrVLCEqrTp1rPXt+eetlEZhe+5pCWBpXXCBVacvrFYtW27oxx/h\nscfsn384RbWYFVUrLdTOnTaDNG8WaDT98EP5Er758y0pqhbVudamSpXw/9zzCst26lRwe8uW+eUa\nxo61Jbnuust+r3r0IBgT6GKpXz97n7dujXckzrlwkiIxK2sdM/CZmaFCE7Ply23m5eefwx13WIKy\napV1PbZta4lOedWvb6UxRo8u/7kicdRRsO++kXfjNWtmrUDr11sL4fjxuycVhX35pe2/cmX54wX7\nZ/nii7aEUseO1uL37bf5qx7kWbnSaorlWbDAKvKHtjrOmWPniJXjjy85MVu0yFZ1aNSo4PaWLfNb\nzGbOtKS/cWN73L377sWGXfTtuad9oKjMRZWdqyySIjHzrszoyM62f5yLF1ti1r69lbg44QQrr7By\npSVmySojw8pnRErEEpkvv4Rx42yNyEWLSm5VePtt+7pmTeSv89NP1kJUlDfesO7Zl1+2JHHKFBvf\n93//V3C/Tz6xBFrVxtF16WJj9IYMyV9fdO7c8IlleXTtWvI4s6++spgKS0uzBLR3b/v+Qrtae/Tw\nxKyieHemc8mh0idm3pVp/vtf66I86SQbB7RypVXTv+gi62r85htr1ShqPFiy6N699As2d+pk703r\n1ra4d+PG1qJYlNxcS6D697eVBcLZtMmOeeQRGwifm7v7PtnZlhQ/+qi1LL3ySv4alqEtvdnZNkZw\n2TL4+99tHF3Dhvb1ySetG/qzz2LbYtaqlf2OFPV9/P67jVcsqnZaXovZF1/Y99A2ZKXdnj3zWw3H\njYtd7M6XZ3IuWVT6xMy7Mu37v/lm+4d//vnWfbnnnvldft26WavRAw/Y5IBUct558N57Nhh97Vor\noLpoUdH7ZmVZi2NGhrWYzZ9vSV1RNm+2Vq1hw2zMG1hLV2HZ2TbjdeVKW+IqK8t+TocdZolMnoUL\nrXv5mmtsn4cfthaqm26yQr1nn21LMEW4KEaZ1Klj339R3bhXXGGzeC+4YPfnGje22DMzbaWI0DFw\nDRpYy+2VV5Z+Mkg0iEiGiCwUkcUiMqKI5/uJyC8i8k1wuzXY3lREJonIfBGZKyLDKj760une3X4H\nS9Pa65yreDEYJhx927eXffC/d2XCM89YK8/zz9s/z3r1Co7D6tbN/jnm5FiCkkp697alnU480d6T\nNm12T8zyfv+eftpmqu6/v5Wl+O9/rRvuyit3P++999p7+uyzlpx99ZUlYc2b2/Pbtlmy/P33Nr5t\nn32s1W7HDjuuYUPr5sybOJGdbdXzJ02yW4MGtr1LF9hvP5uMsHixtfrFUuvWNgauWchaIDNnWnK7\naFHBEiZ5RKzyfL9+RRc4zciwMXPTp9vkilhMXiiKiFQBHgKOAVYD00XkTVVdWGjXz1S18F/GTuB6\nVZ0lInsCM0RkYhHHJoxq1Ww288sv28oZzrnElBSJ2e+/l1xHqyT16xfdUpFK3norf8xS1arWcjFx\nYv7ze+xhF+tU9cIL+ffbtClY72n9etu2YIEt9fSvf1k344oV1spYXCX1vLFjhxxipSOGDbNzrF1r\n50xPh/vus1IS999v58mbndiunS003qaNtYg1a2YzNqdOtTFmdesWfK1//cv+RipiaanWra2r9+ij\n87c9+aS15BWVlOUJ3b+wiy6ybtJRoyyBDbfsUxT1BJao6jIAEXkRGAAUTq52m5esqj8CPwb3N4tI\nNnBAEccmlEGD7HfKEzPnEldSJGY5OWVvCUjlrsxNmyxBmDq1YBfXuefaze2ufXtLlPJ8950lUoMG\nWYtPo0Y2OSBvLcoZM3bval+zxhKpXr3yW3/at7d9Z8+2lqVBg+z4W2/N36dFC/varp21oJ11liXV\nvXpZAldc4tO3b7TfheK1aWOtY19/bWtypqXBq69a93hZtWhht+xsayH83/+iFW1YB5C/di/Y+r09\ni9jvcBGZha0RfIOqLgh9UkRaAF2AqbEJM3qOPtp+P/MKATvnEk9SJGblaTFL1a7MTz6x5CBvMeqi\nan+53XXoYOO58j4MLFtmXydNsi47sK7D6tWtu/K882zMVatW+ed4/30baB3aJderl5UNWbcOzjnH\nZneedpp1Medp2NBa7/bZxx537Gh1wdatK7oWXDwMHQoff2wJf+fONni/YUNLHMvrH/+wW4KZATRT\n1a0iciLwBnBw3pNBN+arwHBV3VzUCULX/yy8WHtFq1rVfmeffTYh32vnklJWVhZZhWsclUNSJGbl\naTFLxVmZqjZmKi3NCq0OHBj+GGfq1LHZqosXW5KWl9yefXZ+KY6aNS0Za9TIuhmXL7fELDfXCrG+\n/rolX6G6dLGvbdvaIOxx43YvsCtS8GfVvr0laps22fJWiaBuXfjgA5vQMHWqTSKJZYmOGFsFhIyW\no2mw7Q+hyZaqvicij4hIA1XdICLVsKTsWVV9s7gXSbSF2QcPtg8Ef/97xY3nc64yK/yBa+TIkeU6\nX1LMyvSuzNLZuNG617Kzrcvs0EPjHVFy6dTJaoI9+CBMnmwJUuExUnlFVJs3t8Rs504bfzVzps2a\nLNzCJQJnnmnjpzp0sG3hVj5o3x6mTbOfZ8+iOtjiqFs365pdtMi6N5PUdKC1iDQXkRrAucBboTuI\nSOOQ+z0BUdUNwaaxwAJVvZ8k0rGjffh45514R+KcK0pSfF4qb2KWai1mq1fbrL1atUpXcNWZLl1s\n3NSbb1rCdcklxe/brJl1d06fbjMsTz/dKuQXHqAPViA2Nze/gG24xKxhQxtXNmhQ8ZMM4qVjR5sE\nMHu2zVRNRqq6S0SuASZiH1KfVNVsERlqT+sY4EwRuRLIAbYB5wCIyJHA+cBcEZkJKHCzqr4fKDnM\nzQAAIABJREFUj++ltK68Eh5/3NaYdc4lFtFEXI05hIholSrKjh1la3bfvt3+SW7fXrY1H5PRxIlw\n993W5ZRo/9CTwdq11qrVooW1Cs2aZeOpivLUUzaLs21b+PRTqz02d27BMWdFOftsOzbc8lG33WbV\n/dPSyvCNxNixx9rYu2++ye+qjRYRQVWT/i9WRDQRr7G//GKtZmvXRr6EmXMuMuW9fiVFV2ZubtkT\njD32sHE/27ZFN6ayqKjFmtessVpbnpSVTePGNvPwjTfg0ktLHth+yCFWQ+zjj60kydq14ZMysPIk\nkfxDvOOOxEzKwEpkqEZn4L+rWPXqWXd0FMcrO+eiJCkSsxo1ytfalQjdmZMm2TihVavC71se69fb\n8jf77Rfb16nsevSwdUMff7zkBKpdOxtnNX26la1Ipdmvf/oTPPecTZhwyeekkyq0NIlzLkJJkZiV\nt5p5IszMzMy0f9qzZ8f2da6/3gp17r9/bF/HmTp17L3u1Cm1kjKwFtnzz493FK6s+veHd9+1Vk/n\nXOJIicSsQQP4+efoxFIWW7bYWKULL4x9YrZsmdV98xazinPIIXDMMfGOwrnS6dDBlmhbmNBrFTiX\nelIiMWvcGH76KTqxlMWMGfbP+7DDbCB5LK1aZWUbDj44/L4uOu68E66+Ot5ROFc6ItYd/eqr8Y7E\nORcqJRKzRo1sUHa8fPWVLb/TvbvNmOzTB5o0gX//28aEXXFFdF5H1RKzWbOiP0vOFa9jR/t5Opds\nLr0UnnjCWs6cc4khosRMRDJEZKGILBaREUU8f56IzA5uk0WkU8hzw0VkbnAbVsSxfxaRXBFpUNzr\nJ3uL2eTJVli0bVubBHDzzfb13nut6Ohjj8Gvv5b/dTZutIkSPhjbOReJrl1t2MNbb4Xf1zlXMcIm\nZiJSBXgIOAHoAAwUkbaFdlsK9FXVzsCdwJjg2A7AJUB3bJHfk0UkLeTcTYHjgGUlxVDWdTLzxLPF\nbMcO+Oyz/DFIXbvacknt21v9KxG7MH7/fflfa9Uqm0nonHORGjHC1s30SQDOJYZIWsx6AktUdZmq\n5gAvAgNCd1DVKaq6KXg4BTgguN8OmKqqO1R1F/AZcHrIof8BbggXQDK3mH3xhZVUyFuYOlS7dtZy\n1r27lbgor1Wr4IADwu/nnHN5BgywOo8TJ8Y7EuccRJaYHQCsCHm8kvzEqyiXAu8F9+cBfUSkvojU\nBvoDBwKIyCnAClWdGy6AZB5jlpVlFdJLkpZm49BmzbJxZx9+WLbX8sTMOVdaVarALbdYMWNvNXMu\n/qK6VqaIHAUMAXoDqOpCERkNfAhsBmYCu0SkFnAz1o35x+HFnfennzLJzLT7hVdxj0TjxvFLzJYu\ntbUTS9KqFQwbZkvbrFxppT2mTo2sgnyolSs9MXPJKSsriywvQx83Z58Nt99uwy769Yt3NM6ltkgS\ns1VAs5DHTYNtBQQD/scAGaq6MW+7qo4DxgX73IW1vrUCWgCzRUSCc84QkZ6qulunY4sW+YlZWTRq\nFL+uzGXLoHnzkvdJS7NWwalTbfmpu++G446zcR+TJsGYMTY54Lrr4MEHi69Ev2oVHHpo9L8H52Kt\n8AeukSNHxi+YFFS1Ktx0E/zzn56YORdvkXRlTgdai0hzEakBnAsUmMMjIs2ACcAgVf2u0HMNQ/Y5\nDXhBVeepahNVTVPVllj3aNeikjIof1dm3bpWdHXr1vKdpyyWLYNmzUrep3dvePZZ2HdfmxRw9dW2\nJNDgwdatOXasPR47FhYvLv483pXpnCurgQNh2rTYLxvnnCtZ2MQsGLR/DTARmA+8qKrZIjJURC4P\ndrsNaAA8IiIzRWRayCkmiMg84E3gKlUtqjCEUkJXZnlnZYrYbMUVK8LvG007d8KPP4afKVm3Lpxz\njiVfXbvatr//3day+/FHayW77jqbzfnDD8Wfx7synXNltccecOqpMH58vCNxLrVFNMZMVd8H2hTa\n9ljI/cuAy4o5tm8E508r6fnytpiBdScuWwZt2oTfN1pWrbJu1Ejjv/pqqFnT7rdpA6+/bisGzJ5t\naxIuWFByWQ0vl+GcK4+hQ+Gss+CaayxRc85VvJSo/A/Wnbh8efnPUxqRjC8L1a8f9OpVcFv79nbb\nay9o2dLWtZs6dfdjt2+HzZutO9Q558risMOgWzf4z3/iHYlzqStlErO8FrOKtHx56RKzonTokJ+s\ntWgB48bZ2LPCVq+2QrVSbIewc86F95//2Kok8+fHOxLnUlNUy2XESrQSs08+Kf95SiOSgf/hXHcd\n5OTY/ZYt7f6331oL2U8/QbVq8MIL9inXx5c558qrZUurpzhggJXw2XvveEfkXGrxFrMYKm1XZlH2\n3jt/1YBWrWwB9NatrUvzkkvgwANtivv558PRR5c/ZuecGzzYJiM9+mi8I3Eu9SRFYlbeWZmQvF2Z\nofbaywpAduli3QyLFlmds+nT7dPtbbdF77Wcc6ntxhvhvvtsvV/nXMVJisQsGi1mBx5o47B27iz/\nuSIVja7MonToAF9/DevWWQ20tDT7ZBuN98k55wA6d7bbs8/GOxLnUkvKJGY1akDDhpacVQTV2CVm\nPXpYraEWLaxit3POxcKIEfCvf8GuXfGOxLnUkTKJGVi34vvvwwcfROd8JVm/3mqSxWLgbHo6bNoE\nBx0U/XM751yefv2gXj148814R+Jc6kipxKxZM/jb32zQ/O+/R+echf30k1Xvb9fOBunHQq1aNtDf\nEzPnXCyJwF//CqNHWy+Acy72Uioxa94c1q61cWYTJkTnnIUNGwbHHw9z58a2PMfIkTBkSOzO75xz\nYMs0bdxoE4+cc7GXFIlZNGZlgiVmVava0kdffhmdcxY2cyZcdBE0aQJ77hmb1wDo3t2Wa3LOlZ2I\nZIjIQhFZLCIjini+n4j8IiLfBLdbIz22sqhaFW64wVrNnHOxlxSJWbRazNLSrNREr17WohVtqlYi\nIxYD/p1z0SUiVYCHgBOADsBAEWlbxK6fqWq34HZnKY+tFAYNglmz7Oaci62USsyOOw7eeQc6doQ5\nc6I/ZmLdOqhTx27OuYTXE1iiqstUNQd4ERhQxH5FLXQW6bGVwh57wN//DhdcYGvyOudiJ6USs6pV\nrYuxcWO7H+3SGd5a5lxSOQBYEfJ4ZbCtsMNFZJaIvCsi7Ut5bKVxySVWQ/Hee+MdiXOVW8qslRlK\nxFrN5s3LX1/y7rvtda67rvjjFiyAq66CrKz8bVlZNqVcJHZ1y5xzcTMDaKaqW0XkROAN4ODSnCAz\nM/OP++np6aSnp0czvgojAv/4B/TsaeN099033hE5lxiysrLICk0MyiklEzOwUhZLl+Y/njAhfHmL\nWbPgiy9siZKaNa00xlFH2SLiAwdGfwkm51xMrQJCP0o1Dbb9QVU3h9x/T0QeEZEGkRybJzQxS3at\nWsE558CoUXDPPfGOxrnEUPgD18iRI8t1vqToyozWrMxQaWn5idmGDbbe5HfflXzM4sVWamPePHv8\nxRe21NOtt9p4te++8xYz55LIdKC1iDQXkRrAucBboTuISOOQ+z0BUdUNkRxbWd16K4wdW3GrqDiX\napIiMYtFi1loYjZpkhWF/fbbko9ZssSKu86caY8nT4ahQ6FaNSu/8eqrcNJJ0Y/VORd9qroLuAaY\nCMwHXlTVbBEZKiKXB7udKSLzRGQmcB9wTknHVvg3EQf77281FEeNinckzlVOKZuYtWqV30I2caJN\nB9++3Qopbt0Kd9wBubn5+0+bBgsXwsknwzff2LYvv4Qjj4Qzz7QLVYcO0LbSTph3rvJR1fdVtY2q\nHqSqo4Jtj6nqmOD+w6p6iKp2VdUjVHVqScemir/+FZ57DlaujHckzlU+KZuY5bWYqVpidvzxlqy1\nagVjxtjSTQ89ZPuuWWMJ2DffwMUXW0V/VcjOtiKvl1wCp5wCTz4Z/Tidcy7RNG4Ml15qkwGcc9EV\nUWIWQXXs80RkdnCbLCKdQp4bLiJzg9vwkO13i0h2MA19gogUu9x3LBKz+vWtZMaUKTZurF07a/HK\nybGErEsXGDfO9n3qKejf3yr6H3+8jUmbMcOSs332sSTvnnugRYvox+mcc4nohhvgpZds0pNzLnrC\nJmYRVrheCvRV1c7AncCY4NgOwCVAd6ALcLKIpAXHTAQ6qGoXYAlwU3ExxCIxA2vtGjsWDj/cpoI/\n+STcf791cV5wgQ32z8mBxx6zAa/jxkGVKpCRYclb69Z2nHPOpZqGDa3V7N//jnckzlUukbSYha1w\nrapTVHVT8HAK+YUW2wFTVXVHMFj2U+D04JiPVDU35JimxQVQLUZFPQ49FMaPh27d7HGtWrZcE0Dv\n3lan58EHYb/9oEeP/OP697fjwpXXcM65yuzKK22s2bZt8Y7EucojksSstBWuLwXeC+7PA/qISH0R\nqQ30Bw4s4piLQ47ZTaxazLp3hy1b8hMzgDZtID3dCtB26ACZmTBsWMHjjj/euj9btYpNXM45lwxa\ntIAjjvAFzp2Lpqi2RYnIUcAQoDeAqi4UkdHAh8BmYCawq9AxtwA5qvpCced96qlMPvrI7kezcvah\nh9rXrl3zt1WtaoP7Adq3t6KyZ5xR8Lj69e1idNBBUQnDuZQX7crZruI89ph9uD31VBub65wrH9Ew\nK3mLSC8gU1Uzgsc3Aqqqowvt1wmYAGSoapGlWkXkLmCFqj4aPL4IuAw4WlV3FHOMfv21/pFERVNu\nLjzxBFx+edHPT58OP/wAZ521+3MrVtjA/9q1ox+Xc6lORFDVpB/BKSIa7hpbGdx1ly1JN2ZMvCNx\nLv7Ke/2KJDGrCiwCjgHWANOAgaHFFEWkGfAxMEhVpxQ6vqGqrgv2eR/opaq/ikgGcC82aWB9Ca+v\ns2YpnTuX7Rt0ziUfT8ySy9q1NrN95kxfls658l6/wnZlquouEcmrcF0FeDKvOrY9rWOA24AGwCMi\nIljXZM/gFBOCteVygKtU9ddg+4NADeBDO4QpqnpVUTHEaoyZc8658mvcGEaMgCuugPeKHS3snItE\n2BazeBMRXbRIOfjgeEfinKso3mKWfHJybLmmqVOttqNzqaq816+UrfzvnHMueqpXh3POsfIZzrmy\nS4rELFZ1zJxzzkXPpZfaLM3t2+MdiXPJKykSM28xc865xNeli5UfylvOzjlXekkxxmzdOmXffeMd\niXOuovgYs+Q1ZQqcey4sWeIfql1q8jFmzjnnEkavXlZ8+9ln4x2Jc8kpKVrMNm9W6tSJdyTOuYri\nLWbJ7dNPbbxZdraPEXapx1vMnHPOJZR+/aBRI3jrrXhH4lzySYrEzD9xOedccrniCnj88XhH4Vzy\nSYquzESP0TkXXd6Vmfy2bbPlmd55B3r2DL+/c5VFSnRlOuecSy61asEjj8DgwZCbG+9onEsenpg5\n55yLiTPPhBo14PPP4x2Jc8nDEzPnnHMxM3gwPP10vKNwLnn4GDPnXMLxMWaVx48/Qrt28P33UK9e\nvKNxLvZ8jJlzzrmE1aQJnHCCt5o5FylPzJxzzsXU1VfbRACfBOBceJ6YOedSlohkiMhCEVksIiNK\n2K+HiOSIyOkh264TkXkiMkdEnheRGhUTdfLp3Rtq1oQPP4x3JM4lPk/MnHMpSUSqAA8BJwAdgIEi\n0raY/UYBH4Rs2x+4Fuimqp2AasC5FRF3MhKBO++Eyy+HdeviHU3yULVlrebNs/suNXhi5pxLVT2B\nJaq6TFVzgBeBAUXsdy3wKvBToe1VgToiUg2oDayOZbDJ7pRT4MQT4YEH4h1JYlq5Ek49Ff72Nzjy\nSDjtNKhbF/r3h4wMOO88Kzvy8cfxjtTFmi925JxLVQcAK0Ier8SStT8ELWOnqupRIvLHc6q6WkTu\nBZYDW4GJqvpRBcSc1IYPh6OPhltugT32iHc0FW/KFFi+HKZOtce1asGmTfb18cdhyJD8BeC3bbNt\n++4LW7fCn/8M559vXcJHH21j9qpWje/342LDEzPnnCvefUDo2DMBEJF6WOtac2AT8KqInKeqLxQ+\nQWZm5h/309PTSU9Pj2G4ia1dOzjqKLjwQhg/HqpU4j6b+fNh9myYM8dmpj70EPz6Kxx8MLRtC61b\nW8JVuzb8/LPtv//+RZ+rdm3473/t/m+/wdlnQ/v2Ntu1VStL2Pbdt+K+N1dQVlYWWVlZUTtfRHXM\nRCQDu0BVAZ5U1dGFnj+P/IvXb8BVqjoneG44cGnw3OOq+kCwvT7wEnZh+wE4W1U3FfHaKV8HyLlU\nUxF1zESkF5CpqhnB4xsBDb2+icjSvLvAvsAW4HKgBnCCql4W7DcIOExVryn0Gn79KmT7duuaO/RQ\nuPfeeEcTXa+/Dg8/DDt2wMKF0LcvNGsGn3wC99wDXbpEJ4FStda3r76CWbPgyy9hxgzr+nTxV97r\nV9jELBj4uhg4BhtDMR04V1UXhuzTC8hW1U1BEpepqr1EpAMwHugB7ATeB4aq6lIRGQ2sV9W7g9lQ\n9VX1xiJe3y9szqWYCkrMqgKLsGvbGmAaMFBVs4vZfxzwtqq+FnRrPold23YA44DpqvpwoWP8+lWE\njRvhoINg2jRIS4t3NGWzdq3dRo2Ct9+Gli0t6fznP6FhQ2vJOuCAionlmmssOXv5ZWuJc/FVEQVm\nww6QVdUpIa1dU7CxGwDtgKmqukNVdwGfAnnTzQcAeSUHnwZOLes34ZxzpRVck64BJgLzgRdVNVtE\nhorI5UUdEnLsNGxCwExgNtaiNib2UVcO9evDZZfBXXfFO5KyGT/euiTPPRf22QeWLoX//Ae+/hrO\nOMNayioqKQN48EGbHHDGGbBsWcW9rouNSFrMzsCa7C8PHl8A9FTVYcXs/xfgYFW9PJh6/gZwOPap\n8iPsU+VwEdmoqvVDjtugqg2KOJ9/4nQuxfiSTJXfxo1wxBFw1VVw7bXxjqZomzbBbbfZWK4ZM6zr\nUBUWLIB334WOHeMdYT5VGDECxo2zFrsLLoAbb6zc4/gSVXmvX1Ed/C8iRwFDgN4Aqrow6LL8ENiM\nfbrcVczhxV69fPCsc5VbtAfPusRXvz78739WGuKnn2DYMEsoEkFurrXmPfKIxXfbbXDYYZZE5uRA\nv37WUpZIRODuu60r9Ztv4Prr4bnnrH7c6aeHP94ljkhazMIOkA22dwImABmq+l0x57oLWKGqj4pI\nNpCuqmtFpAnwiaq2K+IY/8TpXIrxFrPU8f33Nk7r1Vfhgw+ge/eKff2tW21s2IQJNqC+a1e47z5o\n2tRmQrbb7b9ScsjJgYkTrQTH009bq5+3nlWMihj8H3aArIg0Az4GBqnqlELHN1TVdcE+7wO9VPXX\noCVtg6qO9sH/zrlQnpilnldfhRtusBITe+8du9dRtZITVavCSy/BHXfAjz9ai9ixx9qyUXfeactI\nSdL/Blqr2T33wH772eSAvfaKd0SVX8wTs+BFMoD7yS+XMUpEhmItZ2NE5HFsUP8ybBBsjqr2DI79\nDGgA5ADXqWpWsL0B8DJwYHDc2ar6SxGv7Rc251KMJ2ap6ZJLbPmhq66yWmfRsnMn/PKLdVFmZNgy\nR2CtSEOHwjHHQPXqlSMRK0pOjs3cnDsXPvrI6qK52KmQxCye/MLmXOrxxCw1bd4Mr70Gf/kLXHEF\nDBxYvq7EJUtsEPycOVZdf+tWS/ruvdcStfr1w5+jslCFQYPs6/PPxzuayq0iymU455xzMbfnnjB4\nsJWj2LQJDj/cxnqNHGlLGe0Kpo4Vletu326tbT//DO+9B336QOfO1vK2fj1s2GD7/Pvf1jKWSkkZ\n2Pf8+OM2u7R/f3jnnXhH5IrjLWbOuYTjLWYOYMsW+OEHa+F6+23o0AEaNIBJk2xAe7du1vL1xBPw\nzDM2biw314qsHnOMzaz0Ae8FffedTQq4/XZ4/317D110eVemc67S8cTMFbZrl3VxNm4MPXrAxRdb\n12TdulYPbdQoa3H7+mtb5NuV7IUX4G9/s2K4LVrArbd6Ehstnpg55yodT8yciy1Vm5W6ZQs89RS0\naQNjxnhyFg2emDnnKh1PzJyrOJs3w0kn2dJSl10GN91ks1Rd2Xhi5pyrdDwxc65i5ebCwoXw5z/D\n779bXblkmyCxYIG1+OXkQFYWnHMONGpU8XH4rEznnHPOlUuVKtC+vc3W7NzZCu7OmRPvqEr2ySfQ\nsqWt1tC8ORx1lBUG7t8fPv/cvp9HHol3lKXnLWbOuYTjLWbOxddTT8Ff/2pdnA8/nDhFaX/7DWbN\nstIn551ns3Pr14cmTWyt1erV7ValCixaBKedBj17Wj27I4+0mbs1asQ2Ru/KdM5VOp6YORd/W7bA\npZfCunU2C/agg2xGbLzs3AknnmgJV61a8J//WOtYSX75xWrXTZpkNdx27bJks1s3m5naoweceabV\necvJsdUg6tQpX5yemDnnKh1PzJxLDLt2WSmN77+Hzz6z+126QLNmVvy3osyaBQ88AKtXW3drtWql\nP8dvv1kC9sQT8O23trLEpEm2eL2qJX5Lltjza9daN+nhh9v9XbusFa5x4/BLd3li5pyrdDwxcy7x\nLFwIQ4bAqlW2GPrYsdZNGMs1Rh96yMp4bNoE6emWnNWtG7vXe+cduPxyG5+2eLElZllZsGOH3fr2\nhbPPthUl8pLDXbusZe6OO6yW3l13eWLmnKtkPDFzLrH94x/w6KPWxTlwoNVBi7ZXXrFZouPHQ/fu\nULNm9F+jJGvX2uzUI4+0VSdyc22d0eefh5UrYcAAWxh+0iTrWj3/fLj5Zmja1BMz51wl44mZc4lv\n+XK46CJbo3TkSBv/1ahR+SYKqNrYsXHjYM0a+PhjmyWaSFRh8mTr2k1Lg4wM2LjR7oN3ZTrnKiFP\nzJxLHt99ByefbAVqMzLg9ddLv4LArl0wc6a1ws2aBQ8+CAceWLHj2KLFEzPnXKXjiZlzyWXHDti2\nLX+G4+mn29f16627c7/9ij92xgy4+mobp9W/P9xyC+yzT8XFHm2emDnnKh1PzJxLTjk5Nqtx2jQb\nsN+oEbz8siVbDRtC69bWNZmba4ncXXfBhAk2NuvKK2M7kaCieGLmnKt0PDFzrvJYutQGxu+/v41L\nmz8/PwE76ywbU5Zsyz+VxBMz51yl44mZc5VXTo4lZmWpRZYMynv9qqRvi3POOecSUfXq8Y4gsfki\n5s4555xzCSKixExEMkRkoYgsFpERRTx/nojMDm6TRaRTyHPXicg8EZkjIs+LSI1ge2cR+UpEZorI\nNBHpHr1vq+JlZWXFO4SIJEuckDyxepzJK9y1LWS/HiKSIyKnh2yrKyKviEi2iMwXkcMqJurYSJbf\nD48zupIlTkiuWMsjbGImIlWAh4ATgA7AQBFpW2i3pUBfVe0M3AmMCY7dH7gW6KaqnbCu03ODY+4G\nblfVrsDtwL/K/+3ET7L8wiRLnJA8sXqcySnCa1vefqOADwo9dT/wP1VtB3QGsmMbcWwly++Hxxld\nyRInJFes5RFJi1lPYImqLlPVHOBFYEDoDqo6RVU3BQ+nAAeEPF0VqCMi1YDawOpgey6Qt+JVPWBV\n2b4F55wrk7DXtsC1wKvAT3kbRGRvoI+qjgNQ1Z2q+msFxOycq+QiScwOAFaEPF5JwcSrsEuB9wBU\ndTVwL7AcS7x+UdWPgv2uA+4RkeVY69lNpQvdOefKJey1LWj1P1VV/wuEzrJqCfwsIuNE5BsRGSMi\ntWIesXOu8lPVEm/AGcCYkMcXAA8Us+9RwHygfvC4HvAx0ABrOXsdOC947n7sggdwJvBhMedUv/nN\nb6l3C3dtKu+NCK5twMtAz+D+OOD04P6hQA7QPXh8HzDSr19+85vfoHzXr0jKZawCmoU8bkoR3Y7B\ngP8xQIaqbgw2HwssVdUNwT6vAUcALwAXqupw7Dt4VUSeLOrFK0MtI+dcQork2tYdeFFEBNgXOFFE\ndgJTgRWq+nWw36vAbpMH/PrlnCutSLoypwOtRaR5MKPyXOCt0B1EpBkwARikqt+FPLUc6CUiewQX\ntmOABcFzq0SkX3D8McDi8n0rzjlXKmGvbaqaFtxaYsnXVar6lqquBVaIyMHBrqHXNuecK7OwLWaq\nuktErgEmYonck6qaLSJD7WkdA9yGdVc+EiRgOaraU1WnicirwEys2X8m8Hhw6suAB0SkKrAduDza\n35xzzhUnwmtbgUMKPR4GPC8i1bGZ6UNiHrRzrtJL+CWZnHPOOedSRcJW/o+08GO8iMgPQUHdmSIy\nLdhWX0QmisgiEflAROqGO08M4npSRNaKyJyQbcXGJSI3iciSoEjm8XGO83YRWRnMcvtGRDISIM6m\nIjIpKCA6V0SGBdsT8T0tHOu1wfaEel9FpKaITA3+duaKyO3B9oR7T8sjka9hfv2KWawJ9bcWvG5S\nXMP8+hUi1jOfyjhbqgrwLdAcqA7MAtrGO65CMS4lmH0asm008Nfg/ghgVBzi6g10AeaEiwtoj3Uv\nVwNaBO+5xDHO24Hri9i3XRzjbAJ0Ce7vCSwC2iboe1pcrIn4vtYOvlbFah/2TMT3tBzfX0Jfw/z6\nFbNYE/FvLSmuYX79yr8laotZpIUf40nYvcVxAPB0cP9p4NQKjQhQ1cnAxkKbi4vrFOBFteKYPwBL\nsPc+XnFCwVpReQYQvzh/VNVZwf3NWHX3piTme1pUrHl1uRLtfd0a3K2JXbCUBHxPyyHRr2F+/Son\nv4ZVSJwpef1K1MSstEVt40GBD0VkuohcGmxrrDZbC1X9EWgUt+gKalRMXIXf51XE/32+RkRmicgT\nIU3BCRGniLTAPiFPofifdaLFOjXYlFDvq4hUEZGZwI9YDcPpJPh7WkqJfg3z61fsJNTfWqhkuYal\n+vUrUROzZHCkqnYD+gNXi0gfdp+1lagzKxI1rkeANFXtgv3C3xvneP4gInti5RKGB5/mEvZnXUSs\nCfe+qmqu2jq5TYGeItKBBH5PKyG/fsVGwv2t5UmWa5hfvxI3MYuoqG08qeqa4Os64A1lhmV9AAAB\nqElEQVSsaXKtiDQGEJEmhKytF2fFxbUKODBkv7i+z6q6ToNOeaysSl5zb1zjFFvn9VXgWVV9M9ic\nkO9pUbEm6vsaxPYrkAVkkKDvaRkl9DXMr1+xkah/a8lyDfPrl0nUxCxs4cd4EpHaQVaPiNQBjgfm\nYjFeFOx2IfBmkSeIPaFgn3xxcb0FnCsiNUSkJdAamFZRQVIozuCXOc/pwLzgfrzjHAssUNX7Q7Yl\n6nu6W6yJ9r6KyL553RFi60seh40nSdT3tCwS9hrm16+o8mtYjONMtPe0Qq5f0ZqlEO0bloEuwgbK\n3RjveArF1hKbZTUTu6DdGGxvAHwUxD0RqBeH2F4AVgM7sJUXhgD1i4sLWzz+2+AX6/g4x/kMMCd4\nb9/A+uzjHeeRwK6Qn/c3we9msT/rBIw1od5XoGMQ26wgrluC7Qn3npbz+0zIa5hfv2Iaa0L9rQWv\nmxTXML9+5d+8wKxzzjnnXIJI1K5M55xzzrmU44mZc84551yC8MTMOeeccy5BeGLmnHPOOZcgPDFz\nzjnnnEsQnpg555xzziUIT8ycc8455xLE/wPUG1tH6vie2gAAAABJRU5ErkJggg==\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "simulate(x0=[0.0, 0.0], u0=0.01, \n", " phi=0.9, e=st.uniform(-0.001, 0.001), steps=300)" ] }, { "cell_type": "code", "execution_count": 27, "metadata": { "collapsed": false }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAmAAAAHpCAYAAAAlPIBdAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAAIABJREFUeJzs3XeclOW5//HPRZOOiogUAQVFUUBAEMWyFgRsIJZYYost\nsSV6zi/t/HLEmN+JMZqo8aRoTI56YqyIPUqUlaCCIKCoi6KCUmRtFBGQstfvj3tWxnXL7M7M8zwz\n832/XvvamXmeeZ5rZL1f19zlus3dEREREZHoNIs7ABEREZFSowRMREREJGJKwEREREQipgRMRERE\nJGJKwEREREQipgRMREREJGJKwEREREQipgRMREREJGJKwCRyZnaAmf3DzF40szPSXp9sZg+Y2eg4\n4xMRqY+Z9TazD83sF2Z2oZldZGaVZnZR3LFJ4TBVwpc4mNkjwN/c/f7U86OBNe4+K97IRETqZ2YX\nAs+6+3up57cDn7r7j+ONTAqJEjCJnJk1Az4B9gbWACcDz7j7R7EGJiKSATMb5e4vpB7/F9Dd3c+N\nNyopNBqClDgMBT4EOgDPAkuUfIlIoUhLvq4ABgHfiTciKURKwCQORwCrga7AI8AV8YYjItI4ZnYa\ncCpwsrtXmVmbuGOSwqIETOJwOHBT6lvk7cBoM+sZc0wiIhkxs6OAHwLHuftGM+sMaPGQNIoSMImU\nmbUERgHTANx9FXAvcFmccYmIZMLM9gduAU5w99Wpl/8N+Gd8UUkhahF3AFI6zGwI8G3AgWOBO82s\nA9AOON3MKtz9zjhjFBGpi5ntAjwBPAxMNLP2wCHAendfH2twUnCavArSzLYDpgOtCIncg+5+TY1z\nTgCuBaqAzcCV1ZMXRUSiYGZ3AMcBle4+qJbjZwA/Sj39HLjE3V9LHRsL3EQYLbjD3X8VTdQiUuyy\nKkNhZm3dfb2ZNQdeAK5w95drHk89Hgjc7+57Zxu0iEimzOxgYB1wVx0J2Eigwt3XpBKuSe4+MlUu\n5W3gSGAFMBs4zd0XRhi+iBSprOaApXW5bkfoBfM6jgO0J/SEiYhExt1nAKvqOT7T3dekns4EeqQe\njwAWufv77r6ZMFdxfF6DFZGSkVUCZmbNzGwesBKY6u6zazlngplVAI+hWikikmwXAE+lHvcAlqYd\nW8a25ExEJCtZTcJ39ypgiJl1BKaY2QB3f7PGOVNSxw4GfkEdS3XNTCX5RUqMu1vcMVQzs8OB84CD\nm/BetV8iJSibNiwnZSjcfS2hrMDYes6ZAexuZjvWc05J/lx99dWxx6DPrs8f9U+SmNkg4DZCaYHq\n4crlQK+003qmXqtV3P899Tesz6/PHu1PtpqcgJnZTmbWKfW4DaFna2GNc/qmPR4KtHL3z5p6TxGR\nJrLUzzcPmPUCHgLOcvd30w7NBvqZWW8zawWcBjya90hFpCRkMwTZjVDHqRkhkbvP3Z80s4sBd/fb\ngJPM7GxgE7CBsG2DiEhkzOweoAzobGYfAFcTyudUt1M/A3YEfm9mBmx29xHuvtXMLgOeYVsZiopY\nPoSIFJ0mJ2DuvoCwqXLN1/+U9vh64Pqm3qNUlJWVxR1CbEr5s4M+fxTc/YwGjl8IXFjHsX8A/fMR\nV7Eo9b/hUv78pfzZcyGrOmC5ZGaelFhEJP/MDE/QJPxsqP0SKT3ZtmHaC1JEREQkYkWZgFVWwqo6\nyy6KiIiIxKuoErDNm+Hb34a99oLeveHMM8NrIiIiIklSVAnYT34Cn30GS5fCRx/BmjVwzjmgqRki\nIiKSJEWTgM2cCffdB3ffDe3bQ+vW8OCDUFEBd94Zd3QiIiIi2xTNKshTToFDDoErrvj666++Ckcd\nBa+9Bt26ZRmkiOSMVkGKSCHLtg0rigRsyRIYNiz87tDhm8evugq2boWbb84qRBHJISVgIlLIlIAB\nV18d5nvddFPtx1euhAEDYMEC6NEjiyBFJGeUgIlIIVMdMODxx2HixLqP77ILnHsu3HhjZCGJiIiI\n1Knge8CWL4dBg0Ltrxb1bKy0dCkMHgzvvQfbb59FoCKSE+oBE5FCVvI9YE8+CWPH1p98Aey6Kxxz\nDNx2WzRxiYiIiNSlKBKwY47J7Nwrr4T//u8wIV9EREQkLgWdgLnDSy+F8hOZGDYMdt4Znn46v3GJ\niIiI1KegE7Bly0IStuuumb/noos0DCkiIiLxKugEbPZsGD4crBFT4E4/HcrL4eOP8xaWiIiISL0K\nOgF7+WUYMaJx72nfPkzaf/jh/MQkIiIi0pCCT8CGD2/8+045Be6/P/fxiIiIiGSiYOuAuYd6Xu++\nCzvt1Lh7rV8P3bvDokXQpUsjAxWRnFAdMBEpZCVbB2zZMmjbtvHJF4T3jR0LkyfnPi4RERGRhjQ5\nATOz7cxslpnNM7MFZnZ1LeecYWavpn5mmNnA7MLdpqIC9t676e8/9VR44IFcRSMiIiKSuSYnYO7+\nJXC4uw8B9gPGmVnNKfHvAYe6+2DgF8DtTY60hoULYa+9mv7+ceNgzhz46KNcRSQiIiKSmayGIN19\nferhdkALwGscn+nua1JPZwI9srlfumx7wNq0CUmYVkOKSK5t2BDmmoqI1CWrBMzMmpnZPGAlMNXd\nZ9dz+gXAU9ncL122CRjAiSfCI4/kJh4RkWqXXAJnnRV3FCKSZA1sYV0/d68ChphZR2CKmQ1w9zdr\nnmdmhwPnAQfXd71JkyZ99bisrIyysrI6z124MPsEbMwYuOAC+OILaNcuu2uJSP3Ky8spLy+PO4y8\nW7kSpkyB1q1h7lwYOjTuiEQkiXJWhsLMfgZ84e6/qfH6IOAhYKy7v1vP+zNexr1qFfTuDWvWNK4K\nfm2OPBKuuALGj8/uOiLSOMVahmLSJKishH32gWef1TQHkWIVWxkKM9vJzDqlHrcBRgMLa5zTi5B8\nnVVf8tVYCxdC//7ZJ18Axx0Hjz+e/XVERACeegrOOAPOPDMkYJs3xx2RiCRRNnPAugHTzGw+MAt4\n2t2fNLOLzeyi1Dk/A3YEfp8qV/FylvECsHgx9OuXiyvB8cfDE09AVVVuricipW3lSujZE3bYAXbb\nDV55Je6IRCSJmjwHzN0XAN+Y3eDuf0p7fCFwYVPvUZclS6BPn9xcq18/6NgxzNXYf//cXFNESpN7\nGH7s2jU8P+wwmD4dRo6MNy4RSZ6CrISfywQMNAwpIrmxdi20bBl22wA49FB4/vl4YxKRZCrIBGzx\n4twmYMcfD489lrvriUhp+uijbb1fEBKwF16ArVvji0lEkqkgE7Bc94AddFBI6pYvz901RaT0pA8/\nAuy8M3TpEuoWioikK7gErKoKli6FXr1yd82WLUNNsCefzN01RSQZzOwOM6s0s9fqON7fzF40s41m\ndlWNY0tSe9lmtIioZgIGMGIEzK6vRLWIlKSCS8A+/DCsLmrTJrfX1TCkSNH6KzCmnuOfApcDv67l\nWBVQ5u5D3L3mXrffUFsCNny4EjAR+aaCS8ByPfxYbexYKC8Pe7iJSPFw9xnAqnqOf+LurwBbajls\nNKKdrCsBezknBXhEpJgUZAK22265v+6OO8J++8Fzz+X+2iJSsByYamazzazBkjqVlWHeV7ohQ+DN\nN+HLL/MUoYgUpKz2gozDkiVhG6J8OP74UI7i2GPzc30RKTij3P1DM+tCSMQqUj1q3zBp0iTKy+Gz\nz2DAgG172bZtC3vuCa++GuaDiUhhyvV+tjnbCzJbme4F+b3vwcCBcMkluY+hogKOPho++CA32xyJ\nSN2i3AvSzHoDj7n7oHrOuRr4vOZ+tpkcr26/DjoIrr8eDj7468cvvBAGD4bLLsvqY4hIgsS2F2Rc\nli+H7t3zc+299oLttgvfVEWkqFjqJ5PzwgOztmbWPvW4HXA08Hp9b65tDhhoIr6IfFPBDUGuWJG/\nBMwsVMV/7LEwH0xECp+Z3QOUAZ3N7APgaqAV4O5+m5l1BeYAHYAqM/s+MADoAjxsZk5oK//m7s/U\nd6+6ErARI+Cmm3L3mUSk8BXcEGT37uGbZI8e+Ynj6afh2mthRq2zPEQkV6Icgsw3M/ONG52OHWHj\nxm9OYdi8OZTPWbEi7D0rIoWvpIYgt2yBjz+u/Rtmrhx6aBiCXLMmf/cQkeKzfn2YcF/b/NGWLWHQ\nIHjllejjEpFkKqgErLISdtoJWuRx4LRNm7A1kcpRiEhjbNhQf4FozQMTkXQFlYCtWJG/ocd0Rx8d\nhiJFRDLVUAKmLYlEJF1BJWD5XAGZbsyYkIAlZHqciBSATHrAVBFfRKoVVAKWzxWQ6fbZBzZtgnfe\nyf+9RKQ4NJSA9esX5pZ+9FF0MYlIchVcAhbFEKRZGIZ8pt4F5yIi2zSUgDVrpnlgIrJNQSVgUQ1B\nguaBiUjjNJSAgRIwEdmmoBKwqIYgAUaPhuefD0ORIiIN2bABWreu/xzNAxORak1OwMxsOzObZWbz\nzGxBap+0muf0N7MXzWyjmV2VXaiwciXssku2V8nMTjvBHnvASy9Fcz8RKWyN6QHTAh8RaXIC5u5f\nAoe7+xBgP2CcmY2ocdqnwOXAr5se4jYffZTfIqw1jRmjeWAikplMErAePUIdw6VLo4lJRJIrqyFI\nd1+fergdYa80r3H8E3d/BdiSzX0Aqqrgk09Cz1RUqstRiIg0JJMEzAz23x/mzIkmJhFJrqwSMDNr\nZmbzgJXAVHfP2/TSVaugQwdo1Spfd/imkSNh0aKw/ZGISH0yScBACZiIBFlt6uPuVcAQM+sITDGz\nAe7+ZlOvN2nSpK8el5WVUVZW9tXzykrYeeemx9oUrVpBWRn8859w+unR3luk2JSXl1NeXh53GHnT\nmATs5pvzH4+IJFtOdlV097VmNg0YC+QkAasp6vlf1arLUSgBE8lOzS9V11xzTXzB5MGGDdCuXcPn\nDRsWesDca9+4W0RKQzarIHcys06px22A0cDC+t7S1HtBSMCi7gGDbRPxtWpJROqTaQ/YLruERG3x\n4vzHJCLJlc0csG7ANDObD8wCnnb3J83sYjO7CMDMuprZUuBK4D/M7AMza9+Um8WVgPXrFxrVBQui\nv7eIFI5MEzDQPDARyWII0t0XAENref1PaY8rgV2beo90cSVgsG015KBB8dxfRJKvKQnYqafmNyYR\nSa6CqYQfZwKmfSFFpCGNTcC0JZFIaVMCloEjjoCZM2H9+obPFZHS1JgEbNgwmDs31DcUkdKkBCwD\nHTvCkCFhb0gRkdo0JgHbaSfYccdQZ1BESpMSsAypKr6I1KcxCRhoIr5IqVMCliElYCJSHyVgItIY\nBZGAffllmH+1/fbxxTBkSNiS6IMP4otBRJJLCZiINEZBJGCffgqdO8dbNbp5cxg9Wr1gIlK7xiZg\nQ4fCvHmwdWv+YhKR5CqYBGzHHeOOYltVfBGRmhqbgO2wA3TrBgvr2z9ERIpWQSRgn30WesDidvTR\n8OyzsGVL3JGISNI0NgEDGD5cw5AipaogErDqIci4de8OPXvCyy/HHYmIJE1TEjAVZBUpXQWTgCVh\nCBLg2GPhiSfijkJEkqaqClq2bNx7Ro6El17KTzwikmwFkYAlZQgS4Ljj4PHH445CRJKmTZvGLxTa\nf394+21YsyY/MYlIchVEApaUIUgI31iXL1c5ChH5usYOPwK0ahXmgb34Yu7jEZFkK5gELClDkM2b\nw7hxGoYUka9rSgIGcMghMH16bmMRkeQrmAQsKT1goGFIkUJiZneYWaWZvVbH8f5m9qKZbTSzq2oc\nG2tmC83sbTP7UX33ad26afEdeqgSMJFSVBAJWJLmgEGoB/avf4Xq/CKSeH8FxtRz/FPgcuDX6S+a\nWTPg1tR79wFON7O96rpIU3vARo6E+fPVnoiUmoJIwJI0BAlhS6Rhw+C55+KOREQa4u4zgFX1HP/E\n3V8Balb4GwEscvf33X0zcC8wvq7rNDUBa9cOBg2CWbOa9n4RKUwFk4AlqQcMQjmKxx6LOwoRyaMe\nwNK058tSr9WqqQkYaBhSpBQlPgFzD0OQSeoBAzjhhJCAVVXFHYmIJEFT54CBEjCRUtQi7gAasm5d\nKG6YTeOWD3vuGXrlZs6Egw6KOxoRyYPlQK+05z1Tr9XqvfcmMWlSeFxWVkZZWVnGNxo1Cr71Ldi0\nKZSmEJHkKS8vp7y8PGfXM3dv2hvNtgOmA60IidyD7n5NLefdAowDvgDOdff5dVzPa4tlyZLw7TCJ\ndbeuvhq++AJuuCHuSEQKj5nh7o0sXdrke/UBHnP3gfWcczWwzt1vTD1vDrwFHAl8CLwMnO7uFbW8\n1ydOdB56qOkxDhkCt94akjERSb5s27AmD0G6+5fA4e4+BNgPGGdmI2oENw7o6+57ABcDf2zsfZI4\n/Fht4kR46KEwTCoiyWRm9wAvAnua2Qdmdp6ZXWxmF6WOdzWzpcCVwH+kzmnv7luBy4BngDeAe2tL\nvqq1yHI84YgjtLBHpJRk1WS4e/XC6e1S16qZiowH7kqdO8vMOplZV3evzPQeSZyAX23QoFCYdf78\n8O1VRJLH3c9o4HglsGsdx/4B9M/kPrlIwG64AX72s+yuIyKFIatJ+GbWzMzmASuBqe4+u8YpNVcR\nLaeeVUS1SXIPmFnoBZs8Oe5IRCRu2SZghx4Ks2erHphIqci2B6wKGGJmHYEpZjbA3d9s6vUmVc9g\nZdsk1tWrYYcdsokyvyZOhPPPh2uvjTsSkWTL9QTWpMk2AevQAQYPhhdegNGjcxOTiCRXTlZBuvta\nM5sGjAXSE7DlfL1rv95VROkJWLXVq0Ph06QaMQLWrIGFC2GvOmtki0jNlYHXXPONNTsFLdsEDODI\nI+HZZ5WAiZSCJg9BmtlOZtYp9bgNMBpYWOO0R4GzU+eMBFY3Zv4XJD8Ba9YMTjxRw5AipS6XCZiI\nFL9s5oB1A6aZ2XxgFvC0uz+ZvrrI3Z8EFpvZO8CfgEsae5NVq5KdgIHmgYlIbhKwkSNDb/qqOjdO\nEpFi0eQmw90XAENref1PNZ5f1tR7AImfAwZwyCGhTtmSJdCnT9zRiEgccpGAbbddKOz8/PMwYUL2\n1xOR5Er8VkRJH4KE0PCecAI8/HDckYhIXHKRgIGGIUVKhRKwHNEwpEhpy2UC9s9/5uZaIpJcSsBy\n5Mgj4fXXYeXKuCMRkTjkKgEbMgQ++QSWLm34XBEpXIlPwFatSv4cMAhzN445BqZMiTsSEYlDrhKw\nZs3CF7qpU3NzPRFJpkQnYO6F0wMG2/aGFJHSk6sEDODoo5WAiRS7RCdgGzeG7X5at447ksyMGxe2\nEvn447gjEZGo5TIBGz06zAPbujV31xSRZEl0AlYIJSjStW0bkjD1gomUnlwmYLvuCj16wIsv5u6a\nIpIsiU/ACmX4sdq3vgX33ht3FCIStVwmYAAnnaQvcyLFLNEJWCFUwa9p7Fh49VVYsSLuSEQkSrlO\nwKpL27jn9roikgyJTsAKsQesdetQlPXBB+OORESilOsEbMCAMK1hzpzcXldEkiHxCVghzQGrpmFI\nkdKT6wTMTMOQIsUs8QlYofWAARx1FLz1VtgfUkRKQ64TMNiWgGkYUqT4KAHLg1at4OST4X//N+5I\nRCQq+UjAhgyBLVtgwYLcX1tE4pXoBKwQJ+FXO+88+Otf9c1VpFTkIwEzC5PxNadUpPgkOgEr1B4w\ngAMOCD1h06fHHYmIRCEfCRjA6afDPffoy5xIsUl0ArZmDXTqFHcUTWMG558Pd9wRdyQiEoV8JWDD\nhkHz5vDyy/m5vojEQwlYHp11Fjz6aPgcIlLc8pWAmcGZZ8Lf/paf64tIPBKdgK1dW9gJWJcuYUWk\nSlKIFL98JWAQErD77oPNm/N3DxGJVqITsDVroGPHuKPIjoYhRUpDPhOwvn1h993DBt0iUhwSn4AV\ncg8YwNFHw4cfahm5SLHLZwIGGoYUKTZNTsDMrKeZPWdmb5jZAjO7opZztjezyWb2qpnNNLMBjblH\nMSRgzZvDueeqF0yk2OU7AfvWt+Dxx+GLL/J7HxGJRjY9YFuAq9x9H+BA4FIz26vGOT8F5rn7YOAc\n4JaML74FNm6E9u2ziDAhzjsvfHP98su4IxGRfMl3AtalC4wcCU88kd/7iEg0mpyAuftKd5+ferwO\nqAB61DhtAPBc6py3gD5m1iWT669dCx06hBVAhW733WG//eCBB+KORETyJd8JGMApp6gdESkWOZkD\nZmZ9gP2AWTUOvQpMTJ0zAugF9MzkmsUw/Jjussvgd7+LOwoRyZcoErAJE+CZZzQMKVIMsm4yzKw9\n8CDw/VRPWLrrgJvNbC6wAJgHbK3rWpMmTfrqcc+eZXTqVJZteIlx3HHwgx+EYoojRsQdjUj0ysvL\nKS8vjzuMvIkiAevcGQ46CB55BM44I//3E5H8Mc9ifwszawE8Djzl7jdncP5iYGAtiRpm5umxPP88\n/OxnxbWVz69/Da+9BnffHXckIvEzM9y9CCYZhPbr7bedPfbI/70efBBuuaW42kaRQpRtG5btEORf\ngDfrSr7MrJOZtUw9vhB4vrbkqzZr1xZ+DbCazj8/rGKqrIw7EpHSYWZ3mFmlmb1Wzzm3mNkiM5tv\nZkPSXl+SWsU9z8zq3Qwoih4wgPHj4Z134PXXo7mfiORHNmUoRgFnAkekGqe5ZjbWzC42s4tSp+0N\nvG5mFcAY4PuZXr/Y5oAB7LgjnHwy3HZb3JGIlJS/EtqfWpnZOKCvu+8BXAz8Ie1wFVDm7kPcvd7J\nA1ElYC1bwoUXwh//GM39RCQ/mtxkuPsLQPMGzpkJ9G/K9YsxAQO4/HIYNw5+/OPQkIpIfrn7DDPr\nXc8p44G7UufOSvXcd3X3SsDI8ItqVAkYhARs0CC47rriKNUjUooSWwm/WBOwQYOgXz+YPDnuSEQk\npQewNO35craV1HFgqpnNTk2jqFOUCVjPnnDYYaqML1LIImwyGmfNGthhh7ijyI/LL4ff/jZUthaR\nRBvl7h+m6hdONbMKd59R24k33DCJNm3C47KyMsrKyvIa2CWXwFVXwUUXFUe9RJGky/VK7qxWQeZS\nzVWQ3/0uDB4M3/tejEHlyZYtoRfsvvvggAPijkYkHlGugkwNQT7m7oNqOfZHYJq735d6vhA4LDUE\nmX7e1cDn7v6bWq7ha9c6HTrkJ/7auMOwYWG1+IknRndfEQniXgWZN8U6BAlhqOIHP4Abbog7EpGS\nYamf2jwKnA1gZiOB1e5eaWZtU3UOMbN2wNFAnWsPoxyChNDrNWkSXHMNVFVFe28RyV6iE7BiK0OR\n7oILYNo0ePfduCMRKW5mdg/wIrCnmX1gZuelr9Z29yeBxWb2DvAn4JLUW7sCM8xsHjCT0IP2TF33\niToBAzj+eGjWDJ58Mvp7i0h2EjsEefDB8MtfwiGHxBhUnv30p6He2a23xh2JSPSKrRDr1q1Osxi+\n0t5zD9x+e/hCJyLR0RBkAbv88rCK6ZNP4o5ERLIVR/IFYYPud96BuXPjub+INI0SsBh16wYTJ8Lv\nfx93JCJSqFq2hCuugN98Y2mAiCRZYocgO3WC99+H7bePMagIVFRAWRksWcJXS9hFSkGxDUHG2Zau\nXg277x72mu3ZM7YwREpKUQ5BVlXBunVEuqQ7LnvvDSNGwF13xR2JiBSq7beHs8+G3/0u7khEJFOJ\n7AFbswZ23TVMUC8F06fDeefBwoXankhKh3rAcmvxYhg+PPwuhS+vInEryh6wYi9BUdOhh0KfPnDn\nnXFHIiKFarfd4PDD4S9/iTsSEclEYhOwYp+AX9O114afL7+MOxIRKVT/9m9w002wdWvckYhIQ5SA\nJcRBB8GAAXDHHXFHIiKFauRI6N4dHn447khEpCGJTMDWri29BAzg5z+H//ov2LAh7khEpFBddRXc\neGPcUYhIQxKZgJViDxiECbTDh8PNN8cdiYgUqgkT4OOPVRlfJOmUgCXMDTeEn+XL445ERApR8+Zh\nG7crr9RcMJEkUwKWMH37wiWXwGWXQUIqhIhIgTn55FAb7Pbb445EROqS2ASslMpQ1PQf/wHvvafi\nrCLSNGZhKsPVV8OqVXFHIyK1SWwCVqo9YADbbQd33w3//u9hiyIRkcYaPDjsNfuf/xl3JCJSmyYn\nYGbW08yeM7M3zGyBmV1RyzkdzexRM5ufOufcTK5d6gkYwKBB8H/+D5x7btiaSUSksX7xC3joIXjh\nhbgjEZGasukB2wJc5e77AAcCl5rZXjXOuRR4w933Aw4HbjSzFg1dWAlY8G//FpKv3/427khEpBB1\n7gy33hq2OlN5G5FkaXIC5u4r3X1+6vE6oALoUfM0oHpXsg7Ap+6+paFrKwELmjcP2xNddx28/nrc\n0YhIIZo4EYYNg//7f+OORETS5WQOmJn1AfYDZtU4dCswwMxWAK8C38/keqVaiLU2u+0Gv/oVfPvb\n2qZIRJrmd7+De+6BqVPjjkREqjU4HNgQM2sPPAh8P9UTlm4MMM/djzCzvsBUMxtUy3kATJo0CQgT\nzysqyhgypCzb8IrCeefBI4/Az34G118fdzQiTVNeXk55eXncYZSknXaC++6Dk06CJ58MBZ9FJF7m\nWRSbSs3nehx4yt2/Ub/dzB4HfunuL6SePwv8yN3n1HKuV8ey446waFGYvyDBJ5+EYYSbboITT4w7\nGpHsmRnubnHHkQvp7VeSTZkSagzOmQO77BJ3NCKFLds2LNshyL8Ab9aWfKW8DxwFYGZdgT2B9+q7\noHsYgizlOmC12WknePBBuOgieOmluKMRkUI0YQKcfz6ceips3hx3NCKlrck9YGY2CpgOLCBMtnfg\np0BvwN39NjPrBvwP0C31tl+6+9/ruJ67O+vWwc47w/r1TQqr6D31VChN8dRTMHRo3NGINJ16wOJR\nVQXHHw977BF61EWkabJtw7Iagsyl6gZs+XLYf3/48MO4I0quhx+G730vTKgdODDuaESaRglYfFat\nCu3stdfCGWfEHY1IYcq2Dct6En6urV4NO+wQdxTJduKJYUXkmDHw3HOwV83qayIi9dhhB5g8GY46\nKnyJ0xc5keglbiuizz4Lk/ClfqedBr/8JYweDe++G3c0IlJoBg9WiRuROCkBK2DnnBM27j7ySHjz\nzbijEZGhsBxEAAAgAElEQVRCc955odbgD38YFkCJSHQSlYBNmjTpqwRs0qRJX9UFqz6m5998/t3v\nws9/DsOHT+Lss+OPR8/1PNPnEj8zuOMOKC8PlfKVhIlEJ3GT8G+8EZYvh9/8Ju6ICsv06WFp+X/+\nZ5igb0UxtVmKmSbhJ8fHH8MRR4T5pT//edzRiBSGuOuA5ZyGIJvm0ENhxgz4/e/hggtg48a4IxKR\nQtGlCzz77LYV1ps2xR2RSPFLZAKmVZBN068fzJwZCtkeeqhKeYhI5nbeGV54AVasgIMO0rxSkXxL\nXAK2apV6wLLRvj3cf38otHjggTB3btwRiUih6NgxbFd00UVw+OHhC52I5EfiEjANQWbPbNvG3WPH\nwnXXwdatcUclIoXALCRg//M/cMIJYWqDiOSeErAiduqpMHs2/OMfYYLt++/HHZFI9MzsDjOrNLPX\n6jnnFjNbZGbzzWy/tNfHmtlCM3vbzH4UTcTJMG4c3HMPTJwIDzwQdzQixUcJWJHr3TtMrj322LD1\nyJ13aqm5lJy/AmPqOmhm44C+7r4HcDHwx9TrzYBbU+/dBzjdzEpq34mjjoInngj1Bi+7TD3pIrmk\nBKwENG8eCi3+85+hvMf48ZqgL6XD3WcAq+o5ZTxwV+rcWUAnM+sKjAAWufv77r4ZuDd1bkkZPhzm\nzIGKirBvpJIwkdxIVAK2ZQusWwedOsUdSXEaPDgMSQ4aFPZ+u+YaWLky7qhEYtcDWJr2fFnqtbpe\nLzkdO8KTT4YvyBdfHNpqEclOi7gDSLd6dUi+miUqLSwurVrBL34RtiD55S9h773hsMPg9NPh6KNV\nAkQEaFJhxbKyMsrKygBYsmQJffr0+arif7H8njx5EiefDD16TGLiRPjDH5IRl37rdxS/y8rKKC8v\np7y8nFxIVCX8t95yjj0WFi2KO5rS8fnnoWzF5Mnwr3+F3rExY0Iytv/+YfhSJB+irIRvZr2Bx9x9\nUC3H/ghMc/f7Us8XAocBuwGT3H1s6vUfA+7uv6rlGgVdCb8x3OGuu+Df/x2uvTYMS3bsGHdUItEr\nqkr4mv8VvQ4d4Pzzw0TbysqwH9zq1aGafqdOUFYWyllUVGjyvhQ0o+6erUeBswHMbCSw2t0rgdlA\nPzPrbWatgNNS55Y0MzjnnLC6+umnYdddw4rrP/857Cm5aJHaCpFMJKoH7MknnZtvDv9jS/xWrw6V\nsZ94Ah5/HFq2DAVejzsuVNpv1SruCKWQRdUDZmb3AGVAZ6ASuBpoRejNui11zq3AWOAL4Dx3n5t6\nfSxwM+HL6h3ufl0d9yiZHrCaPvss9KCXl8OyZbB4cZgj9v/+H5x8cigOLVKMsm3DEpWA/e//Ok88\nEWrPSLK4w2uvhUTsscdCj1j//jByZChxcdhh0Lp13FFKIdFm3MVr9mz40Y9CJf2ePcMCoL33hrZt\nQ32xwYPjjlAke0WVgF1zjbN+fajcLsn22WewcCE8/3zoIVuwIGxdctxxcMwx0L173BFK0ikBK35b\ntsDbb8P8+fDWW2Gf2vvvD8OWY8aEAtFdukCfPiE5EykkRZWAjRnjnHcefOtbcUcjjfXpp2Ho+PHH\nw7yQPn1CMnbssaGOkFa2Sk1KwErTpk1he6Nnnglf4FatgqVLYehQ+Pa34eyzoU2buKMUaVhsCZiZ\n9SQUL+wKVAG3u/stNc75d+BMwIGWwN7ATu6+upbrebt2zty5sOeeTQpJEmLLFnjxxdAz9thjYaXl\nqafCmWeGRlYElIDJNhs2hB07brstDF8eeyz06BHmjw0eDIccsi0pq6wM0yFmzw7J3Nat4ffQobDT\nTuG8Ll1g9921ilvyK84EbBdgF3efb2btgVeA8e6+sI7zjwN+4O5H1XHc27d31qxRb0mxeeMNuO++\nsA1Snz5h+fqxx+rfudQpAZPavPVW2LXj449hzZpQhf/VV6Fbt9BbtnlzKCQ9fHhI0Jo1C4nW3Llh\n4dCGDWGnj9Wrw64fI0fCXnvBbruFYc7KyjBftU+fsLBIpKkSMwRpZlOA37n7s3Uc/xvwnLvfUcdx\nHzXKmTEjJ+FIAm3ZAg8+CL/+NaxfD5dfHoabO3eOOzKJgxIwydTq1SGp6tgxzC+1DP5qVqwIqzNf\ney0sGnr//dDudO0akrQvvwxDngMHwtixofdMpDESkYCZWR+gHNjX3dfVcrwNYRuPvrUNP6bO8Usv\ndW69NetwJOHcYdo0uP32MEy5xx6hrMVhh8HBB6shLBVKwCROCxbAQw/B66/D1KnQq1cY6jz77G1D\nmJkkelK6Yk/AUsOP5cC17v5IHeecCpzp7nVuZGtmPn781ey3X3ievq2HFK9Nm8JcjunTw4TcF18M\nDeFhh4Wk7PDDYeed445ScqHmFh7XXHONEjBJhPXrw9Dno4/Cww+HRUXNm8Mpp4Sf4cOVjMk3xZqA\nmVkL4HHgKXe/uZ7zJgP3u/u99Zzjmzc7LRK1O6VEbcuWsGT9+efDz/TpoYds7Ngwl2P//cMQghQ+\n9YBJUrmHnrH774cHHoCNG+Gkk6Bfv5CYrV4dVm4uWxZ6y9q1C+cMGhQStkx78TdtCj1xy5bByy+H\n3UeOPBKGDcvv55PciDsBuwv4xN2vquecTsB7QE9331DPeWrA5Bs2bQq9YlOnhp6yOXNCY7f//qGR\nqv7dpUvckUpjKQGTQlCdjE2ZAsuXQ1VV2MKtV69QZLayMswpa9UKZs0K0yr69w/HOncOx9q3D4/d\nwzU6dQpz1J57Liwu2HXX0JatXRvus/POIZE76aQwFNqQjRtDjG+/Hea6tWoV7tmhw7Z5c4MHa1Vo\nrsW5CnIUMB1YQCgz4cBPgd58fYuPc4Ax7n5GA9dTAyYNcg9bncyZs+1n7tywqqlz59AQffEFrEvN\nROzePfzss09o4EaMCBW5tQIzfkrApBh99lkYzly6NAxltm0b2qNPPw3tV48eYXXnLruEOa+9e3/9\n/Vu3hlWgkyeHZKx795CInXACDBjAV6NE1buT/PnPYfeYXXcNiV+fPmEkYd26UAJozRpYsiTc/+ST\n4bTT4KCDvtkGusO774akbfvtQyI3c2Yo69G3b2hDt9suu/82n34aVsTPnx+S0FGjwr2qqkKv4cCB\nhTXUG/scsFxRAyZNVVUFK1eG/7nbtAk9ZO3ahQblww9D9/6CBSFZmzUrLGWfMCHUJTvsMH0rjIsS\nMJH6bd0aitZOngxPPRV6z0aNCu3cnDmhjMY558B3vvPNRK6mRYtC8nPffaG97NUr9Iq1ahV6zt54\nI1xvw4aQuHXrBgceGMp+LFoUkrjhw0OPXK9e2366dw9fgHv0CMnh6tVh1OK990JPXlUVvPRS2Ff4\nrbfCTimHHx7a6xkzwv3MQsK6fn3Yqmr33cPnOfjgkFAmlRIwkUZaujQ0Qn/7G3zwQZjsf8gh4RtY\n9Te86m+Pn3++7fG6deGnbdttjdfgwWGOmpK4xlMCJtI4a9aEFeRbtsB++4Weqab0GK1YEb6YvvJK\nSPL69w8jAz171v2eVatCj9gHH3z958MPQ+K0alVoGzduhAMOCO3iypXhvQceGHrdRowICV9dFi0K\nO6ksXx56455/PvSQbdoUkrxddgn13EaPDglfVVX4sj1oUPa9c3X58stwn7ffDvGsWBHmAl5wgRIw\nkawsXx4m+r/wQmjcNm0KPWcdOmybQ5H+u337MMS5eHEoDjl/fpgDMnBgqMQ9cGAYCu3YMXyD7NYt\nNJDVPxAaknbt4v3cSaAETKR4rF0berM6dyZni+m2bg1z29q3D4ndypVhD+LqQr3VCyIWLw57i552\nWuhhy3Yrqw8/DMO6d98degbNQrI7alT43bEjXHqpEjCR2K1ZE5KxuXPD/6yrV4fXVqwIyZn7th8I\nDYlZ+DbXp0/4ppj+s/vuTfs2t2lT6Klbuzb01JmFhrBTp3CvpM2tUAImIrnw6adhmPa++8LQ7LHH\nhu3vjjgiDKtW99L17Ru+ANdl8WK47rqw8nX8eDjrLCgrq3vOsBIwkQK0bl1oFBYvDt3uixaFLu5F\ni0K3fvfuYQ5Es2ZhaLRnzzCfonXr0IW/cmXoon/33TA3Y/Xq8G2xetVT+/Yh4duyJQwNrF8fus17\n9w6TdXv2DI8HDgyNUhybHysBE5Fcq6wMBXYfeijMPdu6NYxEtG4d2tbhw0P7umVL+Nm6NbSZS5eG\n3rbvfheuvDKzUiJKwESKzObNIalaujTMPfjkkzBU+tFHYT7Cl1+GZKxv3/DTpw/suGNoYOrq5Vqz\nZltyt2xZuPaSJWEV1fvvh4Rt1123zW3bf/9Qdy2fRXCVgIlIPm3eHIYpq3uw1q8P87hWrQqjAy1b\nhmOrV4dRgoMOCl9iM6UETESyUlUV5lMsWxaSsvnzQ821mTPD5NxvfxtOPz33W0QpARORQqYETETy\nYtOmsOLqrrtCccn99w9lOw47LKxyynbVkRIwESlkSsBEJO/Wrt22X+fzz8Obb4Yl5YcfHiapDh9e\n/+TWmqqqoHlzJWAiUriUgIlI5NauDUUUp02D8nKoqIAhQ8Kqo0MPDRP+W7TYtvVKRcW2bVJmzYLL\nL4cf/EAJmIgULiVgIhK7devCiqOpU8Pcsffe21Z2Y5ddQpHH/v3DJP9hw8KWKuoBE5FCpgRMRAqS\n5oCJSCHLtg3TlsQiIiIiEVMCJiIiIhIxJWAiIiIiEVMCJiIiIhIxJWAiIiIiEVMCJiIiIhIxJWAi\nIiIiEVMCJiIiIhIxJWAiIiIiEWtyAmZmPc3sOTN7w8wWmNkVdZxXZmbzzOx1M5vW9FCLV3l5edwh\nxKaUPzvo80fBzMaa2UIze9vMflTL8e3NbLKZvWpmM81sQNqxJanX55nZy9FGXhhK/W+4lD9/KX/2\nXMimB2wLcJW77wMcCFxqZnuln2BmnYD/Bo5z932BU7K4X9Eq5T/iUv7soM+fb2bWDLgVGAPsA5xe\ns50CfgrMc/fBwDnALWnHqoAydx/i7iOiiLnQlPrfcCl//lL+7LnQ5ATM3Ve6+/zU43VABdCjxmln\nAA+5+/LUeZ809X4iIk0wAljk7u+7+2bgXmB8jXMGAM8BuPtbQB8z65I6ZmiqhojkQU4aFjPrA+wH\nzKpxaE9gRzObZmazzeysXNxPRCRDPYClac+X8c0viq8CEwHMbATQC+iZOubA1FT7dWGeYxWREmLu\nnt0FzNoD5cC17v5IjWO/A4YBRwDtgJeAY9z9nVquk10gIlJw3N3yeX0zOwkY4+4XpZ5/Gxjh7lek\nndMBuJnwJXIBsBdwobu/Zmbd3P3DVI/YVOAyd59Ry33UfomUoGzasBbZ3NjMWgAPAnfXTL5SlgGf\nuPtGYKOZTQcGA99IwPLdEItISVpO6NGq1jP12lfc/XPgO9XPzWwx8F7q2Iep3x+b2cOEIc1vJGBq\nv0SksbIdgvwL8Ka731zH8UeAg82suZm1BQ4gzBUTEYnCbKCfmfU2s1bAacCj6SeYWScza5l6fCHw\nvLuvM7O2qR5+zKwdcDTwerThi0ixanIPmJmNAs4EFpjZPMJciZ8CvQF399vcfaGZPQ28BmwFbnP3\nN3MQt4hIg9x9q5ldBjxD+MJ5h7tXmNnFpNopYG/gTjOrAt4Azk+9vSvwcGp4sQXwN3d/JvpPISLF\nKOs5YCIiIiLSOLEvr26oSGKxqa2wo5ntYGbPmNlbZvZ0qn5aUTCzO8ys0sxeS3utzs9rZj8xs0Vm\nVmFmR8cTdW7U8dmvNrNlZjY39TM27VgxffZaCzUX2799qbVfUFptWCm3X6A2LO9tmLvH9kNIAN8h\nDFu2BOYDe8UZUwSf+T1ghxqv/Qr4Yerxj4Dr4o4zh5/3YMLqstca+ryEekzzCMM9fVJ/Gxb3Z8jx\nZ7+aUMC45rl7F9ln3wXYL/W4PfAWYXVh0fzbl2L7lfrcJdOGlXL7Vc/nVxuWo3//uHvAMimSWGxq\nK+w4Hrgz9fhOYEKkEeWRhyX7q2q8XNfnPQG41923uPsSYBHhb6Qg1fHZIfwN1DSe4vrstRVq7klx\n/duXYvsFJdSGlXL7BWrD8t2GxZ2AZVIksdikF3a8IPVaV3evhPCPDuwcW3TR2LmOz1vz72E5xfn3\ncJmZzTezP6d1XxftZ7dthZpnUvffeiF+/lJsv0BtWKm3X6A2LCf//nEnYKVolLsPBY4h7J95CKFB\nS1dqKyNK6fP+Htjd3fcDVgI3xhxPXqXKODwIfD/1LbLU/9aLgdqwryulzwpqw3L2tx53AtZgkcRi\n42mFHYEphC7KSjPrCmBmuwAfxRdhJOr6vMuBXdPOK7q/B3f/2FMTBoDb2dZFXXSf3Wov1FxM//Yl\n136B2jCK62+40dSG5e7fP+4ErMEiicXEai/suIDwmc9NnXYOoYBtMTG+Pmegrs/7KHCambUys92A\nfsDLUQWZJ1/77Kn/YatNZFthz2L87LUVai6mf/uSar+gZNuwUm6/QG1Y/tqwBKw0GEtYXbAI+HHc\n8eT5s+5GWCk1j9Bo/Tj1+o7AP1P/HZ4Bto871hx+5nuAFcCXwAfAecAOdX1e4CeE1SMVwNFxx5+H\nz34XoTDxfELvQdci/eyjCMWXq//e56b+X6/zb70QP38ptV+pz1tSbVgpt1/1fH61YTn691chVhER\nEZGIxT0EKSIiIlJylICJiIiIREwJmIiIiEjElICJiIiIREwJmIiIiEjElICJiIiIREwJmIiIiEjE\nlICJiIiIREwJmIiIiEjElICJiIiIREwJmIiIiEjElICJiIiIREwJmIiIiEjElICJiIiIREwJmIiI\niEjEWsQdgJQeMzsA+E9gMNDb3beaWVfgJqA98F/u/lKcMYqI1MfMjgMOAJYDG4CNwMHAVe6+Oc7Y\npDAoAZPIufssM/sXsBtwEnC/u1ea2ePAZHffEG+EIiK1MzMDbgPecvefpb0+Aein5EsypSFIiZyZ\nNSN8Y7wJ+H7aofZKvkQk4SYB5u431Hj9JeCZ6MORQmXuHncMUmLMbH+gJTAP+AAY4+7zzOxCd789\n3uhERGpnZjsCy4A93X1ZLcfb6EukZEo9YBKHYcAsd98I/AG4wsz6A2/FG5aISL0OAd6vLfkCUPIl\njaEETOJg7l6Vevx74ETgeEIXvohIUlUBn9V2wMzOijgWKXBKwCRSZtaCsFoIAHevBCYDh2vyqogk\n3LNAZzPrVf2CBRcBT8YXlhQirYKUyJjZcOAnwBdm9oy7r0gd+g2hB0xEJLHcfb2ZHQ/8zMzeAFYB\nDjzk7p/GG50Umowm4ZvZWMKKtWbAHe7+qxrHTwCuJXTPbgaudPcXzGw7YDrQipDsPeju1+T2I4iI\n1K2h9it1ThnwW8LikI/d/fC0Y82AOcAydz8hkqBFpOg1mIClGp+3gSOBFcBs4DR3X5h2Tlt3X596\nPJBQ12nv9GNm1hx4AbjC3V/Oy6cREUmTYfvVCXgRONrdl5vZTu7+SdrxKwkLRzoqARORXMlkDtgI\nYJG7v5+ao3MvMD79hOrkK6U9oSes5rHtCL1gqnshIlFpsP0CziAMIS0HqJF89QSOAf4cUbwiUiIy\nScB6AEvTni9LvfY1ZjbBzCqAx4DvpL3ezMzmASuBqe4+O7uQRUQylkn7tSewo5lNM7PZNVaz/Rb4\nP+iLo4jkWM4m4bv7FGCKmR0M/AIYnXq9ChhiZh1Txwe4+5s1329mauBESoy7W9wxENrBocARQDvg\nJTN7CegPVLr7/NQcsTpjVfslUpqyacMy6QFbDvRKe94z9VpdwcwAdk9VDE5/fS0wDRhbz3tL8ufq\nq6+OPQZ9dn3+qH8ikkn7tQx42t03eljJNp2wUfwo4AQzew/4O3C4md1V143i/u+pv2F9fn32aH+y\nlUkCNhvoZ2a9zawVcBrwaPoJZtY37fFQoJW7f2ZmO6UmuGJmbQi9YgsREYlGg+0X8AhwsJk1N7O2\nwAFAhbv/1N17ufvuqfc95+5nRxq9iBStBocg3X2rmV1G2GS0ehl3hZldHA77bcBJZnY2sImwyfKp\nqbd3A+5MrURqBtzn7ipWJyKRyKT9cveFZvY08BqwFbjNa5kmISKSSxnNAXP3fxDmQ6S/9qe0x9cD\n19fyvgWEuRVSj7KysrhDiE0pf3bQ549CQ+1X6vkNwA31XON54Pm8BFjgSv1vuJQ/fyl/9lzIqBBr\nFMzMkxKLiOSfmeHJmISfNbVfIqUn2zZMe0GKiIiIREwJmIiIiEjElICJiIiIREwJmIiIiEjElICJ\niIiIREwJmIhIDDZuhLfego8+ijsSEYmDEjARkYg9+CD07QvHHQcDBsBf/hJ3RCIStZxtxi0iIg17\n8UW4/HKYPBkOPBDeeAOOOQZ22AFOPDHu6EQkKirEKiKxKMVCrBs2wODBcN11MHHittdnzYLjj4c5\nc6BXr7rfLyLJoUKsIiIF4u9/D0OP6ckXwAEHwGWXwfe/H09cIhI9JWAiIhH5wx9ColWbH/4QXn8d\nnnoq2phEJB5KwEREIjBnDnz8MYwdW/vx1q3hl7+Ea6+NNi4RiYcSMBGRCNx/P5x9NjRvXvc5J54I\nlZVhor6IFDclYCIiEXjmGRg3rv5zmjeHK6+EG2+MJiYRiY9WQYpILEppFeTKlbD33mEIskUDxX++\n+AL69IGXXoJ+/XIbp4jkjlZBiogk3NSpcMQRDSdfAO3awUUXwU035T8uEYlP4hKw9evhwgvDcux1\n6+KORkQke1OnwujRmZ9/2WXwt7/BmjX5i0lE4pW4BGzRojBXYto0mDEj7mhERLI3axYcdFDm53fr\nFnrM7r8/fzGJSLwSl4CtXAn9+4etOWbNijsaEZHsrF0Ly5aFPR8b49xz4c478xKSiCRARgmYmY01\ns4Vm9raZ/aiW4yeY2atmNs/MXjazUanXe5rZc2b2hpktMLMrGrpXZSV07RoqQysBE5FCN28eDBqU\n2fyvdGPHhhGBRYvyE5eIxKvBBMzMmgG3AmOAfYDTzWyvGqf9090Hu/sQ4Hzgz6nXtwBXufs+wIHA\npbW892tWroRddtmWgGlhpIgUsldegWHDGv++li3hzDPhrrtyH5OIxC+THrARwCJ3f9/dNwP3AuPT\nT3D39WlP2wNVqddXuvv81ON1QAXQo76bVfeAde8ObdvCO+9k/mFERJKmqQkYbBuGrKrKaUgikgCZ\nJGA9gKVpz5dRSxJlZhPMrAJ4DPhOLcf7APsB9Q4sVveAgYYhRaTwZZOADRoEnTuHRUkiUlwaOSuh\nbu4+BZhiZgcDvwC+WnRtZu2BB4Hvp3rCajVp0iRefDFUg+7Zs4yBA8uoqMhVhCISp/LycsrLy+MO\nI1IbNsD774cirE111llwzz1w5JG5i0tE4tdgJXwzGwlMcvexqec/Btzdf1XPe94Fhrv7Z2bWAngc\neMrdb67nPe7u7Lsv/P3vMHBgaHSmTNFSbJFiFFUlfDMbC9xE6PG/o7a2y8zKgN8CLYGP3f1wM+sJ\n3AV0JUyruN3db6njHrVWwn/1VTjjDHjjjabHv3gxjBwJK1bUv4+kiEQrikr4s4F+ZtbbzFoBpwGP\n1giib9rjoUArd/8s9dJfgDfrS77SpQ9B7rGHVgCJSNNlsojIzDoB/w0c5+77AqekDjV6EVFNFRXZ\n9X4B7LZbaBNnzszuOiKSLA0mYO6+FbgMeAZ4A7jX3SvM7GIzuyh12klm9rqZzQV+B5wKkCpHcSZw\nRKpExdzUt9Fabd4cKj937hye77FHmISvlZAi0kQNLiICzgAecvflAO7+Sep3oxcR1ZSLBAxg/Pgw\nGiAixSOjOWDu/g+gf43X/pT2+Hrg+lre9wKQcaf5Rx9Bly7QLJUWbr89tG4desW6dcv0KiIiX6lt\nEdGIGufsCbQ0s2mEVdy3uPvd6SdkuoiopooKmDChkRHXYsIEOO00uP56sKLYvlxEcjYJPxcqK7cN\nP1arHoZUAiYiedICGAocAbQDXjKzl9z9HWjcIqJqZWVllJWFRUQ/+Un2AQ4ZAhs3wsKFuelRE5HG\ny/VCokQlYCtXhhpg6aoTsEMPjScmESloy4Feac97pl5Ltwz4xN03AhvNbDowGHgntYjoQeBud3+k\nvhulJ2AAW7eGKRT9+9d+fmOYwQknhGFIJWAi8aj+YlXtmmuuyep6idoL8qOPYOedv/6aJuKLSBYa\nXEQEPAIcbGbNzawtcABhvhc0chFRusWLQ49+27ZZRJ9m/Hh4pN4UUEQKSaISsC++gPbtv/7aHnvA\n22/HE4+IFLZMFhG5+0LgaeA1YCZwm7u/2dhFRDW9/TbsuWfuPsthh4Vrfvhh7q4pIvFJ1BDkxo1h\n0n069YCJSDYaWkSUen4DcEON1xq1iKimd9+Fvn0bPi9TrVqFDboffRQuvjh31xWReCSqB+zLL2tP\nwN59V3uhiUhhee+93CZgoGFIkWKSqASsth6wDh2gY0dYXnParIhIgr37Luy+e26vOW4czJgBn3+e\n2+uKSPQSl4Btt903X9cwpIgUmlwPQUL4MnrQQfCPf+T2uiISvcQlYDV7wCBMZFUCJiKFoqoqrILM\ndQ8YaBhSpFgURAKmHjARKSQrV4bpEzVXdefCCSfAk0+GrdtEpHApARMRybF8DD9W69ED+vWD6dPz\nc30RiYYSMBGRHMtnAgYahhQpBolKwGorQwHh297ixWFrDxGRpFu8GHbbLX/Xr07A3PN3DxHJr0Ql\nYHWtgmzbFjp3hqVLo49JRKSxli6FXr0aPq+p9tkHWraE+fPzdw8Rya/EJWC19YCBhiFFpHAsWwY9\ne+bv+mYahhQpdErARERybNky2HXX/N5DCZhIYVMCJiKSQ+5hCDKfPWAQCrJ+8IF2CREpVErARERy\naO3a8Ltjx/zep0ULOPpoeOqp/N5HRPJDCZiISA4tXRqGH83yf69jjglFWUWk8CQqAaurDAWEmjrv\nvw9btkQbk4hIY+R7An66sWPh2WdD2ykihSWjBMzMxprZQjN728x+VMvxE8zsVTObZ2Yvm9motGN3\nmLLDEbQAACAASURBVFmlmb3W0H3qKkMBITHr2jUkYSIiSRVlAtalC+y9N8yYEc39RCR3GkzAzKwZ\ncCswBtgHON3M9qpx2j/dfbC7DwHOB/6cduyvqfc2qL4hSIC99oKFCzO5kohIPKqHIKOiYUiRwpRJ\nD9gIYJG7v+/um4F7gfHpJ7j7+rSn7YGqtGMzgFWZBLNpU909YBCKD77xRiZXEhGJR5Q9YKAETKRQ\nZZKA9QDSa9AvS732NWY2wcwqgMeA7zQlmFat6p+4us8+8PrrTbmyiEg0ok7Ahg6Fzz6D996L7p4i\nkr0WubqQu08BppjZwcAvgNGNv8okJk0Kj8rKyigrK/va0X33hd//Prs4RSQe5eXllJeXxx1G3kU9\nBNmsGYwbF8pRXHppdPcVkeyYN7Cbq5mNBCa5+9jU8x8D7u6/quc97wLD3f2z1PPewGPuPqie93jX\nrs7KlXXH8vnnYSL+559D8+b1hi0iCWdmuHsExRryz8y8ui3t2DEUSN1+++ju/8AD8Ne/aihSJErZ\ntmGZDEHOBvqZWW8zawWcBjxaI4i+aY+HAq2qk6/ql1M/9apv/hdAhw6w886weHEGUYuIRGzNmlAJ\nv1OnaO87ejT861+wfn3D54pIMjSYgLn7VuAy4BngDeBed68ws4vN7KLUaSeZ2etmNhf4HXBq9fvN\n7B7gRWBPM/vAzM6r6171rYCspnlgIpJU1fO/oijCmm777cNcsBIY4RUpGhnNAXP3fwD9a7z2p7TH\n1wPX1/HeMzINJpMEbN99w0rICRMyvaqISDSinoCfrno15DHHxHN/EWmcRFXCz7QHTKUoRCRTDRWS\nTp1Tliok/bqZTWvMe9NFPQE/3THHwBNPhCFQEUm+gkzANAQpIpnIpJC0mXUC/hs4zt33BU7J9L01\nxdkDtu++Yau2t96K5/4i0jgFl4DtvXfYlHvz5vzHIyIFr8FC0vD/27vzKKnKa+/j380kk6DEIUEF\nQUREcQCZnGjFKBhnJYJT4hCHxAwOuZg3Gssbs9REV9Qk5ooaNDdRE2cNosahNZoADkwyC4oggnAF\nZFBpYL9/7Gop2266Gqrr1PD7rFWr65w6p84+1cXD7uc8Zz+cATzi7h8AuPuyBuz7JUkmYGbwrW9F\nL5iIFL6CSsDquwsSoHVr2GUXeOedxo9HRIpeNoWkuwMdzOwlM3vdzM5uwL5fkuQlSFBVfJFiUlAJ\nWDY9YLBpIL6ISA40A3oDQ4EhwDVm1m1L3ijJHjCAI4+ECRPgk0+Si0FEspOzSvi5kG0CVj0Q/7TT\nGjceESl6HwCdMpZ3Ta/LtBBY5u6fAZ+Z2SvA/lnu+4VUKsU778Bf/gJDh351Jo98aNsWBg6EF16A\nk0/O++FFSlquZ/OotxJ+vpiZf+97zqhR9W/7wAPw6KNR/VlEilM+KuGbWVNgFjAY+BCYAIxw9xkZ\n2/Qg6hcOAbYBxgOnp/fb7L4Z7+ErVzodO8ZMHfmuA5bp1lvjD9S77kouBpFykI9K+HmTbQ/YfvvB\n5MmNG4uIFL9sCkm7+0zgWWAKMA4Y5e7T69q3rmMlVYS1pm99K8aBFcjf1iJSh6K8BLnXXvDBBzHO\noV27xo1JRIpbfYWk08s3Azdns29dFixIdvxXtT33jJuVJk+GAw5IOhoRqUtB9YBlcxckQLNm0Qs2\naVLjxiMikq2FC5O9AzKT7oYUKXwFlYBl2wMGMe/Zm282XiwiIg2R9B2QmZSAiRS+ok3A+vSBt95q\nvFhERBoi6RpgmQYNgilT4OOPk45EROpStAlY795KwESkcBRSD1jLllBRAc8+m3QkIlKXok3AevaE\nd9+FNWsaLx4RkWwVyiD8ascdB089lXQUIlKXgkrAsh2ED9CiRRRkVTkKESkEhTQIH+CEE2DsWFi3\nLulIRKQ2BZWAtWjRsO11GVJECsX69bDddklHscnXvw577w05LNwtIjlUUAlY06YN2153QopIoSiE\nIqw1nXQSPP540lGISG2KPgFTD5iIFIJCuvxY7aST4IknYOPGpCMRkZoKKgFr1sC6/L16wZw58Nln\njROPiEi29sqqXn5+de8O7dvDG28kHYmI1FRQCVhDe8BatowGZsqUxolHRCRbvXolHUHtdBlSpDBl\nlYCZ2RAzm2lms81sZC2vn2Bmk81soplNMLNDst03U0MTMICBA+HVVxu+n4hILhVyAvbYY0lHISI1\n1ZuAmVkT4PfAMcA+wAgz61Fjs+fdfX93PxA4H7i7Aft+YUsSsMGD4YUXGr6fiEgu7btv0hHU7qCD\nYPVqePvtpCMRkUzZ9ID1A+a4+3x3rwIeBE7M3MDd12YstgU2Zrtvpi1JwCoqogesqqrh+4qI5Er7\n9klHULsmTeD00+Fvf0s6EhHJlE0CtguwIGN5YXrdl5jZSWY2A3gKOK8h+1Zr6CB8gB12gK5d4fXX\nG76viEg5GDECHngA3JOORESqbUHKUzt3fxx43MwOBa4HvtnQ9xg9OsXzz8fziooKKioqstpv8GB4\n/nk4+OCGHlFE8qWyspJKVQVNRO/eUaPszTfjkqSIJM+8nj+JzGwAkHL3IenlqwB395s2s89coC/Q\nPdt9zczHj3f69Wv4Sbz4Ilx1FUyY0PB9RSQZZoa7F1jp0i1jZl5fW5q0X/wi5s695ZakIxEpDVvb\nhmVzCfJ1oJuZdTazFsBw4MkaQeyR8bw30MLdP85m30xbMgYM4LDDYO5c+OCDLdtfRKTUDR8e48BU\nlFWkMNSbgLn7BuBS4DlgGvCgu88ws4vM7ML0Zqea2dtm9hbwO+Dbm9u3rmNtyRgwgObN4dhj4ck6\nUzsRkfLWsyd87Wsq2yNSKOq9BJkvZuZTp/oW38r9yCMwahQ8+2xu4xKRxqFLkPl3ww2wYAHccUfS\nkYgUv61twwoqAZs+3dl77y3bf/Vq6NgR3n8fttsut7GJSO4pAcu/d9+F/v1juEbz5klHI1Lc8jEG\nLG+2dAwYQNu2MGgQjB2bu3hEREpJly5RtufFF5OOREQKKgHb0jFg1TTnmYjI5lXXBBORZBXUJcj3\n3nM6d97y9/joo5ice/HimKhbRAqXLkEmY9GimDZp0SK1kyJbQ5cgM+y0U4xveOih3MQjIlJqOnaE\n/fbTDUsiSSupBAzghz+E22/XlBtSutasgXHj4L33Nq3buLEwv/MffghLlsTzzz+Hhx+GGXUWomkc\nZjbEzGaa2WwzG1nL64PMbIWZvZV+XJ3x2mXpEjtTzOyv6XqGRW/4cHjwwaSjEClvBXUJ8qOPnB13\n3Lr32bAhLkP+9a8wYEBuYpPCVVUVyccrr8DNN8fdXRUVMR6wd2/o0CG795k3DyZPhjlz4rF4Mey9\nd3yf5syB//s/OPBAOPnkeP/a/lj49FN4+eX43m23XbzfP/4B69dHctS3b1z6adkyemsto+N6w4Yv\nv+f06fDvf8Opp8L228OyZfDOO/DWW5BKQadOkYANHBgJ2YQJsPPOEd9xx8X2GzZEkeKOHeM93eMy\n/bbbQuvWm461fn1M2NwkR3+ObdgA//oXPPMM3H13LLdtG5/PvvvG53nNNXDJJY1/CdLMmgCzgcHA\nIqI49HB3n5mxzSDgCnc/oca+HYFXgR7uvs7M/gaMcfc/13KcorkECbB0Key5Z/x7adMm6WhEitPW\nXoLM2VyQuXDzzSluuikFQCq15T8vvBB+8IMUxx+/de9TLj/HjYPf/S7FDjvAd76TYupU+OMfU7Ro\nAb/6VYoOHeDuu1O0bh2v33sv3HVXir32iuVPP4WpU1MsXhzvs9NO8JOfpGjVKvZv0wauu+6rx121\nCvr0SbHffnDZZSnmzoU99khx+eXw+OOx3/e/n2LyZPif/0mx447QrVuKRYvgww9TVFXB9OkpPvoI\n2rRJceSRcO+9KcaMgfPPj3g6dkzRpw8sXx7vd+aZKU49Fa6/PsW6dXDUUSlGj4ZHH02x665w3HEp\nDjoIXnwxxRtvwNChKQ4+GJ56KsWsWTByZBy/WbMUGzfC1VfH+T/8cIrp0yP+WbOgadMU69fDxRfH\ncV96KY6zcWNsv3p1nE/XrinefTfOp1u3OP6//gXTpqXYZRe44ooUTZvCmjXx++nbN8Vzz8Xns3Zt\nfH7bbQcvvJDik0+gefMUV10FK1fG57x0aZxPZWXE065dCrP4XJo2hcWLUyxdGufzjW/A4MEpunaN\n43fqBDfeGJ/TeefF53zKKSlOPz3Wv/ceHHhgipYtYcaMFNtsAz17prj1VlixIkWXLjBxYrzvlVfG\ncX/72xQbNsAvfhHx5UE/YI67zwcwsweBE4GZNbarqxFtCrQxs41AayKJK3o77gj9+sGYMfDtbycd\njUh5KqgesBUrnPbtt/69Fi6MMQ4aZFq7DRvgz3+OYoxr10bPxO67x3RO7dtHL8X++0evzyuvwCef\nxGPp0uiNOessOP54+PvfYdWquHv1P/+BXr3i9nb36HWp3ufzz+P9hg+P469eHT02EybAIYfAlClw\nxBEwbFhsf+ed8Nln0QvVokXs26ULvP027LNP/OU+ZUr0IJ1/Pl/MH2o1/gvduBFmz45eozffhOXL\n4xznzYvPYPny+J6cdBJcemn0DGVj1qz4bq1dC//7v7DDDrDbbtHDdeSRcb7z58dn0LZt7e+xbBnM\nnBm9T7vuGp/r00/Hd7dXLxgyJD7Xjz+O8+jQYct6qN55ByZNgsMPj56ONm2iEOcLL8RnfNRRsMce\nEc/EiVEnat68TZ/ZYYdFb1bPnpvqRz32GGyzTfS+HXAArFwZ26xeHdtcdFF8DjV/HzXlYxC+mZ0K\nHOPuF6aXzwL6ufuPMrYZBDwCLAQ+AH7q7tPTr/0I+BWwFnjO3c+u4zhF1QMG8Kc/RQ/to48mHYlI\ncSqpQqyrVnmd/2E11FFHxX8Ew4bl5v0KnXv8h968OXTrFuvGj4cnnohEqFev2Obll+G55yKRueaa\nuFR2wAHZFWWsnkNuc4nA4sVxWXC33Tatq6qKxOzpp+M/7tatI55vfhPatdvyc94S7jBtWpx3x465\nu+xWihYujERt8OBIEqu5159cZaOAErC2wEZ3X2tmQ4Hb3L27mW1HJGbDgJXAw8BD7n5/Lcfxa6+9\n9ovliooKKioqGvHMtt7y5dC5c/ye8/3vUKQYVVZWUllZ+cXyddddVzoJ2Nq1TqtWuXm/+++Pwfiv\nvZabwf2FYv366BmZPz96MD78EH73u0istt02el+aNYuerDVr4Mwzo3dl+vTYf8CA6F3J/A9VJAl5\nSsAGACl3H5Jevgpwd79pM/u8C/QBjiSSt++l158N9Hf3S2vZp+h6wCB6sk89Fb773aQjESk+JdUD\ntm6d52x6jI0bozL+6afH5aVi5x6DzH/2s+i9adIkEq7mzeGKK2Iy8l12ie3mzo07z/r33/ritiKN\nJU8JWFNgFjEI/0NgAjDC3WdkbLOzuy9JP+8H/N3dd08/vwfoC3wOjAZed/c/1HKcokzAHn8cfvOb\n+ENVRBqmpBKwDRs8p5eEZsyIMSzTp8ddZ8Vi9eoYk/ONb8BLL8Fdd8UYq69/PRrMZs3iuS6fSTHL\nVyFWMxsC3EaU3bnH3W80s4uInrBRZvYD4BKgCvgUuMzdx6f3vRYYnn5tInCBu1fVcoyiTMDWr4/L\nkM88E8MCRCR7JZWANUYsl10Wl+r++Mecv3WjePPNGLe2alWM3erdG849F4YOjR4uJV1SKlQJvzD8\n4hdxs8fvf590JCLFRQlYPT7+GHr0iPFg1XfhFaJ162DUKLjuurg78bTT4u7EzHpNIqVECVhheP/9\nuBFnwQLVBBNpiJKaiqgxdOgQU25cfTX8/OeFUy189er4OXUqXH55DIp/5JEYizFsWNxlpuRLRBpb\np05RDuZvf0s6EpHyUvI9YNWWLYuyByeeGJXE88kdxo6N+lbt2sVlxPvvj+dR3DTuQqouHyFSDtQD\nVjj+8Q/45S+jdI2IZEeXIBtg6dIoMjp2bIytakzz58N998W0KwsWRAJ4xRVRtHL58ni+alUMpi+l\nMhki2VICVjg2bIhix08+GZcjRaR+SsAaaPToGA92552bKqjn0oYNMeHwpZfCiBHQp0+Uihg2LLti\npyLlQglYYfnv/466gsVyw5JI0pSANdDGjXDLLXHHz5lnwq9+tWVVvauru8+ZAwcdFFPj/POfMSXL\nN74RpSMOOij38YuUCiVgheWDD6IUxfz52U/LJVLO8pKApevo3MqmOjo31Xj9DGBkenEV8H13n5J+\n7cfABenX7nL32+s4Rl4bsGXLYr66tWtjTNbee8Mpp8Rjc43PsmUxUD6VinkKe/WCceNi/xNPhIMP\nhq5d83YaIkVLCVjhGTYs5g394Q+TjkSk8DV6AmZmTYDZRCXpRcDrwHB3n5mxzQBghruvTCdrKXcf\nYGb7AA8QlaTXA2OBi919Xi3HyXsDtmYNvPdeJGCTJsEDD8Tk0yNGwMiRMa3PNtvEJNALF0ZZiOuv\nj8uK55wTPWi5mBNPpBwpASs848dH+zd7tmbREKnP1rZh2fwT6wfMcff56QM+CJwIfJGAufu4jO3H\nAbukn+8NjHf3z9P7vgKcAty8pQHnUps2MSk1RA/WiBExUP+GG2KQ/te+FklY167xWLEiLjH27Jls\n3CIijaF//yj4/Nhj0RsmIo0nmx6wU4kJaS9ML58F9HP3H9Wx/ZVAd3e/0Mx6AI8DA4m51J4n5lL7\ncS37lcRfkCKSHfWAFaYnnoixsePHq4dfZHPy0QPWkGCOAM4FDgVw95lmdhPwT2A1MZfahrr2T2UU\n6KqoqKCioiKX4YlIgiorK6msrEw6DKnH8cfDT38Kr74ac+mKSOPIpgdsADGma0h6+SpiEtuaA/H3\nAx4Bhrj73Dre61fAAnf/n1peK5m/IEWkfuoBK1x33glPPx29YSJSu3wMwm8KzCIG4X8ITABGuPuM\njG06AS8AZ9cYD4aZ7ejuS9PbPAMMcPdPajlOSTVgIrJ5SsAK16efwu67x01Je+2VdDQihSmfZShu\nY1MZihvN7CKiJ2yUmd1FDK6fDxhQ5e790vu+AnQAqoDL3L2yjmOUVAMmIpunBKywXXcdLFoUvWEi\n8lUqxCoiRUkJWGFbujR6v2bOhJ12SjoakcKztW1Yk1wGIyIipWHHHeH00+EPf0g6EpHSpB4wEUmE\nesAK3+zZcOihUbC6deukoxEpLOoBExGRRtG9OxxyCNx3X9KRiJQe9YCJSCLUA1YcXnsNvvvdGAvW\ntGnS0YgUDvWAiYhIozn4YNhhB3jyyaQjESktSsBERKROZnDllXBzQczgK1I6lICJiMhmnXQSLF4M\n//530pGIlA4lYCIisllNm8Lll8Ovf510JCKlQwmYiIjU67zzYOJEePnlpCMRKQ1KwEREpF6tWsFv\nfgM//jFs2JB0NCLFTwmYiJQ0MxtiZjPNbLaZjazl9UFmtsLM3ko/rs54rb2ZPWRmM8xsmpn1z2/0\nhWXYMGjZEh5+OOlIRIqf6oCJSCLyUQfMzJoAs4HBwCLgdWC4u8/M2GYQcIW7n1DL/vcCL7v7aDNr\nBrR2909q2a5s2q9nnoErroCpU6GJ/oSXMqY6YCIidesHzHH3+e5eBTwInFjLdl9pRM2sHXCYu48G\ncPf1tSVf5eaYY6BdO/jzn5OORKS4KQETkVK2C7AgY3lhel1NA81skpmNMbOe6XVdgGVmNjp9aXKU\nmbVq7IALnRnccQf813/Bhx8mHY1I8WqWdAAiIgl7E+jk7mvNbCjwONCdaB97Az9w9zfM7FbgKuDa\n2t4klUp98byiooKKiopGDjs5Bx4IF14Il1wCjz0WSZlIqausrKSysjJn76cxYCKSiDyNARsApNx9\nSHr5KsDd/abN7PMu0AdoDvzH3bum1x8KjHT342vZp+zar88/hz594Oc/hxEjko5GJP80BkxEpG6v\nA93MrLOZtQCGA1+a1dDMds543o/4w/Rjd18CLDCz7umXBwPT8xR3wdtmGxg9Gn7yE1iyJOloRIqP\nesBEJBH56AFLH2cIcBvxB+c97n6jmV1E9ISNMrMfAJcAVcCnwGXuPj697/7A3URv2DzgXHdfWcsx\nyrb9GjkS5s2Dhx5KOhKR/NraNkwJmIgkIl8JWD6Uc/v16adxKfKKK+D885OORiR/lICJSFFSAlY6\nZs6Eww+HMWOgb9+koxHJj7yMAcuikvQZZjY5/XjVzPbLeO0yM3vbzKaY2V/T4zBERKRE9OgBd94J\np50GS5cmHY1Icag3AUtXkv49cAywDzDCzHrU2GwecLi77w9cD4xK79sR+CHQ2933I27rHp678EVE\npBCcfDKccQacdRaUcWegSNay6QGrt5K0u4/LGJg6ji8XOmwKtKmexoOYDkRERErML38JK1bAH/+Y\ndCQihS+bBCzbStLVLgDGArj7IuAW4H3gA2CFuz+/ZaGKiEgha9YspihKpeDZZ5OORqSw5bQSvpkd\nAZwLHJpe3o7oLesMrAQeNrMz3P3+2vYvp0rSIuUm11WkpTDttVdUxz/5ZPjLX+Doo5OOSKQw1XsX\nZLaVpNMD7x8Bhrj73PS604Bj3P176eWzgf7ufmktxynru4hEyo3ugixtr72mJExKWz7ugsymknQn\nIvk6uzr5SnsfGGBmLc3MiErSM7Y0WBERKQ6HHAKPPhqD8nU5UuSr6k3A3H0DcCnwHDANeNDdZ5jZ\nRWZ2YXqza4AOwB1mNtHMJqT3nQA8DEwEJgNG+g5JEREpbYceGpcjzzkHbr896WhECosKsYpIInQJ\nsny8+y4MHQoXXxxzR4qUgq1tw3I6CF9EpFylUqkvbiTSzy//vO++FEOHwi23pKiqgtWrU5glH5d+\n6ufW/Nxa6gETkUSoB6z8zJ8Pp58OnTrBffdBq1ZJRySy5fIyFZGIiMjW6twZXn456oUddhi89VbS\nEYkkRwmYiIjkzTbbRGmKSy6BY4+FX/9aUxdJedIlSBFJhC5ByoIFcMopsMcecM890KZN0hGJZE+X\nIEVEpCjtthv8618xFuzgg2HevKQjEskfJWAiIpKYli3hT3+C730P+veH226DdeuSjkqk8SkBExGR\nRJnBpZfCK6/A2LHQtSvce6/Ghklp0xgwEUmExoBJXSZMgIsugp13hrvuikuVIoVGY8BERKSk9OsX\nSdhhh8H++0cy9tJLUFWVdGQiuaMeMBFJhHrAJBuLF8cYscceg7lzYfBgOOIIGDYMdtwx6eiknG1t\nG6YETEQSoQRMGmrRInj+efjnP+Gpp6BLFzj8cDjvPNh3X2jaNOkIpZwoARORoqQETLbGmjUwfTo8\n8QQ8+GD0lO27LwwaBMcdBwMHRsV9kcaiBExEipISMMmllSth0qToIXvqKVi4EIYOheOPhyOPhB12\nSDpCKTVKwESkKCkBk8a0YAH84x+RjL32Gmy7bdxNeeSRcclyjz2SjlCKnRIwESlK+UrAzGwIcCtx\n1/c97n5TjdcHAU8A1XXYH3X36zNebwK8ASx09xPqOIbarwK2cWP0iM2dC2PGRI2xHj2gTx+44IK4\ndGkl8aeA5JMSMBEpSvlIwNLJ02xgMLAIeB0Y7u4zM7YZBFyxmeTqMqAP0E4JWGlYtQrefBMqK2MO\nynXr4Jxzohr/7rtDixZJRyjFQHXARETq1g+Y4+7z3b0KeBA4sZbtam1EzWxX4Fjg7sYLUfJt222h\nogJSKXj/ffj3v2HtWjjmmCj+OnIkzJ+fdJRS6pSAiUgp2wVYkLG8ML2upoFmNsnMxphZz4z1vwV+\nCqh7q0SZxXiwP/wB3n03BvJ/9hn07h2D+J96Ki5hiuSabtIVkXL3JtDJ3dea2VDgcaC7mR0HLHH3\nSWZWQR29ZNVSqdQXzysqKqioqGi0gKXxdO4cE4LfcAM89FD0kl12WfSY9esXj332gebNk45U8q2y\nspLKysqcvV9WY8CyGMR6BjAyvbgKuMTdp5pZd+BvxF+PBnQFrnH322s5hsZQiJSRPI0BGwCk3H1I\nevkqwGu2YTX2mQccBFwJnAWsB1oB2xID9M+pZR+1XyXKPXrFxo2L6ZEmTIjLk717wymnQM+esPfe\nmq+yHDX6IPwsB7EOAGa4+8p0spZy9wG1vM9CoL+7Z14SqH5dDZhIGclTAtYUmEW0Xx8CE4AR7j4j\nY5ud3X1J+nk/4O/uvnuN96lvoL7arzKycmWUtnjkkUjGJk2KJOzii6Fv37ikqar8pW9r27BsLkF+\nMYg1fcDqQaxfJGDuPi5j+3HUPsbiKGBubcmXiEhjcPcNZnYp8BybevBnmNlF8bKPAk4zs0uAKuBT\n4PTkIpZi0L49HHtsPCAmCX/qqZiz8ppr4OOPYxLxPfaAAQPgkENg112hdWtdupRNsukBOxU4xt0v\nTC+fBfRz9x/Vsf2VQPfq7TPW3wO86e531LGf/oIUKSMqxCql6qOPYOpUmDMH/vOfuMvyo49iMP9+\n+8VlzbVrNz3Wr4+EbeDAePTvD9ttl/RZSH3y0QPWkGCOAM4FDq2xvjlwAnDV5vbXIFaR0pXrAawi\nhWqnnWDw4HhcfPGm9StWwOTJ0QvWunU82rSJ1956KxK1G26AN96IemQHHwzf/CYcfXT0uklpyaYH\nLKtBrGa2H/AIMMTd59Z47QTg+9XvUcdx9BekSBlRD5hI7aqqYMqUGGf29NPw6qvQpQucdFLUKdu4\nMXrRavtZc12rVnHnZt++8VxyJx+D8LMZxNoJeAE4u8Z4sOrXHwCecff7NnMcNWAiZUQJmEh21q+H\n11+HJ5+MKv5m0KTJpp+Zz2v+XLky7uCcNg323DNKaOyzT9w04B7bNWsWx+jbN54vXhy10Lp10yTm\nm5OXqYjSdzbexqZBrDdmDmI1s7uAU4D5RLmJKnfvl963dXp9V3dftZljqAETKSNKwETyZ+1amD49\nErFp02DmzE13aq5bF4nY+PGRtO28M2yzTYxha9Ys5s3s3Bm+9rVI4vbaK8pu7LxzjFVrkkVJzRI2\n0gAAB/NJREFU988+iySyqir2a9Uq3n/NGujYMebjbNu2cT+DXNNckCJSlJSAiRQ2d1iyBGbNggUL\n4kaCd96J5YULY/nzz2NS8223jeSqOpnr1StemzMH5s2L9+nVK5KsJUsi8erWLfZ7//1ICKtnHNhz\nz7hs2rUrrF4dCd9BB0Ui2KyAyscrARORoqQETKT4rVwZNw189lncXNC8eVzOnDIlbjDo1i0SqV13\n3fwk5+7xHu4wY8amgrdt20bP3RtvwKJFkYRtvz20axd3jn7rW3Dggdn1wuWaEjARKUpKwESkIVau\njJ6yTz6B5ctjbNuYMbF87LGRjB19dP4uZSoBE5GipARMRHLhnXciERszJsaxHXEEHH98jDXba6/o\nhbMctTQLF8bxKiqUgIlIkVICJiK5tnx5zErw3HMxI8Hbb8dlzWHDYu7O7t3jzs66Llm6R5L19tvR\ns7ZiBVRWwssvx/PWreGMM+D225WAiUiRUgImIvkwbRo89FAkZvPnR2K1++4x0L9370i65s6N2Qve\nfjvuAO3VK8aatWoVvV0VFVFgt2XLTXePKgETkaKkBExEkvD55zB7dpTFmDQp7qzs1CmSrl69ItHK\nhhIwESlKSsBEpJhtbRuWwI2bIiIiIuVNCZiIiIhInikBExEREckzJWAiIiIieaYETERERCTPlICJ\niIiI5JkSMBEREZE8UwImIiIikmdKwERERETyTAmYiIiISJ4pARMRERHJMyVgIiIiInmmBExEREQk\nz7JKwMxsiJnNNLPZZjayltfPMLPJ6cerZrZfxmvtzewhM5thZtPMrH8uT6AUVFZWJh1CYsr53EHn\nnw9ZtF+DzGyFmb2VflydXr+rmb2YbremmtmP8h994Sv373A5n385n3su1JuAmVkT4PfAMcA+wAgz\n61Fjs3nA4e6+P3A9MCrjtduAp919b2B/YEYuAi8l5fwlLudzB51/Y8uy/QJ4xd17px/Xp9etBy53\n932AgcAP6ti3rJX7d7icz7+czz0XsukB6wfMcff57l4FPAicmLmBu49z95XpxXHALgBm1g44zN1H\np7db7+6f5Cx6EZHNq7f9SrOaK9x9sbtPSj9fTfzxuEtjBisi5SObBGwXYEHG8kI23whdAIxNP+8C\nLDOz0emu/VFm1mrLQhURabBs26+BZjbJzMaYWc+aL5rZ7sABwPjGCFJEypC7b/YBnAqMylg+C7i9\njm2PAKYB26eX+wBVwEHp5VuB6+rY1/XQQ4/yetTX/mztgyzaL6At0Dr9fCgwu5bX3wBO3MxxEv8s\n9dBDj/w/tqZ9akb9PgA6ZSzvml73JemB96OAIe6+PL16IbDA3d9ILz8MfGUQLHEWX7kEICKylept\nv9KXF6ufjzWzO8ysg7t/bGbNiHbrf939iboOovZLRBoqm0uQrwPdzKyzmbUAhgNPZm5gZp2AR4Cz\n3X1u9Xp3XwIsMLPu6VWDgek5iVxEpH7ZtF87ZzzvB5i7f5xe9Sdgurvflq+ARaQ81NsD5u4bzOxS\n4DkiYbvH3WeY2UXxso8CrgE6AHeYmQFV7t4v/RY/Av5qZs2JuyXPbYwTERGpKcv26zQzu4QYLvEp\ncDqAmR0CnAlMNbOJxCWH/+fuzyRxLiJSWiw9fkFERERE8iTxSvj1FUksNWb2Xrpg7UQzm5Bet72Z\nPWdms8zsWTNrn3ScuWJm95jZEjObkrGuzvM1s5+Z2Zx04d6jk4k6N+o492vNbGFG0c8hGa+V0rnX\nWsS01H735dZ+QXm1YeXcfoHasEZvwxr7LqR67lBqArwDdAaaA5OAHknGlIdznkf6LtGMdTcB/5V+\nPhK4Mek4c3i+hxK370+p73yBnsBE4tL47unvhiV9Djk+92uJ4p41t927xM7968AB6edtgVlAj1L6\n3Zdj+5U+77Jpw8q5/drM+asNy9HvP+kesGyLJJYS46s9jycC96Wf3weclNeIGpG7vwosr7G6rvM9\nAXjQo2Dve8Ac4jtSlOo4d6il6CfxmZTSuddWxHRXSut3X47tF5RRG1bO7ReoDWvsNizpBKyhRV5L\ngQP/NLPXzeyC9LqdPe4Yxd0XAzslFl1+7FTH+db8PnxAaX4fLrUo+nl3Rvd1yZ67bSpiOo66v+vF\neP7l2H6B2rByb79AbVhOfv9JJ2Dl6BB37w0cS8wtdxjRoGUqtzsjyul87wC6uvsBwGLgloTjaVRm\n1paoo/Xj9F+R5f5dLwVqw76snM4V1Ibl7LuedAKWVZHXUuLuH6Z/LgUeJ7ool1i6FpGZfR34KLkI\n86Ku8/0A2C1ju5L7Prj7Uk8PGADuYlMXdcmdu9VexLSUfvdl136B2jBK6zvcYGrDcvf7TzoBq7dI\nYikxs9bpbBozawMcDUwlzvm76c2+A9RZcbtIGV8eM1DX+T4JDDezFmbWBegGTMhXkI3kS+ee/gdb\n7RTg7fTzUjz32oqYltLvvqzaLyjbNqyc2y9QG9Z4bVgB3GkwhLi7YA5wVdLxNPK5diHulJpINFpX\npdd3AJ5Pfw7PAdslHWsOz/l+YBHwOfA+UYh3+7rOF/gZcffIDODopONvhHP/MzAl/T14nBhPUIrn\nfgiwIeP7/lb633qd3/ViPP9yar/S51tWbVg5t1+bOX+1YTn6/asQq4iIiEieJX0JUkRERKTsKAET\nERERyTMlYCIiIiJ5pgRMREREJM+UgImIiIjkmRIwERERkTxTAiYiIiKSZ/8fdAp7ae/fhdsAAAAA\nSUVORK5CYII=\n", "text/plain": [ "" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "simulate(x0=[0.0, 0.0], u0=0.1, \n", " phi=0.5, e=st.uniform(-0.001, 0.001), steps=200)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": true }, "source": [ "### ショックの一般化\n", "\n", "上の例では $u$ がゼロの周りを変動するケースを紹介した. ゼロでない定数の周りを変動する $u \\in \\mathbb R^m$ を扱うためには工夫が必要である. 以下ではその方法を紹介する. \n", "\n", "$$\n", "\\mathbb{E} u_t = \\mu \\in \\mathbb R^m\n", "$$\n", "\n", "として, 平均からの乖離 $u_{t} - \\mu$ が\n", "\n", "$$\n", "u_{t+1} - \\mu = \\Phi (u_t - \\mu) + \\epsilon_{t+1} \n", "$$\n", "\n", "に従うと考えればよい. これを, \n", "\n", "$$\n", "u_{t+1} = \\Phi u_t + (I - \\Phi) \\mu + \\epsilon_{t+1} \n", "$$\n", "\n", "と書き換えると, 次の方程式を得る.\n", "\n", "$$\n", "\\begin{bmatrix}\n", " \\mu \\\\\n", " u_{t+1}\n", "\\end{bmatrix}\n", "=\n", "\\begin{bmatrix}\n", " \\mu\\\\\n", " \\Phi u_t + \\epsilon_{t+1}\n", "\\end{bmatrix} \n", "=\n", "\\begin{bmatrix}\n", " I & 0\\\\\n", " I-\\Phi & \\Phi\n", "\\end{bmatrix}\n", "\\begin{bmatrix}\n", " \\mu \\\\\n", " u_t\n", "\\end{bmatrix}\n", "+\n", "\\begin{bmatrix}\n", " 0 \\\\\n", " \\epsilon_{t+1}\n", "\\end{bmatrix}.\n", "$$\n", "\n", "拡大した変数\n", "\n", "$$\n", "\\bar{u}_t = \n", "\\begin{bmatrix}\n", " \\mu \\\\\n", " u_t\n", "\\end{bmatrix}\n", "$$\n", "\n", "についてシステム $\n", "E \\mathbb E_t x_{t+1} = A x_t + B u_t\n", "$ を書き直すには、\n", "\n", "\\begin{align}\n", " B \\to \\bar B = \n", " \\begin{bmatrix}\n", " 0 & B\n", " \\end{bmatrix}\n", "\\end{align}\n", "\n", "とすればよい. 最終的に\n", "\n", "$$\n", " E \\mathbb E_t x_{t+1} = A x_t + \\bar B \\bar u_t\n", "$$\n", "\n", "が分析すべきシステムである. \n" ] }, { "cell_type": "code", "execution_count": null, "metadata": { "collapsed": true }, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.5.1" } }, "nbformat": 4, "nbformat_minor": 0 }