{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Weyl Tensor calculations using Symbolic module" ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [], "source": [ "import sympy\n", "from sympy import cos, sin, sinh\n", "from einsteinpy.symbolic import MetricTensor, WeylTensor\n", "\n", "sympy.init_printing()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Defining the Anti-de Sitter spacetime Metric" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "syms = sympy.symbols(\"t chi theta phi\")\n", "t, ch, th, ph = syms\n", "m = sympy.diag(-1, cos(t) ** 2, cos(t) ** 2 * sinh(ch) ** 2, cos(t) ** 2 * sinh(ch) ** 2 * sin(th) ** 2).tolist()\n", "metric = MetricTensor(m, syms)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Calculating the Weyl Tensor (with all indices covariant)" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAACigAAAGcCAMAAAB+o0oMAAAAP1BMVEX///8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADFBd4eAAAAFHRSTlMAMquJZkQiECClQDB2mc1U3bvvfKL9T+4AAAAJcEhZcwAADsQAAA7EAZUrDhsAACAASURBVHgB7F3pgoMos9WYxO/OZGkzvv+zXkB21EIFhBJ/dAMFh1oOCrikaUd23Jp6VA9UD1QPVA9UD1QPVA9UD1QPEA/8TfPDpmnH7k6OR/VK9UD1QPVA9UD1QPVA9UD1QPUA9QCdHN5vI50oPjWP1P1FzRk16eUBuebwql1YpSIGBOoIFEYYpm4RrIng2ErECE6NC3lVqobw6mXofp+ZKNb9xRAUuhKGXHNgNLqIDXfUESiRVUWwJoJjKxEjODUu5FWpGsKrl6H73ERR7C923est0nudGgJjb9/z7fLTaF7PXaVnGkephPEwN9xzthBrBHL2+ZJu5bBmyYID5ZWIB5yXvOmlqRrC21egO7XRJIrMfb5N0/8dmymGwAgRSoWRn0ZKt8OpU43DOlzkgFgNz/4pOtBygxhrBFYdn6nQjzXeygMs8MZZqQh0AYgbXV6JuOLn7ESBqQrbp1MFrh2pBqDEFvEV6E5tNIkicvc/GqFuOBKnEBhH+nfb5qeRq+PuknONwzpcxIBYDcv+KTrQcosYawRWPZ+p0Is13roDLPDGWakIdAGIG0Neibji6OxEYakKm2dQBa4epwagxCbxFehObTSJInID+1zOd+wPBCoExoHuZ5rmp9GMknuLzjUO63ARA2ItKvun6EDLTWKsEVjzfK4yH9Z46w6wwBtnpSLQBSBuTHkl4oqnsxMFpSpsnUkVuH6UGoAS28RXoDu10SSKyI1vGqHHSG5A7z5CYOzufLZhfhrNqrmv8FzjsA4XMSDWYrJ/ig603CTGGoE1z+cq82GNt+4AC7xxVioCXQDixpRXIq54OjtRUKrC1plUgetHqQEosU18BbpTG02i8FwvZh33/YEKgbG/97mW+Wk0p+XOspONwzpczOExHxsxWLavqoCWm8RYIzDv87xLfVjjbQHAAm+clYpAF4C4MeWViCuezk4UlKqwdSZV4PpRagBKbBNfge7URpMoPPccOxqhdnztD1QIjP29z7XMT6M5LXeWnWwc1uFiDo/Z2OyfogMtt4mxRmDW55kXerDG2wKABd44KxWBLgBxY8krEVdcnZ0oJFVh4yyqwA1i1ACU2Ci+At2pjSZReE7OOth8cV+wQmDs63mpVX4aLWm6o/xk47AOF3N4zMZFen7zqgpouU2MNQKzPs+80IM13hYALPDGWakIdAGIG0teibji6uxEIakKG2dRBW4QowagxEbxFehObTSJwnP9tKP4OLKjGAIjLE3y0yigfScbh3W4mMNjNl7yxLJ5VQW03CbGGoFZn2de6MEabwsAFnjjrFQEugDEaqI4DYBKxBVXZycKSVXYOIhKMEKAGoASG8VXoDu10SSKyE236b8BXmY5hhGAFhpECKs0uLyS5xqHdbiIAbES6/1TdKDlNjHWCKx4PluRB2u8dQdY4I2zUhHoAhCTW89shii2FSoRV1ydnSgkVWHjLKrADWLUAJTYKL4C3amNJlFEbmBfULwf+zxOAIywPAlhVViNAqKdaxzW4SIGxFqg9k/RgZabxFgjsOb5XGU+rPHWHWCBN85KRaALQMxfZhFbApWIK57OThSUqrB1EJVghAA1ACW2ia9Ad2qjSRSRu/9oPN6fI1EJgXGkf7dtfhq5Ou4uOdc4rMNFDIi1sOyfogMtN4mxRmDN87nKfFjjrTvAAm+clYpAF4C4MeWViCuezk4UlKqwdSZV4PpRagBKbBNfge7URpMoMvdHf8Lv1x6KUwiMQwo4jfPTyFFxf8GpxmEdLnJArMRl/xQdaLlJjDUCK47PVuTDGm/lARZ446xUBLoAxI0pr0Rc8XR2oqBUha0zqQLXj1IDUGKb+Ap0pzaaRJG5vnu9bsfmiU0IjLBEyU+jgPadahzW4SIHxFqg9k/RgZZbxFgjsOb4XGVerPFWHmCBN85KRaALQNwY8krEFUdnJwpLVdg8gypw9Tg1ACU2ia9Ad2qjSRQzFydKFRWhB7AOF68BsX+KDrTcIsYagRIHixdrvA0DWOCNs1IR6AIQm1sClYgrjs5OFJaqsHkQlWCEADUAJTaJr0B3aqNJFDMXICQV4hoewDpcyhkQWCNQ4vgphzURvFuJGMGp0SAvTdUQXr0C3amNJlHMXAg/VoxLeADrcClnQGCNQInDpxzWRPBuJWIEp0aDvDRVQ3j1CnSnNppEMXMh/FgxLuEBrMOlnAGBNQIlDp9yWBPBu5WIEZwaDfLSVA3h1SvQndpoEsXMhfBjxbiEB7AOl3IGBNYIlDh8ymFNBO9WIkZwajTIS1M1hFevQHdqo0kUMxfCjxXjEh7AOlzKGRBYI1Di8CmHNRG8W4kYwanRIC9N1RBevQLdqY0mUcxcCD9WjEt4AOtwKWdAYI1AicOnHNZE8G4lYgSnRoO8NFVDePUKdKc2mkQxcyH8WDEu4QGsw6WcAYE1AiUOn3JYE8G7lYgRnBoN8tJUDeHVK9Cd2mgSxcyF8CPD6LvuduuDwVWg7DyAdbhEGhAR4oc1AhFcFR2yHNZEcEUlYgSnRoO8NFVDePUKdKc2mkQxcyH8yDDe5O/7T4d7yoxKyaKaKM4DWIeL14DIYh2ENQLFDQWisBdrSjTMR+dKRB8v5VLn0lQNEYQr0J3aaBLFzIXwI8MYH03zHLVfBHyRn5Lmx+MlUvV/uR7AOly8BoSzDlKLH5WKHVusEYjttxj4XqyJ0XEOmJWIOUTBV4dLU9XXSWv1rkB3aqNJFJXrutc72FXuTm476xPFb6e5Xps0aqVxkkGtiqPiftQzjcM6XNSAWImLvQ7SGJ1uGYQ1Ait+z1bkxZpstT+oWCXiQQcmbX5pqobw9BXoTm00iSJzH7Ll1/8FmymSiHTq1nP/mSLEO/gke3oxvFUhqBYI41TjsA4XOSDWgmStg7Ysg4DJ/QYx1gisOT5XmRdr/JUHWOAPtFwT6AIQN7q8EnHZzflJAlMVNlCnClw7Ug1AiS3iK9Cd2mgSReTubFbXDeHi1P6p6eD7PuF+Sf/kuNNbdymO8Fal0Nqzj3ONwzpcxIAAg6DWQVuWQcDkfosYawRAz2dYwZs1XroDLPDCACoBXQDixpBXIgLOzkoclqqwaQZV4OpxagBKbBJfge7URpMoIjfcaIS+o5rcHYzYc9CgfhzszXcWf5rsYD+rzYNbtdpbYuG5xmEdLmJAQMHU1kEblkHA5H6TGGsEIM/nKPdljZfuAAu8MIBKQBeAuDHllYiAt7MSB6UqbJlJFbh+lBqAEtvEV6A7tdEkisiNbJPvMap3To5F7Ekmnq24kf3g88Pmjz+q+OE7jMf6gFuHtgruMWGNc43DOlzEgAACqa+DNiyDgMn9JjHWCACez1LsyRo/3QEW+IGs1wK6AMSNKa9EXHd2XtKgVIVNM6kC149SA1Bim/gKdKc2mkThuV7MOrbM4Pp313V0Ztm/X683ec+5aV/314vOCp9D27ZvsW/4ZvPDx20Yhxt75blj+5dROKGD7rJKB8g5fbJxWIeLOTyWCKCvg7Ysg8QwW1iPbRJjjcCSz3Mu92ONpwUACzxRVqsBXQDixpRXIq76OjNhUKrCtplUgetHqQEosU18BbpTG02i8NxzZHO5dtzw6Zrnj1zuHr+2adk7MMOr6dkjjvRpx99IDxF0sYHIH1EkDymKLUZRI87/PVbF0SQC6snGYR0uanj4roM2LIOAyf02MdYIRBgr0SEVa453BbDgeAdkZS8ujfP7AoDYbl6JGCImqTBCUhXWGaISjBCgBqDERvEV6E5tNInCc3LWoX/GBgjRh872vr8nv6Hcju2DPXvoQvzxDRTxiGLzVS9EA50cEu+x6lCHKRufbBzW4SKHh/c6aMMySMZsfj22TYw1AikHUai+JGsCAAIsCNAD+XLZ6r4AILabVyKGiEkqjJBUhXWGqAQjBKgBKLFRfAW6Uxv/93//03zPadNPZ47H0o5i//lTx/Qdbd6EzjyneSCB+BuHl3gwUevkR29Lk0M8okiaTAWR/0JWRe4+LvzJxmEdLvI86r0O2rAMkqckdzFFybJNjDUCcYdNHHTJmgDwAAsC9LCRaE6PloaViI6HMi4ISVXYTIsqcIMYNQAlNoqvQPd//s/eUfxn/JeFZroX8d3wMou8Tf2lnx8mxzg0ffcZJyRWIv7wiWLPK9Ib1kIU9/92q+LqExT9XOP+SzPXD+oxHzAxIPzXQRuWQcDkfpsYawR8opRbHcGaEHoBLEjQBaSBJa9EDBGTVBghqQrrbFEFbhCjBqDERvEV6E4nw+aKQtBmYI8X3jd8Hoff2dd2FN9P8vZKf9d/uW8KO/1METkedG7BXnBJdOu52W4VU7SMP+cah3W4iAHhvw7asgwCJvebxFgjUMboM7UUrDFLd+YAFuxENZoBXQBi/jKL2FaoRDR8m3kmKFVhWyEqwQgBagBKbBNfge7uRFFMG+9sj08+ROgTHHZvjjyl2Pz4p3XaL3v06uY8IU3ec6FHRx5q/LI70/eAH/ZeU3WHVWtwecnONQ7rBrwYEP7roC3LIGByv0mMNQJ5jTI/bQRr/GoDtQAWAK29xEAXgNhagFcievk8k0pBqQrbBFEJRghQA1Bim/gKdKc2mkSROfqkVU9eYfY/nj86I+yeTcuafTryZgvdLxycpxT513But6afpozv+Yf5/fv2rbndKl/kDOqdahzW4SIHhPc6aMsyCJjcbxJjjUAGI2uzCpI1m1vONABYMNNicxHQBSBuTHkl4mb/n9ggKFVhO0yqwPWj1ACU2Ca+At2pjSZRZK7vXq/blnkimVfeyIcU6azwSf7fyIOKj458RrHjb65oEX9MLzk/hzvfbAz6m9JaR05yh1UORrYFpxqHdbjIAeG9Dtq0DAIm91vEWCOQ7XhbUUyyZqWOvwhggT/Qck2gC0DcGPJKxGU/5ycJS1XYPoMqcPU4NQAlNomvQHdqo0kUMxcnSuR1Z3MG+kzzdZxY1lRc4gGsw0UNCN910KZlEDC53yLGGoESh5diTQjtARYk6ALSwJBXIoaISCqMsFSFtTaoAlePUwNQYpP4CnSnNppEMXNxokRmFewpRokufhxXFtREcR7AOlx2DIiTlkFYI1DcUCAK72BNiWbO61yJOO+XPEsvTdUQIbkC3amNJlHMXAg/zmIYzy0+E73KMqtJLQzjAazDZceAOGkZhDUCYfiZFmUHa9IqGLO3SsSY3g2NfWmqhnDmFehObTSJYuZC+HEWY/pxPy4axG9Az1athUV4AOtw2TMgzlkGYY1AEfS3lNzDGgui3GwlYkmxuzRVQwTqCnSnNppEMXMh/DiP8VTfzLk7b0XPN6mlOXsA63DZMyDOWQZhjUDOrF/SbQ9rlrCKK69ELClkl6ZqiEBdge7URpMoZi6EHyvGJTyAdbjsGhCnLIOwRqDE4bOLNSUaOqdzJeKcV3ItuzRVQwTlCnSnNppfZq+0CcGdC2JgHS7lDAisEShxMJXDmgjerUSM4NRokJemagivXoHu9NdnTKKYuRB+LBejJ1+DvNXnJ/0CiHW4lDMgsEbAj3951SqHNRH8VokYwanRIC9N1RBevQLdqY0mUfp7nRkJ9tBv+LzrJx6FO9b/a3db1ysWJi1nQGCNQGGEYeqmZ01Gq9pKxJIom56qJXnHQ9cr0N2dKJrTRg835VUl6OlyJL8p8xzNb4PnZW5G2mBdV5UzILBGICOSe6vixZqgJ6uMVrWViN48yaCiF1Uz0DNbFa5Ad2qjSRQzl21wlhRzT5fqlWqVWmptldPNVXOiaEPYeQvgSlmsw6WcAYE1AiWOIi/WuCerA6ZmtKqtRDwQx+RNvaiaXKuCOrwC3amNJlHMXEHhmlR1Tpevr7Th8ZJJ/0Sn33rWwCaEXZD+nZdUE+twKWdAYI1ASaNA6OrFGudk1aiFp0oJSOC/s6p1EJwCAHG3uBJxt+tOaOhF1RP0KqbLK9Cd2mgSReW67vU+em4JgbGJMPbp8ttpzZ15Htkw/KnvObKa7edHF/riaP+0RzYNsKnGDKRoesL/5O7WbMQ6XNSA0Ix1kvs9D7TcIMYaAcfZBRR4scY+WTXa2WTXElRf1WpY3F+7IPf4uhJxj9fOauNF1ZDKAae0kF0tYwFKbBFfge7URpMoMvchW3H937GZYgiM5VgvSbTTZf+ZKnFDPtqsbxI8Rn1ayMr+bgr4qf9ojABTYpJyIQ1x0sw57uYmYh0uckCshXK/54GWW8RYI7Dm+FxlXqyhymsnq8ZYiLoTvU2rWgOLe2kGUvlvy6VRtZIpvXklonRLAQlvqgayBTilBeoFgAGU2CS+At2pjSZRRO7Obrl2h36FOQQGEPAZsb4J+Ob7hV9iJzmsH+GlRc7UsRnURPFJkq2cKwsw2kweM5BSljhxjruFkViHixgQws65//s9D7TcJMYagTmP517mwxpqg36yEgvREKtagWX6aWVVu+nSaKLSnNG8EtF1UL4lvlQNZAFwSgvUCwADKLFNfAW6UxtNoojcNF36ju5ECoiBJg6BocH5JY1NwB9v8+Y7iz8Pc9RE8Tm0bfuWTQSYqYcPpNkiVu4Ud0tjsA4XMSCkoTOJ/Z4HWm4SY43AjMOzL/JhDTHCOFmJhWiIVa3AMh21vKrddmk0UUnObF6J6Dgo4wJPqoayADilhepmHQdQYpv4CnSnNppEEbnpluxjVO+CrLt+ThoCYw53rczYBHzw+WHzxx9V/FhPJM4hTSyhkt9ID1FHgomC6b8PpNkiVu4MdytbsA4XMSCUpW5qv+eBlpvEWCPg+jv/Eh/WkHmiccdCLERDrGoFluWpxVXttkujhdrwuzBiW6ES0XFQxgV+VA1mAHBKC9bPKhCgxDbxFehObTSJwnO98JXHzGopJCEw5rH7d9d1dArbv1+vN/naYdO+7q8XmRaam4BvNj983IZxuLFXnjtxW5nXf35+9Fz993s/X6+pCjnpqbTe/QTWtN2HP9b4YHuNElKve0Y6nru9rME6XMzhMeuK/Z4HWm4TY43ArM8zL/RgjX2ykgvRAKtaiWW5aXFVK073C/sCgLgx5ZWIltuzznpRNZgFwCktWD+rQIASG8VXoDu10SQKzz1HNsdqxz2flOFBCoExG+/nj5zPHr+WzPDoA4TDq+nZs5TksUpzE1CcF/nNHHKLRLzcIuo306srPzpJ5KYPA5kcm05hWnCwlnxakTmlnebQAnJW05SF0dztZwTW4TLDBNsh+z0PtNwmxhoB290l5BVrlhe11skq5KqWL2q9V7UbL412BKzmlYi2g3LOK6qm0BI4paVQgazQ1mc3G8VXoDu10fwJH04b6Sv98zIboxgCY7bLD53ufX9Pfke5HdsHu6fi6PrHF8jiZk7z5V9FVPWney4Du1Uzsqmfnta7F2BkZkpRWj6FFpB61VPS0dztZw3W4eJxHt3veaDlNjHWCPjxL69akjUri1pL45CrWoHlu6qVRJvfFwDE9oW3EtEKbdZZSdUkWkoqORfrJN1PnQBKbBRfge70ZwpNovBcP825H0d2FENgNP3nTx3Tr+lxXKr5NBEkuv6Nw0u+niwp96N3pckhbuaQFlOBqs8nimyHcTJ20NK8NvsnwMgclfys31MQXULqdc9IB3H3fsWxDhdzeMz6Z7/ngZbbxFgjMOvzzAsla7wXtY1YiIZY1Qos4iWvVe3GS6PtfKt5JaLtoJzzkqpJlAROaUl0aAAlNoqvQHdqo0kUkZueOvkGeJnlGMYMc+T98C/9aQNyjEPTd59xUllvwOd2Pa9H71dzsay/Z6JIHsnpxTxRQeodn5IOEbL9imMdLmJArHlmv+eBlpvEWCOw5vlcZYI1/JrjsahtxEI0xKpWYBH3eK1qN14aba9bzSsRbQflnBdUTaQjcEpLowWgxDbxFehObTSJInLTvtr92Odx2N7cMYwZ4vAnYrST7/tJ3ivp72Sjzzzo173I8aD7iOzNE3GfWNX3nyhyMAp40369RUDS8nOPECHbbwHW4SIGxJpn9nseaLlJjDUCa57PVSZY47+oFRPFIKtabaLot6rddml0vG42r0R0HJRxgaBqIhWBU1oaLQAltomvQHdqo0kUkbuzvTd5G2RX/EJgzHXMbueQtXIzzdceY/tlz9bcptdLVBPymgs9OvJM45fdmL6zqSvJyfr+E0UORgHFViZNC0iaPveI5W4/q7AOFzEg1ryw3/NAy01irBFY83yuMsEa/0Ut+2Y1MSfIqlZb1PqtarddGh2vm80rER0HZVwgqJpIReCUlkYLQIlt4ivQndpoEkXm6GMuPXmz+MgRAmOm/+kHmrtn0zL9Ph15s4VuGA72U4r80zW3W9NPU8b39E+rP53iPtpziXpa71z7Ds57WkEzqYDUq56UjuRuP2uwDhc5INbcsN/zQMstYqwRWHN8rjLJGu9FLf14Az2CrGq1Ra3fqnbbpdHxutm8EtFxUMYFkqqJdAROaWm0AJTYJL4C3amNJlFkru/IlwWPzRPJk4PHMeaI09/IhxTprPBJ/t/Ig4qPjnxGseOvrqgWj+kl5+dw53uN4rerRf12+P2Gvh3G39Deh5F8K0dPKyCa4mAk1fU38awjeVHGnp2arVLmYrnbywasw0UOiDUv7Pc80HKLGGsE1hyfq0yyxntR24Rc1WqL2sZvVbvp0uh63Wheieg6KN8SSdVEKgKntDRaAEpsEl+B7tRGkyhmLk3U4vXyZ850n/zrOPs6FGBkikrudnOMY5D7FMmyFdbhUs6AwBqBLOkOKKVY47uoFQvRIKtataj1XdVuujS6xhvNKxFdB+Vboqiar45Za3YFulMbTaKYuawD5KGc9eOm87+A6oHDqnAw9hke+oMu7DgGyUEw/MM6XMoZEFgjUOLo2MMasRDl9h5agkqsM1a1lYglUXYPVUuyL7quV6A7tdEkipmL7uTYHRiPLT75qyx7O2VgL7aX2I3kCUmCcxRyryr5tcM6XMoZEFgjkB/XYY32sCbkqlZgnbKqrUSECZJPjT1UzUf7DDS5At2pjSZRzFwGYTimwvTbfhxjYJ/I2Q9IwZ78Qcjb0NGJ4lHI/crk1hLrcClnQGCNQG5M99FnF2tCrmonrHNWtZWIPhTJpc4uquaifA56XIHu1EaTKGYuhzgc04H+9gw/7odfO9HAJszjkEK54v9jHS7lDAisEShxaOxiTchVLcM6aVVbiVgSZXdRtSQDY+t6BbpTG/8Z/9VcWWmjOaMm/T2AdbiUMyCwRsCfg/nU3McabSF6eAmqYXG3HIb0dW8loq+ncqi3j6o5aJ6JDleg+3/odxQzIRN+NbAOl3LOo1gjUOLYKYc1EbxbiRjBqdEgi6RqTz6Ldzv4JFkoj16B7tRGkyhmLpQvK06BHtg2GLEOl3IGBNYIFDh0rJNqiRYc0LkS8YDzkjeFT3DbLgRJDHiTXt6HPnYXTs0r0J3aaBLFzIXzZkVa90DxgxHrcClnQGCNwPrAyVNaDmsi+K8SMYJTo0HCVA00Kwt5iRvJO6VP+THjaL7xAr4C3amNJlHMnJejaqUAHih+MGIdLuUMCKwRCDC6kkOUw5oIrqlEjODUaJAwVQPNygJd4pgj7uS2c50oRuOEA1wnio5LTipwB6PxjraRWVHRGYyqoUqttNdF7mC0IfQ81qsDfB7VfXZmGmsEzvTp3r7LYc1eC1faVSKuOCc7EUxV4EKgXwXWrHMucaqhSq0BWLLOuPVsQ9h5q3HA7BXoTm00iWLmArqzQq16wBmMr69e//HSc8tpezBqKL4QBrgxGDWwqZIOiXW4+A2Irnu9952agJYbxFgjYBCykIwfawoxZqualYhbPXZmfT+qrlwI9KvAmiH2JU67nPhC6PDtn/4yiwY2VdoDqcP7p69Ad2qjSRSVAy5RXo4MgeHVkXelTDR6/tT3HaXu+mD8drz41d3ol72dgSBbGQlrMEoUWmkGwlGj/fzopqQ4jMFogE01NEisw0UNCOGUmf8fMqvv//bMFIGWW8RYIzDj7+yLvFjjb0WCsxbQBSBudHklon9kz6/pUNW5KBAd5y8E265N1FTtEmdcTrQLifCIo4Z5bXoav3VhgE0IM5ACmiqyvrLfIr4C3amNJlFkDrhEaT5fTobAWEbfI8lFo8eoz8cmS/TB2H+4dcOdzEBo+qOvn7hw/p8ajAKFz2FciBk1/sSvWBNwYzAKMKNTBYl1uMgBYdhtZu4sQt2OX4gEWm4SY42A6esycj6s8bckwVkL6AIQN4a8EtE/tOfXdKg6c1GYvxBsvzZplzhxOdl5bXqSy1QrV+YCzPCmujYZxSxj8PWg+Ap0pzaaRBE54BLl+namJATGDOyBonw0cqd9xmB88w1HNvlgb3eJX28FrdcGo0D5kjCTYwbCVWNQE0VzMAowQwEFiXW4iAFhmG1lJp99R9ebVkUnC7TcJMYaAcdpBRT4sMbbjARnLaALQNyY8kpE79BmUNGlqnMam78QbL826Zc4cTnZd216Dm3bvqWiAsxwp7o2GcU0Y/L1oPgKdKc2mkQROeAS5fh2riAExhzu/rL8NJK2mIPxN5W39JnDZmSPK/7ksJBt5hL6YOQozZvvT/pATC6iyNZgFGBmpxIS63ARA8I028xN28OPKU6mCMgBLTeJsUYAcGGWYh/WeCue4KwFdAGIG1Neiegd2gwqwlSdvxBsvzYZlzhxOdl3bfqN9JDeE2CygCXktcksJjmTrwfFV6A7tdEkisgBlyjHt3MFITDmcPeX5aeRsMUcjA8+s7vRe5rtyLYXPzNPNYrW6r8+GAVK88cfePSBmMYQBTQHowRTfdGUhMQ6XMSAMM02cr2glVeE9KZAy21irBHQHVZK2oM1/qYIehmvt/k396kJdAGIG1Neiejj8lzqwFSdvxBsvjYZlzh5Odl3bTKdJ8HMYnltMotJzuTrQfEV6E5tNInCc8AlynHtXEEIjDnc/WXna9S+7q/Xp3l+fvQZi7/f+/l6/P/7YAAAIABJREFU3egbzeZgfE8zu36koi/bVmw6eU+4f3ddR68a/fv1etM9Rw5r7QJOKI/bMA6sDwWxqAZdbAmVCK52cJXa7sOfrnywHU6pFdbhYg4PzSEq+RxZuFoWLVXskQJabhNjjYCHH7Or4sEab50TnLWALgBxY8krEb1jm0FFSdWVi4Ku5u5rk3GJS3pt0tWnaYuvB8VXoDu1sadvysqD0wa4RMnqa4kQGGv422Wna9Sz9x3oNuH0zsiPTuDkSFUG8bXQiz2d2I3sod27eL/l+SOTxMevJRNNKhhejYI1BqNYUfHHQMijGRxC1XfVGMgjyisqteQ7p+xTPe20fSYgG6zDZSY6Kk5TStJKvKluV1jMAy23ibFGYNF7GQs8WOOtvWQBG3fezbZUBLoAxOSUYKyUKhG3+P7suoKqaxcFXcfd1yYdRN6JSnJtMnomGYuvB8VXoPvTmRRw2khXbr72Ka+HwFBoIVKna/Rgj01Qn053eAf2cMV0a1k38G+6yzSMN3KM0xMYX/ZqLan1odO97+/J7yi3Y6tgdZCGo8hHFBsBoeq7agAqkQ4Gdj+cX7UE5JUniv10nXxs31EEWm4TX+GEZfA744y4+oZQMcFZC+gCEKsL73S1qEQMEfZUGIKqaxcFXZcCr026+jQN8Hmj+Ap0pzYKokze5DngEmV7fjYfAmMWeHdhWo36z5866LcQyfE3Di+2P8hnaGyH0Z1g/Oj9ZHI/moqn+880TqyM5PnkveUvT5C8hJ2q8L8cRT6iKCFUfVeNYV0lAv0l+5xPsYAQWl15osgfefnufpllseX0LI2n+AonLIPfGWfMk+oxRROctYAuALE4JYmVUiXisYCnbS2pKi8i7kVB16jAa5OuPk0DfN4ovgLdFyeKB659KirAZU5VTJY6XaO++4xMCa/ByGaQd/7VlQd/tUs+CsefXWzGoZGwhif5kO6nZxyJSECo+q4a8ESRcKMX80QFiXW4yPOo4VozM/lMBMqUreeAlpvEWCOw7sE8pT6s8dY8wVkL6AIQW1eLSkTv0GZQUVJVXkTci4KuJr+qlHRt0tVnaYDP28RXoDu1URKFuVDkgEuU4/q5ghAYc7j7y87W6EkeB+3v9MnD9cFIvwdKFz50Y/GPvzwibvLyJ3Fp4KYb1ONbwRqumVCaB92KZM+hCghV31VjcpG7ycnBaAc37ddbBOSldxTvbA4vPvRgxADIAC03ia9wwgLcmY1YnEaDKJTgrAV0AYgbU16JGCTsiUAEVdcuCroqBV6bdPVZ2uTrQfEV6L48UQQuUY5v5wpCYMzh7i87W6Mve7LvRp4MdWdoulXkBRV60IniV3wN6s7uCZNS9owiETTTfO0xtgqWNRN/OEpHnmn8Tu/DcAhV31VjGkPuRJGDUWyxlUnTUiusw0WcR6mxiwd9bqcnrxdtP4CWW8RYI7Ddqee38GKNr5oJzlpAF4C4MeWViL6RzaGeoOraRUHXs8Brk64+S5t8PSi+At2pjYIok7tkDrhEOc6dKwiBMYe7v+xkjaZZ30BmbdN87LPwQCD/6AyZUfZ/YvrxFi89Tj+C2T2blk1NPh2fTFJY4xAot6af2gqINTUAlWgH72lrnvUlIC+9o0hu5ZOvHIlAGTGAMkDLLeIrnLAgd+Yil6fRIAolOGsBXQBi9t6cXClVIgaJeiIQQdW1i4KuiriqFHRt0tWf0gCfN4mvQPeViSJwiXJ9P1MSAmMG9kDRyRo9OvIZxe7RtMPvN/TtMP6G9j6M+u8rM+Me0xvO5DuJbzn7Y9/CYdL+Rj6kSMuf5P+N7DoKWMsxHOU53KdP2TQCQtR31QBVIl10/Y0/LkkyAvLaE0XL8edkr3DCOsez23sVV9/tLedaJDhrAV0AYnOlVIk4F8RcywRVly8KpuYFXptMA2gO4PMm8RXovjJRdJ1bS9J5QO4jyi6f4us4sgROWCh7IFQnAoxMUcndbl6uILEOF3EeVY7INYU1Arn6e02vclizZsVOWSXiTsed0mwzVcWFQGmrrgKqDEpZKHsgVBcCbOHapCrGSF2B7tRGkyhmLoZfK6aHB9wfNJ/93XMAyULZA6F64GDs6z70d2XYoSCxDpdyBgTWCCgKlpMqhzURfFqJGMGp0SA3U9W6qhDF1FXAX0sLZQ+E6gy4NqmKMVJXoDu10SSKmYvh14rp4wH7gcOneJXFp7GsY6Dsg5BYDQN7sb1E+mMxNKFBYh0u5QwIrBFQDCwnVQ5rIvi0EjGCU6NBbqeqcVUhemlXgQ1aGij7IFRv69cmVS9G6gp0pzaaRDFzMfxaMX08MP2gkqo56L+zqIqBlIGyD0L1QMGe05fAm9vQ0YmiBol1uJQzILBGQDGwnFQ5rIng00rECE6NBrmdqsZVheilXQU2aGmg7INQva1fm1S9GKkr0J3a+M/4r+a+7bTRGtdkOA/QX1dUx12+06LKfFIayl4I1Y0GNhXqkFiHSzkDAmsEFAHLSZXDmgg+rUSM4NRokDuoal4I9KvAFi01lL0QqjsNbCo8DqnA11NXoPt/MzuKIz3EM2jrLqrS6gHigT9GGUIljEc7GZf3gEAdgRJZVQRrIji2EjGCU+NCXpWqIbx6GbrTybC5oujv7OB3GEM4s2Jg98BEGWMHFI/JRQwI1BEokUtFsCaCYysRIzg1LuRVqRrCq5ehuztRDOG+ilE9UD1QPVA9UD1QPVA9UD1QvAfqRLH4EF7BgJ58V/y2622eK3in2lg9UD1QPVA9UD0QywNoJ4ohHryIPz25zCMOnL97o/Im7d/GB8fVuz0qFWuQVNwoHkBI/r38juLfk0ERhvdkjwbtvlI1qDtxP6ffsN9dM59RDOu+09DasaPPDxx61DL+9IQ94nBD+hbITOz3RmUkcXzKX4MhwK+vRH+In8CWJTVRhAcQkn8vv4uI10YlEYZ3oweyrl6pGjY8yOmOeEfx+E5ToukJjcFFjr1rkju57axPFL+d5jBt0qiVimTXaT+XLQoD/0/RR2CV5+HSG4KL/Hv5PR8NBKW4wosgINKESlXpinAJvHSnlqGkjGbU7qtfvOmJoRJedjkjUIuKI4MKOnXruf9Mlfs/thr4rDy9+CFbj7wa1MFueYo+diu3peEJhuAiv8ZvY4hvCcKeujl1ZuiCK7x7QpNrm7OoCvvDIBBcPXYNQB1DjJfu1DKNMrGdng5fGXXs6hdlemKqhJddTrhVVBwRVND+qemg+F3Q77QXa/1qqI50Z7PLbtfPH+o4a+kUfaz1H0x2hiG4yK/4bQ7xYCGaB8qpM1MXXOGd936ZpSdRFXaWSSC4fuQagDqmGC/dqWWKMpF9nhJeGnXs6hdlemKphJddTsBlVBwJVPDUf+Ppx2u/+c7iT80hLZyBfSf7Oy5WsOrvyaboY49em9ucYQgu8kt+W0N8cyg2NcipM0sXXOHdFJXMK59DVdgpFoHgBnFrAOpYYrx0p5ZJysR1eVp0adShq1+c6YmlEl52OSGXUXEkQMGTTPha8dTpg88Pmz/+qOJn8VvfI30hqXmM6t0XoKMd4hR97FBre5MzDMFFfslva4hvj8WWFjl1ZumCK7xbgpJ73XOoCnvFIhDcIG4NQB1LjJfu1DJJmbguT4sujTpy9Ys0PbFUwssuJ+QyKo6EFPTvruvojK5/v15v+r56+7q/XnRW+Bzatn2LbcE3mx8+bsM43Ngrz93S7+v1wtWLM0kCfvBI0cdBFf2an2IILvJLfgvexVygyKjm1JmlC67wSo8jSJxDVdhxFoHgBnFrAOpYYrx0p5b19KUNbIcYB+DVL/30xFYJL7scUomoOAJS8PyRq+rj1zYte0VleDU9e7SQPmX4Y7+3LFqJDUT+iCL5yJPYYhQ1xP/nyOaU7RjxEzop+hD2RP1/iiG4yC/4bQ/xqHHLqTNbF1zhjRrGxOCnUBW20SYQ3CJqDUAdW4yX7k+y1SIoE9XjqcGFUdDV74Tpia0SXnY5QRdRcQSk4ENne9/fk99Qbsf2wZ491L+EM7X74/s04hHF5qteiDaRpatdELPigVyKPg6o59/0FENwkV/wW7oy4gJFBjanzmxdcIVXuhxB4hSqwn6zCQS3iFoDUMcW46U7tUxQJqrHU4MLo2QoF6YKJ0xPbJXwsssJuohK03/+1NHSev20+UfpOM0DSf5vHF7iwUQN68c/oy4eUSRNNKme5KCPmDuKKfrQbYqWPsUQXOQX/LaHeLSYUeCcOrN1wRXeqGFMDH4KVWEbbQLBLaLWANSxxXjpTi0TlInq8dTgwijg6sfFSacntkp42eUEXUTFEdAA8N2XL/3OOTnGoem7zzg9BWI04BPFnlekN6wNuZaZWn8TvMwStw/NpHjJFM6ytcdFfsFve4jbVgfN59SZrQuu8AYN28lgp1AVttkmENwiag1AHVuMl+7UMkGZqB5PDS6NWr/6nTI9sVTCyy4n6DIqjoTsKLIXlLUp+/tJnp3t7/ov903N6LeryPGg+4js8drFW8/NwB5zvMf9PE6CPpjBsf+kcJZtAy7yS35bQ9y2Omw+p84sXXCFN2zYzkU7h6qwzRaB4AZxawDqWGK8dKeWScrEdXladGnU+tXvlOmJpRJedjkhl1FxJPwZRfKUYvPjn7Rpv2yP8ea8sUzec6FHRx5q/LI70/fFD2rf2V6jfJhxptvjRSn6OK6lB8IZhuAiv+S3NcQ9nH+gSk6dWbrgCu+BGGXX9Byqwm6wCAQ3iFsDUMcS46U7tUxSJq7L06JLo4CrH3tGMfH0xFIJL7uckMuoOBL61jOdEXbPpiVvPpN5Y0febKH7hYPzlCL/Gs7t1vTTlPHN71rPoNIXX3oGOCMMVJSij0CqrsOcYAgu8kt+W0N83e1HpTl1ZumCK7xHA5VT+3OoCnvAIhDcIG4NQB1LjJfu1DJJmbguT4uujFq/+p0yPTFVwssuJ+QqKo6IzOdu5EOKdFb4JP9v5EHFR0c+o9jxN1e0Bo/pJefncOebjdNPPms1VLLvXq8be1tGlYVOpegjtM6zeCcYgov8it/mEJ/1drjCnDozdcEV3nAROx/pJKrChpsEgutHrgGoY4rx0p1apigT2ecp4ZVRwNXvjOmJqRJedjkBV1FxRFsK/syZ33Pp6zhbMGvdUzyAi/yK3+YQj+zanDozdcEV3shhTAp/ElVhG00CwfUj1wDUMcV46U4tU5SJ7POU8BGMijU9wcsuJ+CBonLn771w/LfzFKPTcS3I1AO4yB+I35nGaodauMK7wwHZNqlUjRAavHSnlqGkTASjYk1P8LLLGYqhomI8t/hcfJXF6b8W5OYBXOQPxe/corRbH1zh3e2GDBtWqkYICl66U8tQUiaGUZGmJ3jZ5QzFUFGZftyPww8If4HS8RzWAlzkD8VvNNHGFV40YSGGVKpGiCZeulPL/hn/jeCzkyFjjINI0xO87HI4ECwq9Kcn+XF33ooWkvo/fw/gIn8wfucfOD8NcYXXz+YyalWqRogTXrr/V3cUN/AlzvQEL7sc19azk+OSixfgIn/lt0VnXOG1jCs6W6kaIXx46U4tQ0mZgozCyy5nKBYUFUf3WhDDA7jIX/ltcQRXeC3jis5WqkYIH166U8tQUqYgo/CyyxmKBUXF0b0WxPAALvJXflscwRVey7iis5WqEcKHl+7UMpSUKcgovOxyhmJBUXF0rwUxPICL/JXfFkdwhdcyruhspWqE8OGlO7UMJWUKMgovu5yhWFBUHN1rQQwP4CJ/5bfFEVzhtYwrOlupGiF8eOlOLUNJmYKMwssuZygWFBVH91oQwwO4yF/5bXEEV3gt44rOVqpGCB9eulPLUFKmIKPwsssZihuj0nWv99GP34TAcOywClL0YXUZJ5veEFzk38jvOEHMCRVXeHPy7FFdKlWPenCmPV66U8tQUkYzav/VL1pLAxgvu5yhpEXFkbkFn2/T9H/HZoohMFzNzJIUfZg9RsqdYAgu8mv8NoZ4pHhJ2Jw6M3TBFV7pbwSJs6gKu84gEFw9dg1AHUOMl+7UMo0ysZ2eDl8Ztf/qF62lCYyXXU64VVQckVtw/6Nl3aEf6AuB4WpmlqTow+wxUu4MQ3CRX/HbHOKRAiZgc+rM1AVXeIW/Mfw/iaqw60wCwfUj1wDUMcV46U4tU5SJ7POU8NKo/Ve/aC0tYLzscgIuo+JIZgqGGy38jkd+oS8ExoxqRlGKPowOY2XOMAQX+SW/rSEeK2ITbk6dWbrgCm/cMKZFP4eqsI0WgeAGcWsA6lhivHSnlknKxHV5WnRp1P6rX7SWFjBedjkhl1FxJDMF45sWPkZyA3r3EQID6jxFH5AOQeRnGIKL/JLf1hAPEp5FkJw6s3TBFd7FCBQoOIeqsKMsAsEN4tYA1LHEeOlOLZOUievytOjSqP1Xv2gtLWC87HJCLqPiSNyCXrhJ/ayzWwkoCYEBdNGk6APSIYj8FENwkV/yW3D3yCLHO6g5dWbpgiu83hEpoOI5VIUdYxEIbhC3BqCOJcZLd2pZfz9ycy9unHaji3Gw/+oXraUNjJddTvREVBzBTMFz7GhpO75mhJ5FITCgrlL0AekQRH6KIbjIL/htD/Eg8VkCyakzWxdc4V2KQInlp1AVdpRNILhF1BqAOrYYL92fZLtGUCaqx1ODC6P2X/2itbSB8bLLCbqIiiOYKZBuYvPFmQoeRSEwoG5S9AHpEER+iiG4yC/4LV15YJHjHdOcOrN1wRVe75AUUPEUqsJ+sQkEt4haA1DHFuOlO7VMUCaqx1ODC6NkKDdPN6K1tIHxsssJuoiKI5gp6KcdxceRHcUQGDOqGUUp+jA6jJU5xRBc5Bf8tod4rJAx3Jw6s3XBFd6oYUwMfgpVYRttAsEtotYA1LHFeOlOLROUierx1OD/jP+yLvdf/aK1tIH/IzG4yCGi4mXu9PzHN8DLLMcwIGVD6An1kUR+hiG4yC/4bQ/xqOHLqTNbF1zhjRrGxOCnUBW20SYQ3CJqDUAdW4yX7ugnis3+q1+0lhYwXnY5Y1icnRzBXMHAvqB4P/Z5nAAYc7rpZSH01PFOS59hCC7yS35bQzxuSHPqzNIFV3jjhjEt+jlUhW20CAQ3iFsDUMcS46U72omi3Cbdf/WL1tICxrtf7YxhGRVHMlNw/9HC92dG5F0UAgPqLEUfkA5B5GcYgov8kt/WEA8SnkWQnDqzdMEV3sUIFCg4h6qwoywCwQ3i1gDUscR46U4tk5SJ6/K06NKo/Ve/aC0tYLzsckIuo+JI5gr+6E/4/do5kXdZCAyosxR9QDoEkZ9gCC7yS35bQzxIdBZBcurM0gVXeBcjUKDgHKrCjrIIBDeIWwNQxxLjpTu1TFImrsvToiuj9l/9orU0gfGyywm5ioojminou9frdmye2ITAmFHNKErRh9FhrMwJhuAiv+K3OcRjBYzj5tSZqQuu8EYOY1L4k6gK22gSCK4fuQagjinGS3dqmaJMZJ+nhFdG7b/6RWtpAuNllxNwFRVHVAsu6QFc5Ff8Nod45NDm1JmpC67wRg5jUviTqArbaBIIrh+5BqCOKcZLd2qZokxkn6eEL8govOxyAl5QVBzda0EMD+Aif+W3xRFc4bWMKzpbqRohfHjpTi1DSZmCjMLLLmcoFhQVR/daEMMDuMhf+W1xBFd4LeOKzlaqRggfXrpTy1BSpiCj8LLLGYoFRcXRvRbE8AAu8ld+WxzBFV7LuKKzlaoRwoeX7tQy+UWlCJ47DbKgcYCXXU70C4qKo3stiOEBXOSv/LY4giu8lnFFZytVI4QPL93pFyJRUqYgo/CyyxmKBUXF0b0WxPAALvJXflscwRVey7iis5WqEcKHl+7UMpSUKcgovOxyhmJBUXF0rwUxPICL/JXfFkdwhdcyruhspWqE8OGlO7UMJWUKMgovu5yhWFBUHN0PFfRdd7v1hyBwNsZF/svye4mcuMK7ZGWJ5ZWqEaKGl+7UMpSU6e/FXJaf9wiUzROyoKiEdeCbwL3/wmKiQMNF/iL4nXLRgiu8KEYcN6IIqpbmcLx0RztRLGj2i3cZ4ozzgqLCdD/0O9O69eOjaZ7jwV+Z0QGxpHGRPya/g3Ex5aIFV3ixDDpqR0yqYvLTJlvw0p1ahpIyBRmFl13OICsoKlT3Fxkd2vGUaZWSResJur9tThRtCDu/jodGiov8EfltcfEAAVIuWnCF94DTs2sakarZ2ZpMIbx0p5ahpExBRuFllzNAC4oK0f3xNSaKr6+05/GSSf9Ep9961sAmhF2Q/p3nWhMX+ePx2+KitqzQkn5BdhYtNoKd94OdrYUrvLMmFloYj6qFOiSE2njpTi1DSRnNqK57vfed+6K1NIDxsssZe1pUHNlMgeGmGblP0X6M/tXrE8Vvp3XnzPPIhuHPeta0/fzoXT5xtH/aU7MG2FRjBlI0TfZ/v7P2qoiL/Bv57e80i4s6V3atMPRFiw7GNNqFOG8LrvDO21hmqUbV9KN+1WVlqWNoi5fu1DKNMqsBLEqojPqQjaD+b89MMVpLExgvuxzGqKg4opkC000zFTyKDmC8Gn2i2PNnxDiVPtqsb1LjMerTQlb2d1MaPgethQBTYpJyIQ1xgswBZ+3VDhf5NX4bF5C93pHtTC6aywxnordt0WKCsR5nEKUmTQNYZohxhVdzQvFJRdUTRv2a98pSx9QWL92pZYoya/ErTCaNurMbft2wXf9oLS1gvOxyfC6j4khmCiw3zdSAiw5gfJ/GRPHN9wv57ei7MytstIkgV2xQE8UnSbZytSLADANmIA159MwBZ+3WDRf5Fb/NC8hu9/CGJhflMiPEokWC6TqurVkAy0wxrvDqLio9Lal6xqhfcV5Z6lja4qU7tUxSZiV8xYmkUdPF+ju6l3HIpmgtLWC87HI8LKPiSGYKLDfN1ICL9mPQLx3oO4o/3tmb7yz+PAg19U4bPoe2bd+yiQAzDfCBNFuEze131n49cJFf8tu6gOz3D2tpcVEuM0IsWiSYruPKmgWwzBLjCq/uotLTkqpnjPoV55WljqUtXrpTy3D/1vN0Q/AxqjcRVlhqiKK1tIDxsstwJ83Is5MjmSmw3DRTAy7aj9F2XfceO0Gbh/g6yR9/VPFjPZE4p8t0GqGS30gPUUeCiYLpvw+k2SJsbr+z9uuBi/yS39YFZL9/WEuLi3KZEWLRIsEMHZfXLIBllhhXeA0XFZ6RVD1j1K/4rix1LG3x0h39bz33IpQe13WTvtFa2sB42WU6lOTk2cmRuAW2m9wacAmI0b/JfJBOBvv36/UmHzts2tf99eKzwqfah36z+eHjNozDjb3y3InbyrzB8/Ojd5f/fu/n6zVVaYabSuvKTmBN2334DewH22uUkHrddGnQWTFUwUV+yW9x1hHrjOOuU1xUy4wAixYFZqi4vGYBLLPEuMJruKjwjKDqKaN+2XdlqWNri5fu1DJBmeXoFSgRRj1HdoVvx80fNInW0gbGyy6HNyIqjmCmwHbTTBWwCMJ4/siV/PFryQSPPj84kHcG2MOs04ds7sN4E1d6ceWUX8y5i5dbZIPp1ZUfnSRyO4eBLE9mbOZgLfm0IqNlO61iBCRoVpwKkLOi9IqL/CLW9gXEy3WrixaNi3yZEWbRsnXNAlhmi3GF1yuMhVQSVD1l1C/7qCx1bG3x0p1aJiizHL0CJcIoGUr94yZe9kRraQPjZZfjZxEVRzBTYLtppgpYBGF86Gzv+3s2095MO7YPdtPNJcsfnzGKu33Nl38VUTWY7roN7F7eyKZ+elrXVYCRqSlFafkiRkDqVROmIWdFUQUX+QW/pSs3LE/XFy2a88WapQmxaNm6ZgEss8W4wqsFofikQ1X3nHeGjZJARahja4uX7tQyQZkzeBGtT2FUP+0oPrbvKEZraQPjZZcTXREVRzBTYLtppgpYBGBwMR0C0zyQkOVvHF7y7WTVwY/eliaHuNtHmkwFqgGfKLIdxolug5bmtdk/AUYmqeRn/Z7inCgh9brp0oCz4iiCi/yC3/YFxMd33osWucwIsWiRYJ5rFsAyW4wrvD5hLKWOoOopo37ZSWWpY2uLl+7UMkGZ5egVKJFGTQ/NfHe/zBKhpaUSXnY5vJFRcSQzBZabZmrAResY8oGEL/1ZM3KMQ9N3n3FqZaDzuV3PK9Ib1lwuG+yZKDbjuxfzRAVp9Jwus+6sOHrgIr/gt30BsX3Xf/7UMf0COG/isWiRy4wQixYJ5rlmASyzxbjCa4ex5LygKjkDUTP2XOaimF+WOpa2eOlOLZOUiRL4k0ClUdOuzl29luCtULSWFjBedjmullFxJDMFlptmasBF6xj8iSrt4vx+ktdK+jvZ57MO+nk4cjzoPiJ780TcJ1YN/CeKHIwC3rRfbxGQtPyMY91ZcTTCRX7Jb+sC4uE7/0WLmNsFWbQIMKKh35oFsMwS4wqvRxiLqSKpesaoX/FSWepY2uKlO7VMUmYlfMWJpFF3tvMj79JsMCRaSwsYL7scZ8uoOJKZAstNMzXgIgCD3e4jy+lmmq49xvbLniq7Oe/Ik/dc6NGRhxrJ14/JcWe3lUlONvCfKHIwCiP2MnVImj7jAJwVRSVc5Jf8ti4gHq7zX7SIZUaQRYsAIxr6rVkAyywxrvB6hLGYKpKqZ4z6FS+VpY6lLV66U8skZVbCV5xIGUWfwunJi63bj2gtTWC87HJcrqLiiGYKTDfNVPAoWseYfp+5ezYtI8inI2+20P3CwXlKkX+65nZr+mnK+J7+aQ2ma+RHey5RT+u6at/BeU9bMEwqIPWqSdPrzoqiCi7yS35bFxAf13kvWsQyI8iiRYARDf3WLIBllhhXeH3CWEodSdXmhFG/5qSy1DG1xUt3apmizFr8CpMpo/qOfNduzzyRPK4WqaUJjJddDmdUVBzRTIHpppkKHkUARn8jH1Kks8In+X8jDyo+OvIZxY6/uaLhP6aXnJ/DnW82il8PFw3a4fcb+naVzBSQAAAgAElEQVQYf0NLvmVCvpWjpzUkkuRgJNX1N/GsI3lRxpmems2i5wBnxegfF/kVv80LiI/nvBctYpkRZNEiwIiGnmsWwDJTjCu8PmEspY6i6gmjfs1JZaljaouX7tQyRZm1+BUmK8govOxyOFNQVGzd/8y1xpN/Hceu5pcXYGSOSm538zbHIP06zq4WLvIrfpsXEC+3+y5axDIjyKJFgPmvWQDLTDGu8HqFsZBKiqqFKFyCmnjpTi1DSZmCjMLLLmdsFxQVW3fr529nfyLXbrOY52DsOzz0B13YcQxysa+8BbjIn4bfYpkhIntohSHA4qxZcIVXOBzD/zRUxeCpDTbgpTu1DCVlCjIKL7ucIVZQVBzdjecWn/xVFqeWZwEDe7G9xG4kj0iSZkchPXvOrBou8qfht7VmaQ6tMOKuWXCFN7Oxc0idNFQ9pGJ5jfHSnVrW39n3PsoLy5rGBY0DvOxyAlRQVBzdpx/348XDwSFDwZ78Scjb0NGJ4lFIR+EiCnCRPxG/jTXL0RVG1DULrvAWMaI8lUxEVU9tkFTDS/cneTQfJWUKMgovu5zhX1BUHN0bOlb4cT/82okGNmEehxTKFfUfF/kT8dtYsxxdYURds+AKb1EjC1A2EVUBLZCJ8dKdWoaSMgUZhZddzmmgoKg4uteCGB7ARf5U/NaXGYdXGDoYC/FhREUUXOFVdpWfSkXV8j21wQK8dKeWoaRMQUbhZZczxAqKiqN7LYjhAVzkr/y2OIIrvJZxRWevQtWefPbsdvBBIe9A46U7tQwlZQoyCi+7nAFWUFQc3WuBpwc2nZpxkb/y2+IIrvBaxhWdjULVTUM/jfvoL1m/D33LbIOeeOlOLYtCmQ3ejVK1IKPwssuJbEFRcXTPsiDDM3Oz6dSMi/yV39YowRVey7iis1Goumnor7uP/FZqkGMkrww+5bdqg0Aug+ClO7UsCmWWnZlGUpBReNnlhLqgqDi6Z1mQ4Zm52XRqxkX+ym9rlOAKr2Vc0dkoVN009Ffd9yITkyAH/aRLnSgedmWdKB524WGAC51Mo5ydDgegYAD3zGy8j21k1s00z8xaQy25jiCkzqnZRtDzuMhf+S1IwP/jCq9lXNHZKFR1hn6jj3Uzs+q9x9eYKCoUlVptbwo749azDWHnzbabcnjpTi2LQplN/o1QWTOq617vfWSI1tIAxssuJ65aVBxZLdjhAefM/PrqKI+XnltLm2dmHcUfQ8PXT806GKuiI+Iif+W3xgGaxBVey7iis9Goqg/9xhz7+sBfdV7/6vWJoobiDaHht3/6yywa2FRnD6SGrifx0p1aFo0yugtTp5VRH3Lp7P/2zBSjtTSB8bLLCbqKiiOaKzDm03MVPMpCYEDdpOiD6fD8qW85SqX0M/O348Wv7ka/4u2cFWUrM2GemSUKqzSD4ejRfn70Lrg49FOzCcZqaIi4yK/xOxknqEdz6szQBVd4Bb0x/A9BVec0QByjD/1Gjv2Np6NXo08UJQr1u3buEGFw1DDPRk/jpwwMsAlhBlJAk/8Gn7VynjTEeOlOLdMo4/qh1BJp1J1tO3c7fnItWksLGC+7HPLIqDiSuQJzPj1XAy4LgQH1kqKPSYfHqE/HpjL9zNyLR8CHO1kcUflHX0xPDeb+GmdmicLXVy7GjB5/4ierCbx+apZgercKERf5Fb/TcYL4NafOTF1whVencOnpEFSdOQ3oQ7+RY3/j6ej71CeKAmXn2ehJTkyt3CcSYEb41OnIKGYZk8+O3BTjpTu1TFHGcUO5BdKogV3AvqPfBVM3OFpLCxgvu3RvsrSMiiOZKbDm0zM14KIQGFAvKfoQOrgsNs7M4ld/2bqIvepn/y6wADL/m2dmgdLwB4VmMFw9JlIzWOPULMH0HhUiLvJLfqfkRJNTZ5YuuMKrU7j0dBCqOqcBY+jLHyHfeDqiX4DXdhTFGWTf2eg5tG37looKMCN86nRkFNOMxWdbbonx0p1a9s/4r21/+Xk5DqY9mMdoPLvlZV+0lhYwXnY5bpZRcSQzBdZ8eqYGXBQCA+olRR+LOphn5t9Ur6XvuDQT5X/yHLmIwX6cUDszcxTy/TG+QemDoSaK5qlZghndS0Rc5Jf8TsqJnDqzdMEVXoPChWeiUNUc+s3O01Hbdd177MQVW5xB9p2NfiM9ZLAEmCxgCXk6MotJzuKzLbfEeOn+H/YdxV7MymYe7rKjbuajtbSB8bLLdCjJybOTI5kpEJETJ4yZKmBRCAyokxR9LOlgnpkffGJ3o3ed25FR/uNBfPPMLFCa5o8/8eiDMZ0yqZ7GqVmBGSZIRFzkl/xOyomcOrN0wRVeg8KFZ6JQ1Rj6jRj7W09H1LNPeQtQoOw8G5lhkmBmsTwdmcUkZ/HZlltivHSnlknK2F4oOS+Meo7sYteO3u9/CqujtbSB8bJLuFL+F1GRBSsJez69UnVRFAJjEZwLUvTRvu6v16d5fn70gZu/3/v5et0oo80z83ua2PWM7F+2rdh08tnB/k1W6nTW3b9frzfdc+SwzBB1ZuYoj9swDqwThbGoB116C50YnPjDwdruw5+ufLAdTqkVLvILfqfghPAwuUvHXPuYFgayOE4C6MwW4wpvHJeeg3qEqiunAd2YA6ej+zDe+AbBhBLmbNRApyNdfZq2+WzJbTFeulPLBGUsJ5SdFUbJWZl4HdTbrGgtbWC87HJ8LaLiCGYKpJs2T/EVWAgMhTafStBHz17FotuE0ysjPzp/m/ElXxi/2NOJ3cie4L6L91ueP3LmffxaMtGkgoG8vyJhybM46swsl9fyW2YCQzVw9RjIA+szOnGwlmwRsDi20wanQET2/RQRkwScUGTMqTNblwud21RAikgdoOraaUC3/cDpSIMRp6MQZ6MGOh1p/bKkzWdLbovx0h39RLGfdhQf23cUo7W0gfGyyxpWcxMJp4oskINw8xRfQpDZCd9PPoCh0OZTCfp4sGdoqA3TDd6BPWnj7iD9TYtwMucjxzg9jvNlLz+Tph86Y/z+nvwWTju2CtawjKOoRxQbgaEauHos6CTBmoHdD+ezfoGIfaIYkXcyZgkIKPuCRpSty4XObcpHRaSciaI/VddOA7rtYU9H4hHFI2ejBjod6erTtM1nS26L8dId/USRP2Tw3f0yS4SW060iCYyXXdaw2jZRtOfTDphHQQgMqJsUffyNw4vtD/IJGtsKdNc+P3o/mdyPpuLp/jN1OSsjeX4laPlQIHkJO1XhfzmKekRRYqgGrh7DvE4SjLxCTbYVxdVIaIV0opiCEzJmOXVm63Khc5uMRxkJMVG0I2Zr33/+1EE/zUoOed5wTwNThelv2NOReGD6yNmogU5Huvo0DXjHFuOlO/6J4nQBu8tnY20qLOejtbSA8bLL8a04OzmCuQJrPj1XBSwLgQF1kqCPvvuMrBuvMzObQQrGP/h7fvIpXf7sYjMOjYQ1TBQn0356yJHIBIZq4OoBThTJkq0X80SFiIv8kt8JOKFillNnli64wqtcXn7qCFXlecM9DeiO4SeSMKejIGcjbaI4fzrS1Wdpi8+23BLjpTu1TFLG9kLJeWnUnV0o5b71BpuitbSA8bLLcbaMiiOZKbDm0zM14KIQGFAv8ft4khdA+jt98nD9zEy//kpXwXRj8Y+/PCJu8vLnrulwn25Qj28Fa5g4oZDpId2LZK+eCAzVwNVjYaIowAjUTfvxFoGIdEexic8JLWQ5dWbpcqFzmxaQEpLyVGxFzEP3tdOA3jzo6SjI2Yh9mp6rOHs60tVnacA7lhgv3fFPFNljCT15hn/7QR9oiNLSBMbLLsfl8uzkSGYKrPn0TA24KAQG1Ev8Pr7syb4beQ/EnaDp2pEXVOhBJ4pf8WmwO7slTErZM4pE0EzztcfYKljWTPzhKE1HHmokX+Imh8BQDVw9plOmcztcgBEUsZWpI2KdKMbnBPUiP3LqzNLlQuc2EY1C/stTsRUxD/XXTgN686CnoyBnI/oKnzhmT0dCKP8D3rHEeOl+gYli35FPieyZJ5IbbZFamsB42SWHm0jIs5MoWP1vzqdXqy4KQ2AsgnNB9D6mWd9AJm3TdOwz/zyg+IwNmVH2f4Lxb3FqnH4RtXs2LVs1fTo+maSwxiE+XXO7Nf3UWGCs6bGgkwAjPbyn+zSsL4GIdaJ4YHlqxMIvE52AuhpAZ6b4Quc23UcFpNWp2IyYh+prpwG9OR/7YU5HQc5G4gxJtZw9HenqT2nAO6YYL90vMFF0Y59ZCV52OY5WZydHNFNgzqdnKngUhcCAuonex6Mjn1HsHk07/H5D3w7jb2jJ92z0n1dmOj6mN5zJdxLfcvbHvoXDpP2NfEiRlj/J/xvZdRSwln0chfxi851/rFtgiAauHos6CbCm6fobf1yS9CcQ0U4Uo3NCD1pOnZm6XOjcpgekgLQ6FZsR81B9+TRgNg56OgpyNmqg05FpAM0B3jHFeOleJ4ouNVKX4GWX40l1dnJEtSCAB+Q+osR6iq/jyBI4YaPswZC9CDAyRSV3u3mxQsRF/spvGfcpgSu8lnFFZ1NQVYx95Sg18FUZlLJQ9kCoLgTYwulIVdyVwkt3alkKyuxy+5FGBRmFl11OAAuKiqN7CQXur9u/+abgFu1tlD0Ysj8Oxr7uQ39Xhh0KERf5K79l3KcErvBaxhWdTUFV+0RC7vcePx3tgVCRAk5HquKuFF66U8v6O3u1cZdnsm2UYhwEMh4vuxwHFRQVR/ciCuwHDp/iVZZN2pso+zBkhwzsxfYS6Y/F0ISGiIv8ld8y7FMCV3gt44rOJqGqeSIxBv4G5xko2rljA4Squn46UvV2pfDS/Ulm+Ekos8vvBxoVZBRedjnxKygqju5FFEy/rqVUHXatAU2UfRhSBwr2nL4E3tyGjk4UNURc5K/8lmGfErjCaxlXdDYJVc0TiTHwNzjPQNHOHRsgVNX105GqtyuFl+7UsiSU2eX3A40KMgovu5z4FRQVR/cyCujKTx13+U6LKvNJ6Sh7MWQ/Ohgr1BFxkb/yW0Z9SuAKr2Vc0dk0VDXHvj7wtzhPQ9kLobrTwKbC45ASHC/dqWVpKCOdmSbRjuwQD0Wl6XRzL3+TlpvbldqgjKiU6t3C9EZI/spvxUGE4VXGlZ+qVA0bQ+R0RztR7O/s4Le8wnIiHNqkpLEJFA48Q6QyopKh4zCqhJD8ld+KqAjDq4wrP1WpGjaGyOmOdqIYlgUVrXqgeuDSHujJtydvu574vLTbqvHVA9UD5XugThTjxrBeXuL6t6JXD6TxAP3p7PeOj1Km0a72Uj1QPVA9EM0DpU0US3uyItTlBfkTENH4bQOXxh9b/4D5cii1N2hBV2n0B7Sf8ovhAeNQoc72QDkjIaCn9g6qgCqggkJOovImih19GCDmo4dZXl7YExA38uZRPQ55oB2j8+eQfgkbl0OpvUFzV2nqJXCV8nQ5/disOVG0Iey8J3CtdrYHyhkJAT21d1AFVAEVFHISlTdRjH46di8vBwjtXl6OgNWJ4gHvsaYo3/A/4BQ6/rM/9gbN2QR8faWtj5dM+ic6/dazBjYh7IL077zWjOqBIkZCQA/sHVQBVcAHhZdEdaLosNW5vDRqbqpSTrPlAuPyooFNLTZA4qXhsvMCS7TTY9e93ivOB8Rh9TqtsyIopQVtk9vtVdq305o78zyyYfizvj/Qfn502SiO9k97mcUAm2rMQIqmgf4n4EmCLmBnnKBEESMB9px3DW1QAd4GxN49BqqYszp4SUQt0ygTKJbxYBLoal9eGu38v2fTwLi86GCTlzZA4qVhPMJYyIo/H7K71P8tzhQBsQV7MHteZ0VQSgVtu5+1VVr/mZrzqH+0Wd8keIz6tJCV/WkfYn3qPwohwAyNXEhDfDiTgCcJuoDdcIYSRYwE2HXeNdSgArwNiL07DFQxa3Xwkoha9s/4b6AgxodR9G6AlQUgXldVu7w0xtaBNmkUCMA+hHF5McEmhBlIAd2YRuKloTI4ckry587uInZLP4UMiMNqeWJnRVBKBm272/VV2pvvF36n2+13Z1bYOFPHZlATxSdJtnJhIcAMlWYgDfnBTAKeJOgCdsIpShQxEmDfedeQgwrwNiD27i9QxbzVwUui/4rdUQRWFoB4nbb65UVsHezchzAvLwLM6H5lH8K0Ai8NDX/EzMjT4zQD+I7u3IB1D4jDqnhiZ0VQSgZts9uNVdqPN3/zncXfQuz1XtRE8Tm0bfuWTQSYXrlpfCDNFltyCXiSoAvY4lOUKGIkwL7zriEHFeBtQOzdX6CKeauDl0TUMkmZQLGMCSN1BVYWgHhdRePyIrYO9u1DWJcXAWb0v7wPYVmBl4aGP2JmJH+mu4yPUb3eYHQLiI26hzMndlYEpWTQtnraWKU9+Pyw+eOPKn6sJxLn0KfrEpX82K9tijoSTBRM/30gzRZbcgl4kqAL2OJTlChiJMC+864hBxXgbUDs3V+ginmrg5dE1DJJmUCxjAkjdQVWFoB4VUXj8tKIrYN9+xDm5UWCmf0v7kNYVuCloemPiDnBn16ccOYnC4A4rIJndlYEpUTQ5t3ev7uuo/P9/v16vemHs9rX/fUi00JzlfZm88PHbRiHG3vluRO3lXn95+dH7y7//d7P12uqQm49q7Te/QTWtN2H38B+sL1GCanXDZVOwJMEXcDeOEeJIkYC7DzvGmJQAd4GxN7dBaqYuTp4SUQtE5QJFMuoMFJXcaEPvyNkXl7k1sG+fQjTGRLMLF7ch7CMxEtD0x8Rc4I/z5FNG9px/ispgDisgmd2VgSlRNBm3f78kVPA49eSGR59gHB4NT178JQ8g2qu0sQo47cGmuYuXm4R9Zvp1ZUfnSTyPoeBrCRm+udgLfm0ImNQOy04BOSspkcLE/AkQRewF85RooiRADvPu4YgNeBtQOzdXaCKmauDl0TUMkGZQLGMCiN0BVYWgJjuPixtQ1iXlzP3IWwr8NIwKmd0cMEfecLRv5iiKgJiVTFE6szOiqCUCNqssz90uvf9Pfkd5XZsH2yH3gnsH19TilsDzZd/FVHVn3bwB3YTYWRTPz2tdy/AyMyUorR8vSEg9arB0gl4kqAL2B3nKFHESICd511DDCrA24DYu7tAFTNXBy+JqGWCMoFiGRVG6CoJs29HaGUbwlL/zH0I20i8NLScHi8r+NNPO4qPhR1FQBxWvzM7K4JSImhN//lTR8uiwJ1Hz2LTRJAE9m8cXvL1ZBmrH/85J3FrgLTgMlmfTxTZDuPEjEFLSySSEGBkjkp+1u8pZqUSUq8bKp2AJwm6gL1xjhJFjATYed41xKACvA2IvbsLVDFzdfCSiFomKBMollFhhK5yDiVO0WavgLjx3oZoxNbBGfsQthV4aWhGL2JO8KeZ7up/119mWRSH1RDQJWZnRVBKBm3GE/LhgS/9UD45xqHpu884+VRvwOd2Pa9H71dzsay/Z6JImNTLk5CE1DsOlk7AkwRdwO44RYkiRgLsO+8aclAB3gbE3v0Fqpi3OnhJRC2TlAkUy5gwQldgZeEn9tiGkFsHZ+xD2FbgpWFMyhjYgj/NtFV0X/w8DttJWhQbmIczgC6H8Q0As7MiKCWDZhgyZfjjGdpQfj/JeyX9nWz0mQf91BQ5HnQfkb15Iu4Tq/r+E0UORgFv2q+3CEhaHv4wQxcenyAm6ALW+xQlihgJsO+8a8hBBXgbEHv3F6hi3urgJRG1TFImUCxjwkhdgZXFuth/G0JMFM/Zh7CswEvDmJQxsCV/7mw7Se4TG5VIBhDb1Y/lT+ysCErJoM25md0cIHeAm2m+9hjbL3sc5Wa/z05ec6FHR55p/LIb03e2GCA5Wd9/osjBKKDYyqRpAUnT4Y8EPEnQBeyXU5QoYiTAvvOuIQcV4G1A7N1foIp5q4OXRNQySZlAsYwJI3UFVhbrYv9tiObUfQjLCrw0jEkZA1vyhz1T0JOXZRcO+sjBinih1c7i8zorglIqaDP+nX4YqXs2LQvmpyNvttANw8F+SpF/uuZ2a/ppyvie/mn1p/H20Z5L1NN659p3cN7Tco5JBaReNWA6AU8SdAE75AwlihgJsOu8a6hBBXgbEHt3GKhi1urgJRG1TFEmUCwjwkhdgZUFIPbehqCf26DHOfsQlhV4aRiRMSa05A95kI18LG9xngiJTdSjOUCXo/Bme6OzIiilgmZaMuX6G/mCAZ0VPsn/G3lQ8dGRzyh2/NUV1eIxveT8HO58r1H80Leo3w6/39C3w/gb2vswkm/l6GkFRFMcjKS6/iaedWwaAWlWDpYzQhcM1QBK0IXR32zmDCWKGAmz3tpXqAYV4G1AvK/3/a2yVgcviahlijL7w5eqpdIVWFmsi723IZpz9yFMK/DSMBV9iuJ6CqcUQSk16A+55M9cFjz513H2YQowMkUld7s5xjHIfYrUVmE8UMRICGMqQwk0qAJqhAAKL4moZf2dPdtdRJwUvYGVBST23IYQWwcn7UOYVuClYTLuKf4k6zLrjoqgVKCgWT+VOftzmt7B4mDsMzz0B13YcQzSu+9aMYIHihgJAe0ONKgCaoQACi+JnuQ2TEmUSa+r2DrgND62aSDA9u1D4KVhsnNEev4kM21XR0VQKlTQjMcWn/xVll1uI40Y2IvtJXYjeUKSFB2F3KtKbRfAA0WMhAB2CohQg0rg1f/EA3hJRC0riTLpdc1oHwIvDZOdZdLzJ5lpuzoqglKhgjb9th/303DwNgoFe/IHIW9DRyeKRyF3RbA2CuOBIkZCGFMZSqhBFVCl8qHwkohaVhJlTtA1n30IvDRMdoo4gT/JbNvTURGUChY0ev+EH3f7pWgh8P6vgU1tjkN6910rBvdAESMhoNXBBlVAnYqHwksiallJlDlB13z2IfDSMNkZ4gT+JLNtT0dFUKoGbU9oa5tNHihiJGyyaL1yHVTr/tklxUsiallJlDlDV23r4PimgQY2UXEDJF4a7hqVexqdwZ89eqZqUwSlatBS0eHC/RQxEgLGpw6qgM4UUHhJRC0riTIl6SrYE+w/XhoGcxEEhIA/Pfla4O3gA3bSTUVQCkHQpMOjJ4LSI7q2+XRQxEgI6K46qAI6U0DhJRG1rCTKlKSrYE+w/3hpGMxFEBAC/ryJje9D3wDUnFQEpRAETXN55GRQekTWNSf4IkZCQIfVQRXQmQIKL4moZSVRpiRdBXuC/cdLw2AugoDO4w/5ieEwx0hetX3KbzwfxCyCUucF7aB3NzTPkx4bDCi9ahEjIaCTrzCoArrLDwoviahlJVGmJF39uLWhFl4abnDCsaqn8edFBlqYg34ev04Uw/gyG5RM6ZGNf+IrcrWT62lnwvihPK8HvCSqE8XzWLW5Z7w03OyKvQ3OOj0+vuZEUX2cRaU22NQZt55tCDu/AlwEpc4K2orfAosseqgAqtSWHg162BB2fgsw4rpFjISA/tcGVde93iusAMQBdfKCylkdvCSilmmU8YrUmZVK0jW4n/DSMLirlgBP4k//6o2J4usrFXy8ZNI70f7pL7NoYBPCBsgiKHVS0LzDcbiiRQ8toBtCqbQw6KGBbWaHgsSfKmIkBAyDGlQfcjLq/xZnioA4oEpeUFmrg5dE1LJ/xn+9QpRDJUXvBlhZAOIQxqTuAi8NQ0TDC+Mk/rwaY6L47TRlnSs5ubP8U1+GZjXbz4++pMCPp/ETIAbYVGMGUrQl/3XaFkEpLWiaGQGSuicCwO2GMOlhBHQmlAA7yC8JassIA2xScAZS0zwLn5ygRBEjQYvT0aQcVHd2d6Jb+kVLQHxUja3t81YHL4n+K3ZHEVhZAOKt/Jyrn7wLvDScc2+UMnl6bIDoAeJtyn2fxkSx528u8GX8R7uuT7iPUZsWTkV/N9nlkyRbuQEgwKSYJlxIJTYsK4JSKmjKihApwxMhAHdimPQQAd3JjsaghwAzNPNmh9EqYeaMwBQxEgLGQA6qgZ1ZvqNzFpo6A8QBNfKCylsdvCSilknKeEXq3EpSV2BlAYhDGJG+C7w0DBEPL4xT+EM/sq7vKL75fiF/btH6NXFqh3vSnk6QVPYc2rZ9yxoCjIrkMQMpZCZti6CUDJqwIcx/0xNhMPegWPQQAd3HDoseAszQy5sdRqt0mVMCU8RICBgDOaimReljVE/DGL0AYqNugkze6uAlEbVMUiZBnI92IXUFVhaA+KgatH36LvDSMEQ8vDBO4U/bdd177OSZ+MdVffOdxZ+c9S3boCaKv5EesqYAkwUssQxp0rYISsmgmTYezZmeOIq2v71FDxHQfexoTHoIMFM7X3aYrZLlTglMESMhYAjEoOrF1Mt62oV3BYgDKuQFlbk6eElELROU8YrUyZWkroLe8uprKgaIzcr7cum7wEvDfRHY0eo0/jzVrZ2H+GbeH39U8TN/jjbMUxNFo7iRYGbxMqRJ2yIoJYNm2ng0Z3riKNqx9ooeMqAZsOOYTbtbnxKYIkbCbpe6DcWgeo7sLNSO8y/VAWIXN25J5urgJRG1TFAmbojDoAtdgZUFIA6hywld4KVhiIB4YcTkT/8mO4d04dK/X683+Sx2077urxebFt6H8SbWNG92Zn7chnG4sbNzJ54/5PWfnx99DPHv936+XlMVsn+t0rqlE1jTdh/+WOODbU9KSL0uTVu0LYJSImi2LcfylieOgcGt19jRaPTIiR2wVTFqJA4MN6GIkRDQ3WJQyamX/oKd6gcQq4ppUpmrg5dE1DJBmTShPtaL0FUS5rR1EKDBMTOn1nYXeGkYwlteGBH58/yRmeDj15IZHn3TZCCvsrI3CY1PHlIlxW6f/LTiXbzcIutPr6786CSRazwMZNtRaK+ZysFa8g1uNhTaaXdSQGo1p6TFqSIoNWO2Y9f2AssT2wE2tSiSHZssDFY5bWCE2kWMBKFsgP9iUPXTjuJjYUcREAdQZBNE5urgJRG1TFBmU8ROqvy///sf61meTE5bBwEahPCP3QfsUMYAACAASURBVMU//xcC9dIYEfnzodO97+/ZTPcM27F9sGfBHIb+8a1F8RBa8+VzSVV/utE8sCfMRjb109N6BAUYmZlSlJYvnASkXpWlLU4VQSkRNMeYQwWWJw5hwY2LZAdsVowaaQMjLChiJAhlA/yXg2q60f9df5llURxAk00QgLabsAJUttTBS6LSJopiUgusLABxAIaQe3jTHcSFlViMLvCuV0J4ywsjEH/6z586WtYz5wNdd00TQcKPv3F4ye/YSP1+9K40OcRDaKTFVKDq84ki22GcCDZoaV6b/RNgZI5Kfv/5KWalElKvS9MWbYuglAiabcuxvOWJY2BQ6zLZAVkVR540MNKEIkaC1PZ4Qg6q6cxyV89Qm9iA2KwcP5e3OnhJRC2TlIkf5sM9SF2tqbwNDIjt6nvy6bvAS8M9/t/VJh5/5NPg33GaCI5D03efcaKJriyf2/W8Hr1fzcWy/p6JYjO+ezFPVJB6xyxt0rYISsmgOcYcKjA9cQgKbFwmO0Cz4lRIGRhpQREjQWp7PCEH1Z2dfeTtDRsZENvVY+fzVgcviahlkjKxgxwAX+oKrCwAcQBNmvRd4KVhiHh4YcTjD38EX9tRfD/JeyX9nWz0mQf9nDA5HnQfkb15Iu4Tq/r+E0UORgFv2q+3CEhabh4mbYuglAyaacnRnOmJo2jr7ctkx7pN0aQpAyONKGIkSG2PJ9Sgok+v9OTZ6oUDEC+0ilactTp4SUQtU5SJFt1gwFJXYGUBiEPok74LvDQMEQ8vjIj8YU+hkTvAzTRfe4ztlz0weLM/fkNec6FHR55pJL/JQY47u61McrK+/0SRg1EYsZWpQ9K0eZi0LYJSMmimJUdzpieOogHti2QHYFMscdLACCOKGAlC2QD/1aDqO/JthcV5IrktsioOoMomiKzVwUsiapmizKaInVJZ6QqsLABxCOWTd4GXhiHC4YURkT/TT/B2z6Zlq/NPR95soRuGg/2UIv90ze3W9NOU8T390+pPeyof7blEPa1bqn0H563d5RaQelWeNmhbBKVU0GbMOVBkeOIAjk/TItnhY1iMOikDI/QvYiQIZQP8jzWoAqhWLgReElHL+ju7AVZEeBS9gZUFIA5hbPIu8NIwRDi8MGLyp7+RDynSWeGT/L+RBxUfHfmMYsdfXVHqPaaXnJ/Dne81ss/pELmo3w6/39C3w/gbWvKFPfKtHD2tgGiKg5FU19/Es47kRRl7dqpaGbQtglIqaMqKECnDEyEA1zBKZMeaPTFlSQPDDSliJAR0eqxBFVDF8qDwkoj+zmhJlClJ1+A8x0vD4K5aAsyCP3/mfZ6n86XFJe3nygUYmaKSu928hjdkEZTKImhzvo9SJgK6NZSzygiwfeyYhURaWMRICOj7aw2qgI5bg8JLImpZSZQpSdc1Ru2S4aXhLnfsaZQFf+78R1S4AW/7IcZNhnEw9hke+oMu7PCGLIJSWQRtU1COVM6IHUfMKK1tESMhoFOvNagCOm4NCi+JqGUlUaYkXdcYtUuGl4a73LGnUR78MR5bfPJXWfaYQ9swsBfbS+xG8oQkKfKHLIJSeQRtb3w2t8uHHZtVL7hBESMhoH8vNqgCem4FCi+JqGUlUaYkXVcItU+El4b7/LGjVR78mX7bj6s/HHxCmII9+YOQt6GjE0V/yCIolUfQdrBtX5N82LFP/zJbFTESArr2YoMqoOdWoPCSiFpWEmVK0nWFUPtEeGm4zx87WmXCH/poMD/uy6+diCrAfw1sqrkBsghKZRI0IAzhxFpAN4RyoX8NbDM7FiBRFhcxEgJ6/mqDKqDrlqHwkohaVhJl/hn/XQ4Tdsl/JFj1OOSBS/NnxnNFUKoGbSZytSisB4oYCQFNroMqoDMFFF4SlTZRLGlSK9gT7D/e9UowF0FAl+bPjHOKoFQN2kzkalFYDxQxEgKaXAdVQGcKKLwkopaVRJmSdBXsCfYfLw2DuQgCujR/ZpxTBKVq0GYiV4vCeqCIkRDQ5DqoAjpTQOElEbWsJMqUpKtgT7D/eGkYzEUQ0KX5M+OcIihVgzYTuVoU1gNFjISAJtdBFdCZAgoviahlJVGmJF0Fe4L9x0vDYC6CgC7NnxnnFEGpGrSZyNWisB4oYiQENFkbVF33eq+8UgeIA+rkBZWzOnhJRC3TKOMVqTMrlaRrcD/hpWFwVy0BXpo/M04pglI1aDORq0VhPVDESAhoshpUny/5Gd/l3/wExAFV8oLKWh28JKKWlfT+k6J3A6wsALEXKYFKqbvAS0PA0eHEWfFHmZWASfOdFUEpLWjKihCppG4vROEsfHKCEkWMhBAc4hhyUN3ZL4h2S5/9B8QBNfKCylsdvCSi73NLynhF6txKSldgZQGIQ1iRvAu8NAwRDi+MnPijFE7ApIXOiqCUCpqyIkQqqdsLUTgLn5yhRBEjIQSJOIYcVAP73c/vuPDdf0AcUCMvqLzVwUsiapmkjFekzq0kdQVWFoA4hBHpu8BLwxDx8MLIiD9K3wRMWuqsCErJoCkrQqSSur0QhbPwySlKFDESQrCIY8hBNbJfnn+M5Ab03AGI55rELMtbHbwkopZJysQMcCBsqSuwsgDEIbRJ3wVeGoaIhxdGRvxR+iZg0lJnRVBKBk1ZESKV1O2FKJyFT05RooiREIJFHEMMql5MvdSPRem9AGK9aop05urgJRG1TFAmRaCP9iF1FfQ+bx0EaHDUUtre6gIvDUM4ywsjI/4ofa0wK0GMlNlZEZSSQQvrD9MTYbGjoCVQOEEXsGtOUaKIkQD7zruGGFTPsaNt2vE12xQQz7aJWJi5OnhJRC0TlIkY32DQQldgZQGIQ6hzQhd4aRgiIF4Y+fBHqZuASYudFUEpETRlRYhUUrcXonAWPjlHiSJGQggacQwxqOTUi80XnQ4AsVM/ckHm6uAlEbVMUCZyjIPAC10lYU5bBwEahLDW7gIvDUN4ywsjH/4ode0wK0mElNVZEZQSQQvrDssTYcFjoCVQOEEXsGfOUaKIkQA7z7uGGFT9tKP4WNhRBMTe3QWqmLk6eElELROUCRTLJDDyZHLaOgjQIIQXEnQRQs0SMQDXAuKwFuPtLKyfAqMldXsI3RMonKAL2BNZKAGriaXGdKP/u/4yy6I4tRcAbS+uTjzzS5soikktsLIAxCH8eUIXeNcrIQLihZEPf5S6CZi02FkRlBJBU1aESCV1eyEKZ+GTc5QoYiSEoBHHkINqYF9QvC9+HmddHFAjLyhAWy+MgJUsdfCSiFomKRPQgbGgpK7AygIQh1AvfRd4aRgiHl4YGfFH6ZuASUudFUEpGTRlRYhUUrcXonAWPjlFiSJGQggWcQw5qO4/WvL+LGAD4oVW0YrzVgcviahlkjLRohsOWOpqTeXtHgCxXX1PPn0XeGm4x/+72mTEH6V/AiYtdVYEpWTQlBUhUkndXojCWfjkFCWKGAkhWMQx1KD6oz/h92uXsAHxUrNY5Vmrg5dE1DJFmVjBDYcrdQVWFoA4hELpu8BLwxDx8MLIiD9K3wRMWuqsCErJoCkrQqSSur0QhbPwySlKFDESQrCIY6hB1Xev121xntgA4oAqeUFlrQ5eElHLFGW8InVqJaUrsLIAxCGMSN4FXhqGCIcXRk78UQonYNJCZ0VQSgVNWREildTthSichU/OUKKIkRCCRBwj1qAKqGJ5UHhJRC3r7ws/85hhoBS9gZUFIA5hWvIu8NIwRDi8MHLij1I4AZMWOiuCUipoyooQqaRuL0ThLHxyhhJFjIQQJOIYsQZVQBXLg8JLoif54Z6SKFOSrsF5jpeGwV21BHhp/sw4pQhK1aDNRK4WhfVAESMhoMl1UAV0poDCSyJqWUmUKUlXwZ5g//HSMJiLIKBL82fGOUVQqgZtJnK1KKwHihgJAU2ugyqgMwUUXhJRy0qiTEm6CvYE+4+XhsFcBAFdmj8zzimCUjVoM5GrRWE9UMRICGhyHVQBnSmg8JKIWlYSZUrSVbAn2H+8NAzmIgjo0vyZcU4RlKpBm4lcLQrrgSJGQkCT66AK6EwBhZdE1LKSKFOSroI9wf7jpWEwF0FAl+bPjHOKoFQN2kzkalFYDxQxEgKaXAdVQGcKKLwkopaVRJmSdBXsCfYfLw2DuQgCujR/ZpxTBKVq0GYiV4vCeqCIkRDQ5DqolDOXfpVG1fBM4SURtawkypSkqye5/KvhpaG/Dw7WvDR/ZnxXBKVq0GYiV4t8POA/BShiJPiY7FnnjEHVd93tlt+3+F5kEhTmwEsiatkZlNkbl5J03WvjYju8NFw0ObTg0vyZcWYRlKpBm4lcZkV5zgE2TAGKGAkBg37GoHoT/d9/QYzwXwGA3T2+daIIOqlOFEEX5VPhaueyCJ4/4/QYwYxgkEVQqgYtWLyjAYWbA5w0BShiJAQM3xmDanw0zXPUfy3wqVtkZHSBmzZXAFpDLem2mi3pX70xUbQR7PwsCC/ESyJq2RmUWfP2mqwkXdfs2CXDS8Nd7tjT6NL8mXFYEZSqQZuJXGZF7hxgp4LmFGAnyNTMngKsghUxElYt2CY8Y1DRn4AzJoqvr67046Xn1tLmJqCO4o8h8F+NMVHUwViVLYh4SUQtO4MyIkpb/2u6dt3rvTLbB8RbO56rn7oLvDSc826Usqz4oyxMwKT5zoqglBY0ZUVNZeUBZw7QGOdmI7OmuDkFIPMKWVmlZBGQsKYAOtjUUocsYiQABm8Ra4MKOPsA4uVOnz/yu2/20Wm3nr8dl766G91ndCZpdmOeN1cAEoVJZzAcPdrPj+6As+P7NCaKJhirMYPI29J/hnfwkoha9s/4r2Z43klF7w9ZjPR/+lA3NAfERt2dmeRd4KXhzghsb5YTf5T2CZi00FkRlFJBU1bUVH4e0OcA1kXfd1vGnAIYUwdfCOkXawpggE2VdMgiRoK07XhCDSrg7AOIVzR5jHI6Jmu1f+plll48ZTDcyaWcVvkooWwxkzBWABKFzwZcjBk9/m4clv6GsbajKMH0Xl1EJTW9g5dE/5W6o3hnxOoGFTIjBYiNujsz6bvAS8OdIdjeTJ4egegB4u0dr7U4sbMiKCWDtubEPTJjN2APQOo2CRT26sLZo6GO0OcAjdyZ2bZZZEwBGoVC8Wd2dhw9tL0iawpggVFAA7KIkTBpHeSvHFTA2QcQr+riTvueg1b25huO7CrOHl28uzPLmQ7MFYBAafg7KTMYWp8cbhATxbbruvfYiVvgEkzvdgZRiC3v4CURtUxSRlif8X+p6xTp7+hygGkPiENYmL4LvDQMEQ8vjIz4o/RNwKSlzoqglAyasiJIytwNCAIZFySBwn5dzOzRNMYcQO7MbNssMqcAjUDZtVdkTQEkmBEitVlUxEgwdD+WkYMKOPsA4m1KPMn8rJV3AX9T45Y+39qMbK72W7ie691YKwCOQt6n5huUPhiTVRz1qWYREkzvsFlGtLyDl0TUMkkZwzl5ZqSu0672Y6KXqysgdhtsL0nfBV4abvf+zhYZ8UdZkIBJS50VQSkZNGVFiJS1GxACMi5GAoV9u3Cv5+YcQOzMbNsssqYAjUDZtVdEY6FNASSYESO1WVTESDB0P5aRgwo4+wDiTUo8h7Zt34I7Dz6xu9Gbg+3Ithc/M0812l2YKwCB0jR//IlHHwx9ongfxhvfUVRgRqfLiJZ38JKIWiYpYzgnz4zQtRcRmicWIA5h2wld4KVhiIB4YeTDH6VuAiYtdlYEpUTQlBVBUtZuQBDMqCAJFN7dhTkHaPZtFplTgEag7N4r0qYACswMkdwsKmIkmLofyolBBZx9APGsCu3r/np9mufnRzcQ/37v5+t1o280/0Z6iDbvaWLXj1T0ZduKTSduCTf9m9wUpvO3/v16vemeI4dlzdUKgKM8bsM4sE4UxqIeTTPchE4MTvzhYG334ffAH2xWq7QSFfl/2zt4SUQtE5SxnJBlVuj6HBnLWkYyV1NA7DbYXnJCF3hpuN39O1vkwx9lQAImLXZWBKVE0JQVQVJirSmeTwoCGhMkgcK7uzDnAGJnZutmEfGemgI0AmX3XpEeDAmmF5LXJ8ROQxEjwdT9UE4MKuDsA4jnVOjZiwN0m3B6ZeRH52+iO60Bd/2LPZ3YjeyO9F283/L8kWH5+LVkokkFA3l4VcI2jbYCkAGUn80WGKqBq8dAHomY0YmDtYSF7FM97cQOgagpPyVt7+AlEbVsJoaOR3IpELrKCIkX7E0FAbFZeV/uhC7w0nBfCHa0yoc/SvkETFrsrAhKiaApK0Kk7N2AEJhRMRIoDHWxskdjmL66WbS6V6RNAZoJJcxeEQdrFjeLihgJhpOPZcSgAs4+gHhOhwfbpaUX5ml/emDby9OtZb3+37RCIzd+yTFOe9Bf9o4qqfWhM8bv78kXCe3YKlgdpOEo6hHFRmCoBq4eCzpJsGZg98PZbJHoIbQyeiYZ2zt4SUQtE5SxvZBjXujaTzuKj4UdRUAcwrITusBLwxAB8cLIhz9K3QRMWuysCEqJoCkrQqTkSZ5fDUJgRsVIoDDQxdoejWH62mbR+l6RDiM2i0LsFYmtw8XNoiJGgu6dg2kxqICzDyAmrwj9qYP/5srfOLzY/iCfoLGtQPdK/aP3k8n9aCqe7j/TuQgrI3m+A9TytxBIXsJOVfhfjqIeUZQYqoGrxzCvkwQjt8IJU8QulNDK6JhmbO/gJRG1TFDGcUOGBVLX6R7Jd/1llkVxCMsADSJ0gZeGIZzlhZERf5S+CZi01FkRlJJBU1YESMlJkbgcBMCMCpFAYaCLtT0aw/S1zSLvvSK5WSReZ5U7O2t6LOwVSTCyzzW7WVTESDCcfCwjBxVw9gHEc0r03WdkzdwJml6dz8rYDPLOXzx+yIdbxWbe9OxiMw6NhNVBGjG363lFesOaV5ANXD3AiWIzvnt5YpCIRs80Y3kHL4moZZIyjhvyK5C6TpEW/HIUBcRO/R0F6bvAS8Md7t/XJCP+KAMSMGmpsyIoJYOmrAiQsncDAkDGhUigMNSF3NRxL72G7fzqPbdZxLugl53p1uPiXpGcA4jXWY/sFUkw+t7E3GZRESPBcPKxjBxUwNkHEM8o8SQvgPR3+uThOkvol5jophzdWPzjL4+Im7z8GQiNJW8Fa/Q5oZDpId2LZK+eCAzVwNVjssrZ5RRgBOqmfrxFLlCMjlnG8g5eElHLJGVcP2RXInW9s2WDXGvaigJiu/qefPou8NJwj/93tcmIP0r/BExa6qwISsmgKStCpKzdgBCQcTESKAx0sbJHY5i+slkk3z/k77ku7xWJuV2QvSIBRtWc3SwqYiQYTj6WkYMKOPsA4hklvmwz8EbeA3EnaHp18oIKPehE8StePr+zW8KklO07E0EzzdceY6tgWTPxh6M0HXmokXyGkxwCQzVw9ViYKAowgiLoqSPStHlY3sFLImqZpIzpgyxzSld6d6Mnb0UtHIB4odWm4uRd4KXhJr8fqZwTf5QdCZi00FkRlFJBU1YESFm7AQEQI0MkUHi9i7U9GsP2lc0i/72ihu/vBNkrEmBUzdnNoiJGguHkYxk1qICzDyB2tZhmfQOZtE1s+sw/Dyg+Y0NmlP2fuI6/xQPD02/udM+mZdf4T8cnkxTWOMSna263pp8aC4w1PRZ0EmCkh/e0ZmJ9CUSj4yljegcviahlZf7Wc9+RjzMJfrkRBMRug+0lybvAS8Ptzt/ZQp0egegB4p3dLzQ7r7MiKKWCtuC/fcXWbsA+kJStEii83sXaHo3hiLXNIu+9IvpNFHoE2SsSYBRwdrOoiJFAtQ90qEEFnH0AsavOoyOfUeweTTv8fkPfDuNvaMnL7PLnlUWLx/QuMflO4lvO/ti3cFiF/kY+pEjLn+T/jew6CljRnP/nKOSHge78S0cCQzRw9VjUSYAR0vU38agjuTEu9bM6J3tVxjQEL4mK/a1nJ2IXKMBLw2TBU6fHZF1m3VERlIoVNHM3IOs4TcolUHi1i7U9GsN9fGdmdrPIe69IbjmF2CsSYFTN2c2iIkaC4eRjmViDaoNWch9RtnkufYdG1nATNsoeDIkqwMgUldzt5sX+iHhJRC3LgDIyUFCiJF0hWzbL8dJwsyv2Nrg0f2acVgSlYgXN3A2Y8U5uRQkUXu1ieY/G8tTqZpHvXlHDUYLsFQkwouj8ZlERI8Fy85FsrEG1QSf1+4mikfjNRpH3+W+j7MGQ/XAw9nUf+rsy7PBHxEsialkGlJGBghIl6QrZslmOl4abXbG3waX5M+O0IihVgzYTubyLxM6M0tJ/W0a1sVD2QLhgC5tFRYwEZc3hVA6Dyn7g8CleZdlknYmyD0N2yMBebC+R/lgMTWxAxEsialkOlJGBAhIl6QqYsl2Ml4bbfbGzxaX5M+OzIihVgzYTubyL7G0ecr+XP0G2RW8LZQ+E6g7YLCpiJChrDqdyGFTTB9yVKQP7vI3K+6VMlH0YsicK9py+BN7cho5OFDcg4iURtSwHyshAAYmSdAVM2S7GS8PtvtjZ4tL8mfFZEZSqQZuJXOZF5jbPpm0ZzTIDZcPOjgahkuubRUWMBGXM4VQWg+pprB7uy++MrJqro+zFkB3oYKxwCyJeElHLsqCMDNR6oiRd1y3ZIcVLwx3O2Nfk0vyZcVkRlKpBm4lc5kXmNs+mbRnNMgNlw86OBqGS65tFRYwEZczhVB1Uh13oAuAlEbWsJMq0IzvEY6ZuqJCW/E12I7UunVlX5c+Mh8uhVA3aTPhyLzJ3ZrZsy+iWaSh7IRScBjYVcshyRoKy5XCqDqrDLjQAkJOotIlif2cHf4jAiBTqzGS2sVGP2t5Yxl2VPzP+LIdSNWgz4atFwTxQzkgIZjL5AOBk9eWupAFdaEAhJ1FpE0UjNjVTPVA9UD1QPVA9UD2wxQM9+Yb1bdebI1t6qXXxeKBOFPHEslpSPVA9UD1QPZCXBzKclb2Jh947Pm6dl2OrNuk8UCeKuq8zHNIZqqR7rKarB6oHqgeqB5Y9EGZWFvRCMJI7zk/5yyPLqldJ9cDkgbwmimc/YJvhkPZWCfnDtF4D9mz+eClZTqVKKTNWlV6mP47miuPXPgKEmZV5Xwh8onInt53rRNHHU5esMzMw6USxp7TJ4mjHjj4TetoDthkOaW+V2MO0NxLOCx9n8weZ6yulzIBWepn+OJorjl/7CODMyszPBZq5RZ+6FwLVUKUWm7uCzrj1bEPYebd9LUHrgZmBSb8YkM/ncc7WJMMh7ajU2ENYz9N5/4WPs/mD0fUXp5Qe0kov3RuB0iXxaz8B9FnZ62u47vEysksZ50KgwXhCGNDtn749pIFNtfZAGvg1U7gHzIFJc/vpH9oVOWiS35BudJWa1SFtBjd0eLLH0/jTda+3PoW2dD8mtsCiZwFto/Z/cUrpvq300r0RKF0SvzQCLFr//M18xEyflX073vbV3dhvCjtn9EVs/UIgYWjtGQhHj/bzo7ev+fE0Pl9ugE01ZiBF22T/zzzvJTNy6igPU3UtzIFJcz70T+M2TRNd5ZnOj4knQGco0eL8hrShUrM+pM3gzvgNd5Hiz4es2vu/xZniMXFqJwLaxlXn4pTSnVvppXsjULokfikCLBv/GLXpGK+mz8r6Dy8c7uQMxdIffW9vGdm4EAgYfpJzIWb0+FO/U/EkyVaeHgWY0bcLaYgTZE497yWwT+siD1MNLcyBSXM+9NdsiphUmhgquz0eE3O8maHU5DekDZUaYEibwXX9hrxE8ufOzsAd+YH32eOYeBYyYiGgbcSeKfTFKaV7t9JL90agdEn8kgRYs92d9RmzsjffcGQnp+nF47s7tZzrQL82NQLmOz1sNAPh6jHIieJzaNv2LWsIMKPXGUhDHj1z7nkvunl6B3mYamphDkya86K/bla0tNTEVNnp75hYwsmBIkvyG9KNoZI8P0iNaUINaTO4RqUrZCR/plPid3QjzNxwTJzak4C2kdW5OKV071Z66d4IlC6JX5IAm2w3Z2W/qW1LX05pxulxxd/CecroxrwQcJjmzTcofSDURPHHfhFWwgswWcASPpBmi7C5c897YW0B0PIw1dTCHJg0t4/+gOm7xFITU2UH65jYgZMFGQ5pU6UGGNJmcKVdV0lI/ky3fx78POyYf0zswEUuALSN3PvFKaV7t9JL90agdEn8kgTYZLsxK3vwid2N3vNox2l78TPzWKPdhXkhEDDNH3/i0QdiumzawE0jwUyRD6TZImzu3PNeWFsAtDxMNbUwBybN7aM/YPousdTEVNnBOiZ24GRBhkPaUAkc0mZwpV1XSQj+9IIg8yfgY+LUzgS0ja3OxSmlu7fSS/dGoHRJ/BIEmDO9fd1fr0/z/Pzo439/v/fz9bq5LzS/p4ldP1LRl20rNk0n7gn3767r6C5j/3693nTPkcM2jXkhmGAet2Ecpk4kxIoew21Vp7b78HvgD7bDKSHnzI1fdvJ5L76Bqoc8TLW0MAcmza3RXxmTIiU0sVS2uz4mFmMP45A2g2v7DX1e8Oc5stNxy87GrtXHxC5e3BJA27id12cUNf9WemnOCJUs6ZQlCDBje8+eh6bbhNMrIz86f5upz7fpXuzpxG6c3ie5823G549MEh+/lkw0qWB4NQrW7FPs9vFHFMkw5RCqgavHQN6fWdGpJd/gZjPbdlpfC0iz52S5k897yewkHeVhqqWFOTDznChaKtsxOyZeG0p6TyUOaTO4ujWXSIsTsySI+BKFaf0xsYkVPwdoG1uBi1NKd2+ll+6NQOmS+CUIMGP6gz3RR8830w3egT0kxG8ta/X/pqcSh/FGjpE/SfSd3n5uPnS29/09+Q3ldmwVrIZBkhxGPqLYCAjVwNUD0InADuyGON8HFZBmz8lyJ5/3ktlJOsrDVEsLc2DS3Ar9U3qL9CU0sVS2tTgmXhtKek8lDmkzuLo1l0gL/vTTjuJjYUfxmDi1JwFtY6tzcUrp7q300r0RKF0SHH2p7QAAIABJREFUvyQBPn/qYN9CJFO3cXix/UE+QWM7jO4J6Df97NiPiqf7zyTRkqswy/OFbcsfrianMQnLasg/HEY+oiggVvUY1nUi4F+y0fkUq2uulewzceLk815Ka/Mw1dLCHJg0J+if0jXzfQlNLJXtysfEauzhG9JmcG2/oc8L/jTTM4rf9ZdZ9opTuxEwJrI6F6eU7t1KL90bgdIl8UsSYMb2vvuMbKR6XVXYDPIuvsrwmHYW5aMy4tnFcWgkrNklnyj2/CFHesOaV5ANXD3giSI5cfZinqggza6T5c497yUzk3aUh6mmFubApLl/xn+TemW5MzkQTZWdBsfEK0NJ74mPxaKGtBlc3ZpLpCV/plOiPBHbxh8T22ix84C2kbu/OKV071Z66d4IlC6JX5IAru1P8v5Hf6dPHroTNL02/QIw3UukG4t/4vuJ/CYvf/aebt1MN6jHt4LVQZpmgmkedCuSvXki7hOrBq4eSxNFDkZ7uGm/3iIgzZ7T5c4976Wzk/SUh6mmFubA/C/LHUXIcaZFTkjXxWtDSYcqcUibwdWtuURansjvbH0tvjHm2H5M7MBFLgC0jd07vRbVg3qg0isCD0o6ZUkCuH74sgf7buQ1EHeCptcmL6jQg04Uv/JDhXd2T5hM/6Y3Ur7NNF17jK2C1UFIJxNMRxp82Q1vAaEauHpM10X3djgHoz2IvUyaFpA0fcZx7nkvqcV5mGpqYQ5Mmluhf1JvaZqYKjtaHBKvDSW9pxKHtBlc3ZpLpBWT6QOmPXl9cOE4Jl4AjVYMaButXwZ8cUrpzq300r0RKF0SvxQBHOOnWd9AJm3TdOyz8Dwg/+YMmVH2f/L09Oavj/x/e1e27SoKRDUmulZ3hmM6//+tzUyVGEkEpAjk4V4G3bUpNnUAJ/lR2WHsehG67oOaTHJY/NMwp26S52qILR4eTtzCTV6sE8Y0JLZ8YC5r3DuwncwUjaYiFnhg8tyG/I/1FmCCKLssQqq3hhK0pMdiSUMady5sTRVpq+RpYG8xM4HYaXxYtQOXuMDDNq31yiUFndvkBb0RKV2SvqwAnMZfBvYaxeHS9fPzOU/9/HrO/Xl+gc8ry1Mu8gFn9p7Em539mY/STyf2IkVePrL/T2zXUcMu7SmYcT6rV8VqCH2Cy8PLidkYppO+15FNXizBpflj8lnj3jFN1FZoNBWxwAOT5zbkr9tx0P+WCaLsWg+pfj+UsJ0ShzTuXNyeCnJWPxU09qAmVi4p6OUmL+iNSOmS9BVDAHYf0ThwVG/HMQUfJBYweyCsFQ3G5qjscrcqD4O04C1VpgfwwOS5GPKP4ws6THh79PABbdszeBYweyAsAw32ZkjjzrWnVZKipZ/fcHrlkoKd2OQFvREpXZK+YgjgrJ9gsf67qV1BW+JPLWD2QFgjCky83od/WEb8wiAteEuV6QE8MHkuhvzj+IIOE96exVjkRXsGzwJmDwQ3LX+eIY07V59Uzf+09PMbbq9cUrATm7ygNyKlS9JXFAE4NxyO6lGW7xyKYPZBWIMC7Cr2EvnXYngiFNKCt1SRHsADk+eiyD+KL+gwEc1BY5GX7Bs8CGYfhPXu9pDGnWvPqiRFTD8/4fXKJQX7sMkLeiNSuiR9RRGA/DIY8N4s3m8DCj5KIph9ENYOBxvlq8C70zzwiWIopAVvqSI9gAcmz0WRfxRf0GEimoPGIi/ZN3gQzD4I693tIY07155VSYqYfn7C65VLCvZhkxf0RqR0SfqKI4ARX2k+73xmBMDshbBdCMBkYTikBW+pEj2ABybPxZF/DF/QYSJbsxg+ewcPgNkLYb0LwGQhhMSda0+qJEVNP7/g9solBbuwyQt6I1K6JH01AUTq9AZD3wN4YPIcHfnTYUK/H1cZ4s5dPeSXC5t+4vdu5ZKCDm3ygt6IlC5JX00AkTq9wdD3AB6YPEdH/nSY0O/HVYa4c1cP+eVCgvqZ2PvQTrtuQkrXUV9xqlxSsBcIygvSKzNdkr6aADwa+yqyeLAiVROkFKlliWHwwOQ5OvKnwyRxJ6SCx52bygpZXIL64S/DuO14T9qKj+X3vVYqvi36ilPlkoK+JSgvSK/MdEn6agLwaOyryLKNFSvaRaS0TfjXavHA5LnpTGXHow3EQLXhzg0EK+90gvrhH3UdzUtsQ1x6ZUM1zu8rTpVLCnqcoLwgvTLTJemrCcCjsa8iyyZWtGgXj9Im39+rxAOTPxpBR/50mBTa77hzC23EftoE9cMXYXiiiB5yRJnNhl8eaKIITgTJTQRT6XBaIsB85ZIyTmMJgvKC9MpMl6SvJgCPxpzI0sFQgjObUG+jHcLbhFCVHkrsqK8hPzFb/jF4YPIcHfnTYVJoP+POLbQR+2kT1c8ALz1fH7B9lyvMbaSn6wQnihDlYwwIDzlBMHEMRKxcUtBnQF7DAL/VCw8S6bBqBy5xgYdtWusl6QsIIK1TSkaHkaXDoQXGlc0mvo92H0NA/A1K7LBdkBD+N9N4YPIcHfkDJp7gFVZ9TM96OKYggTs3hQXSmPn1Mz7xS9K4u/o/cGvHY1AevA4n/l5bHElV3cp/1w5OFA2KOHIFw+HR35/8bh39g5wwmDgCIFYuKe0w/r+V153N9qe/t1sRYdXQ5BFpD9vEFErSlxVAYqc48Bn+ljgc3AInyrBDYGTpTGiJF+1AaNKEHBobwc5S0md/HoPtGfFTNDoYssADk+fyyX/pb8vEE7zCqpdm0+Q9HJMYxZ2bxARl0Pz6ubzgdEz4aoTvWJ/0Pdrzmc00eP0dzCLf+/YxwomiQVGTFRdjhcef/ogrswI5GTBo3SJWLinoFCOvs+i54d2n18KqocUj0h62qSmUpC8jgNROWeLn+Fuy5LCSX4kyMLJ0JrREiXYxgp2lBJtjox0sPTJNo4MRCzwweS6b/J2eMEw8wSus2jGbpMDDMYnNDnduGhuEUQnox5n2jWx+1pu9J/2lbzHJEM+4LD4Fvu5dfisx2FHUKJ26b3EFw+HRzXaiiDgZMGjaIlYuKegUIy/pysfLdbI4PKwaWjwi7WGbmkJJ+jICSO2UBX6WvyULDqtZZwCgyNLp0BIn2sUIdoYSao6Ndqj4uAyNDsYs8MDkuVzyd/vBMPEEr7Bq126KEg/HFCa7NlFUMzKP88Oqv+q6ce77/mYC6lOe3PNn8bqXuF3xaSrfA/fDMNxeg769UaGwF++oDcpPMGSjuQ3MyYAh8wYRxwt0TG0ZE57ktvFF9p/rhbBqFy9tiYdtWuNlhSwjgNROWeB74tXi6IxZHFm6uNEuRrDTlBY+MtFuUX5UlkYHYxY48BOdKHqCV1j1Mb3v4ZiGBO7cNDYIo5pA7nF+WPVXDni++E+fclETuxO/dtm/xP2Md/euRn04+n80G1gapev+1B2Pn2DYiSLiZMGQNYNYuaSgU7S8Jq2f9Z4Lq4YGj0h72CanUJK+tACSO2VhQOtNLxQX1XSyKLJ0OrREinYRgp2htHCZiXaL8qOyNDoYs8ADk+dyyd/tBc3EE7zCql2zKUo8HFOYZJi4cxMZoQubTz/99Xy93rvx/uRXmv+et/F6PblPNN/kxG568aqH2FbsBnNJeLqxjUP+x2C6Xa83vueoYLnHz/PrpP5QKJTLaX7N0ojB2OAxn1Y5KbB+uKu7Ky9ih9MgVi4p7nr90/IaX6Ibe9GLutL+H1ZtcY5JedgmJ1GSvrQAkjsFG8jztwRzQLmNKAOPixnt4gS7zhftIP3j0jQ6eMECD0yeyyT/lX7QTDzBK6x6xW6CIg/HBBY5JO7cREbowmbTzySea+DbhPKRkSefv2k2wF9q5XoVdycOL3Gh/KyfbxmfbCJ4efZsoskrZvags4EFGOz5F72TZV6tqDHsCS6Pmd1RvsJJgfXsbY9iYttLcI1Yu6Sg43WHmrGtn2CHB/HXZqp55K5qjJU+52GbnEBJIUsLILlTsAHTRe7KEx94UG4rykAKcaNdjGCnQ+fbaAfpH5em0cELFnhg0poo/vP6V/SOobwr1HrOPqb/85D4z1zkPKaVxKxk089F3OTC1Sov8M7i7hx5aRn66E/uCbLNQfZ7yVt4HuIRWnbUnc8YH89RXVDuX72FhSCdQrG3KHYaw57g8njDyYB1s7gerv4YacSucklBx2t5TXImeHmzoxhWDQ0ekfawTU6hJH1pASR3CjaQ528J5gBzW1EGHhc32ulbFEOCnQ2db6IdpH9cmkYHL1jggUlzougJXmHVx/S/h2MiErhzExmhC6sDucf5YdXsDQt/9sffhch+f6/5KvYH1QRNbAW6E4knv57cdU9eLa8/800+UcbyalnUq4ckWN7AykPUvwrF3qJoMOwJLo95nZMBY5fC2UJbL800qzZRtK7X8urkzTyP7YdZ9lZbe8ekPI1JTaKkkGUEkNopGN8Tr/DBR+RMWHKjDDQfN9rpWxRDgl3ni3aQ/nFpGh28YIEHJp8oZpL/Sj+YrX1P8AqrXjGcoMjDMYFFBom3i9PYIIyaTz/TcH+JHv8odIoZ5Fk9nHIxzwbqzTx572L3mjsDi5yuo92kDuQXrNUB5gSXh3eiyOY/k54nWsTKJQUdb+QlXak7EB4i0mHVDlziAg/bxNaLCllGAKmdssDP8rdkwQFmN6IMPEzFqTjRLkqwAxPF9WgH6R+YptHBmAUO/HzamEv+bkcYJp7gFVbt2k1R4uGYwmSbKMq7/tgFYLF7dtxf8pE9ADKd+Z2H7gQN9jR/oynfS+Qbi3/q4RF9kVfdS8zHo7xA/bpZWAjSSRQ2PeR7keLRE41hT3B5SJ84u5wajEGdwMdbNGJRf8iRl+JnTHg6i3m5uRa2tBRWvURLnfewTW5ebainthMD3wggBtgXGJ5w9gVSlEO3ogw0EDXaRQl2JnQymqvRDtI/ME2jgzELPFHkuVzydzvCMPEEr7Bq126KEg/HFCbbRFFPFD3OD6te6bqH2Aw8sedA3AkaPJw9oMJ/fKL40O/uOotJLSsV9yiyik7O1y6v3sKK0/Q/CqUb2E2N7JMt7Kcx7AkujzcTRQ3GUNRj2MKMRmwTReEO8Y8JT+JWp4k9dvTmx2/O2l/9BjRZsYdtMrsSGP89SmwsEN4KIBDoy9M98epLtODDt6IMBI8a7aIEO/6EoP6tRjtdefD/NDoYs8ADk+hE8RcicY74izv3YLXnN2cDucf5YdVuQ+Wsb2aTNjkdu6/fD6hfhcNmlNOfnmbcdOySnywdxq4XU5D7oCaTHBb99KtrTqdukidrjC0ebzhpMGbhJq89CFsasU0UreutvKaBvf1Id6A9QKfCqjXKUf972CamUVLIsgJI7JQlvCdeLQ9PnN+KMtC0Ci1xol2UYKcDMGe5Gu0g/SPTNDoYscADk+pE0RO8wqqPUYCHYxISuHOTmKAMagO5x/lh1a4LLgN7jeJw6fr5+Zynfn495569+BB+XlmcdJFPOLP3JN7M7E+8C0fUTif2IkVePrL/T2zXUcMuDCoU9oWVs3pRjsbQJ7g83nLSYF03TCd9qyO7MK75VS4p6HorL1ja0kEeKElf2QTgiVdBHfD9ye+jDMaKGu2iBLvOF+1wA47L0ehgxAIPTJ7LJn+nH+gwcaiVUYA7twzOEVnS14/ZRzStHvXbcUyJP7FE2YNhrGgwNkVlV7tVsUWsXFLGTSxBX16QbSHpkvTVBPCdqHRosWfZuGLLfKkFyh4Ia0KDvYl29sDqU3hg8hwd+dNhUqhMcOcW2oj9tOnrx/38/E1tCn7T6iXKHgxjT4GJt/vw78qIn0WsXFLGTSxBX16QbSHpkvTVBPCdqJZxil3vDY92eyAsbU+0swdWn8IDk+foyJ8Ok0Jlgju30Ebsp12AfpY3HI76UZavWo1R9mEYgwLsKvYS+cdieAIgVi4p4yWWKEBekG4Z6ZL01QTwpaZwnEJx5QskhAJC0xcQ9tDtaGePqz6FBybP0ZE/HSaFygR3bqGN2E+7AP3Iz1/ZJs7i9TY2/1kKo+zDMJY42CjfBN6d5oFPFAFi5ZIyXmKJAuQF6ZaRLklfTQBfagrHKRRXvkBCKCA0fQFhD92Odva46lN4YPIcHfnTYVKoTHDnFtqI/bRL0M+ILr6c9TMjXzYaouzFMCYhmCiEiJVLyjiJJUqQF+RbRLokfTUBfCspHFpgXPkGCaDshbDmAJgsDIe04D+UwgOT5+jInw6TQjscd26hjdhPu+lnv+/enVm5pKBbmrygNzbT/LPln/1K0lcTwGd92o76AQ/ggclzdOQ/nXddiPuBXonUBGe1FAm3EJimn/gdVbmkoEMpymtiL1I6kYuaV/Zn5cNfSfqiKIAP3dwOax74zgN4YNKaKNKZsn7nUzJH41UAGVpHEWn6ie/pyiUFHUpRXvw7kLcdb1iC7ZLpzzcB3XMXJZfH5xPFkvRFUQAL17fsUR6guUTrog1jPDB5js46qQ3EQJXjzg0EK+/0pp/4fVa5pKBDKcqLfw1yNK+/hGy/TH+xCehDnq5Tmyj6nNTqC/cAySVaF28Y48DP9xfpxD86TAoVMe7cQhuxn3bTz37fvTuzcklBt1CUF79ZB00U8dNROAcbs0gvNwHtiTa1OOVt9totJopLCJgvSV8UBfC2F1pFWg9QXKJ1y2Ec4AI8MHmOjvzpMAlwcM5TcefmZJLFdtNPfLdXLinoUKryGsCl5+sDMu4u+kPiqNTNLDcBAcynEAb0MS4migBMHgQhS9IXVQEY17fEcR6guERbDuMOLsm4a5b5DXfhgclzdOQPmAwD+Byu25ywahcvRYmHYwqTuHNTWCCN+Vv6sa7OoCRjvHJJGT+wRH55jU/0ciVJrv+zD7M8BkX4OpzEK9SdSRpskE0vNgENDD9iBcLh0d+f/FIc//GLVGhHEYHJYwBkSfoCApDtaP/W7QFiS7RuMYzdoQuXaJ6uwwOT5+jI3zK5s4Xx9Pd2/htW7fFQpGoPx0hWMAzuXFxXQe6n9GP7K4eSjPXKJWX8wBL55XV56emY5TWCVxBP+lb2+czCpzjmbmeR9pxlarEJqGFUBHYhVnj86a8/9sMw3F6D2dnUYMimhSxJX1YAqDEHZHIuFQ9o3hsThFrtLI04ZWJLtG4xjLvtJdqK06HD8cDkuXzyX1I1TM4iyA3vPm8WVr20mibv4ZjIKOvOin+/pB/bjVmUZMzjeGGKa0wQkJc76xvZBK3XK2r9HVwROeUjLu73dt2uW24Cahj18PIKhMtj1hNFDj++7AEaDJm1kCXpywgAteWATNal4gHtWzdBqdUrSyP2oVOrcrMcyrhEWw5jwwm61y7RYKlMI4fjgUl0oiijzgOEG9SqsGoElSzj4ZjGLu7cNDYIo5pA7nF+WPXRDvCwTUyncklB71KU1zj3fX/Tf7Cekm7Pb7TvXnJT76krYVNwerkJqGC6m9qg/ACikyqVuOf5dTI7ihoMmzSQJenLCAC3JXku71IxefPeGKDVancUkVuiLYexZ4nmuB07HA9Mnsslf4eoZSKvsFxUqHMODKt24JIUeDgmsdnhzk1jgzCqUbLH+WHVRzvAwzYxncolBb1LUV7PF/8plhc1sTvxCzL9S97PeF+5rRG2SqXBJqCG6f7UHY+fQMCJIoQ3YLCw6wxkSfoyAsBtSZ7Lu1RM3rw3Boi3muQSDe3le5Zojtuxw/HA5Llc8neIGiaT/tu4HuPCql2zKUo8HFOYZJi4cxMZoQurlexxflj10c33sE1Np3JJQffmk1d/PV+v9268P/mF5r/nbbxeT+4DzTc5sZtevOohthW7btDXhKcbu3uQb/RNt+v1xvccFSxvI9wElDCX0/yapREDscFjPm1y6oe7ur3yIvZmDGRJ+tIC4A478qf/HJpd2iONZ7NFvNUkl2hwGPuWaE7HYofjgclzueTvEDVMxpeIeL0IeO5hYdUuXooSD8cUJhkm7txERujCaiV7nB9WfXTzPWxT06lcUtC92eQ1iZu1+TahfGTkyedvmg1gqLbpruLuxOEl71w8q23G8cnmGZdnzyaavGJmT0gaWIDBknq3z3xfRUPYE1weM7s5a4NTz/Y6xMy2l4t/DVlUyFpxOfZcmlzmpWKaRnlRabR6Y2kEW1DiEg3y5+mFw3HgJz5R1C97wG0yfzp3VWOsVDkPx0RmcecmMkIXVgdyj/PDqo9uvodtajqVSwq6N5u8LuKOPh7t5NWhWVxUUpeWAcM/ueXE7hBkv5e68vSQTz93dz5hfDxHdUG5f/UWFmCwpIIxtyh2GsKe4PLwcGKws7ggrvZBNWSbKGLfr+VMBFC+Wzvm98pItHpraQRdXuISDfLn6YXDceCnOVGc5I7i5c2OYlj10j9p8h6OaYwWFXUTuED/Jfc4P6w6Ae9NSA/bzXMjVOJ4EQGwXIiD5DXd/+xPvAyx+3vNV7E/qCZoYivQjY5Pfj256568Wl5/Zole3sGoZMTzcjrJYqyB5WfZn4IxtyhqCDaFfM9j3ubE0B9so3PUa3vFqqyLIFoA1lWHpMxfcO28Q6zmNkKi1VtLI+igEpdokD9PLxyOAz/NiWInr5Y/th9m2Vu9dFCavKcJaYzizk1jgzCqCeQe54dVH+0AD9vEdCqXFPRuPnlNw/0lZPDRRFHMIM/6lREXubNo7uPR9y6+5s7Awlayiaacb07qJkd+wVodYE5wefgniiyqT2aqYyBL0pcRAPZX6lzmpWLq5r3Bp9HqjaUR5F3iEg3y5+mFw/HA5LlM8l/yZHnDREYdE+uWh4ZVL9HS5D0c0xjFnZvGBmHUX9KPdXMWJRnzlUvK+IElsslrZM9/TGd+56E7QYME+XvQeMDnE70//WpudZFX3YEEdhRvFhaCsHsU5ZbjhW9FiidP9HVie4LLQ6rU3eVUYNzCyXy9hW0vqgviRV0EMQLA/kqey7tUTN68NwZItHpjaQRpq4liUUs0yF+kscNx4Cc6UTyLJax+jZfTorBqBy5JgYdjEptFRd0EHjCB3OP8sOoExDchPWw3zw2vxPEiHK9ghGzyeoib007sMRB3ggb9yR5Q4T8+UXzYFxWKa8Js+icfanl0crp2efUWFoIwIxJmYCewbz2w31lB2BNcHu8migqMw+i9TAhZVMgyAuAtOPCXd6l4YEORKQqt3loaQbIlLtEgf5HGDseBn+hEUdxPPbEn9N78+C0B+6vfgEYu9nCMbE3C4c5NYoIyqA3kHueHVR/tAg/btHQqlxR0bjZ5yVnfzCZtMpbf39wPqN45w2aU05+JnTf1CIT8CNkwdr2Iq/dBTSY5LP5pmFM3yXM1xBYPDydu4Sa3LIQxDdkmitj3q7m8S8VVSgcUUmj11tIIuqDEJRrkL9LY4TjwU50oTgN7UZiJdU6TwqoduCQFHo5JbOLOTWKCMqj9S+5xflj10S7wsE1Lp3JJQedmk9dlYK9RHC5dPz+f89TPr+fcszemmc8ra5IXeT2XvSfxZmd/4mU4/IjpxF6kyMtH9v+J7TpqWH26/l/BjPNZvcdWQ+gTXB5eTgx7mE76Xkd2ZVwTLElfVgDaVQf9n3WpeFAbXTMEWr21NIKE9dqqpCUa5C/TyOF4YPJcNvk7TOkwcaiVUYA7twzOEVk2/UR0poKqXFLQofTlZfcRDe9R3wxoSvyJBcweCGtEg7E5KrvcrcotZEn6yiaArEtF25UHpwi0+v3SCPuixCUabgHPIYfjgclz2eTvMKXDxKFWRgHu3DI4R2TZ9BPRmQqqcklBh9KX11k/wWJpr37w1VavphYweyAsrgITr/fhH5YRPwtZkr7oC8C6vaUO9YBeDgGjdjEECj3JBcweCGtBg71ZotkDV1N4YPIcHfnTYbLqOvqFuHPp843MsOknskMZXOWSgg4tQF7ODYejeg4FtsOfRjD7IKwRAXYVe4n8azE8ASBL0lcBArBub6kjPbBYW3HTdjH0OZEFzB4Ia8yzRLMHrqbwwOQ5OvKnw2TVdfQLcefS5xuZYdNPZIcyuMolBR1agLzklyQA6Vm83wYUfJREMPsgrB0ONspXM3aneeATRQBZkr4KEIB1e0sd6gG0tuKWwWLoCyIIZh+Etba9RLPHrabwwOQ5OvKnw2TVdfQLcefS5xuZYdNPZIcyuMolBR1agrxG9fyJ4n3Wz4zAdnyQBjB7IawVACYLIWRJ+ipBANbtLXWkB9DaihsGi6EveCCYfRDW2vYSzR63msIDk+foyJ8Ok1XX0S/EnUufb2SGTT+RHcrgKpcUdGiTF/RGpHRJ+moCiNTpvwizWA7BxdA3zQUweyGsOQAmC7+AxAOT5+jInw4T6+uiUrhzi6Ieg2zTTwwvYozKJQWd0eQFvREpXZK+mgAidXqDoe8BPDB5jo786TCh34+rDHHnrh7yy4VNP/F7t3JJQYc2eUFvREqXpK8mgEid3mDoewAPTJ6jI386TOj34ypD3Lmrh/xyYdNP/N6tXFLQoU1e0BuR0iXpqwkgUqc3GPoewAOT5+jInw4T+v24yhB37uohv1zY9BO/dyuXFHRokxf0RqR0SfpqAojU6Q2GvgfwwOQ5OvKnw4R+P64yxJ27esgvFzb9xO/dyiUFHdrkBb0RKV2SvpoAInV6g6HvATwweY6O/AGTYYDfK3XcGlbtwCUp8HBMYRN3bgoLpDF/Sz/W1RmUZIxXLinjB5Zo8oLeiJQuSV9AAJFa32CaB4h6AA9MnqMjf8vk/mBfHjQfjndcGVbtwCUp8HBMYhN3bhITlEF/Sj/W0TmUZKxXLinjB5Zo8oLeiJQuSV9WAJEa/zFMzqXixySjH1hRq2k0FbLAA5Pn8sl/qSzD5Cy+ZD+8+/xUWPXSapq8h2Mio6w7K/79kn5sN2ZRkjGP44UprjHR5JWg10vSlxFAAj9sQmZdKm4yS1lZUatpNBWxwAOT6ERxFh+Pf7zefH8qrDqlti22h6M9MGYKd25M5CKwTCD3OD+s+mhXeNgmplO5pKB3m7ygNyL/n82kAAAE80lEQVSlS9KXEUCktn8Kk3ep+CnL2MdV1GoaTcUs8MDkuVzyd4VlmLxuvPLyYheg135h1WuI8cs8HOMb5Ii4c9PYIIz6S/qxbs6iJGO+ckkZP7BEkxf0RqR0SfoyAojU9k9h8i4VP2UZ+7iKWk2jqZgFHpg8l0v+rrA0k0n/bcQfLtUnhFVrlLT/ezgmMo47N5ERurA/pB/r5DxKMvYrl5TxA0s0eUFvREqXpC8tgEhN/xhG/zl8s2/yMU5ZB1bUahpNxSzwwOS5XPJ3ZauZjK+BV/avq3sMKwmrXoWMXujhGN2eBMSdm8gIXdgf0o91ch4lGfuVS8r4gSWavKA3IqVL0pcWQKSmfwqTean4Kc3Ix1XUahpNXbDAA5PnMsl/RVeaifnbKOaLzoFh1Q5ckgIPxyQ226Xn1ygc63F+WHWirnsL62H79rxIFTheRAItE+aHwpPtgMzyKupuGS0A671DUqaL1vdNDuFwvJGKWk2jqQsWOPDTnChOckfx8mZHMaz6GMl7OCYigTs3kRG6sDqQe5wfVn108z1sU9OpXFLQvU1e0BuR0iXpSwsgUtM/hTF/wdf3TT6FKey4ilpNo6kLFnhg8lwm+a/o1jCRV8sf2w+z7K1eMZygyNOEBBYZJO7cNDYIo/6SfqybsyjJmK9cUsYPLNHkBb0RKV2SvowAIrX9Q5jMS8UPWcY+rKJW02jqggUemDyXSf4rwjJMZvEGxfPb1+MEVa8YTlDkaUICiwwSd24aG4RRf0k/1s1ZlGTMVy4p4weWaPKC3oiULklfRgCR2v4pTN6l4qcsYx9XUatpNBWzwAOT53LJ3xWWYXJ+8srb3T1ElIRVvwGNXOzhGNmagsOdm8YGYdRf0o91cxYlGfOVS8r4gSWavKA3IqVL0pcRQKS2fwqTd6n4KcvYx1XUahpNxSzwwOS5XPJ3hWWZ/PFP+D179xBZElb9DjVuuYdjXGMKDXduEhOUQX9KP9bROZRkrFcuKeMHlmjygt6IlC5JX1YAkRr/IUzepeKHJKMfVlGraTQVs8ADk+dyyd9VlmUyDdfr6e08sQurdg2nKPFwTGGyXXqWTz2zRUb5+rEC8TTGHpgiheNFCgvFYP5UeLJezyqvokKWFYD13iGprEvFQ1q4ZqSiVtNoKmKBAz/VieKablqZ1wO4c72H/9oB2QL5rzkStKdySQFPEFpRQ1aFp0vSV7b4kncun0thFbWaRlMRCzwweS6b/B0B0mHiUCujAHduGZwjsmz6iehMBVW5pKBDm7ygNyKlS9JXE0CkTm8w9D2ABybP0ZE/HSb0+3GVIe7c1UN+ubDpJ37vVi4p6NAmL+iNSOmS9NUEEKnTGwx9D+CByXN05E+HCf1+XGWIO3f1kF8ubPqJ37uVSwo6tMkLeiNSuiR9NQFE6vQGQ98DeGDyHB3502FCvx9XGeLOXT3klwubfuL3buWSgg5t8oLeiJQuSV9NAJE6vcHQ9wAemDxHR/79S/xO9L1Ij+Gf9B09YgcyavqJ6uwmKezOJi/sj9BccfpqAgjt8nZ+CR5YGZi0JorTWfwuJTiTGkfpujM1WofyafqJ6u4mKezOJi/sj9BccfpqAgjt8nZ+CR5YGZhyotj28UrovsaxeaB5oHmgeaB5oHmgeeAoD5j9xbZOOsrlzU7zQPNA80DzQPNA80DzQBke0PuL/wNxXZCKSFI5FQAAAABJRU5ErkJggg==\n", "text/latex": [ "$$\\left[\\begin{matrix}\\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & - \\cos^{2}{\\left (t \\right )} & 0 & 0\\\\0 & 0 & - \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0\\\\0 & 0 & 0 & - \\sin^{2}{\\left (\\theta \\right )} \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )}\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\\\cos^{2}{\\left (t \\right )} & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\\\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\\\sin^{2}{\\left (\\theta \\right )} \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0 & 0\\end{matrix}\\right]\\\\\\left[\\begin{matrix}0 & \\cos^{2}{\\left (t \\right )} & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}- \\cos^{2}{\\left (t \\right )} & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0\\\\0 & 0 & 0 & \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )}\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & - \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & - \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0\\end{matrix}\\right]\\\\\\left[\\begin{matrix}0 & 0 & \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & - \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}- \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0 & 0\\\\0 & \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{4}{\\left (\\chi \\right )}\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & - \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{4}{\\left (\\chi \\right )} & 0\\end{matrix}\\right]\\\\\\left[\\begin{matrix}0 & 0 & 0 & \\sin^{2}{\\left (\\theta \\right )} \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )}\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & - \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )}\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}0 & 0 & 0 & 0\\\\0 & 0 & 0 & 0\\\\0 & 0 & 0 & - \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{4}{\\left (\\chi \\right )}\\\\0 & 0 & 0 & 0\\end{matrix}\\right] & \\left[\\begin{matrix}- \\sin^{2}{\\left (\\theta \\right )} \\cos^{2}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0 & 0\\\\0 & \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{2}{\\left (\\chi \\right )} & 0 & 0\\\\0 & 0 & \\sin^{2}{\\left (\\theta \\right )} \\cos^{4}{\\left (t \\right )} \\sinh^{4}{\\left (\\chi \\right )} & 0\\\\0 & 0 & 0 & 0\\end{matrix}\\right]\\end{matrix}\\right]$$" ], "text/plain": [ "⎡⎡0 0 0 0 ⎤ \n", "⎢⎢ ⎥ \n", "⎢⎢ 2 ⎥ \n", "⎢⎢0 -cos (t) 0 0 ⎥ \n", "⎢⎢ ⎥ \n", "⎢⎢ 2 2 ⎥ \n", "⎢⎢0 0 -cos (t)⋅sinh (χ) 0 ⎥ \n", "⎢⎢ ⎥ \n", "⎢⎢ 2 2 2 ⎥ \n", "⎢⎣0 0 0 -sin (θ)⋅cos (t)⋅sinh (χ)⎦ \n", "⎢ \n", "⎢ ⎡ 2 \n", "⎢ ⎡ 2 ⎤ ⎢-cos (t) 0 \n", "⎢ ⎢0 cos (t) 0 0⎥ ⎢ \n", "⎢ ⎢ ⎥ ⎢ 0 0 \n", "⎢ ⎢0 0 0 0⎥ ⎢ \n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎢0 0 0 0⎥ ⎢ 0 0 co\n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎣0 0 0 0⎦ ⎢ \n", "⎢ ⎣ 0 0 \n", "⎢ \n", "⎢ \n", "⎢ ⎡ 2 2 ⎤ ⎡0\n", "⎢ ⎢0 0 cos (t)⋅sinh (χ) 0⎥ ⎢ \n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎢0 0 0 0⎥ ⎢0\n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎢0 0 0 0⎥ ⎢0\n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎣0 0 0 0⎦ ⎣0\n", "⎢ \n", "⎢ \n", "⎢ \n", "⎢ ⎡ 2 2 2 ⎤ ⎡0 0 \n", "⎢ ⎢0 0 0 sin (θ)⋅cos (t)⋅sinh (χ)⎥ ⎢ \n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎢0 0 0 0 ⎥ ⎢0 0 \n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎢0 0 0 0 ⎥ ⎢0 0 \n", "⎢ ⎢ ⎥ ⎢ \n", "⎢ ⎣0 0 0 0 ⎦ ⎣0 0 \n", "⎣ \n", "\n", " \n", " ⎡ 0 0 0 0⎤ ⎡ 0 \n", " ⎢ ⎥ ⎢ \n", " ⎢ 2 ⎥ ⎢ 0 \n", " ⎢cos (t) 0 0 0⎥ ⎢ \n", " ⎢ ⎥ ⎢ 2 2 \n", " ⎢ 0 0 0 0⎥ ⎢cos (t)⋅sinh (χ\n", " ⎢ ⎥ ⎢ \n", " ⎣ 0 0 0 0⎦ ⎣ 0 \n", " \n", " \n", " ⎤ \n", " 0 0 ⎥ ⎡0 0 \n", " ⎥ ⎢ \n", " 0 0 ⎥ ⎢0 0 \n", " ⎥ ⎢ \n", " 4 2 ⎥ ⎢ 4 \n", "s (t)⋅sinh (χ) 0 ⎥ ⎢0 -cos (t)⋅sin\n", " ⎥ ⎢ \n", " 2 4 2 ⎥ ⎣0 0 \n", " 0 sin (θ)⋅cos (t)⋅sinh (χ)⎦ \n", " \n", " ⎡ 2 2 \n", " 0 0 0⎤ ⎢-cos (t)⋅sinh (χ) 0 \n", " ⎥ ⎢ \n", " 4 2 ⎥ ⎢ 4 2 \n", " 0 -cos (t)⋅sinh (χ) 0⎥ ⎢ 0 cos (t)⋅sinh (χ\n", " ⎥ ⎢ \n", " 0 0 0⎥ ⎢ 0 0 \n", " ⎥ ⎢ \n", " 0 0 0⎦ ⎢ \n", " ⎣ 0 0 \n", " \n", " \n", " 0 0 ⎤ ⎡0 0 0 \n", " ⎥ ⎢ \n", " 2 4 2 ⎥ ⎢0 0 0 \n", " 0 -sin (θ)⋅cos (t)⋅sinh (χ)⎥ ⎢ \n", " ⎥ ⎢ 2 \n", " 0 0 ⎥ ⎢0 0 0 -sin (θ)⋅c\n", " ⎥ ⎢ \n", " 0 0 ⎦ ⎣0 0 0 \n", " \n", "\n", " \n", " 0 0 0⎤ ⎡ 0 \n", " ⎥ ⎢ \n", " 0 0 0⎥ ⎢ 0 \n", " ⎥ ⎢ \n", " ⎥ ⎢ 0 \n", ") 0 0 0⎥ ⎢ \n", " ⎥ ⎢ 2 2 2\n", " 0 0 0⎦ ⎣sin (θ)⋅cos (t)⋅sinh \n", " \n", " \n", " \n", " 0 0⎤ ⎡0 0 \n", " ⎥ ⎢ \n", " 0 0⎥ ⎢0 0 \n", " ⎥ ⎢ \n", " 2 ⎥ ⎢0 0 \n", "h (χ) 0 0⎥ ⎢ \n", " ⎥ ⎢ 2 4 \n", " 0 0⎦ ⎣0 -sin (θ)⋅cos (t)⋅s\n", " \n", " \n", " ⎤ \n", " 0 0 ⎥ ⎡0 0 0 \n", " ⎥ ⎢ \n", " ⎥ ⎢0 0 0 \n", ") 0 0 ⎥ ⎢ \n", " ⎥ ⎢0 0 0 \n", " 0 0 ⎥ ⎢ \n", " ⎥ ⎢ 2 4 \n", " 2 4 4 ⎥ ⎣0 0 -sin (θ)⋅cos (t\n", " 0 sin (θ)⋅cos (t)⋅sinh (χ)⎦ \n", " \n", " ⎡ 2 2 2 \n", " 0 ⎤ ⎢-sin (θ)⋅cos (t)⋅sinh (χ) 0 \n", " ⎥ ⎢ \n", " 0 ⎥ ⎢ 2 4 \n", " ⎥ ⎢ 0 sin (θ)⋅cos (t)⋅s\n", " 4 4 ⎥ ⎢ \n", "os (t)⋅sinh (χ)⎥ ⎢ \n", " ⎥ ⎢ 0 0 \n", " 0 ⎦ ⎢ \n", " ⎣ 0 0 \n", "\n", " ⎤\n", " 0 0 0⎤ ⎥\n", " ⎥ ⎥\n", " 0 0 0⎥ ⎥\n", " ⎥ ⎥\n", " 0 0 0⎥ ⎥\n", " ⎥ ⎥\n", " ⎥ ⎥\n", "(χ) 0 0 0⎦ ⎥\n", " ⎥\n", " ⎥\n", " ⎥\n", " 0 0⎤ ⎥\n", " ⎥ ⎥\n", " 0 0⎥ ⎥\n", " ⎥ ⎥\n", " 0 0⎥ ⎥\n", " ⎥ ⎥\n", " 2 ⎥ ⎥\n", "inh (χ) 0 0⎦ ⎥\n", " ⎥\n", " ⎥\n", " ⎥\n", " 0⎤ ⎥\n", " ⎥ ⎥\n", " 0⎥ ⎥\n", " ⎥ ⎥\n", " 0⎥ ⎥\n", " ⎥ ⎥\n", " 4 ⎥ ⎥\n", ")⋅sinh (χ) 0⎦ ⎥\n", " ⎥\n", " ⎥\n", " ⎤⎥\n", " 0 0⎥⎥\n", " ⎥⎥\n", " 2 ⎥⎥\n", "inh (χ) 0 0⎥⎥\n", " ⎥⎥\n", " 2 4 4 ⎥⎥\n", " sin (θ)⋅cos (t)⋅sinh (χ) 0⎥⎥\n", " ⎥⎥\n", " 0 0⎦⎦" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "weyl = WeylTensor.from_metric(metric)\n", "weyl.tensor()" ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [ { "data": { "text/plain": [ "'llll'" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "weyl.config" ] } ], "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.6.8" } }, "nbformat": 4, "nbformat_minor": 2 }