John Mitchell
John Mitchell is the Mary and Gordon Crary Family Professor in the Stanford Computer Science Department. His research focuses on web security, network security, privacy, programming language analysis and design, formal methods, and applications of mathematical logic to computer science. Prof. Mitchell currently leads research projects funded by the US Air Force, the Office of Naval Research, private companies and foundations.
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAALYAAAC2CAYAAAB08HcEAAAgAElEQVR4Aezdya7l2VXn8ZuZkZk2tul7jBtwj9OmM1iAMBMmICF4hCqJSUmIR6Cq3qAmVcN6AEQxRTBAyAxcgkKYxs40GGMbJ33nBtLOrvTZcb6X5c3/3CYiIy1bLGnH3ns1v9Xs9d/nf0/cjHzo4uLi4j/9zw/8N/N/0H9U4CuhAv/7v7z3lx76z//r//7SxYsv/Nen3v+r95TTww899EV2D532Dz380IX1iy++uOQvvnB3TpkcTT7dF076ZDs2XvjLePyRn8H6d8uJvQunr93HEXZY027H3HF2+RFuOtfZpnebWc3vPPLIxaOPPnrx2KOPXjz88MOn/Z3Ls5p+5fbII49c3Llz5+Kxx076d+4s3iPO9+GHl3s46IUXXljnbX7++bvrcoQbdnOxt093YsVLx9zInk56n3nNmy5evHjov98hfPL9v3rx//7P/0jvxrOkJ9lLkmPFMJ5//vmlwrGEo4phjz+Lks7RnI9kYe74yeec7uS1FmtUEduXQ3tzWDOP5PF2nCkv33j7fM5215v7/E7evn7ssccuXv3qV1+85jWvuXjlK1958apXveriFa94xTorup2p+Kw9BA8//vjFi48/fnHn8ceX/uOPP34BJ91qr06NeDDlso89rvbsGs8991zsL7KXZ7lWRzbRp1/z5ot1moJ59tln4994zjEn8yBKGFABWOPXENPJ1AmnQI/0p+39rKff2+JcZSvm6+T8XZXbVfYz1uoV3lV2/H3hC1+4+Nd//dfLi8cZGnBms4brHMi7pGBMGb8w8WtqPHb0nLlZXNkl74ztyeY+Hn525AY/eHwa2aXHdjV2H6sYt6EAOZJA80xiL/R0nq/szFfp5y+7e513HzvOS+FHwfNzlPPu8173Yp34/J4jumr8+c9/ft3EbmO3r6aFYW026B6N3VeY/MI2hyH/GltM0/Yoxikvj3j84BXT9AeLL4Mc/dvn75GnW/A46iCZWQsqh0EVcPuaOb6514KJaa1ID4Jm3A8CX7E7oIl/VT4d0NTf10eYu87c04frBn7mmWdWc2tmcRidRWe322bvLAxUnGTVsXU49pPYZB8m+dRrnV4+m2E02PZw5uclaeySaw5cYoaiFajiRekrtLWgm9Nprmjt73WeONbFVSxwK+aRj+xvYhcOm/Czgx3WkZ9sj2Txjuyvsqv27Lw+fPazn11nY++M1vv06czwxJwPZ0THK6sZNcupMXnFWe721oY4W1eT9maUjritG9mLzdDUBt9hXTZ2YAVzkxlIwdDPYQHg0ak49iWebn7YoOYCTG6eOJN/L+uXEus6/3K6rb/b6E/d6ndVTOl4JXFz+yFS4xqau3idQeegofkx10h8JLeecdQXU96ZN/NjnU42k6epG+nzRQfpJzEX0zOnh+6ysZfWwR85PRAtFrnBkQBmcAKpkUu64Mz7k1gCZgQ3Ozhs2p+L55w8W/KZU/rFFW789s3TFm/us4GF2lvvvOzotKZX7gvgij+OsM+p1wRTronFpLGNGsMPkNZs1Hz346ZHbH2b0g+c9PHm+dPjJ//J8adefLxqYc3W3poOsheTwXfxxvM1JLq2sZfWLf5wMDXhDP4qCHqo4NMtIUFPHfvIml0Fid8+O3y68dunf26mPzHO6aWz55D9jHnGQD9ZtpN3zl+6yfd9/OJqX73s2Wge35Lge9/WuM5Pc6cLQ8x08cKs8XsQ8kGeTmu+GsmqjZ4hSzc+PP7sG/b8GjV2Oms+9cZL3tiCK4Ga3CywnQRSUma2ihexkUA69A340eTRhTF9WePRu1+auGHBjmZceOk3p9dMf89nx0j3qvmcTbHt8mqhrjW2GL/qq77q8hYuLnz2zdZks6bWM0f7fJvZ5Ms6WTZ4k09O1sPlXO35tcY3G15DIjph3ldjF0DAZrw5JCSAdJPRLRlziZMjAVorvDUMOnQlaODPvfVVVNJX6RzJrrLbfYpr0r6fsqP1TfTzuetWY7jVMd182WfXuXhvdmsbff1HRwNNLJjZe31hX23oG/b00nV+zs3gh32x0S2W4otn7t2Zn9nM9sjMPn9sovtq7EDMQEtGEvHw7UugpLKVaPp49ij9cLvJJUi/AksuG3YzuQU0YmvfHEb7+53FPP2Xw+RXI76SF397snj3GlN1gxlW+ZLVHOGraT9M9hGfjH55wWhoVDjhzUZLx6sNbOdHv/OvJvbWbBvw8Jy15sa3To88u9bhFvNL1tgBciApJCHBmEsanxxvHzO4MNgjCaC9wRfz9Acf5yj7XZ6fnX/dfsZKV5x8FG9zfoutWrAn23HSz/66OKY823jt+d79FLO5Gmjs2dxub40FJ6xmeHLRrGIN3wyvm3rO+OT04dQTs4Hj0bGusbMRL1s4+YRrxKdz340NvGQB2ufEHMVvTzZ51kgC0y79Znr81SDm/M/krdFVWGGem9kq7lWUHzG0NrPLd3w41vjJ8Oba/jqfezzhw2mdTtjig6t+1TqZGiKzxtbQNaSmq+YwqjUefXrFS4YPN3s6Rvp0xWierxqtyeCY4xV38ZabGW6jvXk1tt/iKuBpdN16t2mfo5KRGKoAAlRAs48qRaCLSmptxh/JS07i8RQfkVWYTO2j5OL4l3/5l8videsUf4X0dRYZfPHKA++ZZ55ZP5ErvLVfJBILXd8J05MTOT7cr/3ar104f/u3f7t4bOj3Uc0nfcRerMWLR45PB9+cnhz5O6LyZ4PK8UhXLPRhy1Mu1nxnRw5LXuVc/WGS49MxxBgfJqwGbIMNDIPMnj+zEeHl14yKxTqe9eWNXeBLe/wxlQf72qWEClCwkzoQc4N8JjH1j9YSysahzvjhkJ/DE4+CRlM3WzreNcWHvu7rvm4dtvlv/uZv1g9an/vc5xaPrjVdvzmnIcSTvQP91m/91nUT8qumfrvuH//xHy/++Z//ef0NIFsPD5pxwy6GLoNilHdNRcdNO+vSeoFuuFPGB4LhYePHDJ8eH8VkX63rjbDokOGbDbZmMn4aeOoT9pSHIyZY+Tla850c5sWp4S8bu+RfyrlAOpgCKBj8eOZZoHNxpJ+cjUJE+cLbZRXPzaTBOsia3N6a3Td8wzesortZ7Z944omLb/qmb1pNWEPbd4N/9Vd/9YpDU2v+r/mar1m6mkMTf+M3fuM6YAerAck/8YlPrLDtHQpdA/mGwsHLV7zW9BAMsRo1Tnw4s0ZiR7NG7ZMthdPtxz9//Gtw+dV82Zn5MPgThxlejctf9W499/TlZG6Qwywu+6ic8tucbnrND7SxJRwJoECtOxjyGbQkb0Nsw3YoDiG//CWDqWnhe32IHJzXBL834TDtNedb3/rWZevmYqexyf70T/90Hci3f/u3X3zHd3zHxcc//vHVCGR0+f62b/u2NZ5++ukl83DAKL58/t3f/d1qHs0AD3lVEQcbWJ/+9KcXLhuNEMkTyQ+2UV3LedY7uzknD6dZYxvd3OGTZ8MHqsHMZHKZD4I9vrqbW7c/Om9Y+PnY/eQTPx36+P2m6gNt7ALoFqrhBGSd3D7Cu4oqxDm9midfCtlBh4uHNIqb+Y1vfOPFP/3TP63Xgt4r3/SmN62D1WhuV4floD0E3//9379uYO/pXj3gOXyvFWYN75a2h6cpkZjIa1I3MHt/McJG7HQ0Nr7m0hhy1ujkYoAhJp8cn/nMZ5Z/uXhgxaI2cNga8t9rsAIaf1ST4pyNzS/Mam829jPAqxY1d7r4rbMVUxh4KB3rZOZ9sJ062dU+D7SxOa6ginMTKsFzuh1AiR3pdahmxMbajaqZNJbCW2sQ41u+5VtWoyggfa8TGvev//qvFwZbMk1YYzl8erDINF+vIX//93+/8PioMcIWS79Z953f+Z0XXmPYFZ/cNCzyukMfjndyfDgeSA+AW19Da3JxiwHfA0CvG/Oqei1H2x9igWHwLQZYO/FhRM6PnpqkX9N1dulnO8/cOnkxp2fGa89nuvkojgfe2AWTw2ZJz6DiXzdXhIqUfnx7uJpJcR0Iol/Bv/mbv3mt6eFrmLe//e2rWRyo4tF126Kw6ZNreA3kwDU34k/Tu9HZW7/5zW9eerDwDA3NRlzwer2Aa++m9uDxTb//hMvD9Fd/9Vfr1YQ//mFo/I997GOXN7ncNLvmFpPY5WjA2wl/Eh1xsBWTWIuXXrUw00M1fbbp0Wnwkw07I9nUj58OWWv4+cCbNO3wH3hjF9gMYuftxd11j/YVicy6eSY8m1tzaRg3o/dZDdWNpFFhaCazg2Qrrl4b6CoquQdG47g97TU4fNgaS1ObNZ2GFBM8c9+CuGH/7M/+7PIWTi4Pfv2wySf/RvFpoh4eunx5DxezZheH3MRUXcWNb2+dj7UYn6qTL1aYPg341+RimPXNvpkMfoM/NkeEL6aJZ43PPiy21u2ThUl/H2QPtLE5PEcCvIo6lDBKLD7bZOHQQQ6fXrqay9oBuRHZmTVIDVtjsdWwmpeeJtHE7DU+uUM2NI9m0sBeKXyl57UCn10Hwgd7mOR8i+m7v/u7V1P6AdT4h3/4h9VMbvXZnHyKj40YDA+juMTBv1w0ih9Y+fd6xUZz0kFioHOOqmcNB784elBg0DOsUbVypnyKt7NoxssuP8VRncz1hfURTrZhiaGB98B+bbVgvxSzYkhOoSuWg3HohsNWLAfm8L7+679+3d4axuuIWWEVig6cbis3rNsWnvfbt73tbRevfe1rF2bNBhN+DWUNyxzfDYjo9qB5IN797nevV4hPfvKTqzm9dmhwWB4EOOUmlj5VYHm48ukGpyeX3tPZzkapecKUE6p+a3Pai9uDCd+gC59tdbav3mb4DXqIDiLfZ7rTPjl+vsyNBXD6oxya+ychHuiNPQN4OdYOQcMoQAV0wBrYR7tDsTfcQGaHxk7zaGaNZ8/eTecw8TSvr/F8W/Jd3/Vda81eg1VUumw6kHDkDq/mSB+vRhebB8VDA9933H/yJ3+yfnjlgy8kN3GyrXnkjPjW2DB8y/KpT33qwoPSrU1PMyL2O8GOYIsTZgOPHT1Y5OWa7YwrjCNf/OAnaz33nWX1amZrjfjNtzn+V1Rjl6SCKJBmcFO7Eb3zkrslS75iajjUTE/DV2Qf9W95y1su3vWud60bXnPULHTp2WvkmpmP8GE7ZIMPMvpmIwy4/bDoYRS393CvKX/5l3+5YvSpo9FqLD74rIm857vBvaqk0y2bbnyAeJPsxSMumDV1D+XUL6f5sOBVh5lfPmCjiWMfPz224oxvnoMsSmfhXNzF/4pq7JmsYnfLORQH5FZ2ozloB1BzdkAKZN1XZ74CdEu/5z3vuXw31vBeERAcuPBrrr0xHBAZHUS/AxKvT4LZRMXgE8X36z5pPFgf+tCH1u3re3V5wWMXJiwN3WuJTwLv8z5hxOvVxuuWWBDb2RCLefAHfXUy+FQfOZanfTh49mwMMaUH2jqKny2+9Rw9MNNm6u18+xcv7vr4impsidXQbma3m8bQJAqmIayNGtJBGMjhaVzN5ofBd7zjHRevf/3r16uMQzXgw/Y6oFHsYXfA7TUOnfzMg26dX75hiKvbVSyw8DS4m/jJJ5+8+PCHP7xeX3q4PKj5LGc5wJG7m7u/usdDNd7anP6oCcXUA0OkAeUtF76s1bEGZGdNbx+w4sFKL9x4+PnsgWumc0Rw0bn5K6qxK7YDcKjeWQ2vIw7dgSiYw9FwCq8p7P3NI3Lj+cFQU3tP1QzkCqghurns2YZTgTs8+3jZa4IOsMNMx54eH3hyQD0EXqXk4Pb+4Ac/uPzW/PJi44H0A6OY8PLnAX/nO9+5Xmc8jJpd89ND9NB80Bbj9IcY6JYrdrVuLg8znEb88OhHs3nj48VnG988sYoVL/5cr8ZmVMFz2hxA+zkHOHk3XZ/zx75kJhaeA1BkNO01GCLvkL1OODx6mpNMLng1i0bRCL4Hlovb2bu0v1jxMc5W89DXdOzxDPt+iKsOYjTosYm/gju9w5OLl4xOsdDBCwM2P/Ix6LHz3u0W1/gf/ehH12uT/Az2dK3N9K3NfXrIVQ0615paPnyjZK3VgA0Maw8QfT46k+IWp9egcucbpZsPuU2K35x9s5isG9mmb2/d/sv+xlY4yVQoBdCw/hLGtwNuGYfpJqZn3cE7LAeliV/3utet271XDzgOiL3Dq7Ernj3bWWh6xaHQU7YXPpxmuhEe/7DCwJOrvdcSN7A8PvKRj6zm1jjykXtx0O/1xk2tIWtE+NaGPDQkW/ydxEEu50Y44hEbMs89LPvb0LSf6x1j1nmX2X9ZNrakFLFRcztch93fAPpmAc+BOjSHYs1OE7itNbz3abc0Oz9g0tPUdBwOTLx5UB1wjQDTmr9o6uPRmeTg5BJGh0WvhghDI5H3UMo5TM3dbYrnNmdv0KfrE8wDLEdNLj94cOloXH7tz5FYPAQGPfp7TmzzXezN5ZTN3B+twyqe7NpnM/Xifdk19iy8tcPRTJL2LumW7rZ2wBq5g3OYqL+1c9BePfxwxlZR/FDmIBBsTeHQ8cx0jHj07Mk7wA4gfXuD3tS3l0N5lNvU9QD51BCHPI18+TnCg8hOc/s5ga09/WK29wAjD7E9Xb/gpUnpqhH9cyRWuh52owcG31ArZI2KUQ3IzNXBPCmbmbd1mOnSy7ZYs93nL7vGLkkJGh2iWeFRH7+K303tMCTfu7cfKN3SXj0cuiJqII1kDY++vdnosNrzj5eMb2v8ySvW5OHMOX900TxUTWGkT9cDG9+DSfbUU0+tB5NtOGYPg5pYe+jl7hel5Ob7cbbXUb7VUZ3Z9jCIB/Yc1UiM4mmkw591ZM1m8ue+eoabfnt2S/+E8WXb2IqpWG4ba0VW8BoXz2FKtuZUDDa+WdAM3qvd6hoaOQT6HWKNs4SnwqWDV3GnHvz4cPI5MfDDWYdxuuHESR/BKUd7NsU2b0t8jfqGN7xh3aR+oPRagp+dZlSLGpxvD/z8NKNbLMtw+wOe+qqVGQaeOJG4y3Xi0KPTSI8O3tyHQ2aQofb8Ge3J9v2zd+5+ufBl2dglXCGavVP7mztyh2j22tGBeM3wyqGhDQeLNIpiaSQH4fA6NA+ORkF0yM2w6dPtkOngkRn0ECx7lG4YZg0dZQeHbyO8qadZ5ejBtKbnNcMPx14xihOuGPPv5wpyf9Hjd1/o8YWsz5E4ycu3uXzZ5WOu5T4HHQ1dbehWi903O7Jp35p/lE44zz52l39fjT0T2YPKkTk9CUV4JSe4ZOmmt88O122jGdkorNvIATto783+xtC6v8TQ2A7R+6j/5MtXZnw7KDgdqLlCkWsYvA4Cbx/iwSvuaV98cqBDZsx9D2C4cDQpv7DphxMGPj06BlITen5mcOj+EzYPtdu82vgZw8PPxl/a9NCLoVebBXbmD3bd1qmIid/yNzuTGr6H0xyPTjZmVP7VrzlZuZrlX2Ozm1R976uxJ+Bt13tA2eNXpHhzViBEr6JI1CuIJvXDo8PsEOhKVsN7v/StgAehItOrGBWvoppb87ePsFdApz/oZNMhiHPy5degY21G4qIbTZ9wIzZw46XXN0Leod3OmlfN+lkDvkbX4B52GBrepxLM64gfTaXmM85pdx0/eTmzxTOqnbn1lE0euxmzdfsvWWPPQtSgk3duXWOTOyS3TTyvGQ4W9V5ZgTS8j2q3drdkTZROjVjx4FjXmApMp0IvR6c/sulwspu2ZAivAwiPPjKLq9jw8peNPTnd7M32GtgnlsbW1D3wHnYyGPz3GmaN3+vWCuLgD3b8dluajV7jiq25mMXUSFae6ZgnL/0pTweG0Zm3b37u9Fr1JWtsgUTWBR7v3KyYknKwJWOvqX39Ze0w4XnftqZHZu8gFc48CU9z1ChTVqx0oore3oxXgyVnU354xcy/fX6t0WzoMNmEs5RODwdf6WSvPm5kze3fP5G/Gxl5oDUwH/6K3m8N+k67mPeaLKPTrQifnli8jvRKkl+6ZM34Yi6/sNMpf3pHgx4d9mHGyxbfGr/xhdMn+pessQtWkSOFm4WKf9XMRnIa2+sGkqQbSVEcJH5Nn4+KMw+AfkWGEeE3sj/Si5cdXTh8oeQ+yj2AZHRgI/tiyD8b6wY9eOwiOuzo9IOkTy6vG76vVgPNrdZ8exXzc4bfhfF1n+aHWZzhNheDfb66se2nPJ1mccIV38QPJx/mcjbTnQ+5ffzWbFpn+7k7d/vpS9LYgnCwJSM4idfkinaO2NErIbObyG3spiIP26EqrKb3cVszVGR+OpgKXYPs/ORmRO+IxJOtPMUqHms2xo5B1siPGxEPXiMdMji9UoVLnr3m9TD7r+XVob9S9519Tan5/VquGPG62Y/yqublrpb5wrMuPvGkh1d8ZjjpyQu1N8OJyPGa0yOftumna/8laewCkSQqSInPxNKbs+ARXQfbNyKa2qHhOyADlo9cN7b3Tfp81fj5wnPTTSKDZRSfGd8o9vbFZY7H1t4II8z06Vp34BqMTvxiCsferRsmPfoIT25y0fwe5nJno8G9a7Ox19hubT9EXveOzSYfazE+gdrPOX1za/GhcpGzurSvRvZs5IVXbcIP79we/9rGzlkgc66gk9c6u3lIJSDQkmp2oMhNQC86SkKDsnMYbmMfq/w5TD/MIH7pOFhNb8+Hgy/uipcvvunwzzayL5+wYXRr4cEq1tbs6GkiPHtDDPZ8ZUOPDzL5ycVaHPmqNngw7ZNnH144cjfS9z23GFwCaqXR7V0E/MKcNOsw8xSfAdfcN035l4uYIj7Kz9roomkffjZymLLWfBQnXsRfPq9t7IzuZZ5Os1cofLNEm8lnwOnPmZy+YiqKd0iH1nslXQckaYdmVBy2jZLPpz2bilVM4py65SNuWGY8Y2Jbs4OTj/TM+OZw6GaDj4phbbaP+nTJ6LMvTrVBdOCrEyyfWPHpli+9Goy8mJfy2NOL2NrPkWzO5YKXrvXkpz/xW2dDf9okD7d58h9YYyuewkb72l4RDUHTN8/C1mhhpNceBrtuYnwHCEPDu5U0dtjkkm9f4czd1MVlrlA9HHhiCMM898UbPhlKxxwGzH7ArcnY5TOMYmbbIDPCzm7GZc0XP2YPv6a3R+Wrqf184salU3xmVE7xxYDgN+yLDW+ul/KB/sTIPp65nIpj6lhHfPG50wNr7OmoYjSTFTCetWZUREFWzIlhTdeB+Ph0QL6r9Zcu/dclPhLZ0iN3Y8NTpHybjd1HB062x9DDl206YZtRzWYfT27W03auYdPJPxz68oRnjvDFjW+E2zo9Oo180fVpxo9BrqnVyAXQQ0Yf0UfznBbj9Ad7saU3ZflsTkZXrPFbk5PhTzzr+GHMmT5qnrKXpbFzWIMolmDMFY6OtYJFM0n62TsYa+Qd2nt2h9tHLyy8hj08e2QPc/rAn/r8wDsqHPtw2Ewda3mwzy9dfCPfGiOeObLWcORw6JuLrTkcOTTUhTzbYsPvfZgf/GpIF/mU46dRrGR46eerOJbx6Y89D/v050zdHu7M4wiLHpxysZ5+pk3rl7WxOS2JfSareAotmSPSaH5odPC+zvIR6qd6ewdDbiAHWTEroL0CVawKn5yd2Iwa2zqqoBWX3U70NYERPp1swo9nX75zph8G3eLm0xpZszHo2k8eHfjqw0Ztiyl9PK8h7bPPJ3s25t1vMa1gxu1JHzUXI/3wWjenP2tgXbz5SG/uw39Z/uH36bgE49l3aBIVmL3ZXnGPiMxwUGa/D8HO11YVQLNbzwO6TPwAlKziwoIb1oyDXkQ+fYSPN+3js8vGjN+ePgpfLJrNHB65vRHm0ZwdzOKAIS+yasLWRaCOHmCkuemiYrPmM4JZDM3JzHDzu/P3eNNv5pNO++l3MccffNDNJuznX7hrvzKaSQzbtczRzr/JXmB7kgrsRjXPJlJc+gqPPxsqX+Kk4x0brndq38X2fsjGGr644SB69PNhbZBXnL6u6pDZkTnsdIq3OOkWUzrJ7MPHy6fZnhwlg0UmB5806exx8tc3HNaalY51mGYDH67mlZ9POrjqY234Zsnvp/sbSD+zsKHfp50c2My6FHf+xEwHiSNKjld8ePTNYZOxN/MfhUnXsG+2pgvji7Afv3shPvBXEU6jAheMoIzkZnxD4ihZRShp+ymXpANWfAeiGTvQMOiTtTezCcvBw29P3xp2BbWnU+OtIMaNFiZcpEFQB2kNg5xu+niaLezs6cujvIuDbnGlGx5dsnzFt/dDotr4K3T58utXe601t++4Z5MukNMfcDqXsPmG0Zj6rcmOSIzFNnXw9ABe+ZZrsdnzPfuIDzbPvfJu7R94Y5eUgCfZd2D41gItMeud8By0G7iv8ryK+Bs2Nw+Mbli/xYcqGpk1DKM9HT4N8mZrBUxur6GRolZse+vwxFbRydjZk5dTDYLXYbk9+YbFJjyznNniGz6VxGJkz9fEYwMPz0Dq9Mwzz6x4fNLRcfvDUE8Nbi+GWaf8LJDtD7qR2Pg0jihZM332DTZk4jXj0xGfGlZ3vGo688N/9tUvc2MLWhCzYDP5klVsAdKbiXWwZomaI++K7DpMScOAWUEqFh4iryiwul2tpx1dGBHfe6HpsxOvxtEI4eHRT4dPe3xrcVgbxSQPD0g5kM38si1feFGvXeXhdhcLXU1r7j8Ahq+Z3eAuCOtynZiw4RWPeZL9zpNvY+paTxxrvowwOqvqQtbDFS+MdLN98VSLl+3GVhhBzIEXtRa44tKLCtpesRxWpKnd1tk7uOzzVTHYwMKn78Ct2cBUQHy8Ct06fxXUXPOlw49PDP7FScc6n/zBt++w2LbnQyx47Caxm7HBR+E4eDZioJccVnvxyrNfCONXM5Ozt8+/PPDowzAmhT95+5rO1INvIHG273zaN8tHfuVozh4G7H8X1+kT5NofHgFMsBXVPf5RoocBjd+hKBFBW+9UsR2IZqGjOOE6nNYOjn6+6cHF6yYjc9M6TLL2cOkhPHtDPezNNQQd2DDMqEYFeekAACAASURBVGazFit9saEODQ59MjrwzfkVjzjlUdOxZ5et2BGMSbBqdmuYZu/Vbm1+NbtXG5eDf3i+/MsPnjU+/MnPJ345p3+klw7ZtC1us1FtxMamHJbRKZ7s5TPpETHe5JegptG9rkuEvfUs3o5J7gAdLj2J1QzhZO+wyf1E37+zJ1E3UhSOPRxyMx329grosA1FVFw8/nrNiYcP00gHhkGntZmOGVmLtRnPPn2+NF4HSw+Jlcygb0ZqUB3oyscD4GGyN2DDm7b2ZOXuQeRDc5s9JPTp9eBXk+V4e5UoP7J8pQenkVwOR+t48KoLvIZckdjDTLYENbwH8KaNDWgSwJvQ1BNQh9GBFCz81h2IvXVJ8peOubWDMfy1Oh6fDqi1ffFbN+A6RO+dhrXGNudTo3V7aBgyzdwNiqch4Ifb7WIPx+yw5GItLvwIXjZ0xG6GyT9f5ngTD4+8BqRnlC9f2eGLP1xzMjGIkW8kHvL2ePxG4ifHsy5P8vhTP7t45mzpN+KbxY7MxWGdLhm9SWTP+2bsJo1NOQooHkfzkNJrpsdGYHQ7IHJFjQrYnk5FVmDNYy65dBxmTeav1JFY8mXmHw++AbeYNLMfmnz8amgysZr5Ex98P1TBsGZD5nb0UW7dtzIanK2HDI4bEQZbozX/9PCQ/BrsyA35+bRQj6j4um3J+g8srI38iLeas6cnX77EbBazdf/rPvnwgap3sReDufMqBzbZVV+y1tlmZ0+/M4qfPls1MvAMlNyaTbw5P/PYozdr7GV9H3/MoKwFpPgzsKnDFXk6JR2/g5a8w/c1lUaDwQbPwTs0fPpkilRTKqq/hnegGlvDakhE1gHzwX/Nqlk0hAPR2DUSOQz65OKAUawzV3HAMTo8NgYbGEge/IhH/OUFy6BL7mtCX915CHodYS+m8hCPWNjBS8bG99ca3n8fiejREQd7NuzFim8/ay0GcrzszPYNNgbd7PkiR5MXxs5PNzs2ref84uOPXXzuJjf2sr7HP3I+zWey8SuMPbkilixZA6/iWBsKoUkcAjsHAkNzd9AOC58ue03oLyP8FyU+nhFdzZW9NX3DwYthxgeDfw8QnfyLoXzIxZJvetZ0Db7haE4zn4geW83MXszyqelqMnwPGHu/N+MHQESveMNi4xIg48dgB8N/wa/Z/c1jTV+M4s2ftbhgi82AZ4gTNa/NaY/Hhq904YiNrMGmGmUzZdYR+yMq75ft674KwnHOC3QGL9ipW/B46SkQDIXWHArfb/g5MHu6FdGaDX1yt7WmttbQycjhKi4dryh0+ujvYMVSPHg1tTkMccOlt/PFp4G8BpjlYLCNxIzK07rcPAQeKL/ZyEaskeaWN7/VAYbhdUROZHT4tNegZP6FKDzx8s8GWcNCbOXFpsvDvlyX0ukPdYzYFYfZPirX9jX8OZ2pP32wT/ayNHbOBGpdggWS3J6OIs3kyRt0ZjIO1qiwNVl6Ha6DhOmm7p/RxauxYWo0B8uXOBweXIdfE8Bl10c/uxqSHR/k7NgjzWtEbOx90qBsNK5BLi54CJZG1kh4ZHwYbl3xyRuO1xKxVxf2NS49OfLroYAJA6mTAYecTf6Xwvij3MRjpCvuBnXr6h9+PTDgDpe7732fER+R9Qt37l4OD7yxC6iEFB/PPsJD6dYoyWfw6dJxKGE5EE2BrKcNnexqKPv+Wj5bTQ9D04oPPhzrRk1Kr+ahN0c3mcaBzT/dXpms8e0NmPCKv3jpidOgZ69BvH4g+wiem1zj8i8eDUcnP3hkdL1eeSg8JBre/zov//wVM/vOqpqSla8mt0dio29PN30yvPj0YGY39dKd81xng4d2P8/5Rykfv8F/zHuyv6+pJJo7rEArXHvzngAePYVMnp1iulEdFtKw2dPvVqk5FAOPnsPU0H6QhKMZNQ48TeLwNYKD9FuFMDRQjemQusE8EHANOBqLL3HSC2s+HLAMxE6jwel9Wa1qnm5ns9jdzr2OwNSgXkvEzzcs/uVCjsQlHrr4cGD0D1WqG9uos5I3ImdvWBs1l3ny1BNvkr1aTD3yaTv1p8ya30nspo/nHt9+V0QCRySIcyS47AKXzE6C6YAckoFKzrpCWcOgTx7frLmQmByIw3I4frKn77A0nH/z2mFpGO/eDphNN1eNyo+G9v9StKZL5/d+7/fWtwTWfLrNYPTvAjp48XgozOKga+2/mPdvdWggNvj5Fx+i71875dNg1wOljhqXTzPS5EYPS/+mtdjEopHVVC06aA8JwiPzsJD52UJdO1c1EiM5PXzx0FVTMlh4YiVXv2rPBn+epXW6MNRJrHgGnsEHPINNfDpkbPCt8SI8MSAy+0Y6D/RVRDAFl0MBoGZrRZtUkPjWU67IDrNbzv/H0P+TnB//L0PN4GZNpwJUWHwPgmJ61/Y1l+I4WIeI76HxFz4a0aeAbxyQwsOjj8TGzowHOz18jSje7DSZrxcdNBxNUW72vf+Si0WO4tGMHkA/4LGB6WaGJRf/NrbmxpeTf95MDjDp8Uvuk8ncnq2H1f53fud3li+xyodfNbMvX7MBV4yaW87ZzHxWIQ7+6DzlDct+95FOM729sat1MaVjRrdqbI4yPIj5SlbJpwTrOurQp56Cw0Ju5ve9733rn86l61/019xua4eiERTAIZgdtubpBnXQ9NyGbtkO0oF5QAyHqKiarL0YxA9TA/NNx8GKzeDDYF+TVD9ysWgyMk2MPAhGeGRdDrDIxAjTrGk9fN3+8OBqVHWg71MInx6/Xl/gWntgDf79763xaxjxVH9nLvbip29NDqc5HbZs8OsX6/TUyUhmlqe8rGGmAxORk+UXVoSfbbxrG5uTSOI5AnZTmklVCLYzuHDxrUuAfiN+ex/7CuDfgiZz+JpUkhrRDaYBrDWxWZO7hX1ni0ffzeXAyeRlWNM35K2p2eHDR/Dpdgjmmo9fcjl6UNLRZOKE67B6MMSvqQw27MuzmoTBv4cahptc07qpkU8rjS03scJn13nhdUuzg8WfGvC3n4m9OMmQdU1mjy9muaLsO6tZHzmVo1ldETxxhAtTzNUCRjL6sO35sibPX/6vbezl+fQHhwUT4JRftc5xcwGwwdupoPlMl569pCStQbxv+sHHzaOpNKDmoaNYxeuAFQDPwcPxzwpraDiIbu+OcBy85qEPj3+HIx56hr0BX0w1Ll71cug+RTxEDkxzwYLLJl161mQdnJgRn3TpiNceDlw3N33+xCEnvujIiZ413/Jirw79ratPNkP96NNFNVTrxTzx3drlUo35N8SPzDDiy20OfsSdLr30zeHCCWspn/6gM32xL/ZbNTY8xjmcTq5ac5bD9Aqo/T6XTLbZK6bhgPE09dNPP70K0oGTibPCw9Jw7R28f4/EYTpgjeEVhdyBOXB7eTqI3ldrNniKavioJ6+xrYtDTnTFomn4g6m5ZiPZy4VeOLBRB1/ONTa52OTlNxurj3yQ93LkYRCDvZw8jB5Ya7e81xg/Txhi7+YXC9/ihXF05njVoTzZRXhIbHPQKd7szfjm7OCHC8c6WbMY2ezyWzf2QrjlHwVRMjc1p58tG3u3nMNVbA3k9aBb0uHT0Sjs8JHGxVMEH8MGntu+20xxHL49XI1H3x6uZuijGya5JtTYvX7wKTazQ+mgeifViLDxxa8JyZC1ptNY7GGXv9jkzT8qpm4/t7ZXELGQwamJxaZh6cIRn/dv/uSFzPZ0vaKJr9jVQDxszUdEJ0q3vRlvt4VXfuzb736z3e3hssnWOp55ZcYIYEodCn4GlPGn8dqc/sixYI8I3+AHwT2ySU8sdO0V3trMxiE5aE1B7uAcmNcRzdmN6JCNmsct3W0sBgepgWBphvb88M/OgRv884P4qrHloUkNVI50W2tmcfClhnBhNGtMa+/FfVL0bi+OaiA+ufcDoRjgiEHObl//iz82HngxqZfY7c3Vg473dPUg87Dzw4dZnIY8xBaOmW258k0/IqOTvj2d9MXfecJVW7phWJMjtvliJ3568LK1zl68+Tq8sQFcRYACuEpvlxVADVoyZjJklowDwE8nrGzTLzFN45A7GHYwYOGxcxuxc5M7dDYdNhxFVjCNrrE0u2LRgc2ug7GvTvHEyC9fhnUHwy+fGgUOXA3VwfIvTq9JbMQAH89gU45wYJOz8zAgMf3FX/zF4vth0A2fDzFWW2u1Yeum91BYlw+s4q/O7cupPM100pt7a7hkZjl3rnzYy7Ua4dHLxh7BEVs5kM+6ZQPPQKuxHx5PTE5SXlqnP4BnWLBTftWareIIzroCsJlruGKgl276dK0nJevg7dlrDE0qXjhmPI0zGyR9ckPh6WkewxpV3PwVg2bq0NWMngEL32hNNzlduYoRWWtgfJSu2MVhzo+5xqTvkO3F5hMLTz34spZDuGx9z03Xzc/vH/3RHy17PthEc00fmWGRsUX2ap6P7NKj06WRTE2K29pA4itPe/7YmPHNfKkbvrUR1rPzbx4fevjux5VAc0w5Z8vj6Q/AR/ypY80ehWkusIJNTtbAy0eHaZ+uYvEvTqOPfAfpo1njSrqvAPmkL/GaFV7FgJdvMxk9xFazublRPunMXNh1qMnohpudGdXM8kM1QDZi45MPGMXRQ8RHGOzlZrBTA59M3qM1Lh/wyTW4B6C/mPGKpG6+/1ejalkusPlmi1eezXh8soVLr7OZeVVrc2u41uzkYoar9uIiD0O+fDWWYHxNyPYS51V3f1/o7o19+t5UUJwpcIUCthNHdK+iDpGOgDs0c2t81D48+A0JllhY7PDNDsaBa0B6sHwE+/8YOkCHiycfehqmHBWQzMiPAtEtrgrMV/j07Q11MNQJv7itOwgzXQTbR7954tDhq2YvP3t6Yjb46gENUx78eu3Q2GY/HHt375zk7m9Z5w+OZPz0NWTxqwEKH3ZrMdiLt5iKS4MWNyxEjx/5Nnpo2eH1wLHpU0vefJKj8PjOTpywzAb/L7j0ehV55HSwBQ+IMbAKs9DHHxyQCfwqKqCw6VvjxzO3nvrW/JSMvYQVD44G8QOjQ2PfX7r4PQvDV1gSR/Rbi9vtpCE0SQdDD05+zTM2eoYidhhs8ODDqi4OpPo0k4UZlnwciCEecclHg+6xwMk/nIYG5p9cbB5meF5L6LDBQxrbg+/bF7XT1H6o9p7uh1dxlzPMSfZkk8+nc5jN5VWvxky/2MM2I1jVqvqI1xmL3czWUN+IDb/OwTr/D+vbGpsTIIxbd0B490oFz34Ww5o/RIev1maBHlGxmR2cw5AQLAk6LAenwRX3ta997fqpH55C58fsZjAUMX9wxVascI2aiU/+7OkqNFy8Co/nMIz41RBP8yJ6GhhpQLmIoxjEaLCJByff+PZkmtaD4Jb2LUeNpQ7+EkrcdH260eXHrS5/OP4Gl3/2dMXFNz214BNVF3M54cNSJ/myIYOBJ1/2eMbEqL5mdTSThyO2fMuz9Qpm/Pei+SS/21Xjd0UA70WcyQXWPIOMt88lgS8wVDLx7JMthdM7tmArCL5Y6EnaT/LIrewXoNxY+ApMj98nnnhifYXlu2p5KbQbWwPQ11j5oB92Rc03WbcCe0PM3uXh0NNIiG4HJBZ2q9ing6uR+aJLZu6vwT2UGkujaVAxGtVIbtZhwrF30+K57a3FSFfeBpKXr/R8ivnmhL4bT+z0EV/iF5PamJ0zskbsJtGDzY+1nOF5aOSLF9GZOYgfmePHs0f8wzPjxedTLMVYP2a/sg44J5QnyPJwD3/kpNkh5AOvA0ueC/yGOMgNhckmHIVzK7idOiCHo1nCYKsIDo4uOV5FgWGtWBprDgWLD5+dW09DODhfC3ZgfFjTQfTZ2vNb/A59xsC3B0HD1dywizfM7OeejnhhGPwUJz9yU0N5qAe/7OngWctHnBodr+aRg728ymkldvqDP0RGDzXDE4vY+Oyh5i98dg28eV75y4dZHFF8emzbJ/93jU0JgGAEKZCeut04kOvmGXBrc0k1h58sXfJ44kJ0HaobilwBNVkHqZDpkCPNKB97ORoOoBuZLRyHbuDbG/TUwy3tZjTDEoOZXHN6f+VXk1jD4YfeHHjsyrHXAq8E/Go2OfDFzrkYYjfnmy81wbfWTPKwhzkbbMaiHvTYiEXtuvlhx69W1X8V8lR/OogOqqnhwlADMXgFqk7lbJZHuNWhfTKxod0XPTK+5Ng5FctlY2MEDjSD+DlYXsbrQvvr5nAKvDk+e+vIuj3dSGySJDP7Sd/ftimcmDWTYiLJOmix0+3AFALh0amBHUx7TeBg7DWsGGqgWXS2iD49+vzBEst82Pg34MyDtoaDD5tfsWlsOB5IMrbVxLpGwqsuxShe9vzDhyc+cYpRXXyq+eaILpn6VWvY8oCL8msNK6KTDT47Q407I3FYlwPMcsU3YMxBp5zy10yfjB82+Pytuvv2a/7wWPAcIoVjnCEeoEkc5Gzyj9YFAzNsPIQ3Kczks3h44lAs/N4pHZBf4STXCDDoyadG5oeNg0V0rB22xnKw1prBXoPVsN06dNyq6gKXPCz7eBqFf6OGKXb6YrE3ywWxjd9tz54PD2sNQgem+GGIRZ7WBj6eER57fLVHZt+K+EZEvurQuZCrEwrfHOWj/dHcmZkNecy4xAbnaMDLf9jp2cNRK5hmtRC/87rz3PP/1tj+5lFSjBXCuiILYHeSs5vMFbjAzCU154kl8A4k+10uxoqlCfxg5FsQH+HskZk/epq9tXzIzJpGExuK45A1pbkDpysOzWPt2wPDQ+WHPKTp+DDzp8gw4dvzzR9eh+JA6HvdYCvnPmHoGmIwI3PNN3NpXc3srem7rfnr1cl/UMEnvhubXz7EgscWzbOBYx/Z01OLSXj08CcOffji4ENsdMLJBi9M9vvIFztY5mzMeA+dLt/LV5GKUuEconUBBmp2UPRvQ7NQMNsX/MTCK570kosJkUvE7KbW0IZvKzR6H+cSVoCaUuwa2Iyv0RwsrNazKen6JkUDGMWjsT/5yU8u3/QR/74XdrvLQVOT1dywxMaPg5YLXTFqNoNdB1ac9OVJjw09OmLuoTHLkZ4YrdmJGU4NLkZ/pY7E5eH0y1M+hfiO4HT+fE0Z/HjW1SRbssharmLpUweuXBBc6znyZW7QnToTgw+5uJBePH0aXza24CRTQgwbCjgTKRi6CprTtRjB2odZ8gU6Z3rtBW89CQYyi8NcU/PfL/74WPW7yWQSNTtgeGYFbpAZCm50O7PTfKtIpx9Q3XbhwBKjfDQlglkTahK/I96Bio8fNvTMqHdcD02vOWyMdOhZwxATHHb2nQ1M/A6aXA7FSxemHPHFr8Hwfdrgq5+YI7mhzgH2JHxnILZiTo7HHh/Zqw3fZoPcCBeePUxzexitw4JnpEun+juzR44aO4eBc6xAggoMIAIYT5EigdyU2CM2re2t9306knD78C9Oe7eipBySIW6H5y8+3FhuOAVFYtUIFUNuhhuLDnu3mFmTGB1AeYoFvu+E4eOLB04PhTU8fMRGLRtw+4ZFfKicO7Ts8MVczauPGS7/Bjs+rdUoOV9qQe71w6xedH1N6itG+PjRvg4rebE5g3KcOtnjzdizJzfqufbx5FUfNsNq5NPZkJsNdujyUYyRIwdAMYfkwMhvSoIogN2GDGaB7vJ93+FpSJj2ZhiGRmwWd4dW89mTh2PPxkPR64Jb28BHGk7jzjqoRwXUPPkSVzXD0zjl3sHwvzc2H+TqgOCjGq08YYUHhxwWeZg9wPzDExMSZzeyVxFydgjfN0swjdsSm9kTnUk4/NDpvPkWj1its6/PzPBmnatfvcKH/GFXB1jh8X3Z2IGZU2rGM2ZxGRewICpiCZGhbHe+fck2p1MC6fArCT40pNsQL2z6mtEgN7wS2LMRixjZ0DXjw6mx6Wpqe7g1dc1bLWoiOhObT7z8FDN/eMXAHqbh1jdXK/k6qHLLhn2EVx54ZPKAI2ZyQ2x8i4vMWgNbe11jJ2efVHTt6VxHsNHUjYe/44gVpWOuTmpK3z7evk+WT37jiVt+ahpWfr7oHTsDwgKYQSWv8AWdzkw2HpsjynbK2fOricknnr1E4lsjhbD2w5zfFem/BMHzzu0gNavEezjIFKRmdrt6/dDYyC3tNcFHuBgUTtNoxAqID48uuTg6lBk/PTmya+4g7NmQyZuuMW8h8dCnW83M9MOUj+YuRns44rUWj08uOc8fXr1by5ke2W2oeNnMdfuwZn67npzwDOu5jx/Ojpt+M/1V//kqMkGsI8VBzTk2V+R0j2aOdjyFZh+moocbBmz8dOKbi5VMA/CRrhvJ99l+6m/2jYmm1QRwHaAmMDS2pu+wNZBD9nBo6g5lFWwcgjj4r8Hayw2+GfGJZh3YiTc+XTw6iGziqo2HU2zVpSbEIysv+Wju5L5G1Lhq5tui9nx5r/atjhubzf0SH/LYqfM/Jz/Sp2vUF+ZIrihf6c4zIr98FQkogOYKnZMaZMpbw5gO8e0NB6gRHYTCT72w2WcjgZLAs2bTxy7dGoQctp/yP/axj11+7YeffnmEa8Zjlx/fUPi6TlOLl1zzWNcsCjib0G0Pw/CQ8EdffGwniX/GUdzyrwaaE0Z4cPqkoA+bDn1xqKe9+NiYy4d+eWpw+WlwF4CmZiceNs7V+hyJXSz8hmuPb+w0edbimLrlu9ud2+dryvGK6bCxU+DcGhVEAQZAx9hpHnb25hokO8UPO19HSdKbfipoB17TTFuN5ePVb8dpBg3i0DTqPDT+YfPvQMOm59WCzKEXpzzY48mTbzZyy0f5kVuT91CYxV3u1Qdea/qGeOHKxRoe38k7D5iaGh+Zyejywy5/Zq9pePR8ivk2BOGxa+5MlvD0R7i2ckPFcVL5ooksPf7ElD78Ix9fBDA2YcEJkzgc/NbN5Jc3NgCCDsVeQBI2rBG5dU7YFDR5uviIrMNSYHz7SGAFl/6cNZ4mrfD8dmCwrPPJl6b4wz/8w/UR23tyhaWbvRjoa45uPXGw13BuOPre3X2TAAtpODGx8QqjwWYD4uen1wKYdAz+069u4qMjD/gwk9HPT9gepv7SKD21MGDR95DSg4V83YfvE+bjH//4avQerG5r9mqArMMWgz2KtzZn/qCfrjVMM9tw6iEy/B2XXrqwwpwu2aaXfTarsf2VuqIighxNwwloTYYEOKk9DIcFD89aodllW7CKjzeTF4+DRGaHoGHg0OtQ6HV41vz6qHUrec/+nu/5nvVuqZnI8sEf/ZpUI5A5fMNrjSbgj18f4fTl4Fb3fTBMe7Zi8L5KBlN8eHKvFtYGPGRNB44HiS8NiKw9GPA0MT/ekRFssfIDG8HCY0dXrHh0DPVQF7L5gzIZXQSrRlmM8cd+ZvlNpb5pT56OuAx7M6IfnfOZ/CYzjGKkvxo7ZsEUwHROuaBytO/jl1B4CuzwHKIiNhxwDRa+g1Fszexg2YiDvQPVAIYD4p8c8dUhwdVkNQ3/eGYDwRQHG43JvqboNYBP+m5t/9QwG/9FSp8gfkj1ke5GFysfbnbv6ZrHD2jy8BCI1cMidnJYHiB/6ygXvtjQKc7+060elmKvNmJnG19ecuCrZk3mP7gw8OlU9/Sq4SrO6Q8xIrow1ah1suTmdJbR6Bc+xFE/mLNvzsZ+5yW7bp52l68imBwKLsITlGSidMw7VcT4OYLp0LtlHYhGgMEmu5Lnj9wN5RDpOwyNABMWMtuTV3AYGrrD1zD0yIudbcU2a2wkPjr8al4U9pNPPrma0vu7r876zThN55OBvibVtOQeBjG7bf3iET/e/zWuvTh91+6h8BDSl7M9LDo+JfgRgzzgiU+8cK09hPLrAfcpg89GbdiwpVc+nYuYrOk7I+vOem9Sttmlg5edNTz+OotmMtQ5W09f7cM3t16GV/yRbnOql40tuRI0I8oKJOCCPEo4MHO2O8/NkgymAoTrYMjyp1kcruGwDfqIfwfl5ssOH1ZyTQ3DTIdNtzcdfuRTMejVGIoPi0wDwSHTrJrSw9UBeRDg0JeTOGGVl4Z3W5eDPX0PgB/mxNWQq0+DN77xjctGg/MLq4dTTPA9PDD518jioatGbn0x04VtViskRgSTrDzoILEdUfJk7Z3ZbgO7Gk5MNunu9u3pz3X+bjKzW7anXFamAqzAO7hiKKbi0kHmmvQmThU8W/rwNJzGsZawoOwdWI1t7cCa2YiDnuFhQezFSRdev1RkXaFnsSteOdjDYA/HEC8ee/41qFcP78D84tUYGoyegdyO6eC5jcUrfj7N5PyQy9dfJrmh8cRdjc108MpbvOw9ZOb8amC1piu21j4RrFF5WVcHa7kekXiN5Oyj7JPhF28z2+qbXXP25/bxj2a40Y6Dvxr7hdHYBWJWMIXugB28QtoLfIJ3yDlrrqF2OawVwKkh7R2ww9M05g6eP8OenuHw7FFyPBgaW+zpaiTxklcEc2uydGDWtOyLhw5szacGmoW9B03TmJG1W7T9Yp746iVWcbh13eDw2cC3hsuWXmdRfrCKlY0Hyh4eXXGJ3x5fzc0ani5SF3HDRPmwptuMH9Fvn1165upoTQ6nh00MxT9tw26eGPFuM7NfcZ6MVmf4VgQJogQoCU6QDthhIw2wHxo+XcVGE8M6fnr8OMQaD7Zm9G7rYGomcnuxiIMe/w6OPzL4E4dMAelai9VMZz6U4dF16HBgsqOLKlZzzU/u1YR+78tkqNw9BOl7zeDP8LeaNR9cOoZbvjjExAd8tVI/a/pkhlzw5Qa3GucXn75bHbY13jzjFfApZnHDieij5vJKbhbHTvSzmTrip08Gq5FOMns6YTfjz/jsw5j6+OjulTduvRIHYi0ghx0p6EtBDhe2A1TwBr5kGoLeDzWZWZxmOg17uOLGKydYFcHcYdGnk0wM1myta0zNw5+ZjUEGBy8/1c5sqFlNzgZmTZxdtuVvjuTCBywEi92MA7+c6FqT0/U+zy97/HNE54jyeyQ74hXHInPsJQAAIABJREFUkewqXudhLge+z8V1FdaqngN0SyqmG65DUGzNgW9wYq44HNI5onSS2cdjZ8DS0Hw3HCISU3rN/NdsbK1hJs9m4lqjGicbdvHY24tFvmKpoOxroGKDp1k1p9uQLh14zWpob6ZrzXejQ4TFNz785GZY9JKFyZ9BZo7kgWemy87PBBp7Xk7pz1kM5wiO+K+jPaepD598DrxGuuVTLuTx0rnJvE79zp27//azQjpIB+YwgHboZsVRfOubEoxJ4eFZGwpn8G10ONmajaknDroOMHl4FQ+fDj69XqHI0a6nscNVTPZsrfON55Br2v4Sp4aeszWfYYWdb9h4c/DDxyR68oDDL3mDHj7KDp7zc16+yUk+MW+7Ftc5qun5r7bpFlP75mo/93M95ecw0j+aV2M/6hYe//8RoIphKGgBd/AKJxkHd1M6VxjYc8BzkCVTgvb4Rk1mHbWmj4rfmkzs4t1jDj/c8uUDz3CDT0zYxaCxk8FWF4NOTc0HHHM61uoYTnO1sEf25WKGzbZ65As+YkfOt+HGvu62ZsfGOEfhH8nJxIbEdRVO9unQn1Qc8K7yOW2O1qcb+87FY6df/gE2wTUEUiQH0a3tBiy4I2C8Peg90F2e34ojOeuZpL0By4zY0TEQmeHQNVJ7TevTiD5eNPMIh66hUXqQydLF57+m56ua0Cm2YuWrh2rK5ro4zbOx4fJdE8MpTjyUT7H2vXX/sYWfA9ikU963mfm7isR8nU721bB9c/FVk/Tap7fv4895NbYivuL0QxCjGgKwRi5gs8LNpphgR2vYFX/KwyjI9nRKqJlf6/YTZ66T8xmeA+XDA6pRYRn5ZWOP8mNNDoeNj3UE02AD1yCHrfnYkBUHWVQNYKohmWGtxg17OB5AvtiJC77LZc78Fztddtl64OZv8NGFxf8RzTqckx/x8cIUQ/Gc070JH4Y8IrHNffyr5lX5hx+++y7KGIgCeurNhq+QyKwdogQMJIgOMvuCwJ/FbK0QUyeciUsOm43hYOBpModrj8KaBe0Qayz2bOCLH4Zc+KjB2MAIJ5/k3Xh4qB8u1QhPXHDNGtTMVzI2eDvBZgfPsGcnhhrcvtjgkZVf8cJgi7wa+Yuk3/3d313+4ciX/3SsjXI9im2P9ap9OOl0tvbXYbOlI88GO3z54vXghE+fj84vO/m9eHpwL29sxaEIUDHsrRmhGWw8fGsB3JaOEo5nbjhEvtvz1cHiiXESHmouB3aG3MSssTW7gRSPDWw8+9kINSw88ZBrxnTDTs4H2YyvGmYPn53ZUPNyY0vPjCc2mIY93LDpJfMQ2tfMnSObSdmEMWUv5ZqfzuIIl4zO/dCR/WrskmyuSPuTgh9IugpjLUD6ewFvE/AsgPU8vNYOuiY1R8XA7tygq4E0t9nHPQwx1zB0yrNDN1eTmspe08CZscLLPz/WSHxGa7Wyr4Hh7H6LzTxHMcAOFx4Mn64eQmt67DzE4cuFTXHxidd+BXjLP2BcRdWRDj/5ar7K9qay6tDn4t3Pr5N1wh1s8vd1SVUc8psGXJLN/FrDmBTePFzr7JJn337ONQ0e/D762fj4htcBlAtdfE2RHK+mxNO8+WXXDWudz/KpVvSTmRsa0UDZ5NcMO/zyEFtDLG5szW34jp2+WIrTeuLD4R/+vVKxXmfPl7FT/GZ4R3q73VX7y8YuOPM+5iGQdRCAFcpBI8Wx7nDOOWZTgenMJKzzV0xTPvUnBv6Mu70ZwRSbg4bnoN1seGR+Kw5fDg34Hbicyr3bj/6MjTwZWzbJy6VY0qVPx6uDd/Zsakh7WPTpWZvtfWKI3exBbSbT1DDlKNfykG8xTVx8+3sh/q4i2IjfRvrFEr/5Oszs4NA11OLFUyyXjS0pggp35ODIWTYFepuZj6NiFnQx7JhHcaRTkvucXCNVaDzN4HebHXw33PzBkq49PWsxzSbpQZkxw50xzjVZOatd7/peiwyNjMLli75hjQ+vPMRkrXnFiJLBqrE1OX9kqHitZ62W8CX8g8/qtft9Cd1c5hDmylLRFEGCZkMBDcXCF2Bkj/A6JHv8WbD0bzvDhGWGF2bz9D+LVgz7HBZ+tzQ7eTpot51fwrLXaJqAjdzFoOE1kMHOIJtNQg/fjPa4i30JT7XSyHzxyTdbI9vwzMU2Y+HfGYir2dq3In4Nlp1B5hfMYMw4js6v+F7KufO6KeaM8aY29PjJ12rsCqmoCq3gmtp+Jl/xFLRDxkMw6Lc2c7IH2WHhWydnq/DhzcPCM+iw8ZGdvGTg5I+eYd/hs08utvDoWWtUNzfyq6Peu7Pxn3tpPr75NezVKUyyhliM4rWG1cCX66xzOiuA061OzznkK//eo63ZdFOL33u1fNn8/M///MVv/uZvXvzKr/zKyouMf5iT5AJrEj00demdo2mfrboge+v2eOJupEOvQTe79Kd9chiT8NO7fBXJkVlC7QM2Z2TNMZ14zdPRdWv2k9qXIBlcA08BHWTNqtgapHgn1lzP2OgaePDKgz5st7dGqqHozeahzyd5B5r/5vKgV3xwGtm7RLKBKx9zBH/e6Ph02NATl0+gLho8sXvwPZw/9VM/taB+/dd/ff366vQhFjmEBbd65J8++U2IbgQbmfHVwxw/veb0kh/pwkie3VXzF93YjBuM5no6t55OBFKBFGfKrnJ+Tgav5qWTPw0hJs3nUOnx51DQHm92R37oThu6cDQKfPnwBx/5KKfDDq+mrDnwawJruvQMfCPbcKcN33IqZrnR42c+RPHFaPRKhM/Wzay5//zP//ziLW95y8XP/dzPrX9u4Y//+I9XbnzCo89fezw1hzGJHtr5u86Utza3Tj/edXP652Zxh3Gkc3hjU5xF3w1vkuxuc5u9gCu8uVHjaL7elTVE/OKevuQxi9CeDjvYeMja4WqWmkpjugGLgVwTkLPTeDVvDVsTs8kPHfpkrYtFvuVhHZHX1OVYvGY2iF524nNby+HDH/7wxY/+6I+um1uji1UzGyhMNhMjrHjmqyj9fc4GvxGvOf60nbz46c+5uNKfssvGnsyr1oHsDiu4Q7tfqqD5UniHiO826nDw6fBtFFONNZuoQ4QRFh471OFa49nLBaaG5TcfNSYca3Kj27UGJw8fLn+GGIzw0ykXMhjTZm1OGHDpplfedPrZgB+/BEXnve9978Wv/dqvXXzwgx9cMPOmpufml6+HaGLl00zvHJ2zSV8MjXj3MsOYdOQ3ncvGTmnOCogoxw/YYXQgM2l6Rg7Sv+3MHu70PXnw8m9NZkyy1zzhZM8Oz3CgyGGnR45vLxcznGdO/40hHHz10fCaUFNYm+3ZaHQ61TH86kPPuoeouIqT/hHRh5kcBoInD9/w+AUocv8hsX/C4Sd/8idXPPh9Z++HUDg+keTmlkf8R63zFX/O4i6nyY9XPmZ1NB+N9PkSl31j4maLlzzb9NapYgqOQetplDLZpLnvUMyCKoGpf5N1/sXioJo7SM0SvwQVwmhvjgcvfrxizWYWsfjjibmm17jZmOVYnubiKodk/M84rGG6KYuVXw8FXETGXxjkbMRl2OdHo2dvViP2/vUnMZH/+I//+Pp3TfzbJnz6B9+ffvrp9UMlXa92mjtMMRSLNZtzNPX4n/mykQNcc3s29Axr8nzHP/JHhszTZte9vLFzkIHiFTCAwMwVUtF2YtNhkGVb0OHys4+w2FcEOorFDkY3Yx/7bMjJij2fMMRjkCFzvOQaBgZ+vsx05UhuPQfbsGZu9ItHnWAWmxzYtJ+NXH7FKL8ZN5vGSuT0B55YDBiovMjw+NG83/u937teR/yX9v37JRpdk9MTb2da/vDgiPsckSM6fNuzN+QQkRv4iF62cx9/zmHgwcjOOh9w49/1cHo6KU1Kydy6oKbeuTW8in2k08HR232TORCFdnO5TRy2gWeQs5sJhRNmh2zO7qqZHlv5dthmPsytNcGsS+vqlH/zzHPWYcqmTrmT5xMufnmU+/RDl47Y6Pn+nZ21+mnsd7zjHRfvf//71/u3V5R3v/vdF29729uWHtv5kMODhciMI5oxWEfx24vjHEY61bH9nOu9qZM/vNkHq7ELIKf2JZIhBwGa75emrx0LfjE4QM3sb9y8C5oNfIUyijHM8OKbw8umIps1elTeYnDIPqJnUztow6GTW1dQs33xww2vuVjCp4/I6csrO7K+zmOXvNjxULnBcAnk3z/HJk57fFg/8zM/s766/MAHPrC+EpTDE088cfHWt751YXWBlNO5+pSPeRJfk5KLMRlesU/de1nDbEz7U2PfLWwFojDXGTZPgJdizddRongOZB8dcAXK3nzEK0YyB2XQrUHwHbDh8M0aohuLLnLYRjL18ANYXz2SsbWfs3VDs7JH8qhxNLQ8i4l+Tc1PfOv8Tyw5sBdDD4f/oatXELbs/Gurr3vd6y5+8Rd/cf1Hvn/wB3+w/rFNP0z6V2nf8IY3rLqIiw92Ya6Axx+z5q35mFTd8NKZ89S9l/X0Z92Ata6LnAXeXrEmZah4E3Tq3GbNz6T84lnnf/Knfmt6DmFS2NNWzPHTtWevGcg1S3oO2Lp8a0g8/gw8hw/DCJ+Ndbr82Sdny6c9O0TX0NQeGLEkN8Osqc3pN5N7qHzCmf3OCAy3MB02ZD/90z+9/rr9l3/5l9ftrfn9W4HvfOc7l86nPvWp9ekoLrGwUwtUrGtz8Ac/O5XDrA/e/VB+yt1895zuoq7GxhQ8UojGbJYJYF2wwO6HZrLh5IuP/JjxxTSLix+lP2eyuS8n+eLXYA68vNOvkcLnnx1+tuznXpNrWOSVSUPQLWZrBIuduT1st3SjONjml419daATlvityV//+tdf/i1kuWl2/8YI/F/4hV+4+I3f+I2Lj3zkI+sHSd+g+NetNDcfTz311IobXjmuQE9/zHys2UTFaF8OcFpPfjb3MsPcRzgrmkceuftu2MelInbIDF8OknSkMAWM30EqcCNeNkfzXshsm8mtNSN//OYPvvWMpbpoDE3S12T+GttfuZvhaOz584Abk4+afmKHqd5wYRrdlPA6FzpITEY1kEO58kvPD4ls/YUNvWKg528m/S/xfvZnf3bZ+WZEzP2LUW9605vWq4l8ekjzWT3MiI9oruPNObkYXkqCOwfsu5Ua/6XxLLSCZCARBSO/DSk6mwpxlW2Hk057MxwY8zCnXmsz/eLeMdgjWG5TzeZXPP0Tvr72wneYYiY3w8CHaW49fcBkpwnViW3rfMIKw4zM1dVcEy/huNnLCR8Oos9ebYweHLe1HxxrZvpiEJOHxtoN7S9tfvu3f3u9b7vVYRn+wUzflMjTP3jvYfHQ+QQq3hoeP1sxsZkkbv52Ph2y+6HdXmzRiuL55+/+4CFxg4FABG1YGwo0A5zrAPd5Ou+Apx25Q5l69nQN/GZ8lKx19h0MfKN4J4a1QVeubH2n+wM/8AMLm4xdt+/ExLcPIz/pZOfXX31XbHaTG93Cs3lnQ6tzjSqQmau1WOXNp5mveGzF5Hb2kH7f933f0tHYYgsLLj17NuKSt4fALQ6bzN9OalzN/a53vWvlAkt8dGB4AH1qFQs/YiKfhJ9fdvSrl72B4s11MrwdNyx41uzN2Vz+8CgRxhVLkAVaMpI2AgpsRXbwB3lUADmOnw55A8/I/9TZ7dqHuxdgyunANKev4Ryw73wNH8cOTSzp8p8NPqom+PHo17h0HLy6ks+4yg+/OOIVrzrHM2efjbg1Ix/8+mbDX6V7R/aDoFu0My1eOAgGfHl7EPwvReK79dMTm3/qWE6+QWEDs5jh6JcafoGMTxnyYjdnZ26dzUs9r8eLE0FLSqD2CqlgFRRPoI2bBlICzRKscGGUPF/5rUH6OD+yYU8fdvhhxhNvsvDLlcy3D/5Rd7er2cHxpQ6zsfHCyYcZDw5MazZi7gaWR7mQVVN47cnjh92eHjwDLzv++MDv3+fzly2+zhOHfz648xRfucNn67UCee2Qu7x7dcGH0YPhRnez04MlXrPhMiiuBXg6E3FGfKPJS/ag5svPDclKRDGsBW2OOsD4ZHg3oXA6LHOjg9/nmsON1KHWxPmsUObW4hNXg+6Msxw1rsZwWIZ4zHDES27NtrjzMbHT7ULgbzaR9cw1rHnYU794q3OxpyMG9XAjw9KMfPuBrx8Y3d69hpB1Vma4hsb26uLBrjmdvfrwyR9beni9d5th8+0TgszZ0RdbNSpeetWErNqV1xI+gD8uf3iEnbOCm/4kqZh9xCnSbUmyDkWzaqp5q1WIClRBxFTzdDAVh3+xZrPzyZI7TDk4CDwfww7VYE/u0PAdpn0x0I/w6VerfOIbUfz2EwOPHA7aZfIsV5jkRphk9n6ok4+G/qEf+qEVr2btmxHxy5kuGxQuvkZ2BhrUDV88nbWGhcGHOPpe3P/92OsLG7oejJl79SzucPdc5fOgaDW2r/seHf+ZfgVs7kl24IZkbkuSVKRu5prbPoJrlDAbRTFakyni1KmA+8xfRa3wDtL7qf+zAHJo/kVSenia2/+OefqtDvmENeW7X3uUnXU8c3w42U79YqZXE8slW7wazjvye97znhW3m5qO8zLXxHRhVTf89tVFHVw6ziM784zL2auRy8AP137f23nhTyr+Pb+pw/+DpNVVkhFsCQtMUIagK7CCubElo1glnr7ZSDaDT9aN3SsGPoJlKLC5QySzRuKB2WCLx1+Uf7zJzx7PDeW1Qy5+X9lXX8htrbF9r5vPGoScX/5mbPzZp99+AZ5in3L25UFnyrIxlxtdNWvvrMTtAXVT+tZCc3vPFh88NtUyrPwkMxts3PJeL5xJ8XcefDl3fsntXQx+ocong1997ddf4bCrTmZUTGszzrP9nNlMuym7zXo1NscCR0AlhyTbDY0vaE1t1iAKXqHwIjJ7BUFs6dH3ACmQ2X42H2yx9FFqnT944rGPB9sB95BYl0exyIUfQ0M7FPqwHAQfvgnp/+zlqz//T0cyt5L4xA5HHnzb88O2upjpmmuObOjxb1YT9mFUA/mRV6/qKadiKG8yP+j6L2Pe/va3r9jVTLxw5ci3GA12xWaulvyR+3aFDXKx8Fm8dIpLU4cDk57vzP23lT71fNIZ1tUJDn/igl0O4eDTEa/1rJ01am6dnlm9m2esq5sJKngHI5gCkpD3KcUTHEcCm0B0Eaxs6USCV0S8Rknw2U2dT7rk8BRDfGQeNE1pPfEcDFx88SK4mtlDVIPg0YEHx6yxfXfrL2n8KqdvAfw3gvxqFh/x2ZVPecqLX/JG9REfDHx+IvLsapriNceTh6/u1J0/efh08f2ybyn80pKmLE41ZFtdwwkbBpJ/pAnFoq7sIjkhPKN9OZJZdzY+6Xw1KKaPfvSj6y+7XBZiFwcfhrU4+XPBFCssazWjZ41HX9z2qBzW5oo/VmM/++xzfrHhEgRYh+9ABOEGU2gOON4br0PUQJJlb6avKPjzBzaHhG8UtFkyPTzisC+Z9vIpDjjWdMSpwTWzd0Ef1fwicvGLy0wXdgeD75d//L7ET/zET1z81m/91rq58eXG3ihWNeAbD8Ey6ItTXg6uuvCDz754l+E4LPKwzHLx0JnVxPCXL35QlB8fxUXmQZUvnPjWRvEVY348KNVo+mefXVhsxC4Xox4Qn4tBvj5JfuzHfmy9GnlF8Vrntwq9KonRRaFu2cIrtmJSQzyySAyTsjGXY/HTW42teT//2c+uQgEFaNYA3WoScZiKKahA6NqXfEGZ2dA32Gq4+TqAz94oODxrRbKGSy5GsUikB0sCGtTeQ+Ow4bvlNDW+HHzawIGJKkb45PAdsFsGju+ExeGfLXAQiFxe4nBIHQ4ZXT4qeH7wkssDqQuyn3IYCEb1k5eY6Glorx/iw5ObHNmJP0z7agorzGLMZzVVB2Q22GbfnE14nTNM9VB36x4UDexXYX2vjveJT3xiXRxucA8reX7ZzVrOGq7A7uGP1djP+Fuqz352gQcqcIWTvCGIbgPJSrQk+RXcTuT42WosCcHBm6NixqOTnxKXPLlCKpBiumH99bVmduB88NuhaSK5iBcPVocCy9qrhk8kt40mdwP5aPUL+PQ/9KEPLXsxaSQzLM1tHfERdjxz8ZtRTWItxzmLHQbio08hN/UP//APrwe4B5WuWsCoNnKyr47h88l/DxVbOVeD5fD0B1n6WDDwij/ddNRAnPDE0f/kFQ++Vzu/G67OvknxUMpNfxWfGb7BV4Ov3S8e+U70Hj7VeDW23xVxSCmbFbfBaYca6H44BVUQbCSJrCWoKTSN2R6/NTu8Rvz88A/Pg9HBeyf2FxOaWswOTR6GNVs2bO01BHwFpW+dHV0jew8OXz/4gz+4HiLf2zo4+mIrX/m1Lnc65VO90mumY7RXC3txVncPqf2P/MiPrJvaWlOIkUxeGlvc+ZuxFE+58QED8aHRnAeMfJLRp8verE7W5bUATn/gdRmoC4Lb+cHn0zmI2Q/n4ufTOfAFg39zvuBYHxE9ZG69663OmwlUJAaSEhAHBbCDsW0AryB4bPc9nlHisOkYc53fAneIXgkUxV8U+GnczaBoisTeXBErsoJVQIVFbouZDzlceDD6gUpjk73vfe+7+P3f//31WqLhYf7/9u7mVbPi2uP47m5Npw15IRmIuTchURxk6iRzceC/IIKDDIT7V4T8FXcgRieCTgTBiQMVBIWALwOd6UQS4kAxgeTem6RfvHzqeb6nV+8857TJLJBq6lTVqrV+66XWrl17P885na3wil9x0EbX4q+Y41O88RmzCW8L7w70+OOPr9t5vtFLnl18LnH4BAOtmIUdrpiKDwwtX8SJbDJaNR9hNAf/VMkXfGwPw5p1VERjh3l2OCoq7OCLFg/7q6d0RcN7UVmJ7f+gqZQQnFc5WGAybg+aYzByXpuBcDijKvDMcUZFp1dLDv8sxo4JEs/75xbD2Y0t5AQsXDarlWxJH7yCjEZWiwYr/e1EaM7cjj3+upKvcpKxOPSEz67iBSMb8gufki4xUNBVmBZZ6c2HW7jk4CfMkgA/Gix0uuHRVdzTBw8v//DSI3Zi6eEOPrn4tPjSwY9shROufrwujvSSpYutcPHB0DfH5uwmY8PpOSZeLQy1En760fWr8WnPduwmAU7ByRwQnsrknf0MTKbgcMycpOGoq1rLaM6aE3jO2jG1ZFR85iyEHYzTaMq0KZ1r4sQcXrrIsxk2XP0uMHN40C0Qui/nS2btRx99tJLCBWfXtLDtTr2io5999BWbFoq/k+61nRi5eL0283dAJB5+tfiFCS/bW3Bt9Ol7euzQ4olH33PEJ598ssZhJD+x0BprZ4HdXLJaxRy76xvnj77a+lmDcIoZ2WRgTFlrg58cHi29t465eZbYgZrECBSQvrov5sicV3LOPF4FDjrDJYNSMqNJcgZ6E6BfUuNjjyTTuigkm/nmwjaeuhfD8Ue+wEgvH+ieic2GeLKdPnSJ7QMJuh2JfG/C7scfCSnBPfXjtQvBSS8zwtOac4HSz2d8PnDx9/bYZU7C421d0GEb19cazwpLoSNdaGRdgPxXPcyRV/Fp8dU/hu4O7Gi12UZOn2yFPvQws4Vd7fL8b0OZvsmBZLVkVP1wje9Yy+Pd/rDdHa2gNCP11YQydBpongJlBnXyFjQtHq0ikWApnOKEHVqdtyX6GY9fn04LnmxzBQQePRV8Kj6yWjX57IGdrLlszS/6LQQ+SezBVWI/8MAD63jSBzoS1NsahR7y4WlVOuEpfbSvldAuGg+paud5C6+wn6wxXD4bq8bKfsHzmd3iqnWx+CDKe2YPemFkX7qy3bxiHl66jONdnaONEyceLRwx0bZesNik8iu6nMBnvtYc/bC0YmjD0apolRUxBMCBtvgzAQgEiF81VnMUT0bUb3G1ZDKePrdst3K7IEfSjw8/nvRo6ZFcWvzaHGqxySnmso+sCg9/NqfPOHp6YDRPrt0DvoTLBgnuaOKtiS/jf/rpp8t2Fyj5dGUTObbS487jQvB+2jtfMt562FHxqWHg1ycrxmr26St01eLfx9Ccuwk+b5P8kcr8gKWEO8d4FG26GsNCSze6Pl6tyhal1tz0pTn2wjJvPYzjFX8yatjlgDmxdJHe8GDfGfvWrcPCUpwQUDUjl2Xj1oZXzRjzZMPIIPKSER+j3MItoHebErqkxmMn1nKOYxKqwKSLHo4UTPP18RirypRNnh1KF5g+Pa78/CVXAKcfMPDiI6+kyxeR7IIS+8MPPzz7hmDBb1HYCod/dnvvyh988MEVExeMGMCkJ3z85OhUzVdbr+woIdiYP3jIwYbrbG3OXSH74CvTzmjkZ12M44e5WcixB13LfiUb9dEah50+LXvZqM8mfrF1b59ccgc1B++rK9/a3AvPdmwgSsYYF1z0lOpnLOPwT9nJm2F4JKOAWkyvsRik4OnjVnwcssCww8fHFsnndgqLDS4C/GoXQnYuJ49BpQOWVi045BSyXXzG7KiSw0c/mgCqZCQGWs8L+g8//PDZ8cRfW/LqkL1ktHjoch5/7LHH1psWOhwPYLLfWCGT3WwwJwbo+YcPj7EC27hKRiVD1sbiAvR9Drscv2CLiT45/BNfn91K/eYnvXlzlfhqJz1+GNXsNRe2lo3iw059MWerOb71xuzWX76//b7EpnQ6BZSQAkgyAM1g4/gziLKMJ6uvlYh2Zy/mvS5T2pktQguBDlfwk0fLDg7nDHljuumBQRaNvWQKkHm2q3gKDJ5o9MBK3jj/8oscHhjhpAsvG/AKsvOyD3a8a/eR/Mcff3z2wOvo4fvTjzzyyEoyycWW7KEbTvZnE90KncW5GKOTNxY/OuCGU8vOPvp2JHHscbGh86l4GqeHfvT0LyOGHcbZUz9eLVyFfdHx06FFoyMefMZhNm9sjl3TXvGmQ2vu3nvv2bab7djjdhGwVnHeUwoOOmVAKmgFg5IU+Z6AHczupEhIsoyAKxnIKeiMLxA5Zk5mXwWRAAAUjklEQVS/koPJkJv2mGfbxCuB0ZILn+2zP/WHbb7+xIAlUSSTZCbLR8crdyHvu/V9wAPDRe6BU2tMN9tKbhcufDgzvunM9jnO9trkW2hJorLLbq2KuzsEOj6FHZI8/kU8/kCDW6yyLdrkPdVnG15tJVntnJs8eM2lzxwb2KNo0cRLHsnRG5dubtulY2InEBBhVTGXcjQBABKgwAiWwDlCeCD0ZO+DBYveLktOAqQDhsoo+Ar8aYt+pb42/hwz1s/mHE8nPeaSC3O2cAsQeRW/Gm56BDqa44hE1aJ7GPaO+9VXX10Pan5r3IOhi1vyiwlZDzpiJn5k5kUO5yJbs2vGBKaxxYXFJjRjLV3WxlrZrb3mM1fSkGFLvoctRvrV/Rh9bw+e7E8unjnHrknHW5ly+OLNPmulz/5Zr3/j+rbdOxLb4mOcJaPRJInxTESBsPNaJItmAR05nKXNKYJY0Aq6BGcMrL0zaJzYl+mouZxlc0Fskczxx2LSPW2euGGmDxaaMVvDRavfQqSLDF5nPHzvvPPO9tJLLy1+n1Z6pnDBv/HGGwvXMcRdTIKzkX3kJaJ+6wCrMvvRas3NebsufTCtmVKc6WCv3dq66POVL8WMf9Zuj4uOp3bqR5v82TPpaMaKtlhH38vjqeJtDfUnna3sV/l868rNOxOboNqCUcSRCQSQsOCrEtRD4EMPPbS+z2BXaod2e52LBgu/lo4uFI7mlLn6BWBFYiQyWTyVHI6fvbDppi+f2A5fScds+ZN/8eElvy/4igteSWrHfvbZZ7dXXnll3bF8vdQF7jdK/B08G4BF8N1kv1blbYiLAd1ZF2bHGVhtDNPX+ngVY/3GWonN9+j84oN1ETt9D7QuekWs7OKtK7+U2tbEuHgthuOPbNrPpT/eOZ+9yaYjHm3yWvPaYh5mucD2M6xjbtzxViSFBKcSguYERbI057jhHO1dbrdTi4KPUoYInOAyTsk4NH3FXDWn1sQ4e6eztvn4sw8unWoBKSjZMGX1ydjFshumkq7sTC48dBezr7W+8MIL29tvv70+OfRFe1+8f//99xemJHXxeyVIh++beKh09vZJo6STbOZgFu/0ZQu92TbnsgdNX3LDgmO9+OeiMScu/pRbvppTS3p9OsiipRtN/LTTjmKaXXMe3yzmmg+3trnZzrhHxx9uWM1pfVNVObzvOu5MGQyQgxV0gbC7cMRbDrdTvwbEecGz6+S4VgD3pSCaJ5dh+PSTpz/jsymseBrjVeGFTzc8tLCMTxV0vrHfTicJ05kNMLIvDHOS5YMPPtief/75dft/+umn1znW0cyFImFVRwMfu7NP0tktve+W3H5bp9d+eMS4Y0m66N7bZA5NLQb6dPCBL+6mJXavV9H7y0+SVzzx0Km0buZUumHiE6digV6da5Kt2WcNmteqMCqzH542uv6p0jyb8MBl5/Vrh7xbie3TGgw5qq8Y61sYxftPr7Ds0G6zgAQl0AwXYEWQMmApPb5yw0fOLRCvhUZrkehsIehmuMXCwyYlfjIqfDXb41nMIwnIsQlvfTISG7Y5Y5ja7GeDpJS0kpX/77333vbcc8+tNyCPPvroOpL4mFqCuoP5RBIOWW9IvPbzKs7u7PiC7k/5+obdE088sfg91Cli4+Lgt+poh99bFsmpGFfoYatEYjcZ8/wSS2M+26215vJPHPSLqbl44KUrGXzoavEyFx9blHzHo5LDJy/YY6yYi1+7p6/J44+w4Uyd+uSSXVly5Qhcklo4AIKiOAs6cngwdOtlFF5VQBSAKasPw/ysGTONKKhdWPR3BuS0IBtb7ArsAmIeHpzw8eWsfguUvBZ/xRFKlXAKWTrISSQtPWyUnL4V9+KLL64zsyT2MOYVn++MsN/RQ0KxC66dWLy8mTBWxBLmu+++u44u/hddf04BTSLD0SfLd/7q5/cCOdrKXrV42YHbFPjEDv6wk9/6aPjbLOChK/FH479ajMMIJ5klPF7FsZ+OLrTsDId8WNOv9ONX5tzUlc9aWPHfsWObADCTypHDDu087dZrkQWdwRkHjCGz1W9srnk0RTCbNxa0+NhAj7HFVZLXshO/wga2RF/EEz/SO51HU+3E7JGYkjFbtMWEHjb5kEnrIdF/Cup7Ho4SjiR47NJ22s7MkksywfGGxDGOvXbO/ucAG8ibb765+J588sn13e922O56YsJWOmBV8of/Si3b3V0ktUqOPBqb+BsWXadK8TGnr6TPmG2TtgbHH2Ebsp0cPfrkWi84058w0MWpEj95hUy2NHcYHyRWYiPYCQTDzsAAC+RPZ0lqxWK2WAFRXsDQjGv1FeMqWvSSh7ySkZyRYBKaE9MufQvSQsAtqSfGAjznR3q0Cgw7sF03fHPo8bJF8nUOtcO+/vrrawcWJ7FxTJO47JE8jh7O0TYJ896EsJvfYir5+wumNgx3Q29Pnnnmme2pp55av98Ihx3iAFfs+K9kv7a+eXzt1hLY0aVzPVusIXu6G5BhE7n8hY9eNZ7rtAwYP/BV9Kc9fM5GLV/oK29KVPL5Wj9MbXx7/L3uxocd+8aNldAWxgOh1hlSQDjsCuvYkZGMyDhgKlr9xmjV5qbjyUyaxJZoJXdOaS0sXlj0F3DBij4DUh9/OPWzyy7tuAULDU5YWokgWfA5VzuCeI0nmc1JYompfvbZZ4tGF5kWUfzSJ6ldRLDtplp8+n6b++WXX15m+5+86HR0kSA2HXJd2OTo0aoKHfjcEcRKn19k0DqrF4tkyKGJjaKtGsOY+hbT7seUzZ4uSHPw+UmXcTzpMzZXmTaam/zxpLNx7UpsTvst6M6FzoGCYpEY1q0aiKseLaVopyoD9zUjtAI1x3uHOha4wDjk4rLICv34tcp5Tq/J3Q+8ZGvZIaEktjh0e5UQ8MVBa96D4WuvvbZe47nw0Lxh0HqVZ4f28Gd3R3NsgY/uQtC3O3tYFD9fHcVLp2OJOcmMz11BfHynxHrYvfG5WLIfxt53iWONXEhs5Ac5a9hbly42LXn6wtHu12XS0n2KPz7tLPBhspdOFY6Kvuefsvv+KV4Y02YyK7F/8qP/2H7wl8Pfg7OI/VaFRVUYIFDm1Jwzl9GAM3S29U8p7+JIh5bhFtKC210Ut9MWyJhOVQnD+JTTi2l3RmQT37IJtgc5iQWDj4IvQbTm7bLeYPjGnrFvKJIxr0h6NtgMHG3c+eDgheuY4aztIvKO2wc0ko0tLg4J60LwkA6bHR5Q8fiKgnlrIEnzOfuN6+OHr6WLfjs+WxxD8oletk9/0SrwZsGbDnzk6M2WeNFnMSabvjaKzvk2E7j4aqc8uakjntZ/r287+rAy9777rm1/+vzwp7IcQwgJAiHAxgFmCFp0c/i0VcbV184SbrTm0QWBDsksESSUYgekbzqJTiY9jZfA7ge+5mGkU0uf3a3ExkuXYl5S+d9s/X8tkkQCuvgcRdjrzGxXthPbud1tXJRdEMaSEq+kg63vGGOh2dM3IN2hrAE6/329FL+3JWz0yaU5FQZZ8yWABGYjHHbnM102C7z5B+Nuhf/4p55o6PrFU79xeo3ZxlbVevKrO4oLcBb8FXJKvumbpxdNG2115MNRfnnm0xpnN0q6jeWIQAEBWG0cKHo0/ejRalPevCAr00B9OgXdQlqk3sJIPMky+fEaV9M/dTVHH78EeMqhSW7Y2WpHcfSB5xWe3dpxwO5pR5bULjbJQwavoxy6vkQnS6eEsgtLendDxxIJS6d5u7SLBR5568BmnxlISMngaIIPBjzrpdBlF8dHzoYkdj00xieOEoo+2Aq7K8WjMZ5iWdwaa9XiSrcYqujGzYs1e4zFRCzhOXIV73SFlw3wKtNWNHiwta0Z+S7V1ZoEEqNAUa5ozZ+qKT2vTWmKJx8jLirZ4gESL/vYhd4cedgzABdhmpt+zDFMiWFRShK4EuOtt95aCWmXdsRgk+ooIlkkmotO8kpOC+Yh0K4kKeHY1eF3XnamlnwuXl9lldAlIz4JS868C8kRxy8Oi4Xd2IXnQpOw7bxoYuRiY4O1Y4PCD36hwVDFolZ/ljnWJ+tCFCcxLz+M6adXxVMc2cMnrXhIbDzeJOXf1DP166djTzcm1/zEqL8uCQwInNR39TJeRRPgWTmjoqVk34Y35fWrS/CcHxnXAksaiyuZFDZW8bIzmXMgz8j4qoj1LUg7C/8VSeH8688K0yepfbfDTip5LA7d3jawrx3YXc/Oyld3GzzmJKGLAF3iqRLa0cNFAQON33zVL7ndDej0lVgXEx72wpd0dDjyKHDI8UMimXOBsYsffEZTjRU2FQvtvuDDbw5vJTz2sM88P9GtG3/9bqWvD+Dx91J8JjJ1p09bDf+8Npnm8yf62rEFgCFqwSiRjaey2Z9gOR1wCo2bi3a3tiCTY4cFRtNv17kbxnnz05Zs43e7nn4LZ0e0S0oeu6SEtih2IDsgebZpe2jEL4kklNd/zs52Zw+dsCWyHQtdotmt7cpw2CA5bBrw3RH4DN+DoIuD/14vugOwiQx7JJPqApFQ1k1VYLDJhaqff+fFaE/Hr/KpDU2SiiV7XEjFFT4e+sTPcwf7+GljsIMr/My3qY+vlYvsvGiO/Epsv8w7k7qE0p5KbIIZoMWXY3eb+zpGWyy4akElxxZ6ZjHfYuln1+TRDyfc+LJbW1JLIPwWxJlV0tmBnYNLMLujBVQtskT05sPDoQWV1BbTopv31sQuLOnwovlUV1Kjh6NPP5/YJBYqWscVvyzsti554NEpNi46eLAlOR/gwrFzSkK0EqpYoCnFpHgt4vEHHDrULkJ9Ba6kV9hKt4R2AbqrscuFbI4tfKy/hIbubIn+ddr8wKvPm87aa1Fb3BgZm7N7hcbx6TcGXt88zDCmkadozbeoxgJqLIgtTHy16W98t3avm418ldgCnv3oEsqi2G0klkVFk7Bsskh2T7bZrc3pa817UJTU/FDMuUgstt1VEtLHxxYcL3y8Cp3t5C4s778ljbuEd9N0wYLL/uIuqfRdSJKNPfRM//iYbfoKHnL4Zmkcvjmy3tSIDV/421+ndWdy1+nZgRwelW/5PXXgUU7pn3yzz+5sv+covxI7gy0shnYugTDmaIXClAaY3OTRJ8dx80py9RfxxI/0WyRVycbJXmCag/+PlPj56TZtzF52C7wFcLs3ljQe/CQZvyWaHZOtks2C4rWDKr5zbVElHvt8p8TZ2G6O7lgDnz54eGBr2UEnfebR1JJWEuNxtndBupPADItNxQ0Ons7XxmRVerX40S8q8SQvZmyi052Jb45c3vq40CQ6O8WGLF4Xq8IW9t1NJ9vOK+ayJV/oSOZsx3ZVCyyF+naPEhdAIIwkDASt4ERDj4dRzWdgiqcRUxamhRAcPAJYzY6waumYhZxSq4/HuCpx2WlhJGhj82JAv4WQgF6zGUvmEkYSs1vieuKX0GiqxaTPzgXXgx+sHu4kgvjiVdihwmaPai34y57G8cJOlzly+BR9F6mLQpLRI56eE+CxmS4YrYW+AgutMRqZ2c65NXH8Oy/0w9W6yGwEbQJsEL900hNuGBe12VmLV79qTC/8m45vHUUW4fhqiDEE0KoMDmTf4om/wKUoA7SnCmPIatWcFYSCTHcBi3YKKxocJcw5Rqdvtmtw/O44X+jIb/0udm07rAtNAhk7h9uBeiiSvG77LgI7Fj7F7Zof6G0i/DQ/9YmBSrc6/SjO2WicP2TwamFKZnxaic5OvOGxqdgUg/Abh2mcnub2rR3a0ccmATcbitnUBUss2He3cp5eMYNpXjWeZUWdEgEQcIZgsniBGtefIPXJ62tnaZzs3rl4W0CBVGrJqcbZAHPiTH70fTUff3jZA9OcsZ1Va0wH/9llseiX2PHCFCe7sHO1867kUXuv7aGTPDnzsCW111300mceDvx0o+mjdVHQa8wmsvoVfRcInqqxi82cNXWhqeHiS08xgKdfIZve/Vw8tXS5S/WBFZ10weNDWPHX4vk6ZfLpz0o+u7XxrsQ2sJgWRsAFJmbOxZwR0fCUvM1N3viamy3ZHC6Agq0fJiw8GWxhJ6b+P1PgTjth0AFPzS/9bMTDLnPs7BYvXuj43P7RLbDzrzcREtymoXgn3pecOmvjl9zsST9eOkq+Jby7/RYbehWylXzQsk1Sa433fifPr3+2sJM8P+H10Foc6dSnX1Xw7W05pX/y1J84YYUfxuE+eRxJbMbZZWIsGMYFATslEk3JsRQf4c4MR8+h5hrDJK+NZhGUxrXoeBuHe8q2qSe+aMbqLDCi01Mi0OVCzz6tXUhCi5dd2BsOSe2c7fhRXGDq+6/rtD6kCE+cYdCZT+bUSYOhKtnXeNo/+/jgdNG5iKKFoQ2HT2rjU1jwzivsD7dY8Tf/zLV2+RqWua9TJl/9YpVt2vpnOzbwGWz9jOAwMDVBhs6xwKBV8CUTbfJLjvDjnYENn2w66VAmTtjR5/i8/vQnHv6qlXTibeGnP3Zi33vw8Og2bFf0Ws9Zm2/sJ2dH9jBl9/bQCMN51wXhFl7M8NKZ3uzAH4/+LHizbcplcz6xNVmtOmNdH1b9MOjDP/GnDfp4VX6Hnc0TM93JaC/CTQ+5yqn+pMW3EvvKfz6yfdvXVv/2t+3qtW9uX/ntFUnqtjxeD4Fn6AKy0xwdzjhjc41PKWxOECr9FfqCiufy2KnW2LnwGGRy4YSxH69QuLiOvGetRLUIPihwjr5+ON789ub92/a7G9s9V/iwbV9tX22X/bmszduKw195MuGfD7Q+/+Kv2++++Mb2nZ89tn3ve99du9OX129sf7hxabt089L2f1e/tV358cPbt/3vDR4yr/x5++H9h7/X98f7rm3XL9+3/fnLq9tvr9/crn3Z3yLMG3+l69Ih/uP1q/jcuHmwD+fly2z0LHA75ugl2v/8r83q6vbF1Z9u9/7k8HcTi/VtTbd7/set8+b737huc9/uiX3rLl+M73GnOx6FJHm44Rjr79ftNurf92Y+JR8ubvPf/OnPD2uO8Iv//s0v/x7m35R/R+BfMwK//q+f/+r/AeGZhONnpwEWAAAAAElFTkSuQmCC)
He is the Stanford Principal Investigator of the multidisciplinary TRUST NSF Science and Technology Center and Chief Computer Scientist of the SHARPS Center for Healthcare IT Security and Privacy.