{ "cells": [ { "cell_type": "markdown", "id": "77582914-1744-44b4-87c5-848501400b3c", "metadata": {}, "source": [ "# chsh-inequality" ] }, { "cell_type": "code", "execution_count": 1, "id": "499b1bdb-49ef-4292-a5f8-b45961efbe2c", "metadata": {}, "outputs": [], "source": [ "# This code is from:\n", "# https://quantum.cloud.ibm.com/docs/en/tutorials/chsh-inequality\n", "\n", "# Modified for Quantum Rings SDK" ] }, { "cell_type": "code", "execution_count": 2, "id": "09d0d0a6-3726-4ae4-8fcf-0957eb80f8a6", "metadata": {}, "outputs": [], "source": [ "# General\n", "import os\n", "import numpy as np\n", "\n", "# Qiskit imports\n", "from qiskit import QuantumCircuit\n", "from qiskit.circuit import Parameter\n", "from qiskit.quantum_info import SparsePauliOp\n", "\n", "# Qiskit Runtime imports\n", "#from qiskit_ibm_runtime import QiskitRuntimeService\n", "#from qiskit_ibm_runtime import EstimatorV2 as Estimator\n", "\n", "from quantumrings.toolkit.qiskit import QrRuntimeService\n", "from quantumrings.toolkit.qiskit import QrBackendV2\n", "from quantumrings.toolkit.qiskit import QrEstimatorV2 as Estimator\n", "\n", "# Plotting routines\n", "import matplotlib.pyplot as plt\n", "import matplotlib.ticker as tck\n", "\n" ] }, { "cell_type": "code", "execution_count": 3, "id": "ce645ef6-0fcf-43ff-836e-0062ca0d72b3", "metadata": {}, "outputs": [], "source": [ "# To run on hardware, select the backend with the fewest number of jobs in the queue\n", "#service = QiskitRuntimeService(channel=\"ibm_quantum\")\n", "#backend = service.least_busy(operational=True, simulator=False, min_num_qubits=127)\n", "\n", "my_token = os.environ[\"QR_TOKEN\"]\n", "my_account = os.environ[\"QR_ACCOUNT\"]\n", "my_backend = \"scarlet_quantum_rings\"\n", "\n", "qr_services = QrRuntimeService(name = my_account, token = my_token)\n", "qr_backend = qr_services.backend(name = my_backend)" ] }, { "cell_type": "code", "execution_count": 4, "id": "e9be48c2-2c85-4b14-a36d-ded580a5bb92", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAATEAAACuCAYAAABeIjpKAAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjMsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvZiW1igAAAAlwSFlzAAAPYQAAD2EBqD+naQAAENxJREFUeJzt3QtUVXW+B/AvB5C3ykMF5C2g4AtUSLxqS0OLSC+3dLQxs7l6te44umZccmvmNkbzUNe4anLMLnbvjJWT2dUsxW7ebpSiUUJIY/JSFOU5yEuQpzzu+v9dksZROXg45/z3+X7WYh3P3vvs/S+PX/7///7tvW16enp6QESkKJ25G0BEdD8YYkSkNIYYESmNIUZESmOIEZHSGGJEpDSGGBEpjSFGREpjiBGR0hhiRKQ0hhgRKY0hRkRKY4gRkdIYYkSkNIYYESmNIUZESmOIEZHSGGJEpDSGGBEpjSFGREpjiBGR0hhiRKQ0hhgRKY0hRkRKY4gRkdIYYkSkNIYYESmNIUZESmOIEZHSGGJEpDSGGBEpjSFGREpjiBGR0hhiRKQ0hhgRKY0hRkRKY4gRkdLszN0A6qunpwdob4dSHBxgY2Nj7lZo6jvQ2arWd8DOyTzfAYaYJWpvR+ePVkAldu+/BTg6mrsZmiEC7K9jnoJKlhXvgb2z6b8DHE4SkdIYYkSkNIYYESmNIUZESmOIEZHSGGJEpDSGGBEpjXViRBriHTcej3yQctuy682taLxQieL9x5H/Xx+jp6sbWsIQI9KgCx9koCw9B7CxgdOI4Qhd/CBiU57BsLDRyNyYCi1hiBFpUO2Zi7hwIKP3feHuo/injNcQ/uOHkLNlL9prG6EVnBMjspLLmK7knIONToehgaOgJQwxIivhFnQjvNobrkFLOJwk0iA7pyFw8HDrnRMb+/R8eE4Mkb0xMcmvJZrvidXU1CA5ORmhoaFwdHSEv78/1q9fj+bmZqxcuVLeOmTHjh3mbiYNso7rXcj4pgofppfgkxNlKK3SVm/kh6KTl+LJs3/Bk9/9GUmfv4KInzyCkiNfIf2ZrdAaTffEcnNzkZCQgKqqKri4uCAyMhIVFRXYvn07iouLUVdXJ7eLioqCFh2rqca8zC+wJXISfjFmnN5thhx+H4+O9MGHD8yCFlVeacHOffl480Ah/l7b2rtc3PYqcZY/fvbjSMyf4QetKXznf1FyOBM6ezu4jwvAhJ8mwcXHE13tHb3bPPjGzwGdDY6teaV32ZDhrkj64lVkv/y2PMOpAp2We2ALFiyQAbZhwwZUVlYiJydHvt+6dSuOHDmCrKws2RObNGmSuZtLg+B0fg2mLPkQv92Ve1uACeK+k2nHS/Hws0eR/MqpGzei1JDGC1WozDiD8vTT+G7nR/hsxRZ4RY1B3NY1vdtkvvAmRsaMRXDSP/Qum/77Vag+VaBMgGk6xNatW4eysjKsXbsW27Ztg5ubW+86MbycPHkyOjs7ERQUhKFDh5q1rWR85y83Yv6zR1FVc3t46fOH3Wfw0s7T0LIr2YWy2FUE1ohpY+WyjoZr+HLDG3jgd6vgNModgYnT4T1jPDL/Ta06Mk2GWH5+Pvbt2wcvLy9s3rxZ7zZTp06VryLMbnXx4kUsXLhQhp67uzuefvpp1NbWmqTdZDwvvJaFmvq2fm//m12nUVLeBC379tX96O7sQvTGJb3Lyj/PRcnhLzF7xzpM3/IvMtTa69WaL9RkiO3duxfd3d1YtmwZXF1d9W7j5OTUJ8SampowZ84c2YMT+9i1axcyMjLw2GOPyf2pqqWrCzXt7Xp/tKiiuhkH0y8Z9BkxmkzdXwAtayqpwsWPTsJ39iSMfCCid3l2yttwC/aWQ8+yz3KgGk1O7Kenp8tXEUh3IoLqhyEmQqu8vBzHjx9HQECAXObn54cZM2bg0KFDSEpKgopeLjwrf6zFux9fQFeX4XNcuz86h83rY6Blf3vtgBxSit7Y0UUv9RbCXrtUjfr8y1CRJkPs0qUbv4UDAwP1rhdzYSdPnuwTYmlpaZg5c2ZvgAlxcXEICQnB4cOHBxxi06ZNkycU+stJp0NeVByMZVVACJ7w9de7LuGrY0Y5Rnh4OFotpLfa4JwAOE43+HNi/my0XwBsYP7/DvseHTYh1uDPVWWexW6fRXdcf/VcOd72+344aUzhYeG4bjOw/3fe3t7Izs4e0Gc1GWKiBkxobdU/qSvmy8TZSzHvFRwc3Ls8Ly8Pixcv7rP9+PHj5bqBEgEmenj95WxrCxix6iPU1RUPjRjcS01E6YoYtloEnyZggA/dqZB/T+YPsSE2toBiVwdVVFago8f03wFNhphI9fr6ellSIXpStxKlFhs3bpR/FqUVtz4nT3xm+PDhffbn4eGBwsLC+2qPIURPTDW+vr4W0xNrcuzGQC5v1nU3wme0DyyB6IlZQJYaxNfH9756YgOlyRCLj4+XZyhFPdi8efPkUEcQdWHLly+XvTBTFrka2k3uaWtT7rmTRUVFsLGQ506KAteA+e+h08B5sedXz8Lv1v0cluB6S5tJnzv5yROb7nsfReeK+NxJYxF1YJ6enigtLZVDwYkTJyIsLAyxsbFyfmvu3Ll6yytESUVDQ0Of/YnKftEbIzX4jHDG4/FBBn1Gp7PB6kU36qdILZoMMXFGUZRGJCYmyuslS0pKZAilpqbKSn3Ra9AXYhEREXrnvsQysY7UsWV9DEZ69L9X8NJz0Qj0/b4gmtShyRATROiIs42i9kv8fP3111i9erWc9BehptPpMGHChNs+I+rBTpw40Vt+IYjPiessxSVMpI5gPzd8uisBviOd77ntL1dNxr+v1ub1s9bApkdrF43dgwil6dOnY+zYsSgouL24sbGxUQ49RaV/SkoK2tra5NB0xIgRyMzMlMFnCirOidm9/5bFzIndqrq2VRaxpv53AcqrW25b9/hDQVj7ZATmxPrC0ph6TswYlhXv4ZyYKZw5c0bvUFIQ11CKQlkfHx8sXboUq1atkoWuokdnqgAj4xrp6YQX10Sj5JMl+PKdx+A5zEEu9/Z0xIFXH7LIACPDaPLs5EBDTBgzZowMLdIWOzsd4iaPgqODrXxva8tfSlrBECOyIqFL5yJyZQKGDHPB5aNZOPXiX6A6qwuxm9dVElmbgEdi4Bc/BWmJL8j34uaHRX/9DA0Fal4zeRP71ERWYuqvnkJmciq6Ozrlz7XL1RgWOhqqs7qeGJE1GhkzVt748OF9v+5dNizMD3977QOojiFGZAW8osNwbm86sjbtlu+dfTzwRObrqDt7EarjcJLICjh4uMn7ht0UtHAGKo59i47G22vnVMQQI7ICV8+XY1TMjSdeibu4Rq5KRFbKW9ACDieJrMCltK8QkjQTi07tRFtdE06s26GZh+gyxIisQFdbB/7vqd9DizicJCKlMcSISGkMMSJSGkOMiJTGiX1L5OAg78+lFIcbt7gh47BzcpD351KtzebAELNA8glMFniDQTLtd8AcNxhUEYeTRKQ0hhgRKY0hRkRKY4gRkdIYYkSkNIYYESmNIUZESmOIEZHSGGJEpDSGGBEpjSFGREpjiBGR0hhiRKQ0hhgRKY0hRkRKY4gRkdIYYkSkNIYYESmNIUZESmOIEZHSGGJEpDSGGBEpjSFGREpjiBGR0vjwXNK0qpoWfJNXg2/yanGhrAl1V9vl8oamDvz5YBGmRnoiMsQd9vb8fa4qm56enh5zN4LImNraO7H/0xLs3JePzG+r77m9+9Ah+OekcDy3JAJj/IeapI1kPAwx0gzxVd6Tdh4btp3Clfq2Ae1j6SMh2P78dIzwcDJ6+2hwMMRIEyqvtGB1ygmkHS+9732NcHfEzl/NwKL5wUZpGw0uhhgpL/9CA+at/h+UV7cYdb+bno3GpueiYWNjY9T9knExxEhpRSVXMeuZNFTXDWz4eC+/XhONlJ9OGZR9k3EwxEhZ11quI2rxQRSXNg3qcfZsfhDLEkMH9Rg0cDyvTMp6/o9ZBgdY1t6FKP10qXztr59tzpRzbmSZrCLEampqkJycjNDQUDg6OsLf3x/r169Hc3MzVq5cKec8duzYYe5mkgGOZVfi9ffyDf6ct5cz/Ea5yNf+qm/swLO/OWnwscg0NF/smpubi4SEBFRVVcHFxQWRkZGoqKjA9u3bUVxcjLq6OrldVFSUuZtKBnj5P06b9HiHvriM3IJaRI3zNOlxycp7YqIHtmDBAhlgGzZsQGVlJXJycuT7rVu34siRI8jKypI9sUmTJpm7udRPBRcbkH6q0uTHfeN9w3t+NPg0HWLr1q1DWVkZ1q5di23btsHNza13nRheTp48GZ2dnQgKCsLQoazUVsWu/QVmOe6etGI0NXeY5dhkhSGWn5+Pffv2wcvLC5s3b9a7zdSpU+WrCLObboZebGwsHBwcWCNkgT7PMn0vTGhp60TWdzVmOTZZYYjt3bsX3d3dWLZsGVxdXfVu4+Tk1CfEzp8/jwMHDsDb2xsxMTEmay/1/7rI787Xm+344mJysiyaDbH09HT5OmfOnDtuI3pdPwyx2bNny7mzQ4cOIT4+3gQtJUOIAOvsNF9pY05+rdmOTVZ2dvLSpUvyNTAwUO96MRd28uTJPiGm0xk/16dNmyZPJtD9a7MPBdyW610nar/uVTrh7eXU+yrqxe52C5+YJw/1WX7w8Kfwe1f/8WngxMgnOzt7QJ/VbIiJGjChtbVV73oxXybOXorJ/uDgwb3QVwRYeXn5oB7Darh5Ad+fn9FbA9Yfdra6fm97q/b2Tv5dWhg7LSd7fX29LKmIi4u7bZ0YLm7cuFH+WZRWDPbkvWgLGUeb/TDU3qX3dC+iByYCrLOrG1U1+n/B3W1fDg628Bo9ut/tpcH/N6LZEBPzWeIMpagHmzdvHsLDw+VyURe2fPly2QszVZHrQLvJpL9GLOIfD+hdp2/490NiCCl6YCLA/Oe9Z/Dxly95FG++pP9sN5mHZif2RR2Yp6cnSktLMX78eEycOBFhYWGydCIkJARz587tMx9Gli88cBhcne3NdvypkV5mOzZZWYj5+fkhIyMDiYmJ8nrJkpISeHh4IDU1VVbqFxUVye0YYmrR6WwQPc7DbMdniFkezQ4nhYiICKSlpfVZfu3aNRlq4kzkhAkTzNI2GrgFDwYgI+fvJj+u70hnRI3ltZOWRtMhdidnz56V92MX82TOzn1Pye/fv1++5uXl3fZeXJ4kyiXIvH6SFI4XX89Be0eXSY+7ZtE4PhXJAllliJ05c+auQ8nFixfrfb9ixQrs3r3bBC2ku/Fyd8SP5gfjnbTzJjumnZ0NVj1+4+QQWRaGmB682a3lS/nXKfjgsxI0t3aa5HgbV0yC70jD68po8Fll3/heIUaWL9jPDX/4RaxJjhU5Zrh8YAhZJqvsid28rpLUtmbxOKQdv4yPM25cA9sfN4tY+1MYKzg62OKt386GwxDbAbeTBhcfFEJKa265joefO4qTp41/tnKIvQ4H/xiPR2f5G33fZDxWOZwk7XBxtscnbzyM+TOMeymQKKg98vp8BpgC2BMjTejq6saf3s3DL/+Ujda2+yu9iJ/ui/98aSYCfe9wpTlZFIYYacq5S1eR/GqWfLBHd7dhX+0QPze8sHIyVj4ezjv6KoQhRppUWnUNu/YXyjKMgotX7xhonsMdMGuKtyxkFUNScVkTqYUhRlYx+Z9bWIfi0ka0dXTB3k4H96FDED3OEwE+rux1KY4hRkRK49lJIlIaQ4yIlMYQIyKlMcSISGkMMSJSGkOMiJTGECMipTHEiEhpDDEiUhpDjIiUxhAjIqUxxIhIaQwxIlIaQ4yIlMYQIyKlMcSISGkMMSJSGkOMiJTGECMipTHEiEhpDDEiUhpDjIiUxhAjIqUxxIhIaQwxIlIaQ4yIlMYQIyKlMcSISGkMMSJSGkOMiJTGECMiqOz/Ad1XYVhB/dLeAAAAAElFTkSuQmCC", "text/plain": [ "
" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "theta = Parameter(\"$\\\\theta$\")\n", "\n", "chsh_circuit = QuantumCircuit(2)\n", "chsh_circuit.h(0)\n", "chsh_circuit.cx(0, 1)\n", "chsh_circuit.ry(theta, 0)\n", "chsh_circuit.draw(output=\"mpl\", idle_wires=False, style=\"iqp\")" ] }, { "cell_type": "code", "execution_count": 5, "id": "75fb09fc-04e4-4025-9ece-7703eb7b2701", "metadata": {}, "outputs": [], "source": [ "number_of_phases = 21\n", "phases = np.linspace(0, 2 * np.pi, number_of_phases)\n", "# Phases need to be expressed as list of lists in order to work\n", "individual_phases = [[ph] for ph in phases]" ] }, { "cell_type": "code", "execution_count": 6, "id": "24b3744f-9b7c-4276-a92b-1be5ab7b06ba", "metadata": {}, "outputs": [], "source": [ "# = - + + -> - + + \n", "observable1 = SparsePauliOp.from_list([(\"ZZ\", 1), (\"ZX\", -1), (\"XZ\", 1), (\"XX\", 1)])\n", "\n", "# = + - + -> + - + \n", "observable2 = SparsePauliOp.from_list([(\"ZZ\", 1), (\"ZX\", 1), (\"XZ\", -1), (\"XX\", 1)])" ] }, { "cell_type": "code", "execution_count": 7, "id": "e3eeb981-0aaf-4827-a541-ba44dc52f58c", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAVoAAACuCAYAAAB3JcXNAAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjMsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvZiW1igAAAAlwSFlzAAAPYQAAD2EBqD+naQAAFLZJREFUeJzt3Ql4jPe+B/BvFlnsWRAaxJLYart2LUEpp5ZSe/Hgovr0urTHpVevY6nb4rEURzmog1arevC0ll60pYTaUuuxBRENkmqCWLNO7vP7OxNBtknmP/O+4/t5nnkmM/POvK9kfOf//v7LuGVmZmaCiIi0cdf30kREJBi0RESaMWiJiDRj0BIRacagJSLSjEFLRKQZg5aISDMGLRGRZgxaIiLNGLRERJoxaImINGPQEhFpxqAlItKMQUtEpBmDlohIMwYtEZFmDFoiIs0YtEREmjFoiYg0Y9ASEWnGoCUi0oxBS0SkGYOWiEgzBi0RkWYMWiIizRi0RESaMWiJiDRj0BIRacagJSLSjEFLRKQZg5aISDMGLRGRZgxaIiLNGLRERJoxaImINGPQEhFpxqAlItLMU/cOyDVlZmYCKSkwFW9vuLm5OfsoXOo9kP7QPO8BT1/n/f0ZtFQ4KSlI7zcUZuL5zRrAx8fZh+EyJGS/rDEYZjHo0loUK+6cvz9LB0REmjFoiYg0Y9ASEWnGoCUi0oxBS0SkGYOWiEgzBi0RkWYcR0tEDhPUqh66bJr+xH1p9x/iTnQcLm3Yi7Mrv0dmhgWuhkFLRA4XvSkCV3cdBdzc4FuuLGr2DUfz6cNQJvQFHJiwDK6GQUtEDpd46jKiN0Zk3T6/egd6RSxE2Juv4OisdUhJvANXwhotERliOu8fRy/Azd0dpatWgKth0JrIzp070aVLFwQEBKB48eKoX78+Zs6cidTUVGcfGlGRlQp5FLApt+/B1TBoTWLevHno3LkzduzYgVKlSqFWrVo4d+4cPvjgA7Rv3x4PHz509iESFZinrxe8/UvBO6A0ytaughYfj0RA/eqqVSsdY66GNVoTOHz4MCZMmKCWeFu1ahWGDn20atalS5dUC/eXX37BpEmTsGDBAmcfKhVBVEwSLsbeQXq6BRUCfNHsxXJwd3fNZR0bTxygLtnFbDuIQ5M+gytii9YEZsyYodb+HD58eFbIiho1amDlypXq56VLl+LGjRswmz0JN+C15RvMv3Qu123k8Z6HHnecuBKLJRPrt0cjfPg21OqxAV3/YydeH/cjWg7egrDu/8Dc1aeQdNf1SkPnv9iJHf2m44dBHyFyxhdIvnkXJSoGICPl8b81fOl7CF/25yee51W2JPodX4Hqb7SBmZgmaBMSEjBx4kTUrFkTPj4+qFy5MsaNG4f79+9jxIgRqrW3ePFiGGphbDu4e/euqs2KUaNGPfN427ZtERYWpuq0mzdvtss+yTFSUjMw8P3dGDBxN/b+Gv/M45di72LC/MNoNWQLfotzrbrlneh4xEWcwrVdx/DPJd/hp6GzENioBlrNHp21zYFJK1C+WS1U6/lS1n0tPx6JG4fPqeFhZmKKoD1+/Ljq+JkzZw7i4+NRt25dpKWlYdGiRejfvz/Onj2rtmvUqJG2Y2jXrp0K85iYmHy3PXnyJBo3boyLFy8Web/Hjh1TIert7Y2mTZvmuM3LL7+srg8ePFjk/ZHjPoj/fUoEvtlxOd9tz0bfxqujt+Nmknm+zcBWf0SeVxMWJFTLNa2l7ku9fQ+/jF+KFh+NhG8FP1Tt2hJBrevhwPvmG2frboaWbPfu3VXAjh8/HnFxcTh69Ki6PXv2bGzbtg1HjhxRIdigQQMYgdRRT5w4oTqpoqOji/RaUVFR6rpq1arw9My5pC4lhOzbkvHtPhyHr76/VODtz8ckqTKCKzvxyQZY0jPQeEL/rPuu7T6OmC2/oO3isWg5a5QK3pRb5mvdGz5ox44di6tXr2LMmDGYO3eu6nG3klJCw4YNkZ6ejpCQEJQuXRpGGSEwZMgQddwStgVpBefm1q1b6trPzy/XbayPWbc1owcZGUhIScnx4oqWrH90FmaLzzadV+UGV3U3Jh6Xv9uPSm0boHyLOln3R07/HKWqBakyw9WfjsKMDD3qQEoC69evR2BgoBovmpMmTZqo1qMEbnaXL19WNdzdu3erlqC0ij/55BM1BrUoJDwLYtq0abh27Rp27dqlwnbPnj2oUqWKzftLTk5W115eXrluI2UFYeYhXh+eP60uz4Pbd1Lw7e4rNj/vj1vJ+L99sejZIQSu6uTCjap8IK3aHX2mZU1muHflBm6d/Q1mZeigXbduHSwWCwYNGoSSJUvmuI2vr6+6zh600oEk4ebv769eQwJIWr/dunXD/v374e5e+IZ8mza293ZKi3bw4MHYu3evzc+Vjj+R16SElH+1+qy/C1tJ7VdKMbbwdXfHmUatYC8jq1RH70qVc3zsTwf32GUf0mn40OL8BUvS3AORUfY/C/XcYaPGo2TKIRhBsUx3TEVzm54Tf+A0Vlfsk+vjSReu4fPgx6UDewoLDUOaW+H//kFBQYiMjHS9oJXWoJDQzK+FmT1oly9frlqTEmzWVmRwcDBat26teuZ79uxZ6GOSTrm8WpfZJSYmZpUN6tR5fCpki4KUBQpSXsiLhKz8vmxR3MMDsGPfY82SJfFKOb1TL69fv65KFE7nnQGULdxTk5JuISnRtr+VLl5uHoCJZstej7uO1Ezn/P0NHbRXrlzJ6gjKidRmpYX6dNBu3bpV9cRnP1Vv1aoVqlevji1bthQpaCWopR6cH/kACA8PVz/LyIglS5YUuhVm/V3IvzenDjGZuJB928J8UttKWrRmU6lSJUO0aC1u3oiT//ASVDbyL+UGX58XYJQWLZz/6yywShUrFblF65JBK2Nk86o9Sv1WRiVIB1m1atWy7j9z5gz69u37zPb16tVTj+kmrUPriIM+ffpg7dq18JAWYCHIMDFpQUt5QE5bWrZs+cw2+/btU9ctWrQo1D4KczqUmZyM9H6PJ0+YgYzKcPtXKcbZ+v3XLvxjZ/5Du7Ir7++D2F93wqtY4d5L9pb2IBlf1hjskH1t7z21yK8RdSEKxYo75+9v6GaJ9RNEhnM9TYZ5ybRUIcO6ZHhX9lPpsmWfPTeTmu3Nmzeh2/Tp09UY2l69eqkacW7DsgpCPkQ6deqkfl6xYsUzj0t5RAJEwvj1118v0nGT47zT3/ZS0qjetQwTsuRCQduxY0d1LeNls48RlXGz0mKU1qzuiQpWUgbo3bs3SpQoke+2CxcuVGErLe6ihKzV5MmTs9Y5WLNmzRMlA5kVJ0aPHo3y5csXeV/kGOFNgzC0R2iBt69boyzGD62v9ZjoOQ1aGSkgw7FiY2PVab90RIWGhqJ58+aq3tqhQwe13dNDu6RT6Pbt28+8nrRmpVVbGBKcGzZsQLly5fLdVnr/p0yZgmLFisEepFwwa9YsNZto2LBhqkYsJYXatWurlrOUDORxMg/54Fw+9SUM6vposkle6of6YcfSLvAr/WgYH5mPoYNWRgpERESga9euapiT9OBLUC5btkzNCLO2cp8OWunhz6kWK/cVtvffCB8627dvV2WEpKQktUSidH599NFHaoyurE9rRuGB5ZHavR/+XKN2rtvI49+2MNciIgUhZYAvPg7Hxvmv4JUWlZ55vFZIGSx8vyX2f94NwUH5n0mRcbll2mv1Ewe7d++emgkmLQMZN5s9aGQGmazTKp1REtbi0KFDqmW4adMmVTulojFjZ5jnN2sM0xmWk0uxd9Bi0GYk3k5BOT8f/P7zm0/0PRiNIzvD7GHQpbXsDLPV6dOn1am0lBKebs299dZbqFixouockqFecso/cOBAVXJghxEZVY3KpeHj9aizy6uYu6FDlp6ToD116lSOZQMhLV2Z7CBhO2DAAIwcOVJNVpDQLcqsMCLSq+aADujxwxz0ObwEzWcMh6sw9DjawgatdUUrCVYiMocqXZohuOO/YWvXSep2z58/QdSXP+H2OfOucWDl7qpBS0Tm0uR/BuPAxGWwpKary73fbqBMTWPMgntuW7TWdRCIyPzKN6ulFvfuvH5K1n1lQoNxcuEmuALTBi0RuY7AxqG4sG4XjkxdrW4Xr+iP3gc+xc3Ttk1TNirTlg6IyHV4+5dS685ahfRojet7TiD1zgO4AgYtETld0sVrqNDs0aQV+TaFuiO74sj0x9PNzY6lAyJyuitbD6J6z5fVsC756vF9YxfjTnQcXAWDloicLiM5FT8O/hiuiqUDIiLNGLRERJoxaImINGPQEhFpxs4wKhxvb7XsoKl4c+Fse/L09VZLD5rpeJ2FQUuFopbwM/DaruSY94Cz1nc1G5YOiIg0Y9ASEWnGoCUi0oxBS0SkGYOWiEgzBi0RkWYMWiIizRi0RESaMWiJiDRj0BIRacagJSLSjEFLRKQZg5aISDMGLRGRZgxaIiLNGLRERJoxaImINGPQEhFpxqAlItKMQUtEpBmDlohIMwYtEZFmDFoiIs0YtEREmnnq3gER5S45JR0no27h1zMJOBl1EzeTUtT9t+6kYPbfT6BJ3UB18Svt7exDpSJwy8zMzCzKCxCR7Y6dTcCS9Wfx1ffReJCcnu/2XV4Kxjv96+C1NsHw8OCJqNkwaIkc6FLsHYz+cD9+OnS9UM+vHlwKSye3xqutg+1+bKQPg5bIASyWTHz69Rn894LIArVg8zOqdy3MHd8cpUt62eX4SC8GLZFm6ekWjJgagc+3XLTr6zYI88eOv3VGUGBxu74u2R+DlkhzS3bo5D1Yu/WSltevXa0MIlZ3Q6Cfj5bXJ/tgVd0kYmJisHLlSrz99tto0qQJvLy84ObmhmHDhjn70CgP/7v8uLaQFecuJ+GN935ERoZF2z6o6Di8yyQWLFiAhQsXOvswyAbHzyVixvJjNj3nyLoeqhQQn/AAzQZuLtBzIo7+jr9+dQbvDnmxkEdKurFFaxKBgYF47bXXMHXqVGzZsgXvvPOOsw+J8pCWZsGwv+xFerptlTkJ2eAKJWyuu37w10hc/O2OjUdJjsIWrUlMnjz5idsHDx502rFQ/r7bfQUnzt902P4eJmdg7ppT+NtfXnLYPslFW7QJCQmYOHEiatasCR8fH1SuXBnjxo3D/fv3MWLECFWzXLx4MYyC/YzPL5mM4Ghrt15E0t1Uh++XXChojx8/jvr162POnDmIj49H3bp1kZaWhkWLFqF///44e/bRG7tRo0bajqFdu3YqzKVjKj8nT55E48aNcfGifYf0kPFFxSRh95E4h+/3/sN0rN3G95sRuZulJdu9e3cVsOPHj0dcXByOHj2qbs+ePRvbtm3DkSNHVAg2aNAARrBq1SqcOHEC7du3R3R0tLMPhxzo58g45+3bCQFPLhK0Y8eOxdWrVzFmzBjMnTsXpUqVynpMSgkNGzZEeno6QkJCULp0aRjBvHnzMGTIEHXcErYFaQWTa5AFYpy370Sn7ZtM3BkmJYH169erXveZM2fmuI2MK5XWowSulQTcrFmzcPjwYfVYamqq3Wqm8toFMW3aNFy7dg27du1SYbtnzx5UqVLFLsdAxnX0rPPC7vK1u2rlL672ZSyGD9p169bBYrFg0KBBKFmyZI7b+Pr6quvsQSu10Y0bN6JZs2ZqcP/+/fvtdkxt2rSx+TnSoh08eDD27t0Lo2natKkqw5B9xJd5F/Dwy3OcbG6CAn2zrmN/GJD3fnIZa1vnxWbwtDhuxMPzIigoCJGRka4ZtNIaFNIizK+FmT1o27Ztq2q51palPYNWOuUkvAsiMTExq2xQp04dGJGErLS8yU6ksuWR9zjZ/Hh6uBdou5z8fiMBSGGt1kgMH7RXrlxR11WrVs3xcanNWkM0e9C6u+srP2/evFnVg/MjHwDh4eHqZxkZsWTJEhj1k5rsJ949Exm5PZbwIM/nSktWQjY9w4L4hId57yeX16pQPgCeFlN0v5hKUf6fGD5oZYysePgw5zed1G9lVIJ0kFWrVg1GIS1E64iDPn36YO3atfDwyKWZ42SFPR2inLUf8X2uvf/5TauVcoG0ZCVkK3f62uZ9e3i44XLUMfj6GP6/9nPF3SyfIjKc62lSGpgwYYL6WYZ1yfAuo5g+fbqqE/fq1UvVmT09+cZ/XjSpE+C0fder4ceQNSDDB23Hjh3VtYyXjYqKyrpfxs1Ki1Fas7onKlhJGaB3794oUSL/2pksACNhKy1uhuzzRb7jy3n7dl7Ik4mDVsbJBgQEIDY2FvXq1VMdUaGhoWjevDmqV6+ODh06PFOf1UWCc8OGDShXrly+28pIiClTpqBYsWJ22bfUoWWIm/Uyf/58df/XX3/9xP327PSjwunU6gV4ezmnTNStLYcPGpHhgzY4OBgRERHo2rWrWt9AevD9/f2xbNkyNSPM2sp1RNA6k0w3lhEM1ou1Zp2SkvLE/bIdOZcswt331fw7S+3thfLF0aMdg9aITHFOK8Oitm7d+sz99+7dU8ErIwxefNG11+KUdRa4SI15yDfW6lzwOydv9akNT0/Dt52eS6YI2tycPn1ahU9YWBiKF392ELic5oszZ848cVuGZskgfSJdWjWsgD6dQrDhB8dMva5SsQTeHVzPIfui5yxoT506lWfZoG/fvjneHjp0KFavXu2AI6Tn2acftMbPkfFIuJWsfV+fTWvDb8Q1MJcOWp5qkzOVD/DFiqkv4Y33fkJB34rWSQj5TWzIbszAuqoDjozLpYOWyNl6dgjB0skv4e0ZBRsNUtDvCbPq17kaFkxsUcijI0fh140TOcCqb6Pw1of7bP4OsbyM6BWmvrqGHWDGx6AlcuC34soXNhb1u8QCynqr+q+0Zo00G5Jyx6AlcqDUtAzMW/NPLPzyNH5PzHvRmKfJJIg3X6uOmeOaoULAo+UUyRwYtEROCtxNP8bg799G4eDJP3D3fs4TTYp5uqN+qB8G/qkGhvcMRUBZH4cfKxUdg5bIySyWTFy4koSTF26pwM3IsKiFYWpXK4P6of5Om85L9sOgJSLSjN2VRESaMWiJiDRj0BIRacagJSLSjEFLRKQZg5aISDMGLRGRZgxaIiLNGLRERJoxaImINGPQEhFpxqAlItKMQUtEpBmDlohIMwYtEZFmDFoiIs0YtEREmjFoiYg0Y9ASEWnGoCUi0oxBS0SkGYOWiEgzBi0RkWYMWiIizRi0RESaMWiJiDRj0BIRacagJSLSjEFLRKQZg5aISDMGLRER9Pp/IQnx7vpu6AgAAAAASUVORK5CYII=", "text/plain": [ "
" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from qiskit.transpiler.preset_passmanagers import generate_preset_pass_manager\n", "\n", "target = qr_backend.target\n", "pm = generate_preset_pass_manager(target=target, optimization_level=3)\n", "\n", "chsh_isa_circuit = pm.run(chsh_circuit)\n", "chsh_isa_circuit.draw(output=\"mpl\", idle_wires=False, style=\"iqp\")" ] }, { "cell_type": "code", "execution_count": 8, "id": "aaaaba68-5806-46d2-a010-c8742535b1fb", "metadata": {}, "outputs": [], "source": [ "isa_observable1 = observable1.apply_layout(layout=chsh_isa_circuit.layout)\n", "isa_observable2 = observable2.apply_layout(layout=chsh_isa_circuit.layout)" ] }, { "cell_type": "code", "execution_count": 9, "id": "a9fe01c4-3de1-4310-a560-a590b595c690", "metadata": {}, "outputs": [], "source": [ "# To run on a local simulator:\n", "# Use the StatevectorEstimator from qiskit.primitives instead.\n", "\n", "estimator = Estimator(mode=qr_backend)\n", "\n", "pub = (\n", " chsh_isa_circuit, # ISA circuit\n", " [[isa_observable1], [isa_observable2]], # ISA Observables\n", " individual_phases, # Parameter values\n", ")\n", "\n", "job_result = estimator.run(pubs=[pub]).result()" ] }, { "cell_type": "code", "execution_count": 10, "id": "7170c0b0-4112-4254-b357-cc56e0ae6a7f", "metadata": {}, "outputs": [], "source": [ "chsh1_est = job_result[0].data.evs[0]\n", "chsh2_est = job_result[0].data.evs[1]" ] }, { "cell_type": "code", "execution_count": 11, "id": "138401ff-837e-4c81-a40c-f47f3d1b2d01", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAA0wAAAINCAYAAAAN7v/KAAAAOnRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjEwLjMsIGh0dHBzOi8vbWF0cGxvdGxpYi5vcmcvZiW1igAAAAlwSFlzAAAPYQAAD2EBqD+naQAAtKRJREFUeJzs3Qd4FNXaB/D/7qb3TggkJCGNEKp0pXexXK+oV73X3rFXEBVRERGvvZdr18+uqEhvIr23BAiEEEjvve3u95yZJARMYBeSnJ3d/+958nCyGTev2dnZeWfe8x6d2Ww2g4iIiIiIiP5G//eHiIiIiIiISGDCRERERERE1AomTERERERERK1gwkRERERERNQKJkxEREREREStYMJERERERETUCiZMRERERERErWDCRERERERE1AonOBCTyYTMzEx4e3tDp9PJDoeIiIiIiCQxm80oKytDWFgY9PrW7yM5VMIkkqXw8HDZYRARERERkY3IyMhA165dW/25QyVM4s5S4x/Fx8dHdjhERERERCRJaWmpcjOlMUdojUMlTI1leCJZYsJERERERES6M0zVYdMHIiIiIiIirSdM77zzDnr37t10d2jo0KH4448/ZIdFRERERER2TDMJk5iI9cILL2Dr1q3YsmULxowZg0svvRR79+6VHRoREREREdkpnVn009OogIAAzJ8/HzfffLPFE7t8fX1RUlLCOUxERERERA6s1MLcQJNNH4xGI7777jtUVFQopXmtqampUb6a/1GIiIiIiIjsriRP2L17N7y8vODq6oo77rgDP/30ExITE1vdfu7cuUrW2PjFNZiIiIiIiMhuS/Jqa2tx9OhR5bbZ999/jw8//BCrV69uNWlq6Q6TSJpYkkdERERE5NhKLSzJ01TCdKpx48ahe/fueO+99yzannOYiIiIiIjImtxAUyV5pzKZTCfdQSIiIiIiImpLmmn6MGPGDEyePBkREREoKyvDV199hVWrVmHx4sWyQyMiIiIiIjulmYQpNzcX1113HbKyspRbZ2IRW5EsjR8/XnZoRERERERkpzSTMH300UeyQyAiIiIiIgej6TlMRERERERE7YkJExERERERUSuYMBEREREREWl9DhM5AJMRSF8HlOcAXp2AbsMAvYHxEBER0WkZTWZsSitEblk1QrzdMCgqAAa9zuFjobbhkAmTWL9JfFlKp9MpX4JY51d8NX+s8TmtZcnzNj5+rs8r6PV6233e5F+BRY8BpZknnssnDLpJ84DES8453uavUWv/HydJ/hW6xdOhOyUe88QXoEu8pMXXyKLnPYOW/pa2/Lxn2oe19rzt+V7mMaJtntfq97INPK8W3ss8Rlj2vAKPEbb3vIv35uCZ3/Yhq6S66bFQHzfMujgRk3t1bpN4LT1GLNqTjWd+S0Z26cmxPHVRD0xKCm3xebXwXtbb6THC0vedznw2UWh8Nd/9+/fD29vb4v/Oz88P7u7uyriqqgrFxcVwcXFBYGBg0zY5OTlWH+zc3NxgMKh3LIxGI6qrq5UX0sPDo2mbyspKq3cUZ2dnJT5BxCRiFjw9PZu2EY9ZG6+TkxNcXV2VsYhJxHbq84r/B/H/Yg2PI8vgs/ge8axofv2l8buqi99DRcQY1NfXW/3mbnzdhIqKCuVf8VjjG7+2thZ1dXUn/Xduh5fAb+l9rcZTPOF1GJL+8bfXqPnrKZ5TPLe1WnqNxN9c/O0F8Tc4m8WaW3qNxD4i9pXm+5+1xL7aePARcYn4Wtv/rNHSa9Ta/meNll4j8b14/NT9xBotvUat7X/WaOk1csRjRGuvUUv7X0ccI86ktdeIxwgeIwQeI9r2GLEqtQgzfk9r8Wdiz/vvP3tgXEJQhxwjTheLMHdKFEbF+PMY0UxISEjT/3NJSYnyt/Dy8mo6Txd/h/z8fFgrKCioKTaxfmt5ebnyNxd5QGO8Yski8bP4+Hjld/v4+LT6fEyYJCZM6enpOH78uDIWL1JSUpKyo+zYsaNpm759+570prJERkaG8iWIuPv166fscJs3b27apmfPnk07jaXEGlhpaeqBQLzxBg0apIzXrVvXtE1cXJyyk1rMZETgF6PgXJV3UnLSSOycVc4BSJn0LTqHdbUqXrHz7927t+n7gQMHKm+e7du3Nx38w8PDla/m8YR8NRb6iuxW4tGh3iMEC6LnADr9Sa/Rnj17lH1MCA0NRXR0tFXxtvYaif21oKBAeUzsc+KNba2WXqPDhw8jOzv7pP3PWps2bWr6AIqKikLnzp1b3P+s1dJr1Nr+Z42WXiNxID5w4EDTNsOGDbP6eVt6jVrb/6zR0mvkcMcIoNXXqKX9r92PERZo7TXiMYLHCIHHiLY7RojSt39+vAe55a1d1DDDzwWY2bsG3aPb9xhx5liAEC9n/HhjEmqqq3iMaMCEyYYTpqKiotP+UTriVrp4gZYvX65coWjcURqvVjR/rua3QC116u3Llp731PhlPW9A6T4M3f/cGbcrdo9EvbOnlfGe/H1jWK09LjjXV8C38sgZn3td3OMo8E5s079va89x6r51NvtES8/b2uvJ5z235218jrZ4Xkvec/Z+jNDi8576HDxG8Hl5jGif5z1QDLy2+8zbdfU0w1PcYLH2PSfibfZt83PBpsfUH6CyDsiw4Cbhfb2AOD/HPkYYjUbla8yYMcr5uMySPJEb+Pv7nzFhcsg5TOIFPZud5XQ7sLXP17ijiWTp1CtKjQlUW7PF5/UwqldSzsSv6ghgfdVGu/E0laO0HV63lp6jvZ63LfB52/d5O/r38Xm1+V7mMcJxn7ejf5+tPW95vTiJP/PJ9LGKs2240Np/d/YNHMrrdTAYTlwsd8RjhKmhl8Cp59QtnWOfbeJ4pudofMzS83eHTJjIdhh1lu2CqWH/RIWHdSV5Z8Oz8hhiMn8843Y1zn7tHgsRERG1zGQ242i5ZXceLowAOnu2b5e6rAozFh4983be6tQw0hgmTCSFzlSHyKyF6H7sh9NuJw6F1S6BSA2/omnOULsym9AlfxXcagtbvX4kYgou2opSzyjUO1lXF05ERETnJrXEjG8PmnC0/Mzb+rsCF0XpoT/HuxSWJHDrckwoPkM/hZ8Pm3FVrBlRPmwzriVcuJY6ltmMkMLNuGDnQ4jP+ApO5hpUuIYqScip14kav0+JvL5jkiVBp0dK5A0n/f7m8YgvcYiLyv4dw3fch665y5Uki4iIiNpXYbUZH+4z4aXtarLkZgCGdDr9f3NlTPsnS4L4HVfFnP5cxUkHHCkD5m0z4ZNkkVw5TBsBzeMdJuowXpVHkXDkUwSV7lG+r3b2x4GIq5EZNBydijYj4cgncK8tbNpe3FkSyVJOwOAOjVP8vh1xD7Yaj1HngoT0z+BVnYmkw+8jInsJkiOvR5GP2gSCiIiI2k6t0YzFR81YkmFGnUm9cHl+Zx0uidLBx0WHPkFmfJN68t0dcWdJJEv9gjvuTo74Xbf31LcaS7QP8HOaGeuzzdiQY8b2PDMmddNhXFcdnA2842TLHLJL3pk6YXRULEuXLj2ph729cq4rRcyx7xCRsxQ6mGHUOeNI54twuMs/YDScWNtC3KkJKE2Ga12xMkeo0KdHx91Zaslp4tGZ6hGRsxgxx76Hs1FdRyIrYAgORFyLKrcQeTETERHZCXGKuiXXjB8Pm1HUkIDE+gJXxOgR4a37W0ncwWKgtNasJFGxfupdHxnOFMuRUjO+TTXhcEPfq0A34PLuevQLOtGJz57VNawxNX78eJs4H7ckN2DCJDEWe0+Y1KRiqZIsORvVXpvZAYOxP+LfdpNUiGQwNuNbhOcua0oG08IuRlrYpScng0RERGSx9Iak4lBDUhHgqiYV/YPtI6kQp9+bRTJ4yIzi2hPJ4FWxenT10v7/n70lTCzJo3YRVLxDLVurUhfmLfWIQEq3G1Do2xP2pM7ZB/uib8HRTuPRI/1TBJbuRczxH9E1bxX2h1+DrKDz5d4lIyIi0pCSGjN+aShbE1f0XfTApAgdxoXr4GJHZWsi6RvUSS0nXNJQbniwBJizxYQLGsoNvV3s5/9X65gwUZvyqMpEQvrnCCnepnxf6+SNA+H/wrGQMXadOJR7dsPmHk+iU9EmxKd/AY+aXPQ59Ca65SxGcuQNKPGKkR0iERGRzaozmbHimBkL082oMaqPDe6kwz+idfB3td/EwdWgw8VROgzrrN5t2ppnxp9ZainilEgdRnXRwUlvv///WsGEidqEU30luh//Ad2y/4DebIRJZ8DRTpOQ2vVy1Dt5wiHodErDiDy/fojM+h3Rx3+CX/lBDN0zE8eDRigNLmpcAmRHSUREZFOlaTvzgR8OmZBXrT4W6d3QJMHXcRKFQDcdbu2pw6hitRQxoxz4/pAZf2aaMTVGj16BjvO3sEVMmOjcmE3omrsCsRnfwLVeLTTO9euH/d2uQ4V7GByRSe+Cw10uw/HgkYg7+n/okr8aXfLXoFPhRuXxI52nKNsQERE5suPlZnyXakJKsfq9rwtwWbRaqiarYYNssX46zDhPr5QkijWbcqqAt3ab0DMAmNpd3+4L8FLLmDDRWfMv3YceRz6BT2W68n25WxhSul2HfP9+skOzCeJu0u6Yu5AeOgE9jnwK//IDiMv4P2Xtpv0R/0FOwCDlrhQREZEjKa8149cjZqzJVOcpifWJxofrMDFCBzfxjYMTyaJom94/WC1RFKWKewuB5CITRoXplFI9T2f+nToSEyaymnt1LuKPfoHQwo3K93UGD6R2nYqjnSbCrOcudapSrxhs7PkMOhf8hfijX8KjJg/9Dr6MQu9EZf2mMs9I2SESERG1O6PJjNWZZvx2xIzKevUx0UpbdL8LcmcCcCp3Jx0u767DBZ3NSsnirgJgxXEzNuaYcWmUmlQZOL+pQ/DslixmMFYjOvNnRGb+BoO5DmbokBEyDgfDr1S6xdFp6HTICroAuf4DEJW5QPkKKNuHYbunIyNkLA6GX8W/IRER2a29hWr5Xba6dCG6eKrzlOL9ecJ/Jp08dLirlwH7Gv6GWZXAVwfV5FOsSZXAv2G7Y8JEZ2Y2ISx/LeKOfgW3uiLloQKfnkjudr3SHY4sJ9ZmSg2/EsdCRiM+/Ut0LlyPiNxl6FywDoe6Xo70TpN4l46IiOxGTqUZ36easLtQ/d7LGU13Rxx1ntLZSgzQ4YkBeqWUUZQ0Hq8AXt1pQt+Gu3TBvEvXbnhmRqflW3YQPdI/gV95qvJ9pWsI9nf7N3L8Of/mXFS7BmNn3P04WjoRCUc+gW/lEaUde3jOMiUR5TwwIiLSssq6hvk3x80wmcW8HGB0Fx2mdNPBg/NvzpoowRvdVYeBndTSxjXHzdiRD+wpMGFsuA6TOQ+sXTBhcnRmEwJKk+FaV4waZz8U+vRQ1ktyrS1U7ih1yf9T2axe78oOb+2gyKcH1veaiy55q5SGEJ7VWRiw/wXk+fZFSuR/UOHe9bSvExERkSwmsxkHi4HSWjN8XHSI9VMf/yvLjAVpZpTVqd8niQ5vMXqEevBEvq14Oevwr1gdhnc247tDJqQUAYuPqgv+/iNKhyGh6h28ll4j3tmzHhMmBybaXIu7G+61hSfufLgEoNC7B0KKtsDJVKM8dix4JA6GizWE/CVGa8d0ehwPGYOcgCHofvxHdMteiOCSHQjctRtHO01AiWeUkkw1f52qXAKQEnmDsu4TERFRR9ueZ8Y3qSYUq6cK4sqeUm7nqgcKGh7r5A5ljk0S1xBqN128dLivt15pCCFKH8VaVp/tV+c39Q3SKf82f438XIGrYvToF8zXxBo6s1gxzEGUlpbC19cXJSUl8PHxkR7L0qVL4eLiAmdnZynJUt8DLyvj5m8Zc7Pvi7zilC5uossbdRyPqiwkHP0cIUVble8b36Cnvk7CjrgHmTQREVGHJ0vv7TW1+nMXPXBptE5pgc0ubh2nzmTGymNqKWS18fTb3t5TXtJUV1eH2tpajB8/3ibOxy3JDVjT44jMJuXOknDqW0XXcDJe6+SFjYlPM1mSoNK9M7bFP4rN8TNggkF5TVp6nYSEI58qrycREVFHECVe4s7S6Xg4qfOVmCx1LGe9DhMi9Hh6kE5JWk/n21ST8lqSZZgwOSAxF0aUd7V2GBOPu9SXI6AspYMjo+bMemfo0folIvE6udcWKK8nERFRRxDzYU6UeLWsuFbdjuTIqdSh9gzXUotq+BpZgwmTAxKNA9pyO2offJ2IiMjWiOYBbbkdtT2+Rm2PCZMDEl3W2nI7ah98nYiIyNaITmttuR21Pb5GbY8JkwMSXddMutYbJIrrDVUugWrrapJG/P1FN7zWrv+Ix6ud/fk6ERFRh8msOPO8WX9XNLUYp44n/vaiG96Z5pnxNbIcEyYHozPVo2/qa9Cb65UT7lNPxhu/T4m8nuv8yKbTK63D0crrJK4LicTXyVgtJTwiInIsW3PN+FZdx/60rozRc60ficTfXrQOP52qerHYbYeFpHk8I3YkZhOSDr+L4OIdMOpdcCD8X8q6S81VuwSyVbUNEa+DeD1OfZ1EGV6dwQMetXnov/9F6E210mIkIiL7l1JkxsfJJuWC3YgwHW5L1P3tLoa4sySzXTWdIF4D8Vq09BrF+aoXXj/YZ0JqMecxWYIL1zoKsxkJ6V+gS/6fMEGPHbEPIM+/P9LCLlW6rInGAeIkXCnv4p0lm0uacvwH/u118q48ikH7nkZAWTL6HHwdO+IegFlnkB0uERHZmfQyM97ZY0K9GegfDPwrVqfcxegbbFY6rYnmAWI+jCjx4p0l20qa+gTp//YaiW7i7+4xYXch8PYeEx7qq1cWwKXW8czYQURlLkBk9u/KeE/3O5RkSaHTo9C3J7KCzlf+ZbJko1p4nco8I7E97hEYdc7oVLQZiWkfqkdBIiKiNpJTacabu0yoMQLxfsCNPU6U24l/4/11GNhJr/zLZMn2tPQaifWxbu2pR7QPUFkPvL7LhPwqnj+cDs+OHUCX3JWIz/hKGadE/BuZwSNlh0RtRCRPO2PvhRk6hOeuQGzGN7JDIiIiO1FcY1ZOpsvqgAgv4I4kvbI4Kmmfi0GHab30CPMASmqBN8TrzDbjrWLCZOeCC7cg6fB7yvhw50twJOxi2SFRG8sNGIS9Ubcq4+6ZP6Fb1kLZIRERkcZV1pmVk+iCaiDYHbi7tx7uTkyW7Imnsw739NEjwBXIqQLe3G1Ctai7pL9hwmTH/EuT0ffgq9DBjGPBI3Eg4hrZIVE7OdZpLA6EX6WMe6R/is75a2WHREREGlVrNCtzW45XiLV6gPt667lmj53yd9Xh3j56eDmLuWrAu3tNqDMxaToVEyY75VWRrnRPM5jrkOvXH3ujbwdYW2zXDoddhiOhk5Vxr0NvI6h4h+yQiIhIY4wmMz4U3dNKAHcDcG9vPYLcef5gz0I9dLi7lx6uetENEfg02QwT50SfhAmTHXKvzsWAlOfhbKxEkXc8dsTez+5pjkCnQ0q365AZeD70ZiP6HngZvmUHZUdFREQaYTab8eUBM3YVAM564K5eenRl9zSHEOmjw+1Jehh0wJY8M745aFb2B1IxYbIzLnUlGJAyB251xShzD8fW+EdhMpxhuWeyHzo9dne/C3m+feBkqsF5++fBs+qY7KiIiEgDfk4zY122aCME3JKoR6wfkyVHkhigw409dMrrvzrTjIXpTJgaMWGyI4b6SpyXMhee1dmocgnGlh6Po97JS3ZY1MHMeidlsdtizxi41JdhQPLzcKvJlx0WERHZsGUZJiw+qp4g/zterN/DZMkRDQjR48oY9bX/9YgZa46bZIdkE5gw2QmdqQ79D/wXvhVpqHXyxuYej6PGJUB2WCSJ0eCGrQmPodwtDO61BWqJZl2Z7LCIiMgGbcw24ftDarL0jygdzu/M00NHNrqrHhd2U5Omrw+asTWXd5r4jrAHZhP6pL6BwNI9qNe7YUvCDFS6h8mOiiSrc/bBlh4zUe0SAK+q40p5nsFYLTssIiKyIXsKzPh0v3pCPLarDhMjeGeJgIsjdRjeWfRZBj5ONiGlyLGTJiZMWmc2IzHtfwgt3AiTzoDt8Q+h1Ku77KjIRlS7BmFzwkzUGjzhV34QfQ++Ap2pXnZYRERkAw6XmPHeXhNEF+nBnXS4vLsOOnbUJaWPlA5Xx+nQLwgQSzO9u8eEo2WOmzQxYdK4mGPfIyJ3KcQUzV0x96DAt7fskMjGVHh0xbaE6TDqXRBcvANJh99V7koSEZHjyqwwKwuV1pmAngHAdfE66JksUTNif7iphx7xfkC1EcpCxjmVjpk0MWHSsPDsxYg5/r0y3hd5I7IDh8oOiWxUsXcctsc+CBP06JL/JxLSv1DuThIRkeMprDYrJ7+V9UCUD3BbTz0MeiZL9HfOBh3uSNIj3AsoqwNe32VCSY3jnT8wYdKo0IL1SDzysTJO7TIVGaETZYdENi7fvx/2dL9TGUdm/46ozAWyQyIiog5WXmtWTnqLasSCpcA0sWCpWHyHqBXuTjrc01uPYDegoFpNmirrHCtpYsKkQYElu9A79Q2IqXhHQ8YjtetU2SGRRmQGj0BKt/8o4/iMr9Ald6XskIiIqINU15vx1m4TsisBf1fg3t56eDkzWaIz83HR4d4+evi4AMcrgLf3mFBrdJykiQmTxviUH0K//f+F3mxEdsBg7Iu6SczMkx0WaciRzhfhcNilyjjp8HsILtwiOyQiImpn9SYz3t9rQloZ4OmkJksBbjx/IMsFu+uU/cbNAKSWAB/tM8EoOoY4ACZMGuJRlYnzUl6Ak6kaBT5J2BlzD6DjS0jWOxB+NY4Fj1LuUvY9+Cr8S5Nlh0RERO3EZDbj0xQz9hUBLnrg7t56dPZkskTW6+qlU8o4nXTAzgLgywNmmB1gTjTPtjXCtbYQA5Ofh2t9KUo8o7At7iGY9c6ywyKt0umwN/o25PgPgMFch/77X4RXRbrsqIiIqI2Jk9nvUs3YnGuG6Otwe089onyYLNHZi/XT4ZZEPcRetC7bjF/SmDCRDXCqL8eA5OfhXpuHCrdQbE2YAaOTh+ywSOPMOgN2xt6HQu8EOBsrMSDlebhX58oOi4iI2tCio2asPK6e0F6foEPPQCZLdO76ButwbZyuaR9bnmHfy5UwYbJxelMt+u+fD++qDFQ7+2GLWITU2Vd2WGQnTHoXbIt/BGUeEXCrK8aAlDlwqSuRHRYREbWBtZmmpqv/V8ToMLgTT/uo7VwQpsc/otSk6btDZmzMsd+kie8cG6YzG5X5JQFlKagzeGBLwuOocguRHRbZmXonL2xJmIFK12B4VmfjvJS5MNRXyg6LiIjOwfY8szK/RJgUocPYrjzlo7Y3MUKHMV3UpEnMk9tTYJ/leXz32CqzGT0Pv4+Qoq0w6pyxLf5RlHt2kx0V2akalwAlIa9x8oFvRRr6H/gvdKY62WEREdFZOFBsVjqYiVPX80N1uLThLgBRW9PpdJgao8PAEB1EwzzRifFwif0lTUyYbFRcxtfomrcKZuiwI/Z+FPn0kB0S2blK9zBlfly93g2BpXvQJ/UNwGy/t9eJiOxRRpkZb+82od4M9AkCronTKSe1RO1Fr9Mp8+MS/YFaE5S1vrIq7CtpYsJkgyKzfkN05i/KeE/07cgLGCA7JHIQpV7R2Bb/MEw6J4QWbkRi2v+Uu51ERGT78qrMeGOXCdVGINYXuLmHHgbRGo+onTnpdbg9SY8ob6CiHnh9lwmF1fZz/sCEycaE5a1BQvrnynh/+NU4HjJadkjkYAp9e2FnzN3K3c2I3KWIOfa97JCIiOgMSmvNeH2nCaV1QBdP4M4kPVwMTJao47gadJjWW49QD6CoRk2ayuvsI2liwmRDgoq2I+nQO8r4SOgUpIVdKjskclA5gUOxL/ImZRxz/HuEZy+WHRIREbWiql69s5RXDQS5Aff21sPDmckSdTwvZ52y//m7AtmVwFu7TKgxaj9pYsJkI/zKDqDfwZehhwnHg4Yjpdu/lcVFiWTJCJ2A1C5TlXHikY8RWrBedkhERHSKOqMZ7+wxIaMc8HZWkyVfV54/kDwBbjrc01sPTycgrQx4b48J9aIjhIYxYZLAWF+Pg1uWoj5jE6qy9sGj/Aj6p7wAg6kWeX59sSf6DkDHl4bkS+06FUc7jYcOZvROfQOBJbuURhABJXvROf8v5V82hiAi6hgmsxn7i8zYnGNS/q03mfC/ZBMOFANuBignqSEeTJZIvjBPHab10sNFD+wrUluOi/3XZDIq577iHFicC4tzYi3Qmc3amNE9d+5c/Pjjj0hJSYG7uzuGDRuGefPmIT4+3uLnKC0tha+vL0pKSuDj4wMZti/+FGHrZ6MTCpoeM5p1MOjMKPaKxeYeT8BocJMSG1GLzCb0OfgaOhduUFrc1xvc4Vpf2vTjKpcApETegJyAwVLDJCKy93WVvkk1objmxGPiZFR0JXPSqclSvD+TJbItewrMeHuPSWk5fqvPJtxc8xlCdYVNP89BIDKHzkK/iddLic/S3EAztzFWr16NadOmYcOGDVi6dCnq6uowYcIEVFRUQCtEstRn3b0INp9IlgSRLIm09U/3cUyWyPbo9NgVczdK3cNhMNfBpVmyJLjVFqLvgZfRqXCjtBCJiOw9WXpv78nJkiCSJWF0Vx2TJbJJSYE6XB+vw0T9JsyoeRUhOJEsCeKcWJwbi3NkW+YEjVi0aNFJ33/yyScICQnB1q1bMWLECKuey2QyKV+nEusUNF+roKVtznZbk9Go3FkSWurwKW7zDcz9FtujR0DXrBzv1N9z0n9jFomW2aJtT42R27bvtoJer7ebbc1wgkt9ubKfnvoXEN+LxxOOfIq8wEEwQ3/Sfnna5z1lH+a2bfu+5zHCdre1u2OEDb6P7GVbUcb0baoRp7Ml14zLY3TKejg8RtjHtlp435ss3HZwqBl90j5Ttznlf198L+4+dV4/G3Wjr4bByemkv9Op++ipznXb052/azJhOpW4dSYEBAS0uk1NTY3y1fy2m5Cbm4uqqqq/be/q6nrS84ntWvvDu7i4IDAwsOn7vLy8Vv/ozs7OyNm/ET1FGV4r7xOxw4SiAJ51eSjRnYihZ8+eSglia/9/u3fvbvq+R48e8PT0bHFbcUdu586dTd+LUkZvb+8WtzUajdi+fXvT9zExMfDz82v9QL1lS9M4Ojr6tK/Jtm3bmv5OkZGRCAoKanXbHTt2oL6htjUiIkJJkFuza9cu1NbWKuOuXbsiNDS01W337NmD6upqZRwWFqZ8tWbfvn2orKxUxp06dUJ4eHir2+7fvx9lZWXKODg4GN26dWt124MHDzbtw2I/ioqKanXbQ4cOoaioSBn7+/uje/furW6blpaGggL1Dqa4xRwbG9vqtunp6cp+K4h94XTlrcU7foNbnRpDS8Ru7V5bgPOCanAE4cjMzFQed3NzQ1JSUqv/XXZ2No4dO9b0nurVq1er24r349GjR5Wxk5PTabfNz8/HkSNHmg7gffr0aXXbwsJCHD58uOn7AQNaX/esuLgYqampTd/369cPBoOhxW3FviD2iUYiBnEsaIm4U56cnNz0vfh/E8ejlohj1969e5u+5zGCxwhbOEZkZGQgJydHGXt4eCAxMbHVbcXxgccIy48R246VoajmIE5HtHA2BkShT1dvHiOa4THCNo4RR3auQudmZXitnQOvX/EDIvuMgpeXV9O+JV4/8X5tjdhfG0vpxH7XGE9LxLFJ/D8JYh8Sx4zGv7ddJkzif/L+++/H+eeff9oDrZj3NHu2eldHtqqi4xZtV1+Wh1o3r6bvT5cpi581vrnPtK3QfNszZdTt+byN21iybeOBTrwJTkccyBvjaMttxe9v7+dt/H/s6G1FjI3bithPx1DV+gGoOX1lHoyuYU3P29qJQksxnGkl+ubbnmnfET9v3PZ0V8dO3fZMTn3PtdfzttX7nseIE3iMaN9jRPNtRWJj6bY8Rpx52/yK0//tT92Ox4iTt+UxQv4xoq4k+7TPY+12Mmim6UNzd955J/744w+sXbtWuQpgzR0mkdmLLLuliV3tWZK3b91C9Fx6zRn/37YO/wixAyc0fX+ml6d5DFrYtvn23FY72xoy1sPr+6vO+HzlU7+BMXyo9HjPdltLtue27btt8+25Lbe1tW0t2b6tt92cXoxbvtpzxhg/vCYJA7v52cx7mccIbtsodctSnPfnzTiTPeO+QOKwKR1akidyA3HX7UxNHzR3h+nuu+/Gb7/9hjVr1pw2WRJESUtLZS3iatKZrig1bmepM22bMHgicpYGKpPbWprDJOo3c3WB6DvyH0r9JpFN8R4P+IQBpVkNM5ZOpVN+7pU4HtCf/ooxERFZbnSSDzr7piKrRC0BO5U4pQj1dcPopAgYWjrBIJKs78h/oPDPB+FvLmlxidHGc+AeQyb/7Xz6TPO+znVbS8/1NdMlT2SBIln66aefsGLFitPWatoikQSJtonCqWt3NX6fNXQWkyWyTSIJmjSv4ZuWDkZmYNILTJaIiNqYSIIeGB/X4s8aj8azLk5kskQ2y2Cuh7ubm5IsmTV6DqyZhEm0FP/iiy/w1VdfKRPBxERQ8dVS8wZbJXrM7xz2OvJ0J5pFCNkIxL2mBxE44AppsRGdUeIlwJWfAT6dW/65V+uTaYmI6Oyt2p+r/Ot0SlIk7iy98+/+mJTUynGZyBasmgv36hzUOvsgX+d/0o/EnSVxbixrHSa7m8PU2i22jz/+GDfccINmFq4VxKrGKRsXK40g3PzC8OxuX2xML8WQ6AB8dcsQ6HmViGyZyQikrwPKcwCvTsCOr4CdXwGBMcAdawHnlrsxERGR9X7flYVpX21TkqUf7xqGihojcsuqEeLthkFRAbyzRLbt2Fbgo3GA2QT86ysYYyY2nQO7+3dRpqzIvLNkaW5gu/e+TqGRvM4iYsfoef6Upu9f7FGBSa/+iQ2HC/HlpqP4z5DW20gSSSfK7qKGn/g+tBdweCVQkAqsnANMeE5mdEREdqOgvAZP/aI2fLhrVHf07tp6a24im1NfA/xyl5os9boCSJgCUbjf/BxYKzRTkmfPugV64tFJau/6FxYmI6NQ7ddPpAnufsDFr6nj9W8BGZtlR0REZBdmLdiLgopaJIR64+4xra+HQ2STVs8D8lIAz2Bg8ovQMiZMNuL6oZEYFBmAilojpv+4y67uqJEDiJsI9LlavYokribVtdzNiYiILLNoTxZ+25WllNzNn9oHLk48ZSMNOb4NWPuqOp7yMuDR+mLEWsB3n40Q85bmTe0NN2c9/kotwNebMmSHRGSdic+rc5ryDygTPImI6OwUVdTiiZ/VUrw7RkajV1df2SERWVmKNw0wG4Ge/1SbRmkcEyYbEhXkiYcnqKV5zy9MxvFi7XQAJFKuHl3UcDVp3evqRE8iIrLa07/uRX55LWJDvHDvWJbikcaseQnI3Qd4BAEXzoc9YMJkY248PwrndfNHeU09pv/A0jzSmIQLgV5XnijNE1eZiIjIYkv2ZuOXHZnKIvcvXdEHrk5c3440JHMH8Od/1fGUlwDPINgDJkw2RtQqvzi1N1yd9PjzYD6+3cLSPNKYyfMAzxB1oqeY8ElERBYprqzFzIZSvNtGdEefcHbFIw2prz1Ripd4KdDzMtgLJkw2qHuwFx6aoK7q/dxvycgqYWkeaa0072V1LCZ8Zm6XHRERkSY88+s+5JXVoHuwJ+4fx1I80pi1LwM5ewD3AODChrtMdoIJk426+YJo9IvwQ1lNPWb8uJuleaQtPS4Gki5XrzL9LErzamVHRERk05Yn5+DH7ceVUrz5V/SBmzNL8UhDsncDaxrmK4l5S17BsCdMmGyU2ka0t9JGdNX+PHy/9ZjskIisM3m+OuFTTPxsPIgSEdHflFTW4fGfdivjW4ZHo3+Ev+yQiCxnrAN+vhMw1QMJF6kXTO0MEyYbFhPijQfGqaV5z/y2D9klXNuGNMQzEJjScEteTADN2ik7IiIim/Ts7/uQU1qD6CBPPDhe/dwn0oy1r6p3mNz91TWXdDrYGyZMNu7W4VHo09UXZdX1ytUnluaRpvT8B5D4j4bSvGkszSMiOsXK/blKFYk4x5x/hViPkaV4pCE5e080eJr8IuDdCfaICZONczLolVpmF4MeK1Jy8dP247JDIrLOhS8BHoFAzm51QigRESlKq+sw4we1FO8mZVmRANkhEVnOWK/OUzbVAfFiWZErYK+YMGlAXCdv3NfQLWf2r/uQW8rSPNIQMfGzceE6MZdJ3LYnIiLM+S0Z2aXViAz0aFq4nkgz1r0GZO0A3HyBi16xy1K8RkyYNOL2EdHo1cUXJVViYugeluaRtvT8p9o5z9RwNUpMECUicmBrDuThmy0Zyjnmi1P7wN2FpXikIbnJwKoX1PGkeYB3KOwZEyZNleb1hrNBh2XJOViwM1N2SESWE2cEYiKomBCavUudIEpE5KDKqusw/Yddyvj6oZEYFMVSPNJgKZ6xFoidCPT5F+wdEyYNSQj1wT1j1NK8WQv2KovbEWmGV4jaalwQE0TFRFEiIgf0/MIUZJZUIyLAA49OYikeacz6N4HMbYCrL3Dxq3ZditeICZPG3DmqOxI7+6C4sg5P/szSPNKYXlOB+CnqBFHl6lS97IiIiDrU2oP5+HrTUWX84tTe8HBxkh0SkeXyDgArn1fHk54HfMLgCJgwaYyzQY+XrugDJ70Oi/Zm4/fdWbJDIrKcuAp10cuAm586UVRMGCUichDlNfV4rKEU77qh3TAkOlB2SESWMxmBX8TFzhogZhzQ91o4CiZMGpQY5oNpo2OU8VO/7EV+OUvzSEPExNDJDWs2iAmjYuIoEZEDeOGPZBwvrkJXf3c8NilBdjhE1tnwNnBsM+DqA1z8mkOU4jViwqRRImFKCPVGYUUtZv3CuSCkMb2vAuImqRNGf5nG0jwisnvrDuXjiw0NpXiX94anK0vxSEPyU4EVz6njCc8Bvl3hSJgwaZSLk1qaZ9DrlLK8hSzNI82V5r2iThg9vlWdQEpEZKcqmpXiXTs4AsNigmSHRGRlKd40oL4aiB4N9L8OjoYJk4YldfHFXaO6K2PRAELcbSLSDDFRdNJcdSwmkIqJpEREdujFRSnIKKxCFz93zLiwh+xwiKyz8T0gYwPg4g1c8oZDleI1YsKkcXePiUF8J28UiNK8BSzNI43pew0QM16dQComkoqrWEREdmTD4QJ8uj5dGc+7vDe8WIpHWlJwCFj+jDqe8AzgFw5HxIRJ41ydDMqCtqI079edmVi0J1t2SESWE1epxMRRMYFUTCQVE0qJiOxEZe2JUryrB4XjgliW4pGGmEzAL3cD9VVA1AjgvBvhqJgw2YHeXf1w+4hoZfzEz3tQxNI80hLfLsDEOepYTCgVE0uJiOzA/MX7kV5QiTBfNzzOUjzSms0fAEfXAc6ewCVvOmQpXiMmTHbivnGxiA3xUlqMz/6VpXmkMf3+A3Qfo04oFRNLWZpHRBq3+UghPll3RBnPvbw3vN2cZYdEZLnCw8Cyp9Xx+NmAfzc4MiZMdlWa1wd6HfDzjkws3ZcjOyQiK0vzXlcnlIqJpWKCKRGRRlXVGvHo97tgNgNXDuiKkXHBskMisq4Ub8G9QF0lEDkcGHAzHB0TJjvSN9wPtzaU5j3+024UV7I0jzRETCSd8Kw6FhNMxURTIiIN+u+S/UjLr0CojxtmTkmUHQ6RdbZ8BBz5E3D2ULvi6Zku8C9gZx4YF4fuwZ7IK6vBM7/tkx0OkXXOuwGIHqVOMBUTTcVVLiIiDdmaXoiP/kpTxnP/2Qu+7izFIw0pOgIsnaWOxz0NBETJjsgmMGGyM27OBrw4tY9S4fTjtuNYkcLSPNJgaZ6YYCommooJp0REGlFdZ8QjDaV4l/fvitEJIbJDIrKc2HEX3APUVQARw4CBt8qOyGYwYbJD53Xzxy0XqFcEZvy4GyVVdbJDIrKcmFgq1noQxIRTMfGUiEgDXll6AIfzKhDi7YqnLmIpHmnM1o+BtDWAkztw6ZssxWuGfwk79dCEeEQHeSKntAbPsTSPtOa8m9SJpmLC6S/3sDSPiGze9qNF+OBP9QLP85f1gq8HS/FIQ4qPAkueVMdjnwICu8uOyKYwYbLr0rzeSoXTd1uPYdX+XNkhEVlOXNUSE03FhNP0teoEVCIiGy/FM5mBy/p1wbjETrJDIrKyFO9eoLYcCB8CDL5ddkQ2hwmTHRsQGYAbh50ozSutZmkeaYiYaDputjoWE1DFRFQiIhv02vKDSM0tR5CXK2ZdzFI80phtnwGHVwJObsClbwF6g+yIbA4TJjv3yMR4dAv0QFZJNZ7/PVl2OETWGXgL0O18dQKqmIgqroIREdmQnRnFeG+1ugzCnMuS4OfhIjskIsuVHAMWz1THY54AgmJkR2STmDDZOXcXA168vLcy/r/NGVhzIE92SETWl+aJCahiIqqYkEpEZCNq6kUp3k6lFO+SPmGY2DNUdkhElhMXIX+9D6gtA7oOBIbcJTsim8WEyQEMjg7EDcMim0rzyliaR1oiJp6Oa1gTQkxIFRNTiYhswBvLU3EgR5TiueDpS3rKDofIOju+BFKXAQZX4NK3WYp3GkyYHMSjk+IREeCB48VVmPtHiuxwiKwz6HZ1IqqYkComprI0j4gk232sBO80lOI9e2kSAjxZikcaUpoJLHpcHY9+HAiOkx2RTWPC5CA8XJwwr6E076uNR/FXar7skIisK80TE1HFhFQxMVVMUCUikqS23qSU4hlNZkzp3RmTe3WWHRKRlaV49wM1JUCX84Chd8uOyOYxYXIgQ7sH4j9DuinjR7/fhfKaetkhEVlOTEQd07BGhJigWpwhOyIiclBvrkxFSnaZclfpGZbikdbs/D/g4GLA4KKW4hmcZEdk85gwOZjpkxPQ1d9dKc2bx9I80pohdwJdB6kTVMVEVZbmEVEH25tZgrdXpirjZy7tiUAvV9khEVmuNAtY9Jg6HjUdCEmQHZEmMKV0MJ6uamnetR9uxOcb0jGpZyj0eh1yy6oR4u2GQVEBMOh1ssMkapmYkCpK8969ADi0HNj+OeAfBZTnAF6dgG7DOGmViNqUKLvblFaofE4Gerrgud+TUW8yY3JSKKawFI9snckIpK9r+JwMAda9BVSXAJ37AsPukx2dZujMZse5RFtaWgpfX1+UlJTAx8cHjuzxn3Yrc5kMOsDYbA/o7OumLLo3KYkfAmTD/noNWPqUOISJYuwTj/uEAZPmAYmXyIyOiOzEoj1ZmP3rPmUtw+Y8XQxY9choBHvz7hLZsH0L1LtJosFDczoDcMdaoBMXWS61MDdgSZ6DGtjNX/m3ebIkZJdU484vtikfEkQ2y0+di3dSstRYavDtdeqHBBHRORCfg+Lz8NRkSaioNWJreqGUuIgsIj4HxefhqcmSYDYCBWpZKVmGCZODlhe8uHh/iz9rPP0UV9TEdkQ2WV6weEYrP2zYZxdNV7cjIjoL4vNPfA629iko7m3zc5Jslvj8U+YpnWYP5uekVZgwOSBRi93SFbNG4u0lfi62I7I5oha7pStmTcxA6XF1OyKis8DPSdI0fk62OSZMDkhMXG3L7Yg6lJi42pbbERGdgp+TpGn8nGxzTJgckOiG15bbEXUo0Q2vLbcjIjoFPydJ0/g52eaYMDkg0TpcdMNrrXm4eFz8XGxHZHNE63DRDe90e7BPF3U7IqJz+JxsDT8nyabxc7LNMWFyQGKdJdE6HK28lURttvg512MimyTWWRKtw0+3B096gesxEdFZE59/T13UcsvlxqMOPyfJ9j8nW2r60LDP8nPSKkyYHJRYZ+mdf/dHaAtX0OI6eWFiz1ApcRFZRKyzdOVngE8L64V5hgBxE2VERUR2pLUGeOJzU3x+cr1Csmm+XVt+XNx5Ep+fXK/QKk7WbU72RBzsxyeGNq1grtfp8NC3O3AgpxxL9uUwaSLbJg72CVNOrGDu6gP8Mg2oyAU2vQ8Mu0d2hESkUdV1Rsz9I1kZ3zs2BkOjg5TPSTFnSZTh8c4S2TSzGVj8uDrudSXQ/zr1c1LMWRJleLyzZDUmTA5OHPSHdg9s+j4luxRvrTyEuQuTMTo+BC5OvAlJNkwc9KOGn/h+7FPAgruB1fOBPtcAnif2bSIiS32y7giOFVWhk48r7hjZHR4uPF0iDUleABxdDzi5A+OeBny7yI5I83g2TCe5c1QMgrxccaSgEp9vSJcdDpF1+l4DhPYCakqA1S/IjoaINCi/vAZvrUhVxo9OTGCyRNpSXwMsfUodn38vk6U2woSJTuLl6oSHJ8Qp49eWHUBRRa3skIisu+M0YY463vwRkLdfdkREpDGvLD2Aspp6JHXxwWX9eLJJGrPxPaDoCOAVCgy7V3Y0doMJE/3NFQPCkRDqjdLqery2/KDscIisEz0SiL8QMBuBJU/KjoaINORAThm+3nRUGT85JRF6zlUiLanIB9bMV8djnwRcvWRHZDeYMFGL85qemKK2U/1iQzoO5ZXLDonIOuOfBfROwMHFwKEVsqMhIo2Y83uy0h1vUs9QDI7mHEjSmFUvADWlQGhvdR4vtRkmTNSiC2KDMDYhBPUmM+YuTJEdDpF1gmKAgbeq48VPACaj7IiIyMat2p+L1Qfy4GzQYfrkBNnhEFlHlKBv+Z86njgH0PMUvy3xr0mtmnFhDzjpdViWnIN1qfmywyGyzshHATc/IHcvsP1z2dEQkQ2rN5qUu0vC9UMjERnkKTskIusseUItRY+fAkSNkB2N3WHCRK2KCfHCv4d0U8bP/p4MY2ur+BHZIo8AYNR0dbziOaCmTHZERGSj/m9zBg7mlsPfwxn3jI2VHQ6RdVKXAweXqKXoE56VHY1dYsJEp3Xf2Fj4uDkhOasUP2w9JjscIusMuBkI6A5U5AFrX5EdDRHZoNLqOqUznnD/uDj4ujvLDonIcqLkXNxdEgbdBgR2lx2RXWLCRKfl7+mCexuuts1fsh/lNfWyQyKynJPLiatt694EitXuV0REjd5amYqCilp0D/bENYMjZIdDZJ1tnwG5+9QS9BGPyI7GbjFhojO6TtRzB3ogr6wG760+JDscIuuIFuORwwFjDbBstuxoiMiGZBRW4uO1R5TxzCk94GzgaRFpSHUpsLJh7cFRM9RSdGoXmjoyrFmzBhdffDHCwsKg0+nw888/yw7JIbg46TF9cg9l/P6aw8gsrpIdEpHldDq1YxB0wJ7vgYzNsiMiIhvxwqIU1BpNuCAmCKPjQ2SHQ2QdUWouSs4DRWfYm2VHY9c0lTBVVFSgT58+eOutt2SH4nAm9uyEwVEBqKk34cVFbDNOGtO5D9D3WnW8+HHAzAYmRI5uy5FC/L4rC2JtWnF3SVyIJdKMonRg/Vsn1h40cO5de9JUwjR58mQ899xzuOyyy2SH4nDEB8mTFyUqF+t/3pGJHRnFskMiss6YJwBnT+DYJmDvj7KjISKJTCaz0v1VuGpgOHp09pEdEpF1ls9WS81FC/H4ybKjsXuaSpisVVNTg9LS0pO+6OwldfHFP/t1VcbP/bYPZl6lJy3x6QxccL86Xvo0UFctOyIikuTXXZnYmVEMTxcDHhgfJzscIutkbAL2/KCWmk+Yo5aeU7uy64Rp7ty58PX1bfoKDw+XHZLmPTIxHu7OBmxJL8LC3dmywyGyztC7AZ8uQMlRYMPbsqMhIgmqao2Y94daWn7X6BiEeLvJDonIcuJitSgtF/pdC3TuLTsih2DXCdOMGTNQUlLS9JWRkSE7JM0L9XXD7SOjlfELi5JRXWeUHRKR5Vw8gLGz1PGfLwPlubIjIqIO9tHaw8gsqUYXP3fcfEGU7HCIrCPuLB3brJaYj3lSdjQOw64TJldXV/j4+Jz0RefuthHR6OTjiozCKny6Tm3HSqQZva4AwvoBtWXAyudlR0NEHSi3rBpvr1KXx3h0UjzcnA2yQyKyXF0VsOxpdXzBA4B3qOyIHIZdJ0zUPjxcnPDIxARl/OaKVOSX18gOichyej0wsSFR2vYpkLNXdkRE1EH+u/gAKmuN6Bvuh0v6hMkOh8g6opS8JEMtLR86TXY0DkVTCVN5eTl27NihfAlpaWnK+OjRo7JDczj/7NcFSV18UFZTj1eXHZAdDpF1ug0DEi8FzCZg8Uy2GSdyAPsyS/HtVrU0X+36yonypCGihFyUkgvjnlZLzKnDaCph2rJlC/r166d8CQ8++KAyfuqpp2SH5nD0eh2emJKojL/aeBQHcspkh0RkHfGBY3ABDq8EUpfJjoaI2pHo6vrc76K7K3BR7844r5u/7JCIrLNyDlBbDoT1B5Kmyo7G4WgqYRo1apRy0Dv165NPPpEdmkMaEh2oLGhrMgNzGtazINKMgGhg8O3qWNxlMtbJjoiI2sny5FysO1QAFyc9HpuklpQTaYYoHd/2mToWJeWitJw6FP/idE5mTO4BZ4MOqw/kYdV+dhwjjRn+MOARCOTvB7bywguRPaozmvD8QvWi3k3nRyE8gKVMpME24qKEXJSSdxsqOyKHxISJzklkkCeuHxqpjMUHUr3RJDskIsu5+wGjZqjjVXOBqmLZERFRG/tyQzoO51cg0NMF00Z3lx0OkXUOLgUOr1JLyMfNlh2Nw2LCROfsnjGx8PNwxoGccvzfZq51RRpz3o1AUDxQWQD8+ZLsaIioDZVU1uHV5QeV8YMT4uDt5iw7JCLLiVLxJTPV8eA7gACuGyYLEyY6Z74ezrh/bKwyfmXpAZRWcy4IaYjBCZjwnDre+B5QeFh2RETURl5fcRDFlXWI6+SFqwaEyw6HyDqiVDz/gFo6PuJh2dE4NCZM1CauHdIN0cGeKKioxdsr1UUBiTQjdjzQfQxgrD2xKCARaVpafgU+W68uri66ujoZeMpDGiJKxBsXVx/9OODmKzsih8ajB7UJZ4MeMy/soYz/tzYNGYWVskMispxYj0XcZdLpgX2/AOnrZEdEROdo7sJk1BnNGBUfjBFxwbLDIbLOmvlAVaFaMt7/BtnRODwmTNRmxiSE4PyYQNQaTXhhUYrscIis06kn0P86dSw6EpnYwIRIq9YfKsCSfTkw6HVNF/OINEOUhosScWHiHLV0nKRiwkRtRqyaLsoexMX633dlYWt6oeyQiKwzeibg4g1kbgd2fyc7GiI6CyaTukitcM2gCMR28pYdEpF1ls4CTHVA97FqyThJx4SJ2lSPzj5NE2uf+S1Z+eAi0gyvEGD4g+p4+WyglqWlRFrz4/bj2JtZCm9XJ9w/Tm1IRKQZoiQ8eYFaIt7YkIikY8JEbU60bvV0MWBnRjF+3ZUpOxwi6wy5C/CNAEqPA+vflB0NEVmhsrYe8xerJeF3j4lBoJer7JCILCdKwRc1rA3Y/3qgU6LsiKgBEyZqcyHebrhrdIwynvdHCqrrjLJDIrKcsxswvqFT3tpXgNIs2RERkYXeW30YOaU1CA9wxw3nq4uqE2nG7m+BrB1qabgoESebwYSJ2sXNF0QhzNcNmSXV+GhtmuxwiKzT859A14FAXSWwkiURRFqQXVKN99aoy1rMmNwDrk4G2SERWU6UgC+brY5HPAR4sbOjLWHCRO3CzdmAxyYnKOO3V6Yit6xadkhElhOdSybOVcfbvwSydsqOiIjO4MXFoqLBhIGR/picFCo7HCLrrHsDKMsE/CKAwXfKjoZOwYSJ2s0lfcLQN9wPFbVGvLzkgOxwiKwTPhBImgrADCyeCZjZwITIVu06Vowftx1Xxmq3Vp3skIgsJ0q//3pVHY+brZaGk01hwkTtRnxgPXmRuv7FN1sysC+zVHZIRNYZNwswuAJH/gT2/yE7GiJqgdks2ognK+PL+nVBn3A/2SERWWfFc2oJeNdBQM/LZEdDLWDCRO3qvG4BmNK7s3Jxfs7CfcoHG5FmiNKIodPU8ZIngPpa2RER0SkW783GprRCuDnr8cjEeNnhEFkncwew40t1PGmuWhJONocJE7W76ZMS4OKkx1+pBViRkis7HCLriHWZPIOBwkPAlo9kR0NEzdTUGzH3D7WN+G3DoxHm5y47JCLLiYvI4mKcKP3udQXQdYDsiKgVTJio3YUHeOCm86OU8ZyFyagzmmSHRGQ5V29gjPhAA7DqBaCyUHZERNTg8/XpSC+oRLC3K24f2V12OETW2b9QLfl2cgPGzpIdDZ0GEybqENNGd0egpwsO51Xgyw3pssMhsk6//wAhPYHqYmD1i7KjISIAhRW1eG35QWX8yIR4eLo6yQ6JyHKixFu5uwS19NsvXHZEdBpMmKhDeLs548EJccr41eUHUVJZJzskIsvpDcDEOep48wdAfqrsiIgc3mvLDqCsuh6JnX1w+XldZYdDZJ3NHwKFhwHPEOCCB2RHQ2fAhIk6zFUDwhHXyQvFlXV4Y4V6VZBIM7qPBmInAqZ6YOlTsqMhcmipueX4YuNRZfzElB4w6DlRnjRElHavnqeORcm3KP0mm3bOCZPRaMSOHTtQVFTUNhGR3XIy6DFzSqIy/nT9EaTlV8gOicg6E54FdAZg/+9A2hrZ0RA5rOcXJsNoMmNcj04YFhMkOxwi64hkSZR4d0oC+v1bdjTUHgnT/fffj48++qgpWRo5ciT69++P8PBwrFq1ytqnIwczMi4Yo+KDUWc044U/1HUziDQjOB4YeLM6Xvw4YDLKjojI4fx5ME/puOqk1+HxCxNkh0NknfyDajmeMOE5teSb7C9h+v7779GnTx9l/OuvvyItLQ0pKSl44IEHMHPmzPaIkezMzAvV8onFe3Ow4XCB7HCIrDNyOuDqC2TvBnZ+LTsaIoci7irNaVik9j9DuyE62Et2SETWESXdorQ7bpJa6k32mTDl5+cjNDRUGS9cuBBXXHEF4uLicNNNN2H37t3tESPZmdhO3rh6kNoN5rnf98Fk4mK2pCGegcDIR9Tx8meAmnLZERE5jG+3ZCAluwy+7s64b2ys7HCIrHN4tdpKXO8EjH9WdjTUnglTp06dsG/fPqUcb9GiRRg/frzyeGVlJQwG3lYkyzwwLg7erk7Yc7wUP24/LjscIusMug3wjwLKc4C/XpMdDZFDKK+px3+X7FfGIlny83CRHRKR5UQJ9+KGSqwBNwPBaudgstOE6cYbb8SVV16JpKQk6HQ6jBs3Tnl848aNSEhgLTFZJtDLFXePiVHG8xenoLK2XnZIRJZzcgXGP6OO170BlByTHRGR3XtnVSryy2sRFeSJfw/pJjscIuvs+ArI2Q24+QKjpsuOhto7YXr66afx4Ycf4rbbbsNff/0FV1dX5XFxd2n6dO4AZLkbzo9EeIA7ckpr8N7qw7LDIbJOj4uBbucD9VVqaR4RtZtjRZX44M80ZTxjcgJcnLgqCmlITRmwoqEEb8SjgEeA7IjISjqz2XzOE0iKi4vh5+cHW1daWgpfX1+UlJTAx8dHdjgk5sHtzsJdX26Dm7Meqx4ejVBfN9khEVkuczvw/ih1fOsKoMt5siMiskv3fr0dC3ZmYmh0IL66dbBS4UKkGSueA9bMBwKigbs2Ak4sJ9VabmD1JZp58+bhm2++afpelOcFBgaia9eu2LVr19lHTA5pclIoBnTzR3WdCfMXq7XpRJoR1g/oc7U6FrXp5379iYhOse1okZIsiRxp5pQeTJZIW0TJtijdFkQpN5MlTbI6YXr33XeVNZeEpUuXKl9//PEHJk2ahIcffrg9YiQ7Jj74nrxIXcz2h23H8NWGdPyy4zjWHypQ2scS2bwxTwJO7sDR9cDen4C0P4Hd36v/cp0morMijv/ic+CX7cfx2Pc7lcem9u+KpC6+skMjOjNx7G/8LPh5GlBfDXS7AEi4SHZkdJacrP0PsrOzmxKm3377TbnDNGHCBERGRmLw4MFnGwc5sD7hfhgUFYBNaYV4/Oc9TY939nXDrIsTMSmps9T4iE7Ltwtw/n3A6heAH24BzM2SJJ8wYNI8IPESmRESacqiPVmY/es+ZJVUNz0m7imd181falxEFtm3AFj0GFCaefLjcRPFVWJZUVFH32Hy9/dHRkaGMhZtxRu75ImpUKLVONHZfDiKZOlU2SXVuPOLbcrPiWxaoNrx8aRkSSjNAr69Tv0AJaIzEsd7cdxvniwJot5gxo+7+XlAtk0c68Ux/9RkqXHBWn4WOE7C9M9//hPXXHONsv5SQUEBJk+erDy+fft2xMQ0nDQQWVF2Ia4ktqSxIE/8nOV5ZNOlF8ueauWHDfvtoukszyOy8PPgdEd7fh6QzRLHeHFn6XR7MD8LHCdheuWVV3D33XcjMTFRmb/k5eWlPJ6VlYW77rqrPWIkOybuLJ16JbE5cdgRP2/pDhSRTUhf1/LVxCZmoPS4uh0RtYqfB6Rp/Cywa1bPYXJ2dm6xucMDDzzQVjGRA8ktq27T7Yg6XHlO225H5KD4eUCaxs8Cu3ZWK799/vnnuOCCCxAWFob09HTlsVdffRW//PJLW8dHdi7E261NtyPqcF6d2nY7IgfFzwPSNH4W2DWrE6Z33nkHDz74oDJ3SSxY29joQSxcK5ImImuI7niiG97p+saIn4vtiGxSt2FqN7xW92Id4NNF3Y6Izvh50BrxDuPnAdn+Z0Fr+FngUAnTG2+8gQ8++AAzZ86EwWBoenzAgAHYvXt3W8dHds6g1ymtw3Ga003xc7EdkU3SG9TW4YpW9tNJL6jbEVGrxHH+5guiWvxZ4zuLnwdks8QxftTMVn7YsM/ys8BxEqa0tDT069fvb4+7urqioqKireIiByLWWXrn3/0R2sKVRfG5GB/qIyUuIouJdZau/AzwaWHNsJGPcR0mIgv9lZqv/OvmfPLpifh8EJ8TXJePbFr2LvVfvfPJj4s7T+Izgp8FjtP0ISoqCjt27EC3bt1OelysydSjR4+2jI0ciPgQHJ8YqnQ/EhN6RY36e6tTsepAPl5ash9vXdNfdohEpyc+CBOmqB2QxKTevT8DKb8CBxcDo6ZzwUKiM9hwuAAr9+fBSa/D7/cMR25ZTdPngSjD450lsmmFacCW/6nja74FDM7qZ4GYsyTK8HhnybESJjF/adq0aaiurlYWq920aRO+/vprzJ07Fx9++GH7REkOQXwYDu0e2PS9n4czVh/8E7/vysIdI0rQq6uv1PiIzkh8IEYNV8dRI4HDK4HM7cC+n4Gel8mOjshmifOJF/5IUcb/GhSO7iFeyheRZqycA5jqgO5jgJgxsqMh2SV5t9xyC+bNm4cnnngClZWVyiK2ohHEa6+9hn/9619tHR85sB6dfXBZ3y7KeN4i9YOUSDO8goFh96jj5c8CxjrZERHZrMV7c7AjoxjuzgbcOzZWdjhE1snaBez+Th2Pe1p2NGQrbcWvvfZaHDx4EOXl5cjOzsaxY8dw8803t3105PAeGB8HF4Mea1Pz8efBPNnhEFln6DTAIwgoPARs/1x2NEQ2qd5owvzF6kWxW4ZHsW04ac/y2eq/SVOBzn1kR0O2UJLXnIeHh/JF1F7CAzxw7ZAIfPzXEeUu0/ndg6BnHTtphas3MPJR4I9HgVUvAL2vAlw8ZUdFZFO+33oMh/Iq4O/hjNtGRMsOh8g6aWuA1GWA3gkY03KXPLEET10dqwxkEB29nZycoDvHecRWJ0w5OTl4+OGHsXz5cuTm5ip1x801rstE1FbuHh2D77Ycw57jpfh9dxYu7nO6dQ6IbMx5NwLr3wKK04EN7wAjHpYdEZHNqK4z4tVlB5XxtNEx8HY7pbsYkS0T58DLnj5xrA/4e8IvqrFEJdap58vUccTNnc6dO8PFxaXjEqYbbrgBR48exZNPPqn88nPN2IjOJNDLVbnq+PLSA0rHvElJoXA2nFU1KVHHc3IBxjwJ/HgL8NdrwICbAA8uvEkkfLLuCLJLq9HFzx3/GXpy910im5e8ADi+FXD2VKsJTiFuIohkSZywBwcH85y5g4kktba2Fnl5ecqySLGxsdDr9R2TMK1duxZ//vkn+vbte1a/kOhsiMUMP1ufjvSCSvzfpqP4z9BI2SERWS7pcmDda0D2buDP/wIT58iOiEi6kso6vL0yVRk/OD4Ork5su0waYqwHlj+jjofdDXiF/G0TUYYnTtpFsuTu7t7xMRLE393Z2Rnp6elK8uTmdnZzJK1Os8LDw3lbkTqcp6sT7h0bo4xfW56Kipp62SERWU5c0RrbULax6X2gOEN2RETSvb06FaXV9Yjv5I1/9FM7ohJphmjkU5AKeAQCQ+8+7aa8syTX2d5VOuk5rP0PXn31VUyfPh1Hjhw5519OZI1/DYxARIAH8str8L+1abLDIbJOzFggcjhgrAVWzZUdDZFUWSVV+OQv9Tzi0UnxXJSWtKW2Um3kI4x4BHDzkR0RtTOrE6arrroKq1atQvfu3eHt7Y2AgICTvojai4uTHg9PjFfG7605jMKKWtkhEVlOXGEc19B6dufXQG6y7IiIpHlt2UHU1JswKDIAYxL+XspEZNM2vguUZwN+Eeq8VLJ7Vs9heuWVV3hrkaS5qFdnvLf6EPZmluLNFal46uJE2SERWa7reUCPS9SJwqL2/eqvZUdE1OFSc8vx7Ra1LPWxyQk8pyBtqSwE1r6qjkc/ATi5tvuvNJrM2JRWiNyyamWdskFRAbwra+t3mESXvOuvv77VL6L2JNZgemxSgjL+YkM6jhVVyg6JyDpjnwJ0BmD/QiB9vexoiDqcWKTWZAbGJ3bCed38ZYdDZJ21LwM1JUCnJKDXFe3+6xbtycIF81bg6g824L7/26H8K74Xj7e37Oxs3HPPPYiOjoarq6vSx+Diiy9WlhYSIiMjlak6p3r66adPag5XWVmJGTNmKNVpoumCaIIxcuRI/PLLL03bjBo1Cvfff//fnuuTTz6Bn59f0/dZWVm45pprEBcXp8xNaum/sYmESSwAJdZfOlVBQYHyM6L2Njw2CMO6B6LWaFJajRNpSlAs0O/f6lis38EmOuRAth0twuK9ORAXxx9tKLEm0oySY8DG99Xx2FlqQ592JJKiO7/YhqyS6pMezy6pVh5vz6RJ9Co477zzsGLFCsyfPx+7d+/GokWLMHr0aEybNs2q57rjjjvw448/4o033kBKSoryPFOnTlVyB2vV1NQoCdcTTzyBPn36wGZL8lrrkCf+B85lQSgiS4nyDXGX6dK3/sJP248razQlhHLCJWnIqOnArm+BjA3AgUVA/GTZERG1O3H+MO+PFGU89byuiO3kLTskIuuIhj3GGqDbBUDs+LN6D1TVGS0uw5u1YC9aOusWj4mCvKcX7MP5MUEWlee5OxusKn+96667lO03bdoET0/Ppsd79uyJm26ybt7WggUL8Nprr+HCCy9sujMlkrGzIf5b8VzC//73P9hcwvT6668r/4o/3ocffggvL6+TFuZas2YNEhLUUimi9tYn3A9TenXG77uz8OKi/fjfDQNlh0RkOZ8wYMgdwNpXgGWzgdgJgJ536Mm+rTqQh41phUoDn/vHxckOh8g6uSnAjq/U8bin1UY+VhLJUuJTi9skHJE0iUWfez29xKLt9z0zER4ulp32FxYWKneB5syZc1Ky1Kh5iZwlQkNDsXDhQvzzn/9UGsZpkZM1zR4as+N33333pPI7cWdJZHzicaKO8tCEOCzam40VKbnKZEgxCZJIM86/H9jyMZCXDOz8P6DftbIjImo3JtOJu0s3DItEmB8X8SSNEY16zCYg4SIg3L4v0qampirn+5bcCHnssceU8rjmxAKxiYknmnK9//77uPbaaxEYGKiU0V1wwQVKSd75559/0n/39ttvKzdlmquvrz/rxWalJExpaeq6N6J2UdQh+vtzoibJFR3shasGhuOrjUfxwh/J+OHOYey2RNrh7gcMfxBY+hSw8nkg6XLAWf6HAlF7+GXncaRkl8HbzQl3jeouOxwi6xzdCOz/HdCJRcifOuunEWVx4k6PJcSF4Bs+3nzG7T65caBFF4zF7z7X6TcteeSRR5SGcKdWpYnKs0YjRozA4cOHsWHDBqxbt05pGiHK6mbPno0nn3yyaTuRVM2cOfOk5xI5x/PPPw/ZrJ7DtHLlyvaJhOgs3D82Fj9tO45tR4uxZF8OJvYMlR0SkeUG3QZsfA8oPQZs/hAYdvrV4om0qKbeiP8uURv03DmqO/w8ON+ZNEQkD6JBjyAa9gSffbMScVHX0rK44bHB6OzrpjR4aCl9EZeHQ33dlO3ausV4bGysEqto0HAmQUFBiImJOemxltZldXZ2xvDhw5UvcVfqueeewzPPPKOMG3sg+Pr6/u25QkJsY502i161Bx98EM8++6xSxyjGp/Pyyy+3VWxEZxTi44abLojEWysPYf7i/RibEAInQ/t2rSFqM87uwKgZwIK7gT9fAvr/B3DzlR0VUZsSVQDHiqrQyccVNw6Lkh0OkXUOLgGOrgOc3NTjdQcRSdCsixOVbngiHWqeNDWmR+Ln7bEek0h4Jk6ciLfeegv33nvv3+YxFRcXWz2P6VSiZE+U21VXV2uiaZxFCdP27dtRV1fXNG4Ny6FIhttHdseXG48qiyH+uO04rhwYLjskIsv1uRpY9waQvx/467VzKvcgsjVl1XV4Y0WqMr5vbBzcXdjchDTEZDxxd2nw7WrDng40Kakz3vl3f8z+dd9JrcXFnSWRLImftxeRLIk5RoMGDVLuBPXu3VtJcJYuXYp33nkHycnJFj+XWGPp6quvxoABA5R5TPv27cPjjz+uTPPx8bG+y/GOHTuUf8vLy5GXl6d8L5Ku5vOmpCRMzcvwWJJHtsbHzRnTRsVgzsJkvLLsAC7pGwY3K2p1iaQyOKlJ0jfXAuvfVsv0vFlaSvbhgz/TUFhRi+ggT1w5oKvscIisI5Z/yN2n3vm/4AEpIYikaHxiqDKnKbesGiHebsqcpfa4s9ScWKx227ZtSqe8hx56SFkwVqx/JNqBi4TJGuJu1aeffqokSWIR27CwMFx00UV46qmzu0DYr1+/pvHWrVvx1VdfoVu3bsraUe1FZ7ZmZhegLGAlMk6x4q/WlJaWKvWRJSUlZ5XRku2qrjNizEurkFlSjRmTE5S7TkSaIQ7DH00Ajm0CBtwEXKR2JSXSsryyGoycvxKVtUa8c21/TO7VflfDidpcfQ3wxgCg5CgwbjZwwf1WP4UoNxNN06Kiomyi05ujqj7N62BpbmD1ZI9LLrlEeWIxaUt0tli2bBmqqqrO7v+AqI2IO0oPjFfX9Xh71SGUVKklpESaIMqZx89Wx1s/BfLVEiYiLXtzxUElWRLr5k1K4l1T0pjNH6nJkneYWo5HDs3qhKmoqEhpBzh58mRl9d/LLrtMmfgl7jqd2oe9vWoqxZpPIkMcPHiwEgOR8M/+XRHXyUtJlt5dfUh2OETW6TYMiJ0ImI3AimdlR0N0TtILKpS5pcJjk+I5x5m0pboEWDNfHY+arjboIYdmdcIk2gKK5EjUIS5evFjpqS4mconEZe7cuWhP33zzjdKlb9asWUpdpVj8StRF5ubmtuvvJW0Q9byPTFQXWfv4rzSlFSeRpoybpfY/2vczcHyb7GiIzppoI15vMmNEXDCGdQ+SHQ6RdUQjnqpCICgO6MtFxeksEqYDBw4oK/Zec8016NKlC0aOHKnU/b300ktKEtOeRMvyW2+9FTfeeKPSCePdd9+Fh4cH/ve//7Xr7yXtGNcjBAO6+aO6zoTXlqvrfhBpRqeeQJ9/qePGzkxEGrPneAkW7MxsurtEpCllOcD6t9SxaMgjGvOQw7M6YUpISFDmLiUlJeGPP/5Q2vn99NNPuO+++5Q7Pu2ltrZW6YQxbty4psf0er3y/fr161v8b2pqapTJXM2/yL6Jso/pk9W7TN9uOYZDeeWyQyKyzujHAYMLkLYaOLRCdjREVntx8X7l30v7hqFnGNcVI41Z8yJQVwl0HQgkXCQ7GtJqwiQWsBJ3lkRP9jvuuAMzZ87EkiVLlDaB7Sk/Px9GoxGdOnU66XHxfXZ2dov/jSgRFA0qGr/Cw7k+jyMYEBmg3Gkymsx4qeGDm0gz/CKAgbeo46WzAJNJdkREFluXmo81B/LgbNDhofG8u0QaU3AI2PqJOh73tNqQh+hsEqZXX31VKb0TScqMGTOUOz8iaQoKClLmNtkSEZ8oF2z8ysjIkB0SdRAxl0kc5/7Yk43tR4tkh0NkneEPAy7eQPYuYO+PsqMhsohYpWTeohRlfM2gCEQEesgOicg6K54DTPVAzHgg8gLZ0ZCWE6ZG4m5PXV2dUvYm+puLf/fvb7+r+SIhMxgMyMnJOelx8X1oaMvtSsVaUaKnevMvcgzxod64vL+6SKL4ALdyuTEiuTwDgfPvO/EBXl8rOyKiMxIXqHYeK4GniwH3jI2VHQ6RdTK3N1yg0jU04CE6x5K83r17K6Vwt99+OzIzM5VGDNu3b1fmM7UXFxcXZXVh0dK8kclkUr4fOnRou/1e0i6xLpOLkx4bDhdi9YH22zeJ2sXQuwDPEKAoDdj2qexoiE6rzmhqKoG+ZXg0gry0t7g9ObhlDWvh9b4SCO0lOxrSesKUlZWF2267DTt27FASpB9++KEpiWrvdRZES/EPPvgAn376KZKTk3HnnXeioqJC6ZpHdKoufu64bkg3ZTxv0X6YTLzLRBri4gmMfFQdr54H1LCBCdmub7dk4HB+BQI9XXDriGjZ4RBZ59BK4PBKQO+sNt6xNSYjkPYnsPt79V/xfQcQ02/uueceREdHK1VbohfAxRdf3HTzQqyLKqbqnOrpp59G3759m74XfQ7ENJnu3bsr66gGBwcrXbZ/+eWXpm1GjRqF+++//2/P9cknnyjrvTb68ccfMX78eOU5ROWYuGkiljlqb1b3Svzuu+8gy1VXXaUkaU899ZTyIooXY9GiRX9rBEHUaNroGHyzOQPJWaVKm9t/9OsiOyQiy513g9reVtxl2vD2iQSKyIZU1Rrx2rKDyvjuMTHwcmUbZtIQ0VincRmHgTcD/pGwKfsWAIseA0rVVv0KnzBg0jwg8ZJ2+7VHjhxRehOIZGX+/Pno1auXMhVHJCfTpk1DSoo6X9ESokncxo0b8cYbbyjLAhUUFGDdunXKv9Zas2aNkjA9//zzSmwff/yxksSJ5+/Xrx/ai+aOanfffbfyRWQJf08X3DGqO+Yv3o//Lt2PC3t1Vsr0iDTB4AyMfRL4/ibgr9eBATcBnlwElGzL//5KQ25ZDcID3HHN4AjZ4RBZRywUnrVDbbQz4hHYXLL07XWipcrJj5dmqY9f+Vm7JU133XWXUjm2adMmeHp6Nj3es2dP3HTTTVY914IFC/Daa6/hwgsvbLozJabZnI1T72iJxEncqfr111/bNWHimSPZvRvPj0SwtysyCqvw1cZ02eEQWSfxMqBzH6C2DFjzkuxoiE5SVFGLd1cdUsaijbirk0F2SESWM9YBK55Vx8Puaf8LUqIBVW2FZV/VpcAfoqqgpekEDY+JO09iO0uez4rmV4WFhUoFl7iT1DxZatS8RM4SojnbwoULUVZWhrYm+hmI5w0ICEB70twdJiJrebg44b6xsXji5z14Y0Uqpg4IZ8kIaYder64H8vllwJaPgCF3Av7q3Dwi2d5elYqymnr06OyDS/qEyQ6HyDqioU7hYcAzGBg6rf1/n1gQ9/m2ep+Y1TK9FyxcY/TxTHVurAVSU1OV7sIJCQln3Paxxx7DE088cdJjYskhUXrX6P3338e1116LwMBA9OnTBxdccAGmTp36t+WI3n77bXz44YcnPVZfX6/Me2rNSy+9hPLyclx55ZVoT7zDRA7hqoHhiAryREFFLT5Yc1h2OETW6T4GiBoJGGuBlc/LjoZIcby4Cp+uV+/aPzopHno9F/kkDRF3XVa/qI5HPAq4esmOyGZYsxTLI488ojSCa/4l5iw1N2LECBw+fFhpFiESpb1792L48OF49tmGu3sNRFJ16nM988wzrf7ur776CrNnz8a3336LkJAQtCdeZieH4GzQ4+EJ8Zj21TZ8+Odh/GdoN7a9JW0Rd5k+GA3s+kYtHQlNkh0RObhXlx5Abb0JQ6IDMCouWHY4RNYRjXTKc9QmD6LBTkdw9lDv9FgifR3w5dQzb3ft90C3YZb9bgvFxsYq85csaewQFBSEmJiYkx5rqTzO2dlZSZLEl7gr9dxzzynJkBiLpYMEX1/fvz1Xa4nQ//3f/+GWW25RmtGNGzcO7c3iO0z+/v7KH+BMX0S26sJeoejd1RcVtUa8uSJVdjhE1unSH+h5mVqGsbxhvRAiSQ7klOGHbceU8WOTEtp9WRGiNlVRAKx9TR2PeRJwUk/Y2514n4iyOEu+RGWB6IYnFtJt+ckAny7qdpY8nxXvUXE+P3HiRLz11lvK8j2nKi4uxrkSJXui3K66utrq//brr79WlhQS/06ZMgUdwelsulKIW3ViDSSRGbb3LTCitiI+0MUH+7UfbsSXG9Nx0/lRiAi0/IoLkXTigz35V+DgEuDIX0DkyfXfRB3lRbG2nRmY1DMU/SL8ZYdDZJ0//6s20gntDfT8J2yS3qC2Dle65Ilkp3mZXEPyM+kFdbt2IJIlMcdo0KBByvm+WG9VJDhLly7FO++8o6yHaimxxtLVV1+NAQMGKPOY9u3bh8cffxyjR49W1lKyhijDu/7665Wue4MHD1aWGRLc3d2VO1TSEyYRXHNiIavLL79cWcyKSCvOjwnC8Ngg/HkwX2kz/tq/2q8FJVGbC+wO9L8O2PI/YNks4OalVl01JGoLW44UYllyDsSUpYcnxssOh8g6xUeBzR+o43Gz1MY6tkq0DBetw1tch+mFdl2HSZzfb9u2DXPmzMFDDz2ErKwsZbFY0Q5cJEzWEHerPv30UyVJEovYhoWF4aKLLlLWVbWWaCAhEjfRwU98Nc9TxCK37UVntmZmVzPe3t7YuXOnphKm0tJSJfssKSmxOqMl+7HneAkuemOtMv793gvQM6z9rkgQtbmybOD1fmq3pau+BHpcJDsiciDilOHK99Zj85EiXD0oHHP/2Vt2SETW+elOYOdXQNQI4LoF7XrRSZSbpaWlISoq6rSd3s7IZFTnNIk5V16d1DlL7XRnyR5Vn+Z1sDQ3sOG0mqh9JHXxxcUN7W9FWQmRpniHAkPuUsdiLpOxXnZE5ECWJ+cqyZKrkx73jY2THQ6RdXL2Aju/PtFIRyt36EVyFDUc6DVV/ZfJUodjwkQO6aHxcXDS67D6QB7WHcqXHQ6Rdc6/F3APAPIPqFdKiTqA0WTGi4vVrlk3nh+FUN9zuGJOJMNy0aLaDCReCnQ5T3Y0pCEWz2F68MEH/7YolahrPHWC1csvv9x20RG1k8ggT1wzOAKfrU/HvEX78fNdgezyRNrh5guMeBhY/Diwci7Q6wrA2V12VGTnftp+HAdyyuHr7ow7R3aXHQ6RddLXAwcWAToDMMb6uTPk2CxOmLZv337S98OGDVMWoWqOJ5ykJfeMicX3W49hZ0YxFu3JxuRenWWHRGS5ATcDG94BSjKATe8D598nOyKyY9V1Rryy9IAyvmtUd/h6OMsOichyYrq+aJQjiMY5QSev9UPUZgnTypUrLd2USBOCvV1xywVReH1FKuYv3o/xiZ3gZGCVKmmEsxsw+nHg5zvVFrniJMCd7Z2pfXyxIR3Hi6vQ2dcN1w+LlB0OkXX2LwQyNgJO7sDIx2RHQxp0zmeHorVfeXl520RD1MFuHRGNAE8XHM6vwLdb1EUYiTSj91VASCJQXQKsPbFWHlFbKq2uw5sr1cW+7x8XCzdnTjgnDREd5pS5SwCG3An4dHw1yVk2pCYb+vtbnDD9+uuvf+tvLuYweXl5wc/PDxMmTEBRUdE5B0TUkbzdnHH3aPXW/KvLDqCq1ig7JCLLiU5JYxvKTDa+e/I6HURt5P3Vh1FcWYeYEC9c3r+r7HCIrCO64uWlqHfgO7h02WAwNM37J3nE2k+Cs7Nz+5fkiWYOU6dObfp+3bp1yoJTYvXfHj16YObMmXj22WfZ9IE059ohEfjfX2k4VlSFj9el4a5RrG0mDYmbCEQMBY6uB1a9AFzyuuyIyI7kllbjo7VpyviRifEsWyZtqasCVj6vjoc/BLj7deivd3JygoeHB/Ly8pSTdb0tL5Jrp3eWKisrkZubq9zcaUxg2zVh2rt370nJ0Pfff4/x48criZIgFoK67777mDCR5rg6GfDg+Dg8+O1OvLPqEK4ZFAE/DxfZYRFZRjTbGTcb+N8EYPvnwNC7gWCuj0Nt47XlB1FVZ0T/CD9MSOwkOxwi62z6ACg9Dvh0BQbe2uG/XjRD69y5s7Joanp6eof/flKJZCk0NBTnwuKEqaysDIGBgU3fr127FldccUXT9z179kRmJstBSJsu7dsF7685jJTsMry96hAev7CH7JCILBcxGIi/UJ3YvOIZ4KovZEdEdiAtvwL/tzlDGT82KYGdcElbqorVhjjC6BlqoxwJXFxcEBsby7I8ScSdvXO5s2R1wtSlSxckJycjIiJCafKwc+dOvPLKK00/LygoUG47EmmRQa9TTghu/GQzPll3BDcMi0SYH9e1IQ0Z+5S6xkjyr8CxLUDXAbIjIo17acl+ZbHaMQkhGBx94oIpkSb89RpQXQwE9wD6XC01FFGKJyqxSLssLqYUd5Puv/9+fP7557j11luVW1tDhgxp+vmWLVsQHx/fXnEStbtR8cEYFBWA2nqT0gCCSFNCxEnBNep46Sx13RGis7TrWDF+35WlVHw+Oomf7aQxpVnqOnWNF5NEgxyijkiYRIOHgQMH4t5778WOHTvwxRdfnHSL6+uvv8bFF198LrEQSSXKTaZPTlDGYkHbgzllskMiso4oOzG4AulrgdRlsqMhDZu3KEX597K+XZAQ6iM7HCLrrH4BqK8CwocA8ZNlR0N2wOKSPHd3d3z22Wet/pwL25I96B/hr0xsXrIvRzlhuPmCaOSWVSPE2025+yRK94hslm9XYNCtwPo3gaVPq8lTRS7g1QnoNoxXWem0RPndprRC/HkwD3+lFsBZr8MD49lAhDS03lL6OiBrB7C14Xx13NNqYxyijkqYiByFKD9Zui8Hy5Jzla9GYoX7WRcnYlJSxy96R2Qx0Tp38/+A3D3AZ83u+vuEAZPmAYmXyIyObNSiPVmY/es+ZJVUNz3m7KTH3swShAdwfjLZuH0LgEWPnbwWnZMbUJEnMyqyIzqzhcvf9uvXz6IOOdu2bYOtKi0tha+vL0pKSuDjwxIDav3E4Y4v/r4fN+797/y7P5Mmsu0Th2//08IPGvbgKz9j0kR/O+bd+cU2nHoywGMeaeeYd51YdaeFH+p4zKM2yQ0svsP0j3/8o2kscqy5c+fijjvuQEBAgKVPQaSJkhRxlbUl5oYTCPHz8YmhLM8j2yxJEVdZT7cHL5oOJExheR6ddMxr6VSTxzzSzjHvNNf+ecyjNmBxwjRr1qyTvv/vf/+rLFQbHR3dFnEQ2QRRv9+8JOVU4pAsfi62G9qdbXbJxoj6/eYlKX9jVhdxFNtFDe/AwMhW8ZhHmsZjHtlalzwiRyAaPLTldkQdqjynbbcju8djHmkaj3nUQZgwETUjuuG15XZEHUp0w2vL7cju8ZhHmsZjHnUQJkxEzYjW4aIbXmuV+uJx8XOxHZHNEa3DRTe80+3BPl3U7YgajnnBXq6t/pzHPLJp4ljmfbqGJDzmUQfPYXr99ddP+r6+vh6ffPIJgoKCTnpcLGxLpFViUrNoHS46RulamEYqvhc/5+RnskliUrNoHa50jGplD570Aic/UxNxLOvi74a88pq//azxKMdjHtkscSwL6wvsz2rhhw37LI951JFtxaOios78ZDodDh8+DFvFtuJ0LmuSCP27+eHHO8+XFhfRWa9JIvhHAfdsA/QsLiDVhsMF+Nf7GyDyoQBPF+SX1zb9jGvPkc0rPAy8NRgw1gIegUBlwYmfiTtLIlliS3HqyLbiaWlplm5KpHniBEG00RWdocRk56paI6b/uBvb0oux5UghBkSyPIVsmDhBEG10RWcoMdnZ4Ar8dAdQlAbs/g7oc5XsCMkGmExmPPe7uozCNYMjMPuSpKZjnpizJMrweGeJbNrSWWqy1H0McM13wNH16jFPzFkSZXi8s0RtxOKEicjRiBOF5m10d2QU4/82Z+DZ35Px053DoOeJBNkycaLQvI1uwUFg+Wz1q8fFgIuHzOjIBvy4/Tj2HC+Ft6sTHhgX97djHpFNExeEkhcAOj0wYQ5gcGLrcGo3FtdlrFixAomJicqtq1OJ21g9e/bEmjVr2jo+Ipvx4IQ4eLgYsDOjGL/uOt26D0Q2aMhdgG+EuibJ+rdkR0OSVdbWY/7iFGV895gYBJ6m8QORzTGZgMWPq+P+1wOdEmVHRHbO4oTp1Vdfxa233tpifZ+o/bv99tvxyiuvtHV8RDZDlKjcNaq7Mp73R4pSpkekGc5uwLiGBcjXvgKUtjRJmhzFe6sPI6e0BuEB7rjh/EjZ4RBZZ/e3QOZ2wMUbGN2QOBHZQsK0c+dOTJo0qdWfT5gwAVu3bm2ruIhs0i3DoxHm64bMkmp8tNZ2G5wQtSjpcqDrQKCuAlj5nOxoSJLskmq8t+aQMp4xuQdcnTjPgzSkthJYNlsdj3gI8AqRHRE5AIsTppycHDg7O7f6cycnJ+Tl5bVVXEQ2yc3ZgMcmJyjjt1cdUiZHE2mGTgdMnKuOt38JZO2SHRFJMH/xflTXmTCgmz8mJ4XKDofIOuvfBMoy1RLjwXfKjoYchMUJU5cuXbBnz55Wf75r1y507szWo2T/Lu4dhj7hfqisNeLlJQdkh0NknfCB6p0msSaTmANg2coSZCd2HyvBD9uOKeMnL0pUlgMh0gxRSixKioXxT6ulxkS2lDBdeOGFePLJJ1Fd/fcr6lVVVZg1axYuuuiito6PyOaI7nhPXdRDGX+zJQP7Mv/eCIXIpo17Wm01fuRPYP8fsqOhDiKWXXy2oY34Zf26KBd+iDRlxXNAXSXQdRDQ85+yoyEHYnHC9MQTT6CwsBBxcXF48cUX8csvvyhf8+bNQ3x8vPKzmTNntm+0RDbivG4BmNK7s3JxXqxjYuH6z0S2wS8CGDpNHS95Aqg/sVgp2a/Fe3OUdZZcnfR4ZGK87HCIrJO1E9jxpTqe+LxaYkxkawlTp06dsG7dOiQlJWHGjBm47LLLlK/HH39ceWzt2rXKNkSOYvqkBLgY9Fh3qAArUnJlh0NknQseADyDgcJDwJaPZEdD7ay23oS5fyQr49tGRCPMz112SESWExclF4uL8mYgaapaWkxkiwmT0K1bNyxcuBD5+fnYuHEjNmzYoIzFY1FRUe0XJZENCg/wwI0XqO145yxMRp3RJDskIsu5+QCjG6oCVr0AVBbKjoja0WfrjyC9oBLB3q64Y6S6PAKRZuxfqJYQOzVbHoHIVhOmRv7+/hg4cCAGDRqkjIkc1bTRMQj0dMHhvAp8uSFddjhE1ul/HRDSE6guBtbMlx0NtZPCilq8tvygMn5kQjw8XZ1kh0RkOVEyvORJdSxKiUVJMZEWEiYiUvm4OeOB8XHK+NXlB1FSWSc7JCLL6Q3AxIb1mDa9D+Snyo6I2sHryw+irLoePTr74PLzusoOh8g6omRYlA6LEmJRSkwkARMmonP0r4HhiOvkheLKOry+Qr2KS6QZ3ccAsRMAUz2w9CnZ0VAbS80tx+cNd7+fnNIDBj0nypOGiFJhUTIsjHkCcPWWHRE5KCZMROfIyaDHzCmJTfME0vIrZIdEZJ0JzwE6A7D/dyBtjexoqA3NXZgMo8mMcT06YVhMkOxwiKyz+kW1ZFiUDvf7j+xoyIExYSJqAyPjgpWvOqMZLzR0oiLSjOB4YMBN6lgsZmsyyo6I2sDag/lYnpILJ70OMy5MkB0OkXVEifDmD9TxxDlqCTGRJEyYiNrIzIZyF7HWyfpDBbLDIbLOqBmAqy+QvRvY+bXsaOgcibtKYo044d9DuqF7sJfskIiss/RJtVQ4diLQfbTsaMjBMWEiaiNxnbxx9aBwZSxOVEwmLmZLGuIZCIx8RB0vfxaoKZcdEZ2D77ZkICW7DL7uzrh/XKzscIisc3i12kpclAqLkmEiyZgwEbWh+8fFwdvVCXszS/Hj9uOywyGyzqDbAP9IoDwb+Os12dHQWSqvqcdLSw4o43vHxsLPw0V2SESWEyXBSxrWiBt4MxCsdqIlkokJE1EbCvJyxbQxMcp4/uIUVNbWyw6JyHJOrsD4Z9TxujeAkmOyI6Kz8M6qVOSX1yAqyBP/GdJNdjhE1tnxlVoaLEqER06XHQ2RggkTURu7YVgkwgPckVNag/dWH5YdDpF1elwCRAwD6qvU0jzSlGNFlfjgzzRlPGNyAlyc+DFPGiJKgVc0HHdGPqqWChPZAB5JidqYm7MB0yf1UMbvrTmE7JJq2SERWU6nUztSCbv+Dzi+VXZEZIX5i/ejtt6EIdEBGJ/YSXY4RNYRpcDlOYB/FDDoVtnREDVhwkTUDi7sFYoB3fxRXWfCi4tTZIdDZJ0u/YHe/1LHi2cCZjYw0YLtR4vwy45MJed9YkoidGJApBWiBFiUAguiNFiUCBPZCCZMRO1AnKg8cZG6mO2P245j17Fi2SERWWfsU4CTO3B0PZC8QHY0dAZmsxnP/qa2EZ/avyuSuvjKDonIOsufUUuBu50P9LhYdjREJ2HCRNRO+ob74R99w5Txc78nKyc0RJrh2wU4/151vPQpoL5GdkR0Gr/vzsK2o8Vwdzbg4YnxssMhso4o/d31jToWJcG8O0o2hgkTUTt6ZFICXJ302JRWiMV7s2WHQ2SdYfcCXqFA0RFg43uyo6FWVNcZ8cIfaunvHSO7o5OPm+yQiCwnLiYuelwd97kaCOsnOyKiv2HCRNSOuvi549bh0cp47h8pqKk3yg6JyHKuXsDYJ9XxmvlARb7siKgFH/91BMeKqhDq44ZbR0TJDofIOvt+ATI2qCXAYxqON0Q2hgkTUTu7c1R3BHu7Ir2gEp+vT5cdDpF1+lwDhPYGakqBVXNlR0OnEOstvbUyVRk/OikeHi5OskMispwo9RUlv8L596mlwEQ2iAkTUTvzdHXCwxPUlcpfW34QhRW1skMispxef6LN+JaPgVx2fbQlryw9gPKaevTq4ot/9OXJJmmMKPUtTldLfxvnTBLZICZMRB1g6nnh6NHZB2XV9Xht2QHZ4RBZJ2oEED8FMBuBpSyZsRX7s8vw9aajyvjJixKh13OiPGmIKPEVpb6NXTldPGVHRNQqJkxEHcCg1+GJKepitl9sPIrU3HLZIRFZZ8KzgN4JOLgESF0uOxoCMGdhMkxmYHJSKAZFBcgOh8g6osRXlPp27qM2eyCyYUyYiDrI+TFBGNcjBEaTGXMXJssOh8g6gd2BQbedWMzWWC87Ioe2an8u1hzIg7NBh+mTE2SHQ2QdUdorSnyFCXPU0l8iG6aZPXTOnDkYNmwYPDw84OfnJzscorMy48IecNLrsDwlF2sPsuMYacyIRwA3PyAvGdj+uexoHFa90YQ5v6sXXW4YFolugSxlIo1Z8oRa4ptwERA1XHY0RPaTMNXW1uKKK67AnXfeKTsUorPWPdgL/x7STRk/9/s+5W4TkWZ4BACjZqjjlXOA6lLZETmkrzdn4GBuOfw9nHH3mFjZ4RBZJ3UZkLoU0DsD45+RHQ2RfSVMs2fPxgMPPIBevXrJDoXonNw3NhY+bk5IyS7Dd1syZIdDZJ2BNwOBMUBFHrD2ZdnROJzS6jqlM57wwPg4+Lo7yw6JyHKilHfxE+pYlPiKUl8iDdBMwnQ2ampqUFpaetIXkWz+ni64d6x6VfilJWpLYCLNMIirws+q4/VvA0VcW6wjvbUiVVmaoHuwJ64eFCE7HCLrbP9MLel19wdGPiI7GiKL2XXCNHfuXPj6+jZ9hYeHyw6JSHHd0EhEBnooi06+s0pddJJIM+Inq63GjTXAsqdlR+MwjhZU4uO/jijjJ6Ykwtlg1x/hZG9ECe+KhjXdRGmvSJqINELq0Xb69OnQ6XSn/UpJOftFEmfMmIGSkpKmr4wMlj+RbXBx0isNIIQP/kzDsaJK2SERWU6nUztbQQfs/RHI2CQ7Iocwb1EKao0mDI8Nwqj4YNnhEFlHlPBW5qslvQNukh0NkVWcINFDDz2EG2644bTbREdHn/Xzu7q6Kl9EtmhCYicMjgrAxrRCvLhoP16/up/skIgs17k30O9aYPsXwKIZwC3L1ESK2sXmI4X4fXcWxNq0M6f0UC4oEmmGKN0VJbzChOfU0l4iDZGaMAUHBytfRI5InPA8eVEiLn5zLRbszMQN50eifwRLFEhDxjwJ7PkJOL4F2PMD0Guq7IjskslkxnO/7VPGVw2MQEKoj+yQiKwjSndFCW/USCBukuxoiKymmQLoo0ePYseOHcq/RqNRGYuv8vJy2aERnbWkLr64vH9XZSxOiMxmthknDfEOBS544MQJUV2V7IjskrigsvNYCTxdDHhwfJzscIisI0p2RemuKOGdOId3okmTNJMwPfXUU+jXrx9mzZqlJEliLL62bNkiOzSic/LwhHi4Oxuw7WgxftuVJTscIusMnQb4dAFKMoANDSU31Gaqao3K3CXhrtExCPZmmTlpiMmkluwK/f4NhHJpGNImzSRMn3zyiXL1/dSvUaNGyQ6N6JyE+rrh9pHqXL0X/khBdZ1RdkhElnPxAMbOUsd/vgyU5ciOyK58+OdhZJVUo4ufO26+IEp2OETWEXeWRMmusycwpmH9JSIN0kzCRGTPbhsRjVAfNxwvrmpqG0ykGb2uAML6A7XlwMqGtsF0znJLq/HO6kPK+LHJCXBzNsgOichyokS3cdmB4Q+oJbxEGsWEicgGeLg44ZGJ8cr4rZWpyCurkR0SkeX0emDi8+p4++dA9h7ZEdmFl5bsR2WtEf0i/HBx786ywyGyzvq31FJdn67A0LtlR0N0TpgwEdmIy/p1Qa8uviivqccryw7IDofIOt2GAomXAmYTsGQmwAYm52RvZgm+23qsaZFathEnTRGluWtfUcfjZgHO7rIjIjonTJiIbIRer8MTU9TFbP9v01Hszy6THRKRdcbNBgwuwOFVwMElsqPRLDE/d87vyUrOeXGfMJzXjcsNkMaI0lxRotvlPCCJyw2Q9jFhIrIhg6MDMalnKExm4Lnf2WacNCYgChh8hzpe8gRgrJMdkSYtS87FukMFcHHS49GGUl0izRAluaI0VxCluqJkl0jjuBcT2ZjpkxPgbNDhz4P5WHUgT3Y4RNYZ8TDgEQjkHwC2fCw7Gs2prTfh+YXJylh0xQsP8JAdEpHlxEW+xY+rpbmJ/wAihsiOiKhNMGEisjGRQZ64YVikMhZlOfVGk+yQiCzn5guMflwdr5oLVBXJjkhTvtyYjrT8CgR5ueCuUd1lh0NkHVGKm7ZaLc0dP1t2NERthgkTkQ26e0ws/D2ckZpbjq83Z8gOh8g6/W8AguKBqkJgzUuyo9GM4spavLrsoDJ+cHw8vN2cZYdEZDlRgitKcYUhdwL+6oU/InvAhInIBvm6O+P+cXHK+JWlB1BSxbkgpCEGJ2Biw3pMG98DCtS1hOj0Xl+eqrzX4zt548oBXWWHQ2QdUYIrSnE9goDhD8mOhqhNObXt0xFRW7lmcAQ+W38Eh/Iq8OaKgxiT0Am5ZdUI8XbDoKgAGPRsM0w2LHY80H0scGg5sPQptRlEeQ7g1QnoNgzQcxFWwWgyY1NaIfYcL8En69KUx564qAecDLyeSRpgMgLp64DCQ8DyZ9THREmuKM0lsiNMmIhslLNBj5lTeuCmT7bggz/TlK9GnX3dMOviRExK4mKWZMMmPAe8swJI+U39auQTBkyaByReAke2aE8WZv+6D1kl1U2PuTrpUVFTLzUuIovsWwAsegwozTzxmN4JcA+QGRVRu+AlLCIbVlPXcsOH7JJq3PnFNuWEi8hmFaSKtll/f7w0C/j2OvWEy0GJ9654DzdPloSaehPf22T7xHtXvIebJ0uCqR74/kaHfm+TfWLCRGTDpTrP/LavxZ81noKKq9NiOyKbLNURV59b1LDPLpqubudgxHtWvHdP987le5ts/719mv3TQd/bZL+YMBHZKDGv4dSrz82Jjyrxc7Edkc0R8xpOvfp8EjNQelzdzsHwvU2axvc2OSAmTEQ2SjR4aMvtiDqUaPDQltvZEb63SdP43iYHxISJyEaJbnhtuR1RhxLd8NpyOzvC9zZpGt/b5ICYMBHZKNE6XHTDa615uHhc/FxsR2RzROtw0Q3vdHuwTxd1Owcj3rNirbXW8L1NNk28Z8VaS61y3Pc22S8mTEQ2SqyzJFqHo5VTTjHPQfyc6zGRTRLrLInW4afbgye94JDrMRWU16C2vuUJ8Y1/Kb63yWbV15zmfduwzzroe5vsFxMmIhsm1ll659/9Eer799IcJ70O8aE+UuIisohYZ+nKzwCfVtYLc/eHozGbzXj8pz2oqjMhIsADoT4nv7fFe12857nGGtmslXPU+Ulu/oD3KfupuKss3vMOvsYa2R+dWRy9HURpaSl8fX1RUlICHx+eaJJ2iPbComOWmAQe4u2KN1ek4q9DBRjQzR/f3D6UV6LJton2wqJjljjJEvMadn8LbPsM8OsG3LUecPGEo/hlx3Hc93874GzQ4dd7LkBsiHez97Zahsf3M9msoxuB/01U7xBf8x0QM/bk97Yow+OdJbLD3MCpQ6MiorMiTqCGdg9s+r6rvwcmvboGW9KL8Om6I7jpgiip8RGdljiBihp+4vvOfYDUFUBxOrBsNnDhi3AEIimatWCvMr53TCwSGu4QN39vE9msuirgl7vUZKnvtUDcBPXx5u9tIjvFkjwiDQoP8MD0C3so4xcXp+BIfoXskIgs5+YDXPKaOt70HnDkL9g7Uczx5M97UFxZh55hPrhjVHfZIRFZZ+XzQEEq4BUKTJwjOxqiDsWEiUijrh0UgaHRgaiuM+HRH3bBZHKY6lqyBzHjgH7/Uce/TANqK2HPftuVhcV7c5S5h/On9oGzgR+/pCEZm4H1b6rji191yPmH5Nh4xCbSKL1ehxen9oaHi0GZA/H5hnTZIRFZR1ylFu2Hi9KAFc/CXuWX1+CpX/Yo47vHxCAxjHNoSUPqqtVSPLMJ6P0vIH6y7IiIOhwTJiKNl+Y9NilBGc9blIKjBfZ9lZ7sjJsvcHFDad6Gd4CjG2CPZv2yF0WVdUgI9cZdo2Jkh0NkndUvAPkH1KYOk+bKjoZICiZMRBr3nyHdlM5albVGPPrDTpbmkbbEjlcnkIuJ5D/fpU4styO/78rC77uzlMYtL13RBy5O/NglDTm+Ffir4aLGRa8AHlxMmRwTj9xEdlCaN39qb7g567HhcCG+3HRUdkhE1pfmifVcCg8BK56DPS1Q21iKN21UdyR18ZUdEpF1C9T+3FCK1+sKIGGK7IiIpGHCRGQHugV64tGJamneCwuTkVHI0jzSEDGB/KJX1fGGt4GMTbAHT/+6DwUVtYjv5I27x8TKDofIOqtfBPJSAM9gYLJjtP4nag0TJiI7ccOwSAyM9EdFrRHTf9yltDEm0oz4SeqEcnE12w5K8xbtycKvOzOVUrz5V/RmKR5pS+Z2YO0r6njKyyzFI4fHIziRXXXN6wNXJz3+Si3A15syZIdEZB0xoVxMLC84CKzS7uTyoopaPPGzWop3x8ho9O7qJzskIsvV1wI/TwPMRqDnP4HES2RHRCQdEyYiOxIV5IlHJsYr4+cXJuN4sbav0pODEVexxcRyYd0bwLGt0KLZv+5FfnktYkO8cO9YluKRxvz5EpC7F/AIAi6cLzsaIpvAhInIztx4fhT6R/ihvKYe039gaR5pjJhYLiaYi9I8sfaLmHiuIUv2ZuPnHZnQ64D5V4g7vgbZIRFZLmsn8Od/1fGUlwDPINkREdkEJkxEdkadM6G2L/7zYD6+23JMdkhE1hETzMVEczHhfPU8aEVxZS1mNpTi3TaiO/qGsxSPNFiKZ6oHEi8Fel4mOyIim8GEicgOdQ/2wkPj45Txs7/tQ1YJS/NIY6V5YqK5sPZV4Pg2aMEzv+1DXlkNugd74v5xLMUjjRFNHnJ2A+4BwIUNd5mISMGEichO3TI8WrnCXVZTjxk/7mZpHmmLmGguJpyLiee/TLP50rzlyTn4cdvxplI8N2eW4pGGZO8G1jS0DhfzlryCZUdEZFOYMBHZcWneSw3tjFftz8MP247LDonIOuLETUw8z90HrHkJtqqksg6P/7S76UJF/wh/2SERWc5Yp7byF6V4CRcBSZfLjojI5jBhIrJjMSHeTaVBonNXdkm17JCILCcmnIuJ54KYiJ65A7bo2d/3Iae0BtFBnniwoRSWSDNE2Wv2LnUBaVEKq9PJjojI5jBhIrJztw0X68D4oqy6HjN/YmkeaYyYeC4moDeV5tXClqzcn4vvtx5TzjFfnNqbpXikLTn7TjRWEc1WvDvJjojIJjFhIrJzTgY95k/tAxeDHstTcvHzDpbmkcaICehiInrOHmBtQzMIG1BaXYcZP6ileDedH4UBkQGyQyKynLEe+PlOwFQHxF+otvMnohYxYSJyAPGh3rh3bIwyfnrBPuSWsjSPNERMQG9cQHPNfHWCug2Y81syskurERnogYcnqAtGE2nGuteArB2Am6+6YDRL8YhaxYSJyEHcPrI7krr4oKSqTlkrhqV5pCliIrqYkG5quCouJqpLtOZAHr7ZktFQitcH7i4sxSMNyU0BVr2gjifNA7xDZUdEZNOYMBE5COeG0jxngw5L9+Vgwc5M2SERWU5kJmJCupiYLu4wiYnqkpRV12H6D7uU8fVDIzEoiqV4pLFSvF/uAoy1QOxEoM+/ZEdEZPOYMBE5kB6dfXD3aLVr3qwFe5VFNok0Q0xIFxPTBTFRPWevlDCeX5iCzJJqRAR44NFJLMUjjVn/JnB8K+DqC1z8KkvxiCzAhInIwdw1ujsSO/uguLIOT7I0j7RGTEwXE9RNDWvHiKvlHWjtwXx8vemoMp53eW94uDh16O8nOid5B4CVz6vjSc8DPmGyIyLSBCZMRI5YmndFbzjpdVi0Nxu/786SHRKR5cTVcDFBXUxUFxPWxcT1DlJeU4/HGkrxrhvaDUO7B3bY7yY6ZybRml9cZKgBYsYBfa+VHRGRZjBhInJAPcN8cddotWveU7/sRX45S/NIQ8QEdTFRXRAT13OTO+TXvvBHMo4XV6Grvzsem5TQIb+TqM1seBs4thlw8QYufo2leERWYMJE5KDuHh2DhFBvFFbUYtYvcuaCEJ01MVFdTFgXE9c7oDRv3aF8fLFBLcV78fLe8HRlKR5pSH4qsOI5dTxxDuDbVXZERJrChInIQbk46fHSFX1g0OuUsryFLM0jLRFXx8WEdTFxPXObOpG9nVQ0K8W7dnAEhsUEtdvvImqfUrxpQH01ED0a6H+d7IiINIcJE5EDS+riiztHdlfGogGEuNtEpBliwrqYuC6Iiex5+9vl17y4KAUZhVXo4ueOGRf2aJffQdRuNr4HZGwAXLyAS95gKR7RWWDCROTg7hkbg7hOXigQpXkLWJpHGiMmrosJ7GIiu7iKLq6mt6ENhwvw6fp0ZfzC5b3gxVI80pKCQ8DyZ9TxhGcBv3DZERFpEhMmIgfn6mRoKs37dWcmFu3Jlh0SkZWlea8Brj7qhHYxsb2NVNaeKMW7elA4hscGt9lzE7U7kwn45W6gvgqIGgGcd6PsiIg0iwkTEaF3Vz/cNiJaGT/x8x4UsTSPtERMYJ/QMKFdTGzPP9gmTzt/8X6kF1Sis68bS/FIezZ/ABxdBzh7Ape8yVI8onPAhImIFPeNjUVMiJfSYnz2ryzNI40RE9nFhHYxsb0NSvM2HynEJ+uOKOO5/+wFHzfnNgqUqAMUpgHLnlbH42cD/t1kR0SkaUyYiEjh5mzA/Km9odcBP+/IxNJ9ObJDIrKcuHouJrSLNWYyNqoT3c9SVa0Rj36/C2YzcOWArhgVH9KmoRK1eynegnuAukogcjgw4GbZERFpHhMmImrSL8Iftw5XS/Me/2k3iitZmkcaIia0T2iY4C4muosJ72fhv0v2Iy2/Ap18XDFzSmLbxkjU3rZ8BBz5E3D2UC8i6HmqR3Su+C4iopM8MD4O0cGeyCurwTO/7ZMdDpF1xMR2McFdTHQXE97F1XYrbE0vxEd/pTWV4vm6sxSPNKQoHVg6Sx2PexoIiJIdEZFdYMJERC2U5vVRKpx+3HYcK1JYmkdaK817U53oLia8i4nvFqquM+KRhlK8y/t3xZiETu0aKlGbEjvugruBugogYhgw8FbZERHZDSZMRPQ353Xzxy0XqFcmZ/y4GyVVdbJDIrKcmODeWJonJr4XHrboP3tl6QEczqtAiLcrnrqIpXikMVs/BtLWAE7uwKVvshSPqA3x3URELXpoQjyigjyRU1qD51iaR1pz3k3qhHcx8f2Xe85Ymrf9aBE++FNNrJ6/rBd8PViKRxpSfBRY8qQ6HvsUENhddkREdoUJExG1Wpr34tTeSoXTd1uPYdX+XNkhEVlOXF0XE97FxPf0tepE+DOU4pnMwGX9umBcIkvxSGulePcCteVA+BBg8O2yIyKyO0yYiKhVAyMDcOOwE6V5pdUszSMNERPex81Wx2IifJG6rtKpXlt+EKm55QjycsWsi1mKRxqz7TPg8ErAyQ249C1Ab5AdEZHdYcJERKf1yMR4dAv0QFZJNeYuTJYdDpF1Bt4CdDtfnQgv1qYRV+Ob2ZlRjPdWq+3H51yWBD8PF0mBEp2FkmPAkifU8ZgngKAY2RER2SUn2QEQkW1zdzHgxct746r3N+DrTRmYmBgKV2cDcsuqEeLthkFRATCI1W6JbLk0753zlQnxps0fIbmuM6qKjsPZtzMe3eShlOJd0icME3uGyo6W6PRMRiB9HVCeA3iFAGtfBWpKga4DgSF3yY6OyG7pzOZTLrfZoCNHjuDZZ5/FihUrkJ2djbCwMPz73//GzJkz4eJi+dXA0tJS+Pr6oqSkBD4+Pu0aM5G9eXrBXnyy7ghEbiROMBt19nVTypgmJXWWGR7R6W14B1g0HaZTSisyzQF4UXcjnnpkOgI8eXeJbNi+BcCix4DSzJMf1zsBd64HguNkRUakWZbmBpooyUtJSYHJZMJ7772HvXv34pVXXsG7776Lxx9/XHZoRA6jX4Sf8m/zZEnILqnGnV9sw6I9WXICI7LA9mJ3pRrv1A+9UBTiZfN/kb72a0mREVmYLH173d+TJcFUD+SlyIiKyGFo4g5TS+bPn4933nkHhw9btr5G8yyyqKioxSxSp9MpX41Ektaac9lW/Mlb+7O317aCvtmaDLK2bR4zt9XOtiJJGv7iSmUeU4vPJU48fd2w5pFRcDLopcd7ttu25/uexwhIe52N9fUofD4BIeYCpetjS/t3ri4QgY+nwODkZHP7Jbe1nW2lHCNMRuhe7w1dS8mSiF8cgX3CYL53p9LwgccIbsttLd9W5Ab+/v5nvMOk2TlM4n8sICDgtNvU1NQoX43EH0XIzc1FVVXV37Z3dXU96TnFdq394UUpYGBgYNP3eXl5rR7snJ2dERQUdNK2RqOxxW3FC+nh4dH0fWVl5WkPdM23Ff9Ppzs4e3p6ntW21dXVrcZr7bYi3sadVbw29fX1bbKtu7t70wG3trYWdXV1bbKtm5sbDAaD1duK7cT2rRH7mpOTk9Xbir9B8326pf1S7G/WbiteM/HatWZnVlWryZIg9lDx8yXbD2FwVEBTqazYx1p6rzUSv9/SbcXfQPwtlN9nNivvjbbYVrxm4rVrVFFR0Sbbin1M7Gtns60173seI8687ZGdqzAUBWpm3wJRZhqKAqxf8QMi+4ziMeIsjhHN38vWbMtjxJmPES6ZGxHYSrIk6MQRuPQ4Cnf+jtqwwTxGnOW2PI+wnWOEl5cXvL29m2LIz88/7b7TmOiI5xXn2KfbH8SNE0Hsu+I8v6ysDJbQZMKUmpqKN954Ay+99NJpt5s7dy5mz25oKasR4oD5119/NX3ft2/fkw5mzYmDVfNte/furexkLRFvpqVLlzZ937Nnz6ad5lRih2u+bY8ePZTsuzXNt42LizspOTyVmIfWeICNiYlBSEhIq9uuWrWq6eAWFRWFzp1bnyOzdu3apjd1t27d0KVLl1a3XbduXdOHbnh4uPLVmk2bNqG8vFwZi7lzkZGRrW67ZcuWpqQ8NDQU0dHRrW67Y8cO5U6nEBwcjNjY2Fa33bVrFwoKCpSxSNLj4+Nb3VaUrDYeLMRrJl6705W6ijmBgjjYJCUltbrtnkNHYYn8ijrlrm9GRkbTh0q/fv1OOz8xPT296YB+3nnntbqteM60tDRlLA78gwYNanXbzMxM5TghiA+1IUOGtLptTk4ODhw40PT9sGHDWv//y89HcvKJToGDBw9u+nA7lXh9xX7ZaODAgU0fLKcS+03zbfv373/SSVdzPEZYf4yoK1H38zNp3I7HCOuPEQcPHlTed4LYx8S+1hoeI6w7RugrWz8BbGk7HiNO4HmENo8RtkhqSd706dMxb968024jDjwJCQlN3x8/fhwjR47EqFGj8OGHH1p9h0ns1LZQkidiEW96cSA99WDa/Lma36ZuSfNtT/093Nb+tj3TPnHq7ei22nZ/kRmv7zlzJ7z7egGxvu0TA7c9gccI67atzNyHK44/hzP5rssT8AhLlB7vuWyrhX2Y21q3bUDpPgzdf+b9d338Eyj0UdcR4zGC27a2rS3s70ajURmPGTOm6U5ScyzJO8VDDz2EG2644bTbNM+uRWY6evRo5erO+++/f8bnF1ejGm+5Nyde0DMdQBq3s5Q12za+YGIHFlfBTk2YWrsa1RJuy207QkKgGX6uJhS3fmce/q5AfIAe+tMctKlt2MK+pqVtPbskIvtYAEJQqJTfnUp8vuYgQNlOrzdIj7c9tyXtKfHriRpnX7jUlbRYVSpOD6tdApXtDDq9zexr3Fab23aU2tpa5Vz4TOfPZ0oGz3VbS8/fpSZM4hai+LKEuLMkkiVxO/7jjz+2KkEhonMjkqCrYvR4b2/rd1LDvVqdIkIk1bEKPX6vvw5vOL2qNHhonjSJZEl8vta7BjDZJ5vkVlsImI3K8VUkR8330sZr6SmR1wMNyRIRtT1NvLtEsiRK8CIiIpR5S6K2UtRMNtZNElH76xesw+099fA75aatR8Nll10FwJIMTTbdJDuWW2nGG7tM+N04CI/r70cuTm4WVAQfGKFH15pU9Ez7UM2giGyEc10ZBiTPgWt9Oaqc/VHjfPI8IHFnaUfcg8gJGCwtRiJHoImmD2IyoJicKb66du160s8kTsEicsikqU+QHgeLgdJaM3xcdIj1A5ZlmPHjYTN+OmyGt7MJwzpr4loM2bmSGjNe32VCWR3Q1RMY3G8ItukHoTIrGfrqIpjc/OHRuQc6F21G34OvIjx3OWqc/ZAafqXs0IlgMFbjvP0vwKs6E1UugdjY8xlUuwQgoDQZrnXFyr5a6NODd5aIOoAmEiYxz+lMc52IqGOIsqV45SLnicKQCRE6lNWZsDTDjC/2m+HlbEbvIJY3kTxV9eqdpfxqIMgNuKe3Hu5OYp80wKvLyZ2ccgKHYF/9zcodppjjP6DW2RtHQydLi51IZ6pH3wOvwK88FbUGT2xJeBzVrmrnuELfnrLDI3I4vCxBRG3in9E6DOmkg5jl9ME+E1KLefeX5KgzmvH2bhOOVQA+zsB9ffTwdT19Ap/RaTwOdr1CGfc48ilC80+0WibqUGYTeh1+B8ElO2DUu2BbwnRUeJxcXUNEHYsJExG1CdFt5j/xOvQKBOpMwFu7TThezqSJOpbRZMaHySYcLAHcDMDdvfUIdrfsbuehLpcjvdNEZSHQ3ofeQmDxrnaPl+gkZjMS0j9HWP5amHQGbI99EMXecbKjInJ4TJiIqM0Y9DrcmqhHdx+gyghl/kh+FZMm6hhiTutXB83YmQ+I6rs7k/SI8LaiNFSnQ3LkDcgKGAq92Yh+B16CT7m6uClRR4jK/AWR2QuV8e7oO5Hv3/qivkTUcZgwEVGbcjHocFcvPcI8gZJaNWkSDSKI2tsvaWb8lWVWZtfdnKhHvP9ZzKPT6bErZhryfXvByVSDASkvwLNKXZ2eqD11yV2B+IyvlXFyt+uQFTxcdkhE1IAJExG1OU9nnTLJPsAVyK0C3txlQnU9kyZqP8uPmbDoqLqPXROnUzo6ni2z3hnb4x5CiWc0XOob2jqLtXCI2klI4WYkHX5fGR8OuxTpnafIDomImmHCRETtwt9Vh3v76OHlDBwtB97dY0KdWDWUqI1tyjHhu1R137okSofhYef+0WY0uGNLwgxUuHWGe22+kjQ515e3QbREJ/Mv3Yc+B19T5s4dCx6NA+FXyw6JiE7BhImI2k2ohw5399LDVQ+kFAMfJ5th4tpp1Ib2FpjxSYq6T43uosPkiLZrZ1/n7KO2c3b2h3fVMfRPmQe9sabNnp/Iu+II+u+fD4O5Djn+A7A3+lZlLh0R2RYmTETUriJ9dLg9SQ+DDtiWZ8Y3B81ccJraRFqpGe/tNUHcuBwYosMVMTqlW2NbqnILwZYej6PO4An/8gPKArdijRyic+VenYPzUubC2ViJQu8E7Iy9D2adQXZYRNQCJkxE1O4SA3S4sYdOmYy/OtOMhelMmOjcZFWYlblxtSYg0R+4PkGnLKrcHso9IrA14VEYdc4IKd6GpMPvKWvlEJ0tl9piDEh5Hm51xSjziMC2+Edh0rvIDouIWsGEiYg6xIAQPa6KVU9ofz1ixprjPOGks1NYbVa6L1bUA5HewG099XDSt28ZU7F3AnbEPQAT9OiSvwbxR79q199H9stQX6ncWfKszkala7BS9lnv5Ck7LCI6DSZMRNRhRnXRY0o39cT264NmbM3lnSayTnmdmiwV1QCd3KHMkXMTiy51gDz/87Cn+x3KOCrrV0RmLuiQ30v2Q2+qRf8DL8G38ghqnMQcuZmocfGXHRYRnQETJiLqUBdF6jC8s+gHJZpAmJBSxKSJLFNjNOOt3SZkVwJ+LsB9ogujS8dOkM8MHomUiGuVccLRLxGWt7pDfz9pmNmE3qlvIrB0L+r1btiaMAOV7p1lR0VEFmDCREQdSkzKv1qskxMEiKWZ3tljQnoZkyY6PaPJjPf3mpBWCng4QWlZH+Amp5vYkbBLkNb5YmWcdOhdBBdtlRIHaYjZjMS0jxBauBEmnRO2xT+CUq9o2VERkYWYMBFRhxOT829K1CPeT9w1UBe2zalk0kQtE63oP9tvxt5CwFmvluGFecptvbw/4hocDxoBPUzoe+AV+JWlSI2HbFvMse8QkbsMZuiwM+YeFPomyQ6JiKzAhImIpHDW63BHkh7hXkBZHZR5KcU1TJroZKIF/Q+HzNiYY1Y+sESDh2hfG1inRqfHnujbkevXX1lD57yUF+FVeVR2VGSDIrIXI+b4D8p4X+RNyAkcIjskIrISEyYiksbdSYd7eusR7AYUVANv7DKhso5JE52wJMOM5cfUfeK6BB16BdpAstTArHfCjtj7UeQVB2djBQYkPw+3mjzZYZENCS1Yjx5HPlbGB7tORUboBNkhEdFZYMJERFL5uOiU+Sg+LsDxCuDtPSbUGpk0EfBXlgk/HVb3handdRgSansfWSaDK7YlPIYy965wqyvCwOQ5cK4rlR0W2YDAkl3onfoGRIub9E4TcKjLVNkhEdFZsr1PHyJyOMHuOtzbWw83A5BaAny4z6RM8ifHtTPfjC/2q/vAhHAdxoXb7sdVnZMXtvSYiSqXIHhWZ2FAylwYjFWywyKJfMoPod/+l6A3G5EVMATJkTeKjjeywyKis2S7n0BE5FC6eukwrZceYkmdXQXAlwfMyvwVcjwHi81K0ixe/WGhOlwWbfsnmjUuAUrSVOvkDd+Kw+h34L/Qmepkh0USeFRlKkmzk6kG+T5J2BVztzLnjYi0i+9gIrIZsX463NJTD3F6vC7bjJ/TmDA5mmPlZry924Q6E9A7ELg2Tqe0oteCCvcwbEmYjnq9K4JKdqP3obeUtXfIcbjWFmJg8vNwqS9DiWc0tsc/DLPeWXZYRHSOmDARkU3pG6TDv+PVE+TFR81YlsETTkeRX2VWGn9UGYEYX+CWRD0Mem0kS41KvWKwPe5hmHQGdFYm/H+irMFD9s+pvlxp/OFem4cKt87YmjAdRoO77LCIqA0wYSIim3N+Zz3+EaWeKH8vWkpnM2myd6W1Zry2y4SSWiDME7gzSQ8Xg7aSpUYFfr2xq/s0Zc2dbjmL0f34j//f3p1AR1GlewD/VyXd2feNhGyEAGFXAREYnyIggyvyXJ46oo6zOAfn6fhcBj0qnqOPmXnqzJvR5zJnjjCDngEHAQcdNaKiiAs7BiGQkIWQkJWsJOmkq965t+k2hFQW6E53df9/5zTprlTfvlTdVOrLvfe73q4SeZhq78S0wt8hqv0YOixx2Jn3GGyWGG9Xi4jchAETEfmkhZkKrkh33DCvLtRRUM+/0vur9m5dLl5c2w7Eh0AmAImwmDNYcjqROAcHs++Uz8dUrENGdb63q0QeomjduODIHxDXUoiuoAjsHP8Y2kOTvV0tInIjBkxE5JPEvBWRSvriZAUiYd5rBzQcbWLQ5G+6NB2vFGgobwUiLcD9U1XEhpg7WHIqH7EIRSOXyOcTSv6ClPqvvV0lcjddx8SS15DcuBt2xYJd4x5Ba3imt2tFRG7GgImIfJaqKHKx0onxgE0DXvpWQ2UbgyZ/oek6Xj+oobARCAkCfjlZRUq4fwRLTkXpN+NY8jy5Fs/Uoj8ivqnA21UiNxpb/ibSa7dCg4q9Y3+Fxug8b1eJiDyAARMR+bRgVcHPJqoYFQW0dUMmBWjoYNBkdiJl/N+P6NhdC4ipSvdOVJEV7V/BkqQoODDqJzgRfzFUvRsXHX4OUW0l3q4VuUF25T+RU/WOfH4g52eojZvm7SoRkYcwYCIinxcSpGDZFBUjwoGTncAf92to7WLQZGbvlun4rFKkRQDuHq9gfLwfBktOior9ub9EffQEBNvb5Ro94R0nvF0rOg9ptVuRV75GPi/MvA3Hk+d6u0pE5EEMmIjIFCItikwGEBcCnDgFvCTST3drKDypY0e146sY4kW+R5yXnufpkwo7Npc6ztUtYxRMT/b/X0WaasXusQ+jOTwbIV1NmH7wWYTYTsp1muKbDiC17gv5les2+aBe5yipYScmFb8iv1WSejVKUq/zdg2JyMOCPf0BRETuEh+q4JdTVDy/R0NJC/DwFzq6XUGSjtgQ4JZcFRcm+XFvhcnsqdWxtkhDY6dzy/dB7dVZCi4f6f/BkpM9OBw785Zj5oEnEdFZjZkFT8hheqFdJ137tFvjcSj7LlTHz/RqXckhpeFr5JWuQpitAT1bsLjCHE+8FIWZP5LDLonIvwXObyoi8gtpEQoWZDhuULp7dSiJm/JXD2jyJp28T5wHcT6+D5bONDICAcdmjcXO8Y+jKygc4bZahPQIloRQWwMuOPyCvFEn7xLnQJwLcU56ElcfcYWpiZ0mh1sSkf/jTzoRmW5416eV/QdE64o0Ds/zMnH8Rc9Sf94qDsxhlO0hSdBUi6unoifn67zS1Rye5026JnuWBKP+o7zyv/EcEQUIBkxEZCpHGh09Sf0RiSHEfuQ9PE/G4psPynlMRjfiYnuYrV7uR94hjr0YhsdzREQCAyYiMpVmm+7W/cgzmnieDIV0Nbp1P3I/niMi6okBExGZSrR1cBOsjzbrsGuBdzPuC4616PigXHfr+fQnnZbYQe1nCwrASV4+IKyjBhnV+W49l0RkbsySR0SmMiYWMhveQMO9PjkOFDZquDlXRV5c4N2Ue0OLTcc7JTq2Vek9cuEZEynixfkMNA3R42U2PJFMoL+WOenoayjM+hFOJMxiJrZhEGTvQM7xjciu2owgvcvVhvs68uJ7HdYEeS6JyP+xh4mITEVVFJk6vD9zUoGIYKCyDfjDPg0vF9hR287eJk/p1nR8dEzDk19r+Px0sDQ9WcFtY/u/yRfBrDifAUdRZepwoXer1E8/OoOjENZVjwuK/hcXf7cC0W1HvVLVgKBrciHaS/c+gNGVG2SwVBc9CYeyljq+3Xv3018PZd/JLHlEAYI9TERkOmKdpZ9PVHut7+PosRA34eL7S3J0uTjq1uM69tUBB+o1zEtXsChLQWhwAN6ke4Cu6yhoAP5RpKG63bEtMxK4KVfFmFjHMY6y6P2ep0Al1lnaO/bBs9b4Eb0W4ka8NvZCjKr8J3IqNyK+5RBmffsYKpIux5GM/5Cpyck9YloOY3zpasS2FcnXp0JScCjrDtTETZe9eh0hiYbniGtlEQUORRe/8QJEc3MzYmJi0NTUhOjoaK/XJT8/H1arFRaLxat1ITIrkZJaZFkTiQPEXBgxvKt3j0Vlmy5v6L87vdxNtAVYnKPgkhFKYPZuuEmVOK7FGg6cvo+MOn1cZ/VxXAdzngKWrp3Omtco58PIIV49ei1CO+swtvxNpNV/IV93B4WhaOQSlI1YBF3l745zFWJrkMd1ZN3n8nW3Gori9CUoHXHV2cd1gHNEREPT1dUFm82GBQsW+MT9+GBiAwZMXqwLAyai4SEuc9/Wi3V/NNT26Am5eYyK3BjeuA9FW5eOd0t1fHpch1iBJkgBrkhXcFWWgjD23HlMbEshxpeuQszpoXltsidkKWrjxOKpPO6DpWo2ZMueu00I1jqhQ8HxpMtwOONW9twRDZMuEwZMHJJHRH5PURRMSQQmxKv4uELHe2U6yluB5/ZomJGs4IYcBfGhvOnsj8g4KJI5iKQObd2ObVMSgH8frSIlnMfO0xqjxuHLSc8ire5z2TMS0VmNaYf/B3UxU2Tg1Bqe4e0q+jZdR0rDV8grewNhtlq56WTkWBzMvgvNkaO9XTsi8nEMmIgoYASrCq7MFMPxdGwq0bG9SseOGh1763QszFRwZYYCq+gyoTMcOqljXZEmk2gIaeHAjbkqJsTzWA0rRUVl0mWojr9YZnMbVbUZiU37MXv/IziWsgBF6TehyxLl7Vr6nKi2EjlPKb7FschsuzUBhZm340TCbPbOEdGgMGAiooAj5tHcMU7BZWk63irScKQJMkHEF1U6luQoMsOb6JUKdCKzoJinJJJmCCLz4LWjFFyaqiBI5fHxFntQGI5k3oqK5CswrnwNRjR8g6zqD5Batw1FGTfhWPIC6Cp/vVu7mjDm2N+RXvMJFOiwq1YcTbsOJanXQQsK8Xb1iMhEeEUlooCVGaXgwQtU7K4F1hdraOgE/nLQMT9HzG/KigrMoKCjW8e/ynRsqdDRrTvWn7hspIJrshVEWALzmPii9tAU7B37X4hvKsD4stWIOlWOCaWrkFH9EQ5l3Yn62CkIRIrWjawT/8Lo4+thsTsmLVYmzMHhzNtk1jsioqFiwEREAU30JE1LBiYnqPjomI73y3UUNwO/2aXJjG/Xj1IQExIYQYLIZvfVCR0bS3Q02xzbxsc50oSnRQTGMTCjhphJ2D75N0iv+Rhjjq1FVHsFZhx6FjVx03Ao8w6cCktFQNB1JDXuRl7Z3xDRUSU3NUXk4GDWnWiMzvN27YjIxBgwERGJ4TtBCq7KFmmxHQHD19U6tp/QsbtWl2s3iUxwFj8ehlbc5JinVNbieJ0UBtw0WsXkBEdQSb5NV4LkPKaqhFnIrViPzOoPkHxyFxIb98pU2cUjl8AeHA5/FXGqQvayiTldQqclRma+ExnwmAKciM4XAyYioh7iQhXcPd4xv2nt6QBiw1Ed2yp1mRFuaqJ/BRANHbr8/4nkF0JoEGSK8Ll+HiD6q+7gSLmo6rGU+cgr/SuSmvYip+qfGFn3GY5k3IKKpLl+FUBYuluRW/EWMk58CBUaNCUYpalXozhtsV8HiEQ0vBgwERH1ISdGwaMXqfim2hFQ1HYArxzQkBfrGKI2MtLcwYTNruPDYzo+KNfRpQHifzM71TEEUSTFIHNrCxuJXeOXI/HkHtnzIoaoTTr6mgwsDmXfhZNi8VUTU3S7nKuVW7EO1u5Wua06bjoKs+7AqdAR3q4eEfkZBkxERAZURaQgV3BBomNuk5jjdKgReGanhn9LU2TGuMgeSRDEHKAjjUCzTZdBx5hYRxneYFQXsYjvzhodbx/VcbLTsW9uDHBzriqTYJB/qYu7ENtiJssherkV/0DMqVLM/G4FquJnoTDrdnSEJH2/s64hvvkgQroa0WmJRYMIqrzVG9VPXRKa9iOvdLWcqyW0hKXLXrX6mMBMckFEnseAiYhoAKHBChbnKPhBqi6z6e2pA7ZWOoaxicxxl6Up2F8POYSv8XQQAuiIDQFuyVVxYdLwBiJ7avU+63LFSAX76hxJLYT4EGDJaAXTkphG3Z+JFONlqVejMvFSmRQio2YLUhu+RPLJnSgRabbTrkNi0z7kla5CmK3B9b52a7zsjaqOnzms9U1p+LrPuhxNWyznKKWc3Cm32YIjcST9ZlSkzJdzuIiIPEXRxZ8bA0RzczNiYmLQ1NSE6Ohor9clPz8fVqsVFovFq3UhoqEpPL2Q6/HTC7nGWoHG01nl+vLzicMXNIlg6dUDWr/7WFXIhXoXcKHegBTVVoq8stVIaP7OFXiIuUBCz9bgvDnYO/bBYQuaRLB0weEXDOsitmlQUT5iIYrTb0RXcOSw1IuI3Kerqws2mw0LFizwifvxwcQG/jPzk4homIyLU/D4dBW3jVXkYq79BUuCCK7EEDlPE58hepYGCpaemqHg6myVwVKAaonIxo7xT2LPmAdxypoo5wCJltC7NThfi+FvYoicx+ma7FmCQV3Ew65Y8MXk38qeLwZLRDRcOCSPiOgciPlAYh5TrFXD/xX0HwyJuUIPbdMQ7OE/UXVrwCl7//vYNKCuQ0FCmGfrQj5OUVCdMBPdQaGYcei/jXcDEGarxxU7fyKH9nm0Slo3rPbT3bYGgvQuhHS3oP+9iIjciwETEdF56BwgQHGSgcwg9/U0kQji7L/hUyByZpgbcD8RyPhI+xWJIIiIhlNABkyapsnHYInJ0M4J0WLKl3j03OYscyicZfSkqqqr/L4+eyhl9yxDlNu7jizXfeU6y+jdBpyfNxR91c1s5Rodd18r11nG+ZYbGyr+HfhOcmmeiuxo1e317dmGS5s1/PXQwNeimJCzrz1m+pkzW7m+/LNsC4kf1H7fjvo5WqLHwJM/y9GtRZhU/MqQ6+zr1whvl+vLPxss1/evEZ4oV1XVM9pqf/fYvY+Vu+7dndsGe/8ekAFTTU0N2tvbB71/bGwswsIc41c6OjrQ2NgokzUkJCS49qmtrR1y0JSSkiLfJ0RFRWHcuHGyXgcOHHDtM3HiRNdnD1ZlZaV8CKGhoZg0aZKcYLdv3z7XPuKzxGcO9biVl5fL58HBwZg8ebJ8vnOnI2ORkJOTg/j4wf0CdmpoaMDRo0ddr6dPny6/7t27F93d3fJ5ZmYmkpOTh1RuS0sLCgsLXa+nTp0qE2wUFBTI8yikpaXJx1AYnSPxWeIzhaSkJGRlZQ2pXKNzVFxcjJMnT8ptcXFxGD16NIaqr3NUVlZ2Vvsbqr7OUV/tb6j6OkdG7W8o+jpHRu1vsCZoOl4/uBcNHeLnv69fmrpMCnH35RMQGmIdUtl9naP+rhF2Tcf7FQWoae0yLDM50oJLcuNRXVUlX/MaEeDXCG0C7KWvQG07YdB6gXZLPOozF2Jc3gR49Bqh2WE/sRFqWzUUV5qHnnVRoEWkIH32TWj87qBprhFCX+fIqP158hoxWLyPcOA1wrP3EadOnUJkZCSCgoJcCRic25xtS5y/urq6Idc3MTHR9fPU2toqH+Hh4TLBgyDu2UV7dB7vgQRkwOQrRAOx2+3yIRq5IKJdkTnE6VyialGeswxnIxR6ljvU4K53uT3ff77livf0LKNnuc4Lnfhsd5XrzM5yruUanaPzLdfoWIpj4NzuPB7uKLfn+XS2v3Mpt/c5Mmp/Q9HXsTRqf+dbrlE7GawgVcFteVa8uFf88uw91M3RNq7P6JL7DVVf56i/a4T4jF9dlo7l75YYlim+D62V1wheIxzUIDTPfgyx+f9p0HqBfam3oktMkPP0NcJVl/tlcNQzaBKvBfF9sZ+ZrhFG58gd5Q71GnEu5fIaEeDXCA/fR5hFQKYVF1H2UNIYemJIniCiaOf7enfNOp3r6elZXzOVa1Q2y/XNco3KMGu551P2lsJ6/Da/GNUt3/9SGREdgkfm52B+XuKw/sx9VFiH3+UfPaMuKVFWPLIgB/PHJZ5zuZ6q71DKNSqb5Z5fuZai9xH6yVNQWx09j4IWmYqOuU+je8yiYf1ZDj7yL4R9uuKsurRfvkLW5VzLdUd9z6dsljs85RqVzXJ9q9ygoCDZ4zPYoXPnUt/BlCtiA9HrNlBa8YAMmHxhHSYi8j9iSNw3JQ2oaelAclQoLh4Vf049S/5WFzIJzQ6UbQdaq4HIFCBrtuzNCfi6EBECPTZgwERERERERAGnmQvXEhERERERnR8GTERERERERAYYMBERERERERlgwERERERERGT2gOm6666Ti46JBdRSU1Nxxx13uBZVIyIiIiIiCuiAae7cuVi3bp1cBXn9+vVy1eIbb7zR29UiIiIiIiI/Ztq04u+88w4WL16Mzs5OWCyWQb2HacWJiIiIiGgosUEwTKihoQFvvPEGZs+e3W+wJIIp8eh5UIiIiIiIiPxuSJ7w6KOPIiIiAgkJCSgvL8emTZv63X/lypUyanQ+MjIyhq2uRERERERkfl4NmH79619DUZR+H4cOHXLt//DDD2PPnj348MMPERQUhKVLl6K/EYXLly+XXWzOx7Fjx4bpf0ZERERERP7Aq3OYamtrUV9f3+8+OTk5sFqtZ22vqKiQPUbbt2/HrFmzBvV5nMNERERERESmmcOUlJQkH+dC0zT5teccJSIiIiIiIncyRdKHr7/+Gjt27MAPfvADxMXFyZTiTzzxBEaPHj3o3iUiIiIiIiK/TPoQHh6Ot99+G/PmzcO4ceNwzz33YMqUKdi6dStCQkK8XT0iIiIiIvJTpuhhmjx5Mj7++GNvV4OIiIiIiAKMKXqYiIiIiIiIvMEUPUzu4kwIyAVsiYiIiIgCW/PpmGCgpOEBFTC1tLTIr1zAloiIiIiInDGCSC/uk+swDTeRiryyshJRUVFyUVxvR7QicBOL6XJNKDIbtl8yM7ZfMjO2XzK7Zh9qwyIMEsFSWloaVNV4plJA9TCJA5Geng5fIhqKtxsL0bli+yUzY/slM2P7JbOL9pE23F/PkhOTPhARERERERlgwERERERERGSAAZOXiAV3n3rqKS68S6bE9ktmxvZLZsb2S2YXYsI2HFBJH4iIiIiIiIaCPUxEREREREQGGDAREREREREZYMBERERERERkgAETERERERGRAQZMHvLSSy8hOzsboaGhmDlzJr755htvV4novNvpihUroCjKGY+8vLxhqy/RQD777DNce+21ctV20T43btzo7SoRuaWd8vpLZrBy5UrMmDEDUVFRSE5OxuLFi1FYWAizY8DkAWvXrsWDDz4oUybu3r0bU6dOxcKFC1FTU+PtqhGddzudOHEiqqqqXI9t27YNW52JBtLW1ibbsvhjAJG/tVNef8nXbd26FcuWLcNXX32F/Px8dHV14corr5Rt3tREWnFyr4svvlhftmyZ67XdbtfT0tL0lStXGr4nLy9PpHfv8/GnP/1pmGpOgeRc2ulTTz2lT506dUifw7ZN3iLa2IYNGwbcj22UzNBOef0lM6qpqZHtbevWraZup+xhcjObzYZdu3Zh/vz5rm2qqsrXX375peH71q9fL79u2bJF/tWotLRUvu+tt97CT3/602GpOwWOc22nwpEjR+QwkpycHNx+++0oLy/vd3+2bfJ1bKNkFrz+ktk0NTXJr/Hx8aZupwyY3Kyurg52ux0pKSlnbBevT5w4Yfi+6upqBAcHY86cORgxYoQsR9M0XHrppaZaCZn8u52KeU6rVq3C+++/j5dffhklJSWyjba0tBi+h22bfB3bKJkBr79kNpqm4YEHHpDtb9KkSaZup8HergA5fPvttxg7dqyrYezbt09Olut9Q0vkTYsWLXI9nzJlivwFnpWVhXXr1uGee+7p8z1s2+Tr2EbJDHj9JbNZtmwZCgoKBpxrZ4Z2yoDJzRITExEUFCSj5Z7EaxE1G9m/fz8mT57sei0aS8/XRL7QTnuLjY2VF7mioiLDfdi2ydexjZIZ8fpLvuy+++7D5s2bZUbI9PT0fvc1QzvlkDw3s1qtmDZtmhyH6SS6FcXrWbNm9dtYxF+MejaWnq+JfKGd9tba2ori4mKkpqYa7sO2Tb6ObZTMiNdf8kW6rstgacOGDfj4448xatSoAd9jhnbKgMkDRKrmP//5z1i9ejUOHjyIX/ziFzKd4t13393n/uJG9cCBA2c0DnERFOvjEHmrnb744ouYN2/eGe956KGHZMpQMSFz+/btuOGGG2RP1a233trnZ7BtkzduIvfu3SsfgpjnIZ4bTY5nGyVfbKe8/pKZh+GtWbMGb775plyLScyLFo/29nZzt1Nvp+nzVyINYmZmpm61WmX65q+++spw38OHD8vUiWVlZa5tixYt0mNjY/Vt27YNU40pEPXXTkUK26ysrDP2v+WWW/TU1FS5/8iRI+XroqIiw/LZtmm4ffLJJ32mpr3zzjv73J9tlHyxnfL6S2YFg/Tgr7/+uqnbqSL+8XbQRkRERERE5Is4JI+IiIiIiMgAAyYiIiIiIiIDDJiIiIiIiIgMMGAiIiIiIiIywICJiIiIiIjIAAMmIiIiIiIiAwyYiIiIiIiIDDBgIiIiv/Dpp59CURQ0NjZ6uypERORHGDAREZHPE4FQf48VK1a49bM2btzotvKIiMjcgr1dASIiooFUVVW5nq9duxZPPvkkCgsLXdsiIyOxc+dOL9WOiIj8GXuYiIjI540YMcL1iImJkb1APbeJgMlp165dmD59OsLDwzF79uwzAith06ZNuOiiixAaGoqcnBw8/fTT6O7ult/Lzs6WX2+44Qb5Gc7XxcXFuP7665GSkiI/a8aMGfjoo4+G9RgQEZF3MGAiIiK/8vjjj+P555+XPU7BwcH48Y9/7Pre559/jqVLl+L+++/Hd999h1dffRWrVq3Cs88+K7+/Y8cO+fX111+XvVrO162trbjqqquwZcsW7NmzBz/84Q9x7bXXory83Ev/SyIiGi6Kruv6sH0aERHReRIBzgMPPHBWcgeR9GHu3Lmy52fevHly23vvvYerr74a7e3tskdp/vz58nvLly93vW/NmjV45JFHUFlZKV+LnqUNGzZg8eLF/dZj0qRJuPfee3Hfffd55P9JRES+gXOYiIjIr0yZMsX1PDU1VX6tqalBZmYm9u3bhy+++MLVoyTY7XZ0dHTg1KlTchhfX0QPk0gs8e6778qeJzGETwRh7GEiIvJ/DJiIiMivWCwW13PRWyRomuYKfMScpSVLlpz1PtEDZeShhx5Cfn4+nnvuOeTm5iIsLAw33ngjbDabR/4PRETkOxgwERFRwBDJHkQSCBH09BdwiV6nnkSv1F133SWTQTgDr9LSUo/Xl4iIvI8BExERBQyRjvyaa66Rw/NED5GqqnKYXkFBAZ555hm5j8iMJ5I7zJkzByEhIYiLi8OYMWPw9ttvy0QPotfqiSeecPVaERGRf2OWPCIiChgLFy7E5s2b8eGHH8rU4Jdccgl+//vfIysry7WPyLAnht9lZGTgwgsvlNteeOEFGTiJNOUiaBLliN4qIiLyf8ySR0REREREZIA9TERERERERAYYMBERERERERlgwERERERERGSAARMREREREZEBBkxEREREREQGGDAREREREREZYMBERERERERkgAETERERERGRAQZMREREREREBhgwERERERERGWDAREREREREZIABExEREREREfr2/3EI8Kn+tnT4AAAAAElFTkSuQmCC", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "fig, ax = plt.subplots(figsize=(10, 6))\n", "\n", "# results from hardware\n", "ax.plot(phases / np.pi, chsh1_est, \"o-\", label=\"CHSH1\", zorder=3)\n", "ax.plot(phases / np.pi, chsh2_est, \"o-\", label=\"CHSH2\", zorder=3)\n", "\n", "# classical bound +-2\n", "ax.axhline(y=2, color=\"0.9\", linestyle=\"--\")\n", "ax.axhline(y=-2, color=\"0.9\", linestyle=\"--\")\n", "\n", "# quantum bound, +-2√2\n", "ax.axhline(y=np.sqrt(2) * 2, color=\"0.9\", linestyle=\"-.\")\n", "ax.axhline(y=-np.sqrt(2) * 2, color=\"0.9\", linestyle=\"-.\")\n", "ax.fill_between(phases / np.pi, 2, 2 * np.sqrt(2), color=\"0.6\", alpha=0.7)\n", "ax.fill_between(phases / np.pi, -2, -2 * np.sqrt(2), color=\"0.6\", alpha=0.7)\n", "\n", "# set x tick labels to the unit of pi\n", "ax.xaxis.set_major_formatter(tck.FormatStrFormatter(\"%g $\\\\pi$\"))\n", "ax.xaxis.set_major_locator(tck.MultipleLocator(base=0.5))\n", "\n", "# set labels, and legend\n", "plt.xlabel(\"Theta\")\n", "plt.ylabel(\"CHSH witness\")\n", "plt.legend()\n", "plt.show()" ] }, { "cell_type": "code", "execution_count": null, "id": "9ff7aca7-bf1e-4aa4-a20e-e5e9edd24569", "metadata": {}, "outputs": [], "source": [] }, { "cell_type": "code", "execution_count": null, "id": "80c8061c-84d3-458d-b214-bd4564d0713a", "metadata": {}, "outputs": [], "source": [] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "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.12.9" } }, "nbformat": 4, "nbformat_minor": 5 }