{ "cells": [ { "cell_type": "markdown", "id": "ddffdd27-761b-44a7-996f-02b579be697c", "metadata": {}, "source": [ "# Mallows 3 first" ] }, { "cell_type": "code", "execution_count": 1, "id": "a8c66522-09e5-43c0-bd69-ee62874b5b27", "metadata": {}, "outputs": [], "source": [ "from math import prod\n", "import sympy\n", "import numpy as np\n", "from actinvoting import *" ] }, { "cell_type": "code", "execution_count": 2, "id": "376b0b6f-31dd-48d1-b905-0ff145822489", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "np.float64(0.6931471805599453)" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "m = 3\n", "phi = sympy.Rational(50, 100)\n", "rho = - np.log(float(phi))\n", "rho" ] }, { "cell_type": "code", "execution_count": 3, "id": "ee967e60-96d4-4a9f-96a0-032b55591740", "metadata": {}, "outputs": [], "source": [ "culture = CultureMallows(m=m, phi=phi)\n", "session = WorkSession(culture=culture, c=0)" ] }, { "cell_type": "markdown", "id": "b1546ad2-f5cb-4aae-81d6-2c4397c95eff", "metadata": {}, "source": [ "## Runtimes" ] }, { "cell_type": "code", "execution_count": 4, "id": "5f37cbb7-5a75-4008-8133-c49adc8aba37", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "4.75 μs ± 170 ns per loop (mean ± std. dev. of 7 runs, 100,000 loops each)\n" ] } ], "source": [ "%%timeit\n", "equivalent_probas = mallows_three_first_theo(n=100, rho=rho)" ] }, { "cell_type": "code", "execution_count": 5, "id": "ca458dc5-db37-4342-b8f4-f1ef74b525f2", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "run_time_str='16s'\n" ] } ], "source": [ "exact_probas = exact_batch(session=session, ns=[100], n_jobs=1, force_recompute=True)" ] }, { "cell_type": "code", "execution_count": 6, "id": "fe9fb04e-9bf9-4acb-903b-c755cf74549c", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "run_time_str='50s'\n" ] } ], "source": [ "monte_carlo_probas = monte_carlo_batch(session=session, ns=[100], n_samples=10000, n_jobs=1, force_recompute=True)" ] }, { "cell_type": "markdown", "id": "ac0f523c-f5f3-49b7-87ee-75d032b1cb7c", "metadata": {}, "source": [ "## Plot" ] }, { "cell_type": "code", "execution_count": 7, "id": "e855bb3f-acb2-4ed6-99b7-80e551e90e62", "metadata": {}, "outputs": [], "source": [ "ns_equivalent_probas = list(range(2, 101))\n", "ns_exact_probas = list(range(2, 101))\n", "ns_monte_carlo_probas = list(range(2, 101))\n", "n_samples = 10000\n", "n_jobs = -1" ] }, { "cell_type": "code", "execution_count": 8, "id": "1480c7e8-dc7e-460d-aea3-7ae376142e25", "metadata": {}, "outputs": [], "source": [ "equivalent_probas = [mallows_three_first_theo(n, rho) for n in ns_equivalent_probas]" ] }, { "cell_type": "code", "execution_count": 9, "id": "0a22021e-0ec3-4278-a9cc-57ba3af32ac3", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Loading Mallows_m=3_phi=1_2_c=0_hash(ns)=-7142264137129868933_n_samples=10000_mc.pkl\n" ] } ], "source": [ "monte_carlo_probas = monte_carlo_batch(session=session, ns=ns_monte_carlo_probas, n_samples=n_samples, n_jobs=n_jobs)\n", "monte_carlo_probas = 1 - np.array(monte_carlo_probas)" ] }, { "cell_type": "code", "execution_count": 10, "id": "f3b2da43-30b7-4f50-8558-dc99752f3d56", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Loading Mallows_m=3_phi=1_2_c=0_hash(ns)=-7142264137129868933_exact.pkl\n" ] } ], "source": [ "exact_probas = exact_batch(session=session, ns=ns_exact_probas, n_jobs=n_jobs)\n", "exact_probas = 1 - np.array(exact_probas)" ] }, { "cell_type": "code", "execution_count": 11, "id": "e39fc91b-62f5-4920-b48a-4356b164d378", "metadata": {}, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAkQAAAGxCAYAAACDV6ltAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjkuMiwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8hTgPZAAAACXBIWXMAAA9hAAAPYQGoP6dpAACxmElEQVR4nOzdd3xUVfr48c+dkpn0AqlAEiCBNCAJHZSugA3sba0rlh+uhbV3XXtbd7/Lrru6YlkUdy3oroogiHQSSkJJgPSEVNL7TGbm/v64yYQxoYcSeN6vV17OzLlz55xIwsM5z3mOoqqqihBCCCHEOUx3ujsghBBCCHG6SUAkhBBCiHOeBERCCCGEOOdJQCSEEEKIc54EREIIIYQ450lAJIQQQohzngREQgghhDjnGU53B3oLh8NBSUkJ3t7eKIpyursjhBBCiKOgqioNDQ2EhYWh0x16HkgCoqNUUlLCgAEDTnc3hBBCCHEcioqK6N+//yHbJSA6St7e3oD2DfXx8TnNvRFCCCHE0aivr2fAgAHOv8cPRQKio9SxTObj4yMBkRBCCNHLHCndRZKqhRBCCHHOk4BICCGEEOc8CYiEEEIIcc6THCIhhDhD2e122traTnc3hDijGY1G9Hr9Cd9HAiIhhDjDqKpKWVkZtbW1p7srQvQKfn5+hISEnFCdQAmIhBDiDNMRDAUFBeHh4SHFYIU4BFVVaW5upqKiAoDQ0NDjvpcEREIIcQax2+3OYKhPnz6nuztCnPHc3d0BqKioICgo6LiXzySpWgghziAdOUMeHh6nuSdC9B4dPy8nknMnAZEQQpyBZJlMiKPXEz8v51RA9L///Y+hQ4cSHR3N+++/f7q7I4QQQogzxDkTENlsNhYsWMCqVavYvn07b7zxBlVVVae7W0IIcU5YvXo1iqL0up1ziqKwdOnSHrtfZGQk77zzTo/d73g999xzJCYm9ug9p0yZwgMPPNCj9zyVzpmAKCUlhfj4ePr164eXlxezZ89m+fLlp7tbQgjR6ymKctiv55577nR38YgOFSCUlpYye/bsU9+hk+yhhx5i5cqVp7sbR3Trrbcyd+7cU/JZvSYgWrNmDZdeeilhYWGHjNgXLlxIZGQkZrOZsWPHkpKS4mwrKSmhX79+zuf9+vWjuLj4VHT9sFrb7OzYX4uqqqe7K0IIcVxKS0udX++88w4+Pj4urz300EOnrW9Wq/WE3h8SEoLJZOqh3pw5vLy8ZBfjr/SagKipqYkRI0awcOHCbts///xzFixYwLPPPsu2bdsYMWIEM2fOdNYmOFYWi4X6+nqXr57WZncw/PnlXPaX9ZTWtfb4/YUQ4lQICQlxfvn6+qIoistrXl5ezmu3bt3KqFGj8PDwYMKECezdu9flXt988w3JycmYzWYGDRrE888/j81mc7YXFhYyZ84cvLy88PHx4ZprrqG8vNzZ3jHT8/777zNw4EDMZjMAtbW13HHHHQQGBuLj48O0adNIT08H4MMPP+T5558nPT3dOav14YcfAl2XzPbv38/1119PQEAAnp6ejBo1is2bNwOQk5PDnDlzCA4OxsvLi9GjR/PTTz8d8/fz/fffJzY2FrPZTExMDH/9619d2lNSUkhKSsJsNjNq1Ci+/vprFEUhLS3NOR4/Pz+X9yxdutQl8fjgGbHly5djNpu7LGfef//9TJs2DYCqqiquv/56+vXrh4eHB8OGDeOzzz477DgsFgsPPfQQ/fr1w9PTk7Fjx7J69Wpne0c/f/zxR2JjY/Hy8mLWrFmUlpY6+/jRRx/xzTffOP+/HPz+ntZrAqLZs2fz4osvcvnll3fb/vbbbzNv3jxuu+024uLiePfdd/Hw8OCDDz4AICwszGVGqLi4mLCwsEN+3iuvvIKvr6/za8CAAT07IMCo1xHZR9sqmFna8wGXEOLsoKoqzVbbKf86GTPXTz75JG+99RZbtmzBYDBw++23O9vWrl3LzTffzP33309GRgZ///vf+fDDD3nppZcAcDgczJkzh+rqan755RdWrFhBbm4u1157rctnZGdn8+WXX/LVV185g4Srr76aiooKfvjhB7Zu3UpycjLTp0+nurqaa6+9lt///vfEx8c7Z7V+fU+AxsZGJk+eTHFxMd9++y3p6ek88sgjOBwOZ/tFF13EypUr2b59O7NmzeLSSy+lsLDwqL8/ixcv5plnnuGll14iMzOTl19+maeffpqPPvrI+RmXXHIJcXFxbN26leeee+6EZ+CmT5+On58fX375pfM1u93O559/zo033ghAa2srI0eO5LvvvmPXrl3ceeed3HTTTS4rMb927733snHjRpYsWcKOHTu4+uqrmTVrFllZWc5rmpubefPNN/nkk09Ys2YNhYWFzvE89NBDXHPNNc4gqbS0lAkTJpzQWA/nrCjMaLVa2bp1K48//rjzNZ1Ox4wZM9i4cSMAY8aMYdeuXRQXF+Pr68sPP/zA008/fch7Pv744yxYsMD5vL6+/qQERbGhPuwrb2RPWQPTY4N7/P5CiN6vpc1O3DM/nvLPzXhhJh5uPfvXxEsvvcTkyZMBeOyxx7j44otpbW3FbDbz/PPP89hjj3HLLbcAMGjQIP7whz/wyCOP8Oyzz7Jy5Up27txJXl6e8/fxxx9/THx8PKmpqYwePRrQ/k74+OOPCQwMBGDdunWkpKRQUVHhXP568803Wbp0KV988QV33nknXl5eGAwGQkJCDtn3Tz/9lAMHDpCamkpAQAAAUVFRzvYRI0YwYsQI5/M//OEPfP3113z77bfce++9R/X9efbZZ3nrrbe44oorABg4cKAzOLzlllv49NNPcTgc/POf/8RsNhMfH8/+/fu55557jur+3dHr9Vx33XV8+umn/Pa3vwVg5cqV1NbWcuWVVwJamsnBgdfvfvc7fvzxR/79738zZsyYLvcsLCxk0aJFFBYWOicfHnroIZYtW8aiRYt4+eWXAa1u0LvvvsvgwYMBLYh64YUXAG1Zz93dHYvFctj/Lz3lrAiIKisrsdvtBAe7BhTBwcHs2bMHAIPBwFtvvcXUqVNxOBw88sgjh10/NZlMp2TdODbUh2/SSsiQGSIhxDlg+PDhzscdxyxUVFQQHh5Oeno669evd84IgTZT0draSnNzM5mZmQwYMMDlH6dxcXH4+fmRmZnpDIgiIiKcwRBAeno6jY2NXX7nt7S0kJOTc9R9T0tLIykpyRkM/VpjYyPPPfcc3333HaWlpdhsNlpaWo56hqipqYmcnBx++9vfMm/ePOfrNpsNX19fADIzMxk+fLhzKRBg/PjxRz2GQ7nxxhsZN24cJSUlhIWFsXjxYi6++GLn0pvdbufll1/m3//+N8XFxVitViwWyyELiO7cuRO73c6QIUNcXrdYLC7/Hzw8PJzBEGh/Jo431eVEnRUB0dG67LLLuOyyy053N1zEhvoAsmQmhDg0d6OejBdmnpbP7WlGo9H5uCOn5eAlp+eff945O3KwgwOAI/H09HR53tjYSGhoaLf5J7/OtTmcjiMiDuWhhx5ixYoVvPnmm0RFReHu7s5VV1111IndjY2NALz33nuMHTvWpe1YjqPQ6XRdljuPVMF59OjRDB48mCVLlnDPPffw9ddfO/OoAN544w3+9Kc/8c477zBs2DA8PT154IEHDjm2xsZG9Ho9W7du7dL3g3PKDv7zANqfidO1yeisCIj69u2LXq93SawDKC8vP+FptoULF7Jw4ULsdvsJ3edQYkO8AcivbKLFasfdred/AQkhejdFUXp86epMlJyczN69e12WoQ4WGxtLUVERRUVFzlmijIwMamtriYuLO+x9y8rKMBgMREZGdnuNm5vbEX/PDx8+nPfff5/q6upuZ4nWr1/Prbfe6sx1bWxsJD8//7D3PFhwcDBhYWHk5uY6c3d+LTY2lk8++cS5zAiwadMml2sCAwNpaGigqanJGRx25FIdzo033sjixYvp378/Op2Oiy++2GVsc+bM4Te/+Q2gBbH79u075Pc9KSkJu91ORUUF559//hE/+1CO5v9LT+k1SdWH4+bmxsiRI11qKjgcDlauXHnCU4nz588nIyOD1NTUE+1mtwK9TfTxdMOhwr7yhpPyGUII0Rs888wzfPzxxzz//PPs3r2bzMxMlixZwlNPPQXAjBkzGDZsGDfeeCPbtm0jJSWFm2++mcmTJzNq1KhD3nfGjBmMHz+euXPnsnz5cvLz89mwYQNPPvkkW7ZsAbSCiXl5eaSlpVFZWYnFYulyn+uvv56QkBDmzp3L+vXryc3N5csvv3TmqkZHRzsTudPT07nhhhucs19H6/nnn+eVV17hz3/+M/v27WPnzp0sWrSIt99+G4AbbrgBRVGYN28eGRkZfP/997z55psu9xg7diweHh488cQT5OTk8Omnn7rM9hxKx/f1pZde4qqrrnJJG4mOjmbFihVs2LCBzMxM7rrrri6TEAcbMmQIN954IzfffDNfffUVeXl5pKSk8Morr/Ddd98d9fcjMjKSHTt2sHfvXiorK0/orLIj6TUBUWNjI2lpac4ot+MPbsfa7IIFC3jvvff46KOPyMzM5J577qGpqYnbbrvtNPb6yBRFkWUzIYQAZs6cyf/+9z+WL1/O6NGjGTduHH/84x+JiIgAtN+X33zzDf7+/kyaNIkZM2YwaNAgPv/888PeV1EUvv/+eyZNmsRtt93GkCFDuO666ygoKHDmnl555ZXMmjWLqVOnEhgY2O2Wcjc3N5YvX05QUBAXXXQRw4YN49VXX3UuCb399tv4+/szYcIELr30UmbOnElycvIxfQ/uuOMO3n//fRYtWsSwYcOYPHkyH374IQMHDgS05ab//ve/7Ny5k6SkJJ588klee+01l3sEBATwr3/9i++//965Pf5oimNGRUUxZswYduzY0WWG6qmnniI5OZmZM2cyZcoUZ2B4OIsWLeLmm2/m97//PUOHDmXu3LmkpqYSHh5+1N+PefPmMXToUEaNGkVgYCDr168/6vceK0XtJRUBV69ezdSpU7u8fssttzgj37/85S+88cYblJWVkZiYyJ///Ocu67DHq76+Hl9fX+rq6vDx8emRe3Z46bsM3lubxy3jI3h+TkKP3lsI0bu0traSl5fnUkNHiMPJz89n4MCBbN++vceP4+gtDvdzc7R/f/eaRekpU6YcMdHq3nvvPeqtjWeSzhkiWTITQgghTodes2R2uixcuJC4uDjnds6TISakPSAqq5cjPIQQQojTQAKiIzjZSdUAUUFeGPUKDa02imtbTtrnCCGEOPtERkaiquo5u1zWUyQgOgO4GXQMDtTqMsiymRBCCHHqSUB0hoiTnWZCCCHEaSMB0RkiJlQr0CgBkRBCCHHqSUB0hujYabanTJbMhBBCiFNNAqIjOJm7zOw2K98svZk/fTKFwX5a9c38qiaarbYe/ywhhBBCHJoEREdwMneZ6fRGXqvZxvuOKppqthLobUJVZZZICCGEONUkIDqNFEUhUtHOiskv2yZHeAghxFlsypQpPPDAA6e7G+IQJCA6zSJN2onJedV7nSff7/nV1vt/bSrgsr+sY39N8ynvnxBCHI1bb70VRVG6fM2aNeuU9eG5557rVbV4IiMjeeedd053N0S7XnN0x9lqoHc4VJWR37ifMfFdZ4jWZh3g6W92oarwTVoJ86dGna6uCiHEYc2aNYtFixa5vHbwielnKqvVipub2+nuhjjNZIboNIvsGwtAvrXOZaeZw6FSXNvCfZ9tp+M0j7Si2tPUSyGEODKTyURISIjLl7+/P6Ad0O3m5sbatWud17/++usEBQVRXl4OwLJlyzjvvPPw8/OjT58+XHLJJeTk5Lh8xv79+7n++usJCAjA09OTUaNGsXnzZj788EOef/550tPTnbNTHQd//9qtt97K3LlzeemllwgLC2Po0KEAFBUVcc011+Dn50dAQABz5swhPz/f+b7Vq1czZswYPD098fPzY+LEiRQUFLjc82APPPAAU6ZM6bYPU6ZMoaCggAcffNDZX4CCggIuvfRS/P398fT0JD4+nu+///6ovv/ixMgM0REsXLiQhQsXYrfbT8r9I0NHw96PyFdsDAww4abX0WixkVvZxEP/SaemuY2+XiYqGy2kFdWiqqrzB0cIcY5QVWg7DUvmRg/ood83HfkzN910E+np6eTm5vL000/zn//8h+DgYACamppYsGABw4cPp7GxkWeeeYbLL7+ctLQ0dDodjY2NTJ48mX79+vHtt98SEhLCtm3bcDgcXHvttezatYtly5bx008/AeDr63vI/qxcuRIfHx9WrFgBQFtbGzNnzmT8+PGsXbsWg8HAiy++yKxZs9ixYwc6nY65c+cyb948PvvsM6xWKykpKcf9+/irr75ixIgR3HnnncybN8/5+vz587FaraxZswZPT08yMjLw8vI6rs8Qx0YCoiOYP38+8+fPp76+/rA/XMcrPGw0iqrSoNNRf2AHUUFeZJTWc++n29hT1oCP2cBn88Yy+09rOdBgobi2hf7+Hj3eDyHEGaytGV4OO/Wf+0QJuHke9eX/+9//uvzl/cQTT/DEE08A8OKLL7JixQruvPNOdu3axS233MJll13mvPbKK690ee8HH3xAYGAgGRkZJCQk8Omnn3LgwAFSU1MJCNDyL6OiOtMIvLy8MBgMhISEHLGvnp6evP/++86lsn/96184HA7ef/99Z5CzaNEi/Pz8WL16NaNGjaKuro5LLrmEwYMHAxAbG3vU35tfCwgIQK/X4+3t7dLfwsJCrrzySoYNGwbAoEGDjvszxLGRJbPTzGT0oJ+q/W/IK9ncpUDjO9clEh3s7axkLctmQogz1dSpU0lLS3P5uvvuu53tbm5uLF68mC+//JLW1lb++Mc/urw/KyuL66+/nkGDBuHj40NkZCSgBQkAaWlpJCUlOYOhEzFs2DCXvKH09HSys7Px9vbGy8sLLy8vAgICaG1tJScnh4CAAG699VZmzpzJpZdeyp/+9CdKS0tPuB+/dt999/Hiiy8yceJEnn32WXbs2NHjnyG6JzNEZ4BIgzf7HfXkH9hFbOhs5+v3To1iWow2lZw4wI9dxfWkFdZyyfDT8C9FIcTpY/TQZmtOx+ceA09PT5cZm+5s2LABgOrqaqqrq/H07JyBuvTSS4mIiOC9994jLCwMh8NBQkICVqsVAHd392McwOH7erDGxkZGjhzJ4sWLu1wbGBgIaDNG9913H8uWLePzzz/nqaeeYsWKFYwbNw6dTofakfDZrq2t7Zj7dccddzBz5ky+++47li9fziuvvMJbb73F7373u2O+lzg2MkN0Boj0DAUgrz6PyUMCMegUpsUE8eAFQ5zXJA7QEhNlhkiIc5CiaEtXp/qrh/MVc3JyePDBB3nvvfcYO3Yst9xyCw6HA4Cqqir27t3LU089xfTp04mNjaWmpsbl/cOHDyctLY3q6upu7+/m5nbc+Z7JyclkZWURFBREVFSUy9fB6RJJSUk8/vjjbNiwwbmMB1rQ9OsZo7S0tMN+5qH6O2DAAO6++26++uorfv/73/Pee+8d15jEsZGA6Aww0E/7F1V+SyXRwd6kPXsh/7xlFHpd5y+jxAF+AOwsrqPN7jgd3RRCiMOyWCyUlZW5fFVWVgJgt9v5zW9+w8yZM7nttttYtGgRO3bs4K233gLA39+fPn368I9//IPs7GxWrVrFggULXO5//fXXExISwty5c1m/fj25ubl8+eWXbNy4EdDq+uTl5ZGWlkZlZSUWi+Wo+37jjTfSt29f5syZw9q1a8nLy2P16tXcd9997N+/n7y8PB5//HE2btxIQUEBy5cvJysry5lHNG3aNLZs2cLHH39MVlYWzz77LLt27TrsZ0ZGRrJmzRqKi4ud36cHHniAH3/8kby8PLZt28bPP/98QrlK4uhJQHQGGBicCEC+owUAL5PBdedCfQmDir/Fx6zDYnOwV472EEKcgZYtW0ZoaKjL13nnnQfASy+9REFBAX//+98BCA0N5R//+AdPPfUU6enp6HQ6lixZwtatW0lISODBBx/kjTfecLm/m5sby5cvJygoiIsuuohhw4bx6quvotfrAS0pe9asWUydOpXAwEA+++yzo+67h4cHa9asITw8nCuuuILY2Fh++9vf0traio+PDx4eHuzZs4crr7ySIUOGcOeddzJ//nzuuusuAGbOnMnTTz/NI488wujRo2loaODmm28+7Ge+8MIL5OfnM3jwYOeynN1uZ/78+cTGxjJr1iyGDBnCX//616Mehzh+ivrrRU/RrY5dZnV1dfj4+PTovQ/UFTJt6cXoVJXUK1bg5hPq0r7pk9l8Vb+XEMet/Ll4JH+Ym8BN4yJ6tA9CiDNDa2sreXl5DBw4ELPZfLq7I0SvcLifm6P9+1tmiI7gZJ5236GvzwA8VXAoCoX7N7g2trXwVmseP3h5YnXfCkBaYe1J64sQQghxLpKA6AhO5mn3HX59yOvBqnNWsMfNCEC9UgFAWpFroqEQQgghTowERGeIgaa+AOTXZLm8nrJvqfNxkarlDuUcaKKuxXU7Z0VDK2/8uIfi2paT21EhhBDiLCQB0Rki0iccgLymYpfXNx1Idz7O0anE+GtbNHfsr3W57pEvdrDw5xz+9NO+k9tRIYQQ4iwkAdEZIjIwHoD8ts6T7tXGSjaqnecXNeh1TAzcD7jmEf2y7wCr9x4AIDVfltOEEEKIYyUB0RkiMmwMAHmKA9WqLXvt37uUEqMBgwqh7UXFg83aklpHgUab3cFL32U475NX2URl49HX3hBCCCGEBERnjIigRO2QV72O6rLtAGzM/QGARLc+JJi0GhVtaj6gBUSqqvL5liL2lTfi52EkPEArs7+1QGaJhBBCiGMhAdEZwmx0JwytuFheyWZQVTbVavlA40LGMNh3IABlbWUY9QpVTVYySxt4e7l2zQPTo5kYpSVmS0AkhBBCHBsJiM4gkUbtvJz8ygzs1dmk6LUE6nFDr2BwUCIAubZ64kK1wlL3L9lOVZOVwYGe3DguglER2nlnW/K7P+dHCCGEEN2TgOgITkVhxg4D2w95za/PZ0/GF9Tp9XipCvGho4gaMBGAbD2MC9Guz6poBODJi2OxFm+mduvljDRsZ1dxPa1tx3fAoRBCiJ733HPPkZiYeLq7cVwiIyN55513Tnc3TjoJiI7gVBRm7BDpr51un99ayabCnwEY7dEfg85ARJ9YDCo063TEeGY733N+dF+mDg3i7+ue5R1TK0HB32G1O9hZXHfS+yuEEB1uvfVWFEXh7rvv7tI2f/58FEXh1ltv7dHP7Okgo76+nieffJKYmBjMZjMhISHMmDGDr776CjnlqpOiKCxduvR0d6PHSUB0BokMTgIgz2FhU1MRAOMGTALAqDc6q1m7qdquMp2izQ4pqoN1zdp2/GqTNmu0RbbfCyFOsQEDBrBkyRJaWjoLxLa2tvLpp58SHh5+Gnt2ZLW1tUyYMIGPP/6Yxx9/nG3btrFmzRquvfZaHnnkEerqju8fmaqqYrPZeri3GqvVelLue66SgOgMEtlvLADFBh3bjdr/mnFDr3S2DzZrSdMVTdm8efUI/nrjSGJCfDiQv5oso5aQXWh0YMLC1gLJIxJCnFrJyckMGDCAr776yvnaV199RXh4OElJSS7XWiwW7rvvPoKCgjCbzZx33nkuM/GrV69GURRWrlzJqFGj8PDwYMKECezduxeADz/8kOeff5709HQURUFRFD788ENAC27uuOMOAgMD8fHxYdq0aaSnp3M4TzzxBPn5+WzevJlbbrmFuLg4hgwZwrx580hLS8PLywuATz75hFGjRuHt7U1ISAg33HADFRUVXfr9ww8/MHLkSEwmE+vWrevyeQ6HgxdeeIH+/ftjMplITExk2bJlh+3jlClTuPfee3nggQfo27cvM2fOBGDXrl3Mnj0bLy8vgoODuemmm6isrHS+74svvmDYsGG4u7vTp08fZsyYQVNTk/OeDzzwgMvnzJ0795CzeZGRkQBcfvnl2rFT7c/T09OZOnUq3t7e+Pj4MHLkSLZs2XLY8ZxpJCA6gwR5heGhgl1RsOh0BGFkoH+Usz3KbzAA2U0lXDWyP7MStGSiTZn/cV7TqNMRadzL1oKaLlO8tc1W7vtsO9/vLD0FoxFC9BRVVWluaz7lX8ezTHT77bezaNEi5/MPPviA2267rct1jzzyCF9++SUfffQR27ZtIyoqipkzZ1Jd7fqPuSeffJK33nqLLVu2YDAYuP322wG49tpr+f3vf098fDylpaWUlpZy7bXXAnD11VdTUVHBDz/8wNatW0lOTmb69Old7t3B4XCwZMkSbrzxRsLCwrq0e3l5YTBoteDa2tr4wx/+QHp6OkuXLiU/P7/b4OGxxx7j1VdfJTMzk+HDh3dp/9Of/sRbb73Fm2++yY4dO5g5cyaXXXYZWVlZXa492EcffYSbmxvr16/n3Xffpba2lmnTppGUlMSWLVtYtmwZ5eXlXHPNNQCUlpZy/fXXc/vtt5OZmcnq1au54oorjnsJsCNoXbRoEaWlpc7nN954I/379yc1NZWtW7fy2GOPYTQaj+szThfD6e6A6KQoCpE6dzJUbbp5nG8UiqI426OCEqFsDdm2elBVaG/bWLHNJbQN89jH3rrh5BxoIirIy/n6/63K5tv0ErYX1XDRsNBTMiYhxIlrsbUw9tOxp/xzN9+wGQ+jxzG95ze/+Q2PP/44BQUFAKxfv54lS5awevVq5zVNTU387W9/48MPP2T27NkAvPfee6xYsYJ//vOfPPzww85rX3rpJSZPngxoQcbFF19Ma2sr7u7uzkAlJCTEef26detISUmhoqICk0lLM3jzzTdZunQpX3zxBXfeeWeXPldWVlJTU0NMTMwRx9cRkAEMGjSIP//5z4wePZrGxkbnLBLACy+8wAUXXHDI+7z55ps8+uijXHfddQC89tpr/Pzzz7zzzjssXLjwkO+Ljo7m9ddfdz5/8cUXSUpK4uWXX3a+9sEHHzBgwAD27dtHY2MjNpuNK664goiICACGDRt2xHEeSmCgVhPPz8/P5fteWFjIww8/7PweRkdHH/dnnC4yQ3SGiWxfFgMYF3mhS9vg8PMByNUrOBrLAVBbatno0PKGgtrj2z7e2gzQwctmFfWt/GuT9guqqLqFsrrWkzQCIcS5LDAwkIsvvpgPP/yQRYsWcfHFF9O3b1+Xa3Jycmhra2PixInO14xGI2PGjCEzM9Pl2oNnV0JDtX/IHbxE9Wvp6ek0NjbSp08fvLy8nF95eXnk5ORQWFjo8vrLL798TLMlW7du5dJLLyU8PBxvb29nsFZYWOhy3ahRow55j/r6ekpKSlzGDzBx4sQu4/+1kSNHdhnvzz//7DKmjqAkJyeHESNGMH36dIYNG8bVV1/Ne++9R01Nz+eYLliwgDvuuIMZM2bw6quvkpOT0+OfcbLJDNEZJtInElraE6qjL3NpG+AfhVGFVp2O4sJ1DIi/iqyM/1Bp0GNW4Yrg0bxbsRGLWxWgJVZfO1pLZPzbLzlYbA7nvVLyq7lsRNepYSHEmcfd4M7mGzafls89Hrfffjv33nsvwGFnO47GwcsuHTPmDofjUJfT2NhIaGioy4xUBz8/P/z8/EhLS3O+FhAQ4Hx9z549h+1LU1MTM2fOZObMmSxevJjAwEAKCwuZOXNmlwRnT0/Poxjdsfv1fRsbG7n00kt57bXXulwbGhqKXq9nxYoVbNiwgeXLl/N///d/PPnkk2zevJmBAwei0+m6BIRtbW3H3K/nnnuOG264ge+++44ffviBZ599liVLlnD55Zcf871OF5khOsNER10EQJQ5iEDPIJc2g87AIJ0ZgOxSbd12Y452vMdIt77Eh2rnoZXotGS5jorV5fWtLN6s/esloZ9W1DElr+pkDkMI0YMURcHD6HHKvw5esj8Ws2bNwmq10tbW5kz8PdjgwYOdeTAd2traSE1NJS4u7qg/x83NDbvdteZacnIyZWVlGAwGoqKiXL769u3b5fWAgAB0Oh3XXXcdixcvpqSkpMvndCw77dmzh6qqKl599VXOP/98YmJiDjtbdSg+Pj6EhYW5jB+05cVjGX/HeHfv3k1kZGSX8XYET4qiMHHiRJ5//nm2b9+Om5sbX3/9NaDN6JWWduaV2u12du3addjPNBqNXb7vAEOGDOHBBx9k+fLlXHHFFS65ZL2BBERnmKmDZnN/8v28OP3P3bYPNmtBUk71HlBVNtZrCXjjw8YRFT4FgDyDjj5Uk1vZRFWjhb+tzsFqc5AUYSYg7J94eqeSmifb8oUQJ4deryczM5OMjAz0en2Xdk9PT+655x4efvhhli1bRkZGBvPmzaO5uZnf/va3R/05kZGR5OXlkZaWRmVlJRaLhRkzZjB+/Hjmzp3L8uXLyc/PZ8OGDTz55JOH3fX00ksvMWDAAMaOHcvHH39MRkYGWVlZfPDBByQlJdHY2Eh4eDhubm783//9H7m5uXz77bf84Q9/OK7v0cMPP8xrr73G559/zt69e3nsscdIS0vj/vvvP6b7zJ8/n+rqaq6//npSU1PJycnhxx9/5LbbbsNut7N582ZefvlltmzZQmFhIV999RUHDhwgNjYWgGnTpvHdd9/x3XffsWfPHu655x5qa2sP+5mRkZGsXLmSsrIyampqaGlp4d5772X16tUUFBSwfv16UlNTnZ/RW8iS2RlGr9Nzx7A7Dtke5R8FLYVkNZVirdjDVr0D0DE+9lrC/AfhoUKzonB+YA7fHwjg+11lfJqizQ5NjFzLRxVbCQpKY2/OaGqbrfh5uJ2ikQkhziU+Pj6HbX/11VdxOBzcdNNNNDQ0MGrUKH788Uf8/f2P+jOuvPJKvvrqK6ZOnUptbS2LFi3i1ltv5fvvv+fJJ5/ktttu48CBA4SEhDBp0iSCg4MPea+AgAA2bdrEq6++yosvvkhBQQH+/v4MGzaMN954A19fX+fW/ieeeII///nPJCcn8+abb3LZZZcd8r6Hct9991FXV8fvf/97KioqiIuL49tvvz3mZOSOmaZHH32UCy+8EIvFQkREBLNmzUKn0+Hj48OaNWt45513qK+vJyIigrfeesuZzH777beTnp7OzTffjMFg4MEHH2Tq1KmH/cy33nqLBQsW8N5779GvXz/27dtHVVUVN998M+Xl5fTt25crrriC559//pi/L6eTokr5zaNSX1+Pr68vdXV1R/xBP5lW7fiQ+7e/xdA2Ow8PupI7ipbSFz2rbt6Ooijc+PFYdqjNXG8dyT9yrsbdqKelzc6YyAD6+T3DT5YyFFWlfu8LvHfTRC6IO/QvCCHEqdfa2kpeXh4DBw7EbDaf7u4I0Ssc7ufmaP/+liWzIziVZ5kdjegB2k6zPL2O9bnfAzDea6BzrT/aU0uUdui1ytUt7Wea3Td9MKktZQCoikKwaS+pcgisEEIIAUhAdESn8iyzo9HPbyBmFaw6hW90Wr2i8QM7a11EBWjbLcvVzqTpMQMDCDDsoO6g/9vB7ntIyes+INpf00xFg2zLF0IIce6QgKiX0Sk6Buq0rbDV7cmK44Ze5WyPbj/+I0dtJdxXyw96cMYQUvZ86XIfk3k/u4rraLa6nrFTXNvCzD+u4fKFG7A7ZDVVCCHEuUECol4o2qOzOmi0zsNle35UP63Q136Dnvcu8+LTO8YyfnAfNh9IAyDepgU5VnMNNofK9sJal3u/tyaXJqud4toWMkvrT+5AhBBCiDOEBES90GC/zvPNxvdxPSOnj2cgAaoOVVFoa0xlQlRf2lob2GpvAOCm/jMAKHOzAg6XZbOqRgtLUjurrW7KlVpFQpwust9FiKPXEz8vEhD1QlGhnSXhxw/tWgU02ugLQFZ5GgC7Mj+nRafg71C5cMJjGFWVZp2Ct7HUJbF60fp8WtscHUeksfkQOUZCiJOnozJzc3Pzae6JEL1Hx8/LiRwoK3WIeqGhkdPQb3kVN8XAyIiu9SKivcPZXFNDVl0uAJtylgEwxhSE0TuEKDtkGqCfeRfbCgdgtTmw2Ox8tDEfgLuSK/l2Zy2p+UYcDhWd7viq1Qohjp1er8fPz89ZAdnD4/grRgtxtlNVlebmZioqKvDz8+u2EOjRkoCoFwr2DOHP0/+Cl9Gr27OGogKHQU062RZtySulbh8YYEzYeACGGP3JVGsJ8MpnT4ODXSV1pORV09BqIzGwii8b38AzQqUs62X2VTQQE3L66i4JcS7qOEX8eI6FEOJc5Ofn5/y5OV4SEPVSk/pPOmRb9IDzYN+/yFLstBRvIV3vABTGxV0PQIzvQL6p3Y7iXgnAuqxKPtlUAMD5/TbyoUWhVacwwJTJ5twREhAJcYopikJoaChBQUHHddCmEOcSo9F4QjNDHSQgOgsNDk4EoNKg5+e1L9GmKISoegYExgMwNDgJardTYWgE4G+rc2hpsxPma6agbYfzPiHmTDbnVXHLhMhTPQQhBNryWU/8ohdCHJkkVZ+FPI2e9ENLLFtclwHAWO/OatZDIqcDUKZX0euanNWsfzshmE22Oud9TOZCUvKqu83e/ymjnPfW5MpOGCGEEGcFCYjOUtHmvgDsMGvFGcdGznC2+QYlEGLTgqDBXlrAFODpxmD3NbQclEDdaq6hstFKzoEml3tXNlr4f59u46XvM9lSUHNSxyGEEEKcChIQnaWifQe7PB8Tc2XnE52OoToP7bqAfABumxDJhgJtN1qsQ/tjUWJqAxxsznOtR/TxxgKsNgcAG3OkVpEQQojeTwKis1RUSLLzcaTOnWBP1+z7IZ79APD1reDly4dx1+RBrGnMA+D2QXPRqyp1eh2hhnw253bWI2qx2vmkfXs+SPFGIYQQZwcJiM5S0QPOcz4e22dYl/ahfbUE6zxrBTeMDaeoeC3FOnBTVSaNvIdBqpbI2d99p0se0Rdbi6hpbsPXXctR2lpQg6V9+U0IIYTorSQgOktF+kVhQMsHGjt0bpf2of21M8+y1Vbsdhu/7P4MgNG44+EVQoxJy0Hyci+grL6Vwupm7A6V99dps0ijI15hYNTjKI5qduyv63J/IYQQojeRgOgsZdQbuS72RpKDkpkYPr1L+4CIybg7HLQqCgVlW/nlwDYAJgdqS20x/kMAcHhoS2Kbc6tZvruMgqpmwr3K2KxUUmlUifFaxybJIxJCCNHLSR2iI1i4cCELFy7Ebu99y0KPjnn0kG16kxfRqoEdONiy7xvS1RZQFCbF3whAbNg4qFhHqbEFgE15VeS27zabFp7Kl+277T3NuWzKq+J3RJ/cwQghhBAnkcwQHcH8+fPJyMggNTX1dHelxw019QHgw4LvsSsKUXboF3G+1jboQgBKDToCdGV8v7OUtKJa3Aw6qtjlvIfVXHnIPKK8yibe/SXHuSNNCCGEOFNJQHQOG+qnzeoUKVowM8krko6j7n28Q+nXHscM9NhJa5v25MoR/qTYa533KDNbaG2zd8kjUlWV+Yu38eoPe1iSWnhyByKEEEKcIAmIzmFDQ0e7PJ806GKX5zFGPwD6+eU7XzsvOJVmnUKA3YFeVanVK/gbirvkEW3MrSKjtB6A9dmVPd95IYQQogdJQHQOix7YWb3ax+5gxLAbXdpjfAYBYDdpJ27PiA1md/lPAEwyhxLVXsBxgEc6m35VvPGD9t1oAJvzqnE45IgPIYQQZy4JiM5hnv6RDLBrgcpEgx8Gk7dLe2zoKABK9A08PjuG165IYG1DLgDnh08jrj0HydOcy9aCGmeuUO6BRn7KrMDgsx3Pgf9HnbWCPWUNp2pYQgghxDGTgOgcN96oBTWXDJjWpS2mPbE6T6dyy0hvmqtTydeDXlUZP+I24v1jALC5V9La5mDH/loAPlivzQ6FhvwPnbmYIN+1bJSK1kIIIc5gEhCd4x666J98M3QekyY/36UtKGAIAQ4Vu6KQnbuCNbv/BUCS4o63dyhx/SYAUGpqBVQ25VZR22zli637UdwqqNVr2/SD3TPliA8hhBBnNAmIznHufaIYNO4+0HX9o6AoCkP12jJaZslG1lZoxRsnBSYBMCRqJgZVpU6v4GsoZlNuNYs3F9La5mB48HbnfRpNdWzOrcIueURCCCHOUBIQicOK8Q4HIO1AOqloRRrPby/eaPIMIsqhbdMP99jBloJqPm4/+NXTu7NWUaXRTr2lkcz2XWcH21pQw4V//IXVeytO5jCEEEKIw5KASBxWbNAIAH6w12BVFEIdCoPDJznb49y0M8/8PPNobXNQXm8h0Ecl03EAAJPDgaooBJr3dbts9toPe9hX3sgH6/NP/mCEEEKIQ5CASBxWTISWbN3WXrBxklckSvtjgPiAoQDYPQ44X7sgrhCbAv3b2hht064NNWey8Ve1inYV15GSXw3AlvxqqWgthBDitJGASBxWeOgo3A/K/Tl/0EUu7R2J1UWGFkDFbNShqGsBmKTzcS65md2LSMmrdskj6tiNBtBstTt3qQkhhBCnmgRE4rD0egNDdGYA3FSV0QmuxRujB1+IQVWp1SlMjGzk0ZlD2VS/B4BJYRMY2ncYAC2mGhosNnaXaEd8VDS08t/0EnTYuSBoPSaau8wgCSGEEKeKBETiiGI8+wMw2uCHx6+KN5q8Qoi2a8tityWXMS6qjgpsuDscjBp2MzHhkwEodbMBdmfQs3hTIW12lcv6f8KmPv9lfNA/pFaREEKI00YCInFE15/3LKNMQdx93h+6be+oWL27dAtrMxYDMNamYApLYkDkFNwdDiw6hVBTFptyq7DY7CzeXADAAfM+AGo9y9laUENrm/0UjEgIIYRwJQGROKLBIUksum4liZFTu22P89cSqzPq81hTshGA8/3jQVHQu3kwBDcA+pl3kZpfw9LtxVQ2WknwPcAugxYAFbk5cNia2V5Y2+X+bXYHf12dzbbCmpMwOiGEEEICItED4tsTq9Pt9eywaTlCk2KvdrbHuAcD4ONRSKPFxis/aDlG0/pvxNG+Y82qU4g0p3e7bPZZSiGvL9vLI1/sOKnjEEIIce6SgEicsOjBWsXqJgVURWFIm42QoZc624f2jQfAatZmeGqb2zAbdRywuwY4gR4ZbPpVYrXDofLhhnwAsisaKa9vPYkjEUIIca6SgEicMDfvzsRqgEnu/cBgcj6P6X8eAPuNFhS0WkPXDvNlg0ObTUrWeQGguBezvaiGFmtnHtHa7EpyDzQ5n8tONCGEECeDBESiR3QkVgOcH3GhS1vUwOnoVJUqvY4BhlwApvbZSLVej6cKNw+eC0C1uZE2u8qWgmrnez/akA/Y8Qhaid49nw05lSd7KEIIIc5BEhCJHhHvPwQAH7uD4SNucWlzN/kQiQGAK2KLefbSODIrVgAw3j2MpCFzACg2qnjoap2zQHmVTazaU0Gw7xr0fVbQP/RDNsgMkRBCiJNAAiLRI2bE3cjwVgt3G0MweAd3aR9qDgLAy5zHbeP6s65R23Z/fsQMAvrG0M+uoioKA923OROrOw6Kjey7FYBatxb219ZSVN18CkYkhBDiXHJOBUSXX345/v7+XHXVVae7K2cd/4GTWXz5t9x09VfdtscExACwt76A6qwf2WnUAzCxvfL1MKMfAL7u+9ixv47y+lb+s2U/KG3kGrVlMoeiEOaeccg8oh92lrJm34Fu24QQQojDOacCovvvv5+PP/74dHfj7BUUA2bfbpti2rfm77E3sj7jM1RFYajOk2CvMAAS/LQlN9WzHLtD5dEvd9BosZEQsovWznxtQsy7u80j2lVcxz2Lt3HHx1totNh6eGBCCCHOdudUQDRlyhS8vb2PfKHocUMipwFQYNCxomILAOeHjHa2D2sPmEpMzYDK6r3aTE9EQCoARlU7FNbgvp8NOVWoauchsdC5vGa1OUjNq0YIIYQ4FmdMQLRmzRouvfRSwsLCUBSFpUuXdrlm4cKFREZGYjabGTt2LCkpKae+o+K49PUMIlDVoSoKP7trlavPj7ve2R4bfQl6VaVar+BnKAbA26Qjw54PwFUOdwAazHVUNFjIOWgrfk2TlW/SSlCM1SiGetmJJoQQ4pidMQFRU1MTI0aMYOHChd22f/755yxYsIBnn32Wbdu2MWLECGbOnElFRYXzmsTERBISErp8lZSUHHN/LBYL9fX1Ll/ixAw5aGu+NzqGh45xPnf3DiHaof1xDPdIA2BWQhWVigNPh4Nbxj4CQInRgUFpdqlo/fmWIixqA54D/4xH5ELW53T+mRBCCCGOxhkTEM2ePZsXX3yRyy+/vNv2t99+m3nz5nHbbbcRFxfHu+++i4eHBx988IHzmrS0NHbt2tXlKyws7Jj788orr+Dr6+v8GjBgwHGPTWhi2rfmA0z0HYJBZ3BpTzAFAhDiX4C3yUAft58BOM9hol/cVfS1O3Ao7Ud8tM8C2R0qn2wswOS5F0Xfis5Yx97qfdQ0WU/RqIQQQpwNzpiA6HCsVitbt25lxowZztd0Oh0zZsxg48aNJ+UzH3/8cerq6pxfRUVFJ+VzziUx/cY7H58XfVmX9uHtR3y0eVSx9tGpbK5LB2BK8ChQFOL0WkXrII9MNuZU4XCorMwsp7i2hQE+W5338XPPYFM3Z6IJIYQQh9IrAqLKykrsdjvBwa71bYKDgykrKzvq+8yYMYOrr76a77//nv79+x82mDKZTPj4+Lh8iRMTEz7Z+XjioNld2hPCpwCQ4WiiriWXbNWCXlU5f/htAMT5DATA4F5CTXMbe8oa+GhjPqBi9Sx03sfXY+8hCzh+m17CGz/uweFQu20XQghxbjIc+ZKzx08//XS6u3BOi/SN5P7k+/E2etPXvW+X9kGDLsRj09M063T8c+2zAIy0KfgOGAdAXMhoqN9NjakRgE825bM+uwqjqYwaXZvzPq3u5d0mVlc3WXnoP+lYbQ7GDerD+dGBJ2OYQggheqFeMUPUt29f9Ho95eXlLq+Xl5cTEhJymnoljscdw+7g2phru23Tm7yIV7UdaN/W7gZgqn8sKFohotjB2qxSkVHFW6njsxRtGXNiuLa0NrzVgqKqNBjbyK0ppby+1eX+n6cWYbVph8uuz5YlNSGEEJ16RUDk5ubGyJEjWblypfM1h8PBypUrGT9+/GHeeeIWLlxIXFwco0ePPvLF4oQleGoJ8Pb2IGhK7HXOtuDAWAIcWtsg9+3O13VuOwG4QO9HtFWbKTK657lUtLY7VP61qcD5fKNszRdCCHGQMyYgamxsJC0tjbS0NADy8vJIS0ujsFDLDVmwYAHvvfceH330EZmZmdxzzz00NTVx2223ndR+zZ8/n4yMDFJTU0/q5wjNsMBE5+PoNjv9h3YmXyuKQpxBy+UK8dwHQFSgGzvtWuAzfsRtJNq03KC+7hkuy2Ydyde+Jh167OwsrqOupXOZTQghxLntjAmItmzZQlJSEklJSYAWACUlJfHMM88AcO211/Lmm2/yzDPPkJiYSFpaGsuWLeuSaC16t2EDL3Q+nuIZAXrXNLc4v8EAGD215dM5Mdm0KtDXbmfIsN+Q6KmVRzB4aPlFHRWtP2mfHfrS///Y6j4fP7WezbITTQghRLszJql6ypQpXY5j+LV7772Xe++99xT1SJwOwQMmMMBmZ79exwVRc7q0x4WOg+rtlBkb+HTeWDbv0M6mm2AIQDF7MyJkFJR9T725jtq6BoqqW2hzOFibVUm4Us42ezp7A4xMKN3BhpzhXBgvOWhCCCHOoBkiIQAUg5GFQ2/jfe9EYpNu79Ie355YnaNXGOnfwMbaPQCM738+AAMipxJgt2NXQGcuZkNOJZ9s1GaHbglL45U+/vzbx5s+XumHPOLj/bW5JP9hBRklUp1cCCHOFRIQHYEkVZ96A897mDFX/gsMbl3agv0iCVAVbIrCpi1/JVOn7RobN0LLJVP6j2JEqwUAT/csVmSU8+XW/QDUmTdja0/WdrgXs6+8kYoG151ozVYbf1qZRXWTlS/a3yeEEOLsJwHREUhS9ZlFURRi3fwB+KDgOwBiVCN9+7QfC+LZl0SdJ6AVaFy5p4IGi42RAU18q2tw3qfYvQUTVpedaADfpJXQ0GoDkENihRDiHCIBkeh14vy04Gebmx6A8X0SXNpHBMQAYHUvA7S8tPP7/UyVQY97e5raLpOROCWXDQfVI1JVlY83dm7N31PWQGWj5WQNQwghxBlEAiLR68T1m+DyfELMVS7P4/tPwqCqtBjaUIw1eLjpSbFpM3y3BSThjY4WnY5I9zQ25HbOAm0tqCGztJ4QQyO3+m5DwXHII0CEEEKcXSQgEr1O3MDOQ37NKiQNmunSbg4fT6xFO+1e717AJcNr2IkFg6py9cj7GOEeCoC7Ry5F1S0UVTcDOGeH/uH/IXfZ/sjlunVSwFEIIc4REhAdgSRVn3lCvfvjp2p/dEd6hGHSm1wvCElghFXLA7psRCUGt/8CMNNmoG+/USQFJwNQ71ENaLlCBxos/LCrFB+a+J/bXi4M70eI19ZDHvHR2mZnSUohNU3WkzFEIYQQp5gEREcgSdVnHkVRGB44DIDzYq7ueoHBxAgP7QiQPfXb+LFmFwA39JsGQNKgWQBkmiCYStZnV/F5aiFtdpWbg3bzjZc7APWeJRRWNztnkA729op9PPbVTl7/cU+Pj08IIcSpJwGR6JUeOf8lfj/y91wbf0u37YnBIwEostZgRSXeYmHYCO3ahNDRGFSoMBiIddvJhpxKPt2sHREzwHsjzTrtx6LE1IYfDV12m7VY7Xyeqh0s+8veA0csKCqEEOLMJwGR6JUifCK4NeFWjHpjt+0hEecTYrM5n99gM6GEDgfA3eBOrFE7Ey3QK4PKRislda2EeTjYZMt3vifT5EaiLqvLstl/d5Q4z0ErqWslv6rrDJIQQojeRQIicXbqP4rE9gKNAXY7MwddDO1FGQES/YYC4PAsc772u0E5rDFrxSAVoFGnI9q0mw05VS6zQP9qPxdN13679dmSeC2EEL2dBETi7OQXwUybdlTf7bX1mOLmujQnhU8FIM+tGSM2dAoYWYlVpxCp9yLWrB0a7OOeQ2WjhayKRgDSi2rZsb+OkYY8Nvs+wRTddingKIQQZwEJiMTZSVGYEZjMhvwibnF4QP8xLs1Jg7XE6myjgREeudw4KoRVTVkAXBQ+nbi+WrFHi6kaHQ7nLFDH1vy7+nzH875NTPX4no05VTgc3ecRSX6REEL0DhIQHYFsu+/FBk/FW1Uh4UrQuf5R7+sRSH+MqIrC/RMPsGBoPhtN2ozSzGG3EdtvPABZbgpDlSLWZ1dR02TlvztKMGNhg1sWv3i4kxJQSW2zhYzSrgfB5hxoJPGFFTy1dOfJH6sQQogTIgHREci2+15s9B3wm69gxnPdNid7DgBge/lWVmYsxqYoxBi8GeQ/mLi+8YCWWJ2k28fm3Co+Sy3EanNwU98sNrcHT3tMegYrJd0um/1zXR51LW18ubUYq81xcsYohBCiR0hAJM5eOj1ETQeDqdvmxFBt1i+tuYRltZkAzBqg1SqK9o9Gj0KNXk+MeS8NFht/WZUNwAyfzew3arvbKgwG4t12dtmJ1tDaxtLtxQC0tNnZXljT8+MTQgjRYyQgEuespKiLAUjXq6S2HxQ7a8SdAJj0JgZ7aEd8eLlreUPNVjt9zA4KmtNc7tPHnElKXrXLLNDX24tpcVTiGf0ipqD/sV7ORBNCiDPaCQVEbW1tFBUVsXfvXqqrq3uqT0KcEoOCRuCtglWn4FAURuh96Ocb7myPDRoBQKmhkQC0HKGHB5ewyU3bb29QtCDK4VFGS5udtKJaQEuk/temAow+O9AZGjH7pbIu+8ApHJkQQohjdcwBUUNDA3/729+YPHkyPj4+REZGEhsbS2BgIBEREcybN0/ybUSvoFN0JBoDnM9nh09zae8IiLQ8Im0H2ixDCpvN2hLcZZHaTrUikxU/Gpw70VLyqtlX3kiY1zYAHHoLO8tyaLTYEEIIcWY6poDo7bffJjIykkWLFjFjxgyWLl1KWloa+/btY+PGjTz77LPYbDYuvPBCZs2aRVZW1snqtxA9IikgDgBFVbkw6W6Xtrg+Wlumm5HfRdfw6pwY9pesol6vx0tv5rr2Y0N2mdxI1O1zJlb/a3MhYKfRo8J5L3dTFil5XZfNVFXllR8yWfhz9skYnhBCiKNkOJaLU1NTWbNmDfHx8d22jxkzhttvv513332XRYsWsXbtWqKjo3uko6fLwoULWbhwIXa7/XR3RZwEU5Lu4K/L1jHVJ4pA734ubUP9h6KgJU73V/eQGJjH+zptlmd06DiG+A/BHR3NOhhk3snHhaMoqGpi2a5SPNxzsCidNYgC3TNYn13FtJhgl8/YkFPF33/JBeDK5P6E+JpP7oCFEEJ065hmiD777DM8PDyOeJ3JZOLuu+/m9ttvP+6OnSlk2/3ZLTpkJD9du5pX5nzepc3D6EGkpxYkZVbthl1fs9FdC1jG95uAXqcn3iMMAB/PfGwOlYf/s4M2u8rIoC0AmB1aorXOvbjbIz4+aS/0CEjFayGEOI2OOYdo8ODBDBw4kNtvv51PPvmE/fv3n4x+CXHK9HHvg0nf/db82EAtj2iPTqVl5+dsb88fGh+qFW4cFpwMQK2pBgM2UvK1zQWqWVsCm6sdp0a1qYk9ZbVUNlqc9y6ra2VFZrnz+a+37gshhDh1jjkgWrVqFbfccgu5ubnceeedREREEB0dzV133cWSJUsoLy8/8k2E6CXi+rbnEZnc2Oamp01RCPEIIcInAoBhAyYDkOGmJ0YpBCDEw0Km0gTAdYl34e5wYNWB0VTGhoO23y9JLcTuUIkx1xJEDeuzK+WoDyGEOE2OOSCaMmUKzz33HKtXr6ampoYVK1Zw/fXXk5mZya233kpYWNghc4yE6G1iA2IByHBz61wuCxuPomhb74cFDQdgn5uREfo9AFw1cBtWRSHQAYNG/z/i2rRls37uO9jQvmxmsztYklKEHw18a3iUb01PU1nfSG5l0ykdnxBCCM0J1SEym81MmzaNp556iueff5777rsPLy8v9uzZ01P9E+K0iukTA0Cx0cBP7flz48PGO9uDPYIJ1LtjVxRi+mTj625Ex2YAxnj0Q9EbSDAHAuDrnsX69jyhnzIrKKtv5Ur37bjZGghRqolTCrrNMwLYWlDNv1OLTto4hRDiXHdcAZHVamXNmjU8//zzTJ06FT8/P+6++25qamr4y1/+Ql5eXk/3U4jTwsfNh/6eWuJ0sVHblDkmZIyzXVEUEvyiAHCYi9nw0AS2t2h5dWMjLwQgoW8CAFbzAYqqWyisambxZi2Z+kafbbzr58O/fLwZpdvXbUDUbLVx26JUHvlyByl5UgBVCCFOhmPadg8wbdo0Nm/ezMCBA5k8eTJ33XUXn376KaGhoSejf0KcdrF949nfVAJATEAMfdz7uLQP7zeRn6t2ssvRzFU7P2FX+zEgY2KvBiA+cgYcWEuZyQqKjcUpBazNqsRfaaDWspOFodoM0lP1GXyRU4XdoaLXKc77/y+9lPpWbbv/2qwDjBkYgBBCiJ51zDNEa9eupU+fPkybNo3p06dzwQUXSDAkzmodBRqhc3fZwRJCRgKw02Ri2+Y/YlMU+unc6eczAID+gy/Ez27HpigEmzJ5b41Wd+h3Yfv42svdeR+DRyH1rW3sKq5zuf+/NnduzT/UkpoQQogTc8wBUW1tLf/4xz/w8PDgtddeIywsjGHDhnHvvffyxRdfcODA2XVm08KFC4mLi2P06NGnuyviNOlIrAYYFzauS3t8n3gUtCW1Zfo2AMYGjXS2KyYv4tESsvt57MDRvpFshnETP3p21vXKNrfRXzngzDMC2LG/lh376zDr7Jiwkr6/jvrWtp4cnhBCCI4jIPL09GTWrFm8+uqrbN68mcrKSl5//XU8PDx4/fXX6d+/PwkJCSejr6eFFGYU8X3iMevNeLt5kxyU3KXd282bgaa+AHzv5QnA6MEXud7DW9umb/bQtubH+NpIad5Ji06Hrv3HcKvZzCjFNY9o8Sbt+q/8/0Kq+V4CHNVszpU8IiGE6GkntMsMtAApICCAgIAA/P39MRgMZGZm9kTfhDgj+Jn9+HD2h3w06yPMhu6P1hjWfhCsrX07/piwsS7tCaGjAKgz1wPwcGQOX3tqy2U3xN4AwB43I8MMGaTm19DaZqeupY1v0ouJUMpY4baHB0M8mGjYdshls9pmKz/sLMXhkFpGQghxrI45IHI4HKSkpPD6668ze/Zs/Pz8mDBhAn/9618JCQlh4cKF5Obmnoy+CnHaxPeJJ9r/0OfyDTtoKW2gRwhBHkEu7QnRlwKw3+DgxYvDCLf9zA6zCT0Kvx32W8JNfVAVBS+vXKw2B1sLavh6235a2xxc45fCIl8fUtzN+HnuOGRAtODf6dyzeBv/2Srb84UQ4lgd8y4zPz8/mpqaCAkJYerUqfzxj39kypQpDB48+GT0T4heYVjgcOfjMe3Vqw8WGDycILtKhV4hxm0NS2t3gY8Xk4JH0de9L8khoyksWEaJqR4fmliXXcmKDK3qu49nKvb2mSebRylZpY1U1LcS5NM5W1VY1czPeysAWLWngmtHh5/M4QohxFnnmAOiN954g6lTpzJkyJCT0R8heqVo/2jcdG5YHVbGho7t9poEN39W2WtJS/+Q/7Yvl10RfzMAI/tPZGnBMraZTSTpslm8yZf6VhsxbgfYqK8HtOvzzW34U8/6nEouT+rvvPenKYV0nPqxsZut+0IIIQ7vmJfM7rrrLgmGhPgVo87IXSPuYlL/SZzX77xur0nw16pef2KwUKPXE6h3d147MljblbbL5MYIfaaz7tBdYWlscu+cCcowuZGk3+NyEKzFZuc/W4oAFVCpb7V12bovhBDi8I7rcNe4uDjq6+u7tNXV1REfH8/atWt7pHNC9CZ3Dr+ThdMX4m5w77Y9PnwSANV6rXDjZREzMei0Sdr+Xv0JMnhhUxRCvLM636Sup01RiHTzJ0Ax0qYoDHBPdzkI9sfd5VQ1WXnY8weyzLcyQslmndQrEkKIY3LMAdE777zDvHnz8PHx6dLm6+vLXXfdxdtvv90jnRPibBI/+GKX55ePuMP5WFEURgZqO9WqTeUYsDErrJm1qrbF/oJBF5PoPRAAo0c+pXWtzoNg/7WpAB0ObtV9j5E25ug3HDLx2uFQWZt1gBarvcfHJ4QQvdkxB0Tp6enMmjXrkO0XXnghW7duPaFOCXE28vUIILw9bW+kKZAInwiX9pEDpgCQZjJw++BGHh2Ywbr25bLpUZeQ2E+rkn3A3IgJKxuyK8kqbyAlr5rx+j14tmnB0yjdXrYUaFv3f+3va3K56Z8pvP6jHMAshBAHO+aAqLy8HKPReMh2g8Fw1lWrFqKnTAqfDsBvRj3QpW1kiFaraIfJjYcTasgt/Z4WnY5+Rh/iAuJIjJgGQLrJjWFKDuuyK1m8WSvcOK/PDud94nUFGG1NbMmvcbm/ze7g4435APyUWd7TQxNCiF7tmAOifv36sWvXrkO279ixQ842E+IQHpz0Mv+7/H/MiLqsS9sgv0H46Uy06HRk7vyUFW3aPyymR85CURTi+sZjQKHKoCfGtJONOVV8uW0/euxMsK5nvbuZe4MDqdQrJOm65hGt3nuA0rpWAIqqWyisaj75AxZCiF7imAOiiy66iKeffprW1tYubS0tLTz77LNccsklPdK5M4GcZSZ6kpverctSWQedoiOpfSfapqYifvHQkrNnRGk/Tya9iTizVvDR13Mf9a02GlptXOqbh6G1ihf79uUXD3c+8vVmtG5vlzyixe2HxCo4ACTxWgghDnLMAdFTTz1FdXU1Q4YM4fXXX+ebb77hm2++4bXXXmPo0KFUV1fz5JNPnoy+nhZylpk4lUaGTwHgE19vGnU6+ho8GdGebA2QGJQIQKN7pTOwmdcnnQ3uZvYbtB/nHz09SFb2sKukjtpmKwBF1c2s3neAcaY1XBixgJmeXxwy8VoIIc5FxxwQBQcHs2HDBhISEnj88ce5/PLLufzyy3niiSdISEhg3bp1BAcHn4y+CnHWGxWmJU7Xtm/Nnx4xA53S+WOaGDkDgN1uOqKUEtz1KrE1q/nc28t5TYXBgM6zEL1qY2OOVq9oSapWuNEj9Cc2eJhp7LONDTmVhzz3bGtBNRUNXWeBhRDibHXMlaoBIiIi+P7776mpqSE7OxtVVYmOjsbf37+n+yfEOWVowFA8FD3NqrZDbMZg1+XnEcHJAGS5Gbm1Tw4DIz0pz6xljUcYAMlByWyr2MbPnkbi6gpYlz2I6bHBfJ66H399CdvNFkAh12yjubmBjNJ6Evr5unzG2qwD3PTPFEZH+vOfuyec/EELIcQZ4IROu/f392f06NGMGTNGgiEheoBBZyAxMBEAX6MXo4JHubQHeQTRT++JQ1EYF17AXLcU/uPjhUNRGBsyljuH3wnACk8PRur2sCGnihUZ5VQ2WogLWoat/Uy0Rr2Ooeat3S6bfbQhH4AtBTVUN1lP3mCFEOIMckIBkRCi500M17bXzxx4kbOS9cFG+A8FIK1qN22Z/+XL9uWya4Zew5jQMfjrzFTr9fh77SKvsol3ftoHOCj3zgbA7NByjwI9dnZJrC6pbWHVngoUQz0qVueSmxBCnO0kIBLiDHND7A28M+Udfj/q9922J7YnXqfTykpdK9V6PYHufZkaPhWjzsgFIdrhsiXe5YBKVkUjfbzSKNc78LY7+I2XdhahzaOY1PxqlwKOS1KLwK0Er8Gv4dHvM9mJJoQ4Z0hAJMQZxqAzMD1iOh5Gj27bE8PGAZBuNvGZjzY7dOWQqzDqtIKps+JuAGCNh4EI3X4AIkK08wUvUz2YEHcNAEXurVjb2thWqBVwtNkdfJ5aSJDvWtDZcfPKZF12ySH7uTx/OauLVp/YYIUQ4gwhAZEQvUy0fzTu6GnU6dhmNqNHx5XRVzrbk0PHEqTqaNDriPTaiGKoJ9dQCsDVgy4hIfpSDKrKAYOeaLfdzjyilXsqKK9vxc1nNwB2BSpaMrst4FjaWMpDvzzEAz8/SIO14RSMWgghTq7jDohaWlpobu78RVlQUMA777zD8uXLe6RjQojuGXQGhnuHO59PHjCZEM8Q53O9Ts+FXoO0JwHZxEakYFcgubWVwUm34e7mRZyiFX0M9djO+mwtT2jx5kJ0buXUGDsTqcM8t7M+p+uy2bKctaio2FUbW0rTT8YwhRDilDrugGjOnDl8/PHHANTW1jJ27Fjeeust5syZw9/+9rce66AQoqsREdOdj6+Nua5L++yBswHINNdj9dgEwFWGIPDTAqmRvoMB0Hnks2N/LbuK61ibdYAIb21pTa9q9YncPHK7zSNauucX5+Mfs6VoqRCi9zvugGjbtm2cf/75AHzxxRcEBwdTUFDAxx9/zJ///Oce66AQoqux7QUcI30iGRc6rkv7sNir6Ndmo0WBclsjvnY7F8Zc62xP6q/97Ja7N+JQVR76T7pWuNE/E4ArmrSijNXmWtZnV7gUcLTa7OQ2ds4KbS+XGSIhRO933AFRc3Mz3t7eACxfvpwrrrgCnU7HuHHjKCgo6LEOCiG6GhM6hnemvsNfZ/zVpZJ1B8UjgFmqu/P5ZY1NmBI684ySYq4AoNBNT39DPnvKGtAbaik0asvgd8bciKfDQaseGu0FZJTWO9/7edo2MNQ5n5dZ9qGq3Ve8FkKI3uK4A6KoqCiWLl1KUVERP/74IxdeeCEAFRUV+Pj49FgHhRDdmx4+nQHeAw7ZPjsw2fn4Ks/B4NvP+dzPK5QoVatxNNBDW/Ia1kdbLhtmtRMy6TESrTYAQj3SXAo4frpjlXadpQ2DquLQNbCjPLeHRiWEEKfHcQdEzzzzDA899BCRkZGMGTOG8eO1Kfzly5eTlJTUYx0UQhyfIQMv4KGqGp6urGZQwrVd2pM8+wNg8sgBwNN3FwDTfAaD0Z1kdy1R29NznzOPqKCqibwmbYlsUnMTMVYtAfvbzE3d9mF7YQ3/2VIkM0hCiDPecZ1lBnDVVVdx3nnnUVpaSmJiovP16dOnc8UVV/RE34QQJ0CJmMAt9Q2g6CD2si7tyWHj+E92PrWedYT52MnU1QIK02K1JO2k4FFQtpx690ry86tobbOzeHM+eg9tNmhcSyvVOj27TCY2l6QBN7rcv7XNzu0fplLT3MaAAA/GDepzcgcshBAn4JgCogULFvCHP/wBT09PFixY4Hz9k08+6XLt22+/feK9E0IcP78BcMX7YDCBT2iX5pFDr4DsJWQbVZ4bv5mnCxUibA4GthduHBZ1MYbSH2kwOLBQyea8av6zIxVdaBPuDgfxFitFBgOf4U1R8x5UVUVpPysNYNmuMmqtB9CZ61mzb7AEREKIM9oxBUTbt2+nra3N+fhQDv6l2NstXLiQhQsXYrfbj3yxEGea4Vcfsim0bywhDoUyHfwt7xvQK0zzikQxaBWvzeHjibe0kW52I8gjnRf/F0Gjbg9mYGSrBaNHX4ZbagGwG/azr6KWocGdhzwv3pyPR/j7KG5V/JwbyCPEnMyRCiHECTmmgOjnn3/u9vHZbP78+cyfP5/6+np8fX1Pd3eE6FHJ5mC+t5ZRotf+ETN16FWdjUZ3kt38SacJf88M9pRMw72/lm80tqUVznuU8NWv4Wu3U6eHbzJSeSRY21yxr7yBbRVb8IjQco+y6/ZQ19yGr4fx1A5QCCGOkhzdIcQ5bGRw5060AIfK8ATXPKDkvsMBaHUvB+wY2vOHxrRaIOFKlPCxDLNoidXrirY53/fp5kLc/DoLNoa67WFjrhwUK4Q4c0lAJMQ5LCnqEufjqe790RvcXNsHaRWvq9za0HvtA70VH7udoaGjwCcMwscz3GIBIK8hE7tDpbXNzpfbszB673Lex8dU2G3Fa4DthVUs+GI9tc3WbtuFEOJUkIBIiHPY4AET8XNoj6cOvbJLu++gqURZtbxB36AVAIxutaCPb99JGjGR4e0zRA63AnYW1/G/HaW0mrah6uwY2rfbt7nVsS6ra0Ckqirzv3+dFU138+Kqb3t6eEIIcdQkIBLiHKZTdLw09inui7iE8xN/2/UCdz+SFQ8A2kwlQPtyWdwcrb1fMglt7fdyq2Ll3lwWby5wLpdd2dAIQKXRTlFVHUXVzS63315USy1aXaNNZat6enhCCHHUJCAS4hw3Ke5a5k15pdsjQACS/F13h43tkwBeQdoTgwnfsGQi22eRPt+5gfSyfejc96NXVe5sM+Gmqlh1CkPcdrEhx3WW6F+b8tCZygGoceylobWth0cnhBBHRwIiIcRhjYyc7nzc12ZnUPx1rhdETHAmVtfaszH6bQHg/OYWgmIvJ1wxAzDQvIt12VXOt9W1tPH9nh0oOu2IEJ2pglX78k7mUIQQ4pCOKyDKzMxk0aJF7NmzB4A9e/Zwzz33cPvtt7NqlUx7C3E2CY2eTYhNC1rGWCwocb+qeh3RmVit9yjA6KvtNpvb2AQJVzDQMwwAf7d8NmRX4nBoeUVfb9uPTV/icqvv9m08mUMRQohDOuaAaNmyZSQmJvLQQw+RlJTEsmXLmDRpEtnZ2RQUFHDhhRdKUCTE2cQnjCk2rWTZDO8o8Ahwbe8/hmHtS2YGz2wUQyMBdjuTjIHQfzQDAxO060xVVDe1kllWj6qqfJpSSB9zlsut0ivTuu3C7pI6LvrTWlZmlvfo0IQQosMxB0QvvPACDz/8MFVVVSxatIgbbriBefPmsWLFClauXMnDDz/Mq6++ejL6KoQ4TX4feSn/Li7lgtH3d200+zAkIAaTw+F86eLGJowJl4OiEBk2BoASI0QpJazPrmRrQQ37yhvp654NwLBWbYapUd1LWV1rl4/444p9ZJTW8/c1uSdhdEIIcRwB0e7du7n11lsBuOaaa2hoaOCqqzqr2954443s2LGjxzoohDj9zDOeJ/b/bYeYi7ptN0ZMJNbamRA9t6EJErRt/IP8owHIMxoZq8tkXXYVn6YUAiqtploArmvfjaZzL2b1vmKXe5fUtrBqTwUA2wtraLLYuu1Dc1szD//yMF9nfX3c4xRCnLuOK4eo46wynU6H2Wx2OdLC29uburq6numdEOLMoDdqh8UeykEFGuMsFob4RECIVuU6wicCgCqDngRDJil5VXy3o5QY/T4q2g8PmhI4kiCbDRQHy7JTXG797y1FtKcd0WZXScmr7rYLKwpWsCx/Ge9sewe1vf6REEIcrWMOiCIjI8nK6lz337hxI+Hh4c7nhYWFhIZ2PVlbCHEWi5jAdfUNTGxu4dGqWm12qP0fTl5uXgS5af9oCjFn09pmx2JzMCNgEwChGPEZejFJ7ctm6QfSnAGNze7g89QiJuh2scd8K9fpVx2y4vWmUu1+1a3VFDYUnszRCiHOQsccEN1zzz0uJ78nJCRgMHSeEfvDDz8wbdq0numdEKJ38OzLAL/BvFt+gGSLBToqWbeL9IsCoM7YwgClAlDpa9SO9hjiOwgiJpDcHhBZ9FlkVWhLaKv3HqC0rpV73H7AjJVr9asPWfG6IyAC2F6x/SQMUghxNjum0+4B7r777sO2v/zyy8fdGSFELxY+Hir3QVA8BLkWcxzoH0VKxVbyjQbGKHvpZ2ykQGkGvBnSbzwEx5PsMAJgcM9nzb5yhgR782lKIX40MEHZQQsK8UoeReUHqGhoJcjb7Lx/Tm0OlS2dgVJaRRpzo+aeilELIc4SxzRDVFh4bNPQxcXFR75ICHF2GHkr+EXA5Ee6NEX6RAJaYvVVgYW8MGgP+9y0g2SH9I0HnZ7o0NF4Ohyo+jZ+ykmnuLaF1XsrmK1PYZmHiXER/fnU14MkXRYbDirwCJ3LZapDu+fW8m0nb5xCiLPSMQVEo0eP5q677iI1NfWQ19TV1fHee++RkJDAl19+ecIdFEL0Ev2S4YEdED+3S9NA34EA5BsNjNdlEFX5E1lu2ozQEP8hAOgjJ5LYvmy2szKNxZsKcKhwmfdmXunjj0NR+MTXm9G6DNb+atlsfbFW0NFaPV77nPo8altrT8YohRBnqWNaMsvIyOCll17iggsuwGw2M3LkSMLCwjCbzdTU1JCRkcHu3btJTk7m9ddf56KLut+iK4Q4t3QERAVGI7aafEoNBlp0Ybjp3Aj3ad+UETGRpC1vsd7DHbtbDu+vzSOIGr73KqFO7wVAhcGAn2cGS7IrUVUVRVFoc7SRUqb9Iy2mwZt87wBUUzVpB9KYMmDK6RiuEKIXOqYZoj59+vD2229TWlrKX/7yF6Kjo6msrHTuOrvxxhvZunUrGzdulGBICOEU4hmCWW/GpigUGwzsa58dGuw3GIOu/d9loSNIbi9lZPLIxWq3M9lvBUu9tWBohN9QAPZ611BTX0/OgSYAdlfuxupoQW8zsZS/cr6lFpDEaiHEsTnmpGoAd3d3rrrqKpeCjEIIcSg6RUeETwR7a/aSbzSwtyN/qH25DACDGwlBIzCo+diMTShulWQGpgFwpW8cc8Y9ys3LbmGlp5kE3V7WZSUSFeTFN3tXAxDTqkcHTLNUsoYAUkq7zyNKL6pFr1NI6OfbbbsQ4tx0XIUZHQ4Hn376KW+88QarV6/u4S4JIc5Gkb6RgJZYvc9dm/UZGjDU5Rr3iPOJs1gB8A37FwUGB/52Ow+c9wcSg5Lor7jRotMR7LOJde2J1asK1gMwx6JVs062aEd/7KnejdVudbl/aV0LV7+7kWv+vpGG1jaEEKLDcQVECxYswM/Pj7vvvpuSkhLuvffenu6XEOIs40ysDh/FPr9g4FczROBSj8jurh3kukAfjF/fISiKwqUBiQBU+hSwKbeK0vo6qmz7ADi/WauQH9lmw2zTY1PbyKjKcLn956lFWO0Omq12Nud2X/FaCHFuOq6AKDs7G71ez7vvvkt+fj719fV8/fWZfX5QUVERU6ZMIS4ujuHDh/Of//zndHdJiHNKx9b73SYjRa3aLrHo9nPOnPqPIsnaeVZZcmsrcxJudT6/JO4GAPZ6tNFqP8Bj3y9FURz0tenpb7ODfyQKEGfRDpo9OI/I7lD5PLUIRd+Aom88ZMVrIcS56bgCInd3d2bOnMnDDz/ME088wYMPPsiKFSt6um89ymAw8M4775CRkcHy5ct54IEHaGpqOt3dEuKc0TFDtKd6DwCB7oEEmANcLzK6kxwQh5tDxaCqPF3dgBJ3mbM5PHIqI6w2HIpCP9+f2VSi1R+a1NKgXTDzFQDOb60BYP3+Lc73rt5bQVlTKQGDXyVw0GuszS47KeMUQvROJ3S4a4ekpCSqq8/s6efQ0FASExMBCAkJoW/fvmd8n4U4m3TMEHXoslzWzi/iPP5ZVs7HJeVERUwBd//ORp2OS921Q2YdPrvRe2YDML6lGQIGw9DZ4B/JyPY8oh2V6c5z0T5LKSQwZAlWvZ0WQxsN9amU1bV224eqliqyarK6bRNCnJ2OKyDauXMnf/vb38jPz3e+5nA4Tqgja9as4dJLLyUsLAxFUVi6dGmXaxYuXEhkZCRms5mxY8eSkpLS9UZHYevWrdjtdgYMOMzp3UKIHuVh9CDYI9j5/FABERETSbRYGWa1wrCuO1lnRlyAQVWpNTehN2uzPGNbWrVrFQUiziPOakXnUGix11HYUEhJbQu/7P+ZFu8C5336eW475LLZTf+7myu/vZq91dknMGIhRG9yXAFRQkICc+bMYdWqVTzzzDO88MILVFZWUldXd9wdaWpqYsSIESxcuLDb9s8//5wFCxbw7LPPsm3bNkaMGMHMmTOpqKhwXpOYmEhCQkKXr5KSEuc11dXV3HzzzfzjH/847r4KIY5Px7IZdJM/1CF8rDYr5NEXhszq0uw3aBqTmlucz2MsVvwdDkhoD54iJmBSYZCWm82Wsm38K2UfbsHfAhBi03KUdB6FrO8mIMqpLqGoeQ8qdhanrTqeYQoheqHjqkM0cuRI3nrrLby9vZk+fTpjx47lggsu4P/+7/+oqqoiICCAp59++pjuOXv2bGbPnn3I9rfffpt58+Zx2223AfDuu+/y3Xff8cEHH/DYY48BkJaWdtjPsFgszJ07l8cee4wJEyYc8VqLxeJ8Xl9ff5QjEUIcSqRPpPPcsUPOEJm84a41oOjA5NW1PWQEl7XaWeWpPR3f0gohwyCw/X6REwGYYKkn292blXmb2ZS9Ep1XHf3b2ni2spp5ocGUuzdSkH3AWfG6w/upnfmQW8t2nvighRC9wnHNED322GO89dZbPProo7S0tPDKK6/w3XffERgYyO9+9zt27uzZXyJWq5WtW7cyY8YM52s6nY4ZM2awcePGo7qHqqrceuutTJs2jZtuuumI17/yyiv4+vo6v2R5TYgT1zFDZNAZGOQ76NAX+oWDb//u2/QGzu+biK/dDsC4ltbO2SHQDpj16efMI1pfsgar5xoAnqqqITliOm4OlTq9gtqayb7yRudbVVVlVcEG5/Piln3HM0whRC90XAFRB3d3d2bNmsXzzz/Piy++yJw5c9iwYQM+Pj491T8AKisrsdvtBAcHu7weHBxMWdnR7RRZv349n3/+OUuXLiUxMZHExMTDBm6PP/44dXV1zq+ioqITGoMQAmICYrT/+sdg1BuP+z5ukefxx4pKHquqZnxrKyRc2dmoKFoeUns9I4euAUVRmdFkZWJLK25j5hGvapPjkZ5bWJt1wPnW7UW1NCp7nc/t+lKyKmTzhRDnguNaMjuUkJAQfvOb3/Cb3/ymJ2/bI84777xjSvw2mUyYTKaT2CMhzj1JQUm8MfkNYvxjTuxGERMZvcrC6FYLDBgHfr+awY2YQMDOfxNsVSh3U9HbjTxRtR88AyFyEonbItjenIvZI5f12ZXccb42W/XBxm3o3KrQqyreDge1ej3fZKTwUFDXXCagy3KbEKL3OqEZolOlb9++6PV6ysvLXV4vLy8nJCTkNPVKCHGsFEVhVuQs5zEex61fMhjM2uNudqIReR4As5q1+kTXNfoRaHdA/BWgN5AUpuUQVrvXsjmvGqvNQV1LGyvbl8viLVbnDNO6orRuu/CPNTlEP/kDqfkygyTE2aBXBERubm6MHDmSlStXOl9zOBysXLmS8ePHn9TPXrhwIXFxcYwePfqkfo4Q4hgYTDDhPgifAMOu7treJwo8g3igppr4nDk8XJ+pvd4ePCXGav/d76bgZithe2EN36QVo5q02kNjWluJt2rnoOXWZ+JwqC63b22z89fVOdgcKv/ZIsvpQpwNeiQg2rdvHzab7cgXHkZjYyNpaWnOnWJ5eXmkpaVRWFgIaOenvffee3z00UdkZmZyzz330NTU5Nx1drLMnz+fjIwMUlNTT+rnCCGO0bQn4fYfwN2va5uiQMQEDMDi0NXobc1aonZ/7R82/gGDiXRoS13RnptYl13J4s0FmD21gGi01UFcmxYE6Yx5ZJS67jL9cXcZtc1WQGVdVqWz+KMQovfqkYAoNjaW3NzcE7rHli1bSEpKIikpCdACoKSkJJ555hkArr32Wt58802eeeYZEhMTSUtLY9myZV0SrYUQAoAIbfu9vrx980TClVqg1C7JPQwAL499fLq5kH1V+diNjRhUlaQBk0jomwCA3VTDqn2FLrf+dHMhgQHL8Il5ghrrDvIq5RggIXq7HgmIeuJfR1OmTEFV1S5fH374ofOae++9l4KCAiwWC5s3b2bs2LEn/LlCiLNUez0ip18trSWFjAKgwb2KqiYrBs8cAIZbLLgPu4aAyEmEtWkz36tytznfl3Ogkc15lbj1WYOqqMT6fddtgUchRO/SK3KIhBDimAXGdp6DFhgLwfEuzUlDLgcgz6TirdQS6JkGwFirCkNmQsREZx7R3poMWtu0ukdLUgoJ8NhBvUH7h2CT+wHWZnUfENnsDr5JK25fXhNCnMkkIDoCSaoWopfS6WDgJO3x8K6J1xGhyQQ4wKpTiHXfjOqpJUePDhkNRnfoP5p4qzZD5G7KZkt+DRabnS+27qe/7y/O+5S62UnJy8dm71rW42+rc7h/SRovfpd5EgYohOhJEhAdgSRVC9GLzXoVLn4Lxv+uS5OiKIww9QHAM2gHjXobJoeDESNu0S5w8yDep72ytrmIddmVLNtVRk1zCxXepdrrqoqqKATpN7Gj2PUsR7tD5dMULfdo9d6KLjvVhBBnFgmIhBBnL58wGH0HGNy6bU4KTAQgzawteSW2qbgN7jwiKG6AVs+oxa2FX3Ly+CylkFCvFJr0EGizM1N1ByDAYzfrfrVstnpvBaV12vEhlY1W9pQ19OjQhBA9SwIiIcQ5K2nwRQDY2nefjfWPAX1nAX+fgVOJaGsDYF/NHjblVhPkux6AmYY+jAwZA4DFvYx1v0qs/iylkNHKHtJNd3CN/ufDJl5b7BbZui/EaSYBkRDinBUXMQW3g+KQ0TFXul4wYCxxFi0g8jfvA8VCiVcVALOjLiNp8GwAisxt7Cgsp8mi5RyV1rWwak8Ftxr/x1JfPbPcVrL2EAFRXl0eU/89lUfXPtrDoxNCHIseCYgeffRR+vTp0xO3OuNIUrUQZy83vRvxBu0wag8V4mN/dQyIyYsEcxAAPu5ZRHqvpVUH/dtsDEu+k0GDZ+LjcGDRKYS7bWVznhYs/Tt1P95qI9l98nizjz+LgxvZnbffuVPtYO/vWESDtYEV+SuxOU6swK0Q4vj1SED0yiuvnLUBkSRVC3F2SwobB0CyVwRGQ9cDneODtWKxreZKAvy13wOz3fuhuPui0xtJ1GsBVbDHDtZlVWF3qHyeWsgs/Wb+66XlGKW4mxloWM+2whqXe9e21vJd3ncA2FQr+6qzD9nPTzI+YXHm4hMcrRDiUGTJTAhxTrtp/ONcNuhS7p/2ZrftsYNno1NVGox28txrAZgVc62zPSkgFgCHx37WZR9gzb4DlNS1Euu9jnJDZz6Src/mLonX/9n3H+xqZ42i5dlbu+1DaWMpr6e+zqspr1LbWns8wxRCHIEEREKIc1pf9768dP7LxATEdNvuMXASg9orVtsUhag2O0OG3+RsT4rUdqXtN7eSXV7Hn1dlEUIVmd5a8DPGrB0vlOtVx885nfWI2hxtfLz7UwDMVm0macP+tG77kHag8/WChoLjGKUQ4kgkIBJCiMMx+xKn93Q+ne01GIxm5/P46MswqCrVBh1RbrvYXljLhcZ1rPTQgpwHRz/KxOYWVAWK2v7rrFr9U8FP1ForMdjMPF23H4C8hj3ddiGtIs35uLC+sNtrhBAnpscDoqKiIm6//faevq0QQpw2CX5DnI9nJ9zk0mY2eRGvaMFPfw/tzLOwgBQsOh2DTQHED5zB7TatXee7jeV7tDPTPtr1CQCT64wktloAaKWImuaWLp+ffiDd+bigXmaIhDgZejwgqq6u5qOPPurp2wohxGkzftBsjKrKBIudAXFXdmlP8o0CQOdRwGClmA0eTQDMGXINiqIwut9E4i0WVJ2dJXuXsOPADnZX70R16HmkMZcBNhvedgfo7Hyb4ZpH1NzWzJ7qzpmjvFoJiIQ4GQxHvsTVt99+e9j23Nzc4+7MmWjhwoUsXLgQu73rdlkhxLkhcvhvWFZXjNeAcaDTd2lPDJ8CO3dR7t7EZX5reN9sRgdcEnMNAMrA87gteykPBQeS3bqM93dqu83CGkIJc+QBEGe1stndzKq87dwy6jznvXdX7caudv7+2VN1dv2OFeJMccwB0dy5c1EU5bBVVZX2qq9ng/nz5zN//nzq6+vx9fU93d0RQpwOOh1Bkx8/ZHPS0Mth51/Id9PT4L0ZMDPBJ4pAj0DtgoiJzGhuoV+bjWJjMz8X/QzArQ31Wnu/kcQ3Z7PZ3Uxm9W6Xe3fkD9ktQehNFZQ2F6Gqare/Z1/Z/Apri9fy8eyP6eve94SHLcS55JiXzEJDQ/nqq69wOBzdfm3btu1k9FMIIc5YAZ5BRGIE4D8eWi2jOQm3dF7gH4nepz+31dU7X1KaB3BtW/uus4veJM6q7WSzqNmUtZ+BBrCmcAsAVzfWoKjQprZQ3VrdpQ8O1cHX2V9T1FDEd7nfHbKv5U3lfLjrQ1ptrYe8Rohz0TEHRCNHjmTr1u5rZQBHnD0SQoizUaJXBAAORcEbPVMHze5sVBSInMicxibMNm1ifnStL3rsEJYM/ZKJ9x0EgGquYPW+Eu2xqrK7agcAV7UWEWLXgqYd5V0LOBY3FNNi0xKyVxWuOmQ/X9j0Am9tfYvP935+giMW4uxyzAHRww8/zIQJEw7ZHhUVxc8//3xCnRJCiN4muf9E5+PZQaMx6X9V9TryPMyqysOlBlpKrmaBTdttxrCrAegXPglfux1VUVmRnQbArgPZtNGIwaEQY7US3l4PaXVuRpfP31uz1/k47UAaVS1VXa6pbq1mfbF2OO3BO9eEEMcREJ1//vnMmjXrkO2enp5Mnjz5hDolhBC9TWL0Zc7Hc5Lu7npBhBYwzbXlElkfTLx9L6BAwhUAKAPPJ96i1SjaVr4LVVX5ZPsvACRYLRiBiDbtoNn0sq4zRLsOdBZ9dKgOftn/S5drVuSvcCZo76rcdcixOFQHKwtXUmepO8yIhTi7SGFGIYToAZH+0dw49HpuGHodw4KTu14QMAi8w3DDxl8D/q29NnASeIdoj8PHE2fVAh6Vvewtb2BNgZY/lNzaAgazc4aooK6gS2rC2oKdADjatLPVuls2+z7ve+fj0qbSbmeRAL7Y9wUP/PwA72x75+gGL8RZQAKiI5DT7oUQR0NRFB4b9wSPj3uy+5227XlEAEOatECH4dd0trv7keCuBUfu7vn8bXUO9WQBkGixwpg7CW/fGKzoismtbHK5fW79PgBiq/sDsLFkI81tzc72sqYytlVsQ0Ghj1k7jHt3leuOtg4dy2oHV8gW4mwnAdERyGn3QogeE9lZXwi9CWIvdWmO6zcegGZTPd/u2oPeVAHAiFYLJN5AROAwAFS3GtZlHXC+L6WgBJtOm+35Z+ty3KzeWB1W1hWvc17zQ94PACQHJzM+TPuc7gIiVVXZXrEdgLy6PCx2ywkNWYjeQgIiIYQ4VSIOCoiGXAhm19pmIYNmEGC341DA6JeivaWtjYDAeAiKpX/kZHSqik1nZ1VWZ4HGRakbAAi22fB1OIhp0o4KWVXUuWzWERDNjpxNpLd2kO3uyq4BUV5dHjUWrXCkXbWTXds1X0mIs5EEREIIcar0GQzeYdrj9t1lB1MiJhDXnlht8t8ItM8ODbsKALfIyYTatKTobSV7sdkdNFttrCvQtuYPac9BuqS5FoA1RWtoc7SRW5dLZnUmBsVAdv4gXvtGW27bXbW7Sy7S1grXsir7qved6KiF6BUkIBJCiFNFUeDK9+DClyDm0q7tHgHEG/20xwYtaEm0dAZEhCUSbncA4KfsIX1/Lf/bUYpdXwTAUKsWTF1uyQO7Jw1tDaSWpTpnh8aGjmPJxmocraGAjsqWSsqby126sK1cK65r1GmFJg8+R02Is5kEREIIcSpFngcT7gVd979+4/sOc3meGBAHvlqiNHoj4WbtOJBgUw7rsqr4LKUQP7NW02io3hvVpx9mxU5Ag5agvapwlTMgClLG02CxgeqGYg0GuuYRdQREsyK18ioH1zcS4mwmAZEQQpxB4gfOcD72cjgYnHCDS3tEn6EAuLmV83lqIdsLq7GYagEYMuhClIGTABjbpC2FfZP9DQX1BZj1ZnZm9ecW/Y/sNd2CT7MX4JpHVNZURklTCXpFzzVDtR1w+6r3HfL0gbSKNMqaynpg1EKcfhIQCSHEGSQoejZ92/OERlis6OLnurRH9BsHQLOxidK6ZryN+7HqVEwOB+GJtzp3sl1uKUanmmi1a2eWJQdOJL2giXsM/8WktDHeqiVOHzxDtLVcyx+KCYghvk88Bp2BhrYGSppKuvRzd+Vubv7hZn7/y+97dPxCnC4SEAkhxJnEI4AEtGM/RniFg0eAS3N45FQASow6opUikjy0mkFRqgFD6HBnQDSKXByNUc73qQ1JjNVlEqJoB8NeaNGCnIMTqzuWy+IDEnn5+3309xwIwN7qrstmq4pWoaKyu3I3Vru1Z8YuxGkkAZEQQpxh7ou6khsamrhx7CNd2vr5RqAHWnQ6RrilM8BDO7JjqN9gLWnbLwLVtz9Gxc6ABj8AvI3ebNodyBzdeud9ptjKwKGnzlLH/sb9AGyr0AKiguJgFq3Pp75Oy1fqLiDaWKLtgrOrdvLq8nps7EKcLhIQHYFUqhZCnGrRk5/i8fk5+ETP7NJm1BkJM3gDMNpjC/VG7byxIRHTtAsUBSXyfABmNjUz1HwpF4fdj6XFwsUGrbaR6uaNEfC2dOYR1bbWOmsObc7Ujv84UKXNTv06sbrOUudyFprUKhJnAwmIjkAqVQshTovujv9oF+4TAYDOUEqWm7Y9fki/sZ0XtC+bTdBl0lg6i/Q94UzRpeFNM/j0Qxl5CwDRFm2pbHfVbmd16r6mAajNDh4yfI5/ixvQdYZoU+kmVDoTrSUgEmcDCYiEEKKXiQiMB2C3mxvFRu18syH+QzovaA+IRig5FJQdICW/mrl6rZo1CVdqh8oC51m14z52Ve5yLpe1NUVwr+Eb7jV8w8O21QDsb9xPo7XRefuO5TJvN22mKrtGAiLR+0lAJIQQvUy4r5bsvMrTA4AQ9yB8TQcdA+IXAb4DcFPsJOuy8KaZGQZtBojh10D4eFRFx2RrJQC7qzJILdNmwcvLQ5mj13KNprEXvcMPgH01WsVqVVVZX6K1zxmsFYzMqs06eYMV4hSRgEgIIXqZcO9wAKr1egCG9ol1vUBRIGIiAON0mczSp2BU2yAwBoITwOyDEprIoLY2dA49LbZm5/b7Ya12Qtt3ovkoLbg1a/lEHRWr8+rzKGsqw6hz4+NloQAUNxbT3NZ83OP5bM9nPPDzA4e9R2pZKncuv5OSxq4lAIToCRIQCSFELxPRnkPUwWW5rEP7stk4XQbXmrQlLoZd3ZmbFHkeBiDMYuh8j82XqxxpLrcZ2J5n1DFD1LFc5q8bSlOzDw6blpidU5tzXGNpsDbw1pa3WFm4kp+Lfj7kdX/f8Xc2lm7k6+yvj+tzhDgSCYiEEKKXCfMKw6B0BjJDA4Z2vag9IBqpz2Wko31H2MEHyrbvREu2NDlfsjeFc4mhfQPJEO3ojjHtBRw7Eqs3lGi5SBUV4fhTD5Yg4PgTq5fnL8ditwCddZB+rc3Rxo4D2gG2xQ3Fx/U5QhyJBERCCNHLGHQG+nn3cz7vdobIPxJ8+qNTbSioMGAc+B80sxQ+DlXRMd5a63wpulWPD03gHQaTHwVgVlshoOUJtdhanLlG/nXerDfdz5S2Emf78fgm5xvn445K2b+WWZVJi60FwFkzSYieJgGREEL0Qh15RGa92fnYhaI4Z4kAGH61a3t7HlGCpbPK9FxLkfZg2JUQOgLV5EOsvRHFYcBit/Bt9re02FrQqz5cb9uNh2JxBkTHs9OsoL6A7RXb0SnaX0U5dTnUttZ2ue7gmSOZIRIniwREQgjRC3XkEUX7R6PX6bu/qCMg0hkg7vJu28NtNuIaPKE+jhvsHUtr14BOjxIxER3Qx+IOwIe7PwSgtW4wc/VaLtGQNi2g2lvddYZIVVVuXfoUv1n6KA7V0aX925xvARgfNp7BvoOBzmrZB9ta0TlzVNFSQauttfvxCnECJCASQoheaETgCABGhYw69EUxF0PoCJjwO/Ds07V94CR0wGsV1cwqC8dE+060kGFae3tANdSqBT0dy1UDWzycO9EGW9sAqLZUdpndWZa1ja1135Be9z3/2L7Ypc2hOpwB0dzBc0kOTga6Lps5VIezaGSH7g6bFeJESUAkhBC90MzImXx12Vf8Lul3h77IIwDuWgMznuu+fcBYVEVPpK6c+9yXaa8dvBNtoJZ4PbG9XlGHK1val9a8gvFSVfpqMVGXxOoPtn3rfPz+7r9Q3lTufJ5SlkJZUxneRm+mhk91BkS/TqzOqc2hzlKHu8HdOYu0v0HyiETPk4DoCOQsMyHEmUhRFKL9ozHqjMd/E7MPSlgiAANsWvK0y0604ARUsy/D2zp3ojlaQ7hWaQ9aLnwJgFirlvC8r6Zz2azFamdPg1bA0WjXYXE082rKq872b7K1ZOpZA2dh0psYGTQSgMzqTJd6RB0B0vDA4c5lwuJGySMSPU8CoiOQs8yEEGe1gxOvf70TrT2PKNraRsfRZf2bvZ1nopFwJWpAFNHteUQpxRnOt368JRXcyjGoKu+Vl4Kq46fCn1hVuIpGayM/FfwEwJyoOQCEeoUS6hmKXbWTdiDNeZ+O/KGRQSPp790fkBkicXJIQCSEEOey9npEQNedaO3tHqpKP6uWuD2nuX35bNhVoNOhDDyPqPY8oozKfc63Lcn4HwBjW1oZabEwuEYLtF7a/BJfZ39Nq72VSJ9IhvcdTrPVRlldKyODtVmijlkhVVWdj5ODk+nnpZUakIBInAwSEAkhxLksfByYfMDoecidaABvVVSgK7qKeW3ts0DDrmlvP5/oNi0gqmjNR1VVssobKLdps+oXNGnLXzfWWPExhFDRXMGbW94EtNkhRVGY9/EWJr3+MwPc44DOnWYlTSWUN5djUAwMDxzunCGSJTNxMkhAJIQQ5zKTN/x2Bcxb2f1OtOAEVLMf8bYmHm3djpE2CIqDkAStPfI8Bra1oVNV7EozhXWlvL9pK3r3EnSqytRmbYv8JCWTgObrAG3nmILCJYMuYVdxHeuzq7DaHVRXawHPjgM7aLO3OXecxfWNw93gTn+v9iWzxv2oqnqSvzHiXCMBkRBCnOuCYiAotvs2nQ6l/aDYGwztZ40Nv6az3TsEt4BowttsAHyTsY0fcpcDMKrVQsCwa3HoTQQrtVjyYXbkJYBWeyjEM4QlqYUEU80oZQ878034m/yx2C3srtrtXC7rSLgO8woDoKmtiTpLXU9+B4SQgEgIIcQRDDzf9XnCVS5PlYGdy2b/2rYZuzkNgOlNzZB8E8oAbZfuKHYzPfBuHhr1EM+Of5Zmq41vthfzodvrfGF6AVvhFkYEJgFaPaKOGaKOLflmg5kgd+3stOM9wqOprYm7VtzFB7s+OK73i7OXBERCCCEO7+CdaBETwW9Al/aOxOoGZTc6D61O0XR9AAwYhxI5CYDxut2k5jZxS/wthHmF8d2OUiKtWcTqtC3/57Mdf712UO1PBT+RX5+PgkJSUJLzozrOcDvegGh10Wo2lGzg490fH9f7xdlLAiIhhBCHFxQP7v7a44OXyzpEnEdUezVrg5dWi2hEq4XgBG0nWkdANU6XybqsA863fZZSyOX6dc7n43SZNNRqwdauKu0YkSj/KHxNvqTmV3PHR1sIcAsBjn+nWcfhtNWt1bTZ247rHuLsJAGREEKIw9PpYNarkPibzt1lB/MOJqo94bnDBU3NncFT/1GoBjOBSh1tFXupaGhlX3kD6YVVXNp+JhpAkpJFVq4RD4OH87XkoGRUVeWZb3bzU2Y5pZVa2/EGRFvKtwCgonKg5cARrhbnEgmIhBBCHNmI62DuQnDz6LY5fMB5GA/a+TXdM7wzUdtgQhkwBoDxugzWZ1fyWUohE3W7CFTqwD0Ah2cwJsWGd+UO4gKGO+8zKngUO/bXkVlaD0BxpXbQ7PFsva9orqCgvsD5vLy5/DBXi3ONBERCCCFOmGHQZAa15xHFWqz0T7jO9YL2ApDjdBn8lFnBV9uKmaPXjvYg4Qp0gyY7232UIc63JQcnsyS1kCt1a0g13YNnVQ1wfDNEW8q2uDyXgEgcTAIiIYQQJy7iPIZZLADMbmrWKlkfzBkQZfLdjhKsLQ3M1rcHKMOvdeYZjddl0FgzEIDBvoPx0AfwbVox9xu+JFCp4wqHlltU1lSGzWE7pi6mlrsewXTwYbNCGE53B4QQQpwFvAK5XxfE6IoiLgwaCT5hru39klEN7vS11ROtFBOrFOBBK/hHQv/R4NkXgEQlm3057iy8ZSHhPuH8N72EoW17CDdp+T4XOPaxEE9sqo3y5nLncR6gHfWxMbeK4f398DJ1/eutY4Yo0ieS/Pp8mSESLmSGSAghRI/wG3YNFzU1Yxh7T9dGgwklfCygLYtd3rFcNuwaUBTwH4jq0w83xU54806CjUlE+kayJKWQuR3XAoN05ejbfICuy2b/2lzIDe9t5qXvMvi1A80HnNv4Lxp0ESAzRMKVBERCCCF6xnkL4JE8iLm4+/b2ZbFL9JuYpN+hvdaxE01RUNqX1cbrMlibdYCMknoy9ldxSftONNXoCYCvRTto9uDEalVV+WhDPgArMspxOFyP9ujYXRYTEEOUXxQgOUTClQRER7Bw4ULi4uIYPXr06e6KEEKc2XQ68Ag4dHt7gcaxuj3ocUBYEvSN7mwf2JlntC67kiWphUzSpROgNIJXMMqo27Tb2LTz0Q6eIdpaUENZRQWPGJbg25RHZlm9y0d31B8aFTKKYI9gQAIi4UoCoiOYP38+GRkZpKamHvliIYQQhxaWBMaDtu0Pv9a1vX0GaYSSw87cEr7eXty5XJZwFQyaAkCirRpwrVb9WUoR8w3f8P8M3/KU4V+sy6p0uXXHDNGo4M6AqLK5ErvD3lOjE72cBERCCCFODYMbhI/THit6SLjStd0/EtV3AEbFTrw9A7W1ngv12gGvDL8awsehKnri7bUAFNVrAVFdS9v/b+/Ow6uqzsWPf/c+JzmZ54mQhCSAAQTCDAEVlCCiIkIdSy1VrwOCgv6q1faqvdIW1Ku2WtTqvQ69daoDDlitCMogEEIgDAkZCCEJZJ7n6Zz1+2MnJzkkaMSQBPJ+nuc8yd5rn73XXk8lb9d611r869AJrjHtBGCansauzEL7bUsbSsmuykZDY3LwZAJcAzBpJlpVK+WN5Wf1lcW5QwIiIYQQfaetl4fhl4JHUJdiLcoYVpuhH+EKUyIWmiHgAhgyASyeMHQSYa3GdPuctoDok+STjG89wlCtDAB3rYmG43tpbDF6f9pnl8X4xWBrdeW6l3dj0XyA0w+b5dfmn/Fq2OLcJAGREEKIvjPtLpj/J7jmhe7LO61HZB8uG982Ew3QIi9maFtAVNNSQV1zHe/syePaTnuiAUxWKew9bizi2Hm47J3EXPbnVlJbZyRodzfTrMXaws2f38w1H1/DrvxdXcrF+UkCIiGEEH3HyQXiVnRdp6hd20yz8foxZukpxrlx13eUR12Ml03hYTVmkX2TlcaxglKuMiUY5aOvAYyp/duPGmsXtSdUTw6awnuJeYRrRegtRi5TYX3H0Fq73JpcY/NXWwurvllFcnHyT3ljcY6QgEgIIcTA4RMOvpGYsKGhIHyGsXhju/DpKN2JiNZmAN5M3M+lejJeWj27/cK4Wi/k9wF+DHM6yu6MAkobSjlWdQwNDdUQhUt5Gl87P0i87SjQ/ZDZsapj9t8bWhu4Z/M9pJWnndXXFv1PAiIhhBADS9uwGWAkU3fm7I42dDJDW438oOSCLBabdnDE2YlVPs7k1BfyoacH14X7U9n6v3x+dDMAF/hewKfJVdxg2opFayXWavQeFdcXd3n8sUojIJo3bB4TgyZS01zDXZvuIrsq+yy8rBgoJCASQggxsLStV4RuhguXdC2PupiwFiOPyMW5iFGWQ9wTHES9amVS0CQm6O406jrlAQf5731/AGCc/yS+PnzSPhMt2GoEVCeqC7rcvr2HyGKNYP3c9Yz2G015Yzl3fHUH+bX5vf22YoCQgEgIIcTAErMAoi6BSx7qfqHHyIvtM818XTNZGexHqdnEBb4X8Ne5f+XvF9zGn4tKCG7W7F9prIlkqjpIoFYFQHBbD1NeNwFRenkWAB/sbqa+0YmX571MlHcURfVF3PP1PdQ21/b2G4sBQAIiIYQQA4uLFyz7DOb8pvvy8GkMtRm/VrhWctzZiRCzOy/OfRFPZ0+06NnMrW/g4xP5uFdcx70T7yUhJaRj1ppvFMFWI6CqbC5FqY5tPmzKxvFqY2istSmIHZml+Ln48cq8VwhyDSKrKouHtj0kCzqehyQgEkIIcW5xciUsYIz90NNq46XZzxLsbqxATcAFKPdgPLQWhhW549O0gMKSCq7Q23YcuPJpAluNiMpGCxWNFfZ7nag+iVU1Y1LwF/UPvss0coxC3EN4/rLnsZgsbD+5neeSnuubdxV9RgIiIYQQ55zQYbPxtVpxUoq/mEIZETazo1DT0KLa1jMypbBmYyrz9L24aU3gGwUj4jEHj8OvLY9o74mOZOlPjyQDENXSzDWmRIoy99p7kC4MuJA/XGTkJL2Z+iYbMjf0wZuKviIBkRBCiHOOU/Qc3s4v5JMT+Uwd/6uuF7StZxSnp1LT1Mpi+yKPN4KmoUdfYs8j2nYsy/61L9IPABDVlrQ9qjGZtMIae/kVkVewPHY5AE/sfoLv8vb09quJfiIBkRBCiHNP2FTCXIMJt/jB6IVdy9u2AJmgHSVMK+Fi0yHj/PgbjJ+RFxPclpidXJADQHF1I8crjfWJoptbACOgOnWj2Ltj7+byYZfTamvlrk33kZh3jN72YvKL3PKvWxyG88TZJQGREEKIc4/ZAndvh+U7jSTsU/lFozxDsWitPG5+ExM2CJsK/sON8mFxBFuNPKLiiqM0t9p4P+kE3pbjAES3JW1P19P4LtNx8UZd07l91CNYG4aimer43XeP9GqS9aacTbx04CWSS5L5LOuzXruv+H4SEAkhhDg3uQd0u0Es0JZHZAybzTPtM86Nv7Gj3MWbYDfjuz6mXJJyKngnMYdW53IAokcuxOrsjafWQF2njWLbfbyvhOj8mZhtJgqaUvmfQ//TK69UWFfI73f+3n68KWdTr9xX/DAJiIQQQpyf2vKIgLZFHhc7FIcEjAbAxamU//4qnaqqHBpMCk0pIifdhh41C4DJtsPsy+kYumputbFhbw7/o73GE2VG79FLB176yXueWW1WHt7+MNXN1Yz0HYmGRnJJMoV1XfdbE71PAiIhhBDnp6hOAdGIeKNHqZOgodMBaDXXk5RTwQzX7QAMVTouoZPQ2vKQ4vRUth/tyCPalFpETGMyIVoFC2vrGVXtjVUZwUxNcw1n6n8P/y9JRUm4md34y5y/MDFoIgBf53x9xvcUPScBkRBCiPOTb2THxrDtydSdBA+bDUC5GcK0Eoa7GDPMoj3CQNPsPUxT9HR2ZXT00rybmMti0w778cOllbjrQZysPcma3WscFnpMyqngzr/v5URF/fdWNbk4mReTXwTgP2f8J+Fe4VweeTkgw2Z9xdzfFRBCCCHOmiWvwom9MGZxl6Ign0gA6nSdW5y2YHUuBzyJDp3WdsEYbC5+uDeWYyrcT0XdTGqbWtmbeYKXLIn2+0zW8gisWE6jz6t8kf0FrmZX/F38Afjn3jyKa5oo/8qbS0YGnraanx/7HKuycmXUlVwdfTUAcyPmsm7POvYX76e4vpggt9PkS3WSUJBAq62VWUNn9bCBRDsJiIQQQpy/wqcZn264ObnhpTlRrVpY6PwVzzp7ABAdFGtcoOvoURfBkU+ZoaXyXVYpaQU1zNOT8NAawTeSVt0Fc1kaYYVFXBZ3J6+lvsRHmR91PMQCFgukN0L6oe+v6lCPoTw641E0zdiDLcQ9hAmBE0guSebrnK/5+eiff+/3S+pLuHvT3QB8ff3X+Lv696CBRDsJiIQQQgxawa4BVNcXUOGkOObkBECUd1THBVGXwJFPidNT+Di9hO2ZJaxrHy4bfyPmhkooSyNOT8XD9B/8eoq7PQl6Z1YpHkV7Ga8fY6s1lilTpuNu6f7PrkkzsWTkEjzagrJ284bNI7kkma9yvvrBgOiTrE9oVcbaSodLDzM7fPYZtMjgJQGREEKIQSvYO5LM+gKOOTlRbDb+JEb7RHdcYM8jyuCO/cdxt9VxsUtbV8+4G6AkDfb8jTg9lZePVvDMDcsAqG9u5b3Pv2QLb+Gj1THBWkeV6y+5YUr4j6rfvGHzeHrv0+wr2kdpQykBrgHdXqeU4uOjH9uPU8pSJCD6kQZNUnVlZSVTpkxhwoQJjB07lldffbW/qySEEKKfBXuEArDb1QWAANcAvJw7LfQYGINyD8JFa2G8ymShaSdmbDB0MgSMgMhZKDRG6idJzciwJ1R/frCAKS178dHqAJihp/JdhuMCj+1sNsVXKYVU1jd3KRviMYTxAeNRqO+dbZZUlEROdY79+HDp4R/XEGLwBESenp5s27aN5ORkEhIS+NOf/kRZWVl/V0sIIUQ/CnYLBiDR1RWAaO9oxws0DS2yY6PYa+17ot1k/HT1RQWPA2BEfTKZxbUAvJuY5zATzVurp/RoEjZbxwy0dm/uOs6d/5fEf32W2m0dezLbbMNRY6PZGN8YwOgh6jzbTfywQRMQmUwm3NzcAGhqakIpJf9jEUKIQS7Y3QiI6o08Zsf8oXZt6xn9TN9OrH7MWORx7BJ7sR7dvl5RCtszS8koqiEzJ4/L9P0AKF8jyBrddIAjhdUOt1ZK8X+7jZ6dLWnFWLsJmOKHxQOwt2gvZQ1d/498TXMNXx3/CoCHpj6EWTNT3lhOQV1BzxpBAAMoINq2bRsLFy4kNDQUTdP4+OOPu1yzfv16IiMjcXFxYfr06ezZ8+N2Ga6srCQ2NpawsDAefPBBAgK6H4sVQggxOLT3ELXr0kMEEGkEPOF6iXF86iKPbXlGxkawJby7J4+rTAlYtFYIuhBt6m2dyh03ik08XoFT6RG+dv41lzZ9w6GTVV0eP9RjKGP9x2JTNjbnbu5S/kX2FzRaG4nyjmJqyFRG+o4EjF4i0XMDJiCqq6sjNjaW9evXd1v+3nvv8cADD/D444+zb98+YmNjmT9/PsXFxfZr2vODTv3k5+cD4OPjw4EDB8jOzubtt9+mqKj78VwwepGqq6sdPkIIIc4vXQIin24CIv/h4Dmk4/jURR6HxaE0nSi9iOxjmXy0/0SnobUb7AHTND2tSx7Ru3tyucu8kRF6Pv9h/hc7Mku6ree8yHkAfJj5IY2tjQ5lGzKN4bIlI5agaRoXBlwInD6P6KXkl7ju0+sobyzvtnywGjAB0YIFC/jDH/7A4sVdF88CePbZZ7njjju49dZbGTNmDC+//DJubm689tpr9muSk5M5fPhwl09oaKjDvYKDg4mNjWX79u2nrc/atWvx9va2f8LDf9zMACGEEANf+5BZu257iDTNmH4P4OwJMVc6lrt4wxBjm42J1kN4NOQzXU9DocG46yFknH2j2Pqcjo1iq+pb+OZQNlfoxiKPY7Qc9qVnd1vPK6OuxNXsSmpZKvdsvoe6FiNZO6Mig8NlhzFrZhYOXwjAWP+xAKSUdu0hamht4LXDr5Fekc43ud/0oIUGjwETEH2f5uZmkpKSiI+Pt5/TdZ34+Hh27drVo3sUFRVRU2PsMVNVVcW2bduIiYk57fWPPPIIVVVV9k9eXt5PewkhhBADjoeTB25mN/vvga6nWU16zLXGz0m3gJNrl2ItqmPYbJH+Xcc576Ggm9CjjcTsqSqFxONGz8wnB04y27YHN60JAF1TuJzcRV1Ta9f7W31QBf+BCRcSCxO546s7qGqqsvcOzQ6fbV+Isb2HKKUsBZuyOdxnd/5uGq1GD9PB0oM/3ECDyDkREJWWlmK1WgkOdozkg4ODKSzs2S7AOTk5XHzxxcTGxnLxxRdz7733Mm7cuNNeb7FY8PLycvgIIYQ4v2iaZt8SI9o72r5KdBejroT79sO8Nd2XtwVEM00pHbPL2meiAVpkR+L1jsxSlFK8syePJaa2kQonIyibSgp7srsOZb2dkEtJ6VBqj9+Ol7M3h0oPcdu/b2PjsY0ALBnZkeQ93Gc4FpOF2pZacqtzHe6zJW+L/feDJRIQdXZOBES9Ydq0aSQnJ3PgwAEOHjzIXXfd1d9VEkIIMQC0D5t1O8OsM79oMJ1mPePwGSjdTJhWygg9H8wuMHphR3lUxwKPuzIKOHiiitKCHGbpbXk+sx8CjB6mbafkEVltig8Sc7jH9Akzm8q5Y8TTBLgGkFGRQWVTJUGuQcwMnWm/3kl3YpTfKAAOl3XkEbXaWvk271v7cVZlFrXNtd//zj+RUorXD7/OzpM7z+pzesM5ERAFBARgMpm6JEEXFRUREhJyVp+9fv16xowZw9SpU8/qc4QQQvSPSK9IAEb7jz7zm1g80IZO7jgedRW4dF7gcTQ21wDctCaci/az/pujXGPaiUlTEDYNJv7S+Jqex+H0ow633pZRwrjaHTzk9B7POb1I1gk33rziTYa4G4ne1468FrPuGKiNDeiaR5RcnExlUyXeFm9C3ENQKIeA6Ww4UHKAZ5Oe5YndT5zV5/SGcyIgcnZ2ZvLkyWze3DHd0GazsXnzZuLi4s7qs1esWEFqaiqJiYk/fLEQQohzzvLY5Twx8wmHYacz0jabDIDxNzqWtW8Ui9EL9FVqEYs7z0Rz98caaOT+BJXvpbCqYybZO3ty7cNw/loNJ9OTiPCK4O2r3ubxuMe5Y9wdXapyoX/XmWbtw2Wzw2YzIXACAIdKfmDH2Z+ofep/YV0hVpv1rD7rpxowAVFtbS3JyckkJycDkJ2dTXJyMrm5xvjnAw88wKuvvsqbb77JkSNHWL58OXV1ddx66639WGshhBDnOn9XfxaPXIyruWuy9I8y/FLjp3sgDL+sa3mnxOuR2gnG6sdRuhnG/gwA03Bj77GZego7jhrrFRVXN5KUlsWlbYs8AkTVJJFXXk+AawDXXXAdLmYXe9n/7sjmxW+P2hOr08rTaLW1opSyzyq7LPwyxgUYObRnO48ovTwdAKuyUtFUcVaf9VMNmM1d9+7dy6WXXmo/fuCBBwBYtmwZb7zxBjfeeCMlJSU89thjFBYWMmHCBL788ssuidZCCCFEvxg2Cxa9CIGjwOTUtTzKCHgm65ncbDJ6a7SRl4Obn1EeeTHsfpEZeiovZJZw3eQw3k86wQJtF85aR+/KDD2V7Zml/Hx6hMPtM4pqWLPR2P4jfvRFeDh5UNtSS1ZlFpqmcaL2BBaThbjQODIqMgBjpplS6vTJ5D9RWnma/ffi+uLTbk47EAyYHqI5c+bYt9Po/HnjjTfs16xcuZKcnByamppISEhg+vTp/VdhIYQQojNNg4lLIWxy9+X+I1AeIVi0Fm4xte1L1nlobdhMlKYzXC8gPTMdq03xXmJexyKPY68DYLp+hJ2ZXWdYv7snjwitiGgtn++OljPGfwxgDFttyTUCsLghcbg5uTHafzRm3dji40TtiS73SitP45Htj1BY17OZ3N1psbZwtLIjH6qkvvtFJweKARMQDVSSVC2EEKJXaJp9vSInzQoWb7jgio5yVx9USCwAMQ0HeP27bKjIZoqegdJ0mPcErc5eeGkNlB/d67DvWWOLlS/3ZfKJ86N84vwo+9KyHfKI2gOiyyKMoTyLycJoPyOJvLs8orUJa9l4bCMv7H/hjF/3WNUxWmwt9uPihuLvubr/SUD0AySpWgghRK9pX/Ea4MJF4OTiUKx3yjN6+t/pLNaNZGoteg54D0WPNBKzx7cccNj37N8phcxs/g5frRZPrQFyvmOUn9FDtO3ENo6UH0HXdGaHz7Z/x55HdMoCjdlV2ewr3gfAppxNZzw1v/NwGUBpfelprhwYJCASQggh+orDTLSbupZHdSRWN7Vauda+yKMxtKZHty/wmOqw79m7e/LswRPAJNshaDK2nCqqN5asmRA4AT8XP4qqG0k4Vsb4wPFA18TqDUc32H9vaG3gy+Nfnsmb2gMiXTNCDekhEkIIIYTBNxJmrIDJv4KIbpaNiTAWeAzXS1io7yJKLzJWsR51tVHe1sM0VU9nZ0YBAMdL68g+lkGcnmq/TZyeSmquCV+Lr/3cZRGXoZTi1tcTufGV3dA0DDACl2ZrMwAtthY+PfopAJODjVyo9u1Bfqz2gGh8gBF4SQ6REEIIIQyaBlf8CRb+BfRu/gRbPKBtgcdHnf5hnBu90DgPEDgaq4sfbloT1hNJ1DW18t7ePBaZdqJrCoKMvKFReh6HMrIYEzDGfutLwy9lX24FqQXVABw4puPn4keLrYUj5UcA2HFiB2WNZfi5+PHkxU9i1swcLD3I0QrHxSLbFdUV0WrruveaUso+5f6SMCOIK66XHiIhhBBC9JDWNqwWpFUaJ8bf0FGo6+jRRvk0dZgdR0t5PzGvY/+06XfS0hYEeRbuZqSX8fsInxFEeEXwzp48njC/TqLlbtIyjnRZj+ijox8BcM3wawh2D7bnHLWf7+zDjA+J/yCeZ/Y+06XsZO1JalpqMOtmpg8xZoSXNEgP0TlNZpkJIYToU50Trz2CIWqOQ7EW1ZFH9OSXaQTVZzBKz0OZLDDmWpxGGNfP0FIYYrqYSUGTWDlxJdWNLew6mMbPTZsJ1KoZWbqF4W0B06GSQ5TUl7D9hLHZ7OIRix1+bszaSIu1Y8ZYVmUWa/esBeCTrE8cyqBjQcYRPiMI9QgFoKyhrNvepIFCAqIfILPMhBBC9KnwaWByNn4fd33XDWUjjYBosp7JyZIKe++QFnMFuPrYE7fj9FQO55p5c8GbzI2Yy6fJ+cyz7cCs2drKU1CNxuKOB0sP8mnWp1iVldjAWKJ9olFKMWvoLAJdA6loquDbE98C0GRt4sFtD9JkbQKgprmGhMIEhyq2D8GN8huFn4sfJs2EQlHWUNarTdWbJCASQgghBhInV7hwMTh7wKRlXcsDRmJzD8aitTBFT2eRqW0n+fZZa50WeExLT7d/7d3Ejj3RAKbpaeTl+6ChcbL2JG8feRuAJSOX8HZCLjH/+SW7sypZNGIRAB9lGsNmz+59lsyKTPxc/Jg3bB5gTM/vrL2HaJTfKHRNt69QPZCHzSQgEkIIIQaaa1+CX2dC4AVdyzTNPv3+/5nfN3KNXP1gRLxR7uqDLdiY2RVRnURuWT2HT1bRkH+EWP0YSjfTanbHS2ugMvMQ0T7RgDEt3tXsSnzE5bywJZNmq80IotqGzXbm7+Sf6f/k7TQjcFozaw03xRhB2ObczQ6LMKZVGDPMRvmNAiDILch4xgBOrJaASAghhBhodBM4u52+vC2PaJLeNvtr7BIwO9uL2zeKjdNT2X60xKF3SBsxDy3aKI9pSCbSo2Mm2hWRV5CUXU9Q9WH+5vQsxzJTCfMIZ0rwFGzKxprdawD4xehfcEnYJUwOnoyfix9VTVUkFhqpJZWNlfYtP2J8YwA6eogG8NR7CYiEEEKIc03nBR6h6yKPbXlGM/UUvkop4tP9Jzr2RBt/A6bojnKtbT0iMIbL3tmTy6NO/2C+aS/Xt3xKSn41S0YusV8T4xvD/ZPvB8Ckm5gbMReAr45/BXT0DoV7huPhbCwX0N5DJENm5zCZZSaEEGLA8Y0E77bd7v2GQ9gUx/KIGSjNWOAxKzOF0c0phGmlKIsXxCyw9zBN0TMoLRqCxWRhrP9YhlhiyEw7xBQ9A+joYYofFk+gayBuZjeeuuQpnE0dvVGXR14OwJbcLbTaWkkrcxwuAwh0DQQkIDqnySwzIYQQA46mwUgjoZmJS43jziweMHQSYAQ1i03GdHptzCIjaTtwNK0u/rhpTajsY3y08FNeufwVPth3kmu07fbbjNLzOJiWiavZlX8u/CefLf7MnnNUUtPEqnf3Y6uPwtfiS0VTBXuL9tp7iNqHy0ByiIQQQghxtsT/Hm74P5i1utvi9jyhy/T9XGVqmxYf2za0puuY2hZ4nGQ9RH6ZBXezB+/t6cg1Um17kLmc2ElDs5UA1wB7YAOw/pujfJKcz3//+yiXRVwGwKbjm+w9RKP9R9uvDXRr6yGSHCIhhBBC9CoXLxhzjZGA3Z22YbEFpkQ8tQbwDoeImfbizgs87sgsZfexMgIqDxCpF6Gc3GDiLQBMJYWEbMf1gxpbrHy67zg3mbZQeCKbWaFtAVHOJrKrswHHHiIZMhNCCCFE/wibZqxe3W78DY77p0UZPUiT9AwSMk/yTmKePfFaG70QLWYBYCzguCOz1OHWXxwu4GctG1nn9D88bnqdlppovC3eVDRVYFM2/Fz8HHqT2n8vbyzvsqr1QCEBkRBCCHE+cnJBC5/WcXzqTDT/4VjdQ7BorVjyE9ly+AQLTbvarr3RWOARnWi9kLSMIw5ffTchl+tM2wBjptruoyX22WZg9A5pnfKafCw+mHVjxe3SBsfgaqCQgEgIIYQ4X7X1AhE6sesij5pmX69oup7KTLUPX60WPEIgeg64eGMdMgGAoNI9FFc3AnCspJbanP3E6CcA8NQaKEnfY1+1GhxnmG3NKCGrpM4+bFbcMDATqyUgEkIIIc5X0+6AKbfD1c91Xx7VsR6RfVuPcdfZ85LMnRZ43HHU6Nl5LzHPPmvNfpuaJIZaxuPl7AVAjJ+RP7Qnu5xlr+3h1jf2dOQRDdDEagmIfoCsQySEEOKc5eoDVz9r9BB1p22Bx1gti3h9n3Eu9qYu5XGmVHZklNDcauPjpJyO/dOGG8nUcXoKu7IqeXjaw1wReYV91tlbCTkEUUFFeRluJj9g4E69l4DoB8g6REIIIc5bvsNQPsMwazactVYIuhBCxnWUR8zApjsRppWSfTSFr48UMaphH4FaFcrNH+Y9AcBUPZ3dGSdZOHwhT89+GlezK5X1zRw5vI+tlvt5zflpGhvcAckhEkIIIcQA1D79HjBmonXm7A5DjVWwYxr28/S/01nSvsjj2J9B8FhaXANw0VqoyUrAalP2r27Yf5LFfIOr1sw0PZ2aChsgPURCCCGEGIjsAZEG467vUqxHd+QRFZeWcrm+1ygYf5ORmN22L1ps6wEOnawCQCnFewk5LGrfPw1wKzM2fO1uLaKEY2WU1Tb11hudEQmIhBBCiMHsgvlGL9CM5eA9tGt5lJFHNFNP4UpTAq5aM/iPsG8N0jlg2pFpBDvJeZX4lu4hVCu332ZsSwHQtYeoudXGirf3MWPtZpLzKnv77XpMAiIhhBBiMHPxhjs2wxVruy8Pm4rNZCFQq+Je0wbjXFvvEGDvYZqoZbIn3ZiK/+6ePJbobTPR/Iy9zy62Hge69hBtPlKEc20+vq5mLgz16r33+pEkIBJCCCHE6ZktaMPiAIjQ24KZzrlGvlG0eoTirFkxnUyguKaRTQezWWDaY5QveBqbZma8MpKpq5qqaLJ2DI+9syeXd53X8LW+EqeSlD55pe5IQCSEEEKI7+WQeB0xE3yHdSrsWOBxGof5zw2Huah1Dx5aI8pnGIyYS2vIBLxsNnSbEXa0r0V0oqKehqwdWC0VWFQt+A3vs3c6lQREQgghhPh+kZ0CotgbuxRrUR15RF+lFnXMRBt/I2gaziPmoAHeVmOYrX3Y7J97T3Ctvp27g4O4PDyEIzU5Z/c9vocERD9AFmYUQggx6IVOBN8ocA+CMdd2LW9LvB6nHSNay+di/aBxvn2Rx7YeptC2obLi+mKsNsUniVmEeOwj38lMi24myjvqbL/JaUlA9ANkYUYhhBCDnskMd22FFQnG6ten8g7D6huNSVOsMb+OSVMQNhX824bAwqdh1Z0Z2toREG3LKGFM7S7+7Wls+nrl8GtwMbv00Qt1JQGREEIIIX6Yize4+Z22uH09olmmtsTo8Z2G1pxcIXwaQVYrAFnlBbyzJ5f5TtvY7OYGwJILlpydeveQBERCCCGE+Ok6J17rTjD2Zw7Fpug5BLYFRMn5uexPO0qNVxbNusYoz0jG+I/py9p2IQGREEIIIX66to1gAWOxx1N7k6IuIbDVCIgyS09whfYdn3gavUOLR9/cV7U8LQmIhBBCCPHTeQTBkFjj9wk/71o+dBIBOAHgbC5nkusO0i3OOGsmroq+qg8r2j1zf1dACCGEEOeJ616HohSIubJrmcmJoODxoHIwmatI8a4CPJkbNhtvi3efV/VU0kMkhBBCiN7hPxzGXNOxrccpgiKN9YqaTDY2ergDsGQADJeBBERCCCGE6CMew+fiarMBUKfrDHX2YVrItH6ulUECIiGEEEL0CW1ILIE2ZT9eFHMDujYwQpGBUQshhBBCnP90E4FOxo72GnDtBdf1b306kYBICCGEEH0mKNiYiTYzaDJDPIb0c206SED0A2QvMyGEEKL3XDXm50R6RbJ8yv39XRUHmlJK/fBlorq6Gm9vb6qqqvDy8urv6gghhBCiB3r691t6iIQQQggx6ElAJIQQQohBTwIiIYQQQgx6EhAJIYQQYtCTgEgIIYQQg54EREIIIYQY9CQgEkIIIcSgJwGREEIIIQY9CYiEEEIIMehJQCSEEEKIQU8CIiGEEEIMehIQCSGEEGLQk4BICCGEEIOeBERCCCGEGPTM/V2Bc4VSCoDq6up+rokQQggheqr973b73/HTkYDoB6xfv57169fT3NwMQHh4eD/XSAghhBA/Vk1NDd7e3qct19QPhUwCAJvNRn5+Pp6enmia1qPvVFdXEx4eTl5eHl5eXme5hkLau29Je/ctae++Je3dt85meyulqKmpITQ0FF0/faaQ9BD1kK7rhIWFndF3vby85D+oPiTt3bekvfuWtHffkvbuW2ervb+vZ6idJFULIYQQYtCTgEgIIYQQg54ERGeRxWLh8ccfx2Kx9HdVBgVp774l7d23pL37lrR33xoI7S1J1UIIIYQY9KSHSAghhBCDngREQgghhBj0JCASQgghxKAnAZEQQgghBj0JiM6S9evXExkZiYuLC9OnT2fPnj39XaXzwtq1a5k6dSqenp4EBQVx7bXXkp6e7nBNY2MjK1aswN/fHw8PD372s59RVFTUTzU+v6xbtw5N01i9erX9nLR37zp58iS/+MUv8Pf3x9XVlXHjxrF37157uVKKxx57jCFDhuDq6kp8fDyZmZn9WONzl9Vq5dFHHyUqKgpXV1eGDx/OmjVrHPa8kvY+c9u2bWPhwoWEhoaiaRoff/yxQ3lP2ra8vJylS5fi5eWFj48Pt99+O7W1tWelvhIQnQXvvfceDzzwAI8//jj79u0jNjaW+fPnU1xc3N9VO+dt3bqVFStWsHv3bjZt2kRLSwuXX345dXV19mvuv/9+PvvsM95//322bt1Kfn4+S5Ys6cdanx8SExP529/+xvjx4x3OS3v3noqKCmbNmoWTkxNffPEFqampPPPMM/j6+tqveeqpp3j++ed5+eWXSUhIwN3dnfnz59PY2NiPNT83Pfnkk7z00kv89a9/5ciRIzz55JM89dRTvPDCC/ZrpL3PXF1dHbGxsaxfv77b8p607dKlS0lJSWHTpk1s3LiRbdu2ceedd56dCivR66ZNm6ZWrFhhP7ZarSo0NFStXbu2H2t1fiouLlaA2rp1q1JKqcrKSuXk5KTef/99+zVHjhxRgNq1a1d/VfOcV1NTo0aOHKk2bdqkZs+erVatWqWUkvbubb/5zW/URRdddNpym82mQkJC1NNPP20/V1lZqSwWi3rnnXf6oornlauuukrddtttDueWLFmili5dqpSS9u5NgNqwYYP9uCdtm5qaqgCVmJhov+aLL75QmqapkydP9nodpYeolzU3N5OUlER8fLz9nK7rxMfHs2vXrn6s2fmpqqoKAD8/PwCSkpJoaWlxaP9Ro0YREREh7f8TrFixgquuusqhXUHau7d9+umnTJkyheuvv56goCAmTpzIq6++ai/Pzs6msLDQob29vb2ZPn26tPcZmDlzJps3byYjIwOAAwcOsGPHDhYsWABIe59NPWnbXbt24ePjw5QpU+zXxMfHo+s6CQkJvV4n2dy1l5WWlmK1WgkODnY4HxwcTFpaWj/V6vxks9lYvXo1s2bNYuzYsQAUFhbi7OyMj4+Pw7XBwcEUFhb2Qy3Pfe+++y779u0jMTGxS5m0d+86duwYL730Eg888AC//e1vSUxM5L777sPZ2Zlly5bZ27S7f1+kvX+8hx9+mOrqakaNGoXJZMJqtfLHP/6RpUuXAkh7n0U9advCwkKCgoIcys1mM35+fmel/SUgEuesFStWcPjwYXbs2NHfVTlv5eXlsWrVKjZt2oSLi0t/V+e8Z7PZmDJlCn/6058AmDhxIocPH+bll19m2bJl/Vy7888///lP3nrrLd5++20uvPBCkpOTWb16NaGhodLeg5AMmfWygIAATCZTl1k2RUVFhISE9FOtzj8rV65k48aNfPPNN4SFhdnPh4SE0NzcTGVlpcP10v5nJikpieLiYiZNmoTZbMZsNrN161aef/55zGYzwcHB0t69aMiQIYwZM8bh3OjRo8nNzQWwt6n8+9I7HnzwQR5++GFuuukmxo0bxy233ML999/P2rVrAWnvs6knbRsSEtJlMlJrayvl5eVnpf0lIOplzs7OTJ48mc2bN9vP2Ww2Nm/eTFxcXD/W7PyglGLlypVs2LCBLVu2EBUV5VA+efJknJycHNo/PT2d3Nxcaf8zMHfuXA4dOkRycrL9M2XKFJYuXWr/Xdq798yaNavLMhIZGRkMGzYMgKioKEJCQhzau7q6moSEBGnvM1BfX4+uO/4ZNJlM2Gw2QNr7bOpJ28bFxVFZWUlSUpL9mi1btmCz2Zg+fXrvV6rX07SFevfdd5XFYlFvvPGGSk1NVXfeeafy8fFRhYWF/V21c97y5cuVt7e3+vbbb1VBQYH9U19fb7/m7rvvVhEREWrLli1q7969Ki4uTsXFxfVjrc8vnWeZKSXt3Zv27NmjzGaz+uMf/6gyMzPVW2+9pdzc3NQ//vEP+zXr1q1TPj4+6pNPPlEHDx5UixYtUlFRUaqhoaEfa35uWrZsmRo6dKjauHGjys7OVh999JEKCAhQDz30kP0aae8zV1NTo/bv36/279+vAPXss8+q/fv3q5ycHKVUz9r2iiuuUBMnTlQJCQlqx44dauTIkermm28+K/WVgOgseeGFF1RERIRydnZW06ZNU7t37+7vKp0XgG4/r7/+uv2ahoYGdc899yhfX1/l5uamFi9erAoKCvqv0ueZUwMiae/e9dlnn6mxY8cqi8WiRo0apV555RWHcpvNph599FEVHBysLBaLmjt3rkpPT++n2p7bqqur1apVq1RERIRycXFR0dHR6ne/+51qamqyXyPtfea++eabbv+9XrZsmVKqZ21bVlambr75ZuXh4aG8vLzUrbfeqmpqas5KfTWlOi3JKYQQQggxCEkOkRBCCCEGPQmIhBBCCDHoSUAkhBBCiEFPAiIhhBBCDHoSEAkhhBBi0JOASAghhBCDngREQgghhBj0JCASQgghxKAnAZEQQgghBj0JiIQQ/WrOnDmsXr26v6thp5TizjvvxM/PD03TSE5O7u8qCSH6gAREQgxyv/rVr9A0jXXr1jmc//jjj9E0rZ9q1X++/PJL3njjDTZu3EhBQQFjx449K88ZaIGgEIOdBERCCFxcXHjyySepqKjo76r0mubm5jP6XlZWFkOGDGHmzJmEhIRgNpt7uWa960zfUwjhSAIiIQTx8fGEhISwdu3a014TGRnJn//8Z4dzEyZM4Pe//739eM6cOdx7772sXr0aX19fgoODefXVV6mrq+PWW2/F09OTESNG8MUXXzjcp7W1lZUrV+Lt7U1AQACPPvoonfedttlsrF27lqioKFxdXYmNjeWDDz5wuMecOXNYuXIlq1evJiAggPnz53f7Hk1NTdx3330EBQXh4uLCRRddRGJiImD0lt17773k5uaiaRqRkZFdvv/KK68QGhqKzWZzOL9o0SJuu+22Hj9n69at/OUvf0HTNDRN4/jx4z1619O95wcffMC4ceNwdXXF39+f+Ph46urqum2DrKwsNE1j48aNzJ07Fzc3N2JiYkhISOj2eiEGBSWEGNSWLVumFi1apD766CPl4uKi8vLylFJKbdiwQXX+J2LYsGHqueeec/hubGysevzxx+3Hs2fPVp6enmrNmjUqIyNDrVmzRplMJrVgwQL1yiuvqIyMDLV8+XLl7++v6urq7N/x8PBQq1atUmlpaeof//iHcnNzU6+88or9vn/4wx/UqFGj1JdffqmysrLU66+/riwWi/r2228dnu3h4aEefPBBlZaWptLS0rp93/vuu0+Fhoaqf/3rXyolJUUtW7ZM+fr6qrKyMlVZWameeOIJFRYWpgoKClRxcXGX75eXlytnZ2f19ddf28+VlZV1OfdDz4mLi1N33HGHKigoUAUFBaq1tbVH79rde+bn5yuz2ayeffZZlZ2drQ4ePKjWr1+vampqum2DDz/8UGmapi699FL1zTffqIyMDBUfH6/mzJnT7fVCDAYSEAkxyLUHREopNWPGDHXbbbcppc48ILrooovsx62trcrd3V3dcsst9nMFBQUKULt27bJ/Z/To0cpms9mv+c1vfqNGjx6tlFKqsbFRubm5qZ07dzo8+/bbb1c333yzw7MnTpz4ve9aW1urnJyc1FtvvWU/19zcrEJDQ9VTTz2llFLqueeeU8OGDfve+yxatMjeTkop9be//U2FhoYqq9Xa4+fMnj1brVq1yuG+PXnX7t4zKSlJAer48ePfW+92jz32mPL19XUI+J5//nl14YUX9uj7QpyPZMhMCGH35JNP8uabb3LkyJEzvsf48ePtv5tMJvz9/Rk3bpz9XHBwMADFxcX2czNmzHBI4I6LiyMzMxOr1crRo0epr69n3rx5eHh42D9///vfycrKcnj25MmTv7duWVlZtLS0MGvWLPs5Jycnpk2b9qPeeenSpXz44Yc0NTUB8NZbb3HTTTeh6/pPek5P3/XU94yNjWXu3LmMGzeO66+/nldfffV788EOHDjAokWLCAwMtJ/Lzs5mxIgRPW4DIc43AztbUAjRpy655BLmz5/PI488wq9+9SuHMl3XHfJ6AFpaWrrcw8nJyeFY0zSHc+2Bz6k5OKdTW1sLwOeff87QoUMdyiwWi8Oxu7t7j+75Uy1cuBClFJ9//jlTp05l+/btPPfccz/5vj1911Pf02QysWnTJnbu3MlXX33FCy+8wO9+9zsSEhKIiorq8pwDBw7wyCOPOJxLTk7mkksu+cnvIMS5SnqIhBAO1q1bx2effcauXbsczgcGBlJQUGA/rq6uJjs7u1eeeWoy7+7duxk5ciQmk4kxY8ZgsVjIzc1lxIgRDp/w8PAf9Zzhw4fj7OzMd999Zz/X0tJCYmIiY8aM6fF9XFxcWLJkCW+99RbvvPMOMTExTJo06Uc9x9nZGavV6nDfn/KumqYxa9Ys/uu//ov9+/fj7OzMhg0bulxXVVXF8ePHmThxosP55ORkJkyY0OM2EOJ8Iz1EQggH48aNY+nSpTz//PMO5y+77DLeeOMNFi5ciI+PD4899hgmk6lXnpmbm8sDDzzAXXfdxb59+3jhhRd45plnAPD09OTXv/41999/PzabjYsuuoiqqiq+++47vLy8WLZsWY+f4+7uzvLly3nwwQfx8/MjIiKCp556ivr6em6//fYfVeelS5dy9dVXk5KSwi9+8Ysf/ZzIyEgSEhI4fvw4Hh4e+Pn5nfG7JiQksHnzZi6//HKCgoJISEigpKSE0aNHd7n24MGDmM1mh2HMnJwcKioqJCASg5oEREKILp544gnee+89h3OPPPII2dnZXH311Xh7e7NmzZpe6yH65S9/SUNDA9OmTcNkMrFq1SruvPNOe/maNWsIDAxk7dq1HDt2DB8fHyZNmsRvf/vbH/2sdevWYbPZuOWWW6ipqWHKlCn8+9//xtfX90fd57LLLsPPz4/09HR+/vOf/+jn/PrXv2bZsmWMGTOGhoYGsrOziYyMPKN39fLyYtu2bfz5z3+murqaYcOG8cwzz7BgwYIu1x44cICYmBhcXFzs5/bv34+Pj0+3ywwIMVho6tSkACGEEEKIQUZyiIQQQggx6ElAJIQQQohBTwIiIYQQQgx6EhAJIYQQYtCTgEgIIYQQg54EREIIIYQY9CQgEkIIIcSgJwGREEIIIQY9CYiEEEIIMehJQCSEEEKIQU8CIiGEEEIMev8fDnDAQF0NfPwAAAAASUVORK5CYII=", "text/plain": [ "
" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "plot_simu_and_theo(\n", " equivalent_probas=equivalent_probas, monte_carlo_probas=monte_carlo_probas, exact_probas=exact_probas,\n", " ns_equivalent_probas=ns_equivalent_probas, ns_monte_carlo_probas=ns_monte_carlo_probas, ns_exact_probas=ns_exact_probas,\n", " y_label=r\"$1 - \\mathbb{P}(3 \\text{ is CW})$\",\n", " log_scale=True, file_name='mallows_3_first.tex', verbose=False\n", ")" ] }, { "cell_type": "code", "execution_count": null, "id": "a4d73dfc-e9f8-4d98-b9f1-b41e899ccb17", "metadata": {}, "outputs": [], "source": [] }, { "cell_type": "code", "execution_count": null, "id": "7355e052-c33f-4924-8d6f-7c01881ca68c", "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.6" } }, "nbformat": 4, "nbformat_minor": 5 }