{
"cells": [
{
"cell_type": "markdown",
"metadata": {},
"source": [
"# Qubit Protected by Two-Cooper-Pair Tunneling"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"In this notebook, we try to reproduce the result of the [\"Superconducting circuit protected by two-Cooper-pair tunneling\"](https://www-nature-com.stanford.idm.oclc.org/articles/s41534-019-0231-2) paper."
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Introdcution"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"[Smith2020](https://doi-org.stanford.idm.oclc.org/10.1038/s41534-019-0231-2)\n",
"designed a qubit that is protected by two Cooper-pair tunneling. We reproduced the main results of the paper such as\n",
"energy spectrum, wavefunctions, and matrix elements by use of SQcircuit. The diagram of the circuit is"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
""
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"The circuit consists of four equal inductors with $E_L=2\\text{GHz}$, two equal Josephson Junction with $E_J=15\\text{GHz}$ and $E_{C_J}=2\\text{GHz}$, and one shunt capacitor of $E_{C}=0.04\\text{GHz}$."
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Circuit Description"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"Firstly, we import the SQcircuit and the relavant libraries"
]
},
{
"cell_type": "code",
"execution_count": 1,
"metadata": {},
"outputs": [],
"source": [
"import SQcircuit as sq\n",
"import matplotlib.pyplot as plt\n",
"import numpy as np\n",
"from matplotlib.colors import LinearSegmentedColormap"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"We define the single inductive loop of the circuit via `Loop` class"
]
},
{
"cell_type": "code",
"execution_count": 2,
"metadata": {},
"outputs": [],
"source": [
"loop1 = sq.Loop()"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"The elements of the circuit can be defined via `Capacitor`, `Inductor`, and `Junction` classes in SQcircuit, and to define the circuit, we use the `Circuit` class. "
]
},
{
"cell_type": "code",
"execution_count": 3,
"metadata": {},
"outputs": [],
"source": [
"# define the circuit elements\n",
"CJ = sq.Capacitor(2, 'GHz', Q=1e6)\n",
"Cshunt = sq.Capacitor(0.04, 'GHz')\n",
"L = sq.Inductor(2,'GHz', loops = [loop1])\n",
"JJ = sq.Junction(15,'GHz', loops = [loop1])\n",
"\n",
"# define the circuit\n",
"elements = {\n",
" (0, 1): [L],\n",
" (0, 2): [L],\n",
" (1, 3): [CJ, JJ],\n",
" (2, 4): [CJ, JJ],\n",
" (3, 5): [L],\n",
" (4 ,5): [L],\n",
" (0, 5): [Cshunt]\n",
"}\n",
"\n",
"cr = sq.Circuit(elements)"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"By creating an object of `Circuit` class, SQcircuit systematically finds the correct set of transformations and basis to make the circuit ready to be diagonalized.\n",
"\n",
"Before setting the truncation numbers for each mode and diagonalizing the Hamiltonian, we can gain more insight into our circuit by calling the `description()` method. This prints out the Hamiltonian and a listing of the modes, whether they are harmonic or charge modes, and the frequency for each harmonic in GHz (the default unit). Moreover, it shows the prefactors in the Josephson junction part of the Hamiltonian $\\tilde{\\textbf{w}}_k$, which helps find the modes decoupled from the nonlinearity of the circuit."
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {},
"outputs": [
{
"data": {
"text/latex": [
"$\\hat{H} =~\\omega_1\\hat a^\\dagger_1\\hat a_1~+~\\omega_2\\hat a^\\dagger_2\\hat a_2~+~E_{C_{33}}(\\hat{n}_3-n_{g_{3}})^2~~-~E_{J_{1}}\\cos(\\hat{\\varphi}_1-\\hat{\\varphi}_2+\\hat{\\varphi}_3-0.5\\varphi_{\\text{ext}_{1}})~-~E_{J_{2}}\\cos(\\hat{\\varphi}_1+\\hat{\\varphi}_2+\\hat{\\varphi}_3+0.5\\varphi_{\\text{ext}_{1}})$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$------------------------------------------------------------$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\text{mode}~1:~~~~~~~~~~~\\text{harmonic}~~~~~~~~~~~\\hat{\\varphi}_1~=~\\varphi_{zp_{1}}(\\hat a_1+\\hat a^\\dagger_1)~~~~~~~~~~~\\omega_1/2\\pi~=~4.07921~~~~~~~~~~~\\varphi_{zp_{1}}~=~9.71e-01$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\text{mode}~2:~~~~~~~~~~~\\text{harmonic}~~~~~~~~~~~\\hat{\\varphi}_2~=~\\varphi_{zp_{2}}(\\hat a_2+\\hat a^\\dagger_2)~~~~~~~~~~~\\omega_2/2\\pi~=~4.0~~~~~~~~~~~\\varphi_{zp_{2}}~=~1.00e+00$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\text{mode}~3:~~~~~~~~~~~\\text{charge}~~~~~~~~~~~~~~~~n_{g_{3}}~=~0$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$------------------------------------------------------------$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\text{parameters}:~~~~~~~~~~~E_{C_{33}}~=~0.154~~~~~~~~~~~E_{J_{1}}~=~15.0~~~~~~~~~~~E_{J_{2}}~=~15.0~~~~~~~~~~~$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
},
{
"data": {
"text/latex": [
"$\\text{loops}:~~~~~~~~~~~~~~~~~~~~\\varphi_{\\text{ext}_{1}}/2\\pi~=~0.0~~~~~~~~~~~$"
],
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"cr.description()"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"The above output shows that `cr` circuit has two harmonic modes with one charge mode."
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"To determine the size of the Hilbert space, we specify the truncation number for each circuit mode via `set_trunc_nums()` method. Note that this is a necessary step before diagonalizing the circuit."
]
},
{
"cell_type": "code",
"execution_count": 5,
"metadata": {},
"outputs": [],
"source": [
"cr.set_trunc_nums([17,17,9])"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Circuit Spectrum"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"To generate the spectrum of the circuit, firstly, we need to change and sweep the external flux of `loop1` by the `set_flux()` method. Then, we need to find the eigenfrequencies of the circuit that correspond to that external flux via `diag()` method. The following lines of code find the `spec` a 2D NumPy array so that each column of it contains the eigenfrequencies with respect to its external flux. "
]
},
{
"cell_type": "code",
"execution_count": 6,
"metadata": {},
"outputs": [],
"source": [
"# number of eigenvalues we aim for\n",
"n_eig=6\n",
"\n",
"# array that contains the spectrum\n",
"phi = np.linspace(-0.1,0.6,50)\n",
"\n",
"# array that contains the spectrum\n",
"spec = np.zeros((n_eig, len(phi)))\n",
"\n",
"for i in range(len(phi)):\n",
" # set the value of the flux external flux\n",
" loop1.set_flux(phi[i])\n",
" \n",
" # diagonlize the circuit\n",
" spec[:, i], _ = cr.diag(n_eig)"
]
},
{
"cell_type": "code",
"execution_count": 7,
"metadata": {},
"outputs": [
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAAAX4AAAEOCAYAAACO+Hw9AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjQuMywgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/MnkTPAAAACXBIWXMAAAsTAAALEwEAmpwYAAA5lklEQVR4nO3dd3hU53bo/++a0aggCXWqkADTexECgw0GY8Cm27jjBtjJqXGSk5Pc5EnySzn3d5ObckqOjw0YG5djG2wwxWCKbdzA9I7pRfSiioTqzHv/GFGtMjN7NE3r8zyypuxZ75rBWvPOnr3XK8YYlFJKNR+2YCeglFIqsLTwK6VUM6OFXymlmhkt/Eop1cxo4VdKqWZGC79SSjUzUcEYVEROAlcBJ1BjjMkJRh5KKdUcBaXw1xptjLkSxPGVUqpZCmbh91h6errp2LFjsNNQSqmwsX379ivGmIy67gtW4TfAWhExwGvGmLl3biAiLwEvAWRlZbFt27YAp6iUUuFLRE7Vd1+wvtwdYYwZBDwI/ERERt65gTFmrjEmxxiTk5FR55uWUkopHwSl8BtjztX+vgQsBXKDkYdSSjVHAS/8IhIvIonXLwPjgH2BzkMppZqrYOzjbw0sFZHr4//RGPNpEPJQSqlmKeCF3xhzHOgf6HGVUkq56Zm7SinVzGjhV0qpZiYsTuDy1beL3qW8pKjO++pdeazem+u7I4RXMHN/j/LDm6n79npvridOvQ9oaOwGHuL1GH5S//OrO416Xz93sFt/3XzgjdtvPjY6No6BEyYTm5DgRbZKWRfRhf/U7h0UX77o9ePqLQT1FtLQU+/bUT1vVN4uwdng9vWN4dUI9cfxKw/GuO1Nv8GnbW7b6OZVc3uc2l81VZUUX7rIhB+/7Hm+SvlBRBf+p371n8FOQal6ffnOAratXMrAByfTutNdwU5HNSO6j1+pIBk6/TFiExL58u3Xvf7EpZQVWviVCpLY+ASGP/oUp/fv4dj2LcFORzUjWviVCqJ+908gpV0mX72zAGdNTbDTUc2EFn6lgsgeFcWombMoPH+W3etWBzsd1Uxo4VcqyDoPGkJWn35s+ug9KspKg52Oaga08CsVZCLCqGfmUFF6lc1LFwU7HdUMaOFXKgS06tiZ3qPuZ+fq5RRdvBDsdFSE08KvVIi45/FnELudr//4ZrBTURFOC79SISIhNY0hkx/h8HffcPbggWCnoyKYFn6lQsiQyQ8Tn5LKxsXvBjsVFcG08CsVQhyxsQyeOI28fbu5cPRwsNNREUoLv1Ihpt/9E4iJj2fL8g+DnYqKUFr4lQoxMS1aMGDcJI5s2UTBuTPBTkdFIC38SoWgQQ9OJirKwdblS4KdiopAWviVCkEtkpLpM+YBDnz1OVcLrgQ7HRVhtPArFaJyJk3HGBfbP1kW7FRUhNHCr1SISmrVhu5338ue9Z9SUao9fJT/aOFXKoTlTp1BdUU5u9Z+EuxUVATRwq9UCMvI7kSngTnsWL2c6sqKYKejIoQWfqVCXO7UGZSXFLNvw/pgp6IihBZ+pUJc+x69adetJ9tWLNFVupRfaOFXKsSJCLnTZlBy+RKHN30d7HRUBNDCr1QY6DxwCGmZWWxZ9iHGmGCno8KcFn6lwoDYbOROncGV06c4sXNbsNNRYU4Lv1JhovvwkSSmZ7Bl2eJgp6LCnBZ+pcKEPSqKnEkPc/bgAc4c3B/sdFQY08KvVBjpO+YB4hJbsnWZtmxWvgta4RcRu4jsFJGVwcpBqXDjiIll4IOTOb5jK5fzTgY7HRWmgjnj/zPg+yCOr1RYGjB+Eo6YWLYu/yjYqagwFZTCLyKZwERgfjDGVyqcxSUk0m/sBA5++yXFly4GOx0VhoI14/818EvAFaTxlQprgydOQ8TGtpVLg52KCkMBL/wiMgm4ZIzZ3sh2L4nINhHZdvny5QBlp1R4SExLp9fI0ez7fC3XiouCnY4KM8GY8Y8ApojISeB9YIyIvHPnRsaYucaYHGNMTkZGRqBzVCrk5Ux+mJqaanZ+uiLYqagwE/DCb4z5X8aYTGNMR+AJ4HNjzMxA56FUuEtr34GuQ+5m55qVVJVfC3Y6KozocfxKhbEhUx+hsqyMPes/DXYqKoxEBXNwY8wGYEMwc1AqnLXt0p2sPv3Y9NH7lBYW0GPEKFp37oKIBDs1FcIkHDr95eTkmG3btDGVUnUpOHeWr95dwImd23E5a0hu05Yew0fSY8Qo0jKzgp2eChIR2W6Myanzvkgu/Mt/s5OrBZVePabe18OPL5Mvofw6f6snmD9niWE14fQyWU83v327+l70huPe+W8i4v6PiPs+93VIb59AzsR2HNu2iYMbv+L0vj0Y4yKlbTtiWsTfNoBcH1RuBr1+m9iEwROn0TV3uGdPUoWshgp/UHf1NLWUtvHExju8f2AAqpY3QwTkvdnLQRrc2k/5BmZO4uUgDWxu6rniyeSqzk1qb7z1LuNy32IMGJf7nupKJ3u/PEtGdkv6jhlH3zHjKCsq5NCmb8jbtwtXTc3NGNdj3jHg9etFF86z5tXf0KFXP2ITEhrNW4WniJ7xK9UcGGP46N+3U1pQwdP/fDeOGLvPsS6fOsFbf/1zcqfO4N4nn/NjlirQGprx61E9SoU5EWHEI10oK65i1/o8S7EysjvRc8QodqxaTmlhgZ8yVKFGC79SEaBtl2TuGpjBjrV5lBV7973WnYY/NhOXs4bvPnrfT9mpUKOFX6kIMWz6XbhqXGxZccJSnOTWbeg3dgJ7P19D4YVzfspOhRIt/EpFiORWLeg7KpPvvz1H/tlSS7GGPfwEtqgoNi5610/ZqVCihV+pCJIzsSPRcVFsXHLUUpz45BQGPzSVg99+yaWTx/2UnQoVWviViiCx8Q5yHupI3v4C8g7kW4qVM/lhYuMT+Oa9hX7KToUKLfxKRZi+ozJpmR7Lxo+O4nL5frh2bHwCudMe5cSu7Zw+sNePGapg08KvVISxO2zcPb0L+WfLOLjpvKVYAyZMIiElla/fW+jRiWgqPGjhVyoC3TUogzadW7J52XGqK50+x3FEx3D3o09x/vBBjm3f4scMVTBp4VcqAokIwx/uwrWSKg58Y+2QzD73PUBK2/Z8+8HbOuuPEFr4lYpQbbsk065rMrvW5+Gs8X15a5vdzrCHH+dK3klO7NTWKZFAC79SEWzQ+GxKCys5svWipTjdh48kMT2DLcs+9FNmKpi08CsVwbJ6p5LWPoEda/NudPP0hT0qipyJ0zh7cD9nD33vxwxVMGjhVyqCiQiDxmdReL6Mk3uvWIrVd8x4YhMS2bpcZ/3hTgu/UhGuy+BWJKbFsmPNKUtfzjpiYxk4YRLHtm0m/4y1LqAquLTwKxXhbHYbA8ZmceF4CeePFluKNWD8JKKiY9i6fImfslPBoIVfqWag54i2xCY42LH2lKU4LVom0XfMOL7/ZgMlVy77KTsVaFr4lWoGHNF2+o3O5NTefMudOwdPnIYxLnas+tg/yamA08KvVDPR975MomLslmf9Sa1a02P4SPasX0N56VU/ZacCSQu/Us1EbLyD3ve048jWS5Tkl1uKNWTKI1RXVrB7zSd+yk4FkhZ+pZqRAWM7IAK71p+2FCcjuxOdBuaw49MVVFdZW+pRBZ4WfqWakYSUWLrltub7b85RXlplKVbulBmUlxSz/4v1fspOBYoWfqWamYHjsqmpdrHnizOW4rTv2Zu2XbuzdcUSXE7fO4Cquh3e/C1L//2fuVZi7RDcumjhV6qZSW0bT6f+6ezdcMZSy2YRIXfqo5RcvsihTV/7MUNljGHz0kUUnjtLbEKC3+Nr4VeqGRo0PpvKshrLLZvvGpxLWmYWW5Z9qC2b/ejUnp1cOnGMIVMewWaz+z1+g4VfRKo8/PH/ZxGlVJNp0zmJtl2S3C2bnb63bBabjSFTHtGWzX62ZdmHJKSm0fPe0U0Sv7EZfw3wQCM/45okM6VUk/JXy+YeI0aRmJ7B5o8X+ymz5u38kUOc3r+HwROnEeVwNMkYUY3c/7Ux5svGgojIt37KRykVINl90khrH8/OtXl0z22D2MSnOPaoKHImPcwXb77GmYP7yezR28+ZNi+bP15MbEIi/cZOaLIxGpzxG2PGX78sIv1EJPrObUSktzHmoaZITinVdESEgeOyKThXxql9+ZZi9R3zAHGJLdmis35Lrpw+xbFt3zFwwiSiY+OabBxvvtzdBXwuIil33L7JmwFFJFZEtojIbhHZLyL/5M3jlVL+0yWnFQmpMexYY62NgyMmlkEPTuHEzm1cOnncT9k1P1uXf0RUTAwDJ0xu0nG8KfzXgP3AJhHpeMvt3n4+rATGGGP6AwOACSIyzMsYSik/sNttDHwgi/PHijl/tMhSrAHjJ+GIjWPr8o/8k1wzU3L5Ege//ZJ+908gLrFlk47lTeF3GWP+BHgXd/EfXHu7V8dwGbfr7QEdtT96HJhSQdJzeDti4x3sWGttcZXYhAT6P/AghzZ+TdGF837KrvnYumIJIORMmt7kY3l9HL8x5l+AvwbWicgkXwYVEbuI7AIuAeuMMZvr2OYlEdkmItsuX9a+30o1FUeMnb6jMzm554r1ls0PTcVmt7F1hc76vXGtuIh9n6+l5733kZiW3uTjeVP4b+zSMca8BTwOLAS8/gbCGOM0xgwAMoFcEelTxzZzjTE5xpicjIwMb4dQSnmh332ZREXb2LnO2qw/ITWN3qPGsn/DekoLC/yUXeTbsXoFNTXV5E6dEZDxvCn8z916xRizDhgN/KuvgxtjioANQNMdt6SUalRsgoNe97TjyJaLXC2osBQrZ8rDuJwudqxa5qfsIlvltWvsWrOSrrl3k9ouMyBjNnYc/w3GmB8ssmmM2QPs8WZAEckAqo0xRSISB4wF/s2bGEop/xswNot9G87y8X/vJKtnKu26JtO2SzIJKTFexUlp045uw0awe90qktu0Jb1DR9Kzspv08MRwY4zh6pXLXM47yeFNX1N5rYzcqY8GbPxGC7+I/G1j2xhj/rcXY7YFFoqIHfcnjkXGmJVePN5j+QvewFlU5N2D6u034sfvn33paSK+nVxTTzD/jOFLTv58Gk3Nh+cn9T7Gy9f81tvv3KSex9w29m3b1HN7HXGGZsdz2nTk0OYL7PvqLAAt02Np1zWZlDbxN0LJzQuIgD3Kht1hc/+OstGhz3hO7tnNurn/cyN2UqvWpGd1JC0zi5gW8T/MW+T2p1p7u4iQntWR7L4D6nzewVBdUcH+Lz/DWVN9s0dR7e8bf93G3Na/yLhclFy+xJXTp7hy+hRV5ddu3JfVdwTXSpI5svUizhoXzhoXNdUuXE7DwAey/J6/NNZYSUS+uOOmEcCtZ+oaY8wYfyd2q5ycHLNtm/d9QI49NJGq094vOFHvn7s/i683sfzZ/KqeWF6P4EtO4dTEy5/PL5yeNxDTtSvZS5aQf+4a544Uce5IEeePFlNRVu1VHGMMIx5pRWJKGVfyTt4oeAXnzmBc3vUHsjsczPnd6ySkpHr1uKbyzftvs3npB14/LjY+gfQs9yeg9A4dSeuQxTeLC8g/W/9r+6NXRmPz4axqEdlujMmp675GZ/zGmNu6BIlI4Z23haq7VumycCr83DYZu/NNw5M3l3ou3/bIeuJcXbuWc3/1S0o//ZRWkyfRKrslA8ZmYYyhpsr1w/wA4zI4a4x7plrtujFj/fytg+z/ppSn/nEoXYbcPFXH5XTidNa4c7g+WcbcnDHfnDID7uPb3/7rP2P7Jx8zauasup9/AFVeK2PXmpV0GXI3E378cu2t1z+dXL9aex25OZMUIcoRfdsns+M7L5N/9iJ3P3wXHXqm3vjE5P4EJdijbP79sF/L4338twiv6YtSYab+XTYW43qwTcuJE8l/fQGXf/c7Wk4Yj9Q2CRMRHDHetQfOndyJ1a/u5fCWi/S4u+2N2212Oza757EysjvRffi97F63mtxpjxKXkOhVHv62a80nVF4rY9jDj9+2y8pbxmXYsvI4ya1bMOD+DtjsgeuSr/34lVI3iM1Gxst/RnVeHkUf/eB4Dq906p9OeocEtn5ywlLrZ4Ch0x6luqKcnauXW4pjVXVlBdtXLaPjgMG07tzFUqxjOy+Tf7aMIRM7BrTogxZ+pdQdEkaNIm7gQK688gquCt8P7RQRcid3puRKBYe+u2App/SsjtyVM4ydq1fc9qVooO39fC3lJcUMnf6YpTgul2HLyhOktGlBl5zWfsrOc40WfhH521t/gNg6blNKRQgRIePPX6bm0iUK//iepVgd+6bRKjuRbatO4qyxOOuf/igVZaXsXrfaUhxfOWuq2bpiCe179LbcevrY9ksUni9jyKROPn1xa5UnM/47F17ZfMf1sU2WnVIqKOJzc4kfMYL8uXNxlvrexuH6rP9qfgUHN1nr39O2S3ey+g5g28ql1FRVWYrliwNffUFp/hWG+WG2v/WTE6S2i6fLoFZ+ys47jRZ+Y8zoRn6a9FBOpVRwZPz5n+MsKqLgzYWW4mT1TqV1p5ZsW30SZ7W1Wf+w6Y+5+9p8sc5SHG+5nE62LFtM685dyO4/yFKsI1svUnjhGkMmdvJ58RurdB+/UqpOcX16kzhuHAVvvEFNYaHPcdyz/k6UFlTy/UZri7tn9upL22492LriI5w1NZZieePQd99QdOE8Q6c91sBJeo1zOV1sW3WStPYJ3DUweD3IPNnHP1pEfnPL9XIRcd7yc19TJqiUCp6Mn/8MV3k5+XPnWYrToWcqbTonsW31KWqqnT7HERGGTX/8Ru/6QDAuF1uWLiK1fYfbzkfwxeGtFym6eI3cScGb7YNnM/4f426kdl0lMLL255fAT/2fllIqFMR06ULSlCkUvvsu1Rd8PzJHRMid0omyokoOfGNtX3+ngTlkZHdi88eLcbl8fxPx1LEdW7ly+hRDpz2K2HzfSeJyutj6yUnSOyTQaUDTt15uiCfPYjCw9pbrxhjzrTHmW+AVYGCTZKaUCgnpP/0JxhiuvPIHS3Eyu6fQrmsy2z89SU2VtVn/0OmPUXjuDEc2e7Xyq9eMMWxe+gEtM1rTY8QoS7EObb5AyeVycid3trS7yB88KfzpxpiyW64/e/2CMaYcCM7X0kqpgIjOzCR5xiMULV1K9cWLPscREXIndeJacRX7v7a2r7/r0OGktMtk88eLftBCwp/y9u3mwtHD5E59xKuzje90fd9+q+xEOvZN82OGvvGk8JeLyI0m0caYFdcv195e3hSJKaVCR9rs2eByUbDwLUtx2ndPoW2XJHatz7N0Nq/NZid36gwunzzOyd07LOXUkC0fLyY+OYXeo6wdtX50xyVKrlQw+MGOQZ/tg2eF/2vgJ/Xc95Pa+5VSESw6M5OWEyZQ9P77OIuLLcUaND6b0sJKjmz1/dMDQM97RpGQls6WZYstxanPhWNHyNu3m8ETpxEVHe1zHGMMO9bkkdKmBZ36BXff/nWeFP7/H3hZRF6rPcKnm4iMEZG5wMuAN734lVJhKm3ObFzXrlH43vuW4mT3SSO1XTw71+ZhXL7vprFHOciZOI0zB/Zx7vBBSznVZeuyD4lpEU+/sQ9aipN3oID8M6UMHJcd1CN5buXJCVzbgSnAGOAz4Htgfe31abX3K6UiXGzPnsTfcw8Fb79tuYfPoHFZFJwr49S+fEs59b1/PLHxCWxd/qGlOHcqOHeWw1s20n/cQ8S0aGEp1s41p0hIiaFbbuB78tTHo2OTjDHrjDFdge7AvUAPY0wXY8yaJs1OKRVS0ubMwZmfT/HHH1uK02VIaxJSY9ix9pSlONGxcQyYMImjW78j/4z3iy7VZ9vKJdijohj04BRLcS6cKObs4SL6398Be1TonC/rVSbGmCPGmI3GmMNNlZBSKnS1GJpLbN++5C94A+P0/ZBMu93GgLFZnD9azPmjRZZyGjhhMlHRMWxd8ZGlONeVFuRz4MvP6HPfWOKTUyzF2rkmj5gWUfS6p51fcvOXBgu/iOz1JIiI7PJLNkqpkCYipL04h+q8PK6uXdv4AxrQa0Q7YuMd7FibZylOi5ZJ9Bn9AN9/vYGr+VcsxQLYvmoZLqeLnEkPW4pTeKGM47sv0/e+TKJjfVnzquk0lk0XEXmSxhfv6eifdJRSoS7x/vuJ7tiR/HnzSZwwwefDEx0xdvqOzmTryhPknyslrV2CzznlTJrO7nWr2P7Jx9z37Byf41SUlbJn/Wq6DRtBcpu2jT+gATvX5hEVZaPf6MzGNw6wxgr/RTw7asfaKgtKqbAhdjups2dx4e//gWubNhE/fLjPsfrdl8nOtafYuTaPsc/38jlOUqvW9Bg+kj3rP2Xow4/7vDzj7rWrqCovZ8jUGT7nAlBaWMmhzRfofU874hJ9PxS0qTS4q8cY09EY08mDnx6BSlgpFXxJU6cSlZHBlXnWmrfFJjjoNaIdR7Zc5GqB70cKAQyZOoPqygp2r/nEp8dXV1WyY/VyOvYfROtOd1nKZfdneRgDAx7IshSnqYTO18xKqbBhi44m9blnubbpO8r37bcUq//YDgDsXm/tqJyMrI50HjSEHauXU13p/ZvIgS8/41pxEUOmWJvtV5RVs//rc3QZ3IqW6XGWYjUVnwq/uHURkaG1v0PjrASlVMAkP/EEtsRE8ufPtxSnZVocXYe0Zv+356gorbYUa8iURyi/WuL1Qi0up5OtK5bQpks3OvTuaymHfV+dpbrSyaDx1mb71efPc21H07Sj8Lrwi8gYYBfwH8CPgP8EdtXerpRqJuwJCaQ88QRX16yh6pS14/EHjsuiptLJ3i/PWIrTvkdv2nXrybaVS71aqOXw5m8pvniB3KkzLPXSqalysufz02T1TiU907fvGa7LnzefU889T02+tZPc6uLLjP9fgNHGmGnGmOeNMVOB0bW3K6WakdRnn0EcDvIXvGEpTlr7BDr2TWPPF2eottiyecjUGZRcvsShjV959BhjDFuWfUhKu0y65FhbaOXgpvOUX61m0LhsS3FqCgooWrKEpCmTiUrzfzfPxo7jr+s4JAFK7rjtKo0f8qmUijBRGRkkTZtG8dKl1Fy+bCnWwPHZVJRW8/231hZquWvQENKzOrJ56SKMq/EOoCd2buPyyeN+WWhl57o8WndqSbtuyT7HASh85x1MZaW7K2oTaOxZ3vjW5pYlFl8BNovIf4vIP4jIr4FNtbcrpZqZtFkvYKqrKXj7HUtx2nVJpk3nJHats9ayWWw2hk5/jIJzZziyZWOD2xpj+O6j9/2y0MqxHZcpuVLBoHHZ1tblLSuj4N0/knD/GGI6d7aUU30aK/zXROR6h6LlAMaYd3A3aFsNHAFWAffX3q6UamaiO3Ykcdw4Ct97D2dpqaVYgyZkc7WggqPbLlmK023YCFLatue7JR80uFBL3r7dnD96iNypj2CP8v3sWmMMO9aeIrl1Czr1t9Z6uXDxYlzFxaTP8f1EtMY0Vvg/wj27/xVgF5EuAMaYYmPMWmPMe7W/rTXoVkqFtbQ5c3BdvUrRBx9YitOxTxopbePZufaUpZW1bDY7Q6c/xuVTJzi+Y2u9221e8gEJKamWF1o5/X0BV06XMnBclqXWy6aqioI3F9IiJ4e4AQMs5dSQxk7g+inwK6ADEAscEJEiEflCRP5DRJ4Uke5Nlp1SKizE9e1Di2HDKHhzIa6qKp/jiM3dsjn/rPWWzT1GjKJlRms21zPrP3NwP6cP7CVn8iOWFloB2LHmFPFJ0XTPbWMpTvEnq6i5cIG0F5tutg+e9eN/3xjzLHAOSATGA4uAZOCXwJ6mTFApFR7SXpxDzeXLlCxfbilO1yGtSUiJYafF5m32qChyp87g/NFD5O3d/YP7Ny9dRFzLJPrdP97SOBdPlnD2UBH978/C7vD9y2HjcpH/+nxiunUjfuRISzk1xuMsjTEdjDGVxpjNxpg/GGPmGGMG4n4z8JiIdKj9xPC9iOwXkT/zOmulVMiJHz6cmF49yX99gUdH09THHuVu2XzuSBEXjlvbi9z7vrEkpKTy3dLbVw27cOwIJ3dtZ/DEaThiYy2NsXPNKWJaRNH7Xmutl0s3fEnV0WOkvTinydfltdyywRjj7ee6GuAvjTE9gWHAT0TE9+5MSqmQICKkz5lD1YkTXP3sM0uxeo5oS0yLKHassXZiWJTDwZApj3DmwD7OfL/vxu2bl35ATHw8A8ZNtBS/8EIZx3Zdps/I9kTHWWu9nD9vHo527Wj5oLWlHj0R8F49xpjzxpgdtZev4l7KsX2g81BK+V/iuHE4OnQgf/58S1/ORsdG0fe+TE7svkLB+TJLOfW9fzxxLZPYvHQRAJfzTnJ063cMenCK5WUVd63Lw2630W9MB0txrm3fTvnOnaS+8AJi4egiTwW1SZuIdAQGApvruO8lEdkmItsuWzwxRCkVGBIVRdqsF6jYvYdrW+s/msYT/UZnEuWwsXOdtX39jphYciZN5+TuHVw4epjNSxfhiI1joMVlFcuKKjm4+QI9h7elRUtrXw7nz5uPPTmZ5EesLf7iqaAVfhFJwH246MvGmDvPBMYYM9cYk2OMycnIyAh8gkopnyRNn449Lc1y87a4xGh6jmjH4c0XKC201rK5/wMPERufwGcL/sChTV8zYPxEn3v2X7f7s9MYp7Hcerni8GFKN2wgZeZMbBY/gXjK688UIvLPwP82xvj8LyEiDtxF/11jzBJf4yilQo8tNpbUZ2Zy+de/4eTTM4np0oWYrl3dv7t1JSo11eNYA8Z2YN9XZ9m09Jh7qcZEB3EJ0cQmOLB5cbx8TIsWDHxwCps+/CNR0THkTJzm9fOqrnRSfrWKirJqrpVUse/rs9w1uBVJGZ63XjbV1VTl5VF55CiVR45QefQo5bt3I3FxpDz9lNc5+Uq83Q8nIk4gwxhT4NOA7q+rFwIFxpiXPXlMTk6O2bZtm9djPb3qac5ePevVYwy+75cMdxKAdkvh1MHbn69HvbF8GKK+WPW9tvVu72UcT1yPGVNtmPjZVUaWtIUTp3GV3PxQb09JwZZQzzKLdYy9P308Z1oOuHMgYls4iGkR9YMTpkTc/4mJiyI2wUFsfBSx8Q7sjmq2fPRPtOt+Nx36TaGytJrysmoqSqupKKvGWe0+EunOklhT7aTiajU11bcfqWQzNQw9+zYtq+44y7i+mupyUX3pElRX30jUkdWB8xlRLO9Ryv5e8Te+F7m1Dq1+eLVP/yYist0Yk1PXfb58i2D1r2EE8Ayw95ZF2v/WGLPKYtwfGNZ2GIUphV4/zl9/8E1d5Kx8efaDWAF4wwunN1V/vrb1juHD61FfXvXF8nZ7X9w6xq1x5933GUcyO/NvIxdTc+ly7Qz3CFXHjuOqa6GUelIakL+Pdls/IeVv/z9MdjfKr1ZTXlpFxdVqKstrwNwyau0F4zJUltdwtaCCK6fdxb2m2oUt7nku5Dm4eOYkMS3cbwix8Q7ik2OIcthvvu/IzV+2KBtxCQ5iExzEJUYTl+Cg+Hf/ie37baQNHwTUsTZvPX/6LVu1Ivr6J6DOnTlXk8/Pl06me2p3+id1uuXhTVs7Ar70uzHmGwLUyfNnA38WiGGUUnX4zY7f8Pre13mp30t0ad0FR+tWJNwzwus4rqoqqh4Yh+PjeWS//ZbP+VRXOaksq8busBHTwrtdRbcq37uXim+WkfGXf0H6iy/6nA/AvI3zsImN34z+Da3jW1uK5Q1delEp1SSe6/UcLRwt+MPuP1iKY4uOJm32bK5t3co1H3b5XueItpOQEktcQrTPRR/gyquvYUtKIuXJJ32OAXC65DTLji7j0e6PBrTogxZ+pVQTSY5N5umeT7P21FoOFx62FuvRGdjT0rjy6mt+ys43FYcOUfrZZ6Q+8wz2+r6n8NBre14jyhbF7D5N03O/Ib4U/vDZUauUCqpnez1LgiOBV3e/aimOLS6OtBeep+ybbyjfu9dP2Xkv/7XXsMXHkzrzaUtx8kryWHl8JY92e5SMFoE/XN2Xwh8+h2UopYIqKSaJmb1msu7UOg4WHLQUK/mJJ7ElJQVt1l95/AQlqz8l5amnsCcnW4r12p7XcNgczO4b+Nk++Fb4FwLWzqZQSjUbz/R6hkRHIn/YZW1fvz0hntRnn6H0s8+oOHTIT9l5Ln/uXCQmhtTnn7MU50TxCVYeX8nj3R8nPc7aoi2+8rrwG2NeMMZca4pklFKRp2V0S57p9Qyfn/6cA/kHLMVKnTkTW3w8+a8FdtZfdeYMxStWkPL4Y5YXP39tz2vE2GN4oc8LfsrOe/rlrlKqyc3sNZPEaD/M+pOSSHn6aUpWf0rl8RN+yq5x+fPmIzYbqbNmWYpzvPg4q0+s5onuT5AWZ+0NxAot/EqpJpcYnchzvZ5jw5kN7L+y31Ks1OefQ2JiyJ8710/ZNaz6wgWKlywh6ZGHcbS2dtjlq7tfJcYew/N9nvdPcj5qsPCLSGYdt42v/e1oqqSUUpHn6Z5PkxSTxO93/d5SnKjUVFIef5ziFSuoOnPGT9nVL3+Be2GZtDnWTtY6WniUT098ylM9niI11vN+RU2hsRn/jbdmEbmv9uL19nFfich3IvK6iPxURIY3QX5KqQiREJ3Ac72e4+uzX7PnsrUVW1NnzUJsNvLnzvNTdnWruXKFokWLSZoyhehMa8uGvLrnVeKi4ni+9/P+Sc6Cxgr/NRG5XuiXAxhjltb+vhu4B/gtUAY83lRJKqUiw1M9nyIpJol5e60VbEfrViTNeISipUupvnjRT9n9UMHCtzBVVaS9ZG22f6L4BGtPruWpnk+RHJvsn+QsaKzwfwRsFpFfAXYR6XLrncaYGmPMbmPMG8YYXTtXKdWgeEc8T/Z4kg2nN3Cs6JilWGmzZ4PLRcGbC/2T3B2cV69S+N57JI4fR0ynTo0/oAEL9y8k2h7NzJ4z/ZSdNQ0WfmPMT4FfAR2AWOCAiBTVLpb+HyLypIh0D0SiSqnI8FSPp4i1x/LGvjcsxYnOzKTlgw9S9MEHOIutLcpel6IPPsBVWkranDmW4ly6donlx5Yzrcu0oB7Jc6tGj+oxxrxvjHkWOAckAuOBRUAy8EvA2s46pVSzkhKbwvSu0/nkxCdcKLtgKVbanNm4rl2j8L33/JSdm6uykvyFC4kfPpy43r0txXrnwDs4jZPnels78cufPD6c0xjTwRhTaYzZbIz5gzFmjjFmIO43A6WU8thzvZ/DGMPbB962FCe2Rw/iR95LwVtv46rwX0OB4mXLcF6+QtqL1mb7JVUlLDq8iPHZ4+mQaG1Bdn+yfBy/MabKH4kopZqP9gntmdBpAosPL6a40tpumrQ5c3AWFFC8dKlfcjNOJ/mvv05snz60GDbMUqxFhxZRVl0W1LN066IncCmlguKF3i9QXlPO+wfftxSnxZAhxPXvT/7rCzA1NZbzurpuPdWn8kibM8fSKnqVzkreOfAOw9sNp2daT8t5+ZMWfqVUUHRP7c497e/hjwf/SEWN77tpRIS0F+dQfeYMJWvWWMrJGEP+vHlEZ2eT+MBYS7GWH1tOfkU+s/pYa/PQFLTwK6WCZnaf2RRUFPDx0Y8txUkYM4bozp3Jnzff0nrJ1777jor9+0mdPQux232O43Q5eXPfm/RJ60Num1yf4zQVLfxKqaAZ3How/TL68eb+N6lx+b6bRmw20mbPpvLgQcq++dbnOPnz5mHPSCdp6lSfYwCsz1tP3tU8ZvWdZWl3UVPRwq+UChoRYVafWZwtPcu6U+ssxUqaPImo1q3Jnz/fp8eX79tP2cZNpD33HLaYGJ/zMMawYN8CsltmM6bDGJ/jNCUt/EqpoBrdYTSdkjrx+t7XLe2mkehoUp9/nmubN1O+x/vTi/Lnz8eWkEDy49a6z2y+sJkD+Qd4vvfz2G2+7y5qSlr4lVJBZRMbL/R+gUOFh9h4bqOlWMmPPoqtZUvy53k36686eZKra9eS8uST2BOtnZr0+t7XSY9LZ/Jdky3FaUpa+JVSQTep8yRatWjFgn0LLMWxJ8ST8vRTXF2/3quFWvIXvIFERZH67DOWxj+Qf4Dvzn/HzJ4zibH7vruoqWnhV0oFncPu4Nlez7Llwhb2XdlnKVbqM8+4F2p53bNZf/WlSxQvXUrStGlEZWRYGnvBvgUkOBJ4rPtjluI0NS38SqmQMKPbDBKjEy3P+qNSU0l+5BGKl6+g+kLjvYAK33oL43SSNme2pXHzSvJYd2odj3V/jMTo0O5ko4VfKRUS4h3xPNH9CdafWs+JYmvr6abNesHdsvmNNxvczllSQuF779NywgSis7Isjfnm/jexiz1kWi83RAu/UipkPNXzKaLt0Szcb63HvqN9e5ImTaRw8WJqCgvr3a7wj3/EVVZmuRnblfIrLDu6jKldppLRwtruokDQwq+UChnpcelM6zKN5ceWc+naJUux0ubMwVy7RuE779Z5v6u8nIK33iZ+5L3E9rTWS+fd79+l2lUdEssqekILv1IqpDzX+zmcxsk7B96xFCema1cSxoyh8J13cJWV/eD+oo+W4CwoIP2llyyNU1pVygcHP2Bs9liyW2ZbihUoWviVUiGlQ2IHxmePZ9HhRZRUlViKlf7SiziLiylcvPi22011NQULFhA3cCBxgwdbGuPDwx9ytfoqs/tY+3I4kLTwK6VCzgt9XqCsuoxFhxZZihM3YAAtcnMpeONNTNXNpUNKVq2i+tw50l560VIvnSpnFW8deIuhbYfSO93aSl2BFPDCLyILROSSiFg7WFcpFbF6pvVkeLvhvHPgHSqdlZZipb34IjUXL1K8YgUAxuUif/58966g++6zFHvl8ZVcLr8ckq2XGxKMGf+bwIQgjKuUCiOz+swivyKfZUeXWYoTf88IYnr1dLdsdjop3bCByiNHLc/2XcbFG/veoGdqT+5ue7elHAMt4IXfGPMVUBDocZVS4SW3TS590vqwcP9CnC6nz3FEhPQXX3T341m3nvzX5uLIzKTlgw9ayu+LvC84WXIyZFsvN0T38SulQpKIMKvvLPKu5rE+b72lWInjxuHIzuLCr/6V8t27SZs9C4mK8jmeMYbX971Oh8QOPJD1gKXcgsH3Z97EROQl4CWALF/PqNv5DlRYW8jZZxbay3olZGcaoZpXkPj138nLWMEcu94wnsUZY1xkRyfzT9/8PW/ue5Pk2GSSY27+JEYnYpO65682seGwObDb7NjFTtK0u0n7zQc4kxPZMjCeqmMrcBonTpeTGlcNhrr/ZiudlRRXFlNUWXTjp+DaFY6VnODv24zGvs3DFhO+1oTcF/3+dx6yhd8YMxeYC5CTk+PbK/b1f0LBcX+mpZQKIDvwf6KjeTs5meL0OAoqCjhRfIKiyiLKqn94bH5DoqIN/9wGvuhfxrrNf+ddHmInKSbpxhtOVnUVo4uKmXbC2hnGHhkyp/kUfr/4k6/AuIKYQFPPegP0qcJbgfq0Ezb8+HoE87X129jexelTfIZ/mzcaumbChH++cXuVs4rS6tI6F28xGFzG5Z7NmxpqXDXuy9Nr6Ibw01s+CUTZooiyRSH1/L067A4SHAk3P1lUFMOv+0L2CJjzO6+ei081oQk+1Qe88IvIe8B9QLqInAH+0RjzepMMFhPaHfKUUh6IT4c+j8DW12HEy9AiFYBoezSp9tTA57N1vrv4j/qlO7cwFIyjep40xrQ1xjiMMZlNVvSVUpHjnr+AqlLY/Gpw86gqg02/hy4PQLuBwc3FAj2qRykV+lr3gh6T3IW/wlobB0u2L4Rr+TDyF8HLwQ+08CulwsPIX7h3sWz1bj1dv6mphI2/hY73Qtaw4OTgJ1r4lVLhod1A9y6WTf/j3uUSaLvehavnw362D1r4lVLhZOQv3LtatgfgMMpbOavhm/+GzCHQaVRgx24CWviVUuEja5h7V8vG37p3vQTK3sVQlAcj/yqET5r0nBZ+pVR4GfkL9y6XXXWvrOV3Lid8/V/Qpi90HReYMZuYFn6lVHjpNAra57h3vTirm368A8sg/wjc+4uImO2DFn6lVLgRce9yKcqDvR827VjGuFu/pHeHnlOadqwA0sKvlAo/3cZD677uomyhZXOjDn8KF/fBvX8Jtsgpl5HzTJRSzYcIjPxL9y6YgyubZozrs/3kbHfLiAiihV8pFZ56ToHUzu59/U3RvO7URjizFUb8HOyR1c9SC79SKjzZ7DD853BuJ5z4yv/xv/01xGfAgKf9HzvItPArpcJX/ychobV71u9PF/bBkbUw9E/AEeff2CFAC79SKnw5YmHYj+D4F3Bul//ifvsbiE5wL4ISgbTwK6XCW84siGnp3jXjD4WnYN9HMPh5iEvxT8wQo4VfKRXeYpPcxf/AMv8stbrpf0BscPdPrMcKUVr4lVLhb9iPwBYFG71dCvEOZVdgx9vQ/3Fo2c4/uYUgLfxKqfCX2AYGPAU734WrF32Ps/k1qKmA4X/mv9xCkBZ+pVRkGP5zcFb5vjxjZSlsmQs9JkJGN//mFmK08CulIkPaXdBrqntRdl+WZ9yxECqK4J4/93tqoUYLv1IqctzzMlQWw/Y3vHtcTZV7EfXseyAzp0lSCyVa+JVSkaPdQOh8H2x6xbuFWvYuhpKzzWK2D1r4lVKRZsTLUHoBdr/n2fYul/uErdZ9oMv9TZpaqNDCr5SKLJ3vg7YD4Nvfetay+fBquHLIPduPkIVWGqOFXykVWUTc+/oLjjXestkYd5+f5GzoNS0Q2YUELfxKqcjjacvm662Xh/8s4lovN0QLv1Iq8tzWsvnL+rf75r+hRToMnBm43EKAFn6lVGS60bL513Xff2EfHF0Hw/40IlsvN0QLv1IqMjliYdiPa1s27/zh/d/+OqJbLzdEC79SKnLlvOBu2XznrL/wZMS3Xm6IFn6lVOSKTYIhs+H75ZB/7ObtG/8HxB7RrZcbooVfKRXZhv4IbA7Y+Fv39dLLsPNt6P9ERLdebogWfqVUZEts7W7ZvOuPcPUCbHnN3c5hRGS3Xm5IUAq/iEwQkUMiclRE/iYYOSilmpHhPwNXDXz1f92tl3tOgvSuwc4qaAJe+EXEDvweeBDoBTwpIr0CnYdSqhm50bJ5PlQUw4jm0YytPsE4VS0XOGqMOQ4gIu8DU4ED/h7on1bs58A5H/pyK6UiTqfqMfwflrIvuj//8kkVsCnYKTWqV7uW/OPk3n6PG4zC3x44fcv1M8DQOzcSkZeAlwCysrICk5lSKmKdcHTl90l/yZHoHsFOJeiCUfjran/3g2Yaxpi5wFyAnJycBppt1K8p3imVUuHs7mAnEBKC8eXuGaDDLdczgXNByEMppZqlYBT+rUBXEekkItHAE8DyIOShlFLNUsB39RhjakTkp8AawA4sMMbsD3QeSinVXAWlAbUxZhWwKhhjK6VUc6dn7iqlVDOjhV8ppZoZLfxKKdXMaOFXSqlmRkxDCxGHCBG5DJzy8eHpwBU/ptOUwilXCK98wylXCK98wylXCK98reSabYzJqOuOsCj8VojINmNMTrDz8EQ45QrhlW845QrhlW845QrhlW9T5aq7epRSqpnRwq+UUs1Mcyj8c4OdgBfCKVcIr3zDKVcIr3zDKVcIr3ybJNeI38evlFLqds1hxq+UUuoWEVf4RSRVRNaJyJHa3yn1bLdARC6JyL4g5NjgmsPi9tva+/eIyKBA53hLLo3l2kNENolIpYj8Ihg53pFPY/k+Xfua7hGRjSLSPxh51ubSWK5Ta/PcJSLbROSeYOR5Sz4erZUtIkNExCkiMwKZ3x05NPba3icixbWv7S4R+Ydg5HlLPo2+trU57xKR/SLypaUBjTER9QP8O/A3tZf/Bvi3erYbCQwC9gU4PztwDOgMRAO7gV53bPMQsBr3ojXDgM1Bei09ybUVMAT4FfCLIP/be5LvcCCl9vKDIf7aJnBzd2w/4GAov7a3bPc57iaMM0I1V+A+YGWwXk8f8k3GvTxtVu31VlbGjLgZP+71exfWXl4ITKtrI2PMV0BBgHK61Y01h40xVcD1NYdvNRV4y7h9BySLSNtAJ4oHuRpjLhljtgLVQcjvTp7ku9EYU1h79TvcCwEFgye5lprav3IgnjpWqgsgT/6/BfgZ8BFwKZDJ3cHTXEOFJ/k+BSwxxuSB++/OyoCRWPhbG2POA9T+bhXkfO5U15rD7X3YJhBCJQ9PeZvvbNyfrILBo1xFZLqIHAQ+AWYFKLe6NJqviLQHpgOvBjCvunj6/8HdIrJbRFaLSDDXafUk325AiohsEJHtIvKslQGD0o/fKhFZD7Sp466/C3QuPvBkzWGP1iUOgFDJw1Me5ysio3EX/mDtN/d07emlwFIRGQn8CzC2qROrhyf5/hr4a2OMU6SuzQPGk1x34G5pUCoiDwEfA12bOrF6eJJvFDAYuB+IAzaJyHfGmMO+DBiWhd8YU+///CJyUUTaGmPO1+4eCeZHzrp4suZwqKxLHCp5eMqjfEWkHzAfeNAYkx+g3O7k1WtrjPlKRO4SkXRjTDD6zHiSbw7wfm3RTwceEpEaY8zHAcnwpkZzNcaU3HJ5lYi8EuKv7RngijGmDCgTka+A/oBPhT8Sd/UsB56rvfwcsCyIudTFkzWHlwPP1h7dMwwovr77KsDCbX3kRvMVkSxgCfCMr7MlP/Ek1y5SW0Vrj+yKBoL1RtVovsaYTsaYjsaYjsCHwI+DUPTBs9e2zS2vbS7uWhiyry3uOnaviESJSAtgKPC9zyMG+xvtJviGPA34DDhS+zu19vZ2wKpbtnsPOI/7S8kzwOwA5vgQ7nfqY8Df1d72p8Cf1l4W4Pe19+8FcoL4ejaWa5va168EKKq93DKE850PFAK7an+2hXCufw3sr81zE3BPsHL1JN87tn2TIB3V4+Fr+9Pa13Y37i/5h4f6awv8Fe4je/YBL1sZT8/cVUqpZiYSd/UopZRqgBZ+pZRqZrTwK6VUM6OFXymlmhkt/Eop1cxo4VdKqWZGC79SSjUzWvhVsyMif2+5n3nD8Y+KyNBAjqmUN8KyV49S3hIRG/AnwI+BXoBNRPKARcC/GmOK/DROX9xNtLYEakylvKVn7qpmQUReAR7H3dp4EDAK+HPcLRxswFDj7oVudZy/B9oaY34cqDGV8pbu6lERr7ZL658Cf2GMWUbtojHGmJ3Aw8AA3H3k/WE68HGAx1TKK1r4VXPQCXfju+133mGMOYW7K2Nnb4OKyIDa7qnXr2fVjvWFN2OKyExxr1u8SUTu9zYPpbylhV81BydwL2zxg0Xra4t1GnDch7gzuH2Ft2m4O8BWezqmiCQDf4F7DdhJwH+LiN2HXJTymBZ+FfGMey2DucB/1a62ZAcQkT64+8bvAJbW3vaQiHwuIt+KyH+IiE1EvhORjiKSKSJf1f6+H/gJ8EsR+X3tUNNxr+TkzZhDga+NMZXGvSjMSeCupn5NVPOmR/Wo5uInwB7g/wLdcU96VuFe2PpfjTFVItId+F/AOGNMuYiswL326d8C/wWk4F634QxwRkROAPcaY4yIpAFDuH0NX0/GTMO9PsB1hbg/DSjVZLTwq2bBGOMEXgFeqT3yZqwxZtQdmz2Oe8nA1bWLM6Xh3k+/G/eumJ8YY44AiEgqkG9uHhY3GdhgjCn1csx83G8o16UQvJWgVDOhh3MqVUtE/hXYY4xZVHvdAcTg3iXzFvC8Meb+2vvGAFOMMS/XXv8YWGmMme/lmMnA58DdQDzwJTCg9k1DqSah+/iVumku8BMR2SAi63EfdvkB8C/GmLdx796ZXLvtcWCsiHxWe6LWRmr373uj9iSuXwMbgE9wH/6pRV81KZ3xK6VUM6MzfqWUama08CulVDOjhV8ppZoZLfxKKdXMaOFXSqlmRgu/Uko1M1r4lVKqmdHCr5RSzcz/A+y028FiNsKQAAAAAElFTkSuQmCC\n",
"text/plain": [
"