{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Grover search: SAT problem\n",
    "\n",
    "In this notebook I'm going to show how to use qlasskit for solving a SAT problem. A SAT problem, or Boolean satisfiability problem, asks whether a given Boolean formula can be satisfied by assigning true or false values to its variables.\n",
    "\n",
    "We define our SAT problem writing an oracle function that receive a list of 5 boolean variables, and return the logical AND between all the elements (negating those whose index is even)."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAjMAAAIwCAYAAABzxupsAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguMCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy81sbWrAAAACXBIWXMAAA9hAAAPYQGoP6dpAABLSElEQVR4nO3deVyVZf7/8fcBVFY3MDEhlxQDZCmRtB2jKTPNVi2zmmyZyrTGkaa9psUsm2bMqbHJ9iJaJ5M2S0tzMkGyTDFXTJSjHgWVReVwzu8Pv/mLBOXgWbhuXs/Hw0cz576v+/rofZ9z3ue6r/u+bW632y0AAABDBQW6AAAAgKNBmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNFaRZhxOBzKyclRnz59FBoaqvj4eE2cOFFVVVUaN26cbDabZsyYEegyAfiI2+3WgsIy3fn0Et30t290xxOL9fqctdq7zxno0gB4QUigC/C1ZcuWaejQobLb7YqIiFBSUpK2bNmi6dOna926ddq5c6ckKT09PbCFAvCJvE/X6+GZ32vFuopDlt3x5Hf602Un6L6b0tW2TbD/iwPgFTa32+0OdBG+4nA4dOKJJ6q0tFSTJk3SAw88oKioKEnSE088oTvvvFMhISGqq6tTRUWF2rdvH+CKAXjTY/9ZpnueWXrE9c4ZfKxmTz9Hoe0s//sOsCRLh5krr7xSubm5Gj9+vJ555plDlqenp+uHH35Qr169tH79+gBUCMBXXp+zVmPv/rrJ648Zdrxen3KW7woC4DOWnTNTXFysvLw8xcTEaMqUKQ2uM2DAAElSWlpavdc3bNigESNGKCoqSp06ddLVV1+tHTt2+LxmAN7hcrn1wLNFHrV5I3+dVm2o8E1BAHzKsmEmNzdXLpdLY8aMUWRkZIPrhIWFSaofZvbs2aOsrCyVlpYqNzdXzz//vBYuXKgLLrhALpfLL7UDODqf/2+z1pfu8bjdv99e5YNqAPiaZU8Qz5s3T5KUlZXV6DqlpaWS6oeZ559/Xps3b9aCBQt03HHHSZLi4uJ0yimnaPbs2Ro5cqTvigbgFf+dv7HZ7f5x5yAvVwPA1ywbZjZuPPBh1qNHjwaXO51OLVq0SFL9MDNnzhyddtppB4OMJA0ePFi9e/fWRx991Kwwk5GRIbvd7nE7AM2zM+IyqV1/j9v9stmhuLg4H1QE4EhiY2NVWFjYrLaWDTNVVVWSpJqamgaX5+XlyeFwKCoqSr169Tr4+sqVK3XZZZcdsn5ycrJWrlzZrFrsdrs2b97crLYAmiFut9TO82Zu537eq4CBLBtmYmNjVV5erqKiIg0ePLjesrKyMk2ePFmSlJqaKpvNdnBZeXm5OnbseMj2OnfurJ9//rnZtQDwnz3t9mh3M9q103bFdO/u9XoAHNnRfFdaNsxkZ2eruLhYU6dO1TnnnKOEhARJUkFBgcaOHSuHwyHJPzfLa+6wGYDm2VGxV92z39K+/XUetXvzmRt1cfZjPqoKgK9Y9mqmnJwcRUdHa9OmTUpOTlZKSor69u2rzMxM9e7dW0OGDJF06GXZnTp1UkVFxSHb27lzpzp37uyP0gEcpeiOoRoz7HiP2sTHRmjEWccdeUUALY5lw0xcXJwWLlyoYcOGKTQ0VCUlJercubNmzpyp/Px8rV69WtKhYSYxMbHBuTErV65UYmKiX2oHcPT+/peTlZrQtB8gEWEhev/psxUSYtmPRMDSLH0H4MZUVlaqffv2stls2rNnj8LDww8umzZtmu6++26tX7/+4FUN3333nQYNGqT3339fF110UaDKBuChHRV7dcmfv9TXhY1fTditS7g+/Ge2Bvbv4sfKAHhTqwwzv4aTfv36adWq+jfJ2r17t1JSUhQTE6OHHnpIe/fuVU5Ojrp06aJvv/1WQUH8cgNM4na7tXCpXc++Xaz8BaWqrK6VJLUNCdKsv52uS8/pyTOZAMO1ym/m5cuXSzr0FJMktW/fXvPmzVO3bt00evRoXX/99TrllFM0Z84cggxgIJvNpjMyuumtJ4Zoz+KrdWyXA3f+7tI5VFdd0IcgA1hAq3wXHy7MSNLxxx+vOXPm+LMkAH7y21sxALCGVjnUcKQwAwAAzNEqR2Z+fW4TAAAwX6scmQEAANZBmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBorSLMOBwO5eTkqE+fPgoNDVV8fLwmTpyoqqoqjRs3TjabTTNmzAh0mT5VW+vSirXlWvzDNq1YW67aWlegSwIA+JHb7db60t367sdtWrZqhyp27wt0SV4TEugCfG3ZsmUaOnSo7Ha7IiIilJSUpC1btmj69Olat26ddu7cKUlKT08PbKE+snlrlWa+u0r/ee9n2R01B1+PjQnTDZf0042XnKC42IgAVggA8KXqGqfe/Hidns0r1verdhx8vV3bYI0+r7duHZ2ogf27BLDCo2dzu93uQBfhKw6HQyeeeKJKS0s1adIkPfDAA4qKipIkPfHEE7rzzjsVEhKiuro6VVRUqH379gGu2Lu+WLxZF9/xpfZU1Ta6TlREG73/9NnKHtTdj5UBgROXnavN26rV/ZhwlX5xRaDLAXyq1F6l82/9TMvXlB92vQdvPlH3/+lE2Ww2P1XmXZY+zTRhwgSVlpZq/PjxmjZt2sEgI0k5OTlKS0uT0+lUz549LRdkFn2/VReM//ywQUaS9lTV6oLxn+t/y7b6qTIAgD/s3LVP2Td+csQgI0kPPve9przwgx+q8g3Lhpni4mLl5eUpJiZGU6ZMaXCdAQMGSJLS0tIOvvZr+MnMzFS7du2MTKkul1vX3b9Q+/Y3bV7Mvv0u/fG+hbLwIB0AtDoPPlekn0t2NXn9e55ZqrW/7PZhRb5j2TCTm5srl8ulMWPGKDIyssF1wsLCJNUPM2vXrtV7772n2NhYDRw40C+1etu8JVu0emPTD2BJWr1xl+Z9V+ajigAA/lRVXatXZq/xuN2/3y72QTW+Z9kwM2/ePElSVlZWo+uUlpZKqh9mzjjjDJWVlWn27NnKzs72bZE+Muv91c1q98L7P3u5EgBAILz3RYl2Vx5+mkFDXvzvarlc5o3SW/Zqpo0bN0qSevTo0eByp9OpRYsWSaofZoKCvJ/vMjIyZLfbvb7dxmxrf4MUEudxu/fmfK24N8f6oCKg5Sjr+GcpqIPK7GWKi/P8fQKYYHfYWVJY4z/mG1O+e7/ievRVkHuv94s6gtjYWBUWFjarrWXDTFVVlSSppqamweV5eXlyOByKiopSr169fFqL3W7X5s2bfdpHPaHOZu3Z2v1O/9YJBEJUnRQkuerqON5hXV2rpLDmNS0r2yrVVXq3Hh+zbJiJjY1VeXm5ioqKNHjw4HrLysrKNHnyZElSamqqzyf5xsbG+nT7v7cjZJ+ak6lDQ/YpujuXaMPayoKD5ZIUFBysbhzvsKjKdpJnMyf/j7tWx8Z2kk0dvF3SER3Nd6Vlw0x2draKi4s1depUnXPOOUpISJAkFRQUaOzYsXI4HJL8c7O85g6bNVfep+s1Ome+x+1e+efNuvzcJ31QEdBy/HqfmW6x3VT6U2mgywF8YtuOGsX/4S3t9/Bu79eOTNJLD//io6p8x7ITgHNychQdHa1NmzYpOTlZKSkp6tu3rzIzM9W7d28NGTJEUv35MlZx0dk91DXas/HF2JgwjRzS8PwiAIBZjokO02V/8HwKxS2jEn1Qje9ZNszExcVp4cKFGjZsmEJDQ1VSUqLOnTtr5syZys/P1+rVB674sWKYadsmWE9PPtmjNk9PPllt2wT7qCIAgL89ePNJiu7YrsnrXzOir7GPNbDsaSZJSkxM1Jw5cw55vbKyUiUlJQoKClL//v0DUJnvXXH+8arYs1/jp3x72MvsgoJsmnHXYI0eerwfqwMA+Fqf49rrk2fP1bBbP9f28sPPpLzsD730/AOn+qky77N0mGnMihUr5Ha7lZCQoPDw8EOWv/vuu5KklStX1vv/PXv2VEZGhv8KPUo3j0pUSt9O+vtrP+nD+b8cEmouOruH/jy2v047yb8TlAEA/jGwfxcVvnWh/v7qT3p59hrt2rO/3vKTEqM1/ookXTOir4KCzLvj/a8s/aDJxrzwwgu64YYbdPnllysvL++Q5Y1d3XTNNdfo5Zdf9nF1vrHJXqlF32/VzY/8TxV79qtrdKjs88cEuizA73jQJFqrqupaffHdFl177wJV7NmvLp3aaetXY4x8bM/vWXbOzOEsX75cUuPzZdxud4N/TA0ykhQfG6nRQ49XRNiBwbiQ4Fa56wGg1YoIb6MLs3oc/B5o2ybYEkFGIswEuBIAAHC0WuWcmV+f2wQAAMzXKkdmAACAdRBmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGK1VhBmHw6GcnBz16dNHoaGhio+P18SJE1VVVaVx48bJZrNpxowZgS4TgI9s3VGjR59fplPGfqStO2okSeW79+uHn3cEuDIA3hAS6AJ8bdmyZRo6dKjsdrsiIiKUlJSkLVu2aPr06Vq3bp127twpSUpPTw9soQC8rrbWpT9P+04z31mlWqer3rLqvU6lX/ZfnZkRqzemnKXuXSMCVCWAo2XpkRmHw6Hhw4fLbrdr0qRJKisrU1FRkex2u6ZOnar8/HwVFBTIZrMpNTU10OUC8CKn06VL/vylZuSuPCTI/NbXhXYNHvuRNtkr/VgdAG+ydJiZMGGCSktLNX78eE2bNk1RUVEHl+Xk5CgtLU1Op1M9e/ZU+/btA1gpAG976N/f66Ovf2nSupvsVbro9i/ldrt9XBUAX7BsmCkuLlZeXp5iYmI0ZcqUBtcZMGCAJCktLe3ga++++64uueQS9ejRQ+Hh4TrhhBN0zz33qLKSX22AKaprnPrXWys9arN0pUMLltp9VBEAX7JsmMnNzZXL5dKYMWMUGRnZ4DphYWGS6oeZadOmKTg4WI899pg++eQT3XzzzXruued03nnnyeVqfKgaQMvx1qfrVb57v8ft/vVWsQ+qAeBrlp0APG/ePElSVlZWo+uUlpZKqh9mPvroI3Xp0uXg/z/zzDPVpUsXjRkzRt98843OOOMMj2vJyMiQ3d4yfvGVdfyzFNRBZfYyxcXFBbocwCfKI0ZK7U70uN17n/6guLeu9n5BQAvSUr8HYmNjVVhY2Ky2lg0zGzdulCT16NGjweVOp1OLFi2SVD/M/DbI/CojI0OStHnz5mbVYrfbm93W66LqpCDJVVfXcmoCvO24Oqmd581c7ra8L2B9FvwesGyYqaqqkiTV1NQ0uDwvL08Oh0NRUVHq1avXYbc1f/58SVJiYmKzaomNjW1WO18oCw6WS1JQcLC6de8e6HIAnygPDVJ1M9oF2fbzvoDltdTvgaP5rrRsmImNjVV5ebmKioo0ePDgesvKyso0efJkSVJqaqpsNluj29m8ebPuu+8+nXfeec2+F01zh818IS47V5u3VatbbDeV/lQa6HIAn3gjf62uuutrj9uNGXGSXn2M9wWszYrfA5adAJydnS1Jmjp1qlavXn3w9YKCAmVlZcnhcEg6/M3yKisrdeGFF6pt27Z68cUXfVovAO+59JxeiukU6nG7W0Y1b/QVQGBZNszk5OQoOjpamzZtUnJyslJSUtS3b19lZmaqd+/eGjJkiKT682V+q6amRsOHD9eGDRv0+eefq1u3bv4sH8BRaNc2WHdclexRm9NP6qqTUw+dMweg5bNsmImLi9PChQs1bNgwhYaGqqSkRJ07d9bMmTOVn59/cLSmoTBTW1urSy+9VIWFhfrkk0+UlJTk7/IBHKW/jkvTmGHHN2ndhB4d9O5TZx/2lDOAlsuyc2akAxN258yZc8jrlZWVKikpUVBQkPr3719v2a/3pvnyyy/18ccfKzMz01/lAvCioCCbXn30TPXqHqV/vP6TKqudh6xjs0kjzjpOsx46XdEdPT8tBaBlsHSYacyKFSvkdruVkJCg8PDwestuvfVWvfPOO/rrX/+q8PBwLV68+OCy448/vsFLtwG0TEFBNj08foAmX5ui1+asVf6CTfpy8Rbtd7oUGR6iH9+9WL3ioo68IQAtmmVPMx3O8uXLJTV8iumTTz6RJD3++OMaPHhwvT/5+fl+rROAd7SPbKtbRyfp42fPVZfOB0ZgOkS2JcgAFtEqR2YOF2ZKSkr8XA0AADgajMwAAACjtcqRmV+f2wQAAMzXKkdmAACAdRBmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMFqrCDMOh0M5OTnq06ePQkNDFR8fr4kTJ6qqqkrjxo2TzWbTjBkzAl0mfGh35X69mb9OT72yXP98/SflL/hFTqcr0GUB8KOlKx169q2VevKlH/X8u6u0oXRPoEuCl4QEugBfW7ZsmYYOHSq73a6IiAglJSVpy5Ytmj59utatW6edO3dKktLT0wNbKHzil7JKTXnhB72ev1aV1c56y7ofE66bLjtBk65OUXiY5d8KQKvkdruV9+l6Pf3aCi35aXu9ZTabNPS0ON35x1SdkdEtQBXCGyw9MuNwODR8+HDZ7XZNmjRJZWVlKioqkt1u19SpU5Wfn6+CggLZbDalpqYGulx42bJVO5R55Wz9+51VhwQZSdq8rVr3/6tIQ67/WDt37QtAhQB8ye12644nvtMVd351SJA5sFz6eGGphtzwiWa9/3MAKoS3WDrMTJgwQaWlpRo/frymTZumqKiog8tycnKUlpYmp9Opnj17qn379gGsFN62yV6pobd8pq07ao647nfLt2vkxLmqreW0E2Aljzy/TP98Y8UR16urc+uGh77Rh/M3+qEq+IJlw0xxcbHy8vIUExOjKVOmNLjOgAEDJElpaWkHX1u4cKGys7PVrVs3tWvXTnFxcRo1apSKi4v9Uje848mXl8vuOHKQ+dXCoq18kAEW4ijfq0eeX9bk9d1uafLfl8jlcvuuKPiMZcNMbm6uXC6XxowZo8jIyAbXCQsLk1Q/zJSXlyslJUXTp0/X559/rqlTp2rFihUaPHiwSktL/VI7jk5lda1emb3G43bP5hFYAat48YPV2u/haOuajbs1b8kWH1UEX7LsrMd58+ZJkrKyshpd59dw8tswM2LECI0YMaLeegMHDlS/fv303nvvaeLEiT6oFt706Tel2l1Z63G7+QVlsjuqFRsT7oOqAPhT7qfrmtfuk/XKHtTdy9XA1ywbZjZuPHDKoEePHg0udzqdWrRokaT6YaYh0dHRkqSQkOb9c2VkZMhutzerrbeVdfyzFNRBZfYyxcXFBbocn6hslylFDGtW27QBp6tN3VYvV4SWpDW8ByCVdZwkBXk+F/LNvI/02awrfFBRy9FS3wOxsbEqLCxsVlvLhpmqqipJUk1Nw/Mm8vLy5HA4FBUVpV69eh2yvK6uTi6XSxs3btRdd92l2NhYXX755c2qxW63a/Pmzc1q63VRdVKQ5Kqrazk1eVunHVJE85pu27pF2tcygid8pDW8ByBF1kptPW+2t6bK+seFBd8Dlg0zsbGxKi8vV1FRkQYPHlxvWVlZmSZPnixJSk1Nlc1mO6T9mWeeeXDkpk+fPpo3b566dOnS7FpairLgYLkkBQUHq1t3aw6l7gupk0M6MKOvgX3bKHetusWEKUjW/HfBAa3hPQDJYavQPkV73C6ybbU6WPy4aKnvgaP5rrRsmMnOzlZxcbGmTp2qc845RwkJCZKkgoICjR07Vg6HQ1LjN8ubNWuWKioqtGHDBj355JP6wx/+oEWLFum4447zuJbmDpv5Qlx2rjZvq1a32G4q/cmaE5pdLrf6jXhXa3/Z7VG7P16UpBf/tt5HVaGlaA3vAUhvf7ZeoybP97hd0Rf/UN8eHXxQUcthxfeAZa9mysnJUXR0tDZt2qTk5GSlpKSob9++yszMVO/evTVkyBBJjc+X6devn04++WSNHj1aX375pfbs2aMnnnjCn38FNFNQkE03X36Cx+1uvjzRB9UACISRQ3ooNibMozbnDD7W8kHGqiwbZuLi4rRw4UINGzZMoaGhKikpUefOnTVz5kzl5+dr9erVko48+VeSOnbsqD59+mjt2rW+LhteMv6KJA3JbPrtye++Pk0D+zfvNCKAlqdtm2C9/thZCglu2qnmYzqH6t/3nerjquArlg0zkpSYmKg5c+Zoz5492rNnj7777jvdeOONqqqqUklJiYKCgtS/f/8jbmfbtm36+eefdfzxx/uhanhD2zbB+nD6ORp62pFn6t9zQ5oeuW2AH6oC4E9nDzpWs6efo4gjPHvtuG4Rmj/rfPWO407wprLsnJnDWbFihdxutxISEhQeXv+eIldddZX69Omj9PR0dezYUWvWrNHTTz+tkJAQ3XHHHQGqGM0RGd5Gc2b8QZ8tKtVzb6/SnAW/yP1/N/e0Sbrh0n66+fJEpZ/g+SRBAGYYenq81uZfplnvr9bMd1dpk73q4LLUhM66ZVSixgw7XpHhbQJYJY5Wqwwzy5cvl9TwKaZBgwbp1Vdf1T//+U/t3btX8fHxysrK0t13393oPWvQcgUF2TT09HgNPT1eFbv36YQR72rrzr2K7RKmmfefFujyAPhBbEy47rkxXX8dl6q47FzZd+xVbHSYlr0zssGrWWEewszvjB8/XuPHj/d3SfCDju3bKSTkwJnVID7AgFYnODhIwcFB//e/bQQZC7H0nJnGHC7MAAAAs7TKkZlfn9sEAADM1ypHZgAAgHUQZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQZAq1Fb61Kdyx3oMgB4meXDjMPhUE5Ojvr06aPQ0FDFx8dr4sSJqqqq0rhx42Sz2TRjxoxAlwnAR+rqXJo9f6PO+9OnajvgJdkdNZKkrTtqNCN3pXbt2R/gCgEcrZBAF+BLy5Yt09ChQ2W32xUREaGkpCRt2bJF06dP17p167Rz505JUnp6emALBeATW7ZVafhtc1VUvOOQZc46t26b8q3um7FU7z99trIyjw1AhQC8wbIjMw6HQ8OHD5fdbtekSZNUVlamoqIi2e12TZ06Vfn5+SooKJDNZlNqamqgywXgZY7yvTpr3McNBpnfqtizX+fd/JkWFJb5qTIA3mbZMDNhwgSVlpZq/PjxmjZtmqKiog4uy8nJUVpampxOp3r27Kn27dsHsFIAvjBx6mKt2bi7Sevur3Xp8snztb+2zsdVAfAFS4aZ4uJi5eXlKSYmRlOmTGlwnQEDBkiS0tLSGt3O0KFDZbPZ9OCDD/qiTAA+YndU653PN3jUZuuOGr3/RYlvCgLgU5YMM7m5uXK5XBozZowiIyMbXCcsLExS42Hm7bff1rJly3xVIgAfevnDNap1ujxu9+93VvmgGgC+ZskJwPPmzZMkZWVlNbpOaWmppIbDzO7du3X77bdr2rRpuuqqq466noyMDNnt9qPejjeUdfyzFNRBZfYyxcXFBbocv2vtf//WYmfExVK7xkddG7NwyVqOC4vjM6Dl/hvExsaqsLCwWW0tGWY2btwoSerRo0eDy51OpxYtWiSp4TBzzz33KCEhQWPGjPFKmLHb7dq8efNRb8crouqkIMlVV9dyavKn1v73by3i90vtPG/mcgdzXFgdnwGW/DewZJipqqqSJNXU1DS4PC8vTw6HQ1FRUerVq1e9ZYWFhfrPf/6jpUuXeq2e2NhYr23raJUFB8slKSg4WN26dw90OX7X2v/+rUVFqFtVzWgXrBrFclxYGp8BLfff4Gi+Ky0ZZmJjY1VeXq6ioiINHjy43rKysjJNnjxZkpSamiqbzXZwWV1dnW666SaNHz9eycnJXqunucNmvhCXnavN26rVLbabSn8qDXQ5ftfa//6txbzvtujsGz7xuN2k68/U1Dsm+6AitBR8Bljz38CSE4Czs7MlSVOnTtXq1asPvl5QUKCsrCw5HA5Jh94sb8aMGdq6dStXLwGGy8rsphN6dfCojc0m3XTZCT6qCIAvWTLM5OTkKDo6Wps2bVJycrJSUlLUt29fZWZmqnfv3hoyZIik+vNlHA6H7rvvPt1///1yOp2qqKhQRUWFJGnv3r2qqKiQy+X51REA/M9ms+mxCRketbnx0hPUO457TgEmsmSYiYuL08KFCzVs2DCFhoaqpKREnTt31syZM5Wfn39wtOa3Yaa0tFR79uzRTTfdpE6dOh38Ix0Y4enUqZN++eWXgPx9AHjuorN7asbdg/WbM8mNuvjsnnrmr4OPvCKAFsmSc2YkKTExUXPmzDnk9crKSpWUlCgoKEj9+/c/+HqfPn00f/78Q9bPysrSNddco2uvvbZFTeQFcGS3jk7S8XHt9eh/lumb77cesrznsZEaf0WSbr8qWcHBlvxtB7QKlg0zjVmxYoXcbrcSEhIUHh5+8PXIyEidddZZDbbp2bNno8sAtGznnRan806L0w8/79DHC0v12AvLVFntVHSHdlqbfxkhBrCAVvcuXr58uaTDP8YAgPWk9YvWXdenqUNkW0lSaLtgggxgEa1uZMbTMON2u31ZDgAAOEqt7mcJIzMAAFhLqxuZ+fW5TQAAwBpa3cgMAACwFsIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjhQS6AACHcrvdqq5xBroMj4SHhchmswW6DMvgGACajjADtEDVNU5FDno10GV4pHLx1YoIbxPoMiyDYwBoOk4zAQAAoxFmAACA0QgzAADAaIQZAABgNCYAtwJl26u1dKVDZdurVVldK0mq2Vensu3V6tYlPMDVAQB8bU/Vfn1fvENrN+05+D1QvdepVRsqlNCjg4KCzL4KjTBjQW63W0uWb9dzb6/S599uVtn26kPW2blrn449O1fduoTrD4O76+bLT1BmShcuqwQAi9hkr9Tz7/6sd+du0M8lu+R2119evnu/Ei98T5HhbTQ4rYtuuOQEjczqoTZtzDtpQ5ixmM8Wleru6YUqKt7RpPXLtlfrldlr9MrsNTopMVqPTcjQuafG+bhKAICvrC/drclPFei/8zfK5XIfcf3K6lrN/XaL5n67Rd26hGvS1f01cUyyQkLMCTXmVIrD2rVnv65/YKHOu/mzJgeZ3ysq3qHzbv5M1z+wULv27PdyhQAAX3K53JqRu1IpF3+g978saVKQ+b2y7dX6y1NLdOrVc1S8vsL7RfoIYcYC1mzcpfTLPtCsD1Z7ZXuzPlit9Ms+0JqNu7yyPQCAb9XsdWrkxC9025RvVb336O8cveSn7Trx8v/q3c83eKE63yPMGG51yS6dfm2+SrZUenW7JVsqdfq1+VpdQqABgJZs7z6nLhj/uT76+hevbnff/jqNypmv3I/XeXW7vkCYMdiOir0656ZPtHVHjU+2v3VHjc656RPtqNjrk+0DAI6O2+3W2Lu/1rwlZT7Zvsvl1tX3fq35S7b4ZPveQpgx2ITHF+uXsiqP2hTkjtCmuaNVkDuiSev/UlaliVMXN6c8AICPvT5nrd6dW+JRG0+/B5xOt/54/0LtqWq5cykJM4b677wSvdmMob/YmHDFdY1QbEzT7y/zRv46fTh/o8d9AQB8p2x7tSY87vmPzeZ8D2zcUqnJfy/wuC9/aRVhxuFwKCcnR3369FFoaKji4+M1ceJEVVVVady4cbLZbJoxY0agy2wyl8utvzy1xK99/uWpJc2aGY/Ae3TCALl/HKc/juzb4PL5s87X3sJrldynk58r85/9tXV665N1Gnv3V9pRsU+StKeqVo5y659CZf9b16P/WaYKP155OvOdVfp5Q4Xf+vOE5cPMsmXLlJKSoieffFJ2u11JSUmqra3V9OnTNWrUKBUXF0uS0tPTA1uoB+Z+u1nrNu3xa59rf9mtLxZv9muf8I4Hn/1ey9fs1N//crK6d63/S+z2q5J11sBueuDZIq1YWx6gCn3H7Xbrn6//pOP+kKcr7vxKr89Zp7376yRJu6tqFXfOW7r+gYUH74hqRa15/1vZnqr9evWjtX7v99/vrPJ7n01h6TDjcDg0fPhw2e12TZo0SWVlZSoqKpLdbtfUqVOVn5+vgoIC2Ww2paamBrrcJns2rzgg/f7rrcD0i6NT63TpmnsXKCKsjWY9ePrB1xN6dtCjt2Vo8Y/b9OTLywNYoW+43W5NnLpYtz/xXaOT5Pftr9OsD1brrOs+tuy9lVrr/re6N/LXaU+V/0P4Sx+uUVULDP+WDjMTJkxQaWmpxo8fr2nTpikqKurgspycHKWlpcnpdKpnz55q3759ACttutpalz77X2BGSD7732bV1roC0jeOzvfFOzRl1g8699Q43XBJPwUF2fTqo2fIZpOuuXeBJU8h/uutYj3z5somrbt0pUNX/nW+jysKnNa4/61uzoJNAel31579+t8P2wLS9+FYNswUFxcrLy9PMTExmjJlSoPrDBgwQJKUlpZ28LWvvvpKNpvtkD8t5TTUinXl2vd/w+T+tm9/nVauZyjaVA8//72WrdqhaZMy9cxdg3VyyjG655mllryXUG2tS1Nm/eBRm48Xlur7YoePKgq81rT/W4OlKwN3rAay78ZYNszk5ubK5XJpzJgxioyMbHCdsLAwSfXDzK/+9a9/6dtvvz3457XXXvNpvU3V3EcVeMvSlYHtH83ndLp1zb0LFNouWLeMStTCIrv+8fpPgS7LJ2Z/tVFbth36gNUjee7tljkfwBta0/63ui3bqmR3+Ob+Yk3REsOMZR80OW/ePElSVlZWo+uUlpZKajjMJCUladCgQb4p7ij8UubdO/2a1j+Ozq7K/dq3v05t2wTr44WbDnmKrlV8uqi0We0++aZ57UzRWva/1Xl6fzFv22QPbP8NsWyY2bjxwH1RevTo0eByp9OpRYsWSWo4zHhTRkaG7Ha7V7a1KyxbCju9wWUFuSOOeN+A2Jiwg//dNHd0o+vZHdUaeMXsQ15/6unpeuGxLzyouGUp6/hnKaiDyuxliotruU8Hd6mN1Pler2/3pb+drrZtgrVyXbnuvTFdb3+2QetLvXNlXN+EBAWpZUwM3BlxmdSuv8ftNtt3tpjjwhfHgC/3v9SyjoHGmPIZcDj7QnpI7a9rcJk/vgeKvv9RcXG3eFBx08TGxqqwsLBZbS0bZqqqDiTHmpqGh+Ly8vLkcDgUFRWlXr16HbJ81KhRcjgcio6O1ogRI/T4448rJiamWbXY7XZt3uylSbvHVEhhDS/69UZITRESHNTkdX+rcne5KrcZfIl2VJ0UJLnq6ry3T3zB1lbq7N1N3nZlkrIyj9Xd0wv14fyNKsobqRf/drrOuu5jr2y/bMsWyd1CrgiK2yW187yZ21nTco4LLx8Dvt7/Ugs7BhpjymfA4YSHSo1cs+KP74Ha/Xtb3L+dZcNMbGysysvLVVRUpMGDB9dbVlZWpsmTJ0uSUlNTZbPZDi7r0KGDJk+erDPOOEORkZH69ttvNWXKFC1evFiFhYUKDQ1tVi3eUtkuWI1N17M7jjxHIDYmTCHBQXLWuQ57zrWxbXWIDFFkm+5NKbVFKgsOlktSUHCwunVvuX8Pl9rIm09a6XNce02ZmKEly7dr6os/yuVy68HnijRl4kDddmVSk6/6OZxuxx7bYn6VV7Ytb/R9cjihbruiW8hx4c1jwB/7X2pZx0BjTPkMOBxnULi2NrLMH98D7UJqFeODf7uj+a60ud3WPGs6YcIEPfPMM4qPj9cXX3yhhIQESVJBQYHGjh2r9evXq7a2VrfeeusR7/770UcfacSIEXrxxRf1xz/+0R/lN2rR91t12jVzmt1+09zRiusaodKtVYo/5y3P+3/1Ap2S3rXZ/QdaXHauNm+rVvdjwlX6xRWBLqdRVdW1ihz0qle2ZbNJC1++QAOSonXi5f/Vqg0HvuaDgmxa/PpwJR3fUamXfHDUpxsqF1+tiPA23ij5qO2u3K/u2bmqrHZ61O6TZ8/Veae1jFMP3joG/LX/pZZ1DDTGlM+Aw3G53Op02mvaXdm84Hi03wP33piuh8cPaFbfvmLZq5lycnIUHR2tTZs2KTk5WSkpKerbt68yMzPVu3dvDRkyRFLT5stccMEFioiIaPa5PG9K79dZQUG2I6/oA0FBNqX3iw5I32i+Sdek6NQTu+r+Z4sOfpFJBz4Qr71vgUKCg/Ti3xqeh2Wq9pFtNe6ifh61SezdUX84xcxf6ofTGve/1QUF2XRSYvOmPXjDgKSW9z1g2TATFxenhQsXatiwYQoNDVVJSYk6d+6smTNnKj8/X6tXr5bk2eTf356OCpSI8DbK7B+Yg/jklC4KD7PsmUlLOqFXBz1860n69odteuqVQy/DXbmuQg8+V6QzM7rptiuTAlCh7zx+e4bOGNC0YeuYTqH67z+yA/ZDwVda8/63uqyB3QLSb5uQIJ3aAkfnLf3NlJiYqDlzDj0lU1lZqZKSEgUFBal//yNf8TB79mxVVVUpMzPTF2V67E+XJWrxj9sD0O8Jfu8TR2fVhl0KG/jKYdd5fNaPenzWj36qyH9C24Xok2fP1XUPLFDepxsaXS/5+I56/+lsJfTs4Mfq/KM173+rG3dRgv4283vV1fl3psgl2T3VpXMjV6EEkKXDTGNWrFght9uthIQEhYfXv4TtqquuUu/evXXSSScdnAD8xBNPKD09XaNHN34Jmz+NOq+X/jztO+3ctc9vfUZ3bKfLzz30qi+gJQsPC9FbTwzRQzdX6N/vrFL+wk1a98tuudxSaLtgzXnmDxpycrcWMeoKeKJ71wiNzOqh974o8Wu/t45O9Gt/TWXZ00yHs3z5gYeqNXSKKTk5WR988IGuvvpqDR06VC+++KJuuOEGffXVV2rbtq2/S21QaLsQ3TXOt/fG+b2/Xpem0HatMvvCAvr16qincwZp9UeXqVuXAz9goju009mDjiXIwFj33JCm4GD/Hb9DMrvp1BNb3ikmiTBzyLK77rpLy5cv1+7du1VbW6sNGzbo73//uzp0aFlD0HeMTdbJKV380teg1C66Y2yyX/oCADTNiYkxfvthGxneRrMeOr3Fhn/CjKGCg4P08iNnKCw02KN2dke1SrdWNeleBJIUFhqslx4+Q8HBrfJQAYAW7b6b0pXWz7O7K3r6PSBJ0yZlqmf3KE/L85tWed7g1+c2me6EXh313lNna8TEuXI6mzYJrKFbUzcmJMSm9546Wyf06tjMCgEAvtS2TbDyZ/xBp10zRyVbmvbsPE++ByRp0tX9deOlnt3qwN/4uW24oafH67//yFZoO89GaI4ktF2wPvznORp6erxXtwsA8K7uXSP01Yvnq2+PRp5xcBTuvC5VT07KbLGnl35FmLGAYWccp8WvD1f6Cd55kEv6CZ21+PXhOp8gAwBG6HFslBa/PkJXXXC8V7bXuUM7vfn4WXr89oEtPshIhBnLSOsXrSVvXKgHbz5R4aHNO3sYHhqiB28+UUveuFBp3OkXAIzSuUM7vfbYWfrvP7MVH+v5AyR/dek5PbXig4t1xfneCUb+0CrnzFhVmzZBeuDmkzRxTLJe/Witns0r1s8lR37cXr+eHXTLqERdPbyPOrZvxqOGAQAtxoVZPTTs9HjNWfCLns0r1txvtxyxTaf2bXXdyAT96fJE9TnO+6erfI0wY0Ed27fThDHJuu3KJG2yV2npSoeWrnSozFGjffvr1K5tsLrFhGlAUowykmMU1zXCiGFEAEDThIQEaeSQnho5pKcqdu9TUfEOFa5waM0vu1Szr04hwUHq1L6t0vtFa0BStE7o1VEhIeaerCHMWJjNZtNx3SJ1XLdIXXR2z0CXAwAIgI7t22nIycdqyMnHBroUnzE3hgEAAIgwAwAADEeYAQAARiPMAAAAoxFmAACA0biaCWiBwsNCVLn46kCX4ZHwMD5OvIljAGg6jjygBbLZbIoIbxPoMhBAHANA03GaCQAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABgtJNAFADiU2+1WdY0z0GV4JDwsRDabLdBlWAbHANB0hBmgBaqucSpy0KuBLsMjlYuvVkR4m0CXYRkcA0DTcZoJAAAYjTADAACMRpgBAABGI8wAAACjEWbQarhcbrndbkk6+F8ArQufAdbE1UywrFJ7ld6du0GFKx1autKhn0t26dfPry3bazTwig81IClGg1OP0SXn9FQkV2EAluJyuTX3282at2SLClc4VFS8QxV79ks68Blw7Nm5GpAYrYzkGA07I14ZyV0CXDGay+YmnsJivioo0zNvrtSHX21UXV3TDu+oiDa6engf3XZFkvr16ujbApugqrqWy3J9JC47V5u3Vav7MeEq/eKKQJfTKI6B5qvYvU//ee9nPff2Km3YvKfJ7TKSY3TLqESNGXa82rYJ9mGF8DZOM8EydlTs1Zi/fqWscR/r/S9LmhxkJGlPVa3+9VaxUi75QI8+v0xOp8uHlQLwlfwFvyj54veV83SBR0FGkgpXOHTd/QuVeeVs/fDzDh9VCF8gzMASvly8RckXva83P153VNupdbp074ylGnTVR9pQ6tkHIYDA2bvPqevuX6ALxs/Vlm3VR7WtH37eqYwrPtTjs35gbo0hCDMw3gdflmjoLZ9p644ar21z6UqHTrt2jlZtqPDaNgH4RnWNUxeMn6uX/rvGa9t0Ot2665+Fmjh1MYHGAIQZGO2zRaUaNXm+an1wWmjLtmpl3/CJSjwcqgbgP7W1Ll3y5y/15XdbfLL9Z95cqb/+o8An24b3EGZgrK07ajTmrq98EmR+tXlbta66+2vV1TGHBmiJHn/xB326qNSnfTzx0nLlL/jFp33g6BBmYCS3262bH1mkHRX7PGpXkDtCm+aOVkHuiCa3WfT9Vj3z5kpPSwTgYz+u3qmHZy7zqE1zPgMk6YaHFql8t2efN/Afy4cZh8OhnJwc9enTR6GhoYqPj9fEiRNVVVWlcePGyWazacaMGYEuEx766Ktf9MGXGz1uFxsTrriuEYqNCfeo3d3PFGrLtiqP+0PLUbPXqflLtqhmn1OSPLraDS2P2+3WjQ994/HIbHM/A8q2V+ue6YUetYH/WDrMLFu2TCkpKXryySdlt9uVlJSk2tpaTZ8+XaNGjVJxcbEkKT09PbCFwmP/fGOFX/ur2Vun/7z3s1/79JZHJwyQ+8dx+uPIvg0unz/rfO0tvFbJfTr5uTL/2Lhlj/4y7Tt1z87VkOs/0c5dB26aZt9Ro8v/Mk/fFNkDXKFvWXX/L1m+Xd8t3+7XPl+evUYVjM60SJYNMw6HQ8OHD5fdbtekSZNUVlamoqIi2e12TZ06Vfn5+SooKJDNZlNqamqgy4UHitdXaN6SMr/3+/x7P6u21ry5Mw8++72Wr9mpv//lZHXvWv/X6O1XJeusgd30wLNFWrG2PEAV+s7XhWVKu/S/eurVn1S+e/8hy9/5fINOvzZfU1/8IQDV+YdV9/+/3ir2e581e+v0ymzvXTEF77FsmJkwYYJKS0s1fvx4TZs2TVFRUQeX5eTkKC0tTU6nUz179lT79u0DWCk89Ub+2oD0u2VbteYt8c0VE75U63TpmnsXKCKsjWY9ePrB1xN6dtCjt2Vo8Y/b9OTLywNYoW8sW7VDF4z/XLsqDw0xv/fXfxRqRq4150VZcf/v3efU259vCEjfr34UmM8fHJ4lw0xxcbHy8vIUExOjKVOmNLjOgAEDJElpaWmHLPvggw90yimnKCIiQh06dNCpp56qFSv8e1oDjVvyk3+Hln+rYEXg+j4a3xfv0JRZP+jcU+N0wyX9FBRk06uPniGbTbrm3gVyuaw3f+T2JxarstrZ5PUn/32Jdu6y5ikEq+3/5WvKtW9/XUD6/nHNTu3d1/TjCv5hyTCTm5srl8ulMWPGKDIyssF1wsLCJB0aZqZPn67LL79cp512mmbPnq3c3FxlZ2erpsZ7N2RD87ndbhWucASs/0D2fbQefv57LVu1Q9MmZeqZuwbr5JRjdM8zS7W6ZFegS/O6FWvL9XWhZ3Nh9u6r08sfrvZRRYFnpf2/dGXg3odOp1s/rjbrlFxrYMkwM2/ePElSVlZWo+uUlh64L8Fvw8y6des0efJkPf3003riiSd09tln6/zzz9dDDz2kjIwM3xaNJrE7ahqc++AvK9ZVBKzvo+V0unXNvQsU2i5Yt4xK1MIiu/7x+k+BLssnmjuv4ZXZ1j2FYKX9H+j34Yp1hJmWJiTQBfjCxo0HLtnt0aNHg8udTqcWLVokqX6YefHFF9WmTRvdcMMNXq0nIyNDdru1r5jwF2dQZ6njxEaXF+SOOOwll7ExYQf/u2nu6EbXszuqNfCK2Ye8vr5ks+Li4jyouHlcaiN1vtfr291VuV/79tepbZtgfbxwk7x5l/a+CQkKUq33NngUdkZcKrVL8bjd8lX+2b9N4YtjwJf7X/LfMVAeMVJqd2KDy7z1GSA1/jlwx6S7dN/475peMJokNjZWhYXNu/zdkmGmqurA/UAaOzWUl5cnh8OhqKgo9erV6+Dr//vf/9SvXz+9/vrreuSRR7Rp0yb17dtX999/v6644opm12O327V58+Zmt8dvtK2VOja++Nd7SBxJSHBQk9b7PVddnX/2pa2t1Nn7m33pb6erbZtgrVxXrntvTNfbn23Qei89ULNsyxbJHbhRs3riq6V2njdzu1wt573qg2PAl/tf8uMx0L2q0f3r688ASdq1q1y7drSQ4wSSLBpmYmNjVV5erqKiIg0ePLjesrKyMk2ePFmSlJqaKpvNVm/Z5s2bddddd2nq1KmKj4/XrFmzdOWVV6pLly7Kzs5udj3wjjpbpA43xmV3HP5pubExYQoJDpKzziW7o/F5UI1tJzioTrHduzel1KPiUht5++Lz265MUlbmsbp7eqE+nL9RRXkj9eLfTtdZ133sle13O/bYFjMys6tdrSqb0S5Ee9TVD/u3Kbx9DPh6/0v+OwYqwkPU2C0svfUZcLhtdWwfrojQlnGcWMnRfFfa3BZ8HOiECRP0zDPPKD4+Xl988YUSEhIkSQUFBRo7dqzWr1+v2tpa3XrrrfXu/puQkKA1a9bogw8+0MiRIyUdmHCanp6ujh076uuvvw7EXwe/4Xa7FXPGG82+6mTT3NGK6xqh0q1Vij/nLY/bjxzSQx/8o3mh1hNV1bWKHPSq17bX57j2WvbOSK1YW6HBYz+Sy+XWX8elasrEgZrw+LdeeVxD5eKrFRHexgvVHr3i9RVKGvmex+2ennyybh/b3wcVec6bx4A/9r/kv2Ng5jur9KeHFzWr7dF+BkjSkjdHaGD/Ls1qC9+w5ATgnJwcRUdHa9OmTUpOTlZKSor69u2rzMxM9e7dW0OGDJF06JVMnTsfGNP97QiMzWZTdna2fvrJzIlyVmOz2TQgKTpg/Qey7+ay2aSXHz5DwUE2XXPv1wcvw33ipeUq+Gm7pkzMUO+4qCNsxSyJvTsqa2A3j9qEhQbrmgsbvkuuyay4/wP5PgwJsSmlr1l3S24NLBlm4uLitHDhQg0bNkyhoaEqKSlR586dNXPmTOXn52v16gOXX/4+zCQnJze6zb179/q0ZjTdySnHBKzvTAN/jU26JkWnnthV9z9bpFUb/v9luC6XW9fet0AhwUF68W+nH2YLZvrHnYMUFdH0UYKnJw9Sp/bNmGjTwllx/6f07azQdsEB6TstIVqh7Sw5Q8NolgwzkpSYmKg5c+Zoz5492rNnj7777jvdeOONqqqqUklJiYKCgtS/f/3h5AsvvFCS9Pnnnx98zeVyae7cuRo4cKBf60fjrhp2fED67X5MuIZkHhuQvpvrhF4d9PCtJ+nbH7bpqVcOHV1cua5CDz5XpDMzuum2K5MCUKHvpCZ01ifPnqvOHY4cUJ76S6ZuuuwEP1TlX1bd/+3aBmvUub0D0vc1I/oEpF8cXquLlytWrJDb7VZCQoLCw+tfvjd8+HCdfvrpuvHGG7Vjxw4dd9xxeuGFF7RixQrNnTs3QBXj9/r16qjsQcfqi8X+fbTATZedoJAQs/L/qg27FDbwlcOu8/isH/X4rB/9VJF/nXpiV/3wzkV6Nq9YL7z/s7aX1x9hHTPseI0fnaRBaYEb7fMlK+//W0Yl+v05SeGhIbp6uPVORVqBWZ/MXrB8+YFnkDT0GAObzabZs2frkksu0d13360RI0Zo48aN+vjjjw/Os0HLcPtVjZ8S9IXw0BBdf3E/v/YJ74iLjdBjEzO0ae5oLXx52MGRmtiYML0+5SzLBhmry0zpolPS/bvvrrsoQR2i2vq1TzQNYeZ3OnbsqJkzZ2r79u3at2+flixZonPPPdefJaIJhp1xnC77Q68jr+glj9+eoW5dGr8RF1q+dm2DddpJsQr7v7kWwUG2I7RASzfzvlPVto1/vsbiukbokfED/NIXPEeYgbH+dfdgxXQK9aiN3VGt0q1VR7wXxW+dmRGrW0ebM58AaC369+2sB/7U8J2AG9OczwBJ+s8DpzEq04K1ujkzvz63Cebr0jlMb03N0vm3fqb9ta4mtWno1uSHEx8bodceO1NB/IoHWqScP6bq2x+2ac6CTU1a39PPAEm654Y0nXday3jMBRrW6kZmYC1nDzpW70wb4pOh5riuEfri+aGKj234yesAAi8kJEhvTxuic0/xzR157xibrIc5vdTiEWZgvBFZPfTZv8/Tscd4b05LZv8u+uaVYUro2cFr2wTgG2GhIZr9zDm68VLvTdJvExKkJ/+cqaf+cnK9x96gZSLMwBLOGthNP71/sa49yju4tmsbrKm3D9SiVy9Qj2PNuisq0Jq1bROsmfefpk+fO7fZD5D81YCkGBXlXai/XJtCkDEEYQaW0al9O7308Bn65pULNOq8XgoJafqHUMeotrpjbLJWfHCxcq5LNe5+MgAOOPfUOK344GI9Pflk9e3R3qO2p6Qfo9ceO1OLXx+u/n198Nh6+EyrmwAM6zv1xK469cSusjuq9d4XJSpc4dDSlQ6t2rBLtc4DE4UjwkKUmtBZA5JiNCi1iy4a0lPhYbwdACtoH9lWt4/trwljkjV/SZnmF2zR0pU7VFTs0LadB26caLNJx3WL1IDEGA1Iitb5p8cr/QTznr2GA/j0hmXFxoQfckm10+lSUJCNq5OAViAoyKazBx2rswf9/8eQuN1uOZ1uhYTYOIVkIYQZtCqcPgJaN5vNpjZtCDFWwyc7AAAwGmEGAAAYjTADAACMRpgBAABGYwIw0AKFh4WocvHVgS7DI1za7l0cA0DTceQBLZDNZlNEeJtAl4EA4hgAmo7TTAAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNFCAl0AAPiK2+3W5q3VWlrs0NKVDm3cUqmdu/ZJkir27NdrH63RSYkxOqFXBwUH89sOMJXN7Xa7A10EAHhTVXWt3vx4nZ59u1jLVu084vpdo8N0wyX9dOOl/RQfG+mHCgF4E2EGgGW4XG4993ax7nlmqXbt2e9x+6Agm8ZdlKAn/5ypDlFtfVAhAF8gzACwhPWluzXugW/0VUHZUW8rrmuEXnjwNJ17apwXKgPga4QZAMZbsny7ht7y2cH5MN7yzF2DNf6KJK9uE4D3EWYAGK1opUNZ13+s3ZW1Ptk+gQZo+QgzAIy1fWeN+l/8vrbt3OvTfj597lxOOQEtGNciAjDWrY9963GQKcgdoU1zR6sgd0ST21z/4DfNmlAMwD8IMwCM9N7cDXrn8w0et4uNCVdc1wjFxoQ3uU3p1ir95anvPO4LgH+0ijDjcDiUk5OjPn36KDQ0VPHx8Zo4caKqqqo0btw42Ww2zZgxI9BlAmgit9uth/79vV/7fPG/a/RLWaVf+wTQNJa/A/CyZcs0dOhQ2e12RUREKCkpSVu2bNH06dO1bt067dx54IZa6enpgS0UQJMt+n6rlq8p92ufLpdbz7+7So/cluHXfgEcmaVHZhwOh4YPHy673a5JkyaprKxMRUVFstvtmjp1qvLz81VQUCCbzabU1NRAlwugif79zqqA9PvC+6vldLoC0jeAxlk6zEyYMEGlpaUaP368pk2bpqioqIPLcnJylJaWJqfTqZ49e6p9+/YBrBSAJ+Z74cZ4zbF1R41WbagISN8AGmfZMFNcXKy8vDzFxMRoypQpDa4zYMAASVJaWtrB18466yzZbLYG//zpT3/yS+0AGmd3VGvLtuqA9b905Y6A9Q2gYZadM5ObmyuXy6UxY8YoMrLhB8eFhYVJqh9mnn32We3evbveevn5+XrkkUd0wQUX+K5gAE3yfXFgw8TSYoeuubBvQGsAUJ9lw8y8efMkSVlZWY2uU1paKql+mElKOvROn48++qi6dOmi8847r1m1ZGRkyG63N6stgPqq26ZJkRc3uKwgd8QRL7mOjQk7+N9Nc0c3up7dUa2BV8w+5PUXXnpL78+4zIOKATRFbGysCgsLm9XWsmFm48aNkqQePXo0uNzpdGrRokWS6oeZ39u+fbs+/fRT3XLLLQoJad4/l91u1+bNm5vVFsDvdOolNTzYevAeMk0REhzU5HV/q2bvft7PQAtj2TBTVVUlSaqpqWlweV5enhwOh6KiotSrV69Gt5Obmyun06mxY8c2u5bY2NhmtwVQX3XbKDV2UbbdceS5NLExYQoJDpKzziW7o+HPh8NtKyy0jTp3796UUgF44Gi+Ky37bKakpCQVFxdrxowZuvXWW+stKysr04ABA1RWVqZTTz1V33zzTaPbGThwoKqqqrRy5UpflwygCRYUlunM6z5udvtNc0crrmuESrdWKf6ctzxuf/f1aXp0AveaAVoSy17NlJ2dLUmaOnWqVq9effD1goICZWVlyeFwSDr8zfJWrVqlwsLCoxqVAeBdJyZGy2YLXP8DkmIC1zmABlk2zOTk5Cg6OlqbNm1ScnKyUlJS1LdvX2VmZqp3794aMmSIpMPPl3nttddks9k0ZswYf5UN4AiiItoqoUeHgPU/ICk6YH0DaJhlw0xcXJwWLlyoYcOGKTQ0VCUlJercubNmzpyp/Pz8g6M1jYUZt9utN954Q2eddZaOO+44f5YO4AiGnxmY92RK3046rlsjs48BBIxlJwBLUmJioubMmXPI65WVlSopKVFQUJD69+/fYNsFCxZo48aNeuCBB3xdJgAP/enyEzTtleV+7/fmyxNlC+Q5LgANsuzIzOGsWLFCbrdbffv2VXh4w/ekeO211xQWFqZLL73Uz9UBOJLj49vrvFPj/NpnZHgbXXXB8X7tE0DTtMows3z5gV90jZ1i2rt3r959912NHDmy3vOcALQcj9+eoZAQ/42S/O3WkxQV0dZv/QFoOsJMA0JDQ1VRUaE333zTn2UB8EBav2jdd+OJfunr1BO7asKVh94dHEDLQJgBYKy7xqVpUGoXj9rYHdUq3VrVpBvsSVLHqLZ66W+nKzi4VX5cAkaw7E3zALQOOyr2Kmvcx1q+prH7AjdfRFiI5j5/ngandfX6tgF4Dz81ABgtumOo5s863+MRmiNvt52+/M9QggxgAMIMAONFdwzVgpcu0EO3nOSVScEXnd1DKz64RCenHuOF6gD4GqeZAFjKDz/v0J1PF+iz/3n+ZOuk4zvqvhvTNeq83txPBjAIYQaAJa39Zbeee7tYc77epNUbdzW6XtfoMJ01MFZ/uixRZ2bEEmIAAxFmAFjerj379f2qHdq4pVL7auvUJiRIMR1DdVJitI49JpwAAxiOMAMAAIzGBGAAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNEIMwAAwGiEGQAAYDTCDAAAMBphBgAAGI0wAwAAjEaYAQAARiPMAAAAoxFmAACA0QgzAADAaIQZAABgNMIMAAAwGmEGAAAYjTADAACMRpgBAABGI8wAAACjEWYAAIDRCDMAAMBohBkAAGA0wgwAADAaYQYAABiNMAMAAIxGmAEAAEYjzAAAAKMRZgAAgNH+H5lZxptB3PQQAAAAAElFTkSuQmCC",
      "text/plain": [
       "<Figure size 705.552x702.333 with 1 Axes>"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from qlasskit import qlassf, Qlist, Qint, Qint4\n",
    "\n",
    "\n",
    "@qlassf\n",
    "def sat(b_list: Qlist[bool, 5]) -> bool:\n",
    "    r = True\n",
    "    i = 0\n",
    "    for b in b_list:\n",
    "        r = r and (b if i % 2 == 0 else not b)\n",
    "        i += 1\n",
    "    return r\n",
    "\n",
    "\n",
    "sat.export(\"qiskit\").draw(\"mpl\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Then we use Grover to search for input values leading to a `True` result from our SAT oracle:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [],
   "source": [
    "from qlasskit.algorithms import Grover\n",
    "\n",
    "q_algo = Grover(sat, True)\n",
    "qc = q_algo.export(\"qiskit\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We use qiskit to run the simulation; as we expected from our simple problem, the solution is the list `[True, False, True, False, True]` where variable in even positions are negated."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnkAAALBCAYAAAAkkLe5AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguMCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy81sbWrAAAACXBIWXMAAA9hAAAPYQGoP6dpAAC3cElEQVR4nOzdd1QUV/8G8GeX3kUUFWkWrKhIxIaiqAEVuya22GuMMUZjizG2aNSYGDWJsZdEY0nssaBIUSygiF2KigWwS+/s/f3hb+d1AyRWFmafzznvOa8zs8t3srN3nr1z545CCCFARERERLKi1HYBRERERPT2MeQRERERyRBDHhEREZEMMeQRERERyRBDHhEREZEMMeQRERERyRBDHhEREZEMMeQRERERyZC+tgso7VQqFRISEmBhYQGFQqHtcoiIiEjmhBBITU2FnZ0dlMqi++sY8t5QQkICHBwctF0GERER6Zi7d+/C3t6+yPUMeW/IwsICwPP/0JaWllquhoiIiOQuJSUFDg4OUgYpCkPeG1JforW0tGTIIyIiomLzX8PEeOMFERERkQwx5BHRa4mPj8dHH30EGxsbmJiYoF69ejh79qy0Pi0tDWPHjoW9vT1MTExQp04d/Prrr9L6p0+f4tNPP0XNmjVhYmICR0dHjBs3DsnJydrYHSIi2eHlWiJ6Zc+ePYOnpye8vb1x8OBBlC9fHjExMbC2tpa2mTBhAo4dO4bff/8dzs7O8Pf3x5gxY2BnZ4cuXbogISEBCQkJWLx4MerUqYPbt29j9OjRSEhIwJ9//qnFvSMikgeFEEJou4jSLCUlBVZWVkhOTuaYPNIZU6dORWhoKI4fP17kNq6urujduzdmzJghLXvvvffQoUMHfPPNN4W+ZseOHfjoo4+Qnp4OfX3+BiUiKszLZg9eriWiV7Z37140atQIH3zwAWxtbdGwYUOsXr1aY5vmzZtj7969iI+PhxACgYGBiI6Oho+PT5Hvq26wGPCIiN4cQx4RvbKbN29ixYoVcHFxweHDh/Hxxx9j3Lhx2Lhxo7TN8uXLUadOHdjb28PQ0BDt27fHzz//DC8vr0Lf8/Hjx5g7dy5GjhxZXLtBRCRr/LlMRK9MpVKhUaNGmD9/PgCgYcOGuHz5Mn799VcMGjQIwPOQd/r0aezduxdOTk4ICQnBJ598Ajs7O7Rr107j/VJSUuDn54c6depg1qxZxb07RESyxJBHRK+sUqVKqFOnjsay2rVr46+//gIAZGZm4ssvv8SuXbvg5+cHAKhfvz4iIyOxePFijZCXmpqK9u3bw8LCArt27YKBgUHx7QgRkYzxci0RvTJPT09ERUVpLIuOjoaTkxMAIDc3F7m5uQWeqainpweVSiX9OyUlBT4+PjA0NMTevXthbGz87osnItIR7Mkjolf2+eefo3nz5pg/fz4+/PBDhIWFYdWqVVi1ahWA50+AadWqFSZNmgQTExM4OTkhODgYmzZtwg8//ADgfwEvIyMDv//+O1JSUpCSkgIAKF++PPT09LS2f0REcsApVN4Qp1AhXbV//35MmzYNMTExqFKlCiZMmIARI0ZI6+/fv49p06bB398fT58+hZOTE0aOHInPP/8cCoUCQUFB8Pb2LvS9b926BWdn52LaEyKi0uVlswdD3htiyCMiIqLixHnyiIiIiHQYQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDOlruwAiejdG/KjtCkqm1eO1XQERUfFgTx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDDHkEREREckQQx4RERGRDJXokLdr1y68//77sLGxgbGxMapUqYK+ffvi7t27GtulpKRgwoQJcHJygpGREZydnTFp0iSkpaUV+r4qlQrLly9HvXr1YGJigvLly6Nv3764efNmcewWERER0Tunr+0CCiOEwOjRo7Fq1SpUq1YNffr0gYWFBRISEhAcHIzbt2/DwcEBAJCeno5WrVohMjISPj4+6Nu3L86fP4/FixcjODgYISEhMDY21nj/UaNGYc2aNahbty7GjRuHhIQEbN++Hf7+/jh9+jRcXFy0sdtEREREb02JDHnLli3DqlWrMGbMGCxbtgx6enoa6/Py8qT/v2jRIkRGRmLKlClYsGCBtHzq1KlYuHAhlixZgmnTpknLAwMDsWbNGnh5eeHIkSMwNDQEAPTr1w8dO3bE2LFjcfjw4Xe8h0RERETvlkIIIbRdxIsyMzNRuXJlWFtbIyoqCvr6RedQIQTs7e2RkpKC+/fvw8zMTFqXnp6OihUrwtbWFjdu3JCW9+vXD3/88QeCg4Ph5eWl8X7e3t4ICgrC7du34ejo+FL1pqSkwMrKCsnJybC0tHzFvSV6d0b8qO0KSqbV47VdARHRm3nZ7FHixuT5+/vj2bNn6NatG/Lz87Fz504sWLAAv/76K2JjYzW2jYmJQUJCAjw9PTUCHgCYmZnB09MTN2/e1BjDFxQUJK37J19fXwBAcHDwO9gzIiIiouJT4i7Xnjt3DgCgp6eH+vXrIzo6WlqnVCrx+eefY/HixQCehzwARY6hc3FxweHDhxETEwMHBwekp6cjMTERrq6uBS4Bv/g+6vctTHZ2NrKzs6V/p6SkAAByc3ORm5sr1amnp4f8/HyoVCqN+vX09JCXl4cXO1D19PSgVCqLXK5+XzV17+aLl63/bbmBgQFUKhXy8/OlZQqFAvr6+kUuL6p27lPp2Seg4DFOKHGfkxyPPe4T94n79O736WWUuJD38OFDAMAPP/wAd3d3hIWFoXbt2jh//jxGjhyJ77//HtWqVcPHH3+M5ORkAICVlVWh76XuwlRv96rbF+bbb7/F7NmzCyz39/eHqakpAMDR0RENGzbExYsXcefOHWmbmjVrolatWggLC8OjR4+k5W5ubnByckJISAhSU1Ol5c2aNYOtrS38/f01PlBvb2+YmJjgwIEDGjV07NgRmZmZCAwMlJbp6+vDz88Pjx8/xqlTp6TlFhYWaNOmDe7evYvIyEhpefny5dG8eXPExMQgKipKWs59Kn37BDQEFVTSPic5HnvcJ+4T9+nd7pO6Q+y/lLgxeSNHjsTq1athYmKC2NhY2NnZSesuX76MBg0aoEqVKoiNjcWWLVvQv39/TJ8+Hd98802B95o+fTrmz5+PnTt3onv37khISEDlypXh6emJEydOFNj+yJEj8PHxwbhx47B06dJC6yusJ8/BwQGPHz+WQqKu/qrgPpWsfRq9nD15hfnlk5L1Ocnx2OM+cZ+4T+92n54+fQobG5v/HJNX4nry1L1sjRo10gh4AODq6oqqVasiNjYWSUlJ0rZF9bypL6Wqt3vV7QtjZGQEIyOjAssNDAxgYGCgsUxPT6/Qy8JF3UxS1PJ/vu/rLFcqlVAqCw7BLGp5UbVzn0rPPlHhStrnJMdjj/vEfeI+aWefCvy9l9qqGNWsWRMAUKZMmULXq5dnZmb+5xi6f47ZMzMzQ6VKlXDr1i2NJF3U9kRERESlVYkLed7e3gCAa9euFViXm5uL2NhYmJmZoXz58nBxcYGdnR1CQ0ORnp6usW16ejpCQ0NRpUoVaeJkAGjVqpW07p/U8+P9c2oVIiIiotKmxIW8atWqwcfHB7GxsVizZo3GugULFiApKQndu3eHvr4+FAoFhg8fjrS0NMydO1dj27lz5yItLQ0jRozQWD5y5EgAwIwZM5CTkyMtP3jwIIKCguDj4wMnJ6d3tHdERERExaPE3XgBADdu3EDz5s3x8OFD+Pn5oVatWjh//jyOHTsGJycnnD59GhUrVgTwvMfO09MTFy5cgI+PD9zd3REREQF/f394eHggODgYJiYmGu8/YsQI6bFmfn5+SExMxLZt22Bubo5Tp06hRo0aL10rJ0OmkoqTIReOkyETUWlXaidDBp735p09exaDBw/GuXPnsGzZMsTExOCTTz5BWFiYFPCA5+PsgoODMX78eFy7dg3ff/89rl+/jokTJyIgIKBAwAOAlStXSnfPLl26FAcOHED37t0RFhb2SgGPiIiIqKQqkT15pQl78qikYk9e4diTR0SlXanuySMiIiKiN8OQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDDHlEREREMsSQR0RERCRDrx3yQkJCcOfOnX/d5u7duwgJCXndP0FEREREr+m1Q563tzc2bNjwr9ts2rQJ3t7er/sniIiIiOg1vXbIE0L85zYqlQoKheJ1/wQRERERvaZ3OiYvJiYGVlZW7/JPEBEREVEh9F9l46FDh2r8e/fu3YiLiyuwXX5+vjQer0OHDm9UIBERERG9ulcKeS+OwVMoFIiMjERkZGSh2yoUCnh4eGDJkiVvUh8RERERvYZXCnm3bt0C8Hw8XtWqVTF+/Hh89tlnBbbT09ODtbU1zMzM3k6VRERERPRKXmlMnpOTE5ycnODs7Iz169dj8ODB0rIX/2dvb/9WA97ChQuhUCigUChw+vTpAutTUlIwYcIEODk5wcjICM7Ozpg0aRLS0tIKfT+VSoXly5ejXr16MDExQfny5dG3b1/cvHnzrdVMREREpE2vfePFoEGDUL9+/bdZS6EuX76MmTNnFhka09PT0apVKyxZsgS1atXC559/jpo1a2Lx4sVo06YNsrKyCrxm1KhRGDduHIQQGDduHNq3b4+dO3fCw8MDMTEx73qXiIiIiN65V7pcW5iwsDCEh4cjKSkJ+fn5BdYrFArMmDHjtd47NzcXgwYNgpubG1xcXPD7778X2GbRokWIjIzElClTsGDBAmn51KlTsXDhQixZsgTTpk2TlgcGBmLNmjXw8vLCkSNHYGhoCADo168fOnbsiLFjx+Lw4cOvVS8RERFRSaEQLzPhXSGePn2Kbt26ITQ09F/nzFMoFIWGv5cxa9YsLFiwABEREVi0aBE2btyIU6dOoWnTpgCejw20t7dHSkoK7t+/r9Hbl56ejooVK8LW1hY3btyQlvfr1w9//PEHgoOD4eXlpfH3vL29ERQUhNu3b8PR0fGlakxJSYGVlRWSk5NhaWn5WvtJ9C6M+FHbFZRMq8druwIiojfzstnjtXvyJkyYgBMnTqB169YYNGgQ7O3toa//xh2DkoiICMybNw9z5sxBnTp1Ct0mJiYGCQkJ8PX1LXA518zMDJ6enjh8+DDu3r0LBwcHAEBQUJC07p98fX0RFBSE4OBgDBgw4K3tCxEREVFxe+1Utn//fjRu3BgBAQFv/akW2dnZGDhwINzc3DB58uQit1OPn3NxcSl0vYuLCw4fPoyYmBg4ODggPT0diYmJcHV1hZ6eXqHbv/i+RERERKXVa4e8zMxMeHl5vZPHln399deIiYnBuXPnCg1jasnJyQBQ5FM11F2Y6u1edfvCZGdnIzs7W/p3SkoKgOfjB3NzcwEASqUSenp6yM/Ph0qlkrZVL8/Ly9O4xK2npwelUlnkcvX7qql7TPPy8l5quYGBAVQqlcZlc4VCAX19/SKXF1U796n07BNQ9HdHl5W0z0mOxx73ifvEfXr3+/QyXjvkubm5Ffq0izd16tQpLF68GLNmzYKrq+tbf/839e2332L27NkFlvv7+8PU1BQA4OjoiIYNG+LixYu4c+eOtE3NmjVRq1YthIWF4dGjR9JyNzc3ODk5ISQkBKmpqdLyZs2awdbWFv7+/hofqLe3N0xMTHDgwAGNGjp27IjMzEwEBgZKy/T19eHn54fHjx/j1KlT0nILCwu0adMGd+/e1ZjQunz58mjevDliYmIQFRUlLec+lb59AhqCCippn5Mcjz3uE/eJ+/Ru9+ncuXN4Ga9944W/vz+6dOmCoKAg6UaIN5WXl4c6derAzMwMYWFhMDAwkNYNHjy4wI0Xf//9Nzp16oSxY8di+fLlBd7v008/xU8//YSAgAC0adMG6enpMDc3h6urKy5dulRg+7/++gu9evXCjBkzMGfOnEJrLKwnz8HBAY8fP5Z6AnX1VwX3qWTt0+jl7MkrzC+flKzPSY7HHveJ+8R9erf79PTpU9jY2Ly7Gy/u378PPz8/tGrVCv3794e7u3uRf2jgwIEv9Z5paWnSeDj11Cb/1KxZMwDArl27pBsyihpD988xe2ZmZqhUqRJu3bqF/Pz8ApeC/2uMHwAYGRnByMiowHIDAwONUAo8P2AKu9xc1A0qRS3/5/u+znKlUgmlsuC0iEUtL6p27lPp2ScqXEn7nOR47HGfuE/cJ+3s0z+9dk+eUqmEQqHQSMH/HJ8nhHilKVQyMzPx6aefFrouJCQEMTEx6NKlC8qXL4+xY8eiQYMG/zmFSvny5TWeZNG3b19s3br1X6dQiYuLg5OT00vVzClUqKTiFCqF4xQqRFTavfMpVNavX/+6Ly2SiYkJ1qxZU+i6wYMHIyYmBtOmTdO4PDx8+HDMmTMHc+fO1ZgMee7cuUhLS8OXX36p8T4jR47E1q1bMWPGDI3JkA8ePIigoCD4+Pi8dMAjIiIiKqleO+QNGjTobdbx2iZPnow9e/Zg4cKFOH/+PNzd3REREQF/f394eHhg/PjxGtt7e3tj+PDhWLNmDdzd3eHn54fExERs27YNZcuWLXRsHxEREVFp89rPri0pzMzMEBwcjPHjx+PatWv4/vvvcf36dUycOBEBAQEwMTEp8JqVK1di6dKlAIClS5fiwIED6N69O8LCwlCjRo3i3gUiIiKit+61x+S9eEvvf3nZR4SVRhyTRyUVx+QVjmPyiKi0e+dj8pydnV9qImSFQvHSk/YRERER0dvx2iFv4MCBhYa85ORkXLhwAbdu3UKrVq3g7Oz8JvURERER0Wt47ZC3YcOGItcJIfD9999j0aJFWLt27ev+CSIiIiJ6Te/kxguFQoEvvvgCdevWxaRJk97FnyAiIiKif/FO765t1KgRjh079i7/BBEREREV4p2GvBs3bvCmCyIiIiIteO0xeUVRqVSIj4/Hhg0bsGfPHrRt2/Zt/wkiIiIi+g+vHfLUz64tihAC1tbW+P7771/3TxARERHRa3rtkOfl5VVoyFMqlbC2toaHhweGDBkCW1vbNyqQiIiIiF7da4e8oKCgt1gGEREREb1Npf7ZtURERERU0Fu58SI0NBSRkZFISUmBpaUl3Nzc4Onp+TbemoiIiIhewxuFvJMnT2LIkCGIjY0F8PxmC/U4PRcXF6xfvx7NmjV78yqJiIiI6JW8dsi7cuUKfHx8kJGRgffffx/e3t6oVKkS7t+/j8DAQPj7+8PX1xenT59GnTp13mbNRERERPQfXjvkzZkzBzk5OThw4ADat2+vsW7KlCk4dOgQunTpgjlz5mDr1q1vXCgRERERvbzXvvEiKCgIvXr1KhDw1Nq3b49evXohMDDwtYsjIiIiotfz2iEvOTkZVapU+ddtqlSpguTk5Nf9E0RERET0ml475NnZ2eH06dP/us2ZM2dgZ2f3un+CiIiIiF7Ta4e8Ll26ICgoCDNmzEBWVpbGuqysLMycOROBgYHo2rXrGxdJRERERK9GIYQQr/PCJ0+eoEmTJrh16xZsbGzQuHFjVKhQAQ8ePEB4eDgePXqEqlWrIiwsDGXLln3bdZcYKSkpsLKyQnJyMiwtLbVdDpFkxI/arqBkWj1e2xUQEb2Zl80er313rY2NDU6fPo3Jkydj69atOHDggLTO2NgYQ4YMwcKFC2Ud8IiIiIhKqjeaDLlcuXJYt24dVq5cievXr0tPvKhVqxYMDAzeVo1ERERE9IpeOeTNmzcP6enpmD17thTkDAwMUK9ePWmbnJwcTJ8+HRYWFpg6derbq5aIiIiIXsor3Xhx9OhRfP3117CxsfnXnjpDQ0PY2Nhg+vTpnCePiIiISAteKeRt2rQJ1tbWGDt27H9u+8knn6Bs2bJYv379axdHRERERK/nlULeyZMn0a5dOxgZGf3ntkZGRmjXrh1CQ0NfuzgiIiIiej2vFPISEhJQtWrVl96+SpUqSExMfOWiiIiIiOjNvFLIUyqVyM3Nfentc3NzoVS+9nzLRERERPSaXimB2dnZ4fLlyy+9/eXLl1G5cuVXLoqIiIiI3swrhbyWLVvi2LFjiIuL+89t4+LicOzYMXh5eb1ubURERET0ml4p5H3yySfIzc1Fr1698Pjx4yK3e/LkCT744APk5eXh448/fuMiiYiIiOjVvNJkyO7u7hg/fjx+/PFH1KlTB6NHj4a3tzfs7e0BAPHx8QgICMCqVavw6NEjTJgwAe7u7u+kcCIiIiIq2is/8eL777+HsbExvvvuO8ybNw/z5s3TWC+EgJ6eHqZNm4ZvvvnmrRVKRERERC/vlUOeQqHA/PnzMWzYMKxfvx4nT57E/fv3AQAVK1aEp6cnBg8ejGrVqr31YomIiIjo5bxyyFOrVq0ae+qIiIiISihOYkdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQwx5RERERDLEkEdEREQkQyUu5MXHx+PHH3+Ej48PHB0dYWhoiIoVK6Jnz544c+ZMoa9JSUnBhAkT4OTkBCMjIzg7O2PSpElIS0srdHuVSoXly5ejXr16MDExQfny5dG3b1/cvHnzXe4aERERUbEpcSFv+fLl+Pzzz3Hz5k34+Phg4sSJaNGiBfbs2YPmzZtj27ZtGtunp6ejVatWWLJkCWrVqoXPP/8cNWvWxOLFi9GmTRtkZWUV+BujRo3CuHHjIITAuHHj0L59e+zcuRMeHh6IiYkprl0lIiIiemf0tV3APzVu3BhBQUFo1aqVxvLjx4+jbdu2+Pjjj9GtWzcYGRkBABYtWoTIyEhMmTIFCxYskLafOnUqFi5ciCVLlmDatGnS8sDAQKxZswZeXl44cuQIDA0NAQD9+vVDx44dMXbsWBw+fLgY9pSIiIjo3VEIIYS2i3hZvr6+8Pf3R3h4OBo1agQhBOzt7ZGSkoL79+/DzMxM2jY9PR0VK1aEra0tbty4IS3v168f/vjjDwQHB8PLy0vj/b29vREUFITbt2/D0dHxpWpKSUmBlZUVkpOTYWlp+XZ2lOgtGPGjtisomVaP13YFRERv5mWzR4m7XPtvDAwMAAD6+s87IGNiYpCQkABPT0+NgAcAZmZm8PT0xM2bN3H37l1peVBQkLTun3x9fQEAwcHB72oXiIiIiIpFibtcW5Q7d+7g6NGjqFSpEurVqwcA0vg5FxeXQl/j4uKCw4cPIyYmBg4ODkhPT0diYiJcXV2hp6dX6PYvvm9hsrOzkZ2dLf07JSUFAJCbm4vc3FwAgFKphJ6eHvLz86FSqaRt1cvz8vLwYgeqnp4elEplkcvV76umDrl5eXkvtdzAwAAqlQr5+fnSMoVCAX19/SKXF1U796n07BNQ8BgnlLjPSY7HHveJ+8R9evf79DJKRcjLzc3FgAEDkJ2djYULF0oBLTk5GQBgZWVV6OvUXZjq7V51+8J8++23mD17doHl/v7+MDU1BQA4OjqiYcOGuHjxIu7cuSNtU7NmTdSqVQthYWF49OiRtNzNzQ1OTk4ICQlBamqqtLxZs2awtbWFv7+/xgfq7e0NExMTHDhwQKOGjh07IjMzE4GBgdIyfX19+Pn54fHjxzh16pS03MLCAm3atMHdu3cRGRkpLS9fvjyaN2+OmJgYREVFScu5T6Vvn4CGoIJK2uckx2OP+8R94j692306d+4cXkaJH5OnUqkwYMAAbNmyBSNGjMCqVaukdVu2bEH//v0xffp0fPPNNwVeO336dMyfPx87d+5E9+7dkZCQgMqVK8PT0xMnTpwosP2RI0fg4+ODcePGYenSpYXWU1hPnoODAx4/fiyFRF39VcF9Kln7NHo5e/IK88snJetzkuOxx33iPnGf3u0+PX36FDY2Nv85Jq9E9+SpVCoMHToUW7ZswUcffYRff/1VY726R66onjf1pVT1dq+6fWGMjIykO3tfZGBgII0ZVNPT0yv0srD6wHjZ5f9839dZrlQqoVQWHIJZ1PKiauc+lZ59osKVtM9Jjsce94n7xH3Szj4V+HsvtZUWqFQqDBkyBBs3bkTfvn2xYcOGAv9h/msM3T/H7JmZmaFSpUq4deuWRpIuansiIiKi0qpEhjx1wNu0aRN69+6N3377rcgbJezs7BAaGor09HSNdenp6QgNDUWVKlXg4OAgLW/VqpW07p/U8+P9c2oVIiIiotKmxIU89SXaTZs24YMPPsDvv/9e5KUnhUKB4cOHIy0tDXPnztVYN3fuXKSlpWHEiBEay0eOHAkAmDFjBnJycqTlBw8eRFBQEHx8fODk5PSW94qIiIioeJW4Gy9mzZqF2bNnw9zcHJ999lmh1527desGNzc3AM977Dw9PXHhwgX4+PjA3d0dERER8Pf3h4eHB4KDg2FiYqLx+hEjRmDNmjWoW7cu/Pz8kJiYiG3btsHc3BynTp1CjRo1XrpeToZMJRUnQy4cJ0MmotLuZbNHibvxIi4uDgCQlpaGefPmFbqNs7OzFPLMzMwQHByMWbNm4a+//kJgYCAqVaqEiRMnYubMmQUCHgCsXLkS9erVw6pVq7B06VKYm5uje/fumDdvHqpVq/audo2IiIio2JS4nrzShj15VFKxJ69w7MkjotJOlo81IyIiIqKXw5BHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHREREJEMMeUREREQyxJBHRERaERISgs6dO8POzg4KhQK7d+/WWP/gwQMMHjwYdnZ2MDU1Rfv27RETE6OdYolKIYY8KtR/Nb4KhaLQ/3333XfaKZiISp309HQ0aNAAP//8c4F1Qgh069YNN2/exJ49e3D+/Hk4OTmhXbt2SE9P10K1RKUPQx4V6t8aXwBITEzU+N+6deugUCjQs2fPYq6UiEqrDh064JtvvkH37t0LrIuJicHp06exYsUKeHh4oGbNmlixYgUyMzPxxx9/aKFaKgn+qwNi8ODBBTof2rdvr51iSwB9bRdAJVOHDh3QoUOHItdXrFhR49979uyBt7c3qlat+q5LIyIdkJ2dDQAwNjaWlimVShgZGeHEiRMYPny4tkojLVJ3QAwdOhQ9evQodJv27dtj/fr10r+NjIyKq7wShyGP3tiDBw/w999/Y+PGjdouhYhkolatWnB0dMS0adOwcuVKmJmZYcmSJbh37x4SExO1XR5pyX91QADPQ90/OyJ0FS/X0hvbuHEjLCwsivxVRUT0qgwMDLBz505ER0ejbNmyMDU1RWBgIDp06AClkqcuKlpQUBBsbW1Rs2ZNfPzxx3jy5Im2S9Ia9uTRG1u3bh369++vcVmFiOhNvffee4iMjERycjJycnJQvnx5NGnSBI0aNdJ2aVRCtW/fHj169ECVKlVw48YNfPnll+jQoQNOnToFPT09bZdX7Bjy6I0cP34cUVFR2LZtm7ZLISKZsrKyAvD8ZoyzZ89i7ty5Wq6ISqo+ffpI/79evXqoX78+qlWrhqCgILRt21aLlWkHQx69kbVr1+K9995DgwYNtF0KEZUyaWlpiI2Nlf5969YtREZGomzZsnB0dMSOHTtQvnx5ODo64tKlS/jss8/QrVs3+Pj4aLFqKk2qVq2KcuXKITY2liGPSO2/Gl8ASElJwY4dO/D9999rq0wiKsXOnj0Lb29v6d8TJkwAAAwaNAgbNmxAYmIiJkyYgAcPHqBSpUoYOHAgZsyYoa1yqRS6d+8enjx5gkqVKmm7FK1gyKNC/VfjCwBbt26FEAJ9+/bVRolEVMq1bt0aQogi148bNw7jxo0rxoqopPu3DoiyZcti9uzZ6NmzJypWrIgbN25g8uTJqF69Onx9fbVYtfYoxL99w+g/paSkwMrKCsnJybC0tNR2OUSSET9qu4KSafV4bVdARK8rKChIowNCbdCgQVixYgW6deuG8+fPIykpCXZ2dvDx8cHcuXNRoUIFLVT77rxs9mBPHhEREZUK/9X7e/jw4WKspuRjyCMiIgDs/S0Ke3+ptGLIKyXY+BaOjS8REVHhGPKIiIjotbADonAlpQNCZ58NEx4ejo4dO6JMmTIwMzND06ZNsX37dm2XRURERPRW6GRPXmBgIHx9fWFsbIw+ffrAwsICf/31F3r37o27d+9i4sSJ2i6RiIiI6I3oXE9eXl4eRowYAaVSiZCQEKxatQrff/89Lly4gBo1auDLL7/E7du3tV0mERER0RvRuZB37Ngx3LhxA/369YObm5u03MrKCl9++SVycnKwceNG7RVIRERE9BboXMgLCgoCgEKffaieETs4OLg4SyIiIiJ663Qu5MXExAAAXFxcCqyrWLEizM3NpW2IiIiISiudu/EiOTkZwPPLs4WxtLSUtilMdnY2srOzC7zf06dPkZubCwBQKpXQ09NDfn4+VCqVtK16eV5ensaM3Xp6elAqlUUuz83NRU6WwWvsrfw9eZIr/X+FQgF9fX2oVCrk5+cXWF7U5/E2P6cX6es//3rl5eW91HIDA4Mia3+dfcrJ0vu3/3Q668VjBtD+51SSjr2cLJ373f9Snj0rWZ9TSTr2crL+7b+c7kpKeref09OnTwHgX5/+Aejgs2t9fHxw5MgRxMTEoHr16gXWV65cGWlpaUUGvVmzZmH27NnvukwiIiKif3X37l3Y29sXuV7nevLUPXhFhbiUlBRYW1sX+fpp06ZhwoQJ0r9VKhWePn0KGxsbKBSKt1tsCZSSkgIHBwfcvXv3Xx+KTKTGY4ZeFY8ZelW6dswIIZCamgo7O7t/3U7nQp56LF5MTAzee+89jXX3799HWloaGjduXOTrjYyMYGRkpLGsTJkyb73Oks7S0lInvkj09vCYoVfFY4ZelS4dM0UNO3uRzg3AaNWqFQDA39+/wLrDhw9rbENERERUWulcyGvbti2qVq2KLVu2IDIyUlqenJyM+fPnw9DQEAMHDtRegURERERvgc5drtXX18eaNWvg6+sLLy8vjcea3b59G4sXL4azs7O2yyyxjIyMMHPmzAKXrImKwmOGXhWPGXpVPGYKp3N316qFhYVh5syZOHnyJHJzc1GvXj1MmDABvXv31nZpRERERG9MZ0MeERERkZzp3Jg8IiIiIl3AkEdEREQkQwx5RERERDLEkEdEREQkQwx5JGsv3lfEe4yoKOpjg8cIEb0r2mhneHctyY4QQieeI0xvhscJvarMzEzk5uYiOzsb169fR4UKFZCeng6FQoHq1avD3Nxc2yVSCaPtdoYhj2QpLy8PUVFRSExMhL6+PuLi4uDo6IiqVatCoVDA2tpaZ55vSP8uOjoaubm5yMzMRGJiImrXrg1ra2uoVCpYWVnB0NBQ2yVSCdGzZ0+Eh4fj2bNnyM7ORl5eHiwtLWFsbAxra2t4eHigV69e6Ny5M39AkAZttTMMeSQ7YWFhaN26NQwNDZGSkqKxzsjICHXr1oW7uzu8vb3RvHlzODk5QQgBIQSUSo5g0BX79+/H0KFDoaenhwcPHsDAwAC5ubkAgEqVKsHd3R3u7u7w8vKCm5sbbGxsoFKpoFAoeALXQQkJCejTpw+8vLxQuXJlJCYmwtjYGM+ePcP58+cRHByM/Px8AEDdunXx8ccfo2fPnqhQoYLWe3NIe7TdzjDkkez89ddfiIyMRI0aNaBUKmFra4vbt28jOjoaDx48wMWLFxEdHQ0hBLy8vPD555/D19dX22VTMfvhhx9w69YtVK5cGRYWFrC0tMT169cRHx+PxMREXLt2DfHx8bC1tUWXLl3w+eefo1atWtoum0qQF8Nbeno6Dhw4gHXr1uHw4cMAgGHDhmH+/PkoX768NsskLdJ2O8OQRzolNTUV8fHxuHr1Kvbv34/9+/fj8ePH6Nu3L77++mvUrFkTKpWKPXo6LiEhAXfu3MH58+exe/duBAYGwtDQEJMmTcInn3yCcuXK8TjRQerP/J89Lfn5+dDT05O2u379Or755hts374d1apVw88//4w2bdrwmCENxdHOMOSRbKm/HEIIqFQqjUYYAJ48eYKQkBAsXboUISEh6NatG1atWoVy5cppqWIqbi9eplepVACg0aCqVCrExcXhwIED+OGHHxAXF4cpU6bg22+/1VbJVMK82JuXn58PhUIBpVKJpKQkbN68GTNnzkSFChWwbds2uLq6arla0gZttjMMeaQT1A1xUV+w5cuX46uvvkK1atWwa9cuVKlSRVulUglQ2JiYhIQEzJkzB6tWrUL37t2xfv163ryjowobY6cej/fPH5NBQUEYPXo0lEolduzYgbp16xZbnVSyFUc7w35j0gnqL5FSqZQCnrqHT6lU4rPPPsOyZcsQFxeHcePGISkpSYvVkrYplUooFArpF7gQAnZ2dli6dCmmT5+OvXv3YuHChdKPBtIdLwa8Gzdu4Ny5c9KVghcDnvrYaN26NVauXInU1FQEBARopWYqmYqjndF/i/USlUg3b97EkydPoFKpYGJiAgcHB1hbWxf4BTVkyBCUK1cOixYtwp07d1CmTBntFU3F7u7duxBCIC0tDaamprC3t4e+/v+aSCEEjIyMMHfuXJiammLfvn2Ij4+Hg4ODFqum4qIOd3l5eThx4gQmTpyIBw8eICkpCRYWFmjWrBl+//13mJmZAdC8WtCqVSsEBwcjMzNTW+VTCVHc7Qwv15LsqHvn7t+/j6VLl2L16tV4+vQpzM3N4eDggJ49e2LOnDnS9upfUOrLuadPn4abm5vUWJM8qY+Thw8f4scff8SmTZuQkJAAe3t7ODk5YfDgwRg2bJi0/YvjatLS0hAUFAQfHx/Oo6cj1DdXrF+/Hl9++SWUSiV69uyJe/fuYffu3bC2tsaTJ08ghEB8fDxMTExgY2MDQHN8MKdS0S3abmd4uZZkR/0L+uOPP8bChQvh5eWFZcuWoXfv3rh27RoMDAwAANnZ2Xj48KE0UFqhUEBPTw+enp4MeDpAPQh62LBhWLBgAerWrYtZs2ahbt26CA0NlX5dZ2dnS081UB9b5ubm6NSpEwOeDlFfip07dy4qV66MAwcOYNmyZZg5cyZMTU3x+eefA3g+NGTPnj2YMmUK0tPTAfyvTWLA0z1ab2cEkYzk5eUJIYQIDAwUSqVSjB8/Xlo3d+5coVAoxJ07d4QQQmRkZIjatWuLb7/9VuTn52ulXtIO9XGyZcsWYWBgIKZOnSqEECI9PV189tlnwsDAQGRkZAghhLh//76oU6eO+PPPP6XXq1Sq4i+atEbdPgQFBQmFQiF+/vlnIYQQWVlZYs6cOUKhUIi7d+9K23/44YfC1dVVamtIN5WEdoY9eSRLmzZtgqOjI3r37g0AuHXrFvz9/eHm5iaNbTA0NERmZiZu3rzJAfQ6Rt2jsmHDBri6uqJ///4Anh8nAQEBeP/992FiYgLg+S/xuLg4XLlypcDrSTeoP+9Tp07BzMwM1apVAwDEx8fj8OHDcHd3h729PQAgJycHwPPjpmzZstopmEqEktDOMOSRrOjp6UEIgXv37qFMmTKoV68eAODixYs4ffo0Ro4cKW17/vx56OnpwcjICPr6+hAcnqoz1ONdEhMTYWtrK81fdu7cOVy5cgUff/yxtO358+dRpkwZ6TI/fxDoHvXJ1tnZGenp6dJcmpGRkQgLC9NoV2JjY3Ht2jVUq1YNZmZmPF50WEloZxjySJYcHBzw8OFDaRzN8ePHkZ+fjwEDBkjbXL9+Hffu3YO3tzcAnrx1jUKhQPny5fHkyRMAQEpKCgIDA2FhYYFOnTpJ20VHR+Px48fScUK6q3bt2jAwMMCiRYuQnJyM8PBwqFQq9OvXT9omMDAQV65cQZ8+fQCAPx51nLbbGYY8kh2FQoH69esjMTERS5cuxYULF3Do0CF06NBBuqEiIyMDf/75J4yNjdG9e3cABScxJXkzMzODi4sLzp07h7179+LmzZs4cuSIdHIGgPv372P37t2wtbVF06ZNAWhOjUG6pWbNmhg8eDB27NiBAQMGYMeOHejYsSPMzc2RlZWFixcvYuHChahVqxY+/PBDAGxXdJ3W25k3HtVHVALl5eWJ1q1bC4VCIZo1ayb09PTETz/9JIQQ4smTJ2LixInCxMRETJ48WdqedE98fLxwdnYWlpaWwtfXVygUCnHw4EEhhBApKSli7NixwtjYWCxYsEAIIURubq42y6USIDU1VQwaNEgoFAqhUChEpUqVxNSpU0WHDh2EUqkUTk5OYufOnUIItiv0nDbbGc6TR7KTl5cHfX19XL58GVOmTMHRo0eRm5uL9957D8bGxnjw4AFiY2MxdOhQzJo1C/b29nxwuA5SHyd79+7F5MmTER0dDQDw8/ODUqnEnTt3cOHCBQwfPhzffvstbGxsOM8ZAQAePnyI7du3Y8uWLbh06RKA58M9OnfujClTpqBhw4YACn/8GekWbbczDHkkaxkZGdizZw+OHj2KEydO4N69e3B3d0f79u0xffp0bZdHJcS9e/ewY8cOHDlyBKdOnUJycjIaNmyITp06Yfbs2douj7Ts6NGjqFGjBipWrFhgzrIrV64gOTkZNWrUgLm5OYyNjbVUJZV08fHx2L59O/z9/XHq1CmkpKS883aGIY9KPfWvnuTkZGzZsgU1a9ZEmzZtNJ5ikZKSAgsLCzx79gxGRkawsLDQeC3Jn/qJBVFRUTh37hzat2+vMcVFeno6nj17BlNTUzx+/Bh2dnYwNzcHAPb06rCoqCjUrl0btWrVQseOHeHn54c6deqgTJkyMDIyKrA92xTdpm4rHj16hKNHj6J58+ZwcnKSjovMzEwkJyfDxMREevKF+nz0LtoZhjwq9dQn759++gmfffYZevXqhW3btmlsk56ejry8PFhZWWmpStI2dSPbpUsX7N+/Hw0bNkTbtm3RoUMHNG/evMAJW32ZhXRbVFQUVqxYgfPnzyM8PBy5ublo1KgRunbtivfffx9VqlSBlZUVb7AgAP87H33zzTf4+uuv8dlnn2HJkiUa4T87OxsGBgbS0zDe5Q9IhjySjVq1asHJyQlr166VJia9evUqfvnlF1y+fBl2dnb4+OOP0bJlSy1XStoUHByMX375BXv37kV2djb09fXRvHlz+Pr6on379tJ4KiK1vLw8xMXFISIiAsePH0dgYCCuXbsGCwsLtG/fHh06dEDjxo1RtWrVQnv3SLfk5eWhatWqaNSoEdauXQtra2sAwLVr17Bu3Trcvn0bDg4OGDVqFGrUqPFui3lrt3AQaYH6cUPHjh0TCoVCuoNWCCFycnKEm5ubUCgUwsnJSRgbG4uaNWuK27dva6tcKkHy8vLE5s2bhbe3t3SnZPny5UXXrl3FypUrRWxsrLZLpBLgn4+WSk9PF5GRkeLHH38Urq6u0rGjUCjE0aNHtVQllQTqu6l/++03YWhoKDZu3Cite/bsmahXr55QKBSibNmyQk9PT3Tp0kWkpqa+05o4yIRkYf/+/ahcuTI8PDwAAKmpqZg3bx4uXbqEmTNnIiQkBFOnTkV0dDRiYmK0XC1pU35+vnRJpV+/fjh27Bji4+MxY8YMAMDff/+N0aNHo2PHjlqulEoC9SU29WTppqamaNCgAT777DNs3boVzZo1Q+fOndG+fXs0atRIm6WSlqkvu+7btw8uLi5o3LgxgOfno1mzZiEqKgpff/01jh8/jj59+mDfvn1ITEx8tzW903cnesfUX6qMjAxkZ2dLA+X37duHJUuWYNSoURg/fjwcHR3RtGlTWFtb48KFC9osmbRMoVBI46fy8/OhUqlQqVIlzJ49GxMnToSdnR3ef/99KeTl5eVps1wqIdRtjRACKpUK+fn5qFu3Ljw9PfHkyRNs2bIFVlZWfMKFDlMoFMjOzkZ6ejry8/Nha2sLAPjzzz+xcuVKTJw4EV988QXq1KmDVq1awcrKCufPn3+nNTHkkSy89957ePz4MVatWoUVK1ZgypQpMDU1xbx586SbLR48eIDMzExpDAQfY6Yb1CfdFx8cr16uVCo1Bj1PmTIF5cqVw6JFi7BkyRIAfGKBrlGH+sOHD2Pu3Lm4deuWxnqFQgGlUikdF+XLl0dqaipSU1Ol9aS7jIyMULt2bURFRWHz5s1Ys2YNZsyYgUqVKmHWrFlSR0RaWhqys7NRvXp1AO/u8XcMeVSqqb8Y3bp1Q48ePbB69Wp88sknMDQ0xLJly1CmTBkAz58XePjwYRgbG8PPzw8AH0+laz7//HMsWrQIERERyM3NhUKhkE7Iubm5AICEhASoVCqsXLlSeh1P2rpFfUf12rVrMXPmTLi6uqJjx474/fff8fjxY41t8/LycOHCBdy/fx8ODg7aKJdKCCGEdD4aMGAA3NzcMHHiRIwcORLm5ub4/vvvpTkWExMTcezYMdja2sLd3R3Au2tnOD8AlSo3b97EgwcPUK9ePZibm0tfjHLlyuHbb79Fz549YWhoiHr16qFGjRrSbev79u1DUFAQ+vXrB4VCIY3JIvlTKBS4c+cOVqxYAQBwcnKCl5cXvL294enpCRcXFxgYGAAALly4gISEBGn+PB4numvevHlo1aoVDh8+jJMnT+LQoUMoW7Ys/Pz80KVLF+jp6cHf3x9btmzB0KFDAfB40TU3btxAfn4+qlevrtFpUL9+ffzyyy84e/YslEol2rVrp3EX7d69e3H69Gl8+umnAN7tdE2cQoVKlfbt2yMiIgI9e/ZEixYt4O7ujmrVqhWYhf5FT548QaNGjWBhYYFt27ahdu3anNxWB0VHR+PAgQP4/fffERERAQCoV68ePD09Ub9+fZQvXx7Tp09HdHQ0oqOjUb16dR4nOkYd0o4fP468vDx4e3sjOTkZERERCAoKQmBgICIiIpCRkSG9xsvLCytWrGC7ooOaNm2K3NxcdOvWDU2bNoWrqysqVar0r69JTExE3bp1Ua1aNezZswd2dnbvdAJthjwqNVQqFZYsWYK9e/ciLCwMKpUK9evXR9u2bdG8eXPUr18fzs7OGq/Jzc1FeHg4/vzzT7Rv3x4+Pj7aKZ60as+ePfDy8oK1tTVUKhXOnz+Pbdu2YefOnbh586a0nZWVFSZMmIAZM2bwyQU6rH79+nBwcMCKFSvg6OgoLU9ISMC5c+cQFRWF/Px8mJiYYNiwYTAzM9NitaQNmZmZGD9+PIKCghATEwMbGxs0a9YMbdq0gYeHB2rXrq3xRB31a44ePYpdu3ahb9++eP/99995nQx5VKqoVCokJSXh6tWrOHjwIPbt24fLly/D0tISHh4eaNu2LZo2bYq6deuifPny0uvUY7D4BAPdoe5VOXjwIPz8/LBo0SJ88cUXGttkZmbiwoULCAwMhL6+Ptq1a4c6derAyMiIIU/HqHvxbt68CTc3N0ydOhVffvklAD7WjgqXnZ2NBw8e4MyZM9izZw+OHDmCR48eSUNCWrdujUaNGsHFxUXjmcYpKSkwNTUtlvMRQx6VWnl5eXj48CEiIiKwb98+HDx4EPfu3UOlSpXg6ekJb29veHh4wMXFhY8z0zH5+fkAnt8ZO2HCBBw+fBhr165F06ZNecKmAl4M9FeuXEGnTp0wadIkjBkzRmO8lPp0qVAo+COANGRkZOD27dsIDg7G7t27ceLECWRnZ6NOnTrw9vZGy5Yt4ebmBmdn52Idt8mQR7KQlZWF+Ph4nDx5Ert370ZgYCCSkpJQq1YtNGrUCH369OHktjpq7dq1WLp0KcLDwwvtoVPfFcfgp5uePHmC5cuXY+DAgahatSqePn2KoUOHonnz5pg8ebK2y6NSRgiB5ORkxMTE4PDhw9izZw/Onz8PY2NjNG7cGB4eHujdu7d0V+27xpBHpZb6ZP3iSVsIgbS0NNy6dQsBAQHYv38/AgMD8fPPP+Pjjz/mr28ZU19u++677+Do6IjevXvjzp072L17N77++mucOHECrq6uAJ5ffntxChXSPeoe3S+//BK//PILwsPDkZiYiNatW8PW1hapqanYtGkTOnXqxOfR0n8q7HyUl5eHJ0+e4NKlS9i3bx/8/f0RFRWFffv2wc/Pr1jORwx5VKr9263n+fn50vg9Dw8PGBsbM+TpAKVSiY4dO2L//v1o27YtoqOjkZeXhyZNmuC7776Di4uLxva8fKvbqlatitq1a+P3339HWFgYpk2bhrS0NNy+fRuWlpbo3r07hgwZAg8PD47ppdeWnZ2NxMREREREoEePHsX2dxnyqFR69OgRNm/eLE110K1bN7Rp0wZOTk7aLo20QB3e//77b3Tp0gWbNm1C//79MXXqVOzevRvR0dEAADs7O/Tr1w/t2rVDo0aNCtz9RrpBfbxERESgUaNGWLp0qTRn2YMHD3D69GkcP34cISEhOH/+PPLz8+Hq6oo+ffqgZ8+eqFmzppb3gEqShw8f4uDBgwgKCoK1tTU6d+4sTdulbQx5VGqoL8dFRERgwoQJCAkJgZ2dnfRIIWNjY/j4+GDAgAFo3bo1bGxstF0yFRN1b1ynTp1w48YN7NixQ7o0m52djfDwcOzYsQM7duzA/fv3YWlpiaZNm6Jt27bw8vJC/fr1YWJiouW9oOKibktGjhyJv//+G4cOHUK9evUK9PTfunULJ0+eRGBgIIKDg3Hjxg0YGhqiVq1a2LNnD39U6jD1MXTy5ElMmTIFoaGhKFOmDJKSkgA8n3S9R48e6N27N9zc3P51Ltd3ShCVEvn5+UIIIbp37y4sLCzEihUrhBBCjBw5UlhYWIiGDRsKhUIhFAqFqFy5shg4cKA4duyYNkumYpSVlSX09PTEjBkzpGXZ2dka2zx79kxs375ddOvWTZiYmAiFQiHKli0rxowZU9zlUglgY2MjateuLXbs2CHu378vVCpVodvl5+eLyMhI8fPPP4suXboIZ2fnYq6USipvb29hYWEh1q9fL3JyckT79u2FtbW1cHJyks5HTZo0EbNnzxY3btwo9voY8qhUUDe+Dx48EEqlUowfP17k5OQIIYRwdnYWXbt2FVeuXBG//fabKFu2rKhQoYJQKBSif//+Gq8n+VGH/02bNgmFQiE++eSTAuEuNzdX5Obmaiy7c+eOWLFihahRo4b48ssvhRBC5OXlFU/RpDXqtuDQoUNCoVAIAwMDYWtrK/z8/MSiRYtESEiIePz4cZGvT01NFdHR0UKI/x17pFvUn/vFixeFQqEQX331lbTOyspKDB48WJw5c0ZMnz5dKBQKYWNjo7FdcZ6PGPKoVFCffFetWiVsbGzEn3/+KYQQIiwsTCgUCvHjjz9K286fP19UrFhRLF26VNy6dUvj9SQ/6ga3RYsW0i9nhUIhOnXqJPbu3Vtg+5ycnALHg/oHA38MyJ/6ePHz8xP29vbiyy+/FF26dBFly5YVSqVSODs7i/79+4uVK1eKiIgIkZaWpuWKqaRRtx8zZ84U9vb24ujRo0IIIXbt2iUUCoXYtGmTtO2QIUNErVq1xPz588X9+/eFEMX744C3ClGpoL778erVq3BwcEDt2rUBANu3b4eNjQ3c3Nykbf38/PDzzz/D19dXeswZHxouX0qlEvHx8QgNDcXgwYNhaGiIffv24e+//8bff/8Nc3Nz9OnTB8OHD0fjxo1hYGAA4Pk4vvz8fOjr60vLeOe1/CmVSmRlZeHgwYOYMGGCdDftpUuXcPLkSRw5cgS7du3C9u3bUatWLXh5eUnPya5atSrvsCXpfHL9+nVUq1YNtWrVAvD8fFSlShVpPDAAdOrUCaGhoRgzZow0KX9x3s3PeQOoRBL/fz/Qs2fPkJeXB4VCgby8PJiamuLy5cvSNBixsbGwtLRE9erVpdfeu3cP2dnZCAkJ0Xgvkh+VSgUAWL16NSwtLTFmzBj8+uuvuHr1Kv744w90794d+fn5WLNmDZo2bQpnZ2fMmjULcXFxUCqVMDAwYLDTIerjZdOmTTAwMECLFi1gbm6OihUr4v3338fkyZOxYcMG/P777xg9ejRUKhV+/fVXjBgxAqNGjcLEiROlO7VJd6jPIampqdKyjIwMAMCNGzdQuXJl5Obm4tatWyhXrhxq1KghbZeWlobHjx/j5MmTxVu0WrH1GRK9AnV39ogRI8SPP/4o0tPThRBCPHnyROzZs0faZsKECUJfX1/cuXNHeu3UqVOFnp6eiImJEULwEpwuqFKliujUqZOIj48vsO7OnTti+fLlomXLlhqXcz08PMSvv/6qhWpJW9RtQd26dUWjRo1EXFycEKLw4RzJycniwoULYsOGDeKjjz6SBtKrX0O6Z8SIEWL79u3S8I5Lly6J33//XQghREZGhujatatwdHSUzl/Z2dni008/FSYmJiIpKUkrNTPkUYl17949oVAoxNy5c4sMajt37hQKhULUqFFDzJs3T3z++edCoVAIb29vIQQDnpypP9vTp08LhUIhfv75Z411eXl5BT7/CxcuiK+++ko0aNBAKBQK4e7urvFeJH8pKSmic+fOYvny5S/1uatUKvHo0SNx/PhxsWXLFmkZ6Qb1Zx0eHi4UCsW//jBcsGCBUCgUwtfXV2zdulVMnjxZKBQK0bNnTyGEdsaGM+RRiaP+FTR79mxRpkwZERAQIK3LzMwUhw4dkn5NZ2dni8mTJwtTU1Oph8bPz0+Eh4cLIXjDhS7YsmWLqFu3rggNDRVCFDwBqwPfPx04cECcP39eCCEK3HlL8nb79m3x6NGjV34dw53uUbcdI0aMEPb29uLMmTPSupSUFHH69Gmp/Xj8+LHo2bOnxhWDjh07iosXL2q8V3HiZMhUYlWpUgV169bFunXrYGtrCwCIjIyEr68vWrVqhe3bt0vbXr16FeHh4ahSpQrc3NxgaWmprbJJS9STk/4blUoFIQRvxCGiV1KmTBl069YNy5Ytk84vx48fh4+PDyZMmIB58+YBeP6ozSNHjuDq1auoU6cOmjZtCmtra63VzduEqEQR/z/j/Pnz53H79m1MmDBBCngAEBERgUePHmHMmDEAgJycHBgaGqJOnTqoU6eOtsomLVI/v/hlgtuLd7UJPseYiP6FeOFxiSkpKWjbtq1GB0J4eDiys7MxYMAAAEBubi4MDAzQoUMHdOjQQVtla+DdtVSiqO9+W7lyJezs7NC0aVNp3bNnz+Dv74/y5cujdevWACA9KkbdQ0O653WntGDAI6J/oz6n/Prrr6hTpw4aNWokrYuPj8fBgwdRq1Yt1KpVC0IIjemZSgqGPCpR1L0xW7ZsgZWVFdLT06Vb1a9du4Zjx46hX79+AJ7/alJTKpU8aRMR0VujnlPx77//hp2dnTSVFwBcvnwZoaGhGDZsGABIy9WvKyl4uZZKnEuXLsHU1BQ3btxAx44d0bJlS/To0QM3b97E48ePMXr0aACQfjURERG9C8ePH4e+vj4CAwPh4+ODDh06wM/PD8eOHUNWVhaGDh0KoOSej3jjBZU4OTk5CA0NRXh4OI4dO4awsDAkJSVBqVTCyMgIO3fuRO3atWFnZ8fZ54mI6J159OgRjh49irCwMAQGBuLy5ctQqVTQ19eHra0tAgMDUbZsWdjY2Gi71EIx5FGJ9uTJE4SHhyMoKAhnzpzBhQsXkJSUhKpVq6JTp07o3Lkz3NzcULZsWV6uJSKidyY6OhonT55EYGAgLl68iCtXrgAAmjZtih49eqBdu3aoVq0aTExMtFzp/zDkUYmkUqkKjGu4desWzpw5g6CgIISEhOD69esAgCZNmqBVq1YYN24c7OzstFEuERHJkHg+n7DG+Sg3NxcRERFS4Dtz5gwePXoEKysr+Pj4oG3btujbty8sLCy0WPlzDHlUohX2BRNC4OrVqzh+/DgCAwNx+vRp3L17F7GxsahataoWqyUiIrlSx6UXrxqlpKTg7NmzCA4ORlBQEM6ePYvMzEwkJycz5BG9isICX2ZmJs6ePYvY2FgMGTKEc5+RBvXxkJ+fD4VCUaLueqOSRX31ICkpCcDzyW8Lu6JABBR+tSkxMRHBwcFITk7GqFGjXmqC9neNIY9KJZVKBYVCwUBH/6kkNLRU8qlP2oMHD4axsTG+/vprDv+gl1KSfwyUzKqI/sOL8+KVpIknqWRQHxNhYWGwtbXFrFmz8OjRI411pNvy8/M1/q1UKvHw4UNs374dq1atgo+PD06dOqWl6qg0UQc8IUSJa18Y8qjUK6m/oKh4vHgxQv3kE/UxceTIETx79gxz5szBzz//DIDHCz1XWO+uubk5tmzZgjFjxiAmJgafffYZEhIStFAdlUYlcUgIL9cSkWzl5OQgPDwcy5Ytw44dOzBs2DAsXrwYVlZW2i6NtODhw4e4fPkyAgMDUalSJbRu3Ro1a9YsNPAdP34c/fr1w6RJkzBu3DgtVEv05hjyiKjUCg8Px/HjxyGEgImJCZydndGmTRsYGxtrbJeYmIiVK1fir7/+QmRkJMfo6RD1zTdHjx7FpEmTcOHCBSgUCqkH+Ouvv8asWbMKfW18fDzKlSsHIyOjYqyY6O1hyCOiUkN9wk5KSsLPP/+MefPmISsrC0ZGRhBCwNraGmfOnIGjoyPy8vIKPBElJiYGLi4uWqqeipv6eHn06BE8PT2RmpqKhQsXokaNGli5ciU2btyIgwcPwtfXF48ePUJAQABatmyJypUra7t0oreiZF08JiL6F+rB8suXL8fs2bPRsWNHhISE4ODBg3BycoKpqSkcHR0BALdv38apU6ekqXcAMODpGPXxsmrVKiQmJuK7777DwIED0aRJEygUCpQpUwa+vr4AAGtra0yePBn79u3TZslEbxVDHpUK6juWkpKSEB8fLy1jR7RuUffM/fzzz/D19cWvv/6KFi1aIDc3Fw8ePMCQIUOkbXfs2IEuXbrg5s2bnGpHR6mPl3379sHDwwNeXl4AgBMnTuDQoUPo3bu3tG1sbCwyMjKQmJiolVqp9HjxfKSeV7Gk3VWrxpBHpYI6zE2aNAnDhw9HeHi4xjQqJH/qRjQ0NBRPnjxBu3btUK5cOeTl5eHUqVNISUnBsGHDpO3T0tJgZmaGlJQUbZVMJcDTp0+RnZ0NAFIvb0REBO7fv4/Ro0dL212/fh16enooX748gJJ70qaSY/z48Zg6dSoSEhJK3F21aiWzKtJZ6jCXn5+v0cjq6ekhOzsbwcHBOHz4MNq1a4c//vhDW2WSFqgb0du3b8PQ0BAVKlQAANy4cQOHDh1C48aNUalSJQBAVlYW7ty5Az09PdSoUUNrNZN2CSFQtmxZODk5ITY2FgDw4MEDHD58GFWqVEGDBg2kbSMjI/H06VP4+fkBAH9AkqQ0z6nIkEclxouPJNPT0yvwy8jQ0BC//fYbFixYADMzM3z22WcICgrSQqWkTfXr10deXh6uXLkCAIiKikJYWBiGDx8ubRMTE4PIyEjUrl0bZmZm7JXRUer2pFu3brh37x5mzpyJM2fOIDQ0VOPS/tmzZ7Fz5064u7ujSpUqfDwiaSjNcyry7loqMR4+fIgTJ04gMDAQRkZG8PHxQePGjVGmTJkC28bHx2PQoEFo1KgRFixYUPzFktYkJyejXbt2uHPnDpYvX46goCCsXr0aubm50jbTpk3Dd999hx07dqB79+58tJmOe/LkCQYMGIDDhw+jcuXKuHfvHk6cOAEXFxdER0dj8uTJuHbtGlavXo2ePXvyeCH5zKkoiLQoPz9fCCHE4cOHRaNGjYRCoRAmJiZCoVAIhUIhPvjggyJfm5ycLNLT04urVCoBVCqVEEKIoKAgYWVlJRQKhShTpoxwc3MTiYmJ4saNG2LOnDnC2NhY+Pr6arlaKkkePHggRo4cKSpVqiSUSqWwtLQUjo6OQqFQCAMDA/Hbb7+J3NxcbZdJWqRuX44cOSLc3NyEQqEQSqVSOh/NnDmzyNfeu3dPZGVlFVOlL489eaR1ubm5aNiwIZ48eYLvvvsOXl5eWLVqFebPn4+1a9diyJAhSE5Oxp9//gk3Nze899572i6ZtEj9MPDAwEDMnj0bISEhAAADAwMolUpkZ2eja9eumDVrFho0aFCiHx5O71ZWVpbGxNhpaWkICAhAQEAAbt++DT09PTg7O2PAgAFo2LChFislbRMynVORIY+0Rn1JZMOGDRgxYgR++uknjBo1CgAwZcoU/PDDD0hPT4ehoSEAwNXVFX5+fpg3b16BSW5JvtSNb2FhLTU1FSdPnsSxY8cQHh4Oe3t7vP/+++jWrRssLCy0VDFpk7pdOXjwIA4fPowuXbqgRo0asLW1ldoS4Pn0F4UNBSHdpJ48fd68eViwYAFWrFiBjz76CEIIDBs2DLt378bTp0+lbatWrYovv/xS4w7tkohnStIa9Ql77969qFOnDlq0aAHg+V1ue/fuRceOHaVG+eHDh8jKysLjx48Z8HSMegD8ihUrEBwcjEWLFsHZ2RkqlQoWFhbw9fWVJrRV99zwRgvdpR4z9ddff2HdunX47bff0KhRI7Rv3x5NmjRB1apVYWtrqxHwBG+00HlynVORZ0vSGoVCgZycHOTk5CArKwu1a9cG8DzkRUVF4YcffpC2vXbtGnJzc2FrawsAvASnI9Sf8/Xr1/Htt9/CwsIC9vb2AJ7/SBBCICoqCk+ePEG9evVgaWnJY4MAPJ9Ts3379jh69CiOHj2KL774AhUqVEDr1q3h4+MDNzc3VKlSBVZWVgx4BOB/cyq++OScl51TsaS2OQx5pDVCCBgaGqJOnTo4cOAAEhISYGlpiYCAAFhZWaFDhw7StufPn8fdu3fRtWtXLVZMxU3deP76668AgB9++EH6xR0fH4958+Zh+/btUCgUaNeuHZYtWyY1vKTbatasiZo1a+L9999HXFwczp49i0OHDuHQoUPYsWMHPDw80KRJEzRp0gQ9evTQuJRLuke8MKdiREQEAJnMqailGz6IJMHBwUKhUIgPP/xQ7NmzR9jb24vRo0dL66OiokTjxo2Fi4uLFqskbapYsaLo27evePTokbRsyJAhQqFQiBYtWoi2bdsKhUIhpkyZosUqqaRQqVTSnZIvLktMTBQ7d+4UtWrVku6YrFatmpaqpJJo/fr1QqFQiK+//lrs2bNHWFpairlz50rrw8PDRb169UTjxo2FEKLAcVbSsCePtK5p06aYOHEilixZgiNHjiApKQmNGzfGgwcPEB4ejsWLF+PatWtYsmQJAHAOKx0h/n+c1Pnz55GZmYmaNWuiXLlyUKlU2Lt3LzZt2oRx48Zh2rRpMDU1xXvvvYcLFy4gMzMTJiYm2i6ftOjFnhWVSgWFQgGFQoGKFSuie/fuqFq1KgYOHIi+ffuiefPmAP438J50W+fOndG+fXt88803qFy5MlJTU9GmTRs8evRImlPx3r17WL16NYDnx1dJPh/xiCatMzQ0xPz582FlZYXNmzcjKysLw4YNg42NDZ48eQIDAwOsWbMGH3zwAQCU2LEP9HapT9T5+fkwMDCQBjmfOnUKX331FerWrYsvv/wStra2yM3NRbVq1fD06VMeHzpKfWn/4cOHMDc3h6mpKQDN9kL9A9HV1RXJycmoWLGiNMCeAY8AwMbGBhs2bMCMGTOwb98+KBQKdOjQAWXKlMHdu3ehr6+PdevWSUOHSnLAAziFCmlRUlISLC0tNRrhiIgI+Pv7IzY2Fvr6+rC1tUWfPn1Qp04dLVZKxemfg5izs7NRo0YNPH36FD169EBoaCgePHiAzZs3o0uXLgCAy5cvo1+/fnBxccFff/1VogdC07tVu3ZtNGzYEB988AEaNWqEChUqFBhvd/PmTQwcOBAuLi5Yv369liqlkkSucyrypwsVK/XJ9+bNm1i4cCFMTEywaNEiGBgYQKFQwN3dHe7u7rx0osPU4UwIAZVKBSMjI2zfvh1fffUVdu/eDYVCgVWrVqFz587Saw4dOoSoqCjMmTNHei3pnjt37sDCwgJHjx7F1q1bUaNGDXTq1Al+fn6oU6cOTE1NYWFhgQMHDuDUqVPo378/AA4B0VX/Nqeiubk5unbtiq5du5bqORXZk0fFSv2lGj9+PNatW4cffvhB48Hyt2/fxtOnT+Hk5ISyZctqsVIqbvn5+fj222/RokULvPfeexqTGQshcPv2bQDPn2xRuXJlacxeVFQUevbsCUNDQ+muONIt4oV57jIyMnDq1CkEBwcjICAA58+fl56qU7duXSQkJODkyZOwsrLC9evXYW5uznnydNzw4cOxbt06WFtbFzqn4otXBUrbscKQR8UuJycHFSpUQJcuXfDTTz9JJ/NNmzbh+++/x6VLl2BnZ4fJkydj7Nix0qBpkrc///wTH374ISpWrIgmTZrA29sbXl5ecHV1LdCrq/6xkJmZiSlTpmDz5s1Yvnw5+vXrx14ZHZWdnY1evXph+PDh6Nq1K/Ly8hAXF4eIiAicOHECoaGhuHXrFpKSkuDt7Y1PP/0U3bp146V9QlRUFC5duiTNqXjr1q0i51QsbRjyqNioT76bN2/GqFGjsG7dOnz44YcAno+RqV+/PqysrNCoUSMEBgYiJycH4eHhqFevnpYrp+KQlJSEbdu2Yffu3Th69Cjy8/NRpUoVtGrVCq1bt0bz5s1RvXp1jdc8ffoUYWFhMDIyQtOmTWFiYlLqfmnTm3nx8YijR4/GihUrMGTIEI1tMjIycO/ePWkYyD+feEEEAMnJyRpzKgYEBCA1NbVUz6nIkEfFRn3yHTVqFPbv34/9+/ejYcOGuHPnDiZOnIgTJ05gzZo18PPzw7Zt2/DRRx9h/fr1+Oijj7RdOhWzmJgY7Nq1C1u3bkVkZCQUCgXq168Pb29veHt7o3HjxqhQoYK0PXtjdJe6XZk4cSKCg4Pxxx9/wMXFRWPqFKKiqCPQi8eJEAIPHjzAqVOn8OWXXyIqKgoAULVqVcTGxmqlztfFVpGKjfoh87a2tkhMTJTG3K1cuRJ//fUXZs2aBR8fHwBAmTJlYGxsjMePHwPgQHpd4+LigsmTJyM8PBynT5/GZ599hmfPnuHHH39E37590adPH8ydOxfBwcFITk5mwNMh6rbgyZMnSE1NlU7Orq6uiIuLg5OTEwAw4NFLefE4UalU0o8G9ZyKW7duRb169TB//nysW7cOwPM5FUsL3r5IxUYIAaVSCU9PTwDPJ0GuX78+jhw5grZt22LUqFHSttHR0cjLy5O25SU43aSnp4fGjRujcePGmDNnDkJCQrB582YcOHAAwcHBsLW1hZubG3bs2KFxowbJl7otmDp1KkxMTLBs2TKEhobi2bNnqFixIg4cOIBu3bqxvaAi6dKcivz5S8VG3eg2adIEU6dORW5uLs6fP4+hQ4fi+++/l7a7ffs29uzZAzs7O3h4eADgBMi6TKVSAQDMzc3RsWNHbN68GdevX8f69etRpUoVJCUlwcLCgr29OkKpVCI9PR1r166VxkaNHTsWX3zxBa5evYpPP/0UmzZtwoMHD3hMUKHU55NWrVph+PDh2LVrF+7evYucnBxpG/XNW7dv34a9vT2Cg4O1UuubKj1xlEqdv//+G2lpaejYsaNGL4u1tTXmz5+PcePGISEhAQ0aNNC4G3L9+vWIiIjA119/DYCPG9JVDx8+hJWVFYyMjArcMVuhQgUMGjQIgwYNQkpKCoCS/3ghenPqHpiNGzfCyMgIrVu3BgBMnjwZ58+fx7lz53D27FmMHDkSnp6e6NGjB1q3bg1nZ2eYmZlpt3gqUXRlTkXeeEHvTOPGjXH27Fk4ODiga9eu6N27Nxo3bgwDA4MiXxMYGIi2bduia9euWLNmDWxsbHipVkeoP+eHDx9i+fLl2LVrF+Li4tCoUSN07NgRrVq1Qo0aNWBpaVmqGll6e9Qhr0GDBihbtiw2bNggjcHLyspCdHQ0IiIicPz4cQQFBeHWrVuwsbFBu3bt0LVrVzRu3BhVq1bV8l6QNunanIoMefROqB8if+rUKQQEBCAyMhIqlQqurq7o3bs3evTogdq1axf62iNHjsDe3r7I9SRfubm56NWrF/bt24cmTZqgevXq2Lx5MwDA1NQU3t7e6Nq1K5o1awZHR0eOw9NBt2/fRpUqVfDVV19JTzj5p+TkZFy/fh1nzpzBsWPHEBYWhvv376Nr167YtWtXMVdMJY0uzanIkEfvXFxcHE6dOoVjx44hODgYsbGxUCgU8PLyQv/+/eHn54dKlSppu0zSIvUlkE2bNmH48OEYO3YsfvjhB1y9ehWurq7o1asX0tPTcfDgQQBA5cqVUbduXaxbtw52dnZarp6Kg/oEO2/ePMyYMQOenp744IMP0KRJEzRs2LDIucsePHiAK1eu4NChQ2jVqhX8/Pw4BERH6eKcigx59E4IIaS7adVUKhWuXLmC48ePIzAwECdOnMCDBw9gbm6ODh06oH///mjVqlWpnFWc3oz6BN6yZUvk5+dj9erVqFu3LqZNm4aVK1di3759cHd3x8yZM7Fq1SrUr18fCQkJpW7OKnpzzs7OePz4MfLz85GdnQ1nZ2d4enqidevWaNGiBWrWrFno60pjLwy9Xbo4pyJDHr1zhQW+9PR0REZGIigoCIGBgThz5gzS09NhbGyMH3/8ESNHjtRixVSc1A3v48eP0bBhQ/Tq1Qvfffcd9PX14ezsjHr16mHt2rWwtbVFRkYG3N3d0a5dO0ycOBFVqlThyVsHqI+R06dPo3nz5liwYAGaNWuGv//+G3///TeuXLkCPT091KlTBy1btoS3tzeaNm2KypUra7t00iL1cfPkyRMYGhpKwzvWr1+PSZMmISEhAYaGhqVunN2rYH81FQulUqnxRTIzM4Onpyc8PT0xcuRIhIWFISQkBFu3bpUu3fLkrRvUx0RMTAwMDQ3h4OAAfX19XLx4EQ8ePMDAgQNha2sLlUoFU1NTuLi4IDs7Gw4ODgA4vY4uUN85/euvv8LBwQHvv/8+GjZsCA8PD3zyySc4d+4c9u/fD39/f/zyyy/YsGED3N3d0apVK3h7e6Nhw4awtrbW9m5QMeOcigx59I6pv2S5ubl4+vQpnj59CmdnZ5iYmEjblC9fHn5+fvDz88OYMWOku+V48pa3vLw8XLx4Ee7u7gCAsmXL4tGjR9L4l5iYGOjp6Un/ViqVePDgAfLy8nD58mWOqdIh6rupd+7cid69e0vPMDY2NoaDgwMcHBzg4+ODu3fvIjQ0FHv37kVQUBBOnDiB5cuXw9fXF9u2bdPmLpAWvDin4oQJEwA8n1PxwoULAIBPP/0UKSkp8PX1ha2trSzDHltJeqfy8/Nx/PhxjB8/Hs+ePYNSqYSLiws8PT3h5+cnTXaspg54JF/qHtr169fjp59+woYNG9CwYUPUrFkTCQkJ0uTHjRo1QkZGBiIiIqTX7t27F6Ghofj8888BlL45q+j1qefdbNGiRaF3VZuamqJmzZqoUaMGevbsidjYWAQHB2Pt2rUoV64cAB4vuoRzKj7HMXn0Tqgb023btmH8+PEQQqBPnz4IDQ1FREQEhBCwtLSEp6cnfHx80KFDB9SoUUPbZVMxUDe+9erVg5WVFf744w84ODgUuDyflZWFESNGYPPmzahWrRrq16+PPXv2oGLFijh9+jTs7e1lPZaGNJ0+fRphYWHo1q0bHB0dX+qzz8/Px+PHj2FmZgZzc3MOAdEhnFPxOYY8eqcaNGiAjIwMbNiwAZ6enhgzZgz27duHXr16wd/fH9euXYOlpSUMDQ3Rv39/LFmyRNslUzGIi4tD1apVMX/+fEydOlVavn//fpw/fx6ff/45zM3NcePGDcybNw/Hjh1DXl4eXFxcMHfuXLRo0YIBTwfl5OQUOVUK0T9xTkVerqV3QP0L6uLFi7hy5Qq++eYbeHp6AgA2bdokhbn4+Hi0b98eCQkJePz4sTTGipdU5Et9bKxevRpWVlZo1qyZtC49PR07duzAb7/9hhkzZgAAqlWrhnXr1iEmJgZGRkaoUKECjIyMAIABTwcx4NHLULczv//+O4DnT1JatmxZoXMqWllZoUmTJmjSpAl69+6tMaciUPofq1l6K6cSS905vH//fjg6OkoD6/fs2YOMjAzpxF65cmUsWbIEM2fOxNGjR2FsbAyAN1zImfqz3bhxI9q0aYO6detK66KjoxEaGoqBAwcCeP70Cz09PWkcJxHRy1C3M6tXr4apqSnOnj2L0NDQ/5xTsUKFCqhQoQJat24tvUdpDngAwLMpvXXqXrhnz54hJydH+iLt27cPlStXRp06daRtzc3NcenSJezbt0/qmWEPjTypw39YWBgSEhLQsmVLaUA8AJw5cwY3b97EiBEjAEAKeEREL0vdzpw+fRp37tzB119/DX9/f0yePBlmZmbYvHkzRo8ejQ8//BBjx47FX3/9hfj4eI33kFO7U7ojKpUI6q7xuLg4WFtbw8rKSnpOba1ateDk5IS8vDxkZWUhJycH7733nvTahIQEGBgYSF9MDoyWv/Xr1wMAzp07hyNHjkihPyAgAJUqVYKnpyfH2xHRa+Gcipp44wW9NXZ2dhgwYABmzZoFExMTPH78GPfu3YOrqyv09fUxf/58fPXVV1i1ahW6desGc3NzfPDBBzh69CgePHgAS0tLbe8CFYNp06bh8OHDuHbtGhQKBRo3bozq1avjr7/+wkcffYTly5dru0QiKuUsLS3Ru3dv/PDDDwWm3MnIyCgwp2JKSgosLS1lN6cie/Lojah7XMLDw3H//n1UqlRJmui4XLlysLKyksY0NG/eHGZmZhgzZgzWr1+PBw8eIC4uDp9++iksLS15w4WOmD59Onr37o2zZ88iODgYoaGhOHXqFHJzc3H16lWsW7cO9erVQ/Xq1WX1i5qIigfnVPwf9uTRG1F/EYYMGYJjx45h165d0o0WT58+xdq1a2FsbIxPP/0UAHD27FksWrQIwcHBMDQ0xLhx49C/f3/Y2dnxUq0Oevr0Ka5evYrTp0/j9OnTCA4OxpMnT+Do6Ahvb2/4+PjA3d0ddnZ2hTbWRET/xDkV/4chj94KCwsLfPjhh/jxxx+lk3FwcDC6dOmCTz/9FN988410K3pOTg6USiUePXokPaeWdEthjW58fDwuXbqEkydPIigoCOfPn0dOTg4cHBwwZMgQTJ8+XUvVUmnBsZykxjkVn+PlWnpt6gZ19+7dSE9PR+vWrTV6W8LCwpCamorBgwcD+N8dS+ovXqVKldgo6yj1Z67+jalQKFC5cmVUrlwZ77//PgYMGIDz58/j1KlT2Lp1q/Q6uVxCoXeDbQmpMeA9x548em3q7uwuXbrg5s2bCAgIQIUKFQA8f6LB0KFD8ejRI1y6dIlhjv7Ti4FPLSMjA9evX0fNmjVhZmbG44iKtH//ftStWxdVqlSRzaU2ojfFbwG9NqVSifT0dOzfvx/37t3DwoULcfr0aQDPp0Y5deoUhg0bBuD5xLZE/0ahUBTo4TM1NYW7u7v0wHAGPHqRSqUCAOzatQtdunTBjBkz8OjRIwY8ov/Hnjx6I7du3ULPnj0RGRkpLfPw8ICFhQWCgoKQlZUl3V0rhJDmMCIieh2F9dKtXbsWS5cuxeXLl+Hm5obff/9dY9J1Il3FkEdvxZMnT7B582asXbsWly5dkpZ3794dHTt2ROfOnWFrayst59gqInoVGRkZMDU1BVDwBovs7GzExsZi+/btWLZsGapWrYrAwEDOvUk6jyGP3kheXh6USqXGL+uoqCisXbsWv//+O+7fvw8AsLW1RYcOHdCrVy+0bdtWek4tEdG/SU9Px7JlyxAQEIC4uDg0b94cTZs2Rd++fQudR/Hs2bP4/vvv8ccff2ihWqKShSGP3gohhNQ79+Iv7JCQEKxZswY7duxAdnY2AMDKygqHDh1CkyZNtFUuEZVg6rbkypUrGD9+PAICAlC9enVYWVnh3LlzAJ5fPbC2tuZVAaJ/wdGp9FYoFAro6+tDoVBApVIhLy8PAODl5YVNmzYhLS0Nf/zxB7y9vZGcnIzatWtruWIqqfi7k9S+/fZbREREYNmyZYiOjsYvv/yCGjVqoHXr1rC2toYQAvv378fo0aORnJys7XKpFNGVdoYhj946pVIp3WyRn58v/dLu3bs3AgICkJycDEtLS+nOOKIX8Q5a0tPTQ2ZmJv766y/06dNHuks/ISEBMTExGDJkCIDnx8rNmzexc+dO3Lt3T5slUymjK+0MQx69U3p6etKlFHXgs7CwgBCC0xxQAfv378etW7cAgD8CdJT6cw8ICIBSqYSbmxtMTEyQlpYGf39/6Ovro3///tL29+7dk27IAHSnh4Zeny61MzzLUrF5MfDpyq8o+m+c64xe9OLnnpWVJT1FJzo6GkeOHEGXLl2kbZKSknDnzh0YGhqibt26ANi2UOF0tZ2R994RUYn04q9ndSP79OlTuLq6YsuWLfD19cXVq1e1VR6VAG5ubhBC4NChQ8jMzMSFCxcQGxuLMWPGSNtERkbi5MmT8Pb2BvD8agGRGtsZ3l1LRMWIc53Rq/j444+xcuVKfPHFF7h+/TpOnz6Nhw8fAnh+/PTq1QuHDx/G8ePH0bBhQz7OjACwnXkRQx4RvXOc64xehfrEHB8fj2HDhuHIkSMQQqBOnTpYsGABLl26hOPHj+PQoUMYP348fvjhB22XTCUA25mCGPKI6J3gXGf0Nty6dQvr1q3D0aNHcfHiRWRlZUEIASsrK0ybNg1jx46Fqakpe/F0FNuZf8eQR++celwEG2Ddom5QP/roIxw8eBCzZ8/G2LFjER4ejgEDBsDOzg7Hjh2DEAJ79+7FwYMHsXDhQlhZWWm7dNIC9fFy/fp1WFhYoHLlyhrrLly4gOjoaKhUKujr68PT01NjG9JNbGf+nb62CyD5ycvLg76+Pi5fvozy5cujQoUK2i6JtODFuc6GDh1aYK6z6dOnA9Cc6+zTTz/VmcaXNKl7WPz8/FCjRg20b98eHh4eqFWrFsqWLQt3d3e4u7tL27N/ggC2M/+FIY/eOnVj3bx5c6SlpeGLL77AjBkzpPnxOMWB/Kkvnb3JXGc8TnTP/fv3Ubt2bZw/fx6HDx+Gk5MTvLy80KpVK7i7u6NGjRrSccLjg9jO/DeGPHothX05Xnx2bWZmJlq1aoUDBw5g8eLFKFu2LKZOnSr7LxQ9x7nO6HVUrFgR27Ztw927dxEUFITdu3fjr7/+wpYtW+Dq6gpvb280bdoU7u7uqFq1KoeA6Di2M/+N3xB6LeovR25uLu7fvw8AGgNaTUxMsG/fPsTHx2PEiBGYOXMm5syZo5VaSXs41xm9KjMzM9SqVQujRo3C1q1bERgYiGnTpiEzMxM//vgjpk6dil69emHHjh3aLpVKCLYzRWNPHr00de9dbm4ujh8/jp9//hlxcXEwMjKCvb092rRpg9GjR2tsX7FiRSxcuBDlypWTfj2R7rC3t8eoUaOwcuVK2Nra4vr16yhXrpzU0AohsHz5ciQnJ0vHji78uqbCqVQqKBQK6X9lypSBh4cHXF1d0bJlS/Tt2xeGhoa4ffu2NK8Z76oltjP/QhC9JJVKJYQQYvHixcLa2lpYWFiIdu3aCRcXF6FQKMTIkSOFEELk5OSIJ0+eiLy8vEJfT7pB/Xnfu3dP+Pr6CqVSKRQKhahbt67Yt2+fmD9/vujQoYNQKBTi888/13K1VNLk5+cXaDM2bdokmjdvLm7cuKGlqqikYjtTOE6hQi9F/H8v3r1791CnTh00aNAAmzdvhqOjI3777TcMGjQIAQEB8Pb2hkqlwrx58+Du7g4/Pz/+0ibOdUaFUrcrSUlJ8Pf3h7u7OypXrgwTExON7XJycmBoaIjNmzdj1qxZ2LVrF1xdXbVUNZVUt2/fxpo1a9jOvICXa+mlqFQq6OnpYcOGDdDT08OkSZPg6OiIhw8f4uDBg7CxsZG6xpVKJZYuXYqePXuiXbt2MDIy0nL1VFyKmuusSpUqmDVrFrp37/6vc53pSsNLmlauXIlp06ahWbNmaNu2Lby8vFC7dm1UqFAB+vr6MDQ0BAA8ePAACQkJ0qU2oQN3R1JB6s89MTERjx49Qv369QEATk5OmD17Nnr06IGoqCjk5+dDX18fLVq00Nl2hj159Er8/Pxw+/Zt7N+/H87OzggNDUXPnj3x4YcfYtmyZQCe99p07doV7u7u2LBhg3YLJq2oVq1aoXOd/RNP0gQAZ86cwdatWxEaGorIyEiYmJigadOm8PX1hbu7OypVqoR79+5h4MCBMDc3R1RUlLZLphLgk08+wd9//41du3b967OLdbmdYU8evbTMzExYW1vj0qVLcHZ2hhBCemD4izdcXLt2DQkJCRgyZAgA6OSjZHQZ5zqjl6E+ISclJaFevXpo0qQJoqOjcfHiRRw9ehRHjx7FpEmTYG1tjczMTGRmZsLKygrz5s0D8L9J10m3qM8nR48exebNm/Hhhx+iYcOGAJ730CUkJODPP/9E2bJl0bBhQ9StW1en2xn25NFLUTfI8+bNw4wZM3DkyBG0bdsWHTt2RGxsLKKjo6Xtpk+fjoULF+LWrVtwcnLS6V9Ruio9PV1jrrMTJ04gOzubc52RRH2yHjp0KAICArBv3z7psltycjLi4uIQERGB8PBwXLlyBWXLlsVnn32G5s2bw9DQkO2KjlIfN126dMHNmzexbt06NG7cGAAQEhKCzz77DBcuXAAA1KxZEz/99BPatm2rzZK1iiGPXsmFCxfQs2dPpKeno2/fvli5ciXmzJmDiRMnAgAOHz6Mjz76CO7u7jh8+LBODXClgoQQSE5ORkxMDPbt24ft27cjOjoazs7OsLS0xLRp09C7d29tl0nF7MV2wdnZGS1btsSSJUtQrlw5je2EEBBCQKlUSj13DHeUmZkJR0dH9O3bF4sWLYKxsTEyMjLg7e2NmJgYjBgxAnl5eViyZAn69++P3377TWePG/Z10ytp0KAB5syZg5EjR+LHH38E8HySyY0bN+LUqVP47bff4OLigq+++goAny+pizjXGf0X9Wd9//59VKhQAVWqVEG5cuUKnIjVx5AQggGPJOfOnUN2djbKlCkDY2NjpKWlYdmyZTh37hxWrVqFoUOHAgBOnDiB+Ph4PH78uMAPCF3BVpVeWb9+/RASEoL+/fvD1NQUmzdvxpAhQ7Bp0yZ4eHhg48aNaNmyJQBwLJ4OUiqV0olYpVJJQd/ExATvv/8+lixZAhsbG5w7dw4dOnSQXkO6YfPmzXj48CGA55+7iYmJ9NScogKcejkDHgFA5cqVoaenh6tXrwIAtm3bhgULFqBLly5SwEtKSoKlpSVSUlJ0NuAB7MmjlyCEwM2bN6Gvr49KlSrB0NAQ7u7u+O233/Ds2TOcOHECCQkJaNy4MapWrQorKyv2zOiQf5vr7MVjQD3XmVKpxMOHD5GRkaHFqqk4qY+RkydPYtiwYdi2bRt8fX3Rv39/mJmZ4ejRozhw4AB8fX35w5D+k4ODA7p3744NGzbAxsYGz549k64yqV2+fBkxMTHw8/MDoLs3ADLkUZHUX4rg4GCMHDkSrVu3xqpVqzS2sba2RufOnTWWqcfQkG7hXGdUFPU8mz/99BMqVKiAGjVqIDo6GuHh4cjLy0NGRgbGjh2L4cOHo3379qhatSrKlCmj7bKpBMjIyICJiYlGG6Gvr4+pU6fCxMQEsbGxqF69OsaMGaPx6MydO3fiwYMHGDZsGADd7QXmjRdUJHVvnJ+fH6KiorB8+XLp8lpycjLOnj2LgIAAVK5cGT179kTFihW1XDFpE+c6o/9ibm6Ofv36YcmSJTAyMsKlS5dw5coVHD9+HEeOHEFcXByqVKkCb29v+Pj4oEGDBrC3t4eZmZm2SyctuH//PgYNGoQ+ffqgRYsWsLe3L/A0lOTkZJiamsLAwEBaduTIEfTs2RO+vr7YsWNHcZddsrzbp6ZRaaV+ZuSdO3eEoaGhmDp1qsb6sWPHClNTU6FQKIRCoRADBw4UKSkp2iiVtCg/P18IIcSzZ89Eenq6EEKIqKgosWPHDjFq1ChRrVo1oVQqhY2NjXS8lClTRqxfv14IIURubq62Sqdiom5Ltm/fLhQKhdi1a1eB9Q8fPhSnT58WS5cuFR06dBBlypQRBgYGolGjRuLjjz8WV65c0ULlpG27d+8W+vr6wsDAQNjZ2YkhQ4aI3bt3i7t374qMjIxCX3P//n3Rq1cv4enpKU6fPi2EEAWeo65L2JNHhVJfql28eDG++eYbbNmyBR07doRKpcKBAwfQpUsXtGrVCl988QXWrVuHXbt24cSJE2jevLm2S6dixLnO6L+orwh07NgR4eHh+OOPP9CuXbtCt83Ly8PDhw9x/fp1hISE4MiRIzh16hQiIyOl44p0R1JSEs6fP49z587h6NGjOHPmDJKTk1G7dm107twZHTt2RJ06dVC2bNkC438TExPh4OCg80OHGPLoX40aNQr79u3DqVOn4OTkhLCwMIwcORKWlpZYsWIF6tati8DAQPj4+GDp0qUYM2aMtkumYsK5zuhlpaamwsrKCsDzQfNt2rRBhw4d4O3tjfLlyxf6mqysLNy7dw9xcXFFhkLSHffu3cPFixcRGhqKY8eOITIyEvn5+WjcuDG6du2Kdu3aoXr16jA1NdXJGyyKwhsv6F/Vrl0bq1evxv79+9G6dWvMmjULly5dwrFjx6RBrikpKShTpow0JoJ31uoGznVG/0XdFqxbtw4A0KFDB5w7dw4bN27Exo0b4erqinbt2sHPzw+enp4wNjaWXmtsbIzq1aujevXq2iqftEzdB6VQKGBvbw97e3v4+Phg0KBBiIiIQEhICIKCgjB16lSYm5ujdevW6NGjBzw8PFCzZk2GPbAnj/4hPz9fY56zkJAQdOzYERkZGbCyskJWVhZGjBiBZcuWSdvPnj0b8+bNQ1xcHBwcHHgS1wGbN2/G+++/D1tbWzx8+BAffvghatSoUeDua9Jt6pDn6uqKihUrYvPmzTA3N8fevXuxdetW+Pv7Izs7GwYGBmjSpAl8fX3RoUMHuLu7a7t0KmFevCKglp6eLt2lHRgYKE1+XLlyZdy8eVPjZgxdxZBHAIDs7GwYGRlpLFNfWouIiMDGjRtx/vx5DB48GB988AEsLCwAPJ95fODAgahYsSICAgLYiydj4oW5ztq0aSPNdda5c2cYGhri2rVr+OmnnzjXGQH43/ESGxuLGjVqYMGCBZg0aZLGD8Bbt25h37592Lp1K06fPg3g+bRMXl5eaN26NT744APY2dlpaxeoFHny5AmuXbuGo0ePQk9PDzNmzNDZufFexJBHAIBp06bhzJkzGDhwINq0aQNHR0eN9UX1zrVr1w6XLl3C6tWr0aVLF36pZEz92fbr1w+hoaE4dOgQcnNz4eXlJc115uzszLnOCMD/jpdx48bhjz/+wO7du+Hp6VloW6JSqXDhwgX89ddf2LFjB2JiYgA8f5LBBx98oI3yqYR59OgR7t69iytXrsDR0RGenp7Q1y98xJm604JXlRjy6P81bdoUYWFhAJ4PolePk/Hy8oK1tbW0nfpyrhACly5dwscffwxfX19Mnz69yC8cyQvnOqNX0bJlS5QtWxZr164tdMzmP2VmZiI0NBTbt2/H8uXLC1xhIN2hPlYCAgIwceJEXLx4EQBgaGgIJycndOrUCX369IGHh4eWKy25GPJIcvnyZaxevRpbtmzBkydPAABubm7w8fFBx44d0axZM40xDqmpqUhOToa1tTVP4DKnbmx37NiB3r17Y+fOnejWrZvG+sePH+PmzZs4c+YMDh06hFOnTiE9PR0NGjSAh4cHxo4dizp16mhvJ6jYCSEQGxsLpVKJatWqabscKkXUbU5iYiJatWqFp0+fYtasWShfvjwGDx4M4HmPHQB4eHigR48e6Nq1K2rVqsUevBcw5BFUKpV0B6Ta0aNHsWrVKuzatQv5+fkwNDSEp6cn2rdvj/bt26NevXparJiKG+c6I6LipB4TPnPmTHz//fdYunQphg0bhitXrqBevXr47rvvoFQqsWTJEty7dw+GhobIyclBbGwsqlatqu3ySwyGPJKoVCqoVCqNy665ubnYunUrVq1ahdDQUABA2bJl0aZNG7z//vvo0KED7O3ttVUyFSP1VDkA5zojouJRr149ODs745dffoGDgwM+/PBDnD17FgcOHECtWrWwbds2jB49Gg0bNkSZMmWwc+dObZdcovA2SJIolUop4OXm5iI3NxcGBgYYMGAAjh8/jsTERHz77bewsbHBn3/+iVGjRnHKDB2gUqkAAOvXrwfwfK6z7OxsbNy4EX369EHbtm0xYcIEBAQEICsrS+O16rnOGPCI6GWp25zY2FikpqaiYcOGcHBwAPD8KlPLli1RqVIlAEDv3r3h4eGB7t27SwFP/XpiyKMiGBgYFJhjqEKFCpgyZQqioqJw8eJFDB06VLrzjV8q+Vu9ejXatGmDdevW4caNG9i8eTM6d+6MmJgY/Pjjj+jYsSN8fHwwb948REREaLtcIiqFXpwL7+nTp0hJSYGpqSkAICgoCFlZWahRowasrKwghIBKpYKBgQF27tyJzMxMAOA0Xi/g7ZBUwLlz53D9+nVUqFABZcuWhZ2dHWxtbTW+OK6urlizZo30b36p5End4MbGxuLq1asYOHAgbG1toVAo0LdvX/Tt21djrrMTJ07gxIkT+OGHHzjXGRG9FPWNEo8ePcKxY8fg4+MDa2trVKtWDf3790ebNm0APH8mbX5+vjRPq3oexpSUFBgbG8PExIQ3XfwDx+SRNKj+6dOn+Pnnn7F48WKkpqYCAKpXrw4PDw+0bt0ajRo1gpOTE8qWLavliqm4cK4zInrX1O3MJ598gh07duDIkSNo0KABACApKQmmpqYwNDREQkICmjZtCkNDQyxYsAAtWrTA3LlzsWLFCqxZswZDhw7lXK3/wJBH0pdizpw5mDVrFtq3b4+xY8di7969WLVqFczMzJCRkQFXV1e0adMGzZo1Q/369VGrVi1tl07FhHOdEdG7Zm9vjyZNmmDlypUoV64cgOdTdWVlZaF8+fLIzc3FggULMHPmTI3XderUCX/++ScMDQ21UXaJxpBHEltbWzRq1AibNm1CuXLl0Lp1ayQnJ2PChAk4ceIEVq9eLW07YMAAbNy4UYvVUnHhXGdE9K6ofzCeOHECXl5e+PXXXzFy5Ehp/fr16/Hrr79ix44d0pOYgoKC8PvvvyMuLg5du3ZF9+7dYW9vz0u1heCYPB2nvlR76NAhpKamomfPnihXrhyePn2KkJAQTJs2DQMGDEDv3r0BABEREWjcuDE6deoEAOwa1wEKhQIuLi7aLoNkjM+81l0qlQp6enr45Zdf4OzsjMaNG0vrHj16hJ07dyI+Ph6Ojo7ScdK6dWu0bt26wHsx4BXEb5UOe/GO2NDQUNjb26NGjRoAgD/++AOGhoZ47733ADx/jMzgwYMRGRmJoUOHokOHDgDAgEdEr03dBjHg6S71OWT37t3w9fVFlSpVpHVXr15FaGio9ISLF89Z+fn5xVpnacVvlg5TKpXSc2gVCgXy8vLg5uYG4Hnoq1ixosaTLYQQsLe3x9WrV7VUMRHJQV5eHgBg48aNmDRpEqKiogBwKiZdox4ttnv3bmRlZcHLywtWVlbSupCQECQlJUmXb1/sVGAHw8vh5Vodo768umLFClSpUgW+vr4AgIYNG+Ly5cuwsLBAVlYWTE1NkZaWBmNjY+m1V65cQWJiIipUqACAl1iI6L8VNk5KPen6rFmzcPfuXdy+fRs///xzkU9OIXlTT6o/duxYhISEYNiwYXB0dERISAjee+89ODo6Ijs7mzdWvAaeoXWM+tfPxIkTsX//fmRlZUGhUGjMFm5sbIy6devi6dOnWLJkCWJjY7Fnzx4sWbIEFSpUgI+PDwBeYiGi/1bUOKmMjAzMnDkTgwYNwt69e9GjRw/ExcUVb3GkVepjY9CgQejevTvy8/OxcuVKNG7cGA0aNEBwcDA6d+4MADAyMoJCoYBKpeKl2lfAu2t1iPoX9Y4dO9C7d29s2bIFffr0AfD88klqairMzMxgaGiI5ORkDB06FLt27YKFhQVSU1NRpkwZfPPNNxgzZgxvuCCifyWEwMOHDxEdHY1y5crByMgI1tbWsLa21tguISEBf/75JyZMmICRI0fil19+0VLFpG2JiYnYs2cPtm3bhpMnTyI3NxcA0KRJEwwYMAB9+/bVOH54N+1/Y8jTIerLq23atEFSUhK2bdsm3TUZFxeHTz75BA0aNMD8+fMBPB/0un//fsTGxsLY2Bj9+vWDh4cH9PT0+OUiogLUbczjx4+xfPlyrFixAo8fP4aBgQFcXFzQu3dvzJgxo9DXRkdHIysrC/Xr1y/mqknb8vPzoVQqNc4ply5dwo4dO7Bnzx5cunRJWt65c2cMGTIEXbt25TnoJTDk6ZiUlBSUKVMGkydPxpw5c6QxDvv370eXLl2wePFiTJgwQWO8XVZWlsbYPCKif9OnTx9s374dXbt2RfPmzXH16lVs3LgREydOxHfffYfs7GykpqZKE95yfC8BkJ5F+8+rRMHBwdixYwf27t2Le/fuAQB8fX1x8OBBbZRZqvBbpSPUd62tX78eRkZGaNeunRTwsrKyEBwcDD09PYwaNarAa4yNjcHfAvRfeGekblN//mfOnMGff/6JMWPGYNeuXZg0aRJq1qwJABqT3LZs2RLTp0+XenGIFAqFFPBeHHvXqlUr/PTTT7h27Rr+/PNPeHt7Y8CAAQD+d6c2FY531+qYdevWoVq1ajA3N5eWJSQk4PDhw2jbti3MzMwKHW/HbnEqiroXhidq3ab+Ibhx40ZUrFgRffv2BQDcvn0bAQEBqFWrljQ8xMjICHl5ebh//36hPTdEL7Yn+fn5UCgUMDMzQ48ePdCjRw9pnfpObSoc/+voCKVSiYSEBFy6dAl6enqYMWMG2rZtixYtWuDixYu4fPkyFi1aBOB5Y80xd/Rf8vLyoK+vj40bN+Lq1asYPnw4atasyUtvOkod1G7dugUbGxvp2daXL19GaGgovvnmG2nbixcvQu//2rvzqKrK9YHj38MgCmiogIgpTgyiBpoDIpOKOZTaTdNQs/qZQ9ngdaifpjnUtXKqHK855JBDaQ7hLCgKjqgoqClOoKKCgCCDAuec/fvDu/dP0rpWygHO81mrtYqz91ov8Z5nP/sdntfSEisrK6ytrSXeiD/04EuAGnfE45H/U2ZEp9Mxa9Ysjhw5QmRkJJGRkbi4uGBpaUnFihVxdnYmJyeHypUrF7tPArCQWmficbm5uXHs2DGtqO2BAwe4d++edmoB3K+5efXqVYKCggBkNE88Nknw/hzZeGFmjEYj6enpXLhwgYMHDxIZGUlcXBypqak0bdqUli1b0q5dO5o1a0b9+vVlw4X4Q/n5+axZs4bo6GhWr15Ny5YtWbFiBXXr1jV104SJLFq0iMGDBzN58mS6dOnCoEGDcHBwYPfu3cD9NcADBgxg69atZGRkYGNjY+IWC1F+SZJnxoqKirhx4wZnzpwhJiaGnTt3Eh8fj06n47nnnqNDhw40b96c4OBgGZ0xU1LrTPxZhYWFBAcHc/ToUQIDA9m3bx8zZszgww8/JDc3l+nTpzN9+nQGDhzIt99+KzU3hXiKJMkTwP0RmWvXrhEfH8/u3buJjIwkOTmZwsJCjhw5QosWLUzdRFFCpNaZ+KvU9VJJSUmMGjWKnTt3kpubi5+fH1WrVuXixYskJiYSFhbG559/Tr169WQNpxBPkSR5Zu5Ra62ys7NJSkri0KFDHDlyhMWLF5uodcKUpNaZ+Dtu3rzJL7/8QnR0NMePH+fatWvUrl2bsLAwxowZI31FiBIgSZ74XUajkfz8fOzt7WXzhZlQE7XDhw/Ttm1bhg4dypw5cwD48ssvGTt2LOfOncPd3Z2CggJ8fX155ZVXmDx5sky5mSE1LuTl5bFy5UocHBzo3bt3sWvS0tJQFEUrz6RuyJCYIv4MNVWRPvPnyKuU+F0WFhZaPT35YpmHv1PrTJgf9e++evVq/vd//5fw8HCAYsXTnZ2dsbW1xd7eXkvwQGKK+H1q/7lz5w5TpkwhMTERnU4nfeYvkCRPCKH5b7XO3n77be3aR9U6E+ZF7S+zZ8/G29ubSZMmAfcTuIsXLzJ8+HCCg4MZOXIksbGxpmyqKOUeFT8WLFjAuHHj8PPz4/vvvzdBq8o+SfKEEA9xc3Pjxo0bf7rWmTAf6t/70KFDJCQk0KtXL+rXrw/cf2D369ePWbNmceHCBZYvX07v3r25cOGCKZssSpHfJnXqKJ16ugVAmzZteO2118jPz2f06NFs2rTpkfeK3ydJnhDiIS1atCA9PZ0vv/ySY8eOsW3bNkJCQqhWrRpwv9bZhg0b0Ol09OrVC0DW5Jmp8PBwatWqRcuWLQHIy8vjq6++4siRI4wdO5Zdu3YxYsQIkpOTOX/+vIlbK0oDo9GITqcjJyeH5ORk9uzZw7lz54DicSQgIIBVq1YRHx9PQEAAQ4cOJS0tTaZt/wRJ8oQQDxkwYACtW7dm0qRJjB49mvj4eHr06AFAbm4uX375JVu3bmXgwIHY2NhoB4kL86Hujs3JySE3NxcHBwcAtm3bxrRp03jrrbcYMWIE3t7edOnShapVqxIfH2/CFovSZO/evXTq1InnnnuOjh07EhQUhJeX1yNHez08PJg+fTpffvklzs7OJmht2SXng4hipAyG0Ov1VKhQgdWrV2u1zoxGIz/++CM7d+4sVuts+PDhgCyiN2ctW7Zkzpw5LFmyhOeff56xY8ei0+mYMmWKNvJ79epV7t27R4MGDQCJM+ZKLXy9detWhg0bxt27dxkyZAiWlpZ89913JCcn07BhQwBSUlLIy8vD3d0dnU5Hw4YNtc/E45MSKgKQoCseTWqdid+jlkDJyMhg6NChbNy4EYPBgKurK9OmTdN2Zufl5fHBBx+wdu1abt26JceYmTG1z/j5+ZGZmcmKFSto3bo1169fJygoCD8/P3744QcANm/ezL///W+WLFmCs7OzlNz5i2Qkz8ypFeqXLVvGmTNnePvtt/H09JSkz4z8Ua0zFxcXBg8ezMsvvyy1zsxcSkoKt27dokGDBlSuXFn7u1evXp3PP/+cF154AXt7e3x8fPD29tbu27ZtGzt37qRXr17a1L6s3zQ/aqxITk7m2LFjjBs3jlatWgGwadMmLl26VGwHbWxsLIcOHeLatWs4OztLnPmLJMkzI496IFtZ3e8CEydO5OrVqyQnJzN37lw5q9aMGI1GLC0ttVpnL774Ir179y7WX5ydncnJydHqJqok8JqP999/nwMHDhAWFkZISAhNmzbF1dWVihUr4unpiaen50P33Lp1i08//ZTKlSvz4YcfAtJnzN2RI0ewsLCgVq1a6HQ6bt26xZ49e3B2diYwMFC7LisrCzs7O23KX14o/xpJ8szI731B8vPzmTBhAtHR0axevZobN26wYsUK6tatW7INFCbx32qdzZ49m7i4ODw9PRk0aJC2i1KYD0VRaN26NZmZmSxevJj58+fj6+tL586dCQwMxMPDAxcXF6ytrbV7jEYjly5dwt/fn+7du+Pj4wMgMwRmSn3+uLq6YjQaKSoqAu7X29yzZw9vvPGGdu3169c5c+YMTk5O2nNIEry/RtbkmQFFUUhLSyMxMRFHR0dsbGyoWrUqVatWLXbd9evXWbduHSNGjGDw4MHMmzfPRC0WJUWdlj906BD+/v7MnDlT20yhKApt2rThyJEj1KxZk4yMDGrWrMmuXbtkAbQZKiwsJDU1ldOnTxMVFcWOHTs4deoU9vb2tGnThs6dO+Pn50eDBg2oXr16sXvVZSFC3Lp1C39/f2xtbTlw4AArVqzg3Xff5cyZM1rx9ZUrVzJ06FA+/vhjxo0bJ/3nb5Akr5xSH97p6enMnj2b+fPnk56ejrW1Ne7u7vTp04fx48c/8t7ExETu3bvHc889V8KtFiVN7SeffPIJy5cvZ82aNbRt25a8vDxmz57N2LFjGTt2LH379uWHH37gyy+/ZMuWLXTp0sXUTRcmlJ+fz9WrVzl58iS7du0iMjKS5ORkatasSUhICC+88ALNmzfn2Wef1UqrCKHGm7lz5/L+++/j6emJpaUler2es2fPoigKiYmJvPTSSxQUFBAbG0uNGjVkqvZvkNS4nFKnRN577z1++uknevTogb+/P2fOnGHZsmXcuXMHgIKCAnJycnB0dATufwk9PDxM1m5Rsh631lm1atXo0qULCxYsID4+XpI8M6U+bG1tbbV1eC+88AKXL18mNjaW7du3s3PnTtasWYOXlxdt27ald+/edOjQwdRNF6WAGm8GDhzIjRs3mDJlCnB/bXiPHj24e/cuUVFRVK9enRkzZkiC9yQootwxGAyKoijKoUOHFEtLS2XYsGHaZ1988YWi0+mUxMRERVEU5d69e4qXl5cyduxYRa/Xm6S9wvSWL1+u6HQ6ZcSIEcrKlSsVNzc3pXr16srNmze1a1auXKnY2toqa9euVRTl//uZMD9Go/GhnxkMBuXmzZtKdHS08sUXXyihoaGKTqdTZsyY8bv3CPPzYD+Ijo5WwsLCFEdHR6VSpUpKnTp1lJ49eyoxMTGPvF78eTKSVw4p/5mBX7ZsGS4uLlq9quTkZCIjI/Hy8sLd3R0AGxsb9Ho9N2/e1HZZCvOh/OctuWvXrvTs2ZNZs2Zptc5mz55NjRo1gPu1ziIjI7G0tKRbt26ALKA3ZzqdjqKiomIbLSwsLKhRowY1atSgVatW9O3bl/j4eEJCQkzXUGFyasmcX375hSZNmmjnG8P9Y8sCAgIoKiri9OnTuLi4UKNGjWIjdzKK9/dIklcOqYna5cuXqV69uraY9dSpU+zfv5/PP/9cuzY+Ph5LS0usrKywtraWofFyTmqdib8rJyeHRYsWcfLkSXJycggODua1114rdtxUhQoVqFOnDnXq1NF+JnHFPFlaWpKbm8vLL7+MtbU1nTt3JiwsjI4dO2obdKytrfH19dXukTqtT44keeWYm5sbx44d0wrXHjhwgHv37vHmm29q15w+fZqrV68SFBQEIKN55ZzUOhN/hZrUJyQkMHLkSCIiInB2diY3N5cNGzYwfPhwQkJCGDJkCD179pSdkKKYu3fvMmHCBI4fP050dDTh4eE4OjrSvXt3+vbti5+fH7a2ttr1kuA9ObK7thxbtGgRgwcPZvLkyXTp0oVBgwbh4ODA7t27Abh37x4DBgxg69atZGRkyHFD5ZyiKEydOpVt27Zx/PhxCgsLH6vWWWxsLAsXLqR79+50797dhL+BMBU1yevbty+bN29m/PjxjB49mhEjRrBw4UJq167N2bNngftLQLp27cp7771Hu3btTNxyUZpkZ2dz9OhRoqKi2LNnD7GxsRQVFdGkSRN69erFSy+9RPPmzU3dzPLFlAsCxdNVUFCg+Pn5KVZWVkq7du0US0tL5ZtvvlEURVFycnKUCRMmKHZ2dsoHH3ygKIoiGy/MQEFBgXLlyhVl27Ztyscff6z4+voqVlZWioODg9KlSxfl22+/VQ4fPqykp6c/dG9RUZEJWixKi6ysLMXKykp55513lHv37imKoiheXl5Kly5dlEuXLimbNm1Snn32WcXZ2VnR6XRK586dFUWRhfPi0Zu0rl27pqxatUoJDg5WdDqd9s/XX39d8g0sx2RMvZzS6/VUqFCB1atXM2rUKHbu3InRaOTHH39k586dXLx4kcTERMLCwrTitzIFV/5VqFCB2rVrU7t2bYKCgnjrrbeK1TrbsWPH79Y6kyk48/TgwvkqVaoQFBSEjY0Np0+f5ty5c7z11lvUq1ePevXqkZCQwNy5c/n222/p3LkzIEtAzJ2iKNpmQPXf1WPNwsLC6NOnD6+//joXL16kRo0axfqNTNv+fTJdawZSUlLYsmUL0dHRxMXFce3aNZ599lnCwsIYM2aMfJHMjPKIzTVZWVnFap3FxMSQmZkptc6E1l8++ugjduzYwYoVK3juuecYP348c+fO5aeffiI0NBSA8+fP065dO3bt2kWjRo1M3HJR2uj1eiwsLLCwsEBRFAoLC7GxsWHZsmXMmDGDgwcPYmdnZ+pmlivyal5OqG89aWlprFixgg4dOtCkSROsrKyoVasWgwcPpnv37hQVFVG1alWMRiNVqlQB5OBnc6P+rR/8uzs4ONCsWTN8fHzo0aMH58+fJyYmhsjISBYuXIinpycdOnSQvmJG7ty5g5WVFba2thgMBhwcHDh37pxWLD0xMRF7e3utHBNAUlISRUVFREZG0qhRI+kvZkod/Y2NjWXKlCmMHj0af39/bTZAURSMRqO2/tfa2pqsrCzi4uIICAgwZdPLHUnyygk1kM6fP59Jkybh4eGBv78/ISEhtGnTBnd3d1xcXLTr1S+ZhYWFBGEzJbXOxKOoD+gJEybg6enJgAEDsLW15c0338Tb25uKFSui1+upX78+a9euLRY/YmJiSE9PJzg4GJAXSHOlTs+Hh4ezadMmNm3ahKurK/3792fgwIG4u7sXm8I/duwYqamp2guD9JsnR6Zry5mkpCR++OEHNm7cyPHjx9HpdPj4+BAcHExISAitW7culuwJ8/Q4tc6E+crIyMDJyYkxY8YwefLkR66p27x5M927d8fDw4N+/fqRn5/P1KlTadOmDTExMSZotShtcnNziYyMZOPGjURERJCSkgJA06ZN6d+/P+7u7kRERLBw4UKCg4O1teOyhOgJKuGNHqKE6PV65fDhw8o///lPxc3NTdHpdIqDg4PSqVMnZdKkScqOHTuUwsJCUzdTlCB193R8fLzSsWNHRafTKTVq1FDs7Oy0nW3t2rVT1qxZIztpzZS6C3Lq1KlK5cqVle3bt2ufFRQUKNu3b1eOHz+uKMr9HfojR44stjOyY8eOyv79+xVFkd365kr9u584cUJZtWqVcvfuXUVRFOXChQvKvHnzlG7duikODg6KTqdTLC0tFZ1Op7Rt21Y7ykz6zZMlI3lmICcnh19++YUZM2Zw4sQJLC0tqVixIleuXKFq1aqmbp4oIVLrTPw3yn+myby8vKhTpw5Lly7F1dUVuF84vU+fPvj4+LBy5UrtnuvXrxMREUGVKlVo3769ttZXmCc1zoSGhmozBk2bNi12TVxcHIcPH6awsJAaNWrQsWNHqlWrZqIWl2+yJq+cUXP2B9czVK5cmbCwMGxtbfnoo48ICQnB2dlZ24AhQ+PmwdLSkuzsbNauXcugQYP44IMPgPtHlgUGBjJ37lwSEhIYNmwYhYWFbNiwgfz8fNq1aydrZMyA+jc+e/YsiYmJDBo0SEvw4P66qTNnzjB16lQACgsLsbKywtXVlQEDBpiq2aKUsbS0JC8vj4sXL9K1a1ftFB2DwYBOp8PCwoJmzZrRrFkzE7fUPMjTvYxTk7r8/HztS6Q+jI1Go/a5hYUF//jHP6hRowZeXl7861//AqQ2nrkwGAwAv1vrLCQkhHr16tG9e3eGDh2KpaUl3377LbNmzQLu9yVRvql/43//+9+4uLgQGBiofZadnU1kZCQODg507doVuF9zUS2FIRNC4u7du9q/FxUV4eTkhLW1NRUqVNBqJaoDCg8+m8TTJUleGacG5kmTJjFmzBgiIiK4ceMGgLZzVv0y5ebm4uTkxL59+7T7JMkzD2pwTUhI4Nlnn8Xb2xuANWvW4ODgUOwood69e2NhYUFoaKi2202K2ZZ/6t/4xx9/pHLlysUS+/PnzxMREUGvXr2A+/XOVA++WArz9fnnnxMXFwfcT/I6depERkaGNvigvmgCUtWhBMl0bRlnaWlJQUEBa9as4erVqyxduhQ/Pz/at29P69at8fLy0tbdnTp1itOnT+Pr64uFhYVM1ZoBqXUm/owzZ86QnZ1Namoq/v7+BAQE0L9/f9LS0rhx4wYjRowwdRNFKaLGhqVLl/LFF1/Qvn17kpOTqVevHvb29hQUFODn58ewYcO0lwg12ZMXx5IhSV45YGNjox36vGnTJnbt2sXmzZtxc3PD39+fxo0b4+DgwKJFi7hw4QLz588HkOHyckxqnYm/wtvbm4iICKKioti+fTuHDh0iJiYGCwsLKlasyNWrV6lVqxaVK1fW7pH+Yb7Uadhly5bRokUL6tevT0FBAYGBgVy/fp3k5GTef/99VqxYwbBhw+jTpw8VKlTQ7tfr9XJc4lMmu2vLMHUk7t///jcvvfQSzz77LHl5eVy9epW9e/eyYcMGDhw4QG5uLgBOTk4MGDCAadOmmbjloiRIrTPxd9y7d4+YmBi2bNlCVFQUv/76K4WFhTg7O9OzZ0/69u2Lv7+/JHhmTo0zn3zyCePHj9eSuJMnT7J9+3Z27tzJ/v37KSwsxNLSkldeeYXBgwfLMYklpYRLtognxGg0KoqiKOfPn1d0Op3Sv3//hz7PyspSTp06paxfv175+uuvlaNHj2o1iNT7Rfkjtc7E32EwGLQ+pEpNTVXWrFmjvPHGG0rt2rW1vtK0aVNl9OjRSmpqqolaK0xF7SPTpk1TbGxstDjz22dLYWGhsm/fPuXjjz9WmjVrVizWREZGlni7zY2M5JVBRqMRo9GIlZUV8+bNY+rUqSxcuJCOHTtq03TCfClS60w8IUaj8aGNFRcvXmTnzp1s3bqVAwcOcPv2bRISEmjcuLEJWypKmhpnfH19SUlJYcqUKbzwwgtUr14de3v7R96TlZVFVFQUW7duZfPmzRw/fhwXFxeZ8n+KJMkr4/bu3cubb77J9u3b8fT0fOQaB9lgYT6UB2qdeXt7M23aNEaOHKl9vnz5ct588002b95M165dtVpn0j/EH1H+c9b1b18gjxw5QlxcHEOGDJEHtRlR/9aJiYl4eXlhbW2NhYUFPj4+hIaGEhQURKNGjXBxcSl2NvaD0tLScHZ2ln7zlMmKxzJCTdQWLVrEmTNnmDZtGhkZGVy4cIE7d+6QlJSEp6enluA9+MWRB7j5UB/Ef6bWGTy6iLYQKp1OpyV4amkVCwsLWrVqRatWrbRrhHlQ48y8efOwt7fn/fffJzU1laioKL744gvmzp1L69at6dixI23atKFhw4Y4OTkV6yPqOdnSb54uGckrI9SkzdPTkxo1arB3717ee+89vv/+e2xtbXFwcGDGjBmEhITwzDPPFLsP5ItkbmrWrEmVKlVYtmwZfn5+ABw9epQePXrw4osv8t1338nONvG3ySyBeXNycqJz587Mnz8fnU5HXFwcsbGxREVFcfjwYdLS0nB1dSUwMJDQ0FBatGiBm5sbDg4Opm662ZAIXwY8OAV3/vx5hgwZgk6no02bNiQlJREXF8elS5d488036dWrFx06dKB58+bUr19fHuJmSGqdiZIiCZ75UZ9Hu3fvJiMjg5CQEG0NXkBAAAEBAfTp04eEhAQOHDigrcFbu3YtjRo1olmzZgwbNozWrVub+DcxDzKSVwaomymGDx/OqlWrWLduHUFBQRgMBnJzc7l48SL79u1jw4YNHDp0SFsb0aFDBwICAvD29sbNzc3Uv4YoQWpwVWud6fV6LCwsqFChAps2bcLPz09qnQkh/jR19PbVV1/lyJEj/PLLL/j4+GAwGB46ycJgMHD58mXi4uKIiYlh//79HD9+nN27dxMSEiJxpwRIkleGODs707VrV5YuXQpQbCetwWDg9u3bnDlzhq1btxIeHs7Zs2exs7MjMDCQ8PBwees2Q1LrTAjxNPTv3x8vLy9GjhxJpUqVin32qGVC+fn5nDt3jjNnztCvX78Sbas5kySvlFPfdA4cOEBAQADt27dn8uTJ+Pv7P/I6uH9uYGpqKnFxcSxbtgwnJyfmz58v5VXMyIOL41VpaWns2bOHbdu2sXv3bq5duwZAkyZN6Ny5M6NGjdIWQwshxB/Jz88nPz8fR0fHP7xORutMS5K8Uk5NzAYMGMAPP/yg/bxp06b07NmTXr16aYfNw8NvUHfv3gWgUqVKskjaTEmtMyFEaSAJX8mTJK8MUBSFSpUq0bdvX5o0acLKlSuJi4vTPg8JCaFPnz706NEDFxeXYvfJF0qopNaZ+CvUl8O8vDyKiopwcHCQfiJEGSFJXimmBtKVK1fy+uuvs2HDBnr06AFAYmIiS5cuZfny5Vy/fh0Ae3t7unbtSp8+fejcufND6ySEUD1qOleIR1FnE9555x2uXLnCxIkTadmypambJYR4DJLklWJqcG3Xrh25ubmsXLkSDw+Ph+qb7d+/n4ULF/LTTz9x7949ANzc3Gjfvj1z5syRZE/8IZnGF/D/L5WPGvE1GAzUrVuXlJQU7OzsWLJkCa+++qoJWyuEeByS5JVy6enpODs7M2bMGCZNmqQldw+eX6syGo2sX7+eJUuWsH37duzt7blz546pmi6EKCPURP+307AP/vfJkyfZtm0b06ZNw9LSksWLF9OtWzdTNVkI8RgkySvlEhISGDNmDO+//z6dOnV65FoYg8EAUOzNOz09natXr9KsWTM52UAI8Ydu375NREQE8fHx5OfnExwcTLdu3R657u7WrVsMGjSIRo0a8cUXX5igtUKIxyVJXhnxuOVPDAYDOp1Opt+EEH9IHb3bvXs3kyZNIjo6GisrK/R6PXD/9IJ9+/Y98p6UlBTs7e2LHaEohCh9JBMoIx63vp2lpaUkeEKI/0qNE6NGjeLs2bN88803XLt2jUmTJgEQFhYGQF5eHqtWreLIkSPaPbVq1ZIET4gyQLIBIYQwM+oSj59++omTJ08ybtw4PvjgA5ydnbWRvNdffx0AOzs7ZsyYwbp16ygqKjJZm4UQf54keUKYAbVkSl5eHllZWcD/F84W5kdda7dhwwY8PDwICgoC4NSpU2zcuJHQ0FDt0Pnbt2+Tl5fHzZs3ZW2v+EMSZ0ofSfKEMANqoB01ahT9+vUjNjZWitmaMQsLC/R6PYWFhRQUFNCkSRPg/g7ahIQEhg4dql175swZCgsLqV69OjqdTnuQC/FbEmdKH0nyhChH1CCrKIo2JQf312oaDAY2b97Mtm3baN++PWvXrjVVM0UpYGVlhbe3N0lJSVy+fJk7d+6we/dubG1teeWVV7TrTp48SVJSklaIXQiJM2WHJHlClBPqGbVqmR11s44akC0tLdm8eTNTpkyhQoUKDBs2jPDwcFM2WZhY+/btAfjkk0+Ii4tj79699OnTR/s8OTmZlStX4ubmRkhICCCnpJg7iTNli5RQEaKckFpn4s8yGAxMmjSJzz//HDs7O/Ly8li4cCFvvfUW27ZtY+bMmRw8eJBp06YxbNiwxy7lJMoviTNliyR5QpRhUutM/F3Z2dlMmzaNJUuWcPPmTQCqVatGZmYmNjY2zJo1i379+mFra/vIYuyi/JM4U3ZJkldOyPmj5q158+akpKTwySef8Nprr7FgwQImTJjA3Llzeeedd8jLy2PTpk00bNiQVq1ambq5wsTu3btHxYoVi/0sMTGRTZs2cezYMezs7KhVqxbdunWjZcuWJmqlKG0kzpQ9sh++jFLfqK9evUrt2rUlwTND6tSZWuvsm2++4f333wf43VpnHTp0oFmzZlhbW5us3cI01BfB2NhYvvrqKwYMGEDz5s1xdHSkYsWKeHh4MHr0aAAKCwupUKGCiVssSgOJM2WbZAZlkJrgpaam0qxZM/r3709iYqL2mTAPUutM/Bnqi2B0dDTr16/n1VdfpVOnTkycOJF9+/aRmppKQUEBgCR4QiNxpmyTJK8MeHCL+oNrYmJjY8nMzGTVqlWMHTuWzMxMWS9jRqTWmfgr+vTpQ3h4OKNHj6ZKlSp8++23hIaG0qtXL+bMmcPx48fJysqSF0YBSJwp6yTJKwMsLS21L8uDSVxISAjHjx9n9OjR7Nmzh/79+2sLp4V5kFpn4s+qVasWL774IhMnTmTZsmV8//33vP3226SkpDB69GhefPFFhgwZwrx588jNzTV1c0UpIHGm7JKNF6VYXFwcGzduJDc3l2effRYXFxeCg4NxdXUtdt3t27dZv349H330EfHx8dSqVctELRamsGfPHjp06MCrr77Ku+++y8CBAwkODmbx4sXA/Vpnffv25fr161y+fNnErRWmptY5e/CFMScnh7i4OL788ku2b9+Os7Mzt2/fJj8/X0qmCEDiTJmliFKnoKBAmTFjhmJpaanodDrF0dFRqVChgmJtba0cPnxYURRFMRgMD91XWFhY0k0VpYBer1fGjx+v6HQ6xd7eXtHpdMqiRYsUg8GgbN68WWnfvr1SqVIlZc6cOdr1QijKw3EkKytLef7555Vhw4Yp27dvVxRF+ou4T+JM2SQjeaWIXq/HysqK77//nqFDh9KpUyc+//xz8vLy+PTTT9m7dy+FhYUAJCUlkZCQwIsvvoiFhYUUKTVzUutM/B41NqSnp2trpX5L+c/xVFZWVoSGhhIYGMiECRNM0FpRmkmcKXskyStF1C+Fr68v9vb2fPfdd3h7e3PixAlefvllQkJCWLp0KQAbN27klVdeYd++fQQEBJi24cIkpNaZeBxqXPHx8cFgMDB48GC6d+9O3bp1tWvU8ioZGRkMHDiQW7dusX//ftM1WpQaEmfKNtnjXEqogfjKlStcuHCBd999F29vbwAOHjzIlStXGDJkiHZ9eno6Tk5OZGVlFbtflG9S60z8WTqdjtzcXOrXr8+xY8cYPnw4H3/8MaGhofTr148OHTrg4OCAhYUFO3bsYOfOndqOSZkhME8SZ8oPSfJKCTVBS05OxsbGBltbWwBSUlKIiIigZs2atGnTRrv+8uXLGAwGLREU5uG3tc7Cw8Np2LAh3bp1o2vXrnh6euLg4ICNjY0EXqE9rK2trdmwYQMJCQns2LGDqKgo9u/fz5YtW6hevTp+fn7cvXuXI0eOULFiRd555x0AeXE0UxJnyg+Zri1lcnJyqF+/PqGhoaxevZqjR4/ywgsvMGjQIL766ivgfiI4cOBAUlNTSUhIMHGLhSmkpKRw4sQJDh48SGRkJCdOnMBgMNC6dWtefvll2rVrR/369XnmmWfkQS3o1asXbdu25Z///CcAWVlZHDt2TEv2kpKSyMjIwN3dnYkTJ/LSSy+ZuMWiNJA4U/ZJklfKKIrCwIEDWb58ORMnTiQ3N5epU6dy/fp1XFxcAJgxYwaffPIJ//rXvxg5cqS2YUOYH71ez6VLlzh+/Dj79u1j+/btJCUlUaNGDYKCgggKCuKNN97QKtIL86FOtUZHRxMcHMw333zDBx988NDSjps3b5KamoqrqyvW1tY4ODiYrtGiVJI4U3ZJklcKnT9/npdeeonz589jb2+Pvb0969ato0KFCuzdu5dJkybh4+NDeHg4Dg4Osh7PDEmtM/G45s2bx8yZM1m6dCkBAQFa31EURc68Fn9I4kzZJ0leKaMuYr158yafffYZW7Zs4cqVK1hbW1NUVARAYGAgM2fO5Pnnn5cET2jrrlTZ2dl06NABPz8/unXrRqdOnWQBvRm5c+cOaWlpNGzYELh//OELL7zAiRMncHNzk5gh/hKJM2WTzPGZmBpw1SnXChUqYDQacXFx4V//+hevvvoqJ0+e5PTp0+Tn59OrVy8CAgJwdHQEZGG0ufijWmdq4FVrnT3zzDM4ODjg5OREp06dACTwmgG1j0ybNo2LFy+yfPly4uLiiIiIoF69eixevJiPPvpIptTE75I4U/7ISJ6JqW9HCxcu5Ouvv2b+/PkEBwebulmilJFaZ+Jx2dnZ0blzZ37++WfCwsL48ccf0el0VK5cmQkTJtC3b19q1Khh6maKUkjiTPkjCzJMSF0Tk52dzYwZM1AURZtiASgoKODcuXPs27ePM2fOAPfftIT5ebDW2Z07dxg+fDiNGjWiW7durFmzhlu3bml9Q6111rp1a0D6jDlQ39V37drF3bt3td2xQ4YM4dNPP6VTp07Y2NgwcuRIWrVqxYgRIzh8+LD0DVGMxJnyR0byTEidop01axbjx49nzpw5vP766wDk5uYybtw4Zs+eTeXKlWnRogXz5s3Dw8PDxK0WJU19cy4oKMDGxqZYrbMDBw6QlZX1UK0zKysrDh8+jLu7+0NraUT5o/6NX375ZRITE/n5559p1KiR9vmNGzeIjY0lKiqKqKgoTp48iaIo+Pr6EhYWRrdu3fDy8jLhbyBMTeJM+SRJngmpQ+PPP/88VapUYcmSJdSrVw+AcePGMWXKFNq0aYOHhwfLli0jJCSE3bt3m7jVwlSk1pn4IwaDAVtbW3r37s28efOoXLnyI6+7ePEiBw4cYM+ePcTExHDhwgVcXV25du1aCbdYlEYSZ8oX2XhhQjqdjps3b3Lr1i18fX21BG/Xrl3MmjWLN954g08//RQ3Nzdu3LjBlStXuH79Oq6uriZuuSgpD9Y6W79+PUFBQcD9FwQHBwc6dOhAhw4dpNaZGVNfFteuXUtRURHx8fF8/fXXtGzZEh8fn4fiRYMGDWjQoAFhYWGcPn2arVu3UqtWLQCpuWmmJM6UX/JtNjGj0YitrS1XrlyhsLCQ06dPM3HiROzt7Zk8eTK1a9cGoE6dOpw7d87ErRUlTd2tlpCQQP369WnevDnw/2uw1HWdLi4uWrFsYV7UJG/u3LnY2NiQmZnJxIkTcXJyonXr1gQHB+Pn50ejRo2oVq2adp+VlRU+Pj74+Pho/UkSPPMkcab8km+0CTxYp8rV1ZUGDRqwbds2+vTpw6lTp0hJSWH69OlagpecnMzly5epWrWqjOKZid/WOmvZsiUZGRlan1ALlEoJHWFhYUFqair79+9n5MiR9OjRg6NHj7Jjxw5iYmLYsmULdevWpW3btgQFBdGyZUvc3d2187FBSjGZK4kz5Z+skixB6u4j9QujviUtXryY119/nYSEBDIzM/nuu+946623tPuioqI4fPgw/fr1A+5PqYjySe0j06ZN49NPP0Wv1xMbG1us1llubq4EXQHcnwmA+zHEzs6OF198kYCAAN555x2+++471qxZw9ixY3F2dmbt2rUMGzaMN954gzFjxrBu3TrOnj2LLMs2PxJnzIdsvChBn332GY0aNeL555+nbt26xb5A169fJz8/H2dnZ6pUqaL9PDs7m+DgYPLz8zl06BDVqlWTivVmQGqdicehxoJ69erh7e3NokWLqFmzZrFr7t69y7Vr14iPj2fPnj3s3r2bxMREbG1tadq0KREREVSqVMlEv4EwJYkz5Z9M15aQU6dOMWHCBKpUqUKzZs1o3749/v7+NG7cGBcXl2LTsOpW9Ly8PBYsWMD169eZNGkS1apVk23q5Zj6wH5UrTNPT0+OHDnCsWPHGDlyJN988w09e/akT58+tGjRQirNmymdTsevv/5KcnIy7733XrEET+1PlSpVwt3dHXd3d0JDQ0lKSiIuLo6ff/4Ze3t7KlWqJHHFjEicMS8ykldC7ty5w969e4mMjCQ8PJzLly/j5OSEv78/7dq1o2XLlnh7e/PMM89o9xQVFREbG0tubi5t2rShcuXKMopXjkmtM/FXJCcns3HjRrp06YKHh8djxQhFUUhNTcXa2prq1atLkmdGJM6YF0nySlhBQQE3btzg0KFDbNy4kcjISDIyMqhXrx7BwcEEBwfTokULGjRoQMWKFU3dXFHCpNaZ+DOmT5/OqFGjtPNEZXeseBwSZ8yHJHkmlJeXR1JSElFRUWzYsIEDBw6g1+tp3Lgx7du3JzAwEG9vb9zd3WX0rpxTR1/WrFlD3759adq0KT179vzdWmcqvV5frNbZgAEDpNaZmYiKiiI0NJTVq1fz6quvmro5ogyQOGN+JMkrBYxGI9nZ2Zw7d44dO3awadMmTp48SZUqVXBzc+OXX36hTp06pm6meIrUKZTAwECOHj2Ko6MjKSkp/7XW2YNkKt98GI1GDAYDb7/9NuvXr2fChAl8+OGHWFtbYzQapeyFeCSJM+ZHkrxSRq/Xk56eTnx8PD///DNxcXEcOXLE1M0SJSA1NZWaNWs+VOvs8OHDZGdn/9daZ8L8pKSk0L9/fw4ePMjw4cMZO3Zssd35aniXh7JQSZwxL5Lkmcjt27e5efNmsQWvv3Xv3j3u3r1L1apVZWF0Oab+badMmcIXX3xBeHg4ISEhFBQUkJaWxq+//kp0dDQRERGcOHECo9FIo0aNCA4OJjAwkCZNmuDp6SkPcjNlMBh47733WLBgAe7u7owYMYKOHTtSv379Ytc9OL2mHmMlzIfEGfMkSV4JUb9gGRkZfPvtt6xevZpr165RuXJlXn75ZV555RUCAwOxs7MzdVNFCZNaZ+KvUpO1lJQUZs2axcyZMwEICgqia9eu+Pr64uXlpZ1N+6CCggJsbGxKusnCRCTOmCdJ8kpY3759WbNmDSEhITRp0oSlS5eSm5sL3D84/LXXXqNHjx74+vrKolYz8uuvv9K4cWOmTZvGyJEjtZ8/av1Ldnb2Q7XOVq9eLaO9goSEBObMmcPGjRu5desWTk5O1K5dG0dHR7y9valZsyZpaWkUFBSQl5dHp06d6N27t6mbLUqIxBnzI0leCVDftqOjo2nfvj0DBgxg8eLFAFSsWJHOnTtjZ2fH6tWrgfvrZ2rWrMmmTZt4/vnnTdl0UUKk1pn4OxRF0Q6Rz8nJ4eTJk8TGxhIdHc3BgwdJT0/HxsYGvV6Pra0tzs7ONG7cmBkzZlC3bl1TN1+UEIkz5keSvBKgJnlvvvkmMTExrFixgjZt2rBw4UKGDh3Kli1b6Ny5M+vWrePDDz/Ey8uLxMRE4uLicHR0NHXzxVMmtc7E06DX61EUBWtraxITE8nMzMTDw4PMzEzq1asna/LMjMQZ8yRJ3lOmvvUoikLz5s1xd3dnwYIFVK1alcDAQO7evcuqVavw8PAA0Eb1Zs+ejaurq2xXL+ek1pkwBYkr5kXijPmSMdenTB3Wvnz5MoWFhbi4uFC1alUyMjI4d+4cvr6+NGzYULvew8ODtLQ0bcu6BOLyy2g00rZtW/r168f//M//MH36dIqKirTP5P1LPC0SV8yHxBnzJkneU7Rjxw6ysrIAqFKlCo6OjtrxMZcuXUJRFGxsbLREMDc3l/z8fK5du1as1pUonywsLLC2tmbKlCm0aNGCcePGMX78eO7cuYOFhYX2IFbXWwkhxJ8lcca8SZL3hKlfksjISN59913i4uIAcHR0ZO/evXz00UcYjUa8vLyoWLEiBw8e5MaNGwBs376d8PBw/P39sbCwwGAwmOz3ECWnVq1aRERE8NZbbzF16lRatmzJggULuHTpEkCx0wv0er12n/QPIcTjkjhjnmRN3hOmrsHr0aMH8fHx/PLLLzRt2hR4eB3MzJkzGTVqFJUqVcLHx4dDhw7h6OjIli1baNmypRQsNRNS60wI8bRJnDFPkuQ9BXq9Hjs7O4YOHcpXX31FxYoVAdi9ezffffcdkyZNwtPTk8zMTL755ht+/vln7t69i7e3NyNGjKB9+/Ym/g2EKUmtMyHE0yZxxjxIkvcEqSN1S5cuZeDAgaxdu5ZXXnkFuP8W9dlnnzF58mSuX7+Oi4uLdl9BQQE3btzA1dWVChUqmKr5wsSk1pkQ4mmTOGNeJMl7gtSp2jZt2gCwevVq7Utx6dIl+vbti5WVFTExMRgMBm3qVgpLit8jtc6EEE+bxJnyS6ohPkEWFhakpqZy+PBhxo4dS+3atbXPTpw4QWxsLEuWLCl2vRB/5MGCpWotRYBq1arJTjghxBMhcab8kizjCVG/CGvXrgVg//79rF+/nqtXr5KdnU1UVBSWlpa8/vrrgCR44u+TWmdCiKdN4kzZJiN5T8iDW89btWrFiRMn6NOnD25ubrRs2ZL9+/fTqVMnrTSKDH8LIYQQ4mmSNXlPwbVr1zh8+DB79uxh3759XLx4kYKCAurUqcOQIUMICAigadOmUvBYCCGEEE+NJHlP2dmzZ4mOjmbfvn3ExMSQnJyMtbU1bdu25R//+AehoaG4ublpx5gJIYQQQjwJkuQ9IdOnT+fDDz/E2toavV6PhYVFsXV3BQUFxMfHs2/fPvbs2cPhw4fJyMjAzs6O7t27s3LlShO2XgghhBDljSR5T0BUVBQdO3bkxx9/1OriqYxGY7HjYgCysrI4evQo0dHRrFu3Dn9/fxYuXChr9YQQQgjxxEiS9zcZjUYMBgNvv/0269evZ8KECdqI3m8TPLWO3oOuXLmCnZ0d1atXf+TnQgghhBB/hSR5T0hKSgr9+/fn4MGDDB8+nLFjxxbbWKH+b/6jhE8IIYQQ4kmRJO8JMhgMvPfeeyxYsAB3d3dGjBhBx44dqV+/frHr9Hq9VnyyqKgIa2trUzRXCCGEEOWYJHlPiLqeLiUlhVmzZjFz5kwAgoKC6Nq1K76+vnh5eVGrVq2H7i0oKMDGxqakmyyEEEKIckySvKckISGBOXPmsHHjRm7duoWTkxO1a9fG0dERb29vatasSVpaGgUFBeTl5dGpUyd69+5t6mYLIYQQopyQJO8JUxQFRVGwsLAgJyeHkydPEhsbS3R0NAcPHiQ9PR0bGxv0ej22trY4OzvTuHFjZsyYQd26dU3dfCGEEEKUE5LklQC9Xo+iKFhbW5OYmEhmZiYeHh5kZmZSr149KZsihBBCiCdOkjwTUxRFDoAWQgghxBMnNTxMTBI8IYQQQjwNkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRDkuQJIYQQQpRD/wcXUxjNUaDpoAAAAABJRU5ErkJggg==",
      "text/plain": [
       "<Figure size 700x500 with 1 Axes>"
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from qiskit import QuantumCircuit, transpile\n",
    "from qiskit.visualization import plot_histogram\n",
    "from qiskit_aer import AerSimulator\n",
    "\n",
    "qc.measure_all()\n",
    "simulator = AerSimulator()\n",
    "circ = transpile(qc, simulator)\n",
    "result = simulator.run(circ).result()\n",
    "counts = result.get_counts(circ)\n",
    "\n",
    "counts_readable = q_algo.decode_counts(counts, discard_lower=15)\n",
    "plot_histogram(counts_readable)"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "qlasskit_310-env",
   "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.10.13"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}