Performance FALCON-512 NSEC3 Narrow.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "# requires seaborn, pandas"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "import uuid\n",
    "from datetime import datetime\n",
    "import logging\n",
    "from tqdm import tqdm\n",
    "import io\n",
    "\n",
    "import seaborn as sns\n",
    "import pandas as pd\n",
    "import dns.message\n",
    "import dns.query\n",
    "import dns.flags\n",
    "from dns.rdatatype import SOA, TXT, RRSIG, A, AAAA, MX, NSEC3\n",
    "from dns.rdataclass import IN\n",
    "\n",
    "logging.basicConfig(level=logging.ERROR, force=True)\n",
    "\n",
    "sns.set(font_scale=2)\n",
    "sns.set_style('whitegrid')\n",
    "\n",
    "def query(qname, rdtype) -> dns.message.Message:\n",
    "    q = dns.message.make_query(\n",
    "        qname=qname, rdtype=rdtype, want_dnssec=True, use_edns=0,\n",
    "    )\n",
    "    q.flags |= dns.flags.AD\n",
    "    logging.debug(q.to_text())\n",
    "    start = datetime.now()\n",
    "    try:\n",
    "        r = dns.query.tcp(q, where='127.0.0.1', port=5301, timeout=1)  # auth NS\n",
    "    except dns.exception.Timeout:\n",
    "        return None, None\n",
    "    return r, (datetime.now() - start).total_seconds()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [],
   "source": [
    "# test configuration\n",
    "samples = 10**4"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "100%|██████████| 10000/10000 [00:37<00:00, 263.95it/s]\n"
     ]
    }
   ],
   "source": [
    "# do measurements\n",
    "\n",
    "seen_nsec3onames = set()\n",
    "\n",
    "def random_nx_query(algorithm):\n",
    "    name = dns.name.from_text(f\"{algorithm}3.example.\")\n",
    "    qname = dns.name.from_text(f\"{str(uuid.uuid4())}\", origin=name)\n",
    "    rdtype = MX  # we don't have any MX records\n",
    "    r, query_time = query(qname, rdtype)\n",
    "    assert r.get_rrset(dns.message.ANSWER, qname, IN, rdtype) == None\n",
    "    new_nsec3onames = {rrset.name - name for rrset in r.sections[2] if rrset.rdtype == NSEC3 and rrset.rdclass == IN} - seen_nsec3onames\n",
    "    seen_nsec3onames.update(new_nsec3onames)\n",
    "    return {\n",
    "        'algorithm': algorithm,\n",
    "        'qname': qname,\n",
    "        'query_time': query_time,\n",
    "        'response': r,\n",
    "        'new_nsec3onames': new_nsec3onames,\n",
    "        'new_nsec3s': [rrset for rrset in r.sections[2] if rrset.rdtype == NSEC3 and rrset.name - name in new_nsec3onames],\n",
    "        'new_rrsigs': [rrset for rrset in r.sections[2] if rrset.rdtype == RRSIG and rrset.name - name in new_nsec3onames],\n",
    "    }\n",
    "\n",
    "query_times = pd.DataFrame(\n",
    "    [random_nx_query(algorithm) for _ in tqdm(range(samples)) for algorithm in [\"falcon\"]]\n",
    ")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [],
   "source": [
    "# save measurements\n",
    "filename = f\"data/measurements-nsec3narrow-{samples:n}-{datetime.now().strftime('%Y-%m-%d-%H-%M')}.pickle\"\n",
    "query_times.to_pickle(filename)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [],
   "source": [
    "# load data and prepare\n",
    "query_times = pd.read_pickle(filename)\n",
    "query_times['query_time_ms'] = 1000 * query_times['query_time']\n",
    "\n",
    "# filter for queries with one new signature\n",
    "query_times = query_times[\n",
    "    query_times['new_nsec3onames'].apply(len) == 1\n",
    "][[\n",
    "    'algorithm',\n",
    "    'new_nsec3s',\n",
    "    'new_rrsigs',\n",
    "    'query_time_ms',\n",
    "]].copy()\n",
    "\n",
    "# unpack arrays\n",
    "query_times['new_nsec3'] = query_times['new_nsec3s'].apply(lambda x: x[0])\n",
    "del query_times['new_nsec3s']\n",
    "query_times['new_rrsig'] = query_times['new_rrsigs'].apply(lambda x: x[0])\n",
    "del query_times['new_rrsigs']\n",
    "\n",
    "# extract messages and signatures\n",
    "def message(row):\n",
    "    # see https://www.rfc-editor.org/rfc/rfc4034#section-3.1.8.1\n",
    "    rrsig_rdata = row['new_rrsig'][0].to_wire()[:-len(row['new_rrsig'][0].signature)]\n",
    "\n",
    "    f = io.BytesIO()\n",
    "    row['new_nsec3'].to_wire(f)\n",
    "    rr1 = f.getvalue()\n",
    "\n",
    "    return rrsig_rdata + rr1\n",
    "\n",
    "query_times['message'] = query_times.apply(message, axis=1)\n",
    "query_times['signature'] = query_times['new_rrsig'].apply(lambda x: x[0].signature)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>algorithm</th>\n",
       "      <th>query_time_ms</th>\n",
       "      <th>new_nsec3</th>\n",
       "      <th>new_rrsig</th>\n",
       "      <th>message</th>\n",
       "      <th>signature</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.996</td>\n",
       "      <td>(1 0 0 - lv0f93gpecft4souf34hhlokt5ggeu4p)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9\\x83\\x12\\x8ew\\xcb\\xdd\\x98\\x8e.\\xd0n\\xd8h\\x8...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>falcon</td>\n",
       "      <td>4.077</td>\n",
       "      <td>(1 0 0 - 35b4jirl1jonq1oao042du41l4upuf2c)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9I9\\xb4?C\\x01\\xc11\\x83\\xc6u\\xd6\\x97\\x10=\\xb8...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.994</td>\n",
       "      <td>(1 0 0 - mpv2au667tl6gmnamlvv33jq37ld0fjd)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9\\xd6X\\xca\\x96\\r|\\xd9\\xe4s\\xf6\\x00Y\\xb6q\\xe8...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>4</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.773</td>\n",
       "      <td>(1 0 0 - l0fb1ka1935265m7p6aidos1d37pnn1p)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9\\xbf\\x1a\\x9bB\\x91\\xe3\\xaf/ :\\xb8\\xf9\\x1cH\\x...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>5</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.818</td>\n",
       "      <td>(1 0 0 - b77r6ltii5g3r1mpnbjc3q7hos3snsap)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9lB\\xb8\\xb0\\xc2\\x83\\xdf\\xeeT\\xb8.\\x12\\xac\\xf...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>...</th>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9995</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.225</td>\n",
       "      <td>(1 0 0 - o90pqfjggk74m8ighnrfmtk3v3aojtql)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'95\\xe6\\xcb\\xc9\\xc3\\xad\\xba?`\\x11Y\\xbe\\xa9&lt;\\x...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9996</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.176</td>\n",
       "      <td>(1 0 0 - dqmgd4m8mcce7lpghq80662c0s1f8abg)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9wr\\xbb\\xc2\"\\xe7\\xd7\\xa3\\xf81XIQ\\\\\\xbd\\x0c+X...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9997</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.281</td>\n",
       "      <td>(1 0 0 - qe6r9tju42spes4no15ee4gj9ba11om0)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9\\x8f\\r\\x95\\x16\\xcd@\\xdbn10~\\x05\\xb5\\xce\\xad...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9998</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.363</td>\n",
       "      <td>(1 0 0 - 81da3qvfphnvo9msl0p5hou3gktto3m0)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9\\xe4@\\x97\\x80\\xa1,\\xc0\\x19Ora\\xac\\'\\x8e\\xc3...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9999</th>\n",
       "      <td>falcon</td>\n",
       "      <td>3.317</td>\n",
       "      <td>(1 0 0 - jr015uo0i2lrrsf5p7ti6o3mglg0ian1)</td>\n",
       "      <td>(NSEC3 17 3 3600 20220901000000 20220811000000...</td>\n",
       "      <td>b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...</td>\n",
       "      <td>b'9o\\xcf\\x91\\xadxQ\"\\xf7+\\xf4\\xa5\\xfev?\\x904R=?...</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "<p>9999 rows × 6 columns</p>\n",
       "</div>"
      ],
      "text/plain": [
       "     algorithm  query_time_ms                                   new_nsec3  \\\n",
       "1       falcon          3.996  (1 0 0 - lv0f93gpecft4souf34hhlokt5ggeu4p)   \n",
       "2       falcon          4.077  (1 0 0 - 35b4jirl1jonq1oao042du41l4upuf2c)   \n",
       "3       falcon          3.994  (1 0 0 - mpv2au667tl6gmnamlvv33jq37ld0fjd)   \n",
       "4       falcon          3.773  (1 0 0 - l0fb1ka1935265m7p6aidos1d37pnn1p)   \n",
       "5       falcon          3.818  (1 0 0 - b77r6ltii5g3r1mpnbjc3q7hos3snsap)   \n",
       "...        ...            ...                                         ...   \n",
       "9995    falcon          3.225  (1 0 0 - o90pqfjggk74m8ighnrfmtk3v3aojtql)   \n",
       "9996    falcon          3.176  (1 0 0 - dqmgd4m8mcce7lpghq80662c0s1f8abg)   \n",
       "9997    falcon          3.281  (1 0 0 - qe6r9tju42spes4no15ee4gj9ba11om0)   \n",
       "9998    falcon          3.363  (1 0 0 - 81da3qvfphnvo9msl0p5hou3gktto3m0)   \n",
       "9999    falcon          3.317  (1 0 0 - jr015uo0i2lrrsf5p7ti6o3mglg0ian1)   \n",
       "\n",
       "                                              new_rrsig  \\\n",
       "1     (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "2     (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "3     (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "4     (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "5     (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "...                                                 ...   \n",
       "9995  (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "9996  (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "9997  (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "9998  (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "9999  (NSEC3 17 3 3600 20220901000000 20220811000000...   \n",
       "\n",
       "                                                message  \\\n",
       "1     b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "2     b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "3     b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "4     b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "5     b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "...                                                 ...   \n",
       "9995  b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "9996  b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "9997  b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "9998  b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "9999  b'\\x002\\x11\\x03\\x00\\x00\\x0e\\x10c\\x0f\\xf6\\x00b\\...   \n",
       "\n",
       "                                              signature  \n",
       "1     b'9\\x83\\x12\\x8ew\\xcb\\xdd\\x98\\x8e.\\xd0n\\xd8h\\x8...  \n",
       "2     b'9I9\\xb4?C\\x01\\xc11\\x83\\xc6u\\xd6\\x97\\x10=\\xb8...  \n",
       "3     b'9\\xd6X\\xca\\x96\\r|\\xd9\\xe4s\\xf6\\x00Y\\xb6q\\xe8...  \n",
       "4     b'9\\xbf\\x1a\\x9bB\\x91\\xe3\\xaf/ :\\xb8\\xf9\\x1cH\\x...  \n",
       "5     b'9lB\\xb8\\xb0\\xc2\\x83\\xdf\\xeeT\\xb8.\\x12\\xac\\xf...  \n",
       "...                                                 ...  \n",
       "9995  b'95\\xe6\\xcb\\xc9\\xc3\\xad\\xba?`\\x11Y\\xbe\\xa9<\\x...  \n",
       "9996  b'9wr\\xbb\\xc2\"\\xe7\\xd7\\xa3\\xf81XIQ\\\\\\xbd\\x0c+X...  \n",
       "9997  b'9\\x8f\\r\\x95\\x16\\xcd@\\xdbn10~\\x05\\xb5\\xce\\xad...  \n",
       "9998  b'9\\xe4@\\x97\\x80\\xa1,\\xc0\\x19Ora\\xac\\'\\x8e\\xc3...  \n",
       "9999  b'9o\\xcf\\x91\\xadxQ\"\\xf7+\\xf4\\xa5\\xfev?\\x904R=?...  \n",
       "\n",
       "[9999 rows x 6 columns]"
      ]
     },
     "execution_count": 19,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "query_times"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [],
   "source": [
    "#%%bash\n",
    "#docker-compose exec -T auth pdnsutil export-zone-key ed255193.example 7"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {},
   "outputs": [],
   "source": [
    "#from cryptography.hazmat.primitives.asymmetric.ed25519 import Ed25519PrivateKey\n",
    "#import base64\n",
    "#private_key = Ed25519PrivateKey.from_private_bytes(base64.b64decode(\"eiajnduVQEgnfnoIbklw7T2SNyffZ6Hbw5MRnuDjhdo=\"))\n",
    "#query_times['check_signature'] = query_times['message'].apply(private_key.sign)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 26,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAABN4AAAIXCAYAAABDxpNgAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjUuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/YYfK9AAAACXBIWXMAAAsTAAALEwEAmpwYAAB//0lEQVR4nOzdd3iT5f/28TNpE7pp2RtBsAiVoUwFByAIioosQVmCgIAbBfTrYCigIrIEQWQKArKVJaDsVfa0DNkgo5SWtrRpm+cPnuTX2qYjbeh6v46D44Dc13Xfn9xtk+bkGgar1WoVAAAAAAAAgCxlzO4CAAAAAAAAgLyI4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXCDHBG9Wq1UxMTFik1UAAAAAAADkBTkmeIuNjdXhw4cVGxub3aUAAAAAAJBjHDlyJLtLAOCkHBO8AQAAAACA5O7cuZPdJQBwEsEbAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuQPAGAAAAAAAAuADBGwAAAAAAAOAC7tldAAAAAACkV0xMjEJDQxUREaH4+PjsLge4J9zd3XXs2LHsLgPINKPRKA8PD/n4+CggIEBGY94fD0bwBgAAACBXiImJ0blz5xQQEKD77rtPJpNJBoMhu8sCXC4yMlLe3t7ZXQaQKVarVQkJCYqKilJYWJjCw8NVtmxZubvn7Wgq70eLAAAAAPKE0NBQBQQEqEiRIjKbzYRuAJCLGAwGubm5ydfXV2XKlFGBAgUUGhqa3WW5HMEbAAAAgFwhIiJCfn5+2V0GACCTDAaDChcurFu3bmV3KS5H8AYAAAAgV4iPj5fJZMruMgAAWcBsNisuLi67y3A5gjcAAAAAuQbTSwEgb8gvr+cEbwAAAAAAAIALELwBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAIM9o3LixAgMDtXPnzuwu5Z7p3LmzAgMDtXjx4mzpD8Ax9+wuAAAAAACymtVq1e+//65Fixbp6NGjioyMVLFixdSgQQP17NlTFSpUSLX/yZMnNW3aNO3cuVNXr16Vt7e3HnzwQbVv314tW7ZMtW9UVJTmzJmj1atX68yZM0pISFDp0qXVtGlT9ezZU76+vqn237hxo+bNm6eDBw8qPDxcAQEBqlOnjrp166bq1atn+F78V3R0tH799Vdt2LBBJ0+e1M2bN+Xj46PSpUurUaNGevnll1WiRIlMXwfZLzw8XDNnzpQkvfnmm9lSQ+fOnbVr1y5J0tNPP60JEyY4bNuxY0ft3btX/fv3T7He6OhoLVy4UH/88YdOnDih27dvy9vbW0WLFlX58uVVp04dPfbYY6pcuXKSfosXL9bgwYPTVW+TJk30/fffOzy+fft2rVq1SsHBwbp27Zqio6Pl6+ur+++/X/Xr19cLL7ygsmXLJulz+vRprV69WgcPHtQ///yjmzdvKioqSn5+fnrwwQf13HPP6YUXXpDRyNiovIjgDQCAPGbF5tOKtcSneMxsclOrRhXvcUUAcG/Fxsbq3Xff1bp16yRJ7u7u8vb21sWLF/Xrr7/qt99+07fffqsmTZqk2H/58uX66KOPZLFYJEl+fn6KjIzU9u3btX37dv31118aNWpUijvyXbp0ST169NDp06clSR4eHnJzc9PJkyd18uRJLVu2TLNnz072wdxmyJAhmjt3riTJaDTK19dX169f1++//67Vq1frk08+UceOHZ2+N9u2bdPAgQN19epVSXd3FfT19VVERIQOHz6sw4cPa8aMGXrvvffUpUsXp6+TncqWLSuz2SxPT8/sLuWeKVmypCpUqJAs1A0PD7cHXdkVvCX2xx9/6PDhwwoKCspw37Nnz6pnz546d+6c/TEvLy9ZLBadOHFCJ06c0Lp161SlShUtW7bM4XmKFCmS6nUKFiyY4uPXrl3TBx98oO3bt9sfs722hIWFaffu3dq9e7e+//57de3aVQMHDrS3W7duncaOHWv/t4eHh0wmk27cuKEtW7Zoy5YtWrhwoaZMmSIfH5807wVyF4I3AADymFhLvGIcBG8AkB+MHj1a69atk7u7uwYOHKj27dvLw8NDV65c0Zdffqk1a9bovffe04oVK1SuXLkkfQ8fPmwP3Z566in973//U5kyZRQbG6vFixdr+PDhWrZsme6//3717t07Sd+EhAT1799fp0+fVtGiRfXll1+qYcOGMhqNOnjwoD7++GOFhISoT58+WrZsmdzdk34cmzVrlj1069Onj3103M2bNzVu3DjNnTtXQ4cOVeXKlVW7du0M35c///xTb775piwWi8qXL6933nlHTz75pLy8vJSQkKC9e/dq0qRJ2rJli7744guFh4erf//+Gb5OdrON8MpPvvrqq+wuId2+++47/fjjjxnqExcXp379+uncuXMqWrSo+vXrp5YtW9pDsrCwMO3du1dr1qzRmTNnUj3X1q1bM1zzlStX1LFjR126dEkeHh7q2rWrWrVqpUqVKslgMCg+Pl6HDx/Wb7/9pvnz52vNmjVJgrdKlSrp/fffV506dVSpUiV7QBoaGqpff/1VY8eO1Z49e/Tll1/qyy+/zHB9yNkYxwgAAAAgz7hx44Z+/vlnSVKPHj3UpUsXeXh4SJJKlCihb7/9Vvfdd5/u3LmTZASKzaRJk2SxWFS6dGmNGzdOZcqUkSSZzWa9/PLL6tOnjyRp8uTJCgsLS9J3w4YNOnLkiCRp5MiRevzxx+1Tx6pXr66JEyfKZDLp5MmTydbSiouLs09ve+655/Tuu+/aP5wHBATos88+U7169ZSQkKBvvvkmw/flypUrGjhwoCwWi2rWrKnFixerZcuW8vLyknR3dF3t2rU1bdo0vfLKK5KkCRMmJBndA2RGo0aNZDAYtHnzZgUHB2eo77Zt23TixAlJd39GO3bsmGRkmr+/vxo3bqxRo0Zp1qxZWVp3QkKC3nnnHV26dEn+/v6aN2+e3nvvPVWuXNk+6tXNzU01atTQxx9/rFWrVumhhx5Kco7GjRurV69eqlWrVpJRiYUKFVKvXr30+uuvS5J+++03+0hb5B0EbwAAAADyjB07dtg/uHbt2jXZcXd3d3Xu3FnS3WlvkZGR9mPx8fH20TAdO3aU2WxO1r9bt24yGAyKiorSH3/8keTYpk2bJEn333+/GjZsmKxvuXLl1LhxY0nS0qVLkxw7fPiwbt686bBuSerevbskad++fUmm26XHDz/8oFu3bsnLy0vffvttqtPZPvroI1WpUkVWq1Vff/11suPp2bwgMDBQgYGBunDhQorHQ0NDNXr0aLVq1Uq1atVSzZo19dxzz2nMmDHJAs2Urvvvv//q888/V5MmTRQUFKQXXngh3fXFxsZqzpw56tSpk+rWraugoCA99dRTGjx4sE6dOuXwOa1bt06vv/66Hn30UVWrVk1169ZV8+bN9d5772nlypUO+/3XxIkTFRgYqLfeeivZscOHD9vv3WeffZbs+ObNmxUYGGj/PrJJaXOEzp07J5lObTuv7c/48eNTrO/OnTsaP368mjdvrurVq6tBgwZ699130xxJlpYqVaromWeekaQUQ+/UhISESLo7TfS/odZ/FShQwLkCHfjjjz+0b98+SdLQoUNVtWrVVNuXLl1a3333XYauYXtOMTExunXrllN1IucieAMAAACQZ1y8eFHS3XXZChcunGKbihXvrnUZExOjPXv22B+/efOmoqOjJcnh5gs+Pj4qVqyYpLujcBK7dOlSqn0TH9u3b5/9Won7ptbfVreUselysbGx9qCvVatWKl26dKrt3d3d1bNnT0nSkSNHdPDgwXRfKz2Cg4PVokULTZkyRSEhIbJYLEpISNCJEyc0efJkvfjii/Y18lJy5swZvfDCC5o3b55u3Lghk8mU7mtfvXpV7dq107Bhw7Rnzx5FRETIbDbr0qVLWrx4sVq3bq21a9cm6zdmzBj169dPmzZt0o0bN1SgQAHduXNHZ86c0e+//64vvvgi3TXUrVtXkpJ879ns3r3b/veURoXZjtepUyfN6xQsWFABAQH2fxcpUiTJH9tox8Ru376tjh07asKECbp06ZIMBoNCQ0O1cuVKdejQIcOB73+9+eabcnNz065du5ya8nnr1i3FxMRkqoaMmj9/vqS700WbN2+erj4prf+YGluw5+np6fB1C7kXwRsAAACAPMP2gTc+3vFal3Fxcfa/nzx5Mllf6e70Mkds507cN73Xth1LSEhwOLrKUX9Hdafl0KFDioqKkiSHG0r8V+PGje3TZG07UmaFixcv6o033lBYWJg6duyotWvX6uDBg9q/f79WrFihhg0b6vLly3rzzTcd3oeRI0eqaNGimjdvnvbv3699+/Zp3LhxaV7bYrGob9++On78uBo0aKBffvlFBw8e1N69e7V582Z17dpVMTEx+vDDD5METBcuXNCUKVMkSb1799b27du1d+9eHTx4UNu3b9e4ceP0xBNPpPse1KhRQ2azWdevX0/2PWC7197e3jp58qRCQ0NTPJ6e4G3ChAn69ddf7f/eunVrkj89evRI1mf8+PG6deuWfvzxR/u9/fnnn1WiRAmFhYVp9OjR6X6eKbn//vv1/PPPS1KGRoXZNmOwWCz67LPPdPv27UzVkV4Wi0V79+6VJD311FNZeu47d+7o9OnTGjt2rKZNmyZJ6tSpU4ZDO+R8BG8AAAAA8gzbaK7IyEhduXIlxTaJw45r167Z/+7v728fBeQo2AoLC9P169clyb4zqE2pUqUkKdXRWonPm/jaiUehObq2o7rTkrhflSpV0tXH29vbvr6dbW2trDBmzBiFh4erV69e+vzzz1W+fHkZjUYZjUY98MADmjRpkgIDA3Xy5MlkU3lt3N3dNX36dD388MP2x8qXL5/mtZcuXapDhw6pdu3amjp1qmrVqmUfLVesWDF99NFH6tChg6KjozVjxgx7v4MHDyohIUEVK1bUe++9p0KFCtmPFSpUSM2bN8/Qgvhms1k1atSQlHSEW0JCgvbs2SNvb2+1bt062fHo6GgdPnxY0v+NmstqsbGxmj59uho1aiQ3Nzf72n8fffSRpLvrGMbGxmbqGv369ZPJZNLBgwftOw+npV69evbnvGTJEjVq1Ei9e/fWxIkTtWnTJoWHh6f7+o899liqf2xTxqW7I1FtI1PT+7OTlqpVqyowMFA1atRQixYt9P3338toNOqVV17Ru+++myXXQM5C8AYAAAAgz6hbt649TElp58SYmBjNnj3b/u/Ea7y5ubmpfv36kqS5c+faR4klNnXq1BT7SrKv63b27NkUQ6OQkJAkH+oT969atap9WqBt9EtiVqs1yfP577VTk3jNtMRTD9Nia+tozbWMio6O1urVq2U0Gu3r1f2X2Wy2T+f771RemxdeeEFFihTJ8PWXLFkiSerSpYvD6am20ViJp0Ha1sOLiIhIMj04M2y70iYO1kJCQnTr1i098sgj9u/DxMf3798vi8Wi4sWLJ9uNN6s0b948xRCzcePGMhgMio2NzfR007Jly6pNmzaS7q71ZrVa0+xjMBg0adIkvfjiizIajYqKitJff/2lcePG6fXXX1e9evXUuXNnbdy4Mc1zXb9+PdU/iYPFxN/7iTdzyAzbVF/bpi/S3TUle/funaFp08g93NNuAgAAAAC5Q5EiRdShQwfNmTNHc+bMkY+Pjzp27KhChQopJCREX331lS5evCh3d3fFxcUlm9bVp08fbdy4UdeuXdPrr7+ugQMHqkqVKrp165YWLFign376SSaTSRaLxT4V06Zx48aqUqWKjh8/ro8++ki3b99WkyZNZDabtWPHDg0dOlRGo9E+hTJxf5PJpF69emnUqFHasGGDPv30U73++usqUaKEzp07p/Hjx+vAgQP2a9/L6WhZtcvikSNH7LW3atXKYbs7d+5Iki5fvpzi8Vq1amX42nFxcfa16j799FMNHTo0xXa2r03i0ZI1atSQv7+/rl27pg4dOuiVV17Ro48+qrJly2a4Dpu6detq0qRJSabxJp5GWrt2bRkMBofHXcXRxgUmk0mFCxfW9evXs2Tx/759+2rJkiUKCQnR77//rueeey7NPj4+Pho1apTefvttrV27Vnv27NGRI0d08eJFJSQkaNeuXdq1a5e6d++uQYMGOTzP33//nen6M8MWvlutVl2+fFmzZ8/WrFmztGLFCo0fP95loxmRfQjeAAAAAOQptjW6Nm3apEmTJmnSpElJjr/99tuaPXu2QkND5efnl+RYjRo1NHToUH322WcKDg5Wu3btkhyvVq2agoKCNH/+/GR93dzcNGHCBL322ms6d+5csg//np6eGjBggEaMGCFJ8vX1TXK8e/fuOnXqlH799VfNnz/fvqi7Tbt27XT8+HEdOnQo2bVT4+/vb//7zZs3Vbx48XT1s+2y+t86nWWbmmu1Wu3TdVNjC+D+K/FUz/S6deuWPUBMzwi+xNcuWLCgvvrqK33wwQf6+++/9emnn0qSihYtqscee0xt2rTJcFhim+Z69epVnT17VuXLl7ePbqtXr54CAgJUuXJlhYSEKCwsTCaTKUMbKzjL29vb4THbbqGJ1xp0VvHixdWxY0fNmDFD48ePV4sWLeTm5pauvqVKlVK3bt3UrVs3SXeng65du1aTJk1SWFiYpk+frtq1a6tp06aZrjPxz05W7zZqMBhUqlQpDRw4UKVKldLw4cP1/vvva+3atfL09MzSayF7EbwBAAAAyFMKFCigH374QStXrtRvv/1mX+OsUqVKeuWVV1SvXj19//33klJeG6xt27aqUaOGZs+erX379ikiIkLFihXT008/rS5duuizzz5z2Lds2bJaunSp5s2bp7/++kuXLl2Sh4eHatWqpddeey1J4HTfffcl6WswGPTFF1+oWbNmWrRokUJCQhQbG6v77rtPbdu2VcuWLdW4cWOH13Yk8W6ox48fT1fwFhkZqQsXLqRYp7NsUwp9fX1T3LEzvf470jA9Em+WsXTpUj344IMZ6v/EE09o/fr1WrVqlbZt26Y9e/bo6tWrWrp0qZYuXar27dtr2LBh6T6fp6enqlWrpv3792vXrl0qV66cdu/eLS8vL1WrVk3S3YAtJCREwcHBevjhh3XgwAH743lB7969tWDBAp05c0ZLlixR27ZtnTqPLYh74okn1Lp1a0VHR2vRokVZEryVKlVKnp6eio6O1vHjx9M1Ms8ZHTp00FdffaWrV69q06ZN6d49FbkDwRsAAACAPMdoNOq5555L8YOybcqj5HjaYuXKlR1ORzxy5IgkqWbNmike9/b2Vs+ePdWzZ89kx2zTzAoXLuxwquITTzyR4i6ZN2/e1MWLF1O9dkqqV68uLy8vRUVFaf369enagXPDhg32sOq/QY9tZFJMTEyKfSMiIlJ8vHDhwpKk27dvKyIiIstG0qWHv7+/3NzcFB8fr0uXLmU4eJPuBobt27dX+/btJd3dBGPmzJlasGCBFixYoCZNmujJJ59M9/nq1Kmj/fv3a/fu3apZs6Zu3ryphg0byt3d3X78559/1u7du2U2mxUbG6siRYro/vvvz3DtOVGhQoXUpUsXTZ48Wd9//719fT1nVahQQY888oi2bNmiM2fOZEmNJpNJDz/8sLZu3ao///xTAwYMyJLz/pfZbJa/v7+uXr2a6TX0kPOwuQIAAACAfOW3336TJD344IMZDjFOnDihkJAQSUp1nTJHfv/9d0lyauTMypUrJd0NsB599NF09zObzXrxxRclSStWrLCHd47ExcXZN3IoWrSo6tWrl+S4LTD7999/U+x/6NChFB8PCgqSu7u7rFarNm/enO76s4LJZFJQUJAkJdngIjMqVaqkYcOG2UPQxOuxpYct0Ny9e7e9b+Ipq4mP79mzR9L/bcqQXolHB6ZnE4N77bXXXpOvr68uXryoBQsWZPp8timaWblJQeKgde3atenqk9F7HRkZaZ/abdtZGXkHwRsAAACAfOP48eP6+eefJUm9evXKUN/Y2Fj7KLjHH39cVapUyVD/+fPn69ChQ/L09FSXLl0y1PfKlSuaOHGipLtrwWU0WOjVq5f8/PwUFRWl9957T7dv33bYdsSIETp+/Lgk6Y033kh2rcDAQEnS+vXrk/W1Wq1Jdn5NzMfHR82aNZN0dzfL1GqIi4vL0M6t6dG6dWtJd3c3tT0/RxKv55V4l8uU2NY+S6vdfz3yyCNyc3PTpUuX7DuuJg7eihQpogoVKujYsWP23TozupacbUdWSQoPD89Q33uhYMGCeu211yRJkydPdjiKMiQkRNeuXUv1XNevX9eOHTskyakRjY40a9bMHq5+8sknOnr0aKrtL168qHfeeSfJY2mtizdr1iz7KNyMhqvI+QjeAAAAAOQpO3bs0E8//aSzZ8/ad6mMiIjQL7/8oq5duyomJkYtWrRQy5YtU+w/dOhQBQcHKyoqStLd9cGCg4PVtWtX7dq1S4UKFdKQIUNS7Dt//nwtXbo0yVpuly5d0tdff63PP/9c0t3NH8qUKZOs799//60JEyboxIkT9g/h0dHR+v333/Xyyy/rxo0bqlWrlrp3757he1KyZEmNGDFC7u7u2r9/v9q0aaNVq1YpOjra/hz37Nmjnj17as6cOZKkJ598Up06dUp2rmeeeUaS9Ndff2nKlCn2+3ThwgW999579qm4KXn//ffl7++vM2fOqGPHjtq0aZP9uVqtVp05c0bTp09XixYtdPjw4Qw/z9S0bdtWNWvWVExMjLp27aoFCxYkCf+uXbum5cuX69VXX9WsWbPsj8+bN089evTQihUr7BtESHeDrMmTJ9tHqzVq1ChD9fj4+NjD20OHDsnLy8s+Ks+mbt26SkhI0LFjxyRlfH03Pz8/FStWTJK0ePHiDPW9V7p27aqAgABdu3bN4ffOrl271KRJE33wwQfasGFDkg0ybt++reXLl6tTp06KiIiQ0WjUK6+8kmX1GY1GfffddypRooTCwsLUqVMnjRkzxr52pHR3N9yDBw/qyy+/VIsWLZKN+nz22Wc1e/ZsnTt3LslouNOnT2v48OEaO3asJOnpp5+2B9vIO1jjDQAAAECecunSJY0aNUqjRo2Su7u7vL29FR4ebv/A+9xzz2nkyJEO+//888/2UXF+fn6Kjo62h0OlS5fW5MmTVapUqRT77tu3zz56ycPDQ25ubvaRWyaTSQMHDkwxzJLu7rY5fvx4jR8/XkajUb6+voqIiLCvtVa/fn1NnDjRvgZYRjVt2lQ//PCDBg0apDNnzuidd96RwWCQn5+fIiMjk4zKadGihUaOHCmDwZDsPE888YSaNWumtWvXavTo0RozZox8fHwUHh4uDw8PTZw4UT169EixhjJlymjq1Knq16+fQkJC9Prrr8tkMsnb21uRkZH2+ywpxWtnhslk0vfff6/+/ftr7969+uSTT/TZZ5/Jz89PsbGx9gBRunuvbaxWq7Zs2aItW7ZIujsV0N3dPckIsg4dOqRr7bz/qlOnjj1ssu10+t/jtt1t/f39Vbly5Qxfo127dpo4caJGjhypcePGKSAgQJLUpUsX+86g2cnb21u9evXSqFGjHLZxd3dXTEyMli9fruXLl0u6+3UwGAxJRkYWKFBAQ4YMUfXq1R2e67HHHku1nhIlSmjRokVJHitZsqQWLlyo999/X7t27dLkyZM1efJk+/dueHi4/efUZDIlm4Z+5swZDR8+XMOHD5fZbJa3t7eio6OT7J77+OOPp3oPkHsRvAEAAADIUx555BF17dpVwcHBunjxoiIjI1W8eHHVrFlTbdu2TXNk0oABA7Rjxw6dPHlSN27ckLe3typUqKBmzZqpU6dO8vDwcNjXtpbagQMH9O+//yohIUH33XefHn30Ub366qupril3//33q3fv3tq5c6fOnz+v8PBwFS5cWNWqVdMLL7zgcIReRjRs2FBr167VwoUL9eeff+rkyZO6efNmktBt5MiR9mmZjowePVo//fSTli5dqgsXLsjd3V3NmzdX375905yCW716da1atUrz5s3T+vXrdfr0aUVERMjb21uBgYGqVauWmjdv7pLdOwsXLqw5c+Zo5cqVWrFihY4cOaJbt27JZDKpYsWKql69up588kk1adLE3qdVq1by9vbWtm3b9Pfff+vatWuKiopS0aJF9dBDD6ldu3b23WYzqk6dOpoxY4b97/+VeGpp7dq1nQoj+/XrJ09PT61YsULnzp2zr/HnaBOM7NCpUydNnz49yYjCxF5++WVVr15dmzZt0p49e3Tq1Cldu3ZNCQkJ8vf313333af69eurXbt2KY4mTSzxaNSU2KYO/1exYsU0e/Zsbdu2TStXrtSePXt07do13b59W/7+/qpUqZIaNGig1q1bq2TJkkn6Tpo0Sdu3b9fevXt19epV3bx5U+7u7ipfvrweeughPf/8804Ft8gdDNYcssJiTEyMDh8+rKCgIIff6AAAIG2LNpxQjCU+xWMFTG5q0zjj/1sOADnBsWPHsnTtJvyf0NBQdejQQefOnVPNmjU1Y8YM+0L1yH6RkZHy9vbO7jKALJcfXtcZ8QYAQD5iNhm1YvNpxToI5swmN7VqVPEeVwUAyG6FChXSlClT9PLLL2v//v16++239f333zs9rRUAcBebKwAAkM/EWuIV4+CPo0AOAJD3VahQQd9//73MZrM2btyojz76SDlkghQA5Fr89wUAAAAAQNLd9fH+uyMjAMB5jHgDAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABcgeAMAAAAAAABcgOANAAAAAAAHDh48qD59+qhevXqqUqWKAgMDNX78+Hty7d9++00dOnRQw4YNFRgYqMDAQO3cufOeXDu/ady4MfcXLuGe3QUAAAAAQFYaNGiQlixZIkmqVq2aFi9e7LDtgAEDtGLFCrVu3VojR468VyXmSYGBgckec3d3l5+fnwIDA/Xss8/qpZdekpubWzZU55wzZ86oS5cuio6OltFoVEBAgIxGo7y8vFx+7eXLl+uDDz6QdPc+FilSRJJkMpnS7Ltz50516dJFkmQwGLR06VJVqVIlxbbbtm1T9+7dJUl///13VpSe7y1evFgXL15U06ZN9eCDD2Z3OchmBG8AAAAA8qwjR45o7dq1atasWXaXkm/4+PjIw8NDknTnzh2FhoZq+/bt2r59u5YuXaoff/xRnp6e2Vxl+syfP1/R0dGqXbu2Jk2aJD8/v3t27ZkzZ0qSunXrpr59+6pgwYJOncdqteq7777T5MmTs7K8PKds2bIym81Z8r25ZMkS7dq1S6VLlyZ4A1NNAQAAAORt48aNU0JCQnaXkW98/PHH2rp1q7Zu3ao9e/Zo06ZNateunSQpODhY3377bTZXmH4nT56UJLVo0eKehm6Jr92mTRu5u2duzMyff/6pAwcOZEVZedbMmTO1evVqVa9ePbtLQR5D8AYAAAAgT6pbt648PT114sQJrVixIrvLybeKFy+u4cOHq379+pKkX3/9VRaLJZurSp87d+5I0j2ZWuqqaz/++OOSpDFjxmS6JgAZR/AGAAAAIE8qUqSIXnnlFUnShAkTFBcXl6H+oaGh+vnnn/XGG2/omWeeUa1atVSzZk21bNlSI0aM0L///ptivwsXLtgXwpek/fv366233lLDhg314IMP6osvvpB0dy0620L9sbGxmjRpklq1aqVatWopMDBQ4eHh9nPevn1b48eP1/PPP69atWqpVq1aatWqlcaNG6eIiIhkNUycOFGBgYF66623kh07fPiwvb7PPvss2fHNmzcrMDBQjRs3ztD9Sstzzz0nSYqKitI///wjKf33ymbHjh3q37+/HnvsMQUFBemxxx5Tv379tH379lSvnZCQoIULF+rVV19V3bp19dBDD6lx48b65JNPdPbs2WTtbQvt79q1S5I0ePBge50ZvS8Z+dr9935IUpMmTfTwww8rMDBQgwYNytC1Jentt9+W0WjU9u3bnd444Ny5c/r000/VpEkTPfTQQ6pTp45eeeUVLVy4UPHx8Sn26dy5swIDA7V48WLduXNH48ePV/PmzVW9enU1aNBA7777rs6cOZPqdUNDQzV69Gj7z0XNmjX13HPPacyYMQoLC0vSNioqSs2aNVNgYKDef//9FM939uxZ+8/X9OnTkxxLbXOF48eP68MPP1Tjxo0VFBSkWrVqqUmTJurRo4dmzJih6OhoSXfXdnP0fZPS987u3bs1fPhwtWvXTg0bNlRQUJAaNGigHj16aPXq1Q7vS+LXjvj4eM2YMUPPP/+8atSoobp166p37946dOhQqvc2KipK06ZN08svv2z/mWjSpIn69Omj5cuXpxiOJyQkaOnSperevbvq16+voKAgNWzYUO+88w4jKlPBGm8AAAAA8qyePXvql19+0blz57R48WK1b98+3X2nTp2qn376SdLdxe19fHwUERGhU6dO6dSpU1q+fLmmT5/ucNF6SVq5cqU++OADxcXFydfXN8WNBWJiYvTKK6/o4MGDMplM9vXRbM6ePavu3bvr4sWLkmRfgyokJEQhISFasmSJpk+frvvuu8/ep27dupKkPXv2JLve7t277X8PDg52eLxOnToOn5czihUrZv/77du3kx1P616NGTPGvk6ZwWCQr6+vbty4oXXr1mndunXq1atXioFLdHS0+vfvry1btkiS/R5fvHhRCxYs0LJly/Ttt9+qadOm9j4BAQGKiYnRrVu3ZLFYkqxbFxAQkO7nnNGvnZubm30ThevXr9uvZzQaZTAY5OPjk+5r21SuXFktW7bUb7/9pjFjxuiXX37JUP8///xTb7/9tmJiYiRJvr6+io6OVnBwsIKDg7Vy5UpNnDjR4ci827dvq2PHjjp69KjMZrOMRqNCQ0O1cuVKbdu2TQsXLlS5cuWS9QsODla/fv3sAZvJZJLRaNSJEyd04sQJLVu2TD/99JMqVqwo6e7IwK+//lqdOnXSb7/9piZNmqhly5b288XHx+uDDz5QVFSU6tWrp27duqXr+W/cuFH9+vWzB1G253DhwgVduHBBW7ZsUaNGjXT//ffLw8NDRYoUSfH7Rkr6vRMZGalXX33V/m9vb28VKFBAoaGh2rJli7Zs2aIOHTpo6NChDmuLi4tTr169tGXLFplMJplMJt26dUt//fWXtm/frpkzZ6pWrVrJ+p08eVK9evWyf1/aXt+uXLmiCxcu6M8//9TDDz+sMmXK2Pvcvn1bb775prZt2ybp7s+gt7e3rl27plWrVmnNmjX6+OOPkzwn3MWINwAAAAB5VkBAgP0D9vfff6/Y2Nh09y1ZsqTee+89LV++XAcOHNDOnTt16NAhLVq0SA0bNlRoaKgGDBggq9Xq8Bwff/yxmjRpovXr1ys4OFj79+9X165dk7T5+eefdebMGY0ZM0Z79+5VcHCwNmzYIE9PT8XGxurNN9/UxYsXVbJkSf3000/at2+f9u3bpxkzZqhUqVK6dOmS+vfvn+S51ahRQ2azWdevX9epU6eSXM82Gsfb21snT55UaGhoisezOni7fPmy/e8prZeW2r36/fff7aHbq6++qm3btmn37t3avn27OnfuLEmaMmWKli1bluy8I0aM0JYtW2Q2mzVkyBD7PV69erXq1q2rmJgYDRgwwD4KT5IWLVqkrVu32kOLxOvWLVq0KF3P15mvXcmSJe3Xsfn111/1xx9/aOvWrfrf//6Xrmv/11tvvSV3d3ft27dPGzduTHe/c+fO6b333lNMTIzq1q2rVatWKTg4WHv37tXQoUNlNpu1bdu2ZCMTExs/frxu3bqlH3/8Ufv379e+ffv0888/q0SJEgoLC9Po0aOT9bl48aLeeOMNhYWFqWPHjlq7dq0OHjyo/fv3a8WKFWrYsKEuX76sN998M8mIuxo1aqhPnz6SpM8//zzJqNRJkybpwIED8vPz06hRo2QwGNJ1D4YOHSqLxaKnnnpKq1ev1qFDh7Rnzx7t2bNHP//8s9q3b68CBQpIklq2bOnw++a/3ztGo1HNmzfXxIkTtXPnTu3du1d79uzR7t279emnn8rLy0vz58/XqlWrHNY2d+5cHT582P7asW/fPi1btkwPPPCAYmJiUvy6hIWFqWfPnrp48aLKlCmjiRMnat++fdq5c6f279+vuXPn6qWXXkq2ruDAgQO1bds2VatWTdOmTdOBAwe0Z88e7dq1S++8847c3Nz0xRdfpBj253cEbwAA5EIrNp/Wog0nkv1Zs/1MdpcGADlO9+7d5e/vr8uXL2vevHnp7telSxf17t1bgYGB9g+hbm5uCgoK0qRJk1SpUiWdOHEiyQiy/6pSpYq+++47+8gRd3f3JKNIpLtTvsaMGaOWLVvKbDZLkkqXLi2TyaSVK1fq77//lslk0pQpU/TYY4/JYDDIYDCoQYMGmjJlikwmk06cOKHly5fbz2k2m1WjRg1JSUe4JSQkaM+ePfL29lbr1q2THY+Ojtbhw4cl/d+ouayQkJBgDx18fX1VoUKFZG0c3Sur1aqxY8dKkp599ll98sknKlSokKS7wer//vc/+zTWsWPHJtlI48KFC1q4cKGkuyHIyy+/bL/HFSpU0JQpU1SuXDlFR0dr0qRJWfZ8JTn9tXOF8uXL68UXX5Qkfffdd6mGxYlNnjxZUVFRKleunKZMmWIfXWY2m9WhQwd7ELho0aIUp+xKdwPI6dOnq1GjRnJzc5PRaFTt2rX10UcfSZI2bNiQLBAfM2aMwsPD1atXL33++ecqX768jEajjEajHnjgAU2aNEmBgYE6efKk/vjjjyR933jjDdWoUUO3bt3SoEGDZLVadejQIfvX95NPPlHJkiXT9fxv3LihCxcuSJKGDx+e5PvWx8dHtWvX1rBhw5L9TKeHp6enxo0bp6ZNm8rf39/+uJ+fn1555RX7NPC5c+c6PEd4eLgmTpyY5LWjSpUqGjFihCTp0KFDunTpUpI+U6ZM0eXLlxUQEKC5c+eqadOm9r4mk0mPPPKIRowYoRIlStj7bNu2TevWrVOFChU0c+ZMNWzY0B42FixYUG+88YbeeustJSQkaMqUKRm+F3kdwRsAALlQrCVeMSn8iY1LeZ0VAMjPfHx81KNHD0l3P3RGRUVl+pxms1mPPvqoJGnv3r0O27322msyGlP/2BUYGKiGDRumeGzNmjWS7q4/9cADDyQ7XrlyZTVv3lySko2MqV27tqSkwVpISIhu3bqlRx55xL7ZQeLj+/fvl8ViUfHixVOc/pdRd+7c0ZEjR9SvXz8dPHhQktSpU6cUp9w6ulfHjh2zhzpvvPFGitfp16+fpLsjpWzXkaR169YpISFBRYsWte+smpinp6d69uwpSfrjjz8crlfmjMx87VyhX79+MplMOnr0qL221FitVq1du1aS1K1bN/s02cTatWun4sWLy2q1Ojxn8+bNVb58+WSPN27cWAaDQbGxsTp37pz98ejoaK1evVpGo1Hdu3dP8Zxms9l+72xTH23c3d311VdfycvLS9u2bdMPP/xgn8LcsmVLPf/882k+dxsvLy/79+S1a9fS3S8r2NaDO3DggMPvy9q1a9t/zhMLCgqyB2cnTpxIcsw2KvS1115T8eLF01XLkiVLJEnt27eXr69vim1atWolSdq5c2eW/hzlBazxBgAAACDP69y5s2bOnKnr169r9uzZ6t27d7r6nTp1Sj///LN2796tixcvKioqKtlooatXrzrsX7NmzTSvkVqbo0ePSpLq1avnsE39+vX122+/2dva1K1bV5MmTbJPHZWSTiOtXbu2DAaDw+POGjx4sAYPHpziscaNG6t///4pHnN0H44cOSJJKlSokCpXrpxim4oVK6p48eL6999/deTIEfu5bH0feeSRFMM+SfYA0rbpQ6VKlVJsl1GZ+dq5QqlSpdShQwfNmTNH48aNU7NmzVINhc+fP2/f/MHRczAajapbt65WrFhhv9f/9dBDD6X4uMlkUuHChXX9+nXdunXL/viRI0dksVhkMBjsYU5KbLu+Jp7CbHPfffdp0KBB+vTTT+27uRYvXlyff/65w/OlxNPTU3Xq1NHOnTvVo0cPvfrqq3rqqaf0wAMPOPx+yoi4uDgtWbJEq1ev1t9//62wsLBkmxrY1hq0jfJMzNG9le4+3ytXriS5txcuXLCvHfjEE0+ku859+/ZJujtdd9q0aam2jY6OVlhYmAoXLpzu8+d1BG8AAAAA8jxPT0/17t1bX3zxhaZNm6ZOnTo5HLlh8/vvv2vgwIH2D8JGo1G+vr72aVlRUVGKioqy72iYkpQ+LGekjW39tdRGptiOhYWFyWq12teuqlWrlkwmk65evaqzZ8+qfPny9tFt9erVU0BAgCpXrqyQkBCFhYXJ398/SzZWSLygvJubmwoWLKgHHnhALVu2VJMmTRz2c3Qfbt68meR5OlKiRAn9+++/9vZS+u5f4il1/13vLjMy87VzlT59+mjRokX2zUFs009TkvhepOf+Obp33t7eDvvapism3nHYFmRbrVZ7SJQaWwD3Xx06dNCSJUvsodGwYcNUsGDBNM/3X1988YV69+6tU6dOaezYsRo7dqy8vLxUp04dPfvss3r22WeTrYeWHpGRkerRo4e9Pkny8PCQr6+vPRC1PX9HrzEZvbc3btyw/71UqVLprtU22i/xTsupSe01MT8ieAMAAACQL7z88sv66aefdPnyZf300096++23HbYNDQ3V//73P1ksFrVs2VI9evRQYGCgTCaTvc13332nSZMmpbpeVnpGxaSnTUY2hbDx9PRUtWrVtH//fu3atUvlypXT7t275eXlpWrVqkm6G7CFhIQoODhYjRo10oEDB+yPO+vjjz/WSy+9lOF+ad0H266azshM38xy5mvnKkWLFlWnTp00bdo0TZgwQc8++2y6+sXExKQZVGcV28+Tr69virvuptfx48ft6xVKd3f4zcgoL5uyZctq+fLl+uuvv7Rp0yYFBwfr1KlT2rhxozZu3KiZM2dq9uzZqYZgKfn++++1b98+BQQEaNCgQWrUqFGSUWLx8fGqWrWqJKV7TT5Xsa2bOHHixCS7/yJ9WOMNAAAAQL5gNpvVt29fSdLMmTNTHd20adMmRUVFqVKlSho9erSCgoKShG5S0tEjrmIbBfbfBdITs+3c6O/vn2zElC1A2717t06ePKmbN2/q4Ycfto/QSXz8wIEDio2NVZEiRXT//fdn+XNxVkBAgCTpypUrqbazHbe1l/7v/qU0HfG//RK3zwqZ/dq5yuuvvy5vb2+dP38+1R1aE9+L1J6D7f5l1b2zhU+3b9+2T3XNqNjYWH3wwQeyWCz29fV+/PHHVNdjTI27u7uaNm2qoUOHauXKldqyZYs+/PBDFShQQEeOHNGECRMyfM7Vq1dLurvZw4svvphsamZ6RvtlVOJrXLx4Md39ihQpIin17wM4RvAGAAAAIN946aWXVK5cOUVGRmrq1KkO29nChMDAwBTXwbJardqxY4fL6rSxjXjZuXOnwza2OmxtE0scrNnWb0u8W2lKx1NarD072UbnRUVFJdk4IbF//vnHHmLZ2if++4EDBxxOf7PdPy8vrxR3W3VWZr92rhIQEKBu3bpJurtml6MReWXLlpWfn58kx88hISHB/n2T+L5nRlBQkNzd3WW1WrV582anzvHtt98qJCRERYoU0cyZM/XSSy8pPj5eH374oSIjIzNdY9GiRdWjRw917dpVkpLtbGwLUVMbqWb7fn3wwQdTPL59+/ZM1/lfZcqUUdGiRSXd/c+F9LKtmZiRPvg/BG8AAAAA8g13d3f74v5z5851uFOhbVrdiRMnUvzwvGDBgiQ7MbqKbefGTZs2pbgA/4kTJ+y7SbZo0SLZcdumApcuXbLvTJg4eCtSpIgqVKigY8eOacOGDcmO5wQPPvigfVfMyZMnp9jGNuKodOnSql69uv3xp59+WkajUWFhYZo/f36yftHR0fbF4p9++uksWTDfJrNfO1fq3r27/P39deXKFc2bNy/FNgaDQU8//bQkadasWSkGlwsXLtS///4rg8GgZ555Jktq8/HxUbNmzSRJY8eO1e3btx22jYuLSxak7dixQzNmzJB0d322QoUK6eOPP1bp0qV1/vx5ffnll+muxWKxpBqe2dZR+2946ePjI0mpjtiztQkJCUl2LDIyUpMmTUp3nRlh29X1p59+sod/aWndurUkacuWLWmGb4k3c8BdBG8AAAAA8pVWrVqpUqVKunPnjsNRaw0aNJDBYFBISIiGDx9uX1T89u3b+vHHHzV06FD5+/u7vNaWLVsqMDBQktSvXz9t27bNHgRs375dvXr1ksViUeXKle0fqBPz8fFRlSpVJEmHDh2Sl5eXgoKCkrSpW7euEhIS7LtSZmZ9N1cwGAx65513JEnr16/XsGHD7Bso3Lx5U8OHD9dvv/0mSXrnnXeSjFAsXbq02rdvL0kaPXq05s+fbw9J/vnnH/Xq1Utnz56Vp6en3njjjSytO7NfO1fy9fVVjx49JEl//fWXw3Z9+vSRl5eXrl69ql69eun06dOS7gZNCxYs0PDhwyVJbdu2Vbly5bKsvvfff1/+/v46c+aMOnbsqE2bNtk3ObFarTpz5oymT5+uFi1aJFnHLTw8XIMGDZLValWHDh305JNPSrr7czBq1CgZjUb9+uuvWr9+fbrqOHnypJ577jnNmDFD//zzj/3rZ7FYtGbNGnvA17BhwyT9bLvvrl271mH49thjj0mSRo4cqV27dtnPffDgQXXr1k1hYWHpqjGjXn/9dRUvXlw3b95Up06dtH79evvPhMVi0a5du/Tuu+8mmYL9+OOPq1mzZrJarerfv79+/PHHJFP1w8LCtG7dOvXp00cjR450Sd25GZsrAAAAO7PJqBWbTyvWEp/CMTe1alQxG6oCgKxlNBr11ltv6a233nLYpmLFiuratatmzJihOXPmaM6cOfLz89Pt27eVkJCghg0bKigoyOEIrKxiNps1fvx4de/eXRcvXlT37t3l6ekp6f92DixVqpTGjx9v3231v+rUqWMP1Ww7nf73uG00mL+/vz00yElatmypv//+W5MnT9acOXM0d+5c+fr6KiIiwr7we69evVIMsAYNGqTz589r69at+vTTTzVs2DB5enraw1Sz2axvvvkmS6eZ2s6b2a+dK3Xu3FkzZ85MdS2xcuXKafTo0XrnnXe0a9cutWjRQn5+foqOjrYHYQ0aNNBHH32UpbWVKVNGU6dOVb9+/RQSEqLXX39dJpNJ3t7eioyMtF9bUpK18YYMGaLLly+rfPnyGjRoUJJz1qlTR927d9e0adP0ySefqGbNmsnWVUvJyZMnNWLECI0YMUJms1leXl4KDw+3f98FBQXZ1460ef755zVt2jTt2bNH9evXV6FChWQymVS8eHH7CMN33nlHW7du1eXLl9W5c2cVKFBAbm5uioqKkoeHhyZOnGgPR7NSQECApk6dql69eunChQvq27ev/d7evn3bvgvq+++/n6TfqFGjlJCQoHXr1unrr7/WN998I19fX8XHxycZdejMxip5HSPeAABAErGWeMWk8CelMA4AcqtmzZqluSbV4MGDNWzYMFWtWlVms1nx8fF68MEH9dFHH2nKlCn2DQpcrXz58lq2bJn69etnXyhekh544AH17dtXy5cvTzU0SjyCLaXRbImnltauXfueLfKfUe+++65mzJihJk2aKCAgQFFRUfL391fjxo01Y8aMZEGBjaenp6ZOnarhw4erdu3a8vDwUHR0tEqXLq127dppxYoVLtupMbNfO1fy9PRU796902zXuHFjrVixQu3bt1fp0qUVHR0tDw8PPfLIIxo2bJimTZsmLy+vLK+vevXqWrVqlQYMGKBatWrJy8tLERER8vT0VFBQkDp37qw5c+bYv39Xrlyp3377TW5ubvrqq69SrOmdd97RAw88oBs3bujjjz9Os4b7779f48aN08svv6yqVavaw3dfX1898sgj+uSTTzRv3jz7tNHE/aZPn65GjRrJx8dH169f18WLF5NM7SxbtqwWLlyo559/XoULF1ZCQoJ8fX3VqlUr/frrr8lG0WWlwMBA/f7773rnnXcUFBSkAgUKKDo6WiVLllTTpk317bffqkSJEkn6eHl5aeLEifrhhx/UrFkzFStWTNHR0YqLi1P58uXVokULjRgxQv/73/9cVnduZbBm9760/19MTIwOHz5s/6IDAADHFm04oZgUgjBfL5NiLQkpHsvs8QImN7VpnPNGQQDIP44dO+ZwIXIgL4uMjJS3t3d2lwFkufzwus6INwAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABdwz+4CAABAcis2n1asJT7FYz6epntcDQAAAABnELwBAJADxVriFeMgeDObGLAOAAAA5Ab85g4AAAAAAAC4AMEbAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAHKM+PiE7C4hQ1xR77p16/Tyyy/r4YcfVmBgoB5++GEdO3bMqXMNGjRIgYGBWrx4cRZXCSA92FwBAAAAAJBjuLkZNXfN8ewuI906Na+Spec7evSo3n77bUlS/fr1VbRoUcXFxalgwYJZeh0A9wbBGwAAAAAAOcS6desUFxenPn366N1335UkRUZGytvbO5srA+AMppoCAAAAAJBDXL58WZJUvnz5bK4EQFZgxBsAAAAAANls/PjxmjBhgv3fgwcP1uDBgyVJrVq10jfffKM1a9bor7/+0sGDB/Xvv/8qJiZGJUqUUMOGDdWrVy+VLFkyw9c9cOCAZs2apb179+ratWvy9vZW6dKl9eSTT6pz584KCAhI0v6vv/7SnDlzdOjQIUVGRqpw4cKqX7++evXqpfvvvz/Z+Rs3bqyLFy9q/fr1Onv2rKZMmaLDhw8rLi5OgYGB6t27t5o0aZLhuoHcghFvAAAAAABkswcffFCtW7dWuXLlJEkPP/ywWrdurdatW6tmzZqSpHfffVerV6+Wp6enHn30UT322GOKjY3V3Llz1bp1a/3zzz8ZuuYPP/ygDh066LfffpO3t7eefvpp1ahRQ7dv39bEiRMVEhKSpP3o0aPVu3dvbd26VZUrV1bz5s3l6+urpUuXqnXr1vrrr78cXuvXX39Vjx49FBUVpSeeeEIVK1bUgQMH1K9fP61evTpDdQO5CSPeAAAAAADIZk2bNlXTpk01aNAgnTt3Tu3atdNLL70k6e4ab5L0zTff6KmnnpKnp6e9X1xcnCZMmKBJkybpiy++0I8//piu6/3xxx/69ttv5eXlpdGjR6tx48ZJjh88eFDFihWz/3vjxo2aMmWKvLy8NGXKFNWpU8d+7Mcff9TXX3+tAQMGaM2aNSpcuHCy6/3444+aMmWKHn/8cftj33//vcaOHatvv/1WzzzzTLrqBnIbRrwBAAAAAJALtGzZMknoJknu7u565513VKxYMW3dulW3b99O17ls01o//PDDZKGbJFWvXl0lSpSw//unn36SJHXp0iVJ6CZJPXv2VM2aNRUREaEFCxakeL3OnTsnCd1s/Xx9fXX27FldunQpXXUDuQ0j3gAAAAAAyCX++ecfbd68WefOnVNkZKSsVqskKT4+XgkJCTp37pyqVq2a6jmuXbum48ePy2QyqXXr1mleMy4uTnv37pUkh+1feukl7d+/X7t27dIbb7yR7PiTTz6Z7DGz2ayyZcvq6NGjunr1qkqVKpVmLUBuQ/AGAAAAAEAOFxcXpyFDhmjhwoX2sC0l6RnxZhtdVrJkSXl4eKTZPiwsTLGxsTIajQ7DsbJly0qS/v333xSPO+rn4+MjSYqJiUmzDiA3IngDAAAAACCHmzVrlhYsWKBixYpp8ODBqlWrlgoXLiyz2SxJevnll7Vv375UQzkbg8HgdB3O9s3MNYHcjDXeAAAAAADI4Ww7fw4dOlQtW7ZUyZIl7aGbJJ09ezbd5ypZsqQk6fLly7pz506a7f39/WU2m5WQkKCLFy+m2Ob8+fOSpOLFi6e7DiA/IHgDAAAAACCHu3XrlqT/C80S27p1q0JDQ9N9rqJFiyowMFAWi0VLly5Ns727u7sefvhhSXLYfsmSJZKkunXrprsOID8geAMAAAAAIIerUKGCJGnu3LlKSEiwP37u3Dl99tlnGT5f//79JUlfffWVNm7cmOz4oUOHdOXKFfu/u3fvLkmaOXOm9uzZk6Tt9OnTtW/fPvn6+qpdu3YZrgXIy1jjDQAAAACAHK53797asmWL5s+fr507d6pq1aq6deuWdu3apVq1aqlIkSLat29fus/XrFkzvfnmmxo/frx69eqlBx54QJUrV1ZkZKT++ecfnT17VrNmzVKJEiUk3d2V9PXXX9fUqVP16quvqnbt2ipWrJhCQkIUEhKiAgUK6Ouvv1aRIkVcdQuAXIngDQAAAACQY8THJ6hT8yrZXUa6xccnyM3N9ZPJatWqpV9//VVjxozR4cOHtX79epUpU0Z9+vRRr1691KNHjwyfs3///qpfv75mz56tPXv2aO3atfLx8VGZMmX05ptvKjAwMEn7AQMG6JFHHtGcOXN0+PBh7du3T4UKFdILL7ygXr16qVKlSln1dIE8w2BNz5Yn90BMTIwOHz6soKAgFShQILvLAQAgWy3acEIxlvgUj/l6mRRrSUjxeGrHMnu8gMlNbRpXzsCzAICsdezYMT344IPZXQZwz0VGRsrb2zu7ywCyXH54XWeNNwAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXIDgDQAAAECuYbVas7sEAEAWyC+v5wRvAAAAAHIFNzc3WSyW7C4DAJAFYmNj5e7unt1luBzBGwAAAIBcwdfXV+Hh4dldBgAgk6xWq27cuKGCBQtmdykul/ejRQAAAAB5QqFChXTu3DlJkp+fn0wmkwwGQzZXBQBID6vVqoSEBEVFRSksLExxcXEqVqxYdpflcgRvAAAAAHKFAgUKqFy5cgoNDdWZM2cUHx+f3SUB90RsbKzMZnN2lwFkmtFolKenp7y9vRUQECCjMe9PxCR4AwAAAJBrFChQQCVLllTJkiWzuxTgntmzZ49q1KiR3WUAcELejxYBAAAAAACAbEDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuQPAGAAAAAAAAuADBGwAAAAAAAOACBG8AAAAAAACACxC8AQAAAAAAAC5A8AYAAAAAAAC4AMEbAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuQPAGAAAAAAAAuADBGwAAAAAAAOACBG8AAAAAAACACxC8AQAAAAAAAC5A8AYAAAAAAAC4AMEbAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAu4Z3cBAADkRys2n1asJT7FYz6epntcDQAAAABXIHgDACAbxFriFeMgeDObGJAOAAAA5AX8Zg8AAAAAAAC4AMEbAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuQPAGAAAAAAAAuADBGwAAAAAAAOACBG8AAAAAAACACxC8AQAAAAAAAC5A8AYAAAAAAAC4gHt2FwAAAHIHs8moFZtPK9YS7+C4m1o1qniPqwIAAAByLoI3AACQbrGWeMU4CN4AAAAAJMVUUwAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABcgeAMAAAAAAABcgOANAAAAAAAAcAGCNwAAAAAAAMAFCN4AAAAAAAAAF3A6eLt9+3ZW1gEAAAAAAADkKU4Hb40aNdLAgQO1c+fOrKwHAAAAAAAAyBPcne0YHR2t5cuXa/ny5SpTpoxeeukltW7dWiVKlMjK+gAAAAAAAIBcyekRbzNnztRzzz0nDw8PnT9/XuPGjVOTJk30+uuva/Xq1bJYLFlZJwAAAAAAAJCrOD3irV69eqpXr55u376t33//XYsXL9aBAwe0efNmbdmyRQULFlSrVq3Upk0bValSJStrBgAAAAAAAHK8TO9q6uPjow4dOmj+/Pn6/fff1b17dxUuXFhhYWGaM2eOWrdurZdeeklz585VREREVtQMAAAAAAAA5HiZDt4Su//++zVw4EBt3LhREydOVJMmTeTm5qZjx45p2LBhatiwod5//302ZAAAAAAAAECel6XBm42bm5sef/xxtWzZUlWrVpUkWa1WxcTE6Pfff1e3bt3UunVr7dixwxWXBwAAAAAAALKd02u8OXL06FEtXrxYK1asUHh4uKxWq0wmkxo3bqxmzZpp+/btWrlypY4dO6bXXntNEyZMUOPGjbO6DAAAAAAAACBbZUnwdvPmTS1fvlyLFy9WSEiIpLsj3CpWrKh27drphRdeUKFChSRJzz77rAYNGqQvv/xSixcv1sSJEwneAAAAAAAAkOc4HbwlJCRo06ZNWrx4sf7880/FxcXJarXK09NTzzzzjNq2batHHnkkxb4+Pj4aMmSIVq1apZMnTzpdPAAAAAAAAJBTOR28Pf7447px44asVqskqWrVqmrXrp1atWolHx+fNPubTCYFBATo8uXLzpYAAAAAAAAA5FhOB2/Xr1+Xr6+vnnvuObVv314PPvhghs8xcOBARUVFOVsCAAAAAAAAkGM5HbyNHDlSLVq0UIECBZy+ePPmzZ3uCwAAAAAAAORkTgdvL774YhaWAQAAAAAAAOQtTgdvd+7c0aFDh1SgQAFVr1491bYHDx5UTEyMqlevnqkRcgAAAAAAAEBuYXS24/Lly9WlSxetXLkyzbYLFy5Uly5d9Pvvvzt7OQAAAAAAACBXcXrE25o1ayRJL7zwQppt27dvr4ULF2rVqlV66aWXnL0kAADIwcwmo1ZsPq1YS7yD425q1ajiPa4KAAAAyD5OB2///POPTCaTqlSpkmbbatWqyWQy6fTp085eDgAA5AKxlnjFOAjeAAAAgPzG6amm165dk5eXlwwGQ9oXMRrl7e2t69evO3s5AAAAAAAAIFdxOnjz8fFRRESE7ty5k2bbO3fuKCIiQh4eHs5eDgAAAAAAAMhVnA7eAgMDlZCQoLVr16bZds2aNYqPj1flypWdvRwAAAAAAACQqzgdvLVo0UJWq1UjR47UiRMnHLYLCQnRyJEjZTAY1KJFC2cvBwAAAAAAAOQqTm+u0KZNG82bN0/Hjx9X27Zt1aZNGz3++OMqWbKkJOnSpUvauHGjlixZopiYGD3wwANq3759lhUOAAAAAAAA5GROB2/u7u764Ycf1KdPHx07dkzz5s3TvHnzkrWzWq168MEHNWnSJJlMpkwVCwAAAAAAAOQWTgdvklS8eHHNnz9fCxcu1PLly3XkyBHFxcXdPbG7u6pVq6YXXnhBbdu2ldlszpKCAQDILVZsPq1YS3yyx308+Y8oAAAAID/IVPAmSWazWa+88opeeeUVxcXF6datW5KkggULyt0906cHACDXirXEKyaF4M1scnqJVQAAAAC5SJYmY+7u7ipcuHBWnhIAAAAAAADIlfgvdwAAAAAAAMAFMj3iLSEhQXv37tWJEycUHh4ui8WSavv+/ftn9pIAAAAAAABAjpep4O2PP/7QsGHDdO3atTTbWq1WGQwGgjcAAAAAAADkC04Hb9u2bdPbb7+thIQEmUwmVa9eXcWLF1eBAgWysj4AAAAAAAAgV3I6eJs8ebISEhJUp04djR49WsWKFcvKugAAQB5jNhm1YvNpxaaw0+vd425q1ajiPa4KAAAAcB2ng7cjR47IYDBo5MiRhG4AACBdYi3xinEQvAEAAAB5jdO7mlqtVvn4+Kh06dJZWQ8AAAAAAACQJzgdvN1///2Kjo5WTExMVtYDAAAAAAAA5AlOB2+dOnVSXFycli1blpX1AAAAAAAAAHmC02u8tW7dWnv27NGXX34pb29vPfvss1lZFwAAAAAAAJCrOR28DR48WJJkNps1YMAAjR49WkFBQfL29nbYx2Aw6Msvv3T2kgAAAAAAAECu4XTwtmTJEhkMBlmtVknSpUuXdOnSpVT7ELwBAAAAAAAgv3A6eOvfv39W1gEAAAAAAADkKQRvAAAAAAAAgAs4vaspAAAAAAAAAMeyLHizWq0KDQ1Nc503AAAAAAAAID9weqqpzb59+/TDDz9o586dunPnjgwGg44ePWo/Hh4erpEjR8pgMOh///ufPD09M3tJAAAAAAAAIMfL1Ii3n3/+Wa+++qr++usvRUdHy2q12nc5tfHz89PNmze1ePFirVmzJlPFAgAAAAAAALmF08HbwYMH9cUXX8hgMOj999/XX3/9pSJFiqTYtk2bNrJardq0aZPThQIAAAAAAAC5idNTTadPny6r1ao333xTr7/+eqpt69SpI0k6cuSIs5cDAAAAAAAAchWnR7wFBwdLkjp16pRm24IFC8rb21v//vuvs5cDAAAAAAAAchWng7ebN2/Kx8dHvr6+6Wrv5uamhIQEZy8HAAAAAAAA5CpOB2++vr6KjIxUbGxsmm1DQ0MVERGhQoUKOXs5AAAAAAAAIFdxOnirUqWKrFar9uzZk2bbJUuWyGq1qnr16s5eDgAAAAAAAMhVnA7eXnjhBVmtVo0ePVqRkZEO223ZskXjxo2TwWBQmzZtnL0cAAAAAAAAkKs4vavpCy+8oGXLlmn79u1q37692rVrZ592umHDBl26dEmbNm3Sli1blJCQoKefflpPPPFElhUOAAAAAAAA5GROB28Gg0ETJkzQhx9+qPXr12vUqFH2Y/369ZMkWa1WSVKzZs2SHAcAAAAAAADyOqeDN0ny9vbWxIkTtX37di1evFj79+/XtWvXlJCQoCJFiqhmzZpq3bq1GjVqlFX1AgAAAAAAALlCpoI3mwYNGqhBgwZZcSoAAAAAAAAgT3B6cwUAAAAAAAAAjhG8AQAAAAAAAC7g9FTTCRMmONWvf//+zl4SAAAAAAAAyDUyFbwZDIZ0t7darTIYDARvAAAAAAAAyBecDt5efPHFVIO3iIgIHTlyRJcvX1bBggXVuHFjZy8FAAAAAAAA5DpOB28jR45MV7tly5bp008/lZubm4YPH+7s5QAAAAAAAIBcxengLb1eeOEFRUdHa8iQIXrkkUfUunVrV18SAAAAAAAAyHb3ZFfTF198UW5ubpo3b969uBwAAAAAAACQ7e5J8Obh4SEPDw+dPHnyXlwOAAAAAAAAyHb3JHi7cOGCbt++LaPxnlwOAAAAAAAAyHYuT8KuX7+uwYMHy2AwKCgoyNWXAwAAAAAAAHIEpzdXGDx4cKrHY2NjdeXKFR06dEgWi0VGo1F9+vRx9nIAAAAAAABAruJ08LZkyRIZDAZZrdY02xYrVkyffvqp6tev7+zlAAAAAAAAgFzF6eCtf//+qR53c3OTn5+fHnjgAT388MNyc3Nz9lIAAAAAAABAruOy4A0AAAAAAADIz9hmFAAAAAAAAHABp0e8AQCQ363YfFqxlvgUj/l4mu5xNQAAAAByGqeDt6VLl2ZZES+++GKWnQsAgHsl1hKvGAfBm9nEoHIAAAAgv3M6eBs0aJAMBkOWFEHwBgAAAAAAgLzG6eCtTp06kqTjx48rIiJCklSyZEkVL15cknT16lVdunRJkuTn56fAwMDM1goAAAAAAADkGk4Hb7Nnz9aoUaO0e/dutW3bVr1791bZsmWTtLlw4YKmTJmiBQsWKCgoSAMHDsx0wQAAAAAAAEBu4HTwtmzZMs2YMUOvv/663n///RTblClTRkOHDpW/v7+mTp2qqlWrqlWrVk4XCwAAAAAAAOQWTq/8PHfuXBmNRvXu3TvNtr169ZLRaNTPP//s7OUAAAAAAACAXMXp4O3kyZPy8fGRj49Pmm1t7U6ePOns5QAAAAAAAIBcxengzWAwKCIiQjdu3Eiz7Y0bNxQeHu7spQAAAAAAAIBcx+ngrWrVqrJarfr666/TbPv111/LarUqKCjI2csBAAAAAAAAuYrTwVvPnj1ltVq1bNkyde/eXdu2bdOdO3fsx2NiYrRt2za99tprWrZsmQwGg3r27JklRQMAAAAAAAA5ndO7mj7++OMaMGCARo8erR07dmjHjh0yGo32Nd9u376thIQEWa1WGQwGDRgwQA0bNsyywgEAAAAAAICczOkRb9LdUW+zZ89W3bp1JUnx8fG6deuWbt26pfj4eElSgwYNNGfOHPXo0SPz1QIAAAAAAAC5hNMj3mxq166tmTNn6tatWzp69Khu3rwpSQoICFDVqlVVsGDBTBcJAAAAAAAA5DaZDt5sChYsqAYNGmTV6QAAAAAAAIBcLVNTTQEAAAAAAACkLNMj3s6fP6+ZM2dq69atunLlimJiYnT06FH78fDwcM2aNUsGg0G9evWSyWTK7CUBAAAAAACAHC9Twdsff/yhDz/8UHfu3JHVapUkGQyGJG38/Py0c+dOBQcHq1KlSmrevHlmLgkAAAAAAADkCk5PNT116pQGDBig6OhotW/fXnPmzFFAQECKbdu1ayer1aq//vrL2csBAAAAAAAAuYrTI96mTZummJgYdevWTYMGDZIkubm5pdj20UcflSQdPHjQ2csBAAAAAAAAuYrTI9527Nghg8Ggnj17ptm2SJEi8vT01OXLl529HAAAAAAAAJCrOB28Xbt2Td7e3ipSpEi62pvNZlksFmcvBwAAAAAAAOQqTgdvXl5eio6OVnx8fJptb9++rYiICBUsWNDZywEAAAAAAAC5itPBW6VKlZSQkKAjR46k2XbVqlVKSEhQUFCQs5cDAAAAAAAAchWng7cWLVrIarVq7NixSkhIcNju77//1jfffCODwaBWrVo5ezkAAAAAAAAgV3F6V9MOHTpo4cKF2rZtm7p27aouXbooLi5O0t2w7dKlS9q0aZOWLFmiO3fu6JFHHlHLli2zrHAAAJC3mE1Grdh8WrGW5MtYmE1uatWoYjZUBQAAADjP6eDNZDLpxx9/1BtvvKHdu3crODjYfuzFF1+0/91qtapmzZoaP368DAZDpooFAAB5W6wlXjEpBG8AAABAbuR08CZJRYsW1S+//KIlS5ZoyZIlOnTokH3nUjc3NwUFBal169Zq27at3N0zdSkAAAAAAAAgV8l0Gubu7q527dqpXbt2io+P161bt5SQkCB/f3/CNgAAAAAAAORbTm+uUKdOHdWrV0/nz5+3P+bm5qZChQqpSJEihG4AAAAAAADI15wO3iwWi+Lj41W2bNmsrAcAAAAAAADIE5wO3kqWLGlfzw0AAAAAAABAUk4Hb40bN1ZsbKy2bt2alfUAAAAAAAAAeYLTwVufPn1UunRpffLJJzp16lRW1gQAAAAAAADkek7vgLB+/Xp17NhREydO1IsvvqjHH39cNWvWVKFCheTm5uaw34svvujsJQEAAAAAAIBcw+ngbdCgQTIYDLJarZKkDRs2aMOGDWn2I3gDAAAAAABAfuB08FanTp2srAMAAAAAAADIU9IdvM2aNUuenp5q166dJGn27NkuKwoAAAAAAADI7dK9ucKXX36pcePGpXjso48+0ptvvpllRQEAAAAAAAC5XYammtrWc/uvTZs26caNG1lSEAAAAAAAAJAXpHvEGwAAAAAAAID0I3gDAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABfI0K6mt27dUpcuXZI9HhYWJkkpHkvMYDBo5syZGbkkAAAAAAAAkCtlKHizWCzatWuXw+OpHZPuBm8AAAAAAABAfpDu4K1169aurAMAAAAAAADIU9IdvI0YMcKVdQAAAAAAAAB5CpsrAAAAAAAAAC6QoTXeAADIT1ZsPq1YS3yKx3w8Tfe4GgAAAAC5DcEbAAAOxFriFeMgeDObGDQOAAAAIHV8agAAAAAAAABcgOANAAAAAAAAcAGCNwAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAXcs7sAAACAtJhNRq3YfFqxlngHx93UqlHFe1wVAAAAkDqCNwAAkCvEWuIV4yB4AwAAAHIigjcAQL7maBSVj6cpG6oBAAAAkJcQvAEA8jVHo6jMJpZBBQAAAJA5fKoAAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABcgeAMAAAAAAABcgOANAAAAAAAAcAGCNwAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABcgeAMAAAAAAABcgOANAAAAAAAAcAH37C4AAABXWrH5tGIt8Ske8/E03eNqAAAAAOQnBG8AgDwt1hKvGAfBm9nEwG8AAAAArsMnDgAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXMA9uwsAAADILLPJqBWbTyvWEu/guJtaNap4j6sCAABAfkfwBgAA8oRYS7xiHARvAAAAQHZgqikAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuQPAGAAAAAAAAuADBGwAAAAAAAOACBG8AAAAAAACACxC8AQAAAAAAAC5A8AYAAAAAAAC4AMEbAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuQPAGAAAAAAAAuIB7dhcAAMj7Vmw+rVhLfIrHzCY3tWpU8R5XBAAAAACuR/AGAHC5WEu8YhwEbwAAAACQVxG8AQBytdRG0/l4mu5xNcipzCajw+8VRl0CAADAVQjeAAC5Wmqj6cwmljLF/2HkJQAAAO41PpEAAAAAAAAALkDwBgAAAAAAALgAU00BADkaa7gBAAAAyK0I3gAAORpruAEAAADIrfjEAgAAAAAAALgAwRsAAAAAAADgAkw1BQBkK7PJ6HAdN9ZwAwAAAJCbEbwBALKdo3XcWMMNAAAAQG5G8AYAyDR2HgUAAACA5AjeAACZxs6jAAAAAJAcn4YAAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXIDgDQAAAAAAAHABgjcAAAAAAADABdyzuwAAAIDsZDYZtWLzacVa4h0cd1OrRhXvcVUAAADICwjeAABAvhdriVeMg+ANAAAAcBZTTQEAAAAAAAAXIHgDAAAAAAAAXICppgAASWKNKwAAAADIYgRvAABJrHEFAAAAAFmNqaYAAAAAAACACxC8AQAAAAAAAC7AVFMAQJrMJqPDNeB8PE3ZUBEAAAAA5HwEbwCAdHG0BpzZxOBp5G2pBc/S3fA5Ni4hxeNsTAIAAJC/EbwBAACkIbXNR8wmo2ItCS7bnMRR6EeoBwAAkPMRvAEAAORg7DgMAACQezE/CAAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABcgeAMAAAAAAABcgOANAAAAAAAAcAGCNwAAAAAAAMAFCN4AAAAAAAAAF3DP7gIAAADysxWbTyvWEp/iMR9P0z2uBgAAAFmJ4A0AACAbxVriFeMgeDObmJwAAACQmxG8AQAAuIjZZGREGwAAQD5G8AYAAOBCjGgDAADIv/htDwAAAAAAAHABgjcAAAAAAADABQjeAAAAAAAAABdgjTcAyCdY4B3IW9LauMFsclOrRhXvcVUAAABIjOANAPIJFngH8p60fq4J5gAAALIXwRsAAEAelVowBwAAANdjiAMAAAAAAADgAox4A4A8xNG0MtZwAwAAAIB7j+ANAPIQR9PKWMMNAAAAAO49PokBAAAAAAAALkDwBgAAAAAAALgAwRsAAAAAAADgAgRvAAAAAAAAgAsQvAEAAAAAAAAuwK6mAAAAQBZYsfm0YlPYWVqSzCY3tWpU8R5XBAAAshvBGwAAAJAFYi3xinEQvAEAgPyJqaYAAAAAAACACzDiDQAAAClyNHWSaZMAAADpQ/AGALlIausH+Xia7nE1API6pk4CAABkDsEbAOQiqX0INptYPQAAAAAAchKCNwAAAGSI2WRkB08AAIB0IHgDAABAhjENNesRZgIAkPcQvAEAAORDaY1aY93Ie48wEwCAvIfgDQAAIJ9i3UgAAADX4jcqAAAAAAAAwAUY8QYAAADkcqwPBwBAzkTwBgAAAORyrA8HAEDORPAGAACALJXWxg3ZOQIrp9YFAADyJoI3AAAAZLnMjMDKbDjmqL+PpynXjgxLLcxkB1oAAHIugjcAAADcU2mFSJkNxxz1z+07tebV5wUAQF5G8AYAAIB7jhApZ3EUhDL9FgCAzCF4AwAAAPK51IJQ1sUDAMB5BG8AAAAAHEpt6i/BHAAAqSN4AwAAAPKwtMKxzG7OkFs3rAAA4F4geAMAAABczNXhV1rSGrUGAABcg+ANAAAAUPrCsdi4BIe7saaF8AsAgPyH4A0AAAD4/9IKx2ItCezGCgAA0o3fEAAAAAAAAAAXYMQbAOQg2bn+DwAAAAAgaxG8AUAOwvo/AAAAAJB3ELwBQBZzNGrNbHJTq0YVs6EiAAByptRGevO+CQDICwjeACCLORq1lp7d8gAAyE9SG+kNAEBeQPAGAPcQU0kBAAAAIP/gUx4AAAAAAADgAox4AwAAQK7BtP38I62vNWvAAQByA4I3AAAA5CpM288/WAMOAJDb8ZsJAAAAAAAA4AIEbwAAAAAAAIALELwBAAAAAAAALsAabwCQQSzqDQBA+qS2QUJm3zPTs9FGbFxCisfZmAEAcK8QvAFABrGoNwAA6efofTMr3jPTek+OtSSwOQMAIFvxCREAAAAAAABwAYI3AAAAAAAAwAWYagoAAAAAOYijtetYmw4Ach+CNwAAAAD4j9Q2bshsAJbmphCprF0HAMhdCN4AAAAA5Cvp2hHVheEXGzUBQP5B8AYAAAAg38lM+JVacJfd00FdOVIPWS+nfh8ByDoEbwByJX6pBAAA2SmnTgfNTF2Z/f0qM/1ddW0fT5Ni4xJy7O+NOfX7CEDWIXgDkCtl9pcUZ3858/E0OX1NAACQ96VnGmtOldnfrzLT31XXNpuMirUkpDq6MTvX80svNzc3p2sAkL0I3gDkOZlZtyU9v5wBAACkJqeu4Zba70hphUCZDRQzc21Xy4nr+f33fl25EqFToScSHWeGB5BbELwByLEy88tZTv2FFwAAwFlZMZoutf98dLZvZvtnZk09KXuDO1fWlfh+RcdYctSUVJZ9AdIvxwRvVqtVkhQbG5vNlQDIiM37LsgSn5Dscc8C7oqLS0jxWHqPuxni5W5IftyoeHmaJXeDIcW+Hu6Sm8G545npm53nzqvPi3uWf86dV59Xbj13Xn1eufXcefV5cc+cO7clPuXfj6TM/Y6U078ezj7vzNbt5WHUuh2nHP6+6+j31bTqSuva/z3m722Wt/n/2qVWl602Z38Xz8zv6XdrT/2epXZuk5tRjWqVSfHYveDos0166nLUN739XXluZz+zZffXIyVms1kGBz9TOZXBaku8sllERIRCQkKyuwwAAAAAAADkQEFBQSpQoEB2l5EhOSZ4S0hIUGRkpEwmU65LLwEAAAAAAOBajHgDAAAAAAAAIElihXEAAAAAAADABQjeAAAAAAAAABcgeAMAAAAAAABcgOANAAAAAAAAcAGCNwAAAAAAAMAFCN4AAMilzpw5ox49eqhWrVqqX7++hg0bpujo6OwuCwDShdcwAEBu4uz7lvs9qA0AAGSx8PBwdenSRaVKldLYsWMVGhqqESNGKDQ0VGPGjMnu8gAgVbyGAQByk8y8b2Vb8GaxWBQcHKyNGzdq165dOnPmjGJjYxUQEKBatWrplVdeUb169bKrPAAAcrRffvlF4eHhWrp0qQoVKiRJcnNz04ABA9S3b19Vrlw5mysEAMd4DQNSN2jQIC1ZssTh8QoVKmj16tX3sCIgf8vM+1a2BW+7d+9W9+7dJUlFixZVnTp15OnpqVOnTmnNmjVas2aN+vbtq7fffju7SgQAIMfatGmT6tevb3/jl6TmzZvro48+0qZNm/jQCiBH4zUMSJ+HH35Y5cuXT/Z40aJFs6EaIP/KzPtWtgVvBoNBzZs3V5cuXVS7du0kx1auXKkBAwbo+++/V7169VS/fv1sqhIAkFPMnj1bwcHBCgkJUWhoqG7fvi1fX19VqVJFrVu31vPPPy+DwZCtNZ4+fVqbN2/WoUOHdPjwYZ05c0ZWq1Vjx47VM888k2b/FStWaN68efr777+VkJCgChUqqE2bNurYsaOMxqTLsp46dUpt2rRJ8pjZbFa5cuV0+vTpLH1eAFzj22+/1Q8//CBJ+vDDD9WjR49srYfXMCDnadeunV566aXsLgP52J07dzR79mytXr1aZ8+elcViUeHChRUUFKSuXbvqkUceybbacsv7VrYFbw0aNFCDBg1SPNayZUtt3bpVv/76q5YvX07wBgDQ1KlTFRoaqsqVK6tWrVry9PTUpUuXtGPHDm3fvl1r1qzRhAkTkr1J3kvz5s3TrFmznOo7ZMgQzZ07VwUKFFCDBg3k7u6u7du3a+jQodq+fbvGjRuX5LmFh4fLz88v2Xn8/Px069Ytp58DgHvj4MGD+vHHH2UwGGS1WrO7HEm8hgEAkjp//rx69Oihs2fPqmjRoqpXr57c3Nx06dIlrV+/XlWqVMnW4C23vG/l2M0VqlatKkn6999/s7kSAEBO8O2336pq1ary8vJK8viJEyfUrVs3rV+/XkuWLEn2P1H30gMPPKAePXooKChIQUFB+vjjj7Vr1640+61Zs0Zz585V0aJFNWfOHN13332SpOvXr6tLly76448/NHv2bHXt2tXFzwDAvRAbG6tBgwapcOHCql69utatW5fdJUniNQwA8H+ioqL02muv6fz583r//ffVo0cPubm52Y/fvHlTYWFh2Vegcs/7VvYNC0jDmTNnJDF3HQBwV+3atZOFbpJUuXJlderUSZK0bdu2dJ3r0qVL9uldqTl69Kjmz5+f7hrbtWunDz/8UC1btlS5cuXS3c9Wy4ABA+xv/JJUpEgRff7555LujvhLSEiwH/Pz81N4eHiyc4WHh6tgwYLpvjaAe2/s2LE6deqUhgwZIl9f3wz35zUMyD927typESNG6JNPPtF3332nzZs3J/lZAlxl0qRJOnfunF555RX16tUrSegmSQEBAapQoUK6zpXf37dy5Ii3a9eu2XdwadasWTZXAwDI6dzd776dmc3mdLX/+OOPtW3bNl29elX/+9//Ulwb7uDBg+rRo4ciIiJUs2ZNBQYGZmnNNleuXNGRI0dkMplSXIuibt26Kl68uP7991/t379fDz/8sCTp/vvv16lTp5K0jY2N1blz51gLBsjBDhw4oOnTp+u5555T48aNtXbt2gyfg9cwIP9YunRpsscqVaqkb7/91mU/10BsbKwWLFggSerWrVumz5ff37dy3Ii3uLg4ffDBB4qIiFCDBg3UuHHj7C4JAJCDnT9/Xr/88oskpfs9Y8SIEbrvvvs0Z84cffrpp8nWV9qzZ4+6d++uiIgIff755y79xfbo0aOS7o7c8/DwSLHNQw89JEk6duyY/bHHH39cO3bs0M2bN+2P/fHHH4qNjdUTTzzhsnoBOC8mJkYDBw5UwYIF9fHHHzt9Hl7DgLyvSpUq+t///qeVK1dq37592rx5s3744QdVqVJFJ0+eVPfu3VmWCS5z5MgRhYWFqXjx4ipbtqyOHDmi7777Tp9++qnGjh2r4ODgDJ0vv79v5bgRb5999pm2b9+ukiVL6uuvv87ucgAAOcyiRYu0e/duWSwW/fvvv9q3b58SEhLUp08fPf300+k6R4kSJezrNixYsEAWi0VffvmljEajdu7cqT59+ujOnTsaPny42rZt69Lnc+HCBUlSqVKlHLYpWbJkkraS9PLLL2vOnDnq27ev+vbtqxs3bmjkyJFq2bKlKlWq5NKaAThnzJgx+ueffzRmzBgVKlTI6fPwGgbkff8dZeTl5aVixYrp0UcfVefOnbV//3798MMP+vTTT7OnQORpISEhkqTixYtr1KhR+umnn5Ic//7779W0aVN9/fXXKS4F81/5/X0rRwVvw4cP16+//qqiRYtqxowZrO8GAEhm79699uUIpLvTTN9++2117949Q+cpVqyYZs+erW7dumnJkiWyWCx6/vnn9dZbb8lisWjEiBF68cUXs7j65KKioiRJnp6eDtt4e3tLkiIjI+2P+fn5aebMmRo+fLjefPNNFShQQM8++6w++OAD1xYMwCl79+7VzJkz1bRpU7Vs2TLT5+M1DMifzGazevXqpb59+2rjxo3ZXQ7yKNsunceOHdPBgwfVtWtXvfrqq/L399fu3bs1ZMgQrVu3TkOGDNGoUaPSdc78/L6VY4K3kSNHavbs2SpUqJBmzJiRZIE7AABsvvjiC33xxRe6c+eOLly4oEWLFmnChAlatWqVpkyZouLFi6f7XEWKFNGsWbPUvXt3/fbbb/rtt9/k7u6ur7/+Ws8++6wLn0XWqFChgqZNm5bdZQBIw507dzR48GD5+Pjos88+y7Lz8hoG5E8VK1aUJKaawmVsmwrYwrGPPvrIfqxJkyYqVqyY2rVrp2XLlqlfv37p3tggv75v5Yg13r766itNnz5d/v7+mj59OsPLAQBp8vDwUKVKlTRw4EC99957On78uIYNG5bh8xQqVCjJVuFVq1ZN95TVrGAbnh8dHe2wje1/22z/+wYgd/n222915swZDRo0SMWKFcvSc/MaBuQ/YWFhkviZgusk/t5q3759suMPPfSQqlWrJqvVql27dmXo3PnxfSvbg7dvvvlG06ZNU8GCBTV9+nRVqVIlu0sCAOQyrVu3liT9+eefslgsGeq7atUqffLJJzKbzQoMDNTBgwfVr18/xcTEuKLUZEqXLi3p7jbrjly5ciVJWwC5y7p162Q0GrV06VJ17tw5yZ/NmzdLkubNm6fOnTtneNMFXsOA/GfVqlWSpKCgoGyuBHlVmTJlUvx7Sm2uX7+eoXPnx/etbA3exowZo6lTp8rPz08//fSTqlatmp3lAAByqYIFC8rd3V1xcXH2NSnSY/ny5Xr//ffl7u6uSZMmad68eapTp442bdqk3r17p/o/YVnF9t534sQJ3blzJ8U2hw4dkiQ9+OCDLq8HgGskJCRo165dyf7YPrCcP39eu3bt0uHDh9N9Tl7DgLzp2LFj+vPPPxUfH5/k8bi4OP3000+aPXu2pOQbMABZJXE2Yxth+V+23T3Ts7mCTX5938q2Nd7Wr1+vyZMnS5LKlSunOXPmpNiuYsWK6tWr170sDQCQy+zevVtxcXHy8/NTQEBAuvosXrxYH3/8sTw8PDRp0iTVr19fkjR16lT17dtX27ZtU69evTR58mSXTuUoWbKkqlWrpiNHjmj16tXJFpXdtWuXrly5oqJFi6pWrVouqwOA62zYsMHhsUGDBmnJkiX68MMP1aNHj3Sfk9cwIO+6ePGi+vXrJ39/f1WtWlWFChVSWFiYQkJCdPXqVRmNRn3wwQdq1KhRdpeKPKp48eKqUaOGDhw4oO3btycLoG7duqWjR49KSv/Iy/z8vpVtI94Sj0g4fPiwlixZkuIf2/B7AED+FRwcrD///FNxcXHJju3Zs8c+Natt27Zyc3NL83wLFizQRx99JE9PT/3444/2N37p7g5HkydP1uOPP65du3apZ8+eun37dtY9mRTY/oPpm2++0dmzZ+2P37hxQ0OGDJEkvf766zIas32FCAA5AK9hQN4WGBioLl26qEKFCjp58qTWrl2r3bt3y9PTUy+99JIWLlyonj17ZneZyOP69OkjSfrhhx/sI8AkKSYmRp9//rkiIiJUrVq1dIVT+f19y2C1Wq1ZciYAAFxk8eLFGjx4sPz8/FS1alUVKVJEkZGROn/+vE6ePClJevLJJzV27Fh5eHikeb4RI0Zo8eLFmjZtmqpXr55im9jYWL3zzjs6fvy45syZo1KlSqV53iNHjtjfrCXp5MmTioyM1H333aeCBQvaH1+wYEGyvp9//rnmzZunAgUK6NFHH5W7u7u2b9+u27dvq2nTpho3bly6QkUAuYszI954DQMA3AujRo3STz/9JJPJpBo1asjf318HDx7U1atXVbx4cc2aNUv33XdfmufJ7+9bBG8AgBzv/PnzWrx4sYKDg3X+/HmFhobKarWqaNGiCgoK0vPPP6+mTZtm6JyXLl1K8w09Li5OoaGh6d6FcOfOnerSpUua7f7+++8UH1+xYoV+/vlnhYSEKCEhQRUrVlSbNm3UsWNHRooAeZSzU015DQMA3Atr167VnDlzdOzYMUVHR6tUqVJq3LixevXqpUKFCqX7PPn5fYvgDQAAAAAAAHAB/usJAAAAAAAAcAGCNwAAAAAAAMAFCN4AAAAAAAAAFyB4AwAAAAAAAFyA4A0AAAAAAABwAYI3AAAAAAAAwAUI3gAAAAAAAAAXIHgDAAAAAAAAXMA9uwsAAACAdOHCBTVp0kSS9Pfff2dzNZmX+PnYlC5dWhs2bMimitKnb9++Wr9+fZLHZs2apXr16mVTRQAAIDcjeAMAAA6FhYVp/vz52rhxo86ePatbt27Jz89P5cuX15NPPqkOHTrI398/u8vMERYvXqzBgwc71XfEiBGqW7duFleUcxQpUkSSFBAQkM2VpK1gwYL2ekNDQ5WQkJDNFQEAgNyM4A0AAKRoxYoVGjp0qMLDwyVJRqNRvr6+unnzpm7cuKG9e/dq2rRp+vzzz9WyZctsrjb7eXh42AObxOLj43Xz5k1Jd0Mdk8mUYl+TyaQKFSq4vM7ssHXr1uwuId1GjBhh/3vjxo118eLFbKwGAADkdgRvAAAgmV9++UWff/65rFarqlWrprffflsNGjSQ2WyWxWLRjh07NHbsWB06dEjvvfeeoqOj1aZNm+wuO1u1bNkyxQAy8ZTL8ePHpzplcfXq1S6rDwAAAPcemysAAIAkjh49quHDh8tqtapJkyaaP3++nnjiCZnNZkmSyWRSo0aN9Msvv6hJkyayWq0aMmSITpw4kc2VAwAAADkLwRsAAEjiu+++k8ViUbFixfTVV1+lODVSktzd3TVq1CgVLVpUMTExGj9+fLI2gYGBCgwM1IULF1I8x4ULF+xtHLlw4YKGDRum5s2bq0aNGqpVq5ZeeuklTZkyRVFRUSn2SXzdU6dOaeDAgXriiSdUrVo19e3bV0uXLlVgYKAee+wxxcXFObz2jh07FBgYqBo1aigiIsJhu6yQ2r0YNGiQAgMDNX78eMXGxur7779XixYtVKNGDT355JMaPny4bt26ZW9/+PBh9e/fX4899piqV6+uNm3aaN26dalePzY2VnPmzFGnTp1Ut25dBQUF6amnntLgwYN16tSpLH++9+q5HT9+XB9++KEaN26soKAg1apVS02aNFGPHj00Y8YMRUdHu+y5AQAAELwBAAC7K1euaNOmTZKkV199VT4+Pqm29/X11auvvipJ+uOPP3Tt2rUsrWft2rVq2bKl5syZozNnzshgMMhisejIkSMaPXq0OnTooOvXrzvsHxwcrDZt2mjp0qWKiIiQm5ubJOmZZ56Rr6+vrl+/bn++KVm0aJEk6emnn5avr2+WPjdnWCwWde/eXWPHjtXFixdltVp1+fJlzZ49W6+99ppiYmK0bt06dezYUevWrVNMTIxiYmLsYdXKlStTPO/Vq1fVrl07DRs2THv27FFERITMZrMuXbqkxYsXq3Xr1lq7dm2ue24bN25U27ZttWzZMl28eFEGg0FGo1EXLlzQli1bNGLECF26dMmlzwsAAORvBG8AAMBu165dslqtkqSmTZumq4+tXUJCgoKDg7OsloMHD+q9995TfHy8+vTpo02bNmn//v06cOCAfvnlFwUFBSkkJEQDBw50eI4hQ4booYce0ooVK7R3714dOHBAgwYNkoeHh5577jlJd3cjTcnt27f1xx9/SFKOWb9u7ty5Onv2rH744Qft379f+/bt08SJE+Xt7a3Dhw9r/PjxGjRokFq1aqXNmzcrODhY27dvt08J/vLLL5ON8LNYLOrbt6+OHz+uBg0a6JdfftHBgwe1d+9ebd68WV27dlVMTIw+/PBDnTt3Llc9t6FDh8piseipp57S6tWrdejQIe3Zs0d79uzRzz//rPbt26tAgQIue04AAAAEbwAAwM42pdBsNqd7h82KFSvap6Nm5TpvI0aMkMVi0SeffKJ3331XxYsXlyS5ubmpVq1amjZtmooWLaotW7bo0KFDKZ6jcOHCmjp1qh544AFJksFgULly5SRJ7du3lyT99ddfCg0NTdb3999/V3R0tMqUKaP69etn2fPKjIiICH377bd68sknZTQa5ebmpqZNm6pHjx6SpKlTp6pq1ar68ssvVbRoUUlSoUKF9M0338jb21vXrl3Tvn37kpxz6dKlOnTokGrXrq2pU6eqVq1a9q9nsWLF9NFHH6lDhw6Kjo7WjBkzcs1zu3Hjhn2K8/Dhw5N8P/v4+Kh27doaNmyYypQp47LnBAAAQPAGAADswsLCJEkFCxaU0Zi+XxOMRqMKFiyYpH9mnTt3Tnv37pWfn5/atm2bYht/f389/vjjkqRt27al2ObVV1+Vh4dHiseqVq2qatWqyWKxaPny5cmO20bCtW7dWgaDwZmnkeVq1aqlunXrJnv80Ucftf+9d+/eyY57eXmpZs2akqSQkJAkx5YsWSJJ6tKli8P1/J5//nlJ0tatW52qOz2y+rl5eXnZv4ezego0AABAerlndwEAACDvsFgsWXKevXv3SpKioqL0xBNPOGxn21zh8uXLKR63BTKOtG3bVkeOHNGiRYvUrVs3++OnTp3S/v37ZTQa9dJLL2WseBeyjdz7r8KFC9v/Xrly5VTbhIeH2x+Li4vTwYMHJUmffvqphg4dmmLf+Ph4Sf+vvXsLiaptwzh+Wc5YimW2IYqgNLJikAilDYFmJmoJBWmFhoFIoNVJYGk7ikqygzLEDoKy9EQr24uSQSMRhBIkClmZBhlkQZomOm7e7yBmka+bzJpvfc73/x3JzFqP13LmQG6e575/9AB0lb/9bFOnTlVoaKieP3+ulJQUJSUlaf369VqyZInR6w8AAMDVKLwBAACDn5+fJKm9vV0DAwNj2vU2MDBgTJ38WwMInDuU+vr6Rh2e4NTd3T3s6/7+/qPeFxcXp5ycHL1+/Vp1dXWy2WySpJs3b0r6sdtq3rx5vxPdpZxHLP/t589pzpw5w17jLDb93Aetvb3dKJaOZbfiSH/nv+FvP5sknT59Wnv27FFjY6Nyc3OVm5srb29vhYaGatOmTdq0aZM8Pfl3GAAAuA7/aQAAAENAQIAkyeFwqKmpSYGBgb+85927d0bxZqx94X7FOeBh6dKlunv37rjX+VXh0NfXV9HR0bp9+7ZKS0tls9nU19dnHD39Xxmq4CoDAwPGz3fu3NGyZctMTPP3LViwQPfu3dOTJ09UVVWlmpoaNTY2ym63y26369q1ayosLJSPj4/ZUQEAgJuixxsAADCsWrXK6GdWWVk5pnt+vi4kJGTQe86dSD09PcPe29nZOezrzqODrjza6OTsIffgwQM5HA7Z7XZ9+fJFfn5+Y57sOlH5+fkZn9HHjx9NTuManp6eioyM1MmTJ1VWVqanT58qIyNDXl5eqq+vV15entkRAQCAG6PwBgAADHPnzjUGFhQVFY1YGHPq7OxUUVGRJMlmsw3Z8eY8evrp06dh7x9pGqmzN1tbW5tevnw55vzjERISooCAALW3t6uystIYqrB582ZZrVaX/m6zWSwW43htVVWVyWn+O2bPnq2UlBQlJydLkqqrq01OBAAA3BmFNwAAMMj+/ftlsVjU2tqqjIyMEQcm9PX16eDBg0Y/tn379g25xtkw//Hjx0Peczgcunbt2rBrBwYGGsW3c+fOjTq0obu7Ww6HY9Rn+pX4+HhJ0tWrV2W32yVpxGmq7mbr1q2Sfkw3ffXq1ajXOnv5TQS9vb3GkeXheHl5SdIff3cAAABGQ+ENAAAMYrPZlJmZKelHwWzHjh2qqqoyil99fX16+vSpdu7caRwz3blzp8LDw4esFRMTI0kqKSnRrVu3jCLHmzdvlJqaqtbW1hFzHD58WFarVdXV1dq9e7dqamqMnmT9/f1qaGhQXl6eIiMjR11nLLZs2SKLxaLa2lr19vZq+fLlbtfvbCTbtm3TihUr1NPTo+TkZJWUlAza6fj582fdu3dPSUlJun79uolJf8/bt2+1efNmFRQUqKmpySjC9fb2qqKiQgUFBZKkdevWmZgSAAC4O4YrAACAIRITE+Xj46NTp06prq5OqampmjRpkqZNm6aOjg719/cb1+7atUtZWVnDrhMfH687d+7o5cuXysrK0rFjxzRlyhR1dnbKz89PZ86cUXp6+rD3BgcHKy8vTwcOHFBNTY0SExNltVrl7e2t79+/D9oF5+xLN17+/v6KiIhQRUWFJPcfqvAzi8Wi/Px87d27Vy9evNDRo0d1/PhxTZs2TQ6HQ11dXca1q1evNjHp73v79q2ys7OVnZ1tfHe+fftmFHBtNpvS0tJMTgkAANwZhTcAADCsLVu2KCwsTMXFxbLb7WpublZbW5tRtPD09NTly5e1du3aEdewWCy6cuWK8vPzVV5ertbWVk2dOlVRUVEjFtx+FhYWpoqKChUWFqqqqkrv379XR0eHfH19tWjRIoWGhio6Olrz58//4+eNiopSRUWFrFar4uLi/ni9iWTmzJkqKipSWVmZ7t+/r/r6erW3t8tisSggIEDBwcEKDw/Xhg0bzI46ZoGBgbp48aKePXum2tpatba2qq2tTb6+vlq8eLFiY2OVkJDg9n38AACAuTz+Ga35BQAAwL80Nzdr+/btamtr08aNG5Wbm2tMxpzIjhw5ohs3big2Nlbnz583O86E9+HDB6NQ19DQYHKa8YmIiFBLS4uuX7+uVatWmR0HAABMQPR4AwAAv2XhwoW6dOmSvLy89OjRI504ccLsSH+so6NDDx8+lCQlJCSYnAYAAADugsIbAAD4bStXrtTZs2fl4eGh4uJiXbhwwexI4+ZwOJSdna2uri4FBQVpzZo1ZkdyO0FBQQoKClJERITZUX4pLS3NyNvS0mJ2HAAAMMHR4w0AAIxLTEyMMbV0IiovL1dOTo6+fv2qrq4ueXh46NChQ2bHchuTJ0/WrFmzBr02Y8YMk9KM3fTp04fktlgsJqUBAAATHT3eAADA/6XS0lJlZmbKarVq8eLFSk9PV2RkpNmxAAAA4EYovAEAAAAAAAAuQI83AAAAAAAAwAUovAEAAAAAAAAuQOENAAAAAAAAcAEKbwAAAAAAAIALUHgDAAAAAAAAXIDCGwAAAAAAAOAC/wG3LyDu5GJZNgAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 1296x576 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# visualize\n",
    "g = sns.displot(\n",
    "    query_times,\n",
    "    x='query_time_ms', hue='algorithm', \n",
    "    log_scale=(True, False),\n",
    "    height=8,\n",
    "    aspect=18/8,\n",
    "    facet_kws=dict(legend_out=False),\n",
    "    kind='hist',\n",
    ")\n",
    "g.set(\n",
    "    xlim=(2, 6), \n",
    "    xlabel='Query Time [ms]', \n",
    "    ylabel='Frequency', \n",
    "    yticks=[],\n",
    "    xticks=[2,5],\n",
    "    xticklabels=[2,5],\n",
    ")\n",
    "g.legend.set_title(f'{len(query_times)} Queries with NSEC3\\nNarrow Proof of Nonexistance')\n",
    "g.savefig('data/query_times.pdf')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "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.8.10"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}