feature_frequency.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import tuxml \n",
    "import pandas as pd\n",
    "df = tuxml.load_dataset()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "8139TOO_8129\n",
      "0 90668 ( 98.0501995220123 %)\n",
      "1 1803 ( 1.9498004779876934 %)\n",
      "ACENIC_OMIT_TIGON_I\n",
      "0 90696 ( 98.08047928539759 %)\n",
      "1 1775 ( 1.919520714602416 %)\n",
      "ACPI\n",
      "0 53630 ( 57.99656108401553 %)\n",
      "1 38841 ( 42.00343891598447 %)\n",
      "ACPI_DEBUG\n",
      "0 63423 ( 68.58690832801635 %)\n",
      "1 29048 ( 31.41309167198365 %)\n",
      "ACPI_REDUCED_HARDWARE_ONLY\n",
      "0 77694 ( 84.01985487341977 %)\n",
      "1 14777 ( 15.980145126580226 %)\n",
      "ADVISE_SYSCALLS\n",
      "1 57543 ( 62.22815801710807 %)\n",
      "0 34928 ( 37.771841982891935 %)\n",
      "AIO\n",
      "1 57544 ( 62.22923943722897 %)\n",
      "0 34927 ( 37.77076056277103 %)\n",
      "ATA_VERBOSE_ERROR\n",
      "0 74104 ( 80.13755663937884 %)\n",
      "1 18367 ( 19.862443360621167 %)\n",
      "ATH9K_DFS_CERTIFIED\n",
      "0 92155 ( 99.65827124179472 %)\n",
      "1 316 ( 0.34172875820527515 %)\n",
      "ATM_FORE200E_DEBUG missing\n",
      "B43LEGACY_DMA_MODE missing\n",
      "B43LEGACY_PIO_MODE missing\n",
      "BASE_FULL\n",
      "1 57447 ( 62.124341685501406 %)\n",
      "0 35024 ( 37.8756583144986 %)\n",
      "BATMAN_ADV_BLA\n",
      "0 84947 ( 91.86339501032757 %)\n",
      "1 7524 ( 8.136604989672438 %)\n",
      "BATMAN_ADV_DAT\n",
      "0 85024 ( 91.94666435963708 %)\n",
      "1 7447 ( 8.053335640362924 %)\n",
      "BATMAN_ADV_NC\n",
      "0 77389 ( 83.69002173654442 %)\n",
      "1 15082 ( 16.30997826345557 %)\n",
      "BINFMT_ELF\n",
      "1 69592 ( 75.25818905386554 %)\n",
      "0 22879 ( 24.741810946134464 %)\n",
      "BLK_DEV_INITRD\n",
      "0 46302 ( 50.07191443804003 %)\n",
      "1 46169 ( 49.92808556195997 %)\n",
      "BLK_DEV_RAM_DAX\n",
      "0 87949 ( 95.10981821327768 %)\n",
      "1 4522 ( 4.890181786722324 %)\n",
      "BRIDGE_IGMP_SNOOPING\n",
      "0 85070 ( 91.9964096851986 %)\n",
      "1 7401 ( 8.003590314801396 %)\n",
      "BRIDGE_VLAN_FILTERING\n",
      "0 82545 ( 89.26582387991911 %)\n",
      "1 9926 ( 10.73417612008089 %)\n",
      "BUG\n",
      "1 73029 ( 78.97503000940836 %)\n",
      "0 19442 ( 21.024969990591643 %)\n",
      "CAN_CALC_BITTIMING\n",
      "0 82642 ( 89.37072163164667 %)\n",
      "1 9829 ( 10.629278368353322 %)\n",
      "CAPI_TRACE\n",
      "0 88393 ( 95.5899687469585 %)\n",
      "1 4078 ( 4.4100312530414945 %)\n",
      "CC_OPTIMIZE_FOR_SIZE\n",
      "0 82074 ( 88.7564750029739 %)\n",
      "1 10397 ( 11.243524997026094 %)\n",
      "CC_STACKPROTECTOR_REGULAR missing\n",
      "CC_STACKPROTECTOR_STRONG missing\n",
      "CEPH_LIB_PRETTYDEBUG\n",
      "0 83356 ( 90.14285559797126 %)\n",
      "1 9115 ( 9.857144402028744 %)\n",
      "CIFS_DEBUG\n",
      "0 88877 ( 96.11337608547544 %)\n",
      "1 3594 ( 3.8866239145245536 %)\n",
      "CIFS_DEBUG2\n",
      "0 90670 ( 98.05236236225412 %)\n",
      "1 1801 ( 1.947637637745888 %)\n",
      "CPU_SUP_AMD\n",
      "1 75085 ( 81.19842977798444 %)\n",
      "0 17386 ( 18.801570222015553 %)\n",
      "CPU_SUP_CENTAUR\n",
      "1 74997 ( 81.10326480734501 %)\n",
      "0 17474 ( 18.896735192654994 %)\n",
      "CPU_SUP_CYRIX_32 missing\n",
      "CPU_SUP_INTEL\n",
      "1 75063 ( 81.17463853532459 %)\n",
      "0 17408 ( 18.82536146467541 %)\n",
      "CPU_SUP_TRANSMETA_32 missing\n",
      "CPU_SUP_UMC_32 missing\n",
      "DEBUG_INFO\n",
      "0 83581 ( 90.38617512517439 %)\n",
      "1 8890 ( 9.613824874825621 %)\n",
      "DEBUG_INFO_DWARF4\n",
      "0 88048 ( 95.21687880524705 %)\n",
      "1 4423 ( 4.78312119475295 %)\n",
      "DEBUG_INFO_REDUCED\n",
      "0 88050 ( 95.21904164548886 %)\n",
      "1 4421 ( 4.780958354511144 %)\n",
      "DEBUG_INFO_SPLIT\n",
      "0 87993 ( 95.1574006985974 %)\n",
      "1 4478 ( 4.842599301402601 %)\n",
      "DEBUG_PAGE_REF\n",
      "0 72320 ( 78.2083031436883 %)\n",
      "1 20151 ( 21.79169685631171 %)\n",
      "DEBUG_SECTION_MISMATCH\n",
      "0 46310 ( 50.08056579900726 %)\n",
      "1 46161 ( 49.91943420099275 %)\n",
      "DEBUG_VM_VMACACHE\n",
      "0 72163 ( 78.03852018470656 %)\n",
      "1 20308 ( 21.961479815293444 %)\n",
      "DOUBLEFAULT\n",
      "1 57563 ( 62.24978641952612 %)\n",
      "0 34908 ( 37.75021358047388 %)\n",
      "DYNAMIC_DEBUG\n",
      "0 64168 ( 69.39256631808891 %)\n",
      "1 28303 ( 30.607433681911083 %)\n",
      "DYNAMIC_FTRACE\n",
      "0 75340 ( 81.47419190881465 %)\n",
      "1 17131 ( 18.525808091185343 %)\n",
      "EISA_NAMES missing\n",
      "ELF_CORE\n",
      "0 52505 ( 56.77996344799992 %)\n",
      "1 39966 ( 43.22003655200008 %)\n",
      "EXT4_USE_FOR_EXT2\n",
      "0 83913 ( 90.7452066053141 %)\n",
      "1 8558 ( 9.254793394685903 %)\n",
      "FAT_FS\n",
      "0 42551 ( 46.01550756453375 %)\n",
      "1 40410 ( 43.700187085680916 %)\n",
      "2 9510 ( 10.284305349785338 %)\n",
      "FB_MODE_HELPERS\n",
      "1 75677 ( 81.83863048955888 %)\n",
      "0 16794 ( 18.161369510441112 %)\n",
      "FILE_LOCKING\n",
      "1 57342 ( 62.01079257280661 %)\n",
      "0 35129 ( 37.98920742719339 %)\n",
      "FRAME_POINTER\n",
      "1 85230 ( 92.16943690454305 %)\n",
      "0 7241 ( 7.830563095456953 %)\n",
      "FS_DAX\n",
      "0 64258 ( 69.48989412897016 %)\n",
      "1 28213 ( 30.510105871029836 %)\n",
      "GCOV_PROFILE_ALL\n",
      "0 86996 ( 94.07922483805734 %)\n",
      "1 5475 ( 5.920775161942663 %)\n",
      "HIGH_RES_TIMERS\n",
      "0 46469 ( 50.2525115982308 %)\n",
      "1 46002 ( 49.7474884017692 %)\n",
      "HWSPINLOCK_SIRF missing\n",
      "INET\n",
      "0 70031 ( 75.73293248694185 %)\n",
      "1 22440 ( 24.267067513058148 %)\n",
      "INITRAMFS_COMPRESSION_BZIP2 missing\n",
      "INITRAMFS_COMPRESSION_GZIP missing\n",
      "INITRAMFS_COMPRESSION_LZ4 missing\n",
      "INITRAMFS_COMPRESSION_LZMA missing\n",
      "INITRAMFS_COMPRESSION_LZO missing\n",
      "INITRAMFS_COMPRESSION_NONE missing\n",
      "INITRAMFS_COMPRESSION_XZ missing\n",
      "IP_MULTICAST\n",
      "0 81328 ( 87.94973559278044 %)\n",
      "1 11143 ( 12.05026440721956 %)\n",
      "IPW2100_DEBUG\n",
      "0 91590 ( 99.04726887348467 %)\n",
      "1 881 ( 0.95273112651534 %)\n",
      "IPW2200_DEBUG\n",
      "0 91612 ( 99.07106011614452 %)\n",
      "1 859 ( 0.9289398838554791 %)\n",
      "IPX\n",
      "0 62750 ( 67.85911258664879 %)\n",
      "1 22260 ( 24.07241189129565 %)\n",
      "2 7461 ( 8.068475522055564 %)\n",
      "IRQSOFF_TRACER\n",
      "0 69527 ( 75.18789674600686 %)\n",
      "1 22944 ( 24.812103253993143 %)\n",
      "ISDN_CAPI_CAPIDRV_VERBOSE\n",
      "0 91141 ( 98.56171123919931 %)\n",
      "1 1330 ( 1.4382887608006834 %)\n",
      "ISO9660_FS\n",
      "0 55206 ( 59.7008791945583 %)\n",
      "1 27883 ( 30.153237231131925 %)\n",
      "2 9382 ( 10.145883574309783 %)\n",
      "IWLEGACY_DEBUG\n",
      "0 91673 ( 99.13702674351958 %)\n",
      "1 798 ( 0.86297325648041 %)\n",
      "IWLWIFI_DEBUG\n",
      "0 91914 ( 99.39764899265717 %)\n",
      "1 557 ( 0.6023510073428426 %)\n",
      "JUMP_LABEL\n",
      "0 46267 ( 50.034064733808435 %)\n",
      "1 46204 ( 49.965935266191565 %)\n",
      "KALLSYMS\n",
      "1 92044 ( 99.53823360837451 %)\n",
      "0 427 ( 0.46176639162548255 %)\n",
      "KALLSYMS_ALL\n",
      "1 78741 ( 85.15210174000497 %)\n",
      "0 13730 ( 14.847898259995027 %)\n",
      "KASAN_INLINE missing\n",
      "KASAN_OUTLINE\n",
      "0 81346 ( 87.96920115495669 %)\n",
      "1 11125 ( 12.03079884504331 %)\n",
      "KERNEL_BZIP2 missing\n",
      "KERNEL_GZIP missing\n",
      "KERNEL_LZ4 missing\n",
      "KERNEL_LZMA missing\n",
      "KERNEL_LZO missing\n",
      "KERNEL_XZ missing\n",
      "LGUEST_GUEST missing\n",
      "LIBIPW_DEBUG\n",
      "0 91316 ( 98.7509597603573 %)\n",
      "1 1155 ( 1.2490402396426987 %)\n",
      "MAC80211_MESSAGE_TRACING\n",
      "0 86261 ( 93.2843810491938 %)\n",
      "1 6210 ( 6.715618950806198 %)\n",
      "MAC80211_NOINLINE\n",
      "0 89419 ( 96.69950579100475 %)\n",
      "1 3052 ( 3.3004942089952527 %)\n",
      "MATH_EMULATION missing\n",
      "MEDIA_SUBDRV_AUTOSELECT\n",
      "0 63785 ( 68.97838241178316 %)\n",
      "1 28686 ( 31.02161758821685 %)\n",
      "MINIX_FS\n",
      "0 70053 ( 75.75672372960172 %)\n",
      "1 16982 ( 18.36467649317083 %)\n",
      "2 5436 ( 5.878599777227455 %)\n",
      "MODULE_COMPRESS\n",
      "0 69560 ( 75.22358360999665 %)\n",
      "1 22911 ( 24.77641639000335 %)\n",
      "MODULE_SIG\n",
      "0 69314 ( 74.95755426025457 %)\n",
      "1 23157 ( 25.042445739745432 %)\n",
      "MODULE_UNLOAD\n",
      "0 69389 ( 75.03866076932228 %)\n",
      "1 23082 ( 24.961339230677726 %)\n",
      "MSDOS_FS\n",
      "0 55090 ( 59.57543446053357 %)\n",
      "1 28047 ( 30.330590130959976 %)\n",
      "2 9334 ( 10.09397540850645 %)\n",
      "MTD_CFI_ADV_OPTIONS\n",
      "0 64272 ( 69.5050340106628 %)\n",
      "1 28199 ( 30.494965989337196 %)\n",
      "MTD_CFI_GEOMETRY\n",
      "0 78477 ( 84.86660682808665 %)\n",
      "1 13994 ( 15.133393171913356 %)\n",
      "MTRR\n",
      "1 57439 ( 62.11569032453418 %)\n",
      "0 35032 ( 37.88430967546582 %)\n",
      "NOMMU_INITIAL_TRIM_EXCESS missing\n",
      "OCFS2_DEBUG_MASKLOG\n",
      "0 83432 ( 90.22504352715987 %)\n",
      "1 9039 ( 9.774956472840133 %)\n",
      "OMAP_REMOTEPROC missing\n",
      "OPENVSWITCH_GENEVE\n",
      "0 90644 ( 98.02424543911063 %)\n",
      "1 983 ( 1.0630359788474224 %)\n",
      "2 844 ( 0.9127185820419375 %)\n",
      "OPENVSWITCH_GRE\n",
      "0 88168 ( 95.34664921975539 %)\n",
      "1 2210 ( 2.3899384671951207 %)\n",
      "2 2093 ( 2.2634123130494963 %)\n",
      "OPENVSWITCH_VXLAN\n",
      "0 90665 ( 98.0469552616496 %)\n",
      "1 964 ( 1.04248899655027 %)\n",
      "2 842 ( 0.910555741800132 %)\n",
      "OPTIMIZE_INLINING\n",
      "1 51337 ( 55.51686474678548 %)\n",
      "0 41134 ( 44.48313525321452 %)\n",
      "PLIP\n",
      "0 81527 ( 88.1649381968401 %)\n",
      "1 6828 ( 7.38393658552411 %)\n",
      "2 4116 ( 4.451125217635799 %)\n",
      "PNP_DEBUG_MESSAGES\n",
      "0 73040 ( 78.98692563073828 %)\n",
      "1 19431 ( 21.013074369261712 %)\n",
      "POSIX_TIMERS\n",
      "1 57451 ( 62.12866736598501 %)\n",
      "0 35020 ( 37.87133263401499 %)\n",
      "PPP\n",
      "0 74274 ( 80.3213980599323 %)\n",
      "1 13373 ( 14.461831276832736 %)\n",
      "2 4824 ( 5.216770663234961 %)\n",
      "PREEMPT_TRACER missing\n",
      "PROC_FS\n",
      "1 57351 ( 62.02052535389474 %)\n",
      "0 35120 ( 37.97947464610527 %)\n",
      "PROC_PAGE_MONITOR\n",
      "1 46469 ( 50.2525115982308 %)\n",
      "0 46002 ( 49.7474884017692 %)\n",
      "PROC_SYSCTL\n",
      "0 52481 ( 56.75400936509825 %)\n",
      "1 39990 ( 43.24599063490175 %)\n",
      "READABLE_ASM\n",
      "0 51703 ( 55.91266451103589 %)\n",
      "1 40768 ( 44.08733548896411 %)\n",
      "REISERFS_PROC_INFO\n",
      "0 79561 ( 86.03886623914525 %)\n",
      "1 12910 ( 13.961133760854755 %)\n",
      "RELOCATABLE\n",
      "0 48616 ( 52.57432059780904 %)\n",
      "1 43855 ( 47.42567940219096 %)\n",
      "SCSI_CONSTANTS\n",
      "0 67813 ( 73.3343426587795 %)\n",
      "1 24658 ( 26.665657341220488 %)\n",
      "SCSI_LOGGING\n",
      "0 67573 ( 73.07480182976285 %)\n",
      "1 24898 ( 26.92519817023716 %)\n",
      "SCSI_SAS_HOST_SMP\n",
      "0 73451 ( 79.43138930042932 %)\n",
      "1 19020 ( 20.568610699570677 %)\n",
      "SERIAL_8250_PCI\n",
      "0 72276 ( 78.16072065836856 %)\n",
      "1 13297 ( 14.379643347644125 %)\n",
      "2 6898 ( 7.4596359939873045 %)\n",
      "SH_CPU_FREQ missing\n",
      "SKGE_GENESIS\n",
      "0 90630 ( 98.009105557418 %)\n",
      "1 1841 ( 1.9908944425819988 %)\n",
      "SLIP\n",
      "0 82170 ( 88.86029133458058 %)\n",
      "1 7736 ( 8.365866055303824 %)\n",
      "2 2565 ( 2.773842610115604 %)\n",
      "SLOB\n",
      "0 84619 ( 91.50868921067146 %)\n",
      "1 7852 ( 8.491310789328546 %)\n",
      "SLUB_DEBUG\n",
      "1 53268 ( 57.60508700024872 %)\n",
      "0 39203 ( 42.39491299975127 %)\n",
      "SND_PROC_FS\n",
      "0 75040 ( 81.14976587254382 %)\n",
      "1 17431 ( 18.850234127456176 %)\n",
      "SSB_SILENT\n",
      "0 68139 ( 73.68688561819381 %)\n",
      "1 24332 ( 26.313114381806184 %)\n",
      "SUNRPC_DEBUG\n",
      "0 91046 ( 98.45897632771356 %)\n",
      "1 1425 ( 1.5410236722864465 %)\n",
      "SYSCTL_SYSCALL\n",
      "0 83778 ( 90.59921488899224 %)\n",
      "1 8693 ( 9.400785111007776 %)\n",
      "SYSFS\n",
      "1 92014 ( 99.50579100474744 %)\n",
      "0 457 ( 0.4942089952525657 %)\n",
      "SYSTEM_EXTRA_CERTIFICATE\n",
      "0 72421 ( 78.31752657589948 %)\n",
      "1 20050 ( 21.68247342410053 %)\n",
      "SYSV_FS\n",
      "0 69998 ( 75.69724562295205 %)\n",
      "1 16798 ( 18.165695190924723 %)\n",
      "2 5675 ( 6.137059186123217 %)\n",
      "THINKPAD_ACPI_DEBUG\n",
      "0 83635 ( 90.44457181170313 %)\n",
      "1 8836 ( 9.555428188296872 %)\n",
      "TRIM_UNUSED_KSYMS\n",
      "0 81321 ( 87.94216565193412 %)\n",
      "1 11150 ( 12.05783434806588 %)\n",
      "UBSAN_SANITIZE_ALL\n",
      "0 86944 ( 94.0229909917704 %)\n",
      "1 5527 ( 5.977009008229607 %)\n",
      "UNUSED_SYMBOLS\n",
      "1 46640 ( 50.43743443890517 %)\n",
      "0 45831 ( 49.56256556109483 %)\n",
      "VFAT_FS\n",
      "0 55215 ( 59.71061197564642 %)\n",
      "1 27822 ( 30.087270603756856 %)\n",
      "2 9434 ( 10.202117420596728 %)\n",
      "VIRTIO_PCI_LEGACY\n",
      "0 74097 ( 80.12998669853252 %)\n",
      "1 18374 ( 19.870013301467488 %)\n",
      "X86_16BIT\n",
      "0 52701 ( 56.99192179169685 %)\n",
      "1 39770 ( 43.00807820830314 %)\n",
      "X86_FAST_FEATURE_TESTS\n",
      "1 69073 ( 74.696932011117 %)\n",
      "0 23398 ( 25.303067988883 %)\n",
      "X86_FEATURE_NAMES\n",
      "1 80825 ( 87.40578127196635 %)\n",
      "0 11646 ( 12.594218728033654 %)\n",
      "X86_INTEL_MPX\n",
      "0 55048 ( 59.53001481545566 %)\n",
      "1 37423 ( 40.46998518454434 %)\n",
      "X86_SMAP\n",
      "1 57293 ( 61.95780298688237 %)\n",
      "0 35178 ( 38.04219701311762 %)\n",
      "X86_VSYSCALL_EMULATION\n",
      "1 57510 ( 62.19247115311828 %)\n",
      "0 34961 ( 37.80752884688173 %)\n",
      "XEN_STUB missing\n",
      "XFS_DEBUG\n",
      "0 83165 ( 89.93630435487883 %)\n",
      "1 9306 ( 10.063695645121173 %)\n"
     ]
    }
   ],
   "source": [
    "with open(\"optionsRelatedToSize.txt\") as f:\n",
    "    options_about_size = f.readlines()\n",
    "options_about_size = [x.strip() for x in options_about_size] \n",
    "options_distr = pd.DataFrame(columns=[\"option\", \"val_0\", \"val_1\", \"val_2\"])\n",
    "i = 0\n",
    "for o in options_about_size:\n",
    "    if o in df:\n",
    "        vals = df[o].value_counts()\n",
    "        nvals = vals.sum()\n",
    "        print(o)\n",
    "        val0 = 0\n",
    "        val1 = 0\n",
    "        val2 = 0\n",
    "        for k, v in vals.iteritems():\n",
    "            if (k == 0):\n",
    "                val0 = v\n",
    "            elif (k == 1):\n",
    "                val1 = v\n",
    "            elif (k == 2):\n",
    "                val2 == v\n",
    "            print(k, v, \"(\", (v / nvals) * 100, \"%)\")            \n",
    "        options_distr.loc[i] = (o, val0, val1, val2)\n",
    "    else:\n",
    "        print(o, \"missing\")\n",
    "        # obviously wrong (we don't know what's the unique value is!)\n",
    "        options_distr.loc[i] = (o, 0, 0, 0)\n",
    "    i = i + 1\n",
    "        \n",
    "    "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "<Figure size 432x288 with 0 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAABJQAAALkCAYAAABZWG++AAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDMuMC4wLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvqOYd8AAAIABJREFUeJzs3Xu0nfV93/nPFyQjO9ggbhaRaMRKlBCIVgzIDh0nmUyoDQ7G2I2p7MVFk7rQJjgXhnEqOxNbSXBNOll14inxlCkU7GEN1dCwYIpj7MYyJKsOtkRIVIxda2yIJQwcLuESjwpOfvPHeSAH+YDOD+2jffbR67XWWeznsp/9fRaSjs5bz7N3tdYCAAAAAHN10LgHAAAAAGCyCEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6LBn3AC/XUUcd1VavXj3uMQAAAAAWjW3btj3SWjt6b/tNbFBavXp1tm7dOu4xAAAAABaNqrp/Lvu55Q0AAACALoISAAAAAF0EJQAAAAC6TOx7KAEAAADsq2effTY7d+7M7t27xz3KfrVs2bKsWrUqS5cufVnPF5QAAACAA9bOnTvz6le/OqtXr05VjXuc/aK1lkcffTQ7d+7M8ccf/7KO4ZY3AAAA4IC1e/fuHHnkkQdMTEqSqsqRRx65T1dlCUoAAADAAe1AiknP2ddzFpQAAAAA6OI9lAAAAAAGqzfeOtLj3XfFWSM93kLhCiUAAACACXLooYe+5Pbrrrsua9asyZo1a3LdddfNywyuUAIAAABYJB577LH8xm/8RrZu3Zqqyqmnnpq3ve1tWb58+UhfxxVKAAAAAGO0cePGXHnllc8vb9q0KZdffnlOP/30nHLKKVm7dm1uvvnmOR3rtttuy5ve9KYcccQRWb58ed70pjfl05/+9MhnFpQAAAAAxmj9+vXZvHnz88ubN2/Ohg0bctNNN+Wuu+7Kli1bctlll6W1ttdj7dq1K8cdd9zzy6tWrcquXbtGPrNb3gAAAADG6OSTT87DDz+cBx54IFNTU1m+fHlWrFiRSy+9NHfccUcOOuig7Nq1Kw899FBWrFgx7nGTCEoAAAAAY3fuuefmxhtvzIMPPpj169fn+uuvz9TUVLZt25alS5dm9erV2b17916Ps3Llynz+859/fnnnzp35qZ/6qZHPKygBAAAADO674qyxvO769etz0UUX5ZFHHsntt9+ezZs355hjjsnSpUuzZcuW3H///XM6zhlnnJEPfOADefzxx5Mkn/nMZ/KRj3xk5PMKSgAAAABjdtJJJ+Wpp57KypUrc+yxx+a8887L2WefnbVr12bdunU54YQT5nScI444Ir/+67+e17/+9UmSD37wgzniiCNGPm/N5Q2dFqJ169a1rVu3jnsMAAAAYILde++9+eEf/uFxjzEWs517VW1rra3b23N9yhsAAAAAXdzyBgAAADBhtm/fngsuuOAF6w455JDceeed++X1BSUAAACACbN27drcfffdY3t9t7wBAAAA0EVQAgAAAKCLoAQAAABAF++hBACL2OqNt+51n/uuOGs/TAIAMCE2HTbi4z0x2uMtEK5QAgAAAJgghx566EtuP/PMM3P44YfnrW9967zNICgBAAAALCLve9/78slPfnJeX0NQAgAAABijjRs35sorr3x+edOmTbn88stz+umn55RTTsnatWtz8803z/l4p59+el796lfPx6jPE5QAAAAAxmj9+vXZvHnz88ubN2/Ohg0bctNNN+Wuu+7Kli1bctlll6W1NsYpX8ibcgMAAACM0cknn5yHH344DzzwQKamprJ8+fKsWLEil156ae64444cdNBB2bVrVx566KGsWLFi3OMmEZQAAAAAxu7cc8/NjTfemAcffDDr16/P9ddfn6mpqWzbti1Lly7N6tWrs3v37nGP+TxBCQAAAOA5m54Yy8uuX78+F110UR555JHcfvvt2bx5c4455pgsXbo0W7Zsyf333z+WuV7MAReUVm+8da/73HfFWfthktGby7klk3t+AAAAsFiddNJJeeqpp7Jy5coce+yxOe+883L22Wdn7dq1WbduXU444YQ5H+snfuIn8pWvfCVPP/10Vq1alauvvjpnnHHGSOc94IISAAAAwEK0ffv25x8fddRR+cIXvjDrfk8//fRLHueP//iPRzrXbHzKGwAAAABdXKEEAAAAMGG2b9+eCy644AXrDjnkkNx555375fUFJQAAAIAJs3bt2tx9991je323vAEAAADQRVACAAAAoIugBAAAAEAX76EEAAAAMFh73dqRHm/7hu0jPV6SHHrooXn66adn3Xb33Xfn53/+5/Pkk0/m4IMPzq/92q9l/fr1I59BUAIAAABYJF71qlflE5/4RNasWZMHHnggp556as4444wcfvjhI30dQQkAAABgjDZu3Jjjjjsul1xySZJk06ZNWbJkSbZs2ZLHH388zz77bC6//PKcc845ez3WD/7gDz7/+Hu/93tzzDHHZGpqauRByXsoAQAAAIzR+vXrs3nz5ueXN2/enA0bNuSmm27KXXfdlS1btuSyyy5La63ruF/84hfzzDPP5Pu///tHPbIrlAAAAADG6eSTT87DDz+cBx54IFNTU1m+fHlWrFiRSy+9NHfccUcOOuig7Nq1Kw899FBWrFgxp2N+61vfygUXXJDrrrsuBx00+uuJBCUAAACAMTv33HNz44035sEHH8z69etz/fXXZ2pqKtu2bcvSpUuzevXq7N69e07HevLJJ3PWWWflwx/+cE477bR5mVdQAgAAABiz9evX56KLLsojjzyS22+/PZs3b84xxxyTpUuXZsuWLbn//vvndJxnnnkm73jHO3LhhRfmne9857zNKygBAAAAY7d646173ee+K86a9zm2b9g+768xm5NOOilPPfVUVq5cmWOPPTbnnXdezj777Kxduzbr1q3LCSecMKfjbN68OXfccUceffTRXHvttUmSa6+9Nq973etGOq+gBAAAALAAbN/+dzHrqKOOyhe+8IVZ93v66adf9Bjnn39+zj///JHPtief8gYAAABAF1coAQAAAEyY7du354ILLnjBukMOOSR33nnnfnl9QQkAAABgwqxduzZ333332F7fLW8AAADAAa21Nu4R9rt9PWdBCQAAADhgLVu2LI8++ugBFZVaa3n00UezbNmyl30Mt7wBAAAAB6xVq1Zl586dmZqaGvco+9WyZcuyatWql/18QQkAAAA4YC1dujTHH3/8uMeYOG55AwAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0GXJuAcAAAAmy+qNt+51n/uuOGs/TDI/Fvv5AeOx2P5scYUSAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALnMKSlV1aVXdU1X/par+r6paVlXHV9WdVbWjqv59Vb1i2PeQYXnHsH31jOO8f1j/1ao6Y8b6M4d1O6pq46hPEgAAAIDR2WtQqqqVSX4pybrW2o8kOTjJu5L8dpKPttZ+IMnjSd4zPOU9SR4f1n902C9VdeLwvJOSnJnk96vq4Ko6OMmVSd6S5MQk7x72BQAAAGABmustb0uSvLKqliR5VZJvJfnpJDcO269L8vbh8TnDcobtp1dVDetvaK39t9baN5LsSPKG4WtHa+3rrbVnktww7AsAAADAArTXoNRa25Xkd5L8ZaZD0hNJtiX5q9bad4bddiZZOTxemeSbw3O/M+x/5Mz1ezznxdZ/l6q6uKq2VtXWqampuZwfAAAAACM2l1velmf6iqHjk3xvku/J9C1r+11r7arW2rrW2rqjjz56HCMAAAAAHPDmcsvbP0jyjdbaVGvt2SR/kOSNSQ4fboFLklVJdg2PdyU5LkmG7YcleXTm+j2e82LrAQAAAFiA5hKU/jLJaVX1quG9kE5P8uUkW5K8c9hnQ5Kbh8e3DMsZtn+utdaG9e8aPgXu+CRrknwxyZeSrBk+Ne4VmX7j7lv2/dQAAAAAmA9L9rZDa+3OqroxyV1JvpPkz5JcleTWJDdU1eXDuquHp1yd5JNVtSPJY5kORGmt3VNVmzMdo76T5JLW2t8kSVW9N8ltmf4EuWtaa/eM7hQBAAAAGKW9BqUkaa19KMmH9lj99Ux/Qtue++5Ocu6LHOfDST48y/pPJfnUXGYBAAAAYLzmcssbAAAAADxPUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0WTLuAYADw+qNt+51n/uuOGs/TAIAAMC+coUSAAAAAF1coQQAAHAAceU4MAquUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgy5JxDwAA47R646173ee+K87aD5MAAMDkcIUSAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALkvGPQAAAADsV5sOm8M+T8z/HDDBXKEEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAuS8Y9ADBt9cZb97rPfVectR8mAQAAgJfmCiUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC5zCkpVdXhV3VhVX6mqe6vq71fVEVX12ar62vDf5cO+VVUfq6odVfUXVXXKjONsGPb/WlVtmLH+1KraPjznY1VVoz9VAAAAAEZhrlco/V6ST7fWTkjyo0nuTbIxyR+11tYk+aNhOUnekmTN8HVxko8nSVUdkeRDSX4syRuSfOi5CDXsc9GM5525b6cFAAAAwHzZa1CqqsOS/GSSq5OktfZMa+2vkpyT5Lpht+uSvH14fE6ST7Rpf5rk8Ko6NskZST7bWnustfZ4ks8mOXPY9prW2p+21lqST8w4FgAAAAALzFyuUDo+yVSSf1dVf1ZV/7aqvifJa1tr3xr2eTDJa4fHK5N8c8bzdw7rXmr9zlnWf5equriqtlbV1qmpqTmMDgAAAMCozSUoLUlySpKPt9ZOTvLX+bvb25Ikw5VFbfTjvVBr7arW2rrW2rqjjz56vl8OAAAAgFnMJSjtTLKztXbnsHxjpgPTQ8Ptahn++/CwfVeS42Y8f9Ww7qXWr5plPQAAAAAL0F6DUmvtwSTfrKofGladnuTLSW5J8twntW1IcvPw+JYkFw6f9nZakieGW+NuS/Lmqlo+vBn3m5PcNmx7sqpOGz7d7cIZxwIAAABggVkyx/1+Mcn1VfWKJF9P8nOZjlGbq+o9Se5P8o+GfT+V5GeS7Ejy7WHftNYeq6rfSvKlYb/fbK09Njz+hSTXJnllkj8cvgAAAABYgOYUlFprdydZN8um02fZtyW55EWOc02Sa2ZZvzXJj8xlFgAAAADGay7voQQAAAAAzxOUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6LBn3AAAHjE2HzWGfJ+Z/jvmy2M8PAAB4nqAEAADjMJcQn4jxACxIbnkDAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF2WjHsAmKvVG2/d6z73XXHWfpgEAAAADmyuUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBlybgHAAAAAPZu9cZb97rPfVectR8mAUEJAAAAFo9Nh81xvyfmdw4WPbe8AQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0mXNQqqqDq+rPquo/DsvHV9WdVbWjqv59Vb1iWH/IsLxj2L56xjHeP6z/alWdMWP9mcO6HVW1cXSnBwAAAMCo9Vyh9MtJ7p2x/NtJPtpa+4Ekjyd5z7D+PUkeH9Z/dNgvVXViknclOSnJmUl+f4hUBye5MslbkpyY5N3DvgAAAAAsQHMKSlW1KslZSf7tsFxJfjrJjcMu1yV5+/D4nGE5w/bTh/3PSXJDa+2/tda+kWRHkjcMXztaa19vrT2T5IZhXwAAAAAWoLleofS7SX41yd8Oy0cm+avW2neG5Z1JVg6PVyb5ZpIM258Y9n9+/R7PebH136WqLq6qrVW1dWpqao6jAwAAADBKew1KVfXWJA+31rbth3leUmvtqtbautbauqOPPnrc4wAAAAAckJbMYZ83JnlbVf1MkmVJXpPk95IcXlVLhquQViXZNey/K8lxSXZW1ZIkhyV5dMb658x8zoutBwAAAGCB2esVSq2197fWVrXWVmf6TbU/11o7L8mWJO8cdtuQ5Obh8S3Dcobtn2uttWH9u4ZPgTs+yZokX0zypSRrhk+Ne8XwGreM5OwAAAAAGLm5XKH0Yv55khuq6vIkf5bk6mH91Uk+WVU7kjyW6UCU1to9VbU5yZeTfCfJJa21v0mSqnpvktuSHJzkmtbaPfswFwAAAADzqCsotdY+n+Tzw+OvZ/oT2vbcZ3eSc1/k+R9O8uFZ1n8qyad6ZgEAAABgPPblCiVYeDYdNsf9npjfOQAAAGAR2+t7KAEAAADATIISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOiyZNwDACwGqzfeutd97lu2HwaZB3M5t2Ryzw9gPizm7wsAkLhCCQAAAIBOghIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQJcl4x4A6LDpsDnu98T8zgEAAMABzRVKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADosmTcAwAAAMAorN5465z2u2/ZPA8CBwBXKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALoISAAAAAF0EJQAAAAC6CEoAAAAAdBGUAAAAAOgiKAEAAADQRVACAAAAoIugBAAAAEAXQQkAAACALnsNSlV1XFVtqaovV9U9VfXLw/ojquqzVfW14b/Lh/VVVR+rqh1V9RdVdcqMY20Y9v9aVW2Ysf7Uqto+POdjVVXzcbIAAAAA7Lu5XKH0nSSXtdZOTHJakkuq6sQkG5P8UWttTZI/GpaT5C1J1gxfFyf5eDIdoJJ8KMmPJXlDkg89F6GGfS6a8bwz9/3UAAAAAJgPew1KrbVvtdbuGh4/leTeJCuTnJPkumG365K8fXh8TpJPtGl/muTwqjo2yRlJPttae6y19niSzyY5c9j2mtban7bWWpJPzDgWAAAAAAtM13soVdXqJCcnuTPJa1tr3xo2PZjktcPjlUm+OeNpO4d1L7V+5yzrZ3v9i6tqa1VtnZqa6hkdAAAAgBGZc1CqqkOT/Ickv9Jae3LmtuHKojbi2b5La+2q1tq61tq6o48+er5fDgAAAIBZzCkoVdXSTMek61trfzCsfmi4XS3Dfx8e1u9KctyMp68a1r3U+lWzrAcAAABgAZrLp7xVkquT3Nta+1czNt2S5LlPatuQ5OYZ6y8cPu3ttCRPDLfG3ZbkzVW1fHgz7jcnuW3Y9mRVnTa81oUzjgUAAADAArNkDvu8MckFSbZX1d3Dug8kuSLJ5qp6T5L7k/yjYdunkvxMkh1Jvp3k55KktfZYVf1Wki8N+/1ma+2x4fEvJLk2ySuT/OHwBQAAAMACtNeg1Fr7kyT1IptPn2X/luSSFznWNUmumWX91iQ/srdZAAAAABi/rk95AwAAAABBCQAAAIAughIAAAAAXebyptwAcGDbdNgc93tifucAAIAFwhVKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADosmTcAwAAALDAbDpsDvs8Mf9zAAuWoAQsHP7iAgAAMBHc8gYAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKCLoAQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADoIigBAAAA0EVQAgAAAKDLknEPAAAALEKbDpvjfk/M7xwAzAtBCQAAoNdcgplYBvSaoD9b3PIGAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBlybgHAAAAAJiTTYfNcb8n5ncOXKEEAAAAQB9BCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6CIoAQAAANBFUAIAAACgi6AEAAAAQBdBCQAAAIAughIAAAAAXQQlAAAAALoISgAAAAB0EZQAAAAA6LJk3AMsSJsOm8M+T8z/HPNlsZ8fAAAAMK9coQQAAABAF0EJAAAAgC6CEgAAAABdBCUAAAAAughKAAAAAHQRlAAAAADosmCCUlWdWVVfraodVbVx3PMAAAAAMLsFEZSq6uAkVyZ5S5ITk7y7qk4c71QAAAAAzGbJuAcYvCHJjtba15Okqm5Ick6SL491KgC3B0tQAAAgAElEQVQ4EGw6bI77PTG/cwAAMDGqtTbuGVJV70xyZmvtnwzLFyT5sdbae/fY7+IkFw+LP5Tkq/tpxKOSPLKfXmscnN9kc36TazGfW+L8Jp3zm1yL+dwS5zfpnN/kWsznlji/Sef8Ruv7WmtH722nhXKF0py01q5KctX+ft2q2tpaW7e/X3d/cX6TzflNrsV8bonzm3TOb3It5nNLnN+kc36TazGfW+L8Jp3zG48F8R5KSXYlOW7G8qphHQAAAAALzEIJSl9Ksqaqjq+qVyR5V5JbxjwTAAAAALNYELe8tda+U1XvTXJbkoOTXNNau2fMY82032+z28+c32RzfpNrMZ9b4vwmnfObXIv53BLnN+mc3+RazOeWOL9J5/zGYEG8KTcAAAAAk2Oh3PIGAAAAwIQQlAAAAADoIigBAAAA0EVQAgAAAKCLoPQSqmpdVb2jqt5WVSeMex5YzKrquHHPAC9HVX3PuGeAA1VVLYhPLJ4vVfWz455hvlTV68c9w76qqs+Me4b5VFXLquroWdYfXVXLxjHTKA2fMv7c45PGOQt9qupFO0ZVHb4/Z9kfqmplVf294WtBfd8TlGZRVf99VW1NckWSa5JcnOTqqvr8pP/QW1X/8KW+xj3fvqiq/6eqbnmxr3HPt6+q6ser6sIZyzdW1eeGr58e52wj8vmq+p+r6uBxDzIfqursqvq+GcsfrKo/H359Hj/O2Uahqt5SVXdU1SPD1+1V9TPjnmuUhm/m66rqFcPyMVX1L5J8bcyj7bOq+h+q6g+q6p7h68aq+qlxzzUKVfWaqlozY/ncqrpw+HrtOGcblar61RmPz91j27/Y/xONVlX9yYzHn9xj8xf38zj720fHPcAoVdWJVfVbVbUjycfHPc8IfFdsWWQ+luQnZln/41kcvzb/8YzHe/7ZsihU1Yaququq/nr42jrz54kJtrWqfmzPlVX1T5LcNYZ5Rqqq3l9VH5yx6gtJ/mOSzyR533immt2CqlsLyO8meXNrbWr4Qe9ftdbeWFVvSnJ1kjePd7x9cvZLbGtJ/mB/DTIPfmfcA8yz30jyizOWfyjJ/5jke5J8IMnnxjDTKJ2S5PJMf4O4pLX2n8c90Ih9OMlpSVJVb01yfpJ3Jzk5yf+e5IzxjbZvquqiJP80ya8m2TqsXpfkiqpa1Vq7amzDjUhV/UqSX0uyI8khVfX7SX47ySeSnDrO2fZVVZ2V5F8n+c1M/zlTmf79eE1Vvbe19qlxzjcCv5PkP+fvwt9Hkvxhklcm+e+S/LMxzTVK70ryL4fH70/yf8/Ydmamv0dMsplXAe55FUHtz0HGYOLPr6pWZ/r73buTPJvk+5Ksa63dN76pRuawl/oH2dbaJP+9OklOba1dvOfK1tpNVXX5OAaaRxP/e21PVbUhya8k+Z8yHVme+/7+v1ZVa61NckT7pSRXVdUXk/zzTP+58vtJdib5yXEONiLn5oUx99HW2snDP7zfnum/yywIgtLsDm6tTQ2P/zLTv0DTWvtsVf3u+Mbad621n5vLflW1obV23XzPM0qttdur6nVJfiDJPa21e8c904i9prX25RnLX2utbUuSqlowf6i8XK21J5L84nAJ/Ger6r4kf5vpb36ttXbKOOcbgdZa+/bw+B8muXr4/7etqn5hjHONwqVJfry19tiMdZ+rqrck+ZMkEx+UMn2l6g+11h6rqr+X5L8meeNzvwcn3PuSvL219ucz1t09XKn7vyWZ9KD0+kwHz+c81Vr7xeSFV75MuHqRx7MtT6L2MrctBhN9flX1hSSvSXJDkp9trX2tqr6xSGJSkhyW5K2Z/ffZpP9DbZK86iW2LYY7XQ6vqndk+lxes2ccXARB8OeTvGOP32+fG26lvSETfFVWa+1PqurUJJuS/L9Jnk7yntbaorkNtbX21zMWf29Y9zdV9coxjTQrQWl2W6vq6kxf8fG2JJ9Pkqp6VZJFeTvOLH45yUQFpeGywPOTbEvyL6vqI621/2PMY43SC+4Hbq3N/Ka3WG7b+MlM/wB7bZIrMx2UFouqqkOTfDvJ6Zn+V5TnTPr7ENQeMSlJ0lp7tGox/CybJNn93Dm21v6yqr66SGJSkqzYIyYlSVprf7FIbglb0lqb+UP5BTMeL5b3WWgv8ni25Uk084e+w2f80FeZ/oF+olXV9sz+/6mSrNjP44zaQ0lWZvrvKUdn+krBxfBr8jn3t9b+8d53m1gPV9UbWmsvuLV0+Me/qRd5ziS5PdM/6yXJHXnhnRyLIQi+ZrZ421q7r6peM4Z5Ru2dmb7y8eNJ3pRkfVVtne3vpBPo0Kpa2lp7Nklaa9cmSVUdkulIv2AISrP7p0kuSvL3k/ynTL+PUjL9B8vE3pbSaRJ/Clyf5HWttW9X1ZFJPp1kMQWlr1TVWa21W2euHG6f+uqYZhqZqvo/k3x/kg2ttbvHPc88+N0kdyd5Msm9rbWtSVJVJyf51jgHG4Enq+pH94wSVfWjSZ4a00yjtqqqPjZj+diZy621XxrDTKPy1y9z26T426pa0Vp7MElaa/8lmX5PrCyeaP2jVfVkpr93v3J4nGF50oN18sIf+m7PC3/ou2P/jzNybx33APOltfb2qjos01fmbhrez+zw2SLFhJrEvy/3eF+SzVV1bab/wTaZvqX9wkzfajvRXurOjVocb4j//73MbQteVf2nJLuT/IPW2jeq6n9JckmmLwy5YhG83cKNSf7N8NYD306e/xCYfz1sWzDqhf9oB9Oq6q5Ju8Voz5mraltrbaLf22SmqvqBJLdm+r1AnnuzuVMz/R4gb22t/ddxzTYKVfXPkvybNssfSlX1s621/zCGsUZq+AH2mCR/3lr722HdsZm+guKbYx1uH1TVjye5Psm/ywv/wrkhyfmttf+fvfMOk6wo2/f9LCCsBAEFlSQZJIOAJBMooqKkD9hFBAT1Q0FBJQcDfmAABQFBMSCgLIhkA6IkgR9IjkuOgiJBkaTE5/dHVe+c7e3umZ3p6eo6Xfd17eU5VTP6tNPdp+qt933e7MuKog9BW3IrEa4i6Wlab8pFKGWcr8eSuoqk7QlZt18GbozDaxC8lY7O3EOiUHMkXWl7/dQ6uoWkBYFtCFkFi9nOvdnNSo0gddP4BsBk27slkNVVYqbq54CV4tDtwLG2H0+navyR9LDtxVLrGAuSXiB4P84wBSxpO9sutZK2sH12i/G3AEfY3j6BrK4RvZIOBT4FPET4my1K8HM+yPYrCeVNRwkotSCmAO4PLAL83vaplbnjbOfudzIskm60vXpqHTND06ZIBCOzaZsk2x9r9Xs5EdMcP86QKentwKm2/5tO1fhTh4d6J+rw+uID/HMMvTenAj9oZIXUiVi6iO3nUmvpBpLe02ne9mW90jJeSGoYUzfen7cB37L9+3Squo+klYHl4+1U27en1NNNJC1H8DJrvL47gBNyP0wZDkl/zT3o0g5JZ9quQxYIMC3jeDuCme4DwFm2j0mrqjBa6vDZU6W7cCtsP9QrLb1CoSP7JNuHp9bSDaJf0tLx9l7bfZdZVkreWnMiocb7TGDnmPK4ne0XiV2aBoArUwsYBZs13deu61t8D/5s2B+sH3VPKc/+9cXA0VeG/cGMkfRZwmHDnPH+OeDbto/r+Iv9z422n2k1EQ3Is8f2BYQy6FoSS4rOBRYDbiZ8p6ws6WFgs3Z/31yQtC7By+SE+E+EDpmXStrS9tUp9Y0zdT75XSu1gLEiaVmGOtg9CZxOOLB/X1JhXULSJbR/D9r2Rr3U02Oy/+y1CxhJmkB4z9YioCRpAUIgdzKwEDBD5lJuRF/ZZtZqeJPa7pty7xJQas1SlROTcyQdSHDEr0OGyw6d5m2fHP9z994o6ipTgQWaOqEhaQVqYBwo6VlmNF59ErgE2Nf2U0mE9YbsH+rDkPXrG8ZQ9jXbq/ZYUteJtfnrAe+1fX8cWxL4vqT5befcPvlSQgkYki5q2iCc05jLFUnH0Oa7sw7lmJFvANcBG1bKaScA3yKkzH8+obZu8BVC+dCllbFzJF0MfBX4UBJVXaK5s1R1Cuirbj5dJvvDFOBO4HKC9cC9AJK+mFZSV9mrxdg6wD5A9iVvw6xfsm9KEatudiMY458H/BHYnVACfjPBriBLJM1N8GbbDliWcOiwhO1FkgrrHnu3GDOwCqH0rW8ahZWAUmtmlzShsSizfaikRwnlU3OllTZm2p0GfYzwZXNyD7V0m2OYvnNWgzcCBxG+cLLF9tzNY5LmA3YCfkiIzGfLADzUmze106bIv9NUK0PZRq33/j3WMl58Ali1Wl5q+35J2xAWZTkHlKqbuvk7zOXKdS3G5gcOl3S67aN6LWgceD+wSmPdAmD7NUkHALemk9U1lmoKJgGhHFNS7sarML3JeDO/6ZmKcUBS83fKtCnq8f2yJcGc+hJJFxBasdfhdQFQ7WYay6MPJhj971qTkuHaGuJHTgH+BVxF8OI5gPD+3LwGDXAeB64h7PGusO3YDbQW2J7uuSBpfcJrfYw+OyQqAaXWnA9sSOjwBoRWfZIeIwQtssX2tDegQs7cx4F9gasJp5g5s3Sr9D/bl0s6PoWg8cb2v4AjJX1i2B/uf+r+UG+1qR3JXN9TTalu4SGRvZl6xK28ymz/R1LuncJq3XK+nWG6pB8SmhzUIaD0UiuDTtuvSHoxhaAu06lbZPadCDt1mqoB1xO+R1oFWV7qsZauY/scQrbcnATrhT2BBeO682zbFyYV2AUkfZCwkX0RONT2JYkldZOJtu+E4FMarSWI9+uQf0nYkrZXBpD0E0JX4cVq4r26PyGYexwwRdLpifWMC5I2IgRyDRxm+4+JJc1ACSi1wPY+bcYvAJbpsZyuI2lWQlbLXoRA0v/Yzr7tPDBDBk+F2XqmosdImo0afJbraAxYpVMXMElZ+33V3UMi8qikjWxfVB2UtCFhgZYzC0r6EmHD17gm3i+QTtb4EoOBqWV0izliMLf5BQmYPYGebrOopKNbjIuQXZ01lc9cg0ZZ5hW2H0ggqWvYXiK1hl5g+3ngVODUmD2+NeHANuuAkqRrCc+BwwlZLkiaVgZt+4Y2v5oLpzJU1n0V05d4H0fmJd/Ay40L269KeqQmwSRidvFR0X5gEqFEfyFJ+xKCuVk3bJD0EeBA4N+Erm59W6JfurzNJJI+afvE1DpGi6TdCO2TLyKYyT6YVlH3kPRbQlep3zWNfwj4gu06eizMB2xLWHQe0mNJXUXSA0yfDaHKvW0v1XtVvSH3Lm8xQ+dyYJeKh8T9tpdMq6x7SFqRYHp8BeHEHWBNYH2C6XG23bQkfbXTvO2v90pLr4gHK58AtmxOK8+RaJzbltyDu5J27DTfKWCfA20+g/MDHwS+Zvu0HkvqKvHz9mosSVkUeCehW1HuJTfTaOqweIft21Lq6RaSLqWyFmP6oLVtb9hzUV2k2tW6ucN1jh2vm5H0KkNZnA1PthfitW3Pk0rbeCBpJUKW/Da2lx7u5/uZuLZ+hGCrMEPApp+6l5eA0kxSk43f4wST6hk277ZXSSKsC0haBvgtoYShuuFbl2CWmHukujmQaeAp4FLbv00gqatIemPT0ARgG0Im3Q11ai3cTO6taSVtTjgdWp/QSes04Cd1O5mWNAdhodJoPT8V+GVdTvvqSouGBgD/AS4D9rT9t96rKowWSXMB2H4utZbxJvoP/cl2tlkSkj4NfBt4jmAevzdwA6FL389sfzuhvDFT6bC4KHALscMioVRq89w7LI4USR/ox1Kc4ZB0Q+PzVb1udZ8jkmaz/fLwP5kvkuZlqILobtv/TqmnW0TPsrbYvqxXWoajBJRaIOmWdlPAsrazTR+X9LZO87mXHUmanbDhW4mwgbgduA/Y1vZuKbUVRkbsTPQJwqLzJkK98NTOv9X/DGNMenMdulJUPCQmE3zoTqYmHhLtaLTetZ1zp5RWpUTTsP2FXmkpjB5JCxK6+TQCnrcTsnaz78QEIOmzBM+MOePQc4RM61bNOGpD7lkSkm4HNiDYEtwBvM32k5JeD1xre8WO/wV9Tvz+fAnYp0WHxYlV79I6k2vwRdLjDBmpbxuviffb2M66KUyuf5eREPd8PwI2J3h2CngbcDbBND57j7ZcyN53ZZx4MyHN+F9N4yJkv2RLI2AkaQkqp+yObbBzJ5rpnRjruycT2gnXwhg4ZkdsS3hfnk8IuLybEDD7hu0nE8obM9ELamfgi4Syos0b5VM1oZMxaS1Oj+rqIQEztN49l9C0YTdCBl3WrXcZyuisLW1Kbu6zfWNiaV0hdn85Ffg5Q91a3wFcI+njtq9Mpa0bSDoIWA94b2O9En0zvi9pfts5d1lsi6T3MeNaNDdeig1E/iXp3sZaxfYLkuqw4at7h8WRkqshXbU1e3ODlKwbpkRy/buMhAMJHrmL2n4WQNLcwA8IJtYHJ9Q2ZtS++zUA/VRVVDKUWiDpp8CJrcyvJJ1qO9v283FT9BNCKVijdn01woZil5xTc9sYA+9lu2NWVi5I+hUh8DAnwTvpNkJgaQNgNdtZd0mT9AjwCqHj0sPN87bP6rmoQiEi6VyGWu9uBCxIWKjtkbsPiKRZ3aJDWF2oe8kNgKSrgc82B8gkrQb8yPY70yjrDpLuAlZtLi+VNJGQ4blsGmXdoc3GYX7gb8AOjl2ockTSnYR12QTgF4QscsV/v7D99oTyxoykm2yvNrNzdaPOmTAAko7JMdssrq2/127edtu5fkfSbcDatl9oGp8LuNr2SmmUdYecqopKhlILbO/SYS7bYFLkaILvx6RKaq4IUdxjgR0SahsrdxKMgTetGAN/Ma2krrKC7ZXiSfsjthu1tRdIujmlsC7xJ8KCetX4r4qB2gWUJC1FWFxPyj3tfwCoc+vda4idbHJdNA/DnsBStCm5IQSbcmeeVtlWtm+KJ7a541afNYdOfa+1+oXMaD4QMvBUzPrMnb8ztKF9jOk3t4/1Xk7XqXuHxUJg/dQCRskswFzUM1PpteZgEgR/PUnZZ8zYfih6lC4N3Gr7D6k1taMElNogaTHgGdtPS1qckNFzZw26Nqxve6fqgEOa2iGS7kkjqWtsSTAGvkRSwxi4Tl+gLwHYfkVSs4nsqwn0dJXm92VdkbQQoXRxO4Jx5zcJ79tCf1Pb1rtM/z2Z66K5E3UvuYFwNjRffJ3VwfkJmSG586ikjWxfVB2UtCEhYJE772hk4bb6O+aMR9hhMFdTZ6YPmDWTfcBsJkydHxxvLYVR8Xdn3gW6A472Cq32etkfNEg6jmBP8/+Ab0ha2/Y3EstqSQkotUDSfsD/Ai9KOoLgkXEl8HVJP805PXAYsg6+2D4HOKdiDLwnsKCk46mHMfAi0fxRlWvi/cLpZHWP2O5zb6Y3lT3CdvY+BJI+Q0j7Xxj4FbALcK5r2JK9pqwqqVESLGBivK9D693sT/KGYWLMIJgAvK6STSBgjqTKuseRwIWS9iKU80HwUPp2nMudLwDnSrqC6bu4rk943ufOQQxl4V5EzBgcML4NZBdQGoCA2aOSzgOmABe7jVeK7S17K6swQrLe2w3DGwjPg1avsQ7rmncTSr1fjRnVlxPK9vuO4qHUgtiRYk3g9YSI+5K2n4iBir/kXJMp6SSGTJxdGT+Y0MHuE8nEjQMVY+BtbW+UWs9YkLRjp3nbJ/VKy3ggaTPgCELGTsMIcU1CV5+9bJ+bSls3iJkQVwFftn1dHLvf9pJplRUGHUkvAPcSFmVLxWsYCpb1jfHjaJB0KZ2NLUe0Iex3JG0K7MP0AfnDbZ+fTlX3iI0ptqPSUAT4ZR0yBaud3HLv6jZa6v66c/UYkvRG4H8ImdTLEJrcTLF9dVJhPSbX96ekBehQxWD7nz2UkwRJK9q+PbWOmaX5O6Ofv0NKQKkFkm6xvYqkWQiprG+p+A3dlnlAaR7gp4TTr4aR7OqEE81dbP87lbbC6KmDqW70gdrM9oNN44sTMnmafZWyIi7KtiZkKb2FkKW0k+1FkworjAlJ8wK72T40tZbRkpPxY6FQRzoYVwNg+4Y2v1ob+nmz1A1yDUhUiSX7WxOCSwsCp9k+MK2qsSHpMNsHjODndrL98x5I6iqSHqB9h2EPwqFmrt8tlcM+mP7Ar+8O+0pAqQWSfg68jtBN6wVC56kLgA2BuW1vk05dd4hmwCvE26m270uppzA8kq6wvUG8PqWaTZbrl2UVSbe3M6aWNNX2Cq3mckTSIgQfpcmE75mzR7KgKaRDodX8wcBCwDmE9P9DCI0MTrW9R0J5hQ5I2sf2d+L11rbPqMyNaDPR71RKoFti+wu90jIeSHqW1llmdSg5RdIlHaZte8OeiUlEHdYxnajL64sdtLYEvgS81fabE0saE3X5uxTak2swN6fDvuKh1JpPESLwBn4NrE04LboL+EFCXWMmZl1NjAGk+yStAywsaWHgRtvPplVY6MCclevmwEsdaqRfkbSY7Yerg/ELNevsq2ZsPwJ8F/iupGUIgaVCf3MycBkh3X8TQlnmTcDKtrM2Xq37Zp1wmv6deL0/cEZlbhMg+4ASsCtwGyHz8W/U45lQ5SJCZudZwOn9tJDuBnX24SmmzvkTy00/SlirrEc4ZN+PDD2vWjBLB2Pn7EvCYpOptjSvuWtKltkzjeecpCWolHrbvj+dqtaUgFILYunQlMrQ/4v/pkPSmba36pmw7vBt4HGGFtenEnwW5iCUve2bSFdheDp9IWb5ZdnEV4E/STqM6U1X96MG70tJ2xOyQk9pmlqHoZTWQv8yv+2vxes/SNoa+HijHDpz5h/hhi9X1Oa61X2uvJXoF0gIwJ8O/Nr200lVdQnbm0t6AyEz4oS4wT2dUHKT9YZvJsnRuLrWps51D5hJOhV4P+FA5ZfAdnXwLauwPJ2NnXMvCfstM5a8GViAULY4SwpRheGJNjU/IeyFGjY1q0m6nmBT80zbX+4xJaA0NnL8ktkIWKty/2/bH5Ukgnt8oX+ZV9IWBI+FeSU1Fl8idDrIGtvnxFrvLwOfj8O3A9vYvjmdsq7xecLnr5mzgD8TgruFPqbpFPMp4A3xuzP3U8y/UO+uUm5z3eo+S2w/BfwQ+GEsqZ0ETJW0b4sgdpZEj8cTY3ORScDRhMOwunbebUWOAdC3E0ydDwJOklQ3U+daB8wI2Uj/W+MKhqk5lkONFNsrV++jL+m+hCDhYQkkpeCl1AJGydGE5hOTKl7OItgvHEuwXOgLiofSGMix7lbSzVVzY0kb274wXt9ke7V06gqdkHRip3nbn+yVlpRIOsb254f/yf6i0/dFoxFArzUVRo6kB4HXqKGxZa7+AiNF0qvA84S/3USCNyLxfg7bs6XS1m0krUEoS/kA4dT9u7anplXVHSStR3ht7wKuIJS+DdRBWI7rzio1NXWufRc0ScsBnyFk8wDcAfzY9l3pVHWHuj//GkR7hQOBdxIsF07KPTM5Pu/aknszA0n32F5mZudSUAJKYyDHB7ukO4C1m08aYir5X2wv3/o3C4X+IMfPHUz77K1p+/mm8bmBa8tnr5AKSY/QIcvD9iBlgGSJpEOAjxA2eqcBF+Te+bNKDOg+TXhtF9Pkq5f7xmGk5Pr8q1I3U+cqNQ2YrUvIpD6BYI0hQnfoTwNb5h44y7V720iRtBIhkLQiwe5kiu1X06rqDpJeI3gHPtkYqkxn38xgmIDSvbaX7rWmdpSA0hjIMaot6UuENMddG0Zs0fT4eEKq7hEp9RU60+aU6ATbd6dT1VtyXVBL2otQ8rZrxWhvcYLR/6W2D0+nrjAckra3/Yt4vb7tKytzu9s+Np26sSHp74RnQDtT0q/3VtH4IGllhr47p9q+PaWebhIX1g8wlH3VWNz1XXvh0SDpUoZe0wx+ILlvHEaKpLNyLJ1qY+p8GvDHumxuG9QtYCbp98C3bV/aNP4eYD/bH0oirEvEcsW22P5Yr7SMBzFD968EL6UZPms5dwCVtCchO/DfhO+Ts20/l1ZV94jl3fcB36iW0ko6GFjWlW7fqSkBpQ7EB2Aj+ndvswldtVwsJyTtSuhqMydhUfYs8C3bxycVVuhI3U+JRkquASWY9tnbH5iL8tnLiur7rvk9mPN7EvLXPxwxA/dcYDHgZsJnb2XgYWCzfjK2HC05tRceT3LsggYgaR/b34nXW9s+ozJ3mO1sOxE2mTqfBvy2ZqbOtQ6YSbrb9rJt5u6yvVyvNXUTSU8QAi5TCH6C0x2s2L4sha5uIWknOngF2j6pd2rGB0lLErICNwMeAg6zfVPn3+p/oin3Twkel43XszphD7hL9BXsC0pAqQWSZiUYle1MeGMKWBQ4ETgw95rTBrHUhhob7dWKup8SjZQcMwObKZ+9/Ki+75rfg7m/J3PXPxySjiaYcu5TMbacAHwLmJijJ9tokXSV7XVT6xgvcg2O1jxgvQMhc6CWz7u6B8wkXW/7HW3msn5vAkiaheA5NxlYhZDJM6VOGayDgKQVCUGlTxCe9b9KLKlrSFoKWCHeTrV9X0o9rShd3lpzODA3sETjARijhEfEf3sk1DYmYslb89i06+KV0dcs1RxMgnB6IumEBHp6hqRZK34g308qZpRI+ihwi+2HbD8r6SuStiIErfew/UBiiYXO1LlTWKvug0iaF9jN9qE91tNt3g+s0ggmAdh+TdIBwK3pZCVhjtQCxpkcu6DB9LqbX0OurwkA2ydLWk5SLU2dqX8XtEVjUL4ZAQv3Wky3iRlkFwAXSJqdEFi6VNLXcy5lbyDpfDpnKGVb0teUmfRXQkD3MNv/SSqsi0h6HfBuggcWwJskPWL7xYSyZqAElFqzKaE2cdoH0PYzkj4L3EnGASVCoKyQJ50WK893mMsCSVfY3iBen9JUG3wNsa15xuaJhwLrAEjaFNiesHBZndDu+4PppBVGwPKSbiEsopeK18T7bDu8ReaU9C1gIeAcQur/IYSTvikphXWJl1oZVNt+RVJfLcp6QPEszCoAACAASURBVO7Bz+HI9fXVNmDdVK5/AkPl+pdIyr5cfwACZnt3mLuuZyrGkRhI+ghhTbY4oV372Sk1dZE6e+PeC9xCKGl/hlDW/tlGokTuSRKSVgDOA64kdG0FeC9woKSPuY86uJaAUmtcDSZVBl+VlPWDHXiqDhH3AaXWp0QET68GKzbNZX1CG7HthmHulsBPbV8PXC/pcwl1FUbG21MLGEdOJpRrnAlsQtgk3ETI6nkspbAuMYek1Wmd+TF7Aj2FQjOrSnqG8J6cGK+J97lnlX0FmNyUYX2OpIuBrwJZl+sPQMCspcdOxTcqaySdDKwE/A74uu3bEkvqKiP1gJJ0pu2txltPlzmEoYD7XE1zue/XAY4BPtvsCyjp/YSGPu9LoqoFxUOpBZLOAc6yfXLT+PbANpmnB2Zf7zyoSNqx03zuxnp19pAAiBkt6xG6MD0AbGX7ujg31fYKnX6/kAc5etRIutn2qpX7R4DFqiViOSPpkk7ztvtmUTbeDIBfVpZd0OrMAJg6D4y/ZfQb+iAhk2dj4HLb/5NW1dhQ6JDZyPKvboobHTLn6b2q3lO3Z4OktWxfm1rHWJB0p+3l28zdYbtvDjpLhlJrdgPOkrQzQylmawITgS2SqSoMNCMNGEk6JlOT2XklbQFMiNeNTYGAN6ST1TWOImR9PAPcUQkmrQ78PaWwQlfJMptA0nwMZfA8BbxBMW/c9j+TCesCIw0Y5dohrBOSNiBkh+wWh/qmzfDMImlBwvqskcF6O3Cc7X80fibXYJKk1wMvN5q+SFoO+DDwoO3cS29qXa7PAPhbxuDYdoT35DXA+gSf2Rc6/mIG2J6QWkOfkH2GSSwRmxz/PU3Yu+fMBEmzN/slxezAvorhlAylDkjakKGFy1TbF6XU0w0kvULIkJhhigGKxNeZXLN5JJ3Yad72J3ulZTyIJ3tvARYEbq50m3orMJvth1PqK3SHHD9/kh4EXqN1aalt5+4RNSJy/Nu1IgaptwO2JmRDnmX7mLSqxoak9YFTgZ8zdND3DmBH4OO2r0wkrStI+jOhDfQ9kpYmbNp/Sejsc63t/ZIKHAOSHieY5c4wRcj6f3OPJXWVAeiC9gjwMHA8cE5sKvKA7SUSS+sKsSzxrHg9n+1/pdaUglzfq5IWZyiI9DLwNmBN2w+mU9UdJB1E8F7dzfZDcWxxgsfXdbYPSaduevoqutWHmKGIbS1S/4Fb65TSWKgPuQeMRsD1hFroq6qDtkt2UiEpthdPraFPyNarTdKyDC2qnwROJxwa1qWc77vA5rZvrIydJ+ls4EfAO9PI6hrz2b4nXu9IaFv++djh53og24AS9Td1rru/5a+BzYFtgVclnUsNslkqHETwwAK4iNgAZgDJ7vkn6SpgHkLAeqsYkH+gDsEkANv/J2l34PKYxSrgOeCIfjskKgGlFkhamPDl8l+GTsK2lvRtYAvbjyYTVyjUmJjFM5/tJ+P964CdgC/2U63wKPlf4BhJNwP7DOop2ACQ46Jse9u/iNfrV7M9JO0+QI0cct4k3QlcDmxq+14ASV9MK6mrzNMUTALA9k2S6tC9tvre2xA4HMD2S9HjJVvqbupMzQNmtveM3yXvJQSsv0Moid4G+J3t51Lq6wJqc10LJO1NCFA/MsyP7tsLPV3mH4Sg7ZuBBYB7yPs5PgNx/XVs4zlnu1MJcTJKQKk1xwLHN7cnl7QDcBywWQpRXeKMkfyQpP1tf3O8xRTGhSwfiJImEU6an5d0D3Ao8DPgWuDjKbV1A9t/kfROYFfgumjk+Vpl/gvJxBWGRdLytu+M19PVtEtap9LJJ0ePmi8Bv4jXxzD9Ce3OhGdiob/ZEphE6Cx1AeHENstnQRvUqhxF0vwE373cuUXSEcCjwNLAhQCS5k2qqsu0MnVmhOvSfmUAAmbEzteXEL5fZmPob3gc8KaU2rrAxFgmPIEWHUFt35BMWXdYCLgqlrZPAc6w/UTzD9m+sNfCxortzSW9gfD8+5qkZQgerGvbviaxvDET4w7NY9Oum5uHpaR4KLWgU9eJOnSkGAm51tIWQNJOzcHQHJB0G6Gk4V5JawBXAf9j+/zE0rqGpDcSTp5XIATPqgGlrLv01Z06dyGsdndp7vRSt84vnahDhzBJcxIOvSYTMl1OBs7OcbNQRdJngE8DewGNDd47gG8DP7P9o1TauoGkicAewFsJr+fmOL4ewfT5lJT6xkobU+cl62DqXKWOXdA6IWmi7f/E6xzbziPpUtpntdj2hj2UMy7EBhvvJhw6bA7cTAgundWvGS+jITZu2Ibw+VvM9qKJJY0JSe3K2j4GLGy7bxKDSkCpBZLusb1Mi/EJwN22l04gq6cM0iYiFySdT4dUTtsf66GcrtNik36b7ZVSauomknYlpMYfDvzI5cs3K+ocdKlzsAxA0j62vxOvt7Z9RmXuMNsHpFM3fih07tsa2Nb2Rqn1jBVJmwL7MH2Xt8PrdOjQjKRFgUm2D0+tZbTU3dQZBidg1oncn4ODQgx6vh/4FrCc7dcnljQuSHpbw8i6DsSg4McJpYlTgUNt35JW1RB9E9nqM34r6cfAnrafh2mnfkcCv0uqrHeUzW7/cURqAePMgpK+VLmft3pv+3sJNHWTDYB1bT+eWkhhVLjNdav73Fhe0i2ENP+l4jXxvg4d3iYRfD8A9mf6EptNgOwDSrH0qxW/jv+yx/ZvgN+k1jHeSFqAEAicTChXOTutojFTa1PnpoDZXpWA2cAEkyJZ/k0lvbvDtG1f3jMx44yklQnPw20JzRv2T6to7Ehal+Cj9Gfbj0tahdDE4F1A1hlKAJJmJXjJ7gVcTajcuCupqBaUgFJr9ga+CTwkqRHdXAw4iRosPEdInbwXaoHtyyStRvBXuN32Hak1dZkfA3O3uc9yodLEQUDVd+d9hEX2Q8Cxtl9KJawwIhaJnXxUuYZ6dPLJ3fB+ODqZrtblWfck8AjwSryvvi6TeWAwpv53ytDN2oMuGq5uSchyWZbQGGYJ24skFdYFBsDUudYBswGglam6gVUIAYlZeiunu0RfoUnx36sEf72Nbd+fVFgXkHQ4sClwE7CvpD8AnyLs4XdOqa0bSNqNUAp9EbBJP3evKyVvLWgYrMaa9kZ52311OG0YacceSQfYPqwXmgojQ9JXgO0JnQffCXzT9o/TquoNktayfW1qHWNB0l8IXSL/FgODfyI89FYBXrb9qaQCCx2RtGOn+Zw9sCQtDby52t0tjq8PPGb7vjTKukPdS/oAJB0FvA+4kuCNcUWdymrr/PkDkPQfQqnUQcS/naT7bWcdCGxFk6nzB23nburcKEd5L+E1fRh4A7AL9QiYjYi6lLzF595BwHyEsqKsS2ol3Ud4Jpxm+7bUerqJpKnAGrb/G0u8/wqs1M+Bl5lBocPn48ATTB+kFiF7bpUkwlpQAkotqMsCsxV1fm11R9LtwFq2X4jmzhfYXiu1rvFC0gqExdlk4GnbayaWNCYk3dL48lfo5vOa7X2iN9tN/fRgKIyMuIB5OveNu6TfAPvbvrVpfGXgMNtZdyqS9CrwPGERNhFoHA4JmMP2bKm0dZOmTe3ahE5hx9t+IKWubhFLwd4G3Gv76dR6uomkPQkZBHMSNn+nA3+sY0CpSh1MnZupY8BsJEjaOGfzf0kbAQcTNu6H2f5jYkldQdLbGxUN6tyhNjtaHBDVIqjZQNLbOs33k0dUKXkrFPLhxUaWnO2nYiCiVkhanKEg0suEzcOaNTltqJagbEisXbf9mlSXqpv6EjMEf2X7TkmzA78HVgNekbSd7T+lVTgm3twcTAKwfWv8TGaN7axLFkZKDGxeIulGQnDiG8A9hPLhrJH0KeAw4D5gCUmfsX1eYlldw/ZRwFGSliT87c4BFpK0L6FL391JBY4TjWBSpBbBM9svE7y+fhMrHYB8A2aSLqFzF7SN4kWWwSRJHwEOBP4NHGT7isSSus0vgUbQ5arKNcBxTfe5saSk6nNgiep97s2KmgNGMZng3cDDtq9Po6o1JaDUmuY36HRk/gZdRdIzLcYb6XPz9FpQYcRU35cN89zafHFKugqYh1DfvZXte6Kx5YNplXWNiyX9Cvg7IZX6YgBJbwWKf1L/sy1hgw6wI+EzuADB7+QkQgljrszbYW5ih7lsiNk7azPkd/UocE3u2WUNYuOQzQjv0wUIHjzvsP1wUmHdY09gRdtPxKDLL4HaBJQaRF+Tw4DDJK1E8FT6HUP2C3WmFp/FKjUJmO3VYmwdQsfFOjQZOZ/gP/cUsI+kfaqTua+tqbeH4GZN999NomKciNnj+9m+Le4VbgCuI+z/TogHEX1BCSi15glq9qascGud0gEHjOYvzrp1ffsHYbP3ZsKG6B7qtcDck7DZeyuwQTzFBHgL4XSs0N+8VAk+fJDgR/AqcEfswpEz10n6dLMnW8wK6atTsNEgaWPCSew9hEASwCLA0pI+l+vJehOPE17faQx9d64paU0A22cl1NYNXrL9BISgS8wSrDuPAQfaHpRmMHUny/VMNRNC0nsIZWFzALva/n0yYd3jfakFjDO17VBr+7KR/Fyu2YGExgwN36tPEsqgd4hNHK4ESkCpz3l2pG/SQqGHTAUWsD21Ohi9hp5II6l72N5c0hsInW6+FjtTzCtpbdvXJJY3ZmIw4rQW4zdW7yVdZXvdngkrjJQXY8bAPwgL0Oqp7evTSOoaewJnS/o4QwGkNYHXAVskU9U9vg+8vznbUdIShOyPOnS5O4OwOVgu/qtiQsZSzlQ7K85w7/y7vK0DfAv4JyET8hTgTcAESTvYviClvh6Re7ZEbZH0QYY61R5q+5LEkrrGAOz36tyhdqTkmh34cuV6I2L5uu1no2F331ACSq15MLWAceSM1AIKo+YYwil7M28kPOi3662c7mP738CJwImSFgS2AY6UtJjtRdOq6xlzpBZQaMkehPbQCwBHNoyOJX0YuLHTL/Y7tv8BrCfpfcBKcfi3ti+u/pyk+Wz/q+cCx86shJKGZh4FamHIbXun1BrGmebW3tlnzjVxLHAAoTvYxcCHHLoNL08w6R6EgNK+qQWMM1kGzCRdS3juHU7w4EHSNN8d2zckktYVJN1Kh0ydGjRMqX53Xtc013xfV3LNxPqrpM8T1i9rEJ8D0Zutr9YupctbGyTNBWwCLAq8CtwNXGi7ryKCM4ukY+j8xZn1KV+dkXRdu05nkm6zvVKruVyQtBpwcytPE0lv66duBuNJ6cRY6FdyfW9K2p8QnD6N0FYYwrN9EsFo/ZuptHUTScsBnwGWj0N3ACfU1dC5FZKOsf351DpmFkk32V4tXt9h++2Vuaw7F43U1Lnu5NoFTdKlDP39zPSBMdvesOeiukhOnbQKoyPjtcuCwCEEq4wfNL4/4uHfO2z3jfVJyVBqgaStCRHdWwilDf8PeCfwHUkfb9UNJyMGJRpdR+buMNdXkepR8hOC8fj1hM/clcBVtp8tD/RCPxBL3vYGVoxDtwNHZP5MmBmyPGG3/U1J5wIfAxrlpI8CH28uIc4VSesSytpOiP8ErA5cKmnLnFtDzyTrpxYwSqqHlf9pmsv95LfWps5174Jm+73t5iRlv/Zstb6U9CbgqRo1bdiRkGXdKIe+Azja9snpVPWUXNcujwO7thi/BJhWdtoPBykloNSag4F1bL8Qv1R+afuDklYBfgSsl1be6LF9UmoNhVFzr6QP2/5ddVDSh4D7E2nqGrbXlPR6Qiem9YAvAKdIegy40vbnkgrsHVk++OqOpM0IRvjfZKhpw5rAWZL2sn1uMnG9I9vFdQwcTZU0f7z/Z2JJ3eYrwGTbl1bGzpF0MfBV4ENJVBVGyqqxA6+AiZVuvCLzMugBMHWudcCsmdgxc0OCzcKmhEYq2VJ3/7IYTNoT+BKhS5gI5VOHS7LtU1LqGwuS9gam2G5V0l6l7uW0yQ9SSslbC2I97Sq2HesU/18j3Tj30qJqm/lW1KA9Zm2JJtW/JWTvVI1z1wU2rVNZQ2yBvQ7hS3IHYILtXE31AJC0vO074/Xstl+szK3TyCCQtFKlq0OhT5B0M7BZC2PnxYFzba+aQFZPyThtfDHgO4RN0L8JC+p5CF41+zX/TXNE0t22l20zd5ftZqPuWpLre7Tu1NnUuUpTwOzQmgTMgGmBl+2AzYH5gd2A8zL11ZuGpOsY8i87gSb/spzLTQEkXQ1MarN2Oc32OglkdQVJRwL/Q/A+ngKc0egGOkj0w3OvZCi15nfABZL+TPBROgMgnmzmnj2wLsFDYgrwF/J/PQOD7XskrUx4oK9EyBa4FPgpIZV1t3Tqxo6k7QiZSasRFp3XEt6jG9h+LKW2LnEq4VQIgrFl9cv/uMZ9CSb1LbO2CjzYfrAOaf8jJNfnxemE9roft/0qgKRZgK0JvkrZLqgrPNth7vmeqUhPru/R2lJ3U2eod8BM0mGE78qHCXuHrwPX1ajiYdaKN80hjcM923eGZKzsmafD2mWeBHq6hu0vSvoS8G6CJ+LB8fBvCnCW7U7PxUIXKQGlFtjeN3buWQE4xPYf49TTTL8JzJG3AB8AJhMCE78lROBvT6qqMCJiVsuJcTE2mVDK8ABwZlJh3eFHwF3AD4E/1ynjKqI2163uC/3HK7Hb4MPVwWjo+UoiTV0hlpq+bPvleL8c8GHgIdvVdvO5mue+yfbp1YEYWDpN0jcSaeo2i1baQVepRWtoSds2/w3b8P1xF1OYWZ4HniNkEmxFk6kzIXMwWwYgYPYpQmOi44Hzbb8oqU7lLXX2L4MZX9NI57Ig+lxdBlwmaXfg/YQSxuOB16fU1kOS7yFKydsIkTR/3TwXJM1OCEocDnzd9rGJJRU6IGlZwt9rMvAk4dR9L9sdO1TkQswYWJWQpbQewTzw74QF2lVuamGeG9WU1Ob01H5IVy10RtLmhLKpw5i+5HQ/YF/b56TSNlZiNu4uMQtyaeAa4JeEQ5VrbO+fVOAYkXQawR/jJKbv8rYjIdi0TSpt3SL6ZLQl92wCSb8hHIJ+znb2noGFgKTZGoHsXBmALmizMHQQvRHBDPj9wKK2sz5MAZD0KiHoKWAi8EJjCpjDdtYZyJJeAO5tNQUsaXvOHksaF2IFxyRgW8IeaYrt7A8YJC0AvA241/bTbX5mJ9s/76mwZg0loDQjktYndJx6DdgZ+D9gSeB1wDa2r0oob8zEQNJHCA+HxYHzgJ/ZfjSlrkJnJL0GXE7Y+N0bx+7P3VuoHZLeTEiz3hNYwvYsiSWNCUmPE8prRHjgndaYInyvZG1sOQhIWhX4MkNd3qYSurzdnE7V2JF0q+2V4/U3gPlt7ybpdcD1jblcia9jF2AzhrJ1HgHOB35a9TOrO/3QDWa0xKDuNwnlw8dTySyo24FfnWk2da7zs68OAbMqcf+wKWH/8C7gItvbpVVV6ETMom5Lqy53uRC9ZSfFf68S1tWn1eXQQdKnCIeY9wFLAJ+x3dELORUloNQCSdcQFp9zERacm9u+IqawHmM7uZv6aJF0MsF/53eED13xa8mEuJieRDCqvoDwxfkT20skFdYlYhfF9Sr/XkcwIL+K0OXtuoTyxkzdMwgK+SLpFturxOsrgcMbGVeSbh4Ew/FBIfdsyBjU/TPwLypZIXU9WKkTdTV1bmZQAmaS5ga28OC0nq81kq6yvW5qHTODpPsIfkm13M9Kug14n+0nJC1J6Drfl3+jElBqgaQbK13d7rD99spc7oux15jeoLPxBhBhUZa1QdsgEDugbUY4IdoQOBk4u2EqmCuSbgCuJASRrmz2qqkjkuYDnnb5Iu57JL2JsAH6F/AzQqnwuwgnR19uZA3miKRfAI8BjxJK+Jaw/YKkeYHL6hBQiqa5iwB/qp7IStrZ9s/SKestua5hYmbEQQQfnr1t/yaxpMIIaWHqfDbB1LkWh2EN6howi6bHbbH9vV5pKYwf1b1vLkh6u+074nXb7sm5kpM9xoTUAvqU6v8vzd4Rr+ulkG5je4LtuSv/5on/5i7BpDyw/bztU21/lLBBuhHYN7GsMWN7Dduftz0F+E+sG64Nkr4S29AiaXZJFxOCEf+Q9P606goj4FRgdmAZgsfQA4TN7W8IJdI582mC58DiwMa2Gx4SKwBHpBLVLeKG9kBgZeBiSdWSr93TqCrMJLcAswBrlGBSdnwK+AehTPEU209RD7NjIHy/SLoHOJTwPl0deML2SbkHkyJHANsDbyRUbsxd+TdXQl2F7pLjZ/KXletmO5rjeilknFhE0tGNfy3u+4aSodQCSR8jnGK+0DS+FLCV7e+kUdY9JL2PIR+Q22xfmlBOoQCApK8CnycEdUXonnWM7UOSCusCkm4HVrJtSZ8hZJi9H1gWOMn22kkFFjrSKP2K5QwP2V6sMneT7dUSyhsTrbrX1QlJtwKr234lZl2dCtzl0HI4u1PZsZDr65W0AmGT/kTT+ALAs7b/m0ZZYTgGwNT5cUIXtKMY6oJWG3/LWGY6GdiE0JBiCsE7qWwga0Q/Z7+0o6miaLpnW67Puio5WWXMmlpAP9LO8Mr2fYQuP9kiaWHgLOC/DHUq2lrSREItdDHmLiQhplVvAKxl+4E4tiRwvKQv2j4yqcCx81JlAfZBQs33q8Adksp3cf/zKoS6YElPNs291uLnc+IcoNGB8EzbWyXW021mbWxcbT8t6aPACZLOIPOs4waStrV9+gh+NNeuN3sSvAPPahrfANgY+GzPFRVGRHzOXQBcUDF1ngg8KqkOps5vZShgdpSkS4CJkmatQ8AsNp24GdhP0nqE13mMpH371SC4MCqSt54fBW5z3eo+O/opYDQcJUNpJpF0gu3PpNYxWiSdDZzrpvaCknYgZF9tlkRYYeCRdCPwAdtPNo0vAFxYg5OGqxlK/b8LeEclcHan7eVT6it0RtLTBDNgEbyT/tyYAjawPV8qbWOl0ylfHVBoOX+47cuaxv8POMB29uX/8TXOCnyuLh1uqki63vY72szdbnvFVnOF/qWOps517oIW12LbEPywXgYOzt2jZhCQtGOrwISk2YCTbU+O9yvlZmytmndPltQxYGv7Y73SMhzlVLwFkuZvNwV8uJdaxoEVbG/RPGj7ZEkHphBUKERmaw4mAcTuBrOlENRl9gR+DSwAHFkJJn2Y4INV6G+qwfZmX6HcfYY6nfLVga1bDdo+SNLxvRYzHtjeNHYC/a2kUwl+Na9V5v+ZTFx3eH2HuewDgnVmOFPnOhFNgc8EzmwEzBJLGjOSdiYEkuYgrGG2sf14WlWFmWCPaFh9QmMgNvc5G/hrYyy3YFJk78p1cyforDtDR9Yl/I2mAH+hj7PISoZSCyS9CjzE9H84x/uFbWebIi/pHtvLtBifANxte+kEsgqFjvXbOdZ2FwYHSevbvjK1jtESn3nPE55xE4GGf2Atun9K2t72L+L1dH8rSbvbPjaduu4S/U7+TOhG2FjgOXc/F0mXEbq7XdM0vhbwXdvvTqOsMByxu/BNwO+BF2laW+fukVj3Lmjx73cbYV8ETYcO/ZQlUZiRmCRxAfAL20fHTLPfEbLn9kurrtCJJv+5VYDfAlNs355UWAtKQKkFsVvDRq1MSiX91faiCWR1BUlHEroy7Gn7+Tg2J3Ak8F/bX0iprzC4VDa1M0wBc9jOOkup7ovOuhMf7NsACwMX2L5N0qbAAcDEupWJ1YlqQDqnNrwzQyy1OYjQeXDvunVCk7Q28Cvg5wz5P64J7ABMsv2XRNIKw1B3U+cBCJi9p9N8cylxof+QNA/h/Xk5Idv6h7Zz9dObjmhcvQewXBy6Azi6TqW0MO0ZPxk4HPh6vx2ElZK31hwFzAe06nqTtSk3sA/wTeAhSY3ThsWAkwgbo0IhCbZnSa1hnJk7tYDCmPgpsChwDXC0pL8RNrT72T4nqbIuIWlloOHlNbUfT8FGidpct7rPlVsIpTZr2P5PajHdxvY1Mai0G7BTHL4deGcpv+lvBsDUeXXCa/oINQyYAZ+0vVNqEYXRIWnLeHkC8D3gIuCvjXHbzY0OsiEGk/YEvgTcQHierwEcLsm2T0mprxvEQNJHCN8xiwNHE8oV+4qSodSC+MfbFvib7T9J2g5YjxD1PMH2y0kFdoHY1a1R3naf7Rea5j9g+4+9V1YoTE9s872b7UNTaxkLktayfW1qHYXRIek2YBXbr0maA3gMWMr2U4mljRlJbwDOJRwu3ExYlK1MOFTZzPYzCeWNmQHJUFoBeML2E03jCwDP2v5vGmXji6RFCRlKh6fWUujMIJg6VwJm7wdqETCry3fkoCLpxA7Ttr1zz8R0mdjsZpLtB5vGFyd0Ul4ngayuIelkYCVCieJp/exzVQJKLZD0S0L21uuBpwklYmcBGxH+P9sxobyeUB4ghV4TNwYHAwsR2phPAQ4hlDScanuPhPLGTOxiNxehC8UU21MTSyrMBHUNRABIOhp4CdjH9mtxbALwLUI53+dT6hsrkl4A7iUEypaK18T7JW3PmUpbt5B0AqEU86ym8S2AjW1/No2y7hMDE1sTNu4LAWfb3iutqkI7Wpg6/6qOWWV1DZhJupPwWWuZzWn7ht4qKnQLSVvZPjO1jtEiaartFWZ2LhdiOW3DCqQasOk7f8sSUGqBpFtsryJpVuBRYCHbr0oScLPtVRJLHHfq2Dq60N9IugS4DLiK4LWwCcGX4Iu2H0uprVtIWg6YRMiAfJkQNDut+XSl0H9UghIwfWCi8WDP9rkgaSoh++qVpvFZgVttvz2Nsu4g6W2d5m0/1Gk+ByRdb/sdbeZut71irzV1k9gxa0tgO2BZwiHftrYXSSqsMCx1N3Wue8BM0rPAtbQOKNn2hj2WVOgSkh62vVhqHaNlmOde27lC9ykeSq2ZIOl1wJyELKU3AP8EZgeyNgaeCUqksdBr5rf9tXj9B0lbAx9vZEzUAdt3AV8Hvh6NSicBF0l6zPb6adUVhiHroMowvNQcTAKw/YqkxjCG7AAAG5dJREFUF1MI6ibtAkYxC2syQxvdnHl9h7kJPVMxfjxO8C87CLjCtmP2VaH/eV9qAePMTxgKmH0Q2DicPwdyD5gB95agUW3J3UPw7ZJuaTEuIOvOpq2QtDDQ8Jv9W6t1WypKQKk1PwXuJPzRDgTOkHQ/sA6hXKVQKIwDkuZj6AH3FPCGmBmI7X8mE9Zl4kZ2QeDNhMB1bU4za8xE23dC8NmzPS3QImkd8g5KzCFpdVobVs+eQE9XiR1udiN06DsP+COwO/BlgmfUL9Op6xqPS1rb9jXVQUlrAU+0+Z2c2J8QgD8OmCLp9MR6CiOn7qbOdQ+YFepL7skDdT7oQ9L+wGyVTpFXAf8mJLecRGiy1ReUkrc2SFoIwPbfoinw+4GHmxdrdUXSWba3HP4nC4XuIOlB4DXap1Vnf9og6V2EjIjNgVsJAeqzbP87qbDCsNTZ2DmWm7bFdtYbJknnAv8iLMY2IgRzBexh+6aU2rpF7ID2K+DnhE5TELoQ7kAwLf1LImldRdKShMDSZGAZ4KsED6W7kwortCX378fhkPTzOgfMJG1s+8IW48UQPwMk3UrrwJGAZW1nf2g0HJKusr1uah0zi6QbgHfZfj7e32h7dUmzAJfZ3iCtwiFKhlIbbP+tcv00oS46eyRtTwgkntI0/gngVdunApRgUqHX2F48tYbxRNJfCVkspwFfq5PHwoBQ29bzIw0YZdz9c0nbKwNI+gnwd2CxOnU+s31NDCrtBuwUh28H3lmn7xrb9wOHAYdJWongqfQ7hrrWFvqP17fJgARqYeqcrX/eSKgGk1oZ4qfSVRgxm6YW0AfMkVrAaGkEkyLfj2Ovxm7tfUPJUBowJP0F2Mj2c03jcwJ/LgZmhX5C0lKEDcOkGpjKvq0O5r+DSp0zlEZKrq9zUP9eULIICumpu6lz3bugFUP8+iHpTcBTHpAgQK7PfEl3AyvafrlpfHbgNtvLpFE2IyVDafCYrTmYBCECKmlQDMcLfUwsN92WsHhZmVAjPCmpqC5g+yFJOwJ7AMvF4TuAo22fnE5ZYYQsIulowqahcU28XzidrJ6SaybWqpKeYUj/xMp9X7Xe7QZ1zCKQtAuhccPh8f5RYG7C33Bv2z9Mqa/QkbqbOi8MfJc2ATMg99deDPEzJno8fovQXOobwCnAmwgNqHawfUFKfYWO/Br4kaTdbb8A0xJAjqXPKqdKQGnwmChpzqYUusYJxOsSaSoUkPQZwgZoYYIXyC7Auba/nlRYl4jBpD2BLwE3EBafawCHS3JzGWqh79i7cn1d01zzfV3J8jTT9izD/1TetMkiWKJGWQS7AptU7h+3vbCkOYA/ACWgVEhF3QNmxRA/b44FDiB0LL8Y+JDtqyUtD0wBBiGglOth2MHAocDDkh4ivI5FCc3DDk4prJkSUBo8fgr8WtKujfIbSYsDP4hzhUIqjiWY5m5n+zoASVluYNvwWWAL2w9Wxi6WtBXBV6kElPqbF4Dz6+S7M2hIeh/QKJ29zfalCeV0m7pnEcj2U5X7MwBs/7ffvCQKM7Bvq8FSjpkHto8CjqoY4p8DLCRpX4ohfg7M2vDBknSI7asBbN8Zmyhni6QdbZ/UYnw24GTbk+PQJ3qrrDvYfhXYT9LXGfIJvNf2fxLKakkJKA0Yto+Q9BzwZ0lzEaKdzwLfsn18WnWFAeethDKN70p6CyFLqU5lmPM0BZMAsP1gbGte6G+2A34g6Q+EU70/xId99kiarblGvzK3hO0H4u2DvVPVPSQtTMjY+S9DHdC2joGILWw/mkxc96h7FsG81RvbhwFImkAo3yj0KQNg6jwQAbNiiJ8tr1WumwMRuR/a7iFpdtsnNAZiSdjZwF8bY7ZvSyFurEhq1SBrmUYg0PZZvVXUnmLKPcDEFHlsP5taS6FQRdIiBB+lycCchFOwA9KqGhuSrm9net9prtA/xMDfFoSN+2rAucAU25clFTZGJP0O2Nz2S03jqxLKThdPIqxLSDqb8Dp+3jS+A7CV7c2SCBsHKlkEk4FlgK9SgywCSccB/7R9UNP4/wFvsr1rGmWF4RgkU+dWATPbe6VV1X0GzdQ5ZyS9CjxPSCCYSMi2Jt7PYTvbg1tJ8xNK9n5h++j4+fsdcJHt/dKqGzuSTuwwbds790zMMJSA0oAh6Uud5m1/r1daCoWRIGkZYLLtQ1JrGQuSXgDubTVFaGs+Z48lFcaApDcC/wN8jmAWvGhiSaMmbsrXBT5aMX58L6EMc2fbf0wob8xIusv2cjM7lzuVLIJtbGedRRBPnX8CrAXcHIdXJfiXfbocjPUvkv7DjOWY99teMrG0rlD3gFknU2egmDoXkhIP+n4PXA5sBvzQ9vfTquot7Ur/eqqhBJQGC0lf7TRfFwPkQn60Se2cRj+ldo4GSW9rNUww2Nvf9od7LKkwSiTNRwgmNbJAfm37i2lVjQ1JBwEfBD4EbAwcBWzZ8DPLGUn3tGqvG8ul7s492DJIxAyshg/WVNv3pdRTGB5JexKy5uYklAufDvyxRgGlugfMrmPI1PkEmkydba+eVGBhYKnsG+YGvgdcRPAkBfLfN4wUSTfYXiOphhJQKhQK/UBTaudHgfMr932V2jlWJK1OOM3cGngAONP2sWlVFToRPee2IASRVgfOIyxcLq1L2n/MYP1fQqDzw7ZbZdRlh6QjgbmAPRsdTmPGy5HAf21/IaW+biBpF0Km3OHx/lHCIlvA3raz7oImaXvbv4jX69u+sjK3e/n+7H9qXI5Z94DZTbZXi9d32H57Ze7GElAqpCKnkrDxpB8+hyWgNGBI+kqHadv+Rs/EFApt6Icvx24jaVnCQnoy8CRh0bmX7VaZS4U+Q9KThFr90wiG3C1NrHNE0vkEc04B6xNKMx9rzNv+WCJpXSF2fPkmsBPwUBxeDDgJOKDZOypHJF0LbNLohNb4DpU0B+H9+p60CsdG9QS2+TS2H05nCzNHncoxG9Q4YFY+e4XskLSV7TNT6+gF/fA5LAGlAUPSl1sMzwnsArzR9lw9llQozEA/fDl2G0mvEWq8d2lkftQpLb7uSJo4klatks60vVUvNHULSR2DDbmbjjeIXd0am9f7Gn5RdUDSdbbXrNwfUOmEdo3ttdOpGzvVQ4bmA4c6HkDUnbqbOtcpYFZnU+dCfZH0sO3FUuvoBf3wDJw15f94offY/m7jOhoJ7gF8knDq/t12v1coFMbMloTTy0skNTJdlFZSYaSMJJgUyS5AWJeAUTskHWb7ANv/kfSW3E3G2zBv9aYSTJpAMNDNHbe5bnVf6CM6mTpLqqup82PAgbl3pwWwPUtqDYXCKBik9fWVw//I+DIhtYBC75E0f+zqcwshqLiG7X1tP55YWmGAkXS+pPMknQcs2biujGWN7XNsTwKWBy4B9gQWlHS8pI3Tqit0kew2t5LmknSIpNsl/VvSE5KulrRTam1dYpPK9beTqRhfLozP9WYOAS7stZhxYHlJt0i6tXLduK9ll74acSxwGMFf6GLgU7bfArybUIqaNZLWkXSppLMkrS7pNuA24B+SNhnu9wuFwriQ3VqsGUlHVa73aJr7eePa9u49lNWSUvI2YEg6nJApcQLwA9vPJZZUKACDU3ZTJXYL25rQYnij1HoKYyfHck1J5wJnA38CtiGUQZ9G6Fr0aO6n7J08QOpCNBn/CbAWcHMcXhW4Dvi07WdTaesGbbpkTsP2Q53mC+mou6lz6YJWKKQhHii0CmQIWNb27D2W1FVy8i8rAaUBI/q4vAi8wvQfQhFMuedJIqxQGCE5etQUBoccN0iSbra9auX+WttrxXKpqbaXTyhvzEh6hNBSWMAX4/U0bH+v1e/lSDQGXjHeTrV9X0o9vUDSlbbXT62j0JqcNkWjoe4Bs0KhX6n7QcMw3oF99d1ZPJQGDNulzLGQO9l51BTqi6RFgUmNdu3Avin1jJLnJW1g+wpJHyN4nWD7NUl18CH4MTB3i+vaIGl727+wfb+kt9q+sjK3u+1jU+obZwbCeDVjVpX0DNHUOV4T7+dIJ6trvFa5bvbaK6f2hcI40SpgVDPD/wmxkmFC5bqxJusrb7OSoTRgSNrQ9sXxegnbD1TmtrR9Vjp1hcLw9FtUvjB4SFqAUKo4GViI0Bp6r7SqRo+kVQmBlmUJ3h+72L4rvs7Jto9OKrBHSNrfdpaeLnXPAunEIHXzKfQfpQtaoZCGTob/QPaG/5IeJASsWx3suZ+6RJeA0oAxyIvOQj0o79NCCmJXzC0JraCXBc4ieF8tklRYoWvk/N0yTGp89mU3krZsNwX80PYCvdRTKBQKhbQU/7L+oZS8DR5qc93qvlDoR8r7tJCCx4FrCEbVV9i2pC0Sa+oKkr7Uab5OHkPDkPN3i9tct7rPkY92mPtNz1QUCoVCoV+Y1faFAJIOsX01gO0761CtL2kWYGKjgVbMyHpdnL6xn5ptlIDS4FH3RWehBsRSG2w/0WI6R4+aQv7sD0wCjgOmSDo9sZ5uUvUU+l/gR6mEJCbnZ+Dykm4hBMWWitfE+75Jix8ttj+ZWkOhUCgU+oq6+5d9m3CY+Z14P4VgSzAHcAN9tB8qJW8DhqSngT8TFpnvitfE+w1sz5dKW2Gwiea/XwV2J9Q/i9CN8Bjbh6TUVig0iF20JhH8k5YhvGfPtn13UmFdog7lUaMl59c+AN1uRPAtM/BrYENgM+AO4Ee2X+vw64VCoVCoGXX3L5N0I7CW7Vca97ZXj8/Dy21vkFbhECWgNGBIek+neduX9UpLoVAllt18CPhMwyw+bt6PBy6wfWRKfYVCM5JWIgSWtrW9dGo93SBnH6GxIukA24el1tFtJF1pe/3UOsaCpOOABQnp/s8AswPnAR8B/mF7j4TyCoVCoVDoKpJutr1q5X7jSonfTbZXS6duekpAacCIpUQL2J7aNL4C8ESbEqNCYdyJkfgP2H6yaXwB4MJcMwcK9UDShbY3Tq1jvKljQElSxy51tr/QKy0pkPRX24um1jEWJN1qe2VJswGPAW+1/ZKkWYEbbK+SWGKhUCgUCl1D0h3A2s1eSZLeAPzF9vJplM1I8VAaPI4heIA080aC2ex2vZVTKExjtuZgEgQfpbiJKBRSUtsuUpJuZchvYOkm/x3XYLO+K8F34FfA38jbfHs01OHk8BUA2y9Lutb2S/H+FUml3K1QKBQKdePH8P/bu/tYy6ryjuPfn4BAgBAqUIhvERSRIPIyplA0BEgThk6kocEJptgX26ZVq9TQYElTUpsQmpA2FqIpmlghojSIFjNISCoDGENaENoOTKXjEDShKA41IKOllqd/7H3lcObcgwN3ztrnnO8nmWSvteaP3yQ3Z85+7lrP4sYkf1BV34GfHW//JPDppsnGWFBaPm+sqrvGJ6vq7iSfbBFI6j37EtekWTh4ytXlVNXNswyzxja0DrCHHUnXf2cjXWHiRuCmqvph01RraMrP5kpviXn3eJIDq+pHVXXOymSSI/D/B0nSgqmqv06yE/h6kgPo/j9/Griyqgb1zu6RtyWT5FtV9ebdXZP2tJHmersssQDN9TTfkuwA/pHJu1uqqn5nxpHWzLIc5wNI8hq6puofAS6tqusbR1oTST4zbX1Rb0nrv2QfUFXfb51FkqQ9IclBAOPH34bCHUrLZ1uSc6vq1tHJJOuB7Y0ySVTVXq0zSFM8Os9FoxexsMf5RiU5ma6J+q8AXwXua5to7SxqwWiaJFdU1WVM/kWEJElzLcmbgd8Hju3HW4Frh3azsAWl5XMxsCnJu3n+y/Q64DQW/9iDBizJWVX1tf75DSs3vfXj8+f8SJHm38S+O0neAVxYVR+YcZ61tMjH+UjyMbrbwLYCXwD+dOUa3kXRXyN8AV2/pJuAs4Dz6P7Nf1dVc91naEJj9QAXJTkQFr+xuiRpuSQ5DbgZuLb/E+AkYHP/XnRPy3yjPPK2hJLsS9d8+3i6L58PAt+mu/p6nl+KNMdGb5cav2lqEW+e0nxJcnxVbemfT6L7DL0AeAS4uaqubpnv5Vjk43wAfdPmR4Cd/dTKF59FaTpOkk8AhwOvBJ4C9gVuoSukfa+qPtww3suW5LvAncDtPP9zehVwCUBVfbZRNEmS1lySrwJ/VVWbx+bPAD5aVeubBJvAgtISG9n+v/JS9MWquqZtKi2rJPdX1Unjz5PG0qwlOYbu8/JC4Ad0jZ0vqarXNw22Bha9YNvfirKqqnp0Vln2lCT/XlVv7W/EfBw4sqqeTbI38M15L5r1/SP+kq5odklVPZZke1Ud1TiaJElrLsnDVXXMKmuD6nvskbcls8pLUarqzKbBpBdebT1e6bbyrdb+A7gb2FBV2wCS/HHbSGtmkY/zAXxqCZqO/xSgqv43yb9U1bP9+Kf9Dq251jcivTjJKcDnkmwCXtE4liRJe8q0BtyD6h1oQWn5LPJLkebbUUluoXu5XXmmH7+hXSwJgPPpbge7I8ltdL14JhZi5tBFKw+TjvO1CrWGlqHp+ONJDqyqH1XVOSuTSY4Anm2Ya01V1X1JzgLeD3y9dR5JkvaQ107oHwjdd89XzzrMNB55WzJJfo3upeh0YOWl6NNV5Qu7murPBK+qqu6cVRZpNf015efR7fI8C7gO+FJV3d402MuwyMf5AJJsp++1M8m8Nx2fpv95PaCqvt86y1pLciiwo/wiK0laMEl+c9r6kHoHWlBaUov4UqT5luQw4LCqemhs/jjgiap6ok0yabIkh9Dt5NlYVWe3zvNS9Uei7gbeN7JzdWH60yx60/HVJLmiqi5rnWMtJDkVuBJ4kq6X0vXAoXTH3t5bVbc1jCdJ0tKyoKSFeSnSfEvyBeATVXXX2Pw7gT+sqve0SSYttkXfubroTccBJmyLD91RxusAqupDMw+1hpLcC1wGHEx3ffL6qronybHA5720QZK0SJJ8hSk9ZKvqXTOMM5UFJUmDkOTeqlq3ytqWqjp+1pmkZbKoO1dXuyVygZqOk+S7wJ3A7Ty/E+sq+qN+Q9oa/1IkeaCqTuyft1bVW0bWvAVUkrRQ5qkViE25JQ3FQVPW9plZCmlJVdUzwA3ADSM7Vy+lK1LMs0VvOg5wHN1RsHPo+l89luTyeS8kjRi9qe7HY2v+ZlSStFCmFYySnD7LLC/GgpKkodiW5NyqunV0Msl6YHujTNJSqqr/pjtadG3rLGvg2SSX88Km46mqM9vGWjtV9TRwcZJTgM8l2UTXX2hRvC3JU3S7r/bvn+nH+7WLJUnS2kuyF/BuuhvdbquqLUk20B3/3h8YzM5cj7xJGoQkbwI2Ad8A7uun1wGnARuq6uFW2STNr0VvOj4uSYD3A6dV1W+0ziNJknZPkr8HXgv8M/BLwGN070UfraovN4y2CwtKkgYjyb50x1FW+iU9CNxQVT9pl0rSPFv0puOrSXIosKP8oidJ0lxJsgU4oaqeS7If8DhwdFXtaBxtFxaUJEnSwlvUpuMASU4FrgSepOuldD1wKN2xt/dW1W0N40mSpN0wfkPtkG+staAkaRCSPM0Lm6sWXb+TO4BLh1iRlzSfRpqOb6yqs1vnebmS3EvXV+Fgur5X66vqniTHAp/3FjRJkuZHkp3AtpUhcHQ/DlBVdUKrbOMsKEkarP6l77eAX66qCxrHkaRBSvJAVZ3YP2+tqreMrN1vQUmSpPmR5PXT1qvq0VlleTHe8iZpsPqbpv4myUUv+pclaXk9N/L847E1f3MoSdIcmVQwGmpvxEW6UlbSAkqyDxa/JWmatyV5qj86fEL/vDJ+a+twkiTp55fk1CSbk9yc5KS+SfcW4HtJzmmdb5QvaZIGIcn5E6YPATYCN804jiTNjaraq3UGSZK0Zq7h+d6IX2OsNyLdrbWDYA8lSYOQ5DNjUwXsADZX1aYGkSRJkiRppuapN6I7lCQNQlX9dusMkiRJktTY3PRGdIeSpMFIcibwQeDYfmorcE1VbW4WSpIkSZJmJMn/Ac8AAfYHdq4sAftV1T6tso2zoCRpEJL8Kt154Y8B36T7wDwZ+DPgg1V1a8N4kiRJkqQRFpQkDUKSzcCHq+pfx+ZPAK6uqjOaBJMkSZIk7eIVrQNIUu+I8WISQFX9G/CLDfJIkiRJklZhQUnSUDzzEtckSZIkSTPmLW+ShuLoJLdMmA9w1KzDSJIkSZJWZw8lSYOQZGqPpKq6c1ZZJEmSJEnTuUNJ0lDcX1VPTVpI8rpZh5EkSZIkrc4eSpKGYvPKQ5J/Glv78myjSJIkSZKmsaAkaSgy8vwLU9YkSZIkSY1ZUJI0FLXK86SxJEmSJKkheyhJGorDk3yEbjfSyjP9+LB2sSRJkiRJ47zlTdIgJLl82npV/cWsskiSJEmSprOgJGnwkhxQVc+0ziFJkiRJ6thDSdJgJHl1knVJXtmPD09yBfCfjaNJkiRJkkZYUJI0CEkuBh4ArgbuSfK7wFZgf+CUltkkSZIkSS/kkTdJg5DkIeAdVfVkktcBDwOnV9V9jaNJkiRJksa4Q0nSUPykqp4EqKrvAN+ymCRJkiRJw7R36wCS1HtNkr8dGR85Oq6qDzXIJEmSJEmawIKSpKH4k7Gxu5MkSZIkaaDsoSRpriS5uqr+qHUOSZIkSVpm9lCSNG9Obx1AkiRJkpadBSVJkiRJkiTtFgtKkiRJkiRJ2i0WlCTNm7QOIEmSJEnLzoKSpHnz8dYBJEmSJGnZecubpEFI8hVg1Q+kqnrXDONIkiRJkqbYu3UASepd1TqAJEmSJOnn4w4lSYOR5ETgjcCDVbW1dR5JkiRJ0mT2UJI0CEn+HPgH4NeBTUl+r3EkSZIkSdIq3KEkaRCSPAi8vap2JnkVcFtVvb11LkmSJEnSrtyhJGko/qeqdgJU1Q78fJIkSZKkwXKHkqRBSPJD4K6VIfDOkbG3vEmSJEnSgFhQkjQISc6Ytl5Vd84qiyRJkiRpur1bB5Ck3kPAYVX10OhkkuOAJ9pEkiRJkiRNYo8SSUNxNXDohPlXAR+fcRZJkiRJ0hQeeZM0CEnurap1q6xtqarjZ51JkiRJkjSZO5QkDcVBU9b2mVkKSZIkSdKLsqAkaSi2JTl3fDLJemB7gzySJEmSpFV45E3SICR5E7AJ+AZwXz+9DjgN2FBVD7fKJkmSJEl6IQtKkgYjyb7Ae4DjgQIeBL4NbKyqD7TMJkmSJEl6ngUlSYOT5GTgQuAC4BHgi1V1TdtUkiRJkqQVe7cOIEkASY6hKyJdCPwAuJGu6H1m02CSJEmSpF24Q0nSICR5DrgbeF9VbevntlfVUW2TSZIkSZLGecubpKE4H/gv4I4kn0pyNpDGmSRJkiRJE7hDSdKgJDkAOI/u6NtZwHXAl6rq9qbBJEmSJEk/Y0FJ0mAlOYSuMffGqjq7dR5JkiRJUseCkiRJkiRJknaLPZQkSZIkSZK0WywoSZIkSZIkabdYUJIkSZIkSdJusaAkSZIkSZKk3fL/aGQ5V3uq11oAAAAASUVORK5CYII=\n",
      "text/plain": [
       "<Figure size 1440x720 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "# TODO: you can plot the whole (20 here)\n",
    "import matplotlib.pyplot as plt\n",
    "fig = plt.figure()\n",
    "ax = options_distr[:20].plot.bar(figsize=(20, 10))\n",
    "ax.set_xticklabels(options_distr['option'].values)\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "options_distr.to_csv(\"options_frequencydataset_wrt_linuxdoc.csv\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "((147, 4), (31, 4))"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "options_distr.shape, options_distr.query(\"val_0 == 0 and val_1 == 0 and val_2 == 0\").shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "(31, 4)\n"
     ]
    },
    {
     "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>option</th>\n",
       "      <th>val_0</th>\n",
       "      <th>val_1</th>\n",
       "      <th>val_2</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>9</th>\n",
       "      <td>ATM_FORE200E_DEBUG</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>10</th>\n",
       "      <td>B43LEGACY_DMA_MODE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>11</th>\n",
       "      <td>B43LEGACY_PIO_MODE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>25</th>\n",
       "      <td>CC_STACKPROTECTOR_REGULAR</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>26</th>\n",
       "      <td>CC_STACKPROTECTOR_STRONG</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>32</th>\n",
       "      <td>CPU_SUP_CYRIX_32</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>34</th>\n",
       "      <td>CPU_SUP_TRANSMETA_32</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>35</th>\n",
       "      <td>CPU_SUP_UMC_32</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>46</th>\n",
       "      <td>EISA_NAMES</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>56</th>\n",
       "      <td>HWSPINLOCK_SIRF</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>58</th>\n",
       "      <td>INITRAMFS_COMPRESSION_BZIP2</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>59</th>\n",
       "      <td>INITRAMFS_COMPRESSION_GZIP</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>60</th>\n",
       "      <td>INITRAMFS_COMPRESSION_LZ4</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>61</th>\n",
       "      <td>INITRAMFS_COMPRESSION_LZMA</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>62</th>\n",
       "      <td>INITRAMFS_COMPRESSION_LZO</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>63</th>\n",
       "      <td>INITRAMFS_COMPRESSION_NONE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>64</th>\n",
       "      <td>INITRAMFS_COMPRESSION_XZ</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>77</th>\n",
       "      <td>KASAN_INLINE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>79</th>\n",
       "      <td>KERNEL_BZIP2</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>80</th>\n",
       "      <td>KERNEL_GZIP</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>81</th>\n",
       "      <td>KERNEL_LZ4</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>82</th>\n",
       "      <td>KERNEL_LZMA</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>83</th>\n",
       "      <td>KERNEL_LZO</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>84</th>\n",
       "      <td>KERNEL_XZ</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>85</th>\n",
       "      <td>LGUEST_GUEST</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>89</th>\n",
       "      <td>MATH_EMULATION</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>99</th>\n",
       "      <td>NOMMU_INITIAL_TRIM_EXCESS</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>101</th>\n",
       "      <td>OMAP_REMOTEPROC</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>110</th>\n",
       "      <td>PREEMPT_TRACER</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>121</th>\n",
       "      <td>SH_CPU_FREQ</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>145</th>\n",
       "      <td>XEN_STUB</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "                          option val_0 val_1 val_2\n",
       "9             ATM_FORE200E_DEBUG     0     0     0\n",
       "10            B43LEGACY_DMA_MODE     0     0     0\n",
       "11            B43LEGACY_PIO_MODE     0     0     0\n",
       "25     CC_STACKPROTECTOR_REGULAR     0     0     0\n",
       "26      CC_STACKPROTECTOR_STRONG     0     0     0\n",
       "32              CPU_SUP_CYRIX_32     0     0     0\n",
       "34          CPU_SUP_TRANSMETA_32     0     0     0\n",
       "35                CPU_SUP_UMC_32     0     0     0\n",
       "46                    EISA_NAMES     0     0     0\n",
       "56               HWSPINLOCK_SIRF     0     0     0\n",
       "58   INITRAMFS_COMPRESSION_BZIP2     0     0     0\n",
       "59    INITRAMFS_COMPRESSION_GZIP     0     0     0\n",
       "60     INITRAMFS_COMPRESSION_LZ4     0     0     0\n",
       "61    INITRAMFS_COMPRESSION_LZMA     0     0     0\n",
       "62     INITRAMFS_COMPRESSION_LZO     0     0     0\n",
       "63    INITRAMFS_COMPRESSION_NONE     0     0     0\n",
       "64      INITRAMFS_COMPRESSION_XZ     0     0     0\n",
       "77                  KASAN_INLINE     0     0     0\n",
       "79                  KERNEL_BZIP2     0     0     0\n",
       "80                   KERNEL_GZIP     0     0     0\n",
       "81                    KERNEL_LZ4     0     0     0\n",
       "82                   KERNEL_LZMA     0     0     0\n",
       "83                    KERNEL_LZO     0     0     0\n",
       "84                     KERNEL_XZ     0     0     0\n",
       "85                  LGUEST_GUEST     0     0     0\n",
       "89                MATH_EMULATION     0     0     0\n",
       "99     NOMMU_INITIAL_TRIM_EXCESS     0     0     0\n",
       "101              OMAP_REMOTEPROC     0     0     0\n",
       "110               PREEMPT_TRACER     0     0     0\n",
       "121                  SH_CPU_FREQ     0     0     0\n",
       "145                     XEN_STUB     0     0     0"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# all options \"not\" in our dataset (because value is unique: no diversity!)\n",
    "print(options_distr.query(\"val_0 == 0 and val_1 == 0 and val_2 == 0\").shape)\n",
    "options_distr.query(\"val_0 == 0 and val_1 == 0 and val_2 == 0\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "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>option</th>\n",
       "      <th>val_0</th>\n",
       "      <th>val_1</th>\n",
       "      <th>val_2</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>9</th>\n",
       "      <td>ATM_FORE200E_DEBUG</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>10</th>\n",
       "      <td>B43LEGACY_DMA_MODE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>11</th>\n",
       "      <td>B43LEGACY_PIO_MODE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>25</th>\n",
       "      <td>CC_STACKPROTECTOR_REGULAR</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>26</th>\n",
       "      <td>CC_STACKPROTECTOR_STRONG</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>32</th>\n",
       "      <td>CPU_SUP_CYRIX_32</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>34</th>\n",
       "      <td>CPU_SUP_TRANSMETA_32</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>35</th>\n",
       "      <td>CPU_SUP_UMC_32</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>46</th>\n",
       "      <td>EISA_NAMES</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>56</th>\n",
       "      <td>HWSPINLOCK_SIRF</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>58</th>\n",
       "      <td>INITRAMFS_COMPRESSION_BZIP2</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>59</th>\n",
       "      <td>INITRAMFS_COMPRESSION_GZIP</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>60</th>\n",
       "      <td>INITRAMFS_COMPRESSION_LZ4</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>61</th>\n",
       "      <td>INITRAMFS_COMPRESSION_LZMA</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>62</th>\n",
       "      <td>INITRAMFS_COMPRESSION_LZO</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>63</th>\n",
       "      <td>INITRAMFS_COMPRESSION_NONE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>64</th>\n",
       "      <td>INITRAMFS_COMPRESSION_XZ</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>77</th>\n",
       "      <td>KASAN_INLINE</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>85</th>\n",
       "      <td>LGUEST_GUEST</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>89</th>\n",
       "      <td>MATH_EMULATION</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>99</th>\n",
       "      <td>NOMMU_INITIAL_TRIM_EXCESS</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>101</th>\n",
       "      <td>OMAP_REMOTEPROC</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>110</th>\n",
       "      <td>PREEMPT_TRACER</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>121</th>\n",
       "      <td>SH_CPU_FREQ</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>145</th>\n",
       "      <td>XEN_STUB</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "      <td>0</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "                          option val_0 val_1 val_2\n",
       "9             ATM_FORE200E_DEBUG     0     0     0\n",
       "10            B43LEGACY_DMA_MODE     0     0     0\n",
       "11            B43LEGACY_PIO_MODE     0     0     0\n",
       "25     CC_STACKPROTECTOR_REGULAR     0     0     0\n",
       "26      CC_STACKPROTECTOR_STRONG     0     0     0\n",
       "32              CPU_SUP_CYRIX_32     0     0     0\n",
       "34          CPU_SUP_TRANSMETA_32     0     0     0\n",
       "35                CPU_SUP_UMC_32     0     0     0\n",
       "46                    EISA_NAMES     0     0     0\n",
       "56               HWSPINLOCK_SIRF     0     0     0\n",
       "58   INITRAMFS_COMPRESSION_BZIP2     0     0     0\n",
       "59    INITRAMFS_COMPRESSION_GZIP     0     0     0\n",
       "60     INITRAMFS_COMPRESSION_LZ4     0     0     0\n",
       "61    INITRAMFS_COMPRESSION_LZMA     0     0     0\n",
       "62     INITRAMFS_COMPRESSION_LZO     0     0     0\n",
       "63    INITRAMFS_COMPRESSION_NONE     0     0     0\n",
       "64      INITRAMFS_COMPRESSION_XZ     0     0     0\n",
       "77                  KASAN_INLINE     0     0     0\n",
       "85                  LGUEST_GUEST     0     0     0\n",
       "89                MATH_EMULATION     0     0     0\n",
       "99     NOMMU_INITIAL_TRIM_EXCESS     0     0     0\n",
       "101              OMAP_REMOTEPROC     0     0     0\n",
       "110               PREEMPT_TRACER     0     0     0\n",
       "121                  SH_CPU_FREQ     0     0     0\n",
       "145                     XEN_STUB     0     0     0"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "options_distr_p = options_distr.query(\"val_0 == 0 and val_1 == 0 and val_2 == 0\")\n",
    "\n",
    "\n",
    "csizes = ['LZ4', 'GZIP', 'LZO', 'XZ', 'LZMA', 'BZIP2'] \n",
    "# we remove (1) compressed sizes options (we have in the dataset)\n",
    "# https://wiki.gentoo.org/wiki/Custom_Initramfs\n",
    "# (2) we mayb also remove INITRAMFS_COMPRESSION_ that have no effect on size we measure, but I'm not sure here\n",
    "options_distr_p.query(' and '.join([\"option != 'KERNEL_\" + compr + \"'\" for compr in csizes]))\n",
    "\n",
    "# .query(' and '.join([\"option != 'INITRAMFS_COMPRESSION_\" + compr + \"'\" for compr in csizes])).query(\"option != 'INITRAMFS_COMPRESSION_NONE'\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0    46302\n",
       "1    46169\n",
       "Name: BLK_DEV_INITRD, dtype: int64"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "df['BLK_DEV_INITRD'].value_counts() \n",
    "#, df['INITRAMFS_SOURCE']"
   ]
  },
  {
   "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.7.3"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}