algorithms/shor_algorithm.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "<img src=\"https://raw.githubusercontent.com/Qiskit/qiskit-tutorials/master/images/qiskit-heading.png\" alt=\"Note: In order for images to show up in this jupyter notebook you need to select File => Trusted Notebook\" width=\"500 px\" align=\"left\">"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## _*Shor's Algorithm for Integer Factorization*_ \n",
    "\n",
    "The latest version of this tutorial notebook is available on https://github.com/qiskit/qiskit-tutorial.\n",
    "\n",
    "In this tutorial, we first introduce the problem of [integer factorization](#factorization) and describe how [Shor's algorithm](#shorsalgorithm) solves it in detail. We then [implement](#implementation) a version of it in Qiskit.\n",
    "***\n",
    "### Contributors\n",
    "Anna Phan\n",
    "\n",
    "### Qiskit Package Versions"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{'qiskit': '0.10.3',\n",
       " 'qiskit-terra': '0.8.1',\n",
       " 'qiskit-ignis': '0.1.1',\n",
       " 'qiskit-aer': '0.2.1',\n",
       " 'qiskit-ibmq-provider': '0.2.2',\n",
       " 'qiskit-aqua': '0.5.1'}"
      ]
     },
     "execution_count": 1,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "import qiskit\n",
    "qiskit.__qiskit_version__"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Integer Factorization <a id='factorization'></a>\n",
    "\n",
    "Integer factorization is the decomposition of an composite integer into a product of smaller integers, for example, the integer $100$ can be factored into $10 \\times 10$. If these factors are restricted to prime numbers, the process is called prime factorization, for example, the prime factorization of $100$ is $2 \\times 2 \\times 5 \\times 5$. \n",
    "\n",
    "When the integers are very large, no efficient classical integer factorization algorithm is known. The hardest factorization problems are semiprime numbers, the product of two prime numbers. In [2009](https://link.springer.com/chapter/10.1007/978-3-642-14623-7_18), a team of researchers factored a 232 decimal digit semiprime number (768 bits), spending the computational equivalent of more than two thousand years on a single core 2.2 GHz AMD Opteron processor with 2 GB RAM:\n",
    "```\n",
    "RSA-768  = 12301866845301177551304949583849627207728535695953347921973224521517264005 \n",
    "           07263657518745202199786469389956474942774063845925192557326303453731548268 \n",
    "           50791702612214291346167042921431160222124047927473779408066535141959745985 \n",
    "           6902143413 \n",
    "           \n",
    "         = 33478071698956898786044169848212690817704794983713768568912431388982883793 \n",
    "           878002287614711652531743087737814467999489 \n",
    "         × 36746043666799590428244633799627952632279158164343087642676032283815739666 \n",
    "           511279233373417143396810270092798736308917 \n",
    "```\n",
    "The presumed difficulty of this semiprime factorization problem underlines many encryption algorithms, such as [RSA](https://www.google.com/patents/US4405829), which is used in online credit card transactions, amongst other applications.\n",
    "***"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Shor's Algorithm <a id='shorsalgorithm'></a>\n",
    "\n",
    "Shor's algorithm, named after mathematician Peter Shor, is a polynomial time quantum algorithm for integer factorization formulated in [1994](http://epubs.siam.org/doi/10.1137/S0097539795293172). It is arguably the most dramatic example of how the paradigm of quantum computing changed our perception of which computational problems should be considered tractable, motivating the study of new quantum algorithms and efforts to design and construct quantum computers. It also has expedited research into new cryptosystems not based on integer factorization. \n",
    "\n",
    "Shor's algorithm has been experimentally realised by multiple teams for specific composite integers. The composite $15$ was first factored into $3 \\times 5$ in [2001](https://www.nature.com/nature/journal/v414/n6866/full/414883a.html) using seven NMR qubits, and has since been implemented using four photon qubits in 2007 by [two](https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.99.250504) [teams](https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.99.250505), three solid state qubits in [2012](https://www.nature.com/nphys/journal/v8/n10/full/nphys2385.html) and five trapped ion qubits in [2016](http://science.sciencemag.org/content/351/6277/1068). The composite $21$ has also been factored into $3 \\times 7$ in [2012](http://www.nature.com/nphoton/journal/v6/n11/full/nphoton.2012.259.html) using a photon qubit and qutrit (a three level system). Note that these experimental demonstrations rely on significant optimisations of Shor's algorithm based on apriori knowledge of the expected results. In general, [$2 + \\frac{3}{2}\\log_2N$](https://link-springer-com.virtual.anu.edu.au/chapter/10.1007/3-540-49208-9_15) qubits are needed to factor the composite integer $N$, meaning at least $1,154$ qubits would be needed to factor $RSA-768$ above.\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:22.738849Z",
     "start_time": "2018-09-26T17:12:22.719241Z"
    }
   },
   "outputs": [
    {
     "data": {
      "text/html": [
       "\n",
       "        <iframe\n",
       "            width=\"560\"\n",
       "            height=\"315\"\n",
       "            src=\"https://www.youtube.com/embed/hOlOY7NyMfs?start=75&end=126\"\n",
       "            frameborder=\"0\"\n",
       "            allowfullscreen\n",
       "        ></iframe>\n",
       "        "
      ],
      "text/plain": [
       "<IPython.lib.display.IFrame at 0x123b56438>"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from IPython.display import IFrame\n",
    "IFrame(\"https://www.youtube.com/embed/hOlOY7NyMfs?start=75&end=126\",560,315)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "As Peter Shor describes in the video above from [PhysicsWorld](http://physicsworld.com/cws/article/multimedia/2015/sep/30/what-is-shors-factoring-algorithm), Shor’s algorithm is composed of three parts. The first part turns the factoring problem into a period finding problem using number theory, which can be computed on a classical computer. The second part  finds the period using the quantum Fourier transform and is responsible for the quantum speedup of the algorithm. The third part uses the period found to calculate the factors.\n",
    "\n",
    "The following sections go through the algorithm in detail, for those who just want the steps, without the lengthy explanation, refer to the [blue](#stepsone) [boxes](#stepstwo) before jumping down to the [implemention](#implemention). "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### From Factorization to Period Finding\n",
    "\n",
    "The number theory that underlines Shor's algorithm relates to periodic modulo sequences. Let's have a look at an example of such a sequence. Consider the sequence of the powers of two: \n",
    "$$1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, ...$$\n",
    "Now let's look at the same sequence 'modulo 15', that is, the remainder after fifteen divides each of these powers of two:\n",
    "$$1, 2, 4, 8, 1, 2, 4, 8, 1, 2, 4, ...$$\n",
    "This is a modulo sequence that repeats every four numbers, that is, a periodic modulo sequence with a period of four.\n",
    "\n",
    "Reduction of factorization of $N$ to the problem of finding the period of an integer $x$ less than $N$ and greater than $1$ depends on the following result from number theory:\n",
    "\n",
    "> The function $\\mathcal{F}(a) = x^a \\bmod N$ is a periodic function, where $x$ is an integer coprime to $N$ and $a \\ge 0$.\n",
    "\n",
    "Note that two numbers are coprime, if the only positive integer that divides both of them is 1. This is equivalent to their greatest common divisor being 1. For example, 8 and 15 are coprime, as they don't share any common factors (other than 1). However, 9 and 15 are not coprime, since they are both divisible by 3 (and 1). \n",
    "\n",
    "> Since $\\mathcal{F}(a)$ is a periodic function, it has some period $r$. Knowing that $x^0 \\bmod N = 1$, this means that $x^r \\bmod N = 1$ since the function is periodic, and thus $r$ is just the first nonzero power where $x^r = 1 (\\bmod N)$.\n",
    "\n",
    "Given this information and through the following algebraic manipulation: \n",
    "$$ x^r \\equiv 1 \\bmod N $$\n",
    "$$ x^r = (x^{r/2})^2 \\equiv 1 \\bmod N $$\n",
    "$$ (x^{r/2})^2 - 1 \\equiv 0 \\bmod N $$\n",
    "and if $r$ is an even number:\n",
    "$$ (x^{r/2} + 1)(x^{r/2} - 1) \\equiv 0 \\bmod N $$\n",
    "\n",
    "From this, the product $(x^{r/2} + 1)(x^{r/2} - 1)$ is an integer multiple of $N$, the number to be factored. Thus, so long as $(x^{r/2} + 1)$ or $(x^{r/2} - 1)$ is not a multiple of $N$, then at least one of $(x^{r/2} + 1)$ or $(x^{r/2} - 1)$ must have a nontrivial factor in common with $N$. \n",
    "\n",
    "So computing $\\text{gcd}(x^{r/2} - 1, N)$ and $\\text{gcd}(x^{r/2} + 1, N)$ will obtain a factor of $N$, where $\\text{gcd}$ is the greatest common denominator function, which can be calculated by the polynomial time [Euclidean algorithm](https://en.wikipedia.org/wiki/Euclidean_algorithm). "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Classical Steps to Shor's Algorithm\n",
    "\n",
    "Let's assume for a moment that a period finding machine exists that takes as input coprime integers $x, N$ and outputs the period of $x \\bmod N$, implemented by as a brute force search below. Let's show how to use the machine to find all prime factors of $N$ using the number theory described above. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:26.676176Z",
     "start_time": "2018-09-26T17:12:26.670043Z"
    }
   },
   "outputs": [],
   "source": [
    "# Brute force period finding algorithm\n",
    "def find_period_classical(x, N):\n",
    "    n = 1\n",
    "    t = x\n",
    "    while t != 1:\n",
    "        t *= x\n",
    "        t %= N\n",
    "        n += 1\n",
    "    return n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "For simplicity, assume that $N$ has only two distinct prime factors: $N = pq$.\n",
    "\n",
    "<div class=\"alert alert-block alert-info\"> <a id='stepsone'></a>\n",
    "<ol>\n",
    "<li>Pick a random integer $x$ between $1$ and $N$ and compute the greatest common divisor $\\text{gcd}(x,N)$ using Euclid's algorithm.</li>\n",
    "<li>If $x$ and $N$ have some common prime factors, $\\text{gcd}(x,N)$ will equal $p$ or $q$. Otherwise $\\text{gcd}(x,N) = 1$, meaning $x$ and $N$ are coprime. </li>\n",
    "<li>Let $r$ be the period of $x \\bmod N$ computed by the period finding machine. Repeat the above steps with different random choices of $x$ until $r$ is even.</li>\n",
    "<li>Now $p$ and $q$ can be found by computing $\\text{gcd}(x^{r/2} \\pm 1, N)$ as long as $x^{r/2} \\neq \\pm 1$.</li>\n",
    "</ol>\n",
    "</div>\n",
    "\n",
    "As an example, consider $N = 15$. Let's look at all values of $1 < x < 15$ where $x$ is coprime with $15$:\n",
    "\n",
    "|  $x$  |         $x^a \\bmod 15$       | Period $r$ |$\\text{gcd}(x^{r/2}-1,15)$|$\\text{gcd}(x^{r/2}+1,15)$ | \n",
    "|:-----:|:----------------------------:|:----------:|:------------------------:|:-------------------------:|\n",
    "|   2   | 1,2,4,8,1,2,4,8,1,2,4...     |      4     |             3            |             5             |\n",
    "|   4   | 1,4,1,4,1,4,1,4,1,4,1...     |      2     |             3            |             5             |\n",
    "|   7   | 1,7,4,13,1,7,4,13,1,7,4...   |      4     |             3            |             5             |\n",
    "|   8   | 1,8,4,2,1,8,4,2,1,8,4...     |      4     |             3            |             5             |\n",
    "|   11  | 1,11,1,11,1,11,1,11,1,11,1...|      2     |             5            |             3             |\n",
    "|   13  | 1,13,4,7,1,13,4,7,1,13,4,... |      4     |             3            |             5             |\n",
    "|   14  | 1,14,1,14,1,14,1,14,1,14,1,,,|      2     |             1            |             15            |\n",
    "\n",
    "As can be seen, any value of $x$ except $14$ will return the factors of $15$, that is, $3$ and $5$. $14$ is an example of the special case where $(x^{r/2} + 1)$ or $(x^{r/2} - 1)$ is a multiple of $N$ and thus another $x$ needs to be tried. \n",
    "\n",
    "In general, it can be shown that this special case occurs infrequently, so on average only two calls to the period finding machine are sufficient to factor $N$. "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "For a more interesting example, first let's find larger number N, that is semiprime that is relatively small. Using the [Sieve of Eratosthenes](https://en.wikipedia.org/wiki/Sieve_of_Eratosthenes) [Python implementation](http://archive.oreilly.com/pub/a/python/excerpt/pythonckbk_chap1/index1.html?page=last), let's generate a list of all the prime numbers less than a thousand, randomly select two, and muliply them."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:28.800866Z",
     "start_time": "2018-09-26T17:12:28.789601Z"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "semiprime N = 330023\n"
     ]
    }
   ],
   "source": [
    "import random, itertools\n",
    "\n",
    "# Sieve of Eratosthenes algorithm\n",
    "def sieve( ):\n",
    "    D = {  }\n",
    "    yield 2\n",
    "    for q in itertools.islice(itertools.count(3), 0, None, 2):\n",
    "        p = D.pop(q, None)\n",
    "        if p is None:\n",
    "            D[q*q] = q\n",
    "            yield q\n",
    "        else:\n",
    "            x = p + q\n",
    "            while x in D or not (x&1):\n",
    "                x += p\n",
    "            D[x] = p\n",
    "\n",
    "# Creates a list of prime numbers up to the given argument\n",
    "def get_primes_sieve(n):\n",
    "    return list(itertools.takewhile(lambda p: p<n, sieve()))\n",
    "\n",
    "def get_semiprime(n):\n",
    "    primes = get_primes_sieve(n)\n",
    "    l = len(primes)\n",
    "    p = primes[random.randrange(l)]\n",
    "    q = primes[random.randrange(l)]\n",
    "    return p*q\n",
    "\n",
    "N = get_semiprime(1000)\n",
    "\n",
    "print(\"semiprime N =\",N)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now implement the [above steps](#stepsone) of Shor's Algorithm:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:29.140212Z",
     "start_time": "2018-09-26T17:12:29.130741Z"
    }
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "semiprime N = 330023, coprime x = 115531, period r = 27400, prime factors = 401 and 823\n"
     ]
    }
   ],
   "source": [
    "import math\n",
    "\n",
    "def shors_algorithm_classical(N):\n",
    "    x = random.randint(0,N) # step one\n",
    "    if(math.gcd(x,N) != 1): # step two\n",
    "        return x,0,math.gcd(x,N),N/math.gcd(x,N)\n",
    "    r = find_period_classical(x,N) # step three\n",
    "    while(r % 2 != 0):\n",
    "        r = find_period_classical(x,N)\n",
    "    p = math.gcd(x**int(r/2)+1,N) # step four, ignoring the case where (x^(r/2) +/- 1) is a multiple of N\n",
    "    q = math.gcd(x**int(r/2)-1,N)\n",
    "    return x,r,p,q\n",
    "\n",
    "x,r,p,q = shors_algorithm_classical(N)\n",
    "print(\"semiprime N = \",N,\", coprime x = \",x,\", period r = \",r,\", prime factors = \",p,\" and \",q,sep=\"\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Quantum Period Finding <a id='quantumperiodfinding'></a>\n",
    "\n",
    "Let's first describe the quantum period finding algorithm, and then go through a few of the steps in detail, before going through an example. This algorithm takes two coprime integers, $x$ and $N$, and outputs $r$, the period of $\\mathcal{F}(a) = x^a\\bmod N$.\n",
    "\n",
    "<div class=\"alert alert-block alert-info\"><a id='stepstwo'></a>\n",
    "<ol>\n",
    "<li> Choose $T = 2^t$ such that $N^2 \\leq T \\le 2N^2$. Initialise two registers of qubits, first an argument register with $t$ qubits and second a function register with $n = log_2 N$ qubits. These registers start in the initial state:\n",
    "$$\\vert\\psi_0\\rangle = \\vert 0 \\rangle \\vert 0 \\rangle$$ </li>\n",
    "<li> Apply a Hadamard gate on each of the qubits in the argument register to yield an equally weighted superposition of all integers from $0$ to $T$:\n",
    "$$\\vert\\psi_1\\rangle = \\frac{1}{\\sqrt{T}}\\sum_{a=0}^{T-1}\\vert a \\rangle \\vert 0 \\rangle$$ </li>\n",
    "<li> Implement the modular exponentiation function $x^a \\bmod N$ on the function register, giving the state:\n",
    "$$\\vert\\psi_2\\rangle = \\frac{1}{\\sqrt{T}}\\sum_{a=0}^{T-1}\\vert a \\rangle \\vert x^a \\bmod N \\rangle$$\n",
    "This $\\vert\\psi_2\\rangle$ is highly entangled and exhibits quantum parallism, i.e. the function entangled in parallel all the 0 to $T$ input values with the corresponding values of $x^a \\bmod N$, even though the function was only executed once. </li>\n",
    "<li> Perform a quantum Fourier transform on the argument register, resulting in the state:\n",
    "$$\\vert\\psi_3\\rangle = \\frac{1}{T}\\sum_{a=0}^{T-1}\\sum_{z=0}^{T-1}e^{(2\\pi i)(az/T)}\\vert z \\rangle \\vert x^a \\bmod N \\rangle$$\n",
    "where due to the interference, only the terms $\\vert z \\rangle$ with\n",
    "$$z = qT/r $$\n",
    "have significant amplitude where $q$ is a random integer ranging from $0$ to $r-1$ and $r$ is the period of $\\mathcal{F}(a) = x^a\\bmod N$. </li>\n",
    "<li> Measure the argument register to obtain classical result $z$. With reasonable probability, the continued fraction approximation of $T / z$ will be an integer multiple of the period $r$. Euclid's algorithm can then be used to find $r$.</li>\n",
    "</ol>\n",
    "</div>\n",
    "\n",
    "Note how quantum parallelism and constructive interference have been used to detect and measure periodicity of the modular exponentiation function.  The fact that interference makes it easier to measure periodicity should not come as a big surprise. After all, physicists routinely use scattering of electromagnetic waves and interference measurements to determine periodicity of physical objects such as crystal lattices. Likewise, Shor's algorithm exploits interference to measure periodicity of arithmetic objects, a computational interferometer of sorts. "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "####  Modular Exponentiation\n",
    "\n",
    "The modular exponentiation, step 3 above, that is the evaluation of $x^a \\bmod N$ for $2^t$ values of $a$ in parallel, is the most demanding part of the algorithm. This can be performed using the following identity for the binary representation of any integer: $x = x_{t-1}2^{t-1} + ... x_12^1+x_02^0$, where $x_t$ are the binary digits of $x$. From this, it follows that:\n",
    "\n",
    "\\begin{aligned}\n",
    "x^a \\bmod N & = x^{2^{(t-1)}a_{t-1}} ... x^{2a_1}x^{a_0} \\bmod N \\\\\n",
    "& = x^{2^{(t-1)}a_{t-1}} ... [x^{2a_1}[x^{2a_0} \\bmod N] \\bmod N] ... \\bmod N \\\\\n",
    "\\end{aligned}\n",
    "\n",
    "This means that 1 is first multiplied by $x^1 \\bmod N$ if and only if $a_0 = 1$, then the result is multiplied by $x^2 \\bmod N$ if and only if $a_1 = 1$ and so forth, until finally the result is multiplied by $x^{2^{(s-1)}}\\bmod N$ if and only if $a_{t-1} = 1$. \n",
    "\n",
    "Therefore, the modular exponentiation consists of $t$ serial multiplications modulo $N$, each of them controlled by the qubit $a_t$. The values $x,x^2,...,x^{2^{(t-1)}} \\bmod N$ can be found efficiently on a classical computer by repeated squaring."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Quantum Fourier Transform\n",
    "\n",
    "The Fourier transform occurs in many different versions throughout classical computing, in areas ranging from signal processing to data compression to complexity theory. The quantum Fourier transform (QFT), step 4 above, is the quantum implementation of the discrete Fourier transform over the amplitudes of a wavefunction. \n",
    "\n",
    "The classical discrete Fourier transform acts on a vector $(x_0, ..., x_{N-1})$ and maps it to the vector $(y_0, ..., y_{N-1})$ according to the formula\n",
    "$$y_k = \\frac{1}{\\sqrt{N}}\\sum_{j=0}^{N-1}x_j\\omega_N^{jk}$$\n",
    "where $\\omega_N^{jk} = e^{2\\pi i \\frac{jk}{N}}$.\n",
    "\n",
    "Similarly, the quantum Fourier transform acts on a quantum state $\\sum_{i=0}^{N-1} x_i \\vert i \\rangle$ and maps it to the quantum state $\\sum_{i=0}^{N-1} y_i \\vert i \\rangle$ according to the formula\n",
    "$$y_k = \\frac{1}{\\sqrt{N}}\\sum_{j=0}^{N-1}x_j\\omega_N^{jk}$$\n",
    "with $\\omega_N^{jk}$ defined as above. Note that only the amplitudes of the state were affected by this transformation.\n",
    "\n",
    "This can also be expressed as the map:\n",
    "$$\\vert x \\rangle \\mapsto \\frac{1}{\\sqrt{N}}\\sum_{y=0}^{N-1}\\omega_N^{xy} \\vert y \\rangle$$\n",
    "\n",
    "Or the unitary matrix:\n",
    "$$ U_{QFT} = \\frac{1}{\\sqrt{N}} \\sum_{x=0}^{N-1} \\sum_{y=0}^{N-1} \\omega_N^{xy} \\vert y \\rangle \\langle x \\vert$$"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "As an example, we've actually already seen the quantum Fourier transform for when $N = 2$, it is the Hadamard operator ($H$):\n",
    "$$H = \\frac{1}{\\sqrt{2}}\\begin{bmatrix} 1 & 1 \\\\ 1 & -1 \\end{bmatrix}$$\n",
    "Suppose we have the single qubit state $\\alpha \\vert 0 \\rangle + \\beta \\vert 1 \\rangle$, if we apply the $H$ operator to this state, we obtain the new state:\n",
    "$$\\frac{1}{\\sqrt{2}}(\\alpha + \\beta) \\vert 0 \\rangle + \\frac{1}{\\sqrt{2}}(\\alpha - \\beta)  \\vert 1 \\rangle \n",
    "\\equiv \\tilde{\\alpha}\\vert 0 \\rangle + \\tilde{\\beta}\\vert 1 \\rangle$$\n",
    "Notice how the Hadamard gate performs the discrete Fourier transform for $N = 2$ on the amplitudes of the state. \n",
    "\n",
    "So what does the quantum Fourier transform look like for larger N? Let's derive a circuit for $N=2^n$, $QFT_N$ acting on the state $\\vert x \\rangle = \\vert x_1...x_n \\rangle$ where $x_1$ is the most significant bit.\n",
    "\\begin{aligned}\n",
    "QFT_N\\vert x \\rangle & = \\frac{1}{\\sqrt{N}} \\sum_{y=0}^{N-1}\\omega_N^{xy} \\vert y \\rangle \\\\\n",
    "& = \\frac{1}{\\sqrt{N}} \\sum_{y=0}^{N-1} e^{2 \\pi i xy / 2^n} \\vert y \\rangle \\:\\text{since}\\: \\omega_N^{xy} = e^{2\\pi i \\frac{xy}{N}} \\:\\text{and}\\: N = 2^n\\\\\n",
    "& = \\frac{1}{\\sqrt{N}} \\sum_{y=0}^{N-1} e^{2 \\pi i \\left(\\sum_{k=1}^n y_k/2^k\\right) x} \\vert y_1 ... y_n \\rangle \\:\\text{rewriting in fractional binary notation}\\: y = y_1...y_k, y/2^n = \\sum_{k=1}^n y_k/2^k \\\\\n",
    "& = \\frac{1}{\\sqrt{N}} \\sum_{y=0}^{N-1} \\prod_{k=0}^n e^{2 \\pi i x y_k/2^k } \\vert y_1 ... y_n \\rangle \\:\\text{after expanding the exponential of a sum to a product of exponentials} \\\\\n",
    "& = \\frac{1}{\\sqrt{N}} \\bigotimes_{k=1}^n  \\left(\\vert0\\rangle + e^{2 \\pi i x /2^k } \\vert1\\rangle \\right) \\:\\text{after rearranging the sum and products, and expanding} \\\\\n",
    "& = \\frac{1}{\\sqrt{N}} \\left(\\vert0\\rangle + e^{2 \\pi i[0.x_n]} \\vert1\\rangle\\right) \\otimes...\\otimes  \\left(\\vert0\\rangle + e^{2 \\pi i[0.x_1.x_2...x_{n-1}.x_n]} \\vert1\\rangle\\right) \\:\\text{as}\\: e^{2 \\pi i x/2^k} = e^{2 \\pi i[0.x_k...x_n]} \n",
    "\\end{aligned}\n",
    "\n",
    "This is a very useful form of the QFT for $N=2^n$ as only the last qubit depends on the the\n",
    "values of all the other input qubits and each further bit depends less and less on the input qubits. Furthermore, note that $e^{2 \\pi i.0.x_n}$ is either $+1$ or $-1$, which resembles the Hadamard transform.\n",
    "\n",
    "Before we create the circuit code for general $N=2^n$, let's look at $N=8,n=3$:\n",
    "$$QFT_8\\vert x_1x_2x_3\\rangle = \\frac{1}{\\sqrt{8}} \\left(\\vert0\\rangle + e^{2 \\pi i[0.x_3]} \\vert1\\rangle\\right) \\otimes \\left(\\vert0\\rangle + e^{2 \\pi i[0.x_2.x_3]} \\vert1\\rangle\\right) \\otimes  \\left(\\vert0\\rangle + e^{2 \\pi i[0.x_1.x_2.x_3]} \\vert1\\rangle\\right) $$\n",
    "\n",
    "The steps to creating the circuit for $\\vert y_1y_2x_3\\rangle = QFT_8\\vert x_1x_2x_3\\rangle$, remembering the [controlled phase rotation gate](../tools/quantum_gates_and_linear_algebra.ipynb\n",
    ") $CU_1$, would be:\n",
    "1. Apply a Hadamard to $\\vert x_3 \\rangle$, giving the state $\\frac{1}{\\sqrt{2}}\\left(\\vert0\\rangle + e^{2 \\pi i.0.x_3} \\vert1\\rangle\\right) = \\frac{1}{\\sqrt{2}}\\left(\\vert0\\rangle + (-1)^{x_3} \\vert1\\rangle\\right)$\n",
    "2. Apply a Hadamard to $\\vert x_2 \\rangle$, then depending on $k_3$ (before the Hadamard gate) a $CU_1(\\frac{\\pi}{2})$, giving the state $\\frac{1}{\\sqrt{2}}\\left(\\vert0\\rangle + e^{2 \\pi i[0.x_2.x_3]} \\vert1\\rangle\\right)$.\n",
    "3. Apply a Hadamard to $\\vert x_1 \\rangle$, then $CU_1(\\frac{\\pi}{2})$ depending on $k_2$, and $CU_1(\\frac{\\pi}{4})$ depending on $k_3$.\n",
    "4. Measure the bits in reverse order, that is $y_3 = x_1, y_2 = x_2, y_1 = y_3$.\n",
    "\n",
    "In Qiskit, this is:\n",
    "```\n",
    "q3 = QuantumRegister(3, 'q3')\n",
    "c3 = ClassicalRegister(3, 'c3')\n",
    "\n",
    "qft3 = QuantumCircuit(q3, c3)\n",
    "qft3.h(q[0])\n",
    "qft3.cu1(math.pi/2.0, q3[1], q3[0])\n",
    "qft3.h(q[1])\n",
    "qft3.cu1(math.pi/4.0, q3[2], q3[0])\n",
    "qft3.cu1(math.pi/2.0, q3[2], q3[1])\n",
    "qft3.h(q[2])\n",
    "```\n",
    "\n",
    "For $N=2^n$, this can be generalised, as in the `qft` function in [tools.qi](https://github.com/Q/qiskit-terra/blob/master/qiskit/tools/qi/qi.py):\n",
    "```\n",
    "def qft(circ, q, n):\n",
    "    \"\"\"n-qubit QFT on q in circ.\"\"\"\n",
    "    for j in range(n):\n",
    "        for k in range(j):\n",
    "            circ.cu1(math.pi/float(2**(j-k)), q[j], q[k])\n",
    "        circ.h(q[j])\n",
    "```"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "#### Example\n",
    "\n",
    "Let's factorize $N = 21$ with coprime $x=2$, following the [above steps](#stepstwo) of the quantum period finding algorithm, which should return $r = 6$. This example follows one from [this](https://arxiv.org/abs/quant-ph/0303175) tutorial. \n",
    "\n",
    "1. Choose $T = 2^t$ such that $N^2 \\leq T \\le 2N^2$. For $N = 21$, the smallest value of $t$ is 9, meaning $T = 2^t = 512$. Initialise two registers of qubits, first an argument register with $t = 9$ qubits, and second a function register with $n = log_2 N = 5$ qubits: \n",
    "$$\\vert\\psi_0\\rangle = \\vert 0 \\rangle \\vert 0 \\rangle$$\n",
    "\n",
    "2. Apply a Hadamard gate on each of the qubits in the argument register: \n",
    "$$\\vert\\psi_1\\rangle = \\frac{1}{\\sqrt{T}}\\sum_{a=0}^{T-1}\\vert a \\rangle \\vert 0 \\rangle = \\frac{1}{\\sqrt{512}}\\sum_{a=0}^{511}\\vert a \\rangle \\vert 0 \\rangle$$\n",
    "\n",
    "3. Implement the modular exponentiation function $x^a \\bmod N$ on the function register:\n",
    "\\begin{eqnarray}\n",
    "\\vert\\psi_2\\rangle \n",
    "& = & \\frac{1}{\\sqrt{T}}\\sum_{a=0}^{T-1}\\vert a \\rangle \\vert x^a \\bmod N \\rangle\n",
    " = \\frac{1}{\\sqrt{512}}\\sum_{a=0}^{511}\\vert a \\rangle \\vert 2^a \\bmod 21 \\rangle \\\\\n",
    "& = & \\frac{1}{\\sqrt{512}} \\bigg( \\;\\; \\vert 0 \\rangle \\vert 1 \\rangle + \\vert 1 \\rangle \\vert 2 \\rangle +\n",
    "\\vert 2 \\rangle \\vert 4 \\rangle + \\vert 3 \\rangle \\vert 8 \\rangle + \\;\\; \\vert 4 \\rangle \\vert 16 \\rangle + \\;\\,\n",
    "\\vert 5 \\rangle \\vert 11 \\rangle \\, + \\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\, \\vert 6 \\rangle \\vert 1 \\rangle + \\vert 7 \\rangle \\vert 2 \\rangle + \\vert 8 \\rangle \\vert 4 \\rangle + \\vert 9 \\rangle \\vert 8 \\rangle + \\vert 10 \\rangle \\vert 16 \\rangle + \\vert 11 \\rangle \\vert 11 \\rangle \\, +\\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\, \\vert 12 \\rangle \\vert 1 \\rangle + \\ldots \\bigg)\\\\\n",
    "\\end{eqnarray}\n",
    "Notice that the above expression has the following pattern: the states of the second register of each “column” are the same. Therefore we can rearrange the terms in order to collect the second register:\n",
    "\\begin{eqnarray}\n",
    "\\vert\\psi_2\\rangle \n",
    "& = & \\frac{1}{\\sqrt{512}} \\bigg[ \\big(\\,\\vert 0 \\rangle + \\;\\vert 6 \\rangle + \\vert 12 \\rangle \\ldots + \\vert 504 \\rangle + \\vert 510 \\rangle \\big) \\, \\vert 1 \\rangle \\, + \\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\; \\big(\\,\\vert 1 \\rangle + \\;\\vert 7 \\rangle + \\vert 13 \\rangle \\ldots + \\vert 505 \\rangle + \\vert 511 \\rangle \\big) \\, \\vert 2 \\rangle \\, + \\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\; \\big(\\,\\vert 2 \\rangle + \\;\\vert 8 \\rangle + \\vert 14 \\rangle \\ldots + \\vert 506 \\rangle +  \\big) \\, \\vert 4 \\rangle \\, +  \\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\; \\big(\\,\\vert 3 \\rangle + \\;\\vert 9 \\rangle + \\vert 15 \\rangle \\ldots + \\vert 507 \\rangle +  \\big) \\, \\vert 8 \\rangle \\, +  \\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\; \\big(\\,\\vert 4 \\rangle + \\vert 10 \\rangle + \\vert 16 \\rangle \\ldots + \\vert 508 \\rangle +  \\big)  \\vert 16 \\rangle \\, +  \\\\\n",
    "& & \\;\\;\\;\\;\\;\\;\\;\\;\\;\\;\\; \\big(\\,\\vert 5 \\rangle + \\vert 11 \\rangle + \\vert 17 \\rangle \\ldots + \\vert 509 \\rangle +  \\big)  \\vert 11 \\rangle \\, \\bigg]\\\\\n",
    "\\end{eqnarray}\n",
    "\n",
    "4. To simplify following equations, we'll measure the function register before performing a quantum Fourier transform on the argument register. This will yield one of the following numbers with equal probability: $\\{1,2,4,6,8,16,11\\}$. Suppose that the result of the measurement was $2$, then:\n",
    "$$\\vert\\psi_3\\rangle = \\frac{1}{\\sqrt{86}}(\\vert 1 \\rangle + \\;\\vert 7 \\rangle + \\vert 13 \\rangle \\ldots + \\vert 505 \\rangle + \\vert 511 \\rangle)\\, \\vert 2 \\rangle $$\n",
    "It does not matter what is the result of the measurement; what matters is the periodic pattern. The period of the states of the first register is the solution to the problem and the quantum Fourier transform can reveal the value of the period.\n",
    "\n",
    "5. Perform a quantum Fourier transform on the argument register:\n",
    "$$\n",
    "\\vert\\psi_4\\rangle\n",
    " = QFT(\\vert\\psi_3\\rangle)\n",
    " = QFT(\\frac{1}{\\sqrt{86}}\\sum_{a=0}^{85}\\vert 6a+1 \\rangle)\\vert 2 \\rangle\n",
    " = \\frac{1}{\\sqrt{512}}\\sum_{j=0}^{511}\\bigg(\\big[ \\frac{1}{\\sqrt{86}}\\sum_{a=0}^{85} e^{-2 \\pi i \\frac{6ja}{512}} \\big] e^{-2\\pi i\\frac{j}{512}}\\vert j \\rangle \\bigg)\\vert 2 \\rangle\n",
    "$$\n",
    "\n",
    "6. Measure the argument register. The probability of measuring a result $j$ is:\n",
    "$$ \\rm{Probability}(j) = \\frac{1}{512 \\times 86} \\bigg\\vert \\sum_{a=0}^{85}e^{-2 \\pi i \\frac{6ja}{512}} \\bigg\\vert^2$$\n",
    "This peaks at $j=0,85,171,256,341,427$. Suppose that the result of the measement yielded $j = 85$, then using continued fraction approximation of $\\frac{512}{85}$, we obtain $r=6$, as expected. "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Implementation <a id='implementation'></a>"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:32.454145Z",
     "start_time": "2018-09-26T17:12:30.093921Z"
    }
   },
   "outputs": [],
   "source": [
    "from qiskit import BasicAer, execute\n",
    "from qiskit import QuantumCircuit, ClassicalRegister, QuantumRegister\n",
    "from qiskit.tools.visualization import plot_histogram"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "As mentioned [earlier](#shorsalgorithm), many of the experimental demonstrations of Shor's algorithm rely on significant optimisations based on apriori knowledge of the expected results. We will follow the formulation in [this](http://science.sciencemag.org/content/351/6277/1068) paper, which demonstrates a reasonably scalable realisation of Shor's algorithm using $N = 15$. Below is the first figure from the paper, showing various quantum circuits, with the following caption: _Diagrams of Shor’s algorithm for factoring $N = 15$, using a generic textbook approach (**A**) compared with Kitaev’s approach (**B**) for a generic base $a$. (**C**) The actual implementation for factoring $15$ to base $11$, optimized for the corresponding single-input state. Here $q_i$ corresponds to the respective qubit in the computational register. (**D**) Kitaev’s approach to Shor’s algorithm for the bases ${2, 7, 8, 13}$. Here, the optimized map of the first multiplier is identical in all four cases, and the last multiplier is implemented with full modular multipliers, as depicted in (**E**). In all cases, the single QFT qubit is used three times, which, together with the four qubits in the computation register, totals seven effective qubits. (**E**) Circuit diagrams of the modular multipliers of the form $a \\bmod N$ for bases $a = {2, 7, 8, 11, 13}$._\n",
    "\n",
    "<img src=\"images/shoralgorithm.png\" alt=\"Note: In order for images to show up in this jupyter notebook you need to select File => Trusted Notebook\" width=\"500 px\" align=\"center\">\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Note that we cannot run this version of Shor's algorithm on an IBM Quantum Experience device at the moment as we currently lack the ability to do measurement feedforward and qubit resetting. Thus we'll just be building the ciruits to run on the simulators for now. Based on Pinakin Padalia & Amitabh Yadav's implementation, found [here](https://github.com/amitabhyadav/Shor-Algorithm-on-IBM-Quantum-Experience)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "First we'll construct the $a^1 \\bmod 15$ circuits for $a = 2,7,8,11,13$ as in **E**:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:32.467183Z",
     "start_time": "2018-09-26T17:12:32.459175Z"
    }
   },
   "outputs": [],
   "source": [
    "# qc = quantum circuit, qr = quantum register, cr = classical register, a = 2, 7, 8, 11 or 13\n",
    "def circuit_amod15(qc,qr,cr,a):\n",
    "    if a == 2:\n",
    "        qc.cswap(qr[4],qr[3],qr[2])\n",
    "        qc.cswap(qr[4],qr[2],qr[1])\n",
    "        qc.cswap(qr[4],qr[1],qr[0])\n",
    "    elif a == 7:\n",
    "        qc.cswap(qr[4],qr[1],qr[0])\n",
    "        qc.cswap(qr[4],qr[2],qr[1])\n",
    "        qc.cswap(qr[4],qr[3],qr[2])\n",
    "        qc.cx(qr[4],qr[3])\n",
    "        qc.cx(qr[4],qr[2])\n",
    "        qc.cx(qr[4],qr[1])\n",
    "        qc.cx(qr[4],qr[0])\n",
    "    elif a == 8:\n",
    "        qc.cswap(qr[4],qr[1],qr[0])\n",
    "        qc.cswap(qr[4],qr[2],qr[1])\n",
    "        qc.cswap(qr[4],qr[3],qr[2])\n",
    "    elif a == 11: # this is included for completeness\n",
    "        qc.cswap(qr[4],qr[2],qr[0])\n",
    "        qc.cswap(qr[4],qr[3],qr[1])\n",
    "        qc.cx(qr[4],qr[3])\n",
    "        qc.cx(qr[4],qr[2])\n",
    "        qc.cx(qr[4],qr[1])\n",
    "        qc.cx(qr[4],qr[0])\n",
    "    elif a == 13:\n",
    "        qc.cswap(qr[4],qr[3],qr[2])\n",
    "        qc.cswap(qr[4],qr[2],qr[1])\n",
    "        qc.cswap(qr[4],qr[1],qr[0])\n",
    "        qc.cx(qr[4],qr[3])\n",
    "        qc.cx(qr[4],qr[2])\n",
    "        qc.cx(qr[4],qr[1])\n",
    "        qc.cx(qr[4],qr[0])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Next we'll build the rest of the period finding circuit as in **D**:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:32.481843Z",
     "start_time": "2018-09-26T17:12:32.470502Z"
    }
   },
   "outputs": [],
   "source": [
    "# qc = quantum circuit, qr = quantum register, cr = classical register, a = 2, 7, 8, 11 or 13\n",
    "def circuit_aperiod15(qc,qr,cr,a):\n",
    "    if a == 11:\n",
    "        circuit_11period15(qc,qr,cr)\n",
    "        return\n",
    "    \n",
    "    # Initialize q[0] to |1> \n",
    "    qc.x(qr[0])\n",
    "\n",
    "    # Apply a**4 mod 15\n",
    "    qc.h(qr[4])\n",
    "    #   controlled identity on the remaining 4 qubits, which is equivalent to doing nothing\n",
    "    qc.h(qr[4])\n",
    "    #   measure\n",
    "    qc.measure(qr[4],cr[0])\n",
    "    #   reinitialise q[4] to |0>\n",
    "    qc.reset(qr[4])\n",
    "\n",
    "    # Apply a**2 mod 15\n",
    "    qc.h(qr[4])\n",
    "    #   controlled unitary\n",
    "    qc.cx(qr[4],qr[2])\n",
    "    qc.cx(qr[4],qr[0])\n",
    "    #   feed forward\n",
    "    qc.u1(math.pi/2.,qr[4]).c_if(cr, 1)\n",
    "    qc.h(qr[4])\n",
    "    #   measure\n",
    "    qc.measure(qr[4],cr[1])\n",
    "    #   reinitialise q[4] to |0>\n",
    "    qc.reset(qr[4])\n",
    "\n",
    "    # Apply a mod 15\n",
    "    qc.h(qr[4])\n",
    "    #   controlled unitary.\n",
    "    circuit_amod15(qc,qr,cr,a)\n",
    "    #   feed forward\n",
    "    qc.u1(3.*math.pi/4.,qr[4]).c_if(cr, 3)\n",
    "    qc.u1(math.pi/2.,qr[4]).c_if(cr, 2)\n",
    "    qc.u1(math.pi/4.,qr[4]).c_if(cr, 1)\n",
    "    qc.h(qr[4])\n",
    "    #   measure\n",
    "    qc.measure(qr[4],cr[2])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Next we build the optimised circuit for $11 \\bmod 15$ as in **C**."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:32.493545Z",
     "start_time": "2018-09-26T17:12:32.484582Z"
    }
   },
   "outputs": [],
   "source": [
    "def circuit_11period15(qc,qr,cr):\n",
    "    # Initialize q[0] to |1> \n",
    "    qc.x(qr[0])\n",
    "\n",
    "    # Apply a**4 mod 15\n",
    "    qc.h(qr[4])\n",
    "    #   controlled identity on the remaining 4 qubits, which is equivalent to doing nothing\n",
    "    qc.h(qr[4])\n",
    "    #   measure\n",
    "    qc.measure(qr[4],cr[0])\n",
    "    #   reinitialise q[4] to |0>\n",
    "    qc.reset(qr[4])\n",
    "\n",
    "    # Apply a**2 mod 15\n",
    "    qc.h(qr[4])\n",
    "    #   controlled identity on the remaining 4 qubits, which is equivalent to doing nothing\n",
    "    #   feed forward\n",
    "    qc.u1(math.pi/2.,qr[4]).c_if(cr, 1)\n",
    "    qc.h(qr[4])\n",
    "    #   measure\n",
    "    qc.measure(qr[4],cr[1])\n",
    "    #   reinitialise q[4] to |0>\n",
    "    qc.reset(qr[4])\n",
    "\n",
    "    # Apply 11 mod 15\n",
    "    qc.h(qr[4])\n",
    "    #   controlled unitary.\n",
    "    qc.cx(qr[4],qr[3])\n",
    "    qc.cx(qr[4],qr[1])\n",
    "    #   feed forward\n",
    "    qc.u1(3.*math.pi/4.,qr[4]).c_if(cr, 3)\n",
    "    qc.u1(math.pi/2.,qr[4]).c_if(cr, 2)\n",
    "    qc.u1(math.pi/4.,qr[4]).c_if(cr, 1)\n",
    "    qc.h(qr[4])\n",
    "    #   measure\n",
    "    qc.measure(qr[4],cr[2])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let's build and run a circuit for $a = 7$, and plot the the circuit and results:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {
    "ExecuteTime": {
     "end_time": "2018-09-26T17:12:32.830902Z",
     "start_time": "2018-09-26T17:12:32.495963Z"
    }
   },
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAABCMAAAPWCAYAAADat1LsAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADh0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uMy4xLjAsIGh0dHA6Ly9tYXRwbG90bGliLm9yZy+17YcXAAAgAElEQVR4nOzde1yUZf7/8feIp1RgzEhL89xJU1FC1FUha0VTv5hE2ZamrtnZNdEga8ssFc027WAulWumdvAUZIqUK3SwUFE8r+aqmK2KGgieMGfm90c/JlEOgwz3PQOv5+Mxj/Kea+7rM8PMfQ1v7vu6LA6HwyEAAAAAAACDVDO7AAAAAAAAULUQRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAEMRRgAAAAAAAENVN7sAmGvMmDHKyMgwvN/AwEDNnDnT8H4BAAAAAObjzIgqLiMjw/Awwow+AQAAAACegzMjoMDAQKWkpBjWX1hYmGF9AQAAAAA8D2dGAAAAAAAAQxFGAABQiV24cEH5+flyOBxmlwIAAOBEGAEAQCVy6tQpxcfHKyIiQo0bN1aNGjVUu3Zt+fn5qWfPnnrhhRe0f/9+s8sEAABVHGEEAACVwIULFzR9+nQ1btxYjz76qHbu3Kk77rhDL7/8siTp4Ycf1m+//aa4uDi1atVKgwcP1tGjR02uGgAAVFWEEQAAeLn//e9/6t69u2JiYhQWFqZ169Zpz549WrBggV588UVJ0ttvv60ffvhBBw4c0HPPPafPP/9cbdu21erVq02uHgAAVEWEEQAAeLHDhw8rNDRU27dv18cff6zPP/9cXbt2lcViKbJ9kyZNNHnyZG3evFlNmjRR//799eWXXxpcNQAAqOoIIwAA8FJ2u12DBw/W4cOH9dVXX2nw4MHFhhCXuvXWW5WamqoOHTro/vvvZx4JADCAw+FQTEyMvvjiC5fanzt3TkOGDNG2bdsquDLAeFUqjJg3b57CwsJcbh8UFMTpqwAAjzV79mx98803euutt9S1a9cyP97f31/Lli1TtWrV9Ne//pUVNwCggp09e1Zr165VZGRkqYHEuXPnNGjQIC1YsECbNm0yqELAOFUqjLiUzWbT+PHjFRAQIF9fX0VGRur48ePO+yMiIpSYmGhihZ7n1KlTCggI0JIlS5zbzp49q27duunee++V3W43sToAqDrOnz+vyZMnq1evXho2bNgV76dp06aaOnWq1q5dq++++859BQIALlOnTh0lJycrMDCwxECiIIhYtWqV3nvvPT388MMGVwpUvCodRsTFxSkhIUFpaWk6dOiQJGnIkCHO+wkjLlevXj2NGzdOkyZNksPhkM1m03333adatWpp4cKFqlatSr+lAMAwn3/+uY4cOaJx48a5fGlGcYYPHy6r1arZs2e7qToAQHGsVmuJgcSlQcTIkSNNqhSoWB7xm+Nnn32m1q1bq169eurdu7eio6MVFRVV4f3Gx8crJiZGLVu2lL+/v6ZPn66kpCRlZmZKkjp06CAfHx+lp6dXeC3e5KmnntKRI0e0dOlSjRo1SocOHVJCQoJq1apldmkAUGUkJyfr6quvVnh4eLn3VadOHd1zzz1KTk7mUg0AMEBxgQRBBKoS08OIDz/8UNHR0Vq4cKHy8vLUv39/zZo1Sx07dizTfuLi4tS+fXuX2+fk5OjgwYMKCgpybmvVqpX8/Py0ZcsW57aIiAglJCSUqZbKrm7duho/fryGDRumlJQUJSUlyc/Pz+yyAKBKSU9PV1BQkNvOSOvcubN+/fVXZyAPAKhYlwYSS5cuJYhAlWJqGHHmzBmNHTtW8fHxCgkJkcVi0ciRI2Wz2ZxhxIIFC9S1a1d17dpVa9euLXZfsbGx2rp1q8t95+XlSfp98q6LWa1W5ebmOv/dr18/ljwrxunTpxUbG6uGDRuaXQoAVDm//PKLWrVq5bb9tWzZ0rlfAIAxCgKJ9u3bKyoqiiACXmPMmDEaM2aMS+2K5TDRypUrHVartdC2AwcOOCQ5Dh8+7MjOznZ06NDBcfbsWcexY8ccHTp0cNhstivu71//+pcjNDTU4XA4HNnZ2Q5Jjs2bNxdq4+fn50hISHD+Oz4+3jFw4MAr7tNVkky7Fbwmrvroo48c9evXd4wYMcLRtm1bh91uL9PjQ0NDTX2+3Lhx41YZbj4+PqbXwI0bN27cuHHjVtqtONVloqysLF177bWFti1atEgNGzZUo0aNtHr1aoWGhqp27dqqXbu2rr/+eh04cMD515vysFqtatq0qTZt2qTAwEBJ0r59+5Sbm1voco/ExERFRkaWu7/SOEy6RrcsS51K0sqVK/XEE09oxYoVCgoKUosWLbR48WLdd999ZdpPaGioUlJSyvQYAMAfbrvtNjVv3lwrVqwota3FYil1nPnggw80cuRI7d69WzfddJO7ygQAlODiOSJmzZqlv/3tb6pRo4aWLl2qAQMGmF0eUKyC3yNL+52upN83Tb1Mo02bNtq7d69SU1N1/vx5LVq0SHFxcc5LNE6cOKH69es729evX18nTpxwW/+jRo3StGnTtH//fuXm5iomJkbh4eFq3ry5pN8vQ1i7dq369+/vtj692bp16zR48GDNnz9fPXv2dM4dMWnSJJb0BACDBQUFaePGjW4Lszdu3Cg/Pz+1bt3aLfsDAJTs0skqR48eLUmlLvsJVBamhhHBwcF6/vnnNWjQIDVp0kRpaWkKCQlxhhENGjRQdna2s31OTo4aNGhQ5L6mTJmitm3blqn/2NhYDRgwQMHBwWrcuLFsNpsWLFjgvD85OVkdO3bUNddccwXPrnLZvn27+vfvr3/84x8aOHCgc/uTTz6pY8eOafHixSZWBwBVzx133KGjR4/q22+/Lfe+zp8/r+XLlyssLIwlmgHAACWtmlHSsp9AZWL6N45JkybpxIkTysrK0qxZs7Rnzx5nGBESEqJvv/1W+fn5+vXXX/XLL784z1q41IQJE7Rjx44y9e3j46MZM2bo+PHjysvL07JlywoFD4mJiYqIiLji51aZ3Hbbbfr1118vm0ynTp06Onr0qO6//36TKgOAqum+++6T1WrVzJkzy72vTz/9VEePHtVjjz3mhsoAACUpbfnO4pb9BCob08OIi+Xm5iozM9MZRlitVo0ZM0ZhYWHq16+fXn/9dUP/YtOsWTNFRUUZ1h8AAK6qU6eOnnnmGS1fvlyJiYlXvJ/jx49r3Lhx6tSpk8LDw91YIQDgUvn5+S4t30kggarA1AksL7V9+3b5+voWWqps6NChGjp0qFv2HxgYqGHDhrncfuLEiW7pFwCAihAbG6tly5bpr3/9q7799lvdcsstZXp8fn6+/vKXvyg7O1tff/01l2gAQAXz8fFR/fr1XVq+syCQGDRokPz8/AyqEDCOR4UR3bp1U25uboXtPzAw0LlyBgAA3q5mzZpavHixunfvrtDQUC1evFg9e/Z06bFHjhzRQw89pDVr1mju3Llq165dBVcLAKhevboWLFggi8XiUnur1ao1a9a43B7wJvwJBAAAL3bjjTcqNTVVvr6+Cg0N1RNPPKH9+/cX2/7UqVOaPXu22rRpo++//17z5s3T8OHDDawYAKq2sgYLBBGorDzqzAgAAFB2t9xyi7Zs2aLnnntOs2fP1pw5c9SzZ0+FhITopptukiRNnTpV6enp+uqrr5Sbm6vu3bvr/fff180332xy9QAAoCrizAgAACqBunXr6s0339SBAwf0wgsv6NSpU3rjjTec1yRPmDBBmzdv1j333KN169bpm2++IYgAAACm4cwIAAAqkSZNmmjSpEmaNGmS8vPzdfjwYbVo0ULZ2dmyWq1mlwcAACCJMyMAAKi0atWqpebNm0sSQQQAAPAohBEAAAAAAMBQXKYBZWRkKCwszND+WGIVAAAAAKouwogqzoxQIDAwkDACAAAAAKowwogqbubMmWaXAAAAAACoYpgzAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAAGIowAgAAAAAMsnPnTuXm5rrcfsOGDbLZbBVYUelsNps2bNjgcvuTJ09q165dFVgRKgPCCAAAAAAwwOnTp3XnnXeqT58+LgUSn3/+ubp166a4uDgDqive5MmT9ac//UlffPFFqW1Pnjyp8PBw3XXXXTp79qwB1cFbVakwYt68eQoLC3O5fVBQkFavXl1xBQEAAACoMurWrau3335bGzZsKDWQ+PzzzxUVFaWgoCA99dRTBlZ5udGjRyswMFCRkZElBhIFQUR6erpmz56tq666ysAq4W2qVBhxKZvNpvHjxysgIEC+vr6KjIzU8ePHnfdHREQoMTHRxAoBAAAAVCaRkZH65JNPSgwkLg4iVq9eLX9/fxMq/YPValVycnKJgcTFQcSSJUsUERFhQqXwJlU6jIiLi1NCQoLS0tJ06NAhSdKQIUOc9xNGAAAAAHC3kgIJTwsiCpQUSBBE4Ep4RBjx2WefqXXr1qpXr5569+6t6OhoRUVFVXi/8fHxiomJUcuWLeXv76/p06crKSlJmZmZkqQOHTrIx8dH6enpFV4LAAAAgKqjuEDCE4OIAkUFEgQRuFKmhxEffvihoqOjtXDhQuXl5al///6aNWuWOnbsWKb9xMXFqX379i63z8nJ0cGDBxUUFOTc1qpVK/n5+WnLli3ObREREUpISChTLQAAAABQmosDic6dO0uSxwYRBS4NJDp37kwQgStiahhx5swZjR07VvHx8QoJCZHFYtHIkSNls9mcYcRdd92lgIAAvfrqqyXuKzY2Vlu3bnW577y8PEm67ENutVoLnSbVr18/ffnlly7vFwAAAABcFRkZqbFjx2r37t2SpMWLF3tsEFHAarVq8eLFqlmzpvbs2aNnn32WIAJlVt3MzlNTU2W329W3b1/ntmPHjkmSM4yYN2+evv76a+ecDu7i6+sr6ffrmy6Wk5MjPz8/578zMzPVtGlTt/ZdFIvFUuF9AACqLsYZAPAORvzu4W5TpkzRlClTzC4DJijP9wtTw4isrCxde+21hbYtWrRIDRs2VKNGjSRJTZo0qZC+rVarmjZtqk2bNikwMFCStG/fPuXm5ha63CMxMVGRkZEVUsPFHA5HhfcBAKiaLBYL4wwAeKBLJ6u0Wq2qXr26goODlZSUVOiPpJ7i0jkiBg4cqODgYGVkZGjp0qUaMGCA2SXCAGFhYZKklJQUl9oVxdTLNNq0aaO9e/cqNTVV58+f16JFixQXF1fm+SKu1KhRozRt2jTt379fubm5iomJUXh4uJo3by5JOn36tNauXav+/fsbUg8AAACAqqG4VTNKW/bTTMVNVlnasp9AUUwNI4KDg/X8889r0KBBatKkidLS0hQSEnJFYcSUKVPUtm3bMj0mNjZWAwYMUHBwsBo3biybzaYFCxY4709OTlbHjh11zTXXlLkeAAAAAChKSct3lrTsp5lKWjWjpGU/geKYvprGpEmTdOLECWVlZWnWrFnas2fPFYUREyZM0I4dO8r0GB8fH82YMUPHjx9XXl6eli1bVih4SExMZCIWAAAAAG5TUhBRwNMCCVeW7ySQQFmZHkZcLDc3V5mZmYXCiBEjRui1117TvHnzDL/+qFmzZoqKijK0TwAAAACV0+nTp/XYY4+5tHznxYHEm2++aWCVl5s5c6ZLy3deHEg8+uijOnv2rIFVwttYHB40o9W6devUp08fnTx5skJm/c7IyFBGRoaGDRvm9n0DAOCpmMASADzH9u3bdcMNNxQZRBR1vP7xxx8VHBwsHx8fo0q8zIULF5Senq6QkJDL7iuq5pycHP3yyy9lvowe3qMsE1gW18ajwggAAOB+hBEA4B288XjtjTWj/NwRRnjUZRoAAAAAAKDyI4wAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGIowAAAAAAACGqm52AQAAeIPs7GydPHlS1atX13XXXScfHx+zSwIAAPBanBkBAEAR7Ha7vvrqKw0ePFjNmjXT1VdfrRYtWuiGG26Qv7+/evTooTfeeEPZ2dlmlwoAAOB1CCMAALjE+vXrFRgYqN69e2vNmjXq1q2bpk+frrlz50qSRowYobNnz2rs2LFq3Lixpk6dqgsXLphcNQAAgPcgjAAA4P9zOByaNm2aunbtquzsbM2fP1+HDh3Sxx9/rPHjx2v48OGSpDfffFMbN25URkaG7r77bk2YMEHdu3dXVlaWyc8AAADAOxBGAADw/73yyiuKjY1VVFSUtm/friFDhqhWrVrFtu/QoYOWLFmiTz75RFu3blVYWJiOHz9uYMUAABjD4XBUaPuK4I01VyWEEQAASEpKStJLL72khx9+WIsWLZK/v7/Lj73//vu1atUq7du3TyNGjODLDACgUklJSVHv3r2Vm5vrUvv33ntPw4cPl81mq+DKinfu3DlFREToiy++cKn94cOHFRoaqm3btlVwZShQpcKIefPmKSwszOX2QUFBWr16dcUVBADwCKdOndIjjzyiNm3a6J///KeqVSv78BgaGqqpU6fqiy++0Mcff1wBVQIAYI7s7GylpKSoT58+pQYS7733nkaNGqVjx46ZOp9Sfn6+jhw5osjIyFIDicOHD6tXr17atGmTTp48aVCFqFJhxKVsNpvGjx+vgIAA+fr6KjIystDptREREUpMTDSxQgCAET766CMdOnRIc+bMKfGyjNKMHj1agYGBmjJlCmdHAAAqjXvuuUeffvqpNmzYUGIgURBE3H333Vq6dGm5xtTy8vf3V3JysgIDA0sMJAqCiJ9//lmrVq1S9+7dDa606qrSYURcXJwSEhKUlpamQ4cOSZKGDBnivJ8wAgCqhnfffVdBQUHl/gLi4+Oj0aNHa8eOHfruu+/cVB0AAOYbNGhQiYHEpUFE7dq1Tar0D1artcRA4tIgokePHiZVWjV5RBjx2WefqXXr1qpXr5569+6t6OhoRUVFVXi/8fHxiomJUcuWLeXv76/p06crKSlJmZmZkn6fmMzHx0fp6ekVXgsAwBzHjx/Xtm3bdN9998lisZR7f/fee68sFovWrl3rhuoAAPAcxQUSnhhEFCgukCCIMJ/pYcSHH36o6OhoLVy4UHl5eerfv79mzZqljh07lmk/cXFxat++vcvtc3JydPDgQQUFBTm3tWrVSn5+ftqyZYtzW0REhBISEspUCwDAexQEzrfffrtb9ufr66tbbrmFIBsAUCldGkhI8tggosClgcSHH35IEOEBTA0jzpw5o7Fjxyo+Pl4hISGyWCwaOXKkbDabOnbsqP/+97/q2bOnevTooe7du2vjxo3F7is2NlZbt251ue+8vDxJumy2dKvVWuiUo379+unLL78s4zMDAHiLo0ePSpKaNWvmtn02a9ZMR44ccdv+AADwJAWBRFpamiTpz3/+s8cGEQUKAom2bdtq2LBh2r9/P0GEyaqb2Xlqaqrsdrv69u3r3Hbs2DFJUseOHVWjRg0tX75cDRo00M6dO/Xoo4/q22+/dUvfvr6+knTZbKk5OTny8/Nz/jszM1NNmzZ1S58lccepwQCAK9e6dWuX27p6zPakY7sn1QIAKJ43Hq+/+uorXXXVVWaXUSb5+fnq2bOn2WV4vfK8X00NI7KysnTttdcW2rZo0SI1bNhQjRo1KrS9Vq1a8vHxcVvfVqtVTZs21aZNmxQYGChJ2rdvn3Jzcwtd7pGYmKjIyEi39VscZl0HAHOsWbNGd911l1avXq3evXuX2t5isZR6zL7xxhvVvn17LV261F1llosrNQMAzOctx+uL54hYuXKlqlevruDgYCUlJRX6w64nuXiOiM8++0z9+vVTjRo1tHTpUg0YMMDs8rxOWFiYJCklJcWldkUx9TKNNm3aaO/evUpNTdX58+e1aNEixcXFXTZfhM1m0+jRoxUbG+vW/keNGqVp06Zp//79ys3NVUxMjMLDw9W8eXNJ0unTp7V27Vr179/frf0CADxHp06dJEkbNmxwy/6ys7O1d+/eQnMSAQBQWVw6WaUkl5b9NNOlk1XefffdklTqsp+oWKaGEcHBwXr++ec1aNAgNWnSRGlpaQoJCSkURjgcDo0YMUL9+/d3TpBSlClTpqht27Zl6j82NlYDBgxQcHCwGjduLJvNpgULFjjvT05OVseOHXXNNdeU/ckBALxC/fr11blzZy1atMgtf436+OOPJf1+/SwAAJVJcatmlLbsp5lKWjWjpGU/UfFMX01j0qRJOnHihLKysjRr1izt2bOnUBjx9NNPq3Xr1nr88cdL3M+ECRO0Y8eOMvXt4+OjGTNm6Pjx48rLy9OyZcsKBQ+JiYmKiIgo2xMCAHidxx9/XDt37lRSUlK59nP+/Hm9+eabuv322xUcHOym6gAAMF9py3d6YiBR2vKdxS37CWOYHkZcLDc3V5mZmc4wIiUlRfHx8VqzZo3CwsI0aNAgQ+tp1qyZoqKiDO0TAGC8wYMH66abbtLjjz/uXG3pSkyePFm7d+/Wiy++6MbqAAAw17x581xavvPSQOLs2bMGV/qH48ePu7R856WBxKpVqwyutOoydQLLS23fvl2+vr5q1aqVpN8nuzh//rzb9h8YGKhhw4a53H7ixIlu6xsA4Llq166tuXPnqkePHnrwwQe1ZMkS1axZs0z7SEhI0OTJk/XQQw8xERYAoFLp0KGDHnzwQb3//vulLt9ZEEj8+OOPpi71abVa9ac//UkPP/xwqct3FgQSI0eO1C233GJQhbA4vGG6VgAADDB79mw9+eSTuuuuu/Thhx/q+uuvv6zNpTOd2+12vfPOOxo7dqyCgoL01VdfOZeP9hTeMjs7AFR13ni89saaJe+t21OUZTWN4tp41GUaAACY6YknntAHH3yg77//Xm3bttXrr7+u7OzsItva7XZ99dVXuuOOOzR69Gj17t1bycnJHhdEAAAAeCKPukwDAACzjRgxQj169NBjjz2mcePG6YUXXlDXrl3VqVMnBQQESPp9jokffvhBBw8eVEBAgD744AMNHz5cFovF5OoBAAC8A2EEAACXuPHGG7VmzRpt2bJFc+fO1Q8//KC33nrLOY/Rjz/+qNtvv11Tp05VZGSkatWqZXLFAAAA3oUwAgCAYnTo0EGzZs2S9PtlGefOnVPdunV14MABcwsDAADwcswZAQCAC6pVq6Y6deqYXQYAAEClQBgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMVd3sAgAAAAAAQGFZWVlas2aN0tPTdfDgQdntdgUEBKhTp07q2bOnbr75ZrNLLBfCCAAAAAAAPMTOnTv16quvasmSJfrtt99Uq1YttWjRQv/5z39ktVo1Z84cSVJoaKhiY2PVp08fkyu+MlymAQAAAACAyex2u6ZOnaqOHTvqyy+/1BNPPKH09HTl5eVp165dkqRff/1Ve/fu1bRp05SZmam+fftq6NChOnnypMnVlx1hBAAAAAAAJrLZbBo2bJgmTJigAQMG6KefftLMmTPVqVMn1ahRw9nOYrGoVatWevbZZ7V79269+OKL+vjjjxUWFqYTJ06Y+AzKjjACAAAAAFDpfP3118rNzXW5fUJCgmw2WwVWVLyYmBh99NFHeuWVV7R48WJde+21pT6mZs2aevnll7VixQrt2rVLAwYM0IULFwyo1j2qVBgxb948hYWFudw+KChIq1evrriCAAAAAABud/ToUf3f//2f+vTp41Ig8corr2jgwIH617/+ZUB1hX3zzTd6/fXX9fjjj+uFF16QxWIp0+PDw8P1r3/9Sz/88INmzJhRQVW6X5UKIy5ls9k0fvx4BQQEyNfXV5GRkTp+/Ljz/oiICCUmJppYIQAAAACgrBo2bKgFCxZow4YNpQYSr7zyil588UUNHTpUw4cPN7BKyeFwaPTo0WrRooVee+21K97PAw88oHvvvVcTJ05UVlaWGyusOFU6jIiLi1NCQoLS0tJ06NAhSdKQIUOc9xNGAAAAAIB3GjRokD799NMSA4mLg4i5c+fKx8fH0BrXrVunLVu26LnnnlPdunXLta9JkyYpPz9fc+fOdVN1FcsjwojPPvtMrVu3Vr169dS7d29FR0crKiqqwvuNj49XTEyMWrZsKX9/f02fPl1JSUnKzMyUJHXo0EE+Pj5KT0+v8FoAAAAAAO5VUiBhdhAhSZ9++qnq1Kmjv/zlL+Xe16233qoePXrok08+cUNlFc/0MOLDDz9UdHS0FsE3hlcAACAASURBVC5cqLy8PPXv31+zZs1Sx44dy7SfuLg4tW/f3uX2OTk5OnjwoIKCgpzbWrVqJT8/P23ZssW5LSIiQgkJCWWqBQAAAADgGYoLJMwOIiRp48aNCgoKKvdZEQV69uyp7du36+zZs27ZX0UyNYw4c+aMxo4dq/j4eIWEhMhisWjkyJGy2Wzq2LGjjh49qm7duiksLEwhISFas2ZNsfuKjY3V1q1bXe47Ly9PkuTv719ou9VqLZSW9evXT19++WUZnxkAAAAAwFNcHEjcdtttkmR6ECFJu3btUrt27dy2v3bt2slms2nv3r1u22dFqW5m56mpqbLb7erbt69z27FjxyRJHTt21DXXXKNvv/1WPj4+2rdvn+6//35t2LDBLX37+vpKkk6ePFloe05Ojvz8/Jz/zszMVNOmTd3SZ0nKOmMqAMA83njM9saaAaAq8sbjtbfV/PPPP0uS5s+fr/nz55taS7Vq1TR79mzNnj3bpfauvtZluWqgPMrzszc1jMjKyrps/dRFixapYcOGatSoUaHtOTk5bn1BrVarmjZtqk2bNikwMFCStG/fPuXm5hbqJzExUZGRkW7rtzgOh6PC+wAAlJ/FYvG6Y7Y31gwAVZE3Hq+9qeaCOSJCQ0OVmpqqrl27KikpqdAfo4127bXXKiIiQu+9916pbV15rT/66CMNHTpUO3fu1K233uquMi8TFhYmSUpJSXGpXVFMvUyjTZs22rt3r1JTU3X+/HktWrRIcXFxheaL2L9/v7p3767w8HDdc889bu1/1KhRmjZtmvbv36/c3FzFxMQoPDxczZs3lySdPn1aa9euVf/+/d3aLwAAAADAOBdPVllw+b8ry35WtHbt2ikjI8Nt+9u8ebNq166tG2+80W37rCimhhHBwcF6/vnnNWjQIDVp0kRpaWkKCQkpFEa0aNFC3333ndLS0vTUU08Vu68pU6aobdu2Zeo/NjZWAwYMUHBwsBo3biybzaYFCxY4709OTnZeLgIAAAAA8D7FrZpR2rKfRggJCVFGRoaysrLKvS+Hw6Gvv/5aQUFBql7d1IsgXGL6ahqTJk3SiRMnlJWVpVmzZmnPnj3OMCI/P9/Zzs/PT/Xq1St2PxMmTNCOHTvK1LePj49mzJih48ePKy8vT8uWLSsUPCQmJioiIqKMzwgAAAAA4AlKWr6zpGU/jTJ06FBduHBBH3zwQbn3tW7dOm3btk3Dhg0rf2EGMD2MuFhubq4yMzOdYcSGDRvUs2dP3XHHHRo4cKBmzZplaD3NmjVTVFSUoX0CAAAAAMqvpCCigNmBxC233KLevXtr+vTpOnz48BXvx2azKTo6Wg0aNNADDzzgxgorjkeFEdu3b5evr69atWolSerevbu++eYbrV27Vt99953uvPPOcu0/MDCwTCnRxIkT1axZs3L1CQAAAAAw1tGjRzVz5kyXlu+8OJBITEw0sMrfvfXWWzp37pxGjBihCxcuXNE+Jk+erLS0NL311luqW7eumyusGBaHt0x9CgCAB/CmWcMLeGPNAFAVeePx2pNr3rdvn5o1a1ZkEFFU3Xv37lXr1q2NKq+Q+Ph4Pfroo7rvvvs0f/581apV67I2RdXscDj0xhtvKDo6Wg8++KA++ugjQ5ZaLctqGsW18agzIwAAAAAAcIeWLVuWeEbEpcwKIqTfV3p87bXX9Nlnn6lTp05KS0sr9TG//PKLIiIiFB0drcjISM2dO9eQIMJdCCMAAAAAADDZuHHjtHLlSp08eVJdunRRWFiYPvjgA23btk3nzp2TJO3fv19LlizRAw88oBYtWuirr77SP/7xD3366aeqWbOmyc+gbDx/vQ8AAAAAAKqAvn37aseOHfrnP/+pd999VyNHjix0f8uWLSVJ/v7+evLJJ/X00087t3kbwggAAAAAADyEv7+/nn32WY0bN067d+9Wenq6Dh48qOeff15z5sxRp06d1L59+yLnlfAmTGAJAEAZePJEXcXxxpoBoCryxuO1N9YseWfdnlQzE1gCAAAAAACvQxgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMRRgBAAAAAAAMVd3sAmCuMWPGKCMjw/B+AwMDNXPmzCt6rFk1S+Wru6Lwepj7GlQ2ZfmZ8t5DaRhjysYT39e8Howx7uYN44ynvPeAyo4zI6q4jIwMww/y5e3TjJrN7Lc0vB6eVYs3K+vryHsPpWGM8fx+S8Pr4Vm1eDtvGGf4eQPG4cwIKDAwUCkpKYb1FxYWVu59GF2z5J66KwqvhzmvQWVzJT9T3nsoDWOMazz5fc3rwRjjLt4wznjaew+ozDgzAgAAAAAAGIowAgAAAAAAGIowAgAAmCYrK0sWi0WbN28utD0zM1MWi0W7du0yqTIAAFCRCCMAAIBpNmzYoKuuukrt2rUrtH39+vXy9fXVzTffbFJlAACgIhFGAAAA02zcuFGBgYGqXr3wnNrr169XUFCQqlXjqwoAAJURIzwAl1y4cMHsEgBUQhs3blRwcPBl29evX1/kdlROjDEAUPUQRgBVzK5duzRjxgw98MAD6tKli4KDg9W3b19NmDBBK1eulM1mu+wx27ZtU5s2bZSenm5CxQAqs6LCCLvdrk2bNjm333XXXQoICNCrr75qRokog7179+qNN97QQw89pK5duyo4OFi9e/dWTEyMEhIS9Ntvv132mJ9++km33Xabvv32WxMqBgCYpUqFEfPmzSvT2sFBQUFavXp1xRUEGGjdunXq1auX2rRpo/Hjx2vdunXy8/NTQECAjhw5otdee039+vVTy5YtNWvWLGcosW3bNvXq1UtnzpyRn5+fyc/C83Gcqby2b9+uhIQESdK5c+dMrsY1ubm5SkpKkiT997//Nbmay/3yyy86cuSIgoKCCm3PyMjQqVOn1KVLF0m/f65ee+01M0qEizZt2qQ+ffroxhtv1NixY5WSkqK6desqICBAJ06c0MyZMzVw4EA1a9ZMcXFxzlDip59+0h133KETJ07IarWa/Cw8H2NM5fWf//xHiYmJkqQzZ86YXI1rTp8+reTkZEnS7t27Ta7GdVu2bHGO5+fPnze5Gtfk5ORo1apVkqQDBw6YW4wbVakw4lI2m03jx49XQECAfH19FRkZqePHjzvvj4iIcB4U8Ifrr79e77//fqFtDodDfn5+Wr58uUlVlcwba3aX3377TePGjVP37t21Z88eTZ06Vf/73/+UmZmp5ORkrVy5Ups3b1ZeXp6WLl2qFi1aaMyYMerevbtWrVqlXr16qVatWlq7dq1uvPFGs5+O1+E4czlv+zx+//33CgkJUbt27TRw4EBJvz+Hl19+ucgziTzBmTNn9PTTT6tRo0bq27evJKl169bq3bu3R61OcejQIUm67JfQRYsWqUuXLrrhhhskSU2aNDG8trLwtve0O9ntdr300kvq3LmzNm/erIkTJ+rgwYM6dOiQvv76a61cuVLp6enKy8vTF198ofbt2+u5555T586dtWrVKt1xxx3Kz8/Xv//978smMUXpGGMu522fx/T0dPXs2VO33nqrIiIiJEnXXXedYmNjPfYX5fPnz+vZZ5/Vddddp/DwcEnSLbfcorCwsMtWRvIka9euVVBQkAIDAwuN51OnTpXdbje5uqKdOnVKjz32mBo1aqS7775bktSyZUvdfffd2rt3r8nVlV+VDiPi4uKUkJCgtLQ05xeiIUOGOO+vigfw0vzyyy86fPiwAgMDC23ft2+f8vLydPvtt5tUWfG8sWZ3+e2333T//ffr9ddf16hRo7Rr1y7Fxsbquuuuu6xt7dq1NWjQIK1du1aLFi3Szp071a9fP/n4+BBElAPHmcK87fOYkpKiXr16aePGjYW2Z2dna+LEiRo2bJgcDodJ1RUtPz9fd999t95++22dPXu20H1r1qxR165dtXPnTpOqK+zWW2+Vv7+/4uLilJOTo19//VVz5szR7NmzFRcXZ3Z5LvG297Q72e12DRs2TJMmTdIDDzyg//znP3rppZecIdLFatasqf79+yspKUnLly/XwYMH1a9fP50+fZogohwYYwrzts/j+vXr1aNHD33//feFtufm5mratGmKioryuND7woULioyM1Guvvaa8vLxC93377bfq3r37ZWOmJ0hKStKf//xnZWRkFNp+4sQJTZgwQY8//rjHjednzpzRXXfdpX/+85/Kz893bnc4HFq9erW6dOni9YGER4QRn332mVq3bq169eqpd+/eio6OVlRUVIX3Gx8fr5iYGLVs2VL+/v6aPn26kpKSlJmZKUnq0KGDfHx8uE7+Ihs2bJCPj49uu+22Qtu3bNmihg0bFvkFxGzeWLO7PPPMM1q+fLnefPNNzZkzR76+vqU+xmKx6LbbbpOPj48sFouqVauma6+91oBqKyeOM4V50+fRbrdr+PDhunDhQrF/MVmwYIHHnQL9wQcfKDU1tcj77Ha78vLyNHr0aIOrKpqfn59WrFihjRs3qkmTJrrlllu0bNkyJSUlKTQ01OzyXOJN72l3+/vf/66PPvpIr7zyij766CPVr1/fpce1bdtWNWvWdI4xDRs2rOBKKy/GmMK86fPocDj0yCOPKD8/v9gxJjExUUuWLDG4spJ9+umnWrFiRZH32e12nTt3To899pjBVZXswoULGj58uBwOR7GvdXx8vMfNWzN79mylpaUVeZ/dbld2drbGjh1rcFXuZXoY8eGHHyo6OloLFy5UXl6e+vfvr1mzZqljx45l2k9cXJzat2/vcvucnBwdPHiw0HWqrVq1kp+fn7Zs2eLcFhER4bymCL8f5G+66SbVrl270PYtW7Z4XNpcwBtrdod///vfeueddzRmzBg9/fTTLj+uYI6IOnXq6JNPPtHRo0cVHR1dgZVWXhxnLudNn8evv/5aBw4cKPHUzWrVqmn27NkGVlW6d955p8TlMO12u9asWaOffvrJwKqK1717d33//fc6deqUsrKylJycrJ49e5pdlsu86T3tTuvXr1dcXJyGDRumF154weXHFcwRceHCBS1evFinTp3Sk08+WYGVVl6MMZfzps/j+vXrtXXr1ko5xqSnp3tUALZixQodOXKk1Nf63XffNbCqkjkcDr3zzjuyWCzFtrHb7fryyy/1888/G1iZe5kaRpw5c0Zjx45VfHy8QkJCZLFYNHLkSNlstkJhxIkTJ1S/fn0tWLCg2H3FxsZq69atLvddcFqRv79/oe1Wq1W5ubnOf/fr109ffvmly/ut7DZs2KC9e/fqmmuuKXSbNm2axy7B5o01l5fD4dC4cePUqlUrTZ482eXHFQQRBXNEREVFKTo6Wh988IF27NhRgRVXThxnLudNn8dt27aV2sZut192yqeZ7Ha7du7c6dK1r648P08xYsQIvfbaa5o3b54GDBhgdjmFeNN72p1iYmLUsGFDvfHGGy4/piCIKJgjYtCgQXrxxRe1ZMkS/fDDDxVYbeXEGHM5b/o8euMYI/1etytjTFl+L6torr7WnjTfxdmzZ3XgwIFSLx2x2+1e/R29upmdp6amym63OyfXkqRjx45JUqEw4tVXX1X37t3d2nfB6eonT54stD0nJ6fQigGZmZlq2rSpW/suSkmpV0Ury6mwGzdu1MSJEzV06NBC29u1a1emxDk1NbVcz9mMmqXy111RLn090tLStHnzZs2ZM0d16tRxaR+XBhEFc0Q8++yzzss83nrrrUKP8aTXwxNP6fa044wryvozLevr7inHEHf6+eefPaaWsoiMjDSkH3d8NufOnVum9owx7nXp67Fz506lpKQoLi7O5RUwLg0iCuaI+Nvf/qZp06bp3XffVdeuXQs9xpNeD8YY96nIcaYyjjG5ubkeU0tZjBgxQiNGjDC7jDLZvXu3V77WF/8ubYbyvGamnhmRlZV12bXoixYtUsOGDdWoUSNJv69XfeLEicuW/Sovq9Wqpk2batOmTc5t+/btU25ubqHLPRITE50z21Ykh8Nhyq0sB/i9e/cqOztb4eHhatKkifN27tw55eTklClxDg0N9bqay1u3kT/DZcuWqWbNmnrwwQddel7FBRGSdM011ygiIkJLly712NfDE78kSp53nHFFWX6mZX3dPeUY4urNlb80WCwWPfnkk6Z/Bi6+9enTp8RTaCWpVq1a+vXXXyvtZ5MxpmJ/hgUrErj6i0ZxQYQk1atXT4MHD9by5csv+2urp7wejDHuVVHjjLeNMZmZmaUeq6tVq6aHHnrI9M/AxbfBgwe7VPehQ4dMr7Xg5sqEmhaLRePHjze91otvPXv2LPW1rlu3rvLy8kypLzQ01KXPSkmfY1PDiDZt2mjv3r1KTU3V+fPntWjRIsXFxRU6K+LFF1/USy+9VCH9jxo1StOmTdP+/fuVm5urmJgYhYeHq3nz5pJ+Xzt37dq16t+/f4X07202bNigOnXqqEOHDoW2r1u3TjfccINHTnLojTW7w8aNG9W+fXvVq1ev1LYlBREFunXrpsOHD+vw4cMVUW6lxnHmD972eWzTpo3uvPPOEr8IWCwWPfHEEwZWVboxY8aUegrt0KFDXZ5sEMXztve0u6Snp+vGG29UQEBAqW1LCiIKdOvWTadOndKePXsqotxKjTHmD972eWzatKkGDhxY6pwATz31lIFVle7pp58ucYyxWCy699571bhxYwOrKllQUJC6dOlS7HhusVjk4+PjcRNvujKejxw50qXv+57K1DAiODhYzz//vAYNGqQmTZooLS1NISEhzjBi3bp1atCggVq1alXqvqZMmaK2bduWqf/Y2FgNGDBAwcHBaty4sWw2W6F5KZKTk9WxY0ddc801ZXtildSGDRsUHBys6tULX93zww8/eNykQAW8sWZ3+Omnn9SmTZtS27kSREhy7stTJrzzJhxn/uCNn8f58+erRYsWkgqfhlitWjVVq1ZN77//vkufNSOFh4dr4sSJklToi1fB/3fp0kX/+Mc/zCit0vHG97Q7uDrGuBJESIwx5cEY8wdv/DzGx8c7f3+5eIzx8fGRJM2aNUshISGm1Facbt26OceQi8eYgvrbtWvnURNBFvj000/VpEmTy7YXjOfz589Xy5YtTaiseAMHDtSzzz4r6Y/3hPTH6x4WFqapU6eaUpu7mDpnhCRNmjRJkyZNcv67efPmeuSRRyT9/tfdrVu3qk+fPtq7d6/q1q2rVq1aXXZNoSRNmDBBEyZMKFPfPj4+mjFjhmbMmFHk/Z52WpvZivvy6okHnALeWLM7zJ8/X1dffXWp7d59991SgwhJ6tSpk1asWFHmwA8cZy7mjZ/H66+/XuvXr9c777yjd999V4cPH1b16tV1zz33aMyYMerWrZvZJRbppZdeUufOnTVr1iwlJyfL4XCoRYsWeuqpp/Too4/qqquuMrvESsEb39PuMHv2bJfmI5o7d26pQYQk3XzzzVqxYoXH/sLoyRhj/uCNn8cGDRro+++/17vvvqvZs2fr4MGD8vHxUb9+/TRmzBjdcccdZpdYpGeeeUYdOnTQzJkztXLlStlsNt1www168skn9fjjj7u0lLzRmjZtqo0bN+rtt9/WnDlzlJWVpRo1aujee+/VM88843ETnEq/BzzTpk1Tt27d9Oabb2rt2rVyOBy66aab9OSTT+qRRx5RrVq1zC6zXEwPIy6Wm5urzMxM55kRo0ePdq6FPnHiRLVu3brIIKKiNGvWTFFRUYb1B7iLq4PXm2++qQkTJhSZFF+sQYMG6tevnztKwyU4zni+q6++Wn//+9/197//Xfn5+apRo0ap13B6gr59+6pv376y2+26cOGCatasaXZJl/nf//6n/v37a+fOnTp16lShv2gOGzZMu3bt0lVXXaVRo0bpL3/5i8aMGeOcWX7Lli3Kzs42q/QqrUePHi61mzx5sh5//PFSJ0/09/dnjKkgjDGez8/PTzExMYqJidH58+dVvXp1rxhjevXqpV69enn0GHOpgIAAvfzyy3r55ZeVn5+vmjVresWElREREYqIiJDNZpPdbleNGjXMLsltPCqM2L59u3x9fYu8LKPglNPyCAwM1LBhw1xu744+AU9WvXr1UoMIlA3HmcrNG/8CUa1aNY/9knj11VdrzZo1uueee4q8f+HChWrdurXz3zNnzpQkbd68Wa+//rohNeLKVatWzaNWcagMGGMqN089VpfEk8eYknjjeO7j41Poco3KwKPCiG7duhVaF9ndAgMDFRgYWGH7BwCOM4Drateurdq1axd5n8Vi0dChQ9WgQQO9/fbbatasmfO+5cuXa9CgQUaVCXgMxhgAlYnnnwMEAACqnNdff13r1q1TTEyMoqOjC92XlJSkPn36mFQZAABwB8IIAADgcQom4e3evbuOHDni3P7TTz+pcePGLk2gCAAAPBdhBAAA8DgFl23u3r1bVqvVuX358uXFzjEBAAC8h0fNGQEAAKqO3377TX379tWWLVsUHh6uF198Ud99952ef/55Pfjgg8rOzpbFYim0NN+KFSuUkJBgYtUAAMAdCCMAAIApatSooa+//rrQttDQUEnSF198UeRjvvnmmwqvCwAAVDwu0wAAAAAAAIbizAgoIyNDYWFhhvZX3mWpjK65oE9PXU6L18Oc16CyuZKfKe89lIYxxvU+PfV9zevBGOMu3jDOeNp7D6jMCCOqODMOtuVdI9usAcJT1/YuT037Dh5Wy6bXXfb/rvbrKa+Hp9Th7cr6M+WziNJc6c/JzGMT7+vCGGMYY9zJG8YZT3rvAZWdxeFwOMwuAoA5YqfFKy5m1GX/DwBm4thUOfBzBIDKq+CMpZSUlFLbFdeGOSMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChCCMAAAAAAIChqptdAABjXLDZ5HA4Ltv+24ULRf5/dR8fWSwWQ2oDAAAAULUQRgBVRFrGLn3x9brLtv/99bmX/f8N112rx4dEiCgCAAAAQEXgMg2giugS2EbXNrC61HbAnV1VjbMiAAAAAFQQwgigivDxqaZ+vbqW2i6wTWs1bdzQgIoAAAAAVFWEEUAVcnPLG3RzyxuKvb9GdR/1Ce1sYEUAAAAAqiLCiIvYbDaNHz9eAQEB8vX1VWRkpI4fP252WYBb9bujS7GXYPQM6SCrXz2DKwIAAABQ1RBGXCQuLk4JCQlKS0vToUOHJElDhgwxuSrAva69pr66dGpz2XZ/37oKDQk0oSIA+N25c+c0f/58LZwzQy1atFCnTp2UlrpaJ06cMLs0AADgZh4bRnz//fe688475efnJ6vVqqioqArvMz4+XjExMWrZsqX8/f01ffp0JSUlKTMzs8L7Box055+CdFXtWoW29QntrJo1WGAHgDmOHz+url276uGHH9YvmXt14MABZWRkKGXVMt18883KyMgwu0QAAOBGHhlGLF26VPfcc4+eeOIJZWVl6eeff9bIkSPLtI+4uDi1b9/e5fY5OTk6ePCggoKCnNtatWolPz8/bdmypUx9A56u7lW1dVf3P97rN1x3rTq0aW1iRQCquvvvv9853jocjkL/zc7OVu/evZWXl2dafQAAwL08Low4ffq0Hn30UcXHxysyMlK1a9eWr6+vwsPDJUkLFixQ165d1bVrV61du7bY/cTGxmrr1q0u91vwBcff37/QdqvVqtzc3Ct4JoBn6xLYRgFX/77UJ0t5AjDT5s2b9e9//9sZPlzKbrfr2LFjWrBggcGVAQCAiuJx52SnpqbKYrEoIiLisvtycnI0Y8YM/fjjjzp16pTuuusubdq0SdWqlT9T8fX1lSSdPHnysj79/PzKvf/SxE6Lr/A+gOLMXpBgdgkAqrBvkxNLbWOxWDTtH28pM9fHgIrgLhd/v+G7DgBUHvsOHpZU+rG9oF1RPC6MOH78uOrXry9LEX+lTUtLU2hoqGrXrq3atWvr+uuv14EDB9SyZcty92u1WtW0aVNt2rRJgYG/T+K3b98+5ebmlulyjysVFzOqwvsAinIu/7xq16ppdhkAqrCxR/+jH1NWyW63F9vG4XCoUQM/xksvEjst3vnzuvj/AQDe78dViySV/ntsQbuieNxlGp06ddL+/fv1xRdfyG63KycnR6tXr5YknThxQvXr13e2rV+/vltn2B41apSmTZum/fv3Kzc3VzExMQoPD1fz5s3d1gfgaQgiAJitZcuWJQYRklStWjW1atXKoIoAAEBF87gzI2677Ta9//77GjdunB544AH5+vpqxIgRCg8PV4MGDZSdne1sm5OTowYNGhS5nylTpmjhwoXasWOHy33HxsYqOztbwcHBys/P15///GfDrk/l1EUAQFV19sxv8vGpLpvtQrFt7Ha7HHUbMV56GS7TAIDKyR2XaVgcxc0W5YFycnLUq1cv/fDDDzp9+rR69erltjkjAACAeaZNm6bY2Nhi74+IiNDy5cuLvIwTnonLNACg8goLC5MkpaSklNquuDYed2ZESaxWq8aMGeN84q+//jpBBAAAlcCzzz6rGjVq6KWXXtKpU6ec2y2Waho58q966623CCIAAKhEvCqMkKShQ4dq6NChZpcBAADcyGKxaOzYsRo1apQG/3W0unVoLavVqp2/nNbbk8ebXR4AAHAzrwsjAABA5VWvXj3d1qmLJlx0ej8AAKh8uMYBAAAAAAAYijACAAAAAAAYijACAAAAybfaLQAAIABJREFUAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAAAYijACAAAAAID/x96/B2hZFvjj/3scVFBmGESljJBTW7qmHESE9YB5QNPWPKDhqrtLfND8aB7QBaXVIg+D5gb20WzWVVFh84B4qPWwmYykiRihaaUZKIIaQuIgKodhvn/4k58kKMrM/cwwr9dfeN3XXNd7aOzxec99Xw+FUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVqU+oAAAC0bH/88/w8N3f+h8bv/t9ffejP5eXlOWz/ASkv9zsxgNZMGQEAwCbZacdOmXz3L7Jq1ep1xn89+/cf+vP+A/ZQRADgMQ0AADZNZcW2Gbx374+d137bdjlgYJ8CEgHQ3CkjAADYZPv13z1Vle0/cs6Qffun7dZbFZQIgOZMGQEAwCbbcss2OWzwgA1e/+yOndLvy39XYCIAmjNlxAfU19fnvPPOyw477JCKioocc8wxWbx4caljAUCrsWrVqrzwh6dz7bXX5qc//WlWvPtOqSPxCez+pR7Z+XOd13vtawcOzBZb+E9PAN7jFeEDqqurc/fdd2fmzJlZsGBBkuSkk04qcSoAaB1uuOGG7Lzzzpk66ep861vfyrBhw3LNZWMyZsyYrF69+uMXoOTKyspyxIEDPzS+2991T4+uO5UgEQDNVbMtIx599NEceOCBqaysTFVVVYYOHdrke9bU1GT06NHp0aNHOnTokMsvvzz3339/XnrppSbfGwBas2uvvTbDhw9Pjx49cs8992ThwoV57LHHcuwxR2f8+PH55je/mYaGhlLHZCN8/rM7pu9uX1j7z+XlW+SwAzb8+AYArVOzLCOmTp2ao446KqeddloWLVqUl19+OSNGjPhEa1RXV2f33Xff6PlLly7N/Pnz069fv7VjPXv2TGVlZZ566qlPtDcAsPHq6upy3nnn5ZBDDsnDDz+cr33ta9lpp50ycODATJ48OWPHjs1NN92Uxx9/vNRR2UiH7rdXttzyvU+Q32fPL6dTVWWJEwHQ3JQ1NLNfMyxfvjw777xzrrvuunz961//0PWDDjooTz31VM4888x85zvfabR9X3755XTt2jVz585N9+7d147vvPPOueSSS3LiiSc22l7rM2Z8TZOuDwDN1ZyZj+SBaZMzc+bM7LXXXh+6/tZbb+Wzn/1suv3dl3P4cf9SfEAAYB1TfnJlkuSEU0Z97Lz5c59b77U2jZ5qE9XW1qasrCxHHnnkeq/feOON+cUvfrH2TIfGUlFRkSR588031xlfunRpKiubvs2vHj2yyfcAgOZo1KjnMmObbdK/f//1Xm/fvn323nvvvPXWW14vW5BVq1bnhZcWZpdeO5c6CgCN7PH7piT5+Pex789bn2b3mMbixYvTsWPHlJWVrfd6ly5dmmTfqqqqdO3aNbNnz147Nnfu3NTV1X2ixz0AgE+mXbt2WbFiRd56660Nzlm8eHHatWtXYCo21ZZbtlFEALBBze7OiL59+2bevHm59957c/jhh6euri4zZ87MkCFDmnzvkSNHZvz48TnggAPSqVOnjB49OkOGDEm3bt2afG+PaQDQWr3yRn3q6+tz00035f/+3//7oeuzZ8/OnDlz8pUjhnq9BIBmYO78V5N8/PvY9+etT7MrI3bbbbdcd911OffcczNs2LBUVFRk+PDhn7iMuPTSSzN58uQ8++yzG/01Y8aMyRtvvJH+/ftnxYoVOfjgg3PLLbd80m/hU3HbKQCtVUNDQ174bW3GjBmTL33pSznwwAPXXnvhhRcybNiwdOzYMXfc9JN07NixhEkBgKRxHtNodgdYbowbb7wxCxYsaNQDLAGA0lm4cGEOPPDAPPfcc9lrr73Sv3//vPjii7nvvvtSUVGRn//85/mHf/iHUscEAJIMHjw4STJ9+vSPnbehOc3uzoiPM3z48MycOTMrVqzIzJkzc++995Y6EgCwiT73uc/liSeeyA033JDLxv8gf/rTlFRVVWWv/Q7JbTfV5POf/3ypIwIAjajFlRHXX399qSMAAE2gsrIyZ555Zl59t93a2z7HjFdEAMDmqNl9mgYAAACweVNGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkZ8QH19fc4777zssMMOqaioyDHHHJPFixeXOhYAAABsVpQRH1BdXZ277747M2fOzIIFC5IkJ510UolTAUDr8MYbb2T8+PG57sqLsu222+Zzn/tcHvrZbZk7d26powEAjazZlhGPPvpoDjzwwFRWVqaqqipDhw5t8j1ramoyevTo9OjRIx06dMjll1+e+++/Py+99FKT7w0Ardn8+fPTv3//jBkzJn+/y9/l1FNPzcCBAzPn8drssccemT59eqkjAgCNqFmWEVOnTs1RRx2V0047LYsWLcrLL7+cESNGfKI1qqurs/vuu2/0/KVLl2b+/Pnp16/f2rGePXumsrIyTz311CfaGwDYeA0NDTn22GOzePHizJgxI7W1tbnyyitzxx135M9//nO6du2aI488MkuWLCl1VACgkTS7MmL58uU55ZRTUlNTk2OOOSZt27ZNRUVFhgwZkj//+c/Zb7/9su+++2afffbJk08+ucF1xowZk6effnqj9122bFmSpEOHDuuMV1VVpa6u7tN9MwDAx3rssccya9asjB8/Pvvss88617p27ZopU6akrq4uN954Y2kCAgCNrk2pA/yt2tralJWV5cgjj/zQtaqqqkybNi2dOnXK73//+5xyyimZMWNGo+xbUVGRJHnzzTfXGV+6dGkqKysbZY+PMmZ8TZPvAQDN0SMP3JXy8vKceOKJ672+xx57pE+fPrnqmpq8vrqi4HQAwN+aO//VJB//Pvb9eevT7MqIxYsXp2PHjikrK/vQtU6dOq3989Zbb53y8vJG27eqqipdu3bN7Nmz07t37yTJ3LlzU1dX94ke9/i0qkePbPI9AKA5GrXouTw1szbbbLPNBudst9122Xrrrb1eAkAz8Ph9U5J8/PvY9+etT7N7TKNv376ZN29e7r333qxZsyZLly7NAw88sM6c+vr6fPvb386YMWMade+RI0dm/PjxmTdvXurq6jJ69OgMGTIk3bp1a9R9AID/v1122SVvv/12Hn/88fVer6ury8yZM7PLLrsUnAwAaCrN7s6I3XbbLdddd13OPffcDBs2LBUVFRk+fHiGDBmS5L1DroYPH54jjjgihx566AbXufTSSzN58uQ8++yzG733mDFj8sYbb6R///5ZsWJFDj744Nxyyy2b/D1t1N4e0wCglVq54t1s3bZdxo79Tu6//75stdVW61y/+OKL89Zbb2X1Np29XgJAM9AYj2mUNTQ0NDRqqiZ2+umnp3Pnzvn3f//3UkcBABrJf/3Xf2XEiBHZa6+9cu6552bPPffMiy++mKuvvjpTp07NiBEjUlNTs97HOAGAYg0ePDhJPvajtwcPHrzBOc3uzoiPMn369NTU1GTQoEF56KGHst122+XOO+8sdSwAYBN985vfTLt27XLBBRfkuOOOWzvett02ufDCC3PRRRcpIgBgM9KiyojBgwdn5cqVpY4BADSBE044Iccff3z+6ZRzM+Qfdk9VVVVmPLMg3/v3M0odDQBoZC2qjAAANm/l5eXp9oVd8q//+q9JkpnPOyMCADZHze7TNAAAAIDNmzICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMgIAAAAolDICAAAAKJQyAgAAACiUMuID6uvrc95552WHHXZIRUVFjjnmmCxevLjUsQCg1XjzzTcz54kZueiii/If//EfqVv611JHAgCaQJtSB2hOqqurc/fdd2fmzJnp1KlThg8fnpNOOin33XdfqaMBwGatoaEhl112WS655JK8/fbbeeDO98bLyrbI8lf+kGuvvTbt2rUrbUgAoNE02zsjHn300Rx44IGprKxMVVVVhg4d2uR71tTUZPTo0enRo0c6dOiQyy+/PPfff39eeumlJt8bAFqzSy65JGPHjs2QIUMya9as1NfXZ968eTnnnLNz8803Z+jQoWloaCh1TACgkTTLMmLq1Kk56qijctppp2XRokV5+eWXM2LEiE+0RnV1dXbfffeNnr906dLMnz8//fr1WzvWs2fPVFZW5qmnnvpEewMAG2/x4sW5+OKLM3To0EydOjV77rlntthii3Tr1i0/+MEPcuWVV+bnP/95fvnLX5Y6KgDQSMoamtmvGZYvX56dd9451113Xb7+9a+vc+0vf/lLjjrqqGy11VZ55513cumll+bAAw9slH1ffvnldO3aNXPnzk337t3Xju+888655JJLcuKJJzbKPhsyZnxNk64PAM3Vk4/+Mg/de2t+97vfZbfddvvQ9XfffTddunTJjl165B+HfbJfTgAAjW/KT65MkpxwyqiPnTd/7nPrvdbszoyora1NWVlZjjzyyA9d23777TNjxoyUl5dn7ty5Of744zNr1qxG2beioiLJewdnfdDSpUtTWVnZKHt8lOrRI5t8DwBojs455495fNtt11tEJEnbtm3Tt2/f1NXVeb0EgGbg8fumJPn497Hvz1ufZveYxuLFi9OxY8eUlZV96Fp5eXnKy8uTvFcSfJLHMD5OVVVVunbtmtmzZ68dmzt3burq6hp1HwBgXRUVFXnnnXeyZMmS9V5vaGjIggULCvnlAABQjGZ3Z0Tfvn0zb9683HvvvTn88MNTV1eXmTNnZsiQIUmSefPm5aSTTspzzz2XG264oVH3HjlyZMaPH58DDjggnTp1yujRozNkyJB069atUfdZH49pANBaLXqzIWvWrMl//ud/ZsyYMR+6/sgjj+QPf/hDun6pr9dLAGgG5s5/NcnHv499f976NLszI5Jk0qRJufTSS7Nw4cJUVFRk+PDhueSSS9aZM3fu3HzlK1/Jiy++uN41Lr300kyePDnPPvvsRu9bX1+f0aNH58Ybb8yKFSty8MEHp6amJttvv/2mfDsAwMc47LDD8stf/jL/9V//lWHDhq29E/LXv/51jj322JSVleW5557LtttuW+KkAMDgwYOTJNOnT//YeRua0yzLiA1ZsWJFtt566yTvPc4xePDgPPPMMyVOBQBsqr/+9a85/PDD8/jjj6dbt27p27dvXnzxxcyePTs77bRTHnjggQ2eKQEAFKsxyohmd2bER5k1a1b222+/HHDAAfn617+eiRMnljoSANAItttuuzzyyCO59dZbU7bVtnnuuefStm3bHPS14/P73/9eEQEAm5lmd2bER9lnn33yyCOPlDoGANAEttxyyxx33HGZPW/p2tO5x4yvSYcOHUqcDABobC3qzggAAACg5VNGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkZ8QH19fc4777zssMMOqaioyDHHHJPFixeXOhYAtCoNa9akrq4uq1evLnUUAKCJKCM+oLq6OnfffXdmzpyZBQsWJElOOumkEqcCgNbh5ZdfzllnnZWrvj8qHTp0yDbbbJN7/vu6PPnkk6WOBgA0smZbRjz66KM58MADU1lZmaqqqgwdOrTJ96ypqcno0aPTo0ePdOjQIZdffnnuv//+vPTSS02+NwC0Zs8++2z23HPPXHPNNfn6kf+YK664IqecckpeefH5DBo0KHfeeWepIwIAjahZlhFTp07NUUcdldNOOy2LFi3Kyy+/nBEjRnyiNaqrq7P77rtv9PylS5dm/vz56dev39qxnj17prKyMk899dQn2hsA2Hhr1qzJsccemy222CJPP/10/vu//zvnnntufvSjH+XFF1/MnnvumRNOOCGvvvpqqaMCAI2k2ZURy5cvzymnnJKampocc8wxadu2bSoqKjJkyJC1c5YsWZKOHTvmlltu2eA6Y8aMydNPP73R+y5btixJ0qFDh3XGq6qqUldX9wm/CwBgYz300EP54x//mCuuuCJf+tKX1rlWVVWVSZMmZcWKFbnuuutKlBAAaGxtSh3gb9XW1qasrCxHHnnkBudcfPHF2WeffRp134qKiiTJm2++uc740qVLU1lZ2ah7rc+Y8TVNvgcANEfT77szW2655QYfyfzCF76QvfYakJrrb8ryrToXnA4A+Ftz5793t+LHvY99f976NLsyYvHixenYsWPKysrWe/2FF17IkiVL1nmcojFUVVWla9eumT17dnr37p0kmTt3burq6j7R4x6fVvXokU2+BwA0R+e+/nyemlmbrbbaaoNztt12m3TdqdzrJQA0A++++vskH/8+9v1569PsHtPo27dv5s2bl3vvvTdr1qzJ0qVL88ADD6y9fuGFF+aiiy5qkr1HjhyZ8ePHZ968eamrq8vo0aMzZMiQdOvWrUn2AwCS3r175913380vf/nL9V5fvHhxHnvssbW/LAAASmvChAmZMGHCRs3bkGZ3Z8Ruu+2W6667Lueee26GDRuWioqKDB8+PEOGDMljjz2WTp06pWfPnh+7zqWXXprJkyfn2Wef3ei9x4wZkzfeeCP9+/fPihUrcvDBB3/kuRSNyWMaALRWq1etyjbbts/o0aPz8MMPr310MnnvcMvRo0dnxYoVeXer7b1eAkALs6G7J8oaGhoaCs7yqV111VWZOnVq2rVrlxdeeCHbbrttrr322gwcOLDU0QCATXDXXXfl2GOPTffu3XPGGWdkzz33zIsvvphrrrkmjz76aMaOHZuLL7641DEBgEbSosqID/rud7+bXr165cQTTyx1FACgEfziF7/I2LFj88QTT6wd69atW8aMGZORI0du8DwpAKDlabFlBACweXr22Wfz8ssvp6qqKv379095eXmpIwEAjUwZAQAAABSq2X2aBgAAALB5U0YAAAAAhVJGAAAldfbZZ2fffffNmWeeud7r9913X770pS9ln332KTgZANBUlBEAQMnMnj07b731VmbMmJGVK1dm1qxZH5qz995756mnnipBOgCgqSgjAICSefzxx3PwwQcnSQ466KD8+te/znnnnZc1a9bk0EMPzfz589OxY8dsvfXWJU4KADQmZQQAUDJLly5NZWVlkqRDhw5ZunRp/vKXv2TkyJH52te+lq5du5Y4IQDQFNqUOgAA0Hp16NAhdXV1SZK6urpUVVXllFNOyWGHHZarr766xOkAgKbizggAoGQGDhyYhx56KEnyi1/8InvvvXe+//3v56KLLkp1dXWJ0wEATUUZAQCUTN++fdO2bdvsu+++KS8vz2OPPZajjjoqo0aNyu9+97s8++yzefLJJ3PQQQflmWeeyUEHHZR333231LEBgE1U1tDQ0FDqEAAAAEDr4c4IAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQyggAAACgUMoIAAAAoFDKCAAAAKBQbUodAPhob7/9dt599920a9cu7dq1K3UcAACATebOCGhmVq9enWnTpuW4445L9+7ds+2226ZTp07ZZptt8oUvfCH/9E//lAceeCBr1qwpdVQAAIBPRRkBzcjdd9+dHj165Oijj86jjz6avfbaKxdffHGS5Hvf+16+/OUv58EHH8yhhx6aXXbZJdOnTy9tYAAAgE+hrKGhoaHUIaC1W7VqVU499dRcf/312WOPPTJu3Lh89atfTZs27z1JVVZWlvf/VV25cmWmTp2aCy+8MC+88ELOPffcjB8/PltsoVsEAABaBmUElNjq1atz3HHHZdq0abngggty0UUXZauttlpnzgfLiPe9/fbbGTVqVK699tr8n//zf/KTn/wkZWVlRUYHAAD4VBxgCSV2ySWXZNq0aZkwYULOPPPMjf66bbbZJtdcc006duyYyy67LP369cspp5zShEkBAAAahzsjoISefvrp9OvXL8cdd1wmT568wXnruzPifQ0NDTn44IMzc+bMPPvss+natWtTxQUAAGgUHjKHEho/fny22WabXHXVVZ96jbKyslx33XV59913M3HixEZMBwAA0DRadRlx2223pVevXmnfvn0OOeSQjBo1KkOHDi11LFqJ119/Pbfffnv+5V/+JZ06ddqktbp165ajjz46119/fd55551GSggAANA0Wm0ZMWnSpIwaNSqTJ0/OsmXLcsQRR2TixInp06dPqaPRSsyYMSOrVq3KsGHDGmW9E044IUuXLs1vf/vbRlkPAACgqbTKMuLtt9/OOeeck5qamgwYMCBlZWUZMWJE6uvr15YRt9xySwYOHJiBAwfm4YcfLnFiNke/+c1v0qZNm/Tu3btR1ttzzz3XrgsAANCctcpP06itrc2aNWty2GGHrR17/fXXkyR9+vTJ0qVL84Mf/CCPP/543nrrrRx00EGZPXt2ttiiabqbs846K0kyYcKETZpDy/LKK6/ks5/9bNq2bdso6+20007Zcsst88orrzTKegAAAE2lVZYRixYtyo477rjO2JQpU9K5c+d85jOfyQMPPJD9998/bdu2Tdu2bbPTTjvlxRdfTI8ePZokz5w5c1JbW7tRhw86oHDzU1ZW1qjzqqurU11dvSmRAAAAGsWGPhWwVZYRu+66a1544YXU1tZm4MCBueOOO1JdXZ1BgwYlSZYsWZKOHTuund+xY8csWbKkycqIJNl///0zffr0DV4fPHhwknzkHFqWCy64ID/4wQ+ybNmybL311h8596M+2vN9r7zySj73uc9lwoQJOfPMMxszKgAAQKNqlWdG9O/fP2PHjs3RRx+dLl26ZObMmRkwYMDa8yI6deqUN954Y+38pUuXbvKnHcDf6tu3b1atWpWnn366UdZ7/6yIfv36Ncp6AAAATaVVlhFJMm7cuCxZsiSLFi3KxIkT8/zzz68tIwYMGJAZM2ZkxYoV+etf/5qFCxemW7dupQ3MZmffffdNmzZt8tOf/rRR1vvpT3+aysrK9O3bt1HWAwAAaCqttoz4oLq6urz00ktry4iqqqqcddZZGTx4cA4//PBceeWVTXZ4Ja1X586dc/TRR+f6669f506cT2P+/Pm5/fbb8y//8i/ZZpttGikhAABA0/AOO8kzzzyTioqK9OzZc+3YySefnF//+tf59a9/nQMPPLCE6dicjRkzJsuWLcvZZ5/9qddoaGjIyJEjs+WWW6791BUAAIDmTBmRZNCgQamrq9voTyuAxtKnT5+MGTMmkyZNyrXXXvup1vj+97+fBx54IOPHj0/37t0bOSEAAEDja5WfpgHNyUUXXZQ5c+bkW9/6Vl5//fWcf/75adPm4//VfPfdd3P++ednwoQJOfnkk3PaaacVkBYAAGDTuTMCSmzLLbfM1KlTc8IJJ+TCCy/MoEGD8sADD2TNmjXrnb969epMmzYtffv2zYQJE3LGGWfk+uuvd64JAADQYrgzApqBrbfeOpMnT86RRx6ZM888M4ceemi6deuWfffdN3vssUeS5PLLL8+cOXNSW1ubV155Jd26dcv999+fIUOGlDg9AADAJ1PW0NDQUOoQrd3gwYOTJNOnT9+kOWweVq5cmTvvvDNTpkzJrFmz8tprr6299vnPfz577bVNpHSfAAAgAElEQVRXTj755Hz1q1/dqMc5AAAAmhvvZKCZ2WqrrfKNb3wj3/jGN5Ikb7zxRrbbbrssXbo0HTp0KHE6AACATechc2jmOnbsmCSKCAAAYLOhjAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAArVptQBoKktXrw4v/rVrzJ79uy88soraWhoyE477ZR+/fpln332yfbbb1/qiAAAAK2KMoLN1u9+97uMHz8+t99+e1auXJny8vJ07tw5r7zySsrLy1NfX5+tttoqQ4cOzejRo/PlL3+51JEBAABaBY9psNlZvXp1xo0bl759++aee+7JyJEj8+ijj2bZsmVZuHBhkmTZsmV57LHHcuqpp+bee+9N3759873vfS+rV68ucXoAAIDNnzsj2KysXLky3/jGNzJt2rQMGzYsV1111Xofw2jXrl0GDhyYgQMH5sILL8y3v/3tfPe7382cOXNy6623ZquttipBegAAgNbBnRFsVk499dRMmzYtEyZMyJQpUzbqPIhOnTpl8uTJueqqq3LXXXdl5MiRBSQFAABovZQRbDbuuuuu3HDDDRk7dmzOPPPMT/z1Z5xxRr7zne9k0qRJmTZtWhMkBAAAIEnKGhoaGkodorUbPHhwkmT69OmbNKc1W7VqVXr06JHtt98+TzzxRLbccssNzi0rK8uGfuxXrVqVAQMGZNGiRZk3b95HrlOkj8oMAADQ0rTqOyNuu+229OrVK+3bt88hhxySUaNGZejQoaWOxadwzz33ZMGCBRk3btwmFQhbbrllxo0bl4ULF+buu+9uxIQAAAC8r9WWEZMmTcqoUaMyefLkLFu2LEcccUQmTpyYPn36lDoan8KUKVPyuc99Ll/96lc3ea3DDjssXbp0yZQpUxohGQAAAH+rVZYRb7/9ds4555zU1NRkwIABKSsry4gRI1JfX7+2jDjooIOyww475OKLLy5xWjbGrFmzsu+++6a8vHyT1yovL89+++2XWbNmNUIyAAAA/larLCNqa2uzZs2aHHbYYWvHXn/99SRZW0bceOONueKKK0qSj0/mrbfeyssvv5w99tij0dbcfffds2DBgtTV1TXamgAAALynTakDlMKiRYuy4447rjM2ZcqUdO7cOZ/5zGeSJF26dCk0U21tbcrKyj523sbMaa3OP//8nH/++Rs1d2P/Hjt06LApkRqV/+0BAICWZkMH8bfKMmLXXXfNCy+8kNra2gwcODB33HFHqqurM2jQoJJl2n///X2axqe0fPnytG/fPhdffHHGjh37sfM35pMpLrvsslxwwQVZtmxZ2rdv31hRPzWfpgEAAGxOWuVjGv3798/YsWNz9NFHp0uXLpk5c2YGDBjg8MoWatttt0337t3z1FNPNdqac+bMSbdu3ZpFEQEAALC5aZVlRJKMGzcuS5YsyaJFizJx4sQ8//zzyogWbK+99sojjzySVatWbfJaq1atyiOPPJL+/fs3QjIAAAD+VqstIz6orq4uL7300jplxPDhw3PFFVfkxhtvzNe+9rUSpmNjnHjiifnLX/6Su+66a5PXuueee/Laa6/lpJNOaoRkAAAA/K2yBg+i57HHHsuhhx6aN998sySHBG7MeRDOjPho9fX1+eIXv5g2bdrkt7/9bdq1a7fBuR91/sK7776bPn36ZMWKFfnTn/7UKB8V2hicGQEAAGxO3BmRZNCgQamrq/NpBS1YeXl5fvzjH+e5557LmDFjPvU6559/fv74xz/m2muvbTZFBAAAwOZGGcFm4+CDD86ZZ56Zq666Kt/97nc/0Z0EDQ0NGTduXCZMmJAzzjgjhxxySBMmBQAAaN1a5Ud7svm68sors3Tp0nzve9/L448/npqamnTt2vUjv2bBggUZOXJk7rvvvpx88sn54Q9/WFBaAACA1smdEWxWysvLc/311+dHP/pRZsyYkV69euWf/umf8rOf/Syvvfba2nmvvfZafvazn+XEE09Mz549U1tbm6uuuio33HCDxzMAAACamDsj2OxsscUWOf3003P44Yfnhz/8YSZNmpQpU6YkSdq2bZsk+exnP5skqayszCmnnJKzzz473bt3L1lmAACA1kQZwWare/fuueqqq1JdXZ0nn3wyv/nNb/Lqq6/miiuuyH/8x3+kX79+6devX7bddttSRwUAAGhVfLRnM+CjPYvVEj8msyVmBgAA2BBnRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVSRgAAAACFUkYAAAAAhVJGAAAAAIVqU+oAtDxr1qzJ/Pnzs3z58rRt2zY777xz2rTxowQAAMDGcWcEG+Wdd97JjTfemAMPPDBVVVXp3r17dtttt/Tq1SuVlZXZZ599cvXVV6eurq7UUQEAAGjmlBF8pIaGhtx6663Zeeed86//+q9ZuHBhTjrppNTU1OTWW29NkowcOTLLly/P6aefni5duuTHP/5x1qxZU+LkAAAANFfurWeDVq5cmW9+85u55ZZb0r9//9x6660ZPHhwysrK1s45/vjjM2HChCTJrFmzcsEFF+S0007Lvffem9tuuy3t27cvVXwAAACaKXdGsF719fUZNmxYbrnllnz3u9/NY489lgMOOGCdIuJv9e/fPw8++GCuvvrqPPjgg/nqV7+ad955p8DUAAAAtATKCNbryiuvzJ133pkf/vCHueiiizb6gMqysrKcdtppmTx5cmbMmJHzzz+/iZMCAADQ0igj+JDnn38+F154YY4++uiceeaZn2qN448/PqeffnquuuqqPPbYY42cEAAAgJasVZcRt912W3r16pX27dvnkEMOyahRozJ06NBSxyq5H/7whykrK8vVV1/9kY9lfJzLLrssO+ywQ8aPH9+I6QAAAGjpWm0ZMWnSpIwaNSqTJ0/OsmXLcsQRR2TixInp06dPqaOV1PLly3PzzTfn+OOPz2c+85lNWqt9+/YZMWJEfvazn2XBggWNlBAAAICWrlWWEW+//XbOOeec1NTUZMCAASkrK8uIESNSX1+fPn365M9//nP222+/7Lvvvtlnn33y5JNPljpyYX7zm99k+fLlOfbYYxtlvaFDh2bNmjX51a9+1SjrAQAA0PK1yjKitrY2a9asyWGHHbZ27PXXX0+S9OnTJ1VVVZk2bVpmzJiRmpqanH322aWKWrjZs2cnSfbcc89GWe/v//7vs/XWW+c3v/lNo6wHAABAy7dxH5GwmVm0aFF23HHHdcamTJmSzp07f+jRhK233jrl5eVFxiupv/zlL2nTps0mP6Lxvi233DKf/exns2jRokZZDwAAgJavVZYRu+66a1544YXU1tZm4MCBueOOO1JdXZ1BgwatM6++vj7f/va3M2bMmCbPVFtbu1GHRW7KgZKfxCfZZ2Pmvvjii7nppps2JVKjKurvsTG1xMwAAEDr1tDQsN7xVllG9O/fP2PHjs3RRx+d8vLyDBs2LAMGDFjn8MqGhoYMHz48RxxxRA499NAmz7T//vtn+vTpG7w+ePDgJPnIOY3hxz/+cU477bTMmzcv3bp1+9j5ZWVlG/zhSpJ33nknFRUVOf/88/P973+/EZN+eh+XuTlqiZkBAAA2pFWeGZEk48aNy5IlS7Jo0aJMnDgxzz///DplxBlnnJFevXrlW9/6VglTFq9fv35JkieeeKJR1vvtb3+b+vr6tesCAABAqy0jPqiuri4vvfTS2jJi+vTpqampyUMPPZTBgwfn6KOPLnHC4vTu3Ts77rhjJk+e3Cjr3XzzzWnbtm3222+/RlkPAACAlq9VPqbxt5555plUVFSkZ8+eSd57JGLlypUlTlUaW221VUaMGJHq6ur84Q9/yC677PKp13rttddy88035xvf+Ea22267RkwJAABAS+bOiCSDBg1KXV2dAwL/f7797W+nqqoqw4cPT319/adao6GhIaeeempWr15dyAGgAAAAtBzKCD6kc+fO+dGPfpTHH388p59+etasWfOJ17j44otz99135/vf/36++MUvNkFKAAAAWiqPabBew4YNy9NPP53x48fnjTfeyDXXXLNRj1osX748//Zv/5ZrrrkmJ598ckaNGlVAWgAAAFoSd0awXmVlZbnsssty2WWXZerUqdltt91y9dVXp66ubr3z33nnndx4443ZY489cs011+Scc87J9ddfny228CMGAADAutwZwQaVlZVlzJgxGTJkSL71rW/l9NNPz7/927+lf//+6d27dzp06JAkOeSQQzJz5szU1dVl1113zcMPP5zBgweXNjwAAADNljKCj9WnT588/vjjmTVrVm666abMmjUrNTU1eeedd5IkixcvzvHHH58TTjgh+++/v4NAAQAA+EjKCDZa//79079//7X/3NDQkC222CKzZ88uYSoAAABaGg/086m5AwIAAIBPQxkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFEoZAQAAABRKGQEAAAAUShkBAAAAFKpVlxG33XZbevXqlfbt2+eQQw7JqFGjMnTo0FLHAgAAgM1aqy0jJk2alFGjRmXy5MlZtmxZjjjiiEycODF9+vQpdTQAAADYrLXKMuLtt9/OOeeck5qamgwYMCBlZWUZMWJE6uvr06dPn/zlL3/JoEGDMnjw4AwYMCAPPfRQqSMDAADAZqNNqQOUQm1tbdasWZPDDjts7djrr7+eJOnTp0+23377zJgxI+Xl5Zk7d26OP/74zJo1q1RxAQAAYLPSKsuIRYsWZccdd1xnbMqUKencuXM+85nPrDO+dOnS7L777k2eqba2NmVlZR87b2PmFK05Zvo4MgMAADS9hoaG9Y63yjJi1113zQsvvJDa2toMHDgwd9xxR6qrqzNo0KC1c+bNm5eTTjopzz33XG644YYmz7T//vtn+vTpG7w+ePDgJPnIOaVQVla2wR+u5kpmAACA0mqVZ0b0798/Y8eOzdFHH50uXbpk5syZGTBgwDqHV3bv3j2/+tWvMnPmzJx++uklTAsAAACbl1ZZRiTJuHHjsmTJkixatCgTJ07M888/v7aMWLFixdp5lZWVad++faliAgAAwGanVT6m8bfq6ury0ksvrS0jZs2alQsuuCDl5eVZtWpVJk6cWOKEAAAAsPlQRiR55plnUlFRkZ49eyZJ9tlnnzzyyCMlTgUAAACbJ2VEkkGDBqWurq7UMQAAAKBVaLVnRgAAAACloYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACqWMAAAAAAqljAAAAAAKpYwAAAAACtWm1AGA5uuss87KnDlzSrJ37969M2HChE/1taXK3RIzJ58+d0vM3NRa4s8eAEApuDMC2KA5c+aU5I3Vpu5bitwtMfOm7tsSMze1lvizBwBQCu6MAD5S7969M3369EL3HDx48CavUXTulpg52fTcLTFzU2uJP3sAAEVzZwQAAABQKGUEAAAAUChlBLDJFi1alLKysvz2t79dZ/yll15KWVlZ/vCHP5Qo2Ya1xMxJy80NAAAfpIwANtmsWbPSrl27fPnLX15n/IknnkhFRUW++MUvlijZhrXEzEnLzQ0AAB+kjAA22ZNPPpnevXunTZt1z8R94okn0q9fv2yxRfP7v5qWmDlpubkBAOCD/FcrsMmefPLJ9O/f/0PjTzzxxHrHm4OWmDlpublpPCtXrix1BACATaaMADbZ+t4gr1mzJrNnz147ftBBB2WHHXbIxRdfXIqIH9ISMyctNzcftmDBgkyYMCEnnnhi+vXrl7//+7/PXnvtlW9+85v5yU9+kiVLlnzoa/76179m7733zv/7f/+vBIkBABqPMoJPrL6+PtOnT89///d/J2k5v6WbP39+br/99iTvHfbXEqxcuTIPPvhgkuThhx9OfX19iRN92MKFC/Paa6+lX79+64zPmTMnb731Vvbee+8kyY033pgrrriiFBE/pCVmTlpubtY1d+7cHHvssenWrVvOPvvsTJ8+PZ07d86uu+6aDh065J577smpp56aLl26ZMSIEXn99deTvFdEHHTQQfn973+fXr16lfi7AADYNK26jLjtttvSq1evtG/fPoccckhGjRqVoUOHljpWs3bzzTene/fuOeCAA3LCCSckSbp06ZKJEyemoaGhxOnWb+HChfnHf/zHdO/ePccdd1ySpEePHvna176WBQsWlDjd+jU0NOSqq65Kly5dMmTIkCTJV77ylXTr1i033XRTidOt6/2/w6qqqnXGp0yZkr333juf//znk7z3c9JctMTMScvN/bd22mmnXHfddeuMNTQ0pLKyMtOmTStRqmL853/+Z3bfffc8+OCDGTVqVF544YUsWLAg//M//5Pbb789//u//5tFixZlzpw5+ed//ufcdNNN2XXXXTN58uS1RcRdd92VQw89tNTfCgDAJmm1ZcSkSZMyatSoTJ48OcuWLcsRRxyRiRMnpk+fPqWO1mxdc801Ofnkkz/0Bv7111/PWWedle985zslSrZhr732WgYOHJif//znWbNmzdrxNWvW5H/+538ycODAvPrqqyVMuH4XXnhhzjzzzLW/EX3fwoUL88///M/N6hbtXXbZJR06dEh1dXWWLl2av/71r7n22mtzzTXXpLq6utTx1qslZk5abu4PWrhwYV599dX07t17nfG5c+dm2bJl2XPPPUuUrOldfPHFGTlyZAYNGpRnn30248ePT8+ePT80r6ysLHvssUeuvfbazJ49OzvttFNOPPHEPPPMM4oIAGCz0SrLiLfffjvnnHNOampqMmDAgJSVlWXEiBGpr69fp4xYsmRJOnbsmFtuuaWEaZuHJUuW5JxzzkmSDd4Bcemll+b5558vMtbHGjduXBYuXLhOEfG+NWvWZOHChRk3blwJkm3Yn/70pw0+6//+3/2oUaPW+zx5KVRWVuZnP/tZnnzyyXTp0iVf+tKXcuedd+b+++/P/vvvX+p469USMyctN/cHzZo1K+Xl5dltt93WGX/qqafSuXPntXd3bG6mTJmSf//3f8/JJ5+c++67b6O/z5122illZWXZYostsnr16vx/7d19fM314//x59mZbYbZjFBMIeQqiRjz2TCmkCYXUZRZyXU+LkshF8U3tBAzo8hVSfqYXPShzMVmVkmEZITEZFlrsw075/eHn31au7A+Pnu/z+xxv93et9t6v17as3Oc085z79frXbZs2SJOCgAAYAznW0+580RHR8tms+nRRx/NPnfzN9B/LiOmT58uPz8/w/M5ohUrVigzM7PAORaLRREREZo9e7ZBqQqWlpam5cuX51lE3GS327V8+XK99dZbDvNDfkREhCwWS4HLXq5evarly5dnF0Rm8/Pz0969e82O8bcUx8xS8c19U3x8vOrUqSM3N7cc5w8ePHjHXhVx/vx5DRs2TL6+vlq6dKmsVmuh/tzNPSKOHTumdevWafTo0RowYIAOHjwod3f3Ik4NAABQtEpkGXHx4kXdddddOc6tXr1alStXVpUqVSRJJ06cUFJSUq6N4kqqI0eOyGq1FriBosVi0ZEjRwxMVbCzZ8/qypUrt5yXnp6uM2fOqH79+gakurUjR47csoywWq36/vvvDUx1+0JCQhQXF6fMzEzFxcUpKirK7Ei3VBwzS46dOz4+XidOnFDFihVznE9NTdXLL79sUqqiNXPmTKWmpuq9996Ts3Ph/rf7580qby7N8PT0VPv27RUREaGXXnqpiFMDAAAUMXsJtH//fruTk5N9586d9szMTPuqVavsHh4e9k6dOmXP6dOnj/3EiRP2yZMn2z/44IMizePv72+XxMHhkIe/v3+R/v0vqteE0bmLY+b/Re6/m9nLy8s+Y8YM+9mzZ3Mcnp6e9k2bNhmS2cjXTGpqqt3Dw8Pet2/fQj9GSUlJ9oceesju6upq37JlS46xli1b2uvUqWO32WzF5vHg4ODg4ODgKNlHfkrknhHNmzfXxIkT1b17d1WrVk1xcXFq0aJF9hKNmJgYeXt757mxWFHx9/eX3W7P9/D397/lnKI8Nm7cWKj/jvDwcNMy/vWw2WyqXbu2LBZLvnktFotq1aqlrKws0/PePBYvXlyox/pf//pXkWcxcx+C2/n7blbu4pj5dnL/3cwnTpzQ5cuXFRQUpGrVqmUfGRkZSk5OVvPmzYs8s9GvmZ07dyolJUUhISGF+u/K64qIPwsJCdHx48d17NixYvF4cHBwcHBwcHDkp0SWEdKNjQ2TkpJ08eJFvfPOOzp+/Hh2GfHVV1/pu+++U6dOnbRy5Uq99dZbio2NNTmxuR577DHdd999+a51dnJykpeXl55++mmDk+XPYrFo1KhRBb4A7Ha7Ro0aJScnx3kp9O3bV15eXvlmcnJy0r333qvOnTsbnAy4PfHx8XJ3d9eDDz6Y43xMTIyqV6+ea/ncneDrr7+WxWJRixYtbjn3VkWEJPn6+mb/ewEAAIozx/kEZqKUlBSdPn06u4wYMWKEoqOjtXXrVj3zzDMaO3Zs9g+AJZXVatWmTZtUoUKFXGMWi0Xu7u6KiopymE0gb3rxxRc1cOBAScrx4f7m1yEhIRo8eLAp2fJTtmxZbdq0SWXKlMnzqg5vb29t2rSp0JvgAY4iPj5ezZs3z7VvQmxs7B27eWVCQoKqV69+y/fGwhQRklSvXj1JN64yAQAAKM5K5AaWf3X48GGVK1cuz2UZU6ZMMT6Qg6pfv74OHjyod999V0uXLtXFixfl5eWlfv36afjw4apZs6bZEXNxcnLSkiVL1KlTJy1YsCD7CpeWLVtq2LBh6tGjR4HLOMzSqlUrHTx4UPPnz9eKFSt0+fJl3XXXXQoJCdGwYcNUtWpVsyMCf9vcuXPzPL9o0SKDkxjn5Zdf1osvvnjLeTt37tSxY8cKLCIkydnZWTt27HDI91sAAIC/gzJCNz74paSkmB2jWKhataqmT5+u6dOny263O+QH+b+yWCzq0aOHevToIUnFJvd9992nuXPnau7cuQ6bOS4uLnuZS/PmzfX2229nj82cOVNbtmzRlStX9Morryg4OFgZGRkaOnSoTp06pQYNGmj+/PmGZ/7ll1/UpUsXHTlyRKmpqTl+S//cc8/p6NGjKl26tF544QX17dtXL730kr799ltJN24/efnyZcMzS9KoUaP01VdfqWnTpnrnnXeyzz/11FO6cOGCMjMzlZ6erm+//Vbffvuthg4dKicnJ73xxhtq06aNKZnxnysZbqV79+5KSEgoVNHYrl27240FAABgOsoI/Ncc8cNxYRTH3I6auUaNGvriiy/k5uamp59+WocOHVKjRo0kSaNHj9aECROUmpqqwMBABQcHa968eerbt6/at29vWuYKFSpox44dCg4OznN81apVql27dvY/h4WFSZIOHDigOXPmGJLxr7755hulpqZq9+7dGjx4cPZyB0lau3atJGnDhg3Z+whMmjRJH374oSpUqKDu3btr69atpuTG38MVTwAAoCRhzwgA/7UqVarIzc1NklSqVKkc+1iUKlVKkpSenq6GDRtKunEp+saNGxUQEFDoO7T8r7m5ucnLyyvPMYvFov79+6tr1646ffp0jrENGzaoe/fuRkTMZd++ferQoYMkKTAwMM8Ndf+c7/Lly6pWrZrc3d2Vlpam9PR0Q/MCAAAAt0IZAeC2fffdd/r1119Vv379HOeHDBmixo0bZ19WnpCQoM6dO+uzzz7TtGnTdP36dTPi5mvOnDmKiYnR+PHjNXr06BxjW7duLXAtf1FKTk6Wh4eHJKl8+fJKTk7OMX7t2jUdOnRITZs2lSRVqlRJhw8f1q+//qrDhw/nmg8AAACYjTICwG357bffNGzYMC1dujTX2MKFC3Xs2DHNmDFD0o0P0v7+/ipTpoxq166txMREo+MW6ObdYvz8/HThwoXs8z/++KPuueceubu7m5KrfPny2fvapKSkyNPTM8f4zp07FRAQkP3PM2fO1D//+U+9+OKLaty4sSpWrGhkXAAAAOCWKCMA/NeuX7+uZ555RrNnz1aVKlVyjGVmZkqSSpcunf1b/VatWum7775TVlaWfvrpJ1WqVMnwzAW5+YH/hx9+yPGBf8OGDfnuMWEEX19f7dixQ5K0fft2tWzZMsf4X/PVqVNHn3/+uRYvXiwfH5/sJTMAAACAo6CMAPBfW7duneLj4zVu3DgFBAQoNjZWw4cPlySNHDlSAQEBCggI0NixYyVJ48eP18SJE9W6dWuFhobKxcXF8MzXrl1TYGCgDh48qKCgIEVHR2dfufH000/Lz89PoaGhmjlzZvaf2bRpk7p27Wp41puaNm0qNzc3tWnTRlarVT4+PtmZ7Xa7YmNj5efnlz1/6dKlatu2rfr376+pU6eaFRsAANGATk8AACAASURBVADIF3fTAPBf69Onj/r06ZPjnK+vryQpPDw81/yqVavq888/NyRbfkqVKqXt27fnOOfv7y9JioqKyvPP7Nq1q8hz3cqfb+cpSRMnTpR0Y9PNAwcO5BgbOHCgBg4caFg2AAAA4O/iyggAAAAAAGAorowAUKBvv/02x+aIRn3PJk2a3Pa/w8jcxTHzze95O7mLY+aiVhz/7gEAABiNMgJAvv7bDzgnz5xXTZ+qub7+O9/3dj5cmZG7OGa++X3/2+9t1gfg232si1Jx/LsHAABgBovdbrebHaKku/kbtJ07d97WHMBRTJgVoZnjX8j1taMrjrmLY2bkxvMIAABKGvaMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhqKMAAAAAAAAhirxZcTevXvVvn17eXh4yNPTUz179jQ7ElBs2e12bd26VR+/v0BVq1ZVtWrV9Nm69/X111+bHa1A586d02uvvaalcyfr7rvvlq+vrw7u36MrV66YHS1fWVlZWr9+vdYueVtVqlRRjRo19O9/rdGRI0fMjgYAAADcUokuI9avX6/g4GANGTJEFy9e1NmzZxUaGmp2LKBYstlsCg0N1aOPPqqTPxzWhQsXdO7cOX3/zT41a9ZMYWFhZkfM0549e9SgQQPNmDFDDz3YSI899pjS0tK09ZMP5Ofnp0uXLpkdMZfMzEw98cQT6tGjh86c/EGJiYk6c+aMvomNVuPGjbVq1SqzIwIAAAAFKrFlRFpamgYNGqSIiAg9+eSTcnNzU7ly5RQUFCRJWrlypXx9feXr66svv/zS5LSA45s9e7aWLVsm6cYVEjfd/HrUqFHatm2bKdnyc+nSJXXt2lVVqlTRDz/8oM8//1yRkZE6ePCgPv30Ux09elRPP/202TFzmTBhgjZt2iQp52Mt2WWz2dS/f38dOHDAnHAAAABAIZTYMiI6OloWi0XdunXLNZacnKzZs2fryy+/VFRUlEaNGiWbzWZCSqB4uHbtmubOnVvgHCcnp1vOMdqyZcuUnJysjz76SPfff3/2+ZvvDVOmTNHnn3+uw4cPm5gyp99//12LFy/Od/xmOTFv3jyjIgEAAAB/m7PZAcxy6dIleXl5yWKx5BqLi4uTv7+/3Nzc5Obmprvvvls//fSTatasWWR5Tp45rwmzIgocl1TgHMAs586cVGJiYoFzbDabPv/8c42etkClXFwMSlawlYsi1Lx5czVu3DjP8YEDB2rChAkaMvpVtWr3mMHp8nb88AGlp6cXOMdms2n1mrWqXM/XoFT4X/jz+zvv9QAA4E4xc/wLeZ4vsWVE06ZNderUKUVFRalz585KSUlRXFycgoKClJSUJC8vr+y5Xl5eSkpKKtIyoqZP1XyfJEnat2W1pPyfSMBMO3bs0MqFswo1d+LQvqpQoUIRJyqcbWsXqXLlyvmOe3t7y2q1qk2zBprhIK+9lStXasPK8FvOs9uyeL8oRibMish+vv78NQAAwJ2qxC7TaNiwoSIjIzVmzBh5eHjogQce0K5duyTd+ABy+fLl7LnJycny9vY2Kyrg8GrVqlWoeRUqVFD58uWLOE3h1a5dW3FxccrMzMxzPCYmRllZWapdu7bByfL35+Uk+bFYLIV+TgAAAAAzWOw5dz+DbpQP7dq1U2xsrNLS0tSuXTt98803cnIqmu4mICBAJ8+cV99Bo/Ods3rxHEkqcA5gpg+XvqPTJ46qoLeUlgGd5N8p2MBUBTv14xF9tPQdzZo1S+PGjcsxdv36dXXq1El7Y2I0+OVZcnFxNSllTna7XcvCXlfSxQsFPtbtu/ZWs9btDEwGAAAA5MYyjb/B09NTL730kgICAiRJc+bMKbIi4iaWaaC4eyroEbVu3VoZGRm5Nnx1cnJS9erVtfGjFapUqZJJCXOz2Wy69tsZjR8/XgkJCRo8eLB8fHwUFxenN9+cqd27dyk8PFyDBg0yO2oOQY/cr6CgINlstlyPtcViUePGjfXp6kiVLVvWpIT4u1imAQAASpoSu0zjVvr376/Y2FjFxsaqffv2ZscBHF6TJk20c+dO1atXL9dYQECA9uzZ41BFhHSjJFmzZo2GDBmi999/Xw899JC8vb312GOP6cC332rp0qUOV0RIUrt27bR582b5+PjkGuvWrZu++OILiggAAAA4NK6MAPA/07x5cx0+fFj9hoxXi/rVZbVa9U3Cr4qcM9nsaPlydXXVu+++qylTpujZIWMU5NdUPj4+ijlyXiEhIWbHy1eHDh2UkJCgPi/8U60b15Srq6sOnExS+KxXzI4GAAAA3BJlBID/KYvFomr31tbw4f+55Lw4qFSpkho3a62RI2/kjjvu+LmdnJx03/31NWJE8XqsAQAAAJZpAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQ1FGAAAAAAAAQzmbHQDAncVut+vsyeMKCwuT1WrVrxcumR2pUC5evKiD+/do7txU1ahRQ9evXzM70i3ZbDadPP693n77bbm6uupy0mWzIwEAAACFUuLLiL1792rSpEmKj4+Xk5OTOnTooHXr1pkdCyiW4uLi9Nxzz+nYsWNa/afzCQei9cEHH6h69eqmZctPZmamRo4cqaVLl+r69eva+skHkiQ39zKqV9lVoaGhJifM27Zt2zR48GCdOnVKf37HuvDDfi1dulQVK1Y0LRsAAABwKyV6mcb69esVHBysIUOG6OLFizp79qzDfvAAHN2BAwfUtm1bHT9+PNfY7t271bp1a128eNGEZPmz2Wzq1auXFi9erOvXr+cYy7iSpueff16LFi0yKV3+tm/fri5dusjd3V1r165VUlKSEhISNGnSJG3btk2BgYFKTU01OyYAAACQrxJbRqSlpWnQoEGKiIjQk08+KTc3N5UrV05BQUGSpMDAQFWqVEnTp083OSlQPIwfP16ZmZmy2Wy5xmw2m37++WfNnTvXhGT52759uzZu3FjgnHHjxjnUB3u73a5Ro0apZs2a2rt3r3r37q0KFSqoZs2aev311/XJJ5/o4MGDWrp0qdlRAQAAgHyV2GUa0dHRslgs6tatW57j77//vrZv366ff/7ZkDwnz5zXhFkRBY5LKnAOYJbff7ukf//73wXOsdvtemfefNnK3ysnJ8foQTesXCyLxSK73Z7vnNTUVPUaMFSNm7U2MFn+zp05qcOHD2vJkiUqX758rvHHHntMLVq00Iw3/0/nM0qbkBD/rT+/v/NeDwAA7hQzx7+Q5/kSW0ZcunRJXl5eslgseY5Xq1bN0Dw1farm+yRJ0r4tN1bgFzQHMMuOHTsU/n+3npeRfkUTBvVShQoVij5UIWxetaDAIuKmh+pU0wwHee2tXLlSKxdKbdq0yXeOv7+/DhwI4/2iGJkwKyL7+frz1wAAAHcqx/j1pAmaNm2qU6dOKSoqSjabTcnJydq2bZvZsYBiqUyZMoWeW7q04/y2vmzZsvkWkn/m7u5uQJrCuflYF7T/RmJiokNlBgAAAP6qxF4Z0bBhQ0VGRmrMmDHq06ePypUrp5CQkOw9I4zGMg0UZ7asLJUp66G01JR851gsFt17/wN6fd4HBiYrmKtn1UJdGXEy6ZrDvPYyM9Ll4uqmJUuW5Hl1xOXLl7Vu3TrVeqCJw2RG4bBMAwAA3IlYppGHZ599Vs8++6zZMSSxTAPFX6VSqRo3bly+43a7XYsXhKlDhw4GpirYpYHdVbv2Dv3xxx95brxpsVjUoUMHLZ07xfhwBUn+SWFhYWrSpIlGjBghZ+cbb+WJiYnq3bu3rl69qhWR76pJkyYmB0VhsUwDAACUNCW6jChISEiI4uLilJmZqbi4OEVFRZkdCXBoo0eP1vHjxxUZGZljU8ibX7/zzjsOVURIUsWKFbV582Y9+uijSkn5z1UdTk5OstlsevDBB7Vq1SoTE+Zt1qxZOnXqlEaPHq25c+cqMDBQycnJ2rx5s+x2u1asWEERAQAAAIdGGZGPZcuWmR0BKFacnJwUERGhnj17atiocbry+yVZrVZ53lVd70fM10MPPWR2xDy1atVKR48eVUREhOYvDJeL1aJ7771XXtXqaP2KcIfa4+ImFxcXrV+/XlFRUfrn+Ff1xRdfyNXVVY2bt9HKpe+qXr16ZkcEAAAAClRiN7AE8L9nsVjUsWNHde8/RD///LNOnz6tR3v0d9gi4qa7775bU6ZM0fOjp+r8+fOKjY1V42atHbKIuMlqteqJJ55Qr5AROnPmjH788UcFPt6bIgIAAADFAmUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwlLPZAQAAKEnS0jOUmnol1/nEX3/L82tPj7JydXUxJBsAAIBRKCMAADBQZuZVzV++QdezsnKcf3vZx7m+LuteWmNe6G1oPgAAACOwTAMAAANV8PSQX/NGhZrb8R/N5cZVEQAA4A5EGQEAgMHatmyicmVKFzin6l3eataojkGJAAAAjEUZAQCAwVxdXRT0j0cKnNOlva+cnPjfNAAAuDPxUw6AImG322W3282O8beRGUZp2qiO7q7snedYgzr3qpbP3QYnAgAAME6JLyP27t2r9u3by8PDQ56enurZs6fZkYBi6/r163rvvfe0YsGbKlWqlNzc3PTRsnn67LPPzI5WoMOHDys0NFTvvP6SrFar7r33Xu3d8ZmSkpLMjpav9PR0LViwQMvCpsrZ2VmlS5fWhg/CtWvXLrOjoZCcLBZ1ad8q13mr1UmPtW1pQiIAAADjlOgyYv369QoODtaQIUN08eJFnT17VqGhoWbHAoqlq1evKjg4WCEhIfLycNfYsWM1ZMgQZfzxm7p06aIJEyaYHTFPUVFRatasmdasWaPevXpp4sSJqlu3rvb8e6OaN2+u06dPmx0xlz/++EOBgYEaPny4alSrqgkTJigkJESXzp+Wv7+/wsLCzI6IQqpZvaoa1b0vxzm/Zo3k7elhUiIAAABjWOwl9PretLQ01ahRQ5GRkXriiSdyjCUkJGjAgAHZl5mHhYWpWbNmRZYlICBAkrRz587bmgOY6dVXX9WMGTO0YMECDRkyRBaLRZJ07do1jRgxQuHh4Vq3bp169OhhctL/OHfunGrXrq1GjRrps88+U6VKlbLH9u3bp06dOqlevXqKjY3N/u9xBCEhIVqxYoVWr16tXr16ZZ9PT09Xv379tH79eu3evVt+fn4mpkRh/ZacormR63Q9K0tly5TWmOd7cwcNAABwxyuxV0ZER0fLYrGoW7duucY8PT21YcMG7d69WxERERo1apQJCYHiIyMjQ+Hh4erevbuGDh2a44N7qVKltGDBAtWqVUvz5s0zMWVuS5YsUWZmptasWZOjiJCkli1basaMGYqLi1N8fLxJCXP79ddftWrVKr344os5ighJKl26tFasWCEvLy/Nnz/fpIT4u/58q8+gNtzKEwAAlAzOZgcwy6VLl+Tl5ZXnbzu9vf+zoZirq6usVmuR5zl55rwmzIoocFxSgXMAs/z80wklJSWpf//+eY5brVY988wzev311/XPqfPk4upmcMK8ffDeCrVq3Vq1atXKc7xfv34aNmyYRk+crtaBXQxOl7dj332tq1ev5vtYu7u7q2fPnlq+4gPeL4qh9Vt3af1W9v0AAAB3jpnjX8jzfIktI5o2bapTp04pKipKnTt3VkpKiuLi4hQUFJQ9JysrSyNGjDBkrXtNn6r5PkmStG/Lakn5P5GAmb744gutCn9LHh75r3MvX768JOm14f3k5eVlVLQCff5huDz/f668lC1bVk5OTvJv0VjTHeS1t2rVKv1rdcStH2u7jfeLYiYryyartcResAgAAEqYEvtTT8OGDRUZGakxY8bIw8NDDzzwQI5d6O12u0JCQtSlSxd16tTJxKSA46tXr56sVqu2bduW75ytW7fqnnvuyS4lHEGDBg20e/dupaWl5Tm+fft22Ww2NWjQwOBk+WvYsKEk5ftY2+12bd261aEyo3AoIgAAQElSYjewvJVhw4apcuXKeu2114r8ewUEBOjkmfPqO2h0vnNWL54jSQXOAcy04YNFSvz5lOLi4lS3bt0cY1u3btWjjz4qvw6Pq3X7ziYlzO3nn05oVfhbGjt2rGbNmpVj2VZaWpratm2rI0d/0IsT3pCzcykTk+a0ctEs6Xqm9u/fr7vvvjvH2PLly/Xcc8+pU/d+evARNrAEAACAufK7WpcyIg87d+5Ux44d1arVjfu/V6hQQZ988kmRfT/upoE7QUJCgnx9fWWz2TRy5Eg9/vjjSk9P15o1a7Ro0SI1aNBA0dHRBS4vMJrdbtegQYO0ZMkSde3aVYMHD5aPj4/i4uI0Z84cHTt2TB9++KFD3QFEkr7++mv5+/vL09NTo0aNUseOHZWcnKzly5dr2bJlCggI0NatW+XiwkaIAAAAcEyUEQ6AMgJ3ih9//FFDhw7Vv//97+xzVquz+vR5SvPmzXOYvSL+zGaz6Y033lBYWJiSkpKyz1eqfLeWRS5Wly6OsXHlX3399dcaOXKk9u7dm32ulIuLQgcO1OzZs+Xu7m5iOgAAAKBglBEOgDICd5pBY6erQ4sb+0h88U2C5k8bY3akW8rIyFD/IePUo5OffHx8tGHnQc2aMMjsWLc0cNRkdWrVUK6urvrim5MKm/KS2ZEAAACAWyqxd9MAUHS8Kt6VvbQh7njxuL2km5ubatZtqF69ekmSPo3+zuREhVOpyj3q2bOnJCnmaPF4rAEAAAC27gYAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIaijAAAAAAAAIZyNjsAgDvL1atXdfRgvMaPT5DVatVPF9Nls9nk5OTY3efRo0e1d8dnGnvpR/n4+Cg97ZrZkW7pypUrOvRVjMaNOyFXV1f9nHRVdrtdFovF7GgAAABAgUp8GbF3715NmjRJ8fHxcnJyUocOHbRu3TqzYwHF0pYtWzRgwAAlJiZqS6lSstlsysrK0ncx27Ru3To1aNDA7Ii5/P777+rfv782btwoSfpqt5syMjLkXKqUvJ1T9dprrznkh/uVK1dq+PDhSk5O1g5XV127dk02m03Hv/pS69atU40aNcyOCAAAAOTLsX9VWcTWr1+v4OBgDRkyRBcvXtTZs2cVGhpqdiygWNq1a5cef/xxVa1aVVu2bFFGRoZSU1O1YsUKJScnq23btjp9+rTZMXO4fv26unbtqs2bN2vq1KlKTExUenq6vvvuO3UPDtbkyZM1Y8YMs2Pm8vHHH6tfv35q1KiRoqOjlZ6ert9//12LFi3S8ePH1a5dO/32229mxwQAAADyZbHb7XazQ5ghLS1NNWrUUGRkpJ544okcY4mJiQoODpaLi4vS09P1xhtvqH379kWWJSAgQJK0c+fO25oDmKlNmzY6e/asvv32W3l6euYY++GHH9S4cWMNGjRI8+bNMylhbp9++qmCg4O1dOlShYSE5Biz2+3q1auXPvvsM507d05eXl4mpczJZrOpTp068vDwUExMjNzc3HKMx8bGqlWrVnrjjTf08ssvm5QSAAAAKFiJXaYRHR0ti8Wibt265RqrWLGidu/eLavVqpMnT6p3796Kj48v0jwnz5zXhFkRBY5LKnAOYJbffk3Unj17NHv27FxFhCTVrVtXPXv21JLISLlVeUBOVqsJKXNbv/xd3XPPPerfv3+uMYvFoldeeUUff/yxngoZpoda+puQMLczJ48rISFBq1atylVESJKvr6/atm2r2XPD9LuTtwkJAQAAgP+YOf6FPM+X2DLi0qVL8vLyynMtuPVPH5SSk5PVuHHjIs9T06dqvk+SJO3bslpS/k8kYKYdO3ZoyRypWbNm+c5p3ry5Vq1apfGDesnb2zE+JG9bu0gPNG0qZ+e83wqbNGkiq9Wqhx+ooTcc5LW3cuVKrYko+LF+5JFHtGfPHt4vAAAA4LBK7J4RTZs21alTpxQVFSWbzabk5GRt27Yte/zUqVPy8/NTUFCQgoODTUwKOL7y5ctLUoF7Qpw+fVpWq1VlypQxKtYteXh4FJj5l19+UVZWVp5Xe5ilsI+1I2UGAAAA/qrEXhnRsGFDRUZGasyYMerTp4/KlSunkJAQBQUFSZLuu+8+7dmzRydPnlS7du3UpUuXIs3DMg0UZ3abTRUq3qWFCxfqmWeeyXUbzz/++EPLly9XrXqNNeWdFSalzM3V6259t2uX9uzZIz8/v1zjCxculMViUcKlaw7z2rt29apKu5fRwoULFRgYmOvqrl9++UWffPKJGj7cymEyAwAAoOTK72rdEruBZUEyMzPl6uoq6cZyjoCAAB0+fLjIvh8bWOJOEBkZqeeff14DBgzQW2+9lb0U46efftKzzz6rvXv3avfu3fL19TU56X+kpKSofv36stlsWrt2rdq0aSOLxaKrV69qyZIlGjFihHr27Km1a9eaHTWHqVOnavLkyRozZowmTZqkcuXKSZKOHDmivn376scff9SBAwdUp04dk5MCAAAAeSuxV0YUJD4+Xq+88oqsVquuXbumd955x+xIgMMbOHCgzpw5o2nTpmn16jVq08ZP6enpiomJkbOzs1auXOlQRYR0Y5nGtm3bFBQUJH9/f9WvX18+Pj46cOCAEhMT1aFDB0VGRpodM5dXX31V586d0+zZs7Vo0SK1bt1aycnJ2r9/v8qUKaMNGzZQRAAAAMChcWWEA+DKCNxJDh06pGdfGC4Xe4asVqvsbp768P1wVa9e3exo+UpNTdWqVav05uww3eVVTj4+PnLyuFtrI8NyLTlxFHa7Xfv371fo0FEq42yTi4uLnMpU1EfLw3XXXXeZHQ8AAAAokGP+lA2g2GrUqJE6PtFX+/bt0969e/WPjt0cuoiQpLJly2rQoEF6KnSU9u/fr48//lg16zZ02CJCunHr0RYtWqhzz+e0b98+7dq1Sy0DOlFEAAAAoFhw3J+0AQAAAADAHYkyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGIoyAgAAAAAAGMrZ7AAA7jw2m00XL16Us7Oz7Ha72XEK7Wpmhi5cuKAKFSqYHaXQbFlZSkxMlKurq9lRAAAAgEIr8VdG7N27V+3bt5eHh4c8PT3Vs2dPsyMBxdaVK1c0Y8YMRbw1UZUrV5a3t7eWz5+hyMhI2Ww2s+PlKzo6Wp07d1bYlJdUtWpVeXt76/NPV+unn34yO1q+Ll++rIkTJ2rRzAmqUqWKvLy8tHLR/+mjjz4qVgUQAAAASqYSfWXE+vXrNXjwYC1atEidO3fWtWvXFBMTY3YsoFhKTU1Vx44dFRsbq/bt2+vxxx9XRkaGVq1apeeff1579uzRsmXL5OTkWB3oe++9p4EDB6py5coaP368qlevrv3792vt2g/1yCOP6Msvv1SDBg3MjpnDr7/+Kn9/f/3www/q3LmzOnbsqOTkkFAMEAAAB5BJREFUZK1YsUK9e/fWN998o5kzZ5odEwAAAMiXxV5Cf4WWlpamGjVqKDIyUk888USec5KSklS7dm3Nnz9fzzzzTJFlCQgIkCTt3LnztuYAZho5cqQWLFigjz76SE8++WT2ebvdrtdff12vv/66li1bpgEDBpiYMqeEhATVrVtX7du314YNG+Tu7p49dvz4cfn7+8vb21uHDh2SxWIxMWlOPXv21KZNm7Rly5bs9wbpxvKYoUOHKjw8XFu2bFGnTp3MCwkAAAAUwLF+RWmg6OhoWSwWdevWLd8506dPl5+fn4GpgOLpjz/+0Hvvvae+ffvmKCIkyWKxaPLkyWrYsKEWLFjgUEsIwsPDJUnLli3LUURIUp06dfTmm2/q+++/V3R0tBnx8vTzzz9rw4YNGj58eI4iQpKcnJw0b948ValSRQsWLDAnIAAAAFAIJXaZxqVLl+Tl5ZXvbztPnDihpKQkPfzww4bkOXnmvCbMiihwXFKBcwCznD15XH/88Yf69OmT57jFYtFTTz2lV199Vf+cNl+urm4GJ8zbqg8/lr+/v+655548x3v37q0BAwbo1elz5Bd33OB0eTt6MF5ZWVn5PtalSpXSk08+qSWRS3m/AAAAgOlmjn8hz/Mltoxo2rSpTp06paioKHXu3FkpKSmKi4tTUFCQJGnSpEmaNm2aPvjggyLP0qRJEzVp0iTfJ0mSMs4fkZT/EwmY6csvv9TqiDlycXHJd87Nuz1MHtFfnp6eRkUr0L8/Wlxg5lKlSslisaitbxNNc5DX3urVZbVxTeQtH2snC+8XAAAAcFwldplGw4YNFRkZqTFjxsjDw0MPPPCAdu3aJUmKiYmRt7e3atWqZUiWsLAwhYWF3fYcwCyNGjWSi4uLNm7cmO+cf/3rX6pdu7bKly9vYLKCPfzww4qOjtbly5fzHN+0aZPsdrthV0gVxs0s+T3WNptNGzduVLNmzYyMBQAAAPwtJXYDy4LMmzdP69evV+nSpXXixAmVKVNG4eHh8vX1LbLvyeXUKO42fbhMCUcPaufOnWrRokWOsZUrV6pfv35q+1gPPfKPDiYlzC3xl7N6f950hYSEaMmSJTnu9JGUlKQ2bdro3PlEDRo7XU5Wq4lJc1ob+bb++O2iYmJiVLdu3Rxjb731lsaNG6euTw1U/SaPmJQQAAAAuCG/q3UpI25hypQpql27dpHeTQO4E1y4cEGtWrXShQsX9Nxzz+nxxx9Xenq61qxZo48/vrE3w9atW7OXaziK1157TdOnT9cjjzyiQYMGycfHR3FxcVq0aJEuXbqkzZs3q127dmbHzOH48ePy8/PT1atXFRoamn1rz+XLl2vz5s3q2bOn1q5d63C3UQUAAABuoowA8D9z4cIFTZgwQWvXrlVmZqYkqUKFCgoNDdWUKVNUunRpkxPmZrfb9d5772nWrFk6fvw/m1QGBgZq2rRpatmypYnp8peQkKCXX35ZGzZs0PXr1yVJVapU0dChQzVhwgQ5O5fYLYEAAABQDFBGAPif++2333T06FFZrVY9+OCDDllC/JXNZtOhQ4eUkpKi6tWr69577zU7UqEkJibqxx9/lKurq5o0aaJSpUqZHQkAAAC4JcoIAAAAAABgKBYUAwAAAAAAQ1FGAAAAAAAAQ1FGALhto0aNUps2bTRy5Mg8x5cvX65//OMfat68uRYuXGhwurzdKnNERIRatmypli1bavXq1Qany9+tcm/ZskX16tWTn5+fwckAAACAwqOMAHBbvvnmG6Wmpmr37t26evWq4uPjc83p27evdu3apX379mnx4sUmpMypMJk7duyoffv2affu3ZozZ44JKXMrTO6WLVvq4MGDJqQDAAAACo8yAsBt2bdvnzp06CDpxu0wY2NjNXbsWNlsNnXq1ElnzpzJvsPD1atX9cADD5gZV1LhMt+8m4azs7PD3CazMLm9vLzk6upqclIAAACgYJQRAG5LcnKyPDw8JEnly5dXcnKyEhMT9cILL6hr167y8fGRJE2dOlX333+/Hn74YTPjSip8ZkkKDw9Xt27dzIqaw9/JDQAAADgyyggAt6V8+fJKSUmRJKWkpMjT01ODBg3SRx99pNDQ0Ox5kyZNUkJCgtatW6ekpCSz4koqfOa4uDht3rxZ48ePNytqDoXNDQAAADg6yggAt8XX11c7duyQJG3fvl0tW7bUtGnTNHnyZM2cOVOSlJmZKUlycXGRu7u76csICpP53LlzGj16tJYvXy6r1Wpm3GyFyQ0AAAAUB5QRAG5L06ZN5ebmpjZt2shqtSomJkbBwcEaPXq0Dh06pO+//15vvvmmAgIC1Lp1a/Xu3Vtly5Z1+MxTp05VYmKiunfvroCAAKWnp5uaubC5v/rqKwUGBurw4cMKDAxURkaG2bEBAACAXCx2u91udggAAAAAAFBycGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAwFGUEAAAAAAAw1P8DD2N5Z7aLKGcAAAAASUVORK5CYII=\n",
      "text/plain": [
       "<Figure size 1384.6x1282.26 with 1 Axes>"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "q = QuantumRegister(5, 'q')\n",
    "c = ClassicalRegister(5, 'c')\n",
    "\n",
    "shor = QuantumCircuit(q, c)\n",
    "circuit_aperiod15(shor,q,c,7)\n",
    "shor.draw(output='mpl')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAc0AAAFTCAYAAABbKVcuAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADh0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uMy4xLjAsIGh0dHA6Ly9tYXRwbG90bGliLm9yZy+17YcXAAAgAElEQVR4nO3de5gdZZWo8XclASEYwJAYEkmEEGyDo6EhiNwCCMhtVEAEFVG8HA46gyIqHDwKwgzMiHIXRBgYBGQGkIiC4iAnCqIRMIQQBCKZQEJMuEOSCZeQZp0/andsmu5QnXTvXd37/T1PP+y67OpVWfRe+6v6vq8iM5EkSW9sUKMDkCSpv7BoSpJUkkVTkqSSLJqSJJVk0ZQkqSSLpiRJJQ1pdACNtMkmm+S4ceMaHYYkqULuvffepzNzZFfbmrpojhs3jmnTpjU6DElShQwfPnx+d9u8PCtJUkkWTUmSSrJoSpJUkkVTkqSSLJqSJJVk0ZQkqSSLpiRJJVk0JUkqyaIpSVJJFk1JkkqyaEqSVJJFU5KkkiyakiSVZNGUJKkki6YkSSVZNCVJKsmiKUlSSRZNSZJKsmhKklSSRVOSpJIsmpIklWTRlCSpJIumJKlHbr31Vt773vey3Xbbcc4557xu+wUXXMD73vc+dtllFw488EAee+yxVdtGjBjBlClTmDJlCp/4xCdWrb/tttvYfffdmTJlCvvttx/z5s2ry7n0VGRmo2NomNbW1pw2bVqjw5CkfqOtrY3tt9+eqVOnMmbMGPbcc08uueQS3vnOd67a53e/+x3bbbcdQ4cO5bLLLuOOO+7gsssuA2Ds2LGvKaLttt9+e6666ipaWlq49NJLueeee7jgggvqdl4dDR8+fEZmTu5qmy1NSVJpM2bMYIsttmDzzTdn3XXX5eCDD+bmm29+zT677rorQ4cOBWDy5MksWrToDY8bESxbtgyApUuXsummm/Z+8L1gSKMDkCT1H4sXL+Ztb3vbquUxY8YwY8aMbve/6qqr2GuvvVYtv/TSS7z//e9n8ODBHHvssRxwwAEAnHvuuRx22GGst956DBs2jFtuuaXvTmItWDQlSX3i2muvZebMmdx0002r1s2aNYsxY8bw6KOP8uEPf5itt96aLbbYgh/84Adcc801TJ48mfPOO49vfvObnHfeeQ2MvmtenpUklTZ69Gj++te/rlpetGgRo0ePft1+v/3tbznzzDO5+uqredOb3rRq/ZgxYwDYfPPN2WWXXbjvvvt4+umnuf/++5k8ubiNePDBB3PXXXf18ZmsGYumJKm0bbfdlnnz5jF//nxWrFjB1KlT2XfffV+zz3333cdxxx3H1VdfzciRI1etf/7553n55ZcBeOaZZ7jzzjtpaWlh4403ZunSpcydOxeA3/zmN7zjHe+o30n1gJdnJUmlDRkyhDPOOINDDjmEtrY2Dj/8cCZOnMjpp59Oa2sr++23HyeffDLLly/nM5/5DACbbbYZV199NXPmzOG4445j0KBBvPrqq3z5y19e1ev2nHPO4dOf/jSDBg1i44035vzzz2/kaXbLIScOOZEq7dZbb+Ub3/gGbW1tHHHEERx77LGv2X7BBRdw5ZVXMmTIEEaMGMH555/P2LFjV21funQpO+64IwcccABnnHEGAFOnTuWss86ira2NffbZh29/+9v1PCVVnENOJPVLbW1tHH/88Vx77bVMnz6d66+/noceeug1+7znPe9h2rRp3HHHHXzoQx/i5JNPfs32008/nZ122mnV8rPPPsvJJ5/MDTfcwPTp03nyySe57bbb6nI+6v8smlLN2sxyAkWL5l3vehfHH388AMuWLVs188mUKVOYMGECJ554Yl3OZaBY2zGB9957L0899RR77LHHqnWPPvooW265JSNGjABgt91248Ybb6zD2WggsGg2SG9/QAOsWLGCY489lu23354ddtiBn//8531+HgNFX7Rohg0bxu23377qZ+zYsXzwgx+sy/kMFF2NCVy8eHG3+3ccE/jqq6/yrW99i1NPPfU1+4wfP56HH36YBQsWsHLlSn7xi1+8pjeotDoWzQboiw9ogDPPPJORI0dy9913M336dHbeeec+P5eBoi9aNB3NnTuXp556ih133LHvTqLJtY8JPOaYYwC49NJL2XvvvV9TdAE23nhjzjzzTD772c+y//77M27cOAYPHtyIkNUP2Xu2ATp+QAOrPqA7zt246667rno9efJkrr322lXL7R/Qe+65J/fee++q9T/+8Y+58847ARg0aBCbbLJJH5/JwLE2s5y0t2guuuiibu+NTZ06lYMOOoiI6N3AB7iejgm86aabVo0JbP/yeOmll7J8+XJWrFjBBhtswMknn8y+++67apjE5ZdfbtFUabY0G6AvLjktWbIEKFqgu+++O0ceeSRPPvlkH0Svsi2ajqZOncpHPvKReoU4YKzNmMCLL76Y2bNnM2vWLE499VQ+9rGPrbpi89RTTwHFuMHLLruMI444on4npX7NlmbFdZ6GqrsP6JUrV7Jo0SLe+973ctppp3HBBRdw0kkncdFFFzUi7H6nr1o0APfffz9tbW1ss8029TmZAWRtxgSuzoknnsj9998PwNe//nUmTJjQ5+eigcFxmg0Yp3nXXXfxne98h+uvvx6As88+G4CvfOUrr9nvt7/9LSeccAI33XTTqm/QRx11FNOnT2fQoEGrPqA/97nPcdJJJzF27FgWLFjAoEGDWLhwIR/96EeZPn16fU+un1q5ciXbb789N9xwA6NHj2bPPffk4osvZuLEiav2ue+++zjyyCO57rrr2HLLLbs8ztVXX8299967ajwgwCmnnMK6665rz1mpn1jdOE1bmg3Q8ZLT6NGjmTp1KhdffPFr9mm/5HTddde97pJTu/YP6PYWzT777MMdd9zBlClTuP3222lpaanPCQ0AfdWiAbjhhhu45ppr+voUJNWBLc0GzQj061//etUsJ4cffjhf/epXX/MBfdBBB/HAAw8watQooOsP6M6tmscee4yjjz6aJUuWMGLECL7//e+z2Wab1f3cJKk/W11L06LpNHqSpA6cRk+SpF7gPU1JamLH/+gtjQ6h15zx6ef6/HfY0pQkqSSLpiRJJVk0JUkqyaIpSVJJFk1JkkqyaEqSVJJFU5KkkhynKaluHBOo/s6WpiRJJdnS7AV+e64ecyKpL9jSlCSppLoXzYj4YkQ8EhEvRcSMiNh1NfseHBG3RMRTEbEsIu6MiA+tZv+PR0RGxE19E70kqZnVtWhGxGHAucDpQCvwB+DmiBjXzVt2A6YBB9T2/yXw064KbUSMB74L/K4PQpckqe4tzeOAyzPzksx8MDOPARYDX+hq58z8cmb+a2belZlzM/MUYAZwYMf9ImId4D+A/wvM69tTkCQ1q7oVzYhYF9gOuKXTpluAnXpwqGFA554RpwGPZuaP1jxCSZJWr569Z0cAg4EnOq1/AtirzAEi4h+AzYArO6z7AHAosE3JYxwFHAUwevRo7rnnHgDGjBnD0KFDmTt3LgAbbbQR48ePZ+bMmQAMHjyYSZMmMWfOHJYvXw7AxIkTefbZZ4GB01Oz/d9j/PjxrFixgoULFwIwatQohg8fzoMPPgjABhtsQEtLC7NmzaKtrQ2A1tZW5s2bx5IlSwCYMGECL7zwAosWLQKKf+8NN9yQOXPmADBs2DC22morZs6cSWYSEbS2tvLwww+zbNkyAFpaWli6dCmLFy8GyudpIJk9ezavvPIKAJMmTWLBggU891zxvbG/5Wkgaf9bWX/99Zk4cWK/zdNA+vx65plnmD9/PgAjR45k5MiRPPDAA0DP8rQ6kZl9eAodflHEGOCvwG6ZeXuH9ScBh2dmyxu8/yMUxfKwzLyxtm4kMAv4eGbeVlt3OTAiM//+jWJqbW3NadOmreEZ/Y3DG6rHnFSTeakec/J6w4cPn5GZk7vaVs+W5tNAGzCq0/pRwOOre2NEHAJcAXyqvWDWvAsYDfy/iGhfN6j2npXAuzJzztqHLklSHe9pZuYKik48e3fatDdFL9ouRcShFC3MIzPzJ5023w28m+LSbPvPzyl60G4DPNIrwUuSRP1nBDoLuDIi7gJ+DxwNjAEuAoiIKwAy81O15Y9RFMyvAbdHxKa146zIzGczczlwf8dfEBHPA0My8zXrJUlaW3Utmpl5TURsAnyT4rLq/cD+mTm/tkvn8ZpHU8R4Tu2n3W3A7n0brSRJr1X3uWcz80Lgwm627b665ZLHP3JN4pIk6Y0496wkSSVZNCVJKsmiKUlSSRZNSZJKsmhKklSSRVOSpJIsmpIklWTRlCSpJIumJEklWTQlSSrJoilJUkkWTUmSSrJoSpJUkkVTkqSSLJqSJJVk0ZQkqSSLpiRJJVk0JUkqyaIpSVJJFk1JkkqyaEqSVJJFU5KkkiyakiSVZNGUJKkki6YkSSVZNCVJKsmiKUlSSRZNSZJK6lHRjIhDI+IDHZZPioiFEfFfETG698OTJKk6etrS/Hb7i4jYFvgGcB6wDnBm74UlSVL1DOnh/m8H5tReHwTckJlnRMQtwH/1amSSJFVMT1uaLwHDaq/3BG6tvV7SYb0kSQNST1uavwPOjIg7gMnAIbX17wAe683AJEmqmp62NP8RWEFRLI/OzEW19fvh5VlJ0gDXo5ZmZi4EPtjF+mN7LSJJkiqqx+M0I2K9iDgkIk6IiI1r67aMiOG9H54kSdXRo5ZmREyg6PzzZmBj4DrgeeALteXP93aAkiRVRU9bmucAtwCjgBc7rP85sEdvBSVJUhX1tPfsTsD7MrMtIjquXwCM6bWoJEmqoDWZe3adLtaNoxirKUnSgNXTonkLcFyH5YyIDYFTgF/0WlSSJFVQTy/PHgf8JiLmAOsB1wATgCeAQ3s5NkmSKqWn4zQXRcQ2wMeBbSlaqhcDP87MF1f7ZkmS+rmetjSpFcfLaj+SJDWNNyyaEXEwcGNmvlJ73a3MnNprkUmSVDFlWpo/ATYFnqy97k4Cg3sjKEmSqugNi2ZmDurqtSRJzaZHRTAipkTE6wptRAyOiCm9F5YkSdXT05bjb4CuJmbfuLZNkqQBq6dFMyjuXXa2CbB87cORJKm6Sg05iYif114mcFVEvNxh82Dg74A/9HJskiRVStlxms/U/hvAc7z2CScrgDuAS3oxLkmSKqdU0czMzwBExKPA9zLTS7GSpKbT02n0TumrQCRJqroyMwLdB+yWmc9FxGy67ggEQGa+pzeDkySpSsq0NK8H2jv+rG5GIEmSBrQyMwKd0tVrSZKajdPiSZJUUpl7mqu9j9mR9zQlSQNZ2aec9JqI+CLwdWA08Gfg2Mz8XTf7jgbOpHjg9VbAlZl5ZBf7bQj8M3AIxexEjwHfyMxrezN2SVJz69E9zbUVEYcB5wJfpJgQ4YvAzRGxdWYu6OItbwKeBv4VOKqbY64D/Bp4FjgUWAhsxt86L0mS1Ct6NE6zFxwHXJ6Z7bMHHRMR+wJfAE7svHNmPgp8CSAiDunmmJ8BRgK7ZuaK2rpHezFmSZKAOo7TjIh1ge2A73XadAuwU7lwu3Qg8Hvg/Ij4MEWL81rgtMx8ZS2OK0nSa9RznOYIisndn+i0/glgr7U47njg/cDVwAHA5sAFwJuBr3XeOSKOonapd/To0dxzzz0AjBkzhqFDhzJ37lwANtpoI8aPH8/MmTMBGDx4MJMmTWLOnDksX17MIjhx4kSeffZZ4C1rEX61tP97jB8/nhUrVrBw4UIARo0axfDhw3nwwQcB2GCDDWhpaWHWrFm0tbUB0Nrayrx581iyZAkAEyZM4IUXXmDRokVA8e+94YYbMmfOHACGDRvGVlttxcyZM8lMIoLW1lYefvhhli1bBkBLSwtLly5l8eLFQPk8DSSzZ8/mlVeK73+TJk1iwYIFPPfcc0D/y9NA0v63sv766zNx4sR+m6eB9Pn1zDPPMH/+fABGjhzJyJEjeeCBB4Ce5Wl1IrNUx9i1FhFjgL9StFpv77D+JODwzGx5g/ffBDzduSNQRPwFWA/YIjPbauuOAs4G3pyrOcHW1tacNm3aGp7R3xz/o4HzP90Zn36u0SH0CnNSTealeszJ6w0fPnxGZk7uatsa3dOMiC2BibXFBzPzv0u87WmgDRjVaf0o4PE1iaNmMfBKe8FsjwkYStG6fWotji1J0io9mtwgIjaJiBuAh4Ebaj9/iYifRcQmq3tvrZPODGDvTpv2Zu2exfl7YEJEdDyXdwAvUBRqSZJ6RU9nBPo3YAKwK8Ul0fWAKcAWlHue5lnAkRHx+YiYGBHnAmOAiwAi4oqIuKLjGyJim4jYBtgQGF5b3rrDLj8AhgPnRkRLROwDnAJcuLpLs5Ik9VRPL8/uA+yZmdM7rPt9RPxv4NY3enNmXlNrkX6TYnKD+4H9M3N+bZdxXbxtZqflDwLzKTr8kJmPRcQHKAryvRSXei+jmOxAkqRe09Oi+RTQ1QOoXwCeKXOAzLwQuLCbbbt3sS5KHPOPrN2wFUmS3lBPL8+eCpwTEW9rX1F7fWZtmyRJA9aaTNi+BfBoRPy1tvw24CXgrRT3PCVJGpDqPmG7JEn9VV0nbJckqT/zIdSSJJXU08kN1o2IUyLiLxHxUkS0dfzpqyAlSaqCnrY0/wn4NEVv2VcpHiZ9AcVwky/2bmiSJFVLT4vmocDRmflDinlkf5aZXwJO5vXT40mSNKD0tGiOAh6ovf4fYOPa618BH+itoCRJqqKeFs0FFHPFAsylmFYPYEfgxd4KSpKkKupp0fwpsGft9bnAKRHxCHA5TmwgSRrgejT3bGae2OH1TyJiIcWcr3/JzJt6OzhJkqpkjR5C3a42UfofeykWSZIqrceTG0TEtrXnXv6p9nNlRGzbF8FJklQlPZ3c4HDgbopnYf6y9jMKuCsiPtn74UmSVB09vTx7GvCtzDy948qIOJHioc9X9VZgkiRVTU8vz44Eru1i/XUUjwaTJGnA6mnR/A2wexfrdwduW9tgJEmqsjIPoT64w+LNwL9ExGT+1mv2fcDBwLd7PTpJkipkTR9CfVTtp6PzgQvXOiJJkiqqzEOofeamJEn4EGpJkkpbk8kNDoiI2yPi6Yh4KiJui4j9+yI4SZKqpKeTG3yeYtL2/wZOAP4P8Ajw04j4bO+HJ0lSdfR0coMTgOMy8/sd1l0aETMoCuhlvRaZJEkV09PLs+MoHjjd2c3A29c+HEmSqmtNHkK9dxfrPwDMX/twJEmqrp5env0ecH7tqSZ/qK3bGTgCOKY3A5MkqWp6+hDqH0bEk8BXKWYBAngQODQzf9bbwUmSVCWli2ZEDKG4DHt7Zv6070KSJKmaSt/TzMyVwFRgWN+FI0lSdfW0I9AsYEJfBCJJUtX1tGh+GzgzIg6MiLERMbzjTx/EJ0lSZfS09+wvav+dCmSH9VFbHtwbQUmSVEU9LZp79EkUkiT1A6WKZkQMBb4LHAisA9wKfCkzn+7D2CRJqpSy9zRPAY6kuDz7HxSzAv2gj2KSJKmSyl6ePRj4XGb+J0BE/Bj4fUQMzsy2PotOkqQKKdvSHAv8rn0hM+8CVgJj+iIoSZKqqGzRHAys6LRuJT3vSCRJUr9VtugFcFVEvNxh3XrAJRHxQvuKzPxQbwYnSVKVlC2aP+pi3VW9GYgkSVVXqmhm5mf6OhBJkqqup9PoSZLUtCyakiSVZNGUJKkki6YkSSVZNCVJKsmiKUlSSRZNSZJKsmhKklSSRVOSpJIsmpIklWTRlCSpJIumJEklWTQlSSrJoilJUkkWTUmSSrJoSpJUUt2LZkR8MSIeiYiXImJGROz6BvvvVtvvpYiYFxFHd9o+OCL+qcMxH4mIf46IUg/YliSprLoWzYg4DDgXOB1oBf4A3BwR47rZfwvgl7X9WoF/Ac6PiI902O0E4B+ALwHvBL5cWz6xj05DktSk6t0aOw64PDMvqS0fExH7Al+g6yJ3NLAoM4+pLT8YETsAXwOur63bCbgxM2+sLT8aET8HduiTM5AkNa26tTQjYl1gO+CWTptuoSh8Xdmxi/3/C5gcEevUlu8A9oiId9Z+z9bA+ylaqJIk9Zp6tjRHAIOBJzqtfwLYq5v3bArc2sX+Q2rHWwx8BxgGPBARbbVtp2XmhV0dMCKOAo4CGD16NPfccw8AY8aMYejQocydOxeAjTbaiPHjxzNz5kwABg8ezKRJk5gzZw7Lly8HYOLEiTz77LPAW0r9A/QH7f8e48ePZ8WKFSxcuBCAUaNGMXz4cB588EEANthgA1paWpg1axZtbW0AtLa2Mm/ePJYsWQLAhAkTeOGFF1i0aBFQ/HtvuOGGzJkzB4Bhw4ax1VZbMXPmTDKTiKC1tZWHH36YZcuWAdDS0sLSpUtZvHgxUD5PA8ns2bN55ZVXAJg0aRILFizgueeeA/pfngaS9r+V9ddfn4kTJ/bbPA2kz69nnnmG+fPnAzBy5EhGjhzJAw88APQsT6sTmdmHp9DhF0WMAf4K7JaZt3dYfxJweGa2dPGevwBXZeapHdZNAW4DxmTm4oj4GPBd4OvAn4FtKO6bfj0zL11dTK2trTlt2rS1PrfjfzRw/qc749PPNTqEXmFOqsm8VI85eb3hw4fPyMzJXW2rZ0vzaaANGNVp/Sjg8W7e83g3+6+sHQ+Kgvm9zPzP2vLsiHg7xT3S1RZNSZJ6om73NDNzBTAD2LvTpr0pesd2ZXo3+/8pM1+pLQ+lKMYdteEYVElSL6t379mzgCsj4i7g9xS9Y8cAFwFExBUAmfmp2v4XAf8YEecAPwR2Bo4EPt7hmDcC/yciHqG4PNtK0Uv3ir4+GUlSc6lr0czMayJiE+CbwGjgfmD/zJxf22Vcp/0fiYj9gbMphqUsAr6Umdd32O0Y4J+AC4G3UnQOugQ4FUmSelHdZ82p9WrtsmdrZu7exbrbgG1Xc7xlwLG1H0mS+oz3/SRJKsmiKUlSSRZNSZJKsmhKklSSRVOSpJIsmpIklWTRlCSpJIumJEklWTQlSSrJoilJUkkWTUmSSrJoSpJUkkVTkqSSLJqSJJVk0ZQkqSSLpiRJJVk0JUkqyaIpSVJJFk1JkkqyaEqSVJJFU5KkkiyakiSVZNGUJKkki6YkSSVZNCVJKsmiKUlSSRZNSZJKsmhKklSSRVOSpJIsmpIklWTRlCSpJIumJEklWTQlSSrJoilJUkkWTUmSSrJoSpJUkkVTkqSSLJqSJJVk0ZQkqSSLpiRJJVk0JUkqyaIpSVJJFk1JkkqyaEqSVJJFU5KkkiyakiSVZNGUJKkki6YkSSVZNCVJKsmiKUlSSRZNSZJKsmhKklSSRVOSpJIsmpIklWTRlCSpJIumJEklWTQlSSrJoilJUkkWTUmSSqp70YyIL0bEIxHxUkTMiIhd32D/3Wr7vRQR8yLi6LU9piRJa6KuRTMiDgPOBU4HWoE/ADdHxLhu9t8C+GVtv1bgX4DzI+Ija3pMSZLWVL1bmscBl2fmJZn5YGYeAywGvtDN/kcDizLzmNr+lwA/Ar62FseUJGmN1K1oRsS6wHbALZ023QLs1M3bduxi//8CJkfEOmt4TEmS1kg9W5ojgMHAE53WPwFs2s17Nu1m/yG1463JMSVJWiNDGh1AvUXEUcBRtcX/GT58+JxGxtMDI4Cn+/qX/NtX+vo3DDh9nhdz0mP+rVRTf/pbeXt3G+pZNJ8G2oBRndaPAh7v5j2Pd7P/ytrxoqfHzMyLgYtLR10REfGnzJzc6Dj0WualesxJNQ2UvNTt8mxmrgBmAHt32rQ3RY/XrkzvZv8/ZeYra3hMSZLWSL0vz54FXBkRdwG/p+gdOwa4CCAirgDIzE/V9r8I+MeIOAf4IbAzcCTw8bLHlCSpt9S1aGbmNRGxCfBNYDRwP7B/Zs6v7TKu0/6PRMT+wNkUQ0gWAV/KzOt7cMyBot9dUm4S5qV6zEk1DYi8RGY2OgZJkvoF556VJKkki6YkSSVZNCVJKsmi2c9ERHR4PajjsqrBvFSPOamm/pgTi2b/MygixgNk5qtZ68nVH//nGyhq8yCPjohWMC9VYE6qKSLWj4htI2L3iBicHXqiRkS/qEf2nu0nIuLdFE932R5YQjEr0p3AVZl5byNja2YRsTPwDeCdwApgGHA78P3MdIKNBjAn1RQRB1Dk5W3Am4DhwG3ADzLzp42MrScsmv1ERDwMPEgxS9IQiqkCJwMbUzz55bTMfLJxETaniFgA/JoiLy9SjDX+IDARuAM4ITMfaFyEzcecVFNELAauoJit7SlgPPARYD/gYeCYzPxtwwIsyaLZD0TEJ4B/Alozc2lt3TCgBdgX+Azw/4B/rE0tqDqIiI9RPBh968x8sbZuHYovNLtRTMjxJPDpzFzWsECbiDmppoj4KHAGsFVmruyw/k0Uj3f8KsWE7odk5lONibKcfnENWYwDHgJW/ZFn5rLM/FNm/jPFg7g/DGzToPia1UbAAooHBwBQmxN5YWb+mGKWqvcBuzQovmZkTqppMPAsxZWxVTLz5dol838GxgL7NyC2HrFo9g+/Bd4PHF9rYXb2c+AvwF71DErcRvEt+bsRMbZzB5PapabZFHMmqz7MSTXdTlEU/z0i3t25009mzgTuA97diOB6wqLZD2TmHym+iX0BOCMidoiIDWuXNqBoib6boriqTjLzIeB/AbsDZwKHRkRLbS5kIuI9FK2aXzYsyCZjTqopMxcBBwNvBb4LfD0i9oyIzQEiYg+KnE1tUIileU+z4iJiUGa+WrsvcxTFpdhxFBPT/57i29s7gP/OzL9vXKTNqfaN+SCKezLvo2jx3w9sAbwFuDMzP979EdRbOvytDKH4gP4ysCNFJ5PZmJOG6dDi343ic2xnilEAS4AtgVeAmzPz6MZEWJ5Fsx+IiPUy86UOy1OAwyh6zz4E3AVcn5ndPcxbvaxWLLPTOLPNgcOBdwHzgAeAG+1wUj8RsVFmLumwPA44guJKzFzMSd1FxGDg1U5/K2OAA4DNgcco/l6mdewkVFUWzQqLiE2BQ4BtKbrL3wVc03GsWeeCqvqqFc8hQFtmtjU6nmYVERMonrO7B0WL8m6Ke/0/zczltX0GZearjYuyudWK52BgZX/Og0WzwiLiF8AEijkYffgAAAfpSURBVPGZiyguabS3Yr4L/HtmrvTDoL4i4h+AP1Nc5nuxw/p1oOit2ajYmlVE3EYxicEdwOMUHed2AZ4Hzge+499K/UXEacA9wC0dW/f9+W/FollREfF+4BqKsZkLI2I9ilk03kUxLnNPihlOzmpgmE0nInah6Al4B8XQhruA2zJzVod93gScAFySmYsbEmgTqXUiuRZ4R2Y+12H9GIpOQUcBP6MYPO/VgDrp8LcyC/gfihnMbszM2zrssz7wHeB7mbmgIYH2kEWzoiLi28CUzHx/F9s2BI4BTqztc0+dw2taEXE2sANwK8Vl81EUHwh/oeiYdXtt3XRgw8z8nwaF2jQi4msUtzH2yMwXa5cBs71FGRGfBC4ADsrMaQ0MtalExBkU035eA/xd7Wdj4AmKnv43AkOBPwIb9Zf7zBbNiqp9S/spcERm/qqL7UMous3fnJln1zu+ZhURVwLPZeaXImJdisuAewOtFJcHn6CY8/SRzNy7cZE2j4jYmmJ85rG1CQza10eHSdp/BtybmSc3KMymExGXUXx5+Vzt3v+2FL2Ztwe2ori/uQVwd2ZWflKDdkMaHYC6NQO4Gfh+RPwbxVyaD7V3agDeDGwNXNSg+JrVdyiG+VCbsvBXwK8i4q0Ul8z3oZhT80sNi7D5zKGY0/S8iNgNuIHifvMzsKpD3bbAlY0LsSm1T5pPrdX/J+BPEbERRT72oJih6fsNi3AN2NKssIgYS3EJdi/gOYoegY8DbRTf2Foys6VxETaniBjS3qmEYoKQVztcCvwgxZNnNmpokE2mdh/5GOBDwPrAQopp25ZQXE5fPzO3bVyE6jxMq/a38h+Z+ebGRtYzFs1+oDaLySeBnSiuDryF4kkBZ2Xm7EbGpkJt8HYAP6G4l+mUhg0QEe8E/p5iHua3AKMp7j//IDMfaWRs+ptaAb0QGJ6ZhzY6np6waFZM7RvzeyhmNFlGMR/jn9onLoiIFuBRYEWavLrpkJeDKFovf6YYLP9YZi7vNBvNRu2XBtX3ah1/BnUevhARI6v+xIyBrHOHrG62D8vM5+sb2dqxaFZMRJxHUTAXUzykdXOKS7I/oxhrNr9x0TWvLvLydoqxszcA52TmvAaG15QiYrvMnNFp3boUH9T9bvzfQNFNXl43K1B/5YTtFVLrBXgk8Flg38zcEtiUYnD2fsBDEfG/Oz+5QX2rm7yMpri89EHgzxFxVNQ0LtLmERFbAXdHxP0RcVZEtELROSszX6mlYt2IeG+tkKoOVpOXtszMWl7W6c95sWhWy4EU3eJvycxnah1OnsrMf83MLYCzga9QfGCrfsrk5Thg9ED4Jt1PfBz4b4pe5e8DboqIP0bE8RExtpaHkRRjAN/awDibTZm8vJV+nBeLZrU8CIyuzaNJrYfmkNpsQACXAC9QDORW/ZiX6mmhGKf8HYpZf75B8XSZTwLTI+JG4IfAg5m5sGFRNp8BnxfHaVbL7cBKim9nJwE/y8yXa+vIzEdq9wZebmCMzci8VEits9UvgLfXOsg9TnGJ/EaKD+3tgCkUX2L+V8MCbTLNkhc7AlVMbb7MsykeZbSQYm7TabXX/wB8Ati8wyQHqgPzUl0RsU4XPWcPphj+8+bMfKExkTW3gZoXi2YFRfGU+b+nmJ5tPMW3tLdQTBX2w8z8zwaG17TMSzV096SSWkunvcPJ94DJmbl73QNsUs2SF4tmRUTEZhSPAQNYTvGw3BcpPpzfTHHP7OnMfLYxETYn81I9HXISwKvAnOzwAPZaD+YPA3/NzLsbE2XzaZa8WDQrICK+QDGcYRLFh/A8ist+vwF+kpmPNTC8pmVeqqdTTpZTTDCxkKI35g2ZOaeB4TWtZsqLvWcbrHbJ73SKyQtGU3TTvgxYQXGz/N9r4wTbv6mpDsxL9XSRkx2BH1HMxfwpignb23MyuFFxNptmy4stzQaLiGOAT2bmDl1s2wX4F+BtwHsz8+l6x9eszEv1mJNqara82NJsvBXAsIj4OyjmOG2fKSMz7wAOB14CPtC4EJuSeakec1JNTZUXi2bj/YTipvmxETEsM1/OzBVRPAWAzFwAPA9s1sggm5B5qR5zUk1NlReLZgPV7oU9S/Eg1r2BRRFxaURsV9s+LiI+STE28NrGRdpczEv1mJNqasa8eE+zAiJiY2AcxfMyDwJ2rm16nKL79pWZ+e3GRNe8zEv1mJNqaqa8WDQbJCLeChwBfBV4mmLs3/PAHRTdtNehGPP0q8z8S6PibDbmpXrMSTU1a14smg0SEZcD7wJupLi8MZziEsY7gCeBb2bmnQ0LsEmZl+oxJ9XUrHmxaDZA7T7AMmD/zLy9w7pxwA7A5ylmnDk0M+9pWKBNxrxUjzmppmbOix2BGmNr4BGKrtpA8aj5zJyfmddSPNj4eeCjDYqvWZmX6jEn1dS0ebFoNsY8issXZ0fEVu1ds9vVHjv1I2C/RgTXxMxL9ZiTamravFg0GyAzXwT+L7A+cAXwqYgYGxFvBoiIocBuFA9vVZ2Yl+oxJ9XUzHnxnmYD1WbQ+BbwIYpJjqcDTwF7AYuBz2fm7MZF2JzMS/WYk2pqxrxYNCug1nX7AOBAiumm7geuy8yHGhpYkzMv1WNOqqmZ8mLRrJjo5kGuaizzUj3mpJoGel4smpIklWRHIEmSSrJoSpJUkkVTkqSSLJqSJJVk0ZQkqSSLpiRJJVk0JUkq6f8D5gSyj+QNAKcAAAAASUVORK5CYII=\n",
      "text/plain": [
       "<Figure size 504x360 with 1 Axes>"
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "backend = BasicAer.get_backend('qasm_simulator')\n",
    "sim_job = execute([shor], backend)\n",
    "sim_result = sim_job.result()\n",
    "sim_data = sim_result.get_counts(shor) \n",
    "plot_histogram(sim_data)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "We see the measurements yield $x = 0, 2, 4$ and $6$ with equal(ish) probability. Using the continued fraction expansion for $x/2^3$, we note that only $x = 2$ and $6$ give the correct period $r = 4$, and thus the factors $p = \\text{gcd}(a^{r/2}+1,15) = 3$ and $q = \\text{gcd}(a^{r/2}-1,15) = 5$. \n",
    "\n",
    "Why don't you try seeing what you get for $a = 2, 8, 11, 13$?"
   ]
  },
  {
   "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.2"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}