S5.2_Implementacion.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "<table width=\"100%\"><tr><td style=\"color:#bbbbbb;background-color:#ffffff;font-size:11px;font-style:italic;text-align:right;\"></td></tr></table>\n",
    "$ \\newcommand{\\bra}[1]{\\langle #1|} $\n",
    "$ \\newcommand{\\ket}[1]{|#1\\rangle} $\n",
    "$ \\newcommand{\\braket}[2]{\\langle #1|#2\\rangle} $\n",
    "$ \\newcommand{\\dot}[2]{ #1 \\cdot #2} $\n",
    "$ \\newcommand{\\biginner}[2]{\\left\\langle #1,#2\\right\\rangle} $\n",
    "$ \\newcommand{\\mymatrix}[2]{\\left( \\begin{array}{#1} #2\\end{array} \\right)} $\n",
    "$ \\newcommand{\\myvector}[1]{\\mymatrix{c}{#1}} $\n",
    "$ \\newcommand{\\myrvector}[1]{\\mymatrix{r}{#1}} $\n",
    "$ \\newcommand{\\mypar}[1]{\\left( #1 \\right)} $\n",
    "$ \\newcommand{\\mybigpar}[1]{ \\Big( #1 \\Big)} $\n",
    "$ \\newcommand{\\sqrttwo}{\\frac{1}{\\sqrt{2}}} $\n",
    "$ \\newcommand{\\dsqrttwo}{\\dfrac{1}{\\sqrt{2}}} $\n",
    "$ \\newcommand{\\onehalf}{\\frac{1}{2}} $\n",
    "$ \\newcommand{\\donehalf}{\\dfrac{1}{2}} $\n",
    "$ \\newcommand{\\hadamard}{ \\mymatrix{rr}{ \\sqrttwo & \\sqrttwo \\\\ \\sqrttwo & -\\sqrttwo }} $\n",
    "$ \\newcommand{\\vzero}{\\myvector{1\\\\0}} $\n",
    "$ \\newcommand{\\vone}{\\myvector{0\\\\1}} $\n",
    "$ \\newcommand{\\stateplus}{\\myvector{ \\sqrttwo \\\\  \\sqrttwo } } $\n",
    "$ \\newcommand{\\stateminus}{ \\myrvector{ \\sqrttwo \\\\ -\\sqrttwo } } $\n",
    "$ \\newcommand{\\myarray}[2]{ \\begin{array}{#1}#2\\end{array}} $\n",
    "$ \\newcommand{\\X}{ \\mymatrix{cc}{0 & 1 \\\\ 1 & 0}  } $\n",
    "$ \\newcommand{\\Z}{ \\mymatrix{rr}{1 & 0 \\\\ 0 & -1}  } $\n",
    "$ \\newcommand{\\Htwo}{ \\mymatrix{rrrr}{ \\frac{1}{2} & \\frac{1}{2} & \\frac{1}{2} & \\frac{1}{2} \\\\ \\frac{1}{2} & -\\frac{1}{2} & \\frac{1}{2} & -\\frac{1}{2} \\\\ \\frac{1}{2} & \\frac{1}{2} & -\\frac{1}{2} & -\\frac{1}{2} \\\\ \\frac{1}{2} & -\\frac{1}{2} & -\\frac{1}{2} & \\frac{1}{2} } } $\n",
    "$ \\newcommand{\\CNOT}{ \\mymatrix{cccc}{1 & 0 & 0 & 0 \\\\ 0 & 1 & 0 & 0 \\\\ 0 & 0 & 0 & 1 \\\\ 0 & 0 & 1 & 0} } $\n",
    "$ \\newcommand{\\norm}[1]{ \\left\\lVert #1 \\right\\rVert } $\n",
    "$ \\newcommand{\\pstate}[1]{ \\lceil \\mspace{-1mu} #1 \\mspace{-1.5mu} \\rfloor } $\n",
    "\n",
    "<img style=\"float: right;\" src=\"https://avatars.githubusercontent.com/u/141567859?s=200&v=4\">\n",
    "    \n",
    "<br>\n",
    "<br>\n",
    "<br>\n",
    "<font size=\"8\">QuantumQuipu/</font><br>\n",
    "<br>\n",
    "<br>\n",
    "<font size=\"15\"><b>QuantumScholars2023</b></font>\n",
    "<br>\n",
    "<br>\n",
    "<br>\n",
    "<br>\n",
    "<br>\n",
    "\n",
    "<div style=\"border-top: 20px solid #DE781F;\"></div>"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "_uuid": "1752ce061957fd1ce93d2e4db9494b7b29da7935",
    "id": "4skdndoa-7GI"
   },
   "source": [
    "**Autor:** Gustavo Valdivia Mera\\\n",
    "**Institución:** University of Houston\\\n",
    "**Correo:** gvaldiviamera@uh.edu\n",
    "          \n",
    "Este material está sujeto a los términos y condiciones de la licencia\n",
    "[Creative Commons CC BY-NC-SA 4.0](https://creativecommons.org/licenses/by-nc-sa/4.0/).\\\n",
    " Se permite el uso gratuito para cualquier propósito no comercial.\n",
    "\n",
    "*Puede consultar la última versión de este notebook en nuestro [repositorio](https://github.com/QuantumQuipu/QuantumScholars2023) y los videos de clase en nuestro canal de [Youtube](https://www.youtube.com/channel/UCze8vzQLcplutz0nWDNjFCA).*    "
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Implementación"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Veamos el siguiente problema de nodos y aristas\n",
    "\n",
    "<img src=\"imagenes/sesion5/ag_im.png\" width=\"50%\" align=\"center\">\n",
    "    </td></tr>\n",
    "    \n",
    "Debemos implementar un algoritmo que haga posible identificar dos grupos de nodos, de tal forma que la cantidad de aristas entre los elementos de grupos distintos sea la mayor posible.\n",
    "\n",
    "Algunos ejemplos de grupos (no deseados):\n",
    "\n",
    "<img src=\"imagenes/sesion5/ag_im2.png\" width=\"50%\" align=\"center\">\n",
    "    </td></tr>\n",
    "    \n",
    "Notamos que cada grupo tiene un color específico, entonces en nuestro algoritmo esto será indicado por el estado del qubit asociado con el nodo:\n",
    "\n",
    "- Para los elementos del conjunto naranja, cada qubit estará en el estado $\\ket{0}$.\n",
    "- Para los elementos del conjunto azul, cada qubit estará en el estado $\\ket{1}$."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from qiskit import QuantumRegister, ClassicalRegister, QuantumCircuit\n",
    "from qiskit.circuit.library import XGate,ZGate\n",
    "from qiskit.visualization import plot_histogram\n",
    "from qiskit import execute, Aer"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "def oracle_part(qc,qr):\n",
    "    mcx = XGate().control(3)\n",
    "    \n",
    "    #Los qubits del 0 al 3 son los nodos.\n",
    "    #Los qubits del 4 al 8 nos permiten reconocer si la arista es correcta\n",
    "    #(i.e. si se da entre nodos de distinto color).\n",
    "    qc.cx(qr[0], qr[4])\n",
    "    qc.cx(qr[1], qr[4])\n",
    "    qc.barrier()\n",
    "    qc.cx(qr[0], qr[5])\n",
    "    qc.cx(qr[2], qr[5])\n",
    "    qc.barrier()\n",
    "    qc.cx(qr[0], qr[6])\n",
    "    qc.cx(qr[3], qr[6])\n",
    "    qc.barrier()\n",
    "    qc.cx(qr[1], qr[7])\n",
    "    qc.cx(qr[2], qr[7])\n",
    "    qc.barrier()\n",
    "    qc.cx(qr[1], qr[8])\n",
    "    qc.cx(qr[3], qr[8])\n",
    "    qc.barrier()\n",
    "    \n",
    "    #Los qubits del 9 al 11 nos van a permitir contar la cantidad de aristas correctas\n",
    "    #de tal forma que la suma será expresada en binario con cifras dadas por q_11, q_10 y q_9.\n",
    "    qc.barrier()    \n",
    "    qc.cx(qr[4],qr[9])\n",
    "    qc.barrier()\n",
    "    \n",
    "    qc.ccx(qr[5], qr[9], qr[10])\n",
    "    qc.cx(qr[5],qr[9])\n",
    "    qc.barrier()\n",
    "    \n",
    "    qc.ccx(qr[6], qr[9], qr[10])\n",
    "    qc.cx(qr[6],qr[9])\n",
    "    qc.barrier()\n",
    "    \n",
    "    qc.append(mcx,[7,9,10,11])\n",
    "    qc.ccx(qr[7], qr[9], qr[10])\n",
    "    qc.cx(qr[7],qr[9])\n",
    "    qc.barrier()\n",
    "    \n",
    "    qc.append(mcx,[8,9,10,11])\n",
    "    qc.ccx(qr[8], qr[9], qr[10])\n",
    "    qc.cx(qr[8],qr[9])\n",
    "    qc.barrier()\n",
    "    \n",
    "    qc.x(qr[9])\n",
    "    qc.x(qr[10])\n",
    "    qc.barrier()\n",
    "    \n",
    "    #El qubit 12 indicará cuando se haya encontrado un estado deseado\n",
    "    qc.append(mcx,[9,10,11,12])\n",
    "    \n",
    "    return qc"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "#qr=QuantumRegister(9)\n",
    "#qc=QuantumCircuit(qr)\n",
    "#oracle_part(qc,qr).draw()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [],
   "source": [
    "#qr=QuantumRegister(13)\n",
    "#qc=QuantumCircuit(qr)\n",
    "#oracle_part(qc,qr).draw()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "def oracle(qc,qr):\n",
    "    \n",
    "    qc=oracle_part(qc,qr)\n",
    "    qc1=qc.inverse()\n",
    "    qc.z(12)\n",
    "    qc.compose(qc1,inplace=True)\n",
    "    \n",
    "    return qc"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"word-wrap: normal;white-space: pre;background: #fff0;line-height: 1.1;font-family: &quot;Courier New&quot;,Courier,monospace\">                  ░            ░            ░            ░            ░  ░ »\n",
       " q0_0: ──■────────░───■────────░───■────────░────────────░────────────░──░─»\n",
       "         │        ░   │        ░   │        ░            ░            ░  ░ »\n",
       " q0_1: ──┼────■───░───┼────────░───┼────────░───■────────░───■────────░──░─»\n",
       "         │    │   ░   │        ░   │        ░   │        ░   │        ░  ░ »\n",
       " q0_2: ──┼────┼───░───┼────■───░───┼────────░───┼────■───░───┼────────░──░─»\n",
       "         │    │   ░   │    │   ░   │        ░   │    │   ░   │        ░  ░ »\n",
       " q0_3: ──┼────┼───░───┼────┼───░───┼────■───░───┼────┼───░───┼────■───░──░─»\n",
       "       ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░   │    │   ░  ░ »\n",
       " q0_4: ┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░───┼────┼───░──░─»\n",
       "       └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░  ░ »\n",
       " q0_5: ───────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░──░─»\n",
       "                  ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░  ░ »\n",
       " q0_6: ───────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░──░─»\n",
       "                  ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░  ░ »\n",
       " q0_7: ───────────░────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░──░─»\n",
       "                  ░            ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░  ░ »\n",
       " q0_8: ───────────░────────────░────────────░────────────░─┤ X ├┤ X ├─░──░─»\n",
       "                  ░            ░            ░            ░ └───┘└───┘ ░  ░ »\n",
       " q0_9: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "q0_10: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "q0_11: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "q0_12: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_0: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_1: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_2: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_3: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_4: ──■───░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«         │   ░            ░            ░                 ░                 ░ »\n",
       "« q0_5: ──┼───░───■────■───░────────────░─────────────────░─────────────────░─»\n",
       "«         │   ░   │    │   ░            ░                 ░                 ░ »\n",
       "« q0_6: ──┼───░───┼────┼───░───■────■───░─────────────────░─────────────────░─»\n",
       "«         │   ░   │    │   ░   │    │   ░                 ░                 ░ »\n",
       "« q0_7: ──┼───░───┼────┼───░───┼────┼───░───■────■────■───░─────────────────░─»\n",
       "«         │   ░   │    │   ░   │    │   ░   │    │    │   ░                 ░ »\n",
       "« q0_8: ──┼───░───┼────┼───░───┼────┼───░───┼────┼────┼───░───■────■────■───░─»\n",
       "«       ┌─┴─┐ ░   │  ┌─┴─┐ ░   │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░ »\n",
       "« q0_9: ┤ X ├─░───■──┤ X ├─░───■──┤ X ├─░───■────■──┤ X ├─░───■────■──┤ X ├─░─»\n",
       "«       └───┘ ░ ┌─┴─┐└───┘ ░ ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░ »\n",
       "«q0_10: ──────░─┤ X ├──────░─┤ X ├──────░───■──┤ X ├──────░───■──┤ X ├──────░─»\n",
       "«             ░ └───┘      ░ └───┘      ░ ┌─┴─┐└───┘      ░ ┌─┴─┐└───┘      ░ »\n",
       "«q0_11: ──────░────────────░────────────░─┤ X ├───────────░─┤ X ├───────────░─»\n",
       "«             ░            ░            ░ └───┘           ░ └───┘           ░ »\n",
       "«q0_12: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_0: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_1: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_2: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_3: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_4: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_5: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_6: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_7: ──────░─────────────────░───────░─────────────────░───■────■────■───░─»\n",
       "«             ░                 ░       ░                 ░   │    │    │   ░ »\n",
       "« q0_8: ──────░─────────────────░───────░───■────■────■───░───┼────┼────┼───░─»\n",
       "«       ┌───┐ ░                 ░ ┌───┐ ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │    │   ░ »\n",
       "« q0_9: ┤ X ├─░───■─────────■───░─┤ X ├─░─┤ X ├──■────■───░─┤ X ├──■────■───░─»\n",
       "«       ├───┤ ░   │         │   ░ ├───┤ ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐  │   ░ »\n",
       "«q0_10: ┤ X ├─░───■─────────■───░─┤ X ├─░──────┤ X ├──■───░──────┤ X ├──■───░─»\n",
       "«       └───┘ ░   │         │   ░ └───┘ ░      └───┘┌─┴─┐ ░      └───┘┌─┴─┐ ░ »\n",
       "«q0_11: ──────░───■─────────■───░───────░───────────┤ X ├─░───────────┤ X ├─░─»\n",
       "«             ░ ┌─┴─┐┌───┐┌─┴─┐ ░       ░           └───┘ ░           └───┘ ░ »\n",
       "«q0_12: ──────░─┤ X ├┤ Z ├┤ X ├─░───────░─────────────────░─────────────────░─»\n",
       "«             ░ └───┘└───┘└───┘ ░       ░                 ░                 ░ »\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "« q0_0: ───────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "« q0_1: ───────────░────────────░───────░──░────────■───░────────■───░──────»\n",
       "«                  ░            ░       ░  ░        │   ░        │   ░      »\n",
       "« q0_2: ───────────░────────────░───────░──░────────┼───░───■────┼───░──────»\n",
       "«                  ░            ░       ░  ░        │   ░   │    │   ░      »\n",
       "« q0_3: ───────────░────────────░───────░──░───■────┼───░───┼────┼───░───■──»\n",
       "«                  ░            ░       ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q0_4: ───────────░────────────░───■───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«                  ░            ░   │   ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q0_5: ───────────░───■────■───░───┼───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«                  ░   │    │   ░   │   ░  ░   │    │   ░   │    │   ░ ┌─┴─┐»\n",
       "« q0_6: ──■────■───░───┼────┼───░───┼───░──░───┼────┼───░───┼────┼───░─┤ X ├»\n",
       "«         │    │   ░   │    │   ░   │   ░  ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘»\n",
       "« q0_7: ──┼────┼───░───┼────┼───░───┼───░──░───┼────┼───░─┤ X ├┤ X ├─░──────»\n",
       "«         │    │   ░   │    │   ░   │   ░  ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░      »\n",
       "« q0_8: ──┼────┼───░───┼────┼───░───┼───░──░─┤ X ├┤ X ├─░────────────░──────»\n",
       "«       ┌─┴─┐  │   ░ ┌─┴─┐  │   ░ ┌─┴─┐ ░  ░ └───┘└───┘ ░            ░      »\n",
       "« q0_9: ┤ X ├──■───░─┤ X ├──■───░─┤ X ├─░──░────────────░────────────░──────»\n",
       "«       └───┘┌─┴─┐ ░ └───┘┌─┴─┐ ░ └───┘ ░  ░            ░            ░      »\n",
       "«q0_10: ─────┤ X ├─░──────┤ X ├─░───────░──░────────────░────────────░──────»\n",
       "«            └───┘ ░      └───┘ ░       ░  ░            ░            ░      »\n",
       "«q0_11: ───────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "«q0_12: ───────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "«             ░            ░           \n",
       "« q0_0: ──■───░────────■───░────────■──\n",
       "«         │   ░        │   ░        │  \n",
       "« q0_1: ──┼───░────────┼───░───■────┼──\n",
       "«         │   ░        │   ░   │    │  \n",
       "« q0_2: ──┼───░───■────┼───░───┼────┼──\n",
       "«         │   ░   │    │   ░   │    │  \n",
       "« q0_3: ──┼───░───┼────┼───░───┼────┼──\n",
       "«         │   ░   │    │   ░ ┌─┴─┐┌─┴─┐\n",
       "« q0_4: ──┼───░───┼────┼───░─┤ X ├┤ X ├\n",
       "«         │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘\n",
       "« q0_5: ──┼───░─┤ X ├┤ X ├─░───────────\n",
       "«       ┌─┴─┐ ░ └───┘└───┘ ░           \n",
       "« q0_6: ┤ X ├─░────────────░───────────\n",
       "«       └───┘ ░            ░           \n",
       "« q0_7: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "« q0_8: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "« q0_9: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "«q0_10: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "«q0_11: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "«q0_12: ──────░────────────░───────────\n",
       "«             ░            ░           </pre>"
      ],
      "text/plain": [
       "                  ░            ░            ░            ░            ░  ░ »\n",
       " q0_0: ──■────────░───■────────░───■────────░────────────░────────────░──░─»\n",
       "         │        ░   │        ░   │        ░            ░            ░  ░ »\n",
       " q0_1: ──┼────■───░───┼────────░───┼────────░───■────────░───■────────░──░─»\n",
       "         │    │   ░   │        ░   │        ░   │        ░   │        ░  ░ »\n",
       " q0_2: ──┼────┼───░───┼────■───░───┼────────░───┼────■───░───┼────────░──░─»\n",
       "         │    │   ░   │    │   ░   │        ░   │    │   ░   │        ░  ░ »\n",
       " q0_3: ──┼────┼───░───┼────┼───░───┼────■───░───┼────┼───░───┼────■───░──░─»\n",
       "       ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░   │    │   ░  ░ »\n",
       " q0_4: ┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░───┼────┼───░──░─»\n",
       "       └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░  ░ »\n",
       " q0_5: ───────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░──░─»\n",
       "                  ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░  ░ »\n",
       " q0_6: ───────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░──░─»\n",
       "                  ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░  ░ »\n",
       " q0_7: ───────────░────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░──░─»\n",
       "                  ░            ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░  ░ »\n",
       " q0_8: ───────────░────────────░────────────░────────────░─┤ X ├┤ X ├─░──░─»\n",
       "                  ░            ░            ░            ░ └───┘└───┘ ░  ░ »\n",
       " q0_9: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "q0_10: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "q0_11: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "q0_12: ───────────░────────────░────────────░────────────░────────────░──░─»\n",
       "                  ░            ░            ░            ░            ░  ░ »\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_0: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_1: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_2: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_3: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "« q0_4: ──■───░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«         │   ░            ░            ░                 ░                 ░ »\n",
       "« q0_5: ──┼───░───■────■───░────────────░─────────────────░─────────────────░─»\n",
       "«         │   ░   │    │   ░            ░                 ░                 ░ »\n",
       "« q0_6: ──┼───░───┼────┼───░───■────■───░─────────────────░─────────────────░─»\n",
       "«         │   ░   │    │   ░   │    │   ░                 ░                 ░ »\n",
       "« q0_7: ──┼───░───┼────┼───░───┼────┼───░───■────■────■───░─────────────────░─»\n",
       "«         │   ░   │    │   ░   │    │   ░   │    │    │   ░                 ░ »\n",
       "« q0_8: ──┼───░───┼────┼───░───┼────┼───░───┼────┼────┼───░───■────■────■───░─»\n",
       "«       ┌─┴─┐ ░   │  ┌─┴─┐ ░   │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░ »\n",
       "« q0_9: ┤ X ├─░───■──┤ X ├─░───■──┤ X ├─░───■────■──┤ X ├─░───■────■──┤ X ├─░─»\n",
       "«       └───┘ ░ ┌─┴─┐└───┘ ░ ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░ »\n",
       "«q0_10: ──────░─┤ X ├──────░─┤ X ├──────░───■──┤ X ├──────░───■──┤ X ├──────░─»\n",
       "«             ░ └───┘      ░ └───┘      ░ ┌─┴─┐└───┘      ░ ┌─┴─┐└───┘      ░ »\n",
       "«q0_11: ──────░────────────░────────────░─┤ X ├───────────░─┤ X ├───────────░─»\n",
       "«             ░            ░            ░ └───┘           ░ └───┘           ░ »\n",
       "«q0_12: ──────░────────────░────────────░─────────────────░─────────────────░─»\n",
       "«             ░            ░            ░                 ░                 ░ »\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_0: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_1: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_2: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_3: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_4: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_5: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_6: ──────░─────────────────░───────░─────────────────░─────────────────░─»\n",
       "«             ░                 ░       ░                 ░                 ░ »\n",
       "« q0_7: ──────░─────────────────░───────░─────────────────░───■────■────■───░─»\n",
       "«             ░                 ░       ░                 ░   │    │    │   ░ »\n",
       "« q0_8: ──────░─────────────────░───────░───■────■────■───░───┼────┼────┼───░─»\n",
       "«       ┌───┐ ░                 ░ ┌───┐ ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │    │   ░ »\n",
       "« q0_9: ┤ X ├─░───■─────────■───░─┤ X ├─░─┤ X ├──■────■───░─┤ X ├──■────■───░─»\n",
       "«       ├───┤ ░   │         │   ░ ├───┤ ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐  │   ░ »\n",
       "«q0_10: ┤ X ├─░───■─────────■───░─┤ X ├─░──────┤ X ├──■───░──────┤ X ├──■───░─»\n",
       "«       └───┘ ░   │         │   ░ └───┘ ░      └───┘┌─┴─┐ ░      └───┘┌─┴─┐ ░ »\n",
       "«q0_11: ──────░───■─────────■───░───────░───────────┤ X ├─░───────────┤ X ├─░─»\n",
       "«             ░ ┌─┴─┐┌───┐┌─┴─┐ ░       ░           └───┘ ░           └───┘ ░ »\n",
       "«q0_12: ──────░─┤ X ├┤ Z ├┤ X ├─░───────░─────────────────░─────────────────░─»\n",
       "«             ░ └───┘└───┘└───┘ ░       ░                 ░                 ░ »\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "« q0_0: ───────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "« q0_1: ───────────░────────────░───────░──░────────■───░────────■───░──────»\n",
       "«                  ░            ░       ░  ░        │   ░        │   ░      »\n",
       "« q0_2: ───────────░────────────░───────░──░────────┼───░───■────┼───░──────»\n",
       "«                  ░            ░       ░  ░        │   ░   │    │   ░      »\n",
       "« q0_3: ───────────░────────────░───────░──░───■────┼───░───┼────┼───░───■──»\n",
       "«                  ░            ░       ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q0_4: ───────────░────────────░───■───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«                  ░            ░   │   ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q0_5: ───────────░───■────■───░───┼───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«                  ░   │    │   ░   │   ░  ░   │    │   ░   │    │   ░ ┌─┴─┐»\n",
       "« q0_6: ──■────■───░───┼────┼───░───┼───░──░───┼────┼───░───┼────┼───░─┤ X ├»\n",
       "«         │    │   ░   │    │   ░   │   ░  ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘»\n",
       "« q0_7: ──┼────┼───░───┼────┼───░───┼───░──░───┼────┼───░─┤ X ├┤ X ├─░──────»\n",
       "«         │    │   ░   │    │   ░   │   ░  ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░      »\n",
       "« q0_8: ──┼────┼───░───┼────┼───░───┼───░──░─┤ X ├┤ X ├─░────────────░──────»\n",
       "«       ┌─┴─┐  │   ░ ┌─┴─┐  │   ░ ┌─┴─┐ ░  ░ └───┘└───┘ ░            ░      »\n",
       "« q0_9: ┤ X ├──■───░─┤ X ├──■───░─┤ X ├─░──░────────────░────────────░──────»\n",
       "«       └───┘┌─┴─┐ ░ └───┘┌─┴─┐ ░ └───┘ ░  ░            ░            ░      »\n",
       "«q0_10: ─────┤ X ├─░──────┤ X ├─░───────░──░────────────░────────────░──────»\n",
       "«            └───┘ ░      └───┘ ░       ░  ░            ░            ░      »\n",
       "«q0_11: ───────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "«q0_12: ───────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«                  ░            ░       ░  ░            ░            ░      »\n",
       "«             ░            ░           \n",
       "« q0_0: ──■───░────────■───░────────■──\n",
       "«         │   ░        │   ░        │  \n",
       "« q0_1: ──┼───░────────┼───░───■────┼──\n",
       "«         │   ░        │   ░   │    │  \n",
       "« q0_2: ──┼───░───■────┼───░───┼────┼──\n",
       "«         │   ░   │    │   ░   │    │  \n",
       "« q0_3: ──┼───░───┼────┼───░───┼────┼──\n",
       "«         │   ░   │    │   ░ ┌─┴─┐┌─┴─┐\n",
       "« q0_4: ──┼───░───┼────┼───░─┤ X ├┤ X ├\n",
       "«         │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘\n",
       "« q0_5: ──┼───░─┤ X ├┤ X ├─░───────────\n",
       "«       ┌─┴─┐ ░ └───┘└───┘ ░           \n",
       "« q0_6: ┤ X ├─░────────────░───────────\n",
       "«       └───┘ ░            ░           \n",
       "« q0_7: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "« q0_8: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "« q0_9: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "«q0_10: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "«q0_11: ──────░────────────░───────────\n",
       "«             ░            ░           \n",
       "«q0_12: ──────░────────────░───────────\n",
       "«             ░            ░           "
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "qr=QuantumRegister(13)\n",
    "qc=QuantumCircuit(qr)\n",
    "oracle(qc,qr).draw()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "def grover_diffusion(qc,qr):\n",
    "    mcz = ZGate().control(3)\n",
    "    \n",
    "    qc.barrier()\n",
    "    qc.h(range(4))\n",
    "    qc.x(range(4))\n",
    "    qc.append(mcz,list(range(0,4)))\n",
    "    qc.x(range(4))\n",
    "    qc.h(range(4))\n",
    "    qc.barrier()\n",
    "    return qc"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [],
   "source": [
    "#qr=QuantumRegister(13)\n",
    "#qc=QuantumCircuit(qr)\n",
    "#grover_diffusion(qc,qr).draw()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [],
   "source": [
    "def grover(qc,qr):\n",
    "    return grover_diffusion(oracle(qc,qr),qr)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [],
   "source": [
    "#qr=QuantumRegister(13)\n",
    "#qc=QuantumCircuit(qr)\n",
    "#grover(qc,qr).draw()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<pre style=\"word-wrap: normal;white-space: pre;background: #fff0;line-height: 1.1;font-family: &quot;Courier New&quot;,Courier,monospace\">       ┌───┐           ░            ░            ░            ░            ░ »\n",
       " q2_0: ┤ H ├──■────────░───■────────░───■────────░────────────░────────────░─»\n",
       "       ├───┤  │        ░   │        ░   │        ░            ░            ░ »\n",
       " q2_1: ┤ H ├──┼────■───░───┼────────░───┼────────░───■────────░───■────────░─»\n",
       "       ├───┤  │    │   ░   │        ░   │        ░   │        ░   │        ░ »\n",
       " q2_2: ┤ H ├──┼────┼───░───┼────■───░───┼────────░───┼────■───░───┼────────░─»\n",
       "       ├───┤  │    │   ░   │    │   ░   │        ░   │    │   ░   │        ░ »\n",
       " q2_3: ┤ H ├──┼────┼───░───┼────┼───░───┼────■───░───┼────┼───░───┼────■───░─»\n",
       "       └───┘┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░   │    │   ░ »\n",
       " q2_4: ─────┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░───┼────┼───░─»\n",
       "            └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░ »\n",
       " q2_5: ────────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░─»\n",
       "                       ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░ »\n",
       " q2_6: ────────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░─»\n",
       "                       ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░ »\n",
       " q2_7: ────────────────░────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░─»\n",
       "                       ░            ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░ »\n",
       " q2_8: ────────────────░────────────░────────────░────────────░─┤ X ├┤ X ├─░─»\n",
       "                       ░            ░            ░            ░ └───┘└───┘ ░ »\n",
       " q2_9: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       "q2_10: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       "q2_11: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       "q2_12: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       " c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "                                                                             »\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_0: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_1: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_2: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_3: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_4: ─░───■───░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░   │   ░            ░            ░                 ░                »\n",
       "« q2_5: ─░───┼───░───■────■───░────────────░─────────────────░────────────────»\n",
       "«        ░   │   ░   │    │   ░            ░                 ░                »\n",
       "« q2_6: ─░───┼───░───┼────┼───░───■────■───░─────────────────░────────────────»\n",
       "«        ░   │   ░   │    │   ░   │    │   ░                 ░                »\n",
       "« q2_7: ─░───┼───░───┼────┼───░───┼────┼───░───■────■────■───░────────────────»\n",
       "«        ░   │   ░   │    │   ░   │    │   ░   │    │    │   ░                »\n",
       "« q2_8: ─░───┼───░───┼────┼───░───┼────┼───░───┼────┼────┼───░───■────■────■──»\n",
       "«        ░ ┌─┴─┐ ░   │  ┌─┴─┐ ░   │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░   │    │  ┌─┴─┐»\n",
       "« q2_9: ─░─┤ X ├─░───■──┤ X ├─░───■──┤ X ├─░───■────■──┤ X ├─░───■────■──┤ X ├»\n",
       "«        ░ └───┘ ░ ┌─┴─┐└───┘ ░ ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘»\n",
       "«q2_10: ─░───────░─┤ X ├──────░─┤ X ├──────░───■──┤ X ├──────░───■──┤ X ├─────»\n",
       "«        ░       ░ └───┘      ░ └───┘      ░ ┌─┴─┐└───┘      ░ ┌─┴─┐└───┘     »\n",
       "«q2_11: ─░───────░────────────░────────────░─┤ X ├───────────░─┤ X ├──────────»\n",
       "«        ░       ░            ░            ░ └───┘           ░ └───┘          »\n",
       "«q2_12: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_0: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_1: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_2: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_3: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_4: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_5: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_6: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_7: ─░───────░─────────────────░───────░─────────────────░───■────■────■──»\n",
       "«        ░       ░                 ░       ░                 ░   │    │    │  »\n",
       "« q2_8: ─░───────░─────────────────░───────░───■────■────■───░───┼────┼────┼──»\n",
       "«        ░ ┌───┐ ░                 ░ ┌───┐ ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │    │  »\n",
       "« q2_9: ─░─┤ X ├─░───■─────────■───░─┤ X ├─░─┤ X ├──■────■───░─┤ X ├──■────■──»\n",
       "«        ░ ├───┤ ░   │         │   ░ ├───┤ ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐  │  »\n",
       "«q2_10: ─░─┤ X ├─░───■─────────■───░─┤ X ├─░──────┤ X ├──■───░──────┤ X ├──■──»\n",
       "«        ░ └───┘ ░   │         │   ░ └───┘ ░      └───┘┌─┴─┐ ░      └───┘┌─┴─┐»\n",
       "«q2_11: ─░───────░───■─────────■───░───────░───────────┤ X ├─░───────────┤ X ├»\n",
       "«        ░       ░ ┌─┴─┐┌───┐┌─┴─┐ ░       ░           └───┘ ░           └───┘»\n",
       "«q2_12: ─░───────░─┤ X ├┤ Z ├┤ X ├─░───────░─────────────────░────────────────»\n",
       "«        ░       ░ └───┘└───┘└───┘ ░       ░                 ░                »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "« q2_0: ─░────────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "« q2_1: ─░────────────░────────────░───────░──░────────■───░────────■───░──────»\n",
       "«        ░            ░            ░       ░  ░        │   ░        │   ░      »\n",
       "« q2_2: ─░────────────░────────────░───────░──░────────┼───░───■────┼───░──────»\n",
       "«        ░            ░            ░       ░  ░        │   ░   │    │   ░      »\n",
       "« q2_3: ─░────────────░────────────░───────░──░───■────┼───░───┼────┼───░───■──»\n",
       "«        ░            ░            ░       ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q2_4: ─░────────────░────────────░───■───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«        ░            ░            ░   │   ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q2_5: ─░────────────░───■────■───░───┼───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«        ░            ░   │    │   ░   │   ░  ░   │    │   ░   │    │   ░ ┌─┴─┐»\n",
       "« q2_6: ─░───■────■───░───┼────┼───░───┼───░──░───┼────┼───░───┼────┼───░─┤ X ├»\n",
       "«        ░   │    │   ░   │    │   ░   │   ░  ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘»\n",
       "« q2_7: ─░───┼────┼───░───┼────┼───░───┼───░──░───┼────┼───░─┤ X ├┤ X ├─░──────»\n",
       "«        ░   │    │   ░   │    │   ░   │   ░  ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░      »\n",
       "« q2_8: ─░───┼────┼───░───┼────┼───░───┼───░──░─┤ X ├┤ X ├─░────────────░──────»\n",
       "«        ░ ┌─┴─┐  │   ░ ┌─┴─┐  │   ░ ┌─┴─┐ ░  ░ └───┘└───┘ ░            ░      »\n",
       "« q2_9: ─░─┤ X ├──■───░─┤ X ├──■───░─┤ X ├─░──░────────────░────────────░──────»\n",
       "«        ░ └───┘┌─┴─┐ ░ └───┘┌─┴─┐ ░ └───┘ ░  ░            ░            ░      »\n",
       "«q2_10: ─░──────┤ X ├─░──────┤ X ├─░───────░──░────────────░────────────░──────»\n",
       "«        ░      └───┘ ░      └───┘ ░       ░  ░            ░            ░      »\n",
       "«q2_11: ─░────────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "«q2_12: ─░────────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "« c0: 4/═══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                              »\n",
       "«             ░            ░            ░ ┌───┐┌───┐   ┌───┐┌───┐ ░           »\n",
       "« q2_0: ──■───░────────■───░────────■───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───■───────»\n",
       "«         │   ░        │   ░        │   ░ ├───┤├───┤ │ ├───┤├───┤ ░   │       »\n",
       "« q2_1: ──┼───░────────┼───░───■────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───┼────■──»\n",
       "«         │   ░        │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░   │    │  »\n",
       "« q2_2: ──┼───░───■────┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───┼────┼──»\n",
       "«         │   ░   │    │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░   │    │  »\n",
       "« q2_3: ──┼───░───┼────┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───┼────┼──»\n",
       "«         │   ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘   └───┘└───┘ ░ ┌─┴─┐┌─┴─┐»\n",
       "« q2_4: ──┼───░───┼────┼───░─┤ X ├┤ X ├─░─────────────────────────░─┤ X ├┤ X ├»\n",
       "«         │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░                         ░ └───┘└───┘»\n",
       "« q2_5: ──┼───░─┤ X ├┤ X ├─░────────────░─────────────────────────░───────────»\n",
       "«       ┌─┴─┐ ░ └───┘└───┘ ░            ░                         ░           »\n",
       "« q2_6: ┤ X ├─░────────────░────────────░─────────────────────────░───────────»\n",
       "«       └───┘ ░            ░            ░                         ░           »\n",
       "« q2_7: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "« q2_8: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "« q2_9: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "«q2_10: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "«q2_11: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "«q2_12: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«        ░            ░            ░            ░            ░  ░       ░      »\n",
       "« q2_0: ─░───■────────░───■────────░────────────░────────────░──░───────░──────»\n",
       "«        ░   │        ░   │        ░            ░            ░  ░       ░      »\n",
       "« q2_1: ─░───┼────────░───┼────────░───■────────░───■────────░──░───────░──────»\n",
       "«        ░   │        ░   │        ░   │        ░   │        ░  ░       ░      »\n",
       "« q2_2: ─░───┼────■───░───┼────────░───┼────■───░───┼────────░──░───────░──────»\n",
       "«        ░   │    │   ░   │        ░   │    │   ░   │        ░  ░       ░      »\n",
       "« q2_3: ─░───┼────┼───░───┼────■───░───┼────┼───░───┼────■───░──░───────░──────»\n",
       "«        ░   │    │   ░   │    │   ░   │    │   ░   │    │   ░  ░       ░      »\n",
       "« q2_4: ─░───┼────┼───░───┼────┼───░───┼────┼───░───┼────┼───░──░───■───░──────»\n",
       "«        ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░  ░   │   ░      »\n",
       "« q2_5: ─░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░──░───┼───░───■──»\n",
       "«        ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░  ░   │   ░   │  »\n",
       "« q2_6: ─░────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░──░───┼───░───┼──»\n",
       "«        ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░  ░   │   ░   │  »\n",
       "« q2_7: ─░────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░──░───┼───░───┼──»\n",
       "«        ░            ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░  ░   │   ░   │  »\n",
       "« q2_8: ─░────────────░────────────░────────────░─┤ X ├┤ X ├─░──░───┼───░───┼──»\n",
       "«        ░            ░            ░            ░ └───┘└───┘ ░  ░ ┌─┴─┐ ░   │  »\n",
       "« q2_9: ─░────────────░────────────░────────────░────────────░──░─┤ X ├─░───■──»\n",
       "«        ░            ░            ░            ░            ░  ░ └───┘ ░ ┌─┴─┐»\n",
       "«q2_10: ─░────────────░────────────░────────────░────────────░──░───────░─┤ X ├»\n",
       "«        ░            ░            ░            ░            ░  ░       ░ └───┘»\n",
       "«q2_11: ─░────────────░────────────░────────────░────────────░──░───────░──────»\n",
       "«        ░            ░            ░            ░            ░  ░       ░      »\n",
       "«q2_12: ─░────────────░────────────░────────────░────────────░──░───────░──────»\n",
       "«        ░            ░            ░            ░            ░  ░       ░      »\n",
       "« c0: 4/═══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                              »\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_0: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_1: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_2: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_3: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_4: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_5: ──■───░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«         │   ░            ░                 ░                 ░       ░      »\n",
       "« q2_6: ──┼───░───■────■───░─────────────────░─────────────────░───────░──────»\n",
       "«         │   ░   │    │   ░                 ░                 ░       ░      »\n",
       "« q2_7: ──┼───░───┼────┼───░───■────■────■───░─────────────────░───────░──────»\n",
       "«         │   ░   │    │   ░   │    │    │   ░                 ░       ░      »\n",
       "« q2_8: ──┼───░───┼────┼───░───┼────┼────┼───░───■────■────■───░───────░──────»\n",
       "«       ┌─┴─┐ ░   │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░ ┌───┐ ░      »\n",
       "« q2_9: ┤ X ├─░───■──┤ X ├─░───■────■──┤ X ├─░───■────■──┤ X ├─░─┤ X ├─░───■──»\n",
       "«       └───┘ ░ ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░ ├───┤ ░   │  »\n",
       "«q2_10: ──────░─┤ X ├──────░───■──┤ X ├──────░───■──┤ X ├──────░─┤ X ├─░───■──»\n",
       "«             ░ └───┘      ░ ┌─┴─┐└───┘      ░ ┌─┴─┐└───┘      ░ └───┘ ░   │  »\n",
       "«q2_11: ──────░────────────░─┤ X ├───────────░─┤ X ├───────────░───────░───■──»\n",
       "«             ░            ░ └───┘           ░ └───┘           ░       ░ ┌─┴─┐»\n",
       "«q2_12: ──────░────────────░─────────────────░─────────────────░───────░─┤ X ├»\n",
       "«             ░            ░                 ░                 ░       ░ └───┘»\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_0: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_1: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_2: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_3: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_4: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_5: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_6: ───────────░───────░─────────────────░─────────────────░───■────■───░─»\n",
       "«                  ░       ░                 ░                 ░   │    │   ░ »\n",
       "« q2_7: ───────────░───────░─────────────────░───■────■────■───░───┼────┼───░─»\n",
       "«                  ░       ░                 ░   │    │    │   ░   │    │   ░ »\n",
       "« q2_8: ───────────░───────░───■────■────■───░───┼────┼────┼───░───┼────┼───░─»\n",
       "«                  ░ ┌───┐ ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │   ░ »\n",
       "« q2_9: ───────■───░─┤ X ├─░─┤ X ├──■────■───░─┤ X ├──■────■───░─┤ X ├──■───░─»\n",
       "«              │   ░ ├───┤ ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐ ░ »\n",
       "«q2_10: ───────■───░─┤ X ├─░──────┤ X ├──■───░──────┤ X ├──■───░──────┤ X ├─░─»\n",
       "«              │   ░ └───┘ ░      └───┘┌─┴─┐ ░      └───┘┌─┴─┐ ░      └───┘ ░ »\n",
       "«q2_11: ───────■───░───────░───────────┤ X ├─░───────────┤ X ├─░────────────░─»\n",
       "«       ┌───┐┌─┴─┐ ░       ░           └───┘ ░           └───┘ ░            ░ »\n",
       "«q2_12: ┤ Z ├┤ X ├─░───────░─────────────────░─────────────────░────────────░─»\n",
       "«       └───┘└───┘ ░       ░                 ░                 ░            ░ »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«                  ░       ░  ░            ░            ░            ░      »\n",
       "« q2_0: ───────────░───────░──░────────────░────────────░────────■───░──────»\n",
       "«                  ░       ░  ░            ░            ░        │   ░      »\n",
       "« q2_1: ───────────░───────░──░────────■───░────────■───░────────┼───░──────»\n",
       "«                  ░       ░  ░        │   ░        │   ░        │   ░      »\n",
       "« q2_2: ───────────░───────░──░────────┼───░───■────┼───░────────┼───░───■──»\n",
       "«                  ░       ░  ░        │   ░   │    │   ░        │   ░   │  »\n",
       "« q2_3: ───────────░───────░──░───■────┼───░───┼────┼───░───■────┼───░───┼──»\n",
       "«                  ░       ░  ░   │    │   ░   │    │   ░   │    │   ░   │  »\n",
       "« q2_4: ───────────░───■───░──░───┼────┼───░───┼────┼───░───┼────┼───░───┼──»\n",
       "«                  ░   │   ░  ░   │    │   ░   │    │   ░   │    │   ░ ┌─┴─┐»\n",
       "« q2_5: ──■────■───░───┼───░──░───┼────┼───░───┼────┼───░───┼────┼───░─┤ X ├»\n",
       "«         │    │   ░   │   ░  ░   │    │   ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘»\n",
       "« q2_6: ──┼────┼───░───┼───░──░───┼────┼───░───┼────┼───░─┤ X ├┤ X ├─░──────»\n",
       "«         │    │   ░   │   ░  ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░      »\n",
       "« q2_7: ──┼────┼───░───┼───░──░───┼────┼───░─┤ X ├┤ X ├─░────────────░──────»\n",
       "«         │    │   ░   │   ░  ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░            ░      »\n",
       "« q2_8: ──┼────┼───░───┼───░──░─┤ X ├┤ X ├─░────────────░────────────░──────»\n",
       "«       ┌─┴─┐  │   ░ ┌─┴─┐ ░  ░ └───┘└───┘ ░            ░            ░      »\n",
       "« q2_9: ┤ X ├──■───░─┤ X ├─░──░────────────░────────────░────────────░──────»\n",
       "«       └───┘┌─┴─┐ ░ └───┘ ░  ░            ░            ░            ░      »\n",
       "«q2_10: ─────┤ X ├─░───────░──░────────────░────────────░────────────░──────»\n",
       "«            └───┘ ░       ░  ░            ░            ░            ░      »\n",
       "«q2_11: ───────────░───────░──░────────────░────────────░────────────░──────»\n",
       "«                  ░       ░  ░            ░            ░            ░      »\n",
       "«q2_12: ───────────░───────░──░────────────░────────────░────────────░──────»\n",
       "«                  ░       ░  ░            ░            ░            ░      »\n",
       "« c0: 4/════════════════════════════════════════════════════════════════════»\n",
       "«                                                                           »\n",
       "«             ░            ░ ┌───┐┌───┐   ┌───┐┌───┐ ░ ┌─┐         \n",
       "« q2_0: ──■───░────────■───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░─┤M├─────────\n",
       "«         │   ░        │   ░ ├───┤├───┤ │ ├───┤├───┤ ░ └╥┘┌─┐      \n",
       "« q2_1: ──┼───░───■────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░──╫─┤M├──────\n",
       "«         │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░  ║ └╥┘┌─┐   \n",
       "« q2_2: ──┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░──╫──╫─┤M├───\n",
       "«         │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░  ║  ║ └╥┘┌─┐\n",
       "« q2_3: ──┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░──╫──╫──╫─┤M├\n",
       "«         │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘   └───┘└───┘ ░  ║  ║  ║ └╥┘\n",
       "« q2_4: ──┼───░─┤ X ├┤ X ├─░─────────────────────────░──╫──╫──╫──╫─\n",
       "«       ┌─┴─┐ ░ └───┘└───┘ ░                         ░  ║  ║  ║  ║ \n",
       "« q2_5: ┤ X ├─░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«       └───┘ ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_6: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_7: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_8: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_9: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "«q2_10: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "«q2_11: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "«q2_12: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« c0: 4/════════════════════════════════════════════════╩══╩══╩══╩═\n",
       "«                                                       0  1  2  3 </pre>"
      ],
      "text/plain": [
       "       ┌───┐           ░            ░            ░            ░            ░ »\n",
       " q2_0: ┤ H ├──■────────░───■────────░───■────────░────────────░────────────░─»\n",
       "       ├───┤  │        ░   │        ░   │        ░            ░            ░ »\n",
       " q2_1: ┤ H ├──┼────■───░───┼────────░───┼────────░───■────────░───■────────░─»\n",
       "       ├───┤  │    │   ░   │        ░   │        ░   │        ░   │        ░ »\n",
       " q2_2: ┤ H ├──┼────┼───░───┼────■───░───┼────────░───┼────■───░───┼────────░─»\n",
       "       ├───┤  │    │   ░   │    │   ░   │        ░   │    │   ░   │        ░ »\n",
       " q2_3: ┤ H ├──┼────┼───░───┼────┼───░───┼────■───░───┼────┼───░───┼────■───░─»\n",
       "       └───┘┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░   │    │   ░ »\n",
       " q2_4: ─────┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░───┼────┼───░─»\n",
       "            └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░ »\n",
       " q2_5: ────────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░─»\n",
       "                       ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░ »\n",
       " q2_6: ────────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░─»\n",
       "                       ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░ »\n",
       " q2_7: ────────────────░────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░─»\n",
       "                       ░            ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░ »\n",
       " q2_8: ────────────────░────────────░────────────░────────────░─┤ X ├┤ X ├─░─»\n",
       "                       ░            ░            ░            ░ └───┘└───┘ ░ »\n",
       " q2_9: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       "q2_10: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       "q2_11: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       "q2_12: ────────────────░────────────░────────────░────────────░────────────░─»\n",
       "                       ░            ░            ░            ░            ░ »\n",
       " c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "                                                                             »\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_0: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_1: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_2: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_3: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« q2_4: ─░───■───░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░   │   ░            ░            ░                 ░                »\n",
       "« q2_5: ─░───┼───░───■────■───░────────────░─────────────────░────────────────»\n",
       "«        ░   │   ░   │    │   ░            ░                 ░                »\n",
       "« q2_6: ─░───┼───░───┼────┼───░───■────■───░─────────────────░────────────────»\n",
       "«        ░   │   ░   │    │   ░   │    │   ░                 ░                »\n",
       "« q2_7: ─░───┼───░───┼────┼───░───┼────┼───░───■────■────■───░────────────────»\n",
       "«        ░   │   ░   │    │   ░   │    │   ░   │    │    │   ░                »\n",
       "« q2_8: ─░───┼───░───┼────┼───░───┼────┼───░───┼────┼────┼───░───■────■────■──»\n",
       "«        ░ ┌─┴─┐ ░   │  ┌─┴─┐ ░   │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░   │    │  ┌─┴─┐»\n",
       "« q2_9: ─░─┤ X ├─░───■──┤ X ├─░───■──┤ X ├─░───■────■──┤ X ├─░───■────■──┤ X ├»\n",
       "«        ░ └───┘ ░ ┌─┴─┐└───┘ ░ ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘»\n",
       "«q2_10: ─░───────░─┤ X ├──────░─┤ X ├──────░───■──┤ X ├──────░───■──┤ X ├─────»\n",
       "«        ░       ░ └───┘      ░ └───┘      ░ ┌─┴─┐└───┘      ░ ┌─┴─┐└───┘     »\n",
       "«q2_11: ─░───────░────────────░────────────░─┤ X ├───────────░─┤ X ├──────────»\n",
       "«        ░       ░            ░            ░ └───┘           ░ └───┘          »\n",
       "«q2_12: ─░───────░────────────░────────────░─────────────────░────────────────»\n",
       "«        ░       ░            ░            ░                 ░                »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_0: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_1: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_2: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_3: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_4: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_5: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_6: ─░───────░─────────────────░───────░─────────────────░────────────────»\n",
       "«        ░       ░                 ░       ░                 ░                »\n",
       "« q2_7: ─░───────░─────────────────░───────░─────────────────░───■────■────■──»\n",
       "«        ░       ░                 ░       ░                 ░   │    │    │  »\n",
       "« q2_8: ─░───────░─────────────────░───────░───■────■────■───░───┼────┼────┼──»\n",
       "«        ░ ┌───┐ ░                 ░ ┌───┐ ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │    │  »\n",
       "« q2_9: ─░─┤ X ├─░───■─────────■───░─┤ X ├─░─┤ X ├──■────■───░─┤ X ├──■────■──»\n",
       "«        ░ ├───┤ ░   │         │   ░ ├───┤ ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐  │  »\n",
       "«q2_10: ─░─┤ X ├─░───■─────────■───░─┤ X ├─░──────┤ X ├──■───░──────┤ X ├──■──»\n",
       "«        ░ └───┘ ░   │         │   ░ └───┘ ░      └───┘┌─┴─┐ ░      └───┘┌─┴─┐»\n",
       "«q2_11: ─░───────░───■─────────■───░───────░───────────┤ X ├─░───────────┤ X ├»\n",
       "«        ░       ░ ┌─┴─┐┌───┐┌─┴─┐ ░       ░           └───┘ ░           └───┘»\n",
       "«q2_12: ─░───────░─┤ X ├┤ Z ├┤ X ├─░───────░─────────────────░────────────────»\n",
       "«        ░       ░ └───┘└───┘└───┘ ░       ░                 ░                »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "« q2_0: ─░────────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "« q2_1: ─░────────────░────────────░───────░──░────────■───░────────■───░──────»\n",
       "«        ░            ░            ░       ░  ░        │   ░        │   ░      »\n",
       "« q2_2: ─░────────────░────────────░───────░──░────────┼───░───■────┼───░──────»\n",
       "«        ░            ░            ░       ░  ░        │   ░   │    │   ░      »\n",
       "« q2_3: ─░────────────░────────────░───────░──░───■────┼───░───┼────┼───░───■──»\n",
       "«        ░            ░            ░       ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q2_4: ─░────────────░────────────░───■───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«        ░            ░            ░   │   ░  ░   │    │   ░   │    │   ░   │  »\n",
       "« q2_5: ─░────────────░───■────■───░───┼───░──░───┼────┼───░───┼────┼───░───┼──»\n",
       "«        ░            ░   │    │   ░   │   ░  ░   │    │   ░   │    │   ░ ┌─┴─┐»\n",
       "« q2_6: ─░───■────■───░───┼────┼───░───┼───░──░───┼────┼───░───┼────┼───░─┤ X ├»\n",
       "«        ░   │    │   ░   │    │   ░   │   ░  ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘»\n",
       "« q2_7: ─░───┼────┼───░───┼────┼───░───┼───░──░───┼────┼───░─┤ X ├┤ X ├─░──────»\n",
       "«        ░   │    │   ░   │    │   ░   │   ░  ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░      »\n",
       "« q2_8: ─░───┼────┼───░───┼────┼───░───┼───░──░─┤ X ├┤ X ├─░────────────░──────»\n",
       "«        ░ ┌─┴─┐  │   ░ ┌─┴─┐  │   ░ ┌─┴─┐ ░  ░ └───┘└───┘ ░            ░      »\n",
       "« q2_9: ─░─┤ X ├──■───░─┤ X ├──■───░─┤ X ├─░──░────────────░────────────░──────»\n",
       "«        ░ └───┘┌─┴─┐ ░ └───┘┌─┴─┐ ░ └───┘ ░  ░            ░            ░      »\n",
       "«q2_10: ─░──────┤ X ├─░──────┤ X ├─░───────░──░────────────░────────────░──────»\n",
       "«        ░      └───┘ ░      └───┘ ░       ░  ░            ░            ░      »\n",
       "«q2_11: ─░────────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "«q2_12: ─░────────────░────────────░───────░──░────────────░────────────░──────»\n",
       "«        ░            ░            ░       ░  ░            ░            ░      »\n",
       "« c0: 4/═══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                              »\n",
       "«             ░            ░            ░ ┌───┐┌───┐   ┌───┐┌───┐ ░           »\n",
       "« q2_0: ──■───░────────■───░────────■───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───■───────»\n",
       "«         │   ░        │   ░        │   ░ ├───┤├───┤ │ ├───┤├───┤ ░   │       »\n",
       "« q2_1: ──┼───░────────┼───░───■────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───┼────■──»\n",
       "«         │   ░        │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░   │    │  »\n",
       "« q2_2: ──┼───░───■────┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───┼────┼──»\n",
       "«         │   ░   │    │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░   │    │  »\n",
       "« q2_3: ──┼───░───┼────┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░───┼────┼──»\n",
       "«         │   ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘   └───┘└───┘ ░ ┌─┴─┐┌─┴─┐»\n",
       "« q2_4: ──┼───░───┼────┼───░─┤ X ├┤ X ├─░─────────────────────────░─┤ X ├┤ X ├»\n",
       "«         │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░                         ░ └───┘└───┘»\n",
       "« q2_5: ──┼───░─┤ X ├┤ X ├─░────────────░─────────────────────────░───────────»\n",
       "«       ┌─┴─┐ ░ └───┘└───┘ ░            ░                         ░           »\n",
       "« q2_6: ┤ X ├─░────────────░────────────░─────────────────────────░───────────»\n",
       "«       └───┘ ░            ░            ░                         ░           »\n",
       "« q2_7: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "« q2_8: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "« q2_9: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "«q2_10: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "«q2_11: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "«q2_12: ──────░────────────░────────────░─────────────────────────░───────────»\n",
       "«             ░            ░            ░                         ░           »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«        ░            ░            ░            ░            ░  ░       ░      »\n",
       "« q2_0: ─░───■────────░───■────────░────────────░────────────░──░───────░──────»\n",
       "«        ░   │        ░   │        ░            ░            ░  ░       ░      »\n",
       "« q2_1: ─░───┼────────░───┼────────░───■────────░───■────────░──░───────░──────»\n",
       "«        ░   │        ░   │        ░   │        ░   │        ░  ░       ░      »\n",
       "« q2_2: ─░───┼────■───░───┼────────░───┼────■───░───┼────────░──░───────░──────»\n",
       "«        ░   │    │   ░   │        ░   │    │   ░   │        ░  ░       ░      »\n",
       "« q2_3: ─░───┼────┼───░───┼────■───░───┼────┼───░───┼────■───░──░───────░──────»\n",
       "«        ░   │    │   ░   │    │   ░   │    │   ░   │    │   ░  ░       ░      »\n",
       "« q2_4: ─░───┼────┼───░───┼────┼───░───┼────┼───░───┼────┼───░──░───■───░──────»\n",
       "«        ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░   │    │   ░  ░   │   ░      »\n",
       "« q2_5: ─░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░───┼────┼───░──░───┼───░───■──»\n",
       "«        ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░   │    │   ░  ░   │   ░   │  »\n",
       "« q2_6: ─░────────────░─┤ X ├┤ X ├─░───┼────┼───░───┼────┼───░──░───┼───░───┼──»\n",
       "«        ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░   │    │   ░  ░   │   ░   │  »\n",
       "« q2_7: ─░────────────░────────────░─┤ X ├┤ X ├─░───┼────┼───░──░───┼───░───┼──»\n",
       "«        ░            ░            ░ └───┘└───┘ ░ ┌─┴─┐┌─┴─┐ ░  ░   │   ░   │  »\n",
       "« q2_8: ─░────────────░────────────░────────────░─┤ X ├┤ X ├─░──░───┼───░───┼──»\n",
       "«        ░            ░            ░            ░ └───┘└───┘ ░  ░ ┌─┴─┐ ░   │  »\n",
       "« q2_9: ─░────────────░────────────░────────────░────────────░──░─┤ X ├─░───■──»\n",
       "«        ░            ░            ░            ░            ░  ░ └───┘ ░ ┌─┴─┐»\n",
       "«q2_10: ─░────────────░────────────░────────────░────────────░──░───────░─┤ X ├»\n",
       "«        ░            ░            ░            ░            ░  ░       ░ └───┘»\n",
       "«q2_11: ─░────────────░────────────░────────────░────────────░──░───────░──────»\n",
       "«        ░            ░            ░            ░            ░  ░       ░      »\n",
       "«q2_12: ─░────────────░────────────░────────────░────────────░──░───────░──────»\n",
       "«        ░            ░            ░            ░            ░  ░       ░      »\n",
       "« c0: 4/═══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                              »\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_0: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_1: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_2: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_3: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_4: ──────░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«             ░            ░                 ░                 ░       ░      »\n",
       "« q2_5: ──■───░────────────░─────────────────░─────────────────░───────░──────»\n",
       "«         │   ░            ░                 ░                 ░       ░      »\n",
       "« q2_6: ──┼───░───■────■───░─────────────────░─────────────────░───────░──────»\n",
       "«         │   ░   │    │   ░                 ░                 ░       ░      »\n",
       "« q2_7: ──┼───░───┼────┼───░───■────■────■───░─────────────────░───────░──────»\n",
       "«         │   ░   │    │   ░   │    │    │   ░                 ░       ░      »\n",
       "« q2_8: ──┼───░───┼────┼───░───┼────┼────┼───░───■────■────■───░───────░──────»\n",
       "«       ┌─┴─┐ ░   │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░   │    │  ┌─┴─┐ ░ ┌───┐ ░      »\n",
       "« q2_9: ┤ X ├─░───■──┤ X ├─░───■────■──┤ X ├─░───■────■──┤ X ├─░─┤ X ├─░───■──»\n",
       "«       └───┘ ░ ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░   │  ┌─┴─┐└───┘ ░ ├───┤ ░   │  »\n",
       "«q2_10: ──────░─┤ X ├──────░───■──┤ X ├──────░───■──┤ X ├──────░─┤ X ├─░───■──»\n",
       "«             ░ └───┘      ░ ┌─┴─┐└───┘      ░ ┌─┴─┐└───┘      ░ └───┘ ░   │  »\n",
       "«q2_11: ──────░────────────░─┤ X ├───────────░─┤ X ├───────────░───────░───■──»\n",
       "«             ░            ░ └───┘           ░ └───┘           ░       ░ ┌─┴─┐»\n",
       "«q2_12: ──────░────────────░─────────────────░─────────────────░───────░─┤ X ├»\n",
       "«             ░            ░                 ░                 ░       ░ └───┘»\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_0: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_1: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_2: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_3: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_4: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_5: ───────────░───────░─────────────────░─────────────────░────────────░─»\n",
       "«                  ░       ░                 ░                 ░            ░ »\n",
       "« q2_6: ───────────░───────░─────────────────░─────────────────░───■────■───░─»\n",
       "«                  ░       ░                 ░                 ░   │    │   ░ »\n",
       "« q2_7: ───────────░───────░─────────────────░───■────■────■───░───┼────┼───░─»\n",
       "«                  ░       ░                 ░   │    │    │   ░   │    │   ░ »\n",
       "« q2_8: ───────────░───────░───■────■────■───░───┼────┼────┼───░───┼────┼───░─»\n",
       "«                  ░ ┌───┐ ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │    │   ░ ┌─┴─┐  │   ░ »\n",
       "« q2_9: ───────■───░─┤ X ├─░─┤ X ├──■────■───░─┤ X ├──■────■───░─┤ X ├──■───░─»\n",
       "«              │   ░ ├───┤ ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐  │   ░ └───┘┌─┴─┐ ░ »\n",
       "«q2_10: ───────■───░─┤ X ├─░──────┤ X ├──■───░──────┤ X ├──■───░──────┤ X ├─░─»\n",
       "«              │   ░ └───┘ ░      └───┘┌─┴─┐ ░      └───┘┌─┴─┐ ░      └───┘ ░ »\n",
       "«q2_11: ───────■───░───────░───────────┤ X ├─░───────────┤ X ├─░────────────░─»\n",
       "«       ┌───┐┌─┴─┐ ░       ░           └───┘ ░           └───┘ ░            ░ »\n",
       "«q2_12: ┤ Z ├┤ X ├─░───────░─────────────────░─────────────────░────────────░─»\n",
       "«       └───┘└───┘ ░       ░                 ░                 ░            ░ »\n",
       "« c0: 4/══════════════════════════════════════════════════════════════════════»\n",
       "«                                                                             »\n",
       "«                  ░       ░  ░            ░            ░            ░      »\n",
       "« q2_0: ───────────░───────░──░────────────░────────────░────────■───░──────»\n",
       "«                  ░       ░  ░            ░            ░        │   ░      »\n",
       "« q2_1: ───────────░───────░──░────────■───░────────■───░────────┼───░──────»\n",
       "«                  ░       ░  ░        │   ░        │   ░        │   ░      »\n",
       "« q2_2: ───────────░───────░──░────────┼───░───■────┼───░────────┼───░───■──»\n",
       "«                  ░       ░  ░        │   ░   │    │   ░        │   ░   │  »\n",
       "« q2_3: ───────────░───────░──░───■────┼───░───┼────┼───░───■────┼───░───┼──»\n",
       "«                  ░       ░  ░   │    │   ░   │    │   ░   │    │   ░   │  »\n",
       "« q2_4: ───────────░───■───░──░───┼────┼───░───┼────┼───░───┼────┼───░───┼──»\n",
       "«                  ░   │   ░  ░   │    │   ░   │    │   ░   │    │   ░ ┌─┴─┐»\n",
       "« q2_5: ──■────■───░───┼───░──░───┼────┼───░───┼────┼───░───┼────┼───░─┤ X ├»\n",
       "«         │    │   ░   │   ░  ░   │    │   ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘»\n",
       "« q2_6: ──┼────┼───░───┼───░──░───┼────┼───░───┼────┼───░─┤ X ├┤ X ├─░──────»\n",
       "«         │    │   ░   │   ░  ░   │    │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░      »\n",
       "« q2_7: ──┼────┼───░───┼───░──░───┼────┼───░─┤ X ├┤ X ├─░────────────░──────»\n",
       "«         │    │   ░   │   ░  ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘ ░            ░      »\n",
       "« q2_8: ──┼────┼───░───┼───░──░─┤ X ├┤ X ├─░────────────░────────────░──────»\n",
       "«       ┌─┴─┐  │   ░ ┌─┴─┐ ░  ░ └───┘└───┘ ░            ░            ░      »\n",
       "« q2_9: ┤ X ├──■───░─┤ X ├─░──░────────────░────────────░────────────░──────»\n",
       "«       └───┘┌─┴─┐ ░ └───┘ ░  ░            ░            ░            ░      »\n",
       "«q2_10: ─────┤ X ├─░───────░──░────────────░────────────░────────────░──────»\n",
       "«            └───┘ ░       ░  ░            ░            ░            ░      »\n",
       "«q2_11: ───────────░───────░──░────────────░────────────░────────────░──────»\n",
       "«                  ░       ░  ░            ░            ░            ░      »\n",
       "«q2_12: ───────────░───────░──░────────────░────────────░────────────░──────»\n",
       "«                  ░       ░  ░            ░            ░            ░      »\n",
       "« c0: 4/════════════════════════════════════════════════════════════════════»\n",
       "«                                                                           »\n",
       "«             ░            ░ ┌───┐┌───┐   ┌───┐┌───┐ ░ ┌─┐         \n",
       "« q2_0: ──■───░────────■───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░─┤M├─────────\n",
       "«         │   ░        │   ░ ├───┤├───┤ │ ├───┤├───┤ ░ └╥┘┌─┐      \n",
       "« q2_1: ──┼───░───■────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░──╫─┤M├──────\n",
       "«         │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░  ║ └╥┘┌─┐   \n",
       "« q2_2: ──┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░──╫──╫─┤M├───\n",
       "«         │   ░   │    │   ░ ├───┤├───┤ │ ├───┤├───┤ ░  ║  ║ └╥┘┌─┐\n",
       "« q2_3: ──┼───░───┼────┼───░─┤ H ├┤ X ├─■─┤ X ├┤ H ├─░──╫──╫──╫─┤M├\n",
       "«         │   ░ ┌─┴─┐┌─┴─┐ ░ └───┘└───┘   └───┘└───┘ ░  ║  ║  ║ └╥┘\n",
       "« q2_4: ──┼───░─┤ X ├┤ X ├─░─────────────────────────░──╫──╫──╫──╫─\n",
       "«       ┌─┴─┐ ░ └───┘└───┘ ░                         ░  ║  ║  ║  ║ \n",
       "« q2_5: ┤ X ├─░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«       └───┘ ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_6: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_7: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_8: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« q2_9: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "«q2_10: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "«q2_11: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "«q2_12: ──────░────────────░─────────────────────────░──╫──╫──╫──╫─\n",
       "«             ░            ░                         ░  ║  ║  ║  ║ \n",
       "« c0: 4/════════════════════════════════════════════════╩══╩══╩══╩═\n",
       "«                                                       0  1  2  3 "
      ]
     },
     "execution_count": 11,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "qr=QuantumRegister(13)\n",
    "qc=QuantumCircuit(qr)\n",
    "\n",
    "qra=QuantumRegister(13)\n",
    "cra=ClassicalRegister(4)\n",
    "qa=QuantumCircuit(qra,cra)\n",
    "\n",
    "qa.h(range(4))\n",
    "qb=grover(qc,qr)\n",
    "qa.compose(qb.compose(qb),inplace=True)\n",
    "\n",
    "qa.measure(range(4),cra)\n",
    "\n",
    "qa.draw()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [],
   "source": [
    "#qa.draw('latex_source', filename='./file.tex')\n",
    "#!pdflatex file.tex"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAnkAAAHTCAYAAABbZg60AAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjcuMSwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy/bCgiHAAAACXBIWXMAAA9hAAAPYQGoP6dpAABMD0lEQVR4nO3dd3hUddr/8c9JBVJoEghShQCC9LICuwQQQcTCAroiPpQVy4pSVFRECSCC6Lqyro+oqJRVYB97AwGlSS8KCgpGmqFLCx1S7t8f/DLLkERSJpnJyft1Xbk03zkz9/eec0g+OXOKY2YmAAAAuEqQvycAAAAA3yPkAQAAuBAhDwAAwIUIeQAAAC5EyAMAAHAhQh4AAIALEfIAAABcKMTfEyjq0tPTtXfvXkVFRclxHH9PBwAAuJyZ6cSJE6pcubKCgrLfX0fIy6e9e/eqatWq/p4GAAAoZpKSklSlSpVsHyfk5VNUVJSkC290dHS0n2cDAADc7vjx46pataong2SHkJdPGR/RRkdHE/IAAEChudxhYpx4AQAA4EKEPAAAABci5AEAALgQIQ8AgAAzYcIEOY6joUOHesYcx8ny64UXXvB67sqVK9WxY0dFRESoTJkyat++vc6cOVPIHSAQcOIFAAABZO3atXrjjTfUqFEjr/F9+/Z5fT937lzdfffd6tmzp2ds5cqVuuGGGzRixAj961//UlhYmDZu3Pi711KDexHyAAAIECdPnlSfPn00ZcoUjRs3zuuxSpUqeX3/ySefqEOHDrrqqqs8Y8OGDdPgwYP1xBNPeMbi4uIKdtIIWER7AAACxKBBg9StWzd16tTpd5c7cOCAvvjiC919992esYMHD2r16tWKiYlRmzZtVLFiRcXHx2vZsmUFPW0EKEIeAAABYPbs2fr22281YcKEyy47ffp0RUVFqUePHp6x7du3S5JGjx6te+65R19++aWaNWum6667TomJiQU2bwQuQh4AAH6WlJSkIUOG6J133lGJEiUuu/zbb7+tPn36eC2bnp4uSbrvvvs0YMAANW3aVC+99JLq1q2rt99+u8DmjsDFMXkAAPjZ+vXrdfDgQTVv3twzlpaWpqVLl+qVV17RuXPnFBwcLEn65ptvtHXrVv3nP//xeo3Y2FhJUv369b3Gr776av36668F3AECESEPAAA/u+666/TDDz94jQ0YMED16tXT448/7gl4kvTWW2+pefPmaty4sdfyNWrUUOXKlbV161av8Z9//lldu3YtuMkjYBHyAADws6ioKF1zzTVeYxERESpfvrzX+PHjx/Xee+/pxRdfzPQajuNo+PDhSkhIUOPGjdWkSRNNnz5dW7Zs0fvvv1/gPSDwEPIAACgiZs+eLTNT7969s3x86NChOnv2rIYNG6YjR46ocePGWrBggWrVqlXIM0UgcMzM/D2Jouz48eMqXbq0kpOTFR0d7e/pAAAAl8tp9uDsWgAAABci5AEAALgQIQ8AAMCFCHkAAAAuRMgDAABwIUIecBkTJkyQ4zgaOnSoZ6x///5yHMfr69prr83y+Wamrl27ynEcffzxx4UzaQBAscd18oDfsXbtWr3xxhtq1KhRpsduuOEGTZ061fN9WFhYlq8xadIkOY5TYHMEACAr7MkDsnHy5En16dNHU6ZMUdmyZTM9Hh4erkqVKnm+ypUrl2mZjRs36h//+Ac3BwcAFDpCHpCNQYMGqVu3burUqVOWjy9evFgxMTGqU6eO7rnnHh08eNDr8dOnT6t379565ZVXVKlSpcKYMgAAHnxcC2Rh9uzZ+vbbb7V27dosH+/atatuu+02Va9eXTt27NDTTz+tjh07av369QoPD5ckDRs2TG3atNGtt95amFMHAEASIQ/IJCkpSUOGDNH8+fNVokSJLJf5y1/+4vn/a665Ri1atFD16tX1xRdfqEePHvr000+1cOFCfffdd4U1bQAAvPBxLXCJ9evX6+DBg2revLlCQkIUEhKiJUuW6OWXX1ZISIjS0tIyPSc2NlbVq1dXYmKiJGnhwoXatm2bypQp43kNSerZs6fat29fmO0AAIop9uQBl7juuuv0ww8/eI0NGDBA9erV0+OPP67g4OBMzzl8+LCSkpIUGxsrSXriiSc0cOBAr2UaNmyol156STfffHPBTR4AgP+PkAdcIioqStdcc43XWEREhMqXL69rrrlGJ0+e1OjRo9WzZ0/FxsZq586devLJJ3XFFVfoz3/+syR5zri9VLVq1VSzZs1C6QMAULwR8oBcCg4O1g8//KAZM2bo2LFjio2NVYcOHfSf//xHUVFR/p4eAACSJMfMzN+TKMqOHz+u0qVLKzk5WdHR0f6eDgAAcLmcZg9OvAAAAHAhQh4AAIALcUweAAAB6J5J+Xv+lKG+mAWKMvbkAQAAuBAhDwAAwIUIeQAAAC5EyAMAAHAhQh4AAIALEfIAAABciJAHAADgQoQ8AAAAFyLkAQAAuBAhDwAAwIUIeQAAAC5EyAMAAHAhQh4AAIALFYmQ9/zzz8txHDmOo1WrVmV6fPTo0Z7HL/0qUaJEtq87c+ZMtWrVShERESpbtqxuvPFGrVu3riBbAQAAKBQh/p7A5fz0008aNWqUIiIidOrUqd9dtl+/fqpRo4bXWEhI1i2OHz9eI0eOVLVq1XT//ffr5MmTmj17ttq2bat58+apffv2PuoAAACg8AV0yEtLS1O/fv3UuHFj1alTR++8887vLt+/f/8chbPExEQlJCSoTp06WrNmjUqXLi1JGjx4sFq1aqWBAwdqy5Yt2QZEFD/3TMr7c6cM9dUsAADIuYD+uHbixInauHGj3n77bQUHB/vsdadOnarU1FSNHDnSE/AkqUGDBurbt6+2bdumhQsX+qweAABAYQvYXVWbNm3SmDFj9NRTT6lBgwY5es4333yjNWvWKDg4WPXq1VOnTp0UHh6eabnFixdLkjp37pzpsS5duui1117TkiVLsnz83LlzOnfunOf748ePS5JSUlKUkpIiSQoKClJwcLDS0tKUnp7uWTZjPDU1VWbmGQ8ODlZQUFC24xmvmyFjD2NqamqOxkNDQ5Wenq60tDTPmOM4CgkJyXY8u7kX355ClVc57ZX1RE/0RE8Xj0uO8ivQenLjevJXTzkRkCEvNTVV/fv319VXX60nnngix88bNWqU1/exsbGaPn26rr/+eq/xxMRERUZGqlKlSpleIy4uzrNMViZMmKAxY8ZkGp8/f75KlSolSapWrZqaNm2q77//Xr/++qtnmbp166pevXpas2aNfvvtN894kyZNVL16dS1dulQnTpzwjLdu3VoxMTGaP3++1wrt0KGDSpYsqTlz5njN4cYbb9SZM2e0aNEiz1hISIi6deumQ4cOaeXKlZ7xqKgodezYUUlJSdqwYYNnvEKFCmrTpo0SExO1detWzzg93aq8Ctye3Lie6Ime3NOTFK38CrSe3Lie/NHT+vXrlROOXRxjA8TYsWP1zDPPaPXq1WrWrJmkC8fbTZ8+XStXrtS1117rtfzHH3+s48ePKz4+XhUrVtTu3bs1e/ZsjR8/XmamVatWqXHjxp7lw8LCFBMTo927d2eqnZSUpGrVqqlz586aN29epsez2pNXtWpVHTp0SNHRF/5BFte/Ktzc0wP/m/c9ea8OYk8ePdETPeW+p3v/mb89eVOGsifPrT0dOXJE5cuXV3Jysid7ZCXg9uRt3LhR48aN06OPPuoJeJfTvXt3r+9r166tp556ShUrVtS9996rcePG6b333vPJ/MLDw7P8CDg0NFShod5BIDg4OMtjCbM7oSO78UtfNy/jQUFBCgrKfAhmduPZzZ2ecq8o9OTG9URP9FTUe/KFQOvJjespkHrKVC9HSxWifv36qVatWho9erRPXiskJETLly/3Gi9durSSk5OzfE7GMXYXn5ABAABQ1ARcyNu4caO2bNmiEiVKeF3UePr06ZIufGbuOI4+/vjjy75WWFiYoqKidPr0aa/xuLg4nTx5Uvv378/0nIxj8TKOzQMAACiKAu7j2rvvvjvL8aVLlyoxMVG33HKLKlSokOmix1lJTEzU0aNHvY7Hk6T4+HitXLlS8+fPV9++fb0eyzgOLz4+Pm8NAAAABICAC3lvvvlmluP9+/dXYmKiRowY4XXixYkTJ7Rjxw41atTIa/mjR496AmPv3r29HhswYID+/ve/69lnn9Wtt97q+Wh28+bNmjFjhmrVqqWOHTv6si0AAIBCFXAhL7cOHz6sxo0bq0WLFmrYsKFiYmK0Z88ezZ07V4cPH9b111+vYcOGeT2nTp06Gj16tJ566ik1atRIvXr10qlTpzRr1iylpKRoypQp3O0CAAAUaUU+yZQrV06DBg3SqlWr9Nlnn+nYsWOKiIhQw4YNddddd2ngwIFZnpkycuRI1ahRQ5MmTdLkyZMVFhamNm3aaOzYsWrZsqUfOgEAAPCdgLxOXlFy/Phxz9m6v3etGhRt3LsWQGHLz88diZ89bpbT7BFwZ9cCAAAg/wh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXCriQd+zYMQ0ePFitW7dWpUqVFB4eriuvvFIdO3bUBx98IDPL9Jzjx4/r4YcfVvXq1RUeHq7q1avr4Ycf1vHjx7OtM3PmTLVq1UoREREqW7asbrzxRq1bt64gWwMAACg0ARfyDh06pLffflsRERHq3r27HnnkEXXt2lWbN29Wr169dN9993ktf+rUKcXHx+ull15S3bp1NWzYMNWvX18vvfSS4uPjderUqUw1xo8frz59+ujAgQO6//77dfvtt2v58uVq27atFi9eXEidAgAAFJwQf0/gUjVr1tSxY8cUEuI9tRMnTujaa6/VlClTNGTIEDVo0ECS9Pzzz2vDhg167LHHNHHiRM/yCQkJGjt2rJ5//nmNGTPGM56YmKiEhATVqVNHa9asUenSpSVJgwcPVqtWrTRw4EBt2bIlU30AAICiJOD25AUHB2cZsKKiotSlSxdJ0i+//CJJMjO9+eabioyM1KhRo7yWHzFihMqWLau33nrL6yPeqVOnKjU1VSNHjvQEPElq0KCB+vbtq23btmnhwoUF0RoAAEChCbiQl52zZ89q4cKFchxH9evXl3Rhr9zevXvVtm1bRUREeC1fokQJtWvXTnv27PGEQkmej2M7d+6cqUZGiFyyZEkBdQEAAFA4AvYzyWPHjmnSpElKT0/XwYMHNWfOHCUlJSkhIUFxcXGSLoQ8SZ7vL3Xxchf/f2RkpCpVqvS7y2fn3LlzOnfunOf7jJM7UlJSlJKSIkkKCgpScHCw0tLSlJ6e7lk2Yzw1NdVr72JwcLCCgoKyHc943QwZezpTU1NzNB4aGqr09HSlpaV5xhzHUUhISLbj2c29+PYUqrzKaa+sJ3qiJ3q6eFxylF+B1pMb15O/esqJgA55Fx9LFxoaqhdeeEGPPPKIZyw5OVmSvD52vVh0dLTXchn/HxMTk+PlLzVhwgSveWWYP3++SpUqJUmqVq2amjZtqu+//16//vqrZ5m6deuqXr16WrNmjX777TfPeJMmTVS9enUtXbpUJ06c8Iy3bt1aMTExmj9/vtcK7dChg0qWLKk5c+Z4zeHGG2/UmTNntGjRIs9YSEiIunXrpkOHDmnlypWe8aioKHXs2FFJSUnasGGDZ7xChQpq06aNEhMTtXXrVs84Pd2qvArcnty4nuiJntzTkxSt/Aq0nty4nvzR0/r165UTjmV1TZIAkpaWpqSkJM2ePVsJCQnq1q2b/u///k8hISGaOXOm+vTpo5EjR2rcuHGZnvvMM89o1KhRmjlzpnr37i1JCgsLU0xMjHbv3p1p+aSkJFWrVk2dO3fWvHnzspxPVnvyqlatqkOHDnlCYnH9q8LNPT3wv3nfk/fqIPbk0RM90VPue7r3n/nbkzdlKHvy3NrTkSNHVL58eSUnJ3uyR1byvCdv6dKlqlGjhqpVq5btMrt379b27dvVrl27vJZRcHCwatSooSeeeELBwcF67LHHNGXKFP3tb3/z7MHLbs9bxkepF+/pK126dK6Wv1R4eLjCw8MzjYeGhio01DsIBAcHKzg4ONOy2Z25m934pa+bl/GgoCAFBWU+BDO78ezmTk+5VxR6cuN6oid6Kuo9+UKg9eTG9RRIPWWql6OlstChQwdNmzbtd5d599131aFDh7yWyCTjZImMkycudwxdVsfsxcXF6eTJk9q/f3+OlgcAACiK8hzycvIpb3p6uhwn/weOZti7d6+k/ybYuLg4Va5cWcuXL8900eOzZ89q6dKlqly5smrXru0Zj4+Pl3ThGLpLZXxEm7EMAABAUVWgl1BJTEz83Y8+s7Jhw4YsP049cuSInnzySUlS165dJV34LHvgwIE6efKkxo4d67X8hAkTdPToUQ0cONAraA4YMEAhISF69tlnveps3rxZM2bMUK1atdSxY8dczRkAACDQ5Oqgo7/+9a9e33/88cfauXNnpuXS0tK0e/duLV26VDfccEOuJjRt2jS9+eab6tChg6pXr66IiAjt2rVLX3zxhU6ePKmePXvqzjvv9Cz/2GOP6dNPP9Xzzz+v7777Ts2bN9fGjRs1d+5cNWnSRI899pjX69epU0ejR4/WU089pUaNGqlXr146deqUZs2apZSUFE2ZMoW7XQAAgCIvV2fXXnywoOM4v/uRreM4atmypd555x2vj0svZ9myZXrrrbe0atUq7d27V6dPn1a5cuXUrFkz9e3bV3fccUemj4CTk5M1ZswYvf/++9q/f78qVaqkXr16KSEhIds9ie+++64mTZqkzZs3KywsTK1bt9bYsWPVsmXLHM9VunCyRsbJHL93hguKtnsm5f25U4b6ahYAipP8/NyR+NnjZjnNHrkKebt27ZJ04Xi8q666SkOHDtWQIUMyLRccHKyyZctmuguFGxHyigdCHoDCRshDdnKaPXL1uWT16tU9/z916lQ1bdrUawwAAACBIc8Hn/Xr18+X8wAAAIAP5fsMgzVr1mjt2rU6duyY11WcMziOo6effjq/ZQAAAJALeQ55R44cUffu3bV8+fLLnoBByAMAAChceQ55Dz/8sJYtW6b27durX79+qlKlCpceAQAACBB5TmWff/65WrVqpa+//tqnd7UAAABA/uX5jhdnz55Vu3btCHgAAAABKM8hr2nTplne7QIAAAD+l+eQN3r0aH366adatWqVL+cDAAAAH8jzMXl79uzRTTfdpPj4ePXp00dNmzbN9hZiffv2zfMEAQAAkHt5Dnn9+/f33L922rRpmjZtWqbj88xMjuMQ8gAAAApZnkPe1KlTfTkPAAAA+BC3NQMAAHChPJ94AQAAgMCV5z15v/76a46XrVatWl7LAAAAIA/yHPJq1KiRowshO46j1NTUvJYBAABAHuQ55PXt2zfLkJecnKyNGzdqx44dio+PV40aNfIzPwAAAORBnkPetGnTsn3MzPTiiy/q+eef11tvvZXXEgAAAMijAjnxwnEcPfroo2rQoIGGDx9eECUAAADwOwr07NoWLVpo4cKFBVkCAAAAWSjQkLdt2zZOugAAAPCDPB+Tl5309HTt2bNH06ZN0yeffKLrrrvO1yUAAABwGXkOeUFBQb97CRUzU5kyZfTCCy/ktQQAAADyKM8hr127dlmGvKCgIJUtW1YtWrTQgAEDVLFixXxNEAAAALmX55C3ePFiH04DAAAAvsS9awEAAFzIJyderFixQhs2bFBycrKio6PVpEkTtW3b1hcvDQAAgDzIV8hbvXq1+vXrp8TEREkXTrbIOE4vLi5OU6dOVevWrfM/SwAAAORKnkPeTz/9pE6dOunUqVPq0qWL2rdvr0qVKunAgQNavHixvvzyS3Xp0kWrVq1S/fr1fTlnAAAAXEaeQ96YMWN0/vx5zZs3T9dff73XY4899pi++uordevWTWPHjtXs2bPzPVEAAADkXJ5PvFi0aJF69eqVKeBl6NSpk3r27KlFixbleXIAAADImzyHvOTkZNWoUeN3l6lZs6aSk5PzWgIAAAB5lOeQV7lyZa1atep3l1m9erUqV66c1xIAAADIozyHvFtvvVWLFy/W008/rbNnz3o9dvbsWSUkJGjRokW69dZb8z1JAAAA5E6eT7x4+umn9fnnn2v8+PF6/fXX1apVK1WsWFEHDhzQ2rVr9dtvv+mqq67S008/7cv5AgAAIAfyHPLKlSun1atXa/jw4Zo9e7bmzJnjeaxEiRIaMGCAJk6cqHLlyvlkogAAAMi5fF0MuVy5cnrrrbf02muvacuWLTp+/Liio6NVr149hYaG+mqOAAAAyKVch7xnn31Wp06d0pgxYzxBLjQ0VA0bNvQsc/78eY0cOVJRUVF64oknfDdbAAAA5EiuTrz46quvNGrUKJUvX/5399SFhYWpfPnyGjlypBYuXJjvSQIAACB3chXyZsyYobJly+rBBx+87LKDBg1SuXLlNHXq1DxPDgAAAHmTq5C3YsUKderUSeHh4ZddNjw8XJ06ddKKFSvyPDkAAADkTa5C3t69e3XVVVflePmaNWtq3759uZ4UAAAA8idXIS8oKEgpKSk5Xj4lJUVBQXm+3jIAAADyKFcJrHLlytq0aVOOl9+0aZOuvPLKXE8KAAAA+ZOrkPenP/1JCxcu1M6dOy+77M6dO7Vw4UK1a9cur3MDAABAHuUq5A0aNEgpKSnq1auXDh06lO1yhw8f1m233abU1FT97W9/y/ckAQAAkDu5uhhys2bNNHToUE2aNEn169fX/fffrw4dOqhKlSqSpD179ujrr7/WG2+8od9++00PP/ywmjVrViATBwAAQPZyfceLF198USVKlNALL7ygZ599Vs8++6zX42am4OBgjRgxQuPGjfPZRAEAAJBzuQ55juNo/PjxuvvuuzV16lStWLFC+/fvlyRVqlRJbdu2Vf/+/VWrVi2fTxYAAAA5k+uQl6FWrVrsqQMAAAhQXMQOAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFwoIEPeO++8o/vuu08tWrRQeHi4HMfRtGnTslx29OjRchwny68SJUpkW2PmzJlq1aqVIiIiVLZsWd14441at25dAXUEAABQuEL8PYGsPPXUU9q1a5euuOIKxcbGateuXZd9Tr9+/VSjRg2vsZCQrNsbP368Ro4cqWrVqun+++/XyZMnNXv2bLVt21bz5s1T+/btfdAFAACA/wRkyHvzzTcVFxen6tWr67nnntOIESMu+5z+/fvnKJwlJiYqISFBderU0Zo1a1S6dGlJ0uDBg9WqVSsNHDhQW7ZsyTYgAgAAFAUB+XFtp06dVL169QJ57alTpyo1NVUjR470BDxJatCggfr27att27Zp4cKFBVIbAACgsARkyMuLb775Rs8//7xefPFFffHFFzp37lyWyy1evFiS1Llz50yPdenSRZK0ZMmSApsnAABAYXDNZ5KjRo3y+j42NlbTp0/X9ddf7zWemJioyMhIVapUKdNrxMXFeZbJzrlz57wC5PHjxyVJKSkpSklJkSQFBQUpODhYaWlpSk9P9yybMZ6amioz84wHBwcrKCgo2/GM182Q8VFyampqjsZDQ0OVnp6utLQ0z5jjOAoJCcl2PLu5F9+eQpVXOe2V9URP9ERPF49LjvIr0Hpy43ryV085UeRDXpMmTTR9+nTFx8erYsWK2r17t2bPnq3x48frlltu0apVq9S4cWPP8snJyYqJicnytaKjoz3LZGfChAkaM2ZMpvH58+erVKlSkqRq1aqpadOm+v777/Xrr796lqlbt67q1aunNWvW6LfffvPqoXr16lq6dKlOnDjhGW/durViYmI0f/58rxXaoUMHlSxZUnPmzPGaw4033qgzZ85o0aJFnrGQkBB169ZNhw4d0sqVKz3jUVFR6tixo5KSkrRhwwbPeIUKFdSmTRslJiZq69atnnF6ulV5Fbg9uXE90RM9uacnKVr5FWg9uXE9+aOn9evXKyccuzjGBqCMEy+mTp2q/v375/h5U6ZM0b333qtevXrpvffe84yHhYUpJiZGu3fvzvScpKQkVatWTZ07d9a8efOyfN2s9uRVrVpVhw4d8oTE4vpXhZt7euB/874n79VB7MmjJ3qip9z3dO8/87cnb8pQ9uS5tacjR46ofPnySk5O9mSPrBT5PXnZ6devnx544AEtX77ca7x06dLZ7qnL+Oj14hMyLhUeHq7w8PBM46GhoQoN9Q4CwcHBCg4OzrRsdmfuZjd+6evmZTwoKEhBQZkPwcxuPLu501PuFYWe3Lie6ImeinpPvhBoPblxPQVST5nq5WipIigsLExRUVE6ffq013hcXJxOnjyp/fv3Z3pOxrF4GcfmAQAAFFWuDXmJiYk6evRopgskx8fHS7pwDN2lMj6izVgGAACgqCrSIe/EiRP6/vvvM40fPXpUd999tySpd+/eXo8NGDBAISEhevbZZ70+tt28ebNmzJihWrVqqWPHjgU7cQAAgAIWkMfkvfnmm1q2bJkk6YcffvCMZVzjrnv37urevbsOHz6sxo0bq0WLFmrYsKFiYmK0Z88ezZ07V4cPH9b111+vYcOGeb12nTp1NHr0aD311FNq1KiRevXqpVOnTmnWrFlKSUnRlClTuNsFAAAo8gIyzSxbtkzTp0/3Glu+fLnnJIoaNWqoe/fuKleunAYNGqRVq1bps88+07FjxxQREaGGDRvqrrvu0sCBA7M8YHHkyJGqUaOGJk2apMmTJyssLExt2rTR2LFj1bJly0LpEQAAoCAF/CVUAt3x48c9Z+z+3mnMKNrumZT3504Z6qtZAChO8vNzR+Jnj5vlNHsU6WPyAAAAkDVCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAAAFyIkAcAAOBChDwAAAAXIuQBAAC4ECEPAADAhQh5AAAALkTIAwAAcCFCHgAAgAsR8gAARcqJEyc0dOhQVa9eXSVLllSbNm20du1af08LCDiEPABAkTJw4EAtWLBA//73v/XDDz+oc+fO6tSpk/bs2ePvqQEBhZCHPNuzZ4/uuusulS9fXqVKlVKTJk20fv16f0+r2OD9L55q1Kghx3EyfQ0aNMjfUysUZ86c0QcffKDnn39e7dq1U+3atTV69GjVrFlTkydP9vf04HJF7ecuIa8IGz16dKYf9JUqVSqU2kePHlXbtm0VGhqquXPn6scff9SLL76oMmXKFEr94s7f778/tz1/83fva9eu1b59+zxfCxYskCTddttthVLf3/2npqYqLS1NJUqU8BovWbKkli1bVmjzQPHj75+7eRHi7wkgfxo0aKCvvvrK831wcHCh1J04caKqVq2qqVOnesZq1KhRKLURGO+/v7a9QODP3itUqOD1/XPPPadatWopPj6+0Obgz/6joqLUunVrPfPMM7r66qtVsWJFzZo1S6tXr1ZcXFyhzQPShAkT9OSTT2rIkCGaNGmS6+sHws/d3GJPXhEXEhKiSpUqeb4u/QVQUD799FO1aNFCt912m2JiYtS0aVNNmTKlUGpLF/5xt2zZUlFRUYqJiVH37t21devWQqvvb/5+/yX/bXuSNHnyZDVq1EjR0dGKjo5W69atNXfu3EKr78/eL3b+/Hm98847+utf/yrHcQqtrr/7//e//y0z05VXXqnw8HC9/PLLuvPOOwslbPp72wsUa9eu1RtvvKFGjRoVm/qB8HM3twh5RVxiYqIqV66smjVr6o477tD27dsLpe727ds1efJkxcXFad68ebr//vs1ePBgzZgxo1DqL1myRIMGDdKqVau0YMECpaamqnPnzjp16lSh1Pc3f7//kv+2PUmqUqWKnnvuOa1bt07r1q1Tx44ddeutt2rz5s2FUt+fvV/s448/1rFjx9S/f/9Crevv/mvVqqUlS5bo5MmTSkpK0po1a5SSkqKaNWsWeG1/b3uB4OTJk+rTp4+mTJmismXLFpv6gfBzN7ccMzN/T6IoO378uEqXLq3k5GRFR0cXau25c+fq9OnTqlOnjg4cOKBx48Zpy5Yt2rx5s8qXL1+gtcPCwtSiRQutWLHCMzZ48GCtXbtWK1euLNDaWfntt98UExOjJUuWqF27dj5//Xsm5f25U4b6ahb/5e/335/bXnbKlSunF154QXfffXeB1gmk3rt06aKwsDB99tlnhVYzkPrPcPToUdWsWVPPP/+87r333kKvX1DbXn5+7kgF87NHkvr166dy5crppZdeUvv27dWkSZNC/bjWX/X9/XP3YjnNHhyTV4R17drV8/8NGzZU69atVatWLU2fPl0PP/xwgdaOjY1V/fr1vcauvvpqffDBBwVaNzvJycmSLvywLQ78/f77c9u7VFpamt577z2dOnVKrVu3LvB6gdL7rl279NVXX+nDDz8stJpSYPQ/b948mZnq1q2rX375RcOHD1fdunU1YMCAQqmfobC3vUAwe/Zsffvtt367LqE/6/v7525eEPJcJCIiQg0bNlRiYmKB12rbtm2mY+B+/vlnVa9evcBrX8rM9PDDD+uPf/yjrrnmmkKv7w+B9P5LhbvtZfjhhx/UunVrnT17VpGRkfroo48y/QAuDP7oXZKmTp2qmJgYdevWrVDrXsof/ScnJ2vEiBHavXu3ypUrp549e+rZZ59VaGhoodQPlG2vsCUlJWnIkCGaP39+prObi0P9QPu5mxMck+ci586d008//aTY2NgCrzVs2DCtWrVK48eP1y+//KKZM2fqjTfe8Mu1uh588EF9//33mjVrVqHX9pdAev+lwt32MtStW1cbNmzQqlWr9Le//U39+vXTjz/+WGj1M/ij9/T0dE2dOlX9+vVTSIh//1b3R/+33367tm3bpnPnzmnfvn165ZVXVLp06UKrHyjbXmFbv369Dh48qObNmyskJEQhISFasmSJXn75ZYWEhCgtLc3V9QPt525OcExePvnzmLxHH31UN998s6pVq6aDBw9q3LhxWrJkiX744YdC+cvi888/14gRI5SYmKiaNWvq4Ycf1j333FPgdS/20EMP6eOPP9bSpUsL9KDrQDsmT/Lv++/vbS8rnTp1Uq1atfT6668XaJ1A6H3+/Pnq0qWLtm7dqjp16hRKzQyB0H+gKahtL9COyTtx4oR27drlNTZgwADVq1dPjz/+eIF/kuLv+lJg/N6TOCavWNi9e7d69+6tQ4cOqUKFCrr22mu1atWqQvtBe9NNN+mmm24qlFqXMjM99NBD+uijj7R48eJCOasu0Pjz/ff3tpcVM9O5c+cKvE4g9N65c2f56+/zQOg/0BTWtudvUVFRmYJURESEypcvXygBy9/1Jf/+3M0LQl4RNnv2bH9PwW8GDRqkmTNn6pNPPlFUVJT2798vSSpdurRKlizp59m5n7+3vSeffFJdu3ZV1apVdeLECc2ePVuLFy/Wl19+WeC1/d27vxVm/4G2J0vy77YH5FaxDnlr165VQkKCVq5cqfPnz6tBgwYaOnSo7rzzTn9PDZeRcY/K9u3be41PnTq10K8ZhsJ34MAB/c///I/27dun0qVLq1GjRvryyy91/fXX+3tqPheIQac4K07bXk4sXry4WNcPdMU25C1evNhzjak77rhDpUuX1ocffqg+ffpo586devLJJ/09xYASaL9oitOhpIH23geCt956y99TQDHFtlc8uOXnbrEMeampqRo4cKAcx9HSpUvVtGlTSVJCQoJat26thIQE3XbbbQF1H0S3bHAoeor7tlec+y/OvcP/6z8QT3graoplyFu4cKG2bdumAQMGeAKedOGgzqefflp33HGHpk6dqvHjx/txlgAk//+iQfHFtoeirliGvIzP8Dt37pzpsYyxJUuWZPncc+fOeZ1FlXGnhSNHjiglJUWSFBQUpODgYKWlpSk9Pd2zbMZ4amqq18eNwcHBCgoKynY8JSVF58/m7yKfx46le11DyHEchYSEKD096/FL557f+ocPX3hvLu7pYhnX+kpNTc1yfPDk/N18/V8PKNv1kZP1lJ/+M3rPkF2voaGhWa6P82fz98/08OEUtj3lfds7fzZ/297x4/7b9iTv7Y9tj22vqGx7ISEhOn82f7WL8rZ3ufV05MgRSTk4dMmKoV69epkkW7duXZaPX3HFFVahQoUsH0tISDBJfPHFF1988cUXX379SkpK+t28Uywvhty5c2ctWLBAiYmJql27dqbHa9Wqpd27d2d53aNL9+Slp6fryJEjKl++vBwnf3915dXx48dVtWpVJSUlFfoFmYt7/eLcO/WLd/3i3Dv12fb8WV+SzEwnTpxQ5cqVFRSU/c3LiuXHtfkRHh6u8PBwr7EyZcr4ZzKXiI6O9tsGV9zrF+feqV+86xfn3qnPtufP+jm5lV+xvHdtxhuTcTzdpTJuFwIAAFBUFcuQl3FplMTExEyPHT16VIcOHQqoy6cAAADkVrEMefHx8ZIu3OT7UhljGcsUBeHh4UpISMj0MTL13V2b+tRn26d+caxfnHvPrWJ54kVqaqrq1q2rPXv2aNWqVWrSpIkk6cSJE2rdurW2bt2qzZs3q06dOv6dKAAAQB4Vy5AnSYsWLVKXLl0UHh6u3r17Kzo6Wh9++KF27NihcePGaeTIkf6eIgAAQJ4V25AnSWvWrFFCQoJWrlyp8+fPq0GDBho6dKj69Onj76kBAADkS7EOeQAAAG5VLE+8AAAAcDtCHgAAgAsR8gAAAFyIkAcAAOBChDwXufgcmvT0dD/OxD+Kc//FuXeJ/gEgK4S8Iu7iX26O4+jQoUOSpKCgoCyXcZvi3H9x7l2ifynr/tLS0lzfdwb6L779F+fec4NLqLjAgQMHNGnSJP3www86evSoUlNT1aJFC3Xv3l1t2rRRRESEpP/+o3Acp0DmYWYF9tq/JxD6L869Z7w+/Rd+/xlOnTql48ePKzY21ms8PT3dK/S6Ff0X3/6Lc+85Qcgr4lasWKEnnnhCy5Yt0xVXXKHo6Ght377d83iVKlXUt29fPfDAA6pcubLP6x84cEAhISEqX7681/jlfun56peiP/svzr1L9O/v/lNSUrRkyRJNnjxZ+/bt09GjRxUZGan27dure/fuat26teeXXEH/wvNHyKX/wOi/OPcu+f8PvMsyFGnXXXedlS9f3qZOnWpJSUlmZrZz506bNm2a9enTx2JjY81xHCtfvrz961//svPnz/u0fr9+/eyuu+6yadOm2Q8//GBnzpzxejw9Pd3S09O9xtLS0nxW35/9F+fezejf3/0/99xzVr58eQsJCbGGDRtazZo1zXEcz1eDBg3s5ZdftpMnT/qs5sV++uknO3HihNdYVj1f6nKP5xT9+6//4ty7mf/7zw1CXhG2a9cuCw4OtjFjxnjGLt2INm3aZI8//rhFRkZaVFSUTZ061cx888tm165dnn9U4eHh1qxZM3v44Yftgw8+sO3bt3vVyJhXYmKiPf744/bxxx/7pL6/+i/OvWfUp3//9b9z506LiIiwdu3a2ZYtW+z48eNmduGXz//+7//aLbfcYpGRkeY4jjVu3Njmz5+f75oXS0pKsmbNmtmQIUPs//7v/+znn3+21NRUr2Uy+s7477lz53xWn/79139x7t3M//3nFiGvCHv33XctPDzcpk2bZmbm2VORnp6e6RfZpk2brGbNmhYTE2OJiYk+qf/222+b4zjWv39/Gz58uNWrV8+CgoIsOjraOnToYGPHjrUFCxbYvn37PM95/fXXzXEcmz59er7r+7P/4ty7Gf37u/8xY8ZYhQoVbMGCBWZmmX7JmJmtXLnS+vTpY47jWP369W3t2rVm5pu9CQkJCZ6AGxERYX/84x/t6aeftjlz5tju3bu9ls2o9+GHH9o999xjv/zyS77r07//+i/OvZv5v//cIuQVYevWrTPHceyZZ57Jdpm0tDRLSUkxM7N33nnHHMexGTNm+KT+yJEjzXEcW7ZsmZmZbdy40aZPn2533nmnXXnlleY4jsXGxlr37t3tlVdesUWLFln37t3NcRyf7Eb3Z//FuXcz+vd3/7fddpvVrFnTduzYYWb//UWXlpaWKeRm9H7zzTfnu26Gbt26WUREhD3//PM2cOBAq1atmjmOYxUqVLCbb77Z/v73v9uyZcvs0KFDnuf06NHDwsLC7PTp0/muT//+6784927m//5zi5BXhB07dswaNWpkUVFR9sYbb9ixY8eyXC7jH8GaNWssIiLCRo0ale/aZ86csUceecTKlCljBw8e9Iynp6fboUOHbPXq1fbPf/7TunbtamXKlLGgoCCrUaOGT//B+av/4ty7Gf0HQv8TJkwwx3Fs3bp12S6TmprqCbl33HGHVa1a1X788cd81z5w4IC1atXKqlatamZmR44csXXr1tmrr75qt9xyi5UvX94cx7GaNWtanz597J133rHp06dbhQoV7IYbbsh3fTP691f/xbl3s8DoP7cIeUXcnDlzLCQkxEqUKGHDhw+3tWvXZrunYOrUqRYUFGRffPGFT2ovXbrUnnvuOfvtt9/MLPOu8PPnz9uePXvsq6++smeeecZzcOycOXN8Ut/Mf/0X597N6N/f/S9btsyCgoKsSZMmtmDBgiz3EFx8IHhCQoKVLFnS1q9fn+/a27ZtsyZNmljPnj29xlNTU23fvn22ZMkSGzdunP3xj3+0kiVLWlhYmFWpUsUcx7HPP/883/XN6N9f/Rfn3s0Co//cIuS5wNKlS61du3YWFBRklStXtgEDBtjMmTNt1apVtnXrVktOTra5c+da3bp17aqrrvLLHJOSkqxt27ZWunRpn792oPdfnHs3o/+C6v+JJ54wx3HsqquushdffNG2bNmS6QxfM7Pk5GTr27evlS9f3id1z507ZzNnzrSPP/7Ys7fkUmfPnrXt27fbvHnz7IEHHrCwsDArW7asT+pnoP/C7784924WOP3nBiGvCEtLS/P8tbJx40YbM2aMtWjRwsLCwjzHBFWrVs1iYmLMcRyrUaOGzZw502f1L97IszugNePjsrlz51pISIjdfffdPqt/sU2bNtnYsWMLrf+cnKFZkL2z7v+rsNe9mf/Xf4Zp06ZZ3bp1zXEci4uLs8GDB9v7779vy5cvt61bt9qePXts+PDhFhERYUOHDvV5/Zz46KOPLCwszO655x6fvzb9B3b/xbl3s4LtP6cIeS6zefNmmzp1qj366KN22223WcuWLa1x48Y2YsQI27JlS4HXvzh8XOyNN96wyMhIW7NmTYHW37p1q82YMcNv/WelsHpn3QfeujcrmP4zQvb58+ft66+/tiFDhli9evUsODjYgoODrWLFila2bFkrVaqUOY5jf/nLX+zXX3/1Se309HRP/ZxcG+yRRx4xx3E8Zzj6ag5mF4L04sWLC73/3JylWRD9+2v9s+79v+5zizteFFFHjhzRjh075DiOTp8+rcqVK+uqq67yPJ6SkqIzZ84oOjpaKSkpCg0NLbD6Z86cUZUqVVS9enWvZeyiK4Fv27ZNGzZsUM+ePX06j6xqSVJqaqrOnj2ryMjIAuk/N3zdO+veWyCve6ng+5cu9Lxx40atX79eP//8s/bt26dt27apWrVq6tatm/r06aOQkJACqy9lfWeBo0eP6pFHHtG6dev0/fffF1jttLQ0bdq0SWvXrtWWLVv80n9WCqt/f69/1n1mhdX/5RDyipjk5GRNnz5dkyZN0s6dOxUWFqbSpUurYsWKatasmTp37qyOHTuqUqVKkv77j+/SX4QFVb9r167q2LGjKlSokO9aeWGX3KM0o2833MeQdf/73LzuM6SkpGjLli06duyYUlJSFBQUpLi4OF155ZWeZc6ePavg4GCFhoYqLS1NwcHBBVY/JCREcXFxme4bmiEtLU3fffedzEwtW7b02Twudun2ff78eQUHBys4ONjn/eeWr/v35/pn3edOYfSfE4S8Iua+++7TlClT1KpVKzVu3Fhly5bVrl27tHTpUu3bt0+S1LFjRw0cOFDdu3dXiRIl/Fb/z3/+s8LDw316c/gVK1bommuuUXR0dL5fqyjVllj3/n7//V3/p59+0ogRI/TFF18oLS1NYWFhioyMVNWqVdW6dWt17dpV8fHxnvn5KtznpH6bNm1000036U9/+pMiIyN9VjM3Lg3zGf37+n3wF3+uf9Z9EVYYnwnDN7Zv325hYWHWv39/z0Hd58+ft9TUVDt27Jh98skn1qNHDytZsqSVK1fOxo8f76r627Zt85xR9cgjj9iqVauyPcMp48D4kydP2v79+7NdrijUNvP/e+/v+v5+//1df8+ePdagQQMLCQmxgQMH2pNPPmmjRo2yP//5z1amTBlzHMdKlSpld955py1ZsiTf9fJTf+nSpV7P9cVdBo4cOWKLFy+2s2fP5vu1imJ9f65/1r1/6+cXIa8ImThxopUpU8a+/vprM8v6di5paWn25Zdf2h//+EdzHMdeffVV19R/4YUXPDecd/7/fUObN29uEydOtJ9//jnTPMzMXnvtNWvVqpV9++23Rba2mf/fe3/X9/f77+/6Tz31lJUrV87eeustz1hGeDx48KBNmzbN2rdvb0FBQVanTh376KOP8l0zkOo/+uij5jiONWvWzJ555hnbtGlTtstmBIt9+/bZgQMHfBI0/F3fn+8/696/9fOLkFeEjBgxwsLDwz333/y9Dejbb7+1a665xipVqmSHDx92Rf0777zTQkJC7IMPPrDXXnvNc0cBx3EsJCTEOnfubNOmTbO9e/ea2YUg0rNnT5/cSsqftc38/977u76/339/12/cuLHdcMMNduDAATPL+v1PTk62N9980ypWrGglSpSwjRs35rtuoNRv0qSJBQUFWbly5Twhu0OHDvb6669nul+o2YW9qHfeead16dLFJ3tS/V3fn+8/696/9fOLkFeEfPjhh+Y4jo0aNcrziyMlJSXbX7j//Oc/LSQkxBYtWlTk6x8+fNji4+MtJibGM3b+/Hlbvny5jRo1ylq3bm2hoaHmOI6VKVPG/vrXv9qLL75oV1xxRb5vJeXP2hlY9/57/wOhfosWLewPf/jDZZdNSUnxrKuBAwfmu3Yg1N+xY4dVrlzZrr32WtuwYYM988wz1q5dOytRooQ5jmNRUVF2++2320cffeT5o2LNmjVWtmxZi4+PL/L1/fn+s+79W98XCHlFyO7du61JkyZZfhSWlpbmdaNmM7NXX33VQkNDMx0nURTrHz582Hr06GHx8fF2+vTpTB8XHjt2zD7//HN78MEHrX79+p6/uBzHyfetrPxZOwPr3n/vvz/rZ4Toe++91xzHsc8++8xSU1O9rleWlT/96U/WvHlzr5ukF8X6ZmYLFy60oKAgGzx4sGfsxIkTNm/ePBs2bJg1atTI835feeWVNnToULvvvvt8dispf9b35/vPuvd/fV8g5BURGf/gvvvuO2vRooU5jmPXXHONTZ482bMb/WLHjh2zHj16+Ox2Lv6ub3bhljK//vqrJ0ikp6dneQHegwcP2quvvmrly5f32e1k/Fnb3++9v+ub+ff9D4T6c+bMMcdxrE6dOjZv3jyvx1JTUz2/fM3++/7HxcW5ov6GDRssLi7OXn75ZU+9i+3bt89mzZpl/fr189wj2HEcn73//q5v5t/3n3Xv33WfX4S8Imjx4sV2yy23eDao0qVL280332yTJ0+2efPm2SuvvGLXX3+9BQUF2ahRo1xXPysZv3Qz/hF+8803VqpUKbv33ntdVdvf772/62fFn+u+MOu/++67VrFiRc8xQf/5z3+8jvfL+EX7xRdfWOXKlX1+KyV/1j9+/LgdOXLEayyrW8vt2bPHHnzwQXMcxx544AHX1Dfz7/vPuvfvus8PQl4RkdWxT0uXLrW77rrLIiMjvT4iyjg2aNy4cT478N3f9TP+UWV366xLDRs2zBzHsXXr1hXp2tlZtmyZ/c///E+hvPeBWP/3FMb774/6Z8+etXfeeceaN2/uea8rVqxot99+u02ZMsVmzJhhjz32mJUrV84qV678u2cBFsX62UlPT/fawzJq1KhCXf+FVf/s2bP27rvv+uX992ft31Nc1n1+cDFkF0hJSdFXX32lDRs2qFSpUipTpozq169faFfZ9nf9S505c0YJCQlasGCBvvvuO1fVvvSinykpKfr666+1YcMGlSxZssDfe3/Xvxx/rvuCqm+XXNDVzPTJJ59oypQpWrBggVJTU72Wb926tZ566il17drVVfVzcgeD7du3q3v37jpx4oR27NjhivpZzeezzz7TG2+8ofnz5xf4+x8otS+nMN77QK6fHUJeEbBt2zatWrVKK1euVFBQkJo0aaLatWurcuXKqlSpUoFfZTxQ61erVk2xsbEKDw/P8nmnTp1SREREka0tXbg1TlBQUKartqelpUlSgd+2J1DrX05Bv/+FVf9ykpOTtWjRIu3YsUOVK1dWZGSkWrZsqZiYmAKvHQj1L7Vjxw7dd999io+P18iRI11V3y588ub1R1ZycrIWL16s7du3F+j778/aOeXmdZ8fhLwAN2vWLI0aNUrbtm3zGi9VqpSaNm2qbt266eabb1aDBg0kZb5/Z3Gof8stt6h+/fpe9X0xB3/WvlRWP2QzXLx3LTU1tUBuxh3I9S+Wmpoqx3F8Hj79Vf/zzz/Xxo0b9d133yk2NlbNmjVT7dq1VbVqVVWqVMnnt64rCvXj4uJUs2ZNVaxYMdttzVf3LfV3/exeJy0tTY7jFOg9mf1Z+/fqF9TzAq2+zxTGZ8LIm127dllsbKzFxcXZG2+8YZs3b7YPP/zQ/v73v9tdd91lV111lTmOY9WqVbO///3vdubMGTPzza1kint9f/e+e/du69Gjh7377rt28OBBr8fS0tKyPPDXl6jv3/pHjx61Rx55xBzHsbCwMK9jHsuWLWs33HCDTZ482XPxZTPfbXtFqf7+/fu9npfVnViKYv1Lt6+Mk3sudfH45S5tUhRq56b+pc6dO+eK+r5GyAtgI0eOtHLlymV5vZ0jR47Y8uXLbezYsVa7dm1zHMf69u3r0ytsF+f6/u49ISHBHOfCPSEbNGhgQ4YMsfnz59vp06e9lktLS/PUXbRokc2dO5f6Lqg/ceJEK1WqlPXq1ctWrFhhv/zyi33wwQc2ceJE69mzp8XGxprjONa4cWN77733fFKT+oFT/9VXX7Xbb7/dPv/8cztx4oTXYwX9R4Y/a1Pf9wh5ASw+Pt5atmzpuahkSkpKlhvYd999Z926dbOgoCAbN24c9Yt4bTOzVq1aWalSpeyGG26wkiVLmuM4Fhoaam3btrVnnnnG1q5d67X8qVOn7JZbbrGgoCDPXkXqF9361atXt27dutlvv/2W6bH9+/fb/PnzbfDgwVaqVClzHMdeeeWVfNekfuDUr1GjhjmOYyVKlLA//OEP9vTTT9vKlSsz7S3N+APjzJkzNm3aNFu1alWRrk193yPkBajTp09bz549rUqVKp6Piy79KODije63336zOnXq2LXXXut1cUrqF63aZhc+KoyLi7NmzZqZ2YULbr722mvWrl07r8uU3HzzzfbKK6/Y/v37be3atRYbG+uT22hR37/1f/rpJ4uMjLQRI0Z4xtLT0zNtV+fOnbN58+ZZ3bp1rXTp0vbNN9/kuzb1/V9/06ZN5jiOtWjRwq6//nrPNhcZGWldunSxf/7zn/bTTz95Peebb76x6Ohou/XWW4tsbeoXDEJeAJs4caI5jmOjR4/O9NjFP3Ay/qIYMGCAValSxX7++WfqF+Ha3377rVWoUMFuu+22TPV++uknGzNmjNfts6pVq+a5E8Vnn31G/SJe/8cff7QqVarY7bffbmaZ9yJfGjjmzp1rjuPY+PHj812b+v6vP2vWLHMcx/7xj3+YmdnWrVtt4sSJntsKOo5jsbGx1rt3b5sxY4YdOXLEXnzxRZ9sf/6sTf2CQcgLUOnp6Xbs2DG74YYbzHEc6969u82fP9+Sk5O9ljt//ryZmSUnJ9udd95psbGx1C/Ctc3M9u7daw8//LC9//77XnO6dI5Lly61hx56yCpVquQ5IJz6Rb++mdkf/vAHi4yMtDlz5mR6LGMuGcHjyJEjVrt2bevRowf1XVD/9ddfN8dxsqy9Zs0aGzZsmFWtWtUTOurUqWOVKlWyMmXKFOna1C8YhLwAt3TpUmvZsqU5jmNVqlSxgQMH2r///W/bsGGDnTp1yrPc66+/bqVLl7a//e1v1HdB7VOnTmUKlRkuDRwffvihOY5vb6VDff/Uz3jt1atX25VXXmmO49jQoUNt9erVmY71O3v2rJmZrVixwipXrux1E3XqF936K1eutGHDhtkvv/ySaV4Zzpw5Y59//rn169fPSpcubY7j2IMPPlhka1O/4BDyAlBWx3T961//smbNmllISIiVLFnS6tata3/605/slltusfbt21twcLC1aNHCEhMTqV9Ea2dXP+Mm4NkZPny4OY5j69evp34Rr39xzWnTpnnO4mzQoIENGzbM3nvvPdu8ebNnL9Lu3bvtjjvusODgYOq7qP6JEyeyvSTHpdvooEGDzHEc++6774p8ber7HiEvQGVsTDt27PD8gjl06JDNmjXL7r77bmvYsKEFBQWZ4zgWFxdnt912m+3YsYP6Rbz2xfV3796d6YzeS48P2rNnjzVq1MinHxdQ37/1L3bw4EEbNWqU1atXz4KCgiwyMtLq1q1rzZs3t+uvv96qVq1qJUqUKLAbolPfv/Wzk7GN/vLLL9a8eXOrXbt2sahN/dzjjhcB5vz58/rmm280ZcoU/fLLLzIzlSxZUs2bN1fv3r117bXXSrpwBf7Dhw/rl19+Ub169VSmTBnPuJOPuy0U5/qB2nuTJk10++23q127dpmec/r0aX355ZcKCwvTTTfdlOfa1Pd//YuZmdLT0xUcHKwzZ84oMTFRa9eu1fLly7V69Wpt2bJFFSpUULVq1XT33Xfrrrvu8ult1Kjv3/o59fnnn+uWW27R8OHDNXHixGJTm/q5UJiJEpf33HPPWXR0tDmOY/Xr1/c6i89xHLvqqqvshRdesN27d3ue48uLMxbn+oHee40aNey5556zPXv2eD3PV3caoL5/619OWlqanTp1ylJSUuzQoUO2adOmQqlL/cKvn9Ntav/+/TZt2jQ7fPiwK2pT3/cIeQFk27ZtVqpUKYuPj7ddu3Z5bpmzd+9emzJlinXt2tXzC6dt27a2bNky6rugdl7qr1ixgvouqn/69GnbsmVLpjtqmF0IFxf/4rn0l5Av/tCgfuDWv5z83krNn7WpX/AIeQFk1KhRVrFiRfv66689Y5f+QNm0aZP99a9/tZIlS1rt2rV9epXt4ly/KPfuiz1J1Pdv/QkTJliLFi1s/PjxtnDhQtuzZ0+WF+C+uNaxY8d8tieZ+oFf/1LHjh3zScjwZ23qFzxCXgDp0aOH1axZ03bt2mVm/73Qbnp6eqYNavLkyeY4jt15553UL+K1qU/9jMt1hISEWPny5e3mm2+2f/3rX7ZmzRrPrfUudvLkSXv22WdtzJgxPgmZ1C+69fMbNP1Zm/oFj5AXQJ555hlzHOd3j/W4+KODv/zlL1a1alWf3WGiONcvzr1T37/1t27dapGRkdamTRt75ZVX7NZbb7WYmBhzHMeqV69u/fr1s3//+9+2adMmO3r0qJmZrVy50iIjI6179+7Up36RrE39wkHICyDLly83x3GscePG9vXXX2d5rZ6L9yw89dRTVrJkSduwYQP1i3Bt6hfv+p999pmFhIR4bqG3c+dOmzdvno0ePdratWtnkZGRFhISYo0aNbKhQ4fal19+6bk2ny9upUT94lu/OPceCPULAyEvgKSmptojjzxijuPY1Vdf7bn5eVaOHDli/fr1swoVKlC/iNemfvGu/95775njOPaf//zHa/z8+fOWmJho77//vg0ZMsQaN25sYWFhFhERYaVKlfLZbdSoX3zrF+feA6F+YSDkBaDXXnvNatWqZY7j2JVXXmkPPvigffHFF/b999/b5s2bbc+ePfbEE09YiRIl7JFHHqG+S2pTv3jWT09Ptx9//NG2b9/u+f5SJ0+etG+//dZmzZplnTt3Nsdx7KGHHqI+9YtsbeoXDkJeAEpPT7eff/7Zhg8f7nUz5IoVK1qVKlUsODjYHMex3r17W1JSEvVdUpv61M9qPpd66KGHzHEc+/bbb6lPfVfWpr7vcMeLAHfq1CmtWbNGn376qfbu3auDBw8qOjpaf/nLX9SjRw+VKFGC+i6sTX3qXyw9PV1BQUHauXOnbr31Vh09elS//vor9anv6trUz78Qf08Avy8iIkIdOnRQhw4dlJKSotDQUOoXg9rUp/7FgoKCJEl79uxRSkqKHnjgAepT3/W1qZ9/7MkDgCLCzLR7926VK1fOL/dKpX7xrV+cew+E+nlFyAMAAHChIH9PAAAAAL5HyAMAAHAhQh4AAIALEfIAAABciJAHAADgQoQ8AAAAFyLkAQAAuBAhDwAAwIUIeQAAAC70/wBknsArslZn0AAAAABJRU5ErkJggg==",
      "text/plain": [
       "<Figure size 700x500 with 1 Axes>"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "qasm_simulator = Aer.get_backend('qasm_simulator')\n",
    "\n",
    "job = execute(qa, qasm_simulator, shots = 1000)\n",
    "counts = job.result().get_counts(qa)\n",
    "\n",
    "plot_histogram(counts)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Recuerda practicar este algoritmo para tu evaluación. ¡Éxitos!"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "id": "6ucKfX5Q-7Ga"
   },
   "source": [
    "---\n",
    "\n",
    "## 5. Recursos útiles\n",
    "\n",
    "[1] Grover L.K.: [A fast quantum mechanical algorithm for database search](https://arxiv.org/abs/quant-ph/9605043),\n",
    "\n",
    "Proceedings, 28th Annual ACM Symposium on the Theory of Computing, (May 1996).\n",
    "\n",
    "[2] [Qiksit: Grover’s Algorithm\n",
    "](https://learn.qiskit.org/course/ch-algorithms/grovers-algorithm)\n",
    "\n",
    "---"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Donaciones\n",
    "<br>\n",
    "Puedes donar una vez en el siguiente enlace (Ko-Fi)\n",
    "\n",
    "<a href=\"https://ko-fi.com/rcrdphysics\">\n",
    "<img src=\"https://habrastorage.org/webt/8r/ml/xf/8rmlxfpdzukegpxa62cxlfvgkqe.png\" width=20% />\n",
    "\n",
    "</center>"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "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.11.3"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 4
}