examples/1_Getting_started_with_AutoQASM.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "135014b8",
   "metadata": {},
   "source": [
    "# Getting started with AutoQASM\n",
    "In this notebook, we demonstrate how to write and execute a quantum program with AutoQASM, using Bell state preparation as an example."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "id": "15cdfaee",
   "metadata": {},
   "outputs": [],
   "source": [
    "# general imports\n",
    "from collections import Counter\n",
    "\n",
    "import matplotlib.pyplot as plt\n",
    "\n",
    "# AutoQASM imports\n",
    "import autoqasm as aq\n",
    "from autoqasm.instructions import cnot, h, measure\n",
    "\n",
    "# AWS imports: Import Braket SDK modules\n",
    "from braket.devices import LocalSimulator"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "d2d7004f",
   "metadata": {},
   "source": [
    "## Build and run a Bell state program\n",
    "As a hello-world example, we create a Bell state and execute it on the Braket local simulator. The quantum program is defined in the `bell_state` function. The `@aq.main` decorator marks the `bell_state` function as a quantum program and enables AutoQASM syntax in the function scope."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "id": "2fa589ad",
   "metadata": {},
   "outputs": [],
   "source": [
    "@aq.main\n",
    "def bell_state():\n",
    "    h(0)\n",
    "    cnot(0, 1)\n",
    "    return measure([0, 1])"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "2c59985b",
   "metadata": {},
   "source": [
    "The quantum program is defined by the decorated `bell_state` function. You can view the generated OpenQASM script with the `to_ir()` method. This can help you debug if you are already familiar with OpenQASM."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "id": "19467aa5",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "OPENQASM 3.0;\n",
      "output bit[2] return_value;\n",
      "qubit[2] __qubits__;\n",
      "h __qubits__[0];\n",
      "cnot __qubits__[0], __qubits__[1];\n",
      "bit[2] __bit_0__ = \"00\";\n",
      "__bit_0__[0] = measure __qubits__[0];\n",
      "__bit_0__[1] = measure __qubits__[1];\n",
      "return_value = __bit_0__;\n"
     ]
    }
   ],
   "source": [
    "print(bell_state.build().to_ir())"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "756d0587",
   "metadata": {},
   "source": [
    "Here we submit the quantum program to the local simulator and obtain the results."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "id": "57bf2546",
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "measurement counts:  Counter({'11': 52, '00': 48})\n"
     ]
    }
   ],
   "source": [
    "device = LocalSimulator(\"autoqasm\")\n",
    "result = device.run(bell_state, shots=100).result()\n",
    "counts = Counter(result.measurements[\"return_value\"])\n",
    "print(\"measurement counts: \", counts)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "id": "7fc6f4a6",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAjMAAAGwCAYAAABcnuQpAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjguNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8fJSN1AAAACXBIWXMAAA9hAAAPYQGoP6dpAAAg6ElEQVR4nO3df3AU9f3H8dfKjyOBJMivOyIBoh74I4AVBBOridTEoqWlmfEXjIKKgog1phaIUTkcSISOEGsqClVMa6N2WlE7tjQRSaRGSkBSEBVRI8QhZwRjEiAkAvv94zvccA0/kiNh7wPPx8zNsJ/d27xhJvXZ3U3Osm3bFgAAgKHOcXoAAACAU0HMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBonZ0eoKMdPnxYu3btUlRUlCzLcnocAADQCrZtq6GhQbGxsTrnnBNfeznjY2bXrl2Ki4tzegwAABCCqqoqDRgw4ITHnPExExUVJen//zGio6MdngYAALRGfX294uLiAv8dP5EzPmaO3FqKjo4mZgAAMExrHhHhAWAAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEbr7PQAphs8522nRwDC1ldP3uj0CADOAlyZAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEZzNGZ8Pp8sywp6eTyewH7btuXz+RQbG6uIiAilpKRo69atDk4MAADCjeNXZi699FJVV1cHXlu2bAnsW7RokRYvXqz8/HyVl5fL4/EoNTVVDQ0NDk4MAADCieOfzdS5c+egqzFH2LatvLw8ZWdnKz09XZJUUFAgt9utwsJCTZs27Zjna2pqUlNTU2C7vr6+YwYHAABhwfErM9u3b1dsbKzi4+N166236ssvv5QkVVZWyu/3Ky0tLXCsy+VScnKyysrKjnu+3NxcxcTEBF5xcXEd/ncAAADOcTRmxowZoz/+8Y/617/+peXLl8vv9yspKUl79uyR3++XJLnd7qD3uN3uwL5jycrKUl1dXeBVVVXVoX8HAADgLEdvM40bNy7w52HDhikxMVEXXHCBCgoKdOWVV0qSLMsKeo9t2y3WjuZyueRyuTpmYAAAEHYcv810tO7du2vYsGHavn174Dma/70KU1NT0+JqDQAAOHuFVcw0NTXpk08+Uf/+/RUfHy+Px6Pi4uLA/ubmZpWWliopKcnBKQEAQDhx9DbTww8/rPHjx2vgwIGqqanR/PnzVV9fr8mTJ8uyLGVkZCgnJ0der1der1c5OTmKjIzUxIkTnRwbAACEEUdj5uuvv9Ztt92m3bt3q2/fvrryyiu1bt06DRo0SJI0a9YsNTY2asaMGaqtrdWYMWNUVFSkqKgoJ8cGAABhxLJt23Z6iI5UX1+vmJgY1dXVKTo6ut3PP3jO2+1+TuBM8dWTNzo9AgBDteW/32H1zAwAAEBbETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGiO/p4ZADABv4IBOL5w+BUMXJkBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGC5uYyc3NlWVZysjICKzZti2fz6fY2FhFREQoJSVFW7dudW5IAAAQdsIiZsrLy7Vs2TINHz48aH3RokVavHix8vPzVV5eLo/Ho9TUVDU0NDg0KQAACDeOx8zevXs1adIkLV++XOeee25g3bZt5eXlKTs7W+np6UpISFBBQYH279+vwsJCBycGAADhxPGYuf/++3XjjTfquuuuC1qvrKyU3+9XWlpaYM3lcik5OVllZWXHPV9TU5Pq6+uDXgAA4MzV2ckv/uqrr+rDDz9UeXl5i31+v1+S5Ha7g9bdbrd27Nhx3HPm5uZq3rx57TsoAAAIW45dmamqqtKDDz6ol19+Wd26dTvucZZlBW3btt1i7WhZWVmqq6sLvKqqqtptZgAAEH4cuzKzceNG1dTUaOTIkYG1Q4cO6b333lN+fr62bdsm6f+v0PTv3z9wTE1NTYurNUdzuVxyuVwdNzgAAAgrjl2Z+clPfqItW7aooqIi8Bo1apQmTZqkiooKnX/++fJ4PCouLg68p7m5WaWlpUpKSnJqbAAAEGYcuzITFRWlhISEoLXu3burd+/egfWMjAzl5OTI6/XK6/UqJydHkZGRmjhxohMjAwCAMOToA8AnM2vWLDU2NmrGjBmqra3VmDFjVFRUpKioKKdHAwAAYSKsYqakpCRo27Is+Xw++Xw+R+YBAADhz/HfMwMAAHAqiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0YgZAABgNGIGAAAYjZgBAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGI2YAQAARiNmAACA0RyNmaVLl2r48OGKjo5WdHS0EhMT9c9//jOw37Zt+Xw+xcbGKiIiQikpKdq6dauDEwMAgHDjaMwMGDBATz75pDZs2KANGzZo7Nix+sUvfhEIlkWLFmnx4sXKz89XeXm5PB6PUlNT1dDQ4OTYAAAgjIQUM1VVVfr6668D2+vXr1dGRoaWLVvWpvOMHz9eN9xwg4YMGaIhQ4ZowYIF6tGjh9atWyfbtpWXl6fs7Gylp6crISFBBQUF2r9/vwoLC0MZGwAAnIFCipmJEydqzZo1kiS/36/U1FStX79ejzzyiJ544omQBjl06JBeffVV7du3T4mJiaqsrJTf71daWlrgGJfLpeTkZJWVlR33PE1NTaqvrw96AQCAM1dIMfPRRx9p9OjRkqS//OUvSkhIUFlZmQoLC/XSSy+16VxbtmxRjx495HK5NH36dK1cuVKXXHKJ/H6/JMntdgcd73a7A/uOJTc3VzExMYFXXFxc2/5yAADAKCHFzA8//CCXyyVJeuedd/Tzn/9cknTRRRepurq6TecaOnSoKioqtG7dOt13332aPHmyPv7448B+y7KCjrdtu8Xa0bKyslRXVxd4VVVVtWkeAABglpBi5tJLL9Vzzz2ntWvXqri4WD/96U8lSbt27VLv3r3bdK6uXbvqwgsv1KhRo5Sbm6sRI0bo6aeflsfjkaQWV2FqampaXK05msvlCvx01JEXAAA4c4UUMwsXLtTzzz+vlJQU3XbbbRoxYoQk6a233grcfgqVbdtqampSfHy8PB6PiouLA/uam5tVWlqqpKSkU/oaAADgzNE5lDelpKRo9+7dqq+v17nnnhtYv/fee9W9e/dWn+eRRx7RuHHjFBcXp4aGBr366qsqKSnRqlWrZFmWMjIylJOTI6/XK6/Xq5ycHEVGRmrixImhjA0AAM5AIcXM2LFj9frrrweFjCT16tVLEyZM0Lvvvtuq83zzzTe6/fbbVV1drZiYGA0fPlyrVq1SamqqJGnWrFlqbGzUjBkzVFtbqzFjxqioqEhRUVGhjA0AAM5AIcVMSUmJmpubW6wfOHBAa9eubfV5XnjhhRPutyxLPp9PPp+vrSMCAICzRJtiZvPmzYE/f/zxx0EP5x46dEirVq3Seeed137TAQAAnESbYuayyy6TZVmyLEtjx45tsT8iIkLPPPNMuw0HAABwMm2KmcrKStm2rfPPP1/r169X3759A/u6du2qfv36qVOnTu0+JAAAwPG0KWYGDRokSTp8+HCHDAMAANBWIT0ALEmfffaZSkpKVFNT0yJuHn/88VMeDAAAoDVCipnly5frvvvuU58+feTxeII+XsCyLGIGAACcNiHFzPz587VgwQLNnj27vecBAABok5A+zqC2tlY33XRTe88CAADQZiHFzE033aSioqL2ngUAAKDNQrrNdOGFF+qxxx7TunXrNGzYMHXp0iVo/69+9at2GQ4AAOBkQoqZZcuWqUePHiotLVVpaWnQPsuyiBkAAHDahBQzlZWV7T0HAABASEJ6ZgYAACBchHRl5q677jrh/hdffDGkYQAAANoqpJipra0N2v7hhx/00Ucf6fvvvz/mB1ACAAB0lJBiZuXKlS3WDh8+rBkzZuj8888/5aEAAABaq92emTnnnHP00EMPacmSJe11SgAAgJNq1weAv/jiCx08eLA9TwkAAHBCId1myszMDNq2bVvV1dV6++23NXny5HYZDAAAoDVCiplNmzYFbZ9zzjnq27evnnrqqZP+pBMAAEB7Cilm1qxZ095zAAAAhCSkmDni22+/1bZt22RZloYMGaK+ffu211wAAACtEtIDwPv27dNdd92l/v3765prrtHVV1+t2NhY3X333dq/f397zwgAAHBcIcVMZmamSktL9fe//13ff/+9vv/+e7355psqLS3Vr3/96/aeEQAA4LhCus30t7/9TX/961+VkpISWLvhhhsUERGhm2++WUuXLm2v+QAAAE4opCsz+/fvl9vtbrHer18/bjMBAIDTKqSYSUxM1Ny5c3XgwIHAWmNjo+bNm6fExMR2Gw4AAOBkQrrNlJeXp3HjxmnAgAEaMWKELMtSRUWFXC6XioqK2ntGAACA4wopZoYNG6bt27fr5Zdf1qeffirbtnXrrbdq0qRJioiIaO8ZAQAAjiukmMnNzZXb7dY999wTtP7iiy/q22+/1ezZs9tlOAAAgJMJ6ZmZ559/XhdddFGL9UsvvVTPPffcKQ8FAADQWiHFjN/vV//+/Vus9+3bV9XV1ac8FAAAQGuFFDNxcXF6//33W6y///77io2NPeWhAAAAWiukZ2amTp2qjIwM/fDDDxo7dqwkafXq1Zo1axa/ARgAAJxWIcXMrFmz9N1332nGjBlqbm6WJHXr1k2zZ89WVlZWuw4IAABwIiHFjGVZWrhwoR577DF98sknioiIkNfrlcvlau/5AAAATiikmDmiR48euuKKK9prFgAAgDYL6QFgAACAcEHMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADCaozGTm5urK664QlFRUerXr58mTJigbdu2BR1j27Z8Pp9iY2MVERGhlJQUbd261aGJAQBAuHE0ZkpLS3X//fdr3bp1Ki4u1sGDB5WWlqZ9+/YFjlm0aJEWL16s/Px8lZeXy+PxKDU1VQ0NDQ5ODgAAwkVnJ7/4qlWrgrZXrFihfv36aePGjbrmmmtk27by8vKUnZ2t9PR0SVJBQYHcbrcKCws1bdq0FudsampSU1NTYLu+vr5j/xIAAMBRYfXMTF1dnSSpV69ekqTKykr5/X6lpaUFjnG5XEpOTlZZWdkxz5Gbm6uYmJjAKy4uruMHBwAAjgmbmLFtW5mZmfrxj3+shIQESZLf75ckud3uoGPdbndg3//KyspSXV1d4FVVVdWxgwMAAEc5epvpaDNnztTmzZv173//u8U+y7KCtm3bbrF2hMvlksvl6pAZAQBA+AmLKzMPPPCA3nrrLa1Zs0YDBgwIrHs8HklqcRWmpqamxdUaAABwdnI0Zmzb1syZM/X666/r3XffVXx8fND++Ph4eTweFRcXB9aam5tVWlqqpKSk0z0uAAAIQ47eZrr//vtVWFioN998U1FRUYErMDExMYqIiJBlWcrIyFBOTo68Xq+8Xq9ycnIUGRmpiRMnOjk6AAAIE47GzNKlSyVJKSkpQesrVqzQlClTJEmzZs1SY2OjZsyYodraWo0ZM0ZFRUWKioo6zdMCAIBw5GjM2LZ90mMsy5LP55PP5+v4gQAAgHHC4gFgAACAUBEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIzmaMy89957Gj9+vGJjY2VZlt54442g/bZty+fzKTY2VhEREUpJSdHWrVudGRYAAIQlR2Nm3759GjFihPLz84+5f9GiRVq8eLHy8/NVXl4uj8ej1NRUNTQ0nOZJAQBAuOrs5BcfN26cxo0bd8x9tm0rLy9P2dnZSk9PlyQVFBTI7XarsLBQ06ZNO52jAgCAMBW2z8xUVlbK7/crLS0tsOZyuZScnKyysrLjvq+pqUn19fVBLwAAcOYK25jx+/2SJLfbHbTudrsD+44lNzdXMTExgVdcXFyHzgkAAJwVtjFzhGVZQdu2bbdYO1pWVpbq6uoCr6qqqo4eEQAAOMjRZ2ZOxOPxSPr/KzT9+/cPrNfU1LS4WnM0l8sll8vV4fMBAIDwELZXZuLj4+XxeFRcXBxYa25uVmlpqZKSkhycDAAAhBNHr8zs3btXn3/+eWC7srJSFRUV6tWrlwYOHKiMjAzl5OTI6/XK6/UqJydHkZGRmjhxooNTAwCAcOJozGzYsEHXXnttYDszM1OSNHnyZL300kuaNWuWGhsbNWPGDNXW1mrMmDEqKipSVFSUUyMDAIAw42jMpKSkyLbt4+63LEs+n08+n+/0DQUAAIwSts/MAAAAtAYxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDAAAMBoxAwAAjEbMAAAAoxEzAADAaMQMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADCaETHz7LPPKj4+Xt26ddPIkSO1du1ap0cCAABhIuxj5rXXXlNGRoays7O1adMmXX311Ro3bpx27tzp9GgAACAMhH3MLF68WHfffbemTp2qiy++WHl5eYqLi9PSpUudHg0AAISBzk4PcCLNzc3auHGj5syZE7SelpamsrKyY76nqalJTU1Nge26ujpJUn19fYfMeLhpf4ecFzgTdNT33enG9zlwfB31fX7kvLZtn/TYsI6Z3bt369ChQ3K73UHrbrdbfr//mO/Jzc3VvHnzWqzHxcV1yIwAji8mz+kJAHS0jv4+b2hoUExMzAmPCeuYOcKyrKBt27ZbrB2RlZWlzMzMwPbhw4f13XffqXfv3sd9D84M9fX1iouLU1VVlaKjo50eB0AH4Pv87GHbthoaGhQbG3vSY8M6Zvr06aNOnTq1uApTU1PT4mrNES6XSy6XK2itZ8+eHTUiwlB0dDT/Iwec4fg+Pzuc7IrMEWH9AHDXrl01cuRIFRcXB60XFxcrKSnJoakAAEA4CesrM5KUmZmp22+/XaNGjVJiYqKWLVumnTt3avr06U6PBgAAwkDYx8wtt9yiPXv26IknnlB1dbUSEhL0j3/8Q4MGDXJ6NIQZl8uluXPntrjNCODMwfc5jsWyW/MzTwAAAGEqrJ+ZAQAAOBliBgAAGI2YAQAARiNmAACA0YgZGOW9997T+PHjFRsbK8uy9MYbbwTtf/3113X99derT58+sixLFRUVjswJ4NQ9++yzio+PV7du3TRy5EitXbs2sM+2bfl8PsXGxioiIkIpKSnaunWrg9PCScQMjLJv3z6NGDFC+fn5x91/1VVX6cknnzzNkwFoT6+99poyMjKUnZ2tTZs26eqrr9a4ceO0c+dOSdKiRYu0ePFi5efnq7y8XB6PR6mpqWpoaHB4cjiBH82GsSzL0sqVKzVhwoQW+7766ivFx8dr06ZNuuyyy077bABOzZgxY3T55Zdr6dKlgbWLL75YEyZMUE5OjmJjY5WRkaHZs2dLkpqamuR2u7Vw4UJNmzbNqbHhEK7MAADCSnNzszZu3Ki0tLSg9bS0NJWVlamyslJ+vz9ov8vlUnJyssrKyk73uAgDxAwAIKzs3r1bhw4davGBwm63W36/P/Dhw8fbj7MPMQMACEuWZQVt27YdtHay/Th7EDMAgLDSp08fderUqcVVlpqaGrndbnk8Hkk67n6cfYgZAEBY6dq1q0aOHKni4uKg9eLiYiUlJSk+Pl4ejydof3Nzs0pLS5WUlHS6x0UYCPtPzQaOtnfvXn3++eeB7crKSlVUVKhXr14aOHCgvvvuO+3cuVO7du2SJG3btk2S5PF4Av9vDkD4y8zM1O23365Ro0YpMTFRy5Yt086dOzV9+nRZlqWMjAzl5OTI6/XK6/UqJydHkZGRmjhxotOjwwk2YJA1a9bYklq8Jk+ebNu2ba9YseKY++fOnevo3ADa7ve//709aNAgu2vXrvbll19ul5aWBvYdPnzYnjt3ru3xeGyXy2Vfc8019pYtWxycFk7i98wAAACj8cwMAAAwGjEDAACMRswAAACjETMAAMBoxAwAADAaMQMAAIxGzAAAAKMRMwAAwGjEDIBTlpKSooyMjOPuHzx4sPLy8k7LLF999ZUsy1JFRcVp+XoAnEfMAOhw5eXluvfeewPblmXpjTfeaPX7X3rpJfXs2bNVx8bFxam6uloJCQltnBKAqfigSQAdrm/fvqfl6zQ3N6tr1658qChwluHKDIB2cfDgQc2cOVM9e/ZU79699eijj+rIR78dfZtp8ODBkqRf/vKXsiwrsP3f//5X1157raKiohQdHa2RI0dqw4YNKikp0Z133qm6ujpZliXLsuTz+QLnmj9/vqZMmaKYmBjdc889LW4zlZSUyLIsrV69WqNGjVJkZKSSkpICn6h+xPz589WvXz9FRUVp6tSpmjNnji677LLA/pKSEo0ePVrdu3dXz549ddVVV2nHjh0d9c8JoA2IGQDtoqCgQJ07d9Z//vMf/e53v9OSJUv0hz/8ocVx5eXlkqQVK1aouro6sD1p0iQNGDBA5eXl2rhxo+bMmaMuXbooKSlJeXl5io6OVnV1taqrq/Xwww8Hzvfb3/5WCQkJ2rhxox577LHjzpedna2nnnpKGzZsUOfOnXXXXXcF9v35z3/WggULtHDhQm3cuFEDBw7U0qVLA/sPHjyoCRMmKDk5WZs3b9YHH3yge++9V5ZlnfK/G4BTx20mAO0iLi5OS5YskWVZGjp0qLZs2aIlS5bonnvuCTruyC2nnj17Bt0O2rlzp37zm9/ooosukiR5vd7AvpiYGFmWdczbR2PHjg2Km6+++uqY8y1YsEDJycmSpDlz5ujGG2/UgQMH1K1bNz3zzDO6++67deedd0qSHn/8cRUVFWnv3r2SpPr6etXV1elnP/uZLrjgAknSxRdf3KZ/HwAdhyszANrFlVdeGXSlIjExUdu3b9ehQ4da9f7MzExNnTpV1113nZ588kl98cUXrXrfqFGjWnXc8OHDA3/u37+/JKmmpkaStG3bNo0ePTro+KO3e/XqpSlTpuj666/X+PHj9fTTT6u6urpVXxdAxyNmAIQFn8+nrVu36sYbb9S7776rSy65RCtXrjzp+7p3796q83fp0iXw5yPRdfjw4RZrRxx53ueIFStW6IMPPlBSUpJee+01DRkyROvWrWvV1wbQsYgZAO3if//Dvm7dOnm9XnXq1KnFsV26dDnmFZshQ4booYceUlFRkdLT07VixQpJUteuXVt9hScUQ4cO1fr164PWNmzY0OK4H/3oR8rKylJZWZkSEhJUWFjYYTMBaD1iBkC7qKqqUmZmprZt26ZXXnlFzzzzjB588MFjHjt48GCtXr1afr9ftbW1amxs1MyZM1VSUqIdO3bo/fffV3l5eeC5lMGDB2vv3r1avXq1du/erf3797fr7A888IBeeOEFFRQUaPv27Zo/f742b94cuFpTWVmprKwsffDBB9qxY4eKior02Wef8dwMECZ4ABhAu7jjjjvU2Nio0aNHq1OnTnrggQeCflHe0Z566illZmZq+fLlOu+88/TZZ59pz549uuOOO/TNN9+oT58+Sk9P17x58yRJSUlJmj59um655Rbt2bNHc+fODfx4dnuYNGmSvvzySz388MM6cOCAbr75Zk2ZMiVwtSYyMlKffvqpCgoKtGfPHvXv318zZ87UtGnT2m0GAKGz7P+9MQwAUGpqqjwej/70pz85PQqAk+DKDICz3v79+/Xcc8/p+uuvV6dOnfTKK6/onXfeUXFxsdOjAWgFrswAOOs1NjZq/Pjx+vDDD9XU1KShQ4fq0UcfVXp6utOjAWgFYgYAABiNn2YCAABGI2YAAIDRiBkAAGA0YgYAABiNmAEAAEYjZgAAgNGIGQAAYDRiBgAAGO3/AG9Oqq4AjvguAAAAAElFTkSuQmCC",
      "text/plain": [
       "<Figure size 640x480 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.bar(counts.keys(), counts.values())\n",
    "\n",
    "plt.xlabel(\"bitstrings\")\n",
    "plt.ylabel(\"counts\")\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "658c21ce",
   "metadata": {},
   "source": [
    "The output shows roughly equal measurement counts of the \"00\" and \"11\" bitstrings, a feature of the Bell state.\n",
    "\n",
    "In this notebook, you learn how to use AutoQASM to compose a basic quantum program. To learn more about composing more complex quantum programs with control flow and subroutines, continue to the next AutoQASM example notebook!"
   ]
  }
 ],
 "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.9.18"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}