scratchpads/hpivot-scratch.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import sys, os; sys.path.append('..')\n",
    "import pyzx as zx\n",
    "import random\n",
    "from fractions import Fraction\n",
    "%config InlineBackend.figure_format = 'svg'"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"utf-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       "  \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Created with matplotlib (https://matplotlib.org/) -->\n",
       "<svg height=\"158.4pt\" version=\"1.1\" viewBox=\"0 0 590.4 158.4\" width=\"590.4pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       " <defs>\n",
       "  <style type=\"text/css\">\n",
       "*{stroke-linecap:butt;stroke-linejoin:round;}\n",
       "  </style>\n",
       " </defs>\n",
       " <g id=\"figure_1\">\n",
       "  <g id=\"patch_1\">\n",
       "   <path d=\"M 0 158.4 \n",
       "L 590.4 158.4 \n",
       "L 590.4 0 \n",
       "L 0 0 \n",
       "z\n",
       "\" style=\"fill:none;\"/>\n",
       "  </g>\n",
       "  <g id=\"axes_1\">\n",
       "   <g id=\"line2d_1\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 38.057143 32.446753 \n",
       "L 84.81039 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_2\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 38.057143 79.2 \n",
       "L 84.81039 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_3\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 38.057143 125.953247 \n",
       "L 84.81039 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_4\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 125.953247 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_5\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 125.953247 \n",
       "L 131.563636 125.953247 \n",
       "\" style=\"fill:none;stroke:#0099ff;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_6\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 32.446753 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_7\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 32.446753 \n",
       "L 225.07013 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_8\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 79.2 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_9\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 79.2 \n",
       "L 225.07013 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_10\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 131.563636 125.953247 \n",
       "L 178.316883 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_11\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 178.316883 125.953247 \n",
       "L 225.07013 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_12\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 125.953247 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_13\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 125.953247 \n",
       "L 271.823377 125.953247 \n",
       "\" style=\"fill:none;stroke:#0099ff;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_14\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 32.446753 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_15\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 32.446753 \n",
       "L 318.576623 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_16\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 79.2 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_17\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 79.2 \n",
       "L 271.823377 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_18\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 271.823377 125.953247 \n",
       "L 318.576623 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_19\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 271.823377 79.2 \n",
       "L 318.576623 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_20\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 125.953247 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_21\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 125.953247 \n",
       "L 365.32987 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_22\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 32.446753 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_23\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 32.446753 \n",
       "L 458.836364 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_24\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 79.2 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_25\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 79.2 \n",
       "L 458.836364 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_26\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 365.32987 125.953247 \n",
       "L 412.083117 125.953247 \n",
       "\" style=\"fill:none;stroke:#0099ff;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_27\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 412.083117 125.953247 \n",
       "L 458.836364 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_28\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 125.953247 \n",
       "L 482.212987 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_29\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 125.953247 \n",
       "L 505.58961 125.953247 \n",
       "\" style=\"fill:none;stroke:#0099ff;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_30\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 32.446753 \n",
       "L 482.212987 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_31\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 32.446753 \n",
       "L 552.342857 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_32\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 79.2 \n",
       "L 482.212987 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_33\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 79.2 \n",
       "L 552.342857 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_34\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 505.58961 125.953247 \n",
       "L 552.342857 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_2\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 38.057143 37.122078 \n",
       "C 39.297053 37.122078 40.486347 36.629456 41.363097 35.752707 \n",
       "C 42.239846 34.875958 42.732468 33.686664 42.732468 32.446753 \n",
       "C 42.732468 31.206843 42.239846 30.017549 41.363097 29.140799 \n",
       "C 40.486347 28.26405 39.297053 27.771429 38.057143 27.771429 \n",
       "C 36.817232 27.771429 35.627938 28.26405 34.751189 29.140799 \n",
       "C 33.87444 30.017549 33.381818 31.206843 33.381818 32.446753 \n",
       "C 33.381818 33.686664 33.87444 34.875958 34.751189 35.752707 \n",
       "C 35.627938 36.629456 36.817232 37.122078 38.057143 37.122078 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_3\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 38.057143 83.875325 \n",
       "C 39.297053 83.875325 40.486347 83.382703 41.363097 82.505954 \n",
       "C 42.239846 81.629205 42.732468 80.439911 42.732468 79.2 \n",
       "C 42.732468 77.960089 42.239846 76.770795 41.363097 75.894046 \n",
       "C 40.486347 75.017297 39.297053 74.524675 38.057143 74.524675 \n",
       "C 36.817232 74.524675 35.627938 75.017297 34.751189 75.894046 \n",
       "C 33.87444 76.770795 33.381818 77.960089 33.381818 79.2 \n",
       "C 33.381818 80.439911 33.87444 81.629205 34.751189 82.505954 \n",
       "C 35.627938 83.382703 36.817232 83.875325 38.057143 83.875325 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_4\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 38.057143 130.628571 \n",
       "C 39.297053 130.628571 40.486347 130.13595 41.363097 129.259201 \n",
       "C 42.239846 128.382451 42.732468 127.193157 42.732468 125.953247 \n",
       "C 42.732468 124.713336 42.239846 123.524042 41.363097 122.647293 \n",
       "C 40.486347 121.770544 39.297053 121.277922 38.057143 121.277922 \n",
       "C 36.817232 121.277922 35.627938 121.770544 34.751189 122.647293 \n",
       "C 33.87444 123.524042 33.381818 124.713336 33.381818 125.953247 \n",
       "C 33.381818 127.193157 33.87444 128.382451 34.751189 129.259201 \n",
       "C 35.627938 130.13595 36.817232 130.628571 38.057143 130.628571 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_5\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 135.303896 \n",
       "C 87.290211 135.303896 89.668799 134.318653 91.422297 132.565154 \n",
       "C 93.175796 130.811656 94.161039 128.433068 94.161039 125.953247 \n",
       "C 94.161039 123.473426 93.175796 121.094838 91.422297 119.341339 \n",
       "C 89.668799 117.587841 87.290211 116.602597 84.81039 116.602597 \n",
       "C 82.330568 116.602597 79.95198 117.587841 78.198482 119.341339 \n",
       "C 76.444984 121.094838 75.45974 123.473426 75.45974 125.953247 \n",
       "C 75.45974 128.433068 76.444984 130.811656 78.198482 132.565154 \n",
       "C 79.95198 134.318653 82.330568 135.303896 84.81039 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_6\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 41.797403 \n",
       "C 87.290211 41.797403 89.668799 40.812159 91.422297 39.058661 \n",
       "C 93.175796 37.305162 94.161039 34.926574 94.161039 32.446753 \n",
       "C 94.161039 29.966932 93.175796 27.588344 91.422297 25.834846 \n",
       "C 89.668799 24.081347 87.290211 23.096104 84.81039 23.096104 \n",
       "C 82.330568 23.096104 79.95198 24.081347 78.198482 25.834846 \n",
       "C 76.444984 27.588344 75.45974 29.966932 75.45974 32.446753 \n",
       "C 75.45974 34.926574 76.444984 37.305162 78.198482 39.058661 \n",
       "C 79.95198 40.812159 82.330568 41.797403 84.81039 41.797403 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_7\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 84.81039 88.550649 \n",
       "C 87.290211 88.550649 89.668799 87.565406 91.422297 85.811908 \n",
       "C 93.175796 84.058409 94.161039 81.679821 94.161039 79.2 \n",
       "C 94.161039 76.720179 93.175796 74.341591 91.422297 72.588092 \n",
       "C 89.668799 70.834594 87.290211 69.849351 84.81039 69.849351 \n",
       "C 82.330568 69.849351 79.95198 70.834594 78.198482 72.588092 \n",
       "C 76.444984 74.341591 75.45974 76.720179 75.45974 79.2 \n",
       "C 75.45974 81.679821 76.444984 84.058409 78.198482 85.811908 \n",
       "C 79.95198 87.565406 82.330568 88.550649 84.81039 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_8\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 103.511688 60.498701 \n",
       "L 112.862338 60.498701 \n",
       "L 112.862338 51.148052 \n",
       "L 103.511688 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_9\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 131.563636 135.303896 \n",
       "C 134.043458 135.303896 136.422046 134.318653 138.175544 132.565154 \n",
       "C 139.929042 130.811656 140.914286 128.433068 140.914286 125.953247 \n",
       "C 140.914286 123.473426 139.929042 121.094838 138.175544 119.341339 \n",
       "C 136.422046 117.587841 134.043458 116.602597 131.563636 116.602597 \n",
       "C 129.083815 116.602597 126.705227 117.587841 124.951729 119.341339 \n",
       "C 123.19823 121.094838 122.212987 123.473426 122.212987 125.953247 \n",
       "C 122.212987 128.433068 123.19823 130.811656 124.951729 132.565154 \n",
       "C 126.705227 134.318653 129.083815 135.303896 131.563636 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_10\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 178.316883 135.303896 \n",
       "C 180.796704 135.303896 183.175292 134.318653 184.928791 132.565154 \n",
       "C 186.682289 130.811656 187.667532 128.433068 187.667532 125.953247 \n",
       "C 187.667532 123.473426 186.682289 121.094838 184.928791 119.341339 \n",
       "C 183.175292 117.587841 180.796704 116.602597 178.316883 116.602597 \n",
       "C 175.837062 116.602597 173.458474 117.587841 171.704976 119.341339 \n",
       "C 169.951477 121.094838 168.966234 123.473426 168.966234 125.953247 \n",
       "C 168.966234 128.433068 169.951477 130.811656 171.704976 132.565154 \n",
       "C 173.458474 134.318653 175.837062 135.303896 178.316883 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_11\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 135.303896 \n",
       "C 227.549951 135.303896 229.928539 134.318653 231.682037 132.565154 \n",
       "C 233.435536 130.811656 234.420779 128.433068 234.420779 125.953247 \n",
       "C 234.420779 123.473426 233.435536 121.094838 231.682037 119.341339 \n",
       "C 229.928539 117.587841 227.549951 116.602597 225.07013 116.602597 \n",
       "C 222.590309 116.602597 220.211721 117.587841 218.458222 119.341339 \n",
       "C 216.704724 121.094838 215.719481 123.473426 215.719481 125.953247 \n",
       "C 215.719481 128.433068 216.704724 130.811656 218.458222 132.565154 \n",
       "C 220.211721 134.318653 222.590309 135.303896 225.07013 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_12\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 41.797403 \n",
       "C 227.549951 41.797403 229.928539 40.812159 231.682037 39.058661 \n",
       "C 233.435536 37.305162 234.420779 34.926574 234.420779 32.446753 \n",
       "C 234.420779 29.966932 233.435536 27.588344 231.682037 25.834846 \n",
       "C 229.928539 24.081347 227.549951 23.096104 225.07013 23.096104 \n",
       "C 222.590309 23.096104 220.211721 24.081347 218.458222 25.834846 \n",
       "C 216.704724 27.588344 215.719481 29.966932 215.719481 32.446753 \n",
       "C 215.719481 34.926574 216.704724 37.305162 218.458222 39.058661 \n",
       "C 220.211721 40.812159 222.590309 41.797403 225.07013 41.797403 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_13\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 225.07013 88.550649 \n",
       "C 227.549951 88.550649 229.928539 87.565406 231.682037 85.811908 \n",
       "C 233.435536 84.058409 234.420779 81.679821 234.420779 79.2 \n",
       "C 234.420779 76.720179 233.435536 74.341591 231.682037 72.588092 \n",
       "C 229.928539 70.834594 227.549951 69.849351 225.07013 69.849351 \n",
       "C 222.590309 69.849351 220.211721 70.834594 218.458222 72.588092 \n",
       "C 216.704724 74.341591 215.719481 76.720179 215.719481 79.2 \n",
       "C 215.719481 81.679821 216.704724 84.058409 218.458222 85.811908 \n",
       "C 220.211721 87.565406 222.590309 88.550649 225.07013 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_14\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 243.771429 60.498701 \n",
       "L 253.122078 60.498701 \n",
       "L 253.122078 51.148052 \n",
       "L 243.771429 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_15\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 271.823377 135.303896 \n",
       "C 274.303198 135.303896 276.681786 134.318653 278.435284 132.565154 \n",
       "C 280.188783 130.811656 281.174026 128.433068 281.174026 125.953247 \n",
       "C 281.174026 123.473426 280.188783 121.094838 278.435284 119.341339 \n",
       "C 276.681786 117.587841 274.303198 116.602597 271.823377 116.602597 \n",
       "C 269.343555 116.602597 266.964967 117.587841 265.211469 119.341339 \n",
       "C 263.457971 121.094838 262.472727 123.473426 262.472727 125.953247 \n",
       "C 262.472727 128.433068 263.457971 130.811656 265.211469 132.565154 \n",
       "C 266.964967 134.318653 269.343555 135.303896 271.823377 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_16\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 271.823377 88.550649 \n",
       "C 274.303198 88.550649 276.681786 87.565406 278.435284 85.811908 \n",
       "C 280.188783 84.058409 281.174026 81.679821 281.174026 79.2 \n",
       "C 281.174026 76.720179 280.188783 74.341591 278.435284 72.588092 \n",
       "C 276.681786 70.834594 274.303198 69.849351 271.823377 69.849351 \n",
       "C 269.343555 69.849351 266.964967 70.834594 265.211469 72.588092 \n",
       "C 263.457971 74.341591 262.472727 76.720179 262.472727 79.2 \n",
       "C 262.472727 81.679821 263.457971 84.058409 265.211469 85.811908 \n",
       "C 266.964967 87.565406 269.343555 88.550649 271.823377 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_17\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 135.303896 \n",
       "C 321.056445 135.303896 323.435033 134.318653 325.188531 132.565154 \n",
       "C 326.942029 130.811656 327.927273 128.433068 327.927273 125.953247 \n",
       "C 327.927273 123.473426 326.942029 121.094838 325.188531 119.341339 \n",
       "C 323.435033 117.587841 321.056445 116.602597 318.576623 116.602597 \n",
       "C 316.096802 116.602597 313.718214 117.587841 311.964716 119.341339 \n",
       "C 310.211217 121.094838 309.225974 123.473426 309.225974 125.953247 \n",
       "C 309.225974 128.433068 310.211217 130.811656 311.964716 132.565154 \n",
       "C 313.718214 134.318653 316.096802 135.303896 318.576623 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_18\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 41.797403 \n",
       "C 321.056445 41.797403 323.435033 40.812159 325.188531 39.058661 \n",
       "C 326.942029 37.305162 327.927273 34.926574 327.927273 32.446753 \n",
       "C 327.927273 29.966932 326.942029 27.588344 325.188531 25.834846 \n",
       "C 323.435033 24.081347 321.056445 23.096104 318.576623 23.096104 \n",
       "C 316.096802 23.096104 313.718214 24.081347 311.964716 25.834846 \n",
       "C 310.211217 27.588344 309.225974 29.966932 309.225974 32.446753 \n",
       "C 309.225974 34.926574 310.211217 37.305162 311.964716 39.058661 \n",
       "C 313.718214 40.812159 316.096802 41.797403 318.576623 41.797403 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_19\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 318.576623 88.550649 \n",
       "C 321.056445 88.550649 323.435033 87.565406 325.188531 85.811908 \n",
       "C 326.942029 84.058409 327.927273 81.679821 327.927273 79.2 \n",
       "C 327.927273 76.720179 326.942029 74.341591 325.188531 72.588092 \n",
       "C 323.435033 70.834594 321.056445 69.849351 318.576623 69.849351 \n",
       "C 316.096802 69.849351 313.718214 70.834594 311.964716 72.588092 \n",
       "C 310.211217 74.341591 309.225974 76.720179 309.225974 79.2 \n",
       "C 309.225974 81.679821 310.211217 84.058409 311.964716 85.811908 \n",
       "C 313.718214 87.565406 316.096802 88.550649 318.576623 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_20\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 337.277922 60.498701 \n",
       "L 346.628571 60.498701 \n",
       "L 346.628571 51.148052 \n",
       "L 337.277922 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_21\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 365.32987 135.303896 \n",
       "C 367.809691 135.303896 370.188279 134.318653 371.941778 132.565154 \n",
       "C 373.695276 130.811656 374.680519 128.433068 374.680519 125.953247 \n",
       "C 374.680519 123.473426 373.695276 121.094838 371.941778 119.341339 \n",
       "C 370.188279 117.587841 367.809691 116.602597 365.32987 116.602597 \n",
       "C 362.850049 116.602597 360.471461 117.587841 358.717963 119.341339 \n",
       "C 356.964464 121.094838 355.979221 123.473426 355.979221 125.953247 \n",
       "C 355.979221 128.433068 356.964464 130.811656 358.717963 132.565154 \n",
       "C 360.471461 134.318653 362.850049 135.303896 365.32987 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_22\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 412.083117 135.303896 \n",
       "C 414.562938 135.303896 416.941526 134.318653 418.695024 132.565154 \n",
       "C 420.448523 130.811656 421.433766 128.433068 421.433766 125.953247 \n",
       "C 421.433766 123.473426 420.448523 121.094838 418.695024 119.341339 \n",
       "C 416.941526 117.587841 414.562938 116.602597 412.083117 116.602597 \n",
       "C 409.603296 116.602597 407.224708 117.587841 405.471209 119.341339 \n",
       "C 403.717711 121.094838 402.732468 123.473426 402.732468 125.953247 \n",
       "C 402.732468 128.433068 403.717711 130.811656 405.471209 132.565154 \n",
       "C 407.224708 134.318653 409.603296 135.303896 412.083117 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_23\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 135.303896 \n",
       "C 461.316185 135.303896 463.694773 134.318653 465.448271 132.565154 \n",
       "C 467.20177 130.811656 468.187013 128.433068 468.187013 125.953247 \n",
       "C 468.187013 123.473426 467.20177 121.094838 465.448271 119.341339 \n",
       "C 463.694773 117.587841 461.316185 116.602597 458.836364 116.602597 \n",
       "C 456.356542 116.602597 453.977954 117.587841 452.224456 119.341339 \n",
       "C 450.470958 121.094838 449.485714 123.473426 449.485714 125.953247 \n",
       "C 449.485714 128.433068 450.470958 130.811656 452.224456 132.565154 \n",
       "C 453.977954 134.318653 456.356542 135.303896 458.836364 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_24\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 41.797403 \n",
       "C 461.316185 41.797403 463.694773 40.812159 465.448271 39.058661 \n",
       "C 467.20177 37.305162 468.187013 34.926574 468.187013 32.446753 \n",
       "C 468.187013 29.966932 467.20177 27.588344 465.448271 25.834846 \n",
       "C 463.694773 24.081347 461.316185 23.096104 458.836364 23.096104 \n",
       "C 456.356542 23.096104 453.977954 24.081347 452.224456 25.834846 \n",
       "C 450.470958 27.588344 449.485714 29.966932 449.485714 32.446753 \n",
       "C 449.485714 34.926574 450.470958 37.305162 452.224456 39.058661 \n",
       "C 453.977954 40.812159 456.356542 41.797403 458.836364 41.797403 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_25\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 458.836364 88.550649 \n",
       "C 461.316185 88.550649 463.694773 87.565406 465.448271 85.811908 \n",
       "C 467.20177 84.058409 468.187013 81.679821 468.187013 79.2 \n",
       "C 468.187013 76.720179 467.20177 74.341591 465.448271 72.588092 \n",
       "C 463.694773 70.834594 461.316185 69.849351 458.836364 69.849351 \n",
       "C 456.356542 69.849351 453.977954 70.834594 452.224456 72.588092 \n",
       "C 450.470958 74.341591 449.485714 76.720179 449.485714 79.2 \n",
       "C 449.485714 81.679821 450.470958 84.058409 452.224456 85.811908 \n",
       "C 453.977954 87.565406 456.356542 88.550649 458.836364 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_26\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 477.537662 60.498701 \n",
       "L 486.888312 60.498701 \n",
       "L 486.888312 51.148052 \n",
       "L 477.537662 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_27\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 505.58961 135.303896 \n",
       "C 508.069432 135.303896 510.44802 134.318653 512.201518 132.565154 \n",
       "C 513.955016 130.811656 514.94026 128.433068 514.94026 125.953247 \n",
       "C 514.94026 123.473426 513.955016 121.094838 512.201518 119.341339 \n",
       "C 510.44802 117.587841 508.069432 116.602597 505.58961 116.602597 \n",
       "C 503.109789 116.602597 500.731201 117.587841 498.977703 119.341339 \n",
       "C 497.224204 121.094838 496.238961 123.473426 496.238961 125.953247 \n",
       "C 496.238961 128.433068 497.224204 130.811656 498.977703 132.565154 \n",
       "C 500.731201 134.318653 503.109789 135.303896 505.58961 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_28\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 552.342857 37.122078 \n",
       "C 553.582768 37.122078 554.772062 36.629456 555.648811 35.752707 \n",
       "C 556.52556 34.875958 557.018182 33.686664 557.018182 32.446753 \n",
       "C 557.018182 31.206843 556.52556 30.017549 555.648811 29.140799 \n",
       "C 554.772062 28.26405 553.582768 27.771429 552.342857 27.771429 \n",
       "C 551.102947 27.771429 549.913653 28.26405 549.036903 29.140799 \n",
       "C 548.160154 30.017549 547.667532 31.206843 547.667532 32.446753 \n",
       "C 547.667532 33.686664 548.160154 34.875958 549.036903 35.752707 \n",
       "C 549.913653 36.629456 551.102947 37.122078 552.342857 37.122078 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_29\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 552.342857 83.875325 \n",
       "C 553.582768 83.875325 554.772062 83.382703 555.648811 82.505954 \n",
       "C 556.52556 81.629205 557.018182 80.439911 557.018182 79.2 \n",
       "C 557.018182 77.960089 556.52556 76.770795 555.648811 75.894046 \n",
       "C 554.772062 75.017297 553.582768 74.524675 552.342857 74.524675 \n",
       "C 551.102947 74.524675 549.913653 75.017297 549.036903 75.894046 \n",
       "C 548.160154 76.770795 547.667532 77.960089 547.667532 79.2 \n",
       "C 547.667532 80.439911 548.160154 81.629205 549.036903 82.505954 \n",
       "C 549.913653 83.382703 551.102947 83.875325 552.342857 83.875325 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_30\">\n",
       "    <path clip-path=\"url(#p954a7d1d18)\" d=\"M 552.342857 130.628571 \n",
       "C 553.582768 130.628571 554.772062 130.13595 555.648811 129.259201 \n",
       "C 556.52556 128.382451 557.018182 127.193157 557.018182 125.953247 \n",
       "C 557.018182 124.713336 556.52556 123.524042 555.648811 122.647293 \n",
       "C 554.772062 121.770544 553.582768 121.277922 552.342857 121.277922 \n",
       "C 551.102947 121.277922 549.913653 121.770544 549.036903 122.647293 \n",
       "C 548.160154 123.524042 547.667532 124.713336 547.667532 125.953247 \n",
       "C 547.667532 127.193157 548.160154 128.382451 549.036903 129.259201 \n",
       "C 549.913653 130.13595 551.102947 130.628571 552.342857 130.628571 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"text_1\">\n",
       "    <!-- 0 -->\n",
       "    <defs>\n",
       "     <path d=\"M 31.78125 66.40625 \n",
       "Q 24.171875 66.40625 20.328125 58.90625 \n",
       "Q 16.5 51.421875 16.5 36.375 \n",
       "Q 16.5 21.390625 20.328125 13.890625 \n",
       "Q 24.171875 6.390625 31.78125 6.390625 \n",
       "Q 39.453125 6.390625 43.28125 13.890625 \n",
       "Q 47.125 21.390625 47.125 36.375 \n",
       "Q 47.125 51.421875 43.28125 58.90625 \n",
       "Q 39.453125 66.40625 31.78125 66.40625 \n",
       "z\n",
       "M 31.78125 74.21875 \n",
       "Q 44.046875 74.21875 50.515625 64.515625 \n",
       "Q 56.984375 54.828125 56.984375 36.375 \n",
       "Q 56.984375 17.96875 50.515625 8.265625 \n",
       "Q 44.046875 -1.421875 31.78125 -1.421875 \n",
       "Q 19.53125 -1.421875 13.0625 8.265625 \n",
       "Q 6.59375 17.96875 6.59375 36.375 \n",
       "Q 6.59375 54.828125 13.0625 64.515625 \n",
       "Q 19.53125 74.21875 31.78125 74.21875 \n",
       "z\n",
       "\" id=\"DejaVuSans-48\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_2\">\n",
       "    <!-- 1 -->\n",
       "    <defs>\n",
       "     <path d=\"M 12.40625 8.296875 \n",
       "L 28.515625 8.296875 \n",
       "L 28.515625 63.921875 \n",
       "L 10.984375 60.40625 \n",
       "L 10.984375 69.390625 \n",
       "L 28.421875 72.90625 \n",
       "L 38.28125 72.90625 \n",
       "L 38.28125 8.296875 \n",
       "L 54.390625 8.296875 \n",
       "L 54.390625 0 \n",
       "L 12.40625 0 \n",
       "z\n",
       "\" id=\"DejaVuSans-49\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_3\">\n",
       "    <!-- 2 -->\n",
       "    <defs>\n",
       "     <path d=\"M 19.1875 8.296875 \n",
       "L 53.609375 8.296875 \n",
       "L 53.609375 0 \n",
       "L 7.328125 0 \n",
       "L 7.328125 8.296875 \n",
       "Q 12.9375 14.109375 22.625 23.890625 \n",
       "Q 32.328125 33.6875 34.8125 36.53125 \n",
       "Q 39.546875 41.84375 41.421875 45.53125 \n",
       "Q 43.3125 49.21875 43.3125 52.78125 \n",
       "Q 43.3125 58.59375 39.234375 62.25 \n",
       "Q 35.15625 65.921875 28.609375 65.921875 \n",
       "Q 23.96875 65.921875 18.8125 64.3125 \n",
       "Q 13.671875 62.703125 7.8125 59.421875 \n",
       "L 7.8125 69.390625 \n",
       "Q 13.765625 71.78125 18.9375 73 \n",
       "Q 24.125 74.21875 28.421875 74.21875 \n",
       "Q 39.75 74.21875 46.484375 68.546875 \n",
       "Q 53.21875 62.890625 53.21875 53.421875 \n",
       "Q 53.21875 48.921875 51.53125 44.890625 \n",
       "Q 49.859375 40.875 45.40625 35.40625 \n",
       "Q 44.1875 33.984375 37.640625 27.21875 \n",
       "Q 31.109375 20.453125 19.1875 8.296875 \n",
       "z\n",
       "\" id=\"DejaVuSans-50\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_4\">\n",
       "    <!-- 3 -->\n",
       "    <defs>\n",
       "     <path d=\"M 40.578125 39.3125 \n",
       "Q 47.65625 37.796875 51.625 33 \n",
       "Q 55.609375 28.21875 55.609375 21.1875 \n",
       "Q 55.609375 10.40625 48.1875 4.484375 \n",
       "Q 40.765625 -1.421875 27.09375 -1.421875 \n",
       "Q 22.515625 -1.421875 17.65625 -0.515625 \n",
       "Q 12.796875 0.390625 7.625 2.203125 \n",
       "L 7.625 11.71875 \n",
       "Q 11.71875 9.328125 16.59375 8.109375 \n",
       "Q 21.484375 6.890625 26.8125 6.890625 \n",
       "Q 36.078125 6.890625 40.9375 10.546875 \n",
       "Q 45.796875 14.203125 45.796875 21.1875 \n",
       "Q 45.796875 27.640625 41.28125 31.265625 \n",
       "Q 36.765625 34.90625 28.71875 34.90625 \n",
       "L 20.21875 34.90625 \n",
       "L 20.21875 43.015625 \n",
       "L 29.109375 43.015625 \n",
       "Q 36.375 43.015625 40.234375 45.921875 \n",
       "Q 44.09375 48.828125 44.09375 54.296875 \n",
       "Q 44.09375 59.90625 40.109375 62.90625 \n",
       "Q 36.140625 65.921875 28.71875 65.921875 \n",
       "Q 24.65625 65.921875 20.015625 65.03125 \n",
       "Q 15.375 64.15625 9.8125 62.3125 \n",
       "L 9.8125 71.09375 \n",
       "Q 15.4375 72.65625 20.34375 73.4375 \n",
       "Q 25.25 74.21875 29.59375 74.21875 \n",
       "Q 40.828125 74.21875 47.359375 69.109375 \n",
       "Q 53.90625 64.015625 53.90625 55.328125 \n",
       "Q 53.90625 49.265625 50.4375 45.09375 \n",
       "Q 46.96875 40.921875 40.578125 39.3125 \n",
       "z\n",
       "\" id=\"DejaVuSans-51\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_5\">\n",
       "    <!-- 4 -->\n",
       "    <defs>\n",
       "     <path d=\"M 37.796875 64.3125 \n",
       "L 12.890625 25.390625 \n",
       "L 37.796875 25.390625 \n",
       "z\n",
       "M 35.203125 72.90625 \n",
       "L 47.609375 72.90625 \n",
       "L 47.609375 25.390625 \n",
       "L 58.015625 25.390625 \n",
       "L 58.015625 17.1875 \n",
       "L 47.609375 17.1875 \n",
       "L 47.609375 0 \n",
       "L 37.796875 0 \n",
       "L 37.796875 17.1875 \n",
       "L 4.890625 17.1875 \n",
       "L 4.890625 26.703125 \n",
       "z\n",
       "\" id=\"DejaVuSans-52\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_6\">\n",
       "    <!-- 5 -->\n",
       "    <defs>\n",
       "     <path d=\"M 10.796875 72.90625 \n",
       "L 49.515625 72.90625 \n",
       "L 49.515625 64.59375 \n",
       "L 19.828125 64.59375 \n",
       "L 19.828125 46.734375 \n",
       "Q 21.96875 47.46875 24.109375 47.828125 \n",
       "Q 26.265625 48.1875 28.421875 48.1875 \n",
       "Q 40.625 48.1875 47.75 41.5 \n",
       "Q 54.890625 34.8125 54.890625 23.390625 \n",
       "Q 54.890625 11.625 47.5625 5.09375 \n",
       "Q 40.234375 -1.421875 26.90625 -1.421875 \n",
       "Q 22.3125 -1.421875 17.546875 -0.640625 \n",
       "Q 12.796875 0.140625 7.71875 1.703125 \n",
       "L 7.71875 11.625 \n",
       "Q 12.109375 9.234375 16.796875 8.0625 \n",
       "Q 21.484375 6.890625 26.703125 6.890625 \n",
       "Q 35.15625 6.890625 40.078125 11.328125 \n",
       "Q 45.015625 15.765625 45.015625 23.390625 \n",
       "Q 45.015625 31 40.078125 35.4375 \n",
       "Q 35.15625 39.890625 26.703125 39.890625 \n",
       "Q 22.75 39.890625 18.8125 39.015625 \n",
       "Q 14.890625 38.140625 10.796875 36.28125 \n",
       "z\n",
       "\" id=\"DejaVuSans-53\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_7\">\n",
       "    <!-- 6 -->\n",
       "    <defs>\n",
       "     <path d=\"M 33.015625 40.375 \n",
       "Q 26.375 40.375 22.484375 35.828125 \n",
       "Q 18.609375 31.296875 18.609375 23.390625 \n",
       "Q 18.609375 15.53125 22.484375 10.953125 \n",
       "Q 26.375 6.390625 33.015625 6.390625 \n",
       "Q 39.65625 6.390625 43.53125 10.953125 \n",
       "Q 47.40625 15.53125 47.40625 23.390625 \n",
       "Q 47.40625 31.296875 43.53125 35.828125 \n",
       "Q 39.65625 40.375 33.015625 40.375 \n",
       "z\n",
       "M 52.59375 71.296875 \n",
       "L 52.59375 62.3125 \n",
       "Q 48.875 64.0625 45.09375 64.984375 \n",
       "Q 41.3125 65.921875 37.59375 65.921875 \n",
       "Q 27.828125 65.921875 22.671875 59.328125 \n",
       "Q 17.53125 52.734375 16.796875 39.40625 \n",
       "Q 19.671875 43.65625 24.015625 45.921875 \n",
       "Q 28.375 48.1875 33.59375 48.1875 \n",
       "Q 44.578125 48.1875 50.953125 41.515625 \n",
       "Q 57.328125 34.859375 57.328125 23.390625 \n",
       "Q 57.328125 12.15625 50.6875 5.359375 \n",
       "Q 44.046875 -1.421875 33.015625 -1.421875 \n",
       "Q 20.359375 -1.421875 13.671875 8.265625 \n",
       "Q 6.984375 17.96875 6.984375 36.375 \n",
       "Q 6.984375 53.65625 15.1875 63.9375 \n",
       "Q 23.390625 74.21875 37.203125 74.21875 \n",
       "Q 40.921875 74.21875 44.703125 73.484375 \n",
       "Q 48.484375 72.75 52.59375 71.296875 \n",
       "z\n",
       "\" id=\"DejaVuSans-54\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(118.2847 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_8\">\n",
       "    <!-- 7 -->\n",
       "    <defs>\n",
       "     <path d=\"M 8.203125 72.90625 \n",
       "L 55.078125 72.90625 \n",
       "L 55.078125 68.703125 \n",
       "L 28.609375 0 \n",
       "L 18.3125 0 \n",
       "L 43.21875 64.59375 \n",
       "L 8.203125 64.59375 \n",
       "z\n",
       "\" id=\"DejaVuSans-55\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(141.661323 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_9\">\n",
       "    <!-- 8 -->\n",
       "    <defs>\n",
       "     <path d=\"M 31.78125 34.625 \n",
       "Q 24.75 34.625 20.71875 30.859375 \n",
       "Q 16.703125 27.09375 16.703125 20.515625 \n",
       "Q 16.703125 13.921875 20.71875 10.15625 \n",
       "Q 24.75 6.390625 31.78125 6.390625 \n",
       "Q 38.8125 6.390625 42.859375 10.171875 \n",
       "Q 46.921875 13.96875 46.921875 20.515625 \n",
       "Q 46.921875 27.09375 42.890625 30.859375 \n",
       "Q 38.875 34.625 31.78125 34.625 \n",
       "z\n",
       "M 21.921875 38.8125 \n",
       "Q 15.578125 40.375 12.03125 44.71875 \n",
       "Q 8.5 49.078125 8.5 55.328125 \n",
       "Q 8.5 64.0625 14.71875 69.140625 \n",
       "Q 20.953125 74.21875 31.78125 74.21875 \n",
       "Q 42.671875 74.21875 48.875 69.140625 \n",
       "Q 55.078125 64.0625 55.078125 55.328125 \n",
       "Q 55.078125 49.078125 51.53125 44.71875 \n",
       "Q 48 40.375 41.703125 38.8125 \n",
       "Q 48.828125 37.15625 52.796875 32.3125 \n",
       "Q 56.78125 27.484375 56.78125 20.515625 \n",
       "Q 56.78125 9.90625 50.3125 4.234375 \n",
       "Q 43.84375 -1.421875 31.78125 -1.421875 \n",
       "Q 19.734375 -1.421875 13.25 4.234375 \n",
       "Q 6.78125 9.90625 6.78125 20.515625 \n",
       "Q 6.78125 27.484375 10.78125 32.3125 \n",
       "Q 14.796875 37.15625 21.921875 38.8125 \n",
       "z\n",
       "M 18.3125 54.390625 \n",
       "Q 18.3125 48.734375 21.84375 45.5625 \n",
       "Q 25.390625 42.390625 31.78125 42.390625 \n",
       "Q 38.140625 42.390625 41.71875 45.5625 \n",
       "Q 45.3125 48.734375 45.3125 54.390625 \n",
       "Q 45.3125 60.0625 41.71875 63.234375 \n",
       "Q 38.140625 66.40625 31.78125 66.40625 \n",
       "Q 25.390625 66.40625 21.84375 63.234375 \n",
       "Q 18.3125 60.0625 18.3125 54.390625 \n",
       "z\n",
       "\" id=\"DejaVuSans-56\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(188.41457 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_10\">\n",
       "    <!-- π/4 -->\n",
       "    <defs>\n",
       "     <path d=\"M 3.609375 54.6875 \n",
       "L 56 54.6875 \n",
       "L 56 45.703125 \n",
       "L 49.125 45.703125 \n",
       "L 49.125 12.109375 \n",
       "Q 49.125 8.59375 50.3125 7.046875 \n",
       "Q 51.515625 5.515625 54.203125 5.515625 \n",
       "Q 54.9375 5.515625 56 5.640625 \n",
       "Q 57.078125 5.765625 57.421875 5.8125 \n",
       "L 57.421875 -0.6875 \n",
       "Q 55.71875 -1.3125 53.90625 -1.609375 \n",
       "Q 52.09375 -1.90625 50.296875 -1.90625 \n",
       "Q 44.4375 -1.90625 42.1875 1.296875 \n",
       "Q 39.9375 4.5 39.9375 13.09375 \n",
       "L 39.9375 45.703125 \n",
       "L 19.78125 45.703125 \n",
       "L 19.78125 0 \n",
       "L 10.59375 0 \n",
       "L 10.59375 45.703125 \n",
       "L 3.609375 45.703125 \n",
       "z\n",
       "\" id=\"DejaVuSans-960\"/>\n",
       "     <path d=\"M 25.390625 72.90625 \n",
       "L 33.6875 72.90625 \n",
       "L 8.296875 -9.28125 \n",
       "L 0 -9.28125 \n",
       "z\n",
       "\" id=\"DejaVuSans-47\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(172.016258 149.32987)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_11\">\n",
       "    <!-- 9 -->\n",
       "    <defs>\n",
       "     <path d=\"M 10.984375 1.515625 \n",
       "L 10.984375 10.5 \n",
       "Q 14.703125 8.734375 18.5 7.8125 \n",
       "Q 22.3125 6.890625 25.984375 6.890625 \n",
       "Q 35.75 6.890625 40.890625 13.453125 \n",
       "Q 46.046875 20.015625 46.78125 33.40625 \n",
       "Q 43.953125 29.203125 39.59375 26.953125 \n",
       "Q 35.25 24.703125 29.984375 24.703125 \n",
       "Q 19.046875 24.703125 12.671875 31.3125 \n",
       "Q 6.296875 37.9375 6.296875 49.421875 \n",
       "Q 6.296875 60.640625 12.9375 67.421875 \n",
       "Q 19.578125 74.21875 30.609375 74.21875 \n",
       "Q 43.265625 74.21875 49.921875 64.515625 \n",
       "Q 56.59375 54.828125 56.59375 36.375 \n",
       "Q 56.59375 19.140625 48.40625 8.859375 \n",
       "Q 40.234375 -1.421875 26.421875 -1.421875 \n",
       "Q 22.703125 -1.421875 18.890625 -0.6875 \n",
       "Q 15.09375 0.046875 10.984375 1.515625 \n",
       "z\n",
       "M 30.609375 32.421875 \n",
       "Q 37.25 32.421875 41.125 36.953125 \n",
       "Q 45.015625 41.5 45.015625 49.421875 \n",
       "Q 45.015625 57.28125 41.125 61.84375 \n",
       "Q 37.25 66.40625 30.609375 66.40625 \n",
       "Q 23.96875 66.40625 20.09375 61.84375 \n",
       "Q 16.21875 57.28125 16.21875 49.421875 \n",
       "Q 16.21875 41.5 20.09375 36.953125 \n",
       "Q 23.96875 32.421875 30.609375 32.421875 \n",
       "z\n",
       "\" id=\"DejaVuSans-57\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(235.167817 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-57\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_12\">\n",
       "    <!-- 10 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(233.577192 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_13\">\n",
       "    <!-- 11 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(233.577192 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_14\">\n",
       "    <!-- 12 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(256.953815 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_15\">\n",
       "    <!-- 13 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(280.330438 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_16\">\n",
       "    <!-- 14 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(280.330438 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_17\">\n",
       "    <!-- π/4 -->\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(265.522752 102.576623)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_18\">\n",
       "    <!-- 15 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(327.083685 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_19\">\n",
       "    <!-- 16 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(327.083685 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_20\">\n",
       "    <!-- 17 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(327.083685 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_21\">\n",
       "    <!-- 18 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(350.460308 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_22\">\n",
       "    <!-- 19 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(373.836932 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-57\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_23\">\n",
       "    <!-- π/2 -->\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(359.029245 149.32987)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_24\">\n",
       "    <!-- 20 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(420.590179 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_25\">\n",
       "    <!-- 21 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(467.343425 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_26\">\n",
       "    <!-- 22 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(467.343425 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_27\">\n",
       "    <!-- 23 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(467.343425 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_28\">\n",
       "    <!-- 24 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(490.720049 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_29\">\n",
       "    <!-- 25 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(514.096672 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_30\">\n",
       "    <!-- 26 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_31\">\n",
       "    <!-- 27 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_32\">\n",
       "    <!-- 28 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "  </g>\n",
       " </g>\n",
       " <defs>\n",
       "  <clipPath id=\"p954a7d1d18\">\n",
       "   <rect height=\"144\" width=\"576\" x=\"7.2\" y=\"7.2\"/>\n",
       "  </clipPath>\n",
       " </defs>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<Figure size 576x144 with 1 Axes>"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "c = zx.qasm(\"\"\"\n",
    "qreg q[3];\n",
    "\n",
    "ccz q[0],q[1],q[2];\n",
    "h q[2];\n",
    "t q[2];\n",
    "ccz q[0],q[1],q[2];\n",
    "h q[2];\n",
    "t q[1];\n",
    "ccz q[0],q[1],q[2];\n",
    "s q[2];\n",
    "ccx q[0],q[1],q[2];\n",
    "\"\"\")\n",
    "zx.draw(c, labels=True)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "spider_simp: 4. 4. 3. 1.  4 iterations\n",
      "[(35, 20, 25, [], [28], [[4, 5], [13]], [])]\n"
     ]
    },
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"utf-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       "  \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Created with matplotlib (https://matplotlib.org/) -->\n",
       "<svg height=\"158.4pt\" version=\"1.1\" viewBox=\"0 0 590.4 158.4\" width=\"590.4pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       " <defs>\n",
       "  <style type=\"text/css\">\n",
       "*{stroke-linecap:butt;stroke-linejoin:round;}\n",
       "  </style>\n",
       " </defs>\n",
       " <g id=\"figure_1\">\n",
       "  <g id=\"patch_1\">\n",
       "   <path d=\"M 0 158.4 \n",
       "L 590.4 158.4 \n",
       "L 590.4 0 \n",
       "L 0 0 \n",
       "z\n",
       "\" style=\"fill:none;\"/>\n",
       "  </g>\n",
       "  <g id=\"axes_1\">\n",
       "   <g id=\"line2d_1\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 38.057143 32.446753 \n",
       "L 84.81039 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_2\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 38.057143 79.2 \n",
       "L 84.81039 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_3\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 38.057143 125.953247 \n",
       "L 84.81039 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_4\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 125.953247 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_5\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 125.953247 \n",
       "L 108.187013 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_6\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 32.446753 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_7\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 32.446753 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_8\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 32.446753 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_9\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 32.446753 \n",
       "L 482.212987 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_10\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 32.446753 \n",
       "L 552.342857 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_11\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 79.2 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_12\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 79.2 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_13\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 79.2 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_14\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 79.2 \n",
       "L 482.212987 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_15\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 79.2 \n",
       "L 552.342857 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_16\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 79.2 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_17\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 131.563636 125.953247 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_18\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 131.563636 125.953247 \n",
       "L 154.94026 102.576623 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_19\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 131.563636 125.953247 \n",
       "L 108.187013 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_20\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 131.563636 125.953247 \n",
       "L 201.693506 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_21\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 271.823377 125.953247 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_22\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 271.823377 125.953247 \n",
       "L 295.2 102.576623 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_23\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 271.823377 125.953247 \n",
       "L 201.693506 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_24\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 271.823377 125.953247 \n",
       "L 341.953247 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_25\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 412.083117 125.953247 \n",
       "L 482.212987 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_26\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 412.083117 125.953247 \n",
       "L 341.953247 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_27\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 412.083117 125.953247 \n",
       "L 458.836364 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_28\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 505.58961 125.953247 \n",
       "L 552.342857 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_29\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 505.58961 125.953247 \n",
       "L 458.836364 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_2\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 38.057143 37.122078 \n",
       "C 39.297053 37.122078 40.486347 36.629456 41.363097 35.752707 \n",
       "C 42.239846 34.875958 42.732468 33.686664 42.732468 32.446753 \n",
       "C 42.732468 31.206843 42.239846 30.017549 41.363097 29.140799 \n",
       "C 40.486347 28.26405 39.297053 27.771429 38.057143 27.771429 \n",
       "C 36.817232 27.771429 35.627938 28.26405 34.751189 29.140799 \n",
       "C 33.87444 30.017549 33.381818 31.206843 33.381818 32.446753 \n",
       "C 33.381818 33.686664 33.87444 34.875958 34.751189 35.752707 \n",
       "C 35.627938 36.629456 36.817232 37.122078 38.057143 37.122078 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_3\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 38.057143 83.875325 \n",
       "C 39.297053 83.875325 40.486347 83.382703 41.363097 82.505954 \n",
       "C 42.239846 81.629205 42.732468 80.439911 42.732468 79.2 \n",
       "C 42.732468 77.960089 42.239846 76.770795 41.363097 75.894046 \n",
       "C 40.486347 75.017297 39.297053 74.524675 38.057143 74.524675 \n",
       "C 36.817232 74.524675 35.627938 75.017297 34.751189 75.894046 \n",
       "C 33.87444 76.770795 33.381818 77.960089 33.381818 79.2 \n",
       "C 33.381818 80.439911 33.87444 81.629205 34.751189 82.505954 \n",
       "C 35.627938 83.382703 36.817232 83.875325 38.057143 83.875325 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_4\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 38.057143 130.628571 \n",
       "C 39.297053 130.628571 40.486347 130.13595 41.363097 129.259201 \n",
       "C 42.239846 128.382451 42.732468 127.193157 42.732468 125.953247 \n",
       "C 42.732468 124.713336 42.239846 123.524042 41.363097 122.647293 \n",
       "C 40.486347 121.770544 39.297053 121.277922 38.057143 121.277922 \n",
       "C 36.817232 121.277922 35.627938 121.770544 34.751189 122.647293 \n",
       "C 33.87444 123.524042 33.381818 124.713336 33.381818 125.953247 \n",
       "C 33.381818 127.193157 33.87444 128.382451 34.751189 129.259201 \n",
       "C 35.627938 130.13595 36.817232 130.628571 38.057143 130.628571 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_5\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 135.303896 \n",
       "C 87.290211 135.303896 89.668799 134.318653 91.422297 132.565154 \n",
       "C 93.175796 130.811656 94.161039 128.433068 94.161039 125.953247 \n",
       "C 94.161039 123.473426 93.175796 121.094838 91.422297 119.341339 \n",
       "C 89.668799 117.587841 87.290211 116.602597 84.81039 116.602597 \n",
       "C 82.330568 116.602597 79.95198 117.587841 78.198482 119.341339 \n",
       "C 76.444984 121.094838 75.45974 123.473426 75.45974 125.953247 \n",
       "C 75.45974 128.433068 76.444984 130.811656 78.198482 132.565154 \n",
       "C 79.95198 134.318653 82.330568 135.303896 84.81039 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_6\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 41.797403 \n",
       "C 87.290211 41.797403 89.668799 40.812159 91.422297 39.058661 \n",
       "C 93.175796 37.305162 94.161039 34.926574 94.161039 32.446753 \n",
       "C 94.161039 29.966932 93.175796 27.588344 91.422297 25.834846 \n",
       "C 89.668799 24.081347 87.290211 23.096104 84.81039 23.096104 \n",
       "C 82.330568 23.096104 79.95198 24.081347 78.198482 25.834846 \n",
       "C 76.444984 27.588344 75.45974 29.966932 75.45974 32.446753 \n",
       "C 75.45974 34.926574 76.444984 37.305162 78.198482 39.058661 \n",
       "C 79.95198 40.812159 82.330568 41.797403 84.81039 41.797403 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_7\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 84.81039 88.550649 \n",
       "C 87.290211 88.550649 89.668799 87.565406 91.422297 85.811908 \n",
       "C 93.175796 84.058409 94.161039 81.679821 94.161039 79.2 \n",
       "C 94.161039 76.720179 93.175796 74.341591 91.422297 72.588092 \n",
       "C 89.668799 70.834594 87.290211 69.849351 84.81039 69.849351 \n",
       "C 82.330568 69.849351 79.95198 70.834594 78.198482 72.588092 \n",
       "C 76.444984 74.341591 75.45974 76.720179 75.45974 79.2 \n",
       "C 75.45974 81.679821 76.444984 84.058409 78.198482 85.811908 \n",
       "C 79.95198 87.565406 82.330568 88.550649 84.81039 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_8\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 103.511688 60.498701 \n",
       "L 112.862338 60.498701 \n",
       "L 112.862338 51.148052 \n",
       "L 103.511688 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_9\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 131.563636 135.303896 \n",
       "C 134.043458 135.303896 136.422046 134.318653 138.175544 132.565154 \n",
       "C 139.929042 130.811656 140.914286 128.433068 140.914286 125.953247 \n",
       "C 140.914286 123.473426 139.929042 121.094838 138.175544 119.341339 \n",
       "C 136.422046 117.587841 134.043458 116.602597 131.563636 116.602597 \n",
       "C 129.083815 116.602597 126.705227 117.587841 124.951729 119.341339 \n",
       "C 123.19823 121.094838 122.212987 123.473426 122.212987 125.953247 \n",
       "C 122.212987 128.433068 123.19823 130.811656 124.951729 132.565154 \n",
       "C 126.705227 134.318653 129.083815 135.303896 131.563636 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_10\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 243.771429 60.498701 \n",
       "L 253.122078 60.498701 \n",
       "L 253.122078 51.148052 \n",
       "L 243.771429 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_11\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 271.823377 135.303896 \n",
       "C 274.303198 135.303896 276.681786 134.318653 278.435284 132.565154 \n",
       "C 280.188783 130.811656 281.174026 128.433068 281.174026 125.953247 \n",
       "C 281.174026 123.473426 280.188783 121.094838 278.435284 119.341339 \n",
       "C 276.681786 117.587841 274.303198 116.602597 271.823377 116.602597 \n",
       "C 269.343555 116.602597 266.964967 117.587841 265.211469 119.341339 \n",
       "C 263.457971 121.094838 262.472727 123.473426 262.472727 125.953247 \n",
       "C 262.472727 128.433068 263.457971 130.811656 265.211469 132.565154 \n",
       "C 266.964967 134.318653 269.343555 135.303896 271.823377 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_12\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 337.277922 60.498701 \n",
       "L 346.628571 60.498701 \n",
       "L 346.628571 51.148052 \n",
       "L 337.277922 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_13\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 412.083117 135.303896 \n",
       "C 414.562938 135.303896 416.941526 134.318653 418.695024 132.565154 \n",
       "C 420.448523 130.811656 421.433766 128.433068 421.433766 125.953247 \n",
       "C 421.433766 123.473426 420.448523 121.094838 418.695024 119.341339 \n",
       "C 416.941526 117.587841 414.562938 116.602597 412.083117 116.602597 \n",
       "C 409.603296 116.602597 407.224708 117.587841 405.471209 119.341339 \n",
       "C 403.717711 121.094838 402.732468 123.473426 402.732468 125.953247 \n",
       "C 402.732468 128.433068 403.717711 130.811656 405.471209 132.565154 \n",
       "C 407.224708 134.318653 409.603296 135.303896 412.083117 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_14\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 477.537662 60.498701 \n",
       "L 486.888312 60.498701 \n",
       "L 486.888312 51.148052 \n",
       "L 477.537662 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_15\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 505.58961 135.303896 \n",
       "C 508.069432 135.303896 510.44802 134.318653 512.201518 132.565154 \n",
       "C 513.955016 130.811656 514.94026 128.433068 514.94026 125.953247 \n",
       "C 514.94026 123.473426 513.955016 121.094838 512.201518 119.341339 \n",
       "C 510.44802 117.587841 508.069432 116.602597 505.58961 116.602597 \n",
       "C 503.109789 116.602597 500.731201 117.587841 498.977703 119.341339 \n",
       "C 497.224204 121.094838 496.238961 123.473426 496.238961 125.953247 \n",
       "C 496.238961 128.433068 497.224204 130.811656 498.977703 132.565154 \n",
       "C 500.731201 134.318653 503.109789 135.303896 505.58961 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_16\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 552.342857 37.122078 \n",
       "C 553.582768 37.122078 554.772062 36.629456 555.648811 35.752707 \n",
       "C 556.52556 34.875958 557.018182 33.686664 557.018182 32.446753 \n",
       "C 557.018182 31.206843 556.52556 30.017549 555.648811 29.140799 \n",
       "C 554.772062 28.26405 553.582768 27.771429 552.342857 27.771429 \n",
       "C 551.102947 27.771429 549.913653 28.26405 549.036903 29.140799 \n",
       "C 548.160154 30.017549 547.667532 31.206843 547.667532 32.446753 \n",
       "C 547.667532 33.686664 548.160154 34.875958 549.036903 35.752707 \n",
       "C 549.913653 36.629456 551.102947 37.122078 552.342857 37.122078 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_17\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 552.342857 83.875325 \n",
       "C 553.582768 83.875325 554.772062 83.382703 555.648811 82.505954 \n",
       "C 556.52556 81.629205 557.018182 80.439911 557.018182 79.2 \n",
       "C 557.018182 77.960089 556.52556 76.770795 555.648811 75.894046 \n",
       "C 554.772062 75.017297 553.582768 74.524675 552.342857 74.524675 \n",
       "C 551.102947 74.524675 549.913653 75.017297 549.036903 75.894046 \n",
       "C 548.160154 76.770795 547.667532 77.960089 547.667532 79.2 \n",
       "C 547.667532 80.439911 548.160154 81.629205 549.036903 82.505954 \n",
       "C 549.913653 83.382703 551.102947 83.875325 552.342857 83.875325 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_18\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 552.342857 130.628571 \n",
       "C 553.582768 130.628571 554.772062 130.13595 555.648811 129.259201 \n",
       "C 556.52556 128.382451 557.018182 127.193157 557.018182 125.953247 \n",
       "C 557.018182 124.713336 556.52556 123.524042 555.648811 122.647293 \n",
       "C 554.772062 121.770544 553.582768 121.277922 552.342857 121.277922 \n",
       "C 551.102947 121.277922 549.913653 121.770544 549.036903 122.647293 \n",
       "C 548.160154 123.524042 547.667532 124.713336 547.667532 125.953247 \n",
       "C 547.667532 127.193157 548.160154 128.382451 549.036903 129.259201 \n",
       "C 549.913653 130.13595 551.102947 130.628571 552.342857 130.628571 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_19\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 103.511688 60.498701 \n",
       "L 112.862338 60.498701 \n",
       "L 112.862338 51.148052 \n",
       "L 103.511688 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_20\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 150.264935 107.251948 \n",
       "L 159.615584 107.251948 \n",
       "L 159.615584 97.901299 \n",
       "L 150.264935 97.901299 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_21\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 290.524675 107.251948 \n",
       "L 299.875325 107.251948 \n",
       "L 299.875325 97.901299 \n",
       "L 290.524675 97.901299 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_22\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 103.511688 130.628571 \n",
       "L 112.862338 130.628571 \n",
       "L 112.862338 121.277922 \n",
       "L 103.511688 121.277922 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_23\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 197.018182 130.628571 \n",
       "L 206.368831 130.628571 \n",
       "L 206.368831 121.277922 \n",
       "L 197.018182 121.277922 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_24\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 337.277922 130.628571 \n",
       "L 346.628571 130.628571 \n",
       "L 346.628571 121.277922 \n",
       "L 337.277922 121.277922 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_25\">\n",
       "    <path clip-path=\"url(#p2232bc2051)\" d=\"M 454.161039 130.628571 \n",
       "L 463.511688 130.628571 \n",
       "L 463.511688 121.277922 \n",
       "L 454.161039 121.277922 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"text_1\">\n",
       "    <!-- 0 -->\n",
       "    <defs>\n",
       "     <path d=\"M 31.78125 66.40625 \n",
       "Q 24.171875 66.40625 20.328125 58.90625 \n",
       "Q 16.5 51.421875 16.5 36.375 \n",
       "Q 16.5 21.390625 20.328125 13.890625 \n",
       "Q 24.171875 6.390625 31.78125 6.390625 \n",
       "Q 39.453125 6.390625 43.28125 13.890625 \n",
       "Q 47.125 21.390625 47.125 36.375 \n",
       "Q 47.125 51.421875 43.28125 58.90625 \n",
       "Q 39.453125 66.40625 31.78125 66.40625 \n",
       "z\n",
       "M 31.78125 74.21875 \n",
       "Q 44.046875 74.21875 50.515625 64.515625 \n",
       "Q 56.984375 54.828125 56.984375 36.375 \n",
       "Q 56.984375 17.96875 50.515625 8.265625 \n",
       "Q 44.046875 -1.421875 31.78125 -1.421875 \n",
       "Q 19.53125 -1.421875 13.0625 8.265625 \n",
       "Q 6.59375 17.96875 6.59375 36.375 \n",
       "Q 6.59375 54.828125 13.0625 64.515625 \n",
       "Q 19.53125 74.21875 31.78125 74.21875 \n",
       "z\n",
       "\" id=\"DejaVuSans-48\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_2\">\n",
       "    <!-- 1 -->\n",
       "    <defs>\n",
       "     <path d=\"M 12.40625 8.296875 \n",
       "L 28.515625 8.296875 \n",
       "L 28.515625 63.921875 \n",
       "L 10.984375 60.40625 \n",
       "L 10.984375 69.390625 \n",
       "L 28.421875 72.90625 \n",
       "L 38.28125 72.90625 \n",
       "L 38.28125 8.296875 \n",
       "L 54.390625 8.296875 \n",
       "L 54.390625 0 \n",
       "L 12.40625 0 \n",
       "z\n",
       "\" id=\"DejaVuSans-49\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_3\">\n",
       "    <!-- 2 -->\n",
       "    <defs>\n",
       "     <path d=\"M 19.1875 8.296875 \n",
       "L 53.609375 8.296875 \n",
       "L 53.609375 0 \n",
       "L 7.328125 0 \n",
       "L 7.328125 8.296875 \n",
       "Q 12.9375 14.109375 22.625 23.890625 \n",
       "Q 32.328125 33.6875 34.8125 36.53125 \n",
       "Q 39.546875 41.84375 41.421875 45.53125 \n",
       "Q 43.3125 49.21875 43.3125 52.78125 \n",
       "Q 43.3125 58.59375 39.234375 62.25 \n",
       "Q 35.15625 65.921875 28.609375 65.921875 \n",
       "Q 23.96875 65.921875 18.8125 64.3125 \n",
       "Q 13.671875 62.703125 7.8125 59.421875 \n",
       "L 7.8125 69.390625 \n",
       "Q 13.765625 71.78125 18.9375 73 \n",
       "Q 24.125 74.21875 28.421875 74.21875 \n",
       "Q 39.75 74.21875 46.484375 68.546875 \n",
       "Q 53.21875 62.890625 53.21875 53.421875 \n",
       "Q 53.21875 48.921875 51.53125 44.890625 \n",
       "Q 49.859375 40.875 45.40625 35.40625 \n",
       "Q 44.1875 33.984375 37.640625 27.21875 \n",
       "Q 31.109375 20.453125 19.1875 8.296875 \n",
       "z\n",
       "\" id=\"DejaVuSans-50\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_4\">\n",
       "    <!-- 3 -->\n",
       "    <defs>\n",
       "     <path d=\"M 40.578125 39.3125 \n",
       "Q 47.65625 37.796875 51.625 33 \n",
       "Q 55.609375 28.21875 55.609375 21.1875 \n",
       "Q 55.609375 10.40625 48.1875 4.484375 \n",
       "Q 40.765625 -1.421875 27.09375 -1.421875 \n",
       "Q 22.515625 -1.421875 17.65625 -0.515625 \n",
       "Q 12.796875 0.390625 7.625 2.203125 \n",
       "L 7.625 11.71875 \n",
       "Q 11.71875 9.328125 16.59375 8.109375 \n",
       "Q 21.484375 6.890625 26.8125 6.890625 \n",
       "Q 36.078125 6.890625 40.9375 10.546875 \n",
       "Q 45.796875 14.203125 45.796875 21.1875 \n",
       "Q 45.796875 27.640625 41.28125 31.265625 \n",
       "Q 36.765625 34.90625 28.71875 34.90625 \n",
       "L 20.21875 34.90625 \n",
       "L 20.21875 43.015625 \n",
       "L 29.109375 43.015625 \n",
       "Q 36.375 43.015625 40.234375 45.921875 \n",
       "Q 44.09375 48.828125 44.09375 54.296875 \n",
       "Q 44.09375 59.90625 40.109375 62.90625 \n",
       "Q 36.140625 65.921875 28.71875 65.921875 \n",
       "Q 24.65625 65.921875 20.015625 65.03125 \n",
       "Q 15.375 64.15625 9.8125 62.3125 \n",
       "L 9.8125 71.09375 \n",
       "Q 15.4375 72.65625 20.34375 73.4375 \n",
       "Q 25.25 74.21875 29.59375 74.21875 \n",
       "Q 40.828125 74.21875 47.359375 69.109375 \n",
       "Q 53.90625 64.015625 53.90625 55.328125 \n",
       "Q 53.90625 49.265625 50.4375 45.09375 \n",
       "Q 46.96875 40.921875 40.578125 39.3125 \n",
       "z\n",
       "\" id=\"DejaVuSans-51\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_5\">\n",
       "    <!-- 4 -->\n",
       "    <defs>\n",
       "     <path d=\"M 37.796875 64.3125 \n",
       "L 12.890625 25.390625 \n",
       "L 37.796875 25.390625 \n",
       "z\n",
       "M 35.203125 72.90625 \n",
       "L 47.609375 72.90625 \n",
       "L 47.609375 25.390625 \n",
       "L 58.015625 25.390625 \n",
       "L 58.015625 17.1875 \n",
       "L 47.609375 17.1875 \n",
       "L 47.609375 0 \n",
       "L 37.796875 0 \n",
       "L 37.796875 17.1875 \n",
       "L 4.890625 17.1875 \n",
       "L 4.890625 26.703125 \n",
       "z\n",
       "\" id=\"DejaVuSans-52\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_6\">\n",
       "    <!-- 5 -->\n",
       "    <defs>\n",
       "     <path d=\"M 10.796875 72.90625 \n",
       "L 49.515625 72.90625 \n",
       "L 49.515625 64.59375 \n",
       "L 19.828125 64.59375 \n",
       "L 19.828125 46.734375 \n",
       "Q 21.96875 47.46875 24.109375 47.828125 \n",
       "Q 26.265625 48.1875 28.421875 48.1875 \n",
       "Q 40.625 48.1875 47.75 41.5 \n",
       "Q 54.890625 34.8125 54.890625 23.390625 \n",
       "Q 54.890625 11.625 47.5625 5.09375 \n",
       "Q 40.234375 -1.421875 26.90625 -1.421875 \n",
       "Q 22.3125 -1.421875 17.546875 -0.640625 \n",
       "Q 12.796875 0.140625 7.71875 1.703125 \n",
       "L 7.71875 11.625 \n",
       "Q 12.109375 9.234375 16.796875 8.0625 \n",
       "Q 21.484375 6.890625 26.703125 6.890625 \n",
       "Q 35.15625 6.890625 40.078125 11.328125 \n",
       "Q 45.015625 15.765625 45.015625 23.390625 \n",
       "Q 45.015625 31 40.078125 35.4375 \n",
       "Q 35.15625 39.890625 26.703125 39.890625 \n",
       "Q 22.75 39.890625 18.8125 39.015625 \n",
       "Q 14.890625 38.140625 10.796875 36.28125 \n",
       "z\n",
       "\" id=\"DejaVuSans-53\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_7\">\n",
       "    <!-- 6 -->\n",
       "    <defs>\n",
       "     <path d=\"M 33.015625 40.375 \n",
       "Q 26.375 40.375 22.484375 35.828125 \n",
       "Q 18.609375 31.296875 18.609375 23.390625 \n",
       "Q 18.609375 15.53125 22.484375 10.953125 \n",
       "Q 26.375 6.390625 33.015625 6.390625 \n",
       "Q 39.65625 6.390625 43.53125 10.953125 \n",
       "Q 47.40625 15.53125 47.40625 23.390625 \n",
       "Q 47.40625 31.296875 43.53125 35.828125 \n",
       "Q 39.65625 40.375 33.015625 40.375 \n",
       "z\n",
       "M 52.59375 71.296875 \n",
       "L 52.59375 62.3125 \n",
       "Q 48.875 64.0625 45.09375 64.984375 \n",
       "Q 41.3125 65.921875 37.59375 65.921875 \n",
       "Q 27.828125 65.921875 22.671875 59.328125 \n",
       "Q 17.53125 52.734375 16.796875 39.40625 \n",
       "Q 19.671875 43.65625 24.015625 45.921875 \n",
       "Q 28.375 48.1875 33.59375 48.1875 \n",
       "Q 44.578125 48.1875 50.953125 41.515625 \n",
       "Q 57.328125 34.859375 57.328125 23.390625 \n",
       "Q 57.328125 12.15625 50.6875 5.359375 \n",
       "Q 44.046875 -1.421875 33.015625 -1.421875 \n",
       "Q 20.359375 -1.421875 13.671875 8.265625 \n",
       "Q 6.984375 17.96875 6.984375 36.375 \n",
       "Q 6.984375 53.65625 15.1875 63.9375 \n",
       "Q 23.390625 74.21875 37.203125 74.21875 \n",
       "Q 40.921875 74.21875 44.703125 73.484375 \n",
       "Q 48.484375 72.75 52.59375 71.296875 \n",
       "z\n",
       "\" id=\"DejaVuSans-54\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(118.2847 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_8\">\n",
       "    <!-- 7 -->\n",
       "    <defs>\n",
       "     <path d=\"M 8.203125 72.90625 \n",
       "L 55.078125 72.90625 \n",
       "L 55.078125 68.703125 \n",
       "L 28.609375 0 \n",
       "L 18.3125 0 \n",
       "L 43.21875 64.59375 \n",
       "L 8.203125 64.59375 \n",
       "z\n",
       "\" id=\"DejaVuSans-55\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(141.661323 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_9\">\n",
       "    <!-- 12 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(256.953815 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_10\">\n",
       "    <!-- 13 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(280.330438 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_11\">\n",
       "    <!-- 18 -->\n",
       "    <defs>\n",
       "     <path d=\"M 31.78125 34.625 \n",
       "Q 24.75 34.625 20.71875 30.859375 \n",
       "Q 16.703125 27.09375 16.703125 20.515625 \n",
       "Q 16.703125 13.921875 20.71875 10.15625 \n",
       "Q 24.75 6.390625 31.78125 6.390625 \n",
       "Q 38.8125 6.390625 42.859375 10.171875 \n",
       "Q 46.921875 13.96875 46.921875 20.515625 \n",
       "Q 46.921875 27.09375 42.890625 30.859375 \n",
       "Q 38.875 34.625 31.78125 34.625 \n",
       "z\n",
       "M 21.921875 38.8125 \n",
       "Q 15.578125 40.375 12.03125 44.71875 \n",
       "Q 8.5 49.078125 8.5 55.328125 \n",
       "Q 8.5 64.0625 14.71875 69.140625 \n",
       "Q 20.953125 74.21875 31.78125 74.21875 \n",
       "Q 42.671875 74.21875 48.875 69.140625 \n",
       "Q 55.078125 64.0625 55.078125 55.328125 \n",
       "Q 55.078125 49.078125 51.53125 44.71875 \n",
       "Q 48 40.375 41.703125 38.8125 \n",
       "Q 48.828125 37.15625 52.796875 32.3125 \n",
       "Q 56.78125 27.484375 56.78125 20.515625 \n",
       "Q 56.78125 9.90625 50.3125 4.234375 \n",
       "Q 43.84375 -1.421875 31.78125 -1.421875 \n",
       "Q 19.734375 -1.421875 13.25 4.234375 \n",
       "Q 6.78125 9.90625 6.78125 20.515625 \n",
       "Q 6.78125 27.484375 10.78125 32.3125 \n",
       "Q 14.796875 37.15625 21.921875 38.8125 \n",
       "z\n",
       "M 18.3125 54.390625 \n",
       "Q 18.3125 48.734375 21.84375 45.5625 \n",
       "Q 25.390625 42.390625 31.78125 42.390625 \n",
       "Q 38.140625 42.390625 41.71875 45.5625 \n",
       "Q 45.3125 48.734375 45.3125 54.390625 \n",
       "Q 45.3125 60.0625 41.71875 63.234375 \n",
       "Q 38.140625 66.40625 31.78125 66.40625 \n",
       "Q 25.390625 66.40625 21.84375 63.234375 \n",
       "Q 18.3125 60.0625 18.3125 54.390625 \n",
       "z\n",
       "\" id=\"DejaVuSans-56\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(350.460308 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_12\">\n",
       "    <!-- 20 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(420.590179 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_13\">\n",
       "    <!-- 24 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(490.720049 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_14\">\n",
       "    <!-- 25 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(514.096672 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_15\">\n",
       "    <!-- 26 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_16\">\n",
       "    <!-- 27 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_17\">\n",
       "    <!-- 28 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_18\">\n",
       "    <!-- 29 -->\n",
       "    <defs>\n",
       "     <path d=\"M 10.984375 1.515625 \n",
       "L 10.984375 10.5 \n",
       "Q 14.703125 8.734375 18.5 7.8125 \n",
       "Q 22.3125 6.890625 25.984375 6.890625 \n",
       "Q 35.75 6.890625 40.890625 13.453125 \n",
       "Q 46.046875 20.015625 46.78125 33.40625 \n",
       "Q 43.953125 29.203125 39.59375 26.953125 \n",
       "Q 35.25 24.703125 29.984375 24.703125 \n",
       "Q 19.046875 24.703125 12.671875 31.3125 \n",
       "Q 6.296875 37.9375 6.296875 49.421875 \n",
       "Q 6.296875 60.640625 12.9375 67.421875 \n",
       "Q 19.578125 74.21875 30.609375 74.21875 \n",
       "Q 43.265625 74.21875 49.921875 64.515625 \n",
       "Q 56.59375 54.828125 56.59375 36.375 \n",
       "Q 56.59375 19.140625 48.40625 8.859375 \n",
       "Q 40.234375 -1.421875 26.421875 -1.421875 \n",
       "Q 22.703125 -1.421875 18.890625 -0.6875 \n",
       "Q 15.09375 0.046875 10.984375 1.515625 \n",
       "z\n",
       "M 30.609375 32.421875 \n",
       "Q 37.25 32.421875 41.125 36.953125 \n",
       "Q 45.015625 41.5 45.015625 49.421875 \n",
       "Q 45.015625 57.28125 41.125 61.84375 \n",
       "Q 37.25 66.40625 30.609375 66.40625 \n",
       "Q 23.96875 66.40625 20.09375 61.84375 \n",
       "Q 16.21875 57.28125 16.21875 49.421875 \n",
       "Q 16.21875 41.5 20.09375 36.953125 \n",
       "Q 23.96875 32.421875 30.609375 32.421875 \n",
       "z\n",
       "\" id=\"DejaVuSans-57\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(116.694075 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-57\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_19\">\n",
       "    <!-- π/4 -->\n",
       "    <defs>\n",
       "     <path d=\"M 3.609375 54.6875 \n",
       "L 56 54.6875 \n",
       "L 56 45.703125 \n",
       "L 49.125 45.703125 \n",
       "L 49.125 12.109375 \n",
       "Q 49.125 8.59375 50.3125 7.046875 \n",
       "Q 51.515625 5.515625 54.203125 5.515625 \n",
       "Q 54.9375 5.515625 56 5.640625 \n",
       "Q 57.078125 5.765625 57.421875 5.8125 \n",
       "L 57.421875 -0.6875 \n",
       "Q 55.71875 -1.3125 53.90625 -1.609375 \n",
       "Q 52.09375 -1.90625 50.296875 -1.90625 \n",
       "Q 44.4375 -1.90625 42.1875 1.296875 \n",
       "Q 39.9375 4.5 39.9375 13.09375 \n",
       "L 39.9375 45.703125 \n",
       "L 19.78125 45.703125 \n",
       "L 19.78125 0 \n",
       "L 10.59375 0 \n",
       "L 10.59375 45.703125 \n",
       "L 3.609375 45.703125 \n",
       "z\n",
       "\" id=\"DejaVuSans-960\"/>\n",
       "     <path d=\"M 25.390625 72.90625 \n",
       "L 33.6875 72.90625 \n",
       "L 8.296875 -9.28125 \n",
       "L 0 -9.28125 \n",
       "z\n",
       "\" id=\"DejaVuSans-47\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(101.886388 67.511688)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_20\">\n",
       "    <!-- 30 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(163.447321 90.888312)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_21\">\n",
       "    <!-- π/4 -->\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(148.639635 114.264935)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_22\">\n",
       "    <!-- 31 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(303.707062 90.888312)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_23\">\n",
       "    <!-- π/2 -->\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(288.899375 114.264935)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_24\">\n",
       "    <!-- 32 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(116.694075 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_25\">\n",
       "    <!-- 33 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(210.200568 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_26\">\n",
       "    <!-- 34 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(350.460308 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_27\">\n",
       "    <!-- 35 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(467.343425 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "  </g>\n",
       " </g>\n",
       " <defs>\n",
       "  <clipPath id=\"p2232bc2051\">\n",
       "   <rect height=\"144\" width=\"576\" x=\"7.2\" y=\"7.2\"/>\n",
       "  </clipPath>\n",
       " </defs>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<Figure size 576x144 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "image/svg+xml": [
       "<?xml version=\"1.0\" encoding=\"utf-8\" standalone=\"no\"?>\n",
       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
       "  \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
       "<!-- Created with matplotlib (https://matplotlib.org/) -->\n",
       "<svg height=\"158.4pt\" version=\"1.1\" viewBox=\"0 0 590.4 158.4\" width=\"590.4pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
       " <defs>\n",
       "  <style type=\"text/css\">\n",
       "*{stroke-linecap:butt;stroke-linejoin:round;}\n",
       "  </style>\n",
       " </defs>\n",
       " <g id=\"figure_1\">\n",
       "  <g id=\"patch_1\">\n",
       "   <path d=\"M 0 158.4 \n",
       "L 590.4 158.4 \n",
       "L 590.4 0 \n",
       "L 0 0 \n",
       "z\n",
       "\" style=\"fill:none;\"/>\n",
       "  </g>\n",
       "  <g id=\"axes_1\">\n",
       "   <g id=\"line2d_1\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 38.057143 32.446753 \n",
       "L 84.81039 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_2\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 38.057143 79.2 \n",
       "L 84.81039 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_3\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 38.057143 125.953247 \n",
       "L 84.81039 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_4\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 125.953247 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_5\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 125.953247 \n",
       "L 108.187013 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_6\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 32.446753 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_7\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 32.446753 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_8\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 32.446753 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_9\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 32.446753 \n",
       "L 552.342857 32.446753 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_10\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 32.446753 \n",
       "L 243.771429 60.498701 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_11\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 79.2 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_12\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 79.2 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_13\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 79.2 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_14\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 79.2 \n",
       "L 552.342857 79.2 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_15\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 79.2 \n",
       "L 108.187013 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_16\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 79.2 \n",
       "L 243.771429 60.498701 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_17\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 131.563636 125.953247 \n",
       "L 248.446753 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_18\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 131.563636 125.953247 \n",
       "L 154.94026 102.576623 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_19\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 131.563636 125.953247 \n",
       "L 108.187013 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_20\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 131.563636 125.953247 \n",
       "L 201.693506 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_21\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 271.823377 125.953247 \n",
       "L 341.953247 55.823377 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_22\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 271.823377 125.953247 \n",
       "L 295.2 102.576623 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_23\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 271.823377 125.953247 \n",
       "L 201.693506 125.953247 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_24\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 271.823377 125.953247 \n",
       "L 407.407792 107.251948 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_25\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 505.58961 125.953247 \n",
       "L 552.342857 125.953247 \n",
       "\" style=\"fill:none;stroke:#0099ff;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_26\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 505.58961 125.953247 \n",
       "L 243.771429 60.498701 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"line2d_27\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 505.58961 125.953247 \n",
       "L 407.407792 107.251948 \n",
       "\" style=\"fill:none;stroke:#000000;stroke-linecap:square;stroke-width:0.8;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_2\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 38.057143 37.122078 \n",
       "C 39.297053 37.122078 40.486347 36.629456 41.363097 35.752707 \n",
       "C 42.239846 34.875958 42.732468 33.686664 42.732468 32.446753 \n",
       "C 42.732468 31.206843 42.239846 30.017549 41.363097 29.140799 \n",
       "C 40.486347 28.26405 39.297053 27.771429 38.057143 27.771429 \n",
       "C 36.817232 27.771429 35.627938 28.26405 34.751189 29.140799 \n",
       "C 33.87444 30.017549 33.381818 31.206843 33.381818 32.446753 \n",
       "C 33.381818 33.686664 33.87444 34.875958 34.751189 35.752707 \n",
       "C 35.627938 36.629456 36.817232 37.122078 38.057143 37.122078 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_3\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 38.057143 83.875325 \n",
       "C 39.297053 83.875325 40.486347 83.382703 41.363097 82.505954 \n",
       "C 42.239846 81.629205 42.732468 80.439911 42.732468 79.2 \n",
       "C 42.732468 77.960089 42.239846 76.770795 41.363097 75.894046 \n",
       "C 40.486347 75.017297 39.297053 74.524675 38.057143 74.524675 \n",
       "C 36.817232 74.524675 35.627938 75.017297 34.751189 75.894046 \n",
       "C 33.87444 76.770795 33.381818 77.960089 33.381818 79.2 \n",
       "C 33.381818 80.439911 33.87444 81.629205 34.751189 82.505954 \n",
       "C 35.627938 83.382703 36.817232 83.875325 38.057143 83.875325 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_4\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 38.057143 130.628571 \n",
       "C 39.297053 130.628571 40.486347 130.13595 41.363097 129.259201 \n",
       "C 42.239846 128.382451 42.732468 127.193157 42.732468 125.953247 \n",
       "C 42.732468 124.713336 42.239846 123.524042 41.363097 122.647293 \n",
       "C 40.486347 121.770544 39.297053 121.277922 38.057143 121.277922 \n",
       "C 36.817232 121.277922 35.627938 121.770544 34.751189 122.647293 \n",
       "C 33.87444 123.524042 33.381818 124.713336 33.381818 125.953247 \n",
       "C 33.381818 127.193157 33.87444 128.382451 34.751189 129.259201 \n",
       "C 35.627938 130.13595 36.817232 130.628571 38.057143 130.628571 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_5\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 135.303896 \n",
       "C 87.290211 135.303896 89.668799 134.318653 91.422297 132.565154 \n",
       "C 93.175796 130.811656 94.161039 128.433068 94.161039 125.953247 \n",
       "C 94.161039 123.473426 93.175796 121.094838 91.422297 119.341339 \n",
       "C 89.668799 117.587841 87.290211 116.602597 84.81039 116.602597 \n",
       "C 82.330568 116.602597 79.95198 117.587841 78.198482 119.341339 \n",
       "C 76.444984 121.094838 75.45974 123.473426 75.45974 125.953247 \n",
       "C 75.45974 128.433068 76.444984 130.811656 78.198482 132.565154 \n",
       "C 79.95198 134.318653 82.330568 135.303896 84.81039 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_6\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 41.797403 \n",
       "C 87.290211 41.797403 89.668799 40.812159 91.422297 39.058661 \n",
       "C 93.175796 37.305162 94.161039 34.926574 94.161039 32.446753 \n",
       "C 94.161039 29.966932 93.175796 27.588344 91.422297 25.834846 \n",
       "C 89.668799 24.081347 87.290211 23.096104 84.81039 23.096104 \n",
       "C 82.330568 23.096104 79.95198 24.081347 78.198482 25.834846 \n",
       "C 76.444984 27.588344 75.45974 29.966932 75.45974 32.446753 \n",
       "C 75.45974 34.926574 76.444984 37.305162 78.198482 39.058661 \n",
       "C 79.95198 40.812159 82.330568 41.797403 84.81039 41.797403 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_7\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 84.81039 88.550649 \n",
       "C 87.290211 88.550649 89.668799 87.565406 91.422297 85.811908 \n",
       "C 93.175796 84.058409 94.161039 81.679821 94.161039 79.2 \n",
       "C 94.161039 76.720179 93.175796 74.341591 91.422297 72.588092 \n",
       "C 89.668799 70.834594 87.290211 69.849351 84.81039 69.849351 \n",
       "C 82.330568 69.849351 79.95198 70.834594 78.198482 72.588092 \n",
       "C 76.444984 74.341591 75.45974 76.720179 75.45974 79.2 \n",
       "C 75.45974 81.679821 76.444984 84.058409 78.198482 85.811908 \n",
       "C 79.95198 87.565406 82.330568 88.550649 84.81039 88.550649 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_8\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 103.511688 60.498701 \n",
       "L 112.862338 60.498701 \n",
       "L 112.862338 51.148052 \n",
       "L 103.511688 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_9\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 131.563636 135.303896 \n",
       "C 134.043458 135.303896 136.422046 134.318653 138.175544 132.565154 \n",
       "C 139.929042 130.811656 140.914286 128.433068 140.914286 125.953247 \n",
       "C 140.914286 123.473426 139.929042 121.094838 138.175544 119.341339 \n",
       "C 136.422046 117.587841 134.043458 116.602597 131.563636 116.602597 \n",
       "C 129.083815 116.602597 126.705227 117.587841 124.951729 119.341339 \n",
       "C 123.19823 121.094838 122.212987 123.473426 122.212987 125.953247 \n",
       "C 122.212987 128.433068 123.19823 130.811656 124.951729 132.565154 \n",
       "C 126.705227 134.318653 129.083815 135.303896 131.563636 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_10\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 243.771429 60.498701 \n",
       "L 253.122078 60.498701 \n",
       "L 253.122078 51.148052 \n",
       "L 243.771429 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_11\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 271.823377 135.303896 \n",
       "C 274.303198 135.303896 276.681786 134.318653 278.435284 132.565154 \n",
       "C 280.188783 130.811656 281.174026 128.433068 281.174026 125.953247 \n",
       "C 281.174026 123.473426 280.188783 121.094838 278.435284 119.341339 \n",
       "C 276.681786 117.587841 274.303198 116.602597 271.823377 116.602597 \n",
       "C 269.343555 116.602597 266.964967 117.587841 265.211469 119.341339 \n",
       "C 263.457971 121.094838 262.472727 123.473426 262.472727 125.953247 \n",
       "C 262.472727 128.433068 263.457971 130.811656 265.211469 132.565154 \n",
       "C 266.964967 134.318653 269.343555 135.303896 271.823377 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_12\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 337.277922 60.498701 \n",
       "L 346.628571 60.498701 \n",
       "L 346.628571 51.148052 \n",
       "L 337.277922 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_13\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 505.58961 135.303896 \n",
       "C 508.069432 135.303896 510.44802 134.318653 512.201518 132.565154 \n",
       "C 513.955016 130.811656 514.94026 128.433068 514.94026 125.953247 \n",
       "C 514.94026 123.473426 513.955016 121.094838 512.201518 119.341339 \n",
       "C 510.44802 117.587841 508.069432 116.602597 505.58961 116.602597 \n",
       "C 503.109789 116.602597 500.731201 117.587841 498.977703 119.341339 \n",
       "C 497.224204 121.094838 496.238961 123.473426 496.238961 125.953247 \n",
       "C 496.238961 128.433068 497.224204 130.811656 498.977703 132.565154 \n",
       "C 500.731201 134.318653 503.109789 135.303896 505.58961 135.303896 \n",
       "z\n",
       "\" style=\"fill:#008000;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_14\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 552.342857 37.122078 \n",
       "C 553.582768 37.122078 554.772062 36.629456 555.648811 35.752707 \n",
       "C 556.52556 34.875958 557.018182 33.686664 557.018182 32.446753 \n",
       "C 557.018182 31.206843 556.52556 30.017549 555.648811 29.140799 \n",
       "C 554.772062 28.26405 553.582768 27.771429 552.342857 27.771429 \n",
       "C 551.102947 27.771429 549.913653 28.26405 549.036903 29.140799 \n",
       "C 548.160154 30.017549 547.667532 31.206843 547.667532 32.446753 \n",
       "C 547.667532 33.686664 548.160154 34.875958 549.036903 35.752707 \n",
       "C 549.913653 36.629456 551.102947 37.122078 552.342857 37.122078 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_15\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 552.342857 83.875325 \n",
       "C 553.582768 83.875325 554.772062 83.382703 555.648811 82.505954 \n",
       "C 556.52556 81.629205 557.018182 80.439911 557.018182 79.2 \n",
       "C 557.018182 77.960089 556.52556 76.770795 555.648811 75.894046 \n",
       "C 554.772062 75.017297 553.582768 74.524675 552.342857 74.524675 \n",
       "C 551.102947 74.524675 549.913653 75.017297 549.036903 75.894046 \n",
       "C 548.160154 76.770795 547.667532 77.960089 547.667532 79.2 \n",
       "C 547.667532 80.439911 548.160154 81.629205 549.036903 82.505954 \n",
       "C 549.913653 83.382703 551.102947 83.875325 552.342857 83.875325 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_16\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 552.342857 130.628571 \n",
       "C 553.582768 130.628571 554.772062 130.13595 555.648811 129.259201 \n",
       "C 556.52556 128.382451 557.018182 127.193157 557.018182 125.953247 \n",
       "C 557.018182 124.713336 556.52556 123.524042 555.648811 122.647293 \n",
       "C 554.772062 121.770544 553.582768 121.277922 552.342857 121.277922 \n",
       "C 551.102947 121.277922 549.913653 121.770544 549.036903 122.647293 \n",
       "C 548.160154 123.524042 547.667532 124.713336 547.667532 125.953247 \n",
       "C 547.667532 127.193157 548.160154 128.382451 549.036903 129.259201 \n",
       "C 549.913653 130.13595 551.102947 130.628571 552.342857 130.628571 \n",
       "z\n",
       "\" style=\"stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_17\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 103.511688 60.498701 \n",
       "L 112.862338 60.498701 \n",
       "L 112.862338 51.148052 \n",
       "L 103.511688 51.148052 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_18\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 150.264935 107.251948 \n",
       "L 159.615584 107.251948 \n",
       "L 159.615584 97.901299 \n",
       "L 150.264935 97.901299 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_19\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 290.524675 107.251948 \n",
       "L 299.875325 107.251948 \n",
       "L 299.875325 97.901299 \n",
       "L 290.524675 97.901299 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_20\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 103.511688 130.628571 \n",
       "L 112.862338 130.628571 \n",
       "L 112.862338 121.277922 \n",
       "L 103.511688 121.277922 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_21\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 197.018182 130.628571 \n",
       "L 206.368831 130.628571 \n",
       "L 206.368831 121.277922 \n",
       "L 197.018182 121.277922 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_22\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 239.096104 65.174026 \n",
       "L 248.446753 65.174026 \n",
       "L 248.446753 55.823377 \n",
       "L 239.096104 55.823377 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"patch_23\">\n",
       "    <path clip-path=\"url(#pfba3a03716)\" d=\"M 402.732468 111.927273 \n",
       "L 412.083117 111.927273 \n",
       "L 412.083117 102.576623 \n",
       "L 402.732468 102.576623 \n",
       "z\n",
       "\" style=\"fill:#ffff00;stroke:#000000;stroke-linejoin:miter;\"/>\n",
       "   </g>\n",
       "   <g id=\"text_1\">\n",
       "    <!-- 0 -->\n",
       "    <defs>\n",
       "     <path d=\"M 31.78125 66.40625 \n",
       "Q 24.171875 66.40625 20.328125 58.90625 \n",
       "Q 16.5 51.421875 16.5 36.375 \n",
       "Q 16.5 21.390625 20.328125 13.890625 \n",
       "Q 24.171875 6.390625 31.78125 6.390625 \n",
       "Q 39.453125 6.390625 43.28125 13.890625 \n",
       "Q 47.125 21.390625 47.125 36.375 \n",
       "Q 47.125 51.421875 43.28125 58.90625 \n",
       "Q 39.453125 66.40625 31.78125 66.40625 \n",
       "z\n",
       "M 31.78125 74.21875 \n",
       "Q 44.046875 74.21875 50.515625 64.515625 \n",
       "Q 56.984375 54.828125 56.984375 36.375 \n",
       "Q 56.984375 17.96875 50.515625 8.265625 \n",
       "Q 44.046875 -1.421875 31.78125 -1.421875 \n",
       "Q 19.53125 -1.421875 13.0625 8.265625 \n",
       "Q 6.59375 17.96875 6.59375 36.375 \n",
       "Q 6.59375 54.828125 13.0625 64.515625 \n",
       "Q 19.53125 74.21875 31.78125 74.21875 \n",
       "z\n",
       "\" id=\"DejaVuSans-48\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_2\">\n",
       "    <!-- 1 -->\n",
       "    <defs>\n",
       "     <path d=\"M 12.40625 8.296875 \n",
       "L 28.515625 8.296875 \n",
       "L 28.515625 63.921875 \n",
       "L 10.984375 60.40625 \n",
       "L 10.984375 69.390625 \n",
       "L 28.421875 72.90625 \n",
       "L 38.28125 72.90625 \n",
       "L 38.28125 8.296875 \n",
       "L 54.390625 8.296875 \n",
       "L 54.390625 0 \n",
       "L 12.40625 0 \n",
       "z\n",
       "\" id=\"DejaVuSans-49\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_3\">\n",
       "    <!-- 2 -->\n",
       "    <defs>\n",
       "     <path d=\"M 19.1875 8.296875 \n",
       "L 53.609375 8.296875 \n",
       "L 53.609375 0 \n",
       "L 7.328125 0 \n",
       "L 7.328125 8.296875 \n",
       "Q 12.9375 14.109375 22.625 23.890625 \n",
       "Q 32.328125 33.6875 34.8125 36.53125 \n",
       "Q 39.546875 41.84375 41.421875 45.53125 \n",
       "Q 43.3125 49.21875 43.3125 52.78125 \n",
       "Q 43.3125 58.59375 39.234375 62.25 \n",
       "Q 35.15625 65.921875 28.609375 65.921875 \n",
       "Q 23.96875 65.921875 18.8125 64.3125 \n",
       "Q 13.671875 62.703125 7.8125 59.421875 \n",
       "L 7.8125 69.390625 \n",
       "Q 13.765625 71.78125 18.9375 73 \n",
       "Q 24.125 74.21875 28.421875 74.21875 \n",
       "Q 39.75 74.21875 46.484375 68.546875 \n",
       "Q 53.21875 62.890625 53.21875 53.421875 \n",
       "Q 53.21875 48.921875 51.53125 44.890625 \n",
       "Q 49.859375 40.875 45.40625 35.40625 \n",
       "Q 44.1875 33.984375 37.640625 27.21875 \n",
       "Q 31.109375 20.453125 19.1875 8.296875 \n",
       "z\n",
       "\" id=\"DejaVuSans-50\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(48.15483 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_4\">\n",
       "    <!-- 3 -->\n",
       "    <defs>\n",
       "     <path d=\"M 40.578125 39.3125 \n",
       "Q 47.65625 37.796875 51.625 33 \n",
       "Q 55.609375 28.21875 55.609375 21.1875 \n",
       "Q 55.609375 10.40625 48.1875 4.484375 \n",
       "Q 40.765625 -1.421875 27.09375 -1.421875 \n",
       "Q 22.515625 -1.421875 17.65625 -0.515625 \n",
       "Q 12.796875 0.390625 7.625 2.203125 \n",
       "L 7.625 11.71875 \n",
       "Q 11.71875 9.328125 16.59375 8.109375 \n",
       "Q 21.484375 6.890625 26.8125 6.890625 \n",
       "Q 36.078125 6.890625 40.9375 10.546875 \n",
       "Q 45.796875 14.203125 45.796875 21.1875 \n",
       "Q 45.796875 27.640625 41.28125 31.265625 \n",
       "Q 36.765625 34.90625 28.71875 34.90625 \n",
       "L 20.21875 34.90625 \n",
       "L 20.21875 43.015625 \n",
       "L 29.109375 43.015625 \n",
       "Q 36.375 43.015625 40.234375 45.921875 \n",
       "Q 44.09375 48.828125 44.09375 54.296875 \n",
       "Q 44.09375 59.90625 40.109375 62.90625 \n",
       "Q 36.140625 65.921875 28.71875 65.921875 \n",
       "Q 24.65625 65.921875 20.015625 65.03125 \n",
       "Q 15.375 64.15625 9.8125 62.3125 \n",
       "L 9.8125 71.09375 \n",
       "Q 15.4375 72.65625 20.34375 73.4375 \n",
       "Q 25.25 74.21875 29.59375 74.21875 \n",
       "Q 40.828125 74.21875 47.359375 69.109375 \n",
       "Q 53.90625 64.015625 53.90625 55.328125 \n",
       "Q 53.90625 49.265625 50.4375 45.09375 \n",
       "Q 46.96875 40.921875 40.578125 39.3125 \n",
       "z\n",
       "\" id=\"DejaVuSans-51\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_5\">\n",
       "    <!-- 4 -->\n",
       "    <defs>\n",
       "     <path d=\"M 37.796875 64.3125 \n",
       "L 12.890625 25.390625 \n",
       "L 37.796875 25.390625 \n",
       "z\n",
       "M 35.203125 72.90625 \n",
       "L 47.609375 72.90625 \n",
       "L 47.609375 25.390625 \n",
       "L 58.015625 25.390625 \n",
       "L 58.015625 17.1875 \n",
       "L 47.609375 17.1875 \n",
       "L 47.609375 0 \n",
       "L 37.796875 0 \n",
       "L 37.796875 17.1875 \n",
       "L 4.890625 17.1875 \n",
       "L 4.890625 26.703125 \n",
       "z\n",
       "\" id=\"DejaVuSans-52\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_6\">\n",
       "    <!-- 5 -->\n",
       "    <defs>\n",
       "     <path d=\"M 10.796875 72.90625 \n",
       "L 49.515625 72.90625 \n",
       "L 49.515625 64.59375 \n",
       "L 19.828125 64.59375 \n",
       "L 19.828125 46.734375 \n",
       "Q 21.96875 47.46875 24.109375 47.828125 \n",
       "Q 26.265625 48.1875 28.421875 48.1875 \n",
       "Q 40.625 48.1875 47.75 41.5 \n",
       "Q 54.890625 34.8125 54.890625 23.390625 \n",
       "Q 54.890625 11.625 47.5625 5.09375 \n",
       "Q 40.234375 -1.421875 26.90625 -1.421875 \n",
       "Q 22.3125 -1.421875 17.546875 -0.640625 \n",
       "Q 12.796875 0.140625 7.71875 1.703125 \n",
       "L 7.71875 11.625 \n",
       "Q 12.109375 9.234375 16.796875 8.0625 \n",
       "Q 21.484375 6.890625 26.703125 6.890625 \n",
       "Q 35.15625 6.890625 40.078125 11.328125 \n",
       "Q 45.015625 15.765625 45.015625 23.390625 \n",
       "Q 45.015625 31 40.078125 35.4375 \n",
       "Q 35.15625 39.890625 26.703125 39.890625 \n",
       "Q 22.75 39.890625 18.8125 39.015625 \n",
       "Q 14.890625 38.140625 10.796875 36.28125 \n",
       "z\n",
       "\" id=\"DejaVuSans-53\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(94.908076 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_7\">\n",
       "    <!-- 6 -->\n",
       "    <defs>\n",
       "     <path d=\"M 33.015625 40.375 \n",
       "Q 26.375 40.375 22.484375 35.828125 \n",
       "Q 18.609375 31.296875 18.609375 23.390625 \n",
       "Q 18.609375 15.53125 22.484375 10.953125 \n",
       "Q 26.375 6.390625 33.015625 6.390625 \n",
       "Q 39.65625 6.390625 43.53125 10.953125 \n",
       "Q 47.40625 15.53125 47.40625 23.390625 \n",
       "Q 47.40625 31.296875 43.53125 35.828125 \n",
       "Q 39.65625 40.375 33.015625 40.375 \n",
       "z\n",
       "M 52.59375 71.296875 \n",
       "L 52.59375 62.3125 \n",
       "Q 48.875 64.0625 45.09375 64.984375 \n",
       "Q 41.3125 65.921875 37.59375 65.921875 \n",
       "Q 27.828125 65.921875 22.671875 59.328125 \n",
       "Q 17.53125 52.734375 16.796875 39.40625 \n",
       "Q 19.671875 43.65625 24.015625 45.921875 \n",
       "Q 28.375 48.1875 33.59375 48.1875 \n",
       "Q 44.578125 48.1875 50.953125 41.515625 \n",
       "Q 57.328125 34.859375 57.328125 23.390625 \n",
       "Q 57.328125 12.15625 50.6875 5.359375 \n",
       "Q 44.046875 -1.421875 33.015625 -1.421875 \n",
       "Q 20.359375 -1.421875 13.671875 8.265625 \n",
       "Q 6.984375 17.96875 6.984375 36.375 \n",
       "Q 6.984375 53.65625 15.1875 63.9375 \n",
       "Q 23.390625 74.21875 37.203125 74.21875 \n",
       "Q 40.921875 74.21875 44.703125 73.484375 \n",
       "Q 48.484375 72.75 52.59375 71.296875 \n",
       "z\n",
       "\" id=\"DejaVuSans-54\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(118.2847 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_8\">\n",
       "    <!-- 7 -->\n",
       "    <defs>\n",
       "     <path d=\"M 8.203125 72.90625 \n",
       "L 55.078125 72.90625 \n",
       "L 55.078125 68.703125 \n",
       "L 28.609375 0 \n",
       "L 18.3125 0 \n",
       "L 43.21875 64.59375 \n",
       "L 8.203125 64.59375 \n",
       "z\n",
       "\" id=\"DejaVuSans-55\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(141.661323 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_9\">\n",
       "    <!-- 12 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(256.953815 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_10\">\n",
       "    <!-- 13 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(280.330438 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_11\">\n",
       "    <!-- 18 -->\n",
       "    <defs>\n",
       "     <path d=\"M 31.78125 34.625 \n",
       "Q 24.75 34.625 20.71875 30.859375 \n",
       "Q 16.703125 27.09375 16.703125 20.515625 \n",
       "Q 16.703125 13.921875 20.71875 10.15625 \n",
       "Q 24.75 6.390625 31.78125 6.390625 \n",
       "Q 38.8125 6.390625 42.859375 10.171875 \n",
       "Q 46.921875 13.96875 46.921875 20.515625 \n",
       "Q 46.921875 27.09375 42.890625 30.859375 \n",
       "Q 38.875 34.625 31.78125 34.625 \n",
       "z\n",
       "M 21.921875 38.8125 \n",
       "Q 15.578125 40.375 12.03125 44.71875 \n",
       "Q 8.5 49.078125 8.5 55.328125 \n",
       "Q 8.5 64.0625 14.71875 69.140625 \n",
       "Q 20.953125 74.21875 31.78125 74.21875 \n",
       "Q 42.671875 74.21875 48.875 69.140625 \n",
       "Q 55.078125 64.0625 55.078125 55.328125 \n",
       "Q 55.078125 49.078125 51.53125 44.71875 \n",
       "Q 48 40.375 41.703125 38.8125 \n",
       "Q 48.828125 37.15625 52.796875 32.3125 \n",
       "Q 56.78125 27.484375 56.78125 20.515625 \n",
       "Q 56.78125 9.90625 50.3125 4.234375 \n",
       "Q 43.84375 -1.421875 31.78125 -1.421875 \n",
       "Q 19.734375 -1.421875 13.25 4.234375 \n",
       "Q 6.78125 9.90625 6.78125 20.515625 \n",
       "Q 6.78125 27.484375 10.78125 32.3125 \n",
       "Q 14.796875 37.15625 21.921875 38.8125 \n",
       "z\n",
       "M 18.3125 54.390625 \n",
       "Q 18.3125 48.734375 21.84375 45.5625 \n",
       "Q 25.390625 42.390625 31.78125 42.390625 \n",
       "Q 38.140625 42.390625 41.71875 45.5625 \n",
       "Q 45.3125 48.734375 45.3125 54.390625 \n",
       "Q 45.3125 60.0625 41.71875 63.234375 \n",
       "Q 38.140625 66.40625 31.78125 66.40625 \n",
       "Q 25.390625 66.40625 21.84375 63.234375 \n",
       "Q 18.3125 60.0625 18.3125 54.390625 \n",
       "z\n",
       "\" id=\"DejaVuSans-56\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(350.460308 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-49\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_12\">\n",
       "    <!-- 25 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(514.096672 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-53\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_13\">\n",
       "    <!-- 26 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 20.758442)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_14\">\n",
       "    <!-- 27 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 67.511688)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_15\">\n",
       "    <!-- 28 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(560.849919 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-56\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_16\">\n",
       "    <!-- 29 -->\n",
       "    <defs>\n",
       "     <path d=\"M 10.984375 1.515625 \n",
       "L 10.984375 10.5 \n",
       "Q 14.703125 8.734375 18.5 7.8125 \n",
       "Q 22.3125 6.890625 25.984375 6.890625 \n",
       "Q 35.75 6.890625 40.890625 13.453125 \n",
       "Q 46.046875 20.015625 46.78125 33.40625 \n",
       "Q 43.953125 29.203125 39.59375 26.953125 \n",
       "Q 35.25 24.703125 29.984375 24.703125 \n",
       "Q 19.046875 24.703125 12.671875 31.3125 \n",
       "Q 6.296875 37.9375 6.296875 49.421875 \n",
       "Q 6.296875 60.640625 12.9375 67.421875 \n",
       "Q 19.578125 74.21875 30.609375 74.21875 \n",
       "Q 43.265625 74.21875 49.921875 64.515625 \n",
       "Q 56.59375 54.828125 56.59375 36.375 \n",
       "Q 56.59375 19.140625 48.40625 8.859375 \n",
       "Q 40.234375 -1.421875 26.421875 -1.421875 \n",
       "Q 22.703125 -1.421875 18.890625 -0.6875 \n",
       "Q 15.09375 0.046875 10.984375 1.515625 \n",
       "z\n",
       "M 30.609375 32.421875 \n",
       "Q 37.25 32.421875 41.125 36.953125 \n",
       "Q 45.015625 41.5 45.015625 49.421875 \n",
       "Q 45.015625 57.28125 41.125 61.84375 \n",
       "Q 37.25 66.40625 30.609375 66.40625 \n",
       "Q 23.96875 66.40625 20.09375 61.84375 \n",
       "Q 16.21875 57.28125 16.21875 49.421875 \n",
       "Q 16.21875 41.5 20.09375 36.953125 \n",
       "Q 23.96875 32.421875 30.609375 32.421875 \n",
       "z\n",
       "\" id=\"DejaVuSans-57\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(116.694075 44.135065)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-50\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-57\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_17\">\n",
       "    <!-- π/4 -->\n",
       "    <defs>\n",
       "     <path d=\"M 3.609375 54.6875 \n",
       "L 56 54.6875 \n",
       "L 56 45.703125 \n",
       "L 49.125 45.703125 \n",
       "L 49.125 12.109375 \n",
       "Q 49.125 8.59375 50.3125 7.046875 \n",
       "Q 51.515625 5.515625 54.203125 5.515625 \n",
       "Q 54.9375 5.515625 56 5.640625 \n",
       "Q 57.078125 5.765625 57.421875 5.8125 \n",
       "L 57.421875 -0.6875 \n",
       "Q 55.71875 -1.3125 53.90625 -1.609375 \n",
       "Q 52.09375 -1.90625 50.296875 -1.90625 \n",
       "Q 44.4375 -1.90625 42.1875 1.296875 \n",
       "Q 39.9375 4.5 39.9375 13.09375 \n",
       "L 39.9375 45.703125 \n",
       "L 19.78125 45.703125 \n",
       "L 19.78125 0 \n",
       "L 10.59375 0 \n",
       "L 10.59375 45.703125 \n",
       "L 3.609375 45.703125 \n",
       "z\n",
       "\" id=\"DejaVuSans-960\"/>\n",
       "     <path d=\"M 25.390625 72.90625 \n",
       "L 33.6875 72.90625 \n",
       "L 8.296875 -9.28125 \n",
       "L 0 -9.28125 \n",
       "z\n",
       "\" id=\"DejaVuSans-47\"/>\n",
       "    </defs>\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(101.886388 67.511688)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_18\">\n",
       "    <!-- 30 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(163.447321 90.888312)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-48\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_19\">\n",
       "    <!-- π/4 -->\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(148.639635 114.264935)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-52\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_20\">\n",
       "    <!-- 31 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(303.707062 90.888312)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-49\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_21\">\n",
       "    <!-- π/2 -->\n",
       "    <g style=\"fill:#0000ff;\" transform=\"translate(288.899375 114.264935)scale(0.08 -0.08)\">\n",
       "     <use xlink:href=\"#DejaVuSans-960\"/>\n",
       "     <use x=\"60.205078\" xlink:href=\"#DejaVuSans-47\"/>\n",
       "     <use x=\"93.896484\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_22\">\n",
       "    <!-- 32 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(116.694075 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-50\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_23\">\n",
       "    <!-- 33 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(210.200568 114.264935)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-51\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_24\">\n",
       "    <!-- 36 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(252.27849 48.81039)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-54\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "   <g id=\"text_25\">\n",
       "    <!-- 37 -->\n",
       "    <g style=\"fill:#808080;\" transform=\"translate(415.914854 95.563636)scale(0.05 -0.05)\">\n",
       "     <use xlink:href=\"#DejaVuSans-51\"/>\n",
       "     <use x=\"63.623047\" xlink:href=\"#DejaVuSans-55\"/>\n",
       "    </g>\n",
       "   </g>\n",
       "  </g>\n",
       " </g>\n",
       " <defs>\n",
       "  <clipPath id=\"pfba3a03716\">\n",
       "   <rect height=\"144\" width=\"576\" x=\"7.2\" y=\"7.2\"/>\n",
       "  </clipPath>\n",
       " </defs>\n",
       "</svg>\n"
      ],
      "text/plain": [
       "<Figure size 576x144 with 1 Axes>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "h = c.to_graph(zh=True)\n",
    "zx.simplify.spider_simp(h)\n",
    "zx.hsimplify.to_hbox(h)\n",
    "m = zx.hrules.match_hpivot(h)\n",
    "print(m)\n",
    "display(zx.draw(h,labels=True))\n",
    "zx.hrules.hpivot(h,m)\n",
    "display(zx.draw(h,labels=True))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "\n",
       "        <div style=\"overflow:auto\" id=\"graph-output-1\"></div>\n",
       "        <script type=\"text/javascript\">\n",
       "        require.config({ baseUrl: \"../js\",\n",
       "                         paths: {d3: \"d3.v4.min\"} });\n",
       "        require(['pyzx'], function(pyzx) {\n",
       "            pyzx.showGraph('#graph-output-1',\n",
       "            JSON.parse('{\"nodes\": [{\"name\": \"0\", \"x\": 50, \"y\": 100, \"t\": 0, \"phase\": \"\"}, {\"name\": \"1\", \"x\": 50, \"y\": 150, \"t\": 0, \"phase\": \"\"}, {\"name\": \"2\", \"x\": 50, \"y\": 200, \"t\": 0, \"phase\": \"\"}, {\"name\": \"3\", \"x\": 100, \"y\": 200, \"t\": 1, \"phase\": \"\\u03c0/4\"}, {\"name\": \"4\", \"x\": 100, \"y\": 100, \"t\": 1, \"phase\": \"\"}, {\"name\": \"5\", \"x\": 100, \"y\": 150, \"t\": 1, \"phase\": \"\\u03c0/4\"}, {\"name\": \"25\", \"x\": 550, \"y\": 200, \"t\": 1, \"phase\": \"\\u03c0/2\"}, {\"name\": \"26\", \"x\": 600, \"y\": 100, \"t\": 0, \"phase\": \"\"}, {\"name\": \"27\", \"x\": 600, \"y\": 150, \"t\": 0, \"phase\": \"\"}, {\"name\": \"28\", \"x\": 600, \"y\": 200, \"t\": 0, \"phase\": \"\"}, {\"name\": \"40\", \"x\": 120.0, \"y\": 105.0, \"t\": 3, \"phase\": \"7\\u03c0/4\"}, {\"name\": \"41\", \"x\": 120.0, \"y\": 130.0, \"t\": 3, \"phase\": \"3\\u03c0/2\"}, {\"name\": \"54\", \"x\": 270.0, \"y\": 130.0, \"t\": 3, \"phase\": \"\"}], \"links\": [{\"source\": \"0\", \"target\": \"4\", \"t\": 1}, {\"source\": \"1\", \"target\": \"5\", \"t\": 1}, {\"source\": \"2\", \"target\": \"3\", \"t\": 2}, {\"source\": \"3\", \"target\": \"41\", \"t\": 1}, {\"source\": \"3\", \"target\": \"25\", \"t\": 2}, {\"source\": \"4\", \"target\": \"26\", \"t\": 1}, {\"source\": \"4\", \"target\": \"40\", \"t\": 1}, {\"source\": \"4\", \"target\": \"41\", \"t\": 1}, {\"source\": \"4\", \"target\": \"54\", \"t\": 1}, {\"source\": \"5\", \"target\": \"27\", \"t\": 1}, {\"source\": \"5\", \"target\": \"40\", \"t\": 1}, {\"source\": \"5\", \"target\": \"41\", \"t\": 1}, {\"source\": \"5\", \"target\": \"54\", \"t\": 1}, {\"source\": \"25\", \"target\": \"28\", \"t\": 1}, {\"source\": \"25\", \"target\": \"54\", \"t\": 1}]}'), 650, 300, 50, 10.0, true, true);\n",
       "        });\n",
       "        </script>\n",
       "        "
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "zx.hsimplify.hpivot_simp(h)\n",
    "zx.d3.draw(h, labels=True)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "ename": "AttributeError",
     "evalue": "module 'pyzx.circuit' has no attribute 'CCZ'",
     "output_type": "error",
     "traceback": [
      "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
      "\u001b[0;31mAttributeError\u001b[0m                            Traceback (most recent call last)",
      "\u001b[0;32m<ipython-input-5-108ddecd6180>\u001b[0m in \u001b[0;36m<module>\u001b[0;34m()\u001b[0m\n\u001b[1;32m     16\u001b[0m         \u001b[0;32melse\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     17\u001b[0m             \u001b[0mq\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0msorted\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mrandom\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0msample\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mrange\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mqs\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m3\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m---> 18\u001b[0;31m             \u001b[0mc\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0madd_gate\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mzx\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mcircuit\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mCCZ\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mq\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;36m0\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m,\u001b[0m\u001b[0mq\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m,\u001b[0m\u001b[0mq\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;36m2\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m     19\u001b[0m     \u001b[0mg\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mc\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mto_graph\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mzh\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;32mTrue\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     20\u001b[0m     \u001b[0mzx\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mhsimplify\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mhpivot_simp\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mquiet\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;32mTrue\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
      "\u001b[0;31mAttributeError\u001b[0m: module 'pyzx.circuit' has no attribute 'CCZ'"
     ]
    }
   ],
   "source": [
    "random.seed(1338)\n",
    "\n",
    "qs = 5\n",
    "d = 10\n",
    "p_t = 0.2\n",
    "p_h = 0.3\n",
    "\n",
    "for j in range(50):\n",
    "    c = zx.Circuit(qs)\n",
    "    for i in range(d):\n",
    "        p = random.random()\n",
    "        if p < p_h:\n",
    "            c.add_gate(zx.circuit.HAD(random.randint(0,qs-1)))\n",
    "        elif p < p_t + p_h:\n",
    "            c.add_gate(zx.circuit.T(random.randint(0,qs-1)))\n",
    "        else:\n",
    "            q = sorted(random.sample(range(qs), 3))\n",
    "            c.add_gate(zx.circuit.CCZ(q[0],q[1],q[2]))\n",
    "    g = c.to_graph(zh=True)\n",
    "    zx.hsimplify.hpivot_simp(g, quiet=True)\n",
    "    if zx.compare_tensors(g, c.to_graph(zh=True), preserve_scalar=False):\n",
    "        print(\"OK\", end=';')\n",
    "    else:\n",
    "        print(\"CIRCUIT DIDN'T WORK!!!!\")\n",
    "        print(c.to_qasm())"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "def truncate_fraction(f, N=3628800): # N=10!\n",
    "    if f.denominator < N: return f\n",
    "    return Fraction(round((f.numerator/f.denominator) * N), N)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Circuit                         qubits   gates    Z       H  nf\n",
      "tof_3_before                         5       9   10       2  True\n",
      "qcla_adder_10_before                36     113   72      85  True\n",
      "tof_10_before                       19      51   38       9  True\n",
      "gf2^4_mult_before                   12      51   24      20  True\n",
      "barenco_tof_4_before                 7      18   14       1  True\n",
      "qcla_com_7_before                   24      95   48    4117  True\n",
      "barenco_tof_10_before               19      66   38       1  True\n",
      "gf2^7_mult_before                   21     153   42      67  True\n",
      "gf2^9_mult_before                   27     251   54     101  True\n",
      "barenco_tof_3_before                 5      10   10       1  True\n",
      "mod5_4_before                        5      15   10       4  True\n",
      "QFT16_before                        16     586   32     114  True\n",
      "vbe_adder_3_before                  10      30   20      15  True\n",
      "gf2^5_mult_before                   15      79   30      31  True\n",
      "csum_mux_9_corrected_before         30      56   60      28  True\n",
      "adder_8_before                      24     216   48     101  True\n",
      "QFT8_before                          8     148   16      28  True\n",
      "mod_red_21_before                   11      74   22      51  True\n",
      "gf2^8_mult_before                   24     213   48     113  True\n",
      "rc_adder_6_before                   14      68   28     415  True\n",
      "gf2^10_mult_before                  30     309   60     127  True\n",
      "tof_5_before                         9      21   18       4  True\n",
      "Adder8_before                       23     105   46      44  True\n",
      "mod_mult_55_before                   9      35   18      13  True\n",
      "tof_4_before                         7      15   14       3  True\n",
      "csla_mux_3_original_before          15      50   30      35  True\n",
      "qcla_mod_7_before                   26     176   52    2057  True\n",
      "barenco_tof_5_before                 9      26   18       1  True\n",
      "gf2^6_mult_before                   18     113   36      47  True\n"
     ]
    }
   ],
   "source": [
    "d = os.path.join('..', 'circuits', 'Fast')\n",
    "print('Circuit'.ljust(30) + '  qubits' + '   gates' + '    Z' + '       H' + '  nf')\n",
    "for f in os.listdir(d):\n",
    "    f1 = os.path.join(d,f)\n",
    "    if f.find('QFTAdd8') != -1: continue # takes too long\n",
    "    if not os.path.isfile(f1) or f.find('before') == -1: continue\n",
    "    print(f.ljust(30), end='')\n",
    "    \n",
    "    c = zx.Circuit.load(f1)\n",
    "    for g in c1.gates:\n",
    "        if isinstance(g, zx.gates.ZPhase):\n",
    "            g.phase = truncate_fraction(g.phase)\n",
    "        \n",
    "    print(str(c.qubits).rjust(8), end='')\n",
    "    print(str(len(c.gates)).rjust(8), end='')\n",
    "    g = c.to_graph(zh=True)\n",
    "    zx.hsimplify.hpivot_simp(g, quiet=True)\n",
    "    g.normalise()\n",
    "    z = len([v for v in g.vertices() if g.type(v) == 1])\n",
    "    h = len([v for v in g.vertices() if g.type(v) == 3])\n",
    "    print(str(z).rjust(5), end='')\n",
    "    print(str(h).rjust(8), end='  ')\n",
    "    \n",
    "    print(g.qubit_count() * 2 == z)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Circuit(19 qubits, 51 gates)"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "c0 = zx.Circuit.load('../circuits/Fast/tof_10_before')\n",
    "c0"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "spider_simp: 26. 8. 7.  3 iterations\n",
      "id_simp: 9.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n"
     ]
    },
    {
     "data": {
      "text/html": [
       "\n",
       "        <div style=\"overflow:auto\" id=\"graph-output-5\"></div>\n",
       "        <script type=\"text/javascript\">\n",
       "        require.config({ baseUrl: \"../js\",\n",
       "                         paths: {d3: \"d3.v4.min\"} });\n",
       "        require(['pyzx'], function(pyzx) {\n",
       "            pyzx.showGraph('#graph-output-5',\n",
       "            JSON.parse('{\"nodes\": [{\"name\": \"0\", \"x\": 50, \"y\": 100, \"t\": 0, \"phase\": \"\"}, {\"name\": \"1\", \"x\": 50, \"y\": 150, \"t\": 0, \"phase\": \"\"}, {\"name\": \"2\", \"x\": 50, \"y\": 200, \"t\": 0, \"phase\": \"\"}, {\"name\": \"3\", \"x\": 50, \"y\": 250, \"t\": 0, \"phase\": \"\"}, {\"name\": \"4\", \"x\": 50, \"y\": 300, \"t\": 0, \"phase\": \"\"}, {\"name\": \"5\", \"x\": 50, \"y\": 350, \"t\": 0, \"phase\": \"\"}, {\"name\": \"6\", \"x\": 50, \"y\": 400, \"t\": 0, \"phase\": \"\"}, {\"name\": \"7\", \"x\": 50, \"y\": 450, \"t\": 0, \"phase\": \"\"}, {\"name\": \"8\", \"x\": 50, \"y\": 500, \"t\": 0, \"phase\": \"\"}, {\"name\": \"9\", \"x\": 50, \"y\": 550, \"t\": 0, \"phase\": \"\"}, {\"name\": \"10\", \"x\": 50, \"y\": 600, \"t\": 0, \"phase\": \"\"}, {\"name\": \"11\", \"x\": 50, \"y\": 650, \"t\": 0, \"phase\": \"\"}, {\"name\": \"12\", \"x\": 50, \"y\": 700, \"t\": 0, \"phase\": \"\"}, {\"name\": \"13\", \"x\": 50, \"y\": 750, \"t\": 0, \"phase\": \"\"}, {\"name\": \"14\", \"x\": 50, \"y\": 800, \"t\": 0, \"phase\": \"\"}, {\"name\": \"15\", \"x\": 50, \"y\": 850, \"t\": 0, \"phase\": \"\"}, {\"name\": \"16\", \"x\": 50, \"y\": 900, \"t\": 0, \"phase\": \"\"}, {\"name\": \"17\", \"x\": 50, \"y\": 950, \"t\": 0, \"phase\": \"\"}, {\"name\": \"18\", \"x\": 50, \"y\": 1000, \"t\": 0, \"phase\": \"\"}, {\"name\": \"19\", \"x\": 100, \"y\": 600, \"t\": 1, \"phase\": \"\"}, {\"name\": \"21\", \"x\": 100, \"y\": 100, \"t\": 1, \"phase\": \"\"}, {\"name\": \"22\", \"x\": 100, \"y\": 150, \"t\": 1, \"phase\": \"\"}, {\"name\": \"25\", \"x\": 100, \"y\": 650, \"t\": 1, \"phase\": \"\"}, {\"name\": \"27\", \"x\": 100, \"y\": 200, \"t\": 1, \"phase\": \"\"}, {\"name\": \"31\", \"x\": 100, \"y\": 700, \"t\": 1, \"phase\": \"\"}, {\"name\": \"33\", \"x\": 100, \"y\": 250, \"t\": 1, \"phase\": \"\"}, {\"name\": \"37\", \"x\": 100, \"y\": 750, \"t\": 1, \"phase\": \"\"}, {\"name\": \"39\", \"x\": 100, \"y\": 300, \"t\": 1, \"phase\": \"\"}, {\"name\": \"43\", \"x\": 100, \"y\": 800, \"t\": 1, \"phase\": \"\"}, {\"name\": \"45\", \"x\": 100, \"y\": 350, \"t\": 1, \"phase\": \"\"}, {\"name\": \"49\", \"x\": 100, \"y\": 850, \"t\": 1, \"phase\": \"\"}, {\"name\": \"51\", \"x\": 100, \"y\": 400, \"t\": 1, \"phase\": \"\"}, {\"name\": \"55\", \"x\": 100, \"y\": 900, \"t\": 1, \"phase\": \"\"}, {\"name\": \"57\", \"x\": 100, \"y\": 450, \"t\": 1, \"phase\": \"\"}, {\"name\": \"61\", \"x\": 100, \"y\": 950, \"t\": 1, \"phase\": \"\"}, {\"name\": \"63\", \"x\": 100, \"y\": 500, \"t\": 1, \"phase\": \"\"}, {\"name\": \"67\", \"x\": 100, \"y\": 1000, \"t\": 1, \"phase\": \"\"}, {\"name\": \"69\", \"x\": 100, \"y\": 550, \"t\": 1, \"phase\": \"\"}, {\"name\": \"121\", \"x\": 550, \"y\": 100, \"t\": 0, \"phase\": \"\"}, {\"name\": \"122\", \"x\": 550, \"y\": 150, \"t\": 0, \"phase\": \"\"}, {\"name\": \"123\", \"x\": 550, \"y\": 200, \"t\": 0, \"phase\": \"\"}, {\"name\": \"124\", \"x\": 550, \"y\": 250, \"t\": 0, \"phase\": \"\"}, {\"name\": \"125\", \"x\": 550, \"y\": 300, \"t\": 0, \"phase\": \"\"}, {\"name\": \"126\", \"x\": 550, \"y\": 350, \"t\": 0, \"phase\": \"\"}, {\"name\": \"127\", \"x\": 550, \"y\": 400, \"t\": 0, \"phase\": \"\"}, {\"name\": \"128\", \"x\": 550, \"y\": 450, \"t\": 0, \"phase\": \"\"}, {\"name\": \"129\", \"x\": 550, \"y\": 500, \"t\": 0, \"phase\": \"\"}, {\"name\": \"130\", \"x\": 550, \"y\": 550, \"t\": 0, \"phase\": \"\"}, {\"name\": \"131\", \"x\": 550, \"y\": 600, \"t\": 0, \"phase\": \"\"}, {\"name\": \"132\", \"x\": 550, \"y\": 650, \"t\": 0, \"phase\": \"\"}, {\"name\": \"133\", \"x\": 550, \"y\": 700, \"t\": 0, \"phase\": \"\"}, {\"name\": \"134\", \"x\": 550, \"y\": 750, \"t\": 0, \"phase\": \"\"}, {\"name\": \"135\", \"x\": 550, \"y\": 800, \"t\": 0, \"phase\": \"\"}, {\"name\": \"136\", \"x\": 550, \"y\": 850, \"t\": 0, \"phase\": \"\"}, {\"name\": \"137\", \"x\": 550, \"y\": 900, \"t\": 0, \"phase\": \"\"}, {\"name\": \"138\", \"x\": 550, \"y\": 950, \"t\": 0, \"phase\": \"\"}, {\"name\": \"139\", \"x\": 550, \"y\": 1000, \"t\": 0, \"phase\": \"\"}, {\"name\": \"159\", \"x\": 150, \"y\": 813.3333333333333, \"t\": 3, \"phase\": \"\"}, {\"name\": \"177\", \"x\": 250, \"y\": 717.5, \"t\": 3, \"phase\": \"\"}, {\"name\": \"191\", \"x\": 350, \"y\": 650.0, \"t\": 3, \"phase\": \"\"}, {\"name\": \"207\", \"x\": 450, \"y\": 596.6666666666666, \"t\": 3, \"phase\": \"\"}, {\"name\": \"217\", \"x\": 400, \"y\": 551.4285714285714, \"t\": 3, \"phase\": \"\"}, {\"name\": \"227\", \"x\": 350, \"y\": 511.25, \"t\": 3, \"phase\": \"\"}, {\"name\": \"237\", \"x\": 300, \"y\": 474.44444444444446, \"t\": 3, \"phase\": \"\"}, {\"name\": \"240\", \"x\": 200, \"y\": 366.3636363636364, \"t\": 3, \"phase\": \"\"}, {\"name\": \"241\", \"x\": 250, \"y\": 440.00000000000006, \"t\": 3, \"phase\": \"\"}, {\"name\": \"244\", \"x\": 500, \"y\": 100, \"t\": 1, \"phase\": \"\"}, {\"name\": \"245\", \"x\": 500, \"y\": 150, \"t\": 1, \"phase\": \"\"}, {\"name\": \"246\", \"x\": 500, \"y\": 200, \"t\": 1, \"phase\": \"\"}, {\"name\": \"247\", \"x\": 500, \"y\": 250, \"t\": 1, \"phase\": \"\"}, {\"name\": \"248\", \"x\": 500, \"y\": 300, \"t\": 1, \"phase\": \"\"}, {\"name\": \"249\", \"x\": 500, \"y\": 350, \"t\": 1, \"phase\": \"\"}, {\"name\": \"250\", \"x\": 500, \"y\": 400, \"t\": 1, \"phase\": \"\"}, {\"name\": \"251\", \"x\": 500, \"y\": 450, \"t\": 1, \"phase\": \"\"}, {\"name\": \"252\", \"x\": 500, \"y\": 500, \"t\": 1, \"phase\": \"\"}, {\"name\": \"253\", \"x\": 500, \"y\": 550, \"t\": 1, \"phase\": \"\"}, {\"name\": \"254\", \"x\": 500, \"y\": 600, \"t\": 1, \"phase\": \"\"}, {\"name\": \"255\", \"x\": 500, \"y\": 650, \"t\": 1, \"phase\": \"\"}, {\"name\": \"256\", \"x\": 500, \"y\": 700, \"t\": 1, \"phase\": \"\"}, {\"name\": \"257\", \"x\": 500, \"y\": 750, \"t\": 1, \"phase\": \"\"}, {\"name\": \"258\", \"x\": 500, \"y\": 800, \"t\": 1, \"phase\": \"\"}, {\"name\": \"259\", \"x\": 500, \"y\": 850, \"t\": 1, \"phase\": \"\"}, {\"name\": \"260\", \"x\": 500, \"y\": 900, \"t\": 1, \"phase\": \"\"}, {\"name\": \"261\", \"x\": 500, \"y\": 950, \"t\": 1, \"phase\": \"\"}, {\"name\": \"262\", \"x\": 500, \"y\": 1000, \"t\": 1, \"phase\": \"\"}], \"links\": [{\"source\": \"0\", \"target\": \"21\", \"t\": 1}, {\"source\": \"1\", \"target\": \"22\", \"t\": 1}, {\"source\": \"2\", \"target\": \"27\", \"t\": 1}, {\"source\": \"3\", \"target\": \"33\", \"t\": 1}, {\"source\": \"4\", \"target\": \"39\", \"t\": 1}, {\"source\": \"5\", \"target\": \"45\", \"t\": 1}, {\"source\": \"6\", \"target\": \"51\", \"t\": 1}, {\"source\": \"7\", \"target\": \"57\", \"t\": 1}, {\"source\": \"8\", \"target\": \"63\", \"t\": 1}, {\"source\": \"9\", \"target\": \"69\", \"t\": 1}, {\"source\": \"10\", \"target\": \"19\", \"t\": 1}, {\"source\": \"11\", \"target\": \"25\", \"t\": 1}, {\"source\": \"12\", \"target\": \"31\", \"t\": 1}, {\"source\": \"13\", \"target\": \"37\", \"t\": 1}, {\"source\": \"14\", \"target\": \"43\", \"t\": 1}, {\"source\": \"15\", \"target\": \"49\", \"t\": 1}, {\"source\": \"16\", \"target\": \"55\", \"t\": 1}, {\"source\": \"17\", \"target\": \"61\", \"t\": 1}, {\"source\": \"18\", \"target\": \"67\", \"t\": 2}, {\"source\": \"19\", \"target\": \"241\", \"t\": 1}, {\"source\": \"19\", \"target\": \"254\", \"t\": 2}, {\"source\": \"21\", \"target\": \"240\", \"t\": 1}, {\"source\": \"21\", \"target\": \"244\", \"t\": 2}, {\"source\": \"22\", \"target\": \"240\", \"t\": 1}, {\"source\": \"22\", \"target\": \"245\", \"t\": 2}, {\"source\": \"25\", \"target\": \"237\", \"t\": 1}, {\"source\": \"25\", \"target\": \"255\", \"t\": 2}, {\"source\": \"27\", \"target\": \"240\", \"t\": 1}, {\"source\": \"27\", \"target\": \"241\", \"t\": 1}, {\"source\": \"27\", \"target\": \"246\", \"t\": 2}, {\"source\": \"31\", \"target\": \"227\", \"t\": 1}, {\"source\": \"31\", \"target\": \"256\", \"t\": 2}, {\"source\": \"33\", \"target\": \"237\", \"t\": 1}, {\"source\": \"33\", \"target\": \"240\", \"t\": 1}, {\"source\": \"33\", \"target\": \"241\", \"t\": 1}, {\"source\": \"33\", \"target\": \"247\", \"t\": 2}, {\"source\": \"37\", \"target\": \"217\", \"t\": 1}, {\"source\": \"37\", \"target\": \"257\", \"t\": 2}, {\"source\": \"39\", \"target\": \"227\", \"t\": 1}, {\"source\": \"39\", \"target\": \"237\", \"t\": 1}, {\"source\": \"39\", \"target\": \"240\", \"t\": 1}, {\"source\": \"39\", \"target\": \"241\", \"t\": 1}, {\"source\": \"39\", \"target\": \"248\", \"t\": 2}, {\"source\": \"43\", \"target\": \"207\", \"t\": 1}, {\"source\": \"43\", \"target\": \"258\", \"t\": 2}, {\"source\": \"45\", \"target\": \"217\", \"t\": 1}, {\"source\": \"45\", \"target\": \"227\", \"t\": 1}, {\"source\": \"45\", \"target\": \"237\", \"t\": 1}, {\"source\": \"45\", \"target\": \"240\", \"t\": 1}, {\"source\": \"45\", \"target\": \"241\", \"t\": 1}, {\"source\": \"45\", \"target\": \"249\", \"t\": 2}, {\"source\": \"49\", \"target\": \"191\", \"t\": 1}, {\"source\": \"49\", \"target\": \"259\", \"t\": 2}, {\"source\": \"51\", \"target\": \"207\", \"t\": 1}, {\"source\": \"51\", \"target\": \"217\", \"t\": 1}, {\"source\": \"51\", \"target\": \"227\", \"t\": 1}, {\"source\": \"51\", \"target\": \"237\", \"t\": 1}, {\"source\": \"51\", \"target\": \"240\", \"t\": 1}, {\"source\": \"51\", \"target\": \"241\", \"t\": 1}, {\"source\": \"51\", \"target\": \"250\", \"t\": 2}, {\"source\": \"55\", \"target\": \"177\", \"t\": 1}, {\"source\": \"55\", \"target\": \"260\", \"t\": 2}, {\"source\": \"57\", \"target\": \"191\", \"t\": 1}, {\"source\": \"57\", \"target\": \"207\", \"t\": 1}, {\"source\": \"57\", \"target\": \"217\", \"t\": 1}, {\"source\": \"57\", \"target\": \"227\", \"t\": 1}, {\"source\": \"57\", \"target\": \"237\", \"t\": 1}, {\"source\": \"57\", \"target\": \"240\", \"t\": 1}, {\"source\": \"57\", \"target\": \"241\", \"t\": 1}, {\"source\": \"57\", \"target\": \"251\", \"t\": 2}, {\"source\": \"61\", \"target\": \"159\", \"t\": 1}, {\"source\": \"61\", \"target\": \"261\", \"t\": 2}, {\"source\": \"63\", \"target\": \"177\", \"t\": 1}, {\"source\": \"63\", \"target\": \"191\", \"t\": 1}, {\"source\": \"63\", \"target\": \"207\", \"t\": 1}, {\"source\": \"63\", \"target\": \"217\", \"t\": 1}, {\"source\": \"63\", \"target\": \"227\", \"t\": 1}, {\"source\": \"63\", \"target\": \"237\", \"t\": 1}, {\"source\": \"63\", \"target\": \"240\", \"t\": 1}, {\"source\": \"63\", \"target\": \"241\", \"t\": 1}, {\"source\": \"63\", \"target\": \"252\", \"t\": 2}, {\"source\": \"67\", \"target\": \"159\", \"t\": 1}, {\"source\": \"67\", \"target\": \"177\", \"t\": 1}, {\"source\": \"67\", \"target\": \"191\", \"t\": 1}, {\"source\": \"67\", \"target\": \"207\", \"t\": 1}, {\"source\": \"67\", \"target\": \"217\", \"t\": 1}, {\"source\": \"67\", \"target\": \"227\", \"t\": 1}, {\"source\": \"67\", \"target\": \"237\", \"t\": 1}, {\"source\": \"67\", \"target\": \"240\", \"t\": 1}, {\"source\": \"67\", \"target\": \"241\", \"t\": 1}, {\"source\": \"67\", \"target\": \"262\", \"t\": 2}, {\"source\": \"69\", \"target\": \"159\", \"t\": 1}, {\"source\": \"69\", \"target\": \"177\", \"t\": 1}, {\"source\": \"69\", \"target\": \"191\", \"t\": 1}, {\"source\": \"69\", \"target\": \"207\", \"t\": 1}, {\"source\": \"69\", \"target\": \"217\", \"t\": 1}, {\"source\": \"69\", \"target\": \"227\", \"t\": 1}, {\"source\": \"69\", \"target\": \"237\", \"t\": 1}, {\"source\": \"69\", \"target\": \"240\", \"t\": 1}, {\"source\": \"69\", \"target\": \"241\", \"t\": 1}, {\"source\": \"69\", \"target\": \"253\", \"t\": 2}, {\"source\": \"121\", \"target\": \"244\", \"t\": 2}, {\"source\": \"122\", \"target\": \"245\", \"t\": 2}, {\"source\": \"123\", \"target\": \"246\", \"t\": 2}, {\"source\": \"124\", \"target\": \"247\", \"t\": 2}, {\"source\": \"125\", \"target\": \"248\", \"t\": 2}, {\"source\": \"126\", \"target\": \"249\", \"t\": 2}, {\"source\": \"127\", \"target\": \"250\", \"t\": 2}, {\"source\": \"128\", \"target\": \"251\", \"t\": 2}, {\"source\": \"129\", \"target\": \"252\", \"t\": 2}, {\"source\": \"130\", \"target\": \"253\", \"t\": 2}, {\"source\": \"131\", \"target\": \"254\", \"t\": 2}, {\"source\": \"132\", \"target\": \"255\", \"t\": 2}, {\"source\": \"133\", \"target\": \"256\", \"t\": 2}, {\"source\": \"134\", \"target\": \"257\", \"t\": 2}, {\"source\": \"135\", \"target\": \"258\", \"t\": 2}, {\"source\": \"136\", \"target\": \"259\", \"t\": 2}, {\"source\": \"137\", \"target\": \"260\", \"t\": 2}, {\"source\": \"138\", \"target\": \"261\", \"t\": 2}, {\"source\": \"139\", \"target\": \"262\", \"t\": 1}]}'), 600, 1100, 50, 10.0, false, false);\n",
       "        });\n",
       "        </script>\n",
       "        "
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "g = c0.to_graph(zh=True)\n",
    "zx.hsimplify.hpivot_simp(g)\n",
    "g.normalise()\n",
    "zx.d3.draw(g, auto_hbox=False)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Circuit(16 qubits, 476 gates)"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "c1 = zx.Circuit.load('../circuits/Fast/QFTAdd8_before')\n",
    "for g in c1.gates:\n",
    "    if isinstance(g, zx.gates.ZPhase):\n",
    "        g.phase = truncate_fraction(g.phase)\n",
    "c1"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "spider_simp: 81. 60. 41. 31. 20. 15. 8. 4. 1.  9 iterations\n",
      "id_simp: 9.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "spider_simp: 3. 3. 1.  3 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 2.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 3.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "id_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 37.  1 iterations\n",
      "spider_simp: 1.  1 iterations\n",
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 113.  1 iterations\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "hpivot: 1.  1 iterations\n",
      "par_hbox: 464.  1 iterations\n"
     ]
    },
    {
     "ename": "KeyboardInterrupt",
     "evalue": "",
     "output_type": "error",
     "traceback": [
      "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
      "\u001b[0;31mKeyboardInterrupt\u001b[0m                         Traceback (most recent call last)",
      "\u001b[0;32m<ipython-input-9-f6f1b423b9cf>\u001b[0m in \u001b[0;36m<module>\u001b[0;34m()\u001b[0m\n\u001b[1;32m      1\u001b[0m \u001b[0mg\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mc1\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mto_graph\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mzh\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;32mTrue\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m----> 2\u001b[0;31m \u001b[0mzx\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mhsimplify\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mhpivot_simp\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mquiet\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;32mFalse\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m      3\u001b[0m \u001b[0mg\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mnormalise\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m      4\u001b[0m \u001b[0mprint\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m\"Normal form: \"\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mend\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;34m''\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m      5\u001b[0m \u001b[0mprint\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mqubit_count\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;34m*\u001b[0m \u001b[0;36m2\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0mlen\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0mv\u001b[0m \u001b[0;32mfor\u001b[0m \u001b[0mv\u001b[0m \u001b[0;32min\u001b[0m \u001b[0mg\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mvertices\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;32mif\u001b[0m \u001b[0mg\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mtype\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mv\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0;36m1\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
      "\u001b[0;32m/home/aleks/git/pyzx/pyzx/hsimplify.py\u001b[0m in \u001b[0;36mhpivot_simp\u001b[0;34m(g, quiet)\u001b[0m\n\u001b[1;32m     98\u001b[0m \u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     99\u001b[0m         \u001b[0mto_hbox\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m--> 100\u001b[0;31m         \u001b[0mi\u001b[0m \u001b[0;34m+=\u001b[0m \u001b[0mhsimp\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;34m'hpivot'\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mmatch_hpivot\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mhpivot\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0miterations\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mquiet\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0mquiet\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m    101\u001b[0m         \u001b[0;31m#i += hsimp(g, 'zero_hbox', match_zero_hbox, zero_hbox, quiet=quiet)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m    102\u001b[0m         \u001b[0mi\u001b[0m \u001b[0;34m+=\u001b[0m \u001b[0mhsimp\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;34m'par_hbox'\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mmatch_par_hbox\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mpar_hbox\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mquiet\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0mquiet\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
      "\u001b[0;32m/home/aleks/git/pyzx/pyzx/hsimplify.py\u001b[0m in \u001b[0;36mhsimp\u001b[0;34m(g, name, match, rule, iterations, quiet)\u001b[0m\n\u001b[1;32m     83\u001b[0m         \u001b[0mms\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mmatch\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     84\u001b[0m         \u001b[0;32mif\u001b[0m \u001b[0mlen\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mms\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;34m>\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m---> 85\u001b[0;31m             \u001b[0mrule\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mg\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mms\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m     86\u001b[0m             \u001b[0mi\u001b[0m \u001b[0;34m+=\u001b[0m \u001b[0;36m1\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     87\u001b[0m             \u001b[0;32mif\u001b[0m \u001b[0mi\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0;36m1\u001b[0m \u001b[0;32mand\u001b[0m \u001b[0;32mnot\u001b[0m \u001b[0mquiet\u001b[0m\u001b[0;34m:\u001b[0m \u001b[0mprint\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m\"{}: \"\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mformat\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mname\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m,\u001b[0m\u001b[0mend\u001b[0m\u001b[0;34m=\u001b[0m\u001b[0;34m''\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
      "\u001b[0;32m/home/aleks/git/pyzx/pyzx/hrules.py\u001b[0m in \u001b[0;36mhpivot\u001b[0;34m(g, m)\u001b[0m\n\u001b[1;32m    174\u001b[0m                 \u001b[0;31m# else:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m    175\u001b[0m                 \u001b[0mh0\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mg\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0madd_vertex\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;36m3\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m--> 176\u001b[0;31m                 \u001b[0mg\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mset_phase\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mh0\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mf_phase\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m    177\u001b[0m                 \u001b[0mq\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m    178\u001b[0m                 \u001b[0mr\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
      "\u001b[0;32m/home/aleks/git/pyzx/pyzx/graph/graph_s.py\u001b[0m in \u001b[0;36mset_phase\u001b[0;34m(self, vertex, phase)\u001b[0m\n\u001b[1;32m    183\u001b[0m                 \u001b[0;32mreturn\u001b[0m \u001b[0mself\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0m_phase\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m    184\u001b[0m         \u001b[0;32mdef\u001b[0m \u001b[0mset_phase\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mself\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mvertex\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mphase\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m--> 185\u001b[0;31m                 \u001b[0mself\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0m_phase\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0mvertex\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mFraction\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mphase\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;34m%\u001b[0m \u001b[0;36m2\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m    186\u001b[0m         \u001b[0;32mdef\u001b[0m \u001b[0madd_to_phase\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mself\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mvertex\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mphase\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m    187\u001b[0m                 \u001b[0mself\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0m_phase\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0mvertex\u001b[0m\u001b[0;34m]\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0;34m(\u001b[0m\u001b[0mself\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0m_phase\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mget\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mvertex\u001b[0m\u001b[0;34m,\u001b[0m\u001b[0mFraction\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;34m+\u001b[0m \u001b[0mphase\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;34m%\u001b[0m \u001b[0;36m2\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
      "\u001b[0;31mKeyboardInterrupt\u001b[0m: "
     ]
    }
   ],
   "source": [
    "g = c1.to_graph(zh=True)\n",
    "zx.hsimplify.hpivot_simp(g, quiet=False)\n",
    "g.normalise()\n",
    "print(\"Normal form: \", end='')\n",
    "print(g.qubit_count() * 2 == len([v for v in g.vertices() if g.type(v) == 1]))\n",
    "zx.d3.draw(g)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.5"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}