From 6a85265468fae61262efa9a5cebce07f2f05e568 Mon Sep 17 00:00:00 2001
From: "breandan.considine" <breandan.considine@gmail.com>
Date: Tue, 25 Aug 2020 06:28:14 -0400
Subject: [PATCH] update manifests and notebooks again

---
 kaliningraph.json                  |   14 +-
 notebooks/Hello Kaliningraph.ipynb |  723 +++++++++---------
 notebooks/Program Graphs.ipynb     | 1089 ++++++++++++++--------------
 3 files changed, 909 insertions(+), 917 deletions(-)

diff --git a/kaliningraph.json b/kaliningraph.json
index cd0a216b..f75a72d0 100644
--- a/kaliningraph.json
+++ b/kaliningraph.json
@@ -1,6 +1,6 @@
 {
   "properties": {
-    "kaliningraphVersion": "0.0.7",
+    "kaliningraphVersion": "0.0.8",
     "graphvizVersion": "0.16.0",
     "jgraphtVersion": "1.4.0",
     "ejmlVersion": "0.39",
@@ -27,13 +27,15 @@
   ],
   "imports": [
     "edu.mcgill.kaliningraph.*",
-    "edu.mcgill.kaliningraph.circuits.*"
+    "edu.mcgill.kaliningraph.circuits.*",
+    "org.ejml.data.*",
+    "org.ejml.kotlin.*"
   ],
   "renderers": {
-    "edu.mcgill.kaliningraph.LabeledGraph": "HTML(($it as edu.mcgill.kaliningraph.Graph).html())",
-    "edu.mcgill.kaliningraph.circuits.Gate": "HTML(($it as edu.mcgill.kaliningraph.Graph).html())",
-    "edu.mcgill.kaliningraph.circuits.ComputationGraph": "HTML(($it as edu.mcgill.kaliningraph.Graph).html())",
-    "edu.mcgill.kaliningraph.circuits.NFunction": "HTML(($it as edu.mcgill.kaliningraph.Graph).html())",
+    "edu.mcgill.kaliningraph.LabeledGraph": "HTML(($it as edu.mcgill.kaliningraph.Graph<*, *, *>).html())",
+    "edu.mcgill.kaliningraph.circuits.Gate": "HTML(($it as edu.mcgill.kaliningraph.circuits.Gate).graph.html())",
+    "edu.mcgill.kaliningraph.circuits.NFunction": "HTML(($it as edu.mcgill.kaliningraph.circuits.NFunction).graph.html())",
+    "edu.mcgill.kaliningraph.circuits.ComputationGraph": "HTML(($it as edu.mcgill.kaliningraph.Graph<*, *, *>).html())",
     "org.ejml.data.DMatrixSparseCSC": "HTML(\"<img src=\\\"${($it as org.ejml.data.DMatrixSparseCSC).adjToMat()}\\\"/>\")"
   }
 }
\ No newline at end of file
diff --git a/notebooks/Hello Kaliningraph.ipynb b/notebooks/Hello Kaliningraph.ipynb
index 23f10946..69b0c8de 100644
--- a/notebooks/Hello Kaliningraph.ipynb	
+++ b/notebooks/Hello Kaliningraph.ipynb	
@@ -13,199 +13,177 @@
    "cell_type": "code",
    "execution_count": 2,
    "metadata": {},
-   "outputs": [],
-   "source": [
-    "val graph = LabeledGraphBuilder { a - b - c - a }"
-   ]
-  },
-  {
-   "cell_type": "code",
-   "execution_count": 3,
-   "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"89px\" height=\"191px\"\n",
-       " viewBox=\"0.00 0.00 89.00 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 187)\">\n",
+       "<svg width=\"242px\" height=\"69px\"\n",
+       " viewBox=\"0.00 0.00 242.00 69.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 65)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-187 85,-187 85,4 -4,4\"/>\n",
        "<!-- a -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M39,-146.5C39,-146.5 69,-146.5 69,-146.5 75,-146.5 81,-152.5 81,-158.5 81,-158.5 81,-170.5 81,-170.5 81,-176.5 75,-182.5 69,-182.5 69,-182.5 39,-182.5 39,-182.5 33,-182.5 27,-176.5 27,-170.5 27,-170.5 27,-158.5 27,-158.5 27,-152.5 33,-146.5 39,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"53.56\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- b -->\n",
+       "<!-- c -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-73.5C12,-73.5 42,-73.5 42,-73.5 48,-73.5 54,-79.5 54,-85.5 54,-85.5 54,-97.5 54,-97.5 54,-103.5 48,-109.5 42,-109.5 42,-109.5 12,-109.5 12,-109.5 6,-109.5 0,-103.5 0,-97.5 0,-97.5 0,-85.5 0,-85.5 0,-79.5 6,-73.5 12,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-24.5C102,-24.5 132,-24.5 132,-24.5 138,-24.5 144,-30.5 144,-36.5 144,-36.5 144,-48.5 144,-48.5 144,-54.5 138,-60.5 132,-60.5 132,-60.5 102,-60.5 102,-60.5 96,-60.5 90,-54.5 90,-48.5 90,-48.5 90,-36.5 90,-36.5 90,-30.5 96,-24.5 102,-24.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-36.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- a&#45;&gt;b -->\n",
+       "<!-- a&#45;&gt;c -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>a&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M47.46,-146.31C44.35,-138.12 40.55,-128.12 37.07,-118.98\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"40.3,-117.63 33.48,-109.53 33.76,-120.12 40.3,-117.63\"/>\n",
+       "<title>a&#45;&gt;c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.4,-25.7C62.48,-27.9 71.51,-30.37 80.1,-32.71\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"79.35,-36.13 89.92,-35.39 81.19,-29.38 79.35,-36.13\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
+       "<!-- b -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M39,-0.5C39,-0.5 69,-0.5 69,-0.5 75,-0.5 81,-6.5 81,-12.5 81,-12.5 81,-24.5 81,-24.5 81,-30.5 75,-36.5 69,-36.5 69,-36.5 39,-36.5 39,-36.5 33,-36.5 27,-30.5 27,-24.5 27,-24.5 27,-12.5 27,-12.5 27,-6.5 33,-0.5 39,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"54\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-0.5C192,-0.5 222,-0.5 222,-0.5 228,-0.5 234,-6.5 234,-12.5 234,-12.5 234,-24.5 234,-24.5 234,-30.5 228,-36.5 222,-36.5 222,-36.5 192,-36.5 192,-36.5 186,-36.5 180,-30.5 180,-24.5 180,-24.5 180,-12.5 180,-12.5 180,-6.5 186,-0.5 192,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- b&#45;&gt;c -->\n",
+       "<!-- c&#45;&gt;b -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>b&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M33.54,-73.31C36.65,-65.12 40.45,-55.12 43.93,-45.98\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"47.24,-47.12 47.52,-36.53 40.7,-44.63 47.24,-47.12\"/>\n",
+       "<title>c&#45;&gt;b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M144.4,-35.3C152.48,-33.1 161.51,-30.63 170.1,-28.29\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"171.19,-31.62 179.92,-25.61 169.35,-24.87 171.19,-31.62\"/>\n",
        "</g>\n",
-       "<!-- c&#45;&gt;a -->\n",
+       "<!-- b&#45;&gt;a -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>c&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M57.65,-36.76C59.68,-47.19 61.98,-60.8 63,-73 64.37,-89.39 64.37,-93.61 63,-110 62.28,-118.58 60.93,-127.85 59.49,-136.23\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"56.01,-135.78 57.65,-146.24 62.9,-137.04 56.01,-135.78\"/>\n",
+       "<title>b&#45;&gt;a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M179.76,-16.95C168.73,-16.37 155.74,-15.78 144,-15.5 120.01,-14.92 113.99,-14.92 90,-15.5 81.74,-15.7 72.87,-16.05 64.5,-16.44\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"64.05,-12.96 54.24,-16.95 64.4,-19.95 64.05,-12.96\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 3,
+     "execution_count": 2,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "graph"
+    "val graph = LabeledGraphBuilder { a - b - c - a }; graph"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 4,
+   "execution_count": 3,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"170px\" height=\"337px\"\n",
-       " viewBox=\"0.00 0.00 170.45 337.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 333)\">\n",
+       "<svg width=\"512px\" height=\"143px\"\n",
+       " viewBox=\"0.00 0.00 512.00 143.29\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 139.29)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-333 166.45,-333 166.45,4 -4,4\"/>\n",
-       "<!-- 4 -->\n",
+       "<!-- 3 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>4</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M96,-219.5C96,-219.5 126,-219.5 126,-219.5 132,-219.5 138,-225.5 138,-231.5 138,-231.5 138,-243.5 138,-243.5 138,-249.5 132,-255.5 126,-255.5 126,-255.5 96,-255.5 96,-255.5 90,-255.5 84,-249.5 84,-243.5 84,-243.5 84,-231.5 84,-231.5 84,-225.5 90,-219.5 96,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"110.56\" y=\"-231.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">4</text>\n",
+       "<title>3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-13.79C192,-13.79 222,-13.79 222,-13.79 228,-13.79 234,-19.79 234,-25.79 234,-25.79 234,-37.79 234,-37.79 234,-43.79 228,-49.79 222,-49.79 222,-49.79 192,-49.79 192,-49.79 186,-49.79 180,-43.79 180,-37.79 180,-37.79 180,-25.79 180,-25.79 180,-19.79 186,-13.79 192,-13.79\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-25.79\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">3</text>\n",
        "</g>\n",
-       "<!-- a -->\n",
+       "<!-- b -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-146.5C12,-146.5 42,-146.5 42,-146.5 48,-146.5 54,-152.5 54,-158.5 54,-158.5 54,-170.5 54,-170.5 54,-176.5 48,-182.5 42,-182.5 42,-182.5 12,-182.5 12,-182.5 6,-182.5 0,-176.5 0,-170.5 0,-170.5 0,-158.5 0,-158.5 0,-152.5 6,-146.5 12,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-60.79C282,-60.79 312,-60.79 312,-60.79 318,-60.79 324,-66.79 324,-72.79 324,-72.79 324,-84.79 324,-84.79 324,-90.79 318,-96.79 312,-96.79 312,-96.79 282,-96.79 282,-96.79 276,-96.79 270,-90.79 270,-84.79 270,-84.79 270,-72.79 270,-72.79 270,-66.79 276,-60.79 282,-60.79\"/>\n",
+       "<text text-anchor=\"middle\" x=\"297\" y=\"-72.79\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- 4&#45;&gt;a -->\n",
+       "<!-- 3&#45;&gt;b -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>4&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M90.67,-219.31C79.94,-210.24 66.61,-198.98 54.92,-189.1\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"57.04,-186.31 47.15,-182.53 52.52,-191.66 57.04,-186.31\"/>\n",
+       "<title>3&#45;&gt;b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.4,-45.89C242.74,-50.35 252.1,-55.34 260.94,-60.07\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.45,-63.24 269.92,-64.86 262.75,-57.06 259.45,-63.24\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node3\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M67,-73.5C67,-73.5 97,-73.5 97,-73.5 103,-73.5 109,-79.5 109,-85.5 109,-85.5 109,-97.5 109,-97.5 109,-103.5 103,-109.5 97,-109.5 97,-109.5 67,-109.5 67,-109.5 61,-109.5 55,-103.5 55,-97.5 55,-97.5 55,-85.5 55,-85.5 55,-79.5 61,-73.5 67,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"81.56\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<!-- c -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M462,-51.79C462,-51.79 492,-51.79 492,-51.79 498,-51.79 504,-57.79 504,-63.79 504,-63.79 504,-75.79 504,-75.79 504,-81.79 498,-87.79 492,-87.79 492,-87.79 462,-87.79 462,-87.79 456,-87.79 450,-81.79 450,-75.79 450,-75.79 450,-63.79 450,-63.79 450,-57.79 456,-51.79 462,-51.79\"/>\n",
+       "<text text-anchor=\"middle\" x=\"477\" y=\"-63.79\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 4&#45;&gt;b -->\n",
+       "<!-- 3&#45;&gt;c -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>4&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M108.64,-219.4C106.01,-201.14 101.41,-171.39 96,-146 94.15,-137.32 91.81,-127.94 89.58,-119.49\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"92.93,-118.49 86.94,-109.75 86.18,-120.32 92.93,-118.49\"/>\n",
+       "<title>3&#45;&gt;c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.3,-30.04C251.84,-29.31 275.39,-29.14 296,-31.79\"/>\n",
        "</g>\n",
-       "<!-- a&#45;&gt;b -->\n",
-       "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>a&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M34.44,-146.31C40.28,-137.59 48.41,-126.84 56.36,-117.25\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"59.12,-119.41 62.95,-109.53 53.79,-114.87 59.12,-119.41\"/>\n",
+       "<!-- a -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M372,-98.79C372,-98.79 402,-98.79 402,-98.79 408,-98.79 414,-104.79 414,-110.79 414,-110.79 414,-122.79 414,-122.79 414,-128.79 408,-134.79 402,-134.79 402,-134.79 372,-134.79 372,-134.79 366,-134.79 360,-128.79 360,-122.79 360,-122.79 360,-110.79 360,-110.79 360,-104.79 366,-98.79 372,-98.79\"/>\n",
+       "<text text-anchor=\"middle\" x=\"387\" y=\"-110.79\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
        "<!-- b&#45;&gt;a -->\n",
-       "<g id=\"edge5\" class=\"edge\">\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
        "<title>b&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M74.67,-109.53C68.85,-118.23 60.74,-128.97 52.78,-138.58\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"50.01,-136.43 46.19,-146.31 55.34,-140.97 50.01,-136.43\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M324.4,-90.19C332.66,-93.75 341.9,-97.75 350.66,-101.53\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"349.35,-104.78 359.92,-105.53 352.13,-98.35 349.35,-104.78\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M67,-0.5C67,-0.5 97,-0.5 97,-0.5 103,-0.5 109,-6.5 109,-12.5 109,-12.5 109,-24.5 109,-24.5 109,-30.5 103,-36.5 97,-36.5 97,-36.5 67,-36.5 67,-36.5 61,-36.5 55,-30.5 55,-24.5 55,-24.5 55,-12.5 55,-12.5 55,-6.5 61,-0.5 67,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"82\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
-       "</g>\n",
-       "<!-- b&#45;&gt;c -->\n",
+       "<!-- a&#45;&gt;c -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>b&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M76.12,-73.31C75.28,-65.29 75.05,-55.55 75.42,-46.57\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"78.92,-46.75 76.14,-36.53 71.94,-46.25 78.92,-46.75\"/>\n",
-       "</g>\n",
-       "<!-- c&#45;&gt;a -->\n",
-       "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>c&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M67.82,-36.82C60.29,-46.84 51.49,-60.01 46,-73 37.44,-93.28 32.6,-117.79 29.95,-136.19\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"26.46,-135.86 28.63,-146.23 33.4,-136.77 26.46,-135.86\"/>\n",
+       "<title>a&#45;&gt;c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M414.4,-102.69C422.74,-98.23 432.1,-93.24 440.94,-88.51\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"442.75,-91.52 449.92,-83.72 439.45,-85.34 442.75,-91.52\"/>\n",
        "</g>\n",
        "<!-- c&#45;&gt;b -->\n",
-       "<g id=\"edge7\" class=\"edge\">\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
        "<title>c&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M87.86,-36.53C88.71,-44.53 88.95,-54.27 88.59,-63.25\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"85.09,-63.09 87.88,-73.31 92.07,-63.58 85.09,-63.09\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M449.92,-71.11C419.41,-72.65 368.72,-75.21 334.36,-76.95\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"334.07,-73.46 324.26,-77.46 334.43,-80.45 334.07,-73.46\"/>\n",
        "</g>\n",
-       "<!-- 3 -->\n",
+       "<!-- 4 -->\n",
        "<g id=\"node5\" class=\"node\">\n",
-       "<title>3</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M24,-219.5C24,-219.5 54,-219.5 54,-219.5 60,-219.5 66,-225.5 66,-231.5 66,-231.5 66,-243.5 66,-243.5 66,-249.5 60,-255.5 54,-255.5 54,-255.5 24,-255.5 24,-255.5 18,-255.5 12,-249.5 12,-243.5 12,-243.5 12,-231.5 12,-231.5 12,-225.5 18,-219.5 24,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"38.56\" y=\"-231.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">3</text>\n",
+       "<title>4</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-13.79C102,-13.79 132,-13.79 132,-13.79 138,-13.79 144,-19.79 144,-25.79 144,-25.79 144,-37.79 144,-37.79 144,-43.79 138,-49.79 132,-49.79 132,-49.79 102,-49.79 102,-49.79 96,-49.79 90,-43.79 90,-37.79 90,-37.79 90,-25.79 90,-25.79 90,-19.79 96,-13.79 102,-13.79\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-25.79\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">4</text>\n",
        "</g>\n",
-       "<!-- 3&#45;&gt;a -->\n",
-       "<g id=\"edge9\" class=\"edge\">\n",
-       "<title>3&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M36.1,-219.31C34.74,-211.29 33.09,-201.55 31.58,-192.57\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"35,-191.81 29.88,-182.53 28.09,-192.97 35,-191.81\"/>\n",
+       "<!-- 4&#45;&gt;3 -->\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>4&#45;&gt;3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M144.4,-31.79C152.39,-31.79 161.31,-31.79 169.82,-31.79\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"169.92,-35.29 179.92,-31.79 169.92,-28.29 169.92,-35.29\"/>\n",
        "</g>\n",
-       "<!-- 3&#45;&gt;b -->\n",
-       "<g id=\"edge8\" class=\"edge\">\n",
-       "<title>3&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M47.98,-219.04C52.97,-208.77 58.97,-195.39 63,-183 69.76,-162.2 74.71,-137.9 77.86,-119.72\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"81.32,-120.24 79.5,-109.8 74.41,-119.09 81.32,-120.24\"/>\n",
+       "<!-- 4&#45;&gt;c -->\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>4&#45;&gt;c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M298,-31.79C347.78,-38.18 404.3,-51.27 440.04,-60.28\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"439.44,-63.74 449.99,-62.82 441.17,-56.96 439.44,-63.74\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M144.01,-17.08C154.79,-11.78 167.65,-6.45 180,-3.79 203.46,1.26 210.54,1.26 234,-3.79 263.56,-10.15 266.5,-25.16 296,-31.79\"/>\n",
        "</g>\n",
        "<!-- 5 -->\n",
        "<g id=\"node6\" class=\"node\">\n",
        "<title>5</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M24,-292.5C24,-292.5 54,-292.5 54,-292.5 60,-292.5 66,-298.5 66,-304.5 66,-304.5 66,-316.5 66,-316.5 66,-322.5 60,-328.5 54,-328.5 54,-328.5 24,-328.5 24,-328.5 18,-328.5 12,-322.5 12,-316.5 12,-316.5 12,-304.5 12,-304.5 12,-298.5 18,-292.5 24,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"38.56\" y=\"-304.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">5</text>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-36.79C12,-36.79 42,-36.79 42,-36.79 48,-36.79 54,-42.79 54,-48.79 54,-48.79 54,-60.79 54,-60.79 54,-66.79 48,-72.79 42,-72.79 42,-72.79 12,-72.79 12,-72.79 6,-72.79 0,-66.79 0,-60.79 0,-60.79 0,-48.79 0,-48.79 0,-42.79 6,-36.79 12,-36.79\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-48.79\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">5</text>\n",
        "</g>\n",
-       "<!-- 5&#45;&gt;a -->\n",
+       "<!-- 5&#45;&gt;3 -->\n",
        "<g id=\"edge10\" class=\"edge\">\n",
-       "<title>5&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M23.39,-292.09C15.62,-282.24 7.05,-269.28 3,-256 -3.52,-234.62 3.89,-210.09 12.15,-191.97\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"15.47,-193.14 16.74,-182.62 9.19,-190.05 15.47,-193.14\"/>\n",
+       "<title>5&#45;&gt;3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M118,-78.79C139.83,-78.85 161.49,-67.46 177.86,-55.88\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"180,-58.65 185.92,-49.86 175.81,-53.04 180,-58.65\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.07,-65.77C71.32,-72.06 94.62,-78.73 116,-78.79\"/>\n",
        "</g>\n",
-       "<!-- 5&#45;&gt;c -->\n",
-       "<g id=\"edge12\" class=\"edge\">\n",
-       "<title>5&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M66.21,-304.45C92.04,-298.06 129.46,-284.27 147,-256 189.63,-187.31 133.29,-90.44 101.32,-44.96\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"103.97,-42.65 95.29,-36.57 98.28,-46.73 103.97,-42.65\"/>\n",
+       "<!-- 5&#45;&gt;b -->\n",
+       "<g id=\"edge9\" class=\"edge\">\n",
+       "<title>5&#45;&gt;b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M118,-78.79C167.08,-78.92 223.77,-78.89 259.74,-78.84\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.77,-82.34 269.76,-78.83 259.76,-75.34 259.77,-82.34\"/>\n",
        "</g>\n",
-       "<!-- 5&#45;&gt;3 -->\n",
-       "<g id=\"edge11\" class=\"edge\">\n",
-       "<title>5&#45;&gt;3</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M39,-292.31C39,-284.29 39,-274.55 39,-265.57\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"42.5,-265.53 39,-255.53 35.5,-265.53 42.5,-265.53\"/>\n",
+       "<!-- 5&#45;&gt;4 -->\n",
+       "<g id=\"edge8\" class=\"edge\">\n",
+       "<title>5&#45;&gt;4</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.4,-47.89C62.48,-45.78 71.51,-43.42 80.1,-41.17\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"81.13,-44.52 89.92,-38.61 79.36,-37.75 81.13,-44.52\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 4,
+     "execution_count": 3,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -216,16 +194,16 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 5,
+   "execution_count": 4,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "{a=1107296225, b=1107296225, c=1107296225}"
+       "{a=187, b=187, c=187}"
       ]
      },
-     "execution_count": 5,
+     "execution_count": 4,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -236,7 +214,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 6,
+   "execution_count": 5,
    "metadata": {},
    "outputs": [
     {
@@ -245,7 +223,7 @@
        "<img src=\"data:image/jpg;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAA8CAIAAAC1nk4lAAAA4ElEQVR4XtXPQQ0AMAzDwPIn3QHwx9rHqnUAktmZb1mc4mVxipfFKV4Wp3hZnOJlcYqXxSleFqd4WZziZXGKl8UpXhaneFmc4mVxipfFKV4Wp3hZnOJlcYqXxSneyXjDy+IUL4tTvCxO8bI4xcviFC+LU7wsTvGyOMXL4hQvi1O8LE7xsjjFy+IUL4tTvCxO8bI4xcviFC+LU7wsTvFOxhteFqd4WZziZXGKl8UpXhaneFmc4mVxipfFKV4Wp3hZnOJlcYqXxSleFqd4WZziZXGKl8UpXhaneFmc4mVxivcAVsirjRYpRhMAAAAASUVORK5CYII=\"/>"
       ]
      },
-     "execution_count": 6,
+     "execution_count": 5,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -256,7 +234,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 7,
+   "execution_count": 6,
    "metadata": {
     "scrolled": true
    },
@@ -264,10 +242,10 @@
     {
      "data": {
       "text/html": [
-       "<img src=\"data:image/jpg;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAA8CAIAAAC1nk4lAAAA4UlEQVR4XtXPIQ4AIAzFUO5/afDUlEw0NM/M/a01aA9kcYqXxSleFqd4WZziZXGKl8UpXhaneFmc4mVxipfFKV4Wp3hZnOJlcYqXxSleFqd4WZziZXGKl8UpXhaneF/GN7wsTvGyOMXL4hQvi1O8LE7xsjjFy+IUL4tTvCxO8bI4xcviFC+LU7wsTvGyOMXL4hQvi1O8LE7xsjjFy+IU776fZHGKl8UpXhaneFmc4mVxipfFKV4Wp3hZnOJlcYqXxSleFqd4WZziZXGKl8UpXhaneFmc4mVxipfFKV4Wp3hVB1bIq41FLMSyAAAAAElFTkSuQmCC\"/>"
+       "<img src=\"data:image/jpg;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAA8CAIAAAC1nk4lAAAA4UlEQVR4XtXPIQ4AIAzFUO5/afDUlEw0NM/M/a0VtQeyOMXL4hQvi1O8LE7xsjjFy+IUL4tTvCxO8bI4xcviFC+LU7wsTvGyOMXL4hQvi1O8LE7xsjjFy+IUL4tTvPt+ksUpXhaneFmc4mVxipfFKV4Wp3hZnOJlcYqXxSleFqd4WZziZXGKl8UpXhaneFmc4mVxipfFKV4Wp3hZnOJ9Gd/wsjjFy+IUL4tTvCxO8bI4xcviFC+LU7wsTvGyOMXL4hQvi1O8LE7xsjjFy+IUL4tTvCxO8bI4xcviFC+LU7xJB1bIq41IVJglAAAAAElFTkSuQmCC\"/>"
       ]
      },
-     "execution_count": 7,
+     "execution_count": 6,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -278,52 +256,51 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 8,
+   "execution_count": 7,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"134px\" height=\"118px\"\n",
-       " viewBox=\"0.00 0.00 134.00 118.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 114)\">\n",
+       "<svg width=\"152px\" height=\"100px\"\n",
+       " viewBox=\"0.00 0.00 152.00 100.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 96)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-114 130,-114 130,4 -4,4\"/>\n",
-       "<!-- aebf1 -->\n",
+       "<!-- a -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>aebf1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"62.84\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-55.5C12,-55.5 42,-55.5 42,-55.5 48,-55.5 54,-61.5 54,-67.5 54,-67.5 54,-79.5 54,-79.5 54,-85.5 48,-91.5 42,-91.5 42,-91.5 12,-91.5 12,-91.5 6,-91.5 0,-85.5 0,-79.5 0,-79.5 0,-67.5 0,-67.5 0,-61.5 6,-55.5 12,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- a -->\n",
+       "<!-- 8acf6 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
+       "<title>8acf6</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-27.5C102,-27.5 132,-27.5 132,-27.5 138,-27.5 144,-33.5 144,-39.5 144,-39.5 144,-51.5 144,-51.5 144,-57.5 138,-63.5 132,-63.5 132,-63.5 102,-63.5 102,-63.5 96,-63.5 90,-57.5 90,-51.5 90,-51.5 90,-39.5 90,-39.5 90,-33.5 96,-27.5 102,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- aebf1&#45;&gt;a -->\n",
+       "<!-- a&#45;&gt;8acf6 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>aebf1&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.29,-73.31C50.08,-65.03 44.95,-54.91 40.28,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"43.28,-43.87 35.63,-36.53 37.04,-47.03 43.28,-43.87\"/>\n",
+       "<title>a&#45;&gt;8acf6</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-65.1C62.57,-62.5 71.7,-59.59 80.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.45,-60.17 89.92,-53.8 79.33,-53.5 81.45,-60.17\"/>\n",
        "</g>\n",
        "<!-- b -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-0.5C84,-0.5 114,-0.5 114,-0.5 120,-0.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-0.5 84,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- aebf1&#45;&gt;b -->\n",
+       "<!-- b&#45;&gt;8acf6 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>aebf1&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M71.71,-73.31C75.92,-65.03 81.05,-54.91 85.72,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"88.96,-47.03 90.37,-36.53 82.72,-43.87 88.96,-47.03\"/>\n",
+       "<title>b&#45;&gt;8acf6</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.6C62.48,-29.08 71.51,-31.85 80.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-37.91 89.92,-37.5 81.39,-31.22 79.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 8,
+     "execution_count": 7,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -334,7 +311,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 9,
+   "execution_count": 8,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -344,76 +321,75 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 10,
+   "execution_count": 9,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"170px\" height=\"191px\"\n",
-       " viewBox=\"0.00 0.00 170.00 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 187)\">\n",
+       "<svg width=\"242px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 242.00 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-187 166,-187 166,4 -4,4\"/>\n",
-       "<!-- 64a59 -->\n",
+       "<!-- a -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>64a59</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"62.84\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-82.5C12,-82.5 42,-82.5 42,-82.5 48,-82.5 54,-88.5 54,-94.5 54,-94.5 54,-106.5 54,-106.5 54,-112.5 48,-118.5 42,-118.5 42,-118.5 12,-118.5 12,-118.5 6,-118.5 0,-112.5 0,-106.5 0,-106.5 0,-94.5 0,-94.5 0,-88.5 6,-82.5 12,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- a -->\n",
+       "<!-- b6c45 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
+       "<title>b6c45</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-55.5C102,-55.5 132,-55.5 132,-55.5 138,-55.5 144,-61.5 144,-67.5 144,-67.5 144,-79.5 144,-79.5 144,-85.5 138,-91.5 132,-91.5 132,-91.5 102,-91.5 102,-91.5 96,-91.5 90,-85.5 90,-79.5 90,-79.5 90,-67.5 90,-67.5 90,-61.5 96,-55.5 102,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 64a59&#45;&gt;a -->\n",
+       "<!-- a&#45;&gt;b6c45 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>64a59&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.29,-73.31C50.08,-65.03 44.95,-54.91 40.28,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"43.28,-43.87 35.63,-36.53 37.04,-47.03 43.28,-43.87\"/>\n",
+       "<title>a&#45;&gt;b6c45</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-92.4C62.48,-89.92 71.51,-87.15 80.1,-84.51\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.39,-87.78 89.92,-81.5 79.33,-81.09 81.39,-87.78\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
+       "<!-- b33b8 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-0.5C84,-0.5 114,-0.5 114,-0.5 120,-0.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-0.5 84,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<title>b33b8</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-27.5C192,-27.5 222,-27.5 222,-27.5 228,-27.5 234,-33.5 234,-39.5 234,-39.5 234,-51.5 234,-51.5 234,-57.5 228,-63.5 222,-63.5 222,-63.5 192,-63.5 192,-63.5 186,-63.5 180,-57.5 180,-51.5 180,-51.5 180,-39.5 180,-39.5 180,-33.5 186,-27.5 192,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 64a59&#45;&gt;b -->\n",
+       "<!-- b6c45&#45;&gt;b33b8 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>64a59&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M71.71,-73.31C75.92,-65.03 81.05,-54.91 85.72,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"88.96,-47.03 90.37,-36.53 82.72,-43.87 88.96,-47.03\"/>\n",
+       "<title>b6c45&#45;&gt;b33b8</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-65.1C152.57,-62.5 161.7,-59.59 170.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"171.45,-60.17 179.92,-53.8 169.33,-53.5 171.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- f1c41 -->\n",
+       "<!-- b -->\n",
        "<g id=\"node4\" class=\"node\">\n",
-       "<title>f1c41</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.84\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-27.5C12,-27.5 42,-27.5 42,-27.5 48,-27.5 54,-33.5 54,-39.5 54,-39.5 54,-51.5 54,-51.5 54,-57.5 48,-63.5 42,-63.5 42,-63.5 12,-63.5 12,-63.5 6,-63.5 0,-57.5 0,-51.5 0,-51.5 0,-39.5 0,-39.5 0,-33.5 6,-27.5 12,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- f1c41&#45;&gt;64a59 -->\n",
+       "<!-- b&#45;&gt;b6c45 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>f1c41&#45;&gt;64a59</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M90.29,-146.31C86.08,-138.03 80.95,-127.91 76.28,-118.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"79.28,-116.87 71.63,-109.53 73.04,-120.03 79.28,-116.87\"/>\n",
+       "<title>b&#45;&gt;b6c45</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-53.9C62.57,-56.5 71.7,-59.41 80.38,-62.17\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-65.5 89.92,-65.2 81.45,-58.83 79.33,-65.5\"/>\n",
        "</g>\n",
        "<!-- c -->\n",
        "<g id=\"node5\" class=\"node\">\n",
        "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-0.5C102,-0.5 132,-0.5 132,-0.5 138,-0.5 144,-6.5 144,-12.5 144,-12.5 144,-24.5 144,-24.5 144,-30.5 138,-36.5 132,-36.5 132,-36.5 102,-36.5 102,-36.5 96,-36.5 90,-30.5 90,-24.5 90,-24.5 90,-12.5 90,-12.5 90,-6.5 96,-0.5 102,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- f1c41&#45;&gt;c -->\n",
+       "<!-- c&#45;&gt;b33b8 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>f1c41&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M107.71,-146.31C111.92,-138.03 117.05,-127.91 121.72,-118.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"124.96,-120.03 126.37,-109.53 118.72,-116.87 124.96,-120.03\"/>\n",
+       "<title>c&#45;&gt;b33b8</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-26.6C152.48,-29.08 161.51,-31.85 170.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"169.33,-37.91 179.92,-37.5 171.39,-31.22 169.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 10,
+     "execution_count": 9,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -424,76 +400,75 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 11,
+   "execution_count": 10,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"170px\" height=\"191px\"\n",
-       " viewBox=\"0.00 0.00 170.00 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 187)\">\n",
+       "<svg width=\"242px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 242.00 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-187 166,-187 166,4 -4,4\"/>\n",
-       "<!-- e67f4 -->\n",
+       "<!-- b -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>e67f4</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"62.84\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-82.5C12,-82.5 42,-82.5 42,-82.5 48,-82.5 54,-88.5 54,-94.5 54,-94.5 54,-106.5 54,-106.5 54,-112.5 48,-118.5 42,-118.5 42,-118.5 12,-118.5 12,-118.5 6,-118.5 0,-112.5 0,-106.5 0,-106.5 0,-94.5 0,-94.5 0,-88.5 6,-82.5 12,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- b -->\n",
+       "<!-- e94e5 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<title>e94e5</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-55.5C102,-55.5 132,-55.5 132,-55.5 138,-55.5 144,-61.5 144,-67.5 144,-67.5 144,-79.5 144,-79.5 144,-85.5 138,-91.5 132,-91.5 132,-91.5 102,-91.5 102,-91.5 96,-91.5 90,-85.5 90,-79.5 90,-79.5 90,-67.5 90,-67.5 90,-61.5 96,-55.5 102,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- e67f4&#45;&gt;b -->\n",
+       "<!-- b&#45;&gt;e94e5 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>e67f4&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.29,-73.31C50.08,-65.03 44.95,-54.91 40.28,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"43.28,-43.87 35.63,-36.53 37.04,-47.03 43.28,-43.87\"/>\n",
+       "<title>b&#45;&gt;e94e5</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-92.4C62.48,-89.92 71.51,-87.15 80.1,-84.51\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.39,-87.78 89.92,-81.5 79.33,-81.09 81.39,-87.78\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
+       "<!-- 176b8 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-0.5C84,-0.5 114,-0.5 114,-0.5 120,-0.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-0.5 84,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
+       "<title>176b8</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-27.5C192,-27.5 222,-27.5 222,-27.5 228,-27.5 234,-33.5 234,-39.5 234,-39.5 234,-51.5 234,-51.5 234,-57.5 228,-63.5 222,-63.5 222,-63.5 192,-63.5 192,-63.5 186,-63.5 180,-57.5 180,-51.5 180,-51.5 180,-39.5 180,-39.5 180,-33.5 186,-27.5 192,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- e67f4&#45;&gt;a -->\n",
+       "<!-- e94e5&#45;&gt;176b8 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>e67f4&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M71.71,-73.31C75.92,-65.03 81.05,-54.91 85.72,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"88.96,-47.03 90.37,-36.53 82.72,-43.87 88.96,-47.03\"/>\n",
+       "<title>e94e5&#45;&gt;176b8</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-65.1C152.57,-62.5 161.7,-59.59 170.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"171.45,-60.17 179.92,-53.8 169.33,-53.5 171.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- 3d8c7 -->\n",
+       "<!-- a -->\n",
        "<g id=\"node4\" class=\"node\">\n",
-       "<title>3d8c7</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.84\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-27.5C12,-27.5 42,-27.5 42,-27.5 48,-27.5 54,-33.5 54,-39.5 54,-39.5 54,-51.5 54,-51.5 54,-57.5 48,-63.5 42,-63.5 42,-63.5 12,-63.5 12,-63.5 6,-63.5 0,-57.5 0,-51.5 0,-51.5 0,-39.5 0,-39.5 0,-33.5 6,-27.5 12,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 3d8c7&#45;&gt;e67f4 -->\n",
+       "<!-- a&#45;&gt;e94e5 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>3d8c7&#45;&gt;e67f4</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M90.29,-146.31C86.08,-138.03 80.95,-127.91 76.28,-118.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"79.28,-116.87 71.63,-109.53 73.04,-120.03 79.28,-116.87\"/>\n",
+       "<title>a&#45;&gt;e94e5</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-53.9C62.57,-56.5 71.7,-59.41 80.38,-62.17\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-65.5 89.92,-65.2 81.45,-58.83 79.33,-65.5\"/>\n",
        "</g>\n",
        "<!-- c -->\n",
        "<g id=\"node5\" class=\"node\">\n",
        "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-0.5C102,-0.5 132,-0.5 132,-0.5 138,-0.5 144,-6.5 144,-12.5 144,-12.5 144,-24.5 144,-24.5 144,-30.5 138,-36.5 132,-36.5 132,-36.5 102,-36.5 102,-36.5 96,-36.5 90,-30.5 90,-24.5 90,-24.5 90,-12.5 90,-12.5 90,-6.5 96,-0.5 102,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 3d8c7&#45;&gt;c -->\n",
+       "<!-- c&#45;&gt;176b8 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>3d8c7&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M107.71,-146.31C111.92,-138.03 117.05,-127.91 121.72,-118.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"124.96,-120.03 126.37,-109.53 118.72,-116.87 124.96,-120.03\"/>\n",
+       "<title>c&#45;&gt;176b8</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-26.6C152.48,-29.08 161.51,-31.85 170.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"169.33,-37.91 179.92,-37.5 171.39,-31.22 169.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 11,
+     "execution_count": 10,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -504,7 +479,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 12,
+   "execution_count": 11,
    "metadata": {},
    "outputs": [
     {
@@ -513,7 +488,7 @@
        "false"
       ]
      },
-     "execution_count": 12,
+     "execution_count": 11,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -524,7 +499,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 13,
+   "execution_count": 12,
    "metadata": {},
    "outputs": [
     {
@@ -533,7 +508,7 @@
        "true"
       ]
      },
-     "execution_count": 13,
+     "execution_count": 12,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -544,100 +519,99 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 14,
+   "execution_count": 13,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"206px\" height=\"264px\"\n",
-       " viewBox=\"0.00 0.00 206.00 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 260)\">\n",
+       "<svg width=\"332px\" height=\"154px\"\n",
+       " viewBox=\"0.00 0.00 332.00 154.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 150)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-260 202,-260 202,4 -4,4\"/>\n",
-       "<!-- 3d8c7 -->\n",
+       "<!-- e94e5 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>3d8c7</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.84\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>e94e5</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-27.5C102,-27.5 132,-27.5 132,-27.5 138,-27.5 144,-33.5 144,-39.5 144,-39.5 144,-51.5 144,-51.5 144,-57.5 138,-63.5 132,-63.5 132,-63.5 102,-63.5 102,-63.5 96,-63.5 90,-57.5 90,-51.5 90,-51.5 90,-39.5 90,-39.5 90,-33.5 96,-27.5 102,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- e67f4 -->\n",
+       "<!-- 176b8 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>e67f4</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"62.84\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
+       "<title>176b8</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-54.5C192,-54.5 222,-54.5 222,-54.5 228,-54.5 234,-60.5 234,-66.5 234,-66.5 234,-78.5 234,-78.5 234,-84.5 228,-90.5 222,-90.5 222,-90.5 192,-90.5 192,-90.5 186,-90.5 180,-84.5 180,-78.5 180,-78.5 180,-66.5 180,-66.5 180,-60.5 186,-54.5 192,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 3d8c7&#45;&gt;e67f4 -->\n",
+       "<!-- e94e5&#45;&gt;176b8 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>3d8c7&#45;&gt;e67f4</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M90.29,-146.31C86.08,-138.03 80.95,-127.91 76.28,-118.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"79.28,-116.87 71.63,-109.53 73.04,-120.03 79.28,-116.87\"/>\n",
+       "<title>e94e5&#45;&gt;176b8</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-53.6C152.48,-56.08 161.51,-58.85 170.1,-61.49\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"169.33,-64.91 179.92,-64.5 171.39,-58.22 169.33,-64.91\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
+       "<!-- 3f65b -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>3f65b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-81.5C282,-81.5 312,-81.5 312,-81.5 318,-81.5 324,-87.5 324,-93.5 324,-93.5 324,-105.5 324,-105.5 324,-111.5 318,-117.5 312,-117.5 312,-117.5 282,-117.5 282,-117.5 276,-117.5 270,-111.5 270,-105.5 270,-105.5 270,-93.5 270,-93.5 270,-87.5 276,-81.5 282,-81.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"297\" y=\"-93.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">*</text>\n",
        "</g>\n",
-       "<!-- 3d8c7&#45;&gt;c -->\n",
+       "<!-- 176b8&#45;&gt;3f65b -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>3d8c7&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M107.71,-146.31C111.92,-138.03 117.05,-127.91 121.72,-118.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"124.96,-120.03 126.37,-109.53 118.72,-116.87 124.96,-120.03\"/>\n",
+       "<title>176b8&#45;&gt;3f65b</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M234.4,-80.6C242.48,-83.08 251.51,-85.85 260.1,-88.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"259.33,-91.91 269.92,-91.5 261.39,-85.22 259.33,-91.91\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node3\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<!-- c -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-82.5C102,-82.5 132,-82.5 132,-82.5 138,-82.5 144,-88.5 144,-94.5 144,-94.5 144,-106.5 144,-106.5 144,-112.5 138,-118.5 132,-118.5 132,-118.5 102,-118.5 102,-118.5 96,-118.5 90,-112.5 90,-106.5 90,-106.5 90,-94.5 90,-94.5 90,-88.5 96,-82.5 102,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- e67f4&#45;&gt;b -->\n",
+       "<!-- c&#45;&gt;176b8 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>e67f4&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.29,-73.31C50.08,-65.03 44.95,-54.91 40.28,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"43.28,-43.87 35.63,-36.53 37.04,-47.03 43.28,-43.87\"/>\n",
+       "<title>c&#45;&gt;176b8</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-92.1C152.57,-89.5 161.7,-86.59 170.38,-83.83\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"171.45,-87.17 179.92,-80.8 169.33,-80.5 171.45,-87.17\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-0.5C84,-0.5 114,-0.5 114,-0.5 120,-0.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-0.5 84,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
+       "<!-- 2 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-109.5C192,-109.5 222,-109.5 222,-109.5 228,-109.5 234,-115.5 234,-121.5 234,-121.5 234,-133.5 234,-133.5 234,-139.5 228,-145.5 222,-145.5 222,-145.5 192,-145.5 192,-145.5 186,-145.5 180,-139.5 180,-133.5 180,-133.5 180,-121.5 180,-121.5 180,-115.5 186,-109.5 192,-109.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-121.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">2</text>\n",
        "</g>\n",
-       "<!-- e67f4&#45;&gt;a -->\n",
+       "<!-- 2&#45;&gt;3f65b -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>e67f4&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M71.71,-73.31C75.92,-65.03 81.05,-54.91 85.72,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"88.96,-47.03 90.37,-36.53 82.72,-43.87 88.96,-47.03\"/>\n",
+       "<title>2&#45;&gt;3f65b</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M234.4,-119.1C242.57,-116.5 251.7,-113.59 260.38,-110.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"261.45,-114.17 269.92,-107.8 259.33,-107.5 261.45,-114.17\"/>\n",
        "</g>\n",
-       "<!-- 07799 -->\n",
+       "<!-- b -->\n",
        "<g id=\"node6\" class=\"node\">\n",
-       "<title>07799</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M120,-219.5C120,-219.5 150,-219.5 150,-219.5 156,-219.5 162,-225.5 162,-231.5 162,-231.5 162,-243.5 162,-243.5 162,-249.5 156,-255.5 150,-255.5 150,-255.5 120,-255.5 120,-255.5 114,-255.5 108,-249.5 108,-243.5 108,-243.5 108,-231.5 108,-231.5 108,-225.5 114,-219.5 120,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"134.89\" y=\"-231.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">*</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-55.5C12,-55.5 42,-55.5 42,-55.5 48,-55.5 54,-61.5 54,-67.5 54,-67.5 54,-79.5 54,-79.5 54,-85.5 48,-91.5 42,-91.5 42,-91.5 12,-91.5 12,-91.5 6,-91.5 0,-85.5 0,-79.5 0,-79.5 0,-67.5 0,-67.5 0,-61.5 6,-55.5 12,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- 07799&#45;&gt;3d8c7 -->\n",
-       "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>07799&#45;&gt;3d8c7</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M126.29,-219.31C122.08,-211.03 116.95,-200.91 112.28,-191.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"115.28,-189.87 107.63,-182.53 109.04,-193.03 115.28,-189.87\"/>\n",
+       "<!-- b&#45;&gt;e94e5 -->\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
+       "<title>b&#45;&gt;e94e5</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-65.1C62.57,-62.5 71.7,-59.59 80.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.45,-60.17 89.92,-53.8 79.33,-53.5 81.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- 2 -->\n",
+       "<!-- a -->\n",
        "<g id=\"node7\" class=\"node\">\n",
-       "<title>2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M156,-146.5C156,-146.5 186,-146.5 186,-146.5 192,-146.5 198,-152.5 198,-158.5 198,-158.5 198,-170.5 198,-170.5 198,-176.5 192,-182.5 186,-182.5 186,-182.5 156,-182.5 156,-182.5 150,-182.5 144,-176.5 144,-170.5 144,-170.5 144,-158.5 144,-158.5 144,-152.5 150,-146.5 156,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"170.56\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">2</text>\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 07799&#45;&gt;2 -->\n",
-       "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>07799&#45;&gt;2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M143.71,-219.31C147.92,-211.03 153.05,-200.91 157.72,-191.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"160.96,-193.03 162.37,-182.53 154.72,-189.87 160.96,-193.03\"/>\n",
+       "<!-- a&#45;&gt;e94e5 -->\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>a&#45;&gt;e94e5</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.6C62.48,-29.08 71.51,-31.85 80.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-37.91 89.92,-37.5 81.39,-31.22 79.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 14,
+     "execution_count": 13,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -648,7 +622,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 15,
+   "execution_count": 14,
    "metadata": {},
    "outputs": [
     {
@@ -657,7 +631,7 @@
        "false"
       ]
      },
-     "execution_count": 15,
+     "execution_count": 14,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -668,7 +642,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 16,
+   "execution_count": 15,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -677,112 +651,111 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 17,
+   "execution_count": 16,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"251px\" height=\"337px\"\n",
-       " viewBox=\"0.00 0.00 251.00 337.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 333)\">\n",
+       "<svg width=\"438px\" height=\"182px\"\n",
+       " viewBox=\"0.00 0.00 438.49 182.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 178)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-333 247,-333 247,4 -4,4\"/>\n",
-       "<!-- 2d398 -->\n",
+       "<!-- b4bcb -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>2d398</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M39.19,-219.5C39.19,-219.5 86.81,-219.5 86.81,-219.5 92.81,-219.5 98.81,-225.5 98.81,-231.5 98.81,-231.5 98.81,-243.5 98.81,-243.5 98.81,-249.5 92.81,-255.5 86.81,-255.5 86.81,-255.5 39.19,-255.5 39.19,-255.5 33.19,-255.5 27.19,-249.5 27.19,-243.5 27.19,-243.5 27.19,-231.5 27.19,-231.5 27.19,-225.5 33.19,-219.5 39.19,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-231.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">2d398</text>\n",
+       "<title>b4bcb</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-27.5C192,-27.5 222,-27.5 222,-27.5 228,-27.5 234,-33.5 234,-39.5 234,-39.5 234,-51.5 234,-51.5 234,-57.5 228,-63.5 222,-63.5 222,-63.5 192,-63.5 192,-63.5 186,-63.5 180,-57.5 180,-51.5 180,-51.5 180,-39.5 180,-39.5 180,-33.5 186,-27.5 192,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">=</text>\n",
        "</g>\n",
-       "<!-- 66281 -->\n",
+       "<!-- c8248 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>66281</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M48,-146.5C48,-146.5 78,-146.5 78,-146.5 84,-146.5 90,-152.5 90,-158.5 90,-158.5 90,-170.5 90,-170.5 90,-176.5 84,-182.5 78,-182.5 78,-182.5 48,-182.5 48,-182.5 42,-182.5 36,-176.5 36,-170.5 36,-170.5 36,-158.5 36,-158.5 36,-152.5 42,-146.5 48,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"62.84\" y=\"-158.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">=</text>\n",
+       "<title>c8248</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-27.5C282,-27.5 328.49,-27.5 328.49,-27.5 334.49,-27.5 340.49,-33.5 340.49,-39.5 340.49,-39.5 340.49,-51.5 340.49,-51.5 340.49,-57.5 334.49,-63.5 328.49,-63.5 328.49,-63.5 282,-63.5 282,-63.5 276,-63.5 270,-57.5 270,-51.5 270,-51.5 270,-39.5 270,-39.5 270,-33.5 276,-27.5 282,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.25\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c8248</text>\n",
        "</g>\n",
-       "<!-- 2d398&#45;&gt;66281 -->\n",
+       "<!-- b4bcb&#45;&gt;c8248 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>2d398&#45;&gt;66281</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M63,-219.31C63,-211.29 63,-201.55 63,-192.57\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"66.5,-192.53 63,-182.53 59.5,-192.53 66.5,-192.53\"/>\n",
+       "<title>b4bcb&#45;&gt;c8248</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.05,-45.5C241.97,-45.5 250.91,-45.5 259.69,-45.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.86,-49 269.86,-45.5 259.86,-42 259.86,-49\"/>\n",
        "</g>\n",
-       "<!-- 71fef -->\n",
+       "<!-- 768c0 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>71fef</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"62.89\" y=\"-85.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">*</text>\n",
+       "<title>768c0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M388.49,-82.5C388.49,-82.5 418.49,-82.5 418.49,-82.5 424.49,-82.5 430.49,-88.5 430.49,-94.5 430.49,-94.5 430.49,-106.5 430.49,-106.5 430.49,-112.5 424.49,-118.5 418.49,-118.5 418.49,-118.5 388.49,-118.5 388.49,-118.5 382.49,-118.5 376.49,-112.5 376.49,-106.5 376.49,-106.5 376.49,-94.5 376.49,-94.5 376.49,-88.5 382.49,-82.5 388.49,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"403.49\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">λ</text>\n",
        "</g>\n",
-       "<!-- 66281&#45;&gt;71fef -->\n",
+       "<!-- c8248&#45;&gt;768c0 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>66281&#45;&gt;71fef</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M63,-146.31C63,-138.29 63,-128.55 63,-119.57\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"66.5,-119.53 63,-109.53 59.5,-119.53 66.5,-119.53\"/>\n",
+       "<title>c8248&#45;&gt;768c0</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M337.76,-63.51C347.33,-68.98 357.9,-75.02 367.67,-80.6\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"365.96,-83.65 376.38,-85.58 369.43,-77.57 365.96,-83.65\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
+       "<!-- 1 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.56\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
+       "<title>1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M290.25,-137.5C290.25,-137.5 320.25,-137.5 320.25,-137.5 326.25,-137.5 332.25,-143.5 332.25,-149.5 332.25,-149.5 332.25,-161.5 332.25,-161.5 332.25,-167.5 326.25,-173.5 320.25,-173.5 320.25,-173.5 290.25,-173.5 290.25,-173.5 284.25,-173.5 278.25,-167.5 278.25,-161.5 278.25,-161.5 278.25,-149.5 278.25,-149.5 278.25,-143.5 284.25,-137.5 290.25,-137.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.25\" y=\"-149.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">1</text>\n",
        "</g>\n",
-       "<!-- 71fef&#45;&gt;b -->\n",
+       "<!-- 1&#45;&gt;768c0 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>71fef&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M54.29,-73.31C50.08,-65.03 44.95,-54.91 40.28,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"43.28,-43.87 35.63,-36.53 37.04,-47.03 43.28,-43.87\"/>\n",
+       "<title>1&#45;&gt;768c0</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M332.29,-140.62C343.1,-134.44 355.8,-127.18 367.41,-120.55\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"369.48,-123.4 376.43,-115.4 366.01,-117.32 369.48,-123.4\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
+       "<!-- 2 -->\n",
        "<g id=\"node5\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M84,-0.5C84,-0.5 114,-0.5 114,-0.5 120,-0.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-0.5 84,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
+       "<title>2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M290.25,-82.5C290.25,-82.5 320.25,-82.5 320.25,-82.5 326.25,-82.5 332.25,-88.5 332.25,-94.5 332.25,-94.5 332.25,-106.5 332.25,-106.5 332.25,-112.5 326.25,-118.5 320.25,-118.5 320.25,-118.5 290.25,-118.5 290.25,-118.5 284.25,-118.5 278.25,-112.5 278.25,-106.5 278.25,-106.5 278.25,-94.5 278.25,-94.5 278.25,-88.5 284.25,-82.5 290.25,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.25\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">2</text>\n",
        "</g>\n",
-       "<!-- 71fef&#45;&gt;c -->\n",
+       "<!-- 2&#45;&gt;768c0 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>71fef&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M71.71,-73.31C75.92,-65.03 81.05,-54.91 85.72,-45.69\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"88.96,-47.03 90.37,-36.53 82.72,-43.87 88.96,-47.03\"/>\n",
+       "<title>2&#45;&gt;768c0</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M332.29,-100.5C342.78,-100.5 355.05,-100.5 366.37,-100.5\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"366.43,-104 376.43,-100.5 366.43,-97 366.43,-104\"/>\n",
        "</g>\n",
-       "<!-- 3dcdb -->\n",
+       "<!-- 6a496 -->\n",
        "<g id=\"node6\" class=\"node\">\n",
-       "<title>3dcdb</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M129,-292.5C129,-292.5 159,-292.5 159,-292.5 165,-292.5 171,-298.5 171,-304.5 171,-304.5 171,-316.5 171,-316.5 171,-322.5 165,-328.5 159,-328.5 159,-328.5 129,-328.5 129,-328.5 123,-328.5 117,-322.5 117,-316.5 117,-316.5 117,-304.5 117,-304.5 117,-298.5 123,-292.5 129,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"143.56\" y=\"-304.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">λ</text>\n",
+       "<title>6a496</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-27.5C102,-27.5 132,-27.5 132,-27.5 138,-27.5 144,-33.5 144,-39.5 144,-39.5 144,-51.5 144,-51.5 144,-57.5 138,-63.5 132,-63.5 132,-63.5 102,-63.5 102,-63.5 96,-63.5 90,-57.5 90,-51.5 90,-51.5 90,-39.5 90,-39.5 90,-33.5 96,-27.5 102,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">*</text>\n",
        "</g>\n",
-       "<!-- 3dcdb&#45;&gt;2d398 -->\n",
-       "<g id=\"edge7\" class=\"edge\">\n",
-       "<title>3dcdb&#45;&gt;2d398</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M124.39,-292.31C114.14,-283.33 101.44,-272.19 90.25,-262.39\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"92.25,-259.49 82.43,-255.53 87.64,-264.75 92.25,-259.49\"/>\n",
+       "<!-- 6a496&#45;&gt;b4bcb -->\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
+       "<title>6a496&#45;&gt;b4bcb</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M144.4,-45.5C152.39,-45.5 161.31,-45.5 169.82,-45.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"169.92,-49 179.92,-45.5 169.92,-42 169.92,-49\"/>\n",
        "</g>\n",
-       "<!-- 1 -->\n",
+       "<!-- b -->\n",
        "<g id=\"node7\" class=\"node\">\n",
-       "<title>1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M129,-219.5C129,-219.5 159,-219.5 159,-219.5 165,-219.5 171,-225.5 171,-231.5 171,-231.5 171,-243.5 171,-243.5 171,-249.5 165,-255.5 159,-255.5 159,-255.5 129,-255.5 129,-255.5 123,-255.5 117,-249.5 117,-243.5 117,-243.5 117,-231.5 117,-231.5 117,-225.5 123,-219.5 129,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"143.56\" y=\"-231.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">1</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-55.5C12,-55.5 42,-55.5 42,-55.5 48,-55.5 54,-61.5 54,-67.5 54,-67.5 54,-79.5 54,-79.5 54,-85.5 48,-91.5 42,-91.5 42,-91.5 12,-91.5 12,-91.5 6,-91.5 0,-85.5 0,-79.5 0,-79.5 0,-67.5 0,-67.5 0,-61.5 6,-55.5 12,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- 3dcdb&#45;&gt;1 -->\n",
-       "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>3dcdb&#45;&gt;1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M144,-292.31C144,-284.29 144,-274.55 144,-265.57\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"147.5,-265.53 144,-255.53 140.5,-265.53 147.5,-265.53\"/>\n",
+       "<!-- b&#45;&gt;6a496 -->\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>b&#45;&gt;6a496</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-65.1C62.57,-62.5 71.7,-59.59 80.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.45,-60.17 89.92,-53.8 79.33,-53.5 81.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- 2 -->\n",
+       "<!-- c -->\n",
        "<g id=\"node8\" class=\"node\">\n",
-       "<title>2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M201,-219.5C201,-219.5 231,-219.5 231,-219.5 237,-219.5 243,-225.5 243,-231.5 243,-231.5 243,-243.5 243,-243.5 243,-249.5 237,-255.5 231,-255.5 231,-255.5 201,-255.5 201,-255.5 195,-255.5 189,-249.5 189,-243.5 189,-243.5 189,-231.5 189,-231.5 189,-225.5 195,-219.5 201,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"215.56\" y=\"-231.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">2</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 3dcdb&#45;&gt;2 -->\n",
-       "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>3dcdb&#45;&gt;2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M161.43,-292.31C170.45,-283.42 181.61,-272.41 191.49,-262.67\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"194.07,-265.04 198.73,-255.53 189.15,-260.06 194.07,-265.04\"/>\n",
+       "<!-- c&#45;&gt;6a496 -->\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>c&#45;&gt;6a496</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.6C62.48,-29.08 71.51,-31.85 80.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-37.91 89.92,-37.5 81.39,-31.22 79.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 17,
+     "execution_count": 16,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -793,7 +766,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 18,
+   "execution_count": 17,
    "metadata": {},
    "outputs": [
     {
@@ -802,7 +775,7 @@
        "true"
       ]
      },
-     "execution_count": 18,
+     "execution_count": 17,
      "metadata": {},
      "output_type": "execute_result"
     }
diff --git a/notebooks/Program Graphs.ipynb b/notebooks/Program Graphs.ipynb
index 31c1930f..b1d3ba07 100644
--- a/notebooks/Program Graphs.ipynb	
+++ b/notebooks/Program Graphs.ipynb	
@@ -2,97 +2,107 @@
  "cells": [
   {
    "cell_type": "code",
-   "execution_count": 2,
+   "execution_count": 1,
    "metadata": {},
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      ":: problems summary ::\n",
+      ":::: ERRORS\n",
+      "\tSERVER ERROR: Gateway Time-out url=https://dl.bintray.com/egor-bogomolov/astminer/org/eclipse/platform/org.eclipse.core.runtime/\n",
+      "\n"
+     ]
+    }
+   ],
    "source": [
     "%use kaliningraph"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 7,
+   "execution_count": 2,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"170px\" height=\"264px\"\n",
-       " viewBox=\"0.00 0.00 170.00 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 260)\">\n",
+       "<svg width=\"350px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 349.62 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-260 166,-260 166,4 -4,4\"/>\n",
-       "<!-- 417b5 -->\n",
+       "<!-- fa5f1 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>417b5</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-27.5C102,-27.5 132,-27.5 132,-27.5 138,-27.5 144,-33.5 144,-39.5 144,-39.5 144,-51.5 144,-51.5 144,-57.5 138,-63.5 132,-63.5 132,-63.5 102,-63.5 102,-63.5 96,-63.5 90,-57.5 90,-51.5 90,-51.5 90,-39.5 90,-39.5 90,-33.5 96,-27.5 102,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 1ff39 -->\n",
+       "<!-- 8870c -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>1ff39</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>8870c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-54.5C192,-54.5 222,-54.5 222,-54.5 228,-54.5 234,-60.5 234,-66.5 234,-66.5 234,-78.5 234,-78.5 234,-84.5 228,-90.5 222,-90.5 222,-90.5 192,-90.5 192,-90.5 186,-90.5 180,-84.5 180,-78.5 180,-78.5 180,-66.5 180,-66.5 180,-60.5 186,-54.5 192,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 417b5&#45;&gt;1ff39 -->\n",
+       "<!-- fa5f1&#45;&gt;8870c -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>417b5&#45;&gt;1ff39</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M90.1011,-146.4551C85.9905,-138.1196 81.0205,-128.0416 76.4651,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"79.4833,-117.011 71.9213,-109.5904 73.2052,-120.1071 79.4833,-117.011\"/>\n",
+       "<title>fa5f1&#45;&gt;8870c</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-53.6C152.48,-56.08 161.51,-58.85 170.1,-61.49\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"169.33,-64.91 179.92,-64.5 171.39,-58.22 169.33,-64.91\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- 3b827 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>3b827</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-54.5C282,-54.5 329.62,-54.5 329.62,-54.5 335.62,-54.5 341.62,-60.5 341.62,-66.5 341.62,-66.5 341.62,-78.5 341.62,-78.5 341.62,-84.5 335.62,-90.5 329.62,-90.5 329.62,-90.5 282,-90.5 282,-90.5 276,-90.5 270,-84.5 270,-78.5 270,-78.5 270,-66.5 270,-66.5 270,-60.5 276,-54.5 282,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.81\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">3b827</text>\n",
        "</g>\n",
-       "<!-- 417b5&#45;&gt;c -->\n",
+       "<!-- 8870c&#45;&gt;3b827 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>417b5&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M107.8989,-146.4551C112.0095,-138.1196 116.9795,-128.0416 121.5349,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"124.7948,-120.1071 126.0787,-109.5904 118.5167,-117.011 124.7948,-120.1071\"/>\n",
+       "<title>8870c&#45;&gt;3b827</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.2,-72.5C242.09,-72.5 250.98,-72.5 259.73,-72.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.86,-76 269.86,-72.5 259.86,-69 259.86,-76\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node3\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- c -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-82.5C102,-82.5 132,-82.5 132,-82.5 138,-82.5 144,-88.5 144,-94.5 144,-94.5 144,-106.5 144,-106.5 144,-112.5 138,-118.5 132,-118.5 132,-118.5 102,-118.5 102,-118.5 96,-118.5 90,-112.5 90,-106.5 90,-106.5 90,-94.5 90,-94.5 90,-88.5 96,-82.5 102,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 1ff39&#45;&gt;a -->\n",
+       "<!-- c&#45;&gt;8870c -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>1ff39&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>c&#45;&gt;8870c</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-92.1C152.57,-89.5 161.7,-86.59 170.38,-83.83\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"171.45,-87.17 179.92,-80.8 169.33,-80.5 171.45,-87.17\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-.5C84,-.5 114,-.5 114,-.5 120,-.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-.5 84,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- a -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-55.5C12,-55.5 42,-55.5 42,-55.5 48,-55.5 54,-61.5 54,-67.5 54,-67.5 54,-79.5 54,-79.5 54,-85.5 48,-91.5 42,-91.5 42,-91.5 12,-91.5 12,-91.5 6,-91.5 0,-85.5 0,-79.5 0,-79.5 0,-67.5 0,-67.5 0,-61.5 6,-55.5 12,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 1ff39&#45;&gt;b -->\n",
+       "<!-- a&#45;&gt;fa5f1 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>1ff39&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M71.8989,-73.4551C76.0095,-65.1196 80.9795,-55.0416 85.5349,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"88.7948,-47.1071 90.0787,-36.5904 82.5167,-44.011 88.7948,-47.1071\"/>\n",
+       "<title>a&#45;&gt;fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-65.1C62.57,-62.5 71.7,-59.59 80.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.45,-60.17 89.92,-53.8 79.33,-53.5 81.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- bf499 -->\n",
+       "<!-- b -->\n",
        "<g id=\"node6\" class=\"node\">\n",
-       "<title>bf499</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M77.5,-219.5C77.5,-219.5 120.5,-219.5 120.5,-219.5 126.5,-219.5 132.5,-225.5 132.5,-231.5 132.5,-231.5 132.5,-243.5 132.5,-243.5 132.5,-249.5 126.5,-255.5 120.5,-255.5 120.5,-255.5 77.5,-255.5 77.5,-255.5 71.5,-255.5 65.5,-249.5 65.5,-243.5 65.5,-243.5 65.5,-231.5 65.5,-231.5 65.5,-225.5 71.5,-219.5 77.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">bf499</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- bf499&#45;&gt;417b5 -->\n",
+       "<!-- b&#45;&gt;fa5f1 -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>bf499&#45;&gt;417b5</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M99,-219.4551C99,-211.3828 99,-201.6764 99,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"102.5001,-192.5903 99,-182.5904 95.5001,-192.5904 102.5001,-192.5903\"/>\n",
+       "<title>b&#45;&gt;fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.6C62.48,-29.08 71.51,-31.85 80.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-37.91 89.92,-37.5 81.39,-31.22 79.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 7,
+     "execution_count": 2,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -103,7 +113,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 8,
+   "execution_count": 3,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -112,7 +122,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 9,
+   "execution_count": 4,
    "metadata": {},
    "outputs": [
     {
@@ -121,7 +131,7 @@
        "false"
       ]
      },
-     "execution_count": 9,
+     "execution_count": 4,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -132,88 +142,87 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 10,
+   "execution_count": 5,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"170px\" height=\"264px\"\n",
-       " viewBox=\"0.00 0.00 170.00 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 260)\">\n",
+       "<svg width=\"344px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 344.05 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-260 166,-260 166,4 -4,4\"/>\n",
-       "<!-- dbf22 -->\n",
+       "<!-- 3f4c2 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-27.5C102,-27.5 132,-27.5 132,-27.5 138,-27.5 144,-33.5 144,-39.5 144,-39.5 144,-51.5 144,-51.5 144,-57.5 138,-63.5 132,-63.5 132,-63.5 102,-63.5 102,-63.5 96,-63.5 90,-57.5 90,-51.5 90,-51.5 90,-39.5 90,-39.5 90,-33.5 96,-27.5 102,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 4b268 -->\n",
+       "<!-- 93e8e -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-54.5C192,-54.5 222,-54.5 222,-54.5 228,-54.5 234,-60.5 234,-66.5 234,-66.5 234,-78.5 234,-78.5 234,-84.5 228,-90.5 222,-90.5 222,-90.5 192,-90.5 192,-90.5 186,-90.5 180,-84.5 180,-78.5 180,-78.5 180,-66.5 180,-66.5 180,-60.5 186,-54.5 192,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;4b268 -->\n",
+       "<!-- 3f4c2&#45;&gt;93e8e -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M90.1011,-146.4551C85.9905,-138.1196 81.0205,-128.0416 76.4651,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"79.4833,-117.011 71.9213,-109.5904 73.2052,-120.1071 79.4833,-117.011\"/>\n",
+       "<title>3f4c2&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-53.6C152.48,-56.08 161.51,-58.85 170.1,-61.49\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"169.33,-64.91 179.92,-64.5 171.39,-58.22 169.33,-64.91\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- f10e1 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-54.5C282,-54.5 324.05,-54.5 324.05,-54.5 330.05,-54.5 336.05,-60.5 336.05,-66.5 336.05,-66.5 336.05,-78.5 336.05,-78.5 336.05,-84.5 330.05,-90.5 324.05,-90.5 324.05,-90.5 282,-90.5 282,-90.5 276,-90.5 270,-84.5 270,-78.5 270,-78.5 270,-66.5 270,-66.5 270,-60.5 276,-54.5 282,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"303.02\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">f10e1</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;a -->\n",
+       "<!-- 93e8e&#45;&gt;f10e1 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M107.8989,-146.4551C112.0095,-138.1196 116.9795,-128.0416 121.5349,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"124.7948,-120.1071 126.0787,-109.5904 118.5167,-117.011 124.7948,-120.1071\"/>\n",
+       "<title>93e8e&#45;&gt;f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.19,-72.5C242.16,-72.5 251.13,-72.5 259.87,-72.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.95,-76 269.95,-72.5 259.95,-69 259.95,-76\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node3\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- a -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-82.5C102,-82.5 132,-82.5 132,-82.5 138,-82.5 144,-88.5 144,-94.5 144,-94.5 144,-106.5 144,-106.5 144,-112.5 138,-118.5 132,-118.5 132,-118.5 102,-118.5 102,-118.5 96,-118.5 90,-112.5 90,-106.5 90,-106.5 90,-94.5 90,-94.5 90,-88.5 96,-82.5 102,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;b -->\n",
+       "<!-- a&#45;&gt;93e8e -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>a&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-92.1C152.57,-89.5 161.7,-86.59 170.38,-83.83\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"171.45,-87.17 179.92,-80.8 169.33,-80.5 171.45,-87.17\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-.5C84,-.5 114,-.5 114,-.5 120,-.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-.5 84,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- b -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-55.5C12,-55.5 42,-55.5 42,-55.5 48,-55.5 54,-61.5 54,-67.5 54,-67.5 54,-79.5 54,-79.5 54,-85.5 48,-91.5 42,-91.5 42,-91.5 12,-91.5 12,-91.5 6,-91.5 0,-85.5 0,-79.5 0,-79.5 0,-67.5 0,-67.5 0,-61.5 6,-55.5 12,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;c -->\n",
+       "<!-- b&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M71.8989,-73.4551C76.0095,-65.1196 80.9795,-55.0416 85.5349,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"88.7948,-47.1071 90.0787,-36.5904 82.5167,-44.011 88.7948,-47.1071\"/>\n",
+       "<title>b&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-65.1C62.57,-62.5 71.7,-59.59 80.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.45,-60.17 89.92,-53.8 79.33,-53.5 81.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- fa04a -->\n",
+       "<!-- c -->\n",
        "<g id=\"node6\" class=\"node\">\n",
-       "<title>fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M77.5,-219.5C77.5,-219.5 120.5,-219.5 120.5,-219.5 126.5,-219.5 132.5,-225.5 132.5,-231.5 132.5,-231.5 132.5,-243.5 132.5,-243.5 132.5,-249.5 126.5,-255.5 120.5,-255.5 120.5,-255.5 77.5,-255.5 77.5,-255.5 71.5,-255.5 65.5,-249.5 65.5,-243.5 65.5,-243.5 65.5,-231.5 65.5,-231.5 65.5,-225.5 71.5,-219.5 77.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">fa04a</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- fa04a&#45;&gt;dbf22 -->\n",
+       "<!-- c&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>fa04a&#45;&gt;dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M99,-219.4551C99,-211.3828 99,-201.6764 99,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"102.5001,-192.5903 99,-182.5904 95.5001,-192.5904 102.5001,-192.5903\"/>\n",
+       "<title>c&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.6C62.48,-29.08 71.51,-31.85 80.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-37.91 89.92,-37.5 81.39,-31.22 79.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 10,
+     "execution_count": 5,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -224,7 +233,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 11,
+   "execution_count": 6,
    "metadata": {},
    "outputs": [
     {
@@ -233,18 +242,18 @@
        "<img src=\"data:image/jpg;base64,iVBORw0KGgoAAAANSUhEUgAAAHgAAAB4CAIAAAC2BqGFAAABLUlEQVR4Xu3SwQnEAAwDwfTf9F0BS0D+KA/tsAUY4ef5yO+j5nCCTnM4Qac5nKDTHE7QaQ4n6DSHE3Sawwk6zeEEneZwgk5zOEGnOZyg0xxO0GkOJ+g0hxN0msMJOs3hBJ3mcIJOczhBpzmcoNNneEqeDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfnvSK79JpDifoNIcTdJrDCTrN4QSd5nCCTnM4Qac5nKDTHE7QaQ4n6DSHE3Sawwk6zeEEneZwgk5zOEGnOZyg0xxO0GkOJ+g0hxN0msMJOkmSJEmSJEmSJEmSJEmSJEmSJEmSJEmSJEmSJEmSJEna9AfULsiarlkxWwAAAABJRU5ErkJggg==\"/>"
       ]
      },
-     "execution_count": 11,
+     "execution_count": 6,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "fun1.toGraph().A"
+    "fun1.graph.A"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 12,
+   "execution_count": 7,
    "metadata": {},
    "outputs": [
     {
@@ -253,18 +262,18 @@
        "true"
       ]
      },
-     "execution_count": 12,
+     "execution_count": 7,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "fun1.toGraph() == fun2.toGraph()"
+    "fun1.graph == fun2.graph"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 13,
+   "execution_count": 8,
    "metadata": {},
    "outputs": [
     {
@@ -273,165 +282,164 @@
        "<img src=\"data:image/jpg;base64,iVBORw0KGgoAAAANSUhEUgAAAHgAAAB4CAIAAAC2BqGFAAABLUlEQVR4Xu3SwQnEAAwDwfTf9F0BS0D+KA/tsAUY4ef5yO+j5nCCTnM4Qac5nKDTHE7QaQ4n6DSHE3Sawwk6zeEEneZwgk5zOEGnOZyg0xxO0GkOJ+g0hxN0msMJOs3hBJ3mcIJOczhBpzmcoNNneEqeDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfng44X54OOF+eDjhfnvSK79JpDifoNIcTdJrDCTrN4QSd5nCCTnM4Qac5nKDTHE7QaQ4n6DSHE3Sawwk6zeEEneZwgk5zOEGnOZyg0xxO0GkOJ+g0hxN0msMJOkmSJEmSJEmSJEmSJEmSJEmSJEmSJEmSJEmSJEmSJEna9AfULsiarlkxWwAAAABJRU5ErkJggg==\"/>"
       ]
      },
-     "execution_count": 13,
+     "execution_count": 8,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "fun2.toGraph().A"
+    "fun2.graph.A"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 14,
+   "execution_count": 9,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"220px\" height=\"337px\"\n",
-       " viewBox=\"0.00 0.00 220.00 337.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 333)\">\n",
+       "<svg width=\"440px\" height=\"170px\"\n",
+       " viewBox=\"0.00 0.00 439.62 170.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 166)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-333 216,-333 216,4 -4,4\"/>\n",
-       "<!-- fa04a -->\n",
+       "<!-- 93e8e -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M34.5,-219.5C34.5,-219.5 77.5,-219.5 77.5,-219.5 83.5,-219.5 89.5,-225.5 89.5,-231.5 89.5,-231.5 89.5,-243.5 89.5,-243.5 89.5,-249.5 83.5,-255.5 77.5,-255.5 77.5,-255.5 34.5,-255.5 34.5,-255.5 28.5,-255.5 22.5,-249.5 22.5,-243.5 22.5,-243.5 22.5,-231.5 22.5,-231.5 22.5,-225.5 28.5,-219.5 34.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"56\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">fa04a</text>\n",
+       "<title>93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-83.5C192,-83.5 222,-83.5 222,-83.5 228,-83.5 234,-89.5 234,-95.5 234,-95.5 234,-107.5 234,-107.5 234,-113.5 228,-119.5 222,-119.5 222,-119.5 192,-119.5 192,-119.5 186,-119.5 180,-113.5 180,-107.5 180,-107.5 180,-95.5 180,-95.5 180,-89.5 186,-83.5 192,-83.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-95.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22 -->\n",
+       "<!-- f10e1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M41,-146.5C41,-146.5 71,-146.5 71,-146.5 77,-146.5 83,-152.5 83,-158.5 83,-158.5 83,-170.5 83,-170.5 83,-176.5 77,-182.5 71,-182.5 71,-182.5 41,-182.5 41,-182.5 35,-182.5 29,-176.5 29,-170.5 29,-170.5 29,-158.5 29,-158.5 29,-152.5 35,-146.5 41,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"56\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M284.78,-83.5C284.78,-83.5 326.83,-83.5 326.83,-83.5 332.83,-83.5 338.83,-89.5 338.83,-95.5 338.83,-95.5 338.83,-107.5 338.83,-107.5 338.83,-113.5 332.83,-119.5 326.83,-119.5 326.83,-119.5 284.78,-119.5 284.78,-119.5 278.78,-119.5 272.78,-113.5 272.78,-107.5 272.78,-107.5 272.78,-95.5 272.78,-95.5 272.78,-89.5 278.78,-83.5 284.78,-83.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.81\" y=\"-95.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">f10e1</text>\n",
        "</g>\n",
-       "<!-- fa04a&#45;&gt;dbf22 -->\n",
+       "<!-- 93e8e&#45;&gt;f10e1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>fa04a&#45;&gt;dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M56,-219.4551C56,-211.3828 56,-201.6764 56,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"59.5001,-192.5903 56,-182.5904 52.5001,-192.5904 59.5001,-192.5903\"/>\n",
+       "<title>93e8e&#45;&gt;f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.2,-101.5C242.92,-101.5 252.86,-101.5 262.48,-101.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"262.72,-105 272.72,-101.5 262.72,-98 262.72,-105\"/>\n",
        "</g>\n",
-       "<!-- 4b268 -->\n",
+       "<!-- 656f2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>656f2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M389.62,-55.5C389.62,-55.5 419.62,-55.5 419.62,-55.5 425.62,-55.5 431.62,-61.5 431.62,-67.5 431.62,-67.5 431.62,-79.5 431.62,-79.5 431.62,-85.5 425.62,-91.5 419.62,-91.5 419.62,-91.5 389.62,-91.5 389.62,-91.5 383.62,-91.5 377.62,-85.5 377.62,-79.5 377.62,-79.5 377.62,-67.5 377.62,-67.5 377.62,-61.5 383.62,-55.5 389.62,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"404.62\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;4b268 -->\n",
+       "<!-- f10e1&#45;&gt;656f2 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M75.5281,-146.4551C85.3083,-137.4177 97.3052,-126.3319 107.9561,-116.4899\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"110.4536,-118.9476 115.4228,-109.5904 105.7029,-113.8065 110.4536,-118.9476\"/>\n",
+       "<title>f10e1&#45;&gt;656f2</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M339.04,-92.18C348.17,-89.54 358.17,-86.65 367.51,-83.94\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"368.68,-87.25 377.32,-81.11 366.74,-80.52 368.68,-87.25\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node6\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- 8870c -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>8870c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-28.5C192,-28.5 222,-28.5 222,-28.5 228,-28.5 234,-34.5 234,-40.5 234,-40.5 234,-52.5 234,-52.5 234,-58.5 228,-64.5 222,-64.5 222,-64.5 192,-64.5 192,-64.5 186,-64.5 180,-58.5 180,-52.5 180,-52.5 180,-40.5 180,-40.5 180,-34.5 186,-28.5 192,-28.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-40.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;a -->\n",
-       "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M43.3866,-146.2582C37.1217,-136.0847 30.2172,-122.895 27,-110 21.8246,-89.2563 22.0909,-65.0341 23.5076,-46.7242\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"26.9989,-46.9795 24.4422,-36.6978 20.0291,-46.3297 26.9989,-46.9795\"/>\n",
+       "<!-- 3b827 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>3b827</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-28.5C282,-28.5 329.62,-28.5 329.62,-28.5 335.62,-28.5 341.62,-34.5 341.62,-40.5 341.62,-40.5 341.62,-52.5 341.62,-52.5 341.62,-58.5 335.62,-64.5 329.62,-64.5 329.62,-64.5 282,-64.5 282,-64.5 276,-64.5 270,-58.5 270,-52.5 270,-52.5 270,-40.5 270,-40.5 270,-34.5 276,-28.5 282,-28.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.81\" y=\"-40.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">3b827</text>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M93,-.5C93,-.5 123,-.5 123,-.5 129,-.5 135,-6.5 135,-12.5 135,-12.5 135,-24.5 135,-24.5 135,-30.5 129,-36.5 123,-36.5 123,-36.5 93,-36.5 93,-36.5 87,-36.5 81,-30.5 81,-24.5 81,-24.5 81,-12.5 81,-12.5 81,-6.5 87,-.5 93,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"108\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- 8870c&#45;&gt;3b827 -->\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>8870c&#45;&gt;3b827</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.2,-46.5C242.09,-46.5 250.98,-46.5 259.73,-46.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.86,-50 269.86,-46.5 259.86,-43 259.86,-50\"/>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;b -->\n",
+       "<!-- 3b827&#45;&gt;656f2 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M128.3258,-73.4551C125.2753,-65.2074 121.5938,-55.2536 118.2068,-46.0962\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"121.4426,-44.7552 114.691,-36.5904 114.8773,-47.1836 121.4426,-44.7552\"/>\n",
+       "<title>3b827&#45;&gt;656f2</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M341.76,-56.25C350.24,-58.61 359.33,-61.15 367.85,-63.53\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"366.96,-66.91 377.53,-66.22 368.84,-60.17 366.96,-66.91\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M170,-.5C170,-.5 200,-.5 200,-.5 206,-.5 212,-6.5 212,-12.5 212,-12.5 212,-24.5 212,-24.5 212,-30.5 206,-36.5 200,-36.5 200,-36.5 170,-36.5 170,-36.5 164,-36.5 158,-30.5 158,-24.5 158,-24.5 158,-12.5 158,-12.5 158,-6.5 164,-.5 170,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"185\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- 3f4c2 -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-28.5C102,-28.5 132,-28.5 132,-28.5 138,-28.5 144,-34.5 144,-40.5 144,-40.5 144,-52.5 144,-52.5 144,-58.5 138,-64.5 132,-64.5 132,-64.5 102,-64.5 102,-64.5 96,-64.5 90,-58.5 90,-52.5 90,-52.5 90,-40.5 90,-40.5 90,-34.5 96,-28.5 102,-28.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-40.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;c -->\n",
+       "<!-- 3f4c2&#45;&gt;93e8e -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M147.3596,-73.4551C153.2491,-64.8564 160.4087,-54.4034 166.8961,-44.9316\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"169.846,-46.8185 172.6093,-36.5904 164.0708,-42.8628 169.846,-46.8185\"/>\n",
+       "<title>3f4c2&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-63C152.83,-68.27 162.29,-74.18 171.22,-79.76\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"169.58,-82.87 179.92,-85.2 173.29,-76.93 169.58,-82.87\"/>\n",
        "</g>\n",
-       "<!-- bf499 -->\n",
+       "<!-- a -->\n",
        "<g id=\"node7\" class=\"node\">\n",
-       "<title>bf499</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M119.5,-219.5C119.5,-219.5 162.5,-219.5 162.5,-219.5 168.5,-219.5 174.5,-225.5 174.5,-231.5 174.5,-231.5 174.5,-243.5 174.5,-243.5 174.5,-249.5 168.5,-255.5 162.5,-255.5 162.5,-255.5 119.5,-255.5 119.5,-255.5 113.5,-255.5 107.5,-249.5 107.5,-243.5 107.5,-243.5 107.5,-231.5 107.5,-231.5 107.5,-225.5 113.5,-219.5 119.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"141\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">bf499</text>\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-125.5C12,-125.5 42,-125.5 42,-125.5 48,-125.5 54,-131.5 54,-137.5 54,-137.5 54,-149.5 54,-149.5 54,-155.5 48,-161.5 42,-161.5 42,-161.5 12,-161.5 12,-161.5 6,-161.5 0,-155.5 0,-149.5 0,-149.5 0,-137.5 0,-137.5 0,-131.5 6,-125.5 12,-125.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-137.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 417b5 -->\n",
+       "<!-- a&#45;&gt;93e8e -->\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>a&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.24,-142.6C78.04,-141.26 113.91,-137.9 144,-129.5 152.84,-127.03 162.03,-123.48 170.54,-119.73\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"172.19,-122.83 179.81,-115.46 169.26,-116.47 172.19,-122.83\"/>\n",
+       "</g>\n",
+       "<!-- fa5f1 -->\n",
        "<g id=\"node8\" class=\"node\">\n",
-       "<title>417b5</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M126,-146.5C126,-146.5 156,-146.5 156,-146.5 162,-146.5 168,-152.5 168,-158.5 168,-158.5 168,-170.5 168,-170.5 168,-176.5 162,-182.5 156,-182.5 156,-182.5 126,-182.5 126,-182.5 120,-182.5 114,-176.5 114,-170.5 114,-170.5 114,-158.5 114,-158.5 114,-152.5 120,-146.5 126,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"141\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-83.5C102,-83.5 132,-83.5 132,-83.5 138,-83.5 144,-89.5 144,-95.5 144,-95.5 144,-107.5 144,-107.5 144,-113.5 138,-119.5 132,-119.5 132,-119.5 102,-119.5 102,-119.5 96,-119.5 90,-113.5 90,-107.5 90,-107.5 90,-95.5 90,-95.5 90,-89.5 96,-83.5 102,-83.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-95.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- bf499&#45;&gt;417b5 -->\n",
-       "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>bf499&#45;&gt;417b5</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M141,-219.4551C141,-211.3828 141,-201.6764 141,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"144.5001,-192.5903 141,-182.5904 137.5001,-192.5904 144.5001,-192.5903\"/>\n",
+       "<!-- a&#45;&gt;fa5f1 -->\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>a&#45;&gt;fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-130.9C62.66,-126.96 71.9,-122.55 80.66,-118.36\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"82.4,-121.41 89.92,-113.95 79.39,-115.1 82.4,-121.41\"/>\n",
        "</g>\n",
-       "<!-- 417b5&#45;&gt;c -->\n",
+       "<!-- fa5f1&#45;&gt;8870c -->\n",
        "<g id=\"edge8\" class=\"edge\">\n",
-       "<title>417b5&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M153.2666,-146.0874C159.5185,-135.8639 166.6917,-122.6808 171,-110 177.9576,-89.5213 181.469,-65.2855 183.2348,-46.903\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"186.7316,-47.0878 184.0856,-36.8287 179.7564,-46.4987 186.7316,-47.0878\"/>\n",
+       "<title>fa5f1&#45;&gt;8870c</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-85C152.83,-79.73 162.29,-73.82 171.22,-68.24\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"173.29,-71.07 179.92,-62.8 169.58,-65.13 173.29,-71.07\"/>\n",
        "</g>\n",
-       "<!-- 1ff39 -->\n",
+       "<!-- c -->\n",
        "<g id=\"node9\" class=\"node\">\n",
-       "<title>1ff39</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 417b5&#45;&gt;1ff39 -->\n",
-       "<g id=\"edge7\" class=\"edge\">\n",
-       "<title>417b5&#45;&gt;1ff39</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M121.7191,-146.4551C112.0627,-137.4177 100.2176,-126.3319 89.7016,-116.4899\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"92.0223,-113.8681 82.3294,-109.5904 87.239,-118.979 92.0223,-113.8681\"/>\n",
+       "<!-- c&#45;&gt;8870c -->\n",
+       "<g id=\"edge9\" class=\"edge\">\n",
+       "<title>c&#45;&gt;8870c</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.13,-15.39C77.86,-13.3 113.68,-11.97 144,-18.5 152.98,-20.43 162.22,-23.77 170.74,-27.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"169.45,-30.75 179.99,-31.79 172.4,-24.4 169.45,-30.75\"/>\n",
        "</g>\n",
-       "<!-- 1ff39&#45;&gt;b -->\n",
+       "<!-- c&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge10\" class=\"edge\">\n",
-       "<title>1ff39&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M74.1236,-73.4551C79.3701,-64.9441 85.7364,-54.6165 91.5276,-45.2219\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"94.5803,-46.9396 96.8484,-36.5904 88.6215,-43.2663 94.5803,-46.9396\"/>\n",
-       "</g>\n",
-       "<!-- 1ff39&#45;&gt;a -->\n",
-       "<g id=\"edge9\" class=\"edge\">\n",
-       "<title>1ff39&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>c&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.9C62.57,-29.5 71.7,-32.41 80.38,-35.17\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-38.5 89.92,-38.2 81.45,-31.83 79.33,-38.5\"/>\n",
        "</g>\n",
-       "<!-- a43bf -->\n",
+       "<!-- b -->\n",
        "<g id=\"node10\" class=\"node\">\n",
-       "<title>a43bf</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M83,-292.5C83,-292.5 113,-292.5 113,-292.5 119,-292.5 125,-298.5 125,-304.5 125,-304.5 125,-316.5 125,-316.5 125,-322.5 119,-328.5 113,-328.5 113,-328.5 83,-328.5 83,-328.5 77,-328.5 71,-322.5 71,-316.5 71,-316.5 71,-304.5 71,-304.5 71,-298.5 77,-292.5 83,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"98\" y=\"-305.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-65.5C12,-65.5 42,-65.5 42,-65.5 48,-65.5 54,-71.5 54,-77.5 54,-77.5 54,-89.5 54,-89.5 54,-95.5 48,-101.5 42,-101.5 42,-101.5 12,-101.5 12,-101.5 6,-101.5 0,-95.5 0,-89.5 0,-89.5 0,-77.5 0,-77.5 0,-71.5 6,-65.5 12,-65.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-77.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- a43bf&#45;&gt;fa04a -->\n",
+       "<!-- b&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge11\" class=\"edge\">\n",
-       "<title>a43bf&#45;&gt;fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M87.618,-292.4551C82.7718,-284.0319 76.9018,-273.8292 71.5416,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"74.4289,-262.5127 66.4082,-255.5904 68.3614,-266.0036 74.4289,-262.5127\"/>\n",
+       "<title>b&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-72.4C62.66,-68.93 71.9,-65.04 80.66,-61.36\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"82.06,-64.57 89.92,-57.47 79.34,-58.12 82.06,-64.57\"/>\n",
        "</g>\n",
-       "<!-- a43bf&#45;&gt;bf499 -->\n",
+       "<!-- b&#45;&gt;fa5f1 -->\n",
        "<g id=\"edge12\" class=\"edge\">\n",
-       "<title>a43bf&#45;&gt;bf499</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M108.6292,-292.4551C113.6425,-283.9441 119.7259,-273.6165 125.2597,-264.2219\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"128.2843,-265.9831 130.344,-255.5904 122.2529,-262.4303 128.2843,-265.9831\"/>\n",
+       "<title>b&#45;&gt;fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-88.9C62.48,-90.55 71.51,-92.4 80.1,-94.16\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.42,-97.59 89.92,-96.17 80.82,-90.73 79.42,-97.59\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 14,
+     "execution_count": 9,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -442,7 +450,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 15,
+   "execution_count": 10,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -451,7 +459,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 16,
+   "execution_count": 11,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -460,112 +468,111 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 17,
+   "execution_count": 12,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"213px\" height=\"337px\"\n",
-       " viewBox=\"0.00 0.00 213.00 337.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 333)\">\n",
+       "<svg width=\"434px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 434.05 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-333 209,-333 209,4 -4,4\"/>\n",
-       "<!-- fa04a -->\n",
+       "<!-- 93e8e -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M77.5,-219.5C77.5,-219.5 120.5,-219.5 120.5,-219.5 126.5,-219.5 132.5,-225.5 132.5,-231.5 132.5,-231.5 132.5,-243.5 132.5,-243.5 132.5,-249.5 126.5,-255.5 120.5,-255.5 120.5,-255.5 77.5,-255.5 77.5,-255.5 71.5,-255.5 65.5,-249.5 65.5,-243.5 65.5,-243.5 65.5,-231.5 65.5,-231.5 65.5,-225.5 71.5,-219.5 77.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">fa04a</text>\n",
+       "<title>93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-27.5C192,-27.5 222,-27.5 222,-27.5 228,-27.5 234,-33.5 234,-39.5 234,-39.5 234,-51.5 234,-51.5 234,-57.5 228,-63.5 222,-63.5 222,-63.5 192,-63.5 192,-63.5 186,-63.5 180,-57.5 180,-51.5 180,-51.5 180,-39.5 180,-39.5 180,-33.5 186,-27.5 192,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22 -->\n",
+       "<!-- f10e1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-27.5C282,-27.5 324.05,-27.5 324.05,-27.5 330.05,-27.5 336.05,-33.5 336.05,-39.5 336.05,-39.5 336.05,-51.5 336.05,-51.5 336.05,-57.5 330.05,-63.5 324.05,-63.5 324.05,-63.5 282,-63.5 282,-63.5 276,-63.5 270,-57.5 270,-51.5 270,-51.5 270,-39.5 270,-39.5 270,-33.5 276,-27.5 282,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"303.02\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">f10e1</text>\n",
        "</g>\n",
-       "<!-- fa04a&#45;&gt;dbf22 -->\n",
+       "<!-- 93e8e&#45;&gt;f10e1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>fa04a&#45;&gt;dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M99,-219.4551C99,-211.3828 99,-201.6764 99,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"102.5001,-192.5903 99,-182.5904 95.5001,-192.5904 102.5001,-192.5903\"/>\n",
+       "<title>93e8e&#45;&gt;f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.19,-45.5C242.16,-45.5 251.13,-45.5 259.87,-45.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.95,-49 269.95,-45.5 259.95,-42 259.95,-49\"/>\n",
        "</g>\n",
-       "<!-- 4b268 -->\n",
+       "<!-- 769d4 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>769d4</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M384.05,-54.5C384.05,-54.5 414.05,-54.5 414.05,-54.5 420.05,-54.5 426.05,-60.5 426.05,-66.5 426.05,-66.5 426.05,-78.5 426.05,-78.5 426.05,-84.5 420.05,-90.5 414.05,-90.5 414.05,-90.5 384.05,-90.5 384.05,-90.5 378.05,-90.5 372.05,-84.5 372.05,-78.5 372.05,-78.5 372.05,-66.5 372.05,-66.5 372.05,-60.5 378.05,-54.5 384.05,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"399.05\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;4b268 -->\n",
+       "<!-- f10e1&#45;&gt;769d4 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M90.1011,-146.4551C85.9905,-138.1196 81.0205,-128.0416 76.4651,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"79.4833,-117.011 71.9213,-109.5904 73.2052,-120.1071 79.4833,-117.011\"/>\n",
+       "<title>f10e1&#45;&gt;769d4</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M336.12,-54.72C344.53,-57.13 353.65,-59.75 362.25,-62.22\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"361.44,-65.63 372.02,-65.02 363.37,-58.9 361.44,-65.63\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node6\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- 5 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>5</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M288.02,-82.5C288.02,-82.5 318.02,-82.5 318.02,-82.5 324.02,-82.5 330.02,-88.5 330.02,-94.5 330.02,-94.5 330.02,-106.5 330.02,-106.5 330.02,-112.5 324.02,-118.5 318.02,-118.5 318.02,-118.5 288.02,-118.5 288.02,-118.5 282.02,-118.5 276.02,-112.5 276.02,-106.5 276.02,-106.5 276.02,-94.5 276.02,-94.5 276.02,-88.5 282.02,-82.5 288.02,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"303.02\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">5</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;a -->\n",
+       "<!-- 5&#45;&gt;769d4 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M107.8989,-146.4551C112.0095,-138.1196 116.9795,-128.0416 121.5349,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"124.7948,-120.1071 126.0787,-109.5904 118.5167,-117.011 124.7948,-120.1071\"/>\n",
+       "<title>5&#45;&gt;769d4</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M330.22,-92.7C340.1,-89.76 351.52,-86.36 362.14,-83.19\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"363.41,-86.47 372,-80.26 361.42,-79.76 363.41,-86.47\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- 3f4c2 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-55.5C102,-55.5 132,-55.5 132,-55.5 138,-55.5 144,-61.5 144,-67.5 144,-67.5 144,-79.5 144,-79.5 144,-85.5 138,-91.5 132,-91.5 132,-91.5 102,-91.5 102,-91.5 96,-91.5 90,-85.5 90,-79.5 90,-79.5 90,-67.5 90,-67.5 90,-61.5 96,-55.5 102,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;b -->\n",
+       "<!-- 3f4c2&#45;&gt;93e8e -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>3f4c2&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-65.1C152.57,-62.5 161.7,-59.59 170.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"171.45,-60.17 179.92,-53.8 169.33,-53.5 171.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-.5C84,-.5 114,-.5 114,-.5 120,-.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-.5 84,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- a -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-0.5C102,-0.5 132,-0.5 132,-0.5 138,-0.5 144,-6.5 144,-12.5 144,-12.5 144,-24.5 144,-24.5 144,-30.5 138,-36.5 132,-36.5 132,-36.5 102,-36.5 102,-36.5 96,-36.5 90,-30.5 90,-24.5 90,-24.5 90,-12.5 90,-12.5 90,-6.5 96,-0.5 102,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;c -->\n",
+       "<!-- a&#45;&gt;93e8e -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M71.8989,-73.4551C76.0095,-65.1196 80.9795,-55.0416 85.5349,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"88.7948,-47.1071 90.0787,-36.5904 82.5167,-44.011 88.7948,-47.1071\"/>\n",
+       "<title>a&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-26.6C152.48,-29.08 161.51,-31.85 170.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"169.33,-37.91 179.92,-37.5 171.39,-31.22 169.33,-37.91\"/>\n",
        "</g>\n",
-       "<!-- cd27b -->\n",
+       "<!-- b -->\n",
        "<g id=\"node7\" class=\"node\">\n",
-       "<title>cd27b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M123,-292.5C123,-292.5 153,-292.5 153,-292.5 159,-292.5 165,-298.5 165,-304.5 165,-304.5 165,-316.5 165,-316.5 165,-322.5 159,-328.5 153,-328.5 153,-328.5 123,-328.5 123,-328.5 117,-328.5 111,-322.5 111,-316.5 111,-316.5 111,-304.5 111,-304.5 111,-298.5 117,-292.5 123,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"138\" y=\"-305.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-82.5C12,-82.5 42,-82.5 42,-82.5 48,-82.5 54,-88.5 54,-94.5 54,-94.5 54,-106.5 54,-106.5 54,-112.5 48,-118.5 42,-118.5 42,-118.5 12,-118.5 12,-118.5 6,-118.5 0,-112.5 0,-106.5 0,-106.5 0,-94.5 0,-94.5 0,-88.5 6,-82.5 12,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- cd27b&#45;&gt;fa04a -->\n",
+       "<!-- b&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>cd27b&#45;&gt;fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M128.3595,-292.4551C123.8595,-284.0319 118.4088,-273.8292 113.4315,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"116.464,-262.7613 108.6647,-255.5904 110.2898,-266.0598 116.464,-262.7613\"/>\n",
+       "<title>b&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-92.4C62.48,-89.92 71.51,-87.15 80.1,-84.51\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.39,-87.78 89.92,-81.5 79.33,-81.09 81.39,-87.78\"/>\n",
        "</g>\n",
-       "<!-- fa45e -->\n",
+       "<!-- c -->\n",
        "<g id=\"node8\" class=\"node\">\n",
-       "<title>fa45e</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M163,-219.5C163,-219.5 193,-219.5 193,-219.5 199,-219.5 205,-225.5 205,-231.5 205,-231.5 205,-243.5 205,-243.5 205,-249.5 199,-255.5 193,-255.5 193,-255.5 163,-255.5 163,-255.5 157,-255.5 151,-249.5 151,-243.5 151,-243.5 151,-231.5 151,-231.5 151,-225.5 157,-219.5 163,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"178\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">5</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-27.5C12,-27.5 42,-27.5 42,-27.5 48,-27.5 54,-33.5 54,-39.5 54,-39.5 54,-51.5 54,-51.5 54,-57.5 48,-63.5 42,-63.5 42,-63.5 12,-63.5 12,-63.5 6,-63.5 0,-57.5 0,-51.5 0,-51.5 0,-39.5 0,-39.5 0,-33.5 6,-27.5 12,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- cd27b&#45;&gt;fa45e -->\n",
+       "<!-- c&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge7\" class=\"edge\">\n",
-       "<title>cd27b&#45;&gt;fa45e</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M147.8876,-292.4551C152.5031,-284.0319 158.0936,-273.8292 163.1985,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"166.3515,-266.042 168.0875,-255.5904 160.2127,-262.6782 166.3515,-266.042\"/>\n",
+       "<title>c&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-53.9C62.57,-56.5 71.7,-59.41 80.38,-62.17\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-65.5 89.92,-65.2 81.45,-58.83 79.33,-65.5\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 17,
+     "execution_count": 12,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -576,136 +583,135 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 18,
+   "execution_count": 13,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"245px\" height=\"410px\"\n",
-       " viewBox=\"0.00 0.00 245.00 410.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 406)\">\n",
+       "<svg width=\"530px\" height=\"154px\"\n",
+       " viewBox=\"0.00 0.00 529.62 154.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 150)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-406 241,-406 241,4 -4,4\"/>\n",
-       "<!-- 5c54c -->\n",
+       "<!-- 3b827 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>5c54c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M123,-292.5C123,-292.5 153,-292.5 153,-292.5 159,-292.5 165,-298.5 165,-304.5 165,-304.5 165,-316.5 165,-316.5 165,-322.5 159,-328.5 153,-328.5 153,-328.5 123,-328.5 123,-328.5 117,-328.5 111,-322.5 111,-316.5 111,-316.5 111,-304.5 111,-304.5 111,-298.5 117,-292.5 123,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"138\" y=\"-305.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">*</text>\n",
+       "<title>3b827</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-27.5C282,-27.5 329.62,-27.5 329.62,-27.5 335.62,-27.5 341.62,-33.5 341.62,-39.5 341.62,-39.5 341.62,-51.5 341.62,-51.5 341.62,-57.5 335.62,-63.5 329.62,-63.5 329.62,-63.5 282,-63.5 282,-63.5 276,-63.5 270,-57.5 270,-51.5 270,-51.5 270,-39.5 270,-39.5 270,-33.5 276,-27.5 282,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.81\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">3b827</text>\n",
        "</g>\n",
-       "<!-- bf499 -->\n",
+       "<!-- 864c3 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>bf499</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M77.5,-219.5C77.5,-219.5 120.5,-219.5 120.5,-219.5 126.5,-219.5 132.5,-225.5 132.5,-231.5 132.5,-231.5 132.5,-243.5 132.5,-243.5 132.5,-249.5 126.5,-255.5 120.5,-255.5 120.5,-255.5 77.5,-255.5 77.5,-255.5 71.5,-255.5 65.5,-249.5 65.5,-243.5 65.5,-243.5 65.5,-231.5 65.5,-231.5 65.5,-225.5 71.5,-219.5 77.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">bf499</text>\n",
+       "<title>864c3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M389.62,-54.5C389.62,-54.5 419.62,-54.5 419.62,-54.5 425.62,-54.5 431.62,-60.5 431.62,-66.5 431.62,-66.5 431.62,-78.5 431.62,-78.5 431.62,-84.5 425.62,-90.5 419.62,-90.5 419.62,-90.5 389.62,-90.5 389.62,-90.5 383.62,-90.5 377.62,-84.5 377.62,-78.5 377.62,-78.5 377.62,-66.5 377.62,-66.5 377.62,-60.5 383.62,-54.5 389.62,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"404.62\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">*</text>\n",
        "</g>\n",
-       "<!-- 5c54c&#45;&gt;bf499 -->\n",
+       "<!-- 3b827&#45;&gt;864c3 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>5c54c&#45;&gt;bf499</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M128.3595,-292.4551C123.8595,-284.0319 118.4088,-273.8292 113.4315,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"116.464,-262.7613 108.6647,-255.5904 110.2898,-266.0598 116.464,-262.7613\"/>\n",
+       "<title>3b827&#45;&gt;864c3</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M341.76,-55.25C350.24,-57.61 359.33,-60.15 367.85,-62.53\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"366.96,-65.91 377.53,-65.22 368.84,-59.17 366.96,-65.91\"/>\n",
        "</g>\n",
-       "<!-- 17b4a -->\n",
-       "<g id=\"node8\" class=\"node\">\n",
-       "<title>17b4a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M163,-219.5C163,-219.5 193,-219.5 193,-219.5 199,-219.5 205,-225.5 205,-231.5 205,-231.5 205,-243.5 205,-243.5 205,-249.5 199,-255.5 193,-255.5 193,-255.5 163,-255.5 163,-255.5 157,-255.5 151,-249.5 151,-243.5 151,-243.5 151,-231.5 151,-231.5 151,-225.5 157,-219.5 163,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"178\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">3</text>\n",
+       "<!-- db46e -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>db46e</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M479.62,-81.5C479.62,-81.5 509.62,-81.5 509.62,-81.5 515.62,-81.5 521.62,-87.5 521.62,-93.5 521.62,-93.5 521.62,-105.5 521.62,-105.5 521.62,-111.5 515.62,-117.5 509.62,-117.5 509.62,-117.5 479.62,-117.5 479.62,-117.5 473.62,-117.5 467.62,-111.5 467.62,-105.5 467.62,-105.5 467.62,-93.5 467.62,-93.5 467.62,-87.5 473.62,-81.5 479.62,-81.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"494.62\" y=\"-93.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 5c54c&#45;&gt;17b4a -->\n",
+       "<!-- 864c3&#45;&gt;db46e -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>5c54c&#45;&gt;17b4a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M147.8876,-292.4551C152.5031,-284.0319 158.0936,-273.8292 163.1985,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"166.3515,-266.042 168.0875,-255.5904 160.2127,-262.6782 166.3515,-266.042\"/>\n",
+       "<title>864c3&#45;&gt;db46e</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M432.02,-80.6C440.1,-83.08 449.12,-85.85 457.72,-88.49\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"456.95,-91.91 467.53,-91.5 459,-85.22 456.95,-91.91\"/>\n",
        "</g>\n",
-       "<!-- 417b5 -->\n",
-       "<g id=\"node3\" class=\"node\">\n",
-       "<title>417b5</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<!-- 3 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M290.81,-82.5C290.81,-82.5 320.81,-82.5 320.81,-82.5 326.81,-82.5 332.81,-88.5 332.81,-94.5 332.81,-94.5 332.81,-106.5 332.81,-106.5 332.81,-112.5 326.81,-118.5 320.81,-118.5 320.81,-118.5 290.81,-118.5 290.81,-118.5 284.81,-118.5 278.81,-112.5 278.81,-106.5 278.81,-106.5 278.81,-94.5 278.81,-94.5 278.81,-88.5 284.81,-82.5 290.81,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"305.81\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">3</text>\n",
        "</g>\n",
-       "<!-- bf499&#45;&gt;417b5 -->\n",
+       "<!-- 3&#45;&gt;864c3 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>bf499&#45;&gt;417b5</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M99,-219.4551C99,-211.3828 99,-201.6764 99,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"102.5001,-192.5903 99,-182.5904 95.5001,-192.5904 102.5001,-192.5903\"/>\n",
+       "<title>3&#45;&gt;864c3</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M333.01,-92.92C343.66,-89.84 356.15,-86.23 367.63,-82.91\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"368.76,-86.22 377.4,-80.08 366.82,-79.5 368.76,-86.22\"/>\n",
        "</g>\n",
-       "<!-- 1ff39 -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>1ff39</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<!-- 5 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>5</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M389.62,-109.5C389.62,-109.5 419.62,-109.5 419.62,-109.5 425.62,-109.5 431.62,-115.5 431.62,-121.5 431.62,-121.5 431.62,-133.5 431.62,-133.5 431.62,-139.5 425.62,-145.5 419.62,-145.5 419.62,-145.5 389.62,-145.5 389.62,-145.5 383.62,-145.5 377.62,-139.5 377.62,-133.5 377.62,-133.5 377.62,-121.5 377.62,-121.5 377.62,-115.5 383.62,-109.5 389.62,-109.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"404.62\" y=\"-121.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">5</text>\n",
        "</g>\n",
-       "<!-- 417b5&#45;&gt;1ff39 -->\n",
+       "<!-- 5&#45;&gt;db46e -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>417b5&#45;&gt;1ff39</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M90.1011,-146.4551C85.9905,-138.1196 81.0205,-128.0416 76.4651,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"79.4833,-117.011 71.9213,-109.5904 73.2052,-120.1071 79.4833,-117.011\"/>\n",
+       "<title>5&#45;&gt;db46e</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M432.02,-119.1C440.18,-116.5 449.32,-113.59 458,-110.83\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"459.07,-114.17 467.53,-107.8 456.94,-107.5 459.07,-114.17\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node7\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- 8870c -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>8870c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-27.5C192,-27.5 222,-27.5 222,-27.5 228,-27.5 234,-33.5 234,-39.5 234,-39.5 234,-51.5 234,-51.5 234,-57.5 228,-63.5 222,-63.5 222,-63.5 192,-63.5 192,-63.5 186,-63.5 180,-57.5 180,-51.5 180,-51.5 180,-39.5 180,-39.5 180,-33.5 186,-27.5 192,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 417b5&#45;&gt;c -->\n",
+       "<!-- 8870c&#45;&gt;3b827 -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>417b5&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M107.8989,-146.4551C112.0095,-138.1196 116.9795,-128.0416 121.5349,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"124.7948,-120.1071 126.0787,-109.5904 118.5167,-117.011 124.7948,-120.1071\"/>\n",
+       "<title>8870c&#45;&gt;3b827</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.2,-45.5C242.09,-45.5 250.98,-45.5 259.73,-45.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.86,-49 269.86,-45.5 259.86,-42 259.86,-49\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- fa5f1 -->\n",
+       "<g id=\"node7\" class=\"node\">\n",
+       "<title>fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-55.5C102,-55.5 132,-55.5 132,-55.5 138,-55.5 144,-61.5 144,-67.5 144,-67.5 144,-79.5 144,-79.5 144,-85.5 138,-91.5 132,-91.5 132,-91.5 102,-91.5 102,-91.5 96,-91.5 90,-85.5 90,-79.5 90,-79.5 90,-67.5 90,-67.5 90,-61.5 96,-55.5 102,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 1ff39&#45;&gt;a -->\n",
+       "<!-- fa5f1&#45;&gt;8870c -->\n",
        "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>1ff39&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>fa5f1&#45;&gt;8870c</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-65.1C152.57,-62.5 161.7,-59.59 170.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"171.45,-60.17 179.92,-53.8 169.33,-53.5 171.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node6\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-.5C84,-.5 114,-.5 114,-.5 120,-.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-.5 84,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- c -->\n",
+       "<g id=\"node8\" class=\"node\">\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-0.5C102,-0.5 132,-0.5 132,-0.5 138,-0.5 144,-6.5 144,-12.5 144,-12.5 144,-24.5 144,-24.5 144,-30.5 138,-36.5 132,-36.5 132,-36.5 102,-36.5 102,-36.5 96,-36.5 90,-30.5 90,-24.5 90,-24.5 90,-12.5 90,-12.5 90,-6.5 96,-0.5 102,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 1ff39&#45;&gt;b -->\n",
+       "<!-- c&#45;&gt;8870c -->\n",
        "<g id=\"edge7\" class=\"edge\">\n",
-       "<title>1ff39&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M71.8989,-73.4551C76.0095,-65.1196 80.9795,-55.0416 85.5349,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"88.7948,-47.1071 90.0787,-36.5904 82.5167,-44.011 88.7948,-47.1071\"/>\n",
+       "<title>c&#45;&gt;8870c</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-26.6C152.48,-29.08 161.51,-31.85 170.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"169.33,-37.91 179.92,-37.5 171.39,-31.22 169.33,-37.91\"/>\n",
        "</g>\n",
-       "<!-- fc07a -->\n",
+       "<!-- a -->\n",
        "<g id=\"node9\" class=\"node\">\n",
-       "<title>fc07a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M159,-365.5C159,-365.5 189,-365.5 189,-365.5 195,-365.5 201,-371.5 201,-377.5 201,-377.5 201,-389.5 201,-389.5 201,-395.5 195,-401.5 189,-401.5 189,-401.5 159,-401.5 159,-401.5 153,-401.5 147,-395.5 147,-389.5 147,-389.5 147,-377.5 147,-377.5 147,-371.5 153,-365.5 159,-365.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"174\" y=\"-378.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-82.5C12,-82.5 42,-82.5 42,-82.5 48,-82.5 54,-88.5 54,-94.5 54,-94.5 54,-106.5 54,-106.5 54,-112.5 48,-118.5 42,-118.5 42,-118.5 12,-118.5 12,-118.5 6,-118.5 0,-112.5 0,-106.5 0,-106.5 0,-94.5 0,-94.5 0,-88.5 6,-82.5 12,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- fc07a&#45;&gt;5c54c -->\n",
+       "<!-- a&#45;&gt;fa5f1 -->\n",
        "<g id=\"edge8\" class=\"edge\">\n",
-       "<title>fc07a&#45;&gt;5c54c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M165.1011,-365.4551C160.9905,-357.1196 156.0205,-347.0416 151.4651,-337.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"154.4833,-336.011 146.9213,-328.5904 148.2052,-339.1071 154.4833,-336.011\"/>\n",
+       "<title>a&#45;&gt;fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-92.4C62.48,-89.92 71.51,-87.15 80.1,-84.51\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.39,-87.78 89.92,-81.5 79.33,-81.09 81.39,-87.78\"/>\n",
        "</g>\n",
-       "<!-- fbaf7 -->\n",
+       "<!-- b -->\n",
        "<g id=\"node10\" class=\"node\">\n",
-       "<title>fbaf7</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M195,-292.5C195,-292.5 225,-292.5 225,-292.5 231,-292.5 237,-298.5 237,-304.5 237,-304.5 237,-316.5 237,-316.5 237,-322.5 231,-328.5 225,-328.5 225,-328.5 195,-328.5 195,-328.5 189,-328.5 183,-322.5 183,-316.5 183,-316.5 183,-304.5 183,-304.5 183,-298.5 189,-292.5 195,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"210\" y=\"-305.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">5</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-27.5C12,-27.5 42,-27.5 42,-27.5 48,-27.5 54,-33.5 54,-39.5 54,-39.5 54,-51.5 54,-51.5 54,-57.5 48,-63.5 42,-63.5 42,-63.5 12,-63.5 12,-63.5 6,-63.5 0,-57.5 0,-51.5 0,-51.5 0,-39.5 0,-39.5 0,-33.5 6,-27.5 12,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- fc07a&#45;&gt;fbaf7 -->\n",
+       "<!-- b&#45;&gt;fa5f1 -->\n",
        "<g id=\"edge9\" class=\"edge\">\n",
-       "<title>fc07a&#45;&gt;fbaf7</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M182.8989,-365.4551C187.0095,-357.1196 191.9795,-347.0416 196.5349,-337.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"199.7948,-339.1071 201.0787,-328.5904 193.5167,-336.011 199.7948,-339.1071\"/>\n",
+       "<title>b&#45;&gt;fa5f1</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-53.9C62.57,-56.5 71.7,-59.41 80.38,-62.17\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-65.5 89.92,-65.2 81.45,-58.83 79.33,-65.5\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 18,
+     "execution_count": 13,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -716,7 +722,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 19,
+   "execution_count": 14,
    "metadata": {},
    "outputs": [
     {
@@ -725,315 +731,313 @@
        "false"
       ]
      },
-     "execution_count": 19,
+     "execution_count": 14,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "b.toGraph() == a.toGraph()"
+    "b.graph == a.graph"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 21,
+   "execution_count": 15,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "{*=-1999601991, 5=156, +=-2024355429, bf499=402653702, 3=156, +=19527988, +=461438, c=156, a=156, b=156}"
+       "{*=3008, 5=1, +=4000, 3b827=2016, 3=1, +=1985, +=993, c=1, a=1, b=1}"
       ]
      },
-     "execution_count": 21,
+     "execution_count": 15,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "b.toGraph().wl()"
+    "b.graph.wl()"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 22,
+   "execution_count": 16,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "{fa04a=402653702, 5=156, +=-1999601991, +=19527988, +=461438, a=156, b=156, c=156}"
+       "{f10e1=2016, 5=1, +=3008, +=1985, +=993, a=1, b=1, c=1}"
       ]
      },
-     "execution_count": 22,
+     "execution_count": 16,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "a.toGraph().wl()"
+    "a.graph.wl()"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 24,
+   "execution_count": 17,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "{+=19527988, bf499=402653702, +=461438, c=156, a=156, b=156}"
+       "{+=1985, 3b827=2016, +=993, c=1, a=1, b=1}"
       ]
      },
-     "execution_count": 24,
+     "execution_count": 17,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "fun1.toGraph().wl()"
+    "fun1.graph.wl()"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 25,
+   "execution_count": 18,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "{+=19527988, fa04a=402653702, +=461438, a=156, b=156, c=156}"
+       "{+=1985, f10e1=2016, +=993, a=1, b=1, c=1}"
       ]
      },
-     "execution_count": 25,
+     "execution_count": 18,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "fun2.toGraph().wl()"
+    "fun2.graph.wl()"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 26,
+   "execution_count": 19,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "{fa04a=402653702, 0=156, +=-1999601991, +=19527988, +=461438, a=156, b=156, c=156}"
+       "{f10e1=2016, 0=1, +=3008, +=1985, +=993, a=1, b=1, c=1}"
       ]
      },
-     "execution_count": 26,
+     "execution_count": 19,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "(fun2 + 0).toGraph().wl()"
+    "(fun2 + 0).graph.wl()"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 27,
+   "execution_count": 20,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"213px\" height=\"337px\"\n",
-       " viewBox=\"0.00 0.00 213.00 337.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 333)\">\n",
+       "<svg width=\"434px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 434.05 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-333 209,-333 209,4 -4,4\"/>\n",
-       "<!-- fa04a -->\n",
+       "<!-- 93e8e -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M77.5,-219.5C77.5,-219.5 120.5,-219.5 120.5,-219.5 126.5,-219.5 132.5,-225.5 132.5,-231.5 132.5,-231.5 132.5,-243.5 132.5,-243.5 132.5,-249.5 126.5,-255.5 120.5,-255.5 120.5,-255.5 77.5,-255.5 77.5,-255.5 71.5,-255.5 65.5,-249.5 65.5,-243.5 65.5,-243.5 65.5,-231.5 65.5,-231.5 65.5,-225.5 71.5,-219.5 77.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">fa04a</text>\n",
+       "<title>93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-27.5C192,-27.5 222,-27.5 222,-27.5 228,-27.5 234,-33.5 234,-39.5 234,-39.5 234,-51.5 234,-51.5 234,-57.5 228,-63.5 222,-63.5 222,-63.5 192,-63.5 192,-63.5 186,-63.5 180,-57.5 180,-51.5 180,-51.5 180,-39.5 180,-39.5 180,-33.5 186,-27.5 192,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22 -->\n",
+       "<!-- f10e1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-27.5C282,-27.5 324.05,-27.5 324.05,-27.5 330.05,-27.5 336.05,-33.5 336.05,-39.5 336.05,-39.5 336.05,-51.5 336.05,-51.5 336.05,-57.5 330.05,-63.5 324.05,-63.5 324.05,-63.5 282,-63.5 282,-63.5 276,-63.5 270,-57.5 270,-51.5 270,-51.5 270,-39.5 270,-39.5 270,-33.5 276,-27.5 282,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"303.02\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">f10e1</text>\n",
        "</g>\n",
-       "<!-- fa04a&#45;&gt;dbf22 -->\n",
+       "<!-- 93e8e&#45;&gt;f10e1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>fa04a&#45;&gt;dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M99,-219.4551C99,-211.3828 99,-201.6764 99,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"102.5001,-192.5903 99,-182.5904 95.5001,-192.5904 102.5001,-192.5903\"/>\n",
+       "<title>93e8e&#45;&gt;f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.19,-45.5C242.16,-45.5 251.13,-45.5 259.87,-45.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.95,-49 269.95,-45.5 259.95,-42 259.95,-49\"/>\n",
        "</g>\n",
-       "<!-- 4b268 -->\n",
+       "<!-- b2533 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
-       "<title>4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>b2533</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M384.05,-54.5C384.05,-54.5 414.05,-54.5 414.05,-54.5 420.05,-54.5 426.05,-60.5 426.05,-66.5 426.05,-66.5 426.05,-78.5 426.05,-78.5 426.05,-84.5 420.05,-90.5 414.05,-90.5 414.05,-90.5 384.05,-90.5 384.05,-90.5 378.05,-90.5 372.05,-84.5 372.05,-78.5 372.05,-78.5 372.05,-66.5 372.05,-66.5 372.05,-60.5 378.05,-54.5 384.05,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"399.05\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;4b268 -->\n",
+       "<!-- f10e1&#45;&gt;b2533 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M90.1011,-146.4551C85.9905,-138.1196 81.0205,-128.0416 76.4651,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"79.4833,-117.011 71.9213,-109.5904 73.2052,-120.1071 79.4833,-117.011\"/>\n",
+       "<title>f10e1&#45;&gt;b2533</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M336.12,-54.72C344.53,-57.13 353.65,-59.75 362.25,-62.22\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"361.44,-65.63 372.02,-65.02 363.37,-58.9 361.44,-65.63\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node6\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M288.02,-82.5C288.02,-82.5 318.02,-82.5 318.02,-82.5 324.02,-82.5 330.02,-88.5 330.02,-94.5 330.02,-94.5 330.02,-106.5 330.02,-106.5 330.02,-112.5 324.02,-118.5 318.02,-118.5 318.02,-118.5 288.02,-118.5 288.02,-118.5 282.02,-118.5 276.02,-112.5 276.02,-106.5 276.02,-106.5 276.02,-94.5 276.02,-94.5 276.02,-88.5 282.02,-82.5 288.02,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"303.02\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">0</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;a -->\n",
+       "<!-- 0&#45;&gt;b2533 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M107.8989,-146.4551C112.0095,-138.1196 116.9795,-128.0416 121.5349,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"124.7948,-120.1071 126.0787,-109.5904 118.5167,-117.011 124.7948,-120.1071\"/>\n",
+       "<title>0&#45;&gt;b2533</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M330.22,-92.7C340.1,-89.76 351.52,-86.36 362.14,-83.19\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"363.41,-86.47 372,-80.26 361.42,-79.76 363.41,-86.47\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- 3f4c2 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-55.5C102,-55.5 132,-55.5 132,-55.5 138,-55.5 144,-61.5 144,-67.5 144,-67.5 144,-79.5 144,-79.5 144,-85.5 138,-91.5 132,-91.5 132,-91.5 102,-91.5 102,-91.5 96,-91.5 90,-85.5 90,-79.5 90,-79.5 90,-67.5 90,-67.5 90,-61.5 96,-55.5 102,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;b -->\n",
+       "<!-- 3f4c2&#45;&gt;93e8e -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>3f4c2&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-65.1C152.57,-62.5 161.7,-59.59 170.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"171.45,-60.17 179.92,-53.8 169.33,-53.5 171.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-.5C84,-.5 114,-.5 114,-.5 120,-.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-.5 84,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- a -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-0.5C102,-0.5 132,-0.5 132,-0.5 138,-0.5 144,-6.5 144,-12.5 144,-12.5 144,-24.5 144,-24.5 144,-30.5 138,-36.5 132,-36.5 132,-36.5 102,-36.5 102,-36.5 96,-36.5 90,-30.5 90,-24.5 90,-24.5 90,-12.5 90,-12.5 90,-6.5 96,-0.5 102,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;c -->\n",
+       "<!-- a&#45;&gt;93e8e -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M71.8989,-73.4551C76.0095,-65.1196 80.9795,-55.0416 85.5349,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"88.7948,-47.1071 90.0787,-36.5904 82.5167,-44.011 88.7948,-47.1071\"/>\n",
+       "<title>a&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-26.6C152.48,-29.08 161.51,-31.85 170.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"169.33,-37.91 179.92,-37.5 171.39,-31.22 169.33,-37.91\"/>\n",
        "</g>\n",
-       "<!-- 37a2d -->\n",
+       "<!-- b -->\n",
        "<g id=\"node7\" class=\"node\">\n",
-       "<title>37a2d</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M123,-292.5C123,-292.5 153,-292.5 153,-292.5 159,-292.5 165,-298.5 165,-304.5 165,-304.5 165,-316.5 165,-316.5 165,-322.5 159,-328.5 153,-328.5 153,-328.5 123,-328.5 123,-328.5 117,-328.5 111,-322.5 111,-316.5 111,-316.5 111,-304.5 111,-304.5 111,-298.5 117,-292.5 123,-292.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"138\" y=\"-305.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-82.5C12,-82.5 42,-82.5 42,-82.5 48,-82.5 54,-88.5 54,-94.5 54,-94.5 54,-106.5 54,-106.5 54,-112.5 48,-118.5 42,-118.5 42,-118.5 12,-118.5 12,-118.5 6,-118.5 0,-112.5 0,-106.5 0,-106.5 0,-94.5 0,-94.5 0,-88.5 6,-82.5 12,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- 37a2d&#45;&gt;fa04a -->\n",
+       "<!-- b&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge6\" class=\"edge\">\n",
-       "<title>37a2d&#45;&gt;fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M128.3595,-292.4551C123.8595,-284.0319 118.4088,-273.8292 113.4315,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"116.464,-262.7613 108.6647,-255.5904 110.2898,-266.0598 116.464,-262.7613\"/>\n",
+       "<title>b&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-92.4C62.48,-89.92 71.51,-87.15 80.1,-84.51\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.39,-87.78 89.92,-81.5 79.33,-81.09 81.39,-87.78\"/>\n",
        "</g>\n",
-       "<!-- c553e -->\n",
+       "<!-- c -->\n",
        "<g id=\"node8\" class=\"node\">\n",
-       "<title>c553e</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M163,-219.5C163,-219.5 193,-219.5 193,-219.5 199,-219.5 205,-225.5 205,-231.5 205,-231.5 205,-243.5 205,-243.5 205,-249.5 199,-255.5 193,-255.5 193,-255.5 163,-255.5 163,-255.5 157,-255.5 151,-249.5 151,-243.5 151,-243.5 151,-231.5 151,-231.5 151,-225.5 157,-219.5 163,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"178\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">0</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-27.5C12,-27.5 42,-27.5 42,-27.5 48,-27.5 54,-33.5 54,-39.5 54,-39.5 54,-51.5 54,-51.5 54,-57.5 48,-63.5 42,-63.5 42,-63.5 12,-63.5 12,-63.5 6,-63.5 0,-57.5 0,-51.5 0,-51.5 0,-39.5 0,-39.5 0,-33.5 6,-27.5 12,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- 37a2d&#45;&gt;c553e -->\n",
+       "<!-- c&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge7\" class=\"edge\">\n",
-       "<title>37a2d&#45;&gt;c553e</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M147.8876,-292.4551C152.5031,-284.0319 158.0936,-273.8292 163.1985,-264.5128\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"166.3515,-266.042 168.0875,-255.5904 160.2127,-262.6782 166.3515,-266.042\"/>\n",
+       "<title>c&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-53.9C62.57,-56.5 71.7,-59.41 80.38,-62.17\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-65.5 89.92,-65.2 81.45,-58.83 79.33,-65.5\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 27,
+     "execution_count": 20,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "(fun2 + 0).toGraph()"
+    "(fun2 + 0).graph"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 28,
+   "execution_count": 21,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/html": [
-       "<svg width=\"170px\" height=\"264px\"\n",
-       " viewBox=\"0.00 0.00 170.00 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 260)\">\n",
+       "<svg width=\"344px\" height=\"127px\"\n",
+       " viewBox=\"0.00 0.00 344.05 127.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1.0 1.0) rotate(0) translate(4 123)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-260 166,-260 166,4 -4,4\"/>\n",
-       "<!-- dbf22 -->\n",
+       "<!-- 3f4c2 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
-       "<title>dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-146.5C84,-146.5 114,-146.5 114,-146.5 120,-146.5 126,-152.5 126,-158.5 126,-158.5 126,-170.5 126,-170.5 126,-176.5 120,-182.5 114,-182.5 114,-182.5 84,-182.5 84,-182.5 78,-182.5 72,-176.5 72,-170.5 72,-170.5 72,-158.5 72,-158.5 72,-152.5 78,-146.5 84,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-159.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-27.5C102,-27.5 132,-27.5 132,-27.5 138,-27.5 144,-33.5 144,-39.5 144,-39.5 144,-51.5 144,-51.5 144,-57.5 138,-63.5 132,-63.5 132,-63.5 102,-63.5 102,-63.5 96,-63.5 90,-57.5 90,-51.5 90,-51.5 90,-39.5 90,-39.5 90,-33.5 96,-27.5 102,-27.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-39.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- 4b268 -->\n",
+       "<!-- 93e8e -->\n",
        "<g id=\"node2\" class=\"node\">\n",
-       "<title>4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M48,-73.5C48,-73.5 78,-73.5 78,-73.5 84,-73.5 90,-79.5 90,-85.5 90,-85.5 90,-97.5 90,-97.5 90,-103.5 84,-109.5 78,-109.5 78,-109.5 48,-109.5 48,-109.5 42,-109.5 36,-103.5 36,-97.5 36,-97.5 36,-85.5 36,-85.5 36,-79.5 42,-73.5 48,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"63\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">+</text>\n",
+       "<title>93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M192,-54.5C192,-54.5 222,-54.5 222,-54.5 228,-54.5 234,-60.5 234,-66.5 234,-66.5 234,-78.5 234,-78.5 234,-84.5 228,-90.5 222,-90.5 222,-90.5 192,-90.5 192,-90.5 186,-90.5 180,-84.5 180,-78.5 180,-78.5 180,-66.5 180,-66.5 180,-60.5 186,-54.5 192,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"207\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">+</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;4b268 -->\n",
+       "<!-- 3f4c2&#45;&gt;93e8e -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;4b268</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M90.1011,-146.4551C85.9905,-138.1196 81.0205,-128.0416 76.4651,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"79.4833,-117.011 71.9213,-109.5904 73.2052,-120.1071 79.4833,-117.011\"/>\n",
+       "<title>3f4c2&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M144.4,-53.6C152.48,-56.08 161.51,-58.85 170.1,-61.49\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"169.33,-64.91 179.92,-64.5 171.39,-58.22 169.33,-64.91\"/>\n",
        "</g>\n",
-       "<!-- a -->\n",
-       "<g id=\"node5\" class=\"node\">\n",
-       "<title>a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M120,-73.5C120,-73.5 150,-73.5 150,-73.5 156,-73.5 162,-79.5 162,-85.5 162,-85.5 162,-97.5 162,-97.5 162,-103.5 156,-109.5 150,-109.5 150,-109.5 120,-109.5 120,-109.5 114,-109.5 108,-103.5 108,-97.5 108,-97.5 108,-85.5 108,-85.5 108,-79.5 114,-73.5 120,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-86.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">a</text>\n",
+       "<!-- f10e1 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M282,-54.5C282,-54.5 324.05,-54.5 324.05,-54.5 330.05,-54.5 336.05,-60.5 336.05,-66.5 336.05,-66.5 336.05,-78.5 336.05,-78.5 336.05,-84.5 330.05,-90.5 324.05,-90.5 324.05,-90.5 282,-90.5 282,-90.5 276,-90.5 270,-84.5 270,-78.5 270,-78.5 270,-66.5 270,-66.5 270,-60.5 276,-54.5 282,-54.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"303.02\" y=\"-66.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">f10e1</text>\n",
        "</g>\n",
-       "<!-- dbf22&#45;&gt;a -->\n",
+       "<!-- 93e8e&#45;&gt;f10e1 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
-       "<title>dbf22&#45;&gt;a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M107.8989,-146.4551C112.0095,-138.1196 116.9795,-128.0416 121.5349,-118.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"124.7948,-120.1071 126.0787,-109.5904 118.5167,-117.011 124.7948,-120.1071\"/>\n",
+       "<title>93e8e&#45;&gt;f10e1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M234.19,-72.5C242.16,-72.5 251.13,-72.5 259.87,-72.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" stroke-width=\"4\" points=\"259.95,-76 269.95,-72.5 259.95,-69 259.95,-76\"/>\n",
        "</g>\n",
-       "<!-- b -->\n",
-       "<g id=\"node3\" class=\"node\">\n",
-       "<title>b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M12,-.5C12,-.5 42,-.5 42,-.5 48,-.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-.5 12,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"27\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">b</text>\n",
+       "<!-- a -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>a</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M102,-82.5C102,-82.5 132,-82.5 132,-82.5 138,-82.5 144,-88.5 144,-94.5 144,-94.5 144,-106.5 144,-106.5 144,-112.5 138,-118.5 132,-118.5 132,-118.5 102,-118.5 102,-118.5 96,-118.5 90,-112.5 90,-106.5 90,-106.5 90,-94.5 90,-94.5 90,-88.5 96,-82.5 102,-82.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"117\" y=\"-94.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">a</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;b -->\n",
+       "<!-- a&#45;&gt;93e8e -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;b</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M54.1011,-73.4551C49.9905,-65.1196 45.0205,-55.0416 40.4651,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"43.4833,-44.011 35.9213,-36.5904 37.2052,-47.1071 43.4833,-44.011\"/>\n",
+       "<title>a&#45;&gt;93e8e</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M144.4,-92.1C152.57,-89.5 161.7,-86.59 170.38,-83.83\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"171.45,-87.17 179.92,-80.8 169.33,-80.5 171.45,-87.17\"/>\n",
        "</g>\n",
-       "<!-- c -->\n",
-       "<g id=\"node4\" class=\"node\">\n",
-       "<title>c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M84,-.5C84,-.5 114,-.5 114,-.5 120,-.5 126,-6.5 126,-12.5 126,-12.5 126,-24.5 126,-24.5 126,-30.5 120,-36.5 114,-36.5 114,-36.5 84,-36.5 84,-36.5 78,-36.5 72,-30.5 72,-24.5 72,-24.5 72,-12.5 72,-12.5 72,-6.5 78,-.5 84,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-13.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">c</text>\n",
+       "<!-- b -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>b</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-55.5C12,-55.5 42,-55.5 42,-55.5 48,-55.5 54,-61.5 54,-67.5 54,-67.5 54,-79.5 54,-79.5 54,-85.5 48,-91.5 42,-91.5 42,-91.5 12,-91.5 12,-91.5 6,-91.5 0,-85.5 0,-79.5 0,-79.5 0,-67.5 0,-67.5 0,-61.5 6,-55.5 12,-55.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-67.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">b</text>\n",
        "</g>\n",
-       "<!-- 4b268&#45;&gt;c -->\n",
+       "<!-- b&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
-       "<title>4b268&#45;&gt;c</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M71.8989,-73.4551C76.0095,-65.1196 80.9795,-55.0416 85.5349,-45.8042\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"88.7948,-47.1071 90.0787,-36.5904 82.5167,-44.011 88.7948,-47.1071\"/>\n",
+       "<title>b&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"blue\" stroke-width=\"4\" d=\"M54.4,-65.1C62.57,-62.5 71.7,-59.59 80.38,-56.83\"/>\n",
+       "<polygon fill=\"blue\" stroke=\"blue\" stroke-width=\"4\" points=\"81.45,-60.17 89.92,-53.8 79.33,-53.5 81.45,-60.17\"/>\n",
        "</g>\n",
-       "<!-- fa04a -->\n",
+       "<!-- c -->\n",
        "<g id=\"node6\" class=\"node\">\n",
-       "<title>fa04a</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M77.5,-219.5C77.5,-219.5 120.5,-219.5 120.5,-219.5 126.5,-219.5 132.5,-225.5 132.5,-231.5 132.5,-231.5 132.5,-243.5 132.5,-243.5 132.5,-249.5 126.5,-255.5 120.5,-255.5 120.5,-255.5 77.5,-255.5 77.5,-255.5 71.5,-255.5 65.5,-249.5 65.5,-243.5 65.5,-243.5 65.5,-231.5 65.5,-231.5 65.5,-225.5 71.5,-219.5 77.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"99\" y=\"-232.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\" fill=\"#000000\">fa04a</text>\n",
+       "<title>c</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-width=\"4\" d=\"M12,-0.5C12,-0.5 42,-0.5 42,-0.5 48,-0.5 54,-6.5 54,-12.5 54,-12.5 54,-24.5 54,-24.5 54,-30.5 48,-36.5 42,-36.5 42,-36.5 12,-36.5 12,-36.5 6,-36.5 0,-30.5 0,-24.5 0,-24.5 0,-12.5 0,-12.5 0,-6.5 6,-0.5 12,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"27\" y=\"-12.5\" font-family=\"Helvetica,sans-Serif\" font-size=\"20.00\">c</text>\n",
        "</g>\n",
-       "<!-- fa04a&#45;&gt;dbf22 -->\n",
+       "<!-- c&#45;&gt;3f4c2 -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
-       "<title>fa04a&#45;&gt;dbf22</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" stroke-width=\"4\" d=\"M99,-219.4551C99,-211.3828 99,-201.6764 99,-192.6817\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" stroke-width=\"4\" points=\"102.5001,-192.5903 99,-182.5904 95.5001,-192.5904 102.5001,-192.5903\"/>\n",
+       "<title>c&#45;&gt;3f4c2</title>\n",
+       "<path fill=\"none\" stroke=\"red\" stroke-width=\"4\" d=\"M54.4,-26.6C62.48,-29.08 71.51,-31.85 80.1,-34.49\"/>\n",
+       "<polygon fill=\"red\" stroke=\"red\" stroke-width=\"4\" points=\"79.33,-37.91 89.92,-37.5 81.39,-31.22 79.33,-37.91\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ]
      },
-     "execution_count": 28,
+     "execution_count": 21,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1044,16 +1048,16 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 29,
+   "execution_count": 22,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "97136706"
+       "95708209"
       ]
      },
-     "execution_count": 29,
+     "execution_count": 22,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1064,16 +1068,16 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 30,
+   "execution_count": 23,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "93595536"
+       "50074510"
       ]
      },
-     "execution_count": 30,
+     "execution_count": 23,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1084,10 +1088,23 @@
   },
   {
    "cell_type": "code",
-   "execution_count": null,
+   "execution_count": 24,
    "metadata": {},
-   "outputs": [],
-   "source": []
+   "outputs": [
+    {
+     "data": {
+      "text/html": [
+       "<img src=\"data:image/jpg;base64,iVBORw0KGgoAAAANSUhEUgAAAHgAAAB4CAIAAAC2BqGFAAABIklEQVR4Xu3QsVUEQAxDQei/Duo88lViE5hAM+83IH19lfl8/0918oKb6uQFN9XJC26qkxfcVCcvuKlOXnBTnbzgpjp5wU118oKb6uQFN9XJC26qkxfcVCcvuKlOXnBTnbzgpjp5wU118oKb6uQFN9XJC276N5+fn78XM+bVeb9bFffNq/N+tyrum1fn/W5V3DevzvvdqrhvXp33u1Vx37w673er4r55dd7vVsV98+q8362K++bVeb9bFffNq/N+tyrum1fn/W5V3DevzvvdqrhvXp33u1Vx37w673er4r55dd7vVsV98+q8362K++bVeb9bFffNq/N+tyrum1fn/W5V3DcPAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA4MovZmhCiX9ywMwAAAAASUVORK5CYII=\"/>"
+      ]
+     },
+     "execution_count": 24,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "fun1.graph.ANORM.let { it * it }"
+   ]
   }
  ],
  "metadata": {