diff --git a/examples/Introduction.ipynb b/examples/Introduction.ipynb
index 2f0a352..251b27c 100644
--- a/examples/Introduction.ipynb
+++ b/examples/Introduction.ipynb
@@ -222,231 +222,255 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.30.1 (20201013.1554)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"734pt\" height=\"365pt\"\n",
-       " viewBox=\"0.00 0.00 734.00 365.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"816pt\" height=\"365pt\"\n",
+       " viewBox=\"0.00 0.00 816.00 365.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 1) rotate(0) translate(4 361)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-361 731,-361 731,5 -4,5\"/>\n",
-       "<!-- 0 -->\n",
-       "<g id=\"node1\" class=\"node\"><title>0</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-72.5 0,-125.5 104,-125.5 104,-72.5 0,-72.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-108.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"0,-99.5 23,-99.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-82.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"23,-72.5 23,-125.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"52\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">0 [4]</text>\n",
-       "<text text-anchor=\"middle\" x=\"52\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">DFFX1</text>\n",
-       "<text text-anchor=\"middle\" x=\"52\" y=\"-80.3\" font-family=\"Times,serif\" font-size=\"14.00\">carry</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"81,-72.5 81,-125.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"92.5\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 1 -->\n",
-       "<g id=\"node5\" class=\"node\"><title>1</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"148.5,-159.5 148.5,-212.5 259.5,-212.5 259.5,-159.5 148.5,-159.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"160\" y=\"-182.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"171.5,-159.5 171.5,-212.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-197.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-182.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-167.3\" font-family=\"Times,serif\" font-size=\"14.00\">cin</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"236.5,-159.5 236.5,-212.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"248\" y=\"-182.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 0&#45;&gt;1 -->\n",
-       "<g id=\"edge1\" class=\"edge\"><title>0:o0&#45;&gt;1:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M104,-99C133.937,-99 126.647,-129.018 148,-150 149.143,-151.123 150.465,-151.784 151.804,-152.244\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"149.805,-155.117 160,-158 153.828,-149.389 149.805,-155.117\"/>\n",
-       "<text text-anchor=\"middle\" x=\"126\" y=\"-120.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 5 -->\n",
-       "<g id=\"node2\" class=\"node\"><title>5</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"8.5,-0.5 8.5,-53.5 95.5,-53.5 95.5,-0.5 8.5,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"18.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"28.5,-0.5 28.5,-53.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-38.3\" font-family=\"Times,serif\" font-size=\"14.00\">5 [0]</text>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-8.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"72.5,-0.5 72.5,-53.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"84\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 6 -->\n",
-       "<g id=\"node6\" class=\"node\"><title>6</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"148.5,-87.5 148.5,-140.5 259.5,-140.5 259.5,-87.5 148.5,-87.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"160\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"171.5,-87.5 171.5,-140.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-125.3\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"236.5,-87.5 236.5,-140.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"248\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 5&#45;&gt;6 -->\n",
-       "<g id=\"edge4\" class=\"edge\"><title>5:o0&#45;&gt;6:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M97,-27C131.765,-27 155.26,-43.9502 159.359,-75.6805\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"155.887,-76.2361 160,-86 162.874,-75.8023 155.887,-76.2361\"/>\n",
-       "<text text-anchor=\"middle\" x=\"126\" y=\"-37.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
-       "</g>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-361 812,-361 812,4 -4,4\"/>\n",
        "<!-- 7 -->\n",
-       "<g id=\"node3\" class=\"node\"><title>7</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"8.5,-303.5 8.5,-356.5 95.5,-356.5 95.5,-303.5 8.5,-303.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"18.5\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"28.5,-303.5 28.5,-356.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-341.3\" font-family=\"Times,serif\" font-size=\"14.00\">7 [1]</text>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-311.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"72.5,-303.5 72.5,-356.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"84\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node1\" class=\"node\">\n",
+       "<title>7</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"8.5,-303.5 8.5,-356.5 109.5,-356.5 109.5,-303.5 8.5,-303.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"19\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"29.5,-303.5 29.5,-356.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-341.3\" font-family=\"Times,serif\" font-size=\"14.00\">7 [1]</text>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-311.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"83.5,-303.5 83.5,-356.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"96.5\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 8 -->\n",
-       "<g id=\"node7\" class=\"node\"><title>8</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"148.5,-303.5 148.5,-356.5 259.5,-356.5 259.5,-303.5 148.5,-303.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"160\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"171.5,-303.5 171.5,-356.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-341.3\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-311.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"236.5,-303.5 236.5,-356.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"248\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>8</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"164,-303.5 164,-356.5 288,-356.5 288,-303.5 164,-303.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"177\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"190,-303.5 190,-356.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-341.3\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-311.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"262,-303.5 262,-356.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"275\" y=\"-326.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 7&#45;&gt;8 -->\n",
-       "<g id=\"edge5\" class=\"edge\"><title>7:o0&#45;&gt;8:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M97,-330C115.771,-330 122.883,-330 137.646,-330\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"138,-333.5 148,-330 138,-326.5 138,-333.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"126\" y=\"-333.8\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
+       "<title>7:o0&#45;&gt;8:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M111,-330C130.69,-330 138.04,-330 153.68,-330\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"154,-333.5 164,-330 154,-326.5 154,-333.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"141\" y=\"-333.8\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "</g>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node2\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-72.5 0,-125.5 118,-125.5 118,-72.5 0,-72.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-108.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"0,-99.5 26,-99.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-82.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"26,-72.5 26,-125.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"59\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">0 [4]</text>\n",
+       "<text text-anchor=\"middle\" x=\"59\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">DFFX1</text>\n",
+       "<text text-anchor=\"middle\" x=\"59\" y=\"-80.3\" font-family=\"Times,serif\" font-size=\"14.00\">carry</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"92,-72.5 92,-125.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"105\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "</g>\n",
+       "<!-- 1 -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>1</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"164,-159.5 164,-212.5 288,-212.5 288,-159.5 164,-159.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"177\" y=\"-182.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"190,-159.5 190,-212.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-197.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-182.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-167.3\" font-family=\"Times,serif\" font-size=\"14.00\">cin</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"262,-159.5 262,-212.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"275\" y=\"-182.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "</g>\n",
+       "<!-- 0&#45;&gt;1 -->\n",
+       "<g id=\"edge1\" class=\"edge\">\n",
+       "<title>0:o0&#45;&gt;1:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M118,-99C148.52,-99 141.45,-129.43 164,-150 165.41,-151.29 167.05,-151.94 168.69,-152.38\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"166.76,-155.29 177,-158 170.68,-149.5 166.76,-155.29\"/>\n",
+       "<text text-anchor=\"middle\" x=\"141\" y=\"-124.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 9 -->\n",
-       "<g id=\"node4\" class=\"node\"><title>9</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"8.5,-231.5 8.5,-284.5 95.5,-284.5 95.5,-231.5 8.5,-231.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"18.5\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"28.5,-231.5 28.5,-284.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-269.3\" font-family=\"Times,serif\" font-size=\"14.00\">9 [2]</text>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-239.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"72.5,-231.5 72.5,-284.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"84\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>9</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"8.5,-231.5 8.5,-284.5 109.5,-284.5 109.5,-231.5 8.5,-231.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"19\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"29.5,-231.5 29.5,-284.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-269.3\" font-family=\"Times,serif\" font-size=\"14.00\">9 [2]</text>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-239.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"83.5,-231.5 83.5,-284.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"96.5\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 10 -->\n",
-       "<g id=\"node8\" class=\"node\"><title>10</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"148.5,-231.5 148.5,-284.5 259.5,-284.5 259.5,-231.5 148.5,-231.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"160\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"171.5,-231.5 171.5,-284.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-269.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"204\" y=\"-239.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"236.5,-231.5 236.5,-284.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"248\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node7\" class=\"node\">\n",
+       "<title>10</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"164,-231.5 164,-284.5 288,-284.5 288,-231.5 164,-231.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"177\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"190,-231.5 190,-284.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-269.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-239.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"262,-231.5 262,-284.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"275\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 9&#45;&gt;10 -->\n",
-       "<g id=\"edge6\" class=\"edge\"><title>9:o0&#45;&gt;10:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M97,-258C115.771,-258 122.883,-258 137.646,-258\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"138,-261.5 148,-258 138,-254.5 138,-261.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"126\" y=\"-261.8\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>9:o0&#45;&gt;10:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M111,-258C130.69,-258 138.04,-258 153.68,-258\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"154,-261.5 164,-258 154,-254.5 154,-261.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"141\" y=\"-261.8\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n",
        "</g>\n",
-       "<!-- 2 -->\n",
-       "<g id=\"node9\" class=\"node\"><title>2</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"310,-189.5 310,-258.5 426,-258.5 426,-189.5 310,-189.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"321.5\" y=\"-243.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"310,-235.5 333,-235.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"321.5\" y=\"-220.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"310,-212.5 333,-212.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"321.5\" y=\"-197.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"333,-189.5 333,-258.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"368\" y=\"-235.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
-       "<text text-anchor=\"middle\" x=\"368\" y=\"-220.3\" font-family=\"Times,serif\" font-size=\"14.00\">ADDFX1</text>\n",
-       "<text text-anchor=\"middle\" x=\"368\" y=\"-205.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"403,-189.5 403,-258.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"414.5\" y=\"-237.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"403,-224.5 426,-224.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"414.5\" y=\"-203.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<!-- 5 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>5</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"8.5,-0.5 8.5,-53.5 109.5,-53.5 109.5,-0.5 8.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"19\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"29.5,-0.5 29.5,-53.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-38.3\" font-family=\"Times,serif\" font-size=\"14.00\">5 [0]</text>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"56.5\" y=\"-8.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"83.5,-0.5 83.5,-53.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"96.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 1&#45;&gt;2 -->\n",
-       "<g id=\"edge11\" class=\"edge\"><title>1:o0&#45;&gt;2:i2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M260,-186C279.394,-186 285.091,-196.482 299.991,-199.921\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"299.683,-203.408 310,-201 300.433,-196.449 299.683,-203.408\"/>\n",
-       "<text text-anchor=\"middle\" x=\"285\" y=\"-199.8\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
+       "<!-- 6 -->\n",
+       "<g id=\"node8\" class=\"node\">\n",
+       "<title>6</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"164,-87.5 164,-140.5 288,-140.5 288,-87.5 164,-87.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"177\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"190,-87.5 190,-140.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-125.3\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"226\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"262,-87.5 262,-140.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"275\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 6&#45;&gt;0 -->\n",
-       "<g id=\"edge8\" class=\"edge\"><title>6:o0&#45;&gt;0:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M248,-142C248,-153.647 63.2922,-143.321 20.0013,-131.664\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"21.4891,-128.493 11,-127 18.2685,-134.708 21.4891,-128.493\"/>\n",
-       "<text text-anchor=\"middle\" x=\"126\" y=\"-147.8\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n",
+       "<!-- 5&#45;&gt;6 -->\n",
+       "<g id=\"edge4\" class=\"edge\">\n",
+       "<title>5:o0&#45;&gt;6:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M111,-27C146.81,-27 172.11,-43.28 176.36,-75.87\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"172.88,-76.24 177,-86 179.87,-75.8 172.88,-76.24\"/>\n",
+       "<text text-anchor=\"middle\" x=\"141\" y=\"-37.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "</g>\n",
+       "<!-- 2 -->\n",
+       "<g id=\"node9\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"343,-189.5 343,-258.5 472,-258.5 472,-189.5 343,-189.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"356\" y=\"-243.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"343,-235.5 369,-235.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"356\" y=\"-220.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"343,-212.5 369,-212.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"356\" y=\"-197.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"369,-189.5 369,-258.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"407.5\" y=\"-235.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<text text-anchor=\"middle\" x=\"407.5\" y=\"-220.3\" font-family=\"Times,serif\" font-size=\"14.00\">ADDFX1</text>\n",
+       "<text text-anchor=\"middle\" x=\"407.5\" y=\"-205.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"446,-189.5 446,-258.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"459\" y=\"-237.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"446,-224.5 472,-224.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"459\" y=\"-203.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 8&#45;&gt;2 -->\n",
-       "<g id=\"edge9\" class=\"edge\"><title>8:o0&#45;&gt;2:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M260,-330C297.72,-330 317.449,-305.993 320.562,-270.351\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"324.074,-270.139 321,-260 317.08,-269.843 324.074,-270.139\"/>\n",
-       "<text text-anchor=\"middle\" x=\"285\" y=\"-330.8\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "<g id=\"edge9\" class=\"edge\">\n",
+       "<title>8:o0&#45;&gt;2:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M288,-330C327.67,-330 351.39,-307.43 355.01,-270.3\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"358.52,-270.15 355.5,-260 351.53,-269.82 358.52,-270.15\"/>\n",
+       "<text text-anchor=\"middle\" x=\"315.5\" y=\"-330.8\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;2 -->\n",
+       "<g id=\"edge11\" class=\"edge\">\n",
+       "<title>1:o0&#45;&gt;2:i2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M288,-186C309.58,-186 315.92,-196.88 332.97,-200.11\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"332.73,-203.6 343,-201 333.35,-196.63 332.73,-203.6\"/>\n",
+       "<text text-anchor=\"middle\" x=\"315.5\" y=\"-201.8\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- 10&#45;&gt;2 -->\n",
-       "<g id=\"edge10\" class=\"edge\"><title>10:o0&#45;&gt;2:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M260,-258C282.884,-258 283.564,-233.345 299.857,-226.025\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"300.879,-229.39 310,-224 299.508,-222.526 300.879,-229.39\"/>\n",
-       "<text text-anchor=\"middle\" x=\"285\" y=\"-252.8\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
+       "<g id=\"edge10\" class=\"edge\">\n",
+       "<title>10:o0&#45;&gt;2:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M288,-258C312.92,-258 314.37,-232.43 333.06,-225.64\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"333.7,-229.08 343,-224 332.56,-222.17 333.7,-229.08\"/>\n",
+       "<text text-anchor=\"middle\" x=\"315.5\" y=\"-255.8\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
+       "</g>\n",
+       "<!-- 6&#45;&gt;0 -->\n",
+       "<g id=\"edge8\" class=\"edge\">\n",
+       "<title>6:o0&#45;&gt;0:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M275,-142C275,-154.96 68.09,-144.55 22.02,-131.84\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"23.47,-128.65 13,-127 20.15,-134.81 23.47,-128.65\"/>\n",
+       "<text text-anchor=\"middle\" x=\"141\" y=\"-149.8\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n",
        "</g>\n",
        "<!-- 3 -->\n",
-       "<g id=\"node10\" class=\"node\"><title>3</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"470.5,-215.5 470.5,-268.5 581.5,-268.5 581.5,-215.5 470.5,-215.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"482\" y=\"-238.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"493.5,-215.5 493.5,-268.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"526\" y=\"-253.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
-       "<text text-anchor=\"middle\" x=\"526\" y=\"-238.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"526\" y=\"-223.3\" font-family=\"Times,serif\" font-size=\"14.00\">cout</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"558.5,-215.5 558.5,-268.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"570\" y=\"-238.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node10\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"518,-215.5 518,-268.5 642,-268.5 642,-215.5 518,-215.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"531\" y=\"-238.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"544,-215.5 544,-268.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"580\" y=\"-253.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<text text-anchor=\"middle\" x=\"580\" y=\"-238.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"580\" y=\"-223.3\" font-family=\"Times,serif\" font-size=\"14.00\">cout</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"616,-215.5 616,-268.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"629\" y=\"-238.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 2&#45;&gt;3 -->\n",
-       "<g id=\"edge2\" class=\"edge\"><title>2:o0&#45;&gt;3:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M426,-242C441.583,-242 447.853,-242 459.653,-242\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"460,-245.5 470,-242 460,-238.5 460,-245.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"448\" y=\"-245.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"edge2\" class=\"edge\">\n",
+       "<title>2:o0&#45;&gt;3:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M472,-242C488.61,-242 495.1,-242 507.92,-242\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"508,-245.5 518,-242 508,-238.5 508,-245.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"495\" y=\"-245.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 4 -->\n",
-       "<g id=\"node11\" class=\"node\"><title>4</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"470.5,-143.5 470.5,-196.5 581.5,-196.5 581.5,-143.5 470.5,-143.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"482\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"493.5,-143.5 493.5,-196.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"526\" y=\"-181.3\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
-       "<text text-anchor=\"middle\" x=\"526\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"526\" y=\"-151.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"558.5,-143.5 558.5,-196.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"570\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node11\" class=\"node\">\n",
+       "<title>4</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"518,-143.5 518,-196.5 642,-196.5 642,-143.5 518,-143.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"531\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"544,-143.5 544,-196.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"580\" y=\"-181.3\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "<text text-anchor=\"middle\" x=\"580\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"580\" y=\"-151.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"616,-143.5 616,-196.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"629\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 2&#45;&gt;4 -->\n",
-       "<g id=\"edge3\" class=\"edge\"><title>2:o1&#45;&gt;4:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M426,-207C447.558,-207 445.871,-180.659 460.165,-172.428\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"461.13,-175.795 470,-170 459.453,-168.999 461.13,-175.795\"/>\n",
-       "<text text-anchor=\"middle\" x=\"448\" y=\"-198.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>2:o1&#45;&gt;4:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M472,-207C494.14,-207 492.99,-180.66 507.85,-172.43\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"509.09,-175.73 518,-170 507.46,-168.92 509.09,-175.73\"/>\n",
+       "<text text-anchor=\"middle\" x=\"495\" y=\"-200.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
        "</g>\n",
        "<!-- 3&#45;&gt;0 -->\n",
-       "<g id=\"edge7\" class=\"edge\"><title>3:o0&#45;&gt;0:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M570,-214C570,-202.853 479.517,-211.803 470,-206 457.048,-198.102 463.144,-187.292 452,-177 381.469,-111.86 352.85,-102.427 260,-78 192.899,-60.3466 173.364,-73.7065 104,-72 95.808,-71.7985 42.1297,-64.7898 20.2546,-67.0491\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"18.8227,-63.8547 11,-71 21.5712,-70.2926 18.8227,-63.8547\"/>\n",
-       "<text text-anchor=\"middle\" x=\"285\" y=\"-89.8\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>3:o0&#45;&gt;0:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M629,-214C629,-201.63 528.58,-212.4 518,-206 505.02,-198.15 511.34,-187.07 500,-177 422.24,-107.96 389.11,-102.32 288,-78 214.49,-60.32 193.58,-73.69 118,-72 108.57,-71.79 45.74,-63.64 22.03,-66.69\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"20.52,-63.54 13,-71 23.53,-69.85 20.52,-63.54\"/>\n",
+       "<text text-anchor=\"middle\" x=\"315.5\" y=\"-90.8\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
        "</g>\n",
        "<!-- 11 -->\n",
-       "<g id=\"node12\" class=\"node\"><title>11</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"632,-143.5 632,-196.5 726,-196.5 726,-143.5 632,-143.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"643.5\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"655,-143.5 655,-196.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"680.5\" y=\"-181.3\" font-family=\"Times,serif\" font-size=\"14.00\">11 [3]</text>\n",
-       "<text text-anchor=\"middle\" x=\"680.5\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">output</text>\n",
-       "<text text-anchor=\"middle\" x=\"680.5\" y=\"-151.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"706,-143.5 706,-196.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"716\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<g id=\"node12\" class=\"node\">\n",
+       "<title>11</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"697,-143.5 697,-196.5 808,-196.5 808,-143.5 697,-143.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"710\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"723,-143.5 723,-196.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"755\" y=\"-181.3\" font-family=\"Times,serif\" font-size=\"14.00\">11 [3]</text>\n",
+       "<text text-anchor=\"middle\" x=\"755\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\">output</text>\n",
+       "<text text-anchor=\"middle\" x=\"755\" y=\"-151.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"787,-143.5 787,-196.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"797.5\" y=\"-166.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- 4&#45;&gt;11 -->\n",
-       "<g id=\"edge12\" class=\"edge\"><title>4:o0&#45;&gt;11:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M582,-170C600.403,-170 607.376,-170 621.849,-170\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"622,-173.5 632,-170 622,-166.5 622,-173.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"607\" y=\"-173.8\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n",
+       "<g id=\"edge12\" class=\"edge\">\n",
+       "<title>4:o0&#45;&gt;11:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M642,-170C662.62,-170 670.2,-170 686.74,-170\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"687,-173.5 697,-170 687,-166.5 687,-173.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"669.5\" y=\"-173.8\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7f8e493abc40>"
+       "<graphviz.graphs.Digraph at 0x7f3d68e6d850>"
       ]
      },
      "execution_count": 7,
@@ -1432,14 +1456,14 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "0:DFFX1\"carry\" <7 <6 >0\n",
-      "5:input\"clk\" >3\n",
       "7:input\"a\" >4\n",
+      "0:DFFX1\"carry\" <7 <6 >0\n",
       "9:input\"b\" >5\n",
-      "1:__fork__\"cin\" <0 >10\n",
-      "6:__fork__\"clk\" <3 >7\n",
+      "5:input\"clk\" >3\n",
       "8:__fork__\"a\" <4 >8\n",
+      "1:__fork__\"cin\" <0 >10\n",
       "10:__fork__\"b\" <5 >9\n",
+      "6:__fork__\"clk\" <3 >7\n",
       "2:ADDFX1\"adder\" <8 <9 <10 >1 >2\n",
       "3:__fork__\"cout\" <1 >6\n",
       "4:__fork__\"s\" <2 >11\n",
@@ -1564,6 +1588,42 @@
    "cell_type": "code",
    "execution_count": 39,
    "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "7:input\"a\" >4\n",
+      "5:input\"clk\" >3\n",
+      "0:DFF\"carry\" <6 <7 >12\n",
+      "9:input\"b\" >5\n",
+      "8:__fork__\"a\" <4 >8\n",
+      "6:__fork__\"clk\" <3 >7\n",
+      "12:__fork__\"carry~Q\" <12 >0\n",
+      "10:__fork__\"b\" <5 >9\n",
+      "13:__fork__\"adder~A\" <8 >14 >20\n",
+      "1:__fork__\"cin\" <0 >10\n",
+      "14:__fork__\"adder~B\" <9 >15 >21\n",
+      "15:__fork__\"adder~CI\" <10 >17 >19\n",
+      "16:XOR2\"adder~AB\" <14 <15 >13\n",
+      "17:__fork__\"adder~AB\" <13 >16 >18\n",
+      "2:XOR2\"adder\" <16 <17 >1\n",
+      "18:AO22\"adder~S\" <18 <19 <20 <21 >2\n",
+      "3:__fork__\"cout\" <1 >6\n",
+      "4:__fork__\"s\" <2 >11\n",
+      "11:output\"s\" <11\n"
+     ]
+    }
+   ],
+   "source": [
+    "for n in adder.topological_order():\n",
+    "    print(n)"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 40,
+   "metadata": {},
    "outputs": [
     {
      "data": {
@@ -1571,383 +1631,424 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.30.1 (20201013.1554)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"1214pt\" height=\"413pt\"\n",
-       " viewBox=\"0.00 0.00 1214.00 413.27\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 409.267)\">\n",
+       "<svg width=\"1393pt\" height=\"363pt\"\n",
+       " viewBox=\"0.00 0.00 1393.00 363.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 1) rotate(0) translate(4 359)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-409.267 1211,-409.267 1211,5 -4,5\"/>\n",
-       "<!-- 0 -->\n",
-       "<g id=\"node1\" class=\"node\"><title>0</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-276.143 0,-329.143 90,-329.143 90,-276.143 0,-276.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-312.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"0,-303.143 23,-303.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-285.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"23,-276.143 23,-329.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"45\" y=\"-313.943\" font-family=\"Times,serif\" font-size=\"14.00\">0 [4]</text>\n",
-       "<text text-anchor=\"middle\" x=\"45\" y=\"-298.943\" font-family=\"Times,serif\" font-size=\"14.00\">DFF</text>\n",
-       "<text text-anchor=\"middle\" x=\"45\" y=\"-283.943\" font-family=\"Times,serif\" font-size=\"14.00\">carry</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"67,-276.143 67,-329.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"78.5\" y=\"-298.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-359 1389,-359 1389,4 -4,4\"/>\n",
+       "<!-- 7 -->\n",
+       "<g id=\"node1\" class=\"node\">\n",
+       "<title>7</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"2.5,-281.5 2.5,-334.5 103.5,-334.5 103.5,-281.5 2.5,-281.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"23.5,-281.5 23.5,-334.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-319.3\" font-family=\"Times,serif\" font-size=\"14.00\">7 [1]</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"77.5,-281.5 77.5,-334.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"90.5\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 12 -->\n",
-       "<g id=\"node5\" class=\"node\"><title>12</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"140.5,-274.143 140.5,-327.143 251.5,-327.143 251.5,-274.143 140.5,-274.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"152\" y=\"-296.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"163.5,-274.143 163.5,-327.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-311.943\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-296.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-281.943\" font-family=\"Times,serif\" font-size=\"14.00\">carry~Q</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"228.5,-274.143 228.5,-327.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"240\" y=\"-296.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 8 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>8</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"163.5,-281.5 163.5,-334.5 287.5,-334.5 287.5,-281.5 163.5,-281.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"176.5\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"189.5,-281.5 189.5,-334.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-319.3\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"261.5,-281.5 261.5,-334.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"274.5\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 0&#45;&gt;12 -->\n",
-       "<g id=\"edge13\" class=\"edge\"><title>0:o0&#45;&gt;12:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M90,-302.643C108.417,-302.643 115.369,-301.271 129.844,-300.8\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"130.055,-304.297 140,-300.643 129.947,-297.298 130.055,-304.297\"/>\n",
-       "<text text-anchor=\"middle\" x=\"115\" y=\"-306.443\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n",
+       "<!-- 7&#45;&gt;8 -->\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
+       "<title>7:o0&#45;&gt;8:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M105,-308C126.76,-308 134.63,-308 152.26,-308\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"152.5,-311.5 162.5,-308 152.5,-304.5 152.5,-311.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-311.8\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
        "</g>\n",
        "<!-- 5 -->\n",
-       "<g id=\"node2\" class=\"node\"><title>5</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"1.5,-200.143 1.5,-253.143 88.5,-253.143 88.5,-200.143 1.5,-200.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-222.943\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"21.5,-200.143 21.5,-253.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-237.943\" font-family=\"Times,serif\" font-size=\"14.00\">5 [0]</text>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-222.943\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-207.943\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"65.5,-200.143 65.5,-253.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"77\" y=\"-222.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node2\" class=\"node\">\n",
+       "<title>5</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"2.5,-0.5 2.5,-53.5 103.5,-53.5 103.5,-0.5 2.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"23.5,-0.5 23.5,-53.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-38.3\" font-family=\"Times,serif\" font-size=\"14.00\">5 [0]</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-8.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"77.5,-0.5 77.5,-53.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"90.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 6 -->\n",
-       "<g id=\"node6\" class=\"node\"><title>6</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"140.5,-201.143 140.5,-254.143 251.5,-254.143 251.5,-201.143 140.5,-201.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"152\" y=\"-223.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"163.5,-201.143 163.5,-254.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-238.943\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-223.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-208.943\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"228.5,-201.143 228.5,-254.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"240\" y=\"-223.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>6</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"163.5,-2.5 163.5,-55.5 287.5,-55.5 287.5,-2.5 163.5,-2.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"176.5\" y=\"-25.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"189.5,-2.5 189.5,-55.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-40.3\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-25.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-10.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"261.5,-2.5 261.5,-55.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"274.5\" y=\"-25.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 5&#45;&gt;6 -->\n",
-       "<g id=\"edge4\" class=\"edge\"><title>5:o0&#45;&gt;6:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M90,-226.643C108.406,-226.643 115.374,-227.329 129.848,-227.565\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"129.973,-231.066 140,-227.643 130.027,-224.066 129.973,-231.066\"/>\n",
-       "<text text-anchor=\"middle\" x=\"115\" y=\"-231.443\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<g id=\"edge4\" class=\"edge\">\n",
+       "<title>5:o0&#45;&gt;6:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M105,-27C121.89,-27 126.12,-27.35 143,-28 147.2,-28.16 149.87,-28.4 152.49,-28.61\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"152.37,-32.1 162.5,-29 152.65,-25.11 152.37,-32.1\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-31.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
        "</g>\n",
-       "<!-- 7 -->\n",
-       "<g id=\"node3\" class=\"node\"><title>7</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"1.5,-127.143 1.5,-180.143 88.5,-180.143 88.5,-127.143 1.5,-127.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"21.5,-127.143 21.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-164.943\" font-family=\"Times,serif\" font-size=\"14.00\">7 [1]</text>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-134.943\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"65.5,-127.143 65.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"77\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-76.5 0,-129.5 106,-129.5 106,-76.5 0,-76.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-112.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"0,-103.5 26,-103.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-86.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"26,-76.5 26,-129.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"53\" y=\"-114.3\" font-family=\"Times,serif\" font-size=\"14.00\">0 [4]</text>\n",
+       "<text text-anchor=\"middle\" x=\"53\" y=\"-99.3\" font-family=\"Times,serif\" font-size=\"14.00\">DFF</text>\n",
+       "<text text-anchor=\"middle\" x=\"53\" y=\"-84.3\" font-family=\"Times,serif\" font-size=\"14.00\">carry</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"80,-76.5 80,-129.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"93\" y=\"-99.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 8 -->\n",
-       "<g id=\"node7\" class=\"node\"><title>8</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"140.5,-127.143 140.5,-180.143 251.5,-180.143 251.5,-127.143 140.5,-127.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"152\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"163.5,-127.143 163.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-164.943\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-134.943\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"228.5,-127.143 228.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"240\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 12 -->\n",
+       "<g id=\"node7\" class=\"node\">\n",
+       "<title>12</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"161,-75.5 161,-128.5 290,-128.5 290,-75.5 161,-75.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"174\" y=\"-98.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"187,-75.5 187,-128.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-113.3\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-98.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-83.3\" font-family=\"Times,serif\" font-size=\"14.00\">carry~Q</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"264,-75.5 264,-128.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"277\" y=\"-98.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 7&#45;&gt;8 -->\n",
-       "<g id=\"edge5\" class=\"edge\"><title>7:o0&#45;&gt;8:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M90,-153.643C108.403,-153.643 115.376,-153.643 129.849,-153.643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"130,-157.143 140,-153.643 130,-150.143 130,-157.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"115\" y=\"-157.443\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "<!-- 0&#45;&gt;12 -->\n",
+       "<g id=\"edge13\" class=\"edge\">\n",
+       "<title>0:o0&#45;&gt;12:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M106,-103C126.63,-103 134.2,-102.29 150.74,-102.07\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"151.02,-105.56 161,-102 150.98,-98.56 151.02,-105.56\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-106.8\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n",
        "</g>\n",
        "<!-- 9 -->\n",
-       "<g id=\"node4\" class=\"node\"><title>9</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"1.5,-50.1431 1.5,-103.143 88.5,-103.143 88.5,-50.1431 1.5,-50.1431\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"21.5,-50.1431 21.5,-103.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-87.9431\" font-family=\"Times,serif\" font-size=\"14.00\">9 [2]</text>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"43.5\" y=\"-57.9431\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"65.5,-50.1431 65.5,-103.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"77\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>9</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"2.5,-193.5 2.5,-246.5 103.5,-246.5 103.5,-193.5 2.5,-193.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"23.5,-193.5 23.5,-246.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-231.3\" font-family=\"Times,serif\" font-size=\"14.00\">9 [2]</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-201.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"77.5,-193.5 77.5,-246.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"90.5\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 10 -->\n",
-       "<g id=\"node8\" class=\"node\"><title>10</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"140.5,-50.1431 140.5,-103.143 251.5,-103.143 251.5,-50.1431 140.5,-50.1431\"/>\n",
-       "<text text-anchor=\"middle\" x=\"152\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"163.5,-50.1431 163.5,-103.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-87.9431\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"196\" y=\"-57.9431\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"228.5,-50.1431 228.5,-103.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"240\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node8\" class=\"node\">\n",
+       "<title>10</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"163.5,-193.5 163.5,-246.5 287.5,-246.5 287.5,-193.5 163.5,-193.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"176.5\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"189.5,-193.5 189.5,-246.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-231.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-201.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"261.5,-193.5 261.5,-246.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"274.5\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 9&#45;&gt;10 -->\n",
-       "<g id=\"edge6\" class=\"edge\"><title>9:o0&#45;&gt;10:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M90,-76.6431C108.403,-76.6431 115.376,-76.6431 129.849,-76.6431\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"130,-80.1432 140,-76.6431 130,-73.1432 130,-80.1432\"/>\n",
-       "<text text-anchor=\"middle\" x=\"115\" y=\"-80.4431\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>9:o0&#45;&gt;10:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M105,-220C126.76,-220 134.63,-220 152.26,-220\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"152.5,-223.5 162.5,-220 152.5,-216.5 152.5,-223.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-223.8\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n",
        "</g>\n",
-       "<!-- 1 -->\n",
-       "<g id=\"node9\" class=\"node\"><title>1</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"296.5,-257.143 296.5,-310.143 407.5,-310.143 407.5,-257.143 296.5,-257.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"308\" y=\"-279.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"319.5,-257.143 319.5,-310.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-294.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-279.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-264.943\" font-family=\"Times,serif\" font-size=\"14.00\">cin</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"384.5,-257.143 384.5,-310.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"396\" y=\"-279.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 13 -->\n",
+       "<g id=\"node9\" class=\"node\">\n",
+       "<title>13</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"336,-281.5 336,-334.5 468,-334.5 468,-281.5 336,-281.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"349\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"362,-281.5 362,-334.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-319.3\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~A</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"442,-281.5 442,-334.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"455\" y=\"-317.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"442,-308.5 468,-308.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"455\" y=\"-291.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
-       "<!-- 12&#45;&gt;1 -->\n",
-       "<g id=\"edge1\" class=\"edge\"><title>12:o0&#45;&gt;1:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M252,-300.643C269.034,-300.643 273.595,-289.42 285.951,-285.212\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"286.66,-288.644 296,-283.643 285.58,-281.728 286.66,-288.644\"/>\n",
-       "<text text-anchor=\"middle\" x=\"274\" y=\"-299.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 8&#45;&gt;13 -->\n",
+       "<g id=\"edge9\" class=\"edge\">\n",
+       "<title>8:o0&#45;&gt;13:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M288.5,-308C305.82,-308 312.48,-308 325.97,-308\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"326,-311.5 336,-308 326,-304.5 326,-311.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"313\" y=\"-311.8\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
        "</g>\n",
        "<!-- 6&#45;&gt;0 -->\n",
-       "<g id=\"edge8\" class=\"edge\"><title>6:o0&#45;&gt;0:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M240,-255.643C240,-261.228 64.6719,-266.699 20.8398,-272.256\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"19.8929,-268.884 11,-274.643 21.5433,-275.687 19.8929,-268.884\"/>\n",
-       "<text text-anchor=\"middle\" x=\"115\" y=\"-270.443\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n",
+       "<g id=\"edge8\" class=\"edge\">\n",
+       "<title>6:o0&#45;&gt;0:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M274.5,-57C274.5,-69.91 68.89,-62.63 22.31,-70.97\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"20.78,-67.81 13,-75 23.57,-74.23 20.78,-67.81\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-70.8\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n",
        "</g>\n",
-       "<!-- 13 -->\n",
-       "<g id=\"node10\" class=\"node\"><title>13</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"296.5,-127.143 296.5,-180.143 407.5,-180.143 407.5,-127.143 296.5,-127.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"308\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"319.5,-127.143 319.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-164.943\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-134.943\" font-family=\"Times,serif\" font-size=\"14.00\">adder~A</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"384.5,-127.143 384.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"396\" y=\"-163.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"384.5,-154.143 407.5,-154.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"396\" y=\"-136.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<!-- 1 -->\n",
+       "<g id=\"node10\" class=\"node\">\n",
+       "<title>1</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"340,-74.5 340,-127.5 464,-127.5 464,-74.5 340,-74.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"353\" y=\"-97.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"366,-74.5 366,-127.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-112.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-97.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-82.3\" font-family=\"Times,serif\" font-size=\"14.00\">cin</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"438,-74.5 438,-127.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"451\" y=\"-97.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 8&#45;&gt;13 -->\n",
-       "<g id=\"edge9\" class=\"edge\"><title>8:o0&#45;&gt;13:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M252,-153.643C267.583,-153.643 273.853,-153.643 285.653,-153.643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"286,-157.143 296,-153.643 286,-150.143 286,-157.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"274\" y=\"-157.443\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "<!-- 12&#45;&gt;1 -->\n",
+       "<g id=\"edge1\" class=\"edge\">\n",
+       "<title>12:o0&#45;&gt;1:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M290,-102C307.87,-102 314.74,-101.33 328.65,-101.09\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"329.03,-104.58 339,-101 328.97,-97.58 329.03,-104.58\"/>\n",
+       "<text text-anchor=\"middle\" x=\"313\" y=\"-105.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 14 -->\n",
-       "<g id=\"node11\" class=\"node\"><title>14</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"296.5,-50.1431 296.5,-103.143 407.5,-103.143 407.5,-50.1431 296.5,-50.1431\"/>\n",
-       "<text text-anchor=\"middle\" x=\"308\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"319.5,-50.1431 319.5,-103.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-87.9431\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-72.9431\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"352\" y=\"-57.9431\" font-family=\"Times,serif\" font-size=\"14.00\">adder~B</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"384.5,-50.1431 384.5,-103.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"396\" y=\"-86.4431\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"384.5,-77.1431 407.5,-77.1431 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"396\" y=\"-59.9431\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"node11\" class=\"node\">\n",
+       "<title>14</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"336,-193.5 336,-246.5 468,-246.5 468,-193.5 336,-193.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"349\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"362,-193.5 362,-246.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-231.3\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-216.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"402\" y=\"-201.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~B</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"442,-193.5 442,-246.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"455\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"442,-220.5 468,-220.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"455\" y=\"-203.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 10&#45;&gt;14 -->\n",
-       "<g id=\"edge10\" class=\"edge\"><title>10:o0&#45;&gt;14:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M252,-76.6431C267.583,-76.6431 273.853,-76.6431 285.653,-76.6431\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"286,-80.1432 296,-76.6431 286,-73.1432 286,-80.1432\"/>\n",
-       "<text text-anchor=\"middle\" x=\"274\" y=\"-80.4431\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
-       "</g>\n",
-       "<!-- 15 -->\n",
-       "<g id=\"node12\" class=\"node\"><title>15</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"461,-248.143 461,-301.143 575,-301.143 575,-248.143 461,-248.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"472.5\" y=\"-270.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"484,-248.143 484,-301.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-285.943\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-270.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-255.943\" font-family=\"Times,serif\" font-size=\"14.00\">adder~CI</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"552,-248.143 552,-301.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"563.5\" y=\"-284.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"552,-275.143 575,-275.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"563.5\" y=\"-257.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "</g>\n",
-       "<!-- 1&#45;&gt;15 -->\n",
-       "<g id=\"edge11\" class=\"edge\"><title>1:o0&#45;&gt;15:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M408,-283.643C427.607,-283.643 434.381,-277.354 449.777,-275.29\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"450.241,-278.768 460,-274.643 449.799,-271.782 450.241,-278.768\"/>\n",
-       "<text text-anchor=\"middle\" x=\"433\" y=\"-285.443\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
+       "<g id=\"edge10\" class=\"edge\">\n",
+       "<title>10:o0&#45;&gt;14:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M288.5,-220C305.82,-220 312.48,-220 325.97,-220\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"326,-223.5 336,-220 326,-216.5 326,-223.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"313\" y=\"-223.8\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
        "</g>\n",
        "<!-- 16 -->\n",
-       "<g id=\"node13\" class=\"node\"><title>16</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"458.5,-127.143 458.5,-180.143 577.5,-180.143 577.5,-127.143 458.5,-127.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"470\" y=\"-163.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"458.5,-154.143 481.5,-154.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"470\" y=\"-136.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"481.5,-127.143 481.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-164.943\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-134.943\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"554.5,-127.143 554.5,-180.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"566\" y=\"-149.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node13\" class=\"node\">\n",
+       "<title>16</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"523,-295.5 523,-348.5 665,-348.5 665,-295.5 523,-295.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"536\" y=\"-331.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"523,-322.5 549,-322.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"536\" y=\"-305.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"549,-295.5 549,-348.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-333.3\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-318.3\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-303.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"639,-295.5 639,-348.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"652\" y=\"-318.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 13&#45;&gt;16 -->\n",
-       "<g id=\"edge15\" class=\"edge\"><title>13:o0&#45;&gt;16:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M408,-167.643C426.403,-167.643 433.376,-167.643 447.849,-167.643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"448,-171.143 458,-167.643 448,-164.143 448,-171.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"433\" y=\"-171.443\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n",
+       "<g id=\"edge15\" class=\"edge\">\n",
+       "<title>13:o0&#45;&gt;16:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M468,-322C489.48,-322 495.97,-332.15 513,-335.17\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"512.74,-338.66 523,-336 513.33,-331.68 512.74,-338.66\"/>\n",
+       "<text text-anchor=\"middle\" x=\"495.5\" y=\"-335.8\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n",
        "</g>\n",
        "<!-- 18 -->\n",
-       "<g id=\"node16\" class=\"node\"><title>18</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"798,-86.6431 798,-178.643 906,-178.643 906,-86.6431 798,-86.6431\"/>\n",
-       "<text text-anchor=\"middle\" x=\"809.5\" y=\"-163.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"798,-155.643 821,-155.643 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"809.5\" y=\"-140.443\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"798,-132.643 821,-132.643 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"809.5\" y=\"-117.443\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"798,-109.643 821,-109.643 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"809.5\" y=\"-94.4431\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"821,-86.6431 821,-178.643 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"852\" y=\"-143.943\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n",
-       "<text text-anchor=\"middle\" x=\"852\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">AO22</text>\n",
-       "<text text-anchor=\"middle\" x=\"852\" y=\"-113.943\" font-family=\"Times,serif\" font-size=\"14.00\">adder~S</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"883,-86.6431 883,-178.643 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"894.5\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node16\" class=\"node\">\n",
+       "<title>18</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"917,-190 917,-282 1049,-282 1049,-190 917,-190\"/>\n",
+       "<text text-anchor=\"middle\" x=\"930\" y=\"-266.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"917,-259 943,-259 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"930\" y=\"-243.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"917,-236 943,-236 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"930\" y=\"-220.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"917,-213 943,-213 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"930\" y=\"-197.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"943,-190 943,-282 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"983\" y=\"-247.3\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n",
+       "<text text-anchor=\"middle\" x=\"983\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">AO22</text>\n",
+       "<text text-anchor=\"middle\" x=\"983\" y=\"-217.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~S</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1023,-190 1023,-282 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1036\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 13&#45;&gt;18 -->\n",
-       "<g id=\"edge21\" class=\"edge\"><title>13:o1&#45;&gt;18:i2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M396,-125.643C396,-102.922 707.19,-118.971 787.838,-120.525\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"787.96,-124.027 798,-120.643 788.041,-117.027 787.96,-124.027\"/>\n",
-       "<text text-anchor=\"middle\" x=\"603\" y=\"-119.443\" font-family=\"Times,serif\" font-size=\"14.00\">20</text>\n",
+       "<g id=\"edge21\" class=\"edge\">\n",
+       "<title>13:o1&#45;&gt;18:i2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M468,-295C492.77,-295 498.54,-289.93 523,-286 694.61,-258.46 738.05,-225.32 906.77,-224.04\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"907.01,-227.54 917,-224 906.99,-220.54 907.01,-227.54\"/>\n",
+       "<text text-anchor=\"middle\" x=\"692.5\" y=\"-255.8\" font-family=\"Times,serif\" font-size=\"14.00\">20</text>\n",
+       "</g>\n",
+       "<!-- 15 -->\n",
+       "<g id=\"node12\" class=\"node\">\n",
+       "<title>15</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"525,-71.5 525,-124.5 663,-124.5 663,-71.5 525,-71.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"538\" y=\"-94.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"551,-71.5 551,-124.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-109.3\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-94.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-79.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~CI</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"637,-71.5 637,-124.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"650\" y=\"-107.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"637,-98.5 663,-98.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"650\" y=\"-81.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;15 -->\n",
+       "<g id=\"edge11\" class=\"edge\">\n",
+       "<title>1:o0&#45;&gt;15:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M465,-101C487.56,-101 495.53,-98.78 513.99,-98.16\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"514.06,-101.66 524,-98 513.94,-94.66 514.06,-101.66\"/>\n",
+       "<text text-anchor=\"middle\" x=\"495.5\" y=\"-104.8\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- 14&#45;&gt;16 -->\n",
-       "<g id=\"edge16\" class=\"edge\"><title>14:o0&#45;&gt;16:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M396,-104.643C396,-110.991 430.312,-130.082 448.282,-137.576\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"447.41,-140.971 458,-140.643 449.517,-134.296 447.41,-140.971\"/>\n",
-       "<text text-anchor=\"middle\" x=\"433\" y=\"-137.443\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n",
+       "<g id=\"edge16\" class=\"edge\">\n",
+       "<title>14:o0&#45;&gt;16:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M468,-234C504.68,-234 530.92,-250.32 535.34,-283.63\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"531.87,-284.24 536,-294 538.86,-283.8 531.87,-284.24\"/>\n",
+       "<text text-anchor=\"middle\" x=\"495.5\" y=\"-243.8\" font-family=\"Times,serif\" font-size=\"14.00\">15</text>\n",
        "</g>\n",
        "<!-- 14&#45;&gt;18 -->\n",
-       "<g id=\"edge22\" class=\"edge\"><title>14:o1&#45;&gt;18:i3</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M408,-63.6431C583.004,-63.6431 800.325,86.794 808.747,-75.5643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"805.25,-75.734 809,-85.6431 812.248,-75.5585 805.25,-75.734\"/>\n",
-       "<text text-anchor=\"middle\" x=\"603\" y=\"-32.4431\" font-family=\"Times,serif\" font-size=\"14.00\">21</text>\n",
+       "<g id=\"edge22\" class=\"edge\">\n",
+       "<title>14:o1&#45;&gt;18:i3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M468,-207C664.16,-207 715.68,-201.2 906.9,-201.01\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"907,-204.51 917,-201 907,-197.51 907,-204.51\"/>\n",
+       "<text text-anchor=\"middle\" x=\"692.5\" y=\"-207.8\" font-family=\"Times,serif\" font-size=\"14.00\">21</text>\n",
        "</g>\n",
        "<!-- 2 -->\n",
-       "<g id=\"node15\" class=\"node\"><title>2</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"803.5,-275.143 803.5,-328.143 900.5,-328.143 900.5,-275.143 803.5,-275.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"815\" y=\"-311.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"803.5,-302.143 826.5,-302.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"815\" y=\"-284.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"826.5,-275.143 826.5,-328.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"852\" y=\"-312.943\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
-       "<text text-anchor=\"middle\" x=\"852\" y=\"-297.943\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
-       "<text text-anchor=\"middle\" x=\"852\" y=\"-282.943\" font-family=\"Times,serif\" font-size=\"14.00\">adder</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"877.5,-275.143 877.5,-328.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"889\" y=\"-297.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node15\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"928,-301.5 928,-354.5 1038,-354.5 1038,-301.5 928,-301.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"941\" y=\"-337.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"928,-328.5 954,-328.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"941\" y=\"-311.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"954,-301.5 954,-354.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"983\" y=\"-339.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<text text-anchor=\"middle\" x=\"983\" y=\"-324.3\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
+       "<text text-anchor=\"middle\" x=\"983\" y=\"-309.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1012,-301.5 1012,-354.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1025\" y=\"-324.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 15&#45;&gt;2 -->\n",
-       "<g id=\"edge18\" class=\"edge\"><title>15:o0&#45;&gt;2:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M576,-288.643C673.011,-288.643 699.751,-288.643 791.959,-288.643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"792,-292.143 802,-288.643 792,-285.143 792,-292.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"688\" y=\"-292.443\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n",
+       "<g id=\"edge18\" class=\"edge\">\n",
+       "<title>15:o0&#45;&gt;2:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M664,-112C791.87,-112 796.28,-201.84 899,-278 907.14,-284.04 908.06,-287.22 917,-292 922.11,-294.74 928.33,-293.79 933.16,-293.77\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"930.99,-296.52 941,-300 935.35,-291.04 930.99,-296.52\"/>\n",
+       "<text text-anchor=\"middle\" x=\"791\" y=\"-248.8\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n",
        "</g>\n",
        "<!-- 15&#45;&gt;18 -->\n",
-       "<g id=\"edge20\" class=\"edge\"><title>15:o1&#45;&gt;18:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M564,-246.643C564,-136.627 677.361,-144.064 787.68,-144.615\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"787.991,-148.116 798,-144.643 788.009,-141.116 787.991,-148.116\"/>\n",
-       "<text text-anchor=\"middle\" x=\"688\" y=\"-160.443\" font-family=\"Times,serif\" font-size=\"14.00\">19</text>\n",
+       "<g id=\"edge20\" class=\"edge\">\n",
+       "<title>15:o1&#45;&gt;18:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M664,-85C768.79,-85 842.5,-15.75 899,-104 914.28,-127.87 891.69,-221.02 907.89,-243.23\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"906.52,-246.46 917,-248 909.77,-240.26 906.52,-246.46\"/>\n",
+       "<text text-anchor=\"middle\" x=\"791\" y=\"-83.8\" font-family=\"Times,serif\" font-size=\"14.00\">19</text>\n",
        "</g>\n",
        "<!-- 17 -->\n",
-       "<g id=\"node14\" class=\"node\"><title>17</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"628.5,-199.143 628.5,-252.143 747.5,-252.143 747.5,-199.143 628.5,-199.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"640\" y=\"-221.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"651.5,-199.143 651.5,-252.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"688\" y=\"-236.943\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n",
-       "<text text-anchor=\"middle\" x=\"688\" y=\"-221.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"688\" y=\"-206.943\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"724.5,-199.143 724.5,-252.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"736\" y=\"-235.443\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"724.5,-226.143 747.5,-226.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"736\" y=\"-208.943\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"node14\" class=\"node\">\n",
+       "<title>17</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"720,-295.5 720,-348.5 862,-348.5 862,-295.5 720,-295.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"733\" y=\"-318.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"746,-295.5 746,-348.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"791\" y=\"-333.3\" font-family=\"Times,serif\" font-size=\"14.00\">17</text>\n",
+       "<text text-anchor=\"middle\" x=\"791\" y=\"-318.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"791\" y=\"-303.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"836,-295.5 836,-348.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"849\" y=\"-331.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"836,-322.5 862,-322.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"849\" y=\"-305.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 16&#45;&gt;17 -->\n",
-       "<g id=\"edge14\" class=\"edge\"><title>16:o0&#45;&gt;17:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M578,-153.643C581.3,-153.643 617.285,-177.921 632.871,-190.556\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"630.441,-193.075 640,-197.643 635.376,-188.111 630.441,-193.075\"/>\n",
-       "<text text-anchor=\"middle\" x=\"603\" y=\"-177.443\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n",
+       "<g id=\"edge14\" class=\"edge\">\n",
+       "<title>16:o0&#45;&gt;17:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M665,-322C685.62,-322 693.2,-322 709.74,-322\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"710,-325.5 720,-322 710,-318.5 710,-325.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"692.5\" y=\"-325.8\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n",
        "</g>\n",
        "<!-- 17&#45;&gt;2 -->\n",
-       "<g id=\"edge17\" class=\"edge\"><title>17:o0&#45;&gt;2:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M736,-253.643C736,-255.648 776.313,-293.828 793.963,-309.256\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"791.994,-312.161 802,-315.643 796.349,-306.681 791.994,-312.161\"/>\n",
-       "<text text-anchor=\"middle\" x=\"773\" y=\"-300.443\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n",
+       "<g id=\"edge17\" class=\"edge\">\n",
+       "<title>17:o0&#45;&gt;2:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M862,-336C887.27,-336 895.82,-340.55 916.78,-341.73\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"916.91,-345.23 927,-342 917.1,-338.23 916.91,-345.23\"/>\n",
+       "<text text-anchor=\"middle\" x=\"889.5\" y=\"-342.8\" font-family=\"Times,serif\" font-size=\"14.00\">16</text>\n",
        "</g>\n",
        "<!-- 17&#45;&gt;18 -->\n",
-       "<g id=\"edge19\" class=\"edge\"><title>17:o1&#45;&gt;18:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M748,-212.643C775.091,-212.643 801.682,-210.962 807.725,-189.628\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"811.205,-190.006 809,-179.643 804.261,-189.119 811.205,-190.006\"/>\n",
-       "<text text-anchor=\"middle\" x=\"773\" y=\"-216.443\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n",
+       "<g id=\"edge19\" class=\"edge\">\n",
+       "<title>17:o1&#45;&gt;18:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M862,-309C873.95,-309 892.66,-284.39 907.26,-274.78\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"908.94,-277.88 917,-271 906.41,-271.36 908.94,-277.88\"/>\n",
+       "<text text-anchor=\"middle\" x=\"889.5\" y=\"-300.8\" font-family=\"Times,serif\" font-size=\"14.00\">18</text>\n",
        "</g>\n",
        "<!-- 3 -->\n",
-       "<g id=\"node17\" class=\"node\"><title>3</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"950.5,-314.143 950.5,-367.143 1061.5,-367.143 1061.5,-314.143 950.5,-314.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"962\" y=\"-336.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"973.5,-314.143 973.5,-367.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-351.943\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-336.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-321.943\" font-family=\"Times,serif\" font-size=\"14.00\">cout</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"1038.5,-314.143 1038.5,-367.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1050\" y=\"-336.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node17\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"1095,-136.5 1095,-189.5 1219,-189.5 1219,-136.5 1095,-136.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1108\" y=\"-159.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1121,-136.5 1121,-189.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1157\" y=\"-174.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<text text-anchor=\"middle\" x=\"1157\" y=\"-159.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"1157\" y=\"-144.3\" font-family=\"Times,serif\" font-size=\"14.00\">cout</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1193,-136.5 1193,-189.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1206\" y=\"-159.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 2&#45;&gt;3 -->\n",
-       "<g id=\"edge2\" class=\"edge\"><title>2:o0&#45;&gt;3:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M902,-301.643C924.875,-301.643 951.863,-290.173 959.739,-302.874\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"956.335,-303.69 962,-312.643 963.155,-302.111 956.335,-303.69\"/>\n",
-       "<text text-anchor=\"middle\" x=\"928\" y=\"-303.443\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"edge2\" class=\"edge\">\n",
+       "<title>2:o0&#45;&gt;3:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1025,-300C1025,-288.76 1041.4,-300.29 1049,-292 1072.17,-266.74 1047.07,-244.89 1067,-217 1067.55,-216.23 1087.6,-204.35 1099.45,-196.9\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1101.76,-199.56 1108,-191 1097.78,-193.8 1101.76,-199.56\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1072\" y=\"-220.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 4 -->\n",
-       "<g id=\"node18\" class=\"node\"><title>4</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"950.5,-106.143 950.5,-159.143 1061.5,-159.143 1061.5,-106.143 950.5,-106.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"962\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"973.5,-106.143 973.5,-159.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-143.943\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-113.943\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"1038.5,-106.143 1038.5,-159.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1050\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node18\" class=\"node\">\n",
+       "<title>4</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"1095,-209.5 1095,-262.5 1219,-262.5 1219,-209.5 1095,-209.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1108\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1121,-209.5 1121,-262.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1157\" y=\"-247.3\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "<text text-anchor=\"middle\" x=\"1157\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"1157\" y=\"-217.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1193,-209.5 1193,-262.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1206\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 18&#45;&gt;4 -->\n",
-       "<g id=\"edge3\" class=\"edge\"><title>18:o0&#45;&gt;4:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M906,-132.643C921.583,-132.643 927.853,-132.643 939.653,-132.643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"940,-136.143 950,-132.643 940,-129.143 940,-136.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"928\" y=\"-136.443\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>18:o0&#45;&gt;4:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1049,-236C1065.61,-236 1072.1,-236 1084.92,-236\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1085,-239.5 1095,-236 1085,-232.5 1085,-239.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1072\" y=\"-239.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
        "</g>\n",
        "<!-- 3&#45;&gt;0 -->\n",
-       "<g id=\"edge7\" class=\"edge\"><title>3:o0&#45;&gt;0:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M1050,-368.643C1050,-456.361 940.718,-356.643 853,-356.643 195,-356.643 195,-356.643 195,-356.643 116.12,-356.643 20.0731,-408.263 11.603,-340.949\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"15.0783,-340.422 11,-330.643 8.09022,-340.83 15.0783,-340.422\"/>\n",
-       "<text text-anchor=\"middle\" x=\"518\" y=\"-360.443\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>3:o0&#45;&gt;0:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M1206,-135C1206,-35.66 1083.34,-161 984,-161 224.5,-161 224.5,-161 224.5,-161 133.27,-161 22.07,-220.97 13.53,-141.41\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"17,-140.81 13,-131 10.01,-141.16 17,-140.81\"/>\n",
+       "<text text-anchor=\"middle\" x=\"594\" y=\"-164.8\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
        "</g>\n",
        "<!-- 11 -->\n",
-       "<g id=\"node19\" class=\"node\"><title>11</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"1112,-106.143 1112,-159.143 1206,-159.143 1206,-106.143 1112,-106.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1123.5\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"1135,-106.143 1135,-159.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1160.5\" y=\"-143.943\" font-family=\"Times,serif\" font-size=\"14.00\">11 [3]</text>\n",
-       "<text text-anchor=\"middle\" x=\"1160.5\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\">output</text>\n",
-       "<text text-anchor=\"middle\" x=\"1160.5\" y=\"-113.943\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"1186,-106.143 1186,-159.143 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1196\" y=\"-128.943\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<g id=\"node19\" class=\"node\">\n",
+       "<title>11</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"1274,-209.5 1274,-262.5 1385,-262.5 1385,-209.5 1274,-209.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1287\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1300,-209.5 1300,-262.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1332\" y=\"-247.3\" font-family=\"Times,serif\" font-size=\"14.00\">11 [3]</text>\n",
+       "<text text-anchor=\"middle\" x=\"1332\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\">output</text>\n",
+       "<text text-anchor=\"middle\" x=\"1332\" y=\"-217.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1364,-209.5 1364,-262.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1374.5\" y=\"-232.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- 4&#45;&gt;11 -->\n",
-       "<g id=\"edge12\" class=\"edge\"><title>4:o0&#45;&gt;11:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M1062,-132.643C1080.4,-132.643 1087.38,-132.643 1101.85,-132.643\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"1102,-136.143 1112,-132.643 1102,-129.143 1102,-136.143\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1087\" y=\"-136.443\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n",
+       "<g id=\"edge12\" class=\"edge\">\n",
+       "<title>4:o0&#45;&gt;11:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1219,-236C1239.62,-236 1247.2,-236 1263.74,-236\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1264,-239.5 1274,-236 1264,-232.5 1264,-239.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1246.5\" y=\"-239.8\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7f8e491c2d40>"
+       "<graphviz.graphs.Digraph at 0x7f3d68d9cec0>"
       ]
      },
-     "execution_count": 39,
+     "execution_count": 40,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1965,7 +2066,45 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 40,
+   "execution_count": 41,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "adder.eliminate_1to1_forks()"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 42,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "7:input\"a\" >4\n",
+      "5:input\"clk\" >3\n",
+      "0:DFF\"carry\" <1 <3 >12\n",
+      "9:input\"b\" >5\n",
+      "10:__fork__\"adder~A\" <4 >14 >6\n",
+      "6:__fork__\"adder~CI\" <12 >8 >11\n",
+      "8:__fork__\"adder~B\" <5 >0 >10\n",
+      "4:XOR2\"adder~AB\" <14 <0 >13\n",
+      "3:__fork__\"adder~AB\" <13 >9 >7\n",
+      "2:XOR2\"adder\" <9 <8 >1\n",
+      "1:AO22\"adder~S\" <7 <11 <6 <10 >2\n",
+      "11:output\"s\" <2\n"
+     ]
+    }
+   ],
+   "source": [
+    "for n in adder.topological_order():\n",
+    "    print(n)"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 43,
    "metadata": {},
    "outputs": [
     {
@@ -1974,270 +2113,309 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.30.1 (20201013.1554)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"907pt\" height=\"297pt\"\n",
-       " viewBox=\"0.00 0.00 906.77 297.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 1) rotate(0) translate(4 293)\">\n",
+       "<svg width=\"1036pt\" height=\"336pt\"\n",
+       " viewBox=\"0.00 0.00 1036.00 336.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 1) rotate(0) translate(4 332)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-293 903.765,-293 903.765,5 -4,5\"/>\n",
-       "<!-- 0 -->\n",
-       "<g id=\"node1\" class=\"node\"><title>0</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"14.7652,-0.5 14.7652,-53.5 104.765,-53.5 104.765,-0.5 14.7652,-0.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.2652\" y=\"-36.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"14.7652,-27.5 37.7652,-27.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.2652\" y=\"-10.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"37.7652,-0.5 37.7652,-53.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"59.7652\" y=\"-38.3\" font-family=\"Times,serif\" font-size=\"14.00\">0 [4]</text>\n",
-       "<text text-anchor=\"middle\" x=\"59.7652\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">DFF</text>\n",
-       "<text text-anchor=\"middle\" x=\"59.7652\" y=\"-8.3\" font-family=\"Times,serif\" font-size=\"14.00\">carry</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"81.7652,-0.5 81.7652,-53.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"93.2652\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-332 1032,-332 1032,4 -4,4\"/>\n",
+       "<!-- 7 -->\n",
+       "<g id=\"node1\" class=\"node\">\n",
+       "<title>7</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"2.5,-266.5 2.5,-319.5 103.5,-319.5 103.5,-266.5 2.5,-266.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"23.5,-266.5 23.5,-319.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">7 [1]</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-274.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"77.5,-266.5 77.5,-319.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"90.5\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 6 -->\n",
-       "<g id=\"node5\" class=\"node\"><title>6</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"154.765,-10.5 154.765,-63.5 268.765,-63.5 268.765,-10.5 154.765,-10.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"166.265\" y=\"-33.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"177.765,-10.5 177.765,-63.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-48.3\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-33.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-18.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~CI</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"245.765,-10.5 245.765,-63.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"257.265\" y=\"-46.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"245.765,-37.5 268.765,-37.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"257.265\" y=\"-20.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<!-- 10 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>10</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"164,-266.5 164,-319.5 296,-319.5 296,-266.5 164,-266.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"177\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"190,-266.5 190,-319.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-304.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-274.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~A</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"270,-266.5 270,-319.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"283\" y=\"-302.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"270,-293.5 296,-293.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"283\" y=\"-276.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
-       "<!-- 0&#45;&gt;6 -->\n",
-       "<g id=\"edge13\" class=\"edge\"><title>0:o0&#45;&gt;6:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M104.765,-27C123.532,-27 129.964,-33.8579 144.491,-36.2153\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"144.528,-39.7282 154.765,-37 145.061,-32.7485 144.528,-39.7282\"/>\n",
-       "<text text-anchor=\"middle\" x=\"129.765\" y=\"-38.8\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n",
+       "<!-- 7&#45;&gt;10 -->\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>7:o0&#45;&gt;10:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M105,-293C126.95,-293 134.88,-293 152.67,-293\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"153,-296.5 163,-293 153,-289.5 153,-296.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-296.8\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
        "</g>\n",
        "<!-- 5 -->\n",
-       "<g id=\"node2\" class=\"node\"><title>5</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"16.2652,-90.5 16.2652,-143.5 103.265,-143.5 103.265,-90.5 16.2652,-90.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.2652\" y=\"-113.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"36.2652,-90.5 36.2652,-143.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-128.3\" font-family=\"Times,serif\" font-size=\"14.00\">5 [0]</text>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-113.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-98.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"80.2652,-90.5 80.2652,-143.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"91.7652\" y=\"-113.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 5&#45;&gt;0 -->\n",
-       "<g id=\"edge4\" class=\"edge\"><title>5:o0&#45;&gt;0:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M3.93752,-16.7734C-9.49505,-27.5832 15.186,-66.9364 38.7652,-80 49.2493,-85.8085 91.7652,-78.0144 91.7652,-90\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"5.09172,-20.0845 13.7652,-14 3.19048,-13.3476 5.09172,-20.0845\"/>\n",
-       "<text text-anchor=\"middle\" x=\"42.2652\" y=\"-68.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<g id=\"node2\" class=\"node\">\n",
+       "<title>5</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"2.5,-0.5 2.5,-53.5 103.5,-53.5 103.5,-0.5 2.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"23.5,-0.5 23.5,-53.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-38.3\" font-family=\"Times,serif\" font-size=\"14.00\">5 [0]</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-8.3\" font-family=\"Times,serif\" font-size=\"14.00\">clk</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"77.5,-0.5 77.5,-53.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"90.5\" y=\"-23.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "</g>\n",
+       "<!-- _3_ -->\n",
+       "<g id=\"node13\" class=\"node\">\n",
+       "<title>_3_</title>\n",
+       "<ellipse fill=\"none\" stroke=\"black\" cx=\"230\" cy=\"-33\" rx=\"27\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-29.3\" font-family=\"Times,serif\" font-size=\"14.00\">_3_</text>\n",
+       "</g>\n",
+       "<!-- 5&#45;&gt;_3_ -->\n",
+       "<g id=\"edge4\" class=\"edge\">\n",
+       "<title>5:o0&#45;&gt;_3_</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M105,-27C134.61,-27 168.15,-28.73 192.87,-30.33\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"192.68,-33.82 202.89,-31 193.15,-26.84 192.68,-33.82\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-31.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
        "</g>\n",
-       "<!-- 7 -->\n",
-       "<g id=\"node3\" class=\"node\"><title>7</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"16.2652,-234.5 16.2652,-287.5 103.265,-287.5 103.265,-234.5 16.2652,-234.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.2652\" y=\"-257.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"36.2652,-234.5 36.2652,-287.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-272.3\" font-family=\"Times,serif\" font-size=\"14.00\">7 [1]</text>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-257.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-242.3\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"80.2652,-234.5 80.2652,-287.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"91.7652\" y=\"-257.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-76.5 0,-129.5 106,-129.5 106,-76.5 0,-76.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-112.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"0,-103.5 26,-103.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-86.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"26,-76.5 26,-129.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"53\" y=\"-114.3\" font-family=\"Times,serif\" font-size=\"14.00\">0 [4]</text>\n",
+       "<text text-anchor=\"middle\" x=\"53\" y=\"-99.3\" font-family=\"Times,serif\" font-size=\"14.00\">DFF</text>\n",
+       "<text text-anchor=\"middle\" x=\"53\" y=\"-84.3\" font-family=\"Times,serif\" font-size=\"14.00\">carry</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"80,-76.5 80,-129.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"93\" y=\"-99.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 10 -->\n",
-       "<g id=\"node6\" class=\"node\"><title>10</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"156.265,-233.5 156.265,-286.5 267.265,-286.5 267.265,-233.5 156.265,-233.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"167.765\" y=\"-256.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"179.265,-233.5 179.265,-286.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-256.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-241.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~A</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"244.265,-233.5 244.265,-286.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"255.765\" y=\"-269.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"244.265,-260.5 267.265,-260.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"255.765\" y=\"-243.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<!-- 6 -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>6</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"161,-72.5 161,-125.5 299,-125.5 299,-72.5 161,-72.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"174\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"187,-72.5 187,-125.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-110.3\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-95.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-80.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~CI</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"273,-72.5 273,-125.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"286\" y=\"-108.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"273,-99.5 299,-99.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"286\" y=\"-82.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
-       "<!-- 7&#45;&gt;10 -->\n",
-       "<g id=\"edge5\" class=\"edge\"><title>7:o0&#45;&gt;10:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M104.765,-261C123.172,-261 130.139,-260.314 144.613,-260.078\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"144.793,-263.577 154.765,-260 144.738,-256.577 144.793,-263.577\"/>\n",
-       "<text text-anchor=\"middle\" x=\"129.765\" y=\"-263.8\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "<!-- 0&#45;&gt;6 -->\n",
+       "<g id=\"edge14\" class=\"edge\">\n",
+       "<title>0:o0&#45;&gt;6:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M106,-103C126.68,-103 134.17,-100.15 150.73,-99.26\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"151.09,-102.75 161,-99 150.91,-95.76 151.09,-102.75\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-105.8\" font-family=\"Times,serif\" font-size=\"14.00\">12</text>\n",
        "</g>\n",
        "<!-- 9 -->\n",
-       "<g id=\"node4\" class=\"node\"><title>9</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"16.2652,-162.5 16.2652,-215.5 103.265,-215.5 103.265,-162.5 16.2652,-162.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"26.2652\" y=\"-185.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"36.2652,-162.5 36.2652,-215.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-200.3\" font-family=\"Times,serif\" font-size=\"14.00\">9 [2]</text>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-185.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
-       "<text text-anchor=\"middle\" x=\"58.2652\" y=\"-170.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"80.2652,-162.5 80.2652,-215.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"91.7652\" y=\"-185.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>9</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"2.5,-190.5 2.5,-243.5 103.5,-243.5 103.5,-190.5 2.5,-190.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"23.5,-190.5 23.5,-243.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-228.3\" font-family=\"Times,serif\" font-size=\"14.00\">9 [2]</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\">input</text>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\">b</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"77.5,-190.5 77.5,-243.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"90.5\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 8 -->\n",
-       "<g id=\"node7\" class=\"node\"><title>8</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"156.265,-153.5 156.265,-206.5 267.265,-206.5 267.265,-153.5 156.265,-153.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"167.765\" y=\"-176.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"179.265,-153.5 179.265,-206.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-191.3\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-176.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"211.765\" y=\"-161.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~B</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"244.265,-153.5 244.265,-206.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"255.765\" y=\"-189.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"244.265,-180.5 267.265,-180.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"255.765\" y=\"-163.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"node7\" class=\"node\">\n",
+       "<title>8</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"164,-190.5 164,-243.5 296,-243.5 296,-190.5 164,-190.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"177\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"190,-190.5 190,-243.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-228.3\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"230\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~B</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"270,-190.5 270,-243.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"283\" y=\"-226.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"270,-217.5 296,-217.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"283\" y=\"-200.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 9&#45;&gt;8 -->\n",
-       "<g id=\"edge6\" class=\"edge\"><title>9:o0&#45;&gt;8:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M104.765,-189C123.464,-189 129.998,-182.828 144.515,-180.706\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"145.029,-184.179 154.765,-180 144.548,-177.196 145.029,-184.179\"/>\n",
-       "<text text-anchor=\"middle\" x=\"129.765\" y=\"-190.8\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>9:o0&#45;&gt;8:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M105,-217C126.95,-217 134.88,-217 152.67,-217\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"153,-220.5 163,-217 153,-213.5 153,-220.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-220.8\" font-family=\"Times,serif\" font-size=\"14.00\">5</text>\n",
        "</g>\n",
-       "<!-- 2 -->\n",
-       "<g id=\"node10\" class=\"node\"><title>2</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"658.265,-81.5 658.265,-134.5 755.265,-134.5 755.265,-81.5 658.265,-81.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"669.765\" y=\"-117.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"658.265,-108.5 681.265,-108.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"669.765\" y=\"-91.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"681.265,-81.5 681.265,-134.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"706.765\" y=\"-119.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
-       "<text text-anchor=\"middle\" x=\"706.765\" y=\"-104.3\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
-       "<text text-anchor=\"middle\" x=\"706.765\" y=\"-89.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"732.265,-81.5 732.265,-134.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"743.765\" y=\"-104.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 4 -->\n",
+       "<g id=\"node8\" class=\"node\">\n",
+       "<title>4</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"354,-274.5 354,-327.5 496,-327.5 496,-274.5 354,-274.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"367\" y=\"-310.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"354,-301.5 380,-301.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"367\" y=\"-284.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"380,-274.5 380,-327.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"425\" y=\"-312.3\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
+       "<text text-anchor=\"middle\" x=\"425\" y=\"-297.3\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
+       "<text text-anchor=\"middle\" x=\"425\" y=\"-282.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"470,-274.5 470,-327.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"483\" y=\"-297.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 6&#45;&gt;2 -->\n",
-       "<g id=\"edge9\" class=\"edge\"><title>6:o0&#45;&gt;2:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M268.765,-51C309.61,-51 578.963,-89.9948 646.587,-94.5645\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"646.625,-98.0693 656.765,-95 646.924,-91.0757 646.625,-98.0693\"/>\n",
-       "<text text-anchor=\"middle\" x=\"463.765\" y=\"-78.8\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "<!-- 10&#45;&gt;4 -->\n",
+       "<g id=\"edge16\" class=\"edge\">\n",
+       "<title>10:o0&#45;&gt;4:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M297,-307C318.78,-307 326.25,-312.8 343.78,-314.52\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"343.85,-318.03 354,-315 344.17,-311.04 343.85,-318.03\"/>\n",
+       "<text text-anchor=\"middle\" x=\"326.5\" y=\"-316.8\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n",
        "</g>\n",
        "<!-- 1 -->\n",
-       "<g id=\"node11\" class=\"node\"><title>1</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"652.765,-156 652.765,-248 760.765,-248 760.765,-156 652.765,-156\"/>\n",
-       "<text text-anchor=\"middle\" x=\"664.265\" y=\"-232.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"652.765,-225 675.765,-225 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"664.265\" y=\"-209.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"652.765,-202 675.765,-202 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"664.265\" y=\"-186.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"652.765,-179 675.765,-179 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"664.265\" y=\"-163.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"675.765,-156 675.765,-248 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"706.765\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<text text-anchor=\"middle\" x=\"706.765\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\">AO22</text>\n",
-       "<text text-anchor=\"middle\" x=\"706.765\" y=\"-183.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~S</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"737.765,-156 737.765,-248 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"749.265\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "</g>\n",
-       "<!-- 6&#45;&gt;1 -->\n",
-       "<g id=\"edge12\" class=\"edge\"><title>6:o1&#45;&gt;1:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M268.765,-24C359.528,-24 386.047,-21.4316 470.765,-54 552.456,-85.4047 580.985,-93.9542 634.765,-163 646.651,-178.26 635.499,-201.984 643.214,-210.67\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"642.17,-214.013 652.765,-214 644.475,-207.403 642.17,-214.013\"/>\n",
-       "<text text-anchor=\"middle\" x=\"463.765\" y=\"-57.8\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n",
+       "<g id=\"node11\" class=\"node\">\n",
+       "<title>1</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"739,-198 739,-290 871,-290 871,-198 739,-198\"/>\n",
+       "<text text-anchor=\"middle\" x=\"752\" y=\"-274.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"739,-267 765,-267 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"752\" y=\"-251.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"739,-244 765,-244 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"752\" y=\"-228.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"739,-221 765,-221 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"752\" y=\"-205.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"765,-198 765,-290 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"805\" y=\"-255.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<text text-anchor=\"middle\" x=\"805\" y=\"-240.3\" font-family=\"Times,serif\" font-size=\"14.00\">AO22</text>\n",
+       "<text text-anchor=\"middle\" x=\"805\" y=\"-225.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~S</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"845,-198 845,-290 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"858\" y=\"-240.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 10&#45;&gt;1 -->\n",
-       "<g id=\"edge7\" class=\"edge\"><title>10:o1&#45;&gt;1:i2</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M268.765,-247C293.226,-247 295.167,-230.437 318.765,-224 459.344,-185.654 501.583,-189.778 642.45,-189.992\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"642.762,-193.492 652.765,-190 642.768,-186.492 642.762,-193.492\"/>\n",
-       "<text text-anchor=\"middle\" x=\"463.765\" y=\"-198.8\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
+       "<g id=\"edge8\" class=\"edge\">\n",
+       "<title>10:o1&#45;&gt;1:i2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M297,-280C323.2,-280 328.19,-269.47 354,-265 519.75,-236.31 565.4,-232.16 728.59,-232\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"729,-235.5 739,-232 729,-228.5 729,-235.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"523.5\" y=\"-243.8\" font-family=\"Times,serif\" font-size=\"14.00\">6</text>\n",
        "</g>\n",
-       "<!-- 4 -->\n",
-       "<g id=\"node8\" class=\"node\"><title>4</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"319.265,-233.5 319.265,-286.5 438.265,-286.5 438.265,-233.5 319.265,-233.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"330.765\" y=\"-269.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"319.265,-260.5 342.265,-260.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"330.765\" y=\"-243.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"342.265,-233.5 342.265,-286.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"378.765\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\">4</text>\n",
-       "<text text-anchor=\"middle\" x=\"378.765\" y=\"-256.3\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
-       "<text text-anchor=\"middle\" x=\"378.765\" y=\"-241.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"415.265,-233.5 415.265,-286.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"426.765\" y=\"-256.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<!-- 2 -->\n",
+       "<g id=\"node10\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"750,-125.5 750,-178.5 860,-178.5 860,-125.5 750,-125.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"763\" y=\"-161.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"750,-152.5 776,-152.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"763\" y=\"-135.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"776,-125.5 776,-178.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"805\" y=\"-163.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<text text-anchor=\"middle\" x=\"805\" y=\"-148.3\" font-family=\"Times,serif\" font-size=\"14.00\">XOR2</text>\n",
+       "<text text-anchor=\"middle\" x=\"805\" y=\"-133.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"834,-125.5 834,-178.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"847\" y=\"-148.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
-       "<!-- 10&#45;&gt;4 -->\n",
-       "<g id=\"edge15\" class=\"edge\"><title>10:o0&#45;&gt;4:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M268.765,-274C287.168,-274 294.141,-274 308.615,-274\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"308.765,-277.5 318.765,-274 308.765,-270.5 308.765,-277.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"293.765\" y=\"-277.8\" font-family=\"Times,serif\" font-size=\"14.00\">14</text>\n",
+       "<!-- 6&#45;&gt;2 -->\n",
+       "<g id=\"edge10\" class=\"edge\">\n",
+       "<title>6:o0&#45;&gt;2:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M299,-113C495.91,-113 546.94,-138.12 738.86,-138.98\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"738.99,-142.48 749,-139 739.01,-135.48 738.99,-142.48\"/>\n",
+       "<text text-anchor=\"middle\" x=\"523.5\" y=\"-129.8\" font-family=\"Times,serif\" font-size=\"14.00\">8</text>\n",
+       "</g>\n",
+       "<!-- 6&#45;&gt;1 -->\n",
+       "<g id=\"edge13\" class=\"edge\">\n",
+       "<title>6:o1&#45;&gt;1:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M299,-86C403.38,-86 432.77,-76.86 533,-106 623.48,-132.3 659.45,-132.65 721,-204 733.85,-218.9 721.84,-243.49 729.4,-252.53\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"728.41,-255.89 739,-256 730.79,-249.31 728.41,-255.89\"/>\n",
+       "<text text-anchor=\"middle\" x=\"523.5\" y=\"-109.8\" font-family=\"Times,serif\" font-size=\"14.00\">11</text>\n",
        "</g>\n",
        "<!-- 8&#45;&gt;4 -->\n",
-       "<g id=\"edge1\" class=\"edge\"><title>8:o0&#45;&gt;4:i1</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M268.765,-194C297.423,-194 324.007,-198.466 329.662,-222.012\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"326.188,-222.445 330.765,-232 333.146,-221.676 326.188,-222.445\"/>\n",
-       "<text text-anchor=\"middle\" x=\"293.765\" y=\"-200.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<g id=\"edge1\" class=\"edge\">\n",
+       "<title>8:o0&#45;&gt;4:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M297,-231C329.6,-231 360.12,-235.62 365.99,-262.87\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"362.52,-263.4 367,-273 369.49,-262.7 362.52,-263.4\"/>\n",
+       "<text text-anchor=\"middle\" x=\"326.5\" y=\"-237.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- 8&#45;&gt;1 -->\n",
-       "<g id=\"edge11\" class=\"edge\"><title>8:o1&#45;&gt;1:i3</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M268.765,-167C435.932,-167 480.295,-167 642.425,-167\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"642.765,-170.5 652.765,-167 642.765,-163.5 642.765,-170.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"463.765\" y=\"-170.8\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
+       "<g id=\"edge12\" class=\"edge\">\n",
+       "<title>8:o1&#45;&gt;1:i3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M297,-204C490,-204 540.77,-208.83 728.77,-209\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"729,-212.5 739,-209 729,-205.5 729,-212.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"523.5\" y=\"-209.8\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- 3 -->\n",
-       "<g id=\"node9\" class=\"node\"><title>3</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"489.265,-233.5 489.265,-286.5 608.265,-286.5 608.265,-233.5 489.265,-233.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"500.765\" y=\"-256.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"512.265,-233.5 512.265,-286.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"548.765\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
-       "<text text-anchor=\"middle\" x=\"548.765\" y=\"-256.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
-       "<text text-anchor=\"middle\" x=\"548.765\" y=\"-241.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"585.265,-233.5 585.265,-286.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"596.765\" y=\"-269.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"585.265,-260.5 608.265,-260.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"596.765\" y=\"-243.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"node9\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"551,-274.5 551,-327.5 693,-327.5 693,-274.5 551,-274.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"564\" y=\"-297.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"577,-274.5 577,-327.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"622\" y=\"-312.3\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
+       "<text text-anchor=\"middle\" x=\"622\" y=\"-297.3\" font-family=\"Times,serif\" font-size=\"14.00\">__fork__</text>\n",
+       "<text text-anchor=\"middle\" x=\"622\" y=\"-282.3\" font-family=\"Times,serif\" font-size=\"14.00\">adder~AB</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"667,-274.5 667,-327.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"680\" y=\"-310.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"667,-301.5 693,-301.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"680\" y=\"-284.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 4&#45;&gt;3 -->\n",
-       "<g id=\"edge14\" class=\"edge\"><title>4:o0&#45;&gt;3:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M438.765,-260C457.168,-260 464.141,-260 478.615,-260\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"478.765,-263.5 488.765,-260 478.765,-256.5 478.765,-263.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"463.765\" y=\"-263.8\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n",
-       "</g>\n",
-       "<!-- 3&#45;&gt;1 -->\n",
-       "<g id=\"edge8\" class=\"edge\"><title>3:o1&#45;&gt;1:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M608.765,-247C617.52,-247 618.277,-241.145 626.765,-239 633.788,-237.225 637.661,-236.888 642.408,-236.884\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"642.727,-240.388 652.765,-237 642.805,-233.388 642.727,-240.388\"/>\n",
-       "<text text-anchor=\"middle\" x=\"630.765\" y=\"-242.8\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n",
+       "<g id=\"edge15\" class=\"edge\">\n",
+       "<title>4:o0&#45;&gt;3:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M496,-301C516.62,-301 524.2,-301 540.74,-301\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"541,-304.5 551,-301 541,-297.5 541,-304.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"523.5\" y=\"-304.8\" font-family=\"Times,serif\" font-size=\"14.00\">13</text>\n",
        "</g>\n",
        "<!-- 3&#45;&gt;2 -->\n",
-       "<g id=\"edge10\" class=\"edge\"><title>3:o0&#45;&gt;2:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M608.765,-274C667.987,-274 632.38,-175.662 652.765,-146 654.86,-142.952 658.213,-142.256 661.389,-141.812\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"663.545,-144.577 669.765,-136 659.554,-138.826 663.545,-144.577\"/>\n",
-       "<text text-anchor=\"middle\" x=\"630.765\" y=\"-272.8\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
+       "<g id=\"edge11\" class=\"edge\">\n",
+       "<title>3:o0&#45;&gt;2:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M693,-315C757.1,-315 727.69,-202.7 739,-189 742.85,-184.33 749.39,-185.3 754.66,-185.52\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"756.6,-188.44 763,-180 752.73,-182.61 756.6,-188.44\"/>\n",
+       "<text text-anchor=\"middle\" x=\"716\" y=\"-313.8\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
+       "</g>\n",
+       "<!-- 3&#45;&gt;1 -->\n",
+       "<g id=\"edge9\" class=\"edge\">\n",
+       "<title>3:o1&#45;&gt;1:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M693,-288C701.75,-288 702.47,-281.97 711,-280 718.96,-278.16 723.17,-278.31 728.64,-278.62\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"728.88,-282.13 739,-279 729.13,-275.14 728.88,-282.13\"/>\n",
+       "<text text-anchor=\"middle\" x=\"716\" y=\"-283.8\" font-family=\"Times,serif\" font-size=\"14.00\">7</text>\n",
        "</g>\n",
        "<!-- 2&#45;&gt;0 -->\n",
-       "<g id=\"edge2\" class=\"edge\"><title>2:o0&#45;&gt;0:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M743.765,-80C743.765,-41.7752 694.675,-71.0609 657.765,-81 646.427,-84.0531 645.84,-90.0969 634.765,-94 598.655,-106.726 588.052,-108 549.765,-108 210.765,-108 210.765,-108 210.765,-108 206.15,-108 71.6313,-72.4854 34.935,-59.3351\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"36.3018,-56.1099 25.7652,-55 33.3099,-62.4383 36.3018,-56.1099\"/>\n",
-       "<text text-anchor=\"middle\" x=\"378.765\" y=\"-111.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<g id=\"edge2\" class=\"edge\">\n",
+       "<title>2:o0&#45;&gt;0:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M847,-180C847,-205 648,-159 623,-159 229,-159 229,-159 229,-159 184.19,-159 37.22,-176.49 15.65,-140.68\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"19.02,-139.72 13,-131 12.27,-141.57 19.02,-139.72\"/>\n",
+       "<text text-anchor=\"middle\" x=\"425\" y=\"-162.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- 11 -->\n",
-       "<g id=\"node12\" class=\"node\"><title>11</title>\n",
-       "<polygon fill=\"none\" stroke=\"black\" points=\"804.765,-175.5 804.765,-228.5 898.765,-228.5 898.765,-175.5 804.765,-175.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"816.265\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"827.765,-175.5 827.765,-228.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"853.265\" y=\"-213.3\" font-family=\"Times,serif\" font-size=\"14.00\">11 [3]</text>\n",
-       "<text text-anchor=\"middle\" x=\"853.265\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\">output</text>\n",
-       "<text text-anchor=\"middle\" x=\"853.265\" y=\"-183.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
-       "<polyline fill=\"none\" stroke=\"black\" points=\"878.765,-175.5 878.765,-228.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"888.765\" y=\"-198.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<g id=\"node12\" class=\"node\">\n",
+       "<title>11</title>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"917,-217.5 917,-270.5 1028,-270.5 1028,-217.5 917,-217.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"930\" y=\"-240.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"943,-217.5 943,-270.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"975\" y=\"-255.3\" font-family=\"Times,serif\" font-size=\"14.00\">11 [3]</text>\n",
+       "<text text-anchor=\"middle\" x=\"975\" y=\"-240.3\" font-family=\"Times,serif\" font-size=\"14.00\">output</text>\n",
+       "<text text-anchor=\"middle\" x=\"975\" y=\"-225.3\" font-family=\"Times,serif\" font-size=\"14.00\">s</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1007,-217.5 1007,-270.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1017.5\" y=\"-240.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- 1&#45;&gt;11 -->\n",
-       "<g id=\"edge3\" class=\"edge\"><title>1:o0&#45;&gt;11:i0</title>\n",
-       "<path fill=\"none\" stroke=\"black\" d=\"M760.765,-202C776.349,-202 782.618,-202 794.418,-202\"/>\n",
-       "<polygon fill=\"black\" stroke=\"black\" points=\"794.765,-205.5 804.765,-202 794.765,-198.5 794.765,-205.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"782.765\" y=\"-205.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>1:o0&#45;&gt;11:i0</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M871,-244C887.61,-244 894.1,-244 906.92,-244\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"907,-247.5 917,-244 907,-240.5 907,-247.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"894\" y=\"-247.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "</g>\n",
+       "<!-- _3_&#45;&gt;0 -->\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
+       "<title>_3_&#45;&gt;0:i1</title>\n",
+       "<path fill=\"none\" stroke=\"black\" stroke-dasharray=\"1,5\" d=\"M204.67,-39.78C179.98,-46.46 140.58,-56.57 106,-63 97.84,-64.52 43.63,-64.62 21.94,-69.87\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"19.93,-66.99 13,-75 23.42,-73.06 19.93,-66.99\"/>\n",
+       "<text text-anchor=\"middle\" x=\"133.5\" y=\"-62.8\" font-family=\"Times,serif\" font-size=\"14.00\">3</text>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7f8e491c1120>"
+       "<graphviz.graphs.Digraph at 0x7f3d68cc64e0>"
       ]
      },
-     "execution_count": 40,
+     "execution_count": 43,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
-    "adder.eliminate_1to1_forks()\n",
     "adder.dot()"
    ]
   },
@@ -2250,7 +2428,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 41,
+   "execution_count": 44,
    "metadata": {},
    "outputs": [
     {
@@ -2278,7 +2456,7 @@
        " '__seq__': 417}"
       ]
      },
-     "execution_count": 41,
+     "execution_count": 44,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2299,7 +2477,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 42,
+   "execution_count": 45,
    "metadata": {},
    "outputs": [
     {
@@ -2488,7 +2666,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 43,
+   "execution_count": 46,
    "metadata": {},
    "outputs": [
     {
@@ -2501,7 +2679,7 @@
        " 0:DFF\"carry\" <1 <3 >12]"
       ]
      },
-     "execution_count": 43,
+     "execution_count": 46,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2523,7 +2701,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 44,
+   "execution_count": 47,
    "metadata": {},
    "outputs": [
     {
@@ -2536,7 +2714,7 @@
        "       [0, 0, 0, 0, 3, 3, 3, 3]], dtype=uint8)"
       ]
      },
-     "execution_count": 44,
+     "execution_count": 47,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2562,7 +2740,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 45,
+   "execution_count": 48,
    "metadata": {},
    "outputs": [
     {
@@ -2571,7 +2749,7 @@
        "(5, 8)"
       ]
      },
-     "execution_count": 45,
+     "execution_count": 48,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2589,7 +2767,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 46,
+   "execution_count": 49,
    "metadata": {},
    "outputs": [
     {
@@ -2620,7 +2798,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 47,
+   "execution_count": 50,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -2633,7 +2811,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 48,
+   "execution_count": 51,
    "metadata": {},
    "outputs": [
     {
@@ -2642,7 +2820,7 @@
        "528"
       ]
      },
-     "execution_count": 48,
+     "execution_count": 51,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2653,7 +2831,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 49,
+   "execution_count": 52,
    "metadata": {},
    "outputs": [
     {
@@ -2662,7 +2840,7 @@
        "(528, 678)"
       ]
      },
-     "execution_count": 49,
+     "execution_count": 52,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2673,7 +2851,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 50,
+   "execution_count": 53,
    "metadata": {},
    "outputs": [
     {
@@ -2682,7 +2860,7 @@
        "(528, 678)"
       ]
      },
-     "execution_count": 50,
+     "execution_count": 53,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2693,7 +2871,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 51,
+   "execution_count": 54,
    "metadata": {},
    "outputs": [
     {
@@ -2714,7 +2892,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 52,
+   "execution_count": 55,
    "metadata": {},
    "outputs": [
     {
@@ -2749,7 +2927,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 53,
+   "execution_count": 56,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -2768,18 +2946,18 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 54,
+   "execution_count": 57,
    "metadata": {},
    "outputs": [
     {
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "------------------------------------------------------------------------------------------------------X----XX--000110110011010011101101001011010010110100101101001001100110011001100110011001100011001100110011001100110011001110011001100110011001100110011001011101001011010010110100101101001011010010110100101101001011101100110011001101100110000010010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101011100110011001100110011001100110011111100001001011000100\n",
-      "--------------------------------------RFRRRRFRRFRRRR1R--------RXXRXRRR--------------------------------00F0F00--RR1RRXRF00011010XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX011X00XXX101X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X0XXXXXXX1XXXXXXXXXXXXXXXXXXXXXXXXRRXRXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX00000000000000000111111000001001RFXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX11XXXXX\n",
-      "--------------------------------------1X111XX11X1XX1X11XX11XX111X11X11--------------------------------0-XXR00--F1FF1X0110011X01XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXFXX1XFFX1XFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFX0XFXFXFXF11110XX1XX1XXXXXXX1XXXX1XFR1F1XXXXXXXXXXXXXXXXX011101111000101101110111110001001000100010101011011001110111000X1XX11XXXXXXXX11XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX000X011111111111111111111111111111R0F1R0R001RR100FF1XXX\n",
-      "--------------------------------------------------------------XXXXXXXX--------------------------------0--FX00--F11F1XFRR00R01111XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX0XX1XXXXXRX1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX111111111111111111111110X0XX10XXXXXXXXXRXXXRXRF1FFFRFRXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1XXXXXXXXXXXXX0XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX11X1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX011001010010111111111\n",
-      "--------------------------------------------------------------FFXFFFFF--------------------------------0XXRR00--RF01FXRF00001XX1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX010X010111111111X111111111111111X11100XX0101XXXXXX01XXXX01XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1X1111X110111111XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX0RXRXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1XXXXXX\n"
+      "------------------------------------------------------------------------------------------------------0----00--000110110011010011101101001011010010110100101101001001100110011001100110011001100011001100110011001100110011001110011001100110011001100110011001011101001011010010110100101101001011010010110100101101001011101100110011001101100110000010010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101011100110011001100110011001100110011111100001001011000100\n",
+      "--------------------------------------RFRRRRFRRFRRRR1R--------R11R1RRR--------------------------------00F0F00--RR1RRXRF00011010XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX011X00XXX101X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X1X0XXXXXXX1XXXXXXXXXXXXXXXXXXXXXXXXRRXRXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX00000000000000000111111000001001RFX1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1X0X0X1XXXXXXX11XXXXX\n",
+      "--------------------------------------10111001101001011001100111011011--------------------------------0-10R00--F1FF1X0110011001011X1X1X0X1X1X0X1X1X1X0X0X1X1X0X0X101001011001110XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXFXX1XFFX1XFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFXFX0XFXFXFXF11110XX1XX1XXXXXXX1XXXX1XFR1F1XXXXXXXXXXXXXXXXX011101111000101101110111110001001000100010101011011001110111000X1XX11XXXXXXXX11XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX000X011111111111111111111111111111R0F1R0R001RR100FF1XXX\n",
+      "--------------------------------------------------------------01100100--------------------------------0--F000--F11F1XFRR00R01111XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX0XX1XXXXXRX1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX111111111111111111111110X0XX10XXXXXXXX0R000R0RF1FFFRFRXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1XXXXXXXXXXXXX0XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX11X1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX011001010010111111111\n",
+      "--------------------------------------------------------------FF1FFFFF--------------------------------000RR00--RF01FXRF00001XX1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX010X010111111111X111111111111111X11100XX0101XXXXXX01XXXX01XXXXXXXXXXXXXXXXXXXXXXXXXXXX11X1XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1X1111X110111111XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX0RXRXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX1X1X0X1XXXXXXX1XXXXXX\n"
      ]
     }
    ],
@@ -2789,7 +2967,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 55,
+   "execution_count": 58,
    "metadata": {},
    "outputs": [
     {
@@ -2817,7 +2995,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 56,
+   "execution_count": 59,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -2831,7 +3009,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 57,
+   "execution_count": 60,
    "metadata": {},
    "outputs": [
     {
@@ -2864,7 +3042,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 58,
+   "execution_count": 61,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -2873,7 +3051,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 59,
+   "execution_count": 62,
    "metadata": {},
    "outputs": [
     {
@@ -2882,7 +3060,7 @@
        "(528, 3, 85)"
       ]
      },
-     "execution_count": 59,
+     "execution_count": 62,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2902,7 +3080,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 60,
+   "execution_count": 63,
    "metadata": {},
    "outputs": [
     {
@@ -2911,7 +3089,7 @@
        "(528, 680)"
       ]
      },
-     "execution_count": 60,
+     "execution_count": 63,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2931,7 +3109,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 61,
+   "execution_count": 64,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -2947,7 +3125,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 62,
+   "execution_count": 65,
    "metadata": {},
    "outputs": [
     {
@@ -2981,7 +3159,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 63,
+   "execution_count": 66,
    "metadata": {},
    "outputs": [
     {
@@ -2990,7 +3168,7 @@
        "677"
       ]
      },
-     "execution_count": 63,
+     "execution_count": 66,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3010,7 +3188,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 67,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -3024,7 +3202,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 65,
+   "execution_count": 68,
    "metadata": {},
    "outputs": [
     {
@@ -3054,7 +3232,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 66,
+   "execution_count": 69,
    "metadata": {},
    "outputs": [
     {
@@ -3087,7 +3265,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 67,
+   "execution_count": 70,
    "metadata": {},
    "outputs": [
     {
@@ -3096,7 +3274,7 @@
        "1146"
       ]
      },
-     "execution_count": 67,
+     "execution_count": 70,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3127,7 +3305,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 68,
+   "execution_count": 71,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -3146,7 +3324,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 69,
+   "execution_count": 72,
    "metadata": {},
    "outputs": [
     {
@@ -3155,7 +3333,7 @@
        "(32032, 2, 2)"
       ]
      },
-     "execution_count": 69,
+     "execution_count": 72,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3173,7 +3351,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 70,
+   "execution_count": 73,
    "metadata": {},
    "outputs": [
     {
@@ -3182,7 +3360,7 @@
        "79010"
       ]
      },
-     "execution_count": 70,
+     "execution_count": 73,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3210,7 +3388,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 71,
+   "execution_count": 74,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -3228,17 +3406,17 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 72,
+   "execution_count": 75,
    "metadata": {},
    "outputs": [
     {
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "Waveforms              : 66856.0 kiB\n",
+      "Waveforms              : 65996.0 kiB\n",
       "State Allocation Table : 134.3 kiB\n",
       "Circuit Timing         : 1074.1 kiB\n",
-      "Circuit Netlist        : 1171.2 kiB\n",
+      "Circuit Netlist        : 1156.0 kiB\n",
       "Sequential State       : 726.0 kiB\n"
      ]
     }
@@ -3265,21 +3443,23 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 73,
+   "execution_count": 76,
    "metadata": {},
    "outputs": [],
    "source": [
     "from kyupy import batchrange\n",
     "import numpy as np\n",
+    "from numba import config\n",
+    "config.CUDA_LOW_OCCUPANCY_WARNINGS = False\n",
     "\n",
-    "sims = 128  # transition_tests_zf.shape[-1]  # Feel free to simulate all tests if CUDA is set up correctly.\n",
+    "sims = 128  #transition_tests_zf.shape[-1]  # Feel free to simulate all tests if CUDA is set up correctly.\n",
     "\n",
     "wsim_results = np.zeros((11, wsim.s_len, sims))  # space to store all simulation results\n",
     "\n",
     "for offset, size in batchrange(sims, wsim.sims):\n",
-    "    wsim.s[0] = (transition_tests_zf[:,offset:offset+size] >> 1) & 1  # initial value (bit 1)\n",
-    "    wsim.s[1] = 0.0 # transition time\n",
-    "    wsim.s[2] = transition_tests_zf[:,offset:offset+size] & 1  # final value (bit 0)\n",
+    "    wsim.s[0,:,:size] = (transition_tests_zf[:,offset:offset+size] >> 1) & 1  # initial value (bit 1)\n",
+    "    wsim.s[1,:,:size] = 0.0 # transition time\n",
+    "    wsim.s[2,:,:size] = transition_tests_zf[:,offset:offset+size] & 1  # final value (bit 0)\n",
     "    wsim.s_to_c()\n",
     "    wsim.c_prop(sims=size)\n",
     "    wsim.c_to_s(time=1.5)  # capture at time 1.5\n",
@@ -3308,7 +3488,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 74,
+   "execution_count": 77,
    "metadata": {},
    "outputs": [
     {
@@ -3317,7 +3497,7 @@
        "(11, 528, 128)"
       ]
      },
-     "execution_count": 74,
+     "execution_count": 77,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3335,7 +3515,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 75,
+   "execution_count": 78,
    "metadata": {},
    "outputs": [
     {
@@ -3364,7 +3544,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 76,
+   "execution_count": 79,
    "metadata": {},
    "outputs": [
     {
@@ -3373,7 +3553,7 @@
        "127"
       ]
      },
-     "execution_count": 76,
+     "execution_count": 79,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3393,7 +3573,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 77,
+   "execution_count": 80,
    "metadata": {},
    "outputs": [
     {
@@ -3402,7 +3582,7 @@
        "1.0424000024795532"
       ]
      },
-     "execution_count": 77,
+     "execution_count": 80,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3420,7 +3600,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 78,
+   "execution_count": 81,
    "metadata": {},
    "outputs": [
     {
@@ -3429,7 +3609,7 @@
        "0.0"
       ]
      },
-     "execution_count": 78,
+     "execution_count": 81,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3447,7 +3627,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 79,
+   "execution_count": 82,
    "metadata": {},
    "outputs": [
     {
@@ -3456,7 +3636,7 @@
        "0"
       ]
      },
-     "execution_count": 79,
+     "execution_count": 82,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3489,7 +3669,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.10.9"
+   "version": "3.12.2"
   },
   "vscode": {
    "interpreter": {
diff --git a/src/kyupy/circuit.py b/src/kyupy/circuit.py
index e387ffc..0191d26 100644
--- a/src/kyupy/circuit.py
+++ b/src/kyupy/circuit.py
@@ -669,13 +669,16 @@ class Circuit:
                     ins = '|'.join([f'<i{i}>{i}' for i in range(len(n.ins))])
                     outs = '|'.join([f'<o{i}>{i}' for i in range(len(n.outs))])
                     io = f' [{s_dict[n]}]' if n in s_dict else ''
-                    s.node(name=str(n.index), label = f'{{{{{ins}}}|{n.index}{io}\n{n.kind}\n{n.name}|{{{outs}}}}}', shape='record')
+                    s.node(name=str(n.index), label = fr'{{{{{ins}}}|{n.index}{io}\n{n.kind}\n{n.name}|{{{outs}}}}}', shape='record')
 
         for l in self.lines:
             driver, reader = f'{l.driver.index}:o{l.driver_pin}', f'{l.reader.index}:i{l.reader_pin}'
-            if node_level[l.driver] >= node_level[l.reader]:
+            if node_level[l.driver] == node_level[l.reader]:
+                s.node(f'_{l.index}_')
+                dot.edge(driver, f'_{l.index}_', style='dotted', label=str(l.index))
+                dot.edge(f'_{l.index}_', reader, style='dotted', label=str(l.index))
+            elif node_level[l.driver] > node_level[l.reader]:
                 dot.edge(driver, reader, style='dotted', label=str(l.index))
-                pass
             else:
                 dot.edge(driver, reader, label=str(l.index))