diff --git a/solve.ipynb b/solve.ipynb
index 841e6ae..1754906 100644
--- a/solve.ipynb
+++ b/solve.ipynb
@@ -9,7 +9,7 @@
      "data": {
       "text/plain": [
        "Stochaskell, version 0.1.0\n",
-       "Copyright (C) 2015-2019 David A Roberts\n",
+       "Copyright (C) 2015-2020 David A Roberts\n",
        "This program comes with ABSOLUTELY NO WARRANTY.\n",
        "This is free software, and you are welcome to redistribute it\n",
        "under certain conditions; see the LICENSE for details.\n",
@@ -48,8 +48,9 @@
        "z :=\n",
        "  let v_0_0 = y - 1.0 :: R\n",
        "      v_0_1 = v_0_0 / 2.0 :: R\n",
-       "      v_0_2 = log v_0_1 :: R\n",
-       "   in v_0_2"
+       "      v_0_2 = log v_0_0 :: R\n",
+       "      v_0_3 = v_0_2 - 0.6931471805599453 :: R\n",
+       "   in v_0_3"
       ]
      },
      "metadata": {},
@@ -136,72 +137,72 @@
        "<?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.40.1 (20161225.0304)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"240pt\" height=\"191pt\"\n",
-       " viewBox=\"0.00 0.00 239.50 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"266pt\" height=\"191pt\"\n",
+       " viewBox=\"0.00 0.00 265.50 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 187)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-187 235.5,-187 235.5,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-187 261.5,-187 261.5,4 -4,4\"/>\n",
        "<!-- _v_0_1 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>_v_0_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"0,-73.5 0,-109.5 66,-109.5 66,-73.5 0,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"23,-73.5 23,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"34.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"46,-73.5 46,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"56\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"0,-73.5 0,-109.5 70,-109.5 70,-73.5 0,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"13\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"26,-73.5 26,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"37.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"49,-73.5 49,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"59.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>_v_0_3</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"102.5,-.5 102.5,-36.5 167.5,-36.5 167.5,-.5 102.5,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"112.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"122.5,-.5 122.5,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">+</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"147.5,-.5 147.5,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"157.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"109.5,-0.5 109.5,-36.5 180.5,-36.5 180.5,-0.5 109.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"120\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"130.5,-0.5 130.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"145\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\">+</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"159.5,-0.5 159.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"170\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _x_ns_0_0 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>_x_ns_0_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"39.5,-146.5 39.5,-182.5 148.5,-182.5 148.5,-146.5 39.5,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"71\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">~normal</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"102.5,-146.5 102.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"114\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"125.5,-146.5 125.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"137\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"32.5,-146.5 32.5,-182.5 163.5,-182.5 163.5,-146.5 32.5,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"72\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">~normal</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"111.5,-146.5 111.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"124.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"137.5,-146.5 137.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"150.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _x_ns_0_0&#45;&gt;_v_0_1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>_x_ns_0_0&#45;&gt;_v_0_1:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M73.2211,-146.2171C66.4982,-138.7644 60.075,-129.5194 57.358,-119.4175\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"60.8244,-118.9327 56,-109.5 53.8891,-119.8824 60.8244,-118.9327\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M77.67,-146.3C70.89,-139.1 64.34,-130.1 61.49,-120.19\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"64.91,-119.39 60,-110 57.98,-120.4 64.91,-119.39\"/>\n",
        "</g>\n",
        "<!-- _x_ns_0_0&#45;&gt;_v_0_3 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>_x_ns_0_0&#45;&gt;_v_0_3:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M98.1748,-146.3836C103.0352,-123.8075 110.5613,-83.6937 111.8189,-46.8025\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"115.3236,-46.56 112,-36.5 108.3247,-46.4369 115.3236,-46.56\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M101.73,-146.37C107.18,-120.88 116.92,-73.19 119.41,-47.24\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"122.92,-47.19 120,-37 115.93,-46.78 122.92,-47.19\"/>\n",
        "</g>\n",
        "<!-- _x_ns_0_1 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
        "<title>_x_ns_0_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"122.5,-73.5 122.5,-109.5 231.5,-109.5 231.5,-73.5 122.5,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"154\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">~normal</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"185.5,-73.5 185.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"197\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"208.5,-73.5 208.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"220\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"126.5,-73.5 126.5,-109.5 257.5,-109.5 257.5,-73.5 126.5,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"166\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">~normal</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"205.5,-73.5 205.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"218.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"231.5,-73.5 231.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"244.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _x_ns_0_0&#45;&gt;_x_ns_0_1 -->\n",
        "<!-- _x_ns_0_1&#45;&gt;_v_0_3 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
        "<title>_x_ns_0_1&#45;&gt;_v_0_3:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M167.2774,-73.2029C163.8444,-65.5276 160.4503,-56.1961 158.8893,-46.7389\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"162.3523,-46.1596 158,-36.5 155.3786,-46.7654 162.3523,-46.1596\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M181,-73.39C176.92,-65.85 172.84,-56.54 171,-46.98\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"174.48,-46.6 170,-37 167.52,-47.3 174.48,-46.6\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
@@ -262,7 +263,7 @@
        "      3 ->\n",
        "        [2,x_show_0_1]\n",
        "      4 ->\n",
-       "        [-2,v_0_4]\n",
+       "        [-2,v_0_4] :: (Z, R)\n",
        " in do x_show_0_0 <- normal 0.0 1.0 :: P R\n",
        "       x_show_0_1 <- normal 0.0 1.0 :: P R\n",
        "       x_show_0_2 <- pmf [0.1,0.2,0.3,0.4] :: P Z\n",
@@ -305,7 +306,7 @@
        "      3 ->\n",
        "        [2,x_show_0_1]\n",
        "      4 ->\n",
-       "        [-2,v_0_4]\n",
+       "        [-2,v_0_4] :: (Z, R)\n",
        " in do x_show_0_0 <- normal 0.0 1.0 :: P R\n",
        "       x_show_0_1 <- normal 0.0 1.0 :: P R\n",
        "       x_show_0_2 <- pmf [0.1,0.2,0.3,0.4] :: P Z\n",
@@ -346,27 +347,27 @@
        "      v_0_1 = x_solve_0_2 == 1 :: B\n",
        "      v_0_2 = x_solve_0_2 == 2 :: B\n",
        "      v_0_3 = negate y :: R\n",
-       "   in { v_0_1 => y, v_0_2 => v_0_3 }\n",
+       "   in { v_0_1 => y, v_0_2 => v_0_3}\n",
        "x_solve_0_1 :=\n",
        "  let v_0_0 = getExternal x_solve_0_2 :: Z\n",
        "      v_0_1 = x_solve_0_2 == 3 :: B\n",
        "      v_0_2 = x_solve_0_2 == 4 :: B\n",
        "      v_0_3 = negate y :: R\n",
-       "   in { v_0_1 => y, v_0_2 => v_0_3 }\n",
+       "   in { v_0_1 => y, v_0_2 => v_0_3}\n",
        "x_solve_0_2 :=\n",
-       "  let v_0_0 = x == -2 :: B\n",
+       "  let v_0_0 = x == 1 :: B\n",
        "      v_0_1 = x == -1 :: B\n",
        "      v_0_2 = not v_0_1 :: B\n",
-       "      v_0_3 = x == 1 :: B\n",
+       "      v_0_3 = x == 2 :: B\n",
        "      v_0_4 = not v_0_3 :: B\n",
-       "      v_0_5 = x == 2 :: B\n",
+       "      v_0_5 = x == -2 :: B\n",
        "      v_0_6 = not v_0_5 :: B\n",
        "      v_0_7 = &&s v_0_0 v_0_2 v_0_4 v_0_6 :: B\n",
        "      v_0_8 = not v_0_0 :: B\n",
        "      v_0_9 = &&s v_0_1 v_0_4 v_0_6 v_0_8 :: B\n",
        "      v_0_10 = &&s v_0_2 v_0_3 v_0_6 v_0_8 :: B\n",
        "      v_0_11 = &&s v_0_2 v_0_4 v_0_5 v_0_8 :: B\n",
-       "   in { v_0_7 => 4, v_0_9 => 2, v_0_10 => 1, v_0_11 => 3 }\n",
+       "   in { v_0_7 => 1, v_0_9 => 2, v_0_10 => 3, v_0_11 => 4}\n",
        "{let v_0_0 = x == -2 :: B\n",
        " in v_0_0} LVar x_solve_0_2 :=\n",
        "  4\n",
@@ -447,7 +448,7 @@
        "      v_0_3 = foldr v_0_1 v_0_2 $ \\i_1_11 i_1_12 ->\n",
        "        let v_1_0 = x!i_1_11 /= y!i_1_11 :: B\n",
        "            v_1_1 = ifThenElse v_1_0 i_1_11 i_1_12 :: Z\n",
-       "         in v_1_1\n",
+       "         in v_1_1 :: Z\n",
        "   in v_0_3\n",
        "u :=\n",
        "  let v_0_0 = vectorSize x :: Z\n",
@@ -458,7 +459,7 @@
        "      v_0_3 = foldr v_0_1 v_0_2 $ \\i_1_11 i_1_12 ->\n",
        "        let v_1_0 = x!i_1_11 /= y!i_1_11 :: B\n",
        "            v_1_1 = ifThenElse v_1_0 i_1_11 i_1_12 :: Z\n",
-       "         in v_1_1\n",
+       "         in v_1_1 :: Z\n",
        "      v_0_4 = log y!v_0_3 :: R\n",
        "   in v_0_4"
       ]
@@ -511,85 +512,85 @@
        "<?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.40.1 (20161225.0304)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"166pt\" height=\"264pt\"\n",
-       " viewBox=\"0.00 0.00 165.50 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"175pt\" height=\"264pt\"\n",
+       " viewBox=\"0.00 0.00 174.50 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 260)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-260 161.5,-260 161.5,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-260 170.5,-260 170.5,4 -4,4\"/>\n",
        "<!-- _v_0_0 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>_v_0_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"0,-73.5 0,-109.5 76,-109.5 76,-73.5 0,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">z</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"23,-73.5 23,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"38\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">**</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"53,-73.5 53,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"64.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-73.5 0,-109.5 80,-109.5 80,-73.5 0,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"12\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">z</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"24,-73.5 24,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"39\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">**</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"54,-73.5 54,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"67\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
        "</g>\n",
        "<!-- _v_0_4 -->\n",
        "<g id=\"node5\" class=\"node\">\n",
        "<title>_v_0_4</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"50.5,-.5 50.5,-36.5 113.5,-36.5 113.5,-.5 50.5,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"60.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"70.5,-.5 70.5,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"82\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"93.5,-.5 93.5,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"103.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"52.5,-0.5 52.5,-36.5 117.5,-36.5 117.5,-0.5 52.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"63\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"73.5,-0.5 73.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"85\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"96.5,-0.5 96.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"107\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_0&#45;&gt;_v_0_4 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
        "<title>_v_0_0&#45;&gt;_v_0_4:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M49.2578,-73.3801C53.2751,-65.6644 57.2465,-56.2244 59.0272,-46.5721\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"62.5223,-46.7902 60,-36.5 55.5548,-46.1172 62.5223,-46.7902\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M51.5,-73.46C55.77,-65.93 60.04,-56.62 61.95,-47.03\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"65.44,-47.31 63,-37 58.48,-46.58 65.44,-47.31\"/>\n",
        "</g>\n",
        "<!-- _v_0_1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>_v_0_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"98,-219.5 98,-255.5 156,-255.5 156,-219.5 98,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"115.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">eye</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"133,-219.5 133,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"144.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"99.5,-219.5 99.5,-255.5 166.5,-255.5 166.5,-219.5 99.5,-219.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"120\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">eye</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"140.5,-219.5 140.5,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"153.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>_v_0_2</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"71,-146.5 71,-182.5 137,-182.5 137,-146.5 71,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"82.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"94,-146.5 94,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"105.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"117,-146.5 117,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"127\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"73,-146.5 73,-182.5 143,-182.5 143,-146.5 73,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"86\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"99,-146.5 99,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"110.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"122,-146.5 122,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"132.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_1&#45;&gt;_v_0_2 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>_v_0_1&#45;&gt;_v_0_2:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M127,-219.1667C127,-211.3965 127,-202.0133 127,-192.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"130.5001,-192.5 127,-182.5 123.5001,-192.5 130.5001,-192.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M133,-219.15C133,-211.55 133,-202.28 133,-193.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"136.5,-193 133,-183 129.5,-193 136.5,-193\"/>\n",
        "</g>\n",
        "<!-- _v_0_3 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
        "<title>_v_0_3</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"94.5,-73.5 94.5,-109.5 157.5,-109.5 157.5,-73.5 94.5,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"104.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"114.5,-73.5 114.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"124.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">/</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"134.5,-73.5 134.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"146\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">z</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"98,-73.5 98,-109.5 164,-109.5 164,-73.5 98,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"108.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"119,-73.5 119,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"129.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">/</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"140,-73.5 140,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"152\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">z</text>\n",
        "</g>\n",
        "<!-- _v_0_2&#45;&gt;_v_0_3 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>_v_0_2&#45;&gt;_v_0_3:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M104,-146.1667C104,-138.3965 104,-129.0133 104,-119.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"107.5001,-119.5 104,-109.5 100.5001,-119.5 107.5001,-119.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M108,-146.15C108,-138.55 108,-129.28 108,-120.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"111.5,-120 108,-110 104.5,-120 111.5,-120\"/>\n",
        "</g>\n",
        "<!-- _v_0_3&#45;&gt;_v_0_4 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
        "<title>_v_0_3&#45;&gt;_v_0_4:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M114.7422,-73.3801C110.7249,-65.6644 106.7535,-56.2244 104.9728,-46.5721\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"108.4452,-46.1172 104,-36.5 101.4777,-46.7902 108.4452,-46.1172\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M118.72,-73.05C114.38,-65.66 110.1,-56.6 108.12,-47.23\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"111.57,-46.56 107,-37 104.61,-47.32 111.57,-46.56\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
@@ -638,51 +639,51 @@
        "<?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.40.1 (20161225.0304)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"141pt\" height=\"191pt\"\n",
-       " viewBox=\"0.00 0.00 140.50 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"164pt\" height=\"191pt\"\n",
+       " viewBox=\"0.00 0.00 164.00 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 187)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-187 136.5,-187 136.5,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-187 160,-187 160,4 -4,4\"/>\n",
        "<!-- _v_0_0 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>_v_0_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"35.5,-146.5 35.5,-182.5 132.5,-182.5 132.5,-146.5 35.5,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"72.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">vectorSize</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"109.5,-146.5 109.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"121\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">x</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"39,-146.5 39,-182.5 156,-182.5 156,-146.5 39,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"85\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">vectorSize</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"131,-146.5 131,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"143.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">x</text>\n",
        "</g>\n",
        "<!-- _v_0_1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>_v_0_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"38.5,-73.5 38.5,-109.5 93.5,-109.5 93.5,-73.5 38.5,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"56\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">eye</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"73.5,-73.5 73.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"83.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"45.5,-73.5 45.5,-109.5 107.5,-109.5 107.5,-73.5 45.5,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"66\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">eye</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"86.5,-73.5 86.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"97\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_0&#45;&gt;_v_0_1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>_v_0_0&#45;&gt;_v_0_1:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M84,-146.1667C84,-138.3965 84,-129.0133 84,-119.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"87.5001,-119.5 84,-109.5 80.5001,-119.5 87.5001,-119.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M97.5,-146.15C97.5,-138.55 97.5,-129.28 97.5,-120.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"101,-120 97.5,-110 94,-120 101,-120\"/>\n",
        "</g>\n",
        "<!-- _v_0_2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>_v_0_2</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"0,-.5 0,-36.5 76,-36.5 76,-.5 0,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">a</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"23,-.5 23,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"39.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&lt;&gt;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"56,-.5 56,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"66\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"0,-0.5 0,-36.5 87,-36.5 87,-0.5 0,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"12.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\">a</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"25,-0.5 25,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"45.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\">&lt;&gt;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"66,-0.5 66,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"76.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_1&#45;&gt;_v_0_2 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>_v_0_1&#45;&gt;_v_0_2:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M66,-73.1667C66,-65.3965 66,-56.0133 66,-46.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"69.5001,-46.5 66,-36.5 62.5001,-46.5 69.5001,-46.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M76.5,-73.15C76.5,-65.55 76.5,-56.28 76.5,-47.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"80,-47 76.5,-37 73,-47 80,-47\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
@@ -769,87 +770,87 @@
        "<?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.40.1 (20161225.0304)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"233pt\" height=\"264pt\"\n",
-       " viewBox=\"0.00 0.00 232.50 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"262pt\" height=\"264pt\"\n",
+       " viewBox=\"0.00 0.00 262.00 264.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 260)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-260 228.5,-260 228.5,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-260 258,-260 258,4 -4,4\"/>\n",
        "<!-- _v_0_0 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>_v_0_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"38.5,-219.5 38.5,-255.5 105.5,-255.5 105.5,-219.5 38.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"50\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">y</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"61.5,-219.5 61.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"72\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"82.5,-219.5 82.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"94\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"53,-219.5 53,-255.5 125,-255.5 125,-219.5 53,-219.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"65.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">y</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"78,-219.5 78,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"88.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"99,-219.5 99,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"112\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>_v_0_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"62.5,-146.5 62.5,-182.5 125.5,-182.5 125.5,-146.5 62.5,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"72.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"82.5,-146.5 82.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"92.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">/</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"102.5,-146.5 102.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"114\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">c</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"79,-146.5 79,-182.5 145,-182.5 145,-146.5 79,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"89.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"100,-146.5 100,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"110.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">/</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"121,-146.5 121,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"133\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">c</text>\n",
        "</g>\n",
        "<!-- _v_0_0&#45;&gt;_v_0_1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>_v_0_0&#45;&gt;_v_0_1:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M72,-219.1667C72,-211.3965 72,-202.0133 72,-192.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"75.5001,-192.5 72,-182.5 68.5001,-192.5 75.5001,-192.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M89,-219.15C89,-211.55 89,-202.28 89,-193.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"92.5,-193 89,-183 85.5,-193 92.5,-193\"/>\n",
        "</g>\n",
        "<!-- _v_0_2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>_v_0_2</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"0,-73.5 0,-109.5 150,-109.5 150,-73.5 0,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"42\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">normal_lpdf</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"84,-73.5 84,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"94\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"104,-73.5 104,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"115.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"127,-73.5 127,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"138.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-73.5 0,-109.5 174,-109.5 174,-73.5 0,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"50.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">normal_lpdf</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"101,-73.5 101,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"111.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"122,-73.5 122,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"135\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"148,-73.5 148,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"161\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_1&#45;&gt;_v_0_2 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>_v_0_1&#45;&gt;_v_0_2:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M94,-146.1667C94,-138.3965 94,-129.0133 94,-119.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"97.5001,-119.5 94,-109.5 90.5001,-119.5 97.5001,-119.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M112,-146.15C112,-138.55 112,-129.28 112,-120.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"115.5,-120 112,-110 108.5,-120 115.5,-120\"/>\n",
        "</g>\n",
        "<!-- _v_0_4 -->\n",
        "<g id=\"node5\" class=\"node\">\n",
        "<title>_v_0_4</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"104.5,-.5 104.5,-36.5 165.5,-36.5 165.5,-.5 104.5,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"114.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"124.5,-.5 124.5,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"135\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"145.5,-.5 145.5,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"155.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"123.5,-0.5 123.5,-36.5 186.5,-36.5 186.5,-0.5 123.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"144.5,-0.5 144.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"155\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"165.5,-0.5 165.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"176\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_2&#45;&gt;_v_0_4 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
        "<title>_v_0_2&#45;&gt;_v_0_4:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M96.3257,-73.3183C103.2256,-65.8851 109.8178,-56.6406 112.6062,-46.4857\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"116.0839,-46.8879 114,-36.5 109.1511,-45.9201 116.0839,-46.8879\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M113.25,-73.34C121.49,-66.26 129.28,-57.27 132.47,-46.9\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"135.93,-47.42 134,-37 129.02,-46.35 135.93,-47.42\"/>\n",
        "</g>\n",
        "<!-- _v_0_3 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
        "<title>_v_0_3</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"167.5,-73.5 167.5,-109.5 224.5,-109.5 224.5,-73.5 167.5,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"184.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">log</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"201.5,-73.5 201.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"213\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">c</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"192,-73.5 192,-109.5 254,-109.5 254,-73.5 192,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"211\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">log</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"230,-73.5 230,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"242\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">c</text>\n",
        "</g>\n",
        "<!-- _v_0_3&#45;&gt;_v_0_4 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
        "<title>_v_0_3&#45;&gt;_v_0_4:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M174.1274,-73.4212C167.0507,-66.0079 160.2894,-56.7638 157.4295,-46.5551\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"160.8728,-45.9078 156,-36.5 153.9425,-46.8931 160.8728,-45.9078\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M196.75,-73.34C188.51,-66.26 180.72,-57.27 177.53,-46.9\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"180.98,-46.35 176,-37 174.07,-47.42 180.98,-46.35\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
@@ -903,7 +904,7 @@
        "      | i_1_1 <- 1...9 ] :: RVec\n",
        "    v_0_3 = foldl 0.0 v_0_2 $ \\i_1_12 i_1_11 ->\n",
        "      let v_1_0 = i_1_11 + i_1_12 :: R\n",
-       "       in v_1_0\n",
+       "       in v_1_0 :: R\n",
        "    v_0_4 = uniform_cdf v!10 0.0 1.0 :: R\n",
        "    v_0_5 = 1.0 - v_0_4 :: R\n",
        "    v_0_6 = log v_0_5 :: R\n",
@@ -913,8 +914,8 @@
        "      | i_1_1 <- 1...10 ] :: RVec\n",
        "    v_0_8 = foldl 0.0 v_0_7 $ \\i_1_12 i_1_11 ->\n",
        "      let v_1_0 = i_1_11 + i_1_12 :: R\n",
-       "       in v_1_0\n",
-       "    v_0_9 = +s v_0_1 v_0_3 v_0_6 v_0_8 :: R\n",
+       "       in v_1_0 :: R\n",
+       "    v_0_9 = +s 45.38013889847691 v_0_1 v_0_3 v_0_6 v_0_8 :: R\n",
        "    v_0_10 = \n",
        "      [ let v_1_0 = 2 * i_1_1 :: Z\n",
        "            v_1_1 = \n",
@@ -924,7 +925,7 @@
        "              | i_2_1 <- 1...10 ] :: RVec\n",
        "            v_1_2 = asRow v_1_1 :: RMat\n",
        "         in v_1_2\n",
-       "      | i_1_1 <- 1...10 ] :: Array [(1,10)] RMat\n",
+       "      | i_1_1 <- 1...10 ] :: Array 1...10 RMat\n",
        "    v_0_11 = log_det v_0_10 :: RMat\n",
        "    v_0_12 = v_0_9 - v_0_11 :: RMat\n",
        " in v_0_12"
@@ -949,711 +950,713 @@
        "<?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.40.1 (20161225.0304)\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"1155pt\" height=\"904pt\"\n",
-       " viewBox=\"0.00 0.00 1154.50 903.50\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"1282pt\" height=\"904pt\"\n",
+       " viewBox=\"0.00 0.00 1282.00 903.50\" 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 899.5)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-899.5 1150.5,-899.5 1150.5,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-899.5 1278,-899.5 1278,4 -4,4\"/>\n",
        "<g id=\"clust1\" class=\"cluster\">\n",
        "<title>cluster_array__v_0_3</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"75.5,-294.5 75.5,-887.5 491.5,-887.5 491.5,-294.5 75.5,-294.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"283.5\" y=\"-872.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">array</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"82,-294.5 82,-887.5 546,-887.5 546,-294.5 82,-294.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"314\" y=\"-872.3\" font-family=\"Times,serif\" font-size=\"14.00\">array</text>\n",
        "</g>\n",
        "<g id=\"clust2\" class=\"cluster\">\n",
        "<title>cluster_foldscan__v_0_4</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"392.5,-138 392.5,-286.5 534.5,-286.5 534.5,-138 392.5,-138\"/>\n",
-       "<text text-anchor=\"middle\" x=\"463.5\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">foldl</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"443,-138 443,-286.5 593,-286.5 593,-138 443,-138\"/>\n",
+       "<text text-anchor=\"middle\" x=\"518\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\">foldl</text>\n",
        "</g>\n",
        "<g id=\"clust3\" class=\"cluster\">\n",
        "<title>cluster_array__v_0_9</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"710.5,-294.5 710.5,-519.5 882.5,-519.5 882.5,-294.5 710.5,-294.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"796.5\" y=\"-504.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">array</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"766,-294.5 766,-519.5 962,-519.5 962,-294.5 766,-294.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"864\" y=\"-504.3\" font-family=\"Times,serif\" font-size=\"14.00\">array</text>\n",
        "</g>\n",
        "<g id=\"clust4\" class=\"cluster\">\n",
        "<title>cluster_foldscan__v_0_10</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"662.5,-138 662.5,-286.5 804.5,-286.5 804.5,-138 662.5,-138\"/>\n",
-       "<text text-anchor=\"middle\" x=\"733.5\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">foldl</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"829,-138 829,-286.5 979,-286.5 979,-138 829,-138\"/>\n",
+       "<text text-anchor=\"middle\" x=\"904\" y=\"-271.3\" font-family=\"Times,serif\" font-size=\"14.00\">foldl</text>\n",
        "</g>\n",
        "<g id=\"clust5\" class=\"cluster\">\n",
        "<title>cluster_array__v_0_12</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"890.5,-138 890.5,-519.5 1138.5,-519.5 1138.5,-138 890.5,-138\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1014.5\" y=\"-504.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">array</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"990,-138 990,-519.5 1266,-519.5 1266,-138 990,-138\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1128\" y=\"-504.3\" font-family=\"Times,serif\" font-size=\"14.00\">array</text>\n",
        "</g>\n",
        "<g id=\"clust6\" class=\"cluster\">\n",
        "<title>cluster_array__v_0_12_v_1_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"972.5,-211 972.5,-443.5 1130.5,-443.5 1130.5,-211 972.5,-211\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1051.5\" y=\"-428.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">array</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"1076,-211 1076,-443.5 1258,-443.5 1258,-211 1076,-211\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1167\" y=\"-428.3\" font-family=\"Times,serif\" font-size=\"14.00\">array</text>\n",
        "</g>\n",
        "<!-- _v_0_0 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>_v_0_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"0,-303 0,-339 67,-339 67,-303 0,-303\"/>\n",
-       "<text text-anchor=\"middle\" x=\"11.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">v</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"23,-303 23,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"33.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">!</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"44,-303 44,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"55.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"0,-303 0,-339 74,-339 74,-303 0,-303\"/>\n",
+       "<text text-anchor=\"middle\" x=\"12.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">v</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"25,-303 25,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"36.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">!</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"48,-303 48,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"61\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>_v_0_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"86,-219.5 86,-255.5 237,-255.5 237,-219.5 86,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"128.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">uniform_cdf</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"171,-219.5 171,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"181\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"191,-219.5 191,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"202.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"214,-219.5 214,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"28,-219.5 28,-255.5 202,-255.5 202,-219.5 28,-219.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"78.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">uniform_cdf</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"129,-219.5 129,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"139.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"150,-219.5 150,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"163\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"176,-219.5 176,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"189\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_0&#45;&gt;_v_0_1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>_v_0_0&#45;&gt;_v_0_1:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M57.4233,-302.8866C61.9664,-299.8639 66.7789,-296.927 71.5,-294.5 114.2082,-272.5451 172.1173,-302.2722 180.4779,-265.6484\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"183.9802,-265.8004 181.5,-255.5 177.0155,-265.0989 183.9802,-265.8004\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M64.33,-302.97C68.89,-300.13 73.58,-297.23 78,-294.5 102.17,-279.58 131.75,-286.5 138.56,-266.45\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"142.03,-266.9 140,-256.5 135.1,-265.89 142.03,-266.9\"/>\n",
        "</g>\n",
        "<!-- _v_0_2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>_v_0_2</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"224.5,-146.5 224.5,-182.5 278.5,-182.5 278.5,-146.5 224.5,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"241.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">log</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"258.5,-146.5 258.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"268.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"169.5,-146.5 169.5,-182.5 228.5,-182.5 228.5,-146.5 169.5,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"188.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">log</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"207.5,-146.5 207.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"218\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_1&#45;&gt;_v_0_2 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>_v_0_1&#45;&gt;_v_0_2:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M237.2635,-222.2298C251.5369,-215.6141 263.237,-206.1376 267.1227,-192.5655\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"270.6119,-192.8822 268.5,-182.5 263.6766,-191.9332 270.6119,-192.8822\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M192.01,-219.42C203.77,-213.17 213.15,-204.65 216.59,-193.01\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"220.07,-193.39 218,-183 213.14,-192.41 220.07,-193.39\"/>\n",
        "</g>\n",
        "<!-- _v_0_11 -->\n",
        "<g id=\"node34\" class=\"node\">\n",
        "<title>_v_0_11</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"489.5,-73.5 489.5,-109.5 599.5,-109.5 599.5,-73.5 489.5,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"504.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">+s</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"519.5,-73.5 519.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"529.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"539.5,-73.5 539.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"549.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"559.5,-73.5 559.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"569.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"579.5,-73.5 579.5,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"589.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"377.5,-73.5 377.5,-109.5 662.5,-109.5 662.5,-73.5 377.5,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"395.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">+s</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"413.5,-73.5 413.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"496\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">45.38013889847691</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"578.5,-73.5 578.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"589\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"599.5,-73.5 599.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"610\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"620.5,-73.5 620.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"631\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"641.5,-73.5 641.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"652\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_2&#45;&gt;_v_0_11 -->\n",
        "<g id=\"edge34\" class=\"edge\">\n",
-       "<title>_v_0_2&#45;&gt;_v_0_11:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M278.662,-159.2153C338.777,-147.5093 480.8196,-119.7932 519.5803,-111.7257\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"520.5089,-115.1045 529.5,-109.5 518.9763,-108.2743 520.5089,-115.1045\"/>\n",
+       "<title>_v_0_2&#45;&gt;_v_0_11:f2</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M228.63,-160.21C309.51,-151.16 531.24,-125.72 579.6,-113.79\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"581.03,-116.99 589,-110 578.42,-110.49 581.03,-116.99\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_i_1_1 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
        "<title>_v_0_3_i_1_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"325,-820 325,-856 428,-856 428,-820 325,-820\"/>\n",
-       "<text text-anchor=\"middle\" x=\"353.5\" y=\"-834.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">index 1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"382,-820 382,-856 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"393.5\" y=\"-834.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"405,-820 405,-856 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"416.5\" y=\"-834.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">9</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"365.5,-820 365.5,-856 486.5,-856 486.5,-820 365.5,-820\"/>\n",
+       "<text text-anchor=\"middle\" x=\"400\" y=\"-834.3\" font-family=\"Times,serif\" font-size=\"14.00\">index 1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"434.5,-820 434.5,-856 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"447.5\" y=\"-834.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"460.5,-820 460.5,-856 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"473.5\" y=\"-834.3\" font-family=\"Times,serif\" font-size=\"14.00\">9</text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_0 -->\n",
        "<g id=\"node5\" class=\"node\">\n",
        "<title>_v_0_3_v_1_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"260.5,-747 260.5,-783 328.5,-783 328.5,-747 260.5,-747\"/>\n",
-       "<text text-anchor=\"middle\" x=\"272\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"283.5,-747 283.5,-783 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"296\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">+</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"308.5,-747 308.5,-783 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"318.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"273,-747 273,-783 349,-783 349,-747 273,-747\"/>\n",
+       "<text text-anchor=\"middle\" x=\"286\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"299,-747 299,-783 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"313.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\">+</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"328,-747 328,-783 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"338.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_i_1_1&#45;&gt;_v_0_3_v_1_0 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
        "<title>_v_0_3_i_1_1&#45;&gt;_v_0_3_v_1_0:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M341.7566,-819.8787C332.2028,-812.8487 323.5153,-803.8466 320.0692,-793.0016\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"323.5078,-792.3366 318.5,-783 316.5924,-793.4217 323.5078,-792.3366\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M365.58,-819.87C353.86,-813.51 344.09,-804.92 340.48,-793.39\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"343.95,-792.87 339,-783.5 337.02,-793.91 343.95,-792.87\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_3 -->\n",
        "<g id=\"node8\" class=\"node\">\n",
        "<title>_v_0_3_v_1_3</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"322.5,-674 322.5,-710 386.5,-710 386.5,-674 322.5,-674\"/>\n",
-       "<text text-anchor=\"middle\" x=\"334\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">v</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"345.5,-674 345.5,-710 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"356\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">!</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"366.5,-674 366.5,-710 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"376.5\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"367.5,-747 367.5,-783 436.5,-783 436.5,-747 367.5,-747\"/>\n",
+       "<text text-anchor=\"middle\" x=\"380\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\">v</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"392.5,-747 392.5,-783 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"404\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\">!</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"415.5,-747 415.5,-783 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"426\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_i_1_1&#45;&gt;_v_0_3_v_1_3 -->\n",
        "<g id=\"edge6\" class=\"edge\">\n",
        "<title>_v_0_3_i_1_1&#45;&gt;_v_0_3_v_1_3:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M376.5,-819.7708C376.5,-797.078 376.5,-756.8336 376.5,-720.2147\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"380.0001,-720 376.5,-710 373.0001,-720 380.0001,-720\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M426,-819.65C426,-812.05 426,-802.78 426,-793.65\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"429.5,-793.5 426,-783.5 422.5,-793.5 429.5,-793.5\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_8 -->\n",
        "<g id=\"node13\" class=\"node\">\n",
        "<title>_v_0_3_v_1_8</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"408.5,-747 408.5,-783 474.5,-783 474.5,-747 408.5,-747\"/>\n",
-       "<text text-anchor=\"middle\" x=\"420\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"431.5,-747 431.5,-783 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"443\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"454.5,-747 454.5,-783 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"464.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"465,-747 465,-783 535,-783 535,-747 465,-747\"/>\n",
+       "<text text-anchor=\"middle\" x=\"478\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"491,-747 491,-783 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"502.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"514,-747 514,-783 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"524.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_i_1_1&#45;&gt;_v_0_3_v_1_8 -->\n",
        "<g id=\"edge12\" class=\"edge\">\n",
        "<title>_v_0_3_i_1_1&#45;&gt;_v_0_3_v_1_8:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M428.199,-824.7453C443.9122,-817.949 458.2733,-807.9114 462.927,-793.2857\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"466.448,-793.4142 464.5,-783 459.5284,-792.356 466.448,-793.4142\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M486.72,-825.3C503.69,-818.87 518.81,-808.96 523.5,-793.71\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"527.01,-793.9 525,-783.5 520.08,-792.88 527.01,-793.9\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_1 -->\n",
        "<g id=\"node6\" class=\"node\">\n",
        "<title>_v_0_3_v_1_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"155.5,-674 155.5,-710 219.5,-710 219.5,-674 155.5,-674\"/>\n",
-       "<text text-anchor=\"middle\" x=\"167\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">v</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"178.5,-674 178.5,-710 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"189\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">!</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"199.5,-674 199.5,-710 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"209.5\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"185.5,-674 185.5,-710 254.5,-710 254.5,-674 185.5,-674\"/>\n",
+       "<text text-anchor=\"middle\" x=\"198\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\">v</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"210.5,-674 210.5,-710 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"222\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\">!</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"233.5,-674 233.5,-710 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"244\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_0&#45;&gt;_v_0_3_v_1_1 -->\n",
        "<g id=\"edge4\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_0&#45;&gt;_v_0_3_v_1_1:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M260.417,-757.3209C240.0948,-750.8115 217.0979,-739.3648 211.0319,-720.0987\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"214.4603,-719.362 209.5,-710 207.5394,-720.4118 214.4603,-719.362\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M272.8,-748.99C260.81,-742.12 249.64,-732.72 245.6,-720.45\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"249.04,-719.82 244,-710.5 242.13,-720.93 249.04,-719.82\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_7 -->\n",
        "<g id=\"node12\" class=\"node\">\n",
        "<title>_v_0_3_v_1_7</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"238.5,-674 238.5,-710 304.5,-710 304.5,-674 238.5,-674\"/>\n",
-       "<text text-anchor=\"middle\" x=\"250\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"261.5,-674 261.5,-710 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"273\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"284.5,-674 284.5,-710 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"294.5\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"285,-674 285,-710 355,-710 355,-674 285,-674\"/>\n",
+       "<text text-anchor=\"middle\" x=\"298\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"311,-674 311,-710 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"322.5\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"334,-674 334,-710 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"344.5\" y=\"-688.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_0&#45;&gt;_v_0_3_v_1_7 -->\n",
        "<g id=\"edge11\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_0&#45;&gt;_v_0_3_v_1_7:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M294.5,-746.6667C294.5,-738.8965 294.5,-729.5133 294.5,-720.275\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"298.0001,-720 294.5,-710 291.0001,-720 298.0001,-720\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M328.8,-746.88C334.97,-739.56 341,-730.43 343.63,-720.57\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"347.11,-720.88 345,-710.5 340.18,-719.93 347.11,-720.88\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_2 -->\n",
        "<g id=\"node7\" class=\"node\">\n",
        "<title>_v_0_3_v_1_2</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"84,-601 84,-637 235,-637 235,-601 84,-601\"/>\n",
-       "<text text-anchor=\"middle\" x=\"126.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">uniform_cdf</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"169,-601 169,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"179\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"189,-601 189,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"200.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"212,-601 212,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"223.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"90,-601 90,-637 264,-637 264,-601 90,-601\"/>\n",
+       "<text text-anchor=\"middle\" x=\"140.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">uniform_cdf</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"191,-601 191,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"201.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"212,-601 212,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"225\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"238,-601 238,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"251\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_1&#45;&gt;_v_0_3_v_1_2 -->\n",
        "<g id=\"edge5\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_1&#45;&gt;_v_0_3_v_1_2:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M183.5,-673.7631C182.0313,-665.933 180.5625,-656.4377 179.8859,-647.0541\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"183.381,-646.8584 179.5,-637 176.3862,-647.1269 183.381,-646.8584\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M211,-673.66C207.7,-666.14 204.39,-656.93 202.87,-647.6\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"206.34,-647.16 202,-637.5 199.37,-647.76 206.34,-647.16\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_5 -->\n",
        "<g id=\"node10\" class=\"node\">\n",
        "<title>_v_0_3_v_1_5</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"277,-528 277,-564 338,-564 338,-528 277,-528\"/>\n",
-       "<text text-anchor=\"middle\" x=\"287\" y=\"-542.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"297,-528 297,-564 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"307.5\" y=\"-542.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"318,-528 318,-564 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"328\" y=\"-542.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"316.5,-528 316.5,-564 379.5,-564 379.5,-528 316.5,-528\"/>\n",
+       "<text text-anchor=\"middle\" x=\"327\" y=\"-542.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"337.5,-528 337.5,-564 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"348\" y=\"-542.3\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"358.5,-528 358.5,-564 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"369\" y=\"-542.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_2&#45;&gt;_v_0_3_v_1_5 -->\n",
        "<g id=\"edge8\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_2&#45;&gt;_v_0_3_v_1_5:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M175.3595,-600.9551C194.5,-581.111 228.8245,-551.3906 266.3669,-546.6481\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"266.7438,-550.1313 276.5,-546 266.297,-543.1455 266.7438,-550.1313\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M195.5,-600.94C218.77,-581.18 261.01,-550.8 304.76,-546.51\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"305.19,-549.99 315,-546 304.84,-543 305.19,-549.99\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_4 -->\n",
        "<g id=\"node9\" class=\"node\">\n",
        "<title>_v_0_3_v_1_4</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"253,-601 253,-637 404,-637 404,-601 253,-601\"/>\n",
-       "<text text-anchor=\"middle\" x=\"295.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">uniform_cdf</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"338,-601 338,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"348\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"358,-601 358,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"369.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"381,-601 381,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"392.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"282,-601 282,-637 456,-637 456,-601 282,-601\"/>\n",
+       "<text text-anchor=\"middle\" x=\"332.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">uniform_cdf</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"383,-601 383,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"393.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"404,-601 404,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"417\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"430,-601 430,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"443\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_3&#45;&gt;_v_0_3_v_1_4 -->\n",
        "<g id=\"edge7\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_3&#45;&gt;_v_0_3_v_1_4:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M351.5,-673.7211C350.3984,-665.8806 349.2969,-656.3826 348.7894,-647.0205\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"352.2873,-646.8948 348.5,-637 345.2902,-647.0969 352.2873,-646.8948\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M400.22,-746.83C398.07,-724.62 394.65,-684.39 394.08,-647.73\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"397.58,-647.47 394,-637.5 390.58,-647.53 397.58,-647.47\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_4&#45;&gt;_v_0_3_v_1_5 -->\n",
        "<g id=\"edge9\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_4&#45;&gt;_v_0_3_v_1_5:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M328.5,-600.6667C328.5,-592.8965 328.5,-583.5133 328.5,-574.275\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"332.0001,-574 328.5,-564 325.0001,-574 332.0001,-574\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M369,-600.65C369,-593.05 369,-583.78 369,-574.65\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"372.5,-574.5 369,-564.5 365.5,-574.5 372.5,-574.5\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_6 -->\n",
        "<g id=\"node11\" class=\"node\">\n",
        "<title>_v_0_3_v_1_6</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"272.5,-452 272.5,-488 326.5,-488 326.5,-452 272.5,-452\"/>\n",
-       "<text text-anchor=\"middle\" x=\"289.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">log</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"306.5,-452 306.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"316.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"306.5,-452 306.5,-488 365.5,-488 365.5,-452 306.5,-452\"/>\n",
+       "<text text-anchor=\"middle\" x=\"325.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">log</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"344.5,-452 344.5,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"355\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_5&#45;&gt;_v_0_3_v_1_6 -->\n",
        "<g id=\"edge10\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_5&#45;&gt;_v_0_3_v_1_6:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M311.7891,-527.8263C313.5277,-519.2947 315.3083,-508.7242 316.0899,-498.2977\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"319.5992,-498.1314 316.5,-488 312.6048,-497.8528 319.5992,-498.1314\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M351.25,-527.91C352.63,-519.62 354.05,-509.26 354.67,-499.06\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"358.17,-499.11 355,-489 351.18,-498.88 358.17,-499.11\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_11 -->\n",
        "<g id=\"node16\" class=\"node\">\n",
        "<title>_v_0_3_v_1_11</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"295,-376 295,-412 358,-412 358,-376 295,-376\"/>\n",
-       "<text text-anchor=\"middle\" x=\"305\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"315,-376 315,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"326.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"338,-376 338,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"348\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"328.5,-376 328.5,-412 393.5,-412 393.5,-376 328.5,-376\"/>\n",
+       "<text text-anchor=\"middle\" x=\"339\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"349.5,-376 349.5,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"361\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"372.5,-376 372.5,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"383\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_6&#45;&gt;_v_0_3_v_1_11 -->\n",
        "<g id=\"edge16\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_6&#45;&gt;_v_0_3_v_1_11:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M301.8829,-451.7491C302.8487,-443.1956 303.8379,-432.6178 304.2722,-422.2352\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"307.7765,-422.0754 304.5,-412 300.7782,-421.9196 307.7765,-422.0754\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M337.39,-451.86C337.98,-443.55 338.59,-433.18 338.86,-423.02\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"342.36,-423.05 339,-413 335.36,-422.95 342.36,-423.05\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_9 -->\n",
        "<g id=\"node14\" class=\"node\">\n",
        "<title>_v_0_3_v_1_9</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"422,-601 422,-637 483,-637 483,-601 422,-601\"/>\n",
-       "<text text-anchor=\"middle\" x=\"432\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"442,-601 442,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"452.5\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"463,-601 463,-637 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"473\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"474.5,-601 474.5,-637 537.5,-637 537.5,-601 474.5,-601\"/>\n",
+       "<text text-anchor=\"middle\" x=\"485\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"495.5,-601 495.5,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"506\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"516.5,-601 516.5,-637 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"527\" y=\"-615.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_7&#45;&gt;_v_0_3_v_1_9 -->\n",
        "<g id=\"edge13\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_7&#45;&gt;_v_0_3_v_1_9:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M304.8822,-677.0464C307.7863,-675.8214 310.6885,-674.6237 313.5,-673.5 357.363,-655.9688 379.0698,-669.8399 413.5,-637.5 416.2546,-634.9126 416.5145,-631.2158 416.5669,-627.806\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"419.6662,-629.4349 421.5,-619 413.5591,-626.0138 419.6662,-629.4349\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M355.18,-686.06C387.41,-679.85 434.6,-666.28 465,-637.5 467.74,-634.9 468,-631.2 468.06,-627.8\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"471.15,-629.43 473,-619 465.05,-626 471.15,-629.43\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_8&#45;&gt;_v_0_3_v_1_9 -->\n",
        "<g id=\"edge14\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_8&#45;&gt;_v_0_3_v_1_9:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M449.0836,-746.7051C457.7332,-724.2887 470.9704,-684.6846 473.1817,-647.4294\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"476.6932,-647.1022 473.5,-637 469.6965,-646.8885 476.6932,-647.1022\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M506.13,-746.65C513.41,-724.58 524.82,-684.87 526.73,-647.85\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"530.23,-647.59 527,-637.5 523.24,-647.4 530.23,-647.59\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_10 -->\n",
        "<g id=\"node15\" class=\"node\">\n",
        "<title>_v_0_3_v_1_10</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"419.5,-452 419.5,-488 483.5,-488 483.5,-452 419.5,-452\"/>\n",
-       "<text text-anchor=\"middle\" x=\"429.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"439.5,-452 439.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"450\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"460.5,-452 460.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"472\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"470,-452 470,-488 538,-488 538,-452 470,-452\"/>\n",
+       "<text text-anchor=\"middle\" x=\"480.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"491,-452 491,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"501.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"512,-452 512,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"525\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_9&#45;&gt;_v_0_3_v_1_10 -->\n",
        "<g id=\"edge15\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_9&#45;&gt;_v_0_3_v_1_10:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M447.2809,-600.9505C441.0516,-577.9078 431.2755,-536.431 429.7136,-498.1659\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"433.2094,-497.9242 429.5,-488 426.2109,-498.0713 433.2094,-497.9242\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M500.23,-600.7C493.2,-578.16 482.03,-537.14 480.24,-499.11\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"483.74,-498.91 480,-489 476.74,-499.08 483.74,-498.91\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_10&#45;&gt;_v_0_3_v_1_11 -->\n",
        "<g id=\"edge17\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_10&#45;&gt;_v_0_3_v_1_11:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M419.4748,-465.6165C392.5459,-460.1357 357.286,-448.0965 349.895,-422.1868\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"353.3245,-421.4326 348.5,-412 346.3892,-422.3824 353.3245,-421.4326\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M469.97,-467.38C437.54,-463.99 392.46,-453.74 384.29,-423.16\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"387.74,-422.48 383,-413 380.79,-423.36 387.74,-422.48\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_12 -->\n",
        "<g id=\"node17\" class=\"node\">\n",
        "<title>_v_0_3_v_1_12</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"376.5,-376 376.5,-412 478.5,-412 478.5,-376 376.5,-376\"/>\n",
-       "<text text-anchor=\"middle\" x=\"417.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">logFactorial</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"458.5,-376 458.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"468.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"412,-376 412,-412 534,-412 534,-376 412,-376\"/>\n",
+       "<text text-anchor=\"middle\" x=\"462.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">logFactorial</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"513,-376 513,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"523.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_10&#45;&gt;_v_0_3_v_1_12 -->\n",
        "<g id=\"edge18\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_10&#45;&gt;_v_0_3_v_1_12:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M459.7012,-451.8512C462.9956,-443.3335 466.3499,-432.7337 467.7814,-422.1169\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"471.2826,-422.2229 468.5,-412 464.3002,-421.7269 471.2826,-422.2229\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M513.53,-451.9C517.44,-443.71 521.43,-433.42 523.14,-422.98\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"526.63,-423.26 524,-413 519.66,-422.66 526.63,-423.26\"/>\n",
        "</g>\n",
        "<!-- _v_0_3 -->\n",
        "<g id=\"node18\" class=\"node\">\n",
        "<title>_v_0_3</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"376,-303 376,-339 437,-339 437,-303 376,-303\"/>\n",
-       "<text text-anchor=\"middle\" x=\"386\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"396,-303 396,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"406.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"417,-303 417,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"427\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"420.5,-303 420.5,-339 483.5,-339 483.5,-303 420.5,-303\"/>\n",
+       "<text text-anchor=\"middle\" x=\"431\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"441.5,-303 441.5,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"452\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"462.5,-303 462.5,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"473\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_11&#45;&gt;_v_0_3 -->\n",
        "<g id=\"edge19\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_11&#45;&gt;_v_0_3:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M358.0727,-378.6104C369.251,-371.2519 380.0305,-361.3166 383.9484,-348.9391\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"387.4156,-349.4202 385.5,-339 380.4994,-348.3405 387.4156,-349.4202\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M392.31,-375.86C405.86,-367.65 420.14,-357.71 426.94,-348.87\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"430.24,-350.07 431,-339.5 423.81,-347.28 430.24,-350.07\"/>\n",
        "</g>\n",
        "<!-- _v_0_3_v_1_12&#45;&gt;_v_0_3 -->\n",
        "<g id=\"edge20\" class=\"edge\">\n",
        "<title>_v_0_3_v_1_12&#45;&gt;_v_0_3:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M427.5,-375.6667C427.5,-367.8965 427.5,-358.5133 427.5,-349.275\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"431.0001,-349 427.5,-339 424.0001,-349 431.0001,-349\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M473,-375.65C473,-368.05 473,-358.78 473,-349.65\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"476.5,-349.5 473,-339.5 469.5,-349.5 476.5,-349.5\"/>\n",
        "</g>\n",
        "<!-- _v_0_4_i_1_11 -->\n",
        "<g id=\"node20\" class=\"node\">\n",
        "<title>_v_0_4_i_1_11</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"454.5,-255.5 400.5,-255.5 400.5,-219.5 454.5,-219.5 454.5,-255.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"427.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">elem</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"505,-255.5 451,-255.5 451,-219.5 505,-219.5 505,-255.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"478\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">elem</text>\n",
        "</g>\n",
        "<!-- _v_0_3&#45;&gt;_v_0_4_i_1_11 -->\n",
        "<g id=\"edge21\" class=\"edge\">\n",
        "<title>_v_0_3&#45;&gt;_v_0_4_i_1_11</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M411.0567,-302.8817C413.8086,-291.9398 417.3725,-277.7687 420.4786,-265.4182\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"423.9074,-266.1346 422.9522,-255.5829 417.1188,-264.4272 423.9074,-266.1346\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M457.51,-302.72C460.96,-291.91 465.47,-277.77 469.39,-265.5\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"472.79,-266.35 472.49,-255.76 466.12,-264.22 472.79,-266.35\"/>\n",
        "</g>\n",
        "<!-- _v_0_4_i_1_12_c_0 -->\n",
        "<g id=\"node19\" class=\"node\">\n",
        "<title>_v_0_4_i_1_12_c_0</title>\n",
-       "<text text-anchor=\"middle\" x=\"503.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
+       "<text text-anchor=\"middle\" x=\"559\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- _v_0_4_i_1_12 -->\n",
        "<g id=\"node21\" class=\"node\">\n",
        "<title>_v_0_4_i_1_12</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"526.5,-255.5 472.5,-255.5 472.5,-219.5 526.5,-219.5 526.5,-255.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"499.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">accum</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"585,-255.5 523,-255.5 523,-219.5 585,-219.5 585,-255.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"554\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">accum</text>\n",
        "</g>\n",
        "<!-- _v_0_4_i_1_12_c_0&#45;&gt;_v_0_4_i_1_12 -->\n",
        "<g id=\"edge22\" class=\"edge\">\n",
        "<title>_v_0_4_i_1_12_c_0&#45;&gt;_v_0_4_i_1_12</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M503.1309,-313.2942C502.62,-302.63 501.6699,-282.7963 500.8697,-266.0925\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"504.3462,-265.5165 500.3716,-255.6955 497.3542,-265.8515 504.3462,-265.5165\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M558.59,-313.33C557.96,-303.1 556.73,-282.96 555.7,-266.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"559.16,-265.48 555.06,-255.72 552.18,-265.91 559.16,-265.48\"/>\n",
        "</g>\n",
        "<!-- _v_0_4 -->\n",
        "<g id=\"node22\" class=\"node\">\n",
        "<title>_v_0_4</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"444,-146.5 444,-182.5 509,-182.5 509,-146.5 444,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"454\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"464,-146.5 464,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"476.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">+</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"489,-146.5 489,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"499\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"493.5,-146.5 493.5,-182.5 564.5,-182.5 564.5,-146.5 493.5,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"504\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"514.5,-146.5 514.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"529\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">+</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"543.5,-146.5 543.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"554\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_4_i_1_11&#45;&gt;_v_0_4 -->\n",
        "<g id=\"edge23\" class=\"edge\">\n",
        "<title>_v_0_4_i_1_11&#45;&gt;_v_0_4:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M441.1092,-219.1573C445.7781,-211.5518 450.342,-202.2575 452.3849,-192.6164\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"455.8832,-192.8233 453.5,-182.5 448.9253,-192.0563 455.8832,-192.8233\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M491.3,-219.19C496.05,-211.76 500.75,-202.59 502.85,-193.04\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"506.34,-193.33 504,-183 499.38,-192.54 506.34,-193.33\"/>\n",
        "</g>\n",
        "<!-- _v_0_4_i_1_12&#45;&gt;_v_0_4 -->\n",
        "<g id=\"edge24\" class=\"edge\">\n",
        "<title>_v_0_4_i_1_12&#45;&gt;_v_0_4:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M499.5,-219.1667C499.5,-211.3965 499.5,-202.0133 499.5,-192.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"503.0001,-192.5 499.5,-182.5 496.0001,-192.5 503.0001,-192.5\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M554,-219.15C554,-211.55 554,-202.28 554,-193.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"557.5,-193 554,-183 550.5,-193 557.5,-193\"/>\n",
        "</g>\n",
        "<!-- _v_0_4&#45;&gt;_v_0_11 -->\n",
        "<g id=\"edge35\" class=\"edge\">\n",
-       "<title>_v_0_4&#45;&gt;_v_0_11:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M509.1567,-146.9417C523.4305,-138.4342 538.4971,-128.0916 545.4941,-118.8924\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"548.7962,-120.0714 549.5,-109.5 542.3574,-117.3252 548.7962,-120.0714\"/>\n",
+       "<title>_v_0_4&#45;&gt;_v_0_11:f3</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M564.76,-147.29C581.04,-139.02 598.35,-128.72 605.98,-119.18\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"609.2,-120.56 610,-110 602.79,-117.76 609.2,-120.56\"/>\n",
        "</g>\n",
        "<!-- _v_0_5 -->\n",
        "<g id=\"node23\" class=\"node\">\n",
        "<title>_v_0_5</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"583.5,-376 583.5,-412 657.5,-412 657.5,-376 583.5,-376\"/>\n",
-       "<text text-anchor=\"middle\" x=\"595\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">v</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"606.5,-376 606.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"617\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">!</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"627.5,-376 627.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"642.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">10</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"652.5,-376 652.5,-412 735.5,-412 735.5,-376 652.5,-376\"/>\n",
+       "<text text-anchor=\"middle\" x=\"665\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">v</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"677.5,-376 677.5,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"689\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">!</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"700.5,-376 700.5,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"718\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- _v_0_6 -->\n",
        "<g id=\"node24\" class=\"node\">\n",
        "<title>_v_0_6</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"525,-303 525,-339 676,-339 676,-303 525,-303\"/>\n",
-       "<text text-anchor=\"middle\" x=\"567.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">uniform_cdf</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"610,-303 610,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"620\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"630,-303 630,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"641.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"653,-303 653,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"664.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"582,-303 582,-339 756,-339 756,-303 582,-303\"/>\n",
+       "<text text-anchor=\"middle\" x=\"632.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">uniform_cdf</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"683,-303 683,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"693.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"704,-303 704,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"717\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"730,-303 730,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"743\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_5&#45;&gt;_v_0_6 -->\n",
        "<g id=\"edge25\" class=\"edge\">\n",
        "<title>_v_0_5&#45;&gt;_v_0_6:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M620.5,-375.6667C620.5,-367.8965 620.5,-358.5133 620.5,-349.275\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"624.0001,-349 620.5,-339 617.0001,-349 624.0001,-349\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M694,-375.65C694,-368.05 694,-358.78 694,-349.65\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"697.5,-349.5 694,-339.5 690.5,-349.5 697.5,-349.5\"/>\n",
        "</g>\n",
        "<!-- _v_0_7 -->\n",
        "<g id=\"node25\" class=\"node\">\n",
        "<title>_v_0_7</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"549.5,-219.5 549.5,-255.5 613.5,-255.5 613.5,-219.5 549.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"561\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"572.5,-219.5 572.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"583\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"593.5,-219.5 593.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"603.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"613,-219.5 613,-255.5 681,-255.5 681,-219.5 613,-219.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"626\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"639,-219.5 639,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"649.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"660,-219.5 660,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"670.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_6&#45;&gt;_v_0_7 -->\n",
        "<g id=\"edge26\" class=\"edge\">\n",
        "<title>_v_0_6&#45;&gt;_v_0_7:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M601.7723,-302.9391C602.4174,-292.5641 603.1202,-279.0191 603.3879,-265.881\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"606.8917,-265.5372 603.5,-255.5 599.8922,-265.4616 606.8917,-265.5372\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M669.84,-302.76C670.27,-292.68 670.74,-279.46 670.92,-266.63\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"674.43,-266.53 671,-256.5 667.43,-266.47 674.43,-266.53\"/>\n",
        "</g>\n",
        "<!-- _v_0_8 -->\n",
        "<g id=\"node26\" class=\"node\">\n",
        "<title>_v_0_8</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"542.5,-146.5 542.5,-182.5 596.5,-182.5 596.5,-146.5 542.5,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"559.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">log</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"576.5,-146.5 576.5,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"586.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"601.5,-146.5 601.5,-182.5 660.5,-182.5 660.5,-146.5 601.5,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"620.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">log</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"639.5,-146.5 639.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"650\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_7&#45;&gt;_v_0_8 -->\n",
        "<g id=\"edge27\" class=\"edge\">\n",
        "<title>_v_0_7&#45;&gt;_v_0_8:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M584,-219.2045C584.918,-211.36 585.8359,-201.8608 586.2588,-192.5073\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"589.758,-192.5815 586.5,-182.5 582.76,-192.4127 589.758,-192.5815\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M648.46,-219.17C649.02,-211.56 649.58,-202.3 649.84,-193.16\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"653.34,-193.05 650,-183 646.35,-192.94 653.34,-193.05\"/>\n",
        "</g>\n",
        "<!-- _v_0_8&#45;&gt;_v_0_11 -->\n",
        "<g id=\"edge36\" class=\"edge\">\n",
-       "<title>_v_0_8&#45;&gt;_v_0_11:f3</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M569.5,-146.1667C569.5,-138.3965 569.5,-129.0133 569.5,-119.775\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"573.0001,-119.5 569.5,-109.5 566.0001,-119.5 573.0001,-119.5\"/>\n",
+       "<title>_v_0_8&#45;&gt;_v_0_11:f4</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M631,-146.15C631,-138.55 631,-129.28 631,-120.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"634.5,-120 631,-110 627.5,-120 634.5,-120\"/>\n",
        "</g>\n",
        "<!-- _v_0_9_i_1_1 -->\n",
        "<g id=\"node27\" class=\"node\">\n",
        "<title>_v_0_9_i_1_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"764.5,-452 764.5,-488 874.5,-488 874.5,-452 764.5,-452\"/>\n",
-       "<text text-anchor=\"middle\" x=\"793\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">index 1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"821.5,-452 821.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"833\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"844.5,-452 844.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"859.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">10</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"824,-452 824,-488 954,-488 954,-452 824,-452\"/>\n",
+       "<text text-anchor=\"middle\" x=\"858.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">index 1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"893,-452 893,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"906\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"919,-452 919,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"936.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- _v_0_9_v_1_0 -->\n",
        "<g id=\"node28\" class=\"node\">\n",
        "<title>_v_0_9_v_1_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"775.5,-376 775.5,-412 839.5,-412 839.5,-376 775.5,-376\"/>\n",
-       "<text text-anchor=\"middle\" x=\"787\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">v</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"798.5,-376 798.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"809\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">!</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"819.5,-376 819.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"829.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"843.5,-376 843.5,-412 912.5,-412 912.5,-376 843.5,-376\"/>\n",
+       "<text text-anchor=\"middle\" x=\"856\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">v</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"868.5,-376 868.5,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"880\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">!</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"891.5,-376 891.5,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"902\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_9_i_1_1&#45;&gt;_v_0_9_v_1_0 -->\n",
        "<g id=\"edge28\" class=\"edge\">\n",
        "<title>_v_0_9_i_1_1&#45;&gt;_v_0_9_v_1_0:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M824.2657,-451.8524C826.2175,-443.2393 828.2171,-432.5398 829.0711,-421.9925\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"832.5679,-422.1409 829.5,-412 825.5743,-421.8407 832.5679,-422.1409\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M895.2,-451.59C897.71,-443.38 900.28,-433.19 901.41,-423.05\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"904.91,-423.19 902,-413 897.92,-422.78 904.91,-423.19\"/>\n",
        "</g>\n",
        "<!-- _v_0_9 -->\n",
        "<g id=\"node29\" class=\"node\">\n",
        "<title>_v_0_9</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"719,-303 719,-339 874,-339 874,-303 719,-303\"/>\n",
-       "<text text-anchor=\"middle\" x=\"763.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">uniform_lpdf</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"808,-303 808,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"818\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"828,-303 828,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"839.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"851,-303 851,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"862.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"774,-303 774,-339 954,-339 954,-303 774,-303\"/>\n",
+       "<text text-anchor=\"middle\" x=\"827.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">uniform_lpdf</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"881,-303 881,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"891.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"902,-303 902,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"915\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"928,-303 928,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"941\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
        "</g>\n",
        "<!-- _v_0_9_v_1_0&#45;&gt;_v_0_9 -->\n",
        "<g id=\"edge29\" class=\"edge\">\n",
        "<title>_v_0_9_v_1_0&#45;&gt;_v_0_9:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M813,-375.8482C815.0195,-368.0389 817.0391,-358.5491 817.9694,-349.1221\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"821.4717,-349.1695 818.5,-339 814.4813,-348.8031 821.4717,-349.1695\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M884.84,-375.95C887.45,-368.34 890.09,-358.98 891.3,-349.6\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"894.8,-349.72 892,-339.5 887.82,-349.24 894.8,-349.72\"/>\n",
        "</g>\n",
        "<!-- _v_0_10_i_1_11 -->\n",
        "<g id=\"node31\" class=\"node\">\n",
        "<title>_v_0_10_i_1_11</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"796.5,-255.5 742.5,-255.5 742.5,-219.5 796.5,-219.5 796.5,-255.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"769.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">elem</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"891,-255.5 837,-255.5 837,-219.5 891,-219.5 891,-255.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"864\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">elem</text>\n",
        "</g>\n",
        "<!-- _v_0_9&#45;&gt;_v_0_10_i_1_11 -->\n",
        "<g id=\"edge30\" class=\"edge\">\n",
        "<title>_v_0_9&#45;&gt;_v_0_10_i_1_11</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M790.6414,-302.8817C787.1033,-291.9398 782.521,-277.7687 778.5275,-265.4182\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"781.7541,-264.021 775.3472,-255.5829 775.0937,-266.1747 781.7541,-264.021\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M864,-302.72C864,-292.02 864,-278.05 864,-265.87\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"867.5,-265.76 864,-255.76 860.5,-265.76 867.5,-265.76\"/>\n",
        "</g>\n",
        "<!-- _v_0_10_i_1_12_c_0 -->\n",
        "<g id=\"node30\" class=\"node\">\n",
        "<title>_v_0_10_i_1_12_c_0</title>\n",
-       "<text text-anchor=\"middle\" x=\"697.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
+       "<text text-anchor=\"middle\" x=\"977\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- _v_0_10_i_1_12 -->\n",
        "<g id=\"node32\" class=\"node\">\n",
        "<title>_v_0_10_i_1_12</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"724.5,-255.5 670.5,-255.5 670.5,-219.5 724.5,-219.5 724.5,-255.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"697.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">accum</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"971,-255.5 909,-255.5 909,-219.5 971,-219.5 971,-255.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"940\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">accum</text>\n",
        "</g>\n",
        "<!-- _v_0_10_i_1_12_c_0&#45;&gt;_v_0_10_i_1_12 -->\n",
        "<g id=\"edge31\" class=\"edge\">\n",
        "<title>_v_0_10_i_1_12_c_0&#45;&gt;_v_0_10_i_1_12</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M697.5,-313.2942C697.5,-302.63 697.5,-282.7963 697.5,-266.0925\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"701.0001,-265.6954 697.5,-255.6955 694.0001,-265.6955 701.0001,-265.6954\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M974.16,-313.27C971.96,-308.11 968.84,-300.84 966,-294.5 961.64,-284.77 956.75,-274.15 952.39,-264.8\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"955.5,-263.18 948.09,-255.6 949.16,-266.14 955.5,-263.18\"/>\n",
        "</g>\n",
        "<!-- _v_0_10 -->\n",
        "<g id=\"node33\" class=\"node\">\n",
        "<title>_v_0_10</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"671,-146.5 671,-182.5 736,-182.5 736,-146.5 671,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"681\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"691,-146.5 691,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"703.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">+</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"716,-146.5 716,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"726\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"853.5,-146.5 853.5,-182.5 924.5,-182.5 924.5,-146.5 853.5,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"864\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"874.5,-146.5 874.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"889\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">+</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"903.5,-146.5 903.5,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"914\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_10_i_1_11&#45;&gt;_v_0_10 -->\n",
        "<g id=\"edge32\" class=\"edge\">\n",
        "<title>_v_0_10_i_1_11&#45;&gt;_v_0_10:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M745.8179,-219.3414C741.7749,-216.4526 737.5665,-213.572 733.5,-211 714.4283,-198.9374 689.8086,-205.9812 682.5806,-192.4116\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"685.9798,-191.5676 680.5,-182.5 679.1291,-193.0058 685.9798,-191.5676\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M864,-219.15C864,-211.55 864,-202.28 864,-193.15\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"867.5,-193 864,-183 860.5,-193 867.5,-193\"/>\n",
        "</g>\n",
        "<!-- _v_0_10_i_1_12&#45;&gt;_v_0_10 -->\n",
        "<g id=\"edge33\" class=\"edge\">\n",
        "<title>_v_0_10_i_1_12&#45;&gt;_v_0_10:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M712.6795,-219.3876C717.9419,-211.7527 723.0847,-202.3501 725.3272,-192.4791\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"728.8088,-192.8402 726.5,-182.5 721.8567,-192.0231 728.8088,-192.8402\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M926.7,-219.19C921.95,-211.76 917.25,-202.59 915.15,-193.04\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"918.62,-192.54 914,-183 911.66,-193.33 918.62,-192.54\"/>\n",
        "</g>\n",
        "<!-- _v_0_10&#45;&gt;_v_0_11 -->\n",
        "<g id=\"edge37\" class=\"edge\">\n",
-       "<title>_v_0_10&#45;&gt;_v_0_11:f4</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M670.8322,-155.5568C642.9353,-147.0989 605.4658,-133.5345 593.4097,-118.7945\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"596.6036,-117.3606 589.5,-109.5 590.1512,-120.0748 596.6036,-117.3606\"/>\n",
+       "<title>_v_0_10&#45;&gt;_v_0_11:f5</title>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M857.23,-146.44C816.56,-126.14 743.08,-94.63 674.14,-91.72\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"674.07,-88.22 664,-91.5 673.92,-95.21 674.07,-88.22\"/>\n",
        "</g>\n",
        "<!-- _v_0_14 -->\n",
        "<g id=\"node42\" class=\"node\">\n",
        "<title>_v_0_14</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"644,-.5 644,-36.5 705,-36.5 705,-.5 644,-.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"654\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"664,-.5 664,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"674.5\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">&#45;</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"685,-.5 685,-36.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"695\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"590.5,-0.5 590.5,-36.5 653.5,-36.5 653.5,-0.5 590.5,-0.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"601\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"611.5,-0.5 611.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"622\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\">&#45;</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"632.5,-0.5 632.5,-36.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"643\" y=\"-14.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_11&#45;&gt;_v_0_14 -->\n",
        "<g id=\"edge44\" class=\"edge\">\n",
        "<title>_v_0_11&#45;&gt;_v_0_14:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M599.6387,-84.1838C623.0835,-78.0976 646.3707,-66.9519 652.1428,-46.5436\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"655.6293,-46.8787 653.5,-36.5 648.6923,-45.9412 655.6293,-46.8787\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M574.48,-73.39C585.92,-67.01 595.67,-58.47 599.39,-47.16\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"602.89,-47.42 601,-37 595.98,-46.33 602.89,-47.42\"/>\n",
        "</g>\n",
        "<!-- _v_0_12_i_1_1 -->\n",
        "<g id=\"node35\" class=\"node\">\n",
        "<title>_v_0_12_i_1_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"899.5,-452 899.5,-488 1009.5,-488 1009.5,-452 899.5,-452\"/>\n",
-       "<text text-anchor=\"middle\" x=\"928\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">index 1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"956.5,-452 956.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"968\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"979.5,-452 979.5,-488 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"994.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">10</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"998,-452 998,-488 1128,-488 1128,-452 998,-452\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1032.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">index 1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1067,-452 1067,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1080\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1093,-452 1093,-488 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1110.5\" y=\"-466.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_0 -->\n",
        "<g id=\"node36\" class=\"node\">\n",
        "<title>_v_0_12_v_1_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"898.5,-376 898.5,-412 964.5,-412 964.5,-376 898.5,-376\"/>\n",
-       "<text text-anchor=\"middle\" x=\"910\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">2</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"921.5,-376 921.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"933\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">*</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"944.5,-376 944.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"954.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"998,-376 998,-412 1068,-412 1068,-376 998,-376\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1011\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">2</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1024,-376 1024,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1035.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">*</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1047,-376 1047,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1057.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_12_i_1_1&#45;&gt;_v_0_12_v_1_0 -->\n",
        "<g id=\"edge38\" class=\"edge\">\n",
        "<title>_v_0_12_i_1_1&#45;&gt;_v_0_12_v_1_0:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M954.5,-451.9732C954.5,-443.3864 954.5,-432.7281 954.5,-422.2857\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"958.0001,-422 954.5,-412 951.0001,-422 958.0001,-422\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1060.68,-451.88C1059.7,-443.58 1058.68,-433.22 1058.23,-423.04\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1061.73,-422.92 1058,-413 1054.73,-423.08 1061.73,-422.92\"/>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_1_v_2_0 -->\n",
        "<g id=\"node38\" class=\"node\">\n",
        "<title>_v_0_12_v_1_1_v_2_0</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"1029,-303 1029,-339 1102,-339 1102,-303 1029,-303\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1039\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"1049,-303 1049,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1065.5\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">==</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"1082,-303 1082,-339 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1092\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"1142.5,-303 1142.5,-339 1225.5,-339 1225.5,-303 1142.5,-303\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1153\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1163.5,-303 1163.5,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1184\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\">==</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1204.5,-303 1204.5,-339 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1215\" y=\"-317.3\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_0&#45;&gt;_v_0_12_v_1_1_v_2_0 -->\n",
        "<g id=\"edge40\" class=\"edge\">\n",
        "<title>_v_0_12_v_1_0&#45;&gt;_v_0_12_v_1_1_v_2_0:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M964.8579,-376.9891C966.0804,-376.4718 967.2971,-375.9734 968.5,-375.5 1018.4077,-355.8574 1083.2064,-391.1504 1091.5924,-349.177\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1095.0978,-349.2714 1092.5,-339 1088.1255,-348.6495 1095.0978,-349.2714\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1068.18,-376.88C1069.46,-376.4 1070.74,-375.94 1072,-375.5 1130.41,-355.22 1205.88,-399.49 1214.24,-349.55\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1217.73,-349.74 1215,-339.5 1210.75,-349.21 1217.73,-349.74\"/>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_1_i_2_1 -->\n",
        "<g id=\"node37\" class=\"node\">\n",
        "<title>_v_0_12_v_1_1_i_2_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"983.5,-376 983.5,-412 1093.5,-412 1093.5,-376 983.5,-376\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1012\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">index 1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"1040.5,-376 1040.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1052\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"1063.5,-376 1063.5,-412 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1078.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">10</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"1088,-376 1088,-412 1218,-412 1218,-376 1088,-376\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1122.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">index 1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1157,-376 1157,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1170\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"1183,-376 1183,-412 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1200.5\" y=\"-390.3\" font-family=\"Times,serif\" font-size=\"14.00\">10</text>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_1_i_2_1&#45;&gt;_v_0_12_v_1_1_v_2_0 -->\n",
        "<g id=\"edge39\" class=\"edge\">\n",
        "<title>_v_0_12_v_1_1_i_2_1&#45;&gt;_v_0_12_v_1_1_v_2_0:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M1038.5,-375.6667C1038.5,-367.8965 1038.5,-358.5133 1038.5,-349.275\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1042.0001,-349 1038.5,-339 1035.0001,-349 1042.0001,-349\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1153,-375.65C1153,-368.05 1153,-358.78 1153,-349.65\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1156.5,-349.5 1153,-339.5 1149.5,-349.5 1156.5,-349.5\"/>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_1 -->\n",
        "<g id=\"node39\" class=\"node\">\n",
        "<title>_v_0_12_v_1_1</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"980.5,-219.5 980.5,-255.5 1122.5,-255.5 1122.5,-219.5 980.5,-219.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"1018.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ifThenElse</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"1056.5,-219.5 1056.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1066.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"1076.5,-219.5 1076.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1088\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">1</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"1099.5,-219.5 1099.5,-255.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1111\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">0</text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"1084.5,-219.5 1084.5,-255.5 1249.5,-255.5 1249.5,-219.5 1084.5,-219.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1130.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">ifThenElse</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"1176.5,-219.5 1176.5,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1187\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"1197.5,-219.5 1197.5,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1210.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">1</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"1223.5,-219.5 1223.5,-255.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1236.5\" y=\"-233.8\" font-family=\"Times,serif\" font-size=\"14.00\">0</text>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_1_v_2_0&#45;&gt;_v_0_12_v_1_1 -->\n",
        "<g id=\"edge41\" class=\"edge\">\n",
        "<title>_v_0_12_v_1_1_v_2_0&#45;&gt;_v_0_12_v_1_1:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M1065.9241,-302.93C1066.1391,-292.5516 1066.3734,-279.0049 1066.4626,-265.8736\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1069.9639,-265.5126 1066.5,-255.5 1062.9639,-265.4873 1069.9639,-265.5126\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1185.25,-302.76C1185.9,-292.69 1186.62,-279.47 1186.89,-266.64\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1190.39,-266.54 1187,-256.5 1183.39,-266.46 1190.39,-266.54\"/>\n",
        "</g>\n",
        "<!-- _v_0_12 -->\n",
        "<g id=\"node40\" class=\"node\">\n",
        "<title>_v_0_12</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"943,-146.5 943,-182.5 1016,-182.5 1016,-146.5 943,-146.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"969.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">asRow</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" stroke-width=\"2\" points=\"996,-146.5 996,-182.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"1006\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"1045,-146.5 1045,-182.5 1129,-182.5 1129,-146.5 1045,-146.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"1076.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\">asRow</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" stroke-width=\"2\" points=\"1108,-146.5 1108,-182.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"1118.5\" y=\"-160.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_12_v_1_1&#45;&gt;_v_0_12 -->\n",
        "<g id=\"edge42\" class=\"edge\">\n",
        "<title>_v_0_12_v_1_1&#45;&gt;_v_0_12:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M1026.3686,-219.4752C1018.4767,-212.1296 1011.0227,-202.8915 1007.9621,-192.431\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"1011.4193,-191.8835 1006.5,-182.5 1004.494,-192.9032 1011.4193,-191.8835\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1140.19,-219.46C1131.78,-212.4 1123.82,-203.41 1120.56,-192.98\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"1124,-192.34 1119,-183 1117.09,-193.42 1124,-192.34\"/>\n",
        "</g>\n",
        "<!-- _v_0_13 -->\n",
        "<g id=\"node41\" class=\"node\">\n",
        "<title>_v_0_13</title>\n",
-       "<polygon fill=\"none\" stroke=\"#000000\" points=\"766,-73.5 766,-109.5 843,-109.5 843,-73.5 766,-73.5\"/>\n",
-       "<text text-anchor=\"middle\" x=\"794.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">log_det</text>\n",
-       "<polyline fill=\"none\" stroke=\"#000000\" points=\"823,-73.5 823,-109.5 \"/>\n",
-       "<text text-anchor=\"middle\" x=\"833\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\"> </text>\n",
+       "<polygon fill=\"none\" stroke=\"black\" points=\"844.5,-73.5 844.5,-109.5 933.5,-109.5 933.5,-73.5 844.5,-73.5\"/>\n",
+       "<text text-anchor=\"middle\" x=\"878.5\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\">log_det</text>\n",
+       "<polyline fill=\"none\" stroke=\"black\" points=\"912.5,-73.5 912.5,-109.5 \"/>\n",
+       "<text text-anchor=\"middle\" x=\"923\" y=\"-87.8\" font-family=\"Times,serif\" font-size=\"14.00\"> </text>\n",
        "</g>\n",
        "<!-- _v_0_12&#45;&gt;_v_0_13 -->\n",
        "<g id=\"edge43\" class=\"edge\">\n",
        "<title>_v_0_12&#45;&gt;_v_0_13:f1</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M960.5017,-146.4551C937.4643,-126.3999 896.3711,-96.2571 853.5343,-92.0053\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"853.6634,-88.5075 843.5,-91.5 853.3113,-95.4986 853.6634,-88.5075\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M1066.33,-146.44C1040.22,-126.56 992.93,-95.91 945.19,-91.93\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"945.14,-88.43 935,-91.5 944.84,-95.42 945.14,-88.43\"/>\n",
        "</g>\n",
        "<!-- _v_0_13&#45;&gt;_v_0_14 -->\n",
        "<g id=\"edge45\" class=\"edge\">\n",
        "<title>_v_0_13&#45;&gt;_v_0_14:f2</title>\n",
-       "<path fill=\"none\" stroke=\"#000000\" d=\"M765.7638,-87.7036C737.8607,-82.8392 703.9259,-71.7482 696.8364,-46.4698\"/>\n",
-       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"700.2976,-45.9463 695.5,-36.5 693.3597,-46.8764 700.2976,-45.9463\"/>\n",
+       "<path fill=\"none\" stroke=\"black\" d=\"M855.89,-73.44C813.42,-53.1 736.68,-21.5 665.07,-18.7\"/>\n",
+       "<polygon fill=\"black\" stroke=\"black\" points=\"665.07,-15.2 655,-18.5 664.93,-22.2 665.07,-15.2\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"