wiki/structure.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: G Pages: 1 -->
<svg width="4037pt" height="752pt"
 viewBox="0.00 0.00 4036.66 752.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 748)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-748 4032.66,-748 4032.66,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__56_RSiblings</title>
<polygon fill="#d0d1e6" stroke="black" stroke-width="2" points="72.26,-440 72.26,-628 198.26,-628 198.26,-440 72.26,-440"/>
<text text-anchor="middle" x="135.26" y="-608" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#3690c0">RSiblings</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__98_OptimalAlgorithm</title>
<polygon fill="cornsilk" stroke="black" stroke-width="2" points="2975.26,-440 2975.26,-520 3247.26,-520 3247.26,-440 2975.26,-440"/>
<text text-anchor="middle" x="3111.26" y="-500" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#cdb79e">OptimalAlgorithm</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__20_PathInCompleteTrees</title>
<polygon fill="#fee6ce" stroke="black" stroke-width="2" points="1100.26,-332 1100.26,-628 1309.26,-628 1309.26,-332 1100.26,-332"/>
<text text-anchor="middle" x="1204.76" y="-608" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#fd8d3c">PathInCompleteTrees</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__12_CompleteTrees</title>
<polygon fill="#fde0ef" stroke="black" stroke-width="2" points="792.26,-224 792.26,-520 946.26,-520 946.26,-224 792.26,-224"/>
<text text-anchor="middle" x="869.26" y="-500" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#de77ae">CompleteTrees</text>
</g>
<g id="clust5" class="cluster">
<title>cluster__5_SeqOfBits</title>
<polygon fill="lightpink" stroke="black" stroke-width="2" points="3502.26,-224 3502.26,-412 3968.26,-412 3968.26,-224 3502.26,-224"/>
<text text-anchor="middle" x="3735.26" y="-392" font-family="Helvetica,sans-Serif" font-size="20.00" fill="tomato">SeqOfBits</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__67_NextPathInCompleteTreesLemmas</title>
<polygon fill="#ffffdd" stroke="black" stroke-width="2" points="1574.26,-332 1574.26,-520 1908.26,-520 1908.26,-332 1574.26,-332"/>
<text text-anchor="middle" x="1741.26" y="-500" font-family="Helvetica,sans-Serif" font-size="20.00" fill="gold">NextPathInCompleteTreesLemmas</text>
</g>
<g id="clust7" class="cluster">
<title>cluster__113_DepositSmart</title>
<polygon fill="#e0f3db" stroke="black" stroke-width="2" points="333.26,-656 333.26,-736 470.26,-736 470.26,-656 333.26,-656"/>
<text text-anchor="middle" x="401.76" y="-716" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#a2cd5a">DepositSmart</text>
</g>
<g id="clust8" class="cluster">
<title>cluster__0_Helpers</title>
<polygon fill="#fde0ef" stroke="black" stroke-width="2" points="1255.26,-116 1255.26,-196 1423.26,-196 1423.26,-116 1255.26,-116"/>
<text text-anchor="middle" x="1339.26" y="-176" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#cd69c9">Helpers</text>
</g>
<g id="clust9" class="cluster">
<title>cluster__110_MerkleTrees</title>
<polygon fill="#eee9e9" stroke="black" stroke-width="2" points="276.26,-332 276.26,-628 548.26,-628 548.26,-332 276.26,-332"/>
<text text-anchor="middle" x="412.26" y="-608" font-family="Helvetica,sans-Serif" font-size="20.00" fill="slategrey">MerkleTrees</text>
</g>
<g id="clust10" class="cluster">
<title>cluster__7_Trees</title>
<polygon fill="#f0f9e8" stroke="black" stroke-width="2" points="18.26,-8 18.26,-304 562.26,-304 562.26,-8 18.26,-8"/>
<text text-anchor="middle" x="290.26" y="-284" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#548b54">Trees</text>
</g>
<g id="clust11" class="cluster">
<title>cluster__48_ComputeRootPath</title>
<polygon fill="#d0d1e6" stroke="black" stroke-width="2" points="2562.26,-332 2562.26,-520 2967.26,-520 2967.26,-332 2562.26,-332"/>
<text text-anchor="middle" x="2764.76" y="-500" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#3690c0">ComputeRootPath</text>
</g>
<g id="clust12" class="cluster">
<title>cluster__25_GenericComputation</title>
<polygon fill="cornsilk" stroke="black" stroke-width="2" points="2172.26,-332 2172.26,-520 2371.26,-520 2371.26,-332 2172.26,-332"/>
<text text-anchor="middle" x="2271.76" y="-500" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#cdb79e">GenericComputation</text>
</g>
<g id="clust13" class="cluster">
<title>cluster__3_SeqHelpers</title>
<polygon fill="#fee6ce" stroke="black" stroke-width="2" points="2092.26,-224 2092.26,-304 2630.26,-304 2630.26,-224 2092.26,-224"/>
<text text-anchor="middle" x="2361.26" y="-284" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#fd8d3c">SeqHelpers</text>
</g>
<g id="clust14" class="cluster">
<title>cluster__108_IndexBasedAlgorithm</title>
<polygon fill="#fde0ef" stroke="black" stroke-width="2" points="3399.26,-440 3399.26,-736 3994.26,-736 3994.26,-440 3399.26,-440"/>
<text text-anchor="middle" x="3696.76" y="-716" font-family="Helvetica,sans-Serif" font-size="20.00" fill="#de77ae">IndexBasedAlgorithm</text>
</g>
<g id="clust15" class="cluster">
<title>cluster__91_MainAlgorithm</title>
<polygon fill="lightpink" stroke="black" stroke-width="2" points="1916.26,-440 1916.26,-520 2164.26,-520 2164.26,-440 1916.26,-440"/>
<text text-anchor="middle" x="2040.26" y="-500" font-family="Helvetica,sans-Serif" font-size="20.00" fill="tomato">MainAlgorithm</text>
</g>
<!-- zeroes -->
<g id="node1" class="node">
<title>zeroes</title>
<polygon fill="#3690c0" stroke="black" points="163.28,-592 105.24,-592 105.24,-556 163.28,-556 163.28,-592"/>
<text text-anchor="middle" x="134.26" y="-569.8" font-family="Helvetica,sans-Serif" font-size="14.00">zeroes</text>
</g>
<!-- zeroes&#45;&gt;zeroes -->
<g id="edge28" class="edge">
<title>zeroes&#45;&gt;zeroes</title>
<path fill="none" stroke="black" d="M153.57,-592.07C167.45,-597.95 181.27,-591.93 181.27,-574 181.27,-560.41 173.33,-553.66 163.45,-553.75"/>
<polygon fill="black" stroke="black" points="162.59,-550.36 153.57,-555.93 164.09,-557.19 162.59,-550.36"/>
</g>
<!-- defaultValue -->
<g id="node2" class="node">
<title>defaultValue</title>
<polygon fill="#3690c0" stroke="black" points="172.57,-484 79.95,-484 79.95,-448 172.57,-448 172.57,-484"/>
<text text-anchor="middle" x="126.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">defaultValue</text>
</g>
<!-- zeroes&#45;&gt;defaultValue -->
<g id="edge27" class="edge">
<title>zeroes&#45;&gt;defaultValue</title>
<path fill="none" stroke="black" d="M132.97,-555.97C131.72,-539.38 129.8,-513.88 128.33,-494.43"/>
<polygon fill="black" stroke="black" points="131.81,-494.05 127.57,-484.34 124.83,-494.58 131.81,-494.05"/>
</g>
<!-- defaultValue&#45;&gt;defaultValue -->
<g id="edge57" class="edge">
<title>defaultValue&#45;&gt;defaultValue</title>
<path fill="none" stroke="black" d="M152.72,-484.07C171.73,-489.95 190.66,-483.93 190.66,-466 190.66,-451.29 177.92,-444.6 162.85,-445.91"/>
<polygon fill="black" stroke="black" points="161.84,-442.54 152.72,-447.93 163.21,-449.41 161.84,-442.54"/>
</g>
<!-- computeRootAndLeftSiblingsUpOpt -->
<g id="node3" class="node">
<title>computeRootAndLeftSiblingsUpOpt</title>
<polygon fill="#cdb79e" stroke="black" points="3220.78,-484 2983.74,-484 2983.74,-448 3220.78,-448 3220.78,-484"/>
<text text-anchor="middle" x="3102.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootAndLeftSiblingsUpOpt</text>
</g>
<!-- computeRootAndLeftSiblingsUpOpt&#45;&gt;computeRootAndLeftSiblingsUpOpt -->
<g id="edge12" class="edge">
<title>computeRootAndLeftSiblingsUpOpt&#45;&gt;computeRootAndLeftSiblingsUpOpt</title>
<path fill="none" stroke="black" d="M3157.99,-484.02C3198.4,-489.99 3238.77,-483.98 3238.77,-466 3238.77,-449.56 3205.04,-443.13 3168.38,-446.71"/>
<polygon fill="black" stroke="black" points="3167.49,-443.29 3157.99,-447.98 3168.34,-450.24 3167.49,-443.29"/>
</g>
<!-- computeRootLeftRightUp -->
<g id="node33" class="node">
<title>computeRootLeftRightUp</title>
<polygon fill="#3690c0" stroke="black" points="2914.96,-376 2741.56,-376 2741.56,-340 2914.96,-340 2914.96,-376"/>
<text text-anchor="middle" x="2828.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootLeftRightUp</text>
</g>
<!-- computeRootAndLeftSiblingsUpOpt&#45;&gt;computeRootLeftRightUp -->
<g id="edge13" class="edge">
<title>computeRootAndLeftSiblingsUpOpt&#45;&gt;computeRootLeftRightUp</title>
<path fill="none" stroke="black" d="M3058.24,-447.97C3010.34,-429.44 2933.75,-399.81 2882.26,-379.89"/>
<polygon fill="black" stroke="black" points="2883.22,-376.51 2872.63,-376.16 2880.69,-383.04 2883.22,-376.51"/>
</g>
<!-- init -->
<g id="node37" class="node">
<title>init</title>
<polygon fill="#fd8d3c" stroke="black" points="2424.26,-268 2370.26,-268 2370.26,-232 2424.26,-232 2424.26,-268"/>
<text text-anchor="middle" x="2397.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">init</text>
</g>
<!-- computeRootAndLeftSiblingsUpOpt&#45;&gt;init -->
<g id="edge15" class="edge">
<title>computeRootAndLeftSiblingsUpOpt&#45;&gt;init</title>
<path fill="none" stroke="black" d="M3097.29,-447.79C3087.72,-418.13 3063.62,-358.05 3019.26,-332 2910.29,-268 2567.03,-354.68 2451.26,-304 2437.45,-297.95 2425.17,-286.68 2415.82,-276.08"/>
<polygon fill="black" stroke="black" points="2418.36,-273.65 2409.27,-268.2 2412.98,-278.13 2418.36,-273.65"/>
</g>
<!-- last -->
<g id="node39" class="node">
<title>last</title>
<polygon fill="#fd8d3c" stroke="black" points="2514.26,-268 2460.26,-268 2460.26,-232 2514.26,-232 2514.26,-268"/>
<text text-anchor="middle" x="2487.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">last</text>
</g>
<!-- computeRootAndLeftSiblingsUpOpt&#45;&gt;last -->
<g id="edge16" class="edge">
<title>computeRootAndLeftSiblingsUpOpt&#45;&gt;last</title>
<path fill="none" stroke="black" d="M3107.83,-447.9C3115.89,-419.49 3126.74,-362.64 3096.26,-332 3052.71,-288.22 2597.81,-328.79 2541.26,-304 2527.45,-297.95 2515.18,-286.67 2505.83,-276.07"/>
<polygon fill="black" stroke="black" points="2508.36,-273.64 2499.28,-268.2 2502.98,-278.12 2508.36,-273.64"/>
</g>
<!-- first -->
<g id="node41" class="node">
<title>first</title>
<polygon fill="#fd8d3c" stroke="black" points="2334.26,-268 2280.26,-268 2280.26,-232 2334.26,-232 2334.26,-268"/>
<text text-anchor="middle" x="2307.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">first</text>
</g>
<!-- computeRootAndLeftSiblingsUpOpt&#45;&gt;first -->
<g id="edge14" class="edge">
<title>computeRootAndLeftSiblingsUpOpt&#45;&gt;first</title>
<path fill="none" stroke="black" d="M3067.76,-447.78C3051.74,-438.64 3033.2,-426.34 3019.26,-412 2990.35,-382.27 3006.86,-353.25 2971.26,-332 2854.74,-262.45 2485.66,-358.21 2361.26,-304 2347.44,-297.98 2335.16,-286.71 2325.82,-276.1"/>
<polygon fill="black" stroke="black" points="2328.35,-273.67 2319.27,-268.22 2322.96,-278.15 2328.35,-273.67"/>
</g>
<!-- computeRootAndLeftSiblingsUp -->
<g id="node46" class="node">
<title>computeRootAndLeftSiblingsUp</title>
<polygon fill="tomato" stroke="black" points="2138.71,-484 1923.8,-484 1923.8,-448 2138.71,-448 2138.71,-484"/>
<text text-anchor="middle" x="2031.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootAndLeftSiblingsUp</text>
</g>
<!-- computeRootAndLeftSiblingsUpOpt&#45;&gt;computeRootAndLeftSiblingsUp -->
<g id="edge11" class="edge">
<title>computeRootAndLeftSiblingsUpOpt&#45;&gt;computeRootAndLeftSiblingsUp</title>
<path fill="none" stroke="black" d="M3076.4,-484.11C3049.37,-501.84 3005.03,-527.65 2962.26,-538 2877.49,-558.52 2262.2,-557.81 2177.26,-538 2137.27,-528.68 2095.65,-506.75 2067.13,-489.52"/>
<polygon fill="black" stroke="black" points="2068.7,-486.38 2058.35,-484.12 2065.03,-492.34 2068.7,-486.38"/>
</g>
<!-- nodeAt -->
<g id="node4" class="node">
<title>nodeAt</title>
<polygon fill="#fd8d3c" stroke="black" points="1168.63,-376 1107.89,-376 1107.89,-340 1168.63,-340 1168.63,-376"/>
<text text-anchor="middle" x="1138.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">nodeAt</text>
</g>
<!-- nodeAt&#45;&gt;nodeAt -->
<g id="edge36" class="edge">
<title>nodeAt&#45;&gt;nodeAt</title>
<path fill="none" stroke="black" d="M1158.06,-376.07C1172.28,-381.95 1186.44,-375.93 1186.44,-358 1186.44,-344.27 1178.14,-337.52 1167.87,-337.76"/>
<polygon fill="black" stroke="black" points="1167.06,-334.35 1158.06,-339.93 1168.58,-341.18 1167.06,-334.35"/>
</g>
<!-- isCompleteTree -->
<g id="node7" class="node">
<title>isCompleteTree</title>
<polygon fill="#de77ae" stroke="black" points="914.56,-268 799.96,-268 799.96,-232 914.56,-232 914.56,-268"/>
<text text-anchor="middle" x="857.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">isCompleteTree</text>
</g>
<!-- nodeAt&#45;&gt;isCompleteTree -->
<g id="edge35" class="edge">
<title>nodeAt&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M1111.46,-339.97C1105.93,-336.97 1100.03,-334.13 1094.26,-332 1033.11,-309.38 1011.39,-326.66 950.26,-304 929.49,-296.3 907.89,-284.28 890.75,-273.63"/>
<polygon fill="black" stroke="black" points="892.53,-270.62 882.21,-268.21 888.78,-276.53 892.53,-270.62"/>
</g>
<!-- height -->
<g id="node28" class="node">
<title>height</title>
<polygon fill="#548b54" stroke="black" points="418.4,-268 364.11,-268 364.11,-232 418.4,-232 418.4,-268"/>
<text text-anchor="middle" x="391.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">height</text>
</g>
<!-- nodeAt&#45;&gt;height -->
<g id="edge34" class="edge">
<title>nodeAt&#45;&gt;height</title>
<path fill="none" stroke="black" d="M1108.06,-352.26C1070.99,-346.6 1006.15,-337.26 950.26,-332 838.36,-321.47 548.08,-349.39 445.26,-304 431.47,-297.91 419.19,-286.63 409.84,-276.04"/>
<polygon fill="black" stroke="black" points="412.38,-273.61 403.29,-268.17 407,-278.09 412.38,-273.61"/>
</g>
<!-- nodesIn -->
<g id="node29" class="node">
<title>nodesIn</title>
<polygon fill="#548b54" stroke="black" points="535.08,-52 469.44,-52 469.44,-16 535.08,-16 535.08,-52"/>
<text text-anchor="middle" x="502.26" y="-29.8" font-family="Helvetica,sans-Serif" font-size="14.00">nodesIn</text>
</g>
<!-- nodeAt&#45;&gt;nodesIn -->
<g id="edge37" class="edge">
<title>nodeAt&#45;&gt;nodesIn</title>
<path fill="none" stroke="black" d="M1117.27,-339.84C1083.55,-312.82 1014.55,-259.75 950.26,-224 808.22,-145.02 626.46,-77.95 545.04,-49.53"/>
<polygon fill="black" stroke="black" points="545.75,-46.08 535.16,-46.1 543.46,-52.69 545.75,-46.08"/>
</g>
<!-- tail -->
<g id="node36" class="node">
<title>tail</title>
<polygon fill="#fd8d3c" stroke="black" points="2604.26,-268 2550.26,-268 2550.26,-232 2604.26,-232 2604.26,-268"/>
<text text-anchor="middle" x="2577.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">tail</text>
</g>
<!-- nodeAt&#45;&gt;tail -->
<g id="edge38" class="edge">
<title>nodeAt&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M1168.62,-354.94C1239.12,-350.22 1419.4,-338.54 1570.26,-332 1624.18,-329.66 2493.94,-329.94 2541.26,-304 2552.01,-298.1 2560.18,-287.46 2566,-277.24"/>
<polygon fill="black" stroke="black" points="2569.22,-278.63 2570.68,-268.14 2562.99,-275.43 2569.22,-278.63"/>
</g>
<!-- nodeAt&#45;&gt;first -->
<g id="edge33" class="edge">
<title>nodeAt&#45;&gt;first</title>
<path fill="none" stroke="black" d="M1168.7,-353.84C1221.48,-348.49 1333.42,-337.66 1428.26,-332 1475.03,-329.21 2230.22,-326.62 2271.26,-304 2282,-298.08 2290.17,-287.43 2295.98,-277.22"/>
<polygon fill="black" stroke="black" points="2299.2,-278.61 2300.67,-268.12 2292.98,-275.41 2299.2,-278.61"/>
</g>
<!-- siblingAt -->
<g id="node5" class="node">
<title>siblingAt</title>
<polygon fill="#fd8d3c" stroke="black" points="1181.68,-484 1112.84,-484 1112.84,-448 1181.68,-448 1181.68,-484"/>
<text text-anchor="middle" x="1147.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">siblingAt</text>
</g>
<!-- siblingAt&#45;&gt;nodeAt -->
<g id="edge68" class="edge">
<title>siblingAt&#45;&gt;nodeAt</title>
<path fill="none" stroke="black" d="M1145.81,-447.97C1144.4,-431.38 1142.24,-405.88 1140.59,-386.43"/>
<polygon fill="black" stroke="black" points="1144.06,-386.01 1139.73,-376.34 1137.09,-386.6 1144.06,-386.01"/>
</g>
<!-- siblingAt&#45;&gt;isCompleteTree -->
<g id="edge66" class="edge">
<title>siblingAt&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M1124.02,-447.85C1072.26,-409.66 947.47,-317.57 888.78,-274.26"/>
<polygon fill="black" stroke="black" points="890.74,-271.35 880.61,-268.23 886.58,-276.99 890.74,-271.35"/>
</g>
<!-- siblingAt&#45;&gt;height -->
<g id="edge64" class="edge">
<title>siblingAt&#45;&gt;height</title>
<path fill="none" stroke="black" d="M1112.61,-460.7C1035.09,-450.93 849.66,-426.81 788.26,-412 680.6,-386.03 658.34,-363.82 552.26,-332 505.17,-317.88 488.02,-328.25 445.26,-304 432.64,-296.84 420.85,-285.99 411.53,-275.97"/>
<polygon fill="black" stroke="black" points="413.88,-273.34 404.62,-268.2 408.65,-277.99 413.88,-273.34"/>
</g>
<!-- siblingAt&#45;&gt;init -->
<g id="edge65" class="edge">
<title>siblingAt&#45;&gt;init</title>
<path fill="none" stroke="black" d="M1177.72,-447.85C1233.09,-417.7 1354.83,-356.12 1466.26,-332 1563.5,-310.95 2274.07,-351.94 2361.26,-304 2372.01,-298.09 2380.17,-287.44 2385.99,-277.23"/>
<polygon fill="black" stroke="black" points="2389.21,-278.62 2390.68,-268.13 2382.99,-275.41 2389.21,-278.62"/>
</g>
<!-- siblingAt&#45;&gt;last -->
<g id="edge67" class="edge">
<title>siblingAt&#45;&gt;last</title>
<path fill="none" stroke="black" d="M1181.82,-459.18C1226.54,-451.12 1306.51,-434.93 1372.26,-412 1451.1,-384.5 1461.06,-351.47 1542.26,-332 1640.52,-308.44 2362.7,-352.66 2451.26,-304 2462.01,-298.09 2470.17,-287.45 2475.99,-277.23"/>
<polygon fill="black" stroke="black" points="2479.21,-278.62 2480.68,-268.13 2472.99,-275.42 2479.21,-278.62"/>
</g>
<!-- siblingValueAt -->
<g id="node6" class="node">
<title>siblingValueAt</title>
<polygon fill="#fd8d3c" stroke="black" points="1299.95,-592 1196.57,-592 1196.57,-556 1299.95,-556 1299.95,-592"/>
<text text-anchor="middle" x="1248.26" y="-569.8" font-family="Helvetica,sans-Serif" font-size="14.00">siblingValueAt</text>
</g>
<!-- siblingValueAt&#45;&gt;siblingAt -->
<g id="edge111" class="edge">
<title>siblingValueAt&#45;&gt;siblingAt</title>
<path fill="none" stroke="black" d="M1232.03,-555.97C1215.49,-538.61 1189.66,-511.5 1170.86,-491.77"/>
<polygon fill="black" stroke="black" points="1173.21,-489.17 1163.78,-484.34 1168.15,-493.99 1173.21,-489.17"/>
</g>
<!-- siblingValueAt&#45;&gt;isCompleteTree -->
<g id="edge109" class="edge">
<title>siblingValueAt&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M1252.95,-555.83C1263.68,-512.34 1284.97,-396.74 1228.26,-332 1189.07,-287.26 1020.84,-265.35 924.92,-256.31"/>
<polygon fill="black" stroke="black" points="925.01,-252.81 914.73,-255.38 924.37,-259.78 925.01,-252.81"/>
</g>
<!-- bitListToNat -->
<g id="node11" class="node">
<title>bitListToNat</title>
<polygon fill="tomato" stroke="black" points="3809.9,-376 3720.61,-376 3720.61,-340 3809.9,-340 3809.9,-376"/>
<text text-anchor="middle" x="3765.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">bitListToNat</text>
</g>
<!-- siblingValueAt&#45;&gt;bitListToNat -->
<g id="edge107" class="edge">
<title>siblingValueAt&#45;&gt;bitListToNat</title>
<path fill="none" stroke="black" d="M1300.07,-573.1C1595.27,-573.49 3058.31,-572.73 3251.26,-520 3321.88,-500.7 3325.26,-461.47 3395.26,-440 3530.48,-398.53 3584.1,-471.83 3712.26,-412 3725.79,-405.68 3737.84,-394.38 3747.02,-383.83"/>
<polygon fill="black" stroke="black" points="3749.8,-385.95 3753.45,-376.01 3744.4,-381.51 3749.8,-385.95"/>
</g>
<!-- power2 -->
<g id="node18" class="node">
<title>power2</title>
<polygon fill="#cd69c9" stroke="black" points="1397.18,-160 1335.34,-160 1335.34,-124 1397.18,-124 1397.18,-160"/>
<text text-anchor="middle" x="1366.26" y="-137.8" font-family="Helvetica,sans-Serif" font-size="14.00">power2</text>
</g>
<!-- siblingValueAt&#45;&gt;power2 -->
<g id="edge110" class="edge">
<title>siblingValueAt&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M1259.52,-555.55C1265.45,-545.53 1272.3,-532.5 1276.26,-520 1316.32,-393.56 1268.88,-348.63 1314.26,-224 1321.57,-203.92 1334.56,-183.68 1345.72,-168.46"/>
<polygon fill="black" stroke="black" points="1348.79,-170.21 1352.03,-160.12 1343.21,-165.99 1348.79,-170.21"/>
</g>
<!-- siblingValueAt&#45;&gt;height -->
<g id="edge108" class="edge">
<title>siblingValueAt&#45;&gt;height</title>
<path fill="none" stroke="black" d="M1247.14,-555.96C1243.46,-505.91 1229.95,-360.97 1195.26,-332 1131.25,-278.54 521.85,-336.99 445.26,-304 431.32,-298 418.96,-286.61 409.6,-275.93"/>
<polygon fill="black" stroke="black" points="412.11,-273.48 403.04,-268 406.72,-277.94 412.11,-273.48"/>
</g>
<!-- take -->
<g id="node38" class="node">
<title>take</title>
<polygon fill="#fd8d3c" stroke="black" points="2244.26,-268 2190.26,-268 2190.26,-232 2244.26,-232 2244.26,-268"/>
<text text-anchor="middle" x="2217.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">take</text>
</g>
<!-- siblingValueAt&#45;&gt;take -->
<g id="edge112" class="edge">
<title>siblingValueAt&#45;&gt;take</title>
<path fill="none" stroke="black" d="M1267.39,-555.8C1278.43,-545.64 1292.43,-532.39 1304.26,-520 1380.41,-440.21 1366.91,-379.91 1466.26,-332 1609.48,-262.93 2042.22,-381.16 2181.26,-304 2191.98,-298.05 2200.15,-287.39 2205.97,-277.19"/>
<polygon fill="black" stroke="black" points="2209.18,-278.59 2210.66,-268.09 2202.96,-275.38 2209.18,-278.59"/>
</g>
<!-- isCompleteTree&#45;&gt;isCompleteTree -->
<g id="edge62" class="edge">
<title>isCompleteTree&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M888.14,-268.07C910.32,-273.95 932.41,-267.93 932.41,-250 932.41,-234.8 916.53,-228.16 898.19,-230.07"/>
<polygon fill="black" stroke="black" points="897.33,-226.67 888.14,-231.93 898.61,-233.55 897.33,-226.67"/>
</g>
<!-- isCompleteTree&#45;&gt;height -->
<g id="edge61" class="edge">
<title>isCompleteTree&#45;&gt;height</title>
<path fill="none" stroke="black" d="M842.67,-268.21C828.12,-284.79 804.12,-308.13 777.26,-318 743.57,-330.38 487.15,-332.36 454.26,-318 434.9,-309.55 418.84,-291.89 407.77,-276.69"/>
<polygon fill="black" stroke="black" points="410.41,-274.35 401.85,-268.11 404.65,-278.32 410.41,-274.35"/>
</g>
<!-- takeLeavesIn -->
<g id="node8" class="node">
<title>takeLeavesIn</title>
<polygon fill="#de77ae" stroke="black" points="920.04,-376 820.48,-376 820.48,-340 920.04,-340 920.04,-376"/>
<text text-anchor="middle" x="870.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">takeLeavesIn</text>
</g>
<!-- takeLeavesIn&#45;&gt;isCompleteTree -->
<g id="edge71" class="edge">
<title>takeLeavesIn&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M868.17,-339.97C866.14,-323.38 863.01,-297.88 860.62,-278.43"/>
<polygon fill="black" stroke="black" points="864.08,-277.84 859.39,-268.34 857.13,-278.69 864.08,-277.84"/>
</g>
<!-- takeLeavesIn&#45;&gt;takeLeavesIn -->
<g id="edge74" class="edge">
<title>takeLeavesIn&#45;&gt;takeLeavesIn</title>
<path fill="none" stroke="black" d="M898.05,-376.07C918.01,-381.95 937.9,-375.93 937.9,-358 937.9,-343.15 924.26,-336.47 908.24,-337.95"/>
<polygon fill="black" stroke="black" points="907.2,-334.59 898.05,-339.93 908.54,-341.46 907.2,-334.59"/>
</g>
<!-- leavesIn -->
<g id="node24" class="node">
<title>leavesIn</title>
<polygon fill="#548b54" stroke="black" points="536.4,-160 468.11,-160 468.11,-124 536.4,-124 536.4,-160"/>
<text text-anchor="middle" x="502.26" y="-137.8" font-family="Helvetica,sans-Serif" font-size="14.00">leavesIn</text>
</g>
<!-- takeLeavesIn&#45;&gt;leavesIn -->
<g id="edge72" class="edge">
<title>takeLeavesIn&#45;&gt;leavesIn</title>
<path fill="none" stroke="black" d="M844.64,-339.82C829.18,-329.45 809.08,-315.97 791.26,-304 738.35,-268.47 727.62,-255.57 672.26,-224 630.59,-200.24 580.85,-177.11 545.98,-161.69"/>
<polygon fill="black" stroke="black" points="547.11,-158.37 536.55,-157.55 544.3,-164.78 547.11,-158.37"/>
</g>
<!-- takeLeavesIn&#45;&gt;take -->
<g id="edge73" class="edge">
<title>takeLeavesIn&#45;&gt;take</title>
<path fill="none" stroke="black" d="M920.21,-347.36C951.19,-341.81 991.89,-335.3 1028.26,-332 1092.07,-326.2 2125,-334.67 2181.26,-304 2192.03,-298.13 2200.2,-287.48 2206.01,-277.27"/>
<polygon fill="black" stroke="black" points="2209.23,-278.65 2210.69,-268.15 2203.01,-275.45 2209.23,-278.65"/>
</g>
<!-- dropLeavesIn -->
<g id="node9" class="node">
<title>dropLeavesIn</title>
<polygon fill="#de77ae" stroke="black" points="910.6,-484 809.92,-484 809.92,-448 910.6,-448 910.6,-484"/>
<text text-anchor="middle" x="860.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">dropLeavesIn</text>
</g>
<!-- dropLeavesIn&#45;&gt;isCompleteTree -->
<g id="edge146" class="edge">
<title>dropLeavesIn&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M838.11,-447.87C827.85,-438.52 816.74,-426 811.26,-412 798.3,-378.89 802.18,-366.38 811.26,-332 816.54,-312 828.03,-291.77 838.2,-276.53"/>
<polygon fill="black" stroke="black" points="841.17,-278.38 843.98,-268.17 835.41,-274.4 841.17,-278.38"/>
</g>
<!-- dropLeavesIn&#45;&gt;takeLeavesIn -->
<g id="edge148" class="edge">
<title>dropLeavesIn&#45;&gt;takeLeavesIn</title>
<path fill="none" stroke="black" d="M861.87,-447.97C863.43,-431.38 865.84,-405.88 867.67,-386.43"/>
<polygon fill="black" stroke="black" points="871.17,-386.63 868.62,-376.34 864.2,-385.97 871.17,-386.63"/>
</g>
<!-- dropLeavesIn&#45;&gt;leavesIn -->
<g id="edge147" class="edge">
<title>dropLeavesIn&#45;&gt;leavesIn</title>
<path fill="none" stroke="black" d="M840.15,-447.82C828.01,-437.45 812.24,-423.97 798.26,-412 742.23,-364.04 717.06,-362.59 672.26,-304 648.35,-272.73 660.57,-253.28 634.26,-224 609.72,-196.69 573.8,-175.46 545.62,-161.61"/>
<polygon fill="black" stroke="black" points="546.92,-158.35 536.39,-157.19 543.9,-164.66 546.92,-158.35"/>
</g>
<!-- drop -->
<g id="node40" class="node">
<title>drop</title>
<polygon fill="#fd8d3c" stroke="black" points="2154.26,-268 2100.26,-268 2100.26,-232 2154.26,-232 2154.26,-268"/>
<text text-anchor="middle" x="2127.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">drop</text>
</g>
<!-- dropLeavesIn&#45;&gt;drop -->
<g id="edge145" class="edge">
<title>dropLeavesIn&#45;&gt;drop</title>
<path fill="none" stroke="black" d="M892.42,-447.79C909.36,-438.15 930.12,-425.39 947.26,-412 987.13,-380.85 982.19,-352.93 1028.26,-332 1126.78,-287.25 1909.52,-258.33 2090.16,-252.21"/>
<polygon fill="black" stroke="black" points="2090.35,-255.71 2100.23,-251.88 2090.11,-248.71 2090.35,-255.71"/>
</g>
<!-- natToBitList -->
<g id="node10" class="node">
<title>natToBitList</title>
<polygon fill="tomato" stroke="black" points="3905.63,-268 3816.89,-268 3816.89,-232 3905.63,-232 3905.63,-268"/>
<text text-anchor="middle" x="3861.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">natToBitList</text>
</g>
<!-- natToBitList&#45;&gt;natToBitList -->
<g id="edge9" class="edge">
<title>natToBitList&#45;&gt;natToBitList</title>
<path fill="none" stroke="black" d="M3886.81,-268.07C3905.16,-273.95 3923.44,-267.93 3923.44,-250 3923.44,-235.43 3911.38,-228.72 3897.01,-229.88"/>
<polygon fill="black" stroke="black" points="3895.92,-226.52 3886.81,-231.93 3897.3,-233.39 3895.92,-226.52"/>
</g>
<!-- natToBitList&#45;&gt;power2 -->
<g id="edge10" class="edge">
<title>natToBitList&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3816.86,-241.93C3778.43,-236.11 3721.32,-228.16 3671.26,-224 2757.49,-148 1634.17,-143.15 1407.3,-142.98"/>
<polygon fill="black" stroke="black" points="1407.19,-139.48 1397.18,-142.97 1407.18,-146.48 1407.19,-139.48"/>
</g>
<!-- bitListToNat&#45;&gt;bitListToNat -->
<g id="edge17" class="edge">
<title>bitListToNat&#45;&gt;bitListToNat</title>
<path fill="none" stroke="black" d="M3790.97,-376.07C3809.44,-381.95 3827.83,-375.93 3827.83,-358 3827.83,-343.29 3815.45,-336.6 3800.81,-337.91"/>
<polygon fill="black" stroke="black" points="3800.06,-334.49 3790.97,-339.93 3801.47,-341.35 3800.06,-334.49"/>
</g>
<!-- bitListToNat&#45;&gt;power2 -->
<g id="edge19" class="edge">
<title>bitListToNat&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3729.75,-339.92C3723.93,-337.22 3717.94,-334.49 3712.26,-332 3681.95,-318.71 3673.17,-318.15 3643.26,-304 3576.02,-272.19 3567.98,-243.71 3496.26,-224 3287.85,-166.73 1685.95,-146.53 1407.47,-143.44"/>
<polygon fill="black" stroke="black" points="1407.42,-139.94 1397.39,-143.32 1407.35,-146.93 1407.42,-139.94"/>
</g>
<!-- bitListToNat&#45;&gt;tail -->
<g id="edge20" class="edge">
<title>bitListToNat&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M3734.03,-339.95C3727.04,-336.8 3719.54,-333.91 3712.26,-332 3604.05,-303.68 2798.91,-262.07 2614.72,-252.85"/>
<polygon fill="black" stroke="black" points="2614.62,-249.34 2604.46,-252.34 2614.27,-256.33 2614.62,-249.34"/>
</g>
<!-- bitListToNat&#45;&gt;first -->
<g id="edge18" class="edge">
<title>bitListToNat&#45;&gt;first</title>
<path fill="none" stroke="black" d="M3734.66,-339.92C3727.51,-336.69 3719.79,-333.77 3712.26,-332 3566.09,-297.66 2499.64,-362.25 2361.26,-304 2347.27,-298.11 2334.91,-286.74 2325.55,-276.04"/>
<polygon fill="black" stroke="black" points="2328.07,-273.58 2319.01,-268.08 2322.66,-278.03 2328.07,-273.58"/>
</g>
<!-- nextPath -->
<g id="node12" class="node">
<title>nextPath</title>
<polygon fill="tomato" stroke="black" points="3582.02,-376 3510.5,-376 3510.5,-340 3582.02,-340 3582.02,-376"/>
<text text-anchor="middle" x="3546.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">nextPath</text>
</g>
<!-- nextPath&#45;&gt;nextPath -->
<g id="edge55" class="edge">
<title>nextPath&#45;&gt;nextPath</title>
<path fill="none" stroke="black" d="M3568.29,-376.07C3584.12,-381.95 3599.89,-375.93 3599.89,-358 3599.89,-343.85 3590.07,-337.12 3578.16,-337.8"/>
<polygon fill="black" stroke="black" points="3577.33,-334.39 3568.29,-339.93 3578.81,-341.24 3577.33,-334.39"/>
</g>
<!-- nextPath&#45;&gt;init -->
<g id="edge53" class="edge">
<title>nextPath&#45;&gt;init</title>
<path fill="none" stroke="black" d="M3510.58,-350.28C3477.46,-344.35 3426.72,-336.04 3382.26,-332 3279.19,-322.63 2546.46,-344.59 2451.26,-304 2437.3,-298.05 2424.94,-286.67 2415.58,-275.98"/>
<polygon fill="black" stroke="black" points="2418.09,-273.53 2409.03,-268.04 2412.69,-277.98 2418.09,-273.53"/>
</g>
<!-- nextPath&#45;&gt;last -->
<g id="edge54" class="edge">
<title>nextPath&#45;&gt;last</title>
<path fill="none" stroke="black" d="M3510.39,-348.25C3485.31,-342.54 3450.95,-335.51 3420.26,-332 3323.18,-320.9 2631.11,-342.41 2541.26,-304 2527.3,-298.03 2514.94,-286.66 2505.58,-275.97"/>
<polygon fill="black" stroke="black" points="2508.1,-273.52 2499.03,-268.03 2502.7,-277.97 2508.1,-273.52"/>
</g>
<!-- zipCond -->
<g id="node13" class="node">
<title>zipCond</title>
<polygon fill="tomato" stroke="black" points="3685.13,-376 3617.39,-376 3617.39,-340 3685.13,-340 3685.13,-376"/>
<text text-anchor="middle" x="3651.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">zipCond</text>
</g>
<!-- zipCond&#45;&gt;zipCond -->
<g id="edge60" class="edge">
<title>zipCond&#45;&gt;zipCond</title>
<path fill="none" stroke="black" d="M3672.49,-376.07C3687.75,-381.95 3702.94,-375.93 3702.94,-358 3702.94,-343.99 3693.67,-337.25 3682.34,-337.78"/>
<polygon fill="black" stroke="black" points="3681.52,-334.38 3672.49,-339.93 3683.01,-341.21 3681.52,-334.38"/>
</g>
<!-- zipCond&#45;&gt;tail -->
<g id="edge59" class="edge">
<title>zipCond&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M3626.83,-339.94C3621.28,-336.79 3615.24,-333.9 3609.26,-332 3418.38,-271.36 2777.63,-254.91 2615.03,-251.67"/>
<polygon fill="black" stroke="black" points="2614.65,-248.16 2604.59,-251.47 2614.52,-255.16 2614.65,-248.16"/>
</g>
<!-- natToBitList2 -->
<g id="node14" class="node">
<title>natToBitList2</title>
<polygon fill="tomato" stroke="black" points="3942.42,-376 3846.1,-376 3846.1,-340 3942.42,-340 3942.42,-376"/>
<text text-anchor="middle" x="3894.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">natToBitList2</text>
</g>
<!-- natToBitList2&#45;&gt;natToBitList -->
<g id="edge119" class="edge">
<title>natToBitList2&#45;&gt;natToBitList</title>
<path fill="none" stroke="black" d="M3888.96,-339.97C3883.74,-323.22 3875.71,-297.41 3869.63,-277.89"/>
<polygon fill="black" stroke="black" points="3872.97,-276.85 3866.66,-268.34 3866.29,-278.93 3872.97,-276.85"/>
</g>
<!-- natToBitList2&#45;&gt;natToBitList2 -->
<g id="edge120" class="edge">
<title>natToBitList2&#45;&gt;natToBitList2</title>
<path fill="none" stroke="black" d="M3921.41,-376.07C3940.91,-381.95 3960.34,-375.93 3960.34,-358 3960.34,-343.15 3947.02,-336.47 3931.36,-337.95"/>
<polygon fill="black" stroke="black" points="3930.53,-334.55 3921.41,-339.93 3931.9,-341.41 3930.53,-334.55"/>
</g>
<!-- natToBitList2&#45;&gt;power2 -->
<g id="edge121" class="edge">
<title>natToBitList2&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3864.62,-339.88C3810.72,-309.78 3692.16,-248.27 3583.26,-224 3363.35,-174.99 1693.26,-147.9 1407.72,-143.61"/>
<polygon fill="black" stroke="black" points="1407.45,-140.1 1397.4,-143.45 1407.35,-147.1 1407.45,-140.1"/>
</g>
<!-- computeLeftSiblingOnNextPath -->
<g id="node15" class="node">
<title>computeLeftSiblingOnNextPath</title>
<polygon fill="gold" stroke="black" points="1882.1,-376 1670.42,-376 1670.42,-340 1882.1,-340 1882.1,-376"/>
<text text-anchor="middle" x="1776.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeLeftSiblingOnNextPath</text>
</g>
<!-- computeLeftSiblingOnNextPath&#45;&gt;computeLeftSiblingOnNextPath -->
<g id="edge88" class="edge">
<title>computeLeftSiblingOnNextPath&#45;&gt;computeLeftSiblingOnNextPath</title>
<path fill="none" stroke="black" d="M1826.75,-376.02C1863.36,-381.99 1899.93,-375.98 1899.93,-358 1899.93,-341.7 1869.89,-335.24 1837.01,-338.62"/>
<polygon fill="black" stroke="black" points="1836.2,-335.2 1826.75,-339.98 1837.12,-342.14 1836.2,-335.2"/>
</g>
<!-- computeLeftSiblingOnNextPath&#45;&gt;init -->
<g id="edge90" class="edge">
<title>computeLeftSiblingOnNextPath&#45;&gt;init</title>
<path fill="none" stroke="black" d="M1882.37,-340.18C1903.81,-337.15 1926.23,-334.25 1947.26,-332 2038.95,-322.21 2281.28,-349.88 2361.26,-304 2371.82,-297.94 2379.93,-287.37 2385.76,-277.25"/>
<polygon fill="black" stroke="black" points="2388.94,-278.72 2390.47,-268.24 2382.74,-275.48 2388.94,-278.72"/>
</g>
<!-- computeLeftSiblingOnNextPath&#45;&gt;last -->
<g id="edge91" class="edge">
<title>computeLeftSiblingOnNextPath&#45;&gt;last</title>
<path fill="none" stroke="black" d="M1882.26,-347.08C1934.61,-342.29 1998.73,-336.61 2056.26,-332 2143.98,-324.98 2375,-347.91 2451.26,-304 2461.81,-297.92 2469.92,-287.35 2475.75,-277.24"/>
<polygon fill="black" stroke="black" points="2478.93,-278.71 2480.47,-268.22 2472.73,-275.46 2478.93,-278.71"/>
</g>
<!-- computeLeftSiblingOnNextPath&#45;&gt;first -->
<g id="edge89" class="edge">
<title>computeLeftSiblingOnNextPath&#45;&gt;first</title>
<path fill="none" stroke="black" d="M1881.94,-340.55C1903.52,-337.48 1926.1,-334.46 1947.26,-332 2019.04,-323.66 2208.91,-340.54 2271.26,-304 2281.77,-297.84 2289.87,-287.26 2295.7,-277.16"/>
<polygon fill="black" stroke="black" points="2298.88,-278.64 2300.43,-268.16 2292.68,-275.39 2298.88,-278.64"/>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight -->
<g id="node16" class="node">
<title>computeLeftSiblingOnNextPathFromLeftRight</title>
<polygon fill="gold" stroke="black" points="1882.29,-484 1582.23,-484 1582.23,-448 1882.29,-448 1882.29,-484"/>
<text text-anchor="middle" x="1732.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeLeftSiblingOnNextPathFromLeftRight</text>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;computeLeftSiblingOnNextPath -->
<g id="edge99" class="edge">
<title>computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;computeLeftSiblingOnNextPath</title>
<path fill="none" stroke="black" d="M1739.33,-447.97C1746.31,-431.15 1757.09,-405.17 1765.21,-385.62"/>
<polygon fill="black" stroke="black" points="1768.46,-386.92 1769.06,-376.34 1761.99,-384.23 1768.46,-386.92"/>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;computeLeftSiblingOnNextPathFromLeftRight -->
<g id="edge100" class="edge">
<title>computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;computeLeftSiblingOnNextPathFromLeftRight</title>
<path fill="none" stroke="black" d="M1800.86,-484.02C1850.59,-489.99 1900.28,-483.98 1900.28,-466 1900.28,-449.25 1857.15,-442.89 1811.04,-446.93"/>
<polygon fill="black" stroke="black" points="1810.44,-443.47 1800.86,-447.98 1811.16,-450.43 1810.44,-443.47"/>
</g>
<!-- computeAllUp -->
<g id="node30" class="node">
<title>computeAllUp</title>
<polygon fill="#3690c0" stroke="black" points="2794.91,-484 2691.61,-484 2691.61,-448 2794.91,-448 2794.91,-484"/>
<text text-anchor="middle" x="2743.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeAllUp</text>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;computeAllUp -->
<g id="edge98" class="edge">
<title>computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;computeAllUp</title>
<path fill="none" stroke="black" d="M1768.05,-484.16C1805.24,-501.93 1865.66,-527.77 1921.26,-538 1962.4,-545.57 2635.78,-554.42 2674.26,-538 2695.96,-528.74 2714.1,-508.94 2726.33,-492.45"/>
<polygon fill="black" stroke="black" points="2729.25,-494.38 2732.18,-484.19 2723.54,-490.33 2729.25,-494.38"/>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;init -->
<g id="edge102" class="edge">
<title>computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;init</title>
<path fill="none" stroke="black" d="M1801.07,-447.97C1834.32,-438.85 1874.47,-426.49 1909.26,-412 1977.92,-383.4 1985.09,-353.62 2056.26,-332 2121.38,-312.21 2302.63,-338.57 2361.26,-304 2371.75,-297.81 2379.85,-287.22 2385.69,-277.13"/>
<polygon fill="black" stroke="black" points="2388.86,-278.62 2390.42,-268.14 2382.66,-275.36 2388.86,-278.62"/>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;last -->
<g id="edge103" class="edge">
<title>computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;last</title>
<path fill="none" stroke="black" d="M1867.75,-447.94C1909.91,-439.97 1955.9,-428.47 1996.26,-412 2056.64,-387.36 2057.57,-353.16 2119.26,-332 2189.29,-307.98 2387.34,-341.37 2451.26,-304 2461.77,-297.85 2469.88,-287.27 2475.71,-277.17"/>
<polygon fill="black" stroke="black" points="2478.89,-278.65 2480.43,-268.17 2472.69,-275.4 2478.89,-278.65"/>
</g>
<!-- computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;first -->
<g id="edge101" class="edge">
<title>computeLeftSiblingOnNextPathFromLeftRight&#45;&gt;first</title>
<path fill="none" stroke="black" d="M1697.09,-447.94C1683.28,-439.25 1668.91,-427.26 1661.26,-412 1645.32,-380.22 1636.7,-357.71 1661.26,-332 1708.12,-282.94 2212.04,-337.12 2271.26,-304 2281.96,-298.01 2290.12,-287.35 2295.95,-277.16"/>
<polygon fill="black" stroke="black" points="2299.16,-278.56 2300.64,-268.07 2292.94,-275.34 2299.16,-278.56"/>
</g>
<!-- Valid -->
<g id="node17" class="node">
<title>Valid</title>
<polygon fill="#a2cd5a" stroke="black" points="428.26,-700 374.26,-700 374.26,-664 428.26,-664 428.26,-700"/>
<text text-anchor="middle" x="401.26" y="-677.8" font-family="Helvetica,sans-Serif" font-size="14.00">Valid</text>
</g>
<!-- Valid&#45;&gt;zeroes -->
<g id="edge32" class="edge">
<title>Valid&#45;&gt;zeroes</title>
<path fill="none" stroke="black" d="M374.19,-670.25C326.54,-651.34 227.55,-612.04 172.79,-590.3"/>
<polygon fill="black" stroke="black" points="174.01,-587.01 163.42,-586.58 171.42,-593.52 174.01,-587.01"/>
</g>
<!-- Valid&#45;&gt;power2 -->
<g id="edge31" class="edge">
<title>Valid&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M428.46,-680.41C576.6,-677.06 1280.6,-659.54 1313.26,-628 1364.95,-578.08 1328.26,-538.87 1328.26,-467 1328.26,-467 1328.26,-467 1328.26,-357 1328.26,-288.76 1347.22,-210.14 1358.36,-169.86"/>
<polygon fill="black" stroke="black" points="1361.79,-170.59 1361.13,-160.02 1355.05,-168.69 1361.79,-170.59"/>
</g>
<!-- areSiblingsAtIndex -->
<g id="node20" class="node">
<title>areSiblingsAtIndex</title>
<polygon fill="slategrey" stroke="black" points="540.5,-592 408.02,-592 408.02,-556 540.5,-556 540.5,-592"/>
<text text-anchor="middle" x="474.26" y="-569.8" font-family="Helvetica,sans-Serif" font-size="14.00">areSiblingsAtIndex</text>
</g>
<!-- Valid&#45;&gt;areSiblingsAtIndex -->
<g id="edge29" class="edge">
<title>Valid&#45;&gt;areSiblingsAtIndex</title>
<path fill="none" stroke="black" d="M412.99,-663.97C424.73,-646.92 442.95,-620.46 456.47,-600.82"/>
<polygon fill="black" stroke="black" points="459.53,-602.56 462.32,-592.34 453.76,-598.59 459.53,-602.56"/>
</g>
<!-- buildMerkle -->
<g id="node22" class="node">
<title>buildMerkle</title>
<polygon fill="slategrey" stroke="black" points="371.85,-592 284.67,-592 284.67,-556 371.85,-556 371.85,-592"/>
<text text-anchor="middle" x="328.26" y="-569.8" font-family="Helvetica,sans-Serif" font-size="14.00">buildMerkle</text>
</g>
<!-- Valid&#45;&gt;buildMerkle -->
<g id="edge30" class="edge">
<title>Valid&#45;&gt;buildMerkle</title>
<path fill="none" stroke="black" d="M389.53,-663.97C377.79,-646.92 359.57,-620.46 346.04,-600.82"/>
<polygon fill="black" stroke="black" points="348.76,-598.59 340.2,-592.34 342.99,-602.56 348.76,-598.59"/>
</g>
<!-- power2&#45;&gt;power2 -->
<g id="edge70" class="edge">
<title>power2&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M1386.37,-160.07C1400.82,-165.95 1415.22,-159.93 1415.22,-142 1415.22,-128.27 1406.78,-121.52 1396.34,-121.76"/>
<polygon fill="black" stroke="black" points="1395.4,-118.38 1386.37,-123.93 1396.89,-125.22 1395.4,-118.38"/>
</g>
<!-- max -->
<g id="node19" class="node">
<title>max</title>
<polygon fill="#cd69c9" stroke="black" points="1317.26,-160 1263.26,-160 1263.26,-124 1317.26,-124 1317.26,-160"/>
<text text-anchor="middle" x="1290.26" y="-137.8" font-family="Helvetica,sans-Serif" font-size="14.00">max</text>
</g>
<!-- areSiblingsAtIndex&#45;&gt;siblingValueAt -->
<g id="edge8" class="edge">
<title>areSiblingsAtIndex&#45;&gt;siblingValueAt</title>
<path fill="none" stroke="black" d="M540.77,-574C755.92,-574 971.06,-574 1186.2,-574"/>
<polygon fill="black" stroke="black" points="1186.44,-577.5 1196.44,-574 1186.44,-570.5 1186.44,-577.5"/>
</g>
<!-- areSiblingsAtIndex&#45;&gt;isCompleteTree -->
<g id="edge5" class="edge">
<title>areSiblingsAtIndex&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M407.61,-557.13C359.34,-545.03 301.22,-528.97 293.26,-520 237.56,-457.2 218.82,-394.13 275.26,-332 297.1,-307.96 534.09,-308.47 566.26,-304 643.43,-293.28 731.34,-276.65 790.16,-264.88"/>
<polygon fill="black" stroke="black" points="790.95,-268.29 800.07,-262.89 789.57,-261.43 790.95,-268.29"/>
</g>
<!-- areSiblingsAtIndex&#45;&gt;natToBitList -->
<g id="edge6" class="edge">
<title>areSiblingsAtIndex&#45;&gt;natToBitList</title>
<path fill="none" stroke="black" d="M540.8,-573.17C661.03,-572.34 908.66,-565.01 980.26,-520 1063.38,-467.75 1010.96,-380.62 1096.26,-332 1133.38,-310.84 2591.55,-305.31 2634.26,-304 3087.73,-290.08 3635.04,-262.69 3806.92,-253.83"/>
<polygon fill="black" stroke="black" points="3807.17,-257.32 3816.98,-253.31 3806.81,-250.33 3807.17,-257.32"/>
</g>
<!-- areSiblingsAtIndex&#45;&gt;power2 -->
<g id="edge7" class="edge">
<title>areSiblingsAtIndex&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M500.82,-555.83C514.98,-546.11 532.31,-533.26 546.26,-520 577.05,-490.73 750.36,-243.19 788.26,-224 895.06,-169.92 1220.52,-252.15 1326.26,-196 1337.6,-189.98 1346.64,-179.16 1353.24,-168.87"/>
<polygon fill="black" stroke="black" points="1356.35,-170.48 1358.41,-160.09 1350.32,-166.93 1356.35,-170.48"/>
</g>
<!-- hasLeavesIndexedFrom -->
<g id="node26" class="node">
<title>hasLeavesIndexedFrom</title>
<polygon fill="#548b54" stroke="black" points="346.46,-268 180.06,-268 180.06,-232 346.46,-232 346.46,-268"/>
<text text-anchor="middle" x="263.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">hasLeavesIndexedFrom</text>
</g>
<!-- areSiblingsAtIndex&#45;&gt;hasLeavesIndexedFrom -->
<g id="edge3" class="edge">
<title>areSiblingsAtIndex&#45;&gt;hasLeavesIndexedFrom</title>
<path fill="none" stroke="black" d="M476.92,-555.73C482.54,-512.52 490.92,-398.45 435.26,-332 411.07,-303.12 389.51,-319.69 355.26,-304 336.03,-295.19 315.55,-283.63 298.81,-273.55"/>
<polygon fill="black" stroke="black" points="300.29,-270.35 289.93,-268.14 296.64,-276.33 300.29,-270.35"/>
</g>
<!-- areSiblingsAtIndex&#45;&gt;height -->
<g id="edge4" class="edge">
<title>areSiblingsAtIndex&#45;&gt;height</title>
<path fill="none" stroke="black" d="M495.08,-555.62C504.72,-546.2 515.14,-533.7 520.26,-520 549.49,-441.72 567.9,-400.64 520.26,-332 499.97,-302.77 475.28,-323.1 445.26,-304 433.19,-296.32 421.62,-285.59 412.3,-275.78"/>
<polygon fill="black" stroke="black" points="414.69,-273.21 405.35,-268.2 409.53,-277.93 414.69,-273.21"/>
</g>
<!-- leftLeavesMatch -->
<g id="node21" class="node">
<title>leftLeavesMatch</title>
<polygon fill="slategrey" stroke="black" points="402.2,-376 284.31,-376 284.31,-340 402.2,-340 402.2,-376"/>
<text text-anchor="middle" x="343.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">leftLeavesMatch</text>
</g>
<!-- leftLeavesMatch&#45;&gt;isCompleteTree -->
<g id="edge22" class="edge">
<title>leftLeavesMatch&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M402.22,-344.84C498.43,-325 688.59,-285.78 789.95,-264.88"/>
<polygon fill="black" stroke="black" points="790.68,-268.3 799.77,-262.86 789.27,-261.45 790.68,-268.3"/>
</g>
<!-- leftLeavesMatch&#45;&gt;power2 -->
<g id="edge24" class="edge">
<title>leftLeavesMatch&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M402.47,-349.05C448.55,-341.44 513.36,-327.53 566.26,-304 623.48,-278.55 622.88,-243.91 682.26,-224 818.07,-178.45 1199.46,-262.64 1326.26,-196 1337.62,-190.03 1346.67,-179.22 1353.27,-168.91"/>
<polygon fill="black" stroke="black" points="1356.38,-170.52 1358.43,-160.12 1350.35,-166.98 1356.38,-170.52"/>
</g>
<!-- leftLeavesMatch&#45;&gt;leavesIn -->
<g id="edge23" class="edge">
<title>leftLeavesMatch&#45;&gt;leavesIn</title>
<path fill="none" stroke="black" d="M284.02,-356.19C199.51,-353.63 50.83,-343.47 17.26,-304 -5.78,-276.92 -5.72,-251.13 17.26,-224 73.59,-157.49 348.64,-145.55 457.64,-143.44"/>
<polygon fill="black" stroke="black" points="458.03,-146.93 467.96,-143.26 457.91,-139.93 458.03,-146.93"/>
</g>
<!-- leftLeavesMatch&#45;&gt;height -->
<g id="edge21" class="edge">
<title>leftLeavesMatch&#45;&gt;height</title>
<path fill="none" stroke="black" d="M350.97,-339.97C358.59,-323.15 370.35,-297.17 379.2,-277.62"/>
<polygon fill="black" stroke="black" points="382.47,-278.89 383.41,-268.34 376.09,-276.01 382.47,-278.89"/>
</g>
<!-- buildMerkle&#45;&gt;power2 -->
<g id="edge80" class="edge">
<title>buildMerkle&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M371.96,-561.31C380.94,-559.25 390.36,-557.35 399.26,-556 459.92,-546.82 901,-556.57 950.26,-520 980.75,-497.36 964.82,-474.7 980.26,-440 1002.24,-390.6 997.27,-369.46 1036.26,-332 1138.91,-233.36 1215.69,-285.67 1326.26,-196 1335.72,-188.33 1344.18,-177.96 1350.86,-168.43"/>
<polygon fill="black" stroke="black" points="1353.84,-170.28 1356.47,-160.01 1348.01,-166.39 1353.84,-170.28"/>
</g>
<!-- buildMerkle&#45;&gt;buildMerkle -->
<g id="edge75" class="edge">
<title>buildMerkle&#45;&gt;buildMerkle</title>
<path fill="none" stroke="black" d="M353.65,-592.07C371.89,-597.95 390.05,-591.93 390.05,-574 390.05,-559.43 378.06,-552.72 363.78,-553.88"/>
<polygon fill="black" stroke="black" points="362.75,-550.51 353.65,-555.93 364.14,-557.37 362.75,-550.51"/>
</g>
<!-- isMerkle -->
<g id="node23" class="node">
<title>isMerkle</title>
<polygon fill="slategrey" stroke="black" points="370.38,-484 302.14,-484 302.14,-448 370.38,-448 370.38,-484"/>
<text text-anchor="middle" x="336.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">isMerkle</text>
</g>
<!-- buildMerkle&#45;&gt;isMerkle -->
<g id="edge78" class="edge">
<title>buildMerkle&#45;&gt;isMerkle</title>
<path fill="none" stroke="black" d="M329.54,-555.97C330.8,-539.38 332.72,-513.88 334.19,-494.43"/>
<polygon fill="black" stroke="black" points="337.69,-494.58 334.95,-484.34 330.71,-494.05 337.69,-494.58"/>
</g>
<!-- buildMerkle&#45;&gt;leavesIn -->
<g id="edge79" class="edge">
<title>buildMerkle&#45;&gt;leavesIn</title>
<path fill="none" stroke="black" d="M371.96,-560.95C408.38,-550.18 456.6,-533.98 471.26,-520 546.78,-448 542.39,-406.24 563.26,-304 570.37,-269.16 574.54,-257.72 563.26,-224 556.19,-202.87 541.2,-182.83 527.85,-167.98"/>
<polygon fill="black" stroke="black" points="530.05,-165.2 520.67,-160.28 524.93,-169.98 530.05,-165.2"/>
</g>
<!-- buildMerkle&#45;&gt;hasLeavesIndexedFrom -->
<g id="edge76" class="edge">
<title>buildMerkle&#45;&gt;hasLeavesIndexedFrom</title>
<path fill="none" stroke="black" d="M348.85,-555.94C359.28,-546.34 371.36,-533.57 379.26,-520 421.9,-446.75 455.82,-404.1 411.26,-332 396.63,-308.33 379.77,-317.17 355.26,-304 337.18,-294.28 317.41,-282.99 300.86,-273.33"/>
<polygon fill="black" stroke="black" points="302.42,-270.19 292.02,-268.15 298.88,-276.23 302.42,-270.19"/>
</g>
<!-- buildMerkle&#45;&gt;height -->
<g id="edge77" class="edge">
<title>buildMerkle&#45;&gt;height</title>
<path fill="none" stroke="black" d="M372.13,-565.13C397.88,-558.01 428.4,-544.68 444.26,-520 489.43,-449.7 468.13,-412.07 444.26,-332 438.1,-311.35 424.81,-291.06 413.08,-275.95"/>
<polygon fill="black" stroke="black" points="415.78,-273.72 406.78,-268.12 410.32,-278.11 415.78,-273.72"/>
</g>
<!-- isMerkle&#45;&gt;isCompleteTree -->
<g id="edge150" class="edge">
<title>isMerkle&#45;&gt;isCompleteTree</title>
<path fill="none" stroke="black" d="M370.73,-463.83C427.73,-460.83 544.26,-450.12 634.26,-412 714.1,-378.18 792.87,-311.34 831.92,-275.33"/>
<polygon fill="black" stroke="black" points="834.71,-277.52 839.64,-268.14 829.94,-272.4 834.71,-277.52"/>
</g>
<!-- isMerkle&#45;&gt;power2 -->
<g id="edge153" class="edge">
<title>isMerkle&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M370.37,-448.19C426.96,-420.01 543.41,-360.71 638.26,-304 693.27,-271.11 697.39,-244.08 758.26,-224 878.27,-184.41 1214.56,-255.12 1326.26,-196 1337.61,-189.99 1346.65,-179.18 1353.25,-168.88"/>
<polygon fill="black" stroke="black" points="1356.36,-170.49 1358.41,-160.1 1350.33,-166.95 1356.36,-170.49"/>
</g>
<!-- isMerkle&#45;&gt;leftLeavesMatch -->
<g id="edge152" class="edge">
<title>isMerkle&#45;&gt;leftLeavesMatch</title>
<path fill="none" stroke="black" d="M337.38,-447.97C338.48,-431.38 340.16,-405.88 341.45,-386.43"/>
<polygon fill="black" stroke="black" points="344.95,-386.55 342.11,-376.34 337.96,-386.09 344.95,-386.55"/>
</g>
<!-- isDecoratedWith -->
<g id="node27" class="node">
<title>isDecoratedWith</title>
<polygon fill="#548b54" stroke="black" points="144.46,-268 26.06,-268 26.06,-232 144.46,-232 144.46,-268"/>
<text text-anchor="middle" x="85.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">isDecoratedWith</text>
</g>
<!-- isMerkle&#45;&gt;isDecoratedWith -->
<g id="edge151" class="edge">
<title>isMerkle&#45;&gt;isDecoratedWith</title>
<path fill="none" stroke="black" d="M308.44,-447.9C292.94,-437.99 273.55,-424.95 257.26,-412 201.24,-367.47 141.44,-308.6 109.21,-275.79"/>
<polygon fill="black" stroke="black" points="111.5,-273.13 102,-268.43 106.49,-278.02 111.5,-273.13"/>
</g>
<!-- isMerkle&#45;&gt;height -->
<g id="edge149" class="edge">
<title>isMerkle&#45;&gt;height</title>
<path fill="none" stroke="black" d="M307.22,-447.84C294.94,-438.87 281.95,-426.68 275.26,-412 260.51,-379.65 254.68,-361 275.26,-332 297.06,-301.28 325.39,-326.96 355.26,-304 364.48,-296.91 372.18,-286.77 378.05,-277.25"/>
<polygon fill="black" stroke="black" points="381.17,-278.85 383.12,-268.44 375.1,-275.36 381.17,-278.85"/>
</g>
<!-- leavesIn&#45;&gt;leavesIn -->
<g id="edge1" class="edge">
<title>leavesIn&#45;&gt;leavesIn</title>
<path fill="none" stroke="black" d="M523.65,-160.07C539.02,-165.95 554.33,-159.93 554.33,-142 554.33,-127.99 544.99,-121.25 533.57,-121.78"/>
<polygon fill="black" stroke="black" points="532.68,-118.39 523.65,-123.93 534.17,-125.23 532.68,-118.39"/>
</g>
<!-- leavesIn&#45;&gt;nodesIn -->
<g id="edge2" class="edge">
<title>leavesIn&#45;&gt;nodesIn</title>
<path fill="none" stroke="black" d="M502.26,-123.97C502.26,-107.38 502.26,-81.88 502.26,-62.43"/>
<polygon fill="black" stroke="black" points="505.76,-62.34 502.26,-52.34 498.76,-62.34 505.76,-62.34"/>
</g>
<!-- isConstant -->
<g id="node25" class="node">
<title>isConstant</title>
<polygon fill="#548b54" stroke="black" points="536.4,-268 454.11,-268 454.11,-232 536.4,-232 536.4,-268"/>
<text text-anchor="middle" x="495.26" y="-245.8" font-family="Helvetica,sans-Serif" font-size="14.00">isConstant</text>
</g>
<!-- isConstant&#45;&gt;isConstant -->
<g id="edge25" class="edge">
<title>isConstant&#45;&gt;isConstant</title>
<path fill="none" stroke="black" d="M519.53,-268.07C536.96,-273.95 554.33,-267.93 554.33,-250 554.33,-235.57 543.09,-228.85 529.61,-229.85"/>
<polygon fill="black" stroke="black" points="528.61,-226.48 519.53,-231.93 530.03,-233.33 528.61,-226.48"/>
</g>
<!-- hasLeavesIndexedFrom&#45;&gt;leavesIn -->
<g id="edge26" class="edge">
<title>hasLeavesIndexedFrom&#45;&gt;leavesIn</title>
<path fill="none" stroke="black" d="M301.66,-231.97C344.53,-212.96 413.77,-182.25 458.64,-162.34"/>
<polygon fill="black" stroke="black" points="460.11,-165.52 467.83,-158.27 457.27,-159.12 460.11,-165.52"/>
</g>
<!-- isDecoratedWith&#45;&gt;isDecoratedWith -->
<g id="edge56" class="edge">
<title>isDecoratedWith&#45;&gt;isDecoratedWith</title>
<path fill="none" stroke="black" d="M117.04,-268.07C139.87,-273.95 162.61,-267.93 162.61,-250 162.61,-234.73 146.12,-228.1 127.13,-230.1"/>
<polygon fill="black" stroke="black" points="126.25,-226.7 117.04,-231.93 127.51,-233.59 126.25,-226.7"/>
</g>
<!-- height&#45;&gt;max -->
<g id="edge118" class="edge">
<title>height&#45;&gt;max</title>
<path fill="none" stroke="black" d="M418.33,-234.29C426.74,-230.33 436.18,-226.46 445.26,-224 601.22,-181.75 1110.01,-152.45 1252.73,-144.91"/>
<polygon fill="black" stroke="black" points="1253.32,-148.39 1263.13,-144.37 1252.96,-141.4 1253.32,-148.39"/>
</g>
<!-- height&#45;&gt;height -->
<g id="edge117" class="edge">
<title>height&#45;&gt;height</title>
<path fill="none" stroke="black" d="M409.78,-268.07C423.08,-273.95 436.33,-267.93 436.33,-250 436.33,-236.55 428.88,-229.8 419.54,-229.75"/>
<polygon fill="black" stroke="black" points="418.77,-226.33 409.78,-231.93 420.3,-233.17 418.77,-226.33"/>
</g>
<!-- nodesIn&#45;&gt;nodesIn -->
<g id="edge137" class="edge">
<title>nodesIn&#45;&gt;nodesIn</title>
<path fill="none" stroke="black" d="M523.18,-52.07C538.2,-57.95 553.17,-51.93 553.17,-34 553.17,-20.13 544.22,-13.39 533.21,-13.77"/>
<polygon fill="black" stroke="black" points="532.21,-10.4 523.18,-15.93 533.69,-17.24 532.21,-10.4"/>
</g>
<!-- computeAllUp&#45;&gt;computeAllUp -->
<g id="edge104" class="edge">
<title>computeAllUp&#45;&gt;computeAllUp</title>
<path fill="none" stroke="black" d="M2771.85,-484.07C2792.38,-489.95 2812.83,-483.93 2812.83,-466 2812.83,-451.01 2798.54,-444.34 2781.86,-446"/>
<polygon fill="black" stroke="black" points="2781,-442.6 2771.85,-447.93 2782.33,-449.47 2781,-442.6"/>
</g>
<!-- computeAllUp&#45;&gt;init -->
<g id="edge105" class="edge">
<title>computeAllUp&#45;&gt;init</title>
<path fill="none" stroke="black" d="M2704.51,-447.91C2697.51,-445.09 2690.21,-442.33 2683.26,-440 2635.83,-424.12 2618.48,-435.36 2574.26,-412 2508.29,-377.15 2447.77,-311.96 2417.52,-276.15"/>
<polygon fill="black" stroke="black" points="2419.93,-273.57 2410.84,-268.13 2414.55,-278.06 2419.93,-273.57"/>
</g>
<!-- computeAllUp&#45;&gt;last -->
<g id="edge106" class="edge">
<title>computeAllUp&#45;&gt;last</title>
<path fill="none" stroke="black" d="M2720.14,-447.96C2681.86,-419.44 2603.37,-359.68 2541.26,-304 2531.17,-294.96 2520.45,-284.6 2511.24,-275.45"/>
<polygon fill="black" stroke="black" points="2513.45,-272.71 2503.91,-268.11 2508.5,-277.66 2513.45,-272.71"/>
</g>
<!-- computeAll -->
<g id="node31" class="node">
<title>computeAll</title>
<polygon fill="#3690c0" stroke="black" points="2656.01,-484 2570.5,-484 2570.5,-448 2656.01,-448 2656.01,-484"/>
<text text-anchor="middle" x="2613.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeAll</text>
</g>
<!-- computeAll&#45;&gt;computeAll -->
<g id="edge113" class="edge">
<title>computeAll&#45;&gt;computeAll</title>
<path fill="none" stroke="black" d="M2638.17,-484.07C2656.06,-489.95 2673.89,-483.93 2673.89,-466 2673.89,-451.43 2662.12,-444.72 2648.11,-445.88"/>
<polygon fill="black" stroke="black" points="2647.25,-442.48 2638.17,-447.93 2648.67,-449.33 2647.25,-442.48"/>
</g>
<!-- computeRootLeftRight -->
<g id="node35" class="node">
<title>computeRootLeftRight</title>
<polygon fill="#cdb79e" stroke="black" points="2345.06,-484 2189.46,-484 2189.46,-448 2345.06,-448 2345.06,-484"/>
<text text-anchor="middle" x="2267.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootLeftRight</text>
</g>
<!-- computeAll&#45;&gt;computeRootLeftRight -->
<g id="edge114" class="edge">
<title>computeAll&#45;&gt;computeRootLeftRight</title>
<path fill="none" stroke="black" d="M2570.55,-466C2498.74,-466 2426.92,-466 2355.11,-466"/>
<polygon fill="black" stroke="black" points="2354.97,-462.5 2344.97,-466 2354.97,-469.5 2354.97,-462.5"/>
</g>
<!-- computeAll&#45;&gt;tail -->
<g id="edge116" class="edge">
<title>computeAll&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M2610.37,-447.85C2604.13,-410.75 2589.34,-322.81 2581.82,-278.1"/>
<polygon fill="black" stroke="black" points="2585.27,-277.51 2580.16,-268.23 2578.37,-278.67 2585.27,-277.51"/>
</g>
<!-- computeAll&#45;&gt;first -->
<g id="edge115" class="edge">
<title>computeAll&#45;&gt;first</title>
<path fill="none" stroke="black" d="M2570.32,-463.33C2527.08,-459.57 2460.6,-447.86 2416.26,-412 2385.19,-386.88 2397.35,-365.29 2375.26,-332 2361.94,-311.94 2344.43,-291.17 2330.5,-275.69"/>
<polygon fill="black" stroke="black" points="2332.92,-273.14 2323.59,-268.11 2327.74,-277.86 2332.92,-273.14"/>
</g>
<!-- computeAllUp2 -->
<g id="node32" class="node">
<title>computeAllUp2</title>
<polygon fill="#3690c0" stroke="black" points="2941.7,-484 2830.82,-484 2830.82,-448 2941.7,-448 2941.7,-484"/>
<text text-anchor="middle" x="2886.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeAllUp2</text>
</g>
<!-- computeAllUp2&#45;&gt;computeAllUp2 -->
<g id="edge122" class="edge">
<title>computeAllUp2&#45;&gt;computeAllUp2</title>
<path fill="none" stroke="black" d="M2916.45,-484.07C2938.13,-489.95 2959.73,-483.93 2959.73,-466 2959.73,-450.87 2944.35,-444.22 2926.52,-446.04"/>
<polygon fill="black" stroke="black" points="2925.63,-442.65 2916.45,-447.93 2926.92,-449.53 2925.63,-442.65"/>
</g>
<!-- computeAllUp2&#45;&gt;computeRootLeftRightUp -->
<g id="edge124" class="edge">
<title>computeAllUp2&#45;&gt;computeRootLeftRightUp</title>
<path fill="none" stroke="black" d="M2876.94,-447.97C2867.69,-431.07 2853.39,-404.94 2842.68,-385.36"/>
<polygon fill="black" stroke="black" points="2845.62,-383.43 2837.75,-376.34 2839.48,-386.79 2845.62,-383.43"/>
</g>
<!-- computeAllUp2&#45;&gt;computeRootLeftRight -->
<g id="edge123" class="edge">
<title>computeAllUp2&#45;&gt;computeRootLeftRight</title>
<path fill="none" stroke="black" d="M2874.28,-484.22C2861.54,-501.77 2839.61,-527.19 2813.26,-538 2762.68,-558.75 2621.55,-544.42 2567.26,-538 2485.89,-528.37 2394.63,-504.54 2334.37,-486.92"/>
<polygon fill="black" stroke="black" points="2335.18,-483.51 2324.6,-484.03 2333.2,-490.22 2335.18,-483.51"/>
</g>
<!-- computeAllUp2&#45;&gt;init -->
<g id="edge125" class="edge">
<title>computeAllUp2&#45;&gt;init</title>
<path fill="none" stroke="black" d="M2847.17,-447.9C2839.06,-444.87 2830.48,-442.04 2822.26,-440 2716.32,-413.7 2677.4,-457.68 2578.26,-412 2530.85,-390.15 2533.04,-364.59 2492.26,-332 2475.02,-318.22 2468.31,-318.01 2451.26,-304 2440.53,-295.18 2429.45,-284.61 2420.14,-275.23"/>
<polygon fill="black" stroke="black" points="2422.59,-272.73 2413.09,-268.03 2417.58,-277.62 2422.59,-272.73"/>
</g>
<!-- computeAllUp2&#45;&gt;last -->
<g id="edge126" class="edge">
<title>computeAllUp2&#45;&gt;last</title>
<path fill="none" stroke="black" d="M2843.73,-447.9C2836.59,-445.17 2829.24,-442.45 2822.26,-440 2782.72,-426.15 2770.71,-428.63 2732.26,-412 2642.75,-373.3 2619.17,-362.66 2541.26,-304 2530.16,-295.65 2519.02,-285.15 2509.76,-275.71"/>
<polygon fill="black" stroke="black" points="2512.23,-273.22 2502.78,-268.42 2507.17,-278.07 2512.23,-273.22"/>
</g>
<!-- computeRootLeftRightUp&#45;&gt;computeRootLeftRightUp -->
<g id="edge134" class="edge">
<title>computeRootLeftRightUp&#45;&gt;computeRootLeftRightUp</title>
<path fill="none" stroke="black" d="M2870.96,-376.02C2901.93,-381.99 2932.86,-375.98 2932.86,-358 2932.86,-341.98 2908.32,-335.47 2881.08,-338.45"/>
<polygon fill="black" stroke="black" points="2880.33,-335.03 2870.96,-339.98 2881.38,-341.95 2880.33,-335.03"/>
</g>
<!-- computeRootLeftRightUp&#45;&gt;init -->
<g id="edge135" class="edge">
<title>computeRootLeftRightUp&#45;&gt;init</title>
<path fill="none" stroke="black" d="M2741.62,-351.12C2646.55,-343.56 2500.84,-328.43 2451.26,-304 2437.83,-297.38 2425.66,-286.16 2416.28,-275.73"/>
<polygon fill="black" stroke="black" points="2418.84,-273.34 2409.69,-268.01 2413.52,-277.89 2418.84,-273.34"/>
</g>
<!-- computeRootLeftRightUp&#45;&gt;last -->
<g id="edge136" class="edge">
<title>computeRootLeftRightUp&#45;&gt;last</title>
<path fill="none" stroke="black" d="M2742.91,-339.94C2729,-337.24 2714.74,-334.51 2701.26,-332 2630.28,-318.81 2605.47,-336.99 2541.26,-304 2528.04,-297.21 2515.95,-286.06 2506.59,-275.74"/>
<polygon fill="black" stroke="black" points="2509.16,-273.37 2499.98,-268.1 2503.87,-277.95 2509.16,-273.37"/>
</g>
<!-- computeRootPath -->
<g id="node34" class="node">
<title>computeRootPath</title>
<polygon fill="#cdb79e" stroke="black" points="2308.33,-376 2180.19,-376 2180.19,-340 2308.33,-340 2308.33,-376"/>
<text text-anchor="middle" x="2244.26" y="-353.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootPath</text>
</g>
<!-- computeRootPath&#45;&gt;computeRootPath -->
<g id="edge45" class="edge">
<title>computeRootPath&#45;&gt;computeRootPath</title>
<path fill="none" stroke="black" d="M2277.97,-376.07C2302.18,-381.95 2326.29,-375.93 2326.29,-358 2326.29,-342.52 2308.32,-335.92 2287.83,-338.18"/>
<polygon fill="black" stroke="black" points="2287.2,-334.74 2277.97,-339.93 2288.42,-341.63 2287.2,-334.74"/>
</g>
<!-- computeRootPath&#45;&gt;tail -->
<g id="edge47" class="edge">
<title>computeRootPath&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M2308.32,-351.41C2383.79,-343.83 2503.69,-328.37 2541.26,-304 2551.4,-297.42 2559.43,-286.87 2565.3,-276.91"/>
<polygon fill="black" stroke="black" points="2568.41,-278.52 2570.08,-268.06 2562.25,-275.19 2568.41,-278.52"/>
</g>
<!-- computeRootPath&#45;&gt;first -->
<g id="edge46" class="edge">
<title>computeRootPath&#45;&gt;first</title>
<path fill="none" stroke="black" d="M2254.38,-339.97C2264.47,-322.99 2280.1,-296.7 2291.75,-277.09"/>
<polygon fill="black" stroke="black" points="2294.85,-278.73 2296.95,-268.34 2288.83,-275.15 2294.85,-278.73"/>
</g>
<!-- computeRootLeftRight&#45;&gt;zipCond -->
<g id="edge132" class="edge">
<title>computeRootLeftRight&#45;&gt;zipCond</title>
<path fill="none" stroke="black" d="M2344.98,-457.07C2403.55,-451.39 2485.86,-444.07 2558.26,-440 2616.58,-436.72 3557.02,-438.12 3609.26,-412 3621.07,-406.09 3630.61,-395.14 3637.6,-384.72"/>
<polygon fill="black" stroke="black" points="3640.58,-386.56 3642.86,-376.22 3634.62,-382.88 3640.58,-386.56"/>
</g>
<!-- computeRootLeftRight&#45;&gt;computeRootPath -->
<g id="edge129" class="edge">
<title>computeRootLeftRight&#45;&gt;computeRootPath</title>
<path fill="none" stroke="black" d="M2263.56,-447.97C2259.95,-431.3 2254.38,-405.65 2250.15,-386.16"/>
<polygon fill="black" stroke="black" points="2253.56,-385.37 2248.02,-376.34 2246.72,-386.86 2253.56,-385.37"/>
</g>
<!-- computeRootLeftRight&#45;&gt;computeRootLeftRight -->
<g id="edge128" class="edge">
<title>computeRootLeftRight&#45;&gt;computeRootLeftRight</title>
<path fill="none" stroke="black" d="M2306.56,-484.07C2334.79,-489.95 2362.91,-483.93 2362.91,-466 2362.91,-450.17 2340.99,-443.62 2316.44,-446.35"/>
<polygon fill="black" stroke="black" points="2315.88,-442.9 2306.56,-447.93 2316.99,-449.81 2315.88,-442.9"/>
</g>
<!-- computeRootLeftRight&#45;&gt;tail -->
<g id="edge131" class="edge">
<title>computeRootLeftRight&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M2308.11,-447.97C2365.11,-422.75 2469.58,-371.14 2541.26,-304 2549.63,-296.16 2557.09,-286.05 2563.02,-276.76"/>
<polygon fill="black" stroke="black" points="2566.02,-278.57 2568.22,-268.2 2560.04,-274.93 2566.02,-278.57"/>
</g>
<!-- computeRootLeftRight&#45;&gt;first -->
<g id="edge130" class="edge">
<title>computeRootLeftRight&#45;&gt;first</title>
<path fill="none" stroke="black" d="M2300.62,-447.86C2313.97,-439.09 2327.9,-427.06 2335.26,-412 2356.68,-368.15 2336.67,-310.53 2321.24,-277.45"/>
<polygon fill="black" stroke="black" points="2324.36,-275.88 2316.84,-268.41 2318.07,-278.94 2324.36,-275.88"/>
</g>
<!-- tail&#45;&gt;tail -->
<g id="edge58" class="edge">
<title>tail&#45;&gt;tail</title>
<path fill="none" stroke="black" d="M2595.75,-268.07C2609.03,-273.95 2622.26,-267.93 2622.26,-250 2622.26,-236.69 2614.97,-229.94 2605.78,-229.75"/>
<polygon fill="black" stroke="black" points="2604.78,-226.39 2595.75,-231.93 2606.26,-233.23 2604.78,-226.39"/>
</g>
<!-- init&#45;&gt;init -->
<g id="edge63" class="edge">
<title>init&#45;&gt;init</title>
<path fill="none" stroke="black" d="M2415.75,-268.07C2429.03,-273.95 2442.26,-267.93 2442.26,-250 2442.26,-236.69 2434.97,-229.94 2425.78,-229.75"/>
<polygon fill="black" stroke="black" points="2424.78,-226.39 2415.75,-231.93 2426.26,-233.23 2424.78,-226.39"/>
</g>
<!-- take&#45;&gt;take -->
<g id="edge69" class="edge">
<title>take&#45;&gt;take</title>
<path fill="none" stroke="black" d="M2235.75,-268.07C2249.03,-273.95 2262.26,-267.93 2262.26,-250 2262.26,-236.69 2254.97,-229.94 2245.78,-229.75"/>
<polygon fill="black" stroke="black" points="2244.78,-226.39 2235.75,-231.93 2246.26,-233.23 2244.78,-226.39"/>
</g>
<!-- last&#45;&gt;last -->
<g id="edge127" class="edge">
<title>last&#45;&gt;last</title>
<path fill="none" stroke="black" d="M2505.75,-268.07C2519.03,-273.95 2532.26,-267.93 2532.26,-250 2532.26,-236.69 2524.97,-229.94 2515.78,-229.75"/>
<polygon fill="black" stroke="black" points="2514.78,-226.39 2505.75,-231.93 2516.26,-233.23 2514.78,-226.39"/>
</g>
<!-- drop&#45;&gt;drop -->
<g id="edge133" class="edge">
<title>drop&#45;&gt;drop</title>
<path fill="none" stroke="black" d="M2145.75,-268.07C2159.03,-273.95 2172.26,-267.93 2172.26,-250 2172.26,-236.69 2164.97,-229.94 2155.78,-229.75"/>
<polygon fill="black" stroke="black" points="2154.78,-226.39 2145.75,-231.93 2156.26,-233.23 2154.78,-226.39"/>
</g>
<!-- first&#45;&gt;first -->
<g id="edge154" class="edge">
<title>first&#45;&gt;first</title>
<path fill="none" stroke="black" d="M2325.75,-268.07C2339.03,-273.95 2352.26,-267.93 2352.26,-250 2352.26,-236.69 2344.97,-229.94 2335.78,-229.75"/>
<polygon fill="black" stroke="black" points="2334.78,-226.39 2325.75,-231.93 2336.26,-233.23 2334.78,-226.39"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex -->
<g id="node42" class="node">
<title>computeRootAndLeftSiblingsWithIndex</title>
<polygon fill="#de77ae" stroke="black" points="3665.56,-592 3406.95,-592 3406.95,-556 3665.56,-556 3665.56,-592"/>
<text text-anchor="middle" x="3536.26" y="-569.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootAndLeftSiblingsWithIndex</text>
</g>
<!-- computeRootAndLeftSiblingsWithIndex&#45;&gt;power2 -->
<g id="edge52" class="edge">
<title>computeRootAndLeftSiblingsWithIndex&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3662.34,-555.87C3681.07,-547.85 3698.13,-536.37 3710.26,-520 3731.42,-491.43 3733.91,-466.55 3710.26,-440 3674.25,-399.58 3513.75,-441.34 3468.26,-412 3433.41,-389.53 3454.86,-354.84 3420.26,-332 3125.98,-137.74 2985.11,-259.26 2634.26,-224 2153.13,-175.64 1566.22,-150.71 1407.48,-144.54"/>
<polygon fill="black" stroke="black" points="1407.35,-141.03 1397.22,-144.15 1407.08,-148.03 1407.35,-141.03"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex&#45;&gt;init -->
<g id="edge50" class="edge">
<title>computeRootAndLeftSiblingsWithIndex&#45;&gt;init</title>
<path fill="none" stroke="black" d="M3409.26,-556C3359.45,-547.23 3309.6,-535.16 3290.26,-520 3259.12,-495.6 3278.3,-468.87 3251.26,-440 3234.11,-421.69 3223.98,-424.55 3202.26,-412 3141.2,-376.73 3132.88,-351.96 3065.26,-332 2934.26,-293.33 2576.48,-358.55 2451.26,-304 2437.44,-297.98 2425.16,-286.71 2415.81,-276.1"/>
<polygon fill="black" stroke="black" points="2418.35,-273.67 2409.26,-268.22 2412.96,-278.15 2418.35,-273.67"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex&#45;&gt;last -->
<g id="edge51" class="edge">
<title>computeRootAndLeftSiblingsWithIndex&#45;&gt;last</title>
<path fill="none" stroke="black" d="M3487.63,-555.96C3462.49,-546.51 3431.65,-533.87 3405.26,-520 3270.93,-449.42 3264.5,-379.12 3120.26,-332 2997.81,-292 2659.29,-355.61 2541.26,-304 2527.45,-297.96 2515.17,-286.69 2505.82,-276.08"/>
<polygon fill="black" stroke="black" points="2508.36,-273.66 2499.27,-268.21 2502.97,-278.13 2508.36,-273.66"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex&#45;&gt;computeRootAndLeftSiblingsWithIndex -->
<g id="edge48" class="edge">
<title>computeRootAndLeftSiblingsWithIndex&#45;&gt;computeRootAndLeftSiblingsWithIndex</title>
<path fill="none" stroke="black" d="M3596.44,-592.02C3640.07,-597.99 3683.66,-591.98 3683.66,-574 3683.66,-557.39 3646.46,-551 3606.39,-554.83"/>
<polygon fill="black" stroke="black" points="3605.97,-551.35 3596.44,-555.98 3606.78,-558.31 3605.97,-551.35"/>
</g>
<!-- computeRootLeftRightUpWithIndex -->
<g id="node44" class="node">
<title>computeRootLeftRightUpWithIndex</title>
<polygon fill="#de77ae" stroke="black" points="3683.21,-484 3447.31,-484 3447.31,-448 3683.21,-448 3683.21,-484"/>
<text text-anchor="middle" x="3565.26" y="-461.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootLeftRightUpWithIndex</text>
</g>
<!-- computeRootAndLeftSiblingsWithIndex&#45;&gt;computeRootLeftRightUpWithIndex -->
<g id="edge49" class="edge">
<title>computeRootAndLeftSiblingsWithIndex&#45;&gt;computeRootLeftRightUpWithIndex</title>
<path fill="none" stroke="black" d="M3540.92,-555.97C3545.48,-539.3 3552.5,-513.65 3557.83,-494.16"/>
<polygon fill="black" stroke="black" points="3561.25,-494.91 3560.51,-484.34 3554.5,-493.06 3561.25,-494.91"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex -->
<g id="node43" class="node">
<title>computeLeftSiblingsOnNextpathWithIndex</title>
<polygon fill="#de77ae" stroke="black" points="3686.79,-700 3407.73,-700 3407.73,-664 3686.79,-664 3686.79,-700"/>
<text text-anchor="middle" x="3547.26" y="-677.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeLeftSiblingsOnNextpathWithIndex</text>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;natToBitList -->
<g id="edge86" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;natToBitList</title>
<path fill="none" stroke="black" d="M3686.98,-673.68C3810.71,-665.73 3974.82,-651 3995.26,-628 4034.35,-584.01 4053.33,-478.35 3969.26,-332 3954.73,-306.7 3928.79,-286.86 3905.98,-273.14"/>
<polygon fill="black" stroke="black" points="3907.5,-269.98 3897.1,-268 3904,-276.04 3907.5,-269.98"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;computeLeftSiblingOnNextPathFromLeftRight -->
<g id="edge81" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;computeLeftSiblingOnNextPathFromLeftRight</title>
<path fill="none" stroke="black" d="M3407.64,-676.1C3123.64,-664.21 2459.25,-626.48 1912.26,-520 1870.9,-511.95 1825.39,-498.5 1790.47,-487.17"/>
<polygon fill="black" stroke="black" points="1791.51,-483.83 1780.92,-484.04 1789.33,-490.48 1791.51,-483.83"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;power2 -->
<g id="edge87" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3407.55,-680.48C2965.44,-678.43 1621.08,-668.84 1537.26,-628 1453.82,-587.35 1404.26,-559.81 1404.26,-467 1404.26,-467 1404.26,-467 1404.26,-357 1404.26,-288.76 1385.3,-210.14 1374.16,-169.86"/>
<polygon fill="black" stroke="black" points="1377.47,-168.69 1371.38,-160.02 1370.73,-170.59 1377.47,-168.69"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;init -->
<g id="edge84" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;init</title>
<path fill="none" stroke="black" d="M3407.55,-680.07C2979.17,-676.83 1708.16,-664.2 1627.26,-628 1566.99,-601.03 1549.94,-581.24 1525.26,-520 1494.03,-442.5 1466.17,-392.06 1524.26,-332 1588.95,-265.11 2279.77,-348.92 2361.26,-304 2372,-298.08 2380.16,-287.43 2385.98,-277.22"/>
<polygon fill="black" stroke="black" points="2389.2,-278.61 2390.67,-268.12 2382.98,-275.4 2389.2,-278.61"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;last -->
<g id="edge85" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;last</title>
<path fill="none" stroke="black" d="M3407.4,-680.87C2975.81,-678.95 1686.83,-661.34 1570.26,-520 1517.1,-455.54 1512.12,-392.01 1570.26,-332 1604.33,-296.83 2408.35,-327.6 2451.26,-304 2462,-298.09 2470.17,-287.44 2475.99,-277.23"/>
<polygon fill="black" stroke="black" points="2479.21,-278.62 2480.67,-268.12 2472.99,-275.41 2479.21,-278.62"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;computeRootAndLeftSiblingsWithIndex -->
<g id="edge83" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;computeRootAndLeftSiblingsWithIndex</title>
<path fill="none" stroke="black" d="M3545.49,-663.97C3543.77,-647.38 3541.12,-621.88 3539.11,-602.43"/>
<polygon fill="black" stroke="black" points="3542.57,-601.93 3538.06,-592.34 3535.61,-602.65 3542.57,-601.93"/>
</g>
<!-- computeLeftSiblingsOnNextpathWithIndex&#45;&gt;computeLeftSiblingsOnNextpathWithIndex -->
<g id="edge82" class="edge">
<title>computeLeftSiblingsOnNextpathWithIndex&#45;&gt;computeLeftSiblingsOnNextpathWithIndex</title>
<path fill="none" stroke="black" d="M3611.57,-700.02C3658.19,-705.99 3704.78,-699.98 3704.78,-682 3704.78,-665.32 3664.68,-658.94 3621.66,-662.88"/>
<polygon fill="black" stroke="black" points="3621.13,-659.41 3611.57,-663.98 3621.89,-666.37 3621.13,-659.41"/>
</g>
<!-- computeRootLeftRightUpWithIndex&#45;&gt;natToBitList2 -->
<g id="edge96" class="edge">
<title>computeRootLeftRightUpWithIndex&#45;&gt;natToBitList2</title>
<path fill="none" stroke="black" d="M3683.06,-456.47C3732.72,-449.28 3789.88,-436.11 3837.26,-412 3850.79,-405.11 3863.42,-394.06 3873.34,-383.83"/>
<polygon fill="black" stroke="black" points="3876.14,-385.96 3880.37,-376.25 3871,-381.2 3876.14,-385.96"/>
</g>
<!-- computeRootLeftRightUpWithIndex&#45;&gt;power2 -->
<g id="edge97" class="edge">
<title>computeRootLeftRightUpWithIndex&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3683.2,-457.48C3796.51,-449.03 3953.29,-433.6 3972.26,-412 4027.4,-349.22 4030.42,-283.99 3972.26,-224 3925.63,-175.9 1735.44,-147.48 1407.23,-143.49"/>
<polygon fill="black" stroke="black" points="1407.25,-139.99 1397.21,-143.37 1407.16,-146.99 1407.25,-139.99"/>
</g>
<!-- computeRootLeftRightUpWithIndex&#45;&gt;computeRootLeftRightUp -->
<g id="edge92" class="edge">
<title>computeRootLeftRightUpWithIndex&#45;&gt;computeRootLeftRightUp</title>
<path fill="none" stroke="black" d="M3447.26,-448.03C3302.5,-427.21 3059.81,-392.3 2925.34,-372.96"/>
<polygon fill="black" stroke="black" points="2925.45,-369.44 2915.06,-371.48 2924.46,-376.37 2925.45,-369.44"/>
</g>
<!-- computeRootLeftRightUpWithIndex&#45;&gt;init -->
<g id="edge94" class="edge">
<title>computeRootLeftRightUpWithIndex&#45;&gt;init</title>
<path fill="none" stroke="black" d="M3493.74,-447.89C3459.46,-438.78 3418.15,-426.47 3382.26,-412 3311.45,-383.46 3304.03,-351.64 3230.26,-332 3062.87,-287.43 2610.4,-372.41 2451.26,-304 2437.31,-298.01 2424.96,-286.63 2415.59,-275.94"/>
<polygon fill="black" stroke="black" points="2418.11,-273.49 2409.04,-268.01 2412.71,-277.95 2418.11,-273.49"/>
</g>
<!-- computeRootLeftRightUpWithIndex&#45;&gt;last -->
<g id="edge95" class="edge">
<title>computeRootLeftRightUpWithIndex&#45;&gt;last</title>
<path fill="none" stroke="black" d="M3497.03,-447.94C3474.04,-439.79 3449.38,-428.18 3430.26,-412 3398.6,-385.22 3418,-353.03 3382.26,-332 3301.68,-284.59 2627.2,-340.81 2541.26,-304 2527.31,-298.02 2514.95,-286.65 2505.59,-275.96"/>
<polygon fill="black" stroke="black" points="2508.1,-273.51 2499.04,-268.02 2502.7,-277.96 2508.1,-273.51"/>
</g>
<!-- computeRootLeftRightUpWithIndex&#45;&gt;computeRootLeftRightUpWithIndex -->
<g id="edge93" class="edge">
<title>computeRootLeftRightUpWithIndex&#45;&gt;computeRootLeftRightUpWithIndex</title>
<path fill="none" stroke="black" d="M3620.67,-484.02C3660.85,-489.99 3700.98,-483.98 3700.98,-466 3700.98,-449.56 3667.45,-443.13 3631,-446.71"/>
<polygon fill="black" stroke="black" points="3630.17,-443.28 3620.67,-447.98 3631.02,-450.23 3630.17,-443.28"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1 -->
<g id="node45" class="node">
<title>computeRootAndLeftSiblingsWithIndex1</title>
<polygon fill="#de77ae" stroke="black" points="3968.35,-592 3702.17,-592 3702.17,-556 3968.35,-556 3968.35,-592"/>
<text text-anchor="middle" x="3835.26" y="-569.8" font-family="Helvetica,sans-Serif" font-size="14.00">computeRootAndLeftSiblingsWithIndex1</text>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;computeRootAndLeftSiblingsUpOpt -->
<g id="edge138" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;computeRootAndLeftSiblingsUpOpt</title>
<path fill="none" stroke="black" d="M3702.06,-557.08C3698.76,-556.71 3695.49,-556.35 3692.26,-556 3531.09,-538.43 3489.21,-546.49 3329.26,-520 3277.29,-511.39 3219.49,-497.84 3175.22,-486.59"/>
<polygon fill="black" stroke="black" points="3175.97,-483.17 3165.41,-484.08 3174.23,-489.95 3175.97,-483.17"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;natToBitList2 -->
<g id="edge143" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;natToBitList2</title>
<path fill="none" stroke="black" d="M3839.99,-555.85C3850.21,-518.75 3874.46,-430.81 3886.79,-386.1"/>
<polygon fill="black" stroke="black" points="3890.22,-386.8 3889.51,-376.23 3883.48,-384.94 3890.22,-386.8"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;power2 -->
<g id="edge144" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;power2</title>
<path fill="none" stroke="black" d="M3827.43,-555.56C3813.19,-526.11 3780.03,-467.06 3732.26,-440 3641.13,-388.37 3583.92,-472.27 3498.26,-412 3465.75,-389.13 3489.33,-356.8 3458.26,-332 3300.55,-206.11 3216.94,-253.08 3017.26,-224 2692.62,-176.73 1631,-149.29 1407.71,-143.96"/>
<polygon fill="black" stroke="black" points="1407.5,-140.45 1397.42,-143.71 1407.33,-147.45 1407.5,-140.45"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;init -->
<g id="edge141" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;init</title>
<path fill="none" stroke="black" d="M3702.06,-557.11C3698.76,-556.74 3695.49,-556.37 3692.26,-556 3617.86,-547.58 3424.04,-553.85 3357.26,-520 3314.32,-498.24 3322.44,-469.31 3284.26,-440 3262.81,-423.54 3252.22,-427.77 3230.26,-412 3188.64,-382.12 3194.38,-352.12 3147.26,-332 3004.9,-271.21 2593.34,-365.44 2451.26,-304 2437.42,-298.02 2425.14,-286.75 2415.8,-276.14"/>
<polygon fill="black" stroke="black" points="2418.33,-273.71 2409.25,-268.25 2412.95,-278.18 2418.33,-273.71"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;last -->
<g id="edge142" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;last</title>
<path fill="none" stroke="black" d="M3702,-556.21C3589.03,-541.83 3444.32,-522.97 3438.26,-520 3392.83,-497.72 3396.11,-472.42 3357.26,-440 3293.07,-386.44 3282.43,-358.85 3203.26,-332 3063.82,-284.71 2676.35,-362.58 2541.26,-304 2527.43,-298 2515.15,-286.73 2505.81,-276.12"/>
<polygon fill="black" stroke="black" points="2508.34,-273.69 2499.26,-268.24 2502.95,-278.17 2508.34,-273.69"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;computeRootLeftRightUpWithIndex -->
<g id="edge140" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;computeRootLeftRightUpWithIndex</title>
<path fill="none" stroke="black" d="M3791.88,-555.97C3744.68,-537.44 3669.21,-507.81 3618.47,-487.89"/>
<polygon fill="black" stroke="black" points="3619.57,-484.56 3608.98,-484.16 3617.01,-491.08 3619.57,-484.56"/>
</g>
<!-- computeRootAndLeftSiblingsWithIndex1&#45;&gt;computeRootAndLeftSiblingsWithIndex1 -->
<g id="edge139" class="edge">
<title>computeRootAndLeftSiblingsWithIndex1&#45;&gt;computeRootAndLeftSiblingsWithIndex1</title>
<path fill="none" stroke="black" d="M3897.03,-592.02C3941.81,-597.99 3986.55,-591.98 3986.55,-574 3986.55,-557.35 3948.21,-550.97 3906.98,-554.85"/>
<polygon fill="black" stroke="black" points="3906.57,-551.38 3897.03,-555.98 3907.36,-558.33 3906.57,-551.38"/>
</g>
<!-- computeRootAndLeftSiblingsUp&#45;&gt;computeLeftSiblingOnNextPathFromLeftRight -->
<g id="edge39" class="edge">
<title>computeRootAndLeftSiblingsUp&#45;&gt;computeLeftSiblingOnNextPathFromLeftRight</title>
<path fill="none" stroke="black" d="M1923.93,-466C1913.43,-466 1902.92,-466 1892.42,-466"/>
<polygon fill="black" stroke="black" points="1892.34,-462.5 1882.34,-466 1892.34,-469.5 1892.34,-462.5"/>
</g>
<!-- computeRootAndLeftSiblingsUp&#45;&gt;computeRootLeftRightUp -->
<g id="edge41" class="edge">
<title>computeRootAndLeftSiblingsUp&#45;&gt;computeRootLeftRightUp</title>
<path fill="none" stroke="black" d="M2120.3,-447.97C2136.24,-445.15 2152.72,-442.37 2168.26,-440 2274.49,-423.8 2575.24,-388.33 2731.42,-370.18"/>
<polygon fill="black" stroke="black" points="2731.97,-373.64 2741.5,-369.01 2731.16,-366.69 2731.97,-373.64"/>
</g>
<!-- computeRootAndLeftSiblingsUp&#45;&gt;init -->
<g id="edge43" class="edge">
<title>computeRootAndLeftSiblingsUp&#45;&gt;init</title>
<path fill="none" stroke="black" d="M2050.01,-447.68C2060.34,-437.71 2073.09,-424.67 2083.26,-412 2109.8,-378.92 2099.3,-354.48 2135.26,-332 2221.07,-278.34 2274.9,-356.79 2361.26,-304 2371.65,-297.65 2379.74,-287.04 2385.59,-276.97"/>
<polygon fill="black" stroke="black" points="2388.75,-278.49 2390.34,-268.01 2382.56,-275.21 2388.75,-278.49"/>
</g>
<!-- computeRootAndLeftSiblingsUp&#45;&gt;last -->
<g id="edge44" class="edge">
<title>computeRootAndLeftSiblingsUp&#45;&gt;last</title>
<path fill="none" stroke="black" d="M2071.13,-447.96C2088.62,-439.08 2108.48,-426.93 2123.26,-412 2151.96,-383.01 2134.1,-354.31 2168.26,-332 2274.08,-262.89 2342.62,-368.59 2451.26,-304 2461.73,-297.78 2469.83,-287.18 2475.67,-277.09"/>
<polygon fill="black" stroke="black" points="2478.83,-278.59 2480.4,-268.11 2472.64,-275.33 2478.83,-278.59"/>
</g>
<!-- computeRootAndLeftSiblingsUp&#45;&gt;first -->
<g id="edge42" class="edge">
<title>computeRootAndLeftSiblingsUp&#45;&gt;first</title>
<path fill="none" stroke="black" d="M2034.23,-447.92C2040.22,-419.01 2056.62,-360.77 2095.26,-332 2158.79,-284.7 2204.4,-346.47 2271.26,-304 2281.47,-297.52 2289.5,-286.98 2295.36,-277"/>
<polygon fill="black" stroke="black" points="2298.48,-278.6 2300.13,-268.13 2292.31,-275.28 2298.48,-278.6"/>
</g>
<!-- computeRootAndLeftSiblingsUp&#45;&gt;computeRootAndLeftSiblingsUp -->
<g id="edge40" class="edge">
<title>computeRootAndLeftSiblingsUp&#45;&gt;computeRootAndLeftSiblingsUp</title>
<path fill="none" stroke="black" d="M2082.39,-484.02C2119.45,-489.99 2156.49,-483.98 2156.49,-466 2156.49,-449.63 2125.81,-443.19 2092.35,-446.66"/>
<polygon fill="black" stroke="black" points="2091.84,-443.2 2082.39,-447.98 2092.76,-450.14 2091.84,-443.2"/>
</g>
</g>
</svg>