From 8d53c83b76f3722ef421cd802e3d6d62cd5f606f Mon Sep 17 00:00:00 2001
From: Saul Shanabrook <s.shanabrook@gmail.com>
Date: Fri, 10 Nov 2023 17:13:57 -0500
Subject: [PATCH] Add example of fib with outputs split into own e-classes (#8)

* Add example of fib with outputs split into own e-classes

* Generate missing version
---
 tests-viz/README.md                           |   1 +
 .../fibonacci-split-inlined-saturated.svg     | 255 ++++++++++
 tests-viz/fibonacci-split-inlined.svg         | 255 ++++++++++
 tests-viz/fibonacci-split.svg                 | 462 ++++++++++++++++++
 tests/fibonacci-split.json                    |   1 +
 5 files changed, 974 insertions(+)
 create mode 100644 tests-viz/fibonacci-split-inlined-saturated.svg
 create mode 100644 tests-viz/fibonacci-split-inlined.svg
 create mode 100644 tests-viz/fibonacci-split.svg
 create mode 100644 tests/fibonacci-split.json

diff --git a/tests-viz/README.md b/tests-viz/README.md
index 96e4eb8..746d6d1 100644
--- a/tests-viz/README.md
+++ b/tests-viz/README.md
@@ -8,6 +8,7 @@ This is a list of all the tests in the `tests` directory. Each test is a JSON fi
 | [`diff_power_simple`](../tests/diff_power_simple.json) | ![svg file](./diff_power_simple.svg) | ![inlined leaves svg file](./diff_power_simple-inlined.svg) | ![inlined leaves saturated svg file](./diff_power_simple-inlined-saturated.svg) |
 | [`eqsolve`](../tests/eqsolve.json) | ![svg file](./eqsolve.svg) | ![inlined leaves svg file](./eqsolve-inlined.svg) | ![inlined leaves saturated svg file](./eqsolve-inlined-saturated.svg) |
 | [`fibonacci-demand`](../tests/fibonacci-demand.json) | ![svg file](./fibonacci-demand.svg) | ![inlined leaves svg file](./fibonacci-demand-inlined.svg) | ![inlined leaves saturated svg file](./fibonacci-demand-inlined-saturated.svg) |
+| [`fibonacci-split`](../tests/fibonacci-split.json) | ![svg file](./fibonacci-split.svg) | ![inlined leaves svg file](./fibonacci-split-inlined.svg) | ![inlined leaves saturated svg file](./fibonacci-split-inlined-saturated.svg) |
 | [`fibonacci`](../tests/fibonacci.json) | ![svg file](./fibonacci.svg) | ![inlined leaves svg file](./fibonacci-inlined.svg) | ![inlined leaves saturated svg file](./fibonacci-inlined-saturated.svg) |
 | [`lambda_if`](../tests/lambda_if.json) | ![svg file](./lambda_if.svg) | ![inlined leaves svg file](./lambda_if-inlined.svg) | ![inlined leaves saturated svg file](./lambda_if-inlined-saturated.svg) |
 | [`list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7`](../tests/list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7.json) | ![svg file](./list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7.svg) | ![inlined leaves svg file](./list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7-inlined.svg) | ![inlined leaves saturated svg file](./list_list_hard_test_ellisk_2019-02-15T11.26.41--bench005_it7-inlined-saturated.svg) |
diff --git a/tests-viz/fibonacci-split-inlined-saturated.svg b/tests-viz/fibonacci-split-inlined-saturated.svg
new file mode 100644
index 0000000..15c97f7
--- /dev/null
+++ b/tests-viz/fibonacci-split-inlined-saturated.svg
@@ -0,0 +1,255 @@
+<?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 9.0.0 (20230911.1827)
+ -->
+<!-- Pages: 1 -->
+<svg width="1140pt" height="72pt"
+ viewBox="0.00 0.00 1140.00 72.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 68)">
+<polygon fill="white" stroke="none" points="-4,4 -4,-68 1136,-68 1136,4 -4,4"/>
+<g id="clust7" class="cluster">
+<title>outer_cluster_fib&#45;0&#45;value</title>
+</g>
+<g id="clust8" class="cluster">
+<title>cluster_fib&#45;0&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M271,-11C271,-11 365,-11 365,-11 371,-11 377,-17 377,-23 377,-23 377,-41 377,-41 377,-47 371,-53 365,-53 365,-53 271,-53 271,-53 265,-53 259,-47 259,-41 259,-41 259,-23 259,-23 259,-17 265,-11 271,-11"/>
+</g>
+<g id="clust1" class="cluster">
+<title>outer_cluster_fib&#45;10080759905092916392&#45;value</title>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster_fib&#45;10080759905092916392&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M23,-11C23,-11 117,-11 117,-11 123,-11 129,-17 129,-23 129,-23 129,-41 129,-41 129,-47 123,-53 117,-53 117,-53 23,-53 23,-53 17,-53 11,-47 11,-41 11,-41 11,-23 11,-23 11,-17 17,-11 23,-11"/>
+</g>
+<g id="clust4" class="cluster">
+<title>outer_cluster_fib&#45;11743562013128004906&#45;value</title>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster_fib&#45;11743562013128004906&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M147,-11C147,-11 241,-11 241,-11 247,-11 253,-17 253,-23 253,-23 253,-41 253,-41 253,-47 247,-53 241,-53 241,-53 147,-53 147,-53 141,-53 135,-47 135,-41 135,-41 135,-23 135,-23 135,-17 141,-11 147,-11"/>
+</g>
+<g id="clust10" class="cluster">
+<title>outer_cluster_fib&#45;5040379952546458196&#45;value</title>
+</g>
+<g id="clust11" class="cluster">
+<title>cluster_fib&#45;5040379952546458196&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M395,-11C395,-11 489,-11 489,-11 495,-11 501,-17 501,-23 501,-23 501,-41 501,-41 501,-47 495,-53 489,-53 489,-53 395,-53 395,-53 389,-53 383,-47 383,-41 383,-41 383,-23 383,-23 383,-17 389,-11 395,-11"/>
+</g>
+<g id="clust13" class="cluster">
+<title>outer_cluster_fib&#45;16783941965674463102&#45;value</title>
+</g>
+<g id="clust14" class="cluster">
+<title>cluster_fib&#45;16783941965674463102&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M519,-11C519,-11 613,-11 613,-11 619,-11 625,-17 625,-23 625,-23 625,-41 625,-41 625,-47 619,-53 613,-53 613,-53 519,-53 519,-53 513,-53 507,-47 507,-41 507,-41 507,-23 507,-23 507,-17 513,-11 519,-11"/>
+</g>
+<g id="clust16" class="cluster">
+<title>outer_cluster_fib&#45;5871781006564002453&#45;value</title>
+</g>
+<g id="clust17" class="cluster">
+<title>cluster_fib&#45;5871781006564002453&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M643,-11C643,-11 737,-11 737,-11 743,-11 749,-17 749,-23 749,-23 749,-41 749,-41 749,-47 743,-53 737,-53 737,-53 643,-53 643,-53 637,-53 631,-47 631,-41 631,-41 631,-23 631,-23 631,-17 637,-11 643,-11"/>
+</g>
+<g id="clust19" class="cluster">
+<title>outer_cluster_fib&#45;17615343019692007359&#45;value</title>
+</g>
+<g id="clust20" class="cluster">
+<title>cluster_fib&#45;17615343019692007359&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M767,-11C767,-11 861,-11 861,-11 867,-11 873,-17 873,-23 873,-23 873,-41 873,-41 873,-47 867,-53 861,-53 861,-53 767,-53 767,-53 761,-53 755,-47 755,-41 755,-41 755,-23 755,-23 755,-17 761,-11 767,-11"/>
+</g>
+<g id="clust22" class="cluster">
+<title>outer_cluster_fib&#45;10912160959110460649&#45;value</title>
+</g>
+<g id="clust23" class="cluster">
+<title>cluster_fib&#45;10912160959110460649&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M891,-11C891,-11 985,-11 985,-11 991,-11 997,-17 997,-23 997,-23 997,-41 997,-41 997,-47 991,-53 985,-53 985,-53 891,-53 891,-53 885,-53 879,-47 879,-41 879,-41 879,-23 879,-23 879,-17 885,-11 891,-11"/>
+</g>
+<g id="clust25" class="cluster">
+<title>outer_cluster_fib&#45;4208978898528913939&#45;value</title>
+</g>
+<g id="clust26" class="cluster">
+<title>cluster_fib&#45;4208978898528913939&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1015,-11C1015,-11 1109,-11 1109,-11 1115,-11 1121,-17 1121,-23 1121,-23 1121,-41 1121,-41 1121,-47 1115,-53 1109,-53 1109,-53 1015,-53 1015,-53 1009,-53 1003,-47 1003,-41 1003,-41 1003,-23 1003,-23 1003,-17 1009,-11 1015,-11"/>
+</g>
+<!-- fib&#45;10080759905092916392 -->
+<g id="node1" class="node">
+<title>fib&#45;10080759905092916392</title>
+<g id="a_node1"><a xlink:title="fib&#45;10080759905092916392&#45;value: fib&#45;10080759905092916392">
+<path fill="white" stroke="none" d="M89.29,-16C89.29,-16 108.71,-16 108.71,-16 114.04,-16 119.38,-21.33 119.38,-26.67 119.38,-26.67 119.38,-37.33 119.38,-37.33 119.38,-42.67 114.04,-48 108.71,-48 108.71,-48 89.29,-48 89.29,-48 83.96,-48 78.62,-42.67 78.62,-37.33 78.62,-37.33 78.62,-26.67 78.62,-26.67 78.62,-21.33 83.96,-16 89.29,-16"/>
+<text text-anchor="start" x="83.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(8)</text>
+<path fill="none" stroke="black" d="M89.29,-16C89.29,-16 108.71,-16 108.71,-16 114.04,-16 119.38,-21.33 119.38,-26.67 119.38,-26.67 119.38,-37.33 119.38,-37.33 119.38,-42.67 114.04,-48 108.71,-48 108.71,-48 89.29,-48 89.29,-48 83.96,-48 78.62,-42.67 78.62,-37.33 78.62,-37.33 78.62,-26.67 78.62,-26.67 78.62,-21.33 83.96,-16 89.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10080759905092916392&#45;value -->
+<g id="node2" class="node">
+<title>fib&#45;10080759905092916392&#45;value</title>
+<g id="a_node2"><a xlink:title="fib&#45;10080759905092916392&#45;value: fib&#45;10080759905092916392&#45;value">
+<path fill="white" stroke="none" d="M35.67,-16C35.67,-16 46.33,-16 46.33,-16 51.67,-16 57,-21.33 57,-26.67 57,-26.67 57,-37.33 57,-37.33 57,-42.67 51.67,-48 46.33,-48 46.33,-48 35.67,-48 35.67,-48 30.33,-48 25,-42.67 25,-37.33 25,-37.33 25,-26.67 25,-26.67 25,-21.33 30.33,-16 35.67,-16"/>
+<text text-anchor="start" x="33.5" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">21</text>
+<path fill="none" stroke="black" d="M35.67,-16C35.67,-16 46.33,-16 46.33,-16 51.67,-16 57,-21.33 57,-26.67 57,-26.67 57,-37.33 57,-37.33 57,-42.67 51.67,-48 46.33,-48 46.33,-48 35.67,-48 35.67,-48 30.33,-48 25,-42.67 25,-37.33 25,-37.33 25,-26.67 25,-26.67 25,-21.33 30.33,-16 35.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;11743562013128004906&#45;value -->
+<g id="node3" class="node">
+<title>fib&#45;11743562013128004906&#45;value</title>
+<g id="a_node3"><a xlink:title="fib&#45;11743562013128004906&#45;value: fib&#45;11743562013128004906&#45;value">
+<path fill="white" stroke="none" d="M217.67,-16C217.67,-16 228.33,-16 228.33,-16 233.67,-16 239,-21.33 239,-26.67 239,-26.67 239,-37.33 239,-37.33 239,-42.67 233.67,-48 228.33,-48 228.33,-48 217.67,-48 217.67,-48 212.33,-48 207,-42.67 207,-37.33 207,-37.33 207,-26.67 207,-26.67 207,-21.33 212.33,-16 217.67,-16"/>
+<text text-anchor="start" x="219.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M217.67,-16C217.67,-16 228.33,-16 228.33,-16 233.67,-16 239,-21.33 239,-26.67 239,-26.67 239,-37.33 239,-37.33 239,-42.67 233.67,-48 228.33,-48 228.33,-48 217.67,-48 217.67,-48 212.33,-48 207,-42.67 207,-37.33 207,-37.33 207,-26.67 207,-26.67 207,-21.33 212.33,-16 217.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;11743562013128004906 -->
+<g id="node4" class="node">
+<title>fib&#45;11743562013128004906</title>
+<g id="a_node4"><a xlink:title="fib&#45;11743562013128004906&#45;value: fib&#45;11743562013128004906">
+<path fill="white" stroke="none" d="M155.29,-16C155.29,-16 174.71,-16 174.71,-16 180.04,-16 185.38,-21.33 185.38,-26.67 185.38,-26.67 185.38,-37.33 185.38,-37.33 185.38,-42.67 180.04,-48 174.71,-48 174.71,-48 155.29,-48 155.29,-48 149.96,-48 144.62,-42.67 144.62,-37.33 144.62,-37.33 144.62,-26.67 144.62,-26.67 144.62,-21.33 149.96,-16 155.29,-16"/>
+<text text-anchor="start" x="149.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(2)</text>
+<path fill="none" stroke="black" d="M155.29,-16C155.29,-16 174.71,-16 174.71,-16 180.04,-16 185.38,-21.33 185.38,-26.67 185.38,-26.67 185.38,-37.33 185.38,-37.33 185.38,-42.67 180.04,-48 174.71,-48 174.71,-48 155.29,-48 155.29,-48 149.96,-48 144.62,-42.67 144.62,-37.33 144.62,-37.33 144.62,-26.67 144.62,-26.67 144.62,-21.33 149.96,-16 155.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;0&#45;value -->
+<g id="node5" class="node">
+<title>fib&#45;0&#45;value</title>
+<g id="a_node5"><a xlink:title="fib&#45;0&#45;value: fib&#45;0&#45;value">
+<path fill="white" stroke="none" d="M341.67,-16C341.67,-16 352.33,-16 352.33,-16 357.67,-16 363,-21.33 363,-26.67 363,-26.67 363,-37.33 363,-37.33 363,-42.67 357.67,-48 352.33,-48 352.33,-48 341.67,-48 341.67,-48 336.33,-48 331,-42.67 331,-37.33 331,-37.33 331,-26.67 331,-26.67 331,-21.33 336.33,-16 341.67,-16"/>
+<text text-anchor="start" x="343.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">0</text>
+<path fill="none" stroke="black" d="M341.67,-16C341.67,-16 352.33,-16 352.33,-16 357.67,-16 363,-21.33 363,-26.67 363,-26.67 363,-37.33 363,-37.33 363,-42.67 357.67,-48 352.33,-48 352.33,-48 341.67,-48 341.67,-48 336.33,-48 331,-42.67 331,-37.33 331,-37.33 331,-26.67 331,-26.67 331,-21.33 336.33,-16 341.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;0 -->
+<g id="node6" class="node">
+<title>fib&#45;0</title>
+<g id="a_node6"><a xlink:title="fib&#45;0&#45;value: fib&#45;0">
+<path fill="white" stroke="none" d="M279.29,-16C279.29,-16 298.71,-16 298.71,-16 304.04,-16 309.38,-21.33 309.38,-26.67 309.38,-26.67 309.38,-37.33 309.38,-37.33 309.38,-42.67 304.04,-48 298.71,-48 298.71,-48 279.29,-48 279.29,-48 273.96,-48 268.62,-42.67 268.62,-37.33 268.62,-37.33 268.62,-26.67 268.62,-26.67 268.62,-21.33 273.96,-16 279.29,-16"/>
+<text text-anchor="start" x="273.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(0)</text>
+<path fill="none" stroke="black" d="M279.29,-16C279.29,-16 298.71,-16 298.71,-16 304.04,-16 309.38,-21.33 309.38,-26.67 309.38,-26.67 309.38,-37.33 309.38,-37.33 309.38,-42.67 304.04,-48 298.71,-48 298.71,-48 279.29,-48 279.29,-48 273.96,-48 268.62,-42.67 268.62,-37.33 268.62,-37.33 268.62,-26.67 268.62,-26.67 268.62,-21.33 273.96,-16 279.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5040379952546458196&#45;value -->
+<g id="node7" class="node">
+<title>fib&#45;5040379952546458196&#45;value</title>
+<g id="a_node7"><a xlink:title="fib&#45;5040379952546458196&#45;value: fib&#45;5040379952546458196&#45;value">
+<path fill="white" stroke="none" d="M465.67,-16C465.67,-16 476.33,-16 476.33,-16 481.67,-16 487,-21.33 487,-26.67 487,-26.67 487,-37.33 487,-37.33 487,-42.67 481.67,-48 476.33,-48 476.33,-48 465.67,-48 465.67,-48 460.33,-48 455,-42.67 455,-37.33 455,-37.33 455,-26.67 455,-26.67 455,-21.33 460.33,-16 465.67,-16"/>
+<text text-anchor="start" x="467.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">3</text>
+<path fill="none" stroke="black" d="M465.67,-16C465.67,-16 476.33,-16 476.33,-16 481.67,-16 487,-21.33 487,-26.67 487,-26.67 487,-37.33 487,-37.33 487,-42.67 481.67,-48 476.33,-48 476.33,-48 465.67,-48 465.67,-48 460.33,-48 455,-42.67 455,-37.33 455,-37.33 455,-26.67 455,-26.67 455,-21.33 460.33,-16 465.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5040379952546458196 -->
+<g id="node8" class="node">
+<title>fib&#45;5040379952546458196</title>
+<g id="a_node8"><a xlink:title="fib&#45;5040379952546458196&#45;value: fib&#45;5040379952546458196">
+<path fill="white" stroke="none" d="M403.29,-16C403.29,-16 422.71,-16 422.71,-16 428.04,-16 433.38,-21.33 433.38,-26.67 433.38,-26.67 433.38,-37.33 433.38,-37.33 433.38,-42.67 428.04,-48 422.71,-48 422.71,-48 403.29,-48 403.29,-48 397.96,-48 392.62,-42.67 392.62,-37.33 392.62,-37.33 392.62,-26.67 392.62,-26.67 392.62,-21.33 397.96,-16 403.29,-16"/>
+<text text-anchor="start" x="397.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(4)</text>
+<path fill="none" stroke="black" d="M403.29,-16C403.29,-16 422.71,-16 422.71,-16 428.04,-16 433.38,-21.33 433.38,-26.67 433.38,-26.67 433.38,-37.33 433.38,-37.33 433.38,-42.67 428.04,-48 422.71,-48 422.71,-48 403.29,-48 403.29,-48 397.96,-48 392.62,-42.67 392.62,-37.33 392.62,-37.33 392.62,-26.67 392.62,-26.67 392.62,-21.33 397.96,-16 403.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;16783941965674463102 -->
+<g id="node9" class="node">
+<title>fib&#45;16783941965674463102</title>
+<g id="a_node9"><a xlink:title="fib&#45;16783941965674463102&#45;value: fib&#45;16783941965674463102">
+<path fill="white" stroke="none" d="M585.29,-16C585.29,-16 604.71,-16 604.71,-16 610.04,-16 615.38,-21.33 615.38,-26.67 615.38,-26.67 615.38,-37.33 615.38,-37.33 615.38,-42.67 610.04,-48 604.71,-48 604.71,-48 585.29,-48 585.29,-48 579.96,-48 574.62,-42.67 574.62,-37.33 574.62,-37.33 574.62,-26.67 574.62,-26.67 574.62,-21.33 579.96,-16 585.29,-16"/>
+<text text-anchor="start" x="579.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(6)</text>
+<path fill="none" stroke="black" d="M585.29,-16C585.29,-16 604.71,-16 604.71,-16 610.04,-16 615.38,-21.33 615.38,-26.67 615.38,-26.67 615.38,-37.33 615.38,-37.33 615.38,-42.67 610.04,-48 604.71,-48 604.71,-48 585.29,-48 585.29,-48 579.96,-48 574.62,-42.67 574.62,-37.33 574.62,-37.33 574.62,-26.67 574.62,-26.67 574.62,-21.33 579.96,-16 585.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;16783941965674463102&#45;value -->
+<g id="node10" class="node">
+<title>fib&#45;16783941965674463102&#45;value</title>
+<g id="a_node10"><a xlink:title="fib&#45;16783941965674463102&#45;value: fib&#45;16783941965674463102&#45;value">
+<path fill="white" stroke="none" d="M531.67,-16C531.67,-16 542.33,-16 542.33,-16 547.67,-16 553,-21.33 553,-26.67 553,-26.67 553,-37.33 553,-37.33 553,-42.67 547.67,-48 542.33,-48 542.33,-48 531.67,-48 531.67,-48 526.33,-48 521,-42.67 521,-37.33 521,-37.33 521,-26.67 521,-26.67 521,-21.33 526.33,-16 531.67,-16"/>
+<text text-anchor="start" x="533.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">8</text>
+<path fill="none" stroke="black" d="M531.67,-16C531.67,-16 542.33,-16 542.33,-16 547.67,-16 553,-21.33 553,-26.67 553,-26.67 553,-37.33 553,-37.33 553,-42.67 547.67,-48 542.33,-48 542.33,-48 531.67,-48 531.67,-48 526.33,-48 521,-42.67 521,-37.33 521,-37.33 521,-26.67 521,-26.67 521,-21.33 526.33,-16 531.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5871781006564002453&#45;value -->
+<g id="node11" class="node">
+<title>fib&#45;5871781006564002453&#45;value</title>
+<g id="a_node11"><a xlink:title="fib&#45;5871781006564002453&#45;value: fib&#45;5871781006564002453&#45;value">
+<path fill="white" stroke="none" d="M713.67,-16C713.67,-16 724.33,-16 724.33,-16 729.67,-16 735,-21.33 735,-26.67 735,-26.67 735,-37.33 735,-37.33 735,-42.67 729.67,-48 724.33,-48 724.33,-48 713.67,-48 713.67,-48 708.33,-48 703,-42.67 703,-37.33 703,-37.33 703,-26.67 703,-26.67 703,-21.33 708.33,-16 713.67,-16"/>
+<text text-anchor="start" x="715.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M713.67,-16C713.67,-16 724.33,-16 724.33,-16 729.67,-16 735,-21.33 735,-26.67 735,-26.67 735,-37.33 735,-37.33 735,-42.67 729.67,-48 724.33,-48 724.33,-48 713.67,-48 713.67,-48 708.33,-48 703,-42.67 703,-37.33 703,-37.33 703,-26.67 703,-26.67 703,-21.33 708.33,-16 713.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5871781006564002453 -->
+<g id="node12" class="node">
+<title>fib&#45;5871781006564002453</title>
+<g id="a_node12"><a xlink:title="fib&#45;5871781006564002453&#45;value: fib&#45;5871781006564002453">
+<path fill="white" stroke="none" d="M651.29,-16C651.29,-16 670.71,-16 670.71,-16 676.04,-16 681.38,-21.33 681.38,-26.67 681.38,-26.67 681.38,-37.33 681.38,-37.33 681.38,-42.67 676.04,-48 670.71,-48 670.71,-48 651.29,-48 651.29,-48 645.96,-48 640.62,-42.67 640.62,-37.33 640.62,-37.33 640.62,-26.67 640.62,-26.67 640.62,-21.33 645.96,-16 651.29,-16"/>
+<text text-anchor="start" x="645.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(1)</text>
+<path fill="none" stroke="black" d="M651.29,-16C651.29,-16 670.71,-16 670.71,-16 676.04,-16 681.38,-21.33 681.38,-26.67 681.38,-26.67 681.38,-37.33 681.38,-37.33 681.38,-42.67 676.04,-48 670.71,-48 670.71,-48 651.29,-48 651.29,-48 645.96,-48 640.62,-42.67 640.62,-37.33 640.62,-37.33 640.62,-26.67 640.62,-26.67 640.62,-21.33 645.96,-16 651.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;17615343019692007359&#45;value -->
+<g id="node13" class="node">
+<title>fib&#45;17615343019692007359&#45;value</title>
+<g id="a_node13"><a xlink:title="fib&#45;17615343019692007359&#45;value: fib&#45;17615343019692007359&#45;value">
+<path fill="white" stroke="none" d="M837.67,-16C837.67,-16 848.33,-16 848.33,-16 853.67,-16 859,-21.33 859,-26.67 859,-26.67 859,-37.33 859,-37.33 859,-42.67 853.67,-48 848.33,-48 848.33,-48 837.67,-48 837.67,-48 832.33,-48 827,-42.67 827,-37.33 827,-37.33 827,-26.67 827,-26.67 827,-21.33 832.33,-16 837.67,-16"/>
+<text text-anchor="start" x="839.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">2</text>
+<path fill="none" stroke="black" d="M837.67,-16C837.67,-16 848.33,-16 848.33,-16 853.67,-16 859,-21.33 859,-26.67 859,-26.67 859,-37.33 859,-37.33 859,-42.67 853.67,-48 848.33,-48 848.33,-48 837.67,-48 837.67,-48 832.33,-48 827,-42.67 827,-37.33 827,-37.33 827,-26.67 827,-26.67 827,-21.33 832.33,-16 837.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;17615343019692007359 -->
+<g id="node14" class="node">
+<title>fib&#45;17615343019692007359</title>
+<g id="a_node14"><a xlink:title="fib&#45;17615343019692007359&#45;value: fib&#45;17615343019692007359">
+<path fill="white" stroke="none" d="M775.29,-16C775.29,-16 794.71,-16 794.71,-16 800.04,-16 805.38,-21.33 805.38,-26.67 805.38,-26.67 805.38,-37.33 805.38,-37.33 805.38,-42.67 800.04,-48 794.71,-48 794.71,-48 775.29,-48 775.29,-48 769.96,-48 764.62,-42.67 764.62,-37.33 764.62,-37.33 764.62,-26.67 764.62,-26.67 764.62,-21.33 769.96,-16 775.29,-16"/>
+<text text-anchor="start" x="769.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(3)</text>
+<path fill="none" stroke="black" d="M775.29,-16C775.29,-16 794.71,-16 794.71,-16 800.04,-16 805.38,-21.33 805.38,-26.67 805.38,-26.67 805.38,-37.33 805.38,-37.33 805.38,-42.67 800.04,-48 794.71,-48 794.71,-48 775.29,-48 775.29,-48 769.96,-48 764.62,-42.67 764.62,-37.33 764.62,-37.33 764.62,-26.67 764.62,-26.67 764.62,-21.33 769.96,-16 775.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10912160959110460649&#45;value -->
+<g id="node15" class="node">
+<title>fib&#45;10912160959110460649&#45;value</title>
+<g id="a_node15"><a xlink:title="fib&#45;10912160959110460649&#45;value: fib&#45;10912160959110460649&#45;value">
+<path fill="white" stroke="none" d="M961.67,-16C961.67,-16 972.33,-16 972.33,-16 977.67,-16 983,-21.33 983,-26.67 983,-26.67 983,-37.33 983,-37.33 983,-42.67 977.67,-48 972.33,-48 972.33,-48 961.67,-48 961.67,-48 956.33,-48 951,-42.67 951,-37.33 951,-37.33 951,-26.67 951,-26.67 951,-21.33 956.33,-16 961.67,-16"/>
+<text text-anchor="start" x="963.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">5</text>
+<path fill="none" stroke="black" d="M961.67,-16C961.67,-16 972.33,-16 972.33,-16 977.67,-16 983,-21.33 983,-26.67 983,-26.67 983,-37.33 983,-37.33 983,-42.67 977.67,-48 972.33,-48 972.33,-48 961.67,-48 961.67,-48 956.33,-48 951,-42.67 951,-37.33 951,-37.33 951,-26.67 951,-26.67 951,-21.33 956.33,-16 961.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10912160959110460649 -->
+<g id="node16" class="node">
+<title>fib&#45;10912160959110460649</title>
+<g id="a_node16"><a xlink:title="fib&#45;10912160959110460649&#45;value: fib&#45;10912160959110460649">
+<path fill="white" stroke="none" d="M899.29,-16C899.29,-16 918.71,-16 918.71,-16 924.04,-16 929.38,-21.33 929.38,-26.67 929.38,-26.67 929.38,-37.33 929.38,-37.33 929.38,-42.67 924.04,-48 918.71,-48 918.71,-48 899.29,-48 899.29,-48 893.96,-48 888.62,-42.67 888.62,-37.33 888.62,-37.33 888.62,-26.67 888.62,-26.67 888.62,-21.33 893.96,-16 899.29,-16"/>
+<text text-anchor="start" x="893.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(5)</text>
+<path fill="none" stroke="black" d="M899.29,-16C899.29,-16 918.71,-16 918.71,-16 924.04,-16 929.38,-21.33 929.38,-26.67 929.38,-26.67 929.38,-37.33 929.38,-37.33 929.38,-42.67 924.04,-48 918.71,-48 918.71,-48 899.29,-48 899.29,-48 893.96,-48 888.62,-42.67 888.62,-37.33 888.62,-37.33 888.62,-26.67 888.62,-26.67 888.62,-21.33 893.96,-16 899.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;4208978898528913939&#45;value -->
+<g id="node17" class="node">
+<title>fib&#45;4208978898528913939&#45;value</title>
+<g id="a_node17"><a xlink:title="fib&#45;4208978898528913939&#45;value: fib&#45;4208978898528913939&#45;value">
+<path fill="white" stroke="none" d="M1085.67,-16C1085.67,-16 1096.33,-16 1096.33,-16 1101.67,-16 1107,-21.33 1107,-26.67 1107,-26.67 1107,-37.33 1107,-37.33 1107,-42.67 1101.67,-48 1096.33,-48 1096.33,-48 1085.67,-48 1085.67,-48 1080.33,-48 1075,-42.67 1075,-37.33 1075,-37.33 1075,-26.67 1075,-26.67 1075,-21.33 1080.33,-16 1085.67,-16"/>
+<text text-anchor="start" x="1083.5" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">13</text>
+<path fill="none" stroke="black" d="M1085.67,-16C1085.67,-16 1096.33,-16 1096.33,-16 1101.67,-16 1107,-21.33 1107,-26.67 1107,-26.67 1107,-37.33 1107,-37.33 1107,-42.67 1101.67,-48 1096.33,-48 1096.33,-48 1085.67,-48 1085.67,-48 1080.33,-48 1075,-42.67 1075,-37.33 1075,-37.33 1075,-26.67 1075,-26.67 1075,-21.33 1080.33,-16 1085.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;4208978898528913939 -->
+<g id="node18" class="node">
+<title>fib&#45;4208978898528913939</title>
+<g id="a_node18"><a xlink:title="fib&#45;4208978898528913939&#45;value: fib&#45;4208978898528913939">
+<path fill="white" stroke="none" d="M1023.29,-16C1023.29,-16 1042.71,-16 1042.71,-16 1048.04,-16 1053.38,-21.33 1053.38,-26.67 1053.38,-26.67 1053.38,-37.33 1053.38,-37.33 1053.38,-42.67 1048.04,-48 1042.71,-48 1042.71,-48 1023.29,-48 1023.29,-48 1017.96,-48 1012.62,-42.67 1012.62,-37.33 1012.62,-37.33 1012.62,-26.67 1012.62,-26.67 1012.62,-21.33 1017.96,-16 1023.29,-16"/>
+<text text-anchor="start" x="1017.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(7)</text>
+<path fill="none" stroke="black" d="M1023.29,-16C1023.29,-16 1042.71,-16 1042.71,-16 1048.04,-16 1053.38,-21.33 1053.38,-26.67 1053.38,-26.67 1053.38,-37.33 1053.38,-37.33 1053.38,-42.67 1048.04,-48 1042.71,-48 1042.71,-48 1023.29,-48 1023.29,-48 1017.96,-48 1012.62,-42.67 1012.62,-37.33 1012.62,-37.33 1012.62,-26.67 1012.62,-26.67 1012.62,-21.33 1017.96,-16 1023.29,-16"/>
+</a>
+</g>
+</g>
+</g>
+</svg>
diff --git a/tests-viz/fibonacci-split-inlined.svg b/tests-viz/fibonacci-split-inlined.svg
new file mode 100644
index 0000000..6da96cd
--- /dev/null
+++ b/tests-viz/fibonacci-split-inlined.svg
@@ -0,0 +1,255 @@
+<?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 9.0.0 (20230911.1827)
+ -->
+<!-- Pages: 1 -->
+<svg width="1140pt" height="72pt"
+ viewBox="0.00 0.00 1140.00 72.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 68)">
+<polygon fill="white" stroke="none" points="-4,4 -4,-68 1136,-68 1136,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>outer_cluster_fib&#45;16783941965674463102&#45;value</title>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster_fib&#45;16783941965674463102&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M23,-11C23,-11 117,-11 117,-11 123,-11 129,-17 129,-23 129,-23 129,-41 129,-41 129,-47 123,-53 117,-53 117,-53 23,-53 23,-53 17,-53 11,-47 11,-41 11,-41 11,-23 11,-23 11,-17 17,-11 23,-11"/>
+</g>
+<g id="clust4" class="cluster">
+<title>outer_cluster_fib&#45;0&#45;value</title>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster_fib&#45;0&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M147,-11C147,-11 241,-11 241,-11 247,-11 253,-17 253,-23 253,-23 253,-41 253,-41 253,-47 247,-53 241,-53 241,-53 147,-53 147,-53 141,-53 135,-47 135,-41 135,-41 135,-23 135,-23 135,-17 141,-11 147,-11"/>
+</g>
+<g id="clust7" class="cluster">
+<title>outer_cluster_fib&#45;5871781006564002453&#45;value</title>
+</g>
+<g id="clust8" class="cluster">
+<title>cluster_fib&#45;5871781006564002453&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M271,-11C271,-11 365,-11 365,-11 371,-11 377,-17 377,-23 377,-23 377,-41 377,-41 377,-47 371,-53 365,-53 365,-53 271,-53 271,-53 265,-53 259,-47 259,-41 259,-41 259,-23 259,-23 259,-17 265,-11 271,-11"/>
+</g>
+<g id="clust10" class="cluster">
+<title>outer_cluster_fib&#45;11743562013128004906&#45;value</title>
+</g>
+<g id="clust11" class="cluster">
+<title>cluster_fib&#45;11743562013128004906&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M395,-11C395,-11 489,-11 489,-11 495,-11 501,-17 501,-23 501,-23 501,-41 501,-41 501,-47 495,-53 489,-53 489,-53 395,-53 395,-53 389,-53 383,-47 383,-41 383,-41 383,-23 383,-23 383,-17 389,-11 395,-11"/>
+</g>
+<g id="clust13" class="cluster">
+<title>outer_cluster_fib&#45;5040379952546458196&#45;value</title>
+</g>
+<g id="clust14" class="cluster">
+<title>cluster_fib&#45;5040379952546458196&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M519,-11C519,-11 613,-11 613,-11 619,-11 625,-17 625,-23 625,-23 625,-41 625,-41 625,-47 619,-53 613,-53 613,-53 519,-53 519,-53 513,-53 507,-47 507,-41 507,-41 507,-23 507,-23 507,-17 513,-11 519,-11"/>
+</g>
+<g id="clust16" class="cluster">
+<title>outer_cluster_fib&#45;10080759905092916392&#45;value</title>
+</g>
+<g id="clust17" class="cluster">
+<title>cluster_fib&#45;10080759905092916392&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M643,-11C643,-11 737,-11 737,-11 743,-11 749,-17 749,-23 749,-23 749,-41 749,-41 749,-47 743,-53 737,-53 737,-53 643,-53 643,-53 637,-53 631,-47 631,-41 631,-41 631,-23 631,-23 631,-17 637,-11 643,-11"/>
+</g>
+<g id="clust19" class="cluster">
+<title>outer_cluster_fib&#45;10912160959110460649&#45;value</title>
+</g>
+<g id="clust20" class="cluster">
+<title>cluster_fib&#45;10912160959110460649&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M767,-11C767,-11 861,-11 861,-11 867,-11 873,-17 873,-23 873,-23 873,-41 873,-41 873,-47 867,-53 861,-53 861,-53 767,-53 767,-53 761,-53 755,-47 755,-41 755,-41 755,-23 755,-23 755,-17 761,-11 767,-11"/>
+</g>
+<g id="clust22" class="cluster">
+<title>outer_cluster_fib&#45;4208978898528913939&#45;value</title>
+</g>
+<g id="clust23" class="cluster">
+<title>cluster_fib&#45;4208978898528913939&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M891,-11C891,-11 985,-11 985,-11 991,-11 997,-17 997,-23 997,-23 997,-41 997,-41 997,-47 991,-53 985,-53 985,-53 891,-53 891,-53 885,-53 879,-47 879,-41 879,-41 879,-23 879,-23 879,-17 885,-11 891,-11"/>
+</g>
+<g id="clust25" class="cluster">
+<title>outer_cluster_fib&#45;17615343019692007359&#45;value</title>
+</g>
+<g id="clust26" class="cluster">
+<title>cluster_fib&#45;17615343019692007359&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1015,-11C1015,-11 1109,-11 1109,-11 1115,-11 1121,-17 1121,-23 1121,-23 1121,-41 1121,-41 1121,-47 1115,-53 1109,-53 1109,-53 1015,-53 1015,-53 1009,-53 1003,-47 1003,-41 1003,-41 1003,-23 1003,-23 1003,-17 1009,-11 1015,-11"/>
+</g>
+<!-- fib&#45;16783941965674463102&#45;value -->
+<g id="node1" class="node">
+<title>fib&#45;16783941965674463102&#45;value</title>
+<g id="a_node1"><a xlink:title="fib&#45;16783941965674463102&#45;value: fib&#45;16783941965674463102&#45;value">
+<path fill="white" stroke="none" d="M93.67,-16C93.67,-16 104.33,-16 104.33,-16 109.67,-16 115,-21.33 115,-26.67 115,-26.67 115,-37.33 115,-37.33 115,-42.67 109.67,-48 104.33,-48 104.33,-48 93.67,-48 93.67,-48 88.33,-48 83,-42.67 83,-37.33 83,-37.33 83,-26.67 83,-26.67 83,-21.33 88.33,-16 93.67,-16"/>
+<text text-anchor="start" x="95.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">8</text>
+<path fill="none" stroke="black" d="M93.67,-16C93.67,-16 104.33,-16 104.33,-16 109.67,-16 115,-21.33 115,-26.67 115,-26.67 115,-37.33 115,-37.33 115,-42.67 109.67,-48 104.33,-48 104.33,-48 93.67,-48 93.67,-48 88.33,-48 83,-42.67 83,-37.33 83,-37.33 83,-26.67 83,-26.67 83,-21.33 88.33,-16 93.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;16783941965674463102 -->
+<g id="node2" class="node">
+<title>fib&#45;16783941965674463102</title>
+<g id="a_node2"><a xlink:title="fib&#45;16783941965674463102&#45;value: fib&#45;16783941965674463102">
+<path fill="white" stroke="none" d="M31.29,-16C31.29,-16 50.71,-16 50.71,-16 56.04,-16 61.38,-21.33 61.38,-26.67 61.38,-26.67 61.38,-37.33 61.38,-37.33 61.38,-42.67 56.04,-48 50.71,-48 50.71,-48 31.29,-48 31.29,-48 25.96,-48 20.62,-42.67 20.62,-37.33 20.62,-37.33 20.62,-26.67 20.62,-26.67 20.62,-21.33 25.96,-16 31.29,-16"/>
+<text text-anchor="start" x="25.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(6)</text>
+<path fill="none" stroke="black" d="M31.29,-16C31.29,-16 50.71,-16 50.71,-16 56.04,-16 61.38,-21.33 61.38,-26.67 61.38,-26.67 61.38,-37.33 61.38,-37.33 61.38,-42.67 56.04,-48 50.71,-48 50.71,-48 31.29,-48 31.29,-48 25.96,-48 20.62,-42.67 20.62,-37.33 20.62,-37.33 20.62,-26.67 20.62,-26.67 20.62,-21.33 25.96,-16 31.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;0&#45;value -->
+<g id="node3" class="node">
+<title>fib&#45;0&#45;value</title>
+<g id="a_node3"><a xlink:title="fib&#45;0&#45;value: fib&#45;0&#45;value">
+<path fill="white" stroke="none" d="M217.67,-16C217.67,-16 228.33,-16 228.33,-16 233.67,-16 239,-21.33 239,-26.67 239,-26.67 239,-37.33 239,-37.33 239,-42.67 233.67,-48 228.33,-48 228.33,-48 217.67,-48 217.67,-48 212.33,-48 207,-42.67 207,-37.33 207,-37.33 207,-26.67 207,-26.67 207,-21.33 212.33,-16 217.67,-16"/>
+<text text-anchor="start" x="219.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">0</text>
+<path fill="none" stroke="black" d="M217.67,-16C217.67,-16 228.33,-16 228.33,-16 233.67,-16 239,-21.33 239,-26.67 239,-26.67 239,-37.33 239,-37.33 239,-42.67 233.67,-48 228.33,-48 228.33,-48 217.67,-48 217.67,-48 212.33,-48 207,-42.67 207,-37.33 207,-37.33 207,-26.67 207,-26.67 207,-21.33 212.33,-16 217.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;0 -->
+<g id="node4" class="node">
+<title>fib&#45;0</title>
+<g id="a_node4"><a xlink:title="fib&#45;0&#45;value: fib&#45;0">
+<path fill="white" stroke="none" d="M155.29,-16C155.29,-16 174.71,-16 174.71,-16 180.04,-16 185.38,-21.33 185.38,-26.67 185.38,-26.67 185.38,-37.33 185.38,-37.33 185.38,-42.67 180.04,-48 174.71,-48 174.71,-48 155.29,-48 155.29,-48 149.96,-48 144.62,-42.67 144.62,-37.33 144.62,-37.33 144.62,-26.67 144.62,-26.67 144.62,-21.33 149.96,-16 155.29,-16"/>
+<text text-anchor="start" x="149.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(0)</text>
+<path fill="none" stroke="black" d="M155.29,-16C155.29,-16 174.71,-16 174.71,-16 180.04,-16 185.38,-21.33 185.38,-26.67 185.38,-26.67 185.38,-37.33 185.38,-37.33 185.38,-42.67 180.04,-48 174.71,-48 174.71,-48 155.29,-48 155.29,-48 149.96,-48 144.62,-42.67 144.62,-37.33 144.62,-37.33 144.62,-26.67 144.62,-26.67 144.62,-21.33 149.96,-16 155.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5871781006564002453&#45;value -->
+<g id="node5" class="node">
+<title>fib&#45;5871781006564002453&#45;value</title>
+<g id="a_node5"><a xlink:title="fib&#45;5871781006564002453&#45;value: fib&#45;5871781006564002453&#45;value">
+<path fill="white" stroke="none" d="M341.67,-16C341.67,-16 352.33,-16 352.33,-16 357.67,-16 363,-21.33 363,-26.67 363,-26.67 363,-37.33 363,-37.33 363,-42.67 357.67,-48 352.33,-48 352.33,-48 341.67,-48 341.67,-48 336.33,-48 331,-42.67 331,-37.33 331,-37.33 331,-26.67 331,-26.67 331,-21.33 336.33,-16 341.67,-16"/>
+<text text-anchor="start" x="343.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M341.67,-16C341.67,-16 352.33,-16 352.33,-16 357.67,-16 363,-21.33 363,-26.67 363,-26.67 363,-37.33 363,-37.33 363,-42.67 357.67,-48 352.33,-48 352.33,-48 341.67,-48 341.67,-48 336.33,-48 331,-42.67 331,-37.33 331,-37.33 331,-26.67 331,-26.67 331,-21.33 336.33,-16 341.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5871781006564002453 -->
+<g id="node6" class="node">
+<title>fib&#45;5871781006564002453</title>
+<g id="a_node6"><a xlink:title="fib&#45;5871781006564002453&#45;value: fib&#45;5871781006564002453">
+<path fill="white" stroke="none" d="M279.29,-16C279.29,-16 298.71,-16 298.71,-16 304.04,-16 309.38,-21.33 309.38,-26.67 309.38,-26.67 309.38,-37.33 309.38,-37.33 309.38,-42.67 304.04,-48 298.71,-48 298.71,-48 279.29,-48 279.29,-48 273.96,-48 268.62,-42.67 268.62,-37.33 268.62,-37.33 268.62,-26.67 268.62,-26.67 268.62,-21.33 273.96,-16 279.29,-16"/>
+<text text-anchor="start" x="273.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(1)</text>
+<path fill="none" stroke="black" d="M279.29,-16C279.29,-16 298.71,-16 298.71,-16 304.04,-16 309.38,-21.33 309.38,-26.67 309.38,-26.67 309.38,-37.33 309.38,-37.33 309.38,-42.67 304.04,-48 298.71,-48 298.71,-48 279.29,-48 279.29,-48 273.96,-48 268.62,-42.67 268.62,-37.33 268.62,-37.33 268.62,-26.67 268.62,-26.67 268.62,-21.33 273.96,-16 279.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;11743562013128004906&#45;value -->
+<g id="node7" class="node">
+<title>fib&#45;11743562013128004906&#45;value</title>
+<g id="a_node7"><a xlink:title="fib&#45;11743562013128004906&#45;value: fib&#45;11743562013128004906&#45;value">
+<path fill="white" stroke="none" d="M465.67,-16C465.67,-16 476.33,-16 476.33,-16 481.67,-16 487,-21.33 487,-26.67 487,-26.67 487,-37.33 487,-37.33 487,-42.67 481.67,-48 476.33,-48 476.33,-48 465.67,-48 465.67,-48 460.33,-48 455,-42.67 455,-37.33 455,-37.33 455,-26.67 455,-26.67 455,-21.33 460.33,-16 465.67,-16"/>
+<text text-anchor="start" x="467.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M465.67,-16C465.67,-16 476.33,-16 476.33,-16 481.67,-16 487,-21.33 487,-26.67 487,-26.67 487,-37.33 487,-37.33 487,-42.67 481.67,-48 476.33,-48 476.33,-48 465.67,-48 465.67,-48 460.33,-48 455,-42.67 455,-37.33 455,-37.33 455,-26.67 455,-26.67 455,-21.33 460.33,-16 465.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;11743562013128004906 -->
+<g id="node8" class="node">
+<title>fib&#45;11743562013128004906</title>
+<g id="a_node8"><a xlink:title="fib&#45;11743562013128004906&#45;value: fib&#45;11743562013128004906">
+<path fill="white" stroke="none" d="M403.29,-16C403.29,-16 422.71,-16 422.71,-16 428.04,-16 433.38,-21.33 433.38,-26.67 433.38,-26.67 433.38,-37.33 433.38,-37.33 433.38,-42.67 428.04,-48 422.71,-48 422.71,-48 403.29,-48 403.29,-48 397.96,-48 392.62,-42.67 392.62,-37.33 392.62,-37.33 392.62,-26.67 392.62,-26.67 392.62,-21.33 397.96,-16 403.29,-16"/>
+<text text-anchor="start" x="397.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(2)</text>
+<path fill="none" stroke="black" d="M403.29,-16C403.29,-16 422.71,-16 422.71,-16 428.04,-16 433.38,-21.33 433.38,-26.67 433.38,-26.67 433.38,-37.33 433.38,-37.33 433.38,-42.67 428.04,-48 422.71,-48 422.71,-48 403.29,-48 403.29,-48 397.96,-48 392.62,-42.67 392.62,-37.33 392.62,-37.33 392.62,-26.67 392.62,-26.67 392.62,-21.33 397.96,-16 403.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5040379952546458196&#45;value -->
+<g id="node9" class="node">
+<title>fib&#45;5040379952546458196&#45;value</title>
+<g id="a_node9"><a xlink:title="fib&#45;5040379952546458196&#45;value: fib&#45;5040379952546458196&#45;value">
+<path fill="white" stroke="none" d="M589.67,-16C589.67,-16 600.33,-16 600.33,-16 605.67,-16 611,-21.33 611,-26.67 611,-26.67 611,-37.33 611,-37.33 611,-42.67 605.67,-48 600.33,-48 600.33,-48 589.67,-48 589.67,-48 584.33,-48 579,-42.67 579,-37.33 579,-37.33 579,-26.67 579,-26.67 579,-21.33 584.33,-16 589.67,-16"/>
+<text text-anchor="start" x="591.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">3</text>
+<path fill="none" stroke="black" d="M589.67,-16C589.67,-16 600.33,-16 600.33,-16 605.67,-16 611,-21.33 611,-26.67 611,-26.67 611,-37.33 611,-37.33 611,-42.67 605.67,-48 600.33,-48 600.33,-48 589.67,-48 589.67,-48 584.33,-48 579,-42.67 579,-37.33 579,-37.33 579,-26.67 579,-26.67 579,-21.33 584.33,-16 589.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5040379952546458196 -->
+<g id="node10" class="node">
+<title>fib&#45;5040379952546458196</title>
+<g id="a_node10"><a xlink:title="fib&#45;5040379952546458196&#45;value: fib&#45;5040379952546458196">
+<path fill="white" stroke="none" d="M527.29,-16C527.29,-16 546.71,-16 546.71,-16 552.04,-16 557.38,-21.33 557.38,-26.67 557.38,-26.67 557.38,-37.33 557.38,-37.33 557.38,-42.67 552.04,-48 546.71,-48 546.71,-48 527.29,-48 527.29,-48 521.96,-48 516.62,-42.67 516.62,-37.33 516.62,-37.33 516.62,-26.67 516.62,-26.67 516.62,-21.33 521.96,-16 527.29,-16"/>
+<text text-anchor="start" x="521.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(4)</text>
+<path fill="none" stroke="black" d="M527.29,-16C527.29,-16 546.71,-16 546.71,-16 552.04,-16 557.38,-21.33 557.38,-26.67 557.38,-26.67 557.38,-37.33 557.38,-37.33 557.38,-42.67 552.04,-48 546.71,-48 546.71,-48 527.29,-48 527.29,-48 521.96,-48 516.62,-42.67 516.62,-37.33 516.62,-37.33 516.62,-26.67 516.62,-26.67 516.62,-21.33 521.96,-16 527.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10080759905092916392 -->
+<g id="node11" class="node">
+<title>fib&#45;10080759905092916392</title>
+<g id="a_node11"><a xlink:title="fib&#45;10080759905092916392&#45;value: fib&#45;10080759905092916392">
+<path fill="white" stroke="none" d="M709.29,-16C709.29,-16 728.71,-16 728.71,-16 734.04,-16 739.38,-21.33 739.38,-26.67 739.38,-26.67 739.38,-37.33 739.38,-37.33 739.38,-42.67 734.04,-48 728.71,-48 728.71,-48 709.29,-48 709.29,-48 703.96,-48 698.62,-42.67 698.62,-37.33 698.62,-37.33 698.62,-26.67 698.62,-26.67 698.62,-21.33 703.96,-16 709.29,-16"/>
+<text text-anchor="start" x="703.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(8)</text>
+<path fill="none" stroke="black" d="M709.29,-16C709.29,-16 728.71,-16 728.71,-16 734.04,-16 739.38,-21.33 739.38,-26.67 739.38,-26.67 739.38,-37.33 739.38,-37.33 739.38,-42.67 734.04,-48 728.71,-48 728.71,-48 709.29,-48 709.29,-48 703.96,-48 698.62,-42.67 698.62,-37.33 698.62,-37.33 698.62,-26.67 698.62,-26.67 698.62,-21.33 703.96,-16 709.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10080759905092916392&#45;value -->
+<g id="node12" class="node">
+<title>fib&#45;10080759905092916392&#45;value</title>
+<g id="a_node12"><a xlink:title="fib&#45;10080759905092916392&#45;value: fib&#45;10080759905092916392&#45;value">
+<path fill="white" stroke="none" d="M655.67,-16C655.67,-16 666.33,-16 666.33,-16 671.67,-16 677,-21.33 677,-26.67 677,-26.67 677,-37.33 677,-37.33 677,-42.67 671.67,-48 666.33,-48 666.33,-48 655.67,-48 655.67,-48 650.33,-48 645,-42.67 645,-37.33 645,-37.33 645,-26.67 645,-26.67 645,-21.33 650.33,-16 655.67,-16"/>
+<text text-anchor="start" x="653.5" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">21</text>
+<path fill="none" stroke="black" d="M655.67,-16C655.67,-16 666.33,-16 666.33,-16 671.67,-16 677,-21.33 677,-26.67 677,-26.67 677,-37.33 677,-37.33 677,-42.67 671.67,-48 666.33,-48 666.33,-48 655.67,-48 655.67,-48 650.33,-48 645,-42.67 645,-37.33 645,-37.33 645,-26.67 645,-26.67 645,-21.33 650.33,-16 655.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10912160959110460649&#45;value -->
+<g id="node13" class="node">
+<title>fib&#45;10912160959110460649&#45;value</title>
+<g id="a_node13"><a xlink:title="fib&#45;10912160959110460649&#45;value: fib&#45;10912160959110460649&#45;value">
+<path fill="white" stroke="none" d="M837.67,-16C837.67,-16 848.33,-16 848.33,-16 853.67,-16 859,-21.33 859,-26.67 859,-26.67 859,-37.33 859,-37.33 859,-42.67 853.67,-48 848.33,-48 848.33,-48 837.67,-48 837.67,-48 832.33,-48 827,-42.67 827,-37.33 827,-37.33 827,-26.67 827,-26.67 827,-21.33 832.33,-16 837.67,-16"/>
+<text text-anchor="start" x="839.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">5</text>
+<path fill="none" stroke="black" d="M837.67,-16C837.67,-16 848.33,-16 848.33,-16 853.67,-16 859,-21.33 859,-26.67 859,-26.67 859,-37.33 859,-37.33 859,-42.67 853.67,-48 848.33,-48 848.33,-48 837.67,-48 837.67,-48 832.33,-48 827,-42.67 827,-37.33 827,-37.33 827,-26.67 827,-26.67 827,-21.33 832.33,-16 837.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10912160959110460649 -->
+<g id="node14" class="node">
+<title>fib&#45;10912160959110460649</title>
+<g id="a_node14"><a xlink:title="fib&#45;10912160959110460649&#45;value: fib&#45;10912160959110460649">
+<path fill="white" stroke="none" d="M775.29,-16C775.29,-16 794.71,-16 794.71,-16 800.04,-16 805.38,-21.33 805.38,-26.67 805.38,-26.67 805.38,-37.33 805.38,-37.33 805.38,-42.67 800.04,-48 794.71,-48 794.71,-48 775.29,-48 775.29,-48 769.96,-48 764.62,-42.67 764.62,-37.33 764.62,-37.33 764.62,-26.67 764.62,-26.67 764.62,-21.33 769.96,-16 775.29,-16"/>
+<text text-anchor="start" x="769.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(5)</text>
+<path fill="none" stroke="black" d="M775.29,-16C775.29,-16 794.71,-16 794.71,-16 800.04,-16 805.38,-21.33 805.38,-26.67 805.38,-26.67 805.38,-37.33 805.38,-37.33 805.38,-42.67 800.04,-48 794.71,-48 794.71,-48 775.29,-48 775.29,-48 769.96,-48 764.62,-42.67 764.62,-37.33 764.62,-37.33 764.62,-26.67 764.62,-26.67 764.62,-21.33 769.96,-16 775.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;4208978898528913939&#45;value -->
+<g id="node15" class="node">
+<title>fib&#45;4208978898528913939&#45;value</title>
+<g id="a_node15"><a xlink:title="fib&#45;4208978898528913939&#45;value: fib&#45;4208978898528913939&#45;value">
+<path fill="white" stroke="none" d="M961.67,-16C961.67,-16 972.33,-16 972.33,-16 977.67,-16 983,-21.33 983,-26.67 983,-26.67 983,-37.33 983,-37.33 983,-42.67 977.67,-48 972.33,-48 972.33,-48 961.67,-48 961.67,-48 956.33,-48 951,-42.67 951,-37.33 951,-37.33 951,-26.67 951,-26.67 951,-21.33 956.33,-16 961.67,-16"/>
+<text text-anchor="start" x="959.5" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">13</text>
+<path fill="none" stroke="black" d="M961.67,-16C961.67,-16 972.33,-16 972.33,-16 977.67,-16 983,-21.33 983,-26.67 983,-26.67 983,-37.33 983,-37.33 983,-42.67 977.67,-48 972.33,-48 972.33,-48 961.67,-48 961.67,-48 956.33,-48 951,-42.67 951,-37.33 951,-37.33 951,-26.67 951,-26.67 951,-21.33 956.33,-16 961.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;4208978898528913939 -->
+<g id="node16" class="node">
+<title>fib&#45;4208978898528913939</title>
+<g id="a_node16"><a xlink:title="fib&#45;4208978898528913939&#45;value: fib&#45;4208978898528913939">
+<path fill="white" stroke="none" d="M899.29,-16C899.29,-16 918.71,-16 918.71,-16 924.04,-16 929.38,-21.33 929.38,-26.67 929.38,-26.67 929.38,-37.33 929.38,-37.33 929.38,-42.67 924.04,-48 918.71,-48 918.71,-48 899.29,-48 899.29,-48 893.96,-48 888.62,-42.67 888.62,-37.33 888.62,-37.33 888.62,-26.67 888.62,-26.67 888.62,-21.33 893.96,-16 899.29,-16"/>
+<text text-anchor="start" x="893.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(7)</text>
+<path fill="none" stroke="black" d="M899.29,-16C899.29,-16 918.71,-16 918.71,-16 924.04,-16 929.38,-21.33 929.38,-26.67 929.38,-26.67 929.38,-37.33 929.38,-37.33 929.38,-42.67 924.04,-48 918.71,-48 918.71,-48 899.29,-48 899.29,-48 893.96,-48 888.62,-42.67 888.62,-37.33 888.62,-37.33 888.62,-26.67 888.62,-26.67 888.62,-21.33 893.96,-16 899.29,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;17615343019692007359&#45;value -->
+<g id="node17" class="node">
+<title>fib&#45;17615343019692007359&#45;value</title>
+<g id="a_node17"><a xlink:title="fib&#45;17615343019692007359&#45;value: fib&#45;17615343019692007359&#45;value">
+<path fill="white" stroke="none" d="M1085.67,-16C1085.67,-16 1096.33,-16 1096.33,-16 1101.67,-16 1107,-21.33 1107,-26.67 1107,-26.67 1107,-37.33 1107,-37.33 1107,-42.67 1101.67,-48 1096.33,-48 1096.33,-48 1085.67,-48 1085.67,-48 1080.33,-48 1075,-42.67 1075,-37.33 1075,-37.33 1075,-26.67 1075,-26.67 1075,-21.33 1080.33,-16 1085.67,-16"/>
+<text text-anchor="start" x="1087.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">2</text>
+<path fill="none" stroke="black" d="M1085.67,-16C1085.67,-16 1096.33,-16 1096.33,-16 1101.67,-16 1107,-21.33 1107,-26.67 1107,-26.67 1107,-37.33 1107,-37.33 1107,-42.67 1101.67,-48 1096.33,-48 1096.33,-48 1085.67,-48 1085.67,-48 1080.33,-48 1075,-42.67 1075,-37.33 1075,-37.33 1075,-26.67 1075,-26.67 1075,-21.33 1080.33,-16 1085.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;17615343019692007359 -->
+<g id="node18" class="node">
+<title>fib&#45;17615343019692007359</title>
+<g id="a_node18"><a xlink:title="fib&#45;17615343019692007359&#45;value: fib&#45;17615343019692007359">
+<path fill="white" stroke="none" d="M1023.29,-16C1023.29,-16 1042.71,-16 1042.71,-16 1048.04,-16 1053.38,-21.33 1053.38,-26.67 1053.38,-26.67 1053.38,-37.33 1053.38,-37.33 1053.38,-42.67 1048.04,-48 1042.71,-48 1042.71,-48 1023.29,-48 1023.29,-48 1017.96,-48 1012.62,-42.67 1012.62,-37.33 1012.62,-37.33 1012.62,-26.67 1012.62,-26.67 1012.62,-21.33 1017.96,-16 1023.29,-16"/>
+<text text-anchor="start" x="1017.62" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib(3)</text>
+<path fill="none" stroke="black" d="M1023.29,-16C1023.29,-16 1042.71,-16 1042.71,-16 1048.04,-16 1053.38,-21.33 1053.38,-26.67 1053.38,-26.67 1053.38,-37.33 1053.38,-37.33 1053.38,-42.67 1048.04,-48 1042.71,-48 1042.71,-48 1023.29,-48 1023.29,-48 1017.96,-48 1012.62,-42.67 1012.62,-37.33 1012.62,-37.33 1012.62,-26.67 1012.62,-26.67 1012.62,-21.33 1017.96,-16 1023.29,-16"/>
+</a>
+</g>
+</g>
+</g>
+</svg>
diff --git a/tests-viz/fibonacci-split.svg b/tests-viz/fibonacci-split.svg
new file mode 100644
index 0000000..aff575b
--- /dev/null
+++ b/tests-viz/fibonacci-split.svg
@@ -0,0 +1,462 @@
+<?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 9.0.0 (20230911.1827)
+ -->
+<!-- Pages: 1 -->
+<svg width="1140pt" height="151pt"
+ viewBox="0.00 0.00 1140.00 151.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 147)">
+<polygon fill="white" stroke="none" points="-4,4 -4,-147 1136,-147 1136,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>outer_cluster_fib&#45;17615343019692007359&#45;value</title>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster_fib&#45;17615343019692007359&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M23,-90C23,-90 117,-90 117,-90 123,-90 129,-96 129,-102 129,-102 129,-120 129,-120 129,-126 123,-132 117,-132 117,-132 23,-132 23,-132 17,-132 11,-126 11,-120 11,-120 11,-102 11,-102 11,-96 17,-90 23,-90"/>
+</g>
+<g id="clust4" class="cluster">
+<title>outer_cluster_i64&#45;5871781006564002453</title>
+</g>
+<g id="clust5" class="cluster">
+<title>cluster_i64&#45;5871781006564002453</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M205,-11C205,-11 241,-11 241,-11 247,-11 253,-17 253,-23 253,-23 253,-41 253,-41 253,-47 247,-53 241,-53 241,-53 205,-53 205,-53 199,-53 193,-47 193,-41 193,-41 193,-23 193,-23 193,-17 199,-11 205,-11"/>
+</g>
+<g id="clust7" class="cluster">
+<title>outer_cluster_fib&#45;4208978898528913939&#45;value</title>
+</g>
+<g id="clust8" class="cluster">
+<title>cluster_fib&#45;4208978898528913939&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M271,-90C271,-90 365,-90 365,-90 371,-90 377,-96 377,-102 377,-102 377,-120 377,-120 377,-126 371,-132 365,-132 365,-132 271,-132 271,-132 265,-132 259,-126 259,-120 259,-120 259,-102 259,-102 259,-96 265,-90 271,-90"/>
+</g>
+<g id="clust10" class="cluster">
+<title>outer_cluster_i64&#45;5040379952546458196</title>
+</g>
+<g id="clust11" class="cluster">
+<title>cluster_i64&#45;5040379952546458196</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M453,-11C453,-11 489,-11 489,-11 495,-11 501,-17 501,-23 501,-23 501,-41 501,-41 501,-47 495,-53 489,-53 489,-53 453,-53 453,-53 447,-53 441,-47 441,-41 441,-41 441,-23 441,-23 441,-17 447,-11 453,-11"/>
+</g>
+<g id="clust13" class="cluster">
+<title>outer_cluster_fib&#45;10912160959110460649&#45;value</title>
+</g>
+<g id="clust14" class="cluster">
+<title>cluster_fib&#45;10912160959110460649&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M519,-90C519,-90 613,-90 613,-90 619,-90 625,-96 625,-102 625,-102 625,-120 625,-120 625,-126 619,-132 613,-132 613,-132 519,-132 519,-132 513,-132 507,-126 507,-120 507,-120 507,-102 507,-102 507,-96 513,-90 519,-90"/>
+</g>
+<g id="clust16" class="cluster">
+<title>outer_cluster_fib&#45;10080759905092916392&#45;value</title>
+</g>
+<g id="clust17" class="cluster">
+<title>cluster_fib&#45;10080759905092916392&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M643,-90C643,-90 737,-90 737,-90 743,-90 749,-96 749,-102 749,-102 749,-120 749,-120 749,-126 743,-132 737,-132 737,-132 643,-132 643,-132 637,-132 631,-126 631,-120 631,-120 631,-102 631,-102 631,-96 637,-90 643,-90"/>
+</g>
+<g id="clust19" class="cluster">
+<title>outer_cluster_i64&#45;11743562013128004906</title>
+</g>
+<g id="clust20" class="cluster">
+<title>cluster_i64&#45;11743562013128004906</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M825,-11C825,-11 861,-11 861,-11 867,-11 873,-17 873,-23 873,-23 873,-41 873,-41 873,-47 867,-53 861,-53 861,-53 825,-53 825,-53 819,-53 813,-47 813,-41 813,-41 813,-23 813,-23 813,-17 819,-11 825,-11"/>
+</g>
+<g id="clust22" class="cluster">
+<title>outer_cluster_fib&#45;16783941965674463102&#45;value</title>
+</g>
+<g id="clust23" class="cluster">
+<title>cluster_fib&#45;16783941965674463102&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M891,-90C891,-90 985,-90 985,-90 991,-90 997,-96 997,-102 997,-102 997,-120 997,-120 997,-126 991,-132 985,-132 985,-132 891,-132 891,-132 885,-132 879,-126 879,-120 879,-120 879,-102 879,-102 879,-96 885,-90 891,-90"/>
+</g>
+<g id="clust25" class="cluster">
+<title>outer_cluster_i64&#45;10912160959110460649</title>
+</g>
+<g id="clust26" class="cluster">
+<title>cluster_i64&#45;10912160959110460649</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M577,-11C577,-11 613,-11 613,-11 619,-11 625,-17 625,-23 625,-23 625,-41 625,-41 625,-47 619,-53 613,-53 613,-53 577,-53 577,-53 571,-53 565,-47 565,-41 565,-41 565,-23 565,-23 565,-17 571,-11 577,-11"/>
+</g>
+<g id="clust28" class="cluster">
+<title>outer_cluster_i64&#45;4208978898528913939</title>
+</g>
+<g id="clust29" class="cluster">
+<title>cluster_i64&#45;4208978898528913939</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M329,-11C329,-11 365,-11 365,-11 371,-11 377,-17 377,-23 377,-23 377,-41 377,-41 377,-47 371,-53 365,-53 365,-53 329,-53 329,-53 323,-53 317,-47 317,-41 317,-41 317,-23 317,-23 317,-17 323,-11 329,-11"/>
+</g>
+<g id="clust31" class="cluster">
+<title>outer_cluster_i64&#45;0</title>
+</g>
+<g id="clust32" class="cluster">
+<title>cluster_i64&#45;0</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1073,-11C1073,-11 1109,-11 1109,-11 1115,-11 1121,-17 1121,-23 1121,-23 1121,-41 1121,-41 1121,-47 1115,-53 1109,-53 1109,-53 1073,-53 1073,-53 1067,-53 1061,-47 1061,-41 1061,-41 1061,-23 1061,-23 1061,-17 1067,-11 1073,-11"/>
+</g>
+<g id="clust34" class="cluster">
+<title>outer_cluster_i64&#45;10080759905092916392</title>
+</g>
+<g id="clust35" class="cluster">
+<title>cluster_i64&#45;10080759905092916392</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M701,-11C701,-11 737,-11 737,-11 743,-11 749,-17 749,-23 749,-23 749,-41 749,-41 749,-47 743,-53 737,-53 737,-53 701,-53 701,-53 695,-53 689,-47 689,-41 689,-41 689,-23 689,-23 689,-17 695,-11 701,-11"/>
+</g>
+<g id="clust37" class="cluster">
+<title>outer_cluster_i64&#45;17615343019692007359</title>
+</g>
+<g id="clust38" class="cluster">
+<title>cluster_i64&#45;17615343019692007359</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M81,-11C81,-11 117,-11 117,-11 123,-11 129,-17 129,-23 129,-23 129,-41 129,-41 129,-47 123,-53 117,-53 117,-53 81,-53 81,-53 75,-53 69,-47 69,-41 69,-41 69,-23 69,-23 69,-17 75,-11 81,-11"/>
+</g>
+<g id="clust40" class="cluster">
+<title>outer_cluster_fib&#45;11743562013128004906&#45;value</title>
+</g>
+<g id="clust41" class="cluster">
+<title>cluster_fib&#45;11743562013128004906&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M767,-90C767,-90 861,-90 861,-90 867,-90 873,-96 873,-102 873,-102 873,-120 873,-120 873,-126 867,-132 861,-132 861,-132 767,-132 767,-132 761,-132 755,-126 755,-120 755,-120 755,-102 755,-102 755,-96 761,-90 767,-90"/>
+</g>
+<g id="clust43" class="cluster">
+<title>outer_cluster_i64&#45;16783941965674463102</title>
+</g>
+<g id="clust44" class="cluster">
+<title>cluster_i64&#45;16783941965674463102</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M949,-11C949,-11 985,-11 985,-11 991,-11 997,-17 997,-23 997,-23 997,-41 997,-41 997,-47 991,-53 985,-53 985,-53 949,-53 949,-53 943,-53 937,-47 937,-41 937,-41 937,-23 937,-23 937,-17 943,-11 949,-11"/>
+</g>
+<g id="clust46" class="cluster">
+<title>outer_cluster_fib&#45;0&#45;value</title>
+</g>
+<g id="clust47" class="cluster">
+<title>cluster_fib&#45;0&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M1015,-90C1015,-90 1109,-90 1109,-90 1115,-90 1121,-96 1121,-102 1121,-102 1121,-120 1121,-120 1121,-126 1115,-132 1109,-132 1109,-132 1015,-132 1015,-132 1009,-132 1003,-126 1003,-120 1003,-120 1003,-102 1003,-102 1003,-96 1009,-90 1015,-90"/>
+</g>
+<g id="clust49" class="cluster">
+<title>outer_cluster_fib&#45;5871781006564002453&#45;value</title>
+</g>
+<g id="clust50" class="cluster">
+<title>cluster_fib&#45;5871781006564002453&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M147,-90C147,-90 241,-90 241,-90 247,-90 253,-96 253,-102 253,-102 253,-120 253,-120 253,-126 247,-132 241,-132 241,-132 147,-132 147,-132 141,-132 135,-126 135,-120 135,-120 135,-102 135,-102 135,-96 141,-90 147,-90"/>
+</g>
+<g id="clust52" class="cluster">
+<title>outer_cluster_fib&#45;5040379952546458196&#45;value</title>
+</g>
+<g id="clust53" class="cluster">
+<title>cluster_fib&#45;5040379952546458196&#45;value</title>
+<path fill="#ffffb3" stroke="black" stroke-dasharray="5,2" d="M395,-90C395,-90 489,-90 489,-90 495,-90 501,-96 501,-102 501,-102 501,-120 501,-120 501,-126 495,-132 489,-132 489,-132 395,-132 395,-132 389,-132 383,-126 383,-120 383,-120 383,-102 383,-102 383,-96 389,-90 395,-90"/>
+</g>
+<!-- fib&#45;17615343019692007359&#45;&gt;i64&#45;17615343019692007359 -->
+<g id="edge1" class="edge">
+<title>fib&#45;17615343019692007359:s&#45;&gt;i64&#45;17615343019692007359</title>
+<path fill="none" stroke="black" d="M99,-95C99,-82.22 99,-67.96 99,-56.35"/>
+<polygon fill="black" stroke="black" points="100.75,-59.51 99,-54.51 97.25,-59.51 100.75,-59.51"/>
+</g>
+<!-- fib&#45;4208978898528913939&#45;&gt;i64&#45;4208978898528913939 -->
+<g id="edge2" class="edge">
+<title>fib&#45;4208978898528913939:s&#45;&gt;i64&#45;4208978898528913939</title>
+<path fill="none" stroke="black" d="M347,-95C347,-82.22 347,-67.96 347,-56.35"/>
+<polygon fill="black" stroke="black" points="348.75,-59.51 347,-54.51 345.25,-59.51 348.75,-59.51"/>
+</g>
+<!-- fib&#45;10912160959110460649&#45;&gt;i64&#45;10912160959110460649 -->
+<g id="edge3" class="edge">
+<title>fib&#45;10912160959110460649:s&#45;&gt;i64&#45;10912160959110460649</title>
+<path fill="none" stroke="black" d="M595,-95C595,-82.22 595,-67.96 595,-56.35"/>
+<polygon fill="black" stroke="black" points="596.75,-59.51 595,-54.51 593.25,-59.51 596.75,-59.51"/>
+</g>
+<!-- fib&#45;10080759905092916392&#45;&gt;i64&#45;10080759905092916392 -->
+<g id="edge4" class="edge">
+<title>fib&#45;10080759905092916392:s&#45;&gt;i64&#45;10080759905092916392</title>
+<path fill="none" stroke="black" d="M719,-95C719,-82.22 719,-67.96 719,-56.35"/>
+<polygon fill="black" stroke="black" points="720.75,-59.51 719,-54.51 717.25,-59.51 720.75,-59.51"/>
+</g>
+<!-- fib&#45;16783941965674463102&#45;&gt;i64&#45;16783941965674463102 -->
+<g id="edge5" class="edge">
+<title>fib&#45;16783941965674463102:s&#45;&gt;i64&#45;16783941965674463102</title>
+<path fill="none" stroke="black" d="M967,-95C967,-82.22 967,-67.96 967,-56.35"/>
+<polygon fill="black" stroke="black" points="968.75,-59.51 967,-54.51 965.25,-59.51 968.75,-59.51"/>
+</g>
+<!-- fib&#45;11743562013128004906&#45;&gt;i64&#45;11743562013128004906 -->
+<g id="edge6" class="edge">
+<title>fib&#45;11743562013128004906:s&#45;&gt;i64&#45;11743562013128004906</title>
+<path fill="none" stroke="black" d="M843,-95C843,-82.22 843,-67.96 843,-56.35"/>
+<polygon fill="black" stroke="black" points="844.75,-59.51 843,-54.51 841.25,-59.51 844.75,-59.51"/>
+</g>
+<!-- fib&#45;0&#45;&gt;i64&#45;0 -->
+<g id="edge7" class="edge">
+<title>fib&#45;0:s&#45;&gt;i64&#45;0</title>
+<path fill="none" stroke="black" d="M1091,-95C1091,-82.22 1091,-67.96 1091,-56.35"/>
+<polygon fill="black" stroke="black" points="1092.75,-59.51 1091,-54.51 1089.25,-59.51 1092.75,-59.51"/>
+</g>
+<!-- fib&#45;5871781006564002453&#45;&gt;i64&#45;5871781006564002453 -->
+<g id="edge8" class="edge">
+<title>fib&#45;5871781006564002453:s&#45;&gt;i64&#45;5871781006564002453</title>
+<path fill="none" stroke="black" d="M223,-95C223,-82.22 223,-67.96 223,-56.35"/>
+<polygon fill="black" stroke="black" points="224.75,-59.51 223,-54.51 221.25,-59.51 224.75,-59.51"/>
+</g>
+<!-- fib&#45;5040379952546458196&#45;&gt;i64&#45;5040379952546458196 -->
+<g id="edge9" class="edge">
+<title>fib&#45;5040379952546458196:s&#45;&gt;i64&#45;5040379952546458196</title>
+<path fill="none" stroke="black" d="M471,-95C471,-82.22 471,-67.96 471,-56.35"/>
+<polygon fill="black" stroke="black" points="472.75,-59.51 471,-54.51 469.25,-59.51 472.75,-59.51"/>
+</g>
+<!-- fib&#45;17615343019692007359 -->
+<g id="node1" class="node">
+<title>fib&#45;17615343019692007359</title>
+<g id="a_node1"><a xlink:title="fib&#45;17615343019692007359&#45;value: fib&#45;17615343019692007359">
+<path fill="white" stroke="none" d="M93.67,-95C93.67,-95 104.33,-95 104.33,-95 109.67,-95 115,-100.33 115,-105.67 115,-105.67 115,-116.33 115,-116.33 115,-121.67 109.67,-127 104.33,-127 104.33,-127 93.67,-127 93.67,-127 88.33,-127 83,-121.67 83,-116.33 83,-116.33 83,-105.67 83,-105.67 83,-100.33 88.33,-95 93.67,-95"/>
+<text text-anchor="start" x="91.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M93.67,-95C93.67,-95 104.33,-95 104.33,-95 109.67,-95 115,-100.33 115,-105.67 115,-105.67 115,-116.33 115,-116.33 115,-121.67 109.67,-127 104.33,-127 104.33,-127 93.67,-127 93.67,-127 88.33,-127 83,-121.67 83,-116.33 83,-116.33 83,-105.67 83,-105.67 83,-100.33 88.33,-95 93.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;17615343019692007359 -->
+<g id="node2" class="node">
+<title>i64&#45;17615343019692007359</title>
+<g id="a_node2"><a xlink:title="i64&#45;17615343019692007359: i64&#45;17615343019692007359">
+<path fill="white" stroke="none" d="M93.67,-16C93.67,-16 104.33,-16 104.33,-16 109.67,-16 115,-21.33 115,-26.67 115,-26.67 115,-37.33 115,-37.33 115,-42.67 109.67,-48 104.33,-48 104.33,-48 93.67,-48 93.67,-48 88.33,-48 83,-42.67 83,-37.33 83,-37.33 83,-26.67 83,-26.67 83,-21.33 88.33,-16 93.67,-16"/>
+<text text-anchor="start" x="95.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">3</text>
+<path fill="none" stroke="black" d="M93.67,-16C93.67,-16 104.33,-16 104.33,-16 109.67,-16 115,-21.33 115,-26.67 115,-26.67 115,-37.33 115,-37.33 115,-42.67 109.67,-48 104.33,-48 104.33,-48 93.67,-48 93.67,-48 88.33,-48 83,-42.67 83,-37.33 83,-37.33 83,-26.67 83,-26.67 83,-21.33 88.33,-16 93.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;17615343019692007359&#45;value -->
+<g id="node3" class="node">
+<title>fib&#45;17615343019692007359&#45;value</title>
+<g id="a_node3"><a xlink:title="fib&#45;17615343019692007359&#45;value: fib&#45;17615343019692007359&#45;value">
+<path fill="white" stroke="none" d="M35.67,-95C35.67,-95 46.33,-95 46.33,-95 51.67,-95 57,-100.33 57,-105.67 57,-105.67 57,-116.33 57,-116.33 57,-121.67 51.67,-127 46.33,-127 46.33,-127 35.67,-127 35.67,-127 30.33,-127 25,-121.67 25,-116.33 25,-116.33 25,-105.67 25,-105.67 25,-100.33 30.33,-95 35.67,-95"/>
+<text text-anchor="start" x="37.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">2</text>
+<path fill="none" stroke="black" d="M35.67,-95C35.67,-95 46.33,-95 46.33,-95 51.67,-95 57,-100.33 57,-105.67 57,-105.67 57,-116.33 57,-116.33 57,-121.67 51.67,-127 46.33,-127 46.33,-127 35.67,-127 35.67,-127 30.33,-127 25,-121.67 25,-116.33 25,-116.33 25,-105.67 25,-105.67 25,-100.33 30.33,-95 35.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;5871781006564002453 -->
+<g id="node4" class="node">
+<title>i64&#45;5871781006564002453</title>
+<g id="a_node4"><a xlink:title="i64&#45;5871781006564002453: i64&#45;5871781006564002453">
+<path fill="white" stroke="none" d="M217.67,-16C217.67,-16 228.33,-16 228.33,-16 233.67,-16 239,-21.33 239,-26.67 239,-26.67 239,-37.33 239,-37.33 239,-42.67 233.67,-48 228.33,-48 228.33,-48 217.67,-48 217.67,-48 212.33,-48 207,-42.67 207,-37.33 207,-37.33 207,-26.67 207,-26.67 207,-21.33 212.33,-16 217.67,-16"/>
+<text text-anchor="start" x="219.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M217.67,-16C217.67,-16 228.33,-16 228.33,-16 233.67,-16 239,-21.33 239,-26.67 239,-26.67 239,-37.33 239,-37.33 239,-42.67 233.67,-48 228.33,-48 228.33,-48 217.67,-48 217.67,-48 212.33,-48 207,-42.67 207,-37.33 207,-37.33 207,-26.67 207,-26.67 207,-21.33 212.33,-16 217.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;4208978898528913939 -->
+<g id="node5" class="node">
+<title>fib&#45;4208978898528913939</title>
+<g id="a_node5"><a xlink:title="fib&#45;4208978898528913939&#45;value: fib&#45;4208978898528913939">
+<path fill="white" stroke="none" d="M341.67,-95C341.67,-95 352.33,-95 352.33,-95 357.67,-95 363,-100.33 363,-105.67 363,-105.67 363,-116.33 363,-116.33 363,-121.67 357.67,-127 352.33,-127 352.33,-127 341.67,-127 341.67,-127 336.33,-127 331,-121.67 331,-116.33 331,-116.33 331,-105.67 331,-105.67 331,-100.33 336.33,-95 341.67,-95"/>
+<text text-anchor="start" x="339.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M341.67,-95C341.67,-95 352.33,-95 352.33,-95 357.67,-95 363,-100.33 363,-105.67 363,-105.67 363,-116.33 363,-116.33 363,-121.67 357.67,-127 352.33,-127 352.33,-127 341.67,-127 341.67,-127 336.33,-127 331,-121.67 331,-116.33 331,-116.33 331,-105.67 331,-105.67 331,-100.33 336.33,-95 341.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;4208978898528913939 -->
+<g id="node6" class="node">
+<title>i64&#45;4208978898528913939</title>
+<g id="a_node6"><a xlink:title="i64&#45;4208978898528913939: i64&#45;4208978898528913939">
+<path fill="white" stroke="none" d="M341.67,-16C341.67,-16 352.33,-16 352.33,-16 357.67,-16 363,-21.33 363,-26.67 363,-26.67 363,-37.33 363,-37.33 363,-42.67 357.67,-48 352.33,-48 352.33,-48 341.67,-48 341.67,-48 336.33,-48 331,-42.67 331,-37.33 331,-37.33 331,-26.67 331,-26.67 331,-21.33 336.33,-16 341.67,-16"/>
+<text text-anchor="start" x="343.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">7</text>
+<path fill="none" stroke="black" d="M341.67,-16C341.67,-16 352.33,-16 352.33,-16 357.67,-16 363,-21.33 363,-26.67 363,-26.67 363,-37.33 363,-37.33 363,-42.67 357.67,-48 352.33,-48 352.33,-48 341.67,-48 341.67,-48 336.33,-48 331,-42.67 331,-37.33 331,-37.33 331,-26.67 331,-26.67 331,-21.33 336.33,-16 341.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;4208978898528913939&#45;value -->
+<g id="node7" class="node">
+<title>fib&#45;4208978898528913939&#45;value</title>
+<g id="a_node7"><a xlink:title="fib&#45;4208978898528913939&#45;value: fib&#45;4208978898528913939&#45;value">
+<path fill="white" stroke="none" d="M283.67,-95C283.67,-95 294.33,-95 294.33,-95 299.67,-95 305,-100.33 305,-105.67 305,-105.67 305,-116.33 305,-116.33 305,-121.67 299.67,-127 294.33,-127 294.33,-127 283.67,-127 283.67,-127 278.33,-127 273,-121.67 273,-116.33 273,-116.33 273,-105.67 273,-105.67 273,-100.33 278.33,-95 283.67,-95"/>
+<text text-anchor="start" x="281.5" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">13</text>
+<path fill="none" stroke="black" d="M283.67,-95C283.67,-95 294.33,-95 294.33,-95 299.67,-95 305,-100.33 305,-105.67 305,-105.67 305,-116.33 305,-116.33 305,-121.67 299.67,-127 294.33,-127 294.33,-127 283.67,-127 283.67,-127 278.33,-127 273,-121.67 273,-116.33 273,-116.33 273,-105.67 273,-105.67 273,-100.33 278.33,-95 283.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;5040379952546458196 -->
+<g id="node8" class="node">
+<title>i64&#45;5040379952546458196</title>
+<g id="a_node8"><a xlink:title="i64&#45;5040379952546458196: i64&#45;5040379952546458196">
+<path fill="white" stroke="none" d="M465.67,-16C465.67,-16 476.33,-16 476.33,-16 481.67,-16 487,-21.33 487,-26.67 487,-26.67 487,-37.33 487,-37.33 487,-42.67 481.67,-48 476.33,-48 476.33,-48 465.67,-48 465.67,-48 460.33,-48 455,-42.67 455,-37.33 455,-37.33 455,-26.67 455,-26.67 455,-21.33 460.33,-16 465.67,-16"/>
+<text text-anchor="start" x="467.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">4</text>
+<path fill="none" stroke="black" d="M465.67,-16C465.67,-16 476.33,-16 476.33,-16 481.67,-16 487,-21.33 487,-26.67 487,-26.67 487,-37.33 487,-37.33 487,-42.67 481.67,-48 476.33,-48 476.33,-48 465.67,-48 465.67,-48 460.33,-48 455,-42.67 455,-37.33 455,-37.33 455,-26.67 455,-26.67 455,-21.33 460.33,-16 465.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10912160959110460649 -->
+<g id="node9" class="node">
+<title>fib&#45;10912160959110460649</title>
+<g id="a_node9"><a xlink:title="fib&#45;10912160959110460649&#45;value: fib&#45;10912160959110460649">
+<path fill="white" stroke="none" d="M589.67,-95C589.67,-95 600.33,-95 600.33,-95 605.67,-95 611,-100.33 611,-105.67 611,-105.67 611,-116.33 611,-116.33 611,-121.67 605.67,-127 600.33,-127 600.33,-127 589.67,-127 589.67,-127 584.33,-127 579,-121.67 579,-116.33 579,-116.33 579,-105.67 579,-105.67 579,-100.33 584.33,-95 589.67,-95"/>
+<text text-anchor="start" x="587.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M589.67,-95C589.67,-95 600.33,-95 600.33,-95 605.67,-95 611,-100.33 611,-105.67 611,-105.67 611,-116.33 611,-116.33 611,-121.67 605.67,-127 600.33,-127 600.33,-127 589.67,-127 589.67,-127 584.33,-127 579,-121.67 579,-116.33 579,-116.33 579,-105.67 579,-105.67 579,-100.33 584.33,-95 589.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;10912160959110460649 -->
+<g id="node10" class="node">
+<title>i64&#45;10912160959110460649</title>
+<g id="a_node10"><a xlink:title="i64&#45;10912160959110460649: i64&#45;10912160959110460649">
+<path fill="white" stroke="none" d="M589.67,-16C589.67,-16 600.33,-16 600.33,-16 605.67,-16 611,-21.33 611,-26.67 611,-26.67 611,-37.33 611,-37.33 611,-42.67 605.67,-48 600.33,-48 600.33,-48 589.67,-48 589.67,-48 584.33,-48 579,-42.67 579,-37.33 579,-37.33 579,-26.67 579,-26.67 579,-21.33 584.33,-16 589.67,-16"/>
+<text text-anchor="start" x="591.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">5</text>
+<path fill="none" stroke="black" d="M589.67,-16C589.67,-16 600.33,-16 600.33,-16 605.67,-16 611,-21.33 611,-26.67 611,-26.67 611,-37.33 611,-37.33 611,-42.67 605.67,-48 600.33,-48 600.33,-48 589.67,-48 589.67,-48 584.33,-48 579,-42.67 579,-37.33 579,-37.33 579,-26.67 579,-26.67 579,-21.33 584.33,-16 589.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10912160959110460649&#45;value -->
+<g id="node11" class="node">
+<title>fib&#45;10912160959110460649&#45;value</title>
+<g id="a_node11"><a xlink:title="fib&#45;10912160959110460649&#45;value: fib&#45;10912160959110460649&#45;value">
+<path fill="white" stroke="none" d="M531.67,-95C531.67,-95 542.33,-95 542.33,-95 547.67,-95 553,-100.33 553,-105.67 553,-105.67 553,-116.33 553,-116.33 553,-121.67 547.67,-127 542.33,-127 542.33,-127 531.67,-127 531.67,-127 526.33,-127 521,-121.67 521,-116.33 521,-116.33 521,-105.67 521,-105.67 521,-100.33 526.33,-95 531.67,-95"/>
+<text text-anchor="start" x="533.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">5</text>
+<path fill="none" stroke="black" d="M531.67,-95C531.67,-95 542.33,-95 542.33,-95 547.67,-95 553,-100.33 553,-105.67 553,-105.67 553,-116.33 553,-116.33 553,-121.67 547.67,-127 542.33,-127 542.33,-127 531.67,-127 531.67,-127 526.33,-127 521,-121.67 521,-116.33 521,-116.33 521,-105.67 521,-105.67 521,-100.33 526.33,-95 531.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10080759905092916392 -->
+<g id="node12" class="node">
+<title>fib&#45;10080759905092916392</title>
+<g id="a_node12"><a xlink:title="fib&#45;10080759905092916392&#45;value: fib&#45;10080759905092916392">
+<path fill="white" stroke="none" d="M713.67,-95C713.67,-95 724.33,-95 724.33,-95 729.67,-95 735,-100.33 735,-105.67 735,-105.67 735,-116.33 735,-116.33 735,-121.67 729.67,-127 724.33,-127 724.33,-127 713.67,-127 713.67,-127 708.33,-127 703,-121.67 703,-116.33 703,-116.33 703,-105.67 703,-105.67 703,-100.33 708.33,-95 713.67,-95"/>
+<text text-anchor="start" x="711.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M713.67,-95C713.67,-95 724.33,-95 724.33,-95 729.67,-95 735,-100.33 735,-105.67 735,-105.67 735,-116.33 735,-116.33 735,-121.67 729.67,-127 724.33,-127 724.33,-127 713.67,-127 713.67,-127 708.33,-127 703,-121.67 703,-116.33 703,-116.33 703,-105.67 703,-105.67 703,-100.33 708.33,-95 713.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;10080759905092916392 -->
+<g id="node13" class="node">
+<title>i64&#45;10080759905092916392</title>
+<g id="a_node13"><a xlink:title="i64&#45;10080759905092916392: i64&#45;10080759905092916392">
+<path fill="white" stroke="none" d="M713.67,-16C713.67,-16 724.33,-16 724.33,-16 729.67,-16 735,-21.33 735,-26.67 735,-26.67 735,-37.33 735,-37.33 735,-42.67 729.67,-48 724.33,-48 724.33,-48 713.67,-48 713.67,-48 708.33,-48 703,-42.67 703,-37.33 703,-37.33 703,-26.67 703,-26.67 703,-21.33 708.33,-16 713.67,-16"/>
+<text text-anchor="start" x="715.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">8</text>
+<path fill="none" stroke="black" d="M713.67,-16C713.67,-16 724.33,-16 724.33,-16 729.67,-16 735,-21.33 735,-26.67 735,-26.67 735,-37.33 735,-37.33 735,-42.67 729.67,-48 724.33,-48 724.33,-48 713.67,-48 713.67,-48 708.33,-48 703,-42.67 703,-37.33 703,-37.33 703,-26.67 703,-26.67 703,-21.33 708.33,-16 713.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;10080759905092916392&#45;value -->
+<g id="node14" class="node">
+<title>fib&#45;10080759905092916392&#45;value</title>
+<g id="a_node14"><a xlink:title="fib&#45;10080759905092916392&#45;value: fib&#45;10080759905092916392&#45;value">
+<path fill="white" stroke="none" d="M655.67,-95C655.67,-95 666.33,-95 666.33,-95 671.67,-95 677,-100.33 677,-105.67 677,-105.67 677,-116.33 677,-116.33 677,-121.67 671.67,-127 666.33,-127 666.33,-127 655.67,-127 655.67,-127 650.33,-127 645,-121.67 645,-116.33 645,-116.33 645,-105.67 645,-105.67 645,-100.33 650.33,-95 655.67,-95"/>
+<text text-anchor="start" x="653.5" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">21</text>
+<path fill="none" stroke="black" d="M655.67,-95C655.67,-95 666.33,-95 666.33,-95 671.67,-95 677,-100.33 677,-105.67 677,-105.67 677,-116.33 677,-116.33 677,-121.67 671.67,-127 666.33,-127 666.33,-127 655.67,-127 655.67,-127 650.33,-127 645,-121.67 645,-116.33 645,-116.33 645,-105.67 645,-105.67 645,-100.33 650.33,-95 655.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;11743562013128004906 -->
+<g id="node15" class="node">
+<title>i64&#45;11743562013128004906</title>
+<g id="a_node15"><a xlink:title="i64&#45;11743562013128004906: i64&#45;11743562013128004906">
+<path fill="white" stroke="none" d="M837.67,-16C837.67,-16 848.33,-16 848.33,-16 853.67,-16 859,-21.33 859,-26.67 859,-26.67 859,-37.33 859,-37.33 859,-42.67 853.67,-48 848.33,-48 848.33,-48 837.67,-48 837.67,-48 832.33,-48 827,-42.67 827,-37.33 827,-37.33 827,-26.67 827,-26.67 827,-21.33 832.33,-16 837.67,-16"/>
+<text text-anchor="start" x="839.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">2</text>
+<path fill="none" stroke="black" d="M837.67,-16C837.67,-16 848.33,-16 848.33,-16 853.67,-16 859,-21.33 859,-26.67 859,-26.67 859,-37.33 859,-37.33 859,-42.67 853.67,-48 848.33,-48 848.33,-48 837.67,-48 837.67,-48 832.33,-48 827,-42.67 827,-37.33 827,-37.33 827,-26.67 827,-26.67 827,-21.33 832.33,-16 837.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;16783941965674463102 -->
+<g id="node16" class="node">
+<title>fib&#45;16783941965674463102</title>
+<g id="a_node16"><a xlink:title="fib&#45;16783941965674463102&#45;value: fib&#45;16783941965674463102">
+<path fill="white" stroke="none" d="M961.67,-95C961.67,-95 972.33,-95 972.33,-95 977.67,-95 983,-100.33 983,-105.67 983,-105.67 983,-116.33 983,-116.33 983,-121.67 977.67,-127 972.33,-127 972.33,-127 961.67,-127 961.67,-127 956.33,-127 951,-121.67 951,-116.33 951,-116.33 951,-105.67 951,-105.67 951,-100.33 956.33,-95 961.67,-95"/>
+<text text-anchor="start" x="959.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M961.67,-95C961.67,-95 972.33,-95 972.33,-95 977.67,-95 983,-100.33 983,-105.67 983,-105.67 983,-116.33 983,-116.33 983,-121.67 977.67,-127 972.33,-127 972.33,-127 961.67,-127 961.67,-127 956.33,-127 951,-121.67 951,-116.33 951,-116.33 951,-105.67 951,-105.67 951,-100.33 956.33,-95 961.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;16783941965674463102 -->
+<g id="node17" class="node">
+<title>i64&#45;16783941965674463102</title>
+<g id="a_node17"><a xlink:title="i64&#45;16783941965674463102: i64&#45;16783941965674463102">
+<path fill="white" stroke="none" d="M961.67,-16C961.67,-16 972.33,-16 972.33,-16 977.67,-16 983,-21.33 983,-26.67 983,-26.67 983,-37.33 983,-37.33 983,-42.67 977.67,-48 972.33,-48 972.33,-48 961.67,-48 961.67,-48 956.33,-48 951,-42.67 951,-37.33 951,-37.33 951,-26.67 951,-26.67 951,-21.33 956.33,-16 961.67,-16"/>
+<text text-anchor="start" x="963.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">6</text>
+<path fill="none" stroke="black" d="M961.67,-16C961.67,-16 972.33,-16 972.33,-16 977.67,-16 983,-21.33 983,-26.67 983,-26.67 983,-37.33 983,-37.33 983,-42.67 977.67,-48 972.33,-48 972.33,-48 961.67,-48 961.67,-48 956.33,-48 951,-42.67 951,-37.33 951,-37.33 951,-26.67 951,-26.67 951,-21.33 956.33,-16 961.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;16783941965674463102&#45;value -->
+<g id="node18" class="node">
+<title>fib&#45;16783941965674463102&#45;value</title>
+<g id="a_node18"><a xlink:title="fib&#45;16783941965674463102&#45;value: fib&#45;16783941965674463102&#45;value">
+<path fill="white" stroke="none" d="M903.67,-95C903.67,-95 914.33,-95 914.33,-95 919.67,-95 925,-100.33 925,-105.67 925,-105.67 925,-116.33 925,-116.33 925,-121.67 919.67,-127 914.33,-127 914.33,-127 903.67,-127 903.67,-127 898.33,-127 893,-121.67 893,-116.33 893,-116.33 893,-105.67 893,-105.67 893,-100.33 898.33,-95 903.67,-95"/>
+<text text-anchor="start" x="905.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">8</text>
+<path fill="none" stroke="black" d="M903.67,-95C903.67,-95 914.33,-95 914.33,-95 919.67,-95 925,-100.33 925,-105.67 925,-105.67 925,-116.33 925,-116.33 925,-121.67 919.67,-127 914.33,-127 914.33,-127 903.67,-127 903.67,-127 898.33,-127 893,-121.67 893,-116.33 893,-116.33 893,-105.67 893,-105.67 893,-100.33 898.33,-95 903.67,-95"/>
+</a>
+</g>
+</g>
+<!-- i64&#45;0 -->
+<g id="node19" class="node">
+<title>i64&#45;0</title>
+<g id="a_node19"><a xlink:title="i64&#45;0: i64&#45;0">
+<path fill="white" stroke="none" d="M1085.67,-16C1085.67,-16 1096.33,-16 1096.33,-16 1101.67,-16 1107,-21.33 1107,-26.67 1107,-26.67 1107,-37.33 1107,-37.33 1107,-42.67 1101.67,-48 1096.33,-48 1096.33,-48 1085.67,-48 1085.67,-48 1080.33,-48 1075,-42.67 1075,-37.33 1075,-37.33 1075,-26.67 1075,-26.67 1075,-21.33 1080.33,-16 1085.67,-16"/>
+<text text-anchor="start" x="1087.25" y="-26.2" font-family="Helvetica,sans-Serif" font-size="14.00">0</text>
+<path fill="none" stroke="black" d="M1085.67,-16C1085.67,-16 1096.33,-16 1096.33,-16 1101.67,-16 1107,-21.33 1107,-26.67 1107,-26.67 1107,-37.33 1107,-37.33 1107,-42.67 1101.67,-48 1096.33,-48 1096.33,-48 1085.67,-48 1085.67,-48 1080.33,-48 1075,-42.67 1075,-37.33 1075,-37.33 1075,-26.67 1075,-26.67 1075,-21.33 1080.33,-16 1085.67,-16"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;11743562013128004906 -->
+<g id="node20" class="node">
+<title>fib&#45;11743562013128004906</title>
+<g id="a_node20"><a xlink:title="fib&#45;11743562013128004906&#45;value: fib&#45;11743562013128004906">
+<path fill="white" stroke="none" d="M837.67,-95C837.67,-95 848.33,-95 848.33,-95 853.67,-95 859,-100.33 859,-105.67 859,-105.67 859,-116.33 859,-116.33 859,-121.67 853.67,-127 848.33,-127 848.33,-127 837.67,-127 837.67,-127 832.33,-127 827,-121.67 827,-116.33 827,-116.33 827,-105.67 827,-105.67 827,-100.33 832.33,-95 837.67,-95"/>
+<text text-anchor="start" x="835.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M837.67,-95C837.67,-95 848.33,-95 848.33,-95 853.67,-95 859,-100.33 859,-105.67 859,-105.67 859,-116.33 859,-116.33 859,-121.67 853.67,-127 848.33,-127 848.33,-127 837.67,-127 837.67,-127 832.33,-127 827,-121.67 827,-116.33 827,-116.33 827,-105.67 827,-105.67 827,-100.33 832.33,-95 837.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;11743562013128004906&#45;value -->
+<g id="node21" class="node">
+<title>fib&#45;11743562013128004906&#45;value</title>
+<g id="a_node21"><a xlink:title="fib&#45;11743562013128004906&#45;value: fib&#45;11743562013128004906&#45;value">
+<path fill="white" stroke="none" d="M779.67,-95C779.67,-95 790.33,-95 790.33,-95 795.67,-95 801,-100.33 801,-105.67 801,-105.67 801,-116.33 801,-116.33 801,-121.67 795.67,-127 790.33,-127 790.33,-127 779.67,-127 779.67,-127 774.33,-127 769,-121.67 769,-116.33 769,-116.33 769,-105.67 769,-105.67 769,-100.33 774.33,-95 779.67,-95"/>
+<text text-anchor="start" x="781.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M779.67,-95C779.67,-95 790.33,-95 790.33,-95 795.67,-95 801,-100.33 801,-105.67 801,-105.67 801,-116.33 801,-116.33 801,-121.67 795.67,-127 790.33,-127 790.33,-127 779.67,-127 779.67,-127 774.33,-127 769,-121.67 769,-116.33 769,-116.33 769,-105.67 769,-105.67 769,-100.33 774.33,-95 779.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;0 -->
+<g id="node22" class="node">
+<title>fib&#45;0</title>
+<g id="a_node22"><a xlink:title="fib&#45;0&#45;value: fib&#45;0">
+<path fill="white" stroke="none" d="M1085.67,-95C1085.67,-95 1096.33,-95 1096.33,-95 1101.67,-95 1107,-100.33 1107,-105.67 1107,-105.67 1107,-116.33 1107,-116.33 1107,-121.67 1101.67,-127 1096.33,-127 1096.33,-127 1085.67,-127 1085.67,-127 1080.33,-127 1075,-121.67 1075,-116.33 1075,-116.33 1075,-105.67 1075,-105.67 1075,-100.33 1080.33,-95 1085.67,-95"/>
+<text text-anchor="start" x="1083.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M1085.67,-95C1085.67,-95 1096.33,-95 1096.33,-95 1101.67,-95 1107,-100.33 1107,-105.67 1107,-105.67 1107,-116.33 1107,-116.33 1107,-121.67 1101.67,-127 1096.33,-127 1096.33,-127 1085.67,-127 1085.67,-127 1080.33,-127 1075,-121.67 1075,-116.33 1075,-116.33 1075,-105.67 1075,-105.67 1075,-100.33 1080.33,-95 1085.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;0&#45;value -->
+<g id="node23" class="node">
+<title>fib&#45;0&#45;value</title>
+<g id="a_node23"><a xlink:title="fib&#45;0&#45;value: fib&#45;0&#45;value">
+<path fill="white" stroke="none" d="M1027.67,-95C1027.67,-95 1038.33,-95 1038.33,-95 1043.67,-95 1049,-100.33 1049,-105.67 1049,-105.67 1049,-116.33 1049,-116.33 1049,-121.67 1043.67,-127 1038.33,-127 1038.33,-127 1027.67,-127 1027.67,-127 1022.33,-127 1017,-121.67 1017,-116.33 1017,-116.33 1017,-105.67 1017,-105.67 1017,-100.33 1022.33,-95 1027.67,-95"/>
+<text text-anchor="start" x="1029.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">0</text>
+<path fill="none" stroke="black" d="M1027.67,-95C1027.67,-95 1038.33,-95 1038.33,-95 1043.67,-95 1049,-100.33 1049,-105.67 1049,-105.67 1049,-116.33 1049,-116.33 1049,-121.67 1043.67,-127 1038.33,-127 1038.33,-127 1027.67,-127 1027.67,-127 1022.33,-127 1017,-121.67 1017,-116.33 1017,-116.33 1017,-105.67 1017,-105.67 1017,-100.33 1022.33,-95 1027.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5871781006564002453 -->
+<g id="node24" class="node">
+<title>fib&#45;5871781006564002453</title>
+<g id="a_node24"><a xlink:title="fib&#45;5871781006564002453&#45;value: fib&#45;5871781006564002453">
+<path fill="white" stroke="none" d="M217.67,-95C217.67,-95 228.33,-95 228.33,-95 233.67,-95 239,-100.33 239,-105.67 239,-105.67 239,-116.33 239,-116.33 239,-121.67 233.67,-127 228.33,-127 228.33,-127 217.67,-127 217.67,-127 212.33,-127 207,-121.67 207,-116.33 207,-116.33 207,-105.67 207,-105.67 207,-100.33 212.33,-95 217.67,-95"/>
+<text text-anchor="start" x="215.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M217.67,-95C217.67,-95 228.33,-95 228.33,-95 233.67,-95 239,-100.33 239,-105.67 239,-105.67 239,-116.33 239,-116.33 239,-121.67 233.67,-127 228.33,-127 228.33,-127 217.67,-127 217.67,-127 212.33,-127 207,-121.67 207,-116.33 207,-116.33 207,-105.67 207,-105.67 207,-100.33 212.33,-95 217.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5871781006564002453&#45;value -->
+<g id="node25" class="node">
+<title>fib&#45;5871781006564002453&#45;value</title>
+<g id="a_node25"><a xlink:title="fib&#45;5871781006564002453&#45;value: fib&#45;5871781006564002453&#45;value">
+<path fill="white" stroke="none" d="M159.67,-95C159.67,-95 170.33,-95 170.33,-95 175.67,-95 181,-100.33 181,-105.67 181,-105.67 181,-116.33 181,-116.33 181,-121.67 175.67,-127 170.33,-127 170.33,-127 159.67,-127 159.67,-127 154.33,-127 149,-121.67 149,-116.33 149,-116.33 149,-105.67 149,-105.67 149,-100.33 154.33,-95 159.67,-95"/>
+<text text-anchor="start" x="161.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">1</text>
+<path fill="none" stroke="black" d="M159.67,-95C159.67,-95 170.33,-95 170.33,-95 175.67,-95 181,-100.33 181,-105.67 181,-105.67 181,-116.33 181,-116.33 181,-121.67 175.67,-127 170.33,-127 170.33,-127 159.67,-127 159.67,-127 154.33,-127 149,-121.67 149,-116.33 149,-116.33 149,-105.67 149,-105.67 149,-100.33 154.33,-95 159.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5040379952546458196 -->
+<g id="node26" class="node">
+<title>fib&#45;5040379952546458196</title>
+<g id="a_node26"><a xlink:title="fib&#45;5040379952546458196&#45;value: fib&#45;5040379952546458196">
+<path fill="white" stroke="none" d="M465.67,-95C465.67,-95 476.33,-95 476.33,-95 481.67,-95 487,-100.33 487,-105.67 487,-105.67 487,-116.33 487,-116.33 487,-121.67 481.67,-127 476.33,-127 476.33,-127 465.67,-127 465.67,-127 460.33,-127 455,-121.67 455,-116.33 455,-116.33 455,-105.67 455,-105.67 455,-100.33 460.33,-95 465.67,-95"/>
+<text text-anchor="start" x="463.88" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">fib</text>
+<path fill="none" stroke="black" d="M465.67,-95C465.67,-95 476.33,-95 476.33,-95 481.67,-95 487,-100.33 487,-105.67 487,-105.67 487,-116.33 487,-116.33 487,-121.67 481.67,-127 476.33,-127 476.33,-127 465.67,-127 465.67,-127 460.33,-127 455,-121.67 455,-116.33 455,-116.33 455,-105.67 455,-105.67 455,-100.33 460.33,-95 465.67,-95"/>
+</a>
+</g>
+</g>
+<!-- fib&#45;5040379952546458196&#45;value -->
+<g id="node27" class="node">
+<title>fib&#45;5040379952546458196&#45;value</title>
+<g id="a_node27"><a xlink:title="fib&#45;5040379952546458196&#45;value: fib&#45;5040379952546458196&#45;value">
+<path fill="white" stroke="none" d="M407.67,-95C407.67,-95 418.33,-95 418.33,-95 423.67,-95 429,-100.33 429,-105.67 429,-105.67 429,-116.33 429,-116.33 429,-121.67 423.67,-127 418.33,-127 418.33,-127 407.67,-127 407.67,-127 402.33,-127 397,-121.67 397,-116.33 397,-116.33 397,-105.67 397,-105.67 397,-100.33 402.33,-95 407.67,-95"/>
+<text text-anchor="start" x="409.25" y="-105.2" font-family="Helvetica,sans-Serif" font-size="14.00">3</text>
+<path fill="none" stroke="black" d="M407.67,-95C407.67,-95 418.33,-95 418.33,-95 423.67,-95 429,-100.33 429,-105.67 429,-105.67 429,-116.33 429,-116.33 429,-121.67 423.67,-127 418.33,-127 418.33,-127 407.67,-127 407.67,-127 402.33,-127 397,-121.67 397,-116.33 397,-116.33 397,-105.67 397,-105.67 397,-100.33 402.33,-95 407.67,-95"/>
+</a>
+</g>
+</g>
+</g>
+</svg>
diff --git a/tests/fibonacci-split.json b/tests/fibonacci-split.json
new file mode 100644
index 0000000..423aa5b
--- /dev/null
+++ b/tests/fibonacci-split.json
@@ -0,0 +1 @@
+{"nodes":{"fib-0-value":{"op":"0","children":[],"eclass":"fib-0-value","cost":0.0},"i64-0":{"op":"0","children":[],"eclass":"i64-0","cost":0.0},"fib-0":{"op":"fib","children":["i64-0"],"eclass":"fib-0-value","cost":1.0},"fib-5871781006564002453-value":{"op":"1","children":[],"eclass":"fib-5871781006564002453-value","cost":0.0},"i64-5871781006564002453":{"op":"1","children":[],"eclass":"i64-5871781006564002453","cost":0.0},"fib-5871781006564002453":{"op":"fib","children":["i64-5871781006564002453"],"eclass":"fib-5871781006564002453-value","cost":1.0},"fib-11743562013128004906-value":{"op":"1","children":[],"eclass":"fib-11743562013128004906-value","cost":0.0},"i64-11743562013128004906":{"op":"2","children":[],"eclass":"i64-11743562013128004906","cost":0.0},"fib-11743562013128004906":{"op":"fib","children":["i64-11743562013128004906"],"eclass":"fib-11743562013128004906-value","cost":1.0},"fib-17615343019692007359-value":{"op":"2","children":[],"eclass":"fib-17615343019692007359-value","cost":0.0},"i64-17615343019692007359":{"op":"3","children":[],"eclass":"i64-17615343019692007359","cost":0.0},"fib-17615343019692007359":{"op":"fib","children":["i64-17615343019692007359"],"eclass":"fib-17615343019692007359-value","cost":1.0},"fib-5040379952546458196-value":{"op":"3","children":[],"eclass":"fib-5040379952546458196-value","cost":0.0},"i64-5040379952546458196":{"op":"4","children":[],"eclass":"i64-5040379952546458196","cost":0.0},"fib-5040379952546458196":{"op":"fib","children":["i64-5040379952546458196"],"eclass":"fib-5040379952546458196-value","cost":1.0},"fib-10912160959110460649-value":{"op":"5","children":[],"eclass":"fib-10912160959110460649-value","cost":0.0},"i64-10912160959110460649":{"op":"5","children":[],"eclass":"i64-10912160959110460649","cost":0.0},"fib-10912160959110460649":{"op":"fib","children":["i64-10912160959110460649"],"eclass":"fib-10912160959110460649-value","cost":1.0},"fib-16783941965674463102-value":{"op":"8","children":[],"eclass":"fib-16783941965674463102-value","cost":0.0},"i64-16783941965674463102":{"op":"6","children":[],"eclass":"i64-16783941965674463102","cost":0.0},"fib-16783941965674463102":{"op":"fib","children":["i64-16783941965674463102"],"eclass":"fib-16783941965674463102-value","cost":1.0},"fib-4208978898528913939-value":{"op":"13","children":[],"eclass":"fib-4208978898528913939-value","cost":0.0},"i64-4208978898528913939":{"op":"7","children":[],"eclass":"i64-4208978898528913939","cost":0.0},"fib-4208978898528913939":{"op":"fib","children":["i64-4208978898528913939"],"eclass":"fib-4208978898528913939-value","cost":1.0},"fib-10080759905092916392-value":{"op":"21","children":[],"eclass":"fib-10080759905092916392-value","cost":0.0},"i64-10080759905092916392":{"op":"8","children":[],"eclass":"i64-10080759905092916392","cost":0.0},"fib-10080759905092916392":{"op":"fib","children":["i64-10080759905092916392"],"eclass":"fib-10080759905092916392-value","cost":1.0}},"root_eclasses":[],"class_data":{"fib-0-value":{"type":"i64"},"i64-0":{"type":"i64"},"fib-5871781006564002453-value":{"type":"i64"},"i64-5871781006564002453":{"type":"i64"},"fib-11743562013128004906-value":{"type":"i64"},"i64-11743562013128004906":{"type":"i64"},"fib-17615343019692007359-value":{"type":"i64"},"i64-17615343019692007359":{"type":"i64"},"fib-5040379952546458196-value":{"type":"i64"},"i64-5040379952546458196":{"type":"i64"},"fib-10912160959110460649-value":{"type":"i64"},"i64-10912160959110460649":{"type":"i64"},"fib-16783941965674463102-value":{"type":"i64"},"i64-16783941965674463102":{"type":"i64"},"fib-4208978898528913939-value":{"type":"i64"},"i64-4208978898528913939":{"type":"i64"},"fib-10080759905092916392-value":{"type":"i64"},"i64-10080759905092916392":{"type":"i64"}}}
\ No newline at end of file