docs/tests/list.inet.six-soles.initial.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 6.0.1 (20220924.0800)
 -->
<!-- Pages: 1 -->
<svg width="513pt" height="461pt"
 viewBox="0.00 0.00 513.33 461.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 457)">
<polygon fill="white" stroke="none" points="-4,4 -4,-457 509.33,-457 509.33,4 -4,4"/>
<!-- cons#2 -->
<g id="node1" class="node">
<title>cons#2</title>
<ellipse fill="none" stroke="black" cx="79.25" cy="-106.8" rx="38.29" ry="18"/>
<text text-anchor="middle" x="79.25" y="-102.6" font-family="Times,serif" font-size="14.00">cons#2</text>
</g>
<!-- sole#1 -->
<g id="node2" class="node">
<title>sole#1</title>
<ellipse fill="none" stroke="black" cx="36.25" cy="-18" rx="36.5" ry="18"/>
<text text-anchor="middle" x="36.25" y="-13.8" font-family="Times,serif" font-size="14.00">sole#1</text>
</g>
<!-- cons#2&#45;&#45;sole#1 -->
<g id="edge1" class="edge">
<title>cons#2&#45;&#45;sole#1</title>
<path fill="none" stroke="black" d="M70.96,-89.06C63.34,-73.69 52.12,-51.04 44.51,-35.68"/>
<text text-anchor="middle" x="71.58" y="-58.2" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- null#0 -->
<g id="node3" class="node">
<title>null#0</title>
<ellipse fill="none" stroke="black" cx="126.25" cy="-18" rx="35.93" ry="18"/>
<text text-anchor="middle" x="126.25" y="-13.8" font-family="Times,serif" font-size="14.00">null#0</text>
</g>
<!-- cons#2&#45;&#45;null#0 -->
<g id="edge2" class="edge">
<title>cons#2&#45;&#45;null#0</title>
<path fill="none" stroke="black" d="M88.31,-89.06C96.63,-73.69 108.9,-51.04 117.21,-35.68"/>
<text text-anchor="middle" x="116.58" y="-58.2" font-family="Times,serif" font-size="14.00">0&#45;0</text>
</g>
<!-- cons#4 -->
<g id="node4" class="node">
<title>cons#4</title>
<ellipse fill="none" stroke="black" cx="171.25" cy="-195.6" rx="38.29" ry="18"/>
<text text-anchor="middle" x="171.25" y="-191.4" font-family="Times,serif" font-size="14.00">cons#4</text>
</g>
<!-- cons#4&#45;&#45;cons#2 -->
<g id="edge4" class="edge">
<title>cons#4&#45;&#45;cons#2</title>
<path fill="none" stroke="black" d="M154.8,-179.08C138.06,-163.28 112.25,-138.93 95.55,-123.18"/>
<text text-anchor="middle" x="143.58" y="-147" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#3 -->
<g id="node5" class="node">
<title>sole#3</title>
<ellipse fill="none" stroke="black" cx="172.25" cy="-106.8" rx="36.5" ry="18"/>
<text text-anchor="middle" x="172.25" y="-102.6" font-family="Times,serif" font-size="14.00">sole#3</text>
</g>
<!-- cons#4&#45;&#45;sole#3 -->
<g id="edge3" class="edge">
<title>cons#4&#45;&#45;sole#3</title>
<path fill="none" stroke="black" d="M171.45,-177.45C171.62,-162.23 171.88,-140.12 172.05,-124.91"/>
<text text-anchor="middle" x="181.58" y="-147" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#6 -->
<g id="node6" class="node">
<title>cons#6</title>
<ellipse fill="none" stroke="black" cx="262.25" cy="-284.4" rx="38.29" ry="18"/>
<text text-anchor="middle" x="262.25" y="-280.2" font-family="Times,serif" font-size="14.00">cons#6</text>
</g>
<!-- cons#6&#45;&#45;cons#4 -->
<g id="edge6" class="edge">
<title>cons#6&#45;&#45;cons#4</title>
<path fill="none" stroke="black" d="M245.98,-267.88C229.42,-252.08 203.89,-227.73 187.38,-211.98"/>
<text text-anchor="middle" x="234.58" y="-235.8" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#5 -->
<g id="node7" class="node">
<title>sole#5</title>
<ellipse fill="none" stroke="black" cx="264.25" cy="-195.6" rx="36.5" ry="18"/>
<text text-anchor="middle" x="264.25" y="-191.4" font-family="Times,serif" font-size="14.00">sole#5</text>
</g>
<!-- cons#6&#45;&#45;sole#5 -->
<g id="edge5" class="edge">
<title>cons#6&#45;&#45;sole#5</title>
<path fill="none" stroke="black" d="M262.64,-266.25C263,-251.03 263.5,-228.92 263.85,-213.71"/>
<text text-anchor="middle" x="273.58" y="-235.8" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#9 -->
<g id="node8" class="node">
<title>cons#9</title>
<ellipse fill="none" stroke="black" cx="266.25" cy="-106.8" rx="38.29" ry="18"/>
<text text-anchor="middle" x="266.25" y="-102.6" font-family="Times,serif" font-size="14.00">cons#9</text>
</g>
<!-- sole#8 -->
<g id="node9" class="node">
<title>sole#8</title>
<ellipse fill="none" stroke="black" cx="219.25" cy="-18" rx="36.5" ry="18"/>
<text text-anchor="middle" x="219.25" y="-13.8" font-family="Times,serif" font-size="14.00">sole#8</text>
</g>
<!-- cons#9&#45;&#45;sole#8 -->
<g id="edge7" class="edge">
<title>cons#9&#45;&#45;sole#8</title>
<path fill="none" stroke="black" d="M257.19,-89.06C248.86,-73.69 236.6,-51.04 228.28,-35.68"/>
<text text-anchor="middle" x="256.58" y="-58.2" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- null#7 -->
<g id="node10" class="node">
<title>null#7</title>
<ellipse fill="none" stroke="black" cx="309.25" cy="-18" rx="35.93" ry="18"/>
<text text-anchor="middle" x="309.25" y="-13.8" font-family="Times,serif" font-size="14.00">null#7</text>
</g>
<!-- cons#9&#45;&#45;null#7 -->
<g id="edge8" class="edge">
<title>cons#9&#45;&#45;null#7</title>
<path fill="none" stroke="black" d="M274.54,-89.06C282.15,-73.69 293.38,-51.04 300.98,-35.68"/>
<text text-anchor="middle" x="301.58" y="-58.2" font-family="Times,serif" font-size="14.00">0&#45;0</text>
</g>
<!-- cons#11 -->
<g id="node11" class="node">
<title>cons#11</title>
<ellipse fill="none" stroke="black" cx="362.25" cy="-195.6" rx="43.45" ry="18"/>
<text text-anchor="middle" x="362.25" y="-191.4" font-family="Times,serif" font-size="14.00">cons#11</text>
</g>
<!-- cons#11&#45;&#45;cons#9 -->
<g id="edge10" class="edge">
<title>cons#11&#45;&#45;cons#9</title>
<path fill="none" stroke="black" d="M344.64,-178.68C327.1,-162.82 300.37,-138.65 283.1,-123.04"/>
<text text-anchor="middle" x="332.58" y="-147" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#10 -->
<g id="node12" class="node">
<title>sole#10</title>
<ellipse fill="none" stroke="black" cx="363.25" cy="-106.8" rx="41.16" ry="18"/>
<text text-anchor="middle" x="363.25" y="-102.6" font-family="Times,serif" font-size="14.00">sole#10</text>
</g>
<!-- cons#11&#45;&#45;sole#10 -->
<g id="edge9" class="edge">
<title>cons#11&#45;&#45;sole#10</title>
<path fill="none" stroke="black" d="M362.45,-177.45C362.62,-162.23 362.88,-140.12 363.05,-124.91"/>
<text text-anchor="middle" x="372.58" y="-147" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#13 -->
<g id="node13" class="node">
<title>cons#13</title>
<ellipse fill="none" stroke="black" cx="362.25" cy="-284.4" rx="43.45" ry="18"/>
<text text-anchor="middle" x="362.25" y="-280.2" font-family="Times,serif" font-size="14.00">cons#13</text>
</g>
<!-- cons#13&#45;&#45;cons#11 -->
<g id="edge12" class="edge">
<title>cons#13&#45;&#45;cons#11</title>
<path fill="none" stroke="black" d="M362.25,-266.25C362.25,-251.03 362.25,-228.92 362.25,-213.71"/>
<text text-anchor="middle" x="371.58" y="-235.8" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#12 -->
<g id="node14" class="node">
<title>sole#12</title>
<ellipse fill="none" stroke="black" cx="464.25" cy="-195.6" rx="41.16" ry="18"/>
<text text-anchor="middle" x="464.25" y="-191.4" font-family="Times,serif" font-size="14.00">sole#12</text>
</g>
<!-- cons#13&#45;&#45;sole#12 -->
<g id="edge11" class="edge">
<title>cons#13&#45;&#45;sole#12</title>
<path fill="none" stroke="black" d="M380.48,-267.88C399.05,-252.08 427.66,-227.73 446.17,-211.98"/>
<text text-anchor="middle" x="432.58" y="-235.8" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- append#14 -->
<g id="node15" class="node">
<title>append#14</title>
<ellipse fill="none" stroke="black" cx="312.25" cy="-373.2" rx="53.32" ry="18"/>
<text text-anchor="middle" x="312.25" y="-369" font-family="Times,serif" font-size="14.00">append#14</text>
</g>
<!-- append#14&#45;&#45;cons#6 -->
<g id="edge13" class="edge">
<title>append#14&#45;&#45;cons#6</title>
<path fill="none" stroke="black" d="M302.61,-355.46C293.75,-340.09 280.7,-317.44 271.86,-302.08"/>
<text text-anchor="middle" x="301.58" y="-324.6" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- append#14&#45;&#45;cons#13 -->
<g id="edge14" class="edge">
<title>append#14&#45;&#45;cons#13</title>
<path fill="none" stroke="red" d="M321.89,-355.46C330.74,-340.09 343.79,-317.44 352.64,-302.08"/>
<text text-anchor="middle" x="351.58" y="-324.6" font-family="Times,serif" font-size="14.00">1&#45;2</text>
</g>
<!-- append#14(2) -->
<g id="node16" class="node">
<title>append#14(2)</title>
<text text-anchor="middle" x="312.25" y="-436.4" font-family="Times,serif" font-size="14.00">append#14(2)</text>
</g>
<!-- append#14(2)&#45;&#45;append#14 -->
<g id="edge15" class="edge">
<title>append#14(2)&#45;&#45;append#14</title>
<path fill="none" stroke="black" d="M312.25,-428.21C312.25,-418.03 312.25,-402.99 312.25,-391.36"/>
</g>
</g>
</svg>