docs/tests/list.inet.six-soles.finial.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="312pt" height="639pt"
 viewBox="0.00 0.00 312.50 638.60" 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 634.6)">
<polygon fill="white" stroke="none" points="-4,4 -4,-634.6 308.5,-634.6 308.5,4 -4,4"/>
<!-- cons#2 -->
<g id="node1" class="node">
<title>cons#2</title>
<ellipse fill="none" stroke="black" cx="81.25" cy="-106.8" rx="38.29" ry="18"/>
<text text-anchor="middle" x="81.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="M72.57,-89.06C64.6,-73.69 52.86,-51.04 44.9,-35.68"/>
<text text-anchor="middle" x="72.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="M89.93,-89.06C97.89,-73.69 109.64,-51.04 117.6,-35.68"/>
<text text-anchor="middle" x="117.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="128.25" cy="-195.6" rx="38.29" ry="18"/>
<text text-anchor="middle" x="128.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="M119.19,-177.86C110.86,-162.49 98.6,-139.84 90.28,-124.48"/>
<text text-anchor="middle" x="118.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="174.25" cy="-106.8" rx="36.5" ry="18"/>
<text text-anchor="middle" x="174.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="M137.12,-177.86C145.26,-162.49 157.27,-139.84 165.41,-124.48"/>
<text text-anchor="middle" x="164.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="175.25" cy="-284.4" rx="38.29" ry="18"/>
<text text-anchor="middle" x="175.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="M166.19,-266.66C157.86,-251.29 145.6,-228.64 137.28,-213.28"/>
<text text-anchor="middle" x="164.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="221.25" cy="-195.6" rx="36.5" ry="18"/>
<text text-anchor="middle" x="221.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="M184.12,-266.66C192.26,-251.29 204.27,-228.64 212.41,-213.28"/>
<text text-anchor="middle" x="211.58" y="-235.8" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#17 -->
<g id="node8" class="node">
<title>cons#17</title>
<ellipse fill="none" stroke="black" cx="88.25" cy="-550.8" rx="43.45" ry="18"/>
<text text-anchor="middle" x="88.25" y="-546.6" font-family="Times,serif" font-size="14.00">cons#17</text>
</g>
<!-- sole#12 -->
<g id="node9" class="node">
<title>sole#12</title>
<ellipse fill="none" stroke="black" cx="67.25" cy="-462" rx="41.16" ry="18"/>
<text text-anchor="middle" x="67.25" y="-457.8" font-family="Times,serif" font-size="14.00">sole#12</text>
</g>
<!-- cons#17&#45;&#45;sole#12 -->
<g id="edge7" class="edge">
<title>cons#17&#45;&#45;sole#12</title>
<path fill="none" stroke="black" d="M84.1,-532.65C80.42,-517.43 75.07,-495.32 71.39,-480.11"/>
<text text-anchor="middle" x="89.58" y="-502.2" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#19 -->
<g id="node10" class="node">
<title>cons#19</title>
<ellipse fill="none" stroke="black" cx="169.25" cy="-462" rx="43.45" ry="18"/>
<text text-anchor="middle" x="169.25" y="-457.8" font-family="Times,serif" font-size="14.00">cons#19</text>
</g>
<!-- cons#17&#45;&#45;cons#19 -->
<g id="edge9" class="edge">
<title>cons#17&#45;&#45;cons#19</title>
<path fill="none" stroke="black" d="M103.11,-533.88C117.63,-518.32 139.63,-494.74 154.21,-479.11"/>
<text text-anchor="middle" x="144.58" y="-502.2" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#10 -->
<g id="node11" class="node">
<title>sole#10</title>
<ellipse fill="none" stroke="black" cx="133.25" cy="-373.2" rx="41.16" ry="18"/>
<text text-anchor="middle" x="133.25" y="-369" font-family="Times,serif" font-size="14.00">sole#10</text>
</g>
<!-- cons#19&#45;&#45;sole#10 -->
<g id="edge8" class="edge">
<title>cons#19&#45;&#45;sole#10</title>
<path fill="none" stroke="black" d="M162.14,-443.85C155.78,-428.54 146.53,-406.23 140.22,-391.02"/>
<text text-anchor="middle" x="163.58" y="-413.4" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#21 -->
<g id="node12" class="node">
<title>cons#21</title>
<ellipse fill="none" stroke="black" cx="235.25" cy="-373.2" rx="43.45" ry="18"/>
<text text-anchor="middle" x="235.25" y="-369" font-family="Times,serif" font-size="14.00">cons#21</text>
</g>
<!-- cons#19&#45;&#45;cons#21 -->
<g id="edge11" class="edge">
<title>cons#19&#45;&#45;cons#21</title>
<path fill="none" stroke="black" d="M181.66,-444.67C193.46,-429.16 211.11,-405.95 222.89,-390.45"/>
<text text-anchor="middle" x="216.58" y="-413.4" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- cons#21&#45;&#45;cons#6 -->
<g id="edge12" class="edge">
<title>cons#21&#45;&#45;cons#6</title>
<path fill="none" stroke="black" d="M223.68,-355.46C212.99,-340 197.19,-317.15 186.58,-301.79"/>
<text text-anchor="middle" x="219.58" y="-324.6" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#8 -->
<g id="node13" class="node">
<title>sole#8</title>
<ellipse fill="none" stroke="black" cx="268.25" cy="-284.4" rx="36.5" ry="18"/>
<text text-anchor="middle" x="268.25" y="-280.2" font-family="Times,serif" font-size="14.00">sole#8</text>
</g>
<!-- cons#21&#45;&#45;sole#8 -->
<g id="edge10" class="edge">
<title>cons#21&#45;&#45;sole#8</title>
<path fill="none" stroke="black" d="M241.77,-355.05C247.59,-339.74 256.07,-317.43 261.86,-302.22"/>
<text text-anchor="middle" x="263.58" y="-324.6" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#17(2) -->
<g id="node14" class="node">
<title>cons#17(2)</title>
<text text-anchor="middle" x="88.25" y="-614" font-family="Times,serif" font-size="14.00">cons#17(2)</text>
</g>
<!-- cons#17(2)&#45;&#45;cons#17 -->
<g id="edge13" class="edge">
<title>cons#17(2)&#45;&#45;cons#17</title>
<path fill="none" stroke="black" d="M88.25,-605.81C88.25,-595.63 88.25,-580.59 88.25,-568.96"/>
</g>
</g>
</svg>