docs/tests/diff-list.inet.two-two-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="335pt" height="461pt"
 viewBox="0.00 0.00 335.30 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 331.3,-457 331.3,4 -4,4"/>
<!-- cons#16 -->
<g id="node1" class="node">
<title>cons#16</title>
<ellipse fill="none" stroke="black" cx="43.22" cy="-106.8" rx="43.45" ry="18"/>
<text text-anchor="middle" x="43.22" y="-102.6" font-family="Times,serif" font-size="14.00">cons#16</text>
</g>
<!-- sole#15 -->
<g id="node2" class="node">
<title>sole#15</title>
<ellipse fill="none" stroke="black" cx="43.22" cy="-18" rx="41.16" ry="18"/>
<text text-anchor="middle" x="43.22" y="-13.8" font-family="Times,serif" font-size="14.00">sole#15</text>
</g>
<!-- cons#16&#45;&#45;sole#15 -->
<g id="edge1" class="edge">
<title>cons#16&#45;&#45;sole#15</title>
<path fill="none" stroke="black" d="M43.22,-88.65C43.22,-73.43 43.22,-51.32 43.22,-36.11"/>
<text text-anchor="middle" x="52.55" y="-58.2" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#18 -->
<g id="node3" class="node">
<title>cons#18</title>
<ellipse fill="none" stroke="black" cx="81.22" cy="-284.4" rx="43.45" ry="18"/>
<text text-anchor="middle" x="81.22" y="-280.2" font-family="Times,serif" font-size="14.00">cons#18</text>
</g>
<!-- cons#18&#45;&#45;cons#16 -->
<g id="edge3" class="edge">
<title>cons#18&#45;&#45;cons#16</title>
<path fill="none" stroke="black" d="M59.94,-268.72C43.8,-256.2 22.88,-236.59 13.56,-213.6 1.17,-183.01 19.07,-145.45 31.98,-124.31"/>
<text text-anchor="middle" x="23.55" y="-191.4" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#17 -->
<g id="node4" class="node">
<title>sole#17</title>
<ellipse fill="none" stroke="black" cx="82.22" cy="-195.6" rx="41.16" ry="18"/>
<text text-anchor="middle" x="82.22" y="-191.4" font-family="Times,serif" font-size="14.00">sole#17</text>
</g>
<!-- cons#18&#45;&#45;sole#17 -->
<g id="edge2" class="edge">
<title>cons#18&#45;&#45;sole#17</title>
<path fill="none" stroke="black" d="M81.42,-266.25C81.6,-251.03 81.85,-228.92 82.03,-213.71"/>
<text text-anchor="middle" x="91.55" y="-235.8" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#22 -->
<g id="node5" class="node">
<title>cons#22</title>
<ellipse fill="none" stroke="black" cx="184.22" cy="-195.6" rx="43.45" ry="18"/>
<text text-anchor="middle" x="184.22" y="-191.4" font-family="Times,serif" font-size="14.00">cons#22</text>
</g>
<!-- cons#22&#45;&#45;cons#16 -->
<g id="edge8" class="edge">
<title>cons#22&#45;&#45;cons#16</title>
<path fill="none" stroke="black" d="M160.94,-180.27C134.81,-164.18 92.68,-138.25 66.54,-122.15"/>
<text text-anchor="middle" x="136.55" y="-147" font-family="Times,serif" font-size="14.00">0&#45;0</text>
</g>
<!-- sole#21 -->
<g id="node6" class="node">
<title>sole#21</title>
<ellipse fill="none" stroke="black" cx="184.22" cy="-106.8" rx="41.16" ry="18"/>
<text text-anchor="middle" x="184.22" y="-102.6" font-family="Times,serif" font-size="14.00">sole#21</text>
</g>
<!-- cons#22&#45;&#45;sole#21 -->
<g id="edge4" class="edge">
<title>cons#22&#45;&#45;sole#21</title>
<path fill="none" stroke="black" d="M184.22,-177.45C184.22,-162.23 184.22,-140.12 184.22,-124.91"/>
<text text-anchor="middle" x="193.55" y="-147" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- cons#24 -->
<g id="node7" class="node">
<title>cons#24</title>
<ellipse fill="none" stroke="black" cx="185.22" cy="-284.4" rx="43.45" ry="18"/>
<text text-anchor="middle" x="185.22" y="-280.2" font-family="Times,serif" font-size="14.00">cons#24</text>
</g>
<!-- cons#24&#45;&#45;cons#22 -->
<g id="edge6" class="edge">
<title>cons#24&#45;&#45;cons#22</title>
<path fill="none" stroke="black" d="M185.03,-266.25C184.85,-251.03 184.6,-228.92 184.42,-213.71"/>
<text text-anchor="middle" x="194.55" y="-235.8" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- sole#23 -->
<g id="node8" class="node">
<title>sole#23</title>
<ellipse fill="none" stroke="black" cx="286.22" cy="-195.6" rx="41.16" ry="18"/>
<text text-anchor="middle" x="286.22" y="-191.4" font-family="Times,serif" font-size="14.00">sole#23</text>
</g>
<!-- cons#24&#45;&#45;sole#23 -->
<g id="edge5" class="edge">
<title>cons#24&#45;&#45;sole#23</title>
<path fill="none" stroke="black" d="M203.28,-267.88C221.66,-252.08 250,-227.73 268.32,-211.98"/>
<text text-anchor="middle" x="254.55" y="-235.8" font-family="Times,serif" font-size="14.00">1&#45;0</text>
</g>
<!-- diff#29 -->
<g id="node9" class="node">
<title>diff#29</title>
<ellipse fill="none" stroke="black" cx="133.22" cy="-373.2" rx="39.43" ry="18"/>
<text text-anchor="middle" x="133.22" y="-369" font-family="Times,serif" font-size="14.00">diff#29</text>
</g>
<!-- diff#29&#45;&#45;cons#18 -->
<g id="edge9" class="edge">
<title>diff#29&#45;&#45;cons#18</title>
<path fill="none" stroke="black" d="M123.2,-355.46C113.99,-340.09 100.42,-317.44 91.22,-302.08"/>
<text text-anchor="middle" x="121.55" y="-324.6" font-family="Times,serif" font-size="14.00">0&#45;2</text>
</g>
<!-- diff#29&#45;&#45;cons#24 -->
<g id="edge7" class="edge">
<title>diff#29&#45;&#45;cons#24</title>
<path fill="none" stroke="black" d="M143.25,-355.46C152.46,-340.09 166.03,-317.44 175.23,-302.08"/>
<text text-anchor="middle" x="173.55" y="-324.6" font-family="Times,serif" font-size="14.00">1&#45;2</text>
</g>
<!-- diff#29(2) -->
<g id="node10" class="node">
<title>diff#29(2)</title>
<text text-anchor="middle" x="133.22" y="-436.4" font-family="Times,serif" font-size="14.00">diff#29(2)</text>
</g>
<!-- diff#29(2)&#45;&#45;diff#29 -->
<g id="edge10" class="edge">
<title>diff#29(2)&#45;&#45;diff#29</title>
<path fill="none" stroke="black" d="M133.22,-428.21C133.22,-418.03 133.22,-402.99 133.22,-391.36"/>
</g>
</g>
</svg>