102 lines
5.4 KiB
XML
102 lines
5.4 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
<!-- Generated by graphviz version 2.43.0 (0)
|
|
-->
|
|
<!-- Title: root Pages: 1 -->
|
|
<svg width="490pt" height="162pt"
|
|
viewBox="0.00 0.00 489.69 162.07" 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 158.07)">
|
|
<title>root</title>
|
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-158.07 485.69,-158.07 485.69,4 -4,4"/>
|
|
<!-- z0 -->
|
|
<g id="node1" class="node">
|
|
<title>z0</title>
|
|
<ellipse fill="none" stroke="black" cx="21.45" cy="-39.63" rx="21.4" ry="21.4"/>
|
|
<text text-anchor="middle" x="21.45" y="-35.93" font-family="Times,serif" font-size="14.00">z0</text>
|
|
</g>
|
|
<!-- z2 -->
|
|
<g id="node2" class="node">
|
|
<title>z2</title>
|
|
<ellipse fill="none" stroke="black" cx="287.79" cy="-95.63" rx="21.4" ry="21.4"/>
|
|
<ellipse fill="none" stroke="black" cx="287.79" cy="-95.63" rx="25.4" ry="25.4"/>
|
|
<text text-anchor="middle" x="287.79" y="-91.93" font-family="Times,serif" font-size="14.00">z2</text>
|
|
</g>
|
|
<!-- z0->z2 -->
|
|
<g id="edge1" class="edge">
|
|
<title>z0->z2</title>
|
|
<path fill="none" stroke="black" d="M35.33,-56.2C48.41,-71.57 70.23,-93.4 94.9,-102.63 147.49,-122.3 213.96,-113.05 253.27,-104.43"/>
|
|
<polygon fill="black" stroke="black" points="254.17,-107.81 263.12,-102.15 252.59,-100.99 254.17,-107.81"/>
|
|
<text text-anchor="middle" x="116.34" y="-115.43" font-family="Times,serif" font-size="14.00">'b'</text>
|
|
</g>
|
|
<!-- z1 -->
|
|
<g id="node3" class="node">
|
|
<title>z1</title>
|
|
<ellipse fill="none" stroke="black" cx="116.34" cy="-39.63" rx="21.4" ry="21.4"/>
|
|
<text text-anchor="middle" x="116.34" y="-35.93" font-family="Times,serif" font-size="14.00">z1</text>
|
|
</g>
|
|
<!-- z0->z1 -->
|
|
<g id="edge2" class="edge">
|
|
<title>z0->z1</title>
|
|
<path fill="none" stroke="black" d="M43.06,-39.63C55.21,-39.63 70.82,-39.63 84.41,-39.63"/>
|
|
<polygon fill="black" stroke="black" points="84.79,-43.13 94.79,-39.63 84.79,-36.13 84.79,-43.13"/>
|
|
<text text-anchor="middle" x="68.9" y="-43.43" font-family="Times,serif" font-size="14.00">'a'</text>
|
|
</g>
|
|
<!-- z3 -->
|
|
<g id="node4" class="node">
|
|
<title>z3</title>
|
|
<ellipse fill="none" stroke="black" cx="460.24" cy="-37.63" rx="21.4" ry="21.4"/>
|
|
<text text-anchor="middle" x="460.24" y="-33.93" font-family="Times,serif" font-size="14.00">z3</text>
|
|
</g>
|
|
<!-- z0->z3 -->
|
|
<g id="edge3" class="edge">
|
|
<title>z0->z3</title>
|
|
<path fill="none" stroke="black" d="M40.58,-29.77C54.86,-22.59 75.54,-13.48 94.9,-9.63 217.24,14.7 366.58,-14.86 429.28,-29.88"/>
|
|
<polygon fill="black" stroke="black" points="428.72,-33.35 439.27,-32.33 430.39,-26.55 428.72,-33.35"/>
|
|
<text text-anchor="middle" x="193.79" y="-5.43" font-family="Times,serif" font-size="14.00">00-'`','c'-7f</text>
|
|
</g>
|
|
<!-- z2->z2 -->
|
|
<g id="edge8" class="edge">
|
|
<title>z2->z2</title>
|
|
<path fill="none" stroke="black" d="M271.62,-115.74C268.03,-127.76 273.42,-139.07 287.79,-139.07 298.01,-139.07 303.69,-133.36 304.83,-125.73"/>
|
|
<polygon fill="black" stroke="black" points="308.31,-125.4 303.96,-115.74 301.34,-126 308.31,-125.4"/>
|
|
<text text-anchor="middle" x="287.79" y="-142.87" font-family="Times,serif" font-size="14.00">'a'</text>
|
|
</g>
|
|
<!-- z2->z3 -->
|
|
<g id="edge7" class="edge">
|
|
<title>z2->z3</title>
|
|
<path fill="none" stroke="black" d="M312.23,-88.03C338.67,-79.41 382.93,-64.83 420.79,-51.63 423.88,-50.55 427.1,-49.41 430.3,-48.26"/>
|
|
<polygon fill="black" stroke="black" points="431.51,-51.55 439.72,-44.85 429.12,-44.96 431.51,-51.55"/>
|
|
<text text-anchor="middle" x="382.29" y="-80.43" font-family="Times,serif" font-size="14.00">00-'`','b'-7f</text>
|
|
</g>
|
|
<!-- z1->z2 -->
|
|
<g id="edge5" class="edge">
|
|
<title>z1->z2</title>
|
|
<path fill="none" stroke="black" d="M137.11,-46.16C165.72,-55.61 219.01,-73.23 253.68,-84.68"/>
|
|
<polygon fill="black" stroke="black" points="252.77,-88.07 263.36,-87.88 254.96,-81.42 252.77,-88.07"/>
|
|
<text text-anchor="middle" x="193.79" y="-79.43" font-family="Times,serif" font-size="14.00">'b'</text>
|
|
</g>
|
|
<!-- z1->z1 -->
|
|
<g id="edge4" class="edge">
|
|
<title>z1->z1</title>
|
|
<path fill="none" stroke="black" d="M108.02,-59.52C106.74,-69.8 109.52,-79.07 116.34,-79.07 120.72,-79.07 123.43,-75.27 124.48,-69.83"/>
|
|
<polygon fill="black" stroke="black" points="127.98,-69.58 124.67,-59.52 120.98,-69.45 127.98,-69.58"/>
|
|
<text text-anchor="middle" x="116.34" y="-82.87" font-family="Times,serif" font-size="14.00">'a'</text>
|
|
</g>
|
|
<!-- z1->z3 -->
|
|
<g id="edge6" class="edge">
|
|
<title>z1->z3</title>
|
|
<path fill="none" stroke="black" d="M137.96,-39.51C195.79,-39.17 359.79,-38.21 428.43,-37.81"/>
|
|
<polygon fill="black" stroke="black" points="428.62,-41.31 438.6,-37.75 428.58,-34.31 428.62,-41.31"/>
|
|
<text text-anchor="middle" x="287.79" y="-42.43" font-family="Times,serif" font-size="14.00">00-'`','c'-7f</text>
|
|
</g>
|
|
<!-- z3->z3 -->
|
|
<g id="edge9" class="edge">
|
|
<title>z3->z3</title>
|
|
<path fill="none" stroke="black" d="M447.12,-55.07C443.69,-66.28 448.07,-77.07 460.24,-77.07 468.61,-77.07 473.29,-71.97 474.29,-65.14"/>
|
|
<polygon fill="black" stroke="black" points="477.76,-64.71 473.36,-55.07 470.79,-65.35 477.76,-64.71"/>
|
|
<text text-anchor="middle" x="460.24" y="-80.87" font-family="Times,serif" font-size="14.00">00-7f</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|