example: Stage all the figures.

This commit is contained in:
Sergiu Ivanov 2020-11-12 22:56:53 +01:00
parent ce0925e41e
commit d24dadd4cd
7 changed files with 413 additions and 0 deletions

View File

@ -0,0 +1,45 @@
<?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: G Pages: 1 -->
<svg width="289pt" height="48pt"
viewBox="0.00 0.00 289.45 48.29" 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 44.29)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-44.29 285.45,-44.29 285.45,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="217.45" cy="-20.14" rx="27" ry="18"/>
<text text-anchor="middle" x="217.45" y="-16.44" font-family="Times-Roman" font-size="14.00">{}</text>
</g>
<!-- node0&#45;&gt;node0 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M242.89,-26.83C253.48,-27.29 262.45,-25.06 262.45,-20.14 262.45,-15.22 253.48,-12.99 242.89,-13.45"/>
<text text-anchor="middle" x="271.95" y="-16.44" font-family="Times-Roman" font-size="14.00">{}</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="27.3" cy="-20.14" rx="27.1" ry="18"/>
<text text-anchor="middle" x="27.3" y="-16.44" font-family="Times-Roman" font-size="14.00">{z}</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge2" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M191.41,-15.32C158.45,-12.98 101.48,-12.77 64.09,-14.68"/>
<polygon fill="black" stroke="black" points="63.41,-11.21 53.63,-15.3 63.83,-18.2 63.41,-11.21"/>
<text text-anchor="middle" x="113.75" y="-3.8" font-family="Times-Roman" font-size="14.00">{b}</text>
</g>
<!-- node1&#45;&gt;node0 -->
<g id="edge3" class="edge">
<title>node1&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M53.74,-24.99C86.8,-27.3 143.58,-27.51 180.82,-25.6"/>
<polygon fill="black" stroke="black" points="181.46,-29.06 191.23,-24.97 181.04,-22.08 181.46,-29.06"/>
<text text-anchor="middle" x="107.78" y="-29.09" font-family="Times-Roman" font-size="14.00">{}</text>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 2.2 KiB

View File

@ -0,0 +1,43 @@
<?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: G Pages: 1 -->
<svg width="93pt" height="131pt"
viewBox="0.00 0.00 93.19 131.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 127)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-127 89.19,-127 89.19,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="28.6" cy="-105" rx="28.7" ry="18"/>
<text text-anchor="middle" x="28.6" y="-101.3" font-family="Times-Roman" font-size="14.00">x:&#45;1</text>
</g>
<!-- node0&#45;&gt;node0 -->
<g id="edge2" class="edge">
<title>node0&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M54.47,-112.78C65.64,-113.42 75.19,-110.82 75.19,-105 75.19,-99.18 65.64,-96.58 54.47,-97.22"/>
<text text-anchor="middle" x="80.19" y="-101.3" font-family="Times-Roman" font-size="14.00">0</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="28.6" cy="-18" rx="27.9" ry="18"/>
<text text-anchor="middle" x="28.6" y="-14.3" font-family="Times-Roman" font-size="14.00">y:&#45;1</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M28.6,-86.8C28.6,-72.05 28.6,-50.92 28.6,-36.18"/>
<text text-anchor="middle" x="36.1" y="-57.8" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
<!-- node1&#45;&gt;node1 -->
<g id="edge3" class="edge">
<title>node1&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M54.11,-25.78C65.12,-26.42 74.54,-23.82 74.54,-18 74.54,-12.18 65.12,-9.58 54.11,-10.22"/>
<text text-anchor="middle" x="79.54" y="-14.3" font-family="Times-Roman" font-size="14.00">0</text>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 2.0 KiB

View File

@ -0,0 +1,91 @@
<?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: G Pages: 1 -->
<svg width="340pt" height="270pt"
viewBox="0.00 0.00 340.32 269.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 265.6)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-265.6 336.32,-265.6 336.32,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="272.32" cy="-243.6" rx="27" ry="18"/>
<text text-anchor="middle" x="272.32" y="-239.9" font-family="Times-Roman" font-size="14.00">B</text>
</g>
<!-- node0&#45;&gt;node0 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M297.76,-250.29C308.35,-250.75 317.32,-248.52 317.32,-243.6 317.32,-238.67 308.35,-236.44 297.76,-236.9"/>
<text text-anchor="middle" x="324.82" y="-239.9" font-family="Times-Roman" font-size="14.00">&#45;2</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="27" cy="-214.2" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-210.5" font-family="Times-Roman" font-size="14.00">A</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge4" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M247.5,-236.28C204.32,-228.08 115.13,-217.16 64.41,-213.66"/>
<polygon fill="black" stroke="black" points="64.39,-210.16 54.2,-213.03 63.96,-217.14 64.39,-210.16"/>
<text text-anchor="middle" x="150.96" y="-228.77" font-family="Times-Roman" font-size="14.00">1</text>
</g>
<!-- node2 -->
<g id="node3" class="node">
<title>node2</title>
<ellipse fill="none" stroke="black" cx="175.3" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="175.3" y="-14.3" font-family="Times-Roman" font-size="14.00">C</text>
</g>
<!-- node0&#45;&gt;node2 -->
<g id="edge5" class="edge">
<title>node0&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M268.62,-225.53C255.48,-185.59 214.61,-89.85 191.36,-43.69"/>
<polygon fill="black" stroke="black" points="194.38,-41.91 186.69,-34.63 188.16,-45.13 194.38,-41.91"/>
<text text-anchor="middle" x="224.99" y="-138.41" font-family="Times-Roman" font-size="14.00">2</text>
</g>
<!-- node1&#45;&gt;node0 -->
<g id="edge7" class="edge">
<title>node1&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M51.82,-221.52C95,-229.72 184.2,-240.64 234.91,-244.14"/>
<polygon fill="black" stroke="black" points="234.93,-247.64 245.12,-244.77 235.36,-240.66 234.93,-247.64"/>
<text text-anchor="middle" x="138.37" y="-236.63" font-family="Times-Roman" font-size="14.00">2</text>
</g>
<!-- node1&#45;&gt;node1 -->
<g id="edge2" class="edge">
<title>node1&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M52.44,-220.89C63.03,-221.36 72,-219.13 72,-214.2 72,-209.28 63.03,-207.05 52.44,-207.51"/>
<text text-anchor="middle" x="79.5" y="-210.5" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
<!-- node1&#45;&gt;node2 -->
<g id="edge6" class="edge">
<title>node1&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M43.1,-199.56C72.52,-166.38 133.83,-85.56 161.49,-43.8"/>
<polygon fill="black" stroke="black" points="164.51,-45.58 167,-35.28 158.63,-41.77 164.51,-45.58"/>
<text text-anchor="middle" x="94.79" y="-125.48" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
<!-- node2&#45;&gt;node0 -->
<g id="edge9" class="edge">
<title>node2&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M179,-36.07C192.15,-76 233.01,-171.75 256.26,-217.9"/>
<polygon fill="black" stroke="black" points="253.24,-219.68 260.94,-226.96 259.46,-216.47 253.24,-219.68"/>
<text text-anchor="middle" x="210.13" y="-130.78" font-family="Times-Roman" font-size="14.00">&#45;2</text>
</g>
<!-- node2&#45;&gt;node1 -->
<g id="edge8" class="edge">
<title>node2&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M159.2,-32.65C129.78,-65.82 68.47,-146.65 40.82,-188.4"/>
<polygon fill="black" stroke="black" points="37.79,-186.63 35.3,-196.92 43.67,-190.43 37.79,-186.63"/>
<text text-anchor="middle" x="95.01" y="-99.32" font-family="Times-Roman" font-size="14.00">2</text>
</g>
<!-- node2&#45;&gt;node2 -->
<g id="edge3" class="edge">
<title>node2&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M200.75,-24.69C211.33,-25.15 220.3,-22.92 220.3,-18 220.3,-13.08 211.33,-10.85 200.75,-11.31"/>
<text text-anchor="middle" x="227.8" y="-14.3" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 4.6 KiB

View File

@ -0,0 +1,43 @@
<?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: G Pages: 1 -->
<svg width="123pt" height="131pt"
viewBox="0.00 0.00 123.09 131.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 127)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-127 119.09,-127 119.09,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-105" rx="43.59" ry="18"/>
<text text-anchor="middle" x="43.55" y="-101.3" font-family="Times-Roman" font-size="14.00">&#39;(y . &#45;1)</text>
</g>
<!-- node0&#45;&gt;node0 -->
<g id="edge2" class="edge">
<title>node0&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M82.91,-112.87C95.31,-112.75 105.09,-110.13 105.09,-105 105.09,-99.87 95.31,-97.25 82.91,-97.13"/>
<text text-anchor="middle" x="110.09" y="-101.3" font-family="Times-Roman" font-size="14.00">0</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-18" rx="43.59" ry="18"/>
<text text-anchor="middle" x="43.55" y="-14.3" font-family="Times-Roman" font-size="14.00">&#39;(x . &#45;1)</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M43.55,-86.8C43.55,-72.05 43.55,-50.92 43.55,-36.18"/>
<text text-anchor="middle" x="51.05" y="-57.8" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
<!-- node1&#45;&gt;node1 -->
<g id="edge3" class="edge">
<title>node1&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M82.91,-25.87C95.31,-25.75 105.09,-23.13 105.09,-18 105.09,-12.87 95.31,-10.25 82.91,-10.13"/>
<text text-anchor="middle" x="110.09" y="-14.3" font-family="Times-Roman" font-size="14.00">0</text>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 2.0 KiB

View File

@ -0,0 +1,31 @@
<?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: G Pages: 1 -->
<svg width="95pt" height="131pt"
viewBox="0.00 0.00 95.09 131.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 127)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-127 91.09,-127 91.09,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-105" rx="43.59" ry="18"/>
<text text-anchor="middle" x="43.55" y="-101.3" font-family="Times-Roman" font-size="14.00">&#39;(y . &#45;1)</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-18" rx="43.59" ry="18"/>
<text text-anchor="middle" x="43.55" y="-14.3" font-family="Times-Roman" font-size="14.00">&#39;(x . &#45;1)</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M43.55,-86.8C43.55,-72.05 43.55,-50.92 43.55,-36.18"/>
<text text-anchor="middle" x="51.05" y="-57.8" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 1.4 KiB

View File

@ -0,0 +1,52 @@
<?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: G Pages: 1 -->
<svg width="333pt" height="143pt"
viewBox="0.00 0.00 333.03 143.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 139)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-139 329.03,-139 329.03,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="261.6" cy="-117" rx="41.69" ry="18"/>
<text text-anchor="middle" x="261.6" y="-113.3" font-family="Times-Roman" font-size="14.00">x:0 y:1</text>
</g>
<!-- node0&#45;&gt;node0 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M300.29,-123.74C312.02,-123.57 321.19,-121.32 321.19,-117 321.19,-112.68 312.02,-110.43 300.29,-110.26"/>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="283.44" cy="-51" rx="41.69" ry="18"/>
<text text-anchor="middle" x="283.44" y="-47.3" font-family="Times-Roman" font-size="14.00">x:0 y:0</text>
</g>
<!-- node2 -->
<g id="node3" class="node">
<title>node2</title>
<ellipse fill="none" stroke="black" cx="41.6" cy="-51" rx="41.69" ry="18"/>
<text text-anchor="middle" x="41.6" y="-47.3" font-family="Times-Roman" font-size="14.00">x:1 y:1</text>
</g>
<!-- node1&#45;&gt;node2 -->
<g id="edge2" class="edge">
<title>node1&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M241.59,-51C197.24,-51 127.64,-51 83.34,-51"/>
</g>
<!-- node3 -->
<g id="node4" class="node">
<title>node3</title>
<ellipse fill="none" stroke="black" cx="162.6" cy="-18" rx="41.69" ry="18"/>
<text text-anchor="middle" x="162.6" y="-14.3" font-family="Times-Roman" font-size="14.00">x:1 y:0</text>
</g>
<!-- node3&#45;&gt;node3 -->
<g id="edge3" class="edge">
<title>node3&#45;&gt;node3</title>
<path fill="none" stroke="black" d="M201.29,-24.74C213.02,-24.57 222.19,-22.32 222.19,-18 222.19,-13.68 213.02,-11.43 201.29,-11.26"/>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 2.2 KiB

View File

@ -0,0 +1,108 @@
<?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: G Pages: 1 -->
<svg width="1255pt" height="535pt"
viewBox="0.00 0.00 1255.23 535.04" 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 531.04)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-531.04 1251.23,-531.04 1251.23,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="600.32" cy="-509.04" rx="61.99" ry="18"/>
<text text-anchor="middle" x="600.32" y="-505.34" font-family="Times-Roman" font-size="14.00">A:1 B:1 C:1</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="622.95" cy="-234.18" rx="61.99" ry="18"/>
<text text-anchor="middle" x="622.95" y="-230.48" font-family="Times-Roman" font-size="14.00">A:1 B:0 C:0</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge2" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M601.8,-491.01C605.66,-444.22 615.99,-318.67 620.63,-262.28"/>
<polygon fill="black" stroke="black" points="624.12,-262.53 621.46,-252.28 617.15,-261.96 624.12,-262.53"/>
</g>
<!-- node3 -->
<g id="node4" class="node">
<title>node3</title>
<ellipse fill="none" stroke="black" cx="754.29" cy="-18" rx="61.99" ry="18"/>
<text text-anchor="middle" x="754.29" y="-14.3" font-family="Times-Roman" font-size="14.00">A:0 B:1 C:0</text>
</g>
<!-- node1&#45;&gt;node3 -->
<g id="edge3" class="edge">
<title>node1&#45;&gt;node3</title>
<path fill="none" stroke="black" d="M633.92,-216.12C657.06,-178.04 710.95,-89.33 738.08,-44.68"/>
<polygon fill="black" stroke="black" points="741.24,-46.22 743.44,-35.86 735.26,-42.58 741.24,-46.22"/>
</g>
<!-- node2 -->
<g id="node3" class="node">
<title>node2</title>
<ellipse fill="none" stroke="black" cx="61.74" cy="-130.8" rx="61.99" ry="18"/>
<text text-anchor="middle" x="61.74" y="-127.1" font-family="Times-Roman" font-size="14.00">A:1 B:1 C:0</text>
</g>
<!-- node4 -->
<g id="node5" class="node">
<title>node4</title>
<ellipse fill="none" stroke="black" cx="319.64" cy="-177.12" rx="61.99" ry="18"/>
<text text-anchor="middle" x="319.64" y="-173.42" font-family="Times-Roman" font-size="14.00">A:0 B:0 C:1</text>
</g>
<!-- node2&#45;&gt;node4 -->
<g id="edge4" class="edge">
<title>node2&#45;&gt;node4</title>
<path fill="none" stroke="black" d="M114.56,-140.29C155.84,-147.71 213.36,-158.04 256.97,-165.87"/>
<polygon fill="black" stroke="black" points="256.44,-169.33 266.9,-167.65 257.67,-162.44 256.44,-169.33"/>
</g>
<!-- node6 -->
<g id="node7" class="node">
<title>node6</title>
<ellipse fill="none" stroke="black" cx="916.49" cy="-178.89" rx="61.99" ry="18"/>
<text text-anchor="middle" x="916.49" y="-175.19" font-family="Times-Roman" font-size="14.00">A:1 B:0 C:1</text>
</g>
<!-- node3&#45;&gt;node6 -->
<g id="edge5" class="edge">
<title>node3&#45;&gt;node6</title>
<path fill="none" stroke="black" d="M771.96,-35.52C800.84,-64.18 858.27,-121.14 891.38,-153.98"/>
<polygon fill="black" stroke="black" points="889.28,-156.83 898.85,-161.39 894.21,-151.86 889.28,-156.83"/>
</g>
<!-- node4&#45;&gt;node1 -->
<g id="edge6" class="edge">
<title>node4&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M371.78,-186.93C424.24,-196.8 505.14,-212.02 560.88,-222.5"/>
<polygon fill="black" stroke="black" points="560.5,-226 570.98,-224.4 561.8,-219.12 560.5,-226"/>
</g>
<!-- node5 -->
<g id="node6" class="node">
<title>node5</title>
<ellipse fill="none" stroke="black" cx="829.74" cy="-402" rx="61.99" ry="18"/>
<text text-anchor="middle" x="829.74" y="-398.3" font-family="Times-Roman" font-size="14.00">A:0 B:0 C:0</text>
</g>
<!-- node5&#45;&gt;node5 -->
<g id="edge1" class="edge">
<title>node5&#45;&gt;node5</title>
<path fill="none" stroke="black" d="M887.45,-408.57C900.2,-407.95 909.49,-405.76 909.49,-402 909.49,-398.24 900.2,-396.05 887.45,-395.43"/>
</g>
<!-- node6&#45;&gt;node1 -->
<g id="edge7" class="edge">
<title>node6&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M864.35,-188.71C814.2,-198.16 738.36,-212.44 685.1,-222.47"/>
<polygon fill="black" stroke="black" points="684.28,-219.07 675.1,-224.36 685.57,-225.95 684.28,-219.07"/>
</g>
<!-- node7 -->
<g id="node8" class="node">
<title>node7</title>
<ellipse fill="none" stroke="black" cx="1185.48" cy="-185.43" rx="61.99" ry="18"/>
<text text-anchor="middle" x="1185.48" y="-181.73" font-family="Times-Roman" font-size="14.00">A:0 B:1 C:1</text>
</g>
<!-- node7&#45;&gt;node6 -->
<g id="edge8" class="edge">
<title>node7&#45;&gt;node6</title>
<path fill="none" stroke="black" d="M1123.77,-183.93C1083.51,-182.95 1030.79,-181.67 988.59,-180.64"/>
<polygon fill="black" stroke="black" points="988.47,-177.14 978.38,-180.4 988.3,-184.14 988.47,-177.14"/>
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 4.9 KiB