Minor updates to some figures.

This commit is contained in:
Sergiu Ivanov 2021-08-04 17:31:16 +02:00
parent 1f3ab98faa
commit ab2c37125c
3 changed files with 107 additions and 107 deletions

View file

@ -1,91 +1,91 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0) <!-- Generated by graphviz version 2.42.3 (20191010.1750)
--> -->
<!-- Title: G Pages: 1 --> <!-- Title: G Pages: 1 -->
<svg width="340pt" height="270pt" <svg width="339pt" 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"> viewBox="0.00 0.00 339.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)"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 265.6)">
<title>G</title> <title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-265.6 336.32,-265.6 336.32,4 -4,4"/> <polygon fill="white" stroke="transparent" points="-4,4 -4,-265.6 335.32,-265.6 335.32,4 -4,4"/>
<!-- node0 --> <!-- node0 -->
<g id="node1" class="node"> <g id="node1" class="node">
<title>node0</title> <title>node0</title>
<ellipse fill="none" stroke="black" cx="272.32" cy="-243.6" rx="27" ry="18"/> <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> <text text-anchor="middle" x="272.32" y="-239.9" font-family="Times,serif" font-size="14.00">A</text>
</g> </g>
<!-- node0&#45;&gt;node0 --> <!-- node0&#45;&gt;node0 -->
<g id="edge1" class="edge"> <g id="edge1" class="edge">
<title>node0&#45;&gt;node0</title> <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"/> <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> <text text-anchor="middle" x="324.32" y="-239.9" font-family="Times,serif" font-size="14.00">&#45;1</text>
</g> </g>
<!-- node1 --> <!-- node1 -->
<g id="node2" class="node"> <g id="node2" class="node">
<title>node1</title> <title>node1</title>
<ellipse fill="none" stroke="black" cx="27" cy="-214.2" rx="27" ry="18"/> <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> <text text-anchor="middle" x="27" y="-210.5" font-family="Times,serif" font-size="14.00">C</text>
</g> </g>
<!-- node0&#45;&gt;node1 --> <!-- node0&#45;&gt;node1 -->
<g id="edge4" class="edge"> <g id="edge4" class="edge">
<title>node0&#45;&gt;node1</title> <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"/> <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"/> <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> <text text-anchor="middle" x="148.96" y="-213.77" font-family="Times,serif" font-size="14.00">&#45;1</text>
</g> </g>
<!-- node2 --> <!-- node2 -->
<g id="node3" class="node"> <g id="node3" class="node">
<title>node2</title> <title>node2</title>
<ellipse fill="none" stroke="black" cx="175.3" cy="-18" rx="27" ry="18"/> <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> <text text-anchor="middle" x="175.3" y="-14.3" font-family="Times,serif" font-size="14.00">B</text>
</g> </g>
<!-- node0&#45;&gt;node2 --> <!-- node0&#45;&gt;node2 -->
<g id="edge5" class="edge"> <g id="edge5" class="edge">
<title>node0&#45;&gt;node2</title> <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"/> <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"/> <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> <text text-anchor="middle" x="224.99" y="-138.41" font-family="Times,serif" font-size="14.00">2</text>
</g> </g>
<!-- node1&#45;&gt;node0 --> <!-- node1&#45;&gt;node0 -->
<g id="edge7" class="edge"> <g id="edge7" class="edge">
<title>node1&#45;&gt;node0</title> <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"/> <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"/> <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> <text text-anchor="middle" x="138.37" y="-236.63" font-family="Times,serif" font-size="14.00">2</text>
</g> </g>
<!-- node1&#45;&gt;node1 --> <!-- node1&#45;&gt;node1 -->
<g id="edge2" class="edge"> <g id="edge2" class="edge">
<title>node1&#45;&gt;node1</title> <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"/> <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> <text text-anchor="middle" x="79" y="-210.5" font-family="Times,serif" font-size="14.00">&#45;1</text>
</g> </g>
<!-- node1&#45;&gt;node2 --> <!-- node1&#45;&gt;node2 -->
<g id="edge6" class="edge"> <g id="edge6" class="edge">
<title>node1&#45;&gt;node2</title> <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"/> <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"/> <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> <text text-anchor="middle" x="95.29" y="-125.48" font-family="Times,serif" font-size="14.00">&#45;2</text>
</g> </g>
<!-- node2&#45;&gt;node0 --> <!-- node2&#45;&gt;node0 -->
<g id="edge9" class="edge"> <g id="edge9" class="edge">
<title>node2&#45;&gt;node0</title> <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"/> <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"/> <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> <text text-anchor="middle" x="212.63" y="-130.78" font-family="Times,serif" font-size="14.00">1</text>
</g> </g>
<!-- node2&#45;&gt;node1 --> <!-- node2&#45;&gt;node1 -->
<g id="edge8" class="edge"> <g id="edge8" class="edge">
<title>node2&#45;&gt;node1</title> <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"/> <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"/> <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> <text text-anchor="middle" x="95.01" y="-99.32" font-family="Times,serif" font-size="14.00">2</text>
</g> </g>
<!-- node2&#45;&gt;node2 --> <!-- node2&#45;&gt;node2 -->
<g id="edge3" class="edge"> <g id="edge3" class="edge">
<title>node2&#45;&gt;node2</title> <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"/> <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> <text text-anchor="middle" x="227.3" y="-14.3" font-family="Times,serif" font-size="14.00">&#45;2</text>
</g> </g>
</g> </g>
</svg> </svg>

Before

Width:  |  Height:  |  Size: 4.6 KiB

After

Width:  |  Height:  |  Size: 4.6 KiB

View file

@ -1,43 +1,43 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0) <!-- Generated by graphviz version 2.42.3 (20191010.1750)
--> -->
<!-- Title: G Pages: 1 --> <!-- Title: G Pages: 1 -->
<svg width="123pt" height="131pt" <svg width="122pt" 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"> viewBox="0.00 0.00 121.79 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)"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 127)">
<title>G</title> <title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-127 119.09,-127 119.09,4 -4,4"/> <polygon fill="white" stroke="transparent" points="-4,4 -4,-127 117.79,-127 117.79,4 -4,4"/>
<!-- node0 --> <!-- node0 -->
<g id="node1" class="node"> <g id="node1" class="node">
<title>node0</title> <title>node0</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-105" rx="43.59" ry="18"/> <ellipse fill="none" stroke="black" cx="42.9" cy="-105" rx="42.79" 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> <text text-anchor="middle" x="42.9" y="-101.3" font-family="Times,serif" font-size="14.00">&#39;(x . &#45;1)</text>
</g> </g>
<!-- node0&#45;&gt;node0 --> <!-- node0&#45;&gt;node0 -->
<g id="edge2" class="edge"> <g id="edge2" class="edge">
<title>node0&#45;&gt;node0</title> <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"/> <path fill="none" stroke="black" d="M81.55,-112.87C93.96,-112.79 103.79,-110.17 103.79,-105 103.79,-99.83 93.96,-97.21 81.55,-97.13"/>
<text text-anchor="middle" x="110.09" y="-101.3" font-family="Times-Roman" font-size="14.00">0</text> <text text-anchor="middle" x="108.79" y="-101.3" font-family="Times,serif" font-size="14.00">0</text>
</g> </g>
<!-- node1 --> <!-- node1 -->
<g id="node2" class="node"> <g id="node2" class="node">
<title>node1</title> <title>node1</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-18" rx="43.59" ry="18"/> <ellipse fill="none" stroke="black" cx="42.9" cy="-18" rx="42.79" 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> <text text-anchor="middle" x="42.9" y="-14.3" font-family="Times,serif" font-size="14.00">&#39;(y . &#45;1)</text>
</g> </g>
<!-- node0&#45;&gt;node1 --> <!-- node0&#45;&gt;node1 -->
<g id="edge1" class="edge"> <g id="edge1" class="edge">
<title>node0&#45;&gt;node1</title> <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"/> <path fill="none" stroke="black" d="M42.9,-86.8C42.9,-72.05 42.9,-50.92 42.9,-36.18"/>
<text text-anchor="middle" x="51.05" y="-57.8" font-family="Times-Roman" font-size="14.00">&#45;1</text> <text text-anchor="middle" x="49.9" y="-57.8" font-family="Times,serif" font-size="14.00">&#45;1</text>
</g> </g>
<!-- node1&#45;&gt;node1 --> <!-- node1&#45;&gt;node1 -->
<g id="edge3" class="edge"> <g id="edge3" class="edge">
<title>node1&#45;&gt;node1</title> <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"/> <path fill="none" stroke="black" d="M81.55,-25.87C93.96,-25.79 103.79,-23.17 103.79,-18 103.79,-12.83 93.96,-10.21 81.55,-10.13"/>
<text text-anchor="middle" x="110.09" y="-14.3" font-family="Times-Roman" font-size="14.00">0</text> <text text-anchor="middle" x="108.79" y="-14.3" font-family="Times,serif" font-size="14.00">0</text>
</g> </g>
</g> </g>
</svg> </svg>

Before

Width:  |  Height:  |  Size: 2 KiB

After

Width:  |  Height:  |  Size: 2 KiB

View file

@ -1,108 +1,108 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0) <!-- Generated by graphviz version 2.42.3 (20191010.1750)
--> -->
<!-- Title: G Pages: 1 --> <!-- Title: G Pages: 1 -->
<svg width="1255pt" height="535pt" <svg width="1275pt" height="544pt"
viewBox="0.00 0.00 1255.23 535.04" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> viewBox="0.00 0.00 1274.89 543.65" 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)"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 539.65)">
<title>G</title> <title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-531.04 1251.23,-531.04 1251.23,4 -4,4"/> <polygon fill="white" stroke="transparent" points="-4,4 -4,-539.65 1270.89,-539.65 1270.89,4 -4,4"/>
<!-- node0 --> <!-- node0 -->
<g id="node1" class="node"> <g id="node1" class="node">
<title>node0</title> <title>node0</title>
<ellipse fill="none" stroke="black" cx="600.32" cy="-509.04" rx="61.99" ry="18"/> <ellipse fill="none" stroke="black" cx="324.65" cy="-179.85" rx="63.09" 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> <text text-anchor="middle" x="324.65" y="-176.15" font-family="Times,serif" font-size="14.00">A:0 B:0 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> </g>
<!-- node2 --> <!-- node2 -->
<g id="node3" class="node"> <g id="node3" class="node">
<title>node2</title> <title>node2</title>
<ellipse fill="none" stroke="black" cx="61.74" cy="-130.8" rx="61.99" ry="18"/> <ellipse fill="none" stroke="black" cx="632.48" cy="-238.57" rx="63.09" 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> <text text-anchor="middle" x="632.48" y="-234.87" font-family="Times,serif" font-size="14.00">A:1 B:0 C:0</text>
</g> </g>
<!-- node4 --> <!-- node0&#45;&gt;node2 -->
<g id="node5" class="node"> <g id="edge2" class="edge">
<title>node4</title> <title>node0&#45;&gt;node2</title>
<ellipse fill="none" stroke="black" cx="319.64" cy="-177.12" rx="61.99" ry="18"/> <path fill="none" stroke="black" d="M377.21,-189.87C430.59,-200.06 513.24,-215.82 569.95,-226.64"/>
<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> <polygon fill="black" stroke="black" points="569.39,-230.1 579.87,-228.53 570.71,-223.22 569.39,-230.1"/>
</g> </g>
<!-- node2&#45;&gt;node4 --> <!-- node1 -->
<g id="edge4" class="edge"> <g id="node2" class="node">
<title>node2&#45;&gt;node4</title> <title>node1</title>
<path fill="none" stroke="black" d="M114.56,-140.29C155.84,-147.71 213.36,-158.04 256.97,-165.87"/> <ellipse fill="none" stroke="black" cx="765.31" cy="-18" rx="63.09" ry="18"/>
<polygon fill="black" stroke="black" points="256.44,-169.33 266.9,-167.65 257.67,-162.44 256.44,-169.33"/> <text text-anchor="middle" x="765.31" y="-14.3" font-family="Times,serif" font-size="14.00">A:0 B:1 C:0</text>
</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> </g>
<!-- node5 --> <!-- node5 -->
<g id="node6" class="node"> <g id="node6" class="node">
<title>node5</title> <title>node5</title>
<ellipse fill="none" stroke="black" cx="829.74" cy="-402" rx="61.99" ry="18"/> <ellipse fill="none" stroke="black" cx="929.62" cy="-181.47" rx="63.09" 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> <text text-anchor="middle" x="929.62" y="-177.77" font-family="Times,serif" font-size="14.00">A:1 B:0 C:1</text>
</g> </g>
<!-- node5&#45;&gt;node5 --> <!-- node1&#45;&gt;node5 -->
<g id="edge1" class="edge"> <g id="edge3" class="edge">
<title>node5&#45;&gt;node5</title> <title>node1&#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"/> <path fill="none" stroke="black" d="M782.89,-35.49C812.29,-64.75 871.5,-123.65 905.02,-157"/>
<polygon fill="black" stroke="black" points="902.6,-159.53 912.16,-164.11 907.54,-154.57 902.6,-159.53"/>
</g> </g>
<!-- node6&#45;&gt;node1 --> <!-- node2&#45;&gt;node1 -->
<g id="edge4" class="edge">
<title>node2&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M643.35,-220.52C666.71,-181.73 721.8,-90.25 749.22,-44.71"/>
<polygon fill="black" stroke="black" points="752.31,-46.36 754.47,-35.99 746.32,-42.75 752.31,-46.36"/>
</g>
<!-- node3 -->
<g id="node4" class="node">
<title>node3</title>
<ellipse fill="none" stroke="black" cx="63.04" cy="-132.65" rx="63.09" ry="18"/>
<text text-anchor="middle" x="63.04" y="-128.95" font-family="Times,serif" font-size="14.00">A:1 B:1 C:0</text>
</g>
<!-- node3&#45;&gt;node0 -->
<g id="edge5" class="edge">
<title>node3&#45;&gt;node0</title>
<path fill="none" stroke="black" d="M116.61,-142.31C158.5,-149.87 216.83,-160.4 261.08,-168.38"/>
<polygon fill="black" stroke="black" points="260.68,-171.86 271.15,-170.19 261.93,-164.97 260.68,-171.86"/>
</g>
<!-- node4 -->
<g id="node5" class="node">
<title>node4</title>
<ellipse fill="none" stroke="black" cx="1203.84" cy="-188.37" rx="63.09" ry="18"/>
<text text-anchor="middle" x="1203.84" y="-184.67" font-family="Times,serif" font-size="14.00">A:0 B:1 C:1</text>
</g>
<!-- node4&#45;&gt;node5 -->
<g id="edge6" class="edge">
<title>node4&#45;&gt;node5</title>
<path fill="none" stroke="black" d="M1140.93,-186.79C1099.79,-185.76 1045.91,-184.4 1002.85,-183.32"/>
<polygon fill="black" stroke="black" points="1002.8,-179.81 992.71,-183.06 1002.62,-186.81 1002.8,-179.81"/>
</g>
<!-- node5&#45;&gt;node2 -->
<g id="edge7" class="edge"> <g id="edge7" class="edge">
<title>node6&#45;&gt;node1</title> <title>node5&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M864.35,-188.71C814.2,-198.16 738.36,-212.44 685.1,-222.47"/> <path fill="none" stroke="black" d="M877.18,-191.55C826.31,-201.32 749.1,-216.16 695.04,-226.55"/>
<polygon fill="black" stroke="black" points="684.28,-219.07 675.1,-224.36 685.57,-225.95 684.28,-219.07"/> <polygon fill="black" stroke="black" points="694.06,-223.17 684.9,-228.5 695.38,-230.05 694.06,-223.17"/>
</g>
<!-- node6 -->
<g id="node7" class="node">
<title>node6</title>
<ellipse fill="none" stroke="black" cx="843.04" cy="-408" rx="63.09" ry="18"/>
<text text-anchor="middle" x="843.04" y="-404.3" font-family="Times,serif" font-size="14.00">A:0 B:0 C:0</text>
</g>
<!-- node6&#45;&gt;node6 -->
<g id="edge1" class="edge">
<title>node6&#45;&gt;node6</title>
<path fill="none" stroke="black" d="M902.05,-414.55C914.83,-413.91 924.09,-411.73 924.09,-408 924.09,-404.27 914.83,-402.09 902.05,-401.45"/>
</g> </g>
<!-- node7 --> <!-- node7 -->
<g id="node8" class="node"> <g id="node8" class="node">
<title>node7</title> <title>node7</title>
<ellipse fill="none" stroke="black" cx="1185.48" cy="-185.43" rx="61.99" ry="18"/> <ellipse fill="none" stroke="black" cx="609.12" cy="-517.65" rx="63.09" 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> <text text-anchor="middle" x="609.12" y="-513.95" font-family="Times,serif" font-size="14.00">A:1 B:1 C:1</text>
</g> </g>
<!-- node7&#45;&gt;node6 --> <!-- node7&#45;&gt;node2 -->
<g id="edge8" class="edge"> <g id="edge8" class="edge">
<title>node7&#45;&gt;node6</title> <title>node7&#45;&gt;node2</title>
<path fill="none" stroke="black" d="M1123.77,-183.93C1083.51,-182.95 1030.79,-181.67 988.59,-180.64"/> <path fill="none" stroke="black" d="M610.65,-499.34C614.64,-451.72 625.35,-323.75 630.13,-266.69"/>
<polygon fill="black" stroke="black" points="988.47,-177.14 978.38,-180.4 988.3,-184.14 988.47,-177.14"/> <polygon fill="black" stroke="black" points="633.63,-266.84 630.97,-256.58 626.65,-266.26 633.63,-266.84"/>
</g> </g>
</g> </g>
</svg> </svg>

Before

Width:  |  Height:  |  Size: 4.9 KiB

After

Width:  |  Height:  |  Size: 4.9 KiB