From ab2c37125c99015aadbd0c9e49cc467d4d236570 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 4 Aug 2021 17:31:16 +0200
Subject: [PATCH] Minor updates to some figures.

---
 example/dots/exampleaSeyzw.svg  |  32 +++----
 example/dots/exampletCklZa.svg  |  28 +++---
 example/dots/sbn-figure2-sg.svg | 154 ++++++++++++++++----------------
 3 files changed, 107 insertions(+), 107 deletions(-)

diff --git a/example/dots/exampleaSeyzw.svg b/example/dots/exampleaSeyzw.svg
index fc90ae0..fdf79ac 100644
--- a/example/dots/exampleaSeyzw.svg
+++ b/example/dots/exampleaSeyzw.svg
@@ -1,91 +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)
+<!-- Generated by graphviz version 2.42.3 (20191010.1750)
  -->
 <!-- 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">
+<svg width="339pt" height="270pt"
+ 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)">
 <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 -->
 <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>
+<text text-anchor="middle" x="272.32" y="-239.9" font-family="Times,serif" font-size="14.00">A</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>
+<text text-anchor="middle" x="324.32" y="-239.9" font-family="Times,serif" font-size="14.00">&#45;1</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>
+<text text-anchor="middle" x="27" y="-210.5" font-family="Times,serif" font-size="14.00">C</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>
+<text text-anchor="middle" x="148.96" y="-213.77" font-family="Times,serif" font-size="14.00">&#45;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>
+<text text-anchor="middle" x="175.3" y="-14.3" font-family="Times,serif" font-size="14.00">B</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>
+<text text-anchor="middle" x="224.99" y="-138.41" font-family="Times,serif" 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>
+<text text-anchor="middle" x="138.37" y="-236.63" font-family="Times,serif" 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>
+<text text-anchor="middle" x="79" y="-210.5" font-family="Times,serif" 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>
+<text text-anchor="middle" x="95.29" y="-125.48" font-family="Times,serif" font-size="14.00">&#45;2</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>
+<text text-anchor="middle" x="212.63" y="-130.78" font-family="Times,serif" font-size="14.00">1</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>
+<text text-anchor="middle" x="95.01" y="-99.32" font-family="Times,serif" 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>
+<text text-anchor="middle" x="227.3" y="-14.3" font-family="Times,serif" font-size="14.00">&#45;2</text>
 </g>
 </g>
 </svg>
diff --git a/example/dots/exampletCklZa.svg b/example/dots/exampletCklZa.svg
index 2d680db..2d945e7 100644
--- a/example/dots/exampletCklZa.svg
+++ b/example/dots/exampletCklZa.svg
@@ -1,43 +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)
+<!-- Generated by graphviz version 2.42.3 (20191010.1750)
  -->
 <!-- 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">
+<svg width="122pt" height="131pt"
+ 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)">
 <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 -->
 <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>
+<ellipse fill="none" stroke="black" cx="42.9" cy="-105" rx="42.79" ry="18"/>
+<text text-anchor="middle" x="42.9" y="-101.3" font-family="Times,serif" font-size="14.00">&#39;(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="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>
+<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="108.79" y="-101.3" font-family="Times,serif" 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>
+<ellipse fill="none" stroke="black" cx="42.9" cy="-18" rx="42.79" ry="18"/>
+<text text-anchor="middle" x="42.9" y="-14.3" font-family="Times,serif" font-size="14.00">&#39;(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="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>
+<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="49.9" y="-57.8" font-family="Times,serif" 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>
+<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="108.79" y="-14.3" font-family="Times,serif" font-size="14.00">0</text>
 </g>
 </g>
 </svg>
diff --git a/example/dots/sbn-figure2-sg.svg b/example/dots/sbn-figure2-sg.svg
index 9e75035..5813b62 100644
--- a/example/dots/sbn-figure2-sg.svg
+++ b/example/dots/sbn-figure2-sg.svg
@@ -1,108 +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)
+<!-- Generated by graphviz version 2.42.3 (20191010.1750)
  -->
 <!-- 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)">
+<svg width="1275pt" height="544pt"
+ 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 539.65)">
 <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 -->
 <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"/>
+<ellipse fill="none" stroke="black" cx="324.65" cy="-179.85" rx="63.09" ry="18"/>
+<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>
 <!-- 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>
+<ellipse fill="none" stroke="black" cx="632.48" cy="-238.57" rx="63.09" ry="18"/>
+<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>
-<!-- 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>
+<!-- node0&#45;&gt;node2 -->
+<g id="edge2" class="edge">
+<title>node0&#45;&gt;node2</title>
+<path fill="none" stroke="black" d="M377.21,-189.87C430.59,-200.06 513.24,-215.82 569.95,-226.64"/>
+<polygon fill="black" stroke="black" points="569.39,-230.1 579.87,-228.53 570.71,-223.22 569.39,-230.1"/>
 </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"/>
+<!-- node1 -->
+<g id="node2" class="node">
+<title>node1</title>
+<ellipse fill="none" stroke="black" cx="765.31" cy="-18" rx="63.09" ry="18"/>
+<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>
 <!-- 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>
+<ellipse fill="none" stroke="black" cx="929.62" cy="-181.47" rx="63.09" ry="18"/>
+<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>
-<!-- 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"/>
+<!-- node1&#45;&gt;node5 -->
+<g id="edge3" class="edge">
+<title>node1&#45;&gt;node5</title>
+<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>
-<!-- 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">
-<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"/>
+<title>node5&#45;&gt;node2</title>
+<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="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>
 <!-- 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>
+<ellipse fill="none" stroke="black" cx="609.12" cy="-517.65" rx="63.09" ry="18"/>
+<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>
-<!-- node7&#45;&gt;node6 -->
+<!-- node7&#45;&gt;node2 -->
 <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"/>
+<title>node7&#45;&gt;node2</title>
+<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="633.63,-266.84 630.97,-256.58 626.65,-266.26 633.63,-266.84"/>
 </g>
 </g>
 </svg>