2020-02-26 21:17:11 +01:00
|
|
|
<?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 -->
|
2020-03-01 15:22:11 +01:00
|
|
|
<svg width="1115pt" height="353pt"
|
|
|
|
|
viewBox="0.00 0.00 1115.45 352.61" 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 348.61)">
|
2020-02-26 21:17:11 +01:00
|
|
|
<title>G</title>
|
2020-03-01 15:22:11 +01:00
|
|
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-348.61 1111.45,-348.61 1111.45,4 -4,4"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
<!-- node0 -->
|
|
|
|
|
<g id="node1" class="node">
|
|
|
|
|
<title>node0</title>
|
2020-03-01 15:22:11 +01:00
|
|
|
<ellipse fill="none" stroke="black" cx="779.24" cy="-173.26" rx="59.29" ry="18"/>
|
|
|
|
|
<text text-anchor="middle" x="779.24" y="-169.56" font-family="Times-Roman" font-size="14.00">a:0 b:1 c:0</text>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
|
|
|
|
<!-- node2 -->
|
|
|
|
|
<g id="node3" class="node">
|
|
|
|
|
<title>node2</title>
|
2020-03-01 15:22:11 +01:00
|
|
|
<ellipse fill="none" stroke="black" cx="554.95" cy="-18" rx="59.29" ry="18"/>
|
|
|
|
|
<text text-anchor="middle" x="554.95" y="-14.3" font-family="Times-Roman" font-size="14.00">a:0 b:1 c:1</text>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node0->node2 -->
|
2020-02-26 21:17:11 +01:00
|
|
|
<g id="edge1" class="edge">
|
2020-03-01 15:22:11 +01:00
|
|
|
<title>node0->node2</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M755.24,-156.64C712.07,-126.76 621.82,-64.29 578.78,-34.5"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
|
|
|
|
<!-- node4 -->
|
|
|
|
|
<g id="node5" class="node">
|
|
|
|
|
<title>node4</title>
|
2020-03-01 15:22:11 +01:00
|
|
|
<ellipse fill="none" stroke="black" cx="553.27" cy="-326.61" rx="59.29" ry="18"/>
|
|
|
|
|
<text text-anchor="middle" x="553.27" y="-322.91" font-family="Times-Roman" font-size="14.00">a:1 b:1 c:0</text>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node0->node4 -->
|
|
|
|
|
<g id="edge5" class="edge">
|
|
|
|
|
<title>node0->node4</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M754.63,-189.96C713.69,-217.75 631.58,-273.46 585.88,-304.48"/>
|
|
|
|
|
<polygon fill="black" stroke="black" points="583.82,-301.65 577.51,-310.16 587.75,-307.44 583.82,-301.65"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
|
|
|
|
<!-- node5 -->
|
|
|
|
|
<g id="node6" class="node">
|
|
|
|
|
<title>node5</title>
|
2020-03-01 15:22:11 +01:00
|
|
|
<ellipse fill="none" stroke="black" cx="1048.31" cy="-174.03" rx="59.29" ry="18"/>
|
|
|
|
|
<text text-anchor="middle" x="1048.31" y="-170.33" font-family="Times-Roman" font-size="14.00">a:0 b:0 c:0</text>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node0->node5 -->
|
2020-02-26 21:17:11 +01:00
|
|
|
<g id="edge4" class="edge">
|
2020-03-01 15:22:11 +01:00
|
|
|
<title>node0->node5</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M838.62,-173.43C880.03,-173.55 935.42,-173.71 978.87,-173.83"/>
|
|
|
|
|
<polygon fill="black" stroke="black" points="979.07,-177.33 989.08,-173.86 979.09,-170.33 979.07,-177.33"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node1 -->
|
|
|
|
|
<g id="node2" class="node">
|
|
|
|
|
<title>node1</title>
|
|
|
|
|
<ellipse fill="none" stroke="black" cx="59.14" cy="-173.46" rx="59.29" ry="18"/>
|
|
|
|
|
<text text-anchor="middle" x="59.14" y="-169.76" font-family="Times-Roman" font-size="14.00">a:1 b:0 c:1</text>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node2->node2 -->
|
|
|
|
|
<g id="edge2" class="edge">
|
|
|
|
|
<title>node2->node2</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M610.08,-24.6C622.77,-24.03 632.09,-21.83 632.09,-18 632.09,-14.17 622.77,-11.97 610.08,-11.4"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node3 -->
|
|
|
|
|
<g id="node4" class="node">
|
|
|
|
|
<title>node3</title>
|
|
|
|
|
<ellipse fill="none" stroke="black" cx="328.27" cy="-173.36" rx="59.29" ry="18"/>
|
|
|
|
|
<text text-anchor="middle" x="328.27" y="-169.66" font-family="Times-Roman" font-size="14.00">a:1 b:1 c:1</text>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node2->node3 -->
|
|
|
|
|
<g id="edge6" class="edge">
|
|
|
|
|
<title>node2->node3</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M530.69,-34.63C489.7,-62.72 406.73,-119.59 360.76,-151.1"/>
|
|
|
|
|
<polygon fill="black" stroke="black" points="358.63,-148.32 352.36,-156.86 362.59,-154.09 358.63,-148.32"/>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- node3->node1 -->
|
2020-02-26 21:17:11 +01:00
|
|
|
<g id="edge7" class="edge">
|
2020-03-01 15:22:11 +01:00
|
|
|
<title>node3->node1</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M268.88,-173.38C227.46,-173.4 172.06,-173.42 128.6,-173.43"/>
|
|
|
|
|
<polygon fill="black" stroke="black" points="128.39,-169.93 118.39,-173.44 128.39,-176.93 128.39,-169.93"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
2020-03-01 15:22:11 +01:00
|
|
|
<!-- node3->node3 -->
|
2020-02-26 21:17:11 +01:00
|
|
|
<g id="edge3" class="edge">
|
2020-03-01 15:22:11 +01:00
|
|
|
<title>node3->node3</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M383.4,-179.97C396.1,-179.4 405.42,-177.2 405.42,-173.36 405.42,-169.53 396.1,-167.33 383.4,-166.76"/>
|
|
|
|
|
</g>
|
|
|
|
|
<!-- node3->node4 -->
|
|
|
|
|
<g id="edge8" class="edge">
|
|
|
|
|
<title>node3->node4</title>
|
|
|
|
|
<path fill="none" stroke="black" d="M352.78,-190.06C393.55,-217.82 475.3,-273.5 520.81,-304.5"/>
|
|
|
|
|
<polygon fill="black" stroke="black" points="518.9,-307.43 529.14,-310.17 522.84,-301.65 518.9,-307.43"/>
|
2020-02-26 21:17:11 +01:00
|
|
|
</g>
|
|
|
|
|
</g>
|
|
|
|
|
</svg>
|
