summaryrefslogtreecommitdiff
blob: bcd538bb2f203cbbe4b6a6dde990e6861b0b6b16 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<?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.40.1 (20161225.0304)
 -->
<!-- source:

digraph {
	"a(1)" [color="red", fontcolor="red"];
	"b(2)" -> "c(3)" [label="1"];
	"c(3)" -> "d(4)" [label="2"];
	"d(4)" [color="red", fontcolor="red"];
	"c(3)" -> "!b(5)" [label="3"];
	"!b(5)" [color="red", fontcolor="red"];
	"b(2)" -> "d(6)" [label="4"];
	"d(6)" -> "e(7)" [label="5"];
	"e(7)" [color="red", fontcolor="red"];
	"b(8)" -> "f(9)" [label="6"];
	"f(9)" [color="red", fontcolor="red"];
}

 -->

<!-- Title: %3 Pages: 1 -->
<svg width="281pt" height="218pt"
 viewBox="0.00 0.00 281.00 218.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 214)">
<title>%3</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-214 277,-214 277,4 -4,4"/>
<!-- a(1) -->
<g id="node1" class="node">
<title>a(1)</title>
<ellipse fill="none" stroke="#ff0000" cx="59" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="59" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#ff0000">a(1)</text>
</g>
<!-- b(2) -->
<g id="node2" class="node">
<title>b(2)</title>
<ellipse fill="none" stroke="#000000" cx="131" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="131" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">b(2)</text>
</g>
<!-- c(3) -->
<g id="node3" class="node">
<title>c(3)</title>
<ellipse fill="none" stroke="#000000" cx="101" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="101" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">c(3)</text>
</g>
<!-- b(2)&#45;&gt;c(3) -->
<g id="edge1" class="edge">
<title>b(2)&#45;&gt;c(3)</title>
<path fill="none" stroke="#000000" d="M124.9291,-174.3943C120.7408,-162.2482 115.0922,-145.8674 110.3349,-132.0711"/>
<polygon fill="#000000" stroke="#000000" points="113.6307,-130.8923 107.0619,-122.5796 107.0131,-133.1743 113.6307,-130.8923"/>
<text text-anchor="middle" x="121.5" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
</g>
<!-- d(6) -->
<g id="node6" class="node">
<title>d(6)</title>
<ellipse fill="none" stroke="#000000" cx="174" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="174" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#000000">d(6)</text>
</g>
<!-- b(2)&#45;&gt;d(6) -->
<g id="edge4" class="edge">
<title>b(2)&#45;&gt;d(6)</title>
<path fill="none" stroke="#000000" d="M139.4954,-174.8116C145.6204,-162.4191 154.001,-145.4631 160.969,-131.3651"/>
<polygon fill="#000000" stroke="#000000" points="164.229,-132.6683 165.5222,-122.1527 157.9536,-129.5667 164.229,-132.6683"/>
<text text-anchor="middle" x="159.5" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">4</text>
</g>
<!-- d(4) -->
<g id="node4" class="node">
<title>d(4)</title>
<ellipse fill="none" stroke="#ff0000" cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#ff0000">d(4)</text>
</g>
<!-- c(3)&#45;&gt;d(4) -->
<g id="edge2" class="edge">
<title>c(3)&#45;&gt;d(4)</title>
<path fill="none" stroke="#000000" d="M87.4273,-89.0429C76.1615,-75.798 59.9733,-56.7659 47.1872,-41.7336"/>
<polygon fill="#000000" stroke="#000000" points="49.6318,-39.2056 40.4867,-33.856 44.2997,-43.7409 49.6318,-39.2056"/>
<text text-anchor="middle" x="72.5" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
</g>
<!-- !b(5) -->
<g id="node5" class="node">
<title>!b(5)</title>
<ellipse fill="none" stroke="#ff0000" cx="101" cy="-18" rx="28.6953" ry="18"/>
<text text-anchor="middle" x="101" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#ff0000">!b(5)</text>
</g>
<!-- c(3)&#45;&gt;!b(5) -->
<g id="edge3" class="edge">
<title>c(3)&#45;&gt;!b(5)</title>
<path fill="none" stroke="#000000" d="M101,-86.9735C101,-75.1918 101,-59.5607 101,-46.1581"/>
<polygon fill="#000000" stroke="#000000" points="104.5001,-46.0033 101,-36.0034 97.5001,-46.0034 104.5001,-46.0033"/>
<text text-anchor="middle" x="104.5" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">3</text>
</g>
<!-- e(7) -->
<g id="node7" class="node">
<title>e(7)</title>
<ellipse fill="none" stroke="#ff0000" cx="175" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="175" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#ff0000">e(7)</text>
</g>
<!-- d(6)&#45;&gt;e(7) -->
<g id="edge5" class="edge">
<title>d(6)&#45;&gt;e(7)</title>
<path fill="none" stroke="#000000" d="M174.2072,-86.9735C174.3426,-75.1918 174.5223,-59.5607 174.6763,-46.1581"/>
<polygon fill="#000000" stroke="#000000" points="178.1778,-46.043 174.7931,-36.0034 171.1783,-45.9624 178.1778,-46.043"/>
<text text-anchor="middle" x="178.5" y="-57.8" font-family="Times,serif" font-size="14.00" fill="#000000">5</text>
</g>
<!-- b(8) -->
<g id="node8" class="node">
<title>b(8)</title>
<ellipse fill="none" stroke="#000000" cx="246" cy="-192" rx="27" ry="18"/>
<text text-anchor="middle" x="246" y="-188.3" font-family="Times,serif" font-size="14.00" fill="#000000">b(8)</text>
</g>
<!-- f(9) -->
<g id="node9" class="node">
<title>f(9)</title>
<ellipse fill="none" stroke="#ff0000" cx="246" cy="-105" rx="27" ry="18"/>
<text text-anchor="middle" x="246" y="-101.3" font-family="Times,serif" font-size="14.00" fill="#ff0000">f(9)</text>
</g>
<!-- b(8)&#45;&gt;f(9) -->
<g id="edge6" class="edge">
<title>b(8)&#45;&gt;f(9)</title>
<path fill="none" stroke="#000000" d="M246,-173.9735C246,-162.1918 246,-146.5607 246,-133.1581"/>
<polygon fill="#000000" stroke="#000000" points="249.5001,-133.0033 246,-123.0034 242.5001,-133.0034 249.5001,-133.0033"/>
<text text-anchor="middle" x="249.5" y="-144.8" font-family="Times,serif" font-size="14.00" fill="#000000">6</text>
</g>
</g>
</svg>