]>
Commit | Line | Data |
---|---|---|
11fdf7f2 TL |
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
2 | <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" | |
3 | "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> | |
4 | <!-- Generated by graphviz version 2.40.1 (20161225.0304) | |
5 | --> | |
6 | <!-- Title: %3 Pages: 1 --> | |
9f95a23c TL |
7 | <svg width="756pt" height="1980pt" |
8 | viewBox="0.00 0.00 756.37 1980.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> | |
9 | <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1976)"> | |
11fdf7f2 | 10 | <title>%3</title> |
9f95a23c | 11 | <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1976 752.3688,-1976 752.3688,4 -4,4"/> |
11fdf7f2 TL |
12 | <!-- N0 --> |
13 | <g id="node1" class="node"> | |
14 | <title>N0</title> | |
9f95a23c TL |
15 | <ellipse fill="none" stroke="#0000ff" cx="529.3688" cy="-1900" rx="72" ry="72"/> |
16 | <text text-anchor="middle" x="529.3688" y="-1896.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:boot</text> | |
11fdf7f2 | 17 | </g> |
9f95a23c | 18 | <!-- S1 --> |
11fdf7f2 | 19 | <g id="node2" class="node"> |
9f95a23c TL |
20 | <title>S1</title> |
21 | <ellipse fill="none" stroke="#00ff00" cx="529.3688" cy="-1720" rx="72" ry="72"/> | |
22 | <text text-anchor="middle" x="529.3688" y="-1716.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:standby</text> | |
11fdf7f2 | 23 | </g> |
9f95a23c | 24 | <!-- N0->S1 --> |
11fdf7f2 | 25 | <g id="edge1" class="edge"> |
9f95a23c TL |
26 | <title>N0->S1</title> |
27 | <path fill="none" stroke="#00ff00" stroke-width="2" d="M529.3688,-1827.8243C529.3688,-1819.4801 529.3688,-1810.9229 529.3688,-1802.4555"/> | |
28 | <polygon fill="#00ff00" stroke="#00ff00" stroke-width="2" points="532.8689,-1802.1919 529.3688,-1792.1919 525.8689,-1802.192 532.8689,-1802.1919"/> | |
11fdf7f2 | 29 | </g> |
9f95a23c | 30 | <!-- S2 --> |
11fdf7f2 | 31 | <g id="node3" class="node"> |
9f95a23c TL |
32 | <title>S2</title> |
33 | <ellipse fill="none" stroke="#00ff00" cx="402.3688" cy="-1540" rx="72" ry="72"/> | |
34 | <text text-anchor="middle" x="402.3688" y="-1536.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:standby_replay</text> | |
11fdf7f2 | 35 | </g> |
9f95a23c | 36 | <!-- S1->S2 --> |
11fdf7f2 | 37 | <g id="edge2" class="edge"> |
9f95a23c TL |
38 | <title>S1->S2</title> |
39 | <path fill="none" stroke="#00ff00" stroke-width="2" d="M487.7842,-1661.0613C475.7237,-1643.9675 462.4609,-1625.1699 450.0576,-1607.5904"/> | |
40 | <polygon fill="#00ff00" stroke="#00ff00" stroke-width="2" points="452.6717,-1605.2243 444.0468,-1599.0711 446.952,-1609.2599 452.6717,-1605.2243"/> | |
11fdf7f2 | 41 | </g> |
9f95a23c | 42 | <!-- N1 --> |
11fdf7f2 | 43 | <g id="node4" class="node"> |
9f95a23c TL |
44 | <title>N1</title> |
45 | <ellipse fill="none" stroke="#ffa500" cx="568.3688" cy="-1356" rx="72" ry="72"/> | |
46 | <ellipse fill="none" stroke="#ffa500" cx="568.3688" cy="-1356" rx="76" ry="76"/> | |
47 | <text text-anchor="middle" x="568.3688" y="-1352.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:creating</text> | |
11fdf7f2 | 48 | </g> |
9f95a23c | 49 | <!-- S1->N1 --> |
11fdf7f2 | 50 | <g id="edge3" class="edge"> |
9f95a23c TL |
51 | <title>S1->N1</title> |
52 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M537.0739,-1648.0853C543.4139,-1588.912 552.4184,-1504.87 559.1421,-1442.1155"/> | |
53 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="562.6577,-1442.1568 560.243,-1431.8408 555.6975,-1441.411 562.6577,-1442.1568"/> | |
11fdf7f2 | 54 | </g> |
9f95a23c TL |
55 | <!-- N2 --> |
56 | <g id="node5" class="node"> | |
57 | <title>N2</title> | |
58 | <ellipse fill="none" stroke="#ffa500" cx="672.3688" cy="-604" rx="72" ry="72"/> | |
59 | <ellipse fill="none" stroke="#ffa500" cx="672.3688" cy="-604" rx="76" ry="76"/> | |
60 | <text text-anchor="middle" x="672.3688" y="-600.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:starting</text> | |
11fdf7f2 | 61 | </g> |
9f95a23c TL |
62 | <!-- S1->N2 --> |
63 | <g id="edge4" class="edge"> | |
64 | <title>S1->N2</title> | |
65 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M569.2023,-1659.7191C611.5148,-1589.7402 672.3688,-1469.3866 672.3688,-1356 672.3688,-1356 672.3688,-1356 672.3688,-980 672.3688,-880.6681 672.3688,-766.5754 672.3688,-690.3655"/> | |
66 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="675.8689,-690.3343 672.3688,-680.3343 668.8689,-690.3344 675.8689,-690.3343"/> | |
11fdf7f2 | 67 | </g> |
9f95a23c TL |
68 | <!-- N3 --> |
69 | <g id="node6" class="node"> | |
70 | <title>N3</title> | |
71 | <ellipse fill="none" stroke="#ffa500" cx="398.3688" cy="-1356" rx="72" ry="72"/> | |
72 | <ellipse fill="none" stroke="#ffa500" cx="398.3688" cy="-1356" rx="76" ry="76"/> | |
73 | <text text-anchor="middle" x="398.3688" y="-1352.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:replay</text> | |
11fdf7f2 | 74 | </g> |
9f95a23c TL |
75 | <!-- S1->N3 --> |
76 | <g id="edge5" class="edge"> | |
77 | <title>S1->N3</title> | |
78 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M525.1622,-1647.8711C520.0317,-1596.0056 508.6442,-1525.3873 483.3688,-1468 476.1463,-1451.6015 466.077,-1435.3985 455.3873,-1420.6272"/> | |
79 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="458.1754,-1418.5111 449.3989,-1412.576 452.5587,-1422.6887 458.1754,-1418.5111"/> | |
80 | </g> | |
81 | <!-- S2->N3 --> | |
82 | <g id="edge6" class="edge"> | |
83 | <title>S2->N3</title> | |
84 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M400.7994,-1467.8064C400.6169,-1459.4122 400.4294,-1450.7869 400.2433,-1442.2286"/> | |
85 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="403.7426,-1442.1519 400.026,-1432.2304 396.7442,-1442.3041 403.7426,-1442.1519"/> | |
11fdf7f2 TL |
86 | </g> |
87 | <!-- S0 --> | |
9f95a23c | 88 | <g id="node11" class="node"> |
11fdf7f2 | 89 | <title>S0</title> |
9f95a23c TL |
90 | <ellipse fill="none" stroke="#00ff00" cx="474.3688" cy="-416" rx="72" ry="72"/> |
91 | <ellipse fill="none" stroke="#00ff00" cx="474.3688" cy="-416" rx="76" ry="76"/> | |
92 | <text text-anchor="middle" x="474.3688" y="-412.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:active</text> | |
11fdf7f2 TL |
93 | </g> |
94 | <!-- N1->S0 --> | |
9f95a23c | 95 | <g id="edge13" class="edge"> |
11fdf7f2 | 96 | <title>N1->S0</title> |
9f95a23c TL |
97 | <path fill="none" stroke="#00ff00" stroke-width="2" d="M568.3688,-1279.6657C568.3688,-1203.6994 568.3688,-1083.7917 568.3688,-980 568.3688,-980 568.3688,-980 568.3688,-792 568.3688,-687.305 533.6439,-570.9765 506.4053,-495.8318"/> |
98 | <polygon fill="#00ff00" stroke="#00ff00" stroke-width="2" points="509.6832,-494.6043 502.9547,-486.4202 503.1109,-497.0139 509.6832,-494.6043"/> | |
11fdf7f2 TL |
99 | </g> |
100 | <!-- N2->S0 --> | |
9f95a23c | 101 | <g id="edge14" class="edge"> |
11fdf7f2 | 102 | <title>N2->S0</title> |
9f95a23c TL |
103 | <path fill="none" stroke="#00ff00" stroke-width="2" d="M617.2148,-551.6315C592.3238,-527.9977 562.7987,-499.9638 537.0702,-475.5347"/> |
104 | <polygon fill="#00ff00" stroke="#00ff00" stroke-width="2" points="539.2319,-472.7608 529.5701,-468.4134 534.412,-477.8371 539.2319,-472.7608"/> | |
11fdf7f2 TL |
105 | </g> |
106 | <!-- D0 --> | |
107 | <g id="node13" class="node"> | |
108 | <title>D0</title> | |
9f95a23c TL |
109 | <polygon fill="none" stroke="#ff0000" points="400.3193,-22 364.344,-40 292.3936,-40 256.4183,-22 292.3936,-4 364.344,-4 400.3193,-22"/> |
110 | <polygon fill="none" stroke="#ff0000" points="409.2574,-22 365.2876,-44 291.4499,-44 247.4802,-22 291.4499,0 365.2876,0 409.2574,-22"/> | |
111 | <text text-anchor="middle" x="328.3688" y="-18.3" font-family="Times,serif" font-size="14.00" fill="#000000">down:failed</text> | |
11fdf7f2 TL |
112 | </g> |
113 | <!-- N2->D0 --> | |
9f95a23c | 114 | <g id="edge17" class="edge"> |
11fdf7f2 | 115 | <title>N2->D0</title> |
9f95a23c TL |
116 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M694.3918,-531.0749C723.206,-419.3057 758.0861,-205.4415 648.3688,-80 618.1861,-45.4916 497.5217,-31.4247 413.3193,-25.7515"/> |
117 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="413.4449,-22.2524 403.2401,-25.1004 412.9936,-29.2378 413.4449,-22.2524"/> | |
11fdf7f2 TL |
118 | </g> |
119 | <!-- N4 --> | |
9f95a23c | 120 | <g id="node7" class="node"> |
11fdf7f2 | 121 | <title>N4</title> |
9f95a23c TL |
122 | <ellipse fill="none" stroke="#ffa500" cx="211.3688" cy="-1168" rx="72" ry="72"/> |
123 | <ellipse fill="none" stroke="#ffa500" cx="211.3688" cy="-1168" rx="76" ry="76"/> | |
124 | <text text-anchor="middle" x="211.3688" y="-1164.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:resolve</text> | |
11fdf7f2 TL |
125 | </g> |
126 | <!-- N3->N4 --> | |
9f95a23c | 127 | <g id="edge7" class="edge"> |
11fdf7f2 | 128 | <title>N3->N4</title> |
9f95a23c TL |
129 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M344.5315,-1301.8748C321.9439,-1279.1664 295.5653,-1252.6468 272.272,-1229.2289"/> |
130 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="274.6834,-1226.6902 265.1497,-1222.0686 269.7205,-1231.6268 274.6834,-1226.6902"/> | |
11fdf7f2 TL |
131 | </g> |
132 | <!-- N5 --> | |
9f95a23c | 133 | <g id="node8" class="node"> |
11fdf7f2 | 134 | <title>N5</title> |
9f95a23c TL |
135 | <ellipse fill="none" stroke="#ffa500" cx="303.3688" cy="-980" rx="72" ry="72"/> |
136 | <ellipse fill="none" stroke="#ffa500" cx="303.3688" cy="-980" rx="76" ry="76"/> | |
137 | <text text-anchor="middle" x="303.3688" y="-976.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:reconnect</text> | |
11fdf7f2 TL |
138 | </g> |
139 | <!-- N3->N5 --> | |
9f95a23c | 140 | <g id="edge8" class="edge"> |
11fdf7f2 | 141 | <title>N3->N5</title> |
9f95a23c TL |
142 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M379.7132,-1282.1631C363.857,-1219.406 341.0993,-1129.3335 324.5591,-1063.869"/> |
143 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="327.9058,-1062.8267 322.0628,-1053.9888 321.1191,-1064.5415 327.9058,-1062.8267"/> | |
11fdf7f2 TL |
144 | </g> |
145 | <!-- N3->D0 --> | |
9f95a23c | 146 | <g id="edge18" class="edge"> |
11fdf7f2 | 147 | <title>N3->D0</title> |
9f95a23c TL |
148 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M429.2219,-1286.1488C463.1132,-1212.2797 512.3688,-1091.2645 512.3688,-980 512.3688,-980 512.3688,-980 512.3688,-792 512.3688,-474.3192 783.7821,-319.7602 575.3688,-80 552.9853,-54.2499 469.2016,-38.7797 405.305,-30.3735"/> |
149 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="405.5966,-26.8823 395.2332,-29.0845 404.708,-33.8257 405.5966,-26.8823"/> | |
11fdf7f2 TL |
150 | </g> |
151 | <!-- D1 --> | |
152 | <g id="node14" class="node"> | |
153 | <title>D1</title> | |
9f95a23c TL |
154 | <polygon fill="none" stroke="#000000" points="350.3688,-98 314.3688,-116 242.3688,-116 206.3688,-98 242.3688,-80 314.3688,-80 350.3688,-98"/> |
155 | <text text-anchor="middle" x="278.3688" y="-94.3" font-family="Times,serif" font-size="14.00" fill="#000000">down:damaged</text> | |
11fdf7f2 TL |
156 | </g> |
157 | <!-- N3->D1 --> | |
9f95a23c | 158 | <g id="edge26" class="edge"> |
11fdf7f2 | 159 | <title>N3->D1</title> |
9f95a23c TL |
160 | <path fill="none" stroke="#000000" stroke-width="2" d="M322.8204,-1347.7263C258.5111,-1336.2473 169.8464,-1308.9217 126.3688,-1244 59.1011,-1143.5544 -158.2652,-797.8876 204.3688,-152 211.1318,-139.9545 221.8244,-129.8664 233.0015,-121.7941"/> |
161 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="235.2451,-124.5029 241.5861,-116.0151 231.3361,-118.6961 235.2451,-124.5029"/> | |
11fdf7f2 TL |
162 | </g> |
163 | <!-- N4->N5 --> | |
9f95a23c | 164 | <g id="edge9" class="edge"> |
11fdf7f2 | 165 | <title>N4->N5</title> |
9f95a23c TL |
166 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M244.8432,-1099.5959C251.5443,-1085.9023 258.6292,-1071.4243 265.4677,-1057.4501"/> |
167 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="268.6675,-1058.8738 269.9194,-1048.3532 262.38,-1055.7969 268.6675,-1058.8738"/> | |
11fdf7f2 TL |
168 | </g> |
169 | <!-- N4->D0 --> | |
9f95a23c | 170 | <g id="edge19" class="edge"> |
11fdf7f2 | 171 | <title>N4->D0</title> |
9f95a23c TL |
172 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M182.2708,-1097.5883C130.6372,-966.0773 28.3688,-673.1423 28.3688,-416 28.3688,-416 28.3688,-416 28.3688,-228 28.3688,-154.2584 42.6488,-121.8439 103.3688,-80 128.4366,-62.7251 202.1607,-45.6583 258.4514,-34.5595"/> |
173 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="259.2404,-37.9717 268.3878,-32.6261 257.9034,-31.1006 259.2404,-37.9717"/> | |
11fdf7f2 TL |
174 | </g> |
175 | <!-- N4->D1 --> | |
9f95a23c | 176 | <g id="edge27" class="edge"> |
11fdf7f2 | 177 | <title>N4->D1</title> |
9f95a23c TL |
178 | <path fill="none" stroke="#000000" stroke-width="2" d="M209.2083,-1091.7553C205.5506,-945.7608 199.6177,-616.649 211.3688,-340 214.9276,-256.2179 193.1085,-228.5397 227.3688,-152 232.1284,-141.3666 239.8803,-131.5131 247.9197,-123.2133"/> |
179 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="250.564,-125.5245 255.3061,-116.0501 245.6908,-120.4994 250.564,-125.5245"/> | |
11fdf7f2 TL |
180 | </g> |
181 | <!-- N6 --> | |
9f95a23c | 182 | <g id="node9" class="node"> |
11fdf7f2 | 183 | <title>N6</title> |
9f95a23c TL |
184 | <ellipse fill="none" stroke="#ffa500" cx="303.3688" cy="-792" rx="72" ry="72"/> |
185 | <ellipse fill="none" stroke="#ffa500" cx="303.3688" cy="-792" rx="76" ry="76"/> | |
186 | <text text-anchor="middle" x="303.3688" y="-788.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:rejoin</text> | |
11fdf7f2 TL |
187 | </g> |
188 | <!-- N5->N6 --> | |
9f95a23c | 189 | <g id="edge10" class="edge"> |
11fdf7f2 | 190 | <title>N5->N6</title> |
9f95a23c TL |
191 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M303.3688,-903.8042C303.3688,-895.4826 303.3688,-886.9678 303.3688,-878.5337"/> |
192 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="306.8689,-878.3042 303.3688,-868.3043 299.8689,-878.3043 306.8689,-878.3042"/> | |
11fdf7f2 TL |
193 | </g> |
194 | <!-- N5->D0 --> | |
9f95a23c | 195 | <g id="edge20" class="edge"> |
11fdf7f2 | 196 | <title>N5->D0</title> |
9f95a23c TL |
197 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M254.0847,-921.7614C241.397,-905.0698 228.485,-886.3944 218.3688,-868 116.2346,-682.2886 66.3688,-627.9436 66.3688,-416 66.3688,-416 66.3688,-416 66.3688,-228 66.3688,-152.5844 87.2542,-122.7701 149.3688,-80 181.6933,-57.7424 223.1014,-43.6017 257.948,-34.8615"/> |
198 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="259.1567,-38.1706 268.0605,-32.4284 257.5192,-31.3648 259.1567,-38.1706"/> | |
11fdf7f2 TL |
199 | </g> |
200 | <!-- N5->D1 --> | |
9f95a23c | 201 | <g id="edge28" class="edge"> |
11fdf7f2 | 202 | <title>N5->D1</title> |
9f95a23c TL |
203 | <path fill="none" stroke="#000000" stroke-width="2" d="M355.2,-924.1401C368.1413,-907.2479 380.5465,-887.8749 388.3688,-868 419.1254,-789.8535 403.1412,-763.8747 407.3688,-680 410.7695,-612.5301 422.8899,-593.7484 407.3688,-528 403.2588,-510.59 395.5752,-508.7774 389.3688,-492 335.3278,-345.9134 357.3181,-298.4858 304.3688,-152 301.1307,-143.0417 296.8836,-133.5849 292.7633,-125.1317"/> |
204 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="295.8407,-123.4606 288.2256,-116.0943 289.5849,-126.6016 295.8407,-123.4606"/> | |
11fdf7f2 TL |
205 | </g> |
206 | <!-- N7 --> | |
9f95a23c | 207 | <g id="node10" class="node"> |
11fdf7f2 | 208 | <title>N7</title> |
9f95a23c TL |
209 | <ellipse fill="none" stroke="#ffa500" cx="322.3688" cy="-604" rx="72" ry="72"/> |
210 | <ellipse fill="none" stroke="#ffa500" cx="322.3688" cy="-604" rx="76" ry="76"/> | |
211 | <text text-anchor="middle" x="322.3688" y="-600.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:clientreplay</text> | |
11fdf7f2 TL |
212 | </g> |
213 | <!-- N6->N7 --> | |
9f95a23c | 214 | <g id="edge11" class="edge"> |
11fdf7f2 | 215 | <title>N6->N7</title> |
9f95a23c TL |
216 | <path fill="none" stroke="#ffa500" stroke-width="2" d="M311.0147,-716.3459C311.8988,-707.5982 312.8051,-698.6301 313.7015,-689.7605"/> |
217 | <polygon fill="#ffa500" stroke="#ffa500" stroke-width="2" points="317.1843,-690.1066 314.7076,-679.8054 310.2197,-689.4027 317.1843,-690.1066"/> | |
11fdf7f2 TL |
218 | </g> |
219 | <!-- N6->S0 --> | |
9f95a23c | 220 | <g id="edge15" class="edge"> |
11fdf7f2 | 221 | <title>N6->S0</title> |
9f95a23c TL |
222 | <path fill="none" stroke="#00ff00" stroke-width="2" d="M360.4621,-741.3761C377.7051,-723.4948 395.2541,-702.2572 407.3688,-680 437.473,-624.6922 454.3874,-555.4885 463.6883,-501.8117"/> |
223 | <polygon fill="#00ff00" stroke="#00ff00" stroke-width="2" points="467.1928,-502.0756 465.3932,-491.6348 460.289,-500.919 467.1928,-502.0756"/> | |
11fdf7f2 TL |
224 | </g> |
225 | <!-- N6->D0 --> | |
9f95a23c | 226 | <g id="edge21" class="edge"> |
11fdf7f2 | 227 | <title>N6->D0</title> |
9f95a23c TL |
228 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M248.8296,-738.5591C234.4494,-721.2875 220.6505,-701.1069 212.3688,-680 114.7809,-431.287 23.5812,-299.8683 175.3688,-80 186.1466,-64.3881 227.326,-49.2787 264.2499,-38.3971"/> |
229 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="265.3806,-41.7138 274.022,-35.5839 263.444,-34.987 265.3806,-41.7138"/> | |
11fdf7f2 TL |
230 | </g> |
231 | <!-- N6->D1 --> | |
9f95a23c | 232 | <g id="edge29" class="edge"> |
11fdf7f2 | 233 | <title>N6->D1</title> |
9f95a23c TL |
234 | <path fill="none" stroke="#000000" stroke-width="2" d="M259.0732,-730.0838C250.1412,-714.4524 242.0601,-697.2016 237.3688,-680 180.9547,-473.1485 245.862,-210.4698 270.032,-125.7018"/> |
235 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="273.41,-126.6196 272.8319,-116.0405 266.6866,-124.671 273.41,-126.6196"/> | |
11fdf7f2 TL |
236 | </g> |
237 | <!-- N7->S0 --> | |
9f95a23c | 238 | <g id="edge12" class="edge"> |
11fdf7f2 | 239 | <title>N7->S0</title> |
9f95a23c TL |
240 | <path fill="none" stroke="#00ff00" stroke-width="2" d="M370.2539,-544.7737C386.0793,-525.2002 403.7979,-503.285 420.0683,-483.1611"/> |
241 | <polygon fill="#00ff00" stroke="#00ff00" stroke-width="2" points="422.8978,-485.2284 426.4633,-475.2515 417.4543,-480.8273 422.8978,-485.2284"/> | |
11fdf7f2 TL |
242 | </g> |
243 | <!-- N7->D0 --> | |
9f95a23c | 244 | <g id="edge22" class="edge"> |
11fdf7f2 | 245 | <title>N7->D0</title> |
9f95a23c TL |
246 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M278.6936,-541.4308C212.0474,-437.4794 102.2193,-226.1856 197.3688,-80 211.4404,-58.3807 235.6107,-44.7591 259.3879,-36.2034"/> |
247 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="260.7836,-39.4276 269.1659,-32.9478 258.5723,-32.7861 260.7836,-39.4276"/> | |
11fdf7f2 TL |
248 | </g> |
249 | <!-- N7->D1 --> | |
9f95a23c | 250 | <g id="edge30" class="edge"> |
11fdf7f2 | 251 | <title>N7->D1</title> |
9f95a23c TL |
252 | <path fill="none" stroke="#000000" stroke-width="2" d="M315.7815,-528.2467C305.8418,-413.94 287.4667,-202.6265 280.8359,-126.3719"/> |
253 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="284.2984,-125.788 279.9452,-116.1288 277.3248,-126.3945 284.2984,-125.788"/> | |
11fdf7f2 TL |
254 | </g> |
255 | <!-- S3 --> | |
256 | <g id="node12" class="node"> | |
257 | <title>S3</title> | |
9f95a23c TL |
258 | <ellipse fill="none" stroke="#a020f0" cx="474.3688" cy="-228" rx="72" ry="72"/> |
259 | <ellipse fill="none" stroke="#a020f0" cx="474.3688" cy="-228" rx="76" ry="76"/> | |
260 | <text text-anchor="middle" x="474.3688" y="-224.3" font-family="Times,serif" font-size="14.00" fill="#000000">up:stopping</text> | |
11fdf7f2 TL |
261 | </g> |
262 | <!-- S0->S3 --> | |
9f95a23c | 263 | <g id="edge16" class="edge"> |
11fdf7f2 | 264 | <title>S0->S3</title> |
9f95a23c TL |
265 | <path fill="none" stroke="#a020f0" stroke-width="2" d="M474.3688,-339.8042C474.3688,-331.4826 474.3688,-322.9678 474.3688,-314.5337"/> |
266 | <polygon fill="#a020f0" stroke="#a020f0" stroke-width="2" points="477.8689,-314.3042 474.3688,-304.3043 470.8689,-314.3043 477.8689,-314.3042"/> | |
11fdf7f2 TL |
267 | </g> |
268 | <!-- S0->D0 --> | |
9f95a23c | 269 | <g id="edge23" class="edge"> |
11fdf7f2 | 270 | <title>S0->D0</title> |
9f95a23c TL |
271 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M527.0686,-361.1971C540.1945,-344.1784 552.4791,-324.4748 559.3688,-304 591.1196,-209.6433 620.5965,-158.5014 559.3688,-80 540.2875,-55.5355 464.1975,-39.8225 404.4932,-31.0076"/> |
272 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="404.7058,-27.5023 394.3101,-29.5466 403.7116,-34.4314 404.7058,-27.5023"/> | |
11fdf7f2 TL |
273 | </g> |
274 | <!-- S0->D1 --> | |
9f95a23c | 275 | <g id="edge31" class="edge"> |
11fdf7f2 | 276 | <title>S0->D1</title> |
9f95a23c TL |
277 | <path fill="none" stroke="#000000" stroke-width="2" d="M424.3129,-358.5726C411.5474,-341.8108 398.7888,-322.897 389.3688,-304 358.0472,-241.1673 385.2932,-210.4284 346.3688,-152 338.776,-140.6027 328.0091,-130.4943 317.2769,-122.1953"/> |
278 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="319.2611,-119.31 309.1298,-116.2103 315.1168,-124.9514 319.2611,-119.31"/> | |
11fdf7f2 TL |
279 | </g> |
280 | <!-- S3->D0 --> | |
9f95a23c | 281 | <g id="edge24" class="edge"> |
11fdf7f2 | 282 | <title>S3->D0</title> |
9f95a23c TL |
283 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M430.366,-165.9139C403.7723,-128.3912 371.0479,-82.2184 349.9551,-52.4574"/> |
284 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="352.7039,-50.2828 344.0659,-44.148 346.9928,-54.3305 352.7039,-50.2828"/> | |
11fdf7f2 TL |
285 | </g> |
286 | <!-- S3->D1 --> | |
9f95a23c | 287 | <g id="edge32" class="edge"> |
11fdf7f2 | 288 | <title>S3->D1</title> |
9f95a23c TL |
289 | <path fill="none" stroke="#000000" stroke-width="2" d="M417.8114,-176.8892C407.0411,-168.1353 395.6128,-159.467 384.3688,-152 366.1181,-139.88 344.7922,-128.5324 326.0732,-119.3982"/> |
290 | <polygon fill="#000000" stroke="#000000" stroke-width="2" points="327.366,-116.1365 316.8361,-114.965 324.3371,-122.4473 327.366,-116.1365"/> | |
11fdf7f2 TL |
291 | </g> |
292 | <!-- D3 --> | |
293 | <g id="node15" class="node"> | |
294 | <title>D3</title> | |
9f95a23c TL |
295 | <polygon fill="none" stroke="#a020f0" points="550.3688,-98 514.3688,-116 442.3688,-116 406.3688,-98 442.3688,-80 514.3688,-80 550.3688,-98"/> |
296 | <text text-anchor="middle" x="478.3688" y="-94.3" font-family="Times,serif" font-size="14.00" fill="#000000">down:stopped</text> | |
11fdf7f2 TL |
297 | </g> |
298 | <!-- S3->D3 --> | |
9f95a23c | 299 | <g id="edge34" class="edge"> |
11fdf7f2 | 300 | <title>S3->D3</title> |
9f95a23c TL |
301 | <path fill="none" stroke="#a020f0" stroke-width="2" d="M476.7072,-152.0023C476.9861,-142.9385 477.2559,-134.1686 477.4942,-126.4252"/> |
302 | <polygon fill="#a020f0" stroke="#a020f0" stroke-width="2" points="480.9983,-126.3415 477.8076,-116.2385 474.0016,-126.1261 480.9983,-126.3415"/> | |
11fdf7f2 TL |
303 | </g> |
304 | <!-- D0->N3 --> | |
9f95a23c | 305 | <g id="edge25" class="edge"> |
11fdf7f2 | 306 | <title>D0->N3</title> |
9f95a23c TL |
307 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M397.758,-27.8117C467.676,-35.4452 568.4799,-51.3676 593.3688,-80 801.7821,-319.7602 530.3688,-474.3192 530.3688,-792 530.3688,-980 530.3688,-980 530.3688,-980 530.3688,-1089.5002 482.6629,-1208.4443 444.4976,-1282.5994"/> |
308 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="441.1858,-1281.3802 439.6575,-1291.8642 447.3902,-1284.6215 441.1858,-1281.3802"/> | |
11fdf7f2 TL |
309 | </g> |
310 | <!-- D1->D0 --> | |
9f95a23c | 311 | <g id="edge33" class="edge"> |
11fdf7f2 | 312 | <title>D1->D0</title> |
9f95a23c TL |
313 | <path fill="none" stroke="#ff0000" stroke-width="2" d="M290.2181,-79.9891C295.5579,-71.8726 302.0166,-62.0553 308.0897,-52.8243"/> |
314 | <polygon fill="#ff0000" stroke="#ff0000" stroke-width="2" points="311.1727,-54.5061 313.745,-44.2282 305.3248,-50.6587 311.1727,-54.5061"/> | |
11fdf7f2 TL |
315 | </g> |
316 | </g> | |
317 | </svg> |