-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstnu.dot
134 lines (132 loc) · 7.59 KB
/
stnu.dot
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
128
129
130
131
132
133
digraph stnu {
rankdir=LR;
node [with=.2, height=.2, fontsize=5, shape=circle, style=filled, fillcolor=white]; 0 -> 1 [fontsize=8, arrowsize= .5, label = "[500,500]"];
0 -> 2 [fontsize=8, arrowsize= .5, label = "[0,0]"];
0 -> 3 [fontsize=8, arrowsize= .5, label = "[1,500]"];
0 -> 4 [fontsize=8, arrowsize= .5, label = "[0,0]"];
0 -> 5 [fontsize=8, arrowsize= .5, label = "[10,10]"];
0 -> 6 [fontsize=8, arrowsize= .5, label = "[10,10]"];
0 -> 7 [fontsize=8, arrowsize= .5, label = "[160,160]"];
0 -> 8 [fontsize=8, arrowsize= .5, label = "[160,160]"];
0 -> 9 [fontsize=8, arrowsize= .5, label = "[200,200]"];
0 -> 10 [fontsize=8, arrowsize= .5, label = "[200,200]"];
0 -> 11 [fontsize=8, arrowsize= .5, label = "[300,300]"];
0 -> 12 [fontsize=8, arrowsize= .5, label = "[300,300]"];
0 -> 13 [fontsize=8, arrowsize= .5, label = "[310,310]"];
0 -> 14 [fontsize=8, arrowsize= .5, label = "[310,310]"];
0 -> 15 [fontsize=8, arrowsize= .5, label = "[460,460]"];
0 -> 16 [fontsize=8, arrowsize= .5, label = "[460,460]"];
0 -> 17 [fontsize=8, arrowsize= .5, label = "[500,500]"];
0 -> 18 [fontsize=8, arrowsize= .5, label = "[0,0]"];
0 -> 19 [fontsize=8, arrowsize= .5, label = "[50,50]"];
0 -> 20 [fontsize=8, arrowsize= .5, label = "[50,50]"];
0 -> 21 [fontsize=8, arrowsize= .5, label = "[250,250]"];
0 -> 22 [fontsize=8, arrowsize= .5, label = "[250,250]"];
0 -> 23 [fontsize=8, arrowsize= .5, label = "[300,300]"];
0 -> 24 [fontsize=8, arrowsize= .5, label = "[300,300]"];
0 -> 25 [fontsize=8, arrowsize= .5, label = "[450,450]"];
0 -> 26 [fontsize=8, arrowsize= .5, label = "[450,450]"];
0 -> 27 [fontsize=8, arrowsize= .5, label = "[500,500]"];
0 -> 28 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 29 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 30 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 31 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 32 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 33 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 34 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 35 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 36 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 37 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 38 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 39 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 40 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 41 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 42 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 43 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 44 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 45 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 46 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 47 [fontsize=8, arrowsize= .5, label = "[0,500]"];
0 -> 49 [fontsize=8, arrowsize= .5, label = "[0,500]"];
2 -> 1 [fontsize=8, arrowsize= .5, label = "[500,500]"];
2 -> 3 [fontsize=8, arrowsize= .5, label = "[1,500]"];
3 -> 1 [fontsize=8, arrowsize= .5, label = "[0,499]"];
3 -> 42 [fontsize=8, arrowsize= .5, label = "[0,500]"];
3 -> 44 [fontsize=8, arrowsize= .5, label = "[0,500]"];
4 -> 1 [fontsize=8, arrowsize= .5, label = "[500,500]"];
4 -> 5 [fontsize=8, arrowsize= .5, style= dotted, label = "[10,10]"];
5 -> 1 [fontsize=8, arrowsize= .5, label = "[490,490]"];
6 -> 1 [fontsize=8, arrowsize= .5, label = "[490,490]"];
6 -> 7 [fontsize=8, arrowsize= .5, style= dotted, label = "[150,150]"];
7 -> 1 [fontsize=8, arrowsize= .5, label = "[340,340]"];
8 -> 1 [fontsize=8, arrowsize= .5, label = "[340,340]"];
8 -> 9 [fontsize=8, arrowsize= .5, style= dotted, label = "[40,40]"];
9 -> 1 [fontsize=8, arrowsize= .5, label = "[300,300]"];
10 -> 1 [fontsize=8, arrowsize= .5, label = "[300,300]"];
10 -> 11 [fontsize=8, arrowsize= .5, style= dotted, label = "[100,100]"];
11 -> 1 [fontsize=8, arrowsize= .5, label = "[200,200]"];
12 -> 1 [fontsize=8, arrowsize= .5, label = "[200,200]"];
12 -> 13 [fontsize=8, arrowsize= .5, style= dotted, label = "[10,10]"];
13 -> 1 [fontsize=8, arrowsize= .5, label = "[190,190]"];
14 -> 1 [fontsize=8, arrowsize= .5, label = "[190,190]"];
14 -> 15 [fontsize=8, arrowsize= .5, style= dotted, label = "[150,150]"];
15 -> 1 [fontsize=8, arrowsize= .5, label = "[40,40]"];
16 -> 1 [fontsize=8, arrowsize= .5, label = "[40,40]"];
16 -> 17 [fontsize=8, arrowsize= .5, style= dotted, label = "[40,40]"];
17 -> 1 [fontsize=8, arrowsize= .5, label = "[0,0]"];
18 -> 1 [fontsize=8, arrowsize= .5, label = "[500,500]"];
18 -> 19 [fontsize=8, arrowsize= .5, style= dotted, label = "[50,50]"];
19 -> 1 [fontsize=8, arrowsize= .5, label = "[450,450]"];
20 -> 1 [fontsize=8, arrowsize= .5, label = "[450,450]"];
20 -> 21 [fontsize=8, arrowsize= .5, style= dotted, label = "[200,200]"];
21 -> 1 [fontsize=8, arrowsize= .5, label = "[250,250]"];
22 -> 1 [fontsize=8, arrowsize= .5, label = "[250,250]"];
22 -> 23 [fontsize=8, arrowsize= .5, style= dotted, label = "[50,50]"];
23 -> 1 [fontsize=8, arrowsize= .5, label = "[200,200]"];
24 -> 1 [fontsize=8, arrowsize= .5, label = "[200,200]"];
24 -> 25 [fontsize=8, arrowsize= .5, style= dotted, label = "[150,150]"];
25 -> 1 [fontsize=8, arrowsize= .5, label = "[50,50]"];
26 -> 1 [fontsize=8, arrowsize= .5, label = "[50,50]"];
26 -> 27 [fontsize=8, arrowsize= .5, style= dotted, label = "[50,50]"];
27 -> 1 [fontsize=8, arrowsize= .5, label = "[0,0]"];
28 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
28 -> 29 [fontsize=8, arrowsize= .5, label = "[3,7]"];
29 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
29 -> 30 [fontsize=8, arrowsize= .5, label = "[0,500]"];
30 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
30 -> 31 [fontsize=8, arrowsize= .5, style= dotted, label = "[5,8]"];
31 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
32 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
32 -> 38 [fontsize=8, arrowsize= .5, label = "[0,500]"];
32 -> 45 [fontsize=8, arrowsize= .5, label = "[0,500]"];
33 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
33 -> 32 [fontsize=8, arrowsize= .5, label = "[3,7]"];
34 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
34 -> 35 [fontsize=8, arrowsize= .5, label = "[3,7]"];
35 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
35 -> 40 [fontsize=8, arrowsize= .5, label = "[0,500]"];
35 -> 43 [fontsize=8, arrowsize= .5, label = "[0,500]"];
36 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
36 -> 37 [fontsize=8, arrowsize= .5, label = "[3,7]"];
37 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
37 -> 46 [fontsize=8, arrowsize= .5, label = "[0,500]"];
38 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
38 -> 39 [fontsize=8, arrowsize= .5, style= dotted, label = "[5,8]"];
39 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
40 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
40 -> 41 [fontsize=8, arrowsize= .5, style= dotted, label = "[5,8]"];
41 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
42 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
42 -> 34 [fontsize=8, arrowsize= .5, label = "[0,500]"];
42 -> 43 [fontsize=8, arrowsize= .5, label = "[1,500]"];
43 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
43 -> 44 [fontsize=8, arrowsize= .5, label = "[0,500]"];
44 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
44 -> 33 [fontsize=8, arrowsize= .5, label = "[0,500]"];
44 -> 45 [fontsize=8, arrowsize= .5, label = "[1,500]"];
45 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
46 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
46 -> 47 [fontsize=8, arrowsize= .5, style= dotted, label = "[5,8]"];
47 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
49 -> 1 [fontsize=8, arrowsize= .5, label = "[0,500]"];
}