-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathout.dot
195 lines (195 loc) · 5.82 KB
/
out.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
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
digraph model {
0 [ label = "" ];
1 [ label = " s3=0" ];
2 [ label = " s3=1" ];
3 [ label = "s0=0& s3=0" ];
4 [ label = "s0=1& s3=0" ];
5 [ label = "s0=0& s3=1" ];
6 [ label = "s0=1& s3=1" ];
7 [ label = "s0=0& s1=0& s3=0" ];
8 [ label = "s0=0& s1=1& s3=0" ];
9 [ label = "s0=1& s1=0& s3=0" ];
10 [ label = "s0=1& s1=1& s3=0" ];
11 [ label = "s0=0& s1=0& s3=1" ];
12 [ label = "s0=0& s1=1& s3=1" ];
13 [ label = "s0=1& s1=0& s3=1" ];
14 [ label = "s0=1& s1=1& s3=1" ];
15 [ label = "s0=0& s1=0& s3=0& x0=0" ];
16 [ label = "s0=0& s1=0& s3=0& x0=1" ];
17 [ label = "s0=0& s1=1& s3=0& x0=0" ];
18 [ label = "s0=0& s1=1& s3=0& x0=1" ];
19 [ label = "s0=1& s1=0& s3=0& x0=0" ];
20 [ label = "s0=1& s1=0& s3=0& x0=1" ];
21 [ label = "s0=1& s1=1& s3=0& x0=0" ];
22 [ label = "s0=1& s1=1& s3=0& x0=1" ];
23 [ label = "s0=0& s1=0& s3=1& x0=0" ];
24 [ label = "s0=0& s1=0& s3=1& x0=1" ];
25 [ label = "s0=0& s1=1& s3=1& x0=0" ];
26 [ label = "s0=0& s1=1& s3=1& x0=1" ];
27 [ label = "s0=1& s1=0& s3=1& x0=0" ];
28 [ label = "s0=1& s1=0& s3=1& x0=1" ];
29 [ label = "s0=1& s1=1& s3=1& x0=0" ];
30 [ label = "s0=1& s1=1& s3=1& x0=1" ];
31 [ label = "s0=0& x1=0" ];
32 [ label = "s0=0& x1=1" ];
33 [ label = "s0=1& x1=0" ];
34 [ label = "s0=1& x1=1" ];
35 [ label = "s0=0& s2=0" ];
36 [ label = "s0=0& s2=1" ];
37 [ label = "s0=1& s2=0" ];
38 [ label = "s0=1& s2=1" ];
39 [ label = "s0=0& s2=0& s4=0" ];
40 [ label = "s0=0& s2=0& s4=1" ];
41 [ label = "s0=0& s2=1& s4=0" ];
42 [ label = "s0=0& s2=1& s4=1" ];
43 [ label = "s0=1& s2=0& s4=0" ];
44 [ label = "s0=1& s2=0& s4=1" ];
45 [ label = "s0=1& s2=1& s4=0" ];
46 [ label = "s0=1& s2=1& s4=1" ];
47 [ label = "s0=0& s2=0& s4=0& x2=0" ];
48 [ label = "s0=0& s2=0& s4=0& x2=1" ];
49 [ label = "s0=0& s2=0& s4=1& x2=0" ];
50 [ label = "s0=0& s2=0& s4=1& x2=1" ];
51 [ label = "s0=0& s2=1& s4=0& x2=0" ];
52 [ label = "s0=0& s2=1& s4=0& x2=1" ];
53 [ label = "s0=0& s2=1& s4=1& x2=0" ];
54 [ label = "s0=0& s2=1& s4=1& x2=1" ];
55 [ label = "s0=1& s2=0& s4=0& x2=0" ];
56 [ label = "s0=1& s2=0& s4=0& x2=1" ];
57 [ label = "s0=1& s2=0& s4=1& x2=0" ];
58 [ label = "s0=1& s2=0& s4=1& x2=1" ];
59 [ label = "s0=1& s2=1& s4=0& x2=0" ];
60 [ label = "s0=1& s2=1& s4=0& x2=1" ];
61 [ label = "s0=1& s2=1& s4=1& x2=0" ];
62 [ label = "s0=1& s2=1& s4=1& x2=1" ];
63 [ label = " x3=0" ];
64 [ label = " x3=1" ];
0 -> 1 [ label= "0.6" ];
0 -> 2 [ label= "0.4" ];
1 -> 3 [ label= "0.4" ];
1 -> 4 [ label= "0.6" ];
2 -> 5 [ label= "0.4" ];
2 -> 6 [ label= "0.6" ];
3 -> 7 [ label= "0.5" ];
3 -> 8 [ label= "0.5" ];
4 -> 9 [ label= "0.5" ];
4 -> 10 [ label= "0.5" ];
5 -> 11 [ label= "0.5" ];
5 -> 12 [ label= "0.5" ];
6 -> 13 [ label= "0.5" ];
6 -> 14 [ label= "0.5" ];
7 -> 15 [ label= "0.6" ];
7 -> 16 [ label= "0.4" ];
8 -> 17 [ label= "0.6" ];
8 -> 18 [ label= "0.4" ];
9 -> 19 [ label= "0.5" ];
9 -> 20 [ label= "0.5" ];
10 -> 21 [ label= "0.5" ];
10 -> 22 [ label= "0.5" ];
11 -> 23 [ label= "0.6" ];
11 -> 24 [ label= "0.4" ];
12 -> 25 [ label= "0.6" ];
12 -> 26 [ label= "0.4" ];
13 -> 27 [ label= "0.5" ];
13 -> 28 [ label= "0.5" ];
14 -> 29 [ label= "0.5" ];
14 -> 30 [ label= "0.5" ];
15 -> 31 [ label= "0.1" ];
15 -> 32 [ label= "0.9" ];
16 -> 31 [ label= "0.1" ];
16 -> 32 [ label= "0.9" ];
17 -> 31 [ label= "0.1" ];
17 -> 32 [ label= "0.9" ];
18 -> 31 [ label= "0.1" ];
18 -> 32 [ label= "0.9" ];
19 -> 33 [ label= "0.1" ];
19 -> 34 [ label= "0.9" ];
20 -> 33 [ label= "0.1" ];
20 -> 34 [ label= "0.9" ];
21 -> 33 [ label= "0.2" ];
21 -> 34 [ label= "0.8" ];
22 -> 33 [ label= "0.2" ];
22 -> 34 [ label= "0.8" ];
23 -> 31 [ label= "0.2" ];
23 -> 32 [ label= "0.8" ];
24 -> 31 [ label= "0.2" ];
24 -> 32 [ label= "0.8" ];
25 -> 31 [ label= "0.2" ];
25 -> 32 [ label= "0.8" ];
26 -> 31 [ label= "0.2" ];
26 -> 32 [ label= "0.8" ];
27 -> 33 [ label= "0.1" ];
27 -> 34 [ label= "0.9" ];
28 -> 33 [ label= "0.1" ];
28 -> 34 [ label= "0.9" ];
29 -> 33 [ label= "0.2" ];
29 -> 34 [ label= "0.8" ];
30 -> 33 [ label= "0.2" ];
30 -> 34 [ label= "0.8" ];
31 -> 35 [ label= "0.4" ];
31 -> 36 [ label= "0.6" ];
32 -> 35 [ label= "0.4" ];
32 -> 36 [ label= "0.6" ];
33 -> 37 [ label= "0.4" ];
33 -> 38 [ label= "0.6" ];
34 -> 37 [ label= "0.4" ];
34 -> 38 [ label= "0.6" ];
35 -> 39 [ label= "0.9" ];
35 -> 40 [ label= "0.1" ];
36 -> 41 [ label= "0.9" ];
36 -> 42 [ label= "0.1" ];
37 -> 43 [ label= "0.9" ];
37 -> 44 [ label= "0.1" ];
38 -> 45 [ label= "0.9" ];
38 -> 46 [ label= "0.1" ];
39 -> 47 [ label= "0.3" ];
39 -> 48 [ label= "0.7" ];
40 -> 49 [ label= "0.3" ];
40 -> 50 [ label= "0.7" ];
41 -> 51 [ label= "0.3" ];
41 -> 52 [ label= "0.7" ];
42 -> 53 [ label= "0.3" ];
42 -> 54 [ label= "0.7" ];
43 -> 55 [ label= "0.3" ];
43 -> 56 [ label= "0.7" ];
44 -> 57 [ label= "0.3" ];
44 -> 58 [ label= "0.7" ];
45 -> 59 [ label= "0.5" ];
45 -> 60 [ label= "0.5" ];
46 -> 61 [ label= "0.5" ];
46 -> 62 [ label= "0.5" ];
47 -> 63 [ label= "0.4" ];
47 -> 64 [ label= "0.6" ];
48 -> 63 [ label= "0.4" ];
48 -> 64 [ label= "0.6" ];
49 -> 63 [ label= "0.8" ];
49 -> 64 [ label= "0.2" ];
50 -> 63 [ label= "0.8" ];
50 -> 64 [ label= "0.2" ];
51 -> 63 [ label= "0.4" ];
51 -> 64 [ label= "0.6" ];
52 -> 63 [ label= "0.4" ];
52 -> 64 [ label= "0.6" ];
53 -> 63 [ label= "0.8" ];
53 -> 64 [ label= "0.2" ];
54 -> 63 [ label= "0.8" ];
54 -> 64 [ label= "0.2" ];
55 -> 63 [ label= "0.8" ];
55 -> 64 [ label= "0.2" ];
56 -> 63 [ label= "0.8" ];
56 -> 64 [ label= "0.2" ];
57 -> 63 [ label= "0.8" ];
57 -> 64 [ label= "0.2" ];
58 -> 63 [ label= "0.8" ];
58 -> 64 [ label= "0.2" ];
59 -> 63 [ label= "0.8" ];
59 -> 64 [ label= "0.2" ];
60 -> 63 [ label= "0.8" ];
60 -> 64 [ label= "0.2" ];
61 -> 63 [ label= "0.8" ];
61 -> 64 [ label= "0.2" ];
62 -> 63 [ label= "0.8" ];
62 -> 64 [ label= "0.2" ];
63 -> 63 [ label= "1" ];
64 -> 64 [ label= "1" ];
}