| blob | c454f7aec37f66837ac88a1c9c6294b956c8693c |
1 flow 1: Entry --> 92: xrsij(mrsij+... [ Vi]
2 flow 1: Entry --> 93: xrsij(mijrs+... [ Vi]
3 flow 1: Entry --> 121: xijrs(mijrs) [ Vi]
4 flow 1: Entry --> 57: v(mp,mi) [ MV]
5 flow 1: Entry --> 58: v(mq,mi) [ MV]
6 flow 1: Entry --> 73: v(mq,mj) [ MV]
7 flow 1: Entry --> 124: v(mr,mk) [ MV]
8 flow 1: Entry --> 125: v(ms,mk) [ MV]
9 flow 1: Entry --> 141: v(ms,ml) [ MV]
10 flow 1: Entry --> 54: xrspq(mrspq) [ MV]
11 flow 1: Entry --> 92: xrsij(mrsij+... [ M]
12 flow 1: Entry --> 93: xrsij(mijrs+... [ M]
13 output 1: Entry --> 79: xrsij(mrsij) [ M]
14 flow 1: Entry --> 121: xijrs(mijrs) [ M]
15 output 1: Entry --> 93: xijrs(mrsij+... [ M]
16 output 1: Entry --> 94: xijrs(mijrs+... [ M]
17 output 1: Entry --> 147: xijkl(mijkl) [ M]
18 flow 1: Entry --> 57: xrsiq(mi,mq) [ M]
19 flow 1: Entry --> 58: xrsiq(mi,mp) [ M]
20 flow 1: Entry --> 70: xrsiq(mi,mq) [ M]
21 output 1: Entry --> 48: xrsiq(mi,mq) [ M]
22 output 1: Entry --> 57: xrsiq(mi,mq) [ M]
23 output 1: Entry --> 58: xrsiq(mi,mp) [ M]
24 flow 1: Entry --> 124: xijks(mk,ms) [ M]
25 flow 1: Entry --> 125: xijks(mk,mr) [ M]
26 flow 1: Entry --> 138: xijks(mk,ms) [ M]
27 output 1: Entry --> 115: xijks(mk,ms) [ M]
28 output 1: Entry --> 124: xijks(mk,ms) [ M]
29 output 1: Entry --> 125: xijks(mk,mr) [ M]
30 flow 1: Entry --> 73: xij(mj) [ M]
31 flow 1: Entry --> 79: xij(mj) [ M]
32 output 1: Entry --> 67: xij(mj) [ M]
33 output 1: Entry --> 73: xij(mj) [ M]
34 flow 1: Entry --> 141: xkl(ml) [ M]
35 flow 1: Entry --> 147: xkl(ml) [ M]
36 output 1: Entry --> 135: xkl(ml) [ M]
37 output 1: Entry --> 141: xkl(ml) [ M]
38 flow 1: Entry --> 47: morb [ MV]
39 flow 1: Entry --> 56: morb [ MV]
40 flow 1: Entry --> 65: morb [ MV]
41 flow 1: Entry --> 87: morb [ MV]
42 flow 1: Entry --> 87: morb [ MV]
43 flow 1: Entry --> 109: morb [ MV]
44 flow 1: Entry --> 114: morb [ MV]
45 flow 1: Entry --> 123: morb [ MV]
46 flow 1: Entry --> 133: morb [ MV]
47 flow 1: Entry --> 39: num [ MV]
48 flow 1: Entry --> 40: num [ MV]
49 flow 1: Entry --> 46: num [ MV]
50 flow 1: Entry --> 51: num [ MV]
51 flow 1: Entry --> 69: num [ MV]
52 flow 1: Entry --> 102: num [ MV]
53 flow 1: Entry --> 103: num [ MV]
54 flow 1: Entry --> 113: num [ MV]
55 flow 1: Entry --> 118: num [ MV]
56 flow 1: Entry --> 137: num [ MV]
57 flow 1: Entry --> 48: zero [ MV]
58 flow 1: Entry --> 55: zero [ MV]
59 flow 1: Entry --> 67: zero [ MV]
60 flow 1: Entry --> 71: zero [ MV]
61 flow 1: Entry --> 115: zero [ MV]
62 flow 1: Entry --> 122: zero [ MV]
63 flow 1: Entry --> 135: zero [ MV]
64 flow 1: Entry --> 139: zero [ MV]
65 flow 1: Entry --> 134: lmin [ M]
66 flow 1: Entry --> 140: lmin [ M]
67 flow 1: Entry --> 145: lmin [ M]
68 output 1: Entry --> 131: lmin [ M]
69 output 1: Entry --> 149: lmin [ M]
70 flow 1: Entry --> 134: lmax [ M]
71 flow 1: Entry --> 140: lmax [ M]
72 flow 1: Entry --> 145: lmax [ M]
73 output 1: Entry --> 132: lmax [ M]
74 output 1: Entry --> 150: lmax [ M]
75 output 1: Entry --> 104: mijkl [ M]
76 output 1: Entry --> 146: mijkl [ M]
77 output 1: Entry --> 152: mijkl [ M]
78 output 1: Entry --> 107: mleft [ M]
79 flow 1: Entry --> 78: mrsij [ M]
80 flow 1: Entry --> 79: mrsij [ M]
81 flow 1: Entry --> 92: mrsij [ M]
82 flow 1: Entry --> 93: mrsij [ M]
83 flow 1: Entry --> 97: mrsij [ M]
84 output 1: Entry --> 64: mrsij [ M]
85 output 1: Entry --> 78: mrsij [ M]
86 output 1: Entry --> 88: mrsij [ M]
87 output 1: Entry --> 97: mrsij [ M]
88 flow 1: Entry --> 93: mijrs [ M]
89 flow 1: Entry --> 94: mijrs [ M]
90 flow 1: Entry --> 95: mijrs [ M]
91 flow 1: Entry --> 120: mijrs [ M]
92 flow 1: Entry --> 121: mijrs [ M]
93 output 1: Entry --> 90: mijrs [ M]
94 output 1: Entry --> 95: mijrs [ M]
95 output 1: Entry --> 105: mijrs [ M]
96 output 1: Entry --> 120: mijrs [ M]
97 output 1: Entry --> 42: mrspq [ M]
98 output 1: Entry --> 53: mrspq [ M]
99 output 1: Entry --> 41: mrsij0 [ M]
100 output 1: Entry --> 82: mrsij0 [ M]
101 output 1: Entry --> 39: np [ M]
102 output 1: Entry --> 40: nq [ M]
103 output 1: Entry --> 102: nr [ M]
104 output 1: Entry --> 103: ns [ M]
105 output 1: Entry --> 106: mij [ M]
106 output 1: Entry --> 111: mij [ M]
107 output 1: Entry --> 87: nij [ M]
108 flow 1: Entry --> 55: val [ M]
109 flow 1: Entry --> 57: val [ M]
110 flow 1: Entry --> 58: val [ M]
111 flow 1: Entry --> 71: val [ M]
112 flow 1: Entry --> 73: val [ M]
113 flow 1: Entry --> 122: val [ M]
114 flow 1: Entry --> 124: val [ M]
115 flow 1: Entry --> 125: val [ M]
116 flow 1: Entry --> 139: val [ M]
117 flow 1: Entry --> 141: val [ M]
118 output 1: Entry --> 54: val [ M]
119 output 1: Entry --> 70: val [ M]
120 output 1: Entry --> 121: val [ M]
121 output 1: Entry --> 138: val [ M]
122 flow 1: Entry --> 94: dum [ M]
123 output 1: Entry --> 92: dum [ M]
124 flow 1: Entry --> 44: nrs [ MV]
125 flow 1: Entry --> 82: nrs [ MV]
126 flow 1: Entry --> 89: nrs [ MV]
127 flow 1: Entry --> 95: nrs [ MV]
128 flow 1: Entry --> 97: nrs [ MV]
129 flow 1: Entry --> 107: nrs [ MV]
130 flow 41: mrsij0 --> 64: mrsij0 [ V]
131 flow 41: mrsij0 --> 82: mrsij0 [ V]
132 flow 41: mrsij0 --> 64: mrsij0 [ M]
133 flow 41: mrsij0 --> 82: mrsij0 [ M]
134 output 41: mrsij0 --> 82: mrsij0 [ M]
135 flow 42: mrspq --> 53: mrspq [ V]
136 flow 42: mrspq --> 53: mrspq [ M]
137 flow 42: mrspq --> 54: mrspq [ M]
138 output 42: mrspq --> 53: mrspq [ M]
139 flow 48: xrsiq(mi,mq) --> 157: Exit [ VI]
140 flow 48: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0) [ Voi]
141 flow 48: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (0) [ Vozi]
142 flow 48: xrsiq(mi,mq) --> 70: xrsiq(mi,mq) (0) [ Vo?I]
143 flow 48: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0) [ Mo]
144 flow 48: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (+) [ Mo]
145 flow 48: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (0) [ Mo]
146 flow 48: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (+) [ Mo]
147 flow 48: xrsiq(mi,mq) --> 70: xrsiq(mi,mq) (0) [ Mo]
148 flow 48: xrsiq(mi,mq) --> 70: xrsiq(mi,mq) (+) [ Mo]
149 flow 48: xrsiq(mi,mq) --> 157: Exit [ M]
150 output 48: xrsiq(mi,mq) --> 48: xrsiq(mi,mq) (+,0,0) [ Mo]
151 output 48: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0) [ Mo]
152 output 48: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (+) [ Mo]
153 output 48: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (0) [ Mo]
154 output 48: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (+) [ Mo]
155 anti 53: mrspq --> 53: mrspq (0,0,+) [ Mo]
156 anti 53: mrspq --> 53: mrspq (0,+,*) [ Mo]
157 anti 53: mrspq --> 53: mrspq (+,*,*) [ Mo]
158 flow 53: mrspq --> 53: mrspq (1,*,0-) [ VO]
159 flow 53: mrspq --> 53: mrspq (0,+,0-) [ VO]
160 flow 53: mrspq --> 53: mrspq (0,0,1) [ VO]
161 flow 53: mrspq --> 53: mrspq (0,0,+) [ Mo]
162 flow 53: mrspq --> 53: mrspq (0,+,*) [ Mo]
163 flow 53: mrspq --> 53: mrspq (+,*,*) [ Mo]
164 flow 53: mrspq --> 54: mrspq (0,0,0) [ MVo]
165 flow 53: mrspq --> 54: mrspq (0,0,+) [ Mo]
166 flow 53: mrspq --> 54: mrspq (0,+,*) [ Mo]
167 flow 53: mrspq --> 54: mrspq (+,*,*) [ Mo]
168 output 53: mrspq --> 53: mrspq (0,0,+) [ Mo]
169 output 53: mrspq --> 53: mrspq (0,+,*) [ Mo]
170 output 53: mrspq --> 53: mrspq (+,*,*) [ Mo]
171 anti 54: mrspq --> 53: mrspq (0,0,+) [ Mo]
172 anti 54: mrspq --> 53: mrspq (0,+,*) [ Mo]
173 anti 54: mrspq --> 53: mrspq (+,*,*) [ Mo]
174 flow 54: val --> 55: val (0,0,0) [ MV]
175 flow 54: val --> 55: val (0,0,+) [ M]
176 flow 54: val --> 55: val (0,+,*) [ M]
177 flow 54: val --> 55: val (+,*,*) [ M]
178 flow 54: val --> 57: val (0,0,0) [ MVo]
179 flow 54: val --> 57: val (0,0,+) [ Mo]
180 flow 54: val --> 57: val (0,+,*) [ Mo]
181 flow 54: val --> 57: val (+,*,*) [ Mo]
182 flow 54: val --> 58: val (0,0,0) [ MVo]
183 flow 54: val --> 58: val (0,0,+) [ Mo]
184 flow 54: val --> 58: val (0,+,*) [ Mo]
185 flow 54: val --> 58: val (+,*,*) [ Mo]
186 flow 54: val --> 71: val (0) [ M]
187 flow 54: val --> 71: val (+) [ M]
188 flow 54: val --> 73: val (0) [ Mo]
189 flow 54: val --> 73: val (+) [ Mo]
190 flow 54: val --> 122: val [ M]
191 flow 54: val --> 124: val [ M]
192 flow 54: val --> 125: val [ M]
193 flow 54: val --> 139: val [ M]
194 flow 54: val --> 141: val [ M]
195 output 54: val --> 54: val (0,0,+) [ Mo]
196 output 54: val --> 54: val (0,+,*) [ Mo]
197 output 54: val --> 54: val (+,*,*) [ Mo]
198 output 54: val --> 70: val (0) [ Mo]
199 output 54: val --> 70: val (+) [ Mo]
200 output 54: val --> 121: val [ M]
201 output 54: val --> 138: val [ M]
202 anti 55: val --> 121: val [ M]
203 anti 55: val --> 138: val [ M]
204 anti 55: val --> 70: val (0) [ M]
205 anti 55: val --> 70: val (+) [ M]
206 anti 55: val --> 54: val (0,0,+) [ M]
207 anti 55: val --> 54: val (0,+,*) [ M]
208 anti 55: val --> 54: val (+,*,*) [ M]
209 anti 57: xrsiq(mi,mq) --> 48: xrsiq(mi,mq) (+) [ Mo]
210 anti 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0,+,0,0) [ Mo]
211 anti 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (+,*,0,0) [ Mo]
212 anti 57: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (0,0,0,0) [ Mo]
213 anti 57: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (+,0-,*,0) [ Mo]
214 anti 57: val --> 121: val [ M]
215 anti 57: val --> 138: val [ M]
216 anti 57: val --> 70: val (0) [ Mo]
217 anti 57: val --> 70: val (+) [ Mo]
218 anti 57: val --> 54: val (0,0,+) [ Mo]
219 anti 57: val --> 54: val (0,+,*) [ Mo]
220 anti 57: val --> 54: val (+,*,*) [ Mo]
221 flow 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0,+,0,0) [ VOi]
222 flow 57: xrsiq(mi,mq) --> 157: Exit [ Vi]
223 flow 57: xrsiq(mi,mq) --> 70: xrsiq(mi,mq) (0) [ Vozi]
224 flow 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0,+,0,0) [ Mo]
225 flow 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (+,*,0,0) [ Mo]
226 flow 57: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (0,0,0,0) [ MVO]
227 flow 57: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (+,*,0-,0) [ Mo]
228 flow 57: xrsiq(mi,mq) --> 70: xrsiq(mi,mq) (0) [ Mo]
229 flow 57: xrsiq(mi,mq) --> 70: xrsiq(mi,mq) (+) [ Mo]
230 flow 57: xrsiq(mi,mq) --> 157: Exit [ M]
231 output 57: xrsiq(mi,mq) --> 48: xrsiq(mi,mq) (+) [ Mo]
232 output 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (0,+,0,0) [ Mo]
233 output 57: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (+,*,0,0) [ Mo]
234 output 57: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (0,0,0,0) [ Mo]
235 output 57: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (+,0-,*,0) [ Mo]
236 anti 58: xrsiq(mi,mp) --> 48: xrsiq(mi,mq) (+) [ Mo]
237 anti 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,0,+,0) [ Mo]
238 anti 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,+,0+,0) [ Mo]
239 anti 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (+,*,0+,0) [ Mo]
240 anti 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (0,0,+,0) [ Mo]
241 anti 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (+,0,*,0) [ Mo]
242 anti 58: val --> 121: val [ M]
243 anti 58: val --> 138: val [ M]
244 anti 58: val --> 70: val (0) [ Mo]
245 anti 58: val --> 70: val (+) [ Mo]
246 anti 58: val --> 54: val (0,0,+) [ Mo]
247 anti 58: val --> 54: val (0,+,*) [ Mo]
248 anti 58: val --> 54: val (+,*,*) [ Mo]
249 flow 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,+,*,0) [ VOi]
250 flow 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,0,+,0) [ VOi]
251 flow 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (0,0,+,0) [ VOi]
252 flow 58: xrsiq(mi,mp) --> 157: Exit [ Vi]
253 flow 58: xrsiq(mi,mp) --> 70: xrsiq(mi,mq) (0) [ Voi]
254 flow 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,0,+,0) [ Mo]
255 flow 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,+,*,0) [ Mo]
256 flow 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (+,0+,*,0) [ Mo]
257 flow 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (0,0,+,0) [ Mo]
258 flow 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (+,0,*,0) [ Mo]
259 flow 58: xrsiq(mi,mp) --> 70: xrsiq(mi,mq) (0) [ Mo]
260 flow 58: xrsiq(mi,mp) --> 70: xrsiq(mi,mq) (+) [ Mo]
261 flow 58: xrsiq(mi,mp) --> 157: Exit [ M]
262 output 58: xrsiq(mi,mp) --> 48: xrsiq(mi,mq) (+) [ Mo]
263 output 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,0,+,0) [ Mo]
264 output 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (0,+,*,0) [ Mo]
265 output 58: xrsiq(mi,mp) --> 57: xrsiq(mi,mq) (+,0+,*,0) [ Mo]
266 output 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (0,0,+,0) [ Mo]
267 output 58: xrsiq(mi,mp) --> 58: xrsiq(mi,mp) (+,0,*,0) [ Mo]
268 anti 64: mrsij0 --> 82: mrsij0 (0) [ Mo]
269 anti 64: mrsij0 --> 82: mrsij0 (+) [ Mo]
270 flow 64: mrsij --> 78: mrsij (0) [ Vo]
271 flow 64: mrsij --> 78: mrsij (0) [ Mo]
272 flow 64: mrsij --> 78: mrsij (+) [ Mo]
273 flow 64: mrsij --> 79: mrsij (0) [ Mo]
274 flow 64: mrsij --> 79: mrsij (+) [ Mo]
275 flow 64: mrsij --> 92: mrsij [ M]
276 flow 64: mrsij --> 93: mrsij [ M]
277 flow 64: mrsij --> 97: mrsij [ M]
278 output 64: mrsij --> 64: mrsij (+) [ Mo]
279 output 64: mrsij --> 78: mrsij (0) [ Mo]
280 output 64: mrsij --> 78: mrsij (+) [ Mo]
281 output 64: mrsij --> 88: mrsij [ M]
282 output 64: mrsij --> 97: mrsij [ M]
283 flow 67: xij(mj) --> 157: Exit [ Vi]
284 flow 67: xij(mj) --> 73: xij(mj) (0,0) [ Voi]
285 flow 67: xij(mj) --> 79: xij(mj) (0,0) [ Vozi]
286 flow 67: xij(mj) --> 73: xij(mj) (0,0) [ Mo]
287 flow 67: xij(mj) --> 73: xij(mj) (0,+) [ Mo]
288 flow 67: xij(mj) --> 73: xij(mj) (+,*) [ Mo]
289 flow 67: xij(mj) --> 79: xij(mj) (0,0) [ Mo]
290 flow 67: xij(mj) --> 79: xij(mj) (0,+) [ Mo]
291 flow 67: xij(mj) --> 79: xij(mj) (+,*) [ Mo]
292 flow 67: xij(mj) --> 157: Exit [ M]
293 output 67: xij(mj) --> 67: xij(mj) (0,+,0) [ Mo]
294 output 67: xij(mj) --> 67: xij(mj) (+,*,0) [ Mo]
295 output 67: xij(mj) --> 73: xij(mj) (0,0) [ Mo]
296 output 67: xij(mj) --> 73: xij(mj) (0,+) [ Mo]
297 output 67: xij(mj) --> 73: xij(mj) (+,*) [ Mo]
298 anti 70: xrsiq(mi,mq) --> 48: xrsiq(mi,mq) (+) [ Mo]
299 anti 70: xrsiq(mi,mq) --> 57: xrsiq(mi,mq) (+) [ Mo]
300 anti 70: xrsiq(mi,mq) --> 58: xrsiq(mi,mp) (+) [ Mo]
301 flow 70: val --> 55: val (+) [ M]
302 flow 70: val --> 57: val (+) [ Mo]
303 flow 70: val --> 58: val (+) [ Mo]
304 flow 70: val --> 71: val (0,0,0) [ MV]
305 flow 70: val --> 71: val (0,0,+) [ M]
306 flow 70: val --> 71: val (0,+,*) [ M]
307 flow 70: val --> 71: val (+,*,*) [ M]
308 flow 70: val --> 73: val (0,0,0) [ MVo]
309 flow 70: val --> 73: val (0,0,+) [ Mo]
310 flow 70: val --> 73: val (0,+,*) [ Mo]
311 flow 70: val --> 73: val (+,*,*) [ Mo]
312 flow 70: val --> 122: val [ M]
313 flow 70: val --> 124: val [ M]
314 flow 70: val --> 125: val [ M]
315 flow 70: val --> 139: val [ M]
316 flow 70: val --> 141: val [ M]
317 output 70: val --> 54: val (+) [ Mo]
318 output 70: val --> 70: val (0,0,+) [ Mo]
319 output 70: val --> 70: val (0,+,*) [ Mo]
320 output 70: val --> 70: val (+,*,*) [ Mo]
321 output 70: val --> 121: val [ M]
322 output 70: val --> 138: val [ M]
323 anti 71: val --> 121: val [ M]
324 anti 71: val --> 138: val [ M]
325 anti 71: val --> 54: val (+) [ M]
326 anti 71: val --> 70: val (0,0,+) [ M]
327 anti 71: val --> 70: val (0,+,*) [ M]
328 anti 71: val --> 70: val (+,*,*) [ M]
329 anti 73: xij(mj) --> 67: xij(mj) (0,+) [ Mo]
330 anti 73: xij(mj) --> 67: xij(mj) (+,*) [ Mo]
331 anti 73: xij(mj) --> 73: xij(mj) (0,0,+,0) [ Mo]
332 anti 73: xij(mj) --> 73: xij(mj) (0,+,*,0) [ Mo]
333 anti 73: xij(mj) --> 73: xij(mj) (+,*,*,0) [ Mo]
334 anti 73: val --> 121: val [ M]
335 anti 73: val --> 138: val [ M]
336 anti 73: val --> 54: val (+) [ Mo]
337 anti 73: val --> 70: val (0,0,+) [ Mo]
338 anti 73: val --> 70: val (0,+,*) [ Mo]
339 anti 73: val --> 70: val (+,*,*) [ Mo]
340 flow 73: xij(mj) --> 73: xij(mj) (0,0,+,0) [ VOi]
341 flow 73: xij(mj) --> 157: Exit [ Vi]
342 flow 73: xij(mj) --> 79: xij(mj) (0,0) [ Voi]
343 flow 73: xij(mj) --> 73: xij(mj) (0,0,+,0) [ Mo]
344 flow 73: xij(mj) --> 73: xij(mj) (0,+,*,0) [ Mo]
345 flow 73: xij(mj) --> 73: xij(mj) (+,*,*,0) [ Mo]
346 flow 73: xij(mj) --> 79: xij(mj) (0,0) [ Mo]
347 flow 73: xij(mj) --> 79: xij(mj) (0,+) [ Mo]
348 flow 73: xij(mj) --> 79: xij(mj) (+,*) [ Mo]
349 flow 73: xij(mj) --> 157: Exit [ M]
350 output 73: xij(mj) --> 67: xij(mj) (0,+) [ Mo]
351 output 73: xij(mj) --> 67: xij(mj) (+,*) [ Mo]
352 output 73: xij(mj) --> 73: xij(mj) (0,0,+,0) [ Mo]
353 output 73: xij(mj) --> 73: xij(mj) (0,+,*,0) [ Mo]
354 output 73: xij(mj) --> 73: xij(mj) (+,*,*,0) [ Mo]
355 anti 78: mrsij --> 88: mrsij [ M]
356 anti 78: mrsij --> 97: mrsij [ M]
357 anti 78: mrsij --> 64: mrsij (+) [ Mo]
358 anti 78: mrsij --> 78: mrsij (0,0,+) [ Mo]
359 anti 78: mrsij --> 78: mrsij (0,+,*) [ Mo]
360 anti 78: mrsij --> 78: mrsij (+,*,*) [ Mo]
361 flow 78: mrsij --> 78: mrsij (0,+,0-) [ VO]
362 flow 78: mrsij --> 78: mrsij (0,0,1) [ VO]
363 flow 78: mrsij --> 78: mrsij (0,0,+) [ Mo]
364 flow 78: mrsij --> 78: mrsij (0,+,*) [ Mo]
365 flow 78: mrsij --> 78: mrsij (+,*,*) [ Mo]
366 flow 78: mrsij --> 79: mrsij (0,0,0) [ MVo]
367 flow 78: mrsij --> 79: mrsij (0,0,+) [ Mo]
368 flow 78: mrsij --> 79: mrsij (0,+,*) [ Mo]
369 flow 78: mrsij --> 79: mrsij (+,*,*) [ Mo]
370 flow 78: mrsij --> 92: mrsij [ M]
371 flow 78: mrsij --> 93: mrsij [ M]
372 flow 78: mrsij --> 97: mrsij [ M]
373 output 78: mrsij --> 64: mrsij (+) [ Mo]
374 output 78: mrsij --> 78: mrsij (0,0,+) [ Mo]
375 output 78: mrsij --> 78: mrsij (0,+,*) [ Mo]
376 output 78: mrsij --> 78: mrsij (+,*,*) [ Mo]
377 output 78: mrsij --> 88: mrsij [ M]
378 output 78: mrsij --> 97: mrsij [ M]
379 anti 79: xij(mj) --> 67: xij(mj) (0,+) [ Mo]
380 anti 79: xij(mj) --> 67: xij(mj) (+,*) [ Mo]
381 anti 79: xij(mj) --> 73: xij(mj) (0,+) [ Mo]
382 anti 79: xij(mj) --> 73: xij(mj) (+,*) [ Mo]
383 flow 79: xrsij(mrsij) --> 157: Exit [ Vi]
384 flow 79: xrsij(mrsij) --> 92: xrsij(mrsij+... [ Vzi]
385 flow 79: xrsij(mrsij) --> 93: xrsij(mijrs+... [ Vzi]
386 flow 79: xrsij(mrsij) --> 92: xrsij(mrsij+... [ MZ]
387 flow 79: xrsij(mrsij) --> 93: xrsij(mijrs+... [ MZ]
388 flow 79: xrsij(mrsij) --> 157: Exit [ M]
389 output 79: xrsij(mrsij) --> 79: xrsij(mrsij) (0,+,*) [ MoZ]
390 output 79: xrsij(mrsij) --> 79: xrsij(mrsij) (+,*,*) [ MoZ]
391 anti 79: mrsij --> 88: mrsij [ M]
392 anti 79: mrsij --> 97: mrsij [ M]
393 anti 79: mrsij --> 64: mrsij (+) [ Mo]
394 anti 79: mrsij --> 78: mrsij (0,0,+) [ Mo]
395 anti 79: mrsij --> 78: mrsij (0,+,*) [ Mo]
396 anti 79: mrsij --> 78: mrsij (+,*,*) [ Mo]
397 anti 82: mrsij0 --> 82: mrsij0 (+) [ Mo]
398 flow 82: mrsij0 --> 64: mrsij0 (1) [ Vo]
399 flow 82: mrsij0 --> 82: mrsij0 (1) [ VO]
400 flow 82: mrsij0 --> 64: mrsij0 (+) [ Mo]
401 flow 82: mrsij0 --> 82: mrsij0 (+) [ Mo]
402 output 82: mrsij0 --> 82: mrsij0 (+) [ Mo]
403 flow 87: nij --> 91: nij [ MV]
404 flow 87: nij --> 107: nij [ MV]
405 flow 88: mrsij --> 92: mrsij [ V]
406 flow 88: mrsij --> 93: mrsij [ V]
407 flow 88: mrsij --> 97: mrsij [ V]
408 flow 88: mrsij --> 92: mrsij [ M]
409 flow 88: mrsij --> 93: mrsij [ M]
410 flow 88: mrsij --> 97: mrsij [ M]
411 output 88: mrsij --> 97: mrsij [ M]
412 flow 90: mijrs --> 93: mijrs (0) [ Vo]
413 flow 90: mijrs --> 94: mijrs (0) [ Vo]
414 flow 90: mijrs --> 95: mijrs (0) [ Vo]
415 flow 90: mijrs --> 93: mijrs (0) [ Mo]
416 flow 90: mijrs --> 93: mijrs (+) [ Mo]
417 flow 90: mijrs --> 94: mijrs (0) [ Mo]
418 flow 90: mijrs --> 94: mijrs (+) [ Mo]
419 flow 90: mijrs --> 95: mijrs (0) [ Mo]
420 flow 90: mijrs --> 95: mijrs (+) [ Mo]
421 flow 90: mijrs --> 120: mijrs [ M]
422 flow 90: mijrs --> 121: mijrs [ M]
423 output 90: mijrs --> 90: mijrs (+) [ Mo]
424 output 90: mijrs --> 95: mijrs (0) [ Mo]
425 output 90: mijrs --> 95: mijrs (+) [ Mo]
426 output 90: mijrs --> 105: mijrs [ M]
427 output 90: mijrs --> 120: mijrs [ M]
428 anti 92: mrsij --> 97: mrsij (0) [ Mo]
429 anti 92: mrsij --> 97: mrsij (+) [ Mo]
430 flow 92: dum --> 94: dum (0,0) [ MVo]
431 flow 92: dum --> 94: dum (0,+) [ Mo]
432 flow 92: dum --> 94: dum (+,*) [ Mo]
433 output 92: dum --> 92: dum (0,+) [ Mo]
434 output 92: dum --> 92: dum (+,*) [ Mo]
435 anti 93: mijrs --> 105: mijrs [ M]
436 anti 93: mijrs --> 120: mijrs [ M]
437 anti 93: mijrs --> 90: mijrs (+) [ Mo]
438 anti 93: mijrs --> 95: mijrs (0,0) [ Mo]
439 anti 93: mijrs --> 95: mijrs (0,+) [ Mo]
440 anti 93: mijrs --> 95: mijrs (+,*) [ Mo]
441 flow 93: xijrs(mrsij+... --> 157: Exit [ Vi]
442 flow 93: xijrs(mrsij+... --> 121: xijrs(mijrs) [ Vzi]
443 flow 93: xijrs(mrsij+... --> 121: xijrs(mijrs) [ MZ]
444 flow 93: xijrs(mrsij+... --> 157: Exit [ M]
445 output 93: xijrs(mrsij+... --> 93: xijrs(mrsij+... (+,*) [ MoZ]
446 output 93: xijrs(mrsij+... --> 94: xijrs(mijrs+... (0,0) [ MoZ]
447 output 93: xijrs(mrsij+... --> 94: xijrs(mijrs+... (0,+) [ MoZ]
448 output 93: xijrs(mrsij+... --> 94: xijrs(mijrs+... (+,*) [ MoZ]
449 anti 93: mrsij --> 97: mrsij (0) [ Mo]
450 anti 93: mrsij --> 97: mrsij (+) [ Mo]
451 anti 94: dum --> 92: dum (0,+) [ Mo]
452 anti 94: dum --> 92: dum (+,*) [ Mo]
453 flow 94: xijrs(mijrs+... --> 157: Exit [ Vi]
454 flow 94: xijrs(mijrs+... --> 121: xijrs(mijrs) [ Vzi]
455 flow 94: xijrs(mijrs+... --> 121: xijrs(mijrs) [ MZ]
456 flow 94: xijrs(mijrs+... --> 157: Exit [ M]
457 output 94: xijrs(mijrs+... --> 93: xijrs(mrsij+... (0,+) [ MoZ]
458 output 94: xijrs(mijrs+... --> 93: xijrs(mrsij+... (+,*) [ MoZ]
459 output 94: xijrs(mijrs+... --> 94: xijrs(mijrs+... (0,+) [ MoZ]
460 output 94: xijrs(mijrs+... --> 94: xijrs(mijrs+... (+,*) [ MoZ]
461 anti 94: mijrs --> 105: mijrs [ M]
462 anti 94: mijrs --> 120: mijrs [ M]
463 anti 94: mijrs --> 90: mijrs (+) [ Mo]
464 anti 94: mijrs --> 95: mijrs (0,0) [ Mo]
465 anti 94: mijrs --> 95: mijrs (0,+) [ Mo]
466 anti 94: mijrs --> 95: mijrs (+,*) [ Mo]
467 anti 95: mijrs --> 105: mijrs [ M]
468 anti 95: mijrs --> 120: mijrs [ M]
469 anti 95: mijrs --> 90: mijrs (+) [ Mo]
470 anti 95: mijrs --> 95: mijrs (0,+) [ Mo]
471 anti 95: mijrs --> 95: mijrs (+,*) [ Mo]
472 flow 95: mijrs --> 93: mijrs (0,1) [ Vo]
473 flow 95: mijrs --> 94: mijrs (0,1) [ Vo]
474 flow 95: mijrs --> 95: mijrs (0,1) [ VO]
475 flow 95: mijrs --> 93: mijrs (0,+) [ Mo]
476 flow 95: mijrs --> 93: mijrs (+,*) [ Mo]
477 flow 95: mijrs --> 94: mijrs (0,+) [ Mo]
478 flow 95: mijrs --> 94: mijrs (+,*) [ Mo]
479 flow 95: mijrs --> 95: mijrs (0,+) [ Mo]
480 flow 95: mijrs --> 95: mijrs (+,*) [ Mo]
481 flow 95: mijrs --> 120: mijrs [ M]
482 flow 95: mijrs --> 121: mijrs [ M]
483 output 95: mijrs --> 90: mijrs (+) [ Mo]
484 output 95: mijrs --> 95: mijrs (0,+) [ Mo]
485 output 95: mijrs --> 95: mijrs (+,*) [ Mo]
486 output 95: mijrs --> 105: mijrs [ M]
487 output 95: mijrs --> 120: mijrs [ M]
488 anti 97: mrsij --> 97: mrsij (+) [ Mo]
489 flow 97: mrsij --> 92: mrsij (1) [ Vo]
490 flow 97: mrsij --> 93: mrsij (1) [ Vo]
491 flow 97: mrsij --> 97: mrsij (1) [ VO]
492 flow 97: mrsij --> 92: mrsij (+) [ Mo]
493 flow 97: mrsij --> 93: mrsij (+) [ Mo]
494 flow 97: mrsij --> 97: mrsij (+) [ Mo]
495 output 97: mrsij --> 97: mrsij (+) [ Mo]
496 flow 104: mijkl --> 146: mijkl [ Vi]
497 flow 104: mijkl --> 152: mijkl [ VI]
498 flow 104: mijkl --> 146: mijkl [ M]
499 flow 104: mijkl --> 147: mijkl [ M]
500 flow 104: mijkl --> 152: mijkl [ M]
501 output 104: mijkl --> 146: mijkl [ M]
502 output 104: mijkl --> 152: mijkl [ M]
503 flow 105: mijrs --> 120: mijrs [ V]
504 flow 105: mijrs --> 120: mijrs [ M]
505 flow 105: mijrs --> 121: mijrs [ M]
506 output 105: mijrs --> 120: mijrs [ M]
507 flow 106: mij --> 111: mij [ V]
508 flow 106: mij --> 111: mij [ M]
509 flow 106: mij --> 152: mij [ M]
510 output 106: mij --> 111: mij [ M]
511 flow 107: mleft --> 152: mleft [ MV]
512 anti 111: mij --> 111: mij (0,+) [ Mo]
513 anti 111: mij --> 111: mij (+,*) [ Mo]
514 flow 111: mij --> 111: mij (+,0-) [ VO]
515 flow 111: mij --> 111: mij (0,1) [ VO]
516 flow 111: mij --> 111: mij (0,+) [ Mo]
517 flow 111: mij --> 111: mij (+,*) [ Mo]
518 flow 111: mij --> 152: mij (0,0) [ MVo]
519 flow 111: mij --> 152: mij (0,+) [ Mo]
520 flow 111: mij --> 152: mij (+,*) [ Mo]
521 output 111: mij --> 111: mij (0,+) [ Mo]
522 output 111: mij --> 111: mij (+,*) [ Mo]
523 flow 115: xijks(mk,ms) --> 157: Exit [ VI]
524 flow 115: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0) [ Voi]
525 flow 115: xijks(mk,ms) --> 125: xijks(mk,mr) (0,0) [ Vozi]
526 flow 115: xijks(mk,ms) --> 138: xijks(mk,ms) (0,0) [ Vo?I]
527 flow 115: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0) [ Mo]
528 flow 115: xijks(mk,ms) --> 124: xijks(mk,ms) (0,+) [ Mo]
529 flow 115: xijks(mk,ms) --> 124: xijks(mk,ms) (+,*) [ Mo]
530 flow 115: xijks(mk,ms) --> 125: xijks(mk,mr) (0,0) [ Mo]
531 flow 115: xijks(mk,ms) --> 125: xijks(mk,mr) (0,+) [ Mo]
532 flow 115: xijks(mk,ms) --> 125: xijks(mk,mr) (+,*) [ Mo]
533 flow 115: xijks(mk,ms) --> 138: xijks(mk,ms) (0,0) [ Mo]
534 flow 115: xijks(mk,ms) --> 138: xijks(mk,ms) (0,+) [ Mo]
535 flow 115: xijks(mk,ms) --> 138: xijks(mk,ms) (+,*) [ Mo]
536 flow 115: xijks(mk,ms) --> 157: Exit [ M]
537 output 115: xijks(mk,ms) --> 115: xijks(mk,ms) (0,+,0,0) [ Mo]
538 output 115: xijks(mk,ms) --> 115: xijks(mk,ms) (+,*,0,0) [ Mo]
539 output 115: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0) [ Mo]
540 output 115: xijks(mk,ms) --> 124: xijks(mk,ms) (0,+) [ Mo]
541 output 115: xijks(mk,ms) --> 124: xijks(mk,ms) (+,*) [ Mo]
542 output 115: xijks(mk,ms) --> 125: xijks(mk,mr) (0,0) [ Mo]
543 output 115: xijks(mk,ms) --> 125: xijks(mk,mr) (0,+) [ Mo]
544 output 115: xijks(mk,ms) --> 125: xijks(mk,mr) (+,*) [ Mo]
545 anti 120: mijrs --> 120: mijrs (0,0,0,+) [ Mo]
546 anti 120: mijrs --> 120: mijrs (0,0,+,*) [ Mo]
547 anti 120: mijrs --> 120: mijrs (0,+,*,*) [ Mo]
548 anti 120: mijrs --> 120: mijrs (+,*,*,*) [ Mo]
549 flow 120: mijrs --> 120: mijrs (1,*,*,0-) [ VO]
550 flow 120: mijrs --> 120: mijrs (0,1,*,0-) [ VO]
551 flow 120: mijrs --> 120: mijrs (0,0,+,0-) [ VO]
552 flow 120: mijrs --> 120: mijrs (0,0,0,1) [ VO]
553 flow 120: mijrs --> 120: mijrs (0,0,0,+) [ Mo]
554 flow 120: mijrs --> 120: mijrs (0,0,+,*) [ Mo]
555 flow 120: mijrs --> 120: mijrs (0,+,*,*) [ Mo]
556 flow 120: mijrs --> 120: mijrs (+,*,*,*) [ Mo]
557 flow 120: mijrs --> 121: mijrs (0,0,0,0) [ MVo]
558 flow 120: mijrs --> 121: mijrs (0,0,0,+) [ Mo]
559 flow 120: mijrs --> 121: mijrs (0,0,+,*) [ Mo]
560 flow 120: mijrs --> 121: mijrs (0,+,*,*) [ Mo]
561 flow 120: mijrs --> 121: mijrs (+,*,*,*) [ Mo]
562 output 120: mijrs --> 120: mijrs (0,0,0,+) [ Mo]
563 output 120: mijrs --> 120: mijrs (0,0,+,*) [ Mo]
564 output 120: mijrs --> 120: mijrs (0,+,*,*) [ Mo]
565 output 120: mijrs --> 120: mijrs (+,*,*,*) [ Mo]
566 anti 121: mijrs --> 120: mijrs (0,0,0,+) [ Mo]
567 anti 121: mijrs --> 120: mijrs (0,0,+,*) [ Mo]
568 anti 121: mijrs --> 120: mijrs (0,+,*,*) [ Mo]
569 anti 121: mijrs --> 120: mijrs (+,*,*,*) [ Mo]
570 flow 121: val --> 122: val (0,0,0,0) [ MV]
571 flow 121: val --> 122: val (0,0,0,+) [ M]
572 flow 121: val --> 122: val (0,0,+,*) [ M]
573 flow 121: val --> 122: val (0,+,*,*) [ M]
574 flow 121: val --> 122: val (+,*,*,*) [ M]
575 flow 121: val --> 124: val (0,0,0,0) [ MVo]
576 flow 121: val --> 124: val (0,0,0,+) [ Mo]
577 flow 121: val --> 124: val (0,0,+,*) [ Mo]
578 flow 121: val --> 124: val (0,+,*,*) [ Mo]
579 flow 121: val --> 124: val (+,*,*,*) [ Mo]
580 flow 121: val --> 125: val (0,0,0,0) [ MVo]
581 flow 121: val --> 125: val (0,0,0,+) [ Mo]
582 flow 121: val --> 125: val (0,0,+,*) [ Mo]
583 flow 121: val --> 125: val (0,+,*,*) [ Mo]
584 flow 121: val --> 125: val (+,*,*,*) [ Mo]
585 flow 121: val --> 139: val (0,0) [ M]
586 flow 121: val --> 139: val (0,+) [ M]
587 flow 121: val --> 139: val (+,*) [ M]
588 flow 121: val --> 141: val (0,0) [ Mo]
589 flow 121: val --> 141: val (0,+) [ Mo]
590 flow 121: val --> 141: val (+,*) [ Mo]
591 output 121: val --> 121: val (0,0,0,+) [ Mo]
592 output 121: val --> 121: val (0,0,+,*) [ Mo]
593 output 121: val --> 121: val (0,+,*,*) [ Mo]
594 output 121: val --> 121: val (+,*,*,*) [ Mo]
595 output 121: val --> 138: val (0,0) [ Mo]
596 output 121: val --> 138: val (0,+) [ Mo]
597 output 121: val --> 138: val (+,*) [ Mo]
598 anti 122: val --> 138: val (0,0) [ M]
599 anti 122: val --> 138: val (0,+) [ M]
600 anti 122: val --> 138: val (+,*) [ M]
601 anti 122: val --> 121: val (0,0,0,+) [ M]
602 anti 122: val --> 121: val (0,0,+,*) [ M]
603 anti 122: val --> 121: val (0,+,*,*) [ M]
604 anti 122: val --> 121: val (+,*,*,*) [ M]
605 anti 124: xijks(mk,ms) --> 115: xijks(mk,ms) (0,+) [ Mo]
606 anti 124: xijks(mk,ms) --> 115: xijks(mk,ms) (+,*) [ Mo]
607 anti 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0,+,0,0) [ Mo]
608 anti 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,+,*,0,0) [ Mo]
609 anti 124: xijks(mk,ms) --> 124: xijks(mk,ms) (+,*,*,0,0) [ Mo]
610 anti 124: xijks(mk,ms) --> 125: xijks(mk,mr) (0,0,0,0,0) [ Mo]
611 anti 124: xijks(mk,ms) --> 125: xijks(mk,mr) (0,+,0-,*,0) [ Mo]
612 anti 124: xijks(mk,ms) --> 125: xijks(mk,mr) (+,*,0-,*,0) [ Mo]
613 anti 124: val --> 138: val (0,0) [ Mo]
614 anti 124: val --> 138: val (0,+) [ Mo]
615 anti 124: val --> 138: val (+,*) [ Mo]
616 anti 124: val --> 121: val (0,0,0,+) [ Mo]
617 anti 124: val --> 121: val (0,0,+,*) [ Mo]
618 anti 124: val --> 121: val (0,+,*,*) [ Mo]
619 anti 124: val --> 121: val (+,*,*,*) [ Mo]
620 flow 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0,+,0,0) [ VOi]
621 flow 124: xijks(mk,ms) --> 157: Exit [ Vi]
622 flow 124: xijks(mk,ms) --> 138: xijks(mk,ms) (0,0) [ Vozi]
623 flow 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0,+,0,0) [ Mo]
624 flow 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,+,*,0,0) [ Mo]
625 flow 124: xijks(mk,ms) --> 124: xijks(mk,ms) (+,*,*,0,0) [ Mo]
626 flow 124: xijks(mk,ms) --> 125: xijks(mk,mr) (0,0,0,0,0) [ MVO]
627 flow 124: xijks(mk,ms) --> 125: xijks(mk,mr) (0,+,*,0-,0) [ Mo]
628 flow 124: xijks(mk,ms) --> 125: xijks(mk,mr) (+,*,*,0-,0) [ Mo]
629 flow 124: xijks(mk,ms) --> 138: xijks(mk,ms) (0,0) [ Mo]
630 flow 124: xijks(mk,ms) --> 138: xijks(mk,ms) (0,+) [ Mo]
631 flow 124: xijks(mk,ms) --> 138: xijks(mk,ms) (+,*) [ Mo]
632 flow 124: xijks(mk,ms) --> 157: Exit [ M]
633 output 124: xijks(mk,ms) --> 115: xijks(mk,ms) (0,+) [ Mo]
634 output 124: xijks(mk,ms) --> 115: xijks(mk,ms) (+,*) [ Mo]
635 output 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,0,+,0,0) [ Mo]
636 output 124: xijks(mk,ms) --> 124: xijks(mk,ms) (0,+,*,0,0) [ Mo]
637 output 124: xijks(mk,ms) --> 124: xijks(mk,ms) (+,*,*,0,0) [ Mo]
638 output 124: xijks(mk,ms) --> 125: xijks(mk,mr) (0,0,0,0,0) [ Mo]
639 output 124: xijks(mk,ms) --> 125: xijks(mk,mr) (0,+,0-,*,0) [ Mo]
640 output 124: xijks(mk,ms) --> 125: xijks(mk,mr) (+,*,0-,*,0) [ Mo]
641 anti 125: xijks(mk,mr) --> 115: xijks(mk,ms) (0,+) [ Mo]
642 anti 125: xijks(mk,mr) --> 115: xijks(mk,ms) (+,*) [ Mo]
643 anti 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,0,+,0) [ Mo]
644 anti 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,+,0+,0) [ Mo]
645 anti 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,+,*,0+,0) [ Mo]
646 anti 125: xijks(mk,mr) --> 124: xijks(mk,ms) (+,*,*,0+,0) [ Mo]
647 anti 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,0,0,+,0) [ Mo]
648 anti 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,+,0,*,0) [ Mo]
649 anti 125: xijks(mk,mr) --> 125: xijks(mk,mr) (+,*,0,*,0) [ Mo]
650 anti 125: val --> 138: val (0,0) [ Mo]
651 anti 125: val --> 138: val (0,+) [ Mo]
652 anti 125: val --> 138: val (+,*) [ Mo]
653 anti 125: val --> 121: val (0,0,0,+) [ Mo]
654 anti 125: val --> 121: val (0,0,+,*) [ Mo]
655 anti 125: val --> 121: val (0,+,*,*) [ Mo]
656 anti 125: val --> 121: val (+,*,*,*) [ Mo]
657 flow 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,+,*,0) [ VOi]
658 flow 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,0,+,0) [ VOi]
659 flow 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,0,0,+,0) [ VOi]
660 flow 125: xijks(mk,mr) --> 157: Exit [ Vi]
661 flow 125: xijks(mk,mr) --> 138: xijks(mk,ms) (0,0) [ Voi]
662 flow 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,0,+,0) [ Mo]
663 flow 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,+,*,0) [ Mo]
664 flow 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,+,0+,*,0) [ Mo]
665 flow 125: xijks(mk,mr) --> 124: xijks(mk,ms) (+,*,0+,*,0) [ Mo]
666 flow 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,0,0,+,0) [ Mo]
667 flow 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,+,0,*,0) [ Mo]
668 flow 125: xijks(mk,mr) --> 125: xijks(mk,mr) (+,*,0,*,0) [ Mo]
669 flow 125: xijks(mk,mr) --> 138: xijks(mk,ms) (0,0) [ Mo]
670 flow 125: xijks(mk,mr) --> 138: xijks(mk,ms) (0,+) [ Mo]
671 flow 125: xijks(mk,mr) --> 138: xijks(mk,ms) (+,*) [ Mo]
672 flow 125: xijks(mk,mr) --> 157: Exit [ M]
673 output 125: xijks(mk,mr) --> 115: xijks(mk,ms) (0,+) [ Mo]
674 output 125: xijks(mk,mr) --> 115: xijks(mk,ms) (+,*) [ Mo]
675 output 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,0,+,0) [ Mo]
676 output 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,0,+,*,0) [ Mo]
677 output 125: xijks(mk,mr) --> 124: xijks(mk,ms) (0,+,0+,*,0) [ Mo]
678 output 125: xijks(mk,mr) --> 124: xijks(mk,ms) (+,*,0+,*,0) [ Mo]
679 output 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,0,0,+,0) [ Mo]
680 output 125: xijks(mk,mr) --> 125: xijks(mk,mr) (0,+,0,*,0) [ Mo]
681 output 125: xijks(mk,mr) --> 125: xijks(mk,mr) (+,*,0,*,0) [ Mo]
682 flow 131: lmin --> 134: lmin (0,0) [ V]
683 flow 131: lmin --> 140: lmin (0,0) [ V]
684 flow 131: lmin --> 145: lmin (0,0) [ V]
685 flow 131: lmin --> 134: lmin (0,0) [ M]
686 flow 131: lmin --> 134: lmin (0,+) [ M]
687 flow 131: lmin --> 134: lmin (+,*) [ M]
688 flow 131: lmin --> 140: lmin (0,0) [ M]
689 flow 131: lmin --> 140: lmin (0,+) [ M]
690 flow 131: lmin --> 140: lmin (+,*) [ M]
691 flow 131: lmin --> 145: lmin (0,0) [ M]
692 flow 131: lmin --> 145: lmin (0,+) [ M]
693 flow 131: lmin --> 145: lmin (+,*) [ M]
694 output 131: lmin --> 131: lmin (0,+) [ Mo]
695 output 131: lmin --> 131: lmin (+,*) [ Mo]
696 output 131: lmin --> 149: lmin (0,0) [ Mo]
697 output 131: lmin --> 149: lmin (0,+) [ Mo]
698 output 131: lmin --> 149: lmin (+,*) [ Mo]
699 flow 132: lmax --> 134: lmax (0,0) [ V]
700 flow 132: lmax --> 140: lmax (0,0) [ V]
701 flow 132: lmax --> 145: lmax (0,0) [ V]
702 flow 132: lmax --> 134: lmax (0,0) [ M]
703 flow 132: lmax --> 134: lmax (0,+) [ M]
704 flow 132: lmax --> 134: lmax (+,*) [ M]
705 flow 132: lmax --> 140: lmax (0,0) [ M]
706 flow 132: lmax --> 140: lmax (0,+) [ M]
707 flow 132: lmax --> 140: lmax (+,*) [ M]
708 flow 132: lmax --> 145: lmax (0,0) [ M]
709 flow 132: lmax --> 145: lmax (0,+) [ M]
710 flow 132: lmax --> 145: lmax (+,*) [ M]
711 output 132: lmax --> 132: lmax (0,+) [ Mo]
712 output 132: lmax --> 132: lmax (+,*) [ Mo]
713 output 132: lmax --> 150: lmax (0,0) [ Mo]
714 output 132: lmax --> 150: lmax (0,+) [ Mo]
715 output 132: lmax --> 150: lmax (+,*) [ Mo]
716 flow 135: xkl(ml) --> 157: Exit [ Vi]
717 flow 135: xkl(ml) --> 141: xkl(ml) (0,0,0) [ Voi]
718 flow 135: xkl(ml) --> 147: xkl(ml) (0,0,0) [ Vozi]
719 flow 135: xkl(ml) --> 141: xkl(ml) (0,0,0) [ Mo]
720 flow 135: xkl(ml) --> 141: xkl(ml) (0,0,+) [ MoZ]
721 flow 135: xkl(ml) --> 141: xkl(ml) (0,+,*) [ MoZ]
722 flow 135: xkl(ml) --> 141: xkl(ml) (+,*,*) [ MoZ]
723 flow 135: xkl(ml) --> 147: xkl(ml) (0,0,0) [ Mo]
724 flow 135: xkl(ml) --> 147: xkl(ml) (0,0,+) [ MoZ]
725 flow 135: xkl(ml) --> 147: xkl(ml) (0,+,*) [ MoZ]
726 flow 135: xkl(ml) --> 147: xkl(ml) (+,*,*) [ MoZ]
727 flow 135: xkl(ml) --> 157: Exit [ M]
728 output 135: xkl(ml) --> 135: xkl(ml) (0,0,+,0) [ MoZ]
729 output 135: xkl(ml) --> 135: xkl(ml) (0,+,*,0) [ MoZ]
730 output 135: xkl(ml) --> 135: xkl(ml) (+,*,*,0) [ MoZ]
731 output 135: xkl(ml) --> 141: xkl(ml) (0,0,0) [ Mo]
732 output 135: xkl(ml) --> 141: xkl(ml) (0,0,+) [ MoZ]
733 output 135: xkl(ml) --> 141: xkl(ml) (0,+,*) [ MoZ]
734 output 135: xkl(ml) --> 141: xkl(ml) (+,*,*) [ MoZ]
735 anti 134: lmin --> 131: lmin (0,+) [ M]
736 anti 134: lmin --> 131: lmin (+,*) [ M]
737 anti 134: lmin --> 149: lmin (0,0,0) [ M]
738 anti 134: lmin --> 149: lmin (0,0,+) [ M]
739 anti 134: lmin --> 149: lmin (0,+,*) [ M]
740 anti 134: lmin --> 149: lmin (+,*,*) [ M]
741 anti 134: lmax --> 132: lmax (0,+) [ M]
742 anti 134: lmax --> 132: lmax (+,*) [ M]
743 anti 134: lmax --> 150: lmax (0,0,0) [ M]
744 anti 134: lmax --> 150: lmax (0,0,+) [ M]
745 anti 134: lmax --> 150: lmax (0,+,*) [ M]
746 anti 134: lmax --> 150: lmax (+,*,*) [ M]
747 anti 138: xijks(mk,ms) --> 115: xijks(mk,ms) (0,+) [ Mo]
748 anti 138: xijks(mk,ms) --> 115: xijks(mk,ms) (+,*) [ Mo]
749 anti 138: xijks(mk,ms) --> 124: xijks(mk,ms) (0,+) [ Mo]
750 anti 138: xijks(mk,ms) --> 124: xijks(mk,ms) (+,*) [ Mo]
751 anti 138: xijks(mk,ms) --> 125: xijks(mk,mr) (0,+) [ Mo]
752 anti 138: xijks(mk,ms) --> 125: xijks(mk,mr) (+,*) [ Mo]
753 flow 138: val --> 122: val (0,+) [ M]
754 flow 138: val --> 122: val (+,*) [ M]
755 flow 138: val --> 124: val (0,+) [ Mo]
756 flow 138: val --> 124: val (+,*) [ Mo]
757 flow 138: val --> 125: val (0,+) [ Mo]
758 flow 138: val --> 125: val (+,*) [ Mo]
759 flow 138: val --> 139: val (0,0,0,0) [ MV]
760 flow 138: val --> 139: val (0,0,0,+) [ M]
761 flow 138: val --> 139: val (0,0,+,*) [ M]
762 flow 138: val --> 139: val (0,+,*,*) [ M]
763 flow 138: val --> 139: val (+,*,*,*) [ M]
764 flow 138: val --> 141: val (0,0,0,0) [ MVo]
765 flow 138: val --> 141: val (0,0,0,+) [ Mo]
766 flow 138: val --> 141: val (0,0,+,*) [ Mo]
767 flow 138: val --> 141: val (0,+,*,*) [ Mo]
768 flow 138: val --> 141: val (+,*,*,*) [ Mo]
769 output 138: val --> 121: val (0,+) [ Mo]
770 output 138: val --> 121: val (+,*) [ Mo]
771 output 138: val --> 138: val (0,0,0,+) [ Mo]
772 output 138: val --> 138: val (0,0,+,*) [ Mo]
773 output 138: val --> 138: val (0,+,*,*) [ Mo]
774 output 138: val --> 138: val (+,*,*,*) [ Mo]
775 anti 139: val --> 121: val (0,+) [ M]
776 anti 139: val --> 121: val (+,*) [ M]
777 anti 139: val --> 138: val (0,0,0,+) [ M]
778 anti 139: val --> 138: val (0,0,+,*) [ M]
779 anti 139: val --> 138: val (0,+,*,*) [ M]
780 anti 139: val --> 138: val (+,*,*,*) [ M]
781 anti 141: xkl(ml) --> 135: xkl(ml) (0,0,+) [ MoZ]
782 anti 141: xkl(ml) --> 135: xkl(ml) (0,+,*) [ MoZ]
783 anti 141: xkl(ml) --> 135: xkl(ml) (+,*,*) [ MoZ]
784 anti 141: xkl(ml) --> 141: xkl(ml) (0,0,0,+,0) [ Mo]
785 anti 141: xkl(ml) --> 141: xkl(ml) (0,0,+,*,0) [ MoZ]
786 anti 141: xkl(ml) --> 141: xkl(ml) (0,+,*,*,0) [ MoZ]
787 anti 141: xkl(ml) --> 141: xkl(ml) (+,*,*,*,0) [ MoZ]
788 anti 141: val --> 121: val (0,+) [ Mo]
789 anti 141: val --> 121: val (+,*) [ Mo]
790 anti 141: val --> 138: val (0,0,0,+) [ Mo]
791 anti 141: val --> 138: val (0,0,+,*) [ Mo]
792 anti 141: val --> 138: val (0,+,*,*) [ Mo]
793 anti 141: val --> 138: val (+,*,*,*) [ Mo]
794 flow 141: xkl(ml) --> 141: xkl(ml) (0,0,0,+,0) [ VOi]
795 flow 141: xkl(ml) --> 157: Exit [ Vi]
796 flow 141: xkl(ml) --> 147: xkl(ml) (0,0,0) [ Voi]
797 flow 141: xkl(ml) --> 141: xkl(ml) (0,0,0,+,0) [ Mo]
798 flow 141: xkl(ml) --> 141: xkl(ml) (0,0,+,*,0) [ MoZ]
799 flow 141: xkl(ml) --> 141: xkl(ml) (0,+,*,*,0) [ MoZ]
800 flow 141: xkl(ml) --> 141: xkl(ml) (+,*,*,*,0) [ MoZ]
801 flow 141: xkl(ml) --> 147: xkl(ml) (0,0,0) [ Mo]
802 flow 141: xkl(ml) --> 147: xkl(ml) (0,0,+) [ MoZ]
803 flow 141: xkl(ml) --> 147: xkl(ml) (0,+,*) [ MoZ]
804 flow 141: xkl(ml) --> 147: xkl(ml) (+,*,*) [ MoZ]
805 flow 141: xkl(ml) --> 157: Exit [ M]
806 output 141: xkl(ml) --> 135: xkl(ml) (0,0,+) [ MoZ]
807 output 141: xkl(ml) --> 135: xkl(ml) (0,+,*) [ MoZ]
808 output 141: xkl(ml) --> 135: xkl(ml) (+,*,*) [ MoZ]
809 output 141: xkl(ml) --> 141: xkl(ml) (0,0,0,+,0) [ Mo]
810 output 141: xkl(ml) --> 141: xkl(ml) (0,0,+,*,0) [ MoZ]
811 output 141: xkl(ml) --> 141: xkl(ml) (0,+,*,*,0) [ MoZ]
812 output 141: xkl(ml) --> 141: xkl(ml) (+,*,*,*,0) [ MoZ]
813 anti 140: lmin --> 131: lmin (0,+) [ M]
814 anti 140: lmin --> 131: lmin (+,*) [ M]
815 anti 140: lmin --> 149: lmin (0,0,0) [ M]
816 anti 140: lmin --> 149: lmin (0,0,+) [ M]
817 anti 140: lmin --> 149: lmin (0,+,*) [ M]
818 anti 140: lmin --> 149: lmin (+,*,*) [ M]
819 anti 140: lmax --> 132: lmax (0,+) [ M]
820 anti 140: lmax --> 132: lmax (+,*) [ M]
821 anti 140: lmax --> 150: lmax (0,0,0) [ M]
822 anti 140: lmax --> 150: lmax (0,0,+) [ M]
823 anti 140: lmax --> 150: lmax (0,+,*) [ M]
824 anti 140: lmax --> 150: lmax (+,*,*) [ M]
825 anti 146: mijkl --> 152: mijkl (0,0) [ Mo]
826 anti 146: mijkl --> 152: mijkl (0,+) [ Mo]
827 anti 146: mijkl --> 152: mijkl (+,*) [ Mo]
828 anti 146: mijkl --> 146: mijkl (0,0,0,+) [ Mo]
829 anti 146: mijkl --> 146: mijkl (0,0,+,*) [ Mo]
830 anti 146: mijkl --> 146: mijkl (0,+,*,*) [ Mo]
831 anti 146: mijkl --> 146: mijkl (+,*,*,*) [ Mo]
832 flow 146: mijkl --> 146: mijkl (0,0,+,*) [ VOi]
833 flow 146: mijkl --> 146: mijkl (0,0,0,1) [ VO]
834 flow 146: mijkl --> 152: mijkl (0,0) [ VOi]
835 flow 146: mijkl --> 146: mijkl (0,0,0,+) [ Mo]
836 flow 146: mijkl --> 146: mijkl (0,0,+,*) [ Mo]
837 flow 146: mijkl --> 146: mijkl (0,+,*,*) [ Mo]
838 flow 146: mijkl --> 146: mijkl (+,*,*,*) [ Mo]
839 flow 146: mijkl --> 147: mijkl (0,0,0,0) [ MVo]
840 flow 146: mijkl --> 147: mijkl (0,0,0,+) [ Mo]
841 flow 146: mijkl --> 147: mijkl (0,0,+,*) [ Mo]
842 flow 146: mijkl --> 147: mijkl (0,+,*,*) [ Mo]
843 flow 146: mijkl --> 147: mijkl (+,*,*,*) [ Mo]
844 flow 146: mijkl --> 152: mijkl (0,0) [ Mo]
845 flow 146: mijkl --> 152: mijkl (0,+) [ Mo]
846 flow 146: mijkl --> 152: mijkl (+,*) [ Mo]
847 output 146: mijkl --> 146: mijkl (0,0,0,+) [ Mo]
848 output 146: mijkl --> 146: mijkl (0,0,+,*) [ Mo]
849 output 146: mijkl --> 146: mijkl (0,+,*,*) [ Mo]
850 output 146: mijkl --> 146: mijkl (+,*,*,*) [ Mo]
851 output 146: mijkl --> 152: mijkl (0,0) [ Mo]
852 output 146: mijkl --> 152: mijkl (0,+) [ Mo]
853 output 146: mijkl --> 152: mijkl (+,*) [ Mo]
854 anti 147: xkl(ml) --> 135: xkl(ml) (0,0,+) [ MoZ]
855 anti 147: xkl(ml) --> 135: xkl(ml) (0,+,*) [ MoZ]
856 anti 147: xkl(ml) --> 135: xkl(ml) (+,*,*) [ MoZ]
857 anti 147: xkl(ml) --> 141: xkl(ml) (0,0,+) [ MoZ]
858 anti 147: xkl(ml) --> 141: xkl(ml) (0,+,*) [ MoZ]
859 anti 147: xkl(ml) --> 141: xkl(ml) (+,*,*) [ MoZ]
860 flow 147: xijkl(mijkl) --> 157: Exit [ Vi]
861 flow 147: xijkl(mijkl) --> 157: Exit [ M]
862 output 147: xijkl(mijkl) --> 147: xijkl(mijkl) (0,0,+,*) [ MoZ]
863 output 147: xijkl(mijkl) --> 147: xijkl(mijkl) (0,+,*,*) [ MoZ]
864 output 147: xijkl(mijkl) --> 147: xijkl(mijkl) (+,*,*,*) [ MoZ]
865 anti 147: mijkl --> 152: mijkl (0,0) [ Mo]
866 anti 147: mijkl --> 152: mijkl (0,+) [ Mo]
867 anti 147: mijkl --> 152: mijkl (+,*) [ Mo]
868 anti 147: mijkl --> 146: mijkl (0,0,0,+) [ Mo]
869 anti 147: mijkl --> 146: mijkl (0,0,+,*) [ Mo]
870 anti 147: mijkl --> 146: mijkl (0,+,*,*) [ Mo]
871 anti 147: mijkl --> 146: mijkl (+,*,*,*) [ Mo]
872 anti 145: lmin --> 131: lmin (0,+) [ M]
873 anti 145: lmin --> 131: lmin (+,*) [ M]
874 anti 145: lmin --> 149: lmin (0,0,0) [ M]
875 anti 145: lmin --> 149: lmin (0,0,+) [ M]
876 anti 145: lmin --> 149: lmin (0,+,*) [ M]
877 anti 145: lmin --> 149: lmin (+,*,*) [ M]
878 anti 145: lmax --> 132: lmax (0,+) [ M]
879 anti 145: lmax --> 132: lmax (+,*) [ M]
880 anti 145: lmax --> 150: lmax (0,0,0) [ M]
881 anti 145: lmax --> 150: lmax (0,0,+) [ M]
882 anti 145: lmax --> 150: lmax (0,+,*) [ M]
883 anti 145: lmax --> 150: lmax (+,*,*) [ M]
884 flow 149: lmin --> 134: lmin (0,0,1) [ V]
885 flow 149: lmin --> 140: lmin (0,0,1) [ V]
886 flow 149: lmin --> 145: lmin (0,0,1) [ V]
887 flow 149: lmin --> 134: lmin (0,0,+) [ M]
888 flow 149: lmin --> 134: lmin (0,+,*) [ M]
889 flow 149: lmin --> 134: lmin (+,*,*) [ M]
890 flow 149: lmin --> 140: lmin (0,0,+) [ M]
891 flow 149: lmin --> 140: lmin (0,+,*) [ M]
892 flow 149: lmin --> 140: lmin (+,*,*) [ M]
893 flow 149: lmin --> 145: lmin (0,0,+) [ M]
894 flow 149: lmin --> 145: lmin (0,+,*) [ M]
895 flow 149: lmin --> 145: lmin (+,*,*) [ M]
896 output 149: lmin --> 131: lmin (0,+) [ Mo]
897 output 149: lmin --> 131: lmin (+,*) [ Mo]
898 output 149: lmin --> 149: lmin (0,0,+) [ Mo]
899 output 149: lmin --> 149: lmin (0,+,*) [ Mo]
900 output 149: lmin --> 149: lmin (+,*,*) [ Mo]
901 flow 150: lmax --> 134: lmax (0,0,1) [ V]
902 flow 150: lmax --> 140: lmax (0,0,1) [ V]
903 flow 150: lmax --> 145: lmax (0,0,1) [ V]
904 flow 150: lmax --> 134: lmax (0,0,+) [ M]
905 flow 150: lmax --> 134: lmax (0,+,*) [ M]
906 flow 150: lmax --> 134: lmax (+,*,*) [ M]
907 flow 150: lmax --> 140: lmax (0,0,+) [ M]
908 flow 150: lmax --> 140: lmax (0,+,*) [ M]
909 flow 150: lmax --> 140: lmax (+,*,*) [ M]
910 flow 150: lmax --> 145: lmax (0,0,+) [ M]
911 flow 150: lmax --> 145: lmax (0,+,*) [ M]
912 flow 150: lmax --> 145: lmax (+,*,*) [ M]
913 output 150: lmax --> 132: lmax (0,+) [ Mo]
914 output 150: lmax --> 132: lmax (+,*) [ Mo]
915 output 150: lmax --> 150: lmax (0,0,+) [ Mo]
916 output 150: lmax --> 150: lmax (0,+,*) [ Mo]
917 output 150: lmax --> 150: lmax (+,*,*) [ Mo]
918 anti 152: mijkl --> 146: mijkl (0,+) [ Mo]
919 anti 152: mijkl --> 146: mijkl (+,*) [ Mo]
920 anti 152: mijkl --> 152: mijkl (0,+) [ Mo]
921 anti 152: mijkl --> 152: mijkl (+,*) [ Mo]
922 anti 152: mij --> 111: mij (0,+) [ Mo]
923 anti 152: mij --> 111: mij (+,*) [ Mo]
924 flow 152: mijkl --> 146: mijkl (+,0-) [ VOi]
925 flow 152: mijkl --> 146: mijkl (0,1) [ VOi]
926 flow 152: mijkl --> 152: mijkl (+,0-) [ VOI]
927 flow 152: mijkl --> 152: mijkl (0,1) [ VOI]
928 flow 152: mijkl --> 146: mijkl (0,+) [ Mo]
929 flow 152: mijkl --> 146: mijkl (+,*) [ Mo]
930 flow 152: mijkl --> 147: mijkl (0,+) [ Mo]
931 flow 152: mijkl --> 147: mijkl (+,*) [ Mo]
932 flow 152: mijkl --> 152: mijkl (0,+) [ Mo]
933 flow 152: mijkl --> 152: mijkl (+,*) [ Mo]
934 output 152: mijkl --> 146: mijkl (0,+) [ Mo]
935 output 152: mijkl --> 146: mijkl (+,*) [ Mo]
936 output 152: mijkl --> 152: mijkl (0,+) [ Mo]
937 output 152: mijkl --> 152: mijkl (+,*) [ Mo]