| blob | 2923f7177e2923abd20d8c5cab16d366fe78d836 |
1 flow 1: Entry --> 92: xrsij(mrsij+... [ Vi]
2 {[In_1] -> [mrs,In_1-mrsij_2(mrs)] : mrsij_2(mrs) < In_1 && mrs <= nrs && In_1 <= mrsij_2(mrs)+mrs && In_1 <= nij+mrsij_2(mrs) && 1 <= morb && UNKNOWN} union
3 {[In_1] -> [mrs,In_1-mrsij_2(mrs)] : mrsij_2(mrs) < In_1 && morb <= 0 && mrs <= nrs && In_1 <= mrsij_2(mrs)+mrs && In_1 <= nij+mrsij_2(mrs)}
4 flow 1: Entry --> 93: xrsij(mijrs+... [ Vi]
5 {[mijrs_1(mrs,mij)+mrs] -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij && 1 <= morb && UNKNOWN} union
6 {[mijrs_1(mrs,mij)+mrs] -> [mrs,mij] : 1 <= mij <= mrs <= nrs && morb <= 0 && mij <= nij}
7 flow 1: Entry --> 121: xijrs(mijrs) [ Vi]
8 {[In_1] -> [mi,mj,mr,In_1-mijrs_2(mi,mj,mr)] : 1 <= mj <= mi <= morb && mijrs_2(mi,mj,mr) < In_1 && mr <= num && In_1 <= mijrs_2(mi,mj,mr)+mr && 1 <= nrs && 1 <= nij && UNKNOWN} union
9 {[In_1] -> [mi,mj,mr,In_1-mijrs_2(mi,mj,mr)] : 1 <= mj <= mi <= morb && mijrs_2(mi,mj,mr) < In_1 && nrs <= 0 && mr <= num && In_1 <= mijrs_2(mi,mj,mr)+mr} union
10 {[In_1] -> [mi,mj,mr,In_1-mijrs_2(mi,mj,mr)] : 1 <= mj <= mi <= morb && mijrs_2(mi,mj,mr) < In_1 && nij <= 0 && mr <= num && In_1 <= mijrs_2(mi,mj,mr)+mr && 1 <= nrs}
11 flow 1: Entry --> 57: v(mp,mi) [ MV]
12 {[mp,In_2] -> [mrs,mp,mq,In_2] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= In_2 <= morb && 1 <= <line-55>(mrs,mp,mq)}
13 flow 1: Entry --> 58: v(mq,mi) [ MV]
14 {[mq,In_2] -> [mrs,mp,mq,In_2] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= In_2 <= morb && 1 <= <line-55>(mrs,mp,mq)}
15 flow 1: Entry --> 73: v(mq,mj) [ MV]
16 {[mq,In_2] -> [mrs,mi,mq,In_2] : 1 <= In_2 <= mi <= morb && 1 <= mrs <= nrs && 1 <= mq <= num && 1 <= <line-71>(mrs,mi,mq)}
17 flow 1: Entry --> 124: v(mr,mk) [ MV]
18 {[mr,In_2] -> [mi,mj,mr,ms,In_2] : 1 <= mj <= mi <= In_2 <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
19 flow 1: Entry --> 125: v(ms,mk) [ MV]
20 {[ms,In_2] -> [mi,mj,mr,ms,In_2] : 1 <= mj <= mi <= In_2 <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
21 flow 1: Entry --> 141: v(ms,ml) [ MV]
22 {[ms,In_2] -> [mi,mj,mk,ms,In_2] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= In_2 <= lmax_1(mi,mj,mk) && 1 <= ms <= num && 1 <= <line-139>(mi,mj,mk,ms)}
23 flow 1: Entry --> 54: xrspq(mrspq) [ MV]
24 {[In_1] -> [mrs,mp,In_1-mrspq_1(mrs,mp)] : 1 <= mrs <= nrs && mrspq_1(mrs,mp) < In_1 && mp <= num && In_1 <= mrspq_1(mrs,mp)+mp}
25 flow 1: Entry --> 92: xrsij(mrsij+... [ M]
26 {[In_1] -> [mrs,In_1-mrsij_2(mrs)] : mrsij_2(mrs) < In_1 && mrs <= nrs && In_1 <= mrsij_2(mrs)+mrs && In_1 <= nij+mrsij_2(mrs)}
27 flow 1: Entry --> 93: xrsij(mijrs+... [ M]
28 {[mijrs_1(mrs,mij)+mrs] -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
29 output 1: Entry --> 79: xrsij(mrsij) [ M]
30 {[In_1] -> [mrs,mi,In_1-mrsij_1(mrs,mi)] : 1 <= mrs <= nrs && mrsij_1(mrs,mi) < In_1 && mi <= morb && In_1 <= mrsij_1(mrs,mi)+mi}
31 flow 1: Entry --> 121: xijrs(mijrs) [ M]
32 {[In_1] -> [mi,mj,mr,In_1-mijrs_2(mi,mj,mr)] : 1 <= mj <= mi <= morb && mijrs_2(mi,mj,mr) < In_1 && mr <= num && In_1 <= mijrs_2(mi,mj,mr)+mr}
33 output 1: Entry --> 93: xijrs(mrsij+... [ M]
34 {[In_1] -> [mrs,In_1-mrsij_2(mrs)] : mrsij_2(mrs) < In_1 && mrs <= nrs && In_1 <= mrsij_2(mrs)+mrs && In_1 <= nij+mrsij_2(mrs)}
35 output 1: Entry --> 94: xijrs(mijrs+... [ M]
36 {[mijrs_1(mrs,mij)+mrs] -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
37 output 1: Entry --> 147: xijkl(mijkl) [ M]
38 {[In_1] -> [mi,mj,mk,lmin_1(mi,mj,mk)-mijkl_1(mi,mj,mk)+In_1-1] : 1 <= mj <= mi <= mk <= morb && mijkl_1(mi,mj,mk) < In_1 && lmin_1(mi,mj,mk)+In_1 <= 1+lmax_1(mi,mj,mk)+mijkl_1(mi,mj,mk)}
39 flow 1: Entry --> 57: xrsiq(mi,mq) [ M]
40 {[In_1,mq] -> [mrs,mp,mq,In_1] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= In_1 <= morb && 1 <= <line-55>(mrs,mp,mq)}
41 flow 1: Entry --> 58: xrsiq(mi,mp) [ M]
42 {[In_1,mp] -> [mrs,mp,mq,In_1] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= In_1 <= morb && 1 <= <line-55>(mrs,mp,mq)}
43 flow 1: Entry --> 70: xrsiq(mi,mq) [ M]
44 {[In_1,In_2] -> [mrs,In_1,In_2] : 1 <= In_1 <= morb && 1 <= In_2 <= num && 1 <= mrs <= nrs}
45 output 1: Entry --> 48: xrsiq(mi,mq) [ M]
46 {[In_1,In_2] -> [mrs,In_2,In_1] : 1 <= In_1 <= morb && 1 <= In_2 <= num && 1 <= mrs <= nrs}
47 output 1: Entry --> 57: xrsiq(mi,mq) [ M]
48 {[In_1,mq] -> [mrs,mp,mq,In_1] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= In_1 <= morb && 1 <= <line-55>(mrs,mp,mq)}
49 output 1: Entry --> 58: xrsiq(mi,mp) [ M]
50 {[In_1,mp] -> [mrs,mp,mq,In_1] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= In_1 <= morb && 1 <= <line-55>(mrs,mp,mq)}
51 flow 1: Entry --> 124: xijks(mk,ms) [ M]
52 {[In_1,ms] -> [mi,mj,mr,ms,In_1] : 1 <= mj <= mi <= In_1 <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
53 flow 1: Entry --> 125: xijks(mk,mr) [ M]
54 {[In_1,mr] -> [mi,mj,mr,ms,In_1] : 1 <= mj <= mi <= In_1 <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
55 flow 1: Entry --> 138: xijks(mk,ms) [ M]
56 {[In_1,In_2] -> [mi,mj,In_1,In_2] : 1 <= mj <= mi <= In_1 <= morb && 1 <= In_2 <= num}
57 output 1: Entry --> 115: xijks(mk,ms) [ M]
58 {[In_1,In_2] -> [mi,mj,In_2,In_1] : 1 <= mj <= mi <= In_1 <= morb && 1 <= In_2 <= num}
59 output 1: Entry --> 124: xijks(mk,ms) [ M]
60 {[In_1,ms] -> [mi,mj,mr,ms,In_1] : 1 <= mj <= mi <= In_1 <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
61 output 1: Entry --> 125: xijks(mk,mr) [ M]
62 {[In_1,mr] -> [mi,mj,mr,ms,In_1] : 1 <= mj <= mi <= In_1 <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
63 flow 1: Entry --> 73: xij(mj) [ M]
64 {[In_1] -> [mrs,mi,mq,In_1] : 1 <= In_1 <= mi <= morb && 1 <= mrs <= nrs && 1 <= mq <= num && 1 <= <line-71>(mrs,mi,mq)}
65 flow 1: Entry --> 79: xij(mj) [ M]
66 {[In_1] -> [mrs,mi,In_1] : 1 <= In_1 <= mi <= morb && 1 <= mrs <= nrs}
67 output 1: Entry --> 67: xij(mj) [ M]
68 {[In_1] -> [mrs,mi,In_1] : 1 <= In_1 <= mi <= morb && 1 <= mrs <= nrs}
69 output 1: Entry --> 73: xij(mj) [ M]
70 {[In_1] -> [mrs,mi,mq,In_1] : 1 <= In_1 <= mi <= morb && 1 <= mrs <= nrs && 1 <= mq <= num && 1 <= <line-71>(mrs,mi,mq)}
71 flow 1: Entry --> 141: xkl(ml) [ M]
72 {[In_1] -> [mi,mj,mk,ms,In_1] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= In_1 <= lmax_1(mi,mj,mk) && 1 <= ms <= num && 1 <= <line-139>(mi,mj,mk,ms)}
73 flow 1: Entry --> 147: xkl(ml) [ M]
74 {[In_1] -> [mi,mj,mk,In_1] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= In_1 <= lmax_1(mi,mj,mk)}
75 output 1: Entry --> 135: xkl(ml) [ M]
76 {[In_1] -> [mi,mj,mk,In_1] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= In_1 <= lmax_1(mi,mj,mk)}
77 output 1: Entry --> 141: xkl(ml) [ M]
78 {[In_1] -> [mi,mj,mk,ms,In_1] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= In_1 <= lmax_1(mi,mj,mk) && 1 <= ms <= num && 1 <= <line-139>(mi,mj,mk,ms)}
79 flow 1: Entry --> 47: morb [ MV]
80 { -> [mrs,mq] : 1 <= mrs <= nrs && 1 <= mq <= num}
81 flow 1: Entry --> 56: morb [ MV]
82 { -> [mrs,mp,mq] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= <line-55>(mrs,mp,mq)}
83 flow 1: Entry --> 65: morb [ MV]
84 { -> [mrs] : 1 <= mrs <= nrs}
85 flow 1: Entry --> 87: morb [ MV]
86 { -> TRUE }
87 flow 1: Entry --> 87: morb [ MV]
88 { -> TRUE }
89 flow 1: Entry --> 109: morb [ MV]
90 { -> TRUE }
91 flow 1: Entry --> 114: morb [ MV]
92 { -> [mi,mj,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= num}
93 flow 1: Entry --> 123: morb [ MV]
94 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
95 flow 1: Entry --> 133: morb [ MV]
96 { -> [mi,mj] : 1 <= mj <= mi <= morb}
97 flow 1: Entry --> 39: num [ MV]
98 { -> TRUE }
99 flow 1: Entry --> 40: num [ MV]
100 { -> TRUE }
101 flow 1: Entry --> 46: num [ MV]
102 { -> [mrs] : 1 <= mrs <= nrs}
103 flow 1: Entry --> 51: num [ MV]
104 { -> [mrs] : 1 <= mrs <= nrs}
105 flow 1: Entry --> 69: num [ MV]
106 { -> [mrs,mi] : 1 <= mrs <= nrs && 1 <= mi <= morb}
107 flow 1: Entry --> 102: num [ MV]
108 { -> TRUE }
109 flow 1: Entry --> 103: num [ MV]
110 { -> TRUE }
111 flow 1: Entry --> 113: num [ MV]
112 { -> [mi,mj] : 1 <= mj <= mi <= morb}
113 flow 1: Entry --> 118: num [ MV]
114 { -> [mi,mj] : 1 <= mj <= mi <= morb}
115 flow 1: Entry --> 137: num [ MV]
116 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
117 flow 1: Entry --> 48: zero [ MV]
118 { -> [mrs,mq,mi] : 1 <= mrs <= nrs && 1 <= mq <= num && 1 <= mi <= morb}
119 flow 1: Entry --> 55: zero [ MV]
120 { -> [mrs,mp,mq] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs}
121 flow 1: Entry --> 67: zero [ MV]
122 { -> [mrs,mi,mj] : 1 <= mj <= mi <= morb && 1 <= mrs <= nrs}
123 flow 1: Entry --> 71: zero [ MV]
124 { -> [mrs,mi,mq] : 1 <= mrs <= nrs && 1 <= mi <= morb && 1 <= mq <= num}
125 flow 1: Entry --> 115: zero [ MV]
126 { -> [mi,mj,ms,mk] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= num}
127 flow 1: Entry --> 122: zero [ MV]
128 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num}
129 flow 1: Entry --> 135: zero [ MV]
130 { -> [mi,mj,mk,ml] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= ml <= lmax_1(mi,mj,mk)}
131 flow 1: Entry --> 139: zero [ MV]
132 { -> [mi,mj,mk,ms] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= num}
133 flow 1: Entry --> 134: lmin [ M]
134 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
135 flow 1: Entry --> 140: lmin [ M]
136 { -> [mi,mj,mk,ms] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= num && 1 <= <line-139>(mi,mj,mk,ms)}
137 flow 1: Entry --> 145: lmin [ M]
138 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
139 output 1: Entry --> 131: lmin [ M]
140 { -> [mi,mj] : 1 <= mj <= mi <= morb}
141 output 1: Entry --> 149: lmin [ M]
142 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
143 flow 1: Entry --> 134: lmax [ M]
144 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
145 flow 1: Entry --> 140: lmax [ M]
146 { -> [mi,mj,mk,ms] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= num && 1 <= <line-139>(mi,mj,mk,ms)}
147 flow 1: Entry --> 145: lmax [ M]
148 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
149 output 1: Entry --> 132: lmax [ M]
150 { -> [mi,mj] : 1 <= mj <= mi <= morb}
151 output 1: Entry --> 150: lmax [ M]
152 { -> [mi,mj,mk] : 1 <= mj <= mi <= mk <= morb}
153 output 1: Entry --> 104: mijkl [ M]
154 { -> TRUE }
155 output 1: Entry --> 146: mijkl [ M]
156 { -> [mi,mj,mk,ml] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= ml <= lmax_1(mi,mj,mk)}
157 output 1: Entry --> 152: mijkl [ M]
158 { -> [mi,mj] : 1 <= mj <= mi <= morb}
159 output 1: Entry --> 107: mleft [ M]
160 { -> TRUE }
161 flow 1: Entry --> 78: mrsij [ M]
162 { -> [mrs,mi,mj] : 1 <= mj <= mi <= morb && 1 <= mrs <= nrs}
163 flow 1: Entry --> 79: mrsij [ M]
164 { -> [mrs,mi,mj] : 1 <= mj <= mi <= morb && 1 <= mrs <= nrs}
165 flow 1: Entry --> 92: mrsij [ M]
166 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
167 flow 1: Entry --> 93: mrsij [ M]
168 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
169 flow 1: Entry --> 97: mrsij [ M]
170 { -> [mrs] : 1 <= mrs <= nrs}
171 output 1: Entry --> 64: mrsij [ M]
172 { -> [mrs] : 1 <= mrs <= nrs}
173 output 1: Entry --> 78: mrsij [ M]
174 { -> [mrs,mi,mj] : 1 <= mj <= mi <= morb && 1 <= mrs <= nrs}
175 output 1: Entry --> 88: mrsij [ M]
176 { -> TRUE }
177 output 1: Entry --> 97: mrsij [ M]
178 { -> [mrs] : 1 <= mrs <= nrs}
179 flow 1: Entry --> 93: mijrs [ M]
180 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
181 flow 1: Entry --> 94: mijrs [ M]
182 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
183 flow 1: Entry --> 95: mijrs [ M]
184 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
185 flow 1: Entry --> 120: mijrs [ M]
186 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num}
187 flow 1: Entry --> 121: mijrs [ M]
188 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num}
189 output 1: Entry --> 90: mijrs [ M]
190 { -> [mrs] : 1 <= mrs <= nrs}
191 output 1: Entry --> 95: mijrs [ M]
192 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
193 output 1: Entry --> 105: mijrs [ M]
194 { -> TRUE }
195 output 1: Entry --> 120: mijrs [ M]
196 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num}
197 output 1: Entry --> 42: mrspq [ M]
198 { -> TRUE }
199 output 1: Entry --> 53: mrspq [ M]
200 { -> [mrs,mp,mq] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs}
201 output 1: Entry --> 41: mrsij0 [ M]
202 { -> TRUE }
203 output 1: Entry --> 82: mrsij0 [ M]
204 { -> [mrs] : 1 <= mrs <= nrs}
205 output 1: Entry --> 39: np [ M]
206 { -> TRUE }
207 output 1: Entry --> 40: nq [ M]
208 { -> TRUE }
209 output 1: Entry --> 102: nr [ M]
210 { -> TRUE }
211 output 1: Entry --> 103: ns [ M]
212 { -> TRUE }
213 output 1: Entry --> 106: mij [ M]
214 { -> TRUE }
215 output 1: Entry --> 111: mij [ M]
216 { -> [mi,mj] : 1 <= mj <= mi <= morb}
217 output 1: Entry --> 87: nij [ M]
218 { -> TRUE }
219 flow 1: Entry --> 55: val [ M]
220 { -> [mrs,mp,mq] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs}
221 flow 1: Entry --> 57: val [ M]
222 { -> [mrs,mp,mq,mi] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= mi <= morb && 1 <= <line-55>(mrs,mp,mq)}
223 flow 1: Entry --> 58: val [ M]
224 { -> [mrs,mp,mq,mi] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs && 1 <= mi <= morb && 1 <= <line-55>(mrs,mp,mq)}
225 flow 1: Entry --> 71: val [ M]
226 { -> [mrs,mi,mq] : 1 <= mrs <= nrs && 1 <= mi <= morb && 1 <= mq <= num}
227 flow 1: Entry --> 73: val [ M]
228 { -> [mrs,mi,mq,mj] : 1 <= mj <= mi <= morb && 1 <= mrs <= nrs && 1 <= mq <= num && 1 <= <line-71>(mrs,mi,mq)}
229 flow 1: Entry --> 122: val [ M]
230 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num}
231 flow 1: Entry --> 124: val [ M]
232 { -> [mi,mj,mr,ms,mk] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
233 flow 1: Entry --> 125: val [ M]
234 { -> [mi,mj,mr,ms,mk] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= mr <= num && 1 <= <line-122>(mi,mj,mr,ms)}
235 flow 1: Entry --> 139: val [ M]
236 { -> [mi,mj,mk,ms] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= num}
237 flow 1: Entry --> 141: val [ M]
238 { -> [mi,mj,mk,ms,ml] : 1 <= mj <= mi <= mk <= morb && lmin_1(mi,mj,mk) <= ml <= lmax_1(mi,mj,mk) && 1 <= ms <= num && 1 <= <line-139>(mi,mj,mk,ms)}
239 output 1: Entry --> 54: val [ M]
240 { -> [mrs,mp,mq] : 1 <= mq <= mp <= num && 1 <= mrs <= nrs}
241 output 1: Entry --> 70: val [ M]
242 { -> [mrs,mi,mq] : 1 <= mrs <= nrs && 1 <= mi <= morb && 1 <= mq <= num}
243 output 1: Entry --> 121: val [ M]
244 { -> [mi,mj,mr,ms] : 1 <= mj <= mi <= morb && 1 <= ms <= mr <= num}
245 output 1: Entry --> 138: val [ M]
246 { -> [mi,mj,mk,ms] : 1 <= mj <= mi <= mk <= morb && 1 <= ms <= num}
247 flow 1: Entry --> 94: dum [ M]
248 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
249 output 1: Entry --> 92: dum [ M]
250 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
251 flow 1: Entry --> 44: nrs [ MV]
252 { -> TRUE }
253 flow 1: Entry --> 82: nrs [ MV]
254 { -> [mrs] : 1 <= mrs <= nrs}
255 flow 1: Entry --> 89: nrs [ MV]
256 { -> TRUE }
257 flow 1: Entry --> 95: nrs [ MV]
258 { -> [mrs,mij] : 1 <= mij <= mrs <= nrs && mij <= nij}
259 flow 1: Entry --> 97: nrs [ MV]
260 { -> [mrs] : 1 <= mrs <= nrs}
261 flow 1: Entry --> 107: nrs [ MV]
262 { -> TRUE }
263 flow 41: mrsij0 --> 64: mrsij0 [ V]
264 { -> [1] : 1 <= nrs}