-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmodel_const.lp
440 lines (440 loc) · 17.9 KB
/
model_const.lp
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
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
Minimize
Objective: + M +W4 +W9 +W11 +W12 +W13 +W16 +W17 +W18 +W20 +W21 +W24 +W26 +W28 +W30 +W31 +W32 +W34 +W36 +W37 +W38 +W39 +W40 +W41 +W45 +W47 +W50 +W51 +W52 +W53 +W54 +W55 +W58 +W60 +W62 +W63 +W64 +W65 +W66 +W67 +W68 +W69 +W70 +W71 +W72
Subject To
+W0 - M <= 0
+W1 - M <= 0
+W2 - M <= 0
+W3 - M <= 0
+W5 - M <= 0
+W6 - M <= 0
+W7 - M <= 0
+W8 - M <= 0
+W10 - M <= 0
+W14 - M <= 0
+W15 - M <= 0
+W19 - M <= 0
+W22 - M <= 0
+W23 - M <= 0
+W25 - M <= 0
+W27 - M <= 0
+W29 - M <= 0
+W33 - M <= 0
+W35 - M <= 0
+W42 - M <= 0
+W43 - M <= 0
+W44 - M <= 0
+W46 - M <= 0
+W48 - M <= 0
+W49 - M <= 0
+W56 - M <= 0
+W57 - M <= 0
+W59 - M <= 0
+W61 - M <= 0
+W8 +W9 +W11 +W16 -W3 -W17 = 0
+W8 +W9 +W11 +W16 -W3 -W17 = 0
+W8 +W9 +W11 +W16 -W3 -W17 = 0
+W8 +W9 +W11 +W16 -W3 -W17 = 0
+W8 +W9 +W26 +W31 +W36 -W8 -W9 -W11 -W20 -W37 = 0
+W8 +W9 +W26 +W31 +W36 -W8 -W9 -W11 -W20 -W37 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W3 -W17 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W3 -W17 -W40 = 0
+W10 +W11 +W20 +W37 +W39 -W10 -W11 -W16 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W8 -W9 -W11 -W16 -W40 = 0
+W10 +W11 +W20 +W37 +W39 -W10 -W11 -W16 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W8 -W9 -W11 -W16 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W3 -W17 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W3 -W17 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W8 -W9 -W11 -W16 -W40 = 0
+W8 +W9 +W11 +W20 +W37 +W39 -W8 -W9 -W11 -W16 -W40 = 0
+W49 +W52 -W44 -W54 = 0
+W48 +W52 -W43 -W45 -W54 = 0
+W49 +W52 -W44 -W54 = 0
+W49 +W52 -W44 -W54 = 0
+W49 +W52 -W44 -W54 = 0
+W48 +W52 -W43 -W45 -W54 = 0
+W59 +W67 -W8 -W9 -W11 -W20 -W64 -W65 = 0
+W59 +W67 -W8 -W9 -W11 -W20 -W64 -W65 = 0
+W59 +W67 -W8 -W9 -W11 -W20 -W64 -W65 = 0
+W59 +W67 -W8 -W9 -W11 -W20 -W64 -W65 = 0
+W59 +W67 -W8 -W9 -W11 -W20 -W64 -W65 = 0
+W59 +W67 -W8 -W9 -W11 -W20 -W64 -W65 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W43 -W45 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W43 -W45 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W43 -W45 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W43 -W45 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W61 +W66 +W70 -W42 -W53 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W1 +W4 +W62 +W66 +W70 -W1 -W4 -W62 -W69 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W43 -W45 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W43 -W45 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 -W48 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W44 -W54 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 -W49 -W52 -W68 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W10 +W11 +W20 +W64 +W65 +W70 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W43 +W45 +W54 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W20 -W37 -W39 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W3 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W8 +W9 +W11 +W20 +W64 +W65 +W70 +W71 -W8 -W9 -W11 -W16 -W40 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W20 -W37 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W42 +W53 +W68 +W71 -W35 -W38 -W39 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W1 +W4 +W62 +W69 +W71 -W1 -W4 -W17 -W40 -W72 = 0
+W48 +W52 +W68 +W71 -W10 -W11 -W16 -W40 -W72 = 0
+W10 +W11 +W20 +W37 +W39 +W72 -1 d0_1 -2 d0_2 -3 d0_3 -4 d0_4 -5 d0_5 -6 d0_6 -7 d0_7 -8 d0_8 -9 d0_9 = 0
+d0_0 +d0_1 +d0_2 +d0_3 +d0_4 +d0_5 +d0_6 +d0_7 +d0_8 +d0_9 = 1
+W35 +W38 +W39 +W72 -1 d1_1 -2 d1_2 -3 d1_3 -4 d1_4 -5 d1_5 -6 d1_6 -7 d1_7 -8 d1_8 -9 d1_9 = 0
+d1_0 +d1_1 +d1_2 +d1_3 +d1_4 +d1_5 +d1_6 +d1_7 +d1_8 +d1_9 = 1
+W8 +W9 +W11 +W20 +W37 +W39 +W72 -1 d2_1 -2 d2_2 -3 d2_3 -4 d2_4 -5 d2_5 -6 d2_6 -7 d2_7 -8 d2_8 -9 d2_9 = 0
+d2_0 +d2_1 +d2_2 +d2_3 +d2_4 +d2_5 +d2_6 +d2_7 +d2_8 +d2_9 = 1
+W1 +W4 +W17 +W40 +W72 -1 d3_1 -2 d3_2 -3 d3_3 -4 d3_4 -5 d3_5 -6 d3_6 -7 d3_7 -8 d3_8 -9 d3_9 = 0
+d3_0 +d3_1 +d3_2 +d3_3 +d3_4 +d3_5 +d3_6 +d3_7 +d3_8 +d3_9 = 1
+W3 +W17 +W40 +W72 -1 d4_1 -2 d4_2 -3 d4_3 -4 d4_4 -5 d4_5 -6 d4_6 -7 d4_7 -8 d4_8 -9 d4_9 = 0
+d4_0 +d4_1 +d4_2 +d4_3 +d4_4 +d4_5 +d4_6 +d4_7 +d4_8 +d4_9 = 1
+W10 +W11 +W16 +W40 +W72 -1 d5_1 -2 d5_2 -3 d5_3 -4 d5_4 -5 d5_5 -6 d5_6 -7 d5_7 -8 d5_8 -9 d5_9 = 0
+d5_0 +d5_1 +d5_2 +d5_3 +d5_4 +d5_5 +d5_6 +d5_7 +d5_8 +d5_9 = 1
+W8 +W9 +W11 +W16 +W40 +W72 -1 d6_1 -2 d6_2 -3 d6_3 -4 d6_4 -5 d6_5 -6 d6_6 -7 d6_7 -8 d6_8 -9 d6_9 = 0
+d6_0 +d6_1 +d6_2 +d6_3 +d6_4 +d6_5 +d6_6 +d6_7 +d6_8 +d6_9 = 1
+W48 +W52 +W68 +W71 -1 d7_1 -2 d7_2 -3 d7_3 -4 d7_4 -5 d7_5 -6 d7_6 -7 d7_7 -8 d7_8 -9 d7_9 = 0
+d7_0 +d7_1 +d7_2 +d7_3 +d7_4 +d7_5 +d7_6 +d7_7 +d7_8 +d7_9 = 1
+W42 +W53 +W68 +W71 -1 d8_1 -2 d8_2 -3 d8_3 -4 d8_4 -5 d8_5 -6 d8_6 -7 d8_7 -8 d8_8 -9 d8_9 = 0
+d8_0 +d8_1 +d8_2 +d8_3 +d8_4 +d8_5 +d8_6 +d8_7 +d8_8 +d8_9 = 1
+W1 +W4 +W62 +W69 +W71 -1 d9_1 -2 d9_2 -3 d9_3 -4 d9_4 -5 d9_5 -6 d9_6 -7 d9_7 -8 d9_8 -9 d9_9 = 0
+d9_0 +d9_1 +d9_2 +d9_3 +d9_4 +d9_5 +d9_6 +d9_7 +d9_8 +d9_9 = 1
+d0_0 +d1_0 <= 1
+d0_1 +d1_1 <= 1
+d0_2 +d1_2 <= 1
+d0_3 +d1_3 <= 1
+d0_4 +d1_4 <= 1
+d0_5 +d1_5 <= 1
+d0_6 +d1_6 <= 1
+d0_7 +d1_7 <= 1
+d0_8 +d1_8 <= 1
+d0_9 +d1_9 <= 1
+d0_0 +d2_0 <= 1
+d0_1 +d2_1 <= 1
+d0_2 +d2_2 <= 1
+d0_3 +d2_3 <= 1
+d0_4 +d2_4 <= 1
+d0_5 +d2_5 <= 1
+d0_6 +d2_6 <= 1
+d0_7 +d2_7 <= 1
+d0_8 +d2_8 <= 1
+d0_9 +d2_9 <= 1
+d1_0 +d2_0 <= 1
+d1_1 +d2_1 <= 1
+d1_2 +d2_2 <= 1
+d1_3 +d2_3 <= 1
+d1_4 +d2_4 <= 1
+d1_5 +d2_5 <= 1
+d1_6 +d2_6 <= 1
+d1_7 +d2_7 <= 1
+d1_8 +d2_8 <= 1
+d1_9 +d2_9 <= 1
+d3_0 +d0_0 <= 1
+d3_1 +d0_1 <= 1
+d3_2 +d0_2 <= 1
+d3_3 +d0_3 <= 1
+d3_4 +d0_4 <= 1
+d3_5 +d0_5 <= 1
+d3_6 +d0_6 <= 1
+d3_7 +d0_7 <= 1
+d3_8 +d0_8 <= 1
+d3_9 +d0_9 <= 1
+d3_0 +d1_0 <= 1
+d3_1 +d1_1 <= 1
+d3_2 +d1_2 <= 1
+d3_3 +d1_3 <= 1
+d3_4 +d1_4 <= 1
+d3_5 +d1_5 <= 1
+d3_6 +d1_6 <= 1
+d3_7 +d1_7 <= 1
+d3_8 +d1_8 <= 1
+d3_9 +d1_9 <= 1
+d3_0 +d2_0 <= 1
+d3_1 +d2_1 <= 1
+d3_2 +d2_2 <= 1
+d3_3 +d2_3 <= 1
+d3_4 +d2_4 <= 1
+d3_5 +d2_5 <= 1
+d3_6 +d2_6 <= 1
+d3_7 +d2_7 <= 1
+d3_8 +d2_8 <= 1
+d3_9 +d2_9 <= 1
+d3_0 +d4_0 <= 1
+d3_1 +d4_1 <= 1
+d3_2 +d4_2 <= 1
+d3_3 +d4_3 <= 1
+d3_4 +d4_4 <= 1
+d3_5 +d4_5 <= 1
+d3_6 +d4_6 <= 1
+d3_7 +d4_7 <= 1
+d3_8 +d4_8 <= 1
+d3_9 +d4_9 <= 1
+d5_0 +d6_0 <= 1
+d5_1 +d6_1 <= 1
+d5_2 +d6_2 <= 1
+d5_3 +d6_3 <= 1
+d5_4 +d6_4 <= 1
+d5_5 +d6_5 <= 1
+d5_6 +d6_6 <= 1
+d5_7 +d6_7 <= 1
+d5_8 +d6_8 <= 1
+d5_9 +d6_9 <= 1
+d3_0 +d5_0 <= 1
+d3_1 +d5_1 <= 1
+d3_2 +d5_2 <= 1
+d3_3 +d5_3 <= 1
+d3_4 +d5_4 <= 1
+d3_5 +d5_5 <= 1
+d3_6 +d5_6 <= 1
+d3_7 +d5_7 <= 1
+d3_8 +d5_8 <= 1
+d3_9 +d5_9 <= 1
+d3_0 +d6_0 <= 1
+d3_1 +d6_1 <= 1
+d3_2 +d6_2 <= 1
+d3_3 +d6_3 <= 1
+d3_4 +d6_4 <= 1
+d3_5 +d6_5 <= 1
+d3_6 +d6_6 <= 1
+d3_7 +d6_7 <= 1
+d3_8 +d6_8 <= 1
+d3_9 +d6_9 <= 1
+d7_0 +d8_0 <= 1
+d7_1 +d8_1 <= 1
+d7_2 +d8_2 <= 1
+d7_3 +d8_3 <= 1
+d7_4 +d8_4 <= 1
+d7_5 +d8_5 <= 1
+d7_6 +d8_6 <= 1
+d7_7 +d8_7 <= 1
+d7_8 +d8_8 <= 1
+d7_9 +d8_9 <= 1
+d9_0 +d7_0 <= 1
+d9_1 +d7_1 <= 1
+d9_2 +d7_2 <= 1
+d9_3 +d7_3 <= 1
+d9_4 +d7_4 <= 1
+d9_5 +d7_5 <= 1
+d9_6 +d7_6 <= 1
+d9_7 +d7_7 <= 1
+d9_8 +d7_8 <= 1
+d9_9 +d7_9 <= 1
+d9_0 +d8_0 <= 1
+d9_1 +d8_1 <= 1
+d9_2 +d8_2 <= 1
+d9_3 +d8_3 <= 1
+d9_4 +d8_4 <= 1
+d9_5 +d8_5 <= 1
+d9_6 +d8_6 <= 1
+d9_7 +d8_7 <= 1
+d9_8 +d8_8 <= 1
+d9_9 +d8_9 <= 1