Ticket #5: ampl.mod

File ampl.mod, 31.4 KB (added by stefan, 11 years ago)
Line 
1#  MINLP written by GAMS Convert at 02/24/10 20:11:32
2
3#  Equation counts
4#      Total        E        G        L        N        X        C
5#        301        1        0      300        0        0        0
6
7#  Variable counts
8#                   x        b        i      s1s      s2s       sc       si
9#      Total     cont   binary  integer     sos1     sos2    scont     sint
10#        301      250        0       51        0        0        0        0
11#  FX      0        0        0        0        0        0        0        0
12
13#  Nonzero counts
14#      Total    const       NL      DLL
15#       2002     1001     1001        0
16
17
18var x1 <= 20;
19var x2 <= 20;
20var x3 <= 20;
21var x4 <= 20;
22var x5 <= 20;
23var x6 <= 20;
24var x7 <= 20;
25var x8 <= 20;
26var x9 <= 20;
27var x10 <= 20;
28var x11 <= 20;
29var x12 <= 20;
30var x13 <= 20;
31var x14 <= 20;
32var x15 <= 20;
33var x16 <= 20;
34var x17 <= 20;
35var x18 <= 20;
36var x19 <= 20;
37var x20 <= 20;
38var x21 <= 20;
39var x22 <= 20;
40var x23 <= 20;
41var x24 <= 20;
42var x25 <= 20;
43var x26 <= 20;
44var x27 <= 20;
45var x28 <= 20;
46var x29 <= 20;
47var x30 <= 20;
48var x31 <= 20;
49var x32 <= 20;
50var x33 <= 20;
51var x34 <= 20;
52var x35 <= 20;
53var x36 <= 20;
54var x37 <= 20;
55var x38 <= 20;
56var x39 <= 20;
57var x40 <= 20;
58var x41 <= 20;
59var x42 <= 20;
60var x43 <= 20;
61var x44 <= 20;
62var x45 <= 20;
63var x46 <= 20;
64var x47 <= 20;
65var x48 <= 20;
66var x49 <= 20;
67var x50 <= 20;
68var x51 <= 20;
69var x52 <= 20;
70var x53 <= 20;
71var x54 <= 20;
72var x55 <= 20;
73var x56 <= 20;
74var x57 <= 20;
75var x58 <= 20;
76var x59 <= 20;
77var x60 <= 20;
78var x61 <= 20;
79var x62 <= 20;
80var x63 <= 20;
81var x64 <= 20;
82var x65 <= 20;
83var x66 <= 20;
84var x67 <= 20;
85var x68 <= 20;
86var x69 <= 20;
87var x70 <= 20;
88var x71 <= 20;
89var x72 <= 20;
90var x73 <= 20;
91var x74 <= 20;
92var x75 <= 20;
93var x76 <= 20;
94var x77 <= 20;
95var x78 <= 20;
96var x79 <= 20;
97var x80 <= 20;
98var x81 <= 20;
99var x82 <= 20;
100var x83 <= 20;
101var x84 <= 20;
102var x85 <= 20;
103var x86 <= 20;
104var x87 <= 20;
105var x88 <= 20;
106var x89 <= 20;
107var x90 <= 20;
108var x91 <= 20;
109var x92 <= 20;
110var x93 <= 20;
111var x94 <= 20;
112var x95 <= 20;
113var x96 <= 20;
114var x97 <= 20;
115var x98 <= 20;
116var x99 <= 20;
117var x100 <= 20;
118var x101 <= 20;
119var x102 <= 20;
120var x103 <= 20;
121var x104 <= 20;
122var x105 <= 20;
123var x106 <= 20;
124var x107 <= 20;
125var x108 <= 20;
126var x109 <= 20;
127var x110 <= 20;
128var x111 <= 20;
129var x112 <= 20;
130var x113 <= 20;
131var x114 <= 20;
132var x115 <= 20;
133var x116 <= 20;
134var x117 <= 20;
135var x118 <= 20;
136var x119 <= 20;
137var x120 <= 20;
138var x121 <= 20;
139var x122 <= 20;
140var x123 <= 20;
141var x124 <= 20;
142var x125 <= 20;
143var x126 <= 20;
144var x127 <= 20;
145var x128 <= 20;
146var x129 <= 20;
147var x130 <= 20;
148var x131 <= 20;
149var x132 <= 20;
150var x133 <= 20;
151var x134 <= 20;
152var x135 <= 20;
153var x136 <= 20;
154var x137 <= 20;
155var x138 <= 20;
156var x139 <= 20;
157var x140 <= 20;
158var x141 <= 20;
159var x142 <= 20;
160var x143 <= 20;
161var x144 <= 20;
162var x145 <= 20;
163var x146 <= 20;
164var x147 <= 20;
165var x148 <= 20;
166var x149 <= 20;
167var x150 <= 20;
168var x151 <= 20;
169var x152 <= 20;
170var x153 <= 20;
171var x154 <= 20;
172var x155 <= 20;
173var x156 <= 20;
174var x157 <= 20;
175var x158 <= 20;
176var x159 <= 20;
177var x160 <= 20;
178var x161 <= 20;
179var x162 <= 20;
180var x163 <= 20;
181var x164 <= 20;
182var x165 <= 20;
183var x166 <= 20;
184var x167 <= 20;
185var x168 <= 20;
186var x169 <= 20;
187var x170 <= 20;
188var x171 <= 20;
189var x172 <= 20;
190var x173 <= 20;
191var x174 <= 20;
192var x175 <= 20;
193var x176 <= 20;
194var x177 <= 20;
195var x178 <= 20;
196var x179 <= 20;
197var x180 <= 20;
198var x181 <= 20;
199var x182 <= 20;
200var x183 <= 20;
201var x184 <= 20;
202var x185 <= 20;
203var x186 <= 20;
204var x187 <= 20;
205var x188 <= 20;
206var x189 <= 20;
207var x190 <= 20;
208var x191 <= 20;
209var x192 <= 20;
210var x193 <= 20;
211var x194 <= 20;
212var x195 <= 20;
213var x196 <= 20;
214var x197 <= 20;
215var x198 <= 20;
216var x199 <= 20;
217var x200 <= 20;
218var x201 <= 20;
219var x202 <= 20;
220var x203 <= 20;
221var x204 <= 20;
222var x205 <= 20;
223var x206 <= 20;
224var x207 <= 20;
225var x208 <= 20;
226var x209 <= 20;
227var x210 <= 20;
228var x211 <= 20;
229var x212 <= 20;
230var x213 <= 20;
231var x214 <= 20;
232var x215 <= 20;
233var x216 <= 20;
234var x217 <= 20;
235var x218 <= 20;
236var x219 <= 20;
237var x220 <= 20;
238var x221 <= 20;
239var x222 <= 20;
240var x223 <= 20;
241var x224 <= 20;
242var x225 <= 20;
243var x226 <= 20;
244var x227 <= 20;
245var x228 <= 20;
246var x229 <= 20;
247var x230 <= 20;
248var x231 <= 20;
249var x232 <= 20;
250var x233 <= 20;
251var x234 <= 20;
252var x235 <= 20;
253var x236 <= 20;
254var x237 <= 20;
255var x238 <= 20;
256var x239 <= 20;
257var x240 <= 20;
258var x241 <= 20;
259var x242 <= 20;
260var x243 <= 20;
261var x244 <= 20;
262var x245 <= 20;
263var x246 <= 20;
264var x247 <= 20;
265var x248 <= 20;
266var x249 <= 20;
267var i250 integer >= 0, <= 100;
268var i251 integer >= 0, <= 100;
269var i252 integer >= 0, <= 100;
270var i253 integer >= 0, <= 100;
271var i254 integer >= 0, <= 100;
272var i255 integer >= 0, <= 100;
273var i256 integer >= 0, <= 100;
274var i257 integer >= 0, <= 100;
275var i258 integer >= 0, <= 100;
276var i259 integer >= 0, <= 100;
277var i260 integer >= 0, <= 100;
278var i261 integer >= 0, <= 100;
279var i262 integer >= 0, <= 100;
280var i263 integer >= 0, <= 100;
281var i264 integer >= 0, <= 100;
282var i265 integer >= 0, <= 100;
283var i266 integer >= 0, <= 100;
284var i267 integer >= 0, <= 100;
285var i268 integer >= 0, <= 100;
286var i269 integer >= 0, <= 100;
287var i270 integer >= 0, <= 100;
288var i271 integer >= 0, <= 100;
289var i272 integer >= 0, <= 100;
290var i273 integer >= 0, <= 100;
291var i274 integer >= 0, <= 100;
292var i275 integer >= 0, <= 100;
293var i276 integer >= 0, <= 100;
294var i277 integer >= 0, <= 100;
295var i278 integer >= 0, <= 100;
296var i279 integer >= 0, <= 100;
297var i280 integer >= 0, <= 100;
298var i281 integer >= 0, <= 100;
299var i282 integer >= 0, <= 100;
300var i283 integer >= 0, <= 100;
301var i284 integer >= 0, <= 100;
302var i285 integer >= 0, <= 100;
303var i286 integer >= 0, <= 100;
304var i287 integer >= 0, <= 100;
305var i288 integer >= 0, <= 100;
306var i289 integer >= 0, <= 100;
307var i290 integer >= 0, <= 100;
308var i291 integer >= 0, <= 100;
309var i292 integer >= 0, <= 100;
310var i293 integer >= 0, <= 100;
311var i294 integer >= 0, <= 100;
312var i295 integer >= 0, <= 100;
313var i296 integer >= 0, <= 100;
314var i297 integer >= 0, <= 100;
315var i298 integer >= 0, <= 100;
316var i299 integer >= 0, <= 100;
317var i300 integer >= 0, <= 100;
318var x301;
319
320maximize obj: x301;
321
322subject to
323
324e1: 47*x169^2 + 33*x172^2 + 33*x177^2 + 16*x179^2 + 16*x181^2 + 38*x182^2 + 77*
325    x185^2 + 10*x186^2 + 49*x187^2 + 58*x188^2 + 75*x195^2 + 7*x198^2 + 77*x200
326    ^2 + 4*x203^2 + 27*x204^2 + 83*x205^2 + 60*x206^2 + 25*x207^2 + 70*x208^2
327     + 7*x212^2 + 44*x213^2 + 97*x214^2 + 95*x216^2 + 15*x220^2 + 31*x221^2 +
328    33*x223^2 + 9*x225^2 + 8*x228^2 + 71*x229^2 + 16*x232^2 + 57*x233^2 + 4*
329    x237^2 + 49*x239^2 + 43*x243^2 + 36*x244^2 + 36*x246^2 + 59*x248^2 + 17*
330    x249^2 - 26*x170 - 83*x171 - 8*x173 - 75*x174 - 27*x175 - 13*x176 - 8*x178
331     - 67*x180 - 86*x183 - 86*x184 - 83*x189 - 11*x190 - 22*x191 - 46*x192
332     - 47*x193 - 60*x194 - 63*x196 - 71*x197 - 52*x199 - 43*x201 - 33*x202
333     - 43*x209 - 18*x210 - 7*x211 - 38*x215 - 81*x217 - 47*x218 - 48*x219
334     - 68*x222 - 88*x224 - 98*x226 - 21*x227 - 17*x230 - 83*x231 - 46*x234
335     - 47*x235 - 8*x236 - 74*x238 - 42*x240 - 8*x241 - 96*x242 - 41*x245
336     - 10*x247 + x301 = 0;
337
338e2: 85*i279^2 + 100*x51^2 + 5*x122^2 + 31*x151^2 + 13*x31 + 10*x123 + 18*x201
339     <= 277;
340
341e3: 71*i279^2 + 20*i280^2 + 8*x88^2 + 34*x123^2 + 38*x188^2 + 36*x190^2 + 73*
342    x242^2 + 12*x125 + 3*x224 + 51*i250 <= 406;
343
344e4: 56*x33^2 + 12*x159^2 + 31*x242^2 + 52*x103 + 30*x244 + 36*i263 <= 233;
345
346e5: 22*x149^2 + 70*x225^2 + 58*x86 + 12*x131 + 86*x181 <= 256;
347
348e6: 11*x171^2 + 61*x248^2 + 17*x155 + 40*x196 <= 134;
349
350e7: 24*i285^2 + 38*x8^2 + 40*x113^2 + 41*x123^2 + 4*x168^2 + 96*x192^2 + 34*x91
351     + 8*x127 + 35*x246 <= 346;
352
353e8: 71*i260^2 + 45*x39^2 + 27*x52^2 + 64*x109^2 + 51*x125^2 + 90*x165 + 37*x171
354     + 88*i273 <= 529;
355
356e9: 93*x73^2 + 98*x223^2 + 45*x131 <= 261;
357
358e10:    78*x38 + 16*i255 <= 109;
359
360e11: 37*x72^2 + 98*x119^2 + 70*x6 + 70*x216 + 37*x219 + 78*x223 + 43*x245
361      <= 445;
362
363e12: 9*i254^2 + 50*x20^2 + 17*x103^2 + 53*x9 + 13*x27 + 38*x48 + 29*x133
364      + 23*x185 <= 273;
365
366e13: 79*i290^2 + 57*x72 + 14*x110 <= 165;
367
368e14: 69*x58^2 + 100*x229^2 + 45*x150 + 96*x187 <= 363;
369
370e15: 41*x201^2 + 40*x228^2 + 11*x241 + 42*i287 <= 153;
371
372e16: 85*i273^2 + 93*x32^2 + 84*x38^2 + 32*x79^2 + 63*x126 + 28*x169 <= 439;
373
374e17: 53*x226^2 + 79*x247^2 + 48*x118 + 67*x242 + 36*i281 <= 323;
375
376e18: 9*i258^2 + 60*x158^2 + 12*x9 + 70*x76 + 68*x242 + 39*i264 <= 291;
377
378e19: 11*x39^2 + 57*x43^2 + 89*x245^2 + 12*x158 <= 202;
379
380e20: 90*i288^2 + 18*x85 + x122 + 38*x196 + 94*x201 <= 273;
381
382e21: 87*i267^2 + 86*i289^2 + 48*x35^2 + 76*x145^2 + 85*x176^2 + 68*x247^2
383      + 13*x43 + 26*x44 <= 577;
384
385e22:    61*x112 + 33*x157 + 69*x245 <= 194;
386
387e23: 93*x14^2 + 76*x101^2 + 4*x164^2 + 27*x52 <= 205;
388
389e24: 89*x26^2 + 61*x104^2 + 39*x150^2 + 77*x22 + 15*x58 + 75*x63 + 77*x112
390      + 32*x204 <= 547;
391
392e25: 65*x35^2 + 16*x49^2 + 79*x225^2 + 20*x21 + 42*x74 + 36*x95 <= 265;
393
394e26: 93*x43^2 + 95*x117^2 + 97*x208^2 <= 333;
395
396e27: 55*x127^2 + 89*x10 + 55*x36 + 21*x175 <= 259;
397
398e28: 91*x207^2 + 61*x1 + 82*x27 + 50*x68 + 39*x70 + 97*x146 + 56*x164 + 56*i271
399      <= 612;
400
401e29: 14*x67^2 + 30*x23 + 77*x214 + 37*i291 <= 176;
402
403e30: 35*i267^2 + 5*x130^2 + 93*x215^2 + 98*x229^2 + 27*x17 + 99*x120 + 33*x178
404      <= 438;
405
406e31: 44*i299^2 + 92*x129^2 + 8*x30 + 73*x50 + 15*x127 + 93*x130 + 87*i279
407      <= 448;
408
409e32: 85*i268^2 + 30*i276^2 + 70*x159^2 + 42*x198 + 57*x244 <= 298;
410
411e33: 80*i284^2 + 38*x144^2 + 98*x159^2 + 81*x162^2 + 77*x179^2 + 23*x3
412      + 63*x217 <= 509;
413
414e34: 2*x25^2 + 65*x32^2 + 67*x74^2 + 97*x197^2 + 45*x239^2 + 85*x85 + 11*x143
415      + 92*i298 <= 547;
416
417e35: 85*x12^2 + 16*x66^2 + 90*x183^2 + 19*x228^2 + 8*x3 + 31*x48 + 75*x76
418      + 61*x182 <= 415;
419
420e36: 85*i252^2 + 63*x124^2 + 95*x147 + 9*x194 + 57*i299 <= 321;
421
422e37:    24*x27 + 10*x29 + 19*x76 + 68*x172 + 76*x236 <= 236;
423
424e38: 66*i265^2 + 35*i279^2 + 55*x30^2 + 19*x126^2 + 98*x152^2 + 29*x201^2
425      + 94*x205 + 75*i262 <= 522;
426
427e39: 62*x2^2 + 79*x4^2 + 28*x84^2 + 66*x169^2 + 100*x246^2 + 22*x74 + 37*x171
428      + 37*x222 <= 441;
429
430e40: 42*x103^2 + 99*x5 + 88*x46 + 16*x173 + 87*x213 <= 370;
431
432e41: 62*i295^2 + 81*x237^2 + 56*x79 + 49*x122 + 42*x162 + 37*i254 + 24*i278
433      <= 409;
434
435e42: 8*i274^2 + 2*i298^2 + 26*x4^2 + 53*x8^2 + 41*x40^2 + 28*x99^2 + 67*x100^2
436      + 82*x111^2 + 81*x130^2 + 56*x159^2 + 36*x227^2 + 69*x57 <= 562;
437
438e43: 64*i297^2 + 30*x20 + 69*x157 + 21*i269 <= 190;
439
440e44: 33*i266^2 + 89*i284^2 + 80*x45 + 82*x51 + 89*i253 <= 384;
441
442e45: 28*i276^2 + 41*x89^2 + 13*x210^2 + 26*x215^2 + 98*x42 + 68*x125 + x143
443      + 76*x148 <= 414;
444
445e46: 84*i260^2 + 31*i269^2 + 64*i277^2 + 28*i279^2 + 30*i283^2 + 95*x47^2 + 11*
446     x185^2 + 96*x2 + 31*x193 + 17*i257 <= 539;
447
448e47: 30*i290^2 + 52*x14^2 + 69*x27^2 + 83*x43^2 + 13*x89^2 + 81*x107 + 27*x156
449      + 69*x226 + 52*x244 + 21*i252 <= 558;
450
451e48: 67*i289^2 + 100*i295^2 + 62*x159^2 + 40*x168^2 + 89*x231^2 + 19*x194
452      + 71*x212 <= 515;
453
454e49: 34*x66^2 + 71*x70 + 21*x75 <= 130;
455
456e50: 28*i262^2 + 75*x36^2 + 57*x51^2 + 52*x54^2 + 79*x88^2 + 79*x97^2 + 82*x115
457     ^2 + 95*x158^2 + 65*x248^2 + 81*x243 + 74*i291 <= 830;
458
459e51: 37*i283^2 + 56*i290^2 + 18*x33^2 + 77*x200^2 + 32*x47 + 29*i267 + 40*i278
460      <= 298;
461
462e52: 40*x23^2 + 62*x29^2 + 49*x59 + 22*x60 + 56*x191 <= 271;
463
464e53: 32*x113^2 + 96*x141^2 + 54*x150^2 + 10*x154^2 + 2*x226^2 + 14*x134
465      + 30*x201 <= 244;
466
467e54: 78*i300^2 + 27*x98^2 + 50*x139^2 + 33*x158^2 + 55*x12 + 84*x102 + 65*x122
468      + 40*x133 + 97*x157 + 63*x181 + 50*x209 <= 712;
469
470e55: 59*x60^2 + 80*x163 + 51*i276 <= 221;
471
472e56: 19*i256^2 + 79*i285^2 + 12*x95^2 + 22*x183^2 + 21*x28 + 81*x84 + 31*x209
473      + 22*x226 <= 317;
474
475e57: 19*x61^2 + 61*x194^2 + 34*x46 + 37*x99 + 49*x160 <= 204;
476
477e58: 20*x3^2 + 35*x48 + 48*x132 + 21*x140 + 55*x184 + 42*x221 + 90*i254 <= 368;
478
479e59: 71*i287^2 + 42*i299^2 + 19*x8^2 + 5*x42^2 + 64*x165^2 + 91*x243^2 + 70*x7
480      + 50*x142 + 57*i289 <= 536;
481
482e60: 10*x24^2 + 67*x111^2 + 53*x194^2 + 21*x110 + 99*x120 <= 277;
483
484e61: 84*i266^2 + 79*i272^2 + 38*x48^2 + 18*x51^2 + 32*x76^2 + 58*x186^2
485      + 13*x27 + 85*x35 <= 413;
486
487e62: 10*x40^2 + 9*x55^2 + 88*x172^2 + 54*x13 + 71*x185 + 19*x199 + 28*i286
488      <= 292;
489
490e63: 68*i276^2 + 69*x98^2 + 87*x103^2 + 30*x104 + 51*i274 <= 360;
491
492e64: 41*i287^2 + 23*x68 + 4*x105 + 49*x124 + 82*i296 <= 237;
493
494e65: 83*i274^2 + 69*x1^2 + 73*x15^2 + 12*x29^2 + 14*x124^2 + 20*x126^2 + 20*x48
495      + 40*x105 + 35*i265 <= 438;
496
497e66: 88*x63^2 + 30*x72^2 + x117^2 + 49*x186^2 + 51*x189^2 + 68*x224^2 + 54*x12
498      + 35*x108 + 76*x124 <= 460;
499
500e67: 9*x95^2 + 66*x143^2 + 62*x190^2 + 47*x36 + 22*x87 + 23*x104 + 22*x199
501      + 51*x212 + 88*i300 <= 410;
502
503e68: 81*x7^2 + 98*x70^2 + 35*x116^2 + 41*x135^2 + 32*x189^2 + 99*x50 + 37*x154
504      + 4*i256 <= 470;
505
506e69: 21*x118^2 + 5*x11 + 13*x31 + 79*x238 <= 123;
507
508e70: 94*i260^2 + 89*i281^2 + 23*x207^2 + 54*x132 + 20*i266 <= 322;
509
510e71: 97*i270^2 + 99*x130^2 + 30*x145^2 + 89*x213 + 98*i254 + 27*i287 <= 461;
511
512e72: 71*x17^2 + 73*x241^2 + 64*x44 + 19*x46 + 54*x60 + 86*x156 + 45*x171
513      <= 486;
514
515e73: 53*x55^2 + 62*x73^2 + 62*x90^2 + 31*x117^2 + 16*x156^2 + 57*x237^2 + 6*x24
516      + 13*x51 + 49*i271 <= 386;
517
518e74: 57*i282^2 + 11*x90^2 + 85*x106^2 + 66*x188^2 + 64*x212^2 + 59*x228^2
519      + 42*x41 + 20*x80 + 75*x105 <= 541;
520
521e75: 26*x8^2 + 45*x177^2 + 88*x16 <= 164;
522
523e76: 19*i253^2 + 21*x12^2 + 78*x102^2 + 27*x38 + 63*x53 + 71*x54 + 68*x97
524      + 52*x226 + 90*x244 + 99*i290 <= 691;
525
526e77: 73*x66^2 + 94*x129^2 + 39*x20 + 31*x25 <= 244;
527
528e78: 74*i293^2 + 2*x23^2 + 24*x30^2 + 97*x127^2 + 21*x218^2 + 67*x1 + 88*x76
529      + 82*i252 + 66*i290 <= 539;
530
531e79: 63*x45^2 + 42*x124^2 + 48*x29 + x65 + 24*x98 + 10*x206 + 79*i280 <= 281;
532
533e80: 31*i277^2 + 83*x126^2 + 21*x97 + 52*x143 <= 204;
534
535e81: 98*i263^2 + 33*i284^2 + 71*x60^2 + 86*x67^2 + 94*x77^2 + 72*x104^2 + 49*
536     x129^2 + 66*x134^2 + 46*x148 + x221 + 2*i267 <= 738;
537
538e82: i264^2 + 8*x12^2 + 34*x26^2 + 22*x41^2 + 13*x111^2 + 49*x156^2 + 56*x205^2
539      + 32*x22 + 97*x51 + 78*x166 + 42*x176 <= 499;
540
541e83: 3*i275^2 + 85*x7^2 + 62*x61^2 + 82*x133^2 + 47*x75 + 49*x103 <= 383;
542
543e84: 76*i299^2 + 68*x107^2 + 59*x136^2 + 67*x156^2 <= 292;
544
545e85: 12*i271^2 + 41*x12 + 92*i264 <= 150;
546
547e86: 20*i253^2 + 4*i260^2 + 45*x5^2 + 68*x26^2 + 97*x159^2 + 47*x44 + 77*x54
548      + 11*x90 + 4*x103 + 63*x132 + 43*i272 + 52*i286 <= 586;
549
550e87: 37*x12^2 + 87*x106^2 + 85*x174^2 + 31*x178^2 + 65*x36 + 17*x88 + 23*x104
551      + 3*x124 <= 404;
552
553e88: 62*x104^2 + 35*x195^2 + 57*x232^2 + 39*x91 + 72*i287 <= 282;
554
555e89:    59*x130 + 8*i264 <= 79;
556
557e90: 92*i270^2 <= 100;
558
559e91: 67*x114^2 + 47*x168 + 31*x177 + 67*x186 <= 221;
560
561e92: 43*x157^2 + 61*x43 + 31*x155 + 76*x228 + 98*i287 <= 343;
562
563e93: 75*x6^2 + 27*x30^2 + 28*x41^2 + 80*x88^2 + 70*x9 + 46*x75 + 10*x78
564      + 5*x144 + 37*x223 + 68*i271 + 73*i284 <= 596;
565
566e94: 14*x154^2 + 99*x224^2 + 100*x226^2 + 30*x4 + 87*x6 + 57*x209 <= 418;
567
568e95: 34*i284^2 + 10*x5 + 72*x17 + 4*x81 + 80*x218 + 71*i265 <= 278;
569
570e96: 22*i251^2 + 46*x18^2 + 77*x189 <= 167;
571
572e97: 30*x137^2 + 75*x202^2 + 40*x207^2 + 53*x211^2 + 68*x220^2 + 45*x242^2
573      + 4*x40 + 72*x114 <= 420;
574
575e98: 45*i292^2 + 82*x66^2 + 46*x103^2 + 13*x211^2 + 47*x54 + 11*x163 + 93*x181
576      + 73*x227 <= 418;
577
578e99: 48*i257^2 + 75*x90^2 + 47*x103^2 + 36*x120 + 82*x175 <= 324;
579
580e100: 95*x148^2 + 55*x144 + 91*x194 + 95*x209 + 48*x218 <= 406;
581
582e101:    53*x28 + 64*x37 + 19*i273 + 30*i274 + 100*i287 <= 312;
583
584e102: 69*x159^2 + 59*x165 + 28*x248 <= 186;
585
586e103: 35*x149^2 + 10*x161^2 + 33*x164^2 + 13*x187^2 + 56*x225^2 + 24*x20
587       + 85*x47 + 62*x158 + 95*i268 + 81*i291 <= 560;
588
589e104: 77*x64^2 + 13*x157^2 + 12*x203^2 + 13*x226^2 + 92*x38 + 36*x48 + 3*x97
590       + 86*i265 <= 378;
591
592e105: 15*x60^2 + 6*x142^2 + 99*x231^2 + 33*x236^2 + 76*x24 + 10*x80 + 12*x150
593       <= 295;
594
595e106: 65*i250^2 + 86*i252^2 + 20*x27^2 + 54*x64^2 + 2*x136^2 + 29*x169^2 + x202
596      ^2 + 70*x15 + 76*x23 + x82 + 14*x157 + 8*x166 + 30*x181 + 54*x211
597       + 95*i297 <= 623;
598
599e107: 58*i283^2 + 25*x3^2 + 68*x162^2 + 37*x74 + 32*x102 + 61*x155 + 81*x198
600       <= 429;
601
602e108: 43*x12^2 + 98*x147^2 <= 147;
603
604e109: 80*i269^2 + 45*x99^2 + 32*x82 + 58*x138 + 95*x156 + 48*x219 <= 393;
605
606e110: 17*i282^2 + 55*x81^2 + 45*x213^2 + 92*x16 + 34*x163 + 92*i256 <= 397;
607
608e111: 18*x27^2 + 74*x118^2 + 93*x122 + 79*x222 <= 287;
609
610e112: 18*x2^2 + 76*x170^2 + 63*x39 + 30*x79 + 28*x112 + 67*x137 + 32*x184
611       + 21*x190 + 57*i276 <= 413;
612
613e113: 20*x12^2 + 21*i256 <= 42;
614
615e114: 11*i290^2 + 64*x73^2 + 4*x246^2 + 81*x104 <= 191;
616
617e115: 65*i287^2 + 33*i288^2 + 2*x94^2 + 18*x134^2 + 92*x239^2 + 31*x76 <= 289;
618
619e116: 20*i277^2 + 56*x222^2 + 95*x243^2 + 78*x36 + 29*x79 + 74*x99 + 7*x129
620       + 59*i262 <= 458;
621
622e117: 42*x107^2 + 60*x130^2 + 98*x236^2 + 66*x42 + 65*i292 <= 384;
623
624e118: 62*i268^2 + 41*x112^2 + 68*x129 + 25*x160 <= 224;
625
626e119: 96*i262^2 + 32*x179^2 + 15*x32 + 13*x43 + 11*x112 + 86*x126 + 91*i260
627       + 43*i279 + 87*i300 <= 520;
628
629e120: 91*i268^2 + 23*x39^2 + 74*x55^2 + 93*x138^2 + 7*x94 + 90*x97 + 69*i278
630       + 91*i298 <= 553;
631
632e121: 35*x24^2 + 100*x93^2 + 14*x149^2 + 19*x170^2 + 8*x190^2 + 84*x210^2
633       + 27*x124 + 83*i257 + 78*i296 <= 511;
634
635e122: 89*i253^2 + 59*x49^2 + 44*x100^2 + 83*x129^2 + 38*x139 + 6*x150 <= 327;
636
637e123: 85*x86^2 + 2*x90^2 + 87*x192 + 44*x200 <= 241;
638
639e124: 44*x38^2 + 68*x112^2 + 4*x129^2 + 23*x9 + 87*x179 <= 256;
640
641e125: 40*x13^2 + 16*x240^2 + 75*x4 + 95*x112 <= 257;
642
643e126: 70*x31^2 + 47*x54^2 + 69*x88^2 + 66*x113^2 + 18*x204^2 + 31*x122
644       + 70*x135 <= 422;
645
646e127: 8*i258^2 + 19*i278^2 + 25*x29^2 + 52*x122^2 + 72*x115 + 90*x189 + 71*i282
647       <= 346;
648
649e128: 98*x35^2 + 98*x73^2 + 70*x84^2 + 43*x86^2 + 32*x101 + 12*i256 <= 386;
650
651e129: 69*x32^2 + 13*x138^2 + 41*x175^2 + 25*x179^2 + 62*x42 <= 233;
652
653e130: 18*x3^2 + 77*x67^2 + 28*x240^2 + 97*x6 + 29*x155 + 44*x245 <= 352;
654
655e131: 33*x10^2 + 50*x17^2 + 54*x34^2 + 66*x49^2 + 25*x114^2 + 92*x147^2 + 97*
656      x180^2 + 15*x229^2 + 4*x225 <= 523;
657
658e132: 59*x86^2 + 100*x88^2 + 34*x211^2 + 14*x12 + 16*x47 + 90*x48 + 29*x106
659       + 10*x172 <= 393;
660
661e133: 82*i252^2 + 7*x49^2 + 50*x132 + 72*i259 + 97*i296 <= 357;
662
663e134: 95*i261^2 + 58*x40^2 + 90*x95^2 + 37*x43 + 27*x64 + 37*x128 + 90*x236
664       + 11*i271 + 58*i285 <= 598;
665
666e135: 16*i282^2 + 25*i297^2 + 78*i300^2 + 11*x90^2 + x103^2 + 79*x134^2 + 25*
667      x162^2 + 31*x18 + 16*x102 + 56*x127 + 45*i252 + 87*i289 <= 545;
668
669e136: 59*x52^2 + 45*x130^2 + x176^2 + 5*x203^2 + 13*x232 + 26*i276 <= 167;
670
671e137: 90*i257^2 + 41*i295^2 + 64*x153^2 + 34*x77 + 29*x125 + 3*x215 + 33*i260
672       + 39*i264 <= 340;
673
674e138: 100*x66^2 + 94*x128 + 22*x135 + 79*x162 + 85*i290 <= 432;
675
676e139: 43*x30^2 + 92*x35^2 + 11*x208^2 + 18*x227^2 + 97*x8 + 18*x64 + 7*x176
677       + 96*i299 <= 409;
678
679e140: 13*x103^2 + 29*x125^2 + 65*x176^2 + 38*x179^2 + 88*x225^2 + 6*x232^2
680       + 13*x12 + 36*x19 <= 334;
681
682e141: 79*i260^2 + 69*x64^2 + 98*x189^2 + 44*x7 + 93*x149 + 72*x223 + 87*i254
683       + 72*i297 <= 713;
684
685e142: 39*x8^2 + 70*x164 + 38*x231 <= 171;
686
687e143: 52*x46^2 + 74*x98 <= 128;
688
689e144: 22*i273^2 + 46*i265 + 65*i289 <= 149;
690
691e145: 59*x243^2 + 21*x84 + 100*x141 + 12*x156 + 85*x197 + 49*x241 <= 346;
692
693e146: 43*i251^2 + 79*x45^2 + 59*x133^2 + 98*x192^2 + 89*x28 + 25*x38 + 86*x102
694       + 94*x115 + 39*x230 <= 683;
695
696e147: 18*i265^2 + 49*x8^2 + 5*x71^2 + 85*x78^2 + 90*x85^2 + 52*x124^2 + 73*x63
697       + 7*i267 + 46*i283 <= 446;
698
699e148: 81*x123^2 + 57*x144^2 + 67*x179^2 + 41*x217^2 <= 269;
700
701e149: 100*x29^2 + 3*x63^2 + 81*x187^2 + 35*x193^2 + 4*x226^2 + 39*x239^2
702       + 77*x12 + 12*x151 <= 386;
703
704e150: 80*x121^2 + 44*x142^2 + 9*x157^2 + 44*x173^2 + 23*x222^2 + 7*x227^2
705       <= 245;
706
707e151: 40*x113^2 + 31*x123^2 + 41*x226^2 + 98*x193 + 65*x221 <= 303;
708
709e152: 96*x109^2 + 47*x217^2 + 12*x31 + 33*x110 <= 194;
710
711e153: 62*i294^2 + 10*x87^2 + 81*x126^2 + 97*x133^2 + 18*x230^2 + 59*x55 + 4*x73
712       + 52*x77 + 17*x218 <= 415;
713
714e154: 81*i257^2 + 5*i296^2 + 43*x69^2 + 57*x135^2 + 66*x175^2 + 98*x23 + 4*x224
715       <= 400;
716
717e155: 38*x206^2 + 96*x212^2 <= 144;
718
719e156: 34*x113^2 + 32*x135^2 + 28*x197^2 <= 105;
720
721e157: 75*i291^2 + 6*x13^2 + 5*x57^2 + 87*x107^2 + 12*x101 + 18*x127 + 13*x208
722       + 11*x240 <= 245;
723
724e158: 19*i278^2 + 68*x84^2 + 79*x124^2 + 38*x173^2 + 92*x205^2 + 15*x7
725       + 32*x116 <= 365;
726
727e159: 23*x63^2 + 22*x141^2 + 2*x185^2 + 82*x53 + 20*x134 + 90*x137 <= 270;
728
729e160: 94*i268^2 + 3*i293^2 + 93*x29^2 + 45*x37^2 + 35*x75^2 + 29*x179^2 + 68*
730      x239^2 + 8*x53 + 99*x84 + 41*x109 + 53*x132 + 7*x165 <= 623;
731
732e161: 48*x124^2 + 37*x141^2 + 51*x196^2 + 73*x109 + 26*x180 + 95*x244 <= 378;
733
734e162: 96*i297^2 + 11*x113^2 + 29*x83 <= 142;
735
736e163: 46*i271^2 + 16*x58^2 + 42*x69^2 + 63*x94^2 + 5*x242^2 + 19*x12 + 31*x76
737       + 32*x109 + 97*x115 + 99*x146 + 25*x201 + 88*x216 + 6*i294 <= 582;
738
739e164: 74*x66^2 + 15*x74^2 + 22*x91^2 + 78*x93^2 + 15*x173^2 + 68*x20 + 66*x37
740       + 2*x157 <= 366;
741
742e165: 86*x34^2 + 68*x65^2 + 6*x70^2 + 73*x110^2 + 87*x231^2 + 75*x180 <= 451;
743
744e166: 83*i284^2 + 73*x169^2 + 42*x205^2 + 26*x36 + 4*x69 + i297 <= 275;
745
746e167: 98*i271^2 + 66*x20^2 + 3*x229^2 + 66*x67 + 59*x104 + 76*x147 + 76*x246
747       <= 471;
748
749e168: 9*x28^2 + 68*x56^2 + 33*x118^2 + 56*x145^2 + 81*x15 + 95*x75 + 5*x78
750       + 10*x101 + 34*x117 + x221 <= 418;
751
752e169: 34*x11^2 + 53*x29^2 + 57*x158^2 + 83*x169^2 + 28*x228^2 + 37*x241^2
753       + 10*x78 + 56*i260 + 8*i284 + 78*i291 <= 460;
754
755e170: 70*x49^2 + 19*x125^2 + 86*x223^2 + 5*x67 + 60*x75 + 32*x191 + 13*x228
756       + 24*x239 + 34*i284 <= 387;
757
758e171: 58*i281^2 + 40*x30^2 + 16*x34^2 + 82*x71^2 + 26*x165^2 + 95*x206^2
759       + 87*x224 <= 433;
760
761e172: 19*x28^2 <= 21;
762
763e173: 36*x37^2 + 50*x62^2 + 36*x130 + 95*i258 + 59*i288 <= 327;
764
765e174: 6*i267^2 + 97*x120^2 + 27*x176^2 + 80*x209^2 + 93*x124 + 37*x185
766       + 88*i254 <= 448;
767
768e175: 19*i270^2 + 58*x4^2 + 88*x23^2 + 47*x102^2 + 16*x118^2 + 96*x167^2 + 59*
769      x171^2 <= 405;
770
771e176:    44*x28 + 48*x74 + 42*x146 + 57*x225 + 55*x239 <= 262;
772
773e177: 70*i266^2 + 83*i297^2 + 73*x131^2 + 29*x181^2 + 8*x200^2 + 2*x203^2
774       + 43*x1 + 56*x51 + 26*x65 + 69*x118 + 27*x169 + 98*i285 <= 690;
775
776e178:    48*x239 <= 58;
777
778e179: 29*x105^2 + 88*x142^2 + 80*x157^2 + 22*x170^2 + 9*x14 + 71*x28 + 66*x179
779       + 20*x203 <= 457;
780
781e180: 54*i252^2 + 65*x72^2 + 56*x25 + 36*x88 + 73*x173 + 59*x209 + 49*i281
782       <= 419;
783
784e181: x1^2 + 82*x27^2 + 9*x193^2 + 62*x217 <= 173;
785
786e182: 26*x2^2 + 81*x35^2 + 49*x91^2 + 81*x166^2 + 81*x190 <= 344;
787
788e183: 28*i278^2 + 63*x43^2 + 18*x191^2 + 41*x132 <= 153;
789
790e184: 81*x136^2 + 98*x204 + 26*x245 <= 226;
791
792e185: 9*x58^2 + 8*x233 <= 19;
793
794e186: 32*i253^2 + 18*i260^2 + 32*x24^2 + 96*x28^2 + 76*x213^2 + 55*x219^2
795       + 87*x106 + 89*i274 <= 560;
796
797e187: 15*i287^2 + 21*x40^2 + x4 + 53*x208 + 33*x218 + 97*x240 <= 258;
798
799e188: x19^2 + 14*x50^2 + 82*x63^2 + 98*x104^2 + x242^2 + 31*x205 <= 234;
800
801e189: 77*i286^2 + 93*x49^2 + 49*x164^2 + 81*x171^2 + 16*x227^2 <= 352;
802
803e190: 27*x166^2 + 48*x198^2 + 99*x21 + 7*x131 <= 187;
804
805e191: 3*x20^2 + 69*x61^2 + 77*x73^2 + 30*x100^2 + 11*x181^2 + 59*x200^2
806       + 40*x27 + 62*i281 + 66*i289 <= 464;
807
808e192: 26*i259^2 + 55*i294^2 + 99*x141^2 + 92*x83 + 29*x119 + 7*x184 <= 319;
809
810e193: 91*x124^2 + 26*x15 + 55*x20 + 60*x76 <= 276;
811
812e194: 14*x18^2 + 73*x52^2 + 96*x112^2 + 88*x202^2 + 89*x23 + 6*x229 <= 426;
813
814e195: 78*x157^2 + 54*x211^2 + 32*x114 + 25*x226 + 36*i266 <= 237;
815
816e196: 33*x11^2 + 18*x192^2 + 84*x200^2 + 93*x209^2 + 75*i271 <= 309;
817
818e197: 21*x23^2 + 76*x24 <= 109;
819
820e198: 19*i270^2 + 9*x23^2 + 13*x31^2 + 31*x79^2 + 74*x148 + 91*x173 + 90*x201
821       <= 351;
822
823e199: 27*x64^2 + 48*x120^2 + 72*x135^2 + 100*x184^2 + 39*x121 + 3*x134
824       + 85*i257 <= 401;
825
826e200: 35*i266^2 + 22*i286^2 + 72*x80^2 + 54*x2 + 59*x74 + 23*x190 + 40*i255
827       + 8*i272 <= 364;
828
829e201: 24*x235^2 + 81*x115 + 45*x163 + 34*x203 <= 195;
830
831e202: 84*i295^2 + 71*i300^2 + 40*x5^2 + 91*x13^2 + 9*x177^2 + 47*x198^2
832       + 75*x213 + 29*x217 <= 508;
833
834e203: 47*x6^2 + 16*x87^2 + 59*x140^2 + 73*x152^2 + 19*x236^2 + 54*x1 + 9*x27
835       <= 328;
836
837e204: 72*i270^2 + 59*x132^2 + 12*x197^2 + 75*x65 + 82*x83 + 65*x198 <= 394;
838
839e205: 89*x30^2 + 85*x55^2 + 41*x45 + 95*x70 <= 356;
840
841e206: 45*x6^2 + 95*x162^2 + 56*x170^2 + 49*x95 <= 284;
842
843e207: 17*x8^2 + 47*x12^2 + 44*x25^2 + 27*x86 + 22*x98 + 58*x157 + 60*i293
844       <= 283;
845
846e208: 57*x57^2 + 61*x158^2 <= 138;
847
848e209:    16*x9 + 31*x110 + 32*i281 <= 93;
849
850e210: 74*x49^2 + 66*x88^2 + 37*x103^2 + 35*x155^2 + 48*x168^2 + 54*x41 + 90*x89
851       <= 471;
852
853e211: 23*x27^2 + 45*x195^2 + 27*x223^2 + 40*x104 <= 155;
854
855e212: 21*i270^2 + 60*x99^2 + 92*x108^2 + 67*x188^2 + 87*x237^2 + 48*x239^2
856       <= 427;
857
858e213: 70*i290^2 + 33*i294^2 + 66*x31^2 + 16*x95^2 + 24*x149^2 + 73*x214^2
859       + 28*x18 <= 337;
860
861e214: 18*i269^2 + 75*x10^2 + 72*x104^2 + 37*x109^2 + 91*x137^2 + 55*x202^2 + 65
862      *x206^2 + 46*x44 + 25*x155 + 27*i293 <= 584;
863
864e215: 61*i275^2 + 92*x41^2 + 78*x73^2 + 54*x118^2 + 24*x233^2 + 12*x114
865       + 65*x121 + 16*x161 + 34*x211 <= 444;
866
867e216: 11*x173^2 + 76*x221^2 + 41*x45 <= 152;
868
869e217: 2*x38^2 + 28*x63^2 + 89*x88^2 + 12*x141^2 + 64*x165^2 + 36*x172^2 + 58*
870      x233^2 + 47*x84 + 81*x86 + 85*x195 + 5*x243 <= 582;
871
872e218: 5*x25^2 + 73*x212^2 + 41*x213^2 + 48*x10 + 97*x96 + 63*x99 <= 363;
873
874e219: 81*i267^2 + 33*i275^2 + 62*i279^2 + 32*i280^2 + 19*x21^2 + 99*x155^2 + 75
875      *x161^2 + 7*x37 + 72*x114 + 43*x115 + 77*x166 <= 671;
876
877e220: 49*i294^2 + 69*x117^2 + 80*x152 + 46*x153 + 69*i266 <= 362;
878
879e221: 69*x18^2 + 80*x106^2 + 38*x243^2 + 18*x51 + 85*x63 + 40*x102 + 25*x114
880       + 18*x118 + 97*i292 <= 494;
881
882e222: 46*i266^2 + 52*x120^2 + 30*x149^2 + 32*x219^2 + 30*x93 + 72*x110
883       + 39*x150 + 39*x161 + 48*x216 <= 443;
884
885e223: x119^2 + 17*x147^2 + 59*x166^2 + 24*x178^2 + 5*x246^2 + 85*x112 + 45*x226
886       <= 249;
887
888e224: 28*i250^2 + 62*i279^2 + 74*i291^2 + 57*x91^2 + 8*x112^2 + 17*x185^2
889       + 70*x11 + 67*x109 + 19*x230 <= 442;
890
891e225: 32*i278^2 + 21*x48^2 + 83*x96^2 + 27*x154^2 + 27*x63 + 16*x132 + 69*x207
892       <= 294;
893
894e226: 41*x59^2 + 95*x77^2 + 18*x109^2 + 42*x174^2 + 28*x184^2 + 40*x50
895       + 78*x110 + 84*x127 + 53*x177 + 39*x202 + 2*i250 <= 579;
896
897e227: 94*i261^2 + 88*x33^2 + 30*x50^2 + 74*x109^2 + 57*x230^2 + 19*x8 + 51*x10
898       + 77*x118 + 78*x162 + 33*x200 + 79*i293 <= 753;
899
900e228: 81*i289^2 + 98*i300^2 + 58*x24^2 + 72*x58^2 + 25*x156^2 + 60*x175^2 + 12*
901      x242^2 + 5*x37 + 40*x61 + 50*x69 + 16*x203 + 95*i297 <= 631;
902
903e229: 52*x30^2 + 84*x54^2 + 79*x50 + 8*x83 + 95*x87 + 60*x122 + 34*x161 <= 430;
904
905e230: 51*x43^2 + 3*x105^2 + 62*x168^2 + 35*x55 + 92*x139 + 57*x175 + 51*x179
906       + 32*x237 + 14*x244 <= 454;
907
908e231:    48*x37 + 59*x40 <= 109;
909
910e232: 23*x140^2 + 89*x44 + 73*x155 + 99*i280 <= 306;
911
912e233:    90*x67 + 65*x146 + 69*i290 <= 259;
913
914e234: 40*i280^2 + 10*x26^2 + 23*x67^2 + 37*x15 + 69*x27 + 28*x32 + 36*x118
915       + 55*x121 + 80*i271 <= 418;
916
917e235: 46*i265^2 + 60*x59^2 + 68*x97^2 + 8*x180^2 + 25*x223^2 + 100*x129
918       + 7*x146 + 47*x160 + 46*x190 + 75*i253 <= 564;
919
920e236: 78*x41^2 + 16*x72^2 + 16*x180^2 + 35*x214^2 + 46*x238^2 + 98*x248^2
921       <= 330;
922
923e237: 97*x51^2 + 85*x77^2 + 5*x137^2 + 27*x143^2 + 42*x35 <= 302;
924
925e238: 96*x57^2 + 6*x72^2 + 18*x91^2 + 80*x160^2 + 78*x161^2 + 31*x194^2 + 25*
926      x203^2 + 11*x228^2 + 39*x27 + 94*x46 + 45*x62 + 58*i287 <= 691;
927
928e239: 17*x30^2 + 56*x11 + 83*x136 + 42*x203 + 71*x204 <= 289;
929
930e240: 26*x18^2 + 43*x94 + 8*x118 + 29*x155 + 75*x197 <= 210;
931
932e241: 85*i253^2 + 91*x55^2 + 51*x200^2 + 54*x201^2 + 72*x245^2 + 13*x136
933       + 17*x207 + 12*i251 + 94*i255 + 40*i294 <= 578;
934
935e242: 57*x26^2 + 72*x73 + 67*x108 + 51*x126 + x161 + 34*x227 + 49*x232 <= 373;
936
937e243: 73*x9^2 + 94*x63^2 + 55*x161^2 + 64*x212^2 + 41*x166 + 78*x222 <= 440;
938
939e244: 70*i256^2 + 11*i272^2 + 29*i276^2 + 59*x34^2 + 77*x155^2 + 10*x227^2
940       + x14 + 46*x56 + 26*x127 + 10*x144 + 3*i254 <= 363;
941
942e245: 98*i299^2 + 46*x58^2 + 80*x94^2 + 58*x140^2 + 28*x216^2 + 79*x139 <= 412;
943
944e246: 67*i258^2 + 54*x148^2 + 54*x164^2 + 5*x203^2 + 60*x14 <= 245;
945
946e247: 61*x6^2 + x24^2 + 47*x64^2 + 14*x25 <= 128;
947
948e248: 24*i278^2 + 84*x9^2 + 60*x107^2 + 96*x123^2 + 49*x223^2 + 51*x85
949       + 51*x181 + 18*i279 + 97*i286 <= 620;
950
951e249: 42*i258^2 + 17*i289^2 + 66*x66^2 + 49*x125^2 + 90*x148^2 + 14*x236
952       + 49*i275 <= 339;
953
954e250: 78*x178^2 + 18*x70 <= 111;
955
956e251: 72*i283^2 + 7*x85^2 + 17*x113^2 + 96*x94 <= 225;
957
958e252: 41*x95^2 + 65*x134^2 + 95*x13 + 73*x34 + 93*x38 + 64*x94 + 70*i294
959       <= 552;
960
961e253: 92*i286^2 + 81*x98^2 + 58*x44 + 65*x143 + 45*x194 <= 357;
962
963e254: 90*x177^2 + 39*x39 + 73*x100 + 69*x107 + 83*x110 + 38*x122 + 56*x222
964       <= 471;
965
966e255: 55*x29^2 + 40*x89^2 + 18*x98^2 + 40*x121^2 + 10*x75 + 15*x100 + 63*x120
967       + 21*x145 + 62*x214 <= 345;
968
969e256:    13*x79 + 11*x116 + 12*x231 + 31*x232 + 64*x235 + 78*i268 + 23*i272
970       <= 268;
971
972e257: 20*i291^2 + 74*x126 + 57*x162 + 57*i260 <= 224;
973
974e258: 20*x149^2 + 27*x39 + 40*x44 + 42*x176 <= 142;
975
976e259: 91*i284^2 + 71*x32^2 + 40*x60^2 + 40*x124 <= 284;
977
978e260: 14*x15^2 + 21*x191^2 + 33*x242^2 + 5*x125 <= 86;
979
980e261: 28*x100^2 + 38*x116^2 + 89*x231^2 + 3*x247 + 92*i277 <= 272;
981
982e262: 36*i254^2 + 30*i264^2 + 14*x117^2 + 75*x208^2 <= 183;
983
984e263: 39*i291^2 + 23*x146^2 + 27*x69 <= 102;
985
986e264: 22*x116^2 + 65*x181^2 + 4*x222^2 + 42*x85 + 95*x128 + 52*x137 + 61*x151
987       <= 394;
988
989e265: 15*i253^2 + 60*x44^2 + 4*x45^2 + 12*x74^2 + 61*x197^2 + 35*x25 + 69*x133
990       + 78*i288 <= 352;
991
992e266: 48*i268^2 + 43*x3^2 + 90*x39^2 + 3*x72^2 + 39*x75^2 + 59*x124^2 + 71*x139
993      ^2 + 94*x178^2 + 80*x31 + 70*x78 + 16*x104 + 39*i260 + 75*i292 <= 766;
994
995e267: 79*i254^2 + 69*x70^2 + 9*x7 + 66*x29 + 60*x247 <= 324;
996
997e268: 56*i263^2 + 97*x48^2 + 52*x77^2 + 71*x142^2 + 57*x152^2 + 65*x244^2
998       + 98*x97 + 77*x219 + 15*x223 <= 626;
999
1000e269: 78*i298^2 + 83*x1^2 + 21*x153^2 + 41*x189^2 + 96*x218^2 + 89*x138
1001       + 74*x166 <= 565;
1002
1003e270: 61*i273^2 + 6*x17^2 + 5*x104^2 + 47*x201^2 + 48*x227^2 + 93*x236^2
1004       + 98*x134 + 23*x181 <= 422;
1005
1006e271: 33*i292^2 + 21*x60^2 + 83*x151^2 + 62*x176 + 38*i284 <= 285;
1007
1008e272: 41*x103^2 + 74*x141^2 + 14*x155^2 + 13*x164^2 + 78*x248 + 89*i278 <= 319;
1009
1010e273: 18*x3^2 + 40*x82^2 + 67*x112^2 + 69*x133^2 + 70*x209^2 + 69*x187 + 8*x204
1011       + 42*x218 + 4*x241 + 2*i280 <= 443;
1012
1013e274: 58*x191^2 + 77*x40 + 95*x101 + 29*x107 + 19*x229 <= 306;
1014
1015e275: 43*x20^2 + 46*x136^2 + 91*x147^2 + 67*x192^2 + 43*x248^2 + 27*x34
1016       + 38*x68 + 61*x87 + 34*x184 + 40*i252 + 82*i256 <= 601;
1017
1018e276: 75*x166^2 + 6*x70 + 99*i282 + 81*i295 <= 270;
1019
1020e277: 61*x43^2 + 36*x132^2 + 22*x166^2 + 94*x142 + 72*i253 + 20*i286 <= 317;
1021
1022e278:    53*x35 + 99*x104 + 15*x151 + 97*x179 + 7*x211 + 54*i257 + 92*i292
1023       <= 430;
1024
1025e279: 79*x57^2 + 24*x82^2 + 50*x111^2 + 43*x160^2 + 27*x174^2 + 86*x10 + 19*x34
1026       + 65*x96 + 10*x104 + 96*x107 + 2*x126 + 25*i255 <= 584;
1027
1028e280: 15*x194^2 + 100*x212^2 + 60*x83 + 78*x112 + 8*x166 + 52*x207 + 9*x221
1029       + 96*i259 + 64*i275 + 82*i286 <= 624;
1030
1031e281:    50*i263 <= 54;
1032
1033e282: 42*i263^2 + 69*x62^2 + 15*x164^2 + 97*x231^2 + 52*x123 + 43*x168
1034       + 60*x196 <= 416;
1035
1036e283: 45*x150^2 + 24*x186^2 + 13*x213^2 + 79*x6 <= 179;
1037
1038e284: 52*x191^2 + 6*x198 + 70*i281 <= 150;
1039
1040e285: 55*x114^2 <= 60;
1041
1042e286: 59*i284^2 + 62*x85^2 + 18*x206^2 + 8*x24 + 92*x66 + 94*x192 + 43*x228
1043       <= 395;
1044
1045e287: 53*x134^2 + 65*x165^2 + 27*x76 + 44*x167 + 23*x179 + 78*x233 + 96*i271
1046       <= 397;
1047
1048e288:    10*x17 + 26*x65 + 58*x179 + 35*x229 + 21*i259 + 14*i264 + 41*i267
1049       <= 211;
1050
1051e289:    65*x26 + 37*x32 + 76*x37 + 12*x67 + 7*x180 + 79*i294 <= 310;
1052
1053e290:    3*x7 + 87*x55 + 89*x133 + 48*x136 + 30*x229 + 52*i264 + 99*i272
1054       + 55*i280 + 19*i296 + 20*i297 <= 553;
1055
1056e291:    95*x10 + 83*x38 + 67*x54 + 15*x101 + 61*x135 + 62*x231 + 21*i268
1057       <= 483;
1058
1059e292:    45*x70 + 100*x93 + 73*x164 + 45*i284 <= 272;
1060
1061e293:    38*x73 + 95*x222 + 92*x237 + 20*i282 <= 287;
1062
1063e294:    42*x21 + 46*x24 + 63*x47 + 58*x73 + 91*x101 + 29*i253 <= 366;
1064
1065e295:    67*x21 + 22*x67 + 79*x82 + 14*x92 + 67*x99 + 76*x128 + 43*x147
1066       + 65*x173 + 61*x185 + 18*x202 + 20*x226 + 19*i270 <= 654;
1067
1068e296:    96*x38 + 64*x71 + 60*x106 + 10*x157 + 19*x206 + 68*x210 + 55*x212
1069       <= 420;
1070
1071e297:    66*x27 + 100*x172 + 79*i260 + 5*i291 <= 254;
1072
1073e298:    95*x21 + 49*x62 + 79*x87 + 11*x115 + 33*x131 + 56*x137 + 70*i273
1074       <= 456;
1075
1076e299:    3*x196 + 22*x203 + 79*x212 + 63*x230 + 60*x231 <= 260;
1077
1078e300:    77*x15 + i275 + 19*i300 <= 105;
1079
1080e301:    51*x128 + 17*x153 + 39*x213 <= 116;